0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4513773-1751222237.opb>
0.00/0.01 c original problem has 1968 variables (1968 bin, 0 int, 0 cont) and 4184 constraints
0.00/0.01 c problem read in 0.007 seconds
0.00/0.01 c problem without objective
0.00/0.01 c presolving:
0.00/0.02 c (0.0s) running MILP presolver
0.00/0.02 c (0.0s) MILP presolver found nothing
0.00/0.03 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.00/0.05 c (0.1s) probing: 51/1968 (2.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.05 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.06 c (0.1s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.78) (symcode time: 0.00)
0.00/0.06 c dynamic symmetry handling statistics:
0.00/0.06 c orbitopal reduction: no components
0.00/0.06 c orbital reduction: no components
0.00/0.06 c lexicographic reduction: no permutations
0.00/0.06 c handled 1 out of 1 symmetry components
0.00/0.06 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.00/0.06 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.00/0.07 c (0.1s) probing: 56/1968 (2.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.07 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.07 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
0.00/0.07 c 27 deleted vars, 51 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.07 c 0 implications, 4133 cliques
0.00/0.07 c presolved problem has 1949 variables (1949 bin, 0 int, 0 cont) and 4134 constraints
0.00/0.07 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.00/0.07 c 4133 constraints of type <setppc>
0.00/0.07 c 1 constraints of type <orbitope_pp>
0.00/0.07 c transformed objective value is always integral (scale: 1)
0.00/0.07 c Presolving Time: 0.06
0.00/0.07 c
0.00/0.07 c - non default parameters ----------------------------------------------------------------------
0.00/0.07 c
0.00/0.07 c # SCIP version 10.0.0
0.00/0.07 c
0.00/0.07 c # maximal time in seconds to run
0.00/0.07 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.07 c limits/time = 3596.998186
0.00/0.07 c
0.00/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.07 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.07 c limits/memory = 27900
0.00/0.07 c
0.00/0.07 c # belongs reading time to solving time?
0.00/0.07 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c timing/reading = TRUE
0.00/0.07 c
0.00/0.07 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.00/0.07 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.00/0.07 c reading/opbreader/maxintsize = 47
0.00/0.07 c
0.00/0.07 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.00/0.07 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.00/0.07 c propagating/genvbounds/timingmask = 0
0.00/0.07 c
0.00/0.07 c -----------------------------------------------------------------------------------------------
0.00/0.07 c
0.09/0.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.12 c 0.1s| 1 | 0 | 1735 | - | 37M | 0 |1949 |4155 |4133 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf | unknown
0.38/0.49 c 0.5s| 1 | 0 | 5902 | - | 39M | 0 |1949 |4214 |4288 | 155 | 1 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
0.48/0.60 c 0.6s| 1 | 0 | 6425 | - | 41M | 0 |1949 |4215 |4419 | 286 | 2 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
0.67/0.70 c 0.7s| 1 | 0 | 6629 | - | 42M | 0 |1949 |4216 |4449 | 316 | 3 | 24 | 0 | 0.000000e+00 | -- | Inf | unknown
0.67/0.77 c 0.8s| 1 | 0 | 6725 | - | 44M | 0 |1949 |4217 |4465 | 332 | 4 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown
0.77/0.89 c 0.9s| 1 | 0 | 6814 | - | 46M | 0 |1949 |4218 |4480 | 347 | 5 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
0.87/0.97 c 1.0s| 1 | 0 | 6884 | - | 49M | 0 |1949 |4219 |4493 | 360 | 6 | 27 | 0 | 0.000000e+00 | -- | Inf | unknown
0.98/1.08 c 1.1s| 1 | 0 | 6942 | - | 52M | 0 |1949 |4220 |4506 | 373 | 7 | 28 | 0 | 0.000000e+00 | -- | Inf | unknown
1.17/1.22 c 1.2s| 1 | 0 | 7041 | - | 55M | 0 |1949 |4222 |4519 | 386 | 8 | 30 | 0 | 0.000000e+00 | -- | Inf | unknown
1.27/1.34 c 1.3s| 1 | 0 | 7097 | - | 60M | 0 |1949 |4223 |4530 | 397 | 9 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
1.37/1.47 c 1.5s| 1 | 0 | 7155 | - | 64M | 0 |1949 |4224 |4541 | 408 | 10 | 32 | 0 | 0.000000e+00 | -- | Inf | unknown
1.47/1.50 c 1.5s| 1 | 0 | 7231 | - | 65M | 0 |1949 |4225 |4498 | 419 | 11 | 33 | 0 | 0.000000e+00 | -- | Inf | unknown
1.68/1.75 c 1.7s| 1 | 2 | 8602 | - | 65M | 0 |1949 |4231 |4498 | 419 | 11 | 39 | 11 | 0.000000e+00 | -- | Inf | unknown
2.67/2.75 c 2.8s| 100 | 67 | 18673 | 118.4 | 70M | 50 |1949 |4325 |4400 | 586 | 1 | 134 | 11 | 0.000000e+00 | -- | Inf | unknown
2.97/3.10 c 3.1s| 200 | 57 | 21288 | 72.0 | 72M | 50 |1949 |4496 |4373 | 799 | 1 | 310 | 11 | 0.000000e+00 | -- | Inf | unknown
3.47/3.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.47/3.50 c 3.5s| 300 | 69 | 24869 | 59.9 | 73M | 50 |1949 |4618 |4375 |1012 | 1 | 445 | 11 | 0.000000e+00 | -- | Inf | unknown
3.97/4.02 c 4.0s| 400 | 49 | 26833 | 49.8 | 74M | 50 |1949 |4755 |4367 |1086 | 1 | 611 | 11 | 0.000000e+00 | -- | Inf | unknown
5.56/5.64 c 5.6s| 500 | 58 | 30012 | 46.2 | 74M | 50 |1949 |4812 |4387 |1502 | 0 | 673 | 11 | 0.000000e+00 | -- | Inf | unknown
6.46/6.50 c 6.5s| 600 | 79 | 33837 | 44.9 | 74M | 50 |1949 |4895 |4396 |1573 | 1 | 758 | 11 | 0.000000e+00 | -- | Inf | unknown
6.66/6.74 c 6.7s| 700 | 80 | 35682 | 41.1 | 77M | 50 |1949 |5002 |4396 |1685 | 0 | 889 | 11 | 0.000000e+00 | -- | Inf | unknown
7.35/7.43 c 7.4s| 800 | 66 | 37689 | 38.5 | 77M | 50 |1949 |5142 |4399 |1777 | 1 |1054 | 11 | 0.000000e+00 | -- | Inf | unknown
8.15/8.24 c 8.2s| 900 | 59 | 39472 | 36.2 | 77M | 50 |1949 |5259 |4361 |1855 | 1 |1238 | 11 | 0.000000e+00 | -- | Inf | unknown
8.45/8.56 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
8.45/8.56 c (run 1, node 917) performing user restart
8.45/8.56 c
8.45/8.56 c (restart) converted 167 cuts from the global cut pool into linear constraints
8.45/8.56 c
8.45/8.57 c presolving:
8.45/8.57 c (round 1, fast) 0 del vars, 393 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 24 chg coeffs, 0 upgd conss, 0 impls, 4281 clqs
8.45/8.57 c (round 2, exhaustive) 1 del vars, 537 del conss, 36 add conss, 0 chg bounds, 2 chg sides, 24 chg coeffs, 0 upgd conss, 0 impls, 4278 clqs
8.45/8.58 c (round 3, exhaustive) 1 del vars, 545 del conss, 36 add conss, 0 chg bounds, 4 chg sides, 24 chg coeffs, 0 upgd conss, 0 impls, 4307 clqs
8.45/8.58 c (round 4, exhaustive) 1 del vars, 545 del conss, 36 add conss, 0 chg bounds, 4 chg sides, 24 chg coeffs, 225 upgd conss, 0 impls, 4307 clqs
8.45/8.58 c (round 5, fast) 1 del vars, 559 del conss, 36 add conss, 0 chg bounds, 4 chg sides, 24 chg coeffs, 225 upgd conss, 0 impls, 4307 clqs
8.45/8.59 c (round 6, exhaustive) 1 del vars, 579 del conss, 41 add conss, 0 chg bounds, 4 chg sides, 24 chg coeffs, 225 upgd conss, 0 impls, 4309 clqs
8.45/8.59 c (round 7, exhaustive) 1 del vars, 619 del conss, 41 add conss, 0 chg bounds, 4 chg sides, 35 chg coeffs, 225 upgd conss, 0 impls, 4313 clqs
8.55/8.60 c presolving (8 rounds: 8 fast, 6 medium, 6 exhaustive):
8.55/8.60 c 1 deleted vars, 619 deleted constraints, 41 added constraints, 0 tightened bounds, 0 added holes, 4 changed sides, 35 changed coefficients
8.55/8.60 c 0 implications, 4313 cliques
8.55/8.60 c presolved problem has 1948 variables (1948 bin, 0 int, 0 cont) and 4848 constraints
8.55/8.60 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
8.55/8.60 c 22 constraints of type <knapsack>
8.55/8.60 c 4189 constraints of type <setppc>
8.55/8.60 c 1 constraints of type <orbitope_pp>
8.55/8.60 c 636 constraints of type <logicor>
8.55/8.60 c transformed objective value is always integral (scale: 1)
8.55/8.60 c Presolving Time: 0.09
8.55/8.60 c
8.55/8.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.55/8.63 c 8.6s| 1 | 0 | 41666 | - | 77M | 0 |1948 |4853 |4209 | 0 | 0 |1249 | 11 | 0.000000e+00 | -- | Inf | unknown
8.76/8.89 c 8.9s| 1 | 0 | 42080 | - | 78M | 0 |1948 |4910 |4330 | 121 | 1 |1250 | 11 | 0.000000e+00 | -- | Inf | unknown
8.96/9.05 c 9.0s| 1 | 0 | 42252 | - | 78M | 0 |1948 |4911 |4361 | 152 | 2 |1251 | 11 | 0.000000e+00 | -- | Inf | unknown
9.06/9.13 c 9.1s| 1 | 0 | 42351 | - | 78M | 0 |1948 |4913 |4376 | 167 | 3 |1253 | 11 | 0.000000e+00 | -- | Inf | unknown
9.15/9.28 c 9.3s| 1 | 0 | 42456 | - | 79M | 0 |1948 |4914 |4390 | 181 | 4 |1254 | 11 | 0.000000e+00 | -- | Inf | unknown
9.35/9.41 c 9.4s| 1 | 0 | 42514 | - | 79M | 0 |1948 |4915 |4407 | 198 | 5 |1255 | 11 | 0.000000e+00 | -- | Inf | unknown
9.35/9.48 c 9.5s| 1 | 0 | 42597 | - | 80M | 0 |1948 |4916 |4419 | 210 | 6 |1256 | 11 | 0.000000e+00 | -- | Inf | unknown
9.45/9.59 c 9.6s| 1 | 0 | 42673 | - | 80M | 0 |1948 |4917 |4434 | 225 | 7 |1257 | 11 | 0.000000e+00 | -- | Inf | unknown
9.55/9.69 c 9.7s| 1 | 0 | 42745 | - | 81M | 0 |1948 |4920 |4446 | 237 | 8 |1260 | 11 | 0.000000e+00 | -- | Inf | unknown
9.75/9.86 c 9.9s| 1 | 0 | 42803 | - | 85M | 0 |1948 |4922 |4458 | 249 | 9 |1262 | 11 | 0.000000e+00 | -- | Inf | unknown
9.96/10.09 c 10.1s| 1 | 0 | 42868 | - | 86M | 0 |1948 |4924 |4469 | 260 | 10 |1264 | 11 | 0.000000e+00 | -- | Inf | unknown
10.06/10.12 c 10.1s| 1 | 0 | 42941 | - | 87M | 0 |1948 |4926 |4482 | 273 | 11 |1266 | 11 | 0.000000e+00 | -- | Inf | unknown
10.45/10.53 c 10.5s| 1 | 2 | 44518 | - | 87M | 0 |1948 |4935 |4482 | 273 | 11 |1275 | 22 | 0.000000e+00 | -- | Inf | unknown
11.75/11.88 c 11.9s| 100 | 37 | 52521 | 41.9 | 91M | 30 |1948 |5039 |4279 | 524 | 1 |1379 | 22 | 0.000000e+00 | -- | Inf | unknown
12.05/12.18 c 12.2s| 200 | 55 | 55194 | 40.6 | 92M | 32 |1948 |5160 |4283 | 632 | 1 |1513 | 22 | 0.000000e+00 | -- | Inf | unknown
12.24/12.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.24/12.37 c 12.4s| 300 | 33 | 56074 | 38.0 | 92M | 37 |1948 |5337 |4277 | 643 | 0 |1695 | 22 | 0.000000e+00 | -- | Inf | unknown
12.74/12.81 c 12.8s| 400 | 36 | 59626 | 37.8 | 95M | 37 |1948 |5481 |4222 |1042 | 1 |1853 | 22 | 0.000000e+00 | -- | Inf | 0.90%
13.05/13.13 c 13.1s| 500 | 29 | 61349 | 36.3 | 97M | 37 |1948 |5616 |4308 |1294 | 3 |2009 | 22 | 0.000000e+00 | -- | Inf | 1.09%
13.44/13.52 c 13.5s| 600 | 31 | 65641 | 36.8 | 99M | 37 |1948 |5761 |4292 |2085 | 1 |2208 | 22 | 0.000000e+00 | -- | Inf | 1.87%
14.04/14.16 c 14.2s| 700 | 31 | 72764 | 38.9 | 103M | 37 |1948 |5913 | 0 |3329 | 0 |2414 | 22 | 0.000000e+00 | -- | Inf | 4.30%
14.44/14.50 c 14.5s| 800 | 21 | 77070 | 39.1 | 103M | 37 |1948 |5972 | 0 |4156 | 0 |2595 | 22 | 0.000000e+00 | -- | Inf | 6.32%
14.64/14.76 c 14.8s| 900 | 30 | 79847 | 38.5 | 104M | 37 |1948 |5988 | 0 |4323 | 0 |2726 | 22 | 0.000000e+00 | -- | Inf | 6.86%
14.94/15.10 c 15.1s| 1000 | 38 | 83196 | 38.2 | 104M | 37 |1948 |6032 | 0 |4535 | 0 |2837 | 22 | 0.000000e+00 | -- | Inf | 6.96%
15.33/15.49 c 15.5s| 1100 | 34 | 87255 | 38.4 | 105M | 37 |1948 |6095 | 0 |5169 | 0 |2968 | 22 | 0.000000e+00 | -- | Inf | 7.61%
15.63/15.78 c 15.8s| 1200 | 28 | 90030 | 37.9 | 106M | 37 |1948 |6160 | 0 |5724 | 0 |3120 | 22 | 0.000000e+00 | -- | Inf | 8.35%
16.04/16.18 c 16.2s| 1300 | 33 | 94665 | 38.2 | 107M | 37 |1948 |6213 | 0 |6978 | 0 |3269 | 22 | 0.000000e+00 | -- | Inf | 9.50%
16.43/16.52 c 16.5s| 1400 | 32 | 99184 | 38.5 | 108M | 37 |1948 |6207 | 0 |7831 | 0 |3401 | 22 | 0.000000e+00 | -- | Inf | 10.35%
16.73/16.89 c 16.9s| 1500 | 39 |103526 | 38.7 | 109M | 37 |1948 |6255 | 0 |8917 | 0 |3513 | 22 | 0.000000e+00 | -- | Inf | 12.48%
17.13/17.24 c 17.2s| 1600 | 39 |108150 | 39.0 | 109M | 37 |1948 |6295 |4212 | 10k| 1 |3650 | 22 | 0.000000e+00 | -- | Inf | 13.84%
17.53/17.63 c 17.6s| 1700 | 43 |114112 | 39.8 | 110M | 37 |1948 |6284 |4297 | 11k| 2 |3767 | 22 | 0.000000e+00 | -- | Inf | 15.38%
17.83/17.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.83/17.97 c 18.0s| 1800 | 42 |118575 | 40.0 | 110M | 37 |1948 |6321 | 0 | 12k| 0 |3891 | 22 | 0.000000e+00 | -- | Inf | 16.52%
18.32/18.44 c 18.4s| 1900 | 44 |123421 | 40.3 | 112M | 37 |1948 |6267 |4320 | 12k| 1 |4002 | 22 | 0.000000e+00 | -- | Inf | 17.25%
18.62/18.78 c 18.8s| 2000 | 46 |127176 | 40.2 | 112M | 37 |1948 |6302 |4212 | 13k| 1 |4126 | 22 | 0.000000e+00 | -- | Inf | 17.98%
19.12/19.23 c 19.2s| 2100 | 49 |131658 | 40.4 | 114M | 37 |1948 |6333 |4289 | 15k| 1 |4252 | 22 | 0.000000e+00 | -- | Inf | 18.85%
19.32/19.43 c 19.4s| 2200 | 47 |133274 | 39.6 | 114M | 37 |1948 |6390 | 0 | 15k| 0 |4378 | 22 | 0.000000e+00 | -- | Inf | 19.08%
19.52/19.69 c 19.7s| 2300 | 54 |136137 | 39.2 | 114M | 37 |1948 |6446 |4303 | 15k| 1 |4563 | 22 | 0.000000e+00 | -- | Inf | 19.53%
20.02/20.19 c 20.2s| 2400 | 52 |142883 | 40.1 | 115M | 37 |1948 |6424 |4308 | 17k| 1 |4681 | 22 | 0.000000e+00 | -- | Inf | 20.77%
20.62/20.70 c 20.7s| 2500 | 53 |147447 | 40.3 | 117M | 37 |1948 |6440 | 0 | 18k| 0 |4789 | 22 | 0.000000e+00 | -- | Inf | 21.72%
20.82/20.96 c 21.0s| 2600 | 50 |148562 | 39.4 | 118M | 37 |1948 |6415 | 0 | 18k| 0 |4911 | 22 | 0.000000e+00 | -- | Inf | 21.99%
21.02/21.18 c 21.2s| 2700 | 48 |150365 | 38.8 | 118M | 37 |1948 |6448 | 0 | 18k| 0 |5047 | 22 | 0.000000e+00 | -- | Inf | 22.22%
21.41/21.55 c 21.5s| 2800 | 51 |154107 | 38.8 | 119M | 37 |1948 |6423 |4283 | 19k| 1 |5164 | 22 | 0.000000e+00 | -- | Inf | 22.38%
21.51/21.69 c 21.7s| 2900 | 49 |155064 | 38.0 | 119M | 37 |1948 |6435 |4283 | 19k| 1 |5283 | 22 | 0.000000e+00 | -- | Inf | 22.52%
21.81/21.96 c 22.0s| 3000 | 52 |157151 | 37.6 | 119M | 37 |1948 |6451 |4280 | 19k| 1 |5408 | 22 | 0.000000e+00 | -- | Inf | 22.56%
22.02/22.17 c 22.2s| 3100 | 49 |159329 | 37.2 | 121M | 37 |1948 |6456 | 0 | 19k| 0 |5569 | 22 | 0.000000e+00 | -- | Inf | 22.71%
22.21/22.37 c 22.4s| 3200 | 55 |160379 | 36.6 | 121M | 37 |1948 |6468 | 0 | 19k| 0 |5724 | 22 | 0.000000e+00 | -- | Inf | 22.79%
22.51/22.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
22.51/22.62 c 22.6s| 3300 | 50 |161649 | 36.0 | 121M | 37 |1948 |6436 |4269 | 19k| 1 |5846 | 22 | 0.000000e+00 | -- | Inf | 23.14%
22.71/22.87 c 22.9s| 3400 | 44 |163271 | 35.5 | 122M | 37 |1948 |6469 | 0 | 19k| 0 |5999 | 22 | 0.000000e+00 | -- | Inf | 23.35%
23.01/23.16 c 23.2s| 3500 | 44 |165219 | 35.2 | 122M | 37 |1948 |6488 |4300 | 20k| 1 |6141 | 22 | 0.000000e+00 | -- | Inf | 23.82%
23.40/23.56 c 23.6s| 3600 | 46 |168186 | 35.0 | 124M | 37 |1948 |6503 |4307 | 20k| 1 |6254 | 22 | 0.000000e+00 | -- | Inf | 24.06%
23.60/23.72 c 23.7s| 3700 | 41 |169383 | 34.5 | 124M | 37 |1948 |6543 | 0 | 20k| 0 |6373 | 22 | 0.000000e+00 | -- | Inf | 24.26%
23.80/23.99 c 24.0s| 3800 | 42 |171353 | 34.2 | 125M | 37 |1948 |6542 | 0 | 20k| 0 |6476 | 22 | 0.000000e+00 | -- | Inf | 24.42%
24.10/24.22 c 24.2s| 3900 | 42 |172919 | 33.8 | 125M | 37 |1948 |6530 |4307 | 21k| 1 |6583 | 22 | 0.000000e+00 | -- | Inf | 24.61%
24.30/24.45 c 24.5s| 4000 | 43 |174544 | 33.5 | 125M | 37 |1948 |6516 |4272 | 21k| 1 |6700 | 22 | 0.000000e+00 | -- | Inf | 24.82%
24.70/24.85 c 24.9s| 4100 | 41 |178043 | 33.5 | 126M | 37 |1948 |6565 | 0 | 21k| 0 |6831 | 22 | 0.000000e+00 | -- | Inf | 25.53%
25.00/25.14 c 25.1s| 4200 | 43 |180503 | 33.3 | 127M | 37 |1948 |6595 |4297 | 22k| 1 |6960 | 22 | 0.000000e+00 | -- | Inf | 25.81%
25.50/25.63 c 25.6s| 4300 | 41 |184099 | 33.4 | 127M | 37 |1948 |6594 |4306 | 22k| 1 |7088 | 22 | 0.000000e+00 | -- | Inf | 26.63%
25.90/26.04 c 26.0s| 4400 | 41 |188008 | 33.5 | 127M | 37 |1948 |6610 | 0 | 23k| 0 |7215 | 22 | 0.000000e+00 | -- | Inf | 27.67%
26.29/26.44 c 26.4s| 4500 | 39 |191404 | 33.5 | 128M | 37 |1948 |6686 | 0 | 24k| 0 |7367 | 22 | 0.000000e+00 | -- | Inf | 28.11%
26.69/26.80 c 26.8s| 4600 | 35 |194123 | 33.4 | 129M | 37 |1948 |6820 | 0 | 24k| 0 |7564 | 22 | 0.000000e+00 | -- | Inf | 28.81%
27.00/27.17 c 27.2s| 4700 | 50 |197619 | 33.4 | 129M | 37 |1948 |6896 |4285 | 25k| 1 |7723 | 22 | 0.000000e+00 | -- | Inf | 29.53%
27.29/27.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
27.29/27.40 c 27.4s| 4800 | 39 |199496 | 33.2 | 129M | 37 |1948 |6978 | 0 | 25k| 0 |7905 | 22 | 0.000000e+00 | -- | Inf | 29.80%
27.59/27.70 c 27.7s| 4900 | 45 |201623 | 33.0 | 129M | 37 |1948 |7116 | 0 | 26k| 0 |8085 | 22 | 0.000000e+00 | -- | Inf | 30.38%
27.89/28.10 c 28.1s| 5000 | 41 |205318 | 33.0 | 130M | 37 |1948 |7213 | 0 | 26k| 0 |8283 | 22 | 0.000000e+00 | -- | Inf | 31.20%
28.29/28.45 c 28.4s| 5100 | 41 |208213 | 33.0 | 130M | 37 |1948 |7306 |4281 | 27k| 1 |8453 | 22 | 0.000000e+00 | -- | Inf | 31.69%
28.79/28.90 c 28.9s| 5200 | 45 |212662 | 33.1 | 131M | 37 |1948 |7398 | 0 | 28k| 0 |8657 | 22 | 0.000000e+00 | -- | Inf | 32.06%
29.09/29.21 c 29.2s| 5300 | 53 |215384 | 33.1 | 131M | 37 |1948 |7477 |4306 | 28k| 1 |8844 | 22 | 0.000000e+00 | -- | Inf | 32.32%
29.29/29.45 c 29.5s| 5400 | 53 |217085 | 32.8 | 131M | 37 |1948 |7536 | 0 | 28k| 0 |9023 | 22 | 0.000000e+00 | -- | Inf | 32.52%
29.49/29.67 c 29.7s| 5500 | 46 |218135 | 32.5 | 131M | 37 |1948 |7595 |4319 | 28k| 1 |9222 | 22 | 0.000000e+00 | -- | Inf | 32.76%
29.79/29.96 c 30.0s| 5600 | 39 |220294 | 32.3 | 131M | 37 |1948 |7662 |4294 | 29k| 1 |9388 | 22 | 0.000000e+00 | -- | Inf | 33.24%
30.19/30.31 c 30.3s| 5700 | 36 |223415 | 32.3 | 132M | 37 |1948 |7646 |4298 | 29k| 1 |9525 | 22 | 0.000000e+00 | -- | Inf | 33.71%
30.49/30.66 c 30.7s| 5800 | 39 |226645 | 32.3 | 132M | 37 |1948 |7710 |4293 | 30k| 1 |9677 | 22 | 0.000000e+00 | -- | Inf | 34.27%
30.79/30.97 c 31.0s| 5900 | 35 |229156 | 32.2 | 132M | 37 |1948 |7781 |4294 | 30k| 1 |9857 | 22 | 0.000000e+00 | -- | Inf | 34.53%
31.09/31.26 c 31.3s| 6000 | 35 |231313 | 32.0 | 133M | 37 |1948 |7863 |4308 | 30k| 1 |9983 | 22 | 0.000000e+00 | -- | Inf | 34.74%
31.39/31.57 c 31.6s| 6100 | 40 |233784 | 31.9 | 134M | 37 |1948 |7888 | 0 | 31k| 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 35.02%
31.78/31.99 c 32.0s| 6200 | 40 |236918 | 31.9 | 134M | 37 |1948 |7846 | 0 | 31k| 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 35.41%
32.28/32.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
32.28/32.45 c 32.4s| 6300 | 42 |239715 | 31.8 | 134M | 37 |1948 |7884 |4322 | 32k| 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 35.83%
32.68/32.83 c 32.8s| 6400 | 39 |243077 | 31.9 | 135M | 37 |1948 |7944 |4317 | 32k| 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 35.97%
32.99/33.13 c 33.1s| 6500 | 37 |245811 | 31.8 | 136M | 37 |1948 |7932 | 0 | 33k| 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 36.42%
33.18/33.39 c 33.4s| 6600 | 28 |247883 | 31.7 | 136M | 37 |1948 |7918 | 0 | 33k| 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 36.79%
33.68/33.85 c 33.9s| 6700 | 29 |251746 | 31.8 | 136M | 37 |1948 |7938 |4212 | 34k| 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 40.19%
34.08/34.25 c 34.3s| 6800 | 22 |254749 | 31.7 | 136M | 37 |1948 |7994 |4271 | 34k| 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 41.69%
34.78/34.99 c 35.0s| 6900 | 22 |261608 | 32.2 | 136M | 37 |1948 |8035 |4331 | 35k| 3 | 11k| 22 | 0.000000e+00 | -- | Inf | 42.91%
35.17/35.33 c 35.3s| 7000 | 14 |264617 | 32.2 | 136M | 37 |1948 |8059 | 0 | 36k| 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 45.39%
35.57/35.75 c 35.8s| 7100 | 15 |269771 | 32.4 | 136M | 37 |1948 |7592 |4313 | 37k| 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 46.56%
36.07/36.22 c 36.2s| 7200 | 18 |274200 | 32.6 | 136M | 37 |1948 |7627 |4286 | 38k| 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 48.25%
36.47/36.67 c 36.7s| 7300 | 14 |278770 | 32.7 | 137M | 37 |1948 |7691 |4331 | 39k| 2 | 11k| 22 | 0.000000e+00 | -- | Inf | 49.60%
36.67/36.87 c 36.9s| 7400 | 6 |279876 | 32.5 | 137M | 37 |1948 |7678 | 0 | 39k| 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 49.85%
36.87/37.08 c 37.1s| 7500 | 6 |281385 | 32.3 | 137M | 37 |1948 |7690 |4212 | 39k| 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 50.00%
37.37/37.53 c 37.5s| 7600 | 25 |285829 | 32.4 | 138M | 37 |1948 |7729 |4302 | 39k| 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 50.14%
37.57/37.72 c 37.7s| 7700 | 12 |286592 | 32.1 | 138M | 37 |1948 |7827 |4300 | 39k| 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 50.16%
38.26/38.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
38.26/38.45 c 38.5s| 7800 | 15 |290539 | 32.2 | 138M | 37 |1948 |7931 |4212 | 40k| 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 51.17%
38.76/38.96 c 39.0s| 7900 | 22 |295393 | 32.4 | 138M | 37 |1948 |8063 |4280 | 40k| 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 52.71%
39.46/39.62 c 39.6s| 8000 | 27 |299948 | 32.5 | 139M | 37 |1948 |8173 | 0 | 41k| 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 54.43%
39.96/40.12 c 40.1s| 8100 | 31 |304460 | 32.7 | 139M | 37 |1948 |8314 |4212 | 42k| 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 56.64%
40.36/40.56 c 40.6s| 8200 | 36 |307951 | 32.7 | 140M | 37 |1948 |8387 |4272 | 43k| 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 58.03%
40.76/40.93 c 40.9s| 8300 | 31 |311524 | 32.7 | 140M | 37 |1948 |8398 |4315 | 44k| 2 | 13k| 22 | 0.000000e+00 | -- | Inf | 59.77%
41.06/41.27 c 41.3s| 8400 | 28 |314899 | 32.7 | 140M | 37 |1948 |8466 |4313 | 45k| 2 | 13k| 22 | 0.000000e+00 | -- | Inf | 60.60%
41.55/41.75 c 41.7s| 8500 | 24 |319768 | 32.9 | 140M | 37 |1948 |8531 |4212 | 46k| 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 62.65%
42.05/42.20 c 42.2s| 8600 | 28 |324707 | 33.1 | 140M | 37 |1948 |8570 |4290 | 48k| 2 | 13k| 22 | 0.000000e+00 | -- | Inf | 64.36%
42.35/42.59 c 42.6s| 8700 | 31 |328609 | 33.1 | 140M | 37 |1948 |8630 | 0 | 48k| 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 65.19%
42.86/43.01 c 43.0s| 8800 | 29 |331842 | 33.1 | 141M | 37 |1948 |8697 | 0 | 49k| 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 65.78%
43.25/43.44 c 43.4s| 8900 | 33 |336102 | 33.2 | 141M | 37 |1948 |8703 |4290 | 50k| 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 66.87%
43.65/43.88 c 43.9s| 9000 | 34 |340839 | 33.4 | 143M | 37 |1948 |8652 | 0 | 51k| 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 68.31%
44.05/44.20 c 44.2s| 9100 | 39 |343746 | 33.3 | 143M | 37 |1948 |8664 | 0 | 51k| 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 68.59%
44.44/44.62 c 44.6s| 9200 | 30 |347765 | 33.4 | 144M | 37 |1948 |8680 | 0 | 52k| 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 69.51%
44.74/44.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
44.74/44.94 c 44.9s| 9300 | 27 |350373 | 33.3 | 144M | 37 |1948 |8756 |4378 | 53k| 4 | 14k| 22 | 0.000000e+00 | -- | Inf | 69.79%
45.04/45.26 c 45.3s| 9400 | 25 |353263 | 33.3 | 144M | 37 |1948 |8842 |4319 | 53k| 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 70.26%
45.54/45.74 c 45.7s| 9500 | 26 |358040 | 33.4 | 145M | 37 |1948 |8902 |4293 | 54k| 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 71.40%
45.84/46.03 c 46.0s| 9600 | 30 |361544 | 33.4 | 145M | 37 |1948 |8942 |4265 | 54k| 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 71.61%
46.24/46.44 c 46.4s| 9700 | 26 |365296 | 33.5 | 145M | 37 |1948 |9003 | 0 | 55k| 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 72.66%
46.64/46.84 c 46.8s| 9800 | 37 |369365 | 33.5 | 146M | 37 |1948 |9089 |4276 | 56k| 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 73.23%
46.84/47.07 c 47.1s| 9900 | 27 |371414 | 33.4 | 146M | 38 |1948 |9209 |4263 | 56k| 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 73.23%
47.14/47.35 c 47.4s| 10000 | 22 |374050 | 33.4 | 146M | 38 |1948 |9298 | 0 | 56k| 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 73.27%
47.43/47.68 c 47.7s| 10100 | 48 |376799 | 33.3 | 146M | 40 |1948 |9351 |4297 | 56k| 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 73.47%
47.73/47.99 c 48.0s| 10200 | 22 |379936 | 33.3 | 146M | 40 |1948 |9398 | 0 | 57k| 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 73.96%
48.03/48.28 c 48.3s| 10300 | 22 |382509 | 33.2 | 146M | 40 |1948 |9410 | 0 | 57k| 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 74.29%
48.53/48.78 c 48.8s| 10400 | 37 |386767 | 33.3 | 146M | 40 |1948 |9419 |4273 | 58k| 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 74.87%
48.84/49.02 c 49.0s| 10500 | 22 |388336 | 33.1 | 146M | 40 |1948 |9480 |4317 | 58k| 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 74.98%
49.33/49.51 c 49.5s| 10600 | 29 |393005 | 33.3 | 147M | 40 |1948 |9333 |4281 | 58k| 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 75.15%
49.53/49.77 c 49.8s| 10700 | 24 |395491 | 33.2 | 147M | 40 |1948 |9403 |4265 | 58k| 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 75.20%
49.93/50.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
49.93/50.19 c 50.2s| 10800 | 20 |401443 | 33.4 | 148M | 40 |1948 |9454 |4266 | 58k| 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 75.35%
50.33/50.52 c 50.5s| 10900 | 32 |404104 | 33.4 | 148M | 40 |1948 |9500 |4296 | 59k| 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 75.54%
50.62/50.87 c 50.9s| 11000 | 20 |406640 | 33.3 | 148M | 40 |1948 |9613 | 0 | 59k| 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 75.89%
51.22/51.49 c 51.5s| 11100 | 21 |410880 | 33.4 | 148M | 40 |1948 |9721 |4316 | 60k| 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 76.79%
51.52/51.77 c 51.8s| 11200 | 22 |412760 | 33.2 | 148M | 40 |1948 |9796 |4308 | 60k| 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 76.90%
52.22/52.41 c 52.4s| 11300 | 34 |418101 | 33.4 | 150M | 40 |1948 |9835 | 0 | 61k| 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 77.78%
52.52/52.72 c 52.7s| 11400 | 25 |421881 | 33.4 | 151M | 40 |1948 |9946 | 0 | 61k| 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 77.88%
52.82/53.03 c 53.0s| 11500 | 24 |425630 | 33.5 | 151M | 40 |1948 | 10k| 0 | 61k| 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 78.02%
53.31/53.55 c 53.6s| 11600 | 26 |430216 | 33.6 | 151M | 40 |1948 | 10k| 0 | 61k| 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 78.43%
53.71/53.95 c 53.9s| 11700 | 28 |435369 | 33.7 | 152M | 40 |1948 | 10k|4270 | 61k| 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 78.67%
54.01/54.24 c 54.2s| 11800 | 20 |439238 | 33.8 | 152M | 40 |1948 | 10k|4277 | 61k| 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 78.85%
54.51/54.74 c 54.7s| 11900 | 18 |444415 | 33.9 | 152M | 40 |1948 | 10k|4288 | 62k| 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 79.25%
55.11/55.39 c 55.4s| 12000 | 18 |449724 | 34.1 | 152M | 40 |1948 | 10k|4302 | 62k| 4 | 17k| 22 | 0.000000e+00 | -- | Inf | 79.72%
55.50/55.71 c 55.7s| 12100 | 20 |452616 | 34.0 | 152M | 40 |1948 | 10k|4271 | 62k| 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 79.95%
56.10/56.31 c 56.3s| 12200 | 15 |458214 | 34.2 | 154M | 40 |1948 | 10k|4279 | 63k| 1 | 18k| 22 | 0.000000e+00 | -- | Inf | 81.67%
56.60/56.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
56.60/56.88 c 56.9s| 12300 | 15 |462834 | 34.3 | 154M | 40 |1948 | 10k|4317 | 63k| 2 | 18k| 22 | 0.000000e+00 | -- | Inf | 82.40%
57.20/57.42 c 57.4s| 12400 | 16 |466683 | 34.3 | 154M | 40 |1948 | 10k|4314 | 64k| 1 | 18k| 22 | 0.000000e+00 | -- | Inf | 83.20%
57.50/57.79 c 57.8s| 12500 | 22 |469667 | 34.3 | 155M | 40 |1948 | 10k|4278 | 65k| 1 | 18k| 22 | 0.000000e+00 | -- | Inf | 83.59%
57.90/58.11 c 58.1s| 12600 | 16 |471857 | 34.2 | 155M | 40 |1948 | 10k|4317 | 65k| 1 | 18k| 22 | 0.000000e+00 | -- | Inf | 83.91%
58.20/58.41 c 58.4s| 12700 | 17 |474653 | 34.1 | 155M | 40 |1948 | 10k| 0 | 66k| 0 | 18k| 22 | 0.000000e+00 | -- | Inf | 84.18%
58.80/59.08 c 59.1s| 12800 | 19 |479809 | 34.3 | 155M | 40 |1948 | 10k|4306 | 66k| 2 | 18k| 22 | 0.000000e+00 | -- | Inf | 84.29%
59.19/59.49 c 59.5s| 12900 | 25 |484093 | 34.3 | 155M | 40 |1948 | 10k| 0 | 66k| 0 | 18k| 22 | 0.000000e+00 | -- | Inf | 84.38%
59.59/59.82 c 59.8s| 13000 | 21 |486790 | 34.3 | 155M | 40 |1948 | 11k|4308 | 66k| 1 | 19k| 22 | 0.000000e+00 | -- | Inf | 84.59%
59.90/60.15 c 60.1s| 13100 | 25 |489133 | 34.2 | 155M | 40 |1948 | 11k|4286 | 66k| 1 | 19k| 22 | 0.000000e+00 | -- | Inf | 84.72%
60.19/60.45 c 60.4s| 13200 | 21 |491713 | 34.1 | 155M | 40 |1948 | 11k| 0 | 67k| 0 | 19k| 22 | 0.000000e+00 | -- | Inf | 84.96%
60.49/60.70 c 60.7s| 13300 | 18 |493569 | 34.0 | 155M | 40 |1948 | 11k| 0 | 67k| 0 | 19k| 22 | 0.000000e+00 | -- | Inf | 85.01%
60.79/61.09 c 61.1s| 13400 | 17 |496268 | 34.0 | 155M | 40 |1948 | 11k|4278 | 67k| 1 | 19k| 22 | 0.000000e+00 | -- | Inf | 85.29%
61.19/61.43 c 61.4s| 13500 | 13 |498858 | 33.9 | 155M | 40 |1948 | 11k| 0 | 67k| 0 | 19k| 22 | 0.000000e+00 | -- | Inf | 85.71%
61.49/61.74 c 61.7s| 13600 | 20 |501579 | 33.9 | 157M | 40 |1948 | 11k|4296 | 68k| 1 | 19k| 22 | 0.000000e+00 | -- | Inf | 85.82%
61.98/62.24 c 62.2s| 13700 | 11 |506621 | 34.0 | 159M | 40 |1948 | 11k| 0 | 68k| 0 | 19k| 22 | 0.000000e+00 | -- | Inf | 86.41%
62.48/62.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
62.48/62.72 c 62.7s| 13800 | 14 |510279 | 34.0 | 159M | 40 |1948 | 11k|4281 | 68k| 1 | 20k| 22 | 0.000000e+00 | -- | Inf | 87.24%
62.98/63.27 c 63.3s| 13900 | 23 |515104 | 34.1 | 159M | 40 |1948 | 11k|4283 | 69k| 1 | 20k| 22 | 0.000000e+00 | -- | Inf | 88.78%
63.58/63.81 c 63.8s| 14000 | 15 |518991 | 34.1 | 159M | 40 |1948 | 11k|4284 | 70k| 0 | 20k| 22 | 0.000000e+00 | -- | Inf | 91.50%
63.98/64.23 c 64.2s| 14100 | 15 |522014 | 34.1 | 159M | 40 |1948 | 11k| 0 | 71k| 0 | 20k| 22 | 0.000000e+00 | -- | Inf | 92.47%
64.37/64.65 c 64.7s| 14200 | 17 |525751 | 34.1 | 159M | 40 |1948 | 11k| 0 | 72k| 0 | 20k| 22 | 0.000000e+00 | -- | Inf | 93.14%
64.67/64.95 c 65.0s| 14300 | 21 |528089 | 34.1 | 159M | 40 |1948 | 11k|4327 | 72k| 1 | 20k| 22 | 0.000000e+00 | -- | Inf | 93.43%
65.07/65.33 c 65.3s| 14400 | 12 |531342 | 34.0 | 159M | 40 |1948 | 11k| 0 | 73k| 0 | 20k| 22 | 0.000000e+00 | -- | Inf | 93.99%
65.47/65.76 c 65.8s| 14500 | 10 |534933 | 34.1 | 159M | 40 |1948 | 12k| 0 | 73k| 0 | 21k| 22 | 0.000000e+00 | -- | Inf | 94.91%
66.07/66.36 c 66.4s| 14600 | 7 |539081 | 34.1 | 159M | 40 |1948 | 12k|4272 | 74k| 1 | 21k| 22 | 0.000000e+00 | -- | Inf | 96.25%
66.47/66.78 c 66.8s| 14700 | 12 |543215 | 34.2 | 159M | 40 |1948 | 12k|4287 | 74k| 1 | 21k| 22 | 0.000000e+00 | -- | Inf | 96.36%
66.78/67.09 c 67.1s| 14800 | 12 |545438 | 34.1 | 160M | 40 |1948 | 12k| 0 | 74k| 0 | 21k| 22 | 0.000000e+00 | -- | Inf | 96.57%
67.17/67.46 c 67.5s| 14900 | 14 |548020 | 34.0 | 160M | 40 |1948 | 12k|4300 | 75k| 1 | 21k| 22 | 0.000000e+00 | -- | Inf | 96.74%
67.47/67.74 c 67.7s| 15000 | 13 |549901 | 33.9 | 160M | 40 |1948 | 12k| 0 | 75k| 0 | 21k| 22 | 0.000000e+00 | -- | Inf | 96.93%
67.78/68.10 c 68.1s| 15100 | 12 |552615 | 33.9 | 161M | 40 |1948 | 12k| 0 | 75k| 0 | 22k| 22 | 0.000000e+00 | -- | Inf | 97.25%
68.17/68.49 c 68.5s| 15200 | 12 |557359 | 34.0 | 161M | 40 |1948 | 12k|4275 | 75k| 1 | 22k| 22 | 0.000000e+00 | -- | Inf | 97.56%
68.57/68.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
68.57/68.88 c 68.9s| 15300 | 13 |560858 | 34.0 | 161M | 40 |1948 | 13k| 0 | 76k| 0 | 22k| 22 | 0.000000e+00 | -- | Inf | 97.85%
69.07/69.34 c 69.3s| 15400 | 19 |564632 | 34.0 | 161M | 40 |1948 | 13k|4278 | 76k| 1 | 22k| 22 | 0.000000e+00 | -- | Inf | 98.09%
69.26/69.57 c 69.6s| 15500 | 11 |566025 | 33.9 | 161M | 40 |1948 | 13k|4295 | 76k| 1 | 22k| 22 | 0.000000e+00 | -- | Inf | 98.25%
69.67/69.98 c 70.0s| 15600 | 12 |568133 | 33.8 | 162M | 40 |1948 | 13k|4289 | 76k| 1 | 23k| 22 | 0.000000e+00 | -- | Inf | 98.41%
70.07/70.38 c 70.4s| 15700 | 8 |570563 | 33.7 | 162M | 40 |1948 | 13k| 0 | 76k| 0 | 23k| 22 | 0.000000e+00 | -- | Inf | 98.78%
70.56/70.81 c 70.8s| 15800 | 7 |573713 | 33.7 | 162M | 40 |1948 | 13k|4283 | 77k| 1 | 23k| 22 | 0.000000e+00 | -- | Inf | 99.11%
70.77/71.05 c 71.1s| 15900 | 9 |575264 | 33.6 | 162M | 40 |1948 | 13k| 0 | 77k| 0 | 23k| 22 | 0.000000e+00 | -- | Inf | 99.28%
71.26/71.57 c 71.6s| 16000 | 8 |580109 | 33.7 | 163M | 40 |1948 | 13k|4295 | 77k| 1 | 23k| 22 | 0.000000e+00 | -- | Inf | 99.52%
71.77/72.01 c 72.0s| 16100 | 4 |584054 | 33.7 | 163M | 40 |1948 | 13k| 0 | 78k| 0 | 23k| 22 | 0.000000e+00 | -- | Inf | 99.80%
72.06/72.35 c
72.06/72.35 c SCIP Status : problem is solved [infeasible]
72.06/72.35 c Solving Time (sec) : 72.35
72.06/72.35 c Solving Nodes : 16181 (total of 17098 nodes in 2 runs)
72.06/72.35 c Primal Bound : +1.00000000000000e+20 (0 solutions)
72.06/72.35 c Dual Bound : +1.00000000000000e+20
72.06/72.35 c Gap : 0.00 %
72.06/72.35 s UNSATISFIABLE
72.06/72.35 c SCIP Status : problem is solved [infeasible]
72.06/72.35 c Total Time : 72.35
72.06/72.35 c solving : 72.35
72.06/72.35 c presolving : 0.09 (included in solving)
72.06/72.35 c reading : 0.01 (included in solving)
72.06/72.35 c copying : 0.69 (105 #copies) (minimal 0.01, maximal 0.02, average 0.01)
72.06/72.35 c Original Problem :
72.06/72.35 c Problem name : HOME/instance-4513773-1751222237.opb
72.06/72.35 c Variables : 1968 (1968 binary, 0 integer, 0 continuous)
72.06/72.35 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
72.06/72.35 c Constraints : 4184 initial, 4184 maximal
72.06/72.35 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
72.06/72.35 c Presolved Problem :
72.06/72.35 c Problem name : t_HOME/instance-4513773-1751222237.opb
72.06/72.35 c Variables : 1948 (1948 binary, 0 integer, 0 continuous)
72.06/72.35 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
72.06/72.35 c Constraints : 4848 initial, 13429 maximal
72.06/72.35 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
72.06/72.35 c Nonzeros : 13883 constraint, 9017 clique table
72.06/72.35 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
72.06/72.35 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c domcol : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
72.06/72.35 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
72.06/72.35 c gateextraction : 0.01 0.00 6 0 0 0 0 0 164 41 0 0
72.06/72.35 c implics : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
72.06/72.35 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
72.06/72.35 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
72.06/72.35 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c trivial : 0.00 0.00 12 8 0 0 0 0 0 0 0 0
72.06/72.35 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c dualfix : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
72.06/72.35 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c probing : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
72.06/72.35 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
72.06/72.35 c symmetry : 0.01 0.00 1 3 0 0 0 0 0 1 0 0
72.06/72.35 c vbounds : 0.00 0.00 2 0 1 0 0 0 0 0 0 0
72.06/72.35 c knapsack : 0.00 0.00 18 0 0 0 0 0 0 0 0 1
72.06/72.35 c setppc : 0.02 0.00 25 0 8 0 0 0 76 0 0 0
72.06/72.35 c linear : 0.01 0.00 8 0 0 0 0 0 5 0 4 24
72.06/72.35 c orbitope_pp : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
72.06/72.35 c logicor : 0.01 0.00 16 0 0 0 0 0 425 0 0 10
72.06/72.35 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
72.06/72.35 c root node : - - - 562 - - 562 - - - - -
72.06/72.35 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
72.06/72.35 c integral : 0 0 0 0 11191 0 0 658 0 0 0 0 0 0 22382
72.06/72.35 c knapsack : 22+ 36 11 189356 0 0 0 0 2094 22 10316 0 0 0 0
72.06/72.35 c setppc : 4189+ 4237 22 196309 0 0 0 654 602724 4570 1399347 3 0 0 0
72.06/72.35 c linear : 0+ 79 22 189279 0 0 0 2 9348 217 34637 39 11 0 0
72.06/72.35 c orbitope_pp : 1 1 0 191422 0 0 0 0 2572 16 400 0 0 0 0
72.06/72.35 c logicor : 636+ 9335 22 149900 0 0 0 0 274489 4931 464796 47 14 0 0
72.06/72.35 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
72.06/72.35 c integral : 1.50 0.00 0.00 0.00 1.50 0.00 0.00 0.00 0.00 0.00
72.06/72.35 c knapsack : 0.09 0.00 0.00 0.09 0.00 0.00 0.00 0.00 0.00 0.00
72.06/72.35 c setppc : 2.26 0.00 0.00 2.12 0.00 0.00 0.00 0.00 0.12 0.00
72.06/72.35 c linear : 0.13 0.00 0.00 0.12 0.00 0.00 0.00 0.00 0.01 0.00
72.06/72.35 c orbitope_pp : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
72.06/72.35 c logicor : 2.29 0.00 0.00 2.16 0.00 0.00 0.00 0.00 0.13 0.00
72.06/72.35 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
72.06/72.35 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
72.06/72.35 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
72.06/72.35 c Propagators : #Propagate #ResProp Cutoffs DomReds
72.06/72.35 c dualfix : 2 0 0 0
72.06/72.35 c genvbounds : 0 0 0 0
72.06/72.35 c nlobbt : 0 0 0 0
72.06/72.35 c obbt : 0 0 0 0
72.06/72.35 c probing : 0 0 0 0
72.06/72.35 c pseudoobj : 0 0 0 0
72.06/72.35 c redcost : 0 0 0 0
72.06/72.35 c rootredcost : 0 0 0 0
72.06/72.35 c symmetry : 0 0 0 0
72.06/72.35 c vbounds : 172488 0 0 0
72.06/72.35 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
72.06/72.35 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
72.06/72.35 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
72.06/72.35 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
72.06/72.35 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
72.06/72.35 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
72.06/72.35 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
72.06/72.35 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
72.06/72.35 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
72.06/72.35 c symmetry : 0.03 0.00 0.01 0.02 0.00 0.00
72.06/72.35 c vbounds : 1.14 0.00 0.00 1.14 0.00 0.00
72.06/72.35 c Symmetry :
72.06/72.35 c #affected vars : 1968 (1968 bin, 0 int, 0 cont)
72.06/72.35 c orbitopal red. : 0 reductions applied, 0 cutoffs
72.06/72.35 c orbital reduction: 0 reductions applied, 0 cutoffs
72.06/72.35 c lexicographic red: 0 reductions applied, 0 cutoffs
72.06/72.35 c shadow tree time : 0.00 s
72.06/72.35 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
72.06/72.35 c propagation : 0.52 9727 8929 - 43632 30.2 2024 6.9 - - -
72.06/72.35 c infeasible LP : 0.13 602 602 - 1866 15.3 434 5.8 602 6.7 0
72.06/72.35 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
72.06/72.35 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
72.06/72.35 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
72.06/72.35 c applied globally : 0.17 - - 0 22432 12.7 - - 580 - -
72.06/72.35 c applied locally : - - - 0 902 28.1 - - 22 - -
72.06/72.35 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
72.06/72.35 c cut pool : 1.62 - 2898 42 - - 29644 964321 - - - - - (maximal pool size: 4254)
72.06/72.35 c aggregation : 0.24 0.00 540 22 0 0 9 103 2 1 1 0 0
72.06/72.35 c > cmir : - - - - - - - 103 0 1 1 0 -
72.06/72.35 c > flowcover : - - - - - - - 0 0 0 0 0 -
72.06/72.35 c > knapsackcover : - - - - - - - 0 2 0 0 0 -
72.06/72.35 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c clique : 0.16 0.00 22 22 0 0 124 1235 0 816 816 0 0
72.06/72.35 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c gomory : 11.23 0.00 538 20 0 0 29231 900827 1664 39915 39863 52 0
72.06/72.35 c > gomorymi : - - - - - - - 158703 832 1422 1395 27 -
72.06/72.35 c > strongcg : - - - - - - - 742124 832 38493 38468 25 -
72.06/72.35 c impliedbounds : 0.06 0.00 540 22 0 0 5 8 0 6 6 0 0
72.06/72.35 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
72.06/72.35 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c multilinear : 0.00 0.00 839 22 0 0 0 0 0 0 0 0 0
72.06/72.35 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
72.06/72.35 c rapidlearning : 4.70 0.00 100 2 0 15508 0 0 0 0 0 0 222
72.06/72.35 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
72.06/72.35 c zerohalf : 1.18 0.00 540 22 0 0 4464 62148 2523 39305 38689 616 0
72.06/72.35 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
72.06/72.35 c hybrid : 0.89 0.00 2217 22 80161 18 887174 692 0 6327
72.06/72.35 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
72.06/72.35 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
72.06/72.35 c Pricers : ExecTime SetupTime Calls Vars
72.06/72.35 c problem variables: 0.00 - 0 0
72.06/72.35 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
72.06/72.35 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
72.06/72.35 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
72.06/72.35 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
72.06/72.35 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
72.06/72.35 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
72.06/72.35 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
72.06/72.35 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
72.06/72.35 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
72.06/72.35 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
72.06/72.35 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
72.06/72.35 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
72.06/72.35 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
72.06/72.35 c random : 0.00 0.00 0 0 0 0 0 0 0 0
72.06/72.35 c relpscost : 1.50 0.00 11191 0 0 0 0 0 0 22382
72.06/72.35 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
72.06/72.35 c Primal Heuristics : ExecTime SetupTime Calls Found Best
72.06/72.35 c LP solutions : 0.00 - - 0 0
72.06/72.35 c relax solutions : 0.00 - - 0 0
72.06/72.35 c pseudo solutions : 0.00 - - 0 0
72.06/72.35 c strong branching : 0.00 - - 0 0
72.06/72.35 c actconsdiving : 0.00 0.00 0 0 0
72.06/72.35 c adaptivediving : 0.31 0.00 19 0 0
72.06/72.35 c alns : 0.18 0.00 5 0 0
72.06/72.35 c bound : 0.00 0.00 0 0 0
72.06/72.35 c clique : 0.02 0.00 1 0 0
72.06/72.35 c coefdiving : 0.00 0.00 0 0 0
72.06/72.35 c completesol : 0.00 0.00 0 0 0
72.06/72.35 c conflictdiving : 0.42 0.00 50 0 0
72.06/72.35 c crossover : 0.00 0.00 0 0 0
72.06/72.35 c dins : 0.00 0.00 0 0 0
72.06/72.35 c distributiondivin: 0.63 0.00 50 0 0
72.06/72.35 c dks : 0.00 0.00 0 0 0
72.06/72.35 c dps : 0.00 0.00 0 0 0
72.06/72.35 c dualval : 0.00 0.00 0 0 0
72.06/72.35 c farkasdiving : 0.00 0.00 0 0 0
72.06/72.35 c feaspump : 0.63 0.00 13 0 0
72.06/72.35 c fixandinfer : 0.00 0.00 0 0 0
72.06/72.35 c fracdiving : 0.21 0.00 50 0 0
72.06/72.35 c gins : 0.00 0.00 0 0 0
72.06/72.35 c guideddiving : 0.00 0.00 0 0 0
72.06/72.35 c indicator : 0.00 0.00 0 0 0
72.06/72.35 c indicatordiving : 0.00 0.00 0 0 0
72.06/72.35 c intdiving : 0.00 0.00 0 0 0
72.06/72.35 c intshifting : 0.00 0.00 0 0 0
72.06/72.35 c linesearchdiving : 0.21 0.00 50 0 0
72.06/72.35 c localbranching : 0.00 0.00 0 0 0
72.06/72.35 c locks : 0.00 0.00 1 0 0
72.06/72.35 c lpface : 0.05 0.00 0 0 0
72.06/72.35 c mpec : 0.00 0.00 0 0 0
72.06/72.35 c multistart : 0.00 0.00 0 0 0
72.06/72.35 c mutation : 0.00 0.00 0 0 0
72.06/72.35 c nlpdiving : 0.00 0.00 0 0 0
72.06/72.35 c objpscostdiving : 1.04 0.00 7 0 0
72.06/72.35 c octane : 0.00 0.00 0 0 0
72.06/72.35 c ofins : 0.00 0.00 0 0 0
72.06/72.35 c oneopt : 0.00 0.00 0 0 0
72.06/72.35 c padm : 0.00 0.00 0 0 0
72.06/72.35 c proximity : 0.00 0.00 0 0 0
72.06/72.35 c pscostdiving : 0.47 0.00 50 0 0
72.06/72.35 c randrounding : 0.07 0.00 669 0 0
72.06/72.35 c rens : 0.00 0.00 0 0 0
72.06/72.35 c reoptsols : 0.00 0.00 0 0 0
72.06/72.35 c repair : 0.00 0.00 0 0 0
72.06/72.35 c rins : 0.00 0.00 0 0 0
72.06/72.35 c rootsoldiving : 0.50 0.00 12 0 0
72.06/72.35 c rounding : 0.11 0.00 1569 0 0
72.06/72.35 c scheduler : 0.00 0.00 0 0 0
72.06/72.35 c shiftandpropagate: 0.01 0.00 2 0 0
72.06/72.35 c shifting : 0.35 0.00 718 0 0
72.06/72.35 c simplerounding : 0.00 0.00 0 0 0
72.06/72.35 c subnlp : 0.00 0.00 0 0 0
72.06/72.35 c trivial : 0.00 0.00 4 0 0
72.06/72.35 c trivialnegation : 0.00 0.00 0 0 0
72.06/72.35 c trustregion : 0.00 0.00 0 0 0
72.06/72.35 c trysol : 0.00 0.00 0 0 0
72.06/72.35 c twoopt : 0.00 0.00 0 0 0
72.06/72.35 c undercover : 0.00 0.00 0 0 0
72.06/72.35 c vbounds : 0.01 0.00 2 0 0
72.06/72.35 c veclendiving : 0.18 0.00 50 0 0
72.06/72.35 c zeroobj : 0.00 0.00 0 0 0
72.06/72.35 c zirounding : 0.02 0.00 1000 0 0
72.06/72.35 c other solutions : - - - 0 -
72.06/72.35 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
72.06/72.35 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
72.06/72.35 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
72.06/72.35 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
72.06/72.35 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
72.06/72.35 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
72.06/72.35 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
72.06/72.35 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
72.06/72.35 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
72.06/72.35 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
72.06/72.35 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
72.06/72.35 c primal LP : 0.58 953 0 0.00 0.00 0.58 953
72.06/72.35 c dual LP : 29.37 14102 504320 36.20 17170.36 0.09 169
72.06/72.35 c lex dual LP : 0.00 0 0 0.00 -
72.06/72.35 c barrier LP : 0.00 0 0 0.00 - 0.00 0
72.06/72.35 c resolve instable : 0.00 0 0 0.00 -
72.06/72.35 c diving/probing LP: 3.72 879 83376 94.85 22417.52
72.06/72.35 c strong branching : 0.33 22 6682 303.73 20160.27 - - 2
72.06/72.35 c (at root node) : - 22 6682 303.73 -
72.06/72.35 c conflict analysis: 0.00 0 0 0.00 -
72.06/72.35 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
72.06/72.35 c benders : 0.00 0 0 0 0.00 0 0 0
72.06/72.35 c B&B Tree :
72.06/72.35 c number of runs : 2
72.06/72.35 c nodes : 16181 (10571 internal, 5610 leaves)
72.06/72.35 c feasible leaves : 0
72.06/72.35 c infeas. leaves : 5610
72.06/72.35 c objective leaves : 0
72.06/72.35 c nodes (total) : 17098 (11191 internal, 5907 leaves)
72.06/72.35 c nodes left : 0
72.06/72.35 c max depth : 40
72.06/72.35 c max depth (total): 50
72.06/72.35 c backtracks : 4656 (28.8%)
72.06/72.35 c early backtracks : 0 (0.0%)
72.06/72.35 c nodes exc. ref. : 0 (0.0%)
72.06/72.35 c delayed cutoffs : 4962
72.06/72.35 c repropagations : 13480 (728428 domain reductions, 3673 cutoffs)
72.06/72.35 c avg switch length: 3.44
72.06/72.35 c switching time : 3.47
72.06/72.35 c Root Node :
72.06/72.35 c First LP value : +0.00000000000000e+00
72.06/72.35 c First LP Iters : 1458 (64610.48 Iter/sec)
72.06/72.35 c First LP Time : 0.02
72.06/72.35 c Final Dual Bound : -
72.06/72.35 c Final Root Iters : 9925
72.06/72.35 c Root LP Estimate : +5.18796500683813e-02
72.06/72.35 c Solution :
72.06/72.35 c Solutions found : 0 (0 improvements)
72.06/72.35 c Primal Bound : infeasible
72.06/72.35 c Dual Bound : -
72.06/72.35 c Gap : 0.00 %
72.06/72.35 c Integrals : Total Avg%
72.06/72.35 c primal-dual : - - (problem infeasible)
72.06/72.35 c primal-ref : - - (problem infeasible)
72.06/72.35 c dual-ref : - - (problem infeasible)
72.06/72.37 c Time complete (sec): 72.143
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62385 MiB free)
memory of node 1: 64507 MiB (63525 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513773-1751222237/watcher-4513773-1751222237 -o /tmp/evaluation-result-4513773-1751222237/solver-4513773-1751222237 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751214767-27324 --watchdog 3760 pbsolver -f HOME/instance-4513773-1751222237.opb -t 3600 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28568, runsolver pid=28565
[startup+0.100068 s]*
/proc/loadavg: 4.01 4.07 4.08 5/265 28569
/proc/meminfo: memFree=128899648/131249988 swapFree=33010684/33010684
[pid=28568] ppid=28565 vsize=60072 memory=44720 CPUtime=0.09 cores=5,7
/proc/28568/stat : 28568 (pbsolver) R 28565 28568 27311 0 -1 4194304 9137 0 0 0 8 1 0 0 20 0 1 0 37902597 61513728 11180 18446744073709551615 4198400 14743177 140735593024752 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 16769280 16853168 52768768 140735593027978 140735593028074 140735593028074 140735593033676 0
/proc/28568/statm: 15018 11180 2656 2575 0 11925 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60072 KiB
Current children cumulated memory: 44720 KiB
[startup+0.20567 s]*
/proc/loadavg: 4.01 4.07 4.08 5/265 28569
/proc/meminfo: memFree=128897632/131249988 swapFree=33010684/33010684
[pid=28568] ppid=28565 vsize=61264 memory=45872 CPUtime=0.19 cores=5,7
/proc/28568/stat : 28568 (pbsolver) R 28565 28568 27311 0 -1 4194304 9442 0 0 0 18 1 0 0 20 0 1 0 37902597 62734336 11468 18446744073709551615 4198400 14743177 140735593024752 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 16769280 16853168 52768768 140735593027978 140735593028074 140735593028074 140735593033676 0
/proc/28568/statm: 15316 11468 2656 2575 0 12223 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61264 KiB
Current children cumulated memory: 45872 KiB
[startup+0.305575 s]*
/proc/loadavg: 4.01 4.07 4.08 5/265 28569
/proc/meminfo: memFree=128897632/131249988 swapFree=33010684/33010684
[pid=28568] ppid=28565 vsize=61580 memory=46256 CPUtime=0.29 cores=5,7
/proc/28568/stat : 28568 (pbsolver) R 28565 28568 27311 0 -1 4194304 9484 0 0 0 28 1 0 0 20 0 1 0 37902597 63057920 11564 18446744073709551615 4198400 14743177 140735593024752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52768768 140735593027978 140735593028074 140735593028074 140735593033676 0
/proc/28568/statm: 15395 11564 2688 2575 0 12302 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 61580 KiB
Current children cumulated memory: 46256 KiB
[startup+0.700141 s]
/proc/loadavg: 4.01 4.07 4.08 5/265 28569
/proc/meminfo: memFree=128872936/131249988 swapFree=33010684/33010684
[pid=28568] ppid=28565 vsize=76612 memory=59756 CPUtime=0.67 cores=5,7
/proc/28568/stat : 28568 (pbsolver) R 28565 28568 27311 0 -1 4194304 15009 0 0 0 66 1 0 0 20 0 1 0 37902597 78450688 14939 18446744073709551615 4198400 14743177 140735593024752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52768768 140735593027978 140735593028074 140735593028074 140735593033676 0
/proc/28568/statm: 19153 14939 2688 2575 0 16060 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 76612 KiB
Current children cumulated memory: 59756 KiB
[startup+1.50018 s]
/proc/loadavg: 4.01 4.07 4.08 5/265 28569
/proc/meminfo: memFree=128873476/131249988 swapFree=33010684/33010684
[pid=28568] ppid=28565 vsize=89396 memory=71020 CPUtime=1.47 cores=5,7
/proc/28568/stat : 28568 (pbsolver) R 28565 28568 27311 0 -1 4194304 17855 0 0 0 146 1 0 0 20 0 1 0 37902597 91541504 17755 18446744073709551615 4198400 14743177 140735593024752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52768768 140735593027978 140735593028074 140735593028074 140735593033676 0
/proc/28568/statm: 22349 17755 2688 2575 0 19256 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 89396 KiB
Current children cumulated memory: 71020 KiB
[startup+3.10552 s]
/proc/loadavg: 4.01 4.07 4.08 5/265 28569
/proc/meminfo: memFree=128850856/131249988 swapFree=33010684/33010684
[pid=28568] ppid=28565 vsize=105648 memory=87520 CPUtime=3.07 cores=5,7
/proc/28568/stat : 28568 (pbsolver) R 28565 28568 27311 0 -1 4194304 23793 0 0 0 305 2 0 0 20 0 1 0 37902597 108183552 21880 18446744073709551615 4198400 14743177 140735593024752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52768768 140735593027978 140735593028074 140735593028074 140735593033676 0
/proc/28568/statm: 26412 21880 2688 2575 0 23319 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 105648 KiB
Current children cumulated memory: 87520 KiB
[startup+6.30018 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 28569
/proc/meminfo: memFree=128844700/131249988 swapFree=33010684/33010684
[pid=28568] ppid=28565 vsize=115932 memory=97760 CPUtime=6.26 cores=5,7
/proc/28568/stat : 28568 (pbsolver) R 28565 28568 27311 0 -1 4194304 26365 0 0 0 623 3 0 0 20 0 1 0 37902597 118714368 24440 18446744073709551615 4198400 14743177 140735593024752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52768768 140735593027978 140735593028074 140735593028074 140735593033676 0
/proc/28568/statm: 28983 24440 2688 2575 0 25890 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 115932 KiB
Current children cumulated memory: 97760 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 28569
/proc/meminfo: memFree=128808844/131249988 swapFree=33010684/33010684
[pid=28568] ppid=28565 vsize=132568 memory=114092 CPUtime=12.64 cores=5,7
/proc/28568/stat : 28568 (pbsolver) R 28565 28568 27311 0 -1 4194304 35551 0 0 0 1259 5 0 0 20 0 1 0 37902597 135749632 28523 18446744073709551615 4198400 14743177 140735593024752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52768768 140735593027978 140735593028074 140735593028074 140735593033676 0
/proc/28568/statm: 33142 28523 2688 2575 0 30049 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 132568 KiB
Current children cumulated memory: 114092 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 28570
/proc/meminfo: memFree=128760316/131249988 swapFree=33010684/33010684
[pid=28568] ppid=28565 vsize=156316 memory=122284 CPUtime=25.4 cores=5,7
/proc/28568/stat : 28568 (pbsolver) R 28565 28568 27311 0 -1 4194304 37662 0 0 0 2535 5 0 0 20 0 1 0 37902597 160067584 30571 18446744073709551615 4198400 14743177 140735593024752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52768768 140735593027978 140735593028074 140735593028074 140735593033676 0
/proc/28568/statm: 39079 30571 2688 2575 0 35986 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 156316 KiB
Current children cumulated memory: 122284 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 28570
/proc/meminfo: memFree=128685772/131249988 swapFree=33010684/33010684
[pid=28568] ppid=28565 vsize=172244 memory=132780 CPUtime=50.93 cores=5,7
/proc/28568/stat : 28568 (pbsolver) R 28565 28568 27311 0 -1 4194304 40294 0 0 0 5087 6 0 0 20 0 1 0 37902597 176377856 33195 18446744073709551615 4198400 14743177 140735593024752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52768768 140735593027978 140735593028074 140735593028074 140735593033676 0
/proc/28568/statm: 43061 33195 2688 2575 0 39968 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 172244 KiB
Current children cumulated memory: 132780 KiB
[startup+72.3852 s]
# the end of solver process 28568 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=72.0511 s, system=0.0987 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 28570
/proc/meminfo: memFree=128685772/131249988 swapFree=33010684/33010684
[pid=28568] ppid=28565 vsize=172244 memory=132780 CPUtime=51.02 cores=5,7
/proc/28568/stat : 28568 (pbsolver) R 28565 28568 27311 0 -1 4194304 40294 0 0 0 5096 6 0 0 20 0 1 0 37902597 176377856 33195 18446744073709551615 4198400 14743177 140735593024752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52768768 140735593027978 140735593028074 140735593028074 140735593033676 0
/proc/28568/statm: 43061 33195 2688 2575 0 39968 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 172244 KiB
Current children cumulated memory: 132780 KiB
[startup+64.0002 s]*
/proc/loadavg: 4.10 4.09 4.09 5/264 28571
/proc/meminfo: memFree=128653804/131249988 swapFree=33010684/33010684
[pid=28568] ppid=28565 vsize=183040 memory=141612 CPUtime=63.78 cores=5,7
/proc/28568/stat : 28568 (pbsolver) R 28565 28568 27311 0 -1 4194304 42504 0 0 0 6372 6 0 0 20 0 1 0 37902597 187432960 35403 18446744073709551615 4198400 14743177 140735593024752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52768768 140735593027978 140735593028074 140735593028074 140735593033676 0
/proc/28568/statm: 45760 35403 2688 2575 0 42667 0
Current children cumulated CPU time: 63.78 s
Current children cumulated vsize: 183040 KiB
Current children cumulated memory: 141612 KiB
[startup+67.2001 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 28571
/proc/meminfo: memFree=128637908/131249988 swapFree=33010684/33010684
[pid=28568] ppid=28565 vsize=184036 memory=142636 CPUtime=66.98 cores=5,7
/proc/28568/stat : 28568 (pbsolver) R 28565 28568 27311 0 -1 4194304 42788 0 0 0 6691 7 0 0 20 0 1 0 37902597 188452864 35659 18446744073709551615 4198400 14743177 140735593024752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52768768 140735593027978 140735593028074 140735593028074 140735593033676 0
/proc/28568/statm: 46009 35659 2688 2575 0 42916 0
Current children cumulated CPU time: 66.98 s
Current children cumulated vsize: 184036 KiB
Current children cumulated memory: 142636 KiB
[startup+70.4002 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 28571
/proc/meminfo: memFree=128613716/131249988 swapFree=33010684/33010684
[pid=28568] ppid=28565 vsize=211396 memory=168492 CPUtime=70.17 cores=5,7
/proc/28568/stat : 28568 (pbsolver) R 28565 28568 27311 0 -1 4194304 49225 0 0 0 7008 9 0 0 20 0 1 0 37902597 216469504 42123 18446744073709551615 4198400 14743177 140735593024752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52768768 140735593027978 140735593028074 140735593028074 140735593033676 0
/proc/28568/statm: 52849 42123 2688 2575 0 49756 0
Current children cumulated CPU time: 70.17 s
Current children cumulated vsize: 211396 KiB
Current children cumulated memory: 168492 KiB
[startup+71.2001 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 28571
/proc/meminfo: memFree=128613788/131249988 swapFree=33010684/33010684
[pid=28568] ppid=28565 vsize=211396 memory=168492 CPUtime=70.96 cores=5,7
/proc/28568/stat : 28568 (pbsolver) R 28565 28568 27311 0 -1 4194304 49225 0 0 0 7087 9 0 0 20 0 1 0 37902597 216469504 42123 18446744073709551615 4198400 14743177 140735593024752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52768768 140735593027978 140735593028074 140735593028074 140735593033676 0
/proc/28568/statm: 52849 42123 2688 2575 0 49756 0
Current children cumulated CPU time: 70.96 s
Current children cumulated vsize: 211396 KiB
Current children cumulated memory: 168492 KiB
[startup+72.0002 s]*
/proc/loadavg: 4.08 4.09 4.09 5/264 28571
/proc/meminfo: memFree=128613796/131249988 swapFree=33010684/33010684
[pid=28568] ppid=28565 vsize=212804 memory=168876 CPUtime=71.77 cores=5,7
/proc/28568/stat : 28568 (pbsolver) R 28565 28568 27311 0 -1 4194304 49351 0 0 0 7168 9 0 0 20 0 1 0 37902597 217911296 42219 18446744073709551615 4198400 14743177 140735593024752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52768768 140735593027978 140735593028074 140735593028074 140735593033676 0
/proc/28568/statm: 53201 42219 2688 2575 0 50108 0
Current children cumulated CPU time: 71.77 s
Current children cumulated vsize: 212804 KiB
Current children cumulated memory: 168876 KiB
[startup+72.2001 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 28571
/proc/meminfo: memFree=128613796/131249988 swapFree=33010684/33010684
[pid=28568] ppid=28565 vsize=212804 memory=169004 CPUtime=71.96 cores=5,7
/proc/28568/stat : 28568 (pbsolver) R 28565 28568 27311 0 -1 4194304 49352 0 0 0 7187 9 0 0 20 0 1 0 37902597 217911296 42251 18446744073709551615 4198400 14743177 140735593024752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52768768 140735593027978 140735593028074 140735593028074 140735593033676 0
/proc/28568/statm: 53201 42251 2688 2575 0 50108 0
Current children cumulated CPU time: 71.96 s
Current children cumulated vsize: 212804 KiB
Current children cumulated memory: 169004 KiB
[startup+72.3002 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 28571
/proc/meminfo: memFree=128613796/131249988 swapFree=33010684/33010684
[pid=28568] ppid=28565 vsize=212804 memory=169004 CPUtime=72.06 cores=5,7
/proc/28568/stat : 28568 (pbsolver) R 28565 28568 27311 0 -1 4194304 49352 0 0 0 7197 9 0 0 20 0 1 0 37902597 217911296 42251 18446744073709551615 4198400 14743177 140735593024752 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52768768 140735593027978 140735593028074 140735593028074 140735593033676 0
/proc/28568/statm: 53201 42251 2688 2575 0 50108 0
Current children cumulated CPU time: 72.06 s
Current children cumulated vsize: 212804 KiB
Current children cumulated memory: 169004 KiB
Child status: 0
Real time (s): 72.3853
CPU time (s): 72.1498
CPU user time (s): 72.0511
CPU system time (s): 0.0987
CPU usage (%): 99.6748
Max. virtual memory (cumulated for all children) (KiB): 212804
Max. memory (cumulated for all children) (KiB): 169004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 72.0511
system time used= 0.0987
maximum resident set size= 169004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49352
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= 3
involuntary context switches= 122
# summary of solver processes directly reported to runsolver:
# pid: 28568
# total CPU time (s): 72.1498
# total CPU user time (s): 72.0511
# total CPU system time (s): 0.0987
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.171246 second user time and 0.343676 second system time
The end