0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4432696-1721055845.opb>
0.00/0.03 c original problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 17794 constraints
0.00/0.03 c problem read in 0.03
0.00/0.04 o 0
0.00/0.04 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 0.000000e+00
0.00/0.04 c presolving:
0.00/0.08 c (0.1s) running MILP presolver
0.09/0.10 c (0.1s) MILP presolver found nothing
0.09/0.13 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 17794 upgd conss, 0 impls, 17794 clqs
0.19/0.21 c (0.2s) probing: 51/450 (11.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.21 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.19/0.23 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.19/0.24 c (0.2s) no symmetry present (symcode time: 0.00)
0.19/0.24 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
0.19/0.24 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.24 c 0 implications, 17794 cliques
0.19/0.24 c presolved problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 17794 constraints
0.19/0.24 c 17794 constraints of type <setppc>
0.19/0.24 c transformed objective value is always integral (scale: 1)
0.19/0.24 c Presolving Time: 0.20
0.19/0.24 c - non default parameters ----------------------------------------------------------------------
0.19/0.24 c # SCIP version 10.0.0
0.19/0.24 c
0.19/0.24 c # maximal time in seconds to run
0.19/0.24 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.19/0.24 c limits/time = 3596.997028
0.19/0.24 c
0.19/0.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.24 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.19/0.24 c limits/memory = 27900
0.19/0.24 c
0.19/0.24 c # belongs reading time to solving time?
0.19/0.24 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c timing/reading = TRUE
0.19/0.24 c
0.19/0.24 c -----------------------------------------------------------------------------------------------
0.19/0.24 c start solving
0.19/0.24 c transformed 1/1 original solutions to the transformed problem space
0.19/0.24 c
0.19/0.27 o -19
0.19/0.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.19/0.27 c p 0.3s| 1 | 0 | 0 | - | clique| 0 | 450 | 17k| 17k| 0 | 0 | 0 | 0 |-4.500000e+02 |-1.900000e+01 |2268.42%| unknown
0.19/0.28 o -23
0.19/0.28 c p 0.3s| 1 | 0 | 0 | - | locks| 0 | 450 | 17k| 17k| 0 | 0 | 0 | 0 |-4.500000e+02 |-2.300000e+01 |1856.52%| unknown
0.29/0.37 c 0.4s| 1 | 0 | 598 | - | 59M | 0 | 450 | 17k| 17k| 0 | 0 | 0 | 0 |-2.250000e+02 |-2.300000e+01 | 878.26%| unknown
0.39/0.50 c 0.5s| 1 | 0 | 774 | - | 66M | 0 | 450 | 17k| 17k| 16 | 1 | 0 | 0 |-1.995000e+02 |-2.300000e+01 | 767.39%| unknown
0.68/0.75 c 0.8s| 1 | 0 | 996 | - | 68M | 0 | 450 | 17k| 17k| 48 | 2 | 0 | 0 |-1.760000e+02 |-2.300000e+01 | 665.22%| unknown
0.99/1.01 c 1.0s| 1 | 0 | 1280 | - | 71M | 0 | 450 | 17k| 17k| 72 | 3 | 0 | 0 |-1.535000e+02 |-2.300000e+01 | 567.39%| unknown
1.18/1.26 c 1.3s| 1 | 0 | 1596 | - | 74M | 0 | 450 | 17k| 17k| 100 | 4 | 0 | 0 |-1.297500e+02 |-2.300000e+01 | 464.13%| unknown
1.68/1.73 c 1.7s| 1 | 0 | 1848 | - | 76M | 0 | 450 | 17k| 17k| 121 | 5 | 0 | 0 |-1.175000e+02 |-2.300000e+01 | 410.87%| unknown
1.88/1.99 c 2.0s| 1 | 0 | 2393 | - | 78M | 0 | 450 | 17k| 17k| 146 | 6 | 0 | 0 |-1.055000e+02 |-2.300000e+01 | 358.70%| unknown
2.08/2.17 c 2.2s| 1 | 0 | 2871 | - | 80M | 0 | 450 | 17k| 17k| 169 | 7 | 0 | 0 |-9.725000e+01 |-2.300000e+01 | 322.83%| unknown
2.28/2.33 c 2.3s| 1 | 0 | 3553 | - | 83M | 0 | 450 | 17k| 17k| 192 | 8 | 0 | 0 |-8.491667e+01 |-2.300000e+01 | 269.20%| unknown
2.58/2.66 c 2.7s| 1 | 0 | 4044 | - | 85M | 0 | 450 | 17k| 18k| 210 | 9 | 0 | 0 |-7.100000e+01 |-2.300000e+01 | 208.70%| unknown
2.98/3.03 c 3.0s| 1 | 0 | 4304 | - | 88M | 0 | 450 | 17k| 18k| 224 | 10 | 0 | 0 |-6.400000e+01 |-2.300000e+01 | 178.26%| unknown
2.98/3.07 c 3.1s| 1 | 0 | 4548 | - | 90M | 0 | 450 | 17k| 18k| 236 | 11 | 0 | 0 |-6.000000e+01 |-2.300000e+01 | 160.87%| unknown
3.08/3.16 c 3.2s| 1 | 0 | 5152 | - | 91M | 0 | 450 | 17k| 18k| 247 | 12 | 0 | 0 |-5.450000e+01 |-2.300000e+01 | 136.96%| unknown
3.18/3.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.18/3.26 c 3.3s| 1 | 0 | 5956 | - | 93M | 0 | 450 | 17k| 18k| 259 | 13 | 0 | 0 |-4.900000e+01 |-2.300000e+01 | 113.04%| unknown
3.18/3.29 c 3.3s| 1 | 0 | 6180 | - | 95M | 0 | 450 | 17k| 18k| 268 | 14 | 0 | 0 |-4.050000e+01 |-2.300000e+01 | 76.09%| unknown
3.28/3.32 c 3.3s| 1 | 0 | 6304 | - | 97M | 0 | 450 | 17k| 18k| 278 | 15 | 0 | 0 |-3.150000e+01 |-2.300000e+01 | 36.96%| unknown
3.28/3.34 c 3.3s| 1 | 0 | 6345 | - | 99M | 0 | 450 | 17k| 18k| 285 | 16 | 0 | 0 |-3.150000e+01 |-2.300000e+01 | 36.96%| unknown
3.28/3.35 c 3.4s| 1 | 0 | 6368 | - | 100M | 0 | 450 | 17k| 18k| 293 | 17 | 0 | 0 |-3.150000e+01 |-2.300000e+01 | 36.96%| unknown
3.28/3.37 c 3.4s| 1 | 0 | 6431 | - | 101M | 0 | 450 | 17k| 18k| 300 | 18 | 0 | 0 |-3.150000e+01 |-2.300000e+01 | 36.96%| unknown
3.28/3.39 c 3.4s| 1 | 0 | 6466 | - | 103M | 0 | 450 | 17k| 18k| 308 | 19 | 0 | 0 |-3.100000e+01 |-2.300000e+01 | 34.78%| unknown
3.37/3.41 c 3.4s| 1 | 0 | 6526 | - | 104M | 0 | 450 | 17k| 18k| 316 | 20 | 0 | 0 |-3.100000e+01 |-2.300000e+01 | 34.78%| unknown
3.37/3.43 c 3.4s| 1 | 0 | 6569 | - | 105M | 0 | 450 | 17k| 18k| 321 | 21 | 0 | 0 |-3.100000e+01 |-2.300000e+01 | 34.78%| unknown
3.37/3.46 c 3.5s| 1 | 0 | 6622 | - | 105M | 0 | 450 | 17k| 17k| 327 | 22 | 0 | 0 |-3.100000e+01 |-2.300000e+01 | 34.78%| unknown
3.37/3.48 c 3.5s| 1 | 0 | 6663 | - | 105M | 0 | 450 | 17k| 17k| 332 | 23 | 0 | 0 |-3.100000e+01 |-2.300000e+01 | 34.78%| unknown
3.47/3.50 c 3.5s| 1 | 0 | 6701 | - | 105M | 0 | 450 | 17k| 17k| 338 | 24 | 0 | 0 |-3.100000e+01 |-2.300000e+01 | 34.78%| unknown
3.47/3.52 c 3.5s| 1 | 0 | 6751 | - | 105M | 0 | 450 | 17k| 17k| 346 | 25 | 0 | 0 |-3.100000e+01 |-2.300000e+01 | 34.78%| unknown
3.47/3.54 c 3.5s| 1 | 0 | 6798 | - | 105M | 0 | 450 | 17k| 17k| 352 | 26 | 0 | 0 |-3.100000e+01 |-2.300000e+01 | 34.78%| unknown
3.47/3.56 c 3.6s| 1 | 0 | 6848 | - | 105M | 0 | 450 | 17k| 17k| 360 | 27 | 0 | 0 |-3.100000e+01 |-2.300000e+01 | 34.78%| unknown
3.57/3.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.57/3.60 c 3.6s| 1 | 0 | 6938 | - | 105M | 0 | 450 | 17k| 17k| 368 | 28 | 0 | 0 |-3.100000e+01 |-2.300000e+01 | 34.78%| unknown
3.57/3.62 c 3.6s| 1 | 0 | 7002 | - | 106M | 0 | 450 | 17k| 17k| 376 | 29 | 0 | 0 |-3.100000e+01 |-2.300000e+01 | 34.78%| unknown
5.37/5.48 c 5.5s| 1 | 2 | 7005 | - | 107M | 0 | 450 | 17k| 17k| 376 | 29 | 0 | 54 |-3.083333e+01 |-2.300000e+01 | 34.06%| unknown
6.07/6.18 c d 6.2s| 18 | 19 | 7913 | 62.3 |pscostdi| 7 | 450 | 17k| 17k| 0 | 1 | 0 | 121 |-3.066667e+01 |-2.300000e+01 | 33.33%| unknown
6.07/6.18 o -25
6.07/6.18 c d 6.2s| 18 | 19 | 7916 | 62.5 |pscostdi| 7 | 450 | 17k| 17k| 0 | 1 | 0 | 121 |-3.066667e+01 |-2.500000e+01 | 22.67%| unknown
9.86/9.95 o -26
9.86/9.95 c * 9.9s| 58 | 57 | 10195 | 58.6 |strongbr| 20 | 450 | 17k| 17k| 430 | 4 | 20 | 362 |-3.066667e+01 |-2.600000e+01 | 17.95%| unknown
17.05/17.10 c 17.1s| 100 | 79 | 13722 | 69.4 | 130M | 24 | 450 | 18k| 17k| 512 | 2 | 247 | 956 |-3.066667e+01 |-2.600000e+01 | 17.95%| unknown
17.05/17.14 o -27
17.05/17.14 c *17.1s| 102 | 76 | 13820 | 69.0 |strongbr| 24 | 450 | 18k| 17k| 512 | 1 | 247 | 960 |-3.066667e+01 |-2.700000e+01 | 13.58%| unknown
25.61/25.71 c 25.7s| 200 | 108 | 19598 | 64.0 | 140M | 24 | 450 | 18k| 17k| 650 | 1 | 818 |1648 |-3.066667e+01 |-2.700000e+01 | 13.58%| 1.39%
30.50/30.64 c 30.6s| 300 | 136 | 24007 | 57.4 | 143M | 25 | 450 | 18k| 17k| 742 | 1 |1090 |1878 |-3.066667e+01 |-2.700000e+01 | 13.58%| 1.60%
34.49/34.63 c 34.6s| 400 | 164 | 28141 | 53.4 | 145M | 25 | 450 | 18k| 17k| 838 | 2 |1127 |1950 |-3.066667e+01 |-2.700000e+01 | 13.58%| 1.94%
38.28/38.46 c 38.5s| 500 | 194 | 31534 | 49.5 | 165M | 25 | 450 | 18k| 17k| 963 | 2 |1188 |2012 |-3.066667e+01 |-2.700000e+01 | 13.58%| 2.14%
41.07/41.22 c 41.2s| 600 | 226 | 35338 | 47.6 | 169M | 25 | 450 | 18k| 17k|1015 | 1 |1228 |2062 |-3.066667e+01 |-2.700000e+01 | 13.58%| 2.27%
41.67/41.89 c 41.9s| 700 | 248 | 38546 | 45.3 | 169M | 25 | 450 | 19k| 17k|1028 | 0 |1260 |2082 |-3.066667e+01 |-2.700000e+01 | 13.58%| 2.27%
45.37/45.53 c 45.5s| 800 | 273 | 41453 | 43.3 | 171M | 25 | 450 | 19k| 17k|1119 | 0 |1300 |2114 |-3.066667e+01 |-2.700000e+01 | 13.58%| 2.38%
47.46/47.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
47.46/47.66 c 47.7s| 900 | 303 | 44664 | 42.1 | 173M | 25 | 450 | 19k| 17k|1195 | 0 |1309 |2129 |-3.066667e+01 |-2.700000e+01 | 13.58%| 2.85%
48.56/48.70 c 48.7s| 1000 | 325 | 46781 | 40.0 | 173M | 25 | 450 | 19k| 17k|1237 | 1 |1309 |2134 |-3.066667e+01 |-2.700000e+01 | 13.58%| 2.87%
48.96/49.12 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
48.96/49.12 c (run 1, node 1062) performing user restart
48.96/49.12 c
48.96/49.12 c (restart) converted 84 cuts from the global cut pool into linear constraints
48.96/49.12 c
48.96/49.14 c presolving:
48.96/49.18 c (round 1, exhaustive) 0 del vars, 7 del conss, 3 add conss, 0 chg bounds, 3 chg sides, 25 chg coeffs, 84 upgd conss, 0 impls, 17879 clqs
49.05/49.21 c (round 2, exhaustive) 0 del vars, 40 del conss, 4 add conss, 0 chg bounds, 3 chg sides, 316 chg coeffs, 84 upgd conss, 0 impls, 17879 clqs
49.05/49.26 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
49.05/49.26 c 0 deleted vars, 47 deleted constraints, 4 added constraints, 0 tightened bounds, 0 added holes, 3 changed sides, 327 changed coefficients
49.05/49.26 c 0 implications, 17879 cliques
49.05/49.26 c presolved problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 19100 constraints
49.05/49.26 c 27 constraints of type <knapsack>
49.05/49.26 c 17879 constraints of type <setppc>
49.05/49.26 c 11 constraints of type <linear>
49.05/49.26 c 1183 constraints of type <logicor>
49.05/49.26 c transformed objective value is always integral (scale: 1)
49.05/49.26 c Presolving Time: 0.32
49.15/49.30 c transformed 88/100 original solutions to the transformed problem space
49.15/49.30 c
49.15/49.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
49.15/49.35 c 49.3s| 1 | 0 | 48845 | - | 175M | 0 | 450 | 19k| 17k| 0 | 0 |1311 |2135 |-3.066667e+01 |-2.700000e+01 | 13.58%| unknown
49.45/49.65 c 49.7s| 1 | 0 | 48880 | - | 175M | 0 | 450 | 19k| 17k| 7 | 1 |1311 |2135 |-3.066667e+01 |-2.700000e+01 | 13.58%| unknown
49.75/49.93 c 49.9s| 1 | 0 | 48938 | - | 175M | 0 | 450 | 19k| 17k| 15 | 2 |1311 |2135 |-3.066667e+01 |-2.700000e+01 | 13.58%| unknown
50.05/50.24 c 50.2s| 1 | 0 | 49000 | - | 175M | 0 | 450 | 19k| 17k| 24 | 3 |1311 |2135 |-3.066667e+01 |-2.700000e+01 | 13.58%| unknown
50.25/50.47 c 50.5s| 1 | 0 | 49047 | - | 177M | 0 | 450 | 19k| 17k| 31 | 4 |1311 |2135 |-3.066667e+01 |-2.700000e+01 | 13.58%| unknown
50.55/50.77 c 50.8s| 1 | 0 | 49129 | - | 179M | 0 | 450 | 19k| 17k| 39 | 5 |1311 |2135 |-3.066667e+01 |-2.700000e+01 | 13.58%| unknown
51.05/51.23 c 51.2s| 1 | 0 | 49177 | - | 181M | 0 | 450 | 19k| 17k| 46 | 6 |1311 |2135 |-3.066667e+01 |-2.700000e+01 | 13.58%| unknown
51.25/51.47 c 51.5s| 1 | 0 | 49243 | - | 185M | 0 | 450 | 19k| 17k| 52 | 7 |1311 |2135 |-3.066667e+01 |-2.700000e+01 | 13.58%| unknown
51.45/51.64 c 51.6s| 1 | 0 | 49313 | - | 188M | 0 | 450 | 19k| 17k| 64 | 8 |1311 |2135 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
51.54/51.79 c 51.8s| 1 | 0 | 49381 | - | 192M | 0 | 450 | 19k| 17k| 72 | 9 |1311 |2135 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
51.74/51.95 c 52.0s| 1 | 0 | 49423 | - | 196M | 0 | 450 | 19k| 17k| 80 | 10 |1311 |2135 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
51.74/51.98 c 52.0s| 1 | 0 | 49479 | - | 198M | 0 | 450 | 19k| 17k| 86 | 11 |1311 |2135 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
51.85/52.01 c 52.0s| 1 | 0 | 49541 | - | 200M | 0 | 450 | 19k| 17k| 94 | 12 |1311 |2135 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
51.85/52.04 c 52.0s| 1 | 0 | 49578 | - | 201M | 0 | 450 | 19k| 17k| 100 | 13 |1311 |2135 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
51.85/52.07 c 52.1s| 1 | 0 | 49625 | - | 203M | 0 | 450 | 19k| 17k| 105 | 14 |1311 |2135 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
51.96/52.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
51.96/52.10 c 52.1s| 1 | 0 | 49689 | - | 205M | 0 | 450 | 19k| 17k| 110 | 15 |1311 |2135 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
51.96/52.13 c 52.1s| 1 | 0 | 49748 | - | 205M | 0 | 450 | 19k| 17k| 115 | 16 |1311 |2135 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
51.96/52.17 c 52.2s| 1 | 0 | 49808 | - | 207M | 0 | 450 | 19k| 17k| 121 | 17 |1311 |2135 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
52.05/52.20 c 52.2s| 1 | 0 | 49856 | - | 209M | 0 | 450 | 19k| 17k| 127 | 18 |1318 |2135 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
53.44/53.60 c 53.6s| 1 | 2 | 50318 | - | 209M | 0 | 450 | 19k| 17k| 127 | 18 |1323 |2158 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
64.01/64.23 c 64.2s| 100 | 29 | 57267 | 42.1 | 228M | 12 | 450 | 19k| 17k| 230 | 1 |1825 |2841 |-3.000000e+01 |-2.700000e+01 | 11.11%| 4.19%
70.20/70.41 c 70.4s| 200 | 49 | 60754 | 41.5 | 234M | 18 | 450 | 19k| 17k| 334 | 1 |1915 |2941 |-3.000000e+01 |-2.700000e+01 | 11.11%| 4.49%
71.00/71.28 c 71.3s| 300 | 67 | 63168 | 40.3 | 234M | 25 | 450 | 19k| 17k| 352 | 2 |1939 |3000 |-3.000000e+01 |-2.700000e+01 | 11.11%| 4.57%
72.29/72.52 c 72.5s| 400 | 77 | 64954 | 38.7 | 236M | 31 | 450 | 19k| 17k| 394 | 1 |1952 |3011 |-3.000000e+01 |-2.700000e+01 | 11.11%| 4.65%
73.89/74.14 c 74.1s| 500 | 85 | 66709 | 37.4 | 238M | 33 | 450 | 19k| 17k| 440 | 1 |1968 |3025 |-3.000000e+01 |-2.700000e+01 | 11.11%| 4.72%
75.09/75.33 c 75.3s| 600 | 105 | 69177 | 36.6 | 238M | 33 | 450 | 19k| 17k| 481 | 0 |1990 |3046 |-3.000000e+01 |-2.700000e+01 | 11.11%| 4.74%
75.99/76.22 c 76.2s| 700 | 127 | 71315 | 35.7 | 238M | 33 | 450 | 19k| 17k| 513 | 1 |2002 |3053 |-3.000000e+01 |-2.700000e+01 | 11.11%| 4.78%
78.18/78.44 c 78.4s| 800 | 145 | 74147 | 35.3 | 242M | 33 | 450 | 19k| 17k| 605 | 0 |2013 |3075 |-3.000000e+01 |-2.700000e+01 | 11.11%| 4.82%
78.88/79.13 c 79.1s| 900 | 169 | 76068 | 34.5 | 243M | 33 | 450 | 19k| 17k| 641 | 1 |2013 |3079 |-3.000000e+01 |-2.700000e+01 | 11.11%| 4.83%
80.58/80.89 c 80.9s| 1000 | 235 | 79597 | 34.6 | 266M | 33 | 450 | 19k| 17k| 689 | 0 |2036 |3095 |-3.000000e+01 |-2.700000e+01 | 11.11%| 4.83%
81.67/81.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
81.67/81.92 c 81.9s| 1100 | 277 | 81960 | 34.1 | 266M | 33 | 450 | 19k| 17k| 742 | 1 |2039 |3097 |-3.000000e+01 |-2.700000e+01 | 11.11%| 4.92%
82.16/82.48 c 82.5s| 1200 | 315 | 84146 | 33.5 | 267M | 33 | 450 | 19k| 17k| 780 | 1 |2047 |3099 |-3.000000e+01 |-2.700000e+01 | 11.11%| 4.92%
82.87/83.15 c 83.1s| 1300 | 359 | 87103 | 33.3 | 268M | 33 | 450 | 19k| 17k| 803 | 1 |2055 |3102 |-3.000000e+01 |-2.700000e+01 | 11.11%| 5.07%
83.86/84.17 c 84.2s| 1400 | 399 | 89371 | 32.9 | 268M | 34 | 450 | 19k| 17k| 828 | 0 |2070 |3130 |-3.000000e+01 |-2.700000e+01 | 11.11%| 5.10%
84.87/85.19 c 85.2s| 1500 | 455 | 91530 | 32.5 | 268M | 34 | 450 | 19k| 17k| 872 | 1 |2080 |3131 |-3.000000e+01 |-2.700000e+01 | 11.11%| 5.12%
86.36/86.66 c 86.7s| 1600 | 485 | 93456 | 32.0 | 268M | 34 | 450 | 19k| 17k| 905 | 1 |2088 |3134 |-3.000000e+01 |-2.700000e+01 | 11.11%| 5.12%
89.55/89.85 c 89.9s| 1700 | 523 | 96298 | 31.8 | 268M | 34 | 450 | 19k| 17k| 958 | 1 |2100 |3157 |-3.000000e+01 |-2.700000e+01 | 11.11%| 5.12%
91.64/91.99 c 92.0s| 1800 | 563 | 99007 | 31.7 | 270M | 34 | 450 | 19k| 17k|1032 | 0 |2116 |3168 |-3.000000e+01 |-2.700000e+01 | 11.11%| 5.15%
93.54/93.87 c 93.9s| 1900 | 615 |101998 | 31.6 | 279M | 34 | 450 | 19k| 17k|1096 | 1 |2133 |3180 |-3.000000e+01 |-2.700000e+01 | 11.11%| 5.16%
93.84/94.14 o -28
93.84/94.14 c *94.1s| 1944 | 177 |102989 | 31.5 | LP | 34 | 450 | 19k| 17k|1103 | 1 |2133 |3185 |-3.000000e+01 |-2.800000e+01 | 7.14%| 34.38%
94.24/94.54 c 94.5s| 2000 | 189 |104781 | 31.5 | 279M | 34 | 450 | 19k| 17k|1107 | 0 |2152 |3192 |-3.000000e+01 |-2.800000e+01 | 7.14%| 35.47%
95.43/95.72 c 95.7s| 2100 | 187 |106738 | 31.1 | 281M | 34 | 450 | 19k| 17k|1149 | 0 |2175 |3198 |-3.000000e+01 |-2.800000e+01 | 7.14%| 37.10%
96.14/96.44 c 96.4s| 2200 | 205 |110244 | 31.2 | 281M | 34 | 450 | 19k| 17k|1167 | 0 |2213 |3205 |-3.000000e+01 |-2.800000e+01 | 7.14%| 37.83%
97.63/97.91 c 97.9s| 2300 | 203 |112093 | 30.9 | 281M | 34 | 450 | 19k| 17k|1184 | 0 |2230 |3209 |-3.000000e+01 |-2.800000e+01 | 7.14%| 39.73%
98.93/99.20 c 99.2s| 2400 | 191 |114017 | 30.5 | 281M | 34 | 450 | 19k| 17k|1212 | 1 |2252 |3213 |-3.000000e+01 |-2.800000e+01 | 7.14%| 42.73%
101.22/101.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
101.22/101.54 c 102s| 2500 | 187 |116142 | 30.3 | 283M | 34 | 450 | 19k| 17k|1277 | 1 |2265 |3218 |-3.000000e+01 |-2.800000e+01 | 7.14%| 44.10%
103.31/103.62 c 104s| 2600 | 203 |118699 | 30.1 | 283M | 34 | 450 | 19k| 17k|1334 | 1 |2326 |3229 |-3.000000e+01 |-2.800000e+01 | 7.14%| 44.70%
103.82/104.18 c 104s| 2700 | 207 |121119 | 30.0 | 286M | 34 | 450 | 19k| 17k|1338 | 1 |2381 |3244 |-3.000000e+01 |-2.800000e+01 | 7.14%| 45.46%
104.61/104.94 c 105s| 2800 | 213 |122979 | 29.7 | 286M | 36 | 450 | 19k| 17k|1367 | 1 |2401 |3252 |-3.000000e+01 |-2.800000e+01 | 7.14%| 45.54%
105.81/106.15 c 106s| 2900 | 225 |125650 | 29.6 | 286M | 36 | 450 | 19k| 17k|1402 | 2 |2466 |3264 |-3.000000e+01 |-2.800000e+01 | 7.14%| 45.75%
108.30/108.69 c 109s| 3000 | 229 |127995 | 29.5 | 286M | 36 | 450 | 19k| 17k|1476 | 0 |2500 |3271 |-3.000000e+01 |-2.800000e+01 | 7.14%| 46.16%
110.59/111.00 c 111s| 3100 | 219 |131124 | 29.5 | 287M | 36 | 450 | 20k| 17k|1543 | 0 |2554 |3291 |-3.000000e+01 |-2.800000e+01 | 7.14%| 48.28%
112.89/113.23 c 113s| 3200 | 237 |134848 | 29.7 | 288M | 36 | 450 | 20k| 17k|1596 | 0 |2587 |3312 |-3.000000e+01 |-2.800000e+01 | 7.14%| 48.60%
114.09/114.48 c 114s| 3300 | 245 |136866 | 29.5 | 288M | 36 | 450 | 20k| 17k|1625 | 1 |2606 |3315 |-3.000000e+01 |-2.800000e+01 | 7.14%| 48.81%
114.59/114.90 c 115s| 3400 | 247 |138462 | 29.2 | 288M | 36 | 450 | 20k| 17k|1626 | 1 |2608 |3317 |-3.000000e+01 |-2.800000e+01 | 7.14%| 48.83%
115.29/115.60 c 116s| 3500 | 249 |140808 | 29.0 | 288M | 36 | 450 | 20k| 17k|1653 | 1 |2618 |3327 |-3.000000e+01 |-2.800000e+01 | 7.14%| 48.84%
116.38/116.79 c 117s| 3600 | 281 |144877 | 29.3 | 294M | 36 | 450 | 20k| 17k|1682 | 0 |2653 |3329 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.07%
116.98/117.30 c 117s| 3700 | 303 |146791 | 29.1 | 294M | 36 | 450 | 20k| 17k|1706 | 0 |2663 |3330 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.08%
118.08/118.45 c 118s| 3800 | 331 |150063 | 29.1 | 294M | 36 | 450 | 20k| 17k|1732 | 1 |2712 |3337 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.10%
119.17/119.57 c 120s| 3900 | 333 |152204 | 29.0 | 294M | 36 | 450 | 20k| 17k|1756 | 0 |2741 |3341 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.13%
120.17/120.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
120.17/120.55 c 121s| 4000 | 345 |154206 | 28.8 | 294M | 36 | 450 | 20k| 17k|1773 | 1 |2757 |3347 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.16%
121.57/121.91 c 122s| 4100 | 363 |157817 | 29.0 | 294M | 36 | 450 | 20k| 17k|1801 | 0 |2841 |3396 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.17%
122.37/122.73 c 123s| 4200 | 383 |160838 | 29.0 | 294M | 36 | 450 | 20k| 17k|1808 | 1 |2895 |3434 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.18%
123.06/123.47 c 123s| 4300 | 383 |163232 | 28.9 | 294M | 36 | 450 | 20k| 0 |1814 | 0 |2989 |3481 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.22%
124.26/124.69 c 125s| 4400 | 372 |165103 | 28.7 | 294M | 36 | 450 | 20k| 17k|1835 | 0 |3095 |3520 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.24%
126.95/127.35 c 127s| 4500 | 379 |168916 | 28.9 | 296M | 36 | 450 | 20k| 17k|1891 | 1 |3213 |3586 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.30%
127.85/128.22 c 128s| 4600 | 364 |171041 | 28.7 | 296M | 36 | 450 | 20k| 17k|1921 | 0 |3303 |3618 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.35%
128.65/129.06 c 129s| 4700 | 370 |173563 | 28.7 | 297M | 36 | 450 | 20k| 17k|1951 | 0 |3398 |3646 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.37%
129.34/129.71 c 130s| 4800 | 350 |176207 | 28.6 | 297M | 36 | 450 | 20k| 17k|1954 | 1 |3498 |3687 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.41%
130.24/130.62 c 131s| 4900 | 349 |179872 | 28.8 | 298M | 36 | 450 | 20k| 17k|1980 | 0 |3595 |3734 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.44%
133.93/134.36 c 134s| 5000 | 373 |183888 | 29.0 | 301M | 36 | 450 | 20k| 17k|2088 | 0 |3655 |3773 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.61%
135.43/135.83 c 136s| 5100 | 417 |187492 | 29.1 | 313M | 36 | 450 | 20k| 17k|2139 | 0 |3797 |3811 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.66%
136.22/136.68 c 137s| 5200 | 430 |190020 | 29.0 | 313M | 36 | 450 | 20k| 17k|2145 | 0 |3912 |3861 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.67%
136.82/137.25 c 137s| 5300 | 435 |192415 | 28.9 | 313M | 36 | 450 | 20k| 17k|2194 | 2 |3936 |3873 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.67%
137.62/138.04 c 138s| 5400 | 437 |195982 | 29.0 | 313M | 36 | 450 | 20k| 17k|2205 | 0 |3999 |3906 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.70%
138.92/139.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
138.92/139.35 c 139s| 5500 | 453 |199300 | 29.1 | 313M | 36 | 450 | 20k| 17k|2229 | 2 |4061 |3915 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.82%
139.51/139.90 c 140s| 5600 | 454 |201629 | 29.0 | 313M | 36 | 450 | 20k| 17k|2240 | 0 |4118 |3930 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.82%
140.31/140.70 c 141s| 5700 | 484 |205095 | 29.1 | 314M | 36 | 450 | 20k| 17k|2263 | 1 |4158 |3958 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.82%
141.01/141.45 c 141s| 5800 | 477 |207306 | 29.0 | 314M | 36 | 450 | 20k| 17k|2279 | 1 |4172 |3962 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.84%
142.01/142.42 c 142s| 5900 | 487 |210299 | 29.0 | 314M | 36 | 450 | 20k| 17k|2312 | 0 |4208 |3962 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.85%
143.90/144.35 c 144s| 6000 | 527 |213935 | 29.1 | 314M | 36 | 450 | 20k| 17k|2355 | 1 |4246 |3985 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.96%
144.40/144.87 c 145s| 6100 | 563 |216485 | 29.1 | 315M | 36 | 450 | 20k| 17k|2359 | 0 |4274 |3987 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.96%
144.90/145.31 c 145s| 6200 | 567 |218495 | 28.9 | 315M | 36 | 450 | 20k| 17k|2365 | 0 |4291 |3987 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.96%
145.40/145.82 c 146s| 6300 | 585 |220803 | 28.9 | 315M | 36 | 450 | 20k| 17k|2374 | 1 |4351 |3989 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.96%
145.91/146.33 c 146s| 6400 | 595 |223640 | 28.9 | 315M | 36 | 450 | 20k| 17k|2382 | 0 |4353 |3992 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.96%
146.61/147.01 c 147s| 6500 | 625 |227199 | 28.9 | 316M | 37 | 450 | 20k| 17k|2389 | 1 |4361 |4001 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.96%
147.10/147.59 c 148s| 6600 | 643 |229772 | 28.9 | 316M | 37 | 450 | 20k| 17k|2397 | 1 |4386 |4007 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.98%
147.80/148.27 c 148s| 6700 | 665 |233880 | 29.1 | 316M | 37 | 450 | 20k| 17k|2400 | 1 |4401 |4011 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.98%
148.50/148.99 c 149s| 6800 | 701 |237998 | 29.2 | 316M | 38 | 450 | 20k| 17k|2408 | 0 |4428 |4013 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.98%
149.70/150.12 c 150s| 6900 | 719 |241114 | 29.2 | 317M | 39 | 450 | 20k| 17k|2428 | 1 |4442 |4018 |-3.000000e+01 |-2.800000e+01 | 7.14%| 49.98%
150.39/150.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
150.39/150.86 c 151s| 7000 | 759 |244723 | 29.3 | 317M | 39 | 450 | 20k| 17k|2429 | 1 |4487 |4023 |-3.000000e+01 |-2.800000e+01 | 7.14%| 50.44%
151.89/152.35 c 152s| 7100 | 791 |248154 | 29.4 | 317M | 39 | 450 | 20k| 17k|2457 | 0 |4518 |4025 |-3.000000e+01 |-2.800000e+01 | 7.14%| 50.55%
152.48/152.98 c 153s| 7200 | 801 |250986 | 29.4 | 317M | 39 | 450 | 20k| 17k|2462 | 0 |4526 |4027 |-3.000000e+01 |-2.800000e+01 | 7.14%| 50.57%
153.68/154.12 c 154s| 7300 | 823 |252931 | 29.3 | 317M | 39 | 450 | 20k| 17k|2478 | 0 |4564 |4030 |-3.000000e+01 |-2.800000e+01 | 7.14%| 50.59%
154.28/154.71 c 155s| 7400 | 837 |255683 | 29.2 | 317M | 39 | 450 | 20k| 17k|2487 | 1 |4605 |4033 |-3.000000e+01 |-2.800000e+01 | 7.14%| 50.61%
154.98/155.49 c 155s| 7500 | 855 |258229 | 29.2 | 318M | 39 | 450 | 20k| 17k|2501 | 1 |4622 |4037 |-3.000000e+01 |-2.800000e+01 | 7.14%| 50.62%
155.68/156.16 c 156s| 7600 | 877 |261271 | 29.2 | 318M | 39 | 450 | 20k| 17k|2511 | 1 |4636 |4041 |-3.000000e+01 |-2.800000e+01 | 7.14%| 50.63%
156.07/156.52 c 157s| 7700 | 893 |262702 | 29.0 | 318M | 39 | 450 | 20k| 17k|2515 | 0 |4636 |4041 |-3.000000e+01 |-2.800000e+01 | 7.14%| 50.64%
156.68/157.16 c 157s| 7800 | 931 |265957 | 29.1 | 318M | 39 | 450 | 20k| 17k|2521 | 1 |4673 |4042 |-3.000000e+01 |-2.800000e+01 | 7.14%| 50.67%
157.17/157.62 c 158s| 7900 | 949 |268225 | 29.0 | 319M | 39 | 450 | 20k| 17k|2527 | 1 |4709 |4046 |-3.000000e+01 |-2.800000e+01 | 7.14%| 50.82%
157.87/158.38 c 158s| 8000 | 971 |271426 | 29.0 | 319M | 39 | 450 | 20k| 17k|2537 | 0 |4723 |4047 |-3.000000e+01 |-2.800000e+01 | 7.14%| 50.89%
159.36/159.84 c 160s| 8100 | 983 |274318 | 29.0 | 319M | 39 | 450 | 20k| 17k|2575 | 0 |4735 |4049 |-3.000000e+01 |-2.800000e+01 | 7.14%| 50.98%
160.76/161.26 c 161s| 8200 | 987 |277823 | 29.1 | 319M | 39 | 450 | 20k| 17k|2606 | 0 |4756 |4051 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.09%
161.26/161.74 c 162s| 8300 | 1011 |280549 | 29.1 | 319M | 39 | 450 | 20k| 17k|2609 | 0 |4772 |4052 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.09%
163.15/163.68 c 164s| 8400 | 1027 |283548 | 29.1 | 319M | 39 | 450 | 20k| 17k|2665 | 1 |4792 |4053 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.16%
164.05/164.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
164.05/164.57 c 165s| 8500 | 1043 |285889 | 29.0 | 319M | 39 | 450 | 20k| 17k|2688 | 1 |4806 |4053 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.16%
165.35/165.89 c 166s| 8600 | 1059 |288519 | 29.0 | 319M | 39 | 450 | 20k| 17k|2729 | 1 |4818 |4053 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.18%
166.14/166.60 c 167s| 8700 | 1083 |291294 | 29.0 | 319M | 39 | 450 | 20k| 17k|2751 | 0 |4830 |4054 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.19%
166.84/167.37 c 167s| 8800 | 1079 |294857 | 29.1 | 319M | 39 | 450 | 20k| 17k|2755 | 0 |4871 |4088 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.20%
167.74/168.25 c 168s| 8900 | 1079 |297924 | 29.1 | 319M | 40 | 450 | 20k| 17k|2757 | 0 |4983 |4152 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.25%
168.44/168.91 c 169s| 9000 | 1071 |300385 | 29.0 | 319M | 40 | 450 | 20k| 17k|2762 | 1 |5107 |4194 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.26%
169.13/169.63 c 170s| 9100 | 1066 |302974 | 29.0 | 319M | 40 | 450 | 20k| 17k|2773 | 0 |5210 |4237 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.26%
169.73/170.21 c 170s| 9200 | 1072 |305074 | 28.9 | 319M | 40 | 450 | 20k| 17k|2781 | 1 |5244 |4272 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.27%
170.64/171.18 c 171s| 9300 | 1071 |307885 | 28.9 | 319M | 40 | 450 | 20k| 17k|2810 | 0 |5272 |4279 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.35%
171.43/171.93 c 172s| 9400 | 1079 |310693 | 28.9 | 319M | 40 | 450 | 20k| 17k|2822 | 1 |5384 |4324 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.36%
171.93/172.47 c 172s| 9500 | 1085 |312773 | 28.8 | 319M | 40 | 450 | 20k| 17k|2834 | 0 |5434 |4352 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.36%
172.72/173.24 c 173s| 9600 | 1085 |315773 | 28.8 | 320M | 40 | 450 | 20k| 17k|2845 | 1 |5515 |4390 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.36%
173.42/173.96 c 174s| 9700 | 1091 |318432 | 28.8 | 320M | 40 | 450 | 20k| 17k|2857 | 1 |5528 |4424 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.36%
174.12/174.69 c 175s| 9800 | 1078 |321273 | 28.8 | 320M | 40 | 450 | 20k| 17k|2868 | 0 |5620 |4461 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.36%
175.02/175.54 c 176s| 9900 | 1100 |325051 | 28.9 | 320M | 40 | 450 | 20k| 17k|2872 | 1 |5712 |4500 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.37%
176.11/176.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
176.11/176.62 c 177s| 10000 | 1098 |327731 | 28.9 | 320M | 40 | 450 | 20k| 17k|2883 | 1 |5828 |4566 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.44%
176.52/177.07 c 177s| 10100 | 1085 |329814 | 28.8 | 320M | 40 | 450 | 20k| 17k|2889 | 0 |5838 |4568 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.44%
177.31/177.82 c 178s| 10200 | 1079 |332445 | 28.8 | 320M | 40 | 450 | 20k| 17k|2902 | 0 |5909 |4611 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.44%
178.01/178.50 c 178s| 10300 | 1089 |334550 | 28.7 | 320M | 40 | 450 | 20k| 17k|2903 | 0 |5958 |4657 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.44%
178.71/179.20 c 179s| 10400 | 1079 |336769 | 28.7 | 320M | 40 | 450 | 20k| 17k|2904 | 2 |6005 |4700 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.45%
179.21/179.70 c 180s| 10500 | 1075 |339065 | 28.6 | 320M | 40 | 450 | 20k| 17k|2913 | 1 |6058 |4717 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.45%
179.70/180.22 c 180s| 10600 | 1069 |341460 | 28.6 | 320M | 40 | 450 | 20k| 17k|2916 | 1 |6088 |4725 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.46%
180.30/180.81 c 181s| 10700 | 1087 |344274 | 28.6 | 320M | 40 | 450 | 20k| 17k|2917 | 1 |6114 |4739 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.46%
181.20/181.76 c 182s| 10800 | 1099 |346620 | 28.5 | 320M | 40 | 450 | 20k| 17k|2925 | 0 |6127 |4757 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.46%
181.81/182.37 c 182s| 10900 | 1089 |348843 | 28.5 | 320M | 40 | 450 | 20k| 17k|2937 | 0 |6146 |4758 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.46%
182.40/182.95 c 183s| 11000 | 1085 |351674 | 28.5 | 320M | 40 | 450 | 20k| 17k|2939 | 0 |6160 |4765 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.46%
184.20/184.75 c 185s| 11100 | 1093 |354703 | 28.5 | 320M | 40 | 450 | 20k| 17k|2987 | 1 |6203 |4776 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.56%
184.60/185.18 c 185s| 11200 | 1079 |356481 | 28.4 | 320M | 40 | 450 | 20k| 17k|2987 | 0 |6225 |4782 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.56%
186.29/186.83 c 187s| 11300 | 1087 |359241 | 28.4 | 320M | 40 | 450 | 20k| 17k|3028 | 0 |6274 |4793 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.70%
186.89/187.40 c 187s| 11400 | 1101 |361977 | 28.4 | 325M | 40 | 450 | 20k| 17k|3035 | 0 |6295 |4801 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.70%
187.50/188.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
187.50/188.02 c 188s| 11500 | 1109 |365723 | 28.4 | 325M | 40 | 450 | 20k| 17k|3047 | 1 |6306 |4810 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.72%
188.09/188.69 c 189s| 11600 | 1109 |368655 | 28.5 | 326M | 42 | 450 | 20k| 17k|3061 | 0 |6315 |4818 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.72%
188.79/189.31 c 189s| 11700 | 1121 |371976 | 28.5 | 326M | 42 | 450 | 20k| 17k|3067 | 1 |6316 |4825 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.72%
189.39/189.97 c 190s| 11800 | 1143 |376154 | 28.6 | 328M | 42 | 450 | 20k| 17k|3076 | 1 |6320 |4830 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.72%
189.88/190.45 c 190s| 11900 | 1151 |378343 | 28.5 | 328M | 42 | 450 | 20k| 17k|3079 | 1 |6329 |4837 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.72%
190.38/190.93 c 191s| 12000 | 1163 |380909 | 28.5 | 329M | 42 | 450 | 20k| 17k|3080 | 1 |6336 |4839 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.72%
190.88/191.48 c 191s| 12100 | 1179 |383961 | 28.5 | 329M | 42 | 450 | 20k| 17k|3083 | 1 |6355 |4845 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.72%
191.38/191.90 c 192s| 12200 | 1157 |385949 | 28.5 | 329M | 42 | 450 | 20k| 17k|3084 | 0 |6365 |4846 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.76%
191.78/192.35 c 192s| 12300 | 1163 |388252 | 28.4 | 329M | 42 | 450 | 20k| 17k|3094 | 0 |6379 |4848 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.76%
192.78/193.37 c 193s| 12400 | 1173 |390772 | 28.4 | 329M | 42 | 450 | 20k| 17k|3109 | 0 |6381 |4852 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.77%
193.18/193.79 c 194s| 12500 | 1199 |392891 | 28.4 | 329M | 42 | 450 | 20k| 17k|3111 | 0 |6396 |4854 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.77%
193.97/194.54 c 195s| 12600 | 1213 |394892 | 28.3 | 329M | 42 | 450 | 20k| 17k|3122 | 0 |6414 |4854 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.78%
194.37/194.98 c 195s| 12700 | 1223 |397109 | 28.2 | 329M | 42 | 450 | 20k| 17k|3123 | 0 |6414 |4854 |-3.000000e+01 |-2.800000e+01 | 7.14%| 51.79%
194.77/195.33 o -29
194.77/195.33 c * 195s| 12729 | 14 |397765 | 28.2 | LP | 42 | 450 | 19k| 17k|3134 | 1 |6418 |4854 |-3.000000e+01 |-2.900000e+01 | 3.45%| 80.32%
195.57/196.11 c 196s| 12800 | 11 |400029 | 28.3 | 329M | 42 | 450 | 19k| 17k|3143 | 0 |6418 |4854 |-3.000000e+01 |-2.900000e+01 | 3.45%| 80.71%
196.07/196.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
196.07/196.67 c 197s| 12900 | 9 |402599 | 28.2 | 329M | 42 | 450 | 19k| 17k|3157 | 1 |6421 |4854 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.11%
196.57/197.16 c 197s| 13000 | 7 |405188 | 28.2 | 329M | 42 | 450 | 19k| 17k|3161 | 0 |6421 |4854 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.22%
198.36/198.97 c 199s| 13100 | 13 |409001 | 28.3 | 329M | 42 | 450 | 19k| 17k|3193 | 0 |6425 |4854 |-3.000000e+01 |-2.900000e+01 | 3.45%| 85.27%
200.66/201.23 c 201s| 13200 | 15 |413099 | 28.4 | 329M | 42 | 450 | 19k| 17k|3255 | 0 |6430 |4854 |-3.000000e+01 |-2.900000e+01 | 3.45%| 85.95%
201.15/201.75 c 202s| 13300 | 21 |415660 | 28.4 | 329M | 42 | 450 | 19k| 17k|3269 | 0 |6468 |4859 |-3.000000e+01 |-2.900000e+01 | 3.45%| 85.97%
201.65/202.28 c 202s| 13400 | 19 |418619 | 28.4 | 329M | 42 | 450 | 19k| 17k|3287 | 1 |6508 |4864 |-3.000000e+01 |-2.900000e+01 | 3.45%| 85.98%
202.25/202.84 c 203s| 13500 | 21 |421536 | 28.4 | 329M | 42 | 450 | 19k| 17k|3304 | 0 |6512 |4864 |-3.000000e+01 |-2.900000e+01 | 3.45%| 85.98%
202.75/203.35 c 203s| 13600 | 19 |424419 | 28.4 | 329M | 42 | 450 | 19k| 17k|3314 | 0 |6512 |4864 |-3.000000e+01 |-2.900000e+01 | 3.45%| 85.98%
203.45/204.00 c 204s| 13700 | 16 |426704 | 28.3 | 329M | 42 | 450 | 19k| 17k|3331 | 0 |6542 |4869 |-3.000000e+01 |-2.900000e+01 | 3.45%| 86.00%
203.95/204.55 c 205s| 13800 | 18 |428594 | 28.3 | 329M | 42 | 450 | 19k| 17k|3341 | 0 |6559 |4869 |-3.000000e+01 |-2.900000e+01 | 3.45%| 86.00%
204.45/205.01 c 205s| 13900 | 18 |431202 | 28.3 | 329M | 42 | 450 | 19k| 17k|3346 | 1 |6568 |4869 |-3.000000e+01 |-2.900000e+01 | 3.45%| 86.01%
204.84/205.44 c 205s| 14000 | 16 |433128 | 28.2 | 329M | 42 | 450 | 19k| 17k|3354 | 0 |6609 |4874 |-3.000000e+01 |-2.900000e+01 | 3.45%| 86.01%
205.34/205.91 c 206s| 14100 | 22 |435462 | 28.2 | 329M | 42 | 450 | 19k| 17k|3357 | 1 |6609 |4874 |-3.000000e+01 |-2.900000e+01 | 3.45%| 86.01%
205.74/206.38 c 206s| 14200 | 20 |437817 | 28.1 | 329M | 42 | 450 | 19k| 17k|3368 | 1 |6644 |4878 |-3.000000e+01 |-2.900000e+01 | 3.45%| 86.01%
206.24/206.88 c 207s| 14300 | 24 |440349 | 28.1 | 329M | 42 | 450 | 19k| 17k|3371 | 0 |6672 |4878 |-3.000000e+01 |-2.900000e+01 | 3.45%| 86.02%
206.84/207.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
206.84/207.42 c 207s| 14400 | 24 |443327 | 28.1 | 329M | 42 | 450 | 19k| 17k|3380 | 0 |6685 |4878 |-3.000000e+01 |-2.900000e+01 | 3.45%| 86.03%
207.73/208.37 c 208s| 14500 | 18 |446656 | 28.2 | 329M | 42 | 450 | 19k| 17k|3401 | 1 |6727 |4887 |-3.000000e+01 |-2.900000e+01 | 3.45%| 86.09%
208.23/208.88 c 209s| 14600 | 16 |449888 | 28.2 | 329M | 42 | 450 | 19k| 17k|3407 | 1 |6738 |4887 |-3.000000e+01 |-2.900000e+01 | 3.45%| 86.12%
209.54/210.13 c 210s| 14700 | 14 |453011 | 28.2 | 331M | 42 | 450 | 19k| 17k|3442 | 1 |6755 |4888 |-3.000000e+01 |-2.900000e+01 | 3.45%| 86.12%
210.43/211.05 c 211s| 14800 | 14 |455698 | 28.2 | 331M | 44 | 450 | 19k| 17k|3464 | 1 |6820 |4903 |-3.000000e+01 |-2.900000e+01 | 3.45%| 86.13%
211.53/212.17 c 212s| 14900 | 14 |458045 | 28.2 | 331M | 44 | 450 | 19k| 17k|3487 | 1 |6941 |4918 |-3.000000e+01 |-2.900000e+01 | 3.45%| 86.28%
213.12/213.77 c 214s| 15000 | 11 |460694 | 28.2 | 331M | 44 | 450 | 19k| 17k|3542 | 0 |7066 |4943 |-3.000000e+01 |-2.900000e+01 | 3.45%| 86.71%
216.01/216.60 c 217s| 15100 | 9 |464100 | 28.2 | 331M | 44 | 450 | 19k| 17k|3616 | 2 |7176 |4954 |-3.000000e+01 |-2.900000e+01 | 3.45%| 88.29%
216.52/217.18 c 217s| 15200 | 8 |467218 | 28.2 | 331M | 44 | 450 | 19k| 0 |3633 | 0 |7274 |4967 |-3.000000e+01 |-2.900000e+01 | 3.45%| 88.29%
217.11/217.72 c 218s| 15300 | 8 |470212 | 28.2 | 331M | 44 | 450 | 19k| 17k|3635 | 1 |7332 |4973 |-3.000000e+01 |-2.900000e+01 | 3.45%| 88.29%
218.81/219.42 c 219s| 15400 | 5 |472480 | 28.2 | 331M | 44 | 450 | 19k| 0 |3658 | 0 |7466 |4992 |-3.000000e+01 |-2.900000e+01 | 3.45%| 89.73%
221.30/221.95 c 222s| 15500 | 5 |474646 | 28.2 | 332M | 44 | 450 | 20k| 17k|3738 | 0 |7672 |5019 |-3.000000e+01 |-2.900000e+01 | 3.45%| 90.30%
223.19/223.87 c 224s| 15600 | 5 |476702 | 28.1 | 332M | 44 | 450 | 20k| 17k|3808 | 1 |7875 |5051 |-3.000000e+01 |-2.900000e+01 | 3.45%| 90.59%
224.49/225.12 c 225s| 15700 | 8 |478550 | 28.1 | 332M | 44 | 450 | 20k| 0 |3855 | 0 |8010 |5056 |-3.000000e+01 |-2.900000e+01 | 3.45%| 91.30%
224.99/225.63 c 226s| 15800 | 7 |480348 | 28.0 | 332M | 44 | 450 | 20k| 17k|3871 | 1 |8180 |5081 |-3.000000e+01 |-2.900000e+01 | 3.45%| 92.47%
229.18/229.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
229.18/229.82 c 230s| 15900 | 6 |483021 | 28.0 | 332M | 44 | 450 | 20k| 17k|3971 | 1 |8399 |5121 |-3.000000e+01 |-2.900000e+01 | 3.45%| 93.03%
231.27/231.92 c 232s| 16000 | 6 |485589 | 28.0 | 332M | 44 | 450 | 20k| 17k|4031 | 1 |8666 |5171 |-3.000000e+01 |-2.900000e+01 | 3.45%| 94.33%
232.97/233.66 c 234s| 16100 | 8 |487778 | 27.9 | 332M | 44 | 450 | 20k| 17k|4103 | 1 |8959 |5234 |-3.000000e+01 |-2.900000e+01 | 3.45%| 94.60%
233.86/234.53 c 235s| 16200 | 5 |490138 | 27.9 | 333M | 44 | 450 | 20k| 17k|4154 | 0 |9144 |5264 |-3.000000e+01 |-2.900000e+01 | 3.45%| 94.65%
236.16/236.89 c 237s| 16300 | 9 |492370 | 27.9 | 333M | 44 | 450 | 21k| 17k|4235 | 1 |9405 |5307 |-3.000000e+01 |-2.900000e+01 | 3.45%| 94.97%
241.64/242.36 c 242s| 16400 | 11 |496102 | 27.9 | 333M | 44 | 450 | 21k| 17k|4437 | 1 |9819 |5409 |-3.000000e+01 |-2.900000e+01 | 3.45%| 95.75%
244.04/244.71 c 245s| 16500 | 8 |498690 | 27.9 | 333M | 44 | 450 | 21k| 17k|4521 | 1 | 10k|5477 |-3.000000e+01 |-2.900000e+01 | 3.45%| 96.18%
246.44/247.19 c 247s| 16600 | 7 |501589 | 27.9 | 333M | 44 | 450 | 21k| 17k|4602 | 1 | 10k|5497 |-3.000000e+01 |-2.900000e+01 | 3.45%| 96.55%
247.93/248.68 c 249s| 16700 | 10 |504689 | 27.9 | 333M | 44 | 450 | 21k| 17k|4660 | 0 | 10k|5543 |-3.000000e+01 |-2.900000e+01 | 3.45%| 96.83%
250.33/251.05 c 251s| 16800 | 11 |507499 | 27.9 | 333M | 44 | 450 | 22k| 17k|4755 | 1 | 10k|5610 |-3.000000e+01 |-2.900000e+01 | 3.45%| 97.01%
252.42/253.11 c 253s| 16900 | 10 |509951 | 27.9 | 333M | 44 | 450 | 22k| 17k|4789 | 1 | 11k|5640 |-3.000000e+01 |-2.900000e+01 | 3.45%| 97.14%
253.42/254.19 c 254s| 17000 | 8 |512061 | 27.9 | 334M | 44 | 450 | 22k| 0 |4820 | 0 | 11k|5661 |-3.000000e+01 |-2.900000e+01 | 3.45%| 97.20%
254.21/255.00 c 255s| 17100 | 9 |514567 | 27.9 | 334M | 44 | 450 | 22k| 0 |4840 | 0 | 11k|5693 |-3.000000e+01 |-2.900000e+01 | 3.45%| 97.24%
254.91/255.64 c 256s| 17200 | 11 |516624 | 27.8 | 334M | 44 | 450 | 22k| 0 |4861 | 0 | 11k|5732 |-3.000000e+01 |-2.900000e+01 | 3.45%| 97.30%
255.71/256.41 c 256s| 17300 | 7 |518890 | 27.8 | 365M | 44 | 450 | 22k| 17k|4887 | 1 | 12k|5774 |-3.000000e+01 |-2.900000e+01 | 3.45%| 97.33%
256.32/257.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
256.32/257.05 c 257s| 17400 | 7 |521197 | 27.8 | 365M | 44 | 450 | 22k| 0 |4918 | 0 | 12k|5812 |-3.000000e+01 |-2.900000e+01 | 3.45%| 97.34%
256.91/257.68 c 258s| 17500 | 7 |523679 | 27.8 | 365M | 44 | 450 | 23k| 0 |4972 | 0 | 12k|5854 |-3.000000e+01 |-2.900000e+01 | 3.45%| 97.34%
258.60/259.34 c 259s| 17600 | 11 |526779 | 27.8 | 365M | 44 | 450 | 23k| 17k|5011 | 1 | 12k|5877 |-3.000000e+01 |-2.900000e+01 | 3.45%| 97.54%
260.10/260.83 c 261s| 17700 | 13 |530059 | 27.8 | 365M | 44 | 450 | 23k| 17k|5055 | 1 | 13k|5938 |-3.000000e+01 |-2.900000e+01 | 3.45%| 97.64%
260.70/261.48 c 261s| 17800 | 12 |531992 | 27.8 | 365M | 44 | 450 | 23k| 0 |5075 | 0 | 13k|6004 |-3.000000e+01 |-2.900000e+01 | 3.45%| 97.67%
261.50/262.29 c 262s| 17900 | 12 |534433 | 27.7 | 365M | 44 | 450 | 23k| 17k|5114 | 0 | 13k|6060 |-3.000000e+01 |-2.900000e+01 | 3.45%| 97.71%
262.20/262.91 c 263s| 18000 | 14 |536331 | 27.7 | 365M | 44 | 450 | 23k| 0 |5122 | 0 | 14k|6093 |-3.000000e+01 |-2.900000e+01 | 3.45%| 97.72%
262.69/263.43 c 263s| 18100 | 12 |537702 | 27.6 | 365M | 44 | 450 | 23k| 0 |5127 | 0 | 14k|6123 |-3.000000e+01 |-2.900000e+01 | 3.45%| 97.73%
263.40/264.13 c 264s| 18200 | 16 |539759 | 27.6 | 365M | 44 | 450 | 24k| 17k|5136 | 1 | 14k|6181 |-3.000000e+01 |-2.900000e+01 | 3.45%| 97.73%
264.19/264.92 c 265s| 18300 | 12 |542668 | 27.6 | 365M | 44 | 450 | 24k| 0 |5151 | 0 | 14k|6226 |-3.000000e+01 |-2.900000e+01 | 3.45%| 97.78%
264.89/265.65 c 266s| 18400 | 12 |544762 | 27.6 | 365M | 44 | 450 | 24k| 17k|5183 | 2 | 15k|6314 |-3.000000e+01 |-2.900000e+01 | 3.45%| 97.79%
265.48/266.22 c 266s| 18500 | 13 |546651 | 27.5 | 365M | 44 | 450 | 24k| 17k|5198 | 1 | 15k|6346 |-3.000000e+01 |-2.900000e+01 | 3.45%| 97.80%
266.18/266.94 c 267s| 18600 | 12 |548772 | 27.5 | 365M | 44 | 450 | 24k| 17k|5218 | 1 | 16k|6432 |-3.000000e+01 |-2.900000e+01 | 3.45%| 97.80%
266.98/267.70 c 268s| 18700 | 11 |551302 | 27.5 | 366M | 44 | 450 | 25k| 17k|5227 | 1 | 16k|6515 |-3.000000e+01 |-2.900000e+01 | 3.45%| 97.80%
267.68/268.47 c 268s| 18800 | 10 |554227 | 27.5 | 367M | 44 | 450 | 25k| 17k|5248 | 1 | 16k|6597 |-3.000000e+01 |-2.900000e+01 | 3.45%| 97.81%
268.08/268.89 o -30
268.08/268.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
268.08/268.89 c * 269s| 18865 | 0 |556072 | 27.5 |strongbr| 44 | 450 | 25k| 17k|5248 | 1 | 17k|6629 |-3.000000e+01 |-3.000000e+01 | 0.00%| 100.00%
268.08/268.89 c
268.08/268.89 c SCIP Status : problem is solved [optimal solution found]
268.08/268.89 c Solving Time (sec) : 268.89
268.08/268.89 c Solving Nodes : 18865 (total of 19927 nodes in 2 runs)
268.08/268.89 c Primal Bound : -3.00000000000000e+01 (904 solutions)
268.08/268.89 c Dual Bound : -3.00000000000000e+01
268.08/268.89 c Gap : 0.00 %
268.08/268.89 s OPTIMUM FOUND
268.08/268.89 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28
268.08/268.89 v -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53
268.08/268.89 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 x77 -x78 -x79
268.08/268.89 v -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103
268.08/268.89 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
268.08/268.89 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145
268.08/268.89 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
268.08/268.89 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
268.08/268.89 v -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
268.08/268.89 v x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
268.08/268.89 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251
268.08/268.89 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
268.08/268.89 v -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293
268.08/268.89 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314
268.08/268.89 v -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
268.08/268.89 v -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
268.08/268.89 v -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
268.08/268.89 v -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
268.08/268.89 v -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
268.08/268.89 v -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440
268.08/268.89 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
268.08/268.89 c SCIP Status : problem is solved [optimal solution found]
268.08/268.89 c Total Time : 268.89
268.08/268.89 c solving : 268.89
268.08/268.89 c presolving : 0.32 (included in solving)
268.08/268.89 c reading : 0.03 (included in solving)
268.08/268.89 c copying : 0.64 (28 #copies) (minimal 0.02, maximal 0.03, average 0.02)
268.08/268.89 c Original Problem :
268.08/268.89 c Problem name : HOME/instance-4432696-1721055845.opb
268.08/268.89 c Variables : 450 (450 binary, 0 integer, 0 implicit integer, 0 continuous)
268.08/268.89 c Constraints : 17794 initial, 17794 maximal
268.08/268.89 c Objective : minimize, 450 non-zeros (abs.min = 1, abs.max = 1)
268.08/268.89 c Presolved Problem :
268.08/268.89 c Problem name : t_HOME/instance-4432696-1721055845.opb
268.08/268.89 c Variables : 450 (450 binary, 0 integer, 0 implicit integer, 0 continuous)
268.08/268.89 c Constraints : 19100 initial, 25620 maximal
268.08/268.89 c Objective : minimize, 450 non-zeros (abs.min = 1, abs.max = 1)
268.08/268.89 c Nonzeros : 56431 constraint, 36038 clique table
268.08/268.89 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
268.08/268.89 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c domcol : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
268.08/268.89 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c dualsparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
268.08/268.89 c gateextraction : 0.03 0.00 3 0 0 0 0 0 0 0 0 0
268.08/268.89 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
268.08/268.89 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c milp : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
268.08/268.89 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
268.08/268.89 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
268.08/268.89 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c dualfix : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
268.08/268.89 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c probing : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
268.08/268.89 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
268.08/268.89 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
268.08/268.89 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
268.08/268.89 c knapsack : 0.01 0.00 9 0 0 0 0 0 1 4 3 41
268.08/268.89 c setppc : 0.04 0.00 12 0 0 0 0 0 2 0 0 0
268.08/268.89 c linear : 0.04 0.00 8 0 0 0 0 0 0 0 0 0
268.08/268.89 c logicor : 0.03 0.00 8 0 0 0 0 0 44 0 0 286
268.08/268.89 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
268.08/268.89 c root node : - - - 2 - - 2 - - - - -
268.08/268.89 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
268.08/268.89 c benderslp : 0 0 0 0 12635 0 0 2621 0 0 0 0 0 0 0
268.08/268.89 c integral : 0 0 0 0 12635 0 0 2621 0 3 6415 0 0 9641 22236
268.08/268.89 c knapsack : 27+ 44 0 45594 0 0 0 0 20245 92 9006 0 0 0 0
268.08/268.89 c setppc : 17879+ 17883 47 71398 2 0 0 2615 319405 673 415387 2 0 0 0
268.08/268.89 c linear : 11+ 48 0 52636 0 0 0 2 681 302 1270 0 0 0 0
268.08/268.89 c logicor : 1183+ 7863 18 38071 0 0 0 0 31333 2471 27107 0 0 0 0
268.08/268.89 c benders : 0 0 0 0 2 0 0 1021 0 0 0 0 0 0 0
268.08/268.89 c fixedvar : 0 0 0 0 2 0 0 1021 0 0 0 0 0 0 0
268.08/268.89 c countsols : 0 0 0 0 2 0 0 1021 0 0 0 0 0 0 0
268.08/268.89 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
268.08/268.89 c benderslp : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
268.08/268.89 c integral : 41.57 0.00 0.00 0.00 41.56 0.00 0.00 0.01 0.00 0.00
268.08/268.89 c knapsack : 0.28 0.00 0.00 0.24 0.00 0.00 0.00 0.00 0.01 0.04
268.08/268.89 c setppc : 5.86 0.00 0.03 3.99 0.00 0.00 0.00 0.37 0.06 1.41
268.08/268.89 c linear : 0.14 0.00 0.00 0.10 0.00 0.00 0.00 0.00 0.00 0.03
268.08/268.89 c logicor : 1.24 0.00 0.01 0.97 0.00 0.00 0.00 0.00 0.04 0.23
268.08/268.89 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
268.08/268.89 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
268.08/268.89 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
268.08/268.89 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
268.08/268.89 c Propagators : #Propagate #ResProp Cutoffs DomReds
268.08/268.89 c dualfix : 3 0 0 0
268.08/268.89 c genvbounds : 0 0 0 0
268.08/268.89 c nlobbt : 0 0 0 0
268.08/268.89 c obbt : 0 0 0 0
268.08/268.89 c probing : 0 0 0 0
268.08/268.89 c pseudoobj : 58139 1 5 53
268.08/268.89 c redcost : 27196 0 0 270
268.08/268.89 c rootredcost : 7 0 0 0
268.08/268.89 c symmetry : 0 0 0 0
268.08/268.89 c vbounds : 36720 0 0 0
268.08/268.89 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
268.08/268.89 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
268.08/268.89 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
268.08/268.89 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
268.08/268.89 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
268.08/268.89 c probing : 0.05 0.00 0.05 0.00 0.00 0.00
268.08/268.89 c pseudoobj : 0.70 0.00 0.00 0.70 0.00 0.00
268.08/268.89 c redcost : 0.18 0.00 0.00 0.18 0.00 0.00
268.08/268.89 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
268.08/268.89 c symmetry : 0.03 0.00 0.01 0.02 0.00 0.01
268.08/268.89 c vbounds : 0.06 0.00 0.00 0.05 0.00 0.01
268.08/268.89 c Symmetry :
268.08/268.89 c orbitopal red. : 0 reductions applied, 0 cutoffs
268.08/268.89 c orbital reduction: 0 reductions applied, 0 cutoffs
268.08/268.89 c lexicographic red: 0 reductions applied, 0 cutoffs
268.08/268.89 c shadow tree time : 0.00 s
268.08/268.89 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
268.08/268.89 c propagation : 0.15 3531 3416 - 17265 34.4 265 19.4 - - -
268.08/268.89 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
268.08/268.89 c bound exceed. LP : 1.62 3101 2185 - 15456 63.2 41 35.0 636 46.3 4509
268.08/268.89 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
268.08/268.89 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
268.08/268.89 c applied globally : 0.71 - - 0 16389 14.4 - - 630 - -
268.08/268.89 c applied locally : - - - 0 0 0.0 - - 6 - -
268.08/268.89 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
268.08/268.89 c cut pool : 0.89 - 3098 92 - - 29135 42302 - - - - - (maximal pool size: 3628)
268.08/268.89 c aggregation : 0.80 0.00 745 47 0 0 5 8 0 0 0 0 0
268.08/268.89 c > cmir : - - - - - - - 3 0 0 0 0 -
268.08/268.89 c > flowcover : - - - - - - - 0 0 0 0 0 -
268.08/268.89 c > knapsackcover : - - - - - - - 5 0 0 0 0 -
268.08/268.89 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c clique : 0.08 0.00 47 47 0 0 412 1796 0 578 578 0 0
268.08/268.89 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c gomory : 115.41 0.00 709 20 0 0 30820 34596 3970 2263 2228 35 0
268.08/268.89 c > gomorymi : - - - - - - - 11242 1996 170 153 17 -
268.08/268.89 c > strongcg : - - - - - - - 23354 1974 2093 2075 18 -
268.08/268.89 c impliedbounds : 0.18 0.00 745 47 0 0 7 49 0 43 43 0 0
268.08/268.89 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
268.08/268.89 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c multilinear : 0.00 0.00 812 47 0 0 0 0 0 0 0 0 0
268.08/268.89 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c rapidlearning : 0.21 0.00 0 0 0 0 0 0 0 0 0 0 0
268.08/268.89 c rlt : 0.00 0.00 332 20 0 0 0 0 0 0 0 0 0
268.08/268.89 c zerohalf : 0.96 0.00 727 38 0 0 2539 5853 678 3627 3312 315 0
268.08/268.89 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
268.08/268.89 c hybrid : 0.03 0.00 1658 47 6511 0 40441 503 0 4249
268.08/268.89 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
268.08/268.89 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
268.08/268.89 c Pricers : ExecTime SetupTime Calls Vars
268.08/268.89 c problem variables: 0.00 - 0 0
268.08/268.89 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
268.08/268.89 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
268.08/268.89 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
268.08/268.89 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
268.08/268.89 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
268.08/268.89 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
268.08/268.89 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
268.08/268.89 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
268.08/268.89 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
268.08/268.89 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
268.08/268.89 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
268.08/268.89 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
268.08/268.89 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
268.08/268.89 c random : 0.00 0.00 0 0 0 0 0 0 0 0
268.08/268.89 c relpscost : 41.54 0.00 12633 0 0 3 6415 0 10297 22236
268.08/268.89 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
268.08/268.89 c Primal Heuristics : ExecTime SetupTime Calls Found Best
268.08/268.89 c LP solutions : 0.01 - - 2 2
268.08/268.89 c relax solutions : 0.00 - - 0 0
268.08/268.89 c pseudo solutions : 0.00 - - 0 0
268.08/268.89 c strong branching : 0.24 - - 333 3
268.08/268.89 c actconsdiving : 0.00 0.00 0 0 0
268.08/268.89 c adaptivediving : 0.74 0.00 64 1 0
268.08/268.89 c alns : 0.44 0.00 5 0 0
268.08/268.89 c bound : 0.00 0.00 0 0 0
268.08/268.89 c clique : 0.03 0.00 1 1 1
268.08/268.89 c coefdiving : 0.00 0.00 0 0 0
268.08/268.89 c completesol : 0.00 0.00 0 0 0
268.08/268.89 c conflictdiving : 0.47 0.00 32 1 0
268.08/268.89 c crossover : 0.67 0.00 12 7 0
268.08/268.89 c dins : 0.00 0.00 0 0 0
268.08/268.89 c distributiondivin: 1.18 0.00 32 0 0
268.08/268.89 c dps : 0.00 0.00 0 0 0
268.08/268.89 c dualval : 0.00 0.00 0 0 0
268.08/268.89 c farkasdiving : 0.00 0.00 0 0 0
268.08/268.89 c feasjump : 0.00 0.00 0 0 0
268.08/268.89 c feaspump : 0.00 0.00 0 0 0
268.08/268.89 c fixandinfer : 0.00 0.00 0 0 0
268.08/268.89 c fracdiving : 0.47 0.00 32 1 0
268.08/268.89 c gins : 0.02 0.00 0 0 0
268.08/268.89 c guideddiving : 0.30 0.00 32 0 0
268.08/268.89 c indcoefdiving : 0.00 0.00 0 0 0
268.08/268.89 c indicator : 0.01 0.00 0 0 0
268.08/268.89 c indicatordiving : 0.00 0.00 0 0 0
268.08/268.89 c indoneopt : 0.01 0.00 0 0 0
268.08/268.89 c indrounding : 0.00 0.00 0 0 0
268.08/268.89 c indtwoopt : 0.00 0.00 0 0 0
268.08/268.89 c intdiving : 0.00 0.00 0 0 0
268.08/268.89 c intshifting : 0.00 0.00 0 0 0
268.08/268.89 c linesearchdiving : 0.36 0.00 32 0 0
268.08/268.89 c localbranching : 0.00 0.00 0 0 0
268.08/268.89 c locks : 0.01 0.00 1 1 1
268.08/268.89 c lpface : 0.01 0.00 0 0 0
268.08/268.89 c mpec : 0.00 0.00 0 0 0
268.08/268.89 c multistart : 0.00 0.00 0 0 0
268.08/268.89 c mutation : 0.00 0.00 0 0 0
268.08/268.89 c nlpdiving : 0.00 0.00 0 0 0
268.08/268.89 c objpscostdiving : 0.63 0.00 17 29 0
268.08/268.89 c octane : 0.00 0.00 0 0 0
268.08/268.89 c ofins : 0.00 0.00 0 0 0
268.08/268.89 c oneopt : 0.01 0.00 6 0 0
268.08/268.89 c padm : 0.00 0.00 0 0 0
268.08/268.89 c proximity : 0.00 0.00 0 0 0
268.08/268.89 c pscostdiving : 0.41 0.00 32 4 1
268.08/268.89 c randrounding : 0.45 0.00 1649 30 0
268.08/268.89 c rens : 0.86 0.00 2 2 0
268.08/268.89 c reoptsols : 0.00 0.00 0 0 0
268.08/268.89 c repair : 0.00 0.00 0 0 0
268.08/268.89 c rins : 0.63 0.00 9 7 0
268.08/268.89 c rootsoldiving : 0.67 0.00 17 25 0
268.08/268.89 c rounding : 0.50 0.00 1613 0 0
268.08/268.89 c scheduler : 0.00 0.00 0 0 0
268.08/268.89 c shiftandpropagate: 0.00 0.00 0 0 0
268.08/268.89 c shifting : 0.29 0.00 722 0 0
268.08/268.89 c simplerounding : 0.11 0.00 14293 25 0
268.08/268.89 c smallcard : 0.00 0.00 0 0 0
268.08/268.89 c subnlp : 0.01 0.00 0 0 0
268.08/268.89 c trivial : 0.00 0.00 4 1 1
268.08/268.89 c trivialnegation : 0.00 0.00 0 0 0
268.08/268.89 c trustregion : 0.00 0.00 0 0 0
268.08/268.89 c trysol : 0.00 0.00 0 0 0
268.08/268.89 c twoopt : 0.00 0.00 0 0 0
268.08/268.89 c undercover : 0.00 0.00 0 0 0
268.08/268.89 c vbounds : 0.04 0.00 2 1 0
268.08/268.89 c veclendiving : 0.29 0.00 32 0 0
268.08/268.89 c zeroobj : 0.00 0.00 0 0 0
268.08/268.89 c zirounding : 4.27 0.00 11117 433 0
268.08/268.89 c other solutions : - - - 0 -
268.08/268.89 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
268.08/268.89 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
268.08/268.89 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
268.08/268.89 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
268.08/268.89 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
268.08/268.90 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
268.08/268.90 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
268.08/268.90 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
268.08/268.90 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
268.08/268.90 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
268.08/268.90 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
268.08/268.90 c primal LP : 1.04 858 0 0.00 0.00 1.04 858
268.08/268.90 c dual LP : 61.58 21853 510244 23.73 8285.28 0.49 348
268.08/268.90 c lex dual LP : 0.00 0 0 0.00 -
268.08/268.90 c barrier LP : 0.00 0 0 0.00 - 0.00 0
268.08/268.90 c resolve instable : 0.00 0 0 0.00 -
268.08/268.90 c diving/probing LP: 9.35 2697 45828 16.99 4900.82
268.08/268.90 c strong branching : 20.56 6630 184673 27.85 8981.25 - - 793
268.08/268.90 c (at root node) : - 77 8988 116.73 -
268.08/268.90 c conflict analysis: 0.58 467 4509 9.66 7833.44
268.08/268.90 c B&B Tree :
268.08/268.90 c number of runs : 2
268.08/268.90 c nodes : 18865 (10412 internal, 8453 leaves)
268.08/268.90 c feasible leaves : 2
268.08/268.90 c infeas. leaves : 1500
268.08/268.90 c objective leaves : 6951
268.08/268.90 c nodes (total) : 19927 (11118 internal, 8809 leaves)
268.08/268.90 c nodes left : 0
268.08/268.90 c max depth : 44
268.08/268.90 c max depth (total): 44
268.08/268.90 c backtracks : 3595 (19.1%)
268.08/268.90 c early backtracks : 0 (0.0%)
268.08/268.90 c nodes exc. ref. : 0 (0.0%)
268.08/268.90 c delayed cutoffs : 293
268.08/268.90 c repropagations : 4823 (32324 domain reductions, 276 cutoffs)
268.08/268.90 c avg switch length: 4.74
268.08/268.90 c switching time : 7.28
268.08/268.90 c Root Node :
268.08/268.90 c First LP value : -2.25000000000000e+02
268.08/268.90 c First LP Iters : 450 (10123.05 Iter/sec)
268.08/268.90 c First LP Time : 0.04
268.08/268.90 c Final Dual Bound : -3.00000000000000e+01
268.08/268.90 c Final Root Iters : 8367
268.08/268.90 c Root LP Estimate : -2.76748941670540e+01
268.08/268.90 c Solution :
268.08/268.90 c Solutions found : 904 (9 improvements)
268.08/268.90 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
268.08/268.90 c Gap First Sol. : infinite
268.08/268.90 c Gap Last Sol. : 0.00 %
268.08/268.90 c Primal Bound : -3.00000000000000e+01 (in run 2, after 18865 nodes, 268.89 seconds, depth 21, found by <relaxation>)
268.08/268.90 c Dual Bound : -3.00000000000000e+01
268.08/268.90 c Gap : 0.00 %
268.08/268.90 c Integrals : Total Avg%
268.08/268.90 c primal-dual : 2275.73 8.46
268.08/268.90 c primal-ref : - - (not evaluated)
268.08/268.90 c dual-ref : - - (not evaluated)
268.18/268.93 c Time complete: 268.218.
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: 63931 MiB (59386 MiB free)
memory of node 1: 64510 MiB (60297 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432696-1721055845/watcher-4432696-1721055845 -o /tmp/evaluation-result-4432696-1721055845/solver-4432696-1721055845 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721051059-830872 --watchdog 3760 pbscip -f HOME/instance-4432696-1721055845.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB
solver pid=834548, runsolver pid=834545
[startup+0.100688 s]*
/proc/loadavg: 4.25 4.23 4.14 5/257 834549
/proc/meminfo: memFree=122520512/131524600 swapFree=131071996/131071996
[pid=834548] ppid=834545 vsize=89908 memory=50436 CPUtime=0.09 cores=4,6
/proc/834548/stat : 834548 (pbscip) R 834545 834548 812346 0 -1 4194304 10244 0 0 0 8 1 0 0 20 0 1 0 157749835 92065792 12609 134679101440 4194304 18693293 140723764713696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41234432 140723764716548 140723764716647 140723764716647 140723764723662 0
/proc/834548/statm: 22477 12609 3628 3540 0 10734 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 89908 KiB
Current children cumulated memory: 50436 KiB
[startup+0.205338 s]*
/proc/loadavg: 4.25 4.23 4.14 5/257 834549
/proc/meminfo: memFree=122517676/131524600 swapFree=131071996/131071996
[pid=834548] ppid=834545 vsize=93364 memory=53520 CPUtime=0.19 cores=4,6
/proc/834548/stat : 834548 (pbscip) R 834545 834548 812346 0 -1 4194304 12379 0 0 0 18 1 0 0 20 0 1 0 157749835 95604736 13380 134679101440 4194304 18693293 140723764713696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41234432 140723764716548 140723764716647 140723764716647 140723764723662 0
/proc/834548/statm: 23341 13380 3724 3540 0 11598 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 93364 KiB
Current children cumulated memory: 53520 KiB
[startup+0.304855 s]*
/proc/loadavg: 4.25 4.23 4.14 5/257 834549
/proc/meminfo: memFree=122492568/131524600 swapFree=131071996/131071996
[pid=834548] ppid=834545 vsize=120700 memory=79288 CPUtime=0.29 cores=4,6
/proc/834548/stat : 834548 (pbscip) R 834545 834548 812346 0 -1 4194304 19572 0 0 0 27 2 0 0 20 0 1 0 157749835 123596800 19822 134679101440 4194304 18693293 140723764713696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41234432 140723764716548 140723764716647 140723764716647 140723764723662 0
/proc/834548/statm: 30175 19822 3916 3540 0 18432 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 120700 KiB
Current children cumulated memory: 79288 KiB
[startup+0.700168 s]
/proc/loadavg: 4.25 4.23 4.14 6/257 834549
/proc/meminfo: memFree=122484028/131524600 swapFree=131071996/131071996
[pid=834548] ppid=834545 vsize=132252 memory=87944 CPUtime=0.68 cores=4,6
/proc/834548/stat : 834548 (pbscip) R 834545 834548 812346 0 -1 4194304 21754 0 0 0 65 3 0 0 20 0 1 0 157749835 135426048 21986 134679101440 4194304 18693293 140723764713696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41234432 140723764716548 140723764716647 140723764716647 140723764723662 0
/proc/834548/statm: 33063 21986 3932 3540 0 21320 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 132252 KiB
Current children cumulated memory: 87944 KiB
[startup+1.50016 s]
/proc/loadavg: 4.25 4.23 4.14 5/257 834549
/proc/meminfo: memFree=122482684/131524600 swapFree=131071996/131071996
[pid=834548] ppid=834545 vsize=139432 memory=90320 CPUtime=1.48 cores=4,6
/proc/834548/stat : 834548 (pbscip) R 834545 834548 812346 0 -1 4194304 22338 0 0 0 145 3 0 0 20 0 1 0 157749835 142778368 22580 134679101440 4194304 18693293 140723764713696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41234432 140723764716548 140723764716647 140723764716647 140723764723662 0
/proc/834548/statm: 34858 22580 3932 3540 0 23115 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 139432 KiB
Current children cumulated memory: 90320 KiB
[startup+3.10542 s]
/proc/loadavg: 4.23 4.22 4.14 5/257 834549
/proc/meminfo: memFree=122477644/131524600 swapFree=131071996/131071996
[pid=834548] ppid=834545 vsize=156568 memory=94544 CPUtime=3.08 cores=4,6
/proc/834548/stat : 834548 (pbscip) R 834545 834548 812346 0 -1 4194304 23417 0 0 0 305 3 0 0 20 0 1 0 157749835 160325632 23636 134679101440 4194304 18693293 140723764713696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41234432 140723764716548 140723764716647 140723764716647 140723764723662 0
/proc/834548/statm: 39142 23636 3932 3540 0 27399 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 156568 KiB
Current children cumulated memory: 94544 KiB
[startup+6.30021 s]
/proc/loadavg: 4.23 4.22 4.14 5/257 834549
/proc/meminfo: memFree=122446240/131524600 swapFree=131071996/131071996
[pid=834548] ppid=834545 vsize=197440 memory=123480 CPUtime=6.27 cores=4,6
/proc/834548/stat : 834548 (pbscip) R 834545 834548 812346 0 -1 4194304 30605 0 0 0 622 5 0 0 20 0 1 0 157749835 202178560 30870 134679101440 4194304 18693293 140723764713696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41234432 140723764716548 140723764716647 140723764716647 140723764723662 0
/proc/834548/statm: 49360 30870 3979 3540 0 37617 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 197440 KiB
Current children cumulated memory: 123480 KiB
[startup+12.7002 s]
/proc/loadavg: 4.21 4.22 4.14 5/257 834551
/proc/meminfo: memFree=122443996/131524600 swapFree=131071996/131071996
[pid=834548] ppid=834545 vsize=197440 memory=123696 CPUtime=12.65 cores=4,6
/proc/834548/stat : 834548 (pbscip) R 834545 834548 812346 0 -1 4194304 30694 0 0 0 1260 5 0 0 20 0 1 0 157749835 202178560 30924 134679101440 4194304 18693293 140723764713696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41234432 140723764716548 140723764716647 140723764716647 140723764723662 0
/proc/834548/statm: 49360 30924 3979 3540 0 37617 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 197440 KiB
Current children cumulated memory: 123696 KiB
[startup+25.5002 s]
/proc/loadavg: 4.24 4.22 4.15 5/257 834553
/proc/meminfo: memFree=122415604/131524600 swapFree=131071996/131071996
[pid=834548] ppid=834545 vsize=207380 memory=132300 CPUtime=25.41 cores=4,6
/proc/834548/stat : 834548 (pbscip) R 834545 834548 812346 0 -1 4194304 38537 0 0 0 2535 6 0 0 20 0 1 0 157749835 212357120 33075 134679101440 4194304 18693293 140723764713696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41234432 140723764716548 140723764716647 140723764716647 140723764723662 0
/proc/834548/statm: 51845 33075 3979 3540 0 40102 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 207380 KiB
Current children cumulated memory: 132300 KiB
[startup+51.1057 s]
/proc/loadavg: 4.15 4.20 4.14 5/257 834558
/proc/meminfo: memFree=122334336/131524600 swapFree=131071996/131071996
[pid=834548] ppid=834545 vsize=261524 memory=185412 CPUtime=50.95 cores=4,6
/proc/834548/stat : 834548 (pbscip) R 834545 834548 812346 0 -1 4194304 50838 0 0 0 5087 8 0 0 20 0 1 0 157749835 267800576 46353 134679101440 4194304 18693293 140723764713696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41234432 140723764716548 140723764716647 140723764716647 140723764723662 0
/proc/834548/statm: 65381 46353 3979 3540 0 53638 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 261524 KiB
Current children cumulated memory: 185412 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.19 4.14 5/255 834566
/proc/meminfo: memFree=122227372/131524600 swapFree=131071996/131071996
[pid=834548] ppid=834545 vsize=363488 memory=264164 CPUtime=102.02 cores=4,6
/proc/834548/stat : 834548 (pbscip) R 834545 834548 812346 0 -1 4194304 74168 0 0 0 10186 16 0 0 20 0 1 0 157749835 372211712 66041 134679101440 4194304 18693293 140723764713696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41234432 140723764716548 140723764716647 140723764716647 140723764723662 0
/proc/834548/statm: 90872 66041 4135 3540 0 79129 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 363488 KiB
Current children cumulated memory: 264164 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.17 4.13 5/255 834577
/proc/meminfo: memFree=122112232/131524600 swapFree=131071996/131071996
[pid=834548] ppid=834545 vsize=404748 memory=302984 CPUtime=161.86 cores=4,6
/proc/834548/stat : 834548 (pbscip) R 834545 834548 812346 0 -1 4194304 82913 0 0 0 16168 18 0 0 20 0 1 0 157749835 414461952 75746 134679101440 4194304 18693293 140723764713696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41234432 140723764716548 140723764716647 140723764716647 140723764723662 0
/proc/834548/statm: 101187 75746 4135 3540 0 89444 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 404748 KiB
Current children cumulated memory: 302984 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.15 4.12 5/255 834588
/proc/meminfo: memFree=121943572/131524600 swapFree=131071996/131071996
[pid=834548] ppid=834545 vsize=413332 memory=311672 CPUtime=221.7 cores=4,6
/proc/834548/stat : 834548 (pbscip) R 834545 834548 812346 0 -1 4194304 85047 0 0 0 22151 19 0 0 20 0 1 0 157749835 423251968 77918 134679101440 4194304 18693293 140723764713696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41234432 140723764716548 140723764716647 140723764716647 140723764723662 0
/proc/834548/statm: 103333 77918 4135 3540 0 91590 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 413332 KiB
Current children cumulated memory: 311672 KiB
[startup+268.946 s]
# the end of solver process 834548 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=268.016 s, system=0.212415 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.07 4.14 4.12 5/255 834590
/proc/meminfo: memFree=121933180/131524600 swapFree=131071996/131071996
[pid=834548] ppid=834545 vsize=418464 memory=316948 CPUtime=229.77 cores=4,6
/proc/834548/stat : 834548 (pbscip) R 834545 834548 812346 0 -1 4194304 86420 0 0 0 22958 19 0 0 20 0 1 0 157749835 428507136 79237 134679101440 4194304 18693293 140723764713696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41234432 140723764716548 140723764716647 140723764716647 140723764723662 0
/proc/834548/statm: 104616 79237 4135 3540 0 92873 0
Current children cumulated CPU time: 229.77 s
Current children cumulated vsize: 418464 KiB
Current children cumulated memory: 316948 KiB
[startup+256 s]*
/proc/loadavg: 4.10 4.15 4.12 5/255 834594
/proc/meminfo: memFree=121870664/131524600 swapFree=131071996/131071996
[pid=834548] ppid=834545 vsize=448688 memory=346796 CPUtime=255.32 cores=4,6
/proc/834548/stat : 834548 (pbscip) R 834545 834548 812346 0 -1 4194304 88229 0 0 0 25512 20 0 0 20 0 1 0 157749835 459456512 86699 134679101440 4194304 18693293 140723764713696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41234432 140723764716548 140723764716647 140723764716647 140723764723662 0
/proc/834548/statm: 112172 86699 4135 3540 0 100429 0
Current children cumulated CPU time: 255.32 s
Current children cumulated vsize: 448688 KiB
Current children cumulated memory: 346796 KiB
[startup+262.4 s]
/proc/loadavg: 4.10 4.14 4.12 5/255 834596
/proc/meminfo: memFree=121859740/131524600 swapFree=131071996/131071996
[pid=834548] ppid=834545 vsize=448688 memory=346796 CPUtime=261.7 cores=4,6
/proc/834548/stat : 834548 (pbscip) R 834545 834548 812346 0 -1 4194304 88229 0 0 0 26150 20 0 0 20 0 1 0 157749835 459456512 86699 134679101440 4194304 18693293 140723764713696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41234432 140723764716548 140723764716647 140723764716647 140723764723662 0
/proc/834548/statm: 112172 86699 4135 3540 0 100429 0
Current children cumulated CPU time: 261.7 s
Current children cumulated vsize: 448688 KiB
Current children cumulated memory: 346796 KiB
[startup+265.6 s]
/proc/loadavg: 4.09 4.14 4.12 5/255 834596
/proc/meminfo: memFree=121859208/131524600 swapFree=131071996/131071996
[pid=834548] ppid=834545 vsize=448688 memory=346796 CPUtime=264.89 cores=4,6
/proc/834548/stat : 834548 (pbscip) R 834545 834548 812346 0 -1 4194304 88229 0 0 0 26469 20 0 0 20 0 1 0 157749835 459456512 86699 134679101440 4194304 18693293 140723764713696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41234432 140723764716548 140723764716647 140723764716647 140723764723662 0
/proc/834548/statm: 112172 86699 4135 3540 0 100429 0
Current children cumulated CPU time: 264.89 s
Current children cumulated vsize: 448688 KiB
Current children cumulated memory: 346796 KiB
[startup+267.2 s]
/proc/loadavg: 4.09 4.14 4.12 5/255 834596
/proc/meminfo: memFree=121859152/131524600 swapFree=131071996/131071996
[pid=834548] ppid=834545 vsize=448688 memory=346796 CPUtime=266.48 cores=4,6
/proc/834548/stat : 834548 (pbscip) R 834545 834548 812346 0 -1 4194304 88229 0 0 0 26628 20 0 0 20 0 1 0 157749835 459456512 86699 134679101440 4194304 18693293 140723764713696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41234432 140723764716548 140723764716647 140723764716647 140723764723662 0
/proc/834548/statm: 112172 86699 4135 3540 0 100429 0
Current children cumulated CPU time: 266.48 s
Current children cumulated vsize: 448688 KiB
Current children cumulated memory: 346796 KiB
[startup+268 s]*
/proc/loadavg: 4.08 4.14 4.12 5/255 834596
/proc/meminfo: memFree=121859152/131524600 swapFree=131071996/131071996
[pid=834548] ppid=834545 vsize=448688 memory=346796 CPUtime=267.28 cores=4,6
/proc/834548/stat : 834548 (pbscip) R 834545 834548 812346 0 -1 4194304 88229 0 0 0 26708 20 0 0 20 0 1 0 157749835 459456512 86699 134679101440 4194304 18693293 140723764713696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41234432 140723764716548 140723764716647 140723764716647 140723764723662 0
/proc/834548/statm: 112172 86699 4135 3540 0 100429 0
Current children cumulated CPU time: 267.28 s
Current children cumulated vsize: 448688 KiB
Current children cumulated memory: 346796 KiB
[startup+268.4 s]
/proc/loadavg: 4.08 4.14 4.12 5/255 834596
/proc/meminfo: memFree=121859152/131524600 swapFree=131071996/131071996
[pid=834548] ppid=834545 vsize=448688 memory=346796 CPUtime=267.68 cores=4,6
/proc/834548/stat : 834548 (pbscip) R 834545 834548 812346 0 -1 4194304 88229 0 0 0 26748 20 0 0 20 0 1 0 157749835 459456512 86699 134679101440 4194304 18693293 140723764713696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41234432 140723764716548 140723764716647 140723764716647 140723764723662 0
/proc/834548/statm: 112172 86699 4135 3540 0 100429 0
Current children cumulated CPU time: 267.68 s
Current children cumulated vsize: 448688 KiB
Current children cumulated memory: 346796 KiB
[startup+268.8 s]
/proc/loadavg: 4.08 4.14 4.12 5/255 834596
/proc/meminfo: memFree=121859152/131524600 swapFree=131071996/131071996
[pid=834548] ppid=834545 vsize=448688 memory=346796 CPUtime=268.08 cores=4,6
/proc/834548/stat : 834548 (pbscip) R 834545 834548 812346 0 -1 4194304 88229 0 0 0 26788 20 0 0 20 0 1 0 157749835 459456512 86699 134679101440 4194304 18693293 140723764713696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41234432 140723764716548 140723764716647 140723764716647 140723764723662 0
/proc/834548/statm: 112172 86699 4135 3540 0 100429 0
Current children cumulated CPU time: 268.08 s
Current children cumulated vsize: 448688 KiB
Current children cumulated memory: 346796 KiB
[startup+268.9 s]
/proc/loadavg: 4.08 4.14 4.12 5/255 834596
/proc/meminfo: memFree=121859152/131524600 swapFree=131071996/131071996
[pid=834548] ppid=834545 vsize=448688 memory=346796 CPUtime=268.18 cores=4,6
/proc/834548/stat : 834548 (pbscip) R 834545 834548 812346 0 -1 4194304 88230 0 0 0 26798 20 0 0 20 0 1 0 157749835 459456512 86699 134679101440 4194304 18693293 140723764713696 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41234432 140723764716548 140723764716647 140723764716647 140723764723662 0
/proc/834548/statm: 112172 86699 4135 3540 0 100429 0
Current children cumulated CPU time: 268.18 s
Current children cumulated vsize: 448688 KiB
Current children cumulated memory: 346796 KiB
Child status: 0
Real time (s): 268.946
CPU time (s): 268.228
CPU user time (s): 268.016
CPU system time (s): 0.212415
CPU usage (%): 99.7331
Max. virtual memory (cumulated for all children) (KiB): 448688
Max. memory (cumulated for all children) (KiB): 346796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 268.016
system time used= 0.212415
maximum resident set size= 346796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88235
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= 10
involuntary context switches= 274
# summary of solver processes directly reported to runsolver:
# pid: 834548
# total CPU time (s): 268.228
# total CPU user time (s): 268.016
# total CPU system time (s): 0.212415
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.525227 second user time and 1.20596 second system time
The end