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-4432695-1721056114.opb>
0.00/0.03 c original problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 17827 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, 17827 upgd conss, 0 impls, 17827 clqs
0.19/0.22 c (0.2s) probing: 51/450 (11.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.22 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, 17827 cliques
0.19/0.24 c presolved problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 17827 constraints
0.19/0.24 c 17827 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.998007
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 -18
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.800000e+01 |2400.00%| unknown
0.19/0.28 o -21
0.19/0.28 c p 0.3s| 1 | 0 | 0 | - | locks| 0 | 450 | 17k| 17k| 0 | 0 | 0 | 0 |-4.500000e+02 |-2.100000e+01 |2042.86%| unknown
0.29/0.32 o -23
0.29/0.32 c i 0.3s| 1 | 0 | 140 | - | oneopt| 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 | 590 | - | 57M | 0 | 450 | 17k| 17k| 0 | 0 | 0 | 0 |-2.250000e+02 |-2.300000e+01 | 878.26%| unknown
0.49/0.51 c 0.5s| 1 | 0 | 815 | - | 65M | 0 | 450 | 17k| 17k| 23 | 1 | 0 | 0 |-1.960000e+02 |-2.300000e+01 | 752.17%| unknown
0.68/0.79 c 0.8s| 1 | 0 | 1127 | - | 67M | 0 | 450 | 17k| 17k| 59 | 2 | 0 | 0 |-1.720000e+02 |-2.300000e+01 | 647.83%| unknown
0.88/0.99 c 1.0s| 1 | 0 | 1359 | - | 69M | 0 | 450 | 17k| 17k| 86 | 3 | 0 | 0 |-1.535000e+02 |-2.300000e+01 | 567.39%| unknown
0.99/1.09 c 1.1s| 1 | 0 | 1595 | - | 71M | 0 | 450 | 17k| 17k| 118 | 4 | 0 | 0 |-1.345000e+02 |-2.300000e+01 | 484.78%| unknown
1.18/1.25 c 1.3s| 1 | 0 | 2119 | - | 73M | 0 | 450 | 17k| 17k| 142 | 5 | 0 | 0 |-1.185000e+02 |-2.300000e+01 | 415.22%| unknown
1.28/1.37 c 1.4s| 1 | 0 | 2617 | - | 76M | 0 | 450 | 17k| 17k| 170 | 6 | 0 | 0 |-1.068500e+02 |-2.300000e+01 | 364.57%| unknown
1.88/1.98 c 2.0s| 1 | 0 | 3349 | - | 79M | 0 | 450 | 17k| 18k| 189 | 7 | 0 | 0 |-9.515000e+01 |-2.300000e+01 | 313.70%| unknown
2.47/2.59 c 2.6s| 1 | 0 | 4246 | - | 82M | 0 | 450 | 17k| 18k| 210 | 8 | 0 | 0 |-8.500000e+01 |-2.300000e+01 | 269.57%| unknown
2.77/2.89 c 2.9s| 1 | 0 | 4687 | - | 84M | 0 | 450 | 17k| 18k| 227 | 9 | 0 | 0 |-7.400000e+01 |-2.300000e+01 | 221.74%| unknown
3.37/3.40 c 3.4s| 1 | 0 | 5314 | - | 85M | 0 | 450 | 17k| 18k| 245 | 10 | 0 | 0 |-6.812500e+01 |-2.300000e+01 | 196.20%| unknown
3.37/3.45 c 3.4s| 1 | 0 | 5716 | - | 87M | 0 | 450 | 17k| 18k| 260 | 11 | 0 | 0 |-5.900000e+01 |-2.300000e+01 | 156.52%| 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| 1 | 0 | 6060 | - | 89M | 0 | 450 | 17k| 18k| 271 | 12 | 0 | 0 |-4.562500e+01 |-2.300000e+01 | 98.37%| unknown
3.47/3.53 c 3.5s| 1 | 0 | 6333 | - | 91M | 0 | 450 | 17k| 18k| 279 | 13 | 0 | 0 |-3.608333e+01 |-2.300000e+01 | 56.88%| unknown
3.47/3.56 c 3.6s| 1 | 0 | 6416 | - | 93M | 0 | 450 | 17k| 18k| 287 | 14 | 0 | 0 |-3.183333e+01 |-2.300000e+01 | 38.41%| unknown
3.47/3.58 c 3.6s| 1 | 0 | 6469 | - | 95M | 0 | 450 | 17k| 18k| 297 | 15 | 0 | 0 |-3.166667e+01 |-2.300000e+01 | 37.68%| unknown
3.57/3.60 c 3.6s| 1 | 0 | 6529 | - | 97M | 0 | 450 | 17k| 18k| 306 | 16 | 0 | 0 |-3.133333e+01 |-2.300000e+01 | 36.23%| unknown
3.57/3.62 c 3.6s| 1 | 0 | 6604 | - | 99M | 0 | 450 | 17k| 18k| 314 | 17 | 0 | 0 |-3.133333e+01 |-2.300000e+01 | 36.23%| unknown
3.57/3.64 c 3.6s| 1 | 0 | 6653 | - | 100M | 0 | 450 | 17k| 18k| 321 | 18 | 0 | 0 |-3.120833e+01 |-2.300000e+01 | 35.69%| unknown
3.57/3.66 c 3.7s| 1 | 0 | 6694 | - | 102M | 0 | 450 | 17k| 18k| 329 | 19 | 0 | 0 |-3.113333e+01 |-2.300000e+01 | 35.36%| unknown
3.57/3.68 c 3.7s| 1 | 0 | 6740 | - | 104M | 0 | 450 | 17k| 18k| 335 | 20 | 0 | 0 |-3.113333e+01 |-2.300000e+01 | 35.36%| unknown
3.67/3.70 c 3.7s| 1 | 0 | 6784 | - | 104M | 0 | 450 | 17k| 18k| 341 | 21 | 0 | 0 |-3.113333e+01 |-2.300000e+01 | 35.36%| unknown
3.67/3.73 c 3.7s| 1 | 0 | 6839 | - | 105M | 0 | 450 | 17k| 17k| 346 | 22 | 0 | 0 |-3.100000e+01 |-2.300000e+01 | 34.78%| unknown
3.67/3.75 c 3.7s| 1 | 0 | 6892 | - | 105M | 0 | 450 | 17k| 17k| 350 | 23 | 0 | 0 |-3.091667e+01 |-2.300000e+01 | 34.42%| unknown
3.67/3.77 c 3.8s| 1 | 0 | 6949 | - | 105M | 0 | 450 | 17k| 17k| 355 | 24 | 0 | 0 |-3.091667e+01 |-2.300000e+01 | 34.42%| unknown
3.67/3.79 c 3.8s| 1 | 0 | 6982 | - | 105M | 0 | 450 | 17k| 17k| 362 | 25 | 0 | 0 |-3.091667e+01 |-2.300000e+01 | 34.42%| unknown
3.77/3.81 c 3.8s| 1 | 0 | 7024 | - | 105M | 0 | 450 | 17k| 17k| 367 | 26 | 0 | 0 |-3.033333e+01 |-2.300000e+01 | 31.88%| unknown
3.77/3.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.77/3.83 c 3.8s| 1 | 0 | 7071 | - | 105M | 0 | 450 | 17k| 17k| 372 | 27 | 0 | 0 |-3.033333e+01 |-2.300000e+01 | 31.88%| unknown
3.77/3.85 c 3.9s| 1 | 0 | 7100 | - | 105M | 0 | 450 | 17k| 17k| 378 | 28 | 0 | 0 |-3.033333e+01 |-2.300000e+01 | 31.88%| unknown
3.77/3.88 c 3.9s| 1 | 0 | 7156 | - | 105M | 0 | 450 | 17k| 17k| 386 | 29 | 0 | 0 |-3.033333e+01 |-2.300000e+01 | 31.88%| unknown
3.77/3.89 c 3.9s| 1 | 0 | 7187 | - | 106M | 0 | 450 | 17k| 17k| 394 | 30 | 0 | 0 |-3.033333e+01 |-2.300000e+01 | 31.88%| unknown
3.87/3.91 c 3.9s| 1 | 0 | 7217 | - | 106M | 0 | 450 | 17k| 17k| 399 | 31 | 0 | 0 |-3.033333e+01 |-2.300000e+01 | 31.88%| unknown
3.87/3.94 c 3.9s| 1 | 0 | 7266 | - | 106M | 0 | 450 | 17k| 17k| 407 | 32 | 0 | 0 |-3.033333e+01 |-2.300000e+01 | 31.88%| unknown
3.87/3.96 c 4.0s| 1 | 0 | 7312 | - | 106M | 0 | 450 | 17k| 17k| 416 | 33 | 0 | 0 |-3.033333e+01 |-2.300000e+01 | 31.88%| unknown
3.87/3.98 c 4.0s| 1 | 0 | 7335 | - | 106M | 0 | 450 | 17k| 17k| 422 | 34 | 0 | 0 |-3.033333e+01 |-2.300000e+01 | 31.88%| unknown
3.97/4.00 c 4.0s| 1 | 0 | 7381 | - | 106M | 0 | 450 | 17k| 17k| 431 | 35 | 0 | 0 |-3.033333e+01 |-2.300000e+01 | 31.88%| unknown
3.97/4.03 c 4.0s| 1 | 0 | 7424 | - | 106M | 0 | 450 | 17k| 17k| 438 | 36 | 0 | 0 |-3.033333e+01 |-2.300000e+01 | 31.88%| unknown
5.26/5.36 c 5.4s| 1 | 2 | 7432 | - | 107M | 0 | 450 | 17k| 17k| 438 | 36 | 0 | 21 |-3.033333e+01 |-2.300000e+01 | 31.88%| unknown
5.76/5.88 o -24
5.76/5.88 c d 5.9s| 12 | 13 | 8243 | 87.2 |pscostdi| 6 | 450 | 17k| 17k| 0 | 1 | 0 | 57 |-3.033333e+01 |-2.400000e+01 | 26.39%| unknown
10.95/11.04 c 11.0s| 100 | 101 | 17346 | 101.6 | 125M | 21 | 450 | 17k| 17k| 543 | 1 | 32 | 306 |-3.033333e+01 |-2.400000e+01 | 26.39%| unknown
13.24/13.37 o -25
13.24/13.37 c *13.4s| 140 | 133 | 19694 | 89.3 |strongbr| 27 | 450 | 17k| 17k| 566 | 3 | 36 | 584 |-3.033333e+01 |-2.500000e+01 | 21.33%| unknown
15.83/15.95 o -26
15.83/15.95 c *16.0s| 160 | 139 | 20845 | 85.3 |strongbr| 27 | 450 | 17k| 17k| 583 | 2 | 52 | 824 |-3.033333e+01 |-2.600000e+01 | 16.67%| unknown
19.23/19.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
19.23/19.31 c 19.3s| 200 | 149 | 22796 | 77.9 | 135M | 28 | 450 | 18k| 17k| 601 | 1 | 229 |1199 |-3.033333e+01 |-2.600000e+01 | 16.67%| unknown
24.41/24.55 c 24.5s| 300 | 189 | 28167 | 69.8 | 136M | 36 | 450 | 18k| 17k| 638 | 0 | 360 |1752 |-3.033333e+01 |-2.600000e+01 | 16.67%| unknown
26.61/26.75 c 26.7s| 400 | 229 | 31933 | 61.8 | 140M | 36 | 450 | 18k| 17k| 674 | 1 | 380 |1859 |-3.033333e+01 |-2.600000e+01 | 16.67%| unknown
28.80/28.98 c 29.0s| 500 | 273 | 35523 | 56.6 | 141M | 36 | 450 | 18k| 17k| 711 | 1 | 392 |1924 |-3.033333e+01 |-2.600000e+01 | 16.67%| unknown
31.29/31.43 c 31.4s| 600 | 309 | 38882 | 52.8 | 151M | 36 | 450 | 18k| 17k| 785 | 1 | 403 |1969 |-3.033333e+01 |-2.600000e+01 | 16.67%| unknown
32.89/33.07 c 33.1s| 700 | 357 | 42896 | 50.9 | 152M | 36 | 450 | 18k| 17k| 851 | 1 | 415 |1996 |-3.033333e+01 |-2.600000e+01 | 16.67%| unknown
34.98/35.16 c 35.2s| 800 | 391 | 46226 | 48.7 | 153M | 36 | 450 | 18k| 17k| 897 | 2 | 415 |2006 |-3.033333e+01 |-2.600000e+01 | 16.67%| unknown
35.57/35.73 c 35.7s| 900 | 425 | 48960 | 46.4 | 153M | 36 | 450 | 18k| 17k| 919 | 1 | 417 |2013 |-3.033333e+01 |-2.600000e+01 | 16.67%| unknown
35.98/36.17 c 36.2s| 1000 | 453 | 51261 | 44.0 | 154M | 36 | 450 | 18k| 17k| 932 | 1 | 420 |2016 |-3.033333e+01 |-2.600000e+01 | 16.67%| unknown
36.57/36.72 c 36.7s| 1100 | 482 | 53407 | 42.0 | 154M | 39 | 450 | 18k| 17k| 969 | 1 | 424 |2018 |-3.033333e+01 |-2.600000e+01 | 16.67%| unknown
40.47/40.62 c 40.6s| 1200 | 532 | 57532 | 41.9 | 178M | 44 | 450 | 18k| 17k|1071 | 1 | 426 |2025 |-3.033333e+01 |-2.600000e+01 | 16.67%| unknown
41.56/41.75 c 41.8s| 1300 | 582 | 61558 | 41.8 | 180M | 44 | 450 | 18k| 17k|1141 | 0 | 429 |2027 |-3.033333e+01 |-2.600000e+01 | 16.67%| unknown
43.46/43.66 c 43.7s| 1400 | 652 | 66458 | 42.3 | 188M | 44 | 450 | 18k| 17k|1207 | 1 | 448 |2029 |-3.033333e+01 |-2.600000e+01 | 16.67%| unknown
44.25/44.40 o -27
44.25/44.40 c *44.4s| 1479 | 560 | 70269 | 42.6 | LP | 44 | 450 | 18k| 17k|1241 | 1 | 476 |2035 |-3.033333e+01 |-2.700000e+01 | 12.35%| 4.00%
44.35/44.58 c 44.6s| 1500 | 567 | 71014 | 42.5 | 189M | 44 | 450 | 18k| 17k|1248 | 1 | 490 |2045 |-3.033333e+01 |-2.700000e+01 | 12.35%| 4.00%
46.05/46.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
46.05/46.20 c 46.2s| 1600 | 637 | 76352 | 43.2 | 190M | 44 | 450 | 18k| 17k|1285 | 1 | 538 |2093 |-3.033333e+01 |-2.700000e+01 | 12.35%| 4.00%
50.54/50.78 c 50.8s| 1700 | 691 | 81774 | 43.8 | 200M | 44 | 450 | 18k| 17k|1413 | 1 | 594 |2134 |-3.033333e+01 |-2.700000e+01 | 12.35%| 4.02%
54.13/54.36 c 54.4s| 1800 | 743 | 86118 | 43.8 | 207M | 44 | 450 | 18k| 17k|1570 | 2 | 633 |2167 |-3.033333e+01 |-2.700000e+01 | 12.35%| 4.05%
56.42/56.62 c 56.6s| 1900 | 799 | 90385 | 43.8 | 208M | 44 | 450 | 18k| 17k|1653 | 1 | 678 |2190 |-3.033333e+01 |-2.700000e+01 | 12.35%| 4.15%
57.63/57.80 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
57.63/57.80 c (run 1, node 1965) performing user restart
57.63/57.80 c
57.63/57.81 c (restart) converted 132 cuts from the global cut pool into linear constraints
57.63/57.81 c
57.63/57.83 c presolving:
57.63/57.86 c (round 1, exhaustive) 0 del vars, 4 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 48 chg coeffs, 130 upgd conss, 0 impls, 17957 clqs
57.63/57.88 c (round 2, exhaustive) 0 del vars, 20 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 192 chg coeffs, 130 upgd conss, 0 impls, 17957 clqs
57.73/57.92 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
57.73/57.92 c 0 deleted vars, 26 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 3 changed sides, 196 changed coefficients
57.73/57.92 c 0 implications, 17957 cliques
57.73/57.92 c presolved problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 18594 constraints
57.73/57.92 c 10 constraints of type <knapsack>
57.73/57.92 c 17954 constraints of type <setppc>
57.73/57.92 c 3 constraints of type <linear>
57.73/57.92 c 627 constraints of type <logicor>
57.73/57.92 c transformed objective value is always integral (scale: 1)
57.73/57.92 c Presolving Time: 0.29
57.73/57.97 c transformed 98/100 original solutions to the transformed problem space
57.73/57.97 c
57.83/58.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
57.83/58.01 c 58.0s| 1 | 0 | 94574 | - | 214M | 0 | 450 | 18k| 17k| 0 | 0 | 719 |2198 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
58.03/58.23 c 58.2s| 1 | 0 | 94631 | - | 216M | 0 | 450 | 18k| 17k| 7 | 1 | 719 |2198 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
58.42/58.60 c 58.6s| 1 | 0 | 94697 | - | 216M | 0 | 450 | 18k| 17k| 15 | 2 | 719 |2198 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
58.72/58.93 c 58.9s| 1 | 0 | 94743 | - | 216M | 0 | 450 | 18k| 17k| 23 | 3 | 719 |2198 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
59.52/59.73 c 59.7s| 1 | 0 | 94800 | - | 218M | 0 | 450 | 18k| 17k| 31 | 4 | 719 |2198 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
60.12/60.31 c 60.3s| 1 | 0 | 94836 | - | 219M | 0 | 450 | 18k| 17k| 38 | 5 | 719 |2198 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
60.62/60.89 c 60.9s| 1 | 0 | 94887 | - | 221M | 0 | 450 | 18k| 18k| 44 | 6 | 719 |2198 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
61.12/61.30 c 61.3s| 1 | 0 | 94933 | - | 224M | 0 | 450 | 18k| 18k| 53 | 7 | 719 |2198 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
61.32/61.53 c 61.5s| 1 | 0 | 94978 | - | 227M | 0 | 450 | 18k| 18k| 61 | 8 | 719 |2198 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
61.51/61.70 c 61.7s| 1 | 0 | 95014 | - | 229M | 0 | 450 | 18k| 18k| 66 | 9 | 719 |2198 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
61.61/61.85 c 61.9s| 1 | 0 | 95042 | - | 232M | 0 | 450 | 18k| 17k| 72 | 10 | 719 |2198 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
61.61/61.87 c 61.9s| 1 | 0 | 95077 | - | 232M | 0 | 450 | 18k| 17k| 80 | 11 | 719 |2198 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
62.31/62.58 c 62.6s| 1 | 2 | 95511 | - | 232M | 0 | 450 | 18k| 17k| 80 | 11 | 727 |2220 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
67.99/68.23 c 68.2s| 100 | 77 |102618 | 45.7 | 237M | 32 | 450 | 18k| 17k| 101 | 1 |1041 |2781 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
70.48/70.77 c 70.8s| 200 | 129 |106878 | 45.6 | 243M | 33 | 450 | 19k| 17k| 114 | 1 |1231 |2975 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
74.57/74.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
74.57/74.89 c 74.9s| 300 | 193 |113413 | 46.4 | 255M | 33 | 450 | 19k| 17k| 159 | 1 |1623 |3239 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
75.67/75.96 c 76.0s| 400 | 249 |117025 | 46.0 | 256M | 36 | 450 | 19k| 17k| 166 | 0 |1726 |3286 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
76.48/76.74 c 76.7s| 500 | 295 |120393 | 45.5 | 254M | 36 | 450 | 19k| 17k| 172 | 1 |1821 |3306 |-3.000000e+01 |-2.700000e+01 | 11.11%| unknown
77.37/77.67 c 77.7s| 600 | 335 |122739 | 44.6 | 257M | 41 | 450 | 19k| 17k| 183 | 1 |1898 |3319 |-3.000000e+01 |-2.700000e+01 | 11.11%| 0.59%
81.46/81.79 c 81.8s| 700 | 357 |125486 | 44.0 | 268M | 44 | 450 | 19k| 17k| 286 | 2 |1997 |3369 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.27%
82.36/82.65 c 82.7s| 800 | 411 |129105 | 43.7 | 269M | 44 | 450 | 19k| 17k| 316 | 1 |2034 |3385 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.27%
83.15/83.47 c 83.5s| 900 | 447 |132088 | 43.2 | 272M | 44 | 450 | 19k| 17k| 337 | 0 |2077 |3407 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.27%
88.54/88.83 c 88.8s| 1000 | 467 |134582 | 42.6 | 280M | 44 | 450 | 19k| 17k| 474 | 0 |2090 |3418 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.27%
90.24/90.57 c 90.6s| 1100 | 507 |137448 | 42.2 | 281M | 44 | 450 | 19k| 17k| 548 | 0 |2155 |3445 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.37%
95.32/95.67 c 95.7s| 1200 | 543 |141488 | 42.1 | 293M | 44 | 450 | 19k| 17k| 713 | 0 |2176 |3475 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.45%
96.91/97.29 c 97.3s| 1300 | 587 |146211 | 42.3 | 293M | 44 | 450 | 20k| 17k| 751 | 1 |2198 |3498 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.45%
98.32/98.68 c 98.7s| 1400 | 639 |150392 | 42.2 | 298M | 44 | 450 | 20k| 17k| 809 | 0 |2226 |3498 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.46%
100.61/100.91 c 101s| 1500 | 687 |153268 | 41.9 | 298M | 44 | 450 | 20k| 17k| 835 | 1 |2256 |3503 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.47%
102.50/102.80 c 103s| 1600 | 733 |156484 | 41.6 | 298M | 44 | 450 | 20k| 17k| 893 | 1 |2295 |3514 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.47%
103.10/103.49 c 103s| 1700 | 781 |159907 | 41.4 | 301M | 44 | 450 | 20k| 17k| 909 | 1 |2321 |3519 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.47%
103.71/104.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
103.71/104.04 c 104s| 1800 | 817 |162576 | 41.0 | 301M | 44 | 450 | 20k| 17k| 919 | 1 |2327 |3520 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.47%
104.50/104.83 c 105s| 1900 | 855 |165858 | 40.8 | 302M | 44 | 450 | 20k| 17k| 940 | 0 |2338 |3520 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.62%
107.09/107.47 c 107s| 2000 | 883 |168526 | 40.4 | 302M | 44 | 450 | 20k| 17k| 992 | 1 |2344 |3521 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.67%
108.19/108.52 c 109s| 2100 | 927 |172479 | 40.4 | 309M | 44 | 450 | 20k| 17k|1039 | 1 |2370 |3525 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.69%
109.18/109.51 c 110s| 2200 | 967 |175286 | 40.1 | 311M | 44 | 450 | 20k| 17k|1064 | 1 |2375 |3529 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.69%
110.38/110.72 c 111s| 2300 | 1007 |178028 | 39.8 | 311M | 44 | 450 | 20k| 17k|1103 | 1 |2401 |3532 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.71%
111.58/111.95 c 112s| 2400 | 1045 |180648 | 39.5 | 313M | 44 | 450 | 20k| 17k|1126 | 1 |2433 |3539 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.73%
112.57/112.91 c 113s| 2500 | 1077 |182782 | 39.1 | 316M | 44 | 450 | 20k| 17k|1154 | 1 |2461 |3546 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.74%
113.07/113.46 c 113s| 2600 | 1111 |186322 | 39.0 | 317M | 44 | 450 | 20k| 17k|1168 | 1 |2473 |3547 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.74%
113.57/113.94 c 114s| 2700 | 1129 |188859 | 38.7 | 317M | 44 | 450 | 20k| 17k|1183 | 0 |2480 |3547 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.74%
115.57/115.97 c 116s| 2800 | 1151 |191292 | 38.4 | 318M | 50 | 450 | 20k| 17k|1222 | 3 |2490 |3547 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.74%
117.36/117.78 c 118s| 2900 | 1173 |193282 | 38.0 | 318M | 54 | 450 | 20k| 17k|1287 | 0 |2494 |3547 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.74%
118.46/118.83 c 119s| 3000 | 1211 |196079 | 37.8 | 319M | 54 | 450 | 20k| 17k|1317 | 1 |2494 |3547 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.76%
119.16/119.50 c 120s| 3100 | 1249 |199273 | 37.7 | 319M | 54 | 450 | 20k| 17k|1349 | 1 |2504 |3556 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.76%
121.06/121.48 c 121s| 3200 | 1285 |201826 | 37.5 | 319M | 54 | 450 | 20k| 17k|1376 | 1 |2568 |3584 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.76%
121.85/122.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
121.85/122.24 c 122s| 3300 | 1315 |204375 | 37.3 | 319M | 54 | 450 | 20k| 17k|1393 | 2 |2589 |3607 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.76%
122.55/122.90 c 123s| 3400 | 1335 |207120 | 37.1 | 319M | 54 | 450 | 20k| 17k|1401 | 0 |2623 |3643 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.76%
123.25/123.61 c 124s| 3500 | 1371 |210238 | 37.0 | 319M | 54 | 450 | 20k| 17k|1415 | 1 |2625 |3656 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.77%
123.95/124.38 c 124s| 3600 | 1405 |213011 | 36.8 | 319M | 54 | 450 | 20k| 17k|1437 | 1 |2669 |3692 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.77%
124.65/125.07 c 125s| 3700 | 1443 |215454 | 36.6 | 319M | 54 | 450 | 20k| 17k|1446 | 1 |2682 |3720 |-3.000000e+01 |-2.700000e+01 | 11.11%| 1.78%
125.34/125.70 o -28
125.34/125.70 c o 126s| 3736 | 1465 |216824 | 36.6 |objpscos| 54 | 450 | 20k| 17k|1462 | 1 |2699 |3732 |-3.000000e+01 |-2.800000e+01 | 7.14%| 1.78%
125.65/126.09 c 126s| 3800 | 623 |218368 | 36.4 | 320M | 54 | 450 | 20k| 17k|1465 | 1 |2762 |3756 |-3.000000e+01 |-2.800000e+01 | 7.14%| 22.14%
126.34/126.75 c 127s| 3900 | 625 |220631 | 36.2 | 320M | 54 | 450 | 20k| 17k|1469 | 1 |2900 |3800 |-3.000000e+01 |-2.800000e+01 | 7.14%| 22.15%
127.24/127.63 c 128s| 4000 | 629 |222823 | 36.0 | 320M | 54 | 450 | 20k| 17k|1473 | 0 |3028 |3849 |-3.000000e+01 |-2.800000e+01 | 7.14%| 22.87%
127.83/128.21 c 128s| 4100 | 637 |224870 | 35.7 | 320M | 54 | 450 | 20k| 17k|1476 | 0 |3072 |3865 |-3.000000e+01 |-2.800000e+01 | 7.14%| 23.35%
128.43/128.83 c 129s| 4200 | 637 |227005 | 35.5 | 320M | 54 | 450 | 20k| 17k|1492 | 0 |3170 |3898 |-3.000000e+01 |-2.800000e+01 | 7.14%| 24.00%
129.03/129.47 c 129s| 4300 | 643 |229551 | 35.3 | 320M | 54 | 450 | 20k| 17k|1512 | 1 |3243 |3921 |-3.000000e+01 |-2.800000e+01 | 7.14%| 24.55%
130.63/131.02 c 131s| 4400 | 651 |231994 | 35.2 | 320M | 54 | 450 | 20k| 17k|1543 | 1 |3369 |3951 |-3.000000e+01 |-2.800000e+01 | 7.14%| 25.08%
131.32/131.78 c 132s| 4500 | 657 |234505 | 35.0 | 321M | 54 | 450 | 20k| 17k|1556 | 0 |3473 |3985 |-3.000000e+01 |-2.800000e+01 | 7.14%| 25.31%
132.02/132.43 c 132s| 4600 | 675 |237520 | 34.9 | 321M | 54 | 450 | 20k| 17k|1572 | 0 |3505 |3991 |-3.000000e+01 |-2.800000e+01 | 7.14%| 25.50%
132.72/133.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
132.72/133.15 c 133s| 4700 | 683 |239794 | 34.7 | 321M | 54 | 450 | 20k| 17k|1581 | 1 |3574 |4013 |-3.000000e+01 |-2.800000e+01 | 7.14%| 26.03%
133.32/133.74 c 134s| 4800 | 701 |242096 | 34.6 | 321M | 54 | 450 | 20k| 17k|1589 | 1 |3637 |4029 |-3.000000e+01 |-2.800000e+01 | 7.14%| 26.03%
135.81/136.24 c 136s| 4900 | 721 |245055 | 34.5 | 321M | 54 | 450 | 20k| 17k|1619 | 2 |3794 |4076 |-3.000000e+01 |-2.800000e+01 | 7.14%| 26.25%
137.20/137.63 c 138s| 5000 | 735 |247863 | 34.4 | 321M | 54 | 450 | 20k| 17k|1629 | 1 |3898 |4102 |-3.000000e+01 |-2.800000e+01 | 7.14%| 26.35%
138.20/138.66 c 139s| 5100 | 737 |249957 | 34.2 | 321M | 54 | 450 | 20k| 17k|1653 | 0 |3961 |4116 |-3.000000e+01 |-2.800000e+01 | 7.14%| 26.87%
140.00/140.42 c 140s| 5200 | 751 |253272 | 34.2 | 321M | 54 | 450 | 20k| 17k|1680 | 0 |4128 |4162 |-3.000000e+01 |-2.800000e+01 | 7.14%| 26.93%
141.49/141.92 c 142s| 5300 | 771 |256232 | 34.1 | 321M | 54 | 450 | 21k| 17k|1716 | 0 |4204 |4187 |-3.000000e+01 |-2.800000e+01 | 7.14%| 26.98%
142.19/142.61 c 143s| 5400 | 787 |258576 | 34.0 | 321M | 54 | 450 | 21k| 17k|1731 | 1 |4267 |4210 |-3.000000e+01 |-2.800000e+01 | 7.14%| 26.98%
142.69/143.18 c 143s| 5500 | 801 |260914 | 33.8 | 321M | 54 | 450 | 21k| 17k|1740 | 0 |4297 |4220 |-3.000000e+01 |-2.800000e+01 | 7.14%| 26.98%
143.28/143.78 c 144s| 5600 | 809 |263059 | 33.7 | 330M | 54 | 450 | 21k| 17k|1754 | 2 |4320 |4227 |-3.000000e+01 |-2.800000e+01 | 7.14%| 27.33%
143.88/144.33 c 144s| 5700 | 827 |265349 | 33.5 | 330M | 54 | 450 | 21k| 17k|1772 | 0 |4364 |4233 |-3.000000e+01 |-2.800000e+01 | 7.14%| 27.35%
144.28/144.75 c 145s| 5800 | 839 |267352 | 33.4 | 330M | 54 | 450 | 21k| 17k|1786 | 1 |4369 |4235 |-3.000000e+01 |-2.800000e+01 | 7.14%| 27.35%
144.88/145.34 c 145s| 5900 | 859 |270271 | 33.3 | 330M | 54 | 450 | 21k| 17k|1806 | 1 |4407 |4241 |-3.000000e+01 |-2.800000e+01 | 7.14%| 27.35%
145.28/145.79 c 146s| 6000 | 871 |272151 | 33.1 | 330M | 54 | 450 | 21k| 17k|1807 | 0 |4434 |4247 |-3.000000e+01 |-2.800000e+01 | 7.14%| 27.35%
145.78/146.24 c 146s| 6100 | 881 |274153 | 33.0 | 330M | 54 | 450 | 21k| 17k|1820 | 1 |4452 |4252 |-3.000000e+01 |-2.800000e+01 | 7.14%| 27.35%
146.27/146.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
146.27/146.76 c 147s| 6200 | 897 |276674 | 32.9 | 331M | 54 | 450 | 21k| 17k|1826 | 0 |4488 |4260 |-3.000000e+01 |-2.800000e+01 | 7.14%| 27.35%
146.77/147.23 c 147s| 6300 | 909 |278924 | 32.7 | 331M | 54 | 450 | 21k| 17k|1831 | 1 |4532 |4267 |-3.000000e+01 |-2.800000e+01 | 7.14%| 27.37%
147.37/147.83 c 148s| 6400 | 929 |282397 | 32.8 | 331M | 54 | 450 | 21k| 17k|1845 | 1 |4538 |4273 |-3.000000e+01 |-2.800000e+01 | 7.14%| 27.37%
148.07/148.57 c 149s| 6500 | 941 |285695 | 32.8 | 332M | 54 | 450 | 20k| 17k|1857 | 1 |4559 |4276 |-3.000000e+01 |-2.800000e+01 | 7.14%| 27.39%
148.97/149.43 c 149s| 6600 | 951 |287744 | 32.6 | 333M | 54 | 450 | 20k| 17k|1870 | 1 |4570 |4280 |-3.000000e+01 |-2.800000e+01 | 7.14%| 27.40%
149.58/150.06 c 150s| 6700 | 961 |290147 | 32.5 | 333M | 54 | 450 | 20k| 17k|1873 | 0 |4609 |4293 |-3.000000e+01 |-2.800000e+01 | 7.14%| 27.54%
150.17/150.66 c 151s| 6800 | 971 |292941 | 32.5 | 333M | 54 | 450 | 20k| 17k|1877 | 0 |4649 |4300 |-3.000000e+01 |-2.800000e+01 | 7.14%| 27.63%
150.86/151.30 c 151s| 6900 | 983 |295272 | 32.4 | 333M | 54 | 450 | 20k| 17k|1879 | 0 |4678 |4310 |-3.000000e+01 |-2.800000e+01 | 7.14%| 27.63%
151.36/151.80 c 152s| 7000 | 999 |298135 | 32.3 | 333M | 54 | 450 | 20k| 17k|1890 | 1 |4683 |4312 |-3.000000e+01 |-2.800000e+01 | 7.14%| 27.64%
152.06/152.53 c 153s| 7100 | 1003 |299951 | 32.2 | 333M | 54 | 450 | 20k| 17k|1909 | 2 |4724 |4315 |-3.000000e+01 |-2.800000e+01 | 7.14%| 27.94%
152.86/153.30 c 153s| 7200 | 1015 |301788 | 32.0 | 333M | 54 | 450 | 20k| 17k|1930 | 0 |4744 |4317 |-3.000000e+01 |-2.800000e+01 | 7.14%| 28.01%
153.76/154.28 c 154s| 7300 | 1023 |303432 | 31.9 | 333M | 54 | 450 | 20k| 17k|1955 | 0 |4744 |4317 |-3.000000e+01 |-2.800000e+01 | 7.14%| 28.05%
154.36/154.88 c 155s| 7400 | 1035 |305420 | 31.7 | 334M | 54 | 450 | 20k| 17k|1975 | 0 |4744 |4317 |-3.000000e+01 |-2.800000e+01 | 7.14%| 28.15%
154.75/155.29 c 155s| 7500 | 1037 |306926 | 31.6 | 334M | 54 | 450 | 20k| 17k|1978 | 0 |4745 |4317 |-3.000000e+01 |-2.800000e+01 | 7.14%| 28.34%
155.25/155.75 c 156s| 7600 | 1049 |308705 | 31.4 | 334M | 54 | 450 | 20k| 17k|1982 | 1 |4777 |4321 |-3.000000e+01 |-2.800000e+01 | 7.14%| 28.52%
155.66/156.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
155.66/156.16 c 156s| 7700 | 1057 |310554 | 31.3 | 334M | 54 | 450 | 20k| 17k|1985 | 1 |4816 |4325 |-3.000000e+01 |-2.800000e+01 | 7.14%| 28.53%
156.55/157.04 c 157s| 7800 | 1059 |312839 | 31.2 | 334M | 54 | 450 | 20k| 17k|2007 | 1 |4835 |4328 |-3.000000e+01 |-2.800000e+01 | 7.14%| 28.78%
157.25/157.77 c 158s| 7900 | 1063 |315040 | 31.1 | 334M | 54 | 450 | 20k| 17k|2023 | 1 |4835 |4328 |-3.000000e+01 |-2.800000e+01 | 7.14%| 29.04%
157.65/158.17 c 158s| 8000 | 1067 |316546 | 30.9 | 334M | 54 | 450 | 20k| 17k|2029 | 0 |4846 |4329 |-3.000000e+01 |-2.800000e+01 | 7.14%| 29.04%
158.04/158.56 c 159s| 8100 | 1075 |318042 | 30.8 | 334M | 54 | 450 | 20k| 17k|2031 | 0 |4856 |4329 |-3.000000e+01 |-2.800000e+01 | 7.14%| 29.04%
158.55/159.02 c 159s| 8200 | 1087 |319664 | 30.6 | 334M | 54 | 450 | 20k| 17k|2034 | 1 |4875 |4332 |-3.000000e+01 |-2.800000e+01 | 7.14%| 29.06%
159.34/159.85 c 160s| 8300 | 1101 |322077 | 30.6 | 334M | 54 | 450 | 20k| 17k|2040 | 0 |4894 |4337 |-3.000000e+01 |-2.800000e+01 | 7.14%| 29.11%
160.73/161.24 c 161s| 8400 | 1103 |324201 | 30.5 | 334M | 54 | 450 | 20k| 17k|2061 | 1 |4920 |4340 |-3.000000e+01 |-2.800000e+01 | 7.14%| 29.59%
161.23/161.70 c 162s| 8500 | 1103 |325601 | 30.3 | 334M | 54 | 450 | 20k| 17k|2069 | 1 |4929 |4340 |-3.000000e+01 |-2.800000e+01 | 7.14%| 30.06%
161.83/162.36 c 162s| 8600 | 1099 |327437 | 30.2 | 334M | 54 | 450 | 20k| 17k|2083 | 0 |4948 |4344 |-3.000000e+01 |-2.800000e+01 | 7.14%| 30.43%
162.53/163.02 c 163s| 8700 | 1115 |331081 | 30.3 | 334M | 54 | 450 | 20k| 17k|2085 | 0 |4988 |4354 |-3.000000e+01 |-2.800000e+01 | 7.14%| 30.49%
163.02/163.51 c 164s| 8800 | 1123 |333533 | 30.2 | 334M | 54 | 450 | 20k| 17k|2088 | 0 |4993 |4356 |-3.000000e+01 |-2.800000e+01 | 7.14%| 30.68%
163.42/163.98 c 164s| 8900 | 1133 |336216 | 30.2 | 334M | 54 | 450 | 20k| 17k|2091 | 0 |4993 |4357 |-3.000000e+01 |-2.800000e+01 | 7.14%| 30.86%
164.92/165.44 c 165s| 9000 | 1129 |337971 | 30.1 | 334M | 54 | 450 | 20k| 17k|2139 | 0 |4993 |4357 |-3.000000e+01 |-2.800000e+01 | 7.14%| 31.42%
165.82/166.37 c 166s| 9100 | 1155 |341532 | 30.1 | 334M | 54 | 450 | 20k| 17k|2152 | 1 |5005 |4362 |-3.000000e+01 |-2.800000e+01 | 7.14%| 31.57%
166.41/166.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
166.41/166.94 c 167s| 9200 | 1171 |343800 | 30.1 | 334M | 54 | 450 | 20k| 17k|2156 | 0 |5042 |4367 |-3.000000e+01 |-2.800000e+01 | 7.14%| 31.57%
166.91/167.46 c 167s| 9300 | 1193 |345972 | 30.0 | 334M | 54 | 450 | 20k| 17k|2156 | 0 |5057 |4370 |-3.000000e+01 |-2.800000e+01 | 7.14%| 31.57%
167.61/168.17 c 168s| 9400 | 1199 |348014 | 29.9 | 334M | 54 | 450 | 20k| 17k|2159 | 1 |5069 |4380 |-3.000000e+01 |-2.800000e+01 | 7.14%| 31.57%
168.81/169.34 c 169s| 9500 | 1211 |350148 | 29.8 | 334M | 54 | 450 | 20k| 17k|2173 | 1 |5133 |4401 |-3.000000e+01 |-2.800000e+01 | 7.14%| 31.60%
169.51/170.02 c 170s| 9600 | 1233 |352475 | 29.8 | 334M | 54 | 450 | 20k| 17k|2175 | 1 |5288 |4437 |-3.000000e+01 |-2.800000e+01 | 7.14%| 31.60%
170.10/170.64 c 171s| 9700 | 1241 |354566 | 29.7 | 334M | 54 | 450 | 20k| 17k|2175 | 0 |5410 |4465 |-3.000000e+01 |-2.800000e+01 | 7.14%| 31.60%
170.70/171.29 c 171s| 9800 | 1247 |356921 | 29.6 | 338M | 54 | 450 | 20k| 17k|2178 | 0 |5506 |4486 |-3.000000e+01 |-2.800000e+01 | 7.14%| 31.60%
171.50/172.06 c 172s| 9900 | 1254 |359701 | 29.6 | 338M | 54 | 450 | 20k| 17k|2182 | 2 |5602 |4517 |-3.000000e+01 |-2.800000e+01 | 7.14%| 31.60%
172.39/172.98 c 173s| 10000 | 1260 |362246 | 29.6 | 338M | 54 | 450 | 20k| 17k|2189 | 0 |5701 |4555 |-3.000000e+01 |-2.800000e+01 | 7.14%| 31.95%
173.19/173.70 c 174s| 10100 | 1252 |364140 | 29.5 | 338M | 54 | 450 | 20k| 17k|2196 | 1 |5793 |4589 |-3.000000e+01 |-2.800000e+01 | 7.14%| 32.21%
173.69/174.27 c 174s| 10200 | 1252 |365872 | 29.4 | 338M | 54 | 450 | 20k| 17k|2198 | 1 |5820 |4602 |-3.000000e+01 |-2.800000e+01 | 7.14%| 32.42%
174.39/174.92 c 175s| 10300 | 1252 |368102 | 29.3 | 338M | 54 | 450 | 20k| 17k|2198 | 0 |5897 |4623 |-3.000000e+01 |-2.800000e+01 | 7.14%| 32.71%
175.18/175.78 c 176s| 10400 | 1257 |370736 | 29.3 | 338M | 54 | 450 | 20k| 17k|2206 | 1 |6069 |4667 |-3.000000e+01 |-2.800000e+01 | 7.14%| 32.89%
176.08/176.61 c 177s| 10500 | 1267 |373366 | 29.3 | 338M | 54 | 450 | 20k| 17k|2211 | 0 |6153 |4703 |-3.000000e+01 |-2.800000e+01 | 7.14%| 32.90%
177.48/178.02 c 178s| 10600 | 1275 |375735 | 29.2 | 338M | 54 | 450 | 20k| 17k|2236 | 1 |6188 |4726 |-3.000000e+01 |-2.800000e+01 | 7.14%| 33.13%
178.07/178.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
178.07/178.67 c 179s| 10700 | 1281 |378424 | 29.2 | 338M | 54 | 450 | 20k| 17k|2240 | 0 |6236 |4751 |-3.000000e+01 |-2.800000e+01 | 7.14%| 33.32%
178.77/179.39 c 179s| 10800 | 1307 |381424 | 29.2 | 338M | 54 | 450 | 20k| 17k|2249 | 1 |6345 |4788 |-3.000000e+01 |-2.800000e+01 | 7.14%| 33.32%
178.97/179.54 o -29
178.97/179.54 c * 180s| 10825 | 75 |382040 | 29.2 |strongbr| 54 | 450 | 20k| 17k|2251 | 1 |6356 |4791 |-3.000000e+01 |-2.900000e+01 | 3.45%| 68.80%
179.27/179.86 c 180s| 10900 | 80 |383725 | 29.2 | 338M | 54 | 450 | 20k| 17k|2256 | 1 |6356 |4793 |-3.000000e+01 |-2.900000e+01 | 3.45%| 68.80%
180.07/180.61 c 181s| 11000 | 78 |385583 | 29.1 | 338M | 54 | 450 | 20k| 17k|2269 | 1 |6413 |4801 |-3.000000e+01 |-2.900000e+01 | 3.45%| 69.09%
180.47/181.09 c 181s| 11100 | 78 |388228 | 29.1 | 338M | 54 | 450 | 20k| 17k|2273 | 1 |6422 |4801 |-3.000000e+01 |-2.900000e+01 | 3.45%| 69.09%
181.47/182.06 c 182s| 11200 | 76 |390740 | 29.1 | 338M | 54 | 450 | 19k| 17k|2298 | 1 |6426 |4801 |-3.000000e+01 |-2.900000e+01 | 3.45%| 69.33%
182.26/182.84 c 183s| 11300 | 74 |393166 | 29.0 | 338M | 54 | 450 | 19k| 17k|2308 | 1 |6457 |4805 |-3.000000e+01 |-2.900000e+01 | 3.45%| 69.35%
183.26/183.88 c 184s| 11400 | 62 |395559 | 29.0 | 338M | 54 | 450 | 19k| 17k|2337 | 0 |6462 |4805 |-3.000000e+01 |-2.900000e+01 | 3.45%| 70.56%
184.16/184.76 c 185s| 11500 | 64 |397317 | 28.9 | 338M | 54 | 450 | 19k| 0 |2343 | 0 |6569 |4813 |-3.000000e+01 |-2.900000e+01 | 3.45%| 70.88%
185.25/185.83 c 186s| 11600 | 64 |399085 | 28.8 | 338M | 54 | 450 | 19k| 17k|2367 | 1 |6642 |4824 |-3.000000e+01 |-2.900000e+01 | 3.45%| 70.94%
186.15/186.71 c 187s| 11700 | 62 |401010 | 28.7 | 338M | 54 | 450 | 19k| 0 |2388 | 0 |6697 |4829 |-3.000000e+01 |-2.900000e+01 | 3.45%| 71.09%
186.56/187.18 c 187s| 11800 | 56 |403413 | 28.7 | 338M | 54 | 450 | 19k| 17k|2389 | 0 |6714 |4829 |-3.000000e+01 |-2.900000e+01 | 3.45%| 72.08%
187.35/187.94 c 188s| 11900 | 54 |405618 | 28.7 | 338M | 54 | 450 | 19k| 17k|2410 | 1 |6740 |4829 |-3.000000e+01 |-2.900000e+01 | 3.45%| 72.72%
188.25/188.85 c 189s| 12000 | 52 |407857 | 28.6 | 338M | 54 | 450 | 19k| 17k|2424 | 0 |6822 |4834 |-3.000000e+01 |-2.900000e+01 | 3.45%| 73.54%
189.94/190.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
189.94/190.51 c 191s| 12100 | 58 |411151 | 28.6 | 338M | 54 | 450 | 19k| 0 |2471 | 0 |6880 |4834 |-3.000000e+01 |-2.900000e+01 | 3.45%| 73.89%
191.04/191.62 c 192s| 12200 | 57 |412901 | 28.6 | 338M | 54 | 450 | 19k| 0 |2506 | 0 |7047 |4849 |-3.000000e+01 |-2.900000e+01 | 3.45%| 73.92%
191.54/192.15 c 192s| 12300 | 58 |414640 | 28.5 | 338M | 54 | 450 | 19k| 17k|2520 | 1 |7122 |4850 |-3.000000e+01 |-2.900000e+01 | 3.45%| 73.93%
192.14/192.70 c 193s| 12400 | 56 |417198 | 28.5 | 338M | 54 | 450 | 19k| 17k|2529 | 1 |7200 |4853 |-3.000000e+01 |-2.900000e+01 | 3.45%| 73.93%
193.03/193.67 c 194s| 12500 | 56 |420114 | 28.5 | 338M | 54 | 450 | 19k| 17k|2552 | 0 |7248 |4853 |-3.000000e+01 |-2.900000e+01 | 3.45%| 75.71%
194.13/194.72 c 195s| 12600 | 56 |422404 | 28.4 | 338M | 54 | 450 | 19k| 17k|2578 | 2 |7293 |4855 |-3.000000e+01 |-2.900000e+01 | 3.45%| 75.88%
195.53/196.19 c 196s| 12700 | 53 |424593 | 28.4 | 338M | 54 | 450 | 19k| 17k|2620 | 0 |7344 |4855 |-3.000000e+01 |-2.900000e+01 | 3.45%| 76.24%
197.42/198.03 c 198s| 12800 | 49 |426882 | 28.4 | 338M | 54 | 450 | 19k| 17k|2676 | 0 |7380 |4855 |-3.000000e+01 |-2.900000e+01 | 3.45%| 77.69%
198.92/199.54 c 200s| 12900 | 48 |428629 | 28.3 | 338M | 54 | 450 | 19k| 17k|2717 | 0 |7412 |4855 |-3.000000e+01 |-2.900000e+01 | 3.45%| 80.77%
200.42/201.06 c 201s| 13000 | 48 |431643 | 28.3 | 338M | 54 | 450 | 19k| 17k|2765 | 1 |7480 |4866 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.04%
201.31/202.00 c 202s| 13100 | 47 |433737 | 28.2 | 338M | 54 | 450 | 19k| 0 |2813 | 0 |7567 |4868 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.10%
202.01/202.63 c 203s| 13200 | 49 |436259 | 28.2 | 338M | 54 | 450 | 19k| 17k|2832 | 1 |7712 |4892 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.12%
202.51/203.11 c 203s| 13300 | 48 |438310 | 28.2 | 338M | 54 | 450 | 19k| 17k|2854 | 0 |7756 |4892 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.12%
202.90/203.57 c 204s| 13400 | 50 |440387 | 28.1 | 338M | 54 | 450 | 19k| 17k|2862 | 1 |7833 |4892 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.13%
203.30/203.99 c 204s| 13500 | 46 |441600 | 28.0 | 338M | 54 | 450 | 19k| 0 |2869 | 0 |7962 |4904 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.14%
203.80/204.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
203.80/204.44 c 204s| 13600 | 49 |442943 | 27.9 | 338M | 54 | 450 | 20k| 17k|2876 | 2 |8189 |4927 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.14%
204.30/204.91 c 205s| 13700 | 49 |444652 | 27.9 | 338M | 54 | 450 | 20k| 17k|2887 | 1 |8289 |4932 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.14%
204.70/205.36 c 205s| 13800 | 45 |446591 | 27.8 | 338M | 54 | 450 | 20k| 0 |2890 | 0 |8384 |4935 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.15%
205.20/205.83 c 206s| 13900 | 48 |448374 | 27.7 | 338M | 54 | 450 | 20k| 17k|2903 | 1 |8477 |4937 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.15%
205.70/206.34 c 206s| 14000 | 44 |450954 | 27.7 | 338M | 54 | 450 | 20k| 0 |2915 | 0 |8647 |4961 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.24%
206.20/206.88 c 207s| 14100 | 49 |453285 | 27.7 | 346M | 54 | 450 | 20k| 17k|2930 | 1 |8802 |4970 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.24%
206.70/207.31 c 207s| 14200 | 48 |454638 | 27.6 | 346M | 54 | 450 | 20k| 17k|2937 | 0 |8991 |4992 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.24%
207.10/207.76 c 208s| 14300 | 54 |456547 | 27.6 | 346M | 54 | 450 | 20k| 0 |2939 | 0 |9104 |5003 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.24%
207.60/208.24 c 208s| 14400 | 45 |459015 | 27.5 | 346M | 54 | 450 | 20k| 17k|2947 | 0 |9239 |5018 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.24%
208.00/208.67 c 209s| 14500 | 51 |461126 | 27.5 | 346M | 54 | 450 | 20k| 17k|2950 | 1 |9368 |5025 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.24%
208.99/209.65 c 210s| 14600 | 55 |463499 | 27.5 | 346M | 54 | 450 | 20k| 17k|2969 | 1 |9458 |5029 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.24%
209.40/210.02 c 210s| 14700 | 48 |465164 | 27.4 | 346M | 54 | 450 | 20k| 17k|2969 | 0 |9616 |5046 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.24%
209.89/210.52 c 211s| 14800 | 48 |467642 | 27.4 | 346M | 54 | 450 | 21k| 17k|2975 | 1 |9762 |5064 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.24%
210.29/210.98 c 211s| 14900 | 47 |469548 | 27.4 | 346M | 54 | 450 | 21k| 17k|2976 | 0 |9980 |5095 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.33%
211.49/212.13 c 212s| 15000 | 50 |471580 | 27.3 | 346M | 54 | 450 | 21k| 0 |3006 | 0 | 10k|5095 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.33%
212.98/213.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
212.98/213.67 c 214s| 15100 | 54 |473396 | 27.3 | 346M | 54 | 450 | 21k| 17k|3037 | 1 | 10k|5140 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.42%
213.58/214.28 c 214s| 15200 | 54 |474747 | 27.2 | 346M | 54 | 450 | 21k| 17k|3053 | 1 | 10k|5156 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.43%
214.08/214.75 c 215s| 15300 | 52 |476322 | 27.1 | 346M | 54 | 450 | 21k| 17k|3059 | 1 | 10k|5164 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.46%
214.88/215.57 c 216s| 15400 | 47 |478023 | 27.1 | 346M | 54 | 450 | 21k| 0 |3076 | 0 | 10k|5183 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.48%
215.77/216.49 c 216s| 15500 | 51 |480058 | 27.0 | 346M | 54 | 450 | 21k| 17k|3094 | 1 | 11k|5209 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.52%
216.27/216.99 c 217s| 15600 | 49 |481391 | 26.9 | 346M | 54 | 450 | 22k| 17k|3108 | 1 | 11k|5232 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.52%
216.97/217.62 c 218s| 15700 | 48 |483144 | 26.9 | 346M | 54 | 450 | 22k| 17k|3128 | 1 | 11k|5259 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.55%
217.37/218.04 c 218s| 15800 | 46 |484495 | 26.8 | 346M | 54 | 450 | 22k| 17k|3133 | 1 | 11k|5281 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.58%
218.27/218.92 c 219s| 15900 | 45 |486487 | 26.8 | 346M | 54 | 450 | 22k| 17k|3153 | 1 | 12k|5372 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.59%
218.76/219.46 c 219s| 16000 | 46 |488156 | 26.7 | 346M | 54 | 450 | 22k| 0 |3169 | 0 | 12k|5427 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.60%
219.26/219.95 c 220s| 16100 | 48 |489803 | 26.7 | 346M | 54 | 450 | 23k| 17k|3189 | 0 | 12k|5450 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.60%
220.76/221.40 c 221s| 16200 | 49 |492357 | 26.7 | 346M | 54 | 450 | 23k| 17k|3243 | 1 | 13k|5490 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.71%
221.26/221.98 c 222s| 16300 | 48 |494315 | 26.6 | 346M | 54 | 450 | 23k| 17k|3255 | 3 | 13k|5525 |-3.000000e+01 |-2.900000e+01 | 3.45%| 81.73%
222.05/222.78 c 223s| 16400 | 44 |496170 | 26.6 | 346M | 54 | 450 | 23k| 0 |3298 | 0 | 13k|5576 |-3.000000e+01 |-2.900000e+01 | 3.45%| 82.10%
222.65/223.35 c 223s| 16500 | 43 |498163 | 26.5 | 346M | 54 | 450 | 23k| 17k|3320 | 1 | 13k|5603 |-3.000000e+01 |-2.900000e+01 | 3.45%| 82.28%
223.15/223.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
223.15/223.82 c 224s| 16600 | 42 |500282 | 26.5 | 346M | 54 | 450 | 23k| 17k|3334 | 1 | 14k|5618 |-3.000000e+01 |-2.900000e+01 | 3.45%| 82.29%
223.65/224.35 c 224s| 16700 | 44 |501902 | 26.4 | 346M | 54 | 450 | 23k| 17k|3357 | 1 | 14k|5664 |-3.000000e+01 |-2.900000e+01 | 3.45%| 82.29%
224.15/224.86 c 225s| 16800 | 42 |503631 | 26.4 | 347M | 54 | 450 | 24k| 17k|3374 | 2 | 14k|5707 |-3.000000e+01 |-2.900000e+01 | 3.45%| 82.38%
224.65/225.39 c 225s| 16900 | 40 |505462 | 26.4 | 347M | 54 | 450 | 24k| 17k|3384 | 1 | 15k|5742 |-3.000000e+01 |-2.900000e+01 | 3.45%| 82.49%
225.74/226.42 c 226s| 17000 | 40 |507701 | 26.3 | 347M | 54 | 450 | 24k| 17k|3403 | 0 | 15k|5828 |-3.000000e+01 |-2.900000e+01 | 3.45%| 82.53%
226.74/227.49 c 227s| 17100 | 38 |509825 | 26.3 | 347M | 54 | 450 | 24k| 0 |3412 | 0 | 15k|5864 |-3.000000e+01 |-2.900000e+01 | 3.45%| 82.65%
227.24/227.96 c 228s| 17200 | 38 |511885 | 26.3 | 347M | 54 | 450 | 24k| 17k|3421 | 1 | 15k|5888 |-3.000000e+01 |-2.900000e+01 | 3.45%| 82.74%
227.73/228.45 c 228s| 17300 | 35 |513950 | 26.2 | 347M | 54 | 450 | 24k| 17k|3425 | 1 | 16k|5924 |-3.000000e+01 |-2.900000e+01 | 3.45%| 82.83%
230.23/230.92 c 231s| 17400 | 35 |515869 | 26.2 | 347M | 54 | 450 | 24k| 17k|3473 | 1 | 16k|5935 |-3.000000e+01 |-2.900000e+01 | 3.45%| 84.39%
232.33/233.05 c 233s| 17500 | 31 |518576 | 26.2 | 347M | 54 | 450 | 24k| 17k|3536 | 1 | 16k|5948 |-3.000000e+01 |-2.900000e+01 | 3.45%| 85.70%
234.52/235.23 c 235s| 17600 | 33 |521532 | 26.2 | 347M | 54 | 450 | 24k| 17k|3624 | 1 | 16k|5958 |-3.000000e+01 |-2.900000e+01 | 3.45%| 86.10%
236.51/237.27 c 237s| 17700 | 29 |523637 | 26.2 | 347M | 54 | 450 | 24k| 0 |3666 | 0 | 16k|5969 |-3.000000e+01 |-2.900000e+01 | 3.45%| 86.47%
238.31/239.04 c 239s| 17800 | 34 |526162 | 26.2 | 347M | 54 | 450 | 24k| 17k|3712 | 1 | 16k|5984 |-3.000000e+01 |-2.900000e+01 | 3.45%| 86.69%
238.80/239.54 c 240s| 17900 | 32 |527646 | 26.1 | 347M | 54 | 450 | 24k| 17k|3733 | 0 | 16k|5999 |-3.000000e+01 |-2.900000e+01 | 3.45%| 86.72%
239.51/240.25 c 240s| 18000 | 37 |529881 | 26.1 | 360M | 54 | 450 | 24k| 17k|3744 | 1 | 17k|6053 |-3.000000e+01 |-2.900000e+01 | 3.45%| 86.73%
240.00/240.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
240.00/240.74 c 241s| 18100 | 34 |531211 | 26.1 | 360M | 54 | 450 | 25k| 0 |3762 | 0 | 17k|6086 |-3.000000e+01 |-2.900000e+01 | 3.45%| 86.73%
240.60/241.36 c 241s| 18200 | 35 |533385 | 26.0 | 360M | 54 | 450 | 25k| 0 |3772 | 0 | 17k|6132 |-3.000000e+01 |-2.900000e+01 | 3.45%| 86.75%
241.30/242.03 c 242s| 18300 | 36 |535438 | 26.0 | 360M | 54 | 450 | 25k| 17k|3790 | 1 | 18k|6207 |-3.000000e+01 |-2.900000e+01 | 3.45%| 86.75%
242.00/242.70 c 243s| 18400 | 38 |537938 | 26.0 | 360M | 54 | 450 | 25k| 0 |3812 | 0 | 18k|6256 |-3.000000e+01 |-2.900000e+01 | 3.45%| 86.75%
244.69/245.47 c 245s| 18500 | 33 |540504 | 26.0 | 360M | 54 | 450 | 25k| 17k|3881 | 1 | 18k|6280 |-3.000000e+01 |-2.900000e+01 | 3.45%| 87.20%
245.89/246.64 c 247s| 18600 | 33 |543531 | 26.0 | 360M | 54 | 450 | 25k| 17k|3907 | 0 | 18k|6290 |-3.000000e+01 |-2.900000e+01 | 3.45%| 87.35%
247.58/248.31 c 248s| 18700 | 32 |546623 | 26.1 | 360M | 54 | 450 | 25k| 0 |3942 | 0 | 18k|6305 |-3.000000e+01 |-2.900000e+01 | 3.45%| 87.65%
247.98/248.79 o -30
247.98/248.79 c * 249s| 18749 | 0 |547604 | 26.0 |strongbr| 54 | 450 | 25k| 17k|3963 | 5 | 18k|6346 |-3.000000e+01 |-3.000000e+01 | 0.00%| 100.00%
247.98/248.80 c
247.98/248.80 c SCIP Status : problem is solved [optimal solution found]
247.98/248.80 c Solving Time (sec) : 248.79
247.98/248.80 c Solving Nodes : 18749 (total of 20714 nodes in 2 runs)
247.98/248.80 c Primal Bound : -3.00000000000000e+01 (589 solutions)
247.98/248.80 c Dual Bound : -3.00000000000000e+01
247.98/248.80 c Gap : 0.00 %
248.08/248.80 s OPTIMUM FOUND
248.08/248.80 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
248.08/248.80 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
248.08/248.80 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
248.08/248.80 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
248.08/248.80 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124
248.08/248.80 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
248.08/248.80 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
248.08/248.80 v x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188
248.08/248.80 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209
248.08/248.80 v -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230
248.08/248.80 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
248.08/248.80 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272
248.08/248.80 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
248.08/248.80 v x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314
248.08/248.80 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335
248.08/248.80 v x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356
248.08/248.80 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
248.08/248.80 v -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398
248.08/248.80 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
248.08/248.80 v -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
248.08/248.80 v -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450
248.08/248.80 c SCIP Status : problem is solved [optimal solution found]
248.08/248.80 c Total Time : 248.79
248.08/248.80 c solving : 248.79
248.08/248.80 c presolving : 0.29 (included in solving)
248.08/248.80 c reading : 0.03 (included in solving)
248.08/248.80 c copying : 0.76 (32 #copies) (minimal 0.02, maximal 0.03, average 0.02)
248.08/248.80 c Original Problem :
248.08/248.80 c Problem name : HOME/instance-4432695-1721056114.opb
248.08/248.80 c Variables : 450 (450 binary, 0 integer, 0 implicit integer, 0 continuous)
248.08/248.80 c Constraints : 17827 initial, 17827 maximal
248.08/248.80 c Objective : minimize, 450 non-zeros (abs.min = 1, abs.max = 1)
248.08/248.80 c Presolved Problem :
248.08/248.80 c Problem name : t_HOME/instance-4432695-1721056114.opb
248.08/248.80 c Variables : 450 (450 binary, 0 integer, 0 implicit integer, 0 continuous)
248.08/248.80 c Constraints : 18594 initial, 25768 maximal
248.08/248.80 c Objective : minimize, 450 non-zeros (abs.min = 1, abs.max = 1)
248.08/248.80 c Nonzeros : 47414 constraint, 36756 clique table
248.08/248.80 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
248.08/248.80 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c domcol : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
248.08/248.80 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c dualsparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
248.08/248.80 c gateextraction : 0.02 0.00 3 0 0 0 0 0 0 0 0 0
248.08/248.80 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
248.08/248.80 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c milp : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
248.08/248.80 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
248.08/248.80 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
248.08/248.80 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c dualfix : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
248.08/248.80 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c probing : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
248.08/248.80 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
248.08/248.80 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
248.08/248.80 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
248.08/248.80 c knapsack : 0.00 0.00 9 0 0 0 0 0 0 0 0 10
248.08/248.80 c setppc : 0.04 0.00 12 0 0 0 0 0 0 0 0 0
248.08/248.80 c linear : 0.05 0.00 8 0 0 0 0 0 3 0 3 46
248.08/248.80 c logicor : 0.02 0.00 8 0 0 0 0 0 23 0 0 140
248.08/248.80 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
248.08/248.80 c root node : - - - 0 - - 0 - - - - -
248.08/248.80 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
248.08/248.80 c benderslp : 0 0 0 0 13469 0 0 2420 0 0 0 0 0 0 0
248.08/248.80 c integral : 0 0 0 0 13469 0 0 2420 0 4 4336 0 0 9133 24194
248.08/248.80 c knapsack : 10+ 25 11 56191 0 0 0 0 3137 10 5883 0 0 0 0
248.08/248.80 c setppc : 17954+ 17973 47 75345 1 0 0 2414 305579 735 477309 0 0 0 0
248.08/248.80 c linear : 3+ 61 0 58297 0 0 0 2 1160 460 1883 0 0 0 0
248.08/248.80 c logicor : 627+ 7732 11 41052 0 0 0 0 35819 2631 38631 0 0 0 0
248.08/248.80 c benders : 0 0 0 0 1 0 0 719 0 0 0 0 0 0 0
248.08/248.80 c fixedvar : 0 0 0 0 1 0 0 719 0 0 0 0 0 0 0
248.08/248.80 c countsols : 0 0 0 0 1 0 0 719 0 0 0 0 0 0 0
248.08/248.80 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
248.08/248.80 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
248.08/248.80 c integral : 42.11 0.00 0.00 0.00 42.11 0.00 0.00 0.01 0.00 0.00
248.08/248.80 c knapsack : 0.19 0.00 0.00 0.16 0.00 0.00 0.00 0.00 0.00 0.03
248.08/248.80 c setppc : 6.85 0.00 0.03 4.93 0.00 0.00 0.00 0.34 0.06 1.50
248.08/248.80 c linear : 0.20 0.00 0.00 0.15 0.00 0.00 0.00 0.00 0.01 0.04
248.08/248.80 c logicor : 1.58 0.00 0.00 1.31 0.00 0.00 0.00 0.00 0.04 0.22
248.08/248.80 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
248.08/248.80 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
248.08/248.80 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
248.08/248.80 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
248.08/248.80 c Propagators : #Propagate #ResProp Cutoffs DomReds
248.08/248.80 c dualfix : 3 0 0 0
248.08/248.80 c genvbounds : 0 0 0 0
248.08/248.80 c nlobbt : 0 0 0 0
248.08/248.80 c obbt : 0 0 0 0
248.08/248.80 c probing : 0 0 0 0
248.08/248.80 c pseudoobj : 63254 3 7 54
248.08/248.80 c redcost : 3756 0 0 32
248.08/248.80 c rootredcost : 5 0 0 0
248.08/248.80 c symmetry : 0 0 0 0
248.08/248.80 c vbounds : 39130 0 0 0
248.08/248.80 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
248.08/248.80 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
248.08/248.80 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
248.08/248.80 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
248.08/248.80 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
248.08/248.80 c probing : 0.06 0.00 0.06 0.00 0.00 0.00
248.08/248.80 c pseudoobj : 0.84 0.00 0.00 0.83 0.00 0.00
248.08/248.80 c redcost : 0.05 0.00 0.00 0.04 0.00 0.00
248.08/248.80 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
248.08/248.80 c symmetry : 0.03 0.00 0.01 0.02 0.00 0.01
248.08/248.80 c vbounds : 0.07 0.00 0.00 0.06 0.00 0.01
248.08/248.80 c Symmetry :
248.08/248.80 c orbitopal red. : 0 reductions applied, 0 cutoffs
248.08/248.80 c orbital reduction: 0 reductions applied, 0 cutoffs
248.08/248.80 c lexicographic red: 0 reductions applied, 0 cutoffs
248.08/248.80 c shadow tree time : 0.00 s
248.08/248.80 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
248.08/248.80 c propagation : 0.18 3826 3740 - 20127 34.7 250 18.8 - - -
248.08/248.80 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
248.08/248.80 c bound exceed. LP : 1.41 2528 1763 - 13324 59.8 27 31.9 590 46.0 3749
248.08/248.80 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
248.08/248.80 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
248.08/248.80 c applied globally : 0.80 - - 0 18374 15.0 - - 588 - -
248.08/248.80 c applied locally : - - - 0 4 80.5 - - 2 - -
248.08/248.80 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
248.08/248.80 c cut pool : 0.65 - 3012 92 - - 21969 30927 - - - - - (maximal pool size: 2934)
248.08/248.80 c aggregation : 0.60 0.00 573 47 0 0 2 3 0 0 0 0 0
248.08/248.80 c > cmir : - - - - - - - 3 0 0 0 0 -
248.08/248.80 c > flowcover : - - - - - - - 0 0 0 0 0 -
248.08/248.80 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
248.08/248.80 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c clique : 0.07 0.00 47 47 0 0 413 2211 0 907 907 0 0
248.08/248.80 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c gomory : 93.13 0.00 543 20 0 0 23011 24536 3089 1845 1817 28 0
248.08/248.80 c > gomorymi : - - - - - - - 7983 1544 116 97 19 -
248.08/248.80 c > strongcg : - - - - - - - 16553 1545 1729 1720 9 -
248.08/248.80 c impliedbounds : 0.14 0.00 573 47 0 0 0 0 0 0 0 0 0
248.08/248.80 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
248.08/248.80 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c multilinear : 0.00 0.00 682 47 0 0 0 0 0 0 0 0 0
248.08/248.80 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c rapidlearning : 0.20 0.00 0 0 0 0 0 0 0 0 0 0 0
248.08/248.80 c rlt : 0.00 0.00 264 20 0 0 0 0 0 0 0 0 0
248.08/248.80 c zerohalf : 0.74 0.00 554 31 0 0 2169 4177 537 2926 2678 248 0
248.08/248.80 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
248.08/248.80 c hybrid : 0.02 0.00 1600 47 5678 0 28875 518 0 3799
248.08/248.80 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
248.08/248.80 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
248.08/248.80 c Pricers : ExecTime SetupTime Calls Vars
248.08/248.80 c problem variables: 0.00 - 0 0
248.08/248.80 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
248.08/248.80 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
248.08/248.80 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
248.08/248.80 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
248.08/248.80 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
248.08/248.80 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
248.08/248.80 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
248.08/248.80 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
248.08/248.80 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
248.08/248.80 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
248.08/248.80 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
248.08/248.80 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
248.08/248.80 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
248.08/248.80 c random : 0.00 0.00 0 0 0 0 0 0 0 0
248.08/248.80 c relpscost : 42.09 0.00 13468 0 0 4 4336 0 9845 24194
248.08/248.80 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
248.08/248.80 c Primal Heuristics : ExecTime SetupTime Calls Found Best
248.08/248.80 c LP solutions : 0.00 - - 1 1
248.08/248.80 c relax solutions : 0.00 - - 0 0
248.08/248.80 c pseudo solutions : 0.00 - - 0 0
248.08/248.80 c strong branching : 0.22 - - 219 4
248.08/248.80 c actconsdiving : 0.00 0.00 0 0 0
248.08/248.80 c adaptivediving : 0.72 0.00 55 5 0
248.08/248.80 c alns : 0.33 0.00 5 0 0
248.08/248.80 c bound : 0.00 0.00 0 0 0
248.08/248.80 c clique : 0.03 0.00 1 1 1
248.08/248.80 c coefdiving : 0.00 0.00 0 0 0
248.08/248.80 c completesol : 0.00 0.00 0 0 0
248.08/248.80 c conflictdiving : 0.45 0.00 28 3 0
248.08/248.80 c crossover : 0.93 0.00 16 6 0
248.08/248.80 c dins : 0.00 0.00 0 0 0
248.08/248.80 c distributiondivin: 1.12 0.00 28 0 0
248.08/248.80 c dps : 0.00 0.00 0 0 0
248.08/248.80 c dualval : 0.00 0.00 0 0 0
248.08/248.80 c farkasdiving : 0.00 0.00 0 0 0
248.08/248.80 c feasjump : 0.00 0.00 0 0 0
248.08/248.80 c feaspump : 0.00 0.00 0 0 0
248.08/248.80 c fixandinfer : 0.00 0.00 0 0 0
248.08/248.80 c fracdiving : 0.45 0.00 28 3 0
248.08/248.80 c gins : 0.03 0.00 0 0 0
248.08/248.80 c guideddiving : 0.33 0.00 28 2 0
248.08/248.80 c indcoefdiving : 0.00 0.00 0 0 0
248.08/248.80 c indicator : 0.01 0.00 0 0 0
248.08/248.80 c indicatordiving : 0.00 0.00 0 0 0
248.08/248.80 c indoneopt : 0.01 0.00 0 0 0
248.08/248.80 c indrounding : 0.00 0.00 0 0 0
248.08/248.80 c indtwoopt : 0.00 0.00 0 0 0
248.08/248.80 c intdiving : 0.00 0.00 0 0 0
248.08/248.80 c intshifting : 0.00 0.00 0 0 0
248.08/248.80 c linesearchdiving : 0.33 0.00 28 2 0
248.08/248.80 c localbranching : 0.00 0.00 0 0 0
248.08/248.80 c locks : 0.01 0.00 1 1 1
248.08/248.80 c lpface : 0.01 0.00 0 0 0
248.08/248.80 c mpec : 0.00 0.00 0 0 0
248.08/248.80 c multistart : 0.00 0.00 0 0 0
248.08/248.80 c mutation : 0.00 0.00 0 0 0
248.08/248.80 c nlpdiving : 0.00 0.00 0 0 0
248.08/248.80 c objpscostdiving : 0.71 0.00 15 39 1
248.08/248.80 c octane : 0.00 0.00 0 0 0
248.08/248.80 c ofins : 0.00 0.00 0 0 0
248.08/248.80 c oneopt : 0.02 0.00 7 1 1
248.08/248.80 c padm : 0.00 0.00 0 0 0
248.08/248.80 c proximity : 0.00 0.00 0 0 0
248.08/248.80 c pscostdiving : 0.41 0.00 28 12 1
248.08/248.80 c randrounding : 0.48 0.00 1745 37 0
248.08/248.80 c rens : 0.82 0.00 2 2 0
248.08/248.80 c reoptsols : 0.00 0.00 0 0 0
248.08/248.80 c repair : 0.00 0.00 0 0 0
248.08/248.80 c rins : 0.66 0.00 9 8 0
248.08/248.80 c rootsoldiving : 0.69 0.00 15 28 0
248.08/248.80 c rounding : 0.53 0.00 1672 0 0
248.08/248.80 c scheduler : 0.00 0.00 0 0 0
248.08/248.80 c shiftandpropagate: 0.00 0.00 0 0 0
248.08/248.80 c shifting : 0.30 0.00 737 0 0
248.08/248.80 c simplerounding : 0.13 0.00 15069 23 0
248.08/248.80 c smallcard : 0.00 0.00 0 0 0
248.08/248.80 c subnlp : 0.01 0.00 0 0 0
248.08/248.80 c trivial : 0.00 0.00 4 1 1
248.08/248.80 c trivialnegation : 0.00 0.00 0 0 0
248.08/248.80 c trustregion : 0.00 0.00 0 0 0
248.08/248.80 c trysol : 0.00 0.00 0 0 0
248.08/248.80 c twoopt : 0.00 0.00 0 0 0
248.08/248.80 c undercover : 0.00 0.00 0 0 0
248.08/248.80 c vbounds : 0.04 0.00 2 1 0
248.08/248.80 c veclendiving : 0.32 0.00 28 0 0
248.08/248.80 c zeroobj : 0.00 0.00 0 0 0
248.08/248.80 c zirounding : 3.69 0.00 9701 194 0
248.08/248.80 c other solutions : - - - 0 -
248.08/248.80 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
248.08/248.80 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
248.08/248.80 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
248.08/248.80 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
248.08/248.80 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
248.08/248.80 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
248.08/248.80 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
248.08/248.80 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
248.08/248.80 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
248.08/248.80 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
248.08/248.80 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
248.08/248.80 c primal LP : 0.78 636 0 0.00 0.00 0.78 636
248.08/248.80 c dual LP : 60.98 21687 501418 23.22 8223.29 0.14 95
248.08/248.80 c lex dual LP : 0.00 0 0 0.00 -
248.08/248.80 c barrier LP : 0.00 0 0 0.00 - 0.00 0
248.08/248.80 c resolve instable : 0.00 0 0 0.00 -
248.08/248.80 c diving/probing LP: 9.29 2506 46186 18.43 4969.03
248.08/248.80 c strong branching : 20.96 6347 189868 29.91 9059.87 - - 916
248.08/248.80 c (at root node) : - 43 3943 91.70 -
248.08/248.80 c conflict analysis: 0.46 387 3749 9.69 8103.27
248.08/248.80 c B&B Tree :
248.08/248.80 c number of runs : 2
248.08/248.80 c nodes : 18749 (10615 internal, 8134 leaves)
248.08/248.80 c feasible leaves : 0
248.08/248.80 c infeas. leaves : 2013
248.08/248.80 c objective leaves : 6121
248.08/248.80 c nodes (total) : 20714 (12097 internal, 8617 leaves)
248.08/248.80 c nodes left : 0
248.08/248.80 c max depth : 54
248.08/248.80 c max depth (total): 54
248.08/248.80 c backtracks : 2852 (15.2%)
248.08/248.80 c early backtracks : 0 (0.0%)
248.08/248.80 c nodes exc. ref. : 0 (0.0%)
248.08/248.80 c delayed cutoffs : 356
248.08/248.80 c repropagations : 6379 (39771 domain reductions, 339 cutoffs)
248.08/248.80 c avg switch length: 4.00
248.08/248.80 c switching time : 7.94
248.08/248.80 c Root Node :
248.08/248.80 c First LP value : -2.25000000000000e+02
248.08/248.80 c First LP Iters : 450 (9119.65 Iter/sec)
248.08/248.80 c First LP Time : 0.05
248.08/248.80 c Final Dual Bound : -3.00000000000000e+01
248.08/248.80 c Final Root Iters : 8284
248.08/248.80 c Root LP Estimate : -2.77372395180252e+01
248.08/248.80 c Solution :
248.08/248.80 c Solutions found : 589 (11 improvements)
248.08/248.80 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
248.08/248.80 c Gap First Sol. : infinite
248.08/248.80 c Gap Last Sol. : 0.00 %
248.08/248.80 c Primal Bound : -3.00000000000000e+01 (in run 2, after 18749 nodes, 248.79 seconds, depth 20, found by <relaxation>)
248.08/248.80 c Dual Bound : -3.00000000000000e+01
248.08/248.80 c Gap : 0.00 %
248.08/248.80 c Integrals : Total Avg%
248.08/248.80 c primal-dual : 2363.70 9.50
248.08/248.80 c primal-ref : - - (not evaluated)
248.08/248.80 c dual-ref : - - (not evaluated)
248.08/248.84 c Time complete: 248.129.
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 (59322 MiB free)
memory of node 1: 64510 MiB (59996 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432695-1721056114/watcher-4432695-1721056114 -o /tmp/evaluation-result-4432695-1721056114/solver-4432695-1721056114 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721051059-830872 --watchdog 3760 pbscip -f HOME/instance-4432695-1721056114.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=834642, runsolver pid=834639
[startup+0.100098 s]*
/proc/loadavg: 4.08 4.14 4.12 5/255 834643
/proc/meminfo: memFree=122146472/131524600 swapFree=131071996/131071996
[pid=834642] ppid=834639 vsize=89600 memory=50032 CPUtime=0.09 cores=4,6
/proc/834642/stat : 834642 (pbscip) R 834639 834642 812346 0 -1 4194304 10161 0 0 0 8 1 0 0 20 0 1 0 157776781 91750400 12508 134679101440 4194304 18693293 140725357335088 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 52486144 140725357339652 140725357339751 140725357339751 140725357346766 0
/proc/834642/statm: 22400 12508 3628 3540 0 10657 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 89600 KiB
Current children cumulated memory: 50032 KiB
[startup+0.206118 s]*
/proc/loadavg: 4.08 4.14 4.12 5/255 834643
/proc/meminfo: memFree=122143224/131524600 swapFree=131071996/131071996
[pid=834642] ppid=834639 vsize=93316 memory=53260 CPUtime=0.19 cores=4,6
/proc/834642/stat : 834642 (pbscip) R 834639 834642 812346 0 -1 4194304 12380 0 0 0 18 1 0 0 20 0 1 0 157776781 95555584 13315 134679101440 4194304 18693293 140725357335088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 52486144 140725357339652 140725357339751 140725357339751 140725357346766 0
/proc/834642/statm: 23329 13315 3692 3540 0 11586 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 93316 KiB
Current children cumulated memory: 53260 KiB
[startup+0.305519 s]*
/proc/loadavg: 4.08 4.14 4.12 5/255 834643
/proc/meminfo: memFree=122119312/131524600 swapFree=131071996/131071996
[pid=834642] ppid=834639 vsize=119500 memory=78580 CPUtime=0.29 cores=4,6
/proc/834642/stat : 834642 (pbscip) R 834639 834642 812346 0 -1 4194304 18961 0 0 0 27 2 0 0 20 0 1 0 157776781 122368000 19645 134679101440 4194304 18693293 140725357335088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 52486144 140725357339652 140725357339751 140725357339751 140725357346766 0
/proc/834642/statm: 29875 19645 3916 3540 0 18132 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 119500 KiB
Current children cumulated memory: 78580 KiB
[startup+0.70021 s]
/proc/loadavg: 4.08 4.14 4.12 5/255 834643
/proc/meminfo: memFree=122110100/131524600 swapFree=131071996/131071996
[pid=834642] ppid=834639 vsize=130496 memory=87080 CPUtime=0.68 cores=4,6
/proc/834642/stat : 834642 (pbscip) R 834639 834642 812346 0 -1 4194304 21065 0 0 0 65 3 0 0 20 0 1 0 157776781 133627904 21770 134679101440 4194304 18693293 140725357335088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 52486144 140725357339652 140725357339751 140725357339751 140725357346766 0
/proc/834642/statm: 32624 21770 3932 3540 0 20881 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 130496 KiB
Current children cumulated memory: 87080 KiB
[startup+1.50022 s]
/proc/loadavg: 4.08 4.14 4.12 5/255 834643
/proc/meminfo: memFree=122109176/131524600 swapFree=131071996/131071996
[pid=834642] ppid=834639 vsize=141748 memory=90248 CPUtime=1.48 cores=4,6
/proc/834642/stat : 834642 (pbscip) R 834639 834642 812346 0 -1 4194304 21853 0 0 0 145 3 0 0 20 0 1 0 157776781 145149952 22562 134679101440 4194304 18693293 140725357335088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 52486144 140725357339652 140725357339751 140725357339751 140725357346766 0
/proc/834642/statm: 35437 22562 3932 3540 0 23694 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 141748 KiB
Current children cumulated memory: 90248 KiB
[startup+3.10527 s]
/proc/loadavg: 4.07 4.14 4.12 5/255 834643
/proc/meminfo: memFree=122095412/131524600 swapFree=131071996/131071996
[pid=834642] ppid=834639 vsize=149424 memory=92624 CPUtime=3.08 cores=4,6
/proc/834642/stat : 834642 (pbscip) R 834639 834642 812346 0 -1 4194304 22490 0 0 0 305 3 0 0 20 0 1 0 157776781 153010176 23156 134679101440 4194304 18693293 140725357335088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 52486144 140725357339652 140725357339751 140725357339751 140725357346766 0
/proc/834642/statm: 37356 23156 3932 3540 0 25613 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 149424 KiB
Current children cumulated memory: 92624 KiB
[startup+6.3002 s]
/proc/loadavg: 4.07 4.14 4.12 5/255 834643
/proc/meminfo: memFree=122063520/131524600 swapFree=131071996/131071996
[pid=834642] ppid=834639 vsize=198500 memory=122748 CPUtime=6.26 cores=4,6
/proc/834642/stat : 834642 (pbscip) R 834639 834642 812346 0 -1 4194304 29971 0 0 0 622 4 0 0 20 0 1 0 157776781 203264000 30687 134679101440 4194304 18693293 140725357335088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 52486144 140725357339652 140725357339751 140725357339751 140725357346766 0
/proc/834642/statm: 49625 30687 3979 3540 0 37882 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 198500 KiB
Current children cumulated memory: 122748 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.15 4.12 5/255 834645
/proc/meminfo: memFree=122039268/131524600 swapFree=131071996/131071996
[pid=834642] ppid=834639 vsize=213940 memory=138152 CPUtime=12.64 cores=4,6
/proc/834642/stat : 834642 (pbscip) R 834639 834642 812346 0 -1 4194304 37268 0 0 0 1259 5 0 0 20 0 1 0 157776781 219074560 34538 134679101440 4194304 18693293 140725357335088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 52486144 140725357339652 140725357339751 140725357339751 140725357346766 0
/proc/834642/statm: 53485 34538 3979 3540 0 41742 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 213940 KiB
Current children cumulated memory: 138152 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.14 4.12 5/255 834646
/proc/meminfo: memFree=122016120/131524600 swapFree=131071996/131071996
[pid=834642] ppid=834639 vsize=213940 memory=138152 CPUtime=25.41 cores=4,6
/proc/834642/stat : 834642 (pbscip) R 834639 834642 812346 0 -1 4194304 37269 0 0 0 2536 5 0 0 20 0 1 0 157776781 219074560 34538 134679101440 4194304 18693293 140725357335088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 52486144 140725357339652 140725357339751 140725357339751 140725357346766 0
/proc/834642/statm: 53485 34538 3979 3540 0 41742 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 213940 KiB
Current children cumulated memory: 138152 KiB
[startup+51.1055 s]
/proc/loadavg: 4.07 4.13 4.12 5/255 834651
/proc/meminfo: memFree=121937112/131524600 swapFree=131071996/131071996
[pid=834642] ppid=834639 vsize=277120 memory=181284 CPUtime=50.94 cores=4,6
/proc/834642/stat : 834642 (pbscip) R 834639 834642 812346 0 -1 4194304 52206 0 0 0 5086 8 0 0 20 0 1 0 157776781 283770880 45321 134679101440 4194304 18693293 140725357335088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 52486144 140725357339652 140725357339751 140725357339751 140725357346766 0
/proc/834642/statm: 69280 45321 3979 3540 0 57537 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 277120 KiB
Current children cumulated memory: 181284 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/258 834665
/proc/meminfo: memFree=121834188/131524600 swapFree=131071996/131071996
[pid=834642] ppid=834639 vsize=369020 memory=239788 CPUtime=102.01 cores=4,6
/proc/834642/stat : 834642 (pbscip) R 834639 834642 812346 0 -1 4194304 62830 0 0 0 10189 12 0 0 20 0 1 0 157776781 377876480 59947 134679101440 4194304 18693293 140725357335088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 52486144 140725357339652 140725357339751 140725357339751 140725357346766 0
/proc/834642/statm: 92255 59947 3979 3540 0 80512 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 369020 KiB
Current children cumulated memory: 239788 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/259 834677
/proc/meminfo: memFree=121604456/131524600 swapFree=131071996/131071996
[pid=834642] ppid=834639 vsize=419428 memory=290372 CPUtime=161.83 cores=4,6
/proc/834642/stat : 834642 (pbscip) R 834639 834642 812346 0 -1 4194304 77189 0 0 0 16168 15 0 0 20 0 1 0 157776781 429494272 72593 134679101440 4194304 18693293 140725357335088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 52486144 140725357339652 140725357339751 140725357339751 140725357346766 0
/proc/834642/statm: 104857 72593 4135 3540 0 93114 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 419428 KiB
Current children cumulated memory: 290372 KiB
[startup+222.3 s]
/proc/loadavg: 4.52 4.22 4.14 5/259 834688
/proc/meminfo: memFree=121530884/131524600 swapFree=131071996/131071996
[pid=834642] ppid=834639 vsize=431772 memory=301000 CPUtime=221.66 cores=4,6
/proc/834642/stat : 834642 (pbscip) R 834639 834642 812346 0 -1 4194304 79340 0 0 0 22150 16 0 0 20 0 1 0 157776781 442134528 75250 134679101440 4194304 18693293 140725357335088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 52486144 140725357339652 140725357339751 140725357339751 140725357346766 0
/proc/834642/statm: 107943 75250 4135 3540 0 96200 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 431772 KiB
Current children cumulated memory: 301000 KiB
[startup+248.85 s]
# the end of solver process 834642 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=247.956 s, system=0.184438 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.52 4.23 4.15 5/259 834689
/proc/meminfo: memFree=121521940/131524600 swapFree=131071996/131071996
[pid=834642] ppid=834639 vsize=434972 memory=303904 CPUtime=229.73 cores=4,6
/proc/834642/stat : 834642 (pbscip) R 834639 834642 812346 0 -1 4194304 80068 0 0 0 22957 16 0 0 20 0 1 0 157776781 445411328 75976 134679101440 4194304 18693293 140725357335088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 52486144 140725357339652 140725357339751 140725357339751 140725357346766 0
/proc/834642/statm: 108743 75976 4135 3540 0 97000 0
Current children cumulated CPU time: 229.73 s
Current children cumulated vsize: 434972 KiB
Current children cumulated memory: 303904 KiB
[startup+236.8 s]
/proc/loadavg: 4.48 4.22 4.14 5/259 834689
/proc/meminfo: memFree=121517316/131524600 swapFree=131071996/131071996
[pid=834642] ppid=834639 vsize=437136 memory=306544 CPUtime=236.11 cores=4,6
/proc/834642/stat : 834642 (pbscip) R 834639 834642 812346 0 -1 4194304 80697 0 0 0 23595 16 0 0 20 0 1 0 157776781 447627264 76636 134679101440 4194304 18693293 140725357335088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 52486144 140725357339652 140725357339751 140725357339751 140725357346766 0
/proc/834642/statm: 109284 76636 4135 3540 0 97541 0
Current children cumulated CPU time: 236.11 s
Current children cumulated vsize: 437136 KiB
Current children cumulated memory: 306544 KiB
[startup+243.2 s]
/proc/loadavg: 4.40 4.22 4.14 5/259 834692
/proc/meminfo: memFree=121501720/131524600 swapFree=131071996/131071996
[pid=834642] ppid=834639 vsize=450040 memory=321708 CPUtime=242.5 cores=4,6
/proc/834642/stat : 834642 (pbscip) R 834639 834642 812346 0 -1 4194304 82440 0 0 0 24233 17 0 0 20 0 1 0 157776781 460840960 80427 134679101440 4194304 18693293 140725357335088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 52486144 140725357339652 140725357339751 140725357339751 140725357346766 0
/proc/834642/statm: 112510 80427 4135 3540 0 100767 0
Current children cumulated CPU time: 242.5 s
Current children cumulated vsize: 450040 KiB
Current children cumulated memory: 321708 KiB
[startup+246.4 s]
/proc/loadavg: 4.40 4.22 4.14 5/259 834692
/proc/meminfo: memFree=121501676/131524600 swapFree=131071996/131071996
[pid=834642] ppid=834639 vsize=450040 memory=321708 CPUtime=245.69 cores=4,6
/proc/834642/stat : 834642 (pbscip) R 834639 834642 812346 0 -1 4194304 82440 0 0 0 24552 17 0 0 20 0 1 0 157776781 460840960 80427 134679101440 4194304 18693293 140725357335088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 52486144 140725357339652 140725357339751 140725357339751 140725357346766 0
/proc/834642/statm: 112510 80427 4135 3540 0 100767 0
Current children cumulated CPU time: 245.69 s
Current children cumulated vsize: 450040 KiB
Current children cumulated memory: 321708 KiB
[startup+248 s]*
/proc/loadavg: 4.37 4.21 4.14 5/259 834692
/proc/meminfo: memFree=121501452/131524600 swapFree=131071996/131071996
[pid=834642] ppid=834639 vsize=450040 memory=321708 CPUtime=247.29 cores=4,6
/proc/834642/stat : 834642 (pbscip) R 834639 834642 812346 0 -1 4194304 82440 0 0 0 24712 17 0 0 20 0 1 0 157776781 460840960 80427 134679101440 4194304 18693293 140725357335088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 52486144 140725357339652 140725357339751 140725357339751 140725357346766 0
/proc/834642/statm: 112510 80427 4135 3540 0 100767 0
Current children cumulated CPU time: 247.29 s
Current children cumulated vsize: 450040 KiB
Current children cumulated memory: 321708 KiB
[startup+248.4 s]
/proc/loadavg: 4.37 4.21 4.14 5/259 834692
/proc/meminfo: memFree=121501452/131524600 swapFree=131071996/131071996
[pid=834642] ppid=834639 vsize=450040 memory=321708 CPUtime=247.68 cores=4,6
/proc/834642/stat : 834642 (pbscip) R 834639 834642 812346 0 -1 4194304 82440 0 0 0 24751 17 0 0 20 0 1 0 157776781 460840960 80427 134679101440 4194304 18693293 140725357335088 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 52486144 140725357339652 140725357339751 140725357339751 140725357346766 0
/proc/834642/statm: 112510 80427 4135 3540 0 100767 0
Current children cumulated CPU time: 247.68 s
Current children cumulated vsize: 450040 KiB
Current children cumulated memory: 321708 KiB
[startup+248.8 s]
/proc/loadavg: 4.37 4.21 4.14 5/259 834692
/proc/meminfo: memFree=121501452/131524600 swapFree=131071996/131071996
[pid=834642] ppid=834639 vsize=450040 memory=321708 CPUtime=248.08 cores=4,6
/proc/834642/stat : 834642 (pbscip) R 834639 834642 812346 0 -1 4194304 82441 0 0 0 24791 17 0 0 20 0 1 0 157776781 460840960 80427 134679101440 4194304 18693293 140725357335088 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 52486144 140725357339652 140725357339751 140725357339751 140725357346766 0
/proc/834642/statm: 112510 80427 4135 3540 0 100767 0
Current children cumulated CPU time: 248.08 s
Current children cumulated vsize: 450040 KiB
Current children cumulated memory: 321708 KiB
Child status: 0
Real time (s): 248.85
CPU time (s): 248.14
CPU user time (s): 247.956
CPU system time (s): 0.184438
CPU usage (%): 99.7149
Max. virtual memory (cumulated for all children) (KiB): 450040
Max. memory (cumulated for all children) (KiB): 321708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.956
system time used= 0.184438
maximum resident set size= 321708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82446
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= 253
# summary of solver processes directly reported to runsolver:
# pid: 834642
# total CPU time (s): 248.14
# total CPU user time (s): 247.956
# total CPU system time (s): 0.184438
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.485651 second user time and 1.14815 second system time
The end