0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik 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-3734923-1338715326.opb>
0.00/0.00 c original problem has 51 variables (51 bin, 0 int, 0 impl, 0 cont) and 13 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 1 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 1 deleted vars, 7 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.01 c 6 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 2.0.1.5
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1797
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c 0.0s| 1 | 0 | 33 | - | 293k| 0 | 6 | 50 | 20 | 50 | 6 | 0 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 122 | - | 333k| 0 | 10 | 50 | 25 | 50 | 11 | 5 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 128 | - | 364k| 0 | 10 | 50 | 25 | 50 | 15 | 9 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 135 | - | 386k| 0 | 11 | 50 | 25 | 50 | 19 | 13 | 14 | 0 | 0.000000e+00 | -- | Inf
0.04/0.04 c 0.0s| 1 | 0 | 142 | - | 395k| 0 | 13 | 50 | 25 | 50 | 21 | 15 | 14 | 0 | 0.000000e+00 | -- | Inf
0.04/0.05 c 0.0s| 1 | 0 | 146 | - | 419k| 0 | 15 | 50 | 25 | 50 | 25 | 19 | 14 | 0 | 0.000000e+00 | -- | Inf
0.04/0.05 c 0.0s| 1 | 0 | 149 | - | 438k| 0 | 17 | 50 | 25 | 50 | 28 | 22 | 14 | 0 | 0.000000e+00 | -- | Inf
0.04/0.08 c 0.1s| 1 | 2 | 149 | - | 438k| 0 | 17 | 50 | 25 | 50 | 28 | 22 | 14 | 14 | 0.000000e+00 | -- | Inf
1.49/1.59 c 1.6s| 10000 | 3389 | 26866 | 2.7 |4053k| 43 | 6 | 50 |2990 | 50 | 17 | 22 |4804 | 594 | 0.000000e+00 | -- | Inf
2.99/3.02 c 3.0s| 20000 | 6401 | 52507 | 2.6 |6093k| 44 | - | 50 |2183 | 50 | 17 | 22 |9930 | 794 | 0.000000e+00 | -- | Inf
4.39/4.41 c 4.4s| 30000 | 9548 | 76790 | 2.6 |8264k| 44 | 6 | 50 |2229 | 50 | 17 | 22 | 14k| 905 | 0.000000e+00 | -- | Inf
5.79/5.81 c 5.8s| 40000 | 12567 |100806 | 2.5 | 10M| 45 | 6 | 50 |2603 | 50 | 17 | 22 | 20k|1010 | 0.000000e+00 | -- | Inf
7.19/7.24 c 7.2s| 50000 | 15594 |124679 | 2.5 | 12M| 45 | - | 50 |2508 | 50 | 17 | 22 | 25k|1073 | 0.000000e+00 | -- | Inf
8.59/8.68 c 8.7s| 60000 | 18398 |148219 | 2.5 | 14M| 45 | 6 | 50 |2621 | 50 | 17 | 22 | 30k|1133 | 0.000000e+00 | -- | Inf
10.09/10.16 c 10.2s| 70000 | 21133 |171842 | 2.5 | 16M| 45 | 6 | 50 |3203 | 50 | 17 | 22 | 35k|1178 | 0.000000e+00 | -- | Inf
11.59/11.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.59/11.67 c 11.7s| 80000 | 23630 |195240 | 2.4 | 18M| 45 | 6 | 50 |3299 | 50 | 17 | 22 | 40k|1227 | 0.000000e+00 | -- | Inf
13.09/13.17 c 13.2s| 90000 | 26293 |219062 | 2.4 | 20M| 45 | 6 | 50 |3501 | 50 | 17 | 22 | 46k|1274 | 0.000000e+00 | -- | Inf
14.69/14.74 c 14.7s|100000 | 28512 |241973 | 2.4 | 22M| 45 | - | 50 |3298 | 50 | 17 | 22 | 51k|1306 | 0.000000e+00 | -- | Inf
16.18/16.22 c 16.2s|110000 | 31265 |264644 | 2.4 | 24M| 45 | 6 | 50 |3001 | 50 | 17 | 22 | 57k|1317 | 0.000000e+00 | -- | Inf
17.68/17.71 c 17.7s|120000 | 33832 |287610 | 2.4 | 26M| 45 | 6 | 50 |3283 | 50 | 17 | 22 | 62k|1341 | 0.000000e+00 | -- | Inf
19.09/19.14 c 19.1s|130000 | 36774 |310051 | 2.4 | 28M| 45 | 6 | 50 |3987 | 50 | 17 | 22 | 67k|1352 | 0.000000e+00 | -- | Inf
20.59/20.66 c 20.7s|140000 | 39566 |333254 | 2.4 | 30M| 45 | 6 | 50 |3661 | 50 | 17 | 22 | 72k|1374 | 0.000000e+00 | -- | Inf
22.08/22.17 c 22.2s|150000 | 42279 |356045 | 2.4 | 32M| 45 | 6 | 50 |3398 | 50 | 17 | 22 | 77k|1388 | 0.000000e+00 | -- | Inf
23.59/23.65 c 23.6s|160000 | 45124 |378849 | 2.4 | 34M| 45 | 6 | 50 |3371 | 50 | 17 | 22 | 82k|1419 | 0.000000e+00 | -- | Inf
25.08/25.14 c 25.1s|170000 | 47865 |402290 | 2.4 | 36M| 45 | 6 | 50 |3634 | 50 | 17 | 22 | 88k|1436 | 0.000000e+00 | -- | Inf
26.59/26.64 c 26.6s|180000 | 50567 |425696 | 2.4 | 38M| 45 | 6 | 50 |3598 | 50 | 17 | 22 | 93k|1471 | 0.000000e+00 | -- | Inf
28.08/28.13 c 28.1s|190000 | 53459 |448522 | 2.4 | 40M| 45 | 6 | 50 |3470 | 50 | 17 | 22 | 98k|1507 | 0.000000e+00 | -- | Inf
29.59/29.67 c 29.7s|200000 | 56121 |471521 | 2.4 | 42M| 45 | - | 50 |3673 | 50 | 17 | 22 | 103k|1570 | 0.000000e+00 | -- | Inf
31.18/31.23 c 31.2s|210000 | 58621 |494558 | 2.4 | 44M| 45 | 6 | 50 |3073 | 50 | 17 | 22 | 109k|1578 | 0.000000e+00 | -- | Inf
32.68/32.76 c 32.8s|220000 | 61067 |517028 | 2.3 | 46M| 45 | 6 | 50 |3490 | 50 | 17 | 22 | 114k|1596 | 0.000000e+00 | -- | Inf
34.18/34.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.18/34.23 c 34.2s|230000 | 63838 |539437 | 2.3 | 48M| 45 | - | 50 |4599 | 50 | 17 | 22 | 119k|1608 | 0.000000e+00 | -- | Inf
35.68/35.78 c 35.8s|240000 | 66559 |562446 | 2.3 | 50M| 45 | - | 50 |3327 | 50 | 17 | 22 | 124k|1622 | 0.000000e+00 | -- | Inf
37.19/37.29 c 37.3s|250000 | 69212 |584939 | 2.3 | 52M| 45 | - | 50 |3461 | 50 | 17 | 22 | 130k|1653 | 0.000000e+00 | -- | Inf
38.79/38.87 c 38.9s|260000 | 71653 |608119 | 2.3 | 54M| 45 | 6 | 50 |3247 | 50 | 17 | 22 | 135k|1666 | 0.000000e+00 | -- | Inf
40.39/40.41 c 40.4s|270000 | 74149 |630967 | 2.3 | 56M| 45 | 6 | 50 |3477 | 50 | 17 | 22 | 141k|1687 | 0.000000e+00 | -- | Inf
41.88/41.91 c 41.9s|280000 | 76922 |653184 | 2.3 | 58M| 45 | - | 50 |3668 | 50 | 17 | 22 | 146k|1702 | 0.000000e+00 | -- | Inf
43.38/43.48 c 43.5s|290000 | 79483 |675874 | 2.3 | 60M| 45 | 6 | 50 |3671 | 50 | 17 | 22 | 151k|1718 | 0.000000e+00 | -- | Inf
44.99/45.04 c 45.0s|300000 | 82054 |698503 | 2.3 | 62M| 45 | 6 | 50 |4116 | 50 | 17 | 22 | 157k|1733 | 0.000000e+00 | -- | Inf
46.58/46.66 c 46.7s|310000 | 84354 |720707 | 2.3 | 64M| 45 | 6 | 50 |3920 | 50 | 17 | 22 | 162k|1758 | 0.000000e+00 | -- | Inf
48.29/48.32 c 48.3s|320000 | 86488 |743696 | 2.3 | 65M| 45 | 6 | 50 |3708 | 50 | 17 | 22 | 168k|1771 | 0.000000e+00 | -- | Inf
49.78/49.89 c 49.9s|330000 | 88929 |766509 | 2.3 | 67M| 45 | 6 | 50 |3804 | 50 | 17 | 22 | 173k|1779 | 0.000000e+00 | -- | Inf
51.38/51.44 c 51.4s|340000 | 91348 |789130 | 2.3 | 69M| 45 | 6 | 50 |3891 | 50 | 17 | 22 | 179k|1791 | 0.000000e+00 | -- | Inf
52.98/53.06 c 53.1s|350000 | 93747 |811254 | 2.3 | 71M| 45 | - | 50 |3479 | 50 | 17 | 22 | 184k|1804 | 0.000000e+00 | -- | Inf
54.58/54.64 c 54.6s|360000 | 95992 |834270 | 2.3 | 73M| 45 | 6 | 50 |3567 | 50 | 17 | 22 | 190k|1821 | 0.000000e+00 | -- | Inf
56.09/56.12 c 56.1s|370000 | 98747 |857499 | 2.3 | 75M| 45 | - | 50 |4563 | 0 | 0 | 22 | 195k|1925 | 0.000000e+00 | -- | Inf
57.68/57.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.68/57.73 c 57.7s|380000 |101071 |880394 | 2.3 | 77M| 45 | - | 50 |3912 | 50 | 17 | 22 | 201k|1926 | 0.000000e+00 | -- | Inf
59.28/59.37 c 59.4s|390000 |103211 |902761 | 2.3 | 78M| 45 | - | 50 |3753 | 0 | 0 | 22 | 206k|1935 | 0.000000e+00 | -- | Inf
60.78/60.87 c 60.9s|400000 |106043 |925631 | 2.3 | 80M| 45 | 6 | 50 |4445 | 50 | 17 | 22 | 211k|1948 | 0.000000e+00 | -- | Inf
62.48/62.54 c 62.5s|410000 |108089 |948224 | 2.3 | 82M| 45 | 6 | 50 |3803 | 50 | 17 | 22 | 217k|1978 | 0.000000e+00 | -- | Inf
64.08/64.11 c 64.1s|420000 |110528 |970892 | 2.3 | 84M| 45 | 6 | 50 |4421 | 50 | 17 | 22 | 222k|1998 | 0.000000e+00 | -- | Inf
65.58/65.63 c 65.6s|430000 |113121 |993334 | 2.3 | 86M| 45 | - | 50 |5551 | 50 | 17 | 22 | 227k|2017 | 0.000000e+00 | -- | Inf
67.18/67.27 c 67.3s|440000 |115625 | 1014k| 2.3 | 88M| 45 | - | 50 |4534 | 50 | 17 | 22 | 232k|2039 | 0.000000e+00 | -- | Inf
68.88/68.95 c 68.9s|450000 |117688 | 1037k| 2.3 | 90M| 45 | - | 50 |4068 | 50 | 17 | 22 | 238k|2061 | 0.000000e+00 | -- | Inf
70.58/70.61 c 70.6s|460000 |119923 | 1060k| 2.3 | 91M| 45 | 6 | 50 |4211 | 50 | 17 | 22 | 244k|2075 | 0.000000e+00 | -- | Inf
72.08/72.18 c 72.2s|470000 |122227 | 1082k| 2.3 | 93M| 45 | - | 50 |4554 | 50 | 17 | 22 | 249k|2096 | 0.000000e+00 | -- | Inf
73.78/73.87 c 73.9s|480000 |124336 | 1105k| 2.3 | 95M| 45 | - | 50 |4326 | 0 | 0 | 22 | 255k|2119 | 0.000000e+00 | -- | Inf
75.48/75.55 c 75.5s|490000 |126446 | 1128k| 2.3 | 97M| 45 | 6 | 50 |4164 | 50 | 17 | 22 | 260k|2134 | 0.000000e+00 | -- | Inf
77.07/77.16 c 77.2s|500000 |128803 | 1150k| 2.3 | 99M| 45 | 6 | 50 |4440 | 50 | 17 | 22 | 266k|2148 | 0.000000e+00 | -- | Inf
78.78/78.81 c 78.8s|510000 |131028 | 1173k| 2.3 | 101M| 45 | 6 | 50 |4587 | 50 | 17 | 22 | 271k|2186 | 0.000000e+00 | -- | Inf
80.38/80.43 c 80.4s|520000 |133406 | 1195k| 2.3 | 102M| 45 | 6 | 50 |3780 | 50 | 17 | 22 | 277k|2204 | 0.000000e+00 | -- | Inf
81.98/82.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.98/82.04 c 82.0s|530000 |135660 | 1217k| 2.3 | 104M| 45 | 6 | 50 |3937 | 50 | 17 | 22 | 282k|2217 | 0.000000e+00 | -- | Inf
83.58/83.66 c 83.7s|540000 |137861 | 1240k| 2.3 | 106M| 45 | 6 | 50 |4888 | 50 | 17 | 22 | 288k|2230 | 0.000000e+00 | -- | Inf
85.17/85.26 c 85.3s|550000 |140389 | 1263k| 2.3 | 108M| 45 | 6 | 50 |5184 | 50 | 17 | 22 | 293k|2246 | 0.000000e+00 | -- | Inf
86.79/86.89 c 86.9s|560000 |143176 | 1286k| 2.3 | 110M| 45 | - | 50 |4407 | 50 | 17 | 22 | 298k|2252 | 0.000000e+00 | -- | Inf
88.48/88.50 c 88.5s|570000 |145577 | 1309k| 2.3 | 112M| 45 | - | 50 |5151 | 50 | 17 | 22 | 304k|2270 | 0.000000e+00 | -- | Inf
90.18/90.23 c 90.2s|580000 |147739 | 1332k| 2.3 | 114M| 45 | - | 50 |4634 | 50 | 17 | 22 | 309k|2280 | 0.000000e+00 | -- | Inf
91.67/91.79 c 91.8s|590000 |150386 | 1354k| 2.3 | 116M| 45 | 6 | 50 |4666 | 50 | 17 | 22 | 314k|2294 | 0.000000e+00 | -- | Inf
93.18/93.27 c 93.3s|600000 |153453 | 1378k| 2.3 | 118M| 45 | 6 | 50 |6096 | 50 | 17 | 22 | 319k|2315 | 0.000000e+00 | -- | Inf
94.88/94.93 c 94.9s|610000 |155831 | 1401k| 2.3 | 120M| 45 | 6 | 50 |6165 | 50 | 17 | 22 | 324k|2329 | 0.000000e+00 | -- | Inf
96.58/96.62 c 96.6s|620000 |158245 | 1425k| 2.3 | 122M| 45 | - | 50 |6543 | 50 | 17 | 22 | 329k|2352 | 0.000000e+00 | -- | Inf
98.27/98.35 c 98.4s|630000 |160861 | 1448k| 2.3 | 124M| 45 | 6 | 50 |5787 | 50 | 17 | 22 | 334k|2369 | 0.000000e+00 | -- | Inf
99.88/99.99 c 100s|640000 |163510 | 1469k| 2.3 | 126M| 45 | 6 | 50 |5230 | 50 | 17 | 22 | 339k|2385 | 0.000000e+00 | -- | Inf
101.67/101.74 c 102s|650000 |165640 | 1492k| 2.3 | 127M| 45 | 6 | 50 |4057 | 50 | 17 | 22 | 345k|2401 | 0.000000e+00 | -- | Inf
103.18/103.25 c 103s|660000 |168597 | 1514k| 2.3 | 129M| 45 | 6 | 50 |4772 | 50 | 17 | 22 | 349k|2415 | 0.000000e+00 | -- | Inf
104.88/104.96 c 105s|670000 |170796 | 1537k| 2.3 | 131M| 45 | 6 | 50 |3955 | 50 | 17 | 22 | 355k|2434 | 0.000000e+00 | -- | Inf
106.58/106.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.58/106.68 c 107s|680000 |172854 | 1559k| 2.3 | 133M| 45 | - | 50 |3689 | 50 | 17 | 22 | 360k|2448 | 0.000000e+00 | -- | Inf
108.08/108.19 c 108s|690000 |175623 | 1581k| 2.3 | 134M| 45 | 6 | 50 |3938 | 50 | 17 | 22 | 366k|2461 | 0.000000e+00 | -- | Inf
109.57/109.68 c 110s|700000 |178603 | 1604k| 2.3 | 137M| 45 | 6 | 50 |5155 | 50 | 17 | 22 | 371k|2474 | 0.000000e+00 | -- | Inf
111.27/111.34 c 111s|710000 |181041 | 1626k| 2.3 | 139M| 45 | - | 50 |4868 | 50 | 17 | 22 | 376k|2490 | 0.000000e+00 | -- | Inf
112.87/112.93 c 113s|720000 |183574 | 1647k| 2.3 | 140M| 45 | 6 | 50 |5212 | 50 | 17 | 22 | 381k|2499 | 0.000000e+00 | -- | Inf
114.57/114.62 c 115s|730000 |185787 | 1670k| 2.3 | 142M| 45 | - | 50 |5064 | 50 | 17 | 22 | 387k|2510 | 0.000000e+00 | -- | Inf
116.27/116.36 c 116s|740000 |187923 | 1693k| 2.3 | 144M| 45 | 6 | 50 |4020 | 50 | 17 | 22 | 392k|2529 | 0.000000e+00 | -- | Inf
117.87/117.99 c 118s|750000 |190243 | 1715k| 2.3 | 146M| 45 | - | 50 |3829 | 50 | 17 | 22 | 398k|2543 | 0.000000e+00 | -- | Inf
119.47/119.54 c 120s|760000 |192857 | 1738k| 2.3 | 148M| 45 | 6 | 50 |3987 | 50 | 17 | 22 | 403k|2555 | 0.000000e+00 | -- | Inf
121.17/121.22 c 121s|770000 |194889 | 1761k| 2.3 | 149M| 45 | 6 | 50 |4173 | 50 | 17 | 22 | 408k|2569 | 0.000000e+00 | -- | Inf
122.87/122.95 c 123s|780000 |196890 | 1784k| 2.3 | 151M| 45 | - | 50 |3847 | 50 | 17 | 22 | 414k|2576 | 0.000000e+00 | -- | Inf
124.37/124.49 c 124s|790000 |199703 | 1807k| 2.3 | 153M| 45 | 6 | 50 |5012 | 50 | 17 | 22 | 419k|2587 | 0.000000e+00 | -- | Inf
126.27/126.30 c 126s|800000 |201760 | 1829k| 2.3 | 155M| 45 | 6 | 50 |3410 | 50 | 17 | 22 | 425k|2597 | 0.000000e+00 | -- | Inf
127.87/127.94 c 128s|810000 |203949 | 1851k| 2.3 | 157M| 45 | 6 | 50 |3787 | 50 | 17 | 22 | 430k|2635 | 0.000000e+00 | -- | Inf
129.47/129.56 c 130s|820000 |206225 | 1873k| 2.3 | 158M| 45 | 6 | 50 |4412 | 50 | 17 | 22 | 436k|2641 | 0.000000e+00 | -- | Inf
131.07/131.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.07/131.18 c 131s|830000 |208643 | 1895k| 2.3 | 160M| 45 | - | 50 |4681 | 50 | 17 | 22 | 441k|2656 | 0.000000e+00 | -- | Inf
132.77/132.86 c 133s|840000 |210898 | 1918k| 2.3 | 162M| 45 | 6 | 50 |3324 | 50 | 17 | 22 | 446k|2677 | 0.000000e+00 | -- | Inf
134.37/134.49 c 134s|850000 |213029 | 1940k| 2.3 | 164M| 45 | 6 | 50 |3861 | 50 | 17 | 22 | 452k|2696 | 0.000000e+00 | -- | Inf
135.97/136.05 c 136s|860000 |215340 | 1963k| 2.3 | 166M| 45 | 6 | 50 |4820 | 50 | 17 | 22 | 457k|2715 | 0.000000e+00 | -- | Inf
137.57/137.60 c 138s|870000 |218028 | 1986k| 2.3 | 168M| 45 | 6 | 50 |6256 | 50 | 17 | 22 | 462k|2735 | 0.000000e+00 | -- | Inf
139.37/139.40 c 139s|880000 |220343 | 2008k| 2.3 | 169M| 45 | - | 50 |4524 | 50 | 17 | 22 | 468k|2754 | 0.000000e+00 | -- | Inf
141.07/141.12 c 141s|890000 |222410 | 2030k| 2.3 | 171M| 45 | 6 | 50 |3499 | 50 | 17 | 22 | 473k|2772 | 0.000000e+00 | -- | Inf
142.77/142.81 c 143s|900000 |224445 | 2053k| 2.3 | 173M| 45 | - | 50 |3645 | 50 | 17 | 22 | 479k|2791 | 0.000000e+00 | -- | Inf
144.37/144.40 c 144s|910000 |226650 | 2076k| 2.3 | 175M| 45 | - | 50 |4334 | 50 | 17 | 22 | 484k|2801 | 0.000000e+00 | -- | Inf
146.07/146.15 c 146s|920000 |228697 | 2098k| 2.3 | 176M| 45 | 6 | 50 |3585 | 50 | 17 | 22 | 490k|2812 | 0.000000e+00 | -- | Inf
147.67/147.79 c 148s|930000 |230898 | 2121k| 2.3 | 178M| 45 | - | 50 |3794 | 50 | 17 | 22 | 495k|2832 | 0.000000e+00 | -- | Inf
149.36/149.44 c 149s|940000 |233113 | 2143k| 2.3 | 180M| 45 | 6 | 50 |4436 | 50 | 17 | 22 | 501k|2844 | 0.000000e+00 | -- | Inf
151.07/151.13 c 151s|950000 |235196 | 2165k| 2.3 | 182M| 45 | 6 | 50 |3448 | 50 | 17 | 22 | 506k|2862 | 0.000000e+00 | -- | Inf
152.67/152.74 c 153s|960000 |237539 | 2188k| 2.3 | 184M| 45 | - | 50 |3815 | 50 | 17 | 22 | 512k|2873 | 0.000000e+00 | -- | Inf
154.37/154.40 c 154s|970000 |239658 | 2211k| 2.3 | 185M| 45 | - | 50 |3935 | 50 | 17 | 22 | 517k|2887 | 0.000000e+00 | -- | Inf
156.08/156.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.08/156.11 c 156s|980000 |241684 | 2234k| 2.3 | 187M| 45 | 6 | 50 |3893 | 50 | 17 | 22 | 523k|2927 | 0.000000e+00 | -- | Inf
157.67/157.78 c 158s|990000 |243658 | 2256k| 2.3 | 189M| 45 | 6 | 50 |3816 | 50 | 17 | 22 | 529k|2928 | 0.000000e+00 | -- | Inf
159.37/159.44 c 159s| 1000k|245651 | 2278k| 2.3 | 191M| 45 | 6 | 50 |4044 | 50 | 17 | 22 | 534k|2947 | 0.000000e+00 | -- | Inf
160.86/160.98 c 161s| 1010k|248072 | 2300k| 2.3 | 193M| 45 | - | 50 |5489 | 50 | 17 | 22 | 540k|2961 | 0.000000e+00 | -- | Inf
162.67/162.76 c 163s| 1020k|250020 | 2322k| 2.3 | 194M| 45 | - | 50 |4027 | 50 | 17 | 22 | 545k|2980 | 0.000000e+00 | -- | Inf
164.37/164.48 c 164s| 1030k|251989 | 2345k| 2.3 | 196M| 45 | - | 50 |3830 | 50 | 17 | 22 | 551k|2995 | 0.000000e+00 | -- | Inf
166.07/166.17 c 166s| 1040k|254036 | 2368k| 2.3 | 198M| 45 | 6 | 50 |4222 | 50 | 17 | 22 | 556k|3014 | 0.000000e+00 | -- | Inf
167.86/167.92 c 168s| 1050k|255996 | 2391k| 2.3 | 199M| 45 | - | 50 |3696 | 50 | 17 | 22 | 562k|3028 | 0.000000e+00 | -- | Inf
169.47/169.56 c 170s| 1060k|258106 | 2414k| 2.3 | 201M| 45 | 6 | 50 |4616 | 50 | 17 | 22 | 568k|3050 | 0.000000e+00 | -- | Inf
171.27/171.33 c 171s| 1070k|260052 | 2437k| 2.3 | 203M| 45 | 6 | 50 |4127 | 50 | 17 | 22 | 573k|3069 | 0.000000e+00 | -- | Inf
172.86/172.99 c 173s| 1080k|262071 | 2459k| 2.3 | 205M| 45 | - | 50 |4545 | 50 | 17 | 22 | 579k|3090 | 0.000000e+00 | -- | Inf
174.67/174.74 c 175s| 1090k|263975 | 2481k| 2.3 | 207M| 45 | 6 | 50 |4505 | 50 | 17 | 22 | 585k|3108 | 0.000000e+00 | -- | Inf
176.36/176.40 c 176s| 1100k|266200 | 2503k| 2.3 | 208M| 45 | - | 50 |5001 | 0 | 0 | 22 | 590k|3127 | 0.000000e+00 | -- | Inf
178.07/178.11 c 178s| 1110k|268453 | 2526k| 2.3 | 210M| 45 | - | 50 |4936 | 50 | 17 | 22 | 595k|3148 | 0.000000e+00 | -- | Inf
179.77/179.81 c 180s| 1120k|270668 | 2547k| 2.3 | 212M| 45 | 6 | 50 |4277 | 50 | 17 | 22 | 601k|3162 | 0.000000e+00 | -- | Inf
181.27/181.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.27/181.36 c 181s| 1130k|273142 | 2570k| 2.3 | 214M| 45 | 6 | 50 |6070 | 50 | 17 | 22 | 606k|3243 | 0.000000e+00 | -- | Inf
182.96/183.09 c 183s| 1140k|275553 | 2592k| 2.3 | 216M| 45 | - | 50 |7359 | 50 | 17 | 22 | 611k|3243 | 0.000000e+00 | -- | Inf
184.96/185.06 c 185s| 1150k|277601 | 2615k| 2.3 | 217M| 45 | 6 | 50 |4577 | 50 | 17 | 22 | 616k|3243 | 0.000000e+00 | -- | Inf
186.76/186.86 c 187s| 1160k|279506 | 2637k| 2.3 | 219M| 45 | - | 50 |3861 | 50 | 17 | 22 | 622k|3252 | 0.000000e+00 | -- | Inf
188.46/188.53 c 189s| 1170k|281641 | 2659k| 2.3 | 221M| 45 | 6 | 50 |4096 | 50 | 17 | 22 | 627k|3262 | 0.000000e+00 | -- | Inf
190.16/190.24 c 190s| 1180k|283842 | 2681k| 2.3 | 222M| 45 | 6 | 50 |3569 | 50 | 17 | 22 | 633k|3268 | 0.000000e+00 | -- | Inf
191.76/191.85 c 192s| 1190k|286080 | 2703k| 2.3 | 224M| 45 | 6 | 50 |4256 | 50 | 17 | 22 | 638k|3281 | 0.000000e+00 | -- | Inf
193.47/193.56 c 194s| 1200k|288099 | 2726k| 2.3 | 226M| 45 | 6 | 50 |4120 | 50 | 17 | 22 | 644k|3290 | 0.000000e+00 | -- | Inf
195.26/195.32 c 195s| 1210k|290109 | 2748k| 2.3 | 228M| 45 | - | 50 |3698 | 50 | 17 | 22 | 650k|3303 | 0.000000e+00 | -- | Inf
196.96/197.00 c 197s| 1220k|292138 | 2771k| 2.3 | 230M| 45 | 6 | 50 |4433 | 50 | 17 | 22 | 655k|3316 | 0.000000e+00 | -- | Inf
198.66/198.75 c 199s| 1230k|294230 | 2793k| 2.3 | 231M| 45 | 6 | 50 |3645 | 50 | 17 | 22 | 661k|3317 | 0.000000e+00 | -- | Inf
200.26/200.38 c 200s| 1240k|296408 | 2816k| 2.3 | 233M| 45 | 6 | 50 |4849 | 50 | 17 | 22 | 666k|3330 | 0.000000e+00 | -- | Inf
202.06/202.17 c 202s| 1250k|298380 | 2838k| 2.3 | 235M| 45 | 6 | 50 |4114 | 50 | 17 | 22 | 672k|3340 | 0.000000e+00 | -- | Inf
203.66/203.78 c 204s| 1260k|300889 | 2861k| 2.3 | 237M| 45 | - | 50 |5449 | 50 | 17 | 22 | 677k|3350 | 0.000000e+00 | -- | Inf
205.36/205.42 c 205s| 1270k|303372 | 2882k| 2.3 | 239M| 45 | - | 50 |5565 | 50 | 17 | 22 | 682k|3362 | 0.000000e+00 | -- | Inf
207.06/207.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.06/207.18 c 207s| 1280k|305512 | 2905k| 2.3 | 240M| 45 | 6 | 50 |5187 | 50 | 17 | 22 | 687k|3379 | 0.000000e+00 | -- | Inf
208.87/208.93 c 209s| 1290k|307704 | 2928k| 2.3 | 242M| 45 | 6 | 50 |4708 | 50 | 17 | 22 | 693k|3391 | 0.000000e+00 | -- | Inf
210.55/210.68 c 211s| 1300k|309757 | 2951k| 2.3 | 244M| 45 | 6 | 50 |4495 | 50 | 17 | 22 | 698k|3402 | 0.000000e+00 | -- | Inf
212.27/212.39 c 212s| 1310k|311797 | 2973k| 2.3 | 246M| 45 | 6 | 50 |4657 | 50 | 17 | 22 | 704k|3413 | 0.000000e+00 | -- | Inf
214.06/214.18 c 214s| 1320k|313684 | 2996k| 2.3 | 247M| 45 | 6 | 50 |4050 | 50 | 17 | 22 | 710k|3427 | 0.000000e+00 | -- | Inf
215.76/215.89 c 216s| 1330k|315733 | 3019k| 2.3 | 249M| 45 | 6 | 50 |3944 | 50 | 17 | 22 | 715k|3443 | 0.000000e+00 | -- | Inf
217.45/217.52 c 218s| 1340k|317848 | 3041k| 2.3 | 251M| 45 | 6 | 50 |4741 | 50 | 17 | 22 | 721k|3455 | 0.000000e+00 | -- | Inf
219.06/219.19 c 219s| 1350k|320222 | 3063k| 2.3 | 253M| 45 | - | 50 |4432 | 50 | 17 | 22 | 726k|3465 | 0.000000e+00 | -- | Inf
220.76/220.81 c 221s| 1360k|322564 | 3085k| 2.3 | 254M| 45 | 6 | 50 |5068 | 50 | 17 | 22 | 731k|3484 | 0.000000e+00 | -- | Inf
222.45/222.55 c 223s| 1370k|324630 | 3108k| 2.3 | 256M| 45 | 6 | 50 |4593 | 50 | 17 | 22 | 737k|3503 | 0.000000e+00 | -- | Inf
224.16/224.26 c 224s| 1380k|326746 | 3131k| 2.3 | 258M| 45 | - | 50 |4608 | 0 | 0 | 22 | 742k|3523 | 0.000000e+00 | -- | Inf
225.85/225.99 c 226s| 1390k|328723 | 3153k| 2.3 | 260M| 45 | 6 | 50 |4678 | 50 | 17 | 22 | 748k|3539 | 0.000000e+00 | -- | Inf
227.66/227.76 c 228s| 1400k|330758 | 3176k| 2.3 | 261M| 45 | 6 | 50 |4387 | 50 | 17 | 22 | 753k|3571 | 0.000000e+00 | -- | Inf
229.46/229.51 c 230s| 1410k|332739 | 3199k| 2.3 | 263M| 45 | 6 | 50 |4535 | 50 | 17 | 22 | 759k|3578 | 0.000000e+00 | -- | Inf
231.25/231.30 c 231s| 1420k|334632 | 3221k| 2.3 | 265M| 45 | - | 50 |3892 | 50 | 17 | 22 | 764k|3611 | 0.000000e+00 | -- | Inf
232.85/232.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
232.85/232.93 c 233s| 1430k|336882 | 3243k| 2.3 | 266M| 45 | - | 50 |4492 | 50 | 17 | 22 | 770k|3613 | 0.000000e+00 | -- | Inf
234.65/234.70 c 235s| 1440k|339041 | 3266k| 2.3 | 268M| 45 | 6 | 50 |4329 | 50 | 17 | 22 | 775k|3623 | 0.000000e+00 | -- | Inf
236.36/236.46 c 236s| 1450k|340889 | 3288k| 2.3 | 270M| 45 | 6 | 50 |4114 | 50 | 17 | 22 | 781k|3640 | 0.000000e+00 | -- | Inf
238.06/238.13 c 238s| 1460k|342923 | 3311k| 2.3 | 272M| 45 | 6 | 50 |5136 | 50 | 17 | 22 | 787k|3656 | 0.000000e+00 | -- | Inf
239.76/239.89 c 240s| 1470k|344941 | 3334k| 2.3 | 274M| 45 | - | 50 |5088 | 50 | 17 | 22 | 792k|3669 | 0.000000e+00 | -- | Inf
241.65/241.71 c 242s| 1480k|346983 | 3357k| 2.3 | 275M| 45 | - | 50 |4671 | 50 | 17 | 22 | 798k|3688 | 0.000000e+00 | -- | Inf
243.36/243.46 c 243s| 1490k|348830 | 3379k| 2.3 | 277M| 45 | 6 | 50 |5270 | 50 | 17 | 22 | 803k|3697 | 0.000000e+00 | -- | Inf
245.25/245.33 c 245s| 1500k|350670 | 3401k| 2.3 | 278M| 45 | - | 50 |4325 | 50 | 17 | 22 | 809k|3715 | 0.000000e+00 | -- | Inf
246.85/246.95 c 247s| 1510k|353038 | 3425k| 2.3 | 280M| 45 | 6 | 50 |4314 | 50 | 17 | 22 | 815k|3721 | 0.000000e+00 | -- | Inf
248.46/248.51 c 249s| 1520k|355681 | 3447k| 2.3 | 282M| 45 | - | 50 |5689 | 50 | 17 | 22 | 820k|3735 | 0.000000e+00 | -- | Inf
250.06/250.17 c 250s| 1530k|358682 | 3468k| 2.3 | 285M| 45 | 6 | 50 |6712 | 50 | 17 | 22 | 824k|3744 | 0.000000e+00 | -- | Inf
252.06/252.15 c 252s| 1540k|360699 | 3491k| 2.3 | 286M| 45 | 6 | 50 |4782 | 50 | 17 | 22 | 830k|3766 | 0.000000e+00 | -- | Inf
253.75/253.87 c 254s| 1550k|362967 | 3513k| 2.3 | 288M| 45 | - | 50 |5176 | 50 | 17 | 22 | 835k|3779 | 0.000000e+00 | -- | Inf
255.66/255.71 c 256s| 1560k|364752 | 3536k| 2.3 | 290M| 45 | - | 50 |5687 | 50 | 17 | 22 | 841k|3790 | 0.000000e+00 | -- | Inf
257.55/257.66 c 258s| 1570k|366583 | 3558k| 2.3 | 291M| 45 | - | 50 |4265 | 50 | 17 | 22 | 847k|3804 | 0.000000e+00 | -- | Inf
259.35/259.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
259.35/259.40 c 259s| 1580k|368895 | 3581k| 2.3 | 293M| 45 | - | 50 |4357 | 50 | 17 | 22 | 852k|3824 | 0.000000e+00 | -- | Inf
261.05/261.16 c 261s| 1590k|370909 | 3603k| 2.3 | 295M| 45 | - | 50 |5434 | 50 | 17 | 22 | 858k|3834 | 0.000000e+00 | -- | Inf
262.86/262.99 c 263s| 1600k|373021 | 3626k| 2.3 | 296M| 45 | 6 | 50 |5191 | 50 | 17 | 22 | 864k|3847 | 0.000000e+00 | -- | Inf
264.75/264.81 c 265s| 1610k|375213 | 3649k| 2.3 | 298M| 45 | - | 50 |5239 | 50 | 17 | 22 | 869k|3863 | 0.000000e+00 | -- | Inf
266.65/266.76 c 267s| 1620k|376897 | 3672k| 2.3 | 300M| 45 | 6 | 50 |4191 | 50 | 17 | 22 | 875k|3875 | 0.000000e+00 | -- | Inf
268.35/268.45 c 268s| 1630k|379221 | 3694k| 2.3 | 302M| 45 | - | 50 |5098 | 50 | 17 | 22 | 880k|3886 | 0.000000e+00 | -- | Inf
270.15/270.23 c 270s| 1640k|381267 | 3716k| 2.3 | 303M| 45 | - | 50 |4856 | 50 | 17 | 22 | 886k|3901 | 0.000000e+00 | -- | Inf
271.85/271.94 c 272s| 1650k|383359 | 3739k| 2.3 | 305M| 45 | - | 50 |5500 | 50 | 17 | 22 | 891k|3912 | 0.000000e+00 | -- | Inf
273.65/273.76 c 274s| 1660k|385500 | 3762k| 2.3 | 307M| 45 | - | 50 |5474 | 50 | 17 | 22 | 897k|3917 | 0.000000e+00 | -- | Inf
275.45/275.58 c 276s| 1670k|387525 | 3785k| 2.3 | 309M| 45 | 6 | 50 |5293 | 50 | 17 | 22 | 902k|3925 | 0.000000e+00 | -- | Inf
277.35/277.41 c 277s| 1680k|389540 | 3807k| 2.3 | 311M| 45 | - | 50 |5820 | 50 | 17 | 22 | 908k|3933 | 0.000000e+00 | -- | Inf
279.26/279.32 c 279s| 1690k|391488 | 3829k| 2.3 | 312M| 45 | 6 | 50 |5934 | 50 | 17 | 22 | 913k|3940 | 0.000000e+00 | -- | Inf
281.05/281.17 c 281s| 1700k|393490 | 3852k| 2.3 | 314M| 45 | 6 | 50 |5557 | 50 | 17 | 22 | 919k|3954 | 0.000000e+00 | -- | Inf
282.94/283.08 c 283s| 1710k|395301 | 3875k| 2.3 | 315M| 45 | - | 50 |5225 | 50 | 17 | 22 | 925k|3976 | 0.000000e+00 | -- | Inf
284.85/284.95 c 285s| 1720k|397099 | 3898k| 2.3 | 317M| 45 | - | 50 |4950 | 50 | 17 | 22 | 931k|3986 | 0.000000e+00 | -- | Inf
286.74/286.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
286.74/286.84 c 287s| 1730k|398960 | 3921k| 2.3 | 318M| 45 | - | 50 |3854 | 0 | 0 | 22 | 936k|3994 | 0.000000e+00 | -- | Inf
288.45/288.54 c 289s| 1740k|401032 | 3943k| 2.3 | 320M| 45 | 6 | 50 |4388 | 50 | 17 | 22 | 942k|4013 | 0.000000e+00 | -- | Inf
290.25/290.34 c 290s| 1750k|402792 | 3965k| 2.3 | 322M| 45 | 6 | 50 |4141 | 50 | 17 | 22 | 948k|4021 | 0.000000e+00 | -- | Inf
291.94/292.09 c 292s| 1760k|404694 | 3988k| 2.3 | 324M| 45 | 6 | 50 |4418 | 50 | 17 | 22 | 953k|4035 | 0.000000e+00 | -- | Inf
293.84/293.90 c 294s| 1770k|406460 | 4011k| 2.3 | 325M| 45 | 6 | 50 |4784 | 50 | 17 | 22 | 959k|4041 | 0.000000e+00 | -- | Inf
295.65/295.75 c 296s| 1780k|408473 | 4033k| 2.3 | 327M| 45 | 6 | 50 |4568 | 50 | 17 | 22 | 965k|4053 | 0.000000e+00 | -- | Inf
297.25/297.39 c 297s| 1790k|410689 | 4055k| 2.3 | 329M| 45 | 6 | 50 |5839 | 50 | 17 | 22 | 970k|4058 | 0.000000e+00 | -- | Inf
299.05/299.16 c 299s| 1800k|412707 | 4077k| 2.3 | 331M| 45 | - | 50 |5164 | 50 | 17 | 22 | 975k|4066 | 0.000000e+00 | -- | Inf
300.94/301.02 c 301s| 1810k|414681 | 4099k| 2.3 | 332M| 45 | - | 50 |4754 | 50 | 17 | 22 | 981k|4076 | 0.000000e+00 | -- | Inf
302.75/302.89 c 303s| 1820k|416598 | 4122k| 2.3 | 334M| 45 | 6 | 50 |4687 | 50 | 17 | 22 | 987k|4090 | 0.000000e+00 | -- | Inf
304.74/304.80 c 305s| 1830k|418245 | 4145k| 2.3 | 335M| 45 | - | 50 |4384 | 50 | 17 | 22 | 992k|4106 | 0.000000e+00 | -- | Inf
306.34/306.46 c 306s| 1840k|420855 | 4167k| 2.3 | 337M| 45 | 6 | 50 |4958 | 50 | 17 | 22 | 997k|4113 | 0.000000e+00 | -- | Inf
307.95/308.05 c 308s| 1850k|423759 | 4189k| 2.3 | 340M| 45 | - | 50 |5812 | 0 | 0 | 22 |1002k|4123 | 0.000000e+00 | -- | Inf
309.75/309.82 c 310s| 1860k|426025 | 4211k| 2.3 | 341M| 45 | - | 50 |6302 | 0 | 0 | 22 |1007k|4136 | 0.000000e+00 | -- | Inf
311.64/311.70 c 312s| 1870k|428260 | 4233k| 2.3 | 343M| 45 | 6 | 50 |6386 | 50 | 17 | 22 |1012k|4144 | 0.000000e+00 | -- | Inf
313.54/313.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
313.54/313.64 c 314s| 1880k|430342 | 4255k| 2.3 | 345M| 45 | - | 50 |5545 | 50 | 17 | 22 |1018k|4152 | 0.000000e+00 | -- | Inf
315.24/315.38 c 315s| 1890k|432507 | 4276k| 2.3 | 347M| 45 | - | 50 |7145 | 50 | 17 | 22 |1023k|4164 | 0.000000e+00 | -- | Inf
317.15/317.22 c 317s| 1900k|435016 | 4299k| 2.3 | 349M| 45 | 6 | 50 |7015 | 50 | 17 | 22 |1028k|4175 | 0.000000e+00 | -- | Inf
319.14/319.23 c 319s| 1910k|436898 | 4321k| 2.3 | 350M| 45 | 6 | 50 |5847 | 50 | 17 | 22 |1033k|4186 | 0.000000e+00 | -- | Inf
321.15/321.24 c 321s| 1920k|438897 | 4343k| 2.3 | 351M| 45 | - | 50 |4788 | 50 | 17 | 22 |1039k|4203 | 0.000000e+00 | -- | Inf
323.04/323.18 c 323s| 1930k|440730 | 4366k| 2.3 | 353M| 45 | - | 50 |4565 | 50 | 17 | 22 |1044k|4212 | 0.000000e+00 | -- | Inf
324.84/324.98 c 325s| 1940k|442818 | 4388k| 2.3 | 355M| 45 | 6 | 50 |4956 | 50 | 17 | 22 |1050k|4226 | 0.000000e+00 | -- | Inf
326.55/326.62 c 327s| 1950k|445706 | 4412k| 2.3 | 357M| 45 | - | 50 |6615 | 50 | 17 | 22 |1055k|4240 | 0.000000e+00 | -- | Inf
328.34/328.45 c 328s| 1960k|448061 | 4435k| 2.3 | 359M| 45 | 6 | 50 |7506 | 50 | 17 | 22 |1060k|4255 | 0.000000e+00 | -- | Inf
330.34/330.42 c 330s| 1970k|450304 | 4458k| 2.3 | 361M| 45 | - | 50 |7378 | 50 | 17 | 22 |1065k|4263 | 0.000000e+00 | -- | Inf
332.24/332.38 c 332s| 1980k|452494 | 4480k| 2.3 | 362M| 45 | - | 50 |6313 | 50 | 17 | 22 |1070k|4274 | 0.000000e+00 | -- | Inf
334.25/334.39 c 334s| 1990k|454475 | 4503k| 2.3 | 364M| 45 | - | 50 |5264 | 50 | 17 | 22 |1076k|4287 | 0.000000e+00 | -- | Inf
336.14/336.25 c 336s| 2000k|456552 | 4526k| 2.3 | 366M| 45 | - | 50 |5653 | 50 | 17 | 22 |1081k|4295 | 0.000000e+00 | -- | Inf
338.04/338.15 c 338s| 2010k|458584 | 4548k| 2.3 | 367M| 45 | 6 | 50 |4923 | 50 | 17 | 22 |1086k|4306 | 0.000000e+00 | -- | Inf
339.94/340.05 c 340s| 2020k|460312 | 4571k| 2.3 | 369M| 45 | 6 | 50 |4905 | 50 | 17 | 22 |1092k|4320 | 0.000000e+00 | -- | Inf
341.74/341.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
341.74/341.87 c 342s| 2030k|462284 | 4594k| 2.3 | 370M| 45 | - | 50 |5099 | 50 | 17 | 22 |1098k|4333 | 0.000000e+00 | -- | Inf
343.54/343.68 c 344s| 2040k|464434 | 4617k| 2.3 | 372M| 45 | - | 50 |4999 | 50 | 17 | 22 |1103k|4347 | 0.000000e+00 | -- | Inf
345.44/345.51 c 346s| 2050k|466273 | 4639k| 2.3 | 374M| 45 | - | 50 |5054 | 0 | 0 | 22 |1109k|4359 | 0.000000e+00 | -- | Inf
347.23/347.31 c 347s| 2060k|468255 | 4661k| 2.3 | 376M| 45 | - | 50 |5431 | 50 | 17 | 22 |1114k|4371 | 0.000000e+00 | -- | Inf
349.04/349.20 c 349s| 2070k|470340 | 4684k| 2.3 | 377M| 45 | - | 50 |6247 | 50 | 17 | 22 |1120k|4382 | 0.000000e+00 | -- | Inf
351.04/351.17 c 351s| 2080k|472206 | 4707k| 2.3 | 379M| 45 | 6 | 50 |5052 | 50 | 17 | 22 |1125k|4397 | 0.000000e+00 | -- | Inf
353.04/353.11 c 353s| 2090k|473992 | 4729k| 2.3 | 380M| 45 | 6 | 50 |4292 | 50 | 17 | 22 |1131k|4412 | 0.000000e+00 | -- | Inf
354.84/354.96 c 355s| 2100k|475769 | 4752k| 2.3 | 382M| 45 | 6 | 50 |4407 | 50 | 17 | 22 |1137k|4423 | 0.000000e+00 | -- | Inf
356.73/356.81 c 357s| 2110k|477626 | 4774k| 2.3 | 383M| 45 | 6 | 50 |4878 | 50 | 17 | 22 |1142k|4431 | 0.000000e+00 | -- | Inf
358.54/358.65 c 359s| 2120k|479613 | 4796k| 2.3 | 385M| 45 | - | 50 |5262 | 50 | 17 | 22 |1148k|4445 | 0.000000e+00 | -- | Inf
360.44/360.53 c 361s| 2130k|481426 | 4819k| 2.3 | 387M| 45 | - | 50 |5451 | 50 | 17 | 22 |1154k|4456 | 0.000000e+00 | -- | Inf
362.23/362.37 c 362s| 2140k|483383 | 4841k| 2.3 | 389M| 45 | 6 | 50 |4926 | 50 | 17 | 22 |1159k|4475 | 0.000000e+00 | -- | Inf
364.13/364.29 c 364s| 2150k|485136 | 4864k| 2.3 | 390M| 45 | 6 | 50 |4661 | 50 | 17 | 22 |1165k|4485 | 0.000000e+00 | -- | Inf
366.03/366.20 c 366s| 2160k|486879 | 4886k| 2.3 | 392M| 45 | 6 | 50 |4521 | 50 | 17 | 22 |1171k|4500 | 0.000000e+00 | -- | Inf
367.94/368.03 c 368s| 2170k|488843 | 4909k| 2.3 | 394M| 45 | 6 | 50 |4964 | 50 | 17 | 22 |1177k|4510 | 0.000000e+00 | -- | Inf
369.74/369.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
369.74/369.89 c 370s| 2180k|490666 | 4932k| 2.3 | 395M| 45 | 6 | 50 |4985 | 50 | 17 | 22 |1182k|4519 | 0.000000e+00 | -- | Inf
371.64/371.76 c 372s| 2190k|492551 | 4955k| 2.3 | 397M| 45 | 6 | 50 |5716 | 50 | 17 | 22 |1188k|4531 | 0.000000e+00 | -- | Inf
373.54/373.63 c 374s| 2200k|494648 | 4977k| 2.3 | 399M| 45 | 6 | 50 |6239 | 50 | 17 | 22 |1193k|4543 | 0.000000e+00 | -- | Inf
375.53/375.64 c 376s| 2210k|496327 | 4999k| 2.3 | 400M| 45 | - | 50 |4614 | 50 | 17 | 22 |1199k|4551 | 0.000000e+00 | -- | Inf
377.24/377.38 c 377s| 2220k|498293 | 5022k| 2.3 | 402M| 45 | 6 | 50 |5028 | 50 | 17 | 22 |1204k|4563 | 0.000000e+00 | -- | Inf
379.23/379.34 c 379s| 2230k|500035 | 5045k| 2.3 | 403M| 45 | 6 | 50 |4672 | 50 | 17 | 22 |1210k|4576 | 0.000000e+00 | -- | Inf
381.14/381.24 c 381s| 2240k|501955 | 5067k| 2.3 | 405M| 45 | 6 | 50 |4876 | 50 | 17 | 22 |1216k|4585 | 0.000000e+00 | -- | Inf
383.02/383.14 c 383s| 2250k|503751 | 5090k| 2.3 | 407M| 45 | 6 | 50 |5247 | 50 | 17 | 22 |1221k|4596 | 0.000000e+00 | -- | Inf
384.84/384.94 c 385s| 2260k|505812 | 5113k| 2.3 | 409M| 45 | 6 | 50 |5638 | 50 | 17 | 22 |1227k|4608 | 0.000000e+00 | -- | Inf
386.63/386.77 c 387s| 2270k|507859 | 5136k| 2.3 | 410M| 45 | 6 | 50 |4739 | 50 | 17 | 22 |1232k|4621 | 0.000000e+00 | -- | Inf
388.52/388.61 c 389s| 2280k|509712 | 5160k| 2.3 | 412M| 45 | 6 | 50 |4605 | 50 | 17 | 22 |1238k|4632 | 0.000000e+00 | -- | Inf
390.33/390.41 c 390s| 2290k|511946 | 5182k| 2.3 | 413M| 45 | 6 | 50 |4374 | 50 | 17 | 22 |1243k|4641 | 0.000000e+00 | -- | Inf
392.02/392.12 c 392s| 2300k|514208 | 5205k| 2.3 | 415M| 45 | 6 | 50 |5353 | 50 | 17 | 22 |1248k|4649 | 0.000000e+00 | -- | Inf
393.82/393.98 c 394s| 2310k|515963 | 5228k| 2.3 | 417M| 45 | 6 | 50 |5713 | 50 | 17 | 22 |1254k|4663 | 0.000000e+00 | -- | Inf
395.71/395.81 c 396s| 2320k|518029 | 5250k| 2.3 | 419M| 45 | 6 | 50 |5399 | 50 | 17 | 22 |1259k|4672 | 0.000000e+00 | -- | Inf
397.52/397.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
397.52/397.63 c 398s| 2330k|520003 | 5274k| 2.3 | 421M| 45 | 6 | 50 |6000 | 50 | 17 | 22 |1265k|4683 | 0.000000e+00 | -- | Inf
399.41/399.51 c 400s| 2340k|522225 | 5297k| 2.3 | 422M| 45 | 6 | 50 |5664 | 50 | 17 | 22 |1270k|4694 | 0.000000e+00 | -- | Inf
401.02/401.12 c 401s| 2350k|525591 | 5320k| 2.3 | 425M| 45 | - | 50 |7184 | 50 | 17 | 22 |1275k|4702 | 0.000000e+00 | -- | Inf
402.91/403.07 c 403s| 2360k|527872 | 5342k| 2.3 | 427M| 45 | 6 | 50 |7498 | 50 | 17 | 22 |1280k|4710 | 0.000000e+00 | -- | Inf
404.91/405.07 c 405s| 2370k|530036 | 5365k| 2.3 | 429M| 45 | 6 | 50 |8268 | 50 | 17 | 22 |1285k|4720 | 0.000000e+00 | -- | Inf
407.01/407.16 c 407s| 2380k|532206 | 5387k| 2.3 | 430M| 45 | - | 50 |8343 | 50 | 17 | 22 |1290k|4734 | 0.000000e+00 | -- | Inf
409.02/409.16 c 409s| 2390k|534623 | 5410k| 2.3 | 432M| 45 | - | 50 |9277 | 50 | 17 | 22 |1295k|4742 | 0.000000e+00 | -- | Inf
411.21/411.34 c 411s| 2400k|536898 | 5433k| 2.3 | 434M| 45 | - | 50 |9050 | 50 | 17 | 22 |1300k|4751 | 0.000000e+00 | -- | Inf
413.42/413.52 c 414s| 2410k|539144 | 5455k| 2.3 | 435M| 45 | 6 | 50 |6852 | 50 | 17 | 22 |1306k|4757 | 0.000000e+00 | -- | Inf
415.30/415.46 c 415s| 2420k|541218 | 5477k| 2.3 | 437M| 45 | 6 | 50 |5931 | 50 | 17 | 22 |1311k|4767 | 0.000000e+00 | -- | Inf
417.31/417.48 c 417s| 2430k|542930 | 5501k| 2.3 | 438M| 45 | 6 | 50 |5169 | 50 | 17 | 22 |1317k|4777 | 0.000000e+00 | -- | Inf
419.20/419.34 c 419s| 2440k|544975 | 5523k| 2.3 | 440M| 45 | 6 | 50 |5268 | 50 | 17 | 22 |1322k|4789 | 0.000000e+00 | -- | Inf
421.01/421.13 c 421s| 2450k|546887 | 5547k| 2.3 | 442M| 45 | 6 | 50 |6451 | 50 | 17 | 22 |1328k|4800 | 0.000000e+00 | -- | Inf
423.11/423.21 c 423s| 2460k|548576 | 5569k| 2.3 | 443M| 45 | - | 50 |4795 | 50 | 17 | 22 |1334k|4811 | 0.000000e+00 | -- | Inf
425.00/425.10 c 425s| 2470k|550375 | 5592k| 2.3 | 445M| 45 | 6 | 50 |4648 | 50 | 17 | 22 |1339k|4827 | 0.000000e+00 | -- | Inf
426.71/426.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
426.71/426.87 c 427s| 2480k|552489 | 5614k| 2.3 | 447M| 45 | 6 | 50 |5543 | 50 | 17 | 22 |1345k|4839 | 0.000000e+00 | -- | Inf
428.70/428.86 c 429s| 2490k|554285 | 5636k| 2.3 | 448M| 45 | 6 | 50 |5087 | 50 | 17 | 22 |1350k|4849 | 0.000000e+00 | -- | Inf
430.51/430.67 c 431s| 2500k|556109 | 5659k| 2.3 | 450M| 45 | - | 50 |6082 | 0 | 0 | 22 |1356k|4860 | 0.000000e+00 | -- | Inf
432.41/432.59 c 433s| 2510k|557909 | 5681k| 2.3 | 452M| 45 | 6 | 50 |6275 | 50 | 17 | 22 |1362k|4870 | 0.000000e+00 | -- | Inf
434.51/434.62 c 435s| 2520k|559703 | 5704k| 2.3 | 453M| 45 | 6 | 50 |5213 | 50 | 17 | 22 |1367k|4898 | 0.000000e+00 | -- | Inf
436.40/436.50 c 437s| 2530k|561478 | 5726k| 2.3 | 455M| 45 | 6 | 50 |5661 | 50 | 17 | 22 |1373k|4898 | 0.000000e+00 | -- | Inf
438.30/438.43 c 438s| 2540k|563295 | 5749k| 2.3 | 456M| 45 | - | 50 |5464 | 50 | 17 | 22 |1379k|4905 | 0.000000e+00 | -- | Inf
440.10/440.26 c 440s| 2550k|565426 | 5772k| 2.3 | 458M| 45 | - | 50 |6032 | 0 | 0 | 22 |1384k|4913 | 0.000000e+00 | -- | Inf
442.00/442.16 c 442s| 2560k|567345 | 5795k| 2.3 | 460M| 45 | 6 | 50 |6079 | 50 | 17 | 22 |1389k|4921 | 0.000000e+00 | -- | Inf
444.00/444.14 c 444s| 2570k|569188 | 5817k| 2.3 | 461M| 45 | 6 | 50 |5501 | 50 | 17 | 22 |1395k|4930 | 0.000000e+00 | -- | Inf
445.99/446.11 c 446s| 2580k|570708 | 5840k| 2.3 | 463M| 45 | 6 | 50 |5284 | 50 | 17 | 22 |1401k|4937 | 0.000000e+00 | -- | Inf
447.79/447.97 c 448s| 2590k|572448 | 5862k| 2.3 | 464M| 45 | 6 | 50 |5723 | 50 | 17 | 22 |1407k|4946 | 0.000000e+00 | -- | Inf
449.60/449.71 c 450s| 2600k|574516 | 5884k| 2.3 | 466M| 45 | 6 | 50 |7106 | 50 | 17 | 22 |1412k|4949 | 0.000000e+00 | -- | Inf
451.60/451.75 c 452s| 2610k|576288 | 5907k| 2.3 | 468M| 45 | 6 | 50 |5609 | 50 | 17 | 22 |1418k|4967 | 0.000000e+00 | -- | Inf
453.59/453.75 c 454s| 2620k|578036 | 5930k| 2.3 | 469M| 45 | 6 | 50 |4916 | 50 | 17 | 22 |1424k|4979 | 0.000000e+00 | -- | Inf
455.39/455.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
455.39/455.58 c 456s| 2630k|579932 | 5952k| 2.3 | 471M| 45 | - | 50 |5684 | 50 | 17 | 22 |1429k|4991 | 0.000000e+00 | -- | Inf
457.39/457.52 c 458s| 2640k|581514 | 5974k| 2.3 | 473M| 45 | - | 50 |5566 | 50 | 17 | 22 |1435k|5004 | 0.000000e+00 | -- | Inf
459.19/459.39 c 459s| 2650k|583429 | 5996k| 2.3 | 474M| 45 | 6 | 50 |6019 | 50 | 17 | 22 |1440k|5009 | 0.000000e+00 | -- | Inf
461.29/461.46 c 461s| 2660k|585006 | 6019k| 2.3 | 476M| 45 | 6 | 50 |4633 | 50 | 17 | 22 |1446k|5018 | 0.000000e+00 | -- | Inf
463.09/463.23 c 463s| 2670k|586944 | 6041k| 2.3 | 478M| 45 | - | 50 |6205 | 50 | 17 | 22 |1452k|5027 | 0.000000e+00 | -- | Inf
464.99/465.11 c 465s| 2680k|588783 | 6063k| 2.3 | 479M| 45 | 6 | 50 |6063 | 50 | 17 | 22 |1457k|5034 | 0.000000e+00 | -- | Inf
466.78/466.99 c 467s| 2690k|590595 | 6086k| 2.3 | 481M| 45 | - | 50 |6601 | 50 | 17 | 22 |1463k|5042 | 0.000000e+00 | -- | Inf
468.68/468.86 c 469s| 2700k|592428 | 6108k| 2.3 | 483M| 45 | 6 | 50 |7036 | 50 | 17 | 22 |1469k|5053 | 0.000000e+00 | -- | Inf
470.69/470.87 c 471s| 2710k|594110 | 6131k| 2.3 | 484M| 45 | 6 | 50 |6131 | 50 | 17 | 22 |1475k|5064 | 0.000000e+00 | -- | Inf
472.59/472.74 c 473s| 2720k|596004 | 6154k| 2.3 | 486M| 45 | - | 50 |6573 | 50 | 17 | 22 |1480k|5073 | 0.000000e+00 | -- | Inf
474.59/474.78 c 475s| 2730k|597870 | 6177k| 2.3 | 487M| 45 | - | 50 |5608 | 50 | 17 | 22 |1486k|5082 | 0.000000e+00 | -- | Inf
476.59/476.77 c 477s| 2740k|599743 | 6200k| 2.3 | 489M| 45 | - | 50 |5341 | 50 | 17 | 22 |1492k|5092 | 0.000000e+00 | -- | Inf
478.58/478.74 c 479s| 2750k|601409 | 6223k| 2.3 | 490M| 45 | - | 50 |4729 | 0 | 0 | 22 |1498k|5101 | 0.000000e+00 | -- | Inf
480.28/480.49 c 480s| 2760k|603500 | 6246k| 2.3 | 492M| 45 | - | 50 |5957 | 0 | 0 | 22 |1503k|5108 | 0.000000e+00 | -- | Inf
482.08/482.27 c 482s| 2770k|605598 | 6267k| 2.3 | 494M| 45 | 6 | 50 |6986 | 50 | 17 | 22 |1508k|5114 | 0.000000e+00 | -- | Inf
484.08/484.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
484.08/484.24 c 484s| 2780k|607068 | 6289k| 2.3 | 496M| 45 | 6 | 50 |7320 | 50 | 17 | 22 |1514k|5121 | 0.000000e+00 | -- | Inf
486.09/486.25 c 486s| 2790k|608706 | 6310k| 2.3 | 497M| 45 | 6 | 50 |8009 | 50 | 17 | 22 |1520k|5131 | 0.000000e+00 | -- | Inf
488.19/488.40 c 488s| 2800k|610305 | 6332k| 2.3 | 498M| 45 | - | 50 |5371 | 0 | 0 | 22 |1525k|5144 | 0.000000e+00 | -- | Inf
490.18/490.37 c 490s| 2810k|612011 | 6355k| 2.3 | 500M| 45 | 6 | 50 |5289 | 50 | 17 | 22 |1531k|5150 | 0.000000e+00 | -- | Inf
492.18/492.36 c 492s| 2820k|613619 | 6378k| 2.3 | 501M| 45 | 6 | 50 |4401 | 50 | 17 | 22 |1537k|5157 | 0.000000e+00 | -- | Inf
493.89/494.07 c 494s| 2830k|615769 | 6400k| 2.3 | 503M| 45 | 6 | 50 |6183 | 50 | 17 | 22 |1542k|5169 | 0.000000e+00 | -- | Inf
495.78/495.94 c 496s| 2840k|617688 | 6422k| 2.3 | 505M| 45 | 6 | 50 |6289 | 50 | 17 | 22 |1548k|5182 | 0.000000e+00 | -- | Inf
497.78/497.96 c 498s| 2850k|619419 | 6444k| 2.3 | 506M| 45 | 6 | 50 |5326 | 50 | 17 | 22 |1553k|5188 | 0.000000e+00 | -- | Inf
499.78/499.95 c 500s| 2860k|621178 | 6467k| 2.3 | 507M| 45 | 6 | 50 |4816 | 50 | 17 | 22 |1559k|5196 | 0.000000e+00 | -- | Inf
501.59/501.79 c 502s| 2870k|623227 | 6490k| 2.3 | 509M| 45 | - | 50 |5872 | 50 | 17 | 22 |1565k|5213 | 0.000000e+00 | -- | Inf
503.48/503.62 c 504s| 2880k|625260 | 6513k| 2.3 | 511M| 45 | 6 | 50 |6196 | 50 | 17 | 22 |1570k|5221 | 0.000000e+00 | -- | Inf
505.48/505.64 c 506s| 2890k|627038 | 6535k| 2.3 | 513M| 45 | - | 50 |4965 | 50 | 17 | 22 |1576k|5226 | 0.000000e+00 | -- | Inf
507.38/507.55 c 508s| 2900k|628949 | 6557k| 2.3 | 514M| 45 | - | 50 |5050 | 50 | 17 | 22 |1581k|5237 | 0.000000e+00 | -- | Inf
509.38/509.53 c 510s| 2910k|630453 | 6581k| 2.3 | 516M| 45 | 6 | 50 |4659 | 50 | 17 | 22 |1587k|5247 | 0.000000e+00 | -- | Inf
511.29/511.46 c 511s| 2920k|632128 | 6603k| 2.3 | 517M| 45 | - | 50 |5146 | 50 | 17 | 22 |1593k|5258 | 0.000000e+00 | -- | Inf
513.17/513.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
513.17/513.38 c 513s| 2930k|633885 | 6626k| 2.3 | 519M| 45 | 6 | 50 |5225 | 50 | 17 | 22 |1598k|5264 | 0.000000e+00 | -- | Inf
515.18/515.33 c 515s| 2940k|635538 | 6648k| 2.3 | 521M| 45 | - | 50 |5325 | 50 | 17 | 22 |1604k|5270 | 0.000000e+00 | -- | Inf
517.07/517.26 c 517s| 2950k|637346 | 6671k| 2.3 | 522M| 45 | 6 | 50 |5749 | 50 | 17 | 22 |1610k|5283 | 0.000000e+00 | -- | Inf
518.98/519.20 c 519s| 2960k|639191 | 6693k| 2.3 | 524M| 45 | 6 | 50 |5210 | 50 | 17 | 22 |1616k|5295 | 0.000000e+00 | -- | Inf
521.07/521.20 c 521s| 2970k|640884 | 6715k| 2.3 | 525M| 45 | - | 50 |5003 | 0 | 0 | 22 |1621k|5303 | 0.000000e+00 | -- | Inf
523.07/523.22 c 523s| 2980k|642543 | 6737k| 2.3 | 527M| 45 | - | 50 |4975 | 50 | 17 | 22 |1627k|5310 | 0.000000e+00 | -- | Inf
524.97/525.13 c 525s| 2990k|644329 | 6760k| 2.3 | 529M| 45 | 6 | 50 |5793 | 50 | 17 | 22 |1632k|5318 | 0.000000e+00 | -- | Inf
526.97/527.18 c 527s| 3000k|646012 | 6782k| 2.3 | 530M| 45 | 6 | 50 |4724 | 50 | 17 | 22 |1638k|5333 | 0.000000e+00 | -- | Inf
528.97/529.12 c 529s| 3010k|647655 | 6805k| 2.3 | 532M| 45 | 6 | 50 |5117 | 50 | 17 | 22 |1644k|5341 | 0.000000e+00 | -- | Inf
530.96/531.13 c 531s| 3020k|649198 | 6828k| 2.3 | 533M| 45 | 6 | 50 |5365 | 50 | 17 | 22 |1650k|5346 | 0.000000e+00 | -- | Inf
532.87/533.07 c 533s| 3030k|651049 | 6850k| 2.3 | 535M| 45 | 6 | 50 |5487 | 50 | 17 | 22 |1655k|5353 | 0.000000e+00 | -- | Inf
534.56/534.71 c 535s| 3040k|653584 | 6872k| 2.3 | 537M| 45 | - | 50 |7558 | 50 | 17 | 22 |1660k|5358 | 0.000000e+00 | -- | Inf
536.37/536.58 c 537s| 3050k|655794 | 6893k| 2.3 | 539M| 45 | 6 | 50 |7994 | 50 | 17 | 22 |1666k|5362 | 0.000000e+00 | -- | Inf
538.56/538.74 c 539s| 3060k|657607 | 6914k| 2.3 | 541M| 45 | 6 | 50 |7569 | 50 | 17 | 22 |1671k|5364 | 0.000000e+00 | -- | Inf
540.56/540.71 c 541s| 3070k|659630 | 6935k| 2.3 | 542M| 45 | 6 | 50 |8541 | 50 | 17 | 22 |1676k|5370 | 0.000000e+00 | -- | Inf
542.46/542.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
542.46/542.69 c 543s| 3080k|662240 | 6956k| 2.3 | 545M| 45 | - | 50 |9800 | 0 | 0 | 22 |1681k|5372 | 0.000000e+00 | -- | Inf
544.66/544.84 c 545s| 3090k|664592 | 6977k| 2.3 | 546M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |1686k|5382 | 0.000000e+00 | -- | Inf
547.06/547.27 c 547s| 3100k|666215 | 6998k| 2.3 | 548M| 45 | 6 | 50 |8373 | 50 | 17 | 22 |1692k|5386 | 0.000000e+00 | -- | Inf
549.26/549.46 c 549s| 3110k|667923 | 7018k| 2.3 | 549M| 45 | 6 | 50 |8347 | 50 | 17 | 22 |1697k|5391 | 0.000000e+00 | -- | Inf
551.46/551.67 c 552s| 3120k|669652 | 7039k| 2.3 | 551M| 45 | 6 | 50 |8550 | 50 | 17 | 22 |1703k|5397 | 0.000000e+00 | -- | Inf
553.76/553.96 c 554s| 3130k|671419 | 7061k| 2.3 | 552M| 45 | 6 | 50 |7702 | 50 | 17 | 22 |1708k|5399 | 0.000000e+00 | -- | Inf
556.06/556.22 c 556s| 3140k|673114 | 7084k| 2.3 | 553M| 45 | 6 | 50 |5313 | 50 | 17 | 22 |1714k|5412 | 0.000000e+00 | -- | Inf
557.86/558.06 c 558s| 3150k|674986 | 7107k| 2.3 | 555M| 45 | 6 | 50 |6746 | 50 | 17 | 22 |1720k|5416 | 0.000000e+00 | -- | Inf
559.96/560.14 c 560s| 3160k|676930 | 7129k| 2.3 | 557M| 45 | - | 50 |6409 | 50 | 17 | 22 |1725k|5428 | 0.000000e+00 | -- | Inf
561.96/562.13 c 562s| 3170k|678894 | 7152k| 2.3 | 558M| 45 | 6 | 50 |6322 | 50 | 17 | 22 |1731k|5442 | 0.000000e+00 | -- | Inf
563.86/564.09 c 564s| 3180k|680740 | 7175k| 2.3 | 560M| 45 | 6 | 50 |6243 | 50 | 17 | 22 |1737k|5443 | 0.000000e+00 | -- | Inf
566.16/566.37 c 566s| 3190k|682136 | 7197k| 2.3 | 561M| 45 | 6 | 50 |4808 | 50 | 17 | 22 |1743k|5451 | 0.000000e+00 | -- | Inf
568.15/568.30 c 568s| 3200k|683773 | 7219k| 2.3 | 563M| 45 | - | 50 |6023 | 0 | 0 | 22 |1748k|5462 | 0.000000e+00 | -- | Inf
570.16/570.36 c 570s| 3210k|685368 | 7243k| 2.3 | 564M| 45 | 6 | 50 |5869 | 50 | 17 | 22 |1754k|5468 | 0.000000e+00 | -- | Inf
572.25/572.44 c 572s| 3220k|687033 | 7264k| 2.3 | 566M| 45 | - | 50 |5724 | 50 | 17 | 22 |1760k|5479 | 0.000000e+00 | -- | Inf
574.35/574.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
574.35/574.58 c 575s| 3230k|688748 | 7287k| 2.3 | 567M| 45 | 6 | 50 |5319 | 50 | 17 | 22 |1766k|5485 | 0.000000e+00 | -- | Inf
576.35/576.54 c 577s| 3240k|690441 | 7309k| 2.3 | 569M| 45 | 6 | 50 |5375 | 50 | 17 | 22 |1771k|5490 | 0.000000e+00 | -- | Inf
578.46/578.61 c 579s| 3250k|691996 | 7332k| 2.3 | 570M| 45 | 6 | 50 |4271 | 50 | 17 | 22 |1777k|5499 | 0.000000e+00 | -- | Inf
580.16/580.39 c 580s| 3260k|694228 | 7354k| 2.3 | 573M| 45 | 6 | 50 |6052 | 50 | 17 | 22 |1783k|5507 | 0.000000e+00 | -- | Inf
582.25/582.41 c 582s| 3270k|695837 | 7378k| 2.3 | 574M| 45 | 6 | 50 |6138 | 50 | 17 | 22 |1789k|5518 | 0.000000e+00 | -- | Inf
584.15/584.32 c 584s| 3280k|697993 | 7401k| 2.3 | 576M| 45 | - | 50 |7827 | 50 | 17 | 22 |1794k|5527 | 0.000000e+00 | -- | Inf
586.26/586.44 c 586s| 3290k|699882 | 7424k| 2.3 | 578M| 45 | 6 | 50 |6299 | 50 | 17 | 22 |1800k|5531 | 0.000000e+00 | -- | Inf
588.26/588.41 c 588s| 3300k|701710 | 7447k| 2.3 | 579M| 45 | - | 50 |6033 | 50 | 17 | 22 |1805k|5535 | 0.000000e+00 | -- | Inf
590.15/590.34 c 590s| 3310k|703538 | 7470k| 2.3 | 581M| 45 | - | 50 |6550 | 50 | 17 | 22 |1811k|5545 | 0.000000e+00 | -- | Inf
592.25/592.41 c 592s| 3320k|705049 | 7494k| 2.3 | 583M| 45 | 6 | 50 |7225 | 50 | 17 | 22 |1817k|5552 | 0.000000e+00 | -- | Inf
594.35/594.54 c 595s| 3330k|706956 | 7516k| 2.3 | 584M| 45 | 6 | 50 |6726 | 50 | 17 | 22 |1822k|5560 | 0.000000e+00 | -- | Inf
596.45/596.62 c 597s| 3340k|708700 | 7539k| 2.3 | 586M| 45 | - | 50 |6077 | 0 | 0 | 22 |1828k|5569 | 0.000000e+00 | -- | Inf
598.45/598.60 c 599s| 3350k|710410 | 7561k| 2.3 | 587M| 45 | 6 | 50 |5960 | 50 | 17 | 22 |1834k|5579 | 0.000000e+00 | -- | Inf
600.36/600.57 c 601s| 3360k|712108 | 7584k| 2.3 | 589M| 45 | 6 | 50 |6402 | 50 | 17 | 22 |1839k|5588 | 0.000000e+00 | -- | Inf
602.25/602.47 c 602s| 3370k|713874 | 7606k| 2.3 | 591M| 45 | - | 50 |8178 | 50 | 17 | 22 |1845k|5596 | 0.000000e+00 | -- | Inf
604.55/604.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
604.55/604.74 c 605s| 3380k|715571 | 7629k| 2.3 | 592M| 45 | 6 | 50 |5648 | 50 | 17 | 22 |1850k|5601 | 0.000000e+00 | -- | Inf
606.55/606.77 c 607s| 3390k|717459 | 7650k| 2.3 | 593M| 45 | 6 | 50 |5397 | 50 | 17 | 22 |1856k|5608 | 0.000000e+00 | -- | Inf
608.75/608.91 c 609s| 3400k|718935 | 7672k| 2.3 | 595M| 45 | - | 50 |5265 | 50 | 17 | 22 |1862k|5615 | 0.000000e+00 | -- | Inf
610.75/610.95 c 611s| 3410k|720573 | 7696k| 2.3 | 596M| 45 | 6 | 50 |5128 | 50 | 17 | 22 |1868k|5624 | 0.000000e+00 | -- | Inf
612.85/613.00 c 613s| 3420k|722293 | 7719k| 2.3 | 598M| 45 | - | 50 |5452 | 50 | 17 | 22 |1873k|5631 | 0.000000e+00 | -- | Inf
614.94/615.10 c 615s| 3430k|723882 | 7741k| 2.3 | 600M| 45 | - | 50 |4994 | 50 | 17 | 22 |1879k|5647 | 0.000000e+00 | -- | Inf
616.55/616.79 c 617s| 3440k|725924 | 7763k| 2.3 | 602M| 45 | - | 50 |7133 | 50 | 17 | 22 |1885k|5659 | 0.000000e+00 | -- | Inf
618.64/618.85 c 619s| 3450k|727718 | 7786k| 2.3 | 604M| 45 | 6 | 50 |7153 | 50 | 17 | 22 |1890k|5662 | 0.000000e+00 | -- | Inf
620.74/620.94 c 621s| 3460k|729336 | 7809k| 2.3 | 605M| 45 | 6 | 50 |7071 | 50 | 17 | 22 |1896k|5671 | 0.000000e+00 | -- | Inf
622.84/623.00 c 623s| 3470k|731067 | 7832k| 2.3 | 607M| 45 | - | 50 |7620 | 0 | 0 | 22 |1902k|5681 | 0.000000e+00 | -- | Inf
625.05/625.24 c 625s| 3480k|732712 | 7855k| 2.3 | 608M| 45 | 6 | 50 |5335 | 50 | 17 | 22 |1908k|5687 | 0.000000e+00 | -- | Inf
627.14/627.38 c 627s| 3490k|734271 | 7878k| 2.3 | 609M| 45 | 6 | 50 |5087 | 50 | 17 | 22 |1914k|5699 | 0.000000e+00 | -- | Inf
629.05/629.24 c 629s| 3500k|736329 | 7901k| 2.3 | 611M| 45 | 6 | 50 |6706 | 50 | 17 | 22 |1919k|5706 | 0.000000e+00 | -- | Inf
631.25/631.42 c 631s| 3510k|737709 | 7924k| 2.3 | 613M| 45 | 6 | 50 |7278 | 50 | 17 | 22 |1925k|5717 | 0.000000e+00 | -- | Inf
633.35/633.58 c 634s| 3520k|739569 | 7947k| 2.3 | 614M| 45 | 6 | 50 |6130 | 50 | 17 | 22 |1931k|5725 | 0.000000e+00 | -- | Inf
635.44/635.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
635.44/635.70 c 636s| 3530k|741302 | 7969k| 2.3 | 616M| 45 | 6 | 50 |5189 | 50 | 17 | 22 |1937k|5738 | 0.000000e+00 | -- | Inf
637.64/637.80 c 638s| 3540k|742816 | 7992k| 2.3 | 617M| 45 | 6 | 50 |5240 | 50 | 17 | 22 |1943k|5753 | 0.000000e+00 | -- | Inf
639.54/639.72 c 640s| 3550k|744490 | 8015k| 2.3 | 619M| 45 | 6 | 50 |6888 | 50 | 17 | 22 |1948k|5759 | 0.000000e+00 | -- | Inf
641.84/642.05 c 642s| 3560k|745798 | 8037k| 2.3 | 620M| 45 | - | 50 |4605 | 50 | 17 | 22 |1954k|5764 | 0.000000e+00 | -- | Inf
643.83/644.09 c 644s| 3570k|747268 | 8059k| 2.3 | 622M| 45 | 6 | 50 |5532 | 50 | 17 | 22 |1960k|5774 | 0.000000e+00 | -- | Inf
646.04/646.29 c 646s| 3580k|748523 | 8081k| 2.3 | 623M| 45 | 6 | 50 |4956 | 50 | 17 | 22 |1966k|5776 | 0.000000e+00 | -- | Inf
648.13/648.34 c 648s| 3590k|750026 | 8104k| 2.3 | 625M| 45 | - | 50 |4760 | 50 | 17 | 22 |1972k|5778 | 0.000000e+00 | -- | Inf
650.13/650.32 c 650s| 3600k|751614 | 8126k| 2.3 | 626M| 45 | - | 50 |5508 | 0 | 0 | 22 |1978k|5782 | 0.000000e+00 | -- | Inf
652.03/652.27 c 652s| 3610k|753383 | 8148k| 2.3 | 628M| 45 | 6 | 50 |5645 | 50 | 17 | 22 |1984k|5786 | 0.000000e+00 | -- | Inf
654.13/654.35 c 654s| 3620k|754944 | 8171k| 2.3 | 629M| 45 | - | 50 |5654 | 50 | 17 | 22 |1990k|5793 | 0.000000e+00 | -- | Inf
656.12/656.37 c 656s| 3630k|756623 | 8193k| 2.3 | 631M| 45 | 6 | 50 |5453 | 50 | 17 | 22 |1996k|5799 | 0.000000e+00 | -- | Inf
658.22/658.47 c 658s| 3640k|758081 | 8216k| 2.3 | 632M| 45 | 6 | 50 |5082 | 50 | 17 | 22 |2002k|5804 | 0.000000e+00 | -- | Inf
660.23/660.44 c 660s| 3650k|759790 | 8238k| 2.3 | 634M| 45 | 6 | 50 |6057 | 50 | 17 | 22 |2007k|5809 | 0.000000e+00 | -- | Inf
662.23/662.46 c 662s| 3660k|761584 | 8261k| 2.3 | 636M| 45 | 6 | 50 |5844 | 50 | 17 | 22 |2013k|5813 | 0.000000e+00 | -- | Inf
664.32/664.55 c 665s| 3670k|763078 | 8284k| 2.3 | 637M| 45 | 6 | 50 |5555 | 50 | 17 | 22 |2019k|5822 | 0.000000e+00 | -- | Inf
666.33/666.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
666.33/666.58 c 667s| 3680k|764696 | 8305k| 2.3 | 639M| 45 | 6 | 50 |5514 | 50 | 17 | 22 |2025k|5827 | 0.000000e+00 | -- | Inf
668.22/668.45 c 668s| 3690k|766599 | 8328k| 2.3 | 641M| 45 | 6 | 50 |6283 | 50 | 17 | 22 |2030k|5840 | 0.000000e+00 | -- | Inf
670.22/670.47 c 670s| 3700k|768268 | 8352k| 2.3 | 643M| 45 | 6 | 50 |8090 | 50 | 17 | 22 |2036k|5842 | 0.000000e+00 | -- | Inf
672.32/672.53 c 673s| 3710k|770364 | 8374k| 2.3 | 644M| 45 | - | 50 |7048 | 50 | 17 | 22 |2041k|5845 | 0.000000e+00 | -- | Inf
674.32/674.57 c 675s| 3720k|772505 | 8397k| 2.3 | 646M| 45 | - | 50 |8557 | 0 | 0 | 22 |2047k|5857 | 0.000000e+00 | -- | Inf
676.82/677.04 c 677s| 3730k|773988 | 8420k| 2.3 | 647M| 45 | - | 50 |5214 | 50 | 17 | 22 |2053k|5864 | 0.000000e+00 | -- | Inf
678.82/679.09 c 679s| 3740k|775730 | 8441k| 2.3 | 648M| 45 | - | 50 |4748 | 50 | 17 | 22 |2058k|5876 | 0.000000e+00 | -- | Inf
680.92/681.14 c 681s| 3750k|777419 | 8464k| 2.3 | 650M| 45 | 6 | 50 |5063 | 50 | 17 | 22 |2064k|5883 | 0.000000e+00 | -- | Inf
682.72/682.95 c 683s| 3760k|779594 | 8487k| 2.3 | 652M| 45 | 6 | 50 |6760 | 50 | 17 | 22 |2070k|5892 | 0.000000e+00 | -- | Inf
684.62/684.83 c 685s| 3770k|782165 | 8510k| 2.3 | 655M| 45 | 6 | 50 |8917 | 50 | 17 | 22 |2075k|5902 | 0.000000e+00 | -- | Inf
686.82/687.05 c 687s| 3780k|784138 | 8532k| 2.3 | 656M| 45 | 6 | 50 |9249 | 50 | 17 | 22 |2080k|5911 | 0.000000e+00 | -- | Inf
688.92/689.15 c 689s| 3790k|786320 | 8555k| 2.3 | 658M| 45 | - | 50 |9956 | 50 | 17 | 22 |2085k|5919 | 0.000000e+00 | -- | Inf
691.22/691.43 c 691s| 3800k|788432 | 8579k| 2.3 | 661M| 45 | - | 50 | 11k| 50 | 17 | 22 |2091k|5925 | 0.000000e+00 | -- | Inf
693.62/693.80 c 694s| 3810k|790270 | 8602k| 2.3 | 662M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2096k|5939 | 0.000000e+00 | -- | Inf
696.22/696.48 c 696s| 3820k|791861 | 8625k| 2.3 | 663M| 45 | - | 50 |8829 | 0 | 0 | 22 |2102k|5945 | 0.000000e+00 | -- | Inf
698.71/698.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
698.71/698.97 c 699s| 3830k|793250 | 8648k| 2.3 | 664M| 45 | 6 | 50 |5984 | 50 | 17 | 22 |2108k|5953 | 0.000000e+00 | -- | Inf
700.92/701.19 c 701s| 3840k|794698 | 8670k| 2.3 | 665M| 45 | - | 50 |5595 | 50 | 17 | 22 |2114k|5957 | 0.000000e+00 | -- | Inf
703.02/703.28 c 703s| 3850k|796336 | 8693k| 2.3 | 667M| 45 | - | 50 |5651 | 50 | 17 | 22 |2119k|5962 | 0.000000e+00 | -- | Inf
705.02/705.26 c 705s| 3860k|798427 | 8715k| 2.3 | 669M| 45 | 6 | 50 |6633 | 50 | 17 | 22 |2125k|5966 | 0.000000e+00 | -- | Inf
707.12/707.37 c 707s| 3870k|800228 | 8737k| 2.3 | 670M| 45 | 6 | 50 |6972 | 50 | 17 | 22 |2130k|5972 | 0.000000e+00 | -- | Inf
709.51/709.75 c 710s| 3880k|801581 | 8760k| 2.3 | 671M| 45 | - | 50 |4916 | 50 | 17 | 22 |2136k|5980 | 0.000000e+00 | -- | Inf
711.52/711.75 c 712s| 3890k|803150 | 8782k| 2.3 | 673M| 45 | 6 | 50 |6421 | 50 | 17 | 22 |2142k|5989 | 0.000000e+00 | -- | Inf
713.51/713.78 c 714s| 3900k|804957 | 8805k| 2.3 | 675M| 45 | 6 | 50 |7039 | 50 | 17 | 22 |2148k|5997 | 0.000000e+00 | -- | Inf
715.71/715.91 c 716s| 3910k|806733 | 8827k| 2.3 | 676M| 45 | 6 | 50 |5543 | 50 | 17 | 22 |2153k|6006 | 0.000000e+00 | -- | Inf
717.61/717.85 c 718s| 3920k|808787 | 8851k| 2.3 | 678M| 45 | - | 50 |7137 | 50 | 17 | 22 |2159k|6016 | 0.000000e+00 | -- | Inf
719.71/719.99 c 720s| 3930k|810472 | 8874k| 2.3 | 680M| 45 | - | 50 |7928 | 0 | 0 | 22 |2165k|6023 | 0.000000e+00 | -- | Inf
721.81/722.01 c 722s| 3940k|812800 | 8897k| 2.3 | 682M| 45 | - | 50 |8901 | 0 | 0 | 22 |2170k|6029 | 0.000000e+00 | -- | Inf
724.01/724.27 c 724s| 3950k|814720 | 8919k| 2.3 | 684M| 45 | - | 50 |9123 | 50 | 17 | 22 |2175k|6046 | 0.000000e+00 | -- | Inf
726.31/726.57 c 727s| 3960k|816555 | 8942k| 2.3 | 685M| 45 | - | 50 |8008 | 50 | 17 | 22 |2181k|6054 | 0.000000e+00 | -- | Inf
728.51/728.71 c 729s| 3970k|818582 | 8965k| 2.3 | 687M| 45 | 6 | 50 |8233 | 50 | 17 | 22 |2186k|6065 | 0.000000e+00 | -- | Inf
730.71/730.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
730.71/730.96 c 731s| 3980k|820271 | 8988k| 2.3 | 688M| 45 | 6 | 50 |8871 | 50 | 17 | 22 |2191k|6075 | 0.000000e+00 | -- | Inf
733.10/733.38 c 733s| 3990k|821676 | 9010k| 2.3 | 690M| 45 | 6 | 50 |9368 | 50 | 17 | 22 |2197k|6088 | 0.000000e+00 | -- | Inf
735.61/735.84 c 736s| 4000k|823122 | 9032k| 2.3 | 691M| 45 | - | 50 |8770 | 50 | 17 | 22 |2202k|6097 | 0.000000e+00 | -- | Inf
738.10/738.32 c 738s| 4010k|824588 | 9055k| 2.3 | 692M| 45 | - | 50 |6694 | 50 | 17 | 22 |2208k|6105 | 0.000000e+00 | -- | Inf
740.31/740.54 c 741s| 4020k|826220 | 9077k| 2.3 | 694M| 45 | - | 50 |6273 | 50 | 17 | 22 |2214k|6120 | 0.000000e+00 | -- | Inf
742.60/742.89 c 743s| 4030k|827478 | 9100k| 2.3 | 695M| 45 | 6 | 50 |5415 | 50 | 17 | 22 |2220k|6124 | 0.000000e+00 | -- | Inf
744.70/744.93 c 745s| 4040k|829081 | 9122k| 2.3 | 697M| 45 | 6 | 50 |5836 | 50 | 17 | 22 |2226k|6131 | 0.000000e+00 | -- | Inf
746.71/746.94 c 747s| 4050k|830913 | 9145k| 2.3 | 698M| 45 | - | 50 |5951 | 50 | 17 | 22 |2232k|6137 | 0.000000e+00 | -- | Inf
748.90/749.16 c 749s| 4060k|832365 | 9167k| 2.3 | 700M| 45 | 6 | 50 |5466 | 50 | 17 | 22 |2238k|6142 | 0.000000e+00 | -- | Inf
751.00/751.28 c 751s| 4070k|833955 | 9190k| 2.3 | 701M| 45 | 6 | 50 |5335 | 50 | 17 | 22 |2244k|6149 | 0.000000e+00 | -- | Inf
752.99/753.23 c 753s| 4080k|835704 | 9212k| 2.3 | 703M| 45 | - | 50 |6559 | 50 | 17 | 22 |2249k|6154 | 0.000000e+00 | -- | Inf
755.19/755.41 c 755s| 4090k|837285 | 9235k| 2.3 | 704M| 45 | 6 | 50 |6191 | 50 | 17 | 22 |2255k|6164 | 0.000000e+00 | -- | Inf
757.39/757.62 c 758s| 4100k|838715 | 9258k| 2.3 | 706M| 45 | 6 | 50 |4928 | 50 | 17 | 22 |2261k|6175 | 0.000000e+00 | -- | Inf
759.49/759.78 c 760s| 4110k|839966 | 9281k| 2.3 | 707M| 45 | 6 | 50 |4618 | 50 | 17 | 22 |2267k|6181 | 0.000000e+00 | -- | Inf
761.40/761.69 c 762s| 4120k|841445 | 9303k| 2.3 | 709M| 45 | - | 50 |5980 | 50 | 17 | 22 |2273k|6191 | 0.000000e+00 | -- | Inf
763.49/763.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
763.49/763.70 c 764s| 4130k|843091 | 9326k| 2.3 | 711M| 45 | - | 50 |6259 | 50 | 17 | 22 |2279k|6195 | 0.000000e+00 | -- | Inf
765.59/765.86 c 766s| 4140k|844813 | 9349k| 2.3 | 712M| 45 | - | 50 |7298 | 50 | 17 | 22 |2285k|6207 | 0.000000e+00 | -- | Inf
767.69/767.96 c 768s| 4150k|846413 | 9372k| 2.3 | 714M| 45 | 6 | 50 |6547 | 50 | 17 | 22 |2291k|6213 | 0.000000e+00 | -- | Inf
769.59/769.86 c 770s| 4160k|848549 | 9394k| 2.3 | 716M| 45 | 6 | 50 |7471 | 50 | 17 | 22 |2296k|6224 | 0.000000e+00 | -- | Inf
771.59/771.87 c 772s| 4170k|850390 | 9416k| 2.3 | 718M| 45 | - | 50 |9000 | 0 | 0 | 22 |2301k|6233 | 0.000000e+00 | -- | Inf
773.78/774.07 c 774s| 4180k|852075 | 9438k| 2.3 | 719M| 45 | - | 50 | 10k| 50 | 17 | 22 |2306k|6238 | 0.000000e+00 | -- | Inf
776.29/776.59 c 777s| 4190k|853591 | 9461k| 2.3 | 720M| 45 | - | 50 |6623 | 0 | 0 | 22 |2312k|6247 | 0.000000e+00 | -- | Inf
778.59/778.82 c 779s| 4200k|855135 | 9484k| 2.3 | 721M| 45 | 6 | 50 |6233 | 50 | 17 | 22 |2318k|6254 | 0.000000e+00 | -- | Inf
780.79/781.04 c 781s| 4210k|856614 | 9507k| 2.3 | 723M| 45 | 6 | 50 |5747 | 50 | 17 | 22 |2324k|6262 | 0.000000e+00 | -- | Inf
782.77/783.01 c 783s| 4220k|858350 | 9530k| 2.3 | 725M| 45 | 6 | 50 |6647 | 50 | 17 | 22 |2330k|6274 | 0.000000e+00 | -- | Inf
784.87/785.12 c 785s| 4230k|860124 | 9552k| 2.3 | 726M| 45 | - | 50 |6749 | 50 | 17 | 22 |2335k|6287 | 0.000000e+00 | -- | Inf
786.88/787.18 c 787s| 4240k|862177 | 9577k| 2.3 | 728M| 45 | 6 | 50 |7290 | 50 | 17 | 22 |2341k|6292 | 0.000000e+00 | -- | Inf
789.27/789.50 c 789s| 4250k|863946 | 9601k| 2.3 | 730M| 45 | 6 | 50 |8150 | 50 | 17 | 22 |2347k|6293 | 0.000000e+00 | -- | Inf
791.68/791.92 c 792s| 4260k|865591 | 9624k| 2.3 | 731M| 45 | 6 | 50 |6778 | 50 | 17 | 22 |2353k|6295 | 0.000000e+00 | -- | Inf
793.77/794.05 c 794s| 4270k|867312 | 9647k| 2.3 | 732M| 45 | 6 | 50 |6432 | 50 | 17 | 22 |2358k|6303 | 0.000000e+00 | -- | Inf
795.97/796.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
795.97/796.28 c 796s| 4280k|868931 | 9669k| 2.3 | 734M| 45 | 6 | 50 |5983 | 50 | 17 | 22 |2364k|6304 | 0.000000e+00 | -- | Inf
797.87/798.17 c 798s| 4290k|870978 | 9691k| 2.3 | 736M| 45 | 6 | 50 |7918 | 50 | 17 | 22 |2370k|6307 | 0.000000e+00 | -- | Inf
800.07/800.34 c 800s| 4300k|872358 | 9712k| 2.3 | 737M| 45 | - | 50 |7926 | 50 | 17 | 22 |2376k|6314 | 0.000000e+00 | -- | Inf
802.26/802.54 c 803s| 4310k|873964 | 9735k| 2.3 | 739M| 45 | 6 | 50 |7669 | 50 | 17 | 22 |2382k|6318 | 0.000000e+00 | -- | Inf
804.36/804.66 c 805s| 4320k|875797 | 9757k| 2.3 | 740M| 45 | - | 50 |6517 | 50 | 17 | 22 |2387k|6322 | 0.000000e+00 | -- | Inf
806.56/806.86 c 807s| 4330k|877837 | 9780k| 2.3 | 742M| 45 | 6 | 50 |6441 | 50 | 17 | 22 |2393k|6327 | 0.000000e+00 | -- | Inf
808.66/808.94 c 809s| 4340k|879415 | 9802k| 2.3 | 743M| 45 | 6 | 50 |6276 | 50 | 17 | 22 |2399k|6341 | 0.000000e+00 | -- | Inf
810.56/810.87 c 811s| 4350k|881128 | 9824k| 2.3 | 745M| 45 | - | 50 |7468 | 0 | 0 | 22 |2404k|6344 | 0.000000e+00 | -- | Inf
812.95/813.21 c 813s| 4360k|882672 | 9846k| 2.3 | 746M| 45 | 6 | 50 |5363 | 50 | 17 | 22 |2410k|6347 | 0.000000e+00 | -- | Inf
814.76/815.06 c 815s| 4370k|885058 | 9868k| 2.3 | 748M| 45 | - | 50 |6626 | 50 | 17 | 22 |2415k|6357 | 0.000000e+00 | -- | Inf
816.85/817.19 c 817s| 4380k|886617 | 9891k| 2.3 | 750M| 45 | - | 50 |7100 | 50 | 17 | 22 |2421k|6361 | 0.000000e+00 | -- | Inf
819.16/819.45 c 819s| 4390k|888057 | 9914k| 2.3 | 751M| 45 | 6 | 50 |7007 | 50 | 17 | 22 |2427k|6365 | 0.000000e+00 | -- | Inf
821.36/821.67 c 822s| 4400k|889612 | 9936k| 2.3 | 753M| 45 | 6 | 50 |5871 | 50 | 17 | 22 |2433k|6376 | 0.000000e+00 | -- | Inf
823.55/823.84 c 824s| 4410k|891095 | 9959k| 2.3 | 754M| 45 | 6 | 50 |5639 | 50 | 17 | 22 |2439k|6387 | 0.000000e+00 | -- | Inf
825.64/825.90 c 826s| 4420k|892633 | 9981k| 2.3 | 756M| 45 | - | 50 |5737 | 50 | 17 | 22 |2444k|6408 | 0.000000e+00 | -- | Inf
827.64/827.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
827.64/827.93 c 828s| 4430k|894210 | 10003k| 2.3 | 757M| 45 | 6 | 50 |6739 | 50 | 17 | 22 |2450k|6409 | 0.000000e+00 | -- | Inf
829.55/829.85 c 830s| 4440k|896306 | 10026k| 2.3 | 759M| 45 | - | 50 |7076 | 50 | 17 | 22 |2456k|6434 | 0.000000e+00 | -- | Inf
831.35/831.67 c 832s| 4450k|899042 | 10050k| 2.3 | 762M| 45 | 6 | 50 |9346 | 50 | 17 | 22 |2461k|6522 | 0.000000e+00 | -- | Inf
833.54/833.85 c 834s| 4460k|901420 | 10073k| 2.3 | 764M| 45 | - | 50 |9634 | 50 | 17 | 22 |2467k|6537 | 0.000000e+00 | -- | Inf
835.74/836.03 c 836s| 4470k|903697 | 10097k| 2.3 | 766M| 45 | - | 50 | 10k| 50 | 17 | 22 |2472k|6547 | 0.000000e+00 | -- | Inf
838.04/838.40 c 838s| 4480k|905740 | 10121k| 2.3 | 768M| 45 | - | 50 | 10k| 0 | 0 | 22 |2478k|6563 | 0.000000e+00 | -- | Inf
840.53/840.80 c 841s| 4490k|907669 | 10144k| 2.3 | 769M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2484k|6582 | 0.000000e+00 | -- | Inf
842.83/843.16 c 843s| 4500k|909509 | 10168k| 2.3 | 771M| 45 | - | 50 | 11k| 50 | 17 | 22 |2490k|6588 | 0.000000e+00 | -- | Inf
845.32/845.69 c 846s| 4510k|911401 | 10190k| 2.3 | 773M| 45 | - | 50 | 11k| 50 | 17 | 22 |2495k|6598 | 0.000000e+00 | -- | Inf
848.13/848.46 c 848s| 4520k|913048 | 10213k| 2.3 | 774M| 45 | - | 50 | 10k| 50 | 17 | 22 |2501k|6650 | 0.000000e+00 | -- | Inf
850.63/850.90 c 851s| 4530k|915064 | 10236k| 2.3 | 776M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2507k|6702 | 0.000000e+00 | -- | Inf
852.92/853.29 c 853s| 4540k|916753 | 10260k| 2.3 | 778M| 45 | - | 50 | 12k| 0 | 0 | 22 |2513k|6702 | 0.000000e+00 | -- | Inf
855.62/855.91 c 856s| 4550k|918430 | 10283k| 2.3 | 779M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2519k|6722 | 0.000000e+00 | -- | Inf
857.82/858.17 c 858s| 4560k|920299 | 10306k| 2.3 | 781M| 45 | 6 | 50 | 12k| 50 | 17 | 22 |2525k|6762 | 0.000000e+00 | -- | Inf
860.42/860.71 c 861s| 4570k|921958 | 10328k| 2.3 | 783M| 45 | - | 50 | 14k| 50 | 17 | 22 |2530k|6762 | 0.000000e+00 | -- | Inf
863.42/863.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
863.42/863.73 c 864s| 4580k|923479 | 10351k| 2.3 | 784M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2536k|6766 | 0.000000e+00 | -- | Inf
866.22/866.55 c 867s| 4590k|924910 | 10374k| 2.3 | 785M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2542k|6772 | 0.000000e+00 | -- | Inf
868.51/868.84 c 869s| 4600k|927100 | 10397k| 2.3 | 787M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2548k|6772 | 0.000000e+00 | -- | Inf
871.51/871.81 c 872s| 4610k|928432 | 10420k| 2.3 | 789M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2554k|6791 | 0.000000e+00 | -- | Inf
874.12/874.45 c 874s| 4620k|930277 | 10443k| 2.3 | 790M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2559k|6793 | 0.000000e+00 | -- | Inf
876.82/877.17 c 877s| 4630k|931685 | 10466k| 2.3 | 792M| 45 | - | 50 | 11k| 50 | 17 | 22 |2565k|6820 | 0.000000e+00 | -- | Inf
879.21/879.59 c 880s| 4640k|933593 | 10490k| 2.3 | 793M| 45 | - | 50 | 11k| 50 | 17 | 22 |2571k|6833 | 0.000000e+00 | -- | Inf
881.82/882.12 c 882s| 4650k|935107 | 10514k| 2.3 | 795M| 45 | 6 | 50 | 12k| 50 | 17 | 22 |2578k|6833 | 0.000000e+00 | -- | Inf
884.82/885.17 c 885s| 4660k|936314 | 10537k| 2.3 | 796M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2584k|6864 | 0.000000e+00 | -- | Inf
887.71/888.09 c 888s| 4670k|937611 | 10560k| 2.3 | 798M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2590k|6866 | 0.000000e+00 | -- | Inf
890.51/890.83 c 891s| 4680k|939091 | 10583k| 2.3 | 799M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2596k|6866 | 0.000000e+00 | -- | Inf
893.31/893.61 c 894s| 4690k|940476 | 10606k| 2.3 | 801M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2603k|6920 | 0.000000e+00 | -- | Inf
896.12/896.42 c 896s| 4700k|941993 | 10629k| 2.3 | 802M| 45 | - | 50 | 12k| 50 | 17 | 22 |2609k|6932 | 0.000000e+00 | -- | Inf
898.91/899.22 c 899s| 4710k|943473 | 10652k| 2.3 | 804M| 45 | - | 50 | 12k| 50 | 17 | 22 |2615k|6940 | 0.000000e+00 | -- | Inf
901.81/902.14 c 902s| 4720k|944727 | 10675k| 2.3 | 805M| 45 | - | 50 | 11k| 0 | 0 | 22 |2621k|6956 | 0.000000e+00 | -- | Inf
904.51/904.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
904.51/904.87 c 905s| 4730k|946315 | 10697k| 2.3 | 807M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2626k|6956 | 0.000000e+00 | -- | Inf
907.71/908.04 c 908s| 4740k|947255 | 10720k| 2.3 | 808M| 45 | - | 50 | 11k| 50 | 17 | 22 |2633k|6972 | 0.000000e+00 | -- | Inf
910.61/910.99 c 911s| 4750k|948282 | 10743k| 2.3 | 809M| 45 | - | 50 | 11k| 50 | 17 | 22 |2639k|6981 | 0.000000e+00 | -- | Inf
913.21/913.52 c 914s| 4760k|949820 | 10766k| 2.3 | 810M| 45 | 6 | 50 |7881 | 50 | 17 | 22 |2645k|6982 | 0.000000e+00 | -- | Inf
915.51/915.83 c 916s| 4770k|951436 | 10788k| 2.3 | 811M| 45 | - | 50 |6350 | 50 | 17 | 22 |2651k|6982 | 0.000000e+00 | -- | Inf
917.71/918.02 c 918s| 4780k|952958 | 10811k| 2.3 | 812M| 45 | - | 50 |6060 | 50 | 17 | 22 |2657k|6983 | 0.000000e+00 | -- | Inf
919.91/920.23 c 920s| 4790k|954401 | 10833k| 2.3 | 814M| 45 | 6 | 50 |5889 | 50 | 17 | 22 |2663k|6983 | 0.000000e+00 | -- | Inf
921.91/922.23 c 922s| 4800k|956116 | 10856k| 2.3 | 816M| 45 | - | 50 |6987 | 50 | 17 | 22 |2669k|6983 | 0.000000e+00 | -- | Inf
924.00/924.34 c 924s| 4810k|957589 | 10877k| 2.3 | 817M| 45 | 6 | 50 |7599 | 50 | 17 | 22 |2674k|6988 | 0.000000e+00 | -- | Inf
926.21/926.56 c 927s| 4820k|959553 | 10900k| 2.3 | 819M| 45 | 6 | 50 |6794 | 50 | 17 | 22 |2680k|6990 | 0.000000e+00 | -- | Inf
928.31/928.63 c 929s| 4830k|961154 | 10922k| 2.3 | 820M| 45 | 6 | 50 |7751 | 50 | 17 | 22 |2686k|6991 | 0.000000e+00 | -- | Inf
930.21/930.54 c 931s| 4840k|963797 | 10946k| 2.3 | 823M| 45 | - | 50 |8301 | 50 | 17 | 22 |2691k|7040 | 0.000000e+00 | -- | Inf
932.41/932.77 c 933s| 4850k|965673 | 10969k| 2.3 | 825M| 45 | - | 50 |9073 | 50 | 17 | 22 |2697k|7040 | 0.000000e+00 | -- | Inf
934.71/935.04 c 935s| 4860k|967428 | 10992k| 2.3 | 826M| 45 | - | 50 |9300 | 50 | 17 | 22 |2703k|7040 | 0.000000e+00 | -- | Inf
936.91/937.25 c 937s| 4870k|969954 | 11015k| 2.3 | 828M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2708k|7040 | 0.000000e+00 | -- | Inf
939.31/939.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
939.31/939.67 c 940s| 4880k|972107 | 11038k| 2.3 | 830M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2714k|7040 | 0.000000e+00 | -- | Inf
941.91/942.23 c 942s| 4890k|973875 | 11060k| 2.3 | 832M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2719k|7040 | 0.000000e+00 | -- | Inf
944.51/944.82 c 945s| 4900k|975558 | 11083k| 2.3 | 833M| 45 | 6 | 50 |9572 | 50 | 17 | 22 |2725k|7040 | 0.000000e+00 | -- | Inf
947.00/947.32 c 947s| 4910k|977034 | 11106k| 2.3 | 834M| 45 | 6 | 50 |8529 | 50 | 17 | 22 |2731k|7040 | 0.000000e+00 | -- | Inf
949.50/949.81 c 950s| 4920k|978393 | 11129k| 2.3 | 836M| 45 | 6 | 50 |8775 | 50 | 17 | 22 |2737k|7040 | 0.000000e+00 | -- | Inf
951.91/952.22 c 952s| 4930k|979988 | 11152k| 2.3 | 838M| 45 | 6 | 50 |9187 | 50 | 17 | 22 |2743k|7040 | 0.000000e+00 | -- | Inf
954.41/954.76 c 955s| 4940k|981342 | 11175k| 2.3 | 839M| 45 | 6 | 50 |8973 | 50 | 17 | 22 |2749k|7040 | 0.000000e+00 | -- | Inf
956.80/957.16 c 957s| 4950k|982907 | 11199k| 2.3 | 841M| 45 | 6 | 50 |9214 | 50 | 17 | 22 |2756k|7040 | 0.000000e+00 | -- | Inf
959.60/959.94 c 960s| 4960k|983923 | 11222k| 2.3 | 842M| 45 | - | 50 |8515 | 50 | 17 | 22 |2762k|7040 | 0.000000e+00 | -- | Inf
961.90/962.21 c 962s| 4970k|985648 | 11244k| 2.3 | 844M| 45 | - | 50 | 10k| 0 | 0 | 22 |2768k|7040 | 0.000000e+00 | -- | Inf
964.20/964.55 c 965s| 4980k|987649 | 11266k| 2.3 | 846M| 45 | - | 50 | 10k| 50 | 17 | 22 |2773k|7041 | 0.000000e+00 | -- | Inf
966.80/967.12 c 967s| 4990k|989190 | 11288k| 2.3 | 847M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2779k|7047 | 0.000000e+00 | -- | Inf
969.10/969.46 c 969s| 5000k|991079 | 11311k| 2.3 | 849M| 45 | 6 | 50 |9742 | 50 | 17 | 22 |2785k|7052 | 0.000000e+00 | -- | Inf
971.50/971.88 c 972s| 5010k|992644 | 11335k| 2.3 | 850M| 45 | - | 50 | 10k| 50 | 17 | 22 |2791k|7056 | 0.000000e+00 | -- | Inf
974.31/974.67 c 975s| 5020k|993853 | 11358k| 2.3 | 851M| 45 | 6 | 50 |9986 | 50 | 17 | 22 |2797k|7058 | 0.000000e+00 | -- | Inf
976.60/976.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
976.60/976.94 c 977s| 5030k|995931 | 11381k| 2.3 | 853M| 45 | - | 50 | 10k| 50 | 17 | 22 |2803k|7061 | 0.000000e+00 | -- | Inf
979.00/979.35 c 979s| 5040k|997480 | 11404k| 2.3 | 855M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2808k|7064 | 0.000000e+00 | -- | Inf
981.50/981.88 c 982s| 5050k|999416 | 11427k| 2.3 | 857M| 45 | - | 50 | 11k| 50 | 17 | 22 |2814k|7066 | 0.000000e+00 | -- | Inf
984.40/984.78 c 985s| 5060k| 1000k| 11451k| 2.3 | 858M| 45 | - | 50 | 11k| 50 | 17 | 22 |2820k|7069 | 0.000000e+00 | -- | Inf
987.20/987.55 c 988s| 5070k| 1002k| 11474k| 2.3 | 860M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2827k|7073 | 0.000000e+00 | -- | Inf
990.20/990.50 c 990s| 5080k| 1003k| 11497k| 2.3 | 861M| 45 | 6 | 50 |8951 | 50 | 17 | 22 |2833k|7081 | 0.000000e+00 | -- | Inf
992.90/993.24 c 993s| 5090k| 1004k| 11519k| 2.3 | 862M| 45 | 6 | 50 |8788 | 50 | 17 | 22 |2839k|7086 | 0.000000e+00 | -- | Inf
995.49/995.89 c 996s| 5100k| 1005k| 11542k| 2.3 | 863M| 45 | 6 | 50 |8544 | 50 | 17 | 22 |2845k|7092 | 0.000000e+00 | -- | Inf
997.80/998.13 c 998s| 5110k| 1007k| 11564k| 2.3 | 865M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2851k|7098 | 0.000000e+00 | -- | Inf
1000.50/1000.82 c 1001s| 5120k| 1008k| 11585k| 2.3 | 866M| 45 | - | 50 | 10k| 50 | 17 | 22 |2857k|7105 | 0.000000e+00 | -- | Inf
1003.10/1003.48 c 1003s| 5130k| 1010k| 11609k| 2.3 | 867M| 45 | 6 | 50 |6777 | 50 | 17 | 22 |2863k|7109 | 0.000000e+00 | -- | Inf
1005.50/1005.82 c 1006s| 5140k| 1011k| 11631k| 2.3 | 868M| 45 | 6 | 50 |6083 | 50 | 17 | 22 |2869k|7114 | 0.000000e+00 | -- | Inf
1007.79/1008.19 c 1008s| 5150k| 1013k| 11654k| 2.3 | 870M| 45 | 6 | 50 |5428 | 50 | 17 | 22 |2875k|7119 | 0.000000e+00 | -- | Inf
1009.99/1010.39 c 1010s| 5160k| 1014k| 11677k| 2.3 | 871M| 45 | 6 | 50 |6233 | 50 | 17 | 22 |2880k|7124 | 0.000000e+00 | -- | Inf
1012.30/1012.68 c 1013s| 5170k| 1016k| 11700k| 2.3 | 873M| 45 | - | 50 |6015 | 50 | 17 | 22 |2886k|7131 | 0.000000e+00 | -- | Inf
1014.59/1014.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1014.59/1014.99 c 1015s| 5180k| 1017k| 11722k| 2.3 | 874M| 45 | - | 50 |5778 | 50 | 17 | 22 |2892k|7134 | 0.000000e+00 | -- | Inf
1016.69/1017.04 c 1017s| 5190k| 1018k| 11745k| 2.3 | 876M| 45 | 6 | 50 |7156 | 50 | 17 | 22 |2898k|7141 | 0.000000e+00 | -- | Inf
1018.99/1019.39 c 1019s| 5200k| 1020k| 11768k| 2.3 | 877M| 45 | 6 | 50 |6337 | 50 | 17 | 22 |2904k|7149 | 0.000000e+00 | -- | Inf
1021.30/1021.64 c 1022s| 5210k| 1022k| 11791k| 2.3 | 879M| 45 | 6 | 50 |6532 | 50 | 17 | 22 |2910k|7153 | 0.000000e+00 | -- | Inf
1023.49/1023.86 c 1024s| 5220k| 1023k| 11813k| 2.3 | 880M| 45 | 6 | 50 |5872 | 50 | 17 | 22 |2916k|7157 | 0.000000e+00 | -- | Inf
1025.29/1025.60 c 1026s| 5230k| 1026k| 11837k| 2.3 | 883M| 45 | 6 | 50 |7706 | 50 | 17 | 22 |2921k|7160 | 0.000000e+00 | -- | Inf
1027.30/1027.65 c 1028s| 5240k| 1029k| 11861k| 2.3 | 885M| 45 | 6 | 50 |7268 | 50 | 17 | 22 |2926k|7163 | 0.000000e+00 | -- | Inf
1029.30/1029.66 c 1030s| 5250k| 1032k| 11885k| 2.3 | 887M| 45 | 6 | 50 |7911 | 50 | 17 | 22 |2930k|7166 | 0.000000e+00 | -- | Inf
1031.39/1031.80 c 1032s| 5260k| 1035k| 11908k| 2.3 | 888M| 45 | - | 50 |8015 | 50 | 17 | 22 |2935k|7169 | 0.000000e+00 | -- | Inf
1033.70/1034.09 c 1034s| 5270k| 1037k| 11932k| 2.3 | 890M| 45 | 6 | 50 |7564 | 50 | 17 | 22 |2941k|7174 | 0.000000e+00 | -- | Inf
1036.19/1036.50 c 1036s| 5280k| 1039k| 11956k| 2.3 | 892M| 45 | 6 | 50 |7765 | 50 | 17 | 22 |2946k|7179 | 0.000000e+00 | -- | Inf
1038.59/1038.95 c 1039s| 5290k| 1041k| 11980k| 2.3 | 893M| 45 | 6 | 50 |7444 | 50 | 17 | 22 |2952k|7191 | 0.000000e+00 | -- | Inf
1040.99/1041.35 c 1041s| 5300k| 1043k| 12005k| 2.3 | 895M| 45 | 6 | 50 |7977 | 50 | 17 | 22 |2957k|7197 | 0.000000e+00 | -- | Inf
1043.49/1043.81 c 1044s| 5310k| 1045k| 12029k| 2.3 | 897M| 45 | - | 50 |8014 | 50 | 17 | 22 |2963k|7208 | 0.000000e+00 | -- | Inf
1045.89/1046.25 c 1046s| 5320k| 1047k| 12053k| 2.3 | 899M| 45 | 6 | 50 |8163 | 50 | 17 | 22 |2968k|7214 | 0.000000e+00 | -- | Inf
1048.29/1048.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1048.29/1048.69 c 1049s| 5330k| 1049k| 12077k| 2.3 | 900M| 45 | 6 | 50 |8365 | 50 | 17 | 22 |2974k|7224 | 0.000000e+00 | -- | Inf
1050.89/1051.20 c 1051s| 5340k| 1051k| 12100k| 2.3 | 902M| 45 | 6 | 50 |7665 | 50 | 17 | 22 |2979k|7230 | 0.000000e+00 | -- | Inf
1053.29/1053.60 c 1054s| 5350k| 1053k| 12124k| 2.3 | 903M| 45 | 6 | 50 |8450 | 50 | 17 | 22 |2984k|7237 | 0.000000e+00 | -- | Inf
1055.70/1056.01 c 1056s| 5360k| 1055k| 12149k| 2.3 | 905M| 45 | 6 | 50 |9310 | 50 | 17 | 22 |2990k|7243 | 0.000000e+00 | -- | Inf
1058.19/1058.59 c 1059s| 5370k| 1057k| 12174k| 2.3 | 907M| 45 | 6 | 50 |8971 | 50 | 17 | 22 |2995k|7247 | 0.000000e+00 | -- | Inf
1060.98/1061.36 c 1061s| 5380k| 1058k| 12197k| 2.3 | 908M| 45 | 6 | 50 |7825 | 50 | 17 | 22 |3001k|7253 | 0.000000e+00 | -- | Inf
1062.99/1063.38 c 1063s| 5390k| 1061k| 12221k| 2.3 | 910M| 45 | 6 | 50 |9322 | 50 | 17 | 22 |3006k|7257 | 0.000000e+00 | -- | Inf
1065.49/1065.80 c 1066s| 5400k| 1063k| 12244k| 2.3 | 912M| 45 | - | 50 |9778 | 50 | 17 | 22 |3012k|7265 | 0.000000e+00 | -- | Inf
1068.09/1068.49 c 1068s| 5410k| 1064k| 12268k| 2.3 | 914M| 45 | - | 50 | 10k| 50 | 17 | 22 |3018k|7271 | 0.000000e+00 | -- | Inf
1071.09/1071.45 c 1071s| 5420k| 1066k| 12292k| 2.3 | 915M| 45 | 6 | 50 |8442 | 50 | 17 | 22 |3024k|7281 | 0.000000e+00 | -- | Inf
1073.49/1073.82 c 1074s| 5430k| 1068k| 12316k| 2.3 | 917M| 45 | 6 | 50 |9581 | 50 | 17 | 22 |3029k|7286 | 0.000000e+00 | -- | Inf
1076.38/1076.75 c 1077s| 5440k| 1069k| 12340k| 2.3 | 918M| 45 | 6 | 50 |7783 | 50 | 17 | 22 |3035k|7295 | 0.000000e+00 | -- | Inf
1078.89/1079.28 c 1079s| 5450k| 1070k| 12363k| 2.3 | 918M| 45 | 6 | 50 |5601 | 50 | 17 | 22 |3041k|7297 | 0.000000e+00 | -- | Inf
1081.08/1081.44 c 1081s| 5460k| 1072k| 12386k| 2.3 | 920M| 45 | - | 50 |6235 | 50 | 17 | 22 |3047k|7305 | 0.000000e+00 | -- | Inf
1083.49/1083.81 c 1084s| 5470k| 1073k| 12409k| 2.3 | 922M| 45 | 6 | 50 |5916 | 50 | 17 | 22 |3053k|7314 | 0.000000e+00 | -- | Inf
1085.58/1085.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1085.58/1085.97 c 1086s| 5480k| 1075k| 12430k| 2.3 | 923M| 45 | 6 | 50 |5642 | 50 | 17 | 22 |3059k|7319 | 0.000000e+00 | -- | Inf
1087.89/1088.20 c 1088s| 5490k| 1076k| 12452k| 2.3 | 925M| 45 | 6 | 50 |6097 | 50 | 17 | 22 |3065k|7325 | 0.000000e+00 | -- | Inf
1089.88/1090.21 c 1090s| 5500k| 1078k| 12474k| 2.3 | 927M| 45 | 6 | 50 |7248 | 50 | 17 | 22 |3070k|7335 | 0.000000e+00 | -- | Inf
1092.19/1092.53 c 1093s| 5510k| 1080k| 12497k| 2.3 | 928M| 45 | 6 | 50 |6421 | 50 | 17 | 22 |3076k|7341 | 0.000000e+00 | -- | Inf
1094.39/1094.75 c 1095s| 5520k| 1081k| 12520k| 2.3 | 930M| 45 | - | 50 |7135 | 0 | 0 | 22 |3082k|7349 | 0.000000e+00 | -- | Inf
1096.68/1097.07 c 1097s| 5530k| 1083k| 12542k| 2.3 | 931M| 45 | - | 50 |6818 | 50 | 17 | 22 |3088k|7355 | 0.000000e+00 | -- | Inf
1098.88/1099.26 c 1099s| 5540k| 1084k| 12564k| 2.3 | 932M| 45 | 6 | 50 |6719 | 50 | 17 | 22 |3094k|7359 | 0.000000e+00 | -- | Inf
1101.28/1101.62 c 1102s| 5550k| 1085k| 12587k| 2.3 | 934M| 45 | 6 | 50 |6766 | 50 | 17 | 22 |3100k|7364 | 0.000000e+00 | -- | Inf
1103.48/1103.83 c 1104s| 5560k| 1087k| 12610k| 2.3 | 935M| 45 | 6 | 50 |5443 | 50 | 17 | 22 |3105k|7367 | 0.000000e+00 | -- | Inf
1105.38/1105.72 c 1106s| 5570k| 1090k| 12632k| 2.3 | 937M| 45 | - | 50 |6777 | 50 | 17 | 22 |3110k|7374 | 0.000000e+00 | -- | Inf
1107.39/1107.79 c 1108s| 5580k| 1092k| 12654k| 2.3 | 939M| 45 | 6 | 50 |6980 | 50 | 17 | 22 |3115k|7376 | 0.000000e+00 | -- | Inf
1109.58/1109.97 c 1110s| 5590k| 1094k| 12677k| 2.3 | 941M| 45 | 6 | 50 |7742 | 50 | 17 | 22 |3121k|7384 | 0.000000e+00 | -- | Inf
1111.88/1112.27 c 1112s| 5600k| 1096k| 12698k| 2.3 | 942M| 45 | 6 | 50 |8163 | 50 | 17 | 22 |3126k|7393 | 0.000000e+00 | -- | Inf
1114.38/1114.71 c 1115s| 5610k| 1097k| 12721k| 2.3 | 944M| 45 | - | 50 |8184 | 50 | 17 | 22 |3132k|7401 | 0.000000e+00 | -- | Inf
1116.78/1117.10 c 1117s| 5620k| 1099k| 12743k| 2.3 | 945M| 45 | 6 | 50 |7919 | 50 | 17 | 22 |3137k|7410 | 0.000000e+00 | -- | Inf
1119.28/1119.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1119.28/1119.64 c 1120s| 5630k| 1100k| 12765k| 2.3 | 946M| 45 | 6 | 50 |6934 | 50 | 17 | 22 |3143k|7416 | 0.000000e+00 | -- | Inf
1121.59/1121.94 c 1122s| 5640k| 1102k| 12788k| 2.3 | 948M| 45 | - | 50 |7277 | 50 | 17 | 22 |3149k|7427 | 0.000000e+00 | -- | Inf
1123.88/1124.25 c 1124s| 5650k| 1104k| 12810k| 2.3 | 950M| 45 | - | 50 |8340 | 50 | 17 | 22 |3155k|7429 | 0.000000e+00 | -- | Inf
1126.28/1126.63 c 1127s| 5660k| 1105k| 12833k| 2.3 | 951M| 45 | - | 50 |8126 | 50 | 17 | 22 |3161k|7434 | 0.000000e+00 | -- | Inf
1128.68/1129.09 c 1129s| 5670k| 1107k| 12856k| 2.3 | 953M| 45 | - | 50 |7762 | 50 | 17 | 22 |3167k|7442 | 0.000000e+00 | -- | Inf
1130.88/1131.20 c 1131s| 5680k| 1108k| 12877k| 2.3 | 954M| 45 | - | 50 |8482 | 50 | 17 | 22 |3172k|7444 | 0.000000e+00 | -- | Inf
1133.38/1133.74 c 1134s| 5690k| 1110k| 12899k| 2.3 | 956M| 45 | 6 | 50 |7142 | 50 | 17 | 22 |3178k|7457 | 0.000000e+00 | -- | Inf
1135.37/1135.76 c 1136s| 5700k| 1113k| 12921k| 2.3 | 958M| 45 | 6 | 50 |8285 | 50 | 17 | 22 |3182k|7463 | 0.000000e+00 | -- | Inf
1137.57/1137.95 c 1138s| 5710k| 1115k| 12943k| 2.3 | 960M| 45 | 6 | 50 |9159 | 50 | 17 | 22 |3188k|7470 | 0.000000e+00 | -- | Inf
1139.77/1140.16 c 1140s| 5720k| 1117k| 12964k| 2.3 | 961M| 45 | - | 50 | 10k| 50 | 17 | 22 |3192k|7474 | 0.000000e+00 | -- | Inf
1142.27/1142.68 c 1143s| 5730k| 1119k| 12986k| 2.3 | 963M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3198k|7479 | 0.000000e+00 | -- | Inf
1145.18/1145.50 c 1145s| 5740k| 1120k| 13009k| 2.3 | 964M| 45 | 6 | 50 |9691 | 50 | 17 | 22 |3203k|7483 | 0.000000e+00 | -- | Inf
1147.57/1147.98 c 1148s| 5750k| 1122k| 13031k| 2.3 | 966M| 45 | - | 50 |8881 | 50 | 17 | 22 |3209k|7487 | 0.000000e+00 | -- | Inf
1150.18/1150.57 c 1151s| 5760k| 1123k| 13054k| 2.3 | 967M| 45 | - | 50 |7536 | 50 | 17 | 22 |3215k|7491 | 0.000000e+00 | -- | Inf
1152.27/1152.60 c 1153s| 5770k| 1126k| 13076k| 2.3 | 969M| 45 | - | 50 |9524 | 0 | 0 | 22 |3220k|7493 | 0.000000e+00 | -- | Inf
1154.58/1154.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1154.58/1154.99 c 1155s| 5780k| 1128k| 13097k| 2.3 | 971M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3225k|7496 | 0.000000e+00 | -- | Inf
1157.18/1157.54 c 1158s| 5790k| 1129k| 13119k| 2.3 | 973M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3230k|7498 | 0.000000e+00 | -- | Inf
1160.08/1160.47 c 1160s| 5800k| 1131k| 13141k| 2.3 | 973M| 45 | - | 50 |7862 | 0 | 0 | 22 |3236k|7504 | 0.000000e+00 | -- | Inf
1162.67/1163.04 c 1163s| 5810k| 1132k| 13163k| 2.3 | 975M| 45 | 6 | 50 |6602 | 50 | 17 | 22 |3242k|7508 | 0.000000e+00 | -- | Inf
1164.57/1164.99 c 1165s| 5820k| 1135k| 13187k| 2.3 | 977M| 45 | - | 50 |7898 | 50 | 17 | 22 |3247k|7512 | 0.000000e+00 | -- | Inf
1166.97/1167.36 c 1167s| 5830k| 1137k| 13210k| 2.3 | 979M| 45 | - | 50 |7881 | 50 | 17 | 22 |3253k|7515 | 0.000000e+00 | -- | Inf
1169.27/1169.69 c 1170s| 5840k| 1139k| 13234k| 2.3 | 981M| 45 | 6 | 50 |8876 | 50 | 17 | 22 |3258k|7522 | 0.000000e+00 | -- | Inf
1171.97/1172.37 c 1172s| 5850k| 1140k| 13257k| 2.3 | 982M| 45 | 6 | 50 |8725 | 50 | 17 | 22 |3264k|7531 | 0.000000e+00 | -- | Inf
1174.67/1175.03 c 1175s| 5860k| 1142k| 13280k| 2.3 | 984M| 45 | 6 | 50 |9090 | 50 | 17 | 22 |3270k|7537 | 0.000000e+00 | -- | Inf
1177.47/1177.83 c 1178s| 5870k| 1143k| 13302k| 2.3 | 985M| 45 | - | 50 |6905 | 50 | 17 | 22 |3276k|7542 | 0.000000e+00 | -- | Inf
1179.88/1180.25 c 1180s| 5880k| 1144k| 13325k| 2.3 | 986M| 45 | 6 | 50 |6554 | 50 | 17 | 22 |3282k|7548 | 0.000000e+00 | -- | Inf
1182.17/1182.52 c 1183s| 5890k| 1146k| 13348k| 2.3 | 988M| 45 | 6 | 50 |7865 | 50 | 17 | 22 |3288k|7553 | 0.000000e+00 | -- | Inf
1184.47/1184.88 c 1185s| 5900k| 1147k| 13371k| 2.3 | 990M| 45 | - | 50 |8851 | 50 | 17 | 22 |3294k|7558 | 0.000000e+00 | -- | Inf
1187.07/1187.46 c 1187s| 5910k| 1149k| 13393k| 2.3 | 991M| 45 | 6 | 50 |6567 | 50 | 17 | 22 |3300k|7567 | 0.000000e+00 | -- | Inf
1189.46/1189.81 c 1190s| 5920k| 1150k| 13415k| 2.3 | 992M| 45 | 6 | 50 |7042 | 50 | 17 | 22 |3306k|7569 | 0.000000e+00 | -- | Inf
1191.97/1192.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1191.97/1192.40 c 1192s| 5930k| 1151k| 13438k| 2.3 | 993M| 45 | - | 50 |5348 | 0 | 0 | 22 |3312k|7575 | 0.000000e+00 | -- | Inf
1194.27/1194.62 c 1195s| 5940k| 1153k| 13461k| 2.3 | 995M| 45 | 6 | 50 |4968 | 50 | 17 | 22 |3318k|7582 | 0.000000e+00 | -- | Inf
1196.16/1196.51 c 1197s| 5950k| 1156k| 13485k| 2.3 | 997M| 45 | 6 | 50 |6678 | 50 | 17 | 22 |3323k|7597 | 0.000000e+00 | -- | Inf
1198.17/1198.59 c 1199s| 5960k| 1158k| 13509k| 2.3 | 999M| 45 | 6 | 50 |7700 | 50 | 17 | 22 |3328k|7600 | 0.000000e+00 | -- | Inf
1200.47/1200.82 c 1201s| 5970k| 1160k| 13533k| 2.3 |1001M| 45 | 6 | 50 |8036 | 50 | 17 | 22 |3334k|7606 | 0.000000e+00 | -- | Inf
1202.98/1203.34 c 1203s| 5980k| 1161k| 13558k| 2.3 |1002M| 45 | 6 | 50 |7785 | 50 | 17 | 22 |3340k|7613 | 0.000000e+00 | -- | Inf
1205.06/1205.47 c 1205s| 5990k| 1163k| 13581k| 2.3 |1005M| 45 | 6 | 50 |9510 | 50 | 17 | 22 |3345k|7618 | 0.000000e+00 | -- | Inf
1207.57/1207.97 c 1208s| 6000k| 1165k| 13605k| 2.3 |1006M| 45 | - | 50 |9253 | 50 | 17 | 22 |3351k|7622 | 0.000000e+00 | -- | Inf
1209.77/1210.15 c 1210s| 6010k| 1168k| 13629k| 2.3 |1008M| 45 | 6 | 50 |9847 | 50 | 17 | 22 |3356k|7625 | 0.000000e+00 | -- | Inf
1212.26/1212.61 c 1213s| 6020k| 1170k| 13652k| 2.3 |1010M| 45 | - | 50 | 10k| 50 | 17 | 22 |3361k|7634 | 0.000000e+00 | -- | Inf
1214.86/1215.26 c 1215s| 6030k| 1172k| 13675k| 2.3 |1011M| 45 | 6 | 50 |8608 | 50 | 17 | 22 |3367k|7639 | 0.000000e+00 | -- | Inf
1217.46/1217.84 c 1218s| 6040k| 1174k| 13699k| 2.3 |1013M| 45 | 6 | 50 |8918 | 50 | 17 | 22 |3372k|7643 | 0.000000e+00 | -- | Inf
1219.97/1220.35 c 1220s| 6050k| 1175k| 13722k| 2.3 |1014M| 45 | 6 | 50 |8297 | 50 | 17 | 22 |3378k|7650 | 0.000000e+00 | -- | Inf
1222.46/1222.87 c 1223s| 6060k| 1177k| 13745k| 2.3 |1016M| 45 | - | 50 |9159 | 50 | 17 | 22 |3384k|7656 | 0.000000e+00 | -- | Inf
1224.86/1225.28 c 1225s| 6070k| 1179k| 13768k| 2.3 |1018M| 45 | - | 50 |9210 | 0 | 0 | 22 |3389k|7665 | 0.000000e+00 | -- | Inf
1227.46/1227.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1227.46/1227.88 c 1228s| 6080k| 1180k| 13791k| 2.3 |1019M| 45 | - | 50 |8440 | 50 | 17 | 22 |3395k|7669 | 0.000000e+00 | -- | Inf
1229.96/1230.37 c 1230s| 6090k| 1182k| 13814k| 2.3 |1021M| 45 | 6 | 50 |9124 | 50 | 17 | 22 |3400k|7672 | 0.000000e+00 | -- | Inf
1232.96/1233.37 c 1233s| 6100k| 1183k| 13837k| 2.3 |1022M| 45 | 6 | 50 |8616 | 50 | 17 | 22 |3406k|7676 | 0.000000e+00 | -- | Inf
1235.36/1235.78 c 1236s| 6110k| 1185k| 13860k| 2.3 |1024M| 45 | - | 50 |9668 | 50 | 17 | 22 |3412k|7686 | 0.000000e+00 | -- | Inf
1237.96/1238.31 c 1238s| 6120k| 1186k| 13883k| 2.3 |1025M| 45 | - | 50 | 10k| 50 | 17 | 22 |3417k|7691 | 0.000000e+00 | -- | Inf
1240.37/1240.78 c 1241s| 6130k| 1189k| 13907k| 2.3 |1027M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3423k|7695 | 0.000000e+00 | -- | Inf
1242.96/1243.31 c 1243s| 6140k| 1191k| 13930k| 2.3 |1029M| 45 | - | 50 | 11k| 50 | 17 | 22 |3428k|7699 | 0.000000e+00 | -- | Inf
1245.76/1246.18 c 1246s| 6150k| 1193k| 13954k| 2.3 |1031M| 45 | - | 50 | 11k| 50 | 17 | 22 |3433k|7706 | 0.000000e+00 | -- | Inf
1248.66/1249.06 c 1249s| 6160k| 1194k| 13978k| 2.3 |1032M| 45 | - | 50 | 11k| 50 | 17 | 22 |3439k|7715 | 0.000000e+00 | -- | Inf
1251.75/1252.13 c 1252s| 6170k| 1196k| 14001k| 2.3 |1034M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |3445k|7722 | 0.000000e+00 | -- | Inf
1254.96/1255.30 c 1255s| 6180k| 1197k| 14025k| 2.3 |1035M| 45 | 6 | 50 |9862 | 50 | 17 | 22 |3451k|7727 | 0.000000e+00 | -- | Inf
1257.46/1257.88 c 1258s| 6190k| 1198k| 14048k| 2.3 |1036M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |3457k|7736 | 0.000000e+00 | -- | Inf
1260.76/1261.13 c 1261s| 6200k| 1200k| 14071k| 2.3 |1037M| 45 | 6 | 50 |9614 | 50 | 17 | 22 |3463k|7744 | 0.000000e+00 | -- | Inf
1263.75/1264.13 c 1264s| 6210k| 1201k| 14094k| 2.3 |1039M| 45 | 6 | 50 |9404 | 50 | 17 | 22 |3468k|7752 | 0.000000e+00 | -- | Inf
1266.55/1266.98 c 1267s| 6220k| 1202k| 14116k| 2.3 |1039M| 45 | - | 50 |6851 | 50 | 17 | 22 |3474k|7760 | 0.000000e+00 | -- | Inf
1269.06/1269.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1269.06/1269.46 c 1269s| 6230k| 1203k| 14139k| 2.3 |1041M| 45 | 6 | 50 |6317 | 50 | 17 | 22 |3480k|7767 | 0.000000e+00 | -- | Inf
1271.35/1271.77 c 1272s| 6240k| 1205k| 14161k| 2.3 |1042M| 45 | 6 | 50 |6201 | 50 | 17 | 22 |3486k|7776 | 0.000000e+00 | -- | Inf
1273.76/1274.17 c 1274s| 6250k| 1206k| 14184k| 2.3 |1044M| 45 | - | 50 |5976 | 0 | 0 | 22 |3492k|7784 | 0.000000e+00 | -- | Inf
1275.85/1276.24 c 1276s| 6260k| 1208k| 14207k| 2.3 |1046M| 45 | 6 | 50 |7642 | 50 | 17 | 22 |3498k|7785 | 0.000000e+00 | -- | Inf
1278.16/1278.51 c 1279s| 6270k| 1210k| 14230k| 2.3 |1047M| 45 | - | 50 |8076 | 50 | 17 | 22 |3503k|7789 | 0.000000e+00 | -- | Inf
1280.65/1281.01 c 1281s| 6280k| 1212k| 14254k| 2.3 |1049M| 45 | 6 | 50 |8008 | 50 | 17 | 22 |3509k|7795 | 0.000000e+00 | -- | Inf
1282.96/1283.38 c 1283s| 6290k| 1213k| 14277k| 2.3 |1050M| 45 | - | 50 |7450 | 50 | 17 | 22 |3515k|7799 | 0.000000e+00 | -- | Inf
1285.25/1285.67 c 1286s| 6300k| 1215k| 14301k| 2.3 |1052M| 45 | 6 | 50 |9090 | 50 | 17 | 22 |3521k|7802 | 0.000000e+00 | -- | Inf
1287.66/1288.10 c 1288s| 6310k| 1216k| 14325k| 2.3 |1054M| 45 | - | 50 |9131 | 0 | 0 | 22 |3528k|7807 | 0.000000e+00 | -- | Inf
1290.35/1290.73 c 1291s| 6320k| 1218k| 14349k| 2.3 |1055M| 45 | 6 | 50 |9989 | 50 | 17 | 22 |3534k|7810 | 0.000000e+00 | -- | Inf
1293.35/1293.73 c 1294s| 6330k| 1219k| 14372k| 2.3 |1056M| 45 | - | 50 |6936 | 0 | 0 | 22 |3541k|7812 | 0.000000e+00 | -- | Inf
1295.85/1296.22 c 1296s| 6340k| 1220k| 14395k| 2.3 |1057M| 45 | 6 | 50 |6471 | 50 | 17 | 22 |3547k|7814 | 0.000000e+00 | -- | Inf
1298.25/1298.63 c 1299s| 6350k| 1221k| 14417k| 2.3 |1059M| 45 | - | 50 |7048 | 50 | 17 | 22 |3553k|7817 | 0.000000e+00 | -- | Inf
1300.75/1301.20 c 1301s| 6360k| 1222k| 14440k| 2.3 |1060M| 45 | 6 | 50 |6435 | 50 | 17 | 22 |3559k|7824 | 0.000000e+00 | -- | Inf
1303.25/1303.63 c 1304s| 6370k| 1224k| 14463k| 2.3 |1061M| 45 | 6 | 50 |6692 | 50 | 17 | 22 |3565k|7828 | 0.000000e+00 | -- | Inf
1305.44/1305.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1305.44/1305.89 c 1306s| 6380k| 1225k| 14485k| 2.3 |1063M| 45 | 6 | 50 |7567 | 50 | 17 | 22 |3571k|7833 | 0.000000e+00 | -- | Inf
1308.05/1308.42 c 1308s| 6390k| 1227k| 14507k| 2.3 |1064M| 45 | 6 | 50 |6311 | 50 | 17 | 22 |3577k|7835 | 0.000000e+00 | -- | Inf
1310.35/1310.78 c 1311s| 6400k| 1228k| 14530k| 2.3 |1065M| 45 | 6 | 50 |5894 | 50 | 17 | 22 |3583k|7835 | 0.000000e+00 | -- | Inf
1312.54/1312.98 c 1313s| 6410k| 1230k| 14552k| 2.3 |1067M| 45 | 6 | 50 |7012 | 50 | 17 | 22 |3589k|7835 | 0.000000e+00 | -- | Inf
1314.94/1315.33 c 1315s| 6420k| 1231k| 14574k| 2.3 |1069M| 45 | 6 | 50 |7189 | 50 | 17 | 22 |3595k|7840 | 0.000000e+00 | -- | Inf
1317.54/1317.92 c 1318s| 6430k| 1232k| 14597k| 2.3 |1070M| 45 | 6 | 50 |5926 | 50 | 17 | 22 |3601k|7845 | 0.000000e+00 | -- | Inf
1319.75/1320.18 c 1320s| 6440k| 1234k| 14619k| 2.3 |1072M| 45 | 6 | 50 |7059 | 50 | 17 | 22 |3607k|7848 | 0.000000e+00 | -- | Inf
1322.25/1322.63 c 1323s| 6450k| 1235k| 14642k| 2.3 |1073M| 45 | 6 | 50 |6913 | 50 | 17 | 22 |3613k|7851 | 0.000000e+00 | -- | Inf
1324.45/1324.80 c 1325s| 6460k| 1237k| 14665k| 2.3 |1075M| 45 | - | 50 |9200 | 50 | 17 | 22 |3619k|7853 | 0.000000e+00 | -- | Inf
1326.85/1327.25 c 1327s| 6470k| 1238k| 14686k| 2.3 |1077M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3625k|7854 | 0.000000e+00 | -- | Inf
1329.65/1330.02 c 1330s| 6480k| 1240k| 14709k| 2.3 |1078M| 45 | - | 50 |7006 | 0 | 0 | 22 |3631k|7854 | 0.000000e+00 | -- | Inf
1331.85/1332.24 c 1332s| 6490k| 1241k| 14731k| 2.3 |1079M| 45 | - | 50 |7569 | 50 | 17 | 22 |3637k|7854 | 0.000000e+00 | -- | Inf
1334.24/1334.64 c 1335s| 6500k| 1242k| 14754k| 2.3 |1081M| 45 | - | 50 |8868 | 50 | 17 | 22 |3644k|7854 | 0.000000e+00 | -- | Inf
1336.74/1337.15 c 1337s| 6510k| 1244k| 14776k| 2.3 |1083M| 45 | 6 | 50 |9656 | 50 | 17 | 22 |3649k|7854 | 0.000000e+00 | -- | Inf
1339.24/1339.65 c 1340s| 6520k| 1246k| 14799k| 2.3 |1084M| 45 | 6 | 50 |7504 | 50 | 17 | 22 |3655k|7854 | 0.000000e+00 | -- | Inf
1341.74/1342.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1341.74/1342.13 c 1342s| 6530k| 1247k| 14822k| 2.3 |1086M| 45 | - | 50 |8330 | 50 | 17 | 22 |3661k|7854 | 0.000000e+00 | -- | Inf
1344.25/1344.66 c 1345s| 6540k| 1249k| 14844k| 2.3 |1087M| 45 | 6 | 50 |6650 | 50 | 17 | 22 |3667k|7854 | 0.000000e+00 | -- | Inf
1346.65/1347.03 c 1347s| 6550k| 1250k| 14867k| 2.3 |1088M| 45 | - | 50 |6806 | 50 | 17 | 22 |3673k|7854 | 0.000000e+00 | -- | Inf
1349.04/1349.45 c 1349s| 6560k| 1251k| 14890k| 2.3 |1090M| 45 | - | 50 |6686 | 50 | 17 | 22 |3679k|7854 | 0.000000e+00 | -- | Inf
1351.14/1351.57 c 1352s| 6570k| 1253k| 14913k| 2.3 |1092M| 45 | - | 50 |7957 | 0 | 0 | 22 |3685k|7854 | 0.000000e+00 | -- | Inf
1353.54/1353.96 c 1354s| 6580k| 1255k| 14935k| 2.3 |1093M| 45 | - | 50 |8504 | 50 | 17 | 22 |3691k|7854 | 0.000000e+00 | -- | Inf
1356.34/1356.73 c 1357s| 6590k| 1256k| 14958k| 2.3 |1094M| 45 | - | 50 |6204 | 50 | 17 | 22 |3697k|7854 | 0.000000e+00 | -- | Inf
1358.54/1358.99 c 1359s| 6600k| 1257k| 14980k| 2.3 |1096M| 45 | - | 50 |6704 | 0 | 0 | 22 |3703k|7854 | 0.000000e+00 | -- | Inf
1361.04/1361.41 c 1361s| 6610k| 1258k| 15002k| 2.3 |1097M| 45 | 6 | 50 |6211 | 50 | 17 | 22 |3709k|7854 | 0.000000e+00 | -- | Inf
1363.43/1363.83 c 1364s| 6620k| 1260k| 15025k| 2.3 |1098M| 45 | 6 | 50 |5811 | 50 | 17 | 22 |3715k|7854 | 0.000000e+00 | -- | Inf
1365.64/1366.06 c 1366s| 6630k| 1261k| 15048k| 2.3 |1100M| 45 | 6 | 50 |6281 | 50 | 17 | 22 |3721k|7854 | 0.000000e+00 | -- | Inf
1368.14/1368.58 c 1369s| 6640k| 1262k| 15070k| 2.3 |1101M| 45 | 6 | 50 |5791 | 50 | 17 | 22 |3727k|7854 | 0.000000e+00 | -- | Inf
1370.44/1370.89 c 1371s| 6650k| 1264k| 15093k| 2.3 |1103M| 45 | 6 | 50 |6411 | 50 | 17 | 22 |3733k|7854 | 0.000000e+00 | -- | Inf
1372.83/1373.28 c 1373s| 6660k| 1265k| 15115k| 2.3 |1104M| 45 | - | 50 |6246 | 50 | 17 | 22 |3739k|7854 | 0.000000e+00 | -- | Inf
1375.13/1375.56 c 1376s| 6670k| 1267k| 15138k| 2.3 |1106M| 45 | - | 50 |6137 | 50 | 17 | 22 |3745k|7854 | 0.000000e+00 | -- | Inf
1377.13/1377.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1377.13/1377.52 c 1378s| 6680k| 1268k| 15162k| 2.3 |1108M| 45 | - | 50 |7893 | 0 | 0 | 22 |3751k|7854 | 0.000000e+00 | -- | Inf
1379.53/1379.90 c 1380s| 6690k| 1270k| 15186k| 2.3 |1109M| 45 | 6 | 50 |7851 | 50 | 17 | 22 |3757k|7854 | 0.000000e+00 | -- | Inf
1381.82/1382.21 c 1382s| 6700k| 1272k| 15209k| 2.3 |1111M| 45 | 6 | 50 |9032 | 50 | 17 | 22 |3763k|7854 | 0.000000e+00 | -- | Inf
1384.33/1384.80 c 1385s| 6710k| 1273k| 15233k| 2.3 |1113M| 45 | - | 50 |8375 | 50 | 17 | 22 |3769k|7854 | 0.000000e+00 | -- | Inf
1387.02/1387.45 c 1387s| 6720k| 1274k| 15255k| 2.3 |1114M| 45 | - | 50 |6280 | 50 | 17 | 22 |3775k|7854 | 0.000000e+00 | -- | Inf
1389.53/1389.94 c 1390s| 6730k| 1275k| 15279k| 2.3 |1115M| 45 | 6 | 50 |5419 | 50 | 17 | 22 |3782k|7854 | 0.000000e+00 | -- | Inf
1391.63/1392.06 c 1392s| 6740k| 1277k| 15300k| 2.3 |1117M| 45 | 6 | 50 |6638 | 50 | 17 | 22 |3787k|7854 | 0.000000e+00 | -- | Inf
1394.03/1394.41 c 1394s| 6750k| 1278k| 15322k| 2.3 |1118M| 45 | 6 | 50 |6224 | 50 | 17 | 22 |3793k|7854 | 0.000000e+00 | -- | Inf
1396.23/1396.67 c 1397s| 6760k| 1280k| 15344k| 2.3 |1120M| 45 | 6 | 50 |6824 | 50 | 17 | 22 |3799k|7854 | 0.000000e+00 | -- | Inf
1398.62/1399.01 c 1399s| 6770k| 1281k| 15367k| 2.3 |1121M| 45 | 6 | 50 |7359 | 50 | 17 | 22 |3805k|7854 | 0.000000e+00 | -- | Inf
1401.13/1401.59 c 1402s| 6780k| 1282k| 15389k| 2.3 |1122M| 45 | 6 | 50 |6503 | 50 | 17 | 22 |3811k|7854 | 0.000000e+00 | -- | Inf
1403.52/1403.91 c 1404s| 6790k| 1284k| 15413k| 2.3 |1124M| 45 | 6 | 50 |7057 | 50 | 17 | 22 |3817k|7854 | 0.000000e+00 | -- | Inf
1405.92/1406.35 c 1406s| 6800k| 1285k| 15436k| 2.3 |1125M| 45 | 6 | 50 |6724 | 50 | 17 | 22 |3823k|7854 | 0.000000e+00 | -- | Inf
1408.22/1408.62 c 1409s| 6810k| 1286k| 15458k| 2.3 |1127M| 45 | 6 | 50 |7384 | 50 | 17 | 22 |3829k|7854 | 0.000000e+00 | -- | Inf
1410.62/1411.00 c 1411s| 6820k| 1288k| 15480k| 2.3 |1129M| 45 | 6 | 50 |7571 | 50 | 17 | 22 |3835k|7854 | 0.000000e+00 | -- | Inf
1413.22/1413.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1413.22/1413.64 c 1414s| 6830k| 1289k| 15503k| 2.3 |1130M| 45 | 6 | 50 |6337 | 50 | 17 | 22 |3841k|7854 | 0.000000e+00 | -- | Inf
1415.62/1416.04 c 1416s| 6840k| 1290k| 15525k| 2.3 |1131M| 45 | - | 50 |6709 | 50 | 17 | 22 |3847k|7854 | 0.000000e+00 | -- | Inf
1417.72/1418.13 c 1418s| 6850k| 1292k| 15547k| 2.3 |1133M| 45 | - | 50 |8760 | 0 | 0 | 22 |3853k|7854 | 0.000000e+00 | -- | Inf
1420.32/1420.73 c 1421s| 6860k| 1293k| 15569k| 2.3 |1135M| 45 | 6 | 50 |9928 | 50 | 17 | 22 |3859k|7854 | 0.000000e+00 | -- | Inf
1422.72/1423.19 c 1423s| 6870k| 1295k| 15591k| 2.3 |1137M| 45 | - | 50 | 10k| 0 | 0 | 22 |3864k|7854 | 0.000000e+00 | -- | Inf
1425.32/1425.73 c 1426s| 6880k| 1297k| 15613k| 2.3 |1138M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |3869k|7854 | 0.000000e+00 | -- | Inf
1428.22/1428.67 c 1429s| 6890k| 1298k| 15634k| 2.3 |1139M| 45 | - | 50 | 10k| 50 | 17 | 22 |3875k|7854 | 0.000000e+00 | -- | Inf
1430.91/1431.37 c 1431s| 6900k| 1300k| 15656k| 2.3 |1141M| 45 | - | 50 | 11k| 50 | 17 | 22 |3880k|7854 | 0.000000e+00 | -- | Inf
1433.62/1434.03 c 1434s| 6910k| 1301k| 15677k| 2.3 |1142M| 45 | - | 50 |9692 | 50 | 17 | 22 |3886k|7855 | 0.000000e+00 | -- | Inf
1436.31/1436.71 c 1437s| 6920k| 1303k| 15700k| 2.3 |1143M| 45 | - | 50 |7345 | 50 | 17 | 22 |3891k|7859 | 0.000000e+00 | -- | Inf
1438.62/1439.01 c 1439s| 6930k| 1305k| 15722k| 2.3 |1145M| 45 | - | 50 |8503 | 50 | 17 | 22 |3897k|7861 | 0.000000e+00 | -- | Inf
1441.31/1441.71 c 1442s| 6940k| 1306k| 15745k| 2.3 |1146M| 45 | 6 | 50 |7203 | 50 | 17 | 22 |3903k|7862 | 0.000000e+00 | -- | Inf
1443.41/1443.86 c 1444s| 6950k| 1308k| 15769k| 2.3 |1148M| 45 | - | 50 |9043 | 50 | 17 | 22 |3909k|7862 | 0.000000e+00 | -- | Inf
1445.81/1446.28 c 1446s| 6960k| 1309k| 15792k| 2.3 |1150M| 45 | - | 50 | 10k| 50 | 17 | 22 |3915k|7862 | 0.000000e+00 | -- | Inf
1448.41/1448.80 c 1449s| 6970k| 1310k| 15816k| 2.3 |1151M| 45 | - | 50 | 10k| 50 | 17 | 22 |3921k|7862 | 0.000000e+00 | -- | Inf
1450.91/1451.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1450.91/1451.38 c 1451s| 6980k| 1312k| 15839k| 2.3 |1153M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |3928k|7862 | 0.000000e+00 | -- | Inf
1454.10/1454.57 c 1455s| 6990k| 1313k| 15861k| 2.3 |1153M| 45 | 6 | 50 |6768 | 50 | 17 | 22 |3934k|7866 | 0.000000e+00 | -- | Inf
1456.61/1457.00 c 1457s| 7000k| 1314k| 15885k| 2.3 |1155M| 45 | 6 | 50 |8292 | 50 | 17 | 22 |3940k|7866 | 0.000000e+00 | -- | Inf
1458.90/1459.32 c 1459s| 7010k| 1316k| 15908k| 2.3 |1157M| 45 | 6 | 50 |9257 | 50 | 17 | 22 |3946k|7866 | 0.000000e+00 | -- | Inf
1461.41/1461.90 c 1462s| 7020k| 1317k| 15930k| 2.3 |1158M| 45 | 6 | 50 |8744 | 50 | 17 | 22 |3952k|7868 | 0.000000e+00 | -- | Inf
1464.10/1464.56 c 1465s| 7030k| 1319k| 15953k| 2.3 |1159M| 45 | 6 | 50 |7121 | 50 | 17 | 22 |3958k|7873 | 0.000000e+00 | -- | Inf
1466.30/1466.79 c 1467s| 7040k| 1320k| 15976k| 2.3 |1161M| 45 | - | 50 |7907 | 50 | 17 | 22 |3964k|7875 | 0.000000e+00 | -- | Inf
1468.60/1469.08 c 1469s| 7050k| 1322k| 15998k| 2.3 |1163M| 45 | - | 50 |9067 | 0 | 0 | 22 |3970k|7881 | 0.000000e+00 | -- | Inf
1471.10/1471.50 c 1471s| 7060k| 1323k| 16021k| 2.3 |1164M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3976k|7884 | 0.000000e+00 | -- | Inf
1473.80/1474.26 c 1474s| 7070k| 1325k| 16044k| 2.3 |1166M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |3982k|7891 | 0.000000e+00 | -- | Inf
1476.91/1477.39 c 1477s| 7080k| 1326k| 16066k| 2.3 |1167M| 45 | 6 | 50 |8459 | 50 | 17 | 22 |3988k|7893 | 0.000000e+00 | -- | Inf
1479.40/1479.84 c 1480s| 7090k| 1327k| 16088k| 2.3 |1168M| 45 | - | 50 |7876 | 50 | 17 | 22 |3993k|7894 | 0.000000e+00 | -- | Inf
1482.10/1482.51 c 1483s| 7100k| 1329k| 16112k| 2.3 |1169M| 45 | 6 | 50 |6807 | 50 | 17 | 22 |4000k|7898 | 0.000000e+00 | -- | Inf
1484.60/1485.04 c 1485s| 7110k| 1330k| 16135k| 2.3 |1171M| 45 | - | 50 |6244 | 0 | 0 | 22 |4006k|7901 | 0.000000e+00 | -- | Inf
1487.00/1487.47 c 1487s| 7120k| 1331k| 16157k| 2.3 |1172M| 45 | 6 | 50 |5618 | 50 | 17 | 22 |4012k|7907 | 0.000000e+00 | -- | Inf
1488.91/1489.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1488.91/1489.38 c 1489s| 7130k| 1333k| 16180k| 2.3 |1174M| 45 | 6 | 50 |7375 | 50 | 17 | 22 |4017k|7909 | 0.000000e+00 | -- | Inf
1491.00/1491.42 c 1491s| 7140k| 1336k| 16202k| 2.3 |1176M| 45 | - | 50 |8018 | 50 | 17 | 22 |4022k|7913 | 0.000000e+00 | -- | Inf
1493.40/1493.82 c 1494s| 7150k| 1338k| 16225k| 2.3 |1178M| 45 | 6 | 50 |8167 | 50 | 17 | 22 |4027k|7919 | 0.000000e+00 | -- | Inf
1495.70/1496.13 c 1496s| 7160k| 1340k| 16247k| 2.3 |1179M| 45 | 6 | 50 |8759 | 50 | 17 | 22 |4033k|7923 | 0.000000e+00 | -- | Inf
1498.00/1498.45 c 1498s| 7170k| 1341k| 16268k| 2.3 |1181M| 45 | 6 | 50 |9054 | 50 | 17 | 22 |4039k|7931 | 0.000000e+00 | -- | Inf
1500.39/1500.88 c 1501s| 7180k| 1343k| 16292k| 2.3 |1183M| 45 | 6 | 50 |9438 | 50 | 17 | 22 |4044k|7934 | 0.000000e+00 | -- | Inf
1502.90/1503.36 c 1503s| 7190k| 1345k| 16315k| 2.3 |1184M| 45 | - | 50 |8318 | 50 | 17 | 22 |4050k|7937 | 0.000000e+00 | -- | Inf
1505.19/1505.67 c 1506s| 7200k| 1346k| 16336k| 2.3 |1186M| 45 | 6 | 50 |9293 | 50 | 17 | 22 |4055k|7942 | 0.000000e+00 | -- | Inf
1507.70/1508.18 c 1508s| 7210k| 1348k| 16358k| 2.3 |1187M| 45 | 6 | 50 |8778 | 50 | 17 | 22 |4061k|7947 | 0.000000e+00 | -- | Inf
1510.29/1510.72 c 1511s| 7220k| 1349k| 16380k| 2.3 |1189M| 45 | 6 | 50 |9046 | 50 | 17 | 22 |4067k|7953 | 0.000000e+00 | -- | Inf
1512.80/1513.23 c 1513s| 7230k| 1351k| 16402k| 2.3 |1190M| 45 | - | 50 |9270 | 0 | 0 | 22 |4073k|7958 | 0.000000e+00 | -- | Inf
1515.30/1515.76 c 1516s| 7240k| 1352k| 16424k| 2.3 |1192M| 45 | 6 | 50 |9329 | 50 | 17 | 22 |4078k|7961 | 0.000000e+00 | -- | Inf
1517.90/1518.36 c 1518s| 7250k| 1353k| 16446k| 2.3 |1193M| 45 | - | 50 |9540 | 50 | 17 | 22 |4084k|7967 | 0.000000e+00 | -- | Inf
1520.69/1521.10 c 1521s| 7260k| 1355k| 16468k| 2.3 |1194M| 45 | 6 | 50 |8915 | 50 | 17 | 22 |4090k|7972 | 0.000000e+00 | -- | Inf
1523.39/1523.86 c 1524s| 7270k| 1356k| 16490k| 2.3 |1195M| 45 | 6 | 50 |8776 | 50 | 17 | 22 |4097k|7974 | 0.000000e+00 | -- | Inf
1526.09/1526.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1526.09/1526.52 c 1527s| 7280k| 1357k| 16512k| 2.3 |1197M| 45 | 6 | 50 |8871 | 50 | 17 | 22 |4102k|7979 | 0.000000e+00 | -- | Inf
1528.78/1529.22 c 1529s| 7290k| 1358k| 16534k| 2.3 |1198M| 45 | 6 | 50 |9183 | 50 | 17 | 22 |4109k|7981 | 0.000000e+00 | -- | Inf
1531.49/1531.98 c 1532s| 7300k| 1359k| 16556k| 2.3 |1199M| 45 | - | 50 |6995 | 50 | 17 | 22 |4114k|7982 | 0.000000e+00 | -- | Inf
1533.98/1534.49 c 1534s| 7310k| 1360k| 16578k| 2.3 |1200M| 45 | - | 50 |6333 | 0 | 0 | 22 |4120k|7982 | 0.000000e+00 | -- | Inf
1536.58/1537.07 c 1537s| 7320k| 1361k| 16601k| 2.3 |1201M| 45 | 6 | 50 |6269 | 50 | 17 | 22 |4127k|7984 | 0.000000e+00 | -- | Inf
1539.08/1539.52 c 1540s| 7330k| 1363k| 16622k| 2.3 |1203M| 45 | 6 | 50 |6137 | 50 | 17 | 22 |4133k|7987 | 0.000000e+00 | -- | Inf
1541.38/1541.85 c 1542s| 7340k| 1364k| 16645k| 2.3 |1204M| 45 | 6 | 50 |6883 | 50 | 17 | 22 |4138k|7990 | 0.000000e+00 | -- | Inf
1543.78/1544.24 c 1544s| 7350k| 1366k| 16667k| 2.3 |1206M| 45 | 6 | 50 |6417 | 50 | 17 | 22 |4144k|7994 | 0.000000e+00 | -- | Inf
1545.98/1546.45 c 1546s| 7360k| 1367k| 16688k| 2.3 |1208M| 45 | - | 50 |7915 | 50 | 17 | 22 |4150k|7999 | 0.000000e+00 | -- | Inf
1548.48/1548.96 c 1549s| 7370k| 1368k| 16711k| 2.3 |1209M| 45 | - | 50 |6618 | 50 | 17 | 22 |4156k|8001 | 0.000000e+00 | -- | Inf
1550.77/1551.24 c 1551s| 7380k| 1370k| 16734k| 2.3 |1210M| 45 | 6 | 50 |7472 | 50 | 17 | 22 |4162k|8002 | 0.000000e+00 | -- | Inf
1553.17/1553.63 c 1554s| 7390k| 1371k| 16755k| 2.3 |1212M| 45 | - | 50 |7050 | 50 | 17 | 22 |4167k|8002 | 0.000000e+00 | -- | Inf
1555.47/1555.93 c 1556s| 7400k| 1373k| 16777k| 2.3 |1213M| 45 | 6 | 50 |7623 | 50 | 17 | 22 |4173k|8003 | 0.000000e+00 | -- | Inf
1558.07/1558.55 c 1559s| 7410k| 1374k| 16800k| 2.3 |1215M| 45 | 6 | 50 |7573 | 50 | 17 | 22 |4179k|8004 | 0.000000e+00 | -- | Inf
1560.76/1561.21 c 1561s| 7420k| 1375k| 16822k| 2.3 |1216M| 45 | 6 | 50 |6085 | 50 | 17 | 22 |4186k|8006 | 0.000000e+00 | -- | Inf
1563.06/1563.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1563.06/1563.56 c 1564s| 7430k| 1376k| 16845k| 2.3 |1217M| 45 | 6 | 50 |6147 | 50 | 17 | 22 |4192k|8006 | 0.000000e+00 | -- | Inf
1565.46/1565.91 c 1566s| 7440k| 1378k| 16868k| 2.3 |1219M| 45 | 6 | 50 |6056 | 50 | 17 | 22 |4198k|8008 | 0.000000e+00 | -- | Inf
1567.47/1567.99 c 1568s| 7450k| 1380k| 16892k| 2.3 |1221M| 45 | - | 50 |7986 | 0 | 0 | 22 |4204k|8013 | 0.000000e+00 | -- | Inf
1569.87/1570.31 c 1570s| 7460k| 1381k| 16916k| 2.3 |1223M| 45 | 6 | 50 |8257 | 50 | 17 | 22 |4209k|8015 | 0.000000e+00 | -- | Inf
1572.16/1572.68 c 1573s| 7470k| 1383k| 16940k| 2.3 |1224M| 45 | - | 50 |8841 | 50 | 17 | 22 |4215k|8020 | 0.000000e+00 | -- | Inf
1574.77/1575.23 c 1575s| 7480k| 1385k| 16964k| 2.3 |1226M| 45 | 6 | 50 |8865 | 50 | 17 | 22 |4222k|8024 | 0.000000e+00 | -- | Inf
1577.46/1577.94 c 1578s| 7490k| 1386k| 16988k| 2.3 |1227M| 45 | - | 50 |8589 | 50 | 17 | 22 |4228k|8026 | 0.000000e+00 | -- | Inf
1580.06/1580.57 c 1581s| 7500k| 1387k| 17010k| 2.3 |1228M| 45 | - | 50 |7151 | 0 | 0 | 22 |4234k|8032 | 0.000000e+00 | -- | Inf
1582.55/1583.02 c 1583s| 7510k| 1388k| 17032k| 2.3 |1229M| 45 | 6 | 50 |6392 | 50 | 17 | 22 |4241k|8038 | 0.000000e+00 | -- | Inf
1585.05/1585.54 c 1586s| 7520k| 1389k| 17055k| 2.3 |1231M| 45 | 6 | 50 |6610 | 50 | 17 | 22 |4247k|8039 | 0.000000e+00 | -- | Inf
1587.55/1588.05 c 1588s| 7530k| 1391k| 17078k| 2.3 |1232M| 45 | 6 | 50 |5828 | 50 | 17 | 22 |4253k|8039 | 0.000000e+00 | -- | Inf
1589.65/1590.16 c 1590s| 7540k| 1393k| 17100k| 2.3 |1234M| 45 | - | 50 |7369 | 50 | 17 | 22 |4259k|8043 | 0.000000e+00 | -- | Inf
1591.85/1592.39 c 1592s| 7550k| 1394k| 17123k| 2.3 |1236M| 45 | - | 50 |9413 | 50 | 17 | 22 |4264k|8045 | 0.000000e+00 | -- | Inf
1594.74/1595.23 c 1595s| 7560k| 1395k| 17146k| 2.3 |1237M| 45 | 6 | 50 |8064 | 50 | 17 | 22 |4270k|8050 | 0.000000e+00 | -- | Inf
1597.35/1597.83 c 1598s| 7570k| 1397k| 17169k| 2.3 |1238M| 45 | 6 | 50 |5708 | 50 | 17 | 22 |4276k|8052 | 0.000000e+00 | -- | Inf
1599.35/1599.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1599.35/1599.83 c 1600s| 7580k| 1399k| 17191k| 2.3 |1240M| 45 | 6 | 50 |7315 | 50 | 17 | 22 |4282k|8052 | 0.000000e+00 | -- | Inf
1601.55/1602.06 c 1602s| 7590k| 1401k| 17212k| 2.3 |1242M| 45 | - | 50 |8096 | 50 | 17 | 22 |4287k|8054 | 0.000000e+00 | -- | Inf
1604.14/1604.62 c 1605s| 7600k| 1402k| 17234k| 2.3 |1243M| 45 | - | 50 |7898 | 50 | 17 | 22 |4293k|8059 | 0.000000e+00 | -- | Inf
1606.74/1607.29 c 1607s| 7610k| 1403k| 17256k| 2.3 |1244M| 45 | 6 | 50 |7442 | 50 | 17 | 22 |4299k|8062 | 0.000000e+00 | -- | Inf
1609.54/1610.01 c 1610s| 7620k| 1404k| 17279k| 2.3 |1245M| 45 | - | 50 |5971 | 50 | 17 | 22 |4306k|8067 | 0.000000e+00 | -- | Inf
1611.74/1612.27 c 1612s| 7630k| 1406k| 17301k| 2.3 |1247M| 45 | 6 | 50 |6745 | 50 | 17 | 22 |4311k|8071 | 0.000000e+00 | -- | Inf
1614.13/1614.60 c 1615s| 7640k| 1407k| 17325k| 2.3 |1249M| 45 | - | 50 |7794 | 0 | 0 | 22 |4317k|8076 | 0.000000e+00 | -- | Inf
1616.54/1617.03 c 1617s| 7650k| 1409k| 17348k| 2.3 |1250M| 45 | 6 | 50 |7436 | 50 | 17 | 22 |4323k|8082 | 0.000000e+00 | -- | Inf
1619.04/1619.53 c 1620s| 7660k| 1410k| 17371k| 2.3 |1251M| 45 | 6 | 50 |7100 | 50 | 17 | 22 |4329k|8084 | 0.000000e+00 | -- | Inf
1621.53/1622.07 c 1622s| 7670k| 1411k| 17393k| 2.3 |1253M| 45 | - | 50 |6158 | 50 | 17 | 22 |4335k|8091 | 0.000000e+00 | -- | Inf
1623.72/1624.29 c 1624s| 7680k| 1413k| 17416k| 2.3 |1254M| 45 | 6 | 50 |7172 | 50 | 17 | 22 |4341k|8094 | 0.000000e+00 | -- | Inf
1626.13/1626.66 c 1627s| 7690k| 1414k| 17439k| 2.3 |1256M| 45 | 6 | 50 |7094 | 50 | 17 | 22 |4347k|8098 | 0.000000e+00 | -- | Inf
1628.73/1629.21 c 1629s| 7700k| 1416k| 17462k| 2.3 |1257M| 45 | - | 50 |6990 | 50 | 17 | 22 |4353k|8100 | 0.000000e+00 | -- | Inf
1630.93/1631.45 c 1631s| 7710k| 1417k| 17484k| 2.3 |1259M| 45 | - | 50 |7749 | 50 | 17 | 22 |4359k|8103 | 0.000000e+00 | -- | Inf
1633.32/1633.86 c 1634s| 7720k| 1419k| 17507k| 2.3 |1260M| 45 | 6 | 50 |7752 | 50 | 17 | 22 |4365k|8104 | 0.000000e+00 | -- | Inf
1635.83/1636.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1635.83/1636.37 c 1636s| 7730k| 1420k| 17529k| 2.3 |1262M| 45 | - | 50 |6327 | 50 | 17 | 22 |4371k|8110 | 0.000000e+00 | -- | Inf
1638.22/1638.79 c 1639s| 7740k| 1421k| 17551k| 2.3 |1263M| 45 | - | 50 |6487 | 50 | 17 | 22 |4377k|8110 | 0.000000e+00 | -- | Inf
1640.73/1641.22 c 1641s| 7750k| 1423k| 17575k| 2.3 |1264M| 45 | - | 50 |6405 | 50 | 17 | 22 |4383k|8111 | 0.000000e+00 | -- | Inf
1642.83/1643.38 c 1643s| 7760k| 1424k| 17598k| 2.3 |1266M| 45 | 6 | 50 |7201 | 50 | 17 | 22 |4389k|8112 | 0.000000e+00 | -- | Inf
1645.13/1645.68 c 1646s| 7770k| 1425k| 17621k| 2.3 |1268M| 45 | 6 | 50 |9343 | 50 | 17 | 22 |4395k|8116 | 0.000000e+00 | -- | Inf
1647.62/1648.18 c 1648s| 7780k| 1427k| 17644k| 2.3 |1269M| 45 | - | 50 |8505 | 50 | 17 | 22 |4401k|8120 | 0.000000e+00 | -- | Inf
1650.32/1650.89 c 1651s| 7790k| 1428k| 17667k| 2.3 |1270M| 45 | - | 50 |6395 | 50 | 17 | 22 |4407k|8121 | 0.000000e+00 | -- | Inf
1652.42/1652.97 c 1653s| 7800k| 1430k| 17689k| 2.3 |1272M| 45 | 6 | 50 |8162 | 50 | 17 | 22 |4413k|8121 | 0.000000e+00 | -- | Inf
1654.72/1655.28 c 1655s| 7810k| 1432k| 17712k| 2.3 |1274M| 45 | 6 | 50 |8766 | 50 | 17 | 22 |4419k|8121 | 0.000000e+00 | -- | Inf
1657.32/1657.80 c 1658s| 7820k| 1433k| 17734k| 2.3 |1275M| 45 | 6 | 50 |9115 | 50 | 17 | 22 |4424k|8121 | 0.000000e+00 | -- | Inf
1659.61/1660.11 c 1660s| 7830k| 1434k| 17756k| 2.3 |1277M| 45 | 6 | 50 |9815 | 50 | 17 | 22 |4430k|8121 | 0.000000e+00 | -- | Inf
1662.31/1662.83 c 1663s| 7840k| 1436k| 17779k| 2.3 |1278M| 45 | 6 | 50 |9588 | 50 | 17 | 22 |4436k|8121 | 0.000000e+00 | -- | Inf
1664.92/1665.48 c 1665s| 7850k| 1437k| 17801k| 2.3 |1279M| 45 | 6 | 50 |8147 | 50 | 17 | 22 |4442k|8121 | 0.000000e+00 | -- | Inf
1667.32/1667.86 c 1668s| 7860k| 1439k| 17823k| 2.3 |1281M| 45 | 6 | 50 |8168 | 50 | 17 | 22 |4448k|8121 | 0.000000e+00 | -- | Inf
1669.82/1670.38 c 1670s| 7870k| 1440k| 17845k| 2.3 |1282M| 45 | - | 50 |6936 | 0 | 0 | 22 |4454k|8121 | 0.000000e+00 | -- | Inf
1672.21/1672.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1672.21/1672.72 c 1673s| 7880k| 1441k| 17867k| 2.3 |1284M| 45 | - | 50 |8006 | 50 | 17 | 22 |4460k|8121 | 0.000000e+00 | -- | Inf
1674.52/1675.04 c 1675s| 7890k| 1443k| 17891k| 2.3 |1285M| 45 | - | 50 |7869 | 50 | 17 | 22 |4466k|8121 | 0.000000e+00 | -- | Inf
1676.92/1677.42 c 1677s| 7900k| 1445k| 17914k| 2.3 |1287M| 45 | - | 50 |8911 | 50 | 17 | 22 |4471k|8121 | 0.000000e+00 | -- | Inf
1679.31/1679.87 c 1680s| 7910k| 1447k| 17937k| 2.3 |1289M| 45 | 6 | 50 |9702 | 50 | 17 | 22 |4477k|8121 | 0.000000e+00 | -- | Inf
1682.42/1682.95 c 1683s| 7920k| 1448k| 17960k| 2.3 |1290M| 45 | 6 | 50 |7772 | 50 | 17 | 22 |4483k|8124 | 0.000000e+00 | -- | Inf
1684.91/1685.41 c 1685s| 7930k| 1449k| 17982k| 2.3 |1291M| 45 | 6 | 50 |7398 | 50 | 17 | 22 |4489k|8125 | 0.000000e+00 | -- | Inf
1687.41/1687.96 c 1688s| 7940k| 1450k| 18004k| 2.3 |1292M| 45 | - | 50 |6266 | 50 | 17 | 22 |4495k|8127 | 0.000000e+00 | -- | Inf
1689.51/1690.08 c 1690s| 7950k| 1452k| 18028k| 2.3 |1294M| 45 | - | 50 |7828 | 50 | 17 | 22 |4501k|8135 | 0.000000e+00 | -- | Inf
1692.11/1692.62 c 1693s| 7960k| 1453k| 18050k| 2.3 |1296M| 45 | 6 | 50 |7106 | 50 | 17 | 22 |4507k|8142 | 0.000000e+00 | -- | Inf
1694.71/1695.23 c 1695s| 7970k| 1454k| 18073k| 2.3 |1297M| 45 | - | 50 |5700 | 50 | 17 | 22 |4513k|8142 | 0.000000e+00 | -- | Inf
1697.01/1697.59 c 1698s| 7980k| 1455k| 18095k| 2.3 |1298M| 45 | 6 | 50 |6014 | 50 | 17 | 22 |4519k|8142 | 0.000000e+00 | -- | Inf
1699.41/1699.93 c 1700s| 7990k| 1457k| 18117k| 2.3 |1300M| 45 | 6 | 50 |6337 | 50 | 17 | 22 |4525k|8142 | 0.000000e+00 | -- | Inf
1701.61/1702.15 c 1702s| 8000k| 1458k| 18140k| 2.3 |1301M| 45 | 6 | 50 |7303 | 50 | 17 | 22 |4531k|8142 | 0.000000e+00 | -- | Inf
1703.91/1704.45 c 1704s| 8010k| 1460k| 18163k| 2.3 |1303M| 45 | 6 | 50 |8228 | 50 | 17 | 22 |4537k|8142 | 0.000000e+00 | -- | Inf
1706.51/1707.03 c 1707s| 8020k| 1461k| 18186k| 2.3 |1304M| 45 | 6 | 50 |7663 | 50 | 17 | 22 |4543k|8142 | 0.000000e+00 | -- | Inf
1709.01/1709.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1709.01/1709.52 c 1710s| 8030k| 1462k| 18209k| 2.3 |1306M| 45 | 6 | 50 |7328 | 50 | 17 | 22 |4549k|8142 | 0.000000e+00 | -- | Inf
1711.41/1711.99 c 1712s| 8040k| 1464k| 18232k| 2.3 |1307M| 45 | 6 | 50 |7563 | 50 | 17 | 22 |4555k|8142 | 0.000000e+00 | -- | Inf
1713.81/1714.38 c 1714s| 8050k| 1465k| 18254k| 2.3 |1309M| 45 | 6 | 50 |7852 | 50 | 17 | 22 |4561k|8142 | 0.000000e+00 | -- | Inf
1716.41/1716.97 c 1717s| 8060k| 1467k| 18277k| 2.3 |1310M| 45 | 6 | 50 |6545 | 50 | 17 | 22 |4567k|8142 | 0.000000e+00 | -- | Inf
1719.01/1719.55 c 1720s| 8070k| 1468k| 18300k| 2.3 |1311M| 45 | 6 | 50 |5905 | 50 | 17 | 22 |4574k|8142 | 0.000000e+00 | -- | Inf
1721.31/1721.80 c 1722s| 8080k| 1469k| 18322k| 2.3 |1313M| 45 | 6 | 50 |6806 | 50 | 17 | 22 |4579k|8142 | 0.000000e+00 | -- | Inf
1723.71/1724.20 c 1724s| 8090k| 1471k| 18344k| 2.3 |1314M| 45 | 6 | 50 |6569 | 50 | 17 | 22 |4585k|8142 | 0.000000e+00 | -- | Inf
1726.01/1726.55 c 1727s| 8100k| 1472k| 18366k| 2.3 |1316M| 45 | 6 | 50 |6124 | 50 | 17 | 22 |4591k|8142 | 0.000000e+00 | -- | Inf
1728.11/1728.67 c 1729s| 8110k| 1474k| 18392k| 2.3 |1318M| 45 | 6 | 50 |7731 | 50 | 17 | 22 |4598k|8142 | 0.000000e+00 | -- | Inf
1730.71/1731.27 c 1731s| 8120k| 1475k| 18415k| 2.3 |1319M| 45 | - | 50 |8288 | 50 | 17 | 22 |4604k|8142 | 0.000000e+00 | -- | Inf
1733.31/1733.89 c 1734s| 8130k| 1476k| 18439k| 2.3 |1321M| 45 | - | 50 |9025 | 50 | 17 | 22 |4611k|8142 | 0.000000e+00 | -- | Inf
1736.21/1736.73 c 1737s| 8140k| 1477k| 18462k| 2.3 |1322M| 45 | - | 50 |7043 | 50 | 17 | 22 |4617k|8142 | 0.000000e+00 | -- | Inf
1738.81/1739.32 c 1739s| 8150k| 1478k| 18485k| 2.3 |1323M| 45 | - | 50 |5657 | 50 | 17 | 22 |4623k|8142 | 0.000000e+00 | -- | Inf
1741.10/1741.61 c 1742s| 8160k| 1480k| 18507k| 2.3 |1324M| 45 | 6 | 50 |6860 | 50 | 17 | 22 |4629k|8142 | 0.000000e+00 | -- | Inf
1743.40/1743.96 c 1744s| 8170k| 1481k| 18529k| 2.3 |1326M| 45 | 6 | 50 |7046 | 50 | 17 | 22 |4635k|8142 | 0.000000e+00 | -- | Inf
1745.90/1746.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1745.90/1746.45 c 1746s| 8180k| 1482k| 18552k| 2.3 |1327M| 45 | 6 | 50 |6693 | 50 | 17 | 22 |4641k|8142 | 0.000000e+00 | -- | Inf
1748.20/1748.72 c 1749s| 8190k| 1484k| 18573k| 2.3 |1329M| 45 | 6 | 50 |7715 | 50 | 17 | 22 |4646k|8142 | 0.000000e+00 | -- | Inf
1750.81/1751.38 c 1751s| 8200k| 1485k| 18596k| 2.3 |1330M| 45 | 6 | 50 |6355 | 50 | 17 | 22 |4652k|8142 | 0.000000e+00 | -- | Inf
1753.41/1753.96 c 1754s| 8210k| 1486k| 18619k| 2.3 |1331M| 45 | 6 | 50 |5188 | 50 | 17 | 22 |4659k|8142 | 0.000000e+00 | -- | Inf
1755.80/1756.35 c 1756s| 8220k| 1487k| 18642k| 2.3 |1332M| 45 | 6 | 50 |5662 | 50 | 17 | 22 |4665k|8142 | 0.000000e+00 | -- | Inf
1758.41/1758.91 c 1759s| 8230k| 1488k| 18665k| 2.3 |1333M| 45 | 6 | 50 |5569 | 50 | 17 | 22 |4671k|8142 | 0.000000e+00 | -- | Inf
1760.61/1761.15 c 1761s| 8240k| 1490k| 18688k| 2.3 |1335M| 45 | - | 50 |6367 | 50 | 17 | 22 |4678k|8142 | 0.000000e+00 | -- | Inf
1763.01/1763.58 c 1764s| 8250k| 1491k| 18711k| 2.3 |1336M| 45 | 6 | 50 |6268 | 50 | 17 | 22 |4684k|8142 | 0.000000e+00 | -- | Inf
1765.30/1765.85 c 1766s| 8260k| 1492k| 18734k| 2.3 |1338M| 45 | - | 50 |7812 | 50 | 17 | 22 |4690k|8142 | 0.000000e+00 | -- | Inf
1767.70/1768.24 c 1768s| 8270k| 1494k| 18758k| 2.3 |1340M| 45 | - | 50 |8669 | 50 | 17 | 22 |4696k|8142 | 0.000000e+00 | -- | Inf
1770.20/1770.74 c 1771s| 8280k| 1495k| 18779k| 2.3 |1341M| 45 | 6 | 50 |7276 | 50 | 17 | 22 |4702k|8142 | 0.000000e+00 | -- | Inf
1772.61/1773.17 c 1773s| 8290k| 1496k| 18802k| 2.3 |1342M| 45 | 6 | 50 |7062 | 50 | 17 | 22 |4708k|8142 | 0.000000e+00 | -- | Inf
1775.10/1775.67 c 1776s| 8300k| 1497k| 18824k| 2.3 |1344M| 45 | 6 | 50 |5916 | 50 | 17 | 22 |4714k|8142 | 0.000000e+00 | -- | Inf
1777.50/1778.01 c 1778s| 8310k| 1499k| 18846k| 2.3 |1345M| 45 | 6 | 50 |6449 | 50 | 17 | 22 |4719k|8142 | 0.000000e+00 | -- | Inf
1779.70/1780.30 c 1780s| 8320k| 1500k| 18869k| 2.3 |1347M| 45 | - | 50 |7453 | 50 | 17 | 22 |4725k|8142 | 0.000000e+00 | -- | Inf
1782.20/1782.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1782.20/1782.79 c 1783s| 8330k| 1501k| 18892k| 2.3 |1348M| 45 | 6 | 50 |7599 | 50 | 17 | 22 |4731k|8142 | 0.000000e+00 | -- | Inf
1784.60/1785.20 c 1785s| 8340k| 1503k| 18915k| 2.3 |1350M| 45 | - | 50 |6936 | 50 | 17 | 22 |4737k|8142 | 0.000000e+00 | -- | Inf
1786.90/1787.42 c 1787s| 8350k| 1504k| 18938k| 2.3 |1351M| 45 | - | 50 |7990 | 50 | 17 | 22 |4743k|8142 | 0.000000e+00 | -- | Inf
1789.29/1789.83 c 1790s| 8360k| 1506k| 18960k| 2.3 |1353M| 45 | 6 | 50 |8742 | 50 | 17 | 22 |4749k|8142 | 0.000000e+00 | -- | Inf
1792.10/1792.62 c 1793s| 8370k| 1507k| 18982k| 2.3 |1354M| 45 | 6 | 50 |7560 | 50 | 17 | 22 |4755k|8142 | 0.000000e+00 | -- | Inf
1794.30/1794.84 c 1795s| 8380k| 1509k| 19006k| 2.3 |1356M| 45 | - | 50 |9303 | 50 | 17 | 22 |4761k|8142 | 0.000000e+00 | -- | Inf
1796.50/1797.00 c
1796.50/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.50/1797.00 c Solving Time (sec) : 1797.00
1796.50/1797.00 c Solving Nodes : 8388557
1796.50/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.50/1797.00 c Dual Bound : +0.00000000000000e+00
1796.50/1797.00 c Gap : infinite
1796.50/1797.00 s UNKNOWN
1796.50/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.50/1797.00 c Total Time : 1797.00
1796.50/1797.00 c solving : 1797.00
1796.50/1797.00 c presolving : 0.00 (included in solving)
1796.50/1797.00 c reading : 0.00 (included in solving)
1796.50/1797.00 c Original Problem :
1796.50/1797.00 c Problem name : HOME/instance-3734923-1338715326.opb
1796.50/1797.00 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.50/1797.00 c Constraints : 13 initial, 13 maximal
1796.50/1797.00 c Presolved Problem :
1796.50/1797.00 c Problem name : t_HOME/instance-3734923-1338715326.opb
1796.50/1797.00 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.50/1797.00 c Constraints : 6 initial, 14278 maximal
1796.50/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.50/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.50/1797.00 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1796.50/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.50/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.50/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.50/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.50/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1796.50/1797.00 c linear : 0.00 0 0 0 0 0 7 0 0 0
1796.50/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.50/1797.00 c root node : - 0 - - 0 - - - - -
1796.50/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.50/1797.00 c integral : 0 0 0 5103359 0 4 0 962 3431 0 0 10198132
1796.50/1797.00 c linear : 6+ 7 20001451 0 1 3 8417797 810896 9992301 0 0 0
1796.50/1797.00 c logicor : 0+ 6 9310092 0 0 0 6902090 34887 3525810 0 0 0
1796.50/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1796.50/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.50/1797.00 c integral : 29.02 0.00 0.00 29.02 0.00 0.00 0.00
1796.50/1797.00 c linear : 146.40 0.00 127.18 0.00 0.00 0.00 19.22
1796.50/1797.00 c logicor : 390.79 0.00 381.33 0.00 0.00 0.00 9.47
1796.50/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.50/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.50/1797.00 c vbounds : 0 0 0 0
1796.50/1797.00 c rootredcost : 0 0 0 0
1796.50/1797.00 c pseudoobj : 0 0 0 0
1796.50/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1796.50/1797.00 c vbounds : 2.44 2.44 0.00
1796.50/1797.00 c rootredcost : 2.54 2.54 0.00
1796.50/1797.00 c pseudoobj : 1.77 1.77 0.00
1796.50/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.50/1797.00 c propagation : 31.84 845783 709058 2252979 36.0 182 31.1 -
1796.50/1797.00 c infeasible LP : 72.69 2714031 2713944 4948576 23.6 32346 28.9 0
1796.50/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.50/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.50/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.50/1797.00 c applied globally : - - - 3881197 20.8 - - -
1796.50/1797.00 c applied locally : - - - 885438 34.4 - - -
1796.50/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.50/1797.00 c cut pool : 0.00 5 - - 14 - (maximal pool size: 93)
1796.50/1797.00 c redcost : 5.66 5103364 0 0 0 0
1796.50/1797.00 c impliedbounds : 0.00 6 0 0 0 0
1796.50/1797.00 c intobj : 0.00 0 0 0 0 0
1796.50/1797.00 c gomory : 0.00 6 0 0 0 0
1796.50/1797.00 c cgmip : 0.00 0 0 0 0 0
1796.50/1797.00 c closecuts : 0.00 0 0 0 0 0
1796.50/1797.00 c strongcg : 0.00 6 0 0 22 0
1796.50/1797.00 c cmir : 0.01 6 0 0 35 0
1796.50/1797.00 c flowcover : 0.01 6 0 0 50 0
1796.50/1797.00 c clique : 0.00 1 0 0 0 0
1796.50/1797.00 c zerohalf : 0.00 0 0 0 0 0
1796.50/1797.00 c mcf : 0.00 1 0 0 0 0
1796.50/1797.00 c oddcycle : 0.00 0 0 0 0 0
1796.50/1797.00 c rapidlearning : 0.02 1 0 0 0 5
1796.50/1797.00 c Pricers : Time Calls Vars
1796.50/1797.00 c problem variables: 0.00 0 0
1796.50/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.50/1797.00 c relpscost : 26.58 5103359 962 3431 0 0 10198132
1796.50/1797.00 c pscost : 0.00 0 0 0 0 0 0
1796.50/1797.00 c inference : 0.00 1 0 0 0 0 2
1796.50/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1796.50/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1796.50/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1796.50/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1796.50/1797.00 c random : 0.00 0 0 0 0 0 0
1796.50/1797.00 c Primal Heuristics : Time Calls Found
1796.50/1797.00 c LP solutions : 0.00 - 0
1796.50/1797.00 c pseudo solutions : 0.00 - 0
1796.50/1797.00 c oneopt : 1.84 0 0
1796.50/1797.00 c crossover : 1.32 0 0
1796.50/1797.00 c guideddiving : 0.18 0 0
1796.50/1797.00 c fracdiving : 0.15 93 0
1796.50/1797.00 c veclendiving : 0.16 93 0
1796.50/1797.00 c linesearchdiving : 0.17 93 0
1796.50/1797.00 c objpscostdiving : 0.13 47 0
1796.50/1797.00 c rootsoldiving : 0.16 47 0
1796.50/1797.00 c coefdiving : 0.15 94 0
1796.50/1797.00 c pscostdiving : 0.17 94 0
1796.50/1797.00 c feaspump : 0.14 47 0
1796.50/1797.00 c trivial : 0.00 2 0
1796.50/1797.00 c shiftandpropagate: 0.00 1 0
1796.50/1797.00 c simplerounding : 0.78 0 0
1796.50/1797.00 c zirounding : 12.04 0 0
1796.50/1797.00 c rounding : 1.77 31998 0
1796.50/1797.00 c shifting : 2.46 9203 0
1796.50/1797.00 c intshifting : 0.08 0 0
1796.50/1797.00 c twoopt : 0.00 0 0
1796.50/1797.00 c fixandinfer : 0.00 0 0
1796.50/1797.00 c clique : 0.00 0 0
1796.50/1797.00 c intdiving : 0.00 0 0
1796.50/1797.00 c actconsdiving : 0.00 0 0
1796.50/1797.00 c octane : 0.00 0 0
1796.50/1797.00 c rens : 0.02 1 0
1796.50/1797.00 c rins : 0.00 0 0
1796.50/1797.00 c localbranching : 0.00 0 0
1796.50/1797.00 c mutation : 0.00 0 0
1796.50/1797.00 c dins : 0.00 0 0
1796.50/1797.00 c vbounds : 0.00 0 0
1796.50/1797.00 c undercover : 0.00 0 0
1796.50/1797.00 c subnlp : 1.02 0 0
1796.50/1797.00 c trysol : 1.28 0 0
1796.50/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1796.50/1797.00 c primal LP : 0.00 0 0 0.00 -
1796.50/1797.00 c dual LP : 360.44 7610869 19022158 2.50 52774.66
1796.50/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.50/1797.00 c barrier LP : 0.00 0 0 0.00 -
1796.50/1797.00 c diving/probing LP: 0.10 2017 3946 1.96 38690.83
1796.50/1797.00 c strong branching : 0.75 8142 38963 4.79 52285.01
1796.50/1797.00 c (at root node) : - 14 634 45.29 -
1796.50/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.50/1797.00 c B&B Tree :
1796.50/1797.00 c number of runs : 1
1796.50/1797.00 c nodes : 8388557
1796.50/1797.00 c nodes (total) : 8388557
1796.50/1797.00 c nodes left : 1510533
1796.50/1797.00 c max depth : 45
1796.50/1797.00 c max depth (total): 45
1796.50/1797.00 c backtracks : 1383017 (16.5%)
1796.50/1797.00 c delayed cutoffs : 299045
1796.50/1797.00 c repropagations : 6971706 (5676855 domain reductions, 270125 cutoffs)
1796.50/1797.00 c avg switch length: 5.38
1796.50/1797.00 c switching time : 480.18
1796.50/1797.00 c Solution :
1796.50/1797.00 c Solutions found : 0 (0 improvements)
1796.50/1797.00 c Primal Bound : -
1796.50/1797.00 c Dual Bound : +0.00000000000000e+00
1796.50/1797.00 c Gap : infinite
1796.50/1797.00 c Root Dual Bound : +0.00000000000000e+00
1796.50/1797.00 c Root Iterations : 149
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734923-1338715326/watcher-3734923-1338715326 -o /tmp/evaluation-result-3734923-1338715326/solver-3734923-1338715326 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3734923-1338715326.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 28464
/proc/meminfo: memFree=25855168/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=9456 CPUtime=0 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 1503 0 0 0 0 0 0 0 20 0 1 0 337658666 9682944 1457 33554432000 4194304 9016284 140735966990192 140735966989128 7875499 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 2364 1457 311 1178 0 1182 0
[startup+0.0462559 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 28464
/proc/meminfo: memFree=25855168/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=26296 CPUtime=0.04 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 6180 0 0 0 3 1 0 0 20 0 1 0 337658666 26927104 5171 33554432000 4194304 9016284 140735966990192 140735966984472 6584067 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 6574 5171 678 1178 0 5392 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26296
[startup+0.100327 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 28464
/proc/meminfo: memFree=25855168/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=26320 CPUtime=0.09 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 7296 0 0 0 8 1 0 0 20 0 1 0 337658666 26951680 5546 33554432000 4194304 9016284 140735966990192 140735966984472 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 6580 5546 681 1178 0 5398 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26320
[startup+0.300219 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 28464
/proc/meminfo: memFree=25855168/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=26320 CPUtime=0.29 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 7300 0 0 0 27 2 0 0 20 0 1 0 337658666 26951680 5550 33554432000 4194304 9016284 140735966990192 140735966984472 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 6580 5550 684 1178 0 5398 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26320
[startup+0.70022 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 28464
/proc/meminfo: memFree=25855168/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=26320 CPUtime=0.69 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 7304 0 0 0 66 3 0 0 20 0 1 0 337658666 26951680 5554 33554432000 4194304 9016284 140735966990192 140735966984472 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 6580 5554 684 1178 0 5398 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26320
[startup+1.50023 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 28465
/proc/meminfo: memFree=25834196/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=26320 CPUtime=1.49 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 7311 0 0 0 143 6 0 0 20 0 1 0 337658666 26951680 5561 33554432000 4194304 9016284 140735966990192 140735966984360 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 6580 5561 684 1178 0 5398 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26320
[startup+3.10023 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 28465
/proc/meminfo: memFree=25832336/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=26836 CPUtime=3.09 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 7420 0 0 0 297 12 0 0 20 0 1 0 337658666 27480064 5670 33554432000 4194304 9016284 140735966990192 140735966984520 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 6709 5670 684 1178 0 5527 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26836
[startup+6.30022 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 28465
/proc/meminfo: memFree=25824028/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=32248 CPUtime=6.29 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 8751 0 0 0 608 21 0 0 20 0 1 0 337658666 33021952 7001 33554432000 4194304 9016284 140735966990192 140735966984520 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 8062 7001 684 1178 0 6880 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32248
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 28465
/proc/meminfo: memFree=25807048/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=42620 CPUtime=12.69 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 11380 0 0 0 1230 39 0 0 20 0 1 0 337658666 43642880 9630 33554432000 4194304 9016284 140735966990192 140735966984520 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 10655 9630 684 1178 0 9473 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42620
[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 28465
/proc/meminfo: memFree=25773884/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=61400 CPUtime=25.49 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 16090 0 0 0 2470 79 0 0 20 0 1 0 337658666 62873600 14340 33554432000 4194304 9016284 140735966990192 140735966984056 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 15350 14340 684 1178 0 14168 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61400
[startup+51.1002 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 28465
/proc/meminfo: memFree=25713620/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=95836 CPUtime=51.08 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 24356 0 0 0 4955 153 0 0 20 0 1 0 337658666 98136064 22606 33554432000 4194304 9016284 140735966990192 140735966984520 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 23959 22606 684 1178 0 22777 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 95836
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 28465
/proc/meminfo: memFree=25594084/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=159180 CPUtime=102.28 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 40395 0 0 0 9929 299 0 0 20 0 1 0 337658666 163000320 38645 33554432000 4194304 9016284 140735966990192 140735966984472 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 39795 38645 684 1178 0 38613 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 159180
[startup+162.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 28465
/proc/meminfo: memFree=25462332/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=232448 CPUtime=162.27 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 58057 0 0 0 15767 460 0 0 20 0 1 0 337658666 238026752 56307 33554432000 4194304 9016284 140735966990192 140735966984520 4347574 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 58112 56307 684 1178 0 56930 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 232448
[startup+222.3 s]
/proc/loadavg: 2.07 2.01 2.00 3/177 28466
/proc/meminfo: memFree=25337524/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=292172 CPUtime=222.26 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 73225 0 0 0 21612 614 0 0 20 0 1 0 337658666 299184128 71475 33554432000 4194304 9016284 140735966990192 140735966984520 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 73043 71475 684 1178 0 71861 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 292172
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 28467
/proc/meminfo: memFree=25220832/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=351492 CPUtime=282.25 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 88295 0 0 0 27460 765 0 0 20 0 1 0 337658666 359927808 86545 33554432000 4194304 9016284 140735966990192 140735966984520 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 87873 86545 684 1178 0 86691 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 351492
[startup+342.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 28467
/proc/meminfo: memFree=25097892/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=418136 CPUtime=342.24 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 103166 0 0 0 33317 907 0 0 20 0 1 0 337658666 428171264 101416 33554432000 4194304 9016284 140735966990192 140735966984520 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 104534 101416 684 1178 0 103352 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 418136
[startup+402.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 28506
/proc/meminfo: memFree=27124636/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=473196 CPUtime=402.22 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 117125 0 0 0 39171 1051 0 0 20 0 1 0 337658666 484552704 115553 33554432000 4194304 9016284 140735966990192 140735966983560 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 118299 115553 684 1178 0 117117 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 473196
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 28506
/proc/meminfo: memFree=27064940/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=522364 CPUtime=462.19 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 129716 0 0 0 45031 1188 0 0 20 0 1 0 337658666 534900736 128697 33554432000 4194304 9016284 140735966990192 140735966984520 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 130591 128697 684 1178 0 129409 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 522364
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 28510
/proc/meminfo: memFree=27014384/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=569204 CPUtime=522.17 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 141469 0 0 0 50887 1330 0 0 20 0 1 0 337658666 582864896 140431 33554432000 4194304 9016284 140735966990192 140735966984520 6679823 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 142301 140431 684 1178 0 141119 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 569204
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 28510
/proc/meminfo: memFree=26960728/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=615560 CPUtime=582.15 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 153243 0 0 0 56757 1458 0 0 20 0 1 0 337658666 630333440 152215 33554432000 4194304 9016284 140735966990192 140735966984520 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 153890 152215 684 1178 0 152708 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 615560
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 28549
/proc/meminfo: memFree=26740344/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=841012 CPUtime=882.01 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 210195 0 0 0 86100 2101 0 0 20 0 1 0 337658666 861196288 209349 33554432000 4194304 9016284 140735966990192 140735966984520 5325570 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 210253 209349 684 1178 0 209071 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 841012
[startup+942.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 28549
/proc/meminfo: memFree=26646608/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=873932 CPUtime=942 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 218547 0 0 0 91986 2214 0 0 20 0 1 0 337658666 894906368 217701 33554432000 4194304 9016284 140735966990192 140735966984520 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 218483 217701 684 1178 0 217301 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 873932
[startup+1002.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 28549
/proc/meminfo: memFree=26555280/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=925240 CPUtime=1002 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 227153 0 0 0 97877 2323 0 0 20 0 1 0 337658666 947445760 226818 33554432000 4194304 9016284 140735966990192 140735966984520 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 231310 226818 684 1178 0 230128 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 925240
[startup+1062.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 28549
/proc/meminfo: memFree=26480444/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=966272 CPUtime=1061.99 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 237573 0 0 0 103749 2450 0 0 20 0 1 0 337658666 989462528 237749 33554432000 4194304 9016284 140735966990192 140735966984152 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 241568 237749 684 1178 0 240386 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 966272
[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 28553
/proc/meminfo: memFree=26398596/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=1004552 CPUtime=1121.97 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 247228 0 0 0 109630 2567 0 0 20 0 1 0 337658666 1028661248 247404 33554432000 4194304 9016284 140735966990192 140735966984520 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 251138 247404 684 1178 0 249956 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 1004552
[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 28553
/proc/meminfo: memFree=26303992/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=1045516 CPUtime=1181.97 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 257591 0 0 0 115517 2680 0 0 20 0 1 0 337658666 1070608384 257767 33554432000 4194304 9016284 140735966990192 140735966984520 4319207 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 261379 257767 684 1178 0 260197 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1045516
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 28553
/proc/meminfo: memFree=26225748/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=1081764 CPUtime=1241.95 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 266421 0 0 0 121400 2795 0 0 20 0 1 0 337658666 1107726336 266597 33554432000 4194304 9016284 140735966990192 140735966984520 4347574 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 270441 266597 684 1178 0 269259 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1081764
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 28553
/proc/meminfo: memFree=26150852/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=1115372 CPUtime=1301.96 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 274886 0 0 0 127294 2902 0 0 20 0 1 0 337658666 1142140928 275062 33554432000 4194304 9016284 140735966990192 140735966983560 4654080 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 278843 275062 684 1178 0 277661 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1115372
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 28553
/proc/meminfo: memFree=26068184/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=1152852 CPUtime=1361.93 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 284356 0 0 0 133177 3016 0 0 20 0 1 0 337658666 1180520448 285141 33554432000 4194304 9016284 140735966990192 140735966984520 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 288213 285141 684 1178 0 287031 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1152852
[startup+1422.31 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 28554
/proc/meminfo: memFree=25993244/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=1190716 CPUtime=1421.92 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 293925 0 0 0 139055 3137 0 0 20 0 1 0 337658666 1219293184 295206 33554432000 4194304 9016284 140735966990192 140735966984520 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 297679 295206 684 1178 0 296497 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1190716
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 28555
/proc/meminfo: memFree=25929668/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=1225436 CPUtime=1481.9 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 302676 0 0 0 144952 3238 0 0 20 0 1 0 337658666 1254846464 303942 33554432000 4194304 9016284 140735966990192 140735966984520 6469440 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 306359 303942 684 1178 0 305177 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1225436
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 28555
/proc/meminfo: memFree=25865028/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=1260220 CPUtime=1541.88 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 310998 0 0 0 150838 3350 0 0 20 0 1 0 337658666 1290465280 312264 33554432000 4194304 9016284 140735966990192 140735966984520 6679823 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 315055 312264 684 1178 0 313873 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1260220
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28555
/proc/meminfo: memFree=25799088/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=1298628 CPUtime=1601.84 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 320713 0 0 0 156720 3464 0 0 20 0 1 0 337658666 1329795072 321992 33554432000 4194304 9016284 140735966990192 140735966984520 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 324657 321992 684 1178 0 323475 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1298628
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28555
/proc/meminfo: memFree=25740668/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=1330880 CPUtime=1661.82 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 328913 0 0 0 162602 3580 0 0 20 0 1 0 337658666 1362821120 330170 33554432000 4194304 9016284 140735966990192 140735966984520 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 332720 330170 684 1178 0 331538 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1330880
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28559
/proc/meminfo: memFree=25671436/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=1370232 CPUtime=1721.81 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 338792 0 0 0 168488 3693 0 0 20 0 1 0 337658666 1403117568 340049 33554432000 4194304 9016284 140735966990192 140735966984520 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 342558 340049 684 1178 0 341376 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1370232
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28559
/proc/meminfo: memFree=25626956/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=1399932 CPUtime=1781.8 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 346294 0 0 0 174376 3804 0 0 20 0 1 0 337658666 1433530368 347551 33554432000 4194304 9016284 140735966990192 140735966984520 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 349983 347551 684 1178 0 348801 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1399932
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28559
/proc/meminfo: memFree=25613284/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=1406140 CPUtime=1800.01 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 347869 0 0 0 176169 3832 0 0 20 0 1 0 337658666 1439887360 349126 33554432000 4194304 9016284 140735966990192 140735966985992 4897739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 351535 349126 685 1178 0 350353 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1406140
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28559
/proc/meminfo: memFree=25613284/32873844 swapFree=7372/7372
[pid=28464] ppid=28462 vsize=1406140 CPUtime=1800.01 cores=1,3,5,7
/proc/28464/stat : 28464 (scip-2.0.1.4b_2) R 28462 28464 26510 0 -1 4202496 347869 0 0 0 176169 3832 0 0 20 0 1 0 337658666 1439887360 349126 33554432000 4194304 9016284 140735966990192 140735966985992 4897739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28464/statm: 351535 349126 685 1178 0 350353 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1406140
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.03
CPU user time (s): 1761.69
CPU system time (s): 38.3342
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 1406140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1761.69
system time used= 38.3342
maximum resident set size= 1396504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 347869
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= 331
involuntary context switches= 1832
runsolver used 3.57146 second user time and 9.50356 second system time
The end