0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3450867-1307095489.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.00 c presolving:
0.00/0.00 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.00 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 = 1800
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.03 c 0.0s| 1 | 0 | 128 | - | 364k| 0 | 10 | 50 | 25 | 50 | 15 | 9 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 135 | - | 386k| 0 | 11 | 50 | 25 | 50 | 19 | 13 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 142 | - | 395k| 0 | 13 | 50 | 25 | 50 | 21 | 15 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 146 | - | 419k| 0 | 15 | 50 | 25 | 50 | 25 | 19 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 149 | - | 438k| 0 | 17 | 50 | 25 | 50 | 28 | 22 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.07 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.03 c 3.0s| 20000 | 6401 | 52507 | 2.6 |6093k| 44 | - | 50 |2183 | 50 | 17 | 22 |9930 | 794 | 0.000000e+00 | -- | Inf
4.41/4.43 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.84 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.28 c 7.3s| 50000 | 15594 |124679 | 2.5 | 12M| 45 | - | 50 |2508 | 50 | 17 | 22 | 25k|1073 | 0.000000e+00 | -- | Inf
8.70/8.73 c 8.7s| 60000 | 18398 |148219 | 2.5 | 14M| 45 | 6 | 50 |2621 | 50 | 17 | 22 | 30k|1133 | 0.000000e+00 | -- | Inf
10.19/10.20 c 10.2s| 70000 | 21133 |171842 | 2.5 | 16M| 45 | 6 | 50 |3203 | 50 | 17 | 22 | 35k|1178 | 0.000000e+00 | -- | Inf
11.69/11.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.69/11.72 c 11.7s| 80000 | 23630 |195240 | 2.4 | 18M| 45 | 6 | 50 |3299 | 50 | 17 | 22 | 40k|1227 | 0.000000e+00 | -- | Inf
13.21/13.22 c 13.2s| 90000 | 26293 |219062 | 2.4 | 20M| 45 | 6 | 50 |3501 | 50 | 17 | 22 | 46k|1274 | 0.000000e+00 | -- | Inf
14.79/14.80 c 14.8s|100000 | 28512 |241973 | 2.4 | 22M| 45 | - | 50 |3298 | 50 | 17 | 22 | 51k|1306 | 0.000000e+00 | -- | Inf
16.19/16.28 c 16.3s|110000 | 31265 |264644 | 2.4 | 24M| 45 | 6 | 50 |3001 | 50 | 17 | 22 | 57k|1317 | 0.000000e+00 | -- | Inf
17.69/17.78 c 17.8s|120000 | 33832 |287610 | 2.4 | 26M| 45 | 6 | 50 |3283 | 50 | 17 | 22 | 62k|1341 | 0.000000e+00 | -- | Inf
19.19/19.21 c 19.2s|130000 | 36774 |310051 | 2.4 | 28M| 45 | 6 | 50 |3987 | 50 | 17 | 22 | 67k|1352 | 0.000000e+00 | -- | Inf
20.69/20.73 c 20.7s|140000 | 39566 |333254 | 2.4 | 30M| 45 | 6 | 50 |3661 | 50 | 17 | 22 | 72k|1374 | 0.000000e+00 | -- | Inf
22.19/22.24 c 22.2s|150000 | 42279 |356045 | 2.4 | 32M| 45 | 6 | 50 |3398 | 50 | 17 | 22 | 77k|1388 | 0.000000e+00 | -- | Inf
23.69/23.73 c 23.7s|160000 | 45124 |378849 | 2.4 | 34M| 45 | 6 | 50 |3371 | 50 | 17 | 22 | 82k|1419 | 0.000000e+00 | -- | Inf
25.21/25.22 c 25.2s|170000 | 47865 |402290 | 2.4 | 36M| 45 | 6 | 50 |3634 | 50 | 17 | 22 | 88k|1436 | 0.000000e+00 | -- | Inf
26.69/26.73 c 26.7s|180000 | 50567 |425696 | 2.4 | 38M| 45 | 6 | 50 |3598 | 50 | 17 | 22 | 93k|1471 | 0.000000e+00 | -- | Inf
28.19/28.22 c 28.2s|190000 | 53459 |448522 | 2.4 | 40M| 45 | 6 | 50 |3470 | 50 | 17 | 22 | 98k|1507 | 0.000000e+00 | -- | Inf
29.71/29.75 c 29.8s|200000 | 56121 |471521 | 2.4 | 42M| 45 | - | 50 |3673 | 50 | 17 | 22 | 103k|1570 | 0.000000e+00 | -- | Inf
31.29/31.32 c 31.3s|210000 | 58621 |494558 | 2.4 | 44M| 45 | 6 | 50 |3073 | 50 | 17 | 22 | 109k|1578 | 0.000000e+00 | -- | Inf
32.79/32.85 c 32.9s|220000 | 61067 |517028 | 2.3 | 46M| 45 | 6 | 50 |3490 | 50 | 17 | 22 | 114k|1596 | 0.000000e+00 | -- | Inf
34.29/34.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.29/34.33 c 34.3s|230000 | 63838 |539437 | 2.3 | 48M| 45 | - | 50 |4599 | 50 | 17 | 22 | 119k|1608 | 0.000000e+00 | -- | Inf
35.79/35.87 c 35.9s|240000 | 66559 |562446 | 2.3 | 50M| 45 | - | 50 |3327 | 50 | 17 | 22 | 124k|1622 | 0.000000e+00 | -- | Inf
37.30/37.38 c 37.4s|250000 | 69212 |584939 | 2.3 | 52M| 45 | - | 50 |3461 | 50 | 17 | 22 | 130k|1653 | 0.000000e+00 | -- | Inf
38.89/38.96 c 39.0s|260000 | 71653 |608119 | 2.3 | 54M| 45 | 6 | 50 |3247 | 50 | 17 | 22 | 135k|1666 | 0.000000e+00 | -- | Inf
40.49/40.51 c 40.5s|270000 | 74149 |630967 | 2.3 | 56M| 45 | 6 | 50 |3477 | 50 | 17 | 22 | 141k|1687 | 0.000000e+00 | -- | Inf
41.99/42.00 c 42.0s|280000 | 76922 |653184 | 2.3 | 58M| 45 | - | 50 |3668 | 50 | 17 | 22 | 146k|1702 | 0.000000e+00 | -- | Inf
43.49/43.56 c 43.6s|290000 | 79483 |675874 | 2.3 | 60M| 45 | 6 | 50 |3671 | 50 | 17 | 22 | 151k|1718 | 0.000000e+00 | -- | Inf
45.11/45.12 c 45.1s|300000 | 82054 |698503 | 2.3 | 62M| 45 | 6 | 50 |4116 | 50 | 17 | 22 | 157k|1733 | 0.000000e+00 | -- | Inf
46.69/46.74 c 46.7s|310000 | 84354 |720707 | 2.3 | 64M| 45 | 6 | 50 |3920 | 50 | 17 | 22 | 162k|1758 | 0.000000e+00 | -- | Inf
48.31/48.39 c 48.4s|320000 | 86488 |743696 | 2.3 | 65M| 45 | 6 | 50 |3708 | 50 | 17 | 22 | 168k|1771 | 0.000000e+00 | -- | Inf
49.89/49.96 c 50.0s|330000 | 88929 |766509 | 2.3 | 67M| 45 | 6 | 50 |3804 | 50 | 17 | 22 | 173k|1779 | 0.000000e+00 | -- | Inf
51.49/51.51 c 51.5s|340000 | 91348 |789130 | 2.3 | 69M| 45 | 6 | 50 |3891 | 50 | 17 | 22 | 179k|1791 | 0.000000e+00 | -- | Inf
53.09/53.12 c 53.1s|350000 | 93747 |811254 | 2.3 | 71M| 45 | - | 50 |3479 | 50 | 17 | 22 | 184k|1804 | 0.000000e+00 | -- | Inf
54.69/54.70 c 54.7s|360000 | 95992 |834270 | 2.3 | 73M| 45 | 6 | 50 |3567 | 50 | 17 | 22 | 190k|1821 | 0.000000e+00 | -- | Inf
56.11/56.18 c 56.2s|370000 | 98747 |857499 | 2.3 | 75M| 45 | - | 50 |4563 | 0 | 0 | 22 | 195k|1925 | 0.000000e+00 | -- | Inf
57.69/57.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.69/57.78 c 57.8s|380000 |101071 |880394 | 2.3 | 77M| 45 | - | 50 |3912 | 50 | 17 | 22 | 201k|1926 | 0.000000e+00 | -- | Inf
59.41/59.42 c 59.4s|390000 |103211 |902761 | 2.3 | 78M| 45 | - | 50 |3753 | 0 | 0 | 22 | 206k|1935 | 0.000000e+00 | -- | Inf
60.89/60.91 c 60.9s|400000 |106043 |925631 | 2.3 | 80M| 45 | 6 | 50 |4445 | 50 | 17 | 22 | 211k|1948 | 0.000000e+00 | -- | Inf
62.49/62.58 c 62.6s|410000 |108089 |948224 | 2.3 | 82M| 45 | 6 | 50 |3803 | 50 | 17 | 22 | 217k|1978 | 0.000000e+00 | -- | Inf
64.09/64.15 c 64.1s|420000 |110528 |970892 | 2.3 | 84M| 45 | 6 | 50 |4421 | 50 | 17 | 22 | 222k|1998 | 0.000000e+00 | -- | Inf
65.59/65.66 c 65.7s|430000 |113121 |993334 | 2.3 | 86M| 45 | - | 50 |5551 | 50 | 17 | 22 | 227k|2017 | 0.000000e+00 | -- | Inf
67.19/67.29 c 67.3s|440000 |115625 | 1014k| 2.3 | 88M| 45 | - | 50 |4534 | 50 | 17 | 22 | 232k|2039 | 0.000000e+00 | -- | Inf
68.89/68.97 c 69.0s|450000 |117688 | 1037k| 2.3 | 90M| 45 | - | 50 |4068 | 50 | 17 | 22 | 238k|2061 | 0.000000e+00 | -- | Inf
70.59/70.63 c 70.6s|460000 |119923 | 1060k| 2.3 | 91M| 45 | 6 | 50 |4211 | 50 | 17 | 22 | 244k|2075 | 0.000000e+00 | -- | Inf
72.10/72.20 c 72.2s|470000 |122227 | 1082k| 2.3 | 93M| 45 | - | 50 |4554 | 50 | 17 | 22 | 249k|2096 | 0.000000e+00 | -- | Inf
73.79/73.88 c 73.9s|480000 |124336 | 1105k| 2.3 | 95M| 45 | - | 50 |4326 | 0 | 0 | 22 | 255k|2119 | 0.000000e+00 | -- | Inf
75.49/75.55 c 75.6s|490000 |126446 | 1128k| 2.3 | 97M| 45 | 6 | 50 |4164 | 50 | 17 | 22 | 260k|2134 | 0.000000e+00 | -- | Inf
77.09/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.79/78.80 c 78.8s|510000 |131028 | 1173k| 2.3 | 101M| 45 | 6 | 50 |4587 | 50 | 17 | 22 | 271k|2186 | 0.000000e+00 | -- | Inf
80.39/80.42 c 80.4s|520000 |133406 | 1195k| 2.3 | 102M| 45 | 6 | 50 |3780 | 50 | 17 | 22 | 277k|2204 | 0.000000e+00 | -- | Inf
81.99/82.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.99/82.02 c 82.0s|530000 |135660 | 1217k| 2.3 | 104M| 45 | 6 | 50 |3937 | 50 | 17 | 22 | 282k|2217 | 0.000000e+00 | -- | Inf
83.60/83.64 c 83.6s|540000 |137861 | 1240k| 2.3 | 106M| 45 | 6 | 50 |4888 | 50 | 17 | 22 | 288k|2230 | 0.000000e+00 | -- | Inf
85.19/85.24 c 85.2s|550000 |140389 | 1263k| 2.3 | 108M| 45 | 6 | 50 |5184 | 50 | 17 | 22 | 293k|2246 | 0.000000e+00 | -- | Inf
86.80/86.86 c 86.9s|560000 |143176 | 1286k| 2.3 | 110M| 45 | - | 50 |4407 | 50 | 17 | 22 | 298k|2252 | 0.000000e+00 | -- | Inf
88.39/88.45 c 88.5s|570000 |145577 | 1309k| 2.3 | 112M| 45 | - | 50 |5151 | 50 | 17 | 22 | 304k|2270 | 0.000000e+00 | -- | Inf
90.11/90.18 c 90.2s|580000 |147739 | 1332k| 2.3 | 114M| 45 | - | 50 |4634 | 50 | 17 | 22 | 309k|2280 | 0.000000e+00 | -- | Inf
91.70/91.74 c 91.7s|590000 |150386 | 1354k| 2.3 | 116M| 45 | 6 | 50 |4666 | 50 | 17 | 22 | 314k|2294 | 0.000000e+00 | -- | Inf
93.19/93.21 c 93.2s|600000 |153453 | 1378k| 2.3 | 118M| 45 | 6 | 50 |6096 | 50 | 17 | 22 | 319k|2315 | 0.000000e+00 | -- | Inf
94.79/94.86 c 94.9s|610000 |155831 | 1401k| 2.3 | 120M| 45 | 6 | 50 |6165 | 50 | 17 | 22 | 324k|2329 | 0.000000e+00 | -- | Inf
96.49/96.54 c 96.5s|620000 |158245 | 1425k| 2.3 | 122M| 45 | - | 50 |6543 | 50 | 17 | 22 | 329k|2352 | 0.000000e+00 | -- | Inf
98.19/98.26 c 98.3s|630000 |160861 | 1448k| 2.3 | 124M| 45 | 6 | 50 |5787 | 50 | 17 | 22 | 334k|2369 | 0.000000e+00 | -- | Inf
99.80/99.88 c 99.9s|640000 |163510 | 1469k| 2.3 | 126M| 45 | 6 | 50 |5230 | 50 | 17 | 22 | 339k|2385 | 0.000000e+00 | -- | Inf
101.59/101.62 c 102s|650000 |165640 | 1492k| 2.3 | 127M| 45 | 6 | 50 |4057 | 50 | 17 | 22 | 345k|2401 | 0.000000e+00 | -- | Inf
103.09/103.13 c 103s|660000 |168597 | 1514k| 2.3 | 129M| 45 | 6 | 50 |4772 | 50 | 17 | 22 | 349k|2415 | 0.000000e+00 | -- | Inf
104.79/104.82 c 105s|670000 |170796 | 1537k| 2.3 | 131M| 45 | 6 | 50 |3955 | 50 | 17 | 22 | 355k|2434 | 0.000000e+00 | -- | Inf
106.49/106.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.49/106.54 c 107s|680000 |172854 | 1559k| 2.3 | 133M| 45 | - | 50 |3689 | 50 | 17 | 22 | 360k|2448 | 0.000000e+00 | -- | Inf
108.00/108.05 c 108s|690000 |175623 | 1581k| 2.3 | 134M| 45 | 6 | 50 |3938 | 50 | 17 | 22 | 366k|2461 | 0.000000e+00 | -- | Inf
109.49/109.54 c 110s|700000 |178603 | 1604k| 2.3 | 137M| 45 | 6 | 50 |5155 | 50 | 17 | 22 | 371k|2474 | 0.000000e+00 | -- | Inf
111.11/111.19 c 111s|710000 |181041 | 1626k| 2.3 | 139M| 45 | - | 50 |4868 | 50 | 17 | 22 | 376k|2490 | 0.000000e+00 | -- | Inf
112.69/112.78 c 113s|720000 |183574 | 1647k| 2.3 | 140M| 45 | 6 | 50 |5212 | 50 | 17 | 22 | 381k|2499 | 0.000000e+00 | -- | Inf
114.40/114.46 c 114s|730000 |185787 | 1670k| 2.3 | 142M| 45 | - | 50 |5064 | 50 | 17 | 22 | 387k|2510 | 0.000000e+00 | -- | Inf
116.09/116.19 c 116s|740000 |187923 | 1693k| 2.3 | 144M| 45 | 6 | 50 |4020 | 50 | 17 | 22 | 392k|2529 | 0.000000e+00 | -- | Inf
117.80/117.81 c 118s|750000 |190243 | 1715k| 2.3 | 146M| 45 | - | 50 |3829 | 50 | 17 | 22 | 398k|2543 | 0.000000e+00 | -- | Inf
119.29/119.36 c 119s|760000 |192857 | 1738k| 2.3 | 148M| 45 | 6 | 50 |3987 | 50 | 17 | 22 | 403k|2555 | 0.000000e+00 | -- | Inf
121.01/121.03 c 121s|770000 |194889 | 1761k| 2.3 | 149M| 45 | 6 | 50 |4173 | 50 | 17 | 22 | 408k|2569 | 0.000000e+00 | -- | Inf
122.70/122.76 c 123s|780000 |196890 | 1784k| 2.3 | 151M| 45 | - | 50 |3847 | 50 | 17 | 22 | 414k|2576 | 0.000000e+00 | -- | Inf
124.20/124.29 c 124s|790000 |199703 | 1807k| 2.3 | 153M| 45 | 6 | 50 |5012 | 50 | 17 | 22 | 419k|2587 | 0.000000e+00 | -- | Inf
126.00/126.09 c 126s|800000 |201760 | 1829k| 2.3 | 155M| 45 | 6 | 50 |3410 | 50 | 17 | 22 | 425k|2597 | 0.000000e+00 | -- | Inf
127.69/127.73 c 128s|810000 |203949 | 1851k| 2.3 | 157M| 45 | 6 | 50 |3787 | 50 | 17 | 22 | 430k|2635 | 0.000000e+00 | -- | Inf
129.30/129.35 c 129s|820000 |206225 | 1873k| 2.3 | 158M| 45 | 6 | 50 |4412 | 50 | 17 | 22 | 436k|2641 | 0.000000e+00 | -- | Inf
130.91/130.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
130.91/130.96 c 131s|830000 |208643 | 1895k| 2.3 | 160M| 45 | - | 50 |4681 | 50 | 17 | 22 | 441k|2656 | 0.000000e+00 | -- | Inf
132.60/132.63 c 133s|840000 |210898 | 1918k| 2.3 | 162M| 45 | 6 | 50 |3324 | 50 | 17 | 22 | 446k|2677 | 0.000000e+00 | -- | Inf
134.21/134.26 c 134s|850000 |213029 | 1940k| 2.3 | 164M| 45 | 6 | 50 |3861 | 50 | 17 | 22 | 452k|2696 | 0.000000e+00 | -- | Inf
135.80/135.82 c 136s|860000 |215340 | 1963k| 2.3 | 166M| 45 | 6 | 50 |4820 | 50 | 17 | 22 | 457k|2715 | 0.000000e+00 | -- | Inf
137.29/137.37 c 137s|870000 |218028 | 1986k| 2.3 | 168M| 45 | 6 | 50 |6256 | 50 | 17 | 22 | 462k|2735 | 0.000000e+00 | -- | Inf
139.09/139.16 c 139s|880000 |220343 | 2008k| 2.3 | 169M| 45 | - | 50 |4524 | 50 | 17 | 22 | 468k|2754 | 0.000000e+00 | -- | Inf
140.81/140.86 c 141s|890000 |222410 | 2030k| 2.3 | 171M| 45 | 6 | 50 |3499 | 50 | 17 | 22 | 473k|2772 | 0.000000e+00 | -- | Inf
142.50/142.55 c 143s|900000 |224445 | 2053k| 2.3 | 173M| 45 | - | 50 |3645 | 50 | 17 | 22 | 479k|2791 | 0.000000e+00 | -- | Inf
144.11/144.14 c 144s|910000 |226650 | 2076k| 2.3 | 175M| 45 | - | 50 |4334 | 50 | 17 | 22 | 484k|2801 | 0.000000e+00 | -- | Inf
145.79/145.87 c 146s|920000 |228697 | 2098k| 2.3 | 176M| 45 | 6 | 50 |3585 | 50 | 17 | 22 | 490k|2812 | 0.000000e+00 | -- | Inf
147.49/147.51 c 148s|930000 |230898 | 2121k| 2.3 | 178M| 45 | - | 50 |3794 | 50 | 17 | 22 | 495k|2832 | 0.000000e+00 | -- | Inf
149.10/149.16 c 149s|940000 |233113 | 2143k| 2.3 | 180M| 45 | 6 | 50 |4436 | 50 | 17 | 22 | 501k|2844 | 0.000000e+00 | -- | Inf
150.79/150.85 c 151s|950000 |235196 | 2165k| 2.3 | 182M| 45 | 6 | 50 |3448 | 50 | 17 | 22 | 506k|2862 | 0.000000e+00 | -- | Inf
152.39/152.45 c 152s|960000 |237539 | 2188k| 2.3 | 184M| 45 | - | 50 |3815 | 50 | 17 | 22 | 512k|2873 | 0.000000e+00 | -- | Inf
154.10/154.11 c 154s|970000 |239658 | 2211k| 2.3 | 185M| 45 | - | 50 |3935 | 50 | 17 | 22 | 517k|2887 | 0.000000e+00 | -- | Inf
155.79/155.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.79/155.81 c 156s|980000 |241684 | 2234k| 2.3 | 187M| 45 | 6 | 50 |3893 | 50 | 17 | 22 | 523k|2927 | 0.000000e+00 | -- | Inf
157.39/157.47 c 157s|990000 |243658 | 2256k| 2.3 | 189M| 45 | 6 | 50 |3816 | 50 | 17 | 22 | 529k|2928 | 0.000000e+00 | -- | Inf
159.09/159.12 c 159s| 1000k|245651 | 2278k| 2.3 | 191M| 45 | 6 | 50 |4044 | 50 | 17 | 22 | 534k|2947 | 0.000000e+00 | -- | Inf
160.61/160.67 c 161s| 1010k|248072 | 2300k| 2.3 | 193M| 45 | - | 50 |5489 | 50 | 17 | 22 | 540k|2961 | 0.000000e+00 | -- | Inf
162.40/162.43 c 162s| 1020k|250020 | 2322k| 2.3 | 194M| 45 | - | 50 |4027 | 50 | 17 | 22 | 545k|2980 | 0.000000e+00 | -- | Inf
164.10/164.15 c 164s| 1030k|251989 | 2345k| 2.3 | 196M| 45 | - | 50 |3830 | 50 | 17 | 22 | 551k|2995 | 0.000000e+00 | -- | Inf
165.79/165.83 c 166s| 1040k|254036 | 2368k| 2.3 | 198M| 45 | 6 | 50 |4222 | 50 | 17 | 22 | 556k|3014 | 0.000000e+00 | -- | Inf
167.49/167.57 c 168s| 1050k|255996 | 2391k| 2.3 | 199M| 45 | - | 50 |3696 | 50 | 17 | 22 | 562k|3028 | 0.000000e+00 | -- | Inf
169.20/169.20 c 169s| 1060k|258106 | 2414k| 2.3 | 201M| 45 | 6 | 50 |4616 | 50 | 17 | 22 | 568k|3050 | 0.000000e+00 | -- | Inf
170.89/170.96 c 171s| 1070k|260052 | 2437k| 2.3 | 203M| 45 | 6 | 50 |4127 | 50 | 17 | 22 | 573k|3069 | 0.000000e+00 | -- | Inf
172.61/172.62 c 173s| 1080k|262071 | 2459k| 2.3 | 205M| 45 | - | 50 |4545 | 50 | 17 | 22 | 579k|3090 | 0.000000e+00 | -- | Inf
174.29/174.35 c 174s| 1090k|263975 | 2481k| 2.3 | 207M| 45 | 6 | 50 |4505 | 50 | 17 | 22 | 585k|3108 | 0.000000e+00 | -- | Inf
175.91/176.01 c 176s| 1100k|266200 | 2503k| 2.3 | 208M| 45 | - | 50 |5001 | 0 | 0 | 22 | 590k|3127 | 0.000000e+00 | -- | Inf
177.70/177.70 c 178s| 1110k|268453 | 2526k| 2.3 | 210M| 45 | - | 50 |4936 | 50 | 17 | 22 | 595k|3148 | 0.000000e+00 | -- | Inf
179.39/179.40 c 179s| 1120k|270668 | 2547k| 2.3 | 212M| 45 | 6 | 50 |4277 | 50 | 17 | 22 | 601k|3162 | 0.000000e+00 | -- | Inf
180.90/180.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.90/180.95 c 181s| 1130k|273142 | 2570k| 2.3 | 214M| 45 | 6 | 50 |6070 | 50 | 17 | 22 | 606k|3243 | 0.000000e+00 | -- | Inf
182.61/182.66 c 183s| 1140k|275553 | 2592k| 2.3 | 216M| 45 | - | 50 |7359 | 50 | 17 | 22 | 611k|3243 | 0.000000e+00 | -- | Inf
184.50/184.59 c 185s| 1150k|277601 | 2615k| 2.3 | 217M| 45 | 6 | 50 |4577 | 50 | 17 | 22 | 616k|3243 | 0.000000e+00 | -- | Inf
186.30/186.39 c 186s| 1160k|279506 | 2637k| 2.3 | 219M| 45 | - | 50 |3861 | 50 | 17 | 22 | 622k|3252 | 0.000000e+00 | -- | Inf
188.01/188.04 c 188s| 1170k|281641 | 2659k| 2.3 | 221M| 45 | 6 | 50 |4096 | 50 | 17 | 22 | 627k|3262 | 0.000000e+00 | -- | Inf
189.70/189.74 c 190s| 1180k|283842 | 2681k| 2.3 | 222M| 45 | 6 | 50 |3569 | 50 | 17 | 22 | 633k|3268 | 0.000000e+00 | -- | Inf
191.31/191.36 c 191s| 1190k|286080 | 2703k| 2.3 | 224M| 45 | 6 | 50 |4256 | 50 | 17 | 22 | 638k|3281 | 0.000000e+00 | -- | Inf
193.00/193.05 c 193s| 1200k|288099 | 2726k| 2.3 | 226M| 45 | 6 | 50 |4120 | 50 | 17 | 22 | 644k|3290 | 0.000000e+00 | -- | Inf
194.80/194.80 c 195s| 1210k|290109 | 2748k| 2.3 | 228M| 45 | - | 50 |3698 | 50 | 17 | 22 | 650k|3303 | 0.000000e+00 | -- | Inf
196.39/196.47 c 196s| 1220k|292138 | 2771k| 2.3 | 230M| 45 | 6 | 50 |4433 | 50 | 17 | 22 | 655k|3316 | 0.000000e+00 | -- | Inf
198.19/198.21 c 198s| 1230k|294230 | 2793k| 2.3 | 231M| 45 | 6 | 50 |3645 | 50 | 17 | 22 | 661k|3317 | 0.000000e+00 | -- | Inf
199.79/199.84 c 200s| 1240k|296408 | 2816k| 2.3 | 233M| 45 | 6 | 50 |4849 | 50 | 17 | 22 | 666k|3330 | 0.000000e+00 | -- | Inf
201.59/201.61 c 202s| 1250k|298380 | 2838k| 2.3 | 235M| 45 | 6 | 50 |4114 | 50 | 17 | 22 | 672k|3340 | 0.000000e+00 | -- | Inf
203.20/203.21 c 203s| 1260k|300889 | 2861k| 2.3 | 237M| 45 | - | 50 |5449 | 50 | 17 | 22 | 677k|3350 | 0.000000e+00 | -- | Inf
204.80/204.84 c 205s| 1270k|303372 | 2882k| 2.3 | 239M| 45 | - | 50 |5565 | 50 | 17 | 22 | 682k|3362 | 0.000000e+00 | -- | Inf
206.50/206.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
206.50/206.58 c 207s| 1280k|305512 | 2905k| 2.3 | 240M| 45 | 6 | 50 |5187 | 50 | 17 | 22 | 687k|3379 | 0.000000e+00 | -- | Inf
208.29/208.32 c 208s| 1290k|307704 | 2928k| 2.3 | 242M| 45 | 6 | 50 |4708 | 50 | 17 | 22 | 693k|3391 | 0.000000e+00 | -- | Inf
210.01/210.06 c 210s| 1300k|309757 | 2951k| 2.3 | 244M| 45 | 6 | 50 |4495 | 50 | 17 | 22 | 698k|3402 | 0.000000e+00 | -- | Inf
211.70/211.76 c 212s| 1310k|311797 | 2973k| 2.3 | 246M| 45 | 6 | 50 |4657 | 50 | 17 | 22 | 704k|3413 | 0.000000e+00 | -- | Inf
213.49/213.54 c 214s| 1320k|313684 | 2996k| 2.3 | 247M| 45 | 6 | 50 |4050 | 50 | 17 | 22 | 710k|3427 | 0.000000e+00 | -- | Inf
215.20/215.24 c 215s| 1330k|315733 | 3019k| 2.3 | 249M| 45 | 6 | 50 |3944 | 50 | 17 | 22 | 715k|3443 | 0.000000e+00 | -- | Inf
216.80/216.86 c 217s| 1340k|317848 | 3041k| 2.3 | 251M| 45 | 6 | 50 |4741 | 50 | 17 | 22 | 721k|3455 | 0.000000e+00 | -- | Inf
218.49/218.52 c 219s| 1350k|320222 | 3063k| 2.3 | 253M| 45 | - | 50 |4432 | 50 | 17 | 22 | 726k|3465 | 0.000000e+00 | -- | Inf
220.10/220.13 c 220s| 1360k|322564 | 3085k| 2.3 | 254M| 45 | 6 | 50 |5068 | 50 | 17 | 22 | 731k|3484 | 0.000000e+00 | -- | Inf
221.80/221.86 c 222s| 1370k|324630 | 3108k| 2.3 | 256M| 45 | 6 | 50 |4593 | 50 | 17 | 22 | 737k|3503 | 0.000000e+00 | -- | Inf
223.50/223.56 c 224s| 1380k|326746 | 3131k| 2.3 | 258M| 45 | - | 50 |4608 | 0 | 0 | 22 | 742k|3523 | 0.000000e+00 | -- | Inf
225.19/225.28 c 225s| 1390k|328723 | 3153k| 2.3 | 260M| 45 | 6 | 50 |4678 | 50 | 17 | 22 | 748k|3539 | 0.000000e+00 | -- | Inf
226.99/227.02 c 227s| 1400k|330758 | 3176k| 2.3 | 261M| 45 | 6 | 50 |4387 | 50 | 17 | 22 | 753k|3571 | 0.000000e+00 | -- | Inf
228.71/228.77 c 229s| 1410k|332739 | 3199k| 2.3 | 263M| 45 | 6 | 50 |4535 | 50 | 17 | 22 | 759k|3578 | 0.000000e+00 | -- | Inf
230.49/230.54 c 231s| 1420k|334632 | 3221k| 2.3 | 265M| 45 | - | 50 |3892 | 50 | 17 | 22 | 764k|3611 | 0.000000e+00 | -- | Inf
232.11/232.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
232.11/232.16 c 232s| 1430k|336882 | 3243k| 2.3 | 266M| 45 | - | 50 |4492 | 50 | 17 | 22 | 770k|3613 | 0.000000e+00 | -- | Inf
233.90/233.91 c 234s| 1440k|339041 | 3266k| 2.3 | 268M| 45 | 6 | 50 |4329 | 50 | 17 | 22 | 775k|3623 | 0.000000e+00 | -- | Inf
235.60/235.66 c 236s| 1450k|340889 | 3288k| 2.3 | 270M| 45 | 6 | 50 |4114 | 50 | 17 | 22 | 781k|3640 | 0.000000e+00 | -- | Inf
237.29/237.32 c 237s| 1460k|342923 | 3311k| 2.3 | 272M| 45 | 6 | 50 |5136 | 50 | 17 | 22 | 787k|3656 | 0.000000e+00 | -- | Inf
238.99/239.07 c 239s| 1470k|344941 | 3334k| 2.3 | 274M| 45 | - | 50 |5088 | 50 | 17 | 22 | 792k|3669 | 0.000000e+00 | -- | Inf
240.81/240.87 c 241s| 1480k|346983 | 3357k| 2.3 | 275M| 45 | - | 50 |4671 | 50 | 17 | 22 | 798k|3688 | 0.000000e+00 | -- | Inf
242.59/242.60 c 243s| 1490k|348830 | 3379k| 2.3 | 277M| 45 | 6 | 50 |5270 | 50 | 17 | 22 | 803k|3697 | 0.000000e+00 | -- | Inf
244.40/244.44 c 244s| 1500k|350670 | 3401k| 2.3 | 278M| 45 | - | 50 |4325 | 50 | 17 | 22 | 809k|3715 | 0.000000e+00 | -- | Inf
246.00/246.05 c 246s| 1510k|353038 | 3425k| 2.3 | 280M| 45 | 6 | 50 |4314 | 50 | 17 | 22 | 815k|3721 | 0.000000e+00 | -- | Inf
247.59/247.61 c 248s| 1520k|355681 | 3447k| 2.3 | 282M| 45 | - | 50 |5689 | 50 | 17 | 22 | 820k|3735 | 0.000000e+00 | -- | Inf
249.20/249.25 c 249s| 1530k|358682 | 3468k| 2.3 | 285M| 45 | 6 | 50 |6712 | 50 | 17 | 22 | 824k|3744 | 0.000000e+00 | -- | Inf
251.09/251.18 c 251s| 1540k|360699 | 3491k| 2.3 | 286M| 45 | 6 | 50 |4782 | 50 | 17 | 22 | 830k|3766 | 0.000000e+00 | -- | Inf
252.80/252.89 c 253s| 1550k|362967 | 3513k| 2.3 | 288M| 45 | - | 50 |5176 | 50 | 17 | 22 | 835k|3779 | 0.000000e+00 | -- | Inf
254.70/254.71 c 255s| 1560k|364752 | 3536k| 2.3 | 290M| 45 | - | 50 |5687 | 50 | 17 | 22 | 841k|3790 | 0.000000e+00 | -- | Inf
256.60/256.61 c 257s| 1570k|366583 | 3558k| 2.3 | 291M| 45 | - | 50 |4265 | 50 | 17 | 22 | 847k|3804 | 0.000000e+00 | -- | Inf
258.30/258.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
258.30/258.34 c 258s| 1580k|368895 | 3581k| 2.3 | 293M| 45 | - | 50 |4357 | 50 | 17 | 22 | 852k|3824 | 0.000000e+00 | -- | Inf
260.00/260.08 c 260s| 1590k|370909 | 3603k| 2.3 | 295M| 45 | - | 50 |5434 | 50 | 17 | 22 | 858k|3834 | 0.000000e+00 | -- | Inf
261.81/261.88 c 262s| 1600k|373021 | 3626k| 2.3 | 296M| 45 | 6 | 50 |5191 | 50 | 17 | 22 | 864k|3847 | 0.000000e+00 | -- | Inf
263.59/263.67 c 264s| 1610k|375213 | 3649k| 2.3 | 298M| 45 | - | 50 |5239 | 50 | 17 | 22 | 869k|3863 | 0.000000e+00 | -- | Inf
265.50/265.58 c 266s| 1620k|376897 | 3672k| 2.3 | 300M| 45 | 6 | 50 |4191 | 50 | 17 | 22 | 875k|3875 | 0.000000e+00 | -- | Inf
267.21/267.26 c 267s| 1630k|379221 | 3694k| 2.3 | 302M| 45 | - | 50 |5098 | 50 | 17 | 22 | 880k|3886 | 0.000000e+00 | -- | Inf
268.99/269.00 c 269s| 1640k|381267 | 3716k| 2.3 | 303M| 45 | - | 50 |4856 | 50 | 17 | 22 | 886k|3901 | 0.000000e+00 | -- | Inf
270.70/270.70 c 271s| 1650k|383359 | 3739k| 2.3 | 305M| 45 | - | 50 |5500 | 50 | 17 | 22 | 891k|3912 | 0.000000e+00 | -- | Inf
272.40/272.50 c 272s| 1660k|385500 | 3762k| 2.3 | 307M| 45 | - | 50 |5474 | 50 | 17 | 22 | 897k|3917 | 0.000000e+00 | -- | Inf
274.20/274.29 c 274s| 1670k|387525 | 3785k| 2.3 | 309M| 45 | 6 | 50 |5293 | 50 | 17 | 22 | 902k|3925 | 0.000000e+00 | -- | Inf
276.01/276.09 c 276s| 1680k|389540 | 3807k| 2.3 | 311M| 45 | - | 50 |5820 | 50 | 17 | 22 | 908k|3933 | 0.000000e+00 | -- | Inf
277.90/277.96 c 278s| 1690k|391488 | 3829k| 2.3 | 312M| 45 | 6 | 50 |5934 | 50 | 17 | 22 | 913k|3940 | 0.000000e+00 | -- | Inf
279.70/279.78 c 280s| 1700k|393490 | 3852k| 2.3 | 314M| 45 | 6 | 50 |5557 | 50 | 17 | 22 | 919k|3954 | 0.000000e+00 | -- | Inf
281.62/281.66 c 282s| 1710k|395301 | 3875k| 2.3 | 315M| 45 | - | 50 |5225 | 50 | 17 | 22 | 925k|3976 | 0.000000e+00 | -- | Inf
283.50/283.50 c 283s| 1720k|397099 | 3898k| 2.3 | 317M| 45 | - | 50 |4950 | 50 | 17 | 22 | 931k|3986 | 0.000000e+00 | -- | Inf
285.30/285.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.30/285.35 c 285s| 1730k|398960 | 3921k| 2.3 | 318M| 45 | - | 50 |3854 | 0 | 0 | 22 | 936k|3994 | 0.000000e+00 | -- | Inf
287.01/287.03 c 287s| 1740k|401032 | 3943k| 2.3 | 320M| 45 | 6 | 50 |4388 | 50 | 17 | 22 | 942k|4013 | 0.000000e+00 | -- | Inf
288.80/288.81 c 289s| 1750k|402792 | 3965k| 2.3 | 322M| 45 | 6 | 50 |4141 | 50 | 17 | 22 | 948k|4021 | 0.000000e+00 | -- | Inf
290.49/290.54 c 291s| 1760k|404694 | 3988k| 2.3 | 324M| 45 | 6 | 50 |4418 | 50 | 17 | 22 | 953k|4035 | 0.000000e+00 | -- | Inf
292.30/292.34 c 292s| 1770k|406460 | 4011k| 2.3 | 325M| 45 | 6 | 50 |4784 | 50 | 17 | 22 | 959k|4041 | 0.000000e+00 | -- | Inf
294.10/294.15 c 294s| 1780k|408473 | 4033k| 2.3 | 327M| 45 | 6 | 50 |4568 | 50 | 17 | 22 | 965k|4053 | 0.000000e+00 | -- | Inf
295.69/295.77 c 296s| 1790k|410689 | 4055k| 2.3 | 329M| 45 | 6 | 50 |5839 | 50 | 17 | 22 | 970k|4058 | 0.000000e+00 | -- | Inf
297.50/297.52 c 298s| 1800k|412707 | 4077k| 2.3 | 331M| 45 | - | 50 |5164 | 50 | 17 | 22 | 975k|4066 | 0.000000e+00 | -- | Inf
299.29/299.35 c 299s| 1810k|414681 | 4099k| 2.3 | 332M| 45 | - | 50 |4754 | 50 | 17 | 22 | 981k|4076 | 0.000000e+00 | -- | Inf
301.10/301.19 c 301s| 1820k|416598 | 4122k| 2.3 | 334M| 45 | 6 | 50 |4687 | 50 | 17 | 22 | 987k|4090 | 0.000000e+00 | -- | Inf
303.00/303.07 c 303s| 1830k|418245 | 4145k| 2.3 | 335M| 45 | - | 50 |4384 | 50 | 17 | 22 | 992k|4106 | 0.000000e+00 | -- | Inf
304.61/304.71 c 305s| 1840k|420855 | 4167k| 2.3 | 337M| 45 | 6 | 50 |4958 | 50 | 17 | 22 | 997k|4113 | 0.000000e+00 | -- | Inf
306.20/306.29 c 306s| 1850k|423759 | 4189k| 2.3 | 340M| 45 | - | 50 |5812 | 0 | 0 | 22 |1002k|4123 | 0.000000e+00 | -- | Inf
308.01/308.04 c 308s| 1860k|426025 | 4211k| 2.3 | 341M| 45 | - | 50 |6302 | 0 | 0 | 22 |1007k|4136 | 0.000000e+00 | -- | Inf
309.80/309.88 c 310s| 1870k|428260 | 4233k| 2.3 | 343M| 45 | 6 | 50 |6386 | 50 | 17 | 22 |1012k|4144 | 0.000000e+00 | -- | Inf
311.70/311.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
311.70/311.78 c 312s| 1880k|430342 | 4255k| 2.3 | 345M| 45 | - | 50 |5545 | 50 | 17 | 22 |1018k|4152 | 0.000000e+00 | -- | Inf
313.51/313.51 c 314s| 1890k|432507 | 4276k| 2.3 | 347M| 45 | - | 50 |7145 | 50 | 17 | 22 |1023k|4164 | 0.000000e+00 | -- | Inf
315.30/315.31 c 315s| 1900k|435016 | 4299k| 2.3 | 349M| 45 | 6 | 50 |7015 | 50 | 17 | 22 |1028k|4175 | 0.000000e+00 | -- | Inf
317.20/317.28 c 317s| 1910k|436898 | 4321k| 2.3 | 350M| 45 | 6 | 50 |5847 | 50 | 17 | 22 |1033k|4186 | 0.000000e+00 | -- | Inf
319.20/319.24 c 319s| 1920k|438897 | 4343k| 2.3 | 351M| 45 | - | 50 |4788 | 50 | 17 | 22 |1039k|4203 | 0.000000e+00 | -- | Inf
321.11/321.15 c 321s| 1930k|440730 | 4366k| 2.3 | 353M| 45 | - | 50 |4565 | 50 | 17 | 22 |1044k|4212 | 0.000000e+00 | -- | Inf
322.90/322.91 c 323s| 1940k|442818 | 4388k| 2.3 | 355M| 45 | 6 | 50 |4956 | 50 | 17 | 22 |1050k|4226 | 0.000000e+00 | -- | Inf
324.51/324.54 c 325s| 1950k|445706 | 4412k| 2.3 | 357M| 45 | - | 50 |6615 | 50 | 17 | 22 |1055k|4240 | 0.000000e+00 | -- | Inf
326.30/326.34 c 326s| 1960k|448061 | 4435k| 2.3 | 359M| 45 | 6 | 50 |7506 | 50 | 17 | 22 |1060k|4255 | 0.000000e+00 | -- | Inf
328.20/328.26 c 328s| 1970k|450304 | 4458k| 2.3 | 361M| 45 | - | 50 |7378 | 50 | 17 | 22 |1065k|4263 | 0.000000e+00 | -- | Inf
330.10/330.18 c 330s| 1980k|452494 | 4480k| 2.3 | 362M| 45 | - | 50 |6313 | 50 | 17 | 22 |1070k|4274 | 0.000000e+00 | -- | Inf
332.12/332.13 c 332s| 1990k|454475 | 4503k| 2.3 | 364M| 45 | - | 50 |5264 | 50 | 17 | 22 |1076k|4287 | 0.000000e+00 | -- | Inf
333.90/333.96 c 334s| 2000k|456552 | 4526k| 2.3 | 366M| 45 | - | 50 |5653 | 50 | 17 | 22 |1081k|4295 | 0.000000e+00 | -- | Inf
335.80/335.82 c 336s| 2010k|458584 | 4548k| 2.3 | 367M| 45 | 6 | 50 |4923 | 50 | 17 | 22 |1086k|4306 | 0.000000e+00 | -- | Inf
337.61/337.68 c 338s| 2020k|460312 | 4571k| 2.3 | 369M| 45 | 6 | 50 |4905 | 50 | 17 | 22 |1092k|4320 | 0.000000e+00 | -- | Inf
339.40/339.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
339.40/339.47 c 339s| 2030k|462284 | 4594k| 2.3 | 370M| 45 | - | 50 |5099 | 50 | 17 | 22 |1098k|4333 | 0.000000e+00 | -- | Inf
341.20/341.25 c 341s| 2040k|464434 | 4617k| 2.3 | 372M| 45 | - | 50 |4999 | 50 | 17 | 22 |1103k|4347 | 0.000000e+00 | -- | Inf
343.00/343.06 c 343s| 2050k|466273 | 4639k| 2.3 | 374M| 45 | - | 50 |5054 | 0 | 0 | 22 |1109k|4359 | 0.000000e+00 | -- | Inf
344.80/344.84 c 345s| 2060k|468255 | 4661k| 2.3 | 376M| 45 | - | 50 |5431 | 50 | 17 | 22 |1114k|4371 | 0.000000e+00 | -- | Inf
346.60/346.69 c 347s| 2070k|470340 | 4684k| 2.3 | 377M| 45 | - | 50 |6247 | 50 | 17 | 22 |1120k|4382 | 0.000000e+00 | -- | Inf
348.62/348.62 c 349s| 2080k|472206 | 4707k| 2.3 | 379M| 45 | 6 | 50 |5052 | 50 | 17 | 22 |1125k|4397 | 0.000000e+00 | -- | Inf
350.50/350.52 c 351s| 2090k|473992 | 4729k| 2.3 | 380M| 45 | 6 | 50 |4292 | 50 | 17 | 22 |1131k|4412 | 0.000000e+00 | -- | Inf
352.30/352.34 c 352s| 2100k|475769 | 4752k| 2.3 | 382M| 45 | 6 | 50 |4407 | 50 | 17 | 22 |1137k|4423 | 0.000000e+00 | -- | Inf
354.11/354.16 c 354s| 2110k|477626 | 4774k| 2.3 | 383M| 45 | 6 | 50 |4878 | 50 | 17 | 22 |1142k|4431 | 0.000000e+00 | -- | Inf
355.90/355.96 c 356s| 2120k|479613 | 4796k| 2.3 | 385M| 45 | - | 50 |5262 | 50 | 17 | 22 |1148k|4445 | 0.000000e+00 | -- | Inf
357.80/357.81 c 358s| 2130k|481426 | 4819k| 2.3 | 387M| 45 | - | 50 |5451 | 50 | 17 | 22 |1154k|4456 | 0.000000e+00 | -- | Inf
359.62/359.62 c 360s| 2140k|483383 | 4841k| 2.3 | 389M| 45 | 6 | 50 |4926 | 50 | 17 | 22 |1159k|4475 | 0.000000e+00 | -- | Inf
361.40/361.49 c 361s| 2150k|485136 | 4864k| 2.3 | 390M| 45 | 6 | 50 |4661 | 50 | 17 | 22 |1165k|4485 | 0.000000e+00 | -- | Inf
363.30/363.36 c 363s| 2160k|486879 | 4886k| 2.3 | 392M| 45 | 6 | 50 |4521 | 50 | 17 | 22 |1171k|4500 | 0.000000e+00 | -- | Inf
365.11/365.16 c 365s| 2170k|488843 | 4909k| 2.3 | 394M| 45 | 6 | 50 |4964 | 50 | 17 | 22 |1177k|4510 | 0.000000e+00 | -- | Inf
366.90/366.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
366.90/366.98 c 367s| 2180k|490666 | 4932k| 2.3 | 395M| 45 | 6 | 50 |4985 | 50 | 17 | 22 |1182k|4519 | 0.000000e+00 | -- | Inf
368.79/368.81 c 369s| 2190k|492551 | 4955k| 2.3 | 397M| 45 | 6 | 50 |5716 | 50 | 17 | 22 |1188k|4531 | 0.000000e+00 | -- | Inf
370.61/370.63 c 371s| 2200k|494648 | 4977k| 2.3 | 399M| 45 | 6 | 50 |6239 | 50 | 17 | 22 |1193k|4543 | 0.000000e+00 | -- | Inf
372.60/372.60 c 373s| 2210k|496327 | 4999k| 2.3 | 400M| 45 | - | 50 |4614 | 50 | 17 | 22 |1199k|4551 | 0.000000e+00 | -- | Inf
374.30/374.31 c 374s| 2220k|498293 | 5022k| 2.3 | 402M| 45 | 6 | 50 |5028 | 50 | 17 | 22 |1204k|4563 | 0.000000e+00 | -- | Inf
376.21/376.22 c 376s| 2230k|500035 | 5045k| 2.3 | 403M| 45 | 6 | 50 |4672 | 50 | 17 | 22 |1210k|4576 | 0.000000e+00 | -- | Inf
378.00/378.08 c 378s| 2240k|501955 | 5067k| 2.3 | 405M| 45 | 6 | 50 |4876 | 50 | 17 | 22 |1216k|4585 | 0.000000e+00 | -- | Inf
379.90/379.95 c 380s| 2250k|503751 | 5090k| 2.3 | 407M| 45 | 6 | 50 |5247 | 50 | 17 | 22 |1221k|4596 | 0.000000e+00 | -- | Inf
381.71/381.75 c 382s| 2260k|505812 | 5113k| 2.3 | 409M| 45 | 6 | 50 |5638 | 50 | 17 | 22 |1227k|4608 | 0.000000e+00 | -- | Inf
383.50/383.57 c 384s| 2270k|507859 | 5136k| 2.3 | 410M| 45 | 6 | 50 |4739 | 50 | 17 | 22 |1232k|4621 | 0.000000e+00 | -- | Inf
385.40/385.42 c 385s| 2280k|509712 | 5160k| 2.3 | 412M| 45 | 6 | 50 |4605 | 50 | 17 | 22 |1238k|4632 | 0.000000e+00 | -- | Inf
387.11/387.20 c 387s| 2290k|511946 | 5182k| 2.3 | 413M| 45 | 6 | 50 |4374 | 50 | 17 | 22 |1243k|4641 | 0.000000e+00 | -- | Inf
388.90/388.90 c 389s| 2300k|514208 | 5205k| 2.3 | 415M| 45 | 6 | 50 |5353 | 50 | 17 | 22 |1248k|4649 | 0.000000e+00 | -- | Inf
390.70/390.76 c 391s| 2310k|515963 | 5228k| 2.3 | 417M| 45 | 6 | 50 |5713 | 50 | 17 | 22 |1254k|4663 | 0.000000e+00 | -- | Inf
392.50/392.58 c 393s| 2320k|518029 | 5250k| 2.3 | 419M| 45 | 6 | 50 |5399 | 50 | 17 | 22 |1259k|4672 | 0.000000e+00 | -- | Inf
394.30/394.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
394.30/394.39 c 394s| 2330k|520003 | 5274k| 2.3 | 421M| 45 | 6 | 50 |6000 | 50 | 17 | 22 |1265k|4683 | 0.000000e+00 | -- | Inf
396.20/396.26 c 396s| 2340k|522225 | 5297k| 2.3 | 422M| 45 | 6 | 50 |5664 | 50 | 17 | 22 |1270k|4694 | 0.000000e+00 | -- | Inf
397.80/397.87 c 398s| 2350k|525591 | 5320k| 2.3 | 425M| 45 | - | 50 |7184 | 50 | 17 | 22 |1275k|4702 | 0.000000e+00 | -- | Inf
399.80/399.80 c 400s| 2360k|527872 | 5342k| 2.3 | 427M| 45 | 6 | 50 |7498 | 50 | 17 | 22 |1280k|4710 | 0.000000e+00 | -- | Inf
401.70/401.78 c 402s| 2370k|530036 | 5365k| 2.3 | 429M| 45 | 6 | 50 |8268 | 50 | 17 | 22 |1285k|4720 | 0.000000e+00 | -- | Inf
403.80/403.82 c 404s| 2380k|532206 | 5387k| 2.3 | 430M| 45 | - | 50 |8343 | 50 | 17 | 22 |1290k|4734 | 0.000000e+00 | -- | Inf
405.71/405.79 c 406s| 2390k|534623 | 5410k| 2.3 | 432M| 45 | - | 50 |9277 | 50 | 17 | 22 |1295k|4742 | 0.000000e+00 | -- | Inf
407.90/407.92 c 408s| 2400k|536898 | 5433k| 2.3 | 434M| 45 | - | 50 |9050 | 50 | 17 | 22 |1300k|4751 | 0.000000e+00 | -- | Inf
410.00/410.05 c 410s| 2410k|539144 | 5455k| 2.3 | 435M| 45 | 6 | 50 |6852 | 50 | 17 | 22 |1306k|4757 | 0.000000e+00 | -- | Inf
411.90/411.97 c 412s| 2420k|541218 | 5477k| 2.3 | 437M| 45 | 6 | 50 |5931 | 50 | 17 | 22 |1311k|4767 | 0.000000e+00 | -- | Inf
413.90/413.98 c 414s| 2430k|542930 | 5501k| 2.3 | 438M| 45 | 6 | 50 |5169 | 50 | 17 | 22 |1317k|4777 | 0.000000e+00 | -- | Inf
415.82/415.83 c 416s| 2440k|544975 | 5523k| 2.3 | 440M| 45 | 6 | 50 |5268 | 50 | 17 | 22 |1322k|4789 | 0.000000e+00 | -- | Inf
417.61/417.62 c 418s| 2450k|546887 | 5547k| 2.3 | 442M| 45 | 6 | 50 |6451 | 50 | 17 | 22 |1328k|4800 | 0.000000e+00 | -- | Inf
419.61/419.68 c 420s| 2460k|548576 | 5569k| 2.3 | 443M| 45 | - | 50 |4795 | 50 | 17 | 22 |1334k|4811 | 0.000000e+00 | -- | Inf
421.50/421.57 c 422s| 2470k|550375 | 5592k| 2.3 | 445M| 45 | 6 | 50 |4648 | 50 | 17 | 22 |1339k|4827 | 0.000000e+00 | -- | Inf
423.30/423.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
423.30/423.34 c 423s| 2480k|552489 | 5614k| 2.3 | 447M| 45 | 6 | 50 |5543 | 50 | 17 | 22 |1345k|4839 | 0.000000e+00 | -- | Inf
425.30/425.32 c 425s| 2490k|554285 | 5636k| 2.3 | 448M| 45 | 6 | 50 |5087 | 50 | 17 | 22 |1350k|4849 | 0.000000e+00 | -- | Inf
427.10/427.12 c 427s| 2500k|556109 | 5659k| 2.3 | 450M| 45 | - | 50 |6082 | 0 | 0 | 22 |1356k|4860 | 0.000000e+00 | -- | Inf
429.02/429.03 c 429s| 2510k|557909 | 5681k| 2.3 | 452M| 45 | 6 | 50 |6275 | 50 | 17 | 22 |1362k|4870 | 0.000000e+00 | -- | Inf
431.00/431.04 c 431s| 2520k|559703 | 5704k| 2.3 | 453M| 45 | 6 | 50 |5213 | 50 | 17 | 22 |1367k|4898 | 0.000000e+00 | -- | Inf
432.90/432.92 c 433s| 2530k|561478 | 5726k| 2.3 | 455M| 45 | 6 | 50 |5661 | 50 | 17 | 22 |1373k|4898 | 0.000000e+00 | -- | Inf
434.80/434.83 c 435s| 2540k|563295 | 5749k| 2.3 | 456M| 45 | - | 50 |5464 | 50 | 17 | 22 |1379k|4905 | 0.000000e+00 | -- | Inf
436.61/436.66 c 437s| 2550k|565426 | 5772k| 2.3 | 458M| 45 | - | 50 |6032 | 0 | 0 | 22 |1384k|4913 | 0.000000e+00 | -- | Inf
438.50/438.54 c 439s| 2560k|567345 | 5795k| 2.3 | 460M| 45 | 6 | 50 |6079 | 50 | 17 | 22 |1389k|4921 | 0.000000e+00 | -- | Inf
440.51/440.51 c 441s| 2570k|569188 | 5817k| 2.3 | 461M| 45 | 6 | 50 |5501 | 50 | 17 | 22 |1395k|4930 | 0.000000e+00 | -- | Inf
442.40/442.47 c 442s| 2580k|570708 | 5840k| 2.3 | 463M| 45 | 6 | 50 |5284 | 50 | 17 | 22 |1401k|4937 | 0.000000e+00 | -- | Inf
444.31/444.34 c 444s| 2590k|572448 | 5862k| 2.3 | 464M| 45 | 6 | 50 |5723 | 50 | 17 | 22 |1407k|4946 | 0.000000e+00 | -- | Inf
446.00/446.08 c 446s| 2600k|574516 | 5884k| 2.3 | 466M| 45 | 6 | 50 |7106 | 50 | 17 | 22 |1412k|4949 | 0.000000e+00 | -- | Inf
448.00/448.09 c 448s| 2610k|576288 | 5907k| 2.3 | 468M| 45 | 6 | 50 |5609 | 50 | 17 | 22 |1418k|4967 | 0.000000e+00 | -- | Inf
450.00/450.08 c 450s| 2620k|578036 | 5930k| 2.3 | 469M| 45 | 6 | 50 |4916 | 50 | 17 | 22 |1424k|4979 | 0.000000e+00 | -- | Inf
451.90/451.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
451.90/451.91 c 452s| 2630k|579932 | 5952k| 2.3 | 471M| 45 | - | 50 |5684 | 50 | 17 | 22 |1429k|4991 | 0.000000e+00 | -- | Inf
453.81/453.85 c 454s| 2640k|581514 | 5974k| 2.3 | 473M| 45 | - | 50 |5566 | 50 | 17 | 22 |1435k|5004 | 0.000000e+00 | -- | Inf
455.70/455.71 c 456s| 2650k|583429 | 5996k| 2.3 | 474M| 45 | 6 | 50 |6019 | 50 | 17 | 22 |1440k|5009 | 0.000000e+00 | -- | Inf
457.70/457.76 c 458s| 2660k|585006 | 6019k| 2.3 | 476M| 45 | 6 | 50 |4633 | 50 | 17 | 22 |1446k|5018 | 0.000000e+00 | -- | Inf
459.50/459.53 c 460s| 2670k|586944 | 6041k| 2.3 | 478M| 45 | - | 50 |6205 | 50 | 17 | 22 |1452k|5027 | 0.000000e+00 | -- | Inf
461.40/461.41 c 461s| 2680k|588783 | 6063k| 2.3 | 479M| 45 | 6 | 50 |6063 | 50 | 17 | 22 |1457k|5034 | 0.000000e+00 | -- | Inf
463.20/463.29 c 463s| 2690k|590595 | 6086k| 2.3 | 481M| 45 | - | 50 |6601 | 50 | 17 | 22 |1463k|5042 | 0.000000e+00 | -- | Inf
465.10/465.15 c 465s| 2700k|592428 | 6108k| 2.3 | 483M| 45 | 6 | 50 |7036 | 50 | 17 | 22 |1469k|5053 | 0.000000e+00 | -- | Inf
467.10/467.14 c 467s| 2710k|594110 | 6131k| 2.3 | 484M| 45 | 6 | 50 |6131 | 50 | 17 | 22 |1475k|5064 | 0.000000e+00 | -- | Inf
468.90/468.99 c 469s| 2720k|596004 | 6154k| 2.3 | 486M| 45 | - | 50 |6573 | 50 | 17 | 22 |1480k|5073 | 0.000000e+00 | -- | Inf
471.00/471.01 c 471s| 2730k|597870 | 6177k| 2.3 | 487M| 45 | - | 50 |5608 | 50 | 17 | 22 |1486k|5082 | 0.000000e+00 | -- | Inf
472.91/472.97 c 473s| 2740k|599743 | 6200k| 2.3 | 489M| 45 | - | 50 |5341 | 50 | 17 | 22 |1492k|5092 | 0.000000e+00 | -- | Inf
474.91/474.93 c 475s| 2750k|601409 | 6223k| 2.3 | 490M| 45 | - | 50 |4729 | 0 | 0 | 22 |1498k|5101 | 0.000000e+00 | -- | Inf
476.61/476.69 c 477s| 2760k|603500 | 6246k| 2.3 | 492M| 45 | - | 50 |5957 | 0 | 0 | 22 |1503k|5108 | 0.000000e+00 | -- | Inf
478.42/478.46 c 478s| 2770k|605598 | 6267k| 2.3 | 494M| 45 | 6 | 50 |6986 | 50 | 17 | 22 |1508k|5114 | 0.000000e+00 | -- | Inf
480.41/480.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
480.41/480.42 c 480s| 2780k|607068 | 6289k| 2.3 | 496M| 45 | 6 | 50 |7320 | 50 | 17 | 22 |1514k|5121 | 0.000000e+00 | -- | Inf
482.41/482.41 c 482s| 2790k|608706 | 6310k| 2.3 | 497M| 45 | 6 | 50 |8009 | 50 | 17 | 22 |1520k|5131 | 0.000000e+00 | -- | Inf
484.50/484.52 c 485s| 2800k|610305 | 6332k| 2.3 | 498M| 45 | - | 50 |5371 | 0 | 0 | 22 |1525k|5144 | 0.000000e+00 | -- | Inf
486.41/486.49 c 486s| 2810k|612011 | 6355k| 2.3 | 500M| 45 | 6 | 50 |5289 | 50 | 17 | 22 |1531k|5150 | 0.000000e+00 | -- | Inf
488.42/488.46 c 488s| 2820k|613619 | 6378k| 2.3 | 501M| 45 | 6 | 50 |4401 | 50 | 17 | 22 |1537k|5157 | 0.000000e+00 | -- | Inf
490.11/490.19 c 490s| 2830k|615769 | 6400k| 2.3 | 503M| 45 | 6 | 50 |6183 | 50 | 17 | 22 |1542k|5169 | 0.000000e+00 | -- | Inf
492.00/492.05 c 492s| 2840k|617688 | 6422k| 2.3 | 505M| 45 | 6 | 50 |6289 | 50 | 17 | 22 |1548k|5182 | 0.000000e+00 | -- | Inf
494.01/494.06 c 494s| 2850k|619419 | 6444k| 2.3 | 506M| 45 | 6 | 50 |5326 | 50 | 17 | 22 |1553k|5188 | 0.000000e+00 | -- | Inf
496.02/496.05 c 496s| 2860k|621178 | 6467k| 2.3 | 507M| 45 | 6 | 50 |4816 | 50 | 17 | 22 |1559k|5196 | 0.000000e+00 | -- | Inf
497.81/497.87 c 498s| 2870k|623227 | 6490k| 2.3 | 509M| 45 | - | 50 |5872 | 50 | 17 | 22 |1565k|5213 | 0.000000e+00 | -- | Inf
499.71/499.70 c 500s| 2880k|625260 | 6513k| 2.3 | 511M| 45 | 6 | 50 |6196 | 50 | 17 | 22 |1570k|5221 | 0.000000e+00 | -- | Inf
501.61/501.70 c 502s| 2890k|627038 | 6535k| 2.3 | 513M| 45 | - | 50 |4965 | 50 | 17 | 22 |1576k|5226 | 0.000000e+00 | -- | Inf
503.60/503.60 c 504s| 2900k|628949 | 6557k| 2.3 | 514M| 45 | - | 50 |5050 | 50 | 17 | 22 |1581k|5237 | 0.000000e+00 | -- | Inf
505.50/505.58 c 506s| 2910k|630453 | 6581k| 2.3 | 516M| 45 | 6 | 50 |4659 | 50 | 17 | 22 |1587k|5247 | 0.000000e+00 | -- | Inf
507.51/507.50 c 507s| 2920k|632128 | 6603k| 2.3 | 517M| 45 | - | 50 |5146 | 50 | 17 | 22 |1593k|5258 | 0.000000e+00 | -- | Inf
509.40/509.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
509.40/509.41 c 509s| 2930k|633885 | 6626k| 2.3 | 519M| 45 | 6 | 50 |5225 | 50 | 17 | 22 |1598k|5264 | 0.000000e+00 | -- | Inf
511.31/511.36 c 511s| 2940k|635538 | 6648k| 2.3 | 521M| 45 | - | 50 |5325 | 50 | 17 | 22 |1604k|5270 | 0.000000e+00 | -- | Inf
513.20/513.29 c 513s| 2950k|637346 | 6671k| 2.3 | 522M| 45 | 6 | 50 |5749 | 50 | 17 | 22 |1610k|5283 | 0.000000e+00 | -- | Inf
515.20/515.21 c 515s| 2960k|639191 | 6693k| 2.3 | 524M| 45 | 6 | 50 |5210 | 50 | 17 | 22 |1616k|5295 | 0.000000e+00 | -- | Inf
517.20/517.20 c 517s| 2970k|640884 | 6715k| 2.3 | 525M| 45 | - | 50 |5003 | 0 | 0 | 22 |1621k|5303 | 0.000000e+00 | -- | Inf
519.12/519.19 c 519s| 2980k|642543 | 6737k| 2.3 | 527M| 45 | - | 50 |4975 | 50 | 17 | 22 |1627k|5310 | 0.000000e+00 | -- | Inf
521.00/521.09 c 521s| 2990k|644329 | 6760k| 2.3 | 529M| 45 | 6 | 50 |5793 | 50 | 17 | 22 |1632k|5318 | 0.000000e+00 | -- | Inf
523.10/523.14 c 523s| 3000k|646012 | 6782k| 2.3 | 530M| 45 | 6 | 50 |4724 | 50 | 17 | 22 |1638k|5333 | 0.000000e+00 | -- | Inf
525.00/525.07 c 525s| 3010k|647655 | 6805k| 2.3 | 532M| 45 | 6 | 50 |5117 | 50 | 17 | 22 |1644k|5341 | 0.000000e+00 | -- | Inf
527.01/527.08 c 527s| 3020k|649198 | 6828k| 2.3 | 533M| 45 | 6 | 50 |5365 | 50 | 17 | 22 |1650k|5346 | 0.000000e+00 | -- | Inf
529.02/529.01 c 529s| 3030k|651049 | 6850k| 2.3 | 535M| 45 | 6 | 50 |5487 | 50 | 17 | 22 |1655k|5353 | 0.000000e+00 | -- | Inf
530.61/530.66 c 531s| 3040k|653584 | 6872k| 2.3 | 537M| 45 | - | 50 |7558 | 50 | 17 | 22 |1660k|5358 | 0.000000e+00 | -- | Inf
532.51/532.51 c 533s| 3050k|655794 | 6893k| 2.3 | 539M| 45 | 6 | 50 |7994 | 50 | 17 | 22 |1666k|5362 | 0.000000e+00 | -- | Inf
534.62/534.63 c 535s| 3060k|657607 | 6914k| 2.3 | 541M| 45 | 6 | 50 |7569 | 50 | 17 | 22 |1671k|5364 | 0.000000e+00 | -- | Inf
536.51/536.58 c 537s| 3070k|659630 | 6935k| 2.3 | 542M| 45 | 6 | 50 |8541 | 50 | 17 | 22 |1676k|5370 | 0.000000e+00 | -- | Inf
538.51/538.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
538.51/538.51 c 539s| 3080k|662240 | 6956k| 2.3 | 545M| 45 | - | 50 |9800 | 0 | 0 | 22 |1681k|5372 | 0.000000e+00 | -- | Inf
540.60/540.62 c 541s| 3090k|664592 | 6977k| 2.3 | 546M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |1686k|5382 | 0.000000e+00 | -- | Inf
542.91/542.97 c 543s| 3100k|666215 | 6998k| 2.3 | 548M| 45 | 6 | 50 |8373 | 50 | 17 | 22 |1692k|5386 | 0.000000e+00 | -- | Inf
545.10/545.11 c 545s| 3110k|667923 | 7018k| 2.3 | 549M| 45 | 6 | 50 |8347 | 50 | 17 | 22 |1697k|5391 | 0.000000e+00 | -- | Inf
547.21/547.28 c 547s| 3120k|669652 | 7039k| 2.3 | 551M| 45 | 6 | 50 |8550 | 50 | 17 | 22 |1703k|5397 | 0.000000e+00 | -- | Inf
549.51/549.50 c 550s| 3130k|671419 | 7061k| 2.3 | 552M| 45 | 6 | 50 |7702 | 50 | 17 | 22 |1708k|5399 | 0.000000e+00 | -- | Inf
551.71/551.73 c 552s| 3140k|673114 | 7084k| 2.3 | 553M| 45 | 6 | 50 |5313 | 50 | 17 | 22 |1714k|5412 | 0.000000e+00 | -- | Inf
553.50/553.57 c 554s| 3150k|674986 | 7107k| 2.3 | 555M| 45 | 6 | 50 |6746 | 50 | 17 | 22 |1720k|5416 | 0.000000e+00 | -- | Inf
555.61/555.63 c 556s| 3160k|676930 | 7129k| 2.3 | 557M| 45 | - | 50 |6409 | 50 | 17 | 22 |1725k|5428 | 0.000000e+00 | -- | Inf
557.51/557.58 c 558s| 3170k|678894 | 7152k| 2.3 | 558M| 45 | 6 | 50 |6322 | 50 | 17 | 22 |1731k|5442 | 0.000000e+00 | -- | Inf
559.51/559.54 c 560s| 3180k|680740 | 7175k| 2.3 | 560M| 45 | 6 | 50 |6243 | 50 | 17 | 22 |1737k|5443 | 0.000000e+00 | -- | Inf
561.71/561.79 c 562s| 3190k|682136 | 7197k| 2.3 | 561M| 45 | 6 | 50 |4808 | 50 | 17 | 22 |1743k|5451 | 0.000000e+00 | -- | Inf
563.71/563.71 c 564s| 3200k|683773 | 7219k| 2.3 | 563M| 45 | - | 50 |6023 | 0 | 0 | 22 |1748k|5462 | 0.000000e+00 | -- | Inf
565.71/565.75 c 566s| 3210k|685368 | 7243k| 2.3 | 564M| 45 | 6 | 50 |5869 | 50 | 17 | 22 |1754k|5468 | 0.000000e+00 | -- | Inf
567.81/567.81 c 568s| 3220k|687033 | 7264k| 2.3 | 566M| 45 | - | 50 |5724 | 50 | 17 | 22 |1760k|5479 | 0.000000e+00 | -- | Inf
569.90/569.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
569.90/569.91 c 570s| 3230k|688748 | 7287k| 2.3 | 567M| 45 | 6 | 50 |5319 | 50 | 17 | 22 |1766k|5485 | 0.000000e+00 | -- | Inf
571.81/571.87 c 572s| 3240k|690441 | 7309k| 2.3 | 569M| 45 | 6 | 50 |5375 | 50 | 17 | 22 |1771k|5490 | 0.000000e+00 | -- | Inf
573.90/573.93 c 574s| 3250k|691996 | 7332k| 2.3 | 570M| 45 | 6 | 50 |4271 | 50 | 17 | 22 |1777k|5499 | 0.000000e+00 | -- | Inf
575.70/575.71 c 576s| 3260k|694228 | 7354k| 2.3 | 573M| 45 | 6 | 50 |6052 | 50 | 17 | 22 |1783k|5507 | 0.000000e+00 | -- | Inf
577.71/577.70 c 578s| 3270k|695837 | 7378k| 2.3 | 574M| 45 | 6 | 50 |6138 | 50 | 17 | 22 |1789k|5518 | 0.000000e+00 | -- | Inf
579.51/579.60 c 580s| 3280k|697993 | 7401k| 2.3 | 576M| 45 | - | 50 |7827 | 50 | 17 | 22 |1794k|5527 | 0.000000e+00 | -- | Inf
581.61/581.69 c 582s| 3290k|699882 | 7424k| 2.3 | 578M| 45 | 6 | 50 |6299 | 50 | 17 | 22 |1800k|5531 | 0.000000e+00 | -- | Inf
583.60/583.64 c 584s| 3300k|701710 | 7447k| 2.3 | 579M| 45 | - | 50 |6033 | 50 | 17 | 22 |1805k|5535 | 0.000000e+00 | -- | Inf
585.50/585.56 c 586s| 3310k|703538 | 7470k| 2.3 | 581M| 45 | - | 50 |6550 | 50 | 17 | 22 |1811k|5545 | 0.000000e+00 | -- | Inf
587.61/587.61 c 588s| 3320k|705049 | 7494k| 2.3 | 583M| 45 | 6 | 50 |7225 | 50 | 17 | 22 |1817k|5552 | 0.000000e+00 | -- | Inf
589.71/589.70 c 590s| 3330k|706956 | 7516k| 2.3 | 584M| 45 | 6 | 50 |6726 | 50 | 17 | 22 |1822k|5560 | 0.000000e+00 | -- | Inf
591.72/591.75 c 592s| 3340k|708700 | 7539k| 2.3 | 586M| 45 | - | 50 |6077 | 0 | 0 | 22 |1828k|5569 | 0.000000e+00 | -- | Inf
593.70/593.72 c 594s| 3350k|710410 | 7561k| 2.3 | 587M| 45 | 6 | 50 |5960 | 50 | 17 | 22 |1834k|5579 | 0.000000e+00 | -- | Inf
595.61/595.67 c 596s| 3360k|712108 | 7584k| 2.3 | 589M| 45 | 6 | 50 |6402 | 50 | 17 | 22 |1839k|5588 | 0.000000e+00 | -- | Inf
597.50/597.56 c 598s| 3370k|713874 | 7606k| 2.3 | 591M| 45 | - | 50 |8178 | 50 | 17 | 22 |1845k|5596 | 0.000000e+00 | -- | Inf
599.71/599.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
599.71/599.78 c 600s| 3380k|715571 | 7629k| 2.3 | 592M| 45 | 6 | 50 |5648 | 50 | 17 | 22 |1850k|5601 | 0.000000e+00 | -- | Inf
601.72/601.79 c 602s| 3390k|717459 | 7650k| 2.3 | 593M| 45 | 6 | 50 |5397 | 50 | 17 | 22 |1856k|5608 | 0.000000e+00 | -- | Inf
603.92/603.92 c 604s| 3400k|718935 | 7672k| 2.3 | 595M| 45 | - | 50 |5265 | 50 | 17 | 22 |1862k|5615 | 0.000000e+00 | -- | Inf
605.91/605.96 c 606s| 3410k|720573 | 7696k| 2.3 | 596M| 45 | 6 | 50 |5128 | 50 | 17 | 22 |1868k|5624 | 0.000000e+00 | -- | Inf
607.90/607.98 c 608s| 3420k|722293 | 7719k| 2.3 | 598M| 45 | - | 50 |5452 | 50 | 17 | 22 |1873k|5631 | 0.000000e+00 | -- | Inf
610.00/610.08 c 610s| 3430k|723882 | 7741k| 2.3 | 600M| 45 | - | 50 |4994 | 50 | 17 | 22 |1879k|5647 | 0.000000e+00 | -- | Inf
611.70/611.78 c 612s| 3440k|725924 | 7763k| 2.3 | 602M| 45 | - | 50 |7133 | 50 | 17 | 22 |1885k|5659 | 0.000000e+00 | -- | Inf
613.82/613.84 c 614s| 3450k|727718 | 7786k| 2.3 | 604M| 45 | 6 | 50 |7153 | 50 | 17 | 22 |1890k|5662 | 0.000000e+00 | -- | Inf
615.80/615.91 c 616s| 3460k|729336 | 7809k| 2.3 | 605M| 45 | 6 | 50 |7071 | 50 | 17 | 22 |1896k|5671 | 0.000000e+00 | -- | Inf
617.90/617.95 c 618s| 3470k|731067 | 7832k| 2.3 | 607M| 45 | - | 50 |7620 | 0 | 0 | 22 |1902k|5681 | 0.000000e+00 | -- | Inf
620.11/620.16 c 620s| 3480k|732712 | 7855k| 2.3 | 608M| 45 | 6 | 50 |5335 | 50 | 17 | 22 |1908k|5687 | 0.000000e+00 | -- | Inf
622.21/622.28 c 622s| 3490k|734271 | 7878k| 2.3 | 609M| 45 | 6 | 50 |5087 | 50 | 17 | 22 |1914k|5699 | 0.000000e+00 | -- | Inf
624.11/624.13 c 624s| 3500k|736329 | 7901k| 2.3 | 611M| 45 | 6 | 50 |6706 | 50 | 17 | 22 |1919k|5706 | 0.000000e+00 | -- | Inf
626.21/626.28 c 626s| 3510k|737709 | 7924k| 2.3 | 613M| 45 | 6 | 50 |7278 | 50 | 17 | 22 |1925k|5717 | 0.000000e+00 | -- | Inf
628.41/628.41 c 628s| 3520k|739569 | 7947k| 2.3 | 614M| 45 | 6 | 50 |6130 | 50 | 17 | 22 |1931k|5725 | 0.000000e+00 | -- | Inf
630.41/630.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
630.41/630.50 c 630s| 3530k|741302 | 7969k| 2.3 | 616M| 45 | 6 | 50 |5189 | 50 | 17 | 22 |1937k|5738 | 0.000000e+00 | -- | Inf
632.53/632.59 c 633s| 3540k|742816 | 7992k| 2.3 | 617M| 45 | 6 | 50 |5240 | 50 | 17 | 22 |1943k|5753 | 0.000000e+00 | -- | Inf
634.51/634.51 c 635s| 3550k|744490 | 8015k| 2.3 | 619M| 45 | 6 | 50 |6888 | 50 | 17 | 22 |1948k|5759 | 0.000000e+00 | -- | Inf
636.71/636.80 c 637s| 3560k|745798 | 8037k| 2.3 | 620M| 45 | - | 50 |4605 | 50 | 17 | 22 |1954k|5764 | 0.000000e+00 | -- | Inf
638.80/638.84 c 639s| 3570k|747268 | 8059k| 2.3 | 622M| 45 | 6 | 50 |5532 | 50 | 17 | 22 |1960k|5774 | 0.000000e+00 | -- | Inf
641.01/641.01 c 641s| 3580k|748523 | 8081k| 2.3 | 623M| 45 | 6 | 50 |4956 | 50 | 17 | 22 |1966k|5776 | 0.000000e+00 | -- | Inf
643.01/643.05 c 643s| 3590k|750026 | 8104k| 2.3 | 625M| 45 | - | 50 |4760 | 50 | 17 | 22 |1972k|5778 | 0.000000e+00 | -- | Inf
645.01/645.03 c 645s| 3600k|751614 | 8126k| 2.3 | 626M| 45 | - | 50 |5508 | 0 | 0 | 22 |1978k|5782 | 0.000000e+00 | -- | Inf
646.90/646.96 c 647s| 3610k|753383 | 8148k| 2.3 | 628M| 45 | 6 | 50 |5645 | 50 | 17 | 22 |1984k|5786 | 0.000000e+00 | -- | Inf
649.02/649.02 c 649s| 3620k|754944 | 8171k| 2.3 | 629M| 45 | - | 50 |5654 | 50 | 17 | 22 |1990k|5793 | 0.000000e+00 | -- | Inf
651.00/651.00 c 651s| 3630k|756623 | 8193k| 2.3 | 631M| 45 | 6 | 50 |5453 | 50 | 17 | 22 |1996k|5799 | 0.000000e+00 | -- | Inf
653.01/653.09 c 653s| 3640k|758081 | 8216k| 2.3 | 632M| 45 | 6 | 50 |5082 | 50 | 17 | 22 |2002k|5804 | 0.000000e+00 | -- | Inf
655.01/655.03 c 655s| 3650k|759790 | 8238k| 2.3 | 634M| 45 | 6 | 50 |6057 | 50 | 17 | 22 |2007k|5809 | 0.000000e+00 | -- | Inf
657.01/657.02 c 657s| 3660k|761584 | 8261k| 2.3 | 636M| 45 | 6 | 50 |5844 | 50 | 17 | 22 |2013k|5813 | 0.000000e+00 | -- | Inf
659.01/659.10 c 659s| 3670k|763078 | 8284k| 2.3 | 637M| 45 | 6 | 50 |5555 | 50 | 17 | 22 |2019k|5822 | 0.000000e+00 | -- | Inf
661.12/661.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
661.12/661.11 c 661s| 3680k|764696 | 8305k| 2.3 | 639M| 45 | 6 | 50 |5514 | 50 | 17 | 22 |2025k|5827 | 0.000000e+00 | -- | Inf
662.90/662.99 c 663s| 3690k|766599 | 8328k| 2.3 | 641M| 45 | 6 | 50 |6283 | 50 | 17 | 22 |2030k|5840 | 0.000000e+00 | -- | Inf
664.91/664.99 c 665s| 3700k|768268 | 8352k| 2.3 | 643M| 45 | 6 | 50 |8090 | 50 | 17 | 22 |2036k|5842 | 0.000000e+00 | -- | Inf
667.01/667.02 c 667s| 3710k|770364 | 8374k| 2.3 | 644M| 45 | - | 50 |7048 | 50 | 17 | 22 |2041k|5845 | 0.000000e+00 | -- | Inf
669.01/669.03 c 669s| 3720k|772505 | 8397k| 2.3 | 646M| 45 | - | 50 |8557 | 0 | 0 | 22 |2047k|5857 | 0.000000e+00 | -- | Inf
671.41/671.44 c 671s| 3730k|773988 | 8420k| 2.3 | 647M| 45 | - | 50 |5214 | 50 | 17 | 22 |2053k|5864 | 0.000000e+00 | -- | Inf
673.41/673.46 c 673s| 3740k|775730 | 8441k| 2.3 | 648M| 45 | - | 50 |4748 | 50 | 17 | 22 |2058k|5876 | 0.000000e+00 | -- | Inf
675.42/675.49 c 675s| 3750k|777419 | 8464k| 2.3 | 650M| 45 | 6 | 50 |5063 | 50 | 17 | 22 |2064k|5883 | 0.000000e+00 | -- | Inf
677.21/677.28 c 677s| 3760k|779594 | 8487k| 2.3 | 652M| 45 | 6 | 50 |6760 | 50 | 17 | 22 |2070k|5892 | 0.000000e+00 | -- | Inf
679.11/679.14 c 679s| 3770k|782165 | 8510k| 2.3 | 655M| 45 | 6 | 50 |8917 | 50 | 17 | 22 |2075k|5902 | 0.000000e+00 | -- | Inf
681.20/681.29 c 681s| 3780k|784138 | 8532k| 2.3 | 656M| 45 | 6 | 50 |9249 | 50 | 17 | 22 |2080k|5911 | 0.000000e+00 | -- | Inf
683.31/683.35 c 683s| 3790k|786320 | 8555k| 2.3 | 658M| 45 | - | 50 |9956 | 50 | 17 | 22 |2085k|5919 | 0.000000e+00 | -- | Inf
685.51/685.55 c 686s| 3800k|788432 | 8579k| 2.3 | 661M| 45 | - | 50 | 11k| 50 | 17 | 22 |2091k|5925 | 0.000000e+00 | -- | Inf
687.81/687.85 c 688s| 3810k|790270 | 8602k| 2.3 | 662M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2096k|5939 | 0.000000e+00 | -- | Inf
690.40/690.41 c 690s| 3820k|791861 | 8625k| 2.3 | 663M| 45 | - | 50 |8829 | 0 | 0 | 22 |2102k|5945 | 0.000000e+00 | -- | Inf
692.81/692.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
692.81/692.83 c 693s| 3830k|793250 | 8648k| 2.3 | 664M| 45 | 6 | 50 |5984 | 50 | 17 | 22 |2108k|5953 | 0.000000e+00 | -- | Inf
695.01/695.01 c 695s| 3840k|794698 | 8670k| 2.3 | 665M| 45 | - | 50 |5595 | 50 | 17 | 22 |2114k|5957 | 0.000000e+00 | -- | Inf
697.01/697.07 c 697s| 3850k|796336 | 8693k| 2.3 | 667M| 45 | - | 50 |5651 | 50 | 17 | 22 |2119k|5962 | 0.000000e+00 | -- | Inf
699.01/699.04 c 699s| 3860k|798427 | 8715k| 2.3 | 669M| 45 | 6 | 50 |6633 | 50 | 17 | 22 |2125k|5966 | 0.000000e+00 | -- | Inf
701.11/701.11 c 701s| 3870k|800228 | 8737k| 2.3 | 670M| 45 | 6 | 50 |6972 | 50 | 17 | 22 |2130k|5972 | 0.000000e+00 | -- | Inf
703.41/703.45 c 703s| 3880k|801581 | 8760k| 2.3 | 671M| 45 | - | 50 |4916 | 50 | 17 | 22 |2136k|5980 | 0.000000e+00 | -- | Inf
705.41/705.43 c 705s| 3890k|803150 | 8782k| 2.3 | 673M| 45 | 6 | 50 |6421 | 50 | 17 | 22 |2142k|5989 | 0.000000e+00 | -- | Inf
707.41/707.44 c 707s| 3900k|804957 | 8805k| 2.3 | 675M| 45 | 6 | 50 |7039 | 50 | 17 | 22 |2148k|5997 | 0.000000e+00 | -- | Inf
709.52/709.55 c 710s| 3910k|806733 | 8827k| 2.3 | 676M| 45 | 6 | 50 |5543 | 50 | 17 | 22 |2153k|6006 | 0.000000e+00 | -- | Inf
711.41/711.48 c 711s| 3920k|808787 | 8851k| 2.3 | 678M| 45 | - | 50 |7137 | 50 | 17 | 22 |2159k|6016 | 0.000000e+00 | -- | Inf
713.51/713.59 c 714s| 3930k|810472 | 8874k| 2.3 | 680M| 45 | - | 50 |7928 | 0 | 0 | 22 |2165k|6023 | 0.000000e+00 | -- | Inf
715.51/715.58 c 716s| 3940k|812800 | 8897k| 2.3 | 682M| 45 | - | 50 |8901 | 0 | 0 | 22 |2170k|6029 | 0.000000e+00 | -- | Inf
717.71/717.79 c 718s| 3950k|814720 | 8919k| 2.3 | 684M| 45 | - | 50 |9123 | 50 | 17 | 22 |2175k|6046 | 0.000000e+00 | -- | Inf
720.01/720.03 c 720s| 3960k|816555 | 8942k| 2.3 | 685M| 45 | - | 50 |8008 | 50 | 17 | 22 |2181k|6054 | 0.000000e+00 | -- | Inf
722.11/722.13 c 722s| 3970k|818582 | 8965k| 2.3 | 687M| 45 | 6 | 50 |8233 | 50 | 17 | 22 |2186k|6065 | 0.000000e+00 | -- | Inf
724.31/724.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
724.31/724.33 c 724s| 3980k|820271 | 8988k| 2.3 | 688M| 45 | 6 | 50 |8871 | 50 | 17 | 22 |2191k|6075 | 0.000000e+00 | -- | Inf
726.61/726.68 c 727s| 3990k|821676 | 9010k| 2.3 | 690M| 45 | 6 | 50 |9368 | 50 | 17 | 22 |2197k|6088 | 0.000000e+00 | -- | Inf
729.01/729.08 c 729s| 4000k|823122 | 9032k| 2.3 | 691M| 45 | - | 50 |8770 | 50 | 17 | 22 |2202k|6097 | 0.000000e+00 | -- | Inf
731.42/731.50 c 731s| 4010k|824588 | 9055k| 2.3 | 692M| 45 | - | 50 |6694 | 50 | 17 | 22 |2208k|6105 | 0.000000e+00 | -- | Inf
733.63/733.68 c 734s| 4020k|826220 | 9077k| 2.3 | 694M| 45 | - | 50 |6273 | 50 | 17 | 22 |2214k|6120 | 0.000000e+00 | -- | Inf
736.01/736.00 c 736s| 4030k|827478 | 9100k| 2.3 | 695M| 45 | 6 | 50 |5415 | 50 | 17 | 22 |2220k|6124 | 0.000000e+00 | -- | Inf
738.03/738.03 c 738s| 4040k|829081 | 9122k| 2.3 | 697M| 45 | 6 | 50 |5836 | 50 | 17 | 22 |2226k|6131 | 0.000000e+00 | -- | Inf
740.01/740.02 c 740s| 4050k|830913 | 9145k| 2.3 | 698M| 45 | - | 50 |5951 | 50 | 17 | 22 |2232k|6137 | 0.000000e+00 | -- | Inf
742.21/742.21 c 742s| 4060k|832365 | 9167k| 2.3 | 700M| 45 | 6 | 50 |5466 | 50 | 17 | 22 |2238k|6142 | 0.000000e+00 | -- | Inf
744.31/744.32 c 744s| 4070k|833955 | 9190k| 2.3 | 701M| 45 | 6 | 50 |5335 | 50 | 17 | 22 |2244k|6149 | 0.000000e+00 | -- | Inf
746.21/746.25 c 746s| 4080k|835704 | 9212k| 2.3 | 703M| 45 | - | 50 |6559 | 50 | 17 | 22 |2249k|6154 | 0.000000e+00 | -- | Inf
748.41/748.41 c 748s| 4090k|837285 | 9235k| 2.3 | 704M| 45 | 6 | 50 |6191 | 50 | 17 | 22 |2255k|6164 | 0.000000e+00 | -- | Inf
750.61/750.61 c 751s| 4100k|838715 | 9258k| 2.3 | 706M| 45 | 6 | 50 |4928 | 50 | 17 | 22 |2261k|6175 | 0.000000e+00 | -- | Inf
752.71/752.77 c 753s| 4110k|839966 | 9281k| 2.3 | 707M| 45 | 6 | 50 |4618 | 50 | 17 | 22 |2267k|6181 | 0.000000e+00 | -- | Inf
754.63/754.67 c 755s| 4120k|841445 | 9303k| 2.3 | 709M| 45 | - | 50 |5980 | 50 | 17 | 22 |2273k|6191 | 0.000000e+00 | -- | Inf
756.61/756.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
756.61/756.66 c 757s| 4130k|843091 | 9326k| 2.3 | 711M| 45 | - | 50 |6259 | 50 | 17 | 22 |2279k|6195 | 0.000000e+00 | -- | Inf
758.71/758.77 c 759s| 4140k|844813 | 9349k| 2.3 | 712M| 45 | - | 50 |7298 | 50 | 17 | 22 |2285k|6207 | 0.000000e+00 | -- | Inf
760.81/760.85 c 761s| 4150k|846413 | 9372k| 2.3 | 714M| 45 | 6 | 50 |6547 | 50 | 17 | 22 |2291k|6213 | 0.000000e+00 | -- | Inf
762.71/762.74 c 763s| 4160k|848549 | 9394k| 2.3 | 716M| 45 | 6 | 50 |7471 | 50 | 17 | 22 |2296k|6224 | 0.000000e+00 | -- | Inf
764.71/764.71 c 765s| 4170k|850390 | 9416k| 2.3 | 718M| 45 | - | 50 |9000 | 0 | 0 | 22 |2301k|6233 | 0.000000e+00 | -- | Inf
766.81/766.86 c 767s| 4180k|852075 | 9438k| 2.3 | 719M| 45 | - | 50 | 10k| 50 | 17 | 22 |2306k|6238 | 0.000000e+00 | -- | Inf
769.31/769.32 c 769s| 4190k|853591 | 9461k| 2.3 | 720M| 45 | - | 50 |6623 | 0 | 0 | 22 |2312k|6247 | 0.000000e+00 | -- | Inf
771.51/771.51 c 772s| 4200k|855135 | 9484k| 2.3 | 721M| 45 | 6 | 50 |6233 | 50 | 17 | 22 |2318k|6254 | 0.000000e+00 | -- | Inf
773.71/773.70 c 774s| 4210k|856614 | 9507k| 2.3 | 723M| 45 | 6 | 50 |5747 | 50 | 17 | 22 |2324k|6262 | 0.000000e+00 | -- | Inf
775.61/775.65 c 776s| 4220k|858350 | 9530k| 2.3 | 725M| 45 | 6 | 50 |6647 | 50 | 17 | 22 |2330k|6274 | 0.000000e+00 | -- | Inf
777.73/777.73 c 778s| 4230k|860124 | 9552k| 2.3 | 726M| 45 | - | 50 |6749 | 50 | 17 | 22 |2335k|6287 | 0.000000e+00 | -- | Inf
779.71/779.77 c 780s| 4240k|862177 | 9577k| 2.3 | 728M| 45 | 6 | 50 |7290 | 50 | 17 | 22 |2341k|6292 | 0.000000e+00 | -- | Inf
782.03/782.04 c 782s| 4250k|863946 | 9601k| 2.3 | 730M| 45 | 6 | 50 |8150 | 50 | 17 | 22 |2347k|6293 | 0.000000e+00 | -- | Inf
784.33/784.40 c 784s| 4260k|865591 | 9624k| 2.3 | 731M| 45 | 6 | 50 |6778 | 50 | 17 | 22 |2353k|6295 | 0.000000e+00 | -- | Inf
786.43/786.50 c 786s| 4270k|867312 | 9647k| 2.3 | 732M| 45 | 6 | 50 |6432 | 50 | 17 | 22 |2358k|6303 | 0.000000e+00 | -- | Inf
788.62/788.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
788.62/788.70 c 789s| 4280k|868931 | 9669k| 2.3 | 734M| 45 | 6 | 50 |5983 | 50 | 17 | 22 |2364k|6304 | 0.000000e+00 | -- | Inf
790.51/790.60 c 791s| 4290k|870978 | 9691k| 2.3 | 736M| 45 | 6 | 50 |7918 | 50 | 17 | 22 |2370k|6307 | 0.000000e+00 | -- | Inf
792.72/792.74 c 793s| 4300k|872358 | 9712k| 2.3 | 737M| 45 | - | 50 |7926 | 50 | 17 | 22 |2376k|6314 | 0.000000e+00 | -- | Inf
794.91/794.90 c 795s| 4310k|873964 | 9735k| 2.3 | 739M| 45 | 6 | 50 |7669 | 50 | 17 | 22 |2382k|6318 | 0.000000e+00 | -- | Inf
797.01/797.01 c 797s| 4320k|875797 | 9757k| 2.3 | 740M| 45 | - | 50 |6517 | 50 | 17 | 22 |2387k|6322 | 0.000000e+00 | -- | Inf
799.12/799.18 c 799s| 4330k|877837 | 9780k| 2.3 | 742M| 45 | 6 | 50 |6441 | 50 | 17 | 22 |2393k|6327 | 0.000000e+00 | -- | Inf
801.21/801.25 c 801s| 4340k|879415 | 9802k| 2.3 | 743M| 45 | 6 | 50 |6276 | 50 | 17 | 22 |2399k|6341 | 0.000000e+00 | -- | Inf
803.11/803.18 c 803s| 4350k|881128 | 9824k| 2.3 | 745M| 45 | - | 50 |7468 | 0 | 0 | 22 |2404k|6344 | 0.000000e+00 | -- | Inf
805.41/805.48 c 805s| 4360k|882672 | 9846k| 2.3 | 746M| 45 | 6 | 50 |5363 | 50 | 17 | 22 |2410k|6347 | 0.000000e+00 | -- | Inf
807.33/807.33 c 807s| 4370k|885058 | 9868k| 2.3 | 748M| 45 | - | 50 |6626 | 50 | 17 | 22 |2415k|6357 | 0.000000e+00 | -- | Inf
809.41/809.44 c 809s| 4380k|886617 | 9891k| 2.3 | 750M| 45 | - | 50 |7100 | 50 | 17 | 22 |2421k|6361 | 0.000000e+00 | -- | Inf
811.61/811.67 c 812s| 4390k|888057 | 9914k| 2.3 | 751M| 45 | 6 | 50 |7007 | 50 | 17 | 22 |2427k|6365 | 0.000000e+00 | -- | Inf
813.82/813.87 c 814s| 4400k|889612 | 9936k| 2.3 | 753M| 45 | 6 | 50 |5871 | 50 | 17 | 22 |2433k|6376 | 0.000000e+00 | -- | Inf
816.01/816.04 c 816s| 4410k|891095 | 9959k| 2.3 | 754M| 45 | 6 | 50 |5639 | 50 | 17 | 22 |2439k|6387 | 0.000000e+00 | -- | Inf
818.11/818.11 c 818s| 4420k|892633 | 9981k| 2.3 | 756M| 45 | - | 50 |5737 | 50 | 17 | 22 |2444k|6408 | 0.000000e+00 | -- | Inf
820.11/820.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
820.11/820.14 c 820s| 4430k|894210 | 10003k| 2.3 | 757M| 45 | 6 | 50 |6739 | 50 | 17 | 22 |2450k|6409 | 0.000000e+00 | -- | Inf
822.01/822.07 c 822s| 4440k|896306 | 10026k| 2.3 | 759M| 45 | - | 50 |7076 | 50 | 17 | 22 |2456k|6434 | 0.000000e+00 | -- | Inf
823.82/823.90 c 824s| 4450k|899042 | 10050k| 2.3 | 762M| 45 | 6 | 50 |9346 | 50 | 17 | 22 |2461k|6522 | 0.000000e+00 | -- | Inf
826.02/826.06 c 826s| 4460k|901420 | 10073k| 2.3 | 764M| 45 | - | 50 |9634 | 50 | 17 | 22 |2467k|6537 | 0.000000e+00 | -- | Inf
828.22/828.24 c 828s| 4470k|903697 | 10097k| 2.3 | 766M| 45 | - | 50 | 10k| 50 | 17 | 22 |2472k|6547 | 0.000000e+00 | -- | Inf
830.52/830.58 c 831s| 4480k|905740 | 10121k| 2.3 | 768M| 45 | - | 50 | 10k| 0 | 0 | 22 |2478k|6563 | 0.000000e+00 | -- | Inf
832.91/832.95 c 833s| 4490k|907669 | 10144k| 2.3 | 769M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2484k|6582 | 0.000000e+00 | -- | Inf
835.32/835.31 c 835s| 4500k|909509 | 10168k| 2.3 | 771M| 45 | - | 50 | 11k| 50 | 17 | 22 |2490k|6588 | 0.000000e+00 | -- | Inf
837.82/837.85 c 838s| 4510k|911401 | 10190k| 2.3 | 773M| 45 | - | 50 | 11k| 50 | 17 | 22 |2495k|6598 | 0.000000e+00 | -- | Inf
840.61/840.64 c 841s| 4520k|913048 | 10213k| 2.3 | 774M| 45 | - | 50 | 10k| 50 | 17 | 22 |2501k|6650 | 0.000000e+00 | -- | Inf
843.11/843.10 c 843s| 4530k|915064 | 10236k| 2.3 | 776M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2507k|6702 | 0.000000e+00 | -- | Inf
845.51/845.53 c 846s| 4540k|916753 | 10260k| 2.3 | 778M| 45 | - | 50 | 12k| 0 | 0 | 22 |2513k|6702 | 0.000000e+00 | -- | Inf
848.13/848.19 c 848s| 4550k|918430 | 10283k| 2.3 | 779M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2519k|6722 | 0.000000e+00 | -- | Inf
850.51/850.53 c 851s| 4560k|920299 | 10306k| 2.3 | 781M| 45 | 6 | 50 | 12k| 50 | 17 | 22 |2525k|6762 | 0.000000e+00 | -- | Inf
853.11/853.12 c 853s| 4570k|921958 | 10328k| 2.3 | 783M| 45 | - | 50 | 14k| 50 | 17 | 22 |2530k|6762 | 0.000000e+00 | -- | Inf
856.11/856.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
856.11/856.12 c 856s| 4580k|923479 | 10351k| 2.3 | 784M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2536k|6766 | 0.000000e+00 | -- | Inf
858.91/858.96 c 859s| 4590k|924910 | 10374k| 2.3 | 785M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2542k|6772 | 0.000000e+00 | -- | Inf
861.23/861.29 c 861s| 4600k|927100 | 10397k| 2.3 | 787M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2548k|6772 | 0.000000e+00 | -- | Inf
864.21/864.24 c 864s| 4610k|928432 | 10420k| 2.3 | 789M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2554k|6791 | 0.000000e+00 | -- | Inf
866.83/866.88 c 867s| 4620k|930277 | 10443k| 2.3 | 790M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2559k|6793 | 0.000000e+00 | -- | Inf
869.61/869.60 c 870s| 4630k|931685 | 10466k| 2.3 | 792M| 45 | - | 50 | 11k| 50 | 17 | 22 |2565k|6820 | 0.000000e+00 | -- | Inf
872.02/872.04 c 872s| 4640k|933593 | 10490k| 2.3 | 793M| 45 | - | 50 | 11k| 50 | 17 | 22 |2571k|6833 | 0.000000e+00 | -- | Inf
874.53/874.57 c 875s| 4650k|935107 | 10514k| 2.3 | 795M| 45 | 6 | 50 | 12k| 50 | 17 | 22 |2578k|6833 | 0.000000e+00 | -- | Inf
877.52/877.57 c 878s| 4660k|936314 | 10537k| 2.3 | 796M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2584k|6864 | 0.000000e+00 | -- | Inf
880.41/880.44 c 880s| 4670k|937611 | 10560k| 2.3 | 798M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2590k|6866 | 0.000000e+00 | -- | Inf
883.11/883.16 c 883s| 4680k|939091 | 10583k| 2.3 | 799M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2596k|6866 | 0.000000e+00 | -- | Inf
885.91/885.91 c 886s| 4690k|940476 | 10606k| 2.3 | 801M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2603k|6920 | 0.000000e+00 | -- | Inf
888.62/888.69 c 889s| 4700k|941993 | 10629k| 2.3 | 802M| 45 | - | 50 | 12k| 50 | 17 | 22 |2609k|6932 | 0.000000e+00 | -- | Inf
891.41/891.43 c 891s| 4710k|943473 | 10652k| 2.3 | 804M| 45 | - | 50 | 12k| 50 | 17 | 22 |2615k|6940 | 0.000000e+00 | -- | Inf
894.33/894.31 c 894s| 4720k|944727 | 10675k| 2.3 | 805M| 45 | - | 50 | 11k| 0 | 0 | 22 |2621k|6956 | 0.000000e+00 | -- | Inf
897.01/897.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
897.01/897.02 c 897s| 4730k|946315 | 10697k| 2.3 | 807M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2626k|6956 | 0.000000e+00 | -- | Inf
900.12/900.12 c 900s| 4740k|947255 | 10720k| 2.3 | 808M| 45 | - | 50 | 11k| 50 | 17 | 22 |2633k|6972 | 0.000000e+00 | -- | Inf
903.02/903.02 c 903s| 4750k|948282 | 10743k| 2.3 | 809M| 45 | - | 50 | 11k| 50 | 17 | 22 |2639k|6981 | 0.000000e+00 | -- | Inf
905.51/905.57 c 906s| 4760k|949820 | 10766k| 2.3 | 810M| 45 | 6 | 50 |7881 | 50 | 17 | 22 |2645k|6982 | 0.000000e+00 | -- | Inf
907.92/907.92 c 908s| 4770k|951436 | 10788k| 2.3 | 811M| 45 | - | 50 |6350 | 50 | 17 | 22 |2651k|6982 | 0.000000e+00 | -- | Inf
910.11/910.12 c 910s| 4780k|952958 | 10811k| 2.3 | 812M| 45 | - | 50 |6060 | 50 | 17 | 22 |2657k|6983 | 0.000000e+00 | -- | Inf
912.31/912.34 c 912s| 4790k|954401 | 10833k| 2.3 | 814M| 45 | 6 | 50 |5889 | 50 | 17 | 22 |2663k|6983 | 0.000000e+00 | -- | Inf
914.31/914.35 c 914s| 4800k|956116 | 10856k| 2.3 | 816M| 45 | - | 50 |6987 | 50 | 17 | 22 |2669k|6983 | 0.000000e+00 | -- | Inf
916.41/916.48 c 916s| 4810k|957589 | 10877k| 2.3 | 817M| 45 | 6 | 50 |7599 | 50 | 17 | 22 |2674k|6988 | 0.000000e+00 | -- | Inf
918.61/918.68 c 919s| 4820k|959553 | 10900k| 2.3 | 819M| 45 | 6 | 50 |6794 | 50 | 17 | 22 |2680k|6990 | 0.000000e+00 | -- | Inf
920.73/920.75 c 921s| 4830k|961154 | 10922k| 2.3 | 820M| 45 | 6 | 50 |7751 | 50 | 17 | 22 |2686k|6991 | 0.000000e+00 | -- | Inf
922.61/922.65 c 923s| 4840k|963797 | 10946k| 2.3 | 823M| 45 | - | 50 |8301 | 50 | 17 | 22 |2691k|7040 | 0.000000e+00 | -- | Inf
924.81/924.83 c 925s| 4850k|965673 | 10969k| 2.3 | 825M| 45 | - | 50 |9073 | 50 | 17 | 22 |2697k|7040 | 0.000000e+00 | -- | Inf
927.01/927.05 c 927s| 4860k|967428 | 10992k| 2.3 | 826M| 45 | - | 50 |9300 | 50 | 17 | 22 |2703k|7040 | 0.000000e+00 | -- | Inf
929.21/929.21 c 929s| 4870k|969954 | 11015k| 2.3 | 828M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2708k|7040 | 0.000000e+00 | -- | Inf
931.51/931.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
931.51/931.55 c 932s| 4880k|972107 | 11038k| 2.3 | 830M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2714k|7040 | 0.000000e+00 | -- | Inf
934.02/934.04 c 934s| 4890k|973875 | 11060k| 2.3 | 832M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2719k|7040 | 0.000000e+00 | -- | Inf
936.52/936.54 c 937s| 4900k|975558 | 11083k| 2.3 | 833M| 45 | 6 | 50 |9572 | 50 | 17 | 22 |2725k|7040 | 0.000000e+00 | -- | Inf
938.91/938.98 c 939s| 4910k|977034 | 11106k| 2.3 | 834M| 45 | 6 | 50 |8529 | 50 | 17 | 22 |2731k|7040 | 0.000000e+00 | -- | Inf
941.32/941.39 c 941s| 4920k|978393 | 11129k| 2.3 | 836M| 45 | 6 | 50 |8775 | 50 | 17 | 22 |2737k|7040 | 0.000000e+00 | -- | Inf
943.73/943.74 c 944s| 4930k|979988 | 11152k| 2.3 | 838M| 45 | 6 | 50 |9187 | 50 | 17 | 22 |2743k|7040 | 0.000000e+00 | -- | Inf
946.21/946.21 c 946s| 4940k|981342 | 11175k| 2.3 | 839M| 45 | 6 | 50 |8973 | 50 | 17 | 22 |2749k|7040 | 0.000000e+00 | -- | Inf
948.51/948.56 c 949s| 4950k|982907 | 11199k| 2.3 | 841M| 45 | 6 | 50 |9214 | 50 | 17 | 22 |2756k|7040 | 0.000000e+00 | -- | Inf
951.22/951.22 c 951s| 4960k|983923 | 11222k| 2.3 | 842M| 45 | - | 50 |8515 | 50 | 17 | 22 |2762k|7040 | 0.000000e+00 | -- | Inf
953.42/953.44 c 953s| 4970k|985648 | 11244k| 2.3 | 844M| 45 | - | 50 | 10k| 0 | 0 | 22 |2768k|7040 | 0.000000e+00 | -- | Inf
955.72/955.71 c 956s| 4980k|987649 | 11266k| 2.3 | 846M| 45 | - | 50 | 10k| 50 | 17 | 22 |2773k|7041 | 0.000000e+00 | -- | Inf
958.22/958.20 c 958s| 4990k|989190 | 11288k| 2.3 | 847M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2779k|7047 | 0.000000e+00 | -- | Inf
960.42/960.48 c 960s| 5000k|991079 | 11311k| 2.3 | 849M| 45 | 6 | 50 |9742 | 50 | 17 | 22 |2785k|7052 | 0.000000e+00 | -- | Inf
962.81/962.82 c 963s| 5010k|992644 | 11335k| 2.3 | 850M| 45 | - | 50 | 10k| 50 | 17 | 22 |2791k|7056 | 0.000000e+00 | -- | Inf
965.42/965.48 c 965s| 5020k|993853 | 11358k| 2.3 | 851M| 45 | 6 | 50 |9986 | 50 | 17 | 22 |2797k|7058 | 0.000000e+00 | -- | Inf
967.72/967.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
967.72/967.72 c 968s| 5030k|995931 | 11381k| 2.3 | 853M| 45 | - | 50 | 10k| 50 | 17 | 22 |2803k|7061 | 0.000000e+00 | -- | Inf
970.02/970.07 c 970s| 5040k|997480 | 11404k| 2.3 | 855M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2808k|7064 | 0.000000e+00 | -- | Inf
972.52/972.53 c 973s| 5050k|999416 | 11427k| 2.3 | 857M| 45 | - | 50 | 11k| 50 | 17 | 22 |2814k|7066 | 0.000000e+00 | -- | Inf
975.31/975.30 c 975s| 5060k| 1000k| 11451k| 2.3 | 858M| 45 | - | 50 | 11k| 50 | 17 | 22 |2820k|7069 | 0.000000e+00 | -- | Inf
977.93/977.97 c 978s| 5070k| 1002k| 11474k| 2.3 | 860M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2827k|7073 | 0.000000e+00 | -- | Inf
980.72/980.79 c 981s| 5080k| 1003k| 11497k| 2.3 | 861M| 45 | 6 | 50 |8951 | 50 | 17 | 22 |2833k|7081 | 0.000000e+00 | -- | Inf
983.43/983.43 c 983s| 5090k| 1004k| 11519k| 2.3 | 862M| 45 | 6 | 50 |8788 | 50 | 17 | 22 |2839k|7086 | 0.000000e+00 | -- | Inf
985.91/985.99 c 986s| 5100k| 1005k| 11542k| 2.3 | 863M| 45 | 6 | 50 |8544 | 50 | 17 | 22 |2845k|7092 | 0.000000e+00 | -- | Inf
988.11/988.17 c 988s| 5110k| 1007k| 11564k| 2.3 | 865M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2851k|7098 | 0.000000e+00 | -- | Inf
990.72/990.77 c 991s| 5120k| 1008k| 11585k| 2.3 | 866M| 45 | - | 50 | 10k| 50 | 17 | 22 |2857k|7105 | 0.000000e+00 | -- | Inf
993.33/993.35 c 993s| 5130k| 1010k| 11609k| 2.3 | 867M| 45 | 6 | 50 |6777 | 50 | 17 | 22 |2863k|7109 | 0.000000e+00 | -- | Inf
995.62/995.65 c 996s| 5140k| 1011k| 11631k| 2.3 | 868M| 45 | 6 | 50 |6083 | 50 | 17 | 22 |2869k|7114 | 0.000000e+00 | -- | Inf
997.92/997.98 c 998s| 5150k| 1013k| 11654k| 2.3 | 870M| 45 | 6 | 50 |5428 | 50 | 17 | 22 |2875k|7119 | 0.000000e+00 | -- | Inf
1000.12/1000.15 c 1000s| 5160k| 1014k| 11677k| 2.3 | 871M| 45 | 6 | 50 |6233 | 50 | 17 | 22 |2880k|7124 | 0.000000e+00 | -- | Inf
1002.32/1002.39 c 1002s| 5170k| 1016k| 11700k| 2.3 | 873M| 45 | - | 50 |6015 | 50 | 17 | 22 |2886k|7131 | 0.000000e+00 | -- | Inf
1004.62/1004.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1004.62/1004.66 c 1005s| 5180k| 1017k| 11722k| 2.3 | 874M| 45 | - | 50 |5778 | 50 | 17 | 22 |2892k|7134 | 0.000000e+00 | -- | Inf
1006.62/1006.68 c 1007s| 5190k| 1018k| 11745k| 2.3 | 876M| 45 | 6 | 50 |7156 | 50 | 17 | 22 |2898k|7141 | 0.000000e+00 | -- | Inf
1008.91/1008.97 c 1009s| 5200k| 1020k| 11768k| 2.3 | 877M| 45 | 6 | 50 |6337 | 50 | 17 | 22 |2904k|7149 | 0.000000e+00 | -- | Inf
1011.12/1011.19 c 1011s| 5210k| 1022k| 11791k| 2.3 | 879M| 45 | 6 | 50 |6532 | 50 | 17 | 22 |2910k|7153 | 0.000000e+00 | -- | Inf
1013.31/1013.36 c 1013s| 5220k| 1023k| 11813k| 2.3 | 880M| 45 | 6 | 50 |5872 | 50 | 17 | 22 |2916k|7157 | 0.000000e+00 | -- | Inf
1015.01/1015.09 c 1015s| 5230k| 1026k| 11837k| 2.3 | 883M| 45 | 6 | 50 |7706 | 50 | 17 | 22 |2921k|7160 | 0.000000e+00 | -- | Inf
1017.12/1017.10 c 1017s| 5240k| 1029k| 11861k| 2.3 | 885M| 45 | 6 | 50 |7268 | 50 | 17 | 22 |2926k|7163 | 0.000000e+00 | -- | Inf
1019.02/1019.06 c 1019s| 5250k| 1032k| 11885k| 2.3 | 887M| 45 | 6 | 50 |7911 | 50 | 17 | 22 |2930k|7166 | 0.000000e+00 | -- | Inf
1021.11/1021.16 c 1021s| 5260k| 1035k| 11908k| 2.3 | 888M| 45 | - | 50 |8015 | 50 | 17 | 22 |2935k|7169 | 0.000000e+00 | -- | Inf
1023.32/1023.38 c 1023s| 5270k| 1037k| 11932k| 2.3 | 890M| 45 | 6 | 50 |7564 | 50 | 17 | 22 |2941k|7174 | 0.000000e+00 | -- | Inf
1025.62/1025.69 c 1026s| 5280k| 1039k| 11956k| 2.3 | 892M| 45 | 6 | 50 |7765 | 50 | 17 | 22 |2946k|7179 | 0.000000e+00 | -- | Inf
1028.01/1028.05 c 1028s| 5290k| 1041k| 11980k| 2.3 | 893M| 45 | 6 | 50 |7444 | 50 | 17 | 22 |2952k|7191 | 0.000000e+00 | -- | Inf
1030.31/1030.36 c 1030s| 5300k| 1043k| 12005k| 2.3 | 895M| 45 | 6 | 50 |7977 | 50 | 17 | 22 |2957k|7197 | 0.000000e+00 | -- | Inf
1032.72/1032.73 c 1033s| 5310k| 1045k| 12029k| 2.3 | 897M| 45 | - | 50 |8014 | 50 | 17 | 22 |2963k|7208 | 0.000000e+00 | -- | Inf
1035.03/1035.08 c 1035s| 5320k| 1047k| 12053k| 2.3 | 899M| 45 | 6 | 50 |8163 | 50 | 17 | 22 |2968k|7214 | 0.000000e+00 | -- | Inf
1037.41/1037.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1037.41/1037.42 c 1037s| 5330k| 1049k| 12077k| 2.3 | 900M| 45 | 6 | 50 |8365 | 50 | 17 | 22 |2974k|7224 | 0.000000e+00 | -- | Inf
1039.81/1039.83 c 1040s| 5340k| 1051k| 12100k| 2.3 | 902M| 45 | 6 | 50 |7665 | 50 | 17 | 22 |2979k|7230 | 0.000000e+00 | -- | Inf
1042.12/1042.14 c 1042s| 5350k| 1053k| 12124k| 2.3 | 903M| 45 | 6 | 50 |8450 | 50 | 17 | 22 |2984k|7237 | 0.000000e+00 | -- | Inf
1044.42/1044.47 c 1044s| 5360k| 1055k| 12149k| 2.3 | 905M| 45 | 6 | 50 |9310 | 50 | 17 | 22 |2990k|7243 | 0.000000e+00 | -- | Inf
1046.91/1046.93 c 1047s| 5370k| 1057k| 12174k| 2.3 | 907M| 45 | 6 | 50 |8971 | 50 | 17 | 22 |2995k|7247 | 0.000000e+00 | -- | Inf
1049.52/1049.56 c 1050s| 5380k| 1058k| 12197k| 2.3 | 908M| 45 | 6 | 50 |7825 | 50 | 17 | 22 |3001k|7253 | 0.000000e+00 | -- | Inf
1051.54/1051.53 c 1052s| 5390k| 1061k| 12221k| 2.3 | 910M| 45 | 6 | 50 |9322 | 50 | 17 | 22 |3006k|7257 | 0.000000e+00 | -- | Inf
1053.84/1053.87 c 1054s| 5400k| 1063k| 12244k| 2.3 | 912M| 45 | - | 50 |9778 | 50 | 17 | 22 |3012k|7265 | 0.000000e+00 | -- | Inf
1056.42/1056.44 c 1056s| 5410k| 1064k| 12268k| 2.3 | 914M| 45 | - | 50 | 10k| 50 | 17 | 22 |3018k|7271 | 0.000000e+00 | -- | Inf
1059.23/1059.22 c 1059s| 5420k| 1066k| 12292k| 2.3 | 915M| 45 | 6 | 50 |8442 | 50 | 17 | 22 |3024k|7281 | 0.000000e+00 | -- | Inf
1061.43/1061.50 c 1062s| 5430k| 1068k| 12316k| 2.3 | 917M| 45 | 6 | 50 |9581 | 50 | 17 | 22 |3029k|7286 | 0.000000e+00 | -- | Inf
1064.21/1064.27 c 1064s| 5440k| 1069k| 12340k| 2.3 | 918M| 45 | 6 | 50 |7783 | 50 | 17 | 22 |3035k|7295 | 0.000000e+00 | -- | Inf
1066.72/1066.71 c 1067s| 5450k| 1070k| 12363k| 2.3 | 918M| 45 | 6 | 50 |5601 | 50 | 17 | 22 |3041k|7297 | 0.000000e+00 | -- | Inf
1068.82/1068.81 c 1069s| 5460k| 1072k| 12386k| 2.3 | 920M| 45 | - | 50 |6235 | 50 | 17 | 22 |3047k|7305 | 0.000000e+00 | -- | Inf
1071.12/1071.11 c 1071s| 5470k| 1073k| 12409k| 2.3 | 922M| 45 | 6 | 50 |5916 | 50 | 17 | 22 |3053k|7314 | 0.000000e+00 | -- | Inf
1073.22/1073.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1073.22/1073.22 c 1073s| 5480k| 1075k| 12430k| 2.3 | 923M| 45 | 6 | 50 |5642 | 50 | 17 | 22 |3059k|7319 | 0.000000e+00 | -- | Inf
1075.32/1075.39 c 1075s| 5490k| 1076k| 12452k| 2.3 | 925M| 45 | 6 | 50 |6097 | 50 | 17 | 22 |3065k|7325 | 0.000000e+00 | -- | Inf
1077.32/1077.37 c 1077s| 5500k| 1078k| 12474k| 2.3 | 927M| 45 | 6 | 50 |7248 | 50 | 17 | 22 |3070k|7335 | 0.000000e+00 | -- | Inf
1079.61/1079.61 c 1080s| 5510k| 1080k| 12497k| 2.3 | 928M| 45 | 6 | 50 |6421 | 50 | 17 | 22 |3076k|7341 | 0.000000e+00 | -- | Inf
1081.72/1081.78 c 1082s| 5520k| 1081k| 12520k| 2.3 | 930M| 45 | - | 50 |7135 | 0 | 0 | 22 |3082k|7349 | 0.000000e+00 | -- | Inf
1084.02/1084.04 c 1084s| 5530k| 1083k| 12542k| 2.3 | 931M| 45 | - | 50 |6818 | 50 | 17 | 22 |3088k|7355 | 0.000000e+00 | -- | Inf
1086.12/1086.18 c 1086s| 5540k| 1084k| 12564k| 2.3 | 932M| 45 | 6 | 50 |6719 | 50 | 17 | 22 |3094k|7359 | 0.000000e+00 | -- | Inf
1088.42/1088.47 c 1088s| 5550k| 1085k| 12587k| 2.3 | 934M| 45 | 6 | 50 |6766 | 50 | 17 | 22 |3100k|7364 | 0.000000e+00 | -- | Inf
1090.62/1090.61 c 1091s| 5560k| 1087k| 12610k| 2.3 | 935M| 45 | 6 | 50 |5443 | 50 | 17 | 22 |3105k|7367 | 0.000000e+00 | -- | Inf
1092.42/1092.47 c 1092s| 5570k| 1090k| 12632k| 2.3 | 937M| 45 | - | 50 |6777 | 50 | 17 | 22 |3110k|7374 | 0.000000e+00 | -- | Inf
1094.43/1094.48 c 1094s| 5580k| 1092k| 12654k| 2.3 | 939M| 45 | 6 | 50 |6980 | 50 | 17 | 22 |3115k|7376 | 0.000000e+00 | -- | Inf
1096.52/1096.60 c 1097s| 5590k| 1094k| 12677k| 2.3 | 941M| 45 | 6 | 50 |7742 | 50 | 17 | 22 |3121k|7384 | 0.000000e+00 | -- | Inf
1098.83/1098.82 c 1099s| 5600k| 1096k| 12698k| 2.3 | 942M| 45 | 6 | 50 |8163 | 50 | 17 | 22 |3126k|7393 | 0.000000e+00 | -- | Inf
1101.13/1101.16 c 1101s| 5610k| 1097k| 12721k| 2.3 | 944M| 45 | - | 50 |8184 | 50 | 17 | 22 |3132k|7401 | 0.000000e+00 | -- | Inf
1103.42/1103.46 c 1103s| 5620k| 1099k| 12743k| 2.3 | 945M| 45 | 6 | 50 |7919 | 50 | 17 | 22 |3137k|7410 | 0.000000e+00 | -- | Inf
1105.92/1105.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1105.92/1105.91 c 1106s| 5630k| 1100k| 12765k| 2.3 | 946M| 45 | 6 | 50 |6934 | 50 | 17 | 22 |3143k|7416 | 0.000000e+00 | -- | Inf
1108.12/1108.13 c 1108s| 5640k| 1102k| 12788k| 2.3 | 948M| 45 | - | 50 |7277 | 50 | 17 | 22 |3149k|7427 | 0.000000e+00 | -- | Inf
1110.32/1110.34 c 1110s| 5650k| 1104k| 12810k| 2.3 | 950M| 45 | - | 50 |8340 | 50 | 17 | 22 |3155k|7429 | 0.000000e+00 | -- | Inf
1112.62/1112.64 c 1113s| 5660k| 1105k| 12833k| 2.3 | 951M| 45 | - | 50 |8126 | 50 | 17 | 22 |3161k|7434 | 0.000000e+00 | -- | Inf
1114.92/1115.00 c 1115s| 5670k| 1107k| 12856k| 2.3 | 953M| 45 | - | 50 |7762 | 50 | 17 | 22 |3167k|7442 | 0.000000e+00 | -- | Inf
1117.02/1117.05 c 1117s| 5680k| 1108k| 12877k| 2.3 | 954M| 45 | - | 50 |8482 | 50 | 17 | 22 |3172k|7444 | 0.000000e+00 | -- | Inf
1119.42/1119.46 c 1119s| 5690k| 1110k| 12899k| 2.3 | 956M| 45 | 6 | 50 |7142 | 50 | 17 | 22 |3178k|7457 | 0.000000e+00 | -- | Inf
1121.42/1121.43 c 1121s| 5700k| 1113k| 12921k| 2.3 | 958M| 45 | 6 | 50 |8285 | 50 | 17 | 22 |3182k|7463 | 0.000000e+00 | -- | Inf
1123.52/1123.54 c 1124s| 5710k| 1115k| 12943k| 2.3 | 960M| 45 | 6 | 50 |9159 | 50 | 17 | 22 |3188k|7470 | 0.000000e+00 | -- | Inf
1125.62/1125.67 c 1126s| 5720k| 1117k| 12964k| 2.3 | 961M| 45 | - | 50 | 10k| 50 | 17 | 22 |3192k|7474 | 0.000000e+00 | -- | Inf
1128.02/1128.07 c 1128s| 5730k| 1119k| 12986k| 2.3 | 963M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3198k|7479 | 0.000000e+00 | -- | Inf
1130.74/1130.71 c 1131s| 5740k| 1120k| 13009k| 2.3 | 964M| 45 | 6 | 50 |9691 | 50 | 17 | 22 |3203k|7483 | 0.000000e+00 | -- | Inf
1133.04/1133.09 c 1133s| 5750k| 1122k| 13031k| 2.3 | 966M| 45 | - | 50 |8881 | 50 | 17 | 22 |3209k|7487 | 0.000000e+00 | -- | Inf
1135.52/1135.55 c 1136s| 5760k| 1123k| 13054k| 2.3 | 967M| 45 | - | 50 |7536 | 50 | 17 | 22 |3215k|7491 | 0.000000e+00 | -- | Inf
1137.52/1137.52 c 1138s| 5770k| 1126k| 13076k| 2.3 | 969M| 45 | - | 50 |9524 | 0 | 0 | 22 |3220k|7493 | 0.000000e+00 | -- | Inf
1139.82/1139.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1139.82/1139.81 c 1140s| 5780k| 1128k| 13097k| 2.3 | 971M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3225k|7496 | 0.000000e+00 | -- | Inf
1142.22/1142.24 c 1142s| 5790k| 1129k| 13119k| 2.3 | 973M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3230k|7498 | 0.000000e+00 | -- | Inf
1145.04/1145.01 c 1145s| 5800k| 1131k| 13141k| 2.3 | 973M| 45 | - | 50 |7862 | 0 | 0 | 22 |3236k|7504 | 0.000000e+00 | -- | Inf
1147.42/1147.47 c 1147s| 5810k| 1132k| 13163k| 2.3 | 975M| 45 | 6 | 50 |6602 | 50 | 17 | 22 |3242k|7508 | 0.000000e+00 | -- | Inf
1149.32/1149.37 c 1149s| 5820k| 1135k| 13187k| 2.3 | 977M| 45 | - | 50 |7898 | 50 | 17 | 22 |3247k|7512 | 0.000000e+00 | -- | Inf
1151.64/1151.64 c 1152s| 5830k| 1137k| 13210k| 2.3 | 979M| 45 | - | 50 |7881 | 50 | 17 | 22 |3253k|7515 | 0.000000e+00 | -- | Inf
1153.84/1153.86 c 1154s| 5840k| 1139k| 13234k| 2.3 | 981M| 45 | 6 | 50 |8876 | 50 | 17 | 22 |3258k|7522 | 0.000000e+00 | -- | Inf
1156.42/1156.41 c 1156s| 5850k| 1140k| 13257k| 2.3 | 982M| 45 | 6 | 50 |8725 | 50 | 17 | 22 |3264k|7531 | 0.000000e+00 | -- | Inf
1158.92/1158.92 c 1159s| 5860k| 1142k| 13280k| 2.3 | 984M| 45 | 6 | 50 |9090 | 50 | 17 | 22 |3270k|7537 | 0.000000e+00 | -- | Inf
1161.53/1161.58 c 1162s| 5870k| 1143k| 13302k| 2.3 | 985M| 45 | - | 50 |6905 | 50 | 17 | 22 |3276k|7542 | 0.000000e+00 | -- | Inf
1163.92/1163.91 c 1164s| 5880k| 1144k| 13325k| 2.3 | 986M| 45 | 6 | 50 |6554 | 50 | 17 | 22 |3282k|7548 | 0.000000e+00 | -- | Inf
1166.12/1166.13 c 1166s| 5890k| 1146k| 13348k| 2.3 | 988M| 45 | 6 | 50 |7865 | 50 | 17 | 22 |3288k|7553 | 0.000000e+00 | -- | Inf
1168.42/1168.40 c 1168s| 5900k| 1147k| 13371k| 2.3 | 990M| 45 | - | 50 |8851 | 50 | 17 | 22 |3294k|7558 | 0.000000e+00 | -- | Inf
1170.82/1170.87 c 1171s| 5910k| 1149k| 13393k| 2.3 | 991M| 45 | 6 | 50 |6567 | 50 | 17 | 22 |3300k|7567 | 0.000000e+00 | -- | Inf
1173.12/1173.13 c 1173s| 5920k| 1150k| 13415k| 2.3 | 992M| 45 | 6 | 50 |7042 | 50 | 17 | 22 |3306k|7569 | 0.000000e+00 | -- | Inf
1175.62/1175.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1175.62/1175.64 c 1176s| 5930k| 1151k| 13438k| 2.3 | 993M| 45 | - | 50 |5348 | 0 | 0 | 22 |3312k|7575 | 0.000000e+00 | -- | Inf
1177.82/1177.81 c 1178s| 5940k| 1153k| 13461k| 2.3 | 995M| 45 | 6 | 50 |4968 | 50 | 17 | 22 |3318k|7582 | 0.000000e+00 | -- | Inf
1179.62/1179.67 c 1180s| 5950k| 1156k| 13485k| 2.3 | 997M| 45 | 6 | 50 |6678 | 50 | 17 | 22 |3323k|7597 | 0.000000e+00 | -- | Inf
1181.72/1181.70 c 1182s| 5960k| 1158k| 13509k| 2.3 | 999M| 45 | 6 | 50 |7700 | 50 | 17 | 22 |3328k|7600 | 0.000000e+00 | -- | Inf
1183.83/1183.87 c 1184s| 5970k| 1160k| 13533k| 2.3 |1001M| 45 | 6 | 50 |8036 | 50 | 17 | 22 |3334k|7606 | 0.000000e+00 | -- | Inf
1186.22/1186.28 c 1186s| 5980k| 1161k| 13558k| 2.3 |1002M| 45 | 6 | 50 |7785 | 50 | 17 | 22 |3340k|7613 | 0.000000e+00 | -- | Inf
1188.32/1188.35 c 1188s| 5990k| 1163k| 13581k| 2.3 |1005M| 45 | 6 | 50 |9510 | 50 | 17 | 22 |3345k|7618 | 0.000000e+00 | -- | Inf
1190.72/1190.75 c 1191s| 6000k| 1165k| 13605k| 2.3 |1006M| 45 | - | 50 |9253 | 50 | 17 | 22 |3351k|7622 | 0.000000e+00 | -- | Inf
1192.82/1192.84 c 1193s| 6010k| 1168k| 13629k| 2.3 |1008M| 45 | 6 | 50 |9847 | 50 | 17 | 22 |3356k|7625 | 0.000000e+00 | -- | Inf
1195.12/1195.19 c 1195s| 6020k| 1170k| 13652k| 2.3 |1010M| 45 | - | 50 | 10k| 50 | 17 | 22 |3361k|7634 | 0.000000e+00 | -- | Inf
1197.72/1197.71 c 1198s| 6030k| 1172k| 13675k| 2.3 |1011M| 45 | 6 | 50 |8608 | 50 | 17 | 22 |3367k|7639 | 0.000000e+00 | -- | Inf
1200.13/1200.16 c 1200s| 6040k| 1174k| 13699k| 2.3 |1013M| 45 | 6 | 50 |8918 | 50 | 17 | 22 |3372k|7643 | 0.000000e+00 | -- | Inf
1202.52/1202.57 c 1203s| 6050k| 1175k| 13722k| 2.3 |1014M| 45 | 6 | 50 |8297 | 50 | 17 | 22 |3378k|7650 | 0.000000e+00 | -- | Inf
1204.92/1204.96 c 1205s| 6060k| 1177k| 13745k| 2.3 |1016M| 45 | - | 50 |9159 | 50 | 17 | 22 |3384k|7656 | 0.000000e+00 | -- | Inf
1207.23/1207.28 c 1207s| 6070k| 1179k| 13768k| 2.3 |1018M| 45 | - | 50 |9210 | 0 | 0 | 22 |3389k|7665 | 0.000000e+00 | -- | Inf
1209.73/1209.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1209.73/1209.76 c 1210s| 6080k| 1180k| 13791k| 2.3 |1019M| 45 | - | 50 |8440 | 50 | 17 | 22 |3395k|7669 | 0.000000e+00 | -- | Inf
1212.14/1212.14 c 1212s| 6090k| 1182k| 13814k| 2.3 |1021M| 45 | 6 | 50 |9124 | 50 | 17 | 22 |3400k|7672 | 0.000000e+00 | -- | Inf
1214.92/1214.97 c 1215s| 6100k| 1183k| 13837k| 2.3 |1022M| 45 | 6 | 50 |8616 | 50 | 17 | 22 |3406k|7676 | 0.000000e+00 | -- | Inf
1217.23/1217.28 c 1217s| 6110k| 1185k| 13860k| 2.3 |1024M| 45 | - | 50 |9668 | 50 | 17 | 22 |3412k|7686 | 0.000000e+00 | -- | Inf
1219.72/1219.70 c 1220s| 6120k| 1186k| 13883k| 2.3 |1025M| 45 | - | 50 | 10k| 50 | 17 | 22 |3417k|7691 | 0.000000e+00 | -- | Inf
1222.04/1222.04 c 1222s| 6130k| 1189k| 13907k| 2.3 |1027M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3423k|7695 | 0.000000e+00 | -- | Inf
1224.42/1224.45 c 1224s| 6140k| 1191k| 13930k| 2.3 |1029M| 45 | - | 50 | 11k| 50 | 17 | 22 |3428k|7699 | 0.000000e+00 | -- | Inf
1227.12/1227.16 c 1227s| 6150k| 1193k| 13954k| 2.3 |1031M| 45 | - | 50 | 11k| 50 | 17 | 22 |3433k|7706 | 0.000000e+00 | -- | Inf
1229.84/1229.88 c 1230s| 6160k| 1194k| 13978k| 2.3 |1032M| 45 | - | 50 | 11k| 50 | 17 | 22 |3439k|7715 | 0.000000e+00 | -- | Inf
1232.72/1232.77 c 1233s| 6170k| 1196k| 14001k| 2.3 |1034M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |3445k|7722 | 0.000000e+00 | -- | Inf
1235.72/1235.74 c 1236s| 6180k| 1197k| 14025k| 2.3 |1035M| 45 | 6 | 50 |9862 | 50 | 17 | 22 |3451k|7727 | 0.000000e+00 | -- | Inf
1238.22/1238.20 c 1238s| 6190k| 1198k| 14048k| 2.3 |1036M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |3457k|7736 | 0.000000e+00 | -- | Inf
1241.22/1241.24 c 1241s| 6200k| 1200k| 14071k| 2.3 |1037M| 45 | 6 | 50 |9614 | 50 | 17 | 22 |3463k|7744 | 0.000000e+00 | -- | Inf
1244.03/1244.03 c 1244s| 6210k| 1201k| 14094k| 2.3 |1039M| 45 | 6 | 50 |9404 | 50 | 17 | 22 |3468k|7752 | 0.000000e+00 | -- | Inf
1246.72/1246.73 c 1247s| 6220k| 1202k| 14116k| 2.3 |1039M| 45 | - | 50 |6851 | 50 | 17 | 22 |3474k|7760 | 0.000000e+00 | -- | Inf
1249.12/1249.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1249.12/1249.10 c 1249s| 6230k| 1203k| 14139k| 2.3 |1041M| 45 | 6 | 50 |6317 | 50 | 17 | 22 |3480k|7767 | 0.000000e+00 | -- | Inf
1251.32/1251.34 c 1251s| 6240k| 1205k| 14161k| 2.3 |1042M| 45 | 6 | 50 |6201 | 50 | 17 | 22 |3486k|7776 | 0.000000e+00 | -- | Inf
1253.62/1253.65 c 1254s| 6250k| 1206k| 14184k| 2.3 |1044M| 45 | - | 50 |5976 | 0 | 0 | 22 |3492k|7784 | 0.000000e+00 | -- | Inf
1255.62/1255.67 c 1256s| 6260k| 1208k| 14207k| 2.3 |1046M| 45 | 6 | 50 |7642 | 50 | 17 | 22 |3498k|7785 | 0.000000e+00 | -- | Inf
1257.82/1257.84 c 1258s| 6270k| 1210k| 14230k| 2.3 |1047M| 45 | - | 50 |8076 | 50 | 17 | 22 |3503k|7789 | 0.000000e+00 | -- | Inf
1260.22/1260.23 c 1260s| 6280k| 1212k| 14254k| 2.3 |1049M| 45 | 6 | 50 |8008 | 50 | 17 | 22 |3509k|7795 | 0.000000e+00 | -- | Inf
1262.52/1262.53 c 1263s| 6290k| 1213k| 14277k| 2.3 |1050M| 45 | - | 50 |7450 | 50 | 17 | 22 |3515k|7799 | 0.000000e+00 | -- | Inf
1264.72/1264.75 c 1265s| 6300k| 1215k| 14301k| 2.3 |1052M| 45 | 6 | 50 |9090 | 50 | 17 | 22 |3521k|7802 | 0.000000e+00 | -- | Inf
1267.02/1267.10 c 1267s| 6310k| 1216k| 14325k| 2.3 |1054M| 45 | - | 50 |9131 | 0 | 0 | 22 |3528k|7807 | 0.000000e+00 | -- | Inf
1269.62/1269.61 c 1270s| 6320k| 1218k| 14349k| 2.3 |1055M| 45 | 6 | 50 |9989 | 50 | 17 | 22 |3534k|7810 | 0.000000e+00 | -- | Inf
1272.42/1272.46 c 1272s| 6330k| 1219k| 14372k| 2.3 |1056M| 45 | - | 50 |6936 | 0 | 0 | 22 |3541k|7812 | 0.000000e+00 | -- | Inf
1274.84/1274.86 c 1275s| 6340k| 1220k| 14395k| 2.3 |1057M| 45 | 6 | 50 |6471 | 50 | 17 | 22 |3547k|7814 | 0.000000e+00 | -- | Inf
1277.14/1277.17 c 1277s| 6350k| 1221k| 14417k| 2.3 |1059M| 45 | - | 50 |7048 | 50 | 17 | 22 |3553k|7817 | 0.000000e+00 | -- | Inf
1279.63/1279.64 c 1280s| 6360k| 1222k| 14440k| 2.3 |1060M| 45 | 6 | 50 |6435 | 50 | 17 | 22 |3559k|7824 | 0.000000e+00 | -- | Inf
1281.92/1281.98 c 1282s| 6370k| 1224k| 14463k| 2.3 |1061M| 45 | 6 | 50 |6692 | 50 | 17 | 22 |3565k|7828 | 0.000000e+00 | -- | Inf
1284.12/1284.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1284.12/1284.16 c 1284s| 6380k| 1225k| 14485k| 2.3 |1063M| 45 | 6 | 50 |7567 | 50 | 17 | 22 |3571k|7833 | 0.000000e+00 | -- | Inf
1286.52/1286.58 c 1287s| 6390k| 1227k| 14507k| 2.3 |1064M| 45 | 6 | 50 |6311 | 50 | 17 | 22 |3577k|7835 | 0.000000e+00 | -- | Inf
1288.82/1288.88 c 1289s| 6400k| 1228k| 14530k| 2.3 |1065M| 45 | 6 | 50 |5894 | 50 | 17 | 22 |3583k|7835 | 0.000000e+00 | -- | Inf
1291.02/1291.02 c 1291s| 6410k| 1230k| 14552k| 2.3 |1067M| 45 | 6 | 50 |7012 | 50 | 17 | 22 |3589k|7835 | 0.000000e+00 | -- | Inf
1293.23/1293.27 c 1293s| 6420k| 1231k| 14574k| 2.3 |1069M| 45 | 6 | 50 |7189 | 50 | 17 | 22 |3595k|7840 | 0.000000e+00 | -- | Inf
1295.74/1295.76 c 1296s| 6430k| 1232k| 14597k| 2.3 |1070M| 45 | 6 | 50 |5926 | 50 | 17 | 22 |3601k|7845 | 0.000000e+00 | -- | Inf
1297.93/1297.94 c 1298s| 6440k| 1234k| 14619k| 2.3 |1072M| 45 | 6 | 50 |7059 | 50 | 17 | 22 |3607k|7848 | 0.000000e+00 | -- | Inf
1300.24/1300.29 c 1300s| 6450k| 1235k| 14642k| 2.3 |1073M| 45 | 6 | 50 |6913 | 50 | 17 | 22 |3613k|7851 | 0.000000e+00 | -- | Inf
1302.34/1302.40 c 1302s| 6460k| 1237k| 14665k| 2.3 |1075M| 45 | - | 50 |9200 | 50 | 17 | 22 |3619k|7853 | 0.000000e+00 | -- | Inf
1304.73/1304.74 c 1305s| 6470k| 1238k| 14686k| 2.3 |1077M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3625k|7854 | 0.000000e+00 | -- | Inf
1307.32/1307.37 c 1307s| 6480k| 1240k| 14709k| 2.3 |1078M| 45 | - | 50 |7006 | 0 | 0 | 22 |3631k|7854 | 0.000000e+00 | -- | Inf
1309.53/1309.53 c 1310s| 6490k| 1241k| 14731k| 2.3 |1079M| 45 | - | 50 |7569 | 50 | 17 | 22 |3637k|7854 | 0.000000e+00 | -- | Inf
1311.83/1311.84 c 1312s| 6500k| 1242k| 14754k| 2.3 |1081M| 45 | - | 50 |8868 | 50 | 17 | 22 |3644k|7854 | 0.000000e+00 | -- | Inf
1314.23/1314.24 c 1314s| 6510k| 1244k| 14776k| 2.3 |1083M| 45 | 6 | 50 |9656 | 50 | 17 | 22 |3649k|7854 | 0.000000e+00 | -- | Inf
1316.64/1316.62 c 1317s| 6520k| 1246k| 14799k| 2.3 |1084M| 45 | 6 | 50 |7504 | 50 | 17 | 22 |3655k|7854 | 0.000000e+00 | -- | Inf
1318.94/1318.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1318.94/1318.99 c 1319s| 6530k| 1247k| 14822k| 2.3 |1086M| 45 | - | 50 |8330 | 50 | 17 | 22 |3661k|7854 | 0.000000e+00 | -- | Inf
1321.42/1321.41 c 1321s| 6540k| 1249k| 14844k| 2.3 |1087M| 45 | 6 | 50 |6650 | 50 | 17 | 22 |3667k|7854 | 0.000000e+00 | -- | Inf
1323.63/1323.69 c 1324s| 6550k| 1250k| 14867k| 2.3 |1088M| 45 | - | 50 |6806 | 50 | 17 | 22 |3673k|7854 | 0.000000e+00 | -- | Inf
1326.02/1326.01 c 1326s| 6560k| 1251k| 14890k| 2.3 |1090M| 45 | - | 50 |6686 | 50 | 17 | 22 |3679k|7854 | 0.000000e+00 | -- | Inf
1328.03/1328.08 c 1328s| 6570k| 1253k| 14913k| 2.3 |1092M| 45 | - | 50 |7957 | 0 | 0 | 22 |3685k|7854 | 0.000000e+00 | -- | Inf
1330.33/1330.37 c 1330s| 6580k| 1255k| 14935k| 2.3 |1093M| 45 | - | 50 |8504 | 50 | 17 | 22 |3691k|7854 | 0.000000e+00 | -- | Inf
1333.02/1333.02 c 1333s| 6590k| 1256k| 14958k| 2.3 |1094M| 45 | - | 50 |6204 | 50 | 17 | 22 |3697k|7854 | 0.000000e+00 | -- | Inf
1335.23/1335.20 c 1335s| 6600k| 1257k| 14980k| 2.3 |1096M| 45 | - | 50 |6704 | 0 | 0 | 22 |3703k|7854 | 0.000000e+00 | -- | Inf
1337.54/1337.53 c 1338s| 6610k| 1258k| 15002k| 2.3 |1097M| 45 | 6 | 50 |6211 | 50 | 17 | 22 |3709k|7854 | 0.000000e+00 | -- | Inf
1339.84/1339.86 c 1340s| 6620k| 1260k| 15025k| 2.3 |1098M| 45 | 6 | 50 |5811 | 50 | 17 | 22 |3715k|7854 | 0.000000e+00 | -- | Inf
1342.04/1342.03 c 1342s| 6630k| 1261k| 15048k| 2.3 |1100M| 45 | 6 | 50 |6281 | 50 | 17 | 22 |3721k|7854 | 0.000000e+00 | -- | Inf
1344.43/1344.44 c 1344s| 6640k| 1262k| 15070k| 2.3 |1101M| 45 | 6 | 50 |5791 | 50 | 17 | 22 |3727k|7854 | 0.000000e+00 | -- | Inf
1346.63/1346.68 c 1347s| 6650k| 1264k| 15093k| 2.3 |1103M| 45 | 6 | 50 |6411 | 50 | 17 | 22 |3733k|7854 | 0.000000e+00 | -- | Inf
1348.93/1348.98 c 1349s| 6660k| 1265k| 15115k| 2.3 |1104M| 45 | - | 50 |6246 | 50 | 17 | 22 |3739k|7854 | 0.000000e+00 | -- | Inf
1351.13/1351.19 c 1351s| 6670k| 1267k| 15138k| 2.3 |1106M| 45 | - | 50 |6137 | 50 | 17 | 22 |3745k|7854 | 0.000000e+00 | -- | Inf
1353.12/1353.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1353.12/1353.13 c 1353s| 6680k| 1268k| 15162k| 2.3 |1108M| 45 | - | 50 |7893 | 0 | 0 | 22 |3751k|7854 | 0.000000e+00 | -- | Inf
1355.43/1355.43 c 1355s| 6690k| 1270k| 15186k| 2.3 |1109M| 45 | 6 | 50 |7851 | 50 | 17 | 22 |3757k|7854 | 0.000000e+00 | -- | Inf
1357.63/1357.64 c 1358s| 6700k| 1272k| 15209k| 2.3 |1111M| 45 | 6 | 50 |9032 | 50 | 17 | 22 |3763k|7854 | 0.000000e+00 | -- | Inf
1360.13/1360.12 c 1360s| 6710k| 1273k| 15233k| 2.3 |1113M| 45 | - | 50 |8375 | 50 | 17 | 22 |3769k|7854 | 0.000000e+00 | -- | Inf
1362.62/1362.67 c 1363s| 6720k| 1274k| 15255k| 2.3 |1114M| 45 | - | 50 |6280 | 50 | 17 | 22 |3775k|7854 | 0.000000e+00 | -- | Inf
1365.04/1365.08 c 1365s| 6730k| 1275k| 15279k| 2.3 |1115M| 45 | 6 | 50 |5419 | 50 | 17 | 22 |3782k|7854 | 0.000000e+00 | -- | Inf
1367.12/1367.14 c 1367s| 6740k| 1277k| 15300k| 2.3 |1117M| 45 | 6 | 50 |6638 | 50 | 17 | 22 |3787k|7854 | 0.000000e+00 | -- | Inf
1369.33/1369.41 c 1369s| 6750k| 1278k| 15322k| 2.3 |1118M| 45 | 6 | 50 |6224 | 50 | 17 | 22 |3793k|7854 | 0.000000e+00 | -- | Inf
1371.52/1371.60 c 1372s| 6760k| 1280k| 15344k| 2.3 |1120M| 45 | 6 | 50 |6824 | 50 | 17 | 22 |3799k|7854 | 0.000000e+00 | -- | Inf
1373.84/1373.85 c 1374s| 6770k| 1281k| 15367k| 2.3 |1121M| 45 | 6 | 50 |7359 | 50 | 17 | 22 |3805k|7854 | 0.000000e+00 | -- | Inf
1376.32/1376.31 c 1376s| 6780k| 1282k| 15389k| 2.3 |1122M| 45 | 6 | 50 |6503 | 50 | 17 | 22 |3811k|7854 | 0.000000e+00 | -- | Inf
1378.53/1378.55 c 1379s| 6790k| 1284k| 15413k| 2.3 |1124M| 45 | 6 | 50 |7057 | 50 | 17 | 22 |3817k|7854 | 0.000000e+00 | -- | Inf
1380.82/1380.89 c 1381s| 6800k| 1285k| 15436k| 2.3 |1125M| 45 | 6 | 50 |6724 | 50 | 17 | 22 |3823k|7854 | 0.000000e+00 | -- | Inf
1383.03/1383.07 c 1383s| 6810k| 1286k| 15458k| 2.3 |1127M| 45 | 6 | 50 |7384 | 50 | 17 | 22 |3829k|7854 | 0.000000e+00 | -- | Inf
1385.32/1385.37 c 1385s| 6820k| 1288k| 15480k| 2.3 |1129M| 45 | 6 | 50 |7571 | 50 | 17 | 22 |3835k|7854 | 0.000000e+00 | -- | Inf
1387.83/1387.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1387.83/1387.88 c 1388s| 6830k| 1289k| 15503k| 2.3 |1130M| 45 | 6 | 50 |6337 | 50 | 17 | 22 |3841k|7854 | 0.000000e+00 | -- | Inf
1390.13/1390.18 c 1390s| 6840k| 1290k| 15525k| 2.3 |1131M| 45 | - | 50 |6709 | 50 | 17 | 22 |3847k|7854 | 0.000000e+00 | -- | Inf
1392.23/1392.23 c 1392s| 6850k| 1292k| 15547k| 2.3 |1133M| 45 | - | 50 |8760 | 0 | 0 | 22 |3853k|7854 | 0.000000e+00 | -- | Inf
1394.74/1394.73 c 1395s| 6860k| 1293k| 15569k| 2.3 |1135M| 45 | 6 | 50 |9928 | 50 | 17 | 22 |3859k|7854 | 0.000000e+00 | -- | Inf
1397.04/1397.07 c 1397s| 6870k| 1295k| 15591k| 2.3 |1137M| 45 | - | 50 | 10k| 0 | 0 | 22 |3864k|7854 | 0.000000e+00 | -- | Inf
1399.53/1399.50 c 1399s| 6880k| 1297k| 15613k| 2.3 |1138M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |3869k|7854 | 0.000000e+00 | -- | Inf
1402.23/1402.28 c 1402s| 6890k| 1298k| 15634k| 2.3 |1139M| 45 | - | 50 | 10k| 50 | 17 | 22 |3875k|7854 | 0.000000e+00 | -- | Inf
1404.83/1404.86 c 1405s| 6900k| 1300k| 15656k| 2.3 |1141M| 45 | - | 50 | 11k| 50 | 17 | 22 |3880k|7854 | 0.000000e+00 | -- | Inf
1407.33/1407.37 c 1407s| 6910k| 1301k| 15677k| 2.3 |1142M| 45 | - | 50 |9692 | 50 | 17 | 22 |3886k|7855 | 0.000000e+00 | -- | Inf
1409.93/1409.91 c 1410s| 6920k| 1303k| 15700k| 2.3 |1143M| 45 | - | 50 |7345 | 50 | 17 | 22 |3891k|7859 | 0.000000e+00 | -- | Inf
1412.13/1412.11 c 1412s| 6930k| 1305k| 15722k| 2.3 |1145M| 45 | - | 50 |8503 | 50 | 17 | 22 |3897k|7861 | 0.000000e+00 | -- | Inf
1414.64/1414.68 c 1415s| 6940k| 1306k| 15745k| 2.3 |1146M| 45 | 6 | 50 |7203 | 50 | 17 | 22 |3903k|7862 | 0.000000e+00 | -- | Inf
1416.75/1416.76 c 1417s| 6950k| 1308k| 15769k| 2.3 |1148M| 45 | - | 50 |9043 | 50 | 17 | 22 |3909k|7862 | 0.000000e+00 | -- | Inf
1419.04/1419.09 c 1419s| 6960k| 1309k| 15792k| 2.3 |1150M| 45 | - | 50 | 10k| 50 | 17 | 22 |3915k|7862 | 0.000000e+00 | -- | Inf
1421.43/1421.49 c 1421s| 6970k| 1310k| 15816k| 2.3 |1151M| 45 | - | 50 | 10k| 50 | 17 | 22 |3921k|7862 | 0.000000e+00 | -- | Inf
1423.93/1423.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1423.93/1423.94 c 1424s| 6980k| 1312k| 15839k| 2.3 |1153M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |3928k|7862 | 0.000000e+00 | -- | Inf
1426.93/1426.91 c 1427s| 6990k| 1313k| 15861k| 2.3 |1153M| 45 | 6 | 50 |6768 | 50 | 17 | 22 |3934k|7866 | 0.000000e+00 | -- | Inf
1429.23/1429.25 c 1429s| 7000k| 1314k| 15885k| 2.3 |1155M| 45 | 6 | 50 |8292 | 50 | 17 | 22 |3940k|7866 | 0.000000e+00 | -- | Inf
1431.53/1431.50 c 1432s| 7010k| 1316k| 15908k| 2.3 |1157M| 45 | 6 | 50 |9257 | 50 | 17 | 22 |3946k|7866 | 0.000000e+00 | -- | Inf
1433.93/1433.95 c 1434s| 7020k| 1317k| 15930k| 2.3 |1158M| 45 | 6 | 50 |8744 | 50 | 17 | 22 |3952k|7868 | 0.000000e+00 | -- | Inf
1436.43/1436.49 c 1436s| 7030k| 1319k| 15953k| 2.3 |1159M| 45 | 6 | 50 |7121 | 50 | 17 | 22 |3958k|7873 | 0.000000e+00 | -- | Inf
1438.63/1438.66 c 1439s| 7040k| 1320k| 15976k| 2.3 |1161M| 45 | - | 50 |7907 | 50 | 17 | 22 |3964k|7875 | 0.000000e+00 | -- | Inf
1440.83/1440.88 c 1441s| 7050k| 1322k| 15998k| 2.3 |1163M| 45 | - | 50 |9067 | 0 | 0 | 22 |3970k|7881 | 0.000000e+00 | -- | Inf
1443.25/1443.21 c 1443s| 7060k| 1323k| 16021k| 2.3 |1164M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3976k|7884 | 0.000000e+00 | -- | Inf
1445.83/1445.82 c 1446s| 7070k| 1325k| 16044k| 2.3 |1166M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |3982k|7891 | 0.000000e+00 | -- | Inf
1448.74/1448.76 c 1449s| 7080k| 1326k| 16066k| 2.3 |1167M| 45 | 6 | 50 |8459 | 50 | 17 | 22 |3988k|7893 | 0.000000e+00 | -- | Inf
1451.13/1451.11 c 1451s| 7090k| 1327k| 16088k| 2.3 |1168M| 45 | - | 50 |7876 | 50 | 17 | 22 |3993k|7894 | 0.000000e+00 | -- | Inf
1453.63/1453.64 c 1454s| 7100k| 1329k| 16112k| 2.3 |1169M| 45 | 6 | 50 |6807 | 50 | 17 | 22 |4000k|7898 | 0.000000e+00 | -- | Inf
1456.03/1456.07 c 1456s| 7110k| 1330k| 16135k| 2.3 |1171M| 45 | - | 50 |6244 | 0 | 0 | 22 |4006k|7901 | 0.000000e+00 | -- | Inf
1458.42/1458.43 c 1458s| 7120k| 1331k| 16157k| 2.3 |1172M| 45 | 6 | 50 |5618 | 50 | 17 | 22 |4012k|7907 | 0.000000e+00 | -- | Inf
1460.33/1460.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1460.33/1460.31 c 1460s| 7130k| 1333k| 16180k| 2.3 |1174M| 45 | 6 | 50 |7375 | 50 | 17 | 22 |4017k|7909 | 0.000000e+00 | -- | Inf
1462.23/1462.30 c 1462s| 7140k| 1336k| 16202k| 2.3 |1176M| 45 | - | 50 |8018 | 50 | 17 | 22 |4022k|7913 | 0.000000e+00 | -- | Inf
1464.63/1464.60 c 1465s| 7150k| 1338k| 16225k| 2.3 |1178M| 45 | 6 | 50 |8167 | 50 | 17 | 22 |4027k|7919 | 0.000000e+00 | -- | Inf
1466.83/1466.83 c 1467s| 7160k| 1340k| 16247k| 2.3 |1179M| 45 | 6 | 50 |8759 | 50 | 17 | 22 |4033k|7923 | 0.000000e+00 | -- | Inf
1469.03/1469.07 c 1469s| 7170k| 1341k| 16268k| 2.3 |1181M| 45 | 6 | 50 |9054 | 50 | 17 | 22 |4039k|7931 | 0.000000e+00 | -- | Inf
1471.43/1471.43 c 1471s| 7180k| 1343k| 16292k| 2.3 |1183M| 45 | 6 | 50 |9438 | 50 | 17 | 22 |4044k|7934 | 0.000000e+00 | -- | Inf
1473.83/1473.81 c 1474s| 7190k| 1345k| 16315k| 2.3 |1184M| 45 | - | 50 |8318 | 50 | 17 | 22 |4050k|7937 | 0.000000e+00 | -- | Inf
1476.02/1476.05 c 1476s| 7200k| 1346k| 16336k| 2.3 |1186M| 45 | 6 | 50 |9293 | 50 | 17 | 22 |4055k|7942 | 0.000000e+00 | -- | Inf
1478.44/1478.46 c 1478s| 7210k| 1348k| 16358k| 2.3 |1187M| 45 | 6 | 50 |8778 | 50 | 17 | 22 |4061k|7947 | 0.000000e+00 | -- | Inf
1480.83/1480.89 c 1481s| 7220k| 1349k| 16380k| 2.3 |1189M| 45 | 6 | 50 |9046 | 50 | 17 | 22 |4067k|7953 | 0.000000e+00 | -- | Inf
1483.33/1483.31 c 1483s| 7230k| 1351k| 16402k| 2.3 |1190M| 45 | - | 50 |9270 | 0 | 0 | 22 |4073k|7958 | 0.000000e+00 | -- | Inf
1485.73/1485.74 c 1486s| 7240k| 1352k| 16424k| 2.3 |1192M| 45 | 6 | 50 |9329 | 50 | 17 | 22 |4078k|7961 | 0.000000e+00 | -- | Inf
1488.24/1488.21 c 1488s| 7250k| 1353k| 16446k| 2.3 |1193M| 45 | - | 50 |9540 | 50 | 17 | 22 |4084k|7967 | 0.000000e+00 | -- | Inf
1490.83/1490.85 c 1491s| 7260k| 1355k| 16468k| 2.3 |1194M| 45 | 6 | 50 |8915 | 50 | 17 | 22 |4090k|7972 | 0.000000e+00 | -- | Inf
1493.43/1493.46 c 1493s| 7270k| 1356k| 16490k| 2.3 |1195M| 45 | 6 | 50 |8776 | 50 | 17 | 22 |4097k|7974 | 0.000000e+00 | -- | Inf
1495.95/1495.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.95/1495.99 c 1496s| 7280k| 1357k| 16512k| 2.3 |1197M| 45 | 6 | 50 |8871 | 50 | 17 | 22 |4102k|7979 | 0.000000e+00 | -- | Inf
1498.53/1498.56 c 1499s| 7290k| 1358k| 16534k| 2.3 |1198M| 45 | 6 | 50 |9183 | 50 | 17 | 22 |4109k|7981 | 0.000000e+00 | -- | Inf
1501.23/1501.20 c 1501s| 7300k| 1359k| 16556k| 2.3 |1199M| 45 | - | 50 |6995 | 50 | 17 | 22 |4114k|7982 | 0.000000e+00 | -- | Inf
1503.53/1503.60 c 1504s| 7310k| 1360k| 16578k| 2.3 |1200M| 45 | - | 50 |6333 | 0 | 0 | 22 |4120k|7982 | 0.000000e+00 | -- | Inf
1506.03/1506.08 c 1506s| 7320k| 1361k| 16601k| 2.3 |1201M| 45 | 6 | 50 |6269 | 50 | 17 | 22 |4127k|7984 | 0.000000e+00 | -- | Inf
1508.43/1508.46 c 1508s| 7330k| 1363k| 16622k| 2.3 |1203M| 45 | 6 | 50 |6137 | 50 | 17 | 22 |4133k|7987 | 0.000000e+00 | -- | Inf
1510.73/1510.73 c 1511s| 7340k| 1364k| 16645k| 2.3 |1204M| 45 | 6 | 50 |6883 | 50 | 17 | 22 |4138k|7990 | 0.000000e+00 | -- | Inf
1513.03/1513.04 c 1513s| 7350k| 1366k| 16667k| 2.3 |1206M| 45 | 6 | 50 |6417 | 50 | 17 | 22 |4144k|7994 | 0.000000e+00 | -- | Inf
1515.23/1515.20 c 1515s| 7360k| 1367k| 16688k| 2.3 |1208M| 45 | - | 50 |7915 | 50 | 17 | 22 |4150k|7999 | 0.000000e+00 | -- | Inf
1517.63/1517.61 c 1518s| 7370k| 1368k| 16711k| 2.3 |1209M| 45 | - | 50 |6618 | 50 | 17 | 22 |4156k|8001 | 0.000000e+00 | -- | Inf
1519.83/1519.82 c 1520s| 7380k| 1370k| 16734k| 2.3 |1210M| 45 | 6 | 50 |7472 | 50 | 17 | 22 |4162k|8002 | 0.000000e+00 | -- | Inf
1522.13/1522.12 c 1522s| 7390k| 1371k| 16755k| 2.3 |1212M| 45 | - | 50 |7050 | 50 | 17 | 22 |4167k|8002 | 0.000000e+00 | -- | Inf
1524.33/1524.36 c 1524s| 7400k| 1373k| 16777k| 2.3 |1213M| 45 | 6 | 50 |7623 | 50 | 17 | 22 |4173k|8003 | 0.000000e+00 | -- | Inf
1526.85/1526.87 c 1527s| 7410k| 1374k| 16800k| 2.3 |1215M| 45 | 6 | 50 |7573 | 50 | 17 | 22 |4179k|8004 | 0.000000e+00 | -- | Inf
1529.43/1529.44 c 1529s| 7420k| 1375k| 16822k| 2.3 |1216M| 45 | 6 | 50 |6085 | 50 | 17 | 22 |4186k|8006 | 0.000000e+00 | -- | Inf
1531.73/1531.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1531.73/1531.72 c 1532s| 7430k| 1376k| 16845k| 2.3 |1217M| 45 | 6 | 50 |6147 | 50 | 17 | 22 |4192k|8006 | 0.000000e+00 | -- | Inf
1533.93/1533.99 c 1534s| 7440k| 1378k| 16868k| 2.3 |1219M| 45 | 6 | 50 |6056 | 50 | 17 | 22 |4198k|8008 | 0.000000e+00 | -- | Inf
1536.03/1536.02 c 1536s| 7450k| 1380k| 16892k| 2.3 |1221M| 45 | - | 50 |7986 | 0 | 0 | 22 |4204k|8013 | 0.000000e+00 | -- | Inf
1538.23/1538.26 c 1538s| 7460k| 1381k| 16916k| 2.3 |1223M| 45 | 6 | 50 |8257 | 50 | 17 | 22 |4209k|8015 | 0.000000e+00 | -- | Inf
1540.53/1540.52 c 1541s| 7470k| 1383k| 16940k| 2.3 |1224M| 45 | - | 50 |8841 | 50 | 17 | 22 |4215k|8020 | 0.000000e+00 | -- | Inf
1542.93/1542.98 c 1543s| 7480k| 1385k| 16964k| 2.3 |1226M| 45 | 6 | 50 |8865 | 50 | 17 | 22 |4222k|8024 | 0.000000e+00 | -- | Inf
1545.55/1545.55 c 1546s| 7490k| 1386k| 16988k| 2.3 |1227M| 45 | - | 50 |8589 | 50 | 17 | 22 |4228k|8026 | 0.000000e+00 | -- | Inf
1548.03/1548.09 c 1548s| 7500k| 1387k| 17010k| 2.3 |1228M| 45 | - | 50 |7151 | 0 | 0 | 22 |4234k|8032 | 0.000000e+00 | -- | Inf
1550.43/1550.46 c 1550s| 7510k| 1388k| 17032k| 2.3 |1229M| 45 | 6 | 50 |6392 | 50 | 17 | 22 |4241k|8038 | 0.000000e+00 | -- | Inf
1552.93/1552.91 c 1553s| 7520k| 1389k| 17055k| 2.3 |1231M| 45 | 6 | 50 |6610 | 50 | 17 | 22 |4247k|8039 | 0.000000e+00 | -- | Inf
1555.35/1555.37 c 1555s| 7530k| 1391k| 17078k| 2.3 |1232M| 45 | 6 | 50 |5828 | 50 | 17 | 22 |4253k|8039 | 0.000000e+00 | -- | Inf
1557.43/1557.45 c 1557s| 7540k| 1393k| 17100k| 2.3 |1234M| 45 | - | 50 |7369 | 50 | 17 | 22 |4259k|8043 | 0.000000e+00 | -- | Inf
1559.63/1559.63 c 1560s| 7550k| 1394k| 17123k| 2.3 |1236M| 45 | - | 50 |9413 | 50 | 17 | 22 |4264k|8045 | 0.000000e+00 | -- | Inf
1562.33/1562.38 c 1562s| 7560k| 1395k| 17146k| 2.3 |1237M| 45 | 6 | 50 |8064 | 50 | 17 | 22 |4270k|8050 | 0.000000e+00 | -- | Inf
1564.94/1564.91 c 1565s| 7570k| 1397k| 17169k| 2.3 |1238M| 45 | 6 | 50 |5708 | 50 | 17 | 22 |4276k|8052 | 0.000000e+00 | -- | Inf
1566.93/1566.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1566.93/1566.90 c 1567s| 7580k| 1399k| 17191k| 2.3 |1240M| 45 | 6 | 50 |7315 | 50 | 17 | 22 |4282k|8052 | 0.000000e+00 | -- | Inf
1569.03/1569.08 c 1569s| 7590k| 1401k| 17212k| 2.3 |1242M| 45 | - | 50 |8096 | 50 | 17 | 22 |4287k|8054 | 0.000000e+00 | -- | Inf
1571.53/1571.56 c 1572s| 7600k| 1402k| 17234k| 2.3 |1243M| 45 | - | 50 |7898 | 50 | 17 | 22 |4293k|8059 | 0.000000e+00 | -- | Inf
1574.15/1574.16 c 1574s| 7610k| 1403k| 17256k| 2.3 |1244M| 45 | 6 | 50 |7442 | 50 | 17 | 22 |4299k|8062 | 0.000000e+00 | -- | Inf
1576.83/1576.82 c 1577s| 7620k| 1404k| 17279k| 2.3 |1245M| 45 | - | 50 |5971 | 50 | 17 | 22 |4306k|8067 | 0.000000e+00 | -- | Inf
1579.03/1579.04 c 1579s| 7630k| 1406k| 17301k| 2.3 |1247M| 45 | 6 | 50 |6745 | 50 | 17 | 22 |4311k|8071 | 0.000000e+00 | -- | Inf
1581.33/1581.32 c 1581s| 7640k| 1407k| 17325k| 2.3 |1249M| 45 | - | 50 |7794 | 0 | 0 | 22 |4317k|8076 | 0.000000e+00 | -- | Inf
1583.73/1583.71 c 1584s| 7650k| 1409k| 17348k| 2.3 |1250M| 45 | 6 | 50 |7436 | 50 | 17 | 22 |4323k|8082 | 0.000000e+00 | -- | Inf
1586.14/1586.14 c 1586s| 7660k| 1410k| 17371k| 2.3 |1251M| 45 | 6 | 50 |7100 | 50 | 17 | 22 |4329k|8084 | 0.000000e+00 | -- | Inf
1588.63/1588.61 c 1589s| 7670k| 1411k| 17393k| 2.3 |1253M| 45 | - | 50 |6158 | 50 | 17 | 22 |4335k|8091 | 0.000000e+00 | -- | Inf
1590.84/1590.82 c 1591s| 7680k| 1413k| 17416k| 2.3 |1254M| 45 | 6 | 50 |7172 | 50 | 17 | 22 |4341k|8094 | 0.000000e+00 | -- | Inf
1593.13/1593.17 c 1593s| 7690k| 1414k| 17439k| 2.3 |1256M| 45 | 6 | 50 |7094 | 50 | 17 | 22 |4347k|8098 | 0.000000e+00 | -- | Inf
1595.63/1595.69 c 1596s| 7700k| 1416k| 17462k| 2.3 |1257M| 45 | - | 50 |6990 | 50 | 17 | 22 |4353k|8100 | 0.000000e+00 | -- | Inf
1597.94/1597.91 c 1598s| 7710k| 1417k| 17484k| 2.3 |1259M| 45 | - | 50 |7749 | 50 | 17 | 22 |4359k|8103 | 0.000000e+00 | -- | Inf
1600.33/1600.31 c 1600s| 7720k| 1419k| 17507k| 2.3 |1260M| 45 | 6 | 50 |7752 | 50 | 17 | 22 |4365k|8104 | 0.000000e+00 | -- | Inf
1602.84/1602.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1602.84/1602.83 c 1603s| 7730k| 1420k| 17529k| 2.3 |1262M| 45 | - | 50 |6327 | 50 | 17 | 22 |4371k|8110 | 0.000000e+00 | -- | Inf
1605.23/1605.27 c 1605s| 7740k| 1421k| 17551k| 2.3 |1263M| 45 | - | 50 |6487 | 50 | 17 | 22 |4377k|8110 | 0.000000e+00 | -- | Inf
1607.73/1607.70 c 1608s| 7750k| 1423k| 17575k| 2.3 |1264M| 45 | - | 50 |6405 | 50 | 17 | 22 |4383k|8111 | 0.000000e+00 | -- | Inf
1609.84/1609.87 c 1610s| 7760k| 1424k| 17598k| 2.3 |1266M| 45 | 6 | 50 |7201 | 50 | 17 | 22 |4389k|8112 | 0.000000e+00 | -- | Inf
1612.13/1612.18 c 1612s| 7770k| 1425k| 17621k| 2.3 |1268M| 45 | 6 | 50 |9343 | 50 | 17 | 22 |4395k|8116 | 0.000000e+00 | -- | Inf
1614.63/1614.66 c 1615s| 7780k| 1427k| 17644k| 2.3 |1269M| 45 | - | 50 |8505 | 50 | 17 | 22 |4401k|8120 | 0.000000e+00 | -- | Inf
1617.33/1617.33 c 1617s| 7790k| 1428k| 17667k| 2.3 |1270M| 45 | - | 50 |6395 | 50 | 17 | 22 |4407k|8121 | 0.000000e+00 | -- | Inf
1619.33/1619.38 c 1619s| 7800k| 1430k| 17689k| 2.3 |1272M| 45 | 6 | 50 |8162 | 50 | 17 | 22 |4413k|8121 | 0.000000e+00 | -- | Inf
1621.64/1621.66 c 1622s| 7810k| 1432k| 17712k| 2.3 |1274M| 45 | 6 | 50 |8766 | 50 | 17 | 22 |4419k|8121 | 0.000000e+00 | -- | Inf
1624.13/1624.11 c 1624s| 7820k| 1433k| 17734k| 2.3 |1275M| 45 | 6 | 50 |9115 | 50 | 17 | 22 |4424k|8121 | 0.000000e+00 | -- | Inf
1626.33/1626.38 c 1626s| 7830k| 1434k| 17756k| 2.3 |1277M| 45 | 6 | 50 |9815 | 50 | 17 | 22 |4430k|8121 | 0.000000e+00 | -- | Inf
1629.05/1629.03 c 1629s| 7840k| 1436k| 17779k| 2.3 |1278M| 45 | 6 | 50 |9588 | 50 | 17 | 22 |4436k|8121 | 0.000000e+00 | -- | Inf
1631.64/1631.61 c 1632s| 7850k| 1437k| 17801k| 2.3 |1279M| 45 | 6 | 50 |8147 | 50 | 17 | 22 |4442k|8121 | 0.000000e+00 | -- | Inf
1633.93/1633.94 c 1634s| 7860k| 1439k| 17823k| 2.3 |1281M| 45 | 6 | 50 |8168 | 50 | 17 | 22 |4448k|8121 | 0.000000e+00 | -- | Inf
1636.43/1636.41 c 1636s| 7870k| 1440k| 17845k| 2.3 |1282M| 45 | - | 50 |6936 | 0 | 0 | 22 |4454k|8121 | 0.000000e+00 | -- | Inf
1638.63/1638.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1638.63/1638.69 c 1639s| 7880k| 1441k| 17867k| 2.3 |1284M| 45 | - | 50 |8006 | 50 | 17 | 22 |4460k|8121 | 0.000000e+00 | -- | Inf
1640.93/1640.97 c 1641s| 7890k| 1443k| 17891k| 2.3 |1285M| 45 | - | 50 |7869 | 50 | 17 | 22 |4466k|8121 | 0.000000e+00 | -- | Inf
1643.23/1643.27 c 1643s| 7900k| 1445k| 17914k| 2.3 |1287M| 45 | - | 50 |8911 | 50 | 17 | 22 |4471k|8121 | 0.000000e+00 | -- | Inf
1645.65/1645.65 c 1646s| 7910k| 1447k| 17937k| 2.3 |1289M| 45 | 6 | 50 |9702 | 50 | 17 | 22 |4477k|8121 | 0.000000e+00 | -- | Inf
1648.54/1648.58 c 1649s| 7920k| 1448k| 17960k| 2.3 |1290M| 45 | 6 | 50 |7772 | 50 | 17 | 22 |4483k|8124 | 0.000000e+00 | -- | Inf
1650.93/1650.99 c 1651s| 7930k| 1449k| 17982k| 2.3 |1291M| 45 | 6 | 50 |7398 | 50 | 17 | 22 |4489k|8125 | 0.000000e+00 | -- | Inf
1653.43/1653.49 c 1653s| 7940k| 1450k| 18004k| 2.3 |1292M| 45 | - | 50 |6266 | 50 | 17 | 22 |4495k|8127 | 0.000000e+00 | -- | Inf
1655.54/1655.59 c 1656s| 7950k| 1452k| 18028k| 2.3 |1294M| 45 | - | 50 |7828 | 50 | 17 | 22 |4501k|8135 | 0.000000e+00 | -- | Inf
1658.04/1658.04 c 1658s| 7960k| 1453k| 18050k| 2.3 |1296M| 45 | 6 | 50 |7106 | 50 | 17 | 22 |4507k|8142 | 0.000000e+00 | -- | Inf
1660.54/1660.59 c 1661s| 7970k| 1454k| 18073k| 2.3 |1297M| 45 | - | 50 |5700 | 50 | 17 | 22 |4513k|8142 | 0.000000e+00 | -- | Inf
1662.84/1662.89 c 1663s| 7980k| 1455k| 18095k| 2.3 |1298M| 45 | 6 | 50 |6014 | 50 | 17 | 22 |4519k|8142 | 0.000000e+00 | -- | Inf
1665.14/1665.18 c 1665s| 7990k| 1457k| 18117k| 2.3 |1300M| 45 | 6 | 50 |6337 | 50 | 17 | 22 |4525k|8142 | 0.000000e+00 | -- | Inf
1667.34/1667.38 c 1667s| 8000k| 1458k| 18140k| 2.3 |1301M| 45 | 6 | 50 |7303 | 50 | 17 | 22 |4531k|8142 | 0.000000e+00 | -- | Inf
1669.64/1669.62 c 1670s| 8010k| 1460k| 18163k| 2.3 |1303M| 45 | 6 | 50 |8228 | 50 | 17 | 22 |4537k|8142 | 0.000000e+00 | -- | Inf
1672.13/1672.10 c 1672s| 8020k| 1461k| 18186k| 2.3 |1304M| 45 | 6 | 50 |7663 | 50 | 17 | 22 |4543k|8142 | 0.000000e+00 | -- | Inf
1674.54/1674.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1674.54/1674.52 c 1675s| 8030k| 1462k| 18209k| 2.3 |1306M| 45 | 6 | 50 |7328 | 50 | 17 | 22 |4549k|8142 | 0.000000e+00 | -- | Inf
1676.94/1676.91 c 1677s| 8040k| 1464k| 18232k| 2.3 |1307M| 45 | 6 | 50 |7563 | 50 | 17 | 22 |4555k|8142 | 0.000000e+00 | -- | Inf
1679.24/1679.23 c 1679s| 8050k| 1465k| 18254k| 2.3 |1309M| 45 | 6 | 50 |7852 | 50 | 17 | 22 |4561k|8142 | 0.000000e+00 | -- | Inf
1681.73/1681.74 c 1682s| 8060k| 1467k| 18277k| 2.3 |1310M| 45 | 6 | 50 |6545 | 50 | 17 | 22 |4567k|8142 | 0.000000e+00 | -- | Inf
1684.23/1684.24 c 1684s| 8070k| 1468k| 18300k| 2.3 |1311M| 45 | 6 | 50 |5905 | 50 | 17 | 22 |4574k|8142 | 0.000000e+00 | -- | Inf
1686.43/1686.42 c 1686s| 8080k| 1469k| 18322k| 2.3 |1313M| 45 | 6 | 50 |6806 | 50 | 17 | 22 |4579k|8142 | 0.000000e+00 | -- | Inf
1688.74/1688.75 c 1689s| 8090k| 1471k| 18344k| 2.3 |1314M| 45 | 6 | 50 |6569 | 50 | 17 | 22 |4585k|8142 | 0.000000e+00 | -- | Inf
1691.03/1691.05 c 1691s| 8100k| 1472k| 18366k| 2.3 |1316M| 45 | 6 | 50 |6124 | 50 | 17 | 22 |4591k|8142 | 0.000000e+00 | -- | Inf
1693.13/1693.14 c 1693s| 8110k| 1474k| 18392k| 2.3 |1318M| 45 | 6 | 50 |7731 | 50 | 17 | 22 |4598k|8142 | 0.000000e+00 | -- | Inf
1695.63/1695.66 c 1696s| 8120k| 1475k| 18415k| 2.3 |1319M| 45 | - | 50 |8288 | 50 | 17 | 22 |4604k|8142 | 0.000000e+00 | -- | Inf
1698.14/1698.19 c 1698s| 8130k| 1476k| 18439k| 2.3 |1321M| 45 | - | 50 |9025 | 50 | 17 | 22 |4611k|8142 | 0.000000e+00 | -- | Inf
1700.94/1700.90 c 1701s| 8140k| 1477k| 18462k| 2.3 |1322M| 45 | - | 50 |7043 | 50 | 17 | 22 |4617k|8142 | 0.000000e+00 | -- | Inf
1703.34/1703.39 c 1703s| 8150k| 1478k| 18485k| 2.3 |1323M| 45 | - | 50 |5657 | 50 | 17 | 22 |4623k|8142 | 0.000000e+00 | -- | Inf
1705.63/1705.62 c 1706s| 8160k| 1480k| 18507k| 2.3 |1324M| 45 | 6 | 50 |6860 | 50 | 17 | 22 |4629k|8142 | 0.000000e+00 | -- | Inf
1707.93/1707.91 c 1708s| 8170k| 1481k| 18529k| 2.3 |1326M| 45 | 6 | 50 |7046 | 50 | 17 | 22 |4635k|8142 | 0.000000e+00 | -- | Inf
1710.34/1710.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1710.34/1710.31 c 1710s| 8180k| 1482k| 18552k| 2.3 |1327M| 45 | 6 | 50 |6693 | 50 | 17 | 22 |4641k|8142 | 0.000000e+00 | -- | Inf
1712.53/1712.53 c 1713s| 8190k| 1484k| 18573k| 2.3 |1329M| 45 | 6 | 50 |7715 | 50 | 17 | 22 |4646k|8142 | 0.000000e+00 | -- | Inf
1715.03/1715.09 c 1715s| 8200k| 1485k| 18596k| 2.3 |1330M| 45 | 6 | 50 |6355 | 50 | 17 | 22 |4652k|8142 | 0.000000e+00 | -- | Inf
1717.53/1717.58 c 1718s| 8210k| 1486k| 18619k| 2.3 |1331M| 45 | 6 | 50 |5188 | 50 | 17 | 22 |4659k|8142 | 0.000000e+00 | -- | Inf
1719.93/1719.91 c 1720s| 8220k| 1487k| 18642k| 2.3 |1332M| 45 | 6 | 50 |5662 | 50 | 17 | 22 |4665k|8142 | 0.000000e+00 | -- | Inf
1722.34/1722.38 c 1722s| 8230k| 1488k| 18665k| 2.3 |1333M| 45 | 6 | 50 |5569 | 50 | 17 | 22 |4671k|8142 | 0.000000e+00 | -- | Inf
1724.53/1724.58 c 1725s| 8240k| 1490k| 18688k| 2.3 |1335M| 45 | - | 50 |6367 | 50 | 17 | 22 |4678k|8142 | 0.000000e+00 | -- | Inf
1726.95/1726.93 c 1727s| 8250k| 1491k| 18711k| 2.3 |1336M| 45 | 6 | 50 |6268 | 50 | 17 | 22 |4684k|8142 | 0.000000e+00 | -- | Inf
1729.14/1729.13 c 1729s| 8260k| 1492k| 18734k| 2.3 |1338M| 45 | - | 50 |7812 | 50 | 17 | 22 |4690k|8142 | 0.000000e+00 | -- | Inf
1731.45/1731.43 c 1731s| 8270k| 1494k| 18758k| 2.3 |1340M| 45 | - | 50 |8669 | 50 | 17 | 22 |4696k|8142 | 0.000000e+00 | -- | Inf
1733.84/1733.85 c 1734s| 8280k| 1495k| 18779k| 2.3 |1341M| 45 | 6 | 50 |7276 | 50 | 17 | 22 |4702k|8142 | 0.000000e+00 | -- | Inf
1736.14/1736.19 c 1736s| 8290k| 1496k| 18802k| 2.3 |1342M| 45 | 6 | 50 |7062 | 50 | 17 | 22 |4708k|8142 | 0.000000e+00 | -- | Inf
1738.63/1738.60 c 1739s| 8300k| 1497k| 18824k| 2.3 |1344M| 45 | 6 | 50 |5916 | 50 | 17 | 22 |4714k|8142 | 0.000000e+00 | -- | Inf
1740.83/1740.86 c 1741s| 8310k| 1499k| 18846k| 2.3 |1345M| 45 | 6 | 50 |6449 | 50 | 17 | 22 |4719k|8142 | 0.000000e+00 | -- | Inf
1743.04/1743.08 c 1743s| 8320k| 1500k| 18869k| 2.3 |1347M| 45 | - | 50 |7453 | 50 | 17 | 22 |4725k|8142 | 0.000000e+00 | -- | Inf
1745.43/1745.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1745.43/1745.48 c 1745s| 8330k| 1501k| 18892k| 2.3 |1348M| 45 | 6 | 50 |7599 | 50 | 17 | 22 |4731k|8142 | 0.000000e+00 | -- | Inf
1747.85/1747.81 c 1748s| 8340k| 1503k| 18915k| 2.3 |1350M| 45 | - | 50 |6936 | 50 | 17 | 22 |4737k|8142 | 0.000000e+00 | -- | Inf
1749.93/1749.95 c 1750s| 8350k| 1504k| 18938k| 2.3 |1351M| 45 | - | 50 |7990 | 50 | 17 | 22 |4743k|8142 | 0.000000e+00 | -- | Inf
1752.25/1752.29 c 1752s| 8360k| 1506k| 18960k| 2.3 |1353M| 45 | 6 | 50 |8742 | 50 | 17 | 22 |4749k|8142 | 0.000000e+00 | -- | Inf
1754.94/1754.96 c 1755s| 8370k| 1507k| 18982k| 2.3 |1354M| 45 | 6 | 50 |7560 | 50 | 17 | 22 |4755k|8142 | 0.000000e+00 | -- | Inf
1757.13/1757.11 c 1757s| 8380k| 1509k| 19006k| 2.3 |1356M| 45 | - | 50 |9303 | 50 | 17 | 22 |4761k|8142 | 0.000000e+00 | -- | Inf
1759.53/1759.57 c 1760s| 8390k| 1510k| 19029k| 2.3 |1358M| 45 | - | 50 |9573 | 50 | 17 | 22 |4767k|8143 | 0.000000e+00 | -- | Inf
1762.04/1762.06 c 1762s| 8400k| 1512k| 19052k| 2.3 |1360M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |4773k|8144 | 0.000000e+00 | -- | Inf
1764.74/1764.78 c 1765s| 8410k| 1513k| 19074k| 2.3 |1360M| 45 | - | 50 |8166 | 50 | 17 | 22 |4779k|8149 | 0.000000e+00 | -- | Inf
1767.14/1767.17 c 1767s| 8420k| 1515k| 19096k| 2.3 |1362M| 45 | 6 | 50 |7253 | 50 | 17 | 22 |4785k|8151 | 0.000000e+00 | -- | Inf
1769.64/1769.61 c 1770s| 8430k| 1516k| 19119k| 2.3 |1363M| 45 | - | 50 |7985 | 50 | 17 | 22 |4791k|8157 | 0.000000e+00 | -- | Inf
1772.05/1772.04 c 1772s| 8440k| 1517k| 19143k| 2.3 |1365M| 45 | 6 | 50 |8364 | 50 | 17 | 22 |4797k|8159 | 0.000000e+00 | -- | Inf
1774.25/1774.31 c 1774s| 8450k| 1519k| 19166k| 2.3 |1367M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |4803k|8160 | 0.000000e+00 | -- | Inf
1777.04/1777.07 c 1777s| 8460k| 1521k| 19188k| 2.3 |1368M| 45 | 6 | 50 |7801 | 50 | 17 | 22 |4809k|8164 | 0.000000e+00 | -- | Inf
1779.64/1779.67 c 1780s| 8470k| 1522k| 19211k| 2.3 |1369M| 45 | - | 50 |6840 | 50 | 17 | 22 |4815k|8166 | 0.000000e+00 | -- | Inf
1782.13/1782.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1782.13/1782.19 c 1782s| 8480k| 1523k| 19234k| 2.3 |1370M| 45 | - | 50 |6471 | 50 | 17 | 22 |4821k|8170 | 0.000000e+00 | -- | Inf
1784.25/1784.25 c 1784s| 8490k| 1525k| 19259k| 2.3 |1372M| 45 | - | 50 |8444 | 50 | 17 | 22 |4827k|8171 | 0.000000e+00 | -- | Inf
1786.45/1786.47 c 1786s| 8500k| 1527k| 19283k| 2.3 |1374M| 45 | 6 | 50 |9930 | 50 | 17 | 22 |4832k|8174 | 0.000000e+00 | -- | Inf
1788.84/1788.84 c 1789s| 8510k| 1529k| 19308k| 2.3 |1377M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |4838k|8176 | 0.000000e+00 | -- | Inf
1791.24/1791.24 c 1791s| 8520k| 1532k| 19332k| 2.3 |1379M| 45 | 6 | 50 | 12k| 50 | 17 | 22 |4843k|8186 | 0.000000e+00 | -- | Inf
1794.15/1794.18 c 1794s| 8530k| 1534k| 19356k| 2.3 |1380M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |4849k|8186 | 0.000000e+00 | -- | Inf
1796.43/1796.47 c 1796s| 8540k| 1536k| 19380k| 2.3 |1382M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |4854k|8189 | 0.000000e+00 | -- | Inf
1799.23/1799.21 c 1799s| 8550k| 1538k| 19403k| 2.3 |1383M| 45 | - | 50 | 11k| 50 | 17 | 22 |4860k|8194 | 0.000000e+00 | -- | Inf
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Solving Time (sec) : 1800.00
1800.04/1800.00 c Solving Nodes : 8552975
1800.04/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 s UNKNOWN
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Total Time : 1800.00
1800.04/1800.00 c solving : 1800.00
1800.04/1800.00 c presolving : 0.00 (included in solving)
1800.04/1800.00 c reading : 0.00 (included in solving)
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-3450867-1307095489.opb
1800.04/1800.00 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 13 initial, 13 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-3450867-1307095489.opb
1800.04/1800.00 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 6 initial, 14278 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.00 0 0 0 0 0 7 0 0 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 5203272 0 4 0 967 3463 0 0 10397884
1800.04/1800.00 c linear : 6+ 7 20393500 0 2 3 8600461 828470 10204475 0 0 0
1800.04/1800.00 c logicor : 0+ 6 9501210 0 0 0 7045103 35812 3600180 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 2 0 0 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.00 c integral : 29.47 0.00 0.00 29.47 0.00 0.00 0.00
1800.04/1800.00 c linear : 153.85 0.00 133.32 0.00 0.00 0.00 20.53
1800.04/1800.00 c logicor : 385.07 0.00 375.32 0.00 0.00 0.00 9.75
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.00 c vbounds : 0 0 0 0
1800.04/1800.00 c rootredcost : 0 0 0 0
1800.04/1800.00 c pseudoobj : 0 0 0 0
1800.04/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.00 c vbounds : 3.12 3.12 0.00
1800.04/1800.00 c rootredcost : 3.51 3.51 0.00
1800.04/1800.00 c pseudoobj : 2.09 2.09 0.00
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 33.12 864282 723999 2300287 36.0 191 31.1 -
1800.04/1800.00 c infeasible LP : 71.46 2766714 2766627 5048139 23.6 33106 28.9 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 3956982 20.8 - - -
1800.04/1800.00 c applied locally : - - - 904830 34.4 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 5 - - 14 - (maximal pool size: 93)
1800.04/1800.00 c redcost : 5.96 5203277 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.00 6 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.00 6 0 0 22 0
1800.04/1800.00 c cmir : 0.01 6 0 0 35 0
1800.04/1800.00 c flowcover : 0.01 6 0 0 50 0
1800.04/1800.00 c clique : 0.00 1 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 1 0 0 0 0
1800.04/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.01 1 0 0 0 5
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 26.69 5203272 967 3463 0 0 10397884
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 0.00 2 0 0 0 0 4
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c oneopt : 2.24 0 0
1800.04/1800.00 c crossover : 1.77 0 0
1800.04/1800.00 c guideddiving : 0.19 0 0
1800.04/1800.00 c coefdiving : 0.17 94 0
1800.04/1800.00 c pscostdiving : 0.18 94 0
1800.04/1800.00 c fracdiving : 0.21 94 0
1800.04/1800.00 c veclendiving : 0.18 94 0
1800.04/1800.00 c linesearchdiving : 0.16 94 0
1800.04/1800.00 c feaspump : 0.17 47 0
1800.04/1800.00 c objpscostdiving : 0.16 48 0
1800.04/1800.00 c rootsoldiving : 0.18 48 0
1800.04/1800.00 c trivial : 0.00 2 0
1800.04/1800.00 c shiftandpropagate: 0.00 1 0
1800.04/1800.00 c simplerounding : 0.86 0 0
1800.04/1800.00 c zirounding : 13.76 0 0
1800.04/1800.00 c rounding : 2.12 32294 0
1800.04/1800.00 c shifting : 2.53 9292 0
1800.04/1800.00 c intshifting : 0.08 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c clique : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.02 1 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c vbounds : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c subnlp : 1.22 0 0
1800.04/1800.00 c trysol : 1.52 0 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 371.57 7759658 19406228 2.50 52227.94
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.10 2026 3968 1.96 38497.36
1800.04/1800.00 c strong branching : 0.75 8196 39241 4.79 52128.94
1800.04/1800.00 c (at root node) : - 14 634 45.29 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 8552975
1800.04/1800.00 c nodes (total) : 8552975
1800.04/1800.00 c nodes left : 1538721
1800.04/1800.00 c max depth : 45
1800.04/1800.00 c max depth (total): 45
1800.04/1800.00 c backtracks : 1412106 (16.5%)
1800.04/1800.00 c delayed cutoffs : 306193
1800.04/1800.00 c repropagations : 7099404 (5805561 domain reductions, 276762 cutoffs)
1800.04/1800.00 c avg switch length: 5.37
1800.04/1800.00 c switching time : 467.55
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 0 (0 improvements)
1800.04/1800.00 c Primal Bound : -
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 149
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3450867-1307095489/watcher-3450867-1307095489 -o /tmp/evaluation-result-3450867-1307095489/solver-3450867-1307095489 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450867-1307095489.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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: 2.04 2.04 2.00 2/400 27252
/proc/meminfo: memFree=30004796/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=18500 CPUtime=0.01 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 3781 0 0 0 1 0 0 0 25 0 1 0 821148617 18944000 3478 33554432000 4194304 9163163 140735969673920 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 4625 3479 652 1214 0 3407 0
[startup+0.0891619 s]
/proc/loadavg: 2.04 2.04 2.00 2/400 27252
/proc/meminfo: memFree=30004796/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=26452 CPUtime=0.08 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 7317 0 0 0 7 1 0 0 25 0 1 0 821148617 27086848 5567 33554432000 4194304 9163163 140735969673920 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 6613 5567 702 1214 0 5395 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26452
[startup+0.100158 s]
/proc/loadavg: 2.04 2.04 2.00 2/400 27252
/proc/meminfo: memFree=30004796/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=26452 CPUtime=0.09 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 7318 0 0 0 8 1 0 0 25 0 1 0 821148617 27086848 5568 33554432000 4194304 9163163 140735969673920 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 6613 5568 703 1214 0 5395 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26452
[startup+0.300122 s]
/proc/loadavg: 2.04 2.04 2.00 2/400 27252
/proc/meminfo: memFree=30004796/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=26452 CPUtime=0.29 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 7321 0 0 0 26 3 0 0 25 0 1 0 821148617 27086848 5571 33554432000 4194304 9163163 140735969673920 18446744073709551615 4902264 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 6613 5571 705 1214 0 5395 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26452
[startup+0.7001 s]
/proc/loadavg: 2.04 2.04 2.00 2/400 27252
/proc/meminfo: memFree=30004796/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=26452 CPUtime=0.69 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 7325 0 0 0 63 6 0 0 25 0 1 0 821148617 27086848 5575 33554432000 4194304 9163163 140735969673920 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 6613 5575 705 1214 0 5395 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26452
[startup+1.50102 s]
/proc/loadavg: 2.03 2.04 2.00 3/401 27253
/proc/meminfo: memFree=29983336/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=26452 CPUtime=1.49 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 7332 0 0 0 139 10 0 0 25 0 1 0 821148617 27086848 5582 33554432000 4194304 9163163 140735969673920 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 6613 5582 705 1214 0 5395 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26452
[startup+3.10063 s]
/proc/loadavg: 2.03 2.04 2.00 3/401 27253
/proc/meminfo: memFree=29980608/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=26964 CPUtime=3.09 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 7440 0 0 0 294 15 0 0 25 0 1 0 821148617 27611136 5690 33554432000 4194304 9163163 140735969673920 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 6741 5690 705 1214 0 5523 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26964
[startup+6.30117 s]
/proc/loadavg: 2.03 2.03 2.00 3/401 27253
/proc/meminfo: memFree=29975588/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=32352 CPUtime=6.29 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 8764 0 0 0 603 26 0 0 25 0 1 0 821148617 33128448 7014 33554432000 4194304 9163163 140735969673920 18446744073709551615 6555978 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 8088 7014 705 1214 0 6870 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32352
[startup+12.701 s]
/proc/loadavg: 2.03 2.03 2.00 3/401 27253
/proc/meminfo: memFree=29957428/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=42752 CPUtime=12.69 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 11365 0 0 0 1217 52 0 0 25 0 1 0 821148617 43778048 9615 33554432000 4194304 9163163 140735969673920 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 10688 9615 705 1214 0 9470 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42752
[startup+25.5007 s]
/proc/loadavg: 2.02 2.03 2.00 3/401 27254
/proc/meminfo: memFree=29921468/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=61524 CPUtime=25.49 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 16108 0 0 0 2444 105 0 0 25 0 1 0 821148617 63000576 14358 33554432000 4194304 9163163 140735969673920 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 15381 14358 705 1214 0 14163 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61524
[startup+51.1012 s]
/proc/loadavg: 2.01 2.03 2.00 3/401 27254
/proc/meminfo: memFree=29875084/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=95964 CPUtime=51.09 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 24377 0 0 0 4904 205 0 0 25 0 1 0 821148617 98267136 22627 33554432000 4194304 9163163 140735969673920 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 23991 22627 705 1214 0 22773 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 95964
[startup+102.315 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 27256
/proc/meminfo: memFree=29789284/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=159292 CPUtime=102.31 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 40415 0 0 0 9823 408 0 0 25 0 1 0 821148617 163115008 38665 33554432000 4194304 9163163 140735969673920 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 39823 38665 705 1214 0 38605 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 159292
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 27257
/proc/meminfo: memFree=29696828/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=232560 CPUtime=162.29 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 58079 0 0 0 15597 632 0 0 25 0 1 0 821148617 238141440 56329 33554432000 4194304 9163163 140735969673920 18446744073709551615 5275619 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 58140 56329 705 1214 0 56922 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 232560
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 27259
/proc/meminfo: memFree=29608228/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=292604 CPUtime=222.29 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 73329 0 0 0 21403 826 0 0 25 0 1 0 821148617 299626496 71579 33554432000 4194304 9163163 140735969673920 18446744073709551615 5263795 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 73151 71579 705 1214 0 71933 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 292604
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 27260
/proc/meminfo: memFree=29519032/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=352828 CPUtime=282.3 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 88628 0 0 0 27191 1039 0 0 25 0 1 0 821148617 361295872 86878 33554432000 4194304 9163163 140735969673920 18446744073709551615 6555642 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 88207 86878 705 1214 0 86989 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 352828
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 27262
/proc/meminfo: memFree=29435632/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=420284 CPUtime=342.3 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 103673 0 0 0 32999 1231 0 0 25 0 1 0 821148617 430370816 101923 33554432000 4194304 9163163 140735969673920 18446744073709551615 4247268 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 105071 101923 705 1214 0 103853 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 420284
[startup+402.301 s]
/proc/loadavg: 2.14 2.04 2.01 3/401 27264
/proc/meminfo: memFree=29361636/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=476012 CPUtime=402.3 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 117817 0 0 0 38802 1428 0 0 25 0 1 0 821148617 487436288 116067 33554432000 4194304 9163163 140735969673920 18446744073709551615 5143920 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 119003 116067 705 1214 0 117785 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 476012
[startup+462.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/401 27265
/proc/meminfo: memFree=29283820/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=525560 CPUtime=462.31 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 130528 0 0 0 44600 1631 0 0 25 0 1 0 821148617 538173440 128778 33554432000 4194304 9163163 140735969673920 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 131390 128778 705 1214 0 130172 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 525560
[startup+522.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/401 27267
/proc/meminfo: memFree=29236236/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=572980 CPUtime=522.31 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 142508 0 0 0 50424 1807 0 0 25 0 1 0 821148617 586731520 140758 33554432000 4194304 9163163 140735969673920 18446744073709551615 6555941 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 143245 140758 705 1214 0 142027 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 572980
[startup+582.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/401 27268
/proc/meminfo: memFree=29187652/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=619468 CPUtime=582.3 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 154451 0 0 0 56239 1991 0 0 25 0 1 0 821148617 634335232 152701 33554432000 4194304 9163163 140735969673920 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 154867 152701 705 1214 0 153649 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 619468
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 27275
/proc/meminfo: memFree=28961916/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=805092 CPUtime=822.31 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 201447 0 0 0 79467 2764 0 0 25 0 1 0 821148617 824414208 199697 33554432000 4194304 9163163 140735969673920 18446744073709551615 5277365 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 201273 199697 705 1214 0 200055 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 805092
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 27276
/proc/meminfo: memFree=28916460/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=844792 CPUtime=882.32 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 211569 0 0 0 85304 2928 0 0 25 0 1 0 821148617 865067008 209819 33554432000 4194304 9163163 140735969673920 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 211198 209819 705 1214 0 209980 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 844792
[startup+942.301 s]
/proc/loadavg: 2.09 2.03 2.01 3/401 27278
/proc/meminfo: memFree=28877320/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=881004 CPUtime=942.31 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 220513 0 0 0 91117 3114 0 0 25 0 1 0 821148617 902148096 218763 33554432000 4194304 9163163 140735969673920 18446744073709551615 4240214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 220251 218763 705 1214 0 219033 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 881004
[startup+1002.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/401 27280
/proc/meminfo: memFree=28840024/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=933948 CPUtime=1002.32 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 229873 0 0 0 96946 3286 0 0 25 0 1 0 821148617 956362752 228123 33554432000 4194304 9163163 140735969673920 18446744073709551615 6781455 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 233487 228123 705 1214 0 232269 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 933948
[startup+1062.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/401 27281
/proc/meminfo: memFree=28795436/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=977028 CPUtime=1062.32 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 240933 0 0 0 102762 3470 0 0 25 0 1 0 821148617 1000476672 239183 33554432000 4194304 9163163 140735969673920 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 244257 239183 705 1214 0 243039 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 977028
[startup+1122.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/401 27283
/proc/meminfo: memFree=28755904/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=1014412 CPUtime=1122.32 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 250539 0 0 0 108584 3648 0 0 25 0 1 0 821148617 1038757888 248789 33554432000 4194304 9163163 140735969673920 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 253603 248789 705 1214 0 252385 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1014412
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 27284
/proc/meminfo: memFree=28713140/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=1056608 CPUtime=1182.32 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 260990 0 0 0 114408 3824 0 0 25 0 1 0 821148617 1081966592 259240 33554432000 4194304 9163163 140735969673920 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 264152 259240 705 1214 0 262934 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1056608
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 27286
/proc/meminfo: memFree=28679244/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=1090344 CPUtime=1242.33 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 269642 0 0 0 120236 3997 0 0 25 0 1 0 821148617 1116512256 267892 33554432000 4194304 9163163 140735969673920 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 272586 267892 705 1214 0 271368 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1090344
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 27288
/proc/meminfo: memFree=28637628/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=1130956 CPUtime=1302.34 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 280017 0 0 0 126066 4168 0 0 25 0 1 0 821148617 1158098944 278267 33554432000 4194304 9163163 140735969673920 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 282739 278267 705 1214 0 281521 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1130956
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 27289
/proc/meminfo: memFree=28595420/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=1172536 CPUtime=1362.32 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 290594 0 0 0 131881 4351 0 0 25 0 1 0 821148617 1200676864 288844 33554432000 4194304 9163163 140735969673920 18446744073709551615 6560205 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 293134 288844 705 1214 0 291916 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1172536
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 27291
/proc/meminfo: memFree=28559772/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=1206976 CPUtime=1422.34 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 299465 0 0 0 137708 4526 0 0 25 0 1 0 821148617 1235943424 297715 33554432000 4194304 9163163 140735969673920 18446744073709551615 5143225 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 301744 297715 705 1214 0 300526 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1206976
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 27292
/proc/meminfo: memFree=28517536/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=1246908 CPUtime=1482.33 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 309177 0 0 0 143535 4698 0 0 25 0 1 0 821148617 1276833792 307427 33554432000 4194304 9163163 140735969673920 18446744073709551615 5275439 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 311727 307427 705 1214 0 310509 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1246908
[startup+1542.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/401 27294
/proc/meminfo: memFree=28475296/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=1280640 CPUtime=1542.33 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 317855 0 0 0 149366 4867 0 0 25 0 1 0 821148617 1311375360 316105 33554432000 4194304 9163163 140735969673920 18446744073709551615 5183633 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 320160 316105 705 1214 0 318942 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1280640
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/401 27296
/proc/meminfo: memFree=28433208/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=1318400 CPUtime=1602.33 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 327509 0 0 0 155190 5043 0 0 25 0 1 0 821148617 1350041600 325759 33554432000 4194304 9163163 140735969673920 18446744073709551615 4593216 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 329600 325759 705 1214 0 328382 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1318400
[startup+1662.3 s]
/proc/loadavg: 2.05 2.02 2.00 2/399 27298
/proc/meminfo: memFree=28827760/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=1351428 CPUtime=1662.34 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 335995 0 0 0 161010 5224 0 0 25 0 1 0 821148617 1383862272 334245 33554432000 4194304 9163163 140735969673920 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 337857 334245 705 1214 0 336639 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1351428
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 5/401 27327
/proc/meminfo: memFree=28577876/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=1387260 CPUtime=1722.34 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 345125 0 0 0 166865 5369 0 0 25 0 1 0 821148617 1420554240 343375 33554432000 4194304 9163163 140735969673920 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 346815 343375 705 1214 0 345597 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1387260
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 5/401 27328
/proc/meminfo: memFree=28541988/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=1420196 CPUtime=1782.34 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 353577 0 0 0 172718 5516 0 0 25 0 1 0 821148617 1454280704 351827 33554432000 4194304 9163163 140735969673920 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27252/statm: 355049 351827 705 1214 0 353831 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1420196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 27329
/proc/meminfo: memFree=28525104/32950904 swapFree=56615552/67111528
[pid=27252] ppid=27250 vsize=1437032 CPUtime=1800.05 cores=0,2,4,6
/proc/27252/stat : 27252 (scip-2.0.1.4b.l) R 27250 27252 27067 0 -1 4202496 357915 0 0 0 174442 5563 0 0 18 0 1 0 821148617 1471520768 356165 33554432000 4194304 9163163 140735969673920 18446744073709551615 5263244 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27252/statm: 359258 356165 708 1214 0 358040 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1437032
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.07
CPU time (s): 1800.12
CPU user time (s): 1744.43
CPU system time (s): 55.6915
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1437032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1744.43
system time used= 55.6915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357915
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= 5
involuntary context switches= 1032
runsolver used 6.89795 second user time and 16.0656 second system time
The end