0.00/0.00 c SCIP version 2.0.1.4 [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-3452527-1307096795.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.4
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 | - | 294k| 0 | 6 | 50 | 20 | 50 | 6 | 0 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 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.03 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.04 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 |6094k| 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.83 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.27 c 7.3s| 50000 | 15594 |124679 | 2.5 | 12M| 45 | - | 50 |2508 | 50 | 17 | 22 | 25k|1073 | 0.000000e+00 | -- | Inf
8.59/8.71 c 8.7s| 60000 | 18398 |148219 | 2.5 | 14M| 45 | 6 | 50 |2621 | 50 | 17 | 22 | 30k|1133 | 0.000000e+00 | -- | Inf
10.09/10.18 c 10.2s| 70000 | 21133 |171842 | 2.5 | 16M| 45 | 6 | 50 |3203 | 50 | 17 | 22 | 35k|1178 | 0.000000e+00 | -- | Inf
11.59/11.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.59/11.69 c 11.7s| 80000 | 23630 |195240 | 2.4 | 18M| 45 | 6 | 50 |3299 | 50 | 17 | 22 | 40k|1227 | 0.000000e+00 | -- | Inf
13.11/13.18 c 13.2s| 90000 | 26293 |219062 | 2.4 | 20M| 45 | 6 | 50 |3501 | 50 | 17 | 22 | 46k|1274 | 0.000000e+00 | -- | Inf
14.69/14.76 c 14.8s|100000 | 28512 |241973 | 2.4 | 22M| 45 | - | 50 |3298 | 50 | 17 | 22 | 51k|1306 | 0.000000e+00 | -- | Inf
16.19/16.23 c 16.2s|110000 | 31265 |264644 | 2.4 | 24M| 45 | 6 | 50 |3001 | 50 | 17 | 22 | 57k|1317 | 0.000000e+00 | -- | Inf
17.68/17.73 c 17.7s|120000 | 33832 |287610 | 2.4 | 26M| 45 | 6 | 50 |3283 | 50 | 17 | 22 | 62k|1341 | 0.000000e+00 | -- | Inf
19.08/19.16 c 19.2s|130000 | 36774 |310051 | 2.4 | 28M| 45 | 6 | 50 |3987 | 50 | 17 | 22 | 67k|1352 | 0.000000e+00 | -- | Inf
20.65/20.70 c 20.7s|140000 | 39566 |333254 | 2.4 | 30M| 45 | 6 | 50 |3661 | 50 | 17 | 22 | 72k|1374 | 0.000000e+00 | -- | Inf
22.13/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.63/23.72 c 23.7s|160000 | 45124 |378849 | 2.4 | 34M| 45 | 6 | 50 |3371 | 50 | 17 | 22 | 82k|1419 | 0.000000e+00 | -- | Inf
25.03/25.20 c 25.2s|170000 | 47865 |402290 | 2.4 | 36M| 45 | 6 | 50 |3634 | 50 | 17 | 22 | 88k|1436 | 0.000000e+00 | -- | Inf
26.63/26.71 c 26.7s|180000 | 50567 |425696 | 2.4 | 38M| 45 | 6 | 50 |3598 | 50 | 17 | 22 | 93k|1471 | 0.000000e+00 | -- | Inf
28.12/28.20 c 28.2s|190000 | 53459 |448522 | 2.4 | 40M| 45 | 6 | 50 |3470 | 50 | 17 | 22 | 98k|1507 | 0.000000e+00 | -- | Inf
29.64/29.73 c 29.7s|200000 | 56121 |471521 | 2.4 | 42M| 45 | - | 50 |3673 | 50 | 17 | 22 | 103k|1570 | 0.000000e+00 | -- | Inf
31.13/31.29 c 31.3s|210000 | 58621 |494558 | 2.4 | 44M| 45 | 6 | 50 |3073 | 50 | 17 | 22 | 109k|1578 | 0.000000e+00 | -- | Inf
32.73/32.82 c 32.8s|220000 | 61067 |517028 | 2.3 | 46M| 45 | 6 | 50 |3490 | 50 | 17 | 22 | 114k|1596 | 0.000000e+00 | -- | Inf
34.12/34.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.12/34.29 c 34.3s|230000 | 63838 |539437 | 2.3 | 48M| 45 | - | 50 |4599 | 50 | 17 | 22 | 119k|1608 | 0.000000e+00 | -- | Inf
35.73/35.83 c 35.8s|240000 | 66559 |562446 | 2.3 | 50M| 45 | - | 50 |3327 | 50 | 17 | 22 | 124k|1622 | 0.000000e+00 | -- | Inf
37.24/37.33 c 37.3s|250000 | 69212 |584939 | 2.3 | 52M| 45 | - | 50 |3461 | 50 | 17 | 22 | 130k|1653 | 0.000000e+00 | -- | Inf
38.82/38.91 c 38.9s|260000 | 71653 |608119 | 2.3 | 54M| 45 | 6 | 50 |3247 | 50 | 17 | 22 | 135k|1666 | 0.000000e+00 | -- | Inf
40.33/40.45 c 40.4s|270000 | 74149 |630967 | 2.3 | 56M| 45 | 6 | 50 |3477 | 50 | 17 | 22 | 141k|1687 | 0.000000e+00 | -- | Inf
41.82/41.94 c 41.9s|280000 | 76922 |653184 | 2.3 | 58M| 45 | - | 50 |3668 | 50 | 17 | 22 | 146k|1702 | 0.000000e+00 | -- | Inf
43.43/43.50 c 43.5s|290000 | 79483 |675874 | 2.3 | 60M| 45 | 6 | 50 |3671 | 50 | 17 | 22 | 151k|1718 | 0.000000e+00 | -- | Inf
44.94/45.05 c 45.1s|300000 | 82054 |698503 | 2.3 | 62M| 45 | 6 | 50 |4116 | 50 | 17 | 22 | 157k|1733 | 0.000000e+00 | -- | Inf
46.53/46.66 c 46.7s|310000 | 84354 |720707 | 2.3 | 64M| 45 | 6 | 50 |3920 | 50 | 17 | 22 | 162k|1758 | 0.000000e+00 | -- | Inf
48.13/48.31 c 48.3s|320000 | 86488 |743696 | 2.3 | 65M| 45 | 6 | 50 |3708 | 50 | 17 | 22 | 168k|1771 | 0.000000e+00 | -- | Inf
49.72/49.88 c 49.9s|330000 | 88929 |766509 | 2.3 | 67M| 45 | 6 | 50 |3804 | 50 | 17 | 22 | 173k|1779 | 0.000000e+00 | -- | Inf
51.33/51.42 c 51.4s|340000 | 91348 |789130 | 2.3 | 69M| 45 | 6 | 50 |3891 | 50 | 17 | 22 | 179k|1791 | 0.000000e+00 | -- | Inf
52.92/53.03 c 53.0s|350000 | 93747 |811254 | 2.3 | 71M| 45 | - | 50 |3479 | 50 | 17 | 22 | 184k|1804 | 0.000000e+00 | -- | Inf
54.53/54.60 c 54.6s|360000 | 95992 |834270 | 2.3 | 73M| 45 | 6 | 50 |3567 | 50 | 17 | 22 | 190k|1821 | 0.000000e+00 | -- | Inf
55.95/56.08 c 56.1s|370000 | 98747 |857499 | 2.3 | 75M| 45 | - | 50 |4563 | 0 | 0 | 22 | 195k|1925 | 0.000000e+00 | -- | Inf
57.53/57.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.53/57.68 c 57.7s|380000 |101071 |880394 | 2.3 | 77M| 45 | - | 50 |3912 | 50 | 17 | 22 | 201k|1926 | 0.000000e+00 | -- | Inf
59.24/59.31 c 59.3s|390000 |103211 |902761 | 2.3 | 78M| 45 | - | 50 |3753 | 0 | 0 | 22 | 206k|1935 | 0.000000e+00 | -- | Inf
60.73/60.80 c 60.8s|400000 |106043 |925631 | 2.3 | 80M| 45 | 6 | 50 |4445 | 50 | 17 | 22 | 211k|1948 | 0.000000e+00 | -- | Inf
62.32/62.46 c 62.5s|410000 |108089 |948224 | 2.3 | 82M| 45 | 6 | 50 |3803 | 50 | 17 | 22 | 217k|1978 | 0.000000e+00 | -- | Inf
63.93/64.03 c 64.0s|420000 |110528 |970892 | 2.3 | 84M| 45 | 6 | 50 |4421 | 50 | 17 | 22 | 222k|1998 | 0.000000e+00 | -- | Inf
65.43/65.54 c 65.5s|430000 |113121 |993334 | 2.3 | 86M| 45 | - | 50 |5551 | 50 | 17 | 22 | 227k|2017 | 0.000000e+00 | -- | Inf
67.04/67.16 c 67.2s|440000 |115625 | 1014k| 2.3 | 88M| 45 | - | 50 |4534 | 50 | 17 | 22 | 232k|2039 | 0.000000e+00 | -- | Inf
68.72/68.83 c 68.8s|450000 |117688 | 1037k| 2.3 | 90M| 45 | - | 50 |4068 | 50 | 17 | 22 | 238k|2061 | 0.000000e+00 | -- | Inf
70.34/70.48 c 70.5s|460000 |119923 | 1060k| 2.3 | 91M| 45 | 6 | 50 |4211 | 50 | 17 | 22 | 244k|2075 | 0.000000e+00 | -- | Inf
71.93/72.04 c 72.0s|470000 |122227 | 1082k| 2.3 | 93M| 45 | - | 50 |4554 | 50 | 17 | 22 | 249k|2096 | 0.000000e+00 | -- | Inf
73.65/73.72 c 73.7s|480000 |124336 | 1105k| 2.3 | 95M| 45 | - | 50 |4326 | 0 | 0 | 22 | 255k|2119 | 0.000000e+00 | -- | Inf
75.23/75.38 c 75.4s|490000 |126446 | 1128k| 2.3 | 97M| 45 | 6 | 50 |4164 | 50 | 17 | 22 | 260k|2134 | 0.000000e+00 | -- | Inf
76.84/76.99 c 77.0s|500000 |128803 | 1150k| 2.3 | 99M| 45 | 6 | 50 |4440 | 50 | 17 | 22 | 266k|2148 | 0.000000e+00 | -- | Inf
78.53/78.62 c 78.6s|510000 |131028 | 1173k| 2.3 | 101M| 45 | 6 | 50 |4587 | 50 | 17 | 22 | 271k|2186 | 0.000000e+00 | -- | Inf
80.14/80.23 c 80.2s|520000 |133406 | 1195k| 2.3 | 102M| 45 | 6 | 50 |3780 | 50 | 17 | 22 | 277k|2204 | 0.000000e+00 | -- | Inf
81.72/81.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.72/81.83 c 81.8s|530000 |135660 | 1217k| 2.3 | 104M| 45 | 6 | 50 |3937 | 50 | 17 | 22 | 282k|2217 | 0.000000e+00 | -- | Inf
83.33/83.44 c 83.4s|540000 |137861 | 1240k| 2.3 | 106M| 45 | 6 | 50 |4888 | 50 | 17 | 22 | 288k|2230 | 0.000000e+00 | -- | Inf
84.93/85.03 c 85.0s|550000 |140389 | 1263k| 2.3 | 108M| 45 | 6 | 50 |5184 | 50 | 17 | 22 | 293k|2246 | 0.000000e+00 | -- | Inf
86.53/86.65 c 86.6s|560000 |143176 | 1286k| 2.3 | 110M| 45 | - | 50 |4407 | 50 | 17 | 22 | 298k|2252 | 0.000000e+00 | -- | Inf
88.13/88.24 c 88.2s|570000 |145577 | 1309k| 2.3 | 112M| 45 | - | 50 |5151 | 50 | 17 | 22 | 304k|2270 | 0.000000e+00 | -- | Inf
89.83/89.95 c 90.0s|580000 |147739 | 1332k| 2.3 | 114M| 45 | - | 50 |4634 | 50 | 17 | 22 | 309k|2280 | 0.000000e+00 | -- | Inf
91.43/91.50 c 91.5s|590000 |150386 | 1354k| 2.3 | 116M| 45 | 6 | 50 |4666 | 50 | 17 | 22 | 314k|2294 | 0.000000e+00 | -- | Inf
92.83/92.97 c 93.0s|600000 |153453 | 1378k| 2.3 | 118M| 45 | 6 | 50 |6096 | 50 | 17 | 22 | 319k|2315 | 0.000000e+00 | -- | Inf
94.55/94.62 c 94.6s|610000 |155831 | 1401k| 2.3 | 120M| 45 | 6 | 50 |6165 | 50 | 17 | 22 | 324k|2329 | 0.000000e+00 | -- | Inf
96.13/96.29 c 96.3s|620000 |158245 | 1425k| 2.3 | 122M| 45 | - | 50 |6543 | 50 | 17 | 22 | 329k|2352 | 0.000000e+00 | -- | Inf
97.85/97.99 c 98.0s|630000 |160861 | 1448k| 2.3 | 124M| 45 | 6 | 50 |5787 | 50 | 17 | 22 | 334k|2369 | 0.000000e+00 | -- | Inf
99.53/99.61 c 99.6s|640000 |163510 | 1469k| 2.3 | 126M| 45 | 6 | 50 |5230 | 50 | 17 | 22 | 339k|2385 | 0.000000e+00 | -- | Inf
101.23/101.35 c 101s|650000 |165640 | 1492k| 2.3 | 127M| 45 | 6 | 50 |4057 | 50 | 17 | 22 | 345k|2401 | 0.000000e+00 | -- | Inf
102.73/102.84 c 103s|660000 |168597 | 1514k| 2.3 | 129M| 45 | 6 | 50 |4772 | 50 | 17 | 22 | 349k|2415 | 0.000000e+00 | -- | Inf
104.44/104.53 c 105s|670000 |170796 | 1537k| 2.3 | 131M| 45 | 6 | 50 |3955 | 50 | 17 | 22 | 355k|2434 | 0.000000e+00 | -- | Inf
106.13/106.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.13/106.24 c 106s|680000 |172854 | 1559k| 2.3 | 133M| 45 | - | 50 |3689 | 50 | 17 | 22 | 360k|2448 | 0.000000e+00 | -- | Inf
107.64/107.75 c 108s|690000 |175623 | 1581k| 2.3 | 134M| 45 | 6 | 50 |3938 | 50 | 17 | 22 | 366k|2461 | 0.000000e+00 | -- | Inf
109.13/109.23 c 109s|700000 |178603 | 1604k| 2.3 | 137M| 45 | 6 | 50 |5155 | 50 | 17 | 22 | 371k|2474 | 0.000000e+00 | -- | Inf
110.74/110.87 c 111s|710000 |181041 | 1626k| 2.3 | 139M| 45 | - | 50 |4868 | 50 | 17 | 22 | 376k|2490 | 0.000000e+00 | -- | Inf
112.33/112.46 c 112s|720000 |183574 | 1647k| 2.3 | 140M| 45 | 6 | 50 |5212 | 50 | 17 | 22 | 381k|2499 | 0.000000e+00 | -- | Inf
114.03/114.13 c 114s|730000 |185787 | 1670k| 2.3 | 142M| 45 | - | 50 |5064 | 50 | 17 | 22 | 387k|2510 | 0.000000e+00 | -- | Inf
115.73/115.85 c 116s|740000 |187923 | 1693k| 2.3 | 144M| 45 | 6 | 50 |4020 | 50 | 17 | 22 | 392k|2529 | 0.000000e+00 | -- | Inf
117.33/117.47 c 117s|750000 |190243 | 1715k| 2.3 | 146M| 45 | - | 50 |3829 | 50 | 17 | 22 | 398k|2543 | 0.000000e+00 | -- | Inf
118.93/119.01 c 119s|760000 |192857 | 1738k| 2.3 | 148M| 45 | 6 | 50 |3987 | 50 | 17 | 22 | 403k|2555 | 0.000000e+00 | -- | Inf
120.53/120.68 c 121s|770000 |194889 | 1761k| 2.3 | 149M| 45 | 6 | 50 |4173 | 50 | 17 | 22 | 408k|2569 | 0.000000e+00 | -- | Inf
122.33/122.40 c 122s|780000 |196890 | 1784k| 2.3 | 151M| 45 | - | 50 |3847 | 50 | 17 | 22 | 414k|2576 | 0.000000e+00 | -- | Inf
123.83/123.93 c 124s|790000 |199703 | 1807k| 2.3 | 153M| 45 | 6 | 50 |5012 | 50 | 17 | 22 | 419k|2587 | 0.000000e+00 | -- | Inf
125.63/125.73 c 126s|800000 |201760 | 1829k| 2.3 | 155M| 45 | 6 | 50 |3410 | 50 | 17 | 22 | 425k|2597 | 0.000000e+00 | -- | Inf
127.23/127.36 c 127s|810000 |203949 | 1851k| 2.3 | 157M| 45 | 6 | 50 |3787 | 50 | 17 | 22 | 430k|2635 | 0.000000e+00 | -- | Inf
128.83/128.97 c 129s|820000 |206225 | 1873k| 2.3 | 158M| 45 | 6 | 50 |4412 | 50 | 17 | 22 | 436k|2641 | 0.000000e+00 | -- | Inf
130.43/130.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
130.43/130.58 c 131s|830000 |208643 | 1895k| 2.3 | 160M| 45 | - | 50 |4681 | 50 | 17 | 22 | 441k|2656 | 0.000000e+00 | -- | Inf
132.13/132.25 c 132s|840000 |210898 | 1918k| 2.3 | 162M| 45 | 6 | 50 |3324 | 50 | 17 | 22 | 446k|2677 | 0.000000e+00 | -- | Inf
133.73/133.87 c 134s|850000 |213029 | 1940k| 2.3 | 164M| 45 | 6 | 50 |3861 | 50 | 17 | 22 | 452k|2696 | 0.000000e+00 | -- | Inf
135.33/135.42 c 135s|860000 |215340 | 1963k| 2.3 | 166M| 45 | 6 | 50 |4820 | 50 | 17 | 22 | 457k|2715 | 0.000000e+00 | -- | Inf
136.83/136.97 c 137s|870000 |218028 | 1986k| 2.3 | 168M| 45 | 6 | 50 |6256 | 50 | 17 | 22 | 462k|2735 | 0.000000e+00 | -- | Inf
138.63/138.75 c 139s|880000 |220343 | 2008k| 2.3 | 169M| 45 | - | 50 |4524 | 50 | 17 | 22 | 468k|2754 | 0.000000e+00 | -- | Inf
140.33/140.45 c 140s|890000 |222410 | 2030k| 2.3 | 171M| 45 | 6 | 50 |3499 | 50 | 17 | 22 | 473k|2772 | 0.000000e+00 | -- | Inf
142.03/142.13 c 142s|900000 |224445 | 2053k| 2.3 | 173M| 45 | - | 50 |3645 | 50 | 17 | 22 | 479k|2791 | 0.000000e+00 | -- | Inf
143.63/143.71 c 144s|910000 |226650 | 2076k| 2.3 | 175M| 45 | - | 50 |4334 | 50 | 17 | 22 | 484k|2801 | 0.000000e+00 | -- | Inf
145.34/145.44 c 145s|920000 |228697 | 2098k| 2.3 | 176M| 45 | 6 | 50 |3585 | 50 | 17 | 22 | 490k|2812 | 0.000000e+00 | -- | Inf
146.93/147.08 c 147s|930000 |230898 | 2121k| 2.3 | 178M| 45 | - | 50 |3794 | 50 | 17 | 22 | 495k|2832 | 0.000000e+00 | -- | Inf
148.63/148.72 c 149s|940000 |233113 | 2143k| 2.3 | 180M| 45 | 6 | 50 |4436 | 50 | 17 | 22 | 501k|2844 | 0.000000e+00 | -- | Inf
150.34/150.40 c 150s|950000 |235196 | 2165k| 2.3 | 182M| 45 | 6 | 50 |3448 | 50 | 17 | 22 | 506k|2862 | 0.000000e+00 | -- | Inf
151.94/152.00 c 152s|960000 |237539 | 2188k| 2.3 | 184M| 45 | - | 50 |3815 | 50 | 17 | 22 | 512k|2873 | 0.000000e+00 | -- | Inf
153.54/153.65 c 154s|970000 |239658 | 2211k| 2.3 | 185M| 45 | - | 50 |3935 | 50 | 17 | 22 | 517k|2887 | 0.000000e+00 | -- | Inf
155.24/155.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.24/155.35 c 155s|980000 |241684 | 2234k| 2.3 | 187M| 45 | 6 | 50 |3893 | 50 | 17 | 22 | 523k|2927 | 0.000000e+00 | -- | Inf
156.93/157.00 c 157s|990000 |243658 | 2256k| 2.3 | 189M| 45 | 6 | 50 |3816 | 50 | 17 | 22 | 529k|2928 | 0.000000e+00 | -- | Inf
158.53/158.65 c 159s| 1000k|245651 | 2278k| 2.3 | 191M| 45 | 6 | 50 |4044 | 50 | 17 | 22 | 534k|2947 | 0.000000e+00 | -- | Inf
160.03/160.20 c 160s| 1010k|248072 | 2300k| 2.3 | 193M| 45 | - | 50 |5489 | 50 | 17 | 22 | 540k|2961 | 0.000000e+00 | -- | Inf
161.83/161.96 c 162s| 1020k|250020 | 2322k| 2.3 | 194M| 45 | - | 50 |4027 | 50 | 17 | 22 | 545k|2980 | 0.000000e+00 | -- | Inf
163.53/163.67 c 164s| 1030k|251989 | 2345k| 2.3 | 196M| 45 | - | 50 |3830 | 50 | 17 | 22 | 551k|2995 | 0.000000e+00 | -- | Inf
165.24/165.35 c 165s| 1040k|254036 | 2368k| 2.3 | 198M| 45 | 6 | 50 |4222 | 50 | 17 | 22 | 556k|3014 | 0.000000e+00 | -- | Inf
166.93/167.07 c 167s| 1050k|255996 | 2391k| 2.3 | 199M| 45 | - | 50 |3696 | 50 | 17 | 22 | 562k|3028 | 0.000000e+00 | -- | Inf
168.63/168.71 c 169s| 1060k|258106 | 2414k| 2.3 | 201M| 45 | 6 | 50 |4616 | 50 | 17 | 22 | 568k|3050 | 0.000000e+00 | -- | Inf
170.35/170.46 c 170s| 1070k|260052 | 2437k| 2.3 | 203M| 45 | 6 | 50 |4127 | 50 | 17 | 22 | 573k|3069 | 0.000000e+00 | -- | Inf
172.04/172.11 c 172s| 1080k|262071 | 2459k| 2.3 | 205M| 45 | - | 50 |4545 | 50 | 17 | 22 | 579k|3090 | 0.000000e+00 | -- | Inf
173.75/173.84 c 174s| 1090k|263975 | 2481k| 2.3 | 207M| 45 | 6 | 50 |4505 | 50 | 17 | 22 | 585k|3108 | 0.000000e+00 | -- | Inf
175.33/175.48 c 175s| 1100k|266200 | 2503k| 2.3 | 208M| 45 | - | 50 |5001 | 0 | 0 | 22 | 590k|3127 | 0.000000e+00 | -- | Inf
177.05/177.17 c 177s| 1110k|268453 | 2526k| 2.3 | 210M| 45 | - | 50 |4936 | 50 | 17 | 22 | 595k|3148 | 0.000000e+00 | -- | Inf
178.74/178.86 c 179s| 1120k|270668 | 2547k| 2.3 | 212M| 45 | 6 | 50 |4277 | 50 | 17 | 22 | 601k|3162 | 0.000000e+00 | -- | Inf
180.25/180.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.25/180.40 c 180s| 1130k|273142 | 2570k| 2.3 | 214M| 45 | 6 | 50 |6070 | 50 | 17 | 22 | 606k|3243 | 0.000000e+00 | -- | Inf
182.03/182.10 c 182s| 1140k|275553 | 2592k| 2.3 | 216M| 45 | - | 50 |7359 | 50 | 17 | 22 | 611k|3243 | 0.000000e+00 | -- | Inf
183.94/184.03 c 184s| 1150k|277601 | 2615k| 2.3 | 217M| 45 | 6 | 50 |4577 | 50 | 17 | 22 | 616k|3243 | 0.000000e+00 | -- | Inf
185.75/185.81 c 186s| 1160k|279506 | 2637k| 2.3 | 219M| 45 | - | 50 |3861 | 50 | 17 | 22 | 622k|3252 | 0.000000e+00 | -- | Inf
187.33/187.47 c 187s| 1170k|281641 | 2659k| 2.3 | 221M| 45 | 6 | 50 |4096 | 50 | 17 | 22 | 627k|3262 | 0.000000e+00 | -- | Inf
189.05/189.16 c 189s| 1180k|283842 | 2681k| 2.3 | 222M| 45 | 6 | 50 |3569 | 50 | 17 | 22 | 633k|3268 | 0.000000e+00 | -- | Inf
190.63/190.77 c 191s| 1190k|286080 | 2703k| 2.3 | 224M| 45 | 6 | 50 |4256 | 50 | 17 | 22 | 638k|3281 | 0.000000e+00 | -- | Inf
192.35/192.46 c 192s| 1200k|288099 | 2726k| 2.3 | 226M| 45 | 6 | 50 |4120 | 50 | 17 | 22 | 644k|3290 | 0.000000e+00 | -- | Inf
194.14/194.20 c 194s| 1210k|290109 | 2748k| 2.3 | 228M| 45 | - | 50 |3698 | 50 | 17 | 22 | 650k|3303 | 0.000000e+00 | -- | Inf
195.75/195.87 c 196s| 1220k|292138 | 2771k| 2.3 | 230M| 45 | 6 | 50 |4433 | 50 | 17 | 22 | 655k|3316 | 0.000000e+00 | -- | Inf
197.53/197.61 c 198s| 1230k|294230 | 2793k| 2.3 | 231M| 45 | 6 | 50 |3645 | 50 | 17 | 22 | 661k|3317 | 0.000000e+00 | -- | Inf
199.13/199.23 c 199s| 1240k|296408 | 2816k| 2.3 | 233M| 45 | 6 | 50 |4849 | 50 | 17 | 22 | 666k|3330 | 0.000000e+00 | -- | Inf
200.93/201.00 c 201s| 1250k|298380 | 2838k| 2.3 | 235M| 45 | 6 | 50 |4114 | 50 | 17 | 22 | 672k|3340 | 0.000000e+00 | -- | Inf
202.43/202.59 c 203s| 1260k|300889 | 2861k| 2.3 | 237M| 45 | - | 50 |5449 | 50 | 17 | 22 | 677k|3350 | 0.000000e+00 | -- | Inf
204.13/204.22 c 204s| 1270k|303372 | 2882k| 2.3 | 239M| 45 | - | 50 |5565 | 50 | 17 | 22 | 682k|3362 | 0.000000e+00 | -- | Inf
205.83/205.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
205.83/205.95 c 206s| 1280k|305512 | 2905k| 2.3 | 240M| 45 | 6 | 50 |5187 | 50 | 17 | 22 | 687k|3379 | 0.000000e+00 | -- | Inf
207.54/207.68 c 208s| 1290k|307704 | 2928k| 2.3 | 242M| 45 | 6 | 50 |4708 | 50 | 17 | 22 | 693k|3391 | 0.000000e+00 | -- | Inf
209.33/209.42 c 209s| 1300k|309757 | 2951k| 2.3 | 244M| 45 | 6 | 50 |4495 | 50 | 17 | 22 | 698k|3402 | 0.000000e+00 | -- | Inf
211.05/211.12 c 211s| 1310k|311797 | 2973k| 2.3 | 246M| 45 | 6 | 50 |4657 | 50 | 17 | 22 | 704k|3413 | 0.000000e+00 | -- | Inf
212.74/212.88 c 213s| 1320k|313684 | 2996k| 2.3 | 247M| 45 | 6 | 50 |4050 | 50 | 17 | 22 | 710k|3427 | 0.000000e+00 | -- | Inf
214.45/214.57 c 215s| 1330k|315733 | 3019k| 2.3 | 249M| 45 | 6 | 50 |3944 | 50 | 17 | 22 | 715k|3443 | 0.000000e+00 | -- | Inf
216.04/216.19 c 216s| 1340k|317848 | 3041k| 2.3 | 251M| 45 | 6 | 50 |4741 | 50 | 17 | 22 | 721k|3455 | 0.000000e+00 | -- | Inf
217.75/217.84 c 218s| 1350k|320222 | 3063k| 2.3 | 253M| 45 | - | 50 |4432 | 50 | 17 | 22 | 726k|3465 | 0.000000e+00 | -- | Inf
219.34/219.44 c 219s| 1360k|322564 | 3085k| 2.3 | 254M| 45 | 6 | 50 |5068 | 50 | 17 | 22 | 731k|3484 | 0.000000e+00 | -- | Inf
221.05/221.17 c 221s| 1370k|324630 | 3108k| 2.3 | 256M| 45 | 6 | 50 |4593 | 50 | 17 | 22 | 737k|3503 | 0.000000e+00 | -- | Inf
222.74/222.85 c 223s| 1380k|326746 | 3131k| 2.3 | 258M| 45 | - | 50 |4608 | 0 | 0 | 22 | 742k|3523 | 0.000000e+00 | -- | Inf
224.43/224.57 c 225s| 1390k|328723 | 3153k| 2.3 | 260M| 45 | 6 | 50 |4678 | 50 | 17 | 22 | 748k|3539 | 0.000000e+00 | -- | Inf
226.23/226.31 c 226s| 1400k|330758 | 3176k| 2.3 | 261M| 45 | 6 | 50 |4387 | 50 | 17 | 22 | 753k|3571 | 0.000000e+00 | -- | Inf
227.94/228.05 c 228s| 1410k|332739 | 3199k| 2.3 | 263M| 45 | 6 | 50 |4535 | 50 | 17 | 22 | 759k|3578 | 0.000000e+00 | -- | Inf
229.75/229.81 c 230s| 1420k|334632 | 3221k| 2.3 | 265M| 45 | - | 50 |3892 | 50 | 17 | 22 | 764k|3611 | 0.000000e+00 | -- | Inf
231.34/231.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.34/231.43 c 231s| 1430k|336882 | 3243k| 2.3 | 266M| 45 | - | 50 |4492 | 50 | 17 | 22 | 770k|3613 | 0.000000e+00 | -- | Inf
233.05/233.18 c 233s| 1440k|339041 | 3266k| 2.3 | 268M| 45 | 6 | 50 |4329 | 50 | 17 | 22 | 775k|3623 | 0.000000e+00 | -- | Inf
234.84/234.92 c 235s| 1450k|340889 | 3288k| 2.3 | 270M| 45 | 6 | 50 |4114 | 50 | 17 | 22 | 781k|3640 | 0.000000e+00 | -- | Inf
236.45/236.58 c 237s| 1460k|342923 | 3311k| 2.3 | 272M| 45 | 6 | 50 |5136 | 50 | 17 | 22 | 787k|3656 | 0.000000e+00 | -- | Inf
238.24/238.32 c 238s| 1470k|344941 | 3334k| 2.3 | 274M| 45 | - | 50 |5088 | 50 | 17 | 22 | 792k|3669 | 0.000000e+00 | -- | Inf
240.04/240.11 c 240s| 1480k|346983 | 3357k| 2.3 | 275M| 45 | - | 50 |4671 | 50 | 17 | 22 | 798k|3688 | 0.000000e+00 | -- | Inf
241.74/241.84 c 242s| 1490k|348830 | 3379k| 2.3 | 277M| 45 | 6 | 50 |5270 | 50 | 17 | 22 | 803k|3697 | 0.000000e+00 | -- | Inf
243.53/243.68 c 244s| 1500k|350670 | 3401k| 2.3 | 278M| 45 | - | 50 |4325 | 50 | 17 | 22 | 809k|3715 | 0.000000e+00 | -- | Inf
245.15/245.28 c 245s| 1510k|353038 | 3425k| 2.3 | 280M| 45 | 6 | 50 |4314 | 50 | 17 | 22 | 815k|3721 | 0.000000e+00 | -- | Inf
246.74/246.83 c 247s| 1520k|355681 | 3447k| 2.3 | 282M| 45 | - | 50 |5689 | 50 | 17 | 22 | 820k|3735 | 0.000000e+00 | -- | Inf
248.33/248.47 c 248s| 1530k|358682 | 3468k| 2.3 | 285M| 45 | 6 | 50 |6712 | 50 | 17 | 22 | 824k|3744 | 0.000000e+00 | -- | Inf
250.34/250.40 c 250s| 1540k|360699 | 3491k| 2.3 | 286M| 45 | 6 | 50 |4782 | 50 | 17 | 22 | 830k|3766 | 0.000000e+00 | -- | Inf
252.03/252.10 c 252s| 1550k|362967 | 3513k| 2.3 | 288M| 45 | - | 50 |5176 | 50 | 17 | 22 | 835k|3779 | 0.000000e+00 | -- | Inf
253.84/253.91 c 254s| 1560k|364752 | 3536k| 2.3 | 290M| 45 | - | 50 |5687 | 50 | 17 | 22 | 841k|3790 | 0.000000e+00 | -- | Inf
255.73/255.81 c 256s| 1570k|366583 | 3558k| 2.3 | 291M| 45 | - | 50 |4265 | 50 | 17 | 22 | 847k|3804 | 0.000000e+00 | -- | Inf
257.44/257.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
257.44/257.52 c 258s| 1580k|368895 | 3581k| 2.3 | 293M| 45 | - | 50 |4357 | 50 | 17 | 22 | 852k|3824 | 0.000000e+00 | -- | Inf
259.13/259.25 c 259s| 1590k|370909 | 3603k| 2.3 | 295M| 45 | - | 50 |5434 | 50 | 17 | 22 | 858k|3834 | 0.000000e+00 | -- | Inf
260.94/261.05 c 261s| 1600k|373021 | 3626k| 2.3 | 296M| 45 | 6 | 50 |5191 | 50 | 17 | 22 | 864k|3847 | 0.000000e+00 | -- | Inf
262.75/262.84 c 263s| 1610k|375213 | 3649k| 2.3 | 298M| 45 | - | 50 |5239 | 50 | 17 | 22 | 869k|3863 | 0.000000e+00 | -- | Inf
264.63/264.74 c 265s| 1620k|376897 | 3672k| 2.3 | 300M| 45 | 6 | 50 |4191 | 50 | 17 | 22 | 875k|3875 | 0.000000e+00 | -- | Inf
266.34/266.41 c 266s| 1630k|379221 | 3694k| 2.3 | 302M| 45 | - | 50 |5098 | 50 | 17 | 22 | 880k|3886 | 0.000000e+00 | -- | Inf
268.04/268.14 c 268s| 1640k|381267 | 3716k| 2.3 | 303M| 45 | - | 50 |4856 | 50 | 17 | 22 | 886k|3901 | 0.000000e+00 | -- | Inf
269.74/269.84 c 270s| 1650k|383359 | 3739k| 2.3 | 305M| 45 | - | 50 |5500 | 50 | 17 | 22 | 891k|3912 | 0.000000e+00 | -- | Inf
271.55/271.62 c 272s| 1660k|385500 | 3762k| 2.3 | 307M| 45 | - | 50 |5474 | 50 | 17 | 22 | 897k|3917 | 0.000000e+00 | -- | Inf
273.34/273.41 c 273s| 1670k|387525 | 3785k| 2.3 | 309M| 45 | 6 | 50 |5293 | 50 | 17 | 22 | 902k|3925 | 0.000000e+00 | -- | Inf
275.13/275.20 c 275s| 1680k|389540 | 3807k| 2.3 | 311M| 45 | - | 50 |5820 | 50 | 17 | 22 | 908k|3933 | 0.000000e+00 | -- | Inf
276.93/277.06 c 277s| 1690k|391488 | 3829k| 2.3 | 312M| 45 | 6 | 50 |5934 | 50 | 17 | 22 | 913k|3940 | 0.000000e+00 | -- | Inf
278.73/278.87 c 279s| 1700k|393490 | 3852k| 2.3 | 314M| 45 | 6 | 50 |5557 | 50 | 17 | 22 | 919k|3954 | 0.000000e+00 | -- | Inf
280.64/280.74 c 281s| 1710k|395301 | 3875k| 2.3 | 315M| 45 | - | 50 |5225 | 50 | 17 | 22 | 925k|3976 | 0.000000e+00 | -- | Inf
282.43/282.58 c 283s| 1720k|397099 | 3898k| 2.3 | 317M| 45 | - | 50 |4950 | 50 | 17 | 22 | 931k|3986 | 0.000000e+00 | -- | Inf
284.34/284.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
284.34/284.43 c 284s| 1730k|398960 | 3921k| 2.3 | 318M| 45 | - | 50 |3854 | 0 | 0 | 22 | 936k|3994 | 0.000000e+00 | -- | Inf
286.03/286.10 c 286s| 1740k|401032 | 3943k| 2.3 | 320M| 45 | 6 | 50 |4388 | 50 | 17 | 22 | 942k|4013 | 0.000000e+00 | -- | Inf
287.74/287.88 c 288s| 1750k|402792 | 3965k| 2.3 | 322M| 45 | 6 | 50 |4141 | 50 | 17 | 22 | 948k|4021 | 0.000000e+00 | -- | Inf
289.53/289.60 c 290s| 1760k|404694 | 3988k| 2.3 | 324M| 45 | 6 | 50 |4418 | 50 | 17 | 22 | 953k|4035 | 0.000000e+00 | -- | Inf
291.24/291.38 c 291s| 1770k|406460 | 4011k| 2.3 | 325M| 45 | 6 | 50 |4784 | 50 | 17 | 22 | 959k|4041 | 0.000000e+00 | -- | Inf
293.03/293.19 c 293s| 1780k|408473 | 4033k| 2.3 | 327M| 45 | 6 | 50 |4568 | 50 | 17 | 22 | 965k|4053 | 0.000000e+00 | -- | Inf
294.65/294.81 c 295s| 1790k|410689 | 4055k| 2.3 | 329M| 45 | 6 | 50 |5839 | 50 | 17 | 22 | 970k|4058 | 0.000000e+00 | -- | Inf
296.44/296.55 c 297s| 1800k|412707 | 4077k| 2.3 | 331M| 45 | - | 50 |5164 | 50 | 17 | 22 | 975k|4066 | 0.000000e+00 | -- | Inf
298.24/298.37 c 298s| 1810k|414681 | 4099k| 2.3 | 332M| 45 | - | 50 |4754 | 50 | 17 | 22 | 981k|4076 | 0.000000e+00 | -- | Inf
300.04/300.20 c 300s| 1820k|416598 | 4122k| 2.3 | 334M| 45 | 6 | 50 |4687 | 50 | 17 | 22 | 987k|4090 | 0.000000e+00 | -- | Inf
301.94/302.07 c 302s| 1830k|418245 | 4145k| 2.3 | 335M| 45 | - | 50 |4384 | 50 | 17 | 22 | 992k|4106 | 0.000000e+00 | -- | Inf
303.64/303.70 c 304s| 1840k|420855 | 4167k| 2.3 | 337M| 45 | 6 | 50 |4958 | 50 | 17 | 22 | 997k|4113 | 0.000000e+00 | -- | Inf
305.13/305.27 c 305s| 1850k|423759 | 4189k| 2.3 | 340M| 45 | - | 50 |5812 | 0 | 0 | 22 |1002k|4123 | 0.000000e+00 | -- | Inf
306.93/307.02 c 307s| 1860k|426025 | 4211k| 2.3 | 341M| 45 | - | 50 |6302 | 0 | 0 | 22 |1007k|4136 | 0.000000e+00 | -- | Inf
308.74/308.85 c 309s| 1870k|428260 | 4233k| 2.3 | 343M| 45 | 6 | 50 |6386 | 50 | 17 | 22 |1012k|4144 | 0.000000e+00 | -- | Inf
310.64/310.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
310.64/310.74 c 311s| 1880k|430342 | 4255k| 2.3 | 345M| 45 | - | 50 |5545 | 50 | 17 | 22 |1018k|4152 | 0.000000e+00 | -- | Inf
312.35/312.47 c 312s| 1890k|432507 | 4276k| 2.3 | 347M| 45 | - | 50 |7145 | 50 | 17 | 22 |1023k|4164 | 0.000000e+00 | -- | Inf
314.14/314.26 c 314s| 1900k|435016 | 4299k| 2.3 | 349M| 45 | 6 | 50 |7015 | 50 | 17 | 22 |1028k|4175 | 0.000000e+00 | -- | Inf
316.14/316.22 c 316s| 1910k|436898 | 4321k| 2.3 | 350M| 45 | 6 | 50 |5847 | 50 | 17 | 22 |1033k|4186 | 0.000000e+00 | -- | Inf
318.04/318.17 c 318s| 1920k|438897 | 4343k| 2.3 | 351M| 45 | - | 50 |4788 | 50 | 17 | 22 |1039k|4203 | 0.000000e+00 | -- | Inf
319.95/320.06 c 320s| 1930k|440730 | 4366k| 2.3 | 353M| 45 | - | 50 |4565 | 50 | 17 | 22 |1044k|4212 | 0.000000e+00 | -- | Inf
321.74/321.82 c 322s| 1940k|442818 | 4388k| 2.3 | 355M| 45 | 6 | 50 |4956 | 50 | 17 | 22 |1050k|4226 | 0.000000e+00 | -- | Inf
323.36/323.44 c 323s| 1950k|445706 | 4412k| 2.3 | 357M| 45 | - | 50 |6615 | 50 | 17 | 22 |1055k|4240 | 0.000000e+00 | -- | Inf
325.13/325.23 c 325s| 1960k|448061 | 4435k| 2.3 | 359M| 45 | 6 | 50 |7506 | 50 | 17 | 22 |1060k|4255 | 0.000000e+00 | -- | Inf
327.04/327.14 c 327s| 1970k|450304 | 4458k| 2.3 | 361M| 45 | - | 50 |7378 | 50 | 17 | 22 |1065k|4263 | 0.000000e+00 | -- | Inf
328.94/329.05 c 329s| 1980k|452494 | 4480k| 2.3 | 362M| 45 | - | 50 |6313 | 50 | 17 | 22 |1070k|4274 | 0.000000e+00 | -- | Inf
330.83/330.99 c 331s| 1990k|454475 | 4503k| 2.3 | 364M| 45 | - | 50 |5264 | 50 | 17 | 22 |1076k|4287 | 0.000000e+00 | -- | Inf
332.74/332.81 c 333s| 2000k|456552 | 4526k| 2.3 | 366M| 45 | - | 50 |5653 | 50 | 17 | 22 |1081k|4295 | 0.000000e+00 | -- | Inf
334.54/334.66 c 335s| 2010k|458584 | 4548k| 2.3 | 367M| 45 | 6 | 50 |4923 | 50 | 17 | 22 |1086k|4306 | 0.000000e+00 | -- | Inf
336.34/336.51 c 337s| 2020k|460312 | 4571k| 2.3 | 369M| 45 | 6 | 50 |4905 | 50 | 17 | 22 |1092k|4320 | 0.000000e+00 | -- | Inf
338.14/338.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
338.14/338.29 c 338s| 2030k|462284 | 4594k| 2.3 | 370M| 45 | - | 50 |5099 | 50 | 17 | 22 |1098k|4333 | 0.000000e+00 | -- | Inf
339.94/340.06 c 340s| 2040k|464434 | 4617k| 2.3 | 372M| 45 | - | 50 |4999 | 50 | 17 | 22 |1103k|4347 | 0.000000e+00 | -- | Inf
341.74/341.85 c 342s| 2050k|466273 | 4639k| 2.3 | 374M| 45 | - | 50 |5054 | 0 | 0 | 22 |1109k|4359 | 0.000000e+00 | -- | Inf
343.54/343.62 c 344s| 2060k|468255 | 4661k| 2.3 | 376M| 45 | - | 50 |5431 | 50 | 17 | 22 |1114k|4371 | 0.000000e+00 | -- | Inf
345.35/345.46 c 345s| 2070k|470340 | 4684k| 2.3 | 377M| 45 | - | 50 |6247 | 50 | 17 | 22 |1120k|4382 | 0.000000e+00 | -- | Inf
347.24/347.38 c 347s| 2080k|472206 | 4707k| 2.3 | 379M| 45 | 6 | 50 |5052 | 50 | 17 | 22 |1125k|4397 | 0.000000e+00 | -- | Inf
349.14/349.27 c 349s| 2090k|473992 | 4729k| 2.3 | 380M| 45 | 6 | 50 |4292 | 50 | 17 | 22 |1131k|4412 | 0.000000e+00 | -- | Inf
350.94/351.09 c 351s| 2100k|475769 | 4752k| 2.3 | 382M| 45 | 6 | 50 |4407 | 50 | 17 | 22 |1137k|4423 | 0.000000e+00 | -- | Inf
352.74/352.90 c 353s| 2110k|477626 | 4774k| 2.3 | 383M| 45 | 6 | 50 |4878 | 50 | 17 | 22 |1142k|4431 | 0.000000e+00 | -- | Inf
354.54/354.69 c 355s| 2120k|479613 | 4796k| 2.3 | 385M| 45 | - | 50 |5262 | 50 | 17 | 22 |1148k|4445 | 0.000000e+00 | -- | Inf
356.44/356.53 c 357s| 2130k|481426 | 4819k| 2.3 | 387M| 45 | - | 50 |5451 | 50 | 17 | 22 |1154k|4456 | 0.000000e+00 | -- | Inf
358.24/358.33 c 358s| 2140k|483383 | 4841k| 2.3 | 389M| 45 | 6 | 50 |4926 | 50 | 17 | 22 |1159k|4475 | 0.000000e+00 | -- | Inf
360.04/360.19 c 360s| 2150k|485136 | 4864k| 2.3 | 390M| 45 | 6 | 50 |4661 | 50 | 17 | 22 |1165k|4485 | 0.000000e+00 | -- | Inf
361.94/362.06 c 362s| 2160k|486879 | 4886k| 2.3 | 392M| 45 | 6 | 50 |4521 | 50 | 17 | 22 |1171k|4500 | 0.000000e+00 | -- | Inf
363.74/363.84 c 364s| 2170k|488843 | 4909k| 2.3 | 394M| 45 | 6 | 50 |4964 | 50 | 17 | 22 |1177k|4510 | 0.000000e+00 | -- | Inf
365.54/365.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
365.54/365.66 c 366s| 2180k|490666 | 4932k| 2.3 | 395M| 45 | 6 | 50 |4985 | 50 | 17 | 22 |1182k|4519 | 0.000000e+00 | -- | Inf
367.36/367.48 c 367s| 2190k|492551 | 4955k| 2.3 | 397M| 45 | 6 | 50 |5716 | 50 | 17 | 22 |1188k|4531 | 0.000000e+00 | -- | Inf
369.14/369.29 c 369s| 2200k|494648 | 4977k| 2.3 | 399M| 45 | 6 | 50 |6239 | 50 | 17 | 22 |1193k|4543 | 0.000000e+00 | -- | Inf
371.14/371.24 c 371s| 2210k|496327 | 4999k| 2.3 | 400M| 45 | - | 50 |4614 | 50 | 17 | 22 |1199k|4551 | 0.000000e+00 | -- | Inf
372.85/372.94 c 373s| 2220k|498293 | 5022k| 2.3 | 402M| 45 | 6 | 50 |5028 | 50 | 17 | 22 |1204k|4563 | 0.000000e+00 | -- | Inf
374.74/374.84 c 375s| 2230k|500035 | 5045k| 2.3 | 403M| 45 | 6 | 50 |4672 | 50 | 17 | 22 |1210k|4576 | 0.000000e+00 | -- | Inf
376.54/376.69 c 377s| 2240k|501955 | 5067k| 2.3 | 405M| 45 | 6 | 50 |4876 | 50 | 17 | 22 |1216k|4585 | 0.000000e+00 | -- | Inf
378.44/378.55 c 379s| 2250k|503751 | 5090k| 2.3 | 407M| 45 | 6 | 50 |5247 | 50 | 17 | 22 |1221k|4596 | 0.000000e+00 | -- | Inf
380.24/380.34 c 380s| 2260k|505812 | 5113k| 2.3 | 409M| 45 | 6 | 50 |5638 | 50 | 17 | 22 |1227k|4608 | 0.000000e+00 | -- | Inf
382.04/382.16 c 382s| 2270k|507859 | 5136k| 2.3 | 410M| 45 | 6 | 50 |4739 | 50 | 17 | 22 |1232k|4621 | 0.000000e+00 | -- | Inf
383.86/383.99 c 384s| 2280k|509712 | 5160k| 2.3 | 412M| 45 | 6 | 50 |4605 | 50 | 17 | 22 |1238k|4632 | 0.000000e+00 | -- | Inf
385.64/385.76 c 386s| 2290k|511946 | 5182k| 2.3 | 413M| 45 | 6 | 50 |4374 | 50 | 17 | 22 |1243k|4641 | 0.000000e+00 | -- | Inf
387.34/387.45 c 387s| 2300k|514208 | 5205k| 2.3 | 415M| 45 | 6 | 50 |5353 | 50 | 17 | 22 |1248k|4649 | 0.000000e+00 | -- | Inf
389.14/389.30 c 389s| 2310k|515963 | 5228k| 2.3 | 417M| 45 | 6 | 50 |5713 | 50 | 17 | 22 |1254k|4663 | 0.000000e+00 | -- | Inf
391.04/391.12 c 391s| 2320k|518029 | 5250k| 2.3 | 419M| 45 | 6 | 50 |5399 | 50 | 17 | 22 |1259k|4672 | 0.000000e+00 | -- | Inf
392.84/392.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
392.84/392.91 c 393s| 2330k|520003 | 5274k| 2.3 | 421M| 45 | 6 | 50 |6000 | 50 | 17 | 22 |1265k|4683 | 0.000000e+00 | -- | Inf
394.64/394.77 c 395s| 2340k|522225 | 5297k| 2.3 | 422M| 45 | 6 | 50 |5664 | 50 | 17 | 22 |1270k|4694 | 0.000000e+00 | -- | Inf
396.24/396.38 c 396s| 2350k|525591 | 5320k| 2.3 | 425M| 45 | - | 50 |7184 | 50 | 17 | 22 |1275k|4702 | 0.000000e+00 | -- | Inf
398.24/398.30 c 398s| 2360k|527872 | 5342k| 2.3 | 427M| 45 | 6 | 50 |7498 | 50 | 17 | 22 |1280k|4710 | 0.000000e+00 | -- | Inf
400.14/400.27 c 400s| 2370k|530036 | 5365k| 2.3 | 429M| 45 | 6 | 50 |8268 | 50 | 17 | 22 |1285k|4720 | 0.000000e+00 | -- | Inf
402.24/402.30 c 402s| 2380k|532206 | 5387k| 2.3 | 430M| 45 | - | 50 |8343 | 50 | 17 | 22 |1290k|4734 | 0.000000e+00 | -- | Inf
404.14/404.26 c 404s| 2390k|534623 | 5410k| 2.3 | 432M| 45 | - | 50 |9277 | 50 | 17 | 22 |1295k|4742 | 0.000000e+00 | -- | Inf
406.35/406.40 c 406s| 2400k|536898 | 5433k| 2.3 | 434M| 45 | - | 50 |9050 | 50 | 17 | 22 |1300k|4751 | 0.000000e+00 | -- | Inf
408.44/408.52 c 409s| 2410k|539144 | 5455k| 2.3 | 435M| 45 | 6 | 50 |6852 | 50 | 17 | 22 |1306k|4757 | 0.000000e+00 | -- | Inf
410.34/410.43 c 410s| 2420k|541218 | 5477k| 2.3 | 437M| 45 | 6 | 50 |5931 | 50 | 17 | 22 |1311k|4767 | 0.000000e+00 | -- | Inf
412.35/412.44 c 412s| 2430k|542930 | 5501k| 2.3 | 438M| 45 | 6 | 50 |5169 | 50 | 17 | 22 |1317k|4777 | 0.000000e+00 | -- | Inf
414.14/414.28 c 414s| 2440k|544975 | 5523k| 2.3 | 440M| 45 | 6 | 50 |5268 | 50 | 17 | 22 |1322k|4789 | 0.000000e+00 | -- | Inf
415.94/416.06 c 416s| 2450k|546887 | 5547k| 2.3 | 442M| 45 | 6 | 50 |6451 | 50 | 17 | 22 |1328k|4800 | 0.000000e+00 | -- | Inf
418.04/418.11 c 418s| 2460k|548576 | 5569k| 2.3 | 443M| 45 | - | 50 |4795 | 50 | 17 | 22 |1334k|4811 | 0.000000e+00 | -- | Inf
419.84/419.99 c 420s| 2470k|550375 | 5592k| 2.3 | 445M| 45 | 6 | 50 |4648 | 50 | 17 | 22 |1339k|4827 | 0.000000e+00 | -- | Inf
421.64/421.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
421.64/421.76 c 422s| 2480k|552489 | 5614k| 2.3 | 447M| 45 | 6 | 50 |5543 | 50 | 17 | 22 |1345k|4839 | 0.000000e+00 | -- | Inf
423.64/423.73 c 424s| 2490k|554285 | 5636k| 2.3 | 448M| 45 | 6 | 50 |5087 | 50 | 17 | 22 |1350k|4849 | 0.000000e+00 | -- | Inf
425.44/425.53 c 426s| 2500k|556109 | 5659k| 2.3 | 450M| 45 | - | 50 |6082 | 0 | 0 | 22 |1356k|4860 | 0.000000e+00 | -- | Inf
427.34/427.43 c 427s| 2510k|557909 | 5681k| 2.3 | 452M| 45 | 6 | 50 |6275 | 50 | 17 | 22 |1362k|4870 | 0.000000e+00 | -- | Inf
429.34/429.43 c 429s| 2520k|559703 | 5704k| 2.3 | 453M| 45 | 6 | 50 |5213 | 50 | 17 | 22 |1367k|4898 | 0.000000e+00 | -- | Inf
431.25/431.30 c 431s| 2530k|561478 | 5726k| 2.3 | 455M| 45 | 6 | 50 |5661 | 50 | 17 | 22 |1373k|4898 | 0.000000e+00 | -- | Inf
433.14/433.20 c 433s| 2540k|563295 | 5749k| 2.3 | 456M| 45 | - | 50 |5464 | 50 | 17 | 22 |1379k|4905 | 0.000000e+00 | -- | Inf
434.94/435.03 c 435s| 2550k|565426 | 5772k| 2.3 | 458M| 45 | - | 50 |6032 | 0 | 0 | 22 |1384k|4913 | 0.000000e+00 | -- | Inf
436.85/436.90 c 437s| 2560k|567345 | 5795k| 2.3 | 460M| 45 | 6 | 50 |6079 | 50 | 17 | 22 |1389k|4921 | 0.000000e+00 | -- | Inf
438.75/438.86 c 439s| 2570k|569188 | 5817k| 2.3 | 461M| 45 | 6 | 50 |5501 | 50 | 17 | 22 |1395k|4930 | 0.000000e+00 | -- | Inf
440.74/440.82 c 441s| 2580k|570708 | 5840k| 2.3 | 463M| 45 | 6 | 50 |5284 | 50 | 17 | 22 |1401k|4937 | 0.000000e+00 | -- | Inf
442.54/442.67 c 443s| 2590k|572448 | 5862k| 2.3 | 464M| 45 | 6 | 50 |5723 | 50 | 17 | 22 |1407k|4946 | 0.000000e+00 | -- | Inf
444.26/444.40 c 444s| 2600k|574516 | 5884k| 2.3 | 466M| 45 | 6 | 50 |7106 | 50 | 17 | 22 |1412k|4949 | 0.000000e+00 | -- | Inf
446.35/446.41 c 446s| 2610k|576288 | 5907k| 2.3 | 468M| 45 | 6 | 50 |5609 | 50 | 17 | 22 |1418k|4967 | 0.000000e+00 | -- | Inf
448.24/448.39 c 448s| 2620k|578036 | 5930k| 2.3 | 469M| 45 | 6 | 50 |4916 | 50 | 17 | 22 |1424k|4979 | 0.000000e+00 | -- | Inf
450.14/450.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
450.14/450.20 c 450s| 2630k|579932 | 5952k| 2.3 | 471M| 45 | - | 50 |5684 | 50 | 17 | 22 |1429k|4991 | 0.000000e+00 | -- | Inf
452.06/452.13 c 452s| 2640k|581514 | 5974k| 2.3 | 473M| 45 | - | 50 |5566 | 50 | 17 | 22 |1435k|5004 | 0.000000e+00 | -- | Inf
453.84/453.98 c 454s| 2650k|583429 | 5996k| 2.3 | 474M| 45 | 6 | 50 |6019 | 50 | 17 | 22 |1440k|5009 | 0.000000e+00 | -- | Inf
455.94/456.03 c 456s| 2660k|585006 | 6019k| 2.3 | 476M| 45 | 6 | 50 |4633 | 50 | 17 | 22 |1446k|5018 | 0.000000e+00 | -- | Inf
457.64/457.78 c 458s| 2670k|586944 | 6041k| 2.3 | 478M| 45 | - | 50 |6205 | 50 | 17 | 22 |1452k|5027 | 0.000000e+00 | -- | Inf
459.54/459.65 c 460s| 2680k|588783 | 6063k| 2.3 | 479M| 45 | 6 | 50 |6063 | 50 | 17 | 22 |1457k|5034 | 0.000000e+00 | -- | Inf
461.44/461.52 c 462s| 2690k|590595 | 6086k| 2.3 | 481M| 45 | - | 50 |6601 | 50 | 17 | 22 |1463k|5042 | 0.000000e+00 | -- | Inf
463.25/463.37 c 463s| 2700k|592428 | 6108k| 2.3 | 483M| 45 | 6 | 50 |7036 | 50 | 17 | 22 |1469k|5053 | 0.000000e+00 | -- | Inf
465.26/465.36 c 465s| 2710k|594110 | 6131k| 2.3 | 484M| 45 | 6 | 50 |6131 | 50 | 17 | 22 |1475k|5064 | 0.000000e+00 | -- | Inf
467.14/467.20 c 467s| 2720k|596004 | 6154k| 2.3 | 486M| 45 | - | 50 |6573 | 50 | 17 | 22 |1480k|5073 | 0.000000e+00 | -- | Inf
469.15/469.21 c 469s| 2730k|597870 | 6177k| 2.3 | 487M| 45 | - | 50 |5608 | 50 | 17 | 22 |1486k|5082 | 0.000000e+00 | -- | Inf
471.04/471.16 c 471s| 2740k|599743 | 6200k| 2.3 | 489M| 45 | - | 50 |5341 | 50 | 17 | 22 |1492k|5092 | 0.000000e+00 | -- | Inf
473.04/473.12 c 473s| 2750k|601409 | 6223k| 2.3 | 490M| 45 | - | 50 |4729 | 0 | 0 | 22 |1498k|5101 | 0.000000e+00 | -- | Inf
474.74/474.87 c 475s| 2760k|603500 | 6246k| 2.3 | 492M| 45 | - | 50 |5957 | 0 | 0 | 22 |1503k|5108 | 0.000000e+00 | -- | Inf
476.54/476.63 c 477s| 2770k|605598 | 6267k| 2.3 | 494M| 45 | 6 | 50 |6986 | 50 | 17 | 22 |1508k|5114 | 0.000000e+00 | -- | Inf
478.46/478.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
478.46/478.59 c 479s| 2780k|607068 | 6289k| 2.3 | 496M| 45 | 6 | 50 |7320 | 50 | 17 | 22 |1514k|5121 | 0.000000e+00 | -- | Inf
480.45/480.57 c 481s| 2790k|608706 | 6310k| 2.3 | 497M| 45 | 6 | 50 |8009 | 50 | 17 | 22 |1520k|5131 | 0.000000e+00 | -- | Inf
482.54/482.67 c 483s| 2800k|610305 | 6332k| 2.3 | 498M| 45 | - | 50 |5371 | 0 | 0 | 22 |1525k|5144 | 0.000000e+00 | -- | Inf
484.55/484.63 c 485s| 2810k|612011 | 6355k| 2.3 | 500M| 45 | 6 | 50 |5289 | 50 | 17 | 22 |1531k|5150 | 0.000000e+00 | -- | Inf
486.44/486.59 c 487s| 2820k|613619 | 6378k| 2.3 | 501M| 45 | 6 | 50 |4401 | 50 | 17 | 22 |1537k|5157 | 0.000000e+00 | -- | Inf
488.14/488.31 c 488s| 2830k|615769 | 6400k| 2.3 | 503M| 45 | 6 | 50 |6183 | 50 | 17 | 22 |1542k|5169 | 0.000000e+00 | -- | Inf
490.05/490.17 c 490s| 2840k|617688 | 6422k| 2.3 | 505M| 45 | 6 | 50 |6289 | 50 | 17 | 22 |1548k|5182 | 0.000000e+00 | -- | Inf
492.04/492.16 c 492s| 2850k|619419 | 6444k| 2.3 | 506M| 45 | 6 | 50 |5326 | 50 | 17 | 22 |1553k|5188 | 0.000000e+00 | -- | Inf
494.05/494.14 c 494s| 2860k|621178 | 6467k| 2.3 | 507M| 45 | 6 | 50 |4816 | 50 | 17 | 22 |1559k|5196 | 0.000000e+00 | -- | Inf
495.84/495.96 c 496s| 2870k|623227 | 6490k| 2.3 | 509M| 45 | - | 50 |5872 | 50 | 17 | 22 |1565k|5213 | 0.000000e+00 | -- | Inf
497.64/497.77 c 498s| 2880k|625260 | 6513k| 2.3 | 511M| 45 | 6 | 50 |6196 | 50 | 17 | 22 |1570k|5221 | 0.000000e+00 | -- | Inf
499.64/499.76 c 500s| 2890k|627038 | 6535k| 2.3 | 513M| 45 | - | 50 |4965 | 50 | 17 | 22 |1576k|5226 | 0.000000e+00 | -- | Inf
501.56/501.65 c 502s| 2900k|628949 | 6557k| 2.3 | 514M| 45 | - | 50 |5050 | 50 | 17 | 22 |1581k|5237 | 0.000000e+00 | -- | Inf
503.55/503.61 c 504s| 2910k|630453 | 6581k| 2.3 | 516M| 45 | 6 | 50 |4659 | 50 | 17 | 22 |1587k|5247 | 0.000000e+00 | -- | Inf
505.44/505.52 c 506s| 2920k|632128 | 6603k| 2.3 | 517M| 45 | - | 50 |5146 | 50 | 17 | 22 |1593k|5258 | 0.000000e+00 | -- | Inf
507.35/507.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
507.35/507.42 c 507s| 2930k|633885 | 6626k| 2.3 | 519M| 45 | 6 | 50 |5225 | 50 | 17 | 22 |1598k|5264 | 0.000000e+00 | -- | Inf
509.26/509.36 c 509s| 2940k|635538 | 6648k| 2.3 | 521M| 45 | - | 50 |5325 | 50 | 17 | 22 |1604k|5270 | 0.000000e+00 | -- | Inf
511.15/511.28 c 511s| 2950k|637346 | 6671k| 2.3 | 522M| 45 | 6 | 50 |5749 | 50 | 17 | 22 |1610k|5283 | 0.000000e+00 | -- | Inf
513.04/513.19 c 513s| 2960k|639191 | 6693k| 2.3 | 524M| 45 | 6 | 50 |5210 | 50 | 17 | 22 |1616k|5295 | 0.000000e+00 | -- | Inf
515.05/515.16 c 515s| 2970k|640884 | 6715k| 2.3 | 525M| 45 | - | 50 |5003 | 0 | 0 | 22 |1621k|5303 | 0.000000e+00 | -- | Inf
517.05/517.15 c 517s| 2980k|642543 | 6737k| 2.3 | 527M| 45 | - | 50 |4975 | 50 | 17 | 22 |1627k|5310 | 0.000000e+00 | -- | Inf
518.95/519.04 c 519s| 2990k|644329 | 6760k| 2.3 | 529M| 45 | 6 | 50 |5793 | 50 | 17 | 22 |1632k|5318 | 0.000000e+00 | -- | Inf
520.95/521.07 c 521s| 3000k|646012 | 6782k| 2.3 | 530M| 45 | 6 | 50 |4724 | 50 | 17 | 22 |1638k|5333 | 0.000000e+00 | -- | Inf
522.85/522.99 c 523s| 3010k|647655 | 6805k| 2.3 | 532M| 45 | 6 | 50 |5117 | 50 | 17 | 22 |1644k|5341 | 0.000000e+00 | -- | Inf
524.85/524.99 c 525s| 3020k|649198 | 6828k| 2.3 | 533M| 45 | 6 | 50 |5365 | 50 | 17 | 22 |1650k|5346 | 0.000000e+00 | -- | Inf
526.76/526.91 c 527s| 3030k|651049 | 6850k| 2.3 | 535M| 45 | 6 | 50 |5487 | 50 | 17 | 22 |1655k|5353 | 0.000000e+00 | -- | Inf
528.44/528.54 c 529s| 3040k|653584 | 6872k| 2.3 | 537M| 45 | - | 50 |7558 | 50 | 17 | 22 |1660k|5358 | 0.000000e+00 | -- | Inf
530.24/530.38 c 530s| 3050k|655794 | 6893k| 2.3 | 539M| 45 | 6 | 50 |7994 | 50 | 17 | 22 |1666k|5362 | 0.000000e+00 | -- | Inf
532.36/532.49 c 532s| 3060k|657607 | 6914k| 2.3 | 541M| 45 | 6 | 50 |7569 | 50 | 17 | 22 |1671k|5364 | 0.000000e+00 | -- | Inf
534.35/534.43 c 534s| 3070k|659630 | 6935k| 2.3 | 542M| 45 | 6 | 50 |8541 | 50 | 17 | 22 |1676k|5370 | 0.000000e+00 | -- | Inf
536.25/536.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
536.25/536.36 c 536s| 3080k|662240 | 6956k| 2.3 | 545M| 45 | - | 50 |9800 | 0 | 0 | 22 |1681k|5372 | 0.000000e+00 | -- | Inf
538.35/538.46 c 538s| 3090k|664592 | 6977k| 2.3 | 546M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |1686k|5382 | 0.000000e+00 | -- | Inf
540.74/540.80 c 541s| 3100k|666215 | 6998k| 2.3 | 548M| 45 | 6 | 50 |8373 | 50 | 17 | 22 |1692k|5386 | 0.000000e+00 | -- | Inf
542.85/542.92 c 543s| 3110k|667923 | 7018k| 2.3 | 549M| 45 | 6 | 50 |8347 | 50 | 17 | 22 |1697k|5391 | 0.000000e+00 | -- | Inf
544.95/545.08 c 545s| 3120k|669652 | 7039k| 2.3 | 551M| 45 | 6 | 50 |8550 | 50 | 17 | 22 |1703k|5397 | 0.000000e+00 | -- | Inf
547.15/547.29 c 547s| 3130k|671419 | 7061k| 2.3 | 552M| 45 | 6 | 50 |7702 | 50 | 17 | 22 |1708k|5399 | 0.000000e+00 | -- | Inf
549.44/549.51 c 550s| 3140k|673114 | 7084k| 2.3 | 553M| 45 | 6 | 50 |5313 | 50 | 17 | 22 |1714k|5412 | 0.000000e+00 | -- | Inf
551.24/551.34 c 551s| 3150k|674986 | 7107k| 2.3 | 555M| 45 | 6 | 50 |6746 | 50 | 17 | 22 |1720k|5416 | 0.000000e+00 | -- | Inf
553.26/553.39 c 553s| 3160k|676930 | 7129k| 2.3 | 557M| 45 | - | 50 |6409 | 50 | 17 | 22 |1725k|5428 | 0.000000e+00 | -- | Inf
555.25/555.34 c 555s| 3170k|678894 | 7152k| 2.3 | 558M| 45 | 6 | 50 |6322 | 50 | 17 | 22 |1731k|5442 | 0.000000e+00 | -- | Inf
557.15/557.28 c 557s| 3180k|680740 | 7175k| 2.3 | 560M| 45 | 6 | 50 |6243 | 50 | 17 | 22 |1737k|5443 | 0.000000e+00 | -- | Inf
559.45/559.52 c 560s| 3190k|682136 | 7197k| 2.3 | 561M| 45 | 6 | 50 |4808 | 50 | 17 | 22 |1743k|5451 | 0.000000e+00 | -- | Inf
561.35/561.43 c 561s| 3200k|683773 | 7219k| 2.3 | 563M| 45 | - | 50 |6023 | 0 | 0 | 22 |1748k|5462 | 0.000000e+00 | -- | Inf
563.35/563.46 c 563s| 3210k|685368 | 7243k| 2.3 | 564M| 45 | 6 | 50 |5869 | 50 | 17 | 22 |1754k|5468 | 0.000000e+00 | -- | Inf
565.44/565.50 c 565s| 3220k|687033 | 7264k| 2.3 | 566M| 45 | - | 50 |5724 | 50 | 17 | 22 |1760k|5479 | 0.000000e+00 | -- | Inf
567.46/567.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
567.46/567.59 c 568s| 3230k|688748 | 7287k| 2.3 | 567M| 45 | 6 | 50 |5319 | 50 | 17 | 22 |1766k|5485 | 0.000000e+00 | -- | Inf
569.45/569.54 c 570s| 3240k|690441 | 7309k| 2.3 | 569M| 45 | 6 | 50 |5375 | 50 | 17 | 22 |1771k|5490 | 0.000000e+00 | -- | Inf
571.45/571.60 c 572s| 3250k|691996 | 7332k| 2.3 | 570M| 45 | 6 | 50 |4271 | 50 | 17 | 22 |1777k|5499 | 0.000000e+00 | -- | Inf
573.24/573.36 c 573s| 3260k|694228 | 7354k| 2.3 | 573M| 45 | 6 | 50 |6052 | 50 | 17 | 22 |1783k|5507 | 0.000000e+00 | -- | Inf
575.26/575.34 c 575s| 3270k|695837 | 7378k| 2.3 | 574M| 45 | 6 | 50 |6138 | 50 | 17 | 22 |1789k|5518 | 0.000000e+00 | -- | Inf
577.14/577.23 c 577s| 3280k|697993 | 7401k| 2.3 | 576M| 45 | - | 50 |7827 | 50 | 17 | 22 |1794k|5527 | 0.000000e+00 | -- | Inf
579.25/579.31 c 579s| 3290k|699882 | 7424k| 2.3 | 578M| 45 | 6 | 50 |6299 | 50 | 17 | 22 |1800k|5531 | 0.000000e+00 | -- | Inf
581.15/581.26 c 581s| 3300k|701710 | 7447k| 2.3 | 579M| 45 | - | 50 |6033 | 50 | 17 | 22 |1805k|5535 | 0.000000e+00 | -- | Inf
583.04/583.17 c 583s| 3310k|703538 | 7470k| 2.3 | 581M| 45 | - | 50 |6550 | 50 | 17 | 22 |1811k|5545 | 0.000000e+00 | -- | Inf
585.06/585.21 c 585s| 3320k|705049 | 7494k| 2.3 | 583M| 45 | 6 | 50 |7225 | 50 | 17 | 22 |1817k|5552 | 0.000000e+00 | -- | Inf
587.15/587.30 c 587s| 3330k|706956 | 7516k| 2.3 | 584M| 45 | 6 | 50 |6726 | 50 | 17 | 22 |1822k|5560 | 0.000000e+00 | -- | Inf
589.25/589.34 c 589s| 3340k|708700 | 7539k| 2.3 | 586M| 45 | - | 50 |6077 | 0 | 0 | 22 |1828k|5569 | 0.000000e+00 | -- | Inf
591.25/591.30 c 591s| 3350k|710410 | 7561k| 2.3 | 587M| 45 | 6 | 50 |5960 | 50 | 17 | 22 |1834k|5579 | 0.000000e+00 | -- | Inf
593.15/593.25 c 593s| 3360k|712108 | 7584k| 2.3 | 589M| 45 | 6 | 50 |6402 | 50 | 17 | 22 |1839k|5588 | 0.000000e+00 | -- | Inf
595.06/595.13 c 595s| 3370k|713874 | 7606k| 2.3 | 591M| 45 | - | 50 |8178 | 50 | 17 | 22 |1845k|5596 | 0.000000e+00 | -- | Inf
597.27/597.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
597.27/597.34 c 597s| 3380k|715571 | 7629k| 2.3 | 592M| 45 | 6 | 50 |5648 | 50 | 17 | 22 |1850k|5601 | 0.000000e+00 | -- | Inf
599.25/599.34 c 599s| 3390k|717459 | 7650k| 2.3 | 593M| 45 | 6 | 50 |5397 | 50 | 17 | 22 |1856k|5608 | 0.000000e+00 | -- | Inf
601.35/601.46 c 601s| 3400k|718935 | 7672k| 2.3 | 595M| 45 | - | 50 |5265 | 50 | 17 | 22 |1862k|5615 | 0.000000e+00 | -- | Inf
603.34/603.49 c 603s| 3410k|720573 | 7696k| 2.3 | 596M| 45 | 6 | 50 |5128 | 50 | 17 | 22 |1868k|5624 | 0.000000e+00 | -- | Inf
605.35/605.49 c 605s| 3420k|722293 | 7719k| 2.3 | 598M| 45 | - | 50 |5452 | 50 | 17 | 22 |1873k|5631 | 0.000000e+00 | -- | Inf
607.45/607.59 c 608s| 3430k|723882 | 7741k| 2.3 | 600M| 45 | - | 50 |4994 | 50 | 17 | 22 |1879k|5647 | 0.000000e+00 | -- | Inf
609.15/609.28 c 609s| 3440k|725924 | 7763k| 2.3 | 602M| 45 | - | 50 |7133 | 50 | 17 | 22 |1885k|5659 | 0.000000e+00 | -- | Inf
611.25/611.31 c 611s| 3450k|727718 | 7786k| 2.3 | 604M| 45 | 6 | 50 |7153 | 50 | 17 | 22 |1890k|5662 | 0.000000e+00 | -- | Inf
613.24/613.37 c 613s| 3460k|729336 | 7809k| 2.3 | 605M| 45 | 6 | 50 |7071 | 50 | 17 | 22 |1896k|5671 | 0.000000e+00 | -- | Inf
615.35/615.40 c 615s| 3470k|731067 | 7832k| 2.3 | 607M| 45 | - | 50 |7620 | 0 | 0 | 22 |1902k|5681 | 0.000000e+00 | -- | Inf
617.44/617.60 c 618s| 3480k|732712 | 7855k| 2.3 | 608M| 45 | 6 | 50 |5335 | 50 | 17 | 22 |1908k|5687 | 0.000000e+00 | -- | Inf
619.64/619.71 c 620s| 3490k|734271 | 7878k| 2.3 | 609M| 45 | 6 | 50 |5087 | 50 | 17 | 22 |1914k|5699 | 0.000000e+00 | -- | Inf
621.46/621.54 c 622s| 3500k|736329 | 7901k| 2.3 | 611M| 45 | 6 | 50 |6706 | 50 | 17 | 22 |1919k|5706 | 0.000000e+00 | -- | Inf
623.56/623.69 c 624s| 3510k|737709 | 7924k| 2.3 | 613M| 45 | 6 | 50 |7278 | 50 | 17 | 22 |1925k|5717 | 0.000000e+00 | -- | Inf
625.65/625.80 c 626s| 3520k|739569 | 7947k| 2.3 | 614M| 45 | 6 | 50 |6130 | 50 | 17 | 22 |1931k|5725 | 0.000000e+00 | -- | Inf
627.75/627.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
627.75/627.88 c 628s| 3530k|741302 | 7969k| 2.3 | 616M| 45 | 6 | 50 |5189 | 50 | 17 | 22 |1937k|5738 | 0.000000e+00 | -- | Inf
629.84/629.97 c 630s| 3540k|742816 | 7992k| 2.3 | 617M| 45 | 6 | 50 |5240 | 50 | 17 | 22 |1943k|5753 | 0.000000e+00 | -- | Inf
631.75/631.87 c 632s| 3550k|744490 | 8015k| 2.3 | 619M| 45 | 6 | 50 |6888 | 50 | 17 | 22 |1948k|5759 | 0.000000e+00 | -- | Inf
634.04/634.15 c 634s| 3560k|745798 | 8037k| 2.3 | 620M| 45 | - | 50 |4605 | 50 | 17 | 22 |1954k|5764 | 0.000000e+00 | -- | Inf
636.05/636.18 c 636s| 3570k|747268 | 8059k| 2.3 | 622M| 45 | 6 | 50 |5532 | 50 | 17 | 22 |1960k|5774 | 0.000000e+00 | -- | Inf
638.25/638.34 c 638s| 3580k|748523 | 8081k| 2.3 | 623M| 45 | 6 | 50 |4956 | 50 | 17 | 22 |1966k|5776 | 0.000000e+00 | -- | Inf
640.25/640.37 c 640s| 3590k|750026 | 8104k| 2.3 | 625M| 45 | - | 50 |4760 | 50 | 17 | 22 |1972k|5778 | 0.000000e+00 | -- | Inf
642.26/642.33 c 642s| 3600k|751614 | 8126k| 2.3 | 626M| 45 | - | 50 |5508 | 0 | 0 | 22 |1978k|5782 | 0.000000e+00 | -- | Inf
644.15/644.25 c 644s| 3610k|753383 | 8148k| 2.3 | 628M| 45 | 6 | 50 |5645 | 50 | 17 | 22 |1984k|5786 | 0.000000e+00 | -- | Inf
646.25/646.30 c 646s| 3620k|754944 | 8171k| 2.3 | 629M| 45 | - | 50 |5654 | 50 | 17 | 22 |1990k|5793 | 0.000000e+00 | -- | Inf
648.14/648.27 c 648s| 3630k|756623 | 8193k| 2.3 | 631M| 45 | 6 | 50 |5453 | 50 | 17 | 22 |1996k|5799 | 0.000000e+00 | -- | Inf
650.25/650.35 c 650s| 3640k|758081 | 8216k| 2.3 | 632M| 45 | 6 | 50 |5082 | 50 | 17 | 22 |2002k|5804 | 0.000000e+00 | -- | Inf
652.16/652.28 c 652s| 3650k|759790 | 8238k| 2.3 | 634M| 45 | 6 | 50 |6057 | 50 | 17 | 22 |2007k|5809 | 0.000000e+00 | -- | Inf
654.15/654.27 c 654s| 3660k|761584 | 8261k| 2.3 | 636M| 45 | 6 | 50 |5844 | 50 | 17 | 22 |2013k|5813 | 0.000000e+00 | -- | Inf
656.25/656.33 c 656s| 3670k|763078 | 8284k| 2.3 | 637M| 45 | 6 | 50 |5555 | 50 | 17 | 22 |2019k|5822 | 0.000000e+00 | -- | Inf
658.25/658.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
658.25/658.34 c 658s| 3680k|764696 | 8305k| 2.3 | 639M| 45 | 6 | 50 |5514 | 50 | 17 | 22 |2025k|5827 | 0.000000e+00 | -- | Inf
660.15/660.20 c 660s| 3690k|766599 | 8328k| 2.3 | 641M| 45 | 6 | 50 |6283 | 50 | 17 | 22 |2030k|5840 | 0.000000e+00 | -- | Inf
662.07/662.20 c 662s| 3700k|768268 | 8352k| 2.3 | 643M| 45 | 6 | 50 |8090 | 50 | 17 | 22 |2036k|5842 | 0.000000e+00 | -- | Inf
664.15/664.22 c 664s| 3710k|770364 | 8374k| 2.3 | 644M| 45 | - | 50 |7048 | 50 | 17 | 22 |2041k|5845 | 0.000000e+00 | -- | Inf
666.15/666.22 c 666s| 3720k|772505 | 8397k| 2.3 | 646M| 45 | - | 50 |8557 | 0 | 0 | 22 |2047k|5857 | 0.000000e+00 | -- | Inf
668.55/668.63 c 669s| 3730k|773988 | 8420k| 2.3 | 647M| 45 | - | 50 |5214 | 50 | 17 | 22 |2053k|5864 | 0.000000e+00 | -- | Inf
670.55/670.64 c 671s| 3740k|775730 | 8441k| 2.3 | 648M| 45 | - | 50 |4748 | 50 | 17 | 22 |2058k|5876 | 0.000000e+00 | -- | Inf
672.55/672.66 c 673s| 3750k|777419 | 8464k| 2.3 | 650M| 45 | 6 | 50 |5063 | 50 | 17 | 22 |2064k|5883 | 0.000000e+00 | -- | Inf
674.35/674.45 c 674s| 3760k|779594 | 8487k| 2.3 | 652M| 45 | 6 | 50 |6760 | 50 | 17 | 22 |2070k|5892 | 0.000000e+00 | -- | Inf
676.25/676.30 c 676s| 3770k|782165 | 8510k| 2.3 | 655M| 45 | 6 | 50 |8917 | 50 | 17 | 22 |2075k|5902 | 0.000000e+00 | -- | Inf
678.35/678.45 c 678s| 3780k|784138 | 8532k| 2.3 | 656M| 45 | 6 | 50 |9249 | 50 | 17 | 22 |2080k|5911 | 0.000000e+00 | -- | Inf
680.44/680.50 c 681s| 3790k|786320 | 8555k| 2.3 | 658M| 45 | - | 50 |9956 | 50 | 17 | 22 |2085k|5919 | 0.000000e+00 | -- | Inf
682.65/682.70 c 683s| 3800k|788432 | 8579k| 2.3 | 661M| 45 | - | 50 | 11k| 50 | 17 | 22 |2091k|5925 | 0.000000e+00 | -- | Inf
684.85/684.99 c 685s| 3810k|790270 | 8602k| 2.3 | 662M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2096k|5939 | 0.000000e+00 | -- | Inf
687.46/687.55 c 688s| 3820k|791861 | 8625k| 2.3 | 663M| 45 | - | 50 |8829 | 0 | 0 | 22 |2102k|5945 | 0.000000e+00 | -- | Inf
689.85/689.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
689.85/689.97 c 690s| 3830k|793250 | 8648k| 2.3 | 664M| 45 | 6 | 50 |5984 | 50 | 17 | 22 |2108k|5953 | 0.000000e+00 | -- | Inf
692.06/692.15 c 692s| 3840k|794698 | 8670k| 2.3 | 665M| 45 | - | 50 |5595 | 50 | 17 | 22 |2114k|5957 | 0.000000e+00 | -- | Inf
694.15/694.20 c 694s| 3850k|796336 | 8693k| 2.3 | 667M| 45 | - | 50 |5651 | 50 | 17 | 22 |2119k|5962 | 0.000000e+00 | -- | Inf
696.05/696.16 c 696s| 3860k|798427 | 8715k| 2.3 | 669M| 45 | 6 | 50 |6633 | 50 | 17 | 22 |2125k|5966 | 0.000000e+00 | -- | Inf
698.16/698.22 c 698s| 3870k|800228 | 8737k| 2.3 | 670M| 45 | 6 | 50 |6972 | 50 | 17 | 22 |2130k|5972 | 0.000000e+00 | -- | Inf
700.45/700.55 c 701s| 3880k|801581 | 8760k| 2.3 | 671M| 45 | - | 50 |4916 | 50 | 17 | 22 |2136k|5980 | 0.000000e+00 | -- | Inf
702.46/702.53 c 703s| 3890k|803150 | 8782k| 2.3 | 673M| 45 | 6 | 50 |6421 | 50 | 17 | 22 |2142k|5989 | 0.000000e+00 | -- | Inf
704.45/704.52 c 705s| 3900k|804957 | 8805k| 2.3 | 675M| 45 | 6 | 50 |7039 | 50 | 17 | 22 |2148k|5997 | 0.000000e+00 | -- | Inf
706.56/706.63 c 707s| 3910k|806733 | 8827k| 2.3 | 676M| 45 | 6 | 50 |5543 | 50 | 17 | 22 |2153k|6006 | 0.000000e+00 | -- | Inf
708.45/708.55 c 709s| 3920k|808787 | 8851k| 2.3 | 678M| 45 | - | 50 |7137 | 50 | 17 | 22 |2159k|6016 | 0.000000e+00 | -- | Inf
710.57/710.65 c 711s| 3930k|810472 | 8874k| 2.3 | 680M| 45 | - | 50 |7928 | 0 | 0 | 22 |2165k|6023 | 0.000000e+00 | -- | Inf
712.55/712.63 c 713s| 3940k|812800 | 8897k| 2.3 | 682M| 45 | - | 50 |8901 | 0 | 0 | 22 |2170k|6029 | 0.000000e+00 | -- | Inf
714.75/714.84 c 715s| 3950k|814720 | 8919k| 2.3 | 684M| 45 | - | 50 |9123 | 50 | 17 | 22 |2175k|6046 | 0.000000e+00 | -- | Inf
716.96/717.07 c 717s| 3960k|816555 | 8942k| 2.3 | 685M| 45 | - | 50 |8008 | 50 | 17 | 22 |2181k|6054 | 0.000000e+00 | -- | Inf
719.05/719.16 c 719s| 3970k|818582 | 8965k| 2.3 | 687M| 45 | 6 | 50 |8233 | 50 | 17 | 22 |2186k|6065 | 0.000000e+00 | -- | Inf
721.25/721.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
721.25/721.35 c 721s| 3980k|820271 | 8988k| 2.3 | 688M| 45 | 6 | 50 |8871 | 50 | 17 | 22 |2191k|6075 | 0.000000e+00 | -- | Inf
723.56/723.70 c 724s| 3990k|821676 | 9010k| 2.3 | 690M| 45 | 6 | 50 |9368 | 50 | 17 | 22 |2197k|6088 | 0.000000e+00 | -- | Inf
725.96/726.09 c 726s| 4000k|823122 | 9032k| 2.3 | 691M| 45 | - | 50 |8770 | 50 | 17 | 22 |2202k|6097 | 0.000000e+00 | -- | Inf
728.45/728.50 c 729s| 4010k|824588 | 9055k| 2.3 | 692M| 45 | - | 50 |6694 | 50 | 17 | 22 |2208k|6105 | 0.000000e+00 | -- | Inf
730.55/730.68 c 731s| 4020k|826220 | 9077k| 2.3 | 694M| 45 | - | 50 |6273 | 50 | 17 | 22 |2214k|6120 | 0.000000e+00 | -- | Inf
732.85/732.98 c 733s| 4030k|827478 | 9100k| 2.3 | 695M| 45 | 6 | 50 |5415 | 50 | 17 | 22 |2220k|6124 | 0.000000e+00 | -- | Inf
734.95/735.01 c 735s| 4040k|829081 | 9122k| 2.3 | 697M| 45 | 6 | 50 |5836 | 50 | 17 | 22 |2226k|6131 | 0.000000e+00 | -- | Inf
736.86/736.99 c 737s| 4050k|830913 | 9145k| 2.3 | 698M| 45 | - | 50 |5951 | 50 | 17 | 22 |2232k|6137 | 0.000000e+00 | -- | Inf
739.07/739.16 c 739s| 4060k|832365 | 9167k| 2.3 | 700M| 45 | 6 | 50 |5466 | 50 | 17 | 22 |2238k|6142 | 0.000000e+00 | -- | Inf
741.15/741.26 c 741s| 4070k|833955 | 9190k| 2.3 | 701M| 45 | 6 | 50 |5335 | 50 | 17 | 22 |2244k|6149 | 0.000000e+00 | -- | Inf
743.05/743.18 c 743s| 4080k|835704 | 9212k| 2.3 | 703M| 45 | - | 50 |6559 | 50 | 17 | 22 |2249k|6154 | 0.000000e+00 | -- | Inf
745.26/745.33 c 745s| 4090k|837285 | 9235k| 2.3 | 704M| 45 | 6 | 50 |6191 | 50 | 17 | 22 |2255k|6164 | 0.000000e+00 | -- | Inf
747.45/747.51 c 748s| 4100k|838715 | 9258k| 2.3 | 706M| 45 | 6 | 50 |4928 | 50 | 17 | 22 |2261k|6175 | 0.000000e+00 | -- | Inf
749.56/749.66 c 750s| 4110k|839966 | 9281k| 2.3 | 707M| 45 | 6 | 50 |4618 | 50 | 17 | 22 |2267k|6181 | 0.000000e+00 | -- | Inf
751.45/751.56 c 752s| 4120k|841445 | 9303k| 2.3 | 709M| 45 | - | 50 |5980 | 50 | 17 | 22 |2273k|6191 | 0.000000e+00 | -- | Inf
753.46/753.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
753.46/753.55 c 754s| 4130k|843091 | 9326k| 2.3 | 711M| 45 | - | 50 |6259 | 50 | 17 | 22 |2279k|6195 | 0.000000e+00 | -- | Inf
755.57/755.65 c 756s| 4140k|844813 | 9349k| 2.3 | 712M| 45 | - | 50 |7298 | 50 | 17 | 22 |2285k|6207 | 0.000000e+00 | -- | Inf
757.65/757.73 c 758s| 4150k|846413 | 9372k| 2.3 | 714M| 45 | 6 | 50 |6547 | 50 | 17 | 22 |2291k|6213 | 0.000000e+00 | -- | Inf
759.55/759.61 c 760s| 4160k|848549 | 9394k| 2.3 | 716M| 45 | 6 | 50 |7471 | 50 | 17 | 22 |2296k|6224 | 0.000000e+00 | -- | Inf
761.46/761.58 c 762s| 4170k|850390 | 9416k| 2.3 | 718M| 45 | - | 50 |9000 | 0 | 0 | 22 |2301k|6233 | 0.000000e+00 | -- | Inf
763.66/763.72 c 764s| 4180k|852075 | 9438k| 2.3 | 719M| 45 | - | 50 | 10k| 50 | 17 | 22 |2306k|6238 | 0.000000e+00 | -- | Inf
766.05/766.18 c 766s| 4190k|853591 | 9461k| 2.3 | 720M| 45 | - | 50 |6623 | 0 | 0 | 22 |2312k|6247 | 0.000000e+00 | -- | Inf
768.26/768.37 c 768s| 4200k|855135 | 9484k| 2.3 | 721M| 45 | 6 | 50 |6233 | 50 | 17 | 22 |2318k|6254 | 0.000000e+00 | -- | Inf
770.45/770.54 c 771s| 4210k|856614 | 9507k| 2.3 | 723M| 45 | 6 | 50 |5747 | 50 | 17 | 22 |2324k|6262 | 0.000000e+00 | -- | Inf
772.36/772.49 c 772s| 4220k|858350 | 9530k| 2.3 | 725M| 45 | 6 | 50 |6647 | 50 | 17 | 22 |2330k|6274 | 0.000000e+00 | -- | Inf
774.46/774.56 c 775s| 4230k|860124 | 9552k| 2.3 | 726M| 45 | - | 50 |6749 | 50 | 17 | 22 |2335k|6287 | 0.000000e+00 | -- | Inf
776.47/776.59 c 777s| 4240k|862177 | 9577k| 2.3 | 728M| 45 | 6 | 50 |7290 | 50 | 17 | 22 |2341k|6292 | 0.000000e+00 | -- | Inf
778.77/778.84 c 779s| 4250k|863946 | 9601k| 2.3 | 730M| 45 | 6 | 50 |8150 | 50 | 17 | 22 |2347k|6293 | 0.000000e+00 | -- | Inf
781.16/781.20 c 781s| 4260k|865591 | 9624k| 2.3 | 731M| 45 | 6 | 50 |6778 | 50 | 17 | 22 |2353k|6295 | 0.000000e+00 | -- | Inf
783.17/783.29 c 783s| 4270k|867312 | 9647k| 2.3 | 732M| 45 | 6 | 50 |6432 | 50 | 17 | 22 |2358k|6303 | 0.000000e+00 | -- | Inf
785.37/785.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
785.37/785.49 c 785s| 4280k|868931 | 9669k| 2.3 | 734M| 45 | 6 | 50 |5983 | 50 | 17 | 22 |2364k|6304 | 0.000000e+00 | -- | Inf
787.26/787.38 c 787s| 4290k|870978 | 9691k| 2.3 | 736M| 45 | 6 | 50 |7918 | 50 | 17 | 22 |2370k|6307 | 0.000000e+00 | -- | Inf
789.45/789.52 c 790s| 4300k|872358 | 9712k| 2.3 | 737M| 45 | - | 50 |7926 | 50 | 17 | 22 |2376k|6314 | 0.000000e+00 | -- | Inf
791.55/791.67 c 792s| 4310k|873964 | 9735k| 2.3 | 739M| 45 | 6 | 50 |7669 | 50 | 17 | 22 |2382k|6318 | 0.000000e+00 | -- | Inf
793.65/793.78 c 794s| 4320k|875797 | 9757k| 2.3 | 740M| 45 | - | 50 |6517 | 50 | 17 | 22 |2387k|6322 | 0.000000e+00 | -- | Inf
795.85/795.95 c 796s| 4330k|877837 | 9780k| 2.3 | 742M| 45 | 6 | 50 |6441 | 50 | 17 | 22 |2393k|6327 | 0.000000e+00 | -- | Inf
797.95/798.02 c 798s| 4340k|879415 | 9802k| 2.3 | 743M| 45 | 6 | 50 |6276 | 50 | 17 | 22 |2399k|6341 | 0.000000e+00 | -- | Inf
799.85/799.94 c 800s| 4350k|881128 | 9824k| 2.3 | 745M| 45 | - | 50 |7468 | 0 | 0 | 22 |2404k|6344 | 0.000000e+00 | -- | Inf
802.15/802.23 c 802s| 4360k|882672 | 9846k| 2.3 | 746M| 45 | 6 | 50 |5363 | 50 | 17 | 22 |2410k|6347 | 0.000000e+00 | -- | Inf
803.97/804.07 c 804s| 4370k|885058 | 9868k| 2.3 | 748M| 45 | - | 50 |6626 | 50 | 17 | 22 |2415k|6357 | 0.000000e+00 | -- | Inf
806.05/806.17 c 806s| 4380k|886617 | 9891k| 2.3 | 750M| 45 | - | 50 |7100 | 50 | 17 | 22 |2421k|6361 | 0.000000e+00 | -- | Inf
808.26/808.38 c 808s| 4390k|888057 | 9914k| 2.3 | 751M| 45 | 6 | 50 |7007 | 50 | 17 | 22 |2427k|6365 | 0.000000e+00 | -- | Inf
810.45/810.58 c 811s| 4400k|889612 | 9936k| 2.3 | 753M| 45 | 6 | 50 |5871 | 50 | 17 | 22 |2433k|6376 | 0.000000e+00 | -- | Inf
812.66/812.73 c 813s| 4410k|891095 | 9959k| 2.3 | 754M| 45 | 6 | 50 |5639 | 50 | 17 | 22 |2439k|6387 | 0.000000e+00 | -- | Inf
814.75/814.80 c 815s| 4420k|892633 | 9981k| 2.3 | 756M| 45 | - | 50 |5737 | 50 | 17 | 22 |2444k|6408 | 0.000000e+00 | -- | Inf
816.75/816.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
816.75/816.82 c 817s| 4430k|894210 | 10003k| 2.3 | 757M| 45 | 6 | 50 |6739 | 50 | 17 | 22 |2450k|6409 | 0.000000e+00 | -- | Inf
818.66/818.74 c 819s| 4440k|896306 | 10026k| 2.3 | 759M| 45 | - | 50 |7076 | 50 | 17 | 22 |2456k|6434 | 0.000000e+00 | -- | Inf
820.47/820.56 c 821s| 4450k|899042 | 10050k| 2.3 | 762M| 45 | 6 | 50 |9346 | 50 | 17 | 22 |2461k|6522 | 0.000000e+00 | -- | Inf
822.55/822.71 c 823s| 4460k|901420 | 10073k| 2.3 | 764M| 45 | - | 50 |9634 | 50 | 17 | 22 |2467k|6537 | 0.000000e+00 | -- | Inf
824.75/824.88 c 825s| 4470k|903697 | 10097k| 2.3 | 766M| 45 | - | 50 | 10k| 50 | 17 | 22 |2472k|6547 | 0.000000e+00 | -- | Inf
827.17/827.21 c 827s| 4480k|905740 | 10121k| 2.3 | 768M| 45 | - | 50 | 10k| 0 | 0 | 22 |2478k|6563 | 0.000000e+00 | -- | Inf
829.45/829.58 c 830s| 4490k|907669 | 10144k| 2.3 | 769M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2484k|6582 | 0.000000e+00 | -- | Inf
831.85/831.93 c 832s| 4500k|909509 | 10168k| 2.3 | 771M| 45 | - | 50 | 11k| 50 | 17 | 22 |2490k|6588 | 0.000000e+00 | -- | Inf
834.35/834.46 c 834s| 4510k|911401 | 10190k| 2.3 | 773M| 45 | - | 50 | 11k| 50 | 17 | 22 |2495k|6598 | 0.000000e+00 | -- | Inf
837.16/837.24 c 837s| 4520k|913048 | 10213k| 2.3 | 774M| 45 | - | 50 | 10k| 50 | 17 | 22 |2501k|6650 | 0.000000e+00 | -- | Inf
839.55/839.69 c 840s| 4530k|915064 | 10236k| 2.3 | 776M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2507k|6702 | 0.000000e+00 | -- | Inf
842.06/842.11 c 842s| 4540k|916753 | 10260k| 2.3 | 778M| 45 | - | 50 | 12k| 0 | 0 | 22 |2513k|6702 | 0.000000e+00 | -- | Inf
844.67/844.76 c 845s| 4550k|918430 | 10283k| 2.3 | 779M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2519k|6722 | 0.000000e+00 | -- | Inf
846.97/847.09 c 847s| 4560k|920299 | 10306k| 2.3 | 781M| 45 | 6 | 50 | 12k| 50 | 17 | 22 |2525k|6762 | 0.000000e+00 | -- | Inf
849.56/849.67 c 850s| 4570k|921958 | 10328k| 2.3 | 783M| 45 | - | 50 | 14k| 50 | 17 | 22 |2530k|6762 | 0.000000e+00 | -- | Inf
852.56/852.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
852.56/852.67 c 853s| 4580k|923479 | 10351k| 2.3 | 784M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2536k|6766 | 0.000000e+00 | -- | Inf
855.45/855.51 c 856s| 4590k|924910 | 10374k| 2.3 | 785M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2542k|6772 | 0.000000e+00 | -- | Inf
857.75/857.83 c 858s| 4600k|927100 | 10397k| 2.3 | 787M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2548k|6772 | 0.000000e+00 | -- | Inf
860.65/860.78 c 861s| 4610k|928432 | 10420k| 2.3 | 789M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2554k|6791 | 0.000000e+00 | -- | Inf
863.37/863.41 c 863s| 4620k|930277 | 10443k| 2.3 | 790M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2559k|6793 | 0.000000e+00 | -- | Inf
866.06/866.13 c 866s| 4630k|931685 | 10466k| 2.3 | 792M| 45 | - | 50 | 11k| 50 | 17 | 22 |2565k|6820 | 0.000000e+00 | -- | Inf
868.46/868.56 c 869s| 4640k|933593 | 10490k| 2.3 | 793M| 45 | - | 50 | 11k| 50 | 17 | 22 |2571k|6833 | 0.000000e+00 | -- | Inf
870.96/871.08 c 871s| 4650k|935107 | 10514k| 2.3 | 795M| 45 | 6 | 50 | 12k| 50 | 17 | 22 |2578k|6833 | 0.000000e+00 | -- | Inf
873.96/874.08 c 874s| 4660k|936314 | 10537k| 2.3 | 796M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2584k|6864 | 0.000000e+00 | -- | Inf
876.86/876.94 c 877s| 4670k|937611 | 10560k| 2.3 | 798M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2590k|6866 | 0.000000e+00 | -- | Inf
879.56/879.66 c 880s| 4680k|939091 | 10583k| 2.3 | 799M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2596k|6866 | 0.000000e+00 | -- | Inf
882.36/882.41 c 882s| 4690k|940476 | 10606k| 2.3 | 801M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2603k|6920 | 0.000000e+00 | -- | Inf
885.05/885.17 c 885s| 4700k|941993 | 10629k| 2.3 | 802M| 45 | - | 50 | 12k| 50 | 17 | 22 |2609k|6932 | 0.000000e+00 | -- | Inf
887.86/887.90 c 888s| 4710k|943473 | 10652k| 2.3 | 804M| 45 | - | 50 | 12k| 50 | 17 | 22 |2615k|6940 | 0.000000e+00 | -- | Inf
890.66/890.78 c 891s| 4720k|944727 | 10675k| 2.3 | 805M| 45 | - | 50 | 11k| 0 | 0 | 22 |2621k|6956 | 0.000000e+00 | -- | Inf
893.36/893.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
893.36/893.49 c 893s| 4730k|946315 | 10697k| 2.3 | 807M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2626k|6956 | 0.000000e+00 | -- | Inf
896.48/896.58 c 897s| 4740k|947255 | 10720k| 2.3 | 808M| 45 | - | 50 | 11k| 50 | 17 | 22 |2633k|6972 | 0.000000e+00 | -- | Inf
899.36/899.47 c 899s| 4750k|948282 | 10743k| 2.3 | 809M| 45 | - | 50 | 11k| 50 | 17 | 22 |2639k|6981 | 0.000000e+00 | -- | Inf
901.97/902.02 c 902s| 4760k|949820 | 10766k| 2.3 | 810M| 45 | 6 | 50 |7881 | 50 | 17 | 22 |2645k|6982 | 0.000000e+00 | -- | Inf
904.25/904.36 c 904s| 4770k|951436 | 10788k| 2.3 | 811M| 45 | - | 50 |6350 | 50 | 17 | 22 |2651k|6982 | 0.000000e+00 | -- | Inf
906.45/906.56 c 907s| 4780k|952958 | 10811k| 2.3 | 812M| 45 | - | 50 |6060 | 50 | 17 | 22 |2657k|6983 | 0.000000e+00 | -- | Inf
908.66/908.77 c 909s| 4790k|954401 | 10833k| 2.3 | 814M| 45 | 6 | 50 |5889 | 50 | 17 | 22 |2663k|6983 | 0.000000e+00 | -- | Inf
910.68/910.78 c 911s| 4800k|956116 | 10856k| 2.3 | 816M| 45 | - | 50 |6987 | 50 | 17 | 22 |2669k|6983 | 0.000000e+00 | -- | Inf
912.75/912.90 c 913s| 4810k|957589 | 10877k| 2.3 | 817M| 45 | 6 | 50 |7599 | 50 | 17 | 22 |2674k|6988 | 0.000000e+00 | -- | Inf
914.96/915.09 c 915s| 4820k|959553 | 10900k| 2.3 | 819M| 45 | 6 | 50 |6794 | 50 | 17 | 22 |2680k|6990 | 0.000000e+00 | -- | Inf
917.05/917.15 c 917s| 4830k|961154 | 10922k| 2.3 | 820M| 45 | 6 | 50 |7751 | 50 | 17 | 22 |2686k|6991 | 0.000000e+00 | -- | Inf
918.96/919.05 c 919s| 4840k|963797 | 10946k| 2.3 | 823M| 45 | - | 50 |8301 | 50 | 17 | 22 |2691k|7040 | 0.000000e+00 | -- | Inf
921.16/921.23 c 921s| 4850k|965673 | 10969k| 2.3 | 825M| 45 | - | 50 |9073 | 50 | 17 | 22 |2697k|7040 | 0.000000e+00 | -- | Inf
923.36/923.45 c 923s| 4860k|967428 | 10992k| 2.3 | 826M| 45 | - | 50 |9300 | 50 | 17 | 22 |2703k|7040 | 0.000000e+00 | -- | Inf
925.55/925.61 c 926s| 4870k|969954 | 11015k| 2.3 | 828M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2708k|7040 | 0.000000e+00 | -- | Inf
927.86/927.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
927.86/927.95 c 928s| 4880k|972107 | 11038k| 2.3 | 830M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2714k|7040 | 0.000000e+00 | -- | Inf
930.36/930.44 c 930s| 4890k|973875 | 11060k| 2.3 | 832M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2719k|7040 | 0.000000e+00 | -- | Inf
932.85/932.94 c 933s| 4900k|975558 | 11083k| 2.3 | 833M| 45 | 6 | 50 |9572 | 50 | 17 | 22 |2725k|7040 | 0.000000e+00 | -- | Inf
935.26/935.39 c 935s| 4910k|977034 | 11106k| 2.3 | 834M| 45 | 6 | 50 |8529 | 50 | 17 | 22 |2731k|7040 | 0.000000e+00 | -- | Inf
937.76/937.80 c 938s| 4920k|978393 | 11129k| 2.3 | 836M| 45 | 6 | 50 |8775 | 50 | 17 | 22 |2737k|7040 | 0.000000e+00 | -- | Inf
940.06/940.14 c 940s| 4930k|979988 | 11152k| 2.3 | 838M| 45 | 6 | 50 |9187 | 50 | 17 | 22 |2743k|7040 | 0.000000e+00 | -- | Inf
942.46/942.60 c 943s| 4940k|981342 | 11175k| 2.3 | 839M| 45 | 6 | 50 |8973 | 50 | 17 | 22 |2749k|7040 | 0.000000e+00 | -- | Inf
944.87/944.94 c 945s| 4950k|982907 | 11199k| 2.3 | 841M| 45 | 6 | 50 |9214 | 50 | 17 | 22 |2756k|7040 | 0.000000e+00 | -- | Inf
947.56/947.60 c 948s| 4960k|983923 | 11222k| 2.3 | 842M| 45 | - | 50 |8515 | 50 | 17 | 22 |2762k|7040 | 0.000000e+00 | -- | Inf
949.76/949.82 c 950s| 4970k|985648 | 11244k| 2.3 | 844M| 45 | - | 50 | 10k| 0 | 0 | 22 |2768k|7040 | 0.000000e+00 | -- | Inf
951.96/952.10 c 952s| 4980k|987649 | 11266k| 2.3 | 846M| 45 | - | 50 | 10k| 50 | 17 | 22 |2773k|7041 | 0.000000e+00 | -- | Inf
954.46/954.58 c 955s| 4990k|989190 | 11288k| 2.3 | 847M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2779k|7047 | 0.000000e+00 | -- | Inf
956.75/956.86 c 957s| 5000k|991079 | 11311k| 2.3 | 849M| 45 | 6 | 50 |9742 | 50 | 17 | 22 |2785k|7052 | 0.000000e+00 | -- | Inf
959.07/959.20 c 959s| 5010k|992644 | 11335k| 2.3 | 850M| 45 | - | 50 | 10k| 50 | 17 | 22 |2791k|7056 | 0.000000e+00 | -- | Inf
961.76/961.86 c 962s| 5020k|993853 | 11358k| 2.3 | 851M| 45 | 6 | 50 |9986 | 50 | 17 | 22 |2797k|7058 | 0.000000e+00 | -- | Inf
963.96/964.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
963.96/964.08 c 964s| 5030k|995931 | 11381k| 2.3 | 853M| 45 | - | 50 | 10k| 50 | 17 | 22 |2803k|7061 | 0.000000e+00 | -- | Inf
966.36/966.43 c 966s| 5040k|997480 | 11404k| 2.3 | 855M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2808k|7064 | 0.000000e+00 | -- | Inf
968.76/968.88 c 969s| 5050k|999416 | 11427k| 2.3 | 857M| 45 | - | 50 | 11k| 50 | 17 | 22 |2814k|7066 | 0.000000e+00 | -- | Inf
971.56/971.65 c 972s| 5060k| 1000k| 11451k| 2.3 | 858M| 45 | - | 50 | 11k| 50 | 17 | 22 |2820k|7069 | 0.000000e+00 | -- | Inf
974.26/974.32 c 974s| 5070k| 1002k| 11474k| 2.3 | 860M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |2827k|7073 | 0.000000e+00 | -- | Inf
977.06/977.13 c 977s| 5080k| 1003k| 11497k| 2.3 | 861M| 45 | 6 | 50 |8951 | 50 | 17 | 22 |2833k|7081 | 0.000000e+00 | -- | Inf
979.66/979.77 c 980s| 5090k| 1004k| 11519k| 2.3 | 862M| 45 | 6 | 50 |8788 | 50 | 17 | 22 |2839k|7086 | 0.000000e+00 | -- | Inf
982.27/982.32 c 982s| 5100k| 1005k| 11542k| 2.3 | 863M| 45 | 6 | 50 |8544 | 50 | 17 | 22 |2845k|7092 | 0.000000e+00 | -- | Inf
984.37/984.49 c 984s| 5110k| 1007k| 11564k| 2.3 | 865M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |2851k|7098 | 0.000000e+00 | -- | Inf
986.96/987.08 c 987s| 5120k| 1008k| 11585k| 2.3 | 866M| 45 | - | 50 | 10k| 50 | 17 | 22 |2857k|7105 | 0.000000e+00 | -- | Inf
989.56/989.65 c 990s| 5130k| 1010k| 11609k| 2.3 | 867M| 45 | 6 | 50 |6777 | 50 | 17 | 22 |2863k|7109 | 0.000000e+00 | -- | Inf
991.86/991.95 c 992s| 5140k| 1011k| 11631k| 2.3 | 868M| 45 | 6 | 50 |6083 | 50 | 17 | 22 |2869k|7114 | 0.000000e+00 | -- | Inf
994.16/994.27 c 994s| 5150k| 1013k| 11654k| 2.3 | 870M| 45 | 6 | 50 |5428 | 50 | 17 | 22 |2875k|7119 | 0.000000e+00 | -- | Inf
996.36/996.42 c 996s| 5160k| 1014k| 11677k| 2.3 | 871M| 45 | 6 | 50 |6233 | 50 | 17 | 22 |2880k|7124 | 0.000000e+00 | -- | Inf
998.57/998.67 c 999s| 5170k| 1016k| 11700k| 2.3 | 873M| 45 | - | 50 |6015 | 50 | 17 | 22 |2886k|7131 | 0.000000e+00 | -- | Inf
1000.88/1000.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1000.88/1000.92 c 1001s| 5180k| 1017k| 11722k| 2.3 | 874M| 45 | - | 50 |5778 | 50 | 17 | 22 |2892k|7134 | 0.000000e+00 | -- | Inf
1002.86/1002.94 c 1003s| 5190k| 1018k| 11745k| 2.3 | 876M| 45 | 6 | 50 |7156 | 50 | 17 | 22 |2898k|7141 | 0.000000e+00 | -- | Inf
1005.16/1005.23 c 1005s| 5200k| 1020k| 11768k| 2.3 | 877M| 45 | 6 | 50 |6337 | 50 | 17 | 22 |2904k|7149 | 0.000000e+00 | -- | Inf
1007.37/1007.43 c 1007s| 5210k| 1022k| 11791k| 2.3 | 879M| 45 | 6 | 50 |6532 | 50 | 17 | 22 |2910k|7153 | 0.000000e+00 | -- | Inf
1009.46/1009.60 c 1010s| 5220k| 1023k| 11813k| 2.3 | 880M| 45 | 6 | 50 |5872 | 50 | 17 | 22 |2916k|7157 | 0.000000e+00 | -- | Inf
1011.27/1011.31 c 1011s| 5230k| 1026k| 11837k| 2.3 | 883M| 45 | 6 | 50 |7706 | 50 | 17 | 22 |2921k|7160 | 0.000000e+00 | -- | Inf
1013.26/1013.32 c 1013s| 5240k| 1029k| 11861k| 2.3 | 885M| 45 | 6 | 50 |7268 | 50 | 17 | 22 |2926k|7163 | 0.000000e+00 | -- | Inf
1015.18/1015.27 c 1015s| 5250k| 1032k| 11885k| 2.3 | 887M| 45 | 6 | 50 |7911 | 50 | 17 | 22 |2930k|7166 | 0.000000e+00 | -- | Inf
1017.26/1017.36 c 1017s| 5260k| 1035k| 11908k| 2.3 | 888M| 45 | - | 50 |8015 | 50 | 17 | 22 |2935k|7169 | 0.000000e+00 | -- | Inf
1019.46/1019.56 c 1020s| 5270k| 1037k| 11932k| 2.3 | 890M| 45 | 6 | 50 |7564 | 50 | 17 | 22 |2941k|7174 | 0.000000e+00 | -- | Inf
1021.78/1021.87 c 1022s| 5280k| 1039k| 11956k| 2.3 | 892M| 45 | 6 | 50 |7765 | 50 | 17 | 22 |2946k|7179 | 0.000000e+00 | -- | Inf
1024.16/1024.21 c 1024s| 5290k| 1041k| 11980k| 2.3 | 893M| 45 | 6 | 50 |7444 | 50 | 17 | 22 |2952k|7191 | 0.000000e+00 | -- | Inf
1026.46/1026.52 c 1027s| 5300k| 1043k| 12005k| 2.3 | 895M| 45 | 6 | 50 |7977 | 50 | 17 | 22 |2957k|7197 | 0.000000e+00 | -- | Inf
1028.76/1028.88 c 1029s| 5310k| 1045k| 12029k| 2.3 | 897M| 45 | - | 50 |8014 | 50 | 17 | 22 |2963k|7208 | 0.000000e+00 | -- | Inf
1031.16/1031.23 c 1031s| 5320k| 1047k| 12053k| 2.3 | 899M| 45 | 6 | 50 |8163 | 50 | 17 | 22 |2968k|7214 | 0.000000e+00 | -- | Inf
1033.46/1033.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1033.46/1033.56 c 1034s| 5330k| 1049k| 12077k| 2.3 | 900M| 45 | 6 | 50 |8365 | 50 | 17 | 22 |2974k|7224 | 0.000000e+00 | -- | Inf
1035.86/1035.96 c 1036s| 5340k| 1051k| 12100k| 2.3 | 902M| 45 | 6 | 50 |7665 | 50 | 17 | 22 |2979k|7230 | 0.000000e+00 | -- | Inf
1038.16/1038.27 c 1038s| 5350k| 1053k| 12124k| 2.3 | 903M| 45 | 6 | 50 |8450 | 50 | 17 | 22 |2984k|7237 | 0.000000e+00 | -- | Inf
1040.48/1040.59 c 1041s| 5360k| 1055k| 12149k| 2.3 | 905M| 45 | 6 | 50 |9310 | 50 | 17 | 22 |2990k|7243 | 0.000000e+00 | -- | Inf
1042.96/1043.05 c 1043s| 5370k| 1057k| 12174k| 2.3 | 907M| 45 | 6 | 50 |8971 | 50 | 17 | 22 |2995k|7247 | 0.000000e+00 | -- | Inf
1045.57/1045.66 c 1046s| 5380k| 1058k| 12197k| 2.3 | 908M| 45 | 6 | 50 |7825 | 50 | 17 | 22 |3001k|7253 | 0.000000e+00 | -- | Inf
1047.57/1047.62 c 1048s| 5390k| 1061k| 12221k| 2.3 | 910M| 45 | 6 | 50 |9322 | 50 | 17 | 22 |3006k|7257 | 0.000000e+00 | -- | Inf
1049.87/1049.96 c 1050s| 5400k| 1063k| 12244k| 2.3 | 912M| 45 | - | 50 |9778 | 50 | 17 | 22 |3012k|7265 | 0.000000e+00 | -- | Inf
1052.47/1052.52 c 1053s| 5410k| 1064k| 12268k| 2.3 | 914M| 45 | - | 50 | 10k| 50 | 17 | 22 |3018k|7271 | 0.000000e+00 | -- | Inf
1055.16/1055.30 c 1055s| 5420k| 1066k| 12292k| 2.3 | 915M| 45 | 6 | 50 |8442 | 50 | 17 | 22 |3024k|7281 | 0.000000e+00 | -- | Inf
1057.46/1057.57 c 1058s| 5430k| 1068k| 12316k| 2.3 | 917M| 45 | 6 | 50 |9581 | 50 | 17 | 22 |3029k|7286 | 0.000000e+00 | -- | Inf
1060.28/1060.33 c 1060s| 5440k| 1069k| 12340k| 2.3 | 918M| 45 | 6 | 50 |7783 | 50 | 17 | 22 |3035k|7295 | 0.000000e+00 | -- | Inf
1062.66/1062.76 c 1063s| 5450k| 1070k| 12363k| 2.3 | 918M| 45 | 6 | 50 |5601 | 50 | 17 | 22 |3041k|7297 | 0.000000e+00 | -- | Inf
1064.78/1064.85 c 1065s| 5460k| 1072k| 12386k| 2.3 | 920M| 45 | - | 50 |6235 | 50 | 17 | 22 |3047k|7305 | 0.000000e+00 | -- | Inf
1067.06/1067.14 c 1067s| 5470k| 1073k| 12409k| 2.3 | 922M| 45 | 6 | 50 |5916 | 50 | 17 | 22 |3053k|7314 | 0.000000e+00 | -- | Inf
1069.18/1069.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1069.18/1069.24 c 1069s| 5480k| 1075k| 12430k| 2.3 | 923M| 45 | 6 | 50 |5642 | 50 | 17 | 22 |3059k|7319 | 0.000000e+00 | -- | Inf
1071.27/1071.41 c 1071s| 5490k| 1076k| 12452k| 2.3 | 925M| 45 | 6 | 50 |6097 | 50 | 17 | 22 |3065k|7325 | 0.000000e+00 | -- | Inf
1073.26/1073.37 c 1073s| 5500k| 1078k| 12474k| 2.3 | 927M| 45 | 6 | 50 |7248 | 50 | 17 | 22 |3070k|7335 | 0.000000e+00 | -- | Inf
1075.57/1075.61 c 1076s| 5510k| 1080k| 12497k| 2.3 | 928M| 45 | 6 | 50 |6421 | 50 | 17 | 22 |3076k|7341 | 0.000000e+00 | -- | Inf
1077.67/1077.77 c 1078s| 5520k| 1081k| 12520k| 2.3 | 930M| 45 | - | 50 |7135 | 0 | 0 | 22 |3082k|7349 | 0.000000e+00 | -- | Inf
1079.96/1080.02 c 1080s| 5530k| 1083k| 12542k| 2.3 | 931M| 45 | - | 50 |6818 | 50 | 17 | 22 |3088k|7355 | 0.000000e+00 | -- | Inf
1082.07/1082.15 c 1082s| 5540k| 1084k| 12564k| 2.3 | 932M| 45 | 6 | 50 |6719 | 50 | 17 | 22 |3094k|7359 | 0.000000e+00 | -- | Inf
1084.36/1084.43 c 1084s| 5550k| 1085k| 12587k| 2.3 | 934M| 45 | 6 | 50 |6766 | 50 | 17 | 22 |3100k|7364 | 0.000000e+00 | -- | Inf
1086.46/1086.57 c 1087s| 5560k| 1087k| 12610k| 2.3 | 935M| 45 | 6 | 50 |5443 | 50 | 17 | 22 |3105k|7367 | 0.000000e+00 | -- | Inf
1088.37/1088.42 c 1088s| 5570k| 1090k| 12632k| 2.3 | 937M| 45 | - | 50 |6777 | 50 | 17 | 22 |3110k|7374 | 0.000000e+00 | -- | Inf
1090.36/1090.43 c 1090s| 5580k| 1092k| 12654k| 2.3 | 939M| 45 | 6 | 50 |6980 | 50 | 17 | 22 |3115k|7376 | 0.000000e+00 | -- | Inf
1092.47/1092.54 c 1093s| 5590k| 1094k| 12677k| 2.3 | 941M| 45 | 6 | 50 |7742 | 50 | 17 | 22 |3121k|7384 | 0.000000e+00 | -- | Inf
1094.66/1094.75 c 1095s| 5600k| 1096k| 12698k| 2.3 | 942M| 45 | 6 | 50 |8163 | 50 | 17 | 22 |3126k|7393 | 0.000000e+00 | -- | Inf
1096.96/1097.08 c 1097s| 5610k| 1097k| 12721k| 2.3 | 944M| 45 | - | 50 |8184 | 50 | 17 | 22 |3132k|7401 | 0.000000e+00 | -- | Inf
1099.26/1099.38 c 1099s| 5620k| 1099k| 12743k| 2.3 | 945M| 45 | 6 | 50 |7919 | 50 | 17 | 22 |3137k|7410 | 0.000000e+00 | -- | Inf
1101.77/1101.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1101.77/1101.82 c 1102s| 5630k| 1100k| 12765k| 2.3 | 946M| 45 | 6 | 50 |6934 | 50 | 17 | 22 |3143k|7416 | 0.000000e+00 | -- | Inf
1103.97/1104.03 c 1104s| 5640k| 1102k| 12788k| 2.3 | 948M| 45 | - | 50 |7277 | 50 | 17 | 22 |3149k|7427 | 0.000000e+00 | -- | Inf
1106.16/1106.24 c 1106s| 5650k| 1104k| 12810k| 2.3 | 950M| 45 | - | 50 |8340 | 50 | 17 | 22 |3155k|7429 | 0.000000e+00 | -- | Inf
1108.47/1108.53 c 1109s| 5660k| 1105k| 12833k| 2.3 | 951M| 45 | - | 50 |8126 | 50 | 17 | 22 |3161k|7434 | 0.000000e+00 | -- | Inf
1110.77/1110.88 c 1111s| 5670k| 1107k| 12856k| 2.3 | 953M| 45 | - | 50 |7762 | 50 | 17 | 22 |3167k|7442 | 0.000000e+00 | -- | Inf
1112.87/1112.92 c 1113s| 5680k| 1108k| 12877k| 2.3 | 954M| 45 | - | 50 |8482 | 50 | 17 | 22 |3172k|7444 | 0.000000e+00 | -- | Inf
1115.28/1115.34 c 1115s| 5690k| 1110k| 12899k| 2.3 | 956M| 45 | 6 | 50 |7142 | 50 | 17 | 22 |3178k|7457 | 0.000000e+00 | -- | Inf
1117.16/1117.30 c 1117s| 5700k| 1113k| 12921k| 2.3 | 958M| 45 | 6 | 50 |8285 | 50 | 17 | 22 |3182k|7463 | 0.000000e+00 | -- | Inf
1119.36/1119.40 c 1119s| 5710k| 1115k| 12943k| 2.3 | 960M| 45 | 6 | 50 |9159 | 50 | 17 | 22 |3188k|7470 | 0.000000e+00 | -- | Inf
1121.46/1121.52 c 1122s| 5720k| 1117k| 12964k| 2.3 | 961M| 45 | - | 50 | 10k| 50 | 17 | 22 |3192k|7474 | 0.000000e+00 | -- | Inf
1123.87/1123.92 c 1124s| 5730k| 1119k| 12986k| 2.3 | 963M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3198k|7479 | 0.000000e+00 | -- | Inf
1126.46/1126.56 c 1127s| 5740k| 1120k| 13009k| 2.3 | 964M| 45 | 6 | 50 |9691 | 50 | 17 | 22 |3203k|7483 | 0.000000e+00 | -- | Inf
1128.86/1128.93 c 1129s| 5750k| 1122k| 13031k| 2.3 | 966M| 45 | - | 50 |8881 | 50 | 17 | 22 |3209k|7487 | 0.000000e+00 | -- | Inf
1131.26/1131.39 c 1131s| 5760k| 1123k| 13054k| 2.3 | 967M| 45 | - | 50 |7536 | 50 | 17 | 22 |3215k|7491 | 0.000000e+00 | -- | Inf
1133.26/1133.35 c 1133s| 5770k| 1126k| 13076k| 2.3 | 969M| 45 | - | 50 |9524 | 0 | 0 | 22 |3220k|7493 | 0.000000e+00 | -- | Inf
1135.56/1135.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1135.56/1135.64 c 1136s| 5780k| 1128k| 13097k| 2.3 | 971M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3225k|7496 | 0.000000e+00 | -- | Inf
1137.97/1138.06 c 1138s| 5790k| 1129k| 13119k| 2.3 | 973M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3230k|7498 | 0.000000e+00 | -- | Inf
1140.77/1140.83 c 1141s| 5800k| 1131k| 13141k| 2.3 | 973M| 45 | - | 50 |7862 | 0 | 0 | 22 |3236k|7504 | 0.000000e+00 | -- | Inf
1143.16/1143.28 c 1143s| 5810k| 1132k| 13163k| 2.3 | 975M| 45 | 6 | 50 |6602 | 50 | 17 | 22 |3242k|7508 | 0.000000e+00 | -- | Inf
1145.08/1145.17 c 1145s| 5820k| 1135k| 13187k| 2.3 | 977M| 45 | - | 50 |7898 | 50 | 17 | 22 |3247k|7512 | 0.000000e+00 | -- | Inf
1147.37/1147.43 c 1147s| 5830k| 1137k| 13210k| 2.3 | 979M| 45 | - | 50 |7881 | 50 | 17 | 22 |3253k|7515 | 0.000000e+00 | -- | Inf
1149.56/1149.65 c 1150s| 5840k| 1139k| 13234k| 2.3 | 981M| 45 | 6 | 50 |8876 | 50 | 17 | 22 |3258k|7522 | 0.000000e+00 | -- | Inf
1152.06/1152.19 c 1152s| 5850k| 1140k| 13257k| 2.3 | 982M| 45 | 6 | 50 |8725 | 50 | 17 | 22 |3264k|7531 | 0.000000e+00 | -- | Inf
1154.66/1154.70 c 1155s| 5860k| 1142k| 13280k| 2.3 | 984M| 45 | 6 | 50 |9090 | 50 | 17 | 22 |3270k|7537 | 0.000000e+00 | -- | Inf
1157.26/1157.34 c 1157s| 5870k| 1143k| 13302k| 2.3 | 985M| 45 | - | 50 |6905 | 50 | 17 | 22 |3276k|7542 | 0.000000e+00 | -- | Inf
1159.57/1159.66 c 1160s| 5880k| 1144k| 13325k| 2.3 | 986M| 45 | 6 | 50 |6554 | 50 | 17 | 22 |3282k|7548 | 0.000000e+00 | -- | Inf
1161.76/1161.88 c 1162s| 5890k| 1146k| 13348k| 2.3 | 988M| 45 | 6 | 50 |7865 | 50 | 17 | 22 |3288k|7553 | 0.000000e+00 | -- | Inf
1164.06/1164.14 c 1164s| 5900k| 1147k| 13371k| 2.3 | 990M| 45 | - | 50 |8851 | 50 | 17 | 22 |3294k|7558 | 0.000000e+00 | -- | Inf
1166.47/1166.60 c 1167s| 5910k| 1149k| 13393k| 2.3 | 991M| 45 | 6 | 50 |6567 | 50 | 17 | 22 |3300k|7567 | 0.000000e+00 | -- | Inf
1168.77/1168.86 c 1169s| 5920k| 1150k| 13415k| 2.3 | 992M| 45 | 6 | 50 |7042 | 50 | 17 | 22 |3306k|7569 | 0.000000e+00 | -- | Inf
1171.26/1171.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1171.26/1171.35 c 1171s| 5930k| 1151k| 13438k| 2.3 | 993M| 45 | - | 50 |5348 | 0 | 0 | 22 |3312k|7575 | 0.000000e+00 | -- | Inf
1173.47/1173.51 c 1174s| 5940k| 1153k| 13461k| 2.3 | 995M| 45 | 6 | 50 |4968 | 50 | 17 | 22 |3318k|7582 | 0.000000e+00 | -- | Inf
1175.27/1175.36 c 1175s| 5950k| 1156k| 13485k| 2.3 | 997M| 45 | 6 | 50 |6678 | 50 | 17 | 22 |3323k|7597 | 0.000000e+00 | -- | Inf
1177.27/1177.38 c 1177s| 5960k| 1158k| 13509k| 2.3 | 999M| 45 | 6 | 50 |7700 | 50 | 17 | 22 |3328k|7600 | 0.000000e+00 | -- | Inf
1179.47/1179.54 c 1180s| 5970k| 1160k| 13533k| 2.3 |1001M| 45 | 6 | 50 |8036 | 50 | 17 | 22 |3334k|7606 | 0.000000e+00 | -- | Inf
1181.87/1181.94 c 1182s| 5980k| 1161k| 13558k| 2.3 |1002M| 45 | 6 | 50 |7785 | 50 | 17 | 22 |3340k|7613 | 0.000000e+00 | -- | Inf
1183.97/1184.00 c 1184s| 5990k| 1163k| 13581k| 2.3 |1005M| 45 | 6 | 50 |9510 | 50 | 17 | 22 |3345k|7618 | 0.000000e+00 | -- | Inf
1186.26/1186.39 c 1186s| 6000k| 1165k| 13605k| 2.3 |1006M| 45 | - | 50 |9253 | 50 | 17 | 22 |3351k|7622 | 0.000000e+00 | -- | Inf
1188.37/1188.48 c 1188s| 6010k| 1168k| 13629k| 2.3 |1008M| 45 | 6 | 50 |9847 | 50 | 17 | 22 |3356k|7625 | 0.000000e+00 | -- | Inf
1190.76/1190.81 c 1191s| 6020k| 1170k| 13652k| 2.3 |1010M| 45 | - | 50 | 10k| 50 | 17 | 22 |3361k|7634 | 0.000000e+00 | -- | Inf
1193.27/1193.32 c 1193s| 6030k| 1172k| 13675k| 2.3 |1011M| 45 | 6 | 50 |8608 | 50 | 17 | 22 |3367k|7639 | 0.000000e+00 | -- | Inf
1195.69/1195.76 c 1196s| 6040k| 1174k| 13699k| 2.3 |1013M| 45 | 6 | 50 |8918 | 50 | 17 | 22 |3372k|7643 | 0.000000e+00 | -- | Inf
1198.07/1198.16 c 1198s| 6050k| 1175k| 13722k| 2.3 |1014M| 45 | 6 | 50 |8297 | 50 | 17 | 22 |3378k|7650 | 0.000000e+00 | -- | Inf
1200.47/1200.54 c 1201s| 6060k| 1177k| 13745k| 2.3 |1016M| 45 | - | 50 |9159 | 50 | 17 | 22 |3384k|7656 | 0.000000e+00 | -- | Inf
1202.77/1202.85 c 1203s| 6070k| 1179k| 13768k| 2.3 |1018M| 45 | - | 50 |9210 | 0 | 0 | 22 |3389k|7665 | 0.000000e+00 | -- | Inf
1205.27/1205.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1205.27/1205.31 c 1205s| 6080k| 1180k| 13791k| 2.3 |1019M| 45 | - | 50 |8440 | 50 | 17 | 22 |3395k|7669 | 0.000000e+00 | -- | Inf
1207.57/1207.68 c 1208s| 6090k| 1182k| 13814k| 2.3 |1021M| 45 | 6 | 50 |9124 | 50 | 17 | 22 |3400k|7672 | 0.000000e+00 | -- | Inf
1210.37/1210.50 c 1210s| 6100k| 1183k| 13837k| 2.3 |1022M| 45 | 6 | 50 |8616 | 50 | 17 | 22 |3406k|7676 | 0.000000e+00 | -- | Inf
1212.67/1212.79 c 1213s| 6110k| 1185k| 13860k| 2.3 |1024M| 45 | - | 50 |9668 | 50 | 17 | 22 |3412k|7686 | 0.000000e+00 | -- | Inf
1215.17/1215.21 c 1215s| 6120k| 1186k| 13883k| 2.3 |1025M| 45 | - | 50 | 10k| 50 | 17 | 22 |3417k|7691 | 0.000000e+00 | -- | Inf
1217.46/1217.55 c 1218s| 6130k| 1189k| 13907k| 2.3 |1027M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3423k|7695 | 0.000000e+00 | -- | Inf
1219.88/1219.96 c 1220s| 6140k| 1191k| 13930k| 2.3 |1029M| 45 | - | 50 | 11k| 50 | 17 | 22 |3428k|7699 | 0.000000e+00 | -- | Inf
1222.57/1222.66 c 1223s| 6150k| 1193k| 13954k| 2.3 |1031M| 45 | - | 50 | 11k| 50 | 17 | 22 |3433k|7706 | 0.000000e+00 | -- | Inf
1225.28/1225.38 c 1225s| 6160k| 1194k| 13978k| 2.3 |1032M| 45 | - | 50 | 11k| 50 | 17 | 22 |3439k|7715 | 0.000000e+00 | -- | Inf
1228.17/1228.26 c 1228s| 6170k| 1196k| 14001k| 2.3 |1034M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |3445k|7722 | 0.000000e+00 | -- | Inf
1231.17/1231.22 c 1231s| 6180k| 1197k| 14025k| 2.3 |1035M| 45 | 6 | 50 |9862 | 50 | 17 | 22 |3451k|7727 | 0.000000e+00 | -- | Inf
1233.57/1233.67 c 1234s| 6190k| 1198k| 14048k| 2.3 |1036M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |3457k|7736 | 0.000000e+00 | -- | Inf
1236.67/1236.70 c 1237s| 6200k| 1200k| 14071k| 2.3 |1037M| 45 | 6 | 50 |9614 | 50 | 17 | 22 |3463k|7744 | 0.000000e+00 | -- | Inf
1239.37/1239.48 c 1239s| 6210k| 1201k| 14094k| 2.3 |1039M| 45 | 6 | 50 |9404 | 50 | 17 | 22 |3468k|7752 | 0.000000e+00 | -- | Inf
1242.07/1242.17 c 1242s| 6220k| 1202k| 14116k| 2.3 |1039M| 45 | - | 50 |6851 | 50 | 17 | 22 |3474k|7760 | 0.000000e+00 | -- | Inf
1244.47/1244.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1244.47/1244.53 c 1245s| 6230k| 1203k| 14139k| 2.3 |1041M| 45 | 6 | 50 |6317 | 50 | 17 | 22 |3480k|7767 | 0.000000e+00 | -- | Inf
1246.67/1246.76 c 1247s| 6240k| 1205k| 14161k| 2.3 |1042M| 45 | 6 | 50 |6201 | 50 | 17 | 22 |3486k|7776 | 0.000000e+00 | -- | Inf
1248.97/1249.06 c 1249s| 6250k| 1206k| 14184k| 2.3 |1044M| 45 | - | 50 |5976 | 0 | 0 | 22 |3492k|7784 | 0.000000e+00 | -- | Inf
1250.96/1251.07 c 1251s| 6260k| 1208k| 14207k| 2.3 |1046M| 45 | 6 | 50 |7642 | 50 | 17 | 22 |3498k|7785 | 0.000000e+00 | -- | Inf
1253.17/1253.24 c 1253s| 6270k| 1210k| 14230k| 2.3 |1047M| 45 | - | 50 |8076 | 50 | 17 | 22 |3503k|7789 | 0.000000e+00 | -- | Inf
1255.57/1255.62 c 1256s| 6280k| 1212k| 14254k| 2.3 |1049M| 45 | 6 | 50 |8008 | 50 | 17 | 22 |3509k|7795 | 0.000000e+00 | -- | Inf
1257.77/1257.90 c 1258s| 6290k| 1213k| 14277k| 2.3 |1050M| 45 | - | 50 |7450 | 50 | 17 | 22 |3515k|7799 | 0.000000e+00 | -- | Inf
1260.07/1260.11 c 1260s| 6300k| 1215k| 14301k| 2.3 |1052M| 45 | 6 | 50 |9090 | 50 | 17 | 22 |3521k|7802 | 0.000000e+00 | -- | Inf
1262.37/1262.44 c 1262s| 6310k| 1216k| 14325k| 2.3 |1054M| 45 | - | 50 |9131 | 0 | 0 | 22 |3528k|7807 | 0.000000e+00 | -- | Inf
1264.88/1264.94 c 1265s| 6320k| 1218k| 14349k| 2.3 |1055M| 45 | 6 | 50 |9989 | 50 | 17 | 22 |3534k|7810 | 0.000000e+00 | -- | Inf
1267.67/1267.79 c 1268s| 6330k| 1219k| 14372k| 2.3 |1056M| 45 | - | 50 |6936 | 0 | 0 | 22 |3541k|7812 | 0.000000e+00 | -- | Inf
1270.07/1270.17 c 1270s| 6340k| 1220k| 14395k| 2.3 |1057M| 45 | 6 | 50 |6471 | 50 | 17 | 22 |3547k|7814 | 0.000000e+00 | -- | Inf
1272.37/1272.47 c 1272s| 6350k| 1221k| 14417k| 2.3 |1059M| 45 | - | 50 |7048 | 50 | 17 | 22 |3553k|7817 | 0.000000e+00 | -- | Inf
1274.89/1274.94 c 1275s| 6360k| 1222k| 14440k| 2.3 |1060M| 45 | 6 | 50 |6435 | 50 | 17 | 22 |3559k|7824 | 0.000000e+00 | -- | Inf
1277.17/1277.27 c 1277s| 6370k| 1224k| 14463k| 2.3 |1061M| 45 | 6 | 50 |6692 | 50 | 17 | 22 |3565k|7828 | 0.000000e+00 | -- | Inf
1279.37/1279.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1279.37/1279.45 c 1279s| 6380k| 1225k| 14485k| 2.3 |1063M| 45 | 6 | 50 |7567 | 50 | 17 | 22 |3571k|7833 | 0.000000e+00 | -- | Inf
1281.77/1281.87 c 1282s| 6390k| 1227k| 14507k| 2.3 |1064M| 45 | 6 | 50 |6311 | 50 | 17 | 22 |3577k|7835 | 0.000000e+00 | -- | Inf
1284.07/1284.16 c 1284s| 6400k| 1228k| 14530k| 2.3 |1065M| 45 | 6 | 50 |5894 | 50 | 17 | 22 |3583k|7835 | 0.000000e+00 | -- | Inf
1286.17/1286.29 c 1286s| 6410k| 1230k| 14552k| 2.3 |1067M| 45 | 6 | 50 |7012 | 50 | 17 | 22 |3589k|7835 | 0.000000e+00 | -- | Inf
1288.47/1288.54 c 1289s| 6420k| 1231k| 14574k| 2.3 |1069M| 45 | 6 | 50 |7189 | 50 | 17 | 22 |3595k|7840 | 0.000000e+00 | -- | Inf
1290.97/1291.02 c 1291s| 6430k| 1232k| 14597k| 2.3 |1070M| 45 | 6 | 50 |5926 | 50 | 17 | 22 |3601k|7845 | 0.000000e+00 | -- | Inf
1293.17/1293.20 c 1293s| 6440k| 1234k| 14619k| 2.3 |1072M| 45 | 6 | 50 |7059 | 50 | 17 | 22 |3607k|7848 | 0.000000e+00 | -- | Inf
1295.48/1295.54 c 1296s| 6450k| 1235k| 14642k| 2.3 |1073M| 45 | 6 | 50 |6913 | 50 | 17 | 22 |3613k|7851 | 0.000000e+00 | -- | Inf
1297.57/1297.64 c 1298s| 6460k| 1237k| 14665k| 2.3 |1075M| 45 | - | 50 |9200 | 50 | 17 | 22 |3619k|7853 | 0.000000e+00 | -- | Inf
1299.87/1299.98 c 1300s| 6470k| 1238k| 14686k| 2.3 |1077M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3625k|7854 | 0.000000e+00 | -- | Inf
1302.47/1302.59 c 1303s| 6480k| 1240k| 14709k| 2.3 |1078M| 45 | - | 50 |7006 | 0 | 0 | 22 |3631k|7854 | 0.000000e+00 | -- | Inf
1304.67/1304.73 c 1305s| 6490k| 1241k| 14731k| 2.3 |1079M| 45 | - | 50 |7569 | 50 | 17 | 22 |3637k|7854 | 0.000000e+00 | -- | Inf
1306.98/1307.04 c 1307s| 6500k| 1242k| 14754k| 2.3 |1081M| 45 | - | 50 |8868 | 50 | 17 | 22 |3644k|7854 | 0.000000e+00 | -- | Inf
1309.37/1309.42 c 1309s| 6510k| 1244k| 14776k| 2.3 |1083M| 45 | 6 | 50 |9656 | 50 | 17 | 22 |3649k|7854 | 0.000000e+00 | -- | Inf
1311.67/1311.79 c 1312s| 6520k| 1246k| 14799k| 2.3 |1084M| 45 | 6 | 50 |7504 | 50 | 17 | 22 |3655k|7854 | 0.000000e+00 | -- | Inf
1314.07/1314.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1314.07/1314.15 c 1314s| 6530k| 1247k| 14822k| 2.3 |1086M| 45 | - | 50 |8330 | 50 | 17 | 22 |3661k|7854 | 0.000000e+00 | -- | Inf
1316.47/1316.56 c 1317s| 6540k| 1249k| 14844k| 2.3 |1087M| 45 | 6 | 50 |6650 | 50 | 17 | 22 |3667k|7854 | 0.000000e+00 | -- | Inf
1318.79/1318.84 c 1319s| 6550k| 1250k| 14867k| 2.3 |1088M| 45 | - | 50 |6806 | 50 | 17 | 22 |3673k|7854 | 0.000000e+00 | -- | Inf
1321.09/1321.15 c 1321s| 6560k| 1251k| 14890k| 2.3 |1090M| 45 | - | 50 |6686 | 50 | 17 | 22 |3679k|7854 | 0.000000e+00 | -- | Inf
1323.07/1323.21 c 1323s| 6570k| 1253k| 14913k| 2.3 |1092M| 45 | - | 50 |7957 | 0 | 0 | 22 |3685k|7854 | 0.000000e+00 | -- | Inf
1325.38/1325.49 c 1325s| 6580k| 1255k| 14935k| 2.3 |1093M| 45 | - | 50 |8504 | 50 | 17 | 22 |3691k|7854 | 0.000000e+00 | -- | Inf
1328.07/1328.12 c 1328s| 6590k| 1256k| 14958k| 2.3 |1094M| 45 | - | 50 |6204 | 50 | 17 | 22 |3697k|7854 | 0.000000e+00 | -- | Inf
1330.27/1330.30 c 1330s| 6600k| 1257k| 14980k| 2.3 |1096M| 45 | - | 50 |6704 | 0 | 0 | 22 |3703k|7854 | 0.000000e+00 | -- | Inf
1332.57/1332.63 c 1333s| 6610k| 1258k| 15002k| 2.3 |1097M| 45 | 6 | 50 |6211 | 50 | 17 | 22 |3709k|7854 | 0.000000e+00 | -- | Inf
1334.87/1334.94 c 1335s| 6620k| 1260k| 15025k| 2.3 |1098M| 45 | 6 | 50 |5811 | 50 | 17 | 22 |3715k|7854 | 0.000000e+00 | -- | Inf
1337.07/1337.10 c 1337s| 6630k| 1261k| 15048k| 2.3 |1100M| 45 | 6 | 50 |6281 | 50 | 17 | 22 |3721k|7854 | 0.000000e+00 | -- | Inf
1339.47/1339.52 c 1340s| 6640k| 1262k| 15070k| 2.3 |1101M| 45 | 6 | 50 |5791 | 50 | 17 | 22 |3727k|7854 | 0.000000e+00 | -- | Inf
1341.67/1341.74 c 1342s| 6650k| 1264k| 15093k| 2.3 |1103M| 45 | 6 | 50 |6411 | 50 | 17 | 22 |3733k|7854 | 0.000000e+00 | -- | Inf
1343.97/1344.03 c 1344s| 6660k| 1265k| 15115k| 2.3 |1104M| 45 | - | 50 |6246 | 50 | 17 | 22 |3739k|7854 | 0.000000e+00 | -- | Inf
1346.17/1346.24 c 1346s| 6670k| 1267k| 15138k| 2.3 |1106M| 45 | - | 50 |6137 | 50 | 17 | 22 |3745k|7854 | 0.000000e+00 | -- | Inf
1348.07/1348.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1348.07/1348.17 c 1348s| 6680k| 1268k| 15162k| 2.3 |1108M| 45 | - | 50 |7893 | 0 | 0 | 22 |3751k|7854 | 0.000000e+00 | -- | Inf
1350.37/1350.46 c 1350s| 6690k| 1270k| 15186k| 2.3 |1109M| 45 | 6 | 50 |7851 | 50 | 17 | 22 |3757k|7854 | 0.000000e+00 | -- | Inf
1352.57/1352.66 c 1353s| 6700k| 1272k| 15209k| 2.3 |1111M| 45 | 6 | 50 |9032 | 50 | 17 | 22 |3763k|7854 | 0.000000e+00 | -- | Inf
1355.09/1355.13 c 1355s| 6710k| 1273k| 15233k| 2.3 |1113M| 45 | - | 50 |8375 | 50 | 17 | 22 |3769k|7854 | 0.000000e+00 | -- | Inf
1357.58/1357.67 c 1358s| 6720k| 1274k| 15255k| 2.3 |1114M| 45 | - | 50 |6280 | 50 | 17 | 22 |3775k|7854 | 0.000000e+00 | -- | Inf
1359.97/1360.07 c 1360s| 6730k| 1275k| 15279k| 2.3 |1115M| 45 | 6 | 50 |5419 | 50 | 17 | 22 |3782k|7854 | 0.000000e+00 | -- | Inf
1362.08/1362.12 c 1362s| 6740k| 1277k| 15300k| 2.3 |1117M| 45 | 6 | 50 |6638 | 50 | 17 | 22 |3787k|7854 | 0.000000e+00 | -- | Inf
1364.27/1364.37 c 1364s| 6750k| 1278k| 15322k| 2.3 |1118M| 45 | 6 | 50 |6224 | 50 | 17 | 22 |3793k|7854 | 0.000000e+00 | -- | Inf
1366.47/1366.55 c 1367s| 6760k| 1280k| 15344k| 2.3 |1120M| 45 | 6 | 50 |6824 | 50 | 17 | 22 |3799k|7854 | 0.000000e+00 | -- | Inf
1368.78/1368.80 c 1369s| 6770k| 1281k| 15367k| 2.3 |1121M| 45 | 6 | 50 |7359 | 50 | 17 | 22 |3805k|7854 | 0.000000e+00 | -- | Inf
1371.17/1371.25 c 1371s| 6780k| 1282k| 15389k| 2.3 |1122M| 45 | 6 | 50 |6503 | 50 | 17 | 22 |3811k|7854 | 0.000000e+00 | -- | Inf
1373.38/1373.48 c 1373s| 6790k| 1284k| 15413k| 2.3 |1124M| 45 | 6 | 50 |7057 | 50 | 17 | 22 |3817k|7854 | 0.000000e+00 | -- | Inf
1375.78/1375.80 c 1376s| 6800k| 1285k| 15436k| 2.3 |1125M| 45 | 6 | 50 |6724 | 50 | 17 | 22 |3823k|7854 | 0.000000e+00 | -- | Inf
1377.87/1377.98 c 1378s| 6810k| 1286k| 15458k| 2.3 |1127M| 45 | 6 | 50 |7384 | 50 | 17 | 22 |3829k|7854 | 0.000000e+00 | -- | Inf
1380.18/1380.26 c 1380s| 6820k| 1288k| 15480k| 2.3 |1129M| 45 | 6 | 50 |7571 | 50 | 17 | 22 |3835k|7854 | 0.000000e+00 | -- | Inf
1382.68/1382.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.68/1382.76 c 1383s| 6830k| 1289k| 15503k| 2.3 |1130M| 45 | 6 | 50 |6337 | 50 | 17 | 22 |3841k|7854 | 0.000000e+00 | -- | Inf
1384.97/1385.06 c 1385s| 6840k| 1290k| 15525k| 2.3 |1131M| 45 | - | 50 |6709 | 50 | 17 | 22 |3847k|7854 | 0.000000e+00 | -- | Inf
1386.99/1387.10 c 1387s| 6850k| 1292k| 15547k| 2.3 |1133M| 45 | - | 50 |8760 | 0 | 0 | 22 |3853k|7854 | 0.000000e+00 | -- | Inf
1389.47/1389.59 c 1390s| 6860k| 1293k| 15569k| 2.3 |1135M| 45 | 6 | 50 |9928 | 50 | 17 | 22 |3859k|7854 | 0.000000e+00 | -- | Inf
1391.88/1391.93 c 1392s| 6870k| 1295k| 15591k| 2.3 |1137M| 45 | - | 50 | 10k| 0 | 0 | 22 |3864k|7854 | 0.000000e+00 | -- | Inf
1394.27/1394.35 c 1394s| 6880k| 1297k| 15613k| 2.3 |1138M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |3869k|7854 | 0.000000e+00 | -- | Inf
1397.07/1397.12 c 1397s| 6890k| 1298k| 15634k| 2.3 |1139M| 45 | - | 50 | 10k| 50 | 17 | 22 |3875k|7854 | 0.000000e+00 | -- | Inf
1399.57/1399.69 c 1400s| 6900k| 1300k| 15656k| 2.3 |1141M| 45 | - | 50 | 11k| 50 | 17 | 22 |3880k|7854 | 0.000000e+00 | -- | Inf
1402.08/1402.19 c 1402s| 6910k| 1301k| 15677k| 2.3 |1142M| 45 | - | 50 |9692 | 50 | 17 | 22 |3886k|7855 | 0.000000e+00 | -- | Inf
1404.68/1404.73 c 1405s| 6920k| 1303k| 15700k| 2.3 |1143M| 45 | - | 50 |7345 | 50 | 17 | 22 |3891k|7859 | 0.000000e+00 | -- | Inf
1406.89/1406.92 c 1407s| 6930k| 1305k| 15722k| 2.3 |1145M| 45 | - | 50 |8503 | 50 | 17 | 22 |3897k|7861 | 0.000000e+00 | -- | Inf
1409.37/1409.48 c 1409s| 6940k| 1306k| 15745k| 2.3 |1146M| 45 | 6 | 50 |7203 | 50 | 17 | 22 |3903k|7862 | 0.000000e+00 | -- | Inf
1411.47/1411.55 c 1412s| 6950k| 1308k| 15769k| 2.3 |1148M| 45 | - | 50 |9043 | 50 | 17 | 22 |3909k|7862 | 0.000000e+00 | -- | Inf
1413.78/1413.87 c 1414s| 6960k| 1309k| 15792k| 2.3 |1150M| 45 | - | 50 | 10k| 50 | 17 | 22 |3915k|7862 | 0.000000e+00 | -- | Inf
1416.17/1416.26 c 1416s| 6970k| 1310k| 15816k| 2.3 |1151M| 45 | - | 50 | 10k| 50 | 17 | 22 |3921k|7862 | 0.000000e+00 | -- | Inf
1418.67/1418.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1418.67/1418.71 c 1419s| 6980k| 1312k| 15839k| 2.3 |1153M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |3928k|7862 | 0.000000e+00 | -- | Inf
1421.58/1421.67 c 1422s| 6990k| 1313k| 15861k| 2.3 |1153M| 45 | 6 | 50 |6768 | 50 | 17 | 22 |3934k|7866 | 0.000000e+00 | -- | Inf
1423.97/1424.00 c 1424s| 7000k| 1314k| 15885k| 2.3 |1155M| 45 | 6 | 50 |8292 | 50 | 17 | 22 |3940k|7866 | 0.000000e+00 | -- | Inf
1426.18/1426.24 c 1426s| 7010k| 1316k| 15908k| 2.3 |1157M| 45 | 6 | 50 |9257 | 50 | 17 | 22 |3946k|7866 | 0.000000e+00 | -- | Inf
1428.57/1428.68 c 1429s| 7020k| 1317k| 15930k| 2.3 |1158M| 45 | 6 | 50 |8744 | 50 | 17 | 22 |3952k|7868 | 0.000000e+00 | -- | Inf
1431.18/1431.21 c 1431s| 7030k| 1319k| 15953k| 2.3 |1159M| 45 | 6 | 50 |7121 | 50 | 17 | 22 |3958k|7873 | 0.000000e+00 | -- | Inf
1433.29/1433.36 c 1433s| 7040k| 1320k| 15976k| 2.3 |1161M| 45 | - | 50 |7907 | 50 | 17 | 22 |3964k|7875 | 0.000000e+00 | -- | Inf
1435.49/1435.58 c 1436s| 7050k| 1322k| 15998k| 2.3 |1163M| 45 | - | 50 |9067 | 0 | 0 | 22 |3970k|7881 | 0.000000e+00 | -- | Inf
1437.87/1437.91 c 1438s| 7060k| 1323k| 16021k| 2.3 |1164M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |3976k|7884 | 0.000000e+00 | -- | Inf
1440.48/1440.51 c 1441s| 7070k| 1325k| 16044k| 2.3 |1166M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |3982k|7891 | 0.000000e+00 | -- | Inf
1443.38/1443.45 c 1443s| 7080k| 1326k| 16066k| 2.3 |1167M| 45 | 6 | 50 |8459 | 50 | 17 | 22 |3988k|7893 | 0.000000e+00 | -- | Inf
1445.78/1445.80 c 1446s| 7090k| 1327k| 16088k| 2.3 |1168M| 45 | - | 50 |7876 | 50 | 17 | 22 |3993k|7894 | 0.000000e+00 | -- | Inf
1448.28/1448.32 c 1448s| 7100k| 1329k| 16112k| 2.3 |1169M| 45 | 6 | 50 |6807 | 50 | 17 | 22 |4000k|7898 | 0.000000e+00 | -- | Inf
1450.67/1450.76 c 1451s| 7110k| 1330k| 16135k| 2.3 |1171M| 45 | - | 50 |6244 | 0 | 0 | 22 |4006k|7901 | 0.000000e+00 | -- | Inf
1452.99/1453.11 c 1453s| 7120k| 1331k| 16157k| 2.3 |1172M| 45 | 6 | 50 |5618 | 50 | 17 | 22 |4012k|7907 | 0.000000e+00 | -- | Inf
1454.88/1454.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1454.88/1454.98 c 1455s| 7130k| 1333k| 16180k| 2.3 |1174M| 45 | 6 | 50 |7375 | 50 | 17 | 22 |4017k|7909 | 0.000000e+00 | -- | Inf
1456.88/1456.96 c 1457s| 7140k| 1336k| 16202k| 2.3 |1176M| 45 | - | 50 |8018 | 50 | 17 | 22 |4022k|7913 | 0.000000e+00 | -- | Inf
1459.17/1459.25 c 1459s| 7150k| 1338k| 16225k| 2.3 |1178M| 45 | 6 | 50 |8167 | 50 | 17 | 22 |4027k|7919 | 0.000000e+00 | -- | Inf
1461.38/1461.46 c 1461s| 7160k| 1340k| 16247k| 2.3 |1179M| 45 | 6 | 50 |8759 | 50 | 17 | 22 |4033k|7923 | 0.000000e+00 | -- | Inf
1463.67/1463.70 c 1464s| 7170k| 1341k| 16268k| 2.3 |1181M| 45 | 6 | 50 |9054 | 50 | 17 | 22 |4039k|7931 | 0.000000e+00 | -- | Inf
1465.98/1466.05 c 1466s| 7180k| 1343k| 16292k| 2.3 |1183M| 45 | 6 | 50 |9438 | 50 | 17 | 22 |4044k|7934 | 0.000000e+00 | -- | Inf
1468.39/1468.42 c 1468s| 7190k| 1345k| 16315k| 2.3 |1184M| 45 | - | 50 |8318 | 50 | 17 | 22 |4050k|7937 | 0.000000e+00 | -- | Inf
1470.59/1470.66 c 1471s| 7200k| 1346k| 16336k| 2.3 |1186M| 45 | 6 | 50 |9293 | 50 | 17 | 22 |4055k|7942 | 0.000000e+00 | -- | Inf
1472.98/1473.06 c 1473s| 7210k| 1348k| 16358k| 2.3 |1187M| 45 | 6 | 50 |8778 | 50 | 17 | 22 |4061k|7947 | 0.000000e+00 | -- | Inf
1475.38/1475.48 c 1475s| 7220k| 1349k| 16380k| 2.3 |1189M| 45 | 6 | 50 |9046 | 50 | 17 | 22 |4067k|7953 | 0.000000e+00 | -- | Inf
1477.78/1477.89 c 1478s| 7230k| 1351k| 16402k| 2.3 |1190M| 45 | - | 50 |9270 | 0 | 0 | 22 |4073k|7958 | 0.000000e+00 | -- | Inf
1480.27/1480.31 c 1480s| 7240k| 1352k| 16424k| 2.3 |1192M| 45 | 6 | 50 |9329 | 50 | 17 | 22 |4078k|7961 | 0.000000e+00 | -- | Inf
1482.70/1482.77 c 1483s| 7250k| 1353k| 16446k| 2.3 |1193M| 45 | - | 50 |9540 | 50 | 17 | 22 |4084k|7967 | 0.000000e+00 | -- | Inf
1485.38/1485.40 c 1485s| 7260k| 1355k| 16468k| 2.3 |1194M| 45 | 6 | 50 |8915 | 50 | 17 | 22 |4090k|7972 | 0.000000e+00 | -- | Inf
1487.97/1488.01 c 1488s| 7270k| 1356k| 16490k| 2.3 |1195M| 45 | 6 | 50 |8776 | 50 | 17 | 22 |4097k|7974 | 0.000000e+00 | -- | Inf
1490.50/1490.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1490.50/1490.54 c 1491s| 7280k| 1357k| 16512k| 2.3 |1197M| 45 | 6 | 50 |8871 | 50 | 17 | 22 |4102k|7979 | 0.000000e+00 | -- | Inf
1493.07/1493.10 c 1493s| 7290k| 1358k| 16534k| 2.3 |1198M| 45 | 6 | 50 |9183 | 50 | 17 | 22 |4109k|7981 | 0.000000e+00 | -- | Inf
1495.68/1495.73 c 1496s| 7300k| 1359k| 16556k| 2.3 |1199M| 45 | - | 50 |6995 | 50 | 17 | 22 |4114k|7982 | 0.000000e+00 | -- | Inf
1498.10/1498.13 c 1498s| 7310k| 1360k| 16578k| 2.3 |1200M| 45 | - | 50 |6333 | 0 | 0 | 22 |4120k|7982 | 0.000000e+00 | -- | Inf
1500.57/1500.61 c 1501s| 7320k| 1361k| 16601k| 2.3 |1201M| 45 | 6 | 50 |6269 | 50 | 17 | 22 |4127k|7984 | 0.000000e+00 | -- | Inf
1502.88/1502.98 c 1503s| 7330k| 1363k| 16622k| 2.3 |1203M| 45 | 6 | 50 |6137 | 50 | 17 | 22 |4133k|7987 | 0.000000e+00 | -- | Inf
1505.17/1505.23 c 1505s| 7340k| 1364k| 16645k| 2.3 |1204M| 45 | 6 | 50 |6883 | 50 | 17 | 22 |4138k|7990 | 0.000000e+00 | -- | Inf
1507.47/1507.53 c 1508s| 7350k| 1366k| 16667k| 2.3 |1206M| 45 | 6 | 50 |6417 | 50 | 17 | 22 |4144k|7994 | 0.000000e+00 | -- | Inf
1509.58/1509.69 c 1510s| 7360k| 1367k| 16688k| 2.3 |1208M| 45 | - | 50 |7915 | 50 | 17 | 22 |4150k|7999 | 0.000000e+00 | -- | Inf
1511.98/1512.09 c 1512s| 7370k| 1368k| 16711k| 2.3 |1209M| 45 | - | 50 |6618 | 50 | 17 | 22 |4156k|8001 | 0.000000e+00 | -- | Inf
1514.18/1514.29 c 1514s| 7380k| 1370k| 16734k| 2.3 |1210M| 45 | 6 | 50 |7472 | 50 | 17 | 22 |4162k|8002 | 0.000000e+00 | -- | Inf
1516.48/1516.58 c 1517s| 7390k| 1371k| 16755k| 2.3 |1212M| 45 | - | 50 |7050 | 50 | 17 | 22 |4167k|8002 | 0.000000e+00 | -- | Inf
1518.78/1518.80 c 1519s| 7400k| 1373k| 16777k| 2.3 |1213M| 45 | 6 | 50 |7623 | 50 | 17 | 22 |4173k|8003 | 0.000000e+00 | -- | Inf
1521.19/1521.31 c 1521s| 7410k| 1374k| 16800k| 2.3 |1215M| 45 | 6 | 50 |7573 | 50 | 17 | 22 |4179k|8004 | 0.000000e+00 | -- | Inf
1523.78/1523.86 c 1524s| 7420k| 1375k| 16822k| 2.3 |1216M| 45 | 6 | 50 |6085 | 50 | 17 | 22 |4186k|8006 | 0.000000e+00 | -- | Inf
1526.08/1526.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1526.08/1526.13 c 1526s| 7430k| 1376k| 16845k| 2.3 |1217M| 45 | 6 | 50 |6147 | 50 | 17 | 22 |4192k|8006 | 0.000000e+00 | -- | Inf
1528.28/1528.40 c 1528s| 7440k| 1378k| 16868k| 2.3 |1219M| 45 | 6 | 50 |6056 | 50 | 17 | 22 |4198k|8008 | 0.000000e+00 | -- | Inf
1530.38/1530.42 c 1530s| 7450k| 1380k| 16892k| 2.3 |1221M| 45 | - | 50 |7986 | 0 | 0 | 22 |4204k|8013 | 0.000000e+00 | -- | Inf
1532.58/1532.64 c 1533s| 7460k| 1381k| 16916k| 2.3 |1223M| 45 | 6 | 50 |8257 | 50 | 17 | 22 |4209k|8015 | 0.000000e+00 | -- | Inf
1534.88/1534.90 c 1535s| 7470k| 1383k| 16940k| 2.3 |1224M| 45 | - | 50 |8841 | 50 | 17 | 22 |4215k|8020 | 0.000000e+00 | -- | Inf
1537.28/1537.35 c 1537s| 7480k| 1385k| 16964k| 2.3 |1226M| 45 | 6 | 50 |8865 | 50 | 17 | 22 |4222k|8024 | 0.000000e+00 | -- | Inf
1539.89/1539.92 c 1540s| 7490k| 1386k| 16988k| 2.3 |1227M| 45 | - | 50 |8589 | 50 | 17 | 22 |4228k|8026 | 0.000000e+00 | -- | Inf
1542.38/1542.46 c 1542s| 7500k| 1387k| 17010k| 2.3 |1228M| 45 | - | 50 |7151 | 0 | 0 | 22 |4234k|8032 | 0.000000e+00 | -- | Inf
1544.78/1544.82 c 1545s| 7510k| 1388k| 17032k| 2.3 |1229M| 45 | 6 | 50 |6392 | 50 | 17 | 22 |4241k|8038 | 0.000000e+00 | -- | Inf
1547.18/1547.25 c 1547s| 7520k| 1389k| 17055k| 2.3 |1231M| 45 | 6 | 50 |6610 | 50 | 17 | 22 |4247k|8039 | 0.000000e+00 | -- | Inf
1549.68/1549.71 c 1550s| 7530k| 1391k| 17078k| 2.3 |1232M| 45 | 6 | 50 |5828 | 50 | 17 | 22 |4253k|8039 | 0.000000e+00 | -- | Inf
1551.68/1551.78 c 1552s| 7540k| 1393k| 17100k| 2.3 |1234M| 45 | - | 50 |7369 | 50 | 17 | 22 |4259k|8043 | 0.000000e+00 | -- | Inf
1553.88/1553.95 c 1554s| 7550k| 1394k| 17123k| 2.3 |1236M| 45 | - | 50 |9413 | 50 | 17 | 22 |4264k|8045 | 0.000000e+00 | -- | Inf
1556.58/1556.68 c 1557s| 7560k| 1395k| 17146k| 2.3 |1237M| 45 | 6 | 50 |8064 | 50 | 17 | 22 |4270k|8050 | 0.000000e+00 | -- | Inf
1559.18/1559.20 c 1559s| 7570k| 1397k| 17169k| 2.3 |1238M| 45 | 6 | 50 |5708 | 50 | 17 | 22 |4276k|8052 | 0.000000e+00 | -- | Inf
1561.08/1561.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1561.08/1561.17 c 1561s| 7580k| 1399k| 17191k| 2.3 |1240M| 45 | 6 | 50 |7315 | 50 | 17 | 22 |4282k|8052 | 0.000000e+00 | -- | Inf
1563.28/1563.35 c 1563s| 7590k| 1401k| 17212k| 2.3 |1242M| 45 | - | 50 |8096 | 50 | 17 | 22 |4287k|8054 | 0.000000e+00 | -- | Inf
1565.78/1565.81 c 1566s| 7600k| 1402k| 17234k| 2.3 |1243M| 45 | - | 50 |7898 | 50 | 17 | 22 |4293k|8059 | 0.000000e+00 | -- | Inf
1568.38/1568.40 c 1568s| 7610k| 1403k| 17256k| 2.3 |1244M| 45 | 6 | 50 |7442 | 50 | 17 | 22 |4299k|8062 | 0.000000e+00 | -- | Inf
1570.98/1571.05 c 1571s| 7620k| 1404k| 17279k| 2.3 |1245M| 45 | - | 50 |5971 | 50 | 17 | 22 |4306k|8067 | 0.000000e+00 | -- | Inf
1573.18/1573.26 c 1573s| 7630k| 1406k| 17301k| 2.3 |1247M| 45 | 6 | 50 |6745 | 50 | 17 | 22 |4311k|8071 | 0.000000e+00 | -- | Inf
1575.49/1575.53 c 1576s| 7640k| 1407k| 17325k| 2.3 |1249M| 45 | - | 50 |7794 | 0 | 0 | 22 |4317k|8076 | 0.000000e+00 | -- | Inf
1577.88/1577.90 c 1578s| 7650k| 1409k| 17348k| 2.3 |1250M| 45 | 6 | 50 |7436 | 50 | 17 | 22 |4323k|8082 | 0.000000e+00 | -- | Inf
1580.29/1580.32 c 1580s| 7660k| 1410k| 17371k| 2.3 |1251M| 45 | 6 | 50 |7100 | 50 | 17 | 22 |4329k|8084 | 0.000000e+00 | -- | Inf
1582.69/1582.79 c 1583s| 7670k| 1411k| 17393k| 2.3 |1253M| 45 | - | 50 |6158 | 50 | 17 | 22 |4335k|8091 | 0.000000e+00 | -- | Inf
1584.88/1584.98 c 1585s| 7680k| 1413k| 17416k| 2.3 |1254M| 45 | 6 | 50 |7172 | 50 | 17 | 22 |4341k|8094 | 0.000000e+00 | -- | Inf
1587.29/1587.32 c 1587s| 7690k| 1414k| 17439k| 2.3 |1256M| 45 | 6 | 50 |7094 | 50 | 17 | 22 |4347k|8098 | 0.000000e+00 | -- | Inf
1589.78/1589.82 c 1590s| 7700k| 1416k| 17462k| 2.3 |1257M| 45 | - | 50 |6990 | 50 | 17 | 22 |4353k|8100 | 0.000000e+00 | -- | Inf
1591.98/1592.04 c 1592s| 7710k| 1417k| 17484k| 2.3 |1259M| 45 | - | 50 |7749 | 50 | 17 | 22 |4359k|8103 | 0.000000e+00 | -- | Inf
1594.38/1594.43 c 1594s| 7720k| 1419k| 17507k| 2.3 |1260M| 45 | 6 | 50 |7752 | 50 | 17 | 22 |4365k|8104 | 0.000000e+00 | -- | Inf
1596.88/1596.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1596.88/1596.94 c 1597s| 7730k| 1420k| 17529k| 2.3 |1262M| 45 | - | 50 |6327 | 50 | 17 | 22 |4371k|8110 | 0.000000e+00 | -- | Inf
1599.30/1599.36 c 1599s| 7740k| 1421k| 17551k| 2.3 |1263M| 45 | - | 50 |6487 | 50 | 17 | 22 |4377k|8110 | 0.000000e+00 | -- | Inf
1601.68/1601.79 c 1602s| 7750k| 1423k| 17575k| 2.3 |1264M| 45 | - | 50 |6405 | 50 | 17 | 22 |4383k|8111 | 0.000000e+00 | -- | Inf
1603.88/1603.94 c 1604s| 7760k| 1424k| 17598k| 2.3 |1266M| 45 | 6 | 50 |7201 | 50 | 17 | 22 |4389k|8112 | 0.000000e+00 | -- | Inf
1606.18/1606.24 c 1606s| 7770k| 1425k| 17621k| 2.3 |1268M| 45 | 6 | 50 |9343 | 50 | 17 | 22 |4395k|8116 | 0.000000e+00 | -- | Inf
1608.68/1608.71 c 1609s| 7780k| 1427k| 17644k| 2.3 |1269M| 45 | - | 50 |8505 | 50 | 17 | 22 |4401k|8120 | 0.000000e+00 | -- | Inf
1611.28/1611.37 c 1611s| 7790k| 1428k| 17667k| 2.3 |1270M| 45 | - | 50 |6395 | 50 | 17 | 22 |4407k|8121 | 0.000000e+00 | -- | Inf
1613.38/1613.41 c 1613s| 7800k| 1430k| 17689k| 2.3 |1272M| 45 | 6 | 50 |8162 | 50 | 17 | 22 |4413k|8121 | 0.000000e+00 | -- | Inf
1615.58/1615.68 c 1616s| 7810k| 1432k| 17712k| 2.3 |1274M| 45 | 6 | 50 |8766 | 50 | 17 | 22 |4419k|8121 | 0.000000e+00 | -- | Inf
1618.09/1618.12 c 1618s| 7820k| 1433k| 17734k| 2.3 |1275M| 45 | 6 | 50 |9115 | 50 | 17 | 22 |4424k|8121 | 0.000000e+00 | -- | Inf
1620.29/1620.39 c 1620s| 7830k| 1434k| 17756k| 2.3 |1277M| 45 | 6 | 50 |9815 | 50 | 17 | 22 |4430k|8121 | 0.000000e+00 | -- | Inf
1622.98/1623.02 c 1623s| 7840k| 1436k| 17779k| 2.3 |1278M| 45 | 6 | 50 |9588 | 50 | 17 | 22 |4436k|8121 | 0.000000e+00 | -- | Inf
1625.58/1625.60 c 1626s| 7850k| 1437k| 17801k| 2.3 |1279M| 45 | 6 | 50 |8147 | 50 | 17 | 22 |4442k|8121 | 0.000000e+00 | -- | Inf
1627.90/1627.92 c 1628s| 7860k| 1439k| 17823k| 2.3 |1281M| 45 | 6 | 50 |8168 | 50 | 17 | 22 |4448k|8121 | 0.000000e+00 | -- | Inf
1630.28/1630.38 c 1630s| 7870k| 1440k| 17845k| 2.3 |1282M| 45 | - | 50 |6936 | 0 | 0 | 22 |4454k|8121 | 0.000000e+00 | -- | Inf
1632.58/1632.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1632.58/1632.66 c 1633s| 7880k| 1441k| 17867k| 2.3 |1284M| 45 | - | 50 |8006 | 50 | 17 | 22 |4460k|8121 | 0.000000e+00 | -- | Inf
1634.88/1634.93 c 1635s| 7890k| 1443k| 17891k| 2.3 |1285M| 45 | - | 50 |7869 | 50 | 17 | 22 |4466k|8121 | 0.000000e+00 | -- | Inf
1637.19/1637.22 c 1637s| 7900k| 1445k| 17914k| 2.3 |1287M| 45 | - | 50 |8911 | 50 | 17 | 22 |4471k|8121 | 0.000000e+00 | -- | Inf
1639.58/1639.60 c 1640s| 7910k| 1447k| 17937k| 2.3 |1289M| 45 | 6 | 50 |9702 | 50 | 17 | 22 |4477k|8121 | 0.000000e+00 | -- | Inf
1642.48/1642.52 c 1643s| 7920k| 1448k| 17960k| 2.3 |1290M| 45 | 6 | 50 |7772 | 50 | 17 | 22 |4483k|8124 | 0.000000e+00 | -- | Inf
1644.89/1644.91 c 1645s| 7930k| 1449k| 17982k| 2.3 |1291M| 45 | 6 | 50 |7398 | 50 | 17 | 22 |4489k|8125 | 0.000000e+00 | -- | Inf
1647.39/1647.40 c 1647s| 7940k| 1450k| 18004k| 2.3 |1292M| 45 | - | 50 |6266 | 50 | 17 | 22 |4495k|8127 | 0.000000e+00 | -- | Inf
1649.39/1649.49 c 1649s| 7950k| 1452k| 18028k| 2.3 |1294M| 45 | - | 50 |7828 | 50 | 17 | 22 |4501k|8135 | 0.000000e+00 | -- | Inf
1651.88/1651.93 c 1652s| 7960k| 1453k| 18050k| 2.3 |1296M| 45 | 6 | 50 |7106 | 50 | 17 | 22 |4507k|8142 | 0.000000e+00 | -- | Inf
1654.39/1654.47 c 1654s| 7970k| 1454k| 18073k| 2.3 |1297M| 45 | - | 50 |5700 | 50 | 17 | 22 |4513k|8142 | 0.000000e+00 | -- | Inf
1656.68/1656.75 c 1657s| 7980k| 1455k| 18095k| 2.3 |1298M| 45 | 6 | 50 |6014 | 50 | 17 | 22 |4519k|8142 | 0.000000e+00 | -- | Inf
1658.98/1659.03 c 1659s| 7990k| 1457k| 18117k| 2.3 |1300M| 45 | 6 | 50 |6337 | 50 | 17 | 22 |4525k|8142 | 0.000000e+00 | -- | Inf
1661.18/1661.22 c 1661s| 8000k| 1458k| 18140k| 2.3 |1301M| 45 | 6 | 50 |7303 | 50 | 17 | 22 |4531k|8142 | 0.000000e+00 | -- | Inf
1663.38/1663.44 c 1663s| 8010k| 1460k| 18163k| 2.3 |1303M| 45 | 6 | 50 |8228 | 50 | 17 | 22 |4537k|8142 | 0.000000e+00 | -- | Inf
1665.89/1665.91 c 1666s| 8020k| 1461k| 18186k| 2.3 |1304M| 45 | 6 | 50 |7663 | 50 | 17 | 22 |4543k|8142 | 0.000000e+00 | -- | Inf
1668.28/1668.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1668.28/1668.32 c 1668s| 8030k| 1462k| 18209k| 2.3 |1306M| 45 | 6 | 50 |7328 | 50 | 17 | 22 |4549k|8142 | 0.000000e+00 | -- | Inf
1670.68/1670.71 c 1671s| 8040k| 1464k| 18232k| 2.3 |1307M| 45 | 6 | 50 |7563 | 50 | 17 | 22 |4555k|8142 | 0.000000e+00 | -- | Inf
1672.99/1673.02 c 1673s| 8050k| 1465k| 18254k| 2.3 |1309M| 45 | 6 | 50 |7852 | 50 | 17 | 22 |4561k|8142 | 0.000000e+00 | -- | Inf
1675.49/1675.51 c 1676s| 8060k| 1467k| 18277k| 2.3 |1310M| 45 | 6 | 50 |6545 | 50 | 17 | 22 |4567k|8142 | 0.000000e+00 | -- | Inf
1677.99/1678.00 c 1678s| 8070k| 1468k| 18300k| 2.3 |1311M| 45 | 6 | 50 |5905 | 50 | 17 | 22 |4574k|8142 | 0.000000e+00 | -- | Inf
1680.08/1680.17 c 1680s| 8080k| 1469k| 18322k| 2.3 |1313M| 45 | 6 | 50 |6806 | 50 | 17 | 22 |4579k|8142 | 0.000000e+00 | -- | Inf
1682.38/1682.49 c 1682s| 8090k| 1471k| 18344k| 2.3 |1314M| 45 | 6 | 50 |6569 | 50 | 17 | 22 |4585k|8142 | 0.000000e+00 | -- | Inf
1684.69/1684.77 c 1685s| 8100k| 1472k| 18366k| 2.3 |1316M| 45 | 6 | 50 |6124 | 50 | 17 | 22 |4591k|8142 | 0.000000e+00 | -- | Inf
1686.78/1686.86 c 1687s| 8110k| 1474k| 18392k| 2.3 |1318M| 45 | 6 | 50 |7731 | 50 | 17 | 22 |4598k|8142 | 0.000000e+00 | -- | Inf
1689.29/1689.36 c 1689s| 8120k| 1475k| 18415k| 2.3 |1319M| 45 | - | 50 |8288 | 50 | 17 | 22 |4604k|8142 | 0.000000e+00 | -- | Inf
1691.80/1691.88 c 1692s| 8130k| 1476k| 18439k| 2.3 |1321M| 45 | - | 50 |9025 | 50 | 17 | 22 |4611k|8142 | 0.000000e+00 | -- | Inf
1694.49/1694.58 c 1695s| 8140k| 1477k| 18462k| 2.3 |1322M| 45 | - | 50 |7043 | 50 | 17 | 22 |4617k|8142 | 0.000000e+00 | -- | Inf
1696.99/1697.06 c 1697s| 8150k| 1478k| 18485k| 2.3 |1323M| 45 | - | 50 |5657 | 50 | 17 | 22 |4623k|8142 | 0.000000e+00 | -- | Inf
1699.19/1699.28 c 1699s| 8160k| 1480k| 18507k| 2.3 |1324M| 45 | 6 | 50 |6860 | 50 | 17 | 22 |4629k|8142 | 0.000000e+00 | -- | Inf
1701.48/1701.56 c 1702s| 8170k| 1481k| 18529k| 2.3 |1326M| 45 | 6 | 50 |7046 | 50 | 17 | 22 |4635k|8142 | 0.000000e+00 | -- | Inf
1703.90/1703.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1703.90/1703.95 c 1704s| 8180k| 1482k| 18552k| 2.3 |1327M| 45 | 6 | 50 |6693 | 50 | 17 | 22 |4641k|8142 | 0.000000e+00 | -- | Inf
1706.10/1706.16 c 1706s| 8190k| 1484k| 18573k| 2.3 |1329M| 45 | 6 | 50 |7715 | 50 | 17 | 22 |4646k|8142 | 0.000000e+00 | -- | Inf
1708.69/1708.71 c 1709s| 8200k| 1485k| 18596k| 2.3 |1330M| 45 | 6 | 50 |6355 | 50 | 17 | 22 |4652k|8142 | 0.000000e+00 | -- | Inf
1711.09/1711.18 c 1711s| 8210k| 1486k| 18619k| 2.3 |1331M| 45 | 6 | 50 |5188 | 50 | 17 | 22 |4659k|8142 | 0.000000e+00 | -- | Inf
1713.48/1713.51 c 1714s| 8220k| 1487k| 18642k| 2.3 |1332M| 45 | 6 | 50 |5662 | 50 | 17 | 22 |4665k|8142 | 0.000000e+00 | -- | Inf
1715.90/1715.96 c 1716s| 8230k| 1488k| 18665k| 2.3 |1333M| 45 | 6 | 50 |5569 | 50 | 17 | 22 |4671k|8142 | 0.000000e+00 | -- | Inf
1718.10/1718.15 c 1718s| 8240k| 1490k| 18688k| 2.3 |1335M| 45 | - | 50 |6367 | 50 | 17 | 22 |4678k|8142 | 0.000000e+00 | -- | Inf
1720.40/1720.49 c 1720s| 8250k| 1491k| 18711k| 2.3 |1336M| 45 | 6 | 50 |6268 | 50 | 17 | 22 |4684k|8142 | 0.000000e+00 | -- | Inf
1722.60/1722.68 c 1723s| 8260k| 1492k| 18734k| 2.3 |1338M| 45 | - | 50 |7812 | 50 | 17 | 22 |4690k|8142 | 0.000000e+00 | -- | Inf
1724.89/1724.97 c 1725s| 8270k| 1494k| 18758k| 2.3 |1340M| 45 | - | 50 |8669 | 50 | 17 | 22 |4696k|8142 | 0.000000e+00 | -- | Inf
1727.29/1727.38 c 1727s| 8280k| 1495k| 18779k| 2.3 |1341M| 45 | 6 | 50 |7276 | 50 | 17 | 22 |4702k|8142 | 0.000000e+00 | -- | Inf
1729.69/1729.72 c 1730s| 8290k| 1496k| 18802k| 2.3 |1342M| 45 | 6 | 50 |7062 | 50 | 17 | 22 |4708k|8142 | 0.000000e+00 | -- | Inf
1732.09/1732.12 c 1732s| 8300k| 1497k| 18824k| 2.3 |1344M| 45 | 6 | 50 |5916 | 50 | 17 | 22 |4714k|8142 | 0.000000e+00 | -- | Inf
1734.29/1734.36 c 1734s| 8310k| 1499k| 18846k| 2.3 |1345M| 45 | 6 | 50 |6449 | 50 | 17 | 22 |4719k|8142 | 0.000000e+00 | -- | Inf
1736.48/1736.57 c 1737s| 8320k| 1500k| 18869k| 2.3 |1347M| 45 | - | 50 |7453 | 50 | 17 | 22 |4725k|8142 | 0.000000e+00 | -- | Inf
1738.88/1738.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1738.88/1738.96 c 1739s| 8330k| 1501k| 18892k| 2.3 |1348M| 45 | 6 | 50 |7599 | 50 | 17 | 22 |4731k|8142 | 0.000000e+00 | -- | Inf
1741.20/1741.28 c 1741s| 8340k| 1503k| 18915k| 2.3 |1350M| 45 | - | 50 |6936 | 50 | 17 | 22 |4737k|8142 | 0.000000e+00 | -- | Inf
1743.29/1743.41 c 1743s| 8350k| 1504k| 18938k| 2.3 |1351M| 45 | - | 50 |7990 | 50 | 17 | 22 |4743k|8142 | 0.000000e+00 | -- | Inf
1745.70/1745.73 c 1746s| 8360k| 1506k| 18960k| 2.3 |1353M| 45 | 6 | 50 |8742 | 50 | 17 | 22 |4749k|8142 | 0.000000e+00 | -- | Inf
1748.29/1748.39 c 1748s| 8370k| 1507k| 18982k| 2.3 |1354M| 45 | 6 | 50 |7560 | 50 | 17 | 22 |4755k|8142 | 0.000000e+00 | -- | Inf
1750.48/1750.52 c 1751s| 8380k| 1509k| 19006k| 2.3 |1356M| 45 | - | 50 |9303 | 50 | 17 | 22 |4761k|8142 | 0.000000e+00 | -- | Inf
1752.89/1752.98 c 1753s| 8390k| 1510k| 19029k| 2.3 |1358M| 45 | - | 50 |9573 | 50 | 17 | 22 |4767k|8143 | 0.000000e+00 | -- | Inf
1755.38/1755.46 c 1755s| 8400k| 1512k| 19052k| 2.3 |1360M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |4773k|8144 | 0.000000e+00 | -- | Inf
1758.09/1758.17 c 1758s| 8410k| 1513k| 19074k| 2.3 |1360M| 45 | - | 50 |8166 | 50 | 17 | 22 |4779k|8149 | 0.000000e+00 | -- | Inf
1760.49/1760.55 c 1761s| 8420k| 1515k| 19096k| 2.3 |1362M| 45 | 6 | 50 |7253 | 50 | 17 | 22 |4785k|8151 | 0.000000e+00 | -- | Inf
1762.88/1762.99 c 1763s| 8430k| 1516k| 19119k| 2.3 |1363M| 45 | - | 50 |7985 | 50 | 17 | 22 |4791k|8157 | 0.000000e+00 | -- | Inf
1765.41/1765.41 c 1765s| 8440k| 1517k| 19143k| 2.3 |1365M| 45 | 6 | 50 |8364 | 50 | 17 | 22 |4797k|8159 | 0.000000e+00 | -- | Inf
1767.60/1767.67 c 1768s| 8450k| 1519k| 19166k| 2.3 |1367M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |4803k|8160 | 0.000000e+00 | -- | Inf
1770.39/1770.42 c 1770s| 8460k| 1521k| 19188k| 2.3 |1368M| 45 | 6 | 50 |7801 | 50 | 17 | 22 |4809k|8164 | 0.000000e+00 | -- | Inf
1772.99/1773.02 c 1773s| 8470k| 1522k| 19211k| 2.3 |1369M| 45 | - | 50 |6840 | 50 | 17 | 22 |4815k|8166 | 0.000000e+00 | -- | Inf
1775.49/1775.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1775.49/1775.53 c 1776s| 8480k| 1523k| 19234k| 2.3 |1370M| 45 | - | 50 |6471 | 50 | 17 | 22 |4821k|8170 | 0.000000e+00 | -- | Inf
1777.50/1777.58 c 1778s| 8490k| 1525k| 19259k| 2.3 |1372M| 45 | - | 50 |8444 | 50 | 17 | 22 |4827k|8171 | 0.000000e+00 | -- | Inf
1779.71/1779.79 c 1780s| 8500k| 1527k| 19283k| 2.3 |1374M| 45 | 6 | 50 |9930 | 50 | 17 | 22 |4832k|8174 | 0.000000e+00 | -- | Inf
1782.09/1782.14 c 1782s| 8510k| 1529k| 19308k| 2.3 |1377M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |4838k|8176 | 0.000000e+00 | -- | Inf
1784.49/1784.54 c 1785s| 8520k| 1532k| 19332k| 2.3 |1379M| 45 | 6 | 50 | 12k| 50 | 17 | 22 |4843k|8186 | 0.000000e+00 | -- | Inf
1787.40/1787.47 c 1787s| 8530k| 1534k| 19356k| 2.3 |1380M| 45 | 6 | 50 | 10k| 50 | 17 | 22 |4849k|8186 | 0.000000e+00 | -- | Inf
1789.70/1789.75 c 1790s| 8540k| 1536k| 19380k| 2.3 |1382M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |4854k|8189 | 0.000000e+00 | -- | Inf
1792.38/1792.48 c 1792s| 8550k| 1538k| 19403k| 2.3 |1383M| 45 | - | 50 | 11k| 50 | 17 | 22 |4860k|8194 | 0.000000e+00 | -- | Inf
1794.99/1795.03 c 1795s| 8560k| 1540k| 19426k| 2.3 |1385M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |4865k|8198 | 0.000000e+00 | -- | Inf
1797.58/1797.60 c 1798s| 8570k| 1542k| 19450k| 2.3 |1387M| 45 | 6 | 50 | 11k| 50 | 17 | 22 |4871k|8204 | 0.000000e+00 | -- | Inf
1799.99/1800.00 c
1799.99/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.99/1800.00 c Solving Time (sec) : 1800.00
1799.99/1800.00 c Solving Nodes : 8579259
1799.99/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1799.99/1800.00 c Dual Bound : +0.00000000000000e+00
1799.99/1800.00 c Gap : infinite
1799.99/1800.00 s UNKNOWN
1799.99/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.99/1800.00 c Total Time : 1800.00
1799.99/1800.00 c solving : 1800.00
1799.99/1800.00 c presolving : 0.00 (included in solving)
1799.99/1800.00 c reading : 0.00 (included in solving)
1799.99/1800.00 c Original Problem :
1799.99/1800.00 c Problem name : HOME/instance-3452527-1307096795.opb
1799.99/1800.00 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.99/1800.00 c Constraints : 13 initial, 13 maximal
1799.99/1800.00 c Presolved Problem :
1799.99/1800.00 c Problem name : t_HOME/instance-3452527-1307096795.opb
1799.99/1800.00 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.99/1800.00 c Constraints : 6 initial, 14278 maximal
1799.99/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.99/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.00 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1799.99/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.00 c linear : 0.00 0 0 0 0 0 7 0 0 0
1799.99/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1799.99/1800.00 c root node : - 0 - - 0 - - - - -
1799.99/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.99/1800.00 c integral : 0 0 0 5219645 0 4 0 968 3467 0 0 10430620
1799.99/1800.00 c linear : 6+ 7 20455766 0 0 3 8628682 831107 10237201 0 0 0
1799.99/1800.00 c logicor : 0+ 6 9531680 0 0 0 7066200 35979 3611678 0 0 0
1799.99/1800.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1799.99/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.99/1800.00 c integral : 29.58 0.00 0.00 29.58 0.00 0.00 0.00
1799.99/1800.00 c linear : 152.54 0.00 133.37 0.00 0.00 0.00 19.17
1799.99/1800.00 c logicor : 387.84 0.00 377.95 0.00 0.00 0.00 9.89
1799.99/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.99/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.99/1800.00 c vbounds : 0 0 0 0
1799.99/1800.00 c rootredcost : 0 0 0 0
1799.99/1800.00 c pseudoobj : 0 0 0 0
1799.99/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1799.99/1800.00 c vbounds : 2.98 2.98 0.00
1799.99/1800.00 c rootredcost : 3.22 3.22 0.00
1799.99/1800.00 c pseudoobj : 2.30 2.30 0.00
1799.99/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.99/1800.00 c propagation : 32.06 867086 726271 2307484 36.0 194 31.1 -
1799.99/1800.00 c infeasible LP : 70.95 2774913 2774825 5063094 23.6 33255 28.9 0
1799.99/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.99/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.99/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.99/1800.00 c applied globally : - - - 3968308 20.8 - - -
1799.99/1800.00 c applied locally : - - - 907934 34.4 - - -
1799.99/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.99/1800.00 c cut pool : 0.00 5 - - 14 - (maximal pool size: 93)
1799.99/1800.00 c redcost : 5.44 5219650 0 0 0 0
1799.99/1800.00 c impliedbounds : 0.00 6 0 0 0 0
1799.99/1800.00 c intobj : 0.00 0 0 0 0 0
1799.99/1800.00 c gomory : 0.00 6 0 0 0 0
1799.99/1800.00 c cgmip : 0.00 0 0 0 0 0
1799.99/1800.00 c closecuts : 0.00 0 0 0 0 0
1799.99/1800.00 c strongcg : 0.00 6 0 0 22 0
1799.99/1800.00 c cmir : 0.01 6 0 0 35 0
1799.99/1800.00 c flowcover : 0.01 6 0 0 50 0
1799.99/1800.00 c clique : 0.00 1 0 0 0 0
1799.99/1800.00 c zerohalf : 0.00 0 0 0 0 0
1799.99/1800.00 c mcf : 0.00 1 0 0 0 0
1799.99/1800.00 c oddcycle : 0.00 0 0 0 0 0
1799.99/1800.00 c rapidlearning : 0.01 1 0 0 0 5
1799.99/1800.00 c Pricers : Time Calls Vars
1799.99/1800.00 c problem variables: 0.00 0 0
1799.99/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.99/1800.00 c relpscost : 26.94 5219645 968 3467 0 0 10430620
1799.99/1800.00 c pscost : 0.00 0 0 0 0 0 0
1799.99/1800.00 c inference : 0.00 0 0 0 0 0 0
1799.99/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1799.99/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1799.99/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1799.99/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1799.99/1800.00 c random : 0.00 0 0 0 0 0 0
1799.99/1800.00 c Primal Heuristics : Time Calls Found
1799.99/1800.00 c LP solutions : 0.00 - 0
1799.99/1800.00 c pseudo solutions : 0.00 - 0
1799.99/1800.00 c oneopt : 2.22 0 0
1799.99/1800.00 c crossover : 1.41 0 0
1799.99/1800.00 c guideddiving : 0.20 0 0
1799.99/1800.00 c coefdiving : 0.17 94 0
1799.99/1800.00 c pscostdiving : 0.19 94 0
1799.99/1800.00 c fracdiving : 0.19 94 0
1799.99/1800.00 c veclendiving : 0.19 94 0
1799.99/1800.00 c linesearchdiving : 0.17 94 0
1799.99/1800.00 c feaspump : 0.16 47 0
1799.99/1800.00 c objpscostdiving : 0.16 48 0
1799.99/1800.00 c rootsoldiving : 0.16 48 0
1799.99/1800.00 c trivial : 0.00 2 0
1799.99/1800.00 c shiftandpropagate: 0.00 1 0
1799.99/1800.00 c simplerounding : 0.87 0 0
1799.99/1800.00 c zirounding : 13.45 0 0
1799.99/1800.00 c rounding : 1.96 32345 0
1799.99/1800.00 c shifting : 2.58 9312 0
1799.99/1800.00 c intshifting : 0.08 0 0
1799.99/1800.00 c twoopt : 0.00 0 0
1799.99/1800.00 c fixandinfer : 0.00 0 0
1799.99/1800.00 c clique : 0.00 0 0
1799.99/1800.00 c intdiving : 0.00 0 0
1799.99/1800.00 c actconsdiving : 0.00 0 0
1799.99/1800.00 c octane : 0.00 0 0
1799.99/1800.00 c rens : 0.02 1 0
1799.99/1800.00 c rins : 0.00 0 0
1799.99/1800.00 c localbranching : 0.00 0 0
1799.99/1800.00 c mutation : 0.00 0 0
1799.99/1800.00 c dins : 0.00 0 0
1799.99/1800.00 c vbounds : 0.00 0 0
1799.99/1800.00 c undercover : 0.00 0 0
1799.99/1800.00 c subnlp : 1.11 0 0
1799.99/1800.00 c trysol : 1.55 0 0
1799.99/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1799.99/1800.00 c primal LP : 0.00 0 0 0.00 -
1799.99/1800.00 c dual LP : 369.97 7783669 19468174 2.50 52620.56
1799.99/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1799.99/1800.00 c barrier LP : 0.00 0 0 0.00 -
1799.99/1800.00 c diving/probing LP: 0.10 2026 3968 1.96 38589.46
1799.99/1800.00 c strong branching : 0.75 8205 39284 4.79 52041.99
1799.99/1800.00 c (at root node) : - 14 634 45.29 -
1799.99/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1799.99/1800.00 c B&B Tree :
1799.99/1800.00 c number of runs : 1
1799.99/1800.00 c nodes : 8579259
1799.99/1800.00 c nodes (total) : 8579259
1799.99/1800.00 c nodes left : 1544026
1799.99/1800.00 c max depth : 45
1799.99/1800.00 c max depth (total): 45
1799.99/1800.00 c backtracks : 1416275 (16.5%)
1799.99/1800.00 c delayed cutoffs : 307336
1799.99/1800.00 c repropagations : 7118856 (5826528 domain reductions, 277848 cutoffs)
1799.99/1800.00 c avg switch length: 5.37
1799.99/1800.00 c switching time : 466.13
1799.99/1800.00 c Solution :
1799.99/1800.00 c Solutions found : 0 (0 improvements)
1799.99/1800.00 c Primal Bound : -
1799.99/1800.00 c Dual Bound : +0.00000000000000e+00
1799.99/1800.00 c Gap : infinite
1799.99/1800.00 c Root Dual Bound : +0.00000000000000e+00
1799.99/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-3452527-1307096795/watcher-3452527-1307096795 -o /tmp/evaluation-result-3452527-1307096795/solver-3452527-1307096795 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452527-1307096795.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: 1.92 2.00 1.99 2/429 22637
/proc/meminfo: memFree=28770212/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=17092 CPUtime=0.01 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 3454 0 0 0 1 0 0 0 18 0 1 0 821279936 17502208 3150 33554432000 4194304 9128323 140733830556096 18446744073709551615 6297168 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22637/statm: 4273 3150 667 1205 0 3064 0
[startup+0.098589 s]
/proc/loadavg: 1.92 2.00 1.99 2/429 22637
/proc/meminfo: memFree=28770212/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=27448 CPUtime=0.09 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 6132 0 0 0 8 1 0 0 18 0 1 0 821279936 28106752 5475 33554432000 4194304 9128323 140733830556096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22637/statm: 6862 5475 721 1205 0 5653 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27448
[startup+0.100588 s]
/proc/loadavg: 1.92 2.00 1.99 2/429 22637
/proc/meminfo: memFree=28770212/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=27448 CPUtime=0.09 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 6132 0 0 0 8 1 0 0 18 0 1 0 821279936 28106752 5475 33554432000 4194304 9128323 140733830556096 18446744073709551615 4692928 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22637/statm: 6862 5475 721 1205 0 5653 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27448
[startup+0.300544 s]
/proc/loadavg: 1.92 2.00 1.99 2/429 22637
/proc/meminfo: memFree=28770212/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=27448 CPUtime=0.29 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 6135 0 0 0 28 1 0 0 18 0 1 0 821279936 28106752 5478 33554432000 4194304 9128323 140733830556096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22637/statm: 6862 5478 723 1205 0 5653 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27448
[startup+0.700499 s]
/proc/loadavg: 1.92 2.00 1.99 2/429 22637
/proc/meminfo: memFree=28770212/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=27448 CPUtime=0.69 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 6139 0 0 0 66 3 0 0 18 0 1 0 821279936 28106752 5482 33554432000 4194304 9128323 140733830556096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22637/statm: 6862 5482 723 1205 0 5653 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27448
[startup+1.50035 s]
/proc/loadavg: 1.92 2.00 1.99 3/430 22638
/proc/meminfo: memFree=28749124/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=27448 CPUtime=1.49 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 6146 0 0 0 144 5 0 0 19 0 1 0 821279936 28106752 5489 33554432000 4194304 9128323 140733830556096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22637/statm: 6862 5489 723 1205 0 5653 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27448
[startup+3.10106 s]
/proc/loadavg: 1.92 2.00 1.99 3/430 22638
/proc/meminfo: memFree=28747760/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=27448 CPUtime=3.09 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 6285 0 0 0 297 12 0 0 25 0 1 0 821279936 28106752 5628 33554432000 4194304 9128323 140733830556096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22637/statm: 6862 5628 723 1205 0 5653 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27448
[startup+6.30043 s]
/proc/loadavg: 1.93 2.00 1.99 3/430 22638
/proc/meminfo: memFree=28740552/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=30928 CPUtime=6.3 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 7342 0 0 0 608 22 0 0 25 0 1 0 821279936 31670272 6685 33554432000 4194304 9128323 140733830556096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22637/statm: 7732 6685 723 1205 0 6523 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 30928
[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 1.99 3/430 22638
/proc/meminfo: memFree=28722572/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=41328 CPUtime=12.69 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 9978 0 0 0 1229 40 0 0 25 0 1 0 821279936 42319872 9321 33554432000 4194304 9128323 140733830556096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22637/statm: 10332 9321 723 1205 0 9123 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41328
[startup+25.5009 s]
/proc/loadavg: 1.95 2.00 1.99 3/430 22638
/proc/meminfo: memFree=28694176/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=60104 CPUtime=25.43 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 14689 0 0 0 2471 72 0 0 25 0 1 0 821279936 61546496 14032 33554432000 4194304 9128323 140733830556096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 15026 14032 723 1205 0 13817 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 60104
[startup+51.1011 s]
/proc/loadavg: 1.96 2.00 1.99 3/430 22639
/proc/meminfo: memFree=28639624/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=94564 CPUtime=51.03 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 22993 0 0 0 4958 145 0 0 25 0 1 0 821279936 96833536 22336 33554432000 4194304 9128323 140733830556096 18446744073709551615 6554820 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 23641 22336 723 1205 0 22432 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 94564
[startup+102.317 s]
/proc/loadavg: 1.98 2.00 1.99 3/430 22640
/proc/meminfo: memFree=28529764/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=158524 CPUtime=102.24 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 39153 0 0 0 9944 280 0 0 25 0 1 0 821279936 162328576 38496 33554432000 4194304 9128323 140733830556096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 39631 38496 723 1205 0 38422 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 158524
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/430 22642
/proc/meminfo: memFree=28412664/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=231156 CPUtime=162.23 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 56659 0 0 0 15787 436 0 0 25 0 1 0 821279936 236703744 56002 33554432000 4194304 9128323 140733830556096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 57789 56002 723 1205 0 56580 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 231156
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/430 22644
/proc/meminfo: memFree=28303848/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=291584 CPUtime=222.24 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 72042 0 0 0 21643 581 0 0 25 0 1 0 821279936 298582016 71385 33554432000 4194304 9128323 140733830556096 18446744073709551615 6807060 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 72896 71385 723 1205 0 71687 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 291584
[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/430 22645
/proc/meminfo: memFree=28195660/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=352436 CPUtime=282.24 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 87496 0 0 0 27495 729 0 0 25 0 1 0 821279936 360894464 86839 33554432000 4194304 9128323 140733830556096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 88109 86839 723 1205 0 86900 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 352436
[startup+342.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/430 22647
/proc/meminfo: memFree=28095264/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=419372 CPUtime=342.23 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 102380 0 0 0 33350 873 0 0 25 0 1 0 821279936 429436928 101723 33554432000 4194304 9128323 140733830556096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 104843 101723 723 1205 0 103634 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 419372
[startup+402.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/430 22648
/proc/meminfo: memFree=27991792/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=476076 CPUtime=402.24 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 116768 0 0 0 39212 1012 0 0 25 0 1 0 821279936 487501824 116111 33554432000 4194304 9128323 140733830556096 18446744073709551615 5332936 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 119019 116111 723 1205 0 117810 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 476076
[startup+462.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/430 22650
/proc/meminfo: memFree=27898840/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=525224 CPUtime=462.24 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 129363 0 0 0 45078 1146 0 0 25 0 1 0 821279936 537829376 128706 33554432000 4194304 9128323 140733830556096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 131306 128706 723 1205 0 130097 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 525224
[startup+522.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 22652
/proc/meminfo: memFree=27806760/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=572648 CPUtime=522.25 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 141362 0 0 0 50943 1282 0 0 25 0 1 0 821279936 586391552 140705 33554432000 4194304 9128323 140733830556096 18446744073709551615 5201664 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 143162 140705 723 1205 0 141953 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 572648
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 22653
/proc/meminfo: memFree=27717916/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=620028 CPUtime=582.25 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 153499 0 0 0 56820 1405 0 0 25 0 1 0 821279936 634908672 152842 33554432000 4194304 9128323 140733830556096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 155007 152842 723 1205 0 153798 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 620028
[startup+642.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/430 22661
/proc/meminfo: memFree=27292988/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=844520 CPUtime=882.25 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 210441 0 0 0 86223 2002 0 0 25 0 1 0 821279936 864788480 209784 33554432000 4194304 9128323 140733830556096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 211130 209784 723 1205 0 209921 0
Current children cumulated CPU time (s) 882.25
Current children cumulated vsize (KiB) 844520
[startup+942.301 s]
/proc/loadavg: 2.05 2.04 2.01 3/430 22663
/proc/meminfo: memFree=27217028/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=881052 CPUtime=942.26 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 219471 0 0 0 92115 2111 0 0 25 0 1 0 821279936 902197248 218814 33554432000 4194304 9128323 140733830556096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 220263 218814 723 1205 0 219054 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 881052
[startup+1002.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/430 22664
/proc/meminfo: memFree=27138976/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=935468 CPUtime=1002.26 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 229200 0 0 0 98009 2217 0 0 25 0 1 0 821279936 957919232 228543 33554432000 4194304 9128323 140733830556096 18446744073709551615 6581536 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 233867 228543 723 1205 0 232658 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 935468
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 22666
/proc/meminfo: memFree=27059432/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=977716 CPUtime=1062.26 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 240044 0 0 0 103899 2327 0 0 25 0 1 0 821279936 1001181184 239387 33554432000 4194304 9128323 140733830556096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 244429 239387 723 1205 0 243220 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 977716
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 22668
/proc/meminfo: memFree=26982496/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=1014716 CPUtime=1122.26 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 249570 0 0 0 109783 2443 0 0 25 0 1 0 821279936 1039069184 248913 33554432000 4194304 9128323 140733830556096 18446744073709551615 5332975 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 253679 248913 723 1205 0 252470 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 1014716
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 22669
/proc/meminfo: memFree=26906808/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=1059988 CPUtime=1182.27 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 260753 0 0 0 115669 2558 0 0 25 0 1 0 821279936 1085427712 260096 33554432000 4194304 9128323 140733830556096 18446744073709551615 5332936 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 264997 260096 723 1205 0 263788 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 1059988
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22671
/proc/meminfo: memFree=26832720/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=1091288 CPUtime=1242.27 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 268821 0 0 0 121566 2661 0 0 25 0 1 0 821279936 1117478912 268164 33554432000 4194304 9128323 140733830556096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 272822 268164 723 1205 0 271613 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 1091288
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22672
/proc/meminfo: memFree=26762596/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=1132548 CPUtime=1302.29 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 279315 0 0 0 127451 2778 0 0 25 0 1 0 821279936 1159729152 278658 33554432000 4194304 9128323 140733830556096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 283137 278658 723 1205 0 281928 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 1132548
[startup+1362.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/430 22674
/proc/meminfo: memFree=26688152/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=1173292 CPUtime=1362.27 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 289735 0 0 0 133335 2892 0 0 25 0 1 0 821279936 1201451008 289078 33554432000 4194304 9128323 140733830556096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 293323 289078 723 1205 0 292114 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 1173292
[startup+1422.32 s]
/proc/loadavg: 2.19 2.07 2.02 3/430 22676
/proc/meminfo: memFree=26615904/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=1206860 CPUtime=1422.29 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 298348 0 0 0 139229 3000 0 0 25 0 1 0 821279936 1235824640 297691 33554432000 4194304 9128323 140733830556096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 301715 297691 723 1205 0 300506 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 1206860
[startup+1482.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/430 22705
/proc/meminfo: memFree=27751312/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=1248556 CPUtime=1482.27 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 308538 0 0 0 145121 3106 0 0 25 0 1 0 821279936 1278521344 307881 33554432000 4194304 9128323 140733830556096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 312139 307881 723 1205 0 310930 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 1248556
[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/430 22707
/proc/meminfo: memFree=27716644/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=1282676 CPUtime=1542.28 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 317275 0 0 0 151013 3215 0 0 25 0 1 0 821279936 1313460224 316618 33554432000 4194304 9128323 140733830556096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 320669 316618 723 1205 0 319460 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 1282676
[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/430 22708
/proc/meminfo: memFree=27678396/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=1318448 CPUtime=1602.28 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 326436 0 0 0 156906 3322 0 0 25 0 1 0 821279936 1350090752 325779 33554432000 4194304 9128323 140733830556096 18446744073709551615 4240086 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 329612 325779 723 1205 0 328403 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 1318448
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/430 22710
/proc/meminfo: memFree=27642888/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=1353336 CPUtime=1662.28 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 335396 0 0 0 162793 3435 0 0 25 0 1 0 821279936 1385816064 334739 33554432000 4194304 9128323 140733830556096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 338334 334739 723 1205 0 337125 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 1353336
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/430 22712
/proc/meminfo: memFree=27604140/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=1391084 CPUtime=1722.28 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 345074 0 0 0 168685 3543 0 0 25 0 1 0 821279936 1424470016 344417 33554432000 4194304 9128323 140733830556096 18446744073709551615 6505604 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 347771 344417 723 1205 0 346562 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 1391084
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 22713
/proc/meminfo: memFree=27567988/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=1424856 CPUtime=1782.28 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 353748 0 0 0 174580 3648 0 0 25 0 1 0 821279936 1459052544 353091 33554432000 4194304 9128323 140733830556096 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 356214 353091 723 1205 0 355005 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 1424856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 22714
/proc/meminfo: memFree=27553832/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=1439448 CPUtime=1800.1 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 357479 0 0 0 176334 3676 0 0 18 0 1 0 821279936 1473994752 356822 33554432000 4194304 9128323 140733830556096 18446744073709551615 4806776 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22637/statm: 359862 356822 724 1205 0 358653 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1439448
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 22714
/proc/meminfo: memFree=27553832/32951124 swapFree=43324008/67111528
[pid=22637] ppid=22635 vsize=1439448 CPUtime=1800.1 cores=0,2,4,6
/proc/22637/stat : 22637 (scip-2.0.1.4.li) R 22635 22637 22076 0 -1 4202496 357479 0 0 0 176334 3676 0 0 18 0 1 0 821279936 1473994752 356822 33554432000 4194304 9128323 140733830556096 18446744073709551615 4806776 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22637/statm: 359862 356822 724 1205 0 358653 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1439448
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.17
CPU time (s): 1800.17
CPU user time (s): 1763.35
CPU system time (s): 36.8194
CPU usage (%): 99.9998
Max. virtual memory (cumulated for all children) (KiB): 1439448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1763.35
system time used= 36.8194
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357479
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= 8
involuntary context switches= 1075
runsolver used 8.05377 second user time and 16.5665 second system time
The end