0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3450862-1307094136.opb>
0.00/0.00 c original problem has 51 variables (51 bin, 0 int, 0 impl, 0 cont) and 13 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c (round 2) 1 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 1 deleted vars, 7 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.01 c 6 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 2.0.1.5
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1800
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c 0.0s| 1 | 0 | 32 | - | 292k| 0 | 6 | 50 | 15 | 50 | 6 | 0 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 114 | - | 323k| 0 | 9 | 50 | 15 | 50 | 11 | 5 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 118 | - | 365k| 0 | 13 | 50 | 15 | 50 | 16 | 10 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 123 | - | 392k| 0 | 14 | 50 | 15 | 50 | 20 | 14 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 134 | - | 423k| 0 | 14 | 50 | 15 | 50 | 24 | 18 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 142 | - | 437k| 0 | 13 | 50 | 15 | 50 | 27 | 21 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 149 | - | 448k| 0 | 15 | 50 | 15 | 50 | 30 | 24 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.07 c 0.1s| 1 | 2 | 149 | - | 449k| 0 | 15 | 50 | 15 | 50 | 30 | 24 | 9 | 9 | 0.000000e+00 | -- | Inf
1.39/1.45 c 1.5s| 10000 | 4611 | 25233 | 2.5 |4187k| 44 | 6 | 50 |3118 | 50 | 15 | 24 |3876 | 510 | 0.000000e+00 | -- | Inf
2.89/2.92 c 2.9s| 20000 | 8565 | 49525 | 2.5 |6322k| 44 | - | 50 |1948 | 50 | 15 | 24 |8158 | 717 | 0.000000e+00 | -- | Inf
4.19/4.25 c 4.2s| 30000 | 12511 | 75204 | 2.5 |8831k| 44 | 6 | 50 |2622 | 50 | 15 | 24 | 12k| 879 | 0.000000e+00 | -- | Inf
5.59/5.64 c 5.6s| 40000 | 16037 | 99896 | 2.5 | 11M| 44 | - | 50 |2824 | 50 | 15 | 24 | 17k| 977 | 0.000000e+00 | -- | Inf
6.99/7.09 c 7.1s| 50000 | 19288 |124949 | 2.5 | 13M| 44 | - | 50 |2814 | 0 | 0 | 24 | 21k|1060 | 0.000000e+00 | -- | Inf
8.49/8.50 c 8.5s| 60000 | 22626 |150113 | 2.5 | 15M| 44 | 6 | 50 |3582 | 50 | 15 | 24 | 26k|1147 | 0.000000e+00 | -- | Inf
9.91/9.94 c 9.9s| 70000 | 25861 |175355 | 2.5 | 17M| 44 | 6 | 50 |3920 | 50 | 15 | 24 | 31k|1211 | 0.000000e+00 | -- | Inf
11.39/11.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.39/11.41 c 11.4s| 80000 | 29126 |200518 | 2.5 | 20M| 44 | 6 | 50 |3724 | 50 | 15 | 24 | 36k|1253 | 0.000000e+00 | -- | Inf
12.89/12.94 c 12.9s| 90000 | 32081 |225750 | 2.5 | 22M| 44 | - | 50 |3746 | 50 | 15 | 24 | 41k|1276 | 0.000000e+00 | -- | Inf
14.39/14.47 c 14.5s|100000 | 34928 |251048 | 2.5 | 24M| 44 | - | 50 |3887 | 50 | 15 | 24 | 46k|1347 | 0.000000e+00 | -- | Inf
15.89/15.99 c 16.0s|110000 | 38150 |275929 | 2.5 | 26M| 44 | 6 | 50 |3901 | 50 | 15 | 24 | 51k|1410 | 0.000000e+00 | -- | Inf
17.50/17.53 c 17.5s|120000 | 41056 |301650 | 2.5 | 28M| 44 | - | 50 |4044 | 50 | 15 | 24 | 56k|1465 | 0.000000e+00 | -- | Inf
18.99/19.09 c 19.1s|130000 | 43940 |326973 | 2.5 | 30M| 44 | 6 | 50 |4220 | 50 | 15 | 24 | 62k|1515 | 0.000000e+00 | -- | Inf
20.49/20.55 c 20.6s|140000 | 47205 |353390 | 2.5 | 32M| 44 | 6 | 50 |4922 | 50 | 15 | 24 | 67k|1563 | 0.000000e+00 | -- | Inf
22.01/22.09 c 22.1s|150000 | 50180 |379086 | 2.5 | 35M| 44 | 6 | 50 |5303 | 50 | 15 | 24 | 72k|1615 | 0.000000e+00 | -- | Inf
23.59/23.69 c 23.7s|160000 | 53040 |404224 | 2.5 | 36M| 44 | 6 | 50 |4455 | 50 | 15 | 24 | 77k|1663 | 0.000000e+00 | -- | Inf
25.31/25.32 c 25.3s|170000 | 55610 |429943 | 2.5 | 38M| 44 | 6 | 50 |4553 | 50 | 15 | 24 | 82k|1711 | 0.000000e+00 | -- | Inf
26.79/26.87 c 26.9s|180000 | 58542 |454784 | 2.5 | 41M| 44 | - | 50 |4689 | 50 | 15 | 24 | 87k|1756 | 0.000000e+00 | -- | Inf
28.40/28.48 c 28.5s|190000 | 61314 |480327 | 2.5 | 43M| 44 | 6 | 50 |4936 | 50 | 15 | 24 | 93k|1789 | 0.000000e+00 | -- | Inf
30.00/30.04 c 30.0s|200000 | 64236 |505034 | 2.5 | 45M| 44 | 6 | 50 |5199 | 50 | 15 | 24 | 98k|1822 | 0.000000e+00 | -- | Inf
31.59/31.61 c 31.6s|210000 | 67249 |530392 | 2.5 | 47M| 44 | 6 | 50 |5438 | 50 | 15 | 24 | 103k|1873 | 0.000000e+00 | -- | Inf
33.19/33.27 c 33.3s|220000 | 69924 |556317 | 2.5 | 49M| 44 | 6 | 50 |4796 | 50 | 15 | 24 | 108k|1911 | 0.000000e+00 | -- | Inf
34.80/34.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.80/34.89 c 34.9s|230000 | 72660 |581470 | 2.5 | 51M| 44 | 6 | 50 |4626 | 50 | 15 | 24 | 114k|1954 | 0.000000e+00 | -- | Inf
36.49/36.56 c 36.6s|240000 | 75279 |606290 | 2.5 | 53M| 44 | 6 | 50 |4194 | 50 | 15 | 24 | 119k|1996 | 0.000000e+00 | -- | Inf
38.09/38.14 c 38.1s|250000 | 77979 |632475 | 2.5 | 55M| 44 | 6 | 50 |4948 | 50 | 15 | 24 | 124k|2037 | 0.000000e+00 | -- | Inf
39.61/39.63 c 39.6s|260000 | 81035 |658284 | 2.5 | 57M| 44 | 6 | 50 |5811 | 50 | 15 | 24 | 129k|2070 | 0.000000e+00 | -- | Inf
41.29/41.30 c 41.3s|270000 | 83961 |683316 | 2.5 | 59M| 44 | 6 | 50 |5342 | 50 | 15 | 24 | 134k|2104 | 0.000000e+00 | -- | Inf
42.80/42.89 c 42.9s|280000 | 86796 |708939 | 2.5 | 61M| 44 | - | 50 |5631 | 50 | 15 | 24 | 140k|2133 | 0.000000e+00 | -- | Inf
44.50/44.58 c 44.6s|290000 | 89535 |734342 | 2.5 | 63M| 44 | - | 50 |4957 | 50 | 15 | 24 | 145k|2158 | 0.000000e+00 | -- | Inf
46.21/46.23 c 46.2s|300000 | 92136 |759652 | 2.5 | 65M| 44 | 6 | 50 |5462 | 50 | 15 | 24 | 151k|2186 | 0.000000e+00 | -- | Inf
47.89/47.93 c 47.9s|310000 | 94628 |785316 | 2.5 | 67M| 44 | 6 | 50 |5145 | 50 | 15 | 24 | 156k|2216 | 0.000000e+00 | -- | Inf
49.60/49.61 c 49.6s|320000 | 97221 |811143 | 2.5 | 69M| 44 | 6 | 50 |5300 | 50 | 15 | 24 | 162k|2244 | 0.000000e+00 | -- | Inf
51.19/51.25 c 51.3s|330000 |100047 |836354 | 2.5 | 71M| 44 | 6 | 50 |5108 | 50 | 15 | 24 | 167k|2287 | 0.000000e+00 | -- | Inf
52.81/52.85 c 52.8s|340000 |102935 |862164 | 2.5 | 73M| 44 | 6 | 50 |5788 | 50 | 15 | 24 | 172k|2316 | 0.000000e+00 | -- | Inf
54.49/54.55 c 54.6s|350000 |105511 |887281 | 2.5 | 75M| 44 | 6 | 50 |4700 | 50 | 15 | 24 | 178k|2348 | 0.000000e+00 | -- | Inf
56.19/56.22 c 56.2s|360000 |108073 |912175 | 2.5 | 77M| 44 | 6 | 50 |4552 | 50 | 15 | 24 | 183k|2377 | 0.000000e+00 | -- | Inf
57.79/57.88 c 57.9s|370000 |110635 |937229 | 2.5 | 79M| 44 | 6 | 50 |4327 | 50 | 15 | 24 | 189k|2408 | 0.000000e+00 | -- | Inf
59.49/59.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.49/59.56 c 59.6s|380000 |113011 |962228 | 2.5 | 81M| 44 | 6 | 50 |4620 | 50 | 15 | 24 | 194k|2441 | 0.000000e+00 | -- | Inf
60.99/61.08 c 61.1s|390000 |115891 |988420 | 2.5 | 83M| 44 | 6 | 50 |6225 | 50 | 15 | 24 | 200k|2476 | 0.000000e+00 | -- | Inf
62.79/62.87 c 62.9s|400000 |118150 | 1013k| 2.5 | 85M| 44 | - | 50 |5562 | 50 | 15 | 24 | 205k|2510 | 0.000000e+00 | -- | Inf
64.49/64.50 c 64.5s|410000 |120687 | 1041k| 2.5 | 87M| 45 | - | 50 |6349 | 50 | 15 | 24 | 211k|2536 | 0.000000e+00 | -- | Inf
66.19/66.24 c 66.2s|420000 |123331 | 1067k| 2.5 | 89M| 45 | 6 | 50 |5849 | 50 | 15 | 24 | 217k|2567 | 0.000000e+00 | -- | Inf
67.99/68.00 c 68.0s|430000 |125639 | 1092k| 2.5 | 91M| 45 | 6 | 50 |5165 | 50 | 15 | 24 | 222k|2602 | 0.000000e+00 | -- | Inf
69.69/69.72 c 69.7s|440000 |128028 | 1118k| 2.5 | 93M| 45 | 6 | 50 |5526 | 50 | 15 | 24 | 228k|2629 | 0.000000e+00 | -- | Inf
71.29/71.40 c 71.4s|450000 |130443 | 1145k| 2.5 | 95M| 45 | - | 50 |6376 | 50 | 15 | 24 | 234k|2661 | 0.000000e+00 | -- | Inf
73.19/73.28 c 73.3s|460000 |132756 | 1170k| 2.5 | 96M| 45 | 6 | 50 |4746 | 50 | 15 | 24 | 240k|2695 | 0.000000e+00 | -- | Inf
74.89/74.99 c 75.0s|470000 |135096 | 1196k| 2.5 | 98M| 45 | 6 | 50 |5228 | 50 | 15 | 24 | 246k|2728 | 0.000000e+00 | -- | Inf
76.69/76.70 c 76.7s|480000 |137406 | 1222k| 2.5 | 100M| 45 | 6 | 50 |5425 | 50 | 15 | 24 | 251k|2752 | 0.000000e+00 | -- | Inf
78.50/78.50 c 78.5s|490000 |139637 | 1248k| 2.5 | 102M| 45 | 6 | 50 |4936 | 50 | 15 | 24 | 257k|2784 | 0.000000e+00 | -- | Inf
80.10/80.15 c 80.2s|500000 |142190 | 1273k| 2.5 | 105M| 45 | 6 | 50 |6488 | 50 | 15 | 24 | 263k|2802 | 0.000000e+00 | -- | Inf
81.89/81.98 c 82.0s|510000 |144548 | 1298k| 2.5 | 106M| 45 | 6 | 50 |5666 | 50 | 15 | 24 | 268k|2833 | 0.000000e+00 | -- | Inf
83.61/83.67 c 83.7s|520000 |147007 | 1323k| 2.5 | 108M| 45 | 6 | 50 |5890 | 50 | 15 | 24 | 274k|2858 | 0.000000e+00 | -- | Inf
85.39/85.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.39/85.41 c 85.4s|530000 |149514 | 1348k| 2.5 | 110M| 45 | 6 | 50 |5406 | 50 | 15 | 24 | 279k|2882 | 0.000000e+00 | -- | Inf
87.19/87.20 c 87.2s|540000 |151682 | 1373k| 2.5 | 112M| 45 | 6 | 50 |4991 | 50 | 15 | 24 | 285k|2908 | 0.000000e+00 | -- | Inf
88.69/88.79 c 88.8s|550000 |154424 | 1399k| 2.5 | 114M| 45 | 6 | 50 |6548 | 50 | 15 | 24 | 290k|2935 | 0.000000e+00 | -- | Inf
90.60/90.61 c 90.6s|560000 |156883 | 1424k| 2.5 | 115M| 45 | - | 50 |4617 | 50 | 15 | 24 | 296k|2964 | 0.000000e+00 | -- | Inf
92.20/92.28 c 92.3s|570000 |159268 | 1450k| 2.5 | 118M| 45 | 6 | 50 |5226 | 50 | 15 | 24 | 302k|2992 | 0.000000e+00 | -- | Inf
93.89/93.99 c 94.0s|580000 |161601 | 1476k| 2.5 | 120M| 45 | 6 | 50 |5944 | 50 | 15 | 24 | 307k|3015 | 0.000000e+00 | -- | Inf
95.49/95.55 c 95.6s|590000 |164786 | 1501k| 2.5 | 122M| 45 | 6 | 50 |7073 | 50 | 15 | 24 | 312k|3041 | 0.000000e+00 | -- | Inf
97.20/97.25 c 97.2s|600000 |167484 | 1527k| 2.5 | 124M| 45 | 6 | 50 |8251 | 50 | 15 | 24 | 317k|3060 | 0.000000e+00 | -- | Inf
99.09/99.10 c 99.1s|610000 |169898 | 1552k| 2.5 | 126M| 45 | 6 | 50 |7803 | 50 | 15 | 24 | 323k|3082 | 0.000000e+00 | -- | Inf
100.89/100.96 c 101s|620000 |172370 | 1578k| 2.5 | 128M| 45 | 6 | 50 |6386 | 50 | 15 | 24 | 329k|3112 | 0.000000e+00 | -- | Inf
102.70/102.70 c 103s|630000 |174824 | 1603k| 2.5 | 130M| 45 | 6 | 50 |7094 | 50 | 15 | 24 | 334k|3141 | 0.000000e+00 | -- | Inf
104.51/104.59 c 105s|640000 |177064 | 1629k| 2.5 | 131M| 45 | - | 50 |5543 | 50 | 15 | 24 | 340k|3164 | 0.000000e+00 | -- | Inf
106.30/106.39 c 106s|650000 |179268 | 1654k| 2.5 | 133M| 45 | 6 | 50 |5018 | 50 | 15 | 24 | 346k|3191 | 0.000000e+00 | -- | Inf
108.09/108.17 c 108s|660000 |181518 | 1680k| 2.5 | 135M| 45 | - | 50 |4616 | 50 | 15 | 24 | 352k|3211 | 0.000000e+00 | -- | Inf
109.79/109.90 c 110s|670000 |183742 | 1706k| 2.5 | 137M| 45 | 6 | 50 |5071 | 50 | 15 | 24 | 357k|3242 | 0.000000e+00 | -- | Inf
111.49/111.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.49/111.58 c 112s|680000 |186139 | 1731k| 2.5 | 139M| 45 | 6 | 50 |6330 | 50 | 15 | 24 | 363k|3270 | 0.000000e+00 | -- | Inf
113.32/113.35 c 113s|690000 |188438 | 1757k| 2.5 | 141M| 45 | 6 | 50 |7063 | 50 | 15 | 24 | 369k|3289 | 0.000000e+00 | -- | Inf
115.19/115.28 c 115s|700000 |190659 | 1783k| 2.5 | 143M| 45 | 6 | 50 |5985 | 50 | 15 | 24 | 375k|3316 | 0.000000e+00 | -- | Inf
117.10/117.19 c 117s|710000 |192840 | 1808k| 2.5 | 144M| 45 | 6 | 50 |5371 | 50 | 15 | 24 | 381k|3346 | 0.000000e+00 | -- | Inf
118.90/118.98 c 119s|720000 |195053 | 1834k| 2.5 | 146M| 45 | 6 | 50 |5895 | 50 | 15 | 24 | 386k|3369 | 0.000000e+00 | -- | Inf
120.79/120.82 c 121s|730000 |197383 | 1859k| 2.5 | 148M| 45 | - | 50 |5602 | 50 | 15 | 24 | 392k|3391 | 0.000000e+00 | -- | Inf
122.40/122.45 c 122s|740000 |200190 | 1885k| 2.5 | 151M| 45 | 6 | 50 |6990 | 50 | 15 | 24 | 397k|3413 | 0.000000e+00 | -- | Inf
124.31/124.39 c 124s|750000 |202416 | 1910k| 2.5 | 152M| 45 | - | 50 |5748 | 0 | 0 | 24 | 403k|3436 | 0.000000e+00 | -- | Inf
126.10/126.16 c 126s|760000 |204734 | 1935k| 2.5 | 154M| 45 | 6 | 50 |5697 | 50 | 15 | 24 | 409k|3456 | 0.000000e+00 | -- | Inf
127.79/127.88 c 128s|770000 |207128 | 1960k| 2.5 | 156M| 45 | 6 | 50 |6540 | 50 | 15 | 24 | 414k|3478 | 0.000000e+00 | -- | Inf
129.70/129.72 c 130s|780000 |209489 | 1985k| 2.5 | 158M| 45 | 6 | 50 |4929 | 50 | 15 | 24 | 420k|3501 | 0.000000e+00 | -- | Inf
131.30/131.37 c 131s|790000 |212151 | 2010k| 2.5 | 160M| 45 | - | 50 |6494 | 50 | 15 | 24 | 425k|3520 | 0.000000e+00 | -- | Inf
133.12/133.17 c 133s|800000 |214531 | 2036k| 2.5 | 162M| 45 | - | 50 |6335 | 0 | 0 | 24 | 431k|3537 | 0.000000e+00 | -- | Inf
134.89/134.96 c 135s|810000 |216934 | 2061k| 2.5 | 164M| 45 | 6 | 50 |6313 | 50 | 15 | 24 | 436k|3565 | 0.000000e+00 | -- | Inf
136.60/136.64 c 137s|820000 |219546 | 2088k| 2.5 | 166M| 45 | 6 | 50 |7951 | 50 | 15 | 24 | 442k|3583 | 0.000000e+00 | -- | Inf
138.39/138.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.39/138.49 c 138s|830000 |222116 | 2114k| 2.5 | 169M| 45 | 6 | 50 | 10k| 50 | 15 | 24 | 448k|3602 | 0.000000e+00 | -- | Inf
140.60/140.61 c 141s|840000 |224320 | 2140k| 2.5 | 170M| 45 | 6 | 50 |7563 | 50 | 15 | 24 | 454k|3624 | 0.000000e+00 | -- | Inf
142.59/142.60 c 143s|850000 |226459 | 2165k| 2.5 | 172M| 45 | - | 50 |5943 | 50 | 15 | 24 | 459k|3649 | 0.000000e+00 | -- | Inf
144.40/144.43 c 144s|860000 |228715 | 2191k| 2.5 | 174M| 45 | 6 | 50 |6476 | 50 | 15 | 24 | 465k|3670 | 0.000000e+00 | -- | Inf
146.20/146.22 c 146s|870000 |231080 | 2216k| 2.5 | 176M| 45 | 6 | 50 |7123 | 50 | 15 | 24 | 471k|3695 | 0.000000e+00 | -- | Inf
148.00/148.08 c 148s|880000 |233501 | 2241k| 2.5 | 178M| 45 | 6 | 50 |7707 | 50 | 15 | 24 | 476k|3711 | 0.000000e+00 | -- | Inf
149.89/149.90 c 150s|890000 |235956 | 2267k| 2.5 | 180M| 45 | 6 | 50 |7923 | 50 | 15 | 24 | 482k|3736 | 0.000000e+00 | -- | Inf
151.70/151.81 c 152s|900000 |238468 | 2292k| 2.5 | 182M| 45 | 6 | 50 |8616 | 50 | 15 | 24 | 487k|3754 | 0.000000e+00 | -- | Inf
153.80/153.84 c 154s|910000 |240694 | 2319k| 2.5 | 183M| 45 | 6 | 50 |6433 | 50 | 15 | 24 | 493k|3780 | 0.000000e+00 | -- | Inf
155.60/155.61 c 156s|920000 |243030 | 2345k| 2.5 | 185M| 45 | 6 | 50 |7645 | 50 | 15 | 24 | 499k|3794 | 0.000000e+00 | -- | Inf
157.49/157.57 c 158s|930000 |245272 | 2371k| 2.5 | 187M| 45 | - | 50 |5349 | 0 | 0 | 24 | 505k|3816 | 0.000000e+00 | -- | Inf
159.29/159.38 c 159s|940000 |247584 | 2396k| 2.5 | 188M| 45 | 6 | 50 |5597 | 50 | 15 | 24 | 510k|3838 | 0.000000e+00 | -- | Inf
161.10/161.12 c 161s|950000 |249763 | 2423k| 2.6 | 191M| 45 | 6 | 50 |7498 | 50 | 15 | 24 | 516k|3848 | 0.000000e+00 | -- | Inf
163.09/163.12 c 163s|960000 |251931 | 2448k| 2.6 | 192M| 45 | 6 | 50 |5922 | 50 | 15 | 24 | 522k|3869 | 0.000000e+00 | -- | Inf
164.89/164.97 c 165s|970000 |254008 | 2473k| 2.6 | 194M| 45 | 6 | 50 |6018 | 50 | 15 | 24 | 528k|3885 | 0.000000e+00 | -- | Inf
166.79/166.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.79/166.86 c 167s|980000 |256278 | 2498k| 2.5 | 196M| 45 | - | 50 |5682 | 50 | 15 | 24 | 534k|3904 | 0.000000e+00 | -- | Inf
168.50/168.51 c 169s|990000 |258765 | 2523k| 2.5 | 198M| 45 | - | 50 |6855 | 50 | 15 | 24 | 539k|3922 | 0.000000e+00 | -- | Inf
170.30/170.36 c 170s| 1000k|261158 | 2548k| 2.5 | 200M| 45 | 6 | 50 |6026 | 50 | 15 | 24 | 545k|3941 | 0.000000e+00 | -- | Inf
172.29/172.33 c 172s| 1010k|263311 | 2573k| 2.5 | 202M| 45 | 6 | 50 |5683 | 50 | 15 | 24 | 551k|3951 | 0.000000e+00 | -- | Inf
173.90/173.95 c 174s| 1020k|265997 | 2599k| 2.5 | 204M| 45 | - | 50 |8016 | 50 | 15 | 24 | 556k|3973 | 0.000000e+00 | -- | Inf
175.69/175.75 c 176s| 1030k|268286 | 2626k| 2.6 | 207M| 45 | 6 | 50 |9504 | 50 | 15 | 24 | 562k|3989 | 0.000000e+00 | -- | Inf
177.70/177.71 c 178s| 1040k|270476 | 2652k| 2.6 | 208M| 45 | 6 | 50 |8644 | 50 | 15 | 24 | 568k|4003 | 0.000000e+00 | -- | Inf
179.70/179.76 c 180s| 1050k|272609 | 2679k| 2.6 | 210M| 45 | 6 | 50 |8363 | 50 | 15 | 24 | 574k|4009 | 0.000000e+00 | -- | Inf
181.80/181.80 c 182s| 1060k|274735 | 2704k| 2.6 | 211M| 45 | - | 50 |6304 | 50 | 15 | 24 | 580k|4032 | 0.000000e+00 | -- | Inf
183.71/183.73 c 184s| 1070k|276894 | 2729k| 2.6 | 213M| 45 | 6 | 50 |5591 | 50 | 15 | 24 | 586k|4048 | 0.000000e+00 | -- | Inf
185.59/185.65 c 186s| 1080k|278855 | 2754k| 2.6 | 215M| 45 | - | 50 |5009 | 50 | 15 | 24 | 592k|4059 | 0.000000e+00 | -- | Inf
187.19/187.29 c 187s| 1090k|281345 | 2780k| 2.6 | 217M| 45 | 6 | 50 |6849 | 50 | 15 | 24 | 597k|4071 | 0.000000e+00 | -- | Inf
189.10/189.18 c 189s| 1100k|283521 | 2805k| 2.6 | 218M| 45 | - | 50 |5513 | 50 | 15 | 24 | 603k|4088 | 0.000000e+00 | -- | Inf
190.99/191.02 c 191s| 1110k|285670 | 2830k| 2.6 | 220M| 45 | 6 | 50 |4734 | 50 | 15 | 24 | 609k|4105 | 0.000000e+00 | -- | Inf
192.80/192.85 c 193s| 1120k|287764 | 2855k| 2.5 | 222M| 45 | 6 | 50 |5599 | 50 | 15 | 24 | 615k|4117 | 0.000000e+00 | -- | Inf
194.60/194.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.60/194.63 c 195s| 1130k|290017 | 2882k| 2.6 | 224M| 45 | - | 50 |6346 | 50 | 15 | 24 | 620k|4135 | 0.000000e+00 | -- | Inf
196.30/196.37 c 196s| 1140k|292524 | 2909k| 2.6 | 227M| 45 | - | 50 |7840 | 50 | 15 | 24 | 626k|4148 | 0.000000e+00 | -- | Inf
198.40/198.40 c 198s| 1150k|294530 | 2936k| 2.6 | 228M| 45 | 6 | 50 |7397 | 50 | 15 | 24 | 632k|4162 | 0.000000e+00 | -- | Inf
200.29/200.31 c 200s| 1160k|296795 | 2961k| 2.6 | 230M| 45 | 6 | 50 |6805 | 50 | 15 | 24 | 638k|4182 | 0.000000e+00 | -- | Inf
202.19/202.20 c 202s| 1170k|298981 | 2987k| 2.6 | 232M| 45 | 6 | 50 |6115 | 50 | 15 | 24 | 644k|4204 | 0.000000e+00 | -- | Inf
203.89/203.98 c 204s| 1180k|301297 | 3013k| 2.6 | 234M| 45 | - | 50 |8432 | 50 | 15 | 24 | 650k|4222 | 0.000000e+00 | -- | Inf
205.89/205.93 c 206s| 1190k|303664 | 3038k| 2.6 | 236M| 45 | 6 | 50 |8128 | 50 | 15 | 24 | 655k|4237 | 0.000000e+00 | -- | Inf
207.92/207.96 c 208s| 1200k|306000 | 3064k| 2.6 | 238M| 45 | - | 50 |6913 | 0 | 0 | 24 | 661k|4248 | 0.000000e+00 | -- | Inf
209.79/209.82 c 210s| 1210k|308137 | 3091k| 2.6 | 240M| 45 | 6 | 50 |8043 | 50 | 15 | 24 | 667k|4270 | 0.000000e+00 | -- | Inf
211.69/211.72 c 212s| 1220k|310411 | 3116k| 2.6 | 241M| 45 | 6 | 50 |7442 | 50 | 15 | 24 | 673k|4280 | 0.000000e+00 | -- | Inf
213.69/213.73 c 214s| 1230k|312472 | 3141k| 2.6 | 243M| 45 | 6 | 50 |5615 | 50 | 15 | 24 | 679k|4299 | 0.000000e+00 | -- | Inf
215.50/215.52 c 216s| 1240k|314806 | 3166k| 2.6 | 245M| 45 | - | 50 |6358 | 0 | 0 | 24 | 684k|4317 | 0.000000e+00 | -- | Inf
217.40/217.45 c 217s| 1250k|316916 | 3192k| 2.6 | 247M| 45 | 6 | 50 |6544 | 50 | 15 | 24 | 690k|4328 | 0.000000e+00 | -- | Inf
219.49/219.52 c 220s| 1260k|318763 | 3216k| 2.6 | 248M| 45 | - | 50 |5206 | 50 | 15 | 24 | 696k|4344 | 0.000000e+00 | -- | Inf
221.20/221.27 c 221s| 1270k|321083 | 3243k| 2.6 | 250M| 45 | - | 50 |6317 | 50 | 15 | 24 | 702k|4361 | 0.000000e+00 | -- | Inf
223.20/223.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
223.20/223.24 c 223s| 1280k|322976 | 3268k| 2.6 | 252M| 45 | - | 50 |5177 | 50 | 15 | 24 | 708k|4376 | 0.000000e+00 | -- | Inf
225.00/225.07 c 225s| 1290k|325052 | 3293k| 2.6 | 254M| 45 | - | 50 |5718 | 50 | 15 | 24 | 714k|4389 | 0.000000e+00 | -- | Inf
226.70/226.74 c 227s| 1300k|327748 | 3318k| 2.6 | 256M| 45 | - | 50 |6798 | 50 | 15 | 24 | 719k|4417 | 0.000000e+00 | -- | Inf
228.49/228.51 c 229s| 1310k|330213 | 3343k| 2.6 | 258M| 45 | 6 | 50 |8016 | 50 | 15 | 24 | 725k|4426 | 0.000000e+00 | -- | Inf
230.59/230.64 c 231s| 1320k|332229 | 3369k| 2.6 | 259M| 45 | 6 | 50 |5587 | 50 | 15 | 24 | 731k|4441 | 0.000000e+00 | -- | Inf
232.39/232.41 c 232s| 1330k|334651 | 3394k| 2.6 | 261M| 45 | 6 | 50 |6110 | 50 | 15 | 24 | 736k|4459 | 0.000000e+00 | -- | Inf
234.10/234.10 c 234s| 1340k|337389 | 3421k| 2.6 | 264M| 45 | - | 50 |8237 | 50 | 15 | 24 | 742k|4477 | 0.000000e+00 | -- | Inf
236.00/236.03 c 236s| 1350k|339590 | 3448k| 2.6 | 266M| 45 | 6 | 50 |8594 | 50 | 15 | 24 | 748k|4492 | 0.000000e+00 | -- | Inf
238.09/238.13 c 238s| 1360k|341654 | 3473k| 2.6 | 267M| 45 | 6 | 50 |6817 | 50 | 15 | 24 | 754k|4509 | 0.000000e+00 | -- | Inf
240.10/240.10 c 240s| 1370k|343949 | 3498k| 2.6 | 269M| 45 | 6 | 50 |7412 | 50 | 15 | 24 | 760k|4532 | 0.000000e+00 | -- | Inf
241.90/241.96 c 242s| 1380k|346196 | 3525k| 2.6 | 271M| 45 | - | 50 |7893 | 50 | 15 | 24 | 766k|4545 | 0.000000e+00 | -- | Inf
243.99/244.02 c 244s| 1390k|348365 | 3550k| 2.6 | 273M| 45 | 6 | 50 |5642 | 50 | 15 | 24 | 772k|4555 | 0.000000e+00 | -- | Inf
245.90/245.92 c 246s| 1400k|350584 | 3576k| 2.6 | 275M| 45 | 6 | 50 |5750 | 50 | 15 | 24 | 778k|4571 | 0.000000e+00 | -- | Inf
247.70/247.73 c 248s| 1410k|352904 | 3602k| 2.6 | 277M| 45 | - | 50 |6659 | 0 | 0 | 24 | 783k|4582 | 0.000000e+00 | -- | Inf
249.50/249.53 c 250s| 1420k|355406 | 3628k| 2.6 | 279M| 45 | - | 50 |8499 | 50 | 15 | 24 | 789k|4598 | 0.000000e+00 | -- | Inf
251.39/251.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
251.39/251.40 c 251s| 1430k|357955 | 3654k| 2.6 | 282M| 45 | 6 | 50 | 10k| 50 | 15 | 24 | 795k|4613 | 0.000000e+00 | -- | Inf
253.40/253.49 c 253s| 1440k|360229 | 3680k| 2.6 | 283M| 45 | - | 50 |9923 | 50 | 15 | 24 | 800k|4625 | 0.000000e+00 | -- | Inf
255.70/255.72 c 256s| 1450k|362408 | 3706k| 2.6 | 285M| 45 | 6 | 50 |7392 | 50 | 15 | 24 | 806k|4640 | 0.000000e+00 | -- | Inf
257.30/257.41 c 257s| 1460k|365334 | 3731k| 2.6 | 287M| 45 | - | 50 |9418 | 50 | 15 | 24 | 812k|4655 | 0.000000e+00 | -- | Inf
259.61/259.63 c 260s| 1470k|367338 | 3757k| 2.6 | 289M| 45 | 6 | 50 |7742 | 50 | 15 | 24 | 817k|4671 | 0.000000e+00 | -- | Inf
261.82/261.81 c 262s| 1480k|369379 | 3782k| 2.6 | 290M| 45 | 6 | 50 |5882 | 50 | 15 | 24 | 823k|4687 | 0.000000e+00 | -- | Inf
263.49/263.57 c 264s| 1490k|371645 | 3808k| 2.6 | 292M| 45 | 6 | 50 |8553 | 50 | 15 | 24 | 829k|4698 | 0.000000e+00 | -- | Inf
265.70/265.79 c 266s| 1500k|373582 | 3832k| 2.6 | 294M| 45 | 6 | 50 |5840 | 50 | 15 | 24 | 835k|4715 | 0.000000e+00 | -- | Inf
267.69/267.78 c 268s| 1510k|375596 | 3858k| 2.6 | 295M| 45 | - | 50 |6387 | 50 | 15 | 24 | 841k|4726 | 0.000000e+00 | -- | Inf
269.60/269.65 c 270s| 1520k|377668 | 3885k| 2.6 | 298M| 45 | - | 50 |8118 | 50 | 15 | 24 | 847k|4746 | 0.000000e+00 | -- | Inf
271.80/271.88 c 272s| 1530k|379573 | 3910k| 2.6 | 299M| 45 | 6 | 50 |5684 | 50 | 15 | 24 | 853k|4764 | 0.000000e+00 | -- | Inf
273.70/273.81 c 274s| 1540k|381704 | 3935k| 2.6 | 301M| 45 | - | 50 |5398 | 50 | 15 | 24 | 859k|4773 | 0.000000e+00 | -- | Inf
275.49/275.51 c 276s| 1550k|384288 | 3961k| 2.6 | 303M| 45 | 6 | 50 |7805 | 50 | 15 | 24 | 865k|4784 | 0.000000e+00 | -- | Inf
277.30/277.32 c 277s| 1560k|387130 | 3987k| 2.6 | 305M| 45 | 6 | 50 |8849 | 50 | 15 | 24 | 870k|4790 | 0.000000e+00 | -- | Inf
279.20/279.21 c 279s| 1570k|389648 | 4013k| 2.6 | 308M| 45 | 6 | 50 | 10k| 50 | 15 | 24 | 876k|4801 | 0.000000e+00 | -- | Inf
281.30/281.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
281.30/281.38 c 281s| 1580k|391673 | 4039k| 2.6 | 310M| 45 | 6 | 50 | 10k| 50 | 15 | 24 | 882k|4808 | 0.000000e+00 | -- | Inf
283.30/283.38 c 283s| 1590k|394360 | 4065k| 2.6 | 312M| 45 | 6 | 50 | 10k| 50 | 15 | 24 | 887k|4818 | 0.000000e+00 | -- | Inf
285.50/285.50 c 286s| 1600k|396738 | 4092k| 2.6 | 313M| 45 | - | 50 | 10k| 50 | 15 | 24 | 893k|4834 | 0.000000e+00 | -- | Inf
287.40/287.45 c 287s| 1610k|399599 | 4119k| 2.6 | 316M| 45 | - | 50 | 11k| 50 | 15 | 24 | 899k|4845 | 0.000000e+00 | -- | Inf
289.89/289.90 c 290s| 1620k|401432 | 4145k| 2.6 | 317M| 45 | - | 50 |8001 | 50 | 15 | 24 | 905k|4856 | 0.000000e+00 | -- | Inf
291.89/291.93 c 292s| 1630k|403800 | 4170k| 2.6 | 318M| 45 | 6 | 50 |6901 | 50 | 15 | 24 | 911k|4873 | 0.000000e+00 | -- | Inf
293.80/293.86 c 294s| 1640k|406306 | 4196k| 2.6 | 320M| 45 | 6 | 50 |6846 | 50 | 15 | 24 | 916k|4881 | 0.000000e+00 | -- | Inf
295.80/295.82 c 296s| 1650k|408552 | 4221k| 2.6 | 322M| 45 | - | 50 |7953 | 50 | 15 | 24 | 922k|4886 | 0.000000e+00 | -- | Inf
297.69/297.78 c 298s| 1660k|410975 | 4247k| 2.6 | 324M| 45 | - | 50 |7665 | 50 | 15 | 24 | 928k|4901 | 0.000000e+00 | -- | Inf
299.80/299.85 c 300s| 1670k|413077 | 4272k| 2.6 | 326M| 45 | 6 | 50 |5433 | 50 | 15 | 24 | 933k|4913 | 0.000000e+00 | -- | Inf
301.70/301.76 c 302s| 1680k|415222 | 4297k| 2.6 | 328M| 45 | 6 | 50 |5926 | 50 | 15 | 24 | 939k|4920 | 0.000000e+00 | -- | Inf
303.70/303.77 c 304s| 1690k|417125 | 4323k| 2.6 | 329M| 45 | - | 50 |5373 | 0 | 0 | 24 | 945k|4928 | 0.000000e+00 | -- | Inf
305.60/305.69 c 306s| 1700k|419245 | 4348k| 2.6 | 331M| 45 | - | 50 |5995 | 50 | 15 | 24 | 951k|4944 | 0.000000e+00 | -- | Inf
307.50/307.53 c 308s| 1710k|421487 | 4373k| 2.6 | 333M| 45 | 6 | 50 |6750 | 50 | 15 | 24 | 957k|4957 | 0.000000e+00 | -- | Inf
309.40/309.49 c 309s| 1720k|423703 | 4398k| 2.6 | 335M| 45 | 6 | 50 |6430 | 50 | 15 | 24 | 963k|4966 | 0.000000e+00 | -- | Inf
311.50/311.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
311.50/311.52 c 312s| 1730k|425661 | 4423k| 2.6 | 337M| 45 | - | 50 |5316 | 50 | 15 | 24 | 969k|4979 | 0.000000e+00 | -- | Inf
313.40/313.51 c 314s| 1740k|427533 | 4448k| 2.6 | 338M| 45 | - | 50 |5144 | 50 | 15 | 24 | 975k|4993 | 0.000000e+00 | -- | Inf
315.39/315.40 c 315s| 1750k|429668 | 4473k| 2.6 | 340M| 45 | 6 | 50 |5617 | 50 | 15 | 24 | 981k|5004 | 0.000000e+00 | -- | Inf
317.10/317.18 c 317s| 1760k|432265 | 4499k| 2.6 | 343M| 45 | - | 50 |7098 | 50 | 15 | 24 | 986k|5015 | 0.000000e+00 | -- | Inf
319.20/319.20 c 319s| 1770k|434281 | 4524k| 2.6 | 344M| 45 | - | 50 |6324 | 50 | 15 | 24 | 992k|5032 | 0.000000e+00 | -- | Inf
321.10/321.17 c 321s| 1780k|436278 | 4549k| 2.6 | 346M| 45 | 6 | 50 |6377 | 50 | 15 | 24 | 998k|5045 | 0.000000e+00 | -- | Inf
323.00/323.04 c 323s| 1790k|438579 | 4574k| 2.6 | 348M| 45 | - | 50 |7052 | 50 | 15 | 24 |1004k|5059 | 0.000000e+00 | -- | Inf
325.09/325.19 c 325s| 1800k|440309 | 4599k| 2.6 | 349M| 45 | 6 | 50 |5918 | 50 | 15 | 24 |1010k|5074 | 0.000000e+00 | -- | Inf
326.90/326.97 c 327s| 1810k|442585 | 4625k| 2.6 | 351M| 45 | 6 | 50 |6771 | 50 | 15 | 24 |1016k|5090 | 0.000000e+00 | -- | Inf
329.00/329.02 c 329s| 1820k|444456 | 4650k| 2.6 | 353M| 45 | 6 | 50 |5330 | 50 | 15 | 24 |1022k|5103 | 0.000000e+00 | -- | Inf
330.90/331.00 c 331s| 1830k|446387 | 4676k| 2.6 | 355M| 45 | - | 50 |5661 | 50 | 15 | 24 |1028k|5119 | 0.000000e+00 | -- | Inf
332.60/332.69 c 333s| 1840k|448948 | 4702k| 2.6 | 357M| 45 | 6 | 50 |7805 | 50 | 15 | 24 |1033k|5128 | 0.000000e+00 | -- | Inf
334.60/334.65 c 335s| 1850k|451550 | 4729k| 2.6 | 359M| 45 | - | 50 |8017 | 50 | 15 | 24 |1039k|5137 | 0.000000e+00 | -- | Inf
336.61/336.66 c 337s| 1860k|453791 | 4755k| 2.6 | 361M| 45 | 6 | 50 |8005 | 50 | 15 | 24 |1045k|5145 | 0.000000e+00 | -- | Inf
338.70/338.75 c 339s| 1870k|456143 | 4782k| 2.6 | 363M| 45 | - | 50 |8376 | 50 | 15 | 24 |1051k|5149 | 0.000000e+00 | -- | Inf
340.80/340.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.80/340.84 c 341s| 1880k|458397 | 4808k| 2.6 | 365M| 45 | - | 50 | 10k| 50 | 15 | 24 |1056k|5159 | 0.000000e+00 | -- | Inf
343.00/343.03 c 343s| 1890k|460518 | 4834k| 2.6 | 367M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |1062k|5170 | 0.000000e+00 | -- | Inf
345.30/345.34 c 345s| 1900k|462481 | 4860k| 2.6 | 368M| 45 | 6 | 50 |8421 | 50 | 15 | 24 |1068k|5176 | 0.000000e+00 | -- | Inf
347.20/347.25 c 347s| 1910k|464765 | 4886k| 2.6 | 371M| 45 | 6 | 50 |9244 | 50 | 15 | 24 |1074k|5182 | 0.000000e+00 | -- | Inf
349.40/349.47 c 349s| 1920k|466901 | 4912k| 2.6 | 372M| 45 | - | 50 |6788 | 0 | 0 | 24 |1080k|5201 | 0.000000e+00 | -- | Inf
351.30/351.35 c 351s| 1930k|469066 | 4938k| 2.6 | 374M| 45 | - | 50 |8130 | 50 | 15 | 24 |1086k|5210 | 0.000000e+00 | -- | Inf
353.20/353.28 c 353s| 1940k|471250 | 4966k| 2.6 | 376M| 45 | 6 | 50 |9484 | 50 | 15 | 24 |1092k|5217 | 0.000000e+00 | -- | Inf
355.50/355.56 c 356s| 1950k|472908 | 4993k| 2.6 | 378M| 45 | 6 | 50 |8238 | 50 | 15 | 24 |1099k|5230 | 0.000000e+00 | -- | Inf
357.40/357.46 c 357s| 1960k|475363 | 5018k| 2.6 | 380M| 45 | 6 | 50 |9300 | 50 | 15 | 24 |1104k|5236 | 0.000000e+00 | -- | Inf
359.60/359.71 c 360s| 1970k|477325 | 5044k| 2.6 | 381M| 45 | 6 | 50 |7314 | 50 | 15 | 24 |1110k|5247 | 0.000000e+00 | -- | Inf
361.70/361.76 c 362s| 1980k|479463 | 5069k| 2.6 | 383M| 45 | 6 | 50 |6986 | 50 | 15 | 24 |1116k|5253 | 0.000000e+00 | -- | Inf
363.90/363.95 c 364s| 1990k|481410 | 5095k| 2.6 | 384M| 45 | - | 50 |5919 | 50 | 15 | 24 |1122k|5260 | 0.000000e+00 | -- | Inf
365.90/365.92 c 366s| 2000k|483415 | 5121k| 2.6 | 386M| 45 | 6 | 50 |5824 | 50 | 15 | 24 |1128k|5272 | 0.000000e+00 | -- | Inf
367.90/367.95 c 368s| 2010k|485361 | 5145k| 2.6 | 388M| 45 | 6 | 50 |5129 | 50 | 15 | 24 |1134k|5280 | 0.000000e+00 | -- | Inf
369.90/369.93 c 370s| 2020k|487253 | 5171k| 2.6 | 389M| 45 | - | 50 |5265 | 50 | 15 | 24 |1140k|5288 | 0.000000e+00 | -- | Inf
371.70/371.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
371.70/371.72 c 372s| 2030k|489900 | 5196k| 2.6 | 392M| 45 | - | 50 |5952 | 50 | 15 | 24 |1146k|5297 | 0.000000e+00 | -- | Inf
373.50/373.54 c 374s| 2040k|492382 | 5223k| 2.6 | 394M| 45 | 6 | 50 |7406 | 50 | 15 | 24 |1151k|5308 | 0.000000e+00 | -- | Inf
375.29/375.36 c 375s| 2050k|495269 | 5251k| 2.6 | 396M| 45 | 6 | 50 |8879 | 50 | 15 | 24 |1156k|5318 | 0.000000e+00 | -- | Inf
377.50/377.50 c 378s| 2060k|497353 | 5277k| 2.6 | 398M| 45 | 6 | 50 |9318 | 50 | 15 | 24 |1162k|5330 | 0.000000e+00 | -- | Inf
379.80/379.89 c 380s| 2070k|499345 | 5303k| 2.6 | 399M| 45 | - | 50 |6861 | 50 | 15 | 24 |1168k|5343 | 0.000000e+00 | -- | Inf
381.90/381.97 c 382s| 2080k|501283 | 5328k| 2.6 | 401M| 45 | 6 | 50 |5585 | 50 | 15 | 24 |1174k|5355 | 0.000000e+00 | -- | Inf
383.70/383.78 c 384s| 2090k|503792 | 5355k| 2.6 | 403M| 45 | 6 | 50 |7148 | 50 | 15 | 24 |1180k|5368 | 0.000000e+00 | -- | Inf
385.90/385.97 c 386s| 2100k|505670 | 5381k| 2.6 | 404M| 45 | - | 50 |5456 | 50 | 15 | 24 |1186k|5378 | 0.000000e+00 | -- | Inf
387.90/387.93 c 388s| 2110k|507654 | 5406k| 2.6 | 406M| 45 | - | 50 |4850 | 50 | 15 | 24 |1192k|5392 | 0.000000e+00 | -- | Inf
389.80/389.81 c 390s| 2120k|509858 | 5431k| 2.6 | 408M| 45 | - | 50 |5393 | 50 | 15 | 24 |1198k|5400 | 0.000000e+00 | -- | Inf
391.80/391.82 c 392s| 2130k|511787 | 5457k| 2.6 | 410M| 45 | 6 | 50 |4697 | 50 | 15 | 24 |1204k|5407 | 0.000000e+00 | -- | Inf
393.60/393.61 c 394s| 2140k|514118 | 5482k| 2.6 | 412M| 45 | 6 | 50 |6926 | 50 | 15 | 24 |1210k|5421 | 0.000000e+00 | -- | Inf
395.60/395.62 c 396s| 2150k|516166 | 5508k| 2.6 | 413M| 45 | 6 | 50 |5692 | 50 | 15 | 24 |1216k|5430 | 0.000000e+00 | -- | Inf
397.40/397.47 c 397s| 2160k|518383 | 5534k| 2.6 | 416M| 45 | 6 | 50 |7040 | 50 | 15 | 24 |1221k|5441 | 0.000000e+00 | -- | Inf
399.32/399.39 c 399s| 2170k|520612 | 5560k| 2.6 | 418M| 45 | 6 | 50 |8904 | 50 | 15 | 24 |1227k|5456 | 0.000000e+00 | -- | Inf
401.52/401.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
401.52/401.56 c 402s| 2180k|522751 | 5585k| 2.6 | 419M| 45 | - | 50 |7348 | 50 | 15 | 24 |1233k|5463 | 0.000000e+00 | -- | Inf
403.30/403.38 c 403s| 2190k|525187 | 5609k| 2.6 | 422M| 45 | - | 50 |9560 | 50 | 15 | 24 |1239k|5482 | 0.000000e+00 | -- | Inf
405.69/405.74 c 406s| 2200k|526927 | 5634k| 2.6 | 423M| 45 | 6 | 50 |6086 | 50 | 15 | 24 |1245k|5492 | 0.000000e+00 | -- | Inf
407.50/407.59 c 408s| 2210k|529324 | 5659k| 2.6 | 425M| 45 | 6 | 50 |7180 | 50 | 15 | 24 |1250k|5503 | 0.000000e+00 | -- | Inf
409.70/409.74 c 410s| 2220k|531327 | 5684k| 2.6 | 426M| 45 | - | 50 |5538 | 50 | 15 | 24 |1256k|5513 | 0.000000e+00 | -- | Inf
411.70/411.70 c 412s| 2230k|533270 | 5710k| 2.6 | 428M| 45 | 6 | 50 |6325 | 50 | 15 | 24 |1262k|5525 | 0.000000e+00 | -- | Inf
413.70/413.71 c 414s| 2240k|535268 | 5736k| 2.6 | 430M| 45 | 6 | 50 |5461 | 50 | 15 | 24 |1268k|5535 | 0.000000e+00 | -- | Inf
415.70/415.73 c 416s| 2250k|537152 | 5761k| 2.6 | 432M| 45 | 6 | 50 |5616 | 50 | 15 | 24 |1274k|5545 | 0.000000e+00 | -- | Inf
417.60/417.68 c 418s| 2260k|539228 | 5786k| 2.6 | 433M| 45 | 6 | 50 |5589 | 50 | 15 | 24 |1280k|5553 | 0.000000e+00 | -- | Inf
419.60/419.61 c 420s| 2270k|541263 | 5811k| 2.6 | 435M| 45 | - | 50 |5079 | 50 | 15 | 24 |1286k|5567 | 0.000000e+00 | -- | Inf
421.40/421.47 c 421s| 2280k|543398 | 5838k| 2.6 | 437M| 45 | - | 50 |6672 | 50 | 15 | 24 |1292k|5584 | 0.000000e+00 | -- | Inf
423.40/423.47 c 423s| 2290k|545354 | 5864k| 2.6 | 439M| 45 | 6 | 50 |7058 | 50 | 15 | 24 |1298k|5597 | 0.000000e+00 | -- | Inf
425.50/425.57 c 426s| 2300k|547192 | 5890k| 2.6 | 440M| 45 | - | 50 |6013 | 50 | 15 | 24 |1304k|5605 | 0.000000e+00 | -- | Inf
427.40/427.41 c 427s| 2310k|549520 | 5916k| 2.6 | 443M| 45 | - | 50 |7666 | 50 | 15 | 24 |1310k|5616 | 0.000000e+00 | -- | Inf
429.20/429.24 c 429s| 2320k|552003 | 5942k| 2.6 | 445M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |1315k|5631 | 0.000000e+00 | -- | Inf
431.60/431.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
431.60/431.68 c 432s| 2330k|553878 | 5967k| 2.6 | 446M| 45 | - | 50 |5945 | 50 | 15 | 24 |1321k|5644 | 0.000000e+00 | -- | Inf
433.70/433.78 c 434s| 2340k|555723 | 5993k| 2.6 | 448M| 45 | - | 50 |5114 | 50 | 15 | 24 |1327k|5657 | 0.000000e+00 | -- | Inf
435.62/435.69 c 436s| 2350k|557751 | 6018k| 2.6 | 449M| 45 | 6 | 50 |5599 | 50 | 15 | 24 |1333k|5669 | 0.000000e+00 | -- | Inf
437.40/437.41 c 437s| 2360k|560319 | 6044k| 2.6 | 452M| 45 | - | 50 |7514 | 50 | 15 | 24 |1339k|5681 | 0.000000e+00 | -- | Inf
439.30/439.34 c 439s| 2370k|562417 | 6070k| 2.6 | 454M| 45 | 6 | 50 |7013 | 50 | 15 | 24 |1345k|5696 | 0.000000e+00 | -- | Inf
441.20/441.26 c 441s| 2380k|564470 | 6095k| 2.6 | 455M| 45 | 6 | 50 |6835 | 50 | 15 | 24 |1351k|5709 | 0.000000e+00 | -- | Inf
443.40/443.41 c 443s| 2390k|566224 | 6120k| 2.6 | 457M| 45 | 6 | 50 |5167 | 50 | 15 | 24 |1357k|5722 | 0.000000e+00 | -- | Inf
445.30/445.40 c 445s| 2400k|568221 | 6146k| 2.6 | 458M| 45 | 6 | 50 |4968 | 50 | 15 | 24 |1363k|5730 | 0.000000e+00 | -- | Inf
447.31/447.37 c 447s| 2410k|570066 | 6171k| 2.6 | 460M| 45 | 6 | 50 |5183 | 50 | 15 | 24 |1369k|5739 | 0.000000e+00 | -- | Inf
449.20/449.26 c 449s| 2420k|572166 | 6196k| 2.6 | 462M| 45 | - | 50 |5913 | 50 | 15 | 24 |1375k|5750 | 0.000000e+00 | -- | Inf
451.20/451.26 c 451s| 2430k|573972 | 6222k| 2.6 | 464M| 45 | 6 | 50 |5350 | 50 | 15 | 24 |1381k|5766 | 0.000000e+00 | -- | Inf
453.10/453.21 c 453s| 2440k|575861 | 6247k| 2.6 | 465M| 45 | 6 | 50 |5154 | 50 | 15 | 24 |1387k|5775 | 0.000000e+00 | -- | Inf
455.20/455.21 c 455s| 2450k|577671 | 6272k| 2.6 | 467M| 45 | - | 50 |5168 | 50 | 15 | 24 |1394k|5784 | 0.000000e+00 | -- | Inf
457.20/457.24 c 457s| 2460k|579521 | 6298k| 2.6 | 469M| 45 | - | 50 |4931 | 0 | 0 | 24 |1400k|5797 | 0.000000e+00 | -- | Inf
459.10/459.11 c 459s| 2470k|581632 | 6325k| 2.6 | 471M| 45 | 6 | 50 |5736 | 50 | 15 | 24 |1405k|5812 | 0.000000e+00 | -- | Inf
460.92/460.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
460.92/460.99 c 461s| 2480k|583640 | 6350k| 2.6 | 473M| 45 | 6 | 50 |6054 | 50 | 15 | 24 |1411k|5838 | 0.000000e+00 | -- | Inf
462.90/462.98 c 463s| 2490k|585609 | 6376k| 2.6 | 475M| 45 | - | 50 |5928 | 50 | 15 | 24 |1418k|5854 | 0.000000e+00 | -- | Inf
464.60/464.67 c 465s| 2500k|588408 | 6403k| 2.6 | 477M| 45 | - | 50 |7999 | 50 | 15 | 24 |1423k|5870 | 0.000000e+00 | -- | Inf
466.60/466.69 c 467s| 2510k|590776 | 6430k| 2.6 | 479M| 45 | 6 | 50 |8796 | 50 | 15 | 24 |1429k|5881 | 0.000000e+00 | -- | Inf
468.90/468.91 c 469s| 2520k|592805 | 6456k| 2.6 | 481M| 45 | 6 | 50 |8961 | 50 | 15 | 24 |1434k|5897 | 0.000000e+00 | -- | Inf
471.30/471.32 c 471s| 2530k|594592 | 6482k| 2.6 | 482M| 45 | 6 | 50 |5892 | 50 | 15 | 24 |1441k|5910 | 0.000000e+00 | -- | Inf
473.30/473.35 c 473s| 2540k|596549 | 6508k| 2.6 | 484M| 45 | 6 | 50 |5924 | 50 | 15 | 24 |1447k|5918 | 0.000000e+00 | -- | Inf
475.22/475.29 c 475s| 2550k|598653 | 6533k| 2.6 | 485M| 45 | - | 50 |5005 | 50 | 15 | 24 |1452k|5927 | 0.000000e+00 | -- | Inf
477.00/477.02 c 477s| 2560k|601272 | 6560k| 2.6 | 488M| 45 | - | 50 |7590 | 50 | 15 | 24 |1458k|5939 | 0.000000e+00 | -- | Inf
478.90/478.96 c 479s| 2570k|603811 | 6585k| 2.6 | 490M| 45 | 6 | 50 |8865 | 50 | 15 | 24 |1463k|5952 | 0.000000e+00 | -- | Inf
481.00/481.00 c 481s| 2580k|606140 | 6612k| 2.6 | 492M| 45 | - | 50 |9293 | 50 | 15 | 24 |1469k|5963 | 0.000000e+00 | -- | Inf
483.30/483.32 c 483s| 2590k|608290 | 6638k| 2.6 | 494M| 45 | - | 50 |7593 | 50 | 15 | 24 |1475k|5971 | 0.000000e+00 | -- | Inf
485.50/485.53 c 486s| 2600k|610152 | 6663k| 2.6 | 495M| 45 | 6 | 50 |5903 | 50 | 15 | 24 |1481k|5990 | 0.000000e+00 | -- | Inf
487.20/487.23 c 487s| 2610k|612915 | 6687k| 2.6 | 498M| 45 | 6 | 50 |7928 | 50 | 15 | 24 |1486k|5997 | 0.000000e+00 | -- | Inf
489.20/489.24 c 489s| 2620k|615163 | 6712k| 2.6 | 500M| 45 | 6 | 50 |8450 | 50 | 15 | 24 |1492k|6014 | 0.000000e+00 | -- | Inf
491.20/491.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
491.20/491.27 c 491s| 2630k|617250 | 6736k| 2.6 | 502M| 45 | 6 | 50 |9150 | 50 | 15 | 24 |1498k|6025 | 0.000000e+00 | -- | Inf
493.61/493.60 c 494s| 2640k|619104 | 6761k| 2.6 | 503M| 45 | 6 | 50 |7646 | 50 | 15 | 24 |1503k|6035 | 0.000000e+00 | -- | Inf
495.60/495.60 c 496s| 2650k|621182 | 6787k| 2.6 | 505M| 45 | 6 | 50 |7770 | 50 | 15 | 24 |1509k|6048 | 0.000000e+00 | -- | Inf
497.80/497.83 c 498s| 2660k|623020 | 6812k| 2.6 | 506M| 45 | 6 | 50 |5792 | 50 | 15 | 24 |1515k|6065 | 0.000000e+00 | -- | Inf
499.80/499.84 c 500s| 2670k|624978 | 6838k| 2.6 | 508M| 45 | 6 | 50 |6394 | 50 | 15 | 24 |1521k|6079 | 0.000000e+00 | -- | Inf
501.90/501.96 c 502s| 2680k|626913 | 6864k| 2.6 | 510M| 45 | 6 | 50 |5070 | 50 | 15 | 24 |1527k|6091 | 0.000000e+00 | -- | Inf
503.60/503.64 c 504s| 2690k|629480 | 6889k| 2.6 | 512M| 45 | 6 | 50 |6038 | 50 | 15 | 24 |1533k|6101 | 0.000000e+00 | -- | Inf
505.41/505.44 c 505s| 2700k|631741 | 6916k| 2.6 | 514M| 45 | - | 50 |7711 | 0 | 0 | 24 |1539k|6114 | 0.000000e+00 | -- | Inf
507.40/507.43 c 507s| 2710k|633749 | 6943k| 2.6 | 516M| 45 | 6 | 50 |6412 | 50 | 15 | 24 |1546k|6122 | 0.000000e+00 | -- | Inf
509.32/509.39 c 509s| 2720k|635472 | 6969k| 2.6 | 518M| 45 | 6 | 50 |6547 | 50 | 15 | 24 |1552k|6133 | 0.000000e+00 | -- | Inf
511.52/511.53 c 512s| 2730k|636995 | 6996k| 2.6 | 519M| 45 | 6 | 50 |6005 | 50 | 15 | 24 |1559k|6142 | 0.000000e+00 | -- | Inf
513.61/513.66 c 514s| 2740k|638701 | 7021k| 2.6 | 521M| 45 | 6 | 50 |4796 | 50 | 15 | 24 |1565k|6151 | 0.000000e+00 | -- | Inf
515.50/515.54 c 516s| 2750k|640772 | 7046k| 2.6 | 523M| 45 | 6 | 50 |5673 | 50 | 15 | 24 |1571k|6161 | 0.000000e+00 | -- | Inf
517.60/517.62 c 518s| 2760k|642748 | 7072k| 2.6 | 524M| 45 | - | 50 |5224 | 50 | 15 | 24 |1577k|6174 | 0.000000e+00 | -- | Inf
519.60/519.63 c 520s| 2770k|644527 | 7097k| 2.6 | 526M| 45 | - | 50 |6252 | 50 | 15 | 24 |1583k|6182 | 0.000000e+00 | -- | Inf
521.51/521.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
521.51/521.58 c 522s| 2780k|646930 | 7123k| 2.6 | 528M| 45 | - | 50 |6542 | 50 | 15 | 24 |1589k|6190 | 0.000000e+00 | -- | Inf
523.31/523.36 c 523s| 2790k|649624 | 7147k| 2.6 | 530M| 45 | - | 50 |8352 | 50 | 15 | 24 |1594k|6203 | 0.000000e+00 | -- | Inf
525.60/525.69 c 526s| 2800k|651516 | 7173k| 2.6 | 532M| 45 | 6 | 50 |6202 | 50 | 15 | 24 |1600k|6212 | 0.000000e+00 | -- | Inf
527.50/527.57 c 528s| 2810k|653757 | 7199k| 2.6 | 534M| 45 | - | 50 |7034 | 50 | 15 | 24 |1606k|6222 | 0.000000e+00 | -- | Inf
529.50/529.52 c 530s| 2820k|655682 | 7226k| 2.6 | 536M| 45 | - | 50 |8720 | 50 | 15 | 24 |1613k|6238 | 0.000000e+00 | -- | Inf
531.70/531.74 c 532s| 2830k|657589 | 7252k| 2.6 | 537M| 45 | - | 50 |6797 | 50 | 15 | 24 |1619k|6246 | 0.000000e+00 | -- | Inf
533.70/533.72 c 534s| 2840k|659631 | 7278k| 2.6 | 539M| 45 | 6 | 50 |7398 | 50 | 15 | 24 |1625k|6253 | 0.000000e+00 | -- | Inf
535.60/535.63 c 536s| 2850k|662065 | 7305k| 2.6 | 542M| 45 | 6 | 50 |9361 | 50 | 15 | 24 |1630k|6260 | 0.000000e+00 | -- | Inf
538.00/538.04 c 538s| 2860k|664128 | 7331k| 2.6 | 542M| 45 | 6 | 50 |5210 | 50 | 15 | 24 |1636k|6266 | 0.000000e+00 | -- | Inf
539.91/539.95 c 540s| 2870k|666075 | 7357k| 2.6 | 545M| 45 | - | 50 |6704 | 50 | 15 | 24 |1642k|6273 | 0.000000e+00 | -- | Inf
541.90/541.91 c 542s| 2880k|668170 | 7382k| 2.6 | 546M| 45 | - | 50 |6686 | 50 | 15 | 24 |1648k|6286 | 0.000000e+00 | -- | Inf
544.00/544.08 c 544s| 2890k|670105 | 7408k| 2.6 | 548M| 45 | 6 | 50 |5551 | 50 | 15 | 24 |1654k|6302 | 0.000000e+00 | -- | Inf
545.90/545.90 c 546s| 2900k|672325 | 7433k| 2.6 | 550M| 45 | 6 | 50 |7227 | 50 | 15 | 24 |1660k|6314 | 0.000000e+00 | -- | Inf
547.90/547.95 c 548s| 2910k|674298 | 7458k| 2.6 | 552M| 45 | - | 50 |7211 | 50 | 15 | 24 |1666k|6320 | 0.000000e+00 | -- | Inf
550.20/550.21 c 550s| 2920k|676135 | 7484k| 2.6 | 553M| 45 | 6 | 50 |5732 | 50 | 15 | 24 |1672k|6332 | 0.000000e+00 | -- | Inf
552.00/552.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
552.00/552.09 c 552s| 2930k|678061 | 7511k| 2.6 | 556M| 45 | 6 | 50 |8003 | 50 | 15 | 24 |1678k|6341 | 0.000000e+00 | -- | Inf
554.42/554.45 c 554s| 2940k|679783 | 7536k| 2.6 | 557M| 45 | 6 | 50 |5384 | 50 | 15 | 24 |1684k|6350 | 0.000000e+00 | -- | Inf
556.20/556.24 c 556s| 2950k|682104 | 7561k| 2.6 | 559M| 45 | - | 50 |7433 | 50 | 15 | 24 |1690k|6359 | 0.000000e+00 | -- | Inf
558.40/558.40 c 558s| 2960k|683979 | 7587k| 2.6 | 561M| 45 | - | 50 |6392 | 50 | 15 | 24 |1696k|6368 | 0.000000e+00 | -- | Inf
560.40/560.41 c 560s| 2970k|685976 | 7611k| 2.6 | 562M| 45 | 6 | 50 |6487 | 50 | 15 | 24 |1702k|6384 | 0.000000e+00 | -- | Inf
562.40/562.46 c 562s| 2980k|687750 | 7637k| 2.6 | 564M| 45 | - | 50 |6380 | 50 | 15 | 24 |1708k|6397 | 0.000000e+00 | -- | Inf
564.50/564.51 c 565s| 2990k|689778 | 7662k| 2.6 | 566M| 45 | - | 50 |6004 | 50 | 15 | 24 |1714k|6404 | 0.000000e+00 | -- | Inf
566.41/566.46 c 566s| 3000k|691877 | 7687k| 2.6 | 568M| 45 | 6 | 50 |6982 | 50 | 15 | 24 |1720k|6416 | 0.000000e+00 | -- | Inf
568.72/568.73 c 569s| 3010k|693649 | 7712k| 2.6 | 569M| 45 | 6 | 50 |5300 | 50 | 15 | 24 |1726k|6430 | 0.000000e+00 | -- | Inf
570.60/570.61 c 571s| 3020k|695924 | 7738k| 2.6 | 571M| 45 | - | 50 |5828 | 0 | 0 | 24 |1732k|6441 | 0.000000e+00 | -- | Inf
572.50/572.58 c 573s| 3030k|697975 | 7764k| 2.6 | 573M| 45 | - | 50 |6204 | 50 | 15 | 24 |1738k|6455 | 0.000000e+00 | -- | Inf
574.51/574.55 c 575s| 3040k|699939 | 7791k| 2.6 | 575M| 45 | 6 | 50 |7165 | 50 | 15 | 24 |1744k|6465 | 0.000000e+00 | -- | Inf
576.80/576.81 c 577s| 3050k|701478 | 7817k| 2.6 | 576M| 45 | 6 | 50 |5502 | 50 | 15 | 24 |1750k|6470 | 0.000000e+00 | -- | Inf
578.63/578.66 c 579s| 3060k|703871 | 7842k| 2.6 | 578M| 45 | 6 | 50 |7505 | 50 | 15 | 24 |1756k|6483 | 0.000000e+00 | -- | Inf
580.82/580.86 c 581s| 3070k|705718 | 7867k| 2.6 | 580M| 45 | 6 | 50 |6682 | 50 | 15 | 24 |1762k|6497 | 0.000000e+00 | -- | Inf
582.91/582.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
582.91/582.93 c 583s| 3080k|707830 | 7894k| 2.6 | 582M| 45 | 6 | 50 |6653 | 50 | 15 | 24 |1768k|6504 | 0.000000e+00 | -- | Inf
585.01/585.06 c 585s| 3090k|709672 | 7919k| 2.6 | 584M| 45 | 6 | 50 |6815 | 50 | 15 | 24 |1774k|6513 | 0.000000e+00 | -- | Inf
587.20/587.24 c 587s| 3100k|711495 | 7944k| 2.6 | 585M| 45 | - | 50 |5829 | 50 | 15 | 24 |1781k|6520 | 0.000000e+00 | -- | Inf
589.31/589.31 c 589s| 3110k|713475 | 7969k| 2.6 | 587M| 45 | - | 50 |5587 | 50 | 15 | 24 |1787k|6527 | 0.000000e+00 | -- | Inf
591.31/591.34 c 591s| 3120k|715329 | 7995k| 2.6 | 589M| 45 | 6 | 50 |5736 | 50 | 15 | 24 |1793k|6543 | 0.000000e+00 | -- | Inf
593.41/593.42 c 593s| 3130k|717029 | 8021k| 2.6 | 590M| 45 | 6 | 50 |5888 | 50 | 15 | 24 |1799k|6555 | 0.000000e+00 | -- | Inf
595.41/595.49 c 595s| 3140k|718758 | 8047k| 2.6 | 592M| 45 | 6 | 50 |6326 | 50 | 15 | 24 |1806k|6563 | 0.000000e+00 | -- | Inf
597.50/597.56 c 598s| 3150k|720906 | 8072k| 2.6 | 594M| 45 | 6 | 50 |6620 | 50 | 15 | 24 |1811k|6579 | 0.000000e+00 | -- | Inf
599.52/599.57 c 600s| 3160k|722992 | 8097k| 2.6 | 596M| 45 | - | 50 |6724 | 50 | 15 | 24 |1817k|6592 | 0.000000e+00 | -- | Inf
601.80/601.80 c 602s| 3170k|724711 | 8123k| 2.6 | 597M| 45 | 6 | 50 |5303 | 50 | 15 | 24 |1823k|6598 | 0.000000e+00 | -- | Inf
603.80/603.85 c 604s| 3180k|726560 | 8148k| 2.6 | 599M| 45 | 6 | 50 |5276 | 50 | 15 | 24 |1829k|6608 | 0.000000e+00 | -- | Inf
605.91/605.92 c 606s| 3190k|728457 | 8173k| 2.6 | 601M| 45 | - | 50 |5401 | 50 | 15 | 24 |1835k|6617 | 0.000000e+00 | -- | Inf
607.91/607.97 c 608s| 3200k|730403 | 8198k| 2.6 | 602M| 45 | 6 | 50 |5710 | 50 | 15 | 24 |1841k|6630 | 0.000000e+00 | -- | Inf
609.81/609.81 c 610s| 3210k|732853 | 8224k| 2.6 | 605M| 45 | 6 | 50 |6788 | 50 | 15 | 24 |1847k|6638 | 0.000000e+00 | -- | Inf
611.70/611.74 c 612s| 3220k|735019 | 8251k| 2.6 | 607M| 45 | - | 50 |8188 | 50 | 15 | 24 |1853k|6651 | 0.000000e+00 | -- | Inf
613.82/613.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
613.82/613.85 c 614s| 3230k|736748 | 8276k| 2.6 | 609M| 45 | - | 50 |8483 | 50 | 15 | 24 |1859k|6661 | 0.000000e+00 | -- | Inf
616.21/616.24 c 616s| 3240k|738526 | 8301k| 2.6 | 610M| 45 | - | 50 |5918 | 50 | 15 | 24 |1865k|6671 | 0.000000e+00 | -- | Inf
618.30/618.38 c 618s| 3250k|740414 | 8327k| 2.6 | 611M| 45 | 6 | 50 |5449 | 50 | 15 | 24 |1871k|6681 | 0.000000e+00 | -- | Inf
620.21/620.31 c 620s| 3260k|742511 | 8351k| 2.6 | 613M| 45 | 6 | 50 |6012 | 50 | 15 | 24 |1877k|6687 | 0.000000e+00 | -- | Inf
622.31/622.38 c 622s| 3270k|744449 | 8376k| 2.6 | 615M| 45 | - | 50 |6497 | 50 | 15 | 24 |1883k|6704 | 0.000000e+00 | -- | Inf
624.30/624.31 c 624s| 3280k|746488 | 8403k| 2.6 | 618M| 45 | 6 | 50 |8730 | 50 | 15 | 24 |1889k|6715 | 0.000000e+00 | -- | Inf
626.50/626.59 c 627s| 3290k|748378 | 8429k| 2.6 | 619M| 45 | 6 | 50 |7392 | 50 | 15 | 24 |1896k|6725 | 0.000000e+00 | -- | Inf
628.60/628.63 c 629s| 3300k|750398 | 8456k| 2.6 | 621M| 45 | 6 | 50 |9227 | 50 | 15 | 24 |1902k|6744 | 0.000000e+00 | -- | Inf
630.91/630.94 c 631s| 3310k|752266 | 8481k| 2.6 | 623M| 45 | - | 50 |7257 | 50 | 15 | 24 |1908k|6758 | 0.000000e+00 | -- | Inf
633.21/633.22 c 633s| 3320k|754066 | 8506k| 2.6 | 624M| 45 | - | 50 |5070 | 50 | 15 | 24 |1914k|6766 | 0.000000e+00 | -- | Inf
635.30/635.32 c 635s| 3330k|755790 | 8531k| 2.6 | 626M| 45 | 6 | 50 |6109 | 50 | 15 | 24 |1921k|6772 | 0.000000e+00 | -- | Inf
637.50/637.50 c 638s| 3340k|757553 | 8557k| 2.6 | 627M| 45 | 6 | 50 |5628 | 50 | 15 | 24 |1927k|6778 | 0.000000e+00 | -- | Inf
639.61/639.68 c 640s| 3350k|759183 | 8582k| 2.6 | 629M| 45 | 6 | 50 |5356 | 50 | 15 | 24 |1933k|6789 | 0.000000e+00 | -- | Inf
641.70/641.73 c 642s| 3360k|761019 | 8608k| 2.6 | 631M| 45 | 6 | 50 |5953 | 50 | 15 | 24 |1939k|6799 | 0.000000e+00 | -- | Inf
643.52/643.55 c 644s| 3370k|763491 | 8635k| 2.6 | 633M| 45 | 6 | 50 |8313 | 50 | 15 | 24 |1945k|6807 | 0.000000e+00 | -- | Inf
645.41/645.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
645.41/645.48 c 645s| 3380k|765999 | 8662k| 2.6 | 635M| 45 | 6 | 50 |9490 | 50 | 15 | 24 |1951k|6813 | 0.000000e+00 | -- | Inf
647.70/647.73 c 648s| 3390k|767905 | 8688k| 2.6 | 637M| 45 | 6 | 50 |9233 | 50 | 15 | 24 |1957k|6826 | 0.000000e+00 | -- | Inf
649.91/649.96 c 650s| 3400k|769965 | 8714k| 2.6 | 639M| 45 | 6 | 50 |8889 | 50 | 15 | 24 |1963k|6836 | 0.000000e+00 | -- | Inf
652.32/652.39 c 652s| 3410k|771852 | 8739k| 2.6 | 640M| 45 | - | 50 |5914 | 50 | 15 | 24 |1969k|6841 | 0.000000e+00 | -- | Inf
654.41/654.49 c 654s| 3420k|773662 | 8766k| 2.6 | 642M| 45 | 6 | 50 |5897 | 50 | 15 | 24 |1975k|6846 | 0.000000e+00 | -- | Inf
656.72/656.76 c 657s| 3430k|775270 | 8791k| 2.6 | 643M| 45 | 6 | 50 |4561 | 50 | 15 | 24 |1981k|6849 | 0.000000e+00 | -- | Inf
658.71/658.81 c 659s| 3440k|777034 | 8816k| 2.6 | 645M| 45 | - | 50 |5215 | 0 | 0 | 24 |1987k|6858 | 0.000000e+00 | -- | Inf
660.81/660.88 c 661s| 3450k|778803 | 8841k| 2.6 | 647M| 45 | 6 | 50 |5518 | 50 | 15 | 24 |1993k|6870 | 0.000000e+00 | -- | Inf
662.71/662.77 c 663s| 3460k|780802 | 8866k| 2.6 | 649M| 45 | 6 | 50 |7080 | 50 | 15 | 24 |1999k|6880 | 0.000000e+00 | -- | Inf
664.91/664.99 c 665s| 3470k|782543 | 8891k| 2.6 | 650M| 45 | 6 | 50 |5705 | 50 | 15 | 24 |2005k|6889 | 0.000000e+00 | -- | Inf
666.91/666.90 c 667s| 3480k|785042 | 8917k| 2.6 | 652M| 45 | 6 | 50 |6801 | 50 | 15 | 24 |2011k|6898 | 0.000000e+00 | -- | Inf
668.82/668.81 c 669s| 3490k|787478 | 8943k| 2.6 | 654M| 45 | 6 | 50 |7992 | 50 | 15 | 24 |2016k|6912 | 0.000000e+00 | -- | Inf
670.90/670.92 c 671s| 3500k|789658 | 8968k| 2.6 | 656M| 45 | - | 50 |8555 | 50 | 15 | 24 |2022k|6920 | 0.000000e+00 | -- | Inf
673.30/673.30 c 673s| 3510k|791452 | 8993k| 2.6 | 658M| 45 | 6 | 50 |7492 | 50 | 15 | 24 |2028k|6929 | 0.000000e+00 | -- | Inf
675.31/675.40 c 675s| 3520k|793393 | 9019k| 2.6 | 660M| 45 | 6 | 50 |7280 | 50 | 15 | 24 |2034k|6939 | 0.000000e+00 | -- | Inf
677.51/677.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
677.51/677.54 c 678s| 3530k|795299 | 9048k| 2.6 | 661M| 45 | 6 | 50 |7750 | 50 | 15 | 24 |2040k|6946 | 0.000000e+00 | -- | Inf
679.90/679.91 c 680s| 3540k|796976 | 9073k| 2.6 | 662M| 45 | 6 | 50 |5431 | 50 | 15 | 24 |2046k|6959 | 0.000000e+00 | -- | Inf
682.03/682.05 c 682s| 3550k|798692 | 9098k| 2.6 | 664M| 45 | - | 50 |5386 | 50 | 15 | 24 |2053k|6968 | 0.000000e+00 | -- | Inf
684.10/684.17 c 684s| 3560k|800378 | 9124k| 2.6 | 666M| 45 | 6 | 50 |5376 | 50 | 15 | 24 |2059k|6976 | 0.000000e+00 | -- | Inf
686.30/686.32 c 686s| 3570k|802180 | 9149k| 2.6 | 668M| 45 | - | 50 |5157 | 50 | 15 | 24 |2065k|6980 | 0.000000e+00 | -- | Inf
688.40/688.44 c 688s| 3580k|803880 | 9175k| 2.6 | 669M| 45 | - | 50 |5181 | 50 | 15 | 24 |2071k|6991 | 0.000000e+00 | -- | Inf
690.41/690.46 c 690s| 3590k|806054 | 9199k| 2.6 | 671M| 45 | 6 | 50 |5540 | 50 | 15 | 24 |2077k|6998 | 0.000000e+00 | -- | Inf
692.50/692.53 c 693s| 3600k|807878 | 9225k| 2.6 | 673M| 45 | 6 | 50 |5806 | 50 | 15 | 24 |2083k|7011 | 0.000000e+00 | -- | Inf
694.60/694.66 c 695s| 3610k|809632 | 9249k| 2.6 | 674M| 45 | - | 50 |5238 | 50 | 15 | 24 |2089k|7022 | 0.000000e+00 | -- | Inf
696.71/696.72 c 697s| 3620k|811408 | 9275k| 2.6 | 676M| 45 | 6 | 50 |5487 | 50 | 15 | 24 |2095k|7030 | 0.000000e+00 | -- | Inf
698.61/698.67 c 699s| 3630k|813456 | 9301k| 2.6 | 678M| 45 | 6 | 50 |7032 | 50 | 15 | 24 |2101k|7040 | 0.000000e+00 | -- | Inf
700.81/700.89 c 701s| 3640k|815297 | 9327k| 2.6 | 680M| 45 | - | 50 |6235 | 50 | 15 | 24 |2107k|7047 | 0.000000e+00 | -- | Inf
703.00/703.02 c 703s| 3650k|817189 | 9353k| 2.6 | 682M| 45 | - | 50 |6433 | 50 | 15 | 24 |2114k|7051 | 0.000000e+00 | -- | Inf
705.21/705.29 c 705s| 3660k|818866 | 9379k| 2.6 | 683M| 45 | 6 | 50 |5648 | 50 | 15 | 24 |2120k|7057 | 0.000000e+00 | -- | Inf
707.11/707.14 c 707s| 3670k|821103 | 9404k| 2.6 | 686M| 45 | 6 | 50 |7951 | 50 | 15 | 24 |2126k|7068 | 0.000000e+00 | -- | Inf
709.30/709.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
709.30/709.35 c 709s| 3680k|822929 | 9430k| 2.6 | 687M| 45 | - | 50 |7224 | 50 | 15 | 24 |2132k|7077 | 0.000000e+00 | -- | Inf
711.41/711.49 c 711s| 3690k|825015 | 9456k| 2.6 | 689M| 45 | - | 50 |7589 | 50 | 15 | 24 |2138k|7086 | 0.000000e+00 | -- | Inf
713.60/713.68 c 714s| 3700k|826812 | 9483k| 2.6 | 691M| 45 | 6 | 50 |8174 | 50 | 15 | 24 |2144k|7097 | 0.000000e+00 | -- | Inf
715.90/716.00 c 716s| 3710k|828530 | 9509k| 2.6 | 692M| 45 | 6 | 50 |6592 | 50 | 15 | 24 |2150k|7112 | 0.000000e+00 | -- | Inf
718.21/718.23 c 718s| 3720k|830205 | 9534k| 2.6 | 694M| 45 | 6 | 50 |5475 | 50 | 15 | 24 |2156k|7119 | 0.000000e+00 | -- | Inf
720.41/720.42 c 720s| 3730k|832006 | 9559k| 2.6 | 695M| 45 | 6 | 50 |4696 | 50 | 15 | 24 |2162k|7137 | 0.000000e+00 | -- | Inf
722.50/722.50 c 722s| 3740k|833628 | 9585k| 2.6 | 697M| 45 | 6 | 50 |5623 | 50 | 15 | 24 |2169k|7142 | 0.000000e+00 | -- | Inf
724.50/724.50 c 725s| 3750k|835571 | 9611k| 2.6 | 699M| 45 | - | 50 |6667 | 50 | 15 | 24 |2175k|7153 | 0.000000e+00 | -- | Inf
726.50/726.56 c 727s| 3760k|837559 | 9637k| 2.6 | 701M| 45 | - | 50 |6877 | 50 | 15 | 24 |2181k|7162 | 0.000000e+00 | -- | Inf
728.70/728.71 c 729s| 3770k|839350 | 9663k| 2.6 | 703M| 45 | - | 50 |6743 | 0 | 0 | 24 |2187k|7179 | 0.000000e+00 | -- | Inf
730.71/730.78 c 731s| 3780k|841139 | 9689k| 2.6 | 704M| 45 | 6 | 50 |6441 | 50 | 15 | 24 |2193k|7186 | 0.000000e+00 | -- | Inf
732.81/732.80 c 733s| 3790k|843400 | 9715k| 2.6 | 706M| 45 | 6 | 50 |6618 | 50 | 15 | 24 |2199k|7199 | 0.000000e+00 | -- | Inf
734.71/734.76 c 735s| 3800k|845839 | 9741k| 2.6 | 709M| 45 | 6 | 50 |8055 | 50 | 15 | 24 |2205k|7207 | 0.000000e+00 | -- | Inf
736.70/736.79 c 737s| 3810k|847950 | 9767k| 2.6 | 711M| 45 | 6 | 50 |9603 | 50 | 15 | 24 |2211k|7215 | 0.000000e+00 | -- | Inf
739.31/739.34 c 739s| 3820k|849583 | 9793k| 2.6 | 712M| 45 | - | 50 |7719 | 50 | 15 | 24 |2217k|7224 | 0.000000e+00 | -- | Inf
741.71/741.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
741.71/741.73 c 742s| 3830k|851133 | 9819k| 2.6 | 713M| 45 | - | 50 |5953 | 50 | 15 | 24 |2223k|7227 | 0.000000e+00 | -- | Inf
743.71/743.77 c 744s| 3840k|853252 | 9844k| 2.6 | 715M| 45 | - | 50 |6038 | 50 | 15 | 24 |2229k|7234 | 0.000000e+00 | -- | Inf
745.82/745.89 c 746s| 3850k|855059 | 9870k| 2.6 | 717M| 45 | 6 | 50 |5346 | 50 | 15 | 24 |2235k|7243 | 0.000000e+00 | -- | Inf
747.91/747.99 c 748s| 3860k|856755 | 9895k| 2.6 | 718M| 45 | - | 50 |5891 | 50 | 15 | 24 |2241k|7248 | 0.000000e+00 | -- | Inf
749.81/749.89 c 750s| 3870k|858929 | 9921k| 2.6 | 721M| 45 | 6 | 50 |7686 | 50 | 15 | 24 |2247k|7258 | 0.000000e+00 | -- | Inf
752.01/752.08 c 752s| 3880k|860820 | 9947k| 2.6 | 722M| 45 | 6 | 50 |6978 | 50 | 15 | 24 |2254k|7265 | 0.000000e+00 | -- | Inf
754.10/754.13 c 754s| 3890k|862937 | 9972k| 2.6 | 724M| 45 | 6 | 50 |8377 | 50 | 15 | 24 |2260k|7274 | 0.000000e+00 | -- | Inf
756.21/756.24 c 756s| 3900k|865074 | 9997k| 2.6 | 726M| 45 | 6 | 50 |7834 | 50 | 15 | 24 |2266k|7282 | 0.000000e+00 | -- | Inf
758.41/758.41 c 758s| 3910k|866995 | 10022k| 2.6 | 728M| 45 | - | 50 |7590 | 50 | 15 | 24 |2272k|7299 | 0.000000e+00 | -- | Inf
760.41/760.40 c 760s| 3920k|869451 | 10047k| 2.6 | 730M| 45 | 6 | 50 |8494 | 50 | 15 | 24 |2277k|7307 | 0.000000e+00 | -- | Inf
762.32/762.39 c 762s| 3930k|871807 | 10071k| 2.6 | 732M| 45 | 6 | 50 |9962 | 50 | 15 | 24 |2283k|7313 | 0.000000e+00 | -- | Inf
764.81/764.89 c 765s| 3940k|873636 | 10096k| 2.6 | 733M| 45 | 6 | 50 |7618 | 50 | 15 | 24 |2289k|7325 | 0.000000e+00 | -- | Inf
767.01/767.05 c 767s| 3950k|875970 | 10121k| 2.6 | 735M| 45 | - | 50 |6926 | 50 | 15 | 24 |2295k|7330 | 0.000000e+00 | -- | Inf
769.01/769.05 c 769s| 3960k|878283 | 10148k| 2.6 | 738M| 45 | 6 | 50 |9008 | 50 | 15 | 24 |2300k|7337 | 0.000000e+00 | -- | Inf
771.31/771.33 c 771s| 3970k|880236 | 10174k| 2.6 | 740M| 45 | 6 | 50 |9711 | 50 | 15 | 24 |2307k|7348 | 0.000000e+00 | -- | Inf
773.81/773.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
773.81/773.85 c 774s| 3980k|881908 | 10200k| 2.6 | 741M| 45 | - | 50 |7264 | 50 | 15 | 24 |2313k|7354 | 0.000000e+00 | -- | Inf
775.91/775.94 c 776s| 3990k|883923 | 10226k| 2.6 | 743M| 45 | 6 | 50 |7729 | 50 | 15 | 24 |2319k|7362 | 0.000000e+00 | -- | Inf
778.31/778.32 c 778s| 4000k|885654 | 10251k| 2.6 | 744M| 45 | 6 | 50 |5666 | 50 | 15 | 24 |2325k|7372 | 0.000000e+00 | -- | Inf
780.20/780.23 c 780s| 4010k|887739 | 10277k| 2.6 | 746M| 45 | - | 50 |7817 | 50 | 15 | 24 |2331k|7385 | 0.000000e+00 | -- | Inf
782.51/782.56 c 783s| 4020k|889276 | 10302k| 2.6 | 747M| 45 | - | 50 |6292 | 50 | 15 | 24 |2337k|7393 | 0.000000e+00 | -- | Inf
784.50/784.55 c 785s| 4030k|891308 | 10327k| 2.6 | 749M| 45 | 6 | 50 |7601 | 50 | 15 | 24 |2343k|7407 | 0.000000e+00 | -- | Inf
786.81/786.82 c 787s| 4040k|893143 | 10353k| 2.6 | 751M| 45 | - | 50 |6472 | 50 | 15 | 24 |2349k|7413 | 0.000000e+00 | -- | Inf
789.01/789.05 c 789s| 4050k|894885 | 10377k| 2.6 | 752M| 45 | - | 50 |5792 | 50 | 15 | 24 |2355k|7420 | 0.000000e+00 | -- | Inf
791.01/791.02 c 791s| 4060k|896955 | 10403k| 2.6 | 754M| 45 | - | 50 |6469 | 50 | 15 | 24 |2361k|7426 | 0.000000e+00 | -- | Inf
792.91/792.99 c 793s| 4070k|898955 | 10429k| 2.6 | 756M| 45 | 6 | 50 |7567 | 50 | 15 | 24 |2367k|7435 | 0.000000e+00 | -- | Inf
795.33/795.37 c 795s| 4080k|900501 | 10454k| 2.6 | 758M| 45 | 6 | 50 |5675 | 50 | 15 | 24 |2374k|7445 | 0.000000e+00 | -- | Inf
797.41/797.51 c 798s| 4090k|902312 | 10480k| 2.6 | 759M| 45 | 6 | 50 |5652 | 50 | 15 | 24 |2380k|7453 | 0.000000e+00 | -- | Inf
799.41/799.40 c 799s| 4100k|904622 | 10507k| 2.6 | 762M| 45 | - | 50 |7666 | 50 | 15 | 24 |2386k|7468 | 0.000000e+00 | -- | Inf
801.50/801.53 c 802s| 4110k|906706 | 10532k| 2.6 | 764M| 45 | - | 50 |8472 | 50 | 15 | 24 |2392k|7478 | 0.000000e+00 | -- | Inf
803.61/803.65 c 804s| 4120k|908664 | 10557k| 2.6 | 766M| 45 | - | 50 | 10k| 50 | 15 | 24 |2398k|7490 | 0.000000e+00 | -- | Inf
806.11/806.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
806.11/806.20 c 806s| 4130k|910379 | 10582k| 2.6 | 767M| 45 | 6 | 50 |6194 | 50 | 15 | 24 |2404k|7500 | 0.000000e+00 | -- | Inf
808.31/808.33 c 808s| 4140k|912280 | 10608k| 2.6 | 768M| 45 | - | 50 |6417 | 0 | 0 | 24 |2410k|7504 | 0.000000e+00 | -- | Inf
810.41/810.46 c 810s| 4150k|914183 | 10634k| 2.6 | 770M| 45 | 6 | 50 |6684 | 50 | 15 | 24 |2416k|7513 | 0.000000e+00 | -- | Inf
812.71/812.79 c 813s| 4160k|915700 | 10659k| 2.6 | 771M| 45 | 6 | 50 |5158 | 50 | 15 | 24 |2422k|7520 | 0.000000e+00 | -- | Inf
814.91/814.98 c 815s| 4170k|917375 | 10685k| 2.6 | 773M| 45 | 6 | 50 |5749 | 50 | 15 | 24 |2428k|7528 | 0.000000e+00 | -- | Inf
817.01/817.02 c 817s| 4180k|919436 | 10710k| 2.6 | 775M| 45 | - | 50 |6815 | 50 | 15 | 24 |2434k|7535 | 0.000000e+00 | -- | Inf
819.21/819.22 c 819s| 4190k|921186 | 10736k| 2.6 | 777M| 45 | 6 | 50 |6206 | 50 | 15 | 24 |2441k|7545 | 0.000000e+00 | -- | Inf
821.31/821.35 c 821s| 4200k|922949 | 10761k| 2.6 | 778M| 45 | - | 50 |5310 | 50 | 15 | 24 |2447k|7560 | 0.000000e+00 | -- | Inf
823.41/823.47 c 823s| 4210k|924673 | 10786k| 2.6 | 780M| 45 | 6 | 50 |5589 | 50 | 15 | 24 |2453k|7564 | 0.000000e+00 | -- | Inf
825.71/825.77 c 826s| 4220k|926179 | 10811k| 2.6 | 781M| 45 | 6 | 50 |4682 | 50 | 15 | 24 |2459k|7571 | 0.000000e+00 | -- | Inf
827.71/827.73 c 828s| 4230k|927892 | 10839k| 2.6 | 784M| 45 | 6 | 50 |7185 | 50 | 15 | 24 |2466k|7585 | 0.000000e+00 | -- | Inf
830.01/830.00 c 830s| 4240k|929561 | 10866k| 2.6 | 785M| 45 | 6 | 50 |7627 | 50 | 15 | 24 |2472k|7595 | 0.000000e+00 | -- | Inf
832.31/832.37 c 832s| 4250k|931267 | 10891k| 2.6 | 787M| 45 | 6 | 50 |5870 | 50 | 15 | 24 |2478k|7600 | 0.000000e+00 | -- | Inf
834.21/834.25 c 834s| 4260k|933850 | 10916k| 2.6 | 789M| 45 | - | 50 |6377 | 50 | 15 | 24 |2484k|7606 | 0.000000e+00 | -- | Inf
836.03/836.10 c 836s| 4270k|936296 | 10941k| 2.6 | 791M| 45 | - | 50 |7443 | 0 | 0 | 24 |2490k|7614 | 0.000000e+00 | -- | Inf
837.91/837.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
837.91/837.98 c 838s| 4280k|938921 | 10967k| 2.6 | 793M| 45 | 6 | 50 |8417 | 50 | 15 | 24 |2495k|7623 | 0.000000e+00 | -- | Inf
840.01/840.01 c 840s| 4290k|941212 | 10992k| 2.6 | 795M| 45 | - | 50 |9076 | 50 | 15 | 24 |2501k|7629 | 0.000000e+00 | -- | Inf
842.21/842.21 c 842s| 4300k|943268 | 11018k| 2.6 | 797M| 45 | 6 | 50 |7435 | 50 | 15 | 24 |2507k|7636 | 0.000000e+00 | -- | Inf
844.21/844.28 c 844s| 4310k|945324 | 11042k| 2.6 | 798M| 45 | 6 | 50 |7675 | 50 | 15 | 24 |2513k|7642 | 0.000000e+00 | -- | Inf
846.31/846.34 c 846s| 4320k|947477 | 11068k| 2.6 | 800M| 45 | 6 | 50 |8608 | 50 | 15 | 24 |2519k|7650 | 0.000000e+00 | -- | Inf
848.41/848.43 c 848s| 4330k|949541 | 11093k| 2.6 | 802M| 45 | 6 | 50 |8691 | 50 | 15 | 24 |2525k|7658 | 0.000000e+00 | -- | Inf
850.51/850.57 c 851s| 4340k|951528 | 11118k| 2.6 | 804M| 45 | 6 | 50 |8605 | 50 | 15 | 24 |2531k|7664 | 0.000000e+00 | -- | Inf
852.71/852.74 c 853s| 4350k|953376 | 11143k| 2.6 | 806M| 45 | 6 | 50 |8273 | 50 | 15 | 24 |2537k|7680 | 0.000000e+00 | -- | Inf
855.01/855.06 c 855s| 4360k|954866 | 11167k| 2.6 | 807M| 45 | 6 | 50 |7645 | 50 | 15 | 24 |2544k|7688 | 0.000000e+00 | -- | Inf
857.31/857.31 c 857s| 4370k|956414 | 11192k| 2.6 | 809M| 45 | 6 | 50 |7605 | 50 | 15 | 24 |2550k|7698 | 0.000000e+00 | -- | Inf
859.31/859.39 c 859s| 4380k|958693 | 11217k| 2.6 | 811M| 45 | - | 50 |8515 | 50 | 15 | 24 |2556k|7702 | 0.000000e+00 | -- | Inf
861.41/861.48 c 861s| 4390k|960895 | 11245k| 2.6 | 813M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |2562k|7711 | 0.000000e+00 | -- | Inf
863.91/863.94 c 864s| 4400k|962556 | 11272k| 2.6 | 815M| 45 | 6 | 50 |9911 | 50 | 15 | 24 |2568k|7722 | 0.000000e+00 | -- | Inf
866.21/866.24 c 866s| 4410k|964629 | 11296k| 2.6 | 816M| 45 | 6 | 50 |8628 | 50 | 15 | 24 |2574k|7730 | 0.000000e+00 | -- | Inf
868.61/868.62 c 869s| 4420k|966619 | 11321k| 2.6 | 818M| 45 | 6 | 50 |8224 | 50 | 15 | 24 |2580k|7738 | 0.000000e+00 | -- | Inf
870.71/870.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.71/870.78 c 871s| 4430k|968750 | 11348k| 2.6 | 820M| 45 | - | 50 |9484 | 50 | 15 | 24 |2585k|7746 | 0.000000e+00 | -- | Inf
873.32/873.32 c 873s| 4440k|970515 | 11373k| 2.6 | 821M| 45 | 6 | 50 |6776 | 50 | 15 | 24 |2592k|7750 | 0.000000e+00 | -- | Inf
875.21/875.24 c 875s| 4450k|972945 | 11399k| 2.6 | 824M| 45 | 6 | 50 |9036 | 50 | 15 | 24 |2597k|7764 | 0.000000e+00 | -- | Inf
877.51/877.54 c 878s| 4460k|974909 | 11425k| 2.6 | 825M| 45 | 6 | 50 |9297 | 50 | 15 | 24 |2604k|7771 | 0.000000e+00 | -- | Inf
880.11/880.14 c 880s| 4470k|976632 | 11451k| 2.6 | 826M| 45 | 6 | 50 |5996 | 50 | 15 | 24 |2610k|7775 | 0.000000e+00 | -- | Inf
882.41/882.42 c 882s| 4480k|978298 | 11477k| 2.6 | 828M| 45 | - | 50 |5725 | 50 | 15 | 24 |2616k|7780 | 0.000000e+00 | -- | Inf
884.51/884.57 c 885s| 4490k|980151 | 11501k| 2.6 | 830M| 45 | - | 50 |6367 | 50 | 15 | 24 |2622k|7789 | 0.000000e+00 | -- | Inf
886.71/886.76 c 887s| 4500k|982065 | 11527k| 2.6 | 831M| 45 | - | 50 |5779 | 50 | 15 | 24 |2628k|7795 | 0.000000e+00 | -- | Inf
888.61/888.63 c 889s| 4510k|984201 | 11554k| 2.6 | 834M| 45 | - | 50 |8032 | 50 | 15 | 24 |2634k|7803 | 0.000000e+00 | -- | Inf
890.81/890.88 c 891s| 4520k|986088 | 11579k| 2.6 | 835M| 45 | - | 50 |8076 | 50 | 15 | 24 |2640k|7812 | 0.000000e+00 | -- | Inf
893.23/893.23 c 893s| 4530k|987971 | 11605k| 2.6 | 837M| 45 | - | 50 |7484 | 50 | 15 | 24 |2647k|7827 | 0.000000e+00 | -- | Inf
895.32/895.35 c 895s| 4540k|989995 | 11631k| 2.6 | 839M| 45 | 6 | 50 |7911 | 50 | 15 | 24 |2653k|7833 | 0.000000e+00 | -- | Inf
897.51/897.59 c 898s| 4550k|991871 | 11656k| 2.6 | 841M| 45 | - | 50 |7974 | 50 | 15 | 24 |2659k|7840 | 0.000000e+00 | -- | Inf
900.11/900.11 c 900s| 4560k|993499 | 11682k| 2.6 | 842M| 45 | - | 50 |5774 | 0 | 0 | 24 |2665k|7845 | 0.000000e+00 | -- | Inf
901.91/901.97 c 902s| 4570k|995771 | 11709k| 2.6 | 844M| 45 | 6 | 50 |8123 | 50 | 15 | 24 |2671k|7852 | 0.000000e+00 | -- | Inf
904.01/904.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
904.01/904.06 c 904s| 4580k|997683 | 11737k| 2.6 | 846M| 45 | - | 50 |9131 | 50 | 15 | 24 |2677k|7864 | 0.000000e+00 | -- | Inf
906.43/906.43 c 906s| 4590k|999335 | 11764k| 2.6 | 848M| 45 | 6 | 50 |9267 | 50 | 15 | 24 |2683k|7871 | 0.000000e+00 | -- | Inf
908.81/908.82 c 909s| 4600k| 1001k| 11789k| 2.6 | 850M| 45 | 6 | 50 |9439 | 50 | 15 | 24 |2690k|7876 | 0.000000e+00 | -- | Inf
911.31/911.38 c 911s| 4610k| 1002k| 11815k| 2.6 | 851M| 45 | - | 50 |8119 | 0 | 0 | 24 |2696k|7884 | 0.000000e+00 | -- | Inf
913.61/913.66 c 914s| 4620k| 1004k| 11841k| 2.6 | 853M| 45 | 6 | 50 |7789 | 50 | 15 | 24 |2702k|7889 | 0.000000e+00 | -- | Inf
916.01/916.09 c 916s| 4630k| 1006k| 11866k| 2.6 | 854M| 45 | - | 50 |6652 | 50 | 15 | 24 |2708k|7893 | 0.000000e+00 | -- | Inf
918.21/918.20 c 918s| 4640k| 1008k| 11892k| 2.6 | 856M| 45 | 6 | 50 |6871 | 50 | 15 | 24 |2714k|7901 | 0.000000e+00 | -- | Inf
920.31/920.33 c 920s| 4650k| 1009k| 11918k| 2.6 | 858M| 45 | - | 50 |8163 | 50 | 15 | 24 |2721k|7912 | 0.000000e+00 | -- | Inf
922.51/922.55 c 923s| 4660k| 1011k| 11944k| 2.6 | 860M| 45 | - | 50 |8369 | 50 | 15 | 24 |2727k|7918 | 0.000000e+00 | -- | Inf
924.91/925.01 c 925s| 4670k| 1013k| 11969k| 2.6 | 861M| 45 | - | 50 |6327 | 50 | 15 | 24 |2733k|7924 | 0.000000e+00 | -- | Inf
927.11/927.20 c 927s| 4680k| 1015k| 11995k| 2.6 | 863M| 45 | 6 | 50 |7147 | 50 | 15 | 24 |2739k|7926 | 0.000000e+00 | -- | Inf
929.42/929.50 c 929s| 4690k| 1017k| 12020k| 2.6 | 864M| 45 | - | 50 |5808 | 50 | 15 | 24 |2745k|7934 | 0.000000e+00 | -- | Inf
931.51/931.56 c 932s| 4700k| 1018k| 12045k| 2.6 | 866M| 45 | 6 | 50 |7113 | 50 | 15 | 24 |2751k|7943 | 0.000000e+00 | -- | Inf
933.71/933.79 c 934s| 4710k| 1020k| 12071k| 2.6 | 868M| 45 | 6 | 50 |7118 | 50 | 15 | 24 |2757k|7948 | 0.000000e+00 | -- | Inf
936.21/936.21 c 936s| 4720k| 1022k| 12096k| 2.6 | 869M| 45 | 6 | 50 |5673 | 50 | 15 | 24 |2763k|7956 | 0.000000e+00 | -- | Inf
938.33/938.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
938.33/938.33 c 938s| 4730k| 1024k| 12121k| 2.6 | 871M| 45 | 6 | 50 |6557 | 50 | 15 | 24 |2770k|7959 | 0.000000e+00 | -- | Inf
940.71/940.71 c 941s| 4740k| 1025k| 12147k| 2.6 | 872M| 45 | - | 50 |5083 | 50 | 15 | 24 |2776k|7966 | 0.000000e+00 | -- | Inf
942.73/942.74 c 943s| 4750k| 1027k| 12172k| 2.6 | 874M| 45 | 6 | 50 |6372 | 50 | 15 | 24 |2782k|7974 | 0.000000e+00 | -- | Inf
944.61/944.69 c 945s| 4760k| 1029k| 12197k| 2.6 | 877M| 45 | - | 50 |8263 | 50 | 15 | 24 |2788k|7984 | 0.000000e+00 | -- | Inf
947.01/947.01 c 947s| 4770k| 1031k| 12223k| 2.6 | 878M| 45 | - | 50 |8370 | 50 | 15 | 24 |2794k|7993 | 0.000000e+00 | -- | Inf
949.22/949.25 c 949s| 4780k| 1033k| 12249k| 2.6 | 880M| 45 | 6 | 50 |9484 | 50 | 15 | 24 |2801k|8000 | 0.000000e+00 | -- | Inf
951.53/951.55 c 952s| 4790k| 1035k| 12274k| 2.6 | 882M| 45 | 6 | 50 |8367 | 50 | 15 | 24 |2806k|8004 | 0.000000e+00 | -- | Inf
953.91/953.99 c 954s| 4800k| 1036k| 12300k| 2.6 | 883M| 45 | 6 | 50 |7313 | 50 | 15 | 24 |2813k|8007 | 0.000000e+00 | -- | Inf
956.41/956.40 c 956s| 4810k| 1038k| 12325k| 2.6 | 884M| 45 | 6 | 50 |5233 | 50 | 15 | 24 |2819k|8010 | 0.000000e+00 | -- | Inf
958.51/958.54 c 959s| 4820k| 1040k| 12350k| 2.6 | 886M| 45 | - | 50 |5956 | 50 | 15 | 24 |2825k|8023 | 0.000000e+00 | -- | Inf
960.81/960.84 c 961s| 4830k| 1041k| 12375k| 2.6 | 888M| 45 | 6 | 50 |4954 | 50 | 15 | 24 |2832k|8028 | 0.000000e+00 | -- | Inf
962.91/962.93 c 963s| 4840k| 1043k| 12402k| 2.6 | 890M| 45 | 6 | 50 |5928 | 50 | 15 | 24 |2838k|8032 | 0.000000e+00 | -- | Inf
965.11/965.19 c 965s| 4850k| 1045k| 12427k| 2.6 | 891M| 45 | 6 | 50 |5742 | 50 | 15 | 24 |2844k|8037 | 0.000000e+00 | -- | Inf
967.11/967.16 c 967s| 4860k| 1047k| 12454k| 2.6 | 894M| 45 | 6 | 50 |7768 | 50 | 15 | 24 |2850k|8046 | 0.000000e+00 | -- | Inf
969.13/969.18 c 969s| 4870k| 1049k| 12481k| 2.6 | 896M| 45 | 6 | 50 |9087 | 50 | 15 | 24 |2856k|8051 | 0.000000e+00 | -- | Inf
971.21/971.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
971.21/971.24 c 971s| 4880k| 1051k| 12509k| 2.6 | 898M| 45 | - | 50 | 10k| 50 | 15 | 24 |2862k|8059 | 0.000000e+00 | -- | Inf
973.53/973.56 c 974s| 4890k| 1053k| 12536k| 2.6 | 900M| 45 | - | 50 | 10k| 50 | 15 | 24 |2869k|8064 | 0.000000e+00 | -- | Inf
975.91/975.96 c 976s| 4900k| 1055k| 12563k| 2.6 | 901M| 45 | 6 | 50 |9229 | 50 | 15 | 24 |2875k|8069 | 0.000000e+00 | -- | Inf
978.21/978.29 c 978s| 4910k| 1057k| 12590k| 2.6 | 902M| 45 | 6 | 50 |8517 | 50 | 15 | 24 |2882k|8076 | 0.000000e+00 | -- | Inf
980.62/980.64 c 981s| 4920k| 1058k| 12616k| 2.6 | 904M| 45 | 6 | 50 |9018 | 50 | 15 | 24 |2888k|8081 | 0.000000e+00 | -- | Inf
983.01/983.04 c 983s| 4930k| 1060k| 12643k| 2.6 | 906M| 45 | 6 | 50 |8676 | 50 | 15 | 24 |2895k|8088 | 0.000000e+00 | -- | Inf
985.41/985.48 c 985s| 4940k| 1061k| 12670k| 2.6 | 907M| 45 | 6 | 50 |8980 | 50 | 15 | 24 |2902k|8091 | 0.000000e+00 | -- | Inf
987.71/987.78 c 988s| 4950k| 1063k| 12695k| 2.6 | 909M| 45 | 6 | 50 |8431 | 50 | 15 | 24 |2908k|8096 | 0.000000e+00 | -- | Inf
990.03/990.07 c 990s| 4960k| 1065k| 12720k| 2.6 | 910M| 45 | 6 | 50 |7619 | 50 | 15 | 24 |2914k|8104 | 0.000000e+00 | -- | Inf
992.41/992.44 c 992s| 4970k| 1067k| 12745k| 2.6 | 912M| 45 | 6 | 50 |5869 | 50 | 15 | 24 |2920k|8111 | 0.000000e+00 | -- | Inf
994.61/994.68 c 995s| 4980k| 1068k| 12770k| 2.6 | 913M| 45 | 6 | 50 |5618 | 50 | 15 | 24 |2926k|8113 | 0.000000e+00 | -- | Inf
996.82/996.89 c 997s| 4990k| 1070k| 12794k| 2.6 | 915M| 45 | 6 | 50 |5147 | 50 | 15 | 24 |2932k|8121 | 0.000000e+00 | -- | Inf
999.01/999.02 c 999s| 5000k| 1072k| 12822k| 2.6 | 917M| 45 | 6 | 50 |5885 | 50 | 15 | 24 |2939k|8128 | 0.000000e+00 | -- | Inf
1001.11/1001.18 c 1001s| 5010k| 1074k| 12847k| 2.6 | 919M| 45 | - | 50 |6937 | 50 | 15 | 24 |2945k|8135 | 0.000000e+00 | -- | Inf
1003.51/1003.59 c 1004s| 5020k| 1075k| 12873k| 2.6 | 920M| 45 | - | 50 |5094 | 50 | 15 | 24 |2951k|8140 | 0.000000e+00 | -- | Inf
1005.82/1005.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1005.82/1005.82 c 1006s| 5030k| 1077k| 12898k| 2.6 | 921M| 45 | - | 50 |5096 | 50 | 15 | 24 |2957k|8147 | 0.000000e+00 | -- | Inf
1007.81/1007.87 c 1008s| 5040k| 1078k| 12924k| 2.6 | 923M| 45 | - | 50 |6107 | 50 | 15 | 24 |2963k|8153 | 0.000000e+00 | -- | Inf
1010.11/1010.14 c 1010s| 5050k| 1080k| 12949k| 2.6 | 925M| 45 | - | 50 |6006 | 50 | 15 | 24 |2970k|8160 | 0.000000e+00 | -- | Inf
1012.31/1012.34 c 1012s| 5060k| 1082k| 12975k| 2.6 | 927M| 45 | - | 50 |6601 | 50 | 15 | 24 |2976k|8166 | 0.000000e+00 | -- | Inf
1014.51/1014.59 c 1015s| 5070k| 1084k| 13000k| 2.6 | 928M| 45 | 6 | 50 |5682 | 50 | 15 | 24 |2982k|8176 | 0.000000e+00 | -- | Inf
1016.81/1016.88 c 1017s| 5080k| 1085k| 13025k| 2.6 | 930M| 45 | - | 50 |5420 | 50 | 15 | 24 |2988k|8185 | 0.000000e+00 | -- | Inf
1018.91/1018.97 c 1019s| 5090k| 1087k| 13050k| 2.6 | 932M| 45 | - | 50 |6584 | 50 | 15 | 24 |2994k|8192 | 0.000000e+00 | -- | Inf
1021.01/1021.04 c 1021s| 5100k| 1089k| 13076k| 2.6 | 934M| 45 | - | 50 |8877 | 50 | 15 | 24 |3000k|8199 | 0.000000e+00 | -- | Inf
1023.51/1023.57 c 1024s| 5110k| 1091k| 13101k| 2.6 | 935M| 45 | - | 50 |5298 | 0 | 0 | 24 |3006k|8211 | 0.000000e+00 | -- | Inf
1025.81/1025.82 c 1026s| 5120k| 1092k| 13126k| 2.6 | 937M| 45 | 6 | 50 |5100 | 50 | 15 | 24 |3013k|8217 | 0.000000e+00 | -- | Inf
1027.92/1027.97 c 1028s| 5130k| 1094k| 13152k| 2.6 | 939M| 45 | - | 50 |6332 | 50 | 15 | 24 |3019k|8224 | 0.000000e+00 | -- | Inf
1030.01/1030.04 c 1030s| 5140k| 1096k| 13177k| 2.6 | 941M| 45 | 6 | 50 |7426 | 50 | 15 | 24 |3025k|8233 | 0.000000e+00 | -- | Inf
1032.31/1032.32 c 1032s| 5150k| 1098k| 13203k| 2.6 | 942M| 45 | - | 50 |7214 | 50 | 15 | 24 |3031k|8243 | 0.000000e+00 | -- | Inf
1034.61/1034.66 c 1035s| 5160k| 1100k| 13229k| 2.6 | 944M| 45 | 6 | 50 |6037 | 50 | 15 | 24 |3037k|8251 | 0.000000e+00 | -- | Inf
1036.81/1036.84 c 1037s| 5170k| 1101k| 13254k| 2.6 | 945M| 45 | 6 | 50 |6103 | 50 | 15 | 24 |3043k|8258 | 0.000000e+00 | -- | Inf
1039.11/1039.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1039.11/1039.12 c 1039s| 5180k| 1103k| 13279k| 2.6 | 947M| 45 | 6 | 50 |6939 | 50 | 15 | 24 |3050k|8270 | 0.000000e+00 | -- | Inf
1041.21/1041.22 c 1041s| 5190k| 1105k| 13305k| 2.6 | 949M| 45 | - | 50 |7478 | 50 | 15 | 24 |3056k|8276 | 0.000000e+00 | -- | Inf
1043.52/1043.50 c 1043s| 5200k| 1107k| 13330k| 2.6 | 951M| 45 | - | 50 |6743 | 50 | 15 | 24 |3062k|8278 | 0.000000e+00 | -- | Inf
1045.71/1045.77 c 1046s| 5210k| 1108k| 13356k| 2.6 | 952M| 45 | 6 | 50 |6329 | 50 | 15 | 24 |3068k|8281 | 0.000000e+00 | -- | Inf
1047.91/1047.99 c 1048s| 5220k| 1110k| 13382k| 2.6 | 954M| 45 | - | 50 |6295 | 50 | 15 | 24 |3074k|8286 | 0.000000e+00 | -- | Inf
1050.22/1050.26 c 1050s| 5230k| 1112k| 13407k| 2.6 | 955M| 45 | 6 | 50 |5961 | 50 | 15 | 24 |3080k|8299 | 0.000000e+00 | -- | Inf
1052.31/1052.33 c 1052s| 5240k| 1114k| 13433k| 2.6 | 957M| 45 | 6 | 50 |6856 | 50 | 15 | 24 |3086k|8310 | 0.000000e+00 | -- | Inf
1054.51/1054.50 c 1054s| 5250k| 1115k| 13459k| 2.6 | 959M| 45 | 6 | 50 |6301 | 50 | 15 | 24 |3093k|8314 | 0.000000e+00 | -- | Inf
1056.71/1056.75 c 1057s| 5260k| 1117k| 13484k| 2.6 | 960M| 45 | 6 | 50 |5671 | 50 | 15 | 24 |3099k|8317 | 0.000000e+00 | -- | Inf
1058.91/1058.90 c 1059s| 5270k| 1119k| 13509k| 2.6 | 962M| 45 | - | 50 |5436 | 50 | 15 | 24 |3105k|8327 | 0.000000e+00 | -- | Inf
1061.01/1061.06 c 1061s| 5280k| 1121k| 13535k| 2.6 | 964M| 45 | - | 50 |6164 | 50 | 15 | 24 |3111k|8331 | 0.000000e+00 | -- | Inf
1063.31/1063.30 c 1063s| 5290k| 1122k| 13560k| 2.6 | 966M| 45 | 6 | 50 |5709 | 50 | 15 | 24 |3117k|8341 | 0.000000e+00 | -- | Inf
1065.41/1065.47 c 1065s| 5300k| 1124k| 13585k| 2.6 | 967M| 45 | - | 50 |5276 | 0 | 0 | 24 |3123k|8345 | 0.000000e+00 | -- | Inf
1067.51/1067.59 c 1068s| 5310k| 1126k| 13610k| 2.6 | 969M| 45 | 6 | 50 |6120 | 50 | 15 | 24 |3129k|8349 | 0.000000e+00 | -- | Inf
1069.81/1069.80 c 1070s| 5320k| 1128k| 13636k| 2.6 | 971M| 45 | - | 50 |6775 | 50 | 15 | 24 |3136k|8359 | 0.000000e+00 | -- | Inf
1072.01/1072.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1072.01/1072.01 c 1072s| 5330k| 1129k| 13662k| 2.6 | 973M| 45 | 6 | 50 |7205 | 50 | 15 | 24 |3142k|8367 | 0.000000e+00 | -- | Inf
1074.32/1074.35 c 1074s| 5340k| 1131k| 13687k| 2.6 | 974M| 45 | 6 | 50 |5863 | 50 | 15 | 24 |3148k|8373 | 0.000000e+00 | -- | Inf
1076.21/1076.22 c 1076s| 5350k| 1134k| 13712k| 2.6 | 977M| 45 | - | 50 |8024 | 50 | 15 | 24 |3154k|8382 | 0.000000e+00 | -- | Inf
1078.52/1078.51 c 1079s| 5360k| 1135k| 13738k| 2.6 | 978M| 45 | - | 50 |8761 | 50 | 15 | 24 |3160k|8389 | 0.000000e+00 | -- | Inf
1080.91/1080.94 c 1081s| 5370k| 1137k| 13764k| 2.6 | 980M| 45 | 6 | 50 |7031 | 50 | 15 | 24 |3166k|8396 | 0.000000e+00 | -- | Inf
1083.31/1083.33 c 1083s| 5380k| 1139k| 13789k| 2.6 | 981M| 45 | 6 | 50 |5935 | 50 | 15 | 24 |3172k|8403 | 0.000000e+00 | -- | Inf
1085.42/1085.40 c 1085s| 5390k| 1141k| 13816k| 2.6 | 983M| 45 | 6 | 50 |7940 | 50 | 15 | 24 |3179k|8417 | 0.000000e+00 | -- | Inf
1087.51/1087.50 c 1087s| 5400k| 1143k| 13842k| 2.6 | 985M| 45 | 6 | 50 |8880 | 50 | 15 | 24 |3185k|8424 | 0.000000e+00 | -- | Inf
1089.92/1089.97 c 1090s| 5410k| 1144k| 13867k| 2.6 | 987M| 45 | 6 | 50 |6897 | 50 | 15 | 24 |3191k|8437 | 0.000000e+00 | -- | Inf
1092.11/1092.11 c 1092s| 5420k| 1146k| 13893k| 2.6 | 989M| 45 | 6 | 50 |8343 | 50 | 15 | 24 |3197k|8446 | 0.000000e+00 | -- | Inf
1094.42/1094.49 c 1094s| 5430k| 1148k| 13919k| 2.6 | 990M| 45 | - | 50 |7141 | 0 | 0 | 24 |3203k|8452 | 0.000000e+00 | -- | Inf
1096.81/1096.80 c 1097s| 5440k| 1149k| 13944k| 2.6 | 992M| 45 | - | 50 |6778 | 50 | 15 | 24 |3209k|8456 | 0.000000e+00 | -- | Inf
1099.11/1099.11 c 1099s| 5450k| 1151k| 13970k| 2.6 | 993M| 45 | 6 | 50 |5933 | 50 | 15 | 24 |3216k|8462 | 0.000000e+00 | -- | Inf
1101.02/1101.10 c 1101s| 5460k| 1153k| 13997k| 2.6 | 995M| 45 | 6 | 50 |8176 | 50 | 15 | 24 |3223k|8469 | 0.000000e+00 | -- | Inf
1103.42/1103.48 c 1103s| 5470k| 1154k| 14024k| 2.6 | 997M| 45 | 6 | 50 |7396 | 50 | 15 | 24 |3230k|8476 | 0.000000e+00 | -- | Inf
1105.61/1105.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1105.61/1105.64 c 1106s| 5480k| 1156k| 14050k| 2.6 | 999M| 45 | 6 | 50 |7823 | 50 | 15 | 24 |3236k|8482 | 0.000000e+00 | -- | Inf
1107.42/1107.46 c 1107s| 5490k| 1159k| 14076k| 2.6 |1001M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3241k|8487 | 0.000000e+00 | -- | Inf
1109.71/1109.71 c 1110s| 5500k| 1161k| 14102k| 2.6 |1003M| 45 | - | 50 | 10k| 50 | 15 | 24 |3247k|8494 | 0.000000e+00 | -- | Inf
1111.91/1111.91 c 1112s| 5510k| 1164k| 14129k| 2.6 |1005M| 45 | - | 50 | 11k| 0 | 0 | 24 |3253k|8499 | 0.000000e+00 | -- | Inf
1114.11/1114.14 c 1114s| 5520k| 1166k| 14156k| 2.6 |1008M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |3259k|8501 | 0.000000e+00 | -- | Inf
1116.71/1116.73 c 1117s| 5530k| 1168k| 14182k| 2.6 |1009M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |3265k|8512 | 0.000000e+00 | -- | Inf
1119.42/1119.46 c 1119s| 5540k| 1170k| 14209k| 2.6 |1011M| 45 | - | 50 | 11k| 50 | 15 | 24 |3272k|8518 | 0.000000e+00 | -- | Inf
1122.11/1122.13 c 1122s| 5550k| 1172k| 14235k| 2.6 |1012M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3278k|8521 | 0.000000e+00 | -- | Inf
1124.72/1124.77 c 1125s| 5560k| 1173k| 14262k| 2.6 |1014M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3284k|8525 | 0.000000e+00 | -- | Inf
1127.71/1127.70 c 1128s| 5570k| 1175k| 14288k| 2.6 |1015M| 45 | 6 | 50 |7245 | 50 | 15 | 24 |3291k|8529 | 0.000000e+00 | -- | Inf
1130.12/1130.10 c 1130s| 5580k| 1176k| 14313k| 2.6 |1016M| 45 | 6 | 50 |6724 | 50 | 15 | 24 |3297k|8540 | 0.000000e+00 | -- | Inf
1132.41/1132.49 c 1132s| 5590k| 1178k| 14338k| 2.6 |1018M| 45 | - | 50 |5823 | 50 | 15 | 24 |3303k|8544 | 0.000000e+00 | -- | Inf
1134.82/1134.86 c 1135s| 5600k| 1179k| 14363k| 2.6 |1019M| 45 | 6 | 50 |5280 | 50 | 15 | 24 |3310k|8547 | 0.000000e+00 | -- | Inf
1136.81/1136.82 c 1137s| 5610k| 1182k| 14390k| 2.6 |1021M| 45 | - | 50 |7732 | 50 | 15 | 24 |3315k|8559 | 0.000000e+00 | -- | Inf
1139.12/1139.18 c 1139s| 5620k| 1183k| 14416k| 2.6 |1023M| 45 | 6 | 50 |6467 | 50 | 15 | 24 |3321k|8561 | 0.000000e+00 | -- | Inf
1141.51/1141.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1141.51/1141.55 c 1142s| 5630k| 1185k| 14441k| 2.6 |1024M| 45 | 6 | 50 |5303 | 50 | 15 | 24 |3328k|8567 | 0.000000e+00 | -- | Inf
1143.61/1143.69 c 1144s| 5640k| 1187k| 14467k| 2.6 |1026M| 45 | 6 | 50 |6092 | 50 | 15 | 24 |3334k|8576 | 0.000000e+00 | -- | Inf
1145.91/1145.98 c 1146s| 5650k| 1188k| 14492k| 2.6 |1028M| 45 | - | 50 |5998 | 50 | 15 | 24 |3340k|8582 | 0.000000e+00 | -- | Inf
1148.01/1148.08 c 1148s| 5660k| 1190k| 14518k| 2.6 |1030M| 45 | 6 | 50 |8185 | 50 | 15 | 24 |3346k|8590 | 0.000000e+00 | -- | Inf
1150.52/1150.56 c 1151s| 5670k| 1192k| 14543k| 2.6 |1031M| 45 | 6 | 50 |7244 | 50 | 15 | 24 |3352k|8593 | 0.000000e+00 | -- | Inf
1152.91/1152.91 c 1153s| 5680k| 1194k| 14569k| 2.6 |1033M| 45 | 6 | 50 |5835 | 50 | 15 | 24 |3358k|8599 | 0.000000e+00 | -- | Inf
1154.61/1154.67 c 1155s| 5690k| 1197k| 14595k| 2.6 |1035M| 45 | 6 | 50 |7999 | 50 | 15 | 24 |3363k|8603 | 0.000000e+00 | -- | Inf
1156.71/1156.74 c 1157s| 5700k| 1200k| 14622k| 2.6 |1038M| 45 | - | 50 |8946 | 50 | 15 | 24 |3369k|8608 | 0.000000e+00 | -- | Inf
1158.92/1158.93 c 1159s| 5710k| 1202k| 14648k| 2.6 |1040M| 45 | 6 | 50 |9750 | 50 | 15 | 24 |3375k|8613 | 0.000000e+00 | -- | Inf
1161.12/1161.13 c 1161s| 5720k| 1204k| 14675k| 2.6 |1042M| 45 | - | 50 | 10k| 50 | 15 | 24 |3381k|8615 | 0.000000e+00 | -- | Inf
1163.51/1163.53 c 1164s| 5730k| 1206k| 14702k| 2.6 |1043M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3387k|8625 | 0.000000e+00 | -- | Inf
1165.72/1165.79 c 1166s| 5740k| 1208k| 14730k| 2.6 |1045M| 45 | - | 50 | 10k| 50 | 15 | 24 |3393k|8633 | 0.000000e+00 | -- | Inf
1168.32/1168.31 c 1168s| 5750k| 1210k| 14756k| 2.6 |1047M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3399k|8640 | 0.000000e+00 | -- | Inf
1170.82/1170.85 c 1171s| 5760k| 1212k| 14782k| 2.6 |1049M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3405k|8650 | 0.000000e+00 | -- | Inf
1173.22/1173.29 c 1173s| 5770k| 1214k| 14808k| 2.6 |1050M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3411k|8661 | 0.000000e+00 | -- | Inf
1175.51/1175.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1175.51/1175.54 c 1176s| 5780k| 1216k| 14834k| 2.6 |1053M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3417k|8665 | 0.000000e+00 | -- | Inf
1178.02/1178.08 c 1178s| 5790k| 1218k| 14861k| 2.6 |1054M| 45 | - | 50 | 11k| 50 | 15 | 24 |3424k|8669 | 0.000000e+00 | -- | Inf
1180.51/1180.59 c 1181s| 5800k| 1220k| 14888k| 2.6 |1056M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3430k|8674 | 0.000000e+00 | -- | Inf
1183.21/1183.21 c 1183s| 5810k| 1221k| 14914k| 2.6 |1058M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3436k|8679 | 0.000000e+00 | -- | Inf
1185.91/1185.99 c 1186s| 5820k| 1223k| 14940k| 2.6 |1059M| 45 | - | 50 | 11k| 50 | 15 | 24 |3442k|8681 | 0.000000e+00 | -- | Inf
1188.91/1188.93 c 1189s| 5830k| 1224k| 14966k| 2.6 |1060M| 45 | 6 | 50 |7079 | 50 | 15 | 24 |3449k|8697 | 0.000000e+00 | -- | Inf
1191.33/1191.36 c 1191s| 5840k| 1226k| 14991k| 2.6 |1062M| 45 | 6 | 50 |7233 | 50 | 15 | 24 |3455k|8707 | 0.000000e+00 | -- | Inf
1193.71/1193.73 c 1194s| 5850k| 1228k| 15017k| 2.6 |1063M| 45 | - | 50 |7033 | 50 | 15 | 24 |3461k|8718 | 0.000000e+00 | -- | Inf
1196.21/1196.20 c 1196s| 5860k| 1229k| 15043k| 2.6 |1065M| 45 | 6 | 50 |7065 | 50 | 15 | 24 |3468k|8723 | 0.000000e+00 | -- | Inf
1198.62/1198.66 c 1199s| 5870k| 1231k| 15068k| 2.6 |1066M| 45 | 6 | 50 |5579 | 50 | 15 | 24 |3474k|8728 | 0.000000e+00 | -- | Inf
1201.01/1201.00 c 1201s| 5880k| 1233k| 15093k| 2.6 |1068M| 45 | - | 50 |5488 | 50 | 15 | 24 |3480k|8732 | 0.000000e+00 | -- | Inf
1203.12/1203.15 c 1203s| 5890k| 1234k| 15119k| 2.6 |1070M| 45 | 6 | 50 |7319 | 50 | 15 | 24 |3487k|8737 | 0.000000e+00 | -- | Inf
1205.42/1205.51 c 1206s| 5900k| 1236k| 15145k| 2.6 |1071M| 45 | 6 | 50 |6816 | 50 | 15 | 24 |3493k|8742 | 0.000000e+00 | -- | Inf
1207.91/1207.93 c 1208s| 5910k| 1238k| 15171k| 2.6 |1073M| 45 | - | 50 |5986 | 50 | 15 | 24 |3499k|8752 | 0.000000e+00 | -- | Inf
1210.11/1210.11 c 1210s| 5920k| 1239k| 15196k| 2.6 |1075M| 45 | - | 50 |6860 | 50 | 15 | 24 |3505k|8757 | 0.000000e+00 | -- | Inf
1212.61/1212.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1212.61/1212.62 c 1213s| 5930k| 1241k| 15222k| 2.6 |1076M| 45 | - | 50 |6239 | 50 | 15 | 24 |3512k|8764 | 0.000000e+00 | -- | Inf
1215.02/1215.00 c 1215s| 5940k| 1243k| 15247k| 2.6 |1078M| 45 | 6 | 50 |5578 | 50 | 15 | 24 |3518k|8770 | 0.000000e+00 | -- | Inf
1216.91/1216.96 c 1217s| 5950k| 1244k| 15273k| 2.6 |1080M| 45 | 6 | 50 |7299 | 50 | 15 | 24 |3524k|8776 | 0.000000e+00 | -- | Inf
1219.22/1219.24 c 1219s| 5960k| 1246k| 15299k| 2.6 |1082M| 45 | 6 | 50 |7834 | 50 | 15 | 24 |3530k|8780 | 0.000000e+00 | -- | Inf
1221.52/1221.50 c 1222s| 5970k| 1248k| 15325k| 2.6 |1083M| 45 | - | 50 |8118 | 50 | 15 | 24 |3536k|8786 | 0.000000e+00 | -- | Inf
1223.82/1223.82 c 1224s| 5980k| 1250k| 15351k| 2.6 |1085M| 45 | - | 50 |9461 | 50 | 15 | 24 |3543k|8793 | 0.000000e+00 | -- | Inf
1225.92/1225.96 c 1226s| 5990k| 1252k| 15376k| 2.6 |1087M| 45 | - | 50 |9968 | 50 | 15 | 24 |3548k|8801 | 0.000000e+00 | -- | Inf
1228.12/1228.20 c 1228s| 6000k| 1254k| 15401k| 2.6 |1089M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3554k|8806 | 0.000000e+00 | -- | Inf
1230.32/1230.38 c 1230s| 6010k| 1257k| 15426k| 2.6 |1092M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |3559k|8811 | 0.000000e+00 | -- | Inf
1232.91/1232.91 c 1233s| 6020k| 1259k| 15451k| 2.6 |1093M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3565k|8816 | 0.000000e+00 | -- | Inf
1235.52/1235.50 c 1236s| 6030k| 1260k| 15477k| 2.6 |1095M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |3572k|8821 | 0.000000e+00 | -- | Inf
1238.31/1238.31 c 1238s| 6040k| 1262k| 15502k| 2.6 |1096M| 45 | 6 | 50 |7626 | 50 | 15 | 24 |3578k|8827 | 0.000000e+00 | -- | Inf
1240.92/1240.95 c 1241s| 6050k| 1263k| 15528k| 2.6 |1097M| 45 | 6 | 50 |5761 | 50 | 15 | 24 |3584k|8832 | 0.000000e+00 | -- | Inf
1243.22/1243.29 c 1243s| 6060k| 1265k| 15553k| 2.6 |1098M| 45 | 6 | 50 |5392 | 50 | 15 | 24 |3591k|8837 | 0.000000e+00 | -- | Inf
1245.42/1245.46 c 1245s| 6070k| 1267k| 15579k| 2.6 |1100M| 45 | 6 | 50 |6053 | 50 | 15 | 24 |3597k|8842 | 0.000000e+00 | -- | Inf
1247.61/1247.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1247.61/1247.67 c 1248s| 6080k| 1269k| 15605k| 2.6 |1102M| 45 | - | 50 |7046 | 50 | 15 | 24 |3603k|8851 | 0.000000e+00 | -- | Inf
1250.12/1250.16 c 1250s| 6090k| 1270k| 15631k| 2.6 |1104M| 45 | - | 50 |6086 | 50 | 15 | 24 |3609k|8859 | 0.000000e+00 | -- | Inf
1252.32/1252.36 c 1252s| 6100k| 1272k| 15657k| 2.6 |1106M| 45 | 6 | 50 |6871 | 50 | 15 | 24 |3615k|8865 | 0.000000e+00 | -- | Inf
1254.72/1254.79 c 1255s| 6110k| 1274k| 15682k| 2.6 |1107M| 45 | - | 50 |5405 | 0 | 0 | 24 |3622k|8871 | 0.000000e+00 | -- | Inf
1257.02/1257.07 c 1257s| 6120k| 1275k| 15708k| 2.6 |1108M| 45 | 6 | 50 |5555 | 50 | 15 | 24 |3628k|8874 | 0.000000e+00 | -- | Inf
1259.31/1259.31 c 1259s| 6130k| 1277k| 15733k| 2.6 |1110M| 45 | - | 50 |6125 | 50 | 15 | 24 |3634k|8877 | 0.000000e+00 | -- | Inf
1261.62/1261.64 c 1262s| 6140k| 1279k| 15758k| 2.6 |1112M| 45 | 6 | 50 |6057 | 50 | 15 | 24 |3640k|8884 | 0.000000e+00 | -- | Inf
1263.82/1263.81 c 1264s| 6150k| 1280k| 15783k| 2.6 |1114M| 45 | 6 | 50 |6134 | 50 | 15 | 24 |3646k|8888 | 0.000000e+00 | -- | Inf
1266.22/1266.21 c 1266s| 6160k| 1282k| 15808k| 2.6 |1115M| 45 | 6 | 50 |5442 | 50 | 15 | 24 |3653k|8896 | 0.000000e+00 | -- | Inf
1268.41/1268.42 c 1268s| 6170k| 1283k| 15833k| 2.6 |1117M| 45 | 6 | 50 |6226 | 50 | 15 | 24 |3659k|8900 | 0.000000e+00 | -- | Inf
1270.72/1270.70 c 1271s| 6180k| 1285k| 15859k| 2.6 |1118M| 45 | 6 | 50 |6154 | 50 | 15 | 24 |3665k|8909 | 0.000000e+00 | -- | Inf
1273.00/1273.05 c 1273s| 6190k| 1286k| 15884k| 2.6 |1120M| 45 | - | 50 |5749 | 50 | 15 | 24 |3671k|8911 | 0.000000e+00 | -- | Inf
1275.30/1275.31 c 1275s| 6200k| 1288k| 15910k| 2.6 |1122M| 45 | 6 | 50 |6248 | 50 | 15 | 24 |3678k|8920 | 0.000000e+00 | -- | Inf
1277.29/1277.38 c 1277s| 6210k| 1290k| 15936k| 2.6 |1124M| 45 | - | 50 |7519 | 50 | 15 | 24 |3684k|8927 | 0.000000e+00 | -- | Inf
1279.90/1279.90 c 1280s| 6220k| 1292k| 15962k| 2.6 |1125M| 45 | - | 50 |5660 | 50 | 15 | 24 |3690k|8930 | 0.000000e+00 | -- | Inf
1282.10/1282.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1282.10/1282.12 c 1282s| 6230k| 1293k| 15989k| 2.6 |1127M| 45 | - | 50 |7092 | 50 | 15 | 24 |3696k|8937 | 0.000000e+00 | -- | Inf
1284.40/1284.45 c 1284s| 6240k| 1295k| 16014k| 2.6 |1129M| 45 | - | 50 |7455 | 50 | 15 | 24 |3703k|8945 | 0.000000e+00 | -- | Inf
1286.90/1286.91 c 1287s| 6250k| 1297k| 16039k| 2.6 |1130M| 45 | - | 50 |6376 | 0 | 0 | 24 |3709k|8951 | 0.000000e+00 | -- | Inf
1288.99/1289.05 c 1289s| 6260k| 1298k| 16066k| 2.6 |1132M| 45 | 6 | 50 |8153 | 50 | 15 | 24 |3715k|8958 | 0.000000e+00 | -- | Inf
1291.70/1291.72 c 1292s| 6270k| 1300k| 16090k| 2.6 |1133M| 45 | 6 | 50 |5746 | 50 | 15 | 24 |3722k|8961 | 0.000000e+00 | -- | Inf
1293.90/1293.97 c 1294s| 6280k| 1301k| 16115k| 2.6 |1135M| 45 | - | 50 |5707 | 50 | 15 | 24 |3728k|8968 | 0.000000e+00 | -- | Inf
1296.00/1296.00 c 1296s| 6290k| 1304k| 16141k| 2.6 |1137M| 45 | - | 50 |7883 | 50 | 15 | 24 |3734k|8975 | 0.000000e+00 | -- | Inf
1298.30/1298.38 c 1298s| 6300k| 1305k| 16167k| 2.6 |1139M| 45 | 6 | 50 |8905 | 50 | 15 | 24 |3740k|8979 | 0.000000e+00 | -- | Inf
1300.60/1300.69 c 1301s| 6310k| 1307k| 16192k| 2.6 |1141M| 45 | 6 | 50 |8914 | 50 | 15 | 24 |3747k|8986 | 0.000000e+00 | -- | Inf
1302.90/1302.98 c 1303s| 6320k| 1309k| 16218k| 2.6 |1143M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |3753k|8997 | 0.000000e+00 | -- | Inf
1305.60/1305.62 c 1306s| 6330k| 1311k| 16242k| 2.6 |1144M| 45 | 6 | 50 |8438 | 50 | 15 | 24 |3759k|9005 | 0.000000e+00 | -- | Inf
1308.10/1308.15 c 1308s| 6340k| 1313k| 16268k| 2.6 |1146M| 45 | 6 | 50 |6570 | 50 | 15 | 24 |3765k|9012 | 0.000000e+00 | -- | Inf
1310.20/1310.26 c 1310s| 6350k| 1314k| 16294k| 2.6 |1148M| 45 | 6 | 50 |9377 | 50 | 15 | 24 |3771k|9021 | 0.000000e+00 | -- | Inf
1312.70/1312.74 c 1313s| 6360k| 1316k| 16319k| 2.6 |1150M| 45 | - | 50 |9045 | 50 | 15 | 24 |3777k|9025 | 0.000000e+00 | -- | Inf
1315.10/1315.13 c 1315s| 6370k| 1318k| 16345k| 2.6 |1151M| 45 | 6 | 50 |7380 | 50 | 15 | 24 |3783k|9031 | 0.000000e+00 | -- | Inf
1317.40/1317.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1317.40/1317.48 c 1317s| 6380k| 1320k| 16371k| 2.6 |1153M| 45 | 6 | 50 |7269 | 50 | 15 | 24 |3789k|9037 | 0.000000e+00 | -- | Inf
1319.90/1319.97 c 1320s| 6390k| 1321k| 16396k| 2.6 |1154M| 45 | 6 | 50 |5925 | 50 | 15 | 24 |3795k|9042 | 0.000000e+00 | -- | Inf
1322.30/1322.32 c 1322s| 6400k| 1323k| 16421k| 2.6 |1156M| 45 | 6 | 50 |6010 | 50 | 15 | 24 |3802k|9051 | 0.000000e+00 | -- | Inf
1324.60/1324.65 c 1325s| 6410k| 1325k| 16447k| 2.6 |1157M| 45 | 6 | 50 |5623 | 50 | 15 | 24 |3808k|9057 | 0.000000e+00 | -- | Inf
1326.80/1326.88 c 1327s| 6420k| 1327k| 16473k| 2.6 |1159M| 45 | - | 50 |6245 | 50 | 15 | 24 |3814k|9068 | 0.000000e+00 | -- | Inf
1329.10/1329.18 c 1329s| 6430k| 1328k| 16498k| 2.6 |1161M| 45 | 6 | 50 |6075 | 50 | 15 | 24 |3820k|9075 | 0.000000e+00 | -- | Inf
1331.50/1331.54 c 1332s| 6440k| 1330k| 16524k| 2.6 |1162M| 45 | 6 | 50 |5664 | 50 | 15 | 24 |3827k|9083 | 0.000000e+00 | -- | Inf
1333.80/1333.84 c 1334s| 6450k| 1331k| 16550k| 2.6 |1164M| 45 | - | 50 |6545 | 50 | 15 | 24 |3833k|9089 | 0.000000e+00 | -- | Inf
1336.10/1336.14 c 1336s| 6460k| 1333k| 16575k| 2.6 |1166M| 45 | 6 | 50 |6053 | 50 | 15 | 24 |3840k|9102 | 0.000000e+00 | -- | Inf
1338.50/1338.50 c 1339s| 6470k| 1335k| 16600k| 2.6 |1167M| 45 | 6 | 50 |5487 | 50 | 15 | 24 |3846k|9106 | 0.000000e+00 | -- | Inf
1340.92/1340.94 c 1341s| 6480k| 1336k| 16625k| 2.6 |1169M| 45 | 6 | 50 |5133 | 50 | 15 | 24 |3852k|9112 | 0.000000e+00 | -- | Inf
1343.20/1343.23 c 1343s| 6490k| 1338k| 16650k| 2.6 |1170M| 45 | 6 | 50 |6096 | 50 | 15 | 24 |3858k|9118 | 0.000000e+00 | -- | Inf
1345.50/1345.58 c 1346s| 6500k| 1339k| 16675k| 2.6 |1172M| 45 | 6 | 50 |6160 | 50 | 15 | 24 |3865k|9121 | 0.000000e+00 | -- | Inf
1347.70/1347.79 c 1348s| 6510k| 1341k| 16701k| 2.6 |1174M| 45 | - | 50 |7495 | 50 | 15 | 24 |3871k|9126 | 0.000000e+00 | -- | Inf
1350.20/1350.25 c 1350s| 6520k| 1342k| 16727k| 2.6 |1175M| 45 | 6 | 50 |5743 | 50 | 15 | 24 |3878k|9137 | 0.000000e+00 | -- | Inf
1352.30/1352.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1352.30/1352.35 c 1352s| 6530k| 1344k| 16752k| 2.6 |1177M| 45 | - | 50 |7115 | 50 | 15 | 24 |3884k|9143 | 0.000000e+00 | -- | Inf
1354.60/1354.61 c 1355s| 6540k| 1346k| 16778k| 2.6 |1179M| 45 | - | 50 |7989 | 50 | 15 | 24 |3890k|9148 | 0.000000e+00 | -- | Inf
1357.00/1357.06 c 1357s| 6550k| 1348k| 16804k| 2.6 |1181M| 45 | - | 50 |7134 | 50 | 15 | 24 |3896k|9151 | 0.000000e+00 | -- | Inf
1359.30/1359.32 c 1359s| 6560k| 1349k| 16828k| 2.6 |1182M| 45 | 6 | 50 |7336 | 50 | 15 | 24 |3902k|9157 | 0.000000e+00 | -- | Inf
1361.60/1361.63 c 1362s| 6570k| 1351k| 16854k| 2.6 |1184M| 45 | 6 | 50 |7926 | 50 | 15 | 24 |3908k|9166 | 0.000000e+00 | -- | Inf
1364.10/1364.15 c 1364s| 6580k| 1353k| 16880k| 2.6 |1186M| 45 | 6 | 50 |6817 | 50 | 15 | 24 |3915k|9171 | 0.000000e+00 | -- | Inf
1366.10/1366.16 c 1366s| 6590k| 1355k| 16906k| 2.6 |1188M| 45 | 6 | 50 |8624 | 50 | 15 | 24 |3920k|9174 | 0.000000e+00 | -- | Inf
1368.42/1368.47 c 1368s| 6600k| 1357k| 16930k| 2.6 |1190M| 45 | 6 | 50 |9338 | 50 | 15 | 24 |3927k|9182 | 0.000000e+00 | -- | Inf
1371.20/1371.26 c 1371s| 6610k| 1358k| 16955k| 2.6 |1190M| 45 | 6 | 50 |5739 | 50 | 15 | 24 |3933k|9187 | 0.000000e+00 | -- | Inf
1373.50/1373.59 c 1374s| 6620k| 1360k| 16980k| 2.6 |1192M| 45 | 6 | 50 |5898 | 50 | 15 | 24 |3939k|9193 | 0.000000e+00 | -- | Inf
1376.00/1376.03 c 1376s| 6630k| 1361k| 17006k| 2.6 |1193M| 45 | - | 50 |5149 | 50 | 15 | 24 |3945k|9198 | 0.000000e+00 | -- | Inf
1378.10/1378.21 c 1378s| 6640k| 1363k| 17031k| 2.6 |1195M| 45 | 6 | 50 |5697 | 50 | 15 | 24 |3951k|9203 | 0.000000e+00 | -- | Inf
1380.40/1380.47 c 1380s| 6650k| 1365k| 17056k| 2.6 |1197M| 45 | 6 | 50 |4892 | 50 | 15 | 24 |3957k|9208 | 0.000000e+00 | -- | Inf
1382.61/1382.64 c 1383s| 6660k| 1366k| 17081k| 2.6 |1199M| 45 | 6 | 50 |6367 | 50 | 15 | 24 |3964k|9213 | 0.000000e+00 | -- | Inf
1384.80/1384.89 c 1385s| 6670k| 1368k| 17107k| 2.6 |1200M| 45 | - | 50 |7006 | 50 | 15 | 24 |3970k|9215 | 0.000000e+00 | -- | Inf
1387.40/1387.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1387.40/1387.43 c 1387s| 6680k| 1369k| 17132k| 2.6 |1202M| 45 | 6 | 50 |5205 | 50 | 15 | 24 |3976k|9217 | 0.000000e+00 | -- | Inf
1389.70/1389.76 c 1390s| 6690k| 1371k| 17157k| 2.6 |1203M| 45 | 6 | 50 |5752 | 50 | 15 | 24 |3983k|9226 | 0.000000e+00 | -- | Inf
1392.00/1392.00 c 1392s| 6700k| 1373k| 17182k| 2.6 |1205M| 45 | - | 50 |5720 | 50 | 15 | 24 |3989k|9229 | 0.000000e+00 | -- | Inf
1394.10/1394.12 c 1394s| 6710k| 1374k| 17208k| 2.6 |1207M| 45 | - | 50 |7734 | 50 | 15 | 24 |3995k|9235 | 0.000000e+00 | -- | Inf
1396.40/1396.46 c 1396s| 6720k| 1376k| 17234k| 2.6 |1209M| 45 | 6 | 50 |8324 | 50 | 15 | 24 |4001k|9243 | 0.000000e+00 | -- | Inf
1398.80/1398.84 c 1399s| 6730k| 1378k| 17259k| 2.6 |1210M| 45 | 6 | 50 |7512 | 50 | 15 | 24 |4007k|9247 | 0.000000e+00 | -- | Inf
1401.20/1401.30 c 1401s| 6740k| 1379k| 17285k| 2.6 |1212M| 45 | 6 | 50 |6474 | 50 | 15 | 24 |4014k|9249 | 0.000000e+00 | -- | Inf
1403.70/1403.71 c 1404s| 6750k| 1381k| 17310k| 2.6 |1213M| 45 | - | 50 |5665 | 50 | 15 | 24 |4020k|9254 | 0.000000e+00 | -- | Inf
1405.82/1405.89 c 1406s| 6760k| 1383k| 17335k| 2.6 |1215M| 45 | - | 50 |6408 | 50 | 15 | 24 |4026k|9262 | 0.000000e+00 | -- | Inf
1407.80/1407.81 c 1408s| 6770k| 1386k| 17359k| 2.6 |1218M| 45 | 6 | 50 |8326 | 50 | 15 | 24 |4031k|9266 | 0.000000e+00 | -- | Inf
1410.00/1410.04 c 1410s| 6780k| 1388k| 17385k| 2.6 |1219M| 45 | 6 | 50 |8221 | 50 | 15 | 24 |4036k|9271 | 0.000000e+00 | -- | Inf
1412.20/1412.26 c 1412s| 6790k| 1390k| 17411k| 2.6 |1221M| 45 | - | 50 |8150 | 0 | 0 | 24 |4042k|9277 | 0.000000e+00 | -- | Inf
1414.70/1414.78 c 1415s| 6800k| 1392k| 17436k| 2.6 |1223M| 45 | 6 | 50 |8353 | 50 | 15 | 24 |4048k|9282 | 0.000000e+00 | -- | Inf
1417.10/1417.14 c 1417s| 6810k| 1394k| 17462k| 2.6 |1225M| 45 | - | 50 |9173 | 50 | 15 | 24 |4054k|9287 | 0.000000e+00 | -- | Inf
1419.60/1419.68 c 1420s| 6820k| 1396k| 17488k| 2.6 |1226M| 45 | - | 50 |7543 | 50 | 15 | 24 |4060k|9296 | 0.000000e+00 | -- | Inf
1422.10/1422.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1422.10/1422.17 c 1422s| 6830k| 1397k| 17512k| 2.6 |1228M| 45 | - | 50 |6682 | 0 | 0 | 24 |4066k|9303 | 0.000000e+00 | -- | Inf
1424.52/1424.52 c 1425s| 6840k| 1399k| 17538k| 2.6 |1229M| 45 | 6 | 50 |6763 | 50 | 15 | 24 |4073k|9317 | 0.000000e+00 | -- | Inf
1427.00/1427.03 c 1427s| 6850k| 1400k| 17563k| 2.6 |1231M| 45 | - | 50 |6558 | 50 | 15 | 24 |4079k|9320 | 0.000000e+00 | -- | Inf
1429.50/1429.59 c 1430s| 6860k| 1402k| 17588k| 2.6 |1232M| 45 | 6 | 50 |5736 | 50 | 15 | 24 |4085k|9325 | 0.000000e+00 | -- | Inf
1431.60/1431.66 c 1432s| 6870k| 1404k| 17613k| 2.6 |1234M| 45 | 6 | 50 |7341 | 50 | 15 | 24 |4091k|9337 | 0.000000e+00 | -- | Inf
1434.00/1434.00 c 1434s| 6880k| 1405k| 17639k| 2.6 |1236M| 45 | 6 | 50 |7328 | 50 | 15 | 24 |4098k|9343 | 0.000000e+00 | -- | Inf
1436.62/1436.68 c 1437s| 6890k| 1407k| 17665k| 2.6 |1237M| 45 | - | 50 |5570 | 50 | 15 | 24 |4104k|9354 | 0.000000e+00 | -- | Inf
1439.01/1439.07 c 1439s| 6900k| 1408k| 17690k| 2.6 |1239M| 45 | 6 | 50 |5165 | 50 | 15 | 24 |4110k|9359 | 0.000000e+00 | -- | Inf
1441.20/1441.20 c 1441s| 6910k| 1410k| 17715k| 2.6 |1241M| 45 | 6 | 50 |6615 | 50 | 15 | 24 |4116k|9368 | 0.000000e+00 | -- | Inf
1443.60/1443.60 c 1444s| 6920k| 1412k| 17741k| 2.6 |1242M| 45 | - | 50 |7012 | 50 | 15 | 24 |4122k|9378 | 0.000000e+00 | -- | Inf
1446.01/1446.04 c 1446s| 6930k| 1413k| 17766k| 2.6 |1244M| 45 | 6 | 50 |6014 | 50 | 15 | 24 |4129k|9384 | 0.000000e+00 | -- | Inf
1448.30/1448.37 c 1448s| 6940k| 1415k| 17791k| 2.6 |1245M| 45 | 6 | 50 |5936 | 50 | 15 | 24 |4135k|9389 | 0.000000e+00 | -- | Inf
1450.60/1450.68 c 1451s| 6950k| 1417k| 17816k| 2.6 |1247M| 45 | 6 | 50 |5787 | 50 | 15 | 24 |4141k|9396 | 0.000000e+00 | -- | Inf
1452.90/1453.01 c 1453s| 6960k| 1418k| 17842k| 2.6 |1249M| 45 | - | 50 |5456 | 50 | 15 | 24 |4147k|9404 | 0.000000e+00 | -- | Inf
1455.10/1455.10 c 1455s| 6970k| 1420k| 17868k| 2.6 |1251M| 45 | 6 | 50 |6765 | 50 | 15 | 24 |4153k|9411 | 0.000000e+00 | -- | Inf
1457.00/1457.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1457.00/1457.09 c 1457s| 6980k| 1423k| 17895k| 2.6 |1253M| 45 | 6 | 50 |8632 | 50 | 15 | 24 |4159k|9419 | 0.000000e+00 | -- | Inf
1459.10/1459.17 c 1459s| 6990k| 1425k| 17921k| 2.6 |1255M| 45 | 6 | 50 |8911 | 50 | 15 | 24 |4164k|9429 | 0.000000e+00 | -- | Inf
1461.40/1461.46 c 1461s| 7000k| 1428k| 17947k| 2.6 |1257M| 45 | 6 | 50 |8602 | 50 | 15 | 24 |4170k|9433 | 0.000000e+00 | -- | Inf
1463.70/1463.79 c 1464s| 7010k| 1430k| 17974k| 2.6 |1259M| 45 | - | 50 |9333 | 0 | 0 | 24 |4176k|9438 | 0.000000e+00 | -- | Inf
1466.00/1466.04 c 1466s| 7020k| 1432k| 18000k| 2.6 |1261M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4181k|9446 | 0.000000e+00 | -- | Inf
1468.41/1468.44 c 1468s| 7030k| 1434k| 18027k| 2.6 |1263M| 45 | - | 50 |9992 | 50 | 15 | 24 |4187k|9454 | 0.000000e+00 | -- | Inf
1470.81/1470.89 c 1471s| 7040k| 1436k| 18054k| 2.6 |1265M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4193k|9458 | 0.000000e+00 | -- | Inf
1473.50/1473.52 c 1474s| 7050k| 1438k| 18081k| 2.6 |1266M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4199k|9469 | 0.000000e+00 | -- | Inf
1476.22/1476.23 c 1476s| 7060k| 1439k| 18108k| 2.6 |1268M| 45 | - | 50 |9604 | 50 | 15 | 24 |4206k|9473 | 0.000000e+00 | -- | Inf
1478.80/1478.89 c 1479s| 7070k| 1441k| 18134k| 2.6 |1269M| 45 | 6 | 50 |9341 | 50 | 15 | 24 |4212k|9477 | 0.000000e+00 | -- | Inf
1481.40/1481.43 c 1481s| 7080k| 1443k| 18160k| 2.6 |1271M| 45 | - | 50 |8519 | 50 | 15 | 24 |4218k|9481 | 0.000000e+00 | -- | Inf
1483.60/1483.69 c 1484s| 7090k| 1445k| 18187k| 2.6 |1273M| 45 | - | 50 |8927 | 50 | 15 | 24 |4224k|9488 | 0.000000e+00 | -- | Inf
1485.70/1485.76 c 1486s| 7100k| 1447k| 18215k| 2.6 |1275M| 45 | - | 50 | 10k| 0 | 0 | 24 |4230k|9494 | 0.000000e+00 | -- | Inf
1488.11/1488.15 c 1488s| 7110k| 1449k| 18242k| 2.6 |1277M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4235k|9506 | 0.000000e+00 | -- | Inf
1490.60/1490.66 c 1491s| 7120k| 1451k| 18269k| 2.6 |1279M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4241k|9519 | 0.000000e+00 | -- | Inf
1493.10/1493.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1493.10/1493.17 c 1493s| 7130k| 1453k| 18297k| 2.6 |1281M| 45 | - | 50 | 11k| 50 | 15 | 24 |4247k|9525 | 0.000000e+00 | -- | Inf
1495.80/1495.81 c 1496s| 7140k| 1455k| 18324k| 2.6 |1283M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |4254k|9533 | 0.000000e+00 | -- | Inf
1498.70/1498.76 c 1499s| 7150k| 1456k| 18350k| 2.6 |1284M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4260k|9536 | 0.000000e+00 | -- | Inf
1501.60/1501.64 c 1502s| 7160k| 1458k| 18375k| 2.6 |1284M| 45 | 6 | 50 |6209 | 50 | 15 | 24 |4266k|9540 | 0.000000e+00 | -- | Inf
1503.50/1503.55 c 1504s| 7170k| 1461k| 18402k| 2.6 |1287M| 45 | 6 | 50 |7206 | 50 | 15 | 24 |4272k|9544 | 0.000000e+00 | -- | Inf
1505.30/1505.31 c 1505s| 7180k| 1464k| 18428k| 2.6 |1289M| 45 | - | 50 |8283 | 50 | 15 | 24 |4276k|9551 | 0.000000e+00 | -- | Inf
1507.30/1507.40 c 1507s| 7190k| 1467k| 18454k| 2.6 |1291M| 45 | - | 50 |9461 | 50 | 15 | 24 |4282k|9556 | 0.000000e+00 | -- | Inf
1509.50/1509.57 c 1510s| 7200k| 1470k| 18481k| 2.6 |1294M| 45 | 6 | 50 |9849 | 50 | 15 | 24 |4287k|9563 | 0.000000e+00 | -- | Inf
1511.80/1511.84 c 1512s| 7210k| 1473k| 18507k| 2.6 |1295M| 45 | 6 | 50 |9151 | 50 | 15 | 24 |4292k|9567 | 0.000000e+00 | -- | Inf
1514.10/1514.11 c 1514s| 7220k| 1475k| 18533k| 2.6 |1298M| 45 | 6 | 50 |9810 | 50 | 15 | 24 |4298k|9571 | 0.000000e+00 | -- | Inf
1516.30/1516.32 c 1516s| 7230k| 1478k| 18559k| 2.6 |1300M| 45 | - | 50 | 10k| 50 | 15 | 24 |4303k|9578 | 0.000000e+00 | -- | Inf
1518.50/1518.54 c 1519s| 7240k| 1481k| 18586k| 2.6 |1302M| 45 | - | 50 | 11k| 50 | 15 | 24 |4309k|9591 | 0.000000e+00 | -- | Inf
1520.90/1520.91 c 1521s| 7250k| 1483k| 18612k| 2.6 |1304M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4314k|9597 | 0.000000e+00 | -- | Inf
1523.30/1523.38 c 1523s| 7260k| 1486k| 18637k| 2.6 |1305M| 45 | 6 | 50 |9332 | 50 | 15 | 24 |4320k|9607 | 0.000000e+00 | -- | Inf
1525.72/1525.72 c 1526s| 7270k| 1488k| 18663k| 2.6 |1307M| 45 | 6 | 50 |9434 | 50 | 15 | 24 |4325k|9613 | 0.000000e+00 | -- | Inf
1527.92/1527.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1527.92/1527.94 c 1528s| 7280k| 1490k| 18689k| 2.6 |1310M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4331k|9623 | 0.000000e+00 | -- | Inf
1530.51/1530.55 c 1531s| 7290k| 1493k| 18715k| 2.6 |1312M| 45 | - | 50 | 10k| 50 | 15 | 24 |4337k|9628 | 0.000000e+00 | -- | Inf
1533.20/1533.21 c 1533s| 7300k| 1495k| 18741k| 2.6 |1313M| 45 | - | 50 | 10k| 50 | 15 | 24 |4342k|9634 | 0.000000e+00 | -- | Inf
1535.51/1535.59 c 1536s| 7310k| 1497k| 18767k| 2.6 |1315M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4348k|9639 | 0.000000e+00 | -- | Inf
1538.10/1538.14 c 1538s| 7320k| 1499k| 18793k| 2.6 |1317M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4354k|9642 | 0.000000e+00 | -- | Inf
1540.60/1540.63 c 1541s| 7330k| 1502k| 18819k| 2.6 |1319M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4359k|9650 | 0.000000e+00 | -- | Inf
1543.32/1543.32 c 1543s| 7340k| 1504k| 18845k| 2.6 |1321M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4365k|9655 | 0.000000e+00 | -- | Inf
1545.90/1545.92 c 1546s| 7350k| 1506k| 18871k| 2.6 |1323M| 45 | - | 50 | 10k| 50 | 15 | 24 |4371k|9658 | 0.000000e+00 | -- | Inf
1548.30/1548.34 c 1548s| 7360k| 1508k| 18898k| 2.6 |1325M| 45 | - | 50 | 11k| 50 | 15 | 24 |4377k|9661 | 0.000000e+00 | -- | Inf
1550.70/1550.74 c 1551s| 7370k| 1510k| 18923k| 2.6 |1327M| 45 | - | 50 | 12k| 50 | 15 | 24 |4383k|9667 | 0.000000e+00 | -- | Inf
1553.22/1553.26 c 1553s| 7380k| 1513k| 18949k| 2.6 |1329M| 45 | - | 50 | 13k| 50 | 15 | 24 |4388k|9670 | 0.000000e+00 | -- | Inf
1556.10/1556.12 c 1556s| 7390k| 1515k| 18976k| 2.6 |1330M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4394k|9674 | 0.000000e+00 | -- | Inf
1558.51/1558.50 c 1558s| 7400k| 1516k| 19002k| 2.6 |1333M| 45 | 6 | 50 | 13k| 50 | 15 | 24 |4401k|9679 | 0.000000e+00 | -- | Inf
1560.92/1560.99 c 1561s| 7410k| 1518k| 19029k| 2.6 |1335M| 45 | 6 | 50 | 15k| 50 | 15 | 24 |4407k|9683 | 0.000000e+00 | -- | Inf
1563.60/1563.68 c 1564s| 7420k| 1521k| 19056k| 2.6 |1337M| 45 | - | 50 | 16k| 50 | 15 | 24 |4413k|9688 | 0.000000e+00 | -- | Inf
1566.90/1566.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1566.90/1566.99 c 1567s| 7430k| 1523k| 19081k| 2.6 |1338M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |4419k|9692 | 0.000000e+00 | -- | Inf
1569.60/1569.70 c 1570s| 7440k| 1525k| 19108k| 2.6 |1340M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |4425k|9697 | 0.000000e+00 | -- | Inf
1572.50/1572.55 c 1573s| 7450k| 1527k| 19133k| 2.6 |1341M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4430k|9701 | 0.000000e+00 | -- | Inf
1575.11/1575.20 c 1575s| 7460k| 1528k| 19159k| 2.6 |1343M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4437k|9707 | 0.000000e+00 | -- | Inf
1577.60/1577.65 c 1578s| 7470k| 1530k| 19185k| 2.6 |1345M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4442k|9711 | 0.000000e+00 | -- | Inf
1580.30/1580.34 c 1580s| 7480k| 1532k| 19211k| 2.6 |1347M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4449k|9713 | 0.000000e+00 | -- | Inf
1582.92/1582.92 c 1583s| 7490k| 1534k| 19239k| 2.6 |1349M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |4455k|9717 | 0.000000e+00 | -- | Inf
1585.80/1585.81 c 1586s| 7500k| 1536k| 19265k| 2.6 |1350M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4461k|9721 | 0.000000e+00 | -- | Inf
1588.42/1588.46 c 1588s| 7510k| 1538k| 19291k| 2.6 |1352M| 45 | - | 50 | 11k| 50 | 15 | 24 |4466k|9726 | 0.000000e+00 | -- | Inf
1591.30/1591.38 c 1591s| 7520k| 1540k| 19317k| 2.6 |1354M| 45 | - | 50 | 10k| 50 | 15 | 24 |4473k|9730 | 0.000000e+00 | -- | Inf
1593.92/1593.92 c 1594s| 7530k| 1542k| 19344k| 2.6 |1355M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4479k|9733 | 0.000000e+00 | -- | Inf
1596.50/1596.51 c 1597s| 7540k| 1544k| 19369k| 2.6 |1357M| 45 | - | 50 | 12k| 50 | 15 | 24 |4484k|9740 | 0.000000e+00 | -- | Inf
1599.31/1599.40 c 1599s| 7550k| 1546k| 19395k| 2.6 |1359M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4490k|9744 | 0.000000e+00 | -- | Inf
1602.20/1602.21 c 1602s| 7560k| 1548k| 19421k| 2.6 |1361M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4496k|9751 | 0.000000e+00 | -- | Inf
1604.92/1604.94 c 1605s| 7570k| 1549k| 19448k| 2.6 |1363M| 45 | - | 50 | 12k| 50 | 15 | 24 |4503k|9757 | 0.000000e+00 | -- | Inf
1607.70/1607.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1607.70/1607.74 c 1608s| 7580k| 1551k| 19474k| 2.6 |1364M| 45 | - | 50 | 12k| 50 | 15 | 24 |4509k|9765 | 0.000000e+00 | -- | Inf
1610.70/1610.72 c 1611s| 7590k| 1553k| 19501k| 2.6 |1366M| 45 | - | 50 | 11k| 50 | 15 | 24 |4515k|9773 | 0.000000e+00 | -- | Inf
1613.80/1613.81 c 1614s| 7600k| 1554k| 19526k| 2.6 |1367M| 45 | - | 50 | 10k| 50 | 15 | 24 |4521k|9775 | 0.000000e+00 | -- | Inf
1616.31/1616.37 c 1616s| 7610k| 1556k| 19552k| 2.6 |1369M| 45 | - | 50 | 11k| 50 | 15 | 24 |4527k|9778 | 0.000000e+00 | -- | Inf
1619.21/1619.29 c 1619s| 7620k| 1558k| 19578k| 2.6 |1371M| 45 | - | 50 | 10k| 50 | 15 | 24 |4533k|9790 | 0.000000e+00 | -- | Inf
1622.00/1622.06 c 1622s| 7630k| 1560k| 19605k| 2.6 |1372M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4539k|9798 | 0.000000e+00 | -- | Inf
1625.00/1625.08 c 1625s| 7640k| 1561k| 19631k| 2.6 |1374M| 45 | - | 50 | 10k| 50 | 15 | 24 |4546k|9807 | 0.000000e+00 | -- | Inf
1628.10/1628.10 c 1628s| 7650k| 1563k| 19658k| 2.6 |1375M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4552k|9815 | 0.000000e+00 | -- | Inf
1631.00/1631.05 c 1631s| 7660k| 1564k| 19684k| 2.6 |1377M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4558k|9822 | 0.000000e+00 | -- | Inf
1633.80/1633.86 c 1634s| 7670k| 1566k| 19710k| 2.6 |1379M| 45 | - | 50 | 10k| 50 | 15 | 24 |4564k|9826 | 0.000000e+00 | -- | Inf
1636.40/1636.47 c 1636s| 7680k| 1568k| 19736k| 2.6 |1381M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4570k|9833 | 0.000000e+00 | -- | Inf
1639.02/1639.06 c 1639s| 7690k| 1570k| 19763k| 2.6 |1383M| 45 | - | 50 | 12k| 50 | 15 | 24 |4576k|9839 | 0.000000e+00 | -- | Inf
1642.21/1642.22 c 1642s| 7700k| 1571k| 19789k| 2.6 |1384M| 45 | - | 50 | 11k| 50 | 15 | 24 |4582k|9846 | 0.000000e+00 | -- | Inf
1645.00/1645.02 c 1645s| 7710k| 1573k| 19816k| 2.6 |1386M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4588k|9851 | 0.000000e+00 | -- | Inf
1647.50/1647.54 c 1648s| 7720k| 1575k| 19844k| 2.6 |1388M| 45 | - | 50 | 14k| 50 | 15 | 24 |4594k|9860 | 0.000000e+00 | -- | Inf
1650.50/1650.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1650.50/1650.51 c 1651s| 7730k| 1577k| 19871k| 2.6 |1390M| 45 | - | 50 | 13k| 50 | 15 | 24 |4601k|9868 | 0.000000e+00 | -- | Inf
1653.60/1653.62 c 1654s| 7740k| 1578k| 19898k| 2.6 |1391M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |4607k|9878 | 0.000000e+00 | -- | Inf
1656.80/1656.83 c 1657s| 7750k| 1580k| 19924k| 2.6 |1392M| 45 | - | 50 | 10k| 50 | 15 | 24 |4613k|9889 | 0.000000e+00 | -- | Inf
1659.50/1659.58 c 1660s| 7760k| 1582k| 19950k| 2.6 |1393M| 45 | 6 | 50 |7799 | 50 | 15 | 24 |4620k|9896 | 0.000000e+00 | -- | Inf
1661.60/1661.65 c 1662s| 7770k| 1584k| 19977k| 2.6 |1396M| 45 | - | 50 | 10k| 50 | 15 | 24 |4625k|9900 | 0.000000e+00 | -- | Inf
1664.20/1664.22 c 1664s| 7780k| 1586k| 20005k| 2.6 |1398M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4631k|9910 | 0.000000e+00 | -- | Inf
1666.60/1666.66 c 1667s| 7790k| 1588k| 20033k| 2.6 |1400M| 45 | 6 | 50 | 11k| 50 | 15 | 24 |4637k|9919 | 0.000000e+00 | -- | Inf
1668.90/1668.95 c 1669s| 7800k| 1591k| 20059k| 2.6 |1402M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |4642k|9927 | 0.000000e+00 | -- | Inf
1671.29/1671.31 c 1671s| 7810k| 1593k| 20085k| 2.6 |1404M| 45 | - | 50 | 14k| 50 | 15 | 24 |4648k|9931 | 0.000000e+00 | -- | Inf
1674.10/1674.16 c 1674s| 7820k| 1595k| 20112k| 2.6 |1406M| 45 | 6 | 50 | 14k| 50 | 15 | 24 |4653k|9939 | 0.000000e+00 | -- | Inf
1677.00/1677.06 c 1677s| 7830k| 1597k| 20137k| 2.6 |1408M| 45 | - | 50 | 14k| 50 | 15 | 24 |4659k|9947 | 0.000000e+00 | -- | Inf
1679.90/1679.98 c 1680s| 7840k| 1599k| 20163k| 2.6 |1410M| 45 | 6 | 50 | 14k| 50 | 15 | 24 |4665k|9951 | 0.000000e+00 | -- | Inf
1682.80/1682.88 c 1683s| 7850k| 1601k| 20189k| 2.6 |1412M| 45 | - | 50 | 15k| 0 | 0 | 24 |4671k|9954 | 0.000000e+00 | -- | Inf
1686.10/1686.20 c 1686s| 7860k| 1603k| 20215k| 2.6 |1413M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |4677k|9965 | 0.000000e+00 | -- | Inf
1689.00/1689.03 c 1689s| 7870k| 1605k| 20243k| 2.6 |1415M| 45 | - | 50 | 12k| 50 | 15 | 24 |4683k|9975 | 0.000000e+00 | -- | Inf
1691.60/1691.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1691.60/1691.70 c 1692s| 7880k| 1607k| 20270k| 2.6 |1417M| 45 | 6 | 50 | 12k| 50 | 15 | 24 |4689k|9982 | 0.000000e+00 | -- | Inf
1695.00/1695.03 c 1695s| 7890k| 1608k| 20296k| 2.6 |1417M| 45 | 6 | 50 |9210 | 50 | 15 | 24 |4695k|9987 | 0.000000e+00 | -- | Inf
1697.80/1697.80 c 1698s| 7900k| 1610k| 20321k| 2.6 |1418M| 45 | - | 50 |6223 | 50 | 15 | 24 |4702k|9993 | 0.000000e+00 | -- | Inf
1700.29/1700.36 c 1700s| 7910k| 1611k| 20347k| 2.6 |1420M| 45 | - | 50 |5871 | 50 | 15 | 24 |4708k| 10k| 0.000000e+00 | -- | Inf
1702.81/1702.83 c 1703s| 7920k| 1613k| 20372k| 2.6 |1422M| 45 | - | 50 |6496 | 50 | 15 | 24 |4714k| 10k| 0.000000e+00 | -- | Inf
1704.90/1704.96 c 1705s| 7930k| 1615k| 20399k| 2.6 |1424M| 45 | - | 50 |8185 | 50 | 15 | 24 |4721k| 10k| 0.000000e+00 | -- | Inf
1707.50/1707.50 c 1707s| 7940k| 1616k| 20424k| 2.6 |1425M| 45 | - | 50 |7626 | 50 | 15 | 24 |4727k| 10k| 0.000000e+00 | -- | Inf
1709.90/1709.93 c 1710s| 7950k| 1618k| 20449k| 2.6 |1427M| 45 | 6 | 50 |7287 | 50 | 15 | 24 |4733k| 10k| 0.000000e+00 | -- | Inf
1712.50/1712.54 c 1713s| 7960k| 1620k| 20475k| 2.6 |1428M| 45 | - | 50 |6970 | 50 | 15 | 24 |4739k| 10k| 0.000000e+00 | -- | Inf
1714.80/1714.83 c 1715s| 7970k| 1621k| 20500k| 2.6 |1430M| 45 | 6 | 50 |8099 | 50 | 15 | 24 |4746k| 10k| 0.000000e+00 | -- | Inf
1717.40/1717.40 c 1717s| 7980k| 1623k| 20525k| 2.6 |1431M| 45 | 6 | 50 |5959 | 50 | 15 | 24 |4752k| 10k| 0.000000e+00 | -- | Inf
1719.40/1719.43 c 1719s| 7990k| 1625k| 20551k| 2.6 |1434M| 45 | 6 | 50 |8762 | 50 | 15 | 24 |4758k| 10k| 0.000000e+00 | -- | Inf
1721.70/1721.72 c 1722s| 8000k| 1627k| 20578k| 2.6 |1436M| 45 | - | 50 | 10k| 50 | 15 | 24 |4764k| 10k| 0.000000e+00 | -- | Inf
1724.70/1724.73 c 1725s| 8010k| 1628k| 20603k| 2.6 |1437M| 45 | 6 | 50 |5768 | 50 | 15 | 24 |4770k| 10k| 0.000000e+00 | -- | Inf
1727.30/1727.35 c 1727s| 8020k| 1630k| 20628k| 2.6 |1438M| 45 | - | 50 |5275 | 50 | 15 | 24 |4777k| 10k| 0.000000e+00 | -- | Inf
1729.80/1729.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1729.80/1729.88 c 1730s| 8030k| 1631k| 20653k| 2.6 |1440M| 45 | - | 50 |5332 | 50 | 15 | 24 |4783k| 10k| 0.000000e+00 | -- | Inf
1732.10/1732.11 c 1732s| 8040k| 1633k| 20679k| 2.6 |1441M| 45 | 6 | 50 |6351 | 50 | 15 | 24 |4789k| 10k| 0.000000e+00 | -- | Inf
1734.40/1734.49 c 1734s| 8050k| 1634k| 20705k| 2.6 |1443M| 45 | 6 | 50 |6866 | 50 | 15 | 24 |4796k| 10k| 0.000000e+00 | -- | Inf
1736.80/1736.86 c 1737s| 8060k| 1636k| 20731k| 2.6 |1445M| 45 | 6 | 50 |7616 | 50 | 15 | 24 |4802k| 10k| 0.000000e+00 | -- | Inf
1739.60/1739.62 c 1740s| 8070k| 1637k| 20756k| 2.6 |1446M| 45 | 6 | 50 |5484 | 50 | 15 | 24 |4808k| 10k| 0.000000e+00 | -- | Inf
1741.79/1741.89 c 1742s| 8080k| 1639k| 20781k| 2.6 |1448M| 45 | 6 | 50 |5970 | 50 | 15 | 24 |4814k| 10k| 0.000000e+00 | -- | Inf
1743.89/1743.96 c 1744s| 8090k| 1641k| 20807k| 2.6 |1450M| 45 | 6 | 50 |8165 | 50 | 15 | 24 |4820k| 10k| 0.000000e+00 | -- | Inf
1746.30/1746.37 c 1746s| 8100k| 1643k| 20834k| 2.6 |1452M| 45 | - | 50 |8457 | 50 | 15 | 24 |4826k| 10k| 0.000000e+00 | -- | Inf
1748.80/1748.89 c 1749s| 8110k| 1645k| 20859k| 2.6 |1453M| 45 | 6 | 50 |7864 | 50 | 15 | 24 |4832k| 10k| 0.000000e+00 | -- | Inf
1751.50/1751.52 c 1752s| 8120k| 1646k| 20885k| 2.6 |1455M| 45 | - | 50 |6314 | 50 | 15 | 24 |4839k| 10k| 0.000000e+00 | -- | Inf
1753.90/1753.95 c 1754s| 8130k| 1648k| 20911k| 2.6 |1456M| 45 | - | 50 |6459 | 50 | 15 | 24 |4845k| 10k| 0.000000e+00 | -- | Inf
1756.20/1756.22 c 1756s| 8140k| 1650k| 20937k| 2.6 |1458M| 45 | 6 | 50 |7205 | 50 | 15 | 24 |4851k| 10k| 0.000000e+00 | -- | Inf
1758.49/1758.56 c 1759s| 8150k| 1651k| 20963k| 2.6 |1460M| 45 | 6 | 50 |7416 | 50 | 15 | 24 |4858k| 10k| 0.000000e+00 | -- | Inf
1760.90/1760.96 c 1761s| 8160k| 1653k| 20989k| 2.6 |1462M| 45 | - | 50 |8782 | 50 | 15 | 24 |4864k| 10k| 0.000000e+00 | -- | Inf
1763.50/1763.54 c 1764s| 8170k| 1654k| 21015k| 2.6 |1463M| 45 | - | 50 |7054 | 50 | 15 | 24 |4870k| 10k| 0.000000e+00 | -- | Inf
1765.80/1765.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1765.80/1765.88 c 1766s| 8180k| 1656k| 21040k| 2.6 |1465M| 45 | 6 | 50 |8040 | 50 | 15 | 24 |4876k| 10k| 0.000000e+00 | -- | Inf
1768.20/1768.29 c 1768s| 8190k| 1658k| 21067k| 2.6 |1467M| 45 | - | 50 |9137 | 50 | 15 | 24 |4883k| 10k| 0.000000e+00 | -- | Inf
1770.80/1770.80 c 1771s| 8200k| 1660k| 21093k| 2.6 |1469M| 45 | 6 | 50 |9660 | 50 | 15 | 24 |4889k| 10k| 0.000000e+00 | -- | Inf
1773.60/1773.62 c 1774s| 8210k| 1661k| 21118k| 2.6 |1469M| 45 | 6 | 50 |6288 | 50 | 15 | 24 |4896k| 10k| 0.000000e+00 | -- | Inf
1775.70/1775.70 c 1776s| 8220k| 1663k| 21144k| 2.6 |1472M| 45 | - | 50 |8524 | 0 | 0 | 24 |4901k| 10k| 0.000000e+00 | -- | Inf
1777.90/1777.98 c 1778s| 8230k| 1665k| 21171k| 2.6 |1474M| 45 | - | 50 |9761 | 50 | 15 | 24 |4908k| 10k| 0.000000e+00 | -- | Inf
1780.50/1780.58 c 1781s| 8240k| 1667k| 21198k| 2.6 |1476M| 45 | 6 | 50 | 10k| 50 | 15 | 24 |4914k| 10k| 0.000000e+00 | -- | Inf
1783.40/1783.42 c 1783s| 8250k| 1668k| 21223k| 2.6 |1477M| 45 | - | 50 |8701 | 50 | 15 | 24 |4920k| 10k| 0.000000e+00 | -- | Inf
1785.90/1785.99 c 1786s| 8260k| 1670k| 21248k| 2.6 |1479M| 45 | 6 | 50 |7501 | 50 | 15 | 24 |4927k| 10k| 0.000000e+00 | -- | Inf
1788.62/1788.66 c 1789s| 8270k| 1671k| 21274k| 2.6 |1480M| 45 | 6 | 50 |5935 | 50 | 15 | 24 |4933k| 10k| 0.000000e+00 | -- | Inf
1791.10/1791.16 c 1791s| 8280k| 1673k| 21299k| 2.6 |1481M| 45 | 6 | 50 |5963 | 50 | 15 | 24 |4939k| 10k| 0.000000e+00 | -- | Inf
1793.49/1793.51 c 1794s| 8290k| 1675k| 21325k| 2.6 |1483M| 45 | - | 50 |7190 | 0 | 0 | 24 |4945k| 10k| 0.000000e+00 | -- | Inf
1795.70/1795.80 c 1796s| 8300k| 1677k| 21350k| 2.6 |1485M| 45 | - | 50 |7146 | 50 | 15 | 24 |4951k| 10k| 0.000000e+00 | -- | Inf
1798.10/1798.15 c 1798s| 8310k| 1678k| 21377k| 2.6 |1487M| 45 | - | 50 |7698 | 50 | 15 | 24 |4958k| 10k| 0.000000e+00 | -- | Inf
1800.00/1800.00 c
1800.00/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.00/1800.00 c Solving Time (sec) : 1800.00
1800.00/1800.00 c Solving Nodes : 8317413
1800.00/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.00/1800.00 c Dual Bound : +0.00000000000000e+00
1800.00/1800.00 c Gap : infinite
1800.00/1800.00 s UNKNOWN
1800.00/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.00/1800.00 c Total Time : 1800.00
1800.00/1800.00 c solving : 1800.00
1800.00/1800.00 c presolving : 0.00 (included in solving)
1800.00/1800.00 c reading : 0.00 (included in solving)
1800.00/1800.00 c Original Problem :
1800.00/1800.00 c Problem name : HOME/instance-3450862-1307094136.opb
1800.00/1800.00 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.00 c Constraints : 13 initial, 13 maximal
1800.00/1800.00 c Presolved Problem :
1800.00/1800.00 c Problem name : t_HOME/instance-3450862-1307094136.opb
1800.00/1800.00 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.00 c Constraints : 6 initial, 17267 maximal
1800.00/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.00/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1800.00/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c linear : 0.00 0 0 0 0 0 7 0 0 0
1800.00/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c root node : - 0 - - 0 - - - - -
1800.00/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.00/1800.00 c integral : 0 0 0 5107466 0 4 0 1052 5151 0 0 10202790
1800.00/1800.00 c linear : 6 6 19563366 0 0 3 5525984 506704 6903711 0 0 0
1800.00/1800.00 c logicor : 0+ 6 9215154 0 0 0 6883383 19019 3526765 0 0 0
1800.00/1800.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.00/1800.00 c integral : 29.12 0.00 0.00 29.12 0.00 0.00 0.00
1800.00/1800.00 c linear : 117.29 0.00 103.72 0.00 0.00 0.00 13.57
1800.00/1800.00 c logicor : 400.54 0.00 391.16 0.00 0.00 0.00 9.38
1800.00/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.00/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.00/1800.00 c vbounds : 0 0 0 0
1800.00/1800.00 c rootredcost : 0 0 0 0
1800.00/1800.00 c pseudoobj : 0 0 0 0
1800.00/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.00/1800.00 c vbounds : 2.91 2.91 0.00
1800.00/1800.00 c rootredcost : 3.35 3.35 0.00
1800.00/1800.00 c pseudoobj : 1.99 1.99 0.00
1800.00/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.00 c propagation : 21.87 525723 465691 1596895 36.4 156 29.8 -
1800.00/1800.00 c infeasible LP : 74.14 2876157 2876093 5499583 23.5 45708 27.7 0
1800.00/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.00 c applied globally : - - - 4358557 21.0 - - -
1800.00/1800.00 c applied locally : - - - 604328 34.2 - - -
1800.00/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.00 c cut pool : 0.00 5 - - 32 - (maximal pool size: 100)
1800.00/1800.00 c redcost : 5.93 5107470 0 0 0 0
1800.00/1800.00 c impliedbounds : 0.00 6 0 0 0 0
1800.00/1800.00 c intobj : 0.00 0 0 0 0 0
1800.00/1800.00 c gomory : 0.00 6 0 0 1 0
1800.00/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.00/1800.00 c strongcg : 0.00 6 0 0 33 0
1800.00/1800.00 c cmir : 0.01 6 0 0 37 0
1800.00/1800.00 c flowcover : 0.01 6 0 0 48 0
1800.00/1800.00 c clique : 0.00 1 0 0 0 0
1800.00/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.00 c mcf : 0.00 1 0 0 0 0
1800.00/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.00/1800.00 c rapidlearning : 0.01 1 0 0 0 0
1800.00/1800.00 c Pricers : Time Calls Vars
1800.00/1800.00 c problem variables: 0.00 0 0
1800.00/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.00 c relpscost : 26.44 5107466 1052 5151 0 0 10202790
1800.00/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.00 c inference : 0.00 0 0 0 0 0 0
1800.00/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.00 c random : 0.00 0 0 0 0 0 0
1800.00/1800.00 c Primal Heuristics : Time Calls Found
1800.00/1800.00 c LP solutions : 0.00 - 0
1800.00/1800.00 c pseudo solutions : 0.00 - 0
1800.00/1800.00 c oneopt : 2.36 0 0
1800.00/1800.00 c crossover : 1.65 0 0
1800.00/1800.00 c guideddiving : 0.18 0 0
1800.00/1800.00 c veclendiving : 0.18 132 0
1800.00/1800.00 c linesearchdiving : 0.17 132 0
1800.00/1800.00 c feaspump : 0.16 66 0
1800.00/1800.00 c fracdiving : 0.21 133 0
1800.00/1800.00 c coefdiving : 0.17 133 0
1800.00/1800.00 c pscostdiving : 0.18 133 0
1800.00/1800.00 c objpscostdiving : 0.14 67 0
1800.00/1800.00 c rootsoldiving : 0.17 67 0
1800.00/1800.00 c trivial : 0.00 2 0
1800.00/1800.00 c shiftandpropagate: 0.00 1 0
1800.00/1800.00 c simplerounding : 0.83 0 0
1800.00/1800.00 c zirounding : 13.21 0 0
1800.00/1800.00 c rounding : 2.12 32009 0
1800.00/1800.00 c shifting : 2.55 9653 0
1800.00/1800.00 c intshifting : 0.08 0 0
1800.00/1800.00 c twoopt : 0.00 0 0
1800.00/1800.00 c fixandinfer : 0.00 0 0
1800.00/1800.00 c clique : 0.00 0 0
1800.00/1800.00 c intdiving : 0.00 0 0
1800.00/1800.00 c actconsdiving : 0.00 0 0
1800.00/1800.00 c octane : 0.00 0 0
1800.00/1800.00 c rens : 0.01 1 0
1800.00/1800.00 c rins : 0.00 0 0
1800.00/1800.00 c localbranching : 0.00 0 0
1800.00/1800.00 c mutation : 0.00 0 0
1800.00/1800.00 c dins : 0.00 0 0
1800.00/1800.00 c vbounds : 0.00 0 0
1800.00/1800.00 c undercover : 0.00 0 0
1800.00/1800.00 c subnlp : 1.19 0 0
1800.00/1800.00 c trysol : 1.50 0 0
1800.00/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.00 c dual LP : 385.41 7795168 21392333 2.74 55504.85
1800.00/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.00 c diving/probing LP: 0.12 2185 4138 1.89 34742.75
1800.00/1800.00 c strong branching : 0.85 10238 36931 3.61 43358.56
1800.00/1800.00 c (at root node) : - 9 440 48.89 -
1800.00/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.00 c B&B Tree :
1800.00/1800.00 c number of runs : 1
1800.00/1800.00 c nodes : 8317413
1800.00/1800.00 c nodes (total) : 8317413
1800.00/1800.00 c nodes left : 1680109
1800.00/1800.00 c max depth : 45
1800.00/1800.00 c max depth (total): 45
1800.00/1800.00 c backtracks : 1221379 (14.7%)
1800.00/1800.00 c delayed cutoffs : 205269
1800.00/1800.00 c repropagations : 6951338 (5025126 domain reductions, 185307 cutoffs)
1800.00/1800.00 c avg switch length: 5.43
1800.00/1800.00 c switching time : 470.83
1800.00/1800.00 c Solution :
1800.00/1800.00 c Solutions found : 0 (0 improvements)
1800.00/1800.00 c Primal Bound : -
1800.00/1800.00 c Dual Bound : +0.00000000000000e+00
1800.00/1800.00 c Gap : infinite
1800.00/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.00/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-3450862-1307094136/watcher-3450862-1307094136 -o /tmp/evaluation-result-3450862-1307094136/solver-3450862-1307094136 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450862-1307094136.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.84 1.99 2.14 2/505 2337
/proc/meminfo: memFree=30397376/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=9724 CPUtime=0 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 1556 0 0 0 0 0 0 0 25 0 1 0 821016181 9957376 1509 33554432000 4194304 9163163 140733194664272 18446744073709551615 8045195 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2337/statm: 2431 1510 352 1214 0 1213 0
[startup+0.076942 s]
/proc/loadavg: 1.84 1.99 2.14 2/505 2337
/proc/meminfo: memFree=30397376/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=24176 CPUtime=0.06 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 7048 0 0 0 5 1 0 0 25 0 1 0 821016181 24756224 5002 33554432000 4194304 9163163 140733194664272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 6044 5002 702 1214 0 4826 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 24176
[startup+0.100937 s]
/proc/loadavg: 1.84 1.99 2.14 2/505 2337
/proc/meminfo: memFree=30397376/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=24176 CPUtime=0.09 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 7049 0 0 0 7 2 0 0 25 0 1 0 821016181 24756224 5003 33554432000 4194304 9163163 140733194664272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 6044 5003 703 1214 0 4826 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24176
[startup+0.300912 s]
/proc/loadavg: 1.84 1.99 2.14 2/505 2337
/proc/meminfo: memFree=30397376/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=24176 CPUtime=0.29 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 7052 0 0 0 24 5 0 0 25 0 1 0 821016181 24756224 5006 33554432000 4194304 9163163 140733194664272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 6044 5006 705 1214 0 4826 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24176
[startup+0.700842 s]
/proc/loadavg: 1.84 1.99 2.14 2/505 2337
/proc/meminfo: memFree=30397376/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=24176 CPUtime=0.69 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 7059 0 0 0 56 13 0 0 25 0 1 0 821016181 24756224 5013 33554432000 4194304 9163163 140733194664272 18446744073709551615 5275715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 6044 5013 705 1214 0 4826 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24176
[startup+1.50069 s]
/proc/loadavg: 1.84 1.99 2.14 3/506 2338
/proc/meminfo: memFree=30377404/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=24332 CPUtime=1.49 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 7069 0 0 0 126 23 0 0 25 0 1 0 821016181 24915968 5023 33554432000 4194304 9163163 140733194664272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 6083 5023 705 1214 0 4865 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24332
[startup+3.10041 s]
/proc/loadavg: 1.84 1.99 2.14 3/506 2338
/proc/meminfo: memFree=30376328/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=26984 CPUtime=3.09 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 7665 0 0 0 266 43 0 0 25 0 1 0 821016181 27631616 5619 33554432000 4194304 9163163 140733194664272 18446744073709551615 4241360 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 6746 5619 705 1214 0 5528 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26984
[startup+6.30084 s]
/proc/loadavg: 1.85 1.99 2.14 3/506 2338
/proc/meminfo: memFree=30369880/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=33468 CPUtime=6.29 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 9319 0 0 0 544 85 0 0 25 0 1 0 821016181 34271232 7273 33554432000 4194304 9163163 140733194664272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 8367 7273 705 1214 0 7149 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33468
[startup+12.7007 s]
/proc/loadavg: 1.86 1.99 2.14 3/506 2338
/proc/meminfo: memFree=30353040/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=43884 CPUtime=12.69 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 11996 0 0 0 1102 167 0 0 25 0 1 0 821016181 44937216 9950 33554432000 4194304 9163163 140733194664272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 10971 9950 705 1214 0 9753 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43884
[startup+25.5005 s]
/proc/loadavg: 1.89 1.99 2.13 3/506 2338
/proc/meminfo: memFree=30328364/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=62316 CPUtime=25.49 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 16678 0 0 0 2231 318 0 0 25 0 1 0 821016181 63811584 14632 33554432000 4194304 9163163 140733194664272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 15579 14632 705 1214 0 14361 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 62316
[startup+51.1009 s]
/proc/loadavg: 1.93 1.99 2.13 3/506 2339
/proc/meminfo: memFree=30286348/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=99532 CPUtime=51.09 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 25579 0 0 0 4509 600 0 0 25 0 1 0 821016181 101920768 23533 33554432000 4194304 9163163 140733194664272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 24883 23533 705 1214 0 23665 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 99532
[startup+102.319 s]
/proc/loadavg: 1.97 1.99 2.12 3/506 2340
/proc/meminfo: memFree=30220320/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=159988 CPUtime=102.31 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 40954 0 0 0 9079 1152 0 0 25 0 1 0 821016181 163827712 38908 33554432000 4194304 9163163 140733194664272 18446744073709551615 6504647 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 39997 38908 705 1214 0 38779 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 159988
[startup+162.3 s]
/proc/loadavg: 2.03 2.00 2.11 3/506 2342
/proc/meminfo: memFree=30151396/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=231124 CPUtime=162.29 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 57897 0 0 0 14479 1750 0 0 25 0 1 0 821016181 236670976 55851 33554432000 4194304 9163163 140733194664272 18446744073709551615 5174102 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 57781 55851 705 1214 0 56563 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 231124
[startup+222.301 s]
/proc/loadavg: 2.06 2.02 2.11 3/506 2344
/proc/meminfo: memFree=30090700/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=289036 CPUtime=222.29 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 72626 0 0 0 19898 2331 0 0 25 0 1 0 821016181 295972864 70580 33554432000 4194304 9163163 140733194664272 18446744073709551615 4794304 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 72259 70580 705 1214 0 71041 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 289036
[startup+282.301 s]
/proc/loadavg: 2.05 2.02 2.10 3/506 2372
/proc/meminfo: memFree=30000228/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=347184 CPUtime=282.29 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 87412 0 0 0 25313 2916 0 0 25 0 1 0 821016181 355516416 85366 33554432000 4194304 9163163 140733194664272 18446744073709551615 4207299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 86796 85366 705 1214 0 85578 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 347184
[startup+342.301 s]
/proc/loadavg: 2.02 2.02 2.09 3/506 2374
/proc/meminfo: memFree=29933052/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=410692 CPUtime=342.29 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 101502 0 0 0 30753 3476 0 0 25 0 1 0 821016181 420548608 99456 33554432000 4194304 9163163 140733194664272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 102673 99456 705 1214 0 101455 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 410692
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.08 3/506 2375
/proc/meminfo: memFree=29876552/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=466216 CPUtime=402.3 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 115558 0 0 0 36202 4028 0 0 25 0 1 0 821016181 477405184 113512 33554432000 4194304 9163163 140733194664272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 116554 113512 705 1214 0 115336 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 466216
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/506 2377
/proc/meminfo: memFree=29819692/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=520556 CPUtime=462.3 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 129513 0 0 0 41667 4563 0 0 25 0 1 0 821016181 533049344 127467 33554432000 4194304 9163163 140733194664272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 130139 127467 705 1214 0 128921 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 520556
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.07 3/506 2379
/proc/meminfo: memFree=29743976/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=575624 CPUtime=522.3 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 143449 0 0 0 47125 5105 0 0 25 0 1 0 821016181 589438976 141403 33554432000 4194304 9163163 140733194664272 18446744073709551615 5275463 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 143906 141403 705 1214 0 142688 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 575624
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/506 2380
/proc/meminfo: memFree=29650664/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=628748 CPUtime=582.3 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 156836 0 0 0 52589 5641 0 0 25 0 1 0 821016181 643837952 154790 33554432000 4194304 9163163 140733194664272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 157187 154790 705 1214 0 155969 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 628748
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.12 2.06 2.07 3/506 2387
/proc/meminfo: memFree=29371040/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=821864 CPUtime=822.31 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 206107 0 0 0 74527 7704 0 0 25 0 1 0 821016181 841588736 204061 33554432000 4194304 9163163 140733194664272 18446744073709551615 5143117 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 205466 204061 705 1214 0 204248 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 821864
[startup+882.3 s]
/proc/loadavg: 2.04 2.05 2.06 3/506 2388
/proc/meminfo: memFree=29308484/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=870240 CPUtime=882.31 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 218221 0 0 0 80036 8195 0 0 25 0 1 0 821016181 891125760 216175 33554432000 4194304 9163163 140733194664272 18446744073709551615 5275439 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 217560 216175 705 1214 0 216342 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 870240
[startup+942.301 s]
/proc/loadavg: 2.01 2.04 2.06 3/506 2390
/proc/meminfo: memFree=29250024/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=933272 CPUtime=942.31 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 230141 0 0 0 85538 8693 0 0 25 0 1 0 821016181 955670528 228095 33554432000 4194304 9163163 140733194664272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 233318 228095 705 1214 0 232100 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 933272
[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/506 2391
/proc/meminfo: memFree=29198116/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=977672 CPUtime=1002.31 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 241536 0 0 0 91056 9175 0 0 25 0 1 0 821016181 1001136128 239490 33554432000 4194304 9163163 140733194664272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 244418 239490 705 1214 0 243200 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 977672
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/506 2393
/proc/meminfo: memFree=29143236/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=1019316 CPUtime=1062.32 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 252201 0 0 0 96578 9654 0 0 25 0 1 0 821016181 1043779584 250155 33554432000 4194304 9163163 140733194664272 18446744073709551615 6480226 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 254829 250155 705 1214 0 253611 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1019316
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/506 2396
/proc/meminfo: memFree=29085132/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=1069372 CPUtime=1122.31 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 264615 0 0 0 102076 10155 0 0 25 0 1 0 821016181 1095036928 262569 33554432000 4194304 9163163 140733194664272 18446744073709551615 5275463 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 267343 262569 705 1214 0 266125 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1069372
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/506 2406
/proc/meminfo: memFree=29020712/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=1113248 CPUtime=1182.31 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 275932 0 0 0 107595 10636 0 0 25 0 1 0 821016181 1139965952 273886 33554432000 4194304 9163163 140733194664272 18446744073709551615 5275410 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 278312 273886 705 1214 0 277094 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1113248
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.03 4/506 2408
/proc/meminfo: memFree=28968196/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=1150728 CPUtime=1242.32 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 285554 0 0 0 113134 11098 0 0 25 0 1 0 821016181 1178345472 283508 33554432000 4194304 9163163 140733194664272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2337/statm: 287682 283508 705 1214 0 286464 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1150728
[startup+1302.3 s]
/proc/loadavg: 2.21 2.06 2.04 3/506 2412
/proc/meminfo: memFree=28911936/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=1199376 CPUtime=1302.3 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 297986 0 0 0 118650 11580 0 0 25 0 1 0 821016181 1228161024 295940 33554432000 4194304 9163163 140733194664272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2337/statm: 299844 295940 705 1214 0 298626 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 1199376
[startup+1362.3 s]
/proc/loadavg: 2.18 2.08 2.05 3/506 2414
/proc/meminfo: memFree=28868556/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=1242488 CPUtime=1362.3 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 308523 0 0 0 124180 12050 0 0 25 0 1 0 821016181 1272307712 306477 33554432000 4194304 9163163 140733194664272 18446744073709551615 4240214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2337/statm: 310622 306477 705 1214 0 309404 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 1242488
[startup+1422.32 s]
/proc/loadavg: 2.06 2.06 2.04 3/506 2416
/proc/meminfo: memFree=28823600/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=1286032 CPUtime=1422.32 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 319679 0 0 0 129713 12519 0 0 25 0 1 0 821016181 1316896768 317633 33554432000 4194304 9163163 140733194664272 18446744073709551615 6781444 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2337/statm: 321508 317633 705 1214 0 320290 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 1286032
[startup+1482.3 s]
/proc/loadavg: 2.02 2.05 2.04 3/506 2417
/proc/meminfo: memFree=28783124/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=1325208 CPUtime=1482.3 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 329746 0 0 0 135241 12989 0 0 25 0 1 0 821016181 1357012992 327700 33554432000 4194304 9163163 140733194664272 18446744073709551615 5275439 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2337/statm: 331302 327700 705 1214 0 330084 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 1325208
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.03 3/506 2419
/proc/meminfo: memFree=28735332/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=1372836 CPUtime=1542.3 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 341867 0 0 0 140769 13461 0 0 25 0 1 0 821016181 1405784064 339821 33554432000 4194304 9163163 140733194664272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2337/statm: 343209 339821 705 1214 0 341991 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 1372836
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/506 2420
/proc/meminfo: memFree=28698796/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=1411256 CPUtime=1602.3 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 351720 0 0 0 146346 13884 0 0 25 0 1 0 821016181 1445126144 349674 33554432000 4194304 9163163 140733194664272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2337/statm: 352814 349674 705 1214 0 351596 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 1411256
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/506 2422
/proc/meminfo: memFree=28660060/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=1449220 CPUtime=1662.3 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 360874 0 0 0 151936 14294 0 0 25 0 1 0 821016181 1484001280 358828 33554432000 4194304 9163163 140733194664272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2337/statm: 362305 358828 705 1214 0 361087 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 1449220
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/506 2424
/proc/meminfo: memFree=28621664/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=1486184 CPUtime=1722.3 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 370355 0 0 0 157503 14727 0 0 25 0 1 0 821016181 1521852416 368309 33554432000 4194304 9163163 140733194664272 18446744073709551615 5275463 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2337/statm: 371546 368309 705 1214 0 370328 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 1486184
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/506 2425
/proc/meminfo: memFree=28575732/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=1529520 CPUtime=1782.29 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 381437 0 0 0 163056 15173 0 0 25 0 1 0 821016181 1566228480 379391 33554432000 4194304 9163163 140733194664272 18446744073709551615 6555261 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2337/statm: 382380 379391 705 1214 0 381162 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 1529520
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.01 3/506 2426
/proc/meminfo: memFree=28564552/32951124 swapFree=51712236/67111528
[pid=2337] ppid=2335 vsize=1540656 CPUtime=1800 cores=1,3,5,7
/proc/2337/stat : 2337 (scip-2.0.1.4b.l) R 2335 2337 2157 0 -1 4202496 384290 0 0 0 164705 15295 0 0 25 0 1 0 821016181 1577631744 382244 33554432000 4194304 9163163 140733194664272 18446744073709551615 5275704 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2337/statm: 385164 382244 705 1214 0 383946 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1540656
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.08
CPU time (s): 1800.09
CPU user time (s): 1647.07
CPU system time (s): 153.018
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 1540656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1647.07
system time used= 153.018
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 384292
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 3370
runsolver used 8.5607 second user time and 20.9348 second system time
The end