0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 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-3734910-1338702192.opb>
0.00/0.00 c original problem has 61 variables (61 bin, 0 int, 0 impl, 0 cont) and 15 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.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 1 del vars, 8 del 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, 8 deleted 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 60 variables (60 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.01 c 7 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 1.2.1.3
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 = 1790
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 # 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 | 40 | - | 322k| 0 | 7 | 60 | 7 | 60 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 0 | 142 | - | 366k| 0 | 11 | 60 | 9 | 60 | 13 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 0 | 151 | - | 392k| 0 | 12 | 60 | 9 | 60 | 16 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 0 | 158 | - | 411k| 0 | 15 | 60 | 9 | 60 | 19 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.07 c 0.1s| 1 | 0 | 167 | - | 430k| 0 | 16 | 60 | 9 | 60 | 21 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.06/0.08 c 0.1s| 1 | 0 | 171 | - | 444k| 0 | 18 | 60 | 9 | 60 | 23 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.06/0.08 c 0.1s| 1 | 0 | 182 | - | 452k| 0 | 17 | 60 | 9 | 60 | 25 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.08/0.10 c 0.1s| 1 | 2 | 182 | - | 452k| 0 | 17 | 60 | 9 | 60 | 25 | 18 | 0 | 9 | 0.000000e+00 | -- | Inf
1.69/1.76 c 1.8s| 10000 | 5900 | 28000 | 2.8 |4302k| 52 | 7 | 60 |2575 | 60 | 17 | 18 |2857 | 612 | 0.000000e+00 | -- | Inf
3.49/3.50 c 3.5s| 20000 | 10948 | 54594 | 2.7 |6969k| 53 | - | 60 |2299 | 60 | 17 | 18 |6088 | 804 | 0.000000e+00 | -- | Inf
5.09/5.17 c 5.2s| 30000 | 15340 | 82277 | 2.7 |9472k| 53 | 7 | 60 |2255 | 60 | 17 | 18 |9791 | 959 | 0.000000e+00 | -- | Inf
6.78/6.81 c 6.8s| 40000 | 19991 |109578 | 2.7 | 12M| 53 | 7 | 60 |2330 | 60 | 17 | 18 | 13k|1085 | 0.000000e+00 | -- | Inf
8.39/8.47 c 8.5s| 50000 | 24613 |136694 | 2.7 | 14M| 53 | 7 | 60 |2429 | 60 | 17 | 18 | 16k|1196 | 0.000000e+00 | -- | Inf
10.09/10.16 c 10.2s| 60000 | 28902 |164150 | 2.7 | 17M| 53 | - | 60 |2921 | 60 | 17 | 18 | 20k|1297 | 0.000000e+00 | -- | Inf
11.79/11.86 c 11.9s| 70000 | 33262 |192215 | 2.7 | 19M| 53 | - | 60 |3114 | 60 | 17 | 18 | 23k|1389 | 0.000000e+00 | -- | Inf
13.49/13.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.49/13.58 c 13.6s| 80000 | 37480 |219277 | 2.7 | 22M| 53 | - | 60 |3116 | 60 | 17 | 18 | 27k|1468 | 0.000000e+00 | -- | Inf
15.18/15.27 c 15.3s| 90000 | 41844 |246237 | 2.7 | 24M| 53 | 7 | 60 |3307 | 60 | 17 | 18 | 31k|1540 | 0.000000e+00 | -- | Inf
16.89/16.99 c 17.0s|100000 | 46186 |273742 | 2.7 | 27M| 53 | - | 60 |3317 | 60 | 17 | 18 | 34k|1613 | 0.000000e+00 | -- | Inf
18.69/18.75 c 18.7s|110000 | 50300 |301515 | 2.7 | 29M| 53 | 7 | 60 |3407 | 60 | 17 | 18 | 38k|1684 | 0.000000e+00 | -- | Inf
20.39/20.45 c 20.4s|120000 | 54705 |328723 | 2.7 | 32M| 53 | 7 | 60 |3605 | 60 | 17 | 18 | 42k|1740 | 0.000000e+00 | -- | Inf
22.19/22.21 c 22.2s|130000 | 58798 |356512 | 2.7 | 34M| 53 | 7 | 60 |3869 | 60 | 17 | 18 | 45k|1797 | 0.000000e+00 | -- | Inf
23.88/23.92 c 23.9s|140000 | 62885 |384072 | 2.7 | 37M| 53 | 7 | 60 |4692 | 60 | 17 | 18 | 49k|1842 | 0.000000e+00 | -- | Inf
25.69/25.73 c 25.7s|150000 | 67021 |411569 | 2.7 | 39M| 53 | - | 60 |4185 | 60 | 17 | 18 | 53k|1890 | 0.000000e+00 | -- | Inf
27.39/27.48 c 27.5s|160000 | 71426 |438182 | 2.7 | 42M| 53 | - | 60 |4167 | 60 | 17 | 18 | 57k|1929 | 0.000000e+00 | -- | Inf
29.18/29.27 c 29.3s|170000 | 75534 |465655 | 2.7 | 44M| 53 | - | 60 |3693 | 60 | 17 | 18 | 60k|1979 | 0.000000e+00 | -- | Inf
30.88/30.92 c 30.9s|180000 | 80028 |492366 | 2.7 | 47M| 53 | 7 | 60 |4458 | 60 | 17 | 18 | 64k|2011 | 0.000000e+00 | -- | Inf
32.68/32.74 c 32.7s|190000 | 83924 |519850 | 2.7 | 49M| 53 | 7 | 60 |4282 | 60 | 17 | 18 | 68k|2042 | 0.000000e+00 | -- | Inf
34.48/34.52 c 34.5s|200000 | 88031 |546711 | 2.7 | 52M| 53 | 7 | 60 |4226 | 60 | 17 | 18 | 72k|2083 | 0.000000e+00 | -- | Inf
36.19/36.28 c 36.3s|210000 | 92273 |574187 | 2.7 | 54M| 53 | - | 60 |4303 | 60 | 17 | 18 | 75k|2116 | 0.000000e+00 | -- | Inf
38.08/38.11 c 38.1s|220000 | 96202 |601596 | 2.7 | 56M| 53 | 7 | 60 |4295 | 60 | 17 | 18 | 79k|2159 | 0.000000e+00 | -- | Inf
39.88/39.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.88/39.91 c 39.9s|230000 |100388 |629717 | 2.7 | 59M| 53 | - | 60 |4749 | 60 | 17 | 18 | 83k|2197 | 0.000000e+00 | -- | Inf
41.58/41.68 c 41.7s|240000 |104590 |657169 | 2.7 | 62M| 54 | - | 60 |5075 | 60 | 17 | 18 | 87k|2228 | 0.000000e+00 | -- | Inf
43.48/43.54 c 43.5s|250000 |108642 |683945 | 2.7 | 64M| 54 | - | 60 |4719 | 60 | 17 | 18 | 90k|2256 | 0.000000e+00 | -- | Inf
45.28/45.38 c 45.4s|260000 |112670 |711225 | 2.7 | 66M| 54 | - | 60 |4158 | 60 | 17 | 18 | 94k|2280 | 0.000000e+00 | -- | Inf
47.19/47.21 c 47.2s|270000 |116499 |738795 | 2.7 | 69M| 54 | 7 | 60 |4632 | 60 | 17 | 18 | 98k|2307 | 0.000000e+00 | -- | Inf
48.88/48.99 c 49.0s|280000 |120686 |766647 | 2.7 | 71M| 54 | 7 | 60 |4774 | 60 | 17 | 18 | 102k|2329 | 0.000000e+00 | -- | Inf
50.78/50.80 c 50.8s|290000 |124887 |793695 | 2.7 | 74M| 54 | 7 | 60 |4607 | 60 | 17 | 18 | 106k|2351 | 0.000000e+00 | -- | Inf
52.58/52.64 c 52.6s|300000 |128935 |821162 | 2.7 | 76M| 54 | 7 | 60 |4496 | 60 | 17 | 18 | 109k|2378 | 0.000000e+00 | -- | Inf
54.38/54.41 c 54.4s|310000 |133105 |848225 | 2.7 | 78M| 54 | - | 60 |4772 | 60 | 17 | 18 | 113k|2411 | 0.000000e+00 | -- | Inf
56.28/56.30 c 56.3s|320000 |137059 |875331 | 2.7 | 81M| 54 | - | 60 |4497 | 60 | 17 | 18 | 117k|2445 | 0.000000e+00 | -- | Inf
58.08/58.13 c 58.1s|330000 |141026 |902890 | 2.7 | 83M| 54 | 7 | 60 |4826 | 60 | 17 | 18 | 121k|2466 | 0.000000e+00 | -- | Inf
59.98/60.04 c 60.0s|340000 |145022 |929773 | 2.7 | 86M| 54 | 7 | 60 |4643 | 60 | 17 | 18 | 125k|2485 | 0.000000e+00 | -- | Inf
61.78/61.87 c 61.9s|350000 |149073 |957153 | 2.7 | 88M| 54 | - | 60 |4900 | 60 | 17 | 18 | 129k|2518 | 0.000000e+00 | -- | Inf
63.68/63.76 c 63.8s|360000 |153121 |983942 | 2.7 | 90M| 54 | 7 | 60 |4579 | 60 | 17 | 18 | 132k|2545 | 0.000000e+00 | -- | Inf
65.57/65.65 c 65.6s|370000 |157015 | 1011k| 2.7 | 93M| 54 | 7 | 60 |4636 | 60 | 17 | 18 | 136k|2570 | 0.000000e+00 | -- | Inf
67.38/67.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.38/67.48 c 67.5s|380000 |161076 | 1038k| 2.7 | 95M| 54 | 7 | 60 |5076 | 60 | 17 | 18 | 140k|2593 | 0.000000e+00 | -- | Inf
69.28/69.35 c 69.3s|390000 |165108 | 1066k| 2.7 | 98M| 54 | 7 | 60 |5143 | 60 | 17 | 18 | 144k|2624 | 0.000000e+00 | -- | Inf
71.17/71.29 c 71.3s|400000 |169149 | 1093k| 2.7 | 100M| 54 | 7 | 60 |4623 | 60 | 17 | 18 | 148k|2649 | 0.000000e+00 | -- | Inf
73.08/73.19 c 73.2s|410000 |172996 | 1120k| 2.7 | 102M| 54 | 7 | 60 |4510 | 60 | 17 | 18 | 151k|2676 | 0.000000e+00 | -- | Inf
75.07/75.13 c 75.1s|420000 |176822 | 1147k| 2.7 | 105M| 54 | 7 | 60 |4584 | 60 | 17 | 18 | 155k|2701 | 0.000000e+00 | -- | Inf
76.88/76.96 c 77.0s|430000 |180811 | 1175k| 2.7 | 107M| 54 | 7 | 60 |5335 | 60 | 17 | 18 | 159k|2719 | 0.000000e+00 | -- | Inf
78.78/78.85 c 78.8s|440000 |184725 | 1202k| 2.7 | 110M| 54 | 7 | 60 |5118 | 60 | 17 | 18 | 163k|2741 | 0.000000e+00 | -- | Inf
80.67/80.77 c 80.8s|450000 |188648 | 1229k| 2.7 | 112M| 54 | - | 60 |4966 | 60 | 17 | 18 | 167k|2767 | 0.000000e+00 | -- | Inf
82.57/82.61 c 82.6s|460000 |192678 | 1256k| 2.7 | 114M| 54 | - | 60 |5129 | 60 | 17 | 18 | 171k|2798 | 0.000000e+00 | -- | Inf
84.47/84.50 c 84.5s|470000 |196770 | 1283k| 2.7 | 117M| 54 | - | 60 |4932 | 60 | 17 | 18 | 175k|2819 | 0.000000e+00 | -- | Inf
86.37/86.44 c 86.4s|480000 |200591 | 1311k| 2.7 | 119M| 54 | 7 | 60 |4983 | 60 | 17 | 18 | 179k|2840 | 0.000000e+00 | -- | Inf
88.28/88.31 c 88.3s|490000 |204586 | 1338k| 2.7 | 122M| 54 | 7 | 60 |4979 | 60 | 17 | 18 | 182k|2861 | 0.000000e+00 | -- | Inf
90.18/90.27 c 90.3s|500000 |208411 | 1365k| 2.7 | 124M| 54 | 7 | 60 |4733 | 60 | 17 | 18 | 186k|2881 | 0.000000e+00 | -- | Inf
92.08/92.11 c 92.1s|510000 |212231 | 1393k| 2.7 | 126M| 54 | - | 60 |5428 | 60 | 17 | 18 | 190k|2906 | 0.000000e+00 | -- | Inf
93.98/94.04 c 94.0s|520000 |215961 | 1421k| 2.7 | 129M| 54 | 7 | 60 |5099 | 60 | 17 | 18 | 194k|2928 | 0.000000e+00 | -- | Inf
95.87/95.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.87/95.95 c 95.9s|530000 |219748 | 1449k| 2.7 | 131M| 54 | 7 | 60 |4963 | 60 | 17 | 18 | 198k|2956 | 0.000000e+00 | -- | Inf
97.78/97.82 c 97.8s|540000 |223592 | 1476k| 2.7 | 133M| 54 | - | 60 |5005 | 60 | 17 | 18 | 202k|2974 | 0.000000e+00 | -- | Inf
99.57/99.68 c 99.7s|550000 |227621 | 1503k| 2.7 | 136M| 54 | 7 | 60 |5274 | 60 | 17 | 18 | 206k|2990 | 0.000000e+00 | -- | Inf
101.47/101.60 c 102s|560000 |231590 | 1531k| 2.7 | 138M| 54 | 7 | 60 |4909 | 60 | 17 | 18 | 210k|3010 | 0.000000e+00 | -- | Inf
103.47/103.51 c 104s|570000 |235516 | 1557k| 2.7 | 141M| 54 | - | 60 |5011 | 60 | 17 | 18 | 214k|3036 | 0.000000e+00 | -- | Inf
105.37/105.40 c 105s|580000 |239500 | 1585k| 2.7 | 143M| 54 | 7 | 60 |4970 | 60 | 17 | 18 | 218k|3057 | 0.000000e+00 | -- | Inf
107.16/107.28 c 107s|590000 |243318 | 1612k| 2.7 | 145M| 54 | 7 | 60 |5011 | 60 | 17 | 18 | 222k|3075 | 0.000000e+00 | -- | Inf
109.06/109.13 c 109s|600000 |247340 | 1639k| 2.7 | 148M| 54 | 7 | 60 |4691 | 60 | 17 | 18 | 225k|3089 | 0.000000e+00 | -- | Inf
110.86/110.94 c 111s|610000 |251320 | 1666k| 2.7 | 150M| 54 | 7 | 60 |5004 | 60 | 17 | 18 | 229k|3107 | 0.000000e+00 | -- | Inf
112.67/112.76 c 113s|620000 |255394 | 1693k| 2.7 | 153M| 54 | - | 60 |5207 | 60 | 17 | 18 | 233k|3121 | 0.000000e+00 | -- | Inf
114.56/114.66 c 115s|630000 |259301 | 1721k| 2.7 | 155M| 54 | 7 | 60 |5158 | 60 | 17 | 18 | 237k|3140 | 0.000000e+00 | -- | Inf
116.47/116.51 c 117s|640000 |263237 | 1748k| 2.7 | 157M| 54 | 7 | 60 |5658 | 60 | 17 | 18 | 241k|3156 | 0.000000e+00 | -- | Inf
118.35/118.45 c 118s|650000 |266971 | 1775k| 2.7 | 160M| 54 | 7 | 60 |5128 | 60 | 17 | 18 | 245k|3177 | 0.000000e+00 | -- | Inf
120.26/120.34 c 120s|660000 |270819 | 1802k| 2.7 | 162M| 54 | 7 | 60 |5347 | 60 | 17 | 18 | 249k|3188 | 0.000000e+00 | -- | Inf
122.16/122.21 c 122s|670000 |274594 | 1830k| 2.7 | 165M| 54 | - | 60 |5359 | 60 | 17 | 18 | 253k|3207 | 0.000000e+00 | -- | Inf
123.86/123.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.86/123.93 c 124s|680000 |278817 | 1857k| 2.7 | 167M| 54 | 7 | 60 |5815 | 60 | 17 | 18 | 257k|3207 | 0.000000e+00 | -- | Inf
125.66/125.76 c 126s|690000 |282718 | 1884k| 2.7 | 170M| 54 | 7 | 60 |5701 | 60 | 17 | 18 | 261k|3210 | 0.000000e+00 | -- | Inf
127.56/127.70 c 128s|700000 |286605 | 1912k| 2.7 | 172M| 54 | 7 | 60 |5349 | 60 | 17 | 18 | 265k|3222 | 0.000000e+00 | -- | Inf
129.45/129.52 c 130s|710000 |290420 | 1940k| 2.7 | 175M| 54 | - | 60 |6200 | 60 | 17 | 18 | 269k|3241 | 0.000000e+00 | -- | Inf
131.45/131.59 c 132s|720000 |294049 | 1967k| 2.7 | 177M| 54 | - | 60 |5121 | 60 | 17 | 18 | 273k|3262 | 0.000000e+00 | -- | Inf
133.25/133.33 c 133s|730000 |298470 | 1995k| 2.7 | 179M| 54 | - | 60 |5672 | 60 | 17 | 18 | 276k|3273 | 0.000000e+00 | -- | Inf
135.16/135.22 c 135s|740000 |302434 | 2022k| 2.7 | 182M| 54 | 7 | 60 |5844 | 60 | 17 | 18 | 280k|3289 | 0.000000e+00 | -- | Inf
137.05/137.17 c 137s|750000 |306229 | 2050k| 2.7 | 184M| 54 | - | 60 |5933 | 60 | 17 | 18 | 284k|3303 | 0.000000e+00 | -- | Inf
139.05/139.14 c 139s|760000 |310050 | 2077k| 2.7 | 186M| 54 | 7 | 60 |6100 | 60 | 17 | 18 | 288k|3319 | 0.000000e+00 | -- | Inf
140.94/141.08 c 141s|770000 |314011 | 2104k| 2.7 | 189M| 54 | - | 60 |5684 | 60 | 17 | 18 | 292k|3337 | 0.000000e+00 | -- | Inf
143.05/143.14 c 143s|780000 |317628 | 2131k| 2.7 | 191M| 54 | 7 | 60 |5553 | 60 | 17 | 18 | 296k|3353 | 0.000000e+00 | -- | Inf
144.95/145.06 c 145s|790000 |321259 | 2158k| 2.7 | 193M| 54 | 7 | 60 |5901 | 60 | 17 | 18 | 300k|3372 | 0.000000e+00 | -- | Inf
146.94/147.04 c 147s|800000 |325184 | 2186k| 2.7 | 196M| 54 | - | 60 |5618 | 60 | 17 | 18 | 304k|3385 | 0.000000e+00 | -- | Inf
148.94/149.02 c 149s|810000 |329031 | 2213k| 2.7 | 198M| 54 | 7 | 60 |5600 | 60 | 17 | 18 | 308k|3399 | 0.000000e+00 | -- | Inf
150.85/150.95 c 151s|820000 |332828 | 2240k| 2.7 | 201M| 54 | 7 | 60 |5891 | 60 | 17 | 18 | 312k|3420 | 0.000000e+00 | -- | Inf
152.95/153.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.95/153.01 c 153s|830000 |336551 | 2267k| 2.7 | 203M| 54 | 7 | 60 |5372 | 60 | 17 | 18 | 316k|3435 | 0.000000e+00 | -- | Inf
154.85/154.92 c 155s|840000 |340510 | 2294k| 2.7 | 205M| 54 | - | 60 |5640 | 60 | 17 | 18 | 320k|3446 | 0.000000e+00 | -- | Inf
156.85/156.99 c 157s|850000 |344171 | 2321k| 2.7 | 207M| 54 | 7 | 60 |5749 | 60 | 17 | 18 | 324k|3463 | 0.000000e+00 | -- | Inf
158.84/158.94 c 159s|860000 |348066 | 2348k| 2.7 | 210M| 54 | 7 | 60 |6091 | 60 | 17 | 18 | 328k|3478 | 0.000000e+00 | -- | Inf
160.84/160.91 c 161s|870000 |351973 | 2376k| 2.7 | 212M| 54 | 7 | 60 |5838 | 60 | 17 | 18 | 332k|3495 | 0.000000e+00 | -- | Inf
162.75/162.82 c 163s|880000 |355895 | 2404k| 2.7 | 215M| 54 | 7 | 60 |6462 | 60 | 17 | 18 | 335k|3508 | 0.000000e+00 | -- | Inf
164.64/164.76 c 165s|890000 |359851 | 2431k| 2.7 | 217M| 54 | 7 | 60 |6225 | 60 | 17 | 18 | 339k|3528 | 0.000000e+00 | -- | Inf
166.74/166.81 c 167s|900000 |363603 | 2458k| 2.7 | 219M| 54 | - | 60 |5768 | 60 | 17 | 18 | 343k|3544 | 0.000000e+00 | -- | Inf
168.74/168.86 c 169s|910000 |367247 | 2486k| 2.7 | 222M| 54 | 7 | 60 |5852 | 60 | 17 | 18 | 347k|3561 | 0.000000e+00 | -- | Inf
170.94/171.00 c 171s|920000 |370807 | 2513k| 2.7 | 224M| 54 | - | 60 |5381 | 60 | 17 | 18 | 351k|3578 | 0.000000e+00 | -- | Inf
172.94/173.01 c 173s|930000 |374506 | 2540k| 2.7 | 226M| 54 | 7 | 60 |5562 | 60 | 17 | 18 | 355k|3589 | 0.000000e+00 | -- | Inf
174.84/174.96 c 175s|940000 |378300 | 2568k| 2.7 | 229M| 54 | 7 | 60 |5755 | 60 | 17 | 18 | 359k|3603 | 0.000000e+00 | -- | Inf
176.94/177.03 c 177s|950000 |381803 | 2595k| 2.7 | 231M| 54 | 7 | 60 |5739 | 60 | 17 | 18 | 364k|3621 | 0.000000e+00 | -- | Inf
178.74/178.89 c 179s|960000 |385923 | 2622k| 2.7 | 234M| 54 | 7 | 60 |6379 | 60 | 17 | 18 | 367k|3637 | 0.000000e+00 | -- | Inf
180.83/180.94 c 181s|970000 |389572 | 2649k| 2.7 | 236M| 54 | 7 | 60 |5681 | 60 | 17 | 18 | 371k|3650 | 0.000000e+00 | -- | Inf
182.73/182.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.73/182.89 c 183s|980000 |393282 | 2677k| 2.7 | 238M| 54 | - | 60 |6306 | 60 | 17 | 18 | 375k|3664 | 0.000000e+00 | -- | Inf
184.74/184.87 c 185s|990000 |396914 | 2705k| 2.7 | 241M| 54 | 7 | 60 |6675 | 60 | 17 | 18 | 380k|3677 | 0.000000e+00 | -- | Inf
186.83/186.91 c 187s| 1000k|400528 | 2732k| 2.7 | 243M| 54 | 7 | 60 |6182 | 60 | 17 | 18 | 384k|3695 | 0.000000e+00 | -- | Inf
188.83/188.93 c 189s| 1010k|404231 | 2759k| 2.7 | 245M| 54 | 7 | 60 |6357 | 60 | 17 | 18 | 388k|3707 | 0.000000e+00 | -- | Inf
190.93/191.03 c 191s| 1020k|407732 | 2787k| 2.7 | 248M| 54 | - | 60 |5969 | 60 | 17 | 18 | 392k|3724 | 0.000000e+00 | -- | Inf
192.93/193.04 c 193s| 1030k|411394 | 2814k| 2.7 | 250M| 54 | 7 | 60 |5727 | 60 | 17 | 18 | 396k|3740 | 0.000000e+00 | -- | Inf
194.93/195.06 c 195s| 1040k|414923 | 2842k| 2.7 | 252M| 54 | 7 | 60 |6404 | 60 | 17 | 18 | 400k|3749 | 0.000000e+00 | -- | Inf
196.93/197.08 c 197s| 1050k|418660 | 2869k| 2.7 | 255M| 54 | 7 | 60 |6373 | 60 | 17 | 18 | 404k|3758 | 0.000000e+00 | -- | Inf
198.93/199.05 c 199s| 1060k|422465 | 2896k| 2.7 | 257M| 54 | 7 | 60 |6769 | 60 | 17 | 18 | 408k|3772 | 0.000000e+00 | -- | Inf
201.03/201.12 c 201s| 1070k|426177 | 2923k| 2.7 | 259M| 54 | 7 | 60 |6143 | 60 | 17 | 18 | 412k|3784 | 0.000000e+00 | -- | Inf
203.02/203.10 c 203s| 1080k|429865 | 2951k| 2.7 | 262M| 54 | - | 60 |6750 | 60 | 17 | 18 | 416k|3799 | 0.000000e+00 | -- | Inf
205.02/205.19 c 205s| 1090k|433591 | 2979k| 2.7 | 264M| 54 | - | 60 |6167 | 60 | 17 | 18 | 420k|3818 | 0.000000e+00 | -- | Inf
207.12/207.22 c 207s| 1100k|437157 | 3006k| 2.7 | 266M| 54 | 7 | 60 |6030 | 60 | 17 | 18 | 424k|3839 | 0.000000e+00 | -- | Inf
209.12/209.23 c 209s| 1110k|440952 | 3033k| 2.7 | 268M| 54 | 7 | 60 |6198 | 60 | 17 | 18 | 428k|3856 | 0.000000e+00 | -- | Inf
211.13/211.23 c 211s| 1120k|444662 | 3061k| 2.7 | 271M| 54 | - | 60 |6471 | 60 | 17 | 18 | 432k|3865 | 0.000000e+00 | -- | Inf
213.23/213.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
213.23/213.35 c 213s| 1130k|448160 | 3089k| 2.7 | 273M| 54 | - | 60 |6203 | 60 | 17 | 18 | 436k|3879 | 0.000000e+00 | -- | Inf
215.33/215.41 c 215s| 1140k|451667 | 3115k| 2.7 | 276M| 54 | - | 60 |6780 | 60 | 17 | 18 | 441k|3889 | 0.000000e+00 | -- | Inf
217.32/217.47 c 217s| 1150k|455408 | 3142k| 2.7 | 278M| 54 | - | 60 |6486 | 60 | 17 | 18 | 445k|3901 | 0.000000e+00 | -- | Inf
219.42/219.51 c 220s| 1160k|458922 | 3170k| 2.7 | 280M| 54 | 7 | 60 |6874 | 60 | 17 | 18 | 449k|3912 | 0.000000e+00 | -- | Inf
221.52/221.64 c 222s| 1170k|462614 | 3197k| 2.7 | 282M| 54 | 7 | 60 |6638 | 60 | 17 | 18 | 453k|3927 | 0.000000e+00 | -- | Inf
223.51/223.60 c 224s| 1180k|466519 | 3224k| 2.7 | 285M| 54 | 7 | 60 |7104 | 60 | 17 | 18 | 457k|3943 | 0.000000e+00 | -- | Inf
225.32/225.49 c 225s| 1190k|470489 | 3252k| 2.7 | 287M| 54 | 7 | 60 |7685 | 60 | 17 | 18 | 461k|3957 | 0.000000e+00 | -- | Inf
227.52/227.69 c 228s| 1200k|473949 | 3280k| 2.7 | 290M| 54 | - | 60 |6966 | 60 | 17 | 18 | 465k|3967 | 0.000000e+00 | -- | Inf
229.72/229.86 c 230s| 1210k|477516 | 3308k| 2.7 | 292M| 54 | - | 60 |6535 | 60 | 17 | 18 | 469k|3976 | 0.000000e+00 | -- | Inf
231.81/231.96 c 232s| 1220k|481313 | 3335k| 2.7 | 294M| 54 | - | 60 |6580 | 60 | 17 | 18 | 473k|3989 | 0.000000e+00 | -- | Inf
233.91/234.02 c 234s| 1230k|484964 | 3362k| 2.7 | 297M| 54 | 7 | 60 |7397 | 60 | 17 | 18 | 477k|4000 | 0.000000e+00 | -- | Inf
236.02/236.13 c 236s| 1240k|488591 | 3390k| 2.7 | 299M| 54 | 7 | 60 |7547 | 60 | 17 | 18 | 481k|4012 | 0.000000e+00 | -- | Inf
238.11/238.29 c 238s| 1250k|492227 | 3417k| 2.7 | 301M| 54 | 7 | 60 |6799 | 60 | 17 | 18 | 485k|4023 | 0.000000e+00 | -- | Inf
240.20/240.39 c 240s| 1260k|495738 | 3444k| 2.7 | 304M| 54 | 7 | 60 |7019 | 60 | 17 | 18 | 489k|4031 | 0.000000e+00 | -- | Inf
242.41/242.54 c 243s| 1270k|499379 | 3472k| 2.7 | 306M| 54 | 7 | 60 |6513 | 60 | 17 | 18 | 493k|4045 | 0.000000e+00 | -- | Inf
244.60/244.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
244.60/244.74 c 245s| 1280k|502896 | 3500k| 2.7 | 308M| 54 | - | 60 |6327 | 60 | 17 | 18 | 498k|4059 | 0.000000e+00 | -- | Inf
246.70/246.84 c 247s| 1290k|506550 | 3527k| 2.7 | 310M| 54 | 7 | 60 |6211 | 60 | 17 | 18 | 502k|4075 | 0.000000e+00 | -- | Inf
248.90/249.04 c 249s| 1300k|509905 | 3554k| 2.7 | 313M| 54 | 7 | 60 |6207 | 60 | 17 | 18 | 506k|4087 | 0.000000e+00 | -- | Inf
251.00/251.12 c 251s| 1310k|513430 | 3582k| 2.7 | 315M| 54 | 7 | 60 |6076 | 60 | 17 | 18 | 510k|4100 | 0.000000e+00 | -- | Inf
252.91/253.03 c 253s| 1320k|517444 | 3609k| 2.7 | 317M| 54 | 7 | 60 |6661 | 60 | 17 | 18 | 514k|4105 | 0.000000e+00 | -- | Inf
254.71/254.86 c 255s| 1330k|521507 | 3635k| 2.7 | 320M| 54 | 7 | 60 |7170 | 60 | 17 | 18 | 518k|4112 | 0.000000e+00 | -- | Inf
256.69/256.89 c 257s| 1340k|525031 | 3663k| 2.7 | 322M| 54 | 7 | 60 |7055 | 60 | 17 | 18 | 522k|4123 | 0.000000e+00 | -- | Inf
258.60/258.71 c 259s| 1350k|529349 | 3690k| 2.7 | 325M| 54 | 7 | 60 |7623 | 60 | 17 | 18 | 525k|4136 | 0.000000e+00 | -- | Inf
260.50/260.70 c 261s| 1360k|533216 | 3717k| 2.7 | 327M| 54 | - | 60 |8159 | 60 | 17 | 18 | 529k|4145 | 0.000000e+00 | -- | Inf
262.80/262.96 c 263s| 1370k|536713 | 3745k| 2.7 | 329M| 54 | 7 | 60 |6979 | 60 | 17 | 18 | 534k|4159 | 0.000000e+00 | -- | Inf
265.00/265.13 c 265s| 1380k|540345 | 3772k| 2.7 | 331M| 54 | - | 60 |5973 | 60 | 17 | 18 | 538k|4171 | 0.000000e+00 | -- | Inf
267.10/267.29 c 267s| 1390k|543917 | 3800k| 2.7 | 334M| 54 | - | 60 |5743 | 60 | 17 | 18 | 542k|4181 | 0.000000e+00 | -- | Inf
269.20/269.30 c 269s| 1400k|547480 | 3827k| 2.7 | 336M| 54 | - | 60 |6700 | 60 | 17 | 18 | 546k|4192 | 0.000000e+00 | -- | Inf
271.39/271.51 c 272s| 1410k|550796 | 3855k| 2.7 | 338M| 54 | 7 | 60 |6608 | 60 | 17 | 18 | 550k|4201 | 0.000000e+00 | -- | Inf
273.40/273.58 c 274s| 1420k|554441 | 3883k| 2.7 | 341M| 54 | 7 | 60 |6801 | 60 | 17 | 18 | 554k|4213 | 0.000000e+00 | -- | Inf
275.49/275.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
275.49/275.64 c 276s| 1430k|558150 | 3910k| 2.7 | 343M| 54 | 7 | 60 |6853 | 60 | 17 | 18 | 558k|4217 | 0.000000e+00 | -- | Inf
277.58/277.79 c 278s| 1440k|561637 | 3937k| 2.7 | 346M| 54 | 7 | 60 |6879 | 60 | 17 | 18 | 562k|4224 | 0.000000e+00 | -- | Inf
279.79/279.97 c 280s| 1450k|564970 | 3965k| 2.7 | 348M| 54 | - | 60 |6955 | 60 | 17 | 18 | 567k|4230 | 0.000000e+00 | -- | Inf
281.98/282.15 c 282s| 1460k|568369 | 3993k| 2.7 | 350M| 54 | - | 60 |7016 | 60 | 17 | 18 | 571k|4240 | 0.000000e+00 | -- | Inf
283.88/284.06 c 284s| 1470k|572253 | 4020k| 2.7 | 353M| 54 | - | 60 |7992 | 60 | 17 | 18 | 575k|4251 | 0.000000e+00 | -- | Inf
286.19/286.36 c 286s| 1480k|575752 | 4048k| 2.7 | 355M| 54 | 7 | 60 |6783 | 60 | 17 | 18 | 579k|4257 | 0.000000e+00 | -- | Inf
288.38/288.51 c 289s| 1490k|579215 | 4076k| 2.7 | 357M| 54 | - | 60 |6974 | 60 | 17 | 18 | 583k|4267 | 0.000000e+00 | -- | Inf
290.68/290.82 c 291s| 1500k|582638 | 4103k| 2.7 | 359M| 54 | - | 60 |6315 | 0 | 0 | 18 | 587k|4272 | 0.000000e+00 | -- | Inf
292.68/292.88 c 293s| 1510k|586122 | 4130k| 2.7 | 362M| 54 | 7 | 60 |7249 | 60 | 17 | 18 | 591k|4280 | 0.000000e+00 | -- | Inf
294.97/295.12 c 295s| 1520k|589630 | 4158k| 2.7 | 364M| 54 | 7 | 60 |7116 | 60 | 17 | 18 | 596k|4286 | 0.000000e+00 | -- | Inf
297.17/297.31 c 297s| 1530k|593186 | 4184k| 2.7 | 366M| 54 | 7 | 60 |6474 | 60 | 17 | 18 | 600k|4299 | 0.000000e+00 | -- | Inf
299.17/299.31 c 299s| 1540k|596890 | 4211k| 2.7 | 369M| 54 | 7 | 60 |7107 | 60 | 17 | 18 | 604k|4312 | 0.000000e+00 | -- | Inf
301.37/301.57 c 302s| 1550k|600283 | 4239k| 2.7 | 371M| 54 | 7 | 60 |6345 | 60 | 17 | 18 | 608k|4321 | 0.000000e+00 | -- | Inf
303.58/303.73 c 304s| 1560k|603812 | 4266k| 2.7 | 373M| 54 | 7 | 60 |6494 | 60 | 17 | 18 | 612k|4331 | 0.000000e+00 | -- | Inf
305.87/306.01 c 306s| 1570k|607128 | 4294k| 2.7 | 375M| 54 | 7 | 60 |6161 | 60 | 17 | 18 | 616k|4343 | 0.000000e+00 | -- | Inf
307.97/308.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.97/308.17 c 308s| 1580k|610413 | 4322k| 2.7 | 378M| 54 | 7 | 60 |6493 | 60 | 17 | 18 | 621k|4354 | 0.000000e+00 | -- | Inf
310.07/310.28 c 310s| 1590k|614032 | 4351k| 2.7 | 380M| 54 | - | 60 |6825 | 60 | 17 | 18 | 625k|4363 | 0.000000e+00 | -- | Inf
312.37/312.54 c 313s| 1600k|617454 | 4378k| 2.7 | 382M| 54 | - | 60 |6326 | 60 | 17 | 18 | 629k|4374 | 0.000000e+00 | -- | Inf
314.48/314.61 c 315s| 1610k|620973 | 4406k| 2.7 | 384M| 54 | 7 | 60 |6872 | 60 | 17 | 18 | 633k|4387 | 0.000000e+00 | -- | Inf
316.66/316.85 c 317s| 1620k|624446 | 4434k| 2.7 | 387M| 54 | - | 60 |6658 | 60 | 17 | 18 | 637k|4397 | 0.000000e+00 | -- | Inf
318.46/318.68 c 319s| 1630k|628474 | 4461k| 2.7 | 389M| 54 | 7 | 60 |8420 | 60 | 17 | 18 | 641k|4405 | 0.000000e+00 | -- | Inf
320.56/320.79 c 321s| 1640k|631818 | 4487k| 2.7 | 392M| 54 | 7 | 60 |7829 | 60 | 17 | 18 | 646k|4405 | 0.000000e+00 | -- | Inf
322.86/323.01 c 323s| 1650k|635423 | 4514k| 2.7 | 394M| 54 | 7 | 60 |7410 | 60 | 17 | 18 | 650k|4405 | 0.000000e+00 | -- | Inf
325.06/325.22 c 325s| 1660k|638958 | 4542k| 2.7 | 396M| 54 | 7 | 60 |7127 | 60 | 17 | 18 | 654k|4405 | 0.000000e+00 | -- | Inf
327.25/327.48 c 327s| 1670k|642234 | 4569k| 2.7 | 399M| 54 | 7 | 60 |7319 | 60 | 17 | 18 | 658k|4405 | 0.000000e+00 | -- | Inf
329.45/329.61 c 330s| 1680k|645788 | 4597k| 2.7 | 401M| 54 | - | 60 |8143 | 60 | 17 | 18 | 662k|4405 | 0.000000e+00 | -- | Inf
331.55/331.78 c 332s| 1690k|649394 | 4625k| 2.7 | 403M| 54 | - | 60 |8097 | 60 | 17 | 18 | 666k|4405 | 0.000000e+00 | -- | Inf
333.95/334.16 c 334s| 1700k|652688 | 4653k| 2.7 | 405M| 54 | 7 | 60 |7454 | 60 | 17 | 18 | 671k|4405 | 0.000000e+00 | -- | Inf
336.25/336.44 c 336s| 1710k|656161 | 4680k| 2.7 | 408M| 54 | 7 | 60 |7042 | 60 | 17 | 18 | 675k|4405 | 0.000000e+00 | -- | Inf
338.44/338.62 c 339s| 1720k|659622 | 4708k| 2.7 | 410M| 54 | 7 | 60 |7424 | 60 | 17 | 18 | 679k|4405 | 0.000000e+00 | -- | Inf
340.15/340.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.15/340.39 c 340s| 1730k|664157 | 4734k| 2.7 | 413M| 54 | 7 | 60 |8610 | 60 | 17 | 18 | 683k|4405 | 0.000000e+00 | -- | Inf
342.04/342.27 c 342s| 1740k|668347 | 4759k| 2.7 | 415M| 54 | - | 60 |8631 | 60 | 17 | 18 | 686k|4405 | 0.000000e+00 | -- | Inf
344.34/344.57 c 345s| 1750k|671903 | 4786k| 2.7 | 417M| 54 | 7 | 60 |7572 | 60 | 17 | 18 | 690k|4405 | 0.000000e+00 | -- | Inf
346.64/346.88 c 347s| 1760k|675316 | 4814k| 2.7 | 419M| 54 | - | 60 |6721 | 60 | 17 | 18 | 695k|4405 | 0.000000e+00 | -- | Inf
348.74/348.93 c 349s| 1770k|679074 | 4842k| 2.7 | 422M| 54 | 7 | 60 |7402 | 60 | 17 | 18 | 699k|4405 | 0.000000e+00 | -- | Inf
350.54/350.76 c 351s| 1780k|683078 | 4869k| 2.7 | 425M| 54 | 7 | 60 |9364 | 60 | 17 | 18 | 703k|4405 | 0.000000e+00 | -- | Inf
352.54/352.72 c 353s| 1790k|686828 | 4897k| 2.7 | 427M| 54 | 7 | 60 | 10k| 60 | 17 | 18 | 707k|4405 | 0.000000e+00 | -- | Inf
354.93/355.14 c 355s| 1800k|690054 | 4926k| 2.7 | 430M| 54 | 7 | 60 |9844 | 60 | 17 | 18 | 711k|4405 | 0.000000e+00 | -- | Inf
357.13/357.30 c 357s| 1810k|693807 | 4954k| 2.7 | 432M| 54 | 7 | 60 |9035 | 60 | 17 | 18 | 715k|4409 | 0.000000e+00 | -- | Inf
359.44/359.62 c 360s| 1820k|697134 | 4981k| 2.7 | 434M| 54 | - | 60 |8249 | 60 | 17 | 18 | 719k|4421 | 0.000000e+00 | -- | Inf
361.33/361.57 c 362s| 1830k|700998 | 5008k| 2.7 | 436M| 54 | 7 | 60 |8132 | 60 | 17 | 18 | 723k|4424 | 0.000000e+00 | -- | Inf
363.53/363.78 c 364s| 1840k|704629 | 5035k| 2.7 | 438M| 54 | 7 | 60 |7890 | 60 | 17 | 18 | 727k|4430 | 0.000000e+00 | -- | Inf
365.83/366.06 c 366s| 1850k|708036 | 5063k| 2.7 | 441M| 54 | 7 | 60 |7548 | 60 | 17 | 18 | 732k|4437 | 0.000000e+00 | -- | Inf
368.13/368.35 c 368s| 1860k|711228 | 5091k| 2.7 | 443M| 54 | 7 | 60 |7615 | 60 | 17 | 18 | 736k|4444 | 0.000000e+00 | -- | Inf
370.23/370.49 c 370s| 1870k|714999 | 5118k| 2.7 | 445M| 54 | 7 | 60 |7633 | 60 | 17 | 18 | 740k|4449 | 0.000000e+00 | -- | Inf
372.43/372.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
372.43/372.69 c 373s| 1880k|718347 | 5145k| 2.7 | 448M| 54 | - | 60 |7924 | 60 | 17 | 18 | 744k|4453 | 0.000000e+00 | -- | Inf
374.94/375.12 c 375s| 1890k|721559 | 5173k| 2.7 | 450M| 54 | 7 | 60 |7285 | 60 | 17 | 18 | 749k|4460 | 0.000000e+00 | -- | Inf
376.92/377.19 c 377s| 1900k|724962 | 5201k| 2.7 | 452M| 54 | - | 60 |7988 | 60 | 17 | 18 | 753k|4471 | 0.000000e+00 | -- | Inf
379.23/379.49 c 379s| 1910k|728181 | 5229k| 2.7 | 454M| 54 | 7 | 60 |7873 | 60 | 17 | 18 | 758k|4477 | 0.000000e+00 | -- | Inf
381.62/381.82 c 382s| 1920k|731599 | 5256k| 2.7 | 457M| 54 | - | 60 |7718 | 60 | 17 | 18 | 762k|4483 | 0.000000e+00 | -- | Inf
383.92/384.17 c 384s| 1930k|734919 | 5284k| 2.7 | 459M| 54 | 7 | 60 |7485 | 60 | 17 | 18 | 766k|4493 | 0.000000e+00 | -- | Inf
386.02/386.23 c 386s| 1940k|738579 | 5311k| 2.7 | 461M| 54 | - | 60 |8418 | 60 | 17 | 18 | 770k|4503 | 0.000000e+00 | -- | Inf
388.41/388.61 c 389s| 1950k|741860 | 5339k| 2.7 | 463M| 54 | 7 | 60 |7206 | 60 | 17 | 18 | 774k|4511 | 0.000000e+00 | -- | Inf
390.31/390.53 c 391s| 1960k|745814 | 5367k| 2.7 | 466M| 54 | 7 | 60 |8213 | 60 | 17 | 18 | 778k|4517 | 0.000000e+00 | -- | Inf
392.62/392.84 c 393s| 1970k|749313 | 5394k| 2.7 | 468M| 54 | 7 | 60 |7805 | 60 | 17 | 18 | 782k|4526 | 0.000000e+00 | -- | Inf
394.91/395.10 c 395s| 1980k|752867 | 5422k| 2.7 | 470M| 54 | 7 | 60 |7666 | 60 | 17 | 18 | 787k|4530 | 0.000000e+00 | -- | Inf
397.20/397.46 c 397s| 1990k|756050 | 5450k| 2.7 | 472M| 54 | - | 60 |7442 | 60 | 17 | 18 | 791k|4538 | 0.000000e+00 | -- | Inf
399.31/399.58 c 400s| 2000k|759529 | 5477k| 2.7 | 475M| 54 | - | 60 |8382 | 60 | 17 | 18 | 795k|4551 | 0.000000e+00 | -- | Inf
401.60/401.84 c 402s| 2010k|762897 | 5505k| 2.7 | 477M| 54 | 7 | 60 |8423 | 60 | 17 | 18 | 799k|4559 | 0.000000e+00 | -- | Inf
404.10/404.37 c 404s| 2020k|765985 | 5533k| 2.7 | 479M| 54 | - | 60 |7421 | 60 | 17 | 18 | 804k|4572 | 0.000000e+00 | -- | Inf
406.20/406.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
406.20/406.47 c 406s| 2030k|769629 | 5560k| 2.7 | 482M| 54 | - | 60 |8433 | 60 | 17 | 18 | 808k|4581 | 0.000000e+00 | -- | Inf
408.51/408.73 c 409s| 2040k|773099 | 5588k| 2.7 | 484M| 54 | 7 | 60 |7871 | 60 | 17 | 18 | 812k|4590 | 0.000000e+00 | -- | Inf
410.70/410.98 c 411s| 2050k|776750 | 5615k| 2.7 | 486M| 54 | 7 | 60 |7987 | 60 | 17 | 18 | 816k|4598 | 0.000000e+00 | -- | Inf
412.60/412.84 c 413s| 2060k|780930 | 5642k| 2.7 | 489M| 54 | 7 | 60 | 10k| 60 | 17 | 18 | 820k|4609 | 0.000000e+00 | -- | Inf
414.90/415.19 c 415s| 2070k|784628 | 5669k| 2.7 | 491M| 54 | 7 | 60 |7987 | 60 | 17 | 18 | 824k|4619 | 0.000000e+00 | -- | Inf
417.20/417.43 c 417s| 2080k|787928 | 5697k| 2.7 | 493M| 54 | 7 | 60 |7945 | 60 | 17 | 18 | 828k|4633 | 0.000000e+00 | -- | Inf
419.40/419.61 c 420s| 2090k|791541 | 5724k| 2.7 | 496M| 54 | 7 | 60 |7684 | 60 | 17 | 18 | 832k|4645 | 0.000000e+00 | -- | Inf
421.61/421.82 c 422s| 2100k|795337 | 5751k| 2.7 | 498M| 54 | - | 60 |7675 | 60 | 17 | 18 | 836k|4654 | 0.000000e+00 | -- | Inf
423.90/424.14 c 424s| 2110k|798661 | 5778k| 2.7 | 500M| 54 | 7 | 60 |7182 | 60 | 17 | 18 | 841k|4662 | 0.000000e+00 | -- | Inf
426.00/426.21 c 426s| 2120k|802109 | 5806k| 2.7 | 503M| 54 | 7 | 60 |8331 | 60 | 17 | 18 | 845k|4672 | 0.000000e+00 | -- | Inf
428.30/428.54 c 429s| 2130k|805595 | 5833k| 2.7 | 505M| 54 | 7 | 60 |7474 | 60 | 17 | 18 | 849k|4681 | 0.000000e+00 | -- | Inf
430.60/430.87 c 431s| 2140k|808912 | 5861k| 2.7 | 507M| 54 | - | 60 |7444 | 60 | 17 | 18 | 853k|4691 | 0.000000e+00 | -- | Inf
432.60/432.85 c 433s| 2150k|812622 | 5888k| 2.7 | 510M| 54 | 7 | 60 |9140 | 60 | 17 | 18 | 858k|4703 | 0.000000e+00 | -- | Inf
434.90/435.14 c 435s| 2160k|816200 | 5916k| 2.7 | 512M| 54 | 7 | 60 |8801 | 60 | 17 | 18 | 862k|4710 | 0.000000e+00 | -- | Inf
437.30/437.59 c 438s| 2170k|819546 | 5943k| 2.7 | 514M| 54 | 7 | 60 |7599 | 60 | 17 | 18 | 866k|4723 | 0.000000e+00 | -- | Inf
439.40/439.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
439.40/439.66 c 440s| 2180k|823094 | 5971k| 2.7 | 517M| 54 | 7 | 60 |8548 | 60 | 17 | 18 | 870k|4731 | 0.000000e+00 | -- | Inf
441.60/441.87 c 442s| 2190k|826712 | 5999k| 2.7 | 519M| 54 | 7 | 60 |8381 | 60 | 17 | 18 | 874k|4737 | 0.000000e+00 | -- | Inf
443.60/443.87 c 444s| 2200k|830580 | 6027k| 2.7 | 521M| 54 | 7 | 60 |9470 | 60 | 17 | 18 | 878k|4744 | 0.000000e+00 | -- | Inf
446.09/446.37 c 446s| 2210k|833616 | 6054k| 2.7 | 523M| 54 | 7 | 60 |8040 | 60 | 17 | 18 | 883k|4757 | 0.000000e+00 | -- | Inf
448.40/448.61 c 449s| 2220k|837091 | 6082k| 2.7 | 526M| 54 | 7 | 60 |7873 | 60 | 17 | 18 | 887k|4765 | 0.000000e+00 | -- | Inf
450.60/450.90 c 451s| 2230k|840368 | 6110k| 2.7 | 528M| 54 | 7 | 60 |7655 | 60 | 17 | 18 | 891k|4778 | 0.000000e+00 | -- | Inf
452.80/453.00 c 453s| 2240k|844120 | 6137k| 2.7 | 530M| 54 | 7 | 60 |7527 | 60 | 17 | 18 | 895k|4786 | 0.000000e+00 | -- | Inf
454.89/455.10 c 455s| 2250k|847574 | 6164k| 2.7 | 533M| 54 | 7 | 60 |8340 | 60 | 17 | 18 | 900k|4797 | 0.000000e+00 | -- | Inf
457.10/457.32 c 457s| 2260k|850913 | 6191k| 2.7 | 535M| 54 | 7 | 60 |8476 | 60 | 17 | 18 | 904k|4809 | 0.000000e+00 | -- | Inf
459.39/459.62 c 460s| 2270k|854323 | 6219k| 2.7 | 537M| 54 | 7 | 60 |7715 | 60 | 17 | 18 | 908k|4820 | 0.000000e+00 | -- | Inf
461.59/461.83 c 462s| 2280k|858013 | 6246k| 2.7 | 539M| 54 | 7 | 60 |7952 | 60 | 17 | 18 | 912k|4829 | 0.000000e+00 | -- | Inf
463.70/463.98 c 464s| 2290k|861857 | 6274k| 2.7 | 542M| 54 | 7 | 60 |9031 | 60 | 17 | 18 | 916k|4838 | 0.000000e+00 | -- | Inf
466.10/466.32 c 466s| 2300k|865056 | 6302k| 2.7 | 544M| 54 | - | 60 |8957 | 0 | 0 | 18 | 921k|4846 | 0.000000e+00 | -- | Inf
468.40/468.68 c 469s| 2310k|868530 | 6331k| 2.7 | 546M| 54 | - | 60 |8641 | 60 | 17 | 18 | 925k|4855 | 0.000000e+00 | -- | Inf
470.70/470.93 c 471s| 2320k|871972 | 6359k| 2.7 | 549M| 54 | 7 | 60 |9382 | 60 | 17 | 18 | 929k|4862 | 0.000000e+00 | -- | Inf
473.09/473.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
473.09/473.32 c 473s| 2330k|875569 | 6386k| 2.7 | 551M| 54 | 7 | 60 |8340 | 60 | 17 | 18 | 933k|4874 | 0.000000e+00 | -- | Inf
475.29/475.54 c 476s| 2340k|879192 | 6412k| 2.7 | 553M| 54 | - | 60 |8624 | 60 | 17 | 18 | 937k|4884 | 0.000000e+00 | -- | Inf
477.79/478.06 c 478s| 2350k|882350 | 6440k| 2.7 | 555M| 54 | 7 | 60 |7553 | 60 | 17 | 18 | 942k|4893 | 0.000000e+00 | -- | Inf
480.09/480.38 c 480s| 2360k|885694 | 6468k| 2.7 | 558M| 54 | - | 60 |7850 | 60 | 17 | 18 | 946k|4900 | 0.000000e+00 | -- | Inf
482.20/482.46 c 482s| 2370k|889323 | 6494k| 2.7 | 560M| 54 | 7 | 60 |8732 | 60 | 17 | 18 | 950k|4906 | 0.000000e+00 | -- | Inf
484.39/484.65 c 485s| 2380k|892871 | 6522k| 2.7 | 563M| 54 | 7 | 60 |9427 | 60 | 17 | 18 | 954k|4913 | 0.000000e+00 | -- | Inf
486.59/486.82 c 487s| 2390k|896671 | 6549k| 2.7 | 565M| 54 | 7 | 60 | 10k| 60 | 17 | 18 | 958k|4925 | 0.000000e+00 | -- | Inf
488.99/489.24 c 489s| 2400k|900019 | 6576k| 2.7 | 567M| 54 | - | 60 |9762 | 60 | 17 | 18 | 963k|4937 | 0.000000e+00 | -- | Inf
491.50/491.75 c 492s| 2410k|903351 | 6604k| 2.7 | 569M| 54 | 7 | 60 |8250 | 60 | 17 | 18 | 967k|4945 | 0.000000e+00 | -- | Inf
493.99/494.29 c 494s| 2420k|906534 | 6632k| 2.7 | 571M| 54 | - | 60 |7299 | 0 | 0 | 18 | 971k|4952 | 0.000000e+00 | -- | Inf
496.39/496.62 c 497s| 2430k|909848 | 6661k| 2.7 | 574M| 54 | - | 60 |7813 | 60 | 17 | 18 | 976k|4967 | 0.000000e+00 | -- | Inf
498.49/498.72 c 499s| 2440k|913656 | 6688k| 2.7 | 576M| 54 | 7 | 60 |8621 | 60 | 17 | 18 | 980k|4973 | 0.000000e+00 | -- | Inf
500.79/501.01 c 501s| 2450k|917214 | 6716k| 2.7 | 578M| 54 | 7 | 60 |8758 | 60 | 17 | 18 | 984k|4987 | 0.000000e+00 | -- | Inf
502.89/503.17 c 503s| 2460k|920979 | 6743k| 2.7 | 581M| 54 | 7 | 60 |9316 | 60 | 17 | 18 | 988k|4997 | 0.000000e+00 | -- | Inf
505.39/505.65 c 506s| 2470k|924255 | 6771k| 2.7 | 583M| 54 | - | 60 |8405 | 60 | 17 | 18 | 992k|5003 | 0.000000e+00 | -- | Inf
507.79/508.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
507.79/508.06 c 508s| 2480k|927524 | 6799k| 2.7 | 585M| 54 | 7 | 60 |7715 | 60 | 17 | 18 | 996k|5012 | 0.000000e+00 | -- | Inf
510.10/510.33 c 510s| 2490k|931001 | 6827k| 2.7 | 587M| 54 | 7 | 60 |7773 | 60 | 17 | 18 |1000k|5021 | 0.000000e+00 | -- | Inf
512.39/512.63 c 513s| 2500k|934520 | 6853k| 2.7 | 590M| 54 | 7 | 60 |7922 | 60 | 17 | 18 |1004k|5030 | 0.000000e+00 | -- | Inf
514.78/515.08 c 515s| 2510k|937806 | 6881k| 2.7 | 592M| 54 | 7 | 60 |7517 | 60 | 17 | 18 |1009k|5039 | 0.000000e+00 | -- | Inf
517.19/517.47 c 517s| 2520k|940907 | 6909k| 2.7 | 594M| 54 | 7 | 60 |7388 | 60 | 17 | 18 |1013k|5048 | 0.000000e+00 | -- | Inf
519.48/519.79 c 520s| 2530k|944263 | 6937k| 2.7 | 596M| 54 | - | 60 |7927 | 0 | 0 | 18 |1017k|5060 | 0.000000e+00 | -- | Inf
521.79/522.09 c 522s| 2540k|947567 | 6964k| 2.7 | 599M| 54 | 7 | 60 |8370 | 60 | 17 | 18 |1022k|5070 | 0.000000e+00 | -- | Inf
524.09/524.35 c 524s| 2550k|951042 | 6992k| 2.7 | 601M| 54 | 7 | 60 |8688 | 60 | 17 | 18 |1026k|5079 | 0.000000e+00 | -- | Inf
526.39/526.67 c 527s| 2560k|954534 | 7020k| 2.7 | 603M| 54 | 7 | 60 |8156 | 60 | 17 | 18 |1030k|5090 | 0.000000e+00 | -- | Inf
528.99/529.21 c 529s| 2570k|957581 | 7047k| 2.7 | 605M| 54 | 7 | 60 |7633 | 60 | 17 | 18 |1035k|5096 | 0.000000e+00 | -- | Inf
531.18/531.49 c 531s| 2580k|961174 | 7075k| 2.7 | 608M| 54 | 7 | 60 |8098 | 60 | 17 | 18 |1039k|5107 | 0.000000e+00 | -- | Inf
533.38/533.67 c 534s| 2590k|964682 | 7102k| 2.7 | 610M| 54 | 7 | 60 |8891 | 60 | 17 | 18 |1043k|5118 | 0.000000e+00 | -- | Inf
535.98/536.25 c 536s| 2600k|967882 | 7129k| 2.7 | 612M| 54 | - | 60 |7452 | 60 | 17 | 18 |1047k|5124 | 0.000000e+00 | -- | Inf
538.38/538.60 c 539s| 2610k|971288 | 7157k| 2.7 | 614M| 54 | 7 | 60 |7606 | 60 | 17 | 18 |1052k|5137 | 0.000000e+00 | -- | Inf
540.49/540.74 c 541s| 2620k|974951 | 7185k| 2.7 | 617M| 54 | - | 60 |8374 | 60 | 17 | 18 |1056k|5147 | 0.000000e+00 | -- | Inf
542.69/542.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
542.69/542.93 c 543s| 2630k|978397 | 7212k| 2.7 | 619M| 54 | 7 | 60 |8389 | 60 | 17 | 18 |1060k|5153 | 0.000000e+00 | -- | Inf
544.88/545.13 c 545s| 2640k|981840 | 7240k| 2.7 | 622M| 54 | 7 | 60 |9141 | 60 | 17 | 18 |1064k|5166 | 0.000000e+00 | -- | Inf
547.38/547.70 c 548s| 2650k|985096 | 7268k| 2.7 | 624M| 54 | 7 | 60 |8400 | 60 | 17 | 18 |1068k|5177 | 0.000000e+00 | -- | Inf
549.99/550.26 c 550s| 2660k|988329 | 7296k| 2.7 | 626M| 54 | 7 | 60 |7679 | 60 | 17 | 18 |1073k|5188 | 0.000000e+00 | -- | Inf
552.38/552.69 c 553s| 2670k|991769 | 7323k| 2.7 | 628M| 54 | 7 | 60 |7056 | 60 | 17 | 18 |1077k|5198 | 0.000000e+00 | -- | Inf
554.68/554.91 c 555s| 2680k|995152 | 7351k| 2.7 | 630M| 54 | 7 | 60 |7877 | 60 | 17 | 18 |1081k|5206 | 0.000000e+00 | -- | Inf
556.88/557.11 c 557s| 2690k|998917 | 7379k| 2.7 | 633M| 54 | 7 | 60 |8540 | 60 | 17 | 18 |1085k|5214 | 0.000000e+00 | -- | Inf
559.08/559.30 c 559s| 2700k| 1002k| 7405k| 2.7 | 635M| 54 | 7 | 60 |9037 | 60 | 17 | 18 |1089k|5220 | 0.000000e+00 | -- | Inf
561.58/561.80 c 562s| 2710k| 1005k| 7433k| 2.7 | 637M| 54 | 7 | 60 |8523 | 60 | 17 | 18 |1093k|5226 | 0.000000e+00 | -- | Inf
563.77/564.07 c 564s| 2720k| 1009k| 7460k| 2.7 | 640M| 54 | 7 | 60 |9130 | 60 | 17 | 18 |1098k|5236 | 0.000000e+00 | -- | Inf
566.08/566.31 c 566s| 2730k| 1012k| 7487k| 2.7 | 642M| 54 | 7 | 60 |9303 | 60 | 17 | 18 |1102k|5245 | 0.000000e+00 | -- | Inf
568.39/568.60 c 569s| 2740k| 1016k| 7515k| 2.7 | 645M| 54 | 7 | 60 |9536 | 60 | 17 | 18 |1106k|5258 | 0.000000e+00 | -- | Inf
570.48/570.77 c 571s| 2750k| 1019k| 7543k| 2.7 | 647M| 54 | 7 | 60 |9575 | 60 | 17 | 18 |1110k|5265 | 0.000000e+00 | -- | Inf
572.98/573.20 c 573s| 2760k| 1023k| 7571k| 2.7 | 649M| 54 | 7 | 60 |9549 | 60 | 17 | 18 |1114k|5278 | 0.000000e+00 | -- | Inf
575.48/575.71 c 576s| 2770k| 1026k| 7599k| 2.7 | 651M| 54 | 7 | 60 |8913 | 60 | 17 | 18 |1119k|5284 | 0.000000e+00 | -- | Inf
577.78/578.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
577.78/578.03 c 578s| 2780k| 1029k| 7627k| 2.7 | 653M| 54 | 7 | 60 |9423 | 60 | 17 | 18 |1123k|5288 | 0.000000e+00 | -- | Inf
580.17/580.49 c 580s| 2790k| 1032k| 7655k| 2.7 | 656M| 54 | 7 | 60 |8918 | 60 | 17 | 18 |1127k|5294 | 0.000000e+00 | -- | Inf
582.57/582.90 c 583s| 2800k| 1036k| 7682k| 2.7 | 658M| 54 | 7 | 60 |9114 | 60 | 17 | 18 |1132k|5303 | 0.000000e+00 | -- | Inf
585.38/585.65 c 586s| 2810k| 1039k| 7710k| 2.7 | 660M| 54 | - | 60 |7534 | 60 | 17 | 18 |1136k|5314 | 0.000000e+00 | -- | Inf
587.67/587.92 c 588s| 2820k| 1042k| 7737k| 2.7 | 662M| 54 | 7 | 60 |8400 | 60 | 17 | 18 |1140k|5323 | 0.000000e+00 | -- | Inf
590.28/590.52 c 591s| 2830k| 1045k| 7765k| 2.7 | 664M| 54 | 7 | 60 |7751 | 60 | 17 | 18 |1145k|5334 | 0.000000e+00 | -- | Inf
592.58/592.83 c 593s| 2840k| 1049k| 7792k| 2.7 | 667M| 54 | - | 60 |8191 | 60 | 17 | 18 |1149k|5344 | 0.000000e+00 | -- | Inf
595.07/595.33 c 595s| 2850k| 1052k| 7820k| 2.7 | 669M| 54 | 7 | 60 |7596 | 60 | 17 | 18 |1153k|5349 | 0.000000e+00 | -- | Inf
597.57/597.84 c 598s| 2860k| 1055k| 7848k| 2.7 | 671M| 54 | 7 | 60 |7689 | 60 | 17 | 18 |1158k|5353 | 0.000000e+00 | -- | Inf
599.67/599.97 c 600s| 2870k| 1059k| 7876k| 2.7 | 674M| 54 | 7 | 60 |9039 | 60 | 17 | 18 |1162k|5357 | 0.000000e+00 | -- | Inf
602.27/602.51 c 603s| 2880k| 1062k| 7903k| 2.7 | 676M| 54 | - | 60 |8328 | 60 | 17 | 18 |1166k|5363 | 0.000000e+00 | -- | Inf
604.58/604.83 c 605s| 2890k| 1065k| 7931k| 2.7 | 678M| 54 | 7 | 60 |8587 | 60 | 17 | 18 |1171k|5370 | 0.000000e+00 | -- | Inf
607.07/607.36 c 607s| 2900k| 1069k| 7959k| 2.7 | 680M| 54 | 7 | 60 |8482 | 60 | 17 | 18 |1175k|5383 | 0.000000e+00 | -- | Inf
609.57/609.80 c 610s| 2910k| 1072k| 7987k| 2.7 | 683M| 54 | - | 60 |8400 | 60 | 17 | 18 |1179k|5390 | 0.000000e+00 | -- | Inf
611.67/611.94 c 612s| 2920k| 1076k| 8014k| 2.7 | 685M| 54 | 7 | 60 |9318 | 60 | 17 | 18 |1183k|5397 | 0.000000e+00 | -- | Inf
613.87/614.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
613.87/614.16 c 614s| 2930k| 1079k| 8042k| 2.7 | 688M| 54 | - | 60 | 10k| 0 | 0 | 18 |1187k|5404 | 0.000000e+00 | -- | Inf
616.57/616.82 c 617s| 2940k| 1083k| 8070k| 2.7 | 690M| 54 | 7 | 60 |9430 | 60 | 17 | 18 |1192k|5415 | 0.000000e+00 | -- | Inf
618.78/619.06 c 619s| 2950k| 1086k| 8097k| 2.7 | 692M| 54 | 7 | 60 |9842 | 60 | 17 | 18 |1196k|5420 | 0.000000e+00 | -- | Inf
620.97/621.26 c 621s| 2960k| 1090k| 8124k| 2.7 | 695M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |1200k|5430 | 0.000000e+00 | -- | Inf
623.17/623.45 c 623s| 2970k| 1093k| 8152k| 2.7 | 697M| 54 | - | 60 | 11k| 60 | 17 | 18 |1204k|5440 | 0.000000e+00 | -- | Inf
625.57/625.88 c 626s| 2980k| 1096k| 8179k| 2.7 | 699M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |1208k|5444 | 0.000000e+00 | -- | Inf
628.17/628.42 c 628s| 2990k| 1100k| 8207k| 2.7 | 701M| 54 | 7 | 60 |9749 | 60 | 17 | 18 |1213k|5450 | 0.000000e+00 | -- | Inf
630.57/630.86 c 631s| 3000k| 1104k| 8234k| 2.7 | 704M| 54 | 7 | 60 |9363 | 60 | 17 | 18 |1217k|5458 | 0.000000e+00 | -- | Inf
632.97/633.25 c 633s| 3010k| 1107k| 8262k| 2.7 | 706M| 54 | - | 60 |9603 | 60 | 17 | 18 |1221k|5470 | 0.000000e+00 | -- | Inf
635.37/635.66 c 636s| 3020k| 1111k| 8289k| 2.7 | 708M| 54 | 7 | 60 |9295 | 60 | 17 | 18 |1225k|5478 | 0.000000e+00 | -- | Inf
637.67/638.00 c 638s| 3030k| 1114k| 8317k| 2.7 | 711M| 54 | - | 60 | 10k| 60 | 17 | 18 |1229k|5482 | 0.000000e+00 | -- | Inf
640.07/640.37 c 640s| 3040k| 1117k| 8345k| 2.7 | 713M| 54 | - | 60 | 10k| 60 | 17 | 18 |1234k|5493 | 0.000000e+00 | -- | Inf
642.66/642.96 c 643s| 3050k| 1121k| 8374k| 2.7 | 715M| 54 | 7 | 60 |9647 | 60 | 17 | 18 |1238k|5498 | 0.000000e+00 | -- | Inf
645.26/645.58 c 646s| 3060k| 1124k| 8402k| 2.7 | 717M| 54 | 7 | 60 |8872 | 60 | 17 | 18 |1242k|5505 | 0.000000e+00 | -- | Inf
647.58/647.82 c 648s| 3070k| 1127k| 8430k| 2.7 | 720M| 54 | - | 60 |9970 | 60 | 17 | 18 |1246k|5513 | 0.000000e+00 | -- | Inf
649.96/650.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
649.96/650.21 c 650s| 3080k| 1131k| 8457k| 2.7 | 722M| 54 | - | 60 | 10k| 60 | 17 | 18 |1251k|5523 | 0.000000e+00 | -- | Inf
652.57/652.85 c 653s| 3090k| 1134k| 8485k| 2.7 | 724M| 54 | - | 60 |9396 | 60 | 17 | 18 |1255k|5533 | 0.000000e+00 | -- | Inf
655.27/655.60 c 656s| 3100k| 1137k| 8513k| 2.7 | 726M| 54 | 7 | 60 |8612 | 60 | 17 | 18 |1259k|5543 | 0.000000e+00 | -- | Inf
657.67/657.91 c 658s| 3110k| 1141k| 8540k| 2.7 | 729M| 54 | 7 | 60 |9675 | 60 | 17 | 18 |1263k|5551 | 0.000000e+00 | -- | Inf
659.87/660.19 c 660s| 3120k| 1144k| 8568k| 2.7 | 731M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |1268k|5561 | 0.000000e+00 | -- | Inf
662.36/662.61 c 663s| 3130k| 1148k| 8596k| 2.7 | 733M| 54 | 7 | 60 |9945 | 60 | 17 | 18 |1272k|5571 | 0.000000e+00 | -- | Inf
664.87/665.11 c 665s| 3140k| 1151k| 8624k| 2.7 | 735M| 54 | - | 60 |9646 | 60 | 17 | 18 |1276k|5576 | 0.000000e+00 | -- | Inf
667.66/667.90 c 668s| 3150k| 1154k| 8653k| 2.7 | 737M| 54 | 7 | 60 |8596 | 60 | 17 | 18 |1281k|5583 | 0.000000e+00 | -- | Inf
670.06/670.31 c 670s| 3160k| 1157k| 8681k| 2.7 | 740M| 54 | - | 60 |9418 | 60 | 17 | 18 |1285k|5596 | 0.000000e+00 | -- | Inf
672.77/673.02 c 673s| 3170k| 1161k| 8708k| 2.7 | 742M| 54 | - | 60 |8374 | 60 | 17 | 18 |1289k|5604 | 0.000000e+00 | -- | Inf
674.96/675.25 c 675s| 3180k| 1164k| 8736k| 2.7 | 744M| 54 | 7 | 60 |8926 | 60 | 17 | 18 |1293k|5614 | 0.000000e+00 | -- | Inf
677.67/677.94 c 678s| 3190k| 1168k| 8764k| 2.7 | 746M| 54 | 7 | 60 |7848 | 60 | 17 | 18 |1298k|5623 | 0.000000e+00 | -- | Inf
680.16/680.43 c 680s| 3200k| 1171k| 8791k| 2.7 | 748M| 54 | 7 | 60 |7740 | 60 | 17 | 18 |1302k|5634 | 0.000000e+00 | -- | Inf
682.46/682.72 c 683s| 3210k| 1174k| 8819k| 2.7 | 751M| 54 | 7 | 60 |8869 | 60 | 17 | 18 |1307k|5640 | 0.000000e+00 | -- | Inf
684.76/685.02 c 685s| 3220k| 1178k| 8847k| 2.7 | 753M| 54 | 7 | 60 |9062 | 60 | 17 | 18 |1311k|5649 | 0.000000e+00 | -- | Inf
687.27/687.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
687.27/687.59 c 688s| 3230k| 1181k| 8874k| 2.7 | 755M| 54 | 7 | 60 |8428 | 60 | 17 | 18 |1315k|5659 | 0.000000e+00 | -- | Inf
689.36/689.70 c 690s| 3240k| 1185k| 8901k| 2.7 | 758M| 54 | 7 | 60 |9306 | 60 | 17 | 18 |1319k|5668 | 0.000000e+00 | -- | Inf
691.86/692.10 c 692s| 3250k| 1188k| 8928k| 2.7 | 760M| 54 | 7 | 60 |8925 | 60 | 17 | 18 |1323k|5674 | 0.000000e+00 | -- | Inf
694.66/694.93 c 695s| 3260k| 1191k| 8956k| 2.7 | 762M| 54 | 7 | 60 |7936 | 60 | 17 | 18 |1327k|5682 | 0.000000e+00 | -- | Inf
696.86/697.18 c 697s| 3270k| 1195k| 8984k| 2.7 | 764M| 54 | 7 | 60 |8612 | 60 | 17 | 18 |1332k|5690 | 0.000000e+00 | -- | Inf
699.46/699.70 c 700s| 3280k| 1198k| 9011k| 2.7 | 767M| 54 | 7 | 60 |8543 | 60 | 17 | 18 |1336k|5696 | 0.000000e+00 | -- | Inf
701.57/701.89 c 702s| 3290k| 1202k| 9039k| 2.7 | 769M| 54 | 7 | 60 |9606 | 60 | 17 | 18 |1340k|5707 | 0.000000e+00 | -- | Inf
703.76/704.01 c 704s| 3300k| 1205k| 9066k| 2.7 | 772M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |1344k|5713 | 0.000000e+00 | -- | Inf
705.97/706.29 c 706s| 3310k| 1208k| 9093k| 2.7 | 774M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |1349k|5722 | 0.000000e+00 | -- | Inf
708.86/709.10 c 709s| 3320k| 1211k| 9120k| 2.7 | 776M| 54 | 7 | 60 |8739 | 60 | 17 | 18 |1353k|5728 | 0.000000e+00 | -- | Inf
711.56/711.89 c 712s| 3330k| 1215k| 9147k| 2.7 | 778M| 54 | 7 | 60 |8157 | 60 | 17 | 18 |1357k|5736 | 0.000000e+00 | -- | Inf
714.15/714.44 c 714s| 3340k| 1218k| 9175k| 2.7 | 780M| 54 | - | 60 |8406 | 60 | 17 | 18 |1362k|5742 | 0.000000e+00 | -- | Inf
716.65/716.92 c 717s| 3350k| 1221k| 9203k| 2.7 | 783M| 54 | 7 | 60 |9068 | 60 | 17 | 18 |1366k|5750 | 0.000000e+00 | -- | Inf
719.16/719.47 c 719s| 3360k| 1224k| 9230k| 2.7 | 785M| 54 | 7 | 60 |8677 | 60 | 17 | 18 |1370k|5762 | 0.000000e+00 | -- | Inf
721.56/721.80 c 722s| 3370k| 1228k| 9257k| 2.7 | 787M| 54 | 7 | 60 |9983 | 60 | 17 | 18 |1375k|5766 | 0.000000e+00 | -- | Inf
724.06/724.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
724.06/724.34 c 724s| 3380k| 1231k| 9285k| 2.7 | 789M| 54 | - | 60 |9894 | 60 | 17 | 18 |1379k|5775 | 0.000000e+00 | -- | Inf
726.46/726.75 c 727s| 3390k| 1234k| 9313k| 2.7 | 792M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |1383k|5782 | 0.000000e+00 | -- | Inf
729.06/729.31 c 729s| 3400k| 1237k| 9341k| 2.7 | 794M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |1388k|5785 | 0.000000e+00 | -- | Inf
731.76/732.08 c 732s| 3410k| 1240k| 9368k| 2.7 | 796M| 54 | 7 | 60 |9343 | 60 | 17 | 18 |1392k|5786 | 0.000000e+00 | -- | Inf
734.56/734.87 c 735s| 3420k| 1243k| 9396k| 2.7 | 798M| 54 | 7 | 60 |9141 | 60 | 17 | 18 |1397k|5796 | 0.000000e+00 | -- | Inf
737.26/737.56 c 738s| 3430k| 1246k| 9423k| 2.7 | 800M| 54 | - | 60 |8538 | 60 | 17 | 18 |1401k|5804 | 0.000000e+00 | -- | Inf
739.65/739.95 c 740s| 3440k| 1250k| 9450k| 2.7 | 803M| 54 | 7 | 60 |9481 | 60 | 17 | 18 |1406k|5816 | 0.000000e+00 | -- | Inf
742.05/742.37 c 742s| 3450k| 1253k| 9478k| 2.7 | 805M| 54 | 7 | 60 |9560 | 60 | 17 | 18 |1410k|5825 | 0.000000e+00 | -- | Inf
744.66/744.92 c 745s| 3460k| 1256k| 9506k| 2.7 | 807M| 54 | - | 60 |9489 | 60 | 17 | 18 |1414k|5830 | 0.000000e+00 | -- | Inf
747.05/747.38 c 747s| 3470k| 1259k| 9533k| 2.7 | 810M| 54 | 7 | 60 |9831 | 60 | 17 | 18 |1419k|5836 | 0.000000e+00 | -- | Inf
749.65/749.92 c 750s| 3480k| 1263k| 9561k| 2.7 | 812M| 54 | - | 60 |9940 | 60 | 17 | 18 |1423k|5841 | 0.000000e+00 | -- | Inf
752.35/752.60 c 753s| 3490k| 1266k| 9589k| 2.7 | 814M| 54 | 7 | 60 |8786 | 60 | 17 | 18 |1428k|5846 | 0.000000e+00 | -- | Inf
754.75/755.00 c 755s| 3500k| 1269k| 9617k| 2.7 | 816M| 54 | 7 | 60 |9722 | 60 | 17 | 18 |1432k|5852 | 0.000000e+00 | -- | Inf
757.35/757.65 c 758s| 3510k| 1272k| 9644k| 2.7 | 818M| 54 | 7 | 60 |9129 | 60 | 17 | 18 |1436k|5861 | 0.000000e+00 | -- | Inf
759.95/760.28 c 760s| 3520k| 1276k| 9672k| 2.7 | 821M| 54 | 7 | 60 |9138 | 60 | 17 | 18 |1441k|5869 | 0.000000e+00 | -- | Inf
762.15/762.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
762.15/762.41 c 762s| 3530k| 1279k| 9700k| 2.7 | 823M| 54 | 7 | 60 |9904 | 60 | 17 | 18 |1445k|5877 | 0.000000e+00 | -- | Inf
764.75/765.04 c 765s| 3540k| 1282k| 9728k| 2.7 | 825M| 54 | 7 | 60 |9511 | 60 | 17 | 18 |1450k|5886 | 0.000000e+00 | -- | Inf
767.35/767.67 c 768s| 3550k| 1285k| 9756k| 2.7 | 827M| 54 | 7 | 60 |9961 | 60 | 17 | 18 |1454k|5893 | 0.000000e+00 | -- | Inf
770.05/770.32 c 770s| 3560k| 1288k| 9784k| 2.7 | 829M| 54 | 7 | 60 |9440 | 60 | 17 | 18 |1459k|5899 | 0.000000e+00 | -- | Inf
772.54/772.86 c 773s| 3570k| 1292k| 9811k| 2.7 | 832M| 54 | 7 | 60 |9204 | 60 | 17 | 18 |1463k|5906 | 0.000000e+00 | -- | Inf
775.05/775.30 c 775s| 3580k| 1295k| 9839k| 2.7 | 834M| 54 | 7 | 60 |8760 | 60 | 17 | 18 |1467k|5913 | 0.000000e+00 | -- | Inf
776.94/777.28 c 777s| 3590k| 1300k| 9867k| 2.7 | 837M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |1471k|5924 | 0.000000e+00 | -- | Inf
779.04/779.35 c 779s| 3600k| 1304k| 9896k| 2.7 | 839M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |1474k|5931 | 0.000000e+00 | -- | Inf
781.25/781.58 c 782s| 3610k| 1308k| 9923k| 2.7 | 842M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |1478k|5938 | 0.000000e+00 | -- | Inf
783.65/783.91 c 784s| 3620k| 1312k| 9950k| 2.7 | 844M| 54 | 7 | 60 | 12k| 60 | 17 | 18 |1482k|5942 | 0.000000e+00 | -- | Inf
786.15/786.46 c 786s| 3630k| 1315k| 9978k| 2.7 | 847M| 54 | 7 | 60 | 12k| 60 | 17 | 18 |1486k|5950 | 0.000000e+00 | -- | Inf
788.54/788.82 c 789s| 3640k| 1319k| 10007k| 2.7 | 849M| 54 | 7 | 60 | 12k| 60 | 17 | 18 |1490k|5954 | 0.000000e+00 | -- | Inf
791.05/791.30 c 791s| 3650k| 1323k| 10035k| 2.7 | 852M| 54 | - | 60 | 12k| 60 | 17 | 18 |1494k|5963 | 0.000000e+00 | -- | Inf
793.35/793.67 c 794s| 3660k| 1327k| 10063k| 2.7 | 854M| 54 | 7 | 60 | 13k| 60 | 17 | 18 |1498k|5968 | 0.000000e+00 | -- | Inf
795.85/796.13 c 796s| 3670k| 1330k| 10090k| 2.7 | 856M| 54 | 7 | 60 | 12k| 60 | 17 | 18 |1502k|5970 | 0.000000e+00 | -- | Inf
798.25/798.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
798.25/798.56 c 799s| 3680k| 1334k| 10118k| 2.7 | 859M| 54 | 7 | 60 | 13k| 60 | 17 | 18 |1506k|5976 | 0.000000e+00 | -- | Inf
801.04/801.30 c 801s| 3690k| 1337k| 10147k| 2.7 | 861M| 54 | 7 | 60 | 13k| 60 | 17 | 18 |1511k|5976 | 0.000000e+00 | -- | Inf
803.75/804.01 c 804s| 3700k| 1341k| 10175k| 2.8 | 863M| 54 | 7 | 60 | 13k| 60 | 17 | 18 |1515k|5980 | 0.000000e+00 | -- | Inf
806.05/806.38 c 806s| 3710k| 1344k| 10203k| 2.8 | 866M| 54 | 7 | 60 | 13k| 60 | 17 | 18 |1519k|5987 | 0.000000e+00 | -- | Inf
808.64/808.91 c 809s| 3720k| 1348k| 10232k| 2.8 | 868M| 54 | 7 | 60 | 14k| 60 | 17 | 18 |1523k|5997 | 0.000000e+00 | -- | Inf
810.95/811.22 c 811s| 3730k| 1352k| 10259k| 2.8 | 871M| 54 | 7 | 60 | 15k| 60 | 17 | 18 |1527k|6005 | 0.000000e+00 | -- | Inf
813.75/814.04 c 814s| 3740k| 1355k| 10288k| 2.8 | 873M| 54 | 7 | 60 | 14k| 60 | 17 | 18 |1532k|6015 | 0.000000e+00 | -- | Inf
816.54/816.82 c 817s| 3750k| 1358k| 10317k| 2.8 | 875M| 54 | - | 60 | 14k| 60 | 17 | 18 |1536k|6024 | 0.000000e+00 | -- | Inf
819.25/819.53 c 820s| 3760k| 1361k| 10345k| 2.8 | 878M| 54 | 7 | 60 | 15k| 60 | 17 | 18 |1540k|6032 | 0.000000e+00 | -- | Inf
822.04/822.38 c 822s| 3770k| 1365k| 10374k| 2.8 | 880M| 54 | 7 | 60 | 14k| 60 | 17 | 18 |1544k|6034 | 0.000000e+00 | -- | Inf
824.64/824.92 c 825s| 3780k| 1368k| 10402k| 2.8 | 882M| 54 | - | 60 | 15k| 60 | 17 | 18 |1549k|6038 | 0.000000e+00 | -- | Inf
827.95/828.21 c 828s| 3790k| 1371k| 10430k| 2.8 | 884M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |1553k|6046 | 0.000000e+00 | -- | Inf
831.04/831.33 c 831s| 3800k| 1374k| 10459k| 2.8 | 886M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |1558k|6049 | 0.000000e+00 | -- | Inf
833.55/833.89 c 834s| 3810k| 1377k| 10486k| 2.8 | 888M| 54 | - | 60 | 10k| 60 | 17 | 18 |1562k|6056 | 0.000000e+00 | -- | Inf
836.24/836.55 c 837s| 3820k| 1381k| 10514k| 2.8 | 890M| 54 | 7 | 60 |9652 | 60 | 17 | 18 |1566k|6060 | 0.000000e+00 | -- | Inf
838.74/839.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
838.74/839.02 c 839s| 3830k| 1384k| 10542k| 2.8 | 892M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |1571k|6067 | 0.000000e+00 | -- | Inf
841.44/841.75 c 842s| 3840k| 1387k| 10570k| 2.8 | 894M| 54 | 7 | 60 |8883 | 60 | 17 | 18 |1575k|6075 | 0.000000e+00 | -- | Inf
843.93/844.23 c 844s| 3850k| 1390k| 10600k| 2.8 | 897M| 54 | 7 | 60 |9009 | 60 | 17 | 18 |1580k|6084 | 0.000000e+00 | -- | Inf
846.54/846.80 c 847s| 3860k| 1393k| 10627k| 2.8 | 899M| 54 | 7 | 60 |8506 | 60 | 17 | 18 |1584k|6092 | 0.000000e+00 | -- | Inf
849.04/849.33 c 849s| 3870k| 1397k| 10655k| 2.8 | 901M| 54 | 7 | 60 |8888 | 60 | 17 | 18 |1588k|6095 | 0.000000e+00 | -- | Inf
851.54/851.85 c 852s| 3880k| 1400k| 10682k| 2.8 | 903M| 54 | - | 60 |8918 | 60 | 17 | 18 |1593k|6102 | 0.000000e+00 | -- | Inf
854.04/854.38 c 854s| 3890k| 1403k| 10711k| 2.8 | 905M| 54 | 7 | 60 |9699 | 60 | 17 | 18 |1597k|6109 | 0.000000e+00 | -- | Inf
856.34/856.69 c 857s| 3900k| 1407k| 10740k| 2.8 | 908M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |1601k|6116 | 0.000000e+00 | -- | Inf
858.93/859.20 c 859s| 3910k| 1410k| 10769k| 2.8 | 910M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |1605k|6122 | 0.000000e+00 | -- | Inf
861.53/861.89 c 862s| 3920k| 1413k| 10796k| 2.8 | 912M| 54 | 7 | 60 |9978 | 60 | 17 | 18 |1610k|6127 | 0.000000e+00 | -- | Inf
864.34/864.65 c 865s| 3930k| 1417k| 10824k| 2.8 | 914M| 54 | 7 | 60 |8817 | 60 | 17 | 18 |1614k|6136 | 0.000000e+00 | -- | Inf
866.93/867.21 c 867s| 3940k| 1419k| 10853k| 2.8 | 916M| 54 | - | 60 |9285 | 60 | 17 | 18 |1619k|6138 | 0.000000e+00 | -- | Inf
869.33/869.69 c 870s| 3950k| 1423k| 10882k| 2.8 | 919M| 54 | 7 | 60 |9434 | 60 | 17 | 18 |1623k|6138 | 0.000000e+00 | -- | Inf
872.04/872.34 c 872s| 3960k| 1426k| 10909k| 2.8 | 921M| 54 | 7 | 60 |9328 | 60 | 17 | 18 |1627k|6140 | 0.000000e+00 | -- | Inf
874.44/874.73 c 875s| 3970k| 1429k| 10938k| 2.8 | 923M| 54 | 7 | 60 |9992 | 60 | 17 | 18 |1632k|6144 | 0.000000e+00 | -- | Inf
877.23/877.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
877.23/877.59 c 878s| 3980k| 1432k| 10966k| 2.8 | 925M| 54 | - | 60 |8553 | 60 | 17 | 18 |1636k|6147 | 0.000000e+00 | -- | Inf
879.93/880.27 c 880s| 3990k| 1436k| 10993k| 2.8 | 927M| 54 | 7 | 60 |8611 | 60 | 17 | 18 |1640k|6150 | 0.000000e+00 | -- | Inf
882.63/882.96 c 883s| 4000k| 1438k| 11022k| 2.8 | 930M| 54 | 7 | 60 |8697 | 60 | 17 | 18 |1645k|6156 | 0.000000e+00 | -- | Inf
885.03/885.37 c 885s| 4010k| 1442k| 11050k| 2.8 | 932M| 54 | 7 | 60 |8738 | 60 | 17 | 18 |1649k|6159 | 0.000000e+00 | -- | Inf
887.63/887.96 c 888s| 4020k| 1445k| 11078k| 2.8 | 934M| 54 | - | 60 |9209 | 60 | 17 | 18 |1654k|6161 | 0.000000e+00 | -- | Inf
890.43/890.75 c 891s| 4030k| 1448k| 11106k| 2.8 | 936M| 54 | - | 60 |9029 | 60 | 17 | 18 |1658k|6163 | 0.000000e+00 | -- | Inf
893.02/893.36 c 893s| 4040k| 1451k| 11134k| 2.8 | 939M| 54 | 7 | 60 |9006 | 60 | 17 | 18 |1663k|6169 | 0.000000e+00 | -- | Inf
895.73/896.00 c 896s| 4050k| 1454k| 11161k| 2.8 | 941M| 54 | 7 | 60 |9043 | 60 | 17 | 18 |1667k|6175 | 0.000000e+00 | -- | Inf
898.23/898.55 c 899s| 4060k| 1458k| 11190k| 2.8 | 943M| 54 | 7 | 60 |8971 | 60 | 17 | 18 |1671k|6183 | 0.000000e+00 | -- | Inf
901.03/901.36 c 901s| 4070k| 1461k| 11218k| 2.8 | 945M| 54 | - | 60 |8437 | 60 | 17 | 18 |1676k|6190 | 0.000000e+00 | -- | Inf
903.53/903.88 c 904s| 4080k| 1464k| 11246k| 2.8 | 947M| 54 | 7 | 60 |8853 | 60 | 17 | 18 |1680k|6196 | 0.000000e+00 | -- | Inf
906.03/906.33 c 906s| 4090k| 1467k| 11274k| 2.8 | 950M| 54 | 7 | 60 |9218 | 60 | 17 | 18 |1685k|6208 | 0.000000e+00 | -- | Inf
908.42/908.70 c 909s| 4100k| 1471k| 11302k| 2.8 | 952M| 54 | 7 | 60 |9571 | 60 | 17 | 18 |1689k|6213 | 0.000000e+00 | -- | Inf
910.83/911.15 c 911s| 4110k| 1474k| 11330k| 2.8 | 954M| 54 | 7 | 60 |9828 | 60 | 17 | 18 |1693k|6220 | 0.000000e+00 | -- | Inf
913.52/913.88 c 914s| 4120k| 1478k| 11358k| 2.8 | 957M| 54 | 7 | 60 |9234 | 60 | 17 | 18 |1697k|6228 | 0.000000e+00 | -- | Inf
916.43/916.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
916.43/916.78 c 917s| 4130k| 1481k| 11386k| 2.8 | 959M| 54 | 7 | 60 |8424 | 60 | 17 | 18 |1702k|6235 | 0.000000e+00 | -- | Inf
918.93/919.26 c 919s| 4140k| 1484k| 11414k| 2.8 | 961M| 54 | 7 | 60 |9284 | 60 | 17 | 18 |1706k|6241 | 0.000000e+00 | -- | Inf
921.63/921.90 c 922s| 4150k| 1487k| 11441k| 2.8 | 963M| 54 | 7 | 60 |9196 | 60 | 17 | 18 |1710k|6245 | 0.000000e+00 | -- | Inf
924.12/924.44 c 924s| 4160k| 1491k| 11469k| 2.8 | 965M| 54 | 7 | 60 |9399 | 60 | 17 | 18 |1714k|6252 | 0.000000e+00 | -- | Inf
926.83/927.13 c 927s| 4170k| 1494k| 11497k| 2.8 | 968M| 54 | 7 | 60 |9207 | 60 | 17 | 18 |1719k|6258 | 0.000000e+00 | -- | Inf
929.52/929.80 c 930s| 4180k| 1497k| 11525k| 2.8 | 970M| 54 | 7 | 60 |8875 | 60 | 17 | 18 |1723k|6263 | 0.000000e+00 | -- | Inf
931.73/932.04 c 932s| 4190k| 1500k| 11552k| 2.8 | 972M| 54 | - | 60 | 10k| 60 | 17 | 18 |1728k|6272 | 0.000000e+00 | -- | Inf
934.22/934.51 c 935s| 4200k| 1503k| 11580k| 2.8 | 974M| 54 | - | 60 |9845 | 60 | 17 | 18 |1732k|6280 | 0.000000e+00 | -- | Inf
936.72/937.05 c 937s| 4210k| 1507k| 11607k| 2.8 | 977M| 54 | 7 | 60 |9815 | 60 | 17 | 18 |1736k|6288 | 0.000000e+00 | -- | Inf
939.52/939.87 c 940s| 4220k| 1510k| 11635k| 2.8 | 979M| 54 | 7 | 60 |8445 | 60 | 17 | 18 |1741k|6297 | 0.000000e+00 | -- | Inf
942.02/942.31 c 942s| 4230k| 1513k| 11663k| 2.8 | 981M| 54 | - | 60 |9273 | 60 | 17 | 18 |1745k|6302 | 0.000000e+00 | -- | Inf
944.12/944.49 c 944s| 4240k| 1516k| 11690k| 2.8 | 984M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |1750k|6302 | 0.000000e+00 | -- | Inf
947.12/947.45 c 947s| 4250k| 1519k| 11718k| 2.8 | 985M| 54 | 7 | 60 |9358 | 60 | 17 | 18 |1754k|6302 | 0.000000e+00 | -- | Inf
949.82/950.15 c 950s| 4260k| 1522k| 11745k| 2.8 | 988M| 54 | 7 | 60 |8947 | 60 | 17 | 18 |1758k|6303 | 0.000000e+00 | -- | Inf
952.22/952.57 c 953s| 4270k| 1526k| 11773k| 2.8 | 990M| 54 | - | 60 |9482 | 60 | 17 | 18 |1763k|6313 | 0.000000e+00 | -- | Inf
954.92/955.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
954.92/955.24 c 955s| 4280k| 1529k| 11801k| 2.8 | 992M| 54 | 7 | 60 |8812 | 60 | 17 | 18 |1767k|6319 | 0.000000e+00 | -- | Inf
957.52/957.88 c 958s| 4290k| 1533k| 11828k| 2.8 | 994M| 54 | - | 60 |8229 | 60 | 17 | 18 |1771k|6326 | 0.000000e+00 | -- | Inf
959.93/960.24 c 960s| 4300k| 1536k| 11855k| 2.8 | 997M| 54 | - | 60 |9446 | 60 | 17 | 18 |1776k|6337 | 0.000000e+00 | -- | Inf
962.23/962.58 c 963s| 4310k| 1539k| 11882k| 2.8 | 999M| 54 | - | 60 |9939 | 60 | 17 | 18 |1780k|6340 | 0.000000e+00 | -- | Inf
964.92/965.22 c 965s| 4320k| 1542k| 11910k| 2.8 |1001M| 54 | - | 60 |9570 | 60 | 17 | 18 |1784k|6344 | 0.000000e+00 | -- | Inf
967.42/967.79 c 968s| 4330k| 1546k| 11938k| 2.8 |1003M| 54 | - | 60 |9452 | 60 | 17 | 18 |1788k|6347 | 0.000000e+00 | -- | Inf
970.21/970.51 c 971s| 4340k| 1549k| 11966k| 2.8 |1006M| 54 | 7 | 60 |9217 | 60 | 17 | 18 |1793k|6354 | 0.000000e+00 | -- | Inf
972.91/973.25 c 973s| 4350k| 1552k| 11994k| 2.8 |1008M| 54 | 7 | 60 |9305 | 60 | 17 | 18 |1798k|6357 | 0.000000e+00 | -- | Inf
975.52/975.89 c 976s| 4360k| 1555k| 12022k| 2.8 |1010M| 54 | 7 | 60 |8850 | 60 | 17 | 18 |1802k|6360 | 0.000000e+00 | -- | Inf
977.92/978.29 c 978s| 4370k| 1558k| 12050k| 2.8 |1012M| 54 | 7 | 60 |9253 | 60 | 17 | 18 |1806k|6369 | 0.000000e+00 | -- | Inf
980.71/981.00 c 981s| 4380k| 1561k| 12078k| 2.8 |1014M| 54 | 7 | 60 |8450 | 60 | 17 | 18 |1810k|6370 | 0.000000e+00 | -- | Inf
983.52/983.87 c 984s| 4390k| 1564k| 12106k| 2.8 |1016M| 54 | 7 | 60 |8236 | 60 | 17 | 18 |1815k|6376 | 0.000000e+00 | -- | Inf
986.21/986.53 c 987s| 4400k| 1567k| 12134k| 2.8 |1019M| 54 | 7 | 60 |8508 | 60 | 17 | 18 |1820k|6379 | 0.000000e+00 | -- | Inf
988.72/989.06 c 989s| 4410k| 1571k| 12161k| 2.8 |1021M| 54 | - | 60 |9188 | 60 | 17 | 18 |1824k|6383 | 0.000000e+00 | -- | Inf
990.91/991.20 c 991s| 4420k| 1574k| 12188k| 2.8 |1023M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |1828k|6393 | 0.000000e+00 | -- | Inf
993.51/993.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
993.51/993.84 c 994s| 4430k| 1578k| 12215k| 2.8 |1026M| 54 | 7 | 60 |9789 | 60 | 17 | 18 |1832k|6407 | 0.000000e+00 | -- | Inf
995.91/996.27 c 996s| 4440k| 1581k| 12243k| 2.8 |1028M| 54 | - | 60 | 10k| 60 | 17 | 18 |1836k|6414 | 0.000000e+00 | -- | Inf
998.62/998.98 c 999s| 4450k| 1584k| 12271k| 2.8 |1030M| 54 | 7 | 60 |9516 | 60 | 17 | 18 |1841k|6419 | 0.000000e+00 | -- | Inf
1001.01/1001.37 c 1001s| 4460k| 1587k| 12298k| 2.8 |1032M| 54 | 7 | 60 |9956 | 60 | 17 | 18 |1845k|6426 | 0.000000e+00 | -- | Inf
1003.61/1003.99 c 1004s| 4470k| 1591k| 12327k| 2.8 |1034M| 54 | - | 60 |9290 | 60 | 17 | 18 |1849k|6431 | 0.000000e+00 | -- | Inf
1005.91/1006.22 c 1006s| 4480k| 1594k| 12355k| 2.8 |1037M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |1854k|6435 | 0.000000e+00 | -- | Inf
1008.61/1008.95 c 1009s| 4490k| 1597k| 12383k| 2.8 |1039M| 54 | - | 60 |8894 | 60 | 17 | 18 |1858k|6436 | 0.000000e+00 | -- | Inf
1011.21/1011.51 c 1012s| 4500k| 1601k| 12410k| 2.8 |1041M| 54 | 7 | 60 |9050 | 60 | 17 | 18 |1862k|6442 | 0.000000e+00 | -- | Inf
1013.31/1013.63 c 1014s| 4510k| 1604k| 12438k| 2.8 |1044M| 54 | - | 60 | 10k| 60 | 17 | 18 |1867k|6443 | 0.000000e+00 | -- | Inf
1016.21/1016.59 c 1017s| 4520k| 1607k| 12466k| 2.8 |1046M| 54 | 7 | 60 |9167 | 60 | 17 | 18 |1871k|6445 | 0.000000e+00 | -- | Inf
1019.01/1019.30 c 1019s| 4530k| 1610k| 12494k| 2.8 |1048M| 54 | - | 60 |8708 | 60 | 17 | 18 |1875k|6449 | 0.000000e+00 | -- | Inf
1021.52/1021.85 c 1022s| 4540k| 1613k| 12522k| 2.8 |1050M| 54 | 7 | 60 |9222 | 60 | 17 | 18 |1880k|6456 | 0.000000e+00 | -- | Inf
1024.01/1024.35 c 1024s| 4550k| 1617k| 12550k| 2.8 |1052M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |1884k|6463 | 0.000000e+00 | -- | Inf
1026.71/1027.08 c 1027s| 4560k| 1620k| 12579k| 2.8 |1055M| 54 | 7 | 60 |9769 | 60 | 17 | 18 |1889k|6470 | 0.000000e+00 | -- | Inf
1029.50/1029.81 c 1030s| 4570k| 1623k| 12607k| 2.8 |1057M| 54 | 7 | 60 |9485 | 60 | 17 | 18 |1893k|6478 | 0.000000e+00 | -- | Inf
1032.31/1032.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1032.31/1032.65 c 1033s| 4580k| 1626k| 12634k| 2.8 |1059M| 54 | 7 | 60 |8827 | 60 | 17 | 18 |1898k|6483 | 0.000000e+00 | -- | Inf
1035.00/1035.32 c 1035s| 4590k| 1629k| 12663k| 2.8 |1061M| 54 | 7 | 60 |9416 | 60 | 17 | 18 |1902k|6491 | 0.000000e+00 | -- | Inf
1037.91/1038.26 c 1038s| 4600k| 1632k| 12691k| 2.8 |1063M| 54 | 7 | 60 |9093 | 60 | 17 | 18 |1907k|6499 | 0.000000e+00 | -- | Inf
1040.51/1040.83 c 1041s| 4610k| 1635k| 12720k| 2.8 |1065M| 54 | 7 | 60 |9853 | 60 | 17 | 18 |1911k|6505 | 0.000000e+00 | -- | Inf
1043.31/1043.67 c 1044s| 4620k| 1638k| 12747k| 2.8 |1067M| 54 | 7 | 60 |9013 | 60 | 17 | 18 |1916k|6509 | 0.000000e+00 | -- | Inf
1045.81/1046.14 c 1046s| 4630k| 1641k| 12776k| 2.8 |1070M| 54 | 7 | 60 |9128 | 60 | 17 | 18 |1920k|6514 | 0.000000e+00 | -- | Inf
1047.91/1048.22 c 1048s| 4640k| 1645k| 12803k| 2.8 |1072M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |1924k|6528 | 0.000000e+00 | -- | Inf
1050.11/1050.46 c 1050s| 4650k| 1649k| 12830k| 2.8 |1075M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |1928k|6534 | 0.000000e+00 | -- | Inf
1052.41/1052.73 c 1053s| 4660k| 1652k| 12856k| 2.8 |1077M| 54 | - | 60 | 10k| 60 | 17 | 18 |1933k|6539 | 0.000000e+00 | -- | Inf
1054.61/1054.95 c 1055s| 4670k| 1656k| 12883k| 2.8 |1079M| 54 | - | 60 | 10k| 60 | 17 | 18 |1937k|6544 | 0.000000e+00 | -- | Inf
1056.81/1057.15 c 1057s| 4680k| 1659k| 12909k| 2.8 |1082M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |1941k|6546 | 0.000000e+00 | -- | Inf
1059.21/1059.51 c 1060s| 4690k| 1662k| 12936k| 2.8 |1084M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |1945k|6551 | 0.000000e+00 | -- | Inf
1061.50/1061.81 c 1062s| 4700k| 1666k| 12962k| 2.8 |1086M| 54 | - | 60 | 10k| 60 | 17 | 18 |1949k|6557 | 0.000000e+00 | -- | Inf
1063.60/1063.96 c 1064s| 4710k| 1670k| 12988k| 2.8 |1089M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |1953k|6558 | 0.000000e+00 | -- | Inf
1066.00/1066.30 c 1066s| 4720k| 1673k| 13015k| 2.8 |1091M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |1957k|6558 | 0.000000e+00 | -- | Inf
1068.41/1068.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1068.41/1068.73 c 1069s| 4730k| 1677k| 13042k| 2.8 |1093M| 54 | - | 60 | 11k| 60 | 17 | 18 |1962k|6558 | 0.000000e+00 | -- | Inf
1070.90/1071.28 c 1071s| 4740k| 1680k| 13069k| 2.8 |1096M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |1966k|6558 | 0.000000e+00 | -- | Inf
1074.00/1074.33 c 1074s| 4750k| 1683k| 13097k| 2.8 |1097M| 54 | 7 | 60 |9086 | 60 | 17 | 18 |1971k|6558 | 0.000000e+00 | -- | Inf
1076.80/1077.13 c 1077s| 4760k| 1686k| 13126k| 2.8 |1099M| 54 | 7 | 60 |9026 | 60 | 17 | 18 |1975k|6558 | 0.000000e+00 | -- | Inf
1079.50/1079.88 c 1080s| 4770k| 1689k| 13154k| 2.8 |1102M| 54 | - | 60 |9329 | 60 | 17 | 18 |1980k|6558 | 0.000000e+00 | -- | Inf
1082.40/1082.73 c 1083s| 4780k| 1692k| 13182k| 2.8 |1104M| 54 | 7 | 60 |9071 | 60 | 17 | 18 |1984k|6558 | 0.000000e+00 | -- | Inf
1084.70/1085.00 c 1085s| 4790k| 1695k| 13210k| 2.8 |1106M| 54 | - | 60 | 10k| 60 | 17 | 18 |1988k|6558 | 0.000000e+00 | -- | Inf
1087.30/1087.63 c 1088s| 4800k| 1698k| 13238k| 2.8 |1108M| 54 | 7 | 60 |9845 | 60 | 17 | 18 |1993k|6558 | 0.000000e+00 | -- | Inf
1090.00/1090.37 c 1090s| 4810k| 1701k| 13266k| 2.8 |1111M| 54 | - | 60 |9586 | 60 | 17 | 18 |1997k|6558 | 0.000000e+00 | -- | Inf
1092.80/1093.16 c 1093s| 4820k| 1705k| 13294k| 2.8 |1113M| 54 | 7 | 60 |8955 | 60 | 17 | 18 |2001k|6558 | 0.000000e+00 | -- | Inf
1095.49/1095.83 c 1096s| 4830k| 1708k| 13322k| 2.8 |1115M| 54 | 7 | 60 |8761 | 60 | 17 | 18 |2006k|6558 | 0.000000e+00 | -- | Inf
1097.90/1098.28 c 1098s| 4840k| 1711k| 13350k| 2.8 |1117M| 54 | 7 | 60 |9625 | 60 | 17 | 18 |2010k|6558 | 0.000000e+00 | -- | Inf
1100.30/1100.61 c 1101s| 4850k| 1715k| 13378k| 2.8 |1120M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2014k|6558 | 0.000000e+00 | -- | Inf
1102.50/1102.84 c 1103s| 4860k| 1718k| 13406k| 2.8 |1122M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |2019k|6560 | 0.000000e+00 | -- | Inf
1104.90/1105.24 c 1105s| 4870k| 1721k| 13435k| 2.8 |1125M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |2023k|6566 | 0.000000e+00 | -- | Inf
1107.80/1108.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1107.80/1108.17 c 1108s| 4880k| 1725k| 13462k| 2.8 |1126M| 54 | 7 | 60 |9202 | 60 | 17 | 18 |2028k|6568 | 0.000000e+00 | -- | Inf
1110.49/1110.90 c 1111s| 4890k| 1728k| 13490k| 2.8 |1128M| 54 | - | 60 |9045 | 60 | 17 | 18 |2032k|6571 | 0.000000e+00 | -- | Inf
1113.29/1113.65 c 1114s| 4900k| 1731k| 13518k| 2.8 |1131M| 54 | 7 | 60 |9009 | 60 | 17 | 18 |2036k|6574 | 0.000000e+00 | -- | Inf
1116.10/1116.45 c 1116s| 4910k| 1734k| 13546k| 2.8 |1133M| 54 | 7 | 60 |8445 | 60 | 17 | 18 |2041k|6578 | 0.000000e+00 | -- | Inf
1118.79/1119.14 c 1119s| 4920k| 1737k| 13575k| 2.8 |1135M| 54 | 7 | 60 |8767 | 60 | 17 | 18 |2045k|6582 | 0.000000e+00 | -- | Inf
1121.49/1121.81 c 1122s| 4930k| 1740k| 13603k| 2.8 |1137M| 54 | - | 60 |8803 | 60 | 17 | 18 |2050k|6589 | 0.000000e+00 | -- | Inf
1123.99/1124.34 c 1124s| 4940k| 1743k| 13632k| 2.8 |1140M| 54 | 7 | 60 |9627 | 60 | 17 | 18 |2054k|6593 | 0.000000e+00 | -- | Inf
1126.59/1126.92 c 1127s| 4950k| 1746k| 13659k| 2.8 |1142M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2059k|6599 | 0.000000e+00 | -- | Inf
1129.30/1129.63 c 1130s| 4960k| 1749k| 13687k| 2.8 |1144M| 54 | - | 60 |9195 | 60 | 17 | 18 |2063k|6606 | 0.000000e+00 | -- | Inf
1131.89/1132.26 c 1132s| 4970k| 1752k| 13715k| 2.8 |1146M| 54 | - | 60 |8467 | 60 | 17 | 18 |2067k|6612 | 0.000000e+00 | -- | Inf
1134.49/1134.86 c 1135s| 4980k| 1755k| 13744k| 2.8 |1148M| 54 | 7 | 60 |8416 | 60 | 17 | 18 |2072k|6620 | 0.000000e+00 | -- | Inf
1137.39/1137.75 c 1138s| 4990k| 1758k| 13772k| 2.8 |1150M| 54 | 7 | 60 |7608 | 60 | 17 | 18 |2077k|6623 | 0.000000e+00 | -- | Inf
1139.69/1140.09 c 1140s| 5000k| 1762k| 13799k| 2.8 |1153M| 54 | 7 | 60 |8558 | 60 | 17 | 18 |2081k|6627 | 0.000000e+00 | -- | Inf
1142.18/1142.59 c 1143s| 5010k| 1765k| 13827k| 2.8 |1155M| 54 | 7 | 60 |8340 | 60 | 17 | 18 |2085k|6634 | 0.000000e+00 | -- | Inf
1144.79/1145.13 c 1145s| 5020k| 1768k| 13856k| 2.8 |1157M| 54 | 7 | 60 |8911 | 60 | 17 | 18 |2090k|6636 | 0.000000e+00 | -- | Inf
1147.58/1147.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1147.58/1147.90 c 1148s| 5030k| 1771k| 13884k| 2.8 |1159M| 54 | 7 | 60 |8835 | 60 | 17 | 18 |2094k|6638 | 0.000000e+00 | -- | Inf
1150.58/1150.93 c 1151s| 5040k| 1774k| 13912k| 2.8 |1161M| 54 | 7 | 60 |8253 | 60 | 17 | 18 |2099k|6643 | 0.000000e+00 | -- | Inf
1153.29/1153.60 c 1154s| 5050k| 1777k| 13941k| 2.8 |1163M| 54 | 7 | 60 |8382 | 60 | 17 | 18 |2103k|6645 | 0.000000e+00 | -- | Inf
1155.98/1156.36 c 1156s| 5060k| 1780k| 13970k| 2.8 |1166M| 54 | 7 | 60 |7990 | 60 | 17 | 18 |2108k|6649 | 0.000000e+00 | -- | Inf
1158.58/1158.99 c 1159s| 5070k| 1783k| 13998k| 2.8 |1168M| 54 | - | 60 |8854 | 60 | 17 | 18 |2112k|6654 | 0.000000e+00 | -- | Inf
1161.29/1161.64 c 1162s| 5080k| 1786k| 14026k| 2.8 |1170M| 54 | 7 | 60 |9249 | 60 | 17 | 18 |2116k|6657 | 0.000000e+00 | -- | Inf
1163.88/1164.29 c 1164s| 5090k| 1789k| 14054k| 2.8 |1172M| 54 | 7 | 60 |9443 | 60 | 17 | 18 |2121k|6662 | 0.000000e+00 | -- | Inf
1166.58/1166.98 c 1167s| 5100k| 1792k| 14082k| 2.8 |1175M| 54 | 7 | 60 |9057 | 60 | 17 | 18 |2125k|6667 | 0.000000e+00 | -- | Inf
1169.28/1169.67 c 1170s| 5110k| 1795k| 14111k| 2.8 |1177M| 54 | 7 | 60 |9733 | 60 | 17 | 18 |2130k|6674 | 0.000000e+00 | -- | Inf
1171.88/1172.29 c 1172s| 5120k| 1798k| 14138k| 2.8 |1179M| 54 | 7 | 60 |9694 | 60 | 17 | 18 |2134k|6676 | 0.000000e+00 | -- | Inf
1174.48/1174.84 c 1175s| 5130k| 1802k| 14166k| 2.8 |1181M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2139k|6679 | 0.000000e+00 | -- | Inf
1177.08/1177.40 c 1177s| 5140k| 1805k| 14196k| 2.8 |1184M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2143k|6683 | 0.000000e+00 | -- | Inf
1179.88/1180.26 c 1180s| 5150k| 1808k| 14223k| 2.8 |1186M| 54 | - | 60 |9501 | 0 | 0 | 18 |2148k|6683 | 0.000000e+00 | -- | Inf
1182.57/1182.91 c 1183s| 5160k| 1811k| 14251k| 2.8 |1188M| 54 | 7 | 60 |9363 | 60 | 17 | 18 |2152k|6686 | 0.000000e+00 | -- | Inf
1185.48/1185.88 c 1186s| 5170k| 1814k| 14279k| 2.8 |1190M| 54 | - | 60 |8939 | 60 | 17 | 18 |2157k|6690 | 0.000000e+00 | -- | Inf
1188.27/1188.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1188.27/1188.67 c 1189s| 5180k| 1817k| 14307k| 2.8 |1192M| 54 | 7 | 60 |8351 | 60 | 17 | 18 |2161k|6696 | 0.000000e+00 | -- | Inf
1190.77/1191.15 c 1191s| 5190k| 1820k| 14337k| 2.8 |1194M| 54 | - | 60 |9328 | 60 | 17 | 18 |2166k|6700 | 0.000000e+00 | -- | Inf
1193.57/1193.94 c 1194s| 5200k| 1823k| 14364k| 2.8 |1197M| 54 | 7 | 60 |9191 | 60 | 17 | 18 |2170k|6703 | 0.000000e+00 | -- | Inf
1196.07/1196.43 c 1196s| 5210k| 1826k| 14393k| 2.8 |1199M| 54 | - | 60 |9868 | 0 | 0 | 18 |2175k|6707 | 0.000000e+00 | -- | Inf
1198.67/1199.03 c 1199s| 5220k| 1829k| 14420k| 2.8 |1201M| 54 | 7 | 60 |9799 | 60 | 17 | 18 |2179k|6707 | 0.000000e+00 | -- | Inf
1200.97/1201.39 c 1201s| 5230k| 1832k| 14449k| 2.8 |1204M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |2184k|6710 | 0.000000e+00 | -- | Inf
1203.67/1204.01 c 1204s| 5240k| 1834k| 14477k| 2.8 |1206M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2189k|6713 | 0.000000e+00 | -- | Inf
1206.38/1206.77 c 1207s| 5250k| 1838k| 14505k| 2.8 |1208M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2193k|6717 | 0.000000e+00 | -- | Inf
1208.97/1209.39 c 1209s| 5260k| 1841k| 14533k| 2.8 |1210M| 54 | 7 | 60 |9773 | 60 | 17 | 18 |2198k|6719 | 0.000000e+00 | -- | Inf
1211.77/1212.11 c 1212s| 5270k| 1844k| 14561k| 2.8 |1212M| 54 | 7 | 60 |9249 | 60 | 17 | 18 |2202k|6721 | 0.000000e+00 | -- | Inf
1214.26/1214.61 c 1215s| 5280k| 1847k| 14590k| 2.8 |1214M| 54 | 7 | 60 |9826 | 60 | 17 | 18 |2206k|6722 | 0.000000e+00 | -- | Inf
1216.66/1217.09 c 1217s| 5290k| 1851k| 14617k| 2.8 |1217M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2210k|6726 | 0.000000e+00 | -- | Inf
1219.16/1219.59 c 1220s| 5300k| 1854k| 14645k| 2.8 |1219M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2214k|6733 | 0.000000e+00 | -- | Inf
1222.07/1222.43 c 1222s| 5310k| 1858k| 14673k| 2.8 |1221M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2219k|6735 | 0.000000e+00 | -- | Inf
1224.97/1225.31 c 1225s| 5320k| 1861k| 14701k| 2.8 |1223M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2223k|6741 | 0.000000e+00 | -- | Inf
1227.96/1228.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1227.96/1228.32 c 1228s| 5330k| 1864k| 14729k| 2.8 |1225M| 54 | 7 | 60 |8990 | 60 | 17 | 18 |2228k|6744 | 0.000000e+00 | -- | Inf
1230.57/1230.91 c 1231s| 5340k| 1867k| 14757k| 2.8 |1227M| 54 | 7 | 60 |8923 | 60 | 17 | 18 |2232k|6747 | 0.000000e+00 | -- | Inf
1233.26/1233.62 c 1234s| 5350k| 1870k| 14784k| 2.8 |1230M| 54 | 7 | 60 |9043 | 60 | 17 | 18 |2237k|6747 | 0.000000e+00 | -- | Inf
1235.76/1236.10 c 1236s| 5360k| 1873k| 14812k| 2.8 |1232M| 54 | 7 | 60 |9628 | 60 | 17 | 18 |2241k|6747 | 0.000000e+00 | -- | Inf
1237.86/1238.29 c 1238s| 5370k| 1877k| 14839k| 2.8 |1234M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2245k|6747 | 0.000000e+00 | -- | Inf
1240.66/1241.00 c 1241s| 5380k| 1880k| 14868k| 2.8 |1236M| 54 | 7 | 60 |9689 | 60 | 17 | 18 |2249k|6747 | 0.000000e+00 | -- | Inf
1243.26/1243.60 c 1244s| 5390k| 1883k| 14897k| 2.8 |1239M| 54 | - | 60 |9924 | 60 | 17 | 18 |2254k|6747 | 0.000000e+00 | -- | Inf
1245.35/1245.75 c 1246s| 5400k| 1887k| 14923k| 2.8 |1241M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2258k|6748 | 0.000000e+00 | -- | Inf
1247.66/1248.00 c 1248s| 5410k| 1890k| 14950k| 2.8 |1244M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |2262k|6749 | 0.000000e+00 | -- | Inf
1249.96/1250.37 c 1250s| 5420k| 1894k| 14977k| 2.8 |1246M| 54 | - | 60 | 11k| 60 | 17 | 18 |2266k|6750 | 0.000000e+00 | -- | Inf
1252.57/1252.92 c 1253s| 5430k| 1897k| 15004k| 2.8 |1248M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2271k|6750 | 0.000000e+00 | -- | Inf
1255.16/1255.53 c 1256s| 5440k| 1900k| 15032k| 2.8 |1250M| 54 | - | 60 | 10k| 60 | 17 | 18 |2275k|6750 | 0.000000e+00 | -- | Inf
1257.96/1258.34 c 1258s| 5450k| 1903k| 15060k| 2.8 |1252M| 54 | 7 | 60 |9445 | 60 | 17 | 18 |2279k|6750 | 0.000000e+00 | -- | Inf
1260.66/1261.04 c 1261s| 5460k| 1906k| 15088k| 2.8 |1254M| 54 | 7 | 60 |9526 | 60 | 17 | 18 |2284k|6752 | 0.000000e+00 | -- | Inf
1263.06/1263.47 c 1263s| 5470k| 1909k| 15115k| 2.8 |1257M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2288k|6756 | 0.000000e+00 | -- | Inf
1266.05/1266.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1266.05/1266.47 c 1266s| 5480k| 1912k| 15143k| 2.8 |1259M| 54 | - | 60 |9186 | 60 | 17 | 18 |2293k|6759 | 0.000000e+00 | -- | Inf
1268.45/1268.86 c 1269s| 5490k| 1916k| 15171k| 2.8 |1261M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2297k|6761 | 0.000000e+00 | -- | Inf
1270.75/1271.17 c 1271s| 5500k| 1920k| 15200k| 2.8 |1264M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |2301k|6766 | 0.000000e+00 | -- | Inf
1273.55/1273.94 c 1274s| 5510k| 1923k| 15228k| 2.8 |1266M| 54 | - | 60 | 10k| 0 | 0 | 18 |2305k|6771 | 0.000000e+00 | -- | Inf
1275.85/1276.23 c 1276s| 5520k| 1926k| 15257k| 2.8 |1268M| 54 | 7 | 60 | 12k| 60 | 17 | 18 |2310k|6773 | 0.000000e+00 | -- | Inf
1278.75/1279.14 c 1279s| 5530k| 1929k| 15285k| 2.8 |1270M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2314k|6776 | 0.000000e+00 | -- | Inf
1281.45/1281.80 c 1282s| 5540k| 1933k| 15314k| 2.8 |1272M| 54 | 7 | 60 |9644 | 60 | 17 | 18 |2318k|6777 | 0.000000e+00 | -- | Inf
1283.45/1283.86 c 1284s| 5550k| 1937k| 15342k| 2.8 |1275M| 54 | - | 60 | 11k| 60 | 17 | 18 |2322k|6782 | 0.000000e+00 | -- | Inf
1285.95/1286.36 c 1286s| 5560k| 1940k| 15371k| 2.8 |1277M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |2326k|6788 | 0.000000e+00 | -- | Inf
1289.04/1289.43 c 1289s| 5570k| 1943k| 15400k| 2.8 |1279M| 54 | - | 60 | 10k| 60 | 17 | 18 |2330k|6795 | 0.000000e+00 | -- | Inf
1292.05/1292.47 c 1292s| 5580k| 1946k| 15428k| 2.8 |1281M| 54 | 7 | 60 |9916 | 60 | 17 | 18 |2335k|6804 | 0.000000e+00 | -- | Inf
1294.75/1295.17 c 1295s| 5590k| 1949k| 15458k| 2.8 |1284M| 54 | - | 60 | 10k| 60 | 17 | 18 |2340k|6806 | 0.000000e+00 | -- | Inf
1297.65/1298.09 c 1298s| 5600k| 1952k| 15486k| 2.8 |1286M| 54 | 7 | 60 |9442 | 60 | 17 | 18 |2344k|6808 | 0.000000e+00 | -- | Inf
1299.75/1300.16 c 1300s| 5610k| 1956k| 15513k| 2.8 |1288M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |2348k|6811 | 0.000000e+00 | -- | Inf
1302.04/1302.46 c 1302s| 5620k| 1960k| 15539k| 2.8 |1291M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |2352k|6816 | 0.000000e+00 | -- | Inf
1304.84/1305.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1304.84/1305.26 c 1305s| 5630k| 1963k| 15566k| 2.8 |1293M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2356k|6819 | 0.000000e+00 | -- | Inf
1307.23/1307.69 c 1308s| 5640k| 1967k| 15595k| 2.8 |1295M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2360k|6822 | 0.000000e+00 | -- | Inf
1309.54/1309.99 c 1310s| 5650k| 1970k| 15624k| 2.8 |1298M| 54 | 7 | 60 | 12k| 60 | 17 | 18 |2365k|6823 | 0.000000e+00 | -- | Inf
1312.13/1312.51 c 1313s| 5660k| 1974k| 15651k| 2.8 |1300M| 54 | - | 60 | 12k| 0 | 0 | 18 |2369k|6825 | 0.000000e+00 | -- | Inf
1314.63/1315.07 c 1315s| 5670k| 1977k| 15680k| 2.8 |1303M| 54 | 7 | 60 | 13k| 60 | 17 | 18 |2374k|6828 | 0.000000e+00 | -- | Inf
1317.44/1317.85 c 1318s| 5680k| 1980k| 15709k| 2.8 |1305M| 54 | 7 | 60 | 12k| 60 | 17 | 18 |2378k|6830 | 0.000000e+00 | -- | Inf
1320.53/1320.95 c 1321s| 5690k| 1983k| 15737k| 2.8 |1307M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2383k|6833 | 0.000000e+00 | -- | Inf
1323.64/1324.07 c 1324s| 5700k| 1986k| 15765k| 2.8 |1309M| 54 | - | 60 |9592 | 60 | 17 | 18 |2387k|6839 | 0.000000e+00 | -- | Inf
1326.13/1326.60 c 1327s| 5710k| 1989k| 15794k| 2.8 |1311M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2392k|6840 | 0.000000e+00 | -- | Inf
1328.93/1329.35 c 1329s| 5720k| 1992k| 15822k| 2.8 |1313M| 54 | - | 60 | 10k| 60 | 17 | 18 |2396k|6843 | 0.000000e+00 | -- | Inf
1331.53/1331.97 c 1332s| 5730k| 1995k| 15851k| 2.8 |1316M| 54 | - | 60 | 11k| 0 | 0 | 18 |2401k|6846 | 0.000000e+00 | -- | Inf
1334.33/1334.70 c 1335s| 5740k| 1998k| 15880k| 2.8 |1318M| 54 | - | 60 | 11k| 60 | 17 | 18 |2405k|6847 | 0.000000e+00 | -- | Inf
1336.53/1336.91 c 1337s| 5750k| 2002k| 15909k| 2.8 |1320M| 54 | 7 | 60 | 12k| 60 | 17 | 18 |2409k|6848 | 0.000000e+00 | -- | Inf
1339.23/1339.66 c 1340s| 5760k| 2005k| 15937k| 2.8 |1322M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |2414k|6853 | 0.000000e+00 | -- | Inf
1342.53/1342.93 c 1343s| 5770k| 2008k| 15965k| 2.8 |1324M| 54 | - | 60 | 10k| 60 | 17 | 18 |2418k|6856 | 0.000000e+00 | -- | Inf
1345.53/1345.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1345.53/1345.98 c 1346s| 5780k| 2011k| 15993k| 2.8 |1326M| 54 | - | 60 |9896 | 0 | 0 | 18 |2423k|6858 | 0.000000e+00 | -- | Inf
1347.92/1348.36 c 1348s| 5790k| 2014k| 16022k| 2.8 |1329M| 54 | - | 60 | 11k| 60 | 17 | 18 |2427k|6864 | 0.000000e+00 | -- | Inf
1350.83/1351.24 c 1351s| 5800k| 2017k| 16050k| 2.8 |1331M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2432k|6869 | 0.000000e+00 | -- | Inf
1353.42/1353.88 c 1354s| 5810k| 2020k| 16079k| 2.8 |1333M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2436k|6874 | 0.000000e+00 | -- | Inf
1356.53/1356.94 c 1357s| 5820k| 2023k| 16108k| 2.8 |1335M| 54 | 7 | 60 |9414 | 60 | 17 | 18 |2441k|6876 | 0.000000e+00 | -- | Inf
1358.92/1359.39 c 1359s| 5830k| 2026k| 16135k| 2.8 |1338M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2445k|6883 | 0.000000e+00 | -- | Inf
1361.82/1362.22 c 1362s| 5840k| 2029k| 16164k| 2.8 |1340M| 54 | - | 60 |9940 | 60 | 17 | 18 |2450k|6891 | 0.000000e+00 | -- | Inf
1364.12/1364.58 c 1365s| 5850k| 2033k| 16190k| 2.8 |1342M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2454k|6895 | 0.000000e+00 | -- | Inf
1366.42/1366.82 c 1367s| 5860k| 2036k| 16216k| 2.8 |1344M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |2458k|6897 | 0.000000e+00 | -- | Inf
1369.62/1370.06 c 1370s| 5870k| 2039k| 16244k| 2.8 |1346M| 54 | 7 | 60 |9076 | 60 | 17 | 18 |2462k|6899 | 0.000000e+00 | -- | Inf
1372.52/1372.94 c 1373s| 5880k| 2042k| 16273k| 2.8 |1348M| 54 | 7 | 60 |8830 | 60 | 17 | 18 |2467k|6899 | 0.000000e+00 | -- | Inf
1375.22/1375.61 c 1376s| 5890k| 2045k| 16301k| 2.8 |1351M| 54 | - | 60 |9519 | 60 | 17 | 18 |2471k|6902 | 0.000000e+00 | -- | Inf
1377.51/1377.94 c 1378s| 5900k| 2048k| 16331k| 2.8 |1353M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |2476k|6903 | 0.000000e+00 | -- | Inf
1380.32/1380.70 c 1381s| 5910k| 2051k| 16360k| 2.8 |1355M| 54 | - | 60 | 10k| 60 | 17 | 18 |2480k|6907 | 0.000000e+00 | -- | Inf
1382.52/1382.96 c 1383s| 5920k| 2055k| 16388k| 2.8 |1358M| 54 | - | 60 | 10k| 60 | 17 | 18 |2484k|6907 | 0.000000e+00 | -- | Inf
1385.31/1385.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1385.31/1385.75 c 1386s| 5930k| 2058k| 16415k| 2.8 |1360M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2489k|6907 | 0.000000e+00 | -- | Inf
1387.61/1388.05 c 1388s| 5940k| 2061k| 16443k| 2.8 |1362M| 54 | - | 60 | 11k| 60 | 17 | 18 |2493k|6907 | 0.000000e+00 | -- | Inf
1390.31/1390.71 c 1391s| 5950k| 2065k| 16470k| 2.8 |1365M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |2497k|6907 | 0.000000e+00 | -- | Inf
1393.01/1393.41 c 1393s| 5960k| 2068k| 16498k| 2.8 |1367M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |2502k|6907 | 0.000000e+00 | -- | Inf
1395.91/1396.30 c 1396s| 5970k| 2071k| 16526k| 2.8 |1369M| 54 | - | 60 | 10k| 60 | 17 | 18 |2507k|6907 | 0.000000e+00 | -- | Inf
1398.72/1399.20 c 1399s| 5980k| 2074k| 16554k| 2.8 |1371M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2511k|6907 | 0.000000e+00 | -- | Inf
1401.51/1401.98 c 1402s| 5990k| 2077k| 16582k| 2.8 |1373M| 54 | - | 60 | 10k| 60 | 17 | 18 |2515k|6907 | 0.000000e+00 | -- | Inf
1404.51/1404.91 c 1405s| 6000k| 2080k| 16610k| 2.8 |1375M| 54 | - | 60 |9377 | 60 | 17 | 18 |2520k|6908 | 0.000000e+00 | -- | Inf
1406.60/1407.05 c 1407s| 6010k| 2084k| 16638k| 2.8 |1378M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2524k|6908 | 0.000000e+00 | -- | Inf
1409.11/1409.55 c 1410s| 6020k| 2088k| 16666k| 2.8 |1380M| 54 | - | 60 | 11k| 60 | 17 | 18 |2528k|6908 | 0.000000e+00 | -- | Inf
1412.11/1412.50 c 1413s| 6030k| 2091k| 16694k| 2.8 |1382M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2532k|6909 | 0.000000e+00 | -- | Inf
1414.71/1415.15 c 1415s| 6040k| 2094k| 16723k| 2.8 |1385M| 54 | - | 60 | 10k| 60 | 17 | 18 |2537k|6914 | 0.000000e+00 | -- | Inf
1417.11/1417.57 c 1418s| 6050k| 2098k| 16750k| 2.8 |1387M| 54 | - | 60 | 11k| 60 | 17 | 18 |2541k|6920 | 0.000000e+00 | -- | Inf
1420.00/1420.43 c 1420s| 6060k| 2100k| 16779k| 2.8 |1389M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2546k|6925 | 0.000000e+00 | -- | Inf
1422.60/1423.07 c 1423s| 6070k| 2103k| 16807k| 2.8 |1391M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |2550k|6929 | 0.000000e+00 | -- | Inf
1425.60/1426.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1425.60/1426.02 c 1426s| 6080k| 2106k| 16835k| 2.8 |1393M| 54 | - | 60 |9712 | 60 | 17 | 18 |2555k|6936 | 0.000000e+00 | -- | Inf
1428.30/1428.70 c 1429s| 6090k| 2109k| 16863k| 2.8 |1396M| 54 | - | 60 |9634 | 60 | 17 | 18 |2559k|6944 | 0.000000e+00 | -- | Inf
1431.20/1431.61 c 1432s| 6100k| 2112k| 16891k| 2.8 |1398M| 54 | 7 | 60 |8852 | 60 | 17 | 18 |2564k|6948 | 0.000000e+00 | -- | Inf
1434.10/1434.54 c 1435s| 6110k| 2115k| 16920k| 2.8 |1400M| 54 | 7 | 60 |8268 | 60 | 17 | 18 |2568k|6953 | 0.000000e+00 | -- | Inf
1436.90/1437.39 c 1437s| 6120k| 2118k| 16947k| 2.8 |1402M| 54 | 7 | 60 |8310 | 60 | 17 | 18 |2573k|6956 | 0.000000e+00 | -- | Inf
1439.51/1439.95 c 1440s| 6130k| 2121k| 16975k| 2.8 |1404M| 54 | 7 | 60 |9343 | 60 | 17 | 18 |2577k|6961 | 0.000000e+00 | -- | Inf
1442.40/1442.80 c 1443s| 6140k| 2124k| 17003k| 2.8 |1406M| 54 | 7 | 60 |8919 | 60 | 17 | 18 |2581k|6965 | 0.000000e+00 | -- | Inf
1444.90/1445.40 c 1445s| 6150k| 2128k| 17031k| 2.8 |1409M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2586k|6970 | 0.000000e+00 | -- | Inf
1447.79/1448.26 c 1448s| 6160k| 2131k| 17059k| 2.8 |1411M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2590k|6976 | 0.000000e+00 | -- | Inf
1450.89/1451.30 c 1451s| 6170k| 2134k| 17087k| 2.8 |1413M| 54 | 7 | 60 |9600 | 60 | 17 | 18 |2595k|6984 | 0.000000e+00 | -- | Inf
1453.10/1453.55 c 1454s| 6180k| 2137k| 17115k| 2.8 |1416M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |2599k|6987 | 0.000000e+00 | -- | Inf
1455.39/1455.88 c 1456s| 6190k| 2140k| 17142k| 2.8 |1418M| 54 | 7 | 60 | 12k| 60 | 17 | 18 |2603k|6991 | 0.000000e+00 | -- | Inf
1458.50/1458.97 c 1459s| 6200k| 2143k| 17170k| 2.8 |1420M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2608k|6991 | 0.000000e+00 | -- | Inf
1460.99/1461.45 c 1461s| 6210k| 2146k| 17197k| 2.8 |1422M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2612k|6997 | 0.000000e+00 | -- | Inf
1463.70/1464.18 c 1464s| 6220k| 2150k| 17225k| 2.8 |1424M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2616k|7001 | 0.000000e+00 | -- | Inf
1466.49/1466.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1466.49/1466.91 c 1467s| 6230k| 2153k| 17253k| 2.8 |1427M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2621k|7002 | 0.000000e+00 | -- | Inf
1469.39/1469.86 c 1470s| 6240k| 2156k| 17282k| 2.8 |1429M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2625k|7011 | 0.000000e+00 | -- | Inf
1472.50/1472.92 c 1473s| 6250k| 2159k| 17309k| 2.8 |1431M| 54 | 7 | 60 |9692 | 60 | 17 | 18 |2630k|7018 | 0.000000e+00 | -- | Inf
1475.19/1475.65 c 1476s| 6260k| 2162k| 17337k| 2.8 |1433M| 54 | - | 60 | 10k| 60 | 17 | 18 |2634k|7023 | 0.000000e+00 | -- | Inf
1478.18/1478.68 c 1479s| 6270k| 2165k| 17365k| 2.8 |1435M| 54 | - | 60 |9194 | 60 | 17 | 18 |2639k|7029 | 0.000000e+00 | -- | Inf
1480.58/1481.00 c 1481s| 6280k| 2168k| 17392k| 2.8 |1438M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2643k|7033 | 0.000000e+00 | -- | Inf
1483.19/1483.66 c 1484s| 6290k| 2172k| 17420k| 2.8 |1440M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2647k|7043 | 0.000000e+00 | -- | Inf
1486.19/1486.62 c 1487s| 6300k| 2175k| 17449k| 2.8 |1442M| 54 | 7 | 60 |9515 | 60 | 17 | 18 |2652k|7049 | 0.000000e+00 | -- | Inf
1488.78/1489.20 c 1489s| 6310k| 2178k| 17478k| 2.8 |1444M| 54 | - | 60 | 10k| 60 | 17 | 18 |2656k|7057 | 0.000000e+00 | -- | Inf
1490.98/1491.46 c 1491s| 6320k| 2181k| 17505k| 2.8 |1446M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |2661k|7061 | 0.000000e+00 | -- | Inf
1493.18/1493.61 c 1494s| 6330k| 2184k| 17533k| 2.8 |1449M| 54 | - | 60 | 12k| 60 | 17 | 18 |2665k|7062 | 0.000000e+00 | -- | Inf
1495.67/1496.15 c 1496s| 6340k| 2188k| 17561k| 2.8 |1451M| 54 | 7 | 60 | 12k| 60 | 17 | 18 |2669k|7062 | 0.000000e+00 | -- | Inf
1498.38/1498.89 c 1499s| 6350k| 2190k| 17589k| 2.8 |1453M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |2674k|7062 | 0.000000e+00 | -- | Inf
1501.28/1501.70 c 1502s| 6360k| 2193k| 17617k| 2.8 |1455M| 54 | - | 60 |9799 | 60 | 17 | 18 |2679k|7062 | 0.000000e+00 | -- | Inf
1504.47/1504.95 c 1505s| 6370k| 2196k| 17645k| 2.8 |1457M| 54 | 7 | 60 |9233 | 60 | 17 | 18 |2683k|7062 | 0.000000e+00 | -- | Inf
1507.37/1507.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1507.37/1507.89 c 1508s| 6380k| 2199k| 17674k| 2.8 |1459M| 54 | 7 | 60 |9253 | 60 | 17 | 18 |2688k|7062 | 0.000000e+00 | -- | Inf
1510.17/1510.66 c 1511s| 6390k| 2202k| 17701k| 2.8 |1461M| 54 | - | 60 |9372 | 60 | 17 | 18 |2692k|7062 | 0.000000e+00 | -- | Inf
1513.18/1513.65 c 1514s| 6400k| 2205k| 17730k| 2.8 |1464M| 54 | - | 60 |9185 | 60 | 17 | 18 |2697k|7062 | 0.000000e+00 | -- | Inf
1515.97/1516.45 c 1516s| 6410k| 2208k| 17758k| 2.8 |1466M| 54 | - | 60 |9078 | 60 | 17 | 18 |2701k|7062 | 0.000000e+00 | -- | Inf
1518.46/1518.94 c 1519s| 6420k| 2211k| 17785k| 2.8 |1468M| 54 | 7 | 60 |9856 | 60 | 17 | 18 |2706k|7062 | 0.000000e+00 | -- | Inf
1520.87/1521.34 c 1521s| 6430k| 2215k| 17813k| 2.8 |1471M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2710k|7062 | 0.000000e+00 | -- | Inf
1523.07/1523.58 c 1524s| 6440k| 2218k| 17840k| 2.8 |1473M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |2714k|7062 | 0.000000e+00 | -- | Inf
1525.67/1526.12 c 1526s| 6450k| 2221k| 17868k| 2.8 |1475M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |2718k|7062 | 0.000000e+00 | -- | Inf
1528.97/1529.45 c 1529s| 6460k| 2224k| 17896k| 2.8 |1477M| 54 | - | 60 |9303 | 60 | 17 | 18 |2723k|7062 | 0.000000e+00 | -- | Inf
1531.87/1532.39 c 1532s| 6470k| 2227k| 17923k| 2.8 |1479M| 54 | 7 | 60 |8580 | 60 | 17 | 18 |2727k|7062 | 0.000000e+00 | -- | Inf
1534.67/1535.15 c 1535s| 6480k| 2230k| 17952k| 2.8 |1481M| 54 | - | 60 |8851 | 60 | 17 | 18 |2732k|7062 | 0.000000e+00 | -- | Inf
1537.56/1538.01 c 1538s| 6490k| 2233k| 17980k| 2.8 |1483M| 54 | 7 | 60 |8994 | 60 | 17 | 18 |2736k|7062 | 0.000000e+00 | -- | Inf
1540.26/1540.79 c 1541s| 6500k| 2237k| 18008k| 2.8 |1486M| 54 | - | 60 |9640 | 60 | 17 | 18 |2740k|7062 | 0.000000e+00 | -- | Inf
1543.17/1543.64 c 1544s| 6510k| 2240k| 18037k| 2.8 |1488M| 54 | - | 60 |9607 | 60 | 17 | 18 |2745k|7062 | 0.000000e+00 | -- | Inf
1545.96/1546.49 c 1546s| 6520k| 2243k| 18065k| 2.8 |1490M| 54 | - | 60 |9230 | 60 | 17 | 18 |2750k|7062 | 0.000000e+00 | -- | Inf
1548.85/1549.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1548.85/1549.38 c 1549s| 6530k| 2245k| 18094k| 2.8 |1492M| 54 | 7 | 60 |9419 | 60 | 17 | 18 |2754k|7062 | 0.000000e+00 | -- | Inf
1551.45/1551.98 c 1552s| 6540k| 2249k| 18122k| 2.8 |1494M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2759k|7062 | 0.000000e+00 | -- | Inf
1554.26/1554.72 c 1555s| 6550k| 2252k| 18150k| 2.8 |1496M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2763k|7062 | 0.000000e+00 | -- | Inf
1557.16/1557.63 c 1558s| 6560k| 2255k| 18178k| 2.8 |1499M| 54 | - | 60 |9684 | 60 | 17 | 18 |2768k|7062 | 0.000000e+00 | -- | Inf
1559.95/1560.45 c 1560s| 6570k| 2258k| 18206k| 2.8 |1501M| 54 | 7 | 60 |8761 | 60 | 17 | 18 |2772k|7062 | 0.000000e+00 | -- | Inf
1562.75/1563.27 c 1563s| 6580k| 2261k| 18234k| 2.8 |1503M| 54 | 7 | 60 |8847 | 60 | 17 | 18 |2776k|7062 | 0.000000e+00 | -- | Inf
1565.55/1566.05 c 1566s| 6590k| 2264k| 18263k| 2.8 |1505M| 54 | 7 | 60 |8805 | 60 | 17 | 18 |2781k|7062 | 0.000000e+00 | -- | Inf
1568.55/1569.02 c 1569s| 6600k| 2266k| 18291k| 2.8 |1507M| 54 | 7 | 60 |8773 | 60 | 17 | 18 |2786k|7062 | 0.000000e+00 | -- | Inf
1571.35/1571.87 c 1572s| 6610k| 2269k| 18319k| 2.8 |1509M| 54 | - | 60 |9193 | 60 | 17 | 18 |2790k|7062 | 0.000000e+00 | -- | Inf
1574.25/1574.74 c 1575s| 6620k| 2272k| 18348k| 2.8 |1511M| 54 | 7 | 60 |9375 | 60 | 17 | 18 |2795k|7062 | 0.000000e+00 | -- | Inf
1577.14/1577.65 c 1578s| 6630k| 2275k| 18376k| 2.8 |1514M| 54 | 7 | 60 |9182 | 60 | 17 | 18 |2799k|7062 | 0.000000e+00 | -- | Inf
1579.64/1580.17 c 1580s| 6640k| 2278k| 18403k| 2.8 |1516M| 54 | 7 | 60 |9923 | 60 | 17 | 18 |2804k|7062 | 0.000000e+00 | -- | Inf
1581.84/1582.39 c 1582s| 6650k| 2282k| 18430k| 2.8 |1518M| 54 | - | 60 | 10k| 60 | 17 | 18 |2808k|7062 | 0.000000e+00 | -- | Inf
1584.75/1585.23 c 1585s| 6660k| 2285k| 18458k| 2.8 |1520M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2812k|7062 | 0.000000e+00 | -- | Inf
1587.54/1588.00 c 1588s| 6670k| 2288k| 18486k| 2.8 |1523M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2817k|7062 | 0.000000e+00 | -- | Inf
1590.44/1590.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1590.44/1590.94 c 1591s| 6680k| 2291k| 18515k| 2.8 |1525M| 54 | 7 | 60 |9874 | 60 | 17 | 18 |2822k|7062 | 0.000000e+00 | -- | Inf
1593.14/1593.63 c 1594s| 6690k| 2294k| 18543k| 2.8 |1527M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2826k|7062 | 0.000000e+00 | -- | Inf
1595.84/1596.32 c 1596s| 6700k| 2297k| 18571k| 2.8 |1529M| 54 | - | 60 | 10k| 60 | 17 | 18 |2830k|7062 | 0.000000e+00 | -- | Inf
1598.24/1598.78 c 1599s| 6710k| 2301k| 18597k| 2.8 |1532M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2834k|7062 | 0.000000e+00 | -- | Inf
1601.04/1601.58 c 1602s| 6720k| 2304k| 18625k| 2.8 |1534M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2839k|7062 | 0.000000e+00 | -- | Inf
1603.44/1603.92 c 1604s| 6730k| 2308k| 18652k| 2.8 |1536M| 54 | - | 60 | 11k| 60 | 17 | 18 |2842k|7062 | 0.000000e+00 | -- | Inf
1606.34/1606.82 c 1607s| 6740k| 2311k| 18681k| 2.8 |1538M| 54 | - | 60 | 10k| 60 | 17 | 18 |2847k|7062 | 0.000000e+00 | -- | Inf
1609.03/1609.57 c 1610s| 6750k| 2314k| 18710k| 2.8 |1540M| 54 | - | 60 | 10k| 60 | 17 | 18 |2852k|7062 | 0.000000e+00 | -- | Inf
1611.73/1612.23 c 1612s| 6760k| 2317k| 18738k| 2.8 |1543M| 54 | - | 60 | 10k| 60 | 17 | 18 |2856k|7062 | 0.000000e+00 | -- | Inf
1614.13/1614.69 c 1615s| 6770k| 2320k| 18767k| 2.8 |1545M| 54 | - | 60 | 11k| 60 | 17 | 18 |2861k|7062 | 0.000000e+00 | -- | Inf
1617.33/1617.84 c 1618s| 6780k| 2323k| 18795k| 2.8 |1547M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2865k|7062 | 0.000000e+00 | -- | Inf
1620.03/1620.53 c 1621s| 6790k| 2326k| 18823k| 2.8 |1549M| 54 | - | 60 | 10k| 60 | 17 | 18 |2870k|7062 | 0.000000e+00 | -- | Inf
1622.73/1623.22 c 1623s| 6800k| 2329k| 18851k| 2.8 |1551M| 54 | - | 60 | 11k| 60 | 17 | 18 |2874k|7062 | 0.000000e+00 | -- | Inf
1625.72/1626.23 c 1626s| 6810k| 2333k| 18879k| 2.8 |1553M| 54 | 7 | 60 |9850 | 60 | 17 | 18 |2878k|7062 | 0.000000e+00 | -- | Inf
1627.92/1628.45 c 1628s| 6820k| 2336k| 18907k| 2.8 |1556M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |2882k|7062 | 0.000000e+00 | -- | Inf
1630.22/1630.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1630.22/1630.71 c 1631s| 6830k| 2340k| 18933k| 2.8 |1559M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |2887k|7062 | 0.000000e+00 | -- | Inf
1632.52/1633.04 c 1633s| 6840k| 2343k| 18961k| 2.8 |1561M| 54 | 7 | 60 | 12k| 60 | 17 | 18 |2891k|7062 | 0.000000e+00 | -- | Inf
1635.23/1635.71 c 1636s| 6850k| 2346k| 18988k| 2.8 |1563M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |2895k|7062 | 0.000000e+00 | -- | Inf
1637.72/1638.25 c 1638s| 6860k| 2350k| 19015k| 2.8 |1565M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |2900k|7062 | 0.000000e+00 | -- | Inf
1640.81/1641.34 c 1641s| 6870k| 2353k| 19043k| 2.8 |1567M| 54 | - | 60 | 10k| 60 | 17 | 18 |2904k|7062 | 0.000000e+00 | -- | Inf
1643.52/1644.04 c 1644s| 6880k| 2356k| 19072k| 2.8 |1569M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2909k|7062 | 0.000000e+00 | -- | Inf
1646.22/1646.72 c 1647s| 6890k| 2359k| 19100k| 2.8 |1572M| 54 | - | 60 | 11k| 60 | 17 | 18 |2913k|7062 | 0.000000e+00 | -- | Inf
1649.21/1649.79 c 1650s| 6900k| 2362k| 19128k| 2.8 |1574M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2918k|7062 | 0.000000e+00 | -- | Inf
1652.11/1652.60 c 1653s| 6910k| 2365k| 19156k| 2.8 |1576M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2922k|7062 | 0.000000e+00 | -- | Inf
1654.91/1655.43 c 1655s| 6920k| 2368k| 19185k| 2.8 |1578M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2927k|7062 | 0.000000e+00 | -- | Inf
1657.50/1658.09 c 1658s| 6930k| 2371k| 19212k| 2.8 |1580M| 54 | - | 60 | 10k| 60 | 17 | 18 |2931k|7062 | 0.000000e+00 | -- | Inf
1660.41/1660.97 c 1661s| 6940k| 2375k| 19240k| 2.8 |1583M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2935k|7062 | 0.000000e+00 | -- | Inf
1663.21/1663.77 c 1664s| 6950k| 2378k| 19269k| 2.8 |1585M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |2940k|7062 | 0.000000e+00 | -- | Inf
1666.20/1666.77 c 1667s| 6960k| 2381k| 19297k| 2.8 |1587M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2944k|7062 | 0.000000e+00 | -- | Inf
1669.00/1669.55 c 1670s| 6970k| 2383k| 19326k| 2.8 |1589M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2949k|7062 | 0.000000e+00 | -- | Inf
1671.30/1671.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1671.30/1671.83 c 1672s| 6980k| 2387k| 19353k| 2.8 |1592M| 54 | - | 60 | 12k| 60 | 17 | 18 |2953k|7062 | 0.000000e+00 | -- | Inf
1674.30/1674.81 c 1675s| 6990k| 2390k| 19381k| 2.8 |1594M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2957k|7062 | 0.000000e+00 | -- | Inf
1677.40/1677.99 c 1678s| 7000k| 2393k| 19409k| 2.8 |1595M| 54 | - | 60 |9269 | 60 | 17 | 18 |2962k|7062 | 0.000000e+00 | -- | Inf
1680.10/1680.69 c 1681s| 7010k| 2396k| 19437k| 2.8 |1598M| 54 | 7 | 60 |9583 | 60 | 17 | 18 |2967k|7062 | 0.000000e+00 | -- | Inf
1682.99/1683.54 c 1684s| 7020k| 2399k| 19465k| 2.8 |1600M| 54 | 7 | 60 |9991 | 60 | 17 | 18 |2971k|7062 | 0.000000e+00 | -- | Inf
1686.00/1686.54 c 1687s| 7030k| 2402k| 19493k| 2.8 |1602M| 54 | 7 | 60 |9344 | 60 | 17 | 18 |2976k|7062 | 0.000000e+00 | -- | Inf
1688.39/1688.97 c 1689s| 7040k| 2406k| 19521k| 2.8 |1604M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |2979k|7062 | 0.000000e+00 | -- | Inf
1691.19/1691.72 c 1692s| 7050k| 2409k| 19549k| 2.8 |1606M| 54 | 7 | 60 |9198 | 60 | 17 | 18 |2984k|7062 | 0.000000e+00 | -- | Inf
1693.89/1694.42 c 1694s| 7060k| 2412k| 19577k| 2.8 |1609M| 54 | 7 | 60 |9715 | 60 | 17 | 18 |2988k|7062 | 0.000000e+00 | -- | Inf
1696.70/1697.25 c 1697s| 7070k| 2415k| 19606k| 2.8 |1611M| 54 | - | 60 |9747 | 60 | 17 | 18 |2993k|7062 | 0.000000e+00 | -- | Inf
1699.08/1699.60 c 1700s| 7080k| 2418k| 19634k| 2.8 |1613M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |2997k|7062 | 0.000000e+00 | -- | Inf
1702.08/1702.64 c 1703s| 7090k| 2421k| 19661k| 2.8 |1615M| 54 | 7 | 60 |9504 | 60 | 17 | 18 |3002k|7062 | 0.000000e+00 | -- | Inf
1704.40/1704.92 c 1705s| 7100k| 2425k| 19690k| 2.8 |1618M| 54 | - | 60 | 10k| 60 | 17 | 18 |3006k|7062 | 0.000000e+00 | -- | Inf
1706.88/1707.40 c 1707s| 7110k| 2428k| 19719k| 2.8 |1620M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |3010k|7062 | 0.000000e+00 | -- | Inf
1709.29/1709.87 c 1710s| 7120k| 2431k| 19748k| 2.8 |1623M| 54 | 7 | 60 | 13k| 60 | 17 | 18 |3014k|7062 | 0.000000e+00 | -- | Inf
1712.68/1713.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1712.68/1713.22 c 1713s| 7130k| 2434k| 19776k| 2.8 |1624M| 54 | - | 60 | 10k| 60 | 17 | 18 |3019k|7062 | 0.000000e+00 | -- | Inf
1715.48/1716.02 c 1716s| 7140k| 2437k| 19805k| 2.8 |1627M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |3023k|7062 | 0.000000e+00 | -- | Inf
1717.98/1718.56 c 1719s| 7150k| 2441k| 19833k| 2.8 |1629M| 54 | - | 60 | 10k| 60 | 17 | 18 |3028k|7062 | 0.000000e+00 | -- | Inf
1720.99/1721.59 c 1722s| 7160k| 2444k| 19861k| 2.8 |1631M| 54 | 7 | 60 |9373 | 60 | 17 | 18 |3032k|7062 | 0.000000e+00 | -- | Inf
1724.08/1724.65 c 1725s| 7170k| 2446k| 19889k| 2.8 |1633M| 54 | 7 | 60 |8636 | 60 | 17 | 18 |3037k|7062 | 0.000000e+00 | -- | Inf
1726.78/1727.37 c 1727s| 7180k| 2450k| 19917k| 2.8 |1635M| 54 | - | 60 |9128 | 60 | 17 | 18 |3041k|7062 | 0.000000e+00 | -- | Inf
1729.68/1730.22 c 1730s| 7190k| 2453k| 19945k| 2.8 |1637M| 54 | 7 | 60 |9650 | 60 | 17 | 18 |3046k|7062 | 0.000000e+00 | -- | Inf
1732.57/1733.18 c 1733s| 7200k| 2455k| 19973k| 2.8 |1640M| 54 | - | 60 | 10k| 60 | 17 | 18 |3050k|7062 | 0.000000e+00 | -- | Inf
1735.57/1736.14 c 1736s| 7210k| 2458k| 20002k| 2.8 |1642M| 54 | - | 60 |9870 | 60 | 17 | 18 |3055k|7062 | 0.000000e+00 | -- | Inf
1738.47/1739.09 c 1739s| 7220k| 2461k| 20029k| 2.8 |1644M| 54 | 7 | 60 |9384 | 60 | 17 | 18 |3059k|7062 | 0.000000e+00 | -- | Inf
1741.57/1742.16 c 1742s| 7230k| 2464k| 20057k| 2.8 |1646M| 54 | 7 | 60 |9147 | 60 | 17 | 18 |3064k|7062 | 0.000000e+00 | -- | Inf
1744.66/1745.20 c 1745s| 7240k| 2467k| 20086k| 2.8 |1648M| 54 | 7 | 60 |9126 | 60 | 17 | 18 |3068k|7062 | 0.000000e+00 | -- | Inf
1747.55/1748.12 c 1748s| 7250k| 2470k| 20114k| 2.8 |1650M| 54 | 7 | 60 |9116 | 60 | 17 | 18 |3073k|7062 | 0.000000e+00 | -- | Inf
1750.06/1750.63 c 1751s| 7260k| 2473k| 20142k| 2.8 |1652M| 54 | 7 | 60 |9444 | 60 | 17 | 18 |3077k|7062 | 0.000000e+00 | -- | Inf
1752.36/1752.93 c 1753s| 7270k| 2476k| 20170k| 2.8 |1655M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |3082k|7062 | 0.000000e+00 | -- | Inf
1755.07/1755.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1755.07/1755.64 c 1756s| 7280k| 2479k| 20198k| 2.8 |1657M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |3087k|7062 | 0.000000e+00 | -- | Inf
1757.95/1758.59 c 1759s| 7290k| 2482k| 20227k| 2.8 |1659M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |3092k|7062 | 0.000000e+00 | -- | Inf
1760.85/1761.45 c 1761s| 7300k| 2485k| 20255k| 2.8 |1662M| 54 | - | 60 | 11k| 60 | 17 | 18 |3096k|7062 | 0.000000e+00 | -- | Inf
1763.25/1763.88 c 1764s| 7310k| 2489k| 20284k| 2.8 |1664M| 54 | - | 60 | 12k| 60 | 17 | 18 |3100k|7062 | 0.000000e+00 | -- | Inf
1766.35/1766.96 c 1767s| 7320k| 2492k| 20313k| 2.8 |1666M| 54 | - | 60 | 11k| 60 | 17 | 18 |3104k|7062 | 0.000000e+00 | -- | Inf
1769.25/1769.89 c 1770s| 7330k| 2495k| 20340k| 2.8 |1668M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |3109k|7062 | 0.000000e+00 | -- | Inf
1772.35/1772.97 c 1773s| 7340k| 2497k| 20369k| 2.8 |1670M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |3114k|7062 | 0.000000e+00 | -- | Inf
1774.95/1775.59 c 1776s| 7350k| 2501k| 20396k| 2.8 |1673M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |3118k|7062 | 0.000000e+00 | -- | Inf
1778.15/1778.79 c 1779s| 7360k| 2503k| 20425k| 2.8 |1674M| 54 | - | 60 | 10k| 60 | 17 | 18 |3123k|7062 | 0.000000e+00 | -- | Inf
1781.23/1781.88 c 1782s| 7370k| 2506k| 20453k| 2.8 |1676M| 54 | 7 | 60 |8948 | 60 | 17 | 18 |3127k|7062 | 0.000000e+00 | -- | Inf
1784.14/1784.74 c 1785s| 7380k| 2509k| 20480k| 2.8 |1679M| 54 | 7 | 60 |9275 | 60 | 17 | 18 |3132k|7062 | 0.000000e+00 | -- | Inf
1787.23/1787.85 c 1788s| 7390k| 2512k| 20508k| 2.8 |1681M| 54 | - | 60 |9180 | 60 | 17 | 18 |3136k|7062 | 0.000000e+00 | -- | Inf
1789.43/1790.00 c
1789.43/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1789.43/1790.00 c Solving Time (sec) : 1790.00
1789.43/1790.00 c Solving Nodes : 7397653
1789.43/1790.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.43/1790.00 c Dual Bound : +0.00000000000000e+00
1789.43/1790.00 c Gap : infinite
1789.43/1790.00 s UNKNOWN
1789.43/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1789.43/1790.00 c Solving Time : 1790.00
1789.43/1790.00 c Original Problem :
1789.43/1790.00 c Problem name : HOME/instance-3734910-1338702192.opb
1789.43/1790.00 c Variables : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.43/1790.00 c Constraints : 15 initial, 15 maximal
1789.43/1790.00 c Presolved Problem :
1789.43/1790.00 c Problem name : t_HOME/instance-3734910-1338702192.opb
1789.43/1790.00 c Variables : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.43/1790.00 c Constraints : 7 initial, 16242 maximal
1789.43/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.43/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.43/1790.01 c dualfix : 0.00 1 0 0 0 0 0 0 0
1789.43/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.43/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.43/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.43/1790.01 c probing : 0.00 0 0 0 0 0 0 0 0
1789.43/1790.01 c linear : 0.00 0 0 0 0 0 8 0 0
1789.43/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.43/1790.01 c root node : - 0 - - 0 - - - -
1789.43/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.43/1790.01 c integral : 0 0 0 4984233 0 607 2562 0 0 9962330
1789.43/1790.01 c linear : 7+ 7 15490677 0 1 98226 2509795 0 0 0
1789.43/1790.01 c logicor : 0+ 0 7254545 0 0 6088 2224991 0 0 0
1789.43/1790.01 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.43/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.43/1790.01 c integral : 28.72 0.00 0.00 28.72 0.00
1789.43/1790.01 c linear : 294.72 0.00 294.72 0.00 0.00
1789.43/1790.01 c logicor : 341.35 0.00 341.35 0.00 0.00
1789.43/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.43/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.43/1790.01 c vbounds : 2.07 2 0 0
1789.43/1790.01 c rootredcost : 1.81 0 0 0
1789.43/1790.01 c pseudoobj : 1.48 0 0 0
1789.43/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.43/1790.01 c propagation : 5.89 104314 92287 321080 44.3 20 35.0 -
1789.43/1790.01 c infeasible LP : 66.88 2346796 2346721 4172010 27.8 30342 33.0 0
1789.43/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.43/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.43/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.43/1790.01 c applied globally : - - - 2799933 23.1 - - -
1789.43/1790.01 c applied locally : - - - 340299 37.9 - - -
1789.43/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.43/1790.01 c cut pool : 0.00 5 - - 9 - (maximal pool size: 71)
1789.43/1790.01 c redcost : 5.74 4984233 0 0 0 0
1789.43/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.43/1790.01 c intobj : 0.00 0 0 0 0 0
1789.43/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.43/1790.01 c gomory : 0.00 6 0 0 0 0
1789.43/1790.01 c strongcg : 0.00 6 0 0 34 0
1789.43/1790.01 c cmir : 0.01 6 0 0 20 0
1789.43/1790.01 c flowcover : 0.01 6 0 0 28 0
1789.43/1790.01 c clique : 0.00 1 0 0 0 0
1789.43/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.43/1790.01 c mcf : 0.00 1 0 0 0 0
1789.43/1790.01 c rapidlearning : 0.04 1 0 0 0 2
1789.43/1790.01 c Pricers : Time Calls Vars
1789.43/1790.01 c problem variables: 0.00 0 0
1789.43/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.43/1790.01 c relpscost : 26.44 4984233 607 2562 0 0 9962330
1789.43/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.43/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.43/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.43/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.43/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.43/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.43/1790.01 c random : 0.00 0 0 0 0 0 0
1789.43/1790.01 c Primal Heuristics : Time Calls Found
1789.43/1790.01 c LP solutions : 0.00 - 0
1789.43/1790.01 c pseudo solutions : 0.00 - 0
1789.43/1790.01 c oneopt : 1.52 0 0
1789.43/1790.01 c crossover : 0.91 0 0
1789.43/1790.01 c guideddiving : 0.14 0 0
1789.43/1790.01 c veclendiving : 0.13 61 0
1789.43/1790.01 c coefdiving : 0.13 61 0
1789.43/1790.01 c pscostdiving : 0.12 61 0
1789.43/1790.01 c feaspump : 0.10 31 0
1789.43/1790.01 c objpscostdiving : 0.10 31 0
1789.43/1790.01 c rootsoldiving : 0.13 31 0
1789.43/1790.01 c linesearchdiving : 0.13 62 0
1789.43/1790.01 c fracdiving : 0.12 62 0
1789.43/1790.01 c trivial : 0.00 2 0
1789.43/1790.01 c simplerounding : 0.76 0 0
1789.43/1790.01 c zirounding : 1.07 1000 0
1789.43/1790.01 c rounding : 1.73 31673 0
1789.43/1790.01 c shifting : 3.12 10054 0
1789.43/1790.01 c intshifting : 0.09 0 0
1789.43/1790.01 c twoopt : 0.00 0 0
1789.43/1790.01 c fixandinfer : 0.00 0 0
1789.43/1790.01 c intdiving : 0.00 0 0
1789.43/1790.01 c actconsdiving : 0.00 0 0
1789.43/1790.01 c octane : 0.00 0 0
1789.43/1790.01 c rens : 0.01 1 0
1789.43/1790.01 c rins : 0.00 0 0
1789.43/1790.01 c localbranching : 0.00 0 0
1789.43/1790.01 c mutation : 0.00 0 0
1789.43/1790.01 c dins : 0.00 0 0
1789.43/1790.01 c undercover : 0.00 0 0
1789.43/1790.01 c nlp : 0.79 0 0
1789.43/1790.01 c trysol : 1.22 0 0
1789.43/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.43/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.43/1790.01 c dual LP : 377.65 7193146 20525424 2.85 54349.69
1789.43/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.43/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.43/1790.01 c diving/probing LP: 0.11 2212 5009 2.26 44074.30
1789.43/1790.01 c strong branching : 0.69 7062 32247 4.57 47026.83
1789.43/1790.01 c (at root node) : - 9 298 33.11 -
1789.43/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.43/1790.01 c B&B Tree :
1789.43/1790.01 c number of runs : 1
1789.43/1790.01 c nodes : 7397653
1789.43/1790.01 c nodes (total) : 7397653
1789.43/1790.01 c nodes left : 2515049
1789.43/1790.01 c max depth : 54
1789.43/1790.01 c max depth (total): 54
1789.43/1790.01 c backtracks : 827903 (11.2%)
1789.43/1790.01 c delayed cutoffs : 49631
1789.43/1790.01 c repropagations : 5595829 (2554808 domain reductions, 34462 cutoffs)
1789.43/1790.01 c avg switch length: 5.60
1789.43/1790.01 c switching time : 396.03
1789.43/1790.01 c Solution :
1789.43/1790.01 c Solutions found : 0 (0 improvements)
1789.43/1790.01 c Primal Bound : -
1789.43/1790.01 c Dual Bound : +0.00000000000000e+00
1789.43/1790.01 c Gap : infinite
1789.43/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.43/1790.01 c Root Iterations : 182
1796.93/1797.53 c Time complete: 1796.97.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734910-1338702192/watcher-3734910-1338702192 -o /tmp/evaluation-result-3734910-1338702192/solver-3734910-1338702192 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3734910-1338702192.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: 2.00 2.00 2.00 3/176 11581
/proc/meminfo: memFree=24398188/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=8944 CPUtime=0 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 1408 0 0 0 0 0 0 0 20 0 1 0 336344627 9158656 1354 33554432000 4194304 8395647 140735062387632 140736551566216 7382157 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 2236 1364 374 1026 0 1206 0
[startup+0.074396 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11581
/proc/meminfo: memFree=24398188/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=22088 CPUtime=0.06 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 4779 0 0 0 6 0 0 0 20 0 1 0 336344627 22618112 4372 33554432000 4194304 8395647 140735062387632 140736551566216 7430400 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 5522 4372 608 1026 0 4492 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 22088
[startup+0.100275 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11581
/proc/meminfo: memFree=24398188/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=23136 CPUtime=0.08 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 5309 0 0 0 8 0 0 0 20 0 1 0 336344627 23691264 4902 33554432000 4194304 8395647 140735062387632 140736551566216 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 5784 4902 620 1026 0 4754 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 23136
[startup+0.300176 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11581
/proc/meminfo: memFree=24398188/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=23136 CPUtime=0.29 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 5311 0 0 0 28 1 0 0 20 0 1 0 336344627 23691264 4904 33554432000 4194304 8395647 140735062387632 140736551566216 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 5784 4904 621 1026 0 4754 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23136
[startup+0.700178 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11581
/proc/meminfo: memFree=24398188/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=23136 CPUtime=0.69 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 5318 0 0 0 67 2 0 0 20 0 1 0 336344627 23691264 4911 33554432000 4194304 8395647 140735062387632 140735062383096 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 5784 4911 621 1026 0 4754 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23136
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11582
/proc/meminfo: memFree=24380088/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=23136 CPUtime=1.49 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 5329 0 0 0 145 4 0 0 20 0 1 0 336344627 23691264 4922 33554432000 4194304 8395647 140735062387632 140735062383240 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 5784 4922 621 1026 0 4754 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23136
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11582
/proc/meminfo: memFree=24379336/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=23136 CPUtime=3.09 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 5347 0 0 0 301 8 0 0 20 0 1 0 336344627 23691264 4940 33554432000 4194304 8395647 140735062387632 140735062383240 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 5784 4940 621 1026 0 4754 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23136
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11582
/proc/meminfo: memFree=24373100/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=27364 CPUtime=6.28 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 6446 0 0 0 611 17 0 0 20 0 1 0 336344627 28020736 6039 33554432000 4194304 8395647 140735062387632 140735062383352 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 6841 6039 621 1026 0 5811 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 27364
[startup+12.7001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11582
/proc/meminfo: memFree=24356380/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=38436 CPUtime=12.69 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 9266 0 0 0 1233 36 0 0 20 0 1 0 336344627 39358464 8859 33554432000 4194304 8395647 140735062387632 140735062383240 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 9609 8859 621 1026 0 8579 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38436
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11582
/proc/meminfo: memFree=24321284/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=60656 CPUtime=25.49 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 14534 0 0 0 2477 72 0 0 20 0 1 0 336344627 62111744 14127 33554432000 4194304 8395647 140735062387632 140735062383240 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 15164 14127 621 1026 0 14134 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 60656
[startup+51.1002 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 11582
/proc/meminfo: memFree=24255016/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=98040 CPUtime=51.08 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 24058 0 0 0 4969 139 0 0 20 0 1 0 336344627 100392960 23651 33554432000 4194304 8395647 140735062387632 140735062382440 5085445 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 24510 23651 621 1026 0 23480 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 98040
[startup+102.306 s]
/proc/loadavg: 2.13 2.04 2.01 3/177 11582
/proc/meminfo: memFree=24138588/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=167632 CPUtime=102.28 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 40726 0 0 0 9958 270 0 0 20 0 1 0 336344627 171655168 40319 33554432000 4194304 8395647 140735062387632 140735062383240 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 41908 40319 621 1026 0 40878 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 167632
[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 11620
/proc/meminfo: memFree=25993856/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=245048 CPUtime=162.24 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 60556 0 0 0 15803 421 0 0 20 0 1 0 336344627 250929152 60155 33554432000 4194304 8395647 140735062387632 140735062383096 7340261 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 61262 60155 621 1026 0 60232 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 245048
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 11621
/proc/meminfo: memFree=25859436/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=321048 CPUtime=222.21 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 77928 0 0 0 21653 568 0 0 20 0 1 0 336344627 328753152 77563 33554432000 4194304 8395647 140735062387632 140735062383240 4616316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 80262 77563 621 1026 0 79232 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 321048
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11621
/proc/meminfo: memFree=25742536/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=385036 CPUtime=282.19 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 94393 0 0 0 27501 718 0 0 20 0 1 0 336344627 394276864 94013 33554432000 4194304 8395647 140735062387632 140735062383240 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 96259 94013 621 1026 0 95229 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 385036
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11621
/proc/meminfo: memFree=25615872/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=455844 CPUtime=342.14 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 112446 0 0 0 33355 859 0 0 20 0 1 0 336344627 466784256 112047 33554432000 4194304 8395647 140735062387632 140735062383240 6068892 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 113961 112047 621 1026 0 112931 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 455844
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11621
/proc/meminfo: memFree=25502872/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=518824 CPUtime=402.11 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 128405 0 0 0 39218 993 0 0 20 0 1 0 336344627 531275776 128607 33554432000 4194304 8395647 140735062387632 140735062383096 6262406 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 129706 128607 621 1026 0 128676 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 518824
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11624
/proc/meminfo: memFree=25399436/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=577688 CPUtime=462.09 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 143217 0 0 0 45077 1132 0 0 20 0 1 0 336344627 591552512 143418 33554432000 4194304 8395647 140735062387632 140735062383240 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 144422 143418 621 1026 0 143392 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 577688
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11625
/proc/meminfo: memFree=25292096/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=633960 CPUtime=522.08 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 157493 0 0 0 50950 1258 0 0 20 0 1 0 336344627 649175040 157694 33554432000 4194304 8395647 140735062387632 140735062383144 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 158490 157694 621 1026 0 157460 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 633960
[startup+582.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 11625
/proc/meminfo: memFree=25189020/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=709248 CPUtime=582.07 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 172434 0 0 0 56823 1384 0 0 20 0 1 0 336344627 726269952 172635 33554432000 4194304 8395647 140735062387632 140735062383240 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 177312 172635 621 1026 0 176282 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 709248
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24427668/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=1137836 CPUtime=1062 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 279864 0 0 0 103858 2342 0 0 20 0 1 0 336344627 1165144064 282620 33554432000 4194304 8395647 140735062387632 140735062383144 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 284459 282620 621 1026 0 283429 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1137836
[startup+1122.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 11652
/proc/meminfo: memFree=24338868/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=1188212 CPUtime=1121.99 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 292660 0 0 0 109736 2463 0 0 20 0 1 0 336344627 1216729088 295413 33554432000 4194304 8395647 140735062387632 140735062383240 6068924 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 297053 295413 621 1026 0 296023 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1188212
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 11652
/proc/meminfo: memFree=24252456/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=1236292 CPUtime=1181.98 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 304814 0 0 0 115619 2579 0 0 20 0 1 0 336344627 1265963008 307553 33554432000 4194304 8395647 140735062387632 140735062383240 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 309073 307553 621 1026 0 308043 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1236292
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11652
/proc/meminfo: memFree=24168508/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=1284944 CPUtime=1241.96 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 317167 0 0 0 121499 2697 0 0 20 0 1 0 336344627 1315782656 319904 33554432000 4194304 8395647 140735062387632 140735062383240 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 321236 319904 621 1026 0 320206 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1284944
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11652
/proc/meminfo: memFree=24087164/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=1336628 CPUtime=1301.95 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 330012 0 0 0 127378 2817 0 0 20 0 1 0 336344627 1368707072 332791 33554432000 4194304 8395647 140735062387632 140735062383240 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 334157 332791 621 1026 0 333127 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1336628
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11652
/proc/meminfo: memFree=23998964/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=1382720 CPUtime=1361.92 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 341911 0 0 0 133260 2932 0 0 20 0 1 0 336344627 1415905280 344798 33554432000 4194304 8395647 140735062387632 140735062383240 6262422 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 345680 344798 621 1026 0 344650 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1382720
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11652
/proc/meminfo: memFree=23905448/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=1467708 CPUtime=1421.9 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 355277 0 0 0 139139 3051 0 0 20 0 1 0 336344627 1502932992 358657 33554432000 4194304 8395647 140735062387632 140735062383240 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 366927 358657 621 1026 0 365897 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1467708
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11653
/proc/meminfo: memFree=23826232/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=1518468 CPUtime=1481.88 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 368195 0 0 0 145020 3168 0 0 20 0 1 0 336344627 1554911232 371559 33554432000 4194304 8395647 140735062387632 140735062383240 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 379617 371559 621 1026 0 378587 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1518468
[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 11653
/proc/meminfo: memFree=23745656/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=1564760 CPUtime=1541.86 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 379965 0 0 0 150901 3285 0 0 20 0 1 0 336344627 1602314240 383815 33554432000 4194304 8395647 140735062387632 140735062383240 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 391190 383815 621 1026 0 390160 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1564760
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11653
/proc/meminfo: memFree=23666076/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=1611960 CPUtime=1601.83 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 391465 0 0 0 156786 3397 0 0 20 0 1 0 336344627 1650647040 395344 33554432000 4194304 8395647 140735062387632 140735062383240 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 402990 395344 621 1026 0 401960 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1611960
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11656
/proc/meminfo: memFree=23584116/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=1660928 CPUtime=1661.8 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 403889 0 0 0 162672 3508 0 0 20 0 1 0 336344627 1700790272 408246 33554432000 4194304 8395647 140735062387632 140735062383240 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 415232 408246 621 1026 0 414202 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1660928
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11656
/proc/meminfo: memFree=23511004/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=1704524 CPUtime=1721.78 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 414994 0 0 0 168558 3620 0 0 20 0 1 0 336344627 1745432576 419322 33554432000 4194304 8395647 140735062387632 140735062383240 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 426131 419322 621 1026 0 425101 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1704524
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11657
/proc/meminfo: memFree=23431776/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=1752712 CPUtime=1781.74 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 427189 0 0 0 174447 3727 0 0 20 0 1 0 336344627 1794777088 431477 33554432000 4194304 8395647 140735062387632 140735062383240 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 438178 431477 621 1026 0 437148 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1752712
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11657
/proc/meminfo: memFree=23428552/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=1754568 CPUtime=1784.93 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 427659 0 0 0 174761 3732 0 0 20 0 1 0 336344627 1796677632 431947 33554432000 4194304 8395647 140735062387632 140735062383240 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 438642 431947 621 1026 0 437612 0
Current children cumulated CPU time (s) 1784.93
Current children cumulated vsize (KiB) 1754568
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11657
/proc/meminfo: memFree=23421592/32873648 swapFree=6868/6868
[pid=11581] ppid=11579 vsize=1756744 CPUtime=1791.34 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 428224 0 0 0 175394 3740 0 0 20 0 1 0 336344627 1798905856 432505 33554432000 4194304 8395647 140735062387632 140735062383464 4221116 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 439186 432505 624 1026 0 438156 0
Current children cumulated CPU time (s) 1791.34
Current children cumulated vsize (KiB) 1756744
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11657
/proc/meminfo: memFree=23419856/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=1756744 CPUtime=1794.54 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 428224 0 0 0 175714 3740 0 0 20 0 1 0 336344627 1798905856 432505 33554432000 4194304 8395647 140735062387632 140735062383464 6345229 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 439186 432505 624 1026 0 438156 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (KiB) 1756744
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11657
/proc/meminfo: memFree=23418864/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=1756744 CPUtime=1796.13 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 428224 0 0 0 175873 3740 0 0 20 0 1 0 336344627 1798905856 432505 33554432000 4194304 8395647 140735062387632 140735062383464 4664167 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 439186 432505 624 1026 0 438156 0
Current children cumulated CPU time (s) 1796.13
Current children cumulated vsize (KiB) 1756744
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11657
/proc/meminfo: memFree=23418864/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=1756744 CPUtime=1796.53 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 428224 0 0 0 175913 3740 0 0 20 0 1 0 336344627 1798905856 432505 33554432000 4194304 8395647 140735062387632 140735062383464 6345229 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 439186 432505 624 1026 0 438156 0
Current children cumulated CPU time (s) 1796.53
Current children cumulated vsize (KiB) 1756744
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11657
/proc/meminfo: memFree=23418740/32873648 swapFree=6864/6864
[pid=11581] ppid=11579 vsize=1756744 CPUtime=1796.93 cores=1,3,5,7
/proc/11581/stat : 11581 (pbscip.linux.x8) R 11579 11581 7869 0 -1 4202496 428225 0 0 0 175953 3740 0 0 20 0 1 0 336344627 1798905856 432505 33554432000 4194304 8395647 140735062387632 140735062383464 4723491 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11581/statm: 439186 432505 624 1026 0 438156 0
Current children cumulated CPU time (s) 1796.93
Current children cumulated vsize (KiB) 1756744
Child status: 0
Real time (s): 1797.54
CPU time (s): 1796.98
CPU user time (s): 1759.56
CPU system time (s): 37.4123
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 1756744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.56
system time used= 37.4123
maximum resident set size= 1730020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 428228
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= 447
involuntary context switches= 1852
runsolver used 2.68959 second user time and 7.2609 second system time
The end