0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3488786-1307772980.opb>
0.00/0.00 c original problem has 51 variables (51 bin, 0 int, 0 impl, 0 cont) and 13 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c (round 2) 1 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 1 deleted vars, 7 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.01 c 6 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 2.0.1.5
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1797
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c 0.0s| 1 | 0 | 32 | - | 293k| 0 | 6 | 50 | 20 | 50 | 6 | 0 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 107 | - | 341k| 0 | 9 | 50 | 28 | 50 | 11 | 5 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 113 | - | 372k| 0 | 9 | 50 | 28 | 50 | 15 | 9 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 119 | - | 401k| 0 | 11 | 50 | 28 | 50 | 20 | 14 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 121 | - | 410k| 0 | 13 | 50 | 28 | 50 | 22 | 16 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 125 | - | 417k| 0 | 16 | 50 | 28 | 50 | 24 | 18 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 131 | - | 422k| 0 | 17 | 50 | 28 | 50 | 26 | 20 | 14 | 0 | 0.000000e+00 | -- | Inf
0.00/0.07 c 0.1s| 1 | 2 | 131 | - | 423k| 0 | 17 | 50 | 28 | 50 | 26 | 20 | 14 | 12 | 0.000000e+00 | -- | Inf
1.49/1.58 c 1.6s| 10000 | 3714 | 23815 | 2.4 |3824k| 44 | - | 50 |2705 | 50 | 17 | 20 |4555 | 525 | 0.000000e+00 | -- | Inf
2.99/3.04 c 3.0s| 20000 | 6783 | 46937 | 2.3 |5582k| 44 | 6 | 50 |1625 | 50 | 17 | 20 |9534 | 689 | 0.000000e+00 | -- | Inf
4.39/4.44 c 4.4s| 30000 | 9660 | 70159 | 2.3 |7613k| 44 | 6 | 50 |2117 | 50 | 17 | 20 | 14k| 834 | 0.000000e+00 | -- | Inf
5.79/5.88 c 5.9s| 40000 | 12417 | 93400 | 2.3 |9475k| 44 | - | 50 |2032 | 50 | 17 | 20 | 19k| 939 | 0.000000e+00 | -- | Inf
7.29/7.32 c 7.3s| 50000 | 15036 |115928 | 2.3 | 11M| 44 | 6 | 50 |2050 | 50 | 17 | 20 | 25k|1009 | 0.000000e+00 | -- | Inf
8.69/8.75 c 8.8s| 60000 | 17766 |139171 | 2.3 | 13M| 44 | - | 50 |2316 | 50 | 17 | 20 | 30k|1072 | 0.000000e+00 | -- | Inf
10.19/10.22 c 10.2s| 70000 | 20303 |162081 | 2.3 | 14M| 44 | 6 | 50 |2133 | 50 | 17 | 20 | 35k|1138 | 0.000000e+00 | -- | Inf
11.59/11.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.59/11.63 c 11.6s| 80000 | 23147 |185106 | 2.3 | 17M| 44 | 6 | 50 |2698 | 50 | 17 | 20 | 40k|1193 | 0.000000e+00 | -- | Inf
13.09/13.14 c 13.1s| 90000 | 25522 |207479 | 2.3 | 18M| 44 | - | 50 |2204 | 50 | 17 | 20 | 46k|1238 | 0.000000e+00 | -- | Inf
14.49/14.53 c 14.5s|100000 | 28735 |230840 | 2.3 | 20M| 44 | - | 50 |2935 | 50 | 17 | 20 | 51k|1286 | 0.000000e+00 | -- | Inf
15.99/16.07 c 16.1s|110000 | 31114 |253391 | 2.3 | 22M| 44 | - | 50 |2818 | 50 | 17 | 20 | 56k|1340 | 0.000000e+00 | -- | Inf
17.49/17.58 c 17.6s|120000 | 33561 |276551 | 2.3 | 24M| 44 | - | 50 |2745 | 50 | 17 | 20 | 61k|1394 | 0.000000e+00 | -- | Inf
19.09/19.11 c 19.1s|130000 | 35955 |299475 | 2.3 | 26M| 44 | - | 50 |2891 | 50 | 17 | 20 | 67k|1440 | 0.000000e+00 | -- | Inf
20.49/20.59 c 20.6s|140000 | 38367 |321748 | 2.3 | 28M| 44 | - | 50 |3106 | 50 | 17 | 20 | 72k|1480 | 0.000000e+00 | -- | Inf
22.00/22.10 c 22.1s|150000 | 40977 |343970 | 2.3 | 30M| 44 | 6 | 50 |3316 | 50 | 17 | 20 | 78k|1532 | 0.000000e+00 | -- | Inf
23.69/23.71 c 23.7s|160000 | 43087 |366508 | 2.3 | 31M| 44 | - | 50 |2928 | 50 | 17 | 20 | 83k|1576 | 0.000000e+00 | -- | Inf
25.19/25.25 c 25.3s|170000 | 45459 |388905 | 2.3 | 33M| 44 | 6 | 50 |3214 | 50 | 17 | 20 | 89k|1608 | 0.000000e+00 | -- | Inf
26.79/26.82 c 26.8s|180000 | 47713 |411110 | 2.3 | 35M| 44 | - | 50 |3175 | 50 | 17 | 20 | 94k|1644 | 0.000000e+00 | -- | Inf
28.29/28.35 c 28.3s|190000 | 50229 |434040 | 2.3 | 37M| 44 | 6 | 50 |3581 | 50 | 17 | 20 | 100k|1679 | 0.000000e+00 | -- | Inf
29.89/29.95 c 29.9s|200000 | 52492 |456211 | 2.3 | 39M| 44 | - | 50 |2817 | 0 | 0 | 20 | 105k|1719 | 0.000000e+00 | -- | Inf
31.49/31.52 c 31.5s|210000 | 54648 |478838 | 2.3 | 40M| 44 | - | 50 |3107 | 50 | 17 | 20 | 111k|1752 | 0.000000e+00 | -- | Inf
33.00/33.04 c 33.0s|220000 | 57093 |501251 | 2.3 | 42M| 44 | 6 | 50 |3042 | 50 | 17 | 20 | 116k|1792 | 0.000000e+00 | -- | Inf
34.50/34.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.50/34.58 c 34.6s|230000 | 59473 |523730 | 2.3 | 44M| 44 | - | 50 |3516 | 50 | 17 | 20 | 122k|1832 | 0.000000e+00 | -- | Inf
36.09/36.15 c 36.1s|240000 | 61841 |546167 | 2.3 | 46M| 44 | - | 50 |3612 | 0 | 0 | 20 | 127k|1869 | 0.000000e+00 | -- | Inf
37.69/37.75 c 37.8s|250000 | 63932 |568610 | 2.3 | 48M| 44 | - | 50 |3359 | 0 | 0 | 20 | 133k|1905 | 0.000000e+00 | -- | Inf
39.29/39.33 c 39.3s|260000 | 66134 |590695 | 2.3 | 49M| 44 | 6 | 50 |3553 | 50 | 17 | 20 | 138k|1940 | 0.000000e+00 | -- | Inf
40.89/40.91 c 40.9s|270000 | 68415 |613484 | 2.3 | 51M| 44 | - | 50 |3454 | 50 | 17 | 20 | 144k|1979 | 0.000000e+00 | -- | Inf
42.39/42.46 c 42.5s|280000 | 70643 |635667 | 2.3 | 53M| 44 | 6 | 50 |3164 | 50 | 17 | 20 | 149k|2011 | 0.000000e+00 | -- | Inf
44.00/44.06 c 44.1s|290000 | 72583 |658094 | 2.3 | 55M| 44 | 6 | 50 |3666 | 50 | 17 | 20 | 155k|2046 | 0.000000e+00 | -- | Inf
45.59/45.65 c 45.7s|300000 | 74845 |680139 | 2.3 | 56M| 44 | - | 50 |3933 | 0 | 0 | 20 | 160k|2085 | 0.000000e+00 | -- | Inf
47.19/47.28 c 47.3s|310000 | 76885 |702224 | 2.3 | 58M| 44 | 6 | 50 |3441 | 50 | 17 | 20 | 166k|2123 | 0.000000e+00 | -- | Inf
48.79/48.81 c 48.8s|320000 | 79153 |723940 | 2.3 | 60M| 44 | - | 50 |3904 | 50 | 17 | 20 | 171k|2155 | 0.000000e+00 | -- | Inf
50.39/50.45 c 50.4s|330000 | 81291 |746380 | 2.3 | 62M| 44 | 6 | 50 |3850 | 50 | 17 | 20 | 177k|2190 | 0.000000e+00 | -- | Inf
52.09/52.13 c 52.1s|340000 | 83280 |768368 | 2.3 | 63M| 44 | - | 50 |3362 | 50 | 17 | 20 | 183k|2214 | 0.000000e+00 | -- | Inf
53.60/53.60 c 53.6s|350000 | 86124 |791263 | 2.3 | 66M| 44 | - | 50 |5085 | 0 | 0 | 20 | 188k|2243 | 0.000000e+00 | -- | Inf
55.19/55.28 c 55.3s|360000 | 88433 |813676 | 2.3 | 67M| 44 | 6 | 50 |3617 | 50 | 17 | 20 | 193k|2282 | 0.000000e+00 | -- | Inf
56.89/56.93 c 56.9s|370000 | 90527 |835957 | 2.3 | 69M| 44 | 6 | 50 |3407 | 50 | 17 | 20 | 199k|2322 | 0.000000e+00 | -- | Inf
58.50/58.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.50/58.57 c 58.6s|380000 | 92574 |858438 | 2.3 | 71M| 44 | 6 | 50 |3867 | 50 | 17 | 20 | 204k|2351 | 0.000000e+00 | -- | Inf
60.09/60.18 c 60.2s|390000 | 94830 |880404 | 2.3 | 72M| 44 | - | 50 |3828 | 50 | 17 | 20 | 210k|2384 | 0.000000e+00 | -- | Inf
61.79/61.81 c 61.8s|400000 | 96919 |902841 | 2.3 | 74M| 44 | 6 | 50 |4007 | 50 | 17 | 20 | 215k|2421 | 0.000000e+00 | -- | Inf
63.39/63.47 c 63.5s|410000 | 99001 |925274 | 2.3 | 76M| 44 | 6 | 50 |4028 | 50 | 17 | 20 | 221k|2451 | 0.000000e+00 | -- | Inf
64.99/65.05 c 65.0s|420000 |101490 |948005 | 2.3 | 78M| 44 | 6 | 50 |4263 | 50 | 17 | 20 | 226k|2481 | 0.000000e+00 | -- | Inf
66.59/66.69 c 66.7s|430000 |103672 |969992 | 2.3 | 79M| 44 | - | 50 |4029 | 50 | 17 | 20 | 232k|2507 | 0.000000e+00 | -- | Inf
68.19/68.26 c 68.3s|440000 |106032 |991765 | 2.3 | 81M| 44 | 6 | 50 |4151 | 50 | 17 | 20 | 237k|2540 | 0.000000e+00 | -- | Inf
69.89/69.91 c 69.9s|450000 |108178 | 1014k| 2.3 | 83M| 44 | - | 50 |4169 | 50 | 17 | 20 | 243k|2564 | 0.000000e+00 | -- | Inf
71.50/71.57 c 71.6s|460000 |110275 | 1036k| 2.3 | 85M| 44 | 6 | 50 |3910 | 50 | 17 | 20 | 248k|2595 | 0.000000e+00 | -- | Inf
73.19/73.20 c 73.2s|470000 |112400 | 1058k| 2.3 | 86M| 44 | 6 | 50 |3852 | 50 | 17 | 20 | 254k|2612 | 0.000000e+00 | -- | Inf
74.90/74.90 c 74.9s|480000 |114199 | 1079k| 2.2 | 88M| 44 | 6 | 50 |3215 | 50 | 17 | 20 | 260k|2640 | 0.000000e+00 | -- | Inf
76.49/76.51 c 76.5s|490000 |116372 | 1102k| 2.2 | 90M| 44 | - | 50 |3722 | 50 | 17 | 20 | 265k|2675 | 0.000000e+00 | -- | Inf
78.10/78.18 c 78.2s|500000 |118493 | 1125k| 2.3 | 92M| 44 | 6 | 50 |4636 | 50 | 17 | 20 | 271k|2706 | 0.000000e+00 | -- | Inf
79.79/79.87 c 79.9s|510000 |120531 | 1147k| 2.2 | 93M| 44 | - | 50 |4667 | 0 | 0 | 20 | 277k|2731 | 0.000000e+00 | -- | Inf
81.50/81.56 c 81.6s|520000 |122548 | 1169k| 2.2 | 95M| 44 | 6 | 50 |4582 | 50 | 17 | 20 | 282k|2768 | 0.000000e+00 | -- | Inf
83.19/83.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.19/83.23 c 83.2s|530000 |124675 | 1191k| 2.2 | 97M| 44 | - | 50 |4557 | 50 | 17 | 20 | 288k|2792 | 0.000000e+00 | -- | Inf
84.89/84.95 c 84.9s|540000 |126765 | 1213k| 2.2 | 99M| 44 | 6 | 50 |4309 | 50 | 17 | 20 | 293k|2813 | 0.000000e+00 | -- | Inf
86.59/86.60 c 86.6s|550000 |128856 | 1236k| 2.2 | 100M| 44 | - | 50 |4049 | 50 | 17 | 20 | 299k|2836 | 0.000000e+00 | -- | Inf
88.29/88.31 c 88.3s|560000 |130753 | 1258k| 2.2 | 102M| 44 | - | 50 |4014 | 50 | 17 | 20 | 304k|2860 | 0.000000e+00 | -- | Inf
89.89/89.97 c 90.0s|570000 |132908 | 1280k| 2.2 | 103M| 44 | 6 | 50 |3646 | 50 | 17 | 20 | 310k|2885 | 0.000000e+00 | -- | Inf
91.59/91.61 c 91.6s|580000 |134991 | 1303k| 2.2 | 105M| 44 | 6 | 50 |3927 | 50 | 17 | 20 | 315k|2905 | 0.000000e+00 | -- | Inf
93.19/93.24 c 93.2s|590000 |137081 | 1325k| 2.2 | 107M| 44 | 6 | 50 |3979 | 50 | 17 | 20 | 321k|2929 | 0.000000e+00 | -- | Inf
94.80/94.88 c 94.9s|600000 |139201 | 1347k| 2.2 | 109M| 44 | - | 50 |4234 | 50 | 17 | 20 | 326k|2943 | 0.000000e+00 | -- | Inf
96.49/96.52 c 96.5s|610000 |141263 | 1369k| 2.2 | 110M| 44 | 6 | 50 |4575 | 50 | 17 | 20 | 332k|2967 | 0.000000e+00 | -- | Inf
98.09/98.18 c 98.2s|620000 |143405 | 1391k| 2.2 | 112M| 44 | - | 50 |4331 | 50 | 17 | 20 | 337k|2993 | 0.000000e+00 | -- | Inf
99.90/99.90 c 99.9s|630000 |145323 | 1414k| 2.2 | 114M| 44 | - | 50 |4261 | 50 | 17 | 20 | 343k|3011 | 0.000000e+00 | -- | Inf
101.59/101.60 c 102s|640000 |147428 | 1437k| 2.2 | 116M| 44 | 6 | 50 |4962 | 50 | 17 | 20 | 349k|3030 | 0.000000e+00 | -- | Inf
103.30/103.33 c 103s|650000 |149472 | 1459k| 2.2 | 117M| 44 | 6 | 50 |4625 | 50 | 17 | 20 | 354k|3054 | 0.000000e+00 | -- | Inf
104.99/105.02 c 105s|660000 |151811 | 1482k| 2.2 | 119M| 44 | 6 | 50 |4954 | 50 | 17 | 20 | 360k|3078 | 0.000000e+00 | -- | Inf
106.59/106.68 c 107s|670000 |154097 | 1504k| 2.2 | 121M| 44 | 6 | 50 |5973 | 50 | 17 | 20 | 365k|3104 | 0.000000e+00 | -- | Inf
108.40/108.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
108.40/108.44 c 108s|680000 |156285 | 1526k| 2.2 | 123M| 44 | - | 50 |5179 | 50 | 17 | 20 | 370k|3124 | 0.000000e+00 | -- | Inf
110.20/110.24 c 110s|690000 |158269 | 1548k| 2.2 | 124M| 44 | 6 | 50 |4512 | 50 | 17 | 20 | 376k|3142 | 0.000000e+00 | -- | Inf
111.90/111.95 c 112s|700000 |160257 | 1571k| 2.2 | 126M| 44 | - | 50 |4771 | 50 | 17 | 20 | 382k|3167 | 0.000000e+00 | -- | Inf
113.69/113.76 c 114s|710000 |162087 | 1594k| 2.2 | 128M| 44 | 6 | 50 |3598 | 50 | 17 | 20 | 388k|3188 | 0.000000e+00 | -- | Inf
115.29/115.38 c 115s|720000 |164156 | 1617k| 2.2 | 129M| 44 | - | 50 |4167 | 50 | 17 | 20 | 393k|3206 | 0.000000e+00 | -- | Inf
117.00/117.05 c 117s|730000 |166354 | 1639k| 2.2 | 131M| 44 | 6 | 50 |4475 | 50 | 17 | 20 | 399k|3221 | 0.000000e+00 | -- | Inf
118.69/118.75 c 119s|740000 |168323 | 1661k| 2.2 | 133M| 44 | 6 | 50 |4477 | 50 | 17 | 20 | 404k|3234 | 0.000000e+00 | -- | Inf
120.40/120.44 c 120s|750000 |170564 | 1683k| 2.2 | 135M| 44 | 6 | 50 |4992 | 50 | 17 | 20 | 409k|3269 | 0.000000e+00 | -- | Inf
122.09/122.19 c 122s|760000 |172716 | 1706k| 2.2 | 137M| 44 | 6 | 50 |5258 | 50 | 17 | 20 | 415k|3287 | 0.000000e+00 | -- | Inf
123.79/123.86 c 124s|770000 |174975 | 1729k| 2.2 | 139M| 44 | 6 | 50 |6690 | 50 | 17 | 20 | 421k|3299 | 0.000000e+00 | -- | Inf
125.60/125.68 c 126s|780000 |177090 | 1751k| 2.2 | 140M| 44 | 6 | 50 |5396 | 50 | 17 | 20 | 426k|3317 | 0.000000e+00 | -- | Inf
127.30/127.37 c 127s|790000 |179395 | 1774k| 2.2 | 142M| 44 | - | 50 |5518 | 50 | 17 | 20 | 431k|3332 | 0.000000e+00 | -- | Inf
129.09/129.11 c 129s|800000 |181695 | 1796k| 2.2 | 144M| 44 | 6 | 50 |5500 | 50 | 17 | 20 | 437k|3348 | 0.000000e+00 | -- | Inf
130.90/130.93 c 131s|810000 |183624 | 1818k| 2.2 | 146M| 44 | 6 | 50 |4957 | 50 | 17 | 20 | 443k|3371 | 0.000000e+00 | -- | Inf
132.70/132.70 c 133s|820000 |185469 | 1840k| 2.2 | 147M| 44 | 6 | 50 |5190 | 50 | 17 | 20 | 448k|3397 | 0.000000e+00 | -- | Inf
134.50/134.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.50/134.52 c 135s|830000 |187274 | 1862k| 2.2 | 149M| 44 | - | 50 |4142 | 50 | 17 | 20 | 454k|3411 | 0.000000e+00 | -- | Inf
136.20/136.24 c 136s|840000 |189223 | 1884k| 2.2 | 150M| 44 | - | 50 |4227 | 50 | 17 | 20 | 460k|3427 | 0.000000e+00 | -- | Inf
137.90/137.97 c 138s|850000 |191332 | 1907k| 2.2 | 152M| 44 | 6 | 50 |4924 | 50 | 17 | 20 | 465k|3444 | 0.000000e+00 | -- | Inf
139.70/139.74 c 140s|860000 |193237 | 1929k| 2.2 | 154M| 44 | 6 | 50 |4717 | 50 | 17 | 20 | 471k|3461 | 0.000000e+00 | -- | Inf
141.49/141.50 c 142s|870000 |195132 | 1951k| 2.2 | 155M| 44 | - | 50 |4791 | 50 | 17 | 20 | 477k|3475 | 0.000000e+00 | -- | Inf
143.20/143.23 c 143s|880000 |197067 | 1973k| 2.2 | 157M| 44 | 6 | 50 |4616 | 50 | 17 | 20 | 482k|3491 | 0.000000e+00 | -- | Inf
145.00/145.04 c 145s|890000 |198776 | 1995k| 2.2 | 158M| 44 | 6 | 50 |4209 | 50 | 17 | 20 | 488k|3518 | 0.000000e+00 | -- | Inf
146.60/146.67 c 147s|900000 |201055 | 2018k| 2.2 | 161M| 44 | 6 | 50 |5459 | 50 | 17 | 20 | 494k|3539 | 0.000000e+00 | -- | Inf
148.40/148.43 c 148s|910000 |203205 | 2040k| 2.2 | 162M| 44 | - | 50 |4880 | 50 | 17 | 20 | 499k|3560 | 0.000000e+00 | -- | Inf
150.20/150.24 c 150s|920000 |204998 | 2062k| 2.2 | 164M| 44 | - | 50 |4541 | 50 | 17 | 20 | 505k|3579 | 0.000000e+00 | -- | Inf
151.90/151.96 c 152s|930000 |206897 | 2085k| 2.2 | 166M| 44 | 6 | 50 |5316 | 50 | 17 | 20 | 510k|3596 | 0.000000e+00 | -- | Inf
153.80/153.83 c 154s|940000 |208693 | 2107k| 2.2 | 167M| 44 | 6 | 50 |4637 | 50 | 17 | 20 | 516k|3614 | 0.000000e+00 | -- | Inf
155.49/155.54 c 156s|950000 |210674 | 2130k| 2.2 | 169M| 44 | - | 50 |5904 | 0 | 0 | 20 | 522k|3633 | 0.000000e+00 | -- | Inf
157.20/157.25 c 157s|960000 |213051 | 2152k| 2.2 | 171M| 44 | 6 | 50 |5476 | 50 | 17 | 20 | 527k|3649 | 0.000000e+00 | -- | Inf
159.09/159.10 c 159s|970000 |214867 | 2175k| 2.2 | 172M| 44 | 6 | 50 |4787 | 50 | 17 | 20 | 533k|3666 | 0.000000e+00 | -- | Inf
160.70/160.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.70/160.78 c 161s|980000 |217065 | 2196k| 2.2 | 174M| 44 | - | 50 |5428 | 50 | 17 | 20 | 538k|3687 | 0.000000e+00 | -- | Inf
162.39/162.48 c 162s|990000 |219364 | 2219k| 2.2 | 176M| 44 | - | 50 |5615 | 50 | 17 | 20 | 543k|3702 | 0.000000e+00 | -- | Inf
164.19/164.27 c 164s| 1000k|221516 | 2241k| 2.2 | 177M| 44 | 6 | 50 |4754 | 50 | 17 | 20 | 549k|3720 | 0.000000e+00 | -- | Inf
166.10/166.13 c 166s| 1010k|223259 | 2264k| 2.2 | 179M| 44 | 6 | 50 |4824 | 50 | 17 | 20 | 555k|3746 | 0.000000e+00 | -- | Inf
167.80/167.89 c 168s| 1020k|225230 | 2286k| 2.2 | 181M| 44 | 6 | 50 |4614 | 50 | 17 | 20 | 560k|3765 | 0.000000e+00 | -- | Inf
169.70/169.75 c 170s| 1030k|226922 | 2308k| 2.2 | 182M| 44 | - | 50 |4794 | 50 | 17 | 20 | 566k|3785 | 0.000000e+00 | -- | Inf
171.50/171.52 c 172s| 1040k|228769 | 2331k| 2.2 | 184M| 44 | 6 | 50 |5416 | 50 | 17 | 20 | 572k|3806 | 0.000000e+00 | -- | Inf
173.19/173.29 c 173s| 1050k|230817 | 2352k| 2.2 | 186M| 44 | - | 50 |4640 | 50 | 17 | 20 | 577k|3818 | 0.000000e+00 | -- | Inf
175.01/175.05 c 175s| 1060k|232690 | 2374k| 2.2 | 187M| 44 | 6 | 50 |4744 | 50 | 17 | 20 | 583k|3832 | 0.000000e+00 | -- | Inf
176.80/176.85 c 177s| 1070k|234385 | 2396k| 2.2 | 189M| 44 | 6 | 50 |4024 | 50 | 17 | 20 | 589k|3848 | 0.000000e+00 | -- | Inf
178.49/178.54 c 179s| 1080k|236487 | 2418k| 2.2 | 191M| 44 | - | 50 |4777 | 50 | 17 | 20 | 594k|3863 | 0.000000e+00 | -- | Inf
180.29/180.30 c 180s| 1090k|238410 | 2441k| 2.2 | 192M| 44 | - | 50 |4410 | 50 | 17 | 20 | 600k|3878 | 0.000000e+00 | -- | Inf
181.90/181.98 c 182s| 1100k|240379 | 2464k| 2.2 | 194M| 44 | - | 50 |5126 | 50 | 17 | 20 | 606k|3896 | 0.000000e+00 | -- | Inf
183.70/183.73 c 184s| 1110k|242343 | 2486k| 2.2 | 195M| 44 | 6 | 50 |4305 | 50 | 17 | 20 | 611k|3914 | 0.000000e+00 | -- | Inf
185.49/185.50 c 186s| 1120k|244156 | 2509k| 2.2 | 197M| 44 | 6 | 50 |4537 | 50 | 17 | 20 | 617k|3942 | 0.000000e+00 | -- | Inf
187.19/187.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.19/187.23 c 187s| 1130k|246116 | 2531k| 2.2 | 199M| 44 | 6 | 50 |5087 | 50 | 17 | 20 | 623k|3957 | 0.000000e+00 | -- | Inf
189.10/189.13 c 189s| 1140k|247818 | 2553k| 2.2 | 200M| 44 | 6 | 50 |4315 | 50 | 17 | 20 | 628k|3984 | 0.000000e+00 | -- | Inf
190.80/190.87 c 191s| 1150k|249668 | 2575k| 2.2 | 202M| 44 | 6 | 50 |4701 | 50 | 17 | 20 | 634k|4002 | 0.000000e+00 | -- | Inf
192.50/192.53 c 193s| 1160k|251911 | 2597k| 2.2 | 204M| 44 | - | 50 |5392 | 50 | 17 | 20 | 639k|4023 | 0.000000e+00 | -- | Inf
194.40/194.43 c 194s| 1170k|253766 | 2620k| 2.2 | 205M| 44 | 6 | 50 |4485 | 50 | 17 | 20 | 645k|4043 | 0.000000e+00 | -- | Inf
196.19/196.20 c 196s| 1180k|255562 | 2642k| 2.2 | 207M| 44 | - | 50 |5073 | 0 | 0 | 20 | 651k|4061 | 0.000000e+00 | -- | Inf
198.00/198.01 c 198s| 1190k|257428 | 2664k| 2.2 | 209M| 44 | 6 | 50 |3950 | 50 | 17 | 20 | 656k|4076 | 0.000000e+00 | -- | Inf
199.69/199.74 c 200s| 1200k|259312 | 2687k| 2.2 | 210M| 44 | - | 50 |4745 | 0 | 0 | 20 | 662k|4089 | 0.000000e+00 | -- | Inf
201.50/201.58 c 202s| 1210k|261149 | 2709k| 2.2 | 212M| 44 | 6 | 50 |4320 | 50 | 17 | 20 | 668k|4103 | 0.000000e+00 | -- | Inf
203.29/203.31 c 203s| 1220k|263277 | 2731k| 2.2 | 214M| 44 | - | 50 |4628 | 50 | 17 | 20 | 673k|4121 | 0.000000e+00 | -- | Inf
205.10/205.14 c 205s| 1230k|265097 | 2753k| 2.2 | 215M| 44 | 6 | 50 |4271 | 50 | 17 | 20 | 679k|4143 | 0.000000e+00 | -- | Inf
206.80/206.80 c 207s| 1240k|267160 | 2776k| 2.2 | 217M| 44 | 6 | 50 |5633 | 50 | 17 | 20 | 685k|4161 | 0.000000e+00 | -- | Inf
208.70/208.72 c 209s| 1250k|268824 | 2798k| 2.2 | 218M| 44 | - | 50 |4467 | 50 | 17 | 20 | 691k|4174 | 0.000000e+00 | -- | Inf
210.50/210.51 c 211s| 1260k|270571 | 2820k| 2.2 | 220M| 44 | - | 50 |4481 | 50 | 17 | 20 | 696k|4193 | 0.000000e+00 | -- | Inf
212.19/212.28 c 212s| 1270k|272626 | 2842k| 2.2 | 222M| 44 | 6 | 50 |4475 | 50 | 17 | 20 | 702k|4209 | 0.000000e+00 | -- | Inf
213.89/213.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
213.89/213.90 c 214s| 1280k|275538 | 2865k| 2.2 | 224M| 44 | 6 | 50 |6548 | 50 | 17 | 20 | 707k|4222 | 0.000000e+00 | -- | Inf
215.71/215.70 c 216s| 1290k|277962 | 2888k| 2.2 | 226M| 44 | 6 | 50 |7236 | 50 | 17 | 20 | 712k|4238 | 0.000000e+00 | -- | Inf
217.70/217.71 c 218s| 1300k|279928 | 2911k| 2.2 | 228M| 44 | 6 | 50 |5679 | 50 | 17 | 20 | 718k|4253 | 0.000000e+00 | -- | Inf
219.60/219.60 c 220s| 1310k|281752 | 2933k| 2.2 | 229M| 44 | 6 | 50 |5345 | 50 | 17 | 20 | 724k|4268 | 0.000000e+00 | -- | Inf
221.50/221.53 c 222s| 1320k|283355 | 2955k| 2.2 | 231M| 44 | 6 | 50 |5052 | 50 | 17 | 20 | 730k|4282 | 0.000000e+00 | -- | Inf
223.10/223.16 c 223s| 1330k|286049 | 2978k| 2.2 | 233M| 44 | 6 | 50 |6013 | 50 | 17 | 20 | 734k|4303 | 0.000000e+00 | -- | Inf
224.99/225.07 c 225s| 1340k|287990 | 3000k| 2.2 | 234M| 44 | 6 | 50 |4704 | 50 | 17 | 20 | 740k|4316 | 0.000000e+00 | -- | Inf
226.79/226.85 c 227s| 1350k|289953 | 3022k| 2.2 | 236M| 44 | 6 | 50 |5065 | 50 | 17 | 20 | 746k|4333 | 0.000000e+00 | -- | Inf
228.60/228.65 c 229s| 1360k|292053 | 3046k| 2.2 | 238M| 44 | - | 50 |5554 | 50 | 17 | 20 | 751k|4349 | 0.000000e+00 | -- | Inf
230.49/230.50 c 230s| 1370k|293982 | 3068k| 2.2 | 239M| 44 | - | 50 |5486 | 50 | 17 | 20 | 757k|4361 | 0.000000e+00 | -- | Inf
232.20/232.22 c 232s| 1380k|296283 | 3091k| 2.2 | 241M| 44 | 6 | 50 |6490 | 50 | 17 | 20 | 762k|4380 | 0.000000e+00 | -- | Inf
234.00/234.03 c 234s| 1390k|298322 | 3113k| 2.2 | 243M| 44 | - | 50 |6789 | 50 | 17 | 20 | 768k|4393 | 0.000000e+00 | -- | Inf
235.90/235.99 c 236s| 1400k|300111 | 3137k| 2.2 | 245M| 44 | 6 | 50 |6219 | 50 | 17 | 20 | 773k|4407 | 0.000000e+00 | -- | Inf
237.79/237.83 c 238s| 1410k|302153 | 3160k| 2.2 | 247M| 44 | 6 | 50 |6879 | 50 | 17 | 20 | 779k|4422 | 0.000000e+00 | -- | Inf
239.70/239.79 c 240s| 1420k|304098 | 3182k| 2.2 | 248M| 44 | 6 | 50 |5329 | 50 | 17 | 20 | 784k|4438 | 0.000000e+00 | -- | Inf
241.39/241.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.39/241.48 c 241s| 1430k|306548 | 3206k| 2.2 | 250M| 44 | 6 | 50 |6949 | 50 | 17 | 20 | 789k|4448 | 0.000000e+00 | -- | Inf
243.40/243.42 c 243s| 1440k|308640 | 3229k| 2.2 | 252M| 44 | - | 50 |6313 | 0 | 0 | 20 | 795k|4463 | 0.000000e+00 | -- | Inf
245.30/245.32 c 245s| 1450k|310723 | 3252k| 2.2 | 253M| 44 | 6 | 50 |6178 | 50 | 17 | 20 | 801k|4475 | 0.000000e+00 | -- | Inf
247.19/247.25 c 247s| 1460k|312516 | 3274k| 2.2 | 255M| 44 | - | 50 |5791 | 50 | 17 | 20 | 806k|4489 | 0.000000e+00 | -- | Inf
249.09/249.11 c 249s| 1470k|314451 | 3296k| 2.2 | 257M| 44 | 6 | 50 |5973 | 50 | 17 | 20 | 812k|4509 | 0.000000e+00 | -- | Inf
250.80/250.86 c 251s| 1480k|316614 | 3318k| 2.2 | 259M| 44 | 6 | 50 |7114 | 50 | 17 | 20 | 817k|4527 | 0.000000e+00 | -- | Inf
252.79/252.85 c 253s| 1490k|318508 | 3341k| 2.2 | 260M| 44 | - | 50 |5513 | 50 | 17 | 20 | 823k|4542 | 0.000000e+00 | -- | Inf
254.80/254.80 c 255s| 1500k|320191 | 3362k| 2.2 | 261M| 44 | 6 | 50 |4697 | 50 | 17 | 20 | 829k|4561 | 0.000000e+00 | -- | Inf
256.50/256.57 c 257s| 1510k|322035 | 3385k| 2.2 | 263M| 44 | - | 50 |5337 | 50 | 17 | 20 | 834k|4576 | 0.000000e+00 | -- | Inf
258.30/258.36 c 258s| 1520k|324090 | 3409k| 2.2 | 265M| 44 | 6 | 50 |5160 | 50 | 17 | 20 | 840k|4589 | 0.000000e+00 | -- | Inf
260.20/260.25 c 260s| 1530k|325787 | 3431k| 2.2 | 266M| 44 | 6 | 50 |4803 | 50 | 17 | 20 | 846k|4603 | 0.000000e+00 | -- | Inf
262.00/262.01 c 262s| 1540k|327693 | 3454k| 2.2 | 268M| 44 | 6 | 50 |5735 | 50 | 17 | 20 | 852k|4619 | 0.000000e+00 | -- | Inf
263.80/263.82 c 264s| 1550k|329658 | 3476k| 2.2 | 270M| 44 | 6 | 50 |6070 | 50 | 17 | 20 | 857k|4635 | 0.000000e+00 | -- | Inf
265.60/265.66 c 266s| 1560k|331712 | 3498k| 2.2 | 272M| 44 | 6 | 50 |5419 | 50 | 17 | 20 | 863k|4654 | 0.000000e+00 | -- | Inf
267.50/267.51 c 268s| 1570k|333553 | 3520k| 2.2 | 273M| 44 | 6 | 50 |4572 | 50 | 17 | 20 | 868k|4664 | 0.000000e+00 | -- | Inf
269.29/269.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
269.29/269.30 c 269s| 1580k|335414 | 3543k| 2.2 | 275M| 44 | 6 | 50 |5360 | 50 | 17 | 20 | 874k|4680 | 0.000000e+00 | -- | Inf
271.19/271.20 c 271s| 1590k|337119 | 3565k| 2.2 | 276M| 44 | - | 50 |4932 | 50 | 17 | 20 | 880k|4694 | 0.000000e+00 | -- | Inf
273.09/273.13 c 273s| 1600k|338802 | 3588k| 2.2 | 278M| 44 | 6 | 50 |4822 | 50 | 17 | 20 | 885k|4704 | 0.000000e+00 | -- | Inf
275.00/275.02 c 275s| 1610k|340568 | 3610k| 2.2 | 279M| 44 | - | 50 |4880 | 0 | 0 | 20 | 891k|4716 | 0.000000e+00 | -- | Inf
276.90/276.92 c 277s| 1620k|342339 | 3632k| 2.2 | 281M| 44 | 6 | 50 |4513 | 50 | 17 | 20 | 897k|4731 | 0.000000e+00 | -- | Inf
278.60/278.68 c 279s| 1630k|344315 | 3655k| 2.2 | 283M| 44 | 6 | 50 |4958 | 50 | 17 | 20 | 902k|4742 | 0.000000e+00 | -- | Inf
280.29/280.38 c 280s| 1640k|346513 | 3677k| 2.2 | 285M| 44 | 6 | 50 |5595 | 50 | 17 | 20 | 908k|4759 | 0.000000e+00 | -- | Inf
282.20/282.27 c 282s| 1650k|348319 | 3699k| 2.2 | 286M| 44 | 6 | 50 |4937 | 50 | 17 | 20 | 914k|4776 | 0.000000e+00 | -- | Inf
284.10/284.10 c 284s| 1660k|350100 | 3722k| 2.2 | 288M| 44 | 6 | 50 |5187 | 50 | 17 | 20 | 919k|4787 | 0.000000e+00 | -- | Inf
285.90/285.97 c 286s| 1670k|351800 | 3744k| 2.2 | 289M| 44 | 6 | 50 |4821 | 50 | 17 | 20 | 925k|4803 | 0.000000e+00 | -- | Inf
287.79/287.80 c 288s| 1680k|353617 | 3766k| 2.2 | 291M| 44 | - | 50 |4652 | 50 | 17 | 20 | 931k|4823 | 0.000000e+00 | -- | Inf
289.50/289.52 c 290s| 1690k|355614 | 3788k| 2.2 | 293M| 44 | - | 50 |5991 | 50 | 17 | 20 | 936k|4838 | 0.000000e+00 | -- | Inf
291.30/291.33 c 291s| 1700k|357743 | 3811k| 2.2 | 295M| 44 | - | 50 |6524 | 50 | 17 | 20 | 942k|4856 | 0.000000e+00 | -- | Inf
292.99/293.08 c 293s| 1710k|360271 | 3833k| 2.2 | 297M| 44 | 6 | 50 |7724 | 50 | 17 | 20 | 947k|4870 | 0.000000e+00 | -- | Inf
295.10/295.15 c 295s| 1720k|362123 | 3856k| 2.2 | 298M| 44 | 6 | 50 |6060 | 50 | 17 | 20 | 952k|4885 | 0.000000e+00 | -- | Inf
297.00/297.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
297.00/297.07 c 297s| 1730k|364145 | 3878k| 2.2 | 300M| 44 | 6 | 50 |5547 | 50 | 17 | 20 | 958k|4907 | 0.000000e+00 | -- | Inf
298.99/299.09 c 299s| 1740k|365863 | 3901k| 2.2 | 301M| 44 | 6 | 50 |4505 | 50 | 17 | 20 | 963k|4918 | 0.000000e+00 | -- | Inf
300.90/300.93 c 301s| 1750k|367682 | 3924k| 2.2 | 303M| 44 | - | 50 |5972 | 50 | 17 | 20 | 969k|4929 | 0.000000e+00 | -- | Inf
302.70/302.74 c 303s| 1760k|369787 | 3947k| 2.2 | 305M| 44 | 6 | 50 |6923 | 50 | 17 | 20 | 975k|4943 | 0.000000e+00 | -- | Inf
304.60/304.66 c 305s| 1770k|371820 | 3970k| 2.2 | 306M| 44 | - | 50 |6367 | 50 | 17 | 20 | 980k|4955 | 0.000000e+00 | -- | Inf
306.60/306.63 c 307s| 1780k|373510 | 3992k| 2.2 | 308M| 44 | - | 50 |5749 | 50 | 17 | 20 | 986k|4972 | 0.000000e+00 | -- | Inf
308.50/308.55 c 309s| 1790k|375396 | 4014k| 2.2 | 309M| 44 | 6 | 50 |4822 | 50 | 17 | 20 | 992k|4985 | 0.000000e+00 | -- | Inf
310.30/310.37 c 310s| 1800k|377201 | 4036k| 2.2 | 311M| 44 | 6 | 50 |5334 | 50 | 17 | 20 | 997k|5010 | 0.000000e+00 | -- | Inf
312.30/312.33 c 312s| 1810k|378888 | 4058k| 2.2 | 312M| 44 | - | 50 |4824 | 50 | 17 | 20 |1003k|5024 | 0.000000e+00 | -- | Inf
314.20/314.28 c 314s| 1820k|380555 | 4081k| 2.2 | 314M| 44 | - | 50 |5049 | 0 | 0 | 20 |1009k|5035 | 0.000000e+00 | -- | Inf
316.20/316.20 c 316s| 1830k|382202 | 4103k| 2.2 | 315M| 44 | 6 | 50 |4525 | 50 | 17 | 20 |1015k|5057 | 0.000000e+00 | -- | Inf
317.90/317.99 c 318s| 1840k|384168 | 4125k| 2.2 | 317M| 44 | 6 | 50 |5316 | 50 | 17 | 20 |1020k|5071 | 0.000000e+00 | -- | Inf
319.80/319.85 c 320s| 1850k|385968 | 4147k| 2.2 | 319M| 44 | 6 | 50 |5145 | 50 | 17 | 20 |1026k|5083 | 0.000000e+00 | -- | Inf
321.69/321.76 c 322s| 1860k|387559 | 4170k| 2.2 | 320M| 44 | - | 50 |4411 | 0 | 0 | 20 |1032k|5096 | 0.000000e+00 | -- | Inf
323.59/323.62 c 324s| 1870k|389193 | 4192k| 2.2 | 321M| 44 | 6 | 50 |4587 | 50 | 17 | 20 |1038k|5111 | 0.000000e+00 | -- | Inf
325.40/325.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
325.40/325.47 c 325s| 1880k|391032 | 4215k| 2.2 | 323M| 44 | 6 | 50 |4873 | 50 | 17 | 20 |1043k|5124 | 0.000000e+00 | -- | Inf
327.40/327.41 c 327s| 1890k|392579 | 4237k| 2.2 | 325M| 44 | 6 | 50 |5311 | 50 | 17 | 20 |1049k|5145 | 0.000000e+00 | -- | Inf
329.20/329.28 c 329s| 1900k|394428 | 4260k| 2.2 | 326M| 44 | - | 50 |5580 | 50 | 17 | 20 |1055k|5153 | 0.000000e+00 | -- | Inf
330.90/330.97 c 331s| 1910k|396863 | 4283k| 2.2 | 328M| 44 | 6 | 50 |6506 | 50 | 17 | 20 |1060k|5168 | 0.000000e+00 | -- | Inf
332.70/332.78 c 333s| 1920k|399273 | 4306k| 2.2 | 331M| 44 | 6 | 50 |7622 | 50 | 17 | 20 |1065k|5189 | 0.000000e+00 | -- | Inf
334.60/334.65 c 335s| 1930k|401619 | 4331k| 2.2 | 333M| 44 | 6 | 50 |8791 | 50 | 17 | 20 |1071k|5205 | 0.000000e+00 | -- | Inf
336.80/336.81 c 337s| 1940k|403587 | 4353k| 2.2 | 334M| 44 | 6 | 50 |6822 | 50 | 17 | 20 |1076k|5215 | 0.000000e+00 | -- | Inf
338.81/338.85 c 339s| 1950k|405386 | 4375k| 2.2 | 335M| 44 | 6 | 50 |5302 | 50 | 17 | 20 |1081k|5232 | 0.000000e+00 | -- | Inf
340.80/340.84 c 341s| 1960k|407031 | 4397k| 2.2 | 336M| 44 | - | 50 |5025 | 50 | 17 | 20 |1087k|5240 | 0.000000e+00 | -- | Inf
342.70/342.71 c 343s| 1970k|408789 | 4420k| 2.2 | 338M| 44 | - | 50 |5249 | 50 | 17 | 20 |1093k|5250 | 0.000000e+00 | -- | Inf
344.70/344.70 c 345s| 1980k|410332 | 4442k| 2.2 | 339M| 44 | 6 | 50 |4953 | 50 | 17 | 20 |1099k|5265 | 0.000000e+00 | -- | Inf
346.61/346.65 c 347s| 1990k|412145 | 4464k| 2.2 | 341M| 44 | 6 | 50 |4283 | 50 | 17 | 20 |1104k|5278 | 0.000000e+00 | -- | Inf
348.50/348.55 c 349s| 2000k|413682 | 4487k| 2.2 | 342M| 44 | - | 50 |4452 | 0 | 0 | 20 |1110k|5291 | 0.000000e+00 | -- | Inf
350.30/350.36 c 350s| 2010k|415484 | 4510k| 2.2 | 344M| 44 | - | 50 |5432 | 50 | 17 | 20 |1116k|5306 | 0.000000e+00 | -- | Inf
352.10/352.16 c 352s| 2020k|417682 | 4531k| 2.2 | 346M| 44 | - | 50 |6081 | 50 | 17 | 20 |1121k|5315 | 0.000000e+00 | -- | Inf
353.90/353.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.90/353.93 c 354s| 2030k|420087 | 4553k| 2.2 | 348M| 44 | - | 50 |6816 | 50 | 17 | 20 |1126k|5335 | 0.000000e+00 | -- | Inf
355.70/355.76 c 356s| 2040k|422129 | 4575k| 2.2 | 350M| 44 | 6 | 50 |7065 | 50 | 17 | 20 |1132k|5347 | 0.000000e+00 | -- | Inf
357.60/357.63 c 358s| 2050k|424172 | 4598k| 2.2 | 352M| 44 | - | 50 |7611 | 50 | 17 | 20 |1137k|5356 | 0.000000e+00 | -- | Inf
359.70/359.78 c 360s| 2060k|425567 | 4620k| 2.2 | 353M| 44 | 6 | 50 |5886 | 50 | 17 | 20 |1143k|5367 | 0.000000e+00 | -- | Inf
361.60/361.65 c 362s| 2070k|427730 | 4643k| 2.2 | 355M| 44 | 6 | 50 |6118 | 50 | 17 | 20 |1148k|5382 | 0.000000e+00 | -- | Inf
363.60/363.63 c 364s| 2080k|429374 | 4666k| 2.2 | 357M| 44 | 6 | 50 |6365 | 50 | 17 | 20 |1154k|5394 | 0.000000e+00 | -- | Inf
365.50/365.58 c 366s| 2090k|431338 | 4688k| 2.2 | 358M| 44 | 6 | 50 |6216 | 50 | 17 | 20 |1159k|5406 | 0.000000e+00 | -- | Inf
367.60/367.64 c 368s| 2100k|433034 | 4710k| 2.2 | 360M| 44 | 6 | 50 |6301 | 50 | 17 | 20 |1165k|5421 | 0.000000e+00 | -- | Inf
369.60/369.68 c 370s| 2110k|434807 | 4733k| 2.2 | 361M| 44 | 6 | 50 |5840 | 50 | 17 | 20 |1171k|5436 | 0.000000e+00 | -- | Inf
371.60/371.69 c 372s| 2120k|436523 | 4755k| 2.2 | 363M| 44 | 6 | 50 |6197 | 50 | 17 | 20 |1177k|5450 | 0.000000e+00 | -- | Inf
373.70/373.73 c 374s| 2130k|438176 | 4778k| 2.2 | 364M| 44 | - | 50 |5902 | 0 | 0 | 20 |1182k|5466 | 0.000000e+00 | -- | Inf
375.60/375.69 c 376s| 2140k|439860 | 4800k| 2.2 | 366M| 44 | 6 | 50 |5004 | 50 | 17 | 20 |1188k|5481 | 0.000000e+00 | -- | Inf
377.50/377.57 c 378s| 2150k|441753 | 4822k| 2.2 | 368M| 44 | 6 | 50 |5297 | 50 | 17 | 20 |1194k|5490 | 0.000000e+00 | -- | Inf
379.40/379.40 c 379s| 2160k|443702 | 4844k| 2.2 | 369M| 44 | 6 | 50 |6285 | 50 | 17 | 20 |1199k|5502 | 0.000000e+00 | -- | Inf
381.40/381.40 c 381s| 2170k|445559 | 4867k| 2.2 | 371M| 44 | 6 | 50 |5258 | 50 | 17 | 20 |1205k|5512 | 0.000000e+00 | -- | Inf
383.30/383.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
383.30/383.38 c 383s| 2180k|447218 | 4890k| 2.2 | 372M| 44 | 6 | 50 |5126 | 50 | 17 | 20 |1211k|5530 | 0.000000e+00 | -- | Inf
385.30/385.32 c 385s| 2190k|448972 | 4912k| 2.2 | 374M| 44 | 6 | 50 |5024 | 50 | 17 | 20 |1217k|5546 | 0.000000e+00 | -- | Inf
387.20/387.27 c 387s| 2200k|450660 | 4934k| 2.2 | 375M| 44 | 6 | 50 |4920 | 50 | 17 | 20 |1222k|5564 | 0.000000e+00 | -- | Inf
389.20/389.24 c 389s| 2210k|452262 | 4957k| 2.2 | 377M| 44 | - | 50 |5169 | 50 | 17 | 20 |1228k|5577 | 0.000000e+00 | -- | Inf
391.20/391.25 c 391s| 2220k|453888 | 4980k| 2.2 | 378M| 44 | - | 50 |5019 | 50 | 17 | 20 |1234k|5595 | 0.000000e+00 | -- | Inf
393.20/393.21 c 393s| 2230k|455502 | 5003k| 2.2 | 380M| 44 | - | 50 |5597 | 50 | 17 | 20 |1240k|5607 | 0.000000e+00 | -- | Inf
394.91/394.99 c 395s| 2240k|457693 | 5025k| 2.2 | 382M| 44 | 6 | 50 |6420 | 50 | 17 | 20 |1245k|5623 | 0.000000e+00 | -- | Inf
396.90/396.96 c 397s| 2250k|459418 | 5048k| 2.2 | 384M| 44 | - | 50 |6002 | 50 | 17 | 20 |1250k|5633 | 0.000000e+00 | -- | Inf
399.00/399.07 c 399s| 2260k|460918 | 5070k| 2.2 | 385M| 44 | - | 50 |4980 | 50 | 17 | 20 |1256k|5647 | 0.000000e+00 | -- | Inf
400.70/400.73 c 401s| 2270k|463102 | 5093k| 2.2 | 387M| 44 | - | 50 |6179 | 0 | 0 | 20 |1262k|5663 | 0.000000e+00 | -- | Inf
402.60/402.70 c 403s| 2280k|464779 | 5116k| 2.2 | 389M| 44 | - | 50 |6409 | 0 | 0 | 20 |1267k|5674 | 0.000000e+00 | -- | Inf
404.70/404.78 c 405s| 2290k|466466 | 5138k| 2.2 | 390M| 44 | - | 50 |5144 | 50 | 17 | 20 |1273k|5689 | 0.000000e+00 | -- | Inf
406.60/406.68 c 407s| 2300k|468386 | 5160k| 2.2 | 392M| 44 | - | 50 |5591 | 50 | 17 | 20 |1279k|5704 | 0.000000e+00 | -- | Inf
408.60/408.66 c 409s| 2310k|470006 | 5183k| 2.2 | 393M| 44 | - | 50 |5461 | 0 | 0 | 20 |1284k|5718 | 0.000000e+00 | -- | Inf
410.60/410.65 c 411s| 2320k|471606 | 5205k| 2.2 | 395M| 44 | 6 | 50 |5501 | 50 | 17 | 20 |1290k|5730 | 0.000000e+00 | -- | Inf
412.61/412.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
412.61/412.60 c 413s| 2330k|473338 | 5227k| 2.2 | 396M| 44 | - | 50 |5905 | 0 | 0 | 20 |1296k|5748 | 0.000000e+00 | -- | Inf
414.50/414.53 c 415s| 2340k|475041 | 5250k| 2.2 | 398M| 44 | 6 | 50 |5933 | 50 | 17 | 20 |1301k|5762 | 0.000000e+00 | -- | Inf
416.50/416.57 c 417s| 2350k|476668 | 5272k| 2.2 | 399M| 44 | 6 | 50 |5615 | 50 | 17 | 20 |1307k|5772 | 0.000000e+00 | -- | Inf
418.60/418.68 c 419s| 2360k|478141 | 5294k| 2.2 | 401M| 44 | 6 | 50 |5046 | 50 | 17 | 20 |1313k|5791 | 0.000000e+00 | -- | Inf
420.40/420.50 c 420s| 2370k|479938 | 5317k| 2.2 | 403M| 44 | 6 | 50 |6484 | 50 | 17 | 20 |1319k|5810 | 0.000000e+00 | -- | Inf
422.40/422.47 c 422s| 2380k|481845 | 5341k| 2.2 | 404M| 44 | 6 | 50 |6224 | 50 | 17 | 20 |1324k|5825 | 0.000000e+00 | -- | Inf
424.40/424.46 c 424s| 2390k|483801 | 5363k| 2.2 | 406M| 44 | 6 | 50 |5762 | 50 | 17 | 20 |1330k|5835 | 0.000000e+00 | -- | Inf
426.50/426.55 c 427s| 2400k|485346 | 5386k| 2.2 | 407M| 44 | 6 | 50 |5667 | 50 | 17 | 20 |1336k|5850 | 0.000000e+00 | -- | Inf
428.50/428.54 c 429s| 2410k|486910 | 5409k| 2.2 | 409M| 44 | - | 50 |5577 | 50 | 17 | 20 |1342k|5859 | 0.000000e+00 | -- | Inf
430.30/430.30 c 430s| 2420k|489151 | 5431k| 2.2 | 411M| 44 | - | 50 |7115 | 0 | 0 | 20 |1347k|5872 | 0.000000e+00 | -- | Inf
432.31/432.38 c 432s| 2430k|490998 | 5453k| 2.2 | 412M| 44 | 6 | 50 |6574 | 50 | 17 | 20 |1353k|5885 | 0.000000e+00 | -- | Inf
434.40/434.40 c 434s| 2440k|492834 | 5476k| 2.2 | 414M| 44 | - | 50 |6803 | 50 | 17 | 20 |1358k|5897 | 0.000000e+00 | -- | Inf
436.41/436.49 c 436s| 2450k|494447 | 5499k| 2.2 | 415M| 44 | 6 | 50 |5693 | 50 | 17 | 20 |1364k|5916 | 0.000000e+00 | -- | Inf
438.21/438.23 c 438s| 2460k|496957 | 5521k| 2.2 | 418M| 44 | 6 | 50 |6984 | 50 | 17 | 20 |1370k|5924 | 0.000000e+00 | -- | Inf
440.11/440.14 c 440s| 2470k|498820 | 5544k| 2.2 | 419M| 44 | - | 50 |7325 | 0 | 0 | 20 |1375k|5935 | 0.000000e+00 | -- | Inf
442.11/442.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
442.11/442.17 c 442s| 2480k|500486 | 5567k| 2.2 | 421M| 44 | - | 50 |7376 | 0 | 0 | 20 |1381k|5945 | 0.000000e+00 | -- | Inf
444.30/444.38 c 444s| 2490k|502058 | 5589k| 2.2 | 422M| 44 | - | 50 |5794 | 50 | 17 | 20 |1387k|5957 | 0.000000e+00 | -- | Inf
446.30/446.33 c 446s| 2500k|503919 | 5612k| 2.2 | 424M| 44 | 6 | 50 |6509 | 50 | 17 | 20 |1392k|5968 | 0.000000e+00 | -- | Inf
448.30/448.37 c 448s| 2510k|505692 | 5635k| 2.2 | 425M| 44 | 6 | 50 |6146 | 50 | 17 | 20 |1398k|5979 | 0.000000e+00 | -- | Inf
450.20/450.20 c 450s| 2520k|507838 | 5658k| 2.2 | 427M| 44 | - | 50 |8205 | 50 | 17 | 20 |1403k|5988 | 0.000000e+00 | -- | Inf
452.30/452.33 c 452s| 2530k|509503 | 5680k| 2.2 | 429M| 44 | 6 | 50 |6531 | 50 | 17 | 20 |1409k|6003 | 0.000000e+00 | -- | Inf
454.51/454.55 c 455s| 2540k|511021 | 5702k| 2.2 | 430M| 44 | - | 50 |4935 | 50 | 17 | 20 |1415k|6012 | 0.000000e+00 | -- | Inf
456.50/456.55 c 457s| 2550k|512702 | 5724k| 2.2 | 431M| 44 | 6 | 50 |5009 | 50 | 17 | 20 |1421k|6021 | 0.000000e+00 | -- | Inf
458.30/458.33 c 458s| 2560k|514829 | 5747k| 2.2 | 433M| 44 | 6 | 50 |6581 | 50 | 17 | 20 |1426k|6038 | 0.000000e+00 | -- | Inf
460.31/460.34 c 460s| 2570k|516663 | 5770k| 2.2 | 435M| 44 | 6 | 50 |6080 | 50 | 17 | 20 |1432k|6045 | 0.000000e+00 | -- | Inf
462.20/462.29 c 462s| 2580k|518605 | 5793k| 2.2 | 436M| 44 | 6 | 50 |5934 | 50 | 17 | 20 |1437k|6059 | 0.000000e+00 | -- | Inf
464.31/464.39 c 464s| 2590k|520211 | 5815k| 2.2 | 438M| 44 | - | 50 |5725 | 50 | 17 | 20 |1443k|6069 | 0.000000e+00 | -- | Inf
466.31/466.33 c 466s| 2600k|522205 | 5840k| 2.2 | 440M| 44 | 6 | 50 |6828 | 50 | 17 | 20 |1449k|6080 | 0.000000e+00 | -- | Inf
468.51/468.50 c 468s| 2610k|523530 | 5863k| 2.2 | 441M| 44 | 6 | 50 |5494 | 50 | 17 | 20 |1455k|6092 | 0.000000e+00 | -- | Inf
470.51/470.57 c 471s| 2620k|525097 | 5885k| 2.2 | 442M| 44 | - | 50 |5490 | 0 | 0 | 20 |1460k|6104 | 0.000000e+00 | -- | Inf
472.51/472.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
472.51/472.55 c 473s| 2630k|526801 | 5908k| 2.2 | 444M| 44 | - | 50 |5757 | 0 | 0 | 20 |1466k|6115 | 0.000000e+00 | -- | Inf
474.50/474.52 c 475s| 2640k|528538 | 5930k| 2.2 | 446M| 44 | - | 50 |6263 | 50 | 17 | 20 |1472k|6127 | 0.000000e+00 | -- | Inf
476.31/476.40 c 476s| 2650k|530557 | 5953k| 2.2 | 448M| 44 | 6 | 50 |7323 | 50 | 17 | 20 |1477k|6141 | 0.000000e+00 | -- | Inf
478.40/478.44 c 478s| 2660k|532410 | 5975k| 2.2 | 449M| 44 | 6 | 50 |7765 | 50 | 17 | 20 |1483k|6157 | 0.000000e+00 | -- | Inf
480.51/480.59 c 481s| 2670k|533973 | 5998k| 2.2 | 451M| 44 | 6 | 50 |6624 | 50 | 17 | 20 |1489k|6170 | 0.000000e+00 | -- | Inf
482.60/482.60 c 483s| 2680k|535869 | 6020k| 2.2 | 452M| 44 | 6 | 50 |6791 | 50 | 17 | 20 |1495k|6176 | 0.000000e+00 | -- | Inf
484.70/484.73 c 485s| 2690k|537397 | 6042k| 2.2 | 454M| 44 | 6 | 50 |6070 | 50 | 17 | 20 |1500k|6189 | 0.000000e+00 | -- | Inf
486.70/486.71 c 487s| 2700k|539159 | 6065k| 2.2 | 455M| 44 | 6 | 50 |6036 | 50 | 17 | 20 |1506k|6201 | 0.000000e+00 | -- | Inf
488.80/488.85 c 489s| 2710k|540612 | 6087k| 2.2 | 457M| 44 | 6 | 50 |5721 | 50 | 17 | 20 |1512k|6210 | 0.000000e+00 | -- | Inf
490.80/490.84 c 491s| 2720k|542412 | 6110k| 2.2 | 458M| 44 | - | 50 |5724 | 50 | 17 | 20 |1518k|6219 | 0.000000e+00 | -- | Inf
492.91/492.91 c 493s| 2730k|543822 | 6132k| 2.2 | 460M| 44 | - | 50 |5206 | 50 | 17 | 20 |1524k|6237 | 0.000000e+00 | -- | Inf
494.80/494.87 c 495s| 2740k|545490 | 6154k| 2.2 | 461M| 44 | 6 | 50 |5411 | 50 | 17 | 20 |1529k|6244 | 0.000000e+00 | -- | Inf
496.80/496.84 c 497s| 2750k|547198 | 6177k| 2.2 | 463M| 44 | 6 | 50 |6408 | 50 | 17 | 20 |1535k|6260 | 0.000000e+00 | -- | Inf
498.80/498.89 c 499s| 2760k|548861 | 6199k| 2.2 | 464M| 44 | 6 | 50 |5537 | 50 | 17 | 20 |1541k|6272 | 0.000000e+00 | -- | Inf
500.80/500.80 c 501s| 2770k|550613 | 6222k| 2.2 | 466M| 44 | 6 | 50 |5794 | 50 | 17 | 20 |1547k|6281 | 0.000000e+00 | -- | Inf
502.81/502.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
502.81/502.82 c 503s| 2780k|552355 | 6244k| 2.2 | 467M| 44 | - | 50 |5363 | 50 | 17 | 20 |1552k|6290 | 0.000000e+00 | -- | Inf
504.80/504.84 c 505s| 2790k|553906 | 6267k| 2.2 | 469M| 44 | 6 | 50 |4945 | 50 | 17 | 20 |1558k|6299 | 0.000000e+00 | -- | Inf
506.71/506.74 c 507s| 2800k|555629 | 6289k| 2.2 | 470M| 44 | 6 | 50 |5399 | 50 | 17 | 20 |1564k|6308 | 0.000000e+00 | -- | Inf
508.60/508.69 c 509s| 2810k|557323 | 6311k| 2.2 | 472M| 44 | - | 50 |5957 | 50 | 17 | 20 |1569k|6315 | 0.000000e+00 | -- | Inf
510.70/510.72 c 511s| 2820k|558963 | 6334k| 2.2 | 474M| 44 | 6 | 50 |5351 | 50 | 17 | 20 |1575k|6332 | 0.000000e+00 | -- | Inf
512.61/512.67 c 513s| 2830k|560638 | 6356k| 2.2 | 475M| 44 | 6 | 50 |5566 | 50 | 17 | 20 |1581k|6351 | 0.000000e+00 | -- | Inf
514.50/514.57 c 515s| 2840k|562596 | 6379k| 2.2 | 477M| 44 | - | 50 |6383 | 50 | 17 | 20 |1586k|6360 | 0.000000e+00 | -- | Inf
516.60/516.69 c 517s| 2850k|564132 | 6401k| 2.2 | 478M| 44 | 6 | 50 |5655 | 50 | 17 | 20 |1592k|6370 | 0.000000e+00 | -- | Inf
518.60/518.61 c 519s| 2860k|565945 | 6423k| 2.2 | 480M| 44 | 6 | 50 |6417 | 50 | 17 | 20 |1598k|6383 | 0.000000e+00 | -- | Inf
520.71/520.75 c 521s| 2870k|567587 | 6446k| 2.2 | 482M| 44 | 6 | 50 |5878 | 50 | 17 | 20 |1604k|6392 | 0.000000e+00 | -- | Inf
522.81/522.83 c 523s| 2880k|569078 | 6469k| 2.2 | 483M| 44 | - | 50 |6168 | 50 | 17 | 20 |1609k|6406 | 0.000000e+00 | -- | Inf
524.91/524.91 c 525s| 2890k|570871 | 6492k| 2.2 | 485M| 44 | 6 | 50 |6186 | 50 | 17 | 20 |1615k|6415 | 0.000000e+00 | -- | Inf
527.10/527.12 c 527s| 2900k|572360 | 6515k| 2.2 | 486M| 44 | 6 | 50 |5310 | 50 | 17 | 20 |1621k|6425 | 0.000000e+00 | -- | Inf
529.11/529.17 c 529s| 2910k|573954 | 6538k| 2.2 | 488M| 44 | 6 | 50 |5549 | 50 | 17 | 20 |1627k|6441 | 0.000000e+00 | -- | Inf
531.20/531.26 c 531s| 2920k|575435 | 6560k| 2.2 | 489M| 44 | - | 50 |5033 | 50 | 17 | 20 |1633k|6452 | 0.000000e+00 | -- | Inf
533.20/533.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
533.20/533.21 c 533s| 2930k|577070 | 6583k| 2.2 | 491M| 44 | - | 50 |5334 | 50 | 17 | 20 |1639k|6461 | 0.000000e+00 | -- | Inf
535.10/535.17 c 535s| 2940k|578799 | 6607k| 2.2 | 493M| 44 | - | 50 |6867 | 50 | 17 | 20 |1645k|6473 | 0.000000e+00 | -- | Inf
537.21/537.29 c 537s| 2950k|580416 | 6630k| 2.2 | 494M| 44 | 6 | 50 |6497 | 50 | 17 | 20 |1650k|6483 | 0.000000e+00 | -- | Inf
539.30/539.32 c 539s| 2960k|582116 | 6652k| 2.2 | 495M| 44 | - | 50 |6493 | 50 | 17 | 20 |1656k|6498 | 0.000000e+00 | -- | Inf
541.40/541.41 c 541s| 2970k|583662 | 6674k| 2.2 | 497M| 44 | 6 | 50 |6317 | 50 | 17 | 20 |1662k|6504 | 0.000000e+00 | -- | Inf
543.51/543.57 c 544s| 2980k|585119 | 6697k| 2.2 | 498M| 44 | 6 | 50 |5812 | 50 | 17 | 20 |1668k|6518 | 0.000000e+00 | -- | Inf
545.61/545.62 c 546s| 2990k|586749 | 6719k| 2.2 | 500M| 44 | 6 | 50 |5842 | 50 | 17 | 20 |1673k|6527 | 0.000000e+00 | -- | Inf
547.60/547.62 c 548s| 3000k|588482 | 6740k| 2.2 | 501M| 44 | 6 | 50 |5853 | 50 | 17 | 20 |1679k|6541 | 0.000000e+00 | -- | Inf
549.60/549.61 c 550s| 3010k|590474 | 6763k| 2.2 | 503M| 44 | 6 | 50 |5367 | 50 | 17 | 20 |1685k|6556 | 0.000000e+00 | -- | Inf
551.40/551.49 c 551s| 3020k|592370 | 6785k| 2.2 | 504M| 44 | 6 | 50 |5572 | 50 | 17 | 20 |1690k|6566 | 0.000000e+00 | -- | Inf
553.51/553.53 c 554s| 3030k|593967 | 6808k| 2.2 | 506M| 44 | - | 50 |5249 | 50 | 17 | 20 |1696k|6575 | 0.000000e+00 | -- | Inf
555.30/555.38 c 555s| 3040k|595976 | 6831k| 2.2 | 508M| 44 | 6 | 50 |6613 | 50 | 17 | 20 |1701k|6583 | 0.000000e+00 | -- | Inf
557.51/557.50 c 558s| 3050k|597665 | 6854k| 2.2 | 509M| 44 | 6 | 50 |6073 | 50 | 17 | 20 |1707k|6593 | 0.000000e+00 | -- | Inf
559.50/559.59 c 560s| 3060k|599157 | 6876k| 2.2 | 511M| 44 | 6 | 50 |5612 | 50 | 17 | 20 |1713k|6600 | 0.000000e+00 | -- | Inf
561.60/561.67 c 562s| 3070k|600756 | 6898k| 2.2 | 512M| 44 | 6 | 50 |5628 | 50 | 17 | 20 |1719k|6614 | 0.000000e+00 | -- | Inf
563.70/563.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
563.70/563.71 c 564s| 3080k|602427 | 6921k| 2.2 | 514M| 44 | 6 | 50 |5548 | 50 | 17 | 20 |1724k|6629 | 0.000000e+00 | -- | Inf
565.71/565.76 c 566s| 3090k|604024 | 6944k| 2.2 | 515M| 44 | 6 | 50 |5233 | 50 | 17 | 20 |1730k|6637 | 0.000000e+00 | -- | Inf
567.60/567.68 c 568s| 3100k|605791 | 6966k| 2.2 | 517M| 44 | 6 | 50 |5744 | 50 | 17 | 20 |1736k|6650 | 0.000000e+00 | -- | Inf
569.70/569.74 c 570s| 3110k|607381 | 6988k| 2.2 | 518M| 44 | 6 | 50 |5282 | 50 | 17 | 20 |1741k|6665 | 0.000000e+00 | -- | Inf
571.71/571.73 c 572s| 3120k|608952 | 7011k| 2.2 | 520M| 44 | - | 50 |6120 | 50 | 17 | 20 |1747k|6680 | 0.000000e+00 | -- | Inf
573.71/573.77 c 574s| 3130k|610556 | 7034k| 2.2 | 522M| 44 | 6 | 50 |6628 | 50 | 17 | 20 |1753k|6698 | 0.000000e+00 | -- | Inf
575.60/575.66 c 576s| 3140k|612691 | 7057k| 2.2 | 523M| 44 | 6 | 50 |7408 | 50 | 17 | 20 |1758k|6704 | 0.000000e+00 | -- | Inf
577.61/577.69 c 578s| 3150k|614371 | 7079k| 2.2 | 525M| 44 | 6 | 50 |7114 | 50 | 17 | 20 |1764k|6716 | 0.000000e+00 | -- | Inf
579.81/579.82 c 580s| 3160k|616001 | 7101k| 2.2 | 526M| 44 | 6 | 50 |6901 | 50 | 17 | 20 |1770k|6729 | 0.000000e+00 | -- | Inf
581.91/581.96 c 582s| 3170k|617555 | 7124k| 2.2 | 528M| 44 | - | 50 |5944 | 50 | 17 | 20 |1776k|6744 | 0.000000e+00 | -- | Inf
583.91/583.93 c 584s| 3180k|619350 | 7146k| 2.2 | 529M| 44 | 6 | 50 |6660 | 50 | 17 | 20 |1781k|6760 | 0.000000e+00 | -- | Inf
586.11/586.19 c 586s| 3190k|620774 | 7168k| 2.2 | 531M| 44 | 6 | 50 |5639 | 50 | 17 | 20 |1787k|6766 | 0.000000e+00 | -- | Inf
588.20/588.20 c 588s| 3200k|622464 | 7191k| 2.2 | 532M| 44 | 6 | 50 |5945 | 50 | 17 | 20 |1793k|6781 | 0.000000e+00 | -- | Inf
590.20/590.25 c 590s| 3210k|624026 | 7213k| 2.2 | 534M| 44 | 6 | 50 |5685 | 50 | 17 | 20 |1798k|6794 | 0.000000e+00 | -- | Inf
592.30/592.33 c 592s| 3220k|625504 | 7235k| 2.2 | 535M| 44 | 6 | 50 |5410 | 50 | 17 | 20 |1804k|6807 | 0.000000e+00 | -- | Inf
594.31/594.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
594.31/594.32 c 594s| 3230k|627255 | 7258k| 2.2 | 537M| 44 | 6 | 50 |5989 | 50 | 17 | 20 |1810k|6818 | 0.000000e+00 | -- | Inf
596.40/596.42 c 596s| 3240k|628863 | 7281k| 2.2 | 538M| 44 | - | 50 |5861 | 50 | 17 | 20 |1816k|6827 | 0.000000e+00 | -- | Inf
598.21/598.25 c 598s| 3250k|630818 | 7304k| 2.2 | 540M| 44 | 6 | 50 |7525 | 50 | 17 | 20 |1821k|6836 | 0.000000e+00 | -- | Inf
600.41/600.41 c 600s| 3260k|632709 | 7328k| 2.2 | 542M| 44 | 6 | 50 |6902 | 50 | 17 | 20 |1827k|6845 | 0.000000e+00 | -- | Inf
602.21/602.21 c 602s| 3270k|635388 | 7351k| 2.2 | 544M| 44 | 6 | 50 |8183 | 50 | 17 | 20 |1831k|6862 | 0.000000e+00 | -- | Inf
604.10/604.19 c 604s| 3280k|637803 | 7374k| 2.2 | 546M| 44 | 6 | 50 |8924 | 50 | 17 | 20 |1836k|6871 | 0.000000e+00 | -- | Inf
606.30/606.32 c 606s| 3290k|639841 | 7397k| 2.2 | 548M| 44 | - | 50 |8477 | 50 | 17 | 20 |1841k|6885 | 0.000000e+00 | -- | Inf
608.71/608.79 c 609s| 3300k|641432 | 7419k| 2.2 | 549M| 44 | 6 | 50 |6698 | 50 | 17 | 20 |1847k|6897 | 0.000000e+00 | -- | Inf
610.61/610.69 c 611s| 3310k|643812 | 7441k| 2.2 | 551M| 44 | 6 | 50 |7555 | 50 | 17 | 20 |1852k|6903 | 0.000000e+00 | -- | Inf
612.61/612.60 c 613s| 3320k|646323 | 7464k| 2.2 | 553M| 44 | - | 50 |8270 | 0 | 0 | 20 |1857k|6911 | 0.000000e+00 | -- | Inf
614.71/614.76 c 615s| 3330k|648203 | 7486k| 2.2 | 554M| 44 | 6 | 50 |8012 | 50 | 17 | 20 |1862k|6916 | 0.000000e+00 | -- | Inf
616.80/616.84 c 617s| 3340k|650101 | 7508k| 2.2 | 556M| 44 | 6 | 50 |8360 | 50 | 17 | 20 |1867k|6924 | 0.000000e+00 | -- | Inf
618.81/618.89 c 619s| 3350k|652029 | 7530k| 2.2 | 558M| 44 | - | 50 |9029 | 0 | 0 | 20 |1873k|6937 | 0.000000e+00 | -- | Inf
621.31/621.30 c 621s| 3360k|653625 | 7552k| 2.2 | 559M| 44 | 6 | 50 |7103 | 50 | 17 | 20 |1879k|6945 | 0.000000e+00 | -- | Inf
623.51/623.59 c 624s| 3370k|655099 | 7575k| 2.2 | 560M| 44 | 6 | 50 |6442 | 50 | 17 | 20 |1884k|6962 | 0.000000e+00 | -- | Inf
625.71/625.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
625.71/625.73 c 626s| 3380k|656804 | 7598k| 2.2 | 562M| 44 | - | 50 |6279 | 0 | 0 | 20 |1890k|6969 | 0.000000e+00 | -- | Inf
627.91/627.96 c 628s| 3390k|658245 | 7620k| 2.2 | 563M| 44 | 6 | 50 |5441 | 50 | 17 | 20 |1896k|6982 | 0.000000e+00 | -- | Inf
629.90/629.94 c 630s| 3400k|660052 | 7643k| 2.2 | 564M| 44 | - | 50 |5769 | 50 | 17 | 20 |1902k|6989 | 0.000000e+00 | -- | Inf
631.81/631.84 c 632s| 3410k|662227 | 7666k| 2.2 | 566M| 44 | - | 50 |6803 | 50 | 17 | 20 |1907k|7003 | 0.000000e+00 | -- | Inf
633.81/633.88 c 634s| 3420k|663960 | 7688k| 2.2 | 568M| 44 | 6 | 50 |6460 | 50 | 17 | 20 |1913k|7015 | 0.000000e+00 | -- | Inf
635.71/635.79 c 636s| 3430k|666046 | 7711k| 2.2 | 570M| 44 | - | 50 |7540 | 50 | 17 | 20 |1918k|7032 | 0.000000e+00 | -- | Inf
638.11/638.16 c 638s| 3440k|667429 | 7733k| 2.2 | 571M| 44 | 6 | 50 |5757 | 50 | 17 | 20 |1924k|7046 | 0.000000e+00 | -- | Inf
640.21/640.25 c 640s| 3450k|668888 | 7756k| 2.2 | 573M| 44 | 6 | 50 |6662 | 50 | 17 | 20 |1930k|7054 | 0.000000e+00 | -- | Inf
642.31/642.40 c 642s| 3460k|670665 | 7778k| 2.2 | 574M| 44 | 6 | 50 |6294 | 50 | 17 | 20 |1935k|7067 | 0.000000e+00 | -- | Inf
644.61/644.63 c 645s| 3470k|672126 | 7801k| 2.2 | 575M| 44 | 6 | 50 |5687 | 50 | 17 | 20 |1941k|7071 | 0.000000e+00 | -- | Inf
646.81/646.85 c 647s| 3480k|673472 | 7824k| 2.2 | 577M| 44 | - | 50 |5967 | 50 | 17 | 20 |1947k|7086 | 0.000000e+00 | -- | Inf
648.90/649.00 c 649s| 3490k|675155 | 7846k| 2.2 | 578M| 44 | 6 | 50 |6125 | 50 | 17 | 20 |1953k|7091 | 0.000000e+00 | -- | Inf
650.91/650.98 c 651s| 3500k|677089 | 7868k| 2.2 | 580M| 44 | 6 | 50 |7281 | 50 | 17 | 20 |1959k|7108 | 0.000000e+00 | -- | Inf
653.10/653.12 c 653s| 3510k|678656 | 7891k| 2.2 | 582M| 44 | 6 | 50 |8006 | 50 | 17 | 20 |1965k|7118 | 0.000000e+00 | -- | Inf
655.40/655.41 c 655s| 3520k|680159 | 7913k| 2.2 | 583M| 44 | - | 50 |6866 | 50 | 17 | 20 |1970k|7131 | 0.000000e+00 | -- | Inf
657.81/657.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
657.81/657.88 c 658s| 3530k|681330 | 7936k| 2.2 | 584M| 44 | 6 | 50 |5432 | 50 | 17 | 20 |1977k|7145 | 0.000000e+00 | -- | Inf
659.91/660.00 c 660s| 3540k|682903 | 7959k| 2.2 | 586M| 44 | 6 | 50 |6099 | 50 | 17 | 20 |1983k|7151 | 0.000000e+00 | -- | Inf
662.11/662.11 c 662s| 3550k|684592 | 7981k| 2.2 | 587M| 44 | - | 50 |5790 | 50 | 17 | 20 |1988k|7159 | 0.000000e+00 | -- | Inf
664.21/664.24 c 664s| 3560k|686220 | 8003k| 2.2 | 589M| 44 | 6 | 50 |5846 | 50 | 17 | 20 |1994k|7165 | 0.000000e+00 | -- | Inf
666.10/666.11 c 666s| 3570k|688084 | 8026k| 2.2 | 591M| 44 | - | 50 |8041 | 50 | 17 | 20 |1999k|7186 | 0.000000e+00 | -- | Inf
668.10/668.19 c 668s| 3580k|690079 | 8049k| 2.2 | 593M| 44 | 6 | 50 |7898 | 50 | 17 | 20 |2005k|7196 | 0.000000e+00 | -- | Inf
670.41/670.42 c 670s| 3590k|691992 | 8072k| 2.2 | 594M| 44 | - | 50 |7182 | 50 | 17 | 20 |2010k|7206 | 0.000000e+00 | -- | Inf
672.40/672.43 c 672s| 3600k|693745 | 8095k| 2.2 | 596M| 44 | - | 50 |7832 | 0 | 0 | 20 |2016k|7212 | 0.000000e+00 | -- | Inf
674.70/674.74 c 675s| 3610k|695185 | 8117k| 2.2 | 597M| 44 | 6 | 50 |6343 | 50 | 17 | 20 |2022k|7228 | 0.000000e+00 | -- | Inf
676.71/676.78 c 677s| 3620k|697001 | 8140k| 2.2 | 599M| 44 | - | 50 |7406 | 0 | 0 | 20 |2027k|7235 | 0.000000e+00 | -- | Inf
679.01/679.03 c 679s| 3630k|698588 | 8162k| 2.2 | 600M| 44 | 6 | 50 |6532 | 50 | 17 | 20 |2033k|7245 | 0.000000e+00 | -- | Inf
681.21/681.21 c 681s| 3640k|700316 | 8185k| 2.2 | 602M| 44 | 6 | 50 |7139 | 50 | 17 | 20 |2039k|7260 | 0.000000e+00 | -- | Inf
683.51/683.56 c 684s| 3650k|701855 | 8208k| 2.2 | 603M| 44 | - | 50 |6883 | 50 | 17 | 20 |2045k|7269 | 0.000000e+00 | -- | Inf
685.81/685.85 c 686s| 3660k|703381 | 8232k| 2.2 | 604M| 44 | - | 50 |6223 | 50 | 17 | 20 |2051k|7277 | 0.000000e+00 | -- | Inf
687.91/687.92 c 688s| 3670k|705088 | 8254k| 2.2 | 606M| 44 | - | 50 |5996 | 50 | 17 | 20 |2056k|7287 | 0.000000e+00 | -- | Inf
690.11/690.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
690.11/690.11 c 690s| 3680k|706421 | 8277k| 2.2 | 607M| 44 | - | 50 |5393 | 50 | 17 | 20 |2062k|7298 | 0.000000e+00 | -- | Inf
692.01/692.08 c 692s| 3690k|708184 | 8299k| 2.2 | 609M| 44 | - | 50 |6409 | 0 | 0 | 20 |2068k|7309 | 0.000000e+00 | -- | Inf
694.21/694.22 c 694s| 3700k|709858 | 8321k| 2.2 | 610M| 44 | - | 50 |6483 | 0 | 0 | 20 |2074k|7316 | 0.000000e+00 | -- | Inf
696.11/696.16 c 696s| 3710k|711891 | 8344k| 2.2 | 612M| 44 | 6 | 50 |7678 | 50 | 17 | 20 |2079k|7331 | 0.000000e+00 | -- | Inf
698.11/698.12 c 698s| 3720k|713930 | 8368k| 2.2 | 614M| 44 | - | 50 |9138 | 0 | 0 | 20 |2085k|7342 | 0.000000e+00 | -- | Inf
700.51/700.59 c 701s| 3730k|715457 | 8391k| 2.2 | 615M| 44 | - | 50 |6976 | 50 | 17 | 20 |2091k|7353 | 0.000000e+00 | -- | Inf
702.80/702.89 c 703s| 3740k|716831 | 8414k| 2.2 | 617M| 44 | 6 | 50 |5863 | 50 | 17 | 20 |2097k|7360 | 0.000000e+00 | -- | Inf
705.01/705.08 c 705s| 3750k|718334 | 8436k| 2.2 | 618M| 44 | - | 50 |5608 | 50 | 17 | 20 |2103k|7369 | 0.000000e+00 | -- | Inf
707.01/707.08 c 707s| 3760k|719870 | 8458k| 2.2 | 619M| 44 | - | 50 |5740 | 50 | 17 | 20 |2108k|7375 | 0.000000e+00 | -- | Inf
709.11/709.18 c 709s| 3770k|721362 | 8482k| 2.2 | 621M| 44 | - | 50 |5993 | 50 | 17 | 20 |2114k|7387 | 0.000000e+00 | -- | Inf
711.31/711.38 c 711s| 3780k|722791 | 8504k| 2.2 | 622M| 44 | 6 | 50 |5814 | 50 | 17 | 20 |2120k|7393 | 0.000000e+00 | -- | Inf
713.50/713.53 c 714s| 3790k|724241 | 8526k| 2.2 | 624M| 44 | - | 50 |6282 | 0 | 0 | 20 |2126k|7402 | 0.000000e+00 | -- | Inf
715.60/715.65 c 716s| 3800k|725780 | 8549k| 2.2 | 625M| 44 | - | 50 |5804 | 50 | 17 | 20 |2132k|7419 | 0.000000e+00 | -- | Inf
717.70/717.73 c 718s| 3810k|727445 | 8571k| 2.2 | 627M| 44 | 6 | 50 |6194 | 50 | 17 | 20 |2138k|7425 | 0.000000e+00 | -- | Inf
719.91/719.96 c 720s| 3820k|728927 | 8595k| 2.3 | 628M| 44 | - | 50 |6157 | 50 | 17 | 20 |2144k|7436 | 0.000000e+00 | -- | Inf
721.91/721.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
721.91/721.95 c 722s| 3830k|730666 | 8617k| 2.2 | 630M| 44 | - | 50 |6796 | 50 | 17 | 20 |2150k|7440 | 0.000000e+00 | -- | Inf
724.10/724.12 c 724s| 3840k|732031 | 8639k| 2.2 | 631M| 44 | 6 | 50 |6018 | 50 | 17 | 20 |2156k|7459 | 0.000000e+00 | -- | Inf
726.21/726.26 c 726s| 3850k|733584 | 8661k| 2.2 | 633M| 44 | - | 50 |5617 | 50 | 17 | 20 |2161k|7464 | 0.000000e+00 | -- | Inf
728.31/728.34 c 728s| 3860k|735150 | 8685k| 2.2 | 634M| 44 | 6 | 50 |6091 | 50 | 17 | 20 |2167k|7476 | 0.000000e+00 | -- | Inf
730.31/730.40 c 730s| 3870k|736886 | 8707k| 2.2 | 636M| 44 | - | 50 |6187 | 50 | 17 | 20 |2173k|7483 | 0.000000e+00 | -- | Inf
732.51/732.50 c 733s| 3880k|738367 | 8729k| 2.2 | 637M| 44 | 6 | 50 |6136 | 50 | 17 | 20 |2179k|7493 | 0.000000e+00 | -- | Inf
734.50/734.58 c 735s| 3890k|739707 | 8752k| 2.2 | 639M| 44 | - | 50 |5867 | 50 | 17 | 20 |2185k|7507 | 0.000000e+00 | -- | Inf
736.71/736.75 c 737s| 3900k|741137 | 8775k| 2.3 | 640M| 44 | - | 50 |5774 | 50 | 17 | 20 |2191k|7517 | 0.000000e+00 | -- | Inf
738.61/738.68 c 739s| 3910k|743077 | 8798k| 2.3 | 642M| 44 | 6 | 50 |7496 | 50 | 17 | 20 |2196k|7528 | 0.000000e+00 | -- | Inf
741.01/741.01 c 741s| 3920k|744529 | 8821k| 2.3 | 643M| 44 | 6 | 50 |5626 | 50 | 17 | 20 |2202k|7539 | 0.000000e+00 | -- | Inf
743.11/743.11 c 743s| 3930k|746027 | 8844k| 2.3 | 644M| 44 | - | 50 |5579 | 50 | 17 | 20 |2208k|7548 | 0.000000e+00 | -- | Inf
745.21/745.29 c 745s| 3940k|747509 | 8866k| 2.3 | 646M| 44 | 6 | 50 |5466 | 50 | 17 | 20 |2214k|7557 | 0.000000e+00 | -- | Inf
747.31/747.37 c 747s| 3950k|749136 | 8889k| 2.3 | 647M| 44 | 6 | 50 |5453 | 50 | 17 | 20 |2220k|7568 | 0.000000e+00 | -- | Inf
749.41/749.46 c 749s| 3960k|750636 | 8912k| 2.3 | 649M| 44 | 6 | 50 |5265 | 50 | 17 | 20 |2226k|7584 | 0.000000e+00 | -- | Inf
751.51/751.55 c 752s| 3970k|752192 | 8935k| 2.3 | 650M| 44 | 6 | 50 |5757 | 50 | 17 | 20 |2231k|7589 | 0.000000e+00 | -- | Inf
753.51/753.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
753.51/753.53 c 754s| 3980k|753964 | 8957k| 2.3 | 652M| 44 | 6 | 50 |6246 | 50 | 17 | 20 |2237k|7602 | 0.000000e+00 | -- | Inf
755.51/755.60 c 756s| 3990k|755547 | 8980k| 2.3 | 653M| 44 | 6 | 50 |5353 | 50 | 17 | 20 |2243k|7617 | 0.000000e+00 | -- | Inf
757.81/757.81 c 758s| 4000k|756946 | 9002k| 2.3 | 654M| 44 | 6 | 50 |4449 | 50 | 17 | 20 |2249k|7632 | 0.000000e+00 | -- | Inf
759.91/759.98 c 760s| 4010k|758121 | 9025k| 2.3 | 656M| 44 | - | 50 |4772 | 50 | 17 | 20 |2255k|7646 | 0.000000e+00 | -- | Inf
762.01/762.02 c 762s| 4020k|759654 | 9047k| 2.3 | 657M| 44 | - | 50 |5439 | 0 | 0 | 20 |2261k|7655 | 0.000000e+00 | -- | Inf
764.11/764.17 c 764s| 4030k|761116 | 9070k| 2.3 | 659M| 44 | - | 50 |5552 | 50 | 17 | 20 |2266k|7673 | 0.000000e+00 | -- | Inf
766.21/766.29 c 766s| 4040k|762541 | 9092k| 2.3 | 661M| 44 | - | 50 |6037 | 50 | 17 | 20 |2273k|7682 | 0.000000e+00 | -- | Inf
768.31/768.34 c 768s| 4050k|764146 | 9114k| 2.3 | 662M| 44 | - | 50 |6033 | 50 | 17 | 20 |2278k|7693 | 0.000000e+00 | -- | Inf
770.51/770.58 c 771s| 4060k|765496 | 9137k| 2.3 | 663M| 44 | 6 | 50 |5219 | 50 | 17 | 20 |2284k|7697 | 0.000000e+00 | -- | Inf
772.61/772.67 c 773s| 4070k|766902 | 9159k| 2.3 | 665M| 44 | - | 50 |5392 | 0 | 0 | 20 |2290k|7707 | 0.000000e+00 | -- | Inf
774.71/774.70 c 775s| 4080k|768531 | 9183k| 2.3 | 666M| 44 | 6 | 50 |5850 | 50 | 17 | 20 |2296k|7713 | 0.000000e+00 | -- | Inf
776.91/776.91 c 777s| 4090k|769810 | 9205k| 2.3 | 668M| 44 | 6 | 50 |5306 | 50 | 17 | 20 |2302k|7725 | 0.000000e+00 | -- | Inf
778.82/778.86 c 779s| 4100k|771641 | 9229k| 2.3 | 670M| 44 | 6 | 50 |6847 | 50 | 17 | 20 |2308k|7740 | 0.000000e+00 | -- | Inf
781.21/781.20 c 781s| 4110k|773014 | 9252k| 2.3 | 671M| 44 | 6 | 50 |5939 | 50 | 17 | 20 |2314k|7750 | 0.000000e+00 | -- | Inf
783.41/783.41 c 783s| 4120k|774411 | 9275k| 2.3 | 672M| 44 | - | 50 |5504 | 0 | 0 | 20 |2320k|7760 | 0.000000e+00 | -- | Inf
785.41/785.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
785.41/785.42 c 785s| 4130k|776024 | 9298k| 2.3 | 674M| 44 | 6 | 50 |6136 | 50 | 17 | 20 |2326k|7769 | 0.000000e+00 | -- | Inf
787.41/787.44 c 787s| 4140k|777733 | 9320k| 2.3 | 676M| 44 | 6 | 50 |6804 | 50 | 17 | 20 |2332k|7777 | 0.000000e+00 | -- | Inf
789.31/789.36 c 789s| 4150k|780017 | 9343k| 2.3 | 678M| 44 | - | 50 |8226 | 50 | 17 | 20 |2337k|7789 | 0.000000e+00 | -- | Inf
791.81/791.81 c 792s| 4160k|781374 | 9366k| 2.3 | 679M| 44 | 6 | 50 |6660 | 50 | 17 | 20 |2343k|7800 | 0.000000e+00 | -- | Inf
793.81/793.88 c 794s| 4170k|782879 | 9390k| 2.3 | 680M| 44 | 6 | 50 |7071 | 50 | 17 | 20 |2349k|7810 | 0.000000e+00 | -- | Inf
796.11/796.19 c 796s| 4180k|784336 | 9413k| 2.3 | 681M| 44 | 6 | 50 |5624 | 50 | 17 | 20 |2354k|7825 | 0.000000e+00 | -- | Inf
798.21/798.26 c 798s| 4190k|785807 | 9436k| 2.3 | 683M| 44 | 6 | 50 |6409 | 50 | 17 | 20 |2360k|7831 | 0.000000e+00 | -- | Inf
800.51/800.54 c 801s| 4200k|787247 | 9459k| 2.3 | 684M| 44 | 6 | 50 |6037 | 50 | 17 | 20 |2366k|7842 | 0.000000e+00 | -- | Inf
802.42/802.41 c 802s| 4210k|789300 | 9481k| 2.3 | 686M| 44 | - | 50 |7428 | 50 | 17 | 20 |2372k|7851 | 0.000000e+00 | -- | Inf
804.41/804.44 c 804s| 4220k|791208 | 9503k| 2.3 | 688M| 44 | - | 50 |7551 | 50 | 17 | 20 |2377k|7858 | 0.000000e+00 | -- | Inf
806.51/806.57 c 807s| 4230k|793053 | 9525k| 2.3 | 690M| 44 | - | 50 |7618 | 50 | 17 | 20 |2383k|7870 | 0.000000e+00 | -- | Inf
808.71/808.74 c 809s| 4240k|794818 | 9548k| 2.3 | 691M| 44 | 6 | 50 |7147 | 50 | 17 | 20 |2388k|7880 | 0.000000e+00 | -- | Inf
810.81/810.88 c 811s| 4250k|796508 | 9571k| 2.3 | 692M| 44 | - | 50 |6503 | 0 | 0 | 20 |2394k|7887 | 0.000000e+00 | -- | Inf
812.92/812.91 c 813s| 4260k|798222 | 9595k| 2.3 | 694M| 44 | 6 | 50 |6791 | 50 | 17 | 20 |2400k|7895 | 0.000000e+00 | -- | Inf
815.01/815.03 c 815s| 4270k|799839 | 9617k| 2.3 | 696M| 44 | 6 | 50 |7294 | 50 | 17 | 20 |2406k|7902 | 0.000000e+00 | -- | Inf
817.21/817.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
817.21/817.27 c 817s| 4280k|801473 | 9640k| 2.3 | 697M| 44 | 6 | 50 |6400 | 50 | 17 | 20 |2411k|7912 | 0.000000e+00 | -- | Inf
819.41/819.48 c 819s| 4290k|803076 | 9662k| 2.3 | 698M| 44 | 6 | 50 |6271 | 50 | 17 | 20 |2417k|7926 | 0.000000e+00 | -- | Inf
821.81/821.87 c 822s| 4300k|804279 | 9685k| 2.3 | 700M| 44 | 6 | 50 |5699 | 50 | 17 | 20 |2423k|7941 | 0.000000e+00 | -- | Inf
824.21/824.20 c 824s| 4310k|805485 | 9707k| 2.3 | 701M| 44 | 6 | 50 |6093 | 50 | 17 | 20 |2429k|7946 | 0.000000e+00 | -- | Inf
826.31/826.32 c 826s| 4320k|807071 | 9730k| 2.3 | 703M| 44 | 6 | 50 |6740 | 50 | 17 | 20 |2435k|7954 | 0.000000e+00 | -- | Inf
828.71/828.71 c 829s| 4330k|808302 | 9753k| 2.3 | 704M| 44 | 6 | 50 |6055 | 50 | 17 | 20 |2441k|7966 | 0.000000e+00 | -- | Inf
830.52/830.55 c 831s| 4340k|810790 | 9775k| 2.3 | 706M| 44 | 6 | 50 |7217 | 50 | 17 | 20 |2446k|7975 | 0.000000e+00 | -- | Inf
832.31/832.39 c 832s| 4350k|813624 | 9797k| 2.3 | 708M| 44 | - | 50 |8245 | 0 | 0 | 20 |2451k|7982 | 0.000000e+00 | -- | Inf
834.31/834.34 c 834s| 4360k|815844 | 9820k| 2.3 | 710M| 44 | 6 | 50 |7565 | 50 | 17 | 20 |2456k|7995 | 0.000000e+00 | -- | Inf
836.31/836.38 c 836s| 4370k|817870 | 9842k| 2.3 | 712M| 44 | - | 50 |8187 | 50 | 17 | 20 |2461k|8006 | 0.000000e+00 | -- | Inf
838.41/838.43 c 838s| 4380k|819906 | 9865k| 2.3 | 713M| 44 | 6 | 50 |8096 | 50 | 17 | 20 |2467k|8015 | 0.000000e+00 | -- | Inf
840.42/840.48 c 840s| 4390k|821989 | 9887k| 2.3 | 715M| 44 | 6 | 50 |8630 | 50 | 17 | 20 |2472k|8022 | 0.000000e+00 | -- | Inf
842.51/842.51 c 843s| 4400k|824148 | 9909k| 2.3 | 717M| 44 | 6 | 50 |8551 | 50 | 17 | 20 |2477k|8034 | 0.000000e+00 | -- | Inf
844.51/844.58 c 845s| 4410k|825881 | 9931k| 2.3 | 719M| 44 | - | 50 |9060 | 50 | 17 | 20 |2482k|8042 | 0.000000e+00 | -- | Inf
846.52/846.58 c 847s| 4420k|828417 | 9953k| 2.3 | 721M| 44 | 6 | 50 |9340 | 50 | 17 | 20 |2487k|8049 | 0.000000e+00 | -- | Inf
848.81/848.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
848.81/848.81 c 849s| 4430k|830342 | 9975k| 2.3 | 722M| 44 | 6 | 50 |8409 | 50 | 17 | 20 |2492k|8059 | 0.000000e+00 | -- | Inf
851.01/851.09 c 851s| 4440k|832025 | 9998k| 2.3 | 723M| 44 | - | 50 |6709 | 50 | 17 | 20 |2498k|8064 | 0.000000e+00 | -- | Inf
853.42/853.41 c 853s| 4450k|833554 | 10021k| 2.3 | 725M| 44 | 6 | 50 |6316 | 50 | 17 | 20 |2504k|8077 | 0.000000e+00 | -- | Inf
855.51/855.54 c 856s| 4460k|835368 | 10044k| 2.3 | 726M| 44 | 6 | 50 |7141 | 50 | 17 | 20 |2509k|8086 | 0.000000e+00 | -- | Inf
857.92/857.90 c 858s| 4470k|836846 | 10067k| 2.3 | 727M| 44 | 6 | 50 |5368 | 50 | 17 | 20 |2515k|8096 | 0.000000e+00 | -- | Inf
860.11/860.16 c 860s| 4480k|838182 | 10090k| 2.3 | 729M| 44 | 6 | 50 |5638 | 50 | 17 | 20 |2521k|8104 | 0.000000e+00 | -- | Inf
862.31/862.30 c 862s| 4490k|839714 | 10113k| 2.3 | 730M| 44 | 6 | 50 |5354 | 50 | 17 | 20 |2527k|8117 | 0.000000e+00 | -- | Inf
864.31/864.38 c 864s| 4500k|841222 | 10136k| 2.3 | 732M| 44 | 6 | 50 |5925 | 50 | 17 | 20 |2533k|8122 | 0.000000e+00 | -- | Inf
866.61/866.60 c 867s| 4510k|842655 | 10159k| 2.3 | 734M| 44 | 6 | 50 |6449 | 50 | 17 | 20 |2539k|8131 | 0.000000e+00 | -- | Inf
868.71/868.74 c 869s| 4520k|844387 | 10181k| 2.3 | 735M| 44 | - | 50 |6613 | 50 | 17 | 20 |2545k|8145 | 0.000000e+00 | -- | Inf
870.71/870.76 c 871s| 4530k|846388 | 10205k| 2.3 | 737M| 44 | 6 | 50 |7490 | 50 | 17 | 20 |2550k|8156 | 0.000000e+00 | -- | Inf
872.81/872.86 c 873s| 4540k|848255 | 10227k| 2.3 | 739M| 44 | - | 50 |8059 | 50 | 17 | 20 |2556k|8160 | 0.000000e+00 | -- | Inf
875.21/875.26 c 875s| 4550k|849782 | 10250k| 2.3 | 740M| 44 | 6 | 50 |8376 | 50 | 17 | 20 |2562k|8171 | 0.000000e+00 | -- | Inf
877.42/877.43 c 877s| 4560k|851551 | 10273k| 2.3 | 742M| 44 | - | 50 |9311 | 50 | 17 | 20 |2568k|8183 | 0.000000e+00 | -- | Inf
879.91/879.94 c 880s| 4570k|853176 | 10297k| 2.3 | 743M| 44 | 6 | 50 |8759 | 50 | 17 | 20 |2573k|8192 | 0.000000e+00 | -- | Inf
882.41/882.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
882.41/882.43 c 882s| 4580k|854744 | 10321k| 2.3 | 745M| 44 | - | 50 |8028 | 0 | 0 | 20 |2579k|8200 | 0.000000e+00 | -- | Inf
884.81/884.87 c 885s| 4590k|856223 | 10343k| 2.3 | 746M| 44 | 6 | 50 |7218 | 50 | 17 | 20 |2585k|8208 | 0.000000e+00 | -- | Inf
886.92/886.97 c 887s| 4600k|857974 | 10366k| 2.3 | 748M| 44 | 6 | 50 |8476 | 50 | 17 | 20 |2591k|8217 | 0.000000e+00 | -- | Inf
889.31/889.37 c 889s| 4610k|859513 | 10389k| 2.3 | 749M| 44 | 6 | 50 |7304 | 50 | 17 | 20 |2597k|8224 | 0.000000e+00 | -- | Inf
891.51/891.59 c 892s| 4620k|861162 | 10411k| 2.3 | 751M| 44 | - | 50 |7761 | 50 | 17 | 20 |2603k|8235 | 0.000000e+00 | -- | Inf
893.81/893.89 c 894s| 4630k|862664 | 10434k| 2.3 | 752M| 44 | 6 | 50 |7086 | 50 | 17 | 20 |2608k|8241 | 0.000000e+00 | -- | Inf
896.21/896.25 c 896s| 4640k|864146 | 10456k| 2.3 | 753M| 44 | 6 | 50 |6208 | 50 | 17 | 20 |2614k|8249 | 0.000000e+00 | -- | Inf
898.41/898.42 c 898s| 4650k|865627 | 10479k| 2.3 | 755M| 44 | 6 | 50 |6783 | 50 | 17 | 20 |2620k|8260 | 0.000000e+00 | -- | Inf
900.51/900.54 c 901s| 4660k|867270 | 10501k| 2.3 | 756M| 44 | 6 | 50 |6649 | 50 | 17 | 20 |2626k|8268 | 0.000000e+00 | -- | Inf
902.81/902.80 c 903s| 4670k|868664 | 10523k| 2.3 | 757M| 44 | - | 50 |5733 | 0 | 0 | 20 |2632k|8276 | 0.000000e+00 | -- | Inf
905.01/905.01 c 905s| 4680k|870096 | 10546k| 2.3 | 759M| 44 | - | 50 |6125 | 50 | 17 | 20 |2637k|8282 | 0.000000e+00 | -- | Inf
907.31/907.30 c 907s| 4690k|871471 | 10569k| 2.3 | 760M| 44 | 6 | 50 |5923 | 50 | 17 | 20 |2643k|8292 | 0.000000e+00 | -- | Inf
909.51/909.55 c 910s| 4700k|872820 | 10592k| 2.3 | 762M| 44 | 6 | 50 |5404 | 50 | 17 | 20 |2649k|8299 | 0.000000e+00 | -- | Inf
911.81/911.81 c 912s| 4710k|874115 | 10615k| 2.3 | 763M| 44 | 6 | 50 |5517 | 50 | 17 | 20 |2655k|8310 | 0.000000e+00 | -- | Inf
913.82/913.81 c 914s| 4720k|875901 | 10637k| 2.3 | 765M| 44 | - | 50 |6997 | 50 | 17 | 20 |2661k|8318 | 0.000000e+00 | -- | Inf
916.02/916.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
916.02/916.00 c 916s| 4730k|877514 | 10659k| 2.3 | 766M| 44 | - | 50 |6163 | 50 | 17 | 20 |2667k|8321 | 0.000000e+00 | -- | Inf
918.31/918.31 c 918s| 4740k|879015 | 10682k| 2.3 | 768M| 44 | 6 | 50 |5932 | 50 | 17 | 20 |2673k|8332 | 0.000000e+00 | -- | Inf
920.31/920.34 c 920s| 4750k|880826 | 10705k| 2.3 | 769M| 44 | 6 | 50 |6436 | 50 | 17 | 20 |2678k|8343 | 0.000000e+00 | -- | Inf
922.31/922.33 c 922s| 4760k|882875 | 10728k| 2.3 | 771M| 44 | - | 50 |8166 | 50 | 17 | 20 |2684k|8351 | 0.000000e+00 | -- | Inf
924.71/924.75 c 925s| 4770k|884230 | 10751k| 2.3 | 772M| 44 | - | 50 |5863 | 50 | 17 | 20 |2690k|8361 | 0.000000e+00 | -- | Inf
927.01/927.00 c 927s| 4780k|885617 | 10774k| 2.3 | 774M| 44 | - | 50 |5925 | 50 | 17 | 20 |2695k|8370 | 0.000000e+00 | -- | Inf
929.12/929.11 c 929s| 4790k|887214 | 10796k| 2.3 | 775M| 44 | - | 50 |6830 | 50 | 17 | 20 |2701k|8376 | 0.000000e+00 | -- | Inf
931.22/931.26 c 931s| 4800k|888842 | 10818k| 2.3 | 777M| 44 | 6 | 50 |6780 | 50 | 17 | 20 |2707k|8383 | 0.000000e+00 | -- | Inf
933.51/933.53 c 934s| 4810k|890295 | 10841k| 2.3 | 778M| 44 | - | 50 |5858 | 50 | 17 | 20 |2713k|8392 | 0.000000e+00 | -- | Inf
935.52/935.51 c 936s| 4820k|892362 | 10865k| 2.3 | 780M| 44 | 6 | 50 |6557 | 50 | 17 | 20 |2719k|8403 | 0.000000e+00 | -- | Inf
937.71/937.72 c 938s| 4830k|893615 | 10888k| 2.3 | 781M| 44 | 6 | 50 |7219 | 50 | 17 | 20 |2725k|8412 | 0.000000e+00 | -- | Inf
940.01/940.03 c 940s| 4840k|894983 | 10910k| 2.3 | 783M| 44 | 6 | 50 |6784 | 50 | 17 | 20 |2731k|8424 | 0.000000e+00 | -- | Inf
942.32/942.34 c 942s| 4850k|896429 | 10932k| 2.3 | 784M| 44 | - | 50 |6319 | 50 | 17 | 20 |2736k|8439 | 0.000000e+00 | -- | Inf
944.51/944.58 c 945s| 4860k|897870 | 10956k| 2.3 | 785M| 44 | - | 50 |6266 | 50 | 17 | 20 |2742k|8449 | 0.000000e+00 | -- | Inf
946.72/946.78 c 947s| 4870k|899461 | 10978k| 2.3 | 787M| 44 | 6 | 50 |6538 | 50 | 17 | 20 |2748k|8451 | 0.000000e+00 | -- | Inf
948.82/948.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
948.82/948.80 c 949s| 4880k|901304 | 11001k| 2.3 | 789M| 44 | 6 | 50 |8129 | 50 | 17 | 20 |2754k|8457 | 0.000000e+00 | -- | Inf
951.21/951.25 c 951s| 4890k|902543 | 11024k| 2.3 | 790M| 44 | 6 | 50 |7043 | 50 | 17 | 20 |2760k|8461 | 0.000000e+00 | -- | Inf
953.62/953.65 c 954s| 4900k|903921 | 11048k| 2.3 | 791M| 44 | - | 50 |6407 | 50 | 17 | 20 |2766k|8466 | 0.000000e+00 | -- | Inf
955.92/955.97 c 956s| 4910k|905282 | 11070k| 2.3 | 792M| 44 | 6 | 50 |5645 | 50 | 17 | 20 |2772k|8475 | 0.000000e+00 | -- | Inf
958.12/958.11 c 958s| 4920k|906832 | 11093k| 2.3 | 794M| 44 | 6 | 50 |6024 | 50 | 17 | 20 |2778k|8481 | 0.000000e+00 | -- | Inf
960.21/960.23 c 960s| 4930k|908354 | 11115k| 2.3 | 796M| 44 | - | 50 |6664 | 50 | 17 | 20 |2784k|8489 | 0.000000e+00 | -- | Inf
962.51/962.53 c 963s| 4940k|909632 | 11137k| 2.3 | 797M| 44 | - | 50 |6287 | 50 | 17 | 20 |2790k|8497 | 0.000000e+00 | -- | Inf
964.72/964.75 c 965s| 4950k|911127 | 11160k| 2.3 | 798M| 44 | - | 50 |5935 | 50 | 17 | 20 |2796k|8510 | 0.000000e+00 | -- | Inf
966.92/966.94 c 967s| 4960k|912531 | 11183k| 2.3 | 800M| 44 | 6 | 50 |5893 | 50 | 17 | 20 |2802k|8515 | 0.000000e+00 | -- | Inf
969.12/969.12 c 969s| 4970k|914007 | 11205k| 2.3 | 801M| 44 | 6 | 50 |6446 | 50 | 17 | 20 |2808k|8522 | 0.000000e+00 | -- | Inf
971.32/971.39 c 971s| 4980k|915380 | 11228k| 2.3 | 803M| 44 | 6 | 50 |6373 | 50 | 17 | 20 |2814k|8533 | 0.000000e+00 | -- | Inf
973.42/973.45 c 973s| 4990k|916896 | 11251k| 2.3 | 804M| 44 | 6 | 50 |7173 | 50 | 17 | 20 |2820k|8553 | 0.000000e+00 | -- | Inf
975.72/975.79 c 976s| 5000k|918229 | 11273k| 2.3 | 806M| 44 | 6 | 50 |6509 | 50 | 17 | 20 |2826k|8564 | 0.000000e+00 | -- | Inf
977.82/977.88 c 978s| 5010k|919910 | 11295k| 2.3 | 807M| 44 | 6 | 50 |6956 | 50 | 17 | 20 |2831k|8570 | 0.000000e+00 | -- | Inf
980.12/980.10 c 980s| 5020k|921284 | 11317k| 2.3 | 809M| 44 | 6 | 50 |7166 | 50 | 17 | 20 |2837k|8575 | 0.000000e+00 | -- | Inf
982.42/982.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
982.42/982.48 c 982s| 5030k|922613 | 11340k| 2.3 | 810M| 44 | 6 | 50 |6562 | 50 | 17 | 20 |2843k|8584 | 0.000000e+00 | -- | Inf
984.72/984.70 c 985s| 5040k|924035 | 11364k| 2.3 | 811M| 44 | 6 | 50 |6477 | 50 | 17 | 20 |2849k|8592 | 0.000000e+00 | -- | Inf
986.82/986.89 c 987s| 5050k|925573 | 11387k| 2.3 | 813M| 44 | 6 | 50 |6564 | 50 | 17 | 20 |2855k|8604 | 0.000000e+00 | -- | Inf
989.22/989.26 c 989s| 5060k|926781 | 11409k| 2.3 | 814M| 44 | 6 | 50 |5199 | 50 | 17 | 20 |2861k|8616 | 0.000000e+00 | -- | Inf
991.31/991.33 c 991s| 5070k|928181 | 11432k| 2.3 | 816M| 44 | - | 50 |6332 | 0 | 0 | 20 |2867k|8628 | 0.000000e+00 | -- | Inf
993.42/993.45 c 993s| 5080k|929766 | 11455k| 2.3 | 817M| 44 | 6 | 50 |6628 | 50 | 17 | 20 |2873k|8639 | 0.000000e+00 | -- | Inf
995.72/995.77 c 996s| 5090k|931264 | 11478k| 2.3 | 818M| 44 | - | 50 |5321 | 50 | 17 | 20 |2879k|8647 | 0.000000e+00 | -- | Inf
997.82/997.85 c 998s| 5100k|932888 | 11501k| 2.3 | 820M| 44 | 6 | 50 |6052 | 50 | 17 | 20 |2884k|8661 | 0.000000e+00 | -- | Inf
1000.02/1000.07 c 1000s| 5110k|934424 | 11524k| 2.3 | 821M| 44 | 6 | 50 |5632 | 50 | 17 | 20 |2890k|8671 | 0.000000e+00 | -- | Inf
1002.12/1002.10 c 1002s| 5120k|935964 | 11546k| 2.3 | 823M| 44 | 6 | 50 |7330 | 50 | 17 | 20 |2896k|8681 | 0.000000e+00 | -- | Inf
1004.32/1004.40 c 1004s| 5130k|937494 | 11569k| 2.3 | 825M| 44 | - | 50 |6744 | 0 | 0 | 20 |2902k|8689 | 0.000000e+00 | -- | Inf
1006.71/1006.70 c 1007s| 5140k|938814 | 11591k| 2.3 | 826M| 44 | 6 | 50 |6679 | 50 | 17 | 20 |2908k|8695 | 0.000000e+00 | -- | Inf
1008.82/1008.83 c 1009s| 5150k|940570 | 11615k| 2.3 | 828M| 44 | 6 | 50 |7158 | 50 | 17 | 20 |2914k|8702 | 0.000000e+00 | -- | Inf
1011.12/1011.17 c 1011s| 5160k|941882 | 11639k| 2.3 | 829M| 44 | 6 | 50 |6272 | 50 | 17 | 20 |2920k|8715 | 0.000000e+00 | -- | Inf
1013.42/1013.40 c 1013s| 5170k|943413 | 11662k| 2.3 | 830M| 44 | - | 50 |5700 | 0 | 0 | 20 |2926k|8724 | 0.000000e+00 | -- | Inf
1015.42/1015.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1015.42/1015.48 c 1015s| 5180k|945121 | 11684k| 2.3 | 832M| 44 | 6 | 50 |6656 | 50 | 17 | 20 |2932k|8734 | 0.000000e+00 | -- | Inf
1017.92/1017.94 c 1018s| 5190k|946473 | 11707k| 2.3 | 833M| 44 | 6 | 50 |5767 | 50 | 17 | 20 |2938k|8743 | 0.000000e+00 | -- | Inf
1020.01/1020.09 c 1020s| 5200k|947905 | 11729k| 2.3 | 835M| 44 | 6 | 50 |7312 | 50 | 17 | 20 |2944k|8750 | 0.000000e+00 | -- | Inf
1022.41/1022.40 c 1022s| 5210k|949294 | 11752k| 2.3 | 836M| 44 | 6 | 50 |6864 | 50 | 17 | 20 |2950k|8757 | 0.000000e+00 | -- | Inf
1024.71/1024.74 c 1025s| 5220k|950646 | 11775k| 2.3 | 838M| 44 | - | 50 |6450 | 50 | 17 | 20 |2956k|8765 | 0.000000e+00 | -- | Inf
1026.72/1026.76 c 1027s| 5230k|952356 | 11797k| 2.3 | 839M| 44 | - | 50 |8107 | 50 | 17 | 20 |2961k|8770 | 0.000000e+00 | -- | Inf
1029.22/1029.26 c 1029s| 5240k|953676 | 11820k| 2.3 | 840M| 44 | - | 50 |6289 | 0 | 0 | 20 |2968k|8779 | 0.000000e+00 | -- | Inf
1031.52/1031.59 c 1032s| 5250k|955027 | 11843k| 2.3 | 842M| 44 | 6 | 50 |6472 | 50 | 17 | 20 |2974k|8786 | 0.000000e+00 | -- | Inf
1033.72/1033.76 c 1034s| 5260k|956735 | 11866k| 2.3 | 844M| 44 | - | 50 |7105 | 50 | 17 | 20 |2979k|8796 | 0.000000e+00 | -- | Inf
1035.92/1035.98 c 1036s| 5270k|958122 | 11889k| 2.3 | 845M| 44 | - | 50 |7330 | 50 | 17 | 20 |2985k|8814 | 0.000000e+00 | -- | Inf
1038.22/1038.26 c 1038s| 5280k|959676 | 11913k| 2.3 | 847M| 44 | 6 | 50 |7774 | 50 | 17 | 20 |2991k|8824 | 0.000000e+00 | -- | Inf
1040.62/1040.65 c 1041s| 5290k|961175 | 11936k| 2.3 | 848M| 44 | - | 50 |6948 | 50 | 17 | 20 |2997k|8835 | 0.000000e+00 | -- | Inf
1042.82/1042.83 c 1043s| 5300k|962726 | 11959k| 2.3 | 849M| 44 | 6 | 50 |7458 | 50 | 17 | 20 |3003k|8847 | 0.000000e+00 | -- | Inf
1045.21/1045.22 c 1045s| 5310k|964097 | 11982k| 2.3 | 851M| 44 | 6 | 50 |6793 | 50 | 17 | 20 |3009k|8853 | 0.000000e+00 | -- | Inf
1047.32/1047.37 c 1047s| 5320k|965661 | 12004k| 2.3 | 852M| 44 | - | 50 |6497 | 0 | 0 | 20 |3015k|8860 | 0.000000e+00 | -- | Inf
1049.62/1049.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1049.62/1049.62 c 1050s| 5330k|967170 | 12026k| 2.3 | 853M| 44 | - | 50 |6013 | 50 | 17 | 20 |3020k|8868 | 0.000000e+00 | -- | Inf
1052.02/1052.02 c 1052s| 5340k|968418 | 12049k| 2.3 | 855M| 44 | 6 | 50 |5476 | 50 | 17 | 20 |3026k|8880 | 0.000000e+00 | -- | Inf
1054.41/1054.40 c 1054s| 5350k|969681 | 12072k| 2.3 | 856M| 44 | 6 | 50 |5639 | 50 | 17 | 20 |3032k|8890 | 0.000000e+00 | -- | Inf
1056.52/1056.59 c 1057s| 5360k|971287 | 12095k| 2.3 | 858M| 44 | 6 | 50 |6635 | 50 | 17 | 20 |3038k|8899 | 0.000000e+00 | -- | Inf
1058.71/1058.74 c 1059s| 5370k|972974 | 12118k| 2.3 | 860M| 44 | 6 | 50 |7981 | 50 | 17 | 20 |3044k|8909 | 0.000000e+00 | -- | Inf
1061.11/1061.12 c 1061s| 5380k|974611 | 12142k| 2.3 | 861M| 44 | - | 50 |7069 | 0 | 0 | 20 |3050k|8917 | 0.000000e+00 | -- | Inf
1063.42/1063.44 c 1063s| 5390k|976000 | 12165k| 2.3 | 862M| 44 | - | 50 |7088 | 50 | 17 | 20 |3056k|8930 | 0.000000e+00 | -- | Inf
1065.71/1065.71 c 1066s| 5400k|977644 | 12187k| 2.3 | 863M| 44 | 6 | 50 |6452 | 50 | 17 | 20 |3061k|8943 | 0.000000e+00 | -- | Inf
1068.12/1068.20 c 1068s| 5410k|978909 | 12210k| 2.3 | 865M| 44 | 6 | 50 |5861 | 50 | 17 | 20 |3067k|8948 | 0.000000e+00 | -- | Inf
1070.42/1070.43 c 1070s| 5420k|980308 | 12232k| 2.3 | 866M| 44 | 6 | 50 |6207 | 50 | 17 | 20 |3073k|8953 | 0.000000e+00 | -- | Inf
1072.42/1072.41 c 1072s| 5430k|982261 | 12255k| 2.3 | 868M| 44 | - | 50 |7629 | 50 | 17 | 20 |3079k|8966 | 0.000000e+00 | -- | Inf
1074.61/1074.65 c 1075s| 5440k|983630 | 12279k| 2.3 | 869M| 44 | - | 50 |7130 | 0 | 0 | 20 |3085k|8969 | 0.000000e+00 | -- | Inf
1076.72/1076.79 c 1077s| 5450k|985329 | 12301k| 2.3 | 871M| 44 | 6 | 50 |8844 | 50 | 17 | 20 |3091k|8981 | 0.000000e+00 | -- | Inf
1079.01/1079.08 c 1079s| 5460k|987498 | 12324k| 2.3 | 873M| 44 | 6 | 50 |8560 | 50 | 17 | 20 |3096k|8994 | 0.000000e+00 | -- | Inf
1081.22/1081.22 c 1081s| 5470k|989830 | 12346k| 2.3 | 875M| 44 | - | 50 |9450 | 50 | 17 | 20 |3101k|9000 | 0.000000e+00 | -- | Inf
1083.32/1083.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1083.32/1083.38 c 1083s| 5480k|992119 | 12369k| 2.3 | 877M| 44 | 6 | 50 | 10k| 50 | 17 | 20 |3106k|9006 | 0.000000e+00 | -- | Inf
1085.52/1085.53 c 1086s| 5490k|994649 | 12392k| 2.3 | 879M| 44 | 6 | 50 | 11k| 50 | 17 | 20 |3111k|9012 | 0.000000e+00 | -- | Inf
1087.81/1087.89 c 1088s| 5500k|996781 | 12414k| 2.3 | 881M| 44 | 6 | 50 | 11k| 50 | 17 | 20 |3116k|9020 | 0.000000e+00 | -- | Inf
1090.22/1090.29 c 1090s| 5510k|998649 | 12437k| 2.3 | 882M| 44 | - | 50 | 10k| 50 | 17 | 20 |3122k|9032 | 0.000000e+00 | -- | Inf
1092.71/1092.71 c 1093s| 5520k| 1000k| 12460k| 2.3 | 884M| 44 | - | 50 | 10k| 50 | 17 | 20 |3127k|9038 | 0.000000e+00 | -- | Inf
1094.92/1094.93 c 1095s| 5530k| 1002k| 12482k| 2.3 | 886M| 44 | - | 50 | 10k| 50 | 17 | 20 |3133k|9047 | 0.000000e+00 | -- | Inf
1097.41/1097.43 c 1097s| 5540k| 1004k| 12505k| 2.3 | 887M| 44 | - | 50 | 10k| 50 | 17 | 20 |3138k|9060 | 0.000000e+00 | -- | Inf
1099.92/1099.99 c 1100s| 5550k| 1005k| 12528k| 2.3 | 888M| 44 | - | 50 |9901 | 50 | 17 | 20 |3144k|9066 | 0.000000e+00 | -- | Inf
1102.42/1102.44 c 1102s| 5560k| 1007k| 12551k| 2.3 | 890M| 44 | 6 | 50 | 10k| 50 | 17 | 20 |3149k|9076 | 0.000000e+00 | -- | Inf
1105.12/1105.13 c 1105s| 5570k| 1008k| 12574k| 2.3 | 891M| 44 | 6 | 50 |7989 | 50 | 17 | 20 |3155k|9085 | 0.000000e+00 | -- | Inf
1107.62/1107.64 c 1108s| 5580k| 1010k| 12596k| 2.3 | 892M| 44 | 6 | 50 |6967 | 50 | 17 | 20 |3161k|9095 | 0.000000e+00 | -- | Inf
1109.72/1109.76 c 1110s| 5590k| 1011k| 12619k| 2.3 | 894M| 44 | - | 50 |7755 | 50 | 17 | 20 |3167k|9101 | 0.000000e+00 | -- | Inf
1112.32/1112.30 c 1112s| 5600k| 1012k| 12642k| 2.3 | 895M| 44 | 6 | 50 |6247 | 50 | 17 | 20 |3173k|9106 | 0.000000e+00 | -- | Inf
1114.32/1114.33 c 1114s| 5610k| 1014k| 12664k| 2.3 | 897M| 44 | 6 | 50 |6918 | 50 | 17 | 20 |3179k|9114 | 0.000000e+00 | -- | Inf
1116.63/1116.64 c 1117s| 5620k| 1016k| 12686k| 2.3 | 898M| 44 | 6 | 50 |5946 | 50 | 17 | 20 |3184k|9121 | 0.000000e+00 | -- | Inf
1118.73/1118.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1118.73/1118.79 c 1119s| 5630k| 1017k| 12709k| 2.3 | 899M| 44 | 6 | 50 |6703 | 50 | 17 | 20 |3190k|9127 | 0.000000e+00 | -- | Inf
1120.82/1120.81 c 1121s| 5640k| 1019k| 12731k| 2.3 | 902M| 44 | 6 | 50 |8677 | 50 | 17 | 20 |3196k|9136 | 0.000000e+00 | -- | Inf
1123.22/1123.26 c 1123s| 5650k| 1021k| 12754k| 2.3 | 903M| 44 | 6 | 50 |7475 | 50 | 17 | 20 |3202k|9139 | 0.000000e+00 | -- | Inf
1125.82/1125.87 c 1126s| 5660k| 1022k| 12776k| 2.3 | 904M| 44 | - | 50 |6401 | 50 | 17 | 20 |3208k|9149 | 0.000000e+00 | -- | Inf
1128.22/1128.29 c 1128s| 5670k| 1023k| 12799k| 2.3 | 905M| 44 | 6 | 50 |5916 | 50 | 17 | 20 |3214k|9159 | 0.000000e+00 | -- | Inf
1130.32/1130.32 c 1130s| 5680k| 1025k| 12822k| 2.3 | 907M| 44 | 6 | 50 |7012 | 50 | 17 | 20 |3219k|9163 | 0.000000e+00 | -- | Inf
1132.21/1132.28 c 1132s| 5690k| 1028k| 12845k| 2.3 | 909M| 44 | 6 | 50 |8251 | 50 | 17 | 20 |3224k|9169 | 0.000000e+00 | -- | Inf
1134.82/1134.80 c 1135s| 5700k| 1029k| 12867k| 2.3 | 910M| 44 | - | 50 |6146 | 0 | 0 | 20 |3230k|9180 | 0.000000e+00 | -- | Inf
1136.82/1136.83 c 1137s| 5710k| 1030k| 12890k| 2.3 | 912M| 44 | 6 | 50 |7743 | 50 | 17 | 20 |3236k|9191 | 0.000000e+00 | -- | Inf
1139.22/1139.26 c 1139s| 5720k| 1032k| 12912k| 2.3 | 912M| 44 | - | 50 |6184 | 50 | 17 | 20 |3242k|9205 | 0.000000e+00 | -- | Inf
1141.52/1141.53 c 1142s| 5730k| 1033k| 12935k| 2.3 | 914M| 44 | 6 | 50 |6375 | 50 | 17 | 20 |3248k|9211 | 0.000000e+00 | -- | Inf
1143.82/1143.87 c 1144s| 5740k| 1035k| 12957k| 2.3 | 915M| 44 | - | 50 |6133 | 50 | 17 | 20 |3254k|9216 | 0.000000e+00 | -- | Inf
1146.11/1146.16 c 1146s| 5750k| 1036k| 12980k| 2.3 | 917M| 44 | 6 | 50 |6299 | 50 | 17 | 20 |3260k|9224 | 0.000000e+00 | -- | Inf
1148.52/1148.58 c 1149s| 5760k| 1037k| 13003k| 2.3 | 918M| 44 | 6 | 50 |6286 | 50 | 17 | 20 |3266k|9231 | 0.000000e+00 | -- | Inf
1150.62/1150.63 c 1151s| 5770k| 1039k| 13025k| 2.3 | 920M| 44 | - | 50 |7239 | 0 | 0 | 20 |3271k|9238 | 0.000000e+00 | -- | Inf
1152.82/1152.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1152.82/1152.80 c 1153s| 5780k| 1041k| 13047k| 2.3 | 922M| 44 | 6 | 50 |8542 | 50 | 17 | 20 |3277k|9250 | 0.000000e+00 | -- | Inf
1155.12/1155.18 c 1155s| 5790k| 1042k| 13071k| 2.3 | 923M| 44 | - | 50 |7986 | 50 | 17 | 20 |3283k|9258 | 0.000000e+00 | -- | Inf
1157.52/1157.58 c 1158s| 5800k| 1044k| 13093k| 2.3 | 924M| 44 | 6 | 50 |7710 | 50 | 17 | 20 |3289k|9264 | 0.000000e+00 | -- | Inf
1160.12/1160.13 c 1160s| 5810k| 1045k| 13116k| 2.3 | 925M| 44 | 6 | 50 |6168 | 50 | 17 | 20 |3295k|9269 | 0.000000e+00 | -- | Inf
1162.52/1162.60 c 1163s| 5820k| 1046k| 13139k| 2.3 | 926M| 44 | 6 | 50 |5825 | 50 | 17 | 20 |3301k|9279 | 0.000000e+00 | -- | Inf
1165.03/1165.02 c 1165s| 5830k| 1047k| 13162k| 2.3 | 928M| 44 | - | 50 |6152 | 50 | 17 | 20 |3307k|9287 | 0.000000e+00 | -- | Inf
1167.32/1167.32 c 1167s| 5840k| 1048k| 13184k| 2.3 | 929M| 44 | 6 | 50 |6702 | 50 | 17 | 20 |3314k|9290 | 0.000000e+00 | -- | Inf
1169.43/1169.46 c 1169s| 5850k| 1050k| 13207k| 2.3 | 931M| 44 | 6 | 50 |7827 | 50 | 17 | 20 |3319k|9296 | 0.000000e+00 | -- | Inf
1171.92/1171.93 c 1172s| 5860k| 1052k| 13230k| 2.3 | 932M| 44 | 6 | 50 |6999 | 50 | 17 | 20 |3325k|9300 | 0.000000e+00 | -- | Inf
1174.12/1174.13 c 1174s| 5870k| 1053k| 13253k| 2.3 | 934M| 44 | 6 | 50 |7163 | 50 | 17 | 20 |3331k|9306 | 0.000000e+00 | -- | Inf
1176.32/1176.33 c 1176s| 5880k| 1055k| 13276k| 2.3 | 936M| 44 | - | 50 |7808 | 50 | 17 | 20 |3336k|9312 | 0.000000e+00 | -- | Inf
1178.81/1178.88 c 1179s| 5890k| 1056k| 13298k| 2.3 | 937M| 44 | 6 | 50 |6858 | 50 | 17 | 20 |3342k|9321 | 0.000000e+00 | -- | Inf
1181.32/1181.30 c 1181s| 5900k| 1058k| 13321k| 2.3 | 938M| 44 | 6 | 50 |6900 | 50 | 17 | 20 |3348k|9328 | 0.000000e+00 | -- | Inf
1183.52/1183.59 c 1184s| 5910k| 1059k| 13344k| 2.3 | 940M| 44 | 6 | 50 |7080 | 50 | 17 | 20 |3354k|9332 | 0.000000e+00 | -- | Inf
1186.02/1186.03 c 1186s| 5920k| 1060k| 13367k| 2.3 | 941M| 44 | 6 | 50 |6379 | 50 | 17 | 20 |3360k|9342 | 0.000000e+00 | -- | Inf
1188.12/1188.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1188.12/1188.19 c 1188s| 5930k| 1062k| 13389k| 2.3 | 942M| 44 | 6 | 50 |6682 | 50 | 17 | 20 |3366k|9348 | 0.000000e+00 | -- | Inf
1190.62/1190.67 c 1191s| 5940k| 1063k| 13412k| 2.3 | 944M| 44 | - | 50 |6180 | 0 | 0 | 20 |3372k|9355 | 0.000000e+00 | -- | Inf
1192.92/1192.95 c 1193s| 5950k| 1064k| 13435k| 2.3 | 945M| 44 | 6 | 50 |5393 | 50 | 17 | 20 |3378k|9361 | 0.000000e+00 | -- | Inf
1195.22/1195.21 c 1195s| 5960k| 1066k| 13458k| 2.3 | 946M| 44 | - | 50 |5840 | 50 | 17 | 20 |3384k|9368 | 0.000000e+00 | -- | Inf
1197.42/1197.40 c 1197s| 5970k| 1067k| 13481k| 2.3 | 948M| 44 | 6 | 50 |6434 | 50 | 17 | 20 |3390k|9377 | 0.000000e+00 | -- | Inf
1199.72/1199.70 c 1200s| 5980k| 1069k| 13503k| 2.3 | 949M| 44 | - | 50 |6471 | 50 | 17 | 20 |3396k|9388 | 0.000000e+00 | -- | Inf
1202.02/1202.03 c 1202s| 5990k| 1070k| 13526k| 2.3 | 950M| 44 | 6 | 50 |5770 | 50 | 17 | 20 |3402k|9398 | 0.000000e+00 | -- | Inf
1204.02/1204.05 c 1204s| 6000k| 1071k| 13548k| 2.3 | 952M| 44 | - | 50 |7229 | 50 | 17 | 20 |3408k|9403 | 0.000000e+00 | -- | Inf
1206.32/1206.39 c 1206s| 6010k| 1073k| 13571k| 2.3 | 953M| 44 | 6 | 50 |6186 | 50 | 17 | 20 |3414k|9411 | 0.000000e+00 | -- | Inf
1208.72/1208.79 c 1209s| 6020k| 1074k| 13594k| 2.3 | 955M| 44 | 6 | 50 |6092 | 50 | 17 | 20 |3420k|9419 | 0.000000e+00 | -- | Inf
1211.02/1211.02 c 1211s| 6030k| 1075k| 13617k| 2.3 | 956M| 44 | - | 50 |6119 | 0 | 0 | 20 |3426k|9428 | 0.000000e+00 | -- | Inf
1213.02/1213.06 c 1213s| 6040k| 1077k| 13639k| 2.3 | 958M| 44 | - | 50 |7041 | 50 | 17 | 20 |3432k|9437 | 0.000000e+00 | -- | Inf
1215.12/1215.11 c 1215s| 6050k| 1079k| 13661k| 2.3 | 960M| 44 | - | 50 |8058 | 50 | 17 | 20 |3437k|9446 | 0.000000e+00 | -- | Inf
1217.52/1217.53 c 1218s| 6060k| 1080k| 13684k| 2.3 | 961M| 44 | 6 | 50 |7029 | 50 | 17 | 20 |3443k|9455 | 0.000000e+00 | -- | Inf
1219.82/1219.90 c 1220s| 6070k| 1082k| 13707k| 2.3 | 962M| 44 | - | 50 |7043 | 50 | 17 | 20 |3449k|9462 | 0.000000e+00 | -- | Inf
1222.12/1222.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1222.12/1222.16 c 1222s| 6080k| 1083k| 13730k| 2.3 | 964M| 44 | - | 50 |7297 | 50 | 17 | 20 |3455k|9468 | 0.000000e+00 | -- | Inf
1224.52/1224.52 c 1225s| 6090k| 1085k| 13752k| 2.3 | 965M| 44 | 6 | 50 |7204 | 50 | 17 | 20 |3461k|9477 | 0.000000e+00 | -- | Inf
1226.72/1226.73 c 1227s| 6100k| 1087k| 13775k| 2.3 | 967M| 44 | 6 | 50 |7849 | 50 | 17 | 20 |3466k|9480 | 0.000000e+00 | -- | Inf
1228.73/1228.71 c 1229s| 6110k| 1090k| 13797k| 2.3 | 969M| 44 | 6 | 50 |8918 | 50 | 17 | 20 |3471k|9488 | 0.000000e+00 | -- | Inf
1230.93/1230.92 c 1231s| 6120k| 1092k| 13820k| 2.3 | 971M| 44 | 6 | 50 |9529 | 50 | 17 | 20 |3476k|9498 | 0.000000e+00 | -- | Inf
1233.12/1233.20 c 1233s| 6130k| 1094k| 13843k| 2.3 | 972M| 44 | 6 | 50 |9315 | 50 | 17 | 20 |3481k|9506 | 0.000000e+00 | -- | Inf
1235.52/1235.58 c 1236s| 6140k| 1096k| 13866k| 2.3 | 974M| 44 | - | 50 |9633 | 50 | 17 | 20 |3487k|9513 | 0.000000e+00 | -- | Inf
1238.12/1238.10 c 1238s| 6150k| 1098k| 13889k| 2.3 | 975M| 44 | - | 50 |8488 | 50 | 17 | 20 |3492k|9518 | 0.000000e+00 | -- | Inf
1240.22/1240.23 c 1240s| 6160k| 1100k| 13910k| 2.3 | 977M| 44 | - | 50 |9915 | 0 | 0 | 20 |3498k|9526 | 0.000000e+00 | -- | Inf
1242.82/1242.80 c 1243s| 6170k| 1101k| 13933k| 2.3 | 978M| 44 | 6 | 50 |9007 | 50 | 17 | 20 |3503k|9534 | 0.000000e+00 | -- | Inf
1245.52/1245.55 c 1246s| 6180k| 1102k| 13956k| 2.3 | 979M| 44 | - | 50 |7233 | 50 | 17 | 20 |3509k|9544 | 0.000000e+00 | -- | Inf
1248.02/1248.09 c 1248s| 6190k| 1104k| 13978k| 2.3 | 980M| 44 | - | 50 |6104 | 50 | 17 | 20 |3515k|9552 | 0.000000e+00 | -- | Inf
1250.32/1250.39 c 1250s| 6200k| 1105k| 14000k| 2.3 | 982M| 44 | - | 50 |6347 | 50 | 17 | 20 |3521k|9559 | 0.000000e+00 | -- | Inf
1252.72/1252.73 c 1253s| 6210k| 1106k| 14023k| 2.3 | 983M| 44 | 6 | 50 |6620 | 50 | 17 | 20 |3527k|9564 | 0.000000e+00 | -- | Inf
1255.42/1255.40 c 1255s| 6220k| 1107k| 14046k| 2.3 | 984M| 44 | 6 | 50 |5919 | 50 | 17 | 20 |3534k|9571 | 0.000000e+00 | -- | Inf
1257.72/1257.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1257.72/1257.76 c 1258s| 6230k| 1109k| 14068k| 2.3 | 986M| 44 | - | 50 |6233 | 0 | 0 | 20 |3540k|9578 | 0.000000e+00 | -- | Inf
1259.93/1259.95 c 1260s| 6240k| 1110k| 14091k| 2.3 | 987M| 44 | - | 50 |6729 | 50 | 17 | 20 |3545k|9590 | 0.000000e+00 | -- | Inf
1261.92/1261.97 c 1262s| 6250k| 1112k| 14114k| 2.3 | 989M| 44 | - | 50 |7910 | 50 | 17 | 20 |3550k|9597 | 0.000000e+00 | -- | Inf
1264.32/1264.31 c 1264s| 6260k| 1114k| 14136k| 2.3 | 991M| 44 | - | 50 |6953 | 0 | 0 | 20 |3556k|9604 | 0.000000e+00 | -- | Inf
1266.42/1266.43 c 1266s| 6270k| 1115k| 14159k| 2.3 | 992M| 44 | 6 | 50 |8152 | 50 | 17 | 20 |3562k|9614 | 0.000000e+00 | -- | Inf
1268.82/1268.82 c 1269s| 6280k| 1117k| 14185k| 2.3 | 994M| 44 | 6 | 50 |9316 | 50 | 17 | 20 |3568k|9624 | 0.000000e+00 | -- | Inf
1271.32/1271.31 c 1271s| 6290k| 1119k| 14207k| 2.3 | 995M| 44 | 6 | 50 |7258 | 50 | 17 | 20 |3574k|9632 | 0.000000e+00 | -- | Inf
1273.82/1273.86 c 1274s| 6300k| 1120k| 14230k| 2.3 | 996M| 44 | 6 | 50 |6619 | 50 | 17 | 20 |3580k|9640 | 0.000000e+00 | -- | Inf
1276.03/1276.00 c 1276s| 6310k| 1121k| 14252k| 2.3 | 998M| 44 | 6 | 50 |7050 | 50 | 17 | 20 |3585k|9648 | 0.000000e+00 | -- | Inf
1278.02/1278.07 c 1278s| 6320k| 1124k| 14276k| 2.3 |1000M| 44 | - | 50 |8678 | 0 | 0 | 20 |3590k|9656 | 0.000000e+00 | -- | Inf
1280.62/1280.62 c 1281s| 6330k| 1125k| 14299k| 2.3 |1001M| 44 | - | 50 |6888 | 50 | 17 | 20 |3596k|9664 | 0.000000e+00 | -- | Inf
1282.82/1282.83 c 1283s| 6340k| 1127k| 14321k| 2.3 |1003M| 44 | - | 50 |7896 | 50 | 17 | 20 |3602k|9672 | 0.000000e+00 | -- | Inf
1285.22/1285.27 c 1285s| 6350k| 1128k| 14344k| 2.3 |1004M| 44 | 6 | 50 |7012 | 50 | 17 | 20 |3608k|9677 | 0.000000e+00 | -- | Inf
1287.42/1287.46 c 1287s| 6360k| 1130k| 14367k| 2.3 |1005M| 44 | - | 50 |7979 | 50 | 17 | 20 |3613k|9687 | 0.000000e+00 | -- | Inf
1290.03/1290.07 c 1290s| 6370k| 1131k| 14389k| 2.3 |1006M| 44 | 6 | 50 |6446 | 50 | 17 | 20 |3619k|9697 | 0.000000e+00 | -- | Inf
1292.32/1292.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1292.32/1292.31 c 1292s| 6380k| 1133k| 14411k| 2.3 |1008M| 44 | 6 | 50 |7188 | 50 | 17 | 20 |3625k|9706 | 0.000000e+00 | -- | Inf
1294.52/1294.59 c 1295s| 6390k| 1134k| 14434k| 2.3 |1010M| 44 | - | 50 |8328 | 50 | 17 | 20 |3631k|9715 | 0.000000e+00 | -- | Inf
1297.12/1297.18 c 1297s| 6400k| 1136k| 14457k| 2.3 |1011M| 44 | 6 | 50 |6841 | 50 | 17 | 20 |3637k|9729 | 0.000000e+00 | -- | Inf
1299.62/1299.64 c 1300s| 6410k| 1137k| 14479k| 2.3 |1012M| 44 | 6 | 50 |6524 | 50 | 17 | 20 |3643k|9735 | 0.000000e+00 | -- | Inf
1301.52/1301.52 c 1302s| 6420k| 1139k| 14502k| 2.3 |1014M| 44 | 6 | 50 |8067 | 50 | 17 | 20 |3648k|9744 | 0.000000e+00 | -- | Inf
1303.72/1303.73 c 1304s| 6430k| 1142k| 14524k| 2.3 |1016M| 44 | - | 50 |8723 | 50 | 17 | 20 |3652k|9752 | 0.000000e+00 | -- | Inf
1306.02/1306.04 c 1306s| 6440k| 1143k| 14547k| 2.3 |1018M| 44 | - | 50 |8884 | 50 | 17 | 20 |3657k|9762 | 0.000000e+00 | -- | Inf
1308.92/1308.91 c 1309s| 6450k| 1145k| 14569k| 2.3 |1018M| 44 | 6 | 50 |6504 | 50 | 17 | 20 |3663k|9771 | 0.000000e+00 | -- | Inf
1311.12/1311.16 c 1311s| 6460k| 1146k| 14592k| 2.3 |1020M| 44 | - | 50 |7475 | 0 | 0 | 20 |3669k|9776 | 0.000000e+00 | -- | Inf
1313.53/1313.54 c 1314s| 6470k| 1147k| 14615k| 2.3 |1021M| 44 | 6 | 50 |6365 | 50 | 17 | 20 |3675k|9781 | 0.000000e+00 | -- | Inf
1315.62/1315.61 c 1316s| 6480k| 1149k| 14637k| 2.3 |1023M| 44 | - | 50 |7765 | 50 | 17 | 20 |3681k|9793 | 0.000000e+00 | -- | Inf
1317.82/1317.89 c 1318s| 6490k| 1151k| 14660k| 2.3 |1025M| 44 | 6 | 50 |8955 | 50 | 17 | 20 |3686k|9799 | 0.000000e+00 | -- | Inf
1320.52/1320.58 c 1321s| 6500k| 1152k| 14682k| 2.3 |1026M| 44 | 6 | 50 |6655 | 50 | 17 | 20 |3692k|9806 | 0.000000e+00 | -- | Inf
1322.92/1322.98 c 1323s| 6510k| 1153k| 14705k| 2.3 |1027M| 44 | 6 | 50 |7201 | 50 | 17 | 20 |3698k|9813 | 0.000000e+00 | -- | Inf
1325.33/1325.37 c 1325s| 6520k| 1155k| 14728k| 2.3 |1028M| 44 | - | 50 |7044 | 0 | 0 | 20 |3704k|9821 | 0.000000e+00 | -- | Inf
1327.42/1327.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1327.42/1327.50 c 1327s| 6530k| 1157k| 14751k| 2.3 |1030M| 44 | 6 | 50 |8112 | 50 | 17 | 20 |3710k|9827 | 0.000000e+00 | -- | Inf
1329.83/1329.80 c 1330s| 6540k| 1158k| 14775k| 2.3 |1032M| 44 | - | 50 |8695 | 50 | 17 | 20 |3715k|9836 | 0.000000e+00 | -- | Inf
1332.33/1332.36 c 1332s| 6550k| 1159k| 14798k| 2.3 |1033M| 44 | - | 50 |6986 | 50 | 17 | 20 |3722k|9842 | 0.000000e+00 | -- | Inf
1334.82/1334.81 c 1335s| 6560k| 1161k| 14822k| 2.3 |1034M| 44 | - | 50 |5914 | 50 | 17 | 20 |3728k|9851 | 0.000000e+00 | -- | Inf
1336.82/1336.87 c 1337s| 6570k| 1162k| 14844k| 2.3 |1036M| 44 | 6 | 50 |7818 | 50 | 17 | 20 |3733k|9858 | 0.000000e+00 | -- | Inf
1339.13/1339.16 c 1339s| 6580k| 1164k| 14868k| 2.3 |1037M| 44 | 6 | 50 |8473 | 50 | 17 | 20 |3739k|9865 | 0.000000e+00 | -- | Inf
1341.42/1341.47 c 1341s| 6590k| 1165k| 14890k| 2.3 |1039M| 44 | - | 50 |8399 | 50 | 17 | 20 |3745k|9870 | 0.000000e+00 | -- | Inf
1343.72/1343.73 c 1344s| 6600k| 1167k| 14913k| 2.3 |1040M| 44 | 6 | 50 |9369 | 50 | 17 | 20 |3751k|9878 | 0.000000e+00 | -- | Inf
1346.43/1346.41 c 1346s| 6610k| 1168k| 14936k| 2.3 |1041M| 44 | 6 | 50 |7195 | 50 | 17 | 20 |3757k|9883 | 0.000000e+00 | -- | Inf
1348.73/1348.78 c 1349s| 6620k| 1170k| 14959k| 2.3 |1043M| 44 | - | 50 |7152 | 50 | 17 | 20 |3763k|9890 | 0.000000e+00 | -- | Inf
1351.13/1351.13 c 1351s| 6630k| 1171k| 14984k| 2.3 |1044M| 44 | 6 | 50 |7822 | 50 | 17 | 20 |3769k|9899 | 0.000000e+00 | -- | Inf
1353.63/1353.63 c 1354s| 6640k| 1172k| 15007k| 2.3 |1045M| 44 | - | 50 |6949 | 50 | 17 | 20 |3775k|9909 | 0.000000e+00 | -- | Inf
1355.92/1355.97 c 1356s| 6650k| 1174k| 15029k| 2.3 |1047M| 44 | 6 | 50 |6588 | 50 | 17 | 20 |3781k|9911 | 0.000000e+00 | -- | Inf
1358.42/1358.40 c 1358s| 6660k| 1175k| 15052k| 2.3 |1048M| 44 | - | 50 |6078 | 50 | 17 | 20 |3787k|9921 | 0.000000e+00 | -- | Inf
1360.72/1360.74 c 1361s| 6670k| 1177k| 15075k| 2.3 |1049M| 44 | 6 | 50 |6137 | 50 | 17 | 20 |3793k|9927 | 0.000000e+00 | -- | Inf
1362.62/1362.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1362.62/1362.66 c 1363s| 6680k| 1179k| 15098k| 2.3 |1052M| 44 | 6 | 50 |7339 | 50 | 17 | 20 |3798k|9934 | 0.000000e+00 | -- | Inf
1364.73/1364.73 c 1365s| 6690k| 1182k| 15120k| 2.3 |1054M| 44 | 6 | 50 |8107 | 50 | 17 | 20 |3803k|9943 | 0.000000e+00 | -- | Inf
1366.92/1366.92 c 1367s| 6700k| 1184k| 15143k| 2.3 |1055M| 44 | 6 | 50 |8270 | 50 | 17 | 20 |3808k|9950 | 0.000000e+00 | -- | Inf
1369.22/1369.20 c 1369s| 6710k| 1186k| 15165k| 2.3 |1057M| 44 | 6 | 50 |8604 | 50 | 17 | 20 |3814k|9960 | 0.000000e+00 | -- | Inf
1371.52/1371.56 c 1372s| 6720k| 1187k| 15188k| 2.3 |1058M| 44 | 6 | 50 |7925 | 50 | 17 | 20 |3819k|9970 | 0.000000e+00 | -- | Inf
1373.93/1373.90 c 1374s| 6730k| 1189k| 15211k| 2.3 |1060M| 44 | - | 50 |8941 | 50 | 17 | 20 |3825k|9979 | 0.000000e+00 | -- | Inf
1376.23/1376.25 c 1376s| 6740k| 1190k| 15233k| 2.3 |1062M| 44 | 6 | 50 |8783 | 50 | 17 | 20 |3831k|9988 | 0.000000e+00 | -- | Inf
1378.43/1378.41 c 1378s| 6750k| 1193k| 15256k| 2.3 |1063M| 44 | - | 50 |9289 | 50 | 17 | 20 |3836k|9991 | 0.000000e+00 | -- | Inf
1380.72/1380.78 c 1381s| 6760k| 1195k| 15279k| 2.3 |1065M| 44 | - | 50 |8825 | 50 | 17 | 20 |3841k|9999 | 0.000000e+00 | -- | Inf
1383.23/1383.22 c 1383s| 6770k| 1197k| 15302k| 2.3 |1066M| 44 | - | 50 |8576 | 50 | 17 | 20 |3847k| 10k| 0.000000e+00 | -- | Inf
1385.72/1385.79 c 1386s| 6780k| 1198k| 15325k| 2.3 |1068M| 44 | - | 50 |8181 | 50 | 17 | 20 |3853k| 10k| 0.000000e+00 | -- | Inf
1388.12/1388.15 c 1388s| 6790k| 1200k| 15348k| 2.3 |1069M| 44 | 6 | 50 |8678 | 50 | 17 | 20 |3859k| 10k| 0.000000e+00 | -- | Inf
1390.53/1390.54 c 1391s| 6800k| 1201k| 15371k| 2.3 |1070M| 44 | 6 | 50 |8300 | 50 | 17 | 20 |3865k| 10k| 0.000000e+00 | -- | Inf
1392.52/1392.60 c 1393s| 6810k| 1204k| 15394k| 2.3 |1073M| 44 | 6 | 50 |9878 | 50 | 17 | 20 |3870k| 10k| 0.000000e+00 | -- | Inf
1395.03/1395.08 c 1395s| 6820k| 1205k| 15417k| 2.3 |1074M| 44 | 6 | 50 | 10k| 50 | 17 | 20 |3876k| 10k| 0.000000e+00 | -- | Inf
1397.73/1397.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1397.73/1397.71 c 1398s| 6830k| 1207k| 15440k| 2.3 |1075M| 44 | 6 | 50 |9404 | 50 | 17 | 20 |3881k| 10k| 0.000000e+00 | -- | Inf
1400.33/1400.33 c 1400s| 6840k| 1208k| 15462k| 2.3 |1077M| 44 | 6 | 50 |8191 | 50 | 17 | 20 |3887k| 10k| 0.000000e+00 | -- | Inf
1402.32/1402.37 c 1402s| 6850k| 1211k| 15486k| 2.3 |1079M| 44 | 6 | 50 |9996 | 50 | 17 | 20 |3892k| 10k| 0.000000e+00 | -- | Inf
1404.62/1404.69 c 1405s| 6860k| 1212k| 15510k| 2.3 |1081M| 44 | - | 50 | 10k| 50 | 17 | 20 |3898k| 10k| 0.000000e+00 | -- | Inf
1407.33/1407.33 c 1407s| 6870k| 1214k| 15533k| 2.3 |1082M| 44 | 6 | 50 |9709 | 50 | 17 | 20 |3903k| 10k| 0.000000e+00 | -- | Inf
1409.92/1409.93 c 1410s| 6880k| 1215k| 15556k| 2.3 |1083M| 44 | 6 | 50 |8319 | 50 | 17 | 20 |3909k| 10k| 0.000000e+00 | -- | Inf
1412.53/1412.57 c 1413s| 6890k| 1217k| 15579k| 2.3 |1084M| 44 | - | 50 |7053 | 50 | 17 | 20 |3915k| 10k| 0.000000e+00 | -- | Inf
1414.83/1414.87 c 1415s| 6900k| 1218k| 15602k| 2.3 |1086M| 44 | 6 | 50 |7371 | 50 | 17 | 20 |3921k| 10k| 0.000000e+00 | -- | Inf
1417.03/1417.09 c 1417s| 6910k| 1220k| 15627k| 2.3 |1087M| 44 | 6 | 50 |7951 | 50 | 17 | 20 |3927k| 10k| 0.000000e+00 | -- | Inf
1419.42/1419.49 c 1419s| 6920k| 1221k| 15651k| 2.3 |1088M| 44 | - | 50 |6589 | 50 | 17 | 20 |3933k| 10k| 0.000000e+00 | -- | Inf
1422.03/1422.03 c 1422s| 6930k| 1223k| 15673k| 2.3 |1089M| 44 | - | 50 |5526 | 50 | 17 | 20 |3939k| 10k| 0.000000e+00 | -- | Inf
1424.03/1424.09 c 1424s| 6940k| 1224k| 15696k| 2.3 |1091M| 44 | 6 | 50 |7323 | 50 | 17 | 20 |3945k| 10k| 0.000000e+00 | -- | Inf
1426.52/1426.52 c 1427s| 6950k| 1226k| 15719k| 2.3 |1093M| 44 | - | 50 |6570 | 50 | 17 | 20 |3951k| 10k| 0.000000e+00 | -- | Inf
1428.83/1428.88 c 1429s| 6960k| 1227k| 15741k| 2.3 |1094M| 44 | 6 | 50 |6630 | 50 | 17 | 20 |3957k| 10k| 0.000000e+00 | -- | Inf
1431.43/1431.44 c 1431s| 6970k| 1228k| 15764k| 2.3 |1095M| 44 | - | 50 |6438 | 50 | 17 | 20 |3963k| 10k| 0.000000e+00 | -- | Inf
1433.92/1433.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1433.92/1433.91 c 1434s| 6980k| 1229k| 15787k| 2.3 |1097M| 44 | 6 | 50 |6926 | 50 | 17 | 20 |3969k| 10k| 0.000000e+00 | -- | Inf
1436.52/1436.53 c 1437s| 6990k| 1230k| 15811k| 2.3 |1098M| 44 | - | 50 |6725 | 50 | 17 | 20 |3976k| 10k| 0.000000e+00 | -- | Inf
1438.94/1438.98 c 1439s| 7000k| 1232k| 15834k| 2.3 |1099M| 44 | 6 | 50 |7218 | 50 | 17 | 20 |3982k| 10k| 0.000000e+00 | -- | Inf
1441.33/1441.35 c 1441s| 7010k| 1233k| 15857k| 2.3 |1101M| 44 | 6 | 50 |7286 | 50 | 17 | 20 |3987k| 10k| 0.000000e+00 | -- | Inf
1443.73/1443.73 c 1444s| 7020k| 1235k| 15880k| 2.3 |1102M| 44 | - | 50 |7716 | 50 | 17 | 20 |3993k| 10k| 0.000000e+00 | -- | Inf
1446.02/1446.05 c 1446s| 7030k| 1236k| 15903k| 2.3 |1104M| 44 | - | 50 |8501 | 0 | 0 | 20 |3999k| 10k| 0.000000e+00 | -- | Inf
1448.63/1448.60 c 1449s| 7040k| 1238k| 15927k| 2.3 |1106M| 44 | 6 | 50 |8833 | 50 | 17 | 20 |4005k| 10k| 0.000000e+00 | -- | Inf
1451.13/1451.19 c 1451s| 7050k| 1239k| 15948k| 2.3 |1107M| 44 | - | 50 |8340 | 50 | 17 | 20 |4012k| 10k| 0.000000e+00 | -- | Inf
1453.62/1453.60 c 1454s| 7060k| 1240k| 15971k| 2.3 |1108M| 44 | 6 | 50 |7302 | 50 | 17 | 20 |4017k| 10k| 0.000000e+00 | -- | Inf
1455.63/1455.66 c 1456s| 7070k| 1242k| 15993k| 2.3 |1110M| 44 | - | 50 |8907 | 50 | 17 | 20 |4023k| 10k| 0.000000e+00 | -- | Inf
1458.03/1458.05 c 1458s| 7080k| 1244k| 16014k| 2.3 |1111M| 44 | 6 | 50 |8511 | 50 | 17 | 20 |4028k| 10k| 0.000000e+00 | -- | Inf
1460.22/1460.22 c 1460s| 7090k| 1246k| 16035k| 2.3 |1113M| 44 | - | 50 |9500 | 50 | 17 | 20 |4034k| 10k| 0.000000e+00 | -- | Inf
1462.62/1462.61 c 1463s| 7100k| 1247k| 16057k| 2.3 |1114M| 44 | - | 50 |9777 | 50 | 17 | 20 |4039k| 10k| 0.000000e+00 | -- | Inf
1464.92/1464.95 c 1465s| 7110k| 1249k| 16078k| 2.3 |1116M| 44 | 6 | 50 | 10k| 50 | 17 | 20 |4045k| 10k| 0.000000e+00 | -- | Inf
1467.43/1467.47 c 1467s| 7120k| 1250k| 16101k| 2.3 |1117M| 44 | - | 50 |9769 | 0 | 0 | 20 |4051k| 10k| 0.000000e+00 | -- | Inf
1469.63/1469.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1469.63/1469.69 c 1470s| 7130k| 1252k| 16122k| 2.3 |1119M| 44 | 6 | 50 | 10k| 50 | 17 | 20 |4056k| 10k| 0.000000e+00 | -- | Inf
1472.12/1472.18 c 1472s| 7140k| 1253k| 16143k| 2.3 |1120M| 44 | 6 | 50 |9829 | 50 | 17 | 20 |4062k| 10k| 0.000000e+00 | -- | Inf
1474.62/1474.63 c 1475s| 7150k| 1255k| 16164k| 2.3 |1121M| 44 | 6 | 50 |9423 | 50 | 17 | 20 |4067k| 10k| 0.000000e+00 | -- | Inf
1477.02/1477.00 c 1477s| 7160k| 1257k| 16186k| 2.3 |1123M| 44 | - | 50 | 10k| 50 | 17 | 20 |4072k| 10k| 0.000000e+00 | -- | Inf
1479.63/1479.67 c 1480s| 7170k| 1258k| 16209k| 2.3 |1124M| 44 | 6 | 50 |8504 | 50 | 17 | 20 |4078k| 10k| 0.000000e+00 | -- | Inf
1481.92/1481.96 c 1482s| 7180k| 1260k| 16231k| 2.3 |1125M| 44 | 6 | 50 |8289 | 50 | 17 | 20 |4083k| 10k| 0.000000e+00 | -- | Inf
1484.63/1484.64 c 1485s| 7190k| 1261k| 16253k| 2.3 |1126M| 44 | - | 50 |6918 | 50 | 17 | 20 |4089k| 10k| 0.000000e+00 | -- | Inf
1487.13/1487.15 c 1487s| 7200k| 1262k| 16276k| 2.3 |1128M| 44 | - | 50 |6972 | 50 | 17 | 20 |4096k| 10k| 0.000000e+00 | -- | Inf
1489.73/1489.71 c 1490s| 7210k| 1263k| 16299k| 2.3 |1129M| 44 | 6 | 50 |6737 | 50 | 17 | 20 |4101k| 10k| 0.000000e+00 | -- | Inf
1492.23/1492.21 c 1492s| 7220k| 1265k| 16321k| 2.3 |1130M| 44 | - | 50 |6428 | 50 | 17 | 20 |4108k| 10k| 0.000000e+00 | -- | Inf
1494.43/1494.46 c 1494s| 7230k| 1266k| 16344k| 2.3 |1132M| 44 | 6 | 50 |6995 | 50 | 17 | 20 |4113k| 10k| 0.000000e+00 | -- | Inf
1496.93/1496.99 c 1497s| 7240k| 1267k| 16367k| 2.3 |1133M| 44 | - | 50 |6614 | 50 | 17 | 20 |4120k| 10k| 0.000000e+00 | -- | Inf
1499.33/1499.33 c 1499s| 7250k| 1268k| 16390k| 2.3 |1135M| 44 | 6 | 50 |7275 | 50 | 17 | 20 |4126k| 10k| 0.000000e+00 | -- | Inf
1502.03/1502.05 c 1502s| 7260k| 1270k| 16413k| 2.3 |1136M| 44 | 6 | 50 |6439 | 50 | 17 | 20 |4132k| 10k| 0.000000e+00 | -- | Inf
1504.62/1504.64 c 1505s| 7270k| 1271k| 16437k| 2.3 |1137M| 44 | 6 | 50 |6439 | 50 | 17 | 20 |4138k| 10k| 0.000000e+00 | -- | Inf
1507.04/1507.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1507.04/1507.03 c 1507s| 7280k| 1272k| 16459k| 2.3 |1138M| 44 | - | 50 |6594 | 50 | 17 | 20 |4144k| 10k| 0.000000e+00 | -- | Inf
1509.33/1509.34 c 1509s| 7290k| 1273k| 16483k| 2.3 |1140M| 44 | - | 50 |7509 | 0 | 0 | 20 |4150k| 10k| 0.000000e+00 | -- | Inf
1511.53/1511.54 c 1512s| 7300k| 1275k| 16505k| 2.3 |1142M| 44 | 6 | 50 |8086 | 50 | 17 | 20 |4155k| 10k| 0.000000e+00 | -- | Inf
1513.93/1513.95 c 1514s| 7310k| 1277k| 16528k| 2.3 |1143M| 44 | - | 50 |8836 | 50 | 17 | 20 |4161k| 10k| 0.000000e+00 | -- | Inf
1516.63/1516.69 c 1517s| 7320k| 1278k| 16551k| 2.3 |1144M| 44 | 6 | 50 |6768 | 50 | 17 | 20 |4167k| 10k| 0.000000e+00 | -- | Inf
1519.23/1519.24 c 1519s| 7330k| 1279k| 16574k| 2.3 |1145M| 44 | 6 | 50 |6764 | 50 | 17 | 20 |4173k| 10k| 0.000000e+00 | -- | Inf
1521.73/1521.75 c 1522s| 7340k| 1280k| 16597k| 2.3 |1147M| 44 | - | 50 |6523 | 0 | 0 | 20 |4180k| 10k| 0.000000e+00 | -- | Inf
1524.03/1524.07 c 1524s| 7350k| 1282k| 16620k| 2.3 |1148M| 44 | 6 | 50 |7788 | 50 | 17 | 20 |4186k| 10k| 0.000000e+00 | -- | Inf
1526.73/1526.75 c 1527s| 7360k| 1283k| 16644k| 2.3 |1149M| 44 | 6 | 50 |6654 | 50 | 17 | 20 |4192k| 10k| 0.000000e+00 | -- | Inf
1528.83/1528.81 c 1529s| 7370k| 1285k| 16667k| 2.3 |1151M| 44 | - | 50 |8400 | 0 | 0 | 20 |4197k| 10k| 0.000000e+00 | -- | Inf
1531.12/1531.16 c 1531s| 7380k| 1286k| 16690k| 2.3 |1153M| 44 | - | 50 |9257 | 50 | 17 | 20 |4204k| 10k| 0.000000e+00 | -- | Inf
1533.83/1533.89 c 1534s| 7390k| 1287k| 16713k| 2.3 |1154M| 44 | - | 50 |8098 | 50 | 17 | 20 |4210k| 10k| 0.000000e+00 | -- | Inf
1536.32/1536.38 c 1536s| 7400k| 1288k| 16735k| 2.3 |1155M| 44 | 6 | 50 |7478 | 50 | 17 | 20 |4216k| 10k| 0.000000e+00 | -- | Inf
1539.03/1539.05 c 1539s| 7410k| 1289k| 16758k| 2.3 |1156M| 44 | - | 50 |6666 | 50 | 17 | 20 |4222k| 10k| 0.000000e+00 | -- | Inf
1541.42/1541.43 c 1541s| 7420k| 1291k| 16781k| 2.3 |1158M| 44 | 6 | 50 |6856 | 50 | 17 | 20 |4228k| 10k| 0.000000e+00 | -- | Inf
1543.93/1543.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1543.93/1543.97 c 1544s| 7430k| 1292k| 16803k| 2.3 |1159M| 44 | 6 | 50 |7026 | 50 | 17 | 20 |4234k| 10k| 0.000000e+00 | -- | Inf
1546.43/1546.41 c 1546s| 7440k| 1293k| 16826k| 2.3 |1160M| 44 | 6 | 50 |6746 | 50 | 17 | 20 |4240k| 10k| 0.000000e+00 | -- | Inf
1548.83/1548.81 c 1549s| 7450k| 1295k| 16849k| 2.3 |1162M| 44 | - | 50 |7219 | 50 | 17 | 20 |4245k| 10k| 0.000000e+00 | -- | Inf
1551.43/1551.42 c 1551s| 7460k| 1296k| 16872k| 2.3 |1163M| 44 | - | 50 |6546 | 50 | 17 | 20 |4252k| 10k| 0.000000e+00 | -- | Inf
1553.63/1553.67 c 1554s| 7470k| 1297k| 16896k| 2.3 |1165M| 44 | 6 | 50 |7794 | 50 | 17 | 20 |4258k| 10k| 0.000000e+00 | -- | Inf
1555.92/1555.94 c 1556s| 7480k| 1299k| 16918k| 2.3 |1167M| 44 | - | 50 |9051 | 50 | 17 | 20 |4264k| 10k| 0.000000e+00 | -- | Inf
1558.53/1558.55 c 1559s| 7490k| 1300k| 16940k| 2.3 |1168M| 44 | 6 | 50 |7703 | 50 | 17 | 20 |4270k| 10k| 0.000000e+00 | -- | Inf
1561.04/1561.07 c 1561s| 7500k| 1301k| 16963k| 2.3 |1169M| 44 | 6 | 50 |7443 | 50 | 17 | 20 |4276k| 10k| 0.000000e+00 | -- | Inf
1563.23/1563.21 c 1563s| 7510k| 1303k| 16985k| 2.3 |1171M| 44 | 6 | 50 |9099 | 50 | 17 | 20 |4281k| 10k| 0.000000e+00 | -- | Inf
1565.83/1565.88 c 1566s| 7520k| 1304k| 17008k| 2.3 |1172M| 44 | 6 | 50 |7111 | 50 | 17 | 20 |4287k| 10k| 0.000000e+00 | -- | Inf
1568.43/1568.48 c 1568s| 7530k| 1305k| 17031k| 2.3 |1173M| 44 | 6 | 50 |6136 | 50 | 17 | 20 |4294k| 10k| 0.000000e+00 | -- | Inf
1571.02/1571.04 c 1571s| 7540k| 1306k| 17054k| 2.3 |1174M| 44 | - | 50 |6560 | 50 | 17 | 20 |4300k| 10k| 0.000000e+00 | -- | Inf
1573.13/1573.16 c 1573s| 7550k| 1308k| 17077k| 2.3 |1176M| 44 | - | 50 |7809 | 50 | 17 | 20 |4306k| 10k| 0.000000e+00 | -- | Inf
1575.43/1575.49 c 1575s| 7560k| 1310k| 17099k| 2.3 |1178M| 44 | - | 50 |8354 | 0 | 0 | 20 |4312k| 10k| 0.000000e+00 | -- | Inf
1577.83/1577.81 c 1578s| 7570k| 1311k| 17122k| 2.3 |1179M| 44 | 6 | 50 |9258 | 50 | 17 | 20 |4318k| 10k| 0.000000e+00 | -- | Inf
1580.23/1580.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1580.23/1580.23 c 1580s| 7580k| 1312k| 17143k| 2.3 |1180M| 44 | 6 | 50 |8986 | 50 | 17 | 20 |4324k| 10k| 0.000000e+00 | -- | Inf
1582.94/1582.95 c 1583s| 7590k| 1314k| 17165k| 2.3 |1181M| 44 | - | 50 |7264 | 50 | 17 | 20 |4330k| 10k| 0.000000e+00 | -- | Inf
1585.53/1585.51 c 1586s| 7600k| 1315k| 17187k| 2.3 |1182M| 44 | - | 50 |6739 | 0 | 0 | 20 |4336k| 10k| 0.000000e+00 | -- | Inf
1587.83/1587.84 c 1588s| 7610k| 1316k| 17210k| 2.3 |1184M| 44 | - | 50 |7582 | 50 | 17 | 20 |4342k| 10k| 0.000000e+00 | -- | Inf
1589.93/1589.96 c 1590s| 7620k| 1318k| 17232k| 2.3 |1186M| 44 | - | 50 |9015 | 50 | 17 | 20 |4347k| 10k| 0.000000e+00 | -- | Inf
1592.23/1592.20 c 1592s| 7630k| 1320k| 17254k| 2.3 |1188M| 44 | 6 | 50 | 10k| 50 | 17 | 20 |4352k| 10k| 0.000000e+00 | -- | Inf
1594.73/1594.77 c 1595s| 7640k| 1321k| 17277k| 2.3 |1189M| 44 | - | 50 |9332 | 50 | 17 | 20 |4358k| 10k| 0.000000e+00 | -- | Inf
1597.33/1597.38 c 1597s| 7650k| 1323k| 17300k| 2.3 |1190M| 44 | 6 | 50 |8311 | 50 | 17 | 20 |4364k| 10k| 0.000000e+00 | -- | Inf
1600.03/1600.05 c 1600s| 7660k| 1324k| 17323k| 2.3 |1191M| 44 | 6 | 50 |6875 | 50 | 17 | 20 |4371k| 10k| 0.000000e+00 | -- | Inf
1602.23/1602.24 c 1602s| 7670k| 1325k| 17346k| 2.3 |1193M| 44 | - | 50 |8667 | 50 | 17 | 20 |4376k| 10k| 0.000000e+00 | -- | Inf
1604.94/1604.96 c 1605s| 7680k| 1327k| 17369k| 2.3 |1194M| 44 | 6 | 50 |7150 | 50 | 17 | 20 |4382k| 10k| 0.000000e+00 | -- | Inf
1607.43/1607.47 c 1607s| 7690k| 1328k| 17391k| 2.3 |1195M| 44 | 6 | 50 |6913 | 50 | 17 | 20 |4388k| 10k| 0.000000e+00 | -- | Inf
1609.93/1609.96 c 1610s| 7700k| 1329k| 17414k| 2.3 |1197M| 44 | - | 50 |7114 | 50 | 17 | 20 |4394k| 10k| 0.000000e+00 | -- | Inf
1612.63/1612.63 c 1613s| 7710k| 1330k| 17437k| 2.3 |1198M| 44 | 6 | 50 |6023 | 50 | 17 | 20 |4400k| 10k| 0.000000e+00 | -- | Inf
1614.93/1614.93 c 1615s| 7720k| 1332k| 17460k| 2.3 |1200M| 44 | 6 | 50 |7804 | 50 | 17 | 20 |4406k| 10k| 0.000000e+00 | -- | Inf
1617.43/1617.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1617.43/1617.48 c 1617s| 7730k| 1333k| 17482k| 2.3 |1201M| 44 | - | 50 |7114 | 50 | 17 | 20 |4412k| 10k| 0.000000e+00 | -- | Inf
1619.53/1619.60 c 1620s| 7740k| 1335k| 17506k| 2.3 |1203M| 44 | 6 | 50 |8540 | 50 | 17 | 20 |4418k| 10k| 0.000000e+00 | -- | Inf
1622.03/1622.06 c 1622s| 7750k| 1337k| 17530k| 2.3 |1204M| 44 | - | 50 |8609 | 50 | 17 | 20 |4423k| 10k| 0.000000e+00 | -- | Inf
1624.53/1624.58 c 1625s| 7760k| 1338k| 17553k| 2.3 |1205M| 44 | - | 50 |7471 | 50 | 17 | 20 |4429k| 10k| 0.000000e+00 | -- | Inf
1627.03/1627.03 c 1627s| 7770k| 1339k| 17576k| 2.3 |1207M| 44 | 6 | 50 |7447 | 50 | 17 | 20 |4436k| 10k| 0.000000e+00 | -- | Inf
1629.03/1629.08 c 1629s| 7780k| 1341k| 17598k| 2.3 |1209M| 44 | - | 50 |9251 | 50 | 17 | 20 |4441k| 10k| 0.000000e+00 | -- | Inf
1631.73/1631.79 c 1632s| 7790k| 1342k| 17620k| 2.3 |1210M| 44 | 6 | 50 |7614 | 50 | 17 | 20 |4447k| 10k| 0.000000e+00 | -- | Inf
1634.33/1634.33 c 1634s| 7800k| 1344k| 17643k| 2.3 |1211M| 44 | - | 50 |7307 | 0 | 0 | 20 |4452k| 10k| 0.000000e+00 | -- | Inf
1636.73/1636.72 c 1637s| 7810k| 1346k| 17665k| 2.3 |1213M| 44 | 6 | 50 |7683 | 50 | 17 | 20 |4458k| 10k| 0.000000e+00 | -- | Inf
1639.53/1639.54 c 1640s| 7820k| 1347k| 17689k| 2.3 |1213M| 44 | - | 50 |6315 | 50 | 17 | 20 |4464k| 10k| 0.000000e+00 | -- | Inf
1641.93/1641.92 c 1642s| 7830k| 1348k| 17712k| 2.3 |1215M| 44 | - | 50 |7531 | 50 | 17 | 20 |4470k| 10k| 0.000000e+00 | -- | Inf
1644.33/1644.38 c 1644s| 7840k| 1349k| 17736k| 2.3 |1217M| 44 | 6 | 50 |7799 | 50 | 17 | 20 |4476k| 10k| 0.000000e+00 | -- | Inf
1647.13/1647.19 c 1647s| 7850k| 1350k| 17759k| 2.3 |1218M| 44 | 6 | 50 |7010 | 50 | 17 | 20 |4483k| 10k| 0.000000e+00 | -- | Inf
1649.83/1649.83 c 1650s| 7860k| 1352k| 17781k| 2.3 |1219M| 44 | 6 | 50 |6554 | 50 | 17 | 20 |4489k| 10k| 0.000000e+00 | -- | Inf
1651.83/1651.82 c 1652s| 7870k| 1354k| 17805k| 2.3 |1221M| 44 | 6 | 50 |7855 | 50 | 17 | 20 |4494k| 10k| 0.000000e+00 | -- | Inf
1654.03/1654.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1654.03/1654.04 c 1654s| 7880k| 1356k| 17829k| 2.3 |1223M| 44 | - | 50 |7998 | 50 | 17 | 20 |4500k| 10k| 0.000000e+00 | -- | Inf
1656.33/1656.37 c 1656s| 7890k| 1357k| 17853k| 2.3 |1224M| 44 | - | 50 |8371 | 50 | 17 | 20 |4507k| 10k| 0.000000e+00 | -- | Inf
1658.73/1658.76 c 1659s| 7900k| 1358k| 17876k| 2.3 |1226M| 44 | - | 50 |8776 | 0 | 0 | 20 |4513k| 10k| 0.000000e+00 | -- | Inf
1661.23/1661.22 c 1661s| 7910k| 1360k| 17900k| 2.3 |1227M| 44 | 6 | 50 |9112 | 50 | 17 | 20 |4519k| 10k| 0.000000e+00 | -- | Inf
1663.63/1663.62 c 1664s| 7920k| 1361k| 17925k| 2.3 |1229M| 44 | 6 | 50 | 10k| 50 | 17 | 20 |4525k| 10k| 0.000000e+00 | -- | Inf
1666.23/1666.28 c 1666s| 7930k| 1362k| 17949k| 2.3 |1230M| 44 | - | 50 |9270 | 0 | 0 | 20 |4531k| 10k| 0.000000e+00 | -- | Inf
1668.73/1668.78 c 1669s| 7940k| 1364k| 17972k| 2.3 |1232M| 44 | 6 | 50 | 10k| 50 | 17 | 20 |4538k| 10k| 0.000000e+00 | -- | Inf
1671.43/1671.42 c 1671s| 7950k| 1365k| 17995k| 2.3 |1233M| 44 | 6 | 50 | 10k| 50 | 17 | 20 |4544k| 10k| 0.000000e+00 | -- | Inf
1674.13/1674.15 c 1674s| 7960k| 1366k| 18018k| 2.3 |1234M| 44 | - | 50 |9357 | 50 | 17 | 20 |4550k| 10k| 0.000000e+00 | -- | Inf
1676.93/1676.98 c 1677s| 7970k| 1367k| 18041k| 2.3 |1235M| 44 | - | 50 |7893 | 0 | 0 | 20 |4556k| 10k| 0.000000e+00 | -- | Inf
1679.43/1679.43 c 1679s| 7980k| 1368k| 18064k| 2.3 |1236M| 44 | 6 | 50 |8640 | 50 | 17 | 20 |4562k| 10k| 0.000000e+00 | -- | Inf
1681.93/1681.93 c 1682s| 7990k| 1370k| 18087k| 2.3 |1238M| 44 | 6 | 50 |8452 | 50 | 17 | 20 |4568k| 10k| 0.000000e+00 | -- | Inf
1684.83/1684.80 c 1685s| 8000k| 1371k| 18110k| 2.3 |1238M| 44 | 6 | 50 |6775 | 50 | 17 | 20 |4574k| 10k| 0.000000e+00 | -- | Inf
1686.93/1686.98 c 1687s| 8010k| 1373k| 18132k| 2.3 |1240M| 44 | 6 | 50 |7423 | 50 | 17 | 20 |4580k| 10k| 0.000000e+00 | -- | Inf
1689.33/1689.32 c 1689s| 8020k| 1374k| 18154k| 2.3 |1242M| 44 | 6 | 50 |8276 | 50 | 17 | 20 |4586k| 10k| 0.000000e+00 | -- | Inf
1691.83/1691.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1691.83/1691.84 c 1692s| 8030k| 1375k| 18177k| 2.3 |1243M| 44 | 6 | 50 |8667 | 50 | 17 | 20 |4592k| 10k| 0.000000e+00 | -- | Inf
1694.53/1694.50 c 1695s| 8040k| 1376k| 18201k| 2.3 |1245M| 44 | 6 | 50 |9121 | 50 | 17 | 20 |4598k| 10k| 0.000000e+00 | -- | Inf
1697.33/1697.40 c 1697s| 8050k| 1378k| 18223k| 2.3 |1246M| 44 | - | 50 |7312 | 50 | 17 | 20 |4604k| 10k| 0.000000e+00 | -- | Inf
1699.73/1699.72 c 1700s| 8060k| 1379k| 18246k| 2.3 |1247M| 44 | 6 | 50 |8300 | 50 | 17 | 20 |4610k| 10k| 0.000000e+00 | -- | Inf
1702.13/1702.17 c 1702s| 8070k| 1381k| 18269k| 2.3 |1249M| 44 | 6 | 50 |7874 | 50 | 17 | 20 |4616k| 10k| 0.000000e+00 | -- | Inf
1704.93/1704.96 c 1705s| 8080k| 1382k| 18292k| 2.3 |1250M| 44 | - | 50 |6603 | 50 | 17 | 20 |4622k| 10k| 0.000000e+00 | -- | Inf
1707.34/1707.39 c 1707s| 8090k| 1383k| 18315k| 2.3 |1251M| 44 | - | 50 |7310 | 50 | 17 | 20 |4628k| 10k| 0.000000e+00 | -- | Inf
1709.93/1709.93 c 1710s| 8100k| 1384k| 18338k| 2.3 |1252M| 44 | 6 | 50 |7326 | 50 | 17 | 20 |4634k| 10k| 0.000000e+00 | -- | Inf
1712.54/1712.51 c 1713s| 8110k| 1386k| 18360k| 2.3 |1254M| 44 | - | 50 |6966 | 50 | 17 | 20 |4640k| 10k| 0.000000e+00 | -- | Inf
1714.93/1714.97 c 1715s| 8120k| 1387k| 18384k| 2.3 |1255M| 44 | 6 | 50 |7450 | 50 | 17 | 20 |4647k| 10k| 0.000000e+00 | -- | Inf
1717.84/1717.83 c 1718s| 8130k| 1388k| 18406k| 2.3 |1256M| 44 | 6 | 50 |6226 | 50 | 17 | 20 |4653k| 11k| 0.000000e+00 | -- | Inf
1720.13/1720.10 c 1720s| 8140k| 1389k| 18429k| 2.3 |1258M| 44 | 6 | 50 |7280 | 50 | 17 | 20 |4658k| 11k| 0.000000e+00 | -- | Inf
1722.74/1722.71 c 1723s| 8150k| 1390k| 18451k| 2.3 |1259M| 44 | 6 | 50 |6227 | 50 | 17 | 20 |4664k| 11k| 0.000000e+00 | -- | Inf
1724.83/1724.89 c 1725s| 8160k| 1392k| 18474k| 2.3 |1260M| 44 | 6 | 50 |7725 | 50 | 17 | 20 |4670k| 11k| 0.000000e+00 | -- | Inf
1727.34/1727.36 c 1727s| 8170k| 1393k| 18497k| 2.3 |1262M| 44 | 6 | 50 |6934 | 50 | 17 | 20 |4676k| 11k| 0.000000e+00 | -- | Inf
1730.13/1730.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1730.13/1730.15 c 1730s| 8180k| 1394k| 18520k| 2.3 |1263M| 44 | - | 50 |6074 | 50 | 17 | 20 |4683k| 11k| 0.000000e+00 | -- | Inf
1732.54/1732.54 c 1733s| 8190k| 1395k| 18542k| 2.3 |1264M| 44 | - | 50 |6557 | 50 | 17 | 20 |4689k| 11k| 0.000000e+00 | -- | Inf
1735.14/1735.14 c 1735s| 8200k| 1396k| 18565k| 2.3 |1265M| 44 | 6 | 50 |5304 | 50 | 17 | 20 |4695k| 11k| 0.000000e+00 | -- | Inf
1737.33/1737.34 c 1737s| 8210k| 1398k| 18587k| 2.3 |1267M| 44 | 6 | 50 |6774 | 50 | 17 | 20 |4701k| 11k| 0.000000e+00 | -- | Inf
1739.73/1739.74 c 1740s| 8220k| 1399k| 18611k| 2.3 |1268M| 44 | - | 50 |6744 | 50 | 17 | 20 |4707k| 11k| 0.000000e+00 | -- | Inf
1742.33/1742.30 c 1742s| 8230k| 1400k| 18633k| 2.3 |1269M| 44 | 6 | 50 |6102 | 50 | 17 | 20 |4713k| 11k| 0.000000e+00 | -- | Inf
1744.74/1744.76 c 1745s| 8240k| 1401k| 18656k| 2.3 |1270M| 44 | 6 | 50 |6389 | 50 | 17 | 20 |4719k| 11k| 0.000000e+00 | -- | Inf
1747.24/1747.25 c 1747s| 8250k| 1402k| 18679k| 2.3 |1272M| 44 | - | 50 |6590 | 50 | 17 | 20 |4725k| 11k| 0.000000e+00 | -- | Inf
1749.63/1749.65 c 1750s| 8260k| 1404k| 18702k| 2.3 |1273M| 44 | 6 | 50 |7401 | 50 | 17 | 20 |4731k| 11k| 0.000000e+00 | -- | Inf
1752.23/1752.28 c 1752s| 8270k| 1405k| 18725k| 2.3 |1274M| 44 | - | 50 |6584 | 0 | 0 | 20 |4738k| 11k| 0.000000e+00 | -- | Inf
1754.83/1754.86 c 1755s| 8280k| 1406k| 18748k| 2.3 |1275M| 44 | 6 | 50 |6307 | 50 | 17 | 20 |4744k| 11k| 0.000000e+00 | -- | Inf
1757.23/1757.25 c 1757s| 8290k| 1408k| 18772k| 2.3 |1277M| 44 | 6 | 50 |7647 | 50 | 17 | 20 |4750k| 11k| 0.000000e+00 | -- | Inf
1759.83/1759.86 c 1760s| 8300k| 1409k| 18795k| 2.3 |1278M| 44 | 6 | 50 |7072 | 50 | 17 | 20 |4756k| 11k| 0.000000e+00 | -- | Inf
1762.13/1762.19 c 1762s| 8310k| 1410k| 18818k| 2.3 |1280M| 44 | - | 50 |7616 | 50 | 17 | 20 |4762k| 11k| 0.000000e+00 | -- | Inf
1764.73/1764.77 c 1765s| 8320k| 1411k| 18841k| 2.3 |1281M| 44 | 6 | 50 |6593 | 50 | 17 | 20 |4768k| 11k| 0.000000e+00 | -- | Inf
1767.23/1767.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1767.23/1767.21 c 1767s| 8330k| 1413k| 18864k| 2.3 |1282M| 44 | 6 | 50 |6502 | 50 | 17 | 20 |4774k| 11k| 0.000000e+00 | -- | Inf
1769.53/1769.51 c 1770s| 8340k| 1414k| 18888k| 2.3 |1284M| 44 | 6 | 50 |7573 | 50 | 17 | 20 |4780k| 11k| 0.000000e+00 | -- | Inf
1771.93/1771.98 c 1772s| 8350k| 1416k| 18911k| 2.3 |1286M| 44 | - | 50 |8063 | 0 | 0 | 20 |4786k| 11k| 0.000000e+00 | -- | Inf
1774.23/1774.30 c 1774s| 8360k| 1417k| 18936k| 2.3 |1288M| 44 | - | 50 | 10k| 0 | 0 | 20 |4792k| 11k| 0.000000e+00 | -- | Inf
1777.24/1777.21 c 1777s| 8370k| 1419k| 18958k| 2.3 |1289M| 44 | 6 | 50 |8967 | 50 | 17 | 20 |4798k| 11k| 0.000000e+00 | -- | Inf
1779.94/1779.91 c 1780s| 8380k| 1420k| 18982k| 2.3 |1289M| 44 | 6 | 50 |7105 | 50 | 17 | 20 |4804k| 11k| 0.000000e+00 | -- | Inf
1782.53/1782.52 c 1783s| 8390k| 1421k| 19005k| 2.3 |1291M| 44 | 6 | 50 |6763 | 50 | 17 | 20 |4810k| 11k| 0.000000e+00 | -- | Inf
1784.93/1784.93 c 1785s| 8400k| 1422k| 19028k| 2.3 |1292M| 44 | 6 | 50 |6559 | 50 | 17 | 20 |4816k| 11k| 0.000000e+00 | -- | Inf
1787.33/1787.39 c 1787s| 8410k| 1423k| 19051k| 2.3 |1293M| 44 | 6 | 50 |7010 | 50 | 17 | 20 |4823k| 11k| 0.000000e+00 | -- | Inf
1789.94/1789.98 c 1790s| 8420k| 1425k| 19074k| 2.3 |1295M| 44 | 6 | 50 |7087 | 50 | 17 | 20 |4829k| 11k| 0.000000e+00 | -- | Inf
1792.53/1792.52 c 1793s| 8430k| 1426k| 19097k| 2.3 |1296M| 44 | 6 | 50 |7171 | 50 | 17 | 20 |4835k| 11k| 0.000000e+00 | -- | Inf
1794.83/1794.84 c 1795s| 8440k| 1428k| 19120k| 2.3 |1298M| 44 | 6 | 50 |7688 | 50 | 17 | 20 |4841k| 11k| 0.000000e+00 | -- | Inf
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 8448422
1797.03/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.03/1797.00 c Dual Bound : +0.00000000000000e+00
1797.03/1797.00 c Gap : infinite
1797.03/1797.00 s UNKNOWN
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Total Time : 1797.00
1797.03/1797.00 c solving : 1797.00
1797.03/1797.00 c presolving : 0.00 (included in solving)
1797.03/1797.00 c reading : 0.00 (included in solving)
1797.03/1797.00 c Original Problem :
1797.03/1797.00 c Problem name : HOME/instance-3488786-1307772980.opb
1797.03/1797.00 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 13 initial, 13 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3488786-1307772980.opb
1797.03/1797.00 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 6 initial, 11702 maximal
1797.03/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1797.03/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c linear : 0.00 0 0 0 0 0 7 0 0 0
1797.03/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c root node : - 0 - - 0 - - - - -
1797.03/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c integral : 0 0 0 5098095 0 4 0 1166 5430 0 0 10183626
1797.03/1797.00 c linear : 6+ 7 20463931 0 1 3 11699401 993335 13477442 0 0 0
1797.03/1797.00 c logicor : 0+ 6 9076896 0 0 0 7242696 40675 3451829 0 0 0
1797.03/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.03/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.00 c integral : 29.28 0.00 0.00 29.28 0.00 0.00 0.00
1797.03/1797.00 c linear : 168.80 0.00 142.85 0.00 0.00 0.00 25.95
1797.03/1797.00 c logicor : 380.27 0.00 370.06 0.00 0.00 0.00 10.21
1797.03/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.00 c vbounds : 0 0 0 0
1797.03/1797.00 c rootredcost : 0 0 0 0
1797.03/1797.00 c pseudoobj : 0 0 0 0
1797.03/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.00 c vbounds : 2.95 2.95 0.00
1797.03/1797.00 c rootredcost : 2.97 2.97 0.00
1797.03/1797.00 c pseudoobj : 2.19 2.19 0.00
1797.03/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.00 c propagation : 40.34 1034010 887027 2762396 35.3 230 30.1 -
1797.03/1797.00 c infeasible LP : 71.36 2605412 2605308 4951298 24.1 32204 29.3 0
1797.03/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c applied globally : - - - 3826134 21.1 - - -
1797.03/1797.00 c applied locally : - - - 1020203 33.9 - - -
1797.03/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.00 c cut pool : 0.00 5 - - 17 - (maximal pool size: 76)
1797.03/1797.00 c redcost : 5.78 5098100 0 0 0 0
1797.03/1797.00 c impliedbounds : 0.00 6 0 0 0 0
1797.03/1797.00 c intobj : 0.00 0 0 0 0 0
1797.03/1797.00 c gomory : 0.00 6 0 0 0 0
1797.03/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.00 c strongcg : 0.00 6 0 0 13 0
1797.03/1797.00 c cmir : 0.01 6 0 0 30 0
1797.03/1797.00 c flowcover : 0.01 6 0 0 41 0
1797.03/1797.00 c clique : 0.00 1 0 0 0 0
1797.03/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.00 c mcf : 0.00 1 0 0 0 0
1797.03/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.00 c rapidlearning : 0.02 1 0 0 0 8
1797.03/1797.00 c Pricers : Time Calls Vars
1797.03/1797.00 c problem variables: 0.00 0 0
1797.03/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c relpscost : 26.62 5098095 1166 5430 0 0 10183626
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.03/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c random : 0.00 0 0 0 0 0 0
1797.03/1797.00 c Primal Heuristics : Time Calls Found
1797.03/1797.00 c LP solutions : 0.00 - 0
1797.03/1797.00 c pseudo solutions : 0.00 - 0
1797.03/1797.00 c oneopt : 2.13 0 0
1797.03/1797.00 c crossover : 1.50 0 0
1797.03/1797.00 c guideddiving : 0.19 0 0
1797.03/1797.00 c veclendiving : 0.16 106 0
1797.03/1797.00 c linesearchdiving : 0.18 106 0
1797.03/1797.00 c feaspump : 0.16 53 0
1797.03/1797.00 c coefdiving : 0.17 107 0
1797.03/1797.00 c pscostdiving : 0.19 107 0
1797.03/1797.00 c fracdiving : 0.17 107 0
1797.03/1797.00 c objpscostdiving : 0.15 54 0
1797.03/1797.00 c rootsoldiving : 0.17 54 0
1797.03/1797.00 c trivial : 0.00 2 0
1797.03/1797.00 c shiftandpropagate: 0.00 1 0
1797.03/1797.00 c simplerounding : 0.88 0 0
1797.03/1797.00 c zirounding : 12.79 0 0
1797.03/1797.00 c rounding : 1.87 32010 0
1797.03/1797.00 c shifting : 2.27 9240 0
1797.03/1797.00 c intshifting : 0.08 0 0
1797.03/1797.00 c twoopt : 0.00 0 0
1797.03/1797.00 c fixandinfer : 0.00 0 0
1797.03/1797.00 c clique : 0.00 0 0
1797.03/1797.00 c intdiving : 0.00 0 0
1797.03/1797.00 c actconsdiving : 0.00 0 0
1797.03/1797.00 c octane : 0.00 0 0
1797.03/1797.00 c rens : 0.02 1 0
1797.03/1797.00 c rins : 0.00 0 0
1797.03/1797.00 c localbranching : 0.00 0 0
1797.03/1797.00 c mutation : 0.00 0 0
1797.03/1797.00 c dins : 0.00 0 0
1797.03/1797.00 c vbounds : 0.00 0 0
1797.03/1797.00 c undercover : 0.00 0 0
1797.03/1797.00 c subnlp : 1.19 0 0
1797.03/1797.00 c trysol : 1.51 0 0
1797.03/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.03/1797.00 c dual LP : 374.24 7541964 19135805 2.54 51132.08
1797.03/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.00 c diving/probing LP: 0.11 2074 3864 1.86 35371.98
1797.03/1797.00 c strong branching : 1.02 11207 45913 4.10 45230.12
1797.03/1797.00 c (at root node) : - 12 596 49.67 -
1797.03/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.00 c B&B Tree :
1797.03/1797.00 c number of runs : 1
1797.03/1797.00 c nodes : 8448422
1797.03/1797.00 c nodes (total) : 8448422
1797.03/1797.00 c nodes left : 1429054
1797.03/1797.00 c max depth : 44
1797.03/1797.00 c max depth (total): 44
1797.03/1797.00 c backtracks : 1364384 (16.1%)
1797.03/1797.00 c delayed cutoffs : 306153
1797.03/1797.00 c repropagations : 6837310 (5903917 domain reductions, 282700 cutoffs)
1797.03/1797.00 c avg switch length: 5.45
1797.03/1797.00 c switching time : 448.76
1797.03/1797.00 c Solution :
1797.03/1797.00 c Solutions found : 0 (0 improvements)
1797.03/1797.00 c Primal Bound : -
1797.03/1797.00 c Dual Bound : +0.00000000000000e+00
1797.03/1797.00 c Gap : infinite
1797.03/1797.00 c Root Dual Bound : +0.00000000000000e+00
1797.03/1797.00 c Root Iterations : 131
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3488786-1307772980/watcher-3488786-1307772980 -o /tmp/evaluation-result-3488786-1307772980/solver-3488786-1307772980 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488786-1307772980.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.02 2.01 2.00 2/177 20542
/proc/meminfo: memFree=31687548/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=12568 CPUtime=0 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 2144 0 0 0 0 0 0 0 25 0 1 0 888896759 12869632 2098 33554432000 4194304 9016284 140737080162784 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20542/statm: 3142 2099 360 1178 0 1960 0
[startup+0.106089 s]
/proc/loadavg: 2.02 2.01 2.00 2/177 20542
/proc/meminfo: memFree=31687548/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=26320 CPUtime=0.1 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 7298 0 0 0 7 3 0 0 25 0 1 0 888896759 26951680 5549 33554432000 4194304 9016284 140737080162784 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 6580 5549 683 1178 0 5398 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 26320
[startup+0.201071 s]
/proc/loadavg: 2.02 2.01 2.00 2/177 20542
/proc/meminfo: memFree=31687548/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=26320 CPUtime=0.19 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 7299 0 0 0 14 5 0 0 25 0 1 0 888896759 26951680 5550 33554432000 4194304 9016284 140737080162784 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 6580 5550 684 1178 0 5398 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26320
[startup+0.301053 s]
/proc/loadavg: 2.02 2.01 2.00 2/177 20542
/proc/meminfo: memFree=31687548/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=26320 CPUtime=0.29 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 7300 0 0 0 23 6 0 0 25 0 1 0 888896759 26951680 5551 33554432000 4194304 9016284 140737080162784 18446744073709551615 5858859 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 6580 5551 684 1178 0 5398 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26320
[startup+0.700982 s]
/proc/loadavg: 2.02 2.01 2.00 2/177 20542
/proc/meminfo: memFree=31687548/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=26320 CPUtime=0.69 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 7304 0 0 0 57 12 0 0 25 0 1 0 888896759 26951680 5555 33554432000 4194304 9016284 140737080162784 18446744073709551615 6592450 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 6580 5555 684 1178 0 5398 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26320
[startup+1.50084 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20543
/proc/meminfo: memFree=31667532/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=26320 CPUtime=1.49 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 7311 0 0 0 125 24 0 0 25 0 1 0 888896759 26951680 5562 33554432000 4194304 9016284 140737080162784 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 6580 5562 684 1178 0 5398 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26320
[startup+3.10056 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20543
/proc/meminfo: memFree=31667160/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=26320 CPUtime=3.09 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 7324 0 0 0 265 44 0 0 25 0 1 0 888896759 26951680 5575 33554432000 4194304 9016284 140737080162784 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 6580 5575 684 1178 0 5398 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26320
[startup+6.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20543
/proc/meminfo: memFree=31664932/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=30908 CPUtime=6.29 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 8385 0 0 0 549 80 0 0 25 0 1 0 888896759 31649792 6636 33554432000 4194304 9016284 140737080162784 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 7727 6636 684 1178 0 6545 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30908
[startup+12.7009 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20544
/proc/meminfo: memFree=31655976/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=39168 CPUtime=12.69 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 10498 0 0 0 1105 164 0 0 25 0 1 0 888896759 40108032 8749 33554432000 4194304 9016284 140737080162784 18446744073709551615 6469139 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 9792 8749 684 1178 0 8610 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39168
[startup+25.5006 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20544
/proc/meminfo: memFree=31637876/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=56260 CPUtime=25.49 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 14826 0 0 0 2219 330 0 0 25 0 1 0 888896759 57610240 13077 33554432000 4194304 9016284 140737080162784 18446744073709551615 5252523 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 14065 13077 684 1178 0 12883 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56260
[startup+51.1012 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 20545
/proc/meminfo: memFree=31605900/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=90004 CPUtime=51.09 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 22928 0 0 0 4480 629 0 0 25 0 1 0 888896759 92164096 21179 33554432000 4194304 9016284 140737080162784 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 22501 21179 684 1178 0 21319 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 90004
[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20546
/proc/meminfo: memFree=31544572/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=149548 CPUtime=102.3 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 37962 0 0 0 9017 1213 0 0 25 0 1 0 888896759 153137152 36213 33554432000 4194304 9016284 140737080162784 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 37387 36213 684 1178 0 36205 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 149548
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20548
/proc/meminfo: memFree=31486372/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=211152 CPUtime=162.3 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 52605 0 0 0 14429 1801 0 0 25 0 1 0 888896759 216219648 50856 33554432000 4194304 9016284 140737080162784 18446744073709551615 4330619 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 52788 50856 684 1178 0 51606 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 211152
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20549
/proc/meminfo: memFree=31425288/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=271044 CPUtime=222.3 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 67744 0 0 0 19806 2424 0 0 25 0 1 0 888896759 277549056 65995 33554432000 4194304 9016284 140737080162784 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 67761 65995 684 1178 0 66579 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 271044
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20551
/proc/meminfo: memFree=31369896/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=325132 CPUtime=282.3 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 81544 0 0 0 25196 3034 0 0 25 0 1 0 888896759 332935168 79795 33554432000 4194304 9016284 140737080162784 18446744073709551615 4971904 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 81283 79795 684 1178 0 80101 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 325132
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20553
/proc/meminfo: memFree=31318856/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=374840 CPUtime=342.3 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 94239 0 0 0 30653 3577 0 0 25 0 1 0 888896759 383836160 92490 33554432000 4194304 9016284 140737080162784 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 93710 92490 684 1178 0 92528 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 374840
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20592
/proc/meminfo: memFree=31448344/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=431004 CPUtime=402.3 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 106390 0 0 0 36083 4147 0 0 25 0 1 0 888896759 441348096 104641 33554432000 4194304 9016284 140737080162784 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 107751 104641 684 1178 0 106569 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 431004
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20594
/proc/meminfo: memFree=31326484/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=483256 CPUtime=462.31 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 119603 0 0 0 41613 4618 0 0 25 0 1 0 888896759 494854144 117854 33554432000 4194304 9016284 140737080162784 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 120814 117854 684 1178 0 119632 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 483256
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20595
/proc/meminfo: memFree=31224148/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=527088 CPUtime=522.3 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 130851 0 0 0 47133 5097 0 0 25 0 1 0 888896759 539738112 129102 33554432000 4194304 9016284 140737080162784 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 131772 129102 684 1178 0 130590 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 527088
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20597
/proc/meminfo: memFree=31110856/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=573864 CPUtime=582.3 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 142642 0 0 0 52672 5558 0 0 25 0 1 0 888896759 587636736 140893 33554432000 4194304 9016284 140737080162784 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 143466 140893 684 1178 0 142284 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 573864
[startup+642.301 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20605
/proc/meminfo: memFree=30771736/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=786776 CPUtime=882.31 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 196609 0 0 0 80404 7827 0 0 25 0 1 0 888896759 805658624 194860 33554432000 4194304 9016284 140737080162784 18446744073709551615 4990176 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 196694 194860 684 1178 0 195512 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 786776
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20607
/proc/meminfo: memFree=30719600/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=824744 CPUtime=942.32 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 206359 0 0 0 85966 8266 0 0 25 0 1 0 888896759 844537856 204610 33554432000 4194304 9016284 140737080162784 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 206186 204610 684 1178 0 205004 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 824744
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20608
/proc/meminfo: memFree=30666720/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=867000 CPUtime=1002.31 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 217146 0 0 0 91529 8702 0 0 25 0 1 0 888896759 887808000 215397 33554432000 4194304 9016284 140737080162784 18446744073709551615 4321598 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 216750 215397 684 1178 0 215568 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 867000
[startup+1062.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 20610
/proc/meminfo: memFree=30620640/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=903520 CPUtime=1062.32 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 226195 0 0 0 97087 9145 0 0 25 0 1 0 888896759 925204480 224446 33554432000 4194304 9016284 140737080162784 18446744073709551615 5257831 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 225880 224446 684 1178 0 224698 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 903520
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20611
/proc/meminfo: memFree=30575424/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=958996 CPUtime=1122.32 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 236191 0 0 0 102673 9559 0 0 25 0 1 0 888896759 982011904 234442 33554432000 4194304 9016284 140737080162784 18446744073709551615 5325519 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 239749 234442 684 1178 0 238567 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 958996
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 20613
/proc/meminfo: memFree=30528964/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=997592 CPUtime=1182.32 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 246035 0 0 0 108268 9964 0 0 25 0 1 0 888896759 1021534208 244286 33554432000 4194304 9016284 140737080162784 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 249398 244286 684 1178 0 248216 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 997592
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20615
/proc/meminfo: memFree=30449288/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=1034660 CPUtime=1242.32 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 255573 0 0 0 113834 10398 0 0 25 0 1 0 888896759 1059491840 253824 33554432000 4194304 9016284 140737080162784 18446744073709551615 5325493 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 258665 253824 684 1178 0 257483 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1034660
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20616
/proc/meminfo: memFree=30368608/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=1073928 CPUtime=1302.32 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 265236 0 0 0 119424 10808 0 0 25 0 1 0 888896759 1099702272 263487 33554432000 4194304 9016284 140737080162784 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 268482 263487 684 1178 0 267300 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1073928
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20618
/proc/meminfo: memFree=30294128/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=1108560 CPUtime=1362.32 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 274152 0 0 0 125007 11225 0 0 25 0 1 0 888896759 1135165440 272403 33554432000 4194304 9016284 140737080162784 18446744073709551615 5315499 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 277140 272403 684 1178 0 275958 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1108560
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20619
/proc/meminfo: memFree=30224976/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=1144276 CPUtime=1422.33 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 283297 0 0 0 130586 11647 0 0 25 0 1 0 888896759 1171738624 281548 33554432000 4194304 9016284 140737080162784 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 286069 281548 684 1178 0 284887 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1144276
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20621
/proc/meminfo: memFree=30154736/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=1182732 CPUtime=1482.32 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 293129 0 0 0 136182 12050 0 0 25 0 1 0 888896759 1211117568 291380 33554432000 4194304 9016284 140737080162784 18446744073709551615 4347574 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 295683 291380 684 1178 0 294501 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1182732
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20623
/proc/meminfo: memFree=30093156/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=1210932 CPUtime=1542.33 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 300405 0 0 0 141802 12431 0 0 25 0 1 0 888896759 1239994368 298656 33554432000 4194304 9016284 140737080162784 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 302733 298656 684 1178 0 301551 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1210932
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20624
/proc/meminfo: memFree=30030708/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=1245840 CPUtime=1602.33 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 309303 0 0 0 147405 12828 0 0 25 0 1 0 888896759 1275740160 307554 33554432000 4194304 9016284 140737080162784 18446744073709551615 5325493 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 311460 307554 684 1178 0 310278 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1245840
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 20626
/proc/meminfo: memFree=29973356/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=1283652 CPUtime=1662.33 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 318533 0 0 0 153005 13228 0 0 25 0 1 0 888896759 1314459648 316784 33554432000 4194304 9016284 140737080162784 18446744073709551615 5325537 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 320913 316784 684 1178 0 319731 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1283652
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 20627
/proc/meminfo: memFree=29925556/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=1309960 CPUtime=1722.33 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 325288 0 0 0 158627 13606 0 0 25 0 1 0 888896759 1341399040 323539 33554432000 4194304 9016284 140737080162784 18446744073709551615 18446744073699065863 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 327490 323539 684 1178 0 326308 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1309960
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20629
/proc/meminfo: memFree=29857160/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=1345072 CPUtime=1782.33 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 334233 0 0 0 164224 14009 0 0 25 0 1 0 888896759 1377353728 332484 33554432000 4194304 9016284 140737080162784 18446744073709551615 5325519 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20542/statm: 336268 332484 684 1178 0 335086 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1345072
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20629
/proc/meminfo: memFree=29843000/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=1352816 CPUtime=1800.04 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 336252 0 0 0 165899 14105 0 0 25 0 1 0 888896759 1385283584 334503 33554432000 4194304 9016284 140737080162784 18446744073709551615 6812837 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20542/statm: 338204 334503 685 1178 0 337022 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1352816
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20629
/proc/meminfo: memFree=29843000/32950928 swapFree=67052112/67111528
[pid=20542] ppid=20540 vsize=1352816 CPUtime=1800.04 cores=1,3,5,7
/proc/20542/stat : 20542 (scip-2.0.1.4b_2) R 20540 20542 18976 0 -1 4202496 336252 0 0 0 165899 14105 0 0 25 0 1 0 888896759 1385283584 334503 33554432000 4194304 9016284 140737080162784 18446744073709551615 6812837 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20542/statm: 338204 334503 685 1178 0 337022 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1352816
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.05
CPU time (s): 1800.1
CPU user time (s): 1658.99
CPU system time (s): 141.105
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1352816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1658.99
system time used= 141.105
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 336252
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 1031
runsolver used 2.47662 second user time and 5.96509 second system time
The end