0.00/0.01 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3452520-1307094993.opb>
0.00/0.01 c original problem has 61 variables (61 bin, 0 int, 0 impl, 0 cont) and 15 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 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.01 c (round 2) 1 del vars, 8 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, 8 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 60 variables (60 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.01 c 7 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 2.0.1.4
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1800
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c 0.0s| 1 | 0 | 40 | - | 339k| 0 | 7 | 60 | 22 | 60 | 7 | 0 | 15 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 150 | - | 386k| 0 | 11 | 60 | 25 | 60 | 12 | 5 | 15 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 157 | - | 423k| 0 | 13 | 60 | 25 | 60 | 16 | 9 | 15 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 167 | - | 463k| 0 | 15 | 60 | 25 | 60 | 20 | 13 | 15 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 177 | - | 489k| 0 | 15 | 60 | 25 | 60 | 23 | 16 | 15 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 0 | 183 | - | 506k| 0 | 17 | 60 | 25 | 60 | 25 | 18 | 15 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 0 | 210 | - | 526k| 0 | 20 | 60 | 25 | 60 | 30 | 23 | 15 | 0 | 0.000000e+00 | -- | Inf
0.00/0.10 c 0.1s| 1 | 2 | 210 | - | 527k| 0 | 20 | 60 | 25 | 60 | 30 | 23 | 15 | 14 | 0.000000e+00 | -- | Inf
1.79/1.85 c 1.8s| 10000 | 4505 | 29014 | 2.9 |4174k| 52 | 7 | 60 |2494 | 60 | 20 | 23 |3877 | 590 | 0.000000e+00 | -- | Inf
3.49/3.51 c 3.5s| 20000 | 8765 | 56720 | 2.8 |6330k| 52 | 7 | 60 |1256 | 60 | 20 | 23 |7963 | 761 | 0.000000e+00 | -- | Inf
4.99/5.03 c 5.0s| 30000 | 12734 | 83980 | 2.8 |8816k| 52 | 7 | 60 |1706 | 60 | 20 | 23 | 12k| 892 | 0.000000e+00 | -- | Inf
6.49/6.56 c 6.6s| 40000 | 16745 |110499 | 2.8 | 11M| 52 | 7 | 60 |1706 | 60 | 20 | 23 | 16k| 992 | 0.000000e+00 | -- | Inf
8.09/8.13 c 8.1s| 50000 | 20502 |136759 | 2.7 | 13M| 53 | 7 | 60 |1737 | 60 | 20 | 23 | 20k|1087 | 0.000000e+00 | -- | Inf
9.58/9.69 c 9.7s| 60000 | 24336 |164344 | 2.7 | 16M| 53 | - | 60 |1991 | 60 | 20 | 23 | 24k|1179 | 0.000000e+00 | -- | Inf
11.19/11.24 c 11.2s| 70000 | 28005 |190519 | 2.7 | 18M| 53 | 7 | 60 |1842 | 60 | 20 | 23 | 29k|1256 | 0.000000e+00 | -- | Inf
12.79/12.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.79/12.82 c 12.8s| 80000 | 31695 |217542 | 2.7 | 20M| 53 | 7 | 60 |2078 | 60 | 20 | 23 | 33k|1332 | 0.000000e+00 | -- | Inf
14.30/14.40 c 14.4s| 90000 | 35307 |245214 | 2.7 | 23M| 53 | 7 | 60 |2369 | 60 | 20 | 23 | 38k|1398 | 0.000000e+00 | -- | Inf
15.99/16.02 c 16.0s|100000 | 38857 |271986 | 2.7 | 25M| 54 | 7 | 60 |2137 | 60 | 20 | 23 | 42k|1445 | 0.000000e+00 | -- | Inf
17.60/17.61 c 17.6s|110000 | 42330 |298492 | 2.7 | 27M| 54 | 7 | 60 |2487 | 60 | 20 | 23 | 46k|1483 | 0.000000e+00 | -- | Inf
19.18/19.25 c 19.3s|120000 | 45652 |325324 | 2.7 | 30M| 54 | 7 | 60 |2514 | 60 | 20 | 23 | 51k|1528 | 0.000000e+00 | -- | Inf
20.91/20.92 c 20.9s|130000 | 48937 |352456 | 2.7 | 32M| 54 | - | 60 |2468 | 60 | 20 | 23 | 56k|1584 | 0.000000e+00 | -- | Inf
22.49/22.58 c 22.6s|140000 | 52233 |379274 | 2.7 | 34M| 54 | - | 60 |2693 | 60 | 20 | 23 | 60k|1621 | 0.000000e+00 | -- | Inf
24.20/24.21 c 24.2s|150000 | 55582 |405660 | 2.7 | 37M| 54 | 7 | 60 |2532 | 60 | 20 | 23 | 65k|1665 | 0.000000e+00 | -- | Inf
25.79/25.88 c 25.9s|160000 | 58701 |432500 | 2.7 | 39M| 54 | 7 | 60 |2495 | 60 | 20 | 23 | 70k|1703 | 0.000000e+00 | -- | Inf
27.51/27.51 c 27.5s|170000 | 62166 |459278 | 2.7 | 41M| 54 | 7 | 60 |2822 | 60 | 20 | 23 | 74k|1749 | 0.000000e+00 | -- | Inf
29.09/29.19 c 29.2s|180000 | 65231 |485847 | 2.7 | 43M| 54 | 7 | 60 |2758 | 60 | 20 | 23 | 79k|1785 | 0.000000e+00 | -- | Inf
30.80/30.87 c 30.9s|190000 | 68239 |512412 | 2.7 | 46M| 54 | 7 | 60 |2697 | 60 | 20 | 23 | 84k|1814 | 0.000000e+00 | -- | Inf
32.49/32.54 c 32.5s|200000 | 71410 |538856 | 2.7 | 48M| 54 | - | 60 |2985 | 60 | 20 | 23 | 89k|1843 | 0.000000e+00 | -- | Inf
34.10/34.15 c 34.1s|210000 | 74896 |565650 | 2.7 | 50M| 54 | - | 60 |3364 | 60 | 20 | 23 | 93k|1882 | 0.000000e+00 | -- | Inf
35.79/35.89 c 35.9s|220000 | 77978 |592881 | 2.7 | 52M| 54 | 7 | 60 |3153 | 60 | 20 | 23 | 98k|1895 | 0.000000e+00 | -- | Inf
37.51/37.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.51/37.59 c 37.6s|230000 | 81036 |619735 | 2.7 | 55M| 54 | 7 | 60 |3243 | 60 | 20 | 23 | 103k|1939 | 0.000000e+00 | -- | Inf
39.19/39.29 c 39.3s|240000 | 84311 |646867 | 2.7 | 57M| 54 | 7 | 60 |3138 | 60 | 20 | 23 | 107k|1963 | 0.000000e+00 | -- | Inf
40.89/40.99 c 41.0s|250000 | 87498 |674006 | 2.7 | 59M| 54 | 7 | 60 |3582 | 60 | 20 | 23 | 112k|1990 | 0.000000e+00 | -- | Inf
42.69/42.72 c 42.7s|260000 | 90449 |700482 | 2.7 | 61M| 54 | - | 60 |3265 | 60 | 20 | 23 | 117k|2009 | 0.000000e+00 | -- | Inf
44.39/44.40 c 44.4s|270000 | 93702 |727180 | 2.7 | 64M| 54 | 7 | 60 |3002 | 60 | 20 | 23 | 121k|2032 | 0.000000e+00 | -- | Inf
46.09/46.11 c 46.1s|280000 | 96980 |754178 | 2.7 | 66M| 54 | 7 | 60 |3265 | 60 | 20 | 23 | 126k|2062 | 0.000000e+00 | -- | Inf
47.79/47.81 c 47.8s|290000 |100224 |781114 | 2.7 | 68M| 54 | 7 | 60 |3143 | 60 | 20 | 23 | 131k|2125 | 0.000000e+00 | -- | Inf
49.39/49.45 c 49.4s|300000 |103822 |807593 | 2.7 | 71M| 54 | 7 | 60 |3979 | 60 | 20 | 23 | 135k|2142 | 0.000000e+00 | -- | Inf
51.19/51.21 c 51.2s|310000 |106924 |834601 | 2.7 | 73M| 54 | 7 | 60 |3321 | 60 | 20 | 23 | 140k|2298 | 0.000000e+00 | -- | Inf
52.91/52.95 c 52.9s|320000 |109890 |861864 | 2.7 | 75M| 54 | 7 | 60 |3433 | 60 | 20 | 23 | 145k|2303 | 0.000000e+00 | -- | Inf
54.59/54.66 c 54.7s|330000 |112953 |888879 | 2.7 | 77M| 54 | 7 | 60 |3106 | 60 | 20 | 23 | 150k|2309 | 0.000000e+00 | -- | Inf
56.29/56.35 c 56.3s|340000 |116018 |915601 | 2.7 | 80M| 54 | 7 | 60 |3306 | 60 | 20 | 23 | 154k|2311 | 0.000000e+00 | -- | Inf
57.99/58.07 c 58.1s|350000 |118899 |942234 | 2.7 | 82M| 54 | 7 | 60 |3064 | 60 | 20 | 23 | 159k|2323 | 0.000000e+00 | -- | Inf
59.69/59.76 c 59.8s|360000 |121834 |968906 | 2.7 | 84M| 54 | 7 | 60 |3493 | 60 | 20 | 23 | 164k|2340 | 0.000000e+00 | -- | Inf
61.49/61.55 c 61.5s|370000 |124747 |995198 | 2.7 | 86M| 54 | - | 60 |3535 | 60 | 20 | 23 | 169k|2365 | 0.000000e+00 | -- | Inf
63.19/63.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.19/63.28 c 63.3s|380000 |127797 | 1022k| 2.7 | 88M| 54 | 7 | 60 |3546 | 60 | 20 | 23 | 174k|2366 | 0.000000e+00 | -- | Inf
64.90/64.99 c 65.0s|390000 |130927 | 1049k| 2.7 | 91M| 54 | 7 | 60 |4005 | 60 | 20 | 23 | 179k|2366 | 0.000000e+00 | -- | Inf
66.59/66.66 c 66.7s|400000 |134517 | 1077k| 2.7 | 94M| 54 | 7 | 60 |5716 | 60 | 20 | 23 | 183k|2367 | 0.000000e+00 | -- | Inf
68.49/68.52 c 68.5s|410000 |137534 | 1105k| 2.7 | 95M| 54 | - | 60 |4039 | 60 | 20 | 23 | 188k|2373 | 0.000000e+00 | -- | Inf
70.19/70.25 c 70.2s|420000 |140673 | 1132k| 2.7 | 98M| 54 | 7 | 60 |3802 | 60 | 20 | 23 | 193k|2375 | 0.000000e+00 | -- | Inf
71.99/72.05 c 72.0s|430000 |143473 | 1160k| 2.7 | 100M| 54 | 7 | 60 |3328 | 60 | 20 | 23 | 198k|2376 | 0.000000e+00 | -- | Inf
73.71/73.79 c 73.8s|440000 |146540 | 1187k| 2.7 | 102M| 54 | 7 | 60 |3500 | 60 | 20 | 23 | 203k|2412 | 0.000000e+00 | -- | Inf
75.49/75.56 c 75.6s|450000 |149453 | 1215k| 2.7 | 104M| 54 | - | 60 |3212 | 60 | 20 | 23 | 208k|2418 | 0.000000e+00 | -- | Inf
77.19/77.30 c 77.3s|460000 |152223 | 1242k| 2.7 | 106M| 54 | - | 60 |3138 | 60 | 20 | 23 | 213k|2428 | 0.000000e+00 | -- | Inf
78.99/79.02 c 79.0s|470000 |155156 | 1268k| 2.7 | 108M| 54 | - | 60 |3388 | 60 | 20 | 23 | 218k|2437 | 0.000000e+00 | -- | Inf
80.60/80.69 c 80.7s|480000 |158500 | 1295k| 2.7 | 111M| 54 | 7 | 60 |3820 | 60 | 20 | 23 | 222k|2439 | 0.000000e+00 | -- | Inf
82.51/82.51 c 82.5s|490000 |161333 | 1322k| 2.7 | 113M| 54 | - | 60 |3340 | 60 | 20 | 23 | 227k|2459 | 0.000000e+00 | -- | Inf
84.19/84.20 c 84.2s|500000 |164501 | 1349k| 2.7 | 115M| 54 | 7 | 60 |3826 | 60 | 20 | 23 | 232k|2464 | 0.000000e+00 | -- | Inf
85.91/85.99 c 86.0s|510000 |167436 | 1376k| 2.7 | 117M| 54 | 7 | 60 |3523 | 60 | 20 | 23 | 237k|2471 | 0.000000e+00 | -- | Inf
87.70/87.75 c 87.8s|520000 |170484 | 1403k| 2.7 | 120M| 54 | 7 | 60 |3513 | 60 | 20 | 23 | 242k|2471 | 0.000000e+00 | -- | Inf
89.49/89.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.49/89.51 c 89.5s|530000 |173353 | 1431k| 2.7 | 122M| 54 | 7 | 60 |3635 | 60 | 20 | 23 | 247k|2478 | 0.000000e+00 | -- | Inf
91.19/91.26 c 91.3s|540000 |176100 | 1459k| 2.7 | 124M| 54 | 7 | 60 |3704 | 60 | 20 | 23 | 252k|2490 | 0.000000e+00 | -- | Inf
92.99/93.05 c 93.1s|550000 |179005 | 1486k| 2.7 | 126M| 54 | - | 60 |3764 | 60 | 20 | 23 | 257k|2490 | 0.000000e+00 | -- | Inf
94.79/94.86 c 94.9s|560000 |181776 | 1515k| 2.7 | 129M| 54 | - | 60 |4016 | 60 | 20 | 23 | 262k|2545 | 0.000000e+00 | -- | Inf
96.59/96.62 c 96.6s|570000 |184567 | 1542k| 2.7 | 131M| 54 | 7 | 60 |3659 | 60 | 20 | 23 | 267k|2545 | 0.000000e+00 | -- | Inf
98.39/98.44 c 98.4s|580000 |187250 | 1569k| 2.7 | 133M| 54 | - | 60 |3325 | 60 | 20 | 23 | 272k|2545 | 0.000000e+00 | -- | Inf
100.21/100.24 c 100s|590000 |190049 | 1596k| 2.7 | 135M| 54 | - | 60 |3429 | 60 | 20 | 23 | 277k|2556 | 0.000000e+00 | -- | Inf
101.99/102.02 c 102s|600000 |193004 | 1623k| 2.7 | 137M| 54 | 7 | 60 |3455 | 60 | 20 | 23 | 282k|2559 | 0.000000e+00 | -- | Inf
103.69/103.77 c 104s|610000 |195973 | 1651k| 2.7 | 139M| 54 | - | 60 |3556 | 60 | 20 | 23 | 287k|2567 | 0.000000e+00 | -- | Inf
105.61/105.61 c 106s|620000 |198851 | 1678k| 2.7 | 142M| 54 | 7 | 60 |4036 | 60 | 20 | 23 | 292k|2576 | 0.000000e+00 | -- | Inf
107.40/107.43 c 107s|630000 |201649 | 1705k| 2.7 | 144M| 54 | 7 | 60 |3659 | 60 | 20 | 23 | 297k|2600 | 0.000000e+00 | -- | Inf
109.19/109.25 c 109s|640000 |204427 | 1733k| 2.7 | 146M| 54 | 7 | 60 |3623 | 60 | 20 | 23 | 302k|2607 | 0.000000e+00 | -- | Inf
110.99/111.03 c 111s|650000 |207219 | 1760k| 2.7 | 148M| 54 | - | 60 |3876 | 60 | 20 | 23 | 307k|2618 | 0.000000e+00 | -- | Inf
112.80/112.81 c 113s|660000 |210115 | 1787k| 2.7 | 150M| 54 | 7 | 60 |3452 | 60 | 20 | 23 | 312k|2634 | 0.000000e+00 | -- | Inf
114.51/114.57 c 115s|670000 |213088 | 1814k| 2.7 | 153M| 54 | 7 | 60 |3968 | 60 | 20 | 23 | 317k|2644 | 0.000000e+00 | -- | Inf
116.19/116.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.19/116.28 c 116s|680000 |216350 | 1841k| 2.7 | 155M| 54 | 7 | 60 |3741 | 60 | 20 | 23 | 321k|2658 | 0.000000e+00 | -- | Inf
117.99/118.10 c 118s|690000 |219028 | 1868k| 2.7 | 157M| 54 | - | 60 |3635 | 0 | 0 | 23 | 326k|2667 | 0.000000e+00 | -- | Inf
119.90/119.91 c 120s|700000 |221942 | 1895k| 2.7 | 159M| 54 | 7 | 60 |3137 | 60 | 20 | 23 | 331k|2674 | 0.000000e+00 | -- | Inf
121.59/121.66 c 122s|710000 |224790 | 1923k| 2.7 | 161M| 54 | 7 | 60 |3384 | 60 | 20 | 23 | 336k|2676 | 0.000000e+00 | -- | Inf
123.40/123.41 c 123s|720000 |227598 | 1950k| 2.7 | 163M| 54 | 7 | 60 |3373 | 60 | 20 | 23 | 341k|2682 | 0.000000e+00 | -- | Inf
125.09/125.15 c 125s|730000 |230591 | 1977k| 2.7 | 166M| 54 | 7 | 60 |3241 | 60 | 20 | 23 | 346k|2697 | 0.000000e+00 | -- | Inf
126.89/126.96 c 127s|740000 |233298 | 2004k| 2.7 | 168M| 54 | 7 | 60 |3548 | 60 | 20 | 23 | 351k|2709 | 0.000000e+00 | -- | Inf
128.71/128.75 c 129s|750000 |236213 | 2031k| 2.7 | 170M| 54 | 7 | 60 |3807 | 60 | 20 | 23 | 356k|2723 | 0.000000e+00 | -- | Inf
130.50/130.55 c 131s|760000 |238965 | 2058k| 2.7 | 172M| 54 | - | 60 |3989 | 60 | 20 | 23 | 361k|2743 | 0.000000e+00 | -- | Inf
132.39/132.42 c 132s|770000 |241680 | 2087k| 2.7 | 175M| 54 | 7 | 60 |4500 | 60 | 20 | 23 | 366k|2767 | 0.000000e+00 | -- | Inf
134.10/134.12 c 134s|780000 |244971 | 2114k| 2.7 | 177M| 54 | - | 60 |5041 | 60 | 20 | 23 | 371k|2772 | 0.000000e+00 | -- | Inf
135.89/135.97 c 136s|790000 |248033 | 2142k| 2.7 | 179M| 54 | 7 | 60 |4413 | 60 | 20 | 23 | 376k|2774 | 0.000000e+00 | -- | Inf
137.69/137.76 c 138s|800000 |250979 | 2170k| 2.7 | 181M| 54 | 7 | 60 |4290 | 60 | 20 | 23 | 380k|2777 | 0.000000e+00 | -- | Inf
139.60/139.62 c 140s|810000 |253711 | 2197k| 2.7 | 183M| 54 | 7 | 60 |3453 | 60 | 20 | 23 | 385k|2781 | 0.000000e+00 | -- | Inf
141.39/141.46 c 141s|820000 |256398 | 2225k| 2.7 | 185M| 54 | - | 60 |3880 | 0 | 0 | 23 | 391k|2789 | 0.000000e+00 | -- | Inf
143.29/143.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.29/143.31 c 143s|830000 |259084 | 2252k| 2.7 | 188M| 54 | - | 60 |3453 | 60 | 20 | 23 | 396k|2799 | 0.000000e+00 | -- | Inf
145.00/145.09 c 145s|840000 |261929 | 2280k| 2.7 | 190M| 54 | 7 | 60 |3897 | 60 | 20 | 23 | 400k|2816 | 0.000000e+00 | -- | Inf
146.89/146.94 c 147s|850000 |264523 | 2307k| 2.7 | 192M| 54 | - | 60 |4053 | 60 | 20 | 23 | 406k|2824 | 0.000000e+00 | -- | Inf
148.70/148.77 c 149s|860000 |267203 | 2334k| 2.7 | 194M| 54 | 7 | 60 |3513 | 60 | 20 | 23 | 411k|2830 | 0.000000e+00 | -- | Inf
150.50/150.59 c 151s|870000 |269851 | 2361k| 2.7 | 196M| 54 | 7 | 60 |3802 | 60 | 20 | 23 | 416k|2838 | 0.000000e+00 | -- | Inf
152.39/152.42 c 152s|880000 |272606 | 2388k| 2.7 | 198M| 54 | - | 60 |3852 | 60 | 20 | 23 | 421k|2849 | 0.000000e+00 | -- | Inf
154.29/154.31 c 154s|890000 |275183 | 2416k| 2.7 | 201M| 54 | 7 | 60 |3873 | 60 | 20 | 23 | 426k|2879 | 0.000000e+00 | -- | Inf
156.09/156.16 c 156s|900000 |277859 | 2443k| 2.7 | 203M| 54 | - | 60 |3294 | 60 | 20 | 23 | 431k|2897 | 0.000000e+00 | -- | Inf
157.99/158.01 c 158s|910000 |280457 | 2470k| 2.7 | 205M| 54 | - | 60 |3637 | 60 | 20 | 23 | 436k|2905 | 0.000000e+00 | -- | Inf
159.80/159.80 c 160s|920000 |283349 | 2496k| 2.7 | 207M| 54 | 7 | 60 |4113 | 60 | 20 | 23 | 441k|2910 | 0.000000e+00 | -- | Inf
161.49/161.59 c 162s|930000 |286212 | 2523k| 2.7 | 209M| 54 | 7 | 60 |4257 | 60 | 20 | 23 | 446k|2921 | 0.000000e+00 | -- | Inf
163.40/163.47 c 163s|940000 |288910 | 2550k| 2.7 | 211M| 54 | 7 | 60 |3752 | 60 | 20 | 23 | 451k|2923 | 0.000000e+00 | -- | Inf
165.29/165.35 c 165s|950000 |291359 | 2578k| 2.7 | 213M| 54 | - | 60 |3863 | 60 | 20 | 23 | 456k|2941 | 0.000000e+00 | -- | Inf
167.21/167.25 c 167s|960000 |293994 | 2605k| 2.7 | 216M| 54 | 7 | 60 |4167 | 60 | 20 | 23 | 461k|2965 | 0.000000e+00 | -- | Inf
169.10/169.11 c 169s|970000 |296641 | 2632k| 2.7 | 218M| 54 | 7 | 60 |3863 | 60 | 20 | 23 | 466k|2980 | 0.000000e+00 | -- | Inf
171.00/171.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
171.00/171.01 c 171s|980000 |299172 | 2659k| 2.7 | 220M| 54 | - | 60 |4137 | 60 | 20 | 23 | 472k|2992 | 0.000000e+00 | -- | Inf
172.81/172.87 c 173s|990000 |301936 | 2686k| 2.7 | 222M| 54 | 7 | 60 |4324 | 60 | 20 | 23 | 477k|3001 | 0.000000e+00 | -- | Inf
174.60/174.68 c 175s| 1000k|304657 | 2714k| 2.7 | 224M| 54 | 7 | 60 |4112 | 60 | 20 | 23 | 482k|3007 | 0.000000e+00 | -- | Inf
176.39/176.45 c 176s| 1010k|307569 | 2741k| 2.7 | 226M| 54 | 7 | 60 |3990 | 60 | 20 | 23 | 487k|3007 | 0.000000e+00 | -- | Inf
178.21/178.21 c 178s| 1020k|310546 | 2768k| 2.7 | 228M| 54 | 7 | 60 |4330 | 60 | 20 | 23 | 491k|3007 | 0.000000e+00 | -- | Inf
180.00/180.06 c 180s| 1030k|313372 | 2796k| 2.7 | 231M| 54 | 7 | 60 |4468 | 60 | 20 | 23 | 496k|3093 | 0.000000e+00 | -- | Inf
181.90/181.91 c 182s| 1040k|315986 | 2823k| 2.7 | 233M| 54 | - | 60 |4030 | 60 | 20 | 23 | 501k|3097 | 0.000000e+00 | -- | Inf
183.71/183.77 c 184s| 1050k|318642 | 2850k| 2.7 | 235M| 54 | 7 | 60 |3880 | 60 | 20 | 23 | 506k|3098 | 0.000000e+00 | -- | Inf
185.60/185.60 c 186s| 1060k|321320 | 2878k| 2.7 | 237M| 54 | 7 | 60 |4282 | 60 | 20 | 23 | 512k|3098 | 0.000000e+00 | -- | Inf
187.40/187.44 c 187s| 1070k|324158 | 2904k| 2.7 | 239M| 54 | 7 | 60 |3686 | 60 | 20 | 23 | 516k|3103 | 0.000000e+00 | -- | Inf
189.10/189.18 c 189s| 1080k|327072 | 2931k| 2.7 | 241M| 54 | 7 | 60 |4512 | 60 | 20 | 23 | 521k|3105 | 0.000000e+00 | -- | Inf
191.10/191.13 c 191s| 1090k|329709 | 2958k| 2.7 | 244M| 54 | 7 | 60 |4205 | 60 | 20 | 23 | 526k|3114 | 0.000000e+00 | -- | Inf
192.89/192.98 c 193s| 1100k|332377 | 2985k| 2.7 | 246M| 54 | 7 | 60 |3563 | 60 | 20 | 23 | 531k|3115 | 0.000000e+00 | -- | Inf
194.71/194.78 c 195s| 1110k|335008 | 3012k| 2.7 | 248M| 54 | - | 60 |4181 | 60 | 20 | 23 | 537k|3116 | 0.000000e+00 | -- | Inf
196.59/196.68 c 197s| 1120k|337505 | 3038k| 2.7 | 250M| 54 | - | 60 |3988 | 0 | 0 | 23 | 542k|3116 | 0.000000e+00 | -- | Inf
198.50/198.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
198.50/198.55 c 199s| 1130k|340314 | 3065k| 2.7 | 252M| 54 | - | 60 |4108 | 60 | 20 | 23 | 547k|3122 | 0.000000e+00 | -- | Inf
200.40/200.43 c 200s| 1140k|342870 | 3092k| 2.7 | 254M| 54 | 7 | 60 |3828 | 60 | 20 | 23 | 552k|3127 | 0.000000e+00 | -- | Inf
202.20/202.23 c 202s| 1150k|345506 | 3119k| 2.7 | 256M| 54 | - | 60 |4114 | 60 | 20 | 23 | 557k|3128 | 0.000000e+00 | -- | Inf
204.09/204.18 c 204s| 1160k|348019 | 3146k| 2.7 | 258M| 54 | 7 | 60 |4050 | 60 | 20 | 23 | 562k|3129 | 0.000000e+00 | -- | Inf
205.90/205.98 c 206s| 1170k|350819 | 3173k| 2.7 | 261M| 54 | - | 60 |4658 | 60 | 20 | 23 | 567k|3130 | 0.000000e+00 | -- | Inf
207.80/207.86 c 208s| 1180k|353475 | 3200k| 2.7 | 263M| 54 | 7 | 60 |4598 | 60 | 20 | 23 | 572k|3134 | 0.000000e+00 | -- | Inf
209.69/209.74 c 210s| 1190k|356173 | 3228k| 2.7 | 265M| 54 | - | 60 |5101 | 60 | 20 | 23 | 577k|3141 | 0.000000e+00 | -- | Inf
211.59/211.67 c 212s| 1200k|358869 | 3255k| 2.7 | 267M| 54 | 7 | 60 |4760 | 60 | 20 | 23 | 582k|3151 | 0.000000e+00 | -- | Inf
213.51/213.57 c 214s| 1210k|361467 | 3281k| 2.7 | 269M| 54 | 7 | 60 |4496 | 60 | 20 | 23 | 587k|3153 | 0.000000e+00 | -- | Inf
215.40/215.43 c 215s| 1220k|364236 | 3308k| 2.7 | 271M| 54 | - | 60 |4375 | 60 | 20 | 23 | 592k|3209 | 0.000000e+00 | -- | Inf
217.29/217.34 c 217s| 1230k|366829 | 3335k| 2.7 | 273M| 54 | 7 | 60 |3718 | 60 | 20 | 23 | 597k|3209 | 0.000000e+00 | -- | Inf
219.09/219.19 c 219s| 1240k|369536 | 3362k| 2.7 | 275M| 54 | - | 60 |4394 | 60 | 20 | 23 | 602k|3215 | 0.000000e+00 | -- | Inf
220.99/221.08 c 221s| 1250k|372168 | 3391k| 2.7 | 278M| 54 | - | 60 |5363 | 60 | 20 | 23 | 607k|3224 | 0.000000e+00 | -- | Inf
222.99/223.01 c 223s| 1260k|375037 | 3418k| 2.7 | 280M| 54 | - | 60 |4405 | 60 | 20 | 23 | 612k|3227 | 0.000000e+00 | -- | Inf
224.90/224.93 c 225s| 1270k|377627 | 3445k| 2.7 | 282M| 54 | 7 | 60 |4489 | 60 | 20 | 23 | 617k|3227 | 0.000000e+00 | -- | Inf
226.80/226.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
226.80/226.81 c 227s| 1280k|380256 | 3471k| 2.7 | 284M| 54 | 7 | 60 |4324 | 60 | 20 | 23 | 622k|3230 | 0.000000e+00 | -- | Inf
228.59/228.67 c 229s| 1290k|382929 | 3499k| 2.7 | 286M| 54 | 7 | 60 |4061 | 60 | 20 | 23 | 627k|3241 | 0.000000e+00 | -- | Inf
230.40/230.49 c 230s| 1300k|385762 | 3526k| 2.7 | 289M| 54 | - | 60 |5134 | 0 | 0 | 23 | 632k|3253 | 0.000000e+00 | -- | Inf
232.30/232.35 c 232s| 1310k|388637 | 3552k| 2.7 | 291M| 54 | 7 | 60 |5358 | 60 | 20 | 23 | 637k|3253 | 0.000000e+00 | -- | Inf
234.20/234.22 c 234s| 1320k|391620 | 3578k| 2.7 | 293M| 54 | - | 60 |3992 | 60 | 20 | 23 | 642k|3254 | 0.000000e+00 | -- | Inf
236.00/236.09 c 236s| 1330k|394187 | 3605k| 2.7 | 295M| 54 | - | 60 |3857 | 60 | 20 | 23 | 647k|3254 | 0.000000e+00 | -- | Inf
237.90/237.95 c 238s| 1340k|396768 | 3632k| 2.7 | 297M| 54 | - | 60 |4230 | 0 | 0 | 23 | 652k|3254 | 0.000000e+00 | -- | Inf
239.70/239.76 c 240s| 1350k|399705 | 3658k| 2.7 | 299M| 54 | - | 60 |4922 | 60 | 20 | 23 | 657k|3261 | 0.000000e+00 | -- | Inf
241.60/241.62 c 242s| 1360k|402566 | 3686k| 2.7 | 301M| 54 | - | 60 |4509 | 60 | 20 | 23 | 662k|3262 | 0.000000e+00 | -- | Inf
243.50/243.50 c 244s| 1370k|405370 | 3713k| 2.7 | 304M| 54 | 7 | 60 |4298 | 60 | 20 | 23 | 667k|3262 | 0.000000e+00 | -- | Inf
245.31/245.35 c 245s| 1380k|408384 | 3740k| 2.7 | 306M| 54 | - | 60 |4671 | 60 | 20 | 23 | 672k|3264 | 0.000000e+00 | -- | Inf
247.30/247.31 c 247s| 1390k|410985 | 3768k| 2.7 | 308M| 54 | 7 | 60 |4053 | 60 | 20 | 23 | 677k|3270 | 0.000000e+00 | -- | Inf
249.20/249.29 c 249s| 1400k|413416 | 3795k| 2.7 | 310M| 54 | - | 60 |3808 | 0 | 0 | 23 | 682k|3294 | 0.000000e+00 | -- | Inf
251.09/251.15 c 251s| 1410k|416037 | 3822k| 2.7 | 312M| 54 | - | 60 |4300 | 60 | 20 | 23 | 687k|3302 | 0.000000e+00 | -- | Inf
253.01/253.07 c 253s| 1420k|418739 | 3849k| 2.7 | 314M| 54 | 7 | 60 |4338 | 60 | 20 | 23 | 692k|3302 | 0.000000e+00 | -- | Inf
254.80/254.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
254.80/254.84 c 255s| 1430k|421462 | 3877k| 2.7 | 317M| 54 | - | 60 |4903 | 60 | 20 | 23 | 697k|3313 | 0.000000e+00 | -- | Inf
256.70/256.78 c 257s| 1440k|424062 | 3905k| 2.7 | 319M| 54 | 7 | 60 |4533 | 60 | 20 | 23 | 702k|3313 | 0.000000e+00 | -- | Inf
258.61/258.64 c 259s| 1450k|426818 | 3933k| 2.7 | 321M| 54 | 7 | 60 |5216 | 60 | 20 | 23 | 707k|3314 | 0.000000e+00 | -- | Inf
260.39/260.47 c 260s| 1460k|429629 | 3961k| 2.7 | 323M| 54 | 7 | 60 |5125 | 60 | 20 | 23 | 712k|3321 | 0.000000e+00 | -- | Inf
262.30/262.34 c 262s| 1470k|432342 | 3988k| 2.7 | 325M| 54 | 7 | 60 |5031 | 60 | 20 | 23 | 717k|3327 | 0.000000e+00 | -- | Inf
264.29/264.36 c 264s| 1480k|434922 | 4015k| 2.7 | 327M| 54 | - | 60 |3855 | 60 | 20 | 23 | 722k|3333 | 0.000000e+00 | -- | Inf
266.21/266.27 c 266s| 1490k|437499 | 4042k| 2.7 | 329M| 54 | 7 | 60 |4187 | 60 | 20 | 23 | 727k|3340 | 0.000000e+00 | -- | Inf
268.00/268.06 c 268s| 1500k|440551 | 4068k| 2.7 | 332M| 54 | - | 60 |4243 | 60 | 20 | 23 | 732k|3343 | 0.000000e+00 | -- | Inf
269.80/269.89 c 270s| 1510k|443334 | 4095k| 2.7 | 334M| 54 | - | 60 |5030 | 60 | 20 | 23 | 737k|3347 | 0.000000e+00 | -- | Inf
271.71/271.80 c 272s| 1520k|445947 | 4123k| 2.7 | 336M| 54 | 7 | 60 |4504 | 60 | 20 | 23 | 742k|3350 | 0.000000e+00 | -- | Inf
273.50/273.58 c 274s| 1530k|448899 | 4150k| 2.7 | 338M| 54 | - | 60 |5333 | 60 | 20 | 23 | 747k|3354 | 0.000000e+00 | -- | Inf
275.30/275.39 c 275s| 1540k|451726 | 4177k| 2.7 | 341M| 54 | 7 | 60 |5776 | 60 | 20 | 23 | 752k|3362 | 0.000000e+00 | -- | Inf
277.32/277.35 c 277s| 1550k|454571 | 4204k| 2.7 | 343M| 54 | 7 | 60 |5017 | 60 | 20 | 23 | 757k|3371 | 0.000000e+00 | -- | Inf
279.30/279.34 c 279s| 1560k|457115 | 4231k| 2.7 | 345M| 54 | 7 | 60 |4591 | 60 | 20 | 23 | 762k|3375 | 0.000000e+00 | -- | Inf
281.19/281.28 c 281s| 1570k|459713 | 4259k| 2.7 | 347M| 54 | - | 60 |4222 | 60 | 20 | 23 | 767k|3385 | 0.000000e+00 | -- | Inf
283.09/283.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
283.09/283.18 c 283s| 1580k|462267 | 4286k| 2.7 | 349M| 54 | - | 60 |4996 | 60 | 20 | 23 | 772k|3395 | 0.000000e+00 | -- | Inf
285.10/285.14 c 285s| 1590k|464741 | 4313k| 2.7 | 351M| 54 | - | 60 |4448 | 0 | 0 | 23 | 777k|3399 | 0.000000e+00 | -- | Inf
287.00/287.01 c 287s| 1600k|467298 | 4340k| 2.7 | 353M| 54 | 7 | 60 |4816 | 60 | 20 | 23 | 782k|3399 | 0.000000e+00 | -- | Inf
288.90/288.96 c 289s| 1610k|469935 | 4367k| 2.7 | 355M| 54 | 7 | 60 |4334 | 60 | 20 | 23 | 787k|3399 | 0.000000e+00 | -- | Inf
290.79/290.86 c 291s| 1620k|472713 | 4394k| 2.7 | 357M| 54 | 7 | 60 |5103 | 60 | 20 | 23 | 792k|3413 | 0.000000e+00 | -- | Inf
292.80/292.88 c 293s| 1630k|475110 | 4421k| 2.7 | 359M| 54 | - | 60 |4265 | 60 | 20 | 23 | 798k|3417 | 0.000000e+00 | -- | Inf
294.81/294.83 c 295s| 1640k|477610 | 4448k| 2.7 | 361M| 54 | 7 | 60 |4232 | 60 | 20 | 23 | 803k|3426 | 0.000000e+00 | -- | Inf
296.70/296.77 c 297s| 1650k|480298 | 4475k| 2.7 | 364M| 54 | 7 | 60 |4629 | 60 | 20 | 23 | 808k|3427 | 0.000000e+00 | -- | Inf
298.70/298.72 c 299s| 1660k|482955 | 4502k| 2.7 | 366M| 54 | 7 | 60 |4040 | 60 | 20 | 23 | 813k|3427 | 0.000000e+00 | -- | Inf
300.59/300.67 c 301s| 1670k|485507 | 4530k| 2.7 | 368M| 54 | - | 60 |4215 | 60 | 20 | 23 | 818k|3427 | 0.000000e+00 | -- | Inf
302.52/302.56 c 303s| 1680k|488131 | 4557k| 2.7 | 370M| 54 | - | 60 |5016 | 60 | 20 | 23 | 823k|3428 | 0.000000e+00 | -- | Inf
304.50/304.56 c 305s| 1690k|490698 | 4584k| 2.7 | 372M| 54 | - | 60 |4303 | 60 | 20 | 23 | 828k|3430 | 0.000000e+00 | -- | Inf
306.40/306.46 c 306s| 1700k|493338 | 4610k| 2.7 | 374M| 54 | - | 60 |3888 | 0 | 0 | 23 | 833k|3437 | 0.000000e+00 | -- | Inf
308.30/308.34 c 308s| 1710k|496167 | 4638k| 2.7 | 376M| 54 | 7 | 60 |3984 | 60 | 20 | 23 | 838k|3447 | 0.000000e+00 | -- | Inf
310.21/310.29 c 310s| 1720k|498740 | 4665k| 2.7 | 379M| 54 | - | 60 |4396 | 60 | 20 | 23 | 843k|3452 | 0.000000e+00 | -- | Inf
312.10/312.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
312.10/312.18 c 312s| 1730k|501244 | 4692k| 2.7 | 381M| 54 | 7 | 60 |5185 | 60 | 20 | 23 | 848k|3452 | 0.000000e+00 | -- | Inf
314.10/314.17 c 314s| 1740k|503724 | 4719k| 2.7 | 383M| 54 | 7 | 60 |4596 | 60 | 20 | 23 | 853k|3452 | 0.000000e+00 | -- | Inf
316.00/316.08 c 316s| 1750k|506335 | 4746k| 2.7 | 385M| 54 | 7 | 60 |4656 | 60 | 20 | 23 | 858k|3459 | 0.000000e+00 | -- | Inf
318.02/318.09 c 318s| 1760k|508972 | 4774k| 2.7 | 387M| 54 | - | 60 |4217 | 60 | 20 | 23 | 863k|3465 | 0.000000e+00 | -- | Inf
319.90/319.92 c 320s| 1770k|511858 | 4800k| 2.7 | 389M| 54 | 7 | 60 |4329 | 60 | 20 | 23 | 868k|3469 | 0.000000e+00 | -- | Inf
321.70/321.77 c 322s| 1780k|514562 | 4828k| 2.7 | 392M| 54 | - | 60 |5835 | 60 | 20 | 23 | 873k|3472 | 0.000000e+00 | -- | Inf
323.80/323.80 c 324s| 1790k|517170 | 4856k| 2.7 | 394M| 54 | 7 | 60 |4321 | 60 | 20 | 23 | 878k|3479 | 0.000000e+00 | -- | Inf
325.62/325.63 c 326s| 1800k|520089 | 4883k| 2.7 | 396M| 54 | 7 | 60 |5527 | 60 | 20 | 23 | 883k|3484 | 0.000000e+00 | -- | Inf
327.60/327.62 c 328s| 1810k|522574 | 4910k| 2.7 | 398M| 54 | 7 | 60 |4289 | 60 | 20 | 23 | 888k|3484 | 0.000000e+00 | -- | Inf
329.50/329.57 c 330s| 1820k|525132 | 4938k| 2.7 | 400M| 54 | 7 | 60 |4506 | 60 | 20 | 23 | 894k|3484 | 0.000000e+00 | -- | Inf
331.60/331.63 c 332s| 1830k|527579 | 4965k| 2.7 | 402M| 54 | 7 | 60 |4274 | 60 | 20 | 23 | 899k|3491 | 0.000000e+00 | -- | Inf
333.31/333.38 c 333s| 1840k|530479 | 4991k| 2.7 | 405M| 54 | 7 | 60 |6274 | 60 | 20 | 23 | 904k|3491 | 0.000000e+00 | -- | Inf
335.20/335.28 c 335s| 1850k|533282 | 5018k| 2.7 | 407M| 54 | - | 60 |6365 | 60 | 20 | 23 | 908k|3491 | 0.000000e+00 | -- | Inf
337.20/337.28 c 337s| 1860k|536075 | 5045k| 2.7 | 409M| 54 | - | 60 |5699 | 60 | 20 | 23 | 913k|3491 | 0.000000e+00 | -- | Inf
339.20/339.23 c 339s| 1870k|538918 | 5071k| 2.7 | 411M| 54 | 7 | 60 |5753 | 60 | 20 | 23 | 918k|3500 | 0.000000e+00 | -- | Inf
341.12/341.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
341.12/341.18 c 341s| 1880k|541563 | 5099k| 2.7 | 413M| 54 | 7 | 60 |5639 | 60 | 20 | 23 | 923k|3500 | 0.000000e+00 | -- | Inf
343.10/343.13 c 343s| 1890k|544440 | 5126k| 2.7 | 415M| 54 | - | 60 |5194 | 60 | 20 | 23 | 928k|3503 | 0.000000e+00 | -- | Inf
345.10/345.14 c 345s| 1900k|546964 | 5153k| 2.7 | 417M| 54 | 7 | 60 |4943 | 60 | 20 | 23 | 933k|3508 | 0.000000e+00 | -- | Inf
347.20/347.20 c 347s| 1910k|549394 | 5180k| 2.7 | 419M| 54 | - | 60 |4795 | 60 | 20 | 23 | 939k|3519 | 0.000000e+00 | -- | Inf
348.90/348.99 c 349s| 1920k|552718 | 5208k| 2.7 | 422M| 54 | 7 | 60 |6048 | 60 | 20 | 23 | 943k|3520 | 0.000000e+00 | -- | Inf
350.91/350.94 c 351s| 1930k|555583 | 5234k| 2.7 | 424M| 54 | 7 | 60 |6150 | 60 | 20 | 23 | 948k|3520 | 0.000000e+00 | -- | Inf
352.80/352.89 c 353s| 1940k|558386 | 5261k| 2.7 | 426M| 54 | - | 60 |5936 | 60 | 20 | 23 | 953k|3520 | 0.000000e+00 | -- | Inf
354.90/354.99 c 355s| 1950k|560921 | 5287k| 2.7 | 428M| 54 | - | 60 |4858 | 60 | 20 | 23 | 958k|3526 | 0.000000e+00 | -- | Inf
357.00/357.01 c 357s| 1960k|563491 | 5314k| 2.7 | 430M| 54 | 7 | 60 |4426 | 60 | 20 | 23 | 963k|3527 | 0.000000e+00 | -- | Inf
358.81/358.81 c 359s| 1970k|566398 | 5342k| 2.7 | 433M| 54 | 7 | 60 |5674 | 60 | 20 | 23 | 968k|3528 | 0.000000e+00 | -- | Inf
360.81/360.84 c 361s| 1980k|569108 | 5368k| 2.7 | 434M| 54 | 7 | 60 |4632 | 60 | 20 | 23 | 973k|3536 | 0.000000e+00 | -- | Inf
362.80/362.87 c 363s| 1990k|571691 | 5394k| 2.7 | 436M| 54 | - | 60 |4363 | 60 | 20 | 23 | 978k|3545 | 0.000000e+00 | -- | Inf
364.81/364.85 c 365s| 2000k|574105 | 5421k| 2.7 | 439M| 54 | - | 60 |4678 | 60 | 20 | 23 | 983k|3547 | 0.000000e+00 | -- | Inf
366.80/366.82 c 367s| 2010k|576763 | 5449k| 2.7 | 441M| 54 | - | 60 |4616 | 60 | 20 | 23 | 988k|3553 | 0.000000e+00 | -- | Inf
368.70/368.79 c 369s| 2020k|579138 | 5476k| 2.7 | 443M| 54 | - | 60 |3977 | 60 | 20 | 23 | 993k|3559 | 0.000000e+00 | -- | Inf
370.60/370.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
370.60/370.69 c 371s| 2030k|581877 | 5503k| 2.7 | 445M| 54 | - | 60 |4957 | 60 | 20 | 23 | 998k|3571 | 0.000000e+00 | -- | Inf
372.60/372.62 c 373s| 2040k|584632 | 5530k| 2.7 | 447M| 54 | 7 | 60 |5304 | 60 | 20 | 23 |1003k|3586 | 0.000000e+00 | -- | Inf
374.60/374.63 c 375s| 2050k|587272 | 5557k| 2.7 | 449M| 54 | - | 60 |5008 | 60 | 20 | 23 |1008k|3586 | 0.000000e+00 | -- | Inf
376.51/376.58 c 377s| 2060k|589947 | 5585k| 2.7 | 451M| 54 | - | 60 |4734 | 0 | 0 | 23 |1013k|3586 | 0.000000e+00 | -- | Inf
378.52/378.59 c 379s| 2070k|592389 | 5611k| 2.7 | 453M| 54 | 7 | 60 |3846 | 60 | 20 | 23 |1019k|3592 | 0.000000e+00 | -- | Inf
380.40/380.47 c 380s| 2080k|594996 | 5638k| 2.7 | 456M| 54 | - | 60 |4777 | 60 | 20 | 23 |1023k|3596 | 0.000000e+00 | -- | Inf
382.51/382.53 c 383s| 2090k|597341 | 5665k| 2.7 | 457M| 54 | 7 | 60 |4019 | 60 | 20 | 23 |1029k|3597 | 0.000000e+00 | -- | Inf
384.50/384.50 c 385s| 2100k|599737 | 5693k| 2.7 | 460M| 54 | - | 60 |4631 | 60 | 20 | 23 |1034k|3597 | 0.000000e+00 | -- | Inf
386.40/386.48 c 386s| 2110k|602148 | 5720k| 2.7 | 462M| 54 | 7 | 60 |4969 | 60 | 20 | 23 |1039k|3598 | 0.000000e+00 | -- | Inf
388.51/388.55 c 389s| 2120k|604628 | 5746k| 2.7 | 464M| 54 | 7 | 60 |4813 | 60 | 20 | 23 |1044k|3600 | 0.000000e+00 | -- | Inf
390.52/390.58 c 391s| 2130k|607016 | 5773k| 2.7 | 466M| 54 | - | 60 |4744 | 60 | 20 | 23 |1050k|3600 | 0.000000e+00 | -- | Inf
392.41/392.42 c 392s| 2140k|609826 | 5800k| 2.7 | 468M| 54 | - | 60 |5354 | 60 | 20 | 23 |1054k|3600 | 0.000000e+00 | -- | Inf
394.40/394.46 c 394s| 2150k|612310 | 5827k| 2.7 | 470M| 54 | 7 | 60 |5005 | 60 | 20 | 23 |1060k|3602 | 0.000000e+00 | -- | Inf
396.30/396.38 c 396s| 2160k|615227 | 5855k| 2.7 | 473M| 54 | 7 | 60 |5581 | 60 | 20 | 23 |1065k|3607 | 0.000000e+00 | -- | Inf
398.32/398.34 c 398s| 2170k|617770 | 5882k| 2.7 | 475M| 54 | 7 | 60 |4911 | 60 | 20 | 23 |1070k|3607 | 0.000000e+00 | -- | Inf
400.30/400.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
400.30/400.37 c 400s| 2180k|620264 | 5909k| 2.7 | 477M| 54 | - | 60 |4661 | 60 | 20 | 23 |1075k|3626 | 0.000000e+00 | -- | Inf
402.20/402.24 c 402s| 2190k|623200 | 5936k| 2.7 | 479M| 54 | 7 | 60 |5479 | 60 | 20 | 23 |1080k|3626 | 0.000000e+00 | -- | Inf
404.20/404.29 c 404s| 2200k|625760 | 5964k| 2.7 | 481M| 54 | 7 | 60 |4537 | 60 | 20 | 23 |1085k|3632 | 0.000000e+00 | -- | Inf
406.21/406.25 c 406s| 2210k|628451 | 5991k| 2.7 | 483M| 54 | 7 | 60 |5547 | 60 | 20 | 23 |1090k|3638 | 0.000000e+00 | -- | Inf
408.30/408.37 c 408s| 2220k|630922 | 6018k| 2.7 | 485M| 54 | 7 | 60 |4415 | 60 | 20 | 23 |1095k|3643 | 0.000000e+00 | -- | Inf
410.32/410.33 c 410s| 2230k|633596 | 6045k| 2.7 | 487M| 54 | 7 | 60 |4813 | 60 | 20 | 23 |1100k|3678 | 0.000000e+00 | -- | Inf
412.20/412.28 c 412s| 2240k|636319 | 6072k| 2.7 | 489M| 54 | - | 60 |4425 | 60 | 20 | 23 |1105k|3680 | 0.000000e+00 | -- | Inf
414.21/414.25 c 414s| 2250k|638998 | 6099k| 2.7 | 492M| 54 | 7 | 60 |4854 | 60 | 20 | 23 |1110k|3680 | 0.000000e+00 | -- | Inf
416.10/416.16 c 416s| 2260k|641848 | 6126k| 2.7 | 494M| 54 | - | 60 |4919 | 60 | 20 | 23 |1115k|3680 | 0.000000e+00 | -- | Inf
418.02/418.06 c 418s| 2270k|644528 | 6154k| 2.7 | 496M| 54 | - | 60 |5537 | 0 | 0 | 23 |1120k|3680 | 0.000000e+00 | -- | Inf
420.10/420.16 c 420s| 2280k|647192 | 6181k| 2.7 | 498M| 54 | - | 60 |4793 | 60 | 20 | 23 |1125k|3683 | 0.000000e+00 | -- | Inf
422.01/422.08 c 422s| 2290k|649956 | 6208k| 2.7 | 500M| 54 | 7 | 60 |5057 | 60 | 20 | 23 |1130k|3690 | 0.000000e+00 | -- | Inf
424.01/424.01 c 424s| 2300k|652611 | 6236k| 2.7 | 502M| 54 | - | 60 |4743 | 60 | 20 | 23 |1135k|3690 | 0.000000e+00 | -- | Inf
426.00/426.08 c 426s| 2310k|655064 | 6264k| 2.7 | 504M| 54 | - | 60 |4171 | 0 | 0 | 23 |1140k|3706 | 0.000000e+00 | -- | Inf
427.81/427.89 c 428s| 2320k|658292 | 6291k| 2.7 | 507M| 54 | 7 | 60 |5326 | 60 | 20 | 23 |1145k|3707 | 0.000000e+00 | -- | Inf
429.80/429.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
429.80/429.81 c 430s| 2330k|661179 | 6317k| 2.7 | 509M| 54 | - | 60 |5730 | 60 | 20 | 23 |1150k|3707 | 0.000000e+00 | -- | Inf
431.81/431.85 c 432s| 2340k|663676 | 6344k| 2.7 | 511M| 54 | - | 60 |4044 | 60 | 20 | 23 |1155k|3721 | 0.000000e+00 | -- | Inf
433.81/433.88 c 434s| 2350k|666130 | 6371k| 2.7 | 513M| 54 | 7 | 60 |4367 | 60 | 20 | 23 |1160k|3724 | 0.000000e+00 | -- | Inf
435.72/435.75 c 436s| 2360k|668924 | 6398k| 2.7 | 515M| 54 | - | 60 |5537 | 0 | 0 | 23 |1165k|3725 | 0.000000e+00 | -- | Inf
437.71/437.78 c 438s| 2370k|671316 | 6426k| 2.7 | 517M| 54 | - | 60 |5289 | 60 | 20 | 23 |1170k|3725 | 0.000000e+00 | -- | Inf
439.81/439.83 c 440s| 2380k|673911 | 6453k| 2.7 | 519M| 54 | - | 60 |4382 | 60 | 20 | 23 |1175k|3741 | 0.000000e+00 | -- | Inf
441.80/441.87 c 442s| 2390k|676423 | 6481k| 2.7 | 521M| 54 | 7 | 60 |4508 | 60 | 20 | 23 |1181k|3742 | 0.000000e+00 | -- | Inf
443.91/443.92 c 444s| 2400k|678965 | 6508k| 2.7 | 524M| 54 | 7 | 60 |4476 | 60 | 20 | 23 |1186k|3742 | 0.000000e+00 | -- | Inf
445.91/445.91 c 446s| 2410k|681359 | 6535k| 2.7 | 526M| 54 | 7 | 60 |4255 | 60 | 20 | 23 |1191k|3742 | 0.000000e+00 | -- | Inf
447.71/447.76 c 448s| 2420k|684318 | 6562k| 2.7 | 528M| 54 | - | 60 |5966 | 60 | 20 | 23 |1196k|3746 | 0.000000e+00 | -- | Inf
449.70/449.77 c 450s| 2430k|686987 | 6589k| 2.7 | 530M| 54 | 7 | 60 |5675 | 60 | 20 | 23 |1201k|3746 | 0.000000e+00 | -- | Inf
451.81/451.80 c 452s| 2440k|689361 | 6617k| 2.7 | 532M| 54 | 7 | 60 |5313 | 60 | 20 | 23 |1206k|3746 | 0.000000e+00 | -- | Inf
453.90/453.92 c 454s| 2450k|691779 | 6645k| 2.7 | 534M| 54 | 7 | 60 |5035 | 60 | 20 | 23 |1211k|3746 | 0.000000e+00 | -- | Inf
456.01/456.05 c 456s| 2460k|694119 | 6673k| 2.7 | 536M| 54 | - | 60 |4770 | 60 | 20 | 23 |1217k|3746 | 0.000000e+00 | -- | Inf
458.00/458.06 c 458s| 2470k|696589 | 6700k| 2.7 | 539M| 54 | - | 60 |5182 | 60 | 20 | 23 |1222k|3746 | 0.000000e+00 | -- | Inf
459.92/459.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
459.92/459.99 c 460s| 2480k|699291 | 6726k| 2.7 | 541M| 54 | 7 | 60 |5684 | 60 | 20 | 23 |1227k|3746 | 0.000000e+00 | -- | Inf
462.02/462.09 c 462s| 2490k|701679 | 6754k| 2.7 | 543M| 54 | 7 | 60 |5261 | 60 | 20 | 23 |1232k|3746 | 0.000000e+00 | -- | Inf
464.00/464.06 c 464s| 2500k|704441 | 6781k| 2.7 | 545M| 54 | 7 | 60 |5016 | 60 | 20 | 23 |1237k|3746 | 0.000000e+00 | -- | Inf
466.01/466.09 c 466s| 2510k|707101 | 6808k| 2.7 | 547M| 54 | - | 60 |4630 | 60 | 20 | 23 |1242k|3746 | 0.000000e+00 | -- | Inf
468.10/468.11 c 468s| 2520k|709583 | 6836k| 2.7 | 549M| 54 | - | 60 |4824 | 60 | 20 | 23 |1247k|3746 | 0.000000e+00 | -- | Inf
470.10/470.16 c 470s| 2530k|711860 | 6863k| 2.7 | 551M| 54 | 7 | 60 |4745 | 60 | 20 | 23 |1252k|3746 | 0.000000e+00 | -- | Inf
472.20/472.24 c 472s| 2540k|714250 | 6890k| 2.7 | 553M| 54 | 7 | 60 |4498 | 60 | 20 | 23 |1258k|3746 | 0.000000e+00 | -- | Inf
474.30/474.32 c 474s| 2550k|716718 | 6918k| 2.7 | 555M| 54 | 7 | 60 |4400 | 60 | 20 | 23 |1263k|3746 | 0.000000e+00 | -- | Inf
476.32/476.31 c 476s| 2560k|719415 | 6945k| 2.7 | 557M| 54 | 7 | 60 |4675 | 60 | 20 | 23 |1268k|3746 | 0.000000e+00 | -- | Inf
478.10/478.18 c 478s| 2570k|722263 | 6973k| 2.7 | 560M| 54 | 7 | 60 |6271 | 60 | 20 | 23 |1273k|3746 | 0.000000e+00 | -- | Inf
480.11/480.11 c 480s| 2580k|725257 | 7002k| 2.7 | 562M| 54 | - | 60 |7057 | 60 | 20 | 23 |1277k|3746 | 0.000000e+00 | -- | Inf
482.40/482.40 c 482s| 2590k|727696 | 7030k| 2.7 | 564M| 54 | - | 60 |4951 | 60 | 20 | 23 |1282k|3746 | 0.000000e+00 | -- | Inf
484.20/484.29 c 484s| 2600k|730399 | 7058k| 2.7 | 566M| 54 | 7 | 60 |6403 | 60 | 20 | 23 |1287k|3746 | 0.000000e+00 | -- | Inf
486.41/486.43 c 486s| 2610k|732805 | 7085k| 2.7 | 568M| 54 | 7 | 60 |4560 | 60 | 20 | 23 |1293k|3746 | 0.000000e+00 | -- | Inf
488.42/488.48 c 488s| 2620k|735411 | 7112k| 2.7 | 570M| 54 | - | 60 |3964 | 60 | 20 | 23 |1298k|3746 | 0.000000e+00 | -- | Inf
490.31/490.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
490.31/490.33 c 490s| 2630k|738299 | 7139k| 2.7 | 572M| 54 | - | 60 |4349 | 60 | 20 | 23 |1302k|3746 | 0.000000e+00 | -- | Inf
492.20/492.25 c 492s| 2640k|741066 | 7167k| 2.7 | 575M| 54 | 7 | 60 |5026 | 60 | 20 | 23 |1307k|3746 | 0.000000e+00 | -- | Inf
494.30/494.32 c 494s| 2650k|743510 | 7194k| 2.7 | 576M| 54 | 7 | 60 |4269 | 60 | 20 | 23 |1313k|3746 | 0.000000e+00 | -- | Inf
496.22/496.27 c 496s| 2660k|745867 | 7221k| 2.7 | 579M| 54 | 7 | 60 |5072 | 60 | 20 | 23 |1318k|3746 | 0.000000e+00 | -- | Inf
498.21/498.27 c 498s| 2670k|748416 | 7248k| 2.7 | 581M| 54 | 7 | 60 |4773 | 60 | 20 | 23 |1323k|3746 | 0.000000e+00 | -- | Inf
500.30/500.32 c 500s| 2680k|750898 | 7275k| 2.7 | 583M| 54 | 7 | 60 |4695 | 60 | 20 | 23 |1328k|3746 | 0.000000e+00 | -- | Inf
502.30/502.35 c 502s| 2690k|753458 | 7302k| 2.7 | 585M| 54 | - | 60 |4436 | 60 | 20 | 23 |1333k|3746 | 0.000000e+00 | -- | Inf
504.31/504.31 c 504s| 2700k|755842 | 7330k| 2.7 | 587M| 54 | - | 60 |4788 | 60 | 20 | 23 |1338k|3746 | 0.000000e+00 | -- | Inf
506.31/506.30 c 506s| 2710k|758434 | 7357k| 2.7 | 589M| 54 | 7 | 60 |4628 | 60 | 20 | 23 |1343k|3746 | 0.000000e+00 | -- | Inf
508.22/508.21 c 508s| 2720k|761136 | 7384k| 2.7 | 592M| 54 | 7 | 60 |5908 | 60 | 20 | 23 |1348k|3747 | 0.000000e+00 | -- | Inf
510.30/510.33 c 510s| 2730k|763607 | 7411k| 2.7 | 594M| 54 | 7 | 60 |4808 | 60 | 20 | 23 |1353k|3749 | 0.000000e+00 | -- | Inf
512.41/512.41 c 512s| 2740k|766278 | 7438k| 2.7 | 596M| 54 | 7 | 60 |4203 | 60 | 20 | 23 |1358k|3749 | 0.000000e+00 | -- | Inf
514.31/514.36 c 514s| 2750k|769216 | 7466k| 2.7 | 598M| 54 | 7 | 60 |4491 | 60 | 20 | 23 |1363k|3749 | 0.000000e+00 | -- | Inf
516.21/516.25 c 516s| 2760k|772059 | 7493k| 2.7 | 600M| 54 | - | 60 |4953 | 60 | 20 | 23 |1368k|3749 | 0.000000e+00 | -- | Inf
518.12/518.13 c 518s| 2770k|775002 | 7518k| 2.7 | 603M| 54 | - | 60 |5730 | 60 | 20 | 23 |1373k|3749 | 0.000000e+00 | -- | Inf
520.11/520.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
520.11/520.19 c 520s| 2780k|777587 | 7544k| 2.7 | 605M| 54 | 7 | 60 |5795 | 60 | 20 | 23 |1379k|3749 | 0.000000e+00 | -- | Inf
522.30/522.32 c 522s| 2790k|780015 | 7570k| 2.7 | 607M| 54 | - | 60 |5487 | 60 | 20 | 23 |1384k|3749 | 0.000000e+00 | -- | Inf
524.20/524.29 c 524s| 2800k|782756 | 7597k| 2.7 | 609M| 54 | 7 | 60 |6083 | 60 | 20 | 23 |1389k|3749 | 0.000000e+00 | -- | Inf
526.31/526.34 c 526s| 2810k|785170 | 7624k| 2.7 | 611M| 54 | - | 60 |5847 | 60 | 20 | 23 |1394k|3749 | 0.000000e+00 | -- | Inf
528.40/528.45 c 528s| 2820k|787742 | 7651k| 2.7 | 613M| 54 | 7 | 60 |4580 | 60 | 20 | 23 |1399k|3753 | 0.000000e+00 | -- | Inf
530.40/530.48 c 530s| 2830k|790205 | 7679k| 2.7 | 615M| 54 | - | 60 |4505 | 60 | 20 | 23 |1404k|3754 | 0.000000e+00 | -- | Inf
532.52/532.59 c 533s| 2840k|792616 | 7706k| 2.7 | 617M| 54 | 7 | 60 |3780 | 60 | 20 | 23 |1409k|3760 | 0.000000e+00 | -- | Inf
534.51/534.57 c 535s| 2850k|795166 | 7733k| 2.7 | 619M| 54 | 7 | 60 |4552 | 60 | 20 | 23 |1414k|3762 | 0.000000e+00 | -- | Inf
536.50/536.58 c 537s| 2860k|797818 | 7760k| 2.7 | 621M| 54 | 7 | 60 |4480 | 60 | 20 | 23 |1420k|3765 | 0.000000e+00 | -- | Inf
538.41/538.45 c 538s| 2870k|800778 | 7787k| 2.7 | 624M| 54 | - | 60 |5754 | 60 | 20 | 23 |1424k|3766 | 0.000000e+00 | -- | Inf
540.51/540.57 c 541s| 2880k|803286 | 7815k| 2.7 | 626M| 54 | 7 | 60 |4674 | 60 | 20 | 23 |1429k|3766 | 0.000000e+00 | -- | Inf
542.42/542.47 c 542s| 2890k|805947 | 7842k| 2.7 | 628M| 54 | 7 | 60 |4658 | 60 | 20 | 23 |1435k|3777 | 0.000000e+00 | -- | Inf
544.41/544.46 c 544s| 2900k|808478 | 7868k| 2.7 | 630M| 54 | - | 60 |4387 | 60 | 20 | 23 |1440k|3778 | 0.000000e+00 | -- | Inf
546.41/546.49 c 546s| 2910k|810820 | 7895k| 2.7 | 632M| 54 | - | 60 |4516 | 60 | 20 | 23 |1445k|3779 | 0.000000e+00 | -- | Inf
548.41/548.48 c 548s| 2920k|813392 | 7923k| 2.7 | 634M| 54 | - | 60 |4839 | 60 | 20 | 23 |1450k|3780 | 0.000000e+00 | -- | Inf
550.50/550.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
550.50/550.54 c 551s| 2930k|815829 | 7950k| 2.7 | 636M| 54 | 7 | 60 |4707 | 60 | 20 | 23 |1455k|3783 | 0.000000e+00 | -- | Inf
552.50/552.56 c 553s| 2940k|818523 | 7977k| 2.7 | 638M| 54 | - | 60 |4931 | 60 | 20 | 23 |1460k|3786 | 0.000000e+00 | -- | Inf
554.42/554.51 c 555s| 2950k|821312 | 8006k| 2.7 | 641M| 54 | 7 | 60 |5271 | 60 | 20 | 23 |1465k|3786 | 0.000000e+00 | -- | Inf
556.41/556.46 c 556s| 2960k|823883 | 8037k| 2.7 | 643M| 54 | 7 | 60 |6684 | 60 | 20 | 23 |1470k|3786 | 0.000000e+00 | -- | Inf
558.51/558.59 c 559s| 2970k|826170 | 8066k| 2.7 | 645M| 54 | 7 | 60 |6551 | 60 | 20 | 23 |1476k|3786 | 0.000000e+00 | -- | Inf
560.71/560.78 c 561s| 2980k|828406 | 8095k| 2.7 | 647M| 54 | - | 60 |5944 | 60 | 20 | 23 |1481k|3800 | 0.000000e+00 | -- | Inf
562.91/562.96 c 563s| 2990k|830855 | 8121k| 2.7 | 649M| 54 | - | 60 |5146 | 60 | 20 | 23 |1486k|3800 | 0.000000e+00 | -- | Inf
564.91/564.99 c 565s| 3000k|833570 | 8148k| 2.7 | 651M| 54 | - | 60 |5284 | 60 | 20 | 23 |1491k|3802 | 0.000000e+00 | -- | Inf
567.01/567.05 c 567s| 3010k|836135 | 8176k| 2.7 | 653M| 54 | - | 60 |5751 | 60 | 20 | 23 |1496k|3811 | 0.000000e+00 | -- | Inf
569.11/569.15 c 569s| 3020k|838691 | 8203k| 2.7 | 655M| 54 | - | 60 |5173 | 60 | 20 | 23 |1502k|3811 | 0.000000e+00 | -- | Inf
571.31/571.34 c 571s| 3030k|841033 | 8231k| 2.7 | 657M| 54 | 7 | 60 |5134 | 60 | 20 | 23 |1507k|3820 | 0.000000e+00 | -- | Inf
573.61/573.60 c 574s| 3040k|843322 | 8258k| 2.7 | 659M| 54 | - | 60 |4226 | 60 | 20 | 23 |1512k|3820 | 0.000000e+00 | -- | Inf
575.61/575.64 c 576s| 3050k|845755 | 8285k| 2.7 | 661M| 54 | 7 | 60 |4605 | 60 | 20 | 23 |1517k|3820 | 0.000000e+00 | -- | Inf
577.62/577.67 c 578s| 3060k|848343 | 8313k| 2.7 | 663M| 54 | 7 | 60 |4758 | 60 | 20 | 23 |1522k|3820 | 0.000000e+00 | -- | Inf
579.72/579.78 c 580s| 3070k|850856 | 8340k| 2.7 | 666M| 54 | - | 60 |4848 | 60 | 20 | 23 |1527k|3821 | 0.000000e+00 | -- | Inf
581.81/581.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
581.81/581.81 c 582s| 3080k|853326 | 8367k| 2.7 | 668M| 54 | 7 | 60 |4879 | 60 | 20 | 23 |1532k|3834 | 0.000000e+00 | -- | Inf
583.90/583.91 c 584s| 3090k|855887 | 8394k| 2.7 | 670M| 54 | - | 60 |4452 | 60 | 20 | 23 |1538k|3837 | 0.000000e+00 | -- | Inf
586.01/586.02 c 586s| 3100k|858362 | 8421k| 2.7 | 672M| 54 | 7 | 60 |4165 | 60 | 20 | 23 |1543k|3839 | 0.000000e+00 | -- | Inf
587.91/587.95 c 588s| 3110k|860935 | 8449k| 2.7 | 674M| 54 | - | 60 |5605 | 60 | 20 | 23 |1547k|3841 | 0.000000e+00 | -- | Inf
590.00/590.01 c 590s| 3120k|863537 | 8476k| 2.7 | 676M| 54 | - | 60 |4857 | 60 | 20 | 23 |1553k|3844 | 0.000000e+00 | -- | Inf
592.01/592.06 c 592s| 3130k|866112 | 8503k| 2.7 | 678M| 54 | 7 | 60 |4461 | 60 | 20 | 23 |1558k|3845 | 0.000000e+00 | -- | Inf
594.03/594.05 c 594s| 3140k|868515 | 8530k| 2.7 | 680M| 54 | 7 | 60 |4625 | 60 | 20 | 23 |1563k|3846 | 0.000000e+00 | -- | Inf
596.11/596.16 c 596s| 3150k|870840 | 8557k| 2.7 | 682M| 54 | - | 60 |4833 | 60 | 20 | 23 |1568k|3853 | 0.000000e+00 | -- | Inf
598.20/598.25 c 598s| 3160k|873233 | 8584k| 2.7 | 685M| 54 | 7 | 60 |4770 | 60 | 20 | 23 |1573k|3853 | 0.000000e+00 | -- | Inf
600.21/600.27 c 600s| 3170k|875802 | 8611k| 2.7 | 687M| 54 | 7 | 60 |4941 | 60 | 20 | 23 |1578k|3857 | 0.000000e+00 | -- | Inf
602.31/602.37 c 602s| 3180k|878246 | 8638k| 2.7 | 689M| 54 | 7 | 60 |4110 | 60 | 20 | 23 |1583k|3857 | 0.000000e+00 | -- | Inf
604.41/604.40 c 604s| 3190k|880668 | 8665k| 2.7 | 691M| 54 | 7 | 60 |4313 | 60 | 20 | 23 |1589k|3858 | 0.000000e+00 | -- | Inf
606.31/606.39 c 606s| 3200k|883410 | 8692k| 2.7 | 693M| 54 | 7 | 60 |4467 | 60 | 20 | 23 |1594k|3858 | 0.000000e+00 | -- | Inf
608.43/608.41 c 608s| 3210k|885886 | 8718k| 2.7 | 695M| 54 | 7 | 60 |5390 | 60 | 20 | 23 |1599k|3859 | 0.000000e+00 | -- | Inf
610.41/610.47 c 610s| 3220k|888368 | 8745k| 2.7 | 697M| 54 | 7 | 60 |4557 | 60 | 20 | 23 |1604k|3860 | 0.000000e+00 | -- | Inf
612.51/612.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
612.51/612.58 c 613s| 3230k|890831 | 8772k| 2.7 | 699M| 54 | 7 | 60 |4527 | 60 | 20 | 23 |1609k|3868 | 0.000000e+00 | -- | Inf
614.61/614.67 c 615s| 3240k|893278 | 8799k| 2.7 | 701M| 54 | - | 60 |4765 | 60 | 20 | 23 |1614k|3868 | 0.000000e+00 | -- | Inf
616.51/616.54 c 617s| 3250k|896614 | 8825k| 2.7 | 704M| 54 | 7 | 60 |5468 | 60 | 20 | 23 |1618k|3868 | 0.000000e+00 | -- | Inf
618.71/618.72 c 619s| 3260k|899043 | 8853k| 2.7 | 706M| 54 | 7 | 60 |4614 | 60 | 20 | 23 |1623k|3872 | 0.000000e+00 | -- | Inf
620.71/620.74 c 621s| 3270k|901705 | 8880k| 2.7 | 707M| 54 | 7 | 60 |3719 | 60 | 20 | 23 |1628k|3873 | 0.000000e+00 | -- | Inf
622.62/622.63 c 623s| 3280k|904398 | 8906k| 2.7 | 710M| 54 | 7 | 60 |4960 | 60 | 20 | 23 |1633k|3878 | 0.000000e+00 | -- | Inf
624.61/624.68 c 625s| 3290k|906863 | 8934k| 2.7 | 712M| 54 | 7 | 60 |4923 | 60 | 20 | 23 |1639k|3886 | 0.000000e+00 | -- | Inf
626.81/626.85 c 627s| 3300k|909170 | 8961k| 2.7 | 714M| 54 | 7 | 60 |4624 | 60 | 20 | 23 |1644k|3891 | 0.000000e+00 | -- | Inf
628.81/628.89 c 629s| 3310k|911634 | 8988k| 2.7 | 716M| 54 | - | 60 |4983 | 60 | 20 | 23 |1649k|3895 | 0.000000e+00 | -- | Inf
631.01/631.00 c 631s| 3320k|914146 | 9015k| 2.7 | 718M| 54 | 7 | 60 |4515 | 60 | 20 | 23 |1654k|3901 | 0.000000e+00 | -- | Inf
633.01/633.08 c 633s| 3330k|916673 | 9041k| 2.7 | 720M| 54 | - | 60 |5035 | 60 | 20 | 23 |1659k|3926 | 0.000000e+00 | -- | Inf
635.21/635.20 c 635s| 3340k|919093 | 9069k| 2.7 | 722M| 54 | 7 | 60 |4761 | 60 | 20 | 23 |1664k|3926 | 0.000000e+00 | -- | Inf
637.41/637.45 c 637s| 3350k|921309 | 9095k| 2.7 | 724M| 54 | - | 60 |4037 | 0 | 0 | 23 |1670k|3927 | 0.000000e+00 | -- | Inf
639.51/639.50 c 639s| 3360k|923858 | 9123k| 2.7 | 726M| 54 | 7 | 60 |4709 | 60 | 20 | 23 |1675k|3932 | 0.000000e+00 | -- | Inf
641.51/641.53 c 642s| 3370k|926475 | 9150k| 2.7 | 728M| 54 | - | 60 |4188 | 60 | 20 | 23 |1680k|3951 | 0.000000e+00 | -- | Inf
643.52/643.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
643.52/643.54 c 644s| 3380k|929031 | 9177k| 2.7 | 730M| 54 | - | 60 |4367 | 60 | 20 | 23 |1685k|3951 | 0.000000e+00 | -- | Inf
645.51/645.56 c 646s| 3390k|931547 | 9205k| 2.7 | 732M| 54 | - | 60 |4617 | 60 | 20 | 23 |1690k|3953 | 0.000000e+00 | -- | Inf
647.61/647.63 c 648s| 3400k|933921 | 9232k| 2.7 | 735M| 54 | - | 60 |4719 | 60 | 20 | 23 |1695k|3958 | 0.000000e+00 | -- | Inf
649.71/649.76 c 650s| 3410k|936293 | 9260k| 2.7 | 737M| 54 | 7 | 60 |5010 | 60 | 20 | 23 |1700k|3962 | 0.000000e+00 | -- | Inf
651.81/651.89 c 652s| 3420k|938732 | 9286k| 2.7 | 739M| 54 | 7 | 60 |4824 | 60 | 20 | 23 |1705k|3970 | 0.000000e+00 | -- | Inf
653.91/653.96 c 654s| 3430k|941271 | 9314k| 2.7 | 741M| 54 | - | 60 |4819 | 60 | 20 | 23 |1710k|3974 | 0.000000e+00 | -- | Inf
656.11/656.10 c 656s| 3440k|943651 | 9341k| 2.7 | 743M| 54 | 7 | 60 |4858 | 60 | 20 | 23 |1716k|3983 | 0.000000e+00 | -- | Inf
658.21/658.23 c 658s| 3450k|946036 | 9369k| 2.7 | 745M| 54 | 7 | 60 |4741 | 60 | 20 | 23 |1721k|3992 | 0.000000e+00 | -- | Inf
660.31/660.32 c 660s| 3460k|948470 | 9397k| 2.7 | 747M| 54 | 7 | 60 |4523 | 60 | 20 | 23 |1726k|3993 | 0.000000e+00 | -- | Inf
662.02/662.08 c 662s| 3470k|951888 | 9424k| 2.7 | 749M| 54 | 7 | 60 |5784 | 60 | 20 | 23 |1730k|4007 | 0.000000e+00 | -- | Inf
663.91/663.97 c 664s| 3480k|955203 | 9451k| 2.7 | 752M| 54 | 7 | 60 |7192 | 60 | 20 | 23 |1735k|4007 | 0.000000e+00 | -- | Inf
666.11/666.13 c 666s| 3490k|958026 | 9478k| 2.7 | 754M| 54 | 7 | 60 |6984 | 60 | 20 | 23 |1740k|4007 | 0.000000e+00 | -- | Inf
668.42/668.40 c 668s| 3500k|960419 | 9506k| 2.7 | 756M| 54 | 7 | 60 |4456 | 60 | 20 | 23 |1745k|4007 | 0.000000e+00 | -- | Inf
670.51/670.59 c 671s| 3510k|962796 | 9533k| 2.7 | 758M| 54 | - | 60 |4276 | 60 | 20 | 23 |1750k|4007 | 0.000000e+00 | -- | Inf
672.51/672.57 c 673s| 3520k|965341 | 9560k| 2.7 | 760M| 54 | 7 | 60 |4680 | 60 | 20 | 23 |1755k|4007 | 0.000000e+00 | -- | Inf
674.61/674.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
674.61/674.66 c 675s| 3530k|967826 | 9587k| 2.7 | 762M| 54 | - | 60 |4440 | 60 | 20 | 23 |1760k|4007 | 0.000000e+00 | -- | Inf
676.62/676.69 c 677s| 3540k|970495 | 9614k| 2.7 | 764M| 54 | 7 | 60 |5117 | 60 | 20 | 23 |1765k|4007 | 0.000000e+00 | -- | Inf
678.83/678.86 c 679s| 3550k|973012 | 9640k| 2.7 | 766M| 54 | 7 | 60 |4405 | 60 | 20 | 23 |1770k|4007 | 0.000000e+00 | -- | Inf
680.93/680.97 c 681s| 3560k|975339 | 9667k| 2.7 | 768M| 54 | - | 60 |4452 | 60 | 20 | 23 |1775k|4007 | 0.000000e+00 | -- | Inf
683.13/683.12 c 683s| 3570k|977688 | 9694k| 2.7 | 770M| 54 | - | 60 |4591 | 60 | 20 | 23 |1780k|4007 | 0.000000e+00 | -- | Inf
685.12/685.17 c 685s| 3580k|980408 | 9721k| 2.7 | 772M| 54 | 7 | 60 |4436 | 60 | 20 | 23 |1785k|4007 | 0.000000e+00 | -- | Inf
687.21/687.21 c 687s| 3590k|982985 | 9748k| 2.7 | 775M| 54 | 7 | 60 |5088 | 60 | 20 | 23 |1790k|4007 | 0.000000e+00 | -- | Inf
689.31/689.33 c 689s| 3600k|985523 | 9774k| 2.7 | 777M| 54 | - | 60 |4858 | 60 | 20 | 23 |1795k|4007 | 0.000000e+00 | -- | Inf
691.41/691.44 c 691s| 3610k|987897 | 9801k| 2.7 | 779M| 54 | - | 60 |4645 | 60 | 20 | 23 |1800k|4007 | 0.000000e+00 | -- | Inf
693.21/693.28 c 693s| 3620k|991010 | 9829k| 2.7 | 781M| 54 | 7 | 60 |6184 | 60 | 20 | 23 |1805k|4007 | 0.000000e+00 | -- | Inf
695.23/695.23 c 695s| 3630k|993844 | 9855k| 2.7 | 783M| 54 | 7 | 60 |6283 | 60 | 20 | 23 |1810k|4007 | 0.000000e+00 | -- | Inf
697.43/697.44 c 697s| 3640k|996143 | 9883k| 2.7 | 785M| 54 | 7 | 60 |5351 | 60 | 20 | 23 |1815k|4007 | 0.000000e+00 | -- | Inf
699.63/699.66 c 700s| 3650k|998473 | 9911k| 2.7 | 787M| 54 | 7 | 60 |4778 | 60 | 20 | 23 |1820k|4007 | 0.000000e+00 | -- | Inf
701.62/701.67 c 702s| 3660k| 1001k| 9939k| 2.7 | 789M| 54 | 7 | 60 |5506 | 60 | 20 | 23 |1825k|4007 | 0.000000e+00 | -- | Inf
703.81/703.80 c 704s| 3670k| 1003k| 9967k| 2.7 | 792M| 54 | 7 | 60 |5994 | 60 | 20 | 23 |1830k|4007 | 0.000000e+00 | -- | Inf
705.92/705.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
705.92/705.96 c 706s| 3680k| 1006k| 9994k| 2.7 | 794M| 54 | 7 | 60 |4923 | 60 | 20 | 23 |1835k|4007 | 0.000000e+00 | -- | Inf
708.01/708.05 c 708s| 3690k| 1008k| 10022k| 2.7 | 796M| 54 | - | 60 |5071 | 60 | 20 | 23 |1840k|4007 | 0.000000e+00 | -- | Inf
710.21/710.21 c 710s| 3700k| 1011k| 10049k| 2.7 | 798M| 54 | 7 | 60 |4130 | 60 | 20 | 23 |1846k|4007 | 0.000000e+00 | -- | Inf
712.32/712.34 c 712s| 3710k| 1013k| 10076k| 2.7 | 800M| 54 | - | 60 |4295 | 60 | 20 | 23 |1851k|4007 | 0.000000e+00 | -- | Inf
714.31/714.36 c 714s| 3720k| 1015k| 10104k| 2.7 | 802M| 54 | 7 | 60 |4614 | 60 | 20 | 23 |1856k|4007 | 0.000000e+00 | -- | Inf
716.42/716.46 c 716s| 3730k| 1018k| 10131k| 2.7 | 804M| 54 | 7 | 60 |4635 | 60 | 20 | 23 |1861k|4007 | 0.000000e+00 | -- | Inf
718.43/718.49 c 718s| 3740k| 1021k| 10158k| 2.7 | 806M| 54 | 7 | 60 |4783 | 60 | 20 | 23 |1866k|4007 | 0.000000e+00 | -- | Inf
720.31/720.35 c 720s| 3750k| 1024k| 10185k| 2.7 | 808M| 54 | 7 | 60 |5938 | 60 | 20 | 23 |1871k|4007 | 0.000000e+00 | -- | Inf
722.42/722.48 c 722s| 3760k| 1026k| 10212k| 2.7 | 810M| 54 | 7 | 60 |4693 | 60 | 20 | 23 |1876k|4007 | 0.000000e+00 | -- | Inf
724.61/724.67 c 725s| 3770k| 1028k| 10240k| 2.7 | 812M| 54 | 7 | 60 |4628 | 60 | 20 | 23 |1881k|4007 | 0.000000e+00 | -- | Inf
726.71/726.73 c 727s| 3780k| 1031k| 10267k| 2.7 | 814M| 54 | 7 | 60 |5277 | 60 | 20 | 23 |1886k|4007 | 0.000000e+00 | -- | Inf
728.61/728.68 c 729s| 3790k| 1034k| 10294k| 2.7 | 817M| 54 | 7 | 60 |6832 | 60 | 20 | 23 |1891k|4007 | 0.000000e+00 | -- | Inf
730.92/730.98 c 731s| 3800k| 1036k| 10322k| 2.7 | 819M| 54 | - | 60 |5164 | 60 | 20 | 23 |1896k|4007 | 0.000000e+00 | -- | Inf
733.01/733.04 c 733s| 3810k| 1039k| 10349k| 2.7 | 821M| 54 | 7 | 60 |5462 | 60 | 20 | 23 |1901k|4007 | 0.000000e+00 | -- | Inf
735.12/735.16 c 735s| 3820k| 1042k| 10376k| 2.7 | 823M| 54 | 7 | 60 |5174 | 60 | 20 | 23 |1906k|4007 | 0.000000e+00 | -- | Inf
737.31/737.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
737.31/737.34 c 737s| 3830k| 1044k| 10403k| 2.7 | 825M| 54 | 7 | 60 |4534 | 60 | 20 | 23 |1911k|4007 | 0.000000e+00 | -- | Inf
739.33/739.38 c 739s| 3840k| 1047k| 10430k| 2.7 | 827M| 54 | 7 | 60 |5536 | 60 | 20 | 23 |1916k|4007 | 0.000000e+00 | -- | Inf
741.53/741.52 c 742s| 3850k| 1049k| 10457k| 2.7 | 829M| 54 | 7 | 60 |5041 | 60 | 20 | 23 |1921k|4007 | 0.000000e+00 | -- | Inf
743.51/743.53 c 744s| 3860k| 1052k| 10485k| 2.7 | 831M| 54 | 7 | 60 |5797 | 60 | 20 | 23 |1926k|4007 | 0.000000e+00 | -- | Inf
745.83/745.81 c 746s| 3870k| 1054k| 10512k| 2.7 | 833M| 54 | - | 60 |5035 | 60 | 20 | 23 |1931k|4007 | 0.000000e+00 | -- | Inf
747.91/747.94 c 748s| 3880k| 1056k| 10539k| 2.7 | 835M| 54 | - | 60 |4676 | 60 | 20 | 23 |1936k|4007 | 0.000000e+00 | -- | Inf
750.11/750.11 c 750s| 3890k| 1059k| 10566k| 2.7 | 837M| 54 | 7 | 60 |4736 | 60 | 20 | 23 |1941k|4007 | 0.000000e+00 | -- | Inf
752.21/752.28 c 752s| 3900k| 1061k| 10592k| 2.7 | 839M| 54 | - | 60 |4613 | 60 | 20 | 23 |1947k|4007 | 0.000000e+00 | -- | Inf
754.42/754.44 c 754s| 3910k| 1064k| 10620k| 2.7 | 841M| 54 | - | 60 |4455 | 60 | 20 | 23 |1952k|4007 | 0.000000e+00 | -- | Inf
756.51/756.52 c 757s| 3920k| 1066k| 10647k| 2.7 | 844M| 54 | - | 60 |4797 | 60 | 20 | 23 |1957k|4007 | 0.000000e+00 | -- | Inf
758.62/758.64 c 759s| 3930k| 1069k| 10674k| 2.7 | 846M| 54 | 7 | 60 |4992 | 60 | 20 | 23 |1962k|4007 | 0.000000e+00 | -- | Inf
760.61/760.69 c 761s| 3940k| 1071k| 10701k| 2.7 | 848M| 54 | - | 60 |5197 | 60 | 20 | 23 |1967k|4007 | 0.000000e+00 | -- | Inf
762.61/762.62 c 763s| 3950k| 1074k| 10728k| 2.7 | 851M| 54 | - | 60 |6830 | 60 | 20 | 23 |1972k|4007 | 0.000000e+00 | -- | Inf
764.72/764.72 c 765s| 3960k| 1077k| 10755k| 2.7 | 853M| 54 | 7 | 60 |6970 | 60 | 20 | 23 |1977k|4007 | 0.000000e+00 | -- | Inf
766.83/766.84 c 767s| 3970k| 1079k| 10782k| 2.7 | 855M| 54 | 7 | 60 |6995 | 60 | 20 | 23 |1982k|4007 | 0.000000e+00 | -- | Inf
769.12/769.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
769.12/769.13 c 769s| 3980k| 1082k| 10810k| 2.7 | 856M| 54 | - | 60 |5395 | 60 | 20 | 23 |1987k|4007 | 0.000000e+00 | -- | Inf
771.23/771.22 c 771s| 3990k| 1084k| 10837k| 2.7 | 859M| 54 | - | 60 |6253 | 60 | 20 | 23 |1992k|4007 | 0.000000e+00 | -- | Inf
773.33/773.36 c 773s| 4000k| 1087k| 10863k| 2.7 | 861M| 54 | - | 60 |5857 | 60 | 20 | 23 |1997k|4007 | 0.000000e+00 | -- | Inf
775.63/775.68 c 776s| 4010k| 1089k| 10891k| 2.7 | 863M| 54 | 7 | 60 |4974 | 60 | 20 | 23 |2002k|4007 | 0.000000e+00 | -- | Inf
777.73/777.75 c 778s| 4020k| 1092k| 10918k| 2.7 | 865M| 54 | - | 60 |4885 | 60 | 20 | 23 |2007k|4007 | 0.000000e+00 | -- | Inf
779.93/779.92 c 780s| 4030k| 1094k| 10945k| 2.7 | 867M| 54 | 7 | 60 |4906 | 60 | 20 | 23 |2012k|4007 | 0.000000e+00 | -- | Inf
781.92/781.99 c 782s| 4040k| 1097k| 10972k| 2.7 | 869M| 54 | 7 | 60 |5737 | 60 | 20 | 23 |2017k|4007 | 0.000000e+00 | -- | Inf
784.33/784.31 c 784s| 4050k| 1099k| 11000k| 2.7 | 871M| 54 | 7 | 60 |4561 | 60 | 20 | 23 |2023k|4007 | 0.000000e+00 | -- | Inf
786.41/786.48 c 786s| 4060k| 1102k| 11026k| 2.7 | 873M| 54 | - | 60 |4608 | 60 | 20 | 23 |2028k|4007 | 0.000000e+00 | -- | Inf
788.61/788.63 c 789s| 4070k| 1104k| 11053k| 2.7 | 875M| 54 | 7 | 60 |4789 | 60 | 20 | 23 |2033k|4007 | 0.000000e+00 | -- | Inf
790.71/790.77 c 791s| 4080k| 1106k| 11081k| 2.7 | 877M| 54 | 7 | 60 |5184 | 60 | 20 | 23 |2038k|4007 | 0.000000e+00 | -- | Inf
793.02/793.05 c 793s| 4090k| 1109k| 11107k| 2.7 | 879M| 54 | 7 | 60 |4091 | 60 | 20 | 23 |2043k|4007 | 0.000000e+00 | -- | Inf
795.11/795.16 c 795s| 4100k| 1111k| 11134k| 2.7 | 881M| 54 | - | 60 |4303 | 60 | 20 | 23 |2048k|4007 | 0.000000e+00 | -- | Inf
797.22/797.24 c 797s| 4110k| 1114k| 11161k| 2.7 | 883M| 54 | - | 60 |4796 | 60 | 20 | 23 |2054k|4011 | 0.000000e+00 | -- | Inf
799.22/799.22 c 799s| 4120k| 1116k| 11189k| 2.7 | 886M| 54 | - | 60 |5411 | 60 | 20 | 23 |2059k|4012 | 0.000000e+00 | -- | Inf
801.22/801.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
801.22/801.28 c 801s| 4130k| 1119k| 11217k| 2.7 | 888M| 54 | 7 | 60 |5904 | 60 | 20 | 23 |2064k|4014 | 0.000000e+00 | -- | Inf
803.32/803.33 c 803s| 4140k| 1122k| 11244k| 2.7 | 890M| 54 | - | 60 |5933 | 60 | 20 | 23 |2069k|4021 | 0.000000e+00 | -- | Inf
805.51/805.53 c 806s| 4150k| 1124k| 11272k| 2.7 | 892M| 54 | 7 | 60 |4966 | 60 | 20 | 23 |2074k|4026 | 0.000000e+00 | -- | Inf
807.61/807.65 c 808s| 4160k| 1127k| 11299k| 2.7 | 894M| 54 | 7 | 60 |4739 | 60 | 20 | 23 |2079k|4031 | 0.000000e+00 | -- | Inf
809.81/809.87 c 810s| 4170k| 1129k| 11327k| 2.7 | 896M| 54 | 7 | 60 |4237 | 60 | 20 | 23 |2084k|4033 | 0.000000e+00 | -- | Inf
811.93/811.95 c 812s| 4180k| 1131k| 11353k| 2.7 | 898M| 54 | 7 | 60 |3985 | 60 | 20 | 23 |2089k|4038 | 0.000000e+00 | -- | Inf
813.92/813.95 c 814s| 4190k| 1134k| 11380k| 2.7 | 900M| 54 | 7 | 60 |4982 | 60 | 20 | 23 |2094k|4046 | 0.000000e+00 | -- | Inf
816.12/816.16 c 816s| 4200k| 1136k| 11407k| 2.7 | 902M| 54 | - | 60 |4547 | 60 | 20 | 23 |2099k|4049 | 0.000000e+00 | -- | Inf
818.21/818.26 c 818s| 4210k| 1139k| 11434k| 2.7 | 904M| 54 | 7 | 60 |4888 | 60 | 20 | 23 |2104k|4052 | 0.000000e+00 | -- | Inf
820.32/820.34 c 820s| 4220k| 1141k| 11462k| 2.7 | 906M| 54 | 7 | 60 |5514 | 60 | 20 | 23 |2110k|4057 | 0.000000e+00 | -- | Inf
822.52/822.50 c 823s| 4230k| 1144k| 11490k| 2.7 | 908M| 54 | - | 60 |5061 | 60 | 20 | 23 |2115k|4062 | 0.000000e+00 | -- | Inf
824.72/824.73 c 825s| 4240k| 1146k| 11517k| 2.7 | 910M| 54 | 7 | 60 |4554 | 60 | 20 | 23 |2120k|4067 | 0.000000e+00 | -- | Inf
826.72/826.71 c 827s| 4250k| 1149k| 11545k| 2.7 | 913M| 54 | 7 | 60 |5353 | 60 | 20 | 23 |2125k|4070 | 0.000000e+00 | -- | Inf
828.82/828.87 c 829s| 4260k| 1151k| 11572k| 2.7 | 915M| 54 | 7 | 60 |4894 | 60 | 20 | 23 |2130k|4075 | 0.000000e+00 | -- | Inf
830.92/830.96 c 831s| 4270k| 1154k| 11599k| 2.7 | 917M| 54 | 7 | 60 |5834 | 60 | 20 | 23 |2135k|4077 | 0.000000e+00 | -- | Inf
833.12/833.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
833.12/833.19 c 833s| 4280k| 1156k| 11626k| 2.7 | 919M| 54 | - | 60 |5038 | 60 | 20 | 23 |2141k|4077 | 0.000000e+00 | -- | Inf
835.32/835.35 c 835s| 4290k| 1159k| 11654k| 2.7 | 921M| 54 | - | 60 |5058 | 60 | 20 | 23 |2146k|4077 | 0.000000e+00 | -- | Inf
837.61/837.63 c 838s| 4300k| 1161k| 11682k| 2.7 | 923M| 54 | 7 | 60 |4491 | 60 | 20 | 23 |2151k|4077 | 0.000000e+00 | -- | Inf
839.82/839.85 c 840s| 4310k| 1164k| 11709k| 2.7 | 925M| 54 | 7 | 60 |4584 | 60 | 20 | 23 |2156k|4077 | 0.000000e+00 | -- | Inf
841.82/841.83 c 842s| 4320k| 1166k| 11737k| 2.7 | 927M| 54 | 7 | 60 |6371 | 60 | 20 | 23 |2161k|4077 | 0.000000e+00 | -- | Inf
843.92/843.98 c 844s| 4330k| 1169k| 11764k| 2.7 | 929M| 54 | 7 | 60 |5535 | 60 | 20 | 23 |2166k|4077 | 0.000000e+00 | -- | Inf
846.22/846.25 c 846s| 4340k| 1171k| 11791k| 2.7 | 931M| 54 | 7 | 60 |4832 | 60 | 20 | 23 |2171k|4077 | 0.000000e+00 | -- | Inf
848.23/848.29 c 848s| 4350k| 1174k| 11819k| 2.7 | 933M| 54 | 7 | 60 |5726 | 60 | 20 | 23 |2176k|4077 | 0.000000e+00 | -- | Inf
850.43/850.43 c 850s| 4360k| 1177k| 11847k| 2.7 | 935M| 54 | 7 | 60 |4629 | 60 | 20 | 23 |2181k|4077 | 0.000000e+00 | -- | Inf
852.32/852.34 c 852s| 4370k| 1180k| 11875k| 2.7 | 938M| 54 | 7 | 60 |5511 | 60 | 20 | 23 |2186k|4077 | 0.000000e+00 | -- | Inf
854.32/854.34 c 854s| 4380k| 1182k| 11902k| 2.7 | 940M| 54 | - | 60 |5513 | 60 | 20 | 23 |2191k|4077 | 0.000000e+00 | -- | Inf
856.32/856.39 c 856s| 4390k| 1185k| 11929k| 2.7 | 942M| 54 | - | 60 |5356 | 60 | 20 | 23 |2196k|4077 | 0.000000e+00 | -- | Inf
858.42/858.44 c 858s| 4400k| 1187k| 11957k| 2.7 | 944M| 54 | - | 60 |5754 | 60 | 20 | 23 |2201k|4081 | 0.000000e+00 | -- | Inf
860.62/860.61 c 861s| 4410k| 1190k| 11984k| 2.7 | 946M| 54 | 7 | 60 |5239 | 60 | 20 | 23 |2206k|4081 | 0.000000e+00 | -- | Inf
862.82/862.84 c 863s| 4420k| 1192k| 12011k| 2.7 | 948M| 54 | 7 | 60 |4738 | 60 | 20 | 23 |2211k|4081 | 0.000000e+00 | -- | Inf
864.92/864.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
864.92/864.95 c 865s| 4430k| 1195k| 12039k| 2.7 | 950M| 54 | - | 60 |4625 | 60 | 20 | 23 |2216k|4081 | 0.000000e+00 | -- | Inf
867.02/867.02 c 867s| 4440k| 1197k| 12065k| 2.7 | 953M| 54 | - | 60 |5336 | 60 | 20 | 23 |2221k|4081 | 0.000000e+00 | -- | Inf
869.22/869.22 c 869s| 4450k| 1200k| 12093k| 2.7 | 955M| 54 | - | 60 |4981 | 60 | 20 | 23 |2226k|4081 | 0.000000e+00 | -- | Inf
871.33/871.35 c 871s| 4460k| 1202k| 12120k| 2.7 | 957M| 54 | - | 60 |4640 | 60 | 20 | 23 |2231k|4081 | 0.000000e+00 | -- | Inf
873.54/873.56 c 874s| 4470k| 1205k| 12147k| 2.7 | 959M| 54 | 7 | 60 |5054 | 60 | 20 | 23 |2237k|4081 | 0.000000e+00 | -- | Inf
875.74/875.74 c 876s| 4480k| 1207k| 12175k| 2.7 | 961M| 54 | 7 | 60 |4626 | 60 | 20 | 23 |2242k|4086 | 0.000000e+00 | -- | Inf
877.61/877.70 c 878s| 4490k| 1210k| 12202k| 2.7 | 963M| 54 | 7 | 60 |5414 | 60 | 20 | 23 |2247k|4089 | 0.000000e+00 | -- | Inf
879.81/879.86 c 880s| 4500k| 1212k| 12229k| 2.7 | 965M| 54 | 7 | 60 |6163 | 60 | 20 | 23 |2252k|4095 | 0.000000e+00 | -- | Inf
882.12/882.12 c 882s| 4510k| 1215k| 12257k| 2.7 | 967M| 54 | - | 60 |4963 | 60 | 20 | 23 |2257k|4100 | 0.000000e+00 | -- | Inf
884.22/884.20 c 884s| 4520k| 1218k| 12283k| 2.7 | 969M| 54 | 7 | 60 |5192 | 60 | 20 | 23 |2262k|4104 | 0.000000e+00 | -- | Inf
886.42/886.40 c 886s| 4530k| 1220k| 12311k| 2.7 | 971M| 54 | 7 | 60 |4628 | 60 | 20 | 23 |2267k|4107 | 0.000000e+00 | -- | Inf
888.52/888.56 c 889s| 4540k| 1223k| 12337k| 2.7 | 973M| 54 | 7 | 60 |4817 | 60 | 20 | 23 |2272k|4109 | 0.000000e+00 | -- | Inf
890.72/890.75 c 891s| 4550k| 1225k| 12364k| 2.7 | 975M| 54 | 7 | 60 |5161 | 60 | 20 | 23 |2277k|4113 | 0.000000e+00 | -- | Inf
892.91/892.94 c 893s| 4560k| 1227k| 12392k| 2.7 | 977M| 54 | 7 | 60 |5227 | 60 | 20 | 23 |2282k|4116 | 0.000000e+00 | -- | Inf
895.12/895.18 c 895s| 4570k| 1230k| 12419k| 2.7 | 979M| 54 | 7 | 60 |4696 | 60 | 20 | 23 |2287k|4121 | 0.000000e+00 | -- | Inf
897.12/897.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
897.12/897.14 c 897s| 4580k| 1233k| 12447k| 2.7 | 982M| 54 | 7 | 60 |5257 | 60 | 20 | 23 |2292k|4127 | 0.000000e+00 | -- | Inf
899.32/899.32 c 899s| 4590k| 1235k| 12474k| 2.7 | 984M| 54 | - | 60 |4675 | 60 | 20 | 23 |2297k|4130 | 0.000000e+00 | -- | Inf
901.42/901.40 c 901s| 4600k| 1238k| 12501k| 2.7 | 986M| 54 | 7 | 60 |4881 | 60 | 20 | 23 |2302k|4135 | 0.000000e+00 | -- | Inf
903.23/903.21 c 903s| 4610k| 1241k| 12529k| 2.7 | 988M| 54 | - | 60 |6517 | 60 | 20 | 23 |2307k|4138 | 0.000000e+00 | -- | Inf
905.22/905.21 c 905s| 4620k| 1244k| 12556k| 2.7 | 991M| 54 | - | 60 |7041 | 60 | 20 | 23 |2311k|4144 | 0.000000e+00 | -- | Inf
907.42/907.40 c 907s| 4630k| 1247k| 12584k| 2.7 | 993M| 54 | - | 60 |7357 | 60 | 20 | 23 |2316k|4149 | 0.000000e+00 | -- | Inf
909.83/909.84 c 910s| 4640k| 1249k| 12611k| 2.7 | 994M| 54 | 7 | 60 |4901 | 60 | 20 | 23 |2321k|4152 | 0.000000e+00 | -- | Inf
912.04/912.02 c 912s| 4650k| 1251k| 12638k| 2.7 | 997M| 54 | - | 60 |5116 | 60 | 20 | 23 |2327k|4154 | 0.000000e+00 | -- | Inf
914.14/914.12 c 914s| 4660k| 1254k| 12666k| 2.7 | 999M| 54 | 7 | 60 |5603 | 60 | 20 | 23 |2332k|4159 | 0.000000e+00 | -- | Inf
916.22/916.27 c 916s| 4670k| 1256k| 12693k| 2.7 |1001M| 54 | 7 | 60 |5714 | 60 | 20 | 23 |2337k|4162 | 0.000000e+00 | -- | Inf
918.54/918.52 c 919s| 4680k| 1259k| 12720k| 2.7 |1003M| 54 | - | 60 |4938 | 60 | 20 | 23 |2342k|4162 | 0.000000e+00 | -- | Inf
920.62/920.62 c 921s| 4690k| 1261k| 12747k| 2.7 |1005M| 54 | 7 | 60 |4990 | 60 | 20 | 23 |2347k|4162 | 0.000000e+00 | -- | Inf
922.72/922.72 c 923s| 4700k| 1264k| 12774k| 2.7 |1007M| 54 | - | 60 |5289 | 60 | 20 | 23 |2352k|4166 | 0.000000e+00 | -- | Inf
924.82/924.84 c 925s| 4710k| 1266k| 12800k| 2.7 |1009M| 54 | - | 60 |4930 | 60 | 20 | 23 |2357k|4170 | 0.000000e+00 | -- | Inf
926.92/926.99 c 927s| 4720k| 1269k| 12827k| 2.7 |1011M| 54 | - | 60 |5456 | 60 | 20 | 23 |2362k|4170 | 0.000000e+00 | -- | Inf
929.02/929.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
929.02/929.03 c 929s| 4730k| 1272k| 12854k| 2.7 |1014M| 54 | 7 | 60 |6586 | 60 | 20 | 23 |2367k|4170 | 0.000000e+00 | -- | Inf
931.22/931.21 c 931s| 4740k| 1274k| 12880k| 2.7 |1016M| 54 | 7 | 60 |7444 | 60 | 20 | 23 |2372k|4173 | 0.000000e+00 | -- | Inf
933.52/933.57 c 934s| 4750k| 1276k| 12908k| 2.7 |1018M| 54 | 7 | 60 |6086 | 60 | 20 | 23 |2378k|4176 | 0.000000e+00 | -- | Inf
935.72/935.72 c 936s| 4760k| 1279k| 12936k| 2.7 |1020M| 54 | 7 | 60 |6187 | 60 | 20 | 23 |2383k|4176 | 0.000000e+00 | -- | Inf
938.02/938.05 c 938s| 4770k| 1281k| 12963k| 2.7 |1022M| 54 | 7 | 60 |4947 | 60 | 20 | 23 |2388k|4180 | 0.000000e+00 | -- | Inf
940.22/940.22 c 940s| 4780k| 1284k| 12991k| 2.7 |1024M| 54 | 7 | 60 |5460 | 60 | 20 | 23 |2393k|4182 | 0.000000e+00 | -- | Inf
942.42/942.42 c 942s| 4790k| 1286k| 13019k| 2.7 |1026M| 54 | 7 | 60 |4934 | 60 | 20 | 23 |2398k|4188 | 0.000000e+00 | -- | Inf
944.42/944.49 c 944s| 4800k| 1289k| 13046k| 2.7 |1028M| 54 | - | 60 |5002 | 60 | 20 | 23 |2404k|4191 | 0.000000e+00 | -- | Inf
946.72/946.71 c 947s| 4810k| 1291k| 13073k| 2.7 |1030M| 54 | 7 | 60 |4697 | 60 | 20 | 23 |2408k|4191 | 0.000000e+00 | -- | Inf
948.82/948.89 c 949s| 4820k| 1294k| 13101k| 2.7 |1032M| 54 | 7 | 60 |4732 | 60 | 20 | 23 |2414k|4195 | 0.000000e+00 | -- | Inf
951.02/951.04 c 951s| 4830k| 1296k| 13128k| 2.7 |1034M| 54 | 7 | 60 |4983 | 60 | 20 | 23 |2419k|4198 | 0.000000e+00 | -- | Inf
953.12/953.16 c 953s| 4840k| 1299k| 13155k| 2.7 |1036M| 54 | - | 60 |4836 | 0 | 0 | 23 |2424k|4201 | 0.000000e+00 | -- | Inf
955.12/955.18 c 955s| 4850k| 1302k| 13181k| 2.7 |1039M| 54 | - | 60 |5093 | 60 | 20 | 23 |2429k|4202 | 0.000000e+00 | -- | Inf
957.32/957.38 c 957s| 4860k| 1304k| 13207k| 2.7 |1041M| 54 | 7 | 60 |4722 | 60 | 20 | 23 |2434k|4204 | 0.000000e+00 | -- | Inf
959.62/959.65 c 960s| 4870k| 1307k| 13234k| 2.7 |1043M| 54 | 7 | 60 |4567 | 60 | 20 | 23 |2439k|4206 | 0.000000e+00 | -- | Inf
961.83/961.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
961.83/961.83 c 962s| 4880k| 1309k| 13261k| 2.7 |1045M| 54 | 7 | 60 |4318 | 60 | 20 | 23 |2444k|4208 | 0.000000e+00 | -- | Inf
963.92/963.99 c 964s| 4890k| 1311k| 13288k| 2.7 |1047M| 54 | - | 60 |4587 | 60 | 20 | 23 |2449k|4213 | 0.000000e+00 | -- | Inf
966.12/966.13 c 966s| 4900k| 1314k| 13315k| 2.7 |1049M| 54 | 7 | 60 |4963 | 60 | 20 | 23 |2454k|4216 | 0.000000e+00 | -- | Inf
968.13/968.18 c 968s| 4910k| 1316k| 13342k| 2.7 |1051M| 54 | 7 | 60 |5560 | 60 | 20 | 23 |2459k|4220 | 0.000000e+00 | -- | Inf
970.24/970.29 c 970s| 4920k| 1319k| 13370k| 2.7 |1053M| 54 | - | 60 |5945 | 60 | 20 | 23 |2464k|4223 | 0.000000e+00 | -- | Inf
972.62/972.62 c 973s| 4930k| 1321k| 13397k| 2.7 |1055M| 54 | 7 | 60 |5242 | 60 | 20 | 23 |2469k|4232 | 0.000000e+00 | -- | Inf
974.82/974.88 c 975s| 4940k| 1324k| 13424k| 2.7 |1057M| 54 | 7 | 60 |4707 | 60 | 20 | 23 |2475k|4236 | 0.000000e+00 | -- | Inf
976.84/976.86 c 977s| 4950k| 1326k| 13452k| 2.7 |1060M| 54 | 7 | 60 |6603 | 60 | 20 | 23 |2480k|4242 | 0.000000e+00 | -- | Inf
979.03/979.01 c 979s| 4960k| 1329k| 13477k| 2.7 |1062M| 54 | - | 60 |7094 | 0 | 0 | 23 |2485k|4245 | 0.000000e+00 | -- | Inf
981.24/981.23 c 981s| 4970k| 1331k| 13504k| 2.7 |1064M| 54 | 7 | 60 |7086 | 60 | 20 | 23 |2490k|4246 | 0.000000e+00 | -- | Inf
983.44/983.44 c 983s| 4980k| 1334k| 13532k| 2.7 |1066M| 54 | - | 60 |5883 | 60 | 20 | 23 |2495k|4248 | 0.000000e+00 | -- | Inf
985.64/985.71 c 986s| 4990k| 1336k| 13559k| 2.7 |1068M| 54 | 7 | 60 |5429 | 60 | 20 | 23 |2500k|4252 | 0.000000e+00 | -- | Inf
987.94/987.99 c 988s| 5000k| 1338k| 13586k| 2.7 |1070M| 54 | 7 | 60 |5297 | 60 | 20 | 23 |2506k|4256 | 0.000000e+00 | -- | Inf
990.04/990.11 c 990s| 5010k| 1341k| 13613k| 2.7 |1072M| 54 | - | 60 |5922 | 60 | 20 | 23 |2511k|4258 | 0.000000e+00 | -- | Inf
992.34/992.36 c 992s| 5020k| 1343k| 13640k| 2.7 |1074M| 54 | 7 | 60 |5582 | 60 | 20 | 23 |2516k|4261 | 0.000000e+00 | -- | Inf
994.62/994.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
994.62/994.66 c 995s| 5030k| 1345k| 13667k| 2.7 |1076M| 54 | 7 | 60 |4759 | 60 | 20 | 23 |2521k|4265 | 0.000000e+00 | -- | Inf
996.92/996.95 c 997s| 5040k| 1347k| 13695k| 2.7 |1078M| 54 | 7 | 60 |4767 | 60 | 20 | 23 |2527k|4268 | 0.000000e+00 | -- | Inf
999.13/999.18 c 999s| 5050k| 1350k| 13721k| 2.7 |1080M| 54 | 7 | 60 |5105 | 60 | 20 | 23 |2532k|4274 | 0.000000e+00 | -- | Inf
1001.43/1001.43 c 1001s| 5060k| 1352k| 13748k| 2.7 |1082M| 54 | 7 | 60 |4565 | 60 | 20 | 23 |2537k|4276 | 0.000000e+00 | -- | Inf
1003.62/1003.64 c 1004s| 5070k| 1354k| 13775k| 2.7 |1084M| 54 | - | 60 |5393 | 60 | 20 | 23 |2542k|4282 | 0.000000e+00 | -- | Inf
1005.72/1005.79 c 1006s| 5080k| 1357k| 13803k| 2.7 |1087M| 54 | 7 | 60 |6019 | 60 | 20 | 23 |2547k|4283 | 0.000000e+00 | -- | Inf
1008.03/1008.03 c 1008s| 5090k| 1360k| 13830k| 2.7 |1089M| 54 | 7 | 60 |5776 | 60 | 20 | 23 |2552k|4283 | 0.000000e+00 | -- | Inf
1010.22/1010.26 c 1010s| 5100k| 1362k| 13857k| 2.7 |1090M| 54 | 7 | 60 |5329 | 60 | 20 | 23 |2557k|4283 | 0.000000e+00 | -- | Inf
1012.42/1012.44 c 1012s| 5110k| 1364k| 13884k| 2.7 |1092M| 54 | 7 | 60 |4753 | 60 | 20 | 23 |2562k|4284 | 0.000000e+00 | -- | Inf
1014.62/1014.61 c 1015s| 5120k| 1367k| 13911k| 2.7 |1094M| 54 | - | 60 |4277 | 60 | 20 | 23 |2568k|4288 | 0.000000e+00 | -- | Inf
1016.62/1016.64 c 1017s| 5130k| 1369k| 13938k| 2.7 |1097M| 54 | 7 | 60 |4935 | 60 | 20 | 23 |2573k|4291 | 0.000000e+00 | -- | Inf
1018.82/1018.86 c 1019s| 5140k| 1372k| 13965k| 2.7 |1099M| 54 | - | 60 |4488 | 60 | 20 | 23 |2578k|4291 | 0.000000e+00 | -- | Inf
1021.13/1021.11 c 1021s| 5150k| 1374k| 13992k| 2.7 |1101M| 54 | - | 60 |4550 | 60 | 20 | 23 |2583k|4293 | 0.000000e+00 | -- | Inf
1023.22/1023.23 c 1023s| 5160k| 1377k| 14021k| 2.7 |1103M| 54 | 7 | 60 |5361 | 60 | 20 | 23 |2588k|4298 | 0.000000e+00 | -- | Inf
1025.42/1025.41 c 1025s| 5170k| 1379k| 14048k| 2.7 |1105M| 54 | - | 60 |5686 | 60 | 20 | 23 |2593k|4301 | 0.000000e+00 | -- | Inf
1027.54/1027.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1027.54/1027.55 c 1028s| 5180k| 1382k| 14075k| 2.7 |1107M| 54 | 7 | 60 |5390 | 60 | 20 | 23 |2598k|4306 | 0.000000e+00 | -- | Inf
1029.82/1029.84 c 1030s| 5190k| 1384k| 14102k| 2.7 |1109M| 54 | 7 | 60 |4888 | 60 | 20 | 23 |2603k|4312 | 0.000000e+00 | -- | Inf
1031.94/1031.92 c 1032s| 5200k| 1387k| 14130k| 2.7 |1112M| 54 | 7 | 60 |5990 | 60 | 20 | 23 |2608k|4317 | 0.000000e+00 | -- | Inf
1034.32/1034.37 c 1034s| 5210k| 1389k| 14157k| 2.7 |1113M| 54 | - | 60 |4927 | 60 | 20 | 23 |2614k|4322 | 0.000000e+00 | -- | Inf
1036.63/1036.66 c 1037s| 5220k| 1391k| 14184k| 2.7 |1115M| 54 | 7 | 60 |4791 | 60 | 20 | 23 |2619k|4324 | 0.000000e+00 | -- | Inf
1038.92/1038.91 c 1039s| 5230k| 1394k| 14211k| 2.7 |1117M| 54 | - | 60 |4787 | 60 | 20 | 23 |2624k|4324 | 0.000000e+00 | -- | Inf
1041.02/1041.02 c 1041s| 5240k| 1396k| 14239k| 2.7 |1119M| 54 | 7 | 60 |4892 | 60 | 20 | 23 |2629k|4328 | 0.000000e+00 | -- | Inf
1043.22/1043.29 c 1043s| 5250k| 1398k| 14265k| 2.7 |1121M| 54 | 7 | 60 |4119 | 60 | 20 | 23 |2634k|4331 | 0.000000e+00 | -- | Inf
1045.42/1045.41 c 1045s| 5260k| 1401k| 14292k| 2.7 |1123M| 54 | - | 60 |4810 | 60 | 20 | 23 |2639k|4334 | 0.000000e+00 | -- | Inf
1047.53/1047.51 c 1048s| 5270k| 1403k| 14320k| 2.7 |1126M| 54 | - | 60 |5744 | 60 | 20 | 23 |2644k|4338 | 0.000000e+00 | -- | Inf
1049.73/1049.71 c 1050s| 5280k| 1406k| 14347k| 2.7 |1128M| 54 | - | 60 |5303 | 60 | 20 | 23 |2650k|4343 | 0.000000e+00 | -- | Inf
1051.92/1051.96 c 1052s| 5290k| 1408k| 14375k| 2.7 |1130M| 54 | 7 | 60 |4763 | 60 | 20 | 23 |2655k|4346 | 0.000000e+00 | -- | Inf
1054.13/1054.13 c 1054s| 5300k| 1410k| 14402k| 2.7 |1132M| 54 | 7 | 60 |5454 | 60 | 20 | 23 |2660k|4349 | 0.000000e+00 | -- | Inf
1056.14/1056.19 c 1056s| 5310k| 1413k| 14430k| 2.7 |1134M| 54 | 7 | 60 |6299 | 60 | 20 | 23 |2665k|4354 | 0.000000e+00 | -- | Inf
1058.62/1058.62 c 1059s| 5320k| 1415k| 14458k| 2.7 |1136M| 54 | 7 | 60 |4880 | 60 | 20 | 23 |2670k|4359 | 0.000000e+00 | -- | Inf
1060.72/1060.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1060.72/1060.71 c 1061s| 5330k| 1418k| 14485k| 2.7 |1138M| 54 | 7 | 60 |5573 | 60 | 20 | 23 |2675k|4361 | 0.000000e+00 | -- | Inf
1062.52/1062.60 c 1063s| 5340k| 1421k| 14513k| 2.7 |1141M| 54 | 7 | 60 |7314 | 60 | 20 | 23 |2680k|4362 | 0.000000e+00 | -- | Inf
1064.84/1064.85 c 1065s| 5350k| 1424k| 14540k| 2.7 |1143M| 54 | 7 | 60 |6813 | 60 | 20 | 23 |2685k|4364 | 0.000000e+00 | -- | Inf
1067.14/1067.13 c 1067s| 5360k| 1426k| 14567k| 2.7 |1145M| 54 | 7 | 60 |6333 | 60 | 20 | 23 |2690k|4367 | 0.000000e+00 | -- | Inf
1069.42/1069.42 c 1069s| 5370k| 1429k| 14594k| 2.7 |1147M| 54 | 7 | 60 |5618 | 60 | 20 | 23 |2695k|4372 | 0.000000e+00 | -- | Inf
1071.73/1071.70 c 1072s| 5380k| 1431k| 14621k| 2.7 |1149M| 54 | 7 | 60 |5370 | 60 | 20 | 23 |2700k|4373 | 0.000000e+00 | -- | Inf
1073.92/1073.94 c 1074s| 5390k| 1434k| 14648k| 2.7 |1151M| 54 | 7 | 60 |5110 | 60 | 20 | 23 |2705k|4377 | 0.000000e+00 | -- | Inf
1076.12/1076.16 c 1076s| 5400k| 1436k| 14675k| 2.7 |1153M| 54 | 7 | 60 |5527 | 60 | 20 | 23 |2710k|4380 | 0.000000e+00 | -- | Inf
1078.32/1078.36 c 1078s| 5410k| 1439k| 14702k| 2.7 |1155M| 54 | 7 | 60 |6010 | 60 | 20 | 23 |2715k|4382 | 0.000000e+00 | -- | Inf
1080.62/1080.66 c 1081s| 5420k| 1441k| 14728k| 2.7 |1157M| 54 | 7 | 60 |5174 | 60 | 20 | 23 |2720k|4383 | 0.000000e+00 | -- | Inf
1082.73/1082.70 c 1083s| 5430k| 1444k| 14755k| 2.7 |1159M| 54 | - | 60 |5658 | 60 | 20 | 23 |2725k|4388 | 0.000000e+00 | -- | Inf
1084.74/1084.72 c 1085s| 5440k| 1447k| 14781k| 2.7 |1161M| 54 | - | 60 |6555 | 60 | 20 | 23 |2730k|4390 | 0.000000e+00 | -- | Inf
1087.03/1087.09 c 1087s| 5450k| 1449k| 14808k| 2.7 |1163M| 54 | 7 | 60 |5374 | 60 | 20 | 23 |2735k|4394 | 0.000000e+00 | -- | Inf
1089.32/1089.32 c 1089s| 5460k| 1451k| 14834k| 2.7 |1165M| 54 | 7 | 60 |5176 | 60 | 20 | 23 |2740k|4394 | 0.000000e+00 | -- | Inf
1091.42/1091.46 c 1091s| 5470k| 1454k| 14862k| 2.7 |1167M| 54 | - | 60 |5605 | 60 | 20 | 23 |2745k|4395 | 0.000000e+00 | -- | Inf
1093.63/1093.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1093.63/1093.64 c 1094s| 5480k| 1456k| 14888k| 2.7 |1169M| 54 | - | 60 |5540 | 60 | 20 | 23 |2750k|4403 | 0.000000e+00 | -- | Inf
1095.74/1095.77 c 1096s| 5490k| 1459k| 14915k| 2.7 |1172M| 54 | - | 60 |5936 | 60 | 20 | 23 |2755k|4406 | 0.000000e+00 | -- | Inf
1098.12/1098.16 c 1098s| 5500k| 1461k| 14941k| 2.7 |1173M| 54 | 7 | 60 |5130 | 60 | 20 | 23 |2761k|4408 | 0.000000e+00 | -- | Inf
1100.23/1100.24 c 1100s| 5510k| 1464k| 14969k| 2.7 |1176M| 54 | - | 60 |6204 | 60 | 20 | 23 |2766k|4413 | 0.000000e+00 | -- | Inf
1102.34/1102.35 c 1102s| 5520k| 1466k| 14996k| 2.7 |1178M| 54 | 7 | 60 |7344 | 60 | 20 | 23 |2771k|4416 | 0.000000e+00 | -- | Inf
1104.92/1104.94 c 1105s| 5530k| 1469k| 15023k| 2.7 |1180M| 54 | 7 | 60 |5311 | 60 | 20 | 23 |2776k|4422 | 0.000000e+00 | -- | Inf
1107.23/1107.20 c 1107s| 5540k| 1471k| 15050k| 2.7 |1182M| 54 | - | 60 |5108 | 0 | 0 | 23 |2781k|4426 | 0.000000e+00 | -- | Inf
1109.32/1109.35 c 1109s| 5550k| 1474k| 15077k| 2.7 |1184M| 54 | - | 60 |4861 | 60 | 20 | 23 |2786k|4429 | 0.000000e+00 | -- | Inf
1111.42/1111.47 c 1111s| 5560k| 1476k| 15104k| 2.7 |1186M| 54 | - | 60 |5502 | 60 | 20 | 23 |2791k|4431 | 0.000000e+00 | -- | Inf
1113.53/1113.56 c 1114s| 5570k| 1479k| 15130k| 2.7 |1188M| 54 | 7 | 60 |5387 | 60 | 20 | 23 |2796k|4434 | 0.000000e+00 | -- | Inf
1115.82/1115.86 c 1116s| 5580k| 1481k| 15158k| 2.7 |1190M| 54 | 7 | 60 |5331 | 60 | 20 | 23 |2801k|4437 | 0.000000e+00 | -- | Inf
1118.23/1118.23 c 1118s| 5590k| 1483k| 15185k| 2.7 |1192M| 54 | - | 60 |5345 | 60 | 20 | 23 |2807k|4444 | 0.000000e+00 | -- | Inf
1120.53/1120.56 c 1121s| 5600k| 1486k| 15211k| 2.7 |1194M| 54 | - | 60 |4752 | 0 | 0 | 23 |2812k|4446 | 0.000000e+00 | -- | Inf
1122.63/1122.64 c 1123s| 5610k| 1488k| 15238k| 2.7 |1196M| 54 | - | 60 |5922 | 60 | 20 | 23 |2817k|4450 | 0.000000e+00 | -- | Inf
1125.03/1125.03 c 1125s| 5620k| 1490k| 15265k| 2.7 |1198M| 54 | - | 60 |5209 | 60 | 20 | 23 |2822k|4454 | 0.000000e+00 | -- | Inf
1127.33/1127.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1127.33/1127.37 c 1127s| 5630k| 1492k| 15292k| 2.7 |1200M| 54 | 7 | 60 |5051 | 60 | 20 | 23 |2828k|4456 | 0.000000e+00 | -- | Inf
1129.53/1129.60 c 1130s| 5640k| 1495k| 15318k| 2.7 |1202M| 54 | 7 | 60 |4724 | 60 | 20 | 23 |2833k|4462 | 0.000000e+00 | -- | Inf
1131.63/1131.68 c 1132s| 5650k| 1497k| 15345k| 2.7 |1205M| 54 | 7 | 60 |5464 | 60 | 20 | 23 |2838k|4463 | 0.000000e+00 | -- | Inf
1134.03/1134.03 c 1134s| 5660k| 1500k| 15372k| 2.7 |1206M| 54 | 7 | 60 |4869 | 60 | 20 | 23 |2843k|4463 | 0.000000e+00 | -- | Inf
1136.13/1136.14 c 1136s| 5670k| 1502k| 15399k| 2.7 |1209M| 54 | 7 | 60 |5553 | 60 | 20 | 23 |2848k|4463 | 0.000000e+00 | -- | Inf
1138.23/1138.29 c 1138s| 5680k| 1505k| 15426k| 2.7 |1211M| 54 | 7 | 60 |5844 | 60 | 20 | 23 |2853k|4463 | 0.000000e+00 | -- | Inf
1140.53/1140.59 c 1141s| 5690k| 1507k| 15454k| 2.7 |1213M| 54 | 7 | 60 |4984 | 60 | 20 | 23 |2858k|4463 | 0.000000e+00 | -- | Inf
1142.62/1142.66 c 1143s| 5700k| 1510k| 15482k| 2.7 |1215M| 54 | 7 | 60 |5564 | 60 | 20 | 23 |2863k|4463 | 0.000000e+00 | -- | Inf
1144.62/1144.67 c 1145s| 5710k| 1513k| 15510k| 2.7 |1217M| 54 | - | 60 |6467 | 60 | 20 | 23 |2868k|4463 | 0.000000e+00 | -- | Inf
1146.93/1146.92 c 1147s| 5720k| 1515k| 15537k| 2.7 |1219M| 54 | 7 | 60 |5391 | 60 | 20 | 23 |2873k|4463 | 0.000000e+00 | -- | Inf
1149.23/1149.26 c 1149s| 5730k| 1518k| 15564k| 2.7 |1221M| 54 | - | 60 |4979 | 60 | 20 | 23 |2878k|4463 | 0.000000e+00 | -- | Inf
1151.42/1151.49 c 1151s| 5740k| 1520k| 15591k| 2.7 |1223M| 54 | - | 60 |5468 | 60 | 20 | 23 |2883k|4463 | 0.000000e+00 | -- | Inf
1153.73/1153.77 c 1154s| 5750k| 1522k| 15618k| 2.7 |1225M| 54 | - | 60 |5176 | 60 | 20 | 23 |2888k|4466 | 0.000000e+00 | -- | Inf
1155.93/1155.99 c 1156s| 5760k| 1525k| 15645k| 2.7 |1227M| 54 | 7 | 60 |5089 | 60 | 20 | 23 |2894k|4472 | 0.000000e+00 | -- | Inf
1158.23/1158.26 c 1158s| 5770k| 1527k| 15671k| 2.7 |1229M| 54 | - | 60 |5405 | 60 | 20 | 23 |2899k|4473 | 0.000000e+00 | -- | Inf
1160.33/1160.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.33/1160.39 c 1160s| 5780k| 1529k| 15698k| 2.7 |1232M| 54 | - | 60 |6049 | 60 | 20 | 23 |2904k|4473 | 0.000000e+00 | -- | Inf
1162.74/1162.71 c 1163s| 5790k| 1532k| 15725k| 2.7 |1233M| 54 | - | 60 |4374 | 60 | 20 | 23 |2910k|4473 | 0.000000e+00 | -- | Inf
1164.73/1164.75 c 1165s| 5800k| 1534k| 15752k| 2.7 |1236M| 54 | - | 60 |5450 | 60 | 20 | 23 |2915k|4473 | 0.000000e+00 | -- | Inf
1166.83/1166.84 c 1167s| 5810k| 1536k| 15778k| 2.7 |1238M| 54 | - | 60 |6851 | 60 | 20 | 23 |2920k|4473 | 0.000000e+00 | -- | Inf
1169.12/1169.17 c 1169s| 5820k| 1539k| 15804k| 2.7 |1240M| 54 | 7 | 60 |5382 | 60 | 20 | 23 |2925k|4473 | 0.000000e+00 | -- | Inf
1171.43/1171.47 c 1171s| 5830k| 1541k| 15831k| 2.7 |1242M| 54 | 7 | 60 |5093 | 60 | 20 | 23 |2930k|4473 | 0.000000e+00 | -- | Inf
1173.63/1173.65 c 1174s| 5840k| 1544k| 15858k| 2.7 |1244M| 54 | 7 | 60 |5302 | 60 | 20 | 23 |2935k|4479 | 0.000000e+00 | -- | Inf
1175.63/1175.64 c 1176s| 5850k| 1547k| 15887k| 2.7 |1246M| 54 | 7 | 60 |6619 | 60 | 20 | 23 |2940k|4484 | 0.000000e+00 | -- | Inf
1177.92/1177.95 c 1178s| 5860k| 1549k| 15914k| 2.7 |1248M| 54 | 7 | 60 |5621 | 60 | 20 | 23 |2945k|4487 | 0.000000e+00 | -- | Inf
1180.03/1180.08 c 1180s| 5870k| 1552k| 15941k| 2.7 |1250M| 54 | - | 60 |6366 | 60 | 20 | 23 |2950k|4490 | 0.000000e+00 | -- | Inf
1182.43/1182.44 c 1182s| 5880k| 1554k| 15968k| 2.7 |1252M| 54 | - | 60 |5424 | 60 | 20 | 23 |2955k|4495 | 0.000000e+00 | -- | Inf
1184.53/1184.52 c 1185s| 5890k| 1557k| 15995k| 2.7 |1255M| 54 | - | 60 |6768 | 60 | 20 | 23 |2960k|4500 | 0.000000e+00 | -- | Inf
1186.94/1186.91 c 1187s| 5900k| 1559k| 16022k| 2.7 |1256M| 54 | 7 | 60 |5230 | 60 | 20 | 23 |2966k|4506 | 0.000000e+00 | -- | Inf
1189.03/1189.08 c 1189s| 5910k| 1562k| 16048k| 2.7 |1258M| 54 | - | 60 |5352 | 60 | 20 | 23 |2970k|4510 | 0.000000e+00 | -- | Inf
1191.13/1191.16 c 1191s| 5920k| 1565k| 16075k| 2.7 |1261M| 54 | 7 | 60 |5320 | 60 | 20 | 23 |2975k|4513 | 0.000000e+00 | -- | Inf
1193.33/1193.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1193.33/1193.32 c 1193s| 5930k| 1567k| 16102k| 2.7 |1263M| 54 | - | 60 |6378 | 60 | 20 | 23 |2980k|4517 | 0.000000e+00 | -- | Inf
1195.63/1195.68 c 1196s| 5940k| 1569k| 16130k| 2.7 |1265M| 54 | 7 | 60 |5231 | 60 | 20 | 23 |2986k|4522 | 0.000000e+00 | -- | Inf
1197.95/1197.94 c 1198s| 5950k| 1572k| 16158k| 2.7 |1267M| 54 | - | 60 |5384 | 60 | 20 | 23 |2991k|4526 | 0.000000e+00 | -- | Inf
1200.15/1200.15 c 1200s| 5960k| 1574k| 16185k| 2.7 |1269M| 54 | 7 | 60 |5068 | 60 | 20 | 23 |2996k|4528 | 0.000000e+00 | -- | Inf
1202.35/1202.31 c 1202s| 5970k| 1577k| 16212k| 2.7 |1271M| 54 | 7 | 60 |4914 | 60 | 20 | 23 |3001k|4531 | 0.000000e+00 | -- | Inf
1204.55/1204.51 c 1204s| 5980k| 1579k| 16239k| 2.7 |1273M| 54 | - | 60 |5167 | 60 | 20 | 23 |3006k|4535 | 0.000000e+00 | -- | Inf
1206.43/1206.42 c 1206s| 5990k| 1583k| 16266k| 2.7 |1275M| 54 | - | 60 |6128 | 60 | 20 | 23 |3010k|4539 | 0.000000e+00 | -- | Inf
1208.63/1208.63 c 1209s| 6000k| 1585k| 16293k| 2.7 |1278M| 54 | - | 60 |6560 | 60 | 20 | 23 |3015k|4540 | 0.000000e+00 | -- | Inf
1210.93/1210.93 c 1211s| 6010k| 1588k| 16320k| 2.7 |1280M| 54 | 7 | 60 |6620 | 60 | 20 | 23 |3021k|4540 | 0.000000e+00 | -- | Inf
1213.23/1213.26 c 1213s| 6020k| 1590k| 16348k| 2.7 |1282M| 54 | - | 60 |5890 | 60 | 20 | 23 |3026k|4540 | 0.000000e+00 | -- | Inf
1215.65/1215.63 c 1216s| 6030k| 1593k| 16374k| 2.7 |1283M| 54 | - | 60 |4779 | 0 | 0 | 23 |3031k|4543 | 0.000000e+00 | -- | Inf
1217.53/1217.54 c 1218s| 6040k| 1596k| 16402k| 2.7 |1286M| 54 | - | 60 |6355 | 0 | 0 | 23 |3036k|4545 | 0.000000e+00 | -- | Inf
1219.63/1219.67 c 1220s| 6050k| 1598k| 16430k| 2.7 |1288M| 54 | 7 | 60 |6554 | 60 | 20 | 23 |3041k|4546 | 0.000000e+00 | -- | Inf
1221.93/1221.95 c 1222s| 6060k| 1600k| 16458k| 2.7 |1290M| 54 | 7 | 60 |5927 | 60 | 20 | 23 |3046k|4548 | 0.000000e+00 | -- | Inf
1224.23/1224.25 c 1224s| 6070k| 1603k| 16485k| 2.7 |1292M| 54 | 7 | 60 |5307 | 60 | 20 | 23 |3051k|4554 | 0.000000e+00 | -- | Inf
1226.43/1226.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1226.43/1226.46 c 1226s| 6080k| 1605k| 16513k| 2.7 |1294M| 54 | - | 60 |5186 | 60 | 20 | 23 |3056k|4555 | 0.000000e+00 | -- | Inf
1228.63/1228.62 c 1229s| 6090k| 1608k| 16540k| 2.7 |1296M| 54 | - | 60 |5829 | 60 | 20 | 23 |3061k|4557 | 0.000000e+00 | -- | Inf
1230.83/1230.83 c 1231s| 6100k| 1610k| 16567k| 2.7 |1298M| 54 | - | 60 |5246 | 60 | 20 | 23 |3066k|4561 | 0.000000e+00 | -- | Inf
1232.93/1232.98 c 1233s| 6110k| 1613k| 16594k| 2.7 |1301M| 54 | 7 | 60 |6008 | 60 | 20 | 23 |3072k|4564 | 0.000000e+00 | -- | Inf
1235.24/1235.28 c 1235s| 6120k| 1615k| 16620k| 2.7 |1303M| 54 | 7 | 60 |5299 | 60 | 20 | 23 |3077k|4569 | 0.000000e+00 | -- | Inf
1237.43/1237.49 c 1237s| 6130k| 1617k| 16648k| 2.7 |1305M| 54 | 7 | 60 |5863 | 60 | 20 | 23 |3082k|4569 | 0.000000e+00 | -- | Inf
1240.03/1240.02 c 1240s| 6140k| 1620k| 16675k| 2.7 |1306M| 54 | 7 | 60 |4770 | 60 | 20 | 23 |3087k|4574 | 0.000000e+00 | -- | Inf
1242.33/1242.37 c 1242s| 6150k| 1622k| 16703k| 2.7 |1308M| 54 | 7 | 60 |4531 | 60 | 20 | 23 |3092k|4577 | 0.000000e+00 | -- | Inf
1244.54/1244.50 c 1244s| 6160k| 1624k| 16729k| 2.7 |1311M| 54 | - | 60 |5364 | 60 | 20 | 23 |3098k|4578 | 0.000000e+00 | -- | Inf
1246.63/1246.64 c 1247s| 6170k| 1627k| 16757k| 2.7 |1313M| 54 | 7 | 60 |5658 | 60 | 20 | 23 |3102k|4582 | 0.000000e+00 | -- | Inf
1248.73/1248.77 c 1249s| 6180k| 1629k| 16785k| 2.7 |1315M| 54 | - | 60 |5519 | 60 | 20 | 23 |3108k|4585 | 0.000000e+00 | -- | Inf
1251.03/1251.02 c 1251s| 6190k| 1631k| 16811k| 2.7 |1317M| 54 | 7 | 60 |5905 | 60 | 20 | 23 |3113k|4587 | 0.000000e+00 | -- | Inf
1253.33/1253.30 c 1253s| 6200k| 1634k| 16838k| 2.7 |1319M| 54 | 7 | 60 |5298 | 60 | 20 | 23 |3118k|4588 | 0.000000e+00 | -- | Inf
1255.63/1255.63 c 1256s| 6210k| 1636k| 16866k| 2.7 |1321M| 54 | - | 60 |5045 | 60 | 20 | 23 |3123k|4588 | 0.000000e+00 | -- | Inf
1257.83/1257.85 c 1258s| 6220k| 1639k| 16892k| 2.7 |1323M| 54 | 7 | 60 |4778 | 60 | 20 | 23 |3129k|4590 | 0.000000e+00 | -- | Inf
1260.14/1260.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1260.14/1260.19 c 1260s| 6230k| 1641k| 16920k| 2.7 |1325M| 54 | 7 | 60 |4635 | 60 | 20 | 23 |3134k|4594 | 0.000000e+00 | -- | Inf
1262.33/1262.38 c 1262s| 6240k| 1643k| 16947k| 2.7 |1327M| 54 | 7 | 60 |5325 | 60 | 20 | 23 |3139k|4596 | 0.000000e+00 | -- | Inf
1264.54/1264.56 c 1265s| 6250k| 1646k| 16974k| 2.7 |1329M| 54 | - | 60 |5565 | 60 | 20 | 23 |3144k|4598 | 0.000000e+00 | -- | Inf
1266.73/1266.79 c 1267s| 6260k| 1648k| 17002k| 2.7 |1332M| 54 | - | 60 |6370 | 60 | 20 | 23 |3149k|4598 | 0.000000e+00 | -- | Inf
1269.23/1269.23 c 1269s| 6270k| 1650k| 17030k| 2.7 |1333M| 54 | - | 60 |5057 | 60 | 20 | 23 |3155k|4598 | 0.000000e+00 | -- | Inf
1271.33/1271.34 c 1271s| 6280k| 1653k| 17057k| 2.7 |1336M| 54 | 7 | 60 |5109 | 60 | 20 | 23 |3159k|4601 | 0.000000e+00 | -- | Inf
1273.63/1273.61 c 1274s| 6290k| 1655k| 17084k| 2.7 |1338M| 54 | 7 | 60 |5092 | 60 | 20 | 23 |3164k|4604 | 0.000000e+00 | -- | Inf
1275.73/1275.74 c 1276s| 6300k| 1658k| 17112k| 2.7 |1340M| 54 | - | 60 |5886 | 60 | 20 | 23 |3169k|4606 | 0.000000e+00 | -- | Inf
1277.94/1277.98 c 1278s| 6310k| 1660k| 17140k| 2.7 |1342M| 54 | 7 | 60 |5648 | 60 | 20 | 23 |3175k|4606 | 0.000000e+00 | -- | Inf
1280.24/1280.25 c 1280s| 6320k| 1662k| 17167k| 2.7 |1344M| 54 | - | 60 |5010 | 60 | 20 | 23 |3180k|4606 | 0.000000e+00 | -- | Inf
1282.54/1282.51 c 1283s| 6330k| 1665k| 17194k| 2.7 |1346M| 54 | 7 | 60 |4911 | 60 | 20 | 23 |3185k|4606 | 0.000000e+00 | -- | Inf
1284.84/1284.85 c 1285s| 6340k| 1667k| 17221k| 2.7 |1348M| 54 | 7 | 60 |4495 | 60 | 20 | 23 |3190k|4608 | 0.000000e+00 | -- | Inf
1287.04/1287.08 c 1287s| 6350k| 1669k| 17249k| 2.7 |1350M| 54 | 7 | 60 |5482 | 60 | 20 | 23 |3195k|4611 | 0.000000e+00 | -- | Inf
1289.44/1289.41 c 1289s| 6360k| 1672k| 17276k| 2.7 |1352M| 54 | - | 60 |5608 | 60 | 20 | 23 |3200k|4616 | 0.000000e+00 | -- | Inf
1291.63/1291.68 c 1292s| 6370k| 1674k| 17304k| 2.7 |1354M| 54 | - | 60 |4426 | 60 | 20 | 23 |3205k|4621 | 0.000000e+00 | -- | Inf
1293.84/1293.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1293.84/1293.81 c 1294s| 6380k| 1677k| 17331k| 2.7 |1356M| 54 | 7 | 60 |5419 | 60 | 20 | 23 |3210k|4623 | 0.000000e+00 | -- | Inf
1296.13/1296.20 c 1296s| 6390k| 1679k| 17358k| 2.7 |1358M| 54 | - | 60 |4839 | 60 | 20 | 23 |3215k|4625 | 0.000000e+00 | -- | Inf
1298.33/1298.34 c 1298s| 6400k| 1681k| 17386k| 2.7 |1360M| 54 | 7 | 60 |4747 | 60 | 20 | 23 |3221k|4629 | 0.000000e+00 | -- | Inf
1300.53/1300.50 c 1301s| 6410k| 1684k| 17413k| 2.7 |1362M| 54 | - | 60 |5099 | 60 | 20 | 23 |3226k|4629 | 0.000000e+00 | -- | Inf
1302.73/1302.73 c 1303s| 6420k| 1686k| 17440k| 2.7 |1364M| 54 | 7 | 60 |5091 | 60 | 20 | 23 |3231k|4629 | 0.000000e+00 | -- | Inf
1305.03/1305.02 c 1305s| 6430k| 1689k| 17468k| 2.7 |1366M| 54 | 7 | 60 |4948 | 60 | 20 | 23 |3236k|4629 | 0.000000e+00 | -- | Inf
1307.33/1307.32 c 1307s| 6440k| 1691k| 17495k| 2.7 |1368M| 54 | - | 60 |4826 | 60 | 20 | 23 |3241k|4629 | 0.000000e+00 | -- | Inf
1309.43/1309.47 c 1309s| 6450k| 1694k| 17523k| 2.7 |1371M| 54 | 7 | 60 |5641 | 60 | 20 | 23 |3247k|4629 | 0.000000e+00 | -- | Inf
1311.63/1311.60 c 1312s| 6460k| 1696k| 17550k| 2.7 |1373M| 54 | - | 60 |6209 | 60 | 20 | 23 |3251k|4629 | 0.000000e+00 | -- | Inf
1313.94/1313.97 c 1314s| 6470k| 1699k| 17577k| 2.7 |1375M| 54 | 7 | 60 |4955 | 60 | 20 | 23 |3256k|4629 | 0.000000e+00 | -- | Inf
1316.13/1316.13 c 1316s| 6480k| 1702k| 17604k| 2.7 |1377M| 54 | 7 | 60 |5300 | 60 | 20 | 23 |3261k|4629 | 0.000000e+00 | -- | Inf
1318.44/1318.42 c 1318s| 6490k| 1704k| 17631k| 2.7 |1379M| 54 | 7 | 60 |5067 | 60 | 20 | 23 |3266k|4629 | 0.000000e+00 | -- | Inf
1320.54/1320.51 c 1321s| 6500k| 1707k| 17659k| 2.7 |1381M| 54 | 7 | 60 |6001 | 60 | 20 | 23 |3271k|4629 | 0.000000e+00 | -- | Inf
1322.63/1322.65 c 1323s| 6510k| 1709k| 17686k| 2.7 |1384M| 54 | 7 | 60 |6795 | 60 | 20 | 23 |3276k|4629 | 0.000000e+00 | -- | Inf
1324.93/1324.95 c 1325s| 6520k| 1712k| 17713k| 2.7 |1386M| 54 | - | 60 |5638 | 60 | 20 | 23 |3281k|4629 | 0.000000e+00 | -- | Inf
1327.03/1327.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1327.03/1327.06 c 1327s| 6530k| 1715k| 17740k| 2.7 |1388M| 54 | 7 | 60 |6806 | 60 | 20 | 23 |3286k|4629 | 0.000000e+00 | -- | Inf
1329.33/1329.38 c 1329s| 6540k| 1717k| 17769k| 2.7 |1390M| 54 | 7 | 60 |6419 | 60 | 20 | 23 |3291k|4629 | 0.000000e+00 | -- | Inf
1331.74/1331.70 c 1332s| 6550k| 1719k| 17796k| 2.7 |1392M| 54 | 7 | 60 |5491 | 60 | 20 | 23 |3296k|4629 | 0.000000e+00 | -- | Inf
1334.03/1334.03 c 1334s| 6560k| 1721k| 17822k| 2.7 |1394M| 54 | 7 | 60 |5237 | 60 | 20 | 23 |3302k|4629 | 0.000000e+00 | -- | Inf
1336.23/1336.29 c 1336s| 6570k| 1724k| 17850k| 2.7 |1396M| 54 | 7 | 60 |5352 | 60 | 20 | 23 |3307k|4629 | 0.000000e+00 | -- | Inf
1338.63/1338.62 c 1339s| 6580k| 1726k| 17876k| 2.7 |1398M| 54 | - | 60 |5037 | 60 | 20 | 23 |3312k|4629 | 0.000000e+00 | -- | Inf
1340.74/1340.74 c 1341s| 6590k| 1729k| 17903k| 2.7 |1400M| 54 | 7 | 60 |5894 | 60 | 20 | 23 |3317k|4629 | 0.000000e+00 | -- | Inf
1343.15/1343.17 c 1343s| 6600k| 1731k| 17931k| 2.7 |1402M| 54 | - | 60 |5369 | 0 | 0 | 23 |3322k|4629 | 0.000000e+00 | -- | Inf
1345.14/1345.16 c 1345s| 6610k| 1734k| 17959k| 2.7 |1404M| 54 | 7 | 60 |6461 | 60 | 20 | 23 |3327k|4629 | 0.000000e+00 | -- | Inf
1347.23/1347.28 c 1347s| 6620k| 1737k| 17989k| 2.7 |1406M| 54 | 7 | 60 |7575 | 60 | 20 | 23 |3332k|4629 | 0.000000e+00 | -- | Inf
1349.54/1349.51 c 1350s| 6630k| 1739k| 18018k| 2.7 |1409M| 54 | 7 | 60 |8248 | 60 | 20 | 23 |3337k|4629 | 0.000000e+00 | -- | Inf
1351.83/1351.85 c 1352s| 6640k| 1742k| 18047k| 2.7 |1411M| 54 | 7 | 60 |7813 | 60 | 20 | 23 |3342k|4629 | 0.000000e+00 | -- | Inf
1354.25/1354.23 c 1354s| 6650k| 1744k| 18075k| 2.7 |1413M| 54 | - | 60 |7791 | 60 | 20 | 23 |3347k|4629 | 0.000000e+00 | -- | Inf
1356.63/1356.69 c 1357s| 6660k| 1747k| 18102k| 2.7 |1415M| 54 | 7 | 60 |7173 | 60 | 20 | 23 |3352k|4629 | 0.000000e+00 | -- | Inf
1359.13/1359.18 c 1359s| 6670k| 1749k| 18129k| 2.7 |1416M| 54 | - | 60 |6119 | 60 | 20 | 23 |3357k|4629 | 0.000000e+00 | -- | Inf
1361.54/1361.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1361.54/1361.50 c 1362s| 6680k| 1751k| 18155k| 2.7 |1419M| 54 | 7 | 60 |6551 | 60 | 20 | 23 |3362k|4629 | 0.000000e+00 | -- | Inf
1363.63/1363.65 c 1364s| 6690k| 1754k| 18182k| 2.7 |1421M| 54 | 7 | 60 |7150 | 60 | 20 | 23 |3367k|4629 | 0.000000e+00 | -- | Inf
1366.04/1366.09 c 1366s| 6700k| 1756k| 18209k| 2.7 |1423M| 54 | - | 60 |6140 | 60 | 20 | 23 |3373k|4629 | 0.000000e+00 | -- | Inf
1368.45/1368.47 c 1368s| 6710k| 1759k| 18236k| 2.7 |1424M| 54 | 7 | 60 |5376 | 60 | 20 | 23 |3378k|4629 | 0.000000e+00 | -- | Inf
1370.83/1370.85 c 1371s| 6720k| 1761k| 18263k| 2.7 |1426M| 54 | 7 | 60 |4657 | 60 | 20 | 23 |3383k|4629 | 0.000000e+00 | -- | Inf
1373.23/1373.24 c 1373s| 6730k| 1763k| 18290k| 2.7 |1428M| 54 | 7 | 60 |4868 | 60 | 20 | 23 |3388k|4629 | 0.000000e+00 | -- | Inf
1375.53/1375.58 c 1376s| 6740k| 1766k| 18317k| 2.7 |1430M| 54 | - | 60 |4842 | 60 | 20 | 23 |3393k|4629 | 0.000000e+00 | -- | Inf
1378.04/1378.02 c 1378s| 6750k| 1768k| 18344k| 2.7 |1432M| 54 | 7 | 60 |4366 | 60 | 20 | 23 |3398k|4629 | 0.000000e+00 | -- | Inf
1380.33/1380.39 c 1380s| 6760k| 1770k| 18371k| 2.7 |1434M| 54 | - | 60 |4754 | 60 | 20 | 23 |3404k|4629 | 0.000000e+00 | -- | Inf
1382.53/1382.52 c 1383s| 6770k| 1773k| 18398k| 2.7 |1437M| 54 | 7 | 60 |5742 | 60 | 20 | 23 |3409k|4629 | 0.000000e+00 | -- | Inf
1384.64/1384.66 c 1385s| 6780k| 1775k| 18425k| 2.7 |1439M| 54 | 7 | 60 |6121 | 60 | 20 | 23 |3414k|4629 | 0.000000e+00 | -- | Inf
1386.94/1386.90 c 1387s| 6790k| 1778k| 18452k| 2.7 |1441M| 54 | - | 60 |5611 | 60 | 20 | 23 |3419k|4629 | 0.000000e+00 | -- | Inf
1389.23/1389.26 c 1389s| 6800k| 1780k| 18479k| 2.7 |1443M| 54 | 7 | 60 |5074 | 60 | 20 | 23 |3424k|4629 | 0.000000e+00 | -- | Inf
1391.23/1391.24 c 1391s| 6810k| 1784k| 18506k| 2.7 |1445M| 54 | - | 60 |6032 | 60 | 20 | 23 |3428k|4629 | 0.000000e+00 | -- | Inf
1393.34/1393.39 c 1393s| 6820k| 1787k| 18533k| 2.7 |1447M| 54 | 7 | 60 |6465 | 60 | 20 | 23 |3432k|4629 | 0.000000e+00 | -- | Inf
1395.84/1395.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1395.84/1395.82 c 1396s| 6830k| 1789k| 18561k| 2.7 |1449M| 54 | - | 60 |5320 | 60 | 20 | 23 |3437k|4629 | 0.000000e+00 | -- | Inf
1398.16/1398.11 c 1398s| 6840k| 1792k| 18589k| 2.7 |1451M| 54 | - | 60 |5417 | 60 | 20 | 23 |3443k|4629 | 0.000000e+00 | -- | Inf
1400.35/1400.36 c 1400s| 6850k| 1794k| 18615k| 2.7 |1454M| 54 | - | 60 |6010 | 60 | 20 | 23 |3448k|4629 | 0.000000e+00 | -- | Inf
1402.74/1402.71 c 1403s| 6860k| 1796k| 18642k| 2.7 |1456M| 54 | 7 | 60 |5854 | 60 | 20 | 23 |3453k|4629 | 0.000000e+00 | -- | Inf
1405.04/1405.05 c 1405s| 6870k| 1799k| 18669k| 2.7 |1457M| 54 | - | 60 |5282 | 60 | 20 | 23 |3458k|4629 | 0.000000e+00 | -- | Inf
1407.34/1407.37 c 1407s| 6880k| 1801k| 18696k| 2.7 |1459M| 54 | - | 60 |5087 | 60 | 20 | 23 |3463k|4629 | 0.000000e+00 | -- | Inf
1409.74/1409.78 c 1410s| 6890k| 1803k| 18724k| 2.7 |1461M| 54 | - | 60 |4331 | 60 | 20 | 23 |3469k|4629 | 0.000000e+00 | -- | Inf
1412.04/1412.01 c 1412s| 6900k| 1806k| 18751k| 2.7 |1463M| 54 | 7 | 60 |4640 | 60 | 20 | 23 |3474k|4629 | 0.000000e+00 | -- | Inf
1414.24/1414.27 c 1414s| 6910k| 1808k| 18778k| 2.7 |1465M| 54 | 7 | 60 |4951 | 60 | 20 | 23 |3479k|4629 | 0.000000e+00 | -- | Inf
1416.54/1416.58 c 1417s| 6920k| 1810k| 18805k| 2.7 |1467M| 54 | - | 60 |4635 | 60 | 20 | 23 |3484k|4629 | 0.000000e+00 | -- | Inf
1418.93/1418.94 c 1419s| 6930k| 1812k| 18832k| 2.7 |1469M| 54 | 7 | 60 |4373 | 60 | 20 | 23 |3490k|4629 | 0.000000e+00 | -- | Inf
1421.14/1421.13 c 1421s| 6940k| 1815k| 18858k| 2.7 |1471M| 54 | 7 | 60 |4331 | 60 | 20 | 23 |3495k|4629 | 0.000000e+00 | -- | Inf
1423.14/1423.10 c 1423s| 6950k| 1817k| 18884k| 2.7 |1474M| 54 | 7 | 60 |5297 | 60 | 20 | 23 |3500k|4629 | 0.000000e+00 | -- | Inf
1425.34/1425.38 c 1425s| 6960k| 1820k| 18910k| 2.7 |1476M| 54 | - | 60 |5645 | 60 | 20 | 23 |3505k|4629 | 0.000000e+00 | -- | Inf
1427.85/1427.83 c 1428s| 6970k| 1822k| 18937k| 2.7 |1478M| 54 | 7 | 60 |5081 | 60 | 20 | 23 |3510k|4629 | 0.000000e+00 | -- | Inf
1430.15/1430.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.15/1430.19 c 1430s| 6980k| 1824k| 18964k| 2.7 |1480M| 54 | 7 | 60 |4409 | 60 | 20 | 23 |3516k|4629 | 0.000000e+00 | -- | Inf
1432.53/1432.56 c 1433s| 6990k| 1826k| 18991k| 2.7 |1482M| 54 | 7 | 60 |4253 | 60 | 20 | 23 |3521k|4629 | 0.000000e+00 | -- | Inf
1434.64/1434.69 c 1435s| 7000k| 1829k| 19018k| 2.7 |1484M| 54 | - | 60 |4998 | 60 | 20 | 23 |3526k|4629 | 0.000000e+00 | -- | Inf
1436.93/1436.90 c 1437s| 7010k| 1831k| 19045k| 2.7 |1486M| 54 | - | 60 |5637 | 60 | 20 | 23 |3531k|4629 | 0.000000e+00 | -- | Inf
1439.34/1439.34 c 1439s| 7020k| 1833k| 19072k| 2.7 |1488M| 54 | 7 | 60 |4724 | 60 | 20 | 23 |3536k|4629 | 0.000000e+00 | -- | Inf
1441.44/1441.44 c 1441s| 7030k| 1836k| 19100k| 2.7 |1490M| 54 | 7 | 60 |5976 | 60 | 20 | 23 |3541k|4629 | 0.000000e+00 | -- | Inf
1443.74/1443.79 c 1444s| 7040k| 1838k| 19126k| 2.7 |1492M| 54 | 7 | 60 |5133 | 60 | 20 | 23 |3546k|4629 | 0.000000e+00 | -- | Inf
1445.93/1445.94 c 1446s| 7050k| 1841k| 19154k| 2.7 |1494M| 54 | 7 | 60 |5739 | 60 | 20 | 23 |3551k|4629 | 0.000000e+00 | -- | Inf
1448.14/1448.10 c 1448s| 7060k| 1843k| 19182k| 2.7 |1496M| 54 | 7 | 60 |5903 | 60 | 20 | 23 |3556k|4629 | 0.000000e+00 | -- | Inf
1450.54/1450.55 c 1451s| 7070k| 1846k| 19209k| 2.7 |1498M| 54 | 7 | 60 |4410 | 60 | 20 | 23 |3561k|4629 | 0.000000e+00 | -- | Inf
1452.84/1452.88 c 1453s| 7080k| 1848k| 19237k| 2.7 |1500M| 54 | 7 | 60 |4946 | 60 | 20 | 23 |3567k|4629 | 0.000000e+00 | -- | Inf
1455.24/1455.22 c 1455s| 7090k| 1850k| 19264k| 2.7 |1502M| 54 | - | 60 |4404 | 60 | 20 | 23 |3572k|4629 | 0.000000e+00 | -- | Inf
1457.44/1457.40 c 1457s| 7100k| 1853k| 19291k| 2.7 |1504M| 54 | 7 | 60 |5386 | 60 | 20 | 23 |3577k|4635 | 0.000000e+00 | -- | Inf
1459.75/1459.80 c 1460s| 7110k| 1855k| 19318k| 2.7 |1506M| 54 | - | 60 |4207 | 60 | 20 | 23 |3582k|4636 | 0.000000e+00 | -- | Inf
1462.05/1462.09 c 1462s| 7120k| 1857k| 19344k| 2.7 |1508M| 54 | - | 60 |4509 | 60 | 20 | 23 |3587k|4640 | 0.000000e+00 | -- | Inf
1464.15/1464.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1464.15/1464.20 c 1464s| 7130k| 1860k| 19371k| 2.7 |1511M| 54 | 7 | 60 |5680 | 60 | 20 | 23 |3592k|4641 | 0.000000e+00 | -- | Inf
1466.36/1466.31 c 1466s| 7140k| 1863k| 19398k| 2.7 |1513M| 54 | 7 | 60 |5934 | 60 | 20 | 23 |3597k|4645 | 0.000000e+00 | -- | Inf
1468.55/1468.58 c 1469s| 7150k| 1865k| 19425k| 2.7 |1515M| 54 | - | 60 |7001 | 60 | 20 | 23 |3602k|4646 | 0.000000e+00 | -- | Inf
1471.04/1471.10 c 1471s| 7160k| 1867k| 19452k| 2.7 |1516M| 54 | - | 60 |5184 | 60 | 20 | 23 |3607k|4649 | 0.000000e+00 | -- | Inf
1473.23/1473.27 c 1473s| 7170k| 1870k| 19479k| 2.7 |1519M| 54 | 7 | 60 |6132 | 60 | 20 | 23 |3612k|4653 | 0.000000e+00 | -- | Inf
1475.64/1475.62 c 1476s| 7180k| 1873k| 19506k| 2.7 |1521M| 54 | - | 60 |5547 | 0 | 0 | 23 |3617k|4658 | 0.000000e+00 | -- | Inf
1477.94/1477.90 c 1478s| 7190k| 1875k| 19534k| 2.7 |1523M| 54 | - | 60 |5676 | 60 | 20 | 23 |3622k|4661 | 0.000000e+00 | -- | Inf
1480.24/1480.24 c 1480s| 7200k| 1878k| 19560k| 2.7 |1525M| 54 | 7 | 60 |5475 | 60 | 20 | 23 |3627k|4664 | 0.000000e+00 | -- | Inf
1482.64/1482.66 c 1483s| 7210k| 1880k| 19587k| 2.7 |1527M| 54 | 7 | 60 |4638 | 60 | 20 | 23 |3632k|4668 | 0.000000e+00 | -- | Inf
1484.93/1484.91 c 1485s| 7220k| 1882k| 19615k| 2.7 |1529M| 54 | - | 60 |5104 | 60 | 20 | 23 |3638k|4671 | 0.000000e+00 | -- | Inf
1487.25/1487.25 c 1487s| 7230k| 1884k| 19642k| 2.7 |1531M| 54 | 7 | 60 |4572 | 60 | 20 | 23 |3643k|4674 | 0.000000e+00 | -- | Inf
1489.56/1489.59 c 1490s| 7240k| 1886k| 19669k| 2.7 |1533M| 54 | - | 60 |4656 | 60 | 20 | 23 |3648k|4677 | 0.000000e+00 | -- | Inf
1491.84/1491.86 c 1492s| 7250k| 1889k| 19696k| 2.7 |1535M| 54 | - | 60 |4987 | 60 | 20 | 23 |3653k|4678 | 0.000000e+00 | -- | Inf
1494.04/1494.03 c 1494s| 7260k| 1891k| 19724k| 2.7 |1537M| 54 | - | 60 |5974 | 60 | 20 | 23 |3659k|4678 | 0.000000e+00 | -- | Inf
1496.44/1496.45 c 1496s| 7270k| 1893k| 19750k| 2.7 |1539M| 54 | - | 60 |4970 | 60 | 20 | 23 |3664k|4678 | 0.000000e+00 | -- | Inf
1498.74/1498.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1498.74/1498.75 c 1499s| 7280k| 1896k| 19777k| 2.7 |1541M| 54 | 7 | 60 |4615 | 60 | 20 | 23 |3669k|4682 | 0.000000e+00 | -- | Inf
1500.94/1500.96 c 1501s| 7290k| 1898k| 19804k| 2.7 |1543M| 54 | 7 | 60 |5120 | 60 | 20 | 23 |3674k|4683 | 0.000000e+00 | -- | Inf
1503.34/1503.37 c 1503s| 7300k| 1900k| 19831k| 2.7 |1545M| 54 | 7 | 60 |4289 | 60 | 20 | 23 |3679k|4684 | 0.000000e+00 | -- | Inf
1505.64/1505.63 c 1506s| 7310k| 1903k| 19858k| 2.7 |1547M| 54 | 7 | 60 |4154 | 60 | 20 | 23 |3684k|4684 | 0.000000e+00 | -- | Inf
1507.84/1507.86 c 1508s| 7320k| 1905k| 19885k| 2.7 |1549M| 54 | 7 | 60 |4494 | 60 | 20 | 23 |3689k|4684 | 0.000000e+00 | -- | Inf
1510.04/1510.07 c 1510s| 7330k| 1908k| 19912k| 2.7 |1551M| 54 | - | 60 |4753 | 60 | 20 | 23 |3694k|4684 | 0.000000e+00 | -- | Inf
1512.55/1512.51 c 1512s| 7340k| 1910k| 19939k| 2.7 |1553M| 54 | - | 60 |4020 | 60 | 20 | 23 |3700k|4684 | 0.000000e+00 | -- | Inf
1514.76/1514.71 c 1515s| 7350k| 1912k| 19967k| 2.7 |1555M| 54 | - | 60 |4715 | 60 | 20 | 23 |3705k|4684 | 0.000000e+00 | -- | Inf
1516.84/1516.82 c 1517s| 7360k| 1915k| 19994k| 2.7 |1557M| 54 | 7 | 60 |5698 | 60 | 20 | 23 |3710k|4684 | 0.000000e+00 | -- | Inf
1519.15/1519.11 c 1519s| 7370k| 1917k| 20022k| 2.7 |1559M| 54 | 7 | 60 |5702 | 60 | 20 | 23 |3715k|4684 | 0.000000e+00 | -- | Inf
1521.35/1521.31 c 1521s| 7380k| 1920k| 20050k| 2.7 |1562M| 54 | 7 | 60 |6101 | 60 | 20 | 23 |3720k|4684 | 0.000000e+00 | -- | Inf
1523.74/1523.79 c 1524s| 7390k| 1922k| 20077k| 2.7 |1563M| 54 | 7 | 60 |4843 | 60 | 20 | 23 |3725k|4684 | 0.000000e+00 | -- | Inf
1525.94/1525.93 c 1526s| 7400k| 1925k| 20105k| 2.7 |1566M| 54 | 7 | 60 |6222 | 60 | 20 | 23 |3730k|4684 | 0.000000e+00 | -- | Inf
1528.24/1528.28 c 1528s| 7410k| 1927k| 20131k| 2.7 |1568M| 54 | 7 | 60 |5741 | 60 | 20 | 23 |3735k|4684 | 0.000000e+00 | -- | Inf
1530.54/1530.58 c 1531s| 7420k| 1929k| 20158k| 2.7 |1570M| 54 | 7 | 60 |5271 | 60 | 20 | 23 |3740k|4684 | 0.000000e+00 | -- | Inf
1533.04/1533.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1533.04/1533.00 c 1533s| 7430k| 1932k| 20186k| 2.7 |1572M| 54 | - | 60 |5379 | 60 | 20 | 23 |3746k|4684 | 0.000000e+00 | -- | Inf
1535.34/1535.38 c 1535s| 7440k| 1934k| 20213k| 2.7 |1574M| 54 | 7 | 60 |5063 | 60 | 20 | 23 |3751k|4684 | 0.000000e+00 | -- | Inf
1537.74/1537.79 c 1538s| 7450k| 1936k| 20241k| 2.7 |1576M| 54 | 7 | 60 |5220 | 60 | 20 | 23 |3756k|4684 | 0.000000e+00 | -- | Inf
1540.06/1540.06 c 1540s| 7460k| 1939k| 20268k| 2.7 |1578M| 54 | 7 | 60 |4950 | 60 | 20 | 23 |3761k|4684 | 0.000000e+00 | -- | Inf
1542.25/1542.31 c 1542s| 7470k| 1941k| 20295k| 2.7 |1580M| 54 | - | 60 |5242 | 60 | 20 | 23 |3766k|4684 | 0.000000e+00 | -- | Inf
1544.46/1544.47 c 1544s| 7480k| 1944k| 20322k| 2.7 |1582M| 54 | 7 | 60 |5598 | 60 | 20 | 23 |3771k|4684 | 0.000000e+00 | -- | Inf
1546.54/1546.52 c 1547s| 7490k| 1947k| 20349k| 2.7 |1584M| 54 | 7 | 60 |6954 | 60 | 20 | 23 |3776k|4684 | 0.000000e+00 | -- | Inf
1548.74/1548.71 c 1549s| 7500k| 1949k| 20375k| 2.7 |1586M| 54 | - | 60 |6913 | 0 | 0 | 23 |3781k|4684 | 0.000000e+00 | -- | Inf
1551.05/1551.09 c 1551s| 7510k| 1952k| 20401k| 2.7 |1588M| 54 | 7 | 60 |6310 | 60 | 20 | 23 |3786k|4684 | 0.000000e+00 | -- | Inf
1553.36/1553.33 c 1553s| 7520k| 1955k| 20428k| 2.7 |1591M| 54 | - | 60 |6642 | 60 | 20 | 23 |3791k|4684 | 0.000000e+00 | -- | Inf
1555.55/1555.54 c 1556s| 7530k| 1957k| 20453k| 2.7 |1593M| 54 | 7 | 60 |6562 | 60 | 20 | 23 |3796k|4684 | 0.000000e+00 | -- | Inf
1557.94/1558.00 c 1558s| 7540k| 1960k| 20480k| 2.7 |1594M| 54 | 7 | 60 |5434 | 60 | 20 | 23 |3801k|4684 | 0.000000e+00 | -- | Inf
1560.34/1560.30 c 1560s| 7550k| 1962k| 20507k| 2.7 |1596M| 54 | 7 | 60 |5202 | 60 | 20 | 23 |3806k|4684 | 0.000000e+00 | -- | Inf
1562.54/1562.56 c 1563s| 7560k| 1964k| 20535k| 2.7 |1599M| 54 | 7 | 60 |5925 | 60 | 20 | 23 |3811k|4685 | 0.000000e+00 | -- | Inf
1564.75/1564.79 c 1565s| 7570k| 1967k| 20561k| 2.7 |1601M| 54 | 7 | 60 |6207 | 60 | 20 | 23 |3816k|4686 | 0.000000e+00 | -- | Inf
1566.95/1566.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1566.95/1566.94 c 1567s| 7580k| 1969k| 20590k| 2.7 |1603M| 54 | 7 | 60 |6602 | 60 | 20 | 23 |3821k|4688 | 0.000000e+00 | -- | Inf
1569.34/1569.34 c 1569s| 7590k| 1972k| 20618k| 2.7 |1605M| 54 | - | 60 |6554 | 60 | 20 | 23 |3826k|4690 | 0.000000e+00 | -- | Inf
1571.96/1571.91 c 1572s| 7600k| 1974k| 20645k| 2.7 |1606M| 54 | 7 | 60 |4744 | 60 | 20 | 23 |3831k|4694 | 0.000000e+00 | -- | Inf
1574.26/1574.29 c 1574s| 7610k| 1976k| 20673k| 2.7 |1608M| 54 | - | 60 |4429 | 60 | 20 | 23 |3837k|4696 | 0.000000e+00 | -- | Inf
1576.64/1576.61 c 1577s| 7620k| 1978k| 20700k| 2.7 |1610M| 54 | 7 | 60 |4442 | 60 | 20 | 23 |3842k|4698 | 0.000000e+00 | -- | Inf
1578.84/1578.83 c 1579s| 7630k| 1980k| 20727k| 2.7 |1613M| 54 | - | 60 |5235 | 0 | 0 | 23 |3847k|4702 | 0.000000e+00 | -- | Inf
1581.25/1581.29 c 1581s| 7640k| 1983k| 20754k| 2.7 |1614M| 54 | - | 60 |4513 | 60 | 20 | 23 |3853k|4705 | 0.000000e+00 | -- | Inf
1583.74/1583.74 c 1584s| 7650k| 1985k| 20781k| 2.7 |1616M| 54 | 7 | 60 |4606 | 60 | 20 | 23 |3858k|4707 | 0.000000e+00 | -- | Inf
1585.94/1585.99 c 1586s| 7660k| 1987k| 20808k| 2.7 |1618M| 54 | 7 | 60 |4411 | 60 | 20 | 23 |3863k|4712 | 0.000000e+00 | -- | Inf
1588.14/1588.17 c 1588s| 7670k| 1990k| 20834k| 2.7 |1621M| 54 | - | 60 |5224 | 60 | 20 | 23 |3868k|4712 | 0.000000e+00 | -- | Inf
1590.34/1590.33 c 1590s| 7680k| 1992k| 20861k| 2.7 |1623M| 54 | 7 | 60 |6185 | 60 | 20 | 23 |3873k|4712 | 0.000000e+00 | -- | Inf
1592.74/1592.74 c 1593s| 7690k| 1994k| 20888k| 2.7 |1625M| 54 | - | 60 |5183 | 60 | 20 | 23 |3879k|4712 | 0.000000e+00 | -- | Inf
1595.24/1595.20 c 1595s| 7700k| 1996k| 20915k| 2.7 |1627M| 54 | - | 60 |5146 | 60 | 20 | 23 |3884k|4712 | 0.000000e+00 | -- | Inf
1597.54/1597.56 c 1598s| 7710k| 1998k| 20942k| 2.7 |1629M| 54 | - | 60 |5752 | 60 | 20 | 23 |3889k|4712 | 0.000000e+00 | -- | Inf
1599.84/1599.88 c 1600s| 7720k| 2001k| 20970k| 2.7 |1631M| 54 | 7 | 60 |6107 | 60 | 20 | 23 |3894k|4712 | 0.000000e+00 | -- | Inf
1602.34/1602.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1602.34/1602.31 c 1602s| 7730k| 2003k| 20996k| 2.7 |1633M| 54 | - | 60 |5963 | 60 | 20 | 23 |3900k|4716 | 0.000000e+00 | -- | Inf
1604.74/1604.73 c 1605s| 7740k| 2005k| 21024k| 2.7 |1635M| 54 | 7 | 60 |5479 | 60 | 20 | 23 |3905k|4719 | 0.000000e+00 | -- | Inf
1606.74/1606.78 c 1607s| 7750k| 2008k| 21051k| 2.7 |1637M| 54 | 7 | 60 |6525 | 60 | 20 | 23 |3910k|4721 | 0.000000e+00 | -- | Inf
1609.15/1609.11 c 1609s| 7760k| 2011k| 21079k| 2.7 |1639M| 54 | 7 | 60 |6990 | 60 | 20 | 23 |3915k|4723 | 0.000000e+00 | -- | Inf
1611.56/1611.59 c 1612s| 7770k| 2013k| 21106k| 2.7 |1641M| 54 | 7 | 60 |4995 | 60 | 20 | 23 |3920k|4723 | 0.000000e+00 | -- | Inf
1613.76/1613.73 c 1614s| 7780k| 2016k| 21132k| 2.7 |1643M| 54 | - | 60 |5869 | 60 | 20 | 23 |3925k|4723 | 0.000000e+00 | -- | Inf
1616.05/1616.08 c 1616s| 7790k| 2018k| 21158k| 2.7 |1645M| 54 | 7 | 60 |5774 | 60 | 20 | 23 |3930k|4723 | 0.000000e+00 | -- | Inf
1618.35/1618.39 c 1618s| 7800k| 2020k| 21185k| 2.7 |1647M| 54 | 7 | 60 |5620 | 60 | 20 | 23 |3935k|4723 | 0.000000e+00 | -- | Inf
1620.85/1620.86 c 1621s| 7810k| 2022k| 21212k| 2.7 |1649M| 54 | 7 | 60 |5037 | 60 | 20 | 23 |3940k|4723 | 0.000000e+00 | -- | Inf
1623.34/1623.30 c 1623s| 7820k| 2025k| 21239k| 2.7 |1651M| 54 | - | 60 |4811 | 60 | 20 | 23 |3946k|4723 | 0.000000e+00 | -- | Inf
1625.74/1625.76 c 1626s| 7830k| 2027k| 21266k| 2.7 |1653M| 54 | - | 60 |5185 | 60 | 20 | 23 |3951k|4723 | 0.000000e+00 | -- | Inf
1628.06/1628.11 c 1628s| 7840k| 2029k| 21294k| 2.7 |1655M| 54 | 7 | 60 |4741 | 60 | 20 | 23 |3956k|4723 | 0.000000e+00 | -- | Inf
1630.45/1630.44 c 1630s| 7850k| 2032k| 21321k| 2.7 |1657M| 54 | 7 | 60 |4978 | 60 | 20 | 23 |3961k|4723 | 0.000000e+00 | -- | Inf
1632.64/1632.67 c 1633s| 7860k| 2034k| 21348k| 2.7 |1659M| 54 | 7 | 60 |5280 | 60 | 20 | 23 |3966k|4723 | 0.000000e+00 | -- | Inf
1635.04/1635.06 c 1635s| 7870k| 2036k| 21375k| 2.7 |1661M| 54 | 7 | 60 |4799 | 60 | 20 | 23 |3971k|4723 | 0.000000e+00 | -- | Inf
1637.25/1637.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1637.25/1637.24 c 1637s| 7880k| 2038k| 21401k| 2.7 |1663M| 54 | 7 | 60 |5415 | 60 | 20 | 23 |3976k|4724 | 0.000000e+00 | -- | Inf
1639.64/1639.60 c 1640s| 7890k| 2041k| 21429k| 2.7 |1665M| 54 | - | 60 |4451 | 60 | 20 | 23 |3982k|4726 | 0.000000e+00 | -- | Inf
1641.95/1641.92 c 1642s| 7900k| 2043k| 21456k| 2.7 |1667M| 54 | 7 | 60 |4774 | 60 | 20 | 23 |3987k|4731 | 0.000000e+00 | -- | Inf
1644.45/1644.40 c 1644s| 7910k| 2045k| 21483k| 2.7 |1669M| 54 | 7 | 60 |4381 | 60 | 20 | 23 |3992k|4735 | 0.000000e+00 | -- | Inf
1646.86/1646.86 c 1647s| 7920k| 2047k| 21510k| 2.7 |1671M| 54 | - | 60 |4407 | 0 | 0 | 23 |3997k|4741 | 0.000000e+00 | -- | Inf
1648.85/1648.81 c 1649s| 7930k| 2050k| 21536k| 2.7 |1674M| 54 | - | 60 |5674 | 60 | 20 | 23 |4002k|4743 | 0.000000e+00 | -- | Inf
1650.95/1650.94 c 1651s| 7940k| 2053k| 21564k| 2.7 |1676M| 54 | - | 60 |5873 | 0 | 0 | 23 |4007k|4745 | 0.000000e+00 | -- | Inf
1653.15/1653.18 c 1653s| 7950k| 2055k| 21591k| 2.7 |1678M| 54 | 7 | 60 |5279 | 60 | 20 | 23 |4012k|4749 | 0.000000e+00 | -- | Inf
1655.56/1655.52 c 1656s| 7960k| 2058k| 21618k| 2.7 |1680M| 54 | 7 | 60 |4833 | 60 | 20 | 23 |4017k|4755 | 0.000000e+00 | -- | Inf
1657.86/1657.83 c 1658s| 7970k| 2060k| 21644k| 2.7 |1682M| 54 | - | 60 |5251 | 60 | 20 | 23 |4022k|4755 | 0.000000e+00 | -- | Inf
1660.24/1660.23 c 1660s| 7980k| 2062k| 21672k| 2.7 |1684M| 54 | - | 60 |4652 | 60 | 20 | 23 |4027k|4756 | 0.000000e+00 | -- | Inf
1662.55/1662.58 c 1663s| 7990k| 2065k| 21699k| 2.7 |1686M| 54 | 7 | 60 |4859 | 60 | 20 | 23 |4032k|4760 | 0.000000e+00 | -- | Inf
1664.95/1664.92 c 1665s| 8000k| 2067k| 21726k| 2.7 |1688M| 54 | 7 | 60 |5343 | 60 | 20 | 23 |4037k|4763 | 0.000000e+00 | -- | Inf
1667.35/1667.30 c 1667s| 8010k| 2069k| 21753k| 2.7 |1690M| 54 | - | 60 |5624 | 60 | 20 | 23 |4042k|4765 | 0.000000e+00 | -- | Inf
1669.55/1669.57 c 1670s| 8020k| 2072k| 21780k| 2.7 |1692M| 54 | 7 | 60 |5188 | 60 | 20 | 23 |4048k|4768 | 0.000000e+00 | -- | Inf
1672.06/1672.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1672.06/1672.01 c 1672s| 8030k| 2074k| 21807k| 2.7 |1694M| 54 | - | 60 |5071 | 60 | 20 | 23 |4053k|4770 | 0.000000e+00 | -- | Inf
1674.44/1674.41 c 1674s| 8040k| 2076k| 21835k| 2.7 |1696M| 54 | - | 60 |4831 | 60 | 20 | 23 |4058k|4771 | 0.000000e+00 | -- | Inf
1676.75/1676.79 c 1677s| 8050k| 2078k| 21862k| 2.7 |1698M| 54 | - | 60 |4639 | 60 | 20 | 23 |4064k|4776 | 0.000000e+00 | -- | Inf
1678.95/1678.92 c 1679s| 8060k| 2081k| 21888k| 2.7 |1700M| 54 | 7 | 60 |5019 | 60 | 20 | 23 |4068k|4780 | 0.000000e+00 | -- | Inf
1681.15/1681.14 c 1681s| 8070k| 2083k| 21915k| 2.7 |1702M| 54 | 7 | 60 |5492 | 60 | 20 | 23 |4074k|4785 | 0.000000e+00 | -- | Inf
1683.54/1683.52 c 1684s| 8080k| 2086k| 21942k| 2.7 |1704M| 54 | 7 | 60 |4503 | 60 | 20 | 23 |4079k|4785 | 0.000000e+00 | -- | Inf
1685.75/1685.73 c 1686s| 8090k| 2088k| 21969k| 2.7 |1707M| 54 | - | 60 |6037 | 60 | 20 | 23 |4084k|4790 | 0.000000e+00 | -- | Inf
1688.24/1688.21 c 1688s| 8100k| 2090k| 21996k| 2.7 |1708M| 54 | 7 | 60 |5047 | 60 | 20 | 23 |4089k|4794 | 0.000000e+00 | -- | Inf
1690.54/1690.59 c 1691s| 8110k| 2093k| 22023k| 2.7 |1710M| 54 | 7 | 60 |5048 | 60 | 20 | 23 |4094k|4798 | 0.000000e+00 | -- | Inf
1693.06/1693.04 c 1693s| 8120k| 2095k| 22050k| 2.7 |1712M| 54 | 7 | 60 |5067 | 60 | 20 | 23 |4099k|4801 | 0.000000e+00 | -- | Inf
1695.45/1695.49 c 1695s| 8130k| 2097k| 22077k| 2.7 |1714M| 54 | 7 | 60 |4471 | 60 | 20 | 23 |4105k|4808 | 0.000000e+00 | -- | Inf
1697.75/1697.75 c 1698s| 8140k| 2099k| 22104k| 2.7 |1716M| 54 | - | 60 |4908 | 60 | 20 | 23 |4110k|4811 | 0.000000e+00 | -- | Inf
1700.04/1700.05 c 1700s| 8150k| 2101k| 22132k| 2.7 |1718M| 54 | 7 | 60 |5178 | 60 | 20 | 23 |4115k|4814 | 0.000000e+00 | -- | Inf
1702.35/1702.32 c 1702s| 8160k| 2104k| 22159k| 2.7 |1720M| 54 | 7 | 60 |5560 | 60 | 20 | 23 |4120k|4814 | 0.000000e+00 | -- | Inf
1704.75/1704.74 c 1705s| 8170k| 2106k| 22186k| 2.7 |1722M| 54 | - | 60 |5041 | 60 | 20 | 23 |4125k|4817 | 0.000000e+00 | -- | Inf
1706.84/1706.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1706.84/1706.90 c 1707s| 8180k| 2109k| 22214k| 2.7 |1725M| 54 | - | 60 |6285 | 60 | 20 | 23 |4130k|4820 | 0.000000e+00 | -- | Inf
1709.25/1709.27 c 1709s| 8190k| 2111k| 22240k| 2.7 |1727M| 54 | 7 | 60 |5721 | 60 | 20 | 23 |4135k|4824 | 0.000000e+00 | -- | Inf
1711.66/1711.69 c 1712s| 8200k| 2114k| 22267k| 2.7 |1728M| 54 | 7 | 60 |4915 | 60 | 20 | 23 |4140k|4826 | 0.000000e+00 | -- | Inf
1714.05/1714.01 c 1714s| 8210k| 2116k| 22294k| 2.7 |1730M| 54 | 7 | 60 |4947 | 60 | 20 | 23 |4145k|4828 | 0.000000e+00 | -- | Inf
1716.35/1716.36 c 1716s| 8220k| 2118k| 22321k| 2.7 |1733M| 54 | - | 60 |4796 | 60 | 20 | 23 |4151k|4828 | 0.000000e+00 | -- | Inf
1718.84/1718.82 c 1719s| 8230k| 2120k| 22348k| 2.7 |1734M| 54 | 7 | 60 |4494 | 60 | 20 | 23 |4156k|4828 | 0.000000e+00 | -- | Inf
1721.15/1721.11 c 1721s| 8240k| 2123k| 22375k| 2.7 |1737M| 54 | 7 | 60 |4923 | 60 | 20 | 23 |4161k|4833 | 0.000000e+00 | -- | Inf
1723.55/1723.57 c 1724s| 8250k| 2125k| 22403k| 2.7 |1738M| 54 | - | 60 |4926 | 0 | 0 | 23 |4166k|4836 | 0.000000e+00 | -- | Inf
1725.85/1725.81 c 1726s| 8260k| 2127k| 22429k| 2.7 |1741M| 54 | 7 | 60 |5694 | 60 | 20 | 23 |4172k|4837 | 0.000000e+00 | -- | Inf
1728.26/1728.25 c 1728s| 8270k| 2129k| 22456k| 2.7 |1743M| 54 | - | 60 |5097 | 0 | 0 | 23 |4177k|4840 | 0.000000e+00 | -- | Inf
1730.75/1730.71 c 1731s| 8280k| 2131k| 22483k| 2.7 |1745M| 54 | - | 60 |4662 | 60 | 20 | 23 |4182k|4844 | 0.000000e+00 | -- | Inf
1733.05/1733.07 c 1733s| 8290k| 2133k| 22510k| 2.7 |1747M| 54 | - | 60 |4782 | 60 | 20 | 23 |4188k|4849 | 0.000000e+00 | -- | Inf
1735.55/1735.50 c 1736s| 8300k| 2136k| 22536k| 2.7 |1749M| 54 | 7 | 60 |5077 | 60 | 20 | 23 |4193k|4849 | 0.000000e+00 | -- | Inf
1737.95/1737.95 c 1738s| 8310k| 2138k| 22563k| 2.7 |1751M| 54 | 7 | 60 |5474 | 60 | 20 | 23 |4198k|4851 | 0.000000e+00 | -- | Inf
1740.15/1740.17 c 1740s| 8320k| 2140k| 22591k| 2.7 |1753M| 54 | 7 | 60 |6300 | 60 | 20 | 23 |4203k|4851 | 0.000000e+00 | -- | Inf
1742.65/1742.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1742.65/1742.60 c 1743s| 8330k| 2142k| 22619k| 2.7 |1755M| 54 | 7 | 60 |5426 | 60 | 20 | 23 |4208k|4853 | 0.000000e+00 | -- | Inf
1744.95/1744.98 c 1745s| 8340k| 2145k| 22647k| 2.7 |1757M| 54 | - | 60 |5642 | 0 | 0 | 23 |4214k|4855 | 0.000000e+00 | -- | Inf
1747.35/1747.31 c 1747s| 8350k| 2147k| 22674k| 2.7 |1759M| 54 | - | 60 |5804 | 60 | 20 | 23 |4219k|4855 | 0.000000e+00 | -- | Inf
1749.75/1749.77 c 1750s| 8360k| 2149k| 22701k| 2.7 |1761M| 54 | 7 | 60 |5459 | 60 | 20 | 23 |4224k|4855 | 0.000000e+00 | -- | Inf
1752.15/1752.19 c 1752s| 8370k| 2151k| 22729k| 2.7 |1763M| 54 | 7 | 60 |5794 | 60 | 20 | 23 |4230k|4855 | 0.000000e+00 | -- | Inf
1754.66/1754.61 c 1755s| 8380k| 2154k| 22755k| 2.7 |1765M| 54 | - | 60 |4858 | 60 | 20 | 23 |4235k|4855 | 0.000000e+00 | -- | Inf
1756.76/1756.77 c 1757s| 8390k| 2156k| 22782k| 2.7 |1767M| 54 | 7 | 60 |6395 | 60 | 20 | 23 |4240k|4855 | 0.000000e+00 | -- | Inf
1759.15/1759.15 c 1759s| 8400k| 2158k| 22809k| 2.7 |1769M| 54 | - | 60 |5743 | 0 | 0 | 23 |4246k|4855 | 0.000000e+00 | -- | Inf
1761.55/1761.51 c 1762s| 8410k| 2161k| 22837k| 2.7 |1771M| 54 | - | 60 |4919 | 60 | 20 | 23 |4251k|4855 | 0.000000e+00 | -- | Inf
1763.95/1763.99 c 1764s| 8420k| 2163k| 22865k| 2.7 |1773M| 54 | 7 | 60 |4579 | 60 | 20 | 23 |4256k|4855 | 0.000000e+00 | -- | Inf
1766.35/1766.36 c 1766s| 8430k| 2165k| 22892k| 2.7 |1775M| 54 | - | 60 |5552 | 60 | 20 | 23 |4261k|4855 | 0.000000e+00 | -- | Inf
1768.75/1768.77 c 1769s| 8440k| 2167k| 22919k| 2.7 |1777M| 54 | 7 | 60 |5843 | 60 | 20 | 23 |4266k|4855 | 0.000000e+00 | -- | Inf
1771.06/1771.06 c 1771s| 8450k| 2170k| 22946k| 2.7 |1779M| 54 | - | 60 |5798 | 60 | 20 | 23 |4271k|4855 | 0.000000e+00 | -- | Inf
1773.15/1773.18 c 1773s| 8460k| 2173k| 22973k| 2.7 |1782M| 54 | - | 60 |6453 | 60 | 20 | 23 |4276k|4855 | 0.000000e+00 | -- | Inf
1775.46/1775.46 c 1775s| 8470k| 2175k| 23000k| 2.7 |1784M| 54 | - | 60 |6831 | 60 | 20 | 23 |4281k|4855 | 0.000000e+00 | -- | Inf
1777.77/1777.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1777.77/1777.76 c 1778s| 8480k| 2178k| 23026k| 2.7 |1786M| 54 | - | 60 |7044 | 60 | 20 | 23 |4286k|4855 | 0.000000e+00 | -- | Inf
1780.05/1780.05 c 1780s| 8490k| 2180k| 23052k| 2.7 |1788M| 54 | 7 | 60 |7617 | 60 | 20 | 23 |4291k|4855 | 0.000000e+00 | -- | Inf
1782.45/1782.49 c 1782s| 8500k| 2182k| 23078k| 2.7 |1791M| 54 | - | 60 |8263 | 60 | 20 | 23 |4297k|4855 | 0.000000e+00 | -- | Inf
1784.95/1784.95 c 1785s| 8510k| 2185k| 23105k| 2.7 |1792M| 54 | - | 60 |7348 | 60 | 20 | 23 |4302k|4855 | 0.000000e+00 | -- | Inf
1787.56/1787.51 c 1788s| 8520k| 2187k| 23132k| 2.7 |1794M| 54 | 7 | 60 |7081 | 60 | 20 | 23 |4307k|4855 | 0.000000e+00 | -- | Inf
1790.05/1790.00 c 1790s| 8530k| 2189k| 23160k| 2.7 |1796M| 54 | - | 60 |6455 | 60 | 20 | 23 |4312k|4855 | 0.000000e+00 | -- | Inf
1792.45/1792.41 c 1792s| 8540k| 2191k| 23188k| 2.7 |1798M| 54 | 7 | 60 |7283 | 60 | 20 | 23 |4317k|4855 | 0.000000e+00 | -- | Inf
1794.75/1794.79 c 1795s| 8550k| 2194k| 23214k| 2.7 |1800M| 54 | - | 60 |5851 | 60 | 20 | 23 |4322k|4855 | 0.000000e+00 | -- | Inf
1797.05/1797.05 c 1797s| 8560k| 2197k| 23241k| 2.7 |1802M| 54 | 7 | 60 |6228 | 60 | 20 | 23 |4327k|4855 | 0.000000e+00 | -- | Inf
1799.55/1799.50 c 1799s| 8570k| 2199k| 23268k| 2.7 |1804M| 54 | 7 | 60 |4873 | 60 | 20 | 23 |4333k|4855 | 0.000000e+00 | -- | Inf
1800.07/1800.01 c
1800.07/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.07/1800.01 c Solving Time (sec) : 1800.00
1800.07/1800.01 c Solving Nodes : 8572127
1800.07/1800.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.01 c Dual Bound : +0.00000000000000e+00
1800.07/1800.01 c Gap : infinite
1800.07/1800.01 s UNKNOWN
1800.07/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.07/1800.01 c Total Time : 1800.00
1800.07/1800.01 c solving : 1800.00
1800.07/1800.01 c presolving : 0.00 (included in solving)
1800.07/1800.01 c reading : 0.00 (included in solving)
1800.07/1800.01 c Original Problem :
1800.07/1800.01 c Problem name : HOME/instance-3452520-1307094993.opb
1800.07/1800.01 c Variables : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.01 c Constraints : 15 initial, 15 maximal
1800.07/1800.01 c Presolved Problem :
1800.07/1800.01 c Problem name : t_HOME/instance-3452520-1307094993.opb
1800.07/1800.01 c Variables : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.01 c Constraints : 7 initial, 8462 maximal
1800.07/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.07/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.07/1800.01 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1800.07/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.07/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.07/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.07/1800.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.07/1800.01 c linear : 0.00 0 0 0 0 0 8 0 0 0
1800.07/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.07/1800.01 c root node : - 0 - - 0 - - - - -
1800.07/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.07/1800.01 c integral : 0 0 0 5427921 0 4 0 379 1976 0 0 10851220
1800.07/1800.01 c linear : 7+ 7 20296191 0 1 3 5678644 333438 8290815 0 0 0
1800.07/1800.01 c logicor : 0+ 6 8636589 0 0 0 6013364 18946 2981216 0 0 0
1800.07/1800.01 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.07/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.07/1800.01 c integral : 34.85 0.00 0.00 34.85 0.00 0.00 0.00
1800.07/1800.01 c linear : 132.65 0.00 117.04 0.00 0.00 0.00 15.60
1800.07/1800.01 c logicor : 297.52 0.00 286.68 0.00 0.00 0.00 10.83
1800.07/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.07/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.07/1800.01 c vbounds : 0 0 0 0
1800.07/1800.01 c rootredcost : 0 0 0 0
1800.07/1800.01 c pseudoobj : 0 0 0 0
1800.07/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.07/1800.01 c vbounds : 3.24 3.24 0.00
1800.07/1800.01 c rootredcost : 3.52 3.52 0.00
1800.07/1800.01 c pseudoobj : 2.50 2.50 0.00
1800.07/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.01 c propagation : 21.49 352384 334149 1197702 42.0 137 36.0 -
1800.07/1800.01 c infeasible LP : 92.07 2844938 2844824 5595860 28.3 34757 33.5 0
1800.07/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.01 c applied globally : - - - 3613622 23.4 - - -
1800.07/1800.01 c applied locally : - - - 720604 37.6 - - -
1800.07/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.01 c cut pool : 0.00 5 - - 58 - (maximal pool size: 105)
1800.07/1800.01 c redcost : 6.82 5427925 0 0 0 0
1800.07/1800.01 c impliedbounds : 0.00 6 0 0 0 0
1800.07/1800.01 c intobj : 0.00 0 0 0 0 0
1800.07/1800.01 c gomory : 0.00 6 0 0 0 0
1800.07/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.07/1800.01 c strongcg : 0.00 6 0 0 25 0
1800.07/1800.01 c cmir : 0.01 6 0 0 48 0
1800.07/1800.01 c flowcover : 0.01 6 0 0 55 0
1800.07/1800.01 c clique : 0.00 1 0 0 0 0
1800.07/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.01 c mcf : 0.00 1 0 0 0 0
1800.07/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.07/1800.01 c rapidlearning : 0.01 1 0 0 0 3
1800.07/1800.01 c Pricers : Time Calls Vars
1800.07/1800.01 c problem variables: 0.00 0 0
1800.07/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.01 c relpscost : 31.81 5427921 379 1976 0 0 10851220
1800.07/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.01 c inference : 0.00 1 0 0 0 0 2
1800.07/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.01 c random : 0.00 0 0 0 0 0 0
1800.07/1800.01 c Primal Heuristics : Time Calls Found
1800.07/1800.01 c LP solutions : 0.00 - 0
1800.07/1800.01 c pseudo solutions : 0.00 - 0
1800.07/1800.01 c oneopt : 2.45 0 0
1800.07/1800.01 c crossover : 1.55 0 0
1800.07/1800.01 c guideddiving : 0.19 0 0
1800.07/1800.01 c objpscostdiving : 0.15 16 0
1800.07/1800.01 c rootsoldiving : 0.14 16 0
1800.07/1800.01 c linesearchdiving : 0.15 32 0
1800.07/1800.01 c coefdiving : 0.14 32 0
1800.07/1800.01 c pscostdiving : 0.16 32 0
1800.07/1800.01 c fracdiving : 0.17 32 0
1800.07/1800.01 c feaspump : 0.14 16 0
1800.07/1800.01 c veclendiving : 0.16 32 0
1800.07/1800.01 c trivial : 0.00 2 0
1800.07/1800.01 c shiftandpropagate: 0.00 1 0
1800.07/1800.01 c simplerounding : 1.01 0 0
1800.07/1800.01 c zirounding : 18.00 0 0
1800.07/1800.01 c rounding : 2.47 33099 0
1800.07/1800.01 c shifting : 3.48 10418 0
1800.07/1800.01 c intshifting : 0.10 0 0
1800.07/1800.01 c twoopt : 0.00 0 0
1800.07/1800.01 c fixandinfer : 0.00 0 0
1800.07/1800.01 c clique : 0.00 0 0
1800.07/1800.01 c intdiving : 0.00 0 0
1800.07/1800.01 c actconsdiving : 0.00 0 0
1800.07/1800.01 c octane : 0.00 0 0
1800.07/1800.01 c rens : 0.02 1 0
1800.07/1800.01 c rins : 0.00 0 0
1800.07/1800.01 c localbranching : 0.00 0 0
1800.07/1800.01 c mutation : 0.00 0 0
1800.07/1800.01 c dins : 0.00 0 0
1800.07/1800.01 c vbounds : 0.00 0 0
1800.07/1800.01 c undercover : 0.00 0 0
1800.07/1800.01 c subnlp : 1.23 0 0
1800.07/1800.01 c trysol : 1.70 0 0
1800.07/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.01 c dual LP : 500.08 8090638 23272218 2.88 46537.24
1800.07/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.01 c diving/probing LP: 0.06 996 2157 2.17 35066.33
1800.07/1800.01 c strong branching : 0.63 4855 30199 6.22 48233.74
1800.07/1800.01 c (at root node) : - 14 1056 75.43 -
1800.07/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.01 c B&B Tree :
1800.07/1800.01 c number of runs : 1
1800.07/1800.01 c nodes : 8572127
1800.07/1800.01 c nodes (total) : 8572127
1800.07/1800.01 c nodes left : 2199713
1800.07/1800.01 c max depth : 54
1800.07/1800.01 c max depth (total): 54
1800.07/1800.01 c backtracks : 1025833 (12.0%)
1800.07/1800.01 c delayed cutoffs : 79383
1800.07/1800.01 c repropagations : 7783827 (3446643 domain reductions, 50759 cutoffs)
1800.07/1800.01 c avg switch length: 5.74
1800.07/1800.01 c switching time : 403.34
1800.07/1800.01 c Solution :
1800.07/1800.01 c Solutions found : 0 (0 improvements)
1800.07/1800.01 c Primal Bound : -
1800.07/1800.01 c Dual Bound : +0.00000000000000e+00
1800.07/1800.01 c Gap : infinite
1800.07/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.01 c Root Iterations : 210
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3452520-1307094993/watcher-3452520-1307094993 -o /tmp/evaluation-result-3452520-1307094993/solver-3452520-1307094993 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452520-1307094993.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/429 22521
/proc/meminfo: memFree=28692740/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=17196 CPUtime=0.01 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 3408 0 0 0 1 0 0 0 25 0 1 0 821099718 17608704 3105 33554432000 4194304 9128323 140734679581792 18446744073709551615 4997216 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 4299 3105 595 1205 0 3090 0
[startup+0.112831 s]
/proc/loadavg: 2.00 2.00 2.00 3/429 22521
/proc/meminfo: memFree=28692740/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=27724 CPUtime=0.1 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 6227 0 0 0 10 0 0 0 25 0 1 0 821099718 28389376 5571 33554432000 4194304 9128323 140734679581792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 6931 5571 721 1205 0 5722 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 27724
[startup+0.200823 s]
/proc/loadavg: 2.00 2.00 2.00 3/429 22521
/proc/meminfo: memFree=28692740/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=27724 CPUtime=0.19 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 6228 0 0 0 19 0 0 0 25 0 1 0 821099718 28389376 5572 33554432000 4194304 9128323 140734679581792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 6931 5572 722 1205 0 5722 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27724
[startup+0.300791 s]
/proc/loadavg: 2.00 2.00 2.00 3/429 22521
/proc/meminfo: memFree=28692740/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=27724 CPUtime=0.29 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 6229 0 0 0 28 1 0 0 25 0 1 0 821099718 28389376 5573 33554432000 4194304 9128323 140734679581792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 6931 5573 723 1205 0 5722 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27724
[startup+0.700717 s]
/proc/loadavg: 2.00 2.00 2.00 3/429 22521
/proc/meminfo: memFree=28692740/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=27724 CPUtime=0.69 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 6233 0 0 0 67 2 0 0 25 0 1 0 821099718 28389376 5577 33554432000 4194304 9128323 140734679581792 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 6931 5577 723 1205 0 5722 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27724
[startup+1.50057 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22522
/proc/meminfo: memFree=28672024/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=27724 CPUtime=1.49 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 6242 0 0 0 144 5 0 0 25 0 1 0 821099718 28389376 5586 33554432000 4194304 9128323 140734679581792 18446744073709551615 5333240 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 6931 5586 723 1205 0 5722 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27724
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22522
/proc/meminfo: memFree=28669792/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=27724 CPUtime=3.08 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 6258 0 0 0 299 9 0 0 25 0 1 0 821099718 28389376 5602 33554432000 4194304 9128323 140734679581792 18446744073709551615 5873069 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 6931 5602 723 1205 0 5722 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 27724
[startup+6.30065 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22522
/proc/meminfo: memFree=28665912/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=29460 CPUtime=6.29 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 6973 0 0 0 608 21 0 0 25 0 1 0 821099718 30167040 6317 33554432000 4194304 9128323 140734679581792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 7365 6317 723 1205 0 6156 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29460
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22522
/proc/meminfo: memFree=28647564/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=40796 CPUtime=12.69 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 9859 0 0 0 1228 41 0 0 25 0 1 0 821099718 41775104 9203 33554432000 4194304 9128323 140734679581792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 10199 9203 723 1205 0 8990 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40796
[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22522
/proc/meminfo: memFree=28612728/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=61028 CPUtime=25.49 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 15007 0 0 0 2467 82 0 0 25 0 1 0 821099718 62492672 14351 33554432000 4194304 9128323 140734679581792 18446744073709551615 4859653 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 15257 14351 723 1205 0 14048 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61028
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22523
/proc/meminfo: memFree=28548856/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=101680 CPUtime=51.09 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 24839 0 0 0 4952 157 0 0 25 0 1 0 821099718 104120320 24183 33554432000 4194304 9128323 140734679581792 18446744073709551615 6673383 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 25420 24183 723 1205 0 24211 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 101680
[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22524
/proc/meminfo: memFree=28422556/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=165760 CPUtime=102.3 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 41198 0 0 0 9925 305 0 0 25 0 1 0 821099718 169738240 40542 33554432000 4194304 9128323 140734679581792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 41440 40542 723 1205 0 40231 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 165760
[startup+162.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/430 22526
/proc/meminfo: memFree=28281180/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=247016 CPUtime=162.29 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 60806 0 0 0 15749 480 0 0 25 0 1 0 821099718 252944384 60150 33554432000 4194304 9128323 140734679581792 18446744073709551615 4219723 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 61754 60150 723 1205 0 60545 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 247016
[startup+222.317 s]
/proc/loadavg: 2.05 2.02 2.00 3/430 22528
/proc/meminfo: memFree=28145636/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=315516 CPUtime=222.31 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 78216 0 0 0 21582 649 0 0 25 0 1 0 821099718 323088384 77560 33554432000 4194304 9128323 140734679581792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 78879 77560 723 1205 0 77670 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 315516
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/430 22538
/proc/meminfo: memFree=28012272/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=391136 CPUtime=282.3 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 95449 0 0 0 27412 818 0 0 25 0 1 0 821099718 400523264 94793 33554432000 4194304 9128323 140734679581792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 97784 94793 723 1205 0 96575 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 391136
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 22540
/proc/meminfo: memFree=27882944/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=460656 CPUtime=342.3 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 113111 0 0 0 33254 976 0 0 25 0 1 0 821099718 471711744 112455 33554432000 4194304 9128323 140734679581792 18446744073709551615 5332936 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 115164 112455 723 1205 0 113955 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 460656
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 22541
/proc/meminfo: memFree=27757588/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=522084 CPUtime=402.3 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 128737 0 0 0 39096 1134 0 0 25 0 1 0 821099718 534614016 128081 33554432000 4194304 9128323 140734679581792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 130521 128081 723 1205 0 129312 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 522084
[startup+462.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/430 22546
/proc/meminfo: memFree=27628248/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=584940 CPUtime=462.31 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 144687 0 0 0 44937 1294 0 0 25 0 1 0 821099718 598978560 144031 33554432000 4194304 9128323 140734679581792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 146235 144031 723 1205 0 145026 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 584940
[startup+522.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/430 22548
/proc/meminfo: memFree=27501792/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=650436 CPUtime=522.3 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 161446 0 0 0 50783 1447 0 0 25 0 1 0 821099718 666046464 160790 33554432000 4194304 9128323 140734679581792 18446744073709551615 4687316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 162609 160790 723 1205 0 161400 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 650436
[startup+582.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/430 22549
/proc/meminfo: memFree=27386708/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=706784 CPUtime=582.31 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 175713 0 0 0 56635 1596 0 0 25 0 1 0 821099718 723746816 175057 33554432000 4194304 9128323 140734679581792 18446744073709551615 6533216 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 176696 175057 723 1205 0 175487 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 706784
[startup+642.301 s]
################
# More data... #
################
[startup+882.316 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22557
/proc/meminfo: memFree=26780560/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=1022596 CPUtime=882.33 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 251927 0 0 0 85900 2333 0 0 25 0 1 0 821099718 1047138304 251271 33554432000 4194304 9128323 140734679581792 18446744073709551615 5321320 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 255649 251271 723 1205 0 254440 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 1022596
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 22559
/proc/meminfo: memFree=26659416/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=1078196 CPUtime=942.33 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 266179 0 0 0 91758 2475 0 0 25 0 1 0 821099718 1104072704 265523 33554432000 4194304 9128323 140734679581792 18446744073709551615 5231693 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 269549 265523 723 1205 0 268340 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 1078196
[startup+1002.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/430 22560
/proc/meminfo: memFree=26548064/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=1136484 CPUtime=1002.32 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 280732 0 0 0 97611 2621 0 0 25 0 1 0 821099718 1163759616 280076 33554432000 4194304 9128323 140734679581792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 284121 280076 723 1205 0 282912 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1136484
[startup+1062.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/430 22562
/proc/meminfo: memFree=26436584/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=1193052 CPUtime=1062.32 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 295248 0 0 0 103469 2763 0 0 25 0 1 0 821099718 1221685248 294592 33554432000 4194304 9128323 140734679581792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 298263 294592 723 1205 0 297054 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1193052
[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/430 22564
/proc/meminfo: memFree=26317892/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=1249004 CPUtime=1122.33 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 309613 0 0 0 109329 2904 0 0 25 0 1 0 821099718 1278980096 308957 33554432000 4194304 9128323 140734679581792 18446744073709551615 6807232 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 312251 308957 723 1205 0 311042 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1249004
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 22565
/proc/meminfo: memFree=26205164/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=1303020 CPUtime=1182.33 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 323474 0 0 0 115184 3049 0 0 25 0 1 0 821099718 1334292480 322818 33554432000 4194304 9128323 140734679581792 18446744073709551615 6807056 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 325755 322818 723 1205 0 324546 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1303020
[startup+1242.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/430 22567
/proc/meminfo: memFree=26092968/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=1358800 CPUtime=1242.33 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 337337 0 0 0 121042 3191 0 0 25 0 1 0 821099718 1391411200 336681 33554432000 4194304 9128323 140734679581792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 339700 336681 723 1205 0 338491 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1358800
[startup+1302.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/430 22568
/proc/meminfo: memFree=25984344/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=1414348 CPUtime=1302.34 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 351600 0 0 0 126899 3335 0 0 25 0 1 0 821099718 1448292352 350944 33554432000 4194304 9128323 140734679581792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 353587 350944 723 1205 0 352378 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1414348
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 22570
/proc/meminfo: memFree=25879384/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=1465264 CPUtime=1362.33 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 364677 0 0 0 132754 3479 0 0 25 0 1 0 821099718 1500430336 364021 33554432000 4194304 9128323 140734679581792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 366316 364021 723 1205 0 365107 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1465264
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 22572
/proc/meminfo: memFree=25761704/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=1520956 CPUtime=1422.36 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 378934 0 0 0 138619 3617 0 0 25 0 1 0 821099718 1557458944 378278 33554432000 4194304 9128323 140734679581792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 380239 378278 723 1205 0 379030 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 1520956
[startup+1482.3 s]
/proc/loadavg: 1.96 1.99 1.99 3/430 22601
/proc/meminfo: memFree=27516504/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=1575100 CPUtime=1482.34 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 392819 0 0 0 144484 3750 0 0 25 0 1 0 821099718 1612902400 392163 33554432000 4194304 9128323 140734679581792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 393775 392163 723 1205 0 392566 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1575100
[startup+1542.32 s]
/proc/loadavg: 2.19 2.05 2.01 3/430 22603
/proc/meminfo: memFree=27391632/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=1628220 CPUtime=1542.35 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 405877 0 0 0 150350 3885 0 0 25 0 1 0 821099718 1667297280 405221 33554432000 4194304 9128323 140734679581792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 407055 405221 723 1205 0 405846 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 1628220
[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/430 22604
/proc/meminfo: memFree=27280156/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=1679696 CPUtime=1602.34 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 419088 0 0 0 156210 4024 0 0 25 0 1 0 821099718 1720008704 418432 33554432000 4194304 9128323 140734679581792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 419924 418432 723 1205 0 418715 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1679696
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/430 22606
/proc/meminfo: memFree=27160244/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=1767748 CPUtime=1662.34 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 433283 0 0 0 162074 4160 0 0 25 0 1 0 821099718 1810173952 432627 33554432000 4194304 9128323 140734679581792 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 441937 432627 723 1205 0 440728 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1767748
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 22608
/proc/meminfo: memFree=27054216/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=1816204 CPUtime=1722.35 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 445700 0 0 0 167940 4295 0 0 25 0 1 0 821099718 1859792896 445044 33554432000 4194304 9128323 140734679581792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 454051 445044 723 1205 0 452842 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1816204
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 22609
/proc/meminfo: memFree=26952408/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=1867012 CPUtime=1782.35 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 458771 0 0 0 173809 4426 0 0 25 0 1 0 821099718 1911820288 458115 33554432000 4194304 9128323 140734679581792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22521/statm: 466753 458115 723 1205 0 465544 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1867012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 22610
/proc/meminfo: memFree=26922264/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=1880600 CPUtime=1800.07 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 462250 0 0 0 175542 4465 0 0 25 0 1 0 821099718 1925734400 461594 33554432000 4194304 9128323 140734679581792 18446744073709551615 5320780 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22521/statm: 470150 461594 725 1205 0 468941 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1880600
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.02 2.00 3/430 22610
/proc/meminfo: memFree=26922264/32951124 swapFree=43324008/67111528
[pid=22521] ppid=22519 vsize=1880600 CPUtime=1800.07 cores=0,2,4,6
/proc/22521/stat : 22521 (scip-2.0.1.4.li) R 22519 22521 22076 0 -1 4202496 462250 0 0 0 175542 4465 0 0 25 0 1 0 821099718 1925734400 461594 33554432000 4194304 9128323 140734679581792 18446744073709551615 5320780 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22521/statm: 470150 461594 725 1205 0 468941 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1880600
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.1
CPU time (s): 1800.16
CPU user time (s): 1755.42
CPU system time (s): 44.7312
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1880600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1755.42
system time used= 44.7312
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 462250
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= 1972
runsolver used 8.08877 second user time and 16.5305 second system time
The end