0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2693761-1277891737.wbo>
0.00/0.00 c original problem has 160 variables (155 bin, 0 int, 0 impl, 5 cont) and 31 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5 impls, 8 clqs
0.00/0.00 c (round 2) 0 del vars, 1 del conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5 impls, 8 clqs
0.00/0.00 c (round 3) 0 del vars, 1 del conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 12 upgd conss, 5 impls, 8 clqs
0.00/0.00 c (round 4) 0 del vars, 1 del conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 20 upgd conss, 5 impls, 8 clqs
0.00/0.01 c (0.0s) probing: 101/155 (65.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (5 rounds):
0.00/0.01 c 0 deleted vars, 1 deleted constraints, 5 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 5 implications, 8 cliques
0.00/0.01 c presolved problem has 160 variables (155 bin, 0 int, 0 impl, 5 cont) and 30 constraints
0.00/0.01 c 5 constraints of type <indicator>
0.00/0.01 c 8 constraints of type <setppc>
0.00/0.01 c 5 constraints of type <linear>
0.00/0.01 c 12 constraints of type <logicor>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.2
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 = 3420
0.00/0.01 c
0.00/0.01 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.01 c lp/solvefreq = -1
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 # 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 | 2 | 0 | - | 449k| 0 | - | 160 | 30 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.53 c 0.5s| 10000 | 8837 | 0 | 0.0 |4292k| 87 | - | 160 | 926 | 0 | 0 | 0 |3356 | 0 | 0.000000e+00 | -- | Inf
1.09/1.11 c 1.0s| 20000 | 17451 | 0 | 0.0 |7984k| 87 | - | 160 |1404 | 0 | 0 | 0 |7061 | 0 | 0.000000e+00 | -- | Inf
1.79/1.81 c 1.6s| 30000 | 25360 | 0 | 0.0 | 11M| 87 | - | 160 |1532 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
2.79/2.86 c 2.5s| 40000 | 31640 | 0 | 0.0 | 16M| 87 | - | 160 |1918 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
3.39/3.49 c 3.1s| 50000 | 40315 | 0 | 0.0 | 19M| 87 | - | 160 |1443 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
4.09/4.13 c 3.7s| 60000 | 48962 | 0 | 0.0 | 22M| 87 | - | 160 |1621 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
4.79/4.81 c 4.3s| 70000 | 57438 | 0 | 0.0 | 26M| 87 | - | 160 |2146 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
5.49/5.51 c 4.9s| 80000 | 65910 | 0 | 0.0 | 30M| 87 | - | 160 |2153 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
6.19/6.21 c 5.5s| 90000 | 74373 | 0 | 0.0 | 33M| 87 | - | 160 |2111 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
6.89/6.94 c 6.2s|100000 | 82736 | 0 | 0.0 | 37M| 87 | - | 160 |2366 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
7.60/7.65 c 6.8s|110000 | 91040 | 0 | 0.0 | 40M| 87 | - | 160 |2380 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
8.39/8.42 c 7.5s|120000 | 99210 | 0 | 0.0 | 44M| 87 | - | 160 |2715 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
9.19/9.21 c 8.2s|130000 |107332 | 0 | 0.0 | 47M| 87 | - | 160 |2756 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
9.99/10.00 c 8.9s|140000 |115463 | 0 | 0.0 | 51M| 87 | - | 160 |2744 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
10.69/10.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.69/10.79 c 9.7s|150000 |123631 | 0 | 0.0 | 54M| 87 | - | 160 |2618 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
11.49/11.59 c 10.4s|160000 |131691 | 0 | 0.0 | 58M| 87 | - | 160 |2798 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
12.39/12.44 c 11.1s|170000 |139636 | 0 | 0.0 | 62M| 87 | - | 160 |3095 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
13.30/13.31 c 11.9s|180000 |147586 | 0 | 0.0 | 66M| 87 | - | 160 |3263 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
14.20/14.21 c 12.8s|190000 |155412 | 0 | 0.0 | 69M| 87 | - | 160 |3294 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
15.09/15.11 c 13.6s|200000 |163244 | 0 | 0.0 | 73M| 87 | - | 160 |3535 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
15.99/16.05 c 14.4s|210000 |171023 | 0 | 0.0 | 77M| 87 | - | 160 |3229 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
16.99/17.03 c 15.3s|220000 |178684 | 0 | 0.0 | 81M| 87 | - | 160 |3296 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
17.99/18.04 c 16.3s|230000 |186217 | 0 | 0.0 | 84M| 87 | - | 160 |3511 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
19.00/19.08 c 17.2s|240000 |193699 | 0 | 0.0 | 88M| 87 | - | 160 |3722 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
20.09/20.16 c 18.2s|250000 |201029 | 0 | 0.0 | 92M| 87 | - | 160 |4070 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
21.19/21.23 c 19.2s|260000 |208291 | 0 | 0.0 | 96M| 87 | - | 160 |4214 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
22.29/22.36 c 20.3s|270000 |215460 | 0 | 0.0 | 100M| 87 | - | 160 |4044 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
23.49/23.51 c 21.4s|280000 |222641 | 0 | 0.0 | 104M| 87 | - | 160 |3692 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
24.69/24.75 c 22.5s|290000 |229518 | 0 | 0.0 | 108M| 87 | - | 160 |3967 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
25.99/26.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.99/26.02 c 23.7s|300000 |236347 | 0 | 0.0 | 112M| 87 | - | 160 |4223 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
27.29/27.37 c 25.0s|310000 |242845 | 0 | 0.0 | 116M| 87 | - | 160 |4484 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
28.69/28.70 c 26.2s|320000 |249369 | 0 | 0.0 | 120M| 87 | - | 160 |4683 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
30.09/30.15 c 27.6s|330000 |255669 | 0 | 0.0 | 124M| 87 | - | 160 |5008 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
31.69/31.71 c 29.0s|340000 |261619 | 0 | 0.0 | 129M| 87 | - | 160 |5089 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
33.19/33.28 c 30.5s|350000 |267533 | 0 | 0.0 | 133M| 87 | - | 160 |5218 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
34.99/35.01 c 32.1s|360000 |273003 | 0 | 0.0 | 137M| 87 | - | 160 |4951 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
36.79/36.86 c 33.9s|370000 |278065 | 0 | 0.0 | 141M| 87 | - | 160 |5280 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
38.79/38.87 c 35.8s|380000 |282855 | 0 | 0.0 | 145M| 87 | - | 160 |5834 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
40.99/41.02 c 37.8s|390000 |287145 | 0 | 0.0 | 150M| 87 | - | 160 |6084 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
43.49/43.50 c 40.2s|400000 |290771 | 0 | 0.0 | 154M| 87 | - | 160 |6246 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
46.20/46.23 c 42.8s|410000 |293423 | 0 | 0.0 | 158M| 87 | - | 160 |6301 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
48.39/48.48 c 45.0s|420000 |297862 | 0 | 0.0 | 160M| 87 | - | 160 |2055 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
49.09/49.16 c 45.5s|430000 |306550 | 0 | 0.0 | 163M| 87 | - | 160 |1449 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
49.99/50.02 c 46.3s|440000 |314416 | 0 | 0.0 | 167M| 87 | - | 160 |2414 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
51.19/51.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.19/51.25 c 47.5s|450000 |321505 | 0 | 0.0 | 170M| 87 | - | 160 |2199 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
52.09/52.12 c 48.3s|460000 |329808 | 0 | 0.0 | 174M| 87 | - | 160 |2623 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
52.99/53.05 c 49.1s|470000 |337983 | 0 | 0.0 | 178M| 87 | - | 160 |3098 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
54.00/54.04 c 50.0s|480000 |346111 | 0 | 0.0 | 182M| 87 | - | 160 |3430 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
55.00/55.06 c 51.0s|490000 |354187 | 0 | 0.0 | 185M| 87 | - | 160 |3745 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
56.10/56.16 c 52.0s|500000 |362150 | 0 | 0.0 | 189M| 87 | - | 160 |4154 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
57.19/57.24 c 53.0s|510000 |370195 | 0 | 0.0 | 193M| 87 | - | 160 |4244 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
58.30/58.32 c 54.0s|520000 |378196 | 0 | 0.0 | 197M| 87 | - | 160 |4309 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
59.39/59.43 c 55.0s|530000 |386174 | 0 | 0.0 | 201M| 87 | - | 160 |4867 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
60.40/60.49 c 56.0s|540000 |394214 | 0 | 0.0 | 204M| 87 | - | 160 |4484 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
61.60/61.63 c 57.1s|550000 |402113 | 0 | 0.0 | 208M| 87 | - | 160 |4947 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
62.70/62.74 c 58.2s|560000 |410056 | 0 | 0.0 | 211M| 87 | - | 160 |4722 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
63.80/63.89 c 59.2s|570000 |417959 | 0 | 0.0 | 215M| 87 | - | 160 |5365 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | -- | Inf
64.99/65.06 c 60.3s|580000 |425841 | 0 | 0.0 | 219M| 87 | - | 160 |5004 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | -- | Inf
66.19/66.20 c 61.4s|590000 |433817 | 0 | 0.0 | 222M| 87 | - | 160 |5254 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
67.29/67.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.29/67.35 c 62.5s|600000 |441740 | 0 | 0.0 | 226M| 87 | - | 160 |5605 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | -- | Inf
68.59/68.66 c 63.7s|610000 |449492 | 0 | 0.0 | 230M| 87 | - | 160 |5596 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | -- | Inf
69.79/69.84 c 64.8s|620000 |457394 | 0 | 0.0 | 234M| 87 | - | 160 |5666 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | -- | Inf
71.09/71.10 c 66.0s|630000 |465255 | 0 | 0.0 | 237M| 87 | - | 160 |5793 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | -- | Inf
72.39/72.42 c 67.2s|640000 |472946 | 0 | 0.0 | 241M| 87 | - | 160 |6050 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | -- | Inf
73.59/73.62 c 68.3s|650000 |480798 | 0 | 0.0 | 245M| 87 | - | 160 |5960 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | -- | Inf
74.80/74.88 c 69.5s|660000 |488668 | 0 | 0.0 | 248M| 87 | - | 160 |6189 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | -- | Inf
76.09/76.18 c 70.7s|670000 |496416 | 0 | 0.0 | 252M| 87 | - | 160 |6357 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | -- | Inf
77.39/77.44 c 71.9s|680000 |504154 | 0 | 0.0 | 256M| 87 | - | 160 |6349 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | -- | Inf
78.70/78.72 c 73.1s|690000 |511939 | 0 | 0.0 | 259M| 87 | - | 160 |6522 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | -- | Inf
79.99/80.01 c 74.3s|700000 |519752 | 0 | 0.0 | 263M| 87 | - | 160 |6546 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | -- | Inf
81.39/81.40 c 75.7s|710000 |527434 | 0 | 0.0 | 267M| 87 | - | 160 |6429 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | -- | Inf
82.70/82.72 c 76.9s|720000 |535243 | 0 | 0.0 | 270M| 87 | - | 160 |6623 | 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | -- | Inf
84.00/84.09 c 78.2s|730000 |542984 | 0 | 0.0 | 274M| 87 | - | 160 |6829 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | -- | Inf
85.50/85.51 c 79.5s|740000 |550628 | 0 | 0.0 | 278M| 87 | - | 160 |7010 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | -- | Inf
86.89/86.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.89/86.91 c 80.9s|750000 |558269 | 0 | 0.0 | 281M| 87 | - | 160 |7119 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | -- | Inf
88.20/88.28 c 82.2s|760000 |566041 | 0 | 0.0 | 285M| 87 | - | 160 |7009 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | -- | Inf
89.70/89.77 c 83.5s|770000 |573651 | 0 | 0.0 | 289M| 87 | - | 160 |7151 | 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | -- | Inf
91.20/91.27 c 85.0s|780000 |581201 | 0 | 0.0 | 293M| 87 | - | 160 |7341 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | -- | Inf
92.79/92.82 c 86.5s|790000 |588739 | 0 | 0.0 | 296M| 87 | - | 160 |7450 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | -- | Inf
94.19/94.25 c 87.8s|800000 |596443 | 0 | 0.0 | 300M| 87 | - | 160 |7554 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | -- | Inf
95.70/95.73 c 89.2s|810000 |604079 | 0 | 0.0 | 304M| 87 | - | 160 |7705 | 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | -- | Inf
97.09/97.11 c 90.5s|820000 |611888 | 0 | 0.0 | 307M| 87 | - | 160 |7429 | 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | -- | Inf
98.59/98.60 c 91.9s|830000 |619478 | 0 | 0.0 | 311M| 87 | - | 160 |7847 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | -- | Inf
100.10/100.14 c 93.4s|840000 |627047 | 0 | 0.0 | 315M| 87 | - | 160 |7998 | 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | -- | Inf
101.59/101.67 c 94.8s|850000 |634579 | 0 | 0.0 | 319M| 87 | - | 160 |8055 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | -- | Inf
103.19/103.23 c 96.3s|860000 |642177 | 0 | 0.0 | 322M| 87 | - | 160 |8098 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | -- | Inf
104.79/104.80 c 97.8s|870000 |649806 | 0 | 0.0 | 326M| 87 | - | 160 |8153 | 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | -- | Inf
106.40/106.41 c 99.3s|880000 |657339 | 0 | 0.0 | 330M| 87 | - | 160 |8155 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | -- | Inf
107.99/108.08 c 101s|890000 |664705 | 0 | 0.0 | 334M| 87 | - | 160 |8379 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | -- | Inf
109.79/109.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.79/109.88 c 103s|900000 |671972 | 0 | 0.0 | 337M| 87 | - | 160 |8644 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | -- | Inf
111.59/111.62 c 104s|910000 |679336 | 0 | 0.0 | 341M| 87 | - | 160 |8758 | 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | -- | Inf
113.20/113.29 c 106s|920000 |686798 | 0 | 0.0 | 345M| 87 | - | 160 |8527 | 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | -- | Inf
114.89/114.96 c 107s|930000 |694302 | 0 | 0.0 | 348M| 87 | - | 160 |8562 | 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | -- | Inf
116.60/116.64 c 109s|940000 |701844 | 0 | 0.0 | 352M| 87 | - | 160 |8385 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | -- | Inf
118.39/118.40 c 111s|950000 |709092 | 0 | 0.0 | 356M| 87 | - | 160 |9032 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | -- | Inf
120.29/120.36 c 113s|960000 |716163 | 0 | 0.0 | 360M| 87 | - | 160 |9159 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | -- | Inf
122.19/122.21 c 114s|970000 |723462 | 0 | 0.0 | 364M| 87 | - | 160 |9264 | 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | -- | Inf
123.99/124.03 c 116s|980000 |730793 | 0 | 0.0 | 367M| 87 | - | 160 |9107 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | -- | Inf
125.79/125.83 c 118s|990000 |738158 | 0 | 0.0 | 371M| 87 | - | 160 |9047 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | -- | Inf
127.50/127.59 c 120s| 1000k|745550 | 0 | 0.0 | 375M| 87 | - | 160 |9105 | 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | -- | Inf
129.39/129.46 c 121s| 1010k|752849 | 0 | 0.0 | 378M| 87 | - | 160 |9011 | 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | -- | Inf
131.49/131.59 c 123s| 1020k|759839 | 0 | 0.0 | 383M| 87 | - | 160 |9782 | 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | -- | Inf
133.59/133.64 c 125s| 1030k|766882 | 0 | 0.0 | 386M| 87 | - | 160 |9857 | 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | -- | Inf
135.59/135.60 c 127s| 1040k|774094 | 0 | 0.0 | 390M| 87 | - | 160 |9616 | 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | -- | Inf
137.40/137.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.40/137.46 c 129s| 1050k|781369 | 0 | 0.0 | 394M| 87 | - | 160 |9567 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | -- | Inf
139.29/139.39 c 131s| 1060k|788661 | 0 | 0.0 | 398M| 87 | - | 160 |9572 | 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | -- | Inf
141.19/141.26 c 133s| 1070k|795998 | 0 | 0.0 | 401M| 87 | - | 160 |9629 | 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | -- | Inf
143.10/143.14 c 134s| 1080k|803351 | 0 | 0.0 | 405M| 87 | - | 160 |9438 | 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | -- | Inf
145.29/145.36 c 137s| 1090k|810240 | 0 | 0.0 | 409M| 87 | - | 160 | 10k| 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | -- | Inf
147.59/147.61 c 139s| 1100k|817127 | 0 | 0.0 | 413M| 87 | - | 160 | 10k| 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | -- | Inf
149.80/149.82 c 141s| 1110k|824118 | 0 | 0.0 | 417M| 87 | - | 160 | 10k| 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | -- | Inf
151.89/151.90 c 143s| 1120k|831220 | 0 | 0.0 | 421M| 87 | - | 160 | 10k| 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | -- | Inf
153.79/153.89 c 145s| 1130k|838463 | 0 | 0.0 | 424M| 87 | - | 160 |9902 | 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | -- | Inf
155.89/155.90 c 147s| 1140k|845733 | 0 | 0.0 | 428M| 87 | - | 160 |9781 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | -- | Inf
157.90/157.94 c 149s| 1150k|852933 | 0 | 0.0 | 432M| 87 | - | 160 | 10k| 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | -- | Inf
159.89/159.94 c 151s| 1160k|860153 | 0 | 0.0 | 436M| 87 | - | 160 | 10k| 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | -- | Inf
162.29/162.31 c 153s| 1170k|866890 | 0 | 0.0 | 440M| 87 | - | 160 | 10k| 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | -- | Inf
164.59/164.66 c 155s| 1180k|873706 | 0 | 0.0 | 444M| 87 | - | 160 | 10k| 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | -- | Inf
166.90/166.90 c 157s| 1190k|880625 | 0 | 0.0 | 447M| 87 | - | 160 | 10k| 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | -- | Inf
169.20/169.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.20/169.22 c 160s| 1200k|887521 | 0 | 0.0 | 451M| 87 | - | 160 | 10k| 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | -- | Inf
171.39/171.41 c 162s| 1210k|894576 | 0 | 0.0 | 455M| 87 | - | 160 | 10k| 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | -- | Inf
173.50/173.55 c 164s| 1220k|901636 | 0 | 0.0 | 459M| 87 | - | 160 | 10k| 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | -- | Inf
175.60/175.67 c 166s| 1230k|908682 | 0 | 0.0 | 463M| 87 | - | 160 | 10k| 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | -- | Inf
177.79/177.83 c 168s| 1240k|915749 | 0 | 0.0 | 467M| 87 | - | 160 | 10k| 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | -- | Inf
179.90/179.98 c 170s| 1250k|922698 | 0 | 0.0 | 470M| 87 | - | 160 | 10k| 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | -- | Inf
182.30/182.36 c 172s| 1260k|929480 | 0 | 0.0 | 474M| 87 | - | 160 | 10k| 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | -- | Inf
184.70/184.75 c 175s| 1270k|936269 | 0 | 0.0 | 478M| 87 | - | 160 | 10k| 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | -- | Inf
187.19/187.20 c 177s| 1280k|943006 | 0 | 0.0 | 482M| 87 | - | 160 | 10k| 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | -- | Inf
189.40/189.48 c 179s| 1290k|949898 | 0 | 0.0 | 486M| 87 | - | 160 | 10k| 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | -- | Inf
191.69/191.73 c 181s| 1300k|956914 | 0 | 0.0 | 490M| 87 | - | 160 | 10k| 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | -- | Inf
193.99/194.01 c 183s| 1310k|963858 | 0 | 0.0 | 494M| 87 | - | 160 | 10k| 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | -- | Inf
196.29/196.37 c 186s| 1320k|970710 | 0 | 0.0 | 498M| 87 | - | 160 | 10k| 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | -- | Inf
198.60/198.63 c 188s| 1330k|977660 | 0 | 0.0 | 502M| 87 | - | 160 | 10k| 0 | 0 | 0 | 826k| 0 | 0.000000e+00 | -- | Inf
201.09/201.17 c 190s| 1340k|984295 | 0 | 0.0 | 506M| 87 | - | 160 | 11k| 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | -- | Inf
203.80/203.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.80/203.85 c 193s| 1350k|990752 | 0 | 0.0 | 510M| 87 | - | 160 | 11k| 0 | 0 | 0 | 842k| 0 | 0.000000e+00 | -- | Inf
206.29/206.35 c 195s| 1360k|997450 | 0 | 0.0 | 514M| 87 | - | 160 | 11k| 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | -- | Inf
208.70/208.78 c 198s| 1370k| 1004k| 0 | 0.0 | 518M| 87 | - | 160 | 11k| 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | -- | Inf
210.99/211.00 c 200s| 1380k| 1011k| 0 | 0.0 | 522M| 87 | - | 160 | 11k| 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | -- | Inf
213.49/213.50 c 202s| 1390k| 1017k| 0 | 0.0 | 525M| 87 | - | 160 | 11k| 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | -- | Inf
215.89/215.97 c 205s| 1400k| 1024k| 0 | 0.0 | 529M| 87 | - | 160 | 11k| 0 | 0 | 0 | 878k| 0 | 0.000000e+00 | -- | Inf
218.30/218.34 c 207s| 1410k| 1031k| 0 | 0.0 | 533M| 87 | - | 160 | 11k| 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | -- | Inf
220.70/220.78 c 209s| 1420k| 1038k| 0 | 0.0 | 537M| 87 | - | 160 | 11k| 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | -- | Inf
223.30/223.39 c 212s| 1430k| 1044k| 0 | 0.0 | 541M| 87 | - | 160 | 11k| 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | -- | Inf
226.09/226.13 c 215s| 1440k| 1051k| 0 | 0.0 | 545M| 87 | - | 160 | 11k| 0 | 0 | 0 | 908k| 0 | 0.000000e+00 | -- | Inf
228.80/228.82 c 217s| 1450k| 1057k| 0 | 0.0 | 549M| 87 | - | 160 | 11k| 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | -- | Inf
231.40/231.44 c 220s| 1460k| 1064k| 0 | 0.0 | 553M| 87 | - | 160 | 11k| 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | -- | Inf
234.00/234.07 c 222s| 1470k| 1070k| 0 | 0.0 | 557M| 87 | - | 160 | 11k| 0 | 0 | 0 | 930k| 0 | 0.000000e+00 | -- | Inf
236.60/236.61 c 225s| 1480k| 1077k| 0 | 0.0 | 561M| 87 | - | 160 | 11k| 0 | 0 | 0 | 938k| 0 | 0.000000e+00 | -- | Inf
239.09/239.12 c 227s| 1490k| 1084k| 0 | 0.0 | 565M| 87 | - | 160 | 11k| 0 | 0 | 0 | 945k| 0 | 0.000000e+00 | -- | Inf
241.49/241.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.49/241.51 c 229s| 1500k| 1090k| 0 | 0.0 | 569M| 87 | - | 160 | 11k| 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | -- | Inf
243.90/243.95 c 232s| 1510k| 1097k| 0 | 0.0 | 573M| 87 | - | 160 | 11k| 0 | 0 | 0 | 959k| 0 | 0.000000e+00 | -- | Inf
246.60/246.61 c 234s| 1520k| 1104k| 0 | 0.0 | 577M| 87 | - | 160 | 11k| 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | -- | Inf
249.60/249.67 c 237s| 1530k| 1110k| 0 | 0.0 | 581M| 87 | - | 160 | 11k| 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | -- | Inf
252.60/252.61 c 240s| 1540k| 1116k| 0 | 0.0 | 585M| 87 | - | 160 | 11k| 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | -- | Inf
255.30/255.35 c 243s| 1550k| 1123k| 0 | 0.0 | 589M| 87 | - | 160 | 11k| 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | -- | Inf
258.00/258.04 c 245s| 1560k| 1129k| 0 | 0.0 | 593M| 87 | - | 160 | 11k| 0 | 0 | 0 | 998k| 0 | 0.000000e+00 | -- | Inf
260.80/260.89 c 248s| 1570k| 1136k| 0 | 0.0 | 597M| 87 | - | 160 | 11k| 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | -- | Inf
263.49/263.51 c 251s| 1580k| 1142k| 0 | 0.0 | 601M| 87 | - | 160 | 11k| 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | -- | Inf
266.00/266.07 c 253s| 1590k| 1149k| 0 | 0.0 | 605M| 87 | - | 160 | 11k| 0 | 0 | 0 |1021k| 0 | 0.000000e+00 | -- | Inf
268.70/268.79 c 256s| 1600k| 1155k| 0 | 0.0 | 609M| 87 | - | 160 | 11k| 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | -- | Inf
271.40/271.44 c 258s| 1610k| 1162k| 0 | 0.0 | 613M| 87 | - | 160 | 11k| 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | -- | Inf
274.60/274.69 c 262s| 1620k| 1168k| 0 | 0.0 | 617M| 87 | - | 160 | 12k| 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | -- | Inf
277.69/277.79 c 265s| 1630k| 1174k| 0 | 0.0 | 621M| 87 | - | 160 | 11k| 0 | 0 | 0 |1053k| 0 | 0.000000e+00 | -- | Inf
280.51/280.59 c 267s| 1640k| 1180k| 0 | 0.0 | 625M| 87 | - | 160 | 11k| 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | -- | Inf
283.30/283.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
283.30/283.30 c 270s| 1650k| 1187k| 0 | 0.0 | 629M| 87 | - | 160 | 12k| 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | -- | Inf
286.00/286.06 c 273s| 1660k| 1193k| 0 | 0.0 | 633M| 87 | - | 160 | 12k| 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | -- | Inf
288.60/288.70 c 275s| 1670k| 1200k| 0 | 0.0 | 637M| 87 | - | 160 | 12k| 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | -- | Inf
291.29/291.40 c 278s| 1680k| 1206k| 0 | 0.0 | 641M| 87 | - | 160 | 11k| 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | -- | Inf
294.10/294.14 c 280s| 1690k| 1213k| 0 | 0.0 | 645M| 87 | - | 160 | 11k| 0 | 0 | 0 |1100k| 0 | 0.000000e+00 | -- | Inf
296.70/296.78 c 283s| 1700k| 1219k| 0 | 0.0 | 649M| 87 | - | 160 | 11k| 0 | 0 | 0 |1108k| 0 | 0.000000e+00 | -- | Inf
299.79/299.80 c 286s| 1710k| 1225k| 0 | 0.0 | 653M| 87 | - | 160 | 12k| 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | -- | Inf
302.70/302.79 c 289s| 1720k| 1231k| 0 | 0.0 | 658M| 87 | - | 160 | 11k| 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | -- | Inf
305.70/305.70 c 292s| 1730k| 1237k| 0 | 0.0 | 662M| 87 | - | 160 | 11k| 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | -- | Inf
308.70/308.72 c 294s| 1740k| 1243k| 0 | 0.0 | 666M| 87 | - | 160 | 12k| 0 | 0 | 0 |1142k| 0 | 0.000000e+00 | -- | Inf
311.60/311.66 c 297s| 1750k| 1250k| 0 | 0.0 | 670M| 87 | - | 160 | 11k| 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | -- | Inf
314.29/314.37 c 300s| 1760k| 1256k| 0 | 0.0 | 674M| 87 | - | 160 | 11k| 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | -- | Inf
317.00/317.07 c 303s| 1770k| 1262k| 0 | 0.0 | 678M| 87 | - | 160 | 11k| 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | -- | Inf
319.80/319.80 c 305s| 1780k| 1269k| 0 | 0.0 | 682M| 87 | - | 160 | 11k| 0 | 0 | 0 |1174k| 0 | 0.000000e+00 | -- | Inf
322.70/322.77 c 308s| 1790k| 1275k| 0 | 0.0 | 686M| 87 | - | 160 | 11k| 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | -- | Inf
326.00/326.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
326.00/326.07 c 311s| 1800k| 1281k| 0 | 0.0 | 690M| 87 | - | 160 | 11k| 0 | 0 | 0 |1191k| 0 | 0.000000e+00 | -- | Inf
329.30/329.33 c 314s| 1810k| 1287k| 0 | 0.0 | 694M| 87 | - | 160 | 11k| 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | -- | Inf
332.40/332.46 c 318s| 1820k| 1293k| 0 | 0.0 | 698M| 87 | - | 160 | 11k| 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | -- | Inf
335.60/335.64 c 321s| 1830k| 1298k| 0 | 0.0 | 702M| 87 | - | 160 | 12k| 0 | 0 | 0 |1217k| 0 | 0.000000e+00 | -- | Inf
338.70/338.75 c 324s| 1840k| 1304k| 0 | 0.0 | 706M| 87 | - | 160 | 12k| 0 | 0 | 0 |1226k| 0 | 0.000000e+00 | -- | Inf
341.80/341.80 c 327s| 1850k| 1310k| 0 | 0.0 | 710M| 87 | - | 160 | 12k| 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | -- | Inf
344.79/344.81 c 330s| 1860k| 1316k| 0 | 0.0 | 714M| 87 | - | 160 | 11k| 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | -- | Inf
347.80/347.83 c 332s| 1870k| 1323k| 0 | 0.0 | 718M| 87 | - | 160 | 12k| 0 | 0 | 0 |1250k| 0 | 0.000000e+00 | -- | Inf
350.70/350.77 c 335s| 1880k| 1329k| 0 | 0.0 | 722M| 87 | - | 160 | 11k| 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | -- | Inf
353.50/353.59 c 338s| 1890k| 1335k| 0 | 0.0 | 726M| 87 | - | 160 | 11k| 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | -- | Inf
356.80/356.81 c 341s| 1900k| 1341k| 0 | 0.0 | 730M| 87 | - | 160 | 11k| 0 | 0 | 0 |1275k| 0 | 0.000000e+00 | -- | Inf
360.00/360.08 c 344s| 1910k| 1346k| 0 | 0.0 | 735M| 87 | - | 160 | 12k| 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | -- | Inf
363.50/363.51 c 348s| 1920k| 1352k| 0 | 0.0 | 739M| 87 | - | 160 | 12k| 0 | 0 | 0 |1294k| 0 | 0.000000e+00 | -- | Inf
366.80/366.80 c 351s| 1930k| 1358k| 0 | 0.0 | 743M| 87 | - | 160 | 12k| 0 | 0 | 0 |1303k| 0 | 0.000000e+00 | -- | Inf
369.89/369.90 c 354s| 1940k| 1364k| 0 | 0.0 | 747M| 87 | - | 160 | 11k| 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | -- | Inf
372.91/372.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
372.91/372.91 c 357s| 1950k| 1370k| 0 | 0.0 | 751M| 87 | - | 160 | 11k| 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | -- | Inf
376.11/376.12 c 360s| 1960k| 1376k| 0 | 0.0 | 755M| 87 | - | 160 | 12k| 0 | 0 | 0 |1328k| 0 | 0.000000e+00 | -- | Inf
379.10/379.16 c 363s| 1970k| 1382k| 0 | 0.0 | 759M| 87 | - | 160 | 11k| 0 | 0 | 0 |1336k| 0 | 0.000000e+00 | -- | Inf
382.00/382.09 c 366s| 1980k| 1388k| 0 | 0.0 | 763M| 87 | - | 160 | 11k| 0 | 0 | 0 |1344k| 0 | 0.000000e+00 | -- | Inf
385.50/385.52 c 369s| 1990k| 1393k| 0 | 0.0 | 767M| 87 | - | 160 | 11k| 0 | 0 | 0 |1353k| 0 | 0.000000e+00 | -- | Inf
388.90/388.95 c 372s| 2000k| 1399k| 0 | 0.0 | 771M| 87 | - | 160 | 12k| 0 | 0 | 0 |1362k| 0 | 0.000000e+00 | -- | Inf
392.40/392.48 c 376s| 2010k| 1404k| 0 | 0.0 | 775M| 87 | - | 160 | 12k| 0 | 0 | 0 |1372k| 0 | 0.000000e+00 | -- | Inf
395.80/395.86 c 379s| 2020k| 1410k| 0 | 0.0 | 779M| 87 | - | 160 | 12k| 0 | 0 | 0 |1381k| 0 | 0.000000e+00 | -- | Inf
399.10/399.14 c 382s| 2030k| 1416k| 0 | 0.0 | 783M| 87 | - | 160 | 11k| 0 | 0 | 0 |1390k| 0 | 0.000000e+00 | -- | Inf
402.51/402.52 c 386s| 2040k| 1421k| 0 | 0.0 | 787M| 87 | - | 160 | 11k| 0 | 0 | 0 |1399k| 0 | 0.000000e+00 | -- | Inf
405.50/405.58 c 388s| 2050k| 1427k| 0 | 0.0 | 791M| 87 | - | 160 | 11k| 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | -- | Inf
408.70/408.78 c 392s| 2060k| 1433k| 0 | 0.0 | 795M| 87 | - | 160 | 11k| 0 | 0 | 0 |1416k| 0 | 0.000000e+00 | -- | Inf
411.80/411.89 c 395s| 2070k| 1439k| 0 | 0.0 | 800M| 87 | - | 160 | 11k| 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | -- | Inf
415.30/415.33 c 398s| 2080k| 1444k| 0 | 0.0 | 804M| 87 | - | 160 | 11k| 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | -- | Inf
418.80/418.86 c 401s| 2090k| 1449k| 0 | 0.0 | 808M| 87 | - | 160 | 12k| 0 | 0 | 0 |1444k| 0 | 0.000000e+00 | -- | Inf
422.41/422.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
422.41/422.49 c 405s| 2100k| 1455k| 0 | 0.0 | 812M| 87 | - | 160 | 12k| 0 | 0 | 0 |1454k| 0 | 0.000000e+00 | -- | Inf
425.90/425.94 c 408s| 2110k| 1460k| 0 | 0.0 | 816M| 87 | - | 160 | 12k| 0 | 0 | 0 |1464k| 0 | 0.000000e+00 | -- | Inf
429.20/429.28 c 412s| 2120k| 1466k| 0 | 0.0 | 820M| 87 | - | 160 | 12k| 0 | 0 | 0 |1473k| 0 | 0.000000e+00 | -- | Inf
432.70/432.74 c 415s| 2130k| 1471k| 0 | 0.0 | 824M| 87 | - | 160 | 11k| 0 | 0 | 0 |1482k| 0 | 0.000000e+00 | -- | Inf
436.00/436.08 c 418s| 2140k| 1477k| 0 | 0.0 | 828M| 87 | - | 160 | 11k| 0 | 0 | 0 |1491k| 0 | 0.000000e+00 | -- | Inf
439.30/439.39 c 421s| 2150k| 1483k| 0 | 0.0 | 832M| 87 | - | 160 | 11k| 0 | 0 | 0 |1500k| 0 | 0.000000e+00 | -- | Inf
442.70/442.72 c 425s| 2160k| 1488k| 0 | 0.0 | 836M| 87 | - | 160 | 11k| 0 | 0 | 0 |1509k| 0 | 0.000000e+00 | -- | Inf
446.40/446.41 c 428s| 2170k| 1493k| 0 | 0.0 | 841M| 87 | - | 160 | 12k| 0 | 0 | 0 |1519k| 0 | 0.000000e+00 | -- | Inf
450.10/450.12 c 432s| 2180k| 1498k| 0 | 0.0 | 845M| 87 | - | 160 | 12k| 0 | 0 | 0 |1529k| 0 | 0.000000e+00 | -- | Inf
453.71/453.77 c 435s| 2190k| 1503k| 0 | 0.0 | 849M| 87 | - | 160 | 12k| 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | -- | Inf
457.40/457.48 c 439s| 2200k| 1508k| 0 | 0.0 | 853M| 87 | - | 160 | 11k| 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | -- | Inf
461.00/461.03 c 442s| 2210k| 1514k| 0 | 0.0 | 857M| 87 | - | 160 | 11k| 0 | 0 | 0 |1559k| 0 | 0.000000e+00 | -- | Inf
464.40/464.40 c 446s| 2220k| 1519k| 0 | 0.0 | 861M| 87 | - | 160 | 11k| 0 | 0 | 0 |1568k| 0 | 0.000000e+00 | -- | Inf
467.81/467.81 c 449s| 2230k| 1524k| 0 | 0.0 | 865M| 87 | - | 160 | 11k| 0 | 0 | 0 |1577k| 0 | 0.000000e+00 | -- | Inf
471.20/471.21 c 452s| 2240k| 1530k| 0 | 0.0 | 869M| 87 | - | 160 | 11k| 0 | 0 | 0 |1587k| 0 | 0.000000e+00 | -- | Inf
474.90/474.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
474.90/474.98 c 456s| 2250k| 1535k| 0 | 0.0 | 873M| 87 | - | 160 | 12k| 0 | 0 | 0 |1597k| 0 | 0.000000e+00 | -- | Inf
478.70/478.76 c 460s| 2260k| 1540k| 0 | 0.0 | 877M| 87 | - | 160 | 12k| 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | -- | Inf
482.71/482.77 c 464s| 2270k| 1544k| 0 | 0.0 | 881M| 87 | - | 160 | 12k| 0 | 0 | 0 |1619k| 0 | 0.000000e+00 | -- | Inf
486.41/486.42 c 467s| 2280k| 1549k| 0 | 0.0 | 885M| 87 | - | 160 | 11k| 0 | 0 | 0 |1629k| 0 | 0.000000e+00 | -- | Inf
490.00/490.05 c 471s| 2290k| 1555k| 0 | 0.0 | 889M| 87 | - | 160 | 11k| 0 | 0 | 0 |1639k| 0 | 0.000000e+00 | -- | Inf
493.51/493.50 c 474s| 2300k| 1560k| 0 | 0.0 | 893M| 87 | - | 160 | 11k| 0 | 0 | 0 |1648k| 0 | 0.000000e+00 | -- | Inf
497.00/497.02 c 478s| 2310k| 1565k| 0 | 0.0 | 897M| 87 | - | 160 | 11k| 0 | 0 | 0 |1658k| 0 | 0.000000e+00 | -- | Inf
500.31/500.34 c 481s| 2320k| 1570k| 0 | 0.0 | 902M| 87 | - | 160 | 11k| 0 | 0 | 0 |1667k| 0 | 0.000000e+00 | -- | Inf
504.10/504.11 c 484s| 2330k| 1575k| 0 | 0.0 | 906M| 87 | - | 160 | 12k| 0 | 0 | 0 |1678k| 0 | 0.000000e+00 | -- | Inf
508.00/508.08 c 488s| 2340k| 1579k| 0 | 0.0 | 910M| 87 | - | 160 | 12k| 0 | 0 | 0 |1690k| 0 | 0.000000e+00 | -- | Inf
512.00/512.06 c 492s| 2350k| 1584k| 0 | 0.0 | 914M| 87 | - | 160 | 11k| 0 | 0 | 0 |1701k| 0 | 0.000000e+00 | -- | Inf
515.91/515.97 c 496s| 2360k| 1588k| 0 | 0.0 | 918M| 87 | - | 160 | 11k| 0 | 0 | 0 |1712k| 0 | 0.000000e+00 | -- | Inf
519.61/519.63 c 500s| 2370k| 1593k| 0 | 0.0 | 922M| 87 | - | 160 | 11k| 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | -- | Inf
523.40/523.40 c 503s| 2380k| 1598k| 0 | 0.0 | 926M| 87 | - | 160 | 10k| 0 | 0 | 0 |1732k| 0 | 0.000000e+00 | -- | Inf
526.91/526.97 c 507s| 2390k| 1603k| 0 | 0.0 | 930M| 87 | - | 160 | 11k| 0 | 0 | 0 |1742k| 0 | 0.000000e+00 | -- | Inf
530.80/530.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
530.80/530.83 c 510s| 2400k| 1608k| 0 | 0.0 | 934M| 87 | - | 160 | 12k| 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | -- | Inf
535.00/535.01 c 515s| 2410k| 1612k| 0 | 0.0 | 938M| 87 | - | 160 | 12k| 0 | 0 | 0 |1765k| 0 | 0.000000e+00 | -- | Inf
539.20/539.23 c 519s| 2420k| 1616k| 0 | 0.0 | 942M| 87 | - | 160 | 11k| 0 | 0 | 0 |1776k| 0 | 0.000000e+00 | -- | Inf
543.20/543.26 c 523s| 2430k| 1621k| 0 | 0.0 | 946M| 87 | - | 160 | 11k| 0 | 0 | 0 |1787k| 0 | 0.000000e+00 | -- | Inf
547.20/547.23 c 526s| 2440k| 1625k| 0 | 0.0 | 950M| 87 | - | 160 | 11k| 0 | 0 | 0 |1798k| 0 | 0.000000e+00 | -- | Inf
551.01/551.07 c 530s| 2450k| 1630k| 0 | 0.0 | 954M| 87 | - | 160 | 11k| 0 | 0 | 0 |1809k| 0 | 0.000000e+00 | -- | Inf
554.70/554.79 c 534s| 2460k| 1635k| 0 | 0.0 | 959M| 87 | - | 160 | 11k| 0 | 0 | 0 |1819k| 0 | 0.000000e+00 | -- | Inf
558.60/558.68 c 538s| 2470k| 1639k| 0 | 0.0 | 963M| 87 | - | 160 | 11k| 0 | 0 | 0 |1829k| 0 | 0.000000e+00 | -- | Inf
563.00/563.07 c 542s| 2480k| 1643k| 0 | 0.0 | 966M| 87 | - | 160 | 12k| 0 | 0 | 0 |1842k| 0 | 0.000000e+00 | -- | Inf
567.30/567.36 c 546s| 2490k| 1647k| 0 | 0.0 | 970M| 87 | - | 160 | 12k| 0 | 0 | 0 |1855k| 0 | 0.000000e+00 | -- | Inf
571.61/571.64 c 550s| 2500k| 1651k| 0 | 0.0 | 974M| 87 | - | 160 | 11k| 0 | 0 | 0 |1866k| 0 | 0.000000e+00 | -- | Inf
575.60/575.69 c 554s| 2510k| 1655k| 0 | 0.0 | 978M| 87 | - | 160 | 11k| 0 | 0 | 0 |1878k| 0 | 0.000000e+00 | -- | Inf
579.50/579.60 c 558s| 2520k| 1660k| 0 | 0.0 | 983M| 87 | - | 160 | 11k| 0 | 0 | 0 |1888k| 0 | 0.000000e+00 | -- | Inf
583.40/583.40 c 562s| 2530k| 1665k| 0 | 0.0 | 987M| 87 | - | 160 | 11k| 0 | 0 | 0 |1898k| 0 | 0.000000e+00 | -- | Inf
587.50/587.51 c 566s| 2540k| 1669k| 0 | 0.0 | 991M| 87 | - | 160 | 11k| 0 | 0 | 0 |1910k| 0 | 0.000000e+00 | -- | Inf
592.21/592.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
592.21/592.21 c 570s| 2550k| 1672k| 0 | 0.0 | 995M| 87 | - | 160 | 12k| 0 | 0 | 0 |1924k| 0 | 0.000000e+00 | -- | Inf
596.70/596.76 c 575s| 2560k| 1676k| 0 | 0.0 | 999M| 87 | - | 160 | 12k| 0 | 0 | 0 |1936k| 0 | 0.000000e+00 | -- | Inf
601.21/601.22 c 579s| 2570k| 1680k| 0 | 0.0 |1003M| 87 | - | 160 | 12k| 0 | 0 | 0 |1949k| 0 | 0.000000e+00 | -- | Inf
605.50/605.52 c 583s| 2580k| 1684k| 0 | 0.0 |1007M| 87 | - | 160 | 11k| 0 | 0 | 0 |1960k| 0 | 0.000000e+00 | -- | Inf
609.61/609.68 c 587s| 2590k| 1688k| 0 | 0.0 |1011M| 87 | - | 160 | 11k| 0 | 0 | 0 |1971k| 0 | 0.000000e+00 | -- | Inf
614.00/614.03 c 592s| 2600k| 1692k| 0 | 0.0 |1015M| 87 | - | 160 | 11k| 0 | 0 | 0 |1983k| 0 | 0.000000e+00 | -- | Inf
619.00/619.09 c 597s| 2610k| 1695k| 0 | 0.0 |1019M| 87 | - | 160 | 13k| 0 | 0 | 0 |1997k| 0 | 0.000000e+00 | -- | Inf
624.11/624.10 c 602s| 2620k| 1698k| 0 | 0.0 |1023M| 87 | - | 160 | 12k| 0 | 0 | 0 |2011k| 0 | 0.000000e+00 | -- | Inf
628.71/628.75 c 606s| 2630k| 1702k| 0 | 0.0 |1027M| 87 | - | 160 | 12k| 0 | 0 | 0 |2024k| 0 | 0.000000e+00 | -- | Inf
633.21/633.28 c 611s| 2640k| 1706k| 0 | 0.0 |1031M| 87 | - | 160 | 11k| 0 | 0 | 0 |2035k| 0 | 0.000000e+00 | -- | Inf
637.60/637.69 c 615s| 2650k| 1709k| 0 | 0.0 |1035M| 87 | - | 160 | 12k| 0 | 0 | 0 |2047k| 0 | 0.000000e+00 | -- | Inf
642.32/642.34 c 619s| 2660k| 1713k| 0 | 0.0 |1039M| 87 | - | 160 | 12k| 0 | 0 | 0 |2060k| 0 | 0.000000e+00 | -- | Inf
647.60/647.67 c 625s| 2670k| 1715k| 0 | 0.0 |1043M| 87 | - | 160 | 13k| 0 | 0 | 0 |2075k| 0 | 0.000000e+00 | -- | Inf
652.80/652.82 c 630s| 2680k| 1718k| 0 | 0.0 |1047M| 87 | - | 160 | 12k| 0 | 0 | 0 |2088k| 0 | 0.000000e+00 | -- | Inf
657.61/657.64 c 634s| 2690k| 1722k| 0 | 0.0 |1051M| 87 | - | 160 | 12k| 0 | 0 | 0 |2101k| 0 | 0.000000e+00 | -- | Inf
662.70/662.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
662.70/662.72 c 639s| 2700k| 1725k| 0 | 0.0 |1055M| 87 | - | 160 | 12k| 0 | 0 | 0 |2113k| 0 | 0.000000e+00 | -- | Inf
667.61/667.61 c 644s| 2710k| 1728k| 0 | 0.0 |1059M| 87 | - | 160 | 13k| 0 | 0 | 0 |2127k| 0 | 0.000000e+00 | -- | Inf
673.40/673.40 c 650s| 2720k| 1731k| 0 | 0.0 |1062M| 87 | - | 160 | 13k| 0 | 0 | 0 |2142k| 0 | 0.000000e+00 | -- | Inf
678.40/678.45 c 655s| 2730k| 1734k| 0 | 0.0 |1066M| 87 | - | 160 | 12k| 0 | 0 | 0 |2156k| 0 | 0.000000e+00 | -- | Inf
683.40/683.42 c 660s| 2740k| 1737k| 0 | 0.0 |1070M| 87 | - | 160 | 12k| 0 | 0 | 0 |2169k| 0 | 0.000000e+00 | -- | Inf
688.31/688.39 c 664s| 2750k| 1740k| 0 | 0.0 |1074M| 87 | - | 160 | 12k| 0 | 0 | 0 |2182k| 0 | 0.000000e+00 | -- | Inf
694.41/694.40 c 670s| 2760k| 1742k| 0 | 0.0 |1077M| 87 | - | 160 | 13k| 0 | 0 | 0 |2198k| 0 | 0.000000e+00 | -- | Inf
699.81/699.83 c 676s| 2770k| 1744k| 0 | 0.0 |1081M| 87 | - | 160 | 12k| 0 | 0 | 0 |2213k| 0 | 0.000000e+00 | -- | Inf
705.11/705.12 c 681s| 2780k| 1747k| 0 | 0.0 |1085M| 87 | - | 160 | 12k| 0 | 0 | 0 |2226k| 0 | 0.000000e+00 | -- | Inf
710.71/710.73 c 686s| 2790k| 1749k| 0 | 0.0 |1088M| 87 | - | 160 | 13k| 0 | 0 | 0 |2241k| 0 | 0.000000e+00 | -- | Inf
716.51/716.53 c 692s| 2800k| 1751k| 0 | 0.0 |1092M| 87 | - | 160 | 12k| 0 | 0 | 0 |2256k| 0 | 0.000000e+00 | -- | Inf
722.10/722.17 c 698s| 2810k| 1753k| 0 | 0.0 |1096M| 87 | - | 160 | 12k| 0 | 0 | 0 |2270k| 0 | 0.000000e+00 | -- | Inf
727.60/727.62 c 703s| 2820k| 1755k| 0 | 0.0 |1099M| 87 | - | 160 | 13k| 0 | 0 | 0 |2284k| 0 | 0.000000e+00 | -- | Inf
733.51/733.60 c 709s| 2830k| 1757k| 0 | 0.0 |1102M| 87 | - | 160 | 13k| 0 | 0 | 0 |2300k| 0 | 0.000000e+00 | -- | Inf
739.22/739.24 c 714s| 2840k| 1759k| 0 | 0.0 |1106M| 87 | - | 160 | 12k| 0 | 0 | 0 |2314k| 0 | 0.000000e+00 | -- | Inf
745.50/745.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
745.50/745.55 c 720s| 2850k| 1761k| 0 | 0.0 |1108M| 87 | - | 160 | 13k| 0 | 0 | 0 |2331k| 0 | 0.000000e+00 | -- | Inf
751.51/751.51 c 726s| 2860k| 1762k| 0 | 0.0 |1112M| 87 | - | 160 | 12k| 0 | 0 | 0 |2346k| 0 | 0.000000e+00 | -- | Inf
757.81/757.85 c 732s| 2870k| 1763k| 0 | 0.0 |1115M| 87 | - | 160 | 13k| 0 | 0 | 0 |2363k| 0 | 0.000000e+00 | -- | Inf
763.91/763.97 c 738s| 2880k| 1765k| 0 | 0.0 |1118M| 87 | - | 160 | 13k| 0 | 0 | 0 |2379k| 0 | 0.000000e+00 | -- | Inf
770.71/770.71 c 745s| 2890k| 1765k| 0 | 0.0 |1120M| 87 | - | 160 | 13k| 0 | 0 | 0 |2396k| 0 | 0.000000e+00 | -- | Inf
777.72/777.79 c 752s| 2900k| 1766k| 0 | 0.0 |1123M| 87 | - | 160 | 13k| 0 | 0 | 0 |2414k| 0 | 0.000000e+00 | -- | Inf
784.80/784.84 c 759s| 2910k| 1765k| 0 | 0.0 |1124M| 87 | - | 160 | 13k| 0 | 0 | 0 |2432k| 0 | 0.000000e+00 | -- | Inf
792.51/792.52 c 767s| 2920k| 1764k| 0 | 0.0 |1125M| 87 | - | 160 | 15k| 0 | 0 | 0 |2451k| 0 | 0.000000e+00 | -- | Inf
798.11/798.16 c 772s| 2930k| 1767k| 0 | 0.0 |1122M| 87 | - | 160 |2950 | 0 | 0 | 0 |2464k| 0 | 0.000000e+00 | -- | Inf
799.11/799.10 c 773s| 2940k| 1775k| 0 | 0.0 |1125M| 87 | - | 160 |2266 | 0 | 0 | 0 |2468k| 0 | 0.000000e+00 | -- | Inf
800.01/800.00 c 774s| 2950k| 1784k| 0 | 0.0 |1129M| 87 | - | 160 |2348 | 0 | 0 | 0 |2473k| 0 | 0.000000e+00 | -- | Inf
800.91/800.90 c 775s| 2960k| 1792k| 0 | 0.0 |1133M| 87 | - | 160 |2172 | 0 | 0 | 0 |2477k| 0 | 0.000000e+00 | -- | Inf
801.71/801.78 c 775s| 2970k| 1801k| 0 | 0.0 |1136M| 87 | - | 160 |1838 | 0 | 0 | 0 |2481k| 0 | 0.000000e+00 | -- | Inf
802.61/802.67 c 776s| 2980k| 1809k| 0 | 0.0 |1140M| 87 | - | 160 |1957 | 0 | 0 | 0 |2486k| 0 | 0.000000e+00 | -- | Inf
803.51/803.58 c 777s| 2990k| 1817k| 0 | 0.0 |1143M| 87 | - | 160 |2097 | 0 | 0 | 0 |2490k| 0 | 0.000000e+00 | -- | Inf
804.41/804.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
804.41/804.48 c 778s| 3000k| 1826k| 0 | 0.0 |1147M| 87 | - | 160 |2060 | 0 | 0 | 0 |2495k| 0 | 0.000000e+00 | -- | Inf
805.40/805.42 c 779s| 3010k| 1834k| 0 | 0.0 |1151M| 87 | - | 160 |1810 | 0 | 0 | 0 |2499k| 0 | 0.000000e+00 | -- | Inf
806.41/806.42 c 780s| 3020k| 1842k| 0 | 0.0 |1154M| 87 | - | 160 |2162 | 0 | 0 | 0 |2504k| 0 | 0.000000e+00 | -- | Inf
807.42/807.42 c 780s| 3030k| 1850k| 0 | 0.0 |1158M| 87 | - | 160 |2278 | 0 | 0 | 0 |2509k| 0 | 0.000000e+00 | -- | Inf
808.41/808.44 c 781s| 3040k| 1858k| 0 | 0.0 |1162M| 87 | - | 160 |2453 | 0 | 0 | 0 |2514k| 0 | 0.000000e+00 | -- | Inf
809.41/809.46 c 782s| 3050k| 1866k| 0 | 0.0 |1166M| 87 | - | 160 |2426 | 0 | 0 | 0 |2519k| 0 | 0.000000e+00 | -- | Inf
810.51/810.52 c 783s| 3060k| 1873k| 0 | 0.0 |1169M| 87 | - | 160 |2506 | 0 | 0 | 0 |2524k| 0 | 0.000000e+00 | -- | Inf
811.61/811.66 c 784s| 3070k| 1881k| 0 | 0.0 |1173M| 87 | - | 160 |2735 | 0 | 0 | 0 |2530k| 0 | 0.000000e+00 | -- | Inf
812.81/812.84 c 785s| 3080k| 1889k| 0 | 0.0 |1177M| 87 | - | 160 |2761 | 0 | 0 | 0 |2536k| 0 | 0.000000e+00 | -- | Inf
814.11/814.11 c 787s| 3090k| 1896k| 0 | 0.0 |1181M| 87 | - | 160 |2755 | 0 | 0 | 0 |2542k| 0 | 0.000000e+00 | -- | Inf
815.41/815.41 c 788s| 3100k| 1903k| 0 | 0.0 |1184M| 87 | - | 160 |2862 | 0 | 0 | 0 |2549k| 0 | 0.000000e+00 | -- | Inf
816.71/816.77 c 789s| 3110k| 1911k| 0 | 0.0 |1188M| 87 | - | 160 |2760 | 0 | 0 | 0 |2556k| 0 | 0.000000e+00 | -- | Inf
818.10/818.17 c 790s| 3120k| 1918k| 0 | 0.0 |1192M| 87 | - | 160 |3038 | 0 | 0 | 0 |2563k| 0 | 0.000000e+00 | -- | Inf
819.61/819.65 c 792s| 3130k| 1925k| 0 | 0.0 |1196M| 87 | - | 160 |3043 | 0 | 0 | 0 |2571k| 0 | 0.000000e+00 | -- | Inf
821.11/821.18 c 793s| 3140k| 1931k| 0 | 0.0 |1200M| 87 | - | 160 |3654 | 0 | 0 | 0 |2579k| 0 | 0.000000e+00 | -- | Inf
822.71/822.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
822.71/822.76 c 795s| 3150k| 1938k| 0 | 0.0 |1204M| 87 | - | 160 |3870 | 0 | 0 | 0 |2588k| 0 | 0.000000e+00 | -- | Inf
824.41/824.45 c 796s| 3160k| 1944k| 0 | 0.0 |1208M| 87 | - | 160 |4365 | 0 | 0 | 0 |2597k| 0 | 0.000000e+00 | -- | Inf
826.31/826.30 c 798s| 3170k| 1950k| 0 | 0.0 |1212M| 87 | - | 160 |4555 | 0 | 0 | 0 |2607k| 0 | 0.000000e+00 | -- | Inf
828.31/828.33 c 800s| 3180k| 1956k| 0 | 0.0 |1216M| 87 | - | 160 |5500 | 0 | 0 | 0 |2618k| 0 | 0.000000e+00 | -- | Inf
830.42/830.48 c 802s| 3190k| 1962k| 0 | 0.0 |1220M| 87 | - | 160 |5603 | 0 | 0 | 0 |2629k| 0 | 0.000000e+00 | -- | Inf
833.01/833.04 c 804s| 3200k| 1966k| 0 | 0.0 |1224M| 87 | - | 160 |6594 | 0 | 0 | 0 |2642k| 0 | 0.000000e+00 | -- | Inf
835.81/835.87 c 807s| 3210k| 1970k| 0 | 0.0 |1227M| 87 | - | 160 |6966 | 0 | 0 | 0 |2656k| 0 | 0.000000e+00 | -- | Inf
839.32/839.37 c 811s| 3220k| 1974k| 0 | 0.0 |1231M| 87 | - | 160 |7977 | 0 | 0 | 0 |2672k| 0 | 0.000000e+00 | -- | Inf
842.81/842.84 c 814s| 3230k| 1978k| 0 | 0.0 |1233M| 87 | - | 160 |4497 | 0 | 0 | 0 |2687k| 0 | 0.000000e+00 | -- | Inf
844.61/844.68 c 816s| 3240k| 1986k| 0 | 0.0 |1237M| 87 | - | 160 |4733 | 0 | 0 | 0 |2694k| 0 | 0.000000e+00 | -- | Inf
846.51/846.51 c 817s| 3250k| 1993k| 0 | 0.0 |1240M| 87 | - | 160 |5253 | 0 | 0 | 0 |2700k| 0 | 0.000000e+00 | -- | Inf
848.21/848.24 c 819s| 3260k| 2001k| 0 | 0.0 |1244M| 87 | - | 160 |5743 | 0 | 0 | 0 |2707k| 0 | 0.000000e+00 | -- | Inf
850.01/850.00 c 821s| 3270k| 2008k| 0 | 0.0 |1248M| 87 | - | 160 |5704 | 0 | 0 | 0 |2713k| 0 | 0.000000e+00 | -- | Inf
851.81/851.89 c 823s| 3280k| 2016k| 0 | 0.0 |1251M| 87 | - | 160 |6521 | 0 | 0 | 0 |2720k| 0 | 0.000000e+00 | -- | Inf
853.81/853.80 c 824s| 3290k| 2024k| 0 | 0.0 |1255M| 87 | - | 160 |6546 | 0 | 0 | 0 |2727k| 0 | 0.000000e+00 | -- | Inf
855.92/855.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
855.92/855.99 c 827s| 3300k| 2031k| 0 | 0.0 |1259M| 87 | - | 160 |7450 | 0 | 0 | 0 |2734k| 0 | 0.000000e+00 | -- | Inf
858.21/858.28 c 829s| 3310k| 2038k| 0 | 0.0 |1263M| 87 | - | 160 |7186 | 0 | 0 | 0 |2742k| 0 | 0.000000e+00 | -- | Inf
860.42/860.42 c 831s| 3320k| 2046k| 0 | 0.0 |1267M| 87 | - | 160 |7946 | 0 | 0 | 0 |2749k| 0 | 0.000000e+00 | -- | Inf
862.71/862.72 c 833s| 3330k| 2053k| 0 | 0.0 |1271M| 87 | - | 160 |8200 | 0 | 0 | 0 |2757k| 0 | 0.000000e+00 | -- | Inf
865.01/865.06 c 835s| 3340k| 2060k| 0 | 0.0 |1274M| 87 | - | 160 |8331 | 0 | 0 | 0 |2764k| 0 | 0.000000e+00 | -- | Inf
867.52/867.53 c 838s| 3350k| 2068k| 0 | 0.0 |1278M| 87 | - | 160 |8725 | 0 | 0 | 0 |2771k| 0 | 0.000000e+00 | -- | Inf
870.12/870.17 c 840s| 3360k| 2075k| 0 | 0.0 |1282M| 87 | - | 160 |9841 | 0 | 0 | 0 |2780k| 0 | 0.000000e+00 | -- | Inf
872.91/872.95 c 843s| 3370k| 2082k| 0 | 0.0 |1286M| 87 | - | 160 |9302 | 0 | 0 | 0 |2788k| 0 | 0.000000e+00 | -- | Inf
875.41/875.47 c 845s| 3380k| 2089k| 0 | 0.0 |1290M| 87 | - | 160 |9568 | 0 | 0 | 0 |2795k| 0 | 0.000000e+00 | -- | Inf
878.11/878.10 c 848s| 3390k| 2096k| 0 | 0.0 |1294M| 87 | - | 160 |9925 | 0 | 0 | 0 |2803k| 0 | 0.000000e+00 | -- | Inf
880.42/880.45 c 850s| 3400k| 2104k| 0 | 0.0 |1297M| 87 | - | 160 |9914 | 0 | 0 | 0 |2810k| 0 | 0.000000e+00 | -- | Inf
883.41/883.41 c 853s| 3410k| 2111k| 0 | 0.0 |1301M| 87 | - | 160 | 11k| 0 | 0 | 0 |2818k| 0 | 0.000000e+00 | -- | Inf
886.11/886.14 c 856s| 3420k| 2118k| 0 | 0.0 |1305M| 87 | - | 160 | 10k| 0 | 0 | 0 |2825k| 0 | 0.000000e+00 | -- | Inf
888.72/888.80 c 858s| 3430k| 2125k| 0 | 0.0 |1309M| 87 | - | 160 | 10k| 0 | 0 | 0 |2832k| 0 | 0.000000e+00 | -- | Inf
891.41/891.43 c 861s| 3440k| 2133k| 0 | 0.0 |1312M| 87 | - | 160 | 11k| 0 | 0 | 0 |2839k| 0 | 0.000000e+00 | -- | Inf
893.81/893.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
893.81/893.89 c 863s| 3450k| 2140k| 0 | 0.0 |1316M| 87 | - | 160 | 11k| 0 | 0 | 0 |2846k| 0 | 0.000000e+00 | -- | Inf
896.42/896.42 c 866s| 3460k| 2148k| 0 | 0.0 |1320M| 87 | - | 160 | 11k| 0 | 0 | 0 |2853k| 0 | 0.000000e+00 | -- | Inf
900.11/900.11 c 869s| 3470k| 2154k| 0 | 0.0 |1324M| 87 | - | 160 | 12k| 0 | 0 | 0 |2862k| 0 | 0.000000e+00 | -- | Inf
903.21/903.26 c 872s| 3480k| 2161k| 0 | 0.0 |1328M| 87 | - | 160 | 12k| 0 | 0 | 0 |2870k| 0 | 0.000000e+00 | -- | Inf
906.51/906.54 c 876s| 3490k| 2168k| 0 | 0.0 |1332M| 87 | - | 160 | 12k| 0 | 0 | 0 |2878k| 0 | 0.000000e+00 | -- | Inf
909.51/909.54 c 879s| 3500k| 2175k| 0 | 0.0 |1335M| 87 | - | 160 | 12k| 0 | 0 | 0 |2886k| 0 | 0.000000e+00 | -- | Inf
912.31/912.38 c 881s| 3510k| 2183k| 0 | 0.0 |1339M| 87 | - | 160 | 12k| 0 | 0 | 0 |2893k| 0 | 0.000000e+00 | -- | Inf
915.41/915.43 c 884s| 3520k| 2190k| 0 | 0.0 |1343M| 87 | - | 160 | 12k| 0 | 0 | 0 |2900k| 0 | 0.000000e+00 | -- | Inf
918.81/918.88 c 888s| 3530k| 2197k| 0 | 0.0 |1347M| 87 | - | 160 | 14k| 0 | 0 | 0 |2909k| 0 | 0.000000e+00 | -- | Inf
923.31/923.35 c 892s| 3540k| 2203k| 0 | 0.0 |1351M| 87 | - | 160 | 14k| 0 | 0 | 0 |2919k| 0 | 0.000000e+00 | -- | Inf
927.21/927.21 c 896s| 3550k| 2210k| 0 | 0.0 |1355M| 87 | - | 160 | 14k| 0 | 0 | 0 |2928k| 0 | 0.000000e+00 | -- | Inf
930.62/930.65 c 899s| 3560k| 2217k| 0 | 0.0 |1359M| 87 | - | 160 | 13k| 0 | 0 | 0 |2936k| 0 | 0.000000e+00 | -- | Inf
934.21/934.20 c 903s| 3570k| 2224k| 0 | 0.0 |1363M| 87 | - | 160 | 14k| 0 | 0 | 0 |2944k| 0 | 0.000000e+00 | -- | Inf
937.41/937.47 c 906s| 3580k| 2231k| 0 | 0.0 |1367M| 87 | - | 160 | 14k| 0 | 0 | 0 |2951k| 0 | 0.000000e+00 | -- | Inf
940.61/940.64 c 909s| 3590k| 2238k| 0 | 0.0 |1371M| 87 | - | 160 | 14k| 0 | 0 | 0 |2959k| 0 | 0.000000e+00 | -- | Inf
944.01/944.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
944.01/944.05 c 912s| 3600k| 2245k| 0 | 0.0 |1374M| 87 | - | 160 | 14k| 0 | 0 | 0 |2966k| 0 | 0.000000e+00 | -- | Inf
948.22/948.28 c 916s| 3610k| 2252k| 0 | 0.0 |1379M| 87 | - | 160 | 16k| 0 | 0 | 0 |2975k| 0 | 0.000000e+00 | -- | Inf
953.21/953.29 c 921s| 3620k| 2258k| 0 | 0.0 |1382M| 87 | - | 160 | 16k| 0 | 0 | 0 |2985k| 0 | 0.000000e+00 | -- | Inf
957.31/957.32 c 925s| 3630k| 2265k| 0 | 0.0 |1386M| 87 | - | 160 | 15k| 0 | 0 | 0 |2993k| 0 | 0.000000e+00 | -- | Inf
960.91/960.90 c 929s| 3640k| 2273k| 0 | 0.0 |1390M| 87 | - | 160 | 15k| 0 | 0 | 0 |3000k| 0 | 0.000000e+00 | -- | Inf
964.72/964.79 c 932s| 3650k| 2279k| 0 | 0.0 |1394M| 87 | - | 160 | 15k| 0 | 0 | 0 |3008k| 0 | 0.000000e+00 | -- | Inf
968.32/968.36 c 936s| 3660k| 2287k| 0 | 0.0 |1397M| 87 | - | 160 | 16k| 0 | 0 | 0 |3015k| 0 | 0.000000e+00 | -- | Inf
972.11/972.20 c 940s| 3670k| 2294k| 0 | 0.0 |1401M| 87 | - | 160 | 16k| 0 | 0 | 0 |3023k| 0 | 0.000000e+00 | -- | Inf
975.72/975.72 c 943s| 3680k| 2301k| 0 | 0.0 |1405M| 87 | - | 160 | 16k| 0 | 0 | 0 |3030k| 0 | 0.000000e+00 | -- | Inf
979.81/979.84 c 947s| 3690k| 2308k| 0 | 0.0 |1409M| 87 | - | 160 | 17k| 0 | 0 | 0 |3038k| 0 | 0.000000e+00 | -- | Inf
983.32/983.39 c 951s| 3700k| 2315k| 0 | 0.0 |1413M| 87 | - | 160 | 16k| 0 | 0 | 0 |3046k| 0 | 0.000000e+00 | -- | Inf
989.31/989.34 c 957s| 3710k| 2321k| 0 | 0.0 |1417M| 87 | - | 160 | 18k| 0 | 0 | 0 |3057k| 0 | 0.000000e+00 | -- | Inf
994.72/994.76 c 962s| 3720k| 2327k| 0 | 0.0 |1421M| 87 | - | 160 | 18k| 0 | 0 | 0 |3066k| 0 | 0.000000e+00 | -- | Inf
999.31/999.35 c 966s| 3730k| 2334k| 0 | 0.0 |1425M| 87 | - | 160 | 18k| 0 | 0 | 0 |3074k| 0 | 0.000000e+00 | -- | Inf
1003.62/1003.70 c 971s| 3740k| 2341k| 0 | 0.0 |1428M| 87 | - | 160 | 18k| 0 | 0 | 0 |3082k| 0 | 0.000000e+00 | -- | Inf
1007.91/1007.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1007.91/1007.97 c 975s| 3750k| 2348k| 0 | 0.0 |1432M| 87 | - | 160 | 18k| 0 | 0 | 0 |3089k| 0 | 0.000000e+00 | -- | Inf
1011.92/1011.94 c 979s| 3760k| 2355k| 0 | 0.0 |1436M| 87 | - | 160 | 18k| 0 | 0 | 0 |3097k| 0 | 0.000000e+00 | -- | Inf
1016.01/1016.05 c 983s| 3770k| 2362k| 0 | 0.0 |1440M| 87 | - | 160 | 18k| 0 | 0 | 0 |3105k| 0 | 0.000000e+00 | -- | Inf
1020.52/1020.54 c 987s| 3780k| 2368k| 0 | 0.0 |1444M| 87 | - | 160 | 19k| 0 | 0 | 0 |3113k| 0 | 0.000000e+00 | -- | Inf
1024.41/1024.41 c 991s| 3790k| 2376k| 0 | 0.0 |1448M| 87 | - | 160 | 18k| 0 | 0 | 0 |3120k| 0 | 0.000000e+00 | -- | Inf
1028.62/1028.60 c 995s| 3800k| 2383k| 0 | 0.0 |1452M| 87 | - | 160 | 19k| 0 | 0 | 0 |3127k| 0 | 0.000000e+00 | -- | Inf
1032.52/1032.59 c 999s| 3810k| 2390k| 0 | 0.0 |1456M| 87 | - | 160 | 19k| 0 | 0 | 0 |3135k| 0 | 0.000000e+00 | -- | Inf
1038.81/1038.86 c 1005s| 3820k| 2396k| 0 | 0.0 |1460M| 87 | - | 160 | 21k| 0 | 0 | 0 |3146k| 0 | 0.000000e+00 | -- | Inf
1045.52/1045.58 c 1012s| 3830k| 2402k| 0 | 0.0 |1464M| 87 | - | 160 | 21k| 0 | 0 | 0 |3156k| 0 | 0.000000e+00 | -- | Inf
1051.62/1051.69 c 1018s| 3840k| 2408k| 0 | 0.0 |1468M| 87 | - | 160 | 21k| 0 | 0 | 0 |3165k| 0 | 0.000000e+00 | -- | Inf
1057.02/1057.03 c 1023s| 3850k| 2415k| 0 | 0.0 |1472M| 87 | - | 160 | 21k| 0 | 0 | 0 |3174k| 0 | 0.000000e+00 | -- | Inf
1061.71/1061.78 c 1028s| 3860k| 2422k| 0 | 0.0 |1476M| 87 | - | 160 | 20k| 0 | 0 | 0 |3181k| 0 | 0.000000e+00 | -- | Inf
1066.71/1066.71 c 1033s| 3870k| 2429k| 0 | 0.0 |1480M| 87 | - | 160 | 21k| 0 | 0 | 0 |3190k| 0 | 0.000000e+00 | -- | Inf
1071.32/1071.34 c 1037s| 3880k| 2436k| 0 | 0.0 |1483M| 87 | - | 160 | 20k| 0 | 0 | 0 |3197k| 0 | 0.000000e+00 | -- | Inf
1076.31/1076.34 c 1042s| 3890k| 2443k| 0 | 0.0 |1487M| 87 | - | 160 | 21k| 0 | 0 | 0 |3205k| 0 | 0.000000e+00 | -- | Inf
1081.11/1081.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1081.11/1081.14 c 1047s| 3900k| 2449k| 0 | 0.0 |1491M| 87 | - | 160 | 21k| 0 | 0 | 0 |3214k| 0 | 0.000000e+00 | -- | Inf
1086.32/1086.31 c 1052s| 3910k| 2456k| 0 | 0.0 |1495M| 87 | - | 160 | 20k| 0 | 0 | 0 |3222k| 0 | 0.000000e+00 | -- | Inf
1090.72/1090.75 c 1056s| 3920k| 2463k| 0 | 0.0 |1499M| 87 | - | 160 | 21k| 0 | 0 | 0 |3229k| 0 | 0.000000e+00 | -- | Inf
1095.63/1095.62 c 1061s| 3930k| 2470k| 0 | 0.0 |1503M| 87 | - | 160 | 21k| 0 | 0 | 0 |3237k| 0 | 0.000000e+00 | -- | Inf
1100.22/1100.22 c 1065s| 3940k| 2477k| 0 | 0.0 |1507M| 87 | - | 160 | 21k| 0 | 0 | 0 |3244k| 0 | 0.000000e+00 | -- | Inf
1107.92/1107.95 c 1073s| 3950k| 2483k| 0 | 0.0 |1511M| 87 | - | 160 | 24k| 0 | 0 | 0 |3256k| 0 | 0.000000e+00 | -- | Inf
1116.72/1116.77 c 1082s| 3960k| 2488k| 0 | 0.0 |1516M| 87 | - | 160 | 24k| 0 | 0 | 0 |3267k| 0 | 0.000000e+00 | -- | Inf
1123.62/1123.61 c 1089s| 3970k| 2495k| 0 | 0.0 |1519M| 87 | - | 160 | 24k| 0 | 0 | 0 |3277k| 0 | 0.000000e+00 | -- | Inf
1130.01/1130.02 c 1095s| 3980k| 2501k| 0 | 0.0 |1523M| 87 | - | 160 | 23k| 0 | 0 | 0 |3286k| 0 | 0.000000e+00 | -- | Inf
1135.91/1135.98 c 1101s| 3990k| 2508k| 0 | 0.0 |1527M| 87 | - | 160 | 23k| 0 | 0 | 0 |3294k| 0 | 0.000000e+00 | -- | Inf
1141.92/1141.91 c 1107s| 4000k| 2515k| 0 | 0.0 |1531M| 87 | - | 160 | 23k| 0 | 0 | 0 |3302k| 0 | 0.000000e+00 | -- | Inf
1147.72/1147.75 c 1112s| 4010k| 2521k| 0 | 0.0 |1535M| 87 | - | 160 | 23k| 0 | 0 | 0 |3311k| 0 | 0.000000e+00 | -- | Inf
1152.82/1152.88 c 1117s| 4020k| 2528k| 0 | 0.0 |1539M| 87 | - | 160 | 23k| 0 | 0 | 0 |3319k| 0 | 0.000000e+00 | -- | Inf
1159.02/1159.02 c 1123s| 4030k| 2535k| 0 | 0.0 |1543M| 87 | - | 160 | 23k| 0 | 0 | 0 |3327k| 0 | 0.000000e+00 | -- | Inf
1164.31/1164.32 c 1129s| 4040k| 2542k| 0 | 0.0 |1547M| 87 | - | 160 | 23k| 0 | 0 | 0 |3335k| 0 | 0.000000e+00 | -- | Inf
1169.62/1169.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1169.62/1169.62 c 1134s| 4050k| 2549k| 0 | 0.0 |1550M| 87 | - | 160 | 23k| 0 | 0 | 0 |3343k| 0 | 0.000000e+00 | -- | Inf
1175.02/1175.03 c 1139s| 4060k| 2555k| 0 | 0.0 |1554M| 87 | - | 160 | 23k| 0 | 0 | 0 |3351k| 0 | 0.000000e+00 | -- | Inf
1180.52/1180.59 c 1145s| 4070k| 2562k| 0 | 0.0 |1558M| 87 | - | 160 | 23k| 0 | 0 | 0 |3359k| 0 | 0.000000e+00 | -- | Inf
1186.22/1186.20 c 1150s| 4080k| 2569k| 0 | 0.0 |1562M| 87 | - | 160 | 24k| 0 | 0 | 0 |3367k| 0 | 0.000000e+00 | -- | Inf
1191.82/1191.83 c 1156s| 4090k| 2576k| 0 | 0.0 |1566M| 87 | - | 160 | 24k| 0 | 0 | 0 |3376k| 0 | 0.000000e+00 | -- | Inf
1197.82/1197.80 c 1162s| 4100k| 2583k| 0 | 0.0 |1570M| 87 | - | 160 | 24k| 0 | 0 | 0 |3384k| 0 | 0.000000e+00 | -- | Inf
1203.52/1203.56 c 1167s| 4110k| 2589k| 0 | 0.0 |1574M| 87 | - | 160 | 24k| 0 | 0 | 0 |3393k| 0 | 0.000000e+00 | -- | Inf
1214.52/1214.51 c 1178s| 4120k| 2594k| 0 | 0.0 |1578M| 87 | - | 160 | 27k| 0 | 0 | 0 |3406k| 0 | 0.000000e+00 | -- | Inf
1225.42/1225.48 c 1189s| 4130k| 2599k| 0 | 0.0 |1583M| 87 | - | 160 | 28k| 0 | 0 | 0 |3418k| 0 | 0.000000e+00 | -- | Inf
1234.13/1234.11 c 1198s| 4140k| 2605k| 0 | 0.0 |1587M| 87 | - | 160 | 27k| 0 | 0 | 0 |3428k| 0 | 0.000000e+00 | -- | Inf
1241.42/1241.45 c 1205s| 4150k| 2612k| 0 | 0.0 |1590M| 87 | - | 160 | 26k| 0 | 0 | 0 |3437k| 0 | 0.000000e+00 | -- | Inf
1248.52/1248.59 c 1212s| 4160k| 2618k| 0 | 0.0 |1594M| 87 | - | 160 | 26k| 0 | 0 | 0 |3446k| 0 | 0.000000e+00 | -- | Inf
1255.02/1255.09 c 1218s| 4170k| 2625k| 0 | 0.0 |1598M| 87 | - | 160 | 26k| 0 | 0 | 0 |3454k| 0 | 0.000000e+00 | -- | Inf
1261.12/1261.11 c 1224s| 4180k| 2631k| 0 | 0.0 |1602M| 87 | - | 160 | 26k| 0 | 0 | 0 |3462k| 0 | 0.000000e+00 | -- | Inf
1268.02/1268.02 c 1231s| 4190k| 2638k| 0 | 0.0 |1606M| 87 | - | 160 | 26k| 0 | 0 | 0 |3471k| 0 | 0.000000e+00 | -- | Inf
1274.22/1274.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1274.22/1274.21 c 1237s| 4200k| 2644k| 0 | 0.0 |1610M| 87 | - | 160 | 26k| 0 | 0 | 0 |3479k| 0 | 0.000000e+00 | -- | Inf
1280.72/1280.70 c 1244s| 4210k| 2651k| 0 | 0.0 |1614M| 87 | - | 160 | 26k| 0 | 0 | 0 |3488k| 0 | 0.000000e+00 | -- | Inf
1286.82/1286.80 c 1250s| 4220k| 2658k| 0 | 0.0 |1618M| 87 | - | 160 | 26k| 0 | 0 | 0 |3496k| 0 | 0.000000e+00 | -- | Inf
1293.32/1293.40 c 1256s| 4230k| 2664k| 0 | 0.0 |1622M| 87 | - | 160 | 26k| 0 | 0 | 0 |3504k| 0 | 0.000000e+00 | -- | Inf
1299.62/1299.60 c 1262s| 4240k| 2671k| 0 | 0.0 |1626M| 87 | - | 160 | 26k| 0 | 0 | 0 |3512k| 0 | 0.000000e+00 | -- | Inf
1306.12/1306.18 c 1269s| 4250k| 2678k| 0 | 0.0 |1629M| 87 | - | 160 | 26k| 0 | 0 | 0 |3521k| 0 | 0.000000e+00 | -- | Inf
1312.43/1312.43 c 1275s| 4260k| 2684k| 0 | 0.0 |1633M| 87 | - | 160 | 26k| 0 | 0 | 0 |3529k| 0 | 0.000000e+00 | -- | Inf
1318.93/1318.95 c 1281s| 4270k| 2691k| 0 | 0.0 |1637M| 87 | - | 160 | 26k| 0 | 0 | 0 |3537k| 0 | 0.000000e+00 | -- | Inf
1325.62/1325.65 c 1288s| 4280k| 2698k| 0 | 0.0 |1641M| 87 | - | 160 | 26k| 0 | 0 | 0 |3546k| 0 | 0.000000e+00 | -- | Inf
1331.82/1331.88 c 1294s| 4290k| 2704k| 0 | 0.0 |1645M| 87 | - | 160 | 26k| 0 | 0 | 0 |3554k| 0 | 0.000000e+00 | -- | Inf
1338.32/1338.35 c 1301s| 4300k| 2711k| 0 | 0.0 |1649M| 87 | - | 160 | 27k| 0 | 0 | 0 |3563k| 0 | 0.000000e+00 | -- | Inf
1345.93/1345.90 c 1308s| 4310k| 2717k| 0 | 0.0 |1653M| 87 | - | 160 | 28k| 0 | 0 | 0 |3572k| 0 | 0.000000e+00 | -- | Inf
1360.92/1360.96 c 1323s| 4320k| 2721k| 0 | 0.0 |1658M| 87 | - | 160 | 30k| 0 | 0 | 0 |3587k| 0 | 0.000000e+00 | -- | Inf
1372.93/1372.95 c 1335s| 4330k| 2726k| 0 | 0.0 |1662M| 87 | - | 160 | 31k| 0 | 0 | 0 |3599k| 0 | 0.000000e+00 | -- | Inf
1382.22/1382.22 c 1344s| 4340k| 2732k| 0 | 0.0 |1666M| 87 | - | 160 | 30k| 0 | 0 | 0 |3609k| 0 | 0.000000e+00 | -- | Inf
1390.73/1390.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1390.73/1390.79 c 1353s| 4350k| 2738k| 0 | 0.0 |1670M| 87 | - | 160 | 29k| 0 | 0 | 0 |3619k| 0 | 0.000000e+00 | -- | Inf
1399.02/1399.01 c 1361s| 4360k| 2745k| 0 | 0.0 |1674M| 87 | - | 160 | 29k| 0 | 0 | 0 |3628k| 0 | 0.000000e+00 | -- | Inf
1406.32/1406.37 c 1368s| 4370k| 2751k| 0 | 0.0 |1678M| 87 | - | 160 | 29k| 0 | 0 | 0 |3637k| 0 | 0.000000e+00 | -- | Inf
1414.22/1414.22 c 1376s| 4380k| 2757k| 0 | 0.0 |1682M| 87 | - | 160 | 29k| 0 | 0 | 0 |3645k| 0 | 0.000000e+00 | -- | Inf
1421.63/1421.66 c 1383s| 4390k| 2764k| 0 | 0.0 |1686M| 87 | - | 160 | 28k| 0 | 0 | 0 |3654k| 0 | 0.000000e+00 | -- | Inf
1428.93/1428.97 c 1390s| 4400k| 2770k| 0 | 0.0 |1689M| 87 | - | 160 | 29k| 0 | 0 | 0 |3663k| 0 | 0.000000e+00 | -- | Inf
1436.13/1436.13 c 1397s| 4410k| 2777k| 0 | 0.0 |1693M| 87 | - | 160 | 28k| 0 | 0 | 0 |3671k| 0 | 0.000000e+00 | -- | Inf
1443.33/1443.36 c 1404s| 4420k| 2784k| 0 | 0.0 |1697M| 87 | - | 160 | 29k| 0 | 0 | 0 |3679k| 0 | 0.000000e+00 | -- | Inf
1450.52/1450.51 c 1412s| 4430k| 2790k| 0 | 0.0 |1701M| 87 | - | 160 | 28k| 0 | 0 | 0 |3687k| 0 | 0.000000e+00 | -- | Inf
1457.73/1457.77 c 1419s| 4440k| 2797k| 0 | 0.0 |1705M| 87 | - | 160 | 29k| 0 | 0 | 0 |3696k| 0 | 0.000000e+00 | -- | Inf
1464.82/1464.89 c 1426s| 4450k| 2803k| 0 | 0.0 |1709M| 87 | - | 160 | 29k| 0 | 0 | 0 |3704k| 0 | 0.000000e+00 | -- | Inf
1472.42/1472.45 c 1433s| 4460k| 2810k| 0 | 0.0 |1713M| 87 | - | 160 | 29k| 0 | 0 | 0 |3713k| 0 | 0.000000e+00 | -- | Inf
1480.23/1480.24 c 1441s| 4470k| 2816k| 0 | 0.0 |1717M| 87 | - | 160 | 29k| 0 | 0 | 0 |3721k| 0 | 0.000000e+00 | -- | Inf
1487.72/1487.73 c 1448s| 4480k| 2823k| 0 | 0.0 |1721M| 87 | - | 160 | 29k| 0 | 0 | 0 |3730k| 0 | 0.000000e+00 | -- | Inf
1495.23/1495.21 c 1456s| 4490k| 2829k| 0 | 0.0 |1725M| 87 | - | 160 | 29k| 0 | 0 | 0 |3739k| 0 | 0.000000e+00 | -- | Inf
1503.03/1503.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1503.03/1503.08 c 1464s| 4500k| 2835k| 0 | 0.0 |1728M| 87 | - | 160 | 29k| 0 | 0 | 0 |3748k| 0 | 0.000000e+00 | -- | Inf
1510.43/1510.43 c 1471s| 4510k| 2842k| 0 | 0.0 |1732M| 87 | - | 160 | 29k| 0 | 0 | 0 |3756k| 0 | 0.000000e+00 | -- | Inf
1517.52/1517.58 c 1478s| 4520k| 2848k| 0 | 0.0 |1736M| 87 | - | 160 | 29k| 0 | 0 | 0 |3765k| 0 | 0.000000e+00 | -- | Inf
1530.23/1530.24 c 1490s| 4530k| 2853k| 0 | 0.0 |1741M| 87 | - | 160 | 32k| 0 | 0 | 0 |3778k| 0 | 0.000000e+00 | -- | Inf
1545.93/1545.93 c 1506s| 4540k| 2858k| 0 | 0.0 |1745M| 87 | - | 160 | 33k| 0 | 0 | 0 |3792k| 0 | 0.000000e+00 | -- | Inf
1558.63/1558.70 c 1519s| 4550k| 2863k| 0 | 0.0 |1750M| 87 | - | 160 | 33k| 0 | 0 | 0 |3804k| 0 | 0.000000e+00 | -- | Inf
1569.03/1569.00 c 1529s| 4560k| 2869k| 0 | 0.0 |1753M| 87 | - | 160 | 32k| 0 | 0 | 0 |3814k| 0 | 0.000000e+00 | -- | Inf
1578.73/1578.71 c 1538s| 4570k| 2874k| 0 | 0.0 |1757M| 87 | - | 160 | 32k| 0 | 0 | 0 |3824k| 0 | 0.000000e+00 | -- | Inf
1587.33/1587.37 c 1547s| 4580k| 2881k| 0 | 0.0 |1761M| 87 | - | 160 | 31k| 0 | 0 | 0 |3833k| 0 | 0.000000e+00 | -- | Inf
1596.13/1596.15 c 1556s| 4590k| 2887k| 0 | 0.0 |1765M| 87 | - | 160 | 32k| 0 | 0 | 0 |3842k| 0 | 0.000000e+00 | -- | Inf
1604.53/1604.53 c 1564s| 4600k| 2893k| 0 | 0.0 |1769M| 87 | - | 160 | 31k| 0 | 0 | 0 |3851k| 0 | 0.000000e+00 | -- | Inf
1613.13/1613.11 c 1573s| 4610k| 2899k| 0 | 0.0 |1773M| 87 | - | 160 | 31k| 0 | 0 | 0 |3860k| 0 | 0.000000e+00 | -- | Inf
1621.34/1621.32 c 1581s| 4620k| 2906k| 0 | 0.0 |1777M| 87 | - | 160 | 31k| 0 | 0 | 0 |3869k| 0 | 0.000000e+00 | -- | Inf
1629.63/1629.69 c 1589s| 4630k| 2912k| 0 | 0.0 |1781M| 87 | - | 160 | 31k| 0 | 0 | 0 |3878k| 0 | 0.000000e+00 | -- | Inf
1638.03/1638.05 c 1597s| 4640k| 2918k| 0 | 0.0 |1785M| 87 | - | 160 | 31k| 0 | 0 | 0 |3886k| 0 | 0.000000e+00 | -- | Inf
1646.03/1646.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1646.03/1646.03 c 1605s| 4650k| 2925k| 0 | 0.0 |1789M| 87 | - | 160 | 31k| 0 | 0 | 0 |3895k| 0 | 0.000000e+00 | -- | Inf
1654.63/1654.65 c 1614s| 4660k| 2931k| 0 | 0.0 |1793M| 87 | - | 160 | 31k| 0 | 0 | 0 |3904k| 0 | 0.000000e+00 | -- | Inf
1663.53/1663.57 c 1622s| 4670k| 2937k| 0 | 0.0 |1797M| 87 | - | 160 | 32k| 0 | 0 | 0 |3914k| 0 | 0.000000e+00 | -- | Inf
1671.73/1671.78 c 1631s| 4680k| 2944k| 0 | 0.0 |1801M| 87 | - | 160 | 31k| 0 | 0 | 0 |3922k| 0 | 0.000000e+00 | -- | Inf
1680.23/1680.28 c 1639s| 4690k| 2950k| 0 | 0.0 |1805M| 87 | - | 160 | 32k| 0 | 0 | 0 |3932k| 0 | 0.000000e+00 | -- | Inf
1688.93/1688.92 c 1648s| 4700k| 2956k| 0 | 0.0 |1809M| 87 | - | 160 | 32k| 0 | 0 | 0 |3940k| 0 | 0.000000e+00 | -- | Inf
1697.13/1697.16 c 1656s| 4710k| 2963k| 0 | 0.0 |1812M| 87 | - | 160 | 32k| 0 | 0 | 0 |3949k| 0 | 0.000000e+00 | -- | Inf
1705.23/1705.20 c 1664s| 4720k| 2969k| 0 | 0.0 |1816M| 87 | - | 160 | 31k| 0 | 0 | 0 |3958k| 0 | 0.000000e+00 | -- | Inf
1714.63/1714.61 c 1673s| 4730k| 2975k| 0 | 0.0 |1820M| 87 | - | 160 | 32k| 0 | 0 | 0 |3967k| 0 | 0.000000e+00 | -- | Inf
1723.53/1723.50 c 1682s| 4740k| 2981k| 0 | 0.0 |1824M| 87 | - | 160 | 32k| 0 | 0 | 0 |3976k| 0 | 0.000000e+00 | -- | Inf
1732.33/1732.34 c 1691s| 4750k| 2988k| 0 | 0.0 |1828M| 87 | - | 160 | 32k| 0 | 0 | 0 |3985k| 0 | 0.000000e+00 | -- | Inf
1741.84/1741.88 c 1700s| 4760k| 2994k| 0 | 0.0 |1832M| 87 | - | 160 | 32k| 0 | 0 | 0 |3995k| 0 | 0.000000e+00 | -- | Inf
1758.03/1758.03 c 1716s| 4770k| 2998k| 0 | 0.0 |1837M| 87 | - | 160 | 35k| 0 | 0 | 0 |4009k| 0 | 0.000000e+00 | -- | Inf
1774.43/1774.42 c 1732s| 4780k| 3002k| 0 | 0.0 |1841M| 87 | - | 160 | 35k| 0 | 0 | 0 |4023k| 0 | 0.000000e+00 | -- | Inf
1787.93/1787.95 c 1746s| 4790k| 3007k| 0 | 0.0 |1845M| 87 | - | 160 | 35k| 0 | 0 | 0 |4035k| 0 | 0.000000e+00 | -- | Inf
1799.23/1799.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1799.23/1799.22 c 1757s| 4800k| 3013k| 0 | 0.0 |1849M| 87 | - | 160 | 35k| 0 | 0 | 0 |4045k| 0 | 0.000000e+00 | -- | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.01 c
1800.03/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.01 c Solving Time (sec) : 1757.67
1800.03/1800.01 c Solving Nodes : 4800665
1800.03/1800.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.01 c Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Gap : infinite
1800.03/1800.01 s UNKNOWN
1800.03/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.01 c Solving Time : 1757.67
1800.03/1800.01 c Original Problem :
1800.03/1800.01 c Problem name : HOME/instance-2693761-1277891737.wbo
1800.03/1800.01 c Variables : 160 (155 binary, 0 integer, 0 implicit integer, 5 continuous)
1800.03/1800.01 c Constraints : 31 initial, 31 maximal
1800.03/1800.01 c Presolved Problem :
1800.03/1800.01 c Problem name : t_HOME/instance-2693761-1277891737.wbo
1800.03/1800.01 c Variables : 160 (155 binary, 0 integer, 0 implicit integer, 5 continuous)
1800.03/1800.01 c Constraints : 30 initial, 36577 maximal
1800.03/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c linear : 0.00 0 0 0 5 0 1 0 0
1800.03/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c root node : - 0 - - 0 - - - -
1800.03/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c indicator : 5 0 638766 0 283892 0 5 0 0 0
1800.03/1800.01 c setppc : 8 0 10672849 0 4178151 491200 27767635 0 0 0
1800.03/1800.01 c linear : 5 0 10189677 0 4179004 133473 4772255 0 0 0
1800.03/1800.01 c logicor : 12+ 0 6879073 0 4179009 477129 7459448 0 0 0
1800.03/1800.01 c countsols : 0 0 0 0 4179009 0 0 0 0 0
1800.03/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.01 c indicator : 0.25 0.00 0.09 0.00 0.16
1800.03/1800.01 c setppc : 59.13 0.00 53.21 0.00 5.92
1800.03/1800.01 c linear : 27.21 0.00 25.71 0.00 1.50
1800.03/1800.01 c logicor : 777.31 0.00 771.14 0.00 6.17
1800.03/1800.01 c countsols : 0.79 0.00 0.00 0.00 0.79
1800.03/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.01 c vbounds : 2.64 2 0 0
1800.03/1800.01 c rootredcost : 2.39 0 0 0
1800.03/1800.01 c pseudoobj : 4.98 10681821 0 0
1800.03/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.01 c propagation : 44.20 1101802 1101798 6689234 28.9 543075 8.0 -
1800.03/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.01 c applied globally : - - - 3921536 19.8 - - -
1800.03/1800.01 c applied locally : - - - 124703 35.4 - - -
1800.03/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.01 c redcost : 0.00 0 0 0 0 0
1800.03/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.01 c intobj : 0.00 0 0 0 0 0
1800.03/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.01 c gomory : 0.00 0 0 0 0 0
1800.03/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.01 c cmir : 0.00 0 0 0 0 0
1800.03/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.01 c clique : 0.00 0 0 0 0 0
1800.03/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.01 c mcf : 0.00 0 0 0 0 0
1800.03/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.01 c Pricers : Time Calls Vars
1800.03/1800.01 c problem variables: 0.00 0 0
1800.03/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.01 c inference : 29.16 4179009 0 0 0 0 8358018
1800.03/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c random : 0.00 0 0 0 0 0 0
1800.03/1800.01 c Primal Heuristics : Time Calls Found
1800.03/1800.01 c LP solutions : 0.00 - 0
1800.03/1800.01 c pseudo solutions : 0.00 - 0
1800.03/1800.01 c oneopt : 1.21 0 0
1800.03/1800.01 c trivial : 0.00 2 0
1800.03/1800.01 c simplerounding : 0.00 0 0
1800.03/1800.01 c zirounding : 0.00 0 0
1800.03/1800.01 c rounding : 0.00 0 0
1800.03/1800.01 c shifting : 0.00 0 0
1800.03/1800.01 c intshifting : 0.00 0 0
1800.03/1800.01 c twoopt : 0.00 0 0
1800.03/1800.01 c fixandinfer : 0.00 0 0
1800.03/1800.01 c feaspump : 0.00 0 0
1800.03/1800.01 c coefdiving : 0.00 0 0
1800.03/1800.01 c pscostdiving : 0.00 0 0
1800.03/1800.01 c fracdiving : 0.00 0 0
1800.03/1800.01 c veclendiving : 0.00 0 0
1800.03/1800.01 c intdiving : 0.00 0 0
1800.03/1800.01 c actconsdiving : 0.00 0 0
1800.03/1800.01 c objpscostdiving : 0.00 0 0
1800.03/1800.01 c rootsoldiving : 0.00 0 0
1800.03/1800.01 c linesearchdiving : 0.00 0 0
1800.03/1800.01 c guideddiving : 0.00 0 0
1800.03/1800.01 c octane : 0.00 0 0
1800.03/1800.01 c rens : 0.00 0 0
1800.03/1800.01 c rins : 0.00 0 0
1800.03/1800.01 c localbranching : 0.00 0 0
1800.03/1800.01 c mutation : 0.00 0 0
1800.03/1800.01 c crossover : 0.00 0 0
1800.03/1800.01 c dins : 0.00 0 0
1800.03/1800.01 c undercover : 0.00 0 0
1800.03/1800.01 c nlp : 1.13 0 0
1800.03/1800.01 c trysol : 0.87 1 0
1800.03/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.01 c (at root node) : - 0 0 0.00 -
1800.03/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.01 c B&B Tree :
1800.03/1800.01 c number of runs : 1
1800.03/1800.01 c nodes : 4800665
1800.03/1800.01 c nodes (total) : 4800665
1800.03/1800.01 c nodes left : 3013729
1800.03/1800.01 c max depth : 87
1800.03/1800.01 c max depth (total): 87
1800.03/1800.01 c backtracks : 534677 (11.1%)
1800.03/1800.01 c delayed cutoffs : 543625
1800.03/1800.01 c repropagations : 1213675 (13150952 domain reductions, 480146 cutoffs)
1800.03/1800.01 c avg switch length: 8.68
1800.03/1800.01 c switching time : 603.11
1800.03/1800.01 c Solution :
1800.03/1800.01 c Solutions found : 0 (0 improvements)
1800.03/1800.01 c Primal Bound : -
1800.03/1800.01 c Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Gap : infinite
1800.03/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693761-1277891737/watcher-2693761-1277891737 -o /tmp/evaluation-result-2693761-1277891737/solver-2693761-1277891737 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693761-1277891737.wbo -t 1800 -m 3800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.10 2.02 2.44 4/178 11894
/proc/meminfo: memFree=31164880/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=8628 CPUtime=0
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 1788 0 0 0 0 0 0 0 25 0 1 0 130469688 8835072 1357 4089446400 4194304 7136930 140734750155920 18446744073709551615 6346856 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 2157 1373 282 719 0 1436 0
[startup+0.040338 s]
/proc/loadavg: 2.10 2.02 2.44 4/178 11894
/proc/meminfo: memFree=31164880/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=11572 CPUtime=0.03
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 3886 0 0 0 3 0 0 0 25 0 1 0 130469688 11849728 2170 4089446400 4194304 7136930 140734750155920 18446744073709551615 5909144 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 2893 2171 394 719 0 2172 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11572
[startup+0.100327 s]
/proc/loadavg: 2.10 2.02 2.44 4/178 11894
/proc/meminfo: memFree=31164880/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=12704 CPUtime=0.08
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 4175 0 0 0 7 1 0 0 25 0 1 0 130469688 13008896 2459 4089446400 4194304 7136930 140734750155920 18446744073709551615 4210705 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 3176 2459 394 719 0 2455 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12704
[startup+0.30029 s]
/proc/loadavg: 2.10 2.02 2.44 4/178 11894
/proc/meminfo: memFree=31164880/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=14652 CPUtime=0.29
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 4668 0 0 0 24 5 0 0 25 0 1 0 130469688 15003648 2952 4089446400 4194304 7136930 140734750155920 18446744073709551615 4632848 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 3663 2952 394 719 0 2942 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14652
[startup+0.700223 s]
/proc/loadavg: 2.10 2.02 2.44 4/178 11894
/proc/meminfo: memFree=31164880/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=17404 CPUtime=0.69
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 5396 0 0 0 59 10 0 0 25 0 1 0 130469688 17821696 3680 4089446400 4194304 7136930 140734750155920 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 4351 3680 394 719 0 3630 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17404
[startup+1.50108 s]
/proc/loadavg: 2.10 2.02 2.44 3/179 11895
/proc/meminfo: memFree=31147264/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=23644 CPUtime=1.49
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 7005 0 0 0 130 19 0 0 25 0 1 0 130469688 24211456 5289 4089446400 4194304 7136930 140734750155920 18446744073709551615 5506768 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 5911 5289 394 719 0 5190 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23644
[startup+3.1008 s]
/proc/loadavg: 2.10 2.02 2.44 3/179 11895
/proc/meminfo: memFree=31137964/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=32084 CPUtime=3.09
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 9156 0 0 0 275 34 0 0 25 0 1 0 130469688 32854016 7440 4089446400 4194304 7136930 140734750155920 18446744073709551615 4641963 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 8021 7440 394 719 0 7300 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32084
[startup+6.30024 s]
/proc/loadavg: 2.09 2.02 2.44 3/179 11895
/proc/meminfo: memFree=31112996/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=53804 CPUtime=6.29
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 14205 0 0 0 560 69 0 0 25 0 1 0 130469688 55095296 12489 4089446400 4194304 7136930 140734750155920 18446744073709551615 4999916 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 13451 12489 394 719 0 12730 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53804
[startup+12.7001 s]
/proc/loadavg: 2.09 2.02 2.43 3/179 11896
/proc/meminfo: memFree=31068524/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=84508 CPUtime=12.69
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 22160 0 0 0 1136 133 0 0 25 0 1 0 130469688 86536192 20444 4089446400 4194304 7136930 140734750155920 18446744073709551615 4574485 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 21127 20444 394 719 0 20406 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84508
[startup+25.5009 s]
/proc/loadavg: 2.07 2.02 2.43 3/179 11897
/proc/meminfo: memFree=30995296/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=140784 CPUtime=25.49
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 35536 0 0 0 2320 229 0 0 25 0 1 0 130469688 144162816 33820 4089446400 4194304 7136930 140734750155920 18446744073709551615 4999707 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 35196 33820 394 719 0 34475 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 140784
[startup+51.1004 s]
/proc/loadavg: 2.04 2.02 2.42 3/179 11897
/proc/meminfo: memFree=30893160/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=209780 CPUtime=51.09
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 53072 0 0 0 4732 377 0 0 25 0 1 0 130469688 214814720 51356 4089446400 4194304 7136930 140734750155920 18446744073709551615 5950369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 52445 51356 394 719 0 51724 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 209780
[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.39 3/179 11899
/proc/meminfo: memFree=30674748/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=370404 CPUtime=102.3
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 92371 0 0 0 9541 689 0 0 25 0 1 0 130469688 379293696 90655 4089446400 4194304 7136930 140734750155920 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 92601 90655 394 719 0 91880 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 370404
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.36 3/179 11900
/proc/meminfo: memFree=30474428/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=504592 CPUtime=162.29
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 126736 0 0 0 15287 942 0 0 25 0 1 0 130469688 516702208 125020 4089446400 4194304 7136930 140734750155920 18446744073709551615 4409194 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 126148 125020 394 719 0 125427 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 504592
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.34 3/179 11901
/proc/meminfo: memFree=30317752/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=617016 CPUtime=222.3
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 151428 0 0 0 21083 1147 0 0 25 0 1 0 130469688 631824384 149712 4089446400 4194304 7136930 140734750155920 18446744073709551615 5950290 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 154254 149712 394 719 0 153533 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 617016
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.31 3/179 11903
/proc/meminfo: memFree=30170756/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=704132 CPUtime=282.29
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 173761 0 0 0 26892 1337 0 0 25 0 1 0 130469688 721031168 172045 4089446400 4194304 7136930 140734750155920 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 176033 172045 394 719 0 175312 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 704132
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.29 3/179 11914
/proc/meminfo: memFree=30015364/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=797580 CPUtime=342.3
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 197596 0 0 0 32707 1523 0 0 25 0 1 0 130469688 816721920 195880 4089446400 4194304 7136930 140734750155920 18446744073709551615 5004477 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 199395 195880 394 719 0 198674 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 797580
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.27 3/179 11916
/proc/meminfo: memFree=29891152/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=865612 CPUtime=402.3
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 214996 0 0 0 38533 1697 0 0 25 0 1 0 130469688 886386688 213280 4089446400 4194304 7136930 140734750155920 18446744073709551615 4999881 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 216403 213280 394 719 0 215682 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 865612
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.25 3/179 11917
/proc/meminfo: memFree=29766844/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=935464 CPUtime=462.3
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 232891 0 0 0 44370 1860 0 0 25 0 1 0 130469688 957915136 231175 4089446400 4194304 7136930 140734750155920 18446744073709551615 4409177 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 233866 231175 394 719 0 233145 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 935464
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.23 3/179 11918
/proc/meminfo: memFree=29650224/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=1002064 CPUtime=522.31
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 249809 0 0 0 50219 2012 0 0 25 0 1 0 130469688 1026113536 248093 4089446400 4194304 7136930 140734750155920 18446744073709551615 4219854 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 250516 248093 394 719 0 249795 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1002064
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.22 3/179 11920
/proc/meminfo: memFree=29530256/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=1067688 CPUtime=582.3
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 266533 0 0 0 56067 2163 0 0 25 0 1 0 130469688 1093312512 264817 4089446400 4194304 7136930 140734750155920 18446744073709551615 4999667 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 266922 264817 394 719 0 266201 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1067688
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.20 3/179 11922
/proc/meminfo: memFree=29428028/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=1114636 CPUtime=642.32
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 278358 0 0 0 61932 2300 0 0 25 0 1 0 130469688 1141387264 276642 4089446400 4194304 7136930 140734750155920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 278659 276642 394 719 0 277938 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 1114636
[startup+702.301 s]
################
# More data... #
################
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 379190 0 0 0 96927 3304 0 0 25 0 1 0 130469688 1579032576 377474 4089446400 4194304 7136930 140734750155920 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 385506 377474 394 719 0 384785 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1542024
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.11 3/179 11933
/proc/meminfo: memFree=28674676/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=1587412 CPUtime=1062.31
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 390893 0 0 0 102824 3407 0 0 25 0 1 0 130469688 1625509888 389177 4089446400 4194304 7136930 140734750155920 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 396853 389177 394 719 0 396132 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1587412
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/179 11934
/proc/meminfo: memFree=28589920/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=1627152 CPUtime=1122.32
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 401045 0 0 0 108728 3504 0 0 25 0 1 0 130469688 1666203648 399329 4089446400 4194304 7136930 140734750155920 18446744073709551615 4229765 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 406788 399329 394 719 0 406067 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1627152
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 11936
/proc/meminfo: memFree=28503824/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=1670640 CPUtime=1182.32
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 412220 0 0 0 114641 3591 0 0 25 0 1 0 130469688 1710735360 410504 4089446400 4194304 7136930 140734750155920 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 417660 410504 394 719 0 416939 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1670640
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 11938
/proc/meminfo: memFree=28423532/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=1702096 CPUtime=1242.32
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 420193 0 0 0 120578 3654 0 0 25 0 1 0 130469688 1742946304 418477 4089446400 4194304 7136930 140734750155920 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 425524 418477 394 719 0 424803 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1702096
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 11940
/proc/meminfo: memFree=28344856/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=1737128 CPUtime=1302.33
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 429251 0 0 0 126499 3734 0 0 25 0 1 0 130469688 1778819072 427535 4089446400 4194304 7136930 140734750155920 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 434282 427535 394 719 0 433561 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1737128
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 11941
/proc/meminfo: memFree=28277980/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=1766980 CPUtime=1362.32
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 436569 0 0 0 132430 3802 0 0 25 0 1 0 130469688 1809387520 434853 4089446400 4194304 7136930 140734750155920 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 441745 434853 394 719 0 441024 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1766980
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 11942
/proc/meminfo: memFree=28207104/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=1798544 CPUtime=1422.33
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 444666 0 0 0 138365 3868 0 0 25 0 1 0 130469688 1841709056 442950 4089446400 4194304 7136930 140734750155920 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 449636 442950 394 719 0 448915 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1798544
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 11944
/proc/meminfo: memFree=28139960/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=1828240 CPUtime=1482.33
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 452324 0 0 0 144295 3938 0 0 25 0 1 0 130469688 1872117760 450608 4089446400 4194304 7136930 140734750155920 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 457060 450608 394 719 0 456339 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1828240
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 11946
/proc/meminfo: memFree=28078408/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=1850672 CPUtime=1542.33
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 458068 0 0 0 150240 3993 0 0 25 0 1 0 130469688 1895088128 456352 4089446400 4194304 7136930 140734750155920 18446744073709551615 4999782 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 462668 456352 394 719 0 461947 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1850672
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 11948
/proc/meminfo: memFree=28025032/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=1869548 CPUtime=1602.33
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 463005 0 0 0 156183 4050 0 0 25 0 1 0 130469688 1914417152 461289 4089446400 4194304 7136930 140734750155920 18446744073709551615 4999966 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 467387 461289 394 719 0 466666 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1869548
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 11949
/proc/meminfo: memFree=27948328/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=1901884 CPUtime=1662.33
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 471326 0 0 0 162120 4113 0 0 25 0 1 0 130469688 1947529216 469610 4089446400 4194304 7136930 140734750155920 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 475471 469610 394 719 0 474750 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1901884
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 11950
/proc/meminfo: memFree=27872376/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=1930396 CPUtime=1722.33
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 478626 0 0 0 168057 4176 0 0 25 0 1 0 130469688 1976725504 476910 4089446400 4194304 7136930 140734750155920 18446744073709551615 4240459 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 482599 476910 394 719 0 481878 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1930396
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.03 2/177 11953
/proc/meminfo: memFree=29263740/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=1950340 CPUtime=1782.33
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 483700 0 0 0 174011 4222 0 0 25 0 1 0 130469688 1997148160 481984 4089446400 4194304 7136930 140734750155920 18446744073709551615 6122452 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 487585 481984 394 719 0 486864 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1950340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 11980
/proc/meminfo: memFree=29204328/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=1956284 CPUtime=1800.03
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 485149 0 0 0 175766 4237 0 0 25 0 1 0 130469688 2003234816 483433 4089446400 4194304 7136930 140734750155920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11894/statm: 489071 483433 394 719 0 488350 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1956284
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11894
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.03 3/180 11981
/proc/meminfo: memFree=29202956/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=1956380 CPUtime=1801.44
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 485186 0 0 0 175906 4238 0 0 19 0 1 0 130469688 2003333120 483470 4089446400 4194304 7136930 140734750155920 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11894/statm: 489095 483470 399 719 0 488374 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 1956380
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.03 3/180 11981
/proc/meminfo: memFree=29200724/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=1956380 CPUtime=1801.84
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 485186 0 0 0 175946 4238 0 0 20 0 1 0 130469688 2003333120 483470 4089446400 4194304 7136930 140734750155920 18446744073709551615 5003457 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11894/statm: 489095 483470 399 719 0 488374 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 1956380
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.03 3/180 11981
/proc/meminfo: memFree=29200724/32951124 swapFree=67111528/67111528
[pid=11894] ppid=11892 vsize=1956380 CPUtime=1802.04
/proc/11894/stat : 11894 (pbscip.linux.x8) R 11892 11894 11080 0 -1 4202496 485186 0 0 0 175966 4238 0 0 21 0 1 0 130469688 2003333120 483470 4089446400 4194304 7136930 140734750155920 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11894/statm: 489095 483470 399 719 0 488374 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 1956380
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.07
CPU time (s): 1802.12
CPU user time (s): 1759.67
CPU system time (s): 42.4485
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1956380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.67
system time used= 42.4485
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 485186
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= 3
involuntary context switches= 2138
runsolver used 2.42063 second user time and 5.84011 second system time
The end
Begin job on node136 at 2010-06-30 11:55:37
IDJOB=2693761
IDBENCH=78706
IDSOLVER=1206
FILE ID=node136/2693761-1277891737
PBS_JOBID= 11197081
Free space on /tmp= 74136 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-15-10--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693761-1277891737/watcher-2693761-1277891737 -o /tmp/evaluation-result-2693761-1277891737/solver-2693761-1277891737 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693761-1277891737.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9acc4a01e291192ca8cd72bb114b6c35
RANDOM SEED=1901476704
node136.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.840
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.68
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.840
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.840
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.840
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.840
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.840
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.840
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.840
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31165408 kB
Buffers: 174252 kB
Cached: 1372036 kB
SwapCached: 0 kB
Active: 739596 kB
Inactive: 901008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31165408 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 6000 kB
Writeback: 0 kB
AnonPages: 94120 kB
Mapped: 15192 kB
Slab: 82000 kB
PageTables: 4868 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 237000 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74132 MiB
End job on node136 at 2010-06-30 12:25:39