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-2693749-1277973309.wbo>
0.00/0.00 c original problem has 482 variables (441 bin, 0 int, 0 impl, 41 cont) and 102 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, 41 impls, 7 clqs
0.00/0.01 c (round 2) 0 del vars, 1 del conss, 41 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 41 impls, 7 clqs
0.00/0.01 c (round 3) 0 del vars, 1 del conss, 41 chg bounds, 0 chg sides, 0 chg coeffs, 12 upgd conss, 41 impls, 7 clqs
0.00/0.01 c (round 4) 0 del vars, 1 del conss, 41 chg bounds, 0 chg sides, 0 chg coeffs, 19 upgd conss, 41 impls, 7 clqs
0.00/0.01 c (0.0s) probing: 101/441 (22.9%) - 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, 41 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 41 implications, 7 cliques
0.00/0.01 c presolved problem has 482 variables (441 bin, 0 int, 0 impl, 41 cont) and 101 constraints
0.00/0.01 c 41 constraints of type <indicator>
0.00/0.01 c 7 constraints of type <setppc>
0.00/0.01 c 41 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.00
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 | - |1092k| 0 | - | 482 | 101 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.71 c 0.5s| 10000 | 8864 | 0 | 0.0 |5187k| 310 | - | 482 | 633 | 0 | 0 | 0 |3406 | 0 | 0.000000e+00 | -- | Inf
1.39/1.43 c 1.0s| 20000 | 17874 | 0 | 0.0 |8987k| 310 | - | 482 | 720 | 0 | 0 | 0 |6785 | 0 | 0.000000e+00 | -- | Inf
2.19/2.20 c 1.6s| 30000 | 26612 | 0 | 0.0 | 13M| 310 | - | 482 | 841 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
3.00/3.04 c 2.2s| 40000 | 35155 | 0 | 0.0 | 17M| 310 | - | 482 |1086 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
3.99/4.00 c 2.9s| 50000 | 43201 | 0 | 0.0 | 21M| 310 | - | 482 |1143 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
5.09/5.16 c 3.7s| 60000 | 50433 | 0 | 0.0 | 26M| 310 | - | 482 |1667 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
6.39/6.41 c 4.7s| 70000 | 57364 | 0 | 0.0 | 31M| 310 | - | 482 |1110 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
7.19/7.22 c 5.3s| 80000 | 66119 | 0 | 0.0 | 35M| 310 | - | 482 |1033 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
7.99/8.03 c 5.9s| 90000 | 74838 | 0 | 0.0 | 39M| 310 | - | 482 |1090 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
8.79/8.85 c 6.5s|100000 | 83547 | 0 | 0.0 | 43M| 310 | - | 482 |1144 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
9.59/9.65 c 7.1s|110000 | 92348 | 0 | 0.0 | 47M| 310 | - | 482 |1068 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
10.39/10.46 c 7.7s|120000 |101086 | 0 | 0.0 | 50M| 310 | - | 482 |1025 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
11.19/11.26 c 8.3s|130000 |109818 | 0 | 0.0 | 54M| 310 | - | 482 | 979 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
11.99/12.07 c 8.9s|140000 |118530 | 0 | 0.0 | 58M| 310 | - | 482 |1118 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
12.79/12.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.79/12.88 c 9.5s|150000 |127230 | 0 | 0.0 | 62M| 310 | - | 482 |1128 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
13.70/13.71 c 10.1s|160000 |135900 | 0 | 0.0 | 66M| 310 | - | 482 |1123 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
14.49/14.55 c 10.8s|170000 |144514 | 0 | 0.0 | 70M| 310 | - | 482 |1148 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
15.29/15.39 c 11.4s|180000 |153130 | 0 | 0.0 | 73M| 310 | - | 482 |1120 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
16.19/16.24 c 12.0s|190000 |161715 | 0 | 0.0 | 77M| 310 | - | 482 |1159 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
17.09/17.10 c 12.7s|200000 |170249 | 0 | 0.0 | 81M| 310 | - | 482 |1148 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
17.89/17.97 c 13.3s|210000 |178789 | 0 | 0.0 | 85M| 310 | - | 482 |1237 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
18.79/18.84 c 13.9s|220000 |187308 | 0 | 0.0 | 89M| 310 | - | 482 |1249 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
19.70/19.73 c 14.6s|230000 |195739 | 0 | 0.0 | 93M| 310 | - | 482 |1232 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
20.59/20.62 c 15.3s|240000 |204188 | 0 | 0.0 | 97M| 310 | - | 482 |1240 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
21.50/21.52 c 16.0s|250000 |212615 | 0 | 0.0 | 101M| 310 | - | 482 |1285 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
22.40/22.41 c 16.7s|260000 |221081 | 0 | 0.0 | 105M| 310 | - | 482 |1388 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
23.29/23.32 c 17.4s|270000 |229423 | 0 | 0.0 | 109M| 310 | - | 482 |1394 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
24.19/24.25 c 18.1s|280000 |237773 | 0 | 0.0 | 113M| 310 | - | 482 |1408 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
25.09/25.17 c 18.8s|290000 |246151 | 0 | 0.0 | 117M| 310 | - | 482 |1358 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
26.09/26.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.09/26.13 c 19.5s|300000 |254353 | 0 | 0.0 | 121M| 310 | - | 482 |1458 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
26.99/27.08 c 20.2s|310000 |262635 | 0 | 0.0 | 125M| 310 | - | 482 |1600 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
27.99/28.05 c 21.0s|320000 |270906 | 0 | 0.0 | 129M| 310 | - | 482 |1382 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
28.99/29.03 c 21.8s|330000 |279142 | 0 | 0.0 | 133M| 310 | - | 482 |1588 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
29.99/30.01 c 22.5s|340000 |287369 | 0 | 0.0 | 137M| 310 | - | 482 |1555 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
31.00/31.01 c 23.3s|350000 |295464 | 0 | 0.0 | 141M| 310 | - | 482 |1641 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
31.89/31.97 c 24.0s|360000 |303673 | 0 | 0.0 | 145M| 310 | - | 482 |1517 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
33.00/33.01 c 24.8s|370000 |311701 | 0 | 0.0 | 150M| 310 | - | 482 |1578 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
34.00/34.03 c 25.7s|380000 |319798 | 0 | 0.0 | 154M| 310 | - | 482 |1610 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
34.99/35.07 c 26.5s|390000 |327805 | 0 | 0.0 | 158M| 310 | - | 482 |1614 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
36.09/36.12 c 27.3s|400000 |335809 | 0 | 0.0 | 162M| 310 | - | 482 |1834 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
37.09/37.16 c 28.1s|410000 |343831 | 0 | 0.0 | 166M| 310 | - | 482 |1570 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
38.19/38.24 c 28.9s|420000 |351733 | 0 | 0.0 | 171M| 310 | - | 482 |1768 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
39.30/39.33 c 29.8s|430000 |359605 | 0 | 0.0 | 175M| 310 | - | 482 |1689 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
40.39/40.44 c 30.7s|440000 |367457 | 0 | 0.0 | 179M| 310 | - | 482 |1778 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
41.49/41.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.49/41.53 c 31.6s|450000 |375389 | 0 | 0.0 | 183M| 310 | - | 482 |1704 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
42.60/42.68 c 32.5s|460000 |383108 | 0 | 0.0 | 188M| 310 | - | 482 |1930 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
43.79/43.80 c 33.4s|470000 |390920 | 0 | 0.0 | 192M| 310 | - | 482 |1740 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
44.89/44.97 c 34.3s|480000 |398489 | 0 | 0.0 | 196M| 310 | - | 482 |2046 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
46.10/46.14 c 35.3s|490000 |406206 | 0 | 0.0 | 200M| 310 | - | 482 |1837 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
47.30/47.36 c 36.3s|500000 |413673 | 0 | 0.0 | 205M| 310 | - | 482 |2133 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
48.49/48.56 c 37.3s|510000 |421336 | 0 | 0.0 | 209M| 310 | - | 482 |1924 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
49.80/49.80 c 38.3s|520000 |428706 | 0 | 0.0 | 213M| 310 | - | 482 |2149 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
50.99/51.01 c 39.2s|530000 |436272 | 0 | 0.0 | 217M| 310 | - | 482 |2054 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
52.29/52.34 c 40.3s|540000 |443486 | 0 | 0.0 | 222M| 310 | - | 482 |2174 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
53.60/53.61 c 41.4s|550000 |450924 | 0 | 0.0 | 226M| 310 | - | 482 |2062 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
54.90/54.97 c 42.5s|560000 |458070 | 0 | 0.0 | 231M| 310 | - | 482 |2218 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
56.30/56.32 c 43.6s|570000 |465222 | 0 | 0.0 | 235M| 310 | - | 482 |2494 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
57.69/57.72 c 44.7s|580000 |472338 | 0 | 0.0 | 240M| 310 | - | 482 |2582 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | -- | Inf
59.09/59.16 c 45.9s|590000 |479298 | 0 | 0.0 | 244M| 310 | - | 482 |2781 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | -- | Inf
60.59/60.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.59/60.64 c 47.2s|600000 |486282 | 0 | 0.0 | 249M| 310 | - | 482 |2396 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
62.09/62.18 c 48.5s|610000 |492945 | 0 | 0.0 | 253M| 310 | - | 482 |2828 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | -- | Inf
63.59/63.67 c 49.7s|620000 |499889 | 0 | 0.0 | 258M| 310 | - | 482 |2293 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | -- | Inf
65.29/65.36 c 51.1s|630000 |506286 | 0 | 0.0 | 262M| 310 | - | 482 |2877 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | -- | Inf
66.89/66.94 c 52.4s|640000 |512892 | 0 | 0.0 | 267M| 310 | - | 482 |2865 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | -- | Inf
68.49/68.57 c 53.8s|650000 |519451 | 0 | 0.0 | 272M| 310 | - | 482 |2749 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | -- | Inf
70.30/70.34 c 55.3s|660000 |525598 | 0 | 0.0 | 276M| 310 | - | 482 |3428 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | -- | Inf
72.00/72.04 c 56.8s|670000 |531917 | 0 | 0.0 | 281M| 310 | - | 482 |3264 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | -- | Inf
73.79/73.82 c 58.3s|680000 |538245 | 0 | 0.0 | 285M| 310 | - | 482 |2709 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | -- | Inf
75.69/75.76 c 60.0s|690000 |544088 | 0 | 0.0 | 290M| 310 | - | 482 |3327 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | -- | Inf
77.60/77.64 c 61.6s|700000 |550043 | 0 | 0.0 | 295M| 310 | - | 482 |3759 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | -- | Inf
79.49/79.57 c 63.3s|710000 |555959 | 0 | 0.0 | 300M| 310 | - | 482 |3945 | 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | -- | Inf
81.49/81.54 c 65.0s|720000 |561865 | 0 | 0.0 | 304M| 310 | - | 482 |3320 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | -- | Inf
83.60/83.62 c 66.8s|730000 |567584 | 0 | 0.0 | 309M| 310 | - | 482 |2951 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | -- | Inf
85.70/85.78 c 68.7s|740000 |573041 | 0 | 0.0 | 314M| 310 | - | 482 |3241 | 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | -- | Inf
88.00/88.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.00/88.06 c 70.7s|750000 |578283 | 0 | 0.0 | 318M| 310 | - | 482 |3522 | 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | -- | Inf
90.29/90.35 c 72.7s|760000 |583466 | 0 | 0.0 | 323M| 310 | - | 482 |3424 | 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | -- | Inf
92.69/92.71 c 74.8s|770000 |588381 | 0 | 0.0 | 328M| 310 | - | 482 |4159 | 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | -- | Inf
95.19/95.27 c 77.1s|780000 |593053 | 0 | 0.0 | 333M| 310 | - | 482 |4318 | 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | -- | Inf
97.69/97.77 c 79.2s|790000 |597775 | 0 | 0.0 | 337M| 310 | - | 482 |4000 | 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | -- | Inf
100.49/100.55 c 81.7s|800000 |601899 | 0 | 0.0 | 342M| 310 | - | 482 |4544 | 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | -- | Inf
103.49/103.55 c 84.4s|810000 |605531 | 0 | 0.0 | 347M| 310 | - | 482 |4621 | 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | -- | Inf
106.70/106.74 c 87.3s|820000 |608576 | 0 | 0.0 | 352M| 310 | - | 482 |4907 | 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | -- | Inf
109.60/109.61 c 89.8s|830000 |612447 | 0 | 0.0 | 355M| 310 | - | 482 |2333 | 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | -- | Inf
110.49/110.55 c 90.5s|840000 |621180 | 0 | 0.0 | 359M| 310 | - | 482 |2299 | 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | -- | Inf
111.70/111.71 c 91.4s|850000 |629296 | 0 | 0.0 | 364M| 310 | - | 482 |3779 | 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | -- | Inf
113.30/113.36 c 92.8s|860000 |636227 | 0 | 0.0 | 368M| 310 | - | 482 |1938 | 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | -- | Inf
114.30/114.39 c 93.6s|870000 |644641 | 0 | 0.0 | 372M| 310 | - | 482 |1638 | 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | -- | Inf
115.40/115.49 c 94.5s|880000 |652944 | 0 | 0.0 | 376M| 310 | - | 482 |1687 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | -- | Inf
116.50/116.57 c 95.4s|890000 |661319 | 0 | 0.0 | 381M| 310 | - | 482 |1712 | 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | -- | Inf
117.60/117.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.60/117.66 c 96.2s|900000 |669638 | 0 | 0.0 | 385M| 310 | - | 482 |1774 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | -- | Inf
118.70/118.77 c 97.1s|910000 |677866 | 0 | 0.0 | 389M| 310 | - | 482 |1899 | 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | -- | Inf
119.80/119.87 c 98.0s|920000 |686216 | 0 | 0.0 | 393M| 310 | - | 482 |1625 | 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | -- | Inf
121.00/121.01 c 98.9s|930000 |694440 | 0 | 0.0 | 398M| 310 | - | 482 |1747 | 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | -- | Inf
122.00/122.10 c 99.8s|940000 |702780 | 0 | 0.0 | 402M| 310 | - | 482 |1677 | 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | -- | Inf
123.20/123.24 c 101s|950000 |711015 | 0 | 0.0 | 406M| 310 | - | 482 |1754 | 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | -- | Inf
124.30/124.34 c 102s|960000 |719335 | 0 | 0.0 | 410M| 310 | - | 482 |1718 | 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | -- | Inf
125.50/125.50 c 103s|970000 |727525 | 0 | 0.0 | 414M| 310 | - | 482 |1977 | 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | -- | Inf
126.59/126.60 c 103s|980000 |735819 | 0 | 0.0 | 418M| 310 | - | 482 |1715 | 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | -- | Inf
127.69/127.71 c 104s|990000 |744075 | 0 | 0.0 | 423M| 310 | - | 482 |1762 | 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | -- | Inf
128.79/128.87 c 105s| 1000k|752214 | 0 | 0.0 | 427M| 310 | - | 482 |1811 | 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | -- | Inf
129.89/129.98 c 106s| 1010k|760506 | 0 | 0.0 | 431M| 310 | - | 482 |1685 | 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | -- | Inf
131.09/131.11 c 107s| 1020k|768724 | 0 | 0.0 | 435M| 310 | - | 482 |1692 | 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | -- | Inf
132.19/132.27 c 108s| 1030k|776852 | 0 | 0.0 | 440M| 310 | - | 482 |1887 | 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | -- | Inf
133.40/133.41 c 109s| 1040k|785048 | 0 | 0.0 | 444M| 310 | - | 482 |1760 | 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | -- | Inf
134.50/134.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.50/134.54 c 110s| 1050k|793227 | 0 | 0.0 | 448M| 310 | - | 482 |1730 | 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | -- | Inf
135.69/135.70 c 111s| 1060k|801298 | 0 | 0.0 | 452M| 310 | - | 482 |1838 | 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | -- | Inf
136.79/136.84 c 112s| 1070k|809494 | 0 | 0.0 | 456M| 310 | - | 482 |1742 | 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | -- | Inf
137.90/137.98 c 113s| 1080k|817742 | 0 | 0.0 | 460M| 310 | - | 482 |1637 | 0 | 0 | 0 | 866k| 0 | 0.000000e+00 | -- | Inf
139.10/139.10 c 114s| 1090k|825915 | 0 | 0.0 | 465M| 310 | - | 482 |1849 | 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | -- | Inf
140.29/140.32 c 115s| 1100k|833870 | 0 | 0.0 | 469M| 310 | - | 482 |1885 | 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | -- | Inf
141.40/141.47 c 115s| 1110k|842023 | 0 | 0.0 | 473M| 310 | - | 482 |1757 | 0 | 0 | 0 | 890k| 0 | 0.000000e+00 | -- | Inf
142.49/142.57 c 116s| 1120k|850229 | 0 | 0.0 | 477M| 310 | - | 482 |1725 | 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | -- | Inf
143.59/143.68 c 117s| 1130k|858421 | 0 | 0.0 | 481M| 310 | - | 482 |1640 | 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | -- | Inf
144.79/144.86 c 118s| 1140k|866427 | 0 | 0.0 | 486M| 310 | - | 482 |1940 | 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | -- | Inf
145.99/146.03 c 119s| 1150k|874452 | 0 | 0.0 | 490M| 310 | - | 482 |1921 | 0 | 0 | 0 | 922k| 0 | 0.000000e+00 | -- | Inf
147.19/147.20 c 120s| 1160k|882595 | 0 | 0.0 | 494M| 310 | - | 482 |1682 | 0 | 0 | 0 | 929k| 0 | 0.000000e+00 | -- | Inf
148.29/148.37 c 121s| 1170k|890718 | 0 | 0.0 | 498M| 310 | - | 482 |1776 | 0 | 0 | 0 | 937k| 0 | 0.000000e+00 | -- | Inf
149.50/149.51 c 122s| 1180k|898914 | 0 | 0.0 | 502M| 310 | - | 482 |1848 | 0 | 0 | 0 | 945k| 0 | 0.000000e+00 | -- | Inf
150.70/150.71 c 123s| 1190k|906966 | 0 | 0.0 | 506M| 310 | - | 482 |1778 | 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | -- | Inf
151.89/151.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.89/151.96 c 124s| 1200k|914923 | 0 | 0.0 | 511M| 310 | - | 482 |1857 | 0 | 0 | 0 | 961k| 0 | 0.000000e+00 | -- | Inf
153.10/153.17 c 125s| 1210k|923014 | 0 | 0.0 | 515M| 310 | - | 482 |1756 | 0 | 0 | 0 | 969k| 0 | 0.000000e+00 | -- | Inf
154.29/154.33 c 126s| 1220k|931185 | 0 | 0.0 | 519M| 310 | - | 482 |1735 | 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | -- | Inf
155.49/155.52 c 127s| 1230k|939267 | 0 | 0.0 | 523M| 310 | - | 482 |1943 | 0 | 0 | 0 | 985k| 0 | 0.000000e+00 | -- | Inf
156.70/156.71 c 128s| 1240k|947353 | 0 | 0.0 | 527M| 310 | - | 482 |1736 | 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | -- | Inf
157.80/157.89 c 129s| 1250k|955478 | 0 | 0.0 | 531M| 310 | - | 482 |1778 | 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | -- | Inf
159.10/159.10 c 130s| 1260k|963477 | 0 | 0.0 | 536M| 310 | - | 482 |1928 | 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | -- | Inf
160.29/160.30 c 131s| 1270k|971568 | 0 | 0.0 | 540M| 310 | - | 482 |1821 | 0 | 0 | 0 |1017k| 0 | 0.000000e+00 | -- | Inf
161.50/161.54 c 132s| 1280k|979638 | 0 | 0.0 | 544M| 310 | - | 482 |1865 | 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | -- | Inf
162.80/162.84 c 133s| 1290k|987597 | 0 | 0.0 | 548M| 310 | - | 482 |1913 | 0 | 0 | 0 |1033k| 0 | 0.000000e+00 | -- | Inf
164.10/164.11 c 134s| 1300k|995614 | 0 | 0.0 | 552M| 310 | - | 482 |1740 | 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | -- | Inf
165.29/165.35 c 135s| 1310k| 1003k| 0 | 0.0 | 556M| 310 | - | 482 |1730 | 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | -- | Inf
166.49/166.53 c 136s| 1320k| 1011k| 0 | 0.0 | 561M| 310 | - | 482 |1726 | 0 | 0 | 0 |1057k| 0 | 0.000000e+00 | -- | Inf
167.70/167.76 c 137s| 1330k| 1019k| 0 | 0.0 | 565M| 310 | - | 482 |1866 | 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | -- | Inf
168.99/169.06 c 138s| 1340k| 1027k| 0 | 0.0 | 569M| 310 | - | 482 |1863 | 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | -- | Inf
170.30/170.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.30/170.31 c 139s| 1350k| 1035k| 0 | 0.0 | 573M| 310 | - | 482 |1858 | 0 | 0 | 0 |1082k| 0 | 0.000000e+00 | -- | Inf
171.50/171.53 c 140s| 1360k| 1043k| 0 | 0.0 | 577M| 310 | - | 482 |1781 | 0 | 0 | 0 |1090k| 0 | 0.000000e+00 | -- | Inf
172.70/172.79 c 141s| 1370k| 1051k| 0 | 0.0 | 581M| 310 | - | 482 |1854 | 0 | 0 | 0 |1098k| 0 | 0.000000e+00 | -- | Inf
174.00/174.04 c 142s| 1380k| 1059k| 0 | 0.0 | 586M| 310 | - | 482 |1857 | 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | -- | Inf
175.29/175.36 c 143s| 1390k| 1067k| 0 | 0.0 | 590M| 310 | - | 482 |1802 | 0 | 0 | 0 |1115k| 0 | 0.000000e+00 | -- | Inf
176.50/176.56 c 144s| 1400k| 1075k| 0 | 0.0 | 594M| 310 | - | 482 |1839 | 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | -- | Inf
177.80/177.83 c 145s| 1410k| 1083k| 0 | 0.0 | 598M| 310 | - | 482 |2003 | 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | -- | Inf
179.10/179.13 c 146s| 1420k| 1091k| 0 | 0.0 | 602M| 310 | - | 482 |1958 | 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | -- | Inf
180.50/180.51 c 148s| 1430k| 1099k| 0 | 0.0 | 606M| 310 | - | 482 |1956 | 0 | 0 | 0 |1148k| 0 | 0.000000e+00 | -- | Inf
181.80/181.82 c 149s| 1440k| 1107k| 0 | 0.0 | 611M| 310 | - | 482 |2013 | 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | -- | Inf
183.09/183.15 c 150s| 1450k| 1115k| 0 | 0.0 | 615M| 310 | - | 482 |1917 | 0 | 0 | 0 |1164k| 0 | 0.000000e+00 | -- | Inf
184.40/184.44 c 151s| 1460k| 1123k| 0 | 0.0 | 619M| 310 | - | 482 |1861 | 0 | 0 | 0 |1172k| 0 | 0.000000e+00 | -- | Inf
185.60/185.68 c 152s| 1470k| 1131k| 0 | 0.0 | 623M| 310 | - | 482 |1784 | 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | -- | Inf
186.79/186.89 c 153s| 1480k| 1139k| 0 | 0.0 | 627M| 310 | - | 482 |1792 | 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | -- | Inf
188.19/188.20 c 154s| 1490k| 1147k| 0 | 0.0 | 631M| 310 | - | 482 |1865 | 0 | 0 | 0 |1195k| 0 | 0.000000e+00 | -- | Inf
189.49/189.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
189.49/189.50 c 155s| 1500k| 1155k| 0 | 0.0 | 635M| 310 | - | 482 |1897 | 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | -- | Inf
190.70/190.73 c 156s| 1510k| 1163k| 0 | 0.0 | 640M| 310 | - | 482 |1801 | 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | -- | Inf
192.00/192.05 c 157s| 1520k| 1171k| 0 | 0.0 | 644M| 310 | - | 482 |1946 | 0 | 0 | 0 |1219k| 0 | 0.000000e+00 | -- | Inf
193.29/193.38 c 158s| 1530k| 1179k| 0 | 0.0 | 648M| 310 | - | 482 |1897 | 0 | 0 | 0 |1227k| 0 | 0.000000e+00 | -- | Inf
194.70/194.76 c 159s| 1540k| 1187k| 0 | 0.0 | 652M| 310 | - | 482 |1962 | 0 | 0 | 0 |1235k| 0 | 0.000000e+00 | -- | Inf
196.00/196.04 c 160s| 1550k| 1195k| 0 | 0.0 | 656M| 310 | - | 482 |1804 | 0 | 0 | 0 |1243k| 0 | 0.000000e+00 | -- | Inf
197.19/197.25 c 161s| 1560k| 1203k| 0 | 0.0 | 660M| 310 | - | 482 |1867 | 0 | 0 | 0 |1250k| 0 | 0.000000e+00 | -- | Inf
198.50/198.56 c 162s| 1570k| 1211k| 0 | 0.0 | 665M| 310 | - | 482 |2031 | 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | -- | Inf
199.80/199.83 c 163s| 1580k| 1219k| 0 | 0.0 | 669M| 310 | - | 482 |1944 | 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | -- | Inf
200.99/201.07 c 164s| 1590k| 1227k| 0 | 0.0 | 673M| 310 | - | 482 |1863 | 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | -- | Inf
202.30/202.30 c 165s| 1600k| 1235k| 0 | 0.0 | 677M| 310 | - | 482 |1845 | 0 | 0 | 0 |1281k| 0 | 0.000000e+00 | -- | Inf
203.60/203.60 c 167s| 1610k| 1242k| 0 | 0.0 | 682M| 310 | - | 482 |2089 | 0 | 0 | 0 |1290k| 0 | 0.000000e+00 | -- | Inf
204.79/204.85 c 168s| 1620k| 1250k| 0 | 0.0 | 686M| 310 | - | 482 |1938 | 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | -- | Inf
206.10/206.10 c 169s| 1630k| 1258k| 0 | 0.0 | 690M| 310 | - | 482 |1934 | 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | -- | Inf
207.30/207.37 c 170s| 1640k| 1266k| 0 | 0.0 | 695M| 310 | - | 482 |1967 | 0 | 0 | 0 |1314k| 0 | 0.000000e+00 | -- | Inf
208.60/208.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
208.60/208.64 c 171s| 1650k| 1274k| 0 | 0.0 | 699M| 310 | - | 482 |1907 | 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | -- | Inf
209.90/210.00 c 172s| 1660k| 1282k| 0 | 0.0 | 703M| 310 | - | 482 |1948 | 0 | 0 | 0 |1330k| 0 | 0.000000e+00 | -- | Inf
211.30/211.32 c 173s| 1670k| 1290k| 0 | 0.0 | 707M| 310 | - | 482 |2086 | 0 | 0 | 0 |1338k| 0 | 0.000000e+00 | -- | Inf
212.60/212.62 c 174s| 1680k| 1298k| 0 | 0.0 | 711M| 310 | - | 482 |1905 | 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | -- | Inf
213.80/213.89 c 175s| 1690k| 1306k| 0 | 0.0 | 716M| 310 | - | 482 |1992 | 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | -- | Inf
215.20/215.27 c 176s| 1700k| 1314k| 0 | 0.0 | 720M| 310 | - | 482 |2185 | 0 | 0 | 0 |1362k| 0 | 0.000000e+00 | -- | Inf
216.60/216.61 c 177s| 1710k| 1321k| 0 | 0.0 | 724M| 310 | - | 482 |2166 | 0 | 0 | 0 |1370k| 0 | 0.000000e+00 | -- | Inf
217.90/217.97 c 179s| 1720k| 1329k| 0 | 0.0 | 728M| 310 | - | 482 |1983 | 0 | 0 | 0 |1378k| 0 | 0.000000e+00 | -- | Inf
219.29/219.34 c 180s| 1730k| 1337k| 0 | 0.0 | 732M| 310 | - | 482 |2072 | 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | -- | Inf
220.70/220.77 c 181s| 1740k| 1345k| 0 | 0.0 | 737M| 310 | - | 482 |2042 | 0 | 0 | 0 |1395k| 0 | 0.000000e+00 | -- | Inf
222.10/222.13 c 182s| 1750k| 1353k| 0 | 0.0 | 741M| 310 | - | 482 |2017 | 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | -- | Inf
223.30/223.40 c 183s| 1760k| 1361k| 0 | 0.0 | 745M| 310 | - | 482 |1895 | 0 | 0 | 0 |1410k| 0 | 0.000000e+00 | -- | Inf
224.69/224.74 c 184s| 1770k| 1368k| 0 | 0.0 | 749M| 310 | - | 482 |1996 | 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | -- | Inf
225.99/226.08 c 185s| 1780k| 1376k| 0 | 0.0 | 753M| 310 | - | 482 |2055 | 0 | 0 | 0 |1427k| 0 | 0.000000e+00 | -- | Inf
227.29/227.34 c 186s| 1790k| 1384k| 0 | 0.0 | 758M| 310 | - | 482 |1927 | 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | -- | Inf
228.70/228.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
228.70/228.73 c 188s| 1800k| 1392k| 0 | 0.0 | 762M| 310 | - | 482 |2018 | 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | -- | Inf
230.10/230.17 c 189s| 1810k| 1400k| 0 | 0.0 | 766M| 310 | - | 482 |2255 | 0 | 0 | 0 |1451k| 0 | 0.000000e+00 | -- | Inf
231.50/231.58 c 190s| 1820k| 1407k| 0 | 0.0 | 771M| 310 | - | 482 |2003 | 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | -- | Inf
232.89/232.96 c 191s| 1830k| 1415k| 0 | 0.0 | 775M| 310 | - | 482 |2102 | 0 | 0 | 0 |1468k| 0 | 0.000000e+00 | -- | Inf
234.39/234.40 c 192s| 1840k| 1423k| 0 | 0.0 | 779M| 310 | - | 482 |2080 | 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | -- | Inf
235.79/235.81 c 193s| 1850k| 1431k| 0 | 0.0 | 783M| 310 | - | 482 |2128 | 0 | 0 | 0 |1485k| 0 | 0.000000e+00 | -- | Inf
237.20/237.22 c 195s| 1860k| 1438k| 0 | 0.0 | 788M| 310 | - | 482 |2076 | 0 | 0 | 0 |1493k| 0 | 0.000000e+00 | -- | Inf
238.61/238.68 c 196s| 1870k| 1446k| 0 | 0.0 | 792M| 310 | - | 482 |2041 | 0 | 0 | 0 |1501k| 0 | 0.000000e+00 | -- | Inf
239.99/240.04 c 197s| 1880k| 1454k| 0 | 0.0 | 796M| 310 | - | 482 |1998 | 0 | 0 | 0 |1510k| 0 | 0.000000e+00 | -- | Inf
241.30/241.39 c 198s| 1890k| 1462k| 0 | 0.0 | 800M| 310 | - | 482 |1995 | 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | -- | Inf
242.69/242.78 c 199s| 1900k| 1470k| 0 | 0.0 | 804M| 310 | - | 482 |1982 | 0 | 0 | 0 |1526k| 0 | 0.000000e+00 | -- | Inf
244.10/244.19 c 200s| 1910k| 1477k| 0 | 0.0 | 809M| 310 | - | 482 |2138 | 0 | 0 | 0 |1534k| 0 | 0.000000e+00 | -- | Inf
245.70/245.78 c 202s| 1920k| 1485k| 0 | 0.0 | 813M| 310 | - | 482 |2254 | 0 | 0 | 0 |1542k| 0 | 0.000000e+00 | -- | Inf
247.19/247.23 c 203s| 1930k| 1493k| 0 | 0.0 | 817M| 310 | - | 482 |2195 | 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | -- | Inf
248.70/248.73 c 204s| 1940k| 1500k| 0 | 0.0 | 821M| 310 | - | 482 |2226 | 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | -- | Inf
250.10/250.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
250.10/250.13 c 205s| 1950k| 1508k| 0 | 0.0 | 825M| 310 | - | 482 |1969 | 0 | 0 | 0 |1568k| 0 | 0.000000e+00 | -- | Inf
251.39/251.49 c 207s| 1960k| 1516k| 0 | 0.0 | 830M| 310 | - | 482 |2117 | 0 | 0 | 0 |1576k| 0 | 0.000000e+00 | -- | Inf
252.90/252.99 c 208s| 1970k| 1524k| 0 | 0.0 | 834M| 310 | - | 482 |2185 | 0 | 0 | 0 |1585k| 0 | 0.000000e+00 | -- | Inf
254.40/254.44 c 209s| 1980k| 1531k| 0 | 0.0 | 838M| 310 | - | 482 |2037 | 0 | 0 | 0 |1593k| 0 | 0.000000e+00 | -- | Inf
255.80/255.82 c 210s| 1990k| 1539k| 0 | 0.0 | 842M| 310 | - | 482 |2041 | 0 | 0 | 0 |1601k| 0 | 0.000000e+00 | -- | Inf
257.20/257.28 c 211s| 2000k| 1547k| 0 | 0.0 | 847M| 310 | - | 482 |2015 | 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | -- | Inf
258.59/258.67 c 213s| 2010k| 1555k| 0 | 0.0 | 851M| 310 | - | 482 |2109 | 0 | 0 | 0 |1617k| 0 | 0.000000e+00 | -- | Inf
260.00/260.08 c 214s| 2020k| 1562k| 0 | 0.0 | 855M| 310 | - | 482 |2014 | 0 | 0 | 0 |1625k| 0 | 0.000000e+00 | -- | Inf
261.60/261.63 c 215s| 2030k| 1570k| 0 | 0.0 | 860M| 310 | - | 482 |2265 | 0 | 0 | 0 |1633k| 0 | 0.000000e+00 | -- | Inf
263.10/263.13 c 216s| 2040k| 1578k| 0 | 0.0 | 864M| 310 | - | 482 |2112 | 0 | 0 | 0 |1642k| 0 | 0.000000e+00 | -- | Inf
264.69/264.73 c 218s| 2050k| 1585k| 0 | 0.0 | 868M| 310 | - | 482 |2253 | 0 | 0 | 0 |1651k| 0 | 0.000000e+00 | -- | Inf
266.20/266.27 c 219s| 2060k| 1593k| 0 | 0.0 | 872M| 310 | - | 482 |2131 | 0 | 0 | 0 |1660k| 0 | 0.000000e+00 | -- | Inf
267.70/267.77 c 220s| 2070k| 1600k| 0 | 0.0 | 876M| 310 | - | 482 |2266 | 0 | 0 | 0 |1668k| 0 | 0.000000e+00 | -- | Inf
269.29/269.31 c 222s| 2080k| 1608k| 0 | 0.0 | 881M| 310 | - | 482 |2262 | 0 | 0 | 0 |1677k| 0 | 0.000000e+00 | -- | Inf
270.70/270.73 c 223s| 2090k| 1616k| 0 | 0.0 | 885M| 310 | - | 482 |2127 | 0 | 0 | 0 |1685k| 0 | 0.000000e+00 | -- | Inf
272.10/272.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
272.10/272.17 c 224s| 2100k| 1623k| 0 | 0.0 | 889M| 310 | - | 482 |2072 | 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | -- | Inf
273.60/273.66 c 225s| 2110k| 1631k| 0 | 0.0 | 893M| 310 | - | 482 |2107 | 0 | 0 | 0 |1701k| 0 | 0.000000e+00 | -- | Inf
275.09/275.11 c 227s| 2120k| 1639k| 0 | 0.0 | 898M| 310 | - | 482 |2261 | 0 | 0 | 0 |1709k| 0 | 0.000000e+00 | -- | Inf
276.50/276.54 c 228s| 2130k| 1647k| 0 | 0.0 | 902M| 310 | - | 482 |1972 | 0 | 0 | 0 |1718k| 0 | 0.000000e+00 | -- | Inf
277.90/277.95 c 229s| 2140k| 1654k| 0 | 0.0 | 906M| 310 | - | 482 |1984 | 0 | 0 | 0 |1725k| 0 | 0.000000e+00 | -- | Inf
279.40/279.41 c 230s| 2150k| 1662k| 0 | 0.0 | 910M| 310 | - | 482 |1988 | 0 | 0 | 0 |1733k| 0 | 0.000000e+00 | -- | Inf
280.90/280.99 c 232s| 2160k| 1670k| 0 | 0.0 | 915M| 310 | - | 482 |2278 | 0 | 0 | 0 |1742k| 0 | 0.000000e+00 | -- | Inf
282.70/282.70 c 233s| 2170k| 1677k| 0 | 0.0 | 919M| 310 | - | 482 |2206 | 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | -- | Inf
284.20/284.27 c 234s| 2180k| 1684k| 0 | 0.0 | 923M| 310 | - | 482 |2146 | 0 | 0 | 0 |1760k| 0 | 0.000000e+00 | -- | Inf
285.69/285.72 c 236s| 2190k| 1692k| 0 | 0.0 | 928M| 310 | - | 482 |2271 | 0 | 0 | 0 |1769k| 0 | 0.000000e+00 | -- | Inf
287.20/287.23 c 237s| 2200k| 1700k| 0 | 0.0 | 932M| 310 | - | 482 |2183 | 0 | 0 | 0 |1777k| 0 | 0.000000e+00 | -- | Inf
288.60/288.69 c 238s| 2210k| 1707k| 0 | 0.0 | 936M| 310 | - | 482 |2228 | 0 | 0 | 0 |1786k| 0 | 0.000000e+00 | -- | Inf
290.10/290.18 c 239s| 2220k| 1715k| 0 | 0.0 | 941M| 310 | - | 482 |2114 | 0 | 0 | 0 |1795k| 0 | 0.000000e+00 | -- | Inf
291.70/291.72 c 241s| 2230k| 1722k| 0 | 0.0 | 945M| 310 | - | 482 |2070 | 0 | 0 | 0 |1803k| 0 | 0.000000e+00 | -- | Inf
293.10/293.16 c 242s| 2240k| 1730k| 0 | 0.0 | 949M| 310 | - | 482 |2127 | 0 | 0 | 0 |1812k| 0 | 0.000000e+00 | -- | Inf
294.60/294.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
294.60/294.66 c 243s| 2250k| 1738k| 0 | 0.0 | 954M| 310 | - | 482 |2245 | 0 | 0 | 0 |1820k| 0 | 0.000000e+00 | -- | Inf
296.20/296.23 c 244s| 2260k| 1745k| 0 | 0.0 | 958M| 310 | - | 482 |1981 | 0 | 0 | 0 |1828k| 0 | 0.000000e+00 | -- | Inf
297.70/297.75 c 246s| 2270k| 1753k| 0 | 0.0 | 962M| 310 | - | 482 |2225 | 0 | 0 | 0 |1837k| 0 | 0.000000e+00 | -- | Inf
299.11/299.20 c 247s| 2280k| 1761k| 0 | 0.0 | 966M| 310 | - | 482 |2096 | 0 | 0 | 0 |1845k| 0 | 0.000000e+00 | -- | Inf
300.70/300.76 c 248s| 2290k| 1768k| 0 | 0.0 | 970M| 310 | - | 482 |2186 | 0 | 0 | 0 |1854k| 0 | 0.000000e+00 | -- | Inf
302.40/302.43 c 250s| 2300k| 1775k| 0 | 0.0 | 975M| 310 | - | 482 |2340 | 0 | 0 | 0 |1864k| 0 | 0.000000e+00 | -- | Inf
303.99/304.08 c 251s| 2310k| 1783k| 0 | 0.0 | 979M| 310 | - | 482 |2291 | 0 | 0 | 0 |1873k| 0 | 0.000000e+00 | -- | Inf
305.60/305.67 c 252s| 2320k| 1790k| 0 | 0.0 | 983M| 310 | - | 482 |2219 | 0 | 0 | 0 |1881k| 0 | 0.000000e+00 | -- | Inf
307.20/307.22 c 254s| 2330k| 1798k| 0 | 0.0 | 988M| 310 | - | 482 |2173 | 0 | 0 | 0 |1890k| 0 | 0.000000e+00 | -- | Inf
308.79/308.86 c 255s| 2340k| 1805k| 0 | 0.0 | 992M| 310 | - | 482 |2196 | 0 | 0 | 0 |1898k| 0 | 0.000000e+00 | -- | Inf
310.30/310.35 c 256s| 2350k| 1813k| 0 | 0.0 | 996M| 310 | - | 482 |2279 | 0 | 0 | 0 |1907k| 0 | 0.000000e+00 | -- | Inf
311.90/311.93 c 258s| 2360k| 1821k| 0 | 0.0 |1001M| 310 | - | 482 |2250 | 0 | 0 | 0 |1915k| 0 | 0.000000e+00 | -- | Inf
313.41/313.50 c 259s| 2370k| 1828k| 0 | 0.0 |1005M| 310 | - | 482 |2004 | 0 | 0 | 0 |1924k| 0 | 0.000000e+00 | -- | Inf
315.00/315.04 c 260s| 2380k| 1836k| 0 | 0.0 |1009M| 310 | - | 482 |2161 | 0 | 0 | 0 |1932k| 0 | 0.000000e+00 | -- | Inf
316.59/316.67 c 262s| 2390k| 1843k| 0 | 0.0 |1014M| 310 | - | 482 |2279 | 0 | 0 | 0 |1941k| 0 | 0.000000e+00 | -- | Inf
318.09/318.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.09/318.18 c 263s| 2400k| 1851k| 0 | 0.0 |1018M| 310 | - | 482 |2196 | 0 | 0 | 0 |1950k| 0 | 0.000000e+00 | -- | Inf
319.69/319.73 c 264s| 2410k| 1858k| 0 | 0.0 |1022M| 310 | - | 482 |2186 | 0 | 0 | 0 |1958k| 0 | 0.000000e+00 | -- | Inf
321.20/321.26 c 266s| 2420k| 1866k| 0 | 0.0 |1026M| 310 | - | 482 |2130 | 0 | 0 | 0 |1967k| 0 | 0.000000e+00 | -- | Inf
322.80/322.85 c 267s| 2430k| 1874k| 0 | 0.0 |1031M| 310 | - | 482 |2018 | 0 | 0 | 0 |1976k| 0 | 0.000000e+00 | -- | Inf
324.40/324.45 c 268s| 2440k| 1881k| 0 | 0.0 |1035M| 310 | - | 482 |2196 | 0 | 0 | 0 |1985k| 0 | 0.000000e+00 | -- | Inf
326.20/326.23 c 270s| 2450k| 1888k| 0 | 0.0 |1039M| 310 | - | 482 |2412 | 0 | 0 | 0 |1994k| 0 | 0.000000e+00 | -- | Inf
327.80/327.81 c 271s| 2460k| 1896k| 0 | 0.0 |1044M| 310 | - | 482 |2323 | 0 | 0 | 0 |2003k| 0 | 0.000000e+00 | -- | Inf
329.40/329.48 c 273s| 2470k| 1903k| 0 | 0.0 |1048M| 310 | - | 482 |2400 | 0 | 0 | 0 |2012k| 0 | 0.000000e+00 | -- | Inf
331.10/331.17 c 274s| 2480k| 1911k| 0 | 0.0 |1052M| 310 | - | 482 |2262 | 0 | 0 | 0 |2020k| 0 | 0.000000e+00 | -- | Inf
332.70/332.72 c 276s| 2490k| 1918k| 0 | 0.0 |1057M| 310 | - | 482 |2331 | 0 | 0 | 0 |2027k| 0 | 0.000000e+00 | -- | Inf
334.20/334.27 c 277s| 2500k| 1926k| 0 | 0.0 |1061M| 310 | - | 482 |2169 | 0 | 0 | 0 |2035k| 0 | 0.000000e+00 | -- | Inf
335.70/335.78 c 278s| 2510k| 1933k| 0 | 0.0 |1065M| 310 | - | 482 |2105 | 0 | 0 | 0 |2042k| 0 | 0.000000e+00 | -- | Inf
337.29/337.33 c 280s| 2520k| 1941k| 0 | 0.0 |1070M| 310 | - | 482 |2206 | 0 | 0 | 0 |2049k| 0 | 0.000000e+00 | -- | Inf
338.80/338.89 c 281s| 2530k| 1949k| 0 | 0.0 |1074M| 310 | - | 482 |2296 | 0 | 0 | 0 |2057k| 0 | 0.000000e+00 | -- | Inf
340.40/340.49 c 282s| 2540k| 1956k| 0 | 0.0 |1078M| 310 | - | 482 |2104 | 0 | 0 | 0 |2064k| 0 | 0.000000e+00 | -- | Inf
342.01/342.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
342.01/342.02 c 284s| 2550k| 1964k| 0 | 0.0 |1082M| 310 | - | 482 |2243 | 0 | 0 | 0 |2071k| 0 | 0.000000e+00 | -- | Inf
343.50/343.51 c 285s| 2560k| 1971k| 0 | 0.0 |1086M| 310 | - | 482 |2103 | 0 | 0 | 0 |2079k| 0 | 0.000000e+00 | -- | Inf
345.10/345.14 c 286s| 2570k| 1979k| 0 | 0.0 |1091M| 310 | - | 482 |2125 | 0 | 0 | 0 |2087k| 0 | 0.000000e+00 | -- | Inf
346.60/346.65 c 287s| 2580k| 1987k| 0 | 0.0 |1095M| 310 | - | 482 |2215 | 0 | 0 | 0 |2094k| 0 | 0.000000e+00 | -- | Inf
348.09/348.18 c 289s| 2590k| 1994k| 0 | 0.0 |1099M| 310 | - | 482 |2084 | 0 | 0 | 0 |2102k| 0 | 0.000000e+00 | -- | Inf
349.70/349.72 c 290s| 2600k| 2002k| 0 | 0.0 |1104M| 310 | - | 482 |2219 | 0 | 0 | 0 |2110k| 0 | 0.000000e+00 | -- | Inf
351.49/351.53 c 292s| 2610k| 2009k| 0 | 0.0 |1108M| 310 | - | 482 |2481 | 0 | 0 | 0 |2119k| 0 | 0.000000e+00 | -- | Inf
353.11/353.19 c 293s| 2620k| 2016k| 0 | 0.0 |1113M| 310 | - | 482 |2458 | 0 | 0 | 0 |2127k| 0 | 0.000000e+00 | -- | Inf
354.80/354.85 c 294s| 2630k| 2024k| 0 | 0.0 |1117M| 310 | - | 482 |2280 | 0 | 0 | 0 |2135k| 0 | 0.000000e+00 | -- | Inf
356.41/356.47 c 296s| 2640k| 2031k| 0 | 0.0 |1122M| 310 | - | 482 |2310 | 0 | 0 | 0 |2143k| 0 | 0.000000e+00 | -- | Inf
358.00/358.02 c 297s| 2650k| 2038k| 0 | 0.0 |1126M| 310 | - | 482 |2363 | 0 | 0 | 0 |2151k| 0 | 0.000000e+00 | -- | Inf
359.50/359.59 c 298s| 2660k| 2046k| 0 | 0.0 |1130M| 310 | - | 482 |2359 | 0 | 0 | 0 |2158k| 0 | 0.000000e+00 | -- | Inf
361.20/361.21 c 300s| 2670k| 2053k| 0 | 0.0 |1134M| 310 | - | 482 |2134 | 0 | 0 | 0 |2166k| 0 | 0.000000e+00 | -- | Inf
362.70/362.75 c 301s| 2680k| 2061k| 0 | 0.0 |1139M| 310 | - | 482 |2162 | 0 | 0 | 0 |2173k| 0 | 0.000000e+00 | -- | Inf
364.30/364.30 c 303s| 2690k| 2068k| 0 | 0.0 |1143M| 310 | - | 482 |2166 | 0 | 0 | 0 |2181k| 0 | 0.000000e+00 | -- | Inf
365.90/365.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
365.90/365.92 c 304s| 2700k| 2076k| 0 | 0.0 |1148M| 310 | - | 482 |2377 | 0 | 0 | 0 |2189k| 0 | 0.000000e+00 | -- | Inf
367.50/367.52 c 305s| 2710k| 2083k| 0 | 0.0 |1152M| 310 | - | 482 |2115 | 0 | 0 | 0 |2197k| 0 | 0.000000e+00 | -- | Inf
369.30/369.33 c 307s| 2720k| 2091k| 0 | 0.0 |1156M| 310 | - | 482 |2133 | 0 | 0 | 0 |2205k| 0 | 0.000000e+00 | -- | Inf
370.90/370.96 c 308s| 2730k| 2098k| 0 | 0.0 |1161M| 310 | - | 482 |2305 | 0 | 0 | 0 |2213k| 0 | 0.000000e+00 | -- | Inf
372.50/372.59 c 310s| 2740k| 2106k| 0 | 0.0 |1165M| 310 | - | 482 |2269 | 0 | 0 | 0 |2221k| 0 | 0.000000e+00 | -- | Inf
374.30/374.30 c 311s| 2750k| 2113k| 0 | 0.0 |1169M| 310 | - | 482 |2395 | 0 | 0 | 0 |2229k| 0 | 0.000000e+00 | -- | Inf
375.90/375.95 c 312s| 2760k| 2121k| 0 | 0.0 |1174M| 310 | - | 482 |2216 | 0 | 0 | 0 |2236k| 0 | 0.000000e+00 | -- | Inf
377.60/377.66 c 314s| 2770k| 2128k| 0 | 0.0 |1178M| 310 | - | 482 |2418 | 0 | 0 | 0 |2245k| 0 | 0.000000e+00 | -- | Inf
379.40/379.46 c 316s| 2780k| 2135k| 0 | 0.0 |1182M| 310 | - | 482 |2543 | 0 | 0 | 0 |2253k| 0 | 0.000000e+00 | -- | Inf
381.20/381.29 c 317s| 2790k| 2142k| 0 | 0.0 |1187M| 310 | - | 482 |2467 | 0 | 0 | 0 |2262k| 0 | 0.000000e+00 | -- | Inf
383.00/383.00 c 319s| 2800k| 2150k| 0 | 0.0 |1191M| 310 | - | 482 |2369 | 0 | 0 | 0 |2270k| 0 | 0.000000e+00 | -- | Inf
384.70/384.74 c 320s| 2810k| 2157k| 0 | 0.0 |1196M| 310 | - | 482 |2275 | 0 | 0 | 0 |2278k| 0 | 0.000000e+00 | -- | Inf
386.31/386.39 c 322s| 2820k| 2164k| 0 | 0.0 |1200M| 310 | - | 482 |2199 | 0 | 0 | 0 |2286k| 0 | 0.000000e+00 | -- | Inf
388.00/388.08 c 323s| 2830k| 2172k| 0 | 0.0 |1205M| 310 | - | 482 |2276 | 0 | 0 | 0 |2293k| 0 | 0.000000e+00 | -- | Inf
389.80/389.80 c 325s| 2840k| 2179k| 0 | 0.0 |1209M| 310 | - | 482 |2356 | 0 | 0 | 0 |2301k| 0 | 0.000000e+00 | -- | Inf
391.30/391.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
391.30/391.40 c 326s| 2850k| 2187k| 0 | 0.0 |1213M| 310 | - | 482 |2080 | 0 | 0 | 0 |2308k| 0 | 0.000000e+00 | -- | Inf
393.00/393.09 c 327s| 2860k| 2194k| 0 | 0.0 |1218M| 310 | - | 482 |2331 | 0 | 0 | 0 |2316k| 0 | 0.000000e+00 | -- | Inf
394.70/394.78 c 329s| 2870k| 2201k| 0 | 0.0 |1222M| 310 | - | 482 |2321 | 0 | 0 | 0 |2324k| 0 | 0.000000e+00 | -- | Inf
396.50/396.58 c 330s| 2880k| 2209k| 0 | 0.0 |1227M| 310 | - | 482 |2401 | 0 | 0 | 0 |2332k| 0 | 0.000000e+00 | -- | Inf
398.40/398.41 c 332s| 2890k| 2216k| 0 | 0.0 |1231M| 310 | - | 482 |2274 | 0 | 0 | 0 |2340k| 0 | 0.000000e+00 | -- | Inf
400.00/400.06 c 333s| 2900k| 2223k| 0 | 0.0 |1235M| 310 | - | 482 |2460 | 0 | 0 | 0 |2348k| 0 | 0.000000e+00 | -- | Inf
401.70/401.72 c 335s| 2910k| 2231k| 0 | 0.0 |1240M| 310 | - | 482 |2303 | 0 | 0 | 0 |2356k| 0 | 0.000000e+00 | -- | Inf
403.40/403.45 c 336s| 2920k| 2238k| 0 | 0.0 |1244M| 310 | - | 482 |2346 | 0 | 0 | 0 |2364k| 0 | 0.000000e+00 | -- | Inf
405.00/405.07 c 338s| 2930k| 2246k| 0 | 0.0 |1248M| 310 | - | 482 |2329 | 0 | 0 | 0 |2372k| 0 | 0.000000e+00 | -- | Inf
406.80/406.83 c 339s| 2940k| 2253k| 0 | 0.0 |1253M| 310 | - | 482 |2444 | 0 | 0 | 0 |2380k| 0 | 0.000000e+00 | -- | Inf
408.70/408.73 c 341s| 2950k| 2260k| 0 | 0.0 |1257M| 310 | - | 482 |2532 | 0 | 0 | 0 |2389k| 0 | 0.000000e+00 | -- | Inf
410.50/410.59 c 342s| 2960k| 2267k| 0 | 0.0 |1262M| 310 | - | 482 |2500 | 0 | 0 | 0 |2397k| 0 | 0.000000e+00 | -- | Inf
412.40/412.47 c 344s| 2970k| 2274k| 0 | 0.0 |1267M| 310 | - | 482 |2555 | 0 | 0 | 0 |2406k| 0 | 0.000000e+00 | -- | Inf
414.10/414.10 c 345s| 2980k| 2281k| 0 | 0.0 |1271M| 310 | - | 482 |2500 | 0 | 0 | 0 |2414k| 0 | 0.000000e+00 | -- | Inf
415.90/415.90 c 347s| 2990k| 2289k| 0 | 0.0 |1275M| 310 | - | 482 |2302 | 0 | 0 | 0 |2422k| 0 | 0.000000e+00 | -- | Inf
417.60/417.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
417.60/417.62 c 349s| 3000k| 2296k| 0 | 0.0 |1280M| 310 | - | 482 |2522 | 0 | 0 | 0 |2430k| 0 | 0.000000e+00 | -- | Inf
419.40/419.42 c 350s| 3010k| 2303k| 0 | 0.0 |1284M| 310 | - | 482 |2313 | 0 | 0 | 0 |2438k| 0 | 0.000000e+00 | -- | Inf
421.20/421.23 c 352s| 3020k| 2310k| 0 | 0.0 |1289M| 310 | - | 482 |2460 | 0 | 0 | 0 |2447k| 0 | 0.000000e+00 | -- | Inf
423.00/423.04 c 353s| 3030k| 2318k| 0 | 0.0 |1293M| 310 | - | 482 |2435 | 0 | 0 | 0 |2455k| 0 | 0.000000e+00 | -- | Inf
424.80/424.88 c 355s| 3040k| 2325k| 0 | 0.0 |1297M| 310 | - | 482 |2296 | 0 | 0 | 0 |2463k| 0 | 0.000000e+00 | -- | Inf
426.60/426.66 c 356s| 3050k| 2332k| 0 | 0.0 |1302M| 310 | - | 482 |2290 | 0 | 0 | 0 |2471k| 0 | 0.000000e+00 | -- | Inf
428.31/428.35 c 358s| 3060k| 2340k| 0 | 0.0 |1306M| 310 | - | 482 |2615 | 0 | 0 | 0 |2480k| 0 | 0.000000e+00 | -- | Inf
430.10/430.12 c 359s| 3070k| 2347k| 0 | 0.0 |1311M| 310 | - | 482 |2422 | 0 | 0 | 0 |2488k| 0 | 0.000000e+00 | -- | Inf
431.90/431.98 c 361s| 3080k| 2354k| 0 | 0.0 |1315M| 310 | - | 482 |2299 | 0 | 0 | 0 |2496k| 0 | 0.000000e+00 | -- | Inf
433.70/433.79 c 363s| 3090k| 2362k| 0 | 0.0 |1319M| 310 | - | 482 |2312 | 0 | 0 | 0 |2504k| 0 | 0.000000e+00 | -- | Inf
435.61/435.66 c 364s| 3100k| 2369k| 0 | 0.0 |1324M| 310 | - | 482 |2330 | 0 | 0 | 0 |2513k| 0 | 0.000000e+00 | -- | Inf
437.50/437.50 c 366s| 3110k| 2376k| 0 | 0.0 |1328M| 310 | - | 482 |2324 | 0 | 0 | 0 |2521k| 0 | 0.000000e+00 | -- | Inf
439.40/439.47 c 368s| 3120k| 2383k| 0 | 0.0 |1333M| 310 | - | 482 |2631 | 0 | 0 | 0 |2530k| 0 | 0.000000e+00 | -- | Inf
441.30/441.36 c 369s| 3130k| 2390k| 0 | 0.0 |1337M| 310 | - | 482 |2454 | 0 | 0 | 0 |2538k| 0 | 0.000000e+00 | -- | Inf
443.21/443.25 c 371s| 3140k| 2397k| 0 | 0.0 |1342M| 310 | - | 482 |2518 | 0 | 0 | 0 |2547k| 0 | 0.000000e+00 | -- | Inf
445.00/445.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
445.00/445.05 c 372s| 3150k| 2404k| 0 | 0.0 |1346M| 310 | - | 482 |2423 | 0 | 0 | 0 |2556k| 0 | 0.000000e+00 | -- | Inf
446.91/446.91 c 374s| 3160k| 2411k| 0 | 0.0 |1351M| 310 | - | 482 |2482 | 0 | 0 | 0 |2564k| 0 | 0.000000e+00 | -- | Inf
448.80/448.81 c 376s| 3170k| 2418k| 0 | 0.0 |1355M| 310 | - | 482 |2524 | 0 | 0 | 0 |2572k| 0 | 0.000000e+00 | -- | Inf
450.70/450.75 c 377s| 3180k| 2426k| 0 | 0.0 |1360M| 310 | - | 482 |2495 | 0 | 0 | 0 |2581k| 0 | 0.000000e+00 | -- | Inf
452.50/452.59 c 379s| 3190k| 2433k| 0 | 0.0 |1364M| 310 | - | 482 |2356 | 0 | 0 | 0 |2589k| 0 | 0.000000e+00 | -- | Inf
454.40/454.41 c 381s| 3200k| 2440k| 0 | 0.0 |1369M| 310 | - | 482 |2326 | 0 | 0 | 0 |2597k| 0 | 0.000000e+00 | -- | Inf
456.00/456.06 c 382s| 3210k| 2447k| 0 | 0.0 |1373M| 310 | - | 482 |2344 | 0 | 0 | 0 |2606k| 0 | 0.000000e+00 | -- | Inf
457.70/457.74 c 383s| 3220k| 2455k| 0 | 0.0 |1378M| 310 | - | 482 |2412 | 0 | 0 | 0 |2614k| 0 | 0.000000e+00 | -- | Inf
459.41/459.45 c 385s| 3230k| 2462k| 0 | 0.0 |1382M| 310 | - | 482 |2345 | 0 | 0 | 0 |2622k| 0 | 0.000000e+00 | -- | Inf
461.00/461.09 c 386s| 3240k| 2469k| 0 | 0.0 |1387M| 310 | - | 482 |2417 | 0 | 0 | 0 |2630k| 0 | 0.000000e+00 | -- | Inf
462.60/462.67 c 388s| 3250k| 2476k| 0 | 0.0 |1392M| 310 | - | 482 |2479 | 0 | 0 | 0 |2639k| 0 | 0.000000e+00 | -- | Inf
464.30/464.38 c 389s| 3260k| 2484k| 0 | 0.0 |1396M| 310 | - | 482 |2558 | 0 | 0 | 0 |2647k| 0 | 0.000000e+00 | -- | Inf
466.00/466.09 c 391s| 3270k| 2491k| 0 | 0.0 |1400M| 310 | - | 482 |2382 | 0 | 0 | 0 |2655k| 0 | 0.000000e+00 | -- | Inf
467.80/467.85 c 392s| 3280k| 2498k| 0 | 0.0 |1405M| 310 | - | 482 |2484 | 0 | 0 | 0 |2664k| 0 | 0.000000e+00 | -- | Inf
469.40/469.46 c 393s| 3290k| 2506k| 0 | 0.0 |1409M| 310 | - | 482 |2369 | 0 | 0 | 0 |2673k| 0 | 0.000000e+00 | -- | Inf
471.20/471.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
471.20/471.29 c 395s| 3300k| 2512k| 0 | 0.0 |1414M| 310 | - | 482 |2569 | 0 | 0 | 0 |2682k| 0 | 0.000000e+00 | -- | Inf
473.10/473.19 c 397s| 3310k| 2519k| 0 | 0.0 |1419M| 310 | - | 482 |2560 | 0 | 0 | 0 |2691k| 0 | 0.000000e+00 | -- | Inf
475.00/475.04 c 398s| 3320k| 2526k| 0 | 0.0 |1424M| 310 | - | 482 |2598 | 0 | 0 | 0 |2700k| 0 | 0.000000e+00 | -- | Inf
476.81/476.83 c 400s| 3330k| 2533k| 0 | 0.0 |1428M| 310 | - | 482 |2464 | 0 | 0 | 0 |2708k| 0 | 0.000000e+00 | -- | Inf
478.51/478.59 c 401s| 3340k| 2541k| 0 | 0.0 |1433M| 310 | - | 482 |2678 | 0 | 0 | 0 |2717k| 0 | 0.000000e+00 | -- | Inf
480.40/480.45 c 403s| 3350k| 2548k| 0 | 0.0 |1437M| 310 | - | 482 |2427 | 0 | 0 | 0 |2725k| 0 | 0.000000e+00 | -- | Inf
482.40/482.48 c 405s| 3360k| 2555k| 0 | 0.0 |1442M| 310 | - | 482 |2390 | 0 | 0 | 0 |2734k| 0 | 0.000000e+00 | -- | Inf
484.51/484.50 c 407s| 3370k| 2562k| 0 | 0.0 |1446M| 310 | - | 482 |2368 | 0 | 0 | 0 |2743k| 0 | 0.000000e+00 | -- | Inf
486.50/486.53 c 408s| 3380k| 2569k| 0 | 0.0 |1451M| 310 | - | 482 |2410 | 0 | 0 | 0 |2752k| 0 | 0.000000e+00 | -- | Inf
488.41/488.47 c 410s| 3390k| 2576k| 0 | 0.0 |1456M| 310 | - | 482 |2589 | 0 | 0 | 0 |2761k| 0 | 0.000000e+00 | -- | Inf
490.50/490.51 c 412s| 3400k| 2583k| 0 | 0.0 |1460M| 310 | - | 482 |2597 | 0 | 0 | 0 |2770k| 0 | 0.000000e+00 | -- | Inf
492.30/492.36 c 414s| 3410k| 2590k| 0 | 0.0 |1465M| 310 | - | 482 |2604 | 0 | 0 | 0 |2778k| 0 | 0.000000e+00 | -- | Inf
494.20/494.27 c 415s| 3420k| 2597k| 0 | 0.0 |1469M| 310 | - | 482 |2674 | 0 | 0 | 0 |2787k| 0 | 0.000000e+00 | -- | Inf
496.31/496.31 c 417s| 3430k| 2604k| 0 | 0.0 |1474M| 310 | - | 482 |2579 | 0 | 0 | 0 |2796k| 0 | 0.000000e+00 | -- | Inf
498.21/498.23 c 419s| 3440k| 2611k| 0 | 0.0 |1478M| 310 | - | 482 |2525 | 0 | 0 | 0 |2805k| 0 | 0.000000e+00 | -- | Inf
500.10/500.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
500.10/500.17 c 421s| 3450k| 2618k| 0 | 0.0 |1483M| 310 | - | 482 |2586 | 0 | 0 | 0 |2814k| 0 | 0.000000e+00 | -- | Inf
502.01/502.04 c 422s| 3460k| 2625k| 0 | 0.0 |1487M| 310 | - | 482 |2390 | 0 | 0 | 0 |2822k| 0 | 0.000000e+00 | -- | Inf
503.90/503.91 c 424s| 3470k| 2633k| 0 | 0.0 |1492M| 310 | - | 482 |2568 | 0 | 0 | 0 |2832k| 0 | 0.000000e+00 | -- | Inf
505.81/505.86 c 426s| 3480k| 2639k| 0 | 0.0 |1496M| 310 | - | 482 |2786 | 0 | 0 | 0 |2841k| 0 | 0.000000e+00 | -- | Inf
507.80/507.84 c 427s| 3490k| 2646k| 0 | 0.0 |1501M| 310 | - | 482 |2556 | 0 | 0 | 0 |2850k| 0 | 0.000000e+00 | -- | Inf
510.00/510.05 c 429s| 3500k| 2653k| 0 | 0.0 |1506M| 310 | - | 482 |2482 | 0 | 0 | 0 |2860k| 0 | 0.000000e+00 | -- | Inf
511.90/511.98 c 431s| 3510k| 2660k| 0 | 0.0 |1510M| 310 | - | 482 |2459 | 0 | 0 | 0 |2868k| 0 | 0.000000e+00 | -- | Inf
513.90/513.91 c 433s| 3520k| 2667k| 0 | 0.0 |1515M| 310 | - | 482 |2340 | 0 | 0 | 0 |2877k| 0 | 0.000000e+00 | -- | Inf
515.91/515.98 c 435s| 3530k| 2674k| 0 | 0.0 |1520M| 310 | - | 482 |2598 | 0 | 0 | 0 |2886k| 0 | 0.000000e+00 | -- | Inf
517.90/517.96 c 436s| 3540k| 2681k| 0 | 0.0 |1524M| 310 | - | 482 |2494 | 0 | 0 | 0 |2895k| 0 | 0.000000e+00 | -- | Inf
520.00/520.08 c 438s| 3550k| 2688k| 0 | 0.0 |1529M| 310 | - | 482 |2495 | 0 | 0 | 0 |2904k| 0 | 0.000000e+00 | -- | Inf
522.01/522.01 c 440s| 3560k| 2695k| 0 | 0.0 |1533M| 310 | - | 482 |2755 | 0 | 0 | 0 |2913k| 0 | 0.000000e+00 | -- | Inf
524.00/524.03 c 442s| 3570k| 2701k| 0 | 0.0 |1538M| 310 | - | 482 |2519 | 0 | 0 | 0 |2922k| 0 | 0.000000e+00 | -- | Inf
526.11/526.19 c 444s| 3580k| 2708k| 0 | 0.0 |1543M| 310 | - | 482 |2680 | 0 | 0 | 0 |2931k| 0 | 0.000000e+00 | -- | Inf
528.11/528.19 c 446s| 3590k| 2715k| 0 | 0.0 |1547M| 310 | - | 482 |2538 | 0 | 0 | 0 |2940k| 0 | 0.000000e+00 | -- | Inf
530.30/530.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
530.30/530.31 c 448s| 3600k| 2722k| 0 | 0.0 |1552M| 310 | - | 482 |2549 | 0 | 0 | 0 |2949k| 0 | 0.000000e+00 | -- | Inf
532.41/532.41 c 449s| 3610k| 2729k| 0 | 0.0 |1556M| 310 | - | 482 |2666 | 0 | 0 | 0 |2958k| 0 | 0.000000e+00 | -- | Inf
534.31/534.32 c 451s| 3620k| 2736k| 0 | 0.0 |1561M| 310 | - | 482 |2466 | 0 | 0 | 0 |2967k| 0 | 0.000000e+00 | -- | Inf
536.30/536.38 c 453s| 3630k| 2743k| 0 | 0.0 |1565M| 310 | - | 482 |2695 | 0 | 0 | 0 |2977k| 0 | 0.000000e+00 | -- | Inf
538.30/538.38 c 455s| 3640k| 2750k| 0 | 0.0 |1570M| 310 | - | 482 |2667 | 0 | 0 | 0 |2986k| 0 | 0.000000e+00 | -- | Inf
540.41/540.40 c 457s| 3650k| 2757k| 0 | 0.0 |1574M| 310 | - | 482 |2495 | 0 | 0 | 0 |2996k| 0 | 0.000000e+00 | -- | Inf
542.41/542.46 c 458s| 3660k| 2764k| 0 | 0.0 |1579M| 310 | - | 482 |2663 | 0 | 0 | 0 |3005k| 0 | 0.000000e+00 | -- | Inf
544.60/544.69 c 460s| 3670k| 2771k| 0 | 0.0 |1584M| 310 | - | 482 |2671 | 0 | 0 | 0 |3015k| 0 | 0.000000e+00 | -- | Inf
546.71/546.75 c 462s| 3680k| 2777k| 0 | 0.0 |1588M| 310 | - | 482 |2701 | 0 | 0 | 0 |3024k| 0 | 0.000000e+00 | -- | Inf
548.81/548.82 c 464s| 3690k| 2784k| 0 | 0.0 |1593M| 310 | - | 482 |2492 | 0 | 0 | 0 |3033k| 0 | 0.000000e+00 | -- | Inf
550.80/550.87 c 466s| 3700k| 2791k| 0 | 0.0 |1598M| 310 | - | 482 |2748 | 0 | 0 | 0 |3042k| 0 | 0.000000e+00 | -- | Inf
552.91/552.97 c 468s| 3710k| 2798k| 0 | 0.0 |1602M| 310 | - | 482 |2709 | 0 | 0 | 0 |3052k| 0 | 0.000000e+00 | -- | Inf
555.10/555.13 c 470s| 3720k| 2804k| 0 | 0.0 |1607M| 310 | - | 482 |2641 | 0 | 0 | 0 |3061k| 0 | 0.000000e+00 | -- | Inf
557.21/557.28 c 472s| 3730k| 2811k| 0 | 0.0 |1611M| 310 | - | 482 |2747 | 0 | 0 | 0 |3070k| 0 | 0.000000e+00 | -- | Inf
559.40/559.40 c 473s| 3740k| 2818k| 0 | 0.0 |1616M| 310 | - | 482 |2658 | 0 | 0 | 0 |3080k| 0 | 0.000000e+00 | -- | Inf
561.40/561.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
561.40/561.45 c 475s| 3750k| 2825k| 0 | 0.0 |1621M| 310 | - | 482 |2780 | 0 | 0 | 0 |3090k| 0 | 0.000000e+00 | -- | Inf
563.51/563.53 c 477s| 3760k| 2832k| 0 | 0.0 |1625M| 310 | - | 482 |2755 | 0 | 0 | 0 |3099k| 0 | 0.000000e+00 | -- | Inf
565.60/565.61 c 479s| 3770k| 2838k| 0 | 0.0 |1630M| 310 | - | 482 |2664 | 0 | 0 | 0 |3109k| 0 | 0.000000e+00 | -- | Inf
567.61/567.65 c 481s| 3780k| 2845k| 0 | 0.0 |1635M| 310 | - | 482 |2688 | 0 | 0 | 0 |3118k| 0 | 0.000000e+00 | -- | Inf
569.70/569.79 c 483s| 3790k| 2852k| 0 | 0.0 |1639M| 310 | - | 482 |2716 | 0 | 0 | 0 |3128k| 0 | 0.000000e+00 | -- | Inf
571.91/571.92 c 484s| 3800k| 2859k| 0 | 0.0 |1644M| 310 | - | 482 |2782 | 0 | 0 | 0 |3137k| 0 | 0.000000e+00 | -- | Inf
574.11/574.13 c 486s| 3810k| 2866k| 0 | 0.0 |1648M| 310 | - | 482 |2602 | 0 | 0 | 0 |3147k| 0 | 0.000000e+00 | -- | Inf
576.20/576.24 c 488s| 3820k| 2873k| 0 | 0.0 |1653M| 310 | - | 482 |2558 | 0 | 0 | 0 |3156k| 0 | 0.000000e+00 | -- | Inf
578.31/578.35 c 490s| 3830k| 2880k| 0 | 0.0 |1657M| 310 | - | 482 |2668 | 0 | 0 | 0 |3165k| 0 | 0.000000e+00 | -- | Inf
580.20/580.24 c 492s| 3840k| 2887k| 0 | 0.0 |1662M| 310 | - | 482 |2537 | 0 | 0 | 0 |3174k| 0 | 0.000000e+00 | -- | Inf
582.60/582.64 c 494s| 3850k| 2893k| 0 | 0.0 |1667M| 310 | - | 482 |2884 | 0 | 0 | 0 |3185k| 0 | 0.000000e+00 | -- | Inf
584.80/584.84 c 496s| 3860k| 2900k| 0 | 0.0 |1671M| 310 | - | 482 |2697 | 0 | 0 | 0 |3194k| 0 | 0.000000e+00 | -- | Inf
587.01/587.04 c 498s| 3870k| 2906k| 0 | 0.0 |1676M| 310 | - | 482 |2695 | 0 | 0 | 0 |3204k| 0 | 0.000000e+00 | -- | Inf
589.31/589.35 c 500s| 3880k| 2913k| 0 | 0.0 |1681M| 310 | - | 482 |2747 | 0 | 0 | 0 |3214k| 0 | 0.000000e+00 | -- | Inf
591.71/591.75 c 502s| 3890k| 2919k| 0 | 0.0 |1685M| 310 | - | 482 |2695 | 0 | 0 | 0 |3224k| 0 | 0.000000e+00 | -- | Inf
594.10/594.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
594.10/594.12 c 504s| 3900k| 2926k| 0 | 0.0 |1690M| 310 | - | 482 |2628 | 0 | 0 | 0 |3234k| 0 | 0.000000e+00 | -- | Inf
596.30/596.35 c 506s| 3910k| 2932k| 0 | 0.0 |1695M| 310 | - | 482 |2985 | 0 | 0 | 0 |3244k| 0 | 0.000000e+00 | -- | Inf
598.50/598.57 c 508s| 3920k| 2939k| 0 | 0.0 |1699M| 310 | - | 482 |2760 | 0 | 0 | 0 |3254k| 0 | 0.000000e+00 | -- | Inf
600.71/600.72 c 510s| 3930k| 2946k| 0 | 0.0 |1704M| 310 | - | 482 |2745 | 0 | 0 | 0 |3263k| 0 | 0.000000e+00 | -- | Inf
603.01/603.02 c 512s| 3940k| 2952k| 0 | 0.0 |1709M| 310 | - | 482 |2964 | 0 | 0 | 0 |3274k| 0 | 0.000000e+00 | -- | Inf
605.20/605.25 c 514s| 3950k| 2959k| 0 | 0.0 |1713M| 310 | - | 482 |2846 | 0 | 0 | 0 |3283k| 0 | 0.000000e+00 | -- | Inf
607.50/607.50 c 516s| 3960k| 2966k| 0 | 0.0 |1718M| 310 | - | 482 |2810 | 0 | 0 | 0 |3293k| 0 | 0.000000e+00 | -- | Inf
609.61/609.64 c 518s| 3970k| 2973k| 0 | 0.0 |1723M| 310 | - | 482 |2882 | 0 | 0 | 0 |3303k| 0 | 0.000000e+00 | -- | Inf
611.81/611.88 c 520s| 3980k| 2979k| 0 | 0.0 |1727M| 310 | - | 482 |2690 | 0 | 0 | 0 |3313k| 0 | 0.000000e+00 | -- | Inf
614.01/614.00 c 522s| 3990k| 2986k| 0 | 0.0 |1732M| 310 | - | 482 |2451 | 0 | 0 | 0 |3323k| 0 | 0.000000e+00 | -- | Inf
616.41/616.43 c 524s| 4000k| 2993k| 0 | 0.0 |1737M| 310 | - | 482 |2753 | 0 | 0 | 0 |3333k| 0 | 0.000000e+00 | -- | Inf
618.50/618.58 c 526s| 4010k| 3000k| 0 | 0.0 |1741M| 310 | - | 482 |2648 | 0 | 0 | 0 |3342k| 0 | 0.000000e+00 | -- | Inf
620.90/620.91 c 528s| 4020k| 3006k| 0 | 0.0 |1746M| 310 | - | 482 |2816 | 0 | 0 | 0 |3352k| 0 | 0.000000e+00 | -- | Inf
623.20/623.25 c 530s| 4030k| 3013k| 0 | 0.0 |1751M| 310 | - | 482 |2835 | 0 | 0 | 0 |3363k| 0 | 0.000000e+00 | -- | Inf
625.60/625.63 c 532s| 4040k| 3019k| 0 | 0.0 |1756M| 310 | - | 482 |2707 | 0 | 0 | 0 |3373k| 0 | 0.000000e+00 | -- | Inf
628.01/628.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
628.01/628.06 c 534s| 4050k| 3025k| 0 | 0.0 |1760M| 310 | - | 482 |2726 | 0 | 0 | 0 |3383k| 0 | 0.000000e+00 | -- | Inf
630.40/630.40 c 536s| 4060k| 3032k| 0 | 0.0 |1765M| 310 | - | 482 |2741 | 0 | 0 | 0 |3394k| 0 | 0.000000e+00 | -- | Inf
632.81/632.89 c 539s| 4070k| 3038k| 0 | 0.0 |1770M| 310 | - | 482 |2762 | 0 | 0 | 0 |3404k| 0 | 0.000000e+00 | -- | Inf
635.10/635.10 c 541s| 4080k| 3045k| 0 | 0.0 |1775M| 310 | - | 482 |2851 | 0 | 0 | 0 |3414k| 0 | 0.000000e+00 | -- | Inf
637.51/637.50 c 543s| 4090k| 3051k| 0 | 0.0 |1779M| 310 | - | 482 |2836 | 0 | 0 | 0 |3424k| 0 | 0.000000e+00 | -- | Inf
639.70/639.76 c 545s| 4100k| 3058k| 0 | 0.0 |1784M| 310 | - | 482 |3041 | 0 | 0 | 0 |3435k| 0 | 0.000000e+00 | -- | Inf
642.01/642.01 c 547s| 4110k| 3064k| 0 | 0.0 |1789M| 310 | - | 482 |3010 | 0 | 0 | 0 |3445k| 0 | 0.000000e+00 | -- | Inf
644.40/644.45 c 549s| 4120k| 3070k| 0 | 0.0 |1794M| 310 | - | 482 |2942 | 0 | 0 | 0 |3456k| 0 | 0.000000e+00 | -- | Inf
646.71/646.77 c 551s| 4130k| 3077k| 0 | 0.0 |1798M| 310 | - | 482 |2767 | 0 | 0 | 0 |3466k| 0 | 0.000000e+00 | -- | Inf
649.20/649.26 c 553s| 4140k| 3083k| 0 | 0.0 |1803M| 310 | - | 482 |2823 | 0 | 0 | 0 |3477k| 0 | 0.000000e+00 | -- | Inf
651.40/651.42 c 555s| 4150k| 3090k| 0 | 0.0 |1808M| 310 | - | 482 |2801 | 0 | 0 | 0 |3487k| 0 | 0.000000e+00 | -- | Inf
653.51/653.57 c 557s| 4160k| 3097k| 0 | 0.0 |1812M| 310 | - | 482 |2867 | 0 | 0 | 0 |3497k| 0 | 0.000000e+00 | -- | Inf
655.91/655.95 c 559s| 4170k| 3103k| 0 | 0.0 |1817M| 310 | - | 482 |2748 | 0 | 0 | 0 |3507k| 0 | 0.000000e+00 | -- | Inf
658.01/658.04 c 561s| 4180k| 3110k| 0 | 0.0 |1822M| 310 | - | 482 |2986 | 0 | 0 | 0 |3518k| 0 | 0.000000e+00 | -- | Inf
660.31/660.38 c 563s| 4190k| 3117k| 0 | 0.0 |1826M| 310 | - | 482 |2844 | 0 | 0 | 0 |3528k| 0 | 0.000000e+00 | -- | Inf
662.61/662.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
662.61/662.65 c 565s| 4200k| 3123k| 0 | 0.0 |1831M| 310 | - | 482 |2793 | 0 | 0 | 0 |3538k| 0 | 0.000000e+00 | -- | Inf
665.11/665.16 c 567s| 4210k| 3130k| 0 | 0.0 |1836M| 310 | - | 482 |2726 | 0 | 0 | 0 |3549k| 0 | 0.000000e+00 | -- | Inf
667.61/667.64 c 570s| 4220k| 3136k| 0 | 0.0 |1841M| 310 | - | 482 |2980 | 0 | 0 | 0 |3559k| 0 | 0.000000e+00 | -- | Inf
670.11/670.10 c 572s| 4230k| 3142k| 0 | 0.0 |1845M| 310 | - | 482 |3093 | 0 | 0 | 0 |3570k| 0 | 0.000000e+00 | -- | Inf
672.61/672.61 c 574s| 4240k| 3148k| 0 | 0.0 |1850M| 310 | - | 482 |2950 | 0 | 0 | 0 |3581k| 0 | 0.000000e+00 | -- | Inf
674.91/674.99 c 576s| 4250k| 3155k| 0 | 0.0 |1855M| 310 | - | 482 |2913 | 0 | 0 | 0 |3591k| 0 | 0.000000e+00 | -- | Inf
677.31/677.39 c 578s| 4260k| 3161k| 0 | 0.0 |1860M| 310 | - | 482 |3017 | 0 | 0 | 0 |3602k| 0 | 0.000000e+00 | -- | Inf
679.91/679.91 c 581s| 4270k| 3167k| 0 | 0.0 |1864M| 310 | - | 482 |3243 | 0 | 0 | 0 |3613k| 0 | 0.000000e+00 | -- | Inf
682.51/682.59 c 583s| 4280k| 3173k| 0 | 0.0 |1869M| 310 | - | 482 |3137 | 0 | 0 | 0 |3624k| 0 | 0.000000e+00 | -- | Inf
685.31/685.34 c 586s| 4290k| 3180k| 0 | 0.0 |1874M| 310 | - | 482 |2963 | 0 | 0 | 0 |3635k| 0 | 0.000000e+00 | -- | Inf
687.71/687.73 c 588s| 4300k| 3186k| 0 | 0.0 |1878M| 310 | - | 482 |2938 | 0 | 0 | 0 |3645k| 0 | 0.000000e+00 | -- | Inf
690.11/690.19 c 590s| 4310k| 3192k| 0 | 0.0 |1883M| 310 | - | 482 |2800 | 0 | 0 | 0 |3657k| 0 | 0.000000e+00 | -- | Inf
692.60/692.60 c 592s| 4320k| 3199k| 0 | 0.0 |1888M| 310 | - | 482 |2899 | 0 | 0 | 0 |3667k| 0 | 0.000000e+00 | -- | Inf
695.01/695.02 c 594s| 4330k| 3205k| 0 | 0.0 |1893M| 310 | - | 482 |3084 | 0 | 0 | 0 |3678k| 0 | 0.000000e+00 | -- | Inf
697.31/697.33 c 596s| 4340k| 3212k| 0 | 0.0 |1897M| 310 | - | 482 |2662 | 0 | 0 | 0 |3688k| 0 | 0.000000e+00 | -- | Inf
699.71/699.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
699.71/699.79 c 598s| 4350k| 3218k| 0 | 0.0 |1902M| 310 | - | 482 |3028 | 0 | 0 | 0 |3698k| 0 | 0.000000e+00 | -- | Inf
702.21/702.25 c 601s| 4360k| 3225k| 0 | 0.0 |1907M| 310 | - | 482 |2651 | 0 | 0 | 0 |3709k| 0 | 0.000000e+00 | -- | Inf
704.60/704.62 c 603s| 4370k| 3231k| 0 | 0.0 |1911M| 310 | - | 482 |2844 | 0 | 0 | 0 |3719k| 0 | 0.000000e+00 | -- | Inf
706.91/706.98 c 605s| 4380k| 3238k| 0 | 0.0 |1916M| 310 | - | 482 |3053 | 0 | 0 | 0 |3730k| 0 | 0.000000e+00 | -- | Inf
709.60/709.62 c 607s| 4390k| 3244k| 0 | 0.0 |1921M| 310 | - | 482 |2990 | 0 | 0 | 0 |3741k| 0 | 0.000000e+00 | -- | Inf
712.21/712.23 c 610s| 4400k| 3250k| 0 | 0.0 |1926M| 310 | - | 482 |2844 | 0 | 0 | 0 |3752k| 0 | 0.000000e+00 | -- | Inf
714.91/714.97 c 612s| 4410k| 3256k| 0 | 0.0 |1931M| 310 | - | 482 |3155 | 0 | 0 | 0 |3764k| 0 | 0.000000e+00 | -- | Inf
717.61/717.60 c 614s| 4420k| 3262k| 0 | 0.0 |1935M| 310 | - | 482 |2968 | 0 | 0 | 0 |3775k| 0 | 0.000000e+00 | -- | Inf
720.31/720.38 c 617s| 4430k| 3268k| 0 | 0.0 |1940M| 310 | - | 482 |3229 | 0 | 0 | 0 |3786k| 0 | 0.000000e+00 | -- | Inf
722.90/722.93 c 619s| 4440k| 3274k| 0 | 0.0 |1945M| 310 | - | 482 |3110 | 0 | 0 | 0 |3797k| 0 | 0.000000e+00 | -- | Inf
725.51/725.53 c 622s| 4450k| 3280k| 0 | 0.0 |1950M| 310 | - | 482 |3265 | 0 | 0 | 0 |3808k| 0 | 0.000000e+00 | -- | Inf
728.11/728.11 c 624s| 4460k| 3286k| 0 | 0.0 |1955M| 310 | - | 482 |3255 | 0 | 0 | 0 |3820k| 0 | 0.000000e+00 | -- | Inf
730.71/730.70 c 626s| 4470k| 3292k| 0 | 0.0 |1959M| 310 | - | 482 |3081 | 0 | 0 | 0 |3831k| 0 | 0.000000e+00 | -- | Inf
733.20/733.22 c 628s| 4480k| 3299k| 0 | 0.0 |1964M| 310 | - | 482 |3037 | 0 | 0 | 0 |3843k| 0 | 0.000000e+00 | -- | Inf
735.81/735.82 c 631s| 4490k| 3305k| 0 | 0.0 |1969M| 310 | - | 482 |2946 | 0 | 0 | 0 |3854k| 0 | 0.000000e+00 | -- | Inf
738.61/738.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
738.61/738.61 c 633s| 4500k| 3311k| 0 | 0.0 |1974M| 310 | - | 482 |3057 | 0 | 0 | 0 |3865k| 0 | 0.000000e+00 | -- | Inf
741.20/741.22 c 636s| 4510k| 3317k| 0 | 0.0 |1979M| 310 | - | 482 |3103 | 0 | 0 | 0 |3876k| 0 | 0.000000e+00 | -- | Inf
743.81/743.81 c 638s| 4520k| 3324k| 0 | 0.0 |1983M| 310 | - | 482 |2848 | 0 | 0 | 0 |3887k| 0 | 0.000000e+00 | -- | Inf
746.10/746.15 c 640s| 4530k| 3330k| 0 | 0.0 |1988M| 310 | - | 482 |3060 | 0 | 0 | 0 |3897k| 0 | 0.000000e+00 | -- | Inf
748.51/748.59 c 642s| 4540k| 3337k| 0 | 0.0 |1993M| 310 | - | 482 |3108 | 0 | 0 | 0 |3908k| 0 | 0.000000e+00 | -- | Inf
751.01/751.07 c 645s| 4550k| 3343k| 0 | 0.0 |1997M| 310 | - | 482 |3015 | 0 | 0 | 0 |3919k| 0 | 0.000000e+00 | -- | Inf
753.61/753.69 c 647s| 4560k| 3349k| 0 | 0.0 |2002M| 310 | - | 482 |3077 | 0 | 0 | 0 |3930k| 0 | 0.000000e+00 | -- | Inf
756.51/756.51 c 649s| 4570k| 3355k| 0 | 0.0 |2007M| 310 | - | 482 |3149 | 0 | 0 | 0 |3941k| 0 | 0.000000e+00 | -- | Inf
759.21/759.25 c 652s| 4580k| 3361k| 0 | 0.0 |2012M| 310 | - | 482 |3086 | 0 | 0 | 0 |3953k| 0 | 0.000000e+00 | -- | Inf
762.11/762.15 c 655s| 4590k| 3367k| 0 | 0.0 |2017M| 310 | - | 482 |3121 | 0 | 0 | 0 |3965k| 0 | 0.000000e+00 | -- | Inf
765.01/765.02 c 657s| 4600k| 3372k| 0 | 0.0 |2022M| 310 | - | 482 |3216 | 0 | 0 | 0 |3978k| 0 | 0.000000e+00 | -- | Inf
767.61/767.67 c 660s| 4610k| 3378k| 0 | 0.0 |2027M| 310 | - | 482 |3332 | 0 | 0 | 0 |3989k| 0 | 0.000000e+00 | -- | Inf
770.40/770.40 c 662s| 4620k| 3384k| 0 | 0.0 |2031M| 310 | - | 482 |3401 | 0 | 0 | 0 |4001k| 0 | 0.000000e+00 | -- | Inf
773.10/773.18 c 665s| 4630k| 3390k| 0 | 0.0 |2036M| 310 | - | 482 |3126 | 0 | 0 | 0 |4013k| 0 | 0.000000e+00 | -- | Inf
775.81/775.85 c 667s| 4640k| 3396k| 0 | 0.0 |2041M| 310 | - | 482 |3462 | 0 | 0 | 0 |4024k| 0 | 0.000000e+00 | -- | Inf
778.51/778.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
778.51/778.57 c 669s| 4650k| 3402k| 0 | 0.0 |2046M| 310 | - | 482 |3368 | 0 | 0 | 0 |4037k| 0 | 0.000000e+00 | -- | Inf
781.30/781.33 c 672s| 4660k| 3408k| 0 | 0.0 |2051M| 310 | - | 482 |3351 | 0 | 0 | 0 |4048k| 0 | 0.000000e+00 | -- | Inf
783.81/783.88 c 674s| 4670k| 3414k| 0 | 0.0 |2056M| 310 | - | 482 |2945 | 0 | 0 | 0 |4059k| 0 | 0.000000e+00 | -- | Inf
786.71/786.71 c 677s| 4680k| 3420k| 0 | 0.0 |2060M| 310 | - | 482 |3219 | 0 | 0 | 0 |4071k| 0 | 0.000000e+00 | -- | Inf
789.11/789.16 c 679s| 4690k| 3426k| 0 | 0.0 |2065M| 310 | - | 482 |3175 | 0 | 0 | 0 |4083k| 0 | 0.000000e+00 | -- | Inf
791.61/791.61 c 681s| 4700k| 3433k| 0 | 0.0 |2070M| 310 | - | 482 |3082 | 0 | 0 | 0 |4094k| 0 | 0.000000e+00 | -- | Inf
794.22/794.28 c 684s| 4710k| 3439k| 0 | 0.0 |2075M| 310 | - | 482 |2962 | 0 | 0 | 0 |4105k| 0 | 0.000000e+00 | -- | Inf
796.71/796.72 c 686s| 4720k| 3445k| 0 | 0.0 |2079M| 310 | - | 482 |3223 | 0 | 0 | 0 |4116k| 0 | 0.000000e+00 | -- | Inf
799.21/799.26 c 688s| 4730k| 3451k| 0 | 0.0 |2084M| 310 | - | 482 |3323 | 0 | 0 | 0 |4127k| 0 | 0.000000e+00 | -- | Inf
802.01/802.05 c 691s| 4740k| 3457k| 0 | 0.0 |2089M| 310 | - | 482 |3312 | 0 | 0 | 0 |4139k| 0 | 0.000000e+00 | -- | Inf
804.61/804.69 c 693s| 4750k| 3463k| 0 | 0.0 |2094M| 310 | - | 482 |3343 | 0 | 0 | 0 |4152k| 0 | 0.000000e+00 | -- | Inf
807.51/807.58 c 696s| 4760k| 3468k| 0 | 0.0 |2098M| 310 | - | 482 |3159 | 0 | 0 | 0 |4164k| 0 | 0.000000e+00 | -- | Inf
810.41/810.42 c 698s| 4770k| 3474k| 0 | 0.0 |2103M| 310 | - | 482 |3256 | 0 | 0 | 0 |4176k| 0 | 0.000000e+00 | -- | Inf
813.31/813.30 c 701s| 4780k| 3480k| 0 | 0.0 |2108M| 310 | - | 482 |3504 | 0 | 0 | 0 |4188k| 0 | 0.000000e+00 | -- | Inf
816.21/816.25 c 704s| 4790k| 3485k| 0 | 0.0 |2113M| 310 | - | 482 |3323 | 0 | 0 | 0 |4200k| 0 | 0.000000e+00 | -- | Inf
819.31/819.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
819.31/819.31 c 706s| 4800k| 3491k| 0 | 0.0 |2118M| 310 | - | 482 |3333 | 0 | 0 | 0 |4213k| 0 | 0.000000e+00 | -- | Inf
822.21/822.26 c 709s| 4810k| 3497k| 0 | 0.0 |2123M| 310 | - | 482 |3175 | 0 | 0 | 0 |4226k| 0 | 0.000000e+00 | -- | Inf
824.91/824.96 c 711s| 4820k| 3503k| 0 | 0.0 |2128M| 310 | - | 482 |3135 | 0 | 0 | 0 |4238k| 0 | 0.000000e+00 | -- | Inf
827.81/827.85 c 714s| 4830k| 3509k| 0 | 0.0 |2133M| 310 | - | 482 |3086 | 0 | 0 | 0 |4250k| 0 | 0.000000e+00 | -- | Inf
830.81/830.83 c 717s| 4840k| 3514k| 0 | 0.0 |2138M| 310 | - | 482 |3283 | 0 | 0 | 0 |4262k| 0 | 0.000000e+00 | -- | Inf
833.61/833.69 c 719s| 4850k| 3520k| 0 | 0.0 |2142M| 310 | - | 482 |3204 | 0 | 0 | 0 |4274k| 0 | 0.000000e+00 | -- | Inf
836.21/836.26 c 722s| 4860k| 3526k| 0 | 0.0 |2147M| 310 | - | 482 |3346 | 0 | 0 | 0 |4286k| 0 | 0.000000e+00 | -- | Inf
839.01/839.09 c 724s| 4870k| 3533k| 0 | 0.0 |2152M| 310 | - | 482 |2926 | 0 | 0 | 0 |4297k| 0 | 0.000000e+00 | -- | Inf
842.11/842.17 c 727s| 4880k| 3538k| 0 | 0.0 |2157M| 310 | - | 482 |3344 | 0 | 0 | 0 |4310k| 0 | 0.000000e+00 | -- | Inf
844.91/844.98 c 730s| 4890k| 3544k| 0 | 0.0 |2162M| 310 | - | 482 |3534 | 0 | 0 | 0 |4322k| 0 | 0.000000e+00 | -- | Inf
847.71/847.73 c 732s| 4900k| 3551k| 0 | 0.0 |2166M| 310 | - | 482 |3204 | 0 | 0 | 0 |4333k| 0 | 0.000000e+00 | -- | Inf
850.51/850.55 c 735s| 4910k| 3556k| 0 | 0.0 |2171M| 310 | - | 482 |2966 | 0 | 0 | 0 |4345k| 0 | 0.000000e+00 | -- | Inf
853.51/853.58 c 737s| 4920k| 3562k| 0 | 0.0 |2176M| 310 | - | 482 |3365 | 0 | 0 | 0 |4358k| 0 | 0.000000e+00 | -- | Inf
856.82/856.81 c 740s| 4930k| 3567k| 0 | 0.0 |2181M| 310 | - | 482 |3551 | 0 | 0 | 0 |4372k| 0 | 0.000000e+00 | -- | Inf
859.91/859.93 c 743s| 4940k| 3572k| 0 | 0.0 |2185M| 310 | - | 482 |3517 | 0 | 0 | 0 |4384k| 0 | 0.000000e+00 | -- | Inf
863.22/863.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
863.22/863.23 c 746s| 4950k| 3578k| 0 | 0.0 |2190M| 310 | - | 482 |3520 | 0 | 0 | 0 |4398k| 0 | 0.000000e+00 | -- | Inf
866.41/866.48 c 749s| 4960k| 3583k| 0 | 0.0 |2195M| 310 | - | 482 |3250 | 0 | 0 | 0 |4411k| 0 | 0.000000e+00 | -- | Inf
869.61/869.66 c 752s| 4970k| 3589k| 0 | 0.0 |2200M| 310 | - | 482 |3535 | 0 | 0 | 0 |4424k| 0 | 0.000000e+00 | -- | Inf
872.61/872.60 c 755s| 4980k| 3594k| 0 | 0.0 |2205M| 310 | - | 482 |3507 | 0 | 0 | 0 |4437k| 0 | 0.000000e+00 | -- | Inf
875.52/875.58 c 758s| 4990k| 3600k| 0 | 0.0 |2210M| 310 | - | 482 |3342 | 0 | 0 | 0 |4449k| 0 | 0.000000e+00 | -- | Inf
878.41/878.45 c 760s| 5000k| 3606k| 0 | 0.0 |2215M| 310 | - | 482 |3110 | 0 | 0 | 0 |4462k| 0 | 0.000000e+00 | -- | Inf
881.32/881.38 c 763s| 5010k| 3612k| 0 | 0.0 |2219M| 310 | - | 482 |3229 | 0 | 0 | 0 |4474k| 0 | 0.000000e+00 | -- | Inf
884.21/884.21 c 765s| 5020k| 3617k| 0 | 0.0 |2224M| 310 | - | 482 |3450 | 0 | 0 | 0 |4487k| 0 | 0.000000e+00 | -- | Inf
887.01/887.01 c 768s| 5030k| 3623k| 0 | 0.0 |2229M| 310 | - | 482 |3467 | 0 | 0 | 0 |4499k| 0 | 0.000000e+00 | -- | Inf
889.82/889.86 c 770s| 5040k| 3629k| 0 | 0.0 |2234M| 310 | - | 482 |3640 | 0 | 0 | 0 |4511k| 0 | 0.000000e+00 | -- | Inf
892.51/892.53 c 773s| 5050k| 3635k| 0 | 0.0 |2239M| 310 | - | 482 |3154 | 0 | 0 | 0 |4523k| 0 | 0.000000e+00 | -- | Inf
895.21/895.27 c 775s| 5060k| 3641k| 0 | 0.0 |2243M| 310 | - | 482 |3170 | 0 | 0 | 0 |4535k| 0 | 0.000000e+00 | -- | Inf
897.91/897.95 c 778s| 5070k| 3647k| 0 | 0.0 |2248M| 310 | - | 482 |3715 | 0 | 0 | 0 |4547k| 0 | 0.000000e+00 | -- | Inf
901.31/901.39 c 781s| 5080k| 3652k| 0 | 0.0 |2253M| 310 | - | 482 |3631 | 0 | 0 | 0 |4561k| 0 | 0.000000e+00 | -- | Inf
904.81/904.89 c 784s| 5090k| 3657k| 0 | 0.0 |2258M| 310 | - | 482 |3599 | 0 | 0 | 0 |4575k| 0 | 0.000000e+00 | -- | Inf
907.91/907.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
907.91/907.94 c 787s| 5100k| 3662k| 0 | 0.0 |2263M| 310 | - | 482 |3935 | 0 | 0 | 0 |4588k| 0 | 0.000000e+00 | -- | Inf
911.31/911.30 c 790s| 5110k| 3668k| 0 | 0.0 |2268M| 310 | - | 482 |3748 | 0 | 0 | 0 |4602k| 0 | 0.000000e+00 | -- | Inf
914.62/914.66 c 793s| 5120k| 3673k| 0 | 0.0 |2272M| 310 | - | 482 |3840 | 0 | 0 | 0 |4615k| 0 | 0.000000e+00 | -- | Inf
917.61/917.63 c 796s| 5130k| 3678k| 0 | 0.0 |2277M| 310 | - | 482 |3373 | 0 | 0 | 0 |4628k| 0 | 0.000000e+00 | -- | Inf
920.51/920.55 c 798s| 5140k| 3684k| 0 | 0.0 |2282M| 310 | - | 482 |3248 | 0 | 0 | 0 |4641k| 0 | 0.000000e+00 | -- | Inf
923.52/923.52 c 801s| 5150k| 3690k| 0 | 0.0 |2287M| 310 | - | 482 |3346 | 0 | 0 | 0 |4654k| 0 | 0.000000e+00 | -- | Inf
927.02/927.01 c 804s| 5160k| 3695k| 0 | 0.0 |2292M| 310 | - | 482 |3320 | 0 | 0 | 0 |4667k| 0 | 0.000000e+00 | -- | Inf
930.32/930.30 c 807s| 5170k| 3700k| 0 | 0.0 |2296M| 310 | - | 482 |3455 | 0 | 0 | 0 |4680k| 0 | 0.000000e+00 | -- | Inf
933.32/933.34 c 810s| 5180k| 3706k| 0 | 0.0 |2301M| 310 | - | 482 |3519 | 0 | 0 | 0 |4693k| 0 | 0.000000e+00 | -- | Inf
936.21/936.25 c 813s| 5190k| 3712k| 0 | 0.0 |2306M| 310 | - | 482 |3656 | 0 | 0 | 0 |4706k| 0 | 0.000000e+00 | -- | Inf
939.11/939.16 c 815s| 5200k| 3718k| 0 | 0.0 |2311M| 310 | - | 482 |3466 | 0 | 0 | 0 |4718k| 0 | 0.000000e+00 | -- | Inf
941.81/941.85 c 818s| 5210k| 3723k| 0 | 0.0 |2316M| 310 | - | 482 |3494 | 0 | 0 | 0 |4730k| 0 | 0.000000e+00 | -- | Inf
944.82/944.82 c 821s| 5220k| 3729k| 0 | 0.0 |2320M| 310 | - | 482 |3192 | 0 | 0 | 0 |4743k| 0 | 0.000000e+00 | -- | Inf
948.02/948.09 c 824s| 5230k| 3735k| 0 | 0.0 |2326M| 310 | - | 482 |3606 | 0 | 0 | 0 |4756k| 0 | 0.000000e+00 | -- | Inf
951.42/951.45 c 827s| 5240k| 3739k| 0 | 0.0 |2330M| 310 | - | 482 |3702 | 0 | 0 | 0 |4771k| 0 | 0.000000e+00 | -- | Inf
954.82/954.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
954.82/954.84 c 830s| 5250k| 3744k| 0 | 0.0 |2335M| 310 | - | 482 |3672 | 0 | 0 | 0 |4785k| 0 | 0.000000e+00 | -- | Inf
958.12/958.19 c 833s| 5260k| 3749k| 0 | 0.0 |2340M| 310 | - | 482 |3697 | 0 | 0 | 0 |4799k| 0 | 0.000000e+00 | -- | Inf
961.51/961.51 c 836s| 5270k| 3755k| 0 | 0.0 |2345M| 310 | - | 482 |3830 | 0 | 0 | 0 |4813k| 0 | 0.000000e+00 | -- | Inf
964.92/964.91 c 839s| 5280k| 3760k| 0 | 0.0 |2350M| 310 | - | 482 |3684 | 0 | 0 | 0 |4827k| 0 | 0.000000e+00 | -- | Inf
968.62/968.60 c 842s| 5290k| 3765k| 0 | 0.0 |2355M| 310 | - | 482 |3622 | 0 | 0 | 0 |4841k| 0 | 0.000000e+00 | -- | Inf
971.81/971.90 c 845s| 5300k| 3770k| 0 | 0.0 |2359M| 310 | - | 482 |3562 | 0 | 0 | 0 |4855k| 0 | 0.000000e+00 | -- | Inf
975.01/975.04 c 848s| 5310k| 3776k| 0 | 0.0 |2364M| 310 | - | 482 |3664 | 0 | 0 | 0 |4868k| 0 | 0.000000e+00 | -- | Inf
978.32/978.34 c 851s| 5320k| 3781k| 0 | 0.0 |2369M| 310 | - | 482 |3471 | 0 | 0 | 0 |4881k| 0 | 0.000000e+00 | -- | Inf
981.22/981.26 c 854s| 5330k| 3787k| 0 | 0.0 |2374M| 310 | - | 482 |3821 | 0 | 0 | 0 |4894k| 0 | 0.000000e+00 | -- | Inf
984.42/984.42 c 857s| 5340k| 3792k| 0 | 0.0 |2379M| 310 | - | 482 |3647 | 0 | 0 | 0 |4907k| 0 | 0.000000e+00 | -- | Inf
987.31/987.38 c 860s| 5350k| 3798k| 0 | 0.0 |2383M| 310 | - | 482 |3429 | 0 | 0 | 0 |4920k| 0 | 0.000000e+00 | -- | Inf
990.61/990.66 c 863s| 5360k| 3804k| 0 | 0.0 |2388M| 310 | - | 482 |3260 | 0 | 0 | 0 |4933k| 0 | 0.000000e+00 | -- | Inf
993.52/993.52 c 865s| 5370k| 3809k| 0 | 0.0 |2393M| 310 | - | 482 |3613 | 0 | 0 | 0 |4946k| 0 | 0.000000e+00 | -- | Inf
996.63/996.68 c 868s| 5380k| 3815k| 0 | 0.0 |2398M| 310 | - | 482 |3632 | 0 | 0 | 0 |4959k| 0 | 0.000000e+00 | -- | Inf
1000.42/1000.40 c 872s| 5390k| 3819k| 0 | 0.0 |2402M| 310 | - | 482 |3835 | 0 | 0 | 0 |4974k| 0 | 0.000000e+00 | -- | Inf
1004.42/1004.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1004.42/1004.42 c 875s| 5400k| 3824k| 0 | 0.0 |2407M| 310 | - | 482 |3948 | 0 | 0 | 0 |4989k| 0 | 0.000000e+00 | -- | Inf
1008.12/1008.13 c 879s| 5410k| 3829k| 0 | 0.0 |2412M| 310 | - | 482 |3510 | 0 | 0 | 0 |5003k| 0 | 0.000000e+00 | -- | Inf
1011.62/1011.69 c 882s| 5420k| 3834k| 0 | 0.0 |2417M| 310 | - | 482 |3797 | 0 | 0 | 0 |5018k| 0 | 0.000000e+00 | -- | Inf
1015.32/1015.35 c 885s| 5430k| 3839k| 0 | 0.0 |2421M| 310 | - | 482 |3524 | 0 | 0 | 0 |5031k| 0 | 0.000000e+00 | -- | Inf
1018.82/1018.84 c 889s| 5440k| 3844k| 0 | 0.0 |2426M| 310 | - | 482 |3708 | 0 | 0 | 0 |5045k| 0 | 0.000000e+00 | -- | Inf
1022.32/1022.38 c 892s| 5450k| 3849k| 0 | 0.0 |2431M| 310 | - | 482 |4029 | 0 | 0 | 0 |5059k| 0 | 0.000000e+00 | -- | Inf
1025.81/1025.88 c 895s| 5460k| 3854k| 0 | 0.0 |2436M| 310 | - | 482 |3723 | 0 | 0 | 0 |5073k| 0 | 0.000000e+00 | -- | Inf
1029.52/1029.50 c 898s| 5470k| 3859k| 0 | 0.0 |2441M| 310 | - | 482 |3944 | 0 | 0 | 0 |5087k| 0 | 0.000000e+00 | -- | Inf
1033.01/1033.00 c 902s| 5480k| 3864k| 0 | 0.0 |2446M| 310 | - | 482 |3921 | 0 | 0 | 0 |5101k| 0 | 0.000000e+00 | -- | Inf
1036.32/1036.31 c 905s| 5490k| 3870k| 0 | 0.0 |2451M| 310 | - | 482 |4025 | 0 | 0 | 0 |5114k| 0 | 0.000000e+00 | -- | Inf
1039.31/1039.40 c 908s| 5500k| 3875k| 0 | 0.0 |2455M| 310 | - | 482 |3800 | 0 | 0 | 0 |5128k| 0 | 0.000000e+00 | -- | Inf
1042.52/1042.58 c 910s| 5510k| 3881k| 0 | 0.0 |2460M| 310 | - | 482 |3586 | 0 | 0 | 0 |5141k| 0 | 0.000000e+00 | -- | Inf
1045.71/1045.74 c 913s| 5520k| 3887k| 0 | 0.0 |2465M| 310 | - | 482 |3600 | 0 | 0 | 0 |5153k| 0 | 0.000000e+00 | -- | Inf
1049.42/1049.49 c 917s| 5530k| 3891k| 0 | 0.0 |2470M| 310 | - | 482 |4108 | 0 | 0 | 0 |5169k| 0 | 0.000000e+00 | -- | Inf
1053.11/1053.19 c 920s| 5540k| 3895k| 0 | 0.0 |2474M| 310 | - | 482 |4132 | 0 | 0 | 0 |5184k| 0 | 0.000000e+00 | -- | Inf
1056.82/1056.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1056.82/1056.83 c 924s| 5550k| 3900k| 0 | 0.0 |2479M| 310 | - | 482 |3828 | 0 | 0 | 0 |5199k| 0 | 0.000000e+00 | -- | Inf
1060.51/1060.59 c 927s| 5560k| 3905k| 0 | 0.0 |2484M| 310 | - | 482 |3763 | 0 | 0 | 0 |5214k| 0 | 0.000000e+00 | -- | Inf
1064.32/1064.38 c 931s| 5570k| 3910k| 0 | 0.0 |2489M| 310 | - | 482 |3843 | 0 | 0 | 0 |5230k| 0 | 0.000000e+00 | -- | Inf
1067.91/1067.90 c 934s| 5580k| 3915k| 0 | 0.0 |2494M| 310 | - | 482 |3656 | 0 | 0 | 0 |5244k| 0 | 0.000000e+00 | -- | Inf
1071.61/1071.66 c 937s| 5590k| 3920k| 0 | 0.0 |2498M| 310 | - | 482 |3518 | 0 | 0 | 0 |5258k| 0 | 0.000000e+00 | -- | Inf
1075.22/1075.24 c 941s| 5600k| 3925k| 0 | 0.0 |2503M| 310 | - | 482 |4179 | 0 | 0 | 0 |5273k| 0 | 0.000000e+00 | -- | Inf
1078.72/1078.73 c 944s| 5610k| 3930k| 0 | 0.0 |2508M| 310 | - | 482 |3980 | 0 | 0 | 0 |5287k| 0 | 0.000000e+00 | -- | Inf
1082.11/1082.18 c 947s| 5620k| 3935k| 0 | 0.0 |2513M| 310 | - | 482 |3992 | 0 | 0 | 0 |5301k| 0 | 0.000000e+00 | -- | Inf
1085.62/1085.62 c 950s| 5630k| 3940k| 0 | 0.0 |2518M| 310 | - | 482 |3980 | 0 | 0 | 0 |5315k| 0 | 0.000000e+00 | -- | Inf
1089.12/1089.17 c 953s| 5640k| 3945k| 0 | 0.0 |2523M| 310 | - | 482 |4065 | 0 | 0 | 0 |5329k| 0 | 0.000000e+00 | -- | Inf
1092.41/1092.46 c 956s| 5650k| 3951k| 0 | 0.0 |2527M| 310 | - | 482 |4133 | 0 | 0 | 0 |5342k| 0 | 0.000000e+00 | -- | Inf
1095.53/1095.60 c 959s| 5660k| 3956k| 0 | 0.0 |2532M| 310 | - | 482 |3953 | 0 | 0 | 0 |5356k| 0 | 0.000000e+00 | -- | Inf
1099.32/1099.31 c 963s| 5670k| 3961k| 0 | 0.0 |2537M| 310 | - | 482 |4229 | 0 | 0 | 0 |5370k| 0 | 0.000000e+00 | -- | Inf
1103.12/1103.18 c 966s| 5680k| 3965k| 0 | 0.0 |2541M| 310 | - | 482 |4315 | 0 | 0 | 0 |5386k| 0 | 0.000000e+00 | -- | Inf
1107.02/1107.03 c 970s| 5690k| 3970k| 0 | 0.0 |2546M| 310 | - | 482 |3850 | 0 | 0 | 0 |5402k| 0 | 0.000000e+00 | -- | Inf
1110.72/1110.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1110.72/1110.73 c 973s| 5700k| 3975k| 0 | 0.0 |2551M| 310 | - | 482 |3944 | 0 | 0 | 0 |5417k| 0 | 0.000000e+00 | -- | Inf
1114.52/1114.56 c 977s| 5710k| 3979k| 0 | 0.0 |2556M| 310 | - | 482 |4117 | 0 | 0 | 0 |5432k| 0 | 0.000000e+00 | -- | Inf
1118.41/1118.41 c 980s| 5720k| 3984k| 0 | 0.0 |2560M| 310 | - | 482 |3935 | 0 | 0 | 0 |5447k| 0 | 0.000000e+00 | -- | Inf
1122.12/1122.18 c 984s| 5730k| 3989k| 0 | 0.0 |2565M| 310 | - | 482 |4017 | 0 | 0 | 0 |5463k| 0 | 0.000000e+00 | -- | Inf
1125.71/1125.74 c 987s| 5740k| 3993k| 0 | 0.0 |2570M| 310 | - | 482 |3857 | 0 | 0 | 0 |5477k| 0 | 0.000000e+00 | -- | Inf
1129.51/1129.55 c 991s| 5750k| 3998k| 0 | 0.0 |2575M| 310 | - | 482 |3771 | 0 | 0 | 0 |5492k| 0 | 0.000000e+00 | -- | Inf
1133.12/1133.15 c 994s| 5760k| 4003k| 0 | 0.0 |2580M| 310 | - | 482 |4137 | 0 | 0 | 0 |5507k| 0 | 0.000000e+00 | -- | Inf
1136.52/1136.52 c 997s| 5770k| 4008k| 0 | 0.0 |2585M| 310 | - | 482 |3989 | 0 | 0 | 0 |5521k| 0 | 0.000000e+00 | -- | Inf
1139.82/1139.89 c 1000s| 5780k| 4013k| 0 | 0.0 |2590M| 310 | - | 482 |4066 | 0 | 0 | 0 |5536k| 0 | 0.000000e+00 | -- | Inf
1143.42/1143.43 c 1004s| 5790k| 4019k| 0 | 0.0 |2595M| 310 | - | 482 |4312 | 0 | 0 | 0 |5550k| 0 | 0.000000e+00 | -- | Inf
1147.12/1147.10 c 1007s| 5800k| 4024k| 0 | 0.0 |2599M| 310 | - | 482 |3951 | 0 | 0 | 0 |5564k| 0 | 0.000000e+00 | -- | Inf
1150.72/1150.76 c 1010s| 5810k| 4028k| 0 | 0.0 |2604M| 310 | - | 482 |4245 | 0 | 0 | 0 |5579k| 0 | 0.000000e+00 | -- | Inf
1155.22/1155.20 c 1014s| 5820k| 4032k| 0 | 0.0 |2609M| 310 | - | 482 |4325 | 0 | 0 | 0 |5596k| 0 | 0.000000e+00 | -- | Inf
1159.32/1159.37 c 1018s| 5830k| 4036k| 0 | 0.0 |2613M| 310 | - | 482 |4480 | 0 | 0 | 0 |5612k| 0 | 0.000000e+00 | -- | Inf
1163.21/1163.24 c 1022s| 5840k| 4041k| 0 | 0.0 |2618M| 310 | - | 482 |4157 | 0 | 0 | 0 |5628k| 0 | 0.000000e+00 | -- | Inf
1167.12/1167.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1167.12/1167.20 c 1026s| 5850k| 4045k| 0 | 0.0 |2623M| 310 | - | 482 |4240 | 0 | 0 | 0 |5643k| 0 | 0.000000e+00 | -- | Inf
1171.22/1171.21 c 1029s| 5860k| 4050k| 0 | 0.0 |2628M| 310 | - | 482 |4307 | 0 | 0 | 0 |5659k| 0 | 0.000000e+00 | -- | Inf
1175.01/1175.05 c 1033s| 5870k| 4054k| 0 | 0.0 |2633M| 310 | - | 482 |4003 | 0 | 0 | 0 |5674k| 0 | 0.000000e+00 | -- | Inf
1179.12/1179.12 c 1037s| 5880k| 4059k| 0 | 0.0 |2638M| 310 | - | 482 |3828 | 0 | 0 | 0 |5689k| 0 | 0.000000e+00 | -- | Inf
1183.02/1183.06 c 1040s| 5890k| 4064k| 0 | 0.0 |2643M| 310 | - | 482 |4221 | 0 | 0 | 0 |5705k| 0 | 0.000000e+00 | -- | Inf
1186.42/1186.42 c 1043s| 5900k| 4069k| 0 | 0.0 |2647M| 310 | - | 482 |4121 | 0 | 0 | 0 |5720k| 0 | 0.000000e+00 | -- | Inf
1190.42/1190.47 c 1047s| 5910k| 4074k| 0 | 0.0 |2652M| 310 | - | 482 |4329 | 0 | 0 | 0 |5735k| 0 | 0.000000e+00 | -- | Inf
1194.22/1194.30 c 1051s| 5920k| 4079k| 0 | 0.0 |2657M| 310 | - | 482 |3831 | 0 | 0 | 0 |5749k| 0 | 0.000000e+00 | -- | Inf
1198.22/1198.22 c 1054s| 5930k| 4083k| 0 | 0.0 |2662M| 310 | - | 482 |4220 | 0 | 0 | 0 |5764k| 0 | 0.000000e+00 | -- | Inf
1202.62/1202.65 c 1058s| 5940k| 4087k| 0 | 0.0 |2666M| 310 | - | 482 |4254 | 0 | 0 | 0 |5781k| 0 | 0.000000e+00 | -- | Inf
1206.73/1206.72 c 1062s| 5950k| 4091k| 0 | 0.0 |2671M| 310 | - | 482 |4526 | 0 | 0 | 0 |5799k| 0 | 0.000000e+00 | -- | Inf
1210.82/1210.85 c 1066s| 5960k| 4095k| 0 | 0.0 |2675M| 310 | - | 482 |4096 | 0 | 0 | 0 |5815k| 0 | 0.000000e+00 | -- | Inf
1214.92/1214.98 c 1070s| 5970k| 4100k| 0 | 0.0 |2680M| 310 | - | 482 |4020 | 0 | 0 | 0 |5831k| 0 | 0.000000e+00 | -- | Inf
1218.62/1218.68 c 1073s| 5980k| 4104k| 0 | 0.0 |2685M| 310 | - | 482 |4016 | 0 | 0 | 0 |5846k| 0 | 0.000000e+00 | -- | Inf
1223.02/1223.05 c 1077s| 5990k| 4109k| 0 | 0.0 |2690M| 310 | - | 482 |4213 | 0 | 0 | 0 |5863k| 0 | 0.000000e+00 | -- | Inf
1227.02/1227.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1227.02/1227.07 c 1081s| 6000k| 4113k| 0 | 0.0 |2695M| 310 | - | 482 |4288 | 0 | 0 | 0 |5878k| 0 | 0.000000e+00 | -- | Inf
1231.22/1231.22 c 1085s| 6010k| 4118k| 0 | 0.0 |2700M| 310 | - | 482 |4435 | 0 | 0 | 0 |5894k| 0 | 0.000000e+00 | -- | Inf
1235.23/1235.24 c 1089s| 6020k| 4123k| 0 | 0.0 |2704M| 310 | - | 482 |4162 | 0 | 0 | 0 |5909k| 0 | 0.000000e+00 | -- | Inf
1239.22/1239.24 c 1092s| 6030k| 4127k| 0 | 0.0 |2709M| 310 | - | 482 |4421 | 0 | 0 | 0 |5925k| 0 | 0.000000e+00 | -- | Inf
1243.22/1243.29 c 1096s| 6040k| 4132k| 0 | 0.0 |2714M| 310 | - | 482 |4767 | 0 | 0 | 0 |5940k| 0 | 0.000000e+00 | -- | Inf
1247.22/1247.26 c 1100s| 6050k| 4136k| 0 | 0.0 |2718M| 310 | - | 482 |4175 | 0 | 0 | 0 |5956k| 0 | 0.000000e+00 | -- | Inf
1251.72/1251.75 c 1104s| 6060k| 4140k| 0 | 0.0 |2723M| 310 | - | 482 |4463 | 0 | 0 | 0 |5974k| 0 | 0.000000e+00 | -- | Inf
1256.13/1256.16 c 1108s| 6070k| 4144k| 0 | 0.0 |2727M| 310 | - | 482 |4287 | 0 | 0 | 0 |5991k| 0 | 0.000000e+00 | -- | Inf
1260.52/1260.57 c 1112s| 6080k| 4148k| 0 | 0.0 |2732M| 310 | - | 482 |4184 | 0 | 0 | 0 |6007k| 0 | 0.000000e+00 | -- | Inf
1264.82/1264.84 c 1116s| 6090k| 4152k| 0 | 0.0 |2737M| 310 | - | 482 |4262 | 0 | 0 | 0 |6024k| 0 | 0.000000e+00 | -- | Inf
1269.12/1269.15 c 1120s| 6100k| 4156k| 0 | 0.0 |2742M| 310 | - | 482 |4364 | 0 | 0 | 0 |6040k| 0 | 0.000000e+00 | -- | Inf
1273.22/1273.21 c 1124s| 6110k| 4161k| 0 | 0.0 |2747M| 310 | - | 482 |4182 | 0 | 0 | 0 |6056k| 0 | 0.000000e+00 | -- | Inf
1277.52/1277.53 c 1128s| 6120k| 4165k| 0 | 0.0 |2752M| 310 | - | 482 |4333 | 0 | 0 | 0 |6072k| 0 | 0.000000e+00 | -- | Inf
1281.42/1281.48 c 1132s| 6130k| 4170k| 0 | 0.0 |2756M| 310 | - | 482 |4068 | 0 | 0 | 0 |6088k| 0 | 0.000000e+00 | -- | Inf
1285.72/1285.72 c 1136s| 6140k| 4174k| 0 | 0.0 |2762M| 310 | - | 482 |4710 | 0 | 0 | 0 |6104k| 0 | 0.000000e+00 | -- | Inf
1289.52/1289.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1289.52/1289.51 c 1139s| 6150k| 4179k| 0 | 0.0 |2766M| 310 | - | 482 |4271 | 0 | 0 | 0 |6120k| 0 | 0.000000e+00 | -- | Inf
1294.02/1294.07 c 1144s| 6160k| 4182k| 0 | 0.0 |2770M| 310 | - | 482 |4431 | 0 | 0 | 0 |6138k| 0 | 0.000000e+00 | -- | Inf
1298.52/1298.54 c 1148s| 6170k| 4186k| 0 | 0.0 |2775M| 310 | - | 482 |4395 | 0 | 0 | 0 |6156k| 0 | 0.000000e+00 | -- | Inf
1303.02/1303.01 c 1152s| 6180k| 4190k| 0 | 0.0 |2779M| 310 | - | 482 |4616 | 0 | 0 | 0 |6173k| 0 | 0.000000e+00 | -- | Inf
1307.12/1307.14 c 1156s| 6190k| 4194k| 0 | 0.0 |2784M| 310 | - | 482 |4271 | 0 | 0 | 0 |6190k| 0 | 0.000000e+00 | -- | Inf
1311.42/1311.48 c 1160s| 6200k| 4198k| 0 | 0.0 |2789M| 310 | - | 482 |4412 | 0 | 0 | 0 |6207k| 0 | 0.000000e+00 | -- | Inf
1315.82/1315.86 c 1164s| 6210k| 4203k| 0 | 0.0 |2794M| 310 | - | 482 |4543 | 0 | 0 | 0 |6224k| 0 | 0.000000e+00 | -- | Inf
1320.12/1320.18 c 1168s| 6220k| 4207k| 0 | 0.0 |2799M| 310 | - | 482 |5000 | 0 | 0 | 0 |6241k| 0 | 0.000000e+00 | -- | Inf
1324.12/1324.19 c 1172s| 6230k| 4211k| 0 | 0.0 |2803M| 310 | - | 482 |4598 | 0 | 0 | 0 |6258k| 0 | 0.000000e+00 | -- | Inf
1328.23/1328.29 c 1175s| 6240k| 4215k| 0 | 0.0 |2808M| 310 | - | 482 |4153 | 0 | 0 | 0 |6274k| 0 | 0.000000e+00 | -- | Inf
1332.92/1332.95 c 1180s| 6250k| 4220k| 0 | 0.0 |2813M| 310 | - | 482 |4618 | 0 | 0 | 0 |6290k| 0 | 0.000000e+00 | -- | Inf
1337.53/1337.53 c 1184s| 6260k| 4223k| 0 | 0.0 |2817M| 310 | - | 482 |4808 | 0 | 0 | 0 |6309k| 0 | 0.000000e+00 | -- | Inf
1342.33/1342.30 c 1188s| 6270k| 4227k| 0 | 0.0 |2821M| 310 | - | 482 |4846 | 0 | 0 | 0 |6327k| 0 | 0.000000e+00 | -- | Inf
1346.83/1346.85 c 1193s| 6280k| 4230k| 0 | 0.0 |2826M| 310 | - | 482 |4891 | 0 | 0 | 0 |6345k| 0 | 0.000000e+00 | -- | Inf
1351.32/1351.35 c 1197s| 6290k| 4234k| 0 | 0.0 |2831M| 310 | - | 482 |4571 | 0 | 0 | 0 |6363k| 0 | 0.000000e+00 | -- | Inf
1355.93/1355.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1355.93/1355.98 c 1201s| 6300k| 4238k| 0 | 0.0 |2835M| 310 | - | 482 |4740 | 0 | 0 | 0 |6380k| 0 | 0.000000e+00 | -- | Inf
1360.32/1360.30 c 1205s| 6310k| 4242k| 0 | 0.0 |2840M| 310 | - | 482 |5062 | 0 | 0 | 0 |6398k| 0 | 0.000000e+00 | -- | Inf
1364.52/1364.57 c 1209s| 6320k| 4246k| 0 | 0.0 |2845M| 310 | - | 482 |4919 | 0 | 0 | 0 |6415k| 0 | 0.000000e+00 | -- | Inf
1368.72/1368.78 c 1213s| 6330k| 4251k| 0 | 0.0 |2849M| 310 | - | 482 |4411 | 0 | 0 | 0 |6431k| 0 | 0.000000e+00 | -- | Inf
1373.22/1373.22 c 1217s| 6340k| 4255k| 0 | 0.0 |2854M| 310 | - | 482 |4824 | 0 | 0 | 0 |6448k| 0 | 0.000000e+00 | -- | Inf
1378.12/1378.11 c 1222s| 6350k| 4258k| 0 | 0.0 |2858M| 310 | - | 482 |4721 | 0 | 0 | 0 |6467k| 0 | 0.000000e+00 | -- | Inf
1382.93/1382.97 c 1226s| 6360k| 4261k| 0 | 0.0 |2862M| 310 | - | 482 |4929 | 0 | 0 | 0 |6486k| 0 | 0.000000e+00 | -- | Inf
1387.53/1387.56 c 1231s| 6370k| 4265k| 0 | 0.0 |2867M| 310 | - | 482 |4702 | 0 | 0 | 0 |6504k| 0 | 0.000000e+00 | -- | Inf
1388.83/1388.83 c (node 6372858) switching to memory saving mode (mem: 2736.0M/3420.0M)
1393.33/1393.30 c 1236s| 6380k| 4263k| 0 | 0.0 |2865M| 310 | - | 482 |5815 | 0 | 0 | 0 |6529k| 0 | 0.000000e+00 | -- | Inf
1398.63/1398.69 c 1241s| 6390k| 4259k| 0 | 0.0 |2862M| 310 | - | 482 |6493 | 0 | 0 | 0 |6555k| 0 | 0.000000e+00 | -- | Inf
1403.82/1403.89 c 1246s| 6400k| 4256k| 0 | 0.0 |2859M| 310 | - | 482 |6849 | 0 | 0 | 0 |6580k| 0 | 0.000000e+00 | -- | Inf
1409.03/1409.03 c 1251s| 6410k| 4253k| 0 | 0.0 |2855M| 310 | - | 482 |6741 | 0 | 0 | 0 |6604k| 0 | 0.000000e+00 | -- | Inf
1413.83/1413.85 c 1255s| 6420k| 4250k| 0 | 0.0 |2854M| 310 | - | 482 |6314 | 0 | 0 | 0 |6627k| 0 | 0.000000e+00 | -- | Inf
1419.03/1419.06 c 1260s| 6430k| 4247k| 0 | 0.0 |2850M| 310 | - | 482 |6576 | 0 | 0 | 0 |6652k| 0 | 0.000000e+00 | -- | Inf
1423.92/1423.92 c 1264s| 6440k| 4245k| 0 | 0.0 |2849M| 310 | - | 482 |6814 | 0 | 0 | 0 |6676k| 0 | 0.000000e+00 | -- | Inf
1428.83/1428.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1428.83/1428.81 c 1269s| 6450k| 4243k| 0 | 0.0 |2846M| 310 | - | 482 |6608 | 0 | 0 | 0 |6699k| 0 | 0.000000e+00 | -- | Inf
1433.83/1433.83 c 1273s| 6460k| 4240k| 0 | 0.0 |2844M| 310 | - | 482 |6684 | 0 | 0 | 0 |6723k| 0 | 0.000000e+00 | -- | Inf
1438.62/1438.65 c 1278s| 6470k| 4238k| 0 | 0.0 |2843M| 310 | - | 482 |7006 | 0 | 0 | 0 |6746k| 0 | 0.000000e+00 | -- | Inf
1443.03/1443.01 c 1282s| 6480k| 4237k| 0 | 0.0 |2841M| 310 | - | 482 |6301 | 0 | 0 | 0 |6766k| 0 | 0.000000e+00 | -- | Inf
1448.22/1448.28 c 1287s| 6490k| 4234k| 0 | 0.0 |2838M| 310 | - | 482 |6652 | 0 | 0 | 0 |6792k| 0 | 0.000000e+00 | -- | Inf
1453.13/1453.18 c 1291s| 6500k| 4232k| 0 | 0.0 |2837M| 310 | - | 482 |6861 | 0 | 0 | 0 |6816k| 0 | 0.000000e+00 | -- | Inf
1458.13/1458.11 c 1296s| 6510k| 4230k| 0 | 0.0 |2835M| 310 | - | 482 |7119 | 0 | 0 | 0 |6839k| 0 | 0.000000e+00 | -- | Inf
1462.72/1462.71 c 1300s| 6520k| 4228k| 0 | 0.0 |2834M| 310 | - | 482 |6377 | 0 | 0 | 0 |6861k| 0 | 0.000000e+00 | -- | Inf
1466.92/1466.90 c 1304s| 6530k| 4227k| 0 | 0.0 |2832M| 310 | - | 482 |6093 | 0 | 0 | 0 |6880k| 0 | 0.000000e+00 | -- | Inf
1472.33/1472.33 c 1309s| 6540k| 4224k| 0 | 0.0 |2829M| 310 | - | 482 |6560 | 0 | 0 | 0 |6907k| 0 | 0.000000e+00 | -- | Inf
1477.03/1477.07 c 1313s| 6550k| 4222k| 0 | 0.0 |2828M| 310 | - | 482 |6666 | 0 | 0 | 0 |6930k| 0 | 0.000000e+00 | -- | Inf
1481.92/1481.98 c 1318s| 6560k| 4220k| 0 | 0.0 |2827M| 310 | - | 482 |7194 | 0 | 0 | 0 |6953k| 0 | 0.000000e+00 | -- | Inf
1486.83/1486.88 c 1322s| 6570k| 4219k| 0 | 0.0 |2826M| 310 | - | 482 |7169 | 0 | 0 | 0 |6976k| 0 | 0.000000e+00 | -- | Inf
1491.53/1491.56 c 1326s| 6580k| 4217k| 0 | 0.0 |2825M| 310 | - | 482 |6840 | 0 | 0 | 0 |6998k| 0 | 0.000000e+00 | -- | Inf
1495.83/1495.81 c 1330s| 6590k| 4216k| 0 | 0.0 |2824M| 310 | - | 482 |6460 | 0 | 0 | 0 |7018k| 0 | 0.000000e+00 | -- | Inf
1500.13/1500.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1500.13/1500.14 c 1334s| 6600k| 4215k| 0 | 0.0 |2822M| 310 | - | 482 |6277 | 0 | 0 | 0 |7039k| 0 | 0.000000e+00 | -- | Inf
1505.33/1505.35 c 1339s| 6610k| 4212k| 0 | 0.0 |2819M| 310 | - | 482 |6457 | 0 | 0 | 0 |7065k| 0 | 0.000000e+00 | -- | Inf
1510.02/1510.09 c 1343s| 6620k| 4210k| 0 | 0.0 |2818M| 310 | - | 482 |6724 | 0 | 0 | 0 |7088k| 0 | 0.000000e+00 | -- | Inf
1514.73/1514.77 c 1348s| 6630k| 4208k| 0 | 0.0 |2817M| 310 | - | 482 |6523 | 0 | 0 | 0 |7110k| 0 | 0.000000e+00 | -- | Inf
1519.52/1519.53 c 1352s| 6640k| 4207k| 0 | 0.0 |2816M| 310 | - | 482 |6904 | 0 | 0 | 0 |7132k| 0 | 0.000000e+00 | -- | Inf
1524.22/1524.25 c 1356s| 6650k| 4205k| 0 | 0.0 |2814M| 310 | - | 482 |6474 | 0 | 0 | 0 |7153k| 0 | 0.000000e+00 | -- | Inf
1529.03/1529.03 c 1361s| 6660k| 4203k| 0 | 0.0 |2813M| 310 | - | 482 |6752 | 0 | 0 | 0 |7176k| 0 | 0.000000e+00 | -- | Inf
1533.43/1533.47 c 1365s| 6670k| 4202k| 0 | 0.0 |2812M| 310 | - | 482 |6480 | 0 | 0 | 0 |7197k| 0 | 0.000000e+00 | -- | Inf
1537.63/1537.68 c 1369s| 6680k| 4201k| 0 | 0.0 |2811M| 310 | - | 482 |6325 | 0 | 0 | 0 |7217k| 0 | 0.000000e+00 | -- | Inf
1541.83/1541.86 c 1372s| 6690k| 4200k| 0 | 0.0 |2810M| 310 | - | 482 |5965 | 0 | 0 | 0 |7237k| 0 | 0.000000e+00 | -- | Inf
1547.03/1547.07 c 1377s| 6700k| 4197k| 0 | 0.0 |2807M| 310 | - | 482 |6626 | 0 | 0 | 0 |7263k| 0 | 0.000000e+00 | -- | Inf
1551.73/1551.76 c 1382s| 6710k| 4196k| 0 | 0.0 |2806M| 310 | - | 482 |5962 | 0 | 0 | 0 |7286k| 0 | 0.000000e+00 | -- | Inf
1556.33/1556.33 c 1386s| 6720k| 4194k| 0 | 0.0 |2805M| 310 | - | 482 |6188 | 0 | 0 | 0 |7308k| 0 | 0.000000e+00 | -- | Inf
1561.03/1561.01 c 1390s| 6730k| 4192k| 0 | 0.0 |2803M| 310 | - | 482 |6232 | 0 | 0 | 0 |7330k| 0 | 0.000000e+00 | -- | Inf
1565.52/1565.58 c 1394s| 6740k| 4191k| 0 | 0.0 |2802M| 310 | - | 482 |6320 | 0 | 0 | 0 |7352k| 0 | 0.000000e+00 | -- | Inf
1570.33/1570.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1570.33/1570.33 c 1399s| 6750k| 4189k| 0 | 0.0 |2801M| 310 | - | 482 |6339 | 0 | 0 | 0 |7375k| 0 | 0.000000e+00 | -- | Inf
1574.92/1574.91 c 1403s| 6760k| 4187k| 0 | 0.0 |2800M| 310 | - | 482 |6452 | 0 | 0 | 0 |7397k| 0 | 0.000000e+00 | -- | Inf
1579.43/1579.46 c 1407s| 6770k| 4186k| 0 | 0.0 |2799M| 310 | - | 482 |6193 | 0 | 0 | 0 |7419k| 0 | 0.000000e+00 | -- | Inf
1583.73/1583.72 c 1411s| 6780k| 4185k| 0 | 0.0 |2798M| 310 | - | 482 |6202 | 0 | 0 | 0 |7440k| 0 | 0.000000e+00 | -- | Inf
1588.13/1588.15 c 1415s| 6790k| 4183k| 0 | 0.0 |2796M| 310 | - | 482 |5493 | 0 | 0 | 0 |7463k| 0 | 0.000000e+00 | -- | Inf
1593.03/1593.07 c 1419s| 6800k| 4181k| 0 | 0.0 |2795M| 310 | - | 482 |6182 | 0 | 0 | 0 |7488k| 0 | 0.000000e+00 | -- | Inf
1597.52/1597.55 c 1423s| 6810k| 4180k| 0 | 0.0 |2793M| 310 | - | 482 |5895 | 0 | 0 | 0 |7510k| 0 | 0.000000e+00 | -- | Inf
1602.13/1602.12 c 1428s| 6820k| 4178k| 0 | 0.0 |2793M| 310 | - | 482 |6226 | 0 | 0 | 0 |7532k| 0 | 0.000000e+00 | -- | Inf
1606.63/1606.63 c 1432s| 6830k| 4176k| 0 | 0.0 |2791M| 310 | - | 482 |6405 | 0 | 0 | 0 |7553k| 0 | 0.000000e+00 | -- | Inf
1611.13/1611.10 c 1436s| 6840k| 4175k| 0 | 0.0 |2790M| 310 | - | 482 |5759 | 0 | 0 | 0 |7574k| 0 | 0.000000e+00 | -- | Inf
1615.83/1615.83 c 1440s| 6850k| 4173k| 0 | 0.0 |2789M| 310 | - | 482 |6131 | 0 | 0 | 0 |7598k| 0 | 0.000000e+00 | -- | Inf
1619.93/1619.97 c 1444s| 6860k| 4172k| 0 | 0.0 |2787M| 310 | - | 482 |5894 | 0 | 0 | 0 |7617k| 0 | 0.000000e+00 | -- | Inf
1624.22/1624.26 c 1448s| 6870k| 4171k| 0 | 0.0 |2787M| 310 | - | 482 |6114 | 0 | 0 | 0 |7639k| 0 | 0.000000e+00 | -- | Inf
1628.82/1628.88 c 1452s| 6880k| 4169k| 0 | 0.0 |2786M| 310 | - | 482 |6338 | 0 | 0 | 0 |7662k| 0 | 0.000000e+00 | -- | Inf
1633.54/1633.55 c 1456s| 6890k| 4168k| 0 | 0.0 |2784M| 310 | - | 482 |6167 | 0 | 0 | 0 |7684k| 0 | 0.000000e+00 | -- | Inf
1638.03/1638.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1638.03/1638.07 c 1461s| 6900k| 4166k| 0 | 0.0 |2784M| 310 | - | 482 |6278 | 0 | 0 | 0 |7705k| 0 | 0.000000e+00 | -- | Inf
1642.73/1642.74 c 1465s| 6910k| 4165k| 0 | 0.0 |2782M| 310 | - | 482 |6276 | 0 | 0 | 0 |7728k| 0 | 0.000000e+00 | -- | Inf
1647.23/1647.26 c 1469s| 6920k| 4163k| 0 | 0.0 |2781M| 310 | - | 482 |5957 | 0 | 0 | 0 |7750k| 0 | 0.000000e+00 | -- | Inf
1651.53/1651.50 c 1473s| 6930k| 4162k| 0 | 0.0 |2781M| 310 | - | 482 |6398 | 0 | 0 | 0 |7772k| 0 | 0.000000e+00 | -- | Inf
1655.63/1655.60 c 1477s| 6940k| 4161k| 0 | 0.0 |2779M| 310 | - | 482 |5398 | 0 | 0 | 0 |7792k| 0 | 0.000000e+00 | -- | Inf
1660.43/1660.44 c 1481s| 6950k| 4159k| 0 | 0.0 |2777M| 310 | - | 482 |6747 | 0 | 0 | 0 |7816k| 0 | 0.000000e+00 | -- | Inf
1664.93/1664.97 c 1485s| 6960k| 4157k| 0 | 0.0 |2776M| 310 | - | 482 |6276 | 0 | 0 | 0 |7838k| 0 | 0.000000e+00 | -- | Inf
1669.53/1669.50 c 1489s| 6970k| 4156k| 0 | 0.0 |2775M| 310 | - | 482 |6041 | 0 | 0 | 0 |7859k| 0 | 0.000000e+00 | -- | Inf
1673.93/1673.90 c 1493s| 6980k| 4155k| 0 | 0.0 |2774M| 310 | - | 482 |5955 | 0 | 0 | 0 |7881k| 0 | 0.000000e+00 | -- | Inf
1678.13/1678.12 c 1497s| 6990k| 4153k| 0 | 0.0 |2773M| 310 | - | 482 |5997 | 0 | 0 | 0 |7901k| 0 | 0.000000e+00 | -- | Inf
1682.63/1682.62 c 1501s| 7000k| 4152k| 0 | 0.0 |2772M| 310 | - | 482 |6520 | 0 | 0 | 0 |7923k| 0 | 0.000000e+00 | -- | Inf
1687.13/1687.17 c 1505s| 7010k| 4150k| 0 | 0.0 |2771M| 310 | - | 482 |5671 | 0 | 0 | 0 |7944k| 0 | 0.000000e+00 | -- | Inf
1691.73/1691.72 c 1510s| 7020k| 4149k| 0 | 0.0 |2769M| 310 | - | 482 |6093 | 0 | 0 | 0 |7967k| 0 | 0.000000e+00 | -- | Inf
1696.33/1696.33 c 1514s| 7030k| 4147k| 0 | 0.0 |2767M| 310 | - | 482 |5180 | 0 | 0 | 0 |7989k| 0 | 0.000000e+00 | -- | Inf
1700.33/1700.37 c 1517s| 7040k| 4146k| 0 | 0.0 |2767M| 310 | - | 482 |5440 | 0 | 0 | 0 |8009k| 0 | 0.000000e+00 | -- | Inf
1704.53/1704.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1704.53/1704.55 c 1521s| 7050k| 4145k| 0 | 0.0 |2766M| 310 | - | 482 |5596 | 0 | 0 | 0 |8030k| 0 | 0.000000e+00 | -- | Inf
1708.93/1708.99 c 1525s| 7060k| 4143k| 0 | 0.0 |2765M| 310 | - | 482 |6330 | 0 | 0 | 0 |8052k| 0 | 0.000000e+00 | -- | Inf
1713.54/1713.55 c 1529s| 7070k| 4142k| 0 | 0.0 |2764M| 310 | - | 482 |6335 | 0 | 0 | 0 |8074k| 0 | 0.000000e+00 | -- | Inf
1718.23/1718.24 c 1534s| 7080k| 4140k| 0 | 0.0 |2763M| 310 | - | 482 |6115 | 0 | 0 | 0 |8096k| 0 | 0.000000e+00 | -- | Inf
1722.83/1722.83 c 1538s| 7090k| 4139k| 0 | 0.0 |2762M| 310 | - | 482 |5812 | 0 | 0 | 0 |8118k| 0 | 0.000000e+00 | -- | Inf
1727.33/1727.38 c 1542s| 7100k| 4137k| 0 | 0.0 |2761M| 310 | - | 482 |5716 | 0 | 0 | 0 |8140k| 0 | 0.000000e+00 | -- | Inf
1731.93/1731.92 c 1546s| 7110k| 4136k| 0 | 0.0 |2760M| 310 | - | 482 |6372 | 0 | 0 | 0 |8162k| 0 | 0.000000e+00 | -- | Inf
1736.33/1736.35 c 1550s| 7120k| 4134k| 0 | 0.0 |2759M| 310 | - | 482 |5831 | 0 | 0 | 0 |8183k| 0 | 0.000000e+00 | -- | Inf
1740.53/1740.51 c 1554s| 7130k| 4133k| 0 | 0.0 |2758M| 310 | - | 482 |5937 | 0 | 0 | 0 |8204k| 0 | 0.000000e+00 | -- | Inf
1744.53/1744.50 c 1558s| 7140k| 4133k| 0 | 0.0 |2758M| 310 | - | 482 |5807 | 0 | 0 | 0 |8224k| 0 | 0.000000e+00 | -- | Inf
1748.83/1748.86 c 1562s| 7150k| 4131k| 0 | 0.0 |2756M| 310 | - | 482 |6407 | 0 | 0 | 0 |8246k| 0 | 0.000000e+00 | -- | Inf
1753.53/1753.53 c 1566s| 7160k| 4129k| 0 | 0.0 |2754M| 310 | - | 482 |6171 | 0 | 0 | 0 |8270k| 0 | 0.000000e+00 | -- | Inf
1757.93/1757.92 c 1570s| 7170k| 4128k| 0 | 0.0 |2753M| 310 | - | 482 |5813 | 0 | 0 | 0 |8291k| 0 | 0.000000e+00 | -- | Inf
1762.33/1762.33 c 1574s| 7180k| 4127k| 0 | 0.0 |2752M| 310 | - | 482 |6032 | 0 | 0 | 0 |8313k| 0 | 0.000000e+00 | -- | Inf
1766.73/1766.70 c 1578s| 7190k| 4125k| 0 | 0.0 |2751M| 310 | - | 482 |5803 | 0 | 0 | 0 |8334k| 0 | 0.000000e+00 | -- | Inf
1771.04/1771.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1771.04/1771.01 c 1582s| 7200k| 4124k| 0 | 0.0 |2750M| 310 | - | 482 |6056 | 0 | 0 | 0 |8355k| 0 | 0.000000e+00 | -- | Inf
1775.34/1775.38 c 1586s| 7210k| 4123k| 0 | 0.0 |2749M| 310 | - | 482 |6196 | 0 | 0 | 0 |8376k| 0 | 0.000000e+00 | -- | Inf
1779.74/1779.79 c 1590s| 7220k| 4121k| 0 | 0.0 |2748M| 310 | - | 482 |5871 | 0 | 0 | 0 |8396k| 0 | 0.000000e+00 | -- | Inf
1783.93/1783.96 c 1594s| 7230k| 4120k| 0 | 0.0 |2747M| 310 | - | 482 |5777 | 0 | 0 | 0 |8416k| 0 | 0.000000e+00 | -- | Inf
1788.44/1788.48 c 1598s| 7240k| 4118k| 0 | 0.0 |2746M| 310 | - | 482 |6249 | 0 | 0 | 0 |8438k| 0 | 0.000000e+00 | -- | Inf
1792.94/1792.92 c 1602s| 7250k| 4117k| 0 | 0.0 |2745M| 310 | - | 482 |5758 | 0 | 0 | 0 |8459k| 0 | 0.000000e+00 | -- | Inf
1797.53/1797.58 c 1606s| 7260k| 4115k| 0 | 0.0 |2744M| 310 | - | 482 |5896 | 0 | 0 | 0 |8482k| 0 | 0.000000e+00 | -- | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1608.46
1800.04/1800.00 c Solving Nodes : 7265535
1800.04/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 s UNKNOWN
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time : 1608.46
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693749-1277973309.wbo
1800.04/1800.00 c Variables : 482 (441 binary, 0 integer, 0 implicit integer, 41 continuous)
1800.04/1800.00 c Constraints : 102 initial, 102 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2693749-1277973309.wbo
1800.04/1800.00 c Variables : 482 (441 binary, 0 integer, 0 implicit integer, 41 continuous)
1800.04/1800.00 c Constraints : 101 initial, 7475 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.00 0 0 0 41 0 1 0 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 41 0 54724 0 29060 0 60 0 0 0
1800.04/1800.00 c setppc : 7 0 16383273 0 6239393 267944 21169602 0 0 0
1800.04/1800.00 c linear : 41 0 16115329 0 6239393 1099063 54058100 0 0 0
1800.04/1800.00 c logicor : 12+ 0 10363136 0 6239393 526067 25078238 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 6239393 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c setppc : 40.54 0.00 32.64 0.00 7.90
1800.04/1800.00 c linear : 209.46 0.00 209.38 0.00 0.08
1800.04/1800.00 c logicor : 418.48 0.00 412.40 0.00 6.08
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 0.00 2 0 0
1800.04/1800.00 c rootredcost : 0.01 0 0 0
1800.04/1800.00 c pseudoobj : 12.77 16383073 0 0
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 140.65 1893074 1893041 11458267 46.8 3468417 10.7 -
1800.04/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 8229238 22.9 - - -
1800.04/1800.00 c applied locally : - - - 264490 51.2 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.00 c redcost : 0.00 0 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.00 c cmir : 0.00 0 0 0 0 0
1800.04/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.00 c clique : 0.00 0 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 119.44 6239393 0 0 0 0 12478786
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c oneopt : 0.00 0 0
1800.04/1800.00 c trivial : 0.00 2 0
1800.04/1800.00 c simplerounding : 0.00 0 0
1800.04/1800.00 c zirounding : 0.00 0 0
1800.04/1800.00 c rounding : 0.00 0 0
1800.04/1800.00 c shifting : 0.00 0 0
1800.04/1800.00 c intshifting : 0.00 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c feaspump : 0.00 0 0
1800.04/1800.00 c coefdiving : 0.00 0 0
1800.04/1800.00 c pscostdiving : 0.00 0 0
1800.04/1800.00 c fracdiving : 0.00 0 0
1800.04/1800.00 c veclendiving : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c objpscostdiving : 0.00 0 0
1800.04/1800.00 c rootsoldiving : 0.00 0 0
1800.04/1800.00 c linesearchdiving : 0.00 0 0
1800.04/1800.00 c guideddiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.00 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c crossover : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c nlp : 0.00 0 0
1800.04/1800.00 c trysol : 0.00 1 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.00 c (at root node) : - 0 0 0.00 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 7265535
1800.04/1800.00 c nodes (total) : 7265535
1800.04/1800.00 c nodes left : 4115124
1800.04/1800.00 c max depth : 310
1800.04/1800.00 c max depth (total): 310
1800.04/1800.00 c backtracks : 972238 (13.4%)
1800.04/1800.00 c delayed cutoffs : 1098128
1800.04/1800.00 c repropagations : 1998919 (36152144 domain reductions, 866932 cutoffs)
1800.04/1800.00 c avg switch length: 10.66
1800.04/1800.00 c switching time : 651.86
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 0 (0 improvements)
1800.04/1800.00 c Primal Bound : -
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 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-2693749-1277973309/watcher-2693749-1277973309 -o /tmp/evaluation-result-2693749-1277973309/solver-2693749-1277973309 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693749-1277973309.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.00 1.99 1.68 2/173 20143
/proc/meminfo: memFree=31265040/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=8364 CPUtime=0
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 1572 0 0 0 0 0 0 0 24 0 1 0 138625475 8564736 1494 4089446400 4194304 7136930 140735370200432 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20143/statm: 2091 1494 275 719 0 1370 0
[startup+0.0995039 s]
/proc/loadavg: 2.00 1.99 1.68 2/173 20143
/proc/meminfo: memFree=31265040/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=13672 CPUtime=0.08
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 4407 0 0 0 6 2 0 0 25 0 1 0 138625475 14000128 2691 4089446400 4194304 7136930 140735370200432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 3418 2691 394 719 0 2697 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13672
[startup+0.100506 s]
/proc/loadavg: 2.00 1.99 1.68 2/173 20143
/proc/meminfo: memFree=31265040/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=13672 CPUtime=0.09
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 4407 0 0 0 7 2 0 0 25 0 1 0 138625475 14000128 2691 4089446400 4194304 7136930 140735370200432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 3418 2691 394 719 0 2697 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13672
[startup+0.301502 s]
/proc/loadavg: 2.00 1.99 1.68 2/173 20143
/proc/meminfo: memFree=31265040/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=15660 CPUtime=0.29
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 4921 0 0 0 21 8 0 0 25 0 1 0 138625475 16035840 3205 4089446400 4194304 7136930 140735370200432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 3915 3205 394 719 0 3194 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15660
[startup+0.700453 s]
/proc/loadavg: 2.00 1.99 1.68 2/173 20143
/proc/meminfo: memFree=31265040/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=18040 CPUtime=0.69
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 5533 0 0 0 50 19 0 0 25 0 1 0 138625475 18472960 3817 4089446400 4194304 7136930 140735370200432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 4510 3817 394 719 0 3789 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18040
[startup+1.50026 s]
/proc/loadavg: 2.00 1.99 1.68 2/198 20175
/proc/meminfo: memFree=31228508/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=23120 CPUtime=1.49
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 6829 0 0 0 108 41 0 0 25 0 1 0 138625475 23674880 5113 4089446400 4194304 7136930 140735370200432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 5780 5113 394 719 0 5059 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23120
[startup+3.10098 s]
/proc/loadavg: 2.00 1.99 1.68 2/198 20224
/proc/meminfo: memFree=31225448/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=32756 CPUtime=3.09
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 9317 0 0 0 222 87 0 0 25 0 1 0 138625475 33542144 7601 4089446400 4194304 7136930 140735370200432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 8189 7601 394 719 0 7468 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32756
[startup+6.30045 s]
/proc/loadavg: 1.92 1.97 1.68 2/198 20277
/proc/meminfo: memFree=31195380/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=48960 CPUtime=6.29
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 13443 0 0 0 461 168 0 0 25 0 1 0 138625475 50135040 11727 4089446400 4194304 7136930 140735370200432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 12240 11727 394 719 0 11519 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48960
[startup+12.7003 s]
/proc/loadavg: 1.93 1.97 1.68 3/179 20332
/proc/meminfo: memFree=31160704/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=82572 CPUtime=12.69
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 21598 0 0 0 934 335 0 0 25 0 1 0 138625475 84553728 19882 4089446400 4194304 7136930 140735370200432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 20643 19882 394 719 0 19922 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 82572
[startup+25.5011 s]
/proc/loadavg: 1.94 1.97 1.68 3/179 20333
/proc/meminfo: memFree=31076772/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=149448 CPUtime=25.49
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 37743 0 0 0 1901 648 0 0 25 0 1 0 138625475 153034752 36027 4089446400 4194304 7136930 140735370200432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 37362 36027 394 719 0 36641 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 149448
[startup+51.1006 s]
/proc/loadavg: 1.96 1.97 1.69 3/179 20333
/proc/meminfo: memFree=30932000/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=253752 CPUtime=51.09
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 64513 0 0 0 3931 1178 0 0 25 0 1 0 138625475 259842048 62797 4089446400 4194304 7136930 140735370200432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 63438 62797 394 719 0 62717 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 253752
[startup+102.307 s]
/proc/loadavg: 1.98 1.97 1.70 3/179 20335
/proc/meminfo: memFree=30713832/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=398564 CPUtime=102.3
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 99271 0 0 0 8328 1902 0 0 25 0 1 0 138625475 408129536 97555 4089446400 4194304 7136930 140735370200432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 99641 97555 394 719 0 98920 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 398564
[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.72 3/179 20336
/proc/meminfo: memFree=30407752/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=625348 CPUtime=162.29
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 153365 0 0 0 13239 2990 0 0 25 0 1 0 138625475 640356352 151649 4089446400 4194304 7136930 140735370200432 18446744073709551615 4240582 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 156337 151649 394 719 0 155616 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 625348
[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.74 3/179 20337
/proc/meminfo: memFree=30103524/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=825204 CPUtime=222.3
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 204744 0 0 0 18213 4017 0 0 25 0 1 0 138625475 845008896 203028 4089446400 4194304 7136930 140735370200432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 206301 203028 394 719 0 205580 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 825204
[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.75 3/179 20339
/proc/meminfo: memFree=29814656/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=996680 CPUtime=282.29
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 248860 0 0 0 23266 4963 0 0 25 0 1 0 138625475 1020600320 247144 4089446400 4194304 7136930 140735370200432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 249170 247144 394 719 0 248449 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 996680
[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.76 3/179 20341
/proc/meminfo: memFree=29523824/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=1167104 CPUtime=342.3
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 292587 0 0 0 28376 5854 0 0 25 0 1 0 138625475 1195114496 290871 4089446400 4194304 7136930 140735370200432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 291776 290871 394 719 0 291055 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1167104
[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.77 3/179 20343
/proc/meminfo: memFree=29288284/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=1358816 CPUtime=402.31
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 333318 0 0 0 33529 6702 0 0 25 0 1 0 138625475 1391427584 331602 4089446400 4194304 7136930 140735370200432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 339704 331602 394 719 0 338983 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1358816
[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.78 3/179 20344
/proc/meminfo: memFree=29044048/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=1504316 CPUtime=462.3
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 370675 0 0 0 38729 7501 0 0 25 0 1 0 138625475 1540419584 368959 4089446400 4194304 7136930 140735370200432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 376079 368959 394 719 0 375358 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1504316
[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.79 3/179 20345
/proc/meminfo: memFree=28827252/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=1647096 CPUtime=522.31
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 407182 0 0 0 44037 8194 0 0 25 0 1 0 138625475 1686626304 405466 4089446400 4194304 7136930 140735370200432 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 411774 405466 394 719 0 411053 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1647096
[startup+582.3 s]
/proc/loadavg: 1.99 1.97 1.81 3/179 20347
/proc/meminfo: memFree=28611932/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=1782992 CPUtime=582.31
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 441856 0 0 0 49361 8870 0 0 25 0 1 0 138625475 1825783808 440140 4089446400 4194304 7136930 140735370200432 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 445748 440140 394 719 0 445027 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1782992
[startup+642.301 s]
/proc/loadavg: 1.99 1.97 1.82 3/179 20349
/proc/meminfo: memFree=28408632/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=1903524 CPUtime=642.31
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 472698 0 0 0 54704 9527 0 0 25 0 1 0 138625475 1949208576 470982 4089446400 4194304 7136930 140735370200432 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 475881 470982 394 719 0 475160 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 1903524
[startup+702.3 s]
################
# More data... #
################
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 648851 0 0 0 92871 13361 0 0 25 0 1 0 138625475 2658148352 647135 4089446400 4194304 7136930 140735370200432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 648962 647135 394 719 0 648241 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2595848
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/179 20361
/proc/meminfo: memFree=26979664/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=2672640 CPUtime=1122.32
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 668425 0 0 0 98409 13823 0 0 25 0 1 0 138625475 2736783360 666709 4089446400 4194304 7136930 140735370200432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 668160 666709 394 719 0 667439 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2672640
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/179 20363
/proc/meminfo: memFree=26827964/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=2746180 CPUtime=1182.32
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 687122 0 0 0 103961 14271 0 0 25 0 1 0 138625475 2812088320 685406 4089446400 4194304 7136930 140735370200432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 686545 685406 394 719 0 685824 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2746180
[startup+1242.3 s]
/proc/loadavg: 2.08 2.00 1.89 3/179 20365
/proc/meminfo: memFree=26669076/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=2887256 CPUtime=1242.32
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 706281 0 0 0 109529 14703 0 0 25 0 1 0 138625475 2956550144 704565 4089446400 4194304 7136930 140735370200432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 721814 704565 394 719 0 721093 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2887256
[startup+1302.3 s]
/proc/loadavg: 2.02 2.00 1.89 3/179 20367
/proc/meminfo: memFree=26527412/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=2949900 CPUtime=1302.33
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 721896 0 0 0 115119 15114 0 0 25 0 1 0 138625475 3020697600 720180 4089446400 4194304 7136930 140735370200432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 737475 720180 394 719 0 736754 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2949900
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.90 3/179 20368
/proc/meminfo: memFree=26384260/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=3010220 CPUtime=1362.32
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 737260 0 0 0 120713 15519 0 0 25 0 1 0 138625475 3082465280 735544 4089446400 4194304 7136930 140735370200432 18446744073709551615 4644815 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 752555 735544 394 719 0 751834 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3010220
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20369
/proc/meminfo: memFree=26268652/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=3045240 CPUtime=1422.33
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 762764 0 0 0 126280 15953 0 0 25 0 1 0 138625475 3118325760 744380 4089446400 4194304 7136930 140735370200432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 761310 744380 394 719 0 760589 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3045240
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20371
/proc/meminfo: memFree=26192200/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=3045420 CPUtime=1482.33
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 762832 0 0 0 131793 16440 0 0 25 0 1 0 138625475 3118510080 744448 4089446400 4194304 7136930 140735370200432 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 761355 744448 394 719 0 760634 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3045420
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20373
/proc/meminfo: memFree=26113164/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=3045420 CPUtime=1542.33
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 762832 0 0 0 137285 16948 0 0 25 0 1 0 138625475 3118510080 744448 4089446400 4194304 7136930 140735370200432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 761355 744448 394 719 0 760634 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3045420
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/179 20384
/proc/meminfo: memFree=26036468/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=3045420 CPUtime=1602.33
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 762832 0 0 0 142784 17449 0 0 25 0 1 0 138625475 3118510080 744448 4089446400 4194304 7136930 140735370200432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 761355 744448 394 719 0 760634 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3045420
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/179 20385
/proc/meminfo: memFree=25956920/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=3045744 CPUtime=1662.33
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 762897 0 0 0 148272 17961 0 0 25 0 1 0 138625475 3118841856 744513 4089446400 4194304 7136930 140735370200432 18446744073709551615 4210101 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 761436 744513 394 719 0 760715 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3045744
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20386
/proc/meminfo: memFree=25877636/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=3045228 CPUtime=1722.33
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 762897 0 0 0 153751 18482 0 0 25 0 1 0 138625475 3118313472 744384 4089446400 4194304 7136930 140735370200432 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 761307 744384 394 719 0 760586 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3045228
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20388
/proc/meminfo: memFree=25795120/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=3045632 CPUtime=1782.33
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 762969 0 0 0 159231 19002 0 0 25 0 1 0 138625475 3118727168 744456 4089446400 4194304 7136930 140735370200432 18446744073709551615 5955601 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 761408 744456 394 719 0 760687 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3045632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.08 2.02 1.92 3/179 20389
/proc/meminfo: memFree=25771548/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=3045632 CPUtime=1800.04
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 762975 0 0 0 160846 19158 0 0 25 0 1 0 138625475 3118727168 744462 4089446400 4194304 7136930 140735370200432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20143/statm: 761408 744462 394 719 0 760687 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3045632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -20143
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.08 2.02 1.92 3/180 20390
/proc/meminfo: memFree=25770544/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=3045632 CPUtime=1801.43
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 762980 0 0 0 160985 19158 0 0 19 0 1 0 138625475 3118727168 744467 4089446400 4194304 7136930 140735370200432 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20143/statm: 761408 744467 399 719 0 760687 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 3045632
[startup+1801.81 s]
/proc/loadavg: 2.08 2.02 1.92 3/180 20390
/proc/meminfo: memFree=25769428/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=3045632 CPUtime=1801.84
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 762980 0 0 0 161026 19158 0 0 20 0 1 0 138625475 3118727168 744467 4089446400 4194304 7136930 140735370200432 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20143/statm: 761408 744467 399 719 0 760687 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 3045632
[startup+1802 s]
/proc/loadavg: 2.08 2.02 1.92 3/180 20390
/proc/meminfo: memFree=25769428/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=3045632 CPUtime=1802.03
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4202496 762980 0 0 0 161045 19158 0 0 21 0 1 0 138625475 3118727168 744467 4089446400 4194304 7136930 140735370200432 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20143/statm: 761408 744467 399 719 0 760687 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 3045632
[startup+1802.1 s]
/proc/loadavg: 2.08 2.02 1.92 3/180 20390
/proc/meminfo: memFree=25769428/32951124 swapFree=67111528/67111528
[pid=20143] ppid=20141 vsize=0 CPUtime=1802.13
/proc/20143/stat : 20143 (pbscip.linux.x8) R 20141 20143 19939 0 -1 4203524 762980 0 0 0 161046 19167 0 0 21 0 1 0 138625475 0 0 4089446400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/20143/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.1
CPU time (s): 1802.14
CPU user time (s): 1610.46
CPU system time (s): 191.679
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3174752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1610.46
system time used= 191.679
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 762980
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= 6
involuntary context switches= 1825
runsolver used 2.68459 second user time and 5.80112 second system time
The end
Begin job on node144 at 2010-07-01 10:35:09
IDJOB=2693749
IDBENCH=78700
IDSOLVER=1206
FILE ID=node144/2693749-1277973309
PBS_JOBID= 11197878
Free space on /tmp= 74180 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr--soft-33-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-2693749-1277973309/watcher-2693749-1277973309 -o /tmp/evaluation-result-2693749-1277973309/solver-2693749-1277973309 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693749-1277973309.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f76bfef4498edf916ad0f53b817cfd69
RANDOM SEED=639048074
node144.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.848
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.69
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.848
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.83
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.848
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.848
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.82
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.848
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.75
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.848
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.75
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.848
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.848
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 : 5230.90
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31265320 kB
Buffers: 219608 kB
Cached: 1256976 kB
SwapCached: 0 kB
Active: 578948 kB
Inactive: 959996 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31265320 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3136 kB
Writeback: 0 kB
AnonPages: 62228 kB
Mapped: 14492 kB
Slab: 82200 kB
PageTables: 4404 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 183448 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= 74172 MiB
End job on node144 at 2010-07-01 11:05:11