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-2693816-1277894370.wbo>
0.00/0.02 c original problem has 6592 variables (6536 bin, 0 int, 0 impl, 56 cont) and 218 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.03 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 56 impls, 45 clqs
0.04/0.04 c (round 2) 0 del vars, 1 del conss, 56 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 56 impls, 45 clqs
0.04/0.04 c (round 3) 0 del vars, 1 del conss, 56 chg bounds, 0 chg sides, 0 chg coeffs, 60 upgd conss, 56 impls, 45 clqs
0.04/0.05 c (round 4) 0 del vars, 1 del conss, 56 chg bounds, 0 chg sides, 0 chg coeffs, 105 upgd conss, 56 impls, 45 clqs
0.04/0.09 c (0.1s) probing: 101/6536 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.04/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.04/0.09 c presolving (5 rounds):
0.04/0.09 c 0 deleted vars, 1 deleted constraints, 56 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.04/0.09 c 56 implications, 45 cliques
0.04/0.09 c presolved problem has 6592 variables (6536 bin, 0 int, 0 impl, 56 cont) and 217 constraints
0.04/0.09 c 56 constraints of type <indicator>
0.04/0.09 c 45 constraints of type <setppc>
0.04/0.09 c 56 constraints of type <linear>
0.04/0.09 c 60 constraints of type <logicor>
0.04/0.09 c transformed objective value is always integral (scale: 1)
0.04/0.09 c Presolving Time: 0.06
0.04/0.09 c - non default parameters ----------------------------------------------------------------------
0.04/0.09 c # SCIP version 1.2.1.2
0.04/0.09 c
0.04/0.09 c # frequency for displaying node information lines
0.04/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.04/0.09 c display/freq = 10000
0.04/0.09 c
0.04/0.09 c # maximal time in seconds to run
0.04/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.09 c limits/time = 1799.99
0.04/0.09 c
0.04/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.04/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.09 c limits/memory = 3420
0.04/0.09 c
0.04/0.09 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.04/0.09 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.09 c lp/solvefreq = -1
0.04/0.09 c
0.04/0.09 c # should presolving try to simplify inequalities
0.04/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.09 c constraints/linear/simplifyinequalities = TRUE
0.04/0.09 c
0.04/0.09 c # should presolving try to simplify knapsacks
0.04/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.09 c constraints/knapsack/simplifyinequalities = TRUE
0.04/0.09 c
0.04/0.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.04/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.09 c separating/rapidlearning/freq = 0
0.04/0.09 c
0.04/0.09 c -----------------------------------------------------------------------------------------------
0.04/0.09 c start solving
0.04/0.09 c
0.04/0.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.04/0.09 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |6592 | 217 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
4.09/4.19 c 4.1s| 10000 | 9995 | 0 | 0.0 | 15M|5140 | - |6592 | 239 | 0 | 0 | 0 | 38 | 0 | 0.000000e+00 | -- | Inf
8.49/8.50 c 8.4s| 20000 | 19971 | 0 | 0.0 | 18M|5140 | - |6592 | 307 | 0 | 0 | 0 | 141 | 0 | 0.000000e+00 | -- | Inf
12.59/12.66 c 12.5s| 30000 | 29953 | 0 | 0.0 | 21M|5140 | - |6592 | 279 | 0 | 0 | 0 | 231 | 0 | 0.000000e+00 | -- | Inf
16.19/16.28 c 16.1s| 40000 | 39939 | 0 | 0.0 | 24M|5140 | - |6592 | 268 | 0 | 0 | 0 | 301 | 0 | 0.000000e+00 | -- | Inf
20.69/20.74 c 20.4s| 50000 | 49923 | 0 | 0.0 | 27M|5140 | - |6592 | 272 | 0 | 0 | 0 | 381 | 0 | 0.000000e+00 | -- | Inf
24.99/25.01 c 24.7s| 60000 | 59907 | 0 | 0.0 | 30M|5140 | - |6592 | 268 | 0 | 0 | 0 | 461 | 0 | 0.000000e+00 | -- | Inf
29.49/29.51 c 29.1s| 70000 | 69891 | 0 | 0.0 | 33M|5140 | - |6592 | 281 | 0 | 0 | 0 | 541 | 0 | 0.000000e+00 | -- | Inf
33.89/33.98 c 33.5s| 80000 | 79877 | 0 | 0.0 | 36M|5140 | - |6592 | 272 | 0 | 0 | 0 | 611 | 0 | 0.000000e+00 | -- | Inf
38.59/38.67 c 38.1s| 90000 | 89867 | 0 | 0.0 | 39M|5140 | - |6592 | 264 | 0 | 0 | 0 | 661 | 0 | 0.000000e+00 | -- | Inf
43.19/43.27 c 42.7s|100000 | 99855 | 0 | 0.0 | 42M|5140 | - |6592 | 263 | 0 | 0 | 0 | 721 | 0 | 0.000000e+00 | -- | Inf
48.19/48.28 c 47.6s|110000 |109845 | 0 | 0.0 | 45M|5140 | - |6592 | 269 | 0 | 0 | 0 | 771 | 0 | 0.000000e+00 | -- | Inf
52.99/53.06 c 52.4s|120000 |119837 | 0 | 0.0 | 48M|5140 | - |6592 | 265 | 0 | 0 | 0 | 811 | 0 | 0.000000e+00 | -- | Inf
57.79/57.82 c 57.0s|130000 |129829 | 0 | 0.0 | 50M|5140 | - |6592 | 266 | 0 | 0 | 0 | 851 | 0 | 0.000000e+00 | -- | Inf
62.99/63.00 c 62.2s|140000 |139816 | 0 | 0.0 | 53M|5140 | - |6592 | 295 | 0 | 0 | 0 | 921 | 0 | 0.000000e+00 | -- | Inf
67.99/68.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.99/68.03 c 67.1s|150000 |149807 | 0 | 0.0 | 56M|5140 | - |6592 | 321 | 0 | 0 | 0 | 971 | 0 | 0.000000e+00 | -- | Inf
72.90/72.94 c 72.0s|160000 |159800 | 0 | 0.0 | 59M|5140 | - |6592 | 339 | 0 | 0 | 0 |1011 | 0 | 0.000000e+00 | -- | Inf
77.69/77.73 c 76.7s|170000 |169791 | 0 | 0.0 | 61M|5140 | - |6592 | 358 | 0 | 0 | 0 |1061 | 0 | 0.000000e+00 | -- | Inf
82.39/82.40 c 81.3s|180000 |179776 | 0 | 0.0 | 64M|5140 | - |6592 | 377 | 0 | 0 | 0 |1141 | 0 | 0.000000e+00 | -- | Inf
87.09/87.13 c 86.0s|190000 |189760 | 0 | 0.0 | 67M|5140 | - |6592 | 413 | 0 | 0 | 0 |1221 | 0 | 0.000000e+00 | -- | Inf
91.79/91.86 c 90.7s|200000 |199748 | 0 | 0.0 | 70M|5140 | - |6592 | 420 | 0 | 0 | 0 |1281 | 0 | 0.000000e+00 | -- | Inf
96.69/96.73 c 95.5s|210000 |209730 | 0 | 0.0 | 72M|5159 | - |6592 | 463 | 0 | 0 | 0 |1371 | 0 | 0.000000e+00 | -- | Inf
101.50/101.50 c 100s|220000 |219716 | 0 | 0.0 | 75M|5188 | - |6592 | 453 | 0 | 0 | 0 |1441 | 0 | 0.000000e+00 | -- | Inf
106.30/106.36 c 105s|230000 |229705 | 0 | 0.0 | 78M|5188 | - |6592 | 461 | 0 | 0 | 0 |1501 | 0 | 0.000000e+00 | -- | Inf
111.00/111.09 c 110s|240000 |239695 | 0 | 0.0 | 81M|5188 | - |6592 | 469 | 0 | 0 | 0 |1561 | 0 | 0.000000e+00 | -- | Inf
115.79/115.86 c 114s|250000 |249684 | 0 | 0.0 | 83M|5188 | - |6592 | 483 | 0 | 0 | 0 |1621 | 0 | 0.000000e+00 | -- | Inf
120.59/120.61 c 119s|260000 |259674 | 0 | 0.0 | 86M|5188 | - |6592 | 478 | 0 | 0 | 0 |1671 | 0 | 0.000000e+00 | -- | Inf
125.30/125.38 c 124s|270000 |269666 | 0 | 0.0 | 89M|5193 | - |6592 | 475 | 0 | 0 | 0 |1711 | 0 | 0.000000e+00 | -- | Inf
130.09/130.17 c 129s|280000 |279654 | 0 | 0.0 | 91M|5193 | - |6592 | 496 | 0 | 0 | 0 |1771 | 0 | 0.000000e+00 | -- | Inf
134.79/134.85 c 133s|290000 |289646 | 0 | 0.0 | 94M|5238 | - |6592 | 496 | 0 | 0 | 0 |1811 | 0 | 0.000000e+00 | -- | Inf
139.49/139.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
139.49/139.56 c 138s|300000 |299638 | 0 | 0.0 | 97M|5238 | - |6592 | 498 | 0 | 0 | 0 |1851 | 0 | 0.000000e+00 | -- | Inf
144.29/144.31 c 143s|310000 |309630 | 0 | 0.0 | 100M|5238 | - |6592 | 505 | 0 | 0 | 0 |1891 | 0 | 0.000000e+00 | -- | Inf
149.19/149.20 c 147s|320000 |319616 | 0 | 0.0 | 102M|5238 | - |6592 | 534 | 0 | 0 | 0 |1961 | 0 | 0.000000e+00 | -- | Inf
154.19/154.24 c 152s|330000 |329600 | 0 | 0.0 | 105M|5238 | - |6592 | 549 | 0 | 0 | 0 |2038 | 0 | 0.000000e+00 | -- | Inf
159.09/159.13 c 157s|340000 |339593 | 0 | 0.0 | 108M|5238 | - |6592 | 559 | 0 | 0 | 0 |2078 | 0 | 0.000000e+00 | -- | Inf
163.99/164.04 c 162s|350000 |349585 | 0 | 0.0 | 110M|5238 | - |6592 | 576 | 0 | 0 | 0 |2116 | 0 | 0.000000e+00 | -- | Inf
168.89/168.92 c 167s|360000 |359576 | 0 | 0.0 | 113M|5238 | - |6592 | 596 | 0 | 0 | 0 |2166 | 0 | 0.000000e+00 | -- | Inf
173.80/173.82 c 172s|370000 |369564 | 0 | 0.0 | 116M|5238 | - |6592 | 596 | 0 | 0 | 0 |2196 | 0 | 0.000000e+00 | -- | Inf
178.59/178.65 c 176s|380000 |379557 | 0 | 0.0 | 118M|5238 | - |6592 | 600 | 0 | 0 | 0 |2230 | 0 | 0.000000e+00 | -- | Inf
183.60/183.69 c 181s|390000 |389539 | 0 | 0.0 | 121M|5242 | - |6592 | 620 | 0 | 0 | 0 |2316 | 0 | 0.000000e+00 | -- | Inf
188.29/188.38 c 186s|400000 |399527 | 0 | 0.0 | 124M|5293 | - |6592 | 618 | 0 | 0 | 0 |2369 | 0 | 0.000000e+00 | -- | Inf
193.10/193.16 c 191s|410000 |409519 | 0 | 0.0 | 127M|5293 | - |6592 | 606 | 0 | 0 | 0 |2409 | 0 | 0.000000e+00 | -- | Inf
198.10/198.12 c 196s|420000 |419503 | 0 | 0.0 | 129M|5293 | - |6592 | 613 | 0 | 0 | 0 |2489 | 0 | 0.000000e+00 | -- | Inf
203.00/203.01 c 201s|430000 |429491 | 0 | 0.0 | 132M|5293 | - |6592 | 627 | 0 | 0 | 0 |2549 | 0 | 0.000000e+00 | -- | Inf
207.80/207.89 c 205s|440000 |439479 | 0 | 0.0 | 135M|5293 | - |6592 | 621 | 0 | 0 | 0 |2609 | 0 | 0.000000e+00 | -- | Inf
212.59/212.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
212.59/212.64 c 210s|450000 |449465 | 0 | 0.0 | 137M|5293 | - |6592 | 636 | 0 | 0 | 0 |2679 | 0 | 0.000000e+00 | -- | Inf
217.39/217.47 c 215s|460000 |459451 | 0 | 0.0 | 140M|5293 | - |6592 | 657 | 0 | 0 | 0 |2749 | 0 | 0.000000e+00 | -- | Inf
222.10/222.13 c 219s|470000 |469444 | 0 | 0.0 | 143M|5293 | - |6592 | 630 | 0 | 0 | 0 |2789 | 0 | 0.000000e+00 | -- | Inf
226.90/226.95 c 224s|480000 |479428 | 0 | 0.0 | 146M|5293 | - |6592 | 656 | 0 | 0 | 0 |2869 | 0 | 0.000000e+00 | -- | Inf
231.80/231.83 c 229s|490000 |489416 | 0 | 0.0 | 148M|5293 | - |6592 | 668 | 0 | 0 | 0 |2929 | 0 | 0.000000e+00 | -- | Inf
236.60/236.63 c 234s|500000 |499406 | 0 | 0.0 | 151M|5293 | - |6592 | 660 | 0 | 0 | 0 |2979 | 0 | 0.000000e+00 | -- | Inf
241.40/241.44 c 239s|510000 |509392 | 0 | 0.0 | 154M|5293 | - |6592 | 672 | 0 | 0 | 0 |3049 | 0 | 0.000000e+00 | -- | Inf
246.41/246.45 c 243s|520000 |519374 | 0 | 0.0 | 156M|5293 | - |6592 | 682 | 0 | 0 | 0 |3139 | 0 | 0.000000e+00 | -- | Inf
251.19/251.28 c 248s|530000 |529360 | 0 | 0.0 | 159M|5293 | - |6592 | 669 | 0 | 0 | 0 |3209 | 0 | 0.000000e+00 | -- | Inf
256.00/256.08 c 253s|540000 |539344 | 0 | 0.0 | 162M|5293 | - |6592 | 693 | 0 | 0 | 0 |3289 | 0 | 0.000000e+00 | -- | Inf
260.80/260.81 c 258s|550000 |549336 | 0 | 0.0 | 165M|5293 | - |6592 | 677 | 0 | 0 | 0 |3329 | 0 | 0.000000e+00 | -- | Inf
265.50/265.56 c 262s|560000 |559328 | 0 | 0.0 | 167M|5293 | - |6592 | 690 | 0 | 0 | 0 |3369 | 0 | 0.000000e+00 | -- | Inf
270.30/270.36 c 267s|570000 |569318 | 0 | 0.0 | 170M|5293 | - |6592 | 689 | 0 | 0 | 0 |3419 | 0 | 0.000000e+00 | -- | Inf
275.19/275.27 c 272s|580000 |579304 | 0 | 0.0 | 173M|5293 | - |6592 | 705 | 0 | 0 | 0 |3489 | 0 | 0.000000e+00 | -- | Inf
280.09/280.17 c 277s|590000 |589288 | 0 | 0.0 | 175M|5293 | - |6592 | 719 | 0 | 0 | 0 |3569 | 0 | 0.000000e+00 | -- | Inf
285.00/285.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.00/285.01 c 282s|600000 |599280 | 0 | 0.0 | 178M|5293 | - |6592 | 693 | 0 | 0 | 0 |3609 | 0 | 0.000000e+00 | -- | Inf
289.90/289.97 c 286s|610000 |609270 | 0 | 0.0 | 181M|5293 | - |6592 | 702 | 0 | 0 | 0 |3659 | 0 | 0.000000e+00 | -- | Inf
294.81/294.85 c 291s|620000 |619252 | 0 | 0.0 | 183M|5303 | - |6592 | 727 | 0 | 0 | 0 |3749 | 0 | 0.000000e+00 | -- | Inf
299.70/299.79 c 296s|630000 |629238 | 0 | 0.0 | 186M|5354 | - |6592 | 740 | 0 | 0 | 0 |3819 | 0 | 0.000000e+00 | -- | Inf
304.70/304.77 c 301s|640000 |639224 | 0 | 0.0 | 189M|5375 | - |6592 | 747 | 0 | 0 | 0 |3889 | 0 | 0.000000e+00 | -- | Inf
309.70/309.75 c 306s|650000 |649208 | 0 | 0.0 | 192M|5384 | - |6592 | 756 | 0 | 0 | 0 |3969 | 0 | 0.000000e+00 | -- | Inf
314.70/314.72 c 311s|660000 |659194 | 0 | 0.0 | 194M|5425 | - |6592 | 773 | 0 | 0 | 0 |4039 | 0 | 0.000000e+00 | -- | Inf
319.40/319.48 c 316s|670000 |669182 | 0 | 0.0 | 197M|5438 | - |6592 | 775 | 0 | 0 | 0 |4099 | 0 | 0.000000e+00 | -- | Inf
324.30/324.32 c 320s|680000 |679170 | 0 | 0.0 | 200M|5480 | - |6592 | 787 | 0 | 0 | 0 |4159 | 0 | 0.000000e+00 | -- | Inf
329.10/329.12 c 325s|690000 |689162 | 0 | 0.0 | 202M|5480 | - |6592 | 784 | 0 | 0 | 0 |4199 | 0 | 0.000000e+00 | -- | Inf
333.80/333.89 c 330s|700000 |699152 | 0 | 0.0 | 205M|5480 | - |6592 | 796 | 0 | 0 | 0 |4249 | 0 | 0.000000e+00 | -- | Inf
338.60/338.61 c 335s|710000 |709138 | 0 | 0.0 | 208M|5504 | - |6592 | 829 | 0 | 0 | 0 |4319 | 0 | 0.000000e+00 | -- | Inf
343.30/343.38 c 339s|720000 |719126 | 0 | 0.0 | 210M|5504 | - |6592 | 835 | 0 | 0 | 0 |4379 | 0 | 0.000000e+00 | -- | Inf
348.40/348.43 c 344s|730000 |729118 | 0 | 0.0 | 213M|5504 | - |6592 | 831 | 0 | 0 | 0 |4419 | 0 | 0.000000e+00 | -- | Inf
353.60/353.60 c 349s|740000 |739103 | 0 | 0.0 | 216M|5504 | - |6592 | 853 | 0 | 0 | 0 |4499 | 0 | 0.000000e+00 | -- | Inf
358.60/358.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
358.60/358.61 c 354s|750000 |749093 | 0 | 0.0 | 218M|5504 | - |6592 | 836 | 0 | 0 | 0 |4549 | 0 | 0.000000e+00 | -- | Inf
363.70/363.70 c 359s|760000 |759077 | 0 | 0.0 | 221M|5504 | - |6592 | 864 | 0 | 0 | 0 |4629 | 0 | 0.000000e+00 | -- | Inf
368.41/368.49 c 364s|770000 |769066 | 0 | 0.0 | 224M|5504 | - |6592 | 862 | 0 | 0 | 0 |4681 | 0 | 0.000000e+00 | -- | Inf
373.40/373.43 c 369s|780000 |779054 | 0 | 0.0 | 226M|5504 | - |6592 | 873 | 0 | 0 | 0 |4741 | 0 | 0.000000e+00 | -- | Inf
378.20/378.30 c 374s|790000 |789044 | 0 | 0.0 | 229M|5504 | - |6592 | 858 | 0 | 0 | 0 |4791 | 0 | 0.000000e+00 | -- | Inf
383.30/383.37 c 379s|800000 |799030 | 0 | 0.0 | 232M|5504 | - |6592 | 865 | 0 | 0 | 0 |4861 | 0 | 0.000000e+00 | -- | Inf
388.10/388.17 c 383s|810000 |809014 | 0 | 0.0 | 234M|5504 | - |6592 | 869 | 0 | 0 | 0 |4941 | 0 | 0.000000e+00 | -- | Inf
392.90/392.93 c 388s|820000 |819002 | 0 | 0.0 | 237M|5504 | - |6592 | 859 | 0 | 0 | 0 |5001 | 0 | 0.000000e+00 | -- | Inf
397.60/397.66 c 393s|830000 |828992 | 0 | 0.0 | 240M|5504 | - |6592 | 851 | 0 | 0 | 0 |5051 | 0 | 0.000000e+00 | -- | Inf
402.40/402.47 c 398s|840000 |838976 | 0 | 0.0 | 242M|5504 | - |6592 | 873 | 0 | 0 | 0 |5131 | 0 | 0.000000e+00 | -- | Inf
407.20/407.21 c 402s|850000 |848966 | 0 | 0.0 | 245M|5504 | - |6592 | 842 | 0 | 0 | 0 |5181 | 0 | 0.000000e+00 | -- | Inf
412.00/412.03 c 407s|860000 |858958 | 0 | 0.0 | 248M|5504 | - |6592 | 827 | 0 | 0 | 0 |5221 | 0 | 0.000000e+00 | -- | Inf
416.70/416.77 c 412s|870000 |868946 | 0 | 0.0 | 250M|5504 | - |6592 | 845 | 0 | 0 | 0 |5281 | 0 | 0.000000e+00 | -- | Inf
421.60/421.60 c 416s|880000 |878934 | 0 | 0.0 | 253M|5504 | - |6592 | 849 | 0 | 0 | 0 |5341 | 0 | 0.000000e+00 | -- | Inf
426.30/426.33 c 421s|890000 |888928 | 0 | 0.0 | 256M|5504 | - |6592 | 824 | 0 | 0 | 0 |5371 | 0 | 0.000000e+00 | -- | Inf
431.20/431.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
431.20/431.24 c 426s|900000 |898916 | 0 | 0.0 | 258M|5504 | - |6592 | 833 | 0 | 0 | 0 |5431 | 0 | 0.000000e+00 | -- | Inf
436.00/436.10 c 431s|910000 |908902 | 0 | 0.0 | 261M|5504 | - |6592 | 837 | 0 | 0 | 0 |5501 | 0 | 0.000000e+00 | -- | Inf
440.90/440.97 c 436s|920000 |918894 | 0 | 0.0 | 264M|5504 | - |6592 | 827 | 0 | 0 | 0 |5541 | 0 | 0.000000e+00 | -- | Inf
445.80/445.87 c 440s|930000 |928882 | 0 | 0.0 | 266M|5504 | - |6592 | 824 | 0 | 0 | 0 |5601 | 0 | 0.000000e+00 | -- | Inf
450.70/450.70 c 445s|940000 |938872 | 0 | 0.0 | 269M|5504 | - |6592 | 834 | 0 | 0 | 0 |5651 | 0 | 0.000000e+00 | -- | Inf
455.41/455.46 c 450s|950000 |948864 | 0 | 0.0 | 272M|5504 | - |6592 | 823 | 0 | 0 | 0 |5691 | 0 | 0.000000e+00 | -- | Inf
460.30/460.30 c 455s|960000 |958854 | 0 | 0.0 | 274M|5504 | - |6592 | 815 | 0 | 0 | 0 |5741 | 0 | 0.000000e+00 | -- | Inf
465.00/465.01 c 459s|970000 |968846 | 0 | 0.0 | 277M|5504 | - |6592 | 808 | 0 | 0 | 0 |5781 | 0 | 0.000000e+00 | -- | Inf
469.91/469.90 c 464s|980000 |978834 | 0 | 0.0 | 280M|5504 | - |6592 | 826 | 0 | 0 | 0 |5841 | 0 | 0.000000e+00 | -- | Inf
474.50/474.50 c 469s|990000 |988825 | 0 | 0.0 | 282M|5504 | - |6592 | 826 | 0 | 0 | 0 |5891 | 0 | 0.000000e+00 | -- | Inf
479.20/479.22 c 473s| 1000k|998815 | 0 | 0.0 | 285M|5504 | - |6592 | 837 | 0 | 0 | 0 |5941 | 0 | 0.000000e+00 | -- | Inf
484.10/484.13 c 478s| 1010k| 1008k| 0 | 0.0 | 288M|5504 | - |6592 | 841 | 0 | 0 | 0 |6021 | 0 | 0.000000e+00 | -- | Inf
488.80/488.89 c 483s| 1020k| 1018k| 0 | 0.0 | 290M|5504 | - |6592 | 822 | 0 | 0 | 0 |6071 | 0 | 0.000000e+00 | -- | Inf
493.50/493.59 c 488s| 1030k| 1028k| 0 | 0.0 | 293M|5504 | - |6592 | 809 | 0 | 0 | 0 |6111 | 0 | 0.000000e+00 | -- | Inf
498.31/498.33 c 492s| 1040k| 1038k| 0 | 0.0 | 296M|5504 | - |6592 | 829 | 0 | 0 | 0 |6171 | 0 | 0.000000e+00 | -- | Inf
502.91/502.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
502.91/502.97 c 497s| 1050k| 1048k| 0 | 0.0 | 298M|5504 | - |6592 | 833 | 0 | 0 | 0 |6231 | 0 | 0.000000e+00 | -- | Inf
507.50/507.58 c 501s| 1060k| 1058k| 0 | 0.0 | 301M|5504 | - |6592 | 831 | 0 | 0 | 0 |6271 | 0 | 0.000000e+00 | -- | Inf
512.21/512.26 c 506s| 1070k| 1068k| 0 | 0.0 | 304M|5504 | - |6592 | 847 | 0 | 0 | 0 |6331 | 0 | 0.000000e+00 | -- | Inf
516.91/516.99 c 511s| 1080k| 1078k| 0 | 0.0 | 307M|5504 | - |6592 | 845 | 0 | 0 | 0 |6381 | 0 | 0.000000e+00 | -- | Inf
521.70/521.71 c 515s| 1090k| 1088k| 0 | 0.0 | 309M|5504 | - |6592 | 880 | 0 | 0 | 0 |6461 | 0 | 0.000000e+00 | -- | Inf
526.30/526.39 c 520s| 1100k| 1098k| 0 | 0.0 | 312M|5504 | - |6592 | 874 | 0 | 0 | 0 |6531 | 0 | 0.000000e+00 | -- | Inf
531.11/531.11 c 525s| 1110k| 1108k| 0 | 0.0 | 315M|5504 | - |6592 | 867 | 0 | 0 | 0 |6591 | 0 | 0.000000e+00 | -- | Inf
535.71/535.75 c 529s| 1120k| 1118k| 0 | 0.0 | 317M|5504 | - |6592 | 843 | 0 | 0 | 0 |6621 | 0 | 0.000000e+00 | -- | Inf
540.50/540.50 c 534s| 1130k| 1128k| 0 | 0.0 | 320M|5504 | - |6592 | 844 | 0 | 0 | 0 |6681 | 0 | 0.000000e+00 | -- | Inf
545.30/545.34 c 539s| 1140k| 1138k| 0 | 0.0 | 322M|5504 | - |6592 | 845 | 0 | 0 | 0 |6731 | 0 | 0.000000e+00 | -- | Inf
549.91/549.94 c 543s| 1150k| 1148k| 0 | 0.0 | 325M|5504 | - |6592 | 857 | 0 | 0 | 0 |6791 | 0 | 0.000000e+00 | -- | Inf
554.80/554.84 c 548s| 1160k| 1158k| 0 | 0.0 | 328M|5504 | - |6592 | 883 | 0 | 0 | 0 |6871 | 0 | 0.000000e+00 | -- | Inf
559.60/559.67 c 553s| 1170k| 1168k| 0 | 0.0 | 331M|5504 | - |6592 | 863 | 0 | 0 | 0 |6911 | 0 | 0.000000e+00 | -- | Inf
564.41/564.41 c 558s| 1180k| 1178k| 0 | 0.0 | 333M|5504 | - |6592 | 857 | 0 | 0 | 0 |6951 | 0 | 0.000000e+00 | -- | Inf
569.11/569.13 c 562s| 1190k| 1188k| 0 | 0.0 | 336M|5504 | - |6592 | 863 | 0 | 0 | 0 |7011 | 0 | 0.000000e+00 | -- | Inf
574.01/574.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
574.01/574.09 c 567s| 1200k| 1198k| 0 | 0.0 | 339M|5504 | - |6592 | 884 | 0 | 0 | 0 |7121 | 0 | 0.000000e+00 | -- | Inf
578.70/578.72 c 572s| 1210k| 1208k| 0 | 0.0 | 341M|5504 | - |6592 | 857 | 0 | 0 | 0 |7171 | 0 | 0.000000e+00 | -- | Inf
583.21/583.25 c 576s| 1220k| 1218k| 0 | 0.0 | 344M|5504 | - |6592 | 856 | 0 | 0 | 0 |7211 | 0 | 0.000000e+00 | -- | Inf
587.81/587.88 c 581s| 1230k| 1228k| 0 | 0.0 | 347M|5504 | - |6592 | 885 | 0 | 0 | 0 |7271 | 0 | 0.000000e+00 | -- | Inf
592.61/592.64 c 585s| 1240k| 1238k| 0 | 0.0 | 349M|5504 | - |6592 | 897 | 0 | 0 | 0 |7321 | 0 | 0.000000e+00 | -- | Inf
597.31/597.35 c 590s| 1250k| 1248k| 0 | 0.0 | 352M|5504 | - |6592 | 908 | 0 | 0 | 0 |7391 | 0 | 0.000000e+00 | -- | Inf
602.01/602.00 c 595s| 1260k| 1258k| 0 | 0.0 | 355M|5504 | - |6592 | 910 | 0 | 0 | 0 |7451 | 0 | 0.000000e+00 | -- | Inf
606.60/606.66 c 599s| 1270k| 1268k| 0 | 0.0 | 357M|5504 | - |6592 | 898 | 0 | 0 | 0 |7501 | 0 | 0.000000e+00 | -- | Inf
611.30/611.38 c 604s| 1280k| 1278k| 0 | 0.0 | 360M|5504 | - |6592 | 901 | 0 | 0 | 0 |7551 | 0 | 0.000000e+00 | -- | Inf
616.21/616.30 c 609s| 1290k| 1288k| 0 | 0.0 | 363M|5504 | - |6592 | 917 | 0 | 0 | 0 |7631 | 0 | 0.000000e+00 | -- | Inf
621.10/621.16 c 614s| 1300k| 1298k| 0 | 0.0 | 365M|5504 | - |6592 | 912 | 0 | 0 | 0 |7691 | 0 | 0.000000e+00 | -- | Inf
625.81/625.87 c 618s| 1310k| 1308k| 0 | 0.0 | 368M|5504 | - |6592 | 906 | 0 | 0 | 0 |7751 | 0 | 0.000000e+00 | -- | Inf
630.80/630.82 c 623s| 1320k| 1318k| 0 | 0.0 | 371M|5504 | - |6592 | 936 | 0 | 0 | 0 |7841 | 0 | 0.000000e+00 | -- | Inf
635.51/635.52 c 628s| 1330k| 1328k| 0 | 0.0 | 374M|5504 | - |6592 | 900 | 0 | 0 | 0 |7881 | 0 | 0.000000e+00 | -- | Inf
640.21/640.27 c 632s| 1340k| 1338k| 0 | 0.0 | 376M|5504 | - |6592 | 902 | 0 | 0 | 0 |7921 | 0 | 0.000000e+00 | -- | Inf
644.90/644.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
644.90/644.90 c 637s| 1350k| 1348k| 0 | 0.0 | 379M|5504 | - |6592 | 906 | 0 | 0 | 0 |7981 | 0 | 0.000000e+00 | -- | Inf
649.61/649.64 c 642s| 1360k| 1358k| 0 | 0.0 | 382M|5504 | - |6592 | 887 | 0 | 0 | 0 |8021 | 0 | 0.000000e+00 | -- | Inf
654.52/654.56 c 647s| 1370k| 1368k| 0 | 0.0 | 384M|5504 | - |6592 | 897 | 0 | 0 | 0 |8081 | 0 | 0.000000e+00 | -- | Inf
659.20/659.22 c 651s| 1380k| 1378k| 0 | 0.0 | 387M|5504 | - |6592 | 901 | 0 | 0 | 0 |8151 | 0 | 0.000000e+00 | -- | Inf
663.90/663.99 c 656s| 1390k| 1388k| 0 | 0.0 | 390M|5504 | - |6592 | 881 | 0 | 0 | 0 |8191 | 0 | 0.000000e+00 | -- | Inf
668.61/668.65 c 661s| 1400k| 1398k| 0 | 0.0 | 392M|5504 | - |6592 | 879 | 0 | 0 | 0 |8241 | 0 | 0.000000e+00 | -- | Inf
673.31/673.37 c 665s| 1410k| 1408k| 0 | 0.0 | 395M|5504 | - |6592 | 889 | 0 | 0 | 0 |8301 | 0 | 0.000000e+00 | -- | Inf
678.11/678.19 c 670s| 1420k| 1418k| 0 | 0.0 | 398M|5504 | - |6592 | 882 | 0 | 0 | 0 |8361 | 0 | 0.000000e+00 | -- | Inf
682.91/682.97 c 675s| 1430k| 1428k| 0 | 0.0 | 400M|5504 | - |6592 | 870 | 0 | 0 | 0 |8421 | 0 | 0.000000e+00 | -- | Inf
687.61/687.68 c 679s| 1440k| 1438k| 0 | 0.0 | 403M|5504 | - |6592 | 887 | 0 | 0 | 0 |8491 | 0 | 0.000000e+00 | -- | Inf
692.11/692.17 c 684s| 1450k| 1448k| 0 | 0.0 | 406M|5504 | - |6592 | 908 | 0 | 0 | 0 |8561 | 0 | 0.000000e+00 | -- | Inf
696.61/696.64 c 688s| 1460k| 1458k| 0 | 0.0 | 408M|5504 | - |6592 | 873 | 0 | 0 | 0 |8601 | 0 | 0.000000e+00 | -- | Inf
701.11/701.13 c 693s| 1470k| 1468k| 0 | 0.0 | 411M|5504 | - |6592 | 878 | 0 | 0 | 0 |8661 | 0 | 0.000000e+00 | -- | Inf
705.71/705.74 c 697s| 1480k| 1478k| 0 | 0.0 | 414M|5504 | - |6592 | 888 | 0 | 0 | 0 |8731 | 0 | 0.000000e+00 | -- | Inf
710.31/710.31 c 702s| 1490k| 1488k| 0 | 0.0 | 417M|5504 | - |6592 | 884 | 0 | 0 | 0 |8801 | 0 | 0.000000e+00 | -- | Inf
714.92/714.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
714.92/714.94 c 706s| 1500k| 1498k| 0 | 0.0 | 419M|5504 | - |6592 | 883 | 0 | 0 | 0 |8861 | 0 | 0.000000e+00 | -- | Inf
719.51/719.51 c 711s| 1510k| 1508k| 0 | 0.0 | 422M|5504 | - |6592 | 910 | 0 | 0 | 0 |8941 | 0 | 0.000000e+00 | -- | Inf
724.11/724.15 c 715s| 1520k| 1518k| 0 | 0.0 | 425M|5504 | - |6592 | 893 | 0 | 0 | 0 |9001 | 0 | 0.000000e+00 | -- | Inf
728.61/728.61 c 720s| 1530k| 1528k| 0 | 0.0 | 427M|5504 | - |6592 | 883 | 0 | 0 | 0 |9041 | 0 | 0.000000e+00 | -- | Inf
733.31/733.35 c 724s| 1540k| 1538k| 0 | 0.0 | 430M|5504 | - |6592 | 887 | 0 | 0 | 0 |9101 | 0 | 0.000000e+00 | -- | Inf
738.01/738.10 c 729s| 1550k| 1548k| 0 | 0.0 | 433M|5504 | - |6592 | 877 | 0 | 0 | 0 |9181 | 0 | 0.000000e+00 | -- | Inf
742.71/742.73 c 734s| 1560k| 1558k| 0 | 0.0 | 435M|5504 | - |6592 | 877 | 0 | 0 | 0 |9241 | 0 | 0.000000e+00 | -- | Inf
747.41/747.47 c 738s| 1570k| 1568k| 0 | 0.0 | 438M|5504 | - |6592 | 892 | 0 | 0 | 0 |9321 | 0 | 0.000000e+00 | -- | Inf
751.91/752.00 c 743s| 1580k| 1578k| 0 | 0.0 | 441M|5504 | - |6592 | 891 | 0 | 0 | 0 |9381 | 0 | 0.000000e+00 | -- | Inf
756.41/756.46 c 747s| 1590k| 1588k| 0 | 0.0 | 443M|5504 | - |6592 | 882 | 0 | 0 | 0 |9421 | 0 | 0.000000e+00 | -- | Inf
760.81/760.87 c 752s| 1600k| 1598k| 0 | 0.0 | 446M|5504 | - |6592 | 906 | 0 | 0 | 0 |9481 | 0 | 0.000000e+00 | -- | Inf
765.41/765.41 c 756s| 1610k| 1608k| 0 | 0.0 | 449M|5504 | - |6592 | 893 | 0 | 0 | 0 |9541 | 0 | 0.000000e+00 | -- | Inf
770.11/770.17 c 761s| 1620k| 1618k| 0 | 0.0 | 451M|5504 | - |6592 | 897 | 0 | 0 | 0 |9621 | 0 | 0.000000e+00 | -- | Inf
774.81/774.82 c 765s| 1630k| 1628k| 0 | 0.0 | 454M|5504 | - |6592 | 900 | 0 | 0 | 0 |9691 | 0 | 0.000000e+00 | -- | Inf
779.71/779.72 c 770s| 1640k| 1638k| 0 | 0.0 | 457M|5504 | - |6592 | 925 | 0 | 0 | 0 |9771 | 0 | 0.000000e+00 | -- | Inf
784.31/784.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
784.31/784.37 c 775s| 1650k| 1648k| 0 | 0.0 | 460M|5504 | - |6592 | 923 | 0 | 0 | 0 |9841 | 0 | 0.000000e+00 | -- | Inf
788.91/788.91 c 779s| 1660k| 1658k| 0 | 0.0 | 462M|5504 | - |6592 | 899 | 0 | 0 | 0 |9881 | 0 | 0.000000e+00 | -- | Inf
793.41/793.47 c 784s| 1670k| 1668k| 0 | 0.0 | 465M|5504 | - |6592 | 894 | 0 | 0 | 0 |9921 | 0 | 0.000000e+00 | -- | Inf
798.11/798.11 c 788s| 1680k| 1678k| 0 | 0.0 | 468M|5504 | - |6592 | 892 | 0 | 0 | 0 |9971 | 0 | 0.000000e+00 | -- | Inf
802.71/802.71 c 793s| 1690k| 1688k| 0 | 0.0 | 470M|5504 | - |6592 | 877 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
807.42/807.45 c 798s| 1700k| 1697k| 0 | 0.0 | 473M|5504 | - |6592 | 874 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
811.91/811.99 c 802s| 1710k| 1707k| 0 | 0.0 | 476M|5504 | - |6592 | 878 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
816.51/816.53 c 807s| 1720k| 1717k| 0 | 0.0 | 478M|5504 | - |6592 | 879 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
820.81/820.88 c 811s| 1730k| 1727k| 0 | 0.0 | 481M|5504 | - |6592 | 874 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
825.21/825.26 c 815s| 1740k| 1737k| 0 | 0.0 | 484M|5504 | - |6592 | 881 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
829.71/829.78 c 820s| 1750k| 1747k| 0 | 0.0 | 486M|5504 | - |6592 | 910 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
834.01/834.06 c 824s| 1760k| 1757k| 0 | 0.0 | 489M|5504 | - |6592 | 891 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
838.42/838.40 c 828s| 1770k| 1767k| 0 | 0.0 | 492M|5504 | - |6592 | 895 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
843.01/843.00 c 833s| 1780k| 1777k| 0 | 0.0 | 495M|5504 | - |6592 | 911 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
847.71/847.77 c 837s| 1790k| 1787k| 0 | 0.0 | 497M|5504 | - |6592 | 929 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
852.12/852.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
852.12/852.19 c 842s| 1800k| 1797k| 0 | 0.0 | 500M|5504 | - |6592 | 910 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
856.61/856.62 c 846s| 1810k| 1807k| 0 | 0.0 | 503M|5504 | - |6592 | 920 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
861.01/861.06 c 851s| 1820k| 1817k| 0 | 0.0 | 505M|5504 | - |6592 | 922 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
865.41/865.48 c 855s| 1830k| 1827k| 0 | 0.0 | 508M|5504 | - |6592 | 934 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
869.82/869.87 c 859s| 1840k| 1837k| 0 | 0.0 | 511M|5504 | - |6592 | 914 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
874.22/874.25 c 864s| 1850k| 1847k| 0 | 0.0 | 513M|5504 | - |6592 | 907 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
878.71/878.77 c 868s| 1860k| 1857k| 0 | 0.0 | 516M|5504 | - |6592 | 899 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
883.01/883.04 c 872s| 1870k| 1867k| 0 | 0.0 | 519M|5504 | - |6592 | 903 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
887.51/887.59 c 877s| 1880k| 1877k| 0 | 0.0 | 522M|5504 | - |6592 | 923 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
892.12/892.13 c 881s| 1890k| 1887k| 0 | 0.0 | 524M|5504 | - |6592 | 929 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
896.72/896.75 c 886s| 1900k| 1897k| 0 | 0.0 | 527M|5504 | - |6592 | 934 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
901.31/901.30 c 890s| 1910k| 1907k| 0 | 0.0 | 530M|5504 | - |6592 | 954 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
905.62/905.66 c 895s| 1920k| 1917k| 0 | 0.0 | 532M|5504 | - |6592 | 922 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
910.01/910.06 c 899s| 1930k| 1927k| 0 | 0.0 | 535M|5504 | - |6592 | 935 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
914.32/914.38 c 903s| 1940k| 1937k| 0 | 0.0 | 538M|5504 | - |6592 | 949 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
919.02/919.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
919.02/919.08 c 908s| 1950k| 1947k| 0 | 0.0 | 541M|5504 | - |6592 | 950 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
923.62/923.63 c 912s| 1960k| 1957k| 0 | 0.0 | 543M|5504 | - |6592 | 969 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
928.11/928.15 c 917s| 1970k| 1967k| 0 | 0.0 | 546M|5504 | - |6592 | 976 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
932.72/932.74 c 921s| 1980k| 1977k| 0 | 0.0 | 549M|5504 | - |6592 | 976 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
936.92/936.96 c 925s| 1990k| 1987k| 0 | 0.0 | 551M|5504 | - |6592 | 955 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
941.42/941.46 c 930s| 2000k| 1997k| 0 | 0.0 | 554M|5504 | - |6592 | 958 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
946.02/946.04 c 934s| 2010k| 2007k| 0 | 0.0 | 557M|5504 | - |6592 | 968 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
950.51/950.58 c 939s| 2020k| 2017k| 0 | 0.0 | 560M|5504 | - |6592 | 984 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
955.02/955.02 c 943s| 2030k| 2027k| 0 | 0.0 | 562M|5504 | - |6592 | 978 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
959.51/959.54 c 948s| 2040k| 2037k| 0 | 0.0 | 565M|5504 | - |6592 | 976 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
963.81/963.84 c 952s| 2050k| 2047k| 0 | 0.0 | 568M|5504 | - |6592 | 975 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
968.32/968.33 c 956s| 2060k| 2057k| 0 | 0.0 | 571M|5504 | - |6592 | 981 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
972.91/972.92 c 961s| 2070k| 2067k| 0 | 0.0 | 573M|5504 | - |6592 | 974 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
977.32/977.35 c 965s| 2080k| 2077k| 0 | 0.0 | 576M|5504 | - |6592 | 952 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
981.62/981.62 c 970s| 2090k| 2087k| 0 | 0.0 | 579M|5504 | - |6592 | 948 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
985.81/985.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
985.81/985.82 c 974s| 2100k| 2097k| 0 | 0.0 | 581M|5504 | - |6592 | 950 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
990.22/990.22 c 978s| 2110k| 2107k| 0 | 0.0 | 584M|5504 | - |6592 | 945 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
994.71/994.79 c 983s| 2120k| 2117k| 0 | 0.0 | 587M|5504 | - |6592 | 939 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
999.11/999.15 c 987s| 2130k| 2127k| 0 | 0.0 | 590M|5504 | - |6592 | 930 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1003.42/1003.49 c 991s| 2140k| 2137k| 0 | 0.0 | 592M|5504 | - |6592 | 937 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1007.72/1007.77 c 995s| 2150k| 2147k| 0 | 0.0 | 595M|5504 | - |6592 | 948 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1012.22/1012.21 c 1000s| 2160k| 2157k| 0 | 0.0 | 598M|5504 | - |6592 | 955 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1016.72/1016.77 c 1004s| 2170k| 2167k| 0 | 0.0 | 600M|5504 | - |6592 | 961 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1021.42/1021.41 c 1009s| 2180k| 2177k| 0 | 0.0 | 603M|5504 | - |6592 | 967 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1025.62/1025.63 c 1013s| 2190k| 2187k| 0 | 0.0 | 606M|5504 | - |6592 | 968 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1029.92/1029.97 c 1017s| 2200k| 2197k| 0 | 0.0 | 609M|5504 | - |6592 | 942 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1034.41/1034.44 c 1022s| 2210k| 2207k| 0 | 0.0 | 611M|5504 | - |6592 | 968 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1039.12/1039.16 c 1026s| 2220k| 2217k| 0 | 0.0 | 614M|5504 | - |6592 | 967 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1043.52/1043.57 c 1031s| 2230k| 2227k| 0 | 0.0 | 617M|5504 | - |6592 | 982 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1047.91/1047.94 c 1035s| 2240k| 2237k| 0 | 0.0 | 619M|5504 | - |6592 | 960 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1052.32/1052.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1052.32/1052.35 c 1039s| 2250k| 2247k| 0 | 0.0 | 622M|5504 | - |6592 | 960 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1056.71/1056.76 c 1044s| 2260k| 2257k| 0 | 0.0 | 625M|5504 | - |6592 | 947 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1061.31/1061.35 c 1048s| 2270k| 2267k| 0 | 0.0 | 628M|5504 | - |6592 | 971 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1065.92/1065.92 c 1053s| 2280k| 2277k| 0 | 0.0 | 630M|5504 | - |6592 | 978 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1070.22/1070.23 c 1057s| 2290k| 2287k| 0 | 0.0 | 633M|5504 | - |6592 | 974 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1074.42/1074.48 c 1061s| 2300k| 2297k| 0 | 0.0 | 636M|5504 | - |6592 | 977 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1078.82/1078.86 c 1066s| 2310k| 2307k| 0 | 0.0 | 638M|5504 | - |6592 | 993 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1083.43/1083.50 c 1070s| 2320k| 2317k| 0 | 0.0 | 641M|5504 | - |6592 |1008 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1088.11/1088.15 c 1075s| 2330k| 2327k| 0 | 0.0 | 644M|5504 | - |6592 | 995 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1092.62/1092.67 c 1079s| 2340k| 2337k| 0 | 0.0 | 647M|5504 | - |6592 | 988 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1096.82/1096.87 c 1083s| 2350k| 2347k| 0 | 0.0 | 649M|5504 | - |6592 | 985 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1101.32/1101.36 c 1088s| 2360k| 2357k| 0 | 0.0 | 652M|5504 | - |6592 |1021 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1105.82/1105.83 c 1092s| 2370k| 2367k| 0 | 0.0 | 655M|5504 | - |6592 | 992 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1110.12/1110.15 c 1096s| 2380k| 2377k| 0 | 0.0 | 658M|5504 | - |6592 |1008 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1114.32/1114.32 c 1101s| 2390k| 2387k| 0 | 0.0 | 660M|5504 | - |6592 | 988 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1118.72/1118.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1118.72/1118.74 c 1105s| 2400k| 2397k| 0 | 0.0 | 663M|5504 | - |6592 |1010 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1123.03/1123.04 c 1109s| 2410k| 2407k| 0 | 0.0 | 666M|5504 | - |6592 |1012 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1127.22/1127.20 c 1113s| 2420k| 2417k| 0 | 0.0 | 668M|5504 | - |6592 |1000 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1131.42/1131.47 c 1118s| 2430k| 2427k| 0 | 0.0 | 671M|5504 | - |6592 |1011 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1136.12/1136.13 c 1122s| 2440k| 2437k| 0 | 0.0 | 674M|5504 | - |6592 |1004 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1140.62/1140.63 c 1127s| 2450k| 2447k| 0 | 0.0 | 677M|5504 | - |6592 |1018 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1144.72/1144.71 c 1131s| 2460k| 2456k| 0 | 0.0 | 679M|5504 | - |6592 |1015 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1149.32/1149.33 c 1135s| 2470k| 2466k| 0 | 0.0 | 682M|5504 | - |6592 |1033 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1153.82/1153.81 c 1140s| 2480k| 2476k| 0 | 0.0 | 685M|5504 | - |6592 |1006 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1157.92/1157.92 c 1144s| 2490k| 2486k| 0 | 0.0 | 688M|5504 | - |6592 | 990 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1161.82/1161.83 c 1147s| 2500k| 2496k| 0 | 0.0 | 690M|5504 | - |6592 | 991 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1166.32/1166.30 c 1152s| 2510k| 2506k| 0 | 0.0 | 693M|5504 | - |6592 | 995 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1170.73/1170.73 c 1156s| 2520k| 2516k| 0 | 0.0 | 696M|5504 | - |6592 | 987 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1174.92/1174.91 c 1160s| 2530k| 2526k| 0 | 0.0 | 699M|5504 | - |6592 | 975 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1179.32/1179.35 c 1165s| 2540k| 2536k| 0 | 0.0 | 701M|5504 | - |6592 | 993 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1183.63/1183.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1183.63/1183.69 c 1169s| 2550k| 2546k| 0 | 0.0 | 704M|5504 | - |6592 | 995 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1187.93/1187.91 c 1173s| 2560k| 2556k| 0 | 0.0 | 707M|5504 | - |6592 | 988 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1192.12/1192.17 c 1177s| 2570k| 2566k| 0 | 0.0 | 710M|5504 | - |6592 | 995 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1196.62/1196.61 c 1182s| 2580k| 2576k| 0 | 0.0 | 712M|5504 | - |6592 | 996 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1200.82/1200.88 c 1186s| 2590k| 2586k| 0 | 0.0 | 715M|5504 | - |6592 | 993 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1205.13/1205.14 c 1190s| 2600k| 2596k| 0 | 0.0 | 718M|5504 | - |6592 |1003 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1209.82/1209.83 c 1195s| 2610k| 2606k| 0 | 0.0 | 721M|5504 | - |6592 |1004 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1214.12/1214.15 c 1199s| 2620k| 2616k| 0 | 0.0 | 723M|5504 | - |6592 | 994 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1218.52/1218.57 c 1204s| 2630k| 2626k| 0 | 0.0 | 726M|5504 | - |6592 |1037 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1222.83/1222.82 c 1208s| 2640k| 2636k| 0 | 0.0 | 729M|5504 | - |6592 |1018 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1227.32/1227.39 c 1212s| 2650k| 2646k| 0 | 0.0 | 731M|5504 | - |6592 |1027 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1231.73/1231.72 c 1216s| 2660k| 2656k| 0 | 0.0 | 734M|5504 | - |6592 | 997 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1235.82/1235.86 c 1221s| 2670k| 2666k| 0 | 0.0 | 737M|5504 | - |6592 |1011 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1240.22/1240.26 c 1225s| 2680k| 2676k| 0 | 0.0 | 740M|5504 | - |6592 |1028 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1244.92/1244.93 c 1230s| 2690k| 2686k| 0 | 0.0 | 742M|5504 | - |6592 |1030 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1249.22/1249.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1249.22/1249.25 c 1234s| 2700k| 2696k| 0 | 0.0 | 745M|5504 | - |6592 |1014 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1253.52/1253.51 c 1238s| 2710k| 2706k| 0 | 0.0 | 748M|5504 | - |6592 |1001 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1257.92/1257.90 c 1242s| 2720k| 2716k| 0 | 0.0 | 750M|5504 | - |6592 |1002 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1262.42/1262.49 c 1247s| 2730k| 2726k| 0 | 0.0 | 753M|5504 | - |6592 | 993 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1266.73/1266.76 c 1251s| 2740k| 2736k| 0 | 0.0 | 756M|5504 | - |6592 | 999 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1270.82/1270.84 c 1255s| 2750k| 2746k| 0 | 0.0 | 759M|5504 | - |6592 |1019 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1275.33/1275.31 c 1259s| 2760k| 2756k| 0 | 0.0 | 761M|5504 | - |6592 |1003 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1279.73/1279.76 c 1264s| 2770k| 2766k| 0 | 0.0 | 764M|5504 | - |6592 |1008 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1283.83/1283.85 c 1268s| 2780k| 2776k| 0 | 0.0 | 767M|5504 | - |6592 |1008 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1288.13/1288.13 c 1272s| 2790k| 2786k| 0 | 0.0 | 770M|5504 | - |6592 |1003 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1292.43/1292.49 c 1276s| 2800k| 2796k| 0 | 0.0 | 772M|5504 | - |6592 | 998 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1296.62/1296.61 c 1280s| 2810k| 2806k| 0 | 0.0 | 775M|5504 | - |6592 |1007 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1301.03/1301.06 c 1285s| 2820k| 2816k| 0 | 0.0 | 778M|5504 | - |6592 |1020 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1305.52/1305.60 c 1289s| 2830k| 2826k| 0 | 0.0 | 781M|5504 | - |6592 | 991 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1309.73/1309.72 c 1293s| 2840k| 2836k| 0 | 0.0 | 783M|5504 | - |6592 | 980 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1313.82/1313.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1313.82/1313.89 c 1298s| 2850k| 2846k| 0 | 0.0 | 786M|5504 | - |6592 | 985 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1318.22/1318.25 c 1302s| 2860k| 2856k| 0 | 0.0 | 789M|5504 | - |6592 | 974 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1322.33/1322.33 c 1306s| 2870k| 2866k| 0 | 0.0 | 791M|5504 | - |6592 | 984 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1326.53/1326.54 c 1310s| 2880k| 2876k| 0 | 0.0 | 794M|5504 | - |6592 | 997 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1330.83/1330.87 c 1314s| 2890k| 2886k| 0 | 0.0 | 797M|5504 | - |6592 | 979 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1334.72/1334.77 c 1318s| 2900k| 2896k| 0 | 0.0 | 800M|5504 | - |6592 | 974 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1339.03/1339.03 c 1322s| 2910k| 2906k| 0 | 0.0 | 802M|5504 | - |6592 | 966 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1343.33/1343.32 c 1327s| 2920k| 2916k| 0 | 0.0 | 805M|5504 | - |6592 | 954 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1347.53/1347.51 c 1331s| 2930k| 2926k| 0 | 0.0 | 808M|5504 | - |6592 | 976 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1351.93/1351.92 c 1335s| 2940k| 2936k| 0 | 0.0 | 811M|5504 | - |6592 | 969 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1355.82/1355.83 c 1339s| 2950k| 2946k| 0 | 0.0 | 813M|5504 | - |6592 | 985 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1359.82/1359.85 c 1343s| 2960k| 2956k| 0 | 0.0 | 816M|5504 | - |6592 | 982 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1364.23/1364.25 c 1347s| 2970k| 2966k| 0 | 0.0 | 819M|5504 | - |6592 | 963 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1368.13/1368.16 c 1351s| 2980k| 2976k| 0 | 0.0 | 822M|5504 | - |6592 | 964 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1372.73/1372.74 c 1356s| 2990k| 2986k| 0 | 0.0 | 825M|5504 | - |6592 |1037 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1376.83/1376.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1376.83/1376.88 c 1360s| 3000k| 2996k| 0 | 0.0 | 827M|5504 | - |6592 | 988 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1380.93/1380.98 c 1364s| 3010k| 3006k| 0 | 0.0 | 830M|5504 | - |6592 | 989 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1385.32/1385.30 c 1368s| 3020k| 3016k| 0 | 0.0 | 833M|5504 | - |6592 | 961 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1389.43/1389.45 c 1372s| 3030k| 3026k| 0 | 0.0 | 835M|5504 | - |6592 | 972 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1393.63/1393.64 c 1376s| 3040k| 3036k| 0 | 0.0 | 838M|5504 | - |6592 | 986 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1397.83/1397.84 c 1380s| 3050k| 3046k| 0 | 0.0 | 841M|5504 | - |6592 | 967 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1401.93/1401.92 c 1384s| 3060k| 3056k| 0 | 0.0 | 844M|5504 | - |6592 | 965 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1406.33/1406.38 c 1389s| 3070k| 3066k| 0 | 0.0 | 846M|5504 | - |6592 | 961 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1410.23/1410.29 c 1393s| 3080k| 3076k| 0 | 0.0 | 849M|5504 | - |6592 | 971 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1414.53/1414.50 c 1397s| 3090k| 3086k| 0 | 0.0 | 852M|5504 | - |6592 | 970 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1418.83/1418.83 c 1401s| 3100k| 3096k| 0 | 0.0 | 855M|5504 | - |6592 | 936 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1422.83/1422.88 c 1405s| 3110k| 3106k| 0 | 0.0 | 857M|5504 | - |6592 | 943 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1427.12/1427.11 c 1409s| 3120k| 3116k| 0 | 0.0 | 860M|5504 | - |6592 | 941 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1431.33/1431.32 c 1413s| 3130k| 3126k| 0 | 0.0 | 863M|5504 | - |6592 | 944 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1435.32/1435.33 c 1417s| 3140k| 3136k| 0 | 0.0 | 866M|5504 | - |6592 | 942 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1439.73/1439.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1439.73/1439.80 c 1422s| 3150k| 3146k| 0 | 0.0 | 868M|5504 | - |6592 | 931 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1443.93/1443.93 c 1426s| 3160k| 3156k| 0 | 0.0 | 871M|5504 | - |6592 | 932 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1448.32/1448.32 c 1430s| 3170k| 3166k| 0 | 0.0 | 874M|5504 | - |6592 | 940 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1452.33/1452.36 c 1434s| 3180k| 3175k| 0 | 0.0 | 877M|5504 | - |6592 | 956 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1456.43/1456.50 c 1438s| 3190k| 3185k| 0 | 0.0 | 879M|5504 | - |6592 | 939 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1460.63/1460.70 c 1442s| 3200k| 3195k| 0 | 0.0 | 882M|5504 | - |6592 | 934 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1464.73/1464.74 c 1446s| 3210k| 3205k| 0 | 0.0 | 885M|5504 | - |6592 | 967 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1469.43/1469.43 c 1451s| 3220k| 3215k| 0 | 0.0 | 888M|5504 | - |6592 | 994 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1473.43/1473.45 c 1455s| 3230k| 3225k| 0 | 0.0 | 891M|5504 | - |6592 | 943 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1477.93/1477.92 c 1459s| 3240k| 3235k| 0 | 0.0 | 893M|5504 | - |6592 | 950 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1482.03/1482.03 c 1463s| 3250k| 3245k| 0 | 0.0 | 896M|5504 | - |6592 | 978 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1486.63/1486.64 c 1468s| 3260k| 3255k| 0 | 0.0 | 899M|5504 | - |6592 |1002 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1490.83/1490.86 c 1472s| 3270k| 3265k| 0 | 0.0 | 902M|5504 | - |6592 | 984 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1495.33/1495.35 c 1476s| 3280k| 3275k| 0 | 0.0 | 904M|5504 | - |6592 |1017 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1499.43/1499.44 c 1481s| 3290k| 3285k| 0 | 0.0 | 907M|5504 | - |6592 | 976 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1503.43/1503.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1503.43/1503.42 c 1484s| 3300k| 3295k| 0 | 0.0 | 910M|5504 | - |6592 |1000 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1507.73/1507.77 c 1489s| 3310k| 3305k| 0 | 0.0 | 913M|5504 | - |6592 |1009 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1511.63/1511.68 c 1493s| 3320k| 3315k| 0 | 0.0 | 915M|5504 | - |6592 |1030 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1516.24/1516.21 c 1497s| 3330k| 3325k| 0 | 0.0 | 918M|5504 | - |6592 |1030 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1520.23/1520.29 c 1501s| 3340k| 3335k| 0 | 0.0 | 921M|5504 | - |6592 |1007 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1524.73/1524.73 c 1505s| 3350k| 3345k| 0 | 0.0 | 924M|5504 | - |6592 |1019 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1528.63/1528.65 c 1509s| 3360k| 3355k| 0 | 0.0 | 926M|5504 | - |6592 |1021 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1533.03/1533.00 c 1514s| 3370k| 3365k| 0 | 0.0 | 929M|5504 | - |6592 |1037 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1537.13/1537.10 c 1518s| 3380k| 3375k| 0 | 0.0 | 932M|5504 | - |6592 |1033 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1541.23/1541.29 c 1522s| 3390k| 3385k| 0 | 0.0 | 935M|5504 | - |6592 |1028 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1545.34/1545.30 c 1526s| 3400k| 3395k| 0 | 0.0 | 937M|5504 | - |6592 |1013 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1549.33/1549.34 c 1530s| 3410k| 3405k| 0 | 0.0 | 940M|5504 | - |6592 |1048 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1553.43/1553.45 c 1534s| 3420k| 3415k| 0 | 0.0 | 943M|5504 | - |6592 |1021 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1557.44/1557.45 c 1538s| 3430k| 3425k| 0 | 0.0 | 946M|5504 | - |6592 |1046 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1561.73/1561.70 c 1542s| 3440k| 3435k| 0 | 0.0 | 949M|5504 | - |6592 |1034 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1565.83/1565.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1565.83/1565.83 c 1546s| 3450k| 3445k| 0 | 0.0 | 951M|5504 | - |6592 |1043 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1570.23/1570.21 c 1550s| 3460k| 3455k| 0 | 0.0 | 954M|5504 | - |6592 |1037 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1574.33/1574.36 c 1554s| 3470k| 3465k| 0 | 0.0 | 957M|5504 | - |6592 |1041 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1578.63/1578.68 c 1559s| 3480k| 3475k| 0 | 0.0 | 960M|5504 | - |6592 | 999 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1582.43/1582.49 c 1562s| 3490k| 3485k| 0 | 0.0 | 962M|5504 | - |6592 |1021 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1586.64/1586.60 c 1567s| 3500k| 3495k| 0 | 0.0 | 965M|5504 | - |6592 |1019 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1590.54/1590.55 c 1570s| 3510k| 3505k| 0 | 0.0 | 968M|5504 | - |6592 |1035 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1594.63/1594.65 c 1574s| 3520k| 3515k| 0 | 0.0 | 971M|5504 | - |6592 |1025 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1598.74/1598.72 c 1578s| 3530k| 3525k| 0 | 0.0 | 974M|5504 | - |6592 |1055 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1602.83/1602.86 c 1583s| 3540k| 3535k| 0 | 0.0 | 976M|5504 | - |6592 |1030 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1606.83/1606.83 c 1586s| 3550k| 3545k| 0 | 0.0 | 979M|5504 | - |6592 |1033 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1610.83/1610.89 c 1590s| 3560k| 3555k| 0 | 0.0 | 982M|5504 | - |6592 |1036 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1614.93/1614.99 c 1595s| 3570k| 3565k| 0 | 0.0 | 985M|5504 | - |6592 |1056 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1619.04/1619.05 c 1599s| 3580k| 3575k| 0 | 0.0 | 987M|5504 | - |6592 |1051 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1623.23/1623.20 c 1603s| 3590k| 3585k| 0 | 0.0 | 990M|5504 | - |6592 |1048 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1627.13/1627.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1627.13/1627.14 c 1607s| 3600k| 3595k| 0 | 0.0 | 993M|5504 | - |6592 |1053 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1631.63/1631.63 c 1611s| 3610k| 3605k| 0 | 0.0 | 996M|5504 | - |6592 |1076 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1635.53/1635.58 c 1615s| 3620k| 3615k| 0 | 0.0 | 998M|5504 | - |6592 |1064 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1639.94/1639.91 c 1619s| 3630k| 3625k| 0 | 0.0 |1001M|5504 | - |6592 |1074 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1644.04/1644.00 c 1623s| 3640k| 3635k| 0 | 0.0 |1004M|5504 | - |6592 |1086 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1648.44/1648.40 c 1627s| 3650k| 3645k| 0 | 0.0 |1007M|5504 | - |6592 |1103 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1652.43/1652.40 c 1631s| 3660k| 3655k| 0 | 0.0 |1010M|5504 | - |6592 |1113 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1656.54/1656.56 c 1636s| 3670k| 3665k| 0 | 0.0 |1012M|5504 | - |6592 |1097 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1660.53/1660.51 c 1639s| 3680k| 3675k| 0 | 0.0 |1015M|5504 | - |6592 |1118 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1664.63/1664.66 c 1643s| 3690k| 3685k| 0 | 0.0 |1018M|5504 | - |6592 |1111 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1668.74/1668.77 c 1648s| 3700k| 3695k| 0 | 0.0 |1021M|5504 | - |6592 |1112 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1672.63/1672.68 c 1651s| 3710k| 3705k| 0 | 0.0 |1023M|5504 | - |6592 |1108 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1676.93/1676.94 c 1656s| 3720k| 3715k| 0 | 0.0 |1026M|5504 | - |6592 |1110 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1680.74/1680.71 c 1659s| 3730k| 3725k| 0 | 0.0 |1029M|5504 | - |6592 |1106 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1685.03/1685.10 c 1664s| 3740k| 3735k| 0 | 0.0 |1032M|5504 | - |6592 |1122 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1688.93/1688.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1688.93/1688.95 c 1667s| 3750k| 3745k| 0 | 0.0 |1035M|5504 | - |6592 |1114 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1693.03/1693.01 c 1671s| 3760k| 3755k| 0 | 0.0 |1037M|5504 | - |6592 |1102 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1697.04/1697.06 c 1675s| 3770k| 3765k| 0 | 0.0 |1040M|5504 | - |6592 |1096 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1700.83/1700.87 c 1679s| 3780k| 3775k| 0 | 0.0 |1043M|5504 | - |6592 |1092 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1705.23/1705.21 c 1683s| 3790k| 3785k| 0 | 0.0 |1046M|5504 | - |6592 |1087 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1709.13/1709.11 c 1687s| 3800k| 3795k| 0 | 0.0 |1049M|5504 | - |6592 |1122 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1713.33/1713.33 c 1691s| 3810k| 3805k| 0 | 0.0 |1051M|5504 | - |6592 |1121 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1717.23/1717.24 c 1695s| 3820k| 3814k| 0 | 0.0 |1054M|5504 | - |6592 |1091 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1720.94/1720.93 c 1699s| 3830k| 3824k| 0 | 0.0 |1057M|5504 | - |6592 |1101 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1725.24/1725.25 c 1703s| 3840k| 3834k| 0 | 0.0 |1060M|5504 | - |6592 |1108 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1729.44/1729.41 c 1707s| 3850k| 3844k| 0 | 0.0 |1063M|5504 | - |6592 |1147 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1733.44/1733.40 c 1711s| 3860k| 3854k| 0 | 0.0 |1065M|5504 | - |6592 |1130 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1737.74/1737.79 c 1716s| 3870k| 3864k| 0 | 0.0 |1068M|5504 | - |6592 |1109 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1741.84/1741.85 c 1720s| 3880k| 3874k| 0 | 0.0 |1071M|5504 | - |6592 |1128 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1745.84/1745.85 c 1724s| 3890k| 3884k| 0 | 0.0 |1074M|5504 | - |6592 |1126 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1749.94/1750.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1749.94/1750.00 c 1728s| 3900k| 3894k| 0 | 0.0 |1076M|5504 | - |6592 |1151 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1754.13/1754.16 c 1732s| 3910k| 3904k| 0 | 0.0 |1079M|5504 | - |6592 |1164 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1758.33/1758.33 c 1736s| 3920k| 3914k| 0 | 0.0 |1082M|5504 | - |6592 |1149 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1762.24/1762.28 c 1740s| 3930k| 3924k| 0 | 0.0 |1085M|5504 | - |6592 |1175 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1766.13/1766.18 c 1744s| 3940k| 3934k| 0 | 0.0 |1088M|5504 | - |6592 |1163 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1770.74/1770.71 c 1748s| 3950k| 3944k| 0 | 0.0 |1090M|5504 | - |6592 |1161 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1774.83/1774.84 c 1752s| 3960k| 3954k| 0 | 0.0 |1093M|5504 | - |6592 |1200 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1778.75/1778.73 c 1756s| 3970k| 3964k| 0 | 0.0 |1096M|5504 | - |6592 |1184 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1783.04/1783.05 c 1760s| 3980k| 3974k| 0 | 0.0 |1099M|5504 | - |6592 |1190 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1787.03/1787.02 c 1764s| 3990k| 3984k| 0 | 0.0 |1102M|5504 | - |6592 |1205 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1790.84/1790.88 c 1768s| 4000k| 3994k| 0 | 0.0 |1104M|5504 | - |6592 |1199 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1795.14/1795.12 c 1772s| 4010k| 4004k| 0 | 0.0 |1107M|5504 | - |6592 |1219 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1799.04/1799.06 c 1776s| 4020k| 4014k| 0 | 0.0 |1110M|5504 | - |6592 |1240 | 0 | 0 | 0 | 26k| 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) : 1776.95
1800.04/1800.00 c Solving Nodes : 4022608
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 : 1776.95
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693816-1277894370.wbo
1800.04/1800.00 c Variables : 6592 (6536 binary, 0 integer, 0 implicit integer, 56 continuous)
1800.04/1800.00 c Constraints : 218 initial, 218 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2693816-1277894370.wbo
1800.04/1800.00 c Variables : 6592 (6536 binary, 0 integer, 0 implicit integer, 56 continuous)
1800.04/1800.00 c Constraints : 217 initial, 1260 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.03 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.01 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.01 0 0 0 56 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 : 56 0 259 0 56 0 56 0 0 0
1800.04/1800.00 c setppc : 45 0 4124289 0 4014180 1018 956227 0 0 0
1800.04/1800.00 c linear : 56 0 4132449 0 4019947 1211 363335 0 0 0
1800.04/1800.00 c logicor : 60+ 0 341545 0 4019959 463 54053 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 4019959 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 : 214.44 0.00 25.46 0.00 188.98
1800.04/1800.00 c linear : 52.34 0.00 50.32 0.00 2.02
1800.04/1800.00 c logicor : 205.34 0.00 14.18 0.00 191.16
1800.04/1800.00 c countsols : 0.66 0.00 0.00 0.00 0.66
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 1.15 2 0 0
1800.04/1800.00 c rootredcost : 0.95 0 0 0
1800.04/1800.00 c pseudoobj : 7.78 4133354 0 0
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 75.82 2692 2692 110068 982.5 41554 64.3 -
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 : - - - 26814 73.2 - - -
1800.04/1800.00 c applied locally : - - - 6 905.8 - - -
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 : 1231.91 4019959 0 0 0 0 8039918
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.80 0 0
1800.04/1800.00 c trivial : 0.01 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 : 1.19 0 0
1800.04/1800.00 c trysol : 0.77 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 : 4022608
1800.04/1800.00 c nodes (total) : 4022608
1800.04/1800.00 c nodes left : 4017264
1800.04/1800.00 c max depth : 5504
1800.04/1800.00 c max depth (total): 5504
1800.04/1800.00 c backtracks : 971 (0.0%)
1800.04/1800.00 c delayed cutoffs : 47
1800.04/1800.00 c repropagations : 3131 (4681 domain reductions, 43 cutoffs)
1800.04/1800.00 c avg switch length: 2.17
1800.04/1800.00 c switching time : 14.90
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-2693816-1277894370/watcher-2693816-1277894370 -o /tmp/evaluation-result-2693816-1277894370/solver-2693816-1277894370 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693816-1277894370.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: 1.88 1.97 1.99 3/178 15071
/proc/meminfo: memFree=30975680/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=9160 CPUtime=0
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 1782 0 0 0 0 0 0 0 25 0 1 0 130731629 9379840 1704 4089446400 4194304 7136930 140736076082832 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/15071/statm: 2290 1705 275 719 0 1569 0
[startup+0.046121 s]
/proc/loadavg: 1.88 1.97 1.99 3/178 15071
/proc/meminfo: memFree=30975680/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=24144 CPUtime=0.04
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 6138 0 0 0 4 0 0 0 25 0 1 0 130731629 24723456 5192 4089446400 4194304 7136930 140736076082832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 6036 5192 348 719 0 5315 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 24144
[startup+0.101109 s]
/proc/loadavg: 1.88 1.97 1.99 3/178 15071
/proc/meminfo: memFree=30975680/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=26896 CPUtime=0.09
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 7646 0 0 0 9 0 0 0 18 0 1 0 130731629 27541504 5929 4089446400 4194304 7136930 140736076082832 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 6724 5929 390 719 0 6003 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26896
[startup+0.301085 s]
/proc/loadavg: 1.88 1.97 1.99 3/178 15071
/proc/meminfo: memFree=30975680/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=27924 CPUtime=0.29
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 7910 0 0 0 29 0 0 0 18 0 1 0 130731629 28594176 6193 4089446400 4194304 7136930 140736076082832 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 6981 6193 390 719 0 6260 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27924
[startup+0.701004 s]
/proc/loadavg: 1.88 1.97 1.99 3/178 15071
/proc/meminfo: memFree=30975680/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=28440 CPUtime=0.69
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 8060 0 0 0 69 0 0 0 18 0 1 0 130731629 29122560 6343 4089446400 4194304 7136930 140736076082832 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 7110 6343 390 719 0 6389 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28440
[startup+1.50086 s]
/proc/loadavg: 1.88 1.97 1.99 3/179 15072
/proc/meminfo: memFree=30941468/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=28924 CPUtime=1.49
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 8171 0 0 0 148 1 0 0 19 0 1 0 130731629 29618176 6454 4089446400 4194304 7136930 140736076082832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 7231 6454 390 719 0 6510 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28924
[startup+3.10057 s]
/proc/loadavg: 1.88 1.97 1.99 3/179 15072
/proc/meminfo: memFree=30933780/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=30372 CPUtime=3.09
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 8542 0 0 0 306 3 0 0 25 0 1 0 130731629 31100928 6825 4089446400 4194304 7136930 140736076082832 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 7593 6825 394 719 0 6872 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30372
[startup+6.30101 s]
/proc/loadavg: 1.89 1.97 1.99 3/179 15072
/proc/meminfo: memFree=30914108/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=33152 CPUtime=6.29
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 9249 0 0 0 623 6 0 0 25 0 1 0 130731629 33947648 7532 4089446400 4194304 7136930 140736076082832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 8288 7532 394 719 0 7567 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33152
[startup+12.7009 s]
/proc/loadavg: 1.90 1.97 1.99 3/179 15072
/proc/meminfo: memFree=30883212/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=39080 CPUtime=12.69
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 10793 0 0 0 1254 15 0 0 25 0 1 0 130731629 40017920 9076 4089446400 4194304 7136930 140736076082832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 9770 9076 394 719 0 9049 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39080
[startup+25.5006 s]
/proc/loadavg: 1.92 1.97 1.99 3/179 15072
/proc/meminfo: memFree=30840376/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=49164 CPUtime=25.49
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 13440 0 0 0 2515 34 0 0 25 0 1 0 130731629 50343936 11723 4089446400 4194304 7136930 140736076082832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 12291 11723 394 719 0 11570 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49164
[startup+51.101 s]
/proc/loadavg: 1.95 1.97 1.99 3/179 15073
/proc/meminfo: memFree=30722292/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=69224 CPUtime=51.1
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 18170 0 0 0 5042 68 0 0 25 0 1 0 130731629 70885376 16453 4089446400 4194304 7136930 140736076082832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 17306 16453 394 719 0 16585 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 69224
[startup+102.307 s]
/proc/loadavg: 2.03 1.99 1.99 3/179 15074
/proc/meminfo: memFree=30490376/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=105972 CPUtime=102.29
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 26708 0 0 0 10101 128 0 0 25 0 1 0 130731629 108515328 24991 4089446400 4194304 7136930 140736076082832 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 26493 24991 394 719 0 25772 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 105972
[startup+162.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/179 15076
/proc/meminfo: memFree=30338556/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=144244 CPUtime=162.29
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 36701 0 0 0 16031 198 0 0 25 0 1 0 130731629 147705856 34984 4089446400 4194304 7136930 140736076082832 18446744073709551615 4642962 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 36061 34984 394 719 0 35340 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 144244
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 15078
/proc/meminfo: memFree=30087132/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=192888 CPUtime=222.3
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 47203 0 0 0 21961 269 0 0 25 0 1 0 130731629 197517312 45486 4089446400 4194304 7136930 140736076082832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 48222 45486 394 719 0 47501 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 192888
[startup+282.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 15079
/proc/meminfo: memFree=29818260/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=228236 CPUtime=282.29
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 56465 0 0 0 27887 342 0 0 25 0 1 0 130731629 233713664 54748 4089446400 4194304 7136930 140736076082832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 57059 54748 394 719 0 56338 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 228236
[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 15081
/proc/meminfo: memFree=29567100/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=264048 CPUtime=342.3
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 65777 0 0 0 33815 415 0 0 25 0 1 0 130731629 270385152 64060 4089446400 4194304 7136930 140736076082832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 66012 64060 394 719 0 65291 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 264048
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 15082
/proc/meminfo: memFree=29341864/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=304084 CPUtime=402.3
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 76132 0 0 0 39740 490 0 0 25 0 1 0 130731629 311382016 74415 4089446400 4194304 7136930 140736076082832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 76021 74415 394 719 0 75300 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 304084
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 15084
/proc/meminfo: memFree=29171808/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=339020 CPUtime=462.3
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 85257 0 0 0 45668 562 0 0 25 0 1 0 130731629 347156480 83540 4089446400 4194304 7136930 140736076082832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 84755 83540 394 719 0 84034 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 339020
[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 15086
/proc/meminfo: memFree=28994076/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=390696 CPUtime=522.3
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 94514 0 0 0 51594 636 0 0 25 0 1 0 130731629 400072704 92797 4089446400 4194304 7136930 140736076082832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 97674 92797 394 719 0 96953 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 390696
[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 15087
/proc/meminfo: memFree=28800824/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=426308 CPUtime=582.3
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 103810 0 0 0 57521 709 0 0 25 0 1 0 130731629 436539392 102093 4089446400 4194304 7136930 140736076082832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 106577 102093 394 719 0 105856 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 426308
[startup+642.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/179 15089
/proc/meminfo: memFree=28603872/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=461188 CPUtime=642.32
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 112939 0 0 0 63452 780 0 0 25 0 1 0 130731629 472256512 111222 4089446400 4194304 7136930 140736076082832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 115297 111222 394 719 0 114576 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 461188
[startup+702.301 s]
################
# More data... #
################
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 171600 0 0 0 98996 1236 0 0 25 0 1 0 130731629 734601216 169883 4089446400 4194304 7136930 140736076082832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 179346 169883 394 719 0 178625 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 717384
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15100
/proc/meminfo: memFree=27465560/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=754432 CPUtime=1062.32
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 181340 0 0 0 104920 1312 0 0 25 0 1 0 130731629 772538368 179623 4089446400 4194304 7136930 140736076082832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 188608 179623 394 719 0 187887 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 754432
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15102
/proc/meminfo: memFree=27272072/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=792600 CPUtime=1122.32
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 191406 0 0 0 110843 1389 0 0 25 0 1 0 130731629 811622400 189689 4089446400 4194304 7136930 140736076082832 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 198150 189689 394 719 0 197429 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 792600
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15103
/proc/meminfo: memFree=27069520/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=834616 CPUtime=1182.32
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 202385 0 0 0 116769 1463 0 0 25 0 1 0 130731629 854646784 200668 4089446400 4194304 7136930 140736076082832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 208654 200668 394 719 0 207933 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 834616
[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 15105
/proc/meminfo: memFree=26828416/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=872396 CPUtime=1242.32
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 212305 0 0 0 122695 1537 0 0 25 0 1 0 130731629 893333504 210588 4089446400 4194304 7136930 140736076082832 18446744073709551615 4643174 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 218099 210588 394 719 0 217378 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 872396
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 15115
/proc/meminfo: memFree=26633136/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=910100 CPUtime=1302.33
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 222281 0 0 0 128611 1622 0 0 25 0 1 0 130731629 931942400 220564 4089446400 4194304 7136930 140736076082832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 227525 220564 394 719 0 226804 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 910100
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15117
/proc/meminfo: memFree=26428244/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=951368 CPUtime=1362.33
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 233120 0 0 0 134525 1708 0 0 25 0 1 0 130731629 974200832 231403 4089446400 4194304 7136930 140736076082832 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 237842 231403 394 719 0 237121 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 951368
[startup+1422.31 s]
/proc/loadavg: 2.24 2.08 2.03 3/199 15184
/proc/meminfo: memFree=30055480/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=992508 CPUtime=1422.33
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 243964 0 0 0 140444 1789 0 0 25 0 1 0 130731629 1016328192 242247 4089446400 4194304 7136930 140736076082832 18446744073709551615 4407949 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 248127 242247 394 719 0 247406 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 992508
[startup+1482.3 s]
/proc/loadavg: 2.09 2.07 2.02 3/179 15240
/proc/meminfo: memFree=30158368/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=1034772 CPUtime=1482.33
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 255021 0 0 0 146361 1872 0 0 25 0 1 0 130731629 1059606528 253304 4089446400 4194304 7136930 140736076082832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 258693 253304 394 719 0 257972 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1034772
[startup+1542.3 s]
/proc/loadavg: 2.03 2.05 2.02 3/179 15242
/proc/meminfo: memFree=30102512/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=1073080 CPUtime=1542.33
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 265138 0 0 0 152282 1951 0 0 25 0 1 0 130731629 1098833920 263421 4089446400 4194304 7136930 140736076082832 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 268270 263422 394 719 0 267549 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1073080
[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 2.02 3/179 15243
/proc/meminfo: memFree=30055480/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=1113848 CPUtime=1602.34
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 275892 0 0 0 158203 2031 0 0 25 0 1 0 130731629 1140580352 274175 4089446400 4194304 7136930 140736076082832 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 278462 274175 394 719 0 277741 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1113848
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/179 15272
/proc/meminfo: memFree=30040488/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=1153804 CPUtime=1662.33
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 286398 0 0 0 164117 2116 0 0 25 0 1 0 130731629 1181495296 284681 4089446400 4194304 7136930 140736076082832 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 288451 284681 394 719 0 287730 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1153804
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 15274
/proc/meminfo: memFree=29954660/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=1195408 CPUtime=1722.34
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 297351 0 0 0 170032 2202 0 0 25 0 1 0 130731629 1224097792 295634 4089446400 4194304 7136930 140736076082832 18446744073709551615 4643289 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 298852 295634 394 719 0 298131 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1195408
[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 15275
/proc/meminfo: memFree=29884536/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=1239012 CPUtime=1782.33
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 308766 0 0 0 175949 2284 0 0 25 0 1 0 130731629 1268748288 307049 4089446400 4194304 7136930 140736076082832 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 309753 307049 394 719 0 309032 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1239012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 15276
/proc/meminfo: memFree=29835180/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=1252708 CPUtime=1800.04
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 312382 0 0 0 177696 2308 0 0 25 0 1 0 130731629 1282772992 310665 4089446400 4194304 7136930 140736076082832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15071/statm: 313177 310665 394 719 0 312456 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1252708
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -15071
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.04 2.03 2.00 3/180 15277
/proc/meminfo: memFree=29833312/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=1252968 CPUtime=1801.43
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 312466 0 0 0 177835 2308 0 0 25 0 1 0 130731629 1283039232 310749 4089446400 4194304 7136930 140736076082832 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/15071/statm: 313242 310749 399 719 0 312521 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 1252968
[startup+1801.81 s]
/proc/loadavg: 2.04 2.03 2.00 3/180 15277
/proc/meminfo: memFree=29832196/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=1252968 CPUtime=1801.84
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 312466 0 0 0 177876 2308 0 0 25 0 1 0 130731629 1283039232 310749 4089446400 4194304 7136930 140736076082832 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/15071/statm: 313242 310749 399 719 0 312521 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 1252968
[startup+1802 s]
/proc/loadavg: 2.04 2.03 2.00 3/180 15277
/proc/meminfo: memFree=29832196/32951124 swapFree=67111528/67111528
[pid=15071] ppid=15069 vsize=1252968 CPUtime=1802.03
/proc/15071/stat : 15071 (pbscip.linux.x8) R 15069 15071 13141 0 -1 4202496 312466 0 0 0 177895 2308 0 0 25 0 1 0 130731629 1283039232 310749 4089446400 4194304 7136930 140736076082832 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/15071/statm: 313242 310749 399 719 0 312521 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 1252968
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.05
CPU time (s): 1802.09
CPU user time (s): 1778.96
CPU system time (s): 23.1275
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1252968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.96
system time used= 23.1275
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 312466
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= 4
involuntary context switches= 1325
runsolver used 2.6446 second user time and 5.9241 second system time
The end
Begin job on node146 at 2010-06-30 12:39:30
IDJOB=2693816
IDBENCH=78735
IDSOLVER=1206
FILE ID=node146/2693816-1277894370
PBS_JOBID= 11197061
Free space on /tmp= 74176 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-81-80--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693816-1277894370/watcher-2693816-1277894370 -o /tmp/evaluation-result-2693816-1277894370/solver-2693816-1277894370 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693816-1277894370.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2c1e8fe2f29e9730adde423ef6a1fb6a
RANDOM SEED=1698147043
node146.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.839
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.67
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.839
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.839
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.839
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.839
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.67
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.839
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.82
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.839
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.74
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.839
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30976332 kB
Buffers: 180724 kB
Cached: 1324900 kB
SwapCached: 0 kB
Active: 720132 kB
Inactive: 1107300 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30976332 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3212 kB
Writeback: 0 kB
AnonPages: 321720 kB
Mapped: 14960 kB
Slab: 83212 kB
PageTables: 5344 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 464956 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 node146 at 2010-06-30 13:09:32