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-2693799-1277893198.wbo>
0.01/0.01 c original problem has 5356 variables (5303 bin, 0 int, 0 impl, 53 cont) and 199 constraints
0.01/0.01 c problem read
0.01/0.01 c presolving settings loaded
0.01/0.01 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.01/0.03 c presolving:
0.01/0.03 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 53 impls, 39 clqs
0.01/0.04 c (round 2) 0 del vars, 1 del conss, 53 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 53 impls, 39 clqs
0.01/0.04 c (round 3) 0 del vars, 1 del conss, 53 chg bounds, 0 chg sides, 0 chg coeffs, 53 upgd conss, 53 impls, 39 clqs
0.01/0.04 c (round 4) 0 del vars, 1 del conss, 53 chg bounds, 0 chg sides, 0 chg coeffs, 92 upgd conss, 53 impls, 39 clqs
0.01/0.08 c (0.1s) probing: 101/5303 (1.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.08 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.01/0.08 c presolving (5 rounds):
0.01/0.08 c 0 deleted vars, 1 deleted constraints, 53 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.08 c 53 implications, 39 cliques
0.01/0.08 c presolved problem has 5356 variables (5303 bin, 0 int, 0 impl, 53 cont) and 198 constraints
0.01/0.08 c 53 constraints of type <indicator>
0.01/0.08 c 39 constraints of type <setppc>
0.01/0.08 c 53 constraints of type <linear>
0.01/0.08 c 53 constraints of type <logicor>
0.01/0.08 c transformed objective value is always integral (scale: 1)
0.01/0.08 c Presolving Time: 0.04
0.01/0.08 c - non default parameters ----------------------------------------------------------------------
0.01/0.08 c # SCIP version 1.2.1.2
0.01/0.08 c
0.01/0.08 c # frequency for displaying node information lines
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.08 c display/freq = 10000
0.01/0.08 c
0.01/0.08 c # maximal time in seconds to run
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.08 c limits/time = 1799.99
0.01/0.08 c
0.01/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.08 c limits/memory = 3420
0.01/0.08 c
0.01/0.08 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.08 c lp/solvefreq = -1
0.01/0.08 c
0.01/0.08 c # should presolving try to simplify inequalities
0.01/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.08 c constraints/linear/simplifyinequalities = TRUE
0.01/0.08 c
0.01/0.08 c # should presolving try to simplify knapsacks
0.01/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.08 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.08 c
0.01/0.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.08 c separating/rapidlearning/freq = 0
0.01/0.08 c
0.01/0.08 c -----------------------------------------------------------------------------------------------
0.01/0.08 c start solving
0.01/0.08 c
0.01/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.01/0.09 c 0.1s| 1 | 2 | 0 | - | 10M| 0 | - |5356 | 198 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.99/4.06 c 4.0s| 10000 | 9991 | 0 | 0.0 | 13M|4058 | - |5356 | 230 | 0 | 0 | 0 | 39 | 0 | 0.000000e+00 | -- | Inf
7.88/7.93 c 7.8s| 20000 | 19972 | 0 | 0.0 | 16M|4058 | - |5356 | 272 | 0 | 0 | 0 | 149 | 0 | 0.000000e+00 | -- | Inf
11.69/11.75 c 11.5s| 30000 | 29958 | 0 | 0.0 | 19M|4058 | - |5356 | 240 | 0 | 0 | 0 | 219 | 0 | 0.000000e+00 | -- | Inf
15.79/15.84 c 15.6s| 40000 | 39935 | 0 | 0.0 | 22M|4058 | - |5356 | 253 | 0 | 0 | 0 | 329 | 0 | 0.000000e+00 | -- | Inf
19.99/20.02 c 19.7s| 50000 | 49915 | 0 | 0.0 | 25M|4058 | - |5356 | 254 | 0 | 0 | 0 | 429 | 0 | 0.000000e+00 | -- | Inf
24.20/24.26 c 23.8s| 60000 | 59895 | 0 | 0.0 | 28M|4058 | - |5356 | 277 | 0 | 0 | 0 | 529 | 0 | 0.000000e+00 | -- | Inf
28.49/28.58 c 28.1s| 70000 | 69879 | 0 | 0.0 | 31M|4058 | - |5356 | 243 | 0 | 0 | 0 | 609 | 0 | 0.000000e+00 | -- | Inf
33.00/33.01 c 32.5s| 80000 | 79863 | 0 | 0.0 | 34M|4058 | - |5356 | 271 | 0 | 0 | 0 | 689 | 0 | 0.000000e+00 | -- | Inf
37.49/37.52 c 36.9s| 90000 | 89849 | 0 | 0.0 | 37M|4058 | - |5356 | 305 | 0 | 0 | 0 | 759 | 0 | 0.000000e+00 | -- | Inf
42.09/42.11 c 41.5s|100000 | 99838 | 0 | 0.0 | 39M|4058 | - |5356 | 330 | 0 | 0 | 0 | 819 | 0 | 0.000000e+00 | -- | Inf
46.69/46.70 c 46.0s|110000 |109826 | 0 | 0.0 | 42M|4058 | - |5356 | 360 | 0 | 0 | 0 | 889 | 0 | 0.000000e+00 | -- | Inf
51.10/51.12 c 50.3s|120000 |119810 | 0 | 0.0 | 45M|4058 | - |5356 | 408 | 0 | 0 | 0 | 968 | 0 | 0.000000e+00 | -- | Inf
55.20/55.27 c 54.4s|130000 |129796 | 0 | 0.0 | 48M|4058 | - |5356 | 413 | 0 | 0 | 0 |1035 | 0 | 0.000000e+00 | -- | Inf
59.79/59.87 c 59.0s|140000 |139778 | 0 | 0.0 | 51M|4058 | - |5356 | 446 | 0 | 0 | 0 |1125 | 0 | 0.000000e+00 | -- | Inf
64.09/64.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.09/64.18 c 63.2s|150000 |149760 | 0 | 0.0 | 53M|4058 | - |5356 | 476 | 0 | 0 | 0 |1211 | 0 | 0.000000e+00 | -- | Inf
68.79/68.83 c 67.8s|160000 |159738 | 0 | 0.0 | 56M|4058 | - |5356 | 524 | 0 | 0 | 0 |1325 | 0 | 0.000000e+00 | -- | Inf
73.19/73.21 c 72.1s|170000 |169727 | 0 | 0.0 | 59M|4058 | - |5356 | 484 | 0 | 0 | 0 |1395 | 0 | 0.000000e+00 | -- | Inf
77.59/77.62 c 76.5s|180000 |179716 | 0 | 0.0 | 62M|4058 | - |5356 | 483 | 0 | 0 | 0 |1455 | 0 | 0.000000e+00 | -- | Inf
82.09/82.15 c 80.9s|190000 |189699 | 0 | 0.0 | 64M|4058 | - |5356 | 510 | 0 | 0 | 0 |1545 | 0 | 0.000000e+00 | -- | Inf
86.19/86.27 c 85.0s|200000 |199691 | 0 | 0.0 | 67M|4061 | - |5356 | 498 | 0 | 0 | 0 |1585 | 0 | 0.000000e+00 | -- | Inf
90.89/90.94 c 89.6s|210000 |209675 | 0 | 0.0 | 70M|4061 | - |5356 | 532 | 0 | 0 | 0 |1665 | 0 | 0.000000e+00 | -- | Inf
95.29/95.31 c 93.9s|220000 |219661 | 0 | 0.0 | 73M|4061 | - |5356 | 538 | 0 | 0 | 0 |1735 | 0 | 0.000000e+00 | -- | Inf
99.79/99.88 c 98.4s|230000 |229647 | 0 | 0.0 | 75M|4061 | - |5356 | 560 | 0 | 0 | 0 |1805 | 0 | 0.000000e+00 | -- | Inf
104.39/104.47 c 103s|240000 |239634 | 0 | 0.0 | 78M|4061 | - |5356 | 582 | 0 | 0 | 0 |1881 | 0 | 0.000000e+00 | -- | Inf
108.90/108.92 c 107s|250000 |249624 | 0 | 0.0 | 81M|4061 | - |5356 | 584 | 0 | 0 | 0 |1931 | 0 | 0.000000e+00 | -- | Inf
113.49/113.56 c 112s|260000 |259597 | 0 | 0.0 | 84M|4120 | - |5356 | 616 | 0 | 0 | 0 |2061 | 0 | 0.000000e+00 | -- | Inf
117.89/117.97 c 116s|270000 |269585 | 0 | 0.0 | 86M|4120 | - |5356 | 590 | 0 | 0 | 0 |2121 | 0 | 0.000000e+00 | -- | Inf
122.59/122.66 c 121s|280000 |279570 | 0 | 0.0 | 89M|4120 | - |5356 | 599 | 0 | 0 | 0 |2201 | 0 | 0.000000e+00 | -- | Inf
127.09/127.13 c 125s|290000 |289550 | 0 | 0.0 | 92M|4120 | - |5356 | 629 | 0 | 0 | 0 |2301 | 0 | 0.000000e+00 | -- | Inf
131.49/131.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.49/131.58 c 130s|300000 |299538 | 0 | 0.0 | 95M|4120 | - |5356 | 629 | 0 | 0 | 0 |2361 | 0 | 0.000000e+00 | -- | Inf
136.09/136.15 c 134s|310000 |309524 | 0 | 0.0 | 97M|4120 | - |5356 | 638 | 0 | 0 | 0 |2431 | 0 | 0.000000e+00 | -- | Inf
140.70/140.73 c 139s|320000 |319507 | 0 | 0.0 | 100M|4120 | - |5356 | 665 | 0 | 0 | 0 |2521 | 0 | 0.000000e+00 | -- | Inf
145.00/145.08 c 143s|330000 |329493 | 0 | 0.0 | 103M|4120 | - |5356 | 661 | 0 | 0 | 0 |2591 | 0 | 0.000000e+00 | -- | Inf
149.59/149.65 c 147s|340000 |339481 | 0 | 0.0 | 106M|4120 | - |5356 | 665 | 0 | 0 | 0 |2651 | 0 | 0.000000e+00 | -- | Inf
154.19/154.27 c 152s|350000 |349457 | 0 | 0.0 | 109M|4120 | - |5356 | 706 | 0 | 0 | 0 |2771 | 0 | 0.000000e+00 | -- | Inf
158.70/158.78 c 156s|360000 |359437 | 0 | 0.0 | 111M|4120 | - |5356 | 686 | 0 | 0 | 0 |2871 | 0 | 0.000000e+00 | -- | Inf
163.00/163.06 c 161s|370000 |369428 | 0 | 0.0 | 114M|4120 | - |5356 | 683 | 0 | 0 | 0 |2921 | 0 | 0.000000e+00 | -- | Inf
167.49/167.59 c 165s|380000 |379412 | 0 | 0.0 | 117M|4120 | - |5356 | 716 | 0 | 0 | 0 |3001 | 0 | 0.000000e+00 | -- | Inf
171.99/172.03 c 170s|390000 |389396 | 0 | 0.0 | 120M|4120 | - |5356 | 726 | 0 | 0 | 0 |3081 | 0 | 0.000000e+00 | -- | Inf
176.49/176.52 c 174s|400000 |399374 | 0 | 0.0 | 122M|4120 | - |5356 | 735 | 0 | 0 | 0 |3191 | 0 | 0.000000e+00 | -- | Inf
181.10/181.14 c 179s|410000 |409362 | 0 | 0.0 | 125M|4120 | - |5356 | 726 | 0 | 0 | 0 |3248 | 0 | 0.000000e+00 | -- | Inf
185.69/185.72 c 183s|420000 |419348 | 0 | 0.0 | 128M|4120 | - |5356 | 721 | 0 | 0 | 0 |3318 | 0 | 0.000000e+00 | -- | Inf
190.20/190.27 c 188s|430000 |429330 | 0 | 0.0 | 131M|4120 | - |5356 | 735 | 0 | 0 | 0 |3408 | 0 | 0.000000e+00 | -- | Inf
194.70/194.71 c 192s|440000 |439320 | 0 | 0.0 | 133M|4120 | - |5356 | 721 | 0 | 0 | 0 |3458 | 0 | 0.000000e+00 | -- | Inf
199.39/199.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
199.39/199.42 c 197s|450000 |449304 | 0 | 0.0 | 136M|4120 | - |5356 | 741 | 0 | 0 | 0 |3538 | 0 | 0.000000e+00 | -- | Inf
203.89/203.93 c 201s|460000 |459288 | 0 | 0.0 | 139M|4120 | - |5356 | 772 | 0 | 0 | 0 |3618 | 0 | 0.000000e+00 | -- | Inf
208.39/208.40 c 205s|470000 |469278 | 0 | 0.0 | 142M|4120 | - |5356 | 761 | 0 | 0 | 0 |3668 | 0 | 0.000000e+00 | -- | Inf
212.89/212.98 c 210s|480000 |479262 | 0 | 0.0 | 144M|4120 | - |5356 | 782 | 0 | 0 | 0 |3748 | 0 | 0.000000e+00 | -- | Inf
217.50/217.51 c 214s|490000 |489240 | 0 | 0.0 | 147M|4120 | - |5356 | 822 | 0 | 0 | 0 |3858 | 0 | 0.000000e+00 | -- | Inf
221.89/221.99 c 219s|500000 |499228 | 0 | 0.0 | 150M|4120 | - |5356 | 801 | 0 | 0 | 0 |3918 | 0 | 0.000000e+00 | -- | Inf
226.60/226.67 c 223s|510000 |509202 | 0 | 0.0 | 152M|4120 | - |5356 | 843 | 0 | 0 | 0 |4048 | 0 | 0.000000e+00 | -- | Inf
231.00/231.03 c 228s|520000 |519188 | 0 | 0.0 | 155M|4120 | - |5356 | 846 | 0 | 0 | 0 |4118 | 0 | 0.000000e+00 | -- | Inf
235.49/235.59 c 232s|530000 |529180 | 0 | 0.0 | 158M|4120 | - |5356 | 819 | 0 | 0 | 0 |4158 | 0 | 0.000000e+00 | -- | Inf
239.99/240.00 c 237s|540000 |539164 | 0 | 0.0 | 161M|4120 | - |5356 | 848 | 0 | 0 | 0 |4238 | 0 | 0.000000e+00 | -- | Inf
244.20/244.29 c 241s|550000 |549152 | 0 | 0.0 | 163M|4120 | - |5356 | 830 | 0 | 0 | 0 |4292 | 0 | 0.000000e+00 | -- | Inf
248.89/248.91 c 245s|560000 |559134 | 0 | 0.0 | 166M|4120 | - |5356 | 818 | 0 | 0 | 0 |4382 | 0 | 0.000000e+00 | -- | Inf
253.29/253.30 c 250s|570000 |569120 | 0 | 0.0 | 169M|4120 | - |5356 | 809 | 0 | 0 | 0 |4452 | 0 | 0.000000e+00 | -- | Inf
257.59/257.66 c 254s|580000 |579110 | 0 | 0.0 | 172M|4120 | - |5356 | 801 | 0 | 0 | 0 |4502 | 0 | 0.000000e+00 | -- | Inf
262.09/262.10 c 258s|590000 |589096 | 0 | 0.0 | 174M|4120 | - |5356 | 794 | 0 | 0 | 0 |4572 | 0 | 0.000000e+00 | -- | Inf
266.30/266.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
266.30/266.37 c 263s|600000 |599082 | 0 | 0.0 | 177M|4120 | - |5356 | 794 | 0 | 0 | 0 |4642 | 0 | 0.000000e+00 | -- | Inf
270.99/271.00 c 267s|610000 |609070 | 0 | 0.0 | 180M|4120 | - |5356 | 770 | 0 | 0 | 0 |4702 | 0 | 0.000000e+00 | -- | Inf
274.90/274.99 c 271s|620000 |619056 | 0 | 0.0 | 182M|4120 | - |5356 | 761 | 0 | 0 | 0 |4772 | 0 | 0.000000e+00 | -- | Inf
278.89/278.99 c 275s|630000 |629044 | 0 | 0.0 | 185M|4120 | - |5356 | 768 | 0 | 0 | 0 |4832 | 0 | 0.000000e+00 | -- | Inf
282.89/282.97 c 279s|640000 |639026 | 0 | 0.0 | 188M|4120 | - |5356 | 747 | 0 | 0 | 0 |4922 | 0 | 0.000000e+00 | -- | Inf
286.79/286.85 c 282s|650000 |649014 | 0 | 0.0 | 191M|4120 | - |5356 | 755 | 0 | 0 | 0 |4982 | 0 | 0.000000e+00 | -- | Inf
290.99/291.03 c 287s|660000 |658996 | 0 | 0.0 | 193M|4120 | - |5356 | 756 | 0 | 0 | 0 |5072 | 0 | 0.000000e+00 | -- | Inf
294.99/295.02 c 290s|670000 |668976 | 0 | 0.0 | 196M|4120 | - |5356 | 780 | 0 | 0 | 0 |5172 | 0 | 0.000000e+00 | -- | Inf
298.79/298.87 c 294s|680000 |678966 | 0 | 0.0 | 199M|4120 | - |5356 | 757 | 0 | 0 | 0 |5222 | 0 | 0.000000e+00 | -- | Inf
302.79/302.87 c 298s|690000 |688950 | 0 | 0.0 | 201M|4120 | - |5356 | 732 | 0 | 0 | 0 |5302 | 0 | 0.000000e+00 | -- | Inf
306.69/306.75 c 302s|700000 |698930 | 0 | 0.0 | 204M|4120 | - |5356 | 758 | 0 | 0 | 0 |5400 | 0 | 0.000000e+00 | -- | Inf
310.69/310.72 c 306s|710000 |708918 | 0 | 0.0 | 207M|4120 | - |5356 | 738 | 0 | 0 | 0 |5460 | 0 | 0.000000e+00 | -- | Inf
314.79/314.82 c 310s|720000 |718894 | 0 | 0.0 | 210M|4121 | - |5356 | 751 | 0 | 0 | 0 |5580 | 0 | 0.000000e+00 | -- | Inf
318.59/318.61 c 314s|730000 |728884 | 0 | 0.0 | 212M|4148 | - |5356 | 697 | 0 | 0 | 0 |5630 | 0 | 0.000000e+00 | -- | Inf
322.60/322.65 c 318s|740000 |738864 | 0 | 0.0 | 215M|4148 | - |5356 | 723 | 0 | 0 | 0 |5730 | 0 | 0.000000e+00 | -- | Inf
326.29/326.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
326.29/326.34 c 321s|750000 |748850 | 0 | 0.0 | 218M|4148 | - |5356 | 701 | 0 | 0 | 0 |5800 | 0 | 0.000000e+00 | -- | Inf
330.39/330.45 c 325s|760000 |758830 | 0 | 0.0 | 220M|4148 | - |5356 | 715 | 0 | 0 | 0 |5900 | 0 | 0.000000e+00 | -- | Inf
334.19/334.21 c 329s|770000 |768812 | 0 | 0.0 | 223M|4148 | - |5356 | 702 | 0 | 0 | 0 |5990 | 0 | 0.000000e+00 | -- | Inf
337.99/338.03 c 333s|780000 |778804 | 0 | 0.0 | 226M|4148 | - |5356 | 674 | 0 | 0 | 0 |6030 | 0 | 0.000000e+00 | -- | Inf
342.10/342.12 c 337s|790000 |788782 | 0 | 0.0 | 228M|4148 | - |5356 | 689 | 0 | 0 | 0 |6140 | 0 | 0.000000e+00 | -- | Inf
345.60/345.68 c 340s|800000 |798772 | 0 | 0.0 | 231M|4148 | - |5356 | 669 | 0 | 0 | 0 |6190 | 0 | 0.000000e+00 | -- | Inf
349.59/349.70 c 344s|810000 |808752 | 0 | 0.0 | 234M|4148 | - |5356 | 682 | 0 | 0 | 0 |6290 | 0 | 0.000000e+00 | -- | Inf
353.50/353.55 c 348s|820000 |818736 | 0 | 0.0 | 237M|4148 | - |5356 | 682 | 0 | 0 | 0 |6370 | 0 | 0.000000e+00 | -- | Inf
357.29/357.37 c 352s|830000 |828724 | 0 | 0.0 | 239M|4148 | - |5356 | 668 | 0 | 0 | 0 |6430 | 0 | 0.000000e+00 | -- | Inf
361.19/361.26 c 356s|840000 |838708 | 0 | 0.0 | 242M|4148 | - |5356 | 677 | 0 | 0 | 0 |6510 | 0 | 0.000000e+00 | -- | Inf
365.10/365.16 c 360s|850000 |848688 | 0 | 0.0 | 245M|4148 | - |5356 | 696 | 0 | 0 | 0 |6610 | 0 | 0.000000e+00 | -- | Inf
368.69/368.71 c 363s|860000 |858674 | 0 | 0.0 | 247M|4148 | - |5356 | 691 | 0 | 0 | 0 |6680 | 0 | 0.000000e+00 | -- | Inf
372.59/372.66 c 367s|870000 |868662 | 0 | 0.0 | 250M|4148 | - |5356 | 680 | 0 | 0 | 0 |6740 | 0 | 0.000000e+00 | -- | Inf
376.50/376.50 c 371s|880000 |878646 | 0 | 0.0 | 253M|4148 | - |5356 | 668 | 0 | 0 | 0 |6820 | 0 | 0.000000e+00 | -- | Inf
380.09/380.16 c 374s|890000 |888628 | 0 | 0.0 | 256M|4148 | - |5356 | 703 | 0 | 0 | 0 |6910 | 0 | 0.000000e+00 | -- | Inf
383.90/383.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
383.90/383.99 c 378s|900000 |898608 | 0 | 0.0 | 258M|4148 | - |5356 | 711 | 0 | 0 | 0 |7010 | 0 | 0.000000e+00 | -- | Inf
387.80/387.88 c 382s|910000 |908592 | 0 | 0.0 | 261M|4148 | - |5356 | 702 | 0 | 0 | 0 |7090 | 0 | 0.000000e+00 | -- | Inf
391.60/391.67 c 386s|920000 |918576 | 0 | 0.0 | 264M|4148 | - |5356 | 694 | 0 | 0 | 0 |7170 | 0 | 0.000000e+00 | -- | Inf
395.20/395.24 c 389s|930000 |928568 | 0 | 0.0 | 267M|4148 | - |5356 | 688 | 0 | 0 | 0 |7210 | 0 | 0.000000e+00 | -- | Inf
399.09/399.15 c 393s|940000 |938554 | 0 | 0.0 | 269M|4148 | - |5356 | 679 | 0 | 0 | 0 |7280 | 0 | 0.000000e+00 | -- | Inf
403.00/403.00 c 397s|950000 |948530 | 0 | 0.0 | 272M|4148 | - |5356 | 706 | 0 | 0 | 0 |7400 | 0 | 0.000000e+00 | -- | Inf
406.60/406.69 c 400s|960000 |958512 | 0 | 0.0 | 275M|4148 | - |5356 | 715 | 0 | 0 | 0 |7490 | 0 | 0.000000e+00 | -- | Inf
410.40/410.47 c 404s|970000 |968498 | 0 | 0.0 | 277M|4148 | - |5356 | 694 | 0 | 0 | 0 |7560 | 0 | 0.000000e+00 | -- | Inf
414.19/414.25 c 408s|980000 |978480 | 0 | 0.0 | 280M|4148 | - |5356 | 691 | 0 | 0 | 0 |7650 | 0 | 0.000000e+00 | -- | Inf
417.90/417.99 c 412s|990000 |988466 | 0 | 0.0 | 283M|4148 | - |5356 | 679 | 0 | 0 | 0 |7720 | 0 | 0.000000e+00 | -- | Inf
421.60/421.61 c 415s| 1000k|998450 | 0 | 0.0 | 286M|4148 | - |5356 | 678 | 0 | 0 | 0 |7800 | 0 | 0.000000e+00 | -- | Inf
425.39/425.45 c 419s| 1010k| 1008k| 0 | 0.0 | 288M|4148 | - |5356 | 663 | 0 | 0 | 0 |7860 | 0 | 0.000000e+00 | -- | Inf
429.40/429.42 c 423s| 1020k| 1018k| 0 | 0.0 | 291M|4148 | - |5356 | 660 | 0 | 0 | 0 |7940 | 0 | 0.000000e+00 | -- | Inf
433.09/433.16 c 427s| 1030k| 1028k| 0 | 0.0 | 294M|4148 | - |5356 | 650 | 0 | 0 | 0 |8010 | 0 | 0.000000e+00 | -- | Inf
436.89/436.94 c 430s| 1040k| 1038k| 0 | 0.0 | 297M|4148 | - |5356 | 675 | 0 | 0 | 0 |8090 | 0 | 0.000000e+00 | -- | Inf
440.69/440.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
440.69/440.71 c 434s| 1050k| 1048k| 0 | 0.0 | 299M|4148 | - |5356 | 650 | 0 | 0 | 0 |8130 | 0 | 0.000000e+00 | -- | Inf
444.50/444.58 c 438s| 1060k| 1058k| 0 | 0.0 | 302M|4148 | - |5356 | 641 | 0 | 0 | 0 |8220 | 0 | 0.000000e+00 | -- | Inf
448.20/448.24 c 441s| 1070k| 1068k| 0 | 0.0 | 305M|4148 | - |5356 | 636 | 0 | 0 | 0 |8280 | 0 | 0.000000e+00 | -- | Inf
451.89/451.96 c 445s| 1080k| 1078k| 0 | 0.0 | 308M|4148 | - |5356 | 652 | 0 | 0 | 0 |8390 | 0 | 0.000000e+00 | -- | Inf
455.79/455.85 c 449s| 1090k| 1088k| 0 | 0.0 | 310M|4148 | - |5356 | 642 | 0 | 0 | 0 |8460 | 0 | 0.000000e+00 | -- | Inf
459.49/459.55 c 453s| 1100k| 1098k| 0 | 0.0 | 313M|4148 | - |5356 | 630 | 0 | 0 | 0 |8530 | 0 | 0.000000e+00 | -- | Inf
463.39/463.40 c 456s| 1110k| 1108k| 0 | 0.0 | 316M|4148 | - |5356 | 632 | 0 | 0 | 0 |8630 | 0 | 0.000000e+00 | -- | Inf
467.00/467.00 c 460s| 1120k| 1118k| 0 | 0.0 | 318M|4148 | - |5356 | 636 | 0 | 0 | 0 |8720 | 0 | 0.000000e+00 | -- | Inf
470.70/470.73 c 464s| 1130k| 1128k| 0 | 0.0 | 321M|4148 | - |5356 | 620 | 0 | 0 | 0 |8780 | 0 | 0.000000e+00 | -- | Inf
474.39/474.46 c 467s| 1140k| 1138k| 0 | 0.0 | 324M|4148 | - |5356 | 621 | 0 | 0 | 0 |8860 | 0 | 0.000000e+00 | -- | Inf
478.19/478.29 c 471s| 1150k| 1148k| 0 | 0.0 | 327M|4148 | - |5356 | 636 | 0 | 0 | 0 |8960 | 0 | 0.000000e+00 | -- | Inf
481.71/481.71 c 474s| 1160k| 1158k| 0 | 0.0 | 329M|4148 | - |5356 | 629 | 0 | 0 | 0 |9020 | 0 | 0.000000e+00 | -- | Inf
485.39/485.47 c 478s| 1170k| 1168k| 0 | 0.0 | 332M|4148 | - |5356 | 687 | 0 | 0 | 0 |9160 | 0 | 0.000000e+00 | -- | Inf
489.09/489.18 c 482s| 1180k| 1178k| 0 | 0.0 | 335M|4148 | - |5356 | 636 | 0 | 0 | 0 |9240 | 0 | 0.000000e+00 | -- | Inf
492.81/492.84 c 485s| 1190k| 1188k| 0 | 0.0 | 338M|4148 | - |5356 | 649 | 0 | 0 | 0 |9330 | 0 | 0.000000e+00 | -- | Inf
496.49/496.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
496.49/496.52 c 489s| 1200k| 1198k| 0 | 0.0 | 340M|4148 | - |5356 | 674 | 0 | 0 | 0 |9420 | 0 | 0.000000e+00 | -- | Inf
500.09/500.12 c 493s| 1210k| 1208k| 0 | 0.0 | 343M|4148 | - |5356 | 667 | 0 | 0 | 0 |9490 | 0 | 0.000000e+00 | -- | Inf
503.90/503.94 c 496s| 1220k| 1218k| 0 | 0.0 | 346M|4148 | - |5356 | 672 | 0 | 0 | 0 |9600 | 0 | 0.000000e+00 | -- | Inf
507.59/507.65 c 500s| 1230k| 1228k| 0 | 0.0 | 349M|4148 | - |5356 | 690 | 0 | 0 | 0 |9690 | 0 | 0.000000e+00 | -- | Inf
511.19/511.29 c 504s| 1240k| 1238k| 0 | 0.0 | 351M|4148 | - |5356 | 671 | 0 | 0 | 0 |9760 | 0 | 0.000000e+00 | -- | Inf
514.80/514.85 c 507s| 1250k| 1248k| 0 | 0.0 | 354M|4148 | - |5356 | 686 | 0 | 0 | 0 |9850 | 0 | 0.000000e+00 | -- | Inf
518.39/518.46 c 511s| 1260k| 1258k| 0 | 0.0 | 357M|4148 | - |5356 | 688 | 0 | 0 | 0 |9930 | 0 | 0.000000e+00 | -- | Inf
522.00/522.06 c 514s| 1270k| 1268k| 0 | 0.0 | 360M|4148 | - |5356 | 679 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
525.60/525.60 c 518s| 1280k| 1277k| 0 | 0.0 | 362M|4148 | - |5356 | 664 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
529.40/529.48 c 521s| 1290k| 1287k| 0 | 0.0 | 365M|4148 | - |5356 | 663 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
533.00/533.08 c 525s| 1300k| 1297k| 0 | 0.0 | 368M|4148 | - |5356 | 659 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
536.70/536.80 c 529s| 1310k| 1307k| 0 | 0.0 | 371M|4148 | - |5356 | 665 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
540.40/540.40 c 532s| 1320k| 1317k| 0 | 0.0 | 373M|4148 | - |5356 | 704 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
543.90/543.93 c 536s| 1330k| 1327k| 0 | 0.0 | 376M|4148 | - |5356 | 661 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
547.40/547.47 c 539s| 1340k| 1337k| 0 | 0.0 | 379M|4148 | - |5356 | 663 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
551.00/551.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
551.00/551.02 c 543s| 1350k| 1347k| 0 | 0.0 | 382M|4148 | - |5356 | 693 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
554.50/554.50 c 546s| 1360k| 1357k| 0 | 0.0 | 384M|4148 | - |5356 | 668 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
558.10/558.13 c 550s| 1370k| 1367k| 0 | 0.0 | 387M|4148 | - |5356 | 655 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
561.80/561.82 c 553s| 1380k| 1377k| 0 | 0.0 | 390M|4148 | - |5356 | 678 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
565.50/565.55 c 557s| 1390k| 1387k| 0 | 0.0 | 393M|4148 | - |5356 | 682 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
569.09/569.10 c 560s| 1400k| 1397k| 0 | 0.0 | 395M|4148 | - |5356 | 667 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
572.59/572.61 c 564s| 1410k| 1407k| 0 | 0.0 | 398M|4148 | - |5356 | 657 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
576.10/576.14 c 567s| 1420k| 1417k| 0 | 0.0 | 401M|4148 | - |5356 | 669 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
579.80/579.89 c 571s| 1430k| 1427k| 0 | 0.0 | 404M|4148 | - |5356 | 672 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
583.40/583.46 c 575s| 1440k| 1437k| 0 | 0.0 | 406M|4148 | - |5356 | 667 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
587.00/587.04 c 578s| 1450k| 1447k| 0 | 0.0 | 409M|4148 | - |5356 | 714 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
590.61/590.64 c 582s| 1460k| 1457k| 0 | 0.0 | 412M|4148 | - |5356 | 680 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
594.10/594.18 c 585s| 1470k| 1467k| 0 | 0.0 | 415M|4148 | - |5356 | 705 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
597.70/597.72 c 589s| 1480k| 1477k| 0 | 0.0 | 417M|4148 | - |5356 | 671 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
601.39/601.40 c 592s| 1490k| 1487k| 0 | 0.0 | 420M|4148 | - |5356 | 700 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
604.91/605.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
604.91/605.00 c 596s| 1500k| 1497k| 0 | 0.0 | 423M|4148 | - |5356 | 672 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
608.70/608.71 c 599s| 1510k| 1507k| 0 | 0.0 | 426M|4148 | - |5356 | 686 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
612.30/612.35 c 603s| 1520k| 1517k| 0 | 0.0 | 428M|4148 | - |5356 | 663 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
615.91/615.91 c 606s| 1530k| 1527k| 0 | 0.0 | 431M|4148 | - |5356 | 665 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
619.60/619.62 c 610s| 1540k| 1537k| 0 | 0.0 | 434M|4148 | - |5356 | 679 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
622.99/623.08 c 614s| 1550k| 1547k| 0 | 0.0 | 437M|4148 | - |5356 | 693 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
626.60/626.67 c 617s| 1560k| 1557k| 0 | 0.0 | 440M|4148 | - |5356 | 693 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
630.00/630.08 c 620s| 1570k| 1567k| 0 | 0.0 | 442M|4148 | - |5356 | 680 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
633.61/633.66 c 624s| 1580k| 1577k| 0 | 0.0 | 445M|4148 | - |5356 | 710 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
637.10/637.14 c 627s| 1590k| 1587k| 0 | 0.0 | 448M|4148 | - |5356 | 677 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
640.90/640.93 c 631s| 1600k| 1597k| 0 | 0.0 | 451M|4148 | - |5356 | 728 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
644.30/644.37 c 635s| 1610k| 1607k| 0 | 0.0 | 453M|4148 | - |5356 | 670 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
647.81/647.82 c 638s| 1620k| 1617k| 0 | 0.0 | 456M|4148 | - |5356 | 676 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
651.30/651.36 c 641s| 1630k| 1627k| 0 | 0.0 | 459M|4148 | - |5356 | 657 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
654.80/654.83 c 645s| 1640k| 1637k| 0 | 0.0 | 462M|4148 | - |5356 | 672 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
658.30/658.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
658.30/658.39 c 648s| 1650k| 1647k| 0 | 0.0 | 464M|4148 | - |5356 | 664 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
661.90/661.96 c 652s| 1660k| 1657k| 0 | 0.0 | 467M|4148 | - |5356 | 638 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
665.41/665.40 c 655s| 1670k| 1667k| 0 | 0.0 | 470M|4148 | - |5356 | 648 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
668.70/668.76 c 659s| 1680k| 1677k| 0 | 0.0 | 473M|4148 | - |5356 | 651 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
672.30/672.34 c 662s| 1690k| 1687k| 0 | 0.0 | 476M|4148 | - |5356 | 653 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
675.80/675.88 c 666s| 1700k| 1697k| 0 | 0.0 | 478M|4148 | - |5356 | 675 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
679.51/679.59 c 669s| 1710k| 1707k| 0 | 0.0 | 481M|4148 | - |5356 | 696 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
682.90/682.98 c 673s| 1720k| 1717k| 0 | 0.0 | 484M|4148 | - |5356 | 661 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
686.41/686.43 c 676s| 1730k| 1727k| 0 | 0.0 | 487M|4148 | - |5356 | 654 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
689.80/689.88 c 679s| 1740k| 1737k| 0 | 0.0 | 489M|4148 | - |5356 | 656 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
693.30/693.37 c 683s| 1750k| 1747k| 0 | 0.0 | 492M|4148 | - |5356 | 670 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
696.80/696.88 c 686s| 1760k| 1757k| 0 | 0.0 | 495M|4148 | - |5356 | 677 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
700.21/700.24 c 690s| 1770k| 1767k| 0 | 0.0 | 498M|4148 | - |5356 | 663 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
703.61/703.60 c 693s| 1780k| 1777k| 0 | 0.0 | 501M|4148 | - |5356 | 655 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
707.11/707.14 c 696s| 1790k| 1787k| 0 | 0.0 | 503M|4148 | - |5356 | 657 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
710.51/710.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
710.51/710.52 c 700s| 1800k| 1797k| 0 | 0.0 | 506M|4148 | - |5356 | 657 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
713.91/713.94 c 703s| 1810k| 1807k| 0 | 0.0 | 509M|4148 | - |5356 | 679 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
717.40/717.45 c 706s| 1820k| 1816k| 0 | 0.0 | 512M|4148 | - |5356 | 644 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
720.80/720.88 c 710s| 1830k| 1826k| 0 | 0.0 | 515M|4148 | - |5356 | 677 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
724.40/724.42 c 713s| 1840k| 1836k| 0 | 0.0 | 517M|4148 | - |5356 | 669 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
727.90/727.96 c 717s| 1850k| 1846k| 0 | 0.0 | 520M|4148 | - |5356 | 674 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
731.41/731.50 c 720s| 1860k| 1856k| 0 | 0.0 | 523M|4148 | - |5356 | 681 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
734.81/734.87 c 724s| 1870k| 1866k| 0 | 0.0 | 526M|4148 | - |5356 | 670 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
738.21/738.26 c 727s| 1880k| 1876k| 0 | 0.0 | 529M|4148 | - |5356 | 680 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
741.60/741.69 c 730s| 1890k| 1886k| 0 | 0.0 | 531M|4148 | - |5356 | 673 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
745.00/745.08 c 734s| 1900k| 1896k| 0 | 0.0 | 534M|4148 | - |5356 | 708 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
748.60/748.61 c 737s| 1910k| 1906k| 0 | 0.0 | 537M|4148 | - |5356 | 695 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
752.00/752.09 c 741s| 1920k| 1916k| 0 | 0.0 | 540M|4148 | - |5356 | 671 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
755.40/755.47 c 744s| 1930k| 1926k| 0 | 0.0 | 542M|4148 | - |5356 | 672 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
758.91/758.98 c 747s| 1940k| 1936k| 0 | 0.0 | 545M|4148 | - |5356 | 673 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
762.21/762.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
762.21/762.25 c 751s| 1950k| 1946k| 0 | 0.0 | 548M|4148 | - |5356 | 648 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
765.80/765.83 c 754s| 1960k| 1956k| 0 | 0.0 | 551M|4148 | - |5356 | 671 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
769.41/769.42 c 758s| 1970k| 1966k| 0 | 0.0 | 554M|4148 | - |5356 | 676 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
772.80/772.88 c 761s| 1980k| 1976k| 0 | 0.0 | 556M|4148 | - |5356 | 652 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
776.10/776.10 c 764s| 1990k| 1986k| 0 | 0.0 | 559M|4148 | - |5356 | 645 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
779.41/779.46 c 767s| 2000k| 1996k| 0 | 0.0 | 562M|4148 | - |5356 | 680 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
783.00/783.01 c 771s| 2010k| 2006k| 0 | 0.0 | 565M|4148 | - |5356 | 667 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
786.30/786.33 c 774s| 2020k| 2016k| 0 | 0.0 | 568M|4148 | - |5356 | 650 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
789.50/789.58 c 777s| 2030k| 2026k| 0 | 0.0 | 570M|4148 | - |5356 | 668 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
793.11/793.12 c 781s| 2040k| 2036k| 0 | 0.0 | 573M|4148 | - |5356 | 694 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
796.41/796.47 c 784s| 2050k| 2046k| 0 | 0.0 | 576M|4148 | - |5356 | 659 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
799.61/799.68 c 787s| 2060k| 2056k| 0 | 0.0 | 579M|4148 | - |5356 | 655 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
803.11/803.17 c 791s| 2070k| 2066k| 0 | 0.0 | 582M|4148 | - |5356 | 649 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
806.61/806.65 c 794s| 2080k| 2076k| 0 | 0.0 | 585M|4148 | - |5356 | 647 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
809.90/809.91 c 797s| 2090k| 2086k| 0 | 0.0 | 587M|4148 | - |5356 | 646 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
813.40/813.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
813.40/813.40 c 801s| 2100k| 2096k| 0 | 0.0 | 590M|4148 | - |5356 | 678 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
816.81/816.87 c 804s| 2110k| 2106k| 0 | 0.0 | 593M|4148 | - |5356 | 675 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
820.11/820.17 c 807s| 2120k| 2116k| 0 | 0.0 | 596M|4148 | - |5356 | 658 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
823.50/823.57 c 811s| 2130k| 2126k| 0 | 0.0 | 599M|4148 | - |5356 | 686 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
826.91/826.96 c 814s| 2140k| 2136k| 0 | 0.0 | 601M|4148 | - |5356 | 649 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
830.11/830.15 c 817s| 2150k| 2146k| 0 | 0.0 | 604M|4148 | - |5356 | 650 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
833.51/833.59 c 821s| 2160k| 2156k| 0 | 0.0 | 607M|4148 | - |5356 | 666 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
836.80/836.84 c 824s| 2170k| 2166k| 0 | 0.0 | 610M|4148 | - |5356 | 655 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
840.20/840.20 c 827s| 2180k| 2176k| 0 | 0.0 | 613M|4148 | - |5356 | 664 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
843.51/843.58 c 830s| 2190k| 2186k| 0 | 0.0 | 616M|4148 | - |5356 | 664 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
846.71/846.76 c 834s| 2200k| 2196k| 0 | 0.0 | 618M|4148 | - |5356 | 655 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
850.21/850.29 c 837s| 2210k| 2206k| 0 | 0.0 | 621M|4148 | - |5356 | 657 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
853.41/853.42 c 840s| 2220k| 2216k| 0 | 0.0 | 624M|4148 | - |5356 | 648 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
856.81/856.88 c 844s| 2230k| 2226k| 0 | 0.0 | 627M|4148 | - |5356 | 668 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
860.00/860.05 c 847s| 2240k| 2236k| 0 | 0.0 | 630M|4148 | - |5356 | 660 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
863.51/863.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
863.51/863.58 c 850s| 2250k| 2246k| 0 | 0.0 | 633M|4148 | - |5356 | 643 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
866.71/866.72 c 853s| 2260k| 2256k| 0 | 0.0 | 635M|4148 | - |5356 | 634 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
870.01/870.08 c 857s| 2270k| 2266k| 0 | 0.0 | 638M|4148 | - |5356 | 621 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
873.21/873.26 c 860s| 2280k| 2276k| 0 | 0.0 | 641M|4148 | - |5356 | 620 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
876.50/876.55 c 863s| 2290k| 2286k| 0 | 0.0 | 644M|4148 | - |5356 | 616 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
879.61/879.62 c 866s| 2300k| 2296k| 0 | 0.0 | 647M|4148 | - |5356 | 639 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
882.91/882.99 c 869s| 2310k| 2306k| 0 | 0.0 | 650M|4148 | - |5356 | 624 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
886.20/886.21 c 872s| 2320k| 2315k| 0 | 0.0 | 652M|4148 | - |5356 | 633 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
889.51/889.55 c 876s| 2330k| 2325k| 0 | 0.0 | 655M|4148 | - |5356 | 630 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
892.90/892.92 c 879s| 2340k| 2335k| 0 | 0.0 | 658M|4148 | - |5356 | 652 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
896.21/896.23 c 882s| 2350k| 2345k| 0 | 0.0 | 661M|4148 | - |5356 | 655 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
899.50/899.59 c 886s| 2360k| 2355k| 0 | 0.0 | 664M|4148 | - |5356 | 642 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
902.70/902.74 c 889s| 2370k| 2365k| 0 | 0.0 | 667M|4148 | - |5356 | 614 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
906.10/906.14 c 892s| 2380k| 2375k| 0 | 0.0 | 670M|4148 | - |5356 | 612 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
909.41/909.44 c 895s| 2390k| 2385k| 0 | 0.0 | 672M|4148 | - |5356 | 658 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
912.70/912.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
912.70/912.73 c 898s| 2400k| 2395k| 0 | 0.0 | 675M|4148 | - |5356 | 633 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
916.01/916.00 c 902s| 2410k| 2405k| 0 | 0.0 | 678M|4148 | - |5356 | 657 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
919.21/919.24 c 905s| 2420k| 2415k| 0 | 0.0 | 681M|4148 | - |5356 | 631 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
922.61/922.60 c 908s| 2430k| 2425k| 0 | 0.0 | 684M|4148 | - |5356 | 630 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
925.70/925.73 c 911s| 2440k| 2435k| 0 | 0.0 | 687M|4148 | - |5356 | 647 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
928.91/928.98 c 914s| 2450k| 2445k| 0 | 0.0 | 690M|4148 | - |5356 | 648 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
932.41/932.40 c 918s| 2460k| 2455k| 0 | 0.0 | 692M|4148 | - |5356 | 645 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
935.71/935.79 c 921s| 2470k| 2465k| 0 | 0.0 | 695M|4148 | - |5356 | 634 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
939.10/939.10 c 924s| 2480k| 2475k| 0 | 0.0 | 698M|4148 | - |5356 | 646 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
942.51/942.52 c 928s| 2490k| 2485k| 0 | 0.0 | 701M|4148 | - |5356 | 638 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
945.60/945.63 c 931s| 2500k| 2495k| 0 | 0.0 | 704M|4148 | - |5356 | 663 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
948.91/948.96 c 934s| 2510k| 2505k| 0 | 0.0 | 707M|4148 | - |5356 | 630 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
952.31/952.30 c 937s| 2520k| 2515k| 0 | 0.0 | 710M|4148 | - |5356 | 637 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
955.41/955.47 c 940s| 2530k| 2525k| 0 | 0.0 | 712M|4148 | - |5356 | 644 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
958.80/958.87 c 944s| 2540k| 2535k| 0 | 0.0 | 715M|4148 | - |5356 | 622 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
962.11/962.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
962.11/962.18 c 947s| 2550k| 2545k| 0 | 0.0 | 718M|4148 | - |5356 | 626 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
965.21/965.27 c 950s| 2560k| 2555k| 0 | 0.0 | 721M|4148 | - |5356 | 637 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
968.51/968.50 c 953s| 2570k| 2565k| 0 | 0.0 | 724M|4148 | - |5356 | 632 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
971.81/971.88 c 957s| 2580k| 2575k| 0 | 0.0 | 727M|4148 | - |5356 | 637 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
975.21/975.20 c 960s| 2590k| 2585k| 0 | 0.0 | 730M|4148 | - |5356 | 663 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
978.51/978.54 c 963s| 2600k| 2595k| 0 | 0.0 | 732M|4148 | - |5356 | 633 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
982.01/982.09 c 967s| 2610k| 2605k| 0 | 0.0 | 735M|4148 | - |5356 | 638 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
985.31/985.30 c 970s| 2620k| 2615k| 0 | 0.0 | 738M|4148 | - |5356 | 655 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
988.61/988.63 c 973s| 2630k| 2625k| 0 | 0.0 | 741M|4148 | - |5356 | 632 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
992.01/992.02 c 976s| 2640k| 2635k| 0 | 0.0 | 744M|4148 | - |5356 | 643 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
995.21/995.29 c 980s| 2650k| 2645k| 0 | 0.0 | 747M|4148 | - |5356 | 670 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
998.60/998.69 c 983s| 2660k| 2655k| 0 | 0.0 | 750M|4148 | - |5356 | 685 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1001.91/1001.95 c 986s| 2670k| 2665k| 0 | 0.0 | 752M|4148 | - |5356 | 645 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1005.31/1005.31 c 990s| 2680k| 2675k| 0 | 0.0 | 755M|4148 | - |5356 | 657 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1008.62/1008.70 c 993s| 2690k| 2685k| 0 | 0.0 | 758M|4148 | - |5356 | 661 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1011.92/1011.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1011.92/1011.95 c 996s| 2700k| 2695k| 0 | 0.0 | 761M|4148 | - |5356 | 652 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1015.21/1015.27 c 999s| 2710k| 2705k| 0 | 0.0 | 764M|4148 | - |5356 | 640 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1018.51/1018.57 c 1003s| 2720k| 2715k| 0 | 0.0 | 767M|4148 | - |5356 | 665 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1021.81/1021.82 c 1006s| 2730k| 2725k| 0 | 0.0 | 770M|4148 | - |5356 | 643 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1025.12/1025.12 c 1009s| 2740k| 2735k| 0 | 0.0 | 772M|4148 | - |5356 | 641 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1028.31/1028.35 c 1012s| 2750k| 2745k| 0 | 0.0 | 775M|4148 | - |5356 | 647 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1031.61/1031.64 c 1015s| 2760k| 2754k| 0 | 0.0 | 778M|4148 | - |5356 | 630 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1034.81/1034.88 c 1019s| 2770k| 2764k| 0 | 0.0 | 781M|4148 | - |5356 | 660 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1038.21/1038.27 c 1022s| 2780k| 2774k| 0 | 0.0 | 784M|4148 | - |5356 | 645 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1041.51/1041.50 c 1025s| 2790k| 2784k| 0 | 0.0 | 787M|4148 | - |5356 | 641 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1044.71/1044.74 c 1028s| 2800k| 2794k| 0 | 0.0 | 790M|4148 | - |5356 | 623 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1048.11/1048.14 c 1032s| 2810k| 2804k| 0 | 0.0 | 793M|4148 | - |5356 | 617 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1051.41/1051.44 c 1035s| 2820k| 2814k| 0 | 0.0 | 795M|4148 | - |5356 | 624 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1054.82/1054.83 c 1038s| 2830k| 2824k| 0 | 0.0 | 798M|4148 | - |5356 | 642 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1058.01/1058.07 c 1041s| 2840k| 2834k| 0 | 0.0 | 801M|4148 | - |5356 | 649 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1061.12/1061.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1061.12/1061.14 c 1044s| 2850k| 2844k| 0 | 0.0 | 804M|4148 | - |5356 | 642 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1064.31/1064.37 c 1048s| 2860k| 2854k| 0 | 0.0 | 807M|4148 | - |5356 | 671 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1067.51/1067.53 c 1051s| 2870k| 2864k| 0 | 0.0 | 810M|4148 | - |5356 | 642 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1070.61/1070.69 c 1054s| 2880k| 2874k| 0 | 0.0 | 813M|4148 | - |5356 | 645 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1073.91/1073.93 c 1057s| 2890k| 2884k| 0 | 0.0 | 816M|4148 | - |5356 | 639 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1077.12/1077.11 c 1060s| 2900k| 2894k| 0 | 0.0 | 819M|4148 | - |5356 | 636 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1080.22/1080.28 c 1063s| 2910k| 2904k| 0 | 0.0 | 821M|4148 | - |5356 | 609 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1083.52/1083.54 c 1066s| 2920k| 2914k| 0 | 0.0 | 824M|4148 | - |5356 | 624 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1086.72/1086.79 c 1070s| 2930k| 2924k| 0 | 0.0 | 827M|4148 | - |5356 | 645 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1090.02/1090.08 c 1073s| 2940k| 2934k| 0 | 0.0 | 830M|4148 | - |5356 | 643 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1093.22/1093.29 c 1076s| 2950k| 2944k| 0 | 0.0 | 833M|4148 | - |5356 | 639 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1096.72/1096.73 c 1079s| 2960k| 2954k| 0 | 0.0 | 836M|4148 | - |5356 | 655 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1099.81/1099.87 c 1082s| 2970k| 2964k| 0 | 0.0 | 839M|4148 | - |5356 | 647 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1103.01/1103.02 c 1086s| 2980k| 2974k| 0 | 0.0 | 842M|4148 | - |5356 | 650 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1106.21/1106.29 c 1089s| 2990k| 2984k| 0 | 0.0 | 845M|4148 | - |5356 | 659 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1109.51/1109.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1109.51/1109.51 c 1092s| 3000k| 2994k| 0 | 0.0 | 848M|4148 | - |5356 | 656 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1112.61/1112.64 c 1095s| 3010k| 3004k| 0 | 0.0 | 850M|4148 | - |5356 | 668 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1115.72/1115.78 c 1098s| 3020k| 3014k| 0 | 0.0 | 853M|4148 | - |5356 | 666 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1119.02/1119.03 c 1101s| 3030k| 3024k| 0 | 0.0 | 856M|4148 | - |5356 | 681 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1122.21/1122.22 c 1104s| 3040k| 3034k| 0 | 0.0 | 859M|4148 | - |5356 | 658 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1125.41/1125.41 c 1108s| 3050k| 3044k| 0 | 0.0 | 862M|4148 | - |5356 | 667 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1128.62/1128.67 c 1111s| 3060k| 3054k| 0 | 0.0 | 865M|4148 | - |5356 | 681 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1131.91/1131.97 c 1114s| 3070k| 3064k| 0 | 0.0 | 868M|4148 | - |5356 | 669 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1135.22/1135.23 c 1117s| 3080k| 3074k| 0 | 0.0 | 871M|4148 | - |5356 | 672 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1138.31/1138.39 c 1120s| 3090k| 3084k| 0 | 0.0 | 874M|4148 | - |5356 | 650 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1141.62/1141.61 c 1123s| 3100k| 3094k| 0 | 0.0 | 877M|4148 | - |5356 | 716 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1145.02/1145.00 c 1127s| 3110k| 3104k| 0 | 0.0 | 880M|4148 | - |5356 | 736 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1148.32/1148.32 c 1130s| 3120k| 3114k| 0 | 0.0 | 883M|4148 | - |5356 | 678 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1151.51/1151.56 c 1133s| 3130k| 3124k| 0 | 0.0 | 885M|4148 | - |5356 | 692 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1154.71/1154.78 c 1136s| 3140k| 3134k| 0 | 0.0 | 888M|4148 | - |5356 | 713 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1157.81/1157.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1157.81/1157.84 c 1139s| 3150k| 3144k| 0 | 0.0 | 891M|4148 | - |5356 | 707 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1161.02/1161.02 c 1142s| 3160k| 3154k| 0 | 0.0 | 894M|4148 | - |5356 | 708 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1164.11/1164.15 c 1146s| 3170k| 3163k| 0 | 0.0 | 897M|4148 | - |5356 | 692 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1167.22/1167.26 c 1149s| 3180k| 3173k| 0 | 0.0 | 900M|4148 | - |5356 | 691 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1170.31/1170.39 c 1152s| 3190k| 3183k| 0 | 0.0 | 903M|4148 | - |5356 | 731 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1173.52/1173.52 c 1155s| 3200k| 3193k| 0 | 0.0 | 906M|4148 | - |5356 | 684 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1176.71/1176.74 c 1158s| 3210k| 3203k| 0 | 0.0 | 909M|4148 | - |5356 | 684 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1179.71/1179.71 c 1161s| 3220k| 3213k| 0 | 0.0 | 912M|4148 | - |5356 | 702 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1183.02/1183.05 c 1164s| 3230k| 3223k| 0 | 0.0 | 915M|4148 | - |5356 | 708 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1186.22/1186.26 c 1167s| 3240k| 3233k| 0 | 0.0 | 918M|4148 | - |5356 | 695 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1189.52/1189.54 c 1170s| 3250k| 3243k| 0 | 0.0 | 920M|4148 | - |5356 | 723 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1192.82/1192.82 c 1174s| 3260k| 3253k| 0 | 0.0 | 923M|4148 | - |5356 | 724 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1196.11/1196.16 c 1177s| 3270k| 3263k| 0 | 0.0 | 926M|4148 | - |5356 | 680 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1199.31/1199.33 c 1180s| 3280k| 3273k| 0 | 0.0 | 929M|4148 | - |5356 | 688 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1202.72/1202.72 c 1183s| 3290k| 3283k| 0 | 0.0 | 932M|4148 | - |5356 | 697 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1205.81/1205.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1205.81/1205.86 c 1187s| 3300k| 3293k| 0 | 0.0 | 935M|4148 | - |5356 | 681 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1209.01/1209.02 c 1190s| 3310k| 3303k| 0 | 0.0 | 938M|4148 | - |5356 | 707 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1212.32/1212.32 c 1193s| 3320k| 3313k| 0 | 0.0 | 941M|4148 | - |5356 | 698 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1215.53/1215.56 c 1196s| 3330k| 3323k| 0 | 0.0 | 944M|4148 | - |5356 | 728 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1218.82/1218.81 c 1199s| 3340k| 3333k| 0 | 0.0 | 947M|4148 | - |5356 | 718 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1221.91/1221.98 c 1202s| 3350k| 3343k| 0 | 0.0 | 950M|4148 | - |5356 | 707 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1225.43/1225.45 c 1206s| 3360k| 3353k| 0 | 0.0 | 953M|4148 | - |5356 | 692 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1228.52/1228.59 c 1209s| 3370k| 3363k| 0 | 0.0 | 956M|4148 | - |5356 | 728 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1231.93/1231.92 c 1212s| 3380k| 3373k| 0 | 0.0 | 958M|4148 | - |5356 | 707 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1235.32/1235.33 c 1216s| 3390k| 3383k| 0 | 0.0 | 961M|4148 | - |5356 | 719 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1238.31/1238.38 c 1219s| 3400k| 3393k| 0 | 0.0 | 964M|4148 | - |5356 | 719 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1241.82/1241.82 c 1222s| 3410k| 3403k| 0 | 0.0 | 967M|4148 | - |5356 | 748 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1245.02/1245.02 c 1225s| 3420k| 3413k| 0 | 0.0 | 970M|4148 | - |5356 | 728 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1248.02/1248.04 c 1228s| 3430k| 3423k| 0 | 0.0 | 973M|4148 | - |5356 | 736 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1251.61/1251.67 c 1232s| 3440k| 3433k| 0 | 0.0 | 976M|4148 | - |5356 | 739 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1254.72/1254.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1254.72/1254.78 c 1235s| 3450k| 3443k| 0 | 0.0 | 979M|4148 | - |5356 | 739 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1258.02/1258.04 c 1238s| 3460k| 3453k| 0 | 0.0 | 982M|4148 | - |5356 | 726 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1261.32/1261.32 c 1241s| 3470k| 3463k| 0 | 0.0 | 985M|4148 | - |5356 | 745 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1264.62/1264.63 c 1244s| 3480k| 3473k| 0 | 0.0 | 988M|4148 | - |5356 | 764 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1267.91/1267.96 c 1248s| 3490k| 3483k| 0 | 0.0 | 991M|4148 | - |5356 | 748 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1271.12/1271.13 c 1251s| 3500k| 3493k| 0 | 0.0 | 994M|4148 | - |5356 | 797 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1274.41/1274.42 c 1254s| 3510k| 3503k| 0 | 0.0 | 997M|4148 | - |5356 | 795 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1277.71/1277.73 c 1257s| 3520k| 3513k| 0 | 0.0 |1000M|4148 | - |5356 | 804 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1281.12/1281.19 c 1261s| 3530k| 3523k| 0 | 0.0 |1003M|4148 | - |5356 | 779 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1284.62/1284.63 c 1264s| 3540k| 3533k| 0 | 0.0 |1006M|4148 | - |5356 | 804 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1288.02/1288.02 c 1267s| 3550k| 3542k| 0 | 0.0 |1009M|4148 | - |5356 | 826 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1291.32/1291.34 c 1271s| 3560k| 3552k| 0 | 0.0 |1012M|4148 | - |5356 | 828 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1294.82/1294.87 c 1274s| 3570k| 3562k| 0 | 0.0 |1015M|4148 | - |5356 | 831 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1298.42/1298.47 c 1278s| 3580k| 3572k| 0 | 0.0 |1018M|4148 | - |5356 | 848 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1302.11/1302.15 c 1281s| 3590k| 3582k| 0 | 0.0 |1021M|4148 | - |5356 | 867 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1305.81/1305.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1305.81/1305.82 c 1285s| 3600k| 3592k| 0 | 0.0 |1024M|4148 | - |5356 | 878 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1309.41/1309.45 c 1288s| 3610k| 3602k| 0 | 0.0 |1027M|4148 | - |5356 | 856 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1313.11/1313.13 c 1292s| 3620k| 3612k| 0 | 0.0 |1030M|4148 | - |5356 | 873 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1316.73/1316.79 c 1296s| 3630k| 3622k| 0 | 0.0 |1033M|4148 | - |5356 | 866 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1320.42/1320.50 c 1299s| 3640k| 3632k| 0 | 0.0 |1036M|4148 | - |5356 | 852 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1324.02/1324.06 c 1303s| 3650k| 3642k| 0 | 0.0 |1039M|4148 | - |5356 | 870 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1327.91/1327.98 c 1307s| 3660k| 3652k| 0 | 0.0 |1042M|4148 | - |5356 | 883 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1331.52/1331.57 c 1310s| 3670k| 3662k| 0 | 0.0 |1045M|4148 | - |5356 | 872 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1335.12/1335.17 c 1314s| 3680k| 3672k| 0 | 0.0 |1048M|4148 | - |5356 | 874 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1338.92/1338.98 c 1318s| 3690k| 3682k| 0 | 0.0 |1051M|4148 | - |5356 | 881 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1342.72/1342.77 c 1321s| 3700k| 3692k| 0 | 0.0 |1054M|4148 | - |5356 | 903 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1346.42/1346.47 c 1325s| 3710k| 3702k| 0 | 0.0 |1057M|4148 | - |5356 | 866 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1350.22/1350.29 c 1329s| 3720k| 3712k| 0 | 0.0 |1060M|4148 | - |5356 | 892 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1354.32/1354.30 c 1333s| 3730k| 3722k| 0 | 0.0 |1063M|4148 | - |5356 | 911 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1358.32/1358.39 c 1337s| 3740k| 3732k| 0 | 0.0 |1066M|4148 | - |5356 | 913 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1362.62/1362.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1362.62/1362.64 c 1341s| 3750k| 3742k| 0 | 0.0 |1069M|4148 | - |5356 | 880 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1366.82/1366.85 c 1345s| 3760k| 3752k| 0 | 0.0 |1072M|4148 | - |5356 | 881 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1371.02/1371.03 c 1349s| 3770k| 3762k| 0 | 0.0 |1075M|4148 | - |5356 | 899 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1375.12/1375.16 c 1353s| 3780k| 3772k| 0 | 0.0 |1078M|4148 | - |5356 | 888 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1379.32/1379.38 c 1357s| 3790k| 3782k| 0 | 0.0 |1081M|4148 | - |5356 | 904 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1383.52/1383.52 c 1361s| 3800k| 3792k| 0 | 0.0 |1084M|4148 | - |5356 | 896 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1387.62/1387.67 c 1366s| 3810k| 3802k| 0 | 0.0 |1087M|4148 | - |5356 | 881 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1391.82/1391.81 c 1370s| 3820k| 3812k| 0 | 0.0 |1090M|4148 | - |5356 | 907 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1395.82/1395.90 c 1374s| 3830k| 3822k| 0 | 0.0 |1094M|4148 | - |5356 | 886 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1399.92/1399.94 c 1378s| 3840k| 3831k| 0 | 0.0 |1097M|4148 | - |5356 | 914 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1403.92/1403.96 c 1382s| 3850k| 3841k| 0 | 0.0 |1100M|4148 | - |5356 | 880 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1407.92/1407.90 c 1385s| 3860k| 3851k| 0 | 0.0 |1103M|4148 | - |5356 | 886 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1411.92/1411.91 c 1389s| 3870k| 3861k| 0 | 0.0 |1106M|4148 | - |5356 | 888 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1415.92/1415.92 c 1393s| 3880k| 3871k| 0 | 0.0 |1109M|4148 | - |5356 | 888 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1419.92/1419.96 c 1397s| 3890k| 3881k| 0 | 0.0 |1113M|4148 | - |5356 | 888 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1423.92/1423.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1423.92/1423.96 c 1401s| 3900k| 3891k| 0 | 0.0 |1116M|4148 | - |5356 | 889 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1428.02/1428.04 c 1405s| 3910k| 3901k| 0 | 0.0 |1119M|4148 | - |5356 | 901 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1432.02/1432.01 c 1409s| 3920k| 3911k| 0 | 0.0 |1122M|4148 | - |5356 | 900 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1436.02/1436.03 c 1413s| 3930k| 3921k| 0 | 0.0 |1126M|4148 | - |5356 | 911 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1440.02/1440.02 c 1417s| 3940k| 3931k| 0 | 0.0 |1129M|4148 | - |5356 | 891 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1443.92/1443.95 c 1421s| 3950k| 3941k| 0 | 0.0 |1132M|4148 | - |5356 | 898 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1448.02/1448.00 c 1425s| 3960k| 3951k| 0 | 0.0 |1135M|4148 | - |5356 | 924 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1451.92/1451.92 c 1429s| 3970k| 3961k| 0 | 0.0 |1138M|4148 | - |5356 | 888 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1455.92/1455.93 c 1433s| 3980k| 3971k| 0 | 0.0 |1142M|4148 | - |5356 | 865 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1459.82/1459.85 c 1437s| 3990k| 3981k| 0 | 0.0 |1145M|4148 | - |5356 | 867 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1463.72/1463.75 c 1441s| 4000k| 3991k| 0 | 0.0 |1148M|4148 | - |5356 | 899 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1467.62/1467.65 c 1444s| 4010k| 4001k| 0 | 0.0 |1151M|4148 | - |5356 | 881 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1471.52/1471.56 c 1448s| 4020k| 4011k| 0 | 0.0 |1154M|4148 | - |5356 | 902 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1475.32/1475.39 c 1452s| 4030k| 4021k| 0 | 0.0 |1158M|4148 | - |5356 | 884 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1479.32/1479.32 c 1456s| 4040k| 4031k| 0 | 0.0 |1161M|4148 | - |5356 | 889 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1483.23/1483.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1483.23/1483.25 c 1460s| 4050k| 4041k| 0 | 0.0 |1164M|4148 | - |5356 | 872 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1487.13/1487.17 c 1464s| 4060k| 4051k| 0 | 0.0 |1167M|4148 | - |5356 | 919 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1491.02/1491.08 c 1467s| 4070k| 4061k| 0 | 0.0 |1170M|4148 | - |5356 | 873 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1495.02/1495.00 c 1471s| 4080k| 4070k| 0 | 0.0 |1174M|4148 | - |5356 | 879 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1498.92/1498.90 c 1475s| 4090k| 4080k| 0 | 0.0 |1177M|4148 | - |5356 | 886 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1502.73/1502.77 c 1479s| 4100k| 4090k| 0 | 0.0 |1180M|4148 | - |5356 | 901 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1506.62/1506.65 c 1483s| 4110k| 4100k| 0 | 0.0 |1183M|4148 | - |5356 | 882 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1510.52/1510.58 c 1487s| 4120k| 4110k| 0 | 0.0 |1187M|4148 | - |5356 | 879 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1514.42/1514.43 c 1491s| 4130k| 4120k| 0 | 0.0 |1190M|4148 | - |5356 | 873 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1518.22/1518.29 c 1494s| 4140k| 4130k| 0 | 0.0 |1193M|4148 | - |5356 | 879 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1522.12/1522.12 c 1498s| 4150k| 4140k| 0 | 0.0 |1196M|4148 | - |5356 | 884 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1525.92/1525.99 c 1502s| 4160k| 4150k| 0 | 0.0 |1199M|4148 | - |5356 | 880 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1529.82/1529.89 c 1506s| 4170k| 4160k| 0 | 0.0 |1203M|4148 | - |5356 | 882 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1533.72/1533.73 c 1510s| 4180k| 4170k| 0 | 0.0 |1206M|4148 | - |5356 | 891 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1537.52/1537.56 c 1513s| 4190k| 4180k| 0 | 0.0 |1209M|4148 | - |5356 | 884 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1541.32/1541.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1541.32/1541.33 c 1517s| 4200k| 4190k| 0 | 0.0 |1212M|4148 | - |5356 | 882 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1545.12/1545.17 c 1521s| 4210k| 4200k| 0 | 0.0 |1215M|4148 | - |5356 | 899 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1548.92/1548.90 c 1524s| 4220k| 4210k| 0 | 0.0 |1219M|4148 | - |5356 | 892 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1552.63/1552.69 c 1528s| 4230k| 4220k| 0 | 0.0 |1222M|4148 | - |5356 | 901 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1556.43/1556.46 c 1532s| 4240k| 4230k| 0 | 0.0 |1225M|4148 | - |5356 | 889 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1560.22/1560.28 c 1536s| 4250k| 4240k| 0 | 0.0 |1228M|4148 | - |5356 | 886 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1564.13/1564.11 c 1539s| 4260k| 4250k| 0 | 0.0 |1232M|4148 | - |5356 | 877 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1567.82/1567.83 c 1543s| 4270k| 4260k| 0 | 0.0 |1235M|4148 | - |5356 | 864 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1571.53/1571.52 c 1547s| 4280k| 4270k| 0 | 0.0 |1238M|4148 | - |5356 | 864 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1575.23/1575.24 c 1550s| 4290k| 4280k| 0 | 0.0 |1241M|4148 | - |5356 | 893 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1578.92/1578.95 c 1554s| 4300k| 4290k| 0 | 0.0 |1244M|4148 | - |5356 | 873 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1582.62/1582.61 c 1558s| 4310k| 4300k| 0 | 0.0 |1248M|4148 | - |5356 | 869 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1586.32/1586.32 c 1561s| 4320k| 4309k| 0 | 0.0 |1251M|4148 | - |5356 | 872 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1590.02/1590.03 c 1565s| 4330k| 4319k| 0 | 0.0 |1254M|4148 | - |5356 | 871 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1593.73/1593.70 c 1569s| 4340k| 4329k| 0 | 0.0 |1257M|4148 | - |5356 | 860 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1597.43/1597.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1597.43/1597.40 c 1572s| 4350k| 4339k| 0 | 0.0 |1261M|4148 | - |5356 | 872 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1600.93/1600.98 c 1576s| 4360k| 4349k| 0 | 0.0 |1264M|4148 | - |5356 | 872 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1604.62/1604.60 c 1579s| 4370k| 4359k| 0 | 0.0 |1267M|4148 | - |5356 | 892 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1608.23/1608.26 c 1583s| 4380k| 4369k| 0 | 0.0 |1270M|4148 | - |5356 | 913 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1611.92/1611.94 c 1587s| 4390k| 4379k| 0 | 0.0 |1273M|4148 | - |5356 | 878 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1615.52/1615.52 c 1590s| 4400k| 4389k| 0 | 0.0 |1277M|4148 | - |5356 | 878 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1619.13/1619.15 c 1594s| 4410k| 4399k| 0 | 0.0 |1280M|4148 | - |5356 | 879 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1622.93/1622.90 c 1597s| 4420k| 4409k| 0 | 0.0 |1283M|4148 | - |5356 | 871 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1626.42/1626.46 c 1601s| 4430k| 4419k| 0 | 0.0 |1286M|4148 | - |5356 | 890 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1630.02/1630.02 c 1604s| 4440k| 4429k| 0 | 0.0 |1289M|4148 | - |5356 | 868 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1633.62/1633.62 c 1608s| 4450k| 4439k| 0 | 0.0 |1293M|4148 | - |5356 | 891 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1637.22/1637.20 c 1611s| 4460k| 4449k| 0 | 0.0 |1296M|4148 | - |5356 | 922 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1640.83/1640.86 c 1615s| 4470k| 4459k| 0 | 0.0 |1299M|4148 | - |5356 | 849 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1644.43/1644.45 c 1619s| 4480k| 4469k| 0 | 0.0 |1302M|4148 | - |5356 | 863 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1648.13/1648.14 c 1622s| 4490k| 4479k| 0 | 0.0 |1306M|4148 | - |5356 | 896 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1651.73/1651.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1651.73/1651.71 c 1626s| 4500k| 4489k| 0 | 0.0 |1309M|4148 | - |5356 | 875 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1655.23/1655.27 c 1629s| 4510k| 4499k| 0 | 0.0 |1312M|4148 | - |5356 | 879 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1658.83/1658.85 c 1633s| 4520k| 4509k| 0 | 0.0 |1315M|4148 | - |5356 | 877 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1662.33/1662.38 c 1636s| 4530k| 4519k| 0 | 0.0 |1318M|4148 | - |5356 | 867 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1665.92/1665.96 c 1640s| 4540k| 4529k| 0 | 0.0 |1321M|4148 | - |5356 | 881 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1669.53/1669.50 c 1643s| 4550k| 4538k| 0 | 0.0 |1325M|4148 | - |5356 | 867 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1673.03/1673.03 c 1647s| 4560k| 4548k| 0 | 0.0 |1328M|4148 | - |5356 | 876 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1676.52/1676.59 c 1650s| 4570k| 4558k| 0 | 0.0 |1331M|4148 | - |5356 | 897 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1680.23/1680.21 c 1654s| 4580k| 4568k| 0 | 0.0 |1334M|4148 | - |5356 | 869 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1683.73/1683.74 c 1657s| 4590k| 4578k| 0 | 0.0 |1337M|4148 | - |5356 | 876 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1687.23/1687.26 c 1661s| 4600k| 4588k| 0 | 0.0 |1341M|4148 | - |5356 | 857 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1690.73/1690.74 c 1664s| 4610k| 4598k| 0 | 0.0 |1344M|4148 | - |5356 | 904 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1694.23/1694.26 c 1667s| 4620k| 4608k| 0 | 0.0 |1347M|4148 | - |5356 | 849 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1697.72/1697.76 c 1671s| 4630k| 4618k| 0 | 0.0 |1350M|4148 | - |5356 | 901 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1701.23/1701.20 c 1674s| 4640k| 4628k| 0 | 0.0 |1354M|4148 | - |5356 | 882 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1704.63/1704.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1704.63/1704.65 c 1678s| 4650k| 4638k| 0 | 0.0 |1357M|4148 | - |5356 | 862 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1708.12/1708.12 c 1681s| 4660k| 4648k| 0 | 0.0 |1360M|4148 | - |5356 | 868 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1711.73/1711.78 c 1685s| 4670k| 4658k| 0 | 0.0 |1363M|4148 | - |5356 | 974 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1715.22/1715.21 c 1688s| 4680k| 4668k| 0 | 0.0 |1366M|4148 | - |5356 | 899 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1718.63/1718.68 c 1692s| 4690k| 4678k| 0 | 0.0 |1369M|4148 | - |5356 | 876 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1722.13/1722.15 c 1695s| 4700k| 4688k| 0 | 0.0 |1373M|4148 | - |5356 | 884 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1725.63/1725.63 c 1698s| 4710k| 4698k| 0 | 0.0 |1376M|4148 | - |5356 | 860 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1729.13/1729.17 c 1702s| 4720k| 4708k| 0 | 0.0 |1379M|4148 | - |5356 | 884 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1732.73/1732.72 c 1705s| 4730k| 4718k| 0 | 0.0 |1382M|4148 | - |5356 | 897 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1736.23/1736.20 c 1709s| 4740k| 4728k| 0 | 0.0 |1385M|4148 | - |5356 | 874 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1739.63/1739.67 c 1712s| 4750k| 4738k| 0 | 0.0 |1389M|4148 | - |5356 | 887 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1743.13/1743.11 c 1716s| 4760k| 4748k| 0 | 0.0 |1392M|4148 | - |5356 | 894 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1746.53/1746.55 c 1719s| 4770k| 4757k| 0 | 0.0 |1395M|4148 | - |5356 | 868 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1749.92/1749.92 c 1722s| 4780k| 4767k| 0 | 0.0 |1398M|4148 | - |5356 | 874 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1753.23/1753.29 c 1726s| 4790k| 4777k| 0 | 0.0 |1401M|4148 | - |5356 | 888 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1756.53/1756.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1756.53/1756.59 c 1729s| 4800k| 4787k| 0 | 0.0 |1405M|4148 | - |5356 | 869 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1760.04/1760.06 c 1732s| 4810k| 4797k| 0 | 0.0 |1408M|4148 | - |5356 | 885 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1763.43/1763.41 c 1736s| 4820k| 4807k| 0 | 0.0 |1411M|4148 | - |5356 | 923 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1766.73/1766.72 c 1739s| 4830k| 4817k| 0 | 0.0 |1414M|4148 | - |5356 | 883 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1770.02/1770.06 c 1742s| 4840k| 4827k| 0 | 0.0 |1417M|4148 | - |5356 | 888 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1773.43/1773.48 c 1745s| 4850k| 4837k| 0 | 0.0 |1421M|4148 | - |5356 | 862 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1776.73/1776.74 c 1749s| 4860k| 4847k| 0 | 0.0 |1424M|4148 | - |5356 | 866 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1780.03/1780.04 c 1752s| 4870k| 4857k| 0 | 0.0 |1427M|4148 | - |5356 | 865 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1783.33/1783.38 c 1755s| 4880k| 4867k| 0 | 0.0 |1430M|4148 | - |5356 | 857 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1786.53/1786.59 c 1758s| 4890k| 4877k| 0 | 0.0 |1433M|4148 | - |5356 | 883 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1789.83/1789.84 c 1762s| 4900k| 4887k| 0 | 0.0 |1437M|4148 | - |5356 | 878 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1793.04/1793.05 c 1765s| 4910k| 4897k| 0 | 0.0 |1440M|4148 | - |5356 | 859 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
1796.33/1796.32 c 1768s| 4920k| 4907k| 0 | 0.0 |1443M|4148 | - |5356 | 879 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
1799.54/1799.60 c 1771s| 4930k| 4917k| 0 | 0.0 |1446M|4148 | - |5356 | 873 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1771.48
1800.03/1800.00 c Solving Nodes : 4931234
1800.03/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 s UNKNOWN
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time : 1771.48
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-2693799-1277893198.wbo
1800.03/1800.00 c Variables : 5356 (5303 binary, 0 integer, 0 implicit integer, 53 continuous)
1800.03/1800.00 c Constraints : 199 initial, 199 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-2693799-1277893198.wbo
1800.03/1800.00 c Variables : 5356 (5303 binary, 0 integer, 0 implicit integer, 53 continuous)
1800.03/1800.00 c Constraints : 198 initial, 1021 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.03 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.01 0 0 0 53 0 1 0 0
1800.03/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c root node : - 0 - - 0 - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 53 0 256 0 53 0 53 0 0 0
1800.03/1800.00 c setppc : 39 0 5099568 0 4900778 4101 3417218 0 0 0
1800.03/1800.00 c linear : 53 0 5130475 0 4925381 1787 502948 0 0 0
1800.03/1800.00 c logicor : 53+ 0 575851 0 4925381 924 111833 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 4925381 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c setppc : 211.02 0.00 42.57 0.00 168.45
1800.03/1800.00 c linear : 55.67 0.00 52.44 0.00 3.23
1800.03/1800.00 c logicor : 204.88 0.00 15.41 0.00 189.47
1800.03/1800.00 c countsols : 0.82 0.00 0.00 0.00 0.82
1800.03/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.00 c vbounds : 1.29 2 0 0
1800.03/1800.00 c rootredcost : 1.23 0 0 0
1800.03/1800.00 c pseudoobj : 8.48 5134379 0 0
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 87.40 6812 6812 185904 761.6 81275 62.8 -
1800.03/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.00 c applied globally : - - - 65322 86.2 - - -
1800.03/1800.00 c applied locally : - - - 256 673.4 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.00 c redcost : 0.00 0 0 0 0 0
1800.03/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.00 c cmir : 0.00 0 0 0 0 0
1800.03/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.00 c clique : 0.00 0 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 1204.74 4925381 0 0 0 0 9850762
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.00 - 0
1800.03/1800.00 c oneopt : 1.23 0 0
1800.03/1800.00 c trivial : 0.00 2 0
1800.03/1800.00 c simplerounding : 0.00 0 0
1800.03/1800.00 c zirounding : 0.00 0 0
1800.03/1800.00 c rounding : 0.00 0 0
1800.03/1800.00 c shifting : 0.00 0 0
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c feaspump : 0.00 0 0
1800.03/1800.00 c coefdiving : 0.00 0 0
1800.03/1800.00 c pscostdiving : 0.00 0 0
1800.03/1800.00 c fracdiving : 0.00 0 0
1800.03/1800.00 c veclendiving : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c objpscostdiving : 0.00 0 0
1800.03/1800.00 c rootsoldiving : 0.00 0 0
1800.03/1800.00 c linesearchdiving : 0.00 0 0
1800.03/1800.00 c guideddiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.00 0 0
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c crossover : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c nlp : 1.60 0 0
1800.03/1800.00 c trysol : 0.99 1 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.00 c (at root node) : - 0 0 0.00 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 4931234
1800.03/1800.00 c nodes (total) : 4931234
1800.03/1800.00 c nodes left : 4918534
1800.03/1800.00 c max depth : 4148
1800.03/1800.00 c max depth (total): 4148
1800.03/1800.00 c backtracks : 2532 (0.1%)
1800.03/1800.00 c delayed cutoffs : 995
1800.03/1800.00 c repropagations : 11514 (162537 domain reductions, 959 cutoffs)
1800.03/1800.00 c avg switch length: 2.19
1800.03/1800.00 c switching time : 22.97
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 0 (0 improvements)
1800.03/1800.00 c Primal Bound : -
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.03/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-2693799-1277893198/watcher-2693799-1277893198 -o /tmp/evaluation-result-2693799-1277893198/solver-2693799-1277893198 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693799-1277893198.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.91 1.97 2.05 3/178 23471
/proc/meminfo: memFree=27544624/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=9172 CPUtime=0
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 1788 0 0 0 0 0 0 0 25 0 1 0 164923335 9392128 1710 4089446400 4194304 7136930 140736744423136 18446744073709551615 6350076 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23471/statm: 2293 1711 275 719 0 1572 0
[startup+0.014746 s]
/proc/loadavg: 1.91 1.97 2.05 3/178 23471
/proc/meminfo: memFree=27544624/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=12816 CPUtime=0.01
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 2696 0 0 0 1 0 0 0 25 0 1 0 164923335 13123584 2618 4089446400 4194304 7136930 140736744423136 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23471/statm: 3204 2621 275 719 0 2483 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12816
[startup+0.100761 s]
/proc/loadavg: 1.91 1.97 2.05 3/178 23471
/proc/meminfo: memFree=27544624/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=26020 CPUtime=0.09
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 7465 0 0 0 8 1 0 0 25 0 1 0 164923335 26644480 5748 4089446400 4194304 7136930 140736744423136 18446744073709551615 4407988 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23471/statm: 6505 5748 390 719 0 5784 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26020
[startup+0.300732 s]
/proc/loadavg: 1.91 1.97 2.05 3/178 23471
/proc/meminfo: memFree=27544624/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=26152 CPUtime=0.29
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 7474 0 0 0 28 1 0 0 25 0 1 0 164923335 26779648 5757 4089446400 4194304 7136930 140736744423136 18446744073709551615 5892296 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23471/statm: 6538 5757 390 719 0 5817 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26152
[startup+0.700658 s]
/proc/loadavg: 1.91 1.97 2.05 3/178 23471
/proc/meminfo: memFree=27544624/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=27180 CPUtime=0.69
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 7755 0 0 0 67 2 0 0 25 0 1 0 164923335 27832320 6038 4089446400 4194304 7136930 140736744423136 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23471/statm: 6795 6038 390 719 0 6074 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27180
[startup+1.50052 s]
/proc/loadavg: 1.91 1.97 2.05 3/179 23472
/proc/meminfo: memFree=27519940/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=28164 CPUtime=1.48
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 8003 0 0 0 145 3 0 0 25 0 1 0 164923335 28839936 6286 4089446400 4194304 7136930 140736744423136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23471/statm: 7041 6286 390 719 0 6320 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 28164
[startup+3.10023 s]
/proc/loadavg: 1.91 1.97 2.05 3/179 23472
/proc/meminfo: memFree=27517956/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=29788 CPUtime=3.09
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 8402 0 0 0 303 6 0 0 25 0 1 0 164923335 30502912 6685 4089446400 4194304 7136930 140736744423136 18446744073709551615 4407949 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23471/statm: 7447 6685 394 719 0 6726 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29788
[startup+6.30066 s]
/proc/loadavg: 1.92 1.97 2.05 3/179 23472
/proc/meminfo: memFree=27507612/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=32536 CPUtime=6.29
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 9137 0 0 0 617 12 0 0 25 0 1 0 164923335 33316864 7420 4089446400 4194304 7136930 140736744423136 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23471/statm: 8134 7420 394 719 0 7413 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32536
[startup+12.7005 s]
/proc/loadavg: 1.93 1.97 2.05 3/179 23472
/proc/meminfo: memFree=27486564/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=39252 CPUtime=12.69
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 10889 0 0 0 1247 22 0 0 25 0 1 0 164923335 40194048 9172 4089446400 4194304 7136930 140736744423136 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23471/statm: 9813 9172 394 719 0 9092 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39252
[startup+25.5003 s]
/proc/loadavg: 1.94 1.97 2.05 3/179 23473
/proc/meminfo: memFree=27447128/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=49676 CPUtime=25.49
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 13610 0 0 0 2508 41 0 0 25 0 1 0 164923335 50868224 11893 4089446400 4194304 7136930 140736744423136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23471/statm: 12419 11893 394 719 0 11698 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49676
[startup+51.1008 s]
/proc/loadavg: 1.96 1.97 2.04 3/179 23474
/proc/meminfo: memFree=27385768/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=68368 CPUtime=51.1
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 17984 0 0 0 5033 77 0 0 25 0 1 0 164923335 70008832 16267 4089446400 4194304 7136930 140736744423136 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23471/statm: 17092 16267 394 719 0 16371 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 68368
[startup+102.307 s]
/proc/loadavg: 1.98 1.97 2.04 3/179 23475
/proc/meminfo: memFree=27226748/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=110012 CPUtime=102.3
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 27794 0 0 0 10078 152 0 0 25 0 1 0 164923335 112652288 26077 4089446400 4194304 7136930 140736744423136 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23471/statm: 27503 26077 394 719 0 26782 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 110012
[startup+162.301 s]
/proc/loadavg: 1.99 1.97 2.03 3/179 23476
/proc/meminfo: memFree=26988864/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=149448 CPUtime=162.29
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 38137 0 0 0 15997 232 0 0 25 0 1 0 164923335 153034752 36416 4089446400 4194304 7136930 140736744423136 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23471/statm: 37362 36416 394 719 0 36641 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 149448
[startup+222.3 s]
/proc/loadavg: 1.99 1.97 2.03 3/179 23478
/proc/meminfo: memFree=26783472/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=198012 CPUtime=222.29
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 48644 0 0 0 21914 315 0 0 25 0 1 0 164923335 202764288 46923 4089446400 4194304 7136930 140736744423136 18446744073709551615 5908957 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23471/statm: 49503 46923 394 719 0 48782 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 198012
[startup+282.301 s]
/proc/loadavg: 2.14 2.00 2.03 3/197 23526
/proc/meminfo: memFree=30323812/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=236276 CPUtime=282.29
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 58720 0 0 0 27793 436 0 0 25 0 1 0 164923335 241946624 56999 4089446400 4194304 7136930 140736744423136 18446744073709551615 5909102 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23471/statm: 59069 56999 394 719 0 58348 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 236276
[startup+342.3 s]
/proc/loadavg: 2.05 2.00 2.03 4/179 23555
/proc/meminfo: memFree=30336136/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=282780 CPUtime=342.29
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 70824 0 0 0 33705 524 0 0 25 0 1 0 164923335 289566720 69103 4089446400 4194304 7136930 140736744423136 18446744073709551615 4643319 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23471/statm: 70695 69103 394 719 0 69974 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 282780
[startup+402.301 s]
/proc/loadavg: 2.02 2.00 2.02 4/179 23557
/proc/meminfo: memFree=30237604/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=327160 CPUtime=402.3
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 82421 0 0 0 39617 613 0 0 25 0 1 0 164923335 335011840 80700 4089446400 4194304 7136930 140736744423136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23471/statm: 81790 80700 394 719 0 81069 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 327160
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.02 4/179 23558
/proc/meminfo: memFree=30140564/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=390204 CPUtime=462.3
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 94598 0 0 0 45527 703 0 0 25 0 1 0 164923335 399568896 92877 4089446400 4194304 7136930 140736744423136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23471/statm: 97551 92877 394 719 0 96830 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 390204
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.01 4/179 23560
/proc/meminfo: memFree=30039452/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=440176 CPUtime=522.29
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 107644 0 0 0 51434 795 0 0 25 0 1 0 164923335 450740224 105923 4089446400 4194304 7136930 140736744423136 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23471/statm: 110044 105923 394 719 0 109323 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 440176
[startup+582.301 s]
/proc/loadavg: 2.05 2.01 2.01 4/179 23562
/proc/meminfo: memFree=29941192/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=488232 CPUtime=582.3
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 120269 0 0 0 57341 889 0 0 25 0 1 0 164923335 499949568 118548 4089446400 4194304 7136930 140736744423136 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23471/statm: 122058 118548 394 719 0 121337 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 488232
[startup+642.301 s]
/proc/loadavg: 2.02 2.01 2.00 4/179 23563
/proc/meminfo: memFree=29844188/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=534856 CPUtime=642.31
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 132488 0 0 0 63250 981 0 0 25 0 1 0 164923335 547692544 130767 4089446400 4194304 7136930 140736744423136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23471/statm: 133714 130767 394 719 0 132993 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 534856
[startup+702.3 s]
################
# More data... #
################
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 215676 0 0 0 98655 1576 0 0 25 0 1 0 164923335 905973760 213955 4089446400 4194304 7136930 140736744423136 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23471/statm: 221185 213955 394 719 0 220464 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 884740
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23574
/proc/meminfo: memFree=29104900/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=936872 CPUtime=1062.32
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 229345 0 0 0 104556 1676 0 0 25 0 1 0 164923335 959356928 227624 4089446400 4194304 7136930 140736744423136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23471/statm: 234218 227624 394 719 0 233497 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 936872
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23576
/proc/meminfo: memFree=28989148/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=992312 CPUtime=1122.31
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 243832 0 0 0 110448 1783 0 0 25 0 1 0 164923335 1016127488 242111 4089446400 4194304 7136930 140736744423136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23471/statm: 248078 242111 394 719 0 247357 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 992312
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23578
/proc/meminfo: memFree=28880712/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=1048072 CPUtime=1182.31
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 258442 0 0 0 116339 1892 0 0 25 0 1 0 164923335 1073225728 256721 4089446400 4194304 7136930 140736744423136 18446744073709551615 4643136 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23471/statm: 262018 256721 394 719 0 261297 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1048072
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23579
/proc/meminfo: memFree=28776004/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=1101832 CPUtime=1242.32
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 272446 0 0 0 122241 1991 0 0 25 0 1 0 164923335 1128275968 270725 4089446400 4194304 7136930 140736744423136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23471/statm: 275458 270725 394 719 0 274737 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1101832
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23581
/proc/meminfo: memFree=28665716/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=1159504 CPUtime=1302.32
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 287440 0 0 0 128141 2091 0 0 25 0 1 0 164923335 1187332096 285719 4089446400 4194304 7136930 140736744423136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23471/statm: 289876 285719 394 719 0 289155 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1159504
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23582
/proc/meminfo: memFree=28562360/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=1208736 CPUtime=1362.32
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 300154 0 0 0 134051 2181 0 0 25 0 1 0 164923335 1237745664 298433 4089446400 4194304 7136930 140736744423136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23471/statm: 302184 298433 394 719 0 301463 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1208736
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23584
/proc/meminfo: memFree=28459000/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=1257956 CPUtime=1422.33
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 312746 0 0 0 139969 2264 0 0 25 0 1 0 164923335 1288146944 311025 4089446400 4194304 7136930 140736744423136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23471/statm: 314489 311025 394 719 0 313768 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1257956
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23586
/proc/meminfo: memFree=28363104/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=1305984 CPUtime=1482.33
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 325281 0 0 0 145884 2349 0 0 25 0 1 0 164923335 1337327616 323560 4089446400 4194304 7136930 140736744423136 18446744073709551615 4643155 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23471/statm: 326496 323560 394 719 0 325775 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1305984
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23587
/proc/meminfo: memFree=28261488/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=1422240 CPUtime=1542.32
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 338442 0 0 0 151795 2437 0 0 25 0 1 0 164923335 1456373760 336721 4089446400 4194304 7136930 140736744423136 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23471/statm: 355560 336721 394 719 0 354839 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 1422240
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23589
/proc/meminfo: memFree=28159112/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=1471452 CPUtime=1602.33
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 351385 0 0 0 157704 2529 0 0 25 0 1 0 164923335 1506766848 349664 4089446400 4194304 7136930 140736744423136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23471/statm: 367863 349664 394 719 0 367142 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1471452
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23590
/proc/meminfo: memFree=28050444/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=1527224 CPUtime=1662.33
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 365824 0 0 0 163608 2625 0 0 25 0 1 0 164923335 1563877376 364103 4089446400 4194304 7136930 140736744423136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23471/statm: 381806 364103 394 719 0 381085 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1527224
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23592
/proc/meminfo: memFree=27940032/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=1582208 CPUtime=1722.32
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 380044 0 0 0 169507 2725 0 0 25 0 1 0 164923335 1620180992 378323 4089446400 4194304 7136930 140736744423136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23471/statm: 395552 378323 394 719 0 394831 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 1582208
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 23594
/proc/meminfo: memFree=27821416/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=1639824 CPUtime=1782.33
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 394977 0 0 0 175410 2823 0 0 25 0 1 0 164923335 1679179776 393256 4089446400 4194304 7136930 140736744423136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23471/statm: 409956 393256 394 719 0 409235 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1639824
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23594
/proc/meminfo: memFree=27787424/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=1657416 CPUtime=1800.03
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 399522 0 0 0 177149 2854 0 0 25 0 1 0 164923335 1697193984 397801 4089446400 4194304 7136930 140736744423136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23471/statm: 414354 397801 394 719 0 413633 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1657416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -23471
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 4/180 23595
/proc/meminfo: memFree=27787292/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=1657444 CPUtime=1801.43
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 399549 0 0 0 177289 2854 0 0 19 0 1 0 164923335 1697222656 397828 4089446400 4194304 7136930 140736744423136 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/23471/statm: 414361 397828 399 719 0 413640 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 1657444
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 4/180 23595
/proc/meminfo: memFree=27786052/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=1657444 CPUtime=1801.83
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 399549 0 0 0 177329 2854 0 0 20 0 1 0 164923335 1697222656 397828 4089446400 4194304 7136930 140736744423136 18446744073709551615 6166261 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/23471/statm: 414361 397828 399 719 0 413640 0
Current children cumulated CPU time (s) 1801.83
Current children cumulated vsize (KiB) 1657444
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 4/180 23595
/proc/meminfo: memFree=27786052/32950928 swapFree=67111528/67111528
[pid=23471] ppid=23469 vsize=1657444 CPUtime=1802.03
/proc/23471/stat : 23471 (pbscip.linux.x8) R 23469 23471 21652 0 -1 4202496 399549 0 0 0 177349 2854 0 0 21 0 1 0 164923335 1697222656 397828 4089446400 4194304 7136930 140736744423136 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/23471/statm: 414361 397828 399 719 0 413640 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 1657444
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.06
CPU time (s): 1802.1
CPU user time (s): 1773.5
CPU system time (s): 28.5997
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1657444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.5
system time used= 28.5997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 399549
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= 2
involuntary context switches= 4608
runsolver used 2.99654 second user time and 6.592 second system time
The end
Begin job on node112 at 2010-06-30 12:19:58
IDJOB=2693799
IDBENCH=78722
IDSOLVER=1206
FILE ID=node112/2693799-1277893198
PBS_JOBID= 11197129
Free space on /tmp= 74208 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-75-70--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-2693799-1277893198/watcher-2693799-1277893198 -o /tmp/evaluation-result-2693799-1277893198/solver-2693799-1277893198 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693799-1277893198.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9f59d922c085a32576bd21436364ce6a
RANDOM SEED=1904254652
node112.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.827
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.65
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.827
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.75
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.827
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.82
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.827
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.73
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.827
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.82
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.827
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.827
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.82
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.827
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 27545276 kB
Buffers: 173676 kB
Cached: 1881892 kB
SwapCached: 0 kB
Active: 3714560 kB
Inactive: 1543016 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 27545276 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3120 kB
Writeback: 0 kB
AnonPages: 3201724 kB
Mapped: 15080 kB
Slab: 79640 kB
PageTables: 10524 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 3342984 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= 74204 MiB
End job on node112 at 2010-06-30 12:50:00