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-2693804-1277893481.wbo>
0.01/0.01 c original problem has 5056 variables (5013 bin, 0 int, 0 impl, 43 cont) and 185 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, 43 impls, 52 clqs
0.01/0.03 c (round 2) 0 del vars, 1 del conss, 43 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 43 impls, 52 clqs
0.01/0.04 c (round 3) 0 del vars, 1 del conss, 43 chg bounds, 0 chg sides, 0 chg coeffs, 46 upgd conss, 43 impls, 52 clqs
0.01/0.04 c (round 4) 0 del vars, 1 del conss, 43 chg bounds, 0 chg sides, 0 chg coeffs, 98 upgd conss, 43 impls, 52 clqs
0.01/0.07 c (0.1s) probing: 101/5013 (2.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.07 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.01/0.07 c presolving (5 rounds):
0.01/0.07 c 0 deleted vars, 1 deleted constraints, 43 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.07 c 43 implications, 52 cliques
0.01/0.07 c presolved problem has 5056 variables (5013 bin, 0 int, 0 impl, 43 cont) and 184 constraints
0.01/0.07 c 43 constraints of type <indicator>
0.01/0.07 c 52 constraints of type <setppc>
0.01/0.07 c 43 constraints of type <linear>
0.01/0.07 c 46 constraints of type <logicor>
0.01/0.07 c transformed objective value is always integral (scale: 1)
0.01/0.07 c Presolving Time: 0.04
0.01/0.07 c - non default parameters ----------------------------------------------------------------------
0.01/0.07 c # SCIP version 1.2.1.2
0.01/0.07 c
0.01/0.07 c # frequency for displaying node information lines
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.07 c display/freq = 10000
0.01/0.07 c
0.01/0.07 c # maximal time in seconds to run
0.01/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.07 c limits/time = 1799.99
0.01/0.07 c
0.01/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.07 c limits/memory = 3420
0.01/0.07 c
0.01/0.07 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.07 c lp/solvefreq = -1
0.01/0.07 c
0.01/0.07 c # should presolving try to simplify inequalities
0.01/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.07 c constraints/linear/simplifyinequalities = TRUE
0.01/0.07 c
0.01/0.07 c # should presolving try to simplify knapsacks
0.01/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.07 c
0.01/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.07 c separating/rapidlearning/freq = 0
0.01/0.07 c
0.01/0.07 c -----------------------------------------------------------------------------------------------
0.01/0.07 c start solving
0.01/0.07 c
0.01/0.08 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.08 c 0.1s| 1 | 2 | 0 | - |9804k| 0 | - |5056 | 184 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.99/4.01 c 3.8s| 10000 | 9989 | 0 | 0.0 | 12M|2996 | - |5056 | 217 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf
7.29/7.30 c 6.9s| 20000 | 19964 | 0 | 0.0 | 15M|3018 | - |5056 | 273 | 0 | 0 | 0 | 165 | 0 | 0.000000e+00 | -- | Inf
10.49/10.54 c 9.9s| 30000 | 29942 | 0 | 0.0 | 19M|3018 | - |5056 | 262 | 0 | 0 | 0 | 275 | 0 | 0.000000e+00 | -- | Inf
13.89/13.98 c 13.2s| 40000 | 39925 | 0 | 0.0 | 21M|3018 | - |5056 | 237 | 0 | 0 | 0 | 365 | 0 | 0.000000e+00 | -- | Inf
17.69/17.73 c 16.7s| 50000 | 49906 | 0 | 0.0 | 24M|3018 | - |5056 | 251 | 0 | 0 | 0 | 465 | 0 | 0.000000e+00 | -- | Inf
21.19/21.22 c 20.0s| 60000 | 59886 | 0 | 0.0 | 27M|3148 | - |5056 | 263 | 0 | 0 | 0 | 565 | 0 | 0.000000e+00 | -- | Inf
24.69/24.73 c 23.3s| 70000 | 69866 | 0 | 0.0 | 30M|3313 | - |5056 | 257 | 0 | 0 | 0 | 665 | 0 | 0.000000e+00 | -- | Inf
28.29/28.38 c 26.8s| 80000 | 79854 | 0 | 0.0 | 33M|3438 | - |5056 | 248 | 0 | 0 | 0 | 725 | 0 | 0.000000e+00 | -- | Inf
32.09/32.15 c 30.3s| 90000 | 89832 | 0 | 0.0 | 36M|3494 | - |5056 | 246 | 0 | 0 | 0 | 835 | 0 | 0.000000e+00 | -- | Inf
36.10/36.12 c 34.1s|100000 | 99820 | 0 | 0.0 | 39M|3494 | - |5056 | 260 | 0 | 0 | 0 | 905 | 0 | 0.000000e+00 | -- | Inf
40.10/40.11 c 37.9s|110000 |109806 | 0 | 0.0 | 41M|3494 | - |5056 | 261 | 0 | 0 | 0 | 963 | 0 | 0.000000e+00 | -- | Inf
43.90/43.94 c 41.6s|120000 |119789 | 0 | 0.0 | 44M|3555 | - |5056 | 287 | 0 | 0 | 0 |1045 | 0 | 0.000000e+00 | -- | Inf
47.59/47.67 c 45.1s|130000 |129777 | 0 | 0.0 | 47M|3605 | - |5056 | 282 | 0 | 0 | 0 |1105 | 0 | 0.000000e+00 | -- | Inf
51.40/51.48 c 48.7s|140000 |139767 | 0 | 0.0 | 50M|3605 | - |5056 | 275 | 0 | 0 | 0 |1155 | 0 | 0.000000e+00 | -- | Inf
55.30/55.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.30/55.32 c 52.4s|150000 |149749 | 0 | 0.0 | 52M|3651 | - |5056 | 310 | 0 | 0 | 0 |1250 | 0 | 0.000000e+00 | -- | Inf
59.00/59.08 c 55.9s|160000 |159734 | 0 | 0.0 | 55M|3783 | - |5056 | 313 | 0 | 0 | 0 |1330 | 0 | 0.000000e+00 | -- | Inf
62.70/62.74 c 59.4s|170000 |169714 | 0 | 0.0 | 58M|3820 | - |5056 | 320 | 0 | 0 | 0 |1430 | 0 | 0.000000e+00 | -- | Inf
66.39/66.47 c 63.0s|180000 |179702 | 0 | 0.0 | 61M|3870 | - |5056 | 305 | 0 | 0 | 0 |1490 | 0 | 0.000000e+00 | -- | Inf
70.19/70.20 c 66.5s|190000 |189680 | 0 | 0.0 | 63M|3891 | - |5056 | 322 | 0 | 0 | 0 |1600 | 0 | 0.000000e+00 | -- | Inf
73.79/73.80 c 69.9s|200000 |199664 | 0 | 0.0 | 66M|3891 | - |5056 | 324 | 0 | 0 | 0 |1680 | 0 | 0.000000e+00 | -- | Inf
77.59/77.61 c 73.5s|210000 |209652 | 0 | 0.0 | 69M|3919 | - |5056 | 322 | 0 | 0 | 0 |1740 | 0 | 0.000000e+00 | -- | Inf
81.40/81.48 c 77.2s|220000 |219634 | 0 | 0.0 | 72M|3919 | - |5056 | 338 | 0 | 0 | 0 |1829 | 0 | 0.000000e+00 | -- | Inf
85.09/85.12 c 80.6s|230000 |229620 | 0 | 0.0 | 74M|3919 | - |5056 | 327 | 0 | 0 | 0 |1899 | 0 | 0.000000e+00 | -- | Inf
88.89/88.98 c 84.3s|240000 |239610 | 0 | 0.0 | 77M|3965 | - |5056 | 329 | 0 | 0 | 0 |1949 | 0 | 0.000000e+00 | -- | Inf
92.89/92.97 c 88.1s|250000 |249582 | 0 | 0.0 | 80M|3965 | - |5056 | 383 | 0 | 0 | 0 |2089 | 0 | 0.000000e+00 | -- | Inf
96.49/96.58 c 91.5s|260000 |259571 | 0 | 0.0 | 83M|3965 | - |5056 | 353 | 0 | 0 | 0 |2143 | 0 | 0.000000e+00 | -- | Inf
100.60/100.68 c 95.4s|270000 |269551 | 0 | 0.0 | 85M|3997 | - |5056 | 355 | 0 | 0 | 0 |2239 | 0 | 0.000000e+00 | -- | Inf
104.40/104.48 c 99.1s|280000 |279536 | 0 | 0.0 | 88M|3997 | - |5056 | 371 | 0 | 0 | 0 |2319 | 0 | 0.000000e+00 | -- | Inf
108.19/108.29 c 103s|290000 |289523 | 0 | 0.0 | 91M|3997 | - |5056 | 368 | 0 | 0 | 0 |2389 | 0 | 0.000000e+00 | -- | Inf
112.20/112.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.20/112.22 c 106s|300000 |299505 | 0 | 0.0 | 94M|3997 | - |5056 | 368 | 0 | 0 | 0 |2479 | 0 | 0.000000e+00 | -- | Inf
115.79/115.89 c 110s|310000 |309483 | 0 | 0.0 | 96M|3997 | - |5056 | 408 | 0 | 0 | 0 |2589 | 0 | 0.000000e+00 | -- | Inf
119.70/119.71 c 114s|320000 |319470 | 0 | 0.0 | 99M|3997 | - |5056 | 401 | 0 | 0 | 0 |2659 | 0 | 0.000000e+00 | -- | Inf
123.40/123.45 c 117s|330000 |329452 | 0 | 0.0 | 102M|3999 | - |5056 | 399 | 0 | 0 | 0 |2749 | 0 | 0.000000e+00 | -- | Inf
127.00/127.02 c 120s|340000 |339438 | 0 | 0.0 | 104M|3999 | - |5056 | 400 | 0 | 0 | 0 |2819 | 0 | 0.000000e+00 | -- | Inf
130.90/130.90 c 124s|350000 |349428 | 0 | 0.0 | 107M|3999 | - |5056 | 395 | 0 | 0 | 0 |2869 | 0 | 0.000000e+00 | -- | Inf
134.59/134.65 c 128s|360000 |359412 | 0 | 0.0 | 110M|3999 | - |5056 | 398 | 0 | 0 | 0 |2949 | 0 | 0.000000e+00 | -- | Inf
138.30/138.33 c 131s|370000 |369404 | 0 | 0.0 | 112M|3999 | - |5056 | 381 | 0 | 0 | 0 |2989 | 0 | 0.000000e+00 | -- | Inf
142.20/142.25 c 135s|380000 |379390 | 0 | 0.0 | 115M|4009 | - |5056 | 395 | 0 | 0 | 0 |3059 | 0 | 0.000000e+00 | -- | Inf
145.79/145.86 c 138s|390000 |389376 | 0 | 0.0 | 118M|4053 | - |5056 | 406 | 0 | 0 | 0 |3129 | 0 | 0.000000e+00 | -- | Inf
149.70/149.79 c 142s|400000 |399364 | 0 | 0.0 | 121M|4098 | - |5056 | 403 | 0 | 0 | 0 |3189 | 0 | 0.000000e+00 | -- | Inf
153.40/153.44 c 146s|410000 |409350 | 0 | 0.0 | 123M|4099 | - |5056 | 396 | 0 | 0 | 0 |3259 | 0 | 0.000000e+00 | -- | Inf
157.21/157.23 c 149s|420000 |419340 | 0 | 0.0 | 126M|4131 | - |5056 | 406 | 0 | 0 | 0 |3309 | 0 | 0.000000e+00 | -- | Inf
160.89/160.95 c 153s|430000 |429321 | 0 | 0.0 | 129M|4131 | - |5056 | 442 | 0 | 0 | 0 |3399 | 0 | 0.000000e+00 | -- | Inf
164.69/164.76 c 156s|440000 |439313 | 0 | 0.0 | 131M|4131 | - |5056 | 417 | 0 | 0 | 0 |3439 | 0 | 0.000000e+00 | -- | Inf
168.59/168.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
168.59/168.60 c 160s|450000 |449297 | 0 | 0.0 | 134M|4146 | - |5056 | 433 | 0 | 0 | 0 |3519 | 0 | 0.000000e+00 | -- | Inf
172.29/172.36 c 163s|460000 |459285 | 0 | 0.0 | 137M|4161 | - |5056 | 440 | 0 | 0 | 0 |3579 | 0 | 0.000000e+00 | -- | Inf
176.10/176.18 c 167s|470000 |469261 | 0 | 0.0 | 139M|4161 | - |5056 | 486 | 0 | 0 | 0 |3699 | 0 | 0.000000e+00 | -- | Inf
179.79/179.86 c 171s|480000 |479251 | 0 | 0.0 | 142M|4161 | - |5056 | 466 | 0 | 0 | 0 |3749 | 0 | 0.000000e+00 | -- | Inf
183.89/183.95 c 174s|490000 |489231 | 0 | 0.0 | 145M|4161 | - |5056 | 509 | 0 | 0 | 0 |3849 | 0 | 0.000000e+00 | -- | Inf
187.50/187.51 c 178s|500000 |499215 | 0 | 0.0 | 147M|4161 | - |5056 | 517 | 0 | 0 | 0 |3929 | 0 | 0.000000e+00 | -- | Inf
191.30/191.36 c 181s|510000 |509203 | 0 | 0.0 | 150M|4161 | - |5056 | 526 | 0 | 0 | 0 |3989 | 0 | 0.000000e+00 | -- | Inf
194.90/194.98 c 185s|520000 |519189 | 0 | 0.0 | 153M|4161 | - |5056 | 542 | 0 | 0 | 0 |4059 | 0 | 0.000000e+00 | -- | Inf
198.80/198.89 c 189s|530000 |529173 | 0 | 0.0 | 155M|4161 | - |5056 | 570 | 0 | 0 | 0 |4139 | 0 | 0.000000e+00 | -- | Inf
202.60/202.66 c 192s|540000 |539161 | 0 | 0.0 | 158M|4161 | - |5056 | 552 | 0 | 0 | 0 |4199 | 0 | 0.000000e+00 | -- | Inf
206.40/206.42 c 196s|550000 |549153 | 0 | 0.0 | 161M|4161 | - |5056 | 550 | 0 | 0 | 0 |4239 | 0 | 0.000000e+00 | -- | Inf
210.30/210.31 c 200s|560000 |559141 | 0 | 0.0 | 163M|4161 | - |5056 | 547 | 0 | 0 | 0 |4299 | 0 | 0.000000e+00 | -- | Inf
213.90/213.95 c 203s|570000 |569129 | 0 | 0.0 | 166M|4161 | - |5056 | 548 | 0 | 0 | 0 |4359 | 0 | 0.000000e+00 | -- | Inf
218.00/218.09 c 207s|580000 |579107 | 0 | 0.0 | 169M|4161 | - |5056 | 579 | 0 | 0 | 0 |4469 | 0 | 0.000000e+00 | -- | Inf
221.79/221.85 c 211s|590000 |589085 | 0 | 0.0 | 172M|4161 | - |5056 | 589 | 0 | 0 | 0 |4579 | 0 | 0.000000e+00 | -- | Inf
225.60/225.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
225.60/225.63 c 214s|600000 |599075 | 0 | 0.0 | 174M|4161 | - |5056 | 564 | 0 | 0 | 0 |4629 | 0 | 0.000000e+00 | -- | Inf
229.39/229.41 c 218s|610000 |609057 | 0 | 0.0 | 177M|4161 | - |5056 | 576 | 0 | 0 | 0 |4719 | 0 | 0.000000e+00 | -- | Inf
232.99/233.08 c 221s|620000 |619033 | 0 | 0.0 | 180M|4161 | - |5056 | 627 | 0 | 0 | 0 |4839 | 0 | 0.000000e+00 | -- | Inf
236.99/237.09 c 225s|630000 |629019 | 0 | 0.0 | 182M|4161 | - |5056 | 597 | 0 | 0 | 0 |4909 | 0 | 0.000000e+00 | -- | Inf
240.80/240.82 c 229s|640000 |639001 | 0 | 0.0 | 185M|4161 | - |5056 | 598 | 0 | 0 | 0 |4999 | 0 | 0.000000e+00 | -- | Inf
244.49/244.52 c 232s|650000 |648991 | 0 | 0.0 | 188M|4161 | - |5056 | 583 | 0 | 0 | 0 |5049 | 0 | 0.000000e+00 | -- | Inf
248.30/248.34 c 236s|660000 |658977 | 0 | 0.0 | 190M|4161 | - |5056 | 581 | 0 | 0 | 0 |5119 | 0 | 0.000000e+00 | -- | Inf
251.69/251.78 c 239s|670000 |668967 | 0 | 0.0 | 193M|4161 | - |5056 | 574 | 0 | 0 | 0 |5169 | 0 | 0.000000e+00 | -- | Inf
255.70/255.73 c 243s|680000 |678949 | 0 | 0.0 | 196M|4161 | - |5056 | 597 | 0 | 0 | 0 |5259 | 0 | 0.000000e+00 | -- | Inf
259.19/259.26 c 246s|690000 |688931 | 0 | 0.0 | 198M|4161 | - |5056 | 612 | 0 | 0 | 0 |5349 | 0 | 0.000000e+00 | -- | Inf
263.00/263.07 c 250s|700000 |698915 | 0 | 0.0 | 201M|4161 | - |5056 | 612 | 0 | 0 | 0 |5429 | 0 | 0.000000e+00 | -- | Inf
266.90/266.97 c 253s|710000 |708889 | 0 | 0.0 | 204M|4161 | - |5056 | 666 | 0 | 0 | 0 |5559 | 0 | 0.000000e+00 | -- | Inf
270.51/270.59 c 257s|720000 |718875 | 0 | 0.0 | 206M|4161 | - |5056 | 636 | 0 | 0 | 0 |5629 | 0 | 0.000000e+00 | -- | Inf
274.50/274.56 c 261s|730000 |728851 | 0 | 0.0 | 209M|4161 | - |5056 | 658 | 0 | 0 | 0 |5749 | 0 | 0.000000e+00 | -- | Inf
278.21/278.30 c 264s|740000 |738831 | 0 | 0.0 | 212M|4161 | - |5056 | 664 | 0 | 0 | 0 |5849 | 0 | 0.000000e+00 | -- | Inf
282.00/282.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
282.00/282.08 c 268s|750000 |748817 | 0 | 0.0 | 214M|4161 | - |5056 | 656 | 0 | 0 | 0 |5919 | 0 | 0.000000e+00 | -- | Inf
285.70/285.73 c 271s|760000 |758803 | 0 | 0.0 | 217M|4161 | - |5056 | 650 | 0 | 0 | 0 |5989 | 0 | 0.000000e+00 | -- | Inf
289.31/289.38 c 275s|770000 |768789 | 0 | 0.0 | 220M|4161 | - |5056 | 652 | 0 | 0 | 0 |6059 | 0 | 0.000000e+00 | -- | Inf
293.20/293.21 c 278s|780000 |778773 | 0 | 0.0 | 223M|4161 | - |5056 | 658 | 0 | 0 | 0 |6137 | 0 | 0.000000e+00 | -- | Inf
296.90/296.92 c 282s|790000 |788757 | 0 | 0.0 | 225M|4161 | - |5056 | 670 | 0 | 0 | 0 |6217 | 0 | 0.000000e+00 | -- | Inf
300.50/300.53 c 285s|800000 |798739 | 0 | 0.0 | 228M|4161 | - |5056 | 682 | 0 | 0 | 0 |6307 | 0 | 0.000000e+00 | -- | Inf
304.40/304.48 c 289s|810000 |808725 | 0 | 0.0 | 231M|4161 | - |5056 | 686 | 0 | 0 | 0 |6377 | 0 | 0.000000e+00 | -- | Inf
308.19/308.25 c 293s|820000 |818709 | 0 | 0.0 | 233M|4161 | - |5056 | 661 | 0 | 0 | 0 |6457 | 0 | 0.000000e+00 | -- | Inf
311.79/311.88 c 296s|830000 |828687 | 0 | 0.0 | 236M|4161 | - |5056 | 689 | 0 | 0 | 0 |6567 | 0 | 0.000000e+00 | -- | Inf
315.70/315.78 c 300s|840000 |838669 | 0 | 0.0 | 239M|4161 | - |5056 | 693 | 0 | 0 | 0 |6657 | 0 | 0.000000e+00 | -- | Inf
319.50/319.59 c 303s|850000 |848646 | 0 | 0.0 | 241M|4161 | - |5056 | 701 | 0 | 0 | 0 |6777 | 0 | 0.000000e+00 | -- | Inf
323.10/323.12 c 307s|860000 |858632 | 0 | 0.0 | 244M|4161 | - |5056 | 686 | 0 | 0 | 0 |6847 | 0 | 0.000000e+00 | -- | Inf
326.90/326.99 c 310s|870000 |868616 | 0 | 0.0 | 247M|4161 | - |5056 | 695 | 0 | 0 | 0 |6927 | 0 | 0.000000e+00 | -- | Inf
330.70/330.74 c 314s|880000 |878598 | 0 | 0.0 | 249M|4161 | - |5056 | 696 | 0 | 0 | 0 |7017 | 0 | 0.000000e+00 | -- | Inf
334.20/334.21 c 317s|890000 |888579 | 0 | 0.0 | 252M|4161 | - |5056 | 744 | 0 | 0 | 0 |7117 | 0 | 0.000000e+00 | -- | Inf
337.80/337.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
337.80/337.87 c 321s|900000 |898569 | 0 | 0.0 | 255M|4161 | - |5056 | 724 | 0 | 0 | 0 |7167 | 0 | 0.000000e+00 | -- | Inf
341.50/341.57 c 324s|910000 |908553 | 0 | 0.0 | 258M|4161 | - |5056 | 732 | 0 | 0 | 0 |7247 | 0 | 0.000000e+00 | -- | Inf
345.10/345.15 c 328s|920000 |918537 | 0 | 0.0 | 260M|4161 | - |5056 | 725 | 0 | 0 | 0 |7327 | 0 | 0.000000e+00 | -- | Inf
348.71/348.73 c 331s|930000 |928525 | 0 | 0.0 | 263M|4161 | - |5056 | 729 | 0 | 0 | 0 |7387 | 0 | 0.000000e+00 | -- | Inf
352.50/352.54 c 334s|940000 |938511 | 0 | 0.0 | 266M|4161 | - |5056 | 712 | 0 | 0 | 0 |7457 | 0 | 0.000000e+00 | -- | Inf
356.20/356.23 c 338s|950000 |948485 | 0 | 0.0 | 268M|4161 | - |5056 | 762 | 0 | 0 | 0 |7587 | 0 | 0.000000e+00 | -- | Inf
359.91/359.90 c 341s|960000 |958465 | 0 | 0.0 | 271M|4161 | - |5056 | 721 | 0 | 0 | 0 |7687 | 0 | 0.000000e+00 | -- | Inf
363.50/363.59 c 345s|970000 |968453 | 0 | 0.0 | 274M|4161 | - |5056 | 709 | 0 | 0 | 0 |7747 | 0 | 0.000000e+00 | -- | Inf
367.20/367.28 c 348s|980000 |978435 | 0 | 0.0 | 276M|4161 | - |5056 | 719 | 0 | 0 | 0 |7837 | 0 | 0.000000e+00 | -- | Inf
370.71/370.79 c 352s|990000 |988421 | 0 | 0.0 | 279M|4161 | - |5056 | 707 | 0 | 0 | 0 |7907 | 0 | 0.000000e+00 | -- | Inf
374.41/374.42 c 355s| 1000k|998405 | 0 | 0.0 | 282M|4161 | - |5056 | 715 | 0 | 0 | 0 |7987 | 0 | 0.000000e+00 | -- | Inf
378.20/378.27 c 359s| 1010k| 1008k| 0 | 0.0 | 285M|4161 | - |5056 | 699 | 0 | 0 | 0 |8087 | 0 | 0.000000e+00 | -- | Inf
381.80/381.83 c 362s| 1020k| 1018k| 0 | 0.0 | 287M|4161 | - |5056 | 682 | 0 | 0 | 0 |8157 | 0 | 0.000000e+00 | -- | Inf
385.30/385.36 c 366s| 1030k| 1028k| 0 | 0.0 | 290M|4161 | - |5056 | 696 | 0 | 0 | 0 |8237 | 0 | 0.000000e+00 | -- | Inf
388.90/388.90 c 369s| 1040k| 1038k| 0 | 0.0 | 293M|4161 | - |5056 | 698 | 0 | 0 | 0 |8304 | 0 | 0.000000e+00 | -- | Inf
392.61/392.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
392.61/392.67 c 372s| 1050k| 1048k| 0 | 0.0 | 295M|4161 | - |5056 | 700 | 0 | 0 | 0 |8384 | 0 | 0.000000e+00 | -- | Inf
396.30/396.32 c 376s| 1060k| 1058k| 0 | 0.0 | 298M|4161 | - |5056 | 715 | 0 | 0 | 0 |8464 | 0 | 0.000000e+00 | -- | Inf
399.80/399.82 c 379s| 1070k| 1068k| 0 | 0.0 | 301M|4161 | - |5056 | 707 | 0 | 0 | 0 |8524 | 0 | 0.000000e+00 | -- | Inf
403.21/403.27 c 382s| 1080k| 1078k| 0 | 0.0 | 303M|4161 | - |5056 | 719 | 0 | 0 | 0 |8604 | 0 | 0.000000e+00 | -- | Inf
406.91/406.97 c 386s| 1090k| 1088k| 0 | 0.0 | 306M|4161 | - |5056 | 718 | 0 | 0 | 0 |8694 | 0 | 0.000000e+00 | -- | Inf
410.60/410.64 c 389s| 1100k| 1098k| 0 | 0.0 | 309M|4161 | - |5056 | 752 | 0 | 0 | 0 |8824 | 0 | 0.000000e+00 | -- | Inf
414.10/414.19 c 393s| 1110k| 1108k| 0 | 0.0 | 312M|4161 | - |5056 | 738 | 0 | 0 | 0 |8904 | 0 | 0.000000e+00 | -- | Inf
417.81/417.82 c 396s| 1120k| 1118k| 0 | 0.0 | 314M|4161 | - |5056 | 761 | 0 | 0 | 0 |9014 | 0 | 0.000000e+00 | -- | Inf
421.40/421.44 c 400s| 1130k| 1128k| 0 | 0.0 | 317M|4161 | - |5056 | 765 | 0 | 0 | 0 |9144 | 0 | 0.000000e+00 | -- | Inf
424.90/424.97 c 403s| 1140k| 1138k| 0 | 0.0 | 320M|4161 | - |5056 | 752 | 0 | 0 | 0 |9224 | 0 | 0.000000e+00 | -- | Inf
428.80/428.80 c 407s| 1150k| 1148k| 0 | 0.0 | 323M|4161 | - |5056 | 762 | 0 | 0 | 0 |9314 | 0 | 0.000000e+00 | -- | Inf
432.41/432.45 c 410s| 1160k| 1158k| 0 | 0.0 | 325M|4161 | - |5056 | 757 | 0 | 0 | 0 |9404 | 0 | 0.000000e+00 | -- | Inf
435.90/435.99 c 413s| 1170k| 1168k| 0 | 0.0 | 328M|4161 | - |5056 | 750 | 0 | 0 | 0 |9464 | 0 | 0.000000e+00 | -- | Inf
439.50/439.59 c 417s| 1180k| 1178k| 0 | 0.0 | 331M|4161 | - |5056 | 746 | 0 | 0 | 0 |9544 | 0 | 0.000000e+00 | -- | Inf
443.21/443.21 c 420s| 1190k| 1188k| 0 | 0.0 | 333M|4161 | - |5056 | 751 | 0 | 0 | 0 |9634 | 0 | 0.000000e+00 | -- | Inf
446.70/446.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.70/446.72 c 424s| 1200k| 1198k| 0 | 0.0 | 336M|4161 | - |5056 | 735 | 0 | 0 | 0 |9694 | 0 | 0.000000e+00 | -- | Inf
450.20/450.24 c 427s| 1210k| 1208k| 0 | 0.0 | 339M|4161 | - |5056 | 752 | 0 | 0 | 0 |9774 | 0 | 0.000000e+00 | -- | Inf
453.80/453.84 c 430s| 1220k| 1218k| 0 | 0.0 | 342M|4161 | - |5056 | 732 | 0 | 0 | 0 |9824 | 0 | 0.000000e+00 | -- | Inf
457.40/457.47 c 434s| 1230k| 1228k| 0 | 0.0 | 344M|4161 | - |5056 | 750 | 0 | 0 | 0 |9944 | 0 | 0.000000e+00 | -- | Inf
461.10/461.19 c 437s| 1240k| 1237k| 0 | 0.0 | 347M|4161 | - |5056 | 750 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
464.70/464.76 c 441s| 1250k| 1247k| 0 | 0.0 | 350M|4161 | - |5056 | 770 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
468.21/468.29 c 444s| 1260k| 1257k| 0 | 0.0 | 352M|4161 | - |5056 | 785 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
471.70/471.79 c 447s| 1270k| 1267k| 0 | 0.0 | 355M|4161 | - |5056 | 776 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
475.21/475.29 c 451s| 1280k| 1277k| 0 | 0.0 | 358M|4161 | - |5056 | 752 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
478.90/478.93 c 454s| 1290k| 1287k| 0 | 0.0 | 361M|4161 | - |5056 | 759 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
482.50/482.59 c 458s| 1300k| 1297k| 0 | 0.0 | 363M|4161 | - |5056 | 761 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
486.00/486.01 c 461s| 1310k| 1307k| 0 | 0.0 | 366M|4161 | - |5056 | 740 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
489.60/489.62 c 464s| 1320k| 1317k| 0 | 0.0 | 369M|4161 | - |5056 | 754 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
493.20/493.22 c 468s| 1330k| 1327k| 0 | 0.0 | 371M|4161 | - |5056 | 750 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
496.71/496.76 c 471s| 1340k| 1337k| 0 | 0.0 | 374M|4161 | - |5056 | 753 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
500.10/500.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
500.10/500.19 c 474s| 1350k| 1347k| 0 | 0.0 | 377M|4161 | - |5056 | 762 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
503.60/503.68 c 478s| 1360k| 1357k| 0 | 0.0 | 380M|4161 | - |5056 | 742 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
507.11/507.18 c 481s| 1370k| 1367k| 0 | 0.0 | 382M|4161 | - |5056 | 749 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
510.60/510.64 c 484s| 1380k| 1377k| 0 | 0.0 | 385M|4161 | - |5056 | 741 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
514.10/514.19 c 488s| 1390k| 1387k| 0 | 0.0 | 388M|4161 | - |5056 | 751 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
517.60/517.66 c 491s| 1400k| 1397k| 0 | 0.0 | 391M|4161 | - |5056 | 760 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
521.10/521.18 c 494s| 1410k| 1407k| 0 | 0.0 | 393M|4161 | - |5056 | 755 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
524.80/524.82 c 498s| 1420k| 1417k| 0 | 0.0 | 396M|4161 | - |5056 | 766 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
528.30/528.34 c 501s| 1430k| 1427k| 0 | 0.0 | 399M|4161 | - |5056 | 757 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
531.81/531.89 c 504s| 1440k| 1437k| 0 | 0.0 | 402M|4161 | - |5056 | 753 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
535.31/535.32 c 508s| 1450k| 1447k| 0 | 0.0 | 404M|4161 | - |5056 | 745 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
538.81/538.86 c 511s| 1460k| 1457k| 0 | 0.0 | 407M|4161 | - |5056 | 738 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
542.31/542.37 c 514s| 1470k| 1467k| 0 | 0.0 | 410M|4161 | - |5056 | 736 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
545.81/545.88 c 518s| 1480k| 1477k| 0 | 0.0 | 413M|4161 | - |5056 | 754 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
549.50/549.56 c 521s| 1490k| 1487k| 0 | 0.0 | 415M|4161 | - |5056 | 774 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
553.10/553.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
553.10/553.10 c 524s| 1500k| 1497k| 0 | 0.0 | 418M|4161 | - |5056 | 738 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
556.61/556.68 c 528s| 1510k| 1507k| 0 | 0.0 | 421M|4161 | - |5056 | 775 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
560.20/560.22 c 531s| 1520k| 1517k| 0 | 0.0 | 424M|4161 | - |5056 | 747 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
563.71/563.72 c 534s| 1530k| 1527k| 0 | 0.0 | 426M|4161 | - |5056 | 725 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
567.31/567.32 c 538s| 1540k| 1537k| 0 | 0.0 | 429M|4161 | - |5056 | 722 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
570.60/570.65 c 541s| 1550k| 1547k| 0 | 0.0 | 432M|4161 | - |5056 | 709 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
574.21/574.22 c 544s| 1560k| 1557k| 0 | 0.0 | 435M|4161 | - |5056 | 718 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
577.61/577.68 c 548s| 1570k| 1567k| 0 | 0.0 | 437M|4161 | - |5056 | 714 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
581.11/581.16 c 551s| 1580k| 1577k| 0 | 0.0 | 440M|4161 | - |5056 | 716 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
584.70/584.77 c 554s| 1590k| 1587k| 0 | 0.0 | 443M|4161 | - |5056 | 708 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
588.20/588.24 c 558s| 1600k| 1597k| 0 | 0.0 | 446M|4161 | - |5056 | 703 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
591.71/591.76 c 561s| 1610k| 1607k| 0 | 0.0 | 448M|4161 | - |5056 | 697 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
595.21/595.22 c 564s| 1620k| 1617k| 0 | 0.0 | 451M|4161 | - |5056 | 706 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
598.80/598.80 c 568s| 1630k| 1627k| 0 | 0.0 | 454M|4161 | - |5056 | 688 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
602.20/602.23 c 571s| 1640k| 1637k| 0 | 0.0 | 457M|4161 | - |5056 | 673 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
605.60/605.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
605.60/605.69 c 574s| 1650k| 1647k| 0 | 0.0 | 459M|4161 | - |5056 | 692 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
609.21/609.22 c 578s| 1660k| 1657k| 0 | 0.0 | 462M|4161 | - |5056 | 696 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
612.50/612.60 c 581s| 1670k| 1667k| 0 | 0.0 | 465M|4161 | - |5056 | 680 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
616.10/616.15 c 584s| 1680k| 1677k| 0 | 0.0 | 468M|4161 | - |5056 | 680 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
619.60/619.69 c 587s| 1690k| 1687k| 0 | 0.0 | 470M|4161 | - |5056 | 714 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
623.11/623.12 c 591s| 1700k| 1697k| 0 | 0.0 | 473M|4161 | - |5056 | 699 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
626.61/626.64 c 594s| 1710k| 1707k| 0 | 0.0 | 476M|4161 | - |5056 | 696 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
630.01/630.08 c 597s| 1720k| 1717k| 0 | 0.0 | 479M|4161 | - |5056 | 690 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
633.51/633.52 c 600s| 1730k| 1727k| 0 | 0.0 | 481M|4161 | - |5056 | 678 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
636.82/636.90 c 604s| 1740k| 1737k| 0 | 0.0 | 484M|4161 | - |5056 | 686 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
640.31/640.31 c 607s| 1750k| 1747k| 0 | 0.0 | 487M|4161 | - |5056 | 704 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
643.81/643.84 c 610s| 1760k| 1757k| 0 | 0.0 | 490M|4161 | - |5056 | 699 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
647.50/647.50 c 614s| 1770k| 1767k| 0 | 0.0 | 492M|4161 | - |5056 | 711 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
651.00/651.08 c 617s| 1780k| 1777k| 0 | 0.0 | 495M|4161 | - |5056 | 709 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
654.41/654.44 c 620s| 1790k| 1786k| 0 | 0.0 | 498M|4161 | - |5056 | 689 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
657.91/657.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
657.91/657.92 c 624s| 1800k| 1796k| 0 | 0.0 | 501M|4161 | - |5056 | 695 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
661.41/661.43 c 627s| 1810k| 1806k| 0 | 0.0 | 503M|4161 | - |5056 | 701 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
665.01/665.00 c 630s| 1820k| 1816k| 0 | 0.0 | 506M|4161 | - |5056 | 702 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
668.61/668.66 c 634s| 1830k| 1826k| 0 | 0.0 | 509M|4161 | - |5056 | 699 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
672.21/672.28 c 637s| 1840k| 1836k| 0 | 0.0 | 512M|4161 | - |5056 | 731 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
675.81/675.83 c 641s| 1850k| 1846k| 0 | 0.0 | 515M|4161 | - |5056 | 702 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
679.20/679.20 c 644s| 1860k| 1856k| 0 | 0.0 | 517M|4161 | - |5056 | 697 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
682.60/682.64 c 647s| 1870k| 1866k| 0 | 0.0 | 520M|4161 | - |5056 | 731 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
686.11/686.11 c 650s| 1880k| 1876k| 0 | 0.0 | 523M|4161 | - |5056 | 722 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
689.50/689.57 c 654s| 1890k| 1886k| 0 | 0.0 | 526M|4161 | - |5056 | 736 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
692.92/692.99 c 657s| 1900k| 1896k| 0 | 0.0 | 528M|4161 | - |5056 | 742 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
696.31/696.35 c 660s| 1910k| 1906k| 0 | 0.0 | 531M|4161 | - |5056 | 743 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
699.91/699.90 c 663s| 1920k| 1916k| 0 | 0.0 | 534M|4161 | - |5056 | 749 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
703.31/703.31 c 667s| 1930k| 1926k| 0 | 0.0 | 537M|4161 | - |5056 | 709 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
706.61/706.64 c 670s| 1940k| 1936k| 0 | 0.0 | 539M|4161 | - |5056 | 727 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
710.01/710.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
710.01/710.03 c 673s| 1950k| 1946k| 0 | 0.0 | 542M|4161 | - |5056 | 726 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
713.51/713.55 c 676s| 1960k| 1956k| 0 | 0.0 | 545M|4161 | - |5056 | 731 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
716.91/716.92 c 679s| 1970k| 1966k| 0 | 0.0 | 548M|4161 | - |5056 | 736 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
720.31/720.39 c 683s| 1980k| 1976k| 0 | 0.0 | 551M|4161 | - |5056 | 735 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
724.01/724.01 c 686s| 1990k| 1986k| 0 | 0.0 | 553M|4161 | - |5056 | 748 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
727.41/727.43 c 689s| 2000k| 1996k| 0 | 0.0 | 556M|4161 | - |5056 | 727 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
730.81/730.83 c 693s| 2010k| 2006k| 0 | 0.0 | 559M|4161 | - |5056 | 732 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
734.31/734.30 c 696s| 2020k| 2016k| 0 | 0.0 | 562M|4161 | - |5056 | 716 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
737.71/737.77 c 699s| 2030k| 2026k| 0 | 0.0 | 564M|4161 | - |5056 | 735 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
741.31/741.37 c 703s| 2040k| 2036k| 0 | 0.0 | 567M|4161 | - |5056 | 743 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
744.81/744.80 c 706s| 2050k| 2046k| 0 | 0.0 | 570M|4161 | - |5056 | 734 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
748.32/748.31 c 709s| 2060k| 2056k| 0 | 0.0 | 573M|4161 | - |5056 | 728 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
751.81/751.84 c 712s| 2070k| 2066k| 0 | 0.0 | 575M|4161 | - |5056 | 709 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
755.31/755.37 c 716s| 2080k| 2076k| 0 | 0.0 | 578M|4161 | - |5056 | 747 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
758.81/758.86 c 719s| 2090k| 2086k| 0 | 0.0 | 581M|4161 | - |5056 | 735 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
762.41/762.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
762.41/762.46 c 722s| 2100k| 2096k| 0 | 0.0 | 584M|4161 | - |5056 | 727 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
765.91/765.94 c 726s| 2110k| 2106k| 0 | 0.0 | 587M|4161 | - |5056 | 728 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
769.31/769.32 c 729s| 2120k| 2116k| 0 | 0.0 | 589M|4161 | - |5056 | 746 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
772.81/772.82 c 732s| 2130k| 2126k| 0 | 0.0 | 592M|4161 | - |5056 | 718 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
776.11/776.16 c 735s| 2140k| 2136k| 0 | 0.0 | 595M|4161 | - |5056 | 692 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
779.61/779.62 c 739s| 2150k| 2146k| 0 | 0.0 | 598M|4161 | - |5056 | 729 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
783.01/783.06 c 742s| 2160k| 2156k| 0 | 0.0 | 600M|4161 | - |5056 | 697 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
786.42/786.47 c 745s| 2170k| 2166k| 0 | 0.0 | 603M|4161 | - |5056 | 714 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
790.01/790.02 c 748s| 2180k| 2176k| 0 | 0.0 | 606M|4161 | - |5056 | 702 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
793.31/793.35 c 752s| 2190k| 2186k| 0 | 0.0 | 609M|4161 | - |5056 | 706 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
796.81/796.89 c 755s| 2200k| 2196k| 0 | 0.0 | 612M|4161 | - |5056 | 714 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
800.21/800.27 c 758s| 2210k| 2206k| 0 | 0.0 | 614M|4161 | - |5056 | 706 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
803.82/803.89 c 762s| 2220k| 2216k| 0 | 0.0 | 617M|4161 | - |5056 | 713 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
807.41/807.49 c 765s| 2230k| 2226k| 0 | 0.0 | 620M|4161 | - |5056 | 716 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
811.01/811.02 c 768s| 2240k| 2236k| 0 | 0.0 | 623M|4161 | - |5056 | 715 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
814.41/814.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
814.41/814.49 c 772s| 2250k| 2246k| 0 | 0.0 | 626M|4161 | - |5056 | 726 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
817.82/817.89 c 775s| 2260k| 2256k| 0 | 0.0 | 628M|4161 | - |5056 | 713 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
821.41/821.44 c 778s| 2270k| 2266k| 0 | 0.0 | 631M|4161 | - |5056 | 700 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
824.92/824.92 c 781s| 2280k| 2276k| 0 | 0.0 | 634M|4161 | - |5056 | 702 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
828.61/828.60 c 785s| 2290k| 2285k| 0 | 0.0 | 637M|4161 | - |5056 | 706 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
831.91/831.97 c 788s| 2300k| 2295k| 0 | 0.0 | 640M|4161 | - |5056 | 690 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
835.71/835.70 c 792s| 2310k| 2305k| 0 | 0.0 | 642M|4161 | - |5056 | 759 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
839.11/839.17 c 795s| 2320k| 2315k| 0 | 0.0 | 645M|4161 | - |5056 | 704 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
842.71/842.79 c 798s| 2330k| 2325k| 0 | 0.0 | 648M|4161 | - |5056 | 721 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
846.21/846.27 c 802s| 2340k| 2335k| 0 | 0.0 | 651M|4161 | - |5056 | 725 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
849.51/849.52 c 805s| 2350k| 2345k| 0 | 0.0 | 653M|4161 | - |5056 | 720 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
853.11/853.12 c 808s| 2360k| 2355k| 0 | 0.0 | 656M|4161 | - |5056 | 713 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
856.42/856.47 c 811s| 2370k| 2365k| 0 | 0.0 | 659M|4161 | - |5056 | 689 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
860.01/860.08 c 815s| 2380k| 2375k| 0 | 0.0 | 662M|4161 | - |5056 | 740 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
863.71/863.72 c 818s| 2390k| 2385k| 0 | 0.0 | 665M|4161 | - |5056 | 706 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
867.21/867.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.21/867.24 c 821s| 2400k| 2395k| 0 | 0.0 | 667M|4161 | - |5056 | 738 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
870.91/870.92 c 825s| 2410k| 2405k| 0 | 0.0 | 670M|4161 | - |5056 | 734 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
874.31/874.36 c 828s| 2420k| 2415k| 0 | 0.0 | 673M|4161 | - |5056 | 733 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
878.01/878.07 c 832s| 2430k| 2425k| 0 | 0.0 | 676M|4161 | - |5056 | 732 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
881.41/881.41 c 835s| 2440k| 2435k| 0 | 0.0 | 678M|4161 | - |5056 | 709 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
885.02/885.09 c 838s| 2450k| 2445k| 0 | 0.0 | 681M|4161 | - |5056 | 740 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
888.61/888.62 c 842s| 2460k| 2455k| 0 | 0.0 | 684M|4161 | - |5056 | 725 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
892.21/892.20 c 845s| 2470k| 2465k| 0 | 0.0 | 687M|4161 | - |5056 | 721 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
895.72/895.70 c 848s| 2480k| 2475k| 0 | 0.0 | 690M|4161 | - |5056 | 736 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
899.11/899.18 c 852s| 2490k| 2485k| 0 | 0.0 | 692M|4161 | - |5056 | 727 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
902.61/902.62 c 855s| 2500k| 2495k| 0 | 0.0 | 695M|4161 | - |5056 | 748 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
906.11/906.11 c 858s| 2510k| 2505k| 0 | 0.0 | 698M|4161 | - |5056 | 728 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
909.73/909.72 c 862s| 2520k| 2515k| 0 | 0.0 | 701M|4161 | - |5056 | 756 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
913.22/913.22 c 865s| 2530k| 2525k| 0 | 0.0 | 704M|4161 | - |5056 | 717 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
916.81/916.87 c 868s| 2540k| 2535k| 0 | 0.0 | 706M|4161 | - |5056 | 742 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
920.32/920.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
920.32/920.30 c 872s| 2550k| 2545k| 0 | 0.0 | 709M|4161 | - |5056 | 765 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
923.92/923.99 c 875s| 2560k| 2555k| 0 | 0.0 | 712M|4161 | - |5056 | 711 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
927.42/927.46 c 878s| 2570k| 2565k| 0 | 0.0 | 715M|4161 | - |5056 | 723 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
931.01/931.03 c 882s| 2580k| 2575k| 0 | 0.0 | 717M|4161 | - |5056 | 713 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
934.62/934.60 c 885s| 2590k| 2585k| 0 | 0.0 | 720M|4161 | - |5056 | 727 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
938.12/938.16 c 888s| 2600k| 2595k| 0 | 0.0 | 723M|4161 | - |5056 | 726 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
941.71/941.80 c 892s| 2610k| 2605k| 0 | 0.0 | 726M|4161 | - |5056 | 751 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
945.12/945.17 c 895s| 2620k| 2615k| 0 | 0.0 | 729M|4161 | - |5056 | 725 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
948.91/948.92 c 899s| 2630k| 2625k| 0 | 0.0 | 731M|4161 | - |5056 | 746 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
952.42/952.49 c 902s| 2640k| 2635k| 0 | 0.0 | 734M|4161 | - |5056 | 725 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
956.02/956.01 c 905s| 2650k| 2645k| 0 | 0.0 | 737M|4161 | - |5056 | 728 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
959.71/959.77 c 909s| 2660k| 2655k| 0 | 0.0 | 740M|4161 | - |5056 | 775 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
963.12/963.16 c 912s| 2670k| 2665k| 0 | 0.0 | 743M|4161 | - |5056 | 730 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
966.82/966.83 c 916s| 2680k| 2675k| 0 | 0.0 | 745M|4161 | - |5056 | 741 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
970.32/970.39 c 919s| 2690k| 2685k| 0 | 0.0 | 748M|4161 | - |5056 | 723 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
974.02/974.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
974.02/974.06 c 922s| 2700k| 2695k| 0 | 0.0 | 751M|4161 | - |5056 | 756 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
977.61/977.67 c 926s| 2710k| 2705k| 0 | 0.0 | 754M|4161 | - |5056 | 758 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
981.23/981.27 c 929s| 2720k| 2715k| 0 | 0.0 | 757M|4161 | - |5056 | 741 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
984.82/984.87 c 933s| 2730k| 2724k| 0 | 0.0 | 759M|4161 | - |5056 | 744 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
988.52/988.54 c 936s| 2740k| 2734k| 0 | 0.0 | 762M|4161 | - |5056 | 744 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
992.12/992.20 c 940s| 2750k| 2744k| 0 | 0.0 | 765M|4161 | - |5056 | 775 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
995.81/995.83 c 943s| 2760k| 2754k| 0 | 0.0 | 768M|4161 | - |5056 | 759 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
999.41/999.40 c 946s| 2770k| 2764k| 0 | 0.0 | 771M|4161 | - |5056 | 751 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1003.02/1003.03 c 950s| 2780k| 2774k| 0 | 0.0 | 773M|4161 | - |5056 | 741 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1006.53/1006.53 c 953s| 2790k| 2784k| 0 | 0.0 | 776M|4161 | - |5056 | 747 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1010.12/1010.13 c 956s| 2800k| 2794k| 0 | 0.0 | 779M|4161 | - |5056 | 749 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1013.82/1013.83 c 960s| 2810k| 2804k| 0 | 0.0 | 782M|4161 | - |5056 | 752 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1017.52/1017.54 c 964s| 2820k| 2814k| 0 | 0.0 | 785M|4161 | - |5056 | 752 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1021.12/1021.19 c 967s| 2830k| 2824k| 0 | 0.0 | 787M|4161 | - |5056 | 751 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1024.82/1024.88 c 970s| 2840k| 2834k| 0 | 0.0 | 790M|4161 | - |5056 | 755 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1028.62/1028.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1028.62/1028.62 c 974s| 2850k| 2844k| 0 | 0.0 | 793M|4161 | - |5056 | 762 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1032.31/1032.30 c 977s| 2860k| 2854k| 0 | 0.0 | 796M|4161 | - |5056 | 769 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1035.92/1035.90 c 981s| 2870k| 2864k| 0 | 0.0 | 799M|4161 | - |5056 | 746 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1039.42/1039.42 c 984s| 2880k| 2874k| 0 | 0.0 | 801M|4161 | - |5056 | 772 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1043.02/1043.09 c 988s| 2890k| 2884k| 0 | 0.0 | 804M|4161 | - |5056 | 766 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1046.82/1046.81 c 991s| 2900k| 2894k| 0 | 0.0 | 807M|4161 | - |5056 | 795 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1050.43/1050.43 c 995s| 2910k| 2904k| 0 | 0.0 | 810M|4161 | - |5056 | 775 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1054.11/1054.13 c 998s| 2920k| 2914k| 0 | 0.0 | 813M|4161 | - |5056 | 790 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1057.82/1057.82 c 1002s| 2930k| 2924k| 0 | 0.0 | 816M|4161 | - |5056 | 790 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1061.52/1061.52 c 1005s| 2940k| 2934k| 0 | 0.0 | 818M|4161 | - |5056 | 782 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1065.21/1065.25 c 1009s| 2950k| 2944k| 0 | 0.0 | 821M|4161 | - |5056 | 787 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1069.02/1069.00 c 1012s| 2960k| 2954k| 0 | 0.0 | 824M|4161 | - |5056 | 793 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1072.81/1072.81 c 1016s| 2970k| 2964k| 0 | 0.0 | 827M|4161 | - |5056 | 803 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1076.52/1076.56 c 1019s| 2980k| 2974k| 0 | 0.0 | 830M|4161 | - |5056 | 796 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1080.23/1080.23 c 1023s| 2990k| 2984k| 0 | 0.0 | 832M|4161 | - |5056 | 801 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1083.82/1083.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1083.82/1083.87 c 1026s| 3000k| 2994k| 0 | 0.0 | 835M|4161 | - |5056 | 779 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1087.62/1087.63 c 1030s| 3010k| 3004k| 0 | 0.0 | 838M|4161 | - |5056 | 815 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1091.32/1091.37 c 1034s| 3020k| 3014k| 0 | 0.0 | 841M|4161 | - |5056 | 805 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1095.32/1095.38 c 1037s| 3030k| 3024k| 0 | 0.0 | 844M|4161 | - |5056 | 816 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1099.12/1099.17 c 1041s| 3040k| 3034k| 0 | 0.0 | 846M|4161 | - |5056 | 834 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1102.92/1102.90 c 1044s| 3050k| 3044k| 0 | 0.0 | 849M|4161 | - |5056 | 808 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1106.52/1106.58 c 1048s| 3060k| 3054k| 0 | 0.0 | 852M|4161 | - |5056 | 832 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1110.22/1110.25 c 1051s| 3070k| 3064k| 0 | 0.0 | 855M|4161 | - |5056 | 819 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1113.92/1113.98 c 1055s| 3080k| 3074k| 0 | 0.0 | 858M|4161 | - |5056 | 834 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1117.92/1117.95 c 1059s| 3090k| 3084k| 0 | 0.0 | 861M|4161 | - |5056 | 811 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1121.82/1121.81 c 1062s| 3100k| 3094k| 0 | 0.0 | 863M|4161 | - |5056 | 801 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1125.52/1125.59 c 1066s| 3110k| 3104k| 0 | 0.0 | 866M|4161 | - |5056 | 799 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1129.42/1129.46 c 1070s| 3120k| 3114k| 0 | 0.0 | 869M|4161 | - |5056 | 801 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1133.62/1133.64 c 1074s| 3130k| 3124k| 0 | 0.0 | 872M|4161 | - |5056 | 821 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1137.52/1137.57 c 1077s| 3140k| 3134k| 0 | 0.0 | 875M|4161 | - |5056 | 798 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1141.52/1141.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1141.52/1141.55 c 1081s| 3150k| 3144k| 0 | 0.0 | 877M|4161 | - |5056 | 833 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1145.32/1145.36 c 1085s| 3160k| 3153k| 0 | 0.0 | 880M|4161 | - |5056 | 817 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1149.12/1149.16 c 1088s| 3170k| 3163k| 0 | 0.0 | 883M|4161 | - |5056 | 830 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1152.92/1152.98 c 1092s| 3180k| 3173k| 0 | 0.0 | 886M|4161 | - |5056 | 825 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1156.62/1156.68 c 1096s| 3190k| 3183k| 0 | 0.0 | 889M|4161 | - |5056 | 799 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1160.62/1160.68 c 1099s| 3200k| 3193k| 0 | 0.0 | 891M|4161 | - |5056 | 821 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1164.42/1164.46 c 1103s| 3210k| 3203k| 0 | 0.0 | 894M|4161 | - |5056 | 848 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1168.13/1168.20 c 1107s| 3220k| 3213k| 0 | 0.0 | 897M|4161 | - |5056 | 812 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1172.02/1172.01 c 1110s| 3230k| 3223k| 0 | 0.0 | 900M|4161 | - |5056 | 806 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1175.72/1175.76 c 1114s| 3240k| 3233k| 0 | 0.0 | 903M|4161 | - |5056 | 815 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1179.52/1179.51 c 1117s| 3250k| 3243k| 0 | 0.0 | 906M|4161 | - |5056 | 817 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1183.22/1183.25 c 1121s| 3260k| 3253k| 0 | 0.0 | 908M|4161 | - |5056 | 799 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1187.22/1187.24 c 1125s| 3270k| 3263k| 0 | 0.0 | 911M|4161 | - |5056 | 866 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1191.02/1191.00 c 1128s| 3280k| 3273k| 0 | 0.0 | 914M|4161 | - |5056 | 794 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1194.63/1194.67 c 1132s| 3290k| 3283k| 0 | 0.0 | 917M|4161 | - |5056 | 804 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1198.42/1198.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1198.42/1198.44 c 1135s| 3300k| 3293k| 0 | 0.0 | 920M|4161 | - |5056 | 837 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1202.23/1202.26 c 1139s| 3310k| 3303k| 0 | 0.0 | 922M|4161 | - |5056 | 835 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1206.03/1206.01 c 1142s| 3320k| 3313k| 0 | 0.0 | 925M|4161 | - |5056 | 789 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1209.82/1209.88 c 1146s| 3330k| 3323k| 0 | 0.0 | 928M|4161 | - |5056 | 819 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1213.52/1213.52 c 1150s| 3340k| 3333k| 0 | 0.0 | 931M|4161 | - |5056 | 809 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1217.13/1217.15 c 1153s| 3350k| 3343k| 0 | 0.0 | 934M|4161 | - |5056 | 805 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1220.82/1220.82 c 1157s| 3360k| 3353k| 0 | 0.0 | 937M|4161 | - |5056 | 798 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1224.62/1224.66 c 1160s| 3370k| 3363k| 0 | 0.0 | 940M|4161 | - |5056 | 821 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1228.32/1228.34 c 1164s| 3380k| 3373k| 0 | 0.0 | 942M|4161 | - |5056 | 815 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1231.93/1231.96 c 1167s| 3390k| 3383k| 0 | 0.0 | 945M|4161 | - |5056 | 815 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1235.62/1235.62 c 1171s| 3400k| 3393k| 0 | 0.0 | 948M|4161 | - |5056 | 803 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1239.33/1239.34 c 1174s| 3410k| 3403k| 0 | 0.0 | 951M|4161 | - |5056 | 809 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1242.83/1242.88 c 1178s| 3420k| 3413k| 0 | 0.0 | 954M|4161 | - |5056 | 794 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1246.52/1246.53 c 1181s| 3430k| 3423k| 0 | 0.0 | 957M|4161 | - |5056 | 812 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1250.02/1250.09 c 1184s| 3440k| 3433k| 0 | 0.0 | 959M|4161 | - |5056 | 801 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1253.83/1253.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1253.83/1253.84 c 1188s| 3450k| 3443k| 0 | 0.0 | 962M|4161 | - |5056 | 804 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1257.42/1257.44 c 1191s| 3460k| 3453k| 0 | 0.0 | 965M|4161 | - |5056 | 807 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1261.12/1261.16 c 1195s| 3470k| 3463k| 0 | 0.0 | 968M|4161 | - |5056 | 844 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1264.93/1264.93 c 1198s| 3480k| 3473k| 0 | 0.0 | 971M|4161 | - |5056 | 821 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1268.62/1268.63 c 1202s| 3490k| 3483k| 0 | 0.0 | 974M|4161 | - |5056 | 830 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1272.32/1272.40 c 1206s| 3500k| 3493k| 0 | 0.0 | 977M|4161 | - |5056 | 800 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1275.93/1276.00 c 1209s| 3510k| 3503k| 0 | 0.0 | 979M|4161 | - |5056 | 820 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1279.72/1279.75 c 1213s| 3520k| 3513k| 0 | 0.0 | 982M|4161 | - |5056 | 834 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1283.33/1283.33 c 1216s| 3530k| 3523k| 0 | 0.0 | 985M|4161 | - |5056 | 800 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1286.93/1286.98 c 1219s| 3540k| 3533k| 0 | 0.0 | 988M|4161 | - |5056 | 803 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1290.53/1290.56 c 1223s| 3550k| 3543k| 0 | 0.0 | 991M|4161 | - |5056 | 834 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1294.12/1294.12 c 1226s| 3560k| 3553k| 0 | 0.0 | 994M|4161 | - |5056 | 808 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1297.72/1297.78 c 1230s| 3570k| 3562k| 0 | 0.0 | 997M|4161 | - |5056 | 812 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1301.33/1301.34 c 1233s| 3580k| 3572k| 0 | 0.0 | 999M|4161 | - |5056 | 809 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1304.92/1304.98 c 1236s| 3590k| 3582k| 0 | 0.0 |1002M|4161 | - |5056 | 827 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1308.52/1308.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1308.52/1308.51 c 1240s| 3600k| 3592k| 0 | 0.0 |1005M|4161 | - |5056 | 798 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1312.13/1312.12 c 1243s| 3610k| 3602k| 0 | 0.0 |1008M|4161 | - |5056 | 824 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1315.72/1315.73 c 1247s| 3620k| 3612k| 0 | 0.0 |1011M|4161 | - |5056 | 805 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1319.32/1319.33 c 1250s| 3630k| 3622k| 0 | 0.0 |1014M|4161 | - |5056 | 810 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1322.92/1322.98 c 1253s| 3640k| 3632k| 0 | 0.0 |1017M|4161 | - |5056 | 785 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1326.42/1326.47 c 1257s| 3650k| 3642k| 0 | 0.0 |1020M|4161 | - |5056 | 796 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1329.93/1329.98 c 1260s| 3660k| 3652k| 0 | 0.0 |1022M|4161 | - |5056 | 796 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1333.62/1333.60 c 1263s| 3670k| 3662k| 0 | 0.0 |1025M|4161 | - |5056 | 814 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1337.12/1337.12 c 1267s| 3680k| 3672k| 0 | 0.0 |1028M|4161 | - |5056 | 793 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1340.83/1340.81 c 1270s| 3690k| 3682k| 0 | 0.0 |1031M|4161 | - |5056 | 798 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1344.33/1344.33 c 1274s| 3700k| 3692k| 0 | 0.0 |1034M|4161 | - |5056 | 795 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1347.93/1347.91 c 1277s| 3710k| 3702k| 0 | 0.0 |1037M|4161 | - |5056 | 818 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1351.52/1351.53 c 1280s| 3720k| 3712k| 0 | 0.0 |1040M|4161 | - |5056 | 823 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1355.13/1355.12 c 1284s| 3730k| 3722k| 0 | 0.0 |1043M|4161 | - |5056 | 841 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1358.63/1358.68 c 1287s| 3740k| 3732k| 0 | 0.0 |1045M|4161 | - |5056 | 800 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1362.22/1362.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1362.22/1362.29 c 1291s| 3750k| 3742k| 0 | 0.0 |1048M|4161 | - |5056 | 829 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1365.73/1365.73 c 1294s| 3760k| 3752k| 0 | 0.0 |1051M|4161 | - |5056 | 805 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1369.32/1369.30 c 1297s| 3770k| 3762k| 0 | 0.0 |1054M|4161 | - |5056 | 808 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1372.83/1372.82 c 1301s| 3780k| 3772k| 0 | 0.0 |1057M|4161 | - |5056 | 802 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1376.43/1376.45 c 1304s| 3790k| 3782k| 0 | 0.0 |1060M|4161 | - |5056 | 807 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1379.93/1379.94 c 1307s| 3800k| 3792k| 0 | 0.0 |1063M|4161 | - |5056 | 838 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1383.33/1383.38 c 1311s| 3810k| 3802k| 0 | 0.0 |1065M|4161 | - |5056 | 796 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1386.83/1386.86 c 1314s| 3820k| 3812k| 0 | 0.0 |1068M|4161 | - |5056 | 810 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1390.34/1390.33 c 1317s| 3830k| 3822k| 0 | 0.0 |1071M|4161 | - |5056 | 844 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1393.83/1393.85 c 1320s| 3840k| 3832k| 0 | 0.0 |1074M|4161 | - |5056 | 794 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1397.32/1397.35 c 1324s| 3850k| 3842k| 0 | 0.0 |1077M|4161 | - |5056 | 834 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1400.83/1400.83 c 1327s| 3860k| 3852k| 0 | 0.0 |1080M|4161 | - |5056 | 826 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1404.32/1404.30 c 1330s| 3870k| 3862k| 0 | 0.0 |1083M|4161 | - |5056 | 828 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1407.72/1407.77 c 1334s| 3880k| 3872k| 0 | 0.0 |1086M|4161 | - |5056 | 816 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1411.33/1411.32 c 1337s| 3890k| 3882k| 0 | 0.0 |1089M|4161 | - |5056 | 803 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1414.92/1414.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1414.92/1414.90 c 1340s| 3900k| 3892k| 0 | 0.0 |1091M|4161 | - |5056 | 827 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1418.33/1418.30 c 1344s| 3910k| 3902k| 0 | 0.0 |1094M|4161 | - |5056 | 813 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1421.63/1421.67 c 1347s| 3920k| 3912k| 0 | 0.0 |1097M|4161 | - |5056 | 818 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1425.03/1425.08 c 1350s| 3930k| 3922k| 0 | 0.0 |1100M|4161 | - |5056 | 805 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1428.63/1428.68 c 1353s| 3940k| 3932k| 0 | 0.0 |1103M|4161 | - |5056 | 842 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1432.13/1432.16 c 1357s| 3950k| 3942k| 0 | 0.0 |1106M|4161 | - |5056 | 814 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1435.63/1435.61 c 1360s| 3960k| 3952k| 0 | 0.0 |1109M|4161 | - |5056 | 809 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1439.02/1439.03 c 1363s| 3970k| 3962k| 0 | 0.0 |1112M|4161 | - |5056 | 815 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1442.43/1442.46 c 1366s| 3980k| 3971k| 0 | 0.0 |1115M|4161 | - |5056 | 807 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1445.93/1445.90 c 1370s| 3990k| 3981k| 0 | 0.0 |1117M|4161 | - |5056 | 834 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1449.33/1449.35 c 1373s| 4000k| 3991k| 0 | 0.0 |1120M|4161 | - |5056 | 834 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1452.83/1452.80 c 1376s| 4010k| 4001k| 0 | 0.0 |1123M|4161 | - |5056 | 822 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1456.23/1456.26 c 1379s| 4020k| 4011k| 0 | 0.0 |1126M|4161 | - |5056 | 817 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1459.63/1459.66 c 1383s| 4030k| 4021k| 0 | 0.0 |1129M|4161 | - |5056 | 835 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1463.03/1463.06 c 1386s| 4040k| 4031k| 0 | 0.0 |1132M|4161 | - |5056 | 821 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1466.43/1466.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1466.43/1466.41 c 1389s| 4050k| 4041k| 0 | 0.0 |1135M|4161 | - |5056 | 841 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1469.82/1469.84 c 1392s| 4060k| 4051k| 0 | 0.0 |1138M|4161 | - |5056 | 848 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1473.23/1473.21 c 1395s| 4070k| 4061k| 0 | 0.0 |1141M|4161 | - |5056 | 834 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1476.63/1476.69 c 1399s| 4080k| 4071k| 0 | 0.0 |1143M|4161 | - |5056 | 843 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1480.03/1480.05 c 1402s| 4090k| 4081k| 0 | 0.0 |1146M|4161 | - |5056 | 843 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1483.43/1483.40 c 1405s| 4100k| 4091k| 0 | 0.0 |1149M|4161 | - |5056 | 845 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1486.73/1486.70 c 1408s| 4110k| 4101k| 0 | 0.0 |1152M|4161 | - |5056 | 844 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1490.03/1490.05 c 1411s| 4120k| 4111k| 0 | 0.0 |1155M|4161 | - |5056 | 835 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1493.33/1493.38 c 1414s| 4130k| 4121k| 0 | 0.0 |1158M|4161 | - |5056 | 833 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1496.73/1496.72 c 1418s| 4140k| 4131k| 0 | 0.0 |1161M|4161 | - |5056 | 832 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1500.03/1500.00 c 1421s| 4150k| 4141k| 0 | 0.0 |1164M|4161 | - |5056 | 826 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1503.23/1503.24 c 1424s| 4160k| 4151k| 0 | 0.0 |1167M|4161 | - |5056 | 835 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1506.63/1506.61 c 1427s| 4170k| 4161k| 0 | 0.0 |1170M|4161 | - |5056 | 859 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1509.83/1509.88 c 1430s| 4180k| 4171k| 0 | 0.0 |1173M|4161 | - |5056 | 855 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1513.33/1513.31 c 1433s| 4190k| 4181k| 0 | 0.0 |1176M|4161 | - |5056 | 866 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1516.53/1516.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1516.53/1516.55 c 1436s| 4200k| 4191k| 0 | 0.0 |1178M|4161 | - |5056 | 840 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1519.63/1519.69 c 1439s| 4210k| 4201k| 0 | 0.0 |1181M|4161 | - |5056 | 850 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1522.82/1522.88 c 1442s| 4220k| 4211k| 0 | 0.0 |1184M|4161 | - |5056 | 885 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1526.13/1526.12 c 1445s| 4230k| 4221k| 0 | 0.0 |1187M|4161 | - |5056 | 849 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1529.33/1529.34 c 1448s| 4240k| 4231k| 0 | 0.0 |1190M|4161 | - |5056 | 864 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1532.63/1532.67 c 1452s| 4250k| 4241k| 0 | 0.0 |1193M|4161 | - |5056 | 871 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1535.83/1535.84 c 1455s| 4260k| 4251k| 0 | 0.0 |1196M|4161 | - |5056 | 851 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1539.13/1539.17 c 1458s| 4270k| 4261k| 0 | 0.0 |1199M|4161 | - |5056 | 909 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1542.33/1542.39 c 1461s| 4280k| 4271k| 0 | 0.0 |1202M|4161 | - |5056 | 875 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1545.63/1545.60 c 1464s| 4290k| 4281k| 0 | 0.0 |1205M|4161 | - |5056 | 901 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1548.83/1548.87 c 1467s| 4300k| 4291k| 0 | 0.0 |1208M|4161 | - |5056 | 901 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1552.03/1552.08 c 1470s| 4310k| 4301k| 0 | 0.0 |1211M|4161 | - |5056 | 881 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1555.23/1555.29 c 1473s| 4320k| 4310k| 0 | 0.0 |1214M|4161 | - |5056 | 882 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1558.53/1558.54 c 1476s| 4330k| 4320k| 0 | 0.0 |1217M|4161 | - |5056 | 900 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1561.73/1561.78 c 1479s| 4340k| 4330k| 0 | 0.0 |1220M|4161 | - |5056 | 888 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1564.93/1564.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1564.93/1564.95 c 1482s| 4350k| 4340k| 0 | 0.0 |1222M|4161 | - |5056 | 901 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1568.23/1568.21 c 1486s| 4360k| 4350k| 0 | 0.0 |1225M|4161 | - |5056 | 896 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1571.33/1571.38 c 1489s| 4370k| 4360k| 0 | 0.0 |1228M|4161 | - |5056 | 901 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1574.63/1574.63 c 1492s| 4380k| 4370k| 0 | 0.0 |1231M|4161 | - |5056 | 901 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1577.73/1577.75 c 1495s| 4390k| 4380k| 0 | 0.0 |1234M|4161 | - |5056 | 914 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1580.83/1580.88 c 1498s| 4400k| 4390k| 0 | 0.0 |1237M|4161 | - |5056 | 894 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1584.04/1584.08 c 1501s| 4410k| 4400k| 0 | 0.0 |1240M|4161 | - |5056 | 903 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1587.24/1587.28 c 1504s| 4420k| 4410k| 0 | 0.0 |1243M|4161 | - |5056 | 889 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1590.33/1590.34 c 1507s| 4430k| 4420k| 0 | 0.0 |1246M|4161 | - |5056 | 894 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1593.33/1593.33 c 1509s| 4440k| 4430k| 0 | 0.0 |1249M|4161 | - |5056 | 916 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1596.34/1596.39 c 1512s| 4450k| 4440k| 0 | 0.0 |1252M|4161 | - |5056 | 883 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1599.44/1599.48 c 1515s| 4460k| 4450k| 0 | 0.0 |1255M|4161 | - |5056 | 893 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1602.43/1602.46 c 1518s| 4470k| 4460k| 0 | 0.0 |1258M|4161 | - |5056 | 892 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1605.43/1605.41 c 1521s| 4480k| 4470k| 0 | 0.0 |1261M|4161 | - |5056 | 919 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1608.44/1608.41 c 1524s| 4490k| 4480k| 0 | 0.0 |1264M|4161 | - |5056 | 935 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1611.33/1611.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1611.33/1611.40 c 1527s| 4500k| 4490k| 0 | 0.0 |1267M|4161 | - |5056 | 920 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1614.33/1614.34 c 1529s| 4510k| 4500k| 0 | 0.0 |1270M|4161 | - |5056 | 941 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1617.34/1617.32 c 1532s| 4520k| 4510k| 0 | 0.0 |1273M|4161 | - |5056 | 925 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1620.34/1620.33 c 1535s| 4530k| 4520k| 0 | 0.0 |1276M|4161 | - |5056 | 940 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1623.33/1623.34 c 1538s| 4540k| 4530k| 0 | 0.0 |1279M|4161 | - |5056 | 931 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1626.33/1626.37 c 1541s| 4550k| 4540k| 0 | 0.0 |1282M|4161 | - |5056 | 933 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1629.43/1629.42 c 1544s| 4560k| 4550k| 0 | 0.0 |1285M|4161 | - |5056 | 928 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1632.44/1632.41 c 1547s| 4570k| 4560k| 0 | 0.0 |1288M|4161 | - |5056 | 955 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1635.24/1635.22 c 1549s| 4580k| 4570k| 0 | 0.0 |1291M|4161 | - |5056 | 932 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1638.13/1638.14 c 1552s| 4590k| 4580k| 0 | 0.0 |1294M|4161 | - |5056 | 959 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1641.03/1641.05 c 1555s| 4600k| 4590k| 0 | 0.0 |1297M|4161 | - |5056 | 962 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1644.03/1644.00 c 1557s| 4610k| 4599k| 0 | 0.0 |1300M|4161 | - |5056 | 969 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1646.94/1646.91 c 1560s| 4620k| 4609k| 0 | 0.0 |1303M|4161 | - |5056 | 984 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1649.74/1649.77 c 1563s| 4630k| 4619k| 0 | 0.0 |1306M|4161 | - |5056 | 962 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1652.73/1652.71 c 1566s| 4640k| 4629k| 0 | 0.0 |1309M|4161 | - |5056 | 997 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1655.63/1655.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1655.63/1655.65 c 1568s| 4650k| 4639k| 0 | 0.0 |1312M|4161 | - |5056 | 944 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1658.63/1658.67 c 1571s| 4660k| 4649k| 0 | 0.0 |1315M|4161 | - |5056 | 983 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1661.53/1661.50 c 1574s| 4670k| 4659k| 0 | 0.0 |1318M|4161 | - |5056 | 961 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1664.34/1664.39 c 1577s| 4680k| 4669k| 0 | 0.0 |1321M|4161 | - |5056 | 981 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1667.33/1667.35 c 1579s| 4690k| 4679k| 0 | 0.0 |1324M|4161 | - |5056 |1016 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1670.13/1670.12 c 1582s| 4700k| 4689k| 0 | 0.0 |1327M|4161 | - |5056 | 964 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1673.04/1673.05 c 1585s| 4710k| 4699k| 0 | 0.0 |1330M|4161 | - |5056 | 950 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1675.94/1675.96 c 1588s| 4720k| 4709k| 0 | 0.0 |1333M|4161 | - |5056 | 966 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1678.73/1678.71 c 1590s| 4730k| 4719k| 0 | 0.0 |1337M|4161 | - |5056 |1009 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1681.54/1681.58 c 1593s| 4740k| 4729k| 0 | 0.0 |1340M|4161 | - |5056 | 984 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1684.44/1684.42 c 1595s| 4750k| 4739k| 0 | 0.0 |1343M|4161 | - |5056 | 992 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1687.14/1687.10 c 1598s| 4760k| 4749k| 0 | 0.0 |1346M|4161 | - |5056 | 980 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1689.94/1689.97 c 1601s| 4770k| 4759k| 0 | 0.0 |1349M|4161 | - |5056 | 989 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1692.63/1692.69 c 1603s| 4780k| 4769k| 0 | 0.0 |1352M|4161 | - |5056 | 993 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1695.34/1695.39 c 1606s| 4790k| 4779k| 0 | 0.0 |1355M|4161 | - |5056 | 991 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1698.24/1698.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1698.24/1698.20 c 1608s| 4800k| 4789k| 0 | 0.0 |1358M|4161 | - |5056 |1028 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1700.83/1700.85 c 1611s| 4810k| 4799k| 0 | 0.0 |1361M|4161 | - |5056 |1025 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1703.64/1703.60 c 1613s| 4820k| 4809k| 0 | 0.0 |1365M|4161 | - |5056 |1021 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1706.34/1706.33 c 1616s| 4830k| 4819k| 0 | 0.0 |1368M|4161 | - |5056 |1040 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1708.93/1708.94 c 1618s| 4840k| 4829k| 0 | 0.0 |1371M|4161 | - |5056 |1027 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1711.54/1711.53 c 1621s| 4850k| 4838k| 0 | 0.0 |1374M|4161 | - |5056 |1009 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1714.23/1714.20 c 1623s| 4860k| 4848k| 0 | 0.0 |1377M|4161 | - |5056 |1025 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1716.93/1716.93 c 1626s| 4870k| 4858k| 0 | 0.0 |1380M|4161 | - |5056 |1023 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1719.44/1719.48 c 1628s| 4880k| 4868k| 0 | 0.0 |1384M|4161 | - |5056 |1040 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1722.13/1722.12 c 1631s| 4890k| 4878k| 0 | 0.0 |1387M|4161 | - |5056 |1073 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1724.74/1724.70 c 1633s| 4900k| 4888k| 0 | 0.0 |1390M|4161 | - |5056 |1120 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1727.24/1727.28 c 1636s| 4910k| 4898k| 0 | 0.0 |1393M|4161 | - |5056 |1120 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1730.04/1730.07 c 1638s| 4920k| 4908k| 0 | 0.0 |1396M|4161 | - |5056 |1203 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1732.74/1732.79 c 1641s| 4930k| 4918k| 0 | 0.0 |1399M|4161 | - |5056 |1208 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1735.34/1735.33 c 1643s| 4940k| 4928k| 0 | 0.0 |1403M|4161 | - |5056 |1223 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1737.84/1737.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1737.84/1737.90 c 1646s| 4950k| 4938k| 0 | 0.0 |1406M|4161 | - |5056 |1283 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1740.43/1740.49 c 1648s| 4960k| 4948k| 0 | 0.0 |1409M|4161 | - |5056 |1261 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1743.14/1743.11 c 1650s| 4970k| 4958k| 0 | 0.0 |1412M|4161 | - |5056 |1268 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1745.64/1745.66 c 1653s| 4980k| 4968k| 0 | 0.0 |1415M|4161 | - |5056 |1339 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1748.24/1748.21 c 1655s| 4990k| 4978k| 0 | 0.0 |1418M|4161 | - |5056 |1337 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1750.64/1750.69 c 1658s| 5000k| 4988k| 0 | 0.0 |1422M|4161 | - |5056 |1356 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1753.14/1753.18 c 1660s| 5010k| 4998k| 0 | 0.0 |1425M|4161 | - |5056 |1389 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1755.64/1755.65 c 1662s| 5020k| 5008k| 0 | 0.0 |1428M|4161 | - |5056 |1421 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1758.13/1758.13 c 1664s| 5030k| 5018k| 0 | 0.0 |1431M|4161 | - |5056 |1504 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1760.54/1760.60 c 1667s| 5040k| 5027k| 0 | 0.0 |1435M|4161 | - |5056 |1486 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1763.04/1763.09 c 1669s| 5050k| 5037k| 0 | 0.0 |1438M|4161 | - |5056 |1542 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1765.44/1765.47 c 1671s| 5060k| 5047k| 0 | 0.0 |1441M|4161 | - |5056 |1564 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1768.03/1768.03 c 1674s| 5070k| 5057k| 0 | 0.0 |1445M|4161 | - |5056 |1592 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1770.53/1770.54 c 1676s| 5080k| 5067k| 0 | 0.0 |1448M|4161 | - |5056 |1624 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1772.83/1772.88 c 1678s| 5090k| 5077k| 0 | 0.0 |1451M|4161 | - |5056 |1677 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1775.23/1775.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1775.23/1775.22 c 1680s| 5100k| 5087k| 0 | 0.0 |1455M|4161 | - |5056 |1677 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1777.74/1777.75 c 1683s| 5110k| 5097k| 0 | 0.0 |1458M|4161 | - |5056 |1704 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1780.03/1780.02 c 1685s| 5120k| 5107k| 0 | 0.0 |1461M|4161 | - |5056 |1751 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1782.44/1782.41 c 1687s| 5130k| 5117k| 0 | 0.0 |1465M|4161 | - |5056 |1762 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1784.83/1784.80 c 1689s| 5140k| 5127k| 0 | 0.0 |1468M|4161 | - |5056 |1829 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1787.13/1787.17 c 1691s| 5150k| 5137k| 0 | 0.0 |1472M|4161 | - |5056 |1889 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1789.43/1789.46 c 1694s| 5160k| 5147k| 0 | 0.0 |1475M|4161 | - |5056 |1871 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1791.73/1791.73 c 1696s| 5170k| 5157k| 0 | 0.0 |1478M|4161 | - |5056 |1920 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1794.04/1794.01 c 1698s| 5180k| 5167k| 0 | 0.0 |1482M|4161 | - |5056 |1964 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1796.44/1796.49 c 1700s| 5190k| 5177k| 0 | 0.0 |1485M|4161 | - |5056 |1986 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
1798.83/1798.89 c 1702s| 5200k| 5186k| 0 | 0.0 |1489M|4161 | - |5056 |2032 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1703.29
1800.04/1800.00 c Solving Nodes : 5204943
1800.04/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 s UNKNOWN
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time : 1703.29
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693804-1277893481.wbo
1800.04/1800.00 c Variables : 5056 (5013 binary, 0 integer, 0 implicit integer, 43 continuous)
1800.04/1800.00 c Constraints : 185 initial, 185 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2693804-1277893481.wbo
1800.04/1800.00 c Variables : 5056 (5013 binary, 0 integer, 0 implicit integer, 43 continuous)
1800.04/1800.00 c Constraints : 184 initial, 2077 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.01 0 0 0 43 0 1 0 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 43 0 256 0 43 0 43 0 0 0
1800.04/1800.00 c setppc : 52 0 5406594 0 5196383 4436 3049490 0 0 0
1800.04/1800.00 c linear : 43 0 5406851 0 5198569 1286 200028 0 0 0
1800.04/1800.00 c logicor : 46+ 0 590044 0 5198579 957 97810 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 5198579 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c setppc : 294.89 0.00 59.42 0.00 235.47
1800.04/1800.00 c linear : 35.16 0.00 35.04 0.00 0.12
1800.04/1800.00 c logicor : 179.37 0.00 14.69 0.00 164.68
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 0.00 2 0 0
1800.04/1800.00 c rootredcost : 0.00 0 0 0
1800.04/1800.00 c pseudoobj : 4.76 5411198 0 0
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 93.02 6679 6679 208150 731.5 86673 67.9 -
1800.04/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 65807 74.5 - - -
1800.04/1800.00 c applied locally : - - - 75 663.6 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.00 c redcost : 0.00 0 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.00 c cmir : 0.00 0 0 0 0 0
1800.04/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.00 c clique : 0.00 0 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 1151.81 5198579 0 0 0 0 10397158
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c oneopt : 0.00 0 0
1800.04/1800.00 c trivial : 0.00 2 0
1800.04/1800.00 c simplerounding : 0.00 0 0
1800.04/1800.00 c zirounding : 0.00 0 0
1800.04/1800.00 c rounding : 0.00 0 0
1800.04/1800.00 c shifting : 0.00 0 0
1800.04/1800.00 c intshifting : 0.00 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c feaspump : 0.00 0 0
1800.04/1800.00 c coefdiving : 0.00 0 0
1800.04/1800.00 c pscostdiving : 0.00 0 0
1800.04/1800.00 c fracdiving : 0.00 0 0
1800.04/1800.00 c veclendiving : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c objpscostdiving : 0.00 0 0
1800.04/1800.00 c rootsoldiving : 0.00 0 0
1800.04/1800.00 c linesearchdiving : 0.00 0 0
1800.04/1800.00 c guideddiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.00 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c crossover : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c nlp : 0.00 0 0
1800.04/1800.00 c trysol : 0.00 1 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.00 c (at root node) : - 0 0 0.00 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 5204943
1800.04/1800.00 c nodes (total) : 5204943
1800.04/1800.00 c nodes left : 5191857
1800.04/1800.00 c max depth : 4161
1800.04/1800.00 c max depth (total): 4161
1800.04/1800.00 c backtracks : 2467 (0.0%)
1800.04/1800.00 c delayed cutoffs : 359
1800.04/1800.00 c repropagations : 6386 (42995 domain reductions, 315 cutoffs)
1800.04/1800.00 c avg switch length: 2.19
1800.04/1800.00 c switching time : 16.78
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 0 (0 improvements)
1800.04/1800.00 c Primal Bound : -
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693804-1277893481/watcher-2693804-1277893481 -o /tmp/evaluation-result-2693804-1277893481/solver-2693804-1277893481 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693804-1277893481.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.14 2.00 2.03 3/178 23553
/proc/meminfo: memFree=30456132/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=8780 CPUtime=0
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 1631 0 0 0 0 0 0 0 22 0 1 0 164951605 8990720 1555 4089446400 4194304 7136930 140736940288880 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23553/statm: 2195 1574 275 719 0 1474 0
[startup+0.0125131 s]
/proc/loadavg: 2.14 2.00 2.03 3/178 23553
/proc/meminfo: memFree=30456132/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=12872 CPUtime=0.01
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 2695 0 0 0 1 0 0 0 22 0 1 0 164951605 13180928 2618 4089446400 4194304 7136930 140736940288880 18446744073709551615 4384758 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23553/statm: 3218 2618 275 719 0 2497 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12872
[startup+0.100519 s]
/proc/loadavg: 2.14 2.00 2.03 3/178 23553
/proc/meminfo: memFree=30456132/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=26068 CPUtime=0.09
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 7472 0 0 0 8 1 0 0 22 0 1 0 164951605 26693632 5756 4089446400 4194304 7136930 140736940288880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 6517 5756 390 719 0 5796 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26068
[startup+0.300484 s]
/proc/loadavg: 2.14 2.00 2.03 3/178 23553
/proc/meminfo: memFree=30456132/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=27096 CPUtime=0.29
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 7738 0 0 0 28 1 0 0 22 0 1 0 164951605 27746304 6022 4089446400 4194304 7136930 140736940288880 18446744073709551615 4407959 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 6774 6022 390 719 0 6053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27096
[startup+0.700418 s]
/proc/loadavg: 2.14 2.00 2.03 3/178 23553
/proc/meminfo: memFree=30456132/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=27352 CPUtime=0.69
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 7796 0 0 0 66 3 0 0 23 0 1 0 164951605 28008448 6080 4089446400 4194304 7136930 140736940288880 18446744073709551615 4642001 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 6838 6080 390 719 0 6117 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27352
[startup+1.50027 s]
/proc/loadavg: 2.13 2.00 2.03 3/179 23554
/proc/meminfo: memFree=30432724/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=28124 CPUtime=1.49
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 8030 0 0 0 141 8 0 0 25 0 1 0 164951605 28798976 6313 4089446400 4194304 7136930 140736940288880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 7031 6313 394 719 0 6310 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28124
[startup+3.10099 s]
/proc/loadavg: 2.13 2.00 2.03 3/179 23554
/proc/meminfo: memFree=30430740/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=29556 CPUtime=3.09
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 8401 0 0 0 293 16 0 0 25 0 1 0 164951605 30265344 6684 4089446400 4194304 7136930 140736940288880 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 7389 6684 394 719 0 6668 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29556
[startup+6.30042 s]
/proc/loadavg: 2.13 2.00 2.03 3/179 23554
/proc/meminfo: memFree=30424540/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=33372 CPUtime=6.29
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 9370 0 0 0 593 36 0 0 25 0 1 0 164951605 34172928 7653 4089446400 4194304 7136930 140736940288880 18446744073709551615 4436346 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 8343 7653 394 719 0 7622 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33372
[startup+12.7003 s]
/proc/loadavg: 2.11 2.00 2.03 3/179 23554
/proc/meminfo: memFree=30409728/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=40712 CPUtime=12.7
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 11289 0 0 0 1197 73 0 0 25 0 1 0 164951605 41689088 9572 4089446400 4194304 7136930 140736940288880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 10178 9572 394 719 0 9457 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 40712
[startup+25.501 s]
/proc/loadavg: 2.09 2.00 2.03 3/179 23554
/proc/meminfo: memFree=30390048/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=53900 CPUtime=25.49
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 14197 0 0 0 2404 145 0 0 25 0 1 0 164951605 55193600 12480 4089446400 4194304 7136930 140736940288880 18446744073709551615 4436340 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 13475 12480 394 719 0 12754 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53900
[startup+51.1005 s]
/proc/loadavg: 2.06 2.00 2.03 3/179 23555
/proc/meminfo: memFree=30349780/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=73232 CPUtime=51.09
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 19309 0 0 0 4837 272 0 0 25 0 1 0 164951605 74989568 17591 4089446400 4194304 7136930 140736940288880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 18308 17591 394 719 0 17587 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 73232
[startup+102.306 s]
/proc/loadavg: 2.02 2.00 2.02 3/179 23556
/proc/meminfo: memFree=30263548/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=120360 CPUtime=102.3
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 30531 0 0 0 9700 530 0 0 25 0 1 0 164951605 123248640 28813 4089446400 4194304 7136930 140736940288880 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 30090 28813 394 719 0 29369 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 120360
[startup+162.301 s]
/proc/loadavg: 2.01 2.00 2.02 3/179 23558
/proc/meminfo: memFree=30168868/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=165920 CPUtime=162.29
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 42516 0 0 0 15395 834 0 0 25 0 1 0 164951605 169902080 40796 4089446400 4194304 7136930 140736940288880 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 41480 40796 394 719 0 40759 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 165920
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 23560
/proc/meminfo: memFree=30067116/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=220056 CPUtime=222.29
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 54527 0 0 0 21094 1135 0 0 25 0 1 0 164951605 225337344 52807 4089446400 4194304 7136930 140736940288880 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 55014 52807 394 719 0 54293 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 220056
[startup+282.301 s]
/proc/loadavg: 2.07 2.02 2.01 3/179 23561
/proc/meminfo: memFree=29969976/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=265980 CPUtime=282.3
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 66530 0 0 0 26793 1437 0 0 25 0 1 0 164951605 272363520 64810 4089446400 4194304 7136930 140736940288880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 66495 64810 394 719 0 65774 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 265980
[startup+342.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 23563
/proc/meminfo: memFree=29873336/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=310360 CPUtime=342.3
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 78212 0 0 0 32482 1748 0 0 25 0 1 0 164951605 317808640 76492 4089446400 4194304 7136930 140736940288880 18446744073709551615 4407949 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 77590 76492 394 719 0 76869 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 310360
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 23564
/proc/meminfo: memFree=29773968/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=373168 CPUtime=402.3
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 90408 0 0 0 38156 2074 0 0 25 0 1 0 164951605 382124032 88688 4089446400 4194304 7136930 140736940288880 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 93292 88688 394 719 0 92571 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 373168
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23566
/proc/meminfo: memFree=29670856/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=421176 CPUtime=462.3
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 103007 0 0 0 43835 2395 0 0 25 0 1 0 164951605 431284224 101287 4089446400 4194304 7136930 140736940288880 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 105294 101287 394 719 0 104573 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 421176
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23568
/proc/meminfo: memFree=29569376/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=467700 CPUtime=522.31
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 115254 0 0 0 49524 2707 0 0 25 0 1 0 164951605 478924800 113534 4089446400 4194304 7136930 140736940288880 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 116925 113534 394 719 0 116204 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 467700
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23569
/proc/meminfo: memFree=29458968/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=518052 CPUtime=582.31
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 128457 0 0 0 55205 3026 0 0 25 0 1 0 164951605 530485248 126737 4089446400 4194304 7136930 140736940288880 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 129513 126737 394 719 0 128792 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 518052
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23571
/proc/meminfo: memFree=29348312/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=567568 CPUtime=642.32
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 141498 0 0 0 60874 3358 0 0 25 0 1 0 164951605 581189632 139778 4089446400 4194304 7136930 140736940288880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 141892 139778 394 719 0 141171 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 567568
[startup+702.301 s]
################
# More data... #
################
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 216963 0 0 0 94911 5320 0 0 25 0 1 0 164951605 908201984 215243 4089446400 4194304 7136930 140736940288880 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 221729 215243 394 719 0 221008 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 886916
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23582
/proc/meminfo: memFree=28595128/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=935944 CPUtime=1062.31
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 229784 0 0 0 100592 5639 0 0 25 0 1 0 164951605 958406656 228064 4089446400 4194304 7136930 140736940288880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 233986 228064 394 719 0 233265 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 935944
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23584
/proc/meminfo: memFree=28488916/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=987292 CPUtime=1122.32
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 243191 0 0 0 106293 5939 0 0 25 0 1 0 164951605 1010987008 241471 4089446400 4194304 7136930 140736940288880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 246823 241471 394 719 0 246102 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 987292
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23585
/proc/meminfo: memFree=28393616/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=1032036 CPUtime=1182.32
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 254923 0 0 0 111998 6234 0 0 25 0 1 0 164951605 1056804864 253203 4089446400 4194304 7136930 140736940288880 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 258009 253203 394 719 0 257288 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1032036
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23587
/proc/meminfo: memFree=28288544/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=1080036 CPUtime=1242.33
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 267504 0 0 0 117702 6531 0 0 25 0 1 0 164951605 1105956864 265784 4089446400 4194304 7136930 140736940288880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 270009 265784 394 719 0 269288 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1080036
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23588
/proc/meminfo: memFree=28186036/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=1127148 CPUtime=1302.33
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 279852 0 0 0 123388 6845 0 0 25 0 1 0 164951605 1154199552 278132 4089446400 4194304 7136930 140736940288880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 281787 278132 394 719 0 281066 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1127148
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23590
/proc/meminfo: memFree=28081460/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=1175468 CPUtime=1362.33
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 292541 0 0 0 129065 7168 0 0 25 0 1 0 164951605 1203679232 290821 4089446400 4194304 7136930 140736940288880 18446744073709551615 4740347 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 293867 290821 394 719 0 293146 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1175468
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23592
/proc/meminfo: memFree=27970428/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=1224800 CPUtime=1422.33
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 305484 0 0 0 134738 7495 0 0 25 0 1 0 164951605 1254195200 303764 4089446400 4194304 7136930 140736940288880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 306200 303764 394 719 0 305479 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1224800
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23593
/proc/meminfo: memFree=27856024/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=1278008 CPUtime=1482.33
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 319435 0 0 0 140399 7834 0 0 25 0 1 0 164951605 1308680192 317715 4089446400 4194304 7136930 140736940288880 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 319502 317715 394 719 0 318781 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1278008
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23623
/proc/meminfo: memFree=29293960/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=1397388 CPUtime=1542.33
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 333569 0 0 0 146081 8152 0 0 25 0 1 0 164951605 1430925312 331849 4089446400 4194304 7136930 140736940288880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 349347 331849 394 719 0 348626 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1397388
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23624
/proc/meminfo: memFree=29100264/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=1455240 CPUtime=1602.33
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 348753 0 0 0 151796 8437 0 0 25 0 1 0 164951605 1490165760 347033 4089446400 4194304 7136930 140736940288880 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 363810 347033 394 719 0 363089 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1455240
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23698
/proc/meminfo: memFree=29195436/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=1518640 CPUtime=1662.33
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 365355 0 0 0 157472 8761 0 0 25 0 1 0 164951605 1555087360 363635 4089446400 4194304 7136930 140736940288880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 379660 363635 394 719 0 378939 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1518640
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23755
/proc/meminfo: memFree=29077208/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=1588904 CPUtime=1722.33
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 383797 0 0 0 163092 9141 0 0 25 0 1 0 164951605 1627037696 382077 4089446400 4194304 7136930 140736940288880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 397226 382077 394 719 0 396505 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1588904
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23756
/proc/meminfo: memFree=28949064/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=1663928 CPUtime=1782.34
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 403426 0 0 0 168687 9547 0 0 25 0 1 0 164951605 1703862272 401706 4089446400 4194304 7136930 140736940288880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 415982 401706 394 719 0 415261 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1663928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23757
/proc/meminfo: memFree=28920896/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=1689904 CPUtime=1800.04
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 410168 0 0 0 170330 9674 0 0 25 0 1 0 164951605 1730461696 408448 4089446400 4194304 7136930 140736940288880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23553/statm: 422476 408448 394 719 0 421755 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1689904
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -23553
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23758
/proc/meminfo: memFree=28920516/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=1690036 CPUtime=1801.43
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 410182 0 0 0 170469 9674 0 0 19 0 1 0 164951605 1730596864 408462 4089446400 4194304 7136930 140736940288880 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23553/statm: 422509 408462 399 719 0 421788 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 1690036
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23758
/proc/meminfo: memFree=28920392/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=1690036 CPUtime=1801.84
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 410182 0 0 0 170510 9674 0 0 20 0 1 0 164951605 1730596864 408462 4089446400 4194304 7136930 140736940288880 18446744073709551615 6165617 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23553/statm: 422509 408462 399 719 0 421788 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 1690036
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23758
/proc/meminfo: memFree=28920392/32950928 swapFree=67111528/67111528
[pid=23553] ppid=23551 vsize=1690036 CPUtime=1802.03
/proc/23553/stat : 23553 (pbscip.linux.x8) R 23551 23553 21667 0 -1 4202496 410182 0 0 0 170529 9674 0 0 21 0 1 0 164951605 1730596864 408462 4089446400 4194304 7136930 140736940288880 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23553/statm: 422509 408462 399 719 0 421788 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 1690036
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.06
CPU time (s): 1802.11
CPU user time (s): 1705.31
CPU system time (s): 96.8013
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1690036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1705.31
system time used= 96.8013
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 410182
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= 1631
runsolver used 2.88156 second user time and 6.90695 second system time
The end
Begin job on node112 at 2010-06-30 12:24:41
IDJOB=2693804
IDBENCH=78727
IDSOLVER=1206
FILE ID=node112/2693804-1277893481
PBS_JOBID= 11197130
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-71-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-2693804-1277893481/watcher-2693804-1277893481 -o /tmp/evaluation-result-2693804-1277893481/solver-2693804-1277893481 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693804-1277893481.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6ce7da05711cce00ec3b2d5a1c7699c2
RANDOM SEED=727356294
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: 30457032 kB
Buffers: 174052 kB
Cached: 1882192 kB
SwapCached: 0 kB
Active: 808004 kB
Inactive: 1540124 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 30457032 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3288 kB
Writeback: 0 kB
AnonPages: 292364 kB
Mapped: 16384 kB
Slab: 80040 kB
PageTables: 4840 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 442188 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:54:43