0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2700308-1278534695.wbo>
0.00/0.01 c original problem has 1900 variables (1050 bin, 0 int, 0 impl, 850 cont) and 1801 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.00/0.03 c (round 2) 100 del vars, 101 del conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.00/0.06 c (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.06 c presolving (3 rounds):
0.00/0.06 c 100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 1050 implications, 0 cliques
0.00/0.06 c presolved problem has 1800 variables (950 bin, 0 int, 0 impl, 850 cont) and 1700 constraints
0.00/0.06 c 850 constraints of type <indicator>
0.00/0.06 c 850 constraints of type <linear>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.03
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 1.2.1.2
0.00/0.06 c
0.00/0.06 c # frequency for displaying node information lines
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06 c display/freq = 10000
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1799.99
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 3420
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify inequalities
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/linear/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify knapsacks
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/rapidlearning/freq = 0
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.00/0.06 o 420925
0.00/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.06 c t 0.0s| 1 | 0 | 0 | - |6131k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 0 | - |6529k| 0 | 0 |1800 |1700 |1800 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 39 | - |6571k| 0 | 0 |1800 |1700 |1800 | 72 | 72 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.07 c 0.0s| 1 | 0 | 117 | - |6613k| 0 | 48 |1800 |1700 |1800 | 106 | 106 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.08 c 0.1s| 1 | 0 | 175 | - |6779k| 0 | 74 |1800 |1700 |1800 | 162 | 162 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.08/0.09 c 0.1s| 1 | 0 | 202 | - |6811k| 0 | 83 |1800 |1700 |1800 | 172 | 172 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 214 | - |6836k| 0 | 84 |1800 |1700 |1800 | 174 | 174 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.29/0.30 c 0.3s| 1 | 2 | 349 | - |6888k| 0 | 84 |1800 |1700 |1800 | 174 | 174 | 0 | 33 | 0.000000e+00 | 4.209250e+05 | Inf
12.59/12.65 c 11.7s| 10000 | 9999 | 81027 | 8.1 | 19M| 139 | 0 |1800 |1703 |1800 | 331 | 10k| 3 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
21.40/21.45 c 19.9s| 20000 | 19999 |125281 | 6.3 | 30M| 453 | 0 |1800 |1703 |1800 | 270 | 17k| 3 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
28.60/28.67 c 26.7s| 30000 | 29999 |139523 | 4.6 | 39M| 463 | 0 |1800 |1703 |1800 | 247 | 19k| 3 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
35.89/35.98 c 33.6s| 40000 | 39999 |154783 | 3.9 | 49M| 463 | 0 |1800 |1703 |1800 | 268 | 22k| 3 | 820 | 0.000000e+00 | 4.209250e+05 | Inf
43.59/43.65 c 40.7s| 50000 | 49997 |178082 | 3.6 | 59M| 463 | 0 |1800 |1707 |1800 | 271 | 25k| 7 | 894 | 0.000000e+00 | 4.209250e+05 | Inf
50.89/50.96 c 47.6s| 60000 | 59995 |193894 | 3.2 | 69M| 463 | 0 |1800 |1714 |1800 | 242 | 27k| 14 | 929 | 0.000000e+00 | 4.209250e+05 | Inf
58.30/58.37 c 54.5s| 70000 | 69993 |210968 | 3.0 | 79M| 463 | 0 |1800 |1716 |1800 | 313 | 30k| 16 | 978 | 0.000000e+00 | 4.209250e+05 | Inf
65.49/65.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.49/65.57 c 61.3s| 80000 | 79991 |224220 | 2.8 | 89M| 463 | 0 |1800 |1719 |1800 | 274 | 33k| 19 |1029 | 0.000000e+00 | 4.209250e+05 | Inf
72.69/72.75 c 68.1s| 90000 | 89987 |238181 | 2.6 | 99M| 463 | 0 |1800 |1724 |1800 | 279 | 35k| 24 |1069 | 0.000000e+00 | 4.209250e+05 | Inf
79.90/79.98 c 74.8s|100000 | 99987 |252600 | 2.5 | 109M| 463 | 0 |1800 |1724 |1800 | 263 | 37k| 24 |1117 | 0.000000e+00 | 4.209250e+05 | Inf
87.20/87.27 c 81.7s|110000 |109987 |268156 | 2.4 | 119M| 463 | 0 |1800 |1724 |1800 | 262 | 39k| 24 |1168 | 0.000000e+00 | 4.209250e+05 | Inf
94.69/94.70 c 88.7s|120000 |119987 |286284 | 2.4 | 128M| 463 | 0 |1800 |1724 |1800 | 302 | 42k| 24 |1250 | 0.000000e+00 | 4.209250e+05 | Inf
101.60/101.68 c 95.3s|130000 |129985 |296891 | 2.3 | 138M| 463 | 0 |1800 |1728 |1800 | 274 | 44k| 28 |1270 | 0.000000e+00 | 4.209250e+05 | Inf
108.69/108.76 c 102s|140000 |139983 |309479 | 2.2 | 148M| 463 | 0 |1800 |1729 |1800 | 291 | 46k| 29 |1312 | 0.000000e+00 | 4.209250e+05 | Inf
115.69/115.78 c 109s|150000 |149983 |319924 | 2.1 | 158M| 465 | 0 |1800 |1729 |1800 | 327 | 48k| 29 |1350 | 0.000000e+00 | 4.209250e+05 | Inf
122.80/122.87 c 115s|160000 |159983 |332207 | 2.1 | 168M| 465 | 0 |1800 |1729 |1800 | 233 | 51k| 29 |1378 | 0.000000e+00 | 4.209250e+05 | Inf
129.80/129.89 c 122s|170000 |169983 |343857 | 2.0 | 178M| 465 | 0 |1800 |1729 |1800 | 256 | 53k| 29 |1389 | 0.000000e+00 | 4.209250e+05 | Inf
136.89/136.92 c 128s|180000 |179983 |356287 | 2.0 | 188M| 465 | 0 |1800 |1729 |1800 | 265 | 55k| 29 |1434 | 0.000000e+00 | 4.209250e+05 | Inf
144.00/144.10 c 135s|190000 |189983 |372458 | 2.0 | 197M| 465 | 0 |1800 |1729 |1800 | 245 | 58k| 29 |1476 | 0.000000e+00 | 4.209250e+05 | Inf
151.29/151.38 c 142s|200000 |199981 |390144 | 1.9 | 207M| 465 | 0 |1800 |1731 |1800 | 270 | 61k| 32 |1516 | 0.000000e+00 | 4.209250e+05 | Inf
158.30/158.38 c 148s|210000 |209981 |400714 | 1.9 | 217M| 465 | 0 |1800 |1731 |1800 | 224 | 63k| 32 |1567 | 0.000000e+00 | 4.209250e+05 | Inf
165.30/165.36 c 155s|220000 |219981 |411580 | 1.9 | 227M| 465 | 0 |1800 |1731 |1800 | 280 | 66k| 32 |1596 | 0.000000e+00 | 4.209250e+05 | Inf
172.20/172.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.20/172.28 c 162s|230000 |229981 |420127 | 1.8 | 237M| 465 | 0 |1800 |1731 |1800 | 270 | 68k| 32 |1614 | 0.000000e+00 | 4.209250e+05 | Inf
179.00/179.09 c 168s|240000 |239981 |426187 | 1.8 | 247M| 465 | 0 |1800 |1731 |1800 | 310 | 69k| 32 |1623 | 0.000000e+00 | 4.209250e+05 | Inf
185.99/186.04 c 174s|250000 |249981 |435598 | 1.7 | 257M| 465 | 0 |1800 |1730 |1800 | 285 | 72k| 32 |1652 | 0.000000e+00 | 4.209250e+05 | Inf
193.00/193.08 c 181s|260000 |259981 |448186 | 1.7 | 266M| 465 | 0 |1800 |1730 |1800 | 292 | 74k| 32 |1689 | 0.000000e+00 | 4.209250e+05 | Inf
200.20/200.24 c 188s|270000 |269979 |461755 | 1.7 | 276M| 465 | 0 |1800 |1736 |1800 | 273 | 76k| 38 |1724 | 0.000000e+00 | 4.209250e+05 | Inf
207.09/207.17 c 194s|280000 |279977 |471742 | 1.7 | 286M| 465 | 0 |1800 |1738 |1800 | 323 | 78k| 41 |1735 | 0.000000e+00 | 4.209250e+05 | Inf
213.99/214.09 c 201s|290000 |289977 |480453 | 1.7 | 296M| 465 | 7 |1800 |1737 |1800 | 217 | 80k| 41 |1775 | 0.000000e+00 | 4.209250e+05 | Inf
220.90/220.93 c 207s|300000 |299977 |489039 | 1.6 | 306M| 465 | 0 |1800 |1737 |1800 | 287 | 82k| 41 |1776 | 0.000000e+00 | 4.209250e+05 | Inf
227.70/227.76 c 214s|310000 |309977 |496684 | 1.6 | 315M| 465 | 5 |1800 |1737 |1800 | 277 | 83k| 41 |1815 | 0.000000e+00 | 4.209250e+05 | Inf
234.50/234.60 c 220s|320000 |319977 |504644 | 1.6 | 325M| 465 | 0 |1800 |1737 |1800 | 256 | 85k| 41 |1817 | 0.000000e+00 | 4.209250e+05 | Inf
241.50/241.53 c 227s|330000 |329977 |513747 | 1.6 | 335M| 465 | 0 |1800 |1734 |1800 | 287 | 87k| 41 |1851 | 0.000000e+00 | 4.209250e+05 | Inf
248.30/248.31 c 233s|340000 |339977 |521209 | 1.5 | 345M| 465 | 0 |1800 |1733 |1800 | 274 | 88k| 41 |1853 | 0.000000e+00 | 4.209250e+05 | Inf
255.10/255.14 c 239s|350000 |349977 |528393 | 1.5 | 355M| 465 | 0 |1800 |1733 |1800 | 268 | 90k| 41 |1886 | 0.000000e+00 | 4.209250e+05 | Inf
261.90/261.90 c 246s|360000 |359977 |534173 | 1.5 | 364M| 465 | 0 |1800 |1733 |1800 | 269 | 91k| 41 |1890 | 0.000000e+00 | 4.209250e+05 | Inf
268.60/268.66 c 252s|370000 |369977 |539721 | 1.5 | 374M| 465 | 0 |1800 |1732 |1800 | 283 | 93k| 41 |1890 | 0.000000e+00 | 4.209250e+05 | Inf
275.50/275.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
275.50/275.55 c 259s|380000 |379977 |548102 | 1.4 | 384M| 465 | 0 |1800 |1731 |1800 | 303 | 95k| 41 |1920 | 0.000000e+00 | 4.209250e+05 | Inf
282.30/282.37 c 265s|390000 |389977 |556242 | 1.4 | 394M| 465 | 0 |1800 |1731 |1800 | 284 | 96k| 41 |1921 | 0.000000e+00 | 4.209250e+05 | Inf
289.21/289.27 c 271s|400000 |399977 |564969 | 1.4 | 404M| 465 | 0 |1800 |1731 |1800 | 270 | 98k| 41 |1952 | 0.000000e+00 | 4.209250e+05 | Inf
296.00/296.06 c 278s|410000 |409977 |571003 | 1.4 | 414M| 473 | 0 |1800 |1731 |1800 | 277 | 99k| 41 |1952 | 0.000000e+00 | 4.209250e+05 | Inf
302.90/302.95 c 284s|420000 |419977 |580418 | 1.4 | 423M| 473 | 0 |1800 |1730 |1800 | 261 | 101k| 41 |1980 | 0.000000e+00 | 4.209250e+05 | Inf
309.60/309.69 c 291s|430000 |429977 |587835 | 1.4 | 433M| 473 | 0 |1800 |1730 |1800 | 305 | 103k| 41 |1983 | 0.000000e+00 | 4.209250e+05 | Inf
316.40/316.46 c 297s|440000 |439977 |594431 | 1.4 | 443M| 473 | 0 |1800 |1730 |1800 | 273 | 104k| 41 |2006 | 0.000000e+00 | 4.209250e+05 | Inf
323.30/323.30 c 303s|450000 |449977 |603481 | 1.3 | 453M| 473 | 0 |1800 |1729 |1800 | 291 | 106k| 41 |2014 | 0.000000e+00 | 4.209250e+05 | Inf
330.20/330.22 c 310s|460000 |459977 |612279 | 1.3 | 463M| 473 | 0 |1800 |1729 |1800 | 282 | 108k| 41 |2040 | 0.000000e+00 | 4.209250e+05 | Inf
337.00/337.09 c 316s|470000 |469977 |621272 | 1.3 | 472M| 473 | 0 |1800 |1729 |1800 | 296 | 109k| 41 |2046 | 0.000000e+00 | 4.209250e+05 | Inf
343.80/343.85 c 323s|480000 |479977 |627197 | 1.3 | 482M| 473 | 0 |1800 |1729 |1800 | 293 | 111k| 41 |2062 | 0.000000e+00 | 4.209250e+05 | Inf
350.50/350.60 c 329s|490000 |489977 |633923 | 1.3 | 492M| 473 | 0 |1800 |1729 |1800 | 276 | 112k| 41 |2082 | 0.000000e+00 | 4.209250e+05 | Inf
357.51/357.50 c 336s|500000 |499977 |643698 | 1.3 | 502M| 473 | 0 |1800 |1729 |1800 | 311 | 114k| 41 |2089 | 0.000000e+00 | 4.209250e+05 | Inf
364.31/364.30 c 342s|510000 |509977 |650544 | 1.3 | 512M| 473 | 0 |1800 |1729 |1800 | 266 | 116k| 41 |2115 | 0.000000e+00 | 4.209250e+05 | Inf
371.10/371.15 c 348s|520000 |519977 |659084 | 1.3 | 521M| 473 | 0 |1800 |1729 |1800 | 328 | 117k| 41 |2115 | 0.000000e+00 | 4.209250e+05 | Inf
378.00/378.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
378.00/378.06 c 355s|530000 |529977 |668194 | 1.3 | 531M| 473 | 0 |1800 |1729 |1800 | 259 | 119k| 41 |2147 | 0.000000e+00 | 4.209250e+05 | Inf
384.80/384.90 c 361s|540000 |539977 |677196 | 1.3 | 541M| 473 | 0 |1800 |1729 |1800 | 280 | 121k| 41 |2158 | 0.000000e+00 | 4.209250e+05 | Inf
391.70/391.73 c 368s|550000 |549977 |684987 | 1.2 | 551M| 473 | 0 |1800 |1729 |1800 | 282 | 123k| 41 |2179 | 0.000000e+00 | 4.209250e+05 | Inf
398.50/398.55 c 374s|560000 |559977 |692794 | 1.2 | 560M| 473 | 0 |1800 |1727 |1800 | 310 | 125k| 41 |2179 | 0.000000e+00 | 4.209250e+05 | Inf
405.30/405.39 c 381s|570000 |569977 |699762 | 1.2 | 570M| 473 | 0 |1800 |1727 |1800 | 310 | 126k| 41 |2211 | 0.000000e+00 | 4.209250e+05 | Inf
412.20/412.25 c 387s|580000 |579975 |707977 | 1.2 | 580M| 473 | 0 |1800 |1731 |1800 | 267 | 128k| 46 |2212 | 0.000000e+00 | 4.209250e+05 | Inf
418.91/418.95 c 393s|590000 |589975 |712926 | 1.2 | 590M| 473 | 0 |1800 |1731 |1800 | 268 | 129k| 46 |2228 | 0.000000e+00 | 4.209250e+05 | Inf
425.71/425.73 c 400s|600000 |599975 |721108 | 1.2 | 600M| 473 | 0 |1800 |1731 |1800 | 286 | 131k| 46 |2239 | 0.000000e+00 | 4.209250e+05 | Inf
432.40/432.48 c 406s|610000 |609975 |727629 | 1.2 | 610M| 473 | 0 |1800 |1731 |1800 | 303 | 132k| 46 |2239 | 0.000000e+00 | 4.209250e+05 | Inf
439.31/439.35 c 412s|620000 |619973 |736277 | 1.2 | 619M| 473 | 0 |1800 |1731 |1800 | 288 | 134k| 47 |2263 | 0.000000e+00 | 4.209250e+05 | Inf
446.11/446.12 c 419s|630000 |629971 |743812 | 1.2 | 629M| 473 | 0 |1800 |1733 |1800 | 248 | 135k| 50 |2263 | 0.000000e+00 | 4.209250e+05 | Inf
453.01/453.00 c 425s|640000 |639971 |753651 | 1.2 | 639M| 473 | 0 |1800 |1733 |1800 | 276 | 137k| 50 |2294 | 0.000000e+00 | 4.209250e+05 | Inf
459.81/459.84 c 432s|650000 |649971 |763699 | 1.2 | 649M| 473 | 12 |1800 |1733 |1800 | 247 | 139k| 50 |2294 | 0.000000e+00 | 4.209250e+05 | Inf
466.51/466.54 c 438s|660000 |659971 |768970 | 1.2 | 658M| 473 | 0 |1800 |1733 |1800 | 267 | 140k| 50 |2325 | 0.000000e+00 | 4.209250e+05 | Inf
473.21/473.25 c 444s|670000 |669971 |774258 | 1.2 | 668M| 473 | 0 |1800 |1732 |1800 | 265 | 141k| 50 |2326 | 0.000000e+00 | 4.209250e+05 | Inf
480.01/480.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
480.01/480.01 c 451s|680000 |679971 |780241 | 1.1 | 678M| 473 | 0 |1800 |1732 |1800 | 276 | 143k| 50 |2326 | 0.000000e+00 | 4.209250e+05 | Inf
486.71/486.77 c 457s|690000 |689971 |786806 | 1.1 | 688M| 473 | 0 |1800 |1732 |1800 | 292 | 144k| 50 |2356 | 0.000000e+00 | 4.209250e+05 | Inf
493.40/493.45 c 463s|700000 |699971 |791896 | 1.1 | 698M| 475 | 0 |1800 |1732 |1800 | 293 | 145k| 50 |2356 | 0.000000e+00 | 4.209250e+05 | Inf
500.20/500.22 c 470s|710000 |709969 |799650 | 1.1 | 707M| 475 | 0 |1800 |1733 |1800 | 288 | 147k| 52 |2369 | 0.000000e+00 | 4.209250e+05 | Inf
506.91/506.99 c 476s|720000 |719969 |808165 | 1.1 | 717M| 475 | 0 |1800 |1733 |1800 | 224 | 148k| 52 |2384 | 0.000000e+00 | 4.209250e+05 | Inf
513.61/513.63 c 482s|730000 |729969 |812955 | 1.1 | 727M| 475 | 0 |1800 |1732 |1800 | 294 | 149k| 52 |2384 | 0.000000e+00 | 4.209250e+05 | Inf
520.41/520.42 c 489s|740000 |739969 |819531 | 1.1 | 737M| 475 | 0 |1800 |1731 |1800 | 318 | 150k| 52 |2408 | 0.000000e+00 | 4.209250e+05 | Inf
527.01/527.05 c 495s|750000 |749969 |823853 | 1.1 | 746M| 475 | 3 |1800 |1731 |1800 | 279 | 151k| 52 |2414 | 0.000000e+00 | 4.209250e+05 | Inf
533.61/533.69 c 501s|760000 |759969 |828863 | 1.1 | 756M| 475 | 0 |1800 |1730 |1800 | 258 | 152k| 52 |2414 | 0.000000e+00 | 4.209250e+05 | Inf
540.21/540.29 c 507s|770000 |769969 |833391 | 1.1 | 766M| 475 | 0 |1800 |1730 |1800 | 242 | 153k| 52 |2414 | 0.000000e+00 | 4.209250e+05 | Inf
547.10/547.16 c 514s|780000 |779969 |841718 | 1.1 | 776M| 475 | 0 |1800 |1730 |1800 | 246 | 154k| 52 |2435 | 0.000000e+00 | 4.209250e+05 | Inf
553.80/553.84 c 520s|790000 |789969 |847420 | 1.1 | 785M| 475 | 0 |1800 |1728 |1800 | 298 | 155k| 52 |2437 | 0.000000e+00 | 4.209250e+05 | Inf
560.41/560.49 c 526s|800000 |799969 |852615 | 1.1 | 795M| 475 | 0 |1800 |1728 |1800 | 283 | 156k| 52 |2444 | 0.000000e+00 | 4.209250e+05 | Inf
567.21/567.21 c 533s|810000 |809969 |859096 | 1.1 | 805M| 475 | 0 |1800 |1728 |1800 | 279 | 158k| 52 |2461 | 0.000000e+00 | 4.209250e+05 | Inf
573.91/573.98 c 539s|820000 |819969 |867086 | 1.1 | 815M| 475 | 0 |1800 |1728 |1800 | 267 | 159k| 52 |2461 | 0.000000e+00 | 4.209250e+05 | Inf
580.72/580.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
580.72/580.78 c 545s|830000 |829969 |875197 | 1.1 | 824M| 475 | 0 |1800 |1727 |1800 | 299 | 161k| 52 |2487 | 0.000000e+00 | 4.209250e+05 | Inf
587.51/587.51 c 552s|840000 |839969 |882841 | 1.1 | 834M| 475 | 0 |1800 |1727 |1800 | 259 | 162k| 52 |2487 | 0.000000e+00 | 4.209250e+05 | Inf
594.10/594.17 c 558s|850000 |849969 |888069 | 1.0 | 844M| 475 | 0 |1800 |1727 |1800 | 285 | 163k| 52 |2488 | 0.000000e+00 | 4.209250e+05 | Inf
600.81/600.87 c 564s|860000 |859969 |893872 | 1.0 | 854M| 475 | 0 |1800 |1727 |1800 | 264 | 164k| 52 |2513 | 0.000000e+00 | 4.209250e+05 | Inf
607.61/607.60 c 571s|870000 |869969 |900570 | 1.0 | 863M| 475 | 0 |1800 |1727 |1800 | 302 | 166k| 52 |2513 | 0.000000e+00 | 4.209250e+05 | Inf
614.31/614.36 c 577s|880000 |879969 |907021 | 1.0 | 873M| 475 | 0 |1800 |1727 |1800 | 281 | 167k| 52 |2524 | 0.000000e+00 | 4.209250e+05 | Inf
621.11/621.12 c 583s|890000 |889969 |913611 | 1.0 | 883M| 477 | 0 |1800 |1726 |1800 | 241 | 168k| 52 |2541 | 0.000000e+00 | 4.209250e+05 | Inf
627.81/627.84 c 590s|900000 |899969 |920236 | 1.0 | 893M| 477 | 0 |1800 |1726 |1800 | 288 | 169k| 52 |2541 | 0.000000e+00 | 4.209250e+05 | Inf
634.61/634.61 c 596s|910000 |909969 |926868 | 1.0 | 903M| 477 | 0 |1800 |1726 |1800 | 270 | 171k| 52 |2560 | 0.000000e+00 | 4.209250e+05 | Inf
641.32/641.36 c 602s|920000 |919969 |933766 | 1.0 | 912M| 477 | 0 |1800 |1726 |1800 | 281 | 172k| 52 |2562 | 0.000000e+00 | 4.209250e+05 | Inf
648.21/648.28 c 609s|930000 |929969 |943782 | 1.0 | 922M| 477 | 0 |1800 |1726 |1800 | 287 | 174k| 52 |2586 | 0.000000e+00 | 4.209250e+05 | Inf
655.01/655.07 c 615s|940000 |939969 |951945 | 1.0 | 932M| 477 | 0 |1800 |1726 |1800 | 300 | 176k| 52 |2590 | 0.000000e+00 | 4.209250e+05 | Inf
661.91/661.90 c 622s|950000 |949969 |960506 | 1.0 | 942M| 477 | 0 |1800 |1726 |1800 | 267 | 177k| 52 |2601 | 0.000000e+00 | 4.209250e+05 | Inf
668.82/668.80 c 628s|960000 |959969 |971224 | 1.0 | 951M| 477 | 0 |1800 |1726 |1800 | 256 | 178k| 52 |2621 | 0.000000e+00 | 4.209250e+05 | Inf
675.51/675.54 c 635s|970000 |969969 |978542 | 1.0 | 961M| 477 | 0 |1800 |1726 |1800 | 242 | 179k| 52 |2622 | 0.000000e+00 | 4.209250e+05 | Inf
682.31/682.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
682.31/682.37 c 641s|980000 |979969 |986864 | 1.0 | 971M| 477 | 0 |1800 |1726 |1800 | 261 | 181k| 52 |2652 | 0.000000e+00 | 4.209250e+05 | Inf
689.11/689.17 c 647s|990000 |989969 |994869 | 1.0 | 981M| 477 | 0 |1800 |1726 |1800 | 282 | 182k| 52 |2652 | 0.000000e+00 | 4.209250e+05 | Inf
695.92/695.94 c 654s| 1000k|999969 | 1001k| 1.0 | 990M| 477 | 0 |1800 |1726 |1800 | 255 | 184k| 52 |2679 | 0.000000e+00 | 4.209250e+05 | Inf
702.61/702.65 c 660s| 1010k| 1009k| 1008k| 1.0 |1000M| 477 | 0 |1800 |1726 |1800 | 263 | 185k| 52 |2679 | 0.000000e+00 | 4.209250e+05 | Inf
709.42/709.45 c 666s| 1020k| 1019k| 1015k| 1.0 |1010M| 477 | 0 |1800 |1726 |1800 | 313 | 186k| 52 |2686 | 0.000000e+00 | 4.209250e+05 | Inf
716.31/716.32 c 673s| 1030k| 1029k| 1025k| 1.0 |1020M| 477 | 0 |1800 |1726 |1800 | 270 | 188k| 52 |2710 | 0.000000e+00 | 4.209250e+05 | Inf
723.02/723.09 c 679s| 1040k| 1039k| 1032k| 1.0 |1030M| 485 | 0 |1800 |1726 |1800 | 255 | 189k| 52 |2710 | 0.000000e+00 | 4.209250e+05 | Inf
729.81/729.86 c 686s| 1050k| 1049k| 1040k| 1.0 |1039M| 485 | 0 |1800 |1726 |1800 | 255 | 190k| 52 |2738 | 0.000000e+00 | 4.209250e+05 | Inf
736.62/736.67 c 692s| 1060k| 1059k| 1048k| 1.0 |1049M| 485 | 0 |1800 |1726 |1800 | 300 | 192k| 52 |2738 | 0.000000e+00 | 4.209250e+05 | Inf
743.41/743.48 c 698s| 1070k| 1069k| 1055k| 1.0 |1059M| 485 | 0 |1800 |1726 |1800 | 262 | 193k| 52 |2751 | 0.000000e+00 | 4.209250e+05 | Inf
750.12/750.12 c 705s| 1080k| 1079k| 1060k| 1.0 |1069M| 491 | 0 |1800 |1725 |1800 | 212 | 194k| 52 |2769 | 0.000000e+00 | 4.209250e+05 | Inf
756.72/756.76 c 711s| 1090k| 1089k| 1065k| 1.0 |1078M| 491 | 0 |1800 |1725 |1800 | 287 | 195k| 52 |2769 | 0.000000e+00 | 4.209250e+05 | Inf
763.52/763.55 c 717s| 1100k| 1099k| 1073k| 1.0 |1088M| 491 | 0 |1800 |1725 |1800 | 278 | 197k| 52 |2769 | 0.000000e+00 | 4.209250e+05 | Inf
770.22/770.20 c 723s| 1110k| 1109k| 1078k| 1.0 |1098M| 491 | 0 |1800 |1725 |1800 | 241 | 198k| 52 |2794 | 0.000000e+00 | 4.209250e+05 | Inf
776.81/776.86 c 730s| 1120k| 1119k| 1084k| 1.0 |1108M| 491 | 0 |1800 |1724 |1800 | 230 | 199k| 52 |2794 | 0.000000e+00 | 4.209250e+05 | Inf
783.62/783.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
783.62/783.63 c 736s| 1130k| 1129k| 1090k| 1.0 |1117M| 491 | 0 |1800 |1723 |1800 | 305 | 200k| 52 |2796 | 0.000000e+00 | 4.209250e+05 | Inf
790.31/790.33 c 742s| 1140k| 1139k| 1094k| 1.0 |1127M| 491 | 0 |1800 |1723 |1800 | 286 | 201k| 52 |2816 | 0.000000e+00 | 4.209250e+05 | Inf
797.01/797.03 c 749s| 1150k| 1149k| 1099k| 1.0 |1137M| 491 | 0 |1800 |1723 |1800 | 292 | 202k| 52 |2826 | 0.000000e+00 | 4.209250e+05 | Inf
803.71/803.71 c 755s| 1160k| 1159k| 1105k| 1.0 |1147M| 491 | 0 |1800 |1723 |1800 | 290 | 203k| 52 |2826 | 0.000000e+00 | 4.209250e+05 | Inf
810.42/810.49 c 761s| 1170k| 1169k| 1113k| 1.0 |1156M| 491 | 0 |1800 |1723 |1800 | 265 | 204k| 52 |2838 | 0.000000e+00 | 4.209250e+05 | Inf
817.32/817.32 c 768s| 1180k| 1179k| 1123k| 1.0 |1166M| 491 | 0 |1800 |1729 |1800 | 274 | 206k| 58 |2851 | 0.000000e+00 | 4.209250e+05 | Inf
823.92/823.99 c 774s| 1190k| 1189k| 1130k| 0.9 |1176M| 491 | 0 |1800 |1729 |1800 | 283 | 207k| 58 |2852 | 0.000000e+00 | 4.209250e+05 | Inf
830.62/830.64 c 780s| 1200k| 1199k| 1135k| 0.9 |1186M| 491 | 0 |1800 |1729 |1800 | 228 | 208k| 58 |2867 | 0.000000e+00 | 4.209250e+05 | Inf
837.42/837.40 c 787s| 1210k| 1209k| 1141k| 0.9 |1195M| 491 | 0 |1800 |1729 |1800 | 242 | 209k| 58 |2879 | 0.000000e+00 | 4.209250e+05 | Inf
844.02/844.01 c 793s| 1220k| 1219k| 1146k| 0.9 |1205M| 491 | 0 |1800 |1729 |1800 | 301 | 211k| 58 |2880 | 0.000000e+00 | 4.209250e+05 | Inf
850.61/850.67 c 799s| 1230k| 1229k| 1152k| 0.9 |1215M| 491 | 0 |1800 |1728 |1800 | 277 | 212k| 58 |2880 | 0.000000e+00 | 4.209250e+05 | Inf
857.42/857.49 c 806s| 1240k| 1239k| 1158k| 0.9 |1225M| 491 | 0 |1800 |1726 |1800 | 293 | 213k| 58 |2906 | 0.000000e+00 | 4.209250e+05 | Inf
864.12/864.12 c 812s| 1250k| 1249k| 1163k| 0.9 |1234M| 491 | 0 |1800 |1726 |1800 | 248 | 214k| 58 |2911 | 0.000000e+00 | 4.209250e+05 | Inf
870.72/870.78 c 818s| 1260k| 1259k| 1169k| 0.9 |1244M| 491 | 0 |1800 |1725 |1800 | 282 | 215k| 58 |2913 | 0.000000e+00 | 4.209250e+05 | Inf
877.42/877.44 c 824s| 1270k| 1269k| 1176k| 0.9 |1254M| 491 | 0 |1800 |1725 |1800 | 262 | 216k| 58 |2936 | 0.000000e+00 | 4.209250e+05 | Inf
884.12/884.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
884.12/884.15 c 831s| 1280k| 1279k| 1183k| 0.9 |1264M| 491 | 0 |1800 |1725 |1800 | 282 | 217k| 58 |2941 | 0.000000e+00 | 4.209250e+05 | Inf
890.72/890.75 c 837s| 1290k| 1289k| 1187k| 0.9 |1273M| 491 | 0 |1800 |1724 |1800 | 278 | 218k| 58 |2942 | 0.000000e+00 | 4.209250e+05 | Inf
897.41/897.41 c 843s| 1300k| 1299k| 1195k| 0.9 |1283M| 491 | 0 |1800 |1724 |1800 | 240 | 219k| 58 |2959 | 0.000000e+00 | 4.209250e+05 | Inf
904.12/904.15 c 849s| 1310k| 1309k| 1202k| 0.9 |1293M| 491 | 0 |1800 |1724 |1800 | 239 | 221k| 58 |2969 | 0.000000e+00 | 4.209250e+05 | Inf
910.72/910.78 c 856s| 1320k| 1319k| 1208k| 0.9 |1302M| 491 | 0 |1800 |1724 |1800 | 260 | 222k| 58 |2969 | 0.000000e+00 | 4.209250e+05 | Inf
917.43/917.40 c 862s| 1330k| 1329k| 1213k| 0.9 |1312M| 491 | 0 |1800 |1723 |1800 | 224 | 222k| 58 |2974 | 0.000000e+00 | 4.209250e+05 | Inf
924.12/924.13 c 868s| 1340k| 1339k| 1220k| 0.9 |1322M| 491 | 0 |1800 |1723 |1800 | 284 | 224k| 58 |2998 | 0.000000e+00 | 4.209250e+05 | Inf
930.82/930.87 c 875s| 1350k| 1349k| 1227k| 0.9 |1332M| 491 | 0 |1800 |1723 |1800 | 285 | 225k| 58 |2998 | 0.000000e+00 | 4.209250e+05 | Inf
937.62/937.61 c 881s| 1360k| 1359k| 1234k| 0.9 |1341M| 491 | 0 |1800 |1723 |1800 | 286 | 226k| 58 |3004 | 0.000000e+00 | 4.209250e+05 | Inf
944.22/944.26 c 887s| 1370k| 1369k| 1239k| 0.9 |1351M| 491 | 0 |1800 |1723 |1800 | 253 | 227k| 58 |3023 | 0.000000e+00 | 4.209250e+05 | Inf
951.02/951.02 c 893s| 1380k| 1379k| 1247k| 0.9 |1361M| 491 | 0 |1800 |1723 |1800 | 260 | 228k| 58 |3025 | 0.000000e+00 | 4.209250e+05 | Inf
957.62/957.69 c 900s| 1390k| 1389k| 1252k| 0.9 |1371M| 491 | 0 |1800 |1723 |1800 | 271 | 229k| 58 |3025 | 0.000000e+00 | 4.209250e+05 | Inf
964.42/964.41 c 906s| 1400k| 1399k| 1258k| 0.9 |1380M| 491 | 0 |1800 |1723 |1800 | 243 | 230k| 58 |3044 | 0.000000e+00 | 4.209250e+05 | Inf
971.02/971.07 c 912s| 1410k| 1409k| 1262k| 0.9 |1390M| 491 | 0 |1800 |1723 |1800 | 291 | 231k| 58 |3051 | 0.000000e+00 | 4.209250e+05 | Inf
977.82/977.82 c 919s| 1420k| 1419k| 1270k| 0.9 |1400M| 491 | 0 |1800 |1723 |1800 | 255 | 232k| 58 |3052 | 0.000000e+00 | 4.209250e+05 | Inf
984.42/984.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
984.42/984.48 c 925s| 1430k| 1429k| 1275k| 0.9 |1409M| 491 | 0 |1800 |1723 |1800 | 258 | 233k| 58 |3062 | 0.000000e+00 | 4.209250e+05 | Inf
991.13/991.16 c 931s| 1440k| 1439k| 1281k| 0.9 |1419M| 491 | 0 |1800 |1722 |1800 | 284 | 234k| 58 |3082 | 0.000000e+00 | 4.209250e+05 | Inf
997.82/997.80 c 937s| 1450k| 1449k| 1285k| 0.9 |1429M| 491 | 0 |1800 |1722 |1800 | 245 | 235k| 58 |3082 | 0.000000e+00 | 4.209250e+05 | Inf
1004.52/1004.52 c 944s| 1460k| 1459k| 1292k| 0.9 |1439M| 491 | 0 |1800 |1722 |1800 | 249 | 237k| 58 |3082 | 0.000000e+00 | 4.209250e+05 | Inf
1011.03/1011.05 c 950s| 1470k| 1469k| 1295k| 0.9 |1448M| 491 | 0 |1800 |1722 |1800 | 285 | 237k| 58 |3082 | 0.000000e+00 | 4.209250e+05 | Inf
1017.72/1017.73 c 956s| 1480k| 1479k| 1300k| 0.9 |1458M| 491 | 0 |1800 |1722 |1800 | 239 | 238k| 58 |3107 | 0.000000e+00 | 4.209250e+05 | Inf
1024.32/1024.35 c 962s| 1490k| 1489k| 1305k| 0.9 |1468M| 491 | 0 |1800 |1722 |1800 | 263 | 239k| 58 |3107 | 0.000000e+00 | 4.209250e+05 | Inf
1031.03/1031.04 c 969s| 1500k| 1499k| 1311k| 0.9 |1478M| 491 | 0 |1800 |1722 |1800 | 238 | 240k| 58 |3107 | 0.000000e+00 | 4.209250e+05 | Inf
1037.62/1037.61 c 975s| 1510k| 1509k| 1314k| 0.9 |1487M| 491 | 0 |1800 |1722 |1800 | 257 | 241k| 58 |3107 | 0.000000e+00 | 4.209250e+05 | Inf
1044.22/1044.22 c 981s| 1520k| 1519k| 1318k| 0.9 |1497M| 491 | 0 |1800 |1722 |1800 | 248 | 242k| 58 |3133 | 0.000000e+00 | 4.209250e+05 | Inf
1050.82/1050.83 c 987s| 1530k| 1529k| 1322k| 0.9 |1507M| 491 | 0 |1800 |1722 |1800 | 273 | 243k| 58 |3133 | 0.000000e+00 | 4.209250e+05 | Inf
1057.52/1057.50 c 994s| 1540k| 1539k| 1327k| 0.9 |1517M| 491 | 0 |1800 |1722 |1800 | 258 | 243k| 58 |3135 | 0.000000e+00 | 4.209250e+05 | Inf
1064.32/1064.30 c 1000s| 1550k| 1549k| 1335k| 0.9 |1526M| 491 | 0 |1800 |1722 |1800 | 320 | 244k| 58 |3141 | 0.000000e+00 | 4.209250e+05 | Inf
1070.93/1070.99 c 1006s| 1560k| 1559k| 1341k| 0.9 |1536M| 491 | 0 |1800 |1722 |1800 | 251 | 246k| 58 |3165 | 0.000000e+00 | 4.209250e+05 | Inf
1077.63/1077.65 c 1012s| 1570k| 1569k| 1348k| 0.9 |1546M| 491 | 0 |1800 |1722 |1800 | 242 | 247k| 58 |3171 | 0.000000e+00 | 4.209250e+05 | Inf
1084.22/1084.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1084.22/1084.28 c 1019s| 1580k| 1579k| 1352k| 0.9 |1555M| 491 | 0 |1800 |1722 |1800 | 282 | 247k| 58 |3171 | 0.000000e+00 | 4.209250e+05 | Inf
1090.93/1090.93 c 1025s| 1590k| 1589k| 1357k| 0.9 |1565M| 491 | 0 |1800 |1722 |1800 | 274 | 248k| 58 |3180 | 0.000000e+00 | 4.209250e+05 | Inf
1097.52/1097.57 c 1031s| 1600k| 1599k| 1362k| 0.9 |1575M| 491 | 0 |1800 |1722 |1800 | 228 | 249k| 58 |3197 | 0.000000e+00 | 4.209250e+05 | Inf
1104.12/1104.11 c 1037s| 1610k| 1609k| 1366k| 0.8 |1585M| 491 | 0 |1800 |1722 |1800 | 254 | 250k| 58 |3198 | 0.000000e+00 | 4.209250e+05 | Inf
1110.72/1110.75 c 1044s| 1620k| 1619k| 1372k| 0.8 |1594M| 491 | 0 |1800 |1722 |1800 | 254 | 251k| 58 |3198 | 0.000000e+00 | 4.209250e+05 | Inf
1117.63/1117.61 c 1050s| 1630k| 1629k| 1383k| 0.8 |1604M| 491 | 0 |1800 |1722 |1800 | 307 | 253k| 58 |3217 | 0.000000e+00 | 4.209250e+05 | Inf
1124.23/1124.26 c 1056s| 1640k| 1639k| 1389k| 0.8 |1614M| 491 | 0 |1800 |1722 |1800 | 272 | 254k| 58 |3219 | 0.000000e+00 | 4.209250e+05 | Inf
1130.83/1130.85 c 1062s| 1650k| 1649k| 1394k| 0.8 |1624M| 491 | 34 |1800 |1722 |1800 | 197 | 255k| 58 |3220 | 0.000000e+00 | 4.209250e+05 | Inf
1137.53/1137.50 c 1069s| 1660k| 1659k| 1401k| 0.8 |1633M| 491 | 0 |1800 |1722 |1800 | 290 | 256k| 58 |3223 | 0.000000e+00 | 4.209250e+05 | Inf
1144.12/1144.17 c 1075s| 1670k| 1669k| 1407k| 0.8 |1643M| 491 | 0 |1800 |1722 |1800 | 299 | 257k| 58 |3243 | 0.000000e+00 | 4.209250e+05 | Inf
1150.93/1150.93 c 1081s| 1680k| 1679k| 1413k| 0.8 |1653M| 491 | 0 |1800 |1722 |1800 | 308 | 259k| 58 |3243 | 0.000000e+00 | 4.209250e+05 | Inf
1157.53/1157.54 c 1088s| 1690k| 1689k| 1415k| 0.8 |1663M| 491 | 0 |1800 |1722 |1800 | 303 | 259k| 58 |3243 | 0.000000e+00 | 4.209250e+05 | Inf
1164.13/1164.16 c 1094s| 1700k| 1699k| 1418k| 0.8 |1672M| 491 | 0 |1800 |1722 |1800 | 231 | 260k| 58 |3243 | 0.000000e+00 | 4.209250e+05 | Inf
1170.83/1170.89 c 1100s| 1710k| 1709k| 1426k| 0.8 |1682M| 491 | 0 |1800 |1722 |1800 | 246 | 261k| 58 |3261 | 0.000000e+00 | 4.209250e+05 | Inf
1177.53/1177.50 c 1106s| 1720k| 1719k| 1431k| 0.8 |1692M| 491 | 0 |1800 |1722 |1800 | 257 | 262k| 58 |3261 | 0.000000e+00 | 4.209250e+05 | Inf
1184.13/1184.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1184.13/1184.14 c 1113s| 1730k| 1729k| 1436k| 0.8 |1702M| 491 | 0 |1800 |1722 |1800 | 266 | 263k| 58 |3262 | 0.000000e+00 | 4.209250e+05 | Inf
1190.82/1190.86 c 1119s| 1740k| 1739k| 1442k| 0.8 |1711M| 491 | 0 |1800 |1722 |1800 | 267 | 264k| 58 |3271 | 0.000000e+00 | 4.209250e+05 | Inf
1197.63/1197.62 c 1125s| 1750k| 1749k| 1450k| 0.8 |1721M| 491 | 0 |1800 |1722 |1800 | 260 | 265k| 58 |3285 | 0.000000e+00 | 4.209250e+05 | Inf
1204.33/1204.31 c 1132s| 1760k| 1759k| 1456k| 0.8 |1731M| 491 | 0 |1800 |1726 |1800 | 259 | 266k| 62 |3285 | 0.000000e+00 | 4.209250e+05 | Inf
1210.83/1210.89 c 1138s| 1770k| 1769k| 1461k| 0.8 |1741M| 491 | 0 |1800 |1726 |1800 | 239 | 267k| 62 |3290 | 0.000000e+00 | 4.209250e+05 | Inf
1217.53/1217.60 c 1144s| 1780k| 1779k| 1467k| 0.8 |1750M| 491 | 0 |1800 |1725 |1800 | 307 | 267k| 62 |3318 | 0.000000e+00 | 4.209250e+05 | Inf
1224.33/1224.31 c 1150s| 1790k| 1789k| 1474k| 0.8 |1760M| 491 | 0 |1800 |1725 |1800 | 272 | 269k| 62 |3322 | 0.000000e+00 | 4.209250e+05 | Inf
1230.94/1230.95 c 1157s| 1800k| 1799k| 1480k| 0.8 |1770M| 491 | 0 |1800 |1723 |1800 | 263 | 269k| 62 |3322 | 0.000000e+00 | 4.209250e+05 | Inf
1237.63/1237.62 c 1163s| 1810k| 1809k| 1485k| 0.8 |1779M| 491 | 0 |1800 |1722 |1800 | 281 | 270k| 62 |3330 | 0.000000e+00 | 4.209250e+05 | Inf
1244.23/1244.21 c 1169s| 1820k| 1819k| 1489k| 0.8 |1789M| 491 | 0 |1800 |1722 |1800 | 259 | 271k| 62 |3342 | 0.000000e+00 | 4.209250e+05 | Inf
1250.93/1250.95 c 1175s| 1830k| 1829k| 1497k| 0.8 |1799M| 491 | 0 |1800 |1722 |1800 | 275 | 272k| 62 |3353 | 0.000000e+00 | 4.209250e+05 | Inf
1257.53/1257.59 c 1182s| 1840k| 1839k| 1502k| 0.8 |1808M| 491 | 0 |1800 |1722 |1800 | 279 | 273k| 62 |3354 | 0.000000e+00 | 4.209250e+05 | Inf
1264.23/1264.23 c 1188s| 1850k| 1849k| 1507k| 0.8 |1818M| 491 | 0 |1800 |1722 |1800 | 286 | 274k| 62 |3355 | 0.000000e+00 | 4.209250e+05 | Inf
1270.83/1270.82 c 1194s| 1860k| 1859k| 1511k| 0.8 |1828M| 491 | 19 |1800 |1731 |1800 | 242 | 275k| 71 |3364 | 0.000000e+00 | 4.209250e+05 | Inf
1277.43/1277.48 c 1200s| 1870k| 1869k| 1514k| 0.8 |1838M| 491 | 0 |1800 |1731 |1800 | 315 | 276k| 71 |3382 | 0.000000e+00 | 4.209250e+05 | Inf
1284.13/1284.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1284.13/1284.12 c 1207s| 1880k| 1879k| 1519k| 0.8 |1848M| 491 | 0 |1800 |1731 |1800 | 252 | 277k| 71 |3384 | 0.000000e+00 | 4.209250e+05 | Inf
1290.63/1290.61 c 1213s| 1890k| 1889k| 1523k| 0.8 |1857M| 491 | 0 |1800 |1730 |1800 | 281 | 278k| 71 |3385 | 0.000000e+00 | 4.209250e+05 | Inf
1297.23/1297.22 c 1219s| 1900k| 1899k| 1528k| 0.8 |1867M| 491 | 0 |1800 |1728 |1800 | 242 | 279k| 71 |3385 | 0.000000e+00 | 4.209250e+05 | Inf
1303.73/1303.78 c 1225s| 1910k| 1909k| 1531k| 0.8 |1877M| 491 | 0 |1800 |1728 |1800 | 271 | 279k| 71 |3386 | 0.000000e+00 | 4.209250e+05 | Inf
1310.43/1310.49 c 1231s| 1920k| 1919k| 1537k| 0.8 |1886M| 491 | 0 |1800 |1728 |1800 | 237 | 280k| 71 |3409 | 0.000000e+00 | 4.209250e+05 | Inf
1317.13/1317.12 c 1238s| 1930k| 1929k| 1543k| 0.8 |1896M| 491 | 0 |1800 |1729 |1800 | 269 | 282k| 72 |3409 | 0.000000e+00 | 4.209250e+05 | Inf
1323.63/1323.65 c 1244s| 1940k| 1939k| 1547k| 0.8 |1906M| 491 | 0 |1800 |1729 |1800 | 261 | 283k| 72 |3409 | 0.000000e+00 | 4.209250e+05 | Inf
1330.23/1330.20 c 1250s| 1950k| 1949k| 1550k| 0.8 |1915M| 491 | 0 |1800 |1729 |1800 | 255 | 283k| 72 |3409 | 0.000000e+00 | 4.209250e+05 | Inf
1336.74/1336.77 c 1256s| 1960k| 1959k| 1554k| 0.8 |1925M| 491 | 0 |1800 |1727 |1800 | 315 | 284k| 72 |3425 | 0.000000e+00 | 4.209250e+05 | Inf
1343.43/1343.42 c 1262s| 1970k| 1969k| 1560k| 0.8 |1935M| 491 | 0 |1800 |1727 |1800 | 230 | 285k| 72 |3429 | 0.000000e+00 | 4.209250e+05 | Inf
1350.03/1350.01 c 1269s| 1980k| 1979k| 1565k| 0.8 |1945M| 491 | 0 |1800 |1726 |1800 | 253 | 286k| 72 |3429 | 0.000000e+00 | 4.209250e+05 | Inf
1356.54/1356.57 c 1275s| 1990k| 1989k| 1569k| 0.8 |1954M| 491 | 0 |1800 |1726 |1800 | 310 | 287k| 72 |3429 | 0.000000e+00 | 4.209250e+05 | Inf
1363.13/1363.17 c 1281s| 2000k| 1999k| 1574k| 0.8 |1964M| 491 | 0 |1800 |1725 |1800 | 263 | 288k| 72 |3438 | 0.000000e+00 | 4.209250e+05 | Inf
1369.84/1369.82 c 1287s| 2010k| 2009k| 1580k| 0.8 |1974M| 491 | 0 |1800 |1725 |1800 | 299 | 289k| 72 |3455 | 0.000000e+00 | 4.209250e+05 | Inf
1376.44/1376.43 c 1293s| 2020k| 2019k| 1586k| 0.8 |1983M| 491 | 0 |1800 |1724 |1800 | 224 | 290k| 72 |3455 | 0.000000e+00 | 4.209250e+05 | Inf
1383.14/1383.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1383.14/1383.16 c 1300s| 2030k| 2029k| 1592k| 0.8 |1993M| 491 | 0 |1800 |1724 |1800 | 267 | 291k| 72 |3455 | 0.000000e+00 | 4.209250e+05 | Inf
1390.44/1390.48 c 1307s| 2040k| 2039k| 1598k| 0.8 |2003M| 491 | 0 |1800 |1724 |1800 | 316 | 293k| 72 |3473 | 0.000000e+00 | 4.209250e+05 | Inf
1397.63/1397.63 c 1314s| 2050k| 2049k| 1601k| 0.8 |2013M| 491 | 0 |1800 |1724 |1800 | 222 | 293k| 72 |3475 | 0.000000e+00 | 4.209250e+05 | Inf
1404.74/1404.73 c 1321s| 2060k| 2059k| 1605k| 0.8 |2022M| 491 | 0 |1800 |1724 |1800 | 238 | 294k| 72 |3475 | 0.000000e+00 | 4.209250e+05 | Inf
1411.94/1411.94 c 1328s| 2070k| 2069k| 1608k| 0.8 |2032M| 491 | 0 |1800 |1723 |1800 | 245 | 295k| 72 |3477 | 0.000000e+00 | 4.209250e+05 | Inf
1419.04/1419.07 c 1335s| 2080k| 2079k| 1613k| 0.8 |2042M| 491 | 0 |1800 |1723 |1800 | 211 | 296k| 72 |3478 | 0.000000e+00 | 4.209250e+05 | Inf
1426.23/1426.20 c 1342s| 2090k| 2089k| 1618k| 0.8 |2051M| 491 | 0 |1800 |1723 |1800 | 243 | 297k| 72 |3487 | 0.000000e+00 | 4.209250e+05 | Inf
1433.35/1433.37 c 1349s| 2100k| 2099k| 1621k| 0.8 |2061M| 491 | 0 |1800 |1723 |1800 | 229 | 297k| 72 |3499 | 0.000000e+00 | 4.209250e+05 | Inf
1440.64/1440.68 c 1356s| 2110k| 2109k| 1625k| 0.8 |2071M| 491 | 0 |1800 |1723 |1800 | 268 | 298k| 72 |3502 | 0.000000e+00 | 4.209250e+05 | Inf
1447.84/1447.87 c 1363s| 2120k| 2119k| 1628k| 0.8 |2080M| 491 | 0 |1800 |1722 |1800 | 260 | 299k| 72 |3502 | 0.000000e+00 | 4.209250e+05 | Inf
1455.03/1455.06 c 1370s| 2130k| 2129k| 1633k| 0.8 |2090M| 491 | 0 |1800 |1722 |1800 | 250 | 299k| 72 |3502 | 0.000000e+00 | 4.209250e+05 | Inf
1462.14/1462.18 c 1377s| 2140k| 2139k| 1634k| 0.8 |2100M| 491 | 0 |1800 |1722 |1800 | 232 | 300k| 72 |3502 | 0.000000e+00 | 4.209250e+05 | Inf
1469.33/1469.37 c 1384s| 2150k| 2149k| 1638k| 0.8 |2109M| 491 | 0 |1800 |1722 |1800 | 294 | 300k| 72 |3507 | 0.000000e+00 | 4.209250e+05 | Inf
1476.74/1476.76 c 1392s| 2160k| 2159k| 1645k| 0.8 |2119M| 491 | 0 |1800 |1722 |1800 | 307 | 301k| 72 |3525 | 0.000000e+00 | 4.209250e+05 | Inf
1483.94/1483.97 c 1399s| 2170k| 2169k| 1648k| 0.8 |2129M| 491 | 0 |1800 |1722 |1800 | 222 | 302k| 72 |3531 | 0.000000e+00 | 4.209250e+05 | Inf
1491.13/1491.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1491.13/1491.15 c 1406s| 2180k| 2179k| 1653k| 0.8 |2138M| 491 | 0 |1800 |1722 |1800 | 245 | 303k| 72 |3531 | 0.000000e+00 | 4.209250e+05 | Inf
1498.34/1498.39 c 1413s| 2190k| 2189k| 1660k| 0.8 |2148M| 491 | 0 |1800 |1722 |1800 | 265 | 304k| 72 |3531 | 0.000000e+00 | 4.209250e+05 | Inf
1505.64/1505.68 c 1420s| 2200k| 2199k| 1665k| 0.8 |2158M| 491 | 0 |1800 |1722 |1800 | 264 | 304k| 72 |3539 | 0.000000e+00 | 4.209250e+05 | Inf
1512.94/1512.93 c 1427s| 2210k| 2209k| 1670k| 0.8 |2167M| 491 | 0 |1800 |1722 |1800 | 255 | 306k| 72 |3557 | 0.000000e+00 | 4.209250e+05 | Inf
1520.14/1520.13 c 1434s| 2220k| 2219k| 1674k| 0.8 |2177M| 491 | 0 |1800 |1722 |1800 | 260 | 307k| 72 |3557 | 0.000000e+00 | 4.209250e+05 | Inf
1527.34/1527.38 c 1441s| 2230k| 2229k| 1680k| 0.8 |2187M| 491 | 0 |1800 |1722 |1800 | 269 | 309k| 72 |3557 | 0.000000e+00 | 4.209250e+05 | Inf
1534.55/1534.59 c 1448s| 2240k| 2239k| 1687k| 0.8 |2197M| 491 | 0 |1800 |1722 |1800 | 272 | 311k| 72 |3573 | 0.000000e+00 | 4.209250e+05 | Inf
1541.83/1541.82 c 1456s| 2250k| 2249k| 1694k| 0.8 |2206M| 491 | 0 |1800 |1722 |1800 | 264 | 313k| 72 |3580 | 0.000000e+00 | 4.209250e+05 | Inf
1549.04/1549.01 c 1463s| 2260k| 2259k| 1700k| 0.8 |2216M| 491 | 0 |1800 |1722 |1800 | 280 | 315k| 72 |3580 | 0.000000e+00 | 4.209250e+05 | Inf
1556.24/1556.27 c 1470s| 2270k| 2269k| 1706k| 0.8 |2226M| 491 | 0 |1800 |1722 |1800 | 242 | 316k| 72 |3587 | 0.000000e+00 | 4.209250e+05 | Inf
1563.64/1563.60 c 1477s| 2280k| 2279k| 1712k| 0.8 |2236M| 491 | 0 |1800 |1722 |1800 | 299 | 317k| 72 |3611 | 0.000000e+00 | 4.209250e+05 | Inf
1570.75/1570.72 c 1484s| 2290k| 2289k| 1715k| 0.7 |2245M| 491 | 0 |1800 |1722 |1800 | 257 | 318k| 72 |3611 | 0.000000e+00 | 4.209250e+05 | Inf
1577.94/1577.97 c 1491s| 2300k| 2299k| 1720k| 0.7 |2255M| 491 | 0 |1800 |1722 |1800 | 252 | 318k| 72 |3611 | 0.000000e+00 | 4.209250e+05 | Inf
1585.24/1585.26 c 1498s| 2310k| 2309k| 1725k| 0.7 |2265M| 491 | 0 |1800 |1722 |1800 | 286 | 319k| 72 |3611 | 0.000000e+00 | 4.209250e+05 | Inf
1592.54/1592.59 c 1506s| 2320k| 2319k| 1731k| 0.7 |2274M| 491 | 0 |1800 |1722 |1800 | 294 | 320k| 72 |3620 | 0.000000e+00 | 4.209250e+05 | Inf
1599.84/1599.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1599.84/1599.85 c 1513s| 2330k| 2329k| 1735k| 0.7 |2284M| 491 | 5 |1800 |1722 |1800 | 270 | 321k| 72 |3632 | 0.000000e+00 | 4.209250e+05 | Inf
1607.15/1607.14 c 1520s| 2340k| 2339k| 1741k| 0.7 |2294M| 491 | 0 |1800 |1722 |1800 | 295 | 322k| 72 |3634 | 0.000000e+00 | 4.209250e+05 | Inf
1614.34/1614.39 c 1527s| 2350k| 2349k| 1745k| 0.7 |2303M| 491 | 0 |1800 |1722 |1800 | 287 | 323k| 72 |3634 | 0.000000e+00 | 4.209250e+05 | Inf
1621.64/1621.68 c 1534s| 2360k| 2359k| 1753k| 0.7 |2313M| 491 | 0 |1800 |1722 |1800 | 219 | 324k| 72 |3637 | 0.000000e+00 | 4.209250e+05 | Inf
1628.74/1628.76 c 1541s| 2370k| 2369k| 1756k| 0.7 |2323M| 491 | 0 |1800 |1722 |1800 | 239 | 324k| 72 |3651 | 0.000000e+00 | 4.209250e+05 | Inf
1635.84/1635.82 c 1548s| 2380k| 2379k| 1758k| 0.7 |2332M| 491 | 0 |1800 |1722 |1800 | 214 | 325k| 72 |3652 | 0.000000e+00 | 4.209250e+05 | Inf
1642.94/1642.91 c 1555s| 2390k| 2389k| 1760k| 0.7 |2342M| 491 | 0 |1800 |1722 |1800 | 231 | 325k| 72 |3652 | 0.000000e+00 | 4.209250e+05 | Inf
1650.05/1650.09 c 1562s| 2400k| 2399k| 1766k| 0.7 |2352M| 491 | 0 |1800 |1722 |1800 | 226 | 326k| 72 |3652 | 0.000000e+00 | 4.209250e+05 | Inf
1657.24/1657.20 c 1569s| 2410k| 2409k| 1770k| 0.7 |2361M| 491 | 0 |1800 |1722 |1800 | 220 | 326k| 72 |3652 | 0.000000e+00 | 4.209250e+05 | Inf
1664.34/1664.38 c 1576s| 2420k| 2419k| 1774k| 0.7 |2371M| 491 | 0 |1800 |1722 |1800 | 234 | 327k| 72 |3663 | 0.000000e+00 | 4.209250e+05 | Inf
1671.54/1671.57 c 1583s| 2430k| 2429k| 1779k| 0.7 |2381M| 491 | 0 |1800 |1722 |1800 | 221 | 328k| 72 |3675 | 0.000000e+00 | 4.209250e+05 | Inf
1678.74/1678.77 c 1590s| 2440k| 2439k| 1784k| 0.7 |2390M| 491 | 0 |1800 |1722 |1800 | 251 | 329k| 72 |3675 | 0.000000e+00 | 4.209250e+05 | Inf
1685.84/1685.89 c 1597s| 2450k| 2449k| 1787k| 0.7 |2400M| 491 | 0 |1800 |1722 |1800 | 231 | 329k| 72 |3675 | 0.000000e+00 | 4.209250e+05 | Inf
1692.95/1692.96 c 1604s| 2460k| 2459k| 1791k| 0.7 |2410M| 491 | 0 |1800 |1722 |1800 | 217 | 330k| 72 |3675 | 0.000000e+00 | 4.209250e+05 | Inf
1700.15/1700.17 c 1611s| 2470k| 2469k| 1796k| 0.7 |2419M| 491 | 0 |1800 |1722 |1800 | 271 | 331k| 72 |3686 | 0.000000e+00 | 4.209250e+05 | Inf
1707.44/1707.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1707.44/1707.42 c 1618s| 2480k| 2479k| 1801k| 0.7 |2429M| 491 | 0 |1800 |1722 |1800 | 239 | 332k| 72 |3704 | 0.000000e+00 | 4.209250e+05 | Inf
1714.64/1714.64 c 1625s| 2490k| 2489k| 1806k| 0.7 |2439M| 491 | 0 |1800 |1722 |1800 | 283 | 332k| 72 |3710 | 0.000000e+00 | 4.209250e+05 | Inf
1721.94/1721.97 c 1633s| 2500k| 2499k| 1812k| 0.7 |2448M| 491 | 0 |1800 |1722 |1800 | 233 | 333k| 72 |3711 | 0.000000e+00 | 4.209250e+05 | Inf
1729.34/1729.30 c 1640s| 2510k| 2509k| 1820k| 0.7 |2458M| 491 | 0 |1800 |1722 |1800 | 228 | 334k| 72 |3720 | 0.000000e+00 | 4.209250e+05 | Inf
1736.55/1736.55 c 1647s| 2520k| 2519k| 1826k| 0.7 |2468M| 491 | 0 |1800 |1722 |1800 | 298 | 335k| 72 |3730 | 0.000000e+00 | 4.209250e+05 | Inf
1743.84/1743.86 c 1654s| 2530k| 2529k| 1833k| 0.7 |2477M| 491 | 0 |1800 |1722 |1800 | 330 | 337k| 72 |3739 | 0.000000e+00 | 4.209250e+05 | Inf
1751.05/1751.09 c 1661s| 2540k| 2539k| 1840k| 0.7 |2487M| 491 | 0 |1800 |1721 |1800 | 307 | 338k| 72 |3739 | 0.000000e+00 | 4.209250e+05 | Inf
1758.45/1758.40 c 1668s| 2550k| 2549k| 1845k| 0.7 |2497M| 491 | 0 |1800 |1721 |1800 | 289 | 338k| 72 |3760 | 0.000000e+00 | 4.209250e+05 | Inf
1765.85/1765.82 c 1676s| 2560k| 2559k| 1853k| 0.7 |2507M| 491 | 0 |1800 |1721 |1800 | 289 | 340k| 72 |3766 | 0.000000e+00 | 4.209250e+05 | Inf
1773.15/1773.12 c 1683s| 2570k| 2569k| 1860k| 0.7 |2516M| 491 | 0 |1800 |1721 |1800 | 253 | 341k| 72 |3766 | 0.000000e+00 | 4.209250e+05 | Inf
1780.45/1780.40 c 1690s| 2580k| 2579k| 1866k| 0.7 |2526M| 491 | 0 |1800 |1720 |1800 | 275 | 342k| 72 |3777 | 0.000000e+00 | 4.209250e+05 | Inf
1787.65/1787.64 c 1697s| 2590k| 2589k| 1871k| 0.7 |2536M| 491 | 0 |1800 |1720 |1800 | 244 | 343k| 72 |3795 | 0.000000e+00 | 4.209250e+05 | Inf
1795.05/1795.06 c 1704s| 2600k| 2599k| 1878k| 0.7 |2545M| 491 | 0 |1800 |1720 |1800 | 280 | 344k| 72 |3795 | 0.000000e+00 | 4.209250e+05 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1709.33
1800.05/1800.00 c Solving Nodes : 2606728
1800.05/1800.00 c Primal Bound : +4.20925000000000e+05 (100 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.01 s SATISFIABLE
1800.05/1800.01 v x200 -x199 x198 -x197 x196 -x195 x194 -x193 x192 -x191 x190 -x189 x188 -x187 x186 -x185 x184 -x183 x182 -x181 x180 -x179 x178 -x177
1800.05/1800.01 v x176 -x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 x158 -x157 x156 -x155
1800.05/1800.01 v x154 -x153 x152 -x151 x150 -x149 x148 -x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 x134 -x133 x132
1800.05/1800.01 v -x131 x130 -x129 x128 -x127 x126 -x125 x124 -x123 x122 -x121 x120 -x119 x118 -x117 x116 -x115 x114 -x113 x112 -x111 x110 -x109
1800.05/1800.01 v x108 -x107 x106 -x105 x104 -x103 x102 -x101 x100 -x99 x98 -x97 x96 -x95 x94 -x93 x92 -x91 x90 -x89 x88 -x87 x86 -x85 x84
1800.05/1800.01 v -x83 x82 -x81 x80 -x79 x78 -x77 x76 -x75 x74 -x73 x72 -x71 x70 -x69 x68 -x67 x66 -x65 x64 -x63 x62 -x61 x60 -x59 x58 -x57 x56
1800.05/1800.01 v -x55 x54 -x53 x52 -x51 x50 -x49 x48 -x47 x46 -x45 x44 -x43 x42 -x41 x40 -x39 x38 -x37 x36 -x35 x34 -x33 x32 -x31 x30 -x29 x28
1800.05/1800.01 v -x27 x26 -x25 x24 -x23 x22 -x21 x20 -x19 x18 -x17 x16 -x15 x14 -x13 x12 -x11 x10 -x9 x8 -x7 x6 -x5 x4 -x3 x2 -x1
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time : 1709.33
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2700308-1278534695.wbo
1800.05/1800.01 c Variables : 1900 (1050 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.05/1800.01 c Constraints : 1801 initial, 1801 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2700308-1278534695.wbo
1800.05/1800.01 c Variables : 1800 (950 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.05/1800.01 c Constraints : 1700 initial, 1739 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.01 0 100 0 850 0 101 0 0
1800.05/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c root node : - 0 - - 0 - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 2708478 0 0 0 0 0 225338
1800.05/1800.01 c indicator : 850 0 3270556 2595809 0 0 2567344 0 0 0
1800.05/1800.01 c linear : 850 6 3230527 2561684 0 21 557516 345202 0 0
1800.05/1800.01 c logicor : 0+ 0 160095 0 0 1 29496 0 0 0
1800.05/1800.01 c countsols : 0 0 0 2494037 0 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.01 c integral : 5.05 0.00 0.00 5.05 0.00
1800.05/1800.01 c indicator : 159.31 0.00 30.35 128.96 0.00
1800.05/1800.01 c linear : 20.09 0.00 7.11 12.98 0.00
1800.05/1800.01 c logicor : 0.14 0.00 0.14 0.00 0.00
1800.05/1800.01 c countsols : 0.15 0.00 0.00 0.15 0.00
1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.01 c vbounds : 0.24 2 0 0
1800.05/1800.01 c rootredcost : 0.16 0 0 0
1800.05/1800.01 c pseudoobj : 50.60 3270356 0 0
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 0.00 22 22 22 7.3 50 4.0 -
1800.05/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.01 c applied globally : - - - 72 5.0 - - -
1800.05/1800.01 c applied locally : - - - 0 0.0 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 3 - - 6 - (maximal pool size: 47)
1800.05/1800.01 c redcost : 95.01 2708248 0 0 0 0
1800.05/1800.01 c impliedbounds : 0.00 4 0 0 0 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.02 4 0 0 48 0
1800.05/1800.01 c strongcg : 0.01 4 0 0 0 0
1800.05/1800.01 c cmir : 0.00 4 0 0 0 0
1800.05/1800.01 c flowcover : 0.03 4 0 0 0 0
1800.05/1800.01 c clique : 0.00 1 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 1 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 4.83 112669 0 0 0 0 225338
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 149.26 2494037 0 0 0 0 4988074
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.00 - 0
1800.05/1800.01 c pseudo solutions : 0.00 - 0
1800.05/1800.01 c feaspump : 0.01 0 0
1800.05/1800.01 c oneopt : 0.53 1 0
1800.05/1800.01 c intshifting : 0.02 6 0
1800.05/1800.01 c crossover : 0.29 13 0
1800.05/1800.01 c fracdiving : 5.91 10820 0
1800.05/1800.01 c pscostdiving : 5.78 10821 0
1800.05/1800.01 c veclendiving : 5.70 10821 0
1800.05/1800.01 c linesearchdiving : 5.50 10821 0
1800.05/1800.01 c guideddiving : 5.60 10821 0
1800.05/1800.01 c coefdiving : 5.96 10821 0
1800.05/1800.01 c objpscostdiving : 6.45 10818 0
1800.05/1800.01 c rootsoldiving : 6.21 10818 0
1800.05/1800.01 c trivial : 0.00 2 1
1800.05/1800.01 c simplerounding : 0.19 112657 0
1800.05/1800.01 c zirounding : 0.15 1000 0
1800.05/1800.01 c rounding : 0.38 4668 0
1800.05/1800.01 c shifting : 0.82 1478 0
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.01 1 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c nlp : 0.11 0 0
1800.05/1800.01 c trysol : 0.31 12692 99
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.01 c dual LP : 717.22 290707 1882505 6.48 2624.72
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 0.02 138 842 6.10 42100.00
1800.05/1800.01 c strong branching : 4.10 3795 61118 16.10 14906.83
1800.05/1800.01 c (at root node) : - 33 2844 86.18 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.02 c number of runs : 1
1800.05/1800.02 c nodes : 2606728
1800.05/1800.02 c nodes (total) : 2606728
1800.05/1800.02 c nodes left : 2606685
1800.05/1800.02 c max depth : 491
1800.05/1800.02 c max depth (total): 491
1800.05/1800.02 c backtracks : 10843 (0.4%)
1800.05/1800.02 c delayed cutoffs : 0
1800.05/1800.02 c repropagations : 444 (107 domain reductions, 0 cutoffs)
1800.05/1800.02 c avg switch length: 2.16
1800.05/1800.02 c switching time : 78.80
1800.05/1800.02 c Solution :
1800.05/1800.02 c Solutions found : 100 (1 improvements)
1800.05/1800.02 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.05/1800.02 c Primal Bound : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.05/1800.02 c Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Gap : infinite
1800.05/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Root Iterations : 214
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700308-1278534695/watcher-2700308-1278534695 -o /tmp/evaluation-result-2700308-1278534695/solver-2700308-1278534695 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700308-1278534695.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.89 1.21 3/178 18058
/proc/meminfo: memFree=28969736/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=9280 CPUtime=0
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 1628 0 0 0 0 0 0 0 22 0 1 0 21682406 9502720 1548 4089446400 4194304 8223781 140736065666640 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18058/statm: 2320 1564 369 984 0 1333 0
[startup+0.0888091 s]
/proc/loadavg: 2.00 1.89 1.21 3/178 18058
/proc/meminfo: memFree=28969736/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=23308 CPUtime=0.08
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 6128 0 0 0 7 1 0 0 18 0 1 0 21682406 23867392 4902 4089446400 4194304 8223781 140736065666640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 5827 4902 563 984 0 4840 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 23308
[startup+0.100805 s]
/proc/loadavg: 2.00 1.89 1.21 3/178 18058
/proc/meminfo: memFree=28969736/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=23516 CPUtime=0.09
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 6175 0 0 0 8 1 0 0 18 0 1 0 21682406 24080384 4949 4089446400 4194304 8223781 140736065666640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 5879 4949 563 984 0 4892 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23516
[startup+0.30077 s]
/proc/loadavg: 2.00 1.89 1.21 3/178 18058
/proc/meminfo: memFree=28969736/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=23656 CPUtime=0.29
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 9332 0 0 0 26 3 0 0 18 0 1 0 21682406 24223744 5033 4089446400 4194304 8223781 140736065666640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 5914 5033 578 984 0 4927 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23656
[startup+0.700695 s]
/proc/loadavg: 2.00 1.89 1.21 3/178 18058
/proc/meminfo: memFree=28969736/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=23656 CPUtime=0.69
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 9332 0 0 0 64 5 0 0 18 0 1 0 21682406 24223744 5033 4089446400 4194304 8223781 140736065666640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 5914 5033 578 984 0 4927 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23656
[startup+1.50056 s]
/proc/loadavg: 2.00 1.89 1.21 3/179 18059
/proc/meminfo: memFree=28949640/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=24036 CPUtime=1.49
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 9374 0 0 0 138 11 0 0 19 0 1 0 21682406 24612864 5075 4089446400 4194304 8223781 140736065666640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 6009 5075 581 984 0 5022 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24036
[startup+3.10026 s]
/proc/loadavg: 2.00 1.89 1.22 3/179 18059
/proc/meminfo: memFree=28948524/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=27004 CPUtime=3.09
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 16294 0 0 0 286 23 0 0 25 0 1 0 21682406 27652096 5733 4089446400 4194304 8223781 140736065666640 18446744073709551615 4241166 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 6751 5733 584 984 0 5764 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27004
[startup+6.30068 s]
/proc/loadavg: 2.00 1.89 1.22 3/179 18059
/proc/meminfo: memFree=28939528/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=30972 CPUtime=6.29
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 23579 0 0 0 581 48 0 0 25 0 1 0 21682406 31715328 6788 4089446400 4194304 8223781 140736065666640 18446744073709551615 4561437 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 7743 6788 588 984 0 6756 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30972
[startup+12.7005 s]
/proc/loadavg: 2.00 1.90 1.22 3/179 18059
/proc/meminfo: memFree=28923800/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=39292 CPUtime=12.69
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 28784 0 0 0 1178 91 0 0 25 0 1 0 21682406 40235008 8901 4089446400 4194304 8223781 140736065666640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 9823 8901 588 984 0 8836 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39292
[startup+25.5002 s]
/proc/loadavg: 2.00 1.90 1.23 3/179 18060
/proc/meminfo: memFree=28891484/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=55932 CPUtime=25.49
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 39278 0 0 0 2374 175 0 0 25 0 1 0 21682406 57274368 13145 4089446400 4194304 8223781 140736065666640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 13983 13145 588 984 0 12996 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55932
[startup+51.1005 s]
/proc/loadavg: 2.00 1.91 1.25 3/179 18061
/proc/meminfo: memFree=28824272/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=88108 CPUtime=51.09
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 50630 0 0 0 4771 338 0 0 25 0 1 0 21682406 90222592 21321 4089446400 4194304 8223781 140736065666640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 22027 21321 588 984 0 21040 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 88108
[startup+102.306 s]
/proc/loadavg: 2.00 1.92 1.29 3/179 18062
/proc/meminfo: memFree=28682732/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=159864 CPUtime=102.3
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 71459 0 0 0 9588 642 0 0 25 0 1 0 21682406 163700736 39011 4089446400 4194304 8223781 140736065666640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 39966 39011 588 984 0 38979 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 159864
[startup+162.3 s]
/proc/loadavg: 2.00 1.93 1.33 3/179 18063
/proc/meminfo: memFree=28519600/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=246928 CPUtime=162.29
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 95702 0 0 0 15217 1012 0 0 25 0 1 0 21682406 252854272 60089 4089446400 4194304 8223781 140736065666640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 61732 60089 588 984 0 60745 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 246928
[startup+222.3 s]
/proc/loadavg: 2.07 1.96 1.38 3/179 18065
/proc/meminfo: memFree=28355596/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=330608 CPUtime=222.3
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 116955 0 0 0 20857 1373 0 0 25 0 1 0 21682406 338542592 81341 4089446400 4194304 8223781 140736065666640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 82652 81341 588 984 0 81665 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 330608
[startup+282.3 s]
/proc/loadavg: 2.02 1.96 1.41 3/179 18067
/proc/meminfo: memFree=28189500/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=417052 CPUtime=282.3
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 138910 0 0 0 26490 1740 0 0 25 0 1 0 21682406 427061248 103296 4089446400 4194304 8223781 140736065666640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 104263 103296 588 984 0 103276 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 417052
[startup+342.3 s]
/proc/loadavg: 2.01 1.97 1.45 3/179 18069
/proc/meminfo: memFree=28023536/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=510352 CPUtime=342.3
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 163661 0 0 0 32130 2100 0 0 25 0 1 0 21682406 522600448 124923 4089446400 4194304 8223781 140736065666640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 127588 124923 588 984 0 126601 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 510352
[startup+402.3 s]
/proc/loadavg: 2.00 1.97 1.48 3/179 18070
/proc/meminfo: memFree=27857196/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=594180 CPUtime=402.3
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 184947 0 0 0 37767 2463 0 0 25 0 1 0 21682406 608440320 146201 4089446400 4194304 8223781 140736065666640 18446744073709551615 4561130 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 148545 146201 588 984 0 147558 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 594180
[startup+462.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/179 18071
/proc/meminfo: memFree=27681440/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=679136 CPUtime=462.3
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 206527 0 0 0 43401 2829 0 0 25 0 1 0 21682406 695435264 167780 4089446400 4194304 8223781 140736065666640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 169784 167780 588 984 0 168797 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 679136
[startup+522.3 s]
/proc/loadavg: 2.00 1.97 1.54 3/179 18073
/proc/meminfo: memFree=27512488/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=764732 CPUtime=522.3
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 228296 0 0 0 49043 3187 0 0 25 0 1 0 21682406 783085568 189549 4089446400 4194304 8223781 140736065666640 18446744073709551615 6446852 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 191183 189549 588 984 0 190196 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 764732
[startup+582.3 s]
/proc/loadavg: 2.00 1.97 1.56 3/179 18075
/proc/meminfo: memFree=27339328/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=852132 CPUtime=582.31
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 253603 0 0 0 54689 3542 0 0 25 0 1 0 21682406 872583168 211739 4089446400 4194304 8223781 140736065666640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 213033 211739 588 984 0 212046 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 852132
[startup+642.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/179 18077
/proc/meminfo: memFree=27169644/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=936660 CPUtime=642.32
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 275098 0 0 0 60333 3899 0 0 25 0 1 0 21682406 959139840 233234 4089446400 4194304 8223781 140736065666640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 234165 233234 588 984 0 233178 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 936660
[startup+702.3 s]
################
# More data... #
################
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 427560 0 0 0 99811 6421 0 0 25 0 1 0 21682406 1590358016 385672 4089446400 4194304 8223781 140736065666640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 388271 385672 588 984 0 387284 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1553084
[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.74 3/179 18089
/proc/meminfo: memFree=25800104/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=1639716 CPUtime=1122.33
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 449590 0 0 0 105448 6785 0 0 25 0 1 0 21682406 1679069184 407697 4089446400 4194304 8223781 140736065666640 18446744073709551615 6482877 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 409929 407697 588 984 0 408942 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1639716
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.75 3/179 18091
/proc/meminfo: memFree=25633400/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=1724536 CPUtime=1182.32
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 474266 0 0 0 111080 7152 0 0 25 0 1 0 21682406 1765924864 429246 4089446400 4194304 8223781 140736065666640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 431134 429246 588 984 0 430147 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1724536
[startup+1242.3 s]
/proc/loadavg: 2.07 1.99 1.76 3/179 18092
/proc/meminfo: memFree=25459128/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=1811428 CPUtime=1242.33
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 496335 0 0 0 116723 7510 0 0 25 0 1 0 21682406 1854902272 451313 4089446400 4194304 8223781 140736065666640 18446744073709551615 6482443 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 452857 451313 588 984 0 451870 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1811428
[startup+1302.3 s]
/proc/loadavg: 2.02 1.99 1.78 3/179 18094
/proc/meminfo: memFree=25284856/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=1898720 CPUtime=1302.33
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 518510 0 0 0 122371 7862 0 0 25 0 1 0 21682406 1944289280 473488 4089446400 4194304 8223781 140736065666640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 474680 473488 588 984 0 473693 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1898720
[startup+1362.3 s]
/proc/loadavg: 2.01 1.99 1.79 3/179 18095
/proc/meminfo: memFree=25122600/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=1983168 CPUtime=1362.34
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 539986 0 0 0 128014 8220 0 0 25 0 1 0 21682406 2030764032 494963 4089446400 4194304 8223781 140736065666640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18058/statm: 495792 494963 588 984 0 494805 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1983168
[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.80 3/179 18125
/proc/meminfo: memFree=27166900/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=2099264 CPUtime=1422.34
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 561156 0 0 0 133821 8413 0 0 25 0 1 0 21682406 2149646336 516133 4089446400 4194304 8223781 140736065666640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18058/statm: 524816 516133 588 984 0 523829 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2099264
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.81 3/179 18127
/proc/meminfo: memFree=27077920/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=2178420 CPUtime=1482.33
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 581279 0 0 0 139712 8521 0 0 25 0 1 0 21682406 2230702080 536253 4089446400 4194304 8223781 140736065666640 18446744073709551615 6003263 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18058/statm: 544605 536253 588 984 0 543618 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 2178420
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/179 18129
/proc/meminfo: memFree=26962140/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=2255980 CPUtime=1542.34
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 600993 0 0 0 145608 8626 0 0 25 0 1 0 21682406 2310123520 555967 4089446400 4194304 8223781 140736065666640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18058/statm: 563995 555967 588 984 0 563008 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 2255980
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/179 18130
/proc/meminfo: memFree=26866476/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=2335552 CPUtime=1602.34
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 621210 0 0 0 151507 8727 0 0 25 0 1 0 21682406 2391605248 576184 4089446400 4194304 8223781 140736065666640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18058/statm: 583888 576184 588 984 0 582901 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2335552
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/179 18131
/proc/meminfo: memFree=26758896/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=2414072 CPUtime=1662.35
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 641152 0 0 0 157405 8830 0 0 25 0 1 0 21682406 2472009728 596126 4089446400 4194304 8223781 140736065666640 18446744073709551615 6514396 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18058/statm: 603518 596126 588 984 0 602531 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 2414072
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/179 18133
/proc/meminfo: memFree=26658520/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=2493632 CPUtime=1722.34
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 661363 0 0 0 163299 8935 0 0 25 0 1 0 21682406 2553479168 616337 4089446400 4194304 8223781 140736065666640 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18058/statm: 623408 616337 588 984 0 622421 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2493632
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/179 18144
/proc/meminfo: memFree=26549472/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=2571124 CPUtime=1782.35
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 681081 0 0 0 169197 9038 0 0 25 0 1 0 21682406 2632830976 636053 4089446400 4194304 8223781 140736065666640 18446744073709551615 6003622 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18058/statm: 642781 636053 588 984 0 641794 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 2571124
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 1.99 1.85 3/179 18144
/proc/meminfo: memFree=26516180/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=2595520 CPUtime=1800.05
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 687256 0 0 0 170934 9071 0 0 25 0 1 0 21682406 2657812480 642228 4089446400 4194304 8223781 140736065666640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18058/statm: 648880 642228 588 984 0 647893 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2595520
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18058
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 1.99 1.85 3/180 18145
/proc/meminfo: memFree=26515924/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=2595520 CPUtime=1801.44
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 687258 0 0 0 171073 9071 0 0 25 0 1 0 21682406 2657812480 642230 4089446400 4194304 8223781 140736065666640 18446744073709551615 6206544 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18058/statm: 648880 642230 590 984 0 647893 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 2595520
[startup+1801.81 s]
/proc/loadavg: 2.00 1.99 1.85 3/180 18145
/proc/meminfo: memFree=26515428/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=2595520 CPUtime=1801.85
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 687258 0 0 0 171114 9071 0 0 25 0 1 0 21682406 2657812480 642230 4089446400 4194304 8223781 140736065666640 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18058/statm: 648880 642230 590 984 0 647893 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 2595520
[startup+1802 s]
/proc/loadavg: 2.00 1.99 1.85 3/180 18145
/proc/meminfo: memFree=26515428/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=2595520 CPUtime=1802.04
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4202496 687258 0 0 0 171133 9071 0 0 25 0 1 0 21682406 2657812480 642230 4089446400 4194304 8223781 140736065666640 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18058/statm: 648880 642230 590 984 0 647893 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 2595520
[startup+1802.1 s]
/proc/loadavg: 2.00 1.99 1.85 3/180 18145
/proc/meminfo: memFree=26515428/32951124 swapFree=67111528/67111528
[pid=18058] ppid=18056 vsize=0 CPUtime=1802.15
/proc/18058/stat : 18058 (pbscip.linux.x8) R 18056 18058 17528 0 -1 4203524 687258 0 0 0 171134 9081 0 0 25 0 1 0 21682406 0 0 4089446400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/18058/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.15
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.1
CPU time (s): 1802.16
CPU user time (s): 1711.35
CPU system time (s): 90.8132
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2595520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1711.35
system time used= 90.8132
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 687258
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1380
runsolver used 2.73458 second user time and 5.74813 second system time
The end
Begin job on node142 at 2010-07-07 22:31:35
IDJOB=2700308
IDBENCH=79417
IDSOLVER=1204
FILE ID=node142/2700308-1278534695
PBS_JOBID= 11239193
Free space on /tmp= 73328 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh16_wcsp.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700308-1278534695/watcher-2700308-1278534695 -o /tmp/evaluation-result-2700308-1278534695/solver-2700308-1278534695 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700308-1278534695.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8941aeee87a1a646f79f1fa97035d3b2
RANDOM SEED=775471814
node142.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.874
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.74
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.874
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.874
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.874
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.79
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.874
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 : 5311.06
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.874
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.874
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.874
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.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 28970388 kB
Buffers: 134800 kB
Cached: 3057768 kB
SwapCached: 0 kB
Active: 1538960 kB
Inactive: 2286028 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28970388 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4544 kB
Writeback: 0 kB
AnonPages: 632548 kB
Mapped: 16540 kB
Slab: 89860 kB
PageTables: 5848 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 781692 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= 73324 MiB
End job on node142 at 2010-07-07 23:01:37