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-2693667-1277914623.wbo>
0.00/0.03 c original problem has 5756 variables (3542 bin, 0 int, 0 impl, 2214 cont) and 5564 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.06 c presolving:
0.00/0.07 c (round 1) 12 del vars, 8 del conss, 0 chg bounds, 92 chg sides, 184 chg coeffs, 0 upgd conss, 5124 impls, 0 clqs
0.00/0.07 c (round 2) 15 del vars, 28 del conss, 0 chg bounds, 92 chg sides, 184 chg coeffs, 0 upgd conss, 5124 impls, 0 clqs
0.00/0.08 c (round 3) 18 del vars, 29 del conss, 2211 chg bounds, 92 chg sides, 184 chg coeffs, 0 upgd conss, 5124 impls, 0 clqs
0.10/0.10 c (round 4) 19 del vars, 29 del conss, 2211 chg bounds, 92 chg sides, 184 chg coeffs, 1114 upgd conss, 5124 impls, 0 clqs
0.19/0.24 c (0.2s) probing: 350/3526 (9.9%) - 0 fixings, 0 aggregations, 9 implications, 0 bound changes
0.19/0.24 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.24 c presolving (5 rounds):
0.19/0.24 c 19 deleted vars, 29 deleted constraints, 2211 tightened bounds, 0 added holes, 92 changed sides, 184 changed coefficients
0.19/0.24 c 5142 implications, 0 cliques
0.19/0.24 c presolved problem has 5737 variables (3526 bin, 0 int, 0 impl, 2211 cont) and 5535 constraints
0.19/0.24 c 2211 constraints of type <indicator>
0.19/0.24 c 1 constraints of type <varbound>
0.19/0.24 c 64 constraints of type <knapsack>
0.19/0.24 c 2210 constraints of type <linear>
0.19/0.24 c 1049 constraints of type <logicor>
0.19/0.24 c transformed objective value is always integral (scale: 1)
0.19/0.24 c Presolving Time: 0.16
0.19/0.24 c - non default parameters ----------------------------------------------------------------------
0.19/0.24 c # SCIP version 1.2.1.2
0.19/0.24 c
0.19/0.24 c # frequency for displaying node information lines
0.19/0.24 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.24 c display/freq = 10000
0.19/0.24 c
0.19/0.24 c # maximal time in seconds to run
0.19/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24 c limits/time = 1799.97
0.19/0.24 c
0.19/0.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24 c limits/memory = 3420
0.19/0.24 c
0.19/0.24 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.24 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.24 c lp/solvefreq = -1
0.19/0.24 c
0.19/0.24 c # should presolving try to simplify inequalities
0.19/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c constraints/linear/simplifyinequalities = TRUE
0.19/0.24 c
0.19/0.24 c # should presolving try to simplify knapsacks
0.19/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.24 c
0.19/0.24 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.24 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.24 c separating/rapidlearning/freq = 0
0.19/0.24 c
0.19/0.24 c -----------------------------------------------------------------------------------------------
0.19/0.24 c start solving
0.19/0.24 c
0.19/0.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.25 c 0.2s| 1 | 2 | 0 | - | 17M| 0 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
6.70/6.73 c 6.2s| 10000 | 10001 | 0 | 0.0 | 22M| 289 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
13.09/13.14 c 12.3s| 20000 | 20001 | 0 | 0.0 | 27M| 289 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
19.49/19.59 c 18.3s| 30000 | 30001 | 0 | 0.0 | 31M| 289 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
25.89/25.93 c 24.2s| 40000 | 40001 | 0 | 0.0 | 36M| 289 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
32.19/32.22 c 30.1s| 50000 | 50001 | 0 | 0.0 | 40M| 289 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
38.50/38.51 c 36.1s| 60000 | 60001 | 0 | 0.0 | 45M| 291 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
44.89/44.97 c 42.1s| 70000 | 70001 | 0 | 0.0 | 50M| 291 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
51.39/51.50 c 48.3s| 80000 | 80001 | 0 | 0.0 | 54M| 291 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
57.89/57.94 c 54.3s| 90000 | 90001 | 0 | 0.0 | 59M| 291 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
64.29/64.36 c 60.4s|100000 |100001 | 0 | 0.0 | 63M| 291 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
70.69/70.80 c 66.5s|110000 |110001 | 0 | 0.0 | 67M| 291 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
77.19/77.21 c 72.5s|120000 |120001 | 0 | 0.0 | 72M| 291 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
83.50/83.57 c 78.5s|130000 |130001 | 0 | 0.0 | 76M| 291 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
89.99/90.04 c 84.6s|140000 |140001 | 0 | 0.0 | 80M| 291 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
96.49/96.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.49/96.51 c 90.7s|150000 |150001 | 0 | 0.0 | 85M| 291 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
102.89/102.95 c 96.8s|160000 |160001 | 0 | 0.0 | 89M| 291 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
109.29/109.35 c 103s|170000 |170001 | 0 | 0.0 | 94M| 291 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
115.70/115.71 c 109s|180000 |180001 | 0 | 0.0 | 98M| 291 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
121.99/122.08 c 115s|190000 |190001 | 0 | 0.0 | 102M| 291 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
128.39/128.41 c 121s|200000 |200001 | 0 | 0.0 | 107M| 291 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
134.69/134.76 c 127s|210000 |210001 | 0 | 0.0 | 111M| 291 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
141.09/141.10 c 133s|220000 |220001 | 0 | 0.0 | 115M| 291 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
147.40/147.43 c 139s|230000 |230001 | 0 | 0.0 | 119M| 291 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
153.79/153.81 c 145s|240000 |240001 | 0 | 0.0 | 124M| 291 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
160.10/160.18 c 151s|250000 |250001 | 0 | 0.0 | 128M| 291 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
166.49/166.54 c 157s|260000 |260001 | 0 | 0.0 | 133M| 291 | - |5737 |5535 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
172.89/172.94 c 163s|270000 |269999 | 0 | 0.0 | 137M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
179.20/179.30 c 169s|280000 |279999 | 0 | 0.0 | 141M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
185.59/185.66 c 175s|290000 |289999 | 0 | 0.0 | 145M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
191.99/192.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.99/192.04 c 181s|300000 |299999 | 0 | 0.0 | 150M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
198.39/198.43 c 187s|310000 |309999 | 0 | 0.0 | 154M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
204.79/204.81 c 193s|320000 |319999 | 0 | 0.0 | 158M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
211.09/211.16 c 199s|330000 |329999 | 0 | 0.0 | 163M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
217.49/217.51 c 205s|340000 |339999 | 0 | 0.0 | 167M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
224.00/224.01 c 211s|350000 |349999 | 0 | 0.0 | 171M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
230.50/230.53 c 217s|360000 |359999 | 0 | 0.0 | 176M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
236.99/237.02 c 223s|370000 |369999 | 0 | 0.0 | 180M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
243.49/243.50 c 229s|380000 |379999 | 0 | 0.0 | 184M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
249.90/249.98 c 235s|390000 |389999 | 0 | 0.0 | 189M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
256.40/256.47 c 242s|400000 |399999 | 0 | 0.0 | 193M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
262.90/262.96 c 248s|410000 |409999 | 0 | 0.0 | 198M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
269.40/269.43 c 254s|420000 |419999 | 0 | 0.0 | 202M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
275.90/275.91 c 260s|430000 |429999 | 0 | 0.0 | 206M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
282.30/282.37 c 266s|440000 |439999 | 0 | 0.0 | 211M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
288.80/288.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
288.80/288.83 c 272s|450000 |449999 | 0 | 0.0 | 215M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
295.30/295.31 c 278s|460000 |459999 | 0 | 0.0 | 219M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
301.70/301.78 c 284s|470000 |469999 | 0 | 0.0 | 224M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
308.20/308.21 c 291s|480000 |479999 | 0 | 0.0 | 228M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
314.60/314.65 c 297s|490000 |489999 | 0 | 0.0 | 232M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
321.10/321.10 c 303s|500000 |499999 | 0 | 0.0 | 236M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
327.50/327.55 c 309s|510000 |509999 | 0 | 0.0 | 241M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
333.90/333.97 c 315s|520000 |519999 | 0 | 0.0 | 245M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
340.40/340.45 c 321s|530000 |529999 | 0 | 0.0 | 249M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
346.80/346.87 c 327s|540000 |539999 | 0 | 0.0 | 254M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
353.21/353.27 c 333s|550000 |549999 | 0 | 0.0 | 258M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
359.60/359.70 c 339s|560000 |559999 | 0 | 0.0 | 262M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
366.10/366.11 c 346s|570000 |569999 | 0 | 0.0 | 266M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
372.40/372.49 c 352s|580000 |579999 | 0 | 0.0 | 271M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
378.90/378.90 c 358s|590000 |589999 | 0 | 0.0 | 275M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
385.30/385.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
385.30/385.30 c 364s|600000 |599999 | 0 | 0.0 | 279M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
391.60/391.70 c 370s|610000 |609999 | 0 | 0.0 | 284M| 291 | - |5737 |5537 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
398.10/398.11 c 376s|620000 |619997 | 0 | 0.0 | 288M| 291 | - |5737 |5540 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
404.40/404.48 c 382s|630000 |629997 | 0 | 0.0 | 292M| 291 | - |5737 |5540 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
410.79/410.86 c 388s|640000 |639997 | 0 | 0.0 | 296M| 291 | - |5737 |5540 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
417.20/417.22 c 394s|650000 |649997 | 0 | 0.0 | 301M| 291 | - |5737 |5540 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
423.50/423.54 c 401s|660000 |659997 | 0 | 0.0 | 305M| 291 | - |5737 |5540 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
430.00/430.01 c 407s|670000 |669997 | 0 | 0.0 | 309M| 291 | - |5737 |5540 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
436.40/436.44 c 413s|680000 |679997 | 0 | 0.0 | 313M| 291 | - |5737 |5540 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
442.80/442.85 c 419s|690000 |689997 | 0 | 0.0 | 318M| 291 | - |5737 |5540 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
449.20/449.23 c 425s|700000 |699997 | 0 | 0.0 | 322M| 291 | - |5737 |5540 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
455.50/455.59 c 431s|710000 |709997 | 0 | 0.0 | 326M| 291 | - |5737 |5540 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
461.90/461.97 c 438s|720000 |719997 | 0 | 0.0 | 330M| 291 | - |5737 |5540 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
468.30/468.39 c 444s|730000 |729997 | 0 | 0.0 | 335M| 291 | - |5737 |5540 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
474.70/474.73 c 450s|740000 |739997 | 0 | 0.0 | 339M| 291 | - |5737 |5540 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
481.11/481.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
481.11/481.10 c 456s|750000 |749997 | 0 | 0.0 | 343M| 291 | - |5737 |5540 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
487.41/487.46 c 462s|760000 |759997 | 0 | 0.0 | 347M| 291 | - |5737 |5540 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
493.80/493.82 c 468s|770000 |769997 | 0 | 0.0 | 352M| 291 | - |5737 |5540 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
500.21/500.21 c 474s|780000 |779997 | 0 | 0.0 | 356M| 291 | - |5737 |5540 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
506.50/506.57 c 481s|790000 |789997 | 0 | 0.0 | 360M| 291 | - |5737 |5540 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
512.90/512.97 c 487s|800000 |799997 | 0 | 0.0 | 365M| 291 | - |5737 |5540 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
519.31/519.38 c 493s|810000 |809997 | 0 | 0.0 | 369M| 291 | - |5737 |5539 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
525.71/525.77 c 499s|820000 |819997 | 0 | 0.0 | 373M| 291 | - |5737 |5539 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
532.10/532.16 c 505s|830000 |829997 | 0 | 0.0 | 377M| 291 | - |5737 |5539 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
538.51/538.53 c 511s|840000 |839997 | 0 | 0.0 | 382M| 291 | - |5737 |5539 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
544.90/544.91 c 517s|850000 |849997 | 0 | 0.0 | 386M| 291 | - |5737 |5539 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
551.30/551.30 c 524s|860000 |859997 | 0 | 0.0 | 390M| 291 | - |5737 |5539 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
557.60/557.69 c 530s|870000 |869997 | 0 | 0.0 | 395M| 291 | - |5737 |5539 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
564.01/564.07 c 536s|880000 |879997 | 0 | 0.0 | 399M| 291 | - |5737 |5539 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
570.40/570.47 c 542s|890000 |889997 | 0 | 0.0 | 403M| 291 | - |5737 |5539 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
576.81/576.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
576.81/576.84 c 548s|900000 |899997 | 0 | 0.0 | 408M| 291 | - |5737 |5539 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
583.21/583.21 c 554s|910000 |909997 | 0 | 0.0 | 412M| 291 | - |5737 |5539 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
589.61/589.61 c 560s|920000 |919997 | 0 | 0.0 | 416M| 291 | - |5737 |5539 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
595.91/595.97 c 566s|930000 |929997 | 0 | 0.0 | 420M| 291 | - |5737 |5539 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
602.31/602.35 c 573s|940000 |939997 | 0 | 0.0 | 425M| 291 | - |5737 |5539 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
608.71/608.71 c 579s|950000 |949997 | 0 | 0.0 | 429M| 291 | - |5737 |5539 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
615.10/615.10 c 585s|960000 |959997 | 0 | 0.0 | 433M| 291 | - |5737 |5538 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
621.40/621.48 c 591s|970000 |969997 | 0 | 0.0 | 438M| 291 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
627.81/627.85 c 597s|980000 |979997 | 0 | 0.0 | 442M| 291 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
634.21/634.21 c 603s|990000 |989997 | 0 | 0.0 | 446M| 291 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
640.50/640.57 c 609s| 1000k|999997 | 0 | 0.0 | 450M| 291 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
646.91/646.92 c 616s| 1010k| 1009k| 0 | 0.0 | 455M| 291 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
653.20/653.26 c 622s| 1020k| 1019k| 0 | 0.0 | 459M| 291 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
659.70/659.75 c 628s| 1030k| 1029k| 0 | 0.0 | 463M| 291 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
666.21/666.25 c 634s| 1040k| 1039k| 0 | 0.0 | 468M| 291 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
672.60/672.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
672.60/672.69 c 640s| 1050k| 1049k| 0 | 0.0 | 472M| 291 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
679.11/679.15 c 647s| 1060k| 1059k| 0 | 0.0 | 476M| 291 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
685.51/685.55 c 653s| 1070k| 1069k| 0 | 0.0 | 480M| 291 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
692.01/692.01 c 659s| 1080k| 1079k| 0 | 0.0 | 485M| 291 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
698.41/698.43 c 665s| 1090k| 1089k| 0 | 0.0 | 489M| 291 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
704.80/704.81 c 671s| 1100k| 1099k| 0 | 0.0 | 493M| 291 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
711.20/711.26 c 677s| 1110k| 1109k| 0 | 0.0 | 497M| 291 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
717.60/717.62 c 684s| 1120k| 1119k| 0 | 0.0 | 502M| 291 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
723.91/723.97 c 690s| 1130k| 1129k| 0 | 0.0 | 506M| 291 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
730.30/730.32 c 696s| 1140k| 1139k| 0 | 0.0 | 510M| 291 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
736.61/736.67 c 702s| 1150k| 1149k| 0 | 0.0 | 514M| 291 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
742.91/742.99 c 708s| 1160k| 1159k| 0 | 0.0 | 518M| 291 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
749.31/749.30 c 714s| 1170k| 1169k| 0 | 0.0 | 523M| 291 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
755.60/755.63 c 720s| 1180k| 1179k| 0 | 0.0 | 527M| 295 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
761.91/761.95 c 726s| 1190k| 1189k| 0 | 0.0 | 531M| 295 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
768.21/768.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
768.21/768.28 c 732s| 1200k| 1199k| 0 | 0.0 | 535M| 307 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
774.51/774.58 c 738s| 1210k| 1209k| 0 | 0.0 | 539M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
780.91/780.92 c 744s| 1220k| 1219k| 0 | 0.0 | 544M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
787.11/787.20 c 751s| 1230k| 1229k| 0 | 0.0 | 548M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
793.41/793.47 c 757s| 1240k| 1239k| 0 | 0.0 | 552M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
799.81/799.81 c 763s| 1250k| 1249k| 0 | 0.0 | 556M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
806.11/806.15 c 769s| 1260k| 1259k| 0 | 0.0 | 560M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
812.41/812.48 c 775s| 1270k| 1269k| 0 | 0.0 | 565M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
818.81/818.83 c 781s| 1280k| 1279k| 0 | 0.0 | 569M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
825.21/825.20 c 787s| 1290k| 1289k| 0 | 0.0 | 573M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
831.51/831.56 c 793s| 1300k| 1299k| 0 | 0.0 | 577M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
837.81/837.88 c 799s| 1310k| 1309k| 0 | 0.0 | 581M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
844.21/844.20 c 806s| 1320k| 1319k| 0 | 0.0 | 586M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
850.42/850.49 c 812s| 1330k| 1329k| 0 | 0.0 | 590M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
856.81/856.83 c 818s| 1340k| 1339k| 0 | 0.0 | 594M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
863.11/863.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
863.11/863.17 c 824s| 1350k| 1349k| 0 | 0.0 | 598M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
869.51/869.53 c 830s| 1360k| 1359k| 0 | 0.0 | 603M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
875.81/875.88 c 836s| 1370k| 1369k| 0 | 0.0 | 607M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
882.11/882.19 c 842s| 1380k| 1379k| 0 | 0.0 | 611M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
888.51/888.51 c 848s| 1390k| 1389k| 0 | 0.0 | 615M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
894.81/894.80 c 854s| 1400k| 1399k| 0 | 0.0 | 619M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
901.11/901.13 c 860s| 1410k| 1409k| 0 | 0.0 | 624M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
907.42/907.41 c 866s| 1420k| 1419k| 0 | 0.0 | 628M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
913.72/913.75 c 873s| 1430k| 1429k| 0 | 0.0 | 632M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
920.01/920.04 c 879s| 1440k| 1439k| 0 | 0.0 | 636M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
926.32/926.31 c 885s| 1450k| 1449k| 0 | 0.0 | 640M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
932.61/932.60 c 891s| 1460k| 1459k| 0 | 0.0 | 645M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
938.81/938.88 c 897s| 1470k| 1469k| 0 | 0.0 | 649M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
945.21/945.22 c 903s| 1480k| 1479k| 0 | 0.0 | 653M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
951.52/951.54 c 909s| 1490k| 1489k| 0 | 0.0 | 657M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
957.82/957.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
957.82/957.85 c 915s| 1500k| 1499k| 0 | 0.0 | 661M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
964.21/964.20 c 921s| 1510k| 1509k| 0 | 0.0 | 666M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
970.52/970.51 c 927s| 1520k| 1519k| 0 | 0.0 | 670M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
976.82/976.80 c 933s| 1530k| 1529k| 0 | 0.0 | 674M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
983.12/983.10 c 939s| 1540k| 1539k| 0 | 0.0 | 678M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
989.31/989.37 c 945s| 1550k| 1549k| 0 | 0.0 | 682M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
995.62/995.63 c 951s| 1560k| 1559k| 0 | 0.0 | 687M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1001.91/1001.93 c 958s| 1570k| 1569k| 0 | 0.0 | 691M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1008.12/1008.16 c 964s| 1580k| 1579k| 0 | 0.0 | 695M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1014.42/1014.46 c 970s| 1590k| 1589k| 0 | 0.0 | 699M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1020.72/1020.73 c 976s| 1600k| 1599k| 0 | 0.0 | 703M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1027.02/1027.00 c 982s| 1610k| 1609k| 0 | 0.0 | 708M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1033.32/1033.31 c 988s| 1620k| 1619k| 0 | 0.0 | 712M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1039.63/1039.61 c 994s| 1630k| 1629k| 0 | 0.0 | 716M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1045.91/1045.91 c 1000s| 1640k| 1639k| 0 | 0.0 | 720M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1052.22/1052.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1052.22/1052.21 c 1006s| 1650k| 1649k| 0 | 0.0 | 724M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1058.41/1058.47 c 1012s| 1660k| 1659k| 0 | 0.0 | 729M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1064.71/1064.75 c 1018s| 1670k| 1669k| 0 | 0.0 | 733M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1071.02/1071.05 c 1024s| 1680k| 1679k| 0 | 0.0 | 737M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1077.32/1077.35 c 1030s| 1690k| 1689k| 0 | 0.0 | 741M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1083.62/1083.66 c 1036s| 1700k| 1699k| 0 | 0.0 | 745M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1089.92/1089.98 c 1042s| 1710k| 1709k| 0 | 0.0 | 750M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1096.21/1096.25 c 1048s| 1720k| 1719k| 0 | 0.0 | 754M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1102.51/1102.53 c 1054s| 1730k| 1729k| 0 | 0.0 | 758M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1108.82/1108.83 c 1061s| 1740k| 1739k| 0 | 0.0 | 762M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1115.12/1115.11 c 1067s| 1750k| 1749k| 0 | 0.0 | 766M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1121.42/1121.41 c 1073s| 1760k| 1759k| 0 | 0.0 | 771M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1127.72/1127.73 c 1079s| 1770k| 1769k| 0 | 0.0 | 775M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1134.02/1134.03 c 1085s| 1780k| 1779k| 0 | 0.0 | 779M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1140.22/1140.29 c 1091s| 1790k| 1789k| 0 | 0.0 | 783M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1146.52/1146.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1146.52/1146.59 c 1097s| 1800k| 1799k| 0 | 0.0 | 787M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1152.82/1152.87 c 1103s| 1810k| 1809k| 0 | 0.0 | 792M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1159.12/1159.17 c 1109s| 1820k| 1819k| 0 | 0.0 | 796M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1165.42/1165.48 c 1115s| 1830k| 1829k| 0 | 0.0 | 800M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1171.72/1171.79 c 1121s| 1840k| 1839k| 0 | 0.0 | 804M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1178.02/1178.07 c 1127s| 1850k| 1849k| 0 | 0.0 | 809M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1184.32/1184.39 c 1133s| 1860k| 1859k| 0 | 0.0 | 813M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1190.72/1190.72 c 1139s| 1870k| 1869k| 0 | 0.0 | 817M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1197.02/1197.04 c 1146s| 1880k| 1879k| 0 | 0.0 | 821M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1203.32/1203.38 c 1152s| 1890k| 1889k| 0 | 0.0 | 825M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1209.72/1209.70 c 1158s| 1900k| 1899k| 0 | 0.0 | 830M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1215.92/1215.98 c 1164s| 1910k| 1909k| 0 | 0.0 | 834M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1222.23/1222.27 c 1170s| 1920k| 1919k| 0 | 0.0 | 838M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1228.52/1228.58 c 1176s| 1930k| 1929k| 0 | 0.0 | 842M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1234.92/1234.90 c 1182s| 1940k| 1939k| 0 | 0.0 | 846M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1241.22/1241.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1241.22/1241.21 c 1188s| 1950k| 1949k| 0 | 0.0 | 851M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1247.53/1247.52 c 1194s| 1960k| 1959k| 0 | 0.0 | 855M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1253.82/1253.81 c 1200s| 1970k| 1969k| 0 | 0.0 | 859M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1260.13/1260.12 c 1206s| 1980k| 1979k| 0 | 0.0 | 863M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1266.32/1266.37 c 1212s| 1990k| 1989k| 0 | 0.0 | 868M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1272.62/1272.67 c 1218s| 2000k| 1999k| 0 | 0.0 | 872M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1278.92/1278.99 c 1224s| 2010k| 2009k| 0 | 0.0 | 876M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1285.32/1285.30 c 1231s| 2020k| 2019k| 0 | 0.0 | 880M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1291.63/1291.61 c 1237s| 2030k| 2029k| 0 | 0.0 | 884M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1297.92/1297.93 c 1243s| 2040k| 2039k| 0 | 0.0 | 889M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1304.23/1304.22 c 1249s| 2050k| 2049k| 0 | 0.0 | 893M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1310.52/1310.51 c 1255s| 2060k| 2059k| 0 | 0.0 | 897M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1316.83/1316.81 c 1261s| 2070k| 2069k| 0 | 0.0 | 901M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1323.12/1323.14 c 1267s| 2080k| 2079k| 0 | 0.0 | 905M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1329.43/1329.45 c 1273s| 2090k| 2089k| 0 | 0.0 | 910M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1335.73/1335.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1335.73/1335.77 c 1279s| 2100k| 2099k| 0 | 0.0 | 914M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1342.13/1342.13 c 1285s| 2110k| 2109k| 0 | 0.0 | 918M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1348.43/1348.49 c 1291s| 2120k| 2119k| 0 | 0.0 | 922M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1354.83/1354.82 c 1297s| 2130k| 2129k| 0 | 0.0 | 926M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1361.13/1361.12 c 1304s| 2140k| 2139k| 0 | 0.0 | 931M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1367.43/1367.42 c 1310s| 2150k| 2149k| 0 | 0.0 | 935M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1373.72/1373.70 c 1316s| 2160k| 2159k| 0 | 0.0 | 939M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1380.03/1380.03 c 1322s| 2170k| 2169k| 0 | 0.0 | 943M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1386.32/1386.34 c 1328s| 2180k| 2179k| 0 | 0.0 | 947M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1392.63/1392.69 c 1334s| 2190k| 2189k| 0 | 0.0 | 952M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1399.03/1399.01 c 1340s| 2200k| 2199k| 0 | 0.0 | 956M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1405.33/1405.32 c 1346s| 2210k| 2209k| 0 | 0.0 | 960M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1411.52/1411.59 c 1352s| 2220k| 2219k| 0 | 0.0 | 964M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1417.83/1417.87 c 1358s| 2230k| 2229k| 0 | 0.0 | 968M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1424.12/1424.17 c 1364s| 2240k| 2239k| 0 | 0.0 | 973M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1430.43/1430.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.43/1430.46 c 1370s| 2250k| 2249k| 0 | 0.0 | 977M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1436.82/1436.80 c 1376s| 2260k| 2259k| 0 | 0.0 | 981M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1443.13/1443.10 c 1382s| 2270k| 2269k| 0 | 0.0 | 985M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1449.43/1449.40 c 1389s| 2280k| 2279k| 0 | 0.0 | 989M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1455.63/1455.67 c 1395s| 2290k| 2289k| 0 | 0.0 | 994M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1461.94/1461.96 c 1401s| 2300k| 2299k| 0 | 0.0 | 998M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1468.23/1468.29 c 1407s| 2310k| 2309k| 0 | 0.0 |1002M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1474.53/1474.59 c 1413s| 2320k| 2319k| 0 | 0.0 |1006M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1480.93/1480.92 c 1419s| 2330k| 2329k| 0 | 0.0 |1010M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1487.13/1487.20 c 1425s| 2340k| 2339k| 0 | 0.0 |1015M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1493.53/1493.52 c 1431s| 2350k| 2349k| 0 | 0.0 |1019M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1499.83/1499.82 c 1437s| 2360k| 2359k| 0 | 0.0 |1023M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1506.13/1506.14 c 1443s| 2370k| 2369k| 0 | 0.0 |1027M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1512.43/1512.42 c 1449s| 2380k| 2379k| 0 | 0.0 |1031M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1518.73/1518.74 c 1455s| 2390k| 2389k| 0 | 0.0 |1036M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1525.03/1525.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1525.03/1525.02 c 1461s| 2400k| 2399k| 0 | 0.0 |1040M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1531.34/1531.31 c 1467s| 2410k| 2409k| 0 | 0.0 |1044M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1537.63/1537.60 c 1474s| 2420k| 2419k| 0 | 0.0 |1048M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1543.93/1543.91 c 1480s| 2430k| 2429k| 0 | 0.0 |1053M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1550.23/1550.21 c 1486s| 2440k| 2439k| 0 | 0.0 |1057M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1556.54/1556.50 c 1492s| 2450k| 2449k| 0 | 0.0 |1061M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1562.73/1562.79 c 1498s| 2460k| 2459k| 0 | 0.0 |1065M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1569.03/1569.04 c 1504s| 2470k| 2469k| 0 | 0.0 |1069M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1575.23/1575.23 c 1510s| 2480k| 2479k| 0 | 0.0 |1073M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1581.44/1581.41 c 1516s| 2490k| 2489k| 0 | 0.0 |1078M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1587.53/1587.59 c 1522s| 2500k| 2499k| 0 | 0.0 |1082M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1593.73/1593.74 c 1528s| 2510k| 2509k| 0 | 0.0 |1086M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1599.83/1599.84 c 1533s| 2520k| 2519k| 0 | 0.0 |1090M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1605.94/1605.96 c 1539s| 2530k| 2529k| 0 | 0.0 |1094M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1612.03/1612.08 c 1545s| 2540k| 2539k| 0 | 0.0 |1098M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1618.14/1618.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1618.14/1618.19 c 1551s| 2550k| 2549k| 0 | 0.0 |1102M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1624.23/1624.24 c 1557s| 2560k| 2559k| 0 | 0.0 |1106M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1630.23/1630.28 c 1562s| 2570k| 2569k| 0 | 0.0 |1110M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1636.33/1636.38 c 1568s| 2580k| 2579k| 0 | 0.0 |1115M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1642.44/1642.48 c 1574s| 2590k| 2589k| 0 | 0.0 |1119M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1648.74/1648.79 c 1580s| 2600k| 2599k| 0 | 0.0 |1123M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1655.23/1655.22 c 1586s| 2610k| 2609k| 0 | 0.0 |1127M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1661.64/1661.64 c 1592s| 2620k| 2619k| 0 | 0.0 |1132M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1668.04/1668.06 c 1598s| 2630k| 2629k| 0 | 0.0 |1136M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1674.44/1674.48 c 1604s| 2640k| 2639k| 0 | 0.0 |1140M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1680.85/1680.85 c 1611s| 2650k| 2649k| 0 | 0.0 |1144M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1687.24/1687.25 c 1617s| 2660k| 2659k| 0 | 0.0 |1149M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1693.64/1693.67 c 1623s| 2670k| 2669k| 0 | 0.0 |1153M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1700.04/1700.04 c 1629s| 2680k| 2679k| 0 | 0.0 |1157M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1706.44/1706.42 c 1635s| 2690k| 2689k| 0 | 0.0 |1162M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1712.74/1712.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1712.74/1712.77 c 1641s| 2700k| 2699k| 0 | 0.0 |1166M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1719.14/1719.19 c 1647s| 2710k| 2709k| 0 | 0.0 |1170M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1725.54/1725.51 c 1653s| 2720k| 2719k| 0 | 0.0 |1174M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1731.84/1731.89 c 1659s| 2730k| 2729k| 0 | 0.0 |1179M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1738.24/1738.26 c 1665s| 2740k| 2739k| 0 | 0.0 |1183M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1744.65/1744.64 c 1671s| 2750k| 2749k| 0 | 0.0 |1187M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1750.94/1750.99 c 1677s| 2760k| 2759k| 0 | 0.0 |1191M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1757.34/1757.33 c 1683s| 2770k| 2769k| 0 | 0.0 |1196M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1763.64/1763.65 c 1690s| 2780k| 2779k| 0 | 0.0 |1200M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1769.94/1770.00 c 1696s| 2790k| 2789k| 0 | 0.0 |1204M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1776.34/1776.38 c 1702s| 2800k| 2799k| 0 | 0.0 |1208M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1782.73/1782.73 c 1708s| 2810k| 2809k| 0 | 0.0 |1213M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1789.13/1789.10 c 1714s| 2820k| 2819k| 0 | 0.0 |1217M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
1795.43/1795.46 c 1720s| 2830k| 2829k| 0 | 0.0 |1221M| 309 | - |5737 |5537 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | 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) : 1724.15
1800.05/1800.00 c Solving Nodes : 2837171
1800.05/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 s UNKNOWN
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time : 1724.15
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-2693667-1277914623.wbo
1800.05/1800.00 c Variables : 5756 (3542 binary, 0 integer, 0 implicit integer, 2214 continuous)
1800.05/1800.00 c Constraints : 5564 initial, 5564 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-2693667-1277914623.wbo
1800.05/1800.00 c Variables : 5737 (3526 binary, 0 integer, 0 implicit integer, 2211 continuous)
1800.05/1800.00 c Constraints : 5535 initial, 5540 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.01 7 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 8 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.11 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 0.00 0 0 0 0 0 3 0 0
1800.05/1800.00 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.01 0 4 0 2211 0 26 92 184
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 2211 0 5525435 0 2837169 0 2196593 0 0 0
1800.05/1800.00 c varbound : 1 0 848651 0 396284 0 7224 0 0 0
1800.05/1800.00 c knapsack : 64 0 5525435 0 2837169 0 17 0 0 0
1800.05/1800.00 c linear : 2210 0 5525435 0 2837169 0 1446117 0 0 0
1800.05/1800.00 c logicor : 1049+ 0 1900707 0 2837169 2 1949244 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 2837169 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c indicator : 435.42 0.00 117.06 0.00 318.36
1800.05/1800.00 c varbound : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c knapsack : 4.85 0.00 3.92 0.00 0.93
1800.05/1800.00 c linear : 88.75 0.00 86.95 0.00 1.80
1800.05/1800.00 c logicor : 174.83 0.00 4.01 0.00 170.82
1800.05/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.00 c vbounds : 0.00 17476 0 0
1800.05/1800.00 c rootredcost : 0.00 0 0 0
1800.05/1800.00 c pseudoobj : 258.83 5524729 0 0
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 0.00 2 2 2 4.5 3 3.7 -
1800.05/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 5 4.0 - - -
1800.05/1800.00 c applied locally : - - - 0 0.0 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.00 c redcost : 0.00 0 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.00 c cmir : 0.00 0 0 0 0 0
1800.05/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.00 c clique : 0.00 0 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 721.86 2837169 0 0 0 0 5674338
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 0
1800.05/1800.00 c oneopt : 0.00 0 0
1800.05/1800.00 c trivial : 0.01 2 0
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.00 0 0
1800.05/1800.00 c rounding : 0.00 0 0
1800.05/1800.00 c shifting : 0.00 0 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c coefdiving : 0.00 0 0
1800.05/1800.00 c pscostdiving : 0.00 0 0
1800.05/1800.00 c fracdiving : 0.00 0 0
1800.05/1800.00 c veclendiving : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 0.00 0 0
1800.05/1800.00 c rootsoldiving : 0.00 0 0
1800.05/1800.00 c linesearchdiving : 0.00 0 0
1800.05/1800.00 c guideddiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c crossover : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c nlp : 0.00 0 0
1800.05/1800.00 c trysol : 0.00 1 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.00 c (at root node) : - 0 0 0.00 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 2837171
1800.05/1800.00 c nodes (total) : 2837171
1800.05/1800.00 c nodes left : 2837168
1800.05/1800.00 c max depth : 309
1800.05/1800.00 c max depth (total): 309
1800.05/1800.00 c backtracks : 17948 (0.6%)
1800.05/1800.00 c delayed cutoffs : 0
1800.05/1800.00 c repropagations : 46 (13 domain reductions, 0 cutoffs)
1800.05/1800.00 c avg switch length: 2.30
1800.05/1800.00 c switching time : 18.63
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 0 (0 improvements)
1800.05/1800.00 c Primal Bound : -
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/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-2693667-1277914623/watcher-2693667-1277914623 -o /tmp/evaluation-result-2693667-1277914623/solver-2693667-1277914623 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693667-1277914623.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 2.00 2.00 3/178 16818
/proc/meminfo: memFree=30820552/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=8160 CPUtime=0
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 1547 0 0 0 0 0 0 0 22 0 1 0 132758217 8355840 1470 4089446400 4194304 7136930 140737296171248 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16818/statm: 2040 1470 275 719 0 1319 0
[startup+0.103784 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16818
/proc/meminfo: memFree=30820552/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=35276 CPUtime=0.1
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 9706 0 0 0 8 2 0 0 22 0 1 0 132758217 36122624 7990 4089446400 4194304 7136930 140737296171248 18446744073709551615 6346856 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16818/statm: 8819 8014 364 719 0 8098 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 35276
[startup+0.200766 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16818
/proc/meminfo: memFree=30820552/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=34704 CPUtime=0.19
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 10931 0 0 0 16 3 0 0 22 0 1 0 132758217 35536896 7925 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16818/statm: 8676 7925 390 719 0 7955 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34704
[startup+0.300749 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16818
/proc/meminfo: memFree=30820552/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=36116 CPUtime=0.29
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 11270 0 0 0 26 3 0 0 22 0 1 0 132758217 36982784 8263 4089446400 4194304 7136930 140737296171248 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16818/statm: 9029 8263 407 719 0 8308 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36116
[startup+0.700678 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16818
/proc/meminfo: memFree=30820552/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=36532 CPUtime=0.69
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 11375 0 0 0 63 6 0 0 24 0 1 0 132758217 37408768 8367 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16818/statm: 9133 8367 406 719 0 8412 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36532
[startup+1.50053 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16819
/proc/meminfo: memFree=30787932/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=37096 CPUtime=1.49
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 11517 0 0 0 138 11 0 0 25 0 1 0 132758217 37986304 8509 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16818/statm: 9274 8509 406 719 0 8553 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37096
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16819
/proc/meminfo: memFree=30787828/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=38392 CPUtime=3.09
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 11832 0 0 0 288 21 0 0 25 0 1 0 132758217 39313408 8824 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16818/statm: 9598 8824 406 719 0 8877 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38392
[startup+6.30066 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16819
/proc/meminfo: memFree=30785472/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=40196 CPUtime=6.29
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 12330 0 0 0 587 42 0 0 25 0 1 0 132758217 41160704 9322 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16818/statm: 10049 9322 406 719 0 9328 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40196
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16819
/proc/meminfo: memFree=30780036/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=47140 CPUtime=12.69
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 14082 0 0 0 1187 82 0 0 25 0 1 0 132758217 48271360 11074 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16818/statm: 11785 11074 406 719 0 11064 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47140
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16820
/proc/meminfo: memFree=30768872/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=56116 CPUtime=25.49
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 16407 0 0 0 2387 162 0 0 25 0 1 0 132758217 57462784 13399 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16818/statm: 14029 13399 406 719 0 13308 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56116
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16820
/proc/meminfo: memFree=30748812/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=77784 CPUtime=51.09
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 21486 0 0 0 4792 317 0 0 25 0 1 0 132758217 79650816 18478 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16818/statm: 19446 18478 406 719 0 18725 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 77784
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16822
/proc/meminfo: memFree=30705632/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=112940 CPUtime=102.29
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 30578 0 0 0 9622 607 0 0 25 0 1 0 132758217 115650560 27570 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16818/statm: 28235 27570 406 719 0 27514 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 112940
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16823
/proc/meminfo: memFree=30660956/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=157072 CPUtime=162.29
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 40924 0 0 0 15266 963 0 0 25 0 1 0 132758217 160841728 37916 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16818/statm: 39268 37916 406 719 0 38547 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 157072
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16825
/proc/meminfo: memFree=30615256/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=196464 CPUtime=222.31
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 51175 0 0 0 20935 1296 0 0 25 0 1 0 132758217 201179136 48167 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16818/statm: 49116 48167 410 719 0 48395 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 196464
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16826
/proc/meminfo: memFree=30567692/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=237496 CPUtime=282.3
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 61761 0 0 0 26609 1621 0 0 25 0 1 0 132758217 243195904 58753 4089446400 4194304 7136930 140737296171248 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16818/statm: 59374 58753 410 719 0 58653 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 237496
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16963
/proc/meminfo: memFree=30772276/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=285140 CPUtime=342.29
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 72019 0 0 0 32296 1933 0 0 25 0 1 0 132758217 291983360 69011 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16818/statm: 71285 69011 410 719 0 70564 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 285140
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17019
/proc/meminfo: memFree=30668816/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=325132 CPUtime=402.3
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 82357 0 0 0 38019 2211 0 0 25 0 1 0 132758217 332935168 79349 4089446400 4194304 7136930 140737296171248 18446744073709551615 5892251 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16818/statm: 81283 79349 410 719 0 80562 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 325132
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17020
/proc/meminfo: memFree=30414248/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=364776 CPUtime=462.3
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 92662 0 0 0 43793 2437 0 0 25 0 1 0 132758217 373530624 89654 4089446400 4194304 7136930 140737296171248 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16818/statm: 91194 89654 410 719 0 90473 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 364776
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17022
/proc/meminfo: memFree=30174360/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=405308 CPUtime=522.31
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 103162 0 0 0 49567 2664 0 0 25 0 1 0 132758217 415035392 100154 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16818/statm: 101327 100154 410 719 0 100606 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 405308
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17023
/proc/meminfo: memFree=29922660/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=444504 CPUtime=582.31
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 113329 0 0 0 55338 2893 0 0 25 0 1 0 132758217 455172096 110321 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16818/statm: 111126 110321 410 719 0 110405 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 444504
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17025
/proc/meminfo: memFree=29718020/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=501424 CPUtime=642.3
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 123831 0 0 0 61113 3117 0 0 25 0 1 0 132758217 513458176 120823 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16818/statm: 125356 120823 410 719 0 124635 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 501424
[startup+702.3 s]
################
# More data... #
################
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 195477 0 0 0 101575 4656 0 0 25 0 1 0 132758217 796315648 192469 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 194413 192469 410 719 0 193692 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 777652
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17041
/proc/meminfo: memFree=28360348/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=817908 CPUtime=1122.32
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 205913 0 0 0 107353 4879 0 0 25 0 1 0 132758217 837537792 202905 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 204477 202905 410 719 0 203756 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 817908
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17042
/proc/meminfo: memFree=28273492/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=856876 CPUtime=1182.32
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 216026 0 0 0 113133 5099 0 0 25 0 1 0 132758217 877441024 213018 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 214219 213018 410 719 0 213498 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 856876
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17044
/proc/meminfo: memFree=28074784/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=896200 CPUtime=1242.32
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 226226 0 0 0 118914 5318 0 0 25 0 1 0 132758217 917708800 223218 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 224050 223218 410 719 0 223329 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 896200
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17046
/proc/meminfo: memFree=27841868/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=969476 CPUtime=1302.33
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 236724 0 0 0 124694 5539 0 0 25 0 1 0 132758217 992743424 233716 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 242369 233716 410 719 0 241648 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 969476
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 17047
/proc/meminfo: memFree=27656784/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=1008720 CPUtime=1362.32
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 246907 0 0 0 130470 5762 0 0 25 0 1 0 132758217 1032929280 243899 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 252180 243899 410 719 0 251459 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1008720
[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 17049
/proc/meminfo: memFree=27494044/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=1048692 CPUtime=1422.33
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 257271 0 0 0 136248 5985 0 0 25 0 1 0 132758217 1073860608 254263 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 262173 254263 410 719 0 261452 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1048692
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17050
/proc/meminfo: memFree=27300556/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=1088432 CPUtime=1482.33
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 267578 0 0 0 142028 6205 0 0 25 0 1 0 132758217 1114554368 264570 4089446400 4194304 7136930 140737296171248 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 272108 264570 410 719 0 271387 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1088432
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17052
/proc/meminfo: memFree=27112396/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=1128636 CPUtime=1542.33
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 278001 0 0 0 147803 6430 0 0 25 0 1 0 132758217 1155723264 274993 4089446400 4194304 7136930 140737296171248 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 282159 274993 410 719 0 281438 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1128636
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17081
/proc/meminfo: memFree=29861616/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=1168060 CPUtime=1602.34
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 288232 0 0 0 153576 6658 0 0 25 0 1 0 132758217 1196093440 285224 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 292015 285224 410 719 0 291294 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1168060
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17082
/proc/meminfo: memFree=29756464/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=1208948 CPUtime=1662.33
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 298804 0 0 0 159287 6946 0 0 25 0 1 0 132758217 1237962752 295796 4089446400 4194304 7136930 140737296171248 18446744073709551615 5892216 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 302237 295796 410 719 0 301516 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1208948
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17084
/proc/meminfo: memFree=29653384/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=1247496 CPUtime=1722.33
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 308808 0 0 0 165005 7228 0 0 25 0 1 0 132758217 1277435904 305800 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 311874 305800 410 719 0 311153 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1247496
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17085
/proc/meminfo: memFree=29548796/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=1287720 CPUtime=1782.34
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 319232 0 0 0 170729 7505 0 0 25 0 1 0 132758217 1318625280 316224 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 321930 316224 410 719 0 321209 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1287720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17086
/proc/meminfo: memFree=29517280/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=1299856 CPUtime=1800.05
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 322375 0 0 0 172418 7587 0 0 25 0 1 0 132758217 1331052544 319367 4089446400 4194304 7136930 140737296171248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16818/statm: 324964 319367 410 719 0 324243 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1299856
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -16818
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17087
/proc/meminfo: memFree=29517024/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=1299856 CPUtime=1800.75
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 322381 0 0 0 172488 7587 0 0 18 0 1 0 132758217 1331052544 319373 4089446400 4194304 7136930 140737296171248 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16818/statm: 324964 319373 416 719 0 324243 0
Current children cumulated CPU time (s) 1800.75
Current children cumulated vsize (KiB) 1299856
[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17087
/proc/meminfo: memFree=29517024/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=1299592 CPUtime=1801.54
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 322381 0 0 0 172567 7587 0 0 20 0 1 0 132758217 1330782208 319307 4089446400 4194304 7136930 140737296171248 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16818/statm: 324898 319307 416 719 0 324177 0
Current children cumulated CPU time (s) 1801.54
Current children cumulated vsize (KiB) 1299592
[startup+1801.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17087
/proc/meminfo: memFree=29517512/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=1296092 CPUtime=1801.95
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 322381 0 0 0 172608 7587 0 0 20 0 1 0 132758217 1327198208 318432 4089446400 4194304 7136930 140737296171248 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16818/statm: 324023 318432 416 719 0 323302 0
Current children cumulated CPU time (s) 1801.95
Current children cumulated vsize (KiB) 1296092
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17087
/proc/meminfo: memFree=29517512/32951124 swapFree=67111528/67111528
[pid=16818] ppid=16816 vsize=1295832 CPUtime=1802.04
/proc/16818/stat : 16818 (pbscip.linux.x8) R 16816 16818 16494 0 -1 4202496 322381 0 0 0 172617 7587 0 0 21 0 1 0 132758217 1326931968 318367 4089446400 4194304 7136930 140737296171248 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16818/statm: 323958 318367 416 719 0 323237 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 1295832
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.05
CPU time (s): 1802.1
CPU user time (s): 1726.18
CPU system time (s): 75.9125
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1299856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1726.18
system time used= 75.9125
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 322381
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= 1424
runsolver used 2.6546 second user time and 5.63314 second system time
The end
Begin job on node138 at 2010-06-30 18:17:03
IDJOB=2693667
IDBENCH=79035
IDSOLVER=1206
FILE ID=node138/2693667-1277914623
PBS_JOBID= 11197301
Free space on /tmp= 74136 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-elf.rf7.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693667-1277914623/watcher-2693667-1277914623 -o /tmp/evaluation-result-2693667-1277914623/solver-2693667-1277914623 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693667-1277914623.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9b25a7ec387133dd9cde8835cb297bb5
RANDOM SEED=388054452
node138.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.860
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.72
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.860
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 : 5226.08
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.860
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.860
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.75
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.860
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.80
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.860
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.860
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.860
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.98
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30821204 kB
Buffers: 201524 kB
Cached: 1475168 kB
SwapCached: 0 kB
Active: 955972 kB
Inactive: 1026172 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30821204 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3120 kB
Writeback: 0 kB
AnonPages: 305484 kB
Mapped: 16172 kB
Slab: 83148 kB
PageTables: 5212 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 449964 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= 74132 MiB
End job on node138 at 2010-06-30 18:47:06