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-2693679-1277914768.wbo>
0.05/0.06 c original problem has 6290 variables (4954 bin, 0 int, 0 impl, 1336 cont) and 5268 constraints
0.05/0.06 c problem read
0.05/0.06 c presolving settings loaded
0.05/0.06 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.05/0.08 c presolving:
0.09/0.10 c (round 1) 33 del vars, 1 del conss, 0 chg bounds, 537 chg sides, 1074 chg coeffs, 0 upgd conss, 9686 impls, 0 clqs
0.09/0.11 c (round 2) 33 del vars, 67 del conss, 0 chg bounds, 537 chg sides, 1074 chg coeffs, 0 upgd conss, 9686 impls, 0 clqs
0.09/0.12 c (round 3) 33 del vars, 67 del conss, 1336 chg bounds, 537 chg sides, 1074 chg coeffs, 0 upgd conss, 9686 impls, 0 clqs
0.09/0.15 c (round 4) 33 del vars, 67 del conss, 1336 chg bounds, 537 chg sides, 1074 chg coeffs, 2530 upgd conss, 9686 impls, 0 clqs
0.19/0.21 c (0.1s) probing: 101/4921 (2.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.21 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.21 c presolving (5 rounds):
0.19/0.21 c 33 deleted vars, 67 deleted constraints, 1336 tightened bounds, 0 added holes, 537 changed sides, 1074 changed coefficients
0.19/0.21 c 9743 implications, 0 cliques
0.19/0.21 c presolved problem has 6257 variables (4921 bin, 0 int, 0 impl, 1336 cont) and 5201 constraints
0.19/0.21 c 1336 constraints of type <indicator>
0.19/0.21 c 1 constraints of type <varbound>
0.19/0.21 c 707 constraints of type <knapsack>
0.19/0.21 c 1335 constraints of type <linear>
0.19/0.21 c 1822 constraints of type <logicor>
0.19/0.21 c transformed objective value is always integral (scale: 1)
0.19/0.21 c Presolving Time: 0.11
0.19/0.21 c - non default parameters ----------------------------------------------------------------------
0.19/0.21 c # SCIP version 1.2.1.2
0.19/0.21 c
0.19/0.21 c # frequency for displaying node information lines
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21 c display/freq = 10000
0.19/0.21 c
0.19/0.21 c # maximal time in seconds to run
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/time = 1799.95
0.19/0.21 c
0.19/0.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/memory = 3420
0.19/0.21 c
0.19/0.21 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21 c lp/solvefreq = -1
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify inequalities
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/linear/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify knapsacks
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c separating/rapidlearning/freq = 0
0.19/0.21 c
0.19/0.21 c -----------------------------------------------------------------------------------------------
0.19/0.21 c start solving
0.19/0.21 c
0.19/0.22 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.22 c 0.1s| 1 | 2 | 0 | - | 21M| 0 | - |6257 |5201 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
7.19/7.24 c 6.8s| 10000 | 9997 | 0 | 0.0 | 27M| 653 | - |6257 |5204 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
13.99/14.03 c 13.2s| 20000 | 19995 | 0 | 0.0 | 32M| 653 | - |6257 |5206 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
20.69/20.79 c 19.6s| 30000 | 29995 | 0 | 0.0 | 36M| 653 | - |6257 |5206 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
27.60/27.60 c 26.0s| 40000 | 39995 | 0 | 0.0 | 41M| 653 | - |6257 |5206 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
34.29/34.39 c 32.4s| 50000 | 49995 | 0 | 0.0 | 45M| 653 | - |6257 |5206 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
41.19/41.23 c 38.9s| 60000 | 59995 | 0 | 0.0 | 50M| 653 | - |6257 |5206 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
47.99/48.04 c 45.3s| 70000 | 69995 | 0 | 0.0 | 54M| 653 | - |6257 |5206 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
54.79/54.88 c 51.8s| 80000 | 79995 | 0 | 0.0 | 59M| 653 | - |6257 |5206 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
61.60/61.68 c 58.3s| 90000 | 89995 | 0 | 0.0 | 63M| 653 | - |6257 |5205 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
68.40/68.47 c 64.7s|100000 | 99995 | 0 | 0.0 | 68M| 653 | - |6257 |5205 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
75.19/75.29 c 71.2s|110000 |109995 | 0 | 0.0 | 72M| 653 | - |6257 |5205 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
82.00/82.07 c 77.6s|120000 |119995 | 0 | 0.0 | 77M| 653 | - |6257 |5205 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
88.80/88.86 c 84.1s|130000 |129995 | 0 | 0.0 | 81M| 653 | - |6257 |5205 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
95.60/95.67 c 90.5s|140000 |139995 | 0 | 0.0 | 86M| 653 | - |6257 |5205 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
102.40/102.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.40/102.44 c 96.9s|150000 |149995 | 0 | 0.0 | 90M| 653 | - |6257 |5203 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
109.20/109.24 c 103s|160000 |159995 | 0 | 0.0 | 95M| 653 | - |6257 |5203 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
116.00/116.03 c 110s|170000 |169995 | 0 | 0.0 | 99M| 653 | - |6257 |5203 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
122.79/122.81 c 116s|180000 |179995 | 0 | 0.0 | 104M| 653 | - |6257 |5203 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
129.60/129.64 c 123s|190000 |189995 | 0 | 0.0 | 108M| 653 | - |6257 |5203 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
136.41/136.43 c 129s|200000 |199995 | 0 | 0.0 | 113M| 653 | - |6257 |5203 | 0 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf
143.19/143.28 c 136s|210000 |209981 | 0 | 0.0 | 117M| 653 | - |6257 |5216 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
150.00/150.03 c 142s|220000 |219981 | 0 | 0.0 | 122M| 653 | - |6257 |5216 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
156.80/156.84 c 148s|230000 |229981 | 0 | 0.0 | 126M| 653 | - |6257 |5216 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
163.59/163.60 c 155s|240000 |239981 | 0 | 0.0 | 130M| 653 | - |6257 |5208 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
170.30/170.34 c 161s|250000 |249981 | 0 | 0.0 | 135M| 653 | - |6257 |5207 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
177.00/177.10 c 168s|260000 |259981 | 0 | 0.0 | 139M| 653 | - |6257 |5205 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
183.80/183.87 c 174s|270000 |269981 | 0 | 0.0 | 144M| 653 | - |6257 |5205 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
190.60/190.63 c 180s|280000 |279981 | 0 | 0.0 | 148M| 653 | - |6257 |5205 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
197.40/197.42 c 187s|290000 |289981 | 0 | 0.0 | 153M| 653 | - |6257 |5205 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
204.10/204.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
204.10/204.18 c 193s|300000 |299981 | 0 | 0.0 | 157M| 653 | - |6257 |5205 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
210.90/210.97 c 200s|310000 |309981 | 0 | 0.0 | 161M| 653 | - |6257 |5205 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
217.70/217.77 c 206s|320000 |319981 | 0 | 0.0 | 166M| 653 | - |6257 |5205 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
224.50/224.52 c 213s|330000 |329981 | 0 | 0.0 | 170M| 653 | - |6257 |5205 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
231.20/231.28 c 219s|340000 |339981 | 0 | 0.0 | 175M| 653 | - |6257 |5205 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
238.01/238.03 c 225s|350000 |349981 | 0 | 0.0 | 179M| 653 | - |6257 |5205 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
244.70/244.79 c 232s|360000 |359981 | 0 | 0.0 | 184M| 653 | - |6257 |5205 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
251.50/251.56 c 238s|370000 |369981 | 0 | 0.0 | 188M| 653 | - |6257 |5205 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
258.20/258.27 c 244s|380000 |379981 | 0 | 0.0 | 192M| 653 | - |6257 |5205 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
265.00/265.01 c 251s|390000 |389981 | 0 | 0.0 | 197M| 653 | - |6257 |5205 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
271.71/271.77 c 257s|400000 |399979 | 0 | 0.0 | 201M| 653 | - |6257 |5207 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
278.50/278.50 c 264s|410000 |409979 | 0 | 0.0 | 205M| 653 | - |6257 |5207 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
285.21/285.28 c 270s|420000 |419979 | 0 | 0.0 | 210M| 653 | - |6257 |5207 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
292.00/292.03 c 276s|430000 |429979 | 0 | 0.0 | 214M| 653 | - |6257 |5207 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
298.70/298.79 c 283s|440000 |439979 | 0 | 0.0 | 219M| 653 | - |6257 |5206 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
305.50/305.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
305.50/305.55 c 289s|450000 |449979 | 0 | 0.0 | 223M| 653 | - |6257 |5206 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
312.31/312.31 c 296s|460000 |459979 | 0 | 0.0 | 227M| 653 | - |6257 |5206 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
319.01/319.06 c 302s|470000 |469979 | 0 | 0.0 | 232M| 653 | - |6257 |5206 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
325.70/325.75 c 308s|480000 |479979 | 0 | 0.0 | 236M| 653 | - |6257 |5205 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
332.41/332.46 c 315s|490000 |489979 | 0 | 0.0 | 240M| 653 | - |6257 |5205 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
339.11/339.13 c 321s|500000 |499979 | 0 | 0.0 | 245M| 653 | - |6257 |5205 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
345.81/345.85 c 327s|510000 |509979 | 0 | 0.0 | 249M| 653 | - |6257 |5205 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
352.41/352.48 c 334s|520000 |519979 | 0 | 0.0 | 253M| 653 | - |6257 |5204 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
359.11/359.14 c 340s|530000 |529979 | 0 | 0.0 | 258M| 653 | - |6257 |5204 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
365.81/365.81 c 346s|540000 |539979 | 0 | 0.0 | 262M| 653 | - |6257 |5204 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
372.40/372.46 c 353s|550000 |549979 | 0 | 0.0 | 266M| 653 | - |6257 |5204 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
378.91/378.98 c 359s|560000 |559979 | 0 | 0.0 | 270M| 653 | - |6257 |5204 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
385.41/385.42 c 365s|570000 |569979 | 0 | 0.0 | 275M| 653 | - |6257 |5204 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
391.81/391.87 c 371s|580000 |579979 | 0 | 0.0 | 279M| 653 | - |6257 |5204 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
398.21/398.28 c 377s|590000 |589979 | 0 | 0.0 | 283M| 653 | - |6257 |5204 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
404.61/404.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
404.61/404.68 c 383s|600000 |599979 | 0 | 0.0 | 288M| 653 | - |6257 |5204 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
411.01/411.08 c 389s|610000 |609979 | 0 | 0.0 | 292M| 653 | - |6257 |5204 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
417.51/417.51 c 395s|620000 |619979 | 0 | 0.0 | 296M| 653 | - |6257 |5204 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
423.91/423.94 c 401s|630000 |629979 | 0 | 0.0 | 300M| 653 | - |6257 |5204 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
430.21/430.28 c 407s|640000 |639979 | 0 | 0.0 | 305M| 653 | - |6257 |5204 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
436.72/436.71 c 414s|650000 |649979 | 0 | 0.0 | 309M| 653 | - |6257 |5204 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
443.11/443.15 c 420s|660000 |659979 | 0 | 0.0 | 313M| 653 | - |6257 |5204 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
449.51/449.52 c 426s|670000 |669977 | 0 | 0.0 | 317M| 653 | - |6257 |5205 | 0 | 0 | 0 | 21 | 0 | 0.000000e+00 | -- | Inf
455.81/455.87 c 432s|680000 |679977 | 0 | 0.0 | 322M| 653 | - |6257 |5205 | 0 | 0 | 0 | 21 | 0 | 0.000000e+00 | -- | Inf
462.11/462.19 c 438s|690000 |689977 | 0 | 0.0 | 326M| 653 | - |6257 |5205 | 0 | 0 | 0 | 21 | 0 | 0.000000e+00 | -- | Inf
468.41/468.50 c 444s|700000 |699977 | 0 | 0.0 | 330M| 653 | - |6257 |5204 | 0 | 0 | 0 | 21 | 0 | 0.000000e+00 | -- | Inf
474.71/474.76 c 450s|710000 |709977 | 0 | 0.0 | 334M| 653 | - |6257 |5204 | 0 | 0 | 0 | 21 | 0 | 0.000000e+00 | -- | Inf
480.91/480.92 c 455s|720000 |719950 | 0 | 0.0 | 339M| 653 | - |6257 |5241 | 0 | 0 | 0 | 58 | 0 | 0.000000e+00 | -- | Inf
487.61/487.63 c 462s|730000 |729950 | 0 | 0.0 | 343M| 655 | - |6257 |5238 | 0 | 0 | 0 | 58 | 0 | 0.000000e+00 | -- | Inf
494.61/494.60 c 468s|740000 |739950 | 0 | 0.0 | 347M| 655 | - |6257 |5229 | 0 | 0 | 0 | 58 | 0 | 0.000000e+00 | -- | Inf
501.52/501.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
501.52/501.56 c 475s|750000 |749950 | 0 | 0.0 | 352M| 655 | - |6257 |5210 | 0 | 0 | 0 | 58 | 0 | 0.000000e+00 | -- | Inf
508.41/508.44 c 482s|760000 |759945 | 0 | 0.0 | 356M| 655 | - |6257 |5212 | 0 | 0 | 0 | 63 | 0 | 0.000000e+00 | -- | Inf
515.22/515.27 c 488s|770000 |769945 | 0 | 0.0 | 360M| 655 | - |6257 |5212 | 0 | 0 | 0 | 63 | 0 | 0.000000e+00 | -- | Inf
522.11/522.18 c 495s|780000 |779945 | 0 | 0.0 | 364M| 655 | - |6257 |5212 | 0 | 0 | 0 | 63 | 0 | 0.000000e+00 | -- | Inf
529.02/529.04 c 501s|790000 |789945 | 0 | 0.0 | 369M| 655 | - |6257 |5207 | 0 | 0 | 0 | 63 | 0 | 0.000000e+00 | -- | Inf
535.92/535.95 c 508s|800000 |799945 | 0 | 0.0 | 373M| 655 | - |6257 |5206 | 0 | 0 | 0 | 63 | 0 | 0.000000e+00 | -- | Inf
542.82/542.85 c 514s|810000 |809945 | 0 | 0.0 | 377M| 655 | - |6257 |5206 | 0 | 0 | 0 | 63 | 0 | 0.000000e+00 | -- | Inf
549.71/549.75 c 521s|820000 |819945 | 0 | 0.0 | 381M| 655 | - |6257 |5206 | 0 | 0 | 0 | 63 | 0 | 0.000000e+00 | -- | Inf
556.63/556.67 c 528s|830000 |829945 | 0 | 0.0 | 385M| 655 | - |6257 |5206 | 0 | 0 | 0 | 63 | 0 | 0.000000e+00 | -- | Inf
563.52/563.50 c 534s|840000 |839945 | 0 | 0.0 | 390M| 655 | - |6257 |5205 | 0 | 0 | 0 | 63 | 0 | 0.000000e+00 | -- | Inf
570.32/570.39 c 541s|850000 |849945 | 0 | 0.0 | 394M| 655 | - |6257 |5205 | 0 | 0 | 0 | 63 | 0 | 0.000000e+00 | -- | Inf
577.22/577.20 c 547s|860000 |859943 | 0 | 0.0 | 398M| 655 | - |6257 |5206 | 0 | 0 | 0 | 64 | 0 | 0.000000e+00 | -- | Inf
584.02/584.05 c 553s|870000 |869940 | 0 | 0.0 | 402M| 655 | - |6257 |5212 | 0 | 0 | 0 | 70 | 0 | 0.000000e+00 | -- | Inf
590.92/590.91 c 560s|880000 |879940 | 0 | 0.0 | 407M| 655 | - |6257 |5212 | 0 | 0 | 0 | 70 | 0 | 0.000000e+00 | -- | Inf
597.72/597.76 c 566s|890000 |889940 | 0 | 0.0 | 411M| 655 | - |6257 |5210 | 0 | 0 | 0 | 70 | 0 | 0.000000e+00 | -- | Inf
604.62/604.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
604.62/604.63 c 573s|900000 |899940 | 0 | 0.0 | 415M| 655 | - |6257 |5205 | 0 | 0 | 0 | 70 | 0 | 0.000000e+00 | -- | Inf
611.42/611.48 c 580s|910000 |909940 | 0 | 0.0 | 419M| 655 | - |6257 |5205 | 0 | 0 | 0 | 70 | 0 | 0.000000e+00 | -- | Inf
618.32/618.34 c 586s|920000 |919940 | 0 | 0.0 | 423M| 655 | - |6257 |5205 | 0 | 0 | 0 | 70 | 0 | 0.000000e+00 | -- | Inf
625.22/625.20 c 593s|930000 |929940 | 0 | 0.0 | 428M| 655 | - |6257 |5205 | 0 | 0 | 0 | 70 | 0 | 0.000000e+00 | -- | Inf
632.02/632.04 c 599s|940000 |939940 | 0 | 0.0 | 432M| 655 | - |6257 |5205 | 0 | 0 | 0 | 70 | 0 | 0.000000e+00 | -- | Inf
638.92/638.90 c 606s|950000 |949940 | 0 | 0.0 | 436M| 655 | - |6257 |5205 | 0 | 0 | 0 | 70 | 0 | 0.000000e+00 | -- | Inf
645.73/645.75 c 612s|960000 |959940 | 0 | 0.0 | 440M| 655 | - |6257 |5205 | 0 | 0 | 0 | 70 | 0 | 0.000000e+00 | -- | Inf
652.52/652.59 c 619s|970000 |969940 | 0 | 0.0 | 444M| 655 | - |6257 |5205 | 0 | 0 | 0 | 70 | 0 | 0.000000e+00 | -- | Inf
659.42/659.43 c 625s|980000 |979940 | 0 | 0.0 | 449M| 655 | - |6257 |5205 | 0 | 0 | 0 | 70 | 0 | 0.000000e+00 | -- | Inf
666.22/666.26 c 632s|990000 |989940 | 0 | 0.0 | 453M| 655 | - |6257 |5205 | 0 | 0 | 0 | 70 | 0 | 0.000000e+00 | -- | Inf
673.12/673.13 c 638s| 1000k|999937 | 0 | 0.0 | 457M| 655 | - |6257 |5208 | 0 | 0 | 0 | 73 | 0 | 0.000000e+00 | -- | Inf
679.93/679.91 c 645s| 1010k| 1009k| 0 | 0.0 | 461M| 655 | - |6257 |5208 | 0 | 0 | 0 | 73 | 0 | 0.000000e+00 | -- | Inf
686.72/686.75 c 651s| 1020k| 1019k| 0 | 0.0 | 465M| 655 | - |6257 |5208 | 0 | 0 | 0 | 73 | 0 | 0.000000e+00 | -- | Inf
693.52/693.56 c 658s| 1030k| 1029k| 0 | 0.0 | 470M| 655 | - |6257 |5208 | 0 | 0 | 0 | 73 | 0 | 0.000000e+00 | -- | Inf
700.32/700.35 c 664s| 1040k| 1039k| 0 | 0.0 | 474M| 655 | - |6257 |5206 | 0 | 0 | 0 | 73 | 0 | 0.000000e+00 | -- | Inf
707.23/707.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
707.23/707.20 c 671s| 1050k| 1049k| 0 | 0.0 | 478M| 655 | - |6257 |5206 | 0 | 0 | 0 | 73 | 0 | 0.000000e+00 | -- | Inf
714.03/714.07 c 677s| 1060k| 1059k| 0 | 0.0 | 482M| 655 | - |6257 |5206 | 0 | 0 | 0 | 73 | 0 | 0.000000e+00 | -- | Inf
720.93/720.94 c 684s| 1070k| 1069k| 0 | 0.0 | 486M| 655 | - |6257 |5206 | 0 | 0 | 0 | 73 | 0 | 0.000000e+00 | -- | Inf
727.73/727.73 c 690s| 1080k| 1079k| 0 | 0.0 | 491M| 655 | - |6257 |5205 | 0 | 0 | 0 | 73 | 0 | 0.000000e+00 | -- | Inf
734.62/734.63 c 697s| 1090k| 1089k| 0 | 0.0 | 495M| 655 | - |6257 |5206 | 0 | 0 | 0 | 74 | 0 | 0.000000e+00 | -- | Inf
741.52/741.52 c 703s| 1100k| 1099k| 0 | 0.0 | 499M| 655 | - |6257 |5206 | 0 | 0 | 0 | 74 | 0 | 0.000000e+00 | -- | Inf
748.43/748.43 c 710s| 1110k| 1109k| 0 | 0.0 | 503M| 655 | - |6257 |5206 | 0 | 0 | 0 | 74 | 0 | 0.000000e+00 | -- | Inf
755.33/755.32 c 716s| 1120k| 1119k| 0 | 0.0 | 507M| 655 | - |6257 |5206 | 0 | 0 | 0 | 75 | 0 | 0.000000e+00 | -- | Inf
762.13/762.18 c 723s| 1130k| 1129k| 0 | 0.0 | 512M| 655 | - |6257 |5206 | 0 | 0 | 0 | 75 | 0 | 0.000000e+00 | -- | Inf
769.02/769.05 c 729s| 1140k| 1139k| 0 | 0.0 | 516M| 655 | - |6257 |5206 | 0 | 0 | 0 | 75 | 0 | 0.000000e+00 | -- | Inf
775.93/775.92 c 736s| 1150k| 1149k| 0 | 0.0 | 520M| 655 | - |6257 |5206 | 0 | 0 | 0 | 75 | 0 | 0.000000e+00 | -- | Inf
782.73/782.78 c 742s| 1160k| 1159k| 0 | 0.0 | 524M| 655 | - |6257 |5208 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
789.63/789.62 c 749s| 1170k| 1169k| 0 | 0.0 | 528M| 655 | - |6257 |5208 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
796.43/796.47 c 755s| 1180k| 1179k| 0 | 0.0 | 533M| 655 | - |6257 |5207 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
803.33/803.30 c 762s| 1190k| 1189k| 0 | 0.0 | 537M| 655 | - |6257 |5205 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
810.13/810.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
810.13/810.19 c 768s| 1200k| 1199k| 0 | 0.0 | 541M| 655 | - |6257 |5205 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
817.03/817.07 c 775s| 1210k| 1209k| 0 | 0.0 | 545M| 655 | - |6257 |5205 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
823.94/823.93 c 781s| 1220k| 1219k| 0 | 0.0 | 549M| 655 | - |6257 |5205 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
830.73/830.77 c 788s| 1230k| 1229k| 0 | 0.0 | 554M| 655 | - |6257 |5205 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
837.63/837.61 c 794s| 1240k| 1239k| 0 | 0.0 | 558M| 655 | - |6257 |5205 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
844.43/844.44 c 801s| 1250k| 1249k| 0 | 0.0 | 562M| 655 | - |6257 |5204 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
851.23/851.29 c 808s| 1260k| 1259k| 0 | 0.0 | 566M| 655 | - |6257 |5204 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
858.13/858.12 c 814s| 1270k| 1269k| 0 | 0.0 | 570M| 655 | - |6257 |5204 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
864.94/864.96 c 821s| 1280k| 1279k| 0 | 0.0 | 574M| 655 | - |6257 |5206 | 0 | 0 | 0 | 80 | 0 | 0.000000e+00 | -- | Inf
871.83/871.80 c 827s| 1290k| 1289k| 0 | 0.0 | 579M| 655 | - |6257 |5208 | 0 | 0 | 0 | 82 | 0 | 0.000000e+00 | -- | Inf
878.63/878.64 c 834s| 1300k| 1299k| 0 | 0.0 | 583M| 655 | - |6257 |5209 | 0 | 0 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf
885.44/885.44 c 840s| 1310k| 1309k| 0 | 0.0 | 587M| 655 | - |6257 |5211 | 0 | 0 | 0 | 86 | 0 | 0.000000e+00 | -- | Inf
892.24/892.24 c 846s| 1320k| 1319k| 0 | 0.0 | 591M| 655 | - |6257 |5209 | 0 | 0 | 0 | 86 | 0 | 0.000000e+00 | -- | Inf
899.03/899.05 c 853s| 1330k| 1329k| 0 | 0.0 | 595M| 655 | - |6257 |5208 | 0 | 0 | 0 | 86 | 0 | 0.000000e+00 | -- | Inf
905.84/905.86 c 859s| 1340k| 1339k| 0 | 0.0 | 599M| 655 | - |6257 |5210 | 0 | 0 | 0 | 90 | 0 | 0.000000e+00 | -- | Inf
912.63/912.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
912.63/912.65 c 866s| 1350k| 1349k| 0 | 0.0 | 604M| 655 | - |6257 |5209 | 0 | 0 | 0 | 90 | 0 | 0.000000e+00 | -- | Inf
919.44/919.47 c 872s| 1360k| 1359k| 0 | 0.0 | 608M| 655 | - |6257 |5208 | 0 | 0 | 0 | 90 | 0 | 0.000000e+00 | -- | Inf
926.33/926.30 c 879s| 1370k| 1369k| 0 | 0.0 | 612M| 655 | - |6257 |5208 | 0 | 0 | 0 | 92 | 0 | 0.000000e+00 | -- | Inf
933.04/933.09 c 885s| 1380k| 1379k| 0 | 0.0 | 616M| 655 | - |6257 |5209 | 0 | 0 | 0 | 94 | 0 | 0.000000e+00 | -- | Inf
939.93/939.91 c 892s| 1390k| 1389k| 0 | 0.0 | 620M| 655 | - |6257 |5209 | 0 | 0 | 0 | 94 | 0 | 0.000000e+00 | -- | Inf
946.73/946.72 c 898s| 1400k| 1399k| 0 | 0.0 | 624M| 655 | - |6257 |5208 | 0 | 0 | 0 | 94 | 0 | 0.000000e+00 | -- | Inf
953.53/953.52 c 905s| 1410k| 1409k| 0 | 0.0 | 629M| 655 | - |6257 |5205 | 0 | 0 | 0 | 94 | 0 | 0.000000e+00 | -- | Inf
960.34/960.39 c 911s| 1420k| 1419k| 0 | 0.0 | 633M| 655 | - |6257 |5205 | 0 | 0 | 0 | 94 | 0 | 0.000000e+00 | -- | Inf
967.23/967.22 c 918s| 1430k| 1429k| 0 | 0.0 | 637M| 655 | - |6257 |5205 | 0 | 0 | 0 | 94 | 0 | 0.000000e+00 | -- | Inf
974.04/974.06 c 924s| 1440k| 1439k| 0 | 0.0 | 641M| 655 | - |6257 |5204 | 0 | 0 | 0 | 94 | 0 | 0.000000e+00 | -- | Inf
980.93/980.90 c 931s| 1450k| 1449k| 0 | 0.0 | 645M| 655 | - |6257 |5203 | 0 | 0 | 0 | 94 | 0 | 0.000000e+00 | -- | Inf
987.75/987.74 c 937s| 1460k| 1459k| 0 | 0.0 | 650M| 655 | - |6257 |5203 | 0 | 0 | 0 | 94 | 0 | 0.000000e+00 | -- | Inf
994.63/994.64 c 944s| 1470k| 1469k| 0 | 0.0 | 654M| 655 | - |6257 |5203 | 0 | 0 | 0 | 94 | 0 | 0.000000e+00 | -- | Inf
1001.53/1001.50 c 950s| 1480k| 1479k| 0 | 0.0 | 658M| 655 | - |6257 |5206 | 0 | 0 | 0 | 97 | 0 | 0.000000e+00 | -- | Inf
1008.34/1008.34 c 957s| 1490k| 1489k| 0 | 0.0 | 662M| 655 | - |6257 |5206 | 0 | 0 | 0 | 97 | 0 | 0.000000e+00 | -- | Inf
1015.13/1015.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1015.13/1015.16 c 963s| 1500k| 1499k| 0 | 0.0 | 666M| 655 | - |6257 |5209 | 0 | 0 | 0 | 101 | 0 | 0.000000e+00 | -- | Inf
1021.95/1021.95 c 970s| 1510k| 1509k| 0 | 0.0 | 670M| 655 | - |6257 |5209 | 0 | 0 | 0 | 101 | 0 | 0.000000e+00 | -- | Inf
1028.74/1028.76 c 976s| 1520k| 1519k| 0 | 0.0 | 675M| 655 | - |6257 |5208 | 0 | 0 | 0 | 101 | 0 | 0.000000e+00 | -- | Inf
1035.54/1035.58 c 983s| 1530k| 1529k| 0 | 0.0 | 679M| 655 | - |6257 |5207 | 0 | 0 | 0 | 101 | 0 | 0.000000e+00 | -- | Inf
1042.44/1042.41 c 989s| 1540k| 1539k| 0 | 0.0 | 683M| 655 | - |6257 |5206 | 0 | 0 | 0 | 101 | 0 | 0.000000e+00 | -- | Inf
1049.24/1049.24 c 996s| 1550k| 1549k| 0 | 0.0 | 687M| 655 | - |6257 |5206 | 0 | 0 | 0 | 101 | 0 | 0.000000e+00 | -- | Inf
1056.05/1056.05 c 1002s| 1560k| 1559k| 0 | 0.0 | 691M| 655 | - |6257 |5206 | 0 | 0 | 0 | 101 | 0 | 0.000000e+00 | -- | Inf
1062.84/1062.82 c 1009s| 1570k| 1569k| 0 | 0.0 | 696M| 655 | - |6257 |5206 | 0 | 0 | 0 | 101 | 0 | 0.000000e+00 | -- | Inf
1069.64/1069.64 c 1015s| 1580k| 1579k| 0 | 0.0 | 700M| 655 | - |6257 |5206 | 0 | 0 | 0 | 101 | 0 | 0.000000e+00 | -- | Inf
1076.45/1076.47 c 1022s| 1590k| 1589k| 0 | 0.0 | 704M| 655 | - |6257 |5206 | 0 | 0 | 0 | 101 | 0 | 0.000000e+00 | -- | Inf
1083.24/1083.28 c 1028s| 1600k| 1599k| 0 | 0.0 | 708M| 655 | - |6257 |5206 | 0 | 0 | 0 | 101 | 0 | 0.000000e+00 | -- | Inf
1090.14/1090.11 c 1034s| 1610k| 1609k| 0 | 0.0 | 712M| 655 | - |6257 |5206 | 0 | 0 | 0 | 101 | 0 | 0.000000e+00 | -- | Inf
1096.94/1096.90 c 1041s| 1620k| 1619k| 0 | 0.0 | 717M| 655 | - |6257 |5206 | 0 | 0 | 0 | 101 | 0 | 0.000000e+00 | -- | Inf
1103.74/1103.72 c 1047s| 1630k| 1629k| 0 | 0.0 | 721M| 655 | - |6257 |5209 | 0 | 0 | 0 | 104 | 0 | 0.000000e+00 | -- | Inf
1110.54/1110.51 c 1054s| 1640k| 1639k| 0 | 0.0 | 725M| 655 | - |6257 |5210 | 0 | 0 | 0 | 105 | 0 | 0.000000e+00 | -- | Inf
1117.34/1117.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1117.34/1117.30 c 1060s| 1650k| 1649k| 0 | 0.0 | 729M| 655 | - |6257 |5211 | 0 | 0 | 0 | 106 | 0 | 0.000000e+00 | -- | Inf
1124.14/1124.14 c 1067s| 1660k| 1659k| 0 | 0.0 | 733M| 655 | - |6257 |5211 | 0 | 0 | 0 | 106 | 0 | 0.000000e+00 | -- | Inf
1130.94/1130.92 c 1073s| 1670k| 1669k| 0 | 0.0 | 737M| 655 | - |6257 |5208 | 0 | 0 | 0 | 106 | 0 | 0.000000e+00 | -- | Inf
1137.75/1137.74 c 1079s| 1680k| 1679k| 0 | 0.0 | 742M| 655 | - |6257 |5209 | 0 | 0 | 0 | 109 | 0 | 0.000000e+00 | -- | Inf
1144.54/1144.52 c 1086s| 1690k| 1689k| 0 | 0.0 | 746M| 655 | - |6257 |5209 | 0 | 0 | 0 | 109 | 0 | 0.000000e+00 | -- | Inf
1151.34/1151.34 c 1092s| 1700k| 1699k| 0 | 0.0 | 750M| 655 | - |6257 |5209 | 0 | 0 | 0 | 109 | 0 | 0.000000e+00 | -- | Inf
1158.15/1158.12 c 1099s| 1710k| 1709k| 0 | 0.0 | 754M| 655 | - |6257 |5206 | 0 | 0 | 0 | 109 | 0 | 0.000000e+00 | -- | Inf
1164.85/1164.89 c 1105s| 1720k| 1719k| 0 | 0.0 | 758M| 655 | - |6257 |5206 | 0 | 0 | 0 | 109 | 0 | 0.000000e+00 | -- | Inf
1171.65/1171.67 c 1111s| 1730k| 1729k| 0 | 0.0 | 762M| 655 | - |6257 |5206 | 0 | 0 | 0 | 109 | 0 | 0.000000e+00 | -- | Inf
1178.44/1178.44 c 1118s| 1740k| 1739k| 0 | 0.0 | 767M| 655 | - |6257 |5206 | 0 | 0 | 0 | 109 | 0 | 0.000000e+00 | -- | Inf
1185.24/1185.24 c 1124s| 1750k| 1749k| 0 | 0.0 | 771M| 655 | - |6257 |5206 | 0 | 0 | 0 | 109 | 0 | 0.000000e+00 | -- | Inf
1192.05/1192.05 c 1131s| 1760k| 1759k| 0 | 0.0 | 775M| 655 | - |6257 |5206 | 0 | 0 | 0 | 109 | 0 | 0.000000e+00 | -- | Inf
1198.85/1198.85 c 1137s| 1770k| 1769k| 0 | 0.0 | 779M| 655 | - |6257 |5209 | 0 | 0 | 0 | 112 | 0 | 0.000000e+00 | -- | Inf
1205.66/1205.67 c 1144s| 1780k| 1779k| 0 | 0.0 | 783M| 655 | - |6257 |5209 | 0 | 0 | 0 | 112 | 0 | 0.000000e+00 | -- | Inf
1212.45/1212.43 c 1150s| 1790k| 1789k| 0 | 0.0 | 787M| 655 | - |6257 |5209 | 0 | 0 | 0 | 112 | 0 | 0.000000e+00 | -- | Inf
1219.24/1219.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1219.24/1219.24 c 1157s| 1800k| 1799k| 0 | 0.0 | 792M| 655 | - |6257 |5207 | 0 | 0 | 0 | 112 | 0 | 0.000000e+00 | -- | Inf
1226.05/1226.02 c 1163s| 1810k| 1809k| 0 | 0.0 | 796M| 655 | - |6257 |5207 | 0 | 0 | 0 | 112 | 0 | 0.000000e+00 | -- | Inf
1232.84/1232.87 c 1170s| 1820k| 1819k| 0 | 0.0 | 800M| 655 | - |6257 |5207 | 0 | 0 | 0 | 112 | 0 | 0.000000e+00 | -- | Inf
1239.65/1239.66 c 1176s| 1830k| 1829k| 0 | 0.0 | 804M| 655 | - |6257 |5207 | 0 | 0 | 0 | 112 | 0 | 0.000000e+00 | -- | Inf
1246.45/1246.48 c 1182s| 1840k| 1839k| 0 | 0.0 | 808M| 655 | - |6257 |5207 | 0 | 0 | 0 | 112 | 0 | 0.000000e+00 | -- | Inf
1253.35/1253.33 c 1189s| 1850k| 1849k| 0 | 0.0 | 813M| 655 | - |6257 |5207 | 0 | 0 | 0 | 112 | 0 | 0.000000e+00 | -- | Inf
1260.15/1260.14 c 1195s| 1860k| 1859k| 0 | 0.0 | 817M| 655 | - |6257 |5211 | 0 | 0 | 0 | 116 | 0 | 0.000000e+00 | -- | Inf
1266.95/1266.98 c 1202s| 1870k| 1869k| 0 | 0.0 | 821M| 655 | - |6257 |5211 | 0 | 0 | 0 | 116 | 0 | 0.000000e+00 | -- | Inf
1273.75/1273.79 c 1208s| 1880k| 1879k| 0 | 0.0 | 825M| 655 | - |6257 |5210 | 0 | 0 | 0 | 116 | 0 | 0.000000e+00 | -- | Inf
1280.56/1280.60 c 1215s| 1890k| 1889k| 0 | 0.0 | 829M| 655 | - |6257 |5209 | 0 | 0 | 0 | 116 | 0 | 0.000000e+00 | -- | Inf
1287.45/1287.40 c 1221s| 1900k| 1899k| 0 | 0.0 | 834M| 655 | - |6257 |5207 | 0 | 0 | 0 | 116 | 0 | 0.000000e+00 | -- | Inf
1294.25/1294.20 c 1228s| 1910k| 1909k| 0 | 0.0 | 838M| 655 | - |6257 |5207 | 0 | 0 | 0 | 116 | 0 | 0.000000e+00 | -- | Inf
1300.95/1300.98 c 1234s| 1920k| 1919k| 0 | 0.0 | 842M| 655 | - |6257 |5207 | 0 | 0 | 0 | 116 | 0 | 0.000000e+00 | -- | Inf
1307.75/1307.80 c 1241s| 1930k| 1929k| 0 | 0.0 | 846M| 655 | - |6257 |5207 | 0 | 0 | 0 | 116 | 0 | 0.000000e+00 | -- | Inf
1314.56/1314.59 c 1247s| 1940k| 1939k| 0 | 0.0 | 850M| 655 | - |6257 |5207 | 0 | 0 | 0 | 116 | 0 | 0.000000e+00 | -- | Inf
1321.35/1321.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1321.35/1321.39 c 1253s| 1950k| 1949k| 0 | 0.0 | 855M| 655 | - |6257 |5207 | 0 | 0 | 0 | 116 | 0 | 0.000000e+00 | -- | Inf
1328.15/1328.18 c 1260s| 1960k| 1959k| 0 | 0.0 | 859M| 655 | - |6257 |5207 | 0 | 0 | 0 | 116 | 0 | 0.000000e+00 | -- | Inf
1334.96/1334.95 c 1266s| 1970k| 1969k| 0 | 0.0 | 863M| 655 | - |6257 |5207 | 0 | 0 | 0 | 116 | 0 | 0.000000e+00 | -- | Inf
1341.66/1341.68 c 1273s| 1980k| 1979k| 0 | 0.0 | 867M| 655 | - |6257 |5208 | 0 | 0 | 0 | 117 | 0 | 0.000000e+00 | -- | Inf
1348.45/1348.43 c 1279s| 1990k| 1989k| 0 | 0.0 | 871M| 655 | - |6257 |5208 | 0 | 0 | 0 | 117 | 0 | 0.000000e+00 | -- | Inf
1355.16/1355.20 c 1286s| 2000k| 1999k| 0 | 0.0 | 875M| 655 | - |6257 |5208 | 0 | 0 | 0 | 117 | 0 | 0.000000e+00 | -- | Inf
1361.96/1361.96 c 1292s| 2010k| 2009k| 0 | 0.0 | 880M| 655 | - |6257 |5207 | 0 | 0 | 0 | 117 | 0 | 0.000000e+00 | -- | Inf
1368.75/1368.71 c 1298s| 2020k| 2019k| 0 | 0.0 | 884M| 655 | - |6257 |5206 | 0 | 0 | 0 | 117 | 0 | 0.000000e+00 | -- | Inf
1375.45/1375.48 c 1305s| 2030k| 2029k| 0 | 0.0 | 888M| 655 | - |6257 |5206 | 0 | 0 | 0 | 117 | 0 | 0.000000e+00 | -- | Inf
1382.25/1382.27 c 1311s| 2040k| 2039k| 0 | 0.0 | 892M| 655 | - |6257 |5210 | 0 | 0 | 0 | 121 | 0 | 0.000000e+00 | -- | Inf
1389.05/1389.03 c 1318s| 2050k| 2049k| 0 | 0.0 | 896M| 655 | - |6257 |5211 | 0 | 0 | 0 | 122 | 0 | 0.000000e+00 | -- | Inf
1395.76/1395.79 c 1324s| 2060k| 2059k| 0 | 0.0 | 900M| 655 | - |6257 |5209 | 0 | 0 | 0 | 122 | 0 | 0.000000e+00 | -- | Inf
1402.56/1402.56 c 1331s| 2070k| 2069k| 0 | 0.0 | 905M| 655 | - |6257 |5209 | 0 | 0 | 0 | 124 | 0 | 0.000000e+00 | -- | Inf
1409.35/1409.36 c 1337s| 2080k| 2079k| 0 | 0.0 | 909M| 655 | - |6257 |5209 | 0 | 0 | 0 | 124 | 0 | 0.000000e+00 | -- | Inf
1416.15/1416.18 c 1344s| 2090k| 2089k| 0 | 0.0 | 913M| 655 | - |6257 |5220 | 0 | 0 | 0 | 135 | 0 | 0.000000e+00 | -- | Inf
1422.96/1422.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1422.96/1422.99 c 1350s| 2100k| 2099k| 0 | 0.0 | 917M| 655 | - |6257 |5221 | 0 | 0 | 0 | 138 | 0 | 0.000000e+00 | -- | Inf
1429.86/1429.80 c 1356s| 2110k| 2109k| 0 | 0.0 | 921M| 655 | - |6257 |5220 | 0 | 0 | 0 | 138 | 0 | 0.000000e+00 | -- | Inf
1436.56/1436.56 c 1363s| 2120k| 2119k| 0 | 0.0 | 925M| 655 | - |6257 |5217 | 0 | 0 | 0 | 139 | 0 | 0.000000e+00 | -- | Inf
1443.36/1443.39 c 1369s| 2130k| 2129k| 0 | 0.0 | 930M| 655 | - |6257 |5215 | 0 | 0 | 0 | 143 | 0 | 0.000000e+00 | -- | Inf
1450.26/1450.23 c 1376s| 2140k| 2139k| 0 | 0.0 | 934M| 655 | - |6257 |5217 | 0 | 0 | 0 | 147 | 0 | 0.000000e+00 | -- | Inf
1457.05/1457.06 c 1382s| 2150k| 2149k| 0 | 0.0 | 938M| 655 | - |6257 |5216 | 0 | 0 | 0 | 147 | 0 | 0.000000e+00 | -- | Inf
1463.86/1463.86 c 1389s| 2160k| 2159k| 0 | 0.0 | 942M| 655 | - |6257 |5212 | 0 | 0 | 0 | 147 | 0 | 0.000000e+00 | -- | Inf
1470.66/1470.66 c 1395s| 2170k| 2169k| 0 | 0.0 | 946M| 655 | - |6257 |5208 | 0 | 0 | 0 | 147 | 0 | 0.000000e+00 | -- | Inf
1477.45/1477.46 c 1402s| 2180k| 2179k| 0 | 0.0 | 951M| 655 | - |6257 |5211 | 0 | 0 | 0 | 150 | 0 | 0.000000e+00 | -- | Inf
1484.26/1484.29 c 1408s| 2190k| 2189k| 0 | 0.0 | 955M| 655 | - |6257 |5210 | 0 | 0 | 0 | 150 | 0 | 0.000000e+00 | -- | Inf
1491.06/1491.10 c 1415s| 2200k| 2199k| 0 | 0.0 | 959M| 655 | - |6257 |5208 | 0 | 0 | 0 | 150 | 0 | 0.000000e+00 | -- | Inf
1497.96/1497.90 c 1421s| 2210k| 2209k| 0 | 0.0 | 963M| 655 | - |6257 |5206 | 0 | 0 | 0 | 150 | 0 | 0.000000e+00 | -- | Inf
1504.76/1504.71 c 1427s| 2220k| 2219k| 0 | 0.0 | 967M| 655 | - |6257 |5205 | 0 | 0 | 0 | 150 | 0 | 0.000000e+00 | -- | Inf
1511.56/1511.54 c 1434s| 2230k| 2229k| 0 | 0.0 | 972M| 655 | - |6257 |5205 | 0 | 0 | 0 | 150 | 0 | 0.000000e+00 | -- | Inf
1518.37/1518.35 c 1440s| 2240k| 2239k| 0 | 0.0 | 976M| 655 | - |6257 |5209 | 0 | 0 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf
1525.16/1525.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1525.16/1525.17 c 1447s| 2250k| 2249k| 0 | 0.0 | 980M| 655 | - |6257 |5209 | 0 | 0 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf
1531.97/1531.98 c 1453s| 2260k| 2259k| 0 | 0.0 | 984M| 655 | - |6257 |5209 | 0 | 0 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf
1538.76/1538.79 c 1460s| 2270k| 2269k| 0 | 0.0 | 988M| 655 | - |6257 |5207 | 0 | 0 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf
1545.56/1545.57 c 1466s| 2280k| 2279k| 0 | 0.0 | 993M| 655 | - |6257 |5205 | 0 | 0 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf
1552.37/1552.35 c 1473s| 2290k| 2289k| 0 | 0.0 | 997M| 655 | - |6257 |5205 | 0 | 0 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf
1559.16/1559.13 c 1479s| 2300k| 2299k| 0 | 0.0 |1001M| 655 | - |6257 |5205 | 0 | 0 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf
1565.97/1565.90 c 1485s| 2310k| 2309k| 0 | 0.0 |1005M| 655 | - |6257 |5205 | 0 | 0 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf
1572.66/1572.66 c 1492s| 2320k| 2319k| 0 | 0.0 |1009M| 655 | - |6257 |5205 | 0 | 0 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf
1579.46/1579.45 c 1498s| 2330k| 2329k| 0 | 0.0 |1013M| 655 | - |6257 |5205 | 0 | 0 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf
1586.27/1586.27 c 1504s| 2340k| 2339k| 0 | 0.0 |1018M| 655 | - |6257 |5205 | 0 | 0 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf
1593.07/1593.06 c 1511s| 2350k| 2349k| 0 | 0.0 |1022M| 655 | - |6257 |5206 | 0 | 0 | 0 | 155 | 0 | 0.000000e+00 | -- | Inf
1599.97/1599.91 c 1517s| 2360k| 2359k| 0 | 0.0 |1026M| 655 | - |6257 |5207 | 0 | 0 | 0 | 156 | 0 | 0.000000e+00 | -- | Inf
1606.77/1606.71 c 1524s| 2370k| 2369k| 0 | 0.0 |1030M| 655 | - |6257 |5207 | 0 | 0 | 0 | 156 | 0 | 0.000000e+00 | -- | Inf
1613.57/1613.56 c 1530s| 2380k| 2379k| 0 | 0.0 |1034M| 655 | - |6257 |5205 | 0 | 0 | 0 | 156 | 0 | 0.000000e+00 | -- | Inf
1620.47/1620.40 c 1537s| 2390k| 2389k| 0 | 0.0 |1039M| 655 | - |6257 |5205 | 0 | 0 | 0 | 156 | 0 | 0.000000e+00 | -- | Inf
1627.27/1627.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1627.27/1627.27 c 1543s| 2400k| 2399k| 0 | 0.0 |1043M| 655 | - |6257 |5206 | 0 | 0 | 0 | 157 | 0 | 0.000000e+00 | -- | Inf
1634.16/1634.11 c 1550s| 2410k| 2409k| 0 | 0.0 |1047M| 655 | - |6257 |5206 | 0 | 0 | 0 | 157 | 0 | 0.000000e+00 | -- | Inf
1640.96/1640.94 c 1556s| 2420k| 2419k| 0 | 0.0 |1051M| 655 | - |6257 |5207 | 0 | 0 | 0 | 158 | 0 | 0.000000e+00 | -- | Inf
1647.77/1647.80 c 1563s| 2430k| 2429k| 0 | 0.0 |1056M| 655 | - |6257 |5206 | 0 | 0 | 0 | 158 | 0 | 0.000000e+00 | -- | Inf
1654.66/1654.63 c 1569s| 2440k| 2439k| 0 | 0.0 |1060M| 655 | - |6257 |5206 | 0 | 0 | 0 | 158 | 0 | 0.000000e+00 | -- | Inf
1661.47/1661.46 c 1576s| 2450k| 2449k| 0 | 0.0 |1064M| 655 | - |6257 |5205 | 0 | 0 | 0 | 158 | 0 | 0.000000e+00 | -- | Inf
1668.27/1668.29 c 1582s| 2460k| 2459k| 0 | 0.0 |1068M| 655 | - |6257 |5205 | 0 | 0 | 0 | 158 | 0 | 0.000000e+00 | -- | Inf
1675.17/1675.13 c 1589s| 2470k| 2469k| 0 | 0.0 |1072M| 655 | - |6257 |5205 | 0 | 0 | 0 | 158 | 0 | 0.000000e+00 | -- | Inf
1681.98/1681.99 c 1595s| 2480k| 2479k| 0 | 0.0 |1077M| 655 | - |6257 |5205 | 0 | 0 | 0 | 158 | 0 | 0.000000e+00 | -- | Inf
1688.87/1688.82 c 1602s| 2490k| 2489k| 0 | 0.0 |1081M| 655 | - |6257 |5205 | 0 | 0 | 0 | 158 | 0 | 0.000000e+00 | -- | Inf
1695.67/1695.61 c 1608s| 2500k| 2499k| 0 | 0.0 |1085M| 655 | - |6257 |5205 | 0 | 0 | 0 | 158 | 0 | 0.000000e+00 | -- | Inf
1702.47/1702.40 c 1614s| 2510k| 2509k| 0 | 0.0 |1089M| 655 | - |6257 |5205 | 0 | 0 | 0 | 158 | 0 | 0.000000e+00 | -- | Inf
1709.27/1709.22 c 1621s| 2520k| 2519k| 0 | 0.0 |1094M| 655 | - |6257 |5205 | 0 | 0 | 0 | 158 | 0 | 0.000000e+00 | -- | Inf
1716.08/1716.05 c 1627s| 2530k| 2529k| 0 | 0.0 |1098M| 655 | - |6257 |5205 | 0 | 0 | 0 | 158 | 0 | 0.000000e+00 | -- | Inf
1722.87/1722.86 c 1634s| 2540k| 2539k| 0 | 0.0 |1102M| 655 | - |6257 |5207 | 0 | 0 | 0 | 160 | 0 | 0.000000e+00 | -- | Inf
1729.67/1729.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1729.67/1729.67 c 1640s| 2550k| 2549k| 0 | 0.0 |1106M| 655 | - |6257 |5209 | 0 | 0 | 0 | 162 | 0 | 0.000000e+00 | -- | Inf
1736.47/1736.47 c 1647s| 2560k| 2559k| 0 | 0.0 |1110M| 655 | - |6257 |5209 | 0 | 0 | 0 | 162 | 0 | 0.000000e+00 | -- | Inf
1743.27/1743.28 c 1653s| 2570k| 2569k| 0 | 0.0 |1115M| 655 | - |6257 |5209 | 0 | 0 | 0 | 162 | 0 | 0.000000e+00 | -- | Inf
1750.08/1750.07 c 1660s| 2580k| 2579k| 0 | 0.0 |1119M| 655 | - |6257 |5210 | 0 | 0 | 0 | 165 | 0 | 0.000000e+00 | -- | Inf
1756.87/1756.86 c 1666s| 2590k| 2589k| 0 | 0.0 |1123M| 655 | - |6257 |5208 | 0 | 0 | 0 | 165 | 0 | 0.000000e+00 | -- | Inf
1763.67/1763.65 c 1672s| 2600k| 2599k| 0 | 0.0 |1127M| 655 | - |6257 |5208 | 0 | 0 | 0 | 165 | 0 | 0.000000e+00 | -- | Inf
1770.47/1770.46 c 1679s| 2610k| 2609k| 0 | 0.0 |1131M| 655 | - |6257 |5207 | 0 | 0 | 0 | 165 | 0 | 0.000000e+00 | -- | Inf
1777.37/1777.33 c 1685s| 2620k| 2619k| 0 | 0.0 |1136M| 655 | - |6257 |5204 | 0 | 0 | 0 | 165 | 0 | 0.000000e+00 | -- | Inf
1784.17/1784.13 c 1692s| 2630k| 2629k| 0 | 0.0 |1140M| 655 | - |6257 |5212 | 0 | 0 | 0 | 173 | 0 | 0.000000e+00 | -- | Inf
1790.97/1790.93 c 1698s| 2640k| 2639k| 0 | 0.0 |1144M| 655 | - |6257 |5215 | 0 | 0 | 0 | 176 | 0 | 0.000000e+00 | -- | Inf
1797.78/1797.73 c 1705s| 2650k| 2649k| 0 | 0.0 |1148M| 655 | - |6257 |5218 | 0 | 0 | 0 | 179 | 0 | 0.000000e+00 | -- | Inf
1800.07/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.00 c
1800.07/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.00 c Solving Time (sec) : 1706.79
1800.07/1800.00 c Solving Nodes : 2653307
1800.07/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.00 c Dual Bound : +0.00000000000000e+00
1800.07/1800.00 c Gap : infinite
1800.07/1800.00 s UNKNOWN
1800.07/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.00 c Solving Time : 1706.79
1800.07/1800.00 c Original Problem :
1800.07/1800.00 c Problem name : HOME/instance-2693679-1277914768.wbo
1800.07/1800.00 c Variables : 6290 (4954 binary, 0 integer, 0 implicit integer, 1336 continuous)
1800.07/1800.00 c Constraints : 5268 initial, 5268 maximal
1800.07/1800.00 c Presolved Problem :
1800.07/1800.00 c Problem name : t_HOME/instance-2693679-1277914768.wbo
1800.07/1800.00 c Variables : 6257 (4921 binary, 0 integer, 0 implicit integer, 1336 continuous)
1800.07/1800.00 c Constraints : 5201 initial, 5241 maximal
1800.07/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c implics : 0.00 0 33 0 0 0 0 0 0
1800.07/1800.00 c probing : 0.04 0 0 0 0 0 0 0 0
1800.07/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.00 c linear : 0.05 0 0 0 1336 0 67 537 1074
1800.07/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c root node : - 0 - - 0 - - - -
1800.07/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.00 c indicator : 1336 0 6055143 0 2653212 0 1346905 0 0 0
1800.07/1800.00 c varbound : 1 0 3767873 0 1330055 0 0 0 0 0
1800.07/1800.00 c knapsack : 707 0 6055143 0 2653212 99 295675 0 0 0
1800.07/1800.00 c linear : 1335 0 6055044 0 2653212 0 814011 0 0 0
1800.07/1800.00 c logicor : 1822+ 0 3678326 0 2653212 3 3457610 0 0 0
1800.07/1800.00 c countsols : 0 0 0 0 2653212 0 0 0 0 0
1800.07/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.00 c indicator : 276.98 0.00 79.90 0.00 197.08
1800.07/1800.00 c varbound : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.00 c knapsack : 64.10 0.00 63.44 0.00 0.66
1800.07/1800.00 c linear : 58.63 0.00 58.11 0.00 0.52
1800.07/1800.00 c logicor : 223.58 0.00 6.43 0.00 217.15
1800.07/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.00 c vbounds : 0.00 14554 0 7254
1800.07/1800.00 c rootredcost : 0.00 0 0 0
1800.07/1800.00 c pseudoobj : 180.68 6054943 0 0
1800.07/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.00 c propagation : 0.00 102 102 182 10.5 41 3.5 -
1800.07/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.00 c applied globally : - - - 179 8.0 - - -
1800.07/1800.00 c applied locally : - - - 0 0.0 - - -
1800.07/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.00 c redcost : 0.00 0 0 0 0 0
1800.07/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.00 c intobj : 0.00 0 0 0 0 0
1800.07/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.00 c gomory : 0.00 0 0 0 0 0
1800.07/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.00 c cmir : 0.00 0 0 0 0 0
1800.07/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.00 c clique : 0.00 0 0 0 0 0
1800.07/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.00 c mcf : 0.00 0 0 0 0 0
1800.07/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.00 c Pricers : Time Calls Vars
1800.07/1800.00 c problem variables: 0.00 0 0
1800.07/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.00 c inference : 871.20 2653212 0 0 0 0 5306424
1800.07/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.00 c random : 0.00 0 0 0 0 0 0
1800.07/1800.00 c Primal Heuristics : Time Calls Found
1800.07/1800.00 c LP solutions : 0.00 - 0
1800.07/1800.00 c pseudo solutions : 0.00 - 0
1800.07/1800.00 c oneopt : 0.00 0 0
1800.07/1800.00 c trivial : 0.02 2 0
1800.07/1800.00 c simplerounding : 0.00 0 0
1800.07/1800.00 c zirounding : 0.00 0 0
1800.07/1800.00 c rounding : 0.00 0 0
1800.07/1800.00 c shifting : 0.00 0 0
1800.07/1800.00 c intshifting : 0.00 0 0
1800.07/1800.00 c twoopt : 0.00 0 0
1800.07/1800.00 c fixandinfer : 0.00 0 0
1800.07/1800.00 c feaspump : 0.00 0 0
1800.07/1800.00 c coefdiving : 0.00 0 0
1800.07/1800.00 c pscostdiving : 0.00 0 0
1800.07/1800.00 c fracdiving : 0.00 0 0
1800.07/1800.00 c veclendiving : 0.00 0 0
1800.07/1800.00 c intdiving : 0.00 0 0
1800.07/1800.00 c actconsdiving : 0.00 0 0
1800.07/1800.00 c objpscostdiving : 0.00 0 0
1800.07/1800.00 c rootsoldiving : 0.00 0 0
1800.07/1800.00 c linesearchdiving : 0.00 0 0
1800.07/1800.00 c guideddiving : 0.00 0 0
1800.07/1800.00 c octane : 0.00 0 0
1800.07/1800.00 c rens : 0.00 0 0
1800.07/1800.00 c rins : 0.00 0 0
1800.07/1800.00 c localbranching : 0.00 0 0
1800.07/1800.00 c mutation : 0.00 0 0
1800.07/1800.00 c crossover : 0.00 0 0
1800.07/1800.00 c dins : 0.00 0 0
1800.07/1800.00 c undercover : 0.00 0 0
1800.07/1800.00 c nlp : 0.01 0 0
1800.07/1800.00 c trysol : 0.00 1 0
1800.07/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.00 c (at root node) : - 0 0 0.00 -
1800.07/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.00 c B&B Tree :
1800.07/1800.00 c number of runs : 1
1800.07/1800.00 c nodes : 2653307
1800.07/1800.00 c nodes (total) : 2653307
1800.07/1800.00 c nodes left : 2653111
1800.07/1800.00 c max depth : 655
1800.07/1800.00 c max depth (total): 655
1800.07/1800.00 c backtracks : 7399 (0.3%)
1800.07/1800.00 c delayed cutoffs : 7
1800.07/1800.00 c repropagations : 5385 (583 domain reductions, 7 cutoffs)
1800.07/1800.00 c avg switch length: 2.10
1800.07/1800.00 c switching time : 15.79
1800.07/1800.00 c Solution :
1800.07/1800.00 c Solutions found : 0 (0 improvements)
1800.07/1800.00 c Primal Bound : -
1800.07/1800.00 c Dual Bound : +0.00000000000000e+00
1800.07/1800.00 c Gap : infinite
1800.07/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.07/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-2693679-1277914768/watcher-2693679-1277914768 -o /tmp/evaluation-result-2693679-1277914768/solver-2693679-1277914768 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693679-1277914768.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.80 1.95 2.01 4/178 14255
/proc/meminfo: memFree=31089504/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=8296 CPUtime=0
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 1553 0 0 0 0 0 0 0 22 0 1 0 132771963 8495104 1475 4089446400 4194304 7136930 140735432541520 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14255/statm: 2074 1475 275 719 0 1353 0
[startup+0.0549501 s]
/proc/loadavg: 1.80 1.95 2.01 4/178 14255
/proc/meminfo: memFree=31089504/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=16684 CPUtime=0.05
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 3662 0 0 0 5 0 0 0 22 0 1 0 132771963 17084416 3584 4089446400 4194304 7136930 140735432541520 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14255/statm: 4171 3584 275 719 0 3450 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16684
[startup+0.10094 s]
/proc/loadavg: 1.80 1.95 2.01 4/178 14255
/proc/meminfo: memFree=31089504/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=36352 CPUtime=0.09
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 8673 0 0 0 8 1 0 0 22 0 1 0 132771963 37224448 8241 4089446400 4194304 7136930 140735432541520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 9088 8241 342 719 0 8367 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36352
[startup+0.300901 s]
/proc/loadavg: 1.80 1.95 2.01 4/178 14255
/proc/meminfo: memFree=31089504/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=43676 CPUtime=0.29
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 12364 0 0 0 26 3 0 0 22 0 1 0 132771963 44724224 10123 4089446400 4194304 7136930 140735432541520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 10919 10123 404 719 0 10198 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43676
[startup+0.700833 s]
/proc/loadavg: 1.80 1.95 2.01 4/178 14255
/proc/meminfo: memFree=31089504/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=44344 CPUtime=0.69
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 12504 0 0 0 64 5 0 0 24 0 1 0 132771963 45408256 10263 4089446400 4194304 7136930 140735432541520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 11086 10263 404 719 0 10365 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44344
[startup+1.50066 s]
/proc/loadavg: 1.80 1.95 2.01 3/179 14256
/proc/meminfo: memFree=31047956/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=44980 CPUtime=1.49
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 12682 0 0 0 138 11 0 0 25 0 1 0 132771963 46059520 10441 4089446400 4194304 7136930 140735432541520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 11245 10441 404 719 0 10524 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44980
[startup+3.10034 s]
/proc/loadavg: 1.82 1.95 2.01 3/179 14257
/proc/meminfo: memFree=31044608/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=46256 CPUtime=3.09
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 13024 0 0 0 290 19 0 0 25 0 1 0 132771963 47366144 10783 4089446400 4194304 7136930 140735432541520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 11564 10783 408 719 0 10843 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46256
[startup+6.30071 s]
/proc/loadavg: 1.82 1.95 2.01 3/179 14257
/proc/meminfo: memFree=31034336/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=50036 CPUtime=6.29
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 13970 0 0 0 594 35 0 0 25 0 1 0 132771963 51236864 11729 4089446400 4194304 7136930 140735432541520 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 12509 11729 408 719 0 11788 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50036
[startup+12.7004 s]
/proc/loadavg: 1.85 1.95 2.00 3/179 14257
/proc/meminfo: memFree=31016368/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=53904 CPUtime=12.69
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 14985 0 0 0 1201 68 0 0 25 0 1 0 132771963 55197696 12744 4089446400 4194304 7136930 140735432541520 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 13476 12744 408 719 0 12755 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53904
[startup+25.5009 s]
/proc/loadavg: 1.87 1.95 2.00 3/179 14257
/proc/meminfo: memFree=30978528/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=63796 CPUtime=25.49
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 17501 0 0 0 2410 139 0 0 25 0 1 0 132771963 65327104 15260 4089446400 4194304 7136930 140735432541520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 15949 15260 408 719 0 15228 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 63796
[startup+51.1008 s]
/proc/loadavg: 1.91 1.95 2.00 3/179 14258
/proc/meminfo: memFree=30906500/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=83036 CPUtime=51.09
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 21967 0 0 0 4828 281 0 0 25 0 1 0 132771963 85028864 19726 4089446400 4194304 7136930 140735432541520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 20759 19726 408 719 0 20038 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 83036
[startup+102.307 s]
/proc/loadavg: 1.96 1.96 2.00 3/179 14259
/proc/meminfo: memFree=30757152/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=116868 CPUtime=102.3
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 30722 0 0 0 9680 550 0 0 25 0 1 0 132771963 119672832 28481 4089446400 4194304 7136930 140735432541520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 29217 28481 408 719 0 28496 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 116868
[startup+162.301 s]
/proc/loadavg: 1.98 1.97 2.00 3/179 14261
/proc/meminfo: memFree=30586464/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=160776 CPUtime=162.3
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 40988 0 0 0 15356 874 0 0 25 0 1 0 132771963 164634624 38747 4089446400 4194304 7136930 140735432541520 18446744073709551615 4407754 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 40194 38747 408 719 0 39473 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 160776
[startup+222.301 s]
/proc/loadavg: 2.06 1.99 2.00 3/179 14262
/proc/meminfo: memFree=30411800/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=200868 CPUtime=222.3
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 51394 0 0 0 21046 1184 0 0 25 0 1 0 132771963 205688832 49153 4089446400 4194304 7136930 140735432541520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 50217 49153 408 719 0 49496 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 200868
[startup+282.301 s]
/proc/loadavg: 2.02 1.99 2.00 3/179 14264
/proc/meminfo: memFree=30239000/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=239600 CPUtime=282.31
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 61418 0 0 0 26724 1507 0 0 25 0 1 0 132771963 245350400 59177 4089446400 4194304 7136930 140735432541520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 59900 59177 408 719 0 59179 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 239600
[startup+342.301 s]
/proc/loadavg: 2.01 1.99 2.00 3/179 14265
/proc/meminfo: memFree=30060860/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=285244 CPUtime=342.3
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 71132 0 0 0 32408 1822 0 0 25 0 1 0 132771963 292089856 68891 4089446400 4194304 7136930 140735432541520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 71311 68891 408 719 0 70590 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 285244
[startup+402.301 s]
/proc/loadavg: 2.00 1.99 2.00 3/179 14267
/proc/meminfo: memFree=29886180/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=325432 CPUtime=402.31
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 81536 0 0 0 38096 2135 0 0 25 0 1 0 132771963 333242368 79295 4089446400 4194304 7136930 140735432541520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 81358 79295 408 719 0 80637 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 325432
[startup+462.301 s]
/proc/loadavg: 2.00 1.99 2.00 3/179 14269
/proc/meminfo: memFree=29708040/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=364496 CPUtime=462.32
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 91667 0 0 0 43784 2448 0 0 25 0 1 0 132771963 373243904 89426 4089446400 4194304 7136930 140735432541520 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 91124 89426 408 719 0 90403 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 364496
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 2.00 3/179 14270
/proc/meminfo: memFree=29532508/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=400772 CPUtime=522.32
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 101088 0 0 0 49484 2748 0 0 25 0 1 0 132771963 410390528 98847 4089446400 4194304 7136930 140735432541520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 100193 98847 408 719 0 99472 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 400772
[startup+582.3 s]
/proc/loadavg: 2.00 1.99 2.00 3/179 14272
/proc/meminfo: memFree=29356484/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=438088 CPUtime=582.31
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 110760 0 0 0 55184 3047 0 0 25 0 1 0 132771963 448602112 108519 4089446400 4194304 7136930 140735432541520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 109522 108519 408 719 0 108801 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 438088
[startup+642.3 s]
/proc/loadavg: 2.00 1.99 2.00 3/179 14273
/proc/meminfo: memFree=29180852/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=474792 CPUtime=642.33
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 120277 0 0 0 60891 3342 0 0 25 0 1 0 132771963 486187008 118036 4089446400 4194304 7136930 140735432541520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 118698 118036 408 719 0 117977 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 474792
[startup+702.3 s]
################
# More data... #
################
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 176969 0 0 0 95111 5123 0 0 25 0 1 0 132771963 726757376 174728 4089446400 4194304 7136930 140735432541520 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 177431 174728 408 719 0 176710 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 709724
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14288
/proc/meminfo: memFree=27965356/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=746188 CPUtime=1062.34
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 186429 0 0 0 100812 5422 0 0 25 0 1 0 132771963 764096512 184188 4089446400 4194304 7136930 140735432541520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 186547 184188 408 719 0 185826 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 746188
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14316
/proc/meminfo: memFree=30545668/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=783372 CPUtime=1122.35
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 196069 0 0 0 106490 5745 0 0 25 0 1 0 132771963 802172928 193828 4089446400 4194304 7136930 140735432541520 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 195843 193828 408 719 0 195122 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 783372
[startup+1182.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 14318
/proc/meminfo: memFree=30431768/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=816740 CPUtime=1182.35
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 204755 0 0 0 112155 6080 0 0 25 0 1 0 132771963 836341760 202514 4089446400 4194304 7136930 140735432541520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 204185 202514 408 719 0 203464 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 816740
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14319
/proc/meminfo: memFree=30381628/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=856512 CPUtime=1242.35
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 215043 0 0 0 117850 6385 0 0 25 0 1 0 132771963 877068288 212802 4089446400 4194304 7136930 140735432541520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 214128 212802 408 719 0 213407 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 856512
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14321
/proc/meminfo: memFree=30343856/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=891772 CPUtime=1302.35
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 224202 0 0 0 123550 6685 0 0 25 0 1 0 132771963 913174528 221961 4089446400 4194304 7136930 140735432541520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 222943 221961 408 719 0 222222 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 891772
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14323
/proc/meminfo: memFree=30304352/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=926120 CPUtime=1362.36
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 233136 0 0 0 129237 6999 0 0 25 0 1 0 132771963 948346880 230895 4089446400 4194304 7136930 140735432541520 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 231530 230895 408 719 0 230809 0
Current children cumulated CPU time (s) 1362.36
Current children cumulated vsize (KiB) 926120
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14324
/proc/meminfo: memFree=30261736/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=1000508 CPUtime=1422.36
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 243885 0 0 0 134936 7300 0 0 25 0 1 0 132771963 1024520192 241644 4089446400 4194304 7136930 140735432541520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 250127 241644 408 719 0 249406 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 1000508
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14326
/proc/meminfo: memFree=30226092/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=1037284 CPUtime=1482.36
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 253423 0 0 0 140624 7612 0 0 25 0 1 0 132771963 1062178816 251182 4089446400 4194304 7136930 140735432541520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 259321 251182 408 719 0 258600 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 1037284
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14327
/proc/meminfo: memFree=30180488/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=1074112 CPUtime=1542.36
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 262976 0 0 0 146308 7928 0 0 25 0 1 0 132771963 1099890688 260735 4089446400 4194304 7136930 140735432541520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 268528 260735 408 719 0 267807 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 1074112
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14329
/proc/meminfo: memFree=30141840/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=1109120 CPUtime=1602.36
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 272072 0 0 0 151974 8262 0 0 25 0 1 0 132771963 1135738880 269831 4089446400 4194304 7136930 140735432541520 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 277280 269831 408 719 0 276559 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 1109120
[startup+1662.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/179 14331
/proc/meminfo: memFree=30103576/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=1144776 CPUtime=1662.37
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 281330 0 0 0 157652 8585 0 0 25 0 1 0 132771963 1172250624 279089 4089446400 4194304 7136930 140735432541520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 286194 279089 408 719 0 285473 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 1144776
[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 14332
/proc/meminfo: memFree=30060684/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=1180552 CPUtime=1722.37
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 290617 0 0 0 163331 8906 0 0 25 0 1 0 132771963 1208885248 288376 4089446400 4194304 7136930 140735432541520 18446744073709551615 4642001 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 295138 288376 408 719 0 294417 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 1180552
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 14334
/proc/meminfo: memFree=30025904/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=1214920 CPUtime=1782.38
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 299554 0 0 0 169006 9232 0 0 25 0 1 0 132771963 1244078080 297313 4089446400 4194304 7136930 140735432541520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 303730 297313 408 719 0 303009 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 1214920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14334
/proc/meminfo: memFree=30010016/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=1228268 CPUtime=1800.07
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 302991 0 0 0 170683 9324 0 0 25 0 1 0 132771963 1257746432 300750 4089446400 4194304 7136930 140735432541520 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14255/statm: 307067 300750 408 719 0 306346 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1228268
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14255
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 14335
/proc/meminfo: memFree=30009760/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=1207668 CPUtime=1801.48
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 302997 0 0 0 170823 9325 0 0 20 0 1 0 132771963 1236652032 295606 4089446400 4194304 7136930 140735432541520 18446744073709551615 6165663 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14255/statm: 301917 295606 414 719 0 301196 0
Current children cumulated CPU time (s) 1801.48
Current children cumulated vsize (KiB) 1207668
[startup+1801.81 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 14336
/proc/meminfo: memFree=30049688/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=1184360 CPUtime=1801.88
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 302997 0 0 0 170863 9325 0 0 20 0 1 0 132771963 1212784640 289779 4089446400 4194304 7136930 140735432541520 18446744073709551615 4212693 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14255/statm: 296090 289779 414 719 0 295369 0
Current children cumulated CPU time (s) 1801.88
Current children cumulated vsize (KiB) 1184360
[startup+1802 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 14336
/proc/meminfo: memFree=30049688/32951124 swapFree=67111528/67111528
[pid=14255] ppid=14253 vsize=1070404 CPUtime=1802.08
/proc/14255/stat : 14255 (pbscip.linux.x8) R 14253 14255 13502 0 -1 4202496 302997 0 0 0 170883 9325 0 0 21 0 1 0 132771963 1096093696 261290 4089446400 4194304 7136930 140735432541520 18446744073709551615 6166114 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14255/statm: 267601 261290 414 719 0 266880 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 1070404
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.04
CPU time (s): 1802.12
CPU user time (s): 1708.84
CPU system time (s): 93.2888
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 1228268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1708.84
system time used= 93.2888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 302997
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= 1013
runsolver used 2.78658 second user time and 5.65414 second system time
The end
Begin job on node143 at 2010-06-30 18:19:28
IDJOB=2693679
IDBENCH=79039
IDSOLVER=1206
FILE ID=node143/2693679-1277914768
PBS_JOBID= 11197263
Free space on /tmp= 74208 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693679-1277914768/watcher-2693679-1277914768 -o /tmp/evaluation-result-2693679-1277914768/solver-2693679-1277914768 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693679-1277914768.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2f5b39eda2f3d2ee24cba69641294774
RANDOM SEED=486458657
node143.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.848
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.69
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.848
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.07
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.848
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.76
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.848
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.77
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.848
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 : 5285.38
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.848
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
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.848
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31090032 kB
Buffers: 200020 kB
Cached: 968928 kB
SwapCached: 0 kB
Active: 962944 kB
Inactive: 753868 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31090032 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3564 kB
Writeback: 0 kB
AnonPages: 548032 kB
Mapped: 17116 kB
Slab: 79324 kB
PageTables: 6680 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 697468 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= 74200 MiB
End job on node143 at 2010-06-30 18:49:30