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-2693606-1277912981.wbo>
0.01/0.04 c original problem has 4285 variables (3253 bin, 0 int, 0 impl, 1032 cont) and 4083 constraints
0.01/0.04 c problem read
0.01/0.04 c presolving settings loaded
0.01/0.04 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.01/0.06 c presolving:
0.01/0.07 c (round 1) 24 del vars, 2 del conss, 1 chg bounds, 360 chg sides, 720 chg coeffs, 0 upgd conss, 8278 impls, 0 clqs
0.01/0.07 c (round 2) 24 del vars, 49 del conss, 1 chg bounds, 360 chg sides, 720 chg coeffs, 0 upgd conss, 8278 impls, 0 clqs
0.01/0.08 c (round 3) 24 del vars, 49 del conss, 1033 chg bounds, 360 chg sides, 720 chg coeffs, 0 upgd conss, 8278 impls, 0 clqs
0.09/0.11 c (round 4) 24 del vars, 49 del conss, 1033 chg bounds, 360 chg sides, 720 chg coeffs, 1972 upgd conss, 8278 impls, 0 clqs
0.19/0.20 c (0.1s) probing: 293/3229 (9.1%) - 0 fixings, 0 aggregations, 21 implications, 0 bound changes
0.19/0.20 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.20 c presolving (5 rounds):
0.19/0.20 c 24 deleted vars, 49 deleted constraints, 1033 tightened bounds, 0 added holes, 360 changed sides, 720 changed coefficients
0.19/0.20 c 8408 implications, 0 cliques
0.19/0.20 c presolved problem has 4261 variables (3229 bin, 0 int, 0 impl, 1032 cont) and 4034 constraints
0.19/0.20 c 1032 constraints of type <indicator>
0.19/0.20 c 2 constraints of type <varbound>
0.19/0.20 c 480 constraints of type <knapsack>
0.19/0.20 c 1030 constraints of type <linear>
0.19/0.20 c 1490 constraints of type <logicor>
0.19/0.20 c transformed objective value is always integral (scale: 1)
0.19/0.20 c Presolving Time: 0.13
0.19/0.20 c - non default parameters ----------------------------------------------------------------------
0.19/0.20 c # SCIP version 1.2.1.2
0.19/0.20 c
0.19/0.20 c # frequency for displaying node information lines
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20 c display/freq = 10000
0.19/0.20 c
0.19/0.20 c # maximal time in seconds to run
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/time = 1799.97
0.19/0.20 c
0.19/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/memory = 3420
0.19/0.20 c
0.19/0.20 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20 c lp/solvefreq = -1
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify inequalities
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/linear/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify knapsacks
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c separating/rapidlearning/freq = 0
0.19/0.20 c
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c start solving
0.19/0.20 c
0.19/0.21 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.21 c 0.1s| 1 | 2 | 0 | - | 14M| 0 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
6.39/6.49 c 5.9s| 10000 | 10001 | 0 | 0.0 | 20M| 53 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
12.70/12.79 c 11.6s| 20000 | 20001 | 0 | 0.0 | 26M| 67 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
19.00/19.00 c 17.3s| 30000 | 30001 | 0 | 0.0 | 32M| 67 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
25.09/25.17 c 23.0s| 40000 | 40001 | 0 | 0.0 | 37M| 69 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
31.29/31.31 c 28.6s| 50000 | 50001 | 0 | 0.0 | 42M| 69 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
37.29/37.33 c 34.1s| 60000 | 60001 | 0 | 0.0 | 48M| 101 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
43.19/43.26 c 39.6s| 70000 | 70001 | 0 | 0.0 | 53M| 101 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
49.10/49.18 c 45.0s| 80000 | 80001 | 0 | 0.0 | 58M| 101 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
55.00/55.09 c 50.4s| 90000 | 90001 | 0 | 0.0 | 63M| 101 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
60.89/60.97 c 55.8s|100000 |100001 | 0 | 0.0 | 68M| 101 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
66.79/66.84 c 61.1s|110000 |110001 | 0 | 0.0 | 73M| 101 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
72.60/72.64 c 66.5s|120000 |120001 | 0 | 0.0 | 78M| 101 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
78.30/78.33 c 71.7s|130000 |130001 | 0 | 0.0 | 83M| 111 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
84.09/84.12 c 77.0s|140000 |140001 | 0 | 0.0 | 88M| 111 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
89.90/89.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.90/89.97 c 82.4s|150000 |150001 | 0 | 0.0 | 93M| 111 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
95.70/95.72 c 87.6s|160000 |160001 | 0 | 0.0 | 98M| 111 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
101.40/101.49 c 93.0s|170000 |170001 | 0 | 0.0 | 102M| 111 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
107.19/107.22 c 98.2s|180000 |180001 | 0 | 0.0 | 107M| 111 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
112.89/112.95 c 104s|190000 |190001 | 0 | 0.0 | 112M| 111 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
118.59/118.63 c 109s|200000 |200001 | 0 | 0.0 | 117M| 111 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
124.30/124.31 c 114s|210000 |210001 | 0 | 0.0 | 121M| 111 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
129.90/129.96 c 119s|220000 |220001 | 0 | 0.0 | 126M| 111 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
135.59/135.61 c 124s|230000 |230001 | 0 | 0.0 | 131M| 111 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
141.19/141.27 c 130s|240000 |240001 | 0 | 0.0 | 135M| 113 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
146.80/146.88 c 135s|250000 |250001 | 0 | 0.0 | 140M| 113 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
152.39/152.49 c 140s|260000 |260001 | 0 | 0.0 | 145M| 113 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
158.10/158.14 c 145s|270000 |270001 | 0 | 0.0 | 149M| 113 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
163.70/163.76 c 150s|280000 |280001 | 0 | 0.0 | 154M| 113 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
169.30/169.34 c 155s|290000 |290001 | 0 | 0.0 | 158M| 113 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
174.90/174.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
174.90/174.95 c 161s|300000 |300001 | 0 | 0.0 | 163M| 113 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
180.50/180.58 c 166s|310000 |310001 | 0 | 0.0 | 168M| 113 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
186.20/186.22 c 171s|320000 |320001 | 0 | 0.0 | 172M| 113 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
191.70/191.79 c 176s|330000 |330001 | 0 | 0.0 | 177M| 113 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
197.30/197.35 c 181s|340000 |340001 | 0 | 0.0 | 181M| 113 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
202.90/202.93 c 186s|350000 |350001 | 0 | 0.0 | 186M| 113 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
208.39/208.43 c 191s|360000 |360001 | 0 | 0.0 | 190M| 133 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
213.90/213.91 c 196s|370000 |370001 | 0 | 0.0 | 195M| 133 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
219.40/219.41 c 202s|380000 |380001 | 0 | 0.0 | 199M| 133 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
224.89/224.90 c 207s|390000 |390001 | 0 | 0.0 | 204M| 133 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
230.30/230.38 c 212s|400000 |400001 | 0 | 0.0 | 208M| 133 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
235.80/235.83 c 217s|410000 |410001 | 0 | 0.0 | 213M| 133 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
241.20/241.29 c 222s|420000 |420001 | 0 | 0.0 | 217M| 133 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
246.69/246.74 c 227s|430000 |430001 | 0 | 0.0 | 222M| 133 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
252.10/252.16 c 232s|440000 |440001 | 0 | 0.0 | 226M| 133 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
257.50/257.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
257.50/257.55 c 237s|450000 |450001 | 0 | 0.0 | 231M| 133 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
262.90/262.95 c 242s|460000 |460001 | 0 | 0.0 | 235M| 133 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
268.31/268.34 c 247s|470000 |470001 | 0 | 0.0 | 240M| 133 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
273.70/273.71 c 252s|480000 |480001 | 0 | 0.0 | 244M| 133 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
279.00/279.06 c 257s|490000 |490001 | 0 | 0.0 | 249M| 133 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
284.40/284.41 c 262s|500000 |500001 | 0 | 0.0 | 253M| 133 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
289.60/289.69 c 266s|510000 |510001 | 0 | 0.0 | 257M| 133 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
294.90/294.95 c 271s|520000 |520001 | 0 | 0.0 | 262M| 133 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
300.00/300.05 c 276s|530000 |530001 | 0 | 0.0 | 266M| 133 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
305.40/305.42 c 281s|540000 |540001 | 0 | 0.0 | 270M| 133 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
310.80/310.83 c 286s|550000 |550001 | 0 | 0.0 | 275M| 133 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
316.10/316.15 c 291s|560000 |560001 | 0 | 0.0 | 279M| 135 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
321.70/321.72 c 296s|570000 |570001 | 0 | 0.0 | 284M| 139 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
327.20/327.27 c 301s|580000 |580001 | 0 | 0.0 | 289M| 139 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
332.80/332.83 c 306s|590000 |590001 | 0 | 0.0 | 293M| 139 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
338.31/338.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
338.31/338.34 c 311s|600000 |600001 | 0 | 0.0 | 298M| 143 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
343.81/343.89 c 317s|610000 |610001 | 0 | 0.0 | 302M| 143 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
349.40/349.40 c 322s|620000 |620001 | 0 | 0.0 | 307M| 143 | - |4261 |4034 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
354.91/354.95 c 327s|630000 |629999 | 0 | 0.0 | 312M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
360.50/360.51 c 332s|640000 |639999 | 0 | 0.0 | 316M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
366.01/366.08 c 337s|650000 |649999 | 0 | 0.0 | 321M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
371.60/371.60 c 342s|660000 |659999 | 0 | 0.0 | 325M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
377.11/377.16 c 347s|670000 |669999 | 0 | 0.0 | 330M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
382.61/382.69 c 352s|680000 |679999 | 0 | 0.0 | 335M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
388.21/388.22 c 358s|690000 |689999 | 0 | 0.0 | 339M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
393.71/393.75 c 363s|700000 |699999 | 0 | 0.0 | 344M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
399.21/399.25 c 368s|710000 |709999 | 0 | 0.0 | 348M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
404.71/404.73 c 373s|720000 |719999 | 0 | 0.0 | 353M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
410.21/410.24 c 378s|730000 |729999 | 0 | 0.0 | 358M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
415.71/415.76 c 383s|740000 |739999 | 0 | 0.0 | 362M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
421.21/421.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
421.21/421.28 c 388s|750000 |749999 | 0 | 0.0 | 367M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
426.60/426.67 c 393s|760000 |759999 | 0 | 0.0 | 371M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
432.01/432.05 c 398s|770000 |769999 | 0 | 0.0 | 376M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
437.40/437.46 c 403s|780000 |779999 | 0 | 0.0 | 380M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
442.80/442.83 c 408s|790000 |789999 | 0 | 0.0 | 385M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
448.20/448.21 c 413s|800000 |799999 | 0 | 0.0 | 389M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
453.51/453.58 c 418s|810000 |809999 | 0 | 0.0 | 394M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
458.90/458.92 c 423s|820000 |819999 | 0 | 0.0 | 398M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
464.21/464.28 c 428s|830000 |829999 | 0 | 0.0 | 403M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
469.61/469.67 c 433s|840000 |839999 | 0 | 0.0 | 407M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
475.01/475.05 c 438s|850000 |849999 | 0 | 0.0 | 412M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
480.40/480.45 c 443s|860000 |859999 | 0 | 0.0 | 416M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
485.81/485.84 c 448s|870000 |869999 | 0 | 0.0 | 421M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
491.20/491.22 c 453s|880000 |879999 | 0 | 0.0 | 425M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
496.51/496.57 c 458s|890000 |889999 | 0 | 0.0 | 430M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
501.91/501.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
501.91/501.90 c 463s|900000 |899999 | 0 | 0.0 | 434M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
507.21/507.27 c 468s|910000 |909999 | 0 | 0.0 | 439M| 143 | - |4261 |4035 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
512.61/512.64 c 473s|920000 |919999 | 0 | 0.0 | 443M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
517.91/517.98 c 478s|930000 |929999 | 0 | 0.0 | 447M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
523.31/523.31 c 483s|940000 |939999 | 0 | 0.0 | 452M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
528.51/528.57 c 488s|950000 |949999 | 0 | 0.0 | 456M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
533.81/533.85 c 493s|960000 |959999 | 0 | 0.0 | 461M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
539.11/539.12 c 498s|970000 |969999 | 0 | 0.0 | 465M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
544.41/544.46 c 503s|980000 |979999 | 0 | 0.0 | 470M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
549.71/549.74 c 507s|990000 |989999 | 0 | 0.0 | 474M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
555.01/555.04 c 512s| 1000k|999999 | 0 | 0.0 | 478M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
560.31/560.36 c 517s| 1010k| 1009k| 0 | 0.0 | 483M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
565.61/565.65 c 522s| 1020k| 1019k| 0 | 0.0 | 487M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
570.92/570.98 c 527s| 1030k| 1029k| 0 | 0.0 | 492M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
576.32/576.32 c 532s| 1040k| 1039k| 0 | 0.0 | 496M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
581.51/581.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
581.51/581.56 c 537s| 1050k| 1049k| 0 | 0.0 | 500M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
586.82/586.83 c 542s| 1060k| 1059k| 0 | 0.0 | 505M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
592.01/592.02 c 547s| 1070k| 1069k| 0 | 0.0 | 509M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
597.22/597.24 c 552s| 1080k| 1079k| 0 | 0.0 | 513M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
602.41/602.44 c 557s| 1090k| 1089k| 0 | 0.0 | 518M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
607.62/607.62 c 561s| 1100k| 1099k| 0 | 0.0 | 522M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
612.81/612.81 c 566s| 1110k| 1109k| 0 | 0.0 | 526M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
617.92/617.99 c 571s| 1120k| 1119k| 0 | 0.0 | 531M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
623.11/623.15 c 576s| 1130k| 1129k| 0 | 0.0 | 535M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
628.31/628.32 c 581s| 1140k| 1139k| 0 | 0.0 | 539M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
633.41/633.49 c 586s| 1150k| 1149k| 0 | 0.0 | 543M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
638.62/638.67 c 590s| 1160k| 1159k| 0 | 0.0 | 548M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
643.81/643.84 c 595s| 1170k| 1169k| 0 | 0.0 | 552M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
649.02/649.03 c 600s| 1180k| 1179k| 0 | 0.0 | 556M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
654.11/654.18 c 605s| 1190k| 1189k| 0 | 0.0 | 561M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
659.31/659.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
659.31/659.37 c 610s| 1200k| 1199k| 0 | 0.0 | 565M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
664.51/664.55 c 615s| 1210k| 1209k| 0 | 0.0 | 569M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
669.62/669.70 c 619s| 1220k| 1219k| 0 | 0.0 | 573M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
674.81/674.82 c 624s| 1230k| 1229k| 0 | 0.0 | 578M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
679.92/679.97 c 629s| 1240k| 1239k| 0 | 0.0 | 582M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
685.11/685.12 c 634s| 1250k| 1249k| 0 | 0.0 | 586M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
690.22/690.29 c 639s| 1260k| 1259k| 0 | 0.0 | 591M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
695.42/695.43 c 643s| 1270k| 1269k| 0 | 0.0 | 595M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
700.52/700.56 c 648s| 1280k| 1279k| 0 | 0.0 | 599M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
705.61/705.68 c 653s| 1290k| 1289k| 0 | 0.0 | 604M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
710.82/710.80 c 658s| 1300k| 1299k| 0 | 0.0 | 608M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
715.91/715.93 c 663s| 1310k| 1309k| 0 | 0.0 | 612M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
721.02/721.04 c 667s| 1320k| 1319k| 0 | 0.0 | 616M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
726.11/726.13 c 672s| 1330k| 1329k| 0 | 0.0 | 621M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
731.22/731.25 c 677s| 1340k| 1339k| 0 | 0.0 | 625M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
736.31/736.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
736.31/736.34 c 682s| 1350k| 1349k| 0 | 0.0 | 629M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
741.43/741.45 c 686s| 1360k| 1359k| 0 | 0.0 | 634M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
746.52/746.56 c 691s| 1370k| 1369k| 0 | 0.0 | 638M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
751.62/751.64 c 696s| 1380k| 1379k| 0 | 0.0 | 642M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
756.72/756.73 c 701s| 1390k| 1389k| 0 | 0.0 | 647M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
761.82/761.81 c 705s| 1400k| 1399k| 0 | 0.0 | 651M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
766.82/766.89 c 710s| 1410k| 1409k| 0 | 0.0 | 655M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
771.91/771.97 c 715s| 1420k| 1419k| 0 | 0.0 | 660M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
777.02/777.03 c 720s| 1430k| 1429k| 0 | 0.0 | 664M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
782.13/782.12 c 724s| 1440k| 1439k| 0 | 0.0 | 668M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
787.12/787.19 c 729s| 1450k| 1449k| 0 | 0.0 | 672M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
792.22/792.27 c 734s| 1460k| 1459k| 0 | 0.0 | 677M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
797.32/797.35 c 739s| 1470k| 1469k| 0 | 0.0 | 681M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
802.42/802.42 c 743s| 1480k| 1479k| 0 | 0.0 | 685M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
807.42/807.48 c 748s| 1490k| 1489k| 0 | 0.0 | 690M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
812.52/812.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
812.52/812.53 c 753s| 1500k| 1499k| 0 | 0.0 | 694M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
817.52/817.59 c 758s| 1510k| 1509k| 0 | 0.0 | 698M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
822.62/822.65 c 762s| 1520k| 1519k| 0 | 0.0 | 703M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
827.72/827.72 c 767s| 1530k| 1529k| 0 | 0.0 | 707M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
832.72/832.78 c 772s| 1540k| 1539k| 0 | 0.0 | 711M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
837.82/837.82 c 777s| 1550k| 1549k| 0 | 0.0 | 715M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
842.82/842.87 c 781s| 1560k| 1559k| 0 | 0.0 | 720M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
847.92/847.92 c 786s| 1570k| 1569k| 0 | 0.0 | 724M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
852.92/852.97 c 791s| 1580k| 1579k| 0 | 0.0 | 728M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
858.03/858.05 c 796s| 1590k| 1589k| 0 | 0.0 | 733M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
863.13/863.11 c 800s| 1600k| 1599k| 0 | 0.0 | 737M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
868.12/868.16 c 805s| 1610k| 1609k| 0 | 0.0 | 741M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
873.22/873.21 c 810s| 1620k| 1619k| 0 | 0.0 | 745M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
878.23/878.27 c 814s| 1630k| 1629k| 0 | 0.0 | 750M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
883.33/883.32 c 819s| 1640k| 1639k| 0 | 0.0 | 754M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
888.43/888.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
888.43/888.40 c 824s| 1650k| 1649k| 0 | 0.0 | 758M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
893.43/893.46 c 829s| 1660k| 1659k| 0 | 0.0 | 763M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
898.53/898.53 c 833s| 1670k| 1669k| 0 | 0.0 | 767M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
903.53/903.57 c 838s| 1680k| 1679k| 0 | 0.0 | 771M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
908.63/908.61 c 843s| 1690k| 1689k| 0 | 0.0 | 776M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
913.63/913.67 c 848s| 1700k| 1699k| 0 | 0.0 | 780M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
918.72/918.73 c 852s| 1710k| 1709k| 0 | 0.0 | 784M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
923.73/923.77 c 857s| 1720k| 1719k| 0 | 0.0 | 788M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
928.83/928.83 c 862s| 1730k| 1729k| 0 | 0.0 | 793M| 143 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
933.42/933.44 c 866s| 1740k| 1739k| 0 | 0.0 | 797M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
937.63/937.62 c 870s| 1750k| 1749k| 0 | 0.0 | 801M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
941.83/941.85 c 874s| 1760k| 1759k| 0 | 0.0 | 805M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
946.12/946.12 c 878s| 1770k| 1769k| 0 | 0.0 | 809M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
950.33/950.34 c 882s| 1780k| 1779k| 0 | 0.0 | 813M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
954.52/954.59 c 886s| 1790k| 1789k| 0 | 0.0 | 817M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
958.83/958.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
958.83/958.82 c 890s| 1800k| 1799k| 0 | 0.0 | 821M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
963.03/963.07 c 894s| 1810k| 1809k| 0 | 0.0 | 825M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
967.33/967.34 c 898s| 1820k| 1819k| 0 | 0.0 | 829M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
971.62/971.63 c 902s| 1830k| 1829k| 0 | 0.0 | 833M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
975.82/975.85 c 906s| 1840k| 1839k| 0 | 0.0 | 838M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
980.13/980.14 c 910s| 1850k| 1849k| 0 | 0.0 | 842M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
984.44/984.42 c 914s| 1860k| 1859k| 0 | 0.0 | 846M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
988.63/988.69 c 918s| 1870k| 1869k| 0 | 0.0 | 850M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
992.92/992.94 c 921s| 1880k| 1879k| 0 | 0.0 | 854M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
997.13/997.19 c 925s| 1890k| 1889k| 0 | 0.0 | 858M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1001.42/1001.46 c 929s| 1900k| 1899k| 0 | 0.0 | 862M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1005.72/1005.72 c 933s| 1910k| 1909k| 0 | 0.0 | 866M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1010.03/1010.00 c 937s| 1920k| 1919k| 0 | 0.0 | 870M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1014.23/1014.29 c 941s| 1930k| 1929k| 0 | 0.0 | 874M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1018.54/1018.55 c 945s| 1940k| 1939k| 0 | 0.0 | 878M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1022.83/1022.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1022.83/1022.82 c 949s| 1950k| 1949k| 0 | 0.0 | 882M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1027.03/1027.07 c 953s| 1960k| 1959k| 0 | 0.0 | 886M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1031.33/1031.34 c 957s| 1970k| 1969k| 0 | 0.0 | 890M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1035.63/1035.61 c 961s| 1980k| 1979k| 0 | 0.0 | 895M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1039.83/1039.85 c 965s| 1990k| 1989k| 0 | 0.0 | 899M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1044.13/1044.11 c 969s| 2000k| 1999k| 0 | 0.0 | 903M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1048.33/1048.38 c 973s| 2010k| 2009k| 0 | 0.0 | 907M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1052.63/1052.63 c 977s| 2020k| 2019k| 0 | 0.0 | 911M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1056.93/1056.90 c 981s| 2030k| 2029k| 0 | 0.0 | 915M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1061.13/1061.16 c 985s| 2040k| 2039k| 0 | 0.0 | 919M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1065.43/1065.41 c 989s| 2050k| 2049k| 0 | 0.0 | 923M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1069.63/1069.64 c 993s| 2060k| 2059k| 0 | 0.0 | 927M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1073.93/1073.92 c 997s| 2070k| 2069k| 0 | 0.0 | 931M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1078.23/1078.22 c 1001s| 2080k| 2079k| 0 | 0.0 | 935M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1082.53/1082.52 c 1005s| 2090k| 2089k| 0 | 0.0 | 939M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1086.84/1086.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1086.84/1086.83 c 1009s| 2100k| 2099k| 0 | 0.0 | 943M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1091.14/1091.13 c 1013s| 2110k| 2109k| 0 | 0.0 | 947M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1095.43/1095.42 c 1017s| 2120k| 2119k| 0 | 0.0 | 951M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1099.63/1099.69 c 1021s| 2130k| 2129k| 0 | 0.0 | 955M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1104.03/1104.00 c 1025s| 2140k| 2139k| 0 | 0.0 | 959M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1108.33/1108.31 c 1029s| 2150k| 2149k| 0 | 0.0 | 964M| 729 | - |4261 |4034 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1112.63/1112.61 c 1033s| 2160k| 2159k| 0 | 0.0 | 968M| 729 | - |4261 |4040 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1116.93/1116.92 c 1037s| 2170k| 2169k| 0 | 0.0 | 972M| 729 | - |4261 |4040 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1121.23/1121.24 c 1041s| 2180k| 2179k| 0 | 0.0 | 976M| 729 | - |4261 |4040 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1125.53/1125.51 c 1045s| 2190k| 2189k| 0 | 0.0 | 980M| 729 | - |4261 |4040 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1129.74/1129.78 c 1049s| 2200k| 2199k| 0 | 0.0 | 984M| 729 | - |4261 |4040 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1134.03/1134.06 c 1053s| 2210k| 2209k| 0 | 0.0 | 988M| 729 | - |4261 |4040 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1138.33/1138.34 c 1057s| 2220k| 2219k| 0 | 0.0 | 992M| 729 | - |4261 |4040 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1142.63/1142.61 c 1061s| 2230k| 2229k| 0 | 0.0 | 996M| 729 | - |4261 |4040 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1146.83/1146.88 c 1065s| 2240k| 2239k| 0 | 0.0 |1000M| 729 | - |4261 |4040 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1151.13/1151.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1151.13/1151.15 c 1069s| 2250k| 2249k| 0 | 0.0 |1004M| 729 | - |4261 |4040 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1155.44/1155.45 c 1073s| 2260k| 2259k| 0 | 0.0 |1008M| 729 | - |4261 |4040 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1159.74/1159.75 c 1077s| 2270k| 2269k| 0 | 0.0 |1012M| 729 | - |4261 |4039 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1164.03/1164.06 c 1081s| 2280k| 2279k| 0 | 0.0 |1017M| 729 | - |4261 |4039 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1168.34/1168.36 c 1085s| 2290k| 2289k| 0 | 0.0 |1021M| 729 | - |4261 |4039 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1172.64/1172.62 c 1089s| 2300k| 2299k| 0 | 0.0 |1025M| 729 | - |4261 |4039 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1176.83/1176.88 c 1093s| 2310k| 2309k| 0 | 0.0 |1029M| 729 | - |4261 |4039 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1181.14/1181.14 c 1097s| 2320k| 2319k| 0 | 0.0 |1033M| 729 | - |4261 |4039 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1185.43/1185.43 c 1101s| 2330k| 2329k| 0 | 0.0 |1037M| 729 | - |4261 |4039 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1189.73/1189.72 c 1105s| 2340k| 2339k| 0 | 0.0 |1041M| 729 | - |4261 |4039 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1193.94/1193.99 c 1109s| 2350k| 2349k| 0 | 0.0 |1045M| 729 | - |4261 |4039 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1198.23/1198.28 c 1113s| 2360k| 2359k| 0 | 0.0 |1049M| 729 | - |4261 |4039 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1202.53/1202.55 c 1117s| 2370k| 2369k| 0 | 0.0 |1053M| 729 | - |4261 |4039 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1206.83/1206.83 c 1121s| 2380k| 2379k| 0 | 0.0 |1057M| 729 | - |4261 |4039 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1211.04/1211.09 c 1125s| 2390k| 2389k| 0 | 0.0 |1061M| 729 | - |4261 |4039 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1215.34/1215.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1215.34/1215.32 c 1129s| 2400k| 2399k| 0 | 0.0 |1066M| 729 | - |4261 |4039 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1219.53/1219.58 c 1133s| 2410k| 2409k| 0 | 0.0 |1070M| 729 | - |4261 |4039 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1223.83/1223.84 c 1137s| 2420k| 2419k| 0 | 0.0 |1074M| 729 | - |4261 |4039 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1228.13/1228.13 c 1141s| 2430k| 2429k| 0 | 0.0 |1078M| 729 | - |4261 |4039 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1232.43/1232.40 c 1145s| 2440k| 2439k| 0 | 0.0 |1082M| 729 | - |4261 |4039 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1236.64/1236.64 c 1148s| 2450k| 2449k| 0 | 0.0 |1086M| 729 | - |4261 |4039 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1240.94/1240.91 c 1152s| 2460k| 2459k| 0 | 0.0 |1090M| 729 | - |4261 |4039 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1245.14/1245.15 c 1156s| 2470k| 2469k| 0 | 0.0 |1094M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1249.34/1249.37 c 1160s| 2480k| 2479k| 0 | 0.0 |1098M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1253.54/1253.58 c 1164s| 2490k| 2489k| 0 | 0.0 |1102M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1257.84/1257.84 c 1168s| 2500k| 2499k| 0 | 0.0 |1106M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1262.04/1262.07 c 1172s| 2510k| 2509k| 0 | 0.0 |1110M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1266.34/1266.32 c 1176s| 2520k| 2519k| 0 | 0.0 |1115M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1270.55/1270.57 c 1180s| 2530k| 2529k| 0 | 0.0 |1119M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1274.84/1274.81 c 1184s| 2540k| 2539k| 0 | 0.0 |1123M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1279.04/1279.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1279.04/1279.05 c 1188s| 2550k| 2549k| 0 | 0.0 |1127M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1283.34/1283.33 c 1192s| 2560k| 2559k| 0 | 0.0 |1131M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1287.54/1287.57 c 1196s| 2570k| 2569k| 0 | 0.0 |1135M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1291.83/1291.81 c 1200s| 2580k| 2579k| 0 | 0.0 |1139M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1296.03/1296.07 c 1204s| 2590k| 2589k| 0 | 0.0 |1143M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1300.34/1300.36 c 1208s| 2600k| 2599k| 0 | 0.0 |1147M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1304.64/1304.66 c 1212s| 2610k| 2609k| 0 | 0.0 |1151M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1308.94/1308.98 c 1216s| 2620k| 2619k| 0 | 0.0 |1155M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1313.24/1313.30 c 1220s| 2630k| 2629k| 0 | 0.0 |1159M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1317.54/1317.56 c 1224s| 2640k| 2639k| 0 | 0.0 |1163M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1321.83/1321.81 c 1228s| 2650k| 2649k| 0 | 0.0 |1168M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1326.14/1326.11 c 1232s| 2660k| 2659k| 0 | 0.0 |1172M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1330.44/1330.41 c 1236s| 2670k| 2669k| 0 | 0.0 |1176M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1334.74/1334.73 c 1240s| 2680k| 2679k| 0 | 0.0 |1180M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1339.04/1339.05 c 1244s| 2690k| 2689k| 0 | 0.0 |1184M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1343.34/1343.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1343.34/1343.36 c 1248s| 2700k| 2699k| 0 | 0.0 |1188M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1347.64/1347.64 c 1252s| 2710k| 2709k| 0 | 0.0 |1192M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1351.95/1351.92 c 1256s| 2720k| 2719k| 0 | 0.0 |1196M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1356.25/1356.20 c 1260s| 2730k| 2729k| 0 | 0.0 |1200M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1360.54/1360.51 c 1264s| 2740k| 2739k| 0 | 0.0 |1204M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1364.74/1364.79 c 1268s| 2750k| 2749k| 0 | 0.0 |1208M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1369.04/1369.06 c 1272s| 2760k| 2759k| 0 | 0.0 |1213M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1373.34/1373.33 c 1276s| 2770k| 2769k| 0 | 0.0 |1217M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1377.64/1377.62 c 1280s| 2780k| 2779k| 0 | 0.0 |1221M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1381.94/1381.96 c 1284s| 2790k| 2789k| 0 | 0.0 |1225M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1386.35/1386.32 c 1288s| 2800k| 2799k| 0 | 0.0 |1229M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1390.65/1390.63 c 1292s| 2810k| 2809k| 0 | 0.0 |1233M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1394.95/1394.90 c 1296s| 2820k| 2819k| 0 | 0.0 |1237M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1399.14/1399.16 c 1300s| 2830k| 2829k| 0 | 0.0 |1241M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1403.44/1403.43 c 1304s| 2840k| 2839k| 0 | 0.0 |1245M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1407.74/1407.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1407.74/1407.70 c 1308s| 2850k| 2849k| 0 | 0.0 |1249M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1411.94/1411.97 c 1312s| 2860k| 2859k| 0 | 0.0 |1253M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1416.24/1416.25 c 1316s| 2870k| 2869k| 0 | 0.0 |1258M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1420.54/1420.54 c 1320s| 2880k| 2879k| 0 | 0.0 |1262M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1424.84/1424.84 c 1324s| 2890k| 2889k| 0 | 0.0 |1266M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1429.14/1429.11 c 1328s| 2900k| 2899k| 0 | 0.0 |1270M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1433.35/1433.35 c 1332s| 2910k| 2909k| 0 | 0.0 |1274M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1437.65/1437.64 c 1336s| 2920k| 2919k| 0 | 0.0 |1278M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1441.95/1441.92 c 1339s| 2930k| 2929k| 0 | 0.0 |1282M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1446.24/1446.21 c 1343s| 2940k| 2939k| 0 | 0.0 |1286M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1450.45/1450.44 c 1347s| 2950k| 2949k| 0 | 0.0 |1290M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1454.64/1454.69 c 1351s| 2960k| 2959k| 0 | 0.0 |1294M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1458.95/1458.93 c 1355s| 2970k| 2969k| 0 | 0.0 |1298M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1463.24/1463.23 c 1359s| 2980k| 2979k| 0 | 0.0 |1303M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1467.45/1467.46 c 1363s| 2990k| 2989k| 0 | 0.0 |1307M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1471.65/1471.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1471.65/1471.70 c 1367s| 3000k| 2999k| 0 | 0.0 |1311M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1475.95/1475.92 c 1371s| 3010k| 3009k| 0 | 0.0 |1315M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1480.14/1480.17 c 1375s| 3020k| 3019k| 0 | 0.0 |1319M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1484.34/1484.39 c 1379s| 3030k| 3029k| 0 | 0.0 |1323M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1488.65/1488.62 c 1383s| 3040k| 3039k| 0 | 0.0 |1327M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1492.84/1492.88 c 1387s| 3050k| 3049k| 0 | 0.0 |1331M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1497.15/1497.11 c 1391s| 3060k| 3059k| 0 | 0.0 |1335M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1501.35/1501.35 c 1395s| 3070k| 3069k| 0 | 0.0 |1339M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1505.65/1505.60 c 1399s| 3080k| 3079k| 0 | 0.0 |1343M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1509.85/1509.85 c 1403s| 3090k| 3089k| 0 | 0.0 |1348M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1514.05/1514.07 c 1407s| 3100k| 3099k| 0 | 0.0 |1352M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1518.35/1518.32 c 1411s| 3110k| 3109k| 0 | 0.0 |1356M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1522.65/1522.61 c 1415s| 3120k| 3119k| 0 | 0.0 |1360M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1526.95/1526.92 c 1419s| 3130k| 3129k| 0 | 0.0 |1364M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1531.25/1531.22 c 1423s| 3140k| 3139k| 0 | 0.0 |1368M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1535.56/1535.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1535.56/1535.51 c 1427s| 3150k| 3149k| 0 | 0.0 |1372M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1539.84/1539.84 c 1431s| 3160k| 3159k| 0 | 0.0 |1376M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1544.14/1544.15 c 1435s| 3170k| 3169k| 0 | 0.0 |1380M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1548.45/1548.42 c 1439s| 3180k| 3179k| 0 | 0.0 |1384M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1552.75/1552.76 c 1443s| 3190k| 3189k| 0 | 0.0 |1388M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1557.05/1557.08 c 1447s| 3200k| 3199k| 0 | 0.0 |1393M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1561.45/1561.41 c 1451s| 3210k| 3209k| 0 | 0.0 |1397M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1565.75/1565.70 c 1455s| 3220k| 3219k| 0 | 0.0 |1401M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1569.95/1569.99 c 1459s| 3230k| 3229k| 0 | 0.0 |1405M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1574.25/1574.29 c 1463s| 3240k| 3239k| 0 | 0.0 |1409M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1578.56/1578.59 c 1467s| 3250k| 3249k| 0 | 0.0 |1413M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1582.86/1582.90 c 1471s| 3260k| 3259k| 0 | 0.0 |1417M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1587.15/1587.18 c 1475s| 3270k| 3269k| 0 | 0.0 |1421M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1591.45/1591.47 c 1479s| 3280k| 3279k| 0 | 0.0 |1425M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1595.75/1595.78 c 1483s| 3290k| 3289k| 0 | 0.0 |1429M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1600.15/1600.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1600.15/1600.12 c 1487s| 3300k| 3299k| 0 | 0.0 |1434M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1604.45/1604.46 c 1491s| 3310k| 3309k| 0 | 0.0 |1438M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1608.75/1608.77 c 1495s| 3320k| 3319k| 0 | 0.0 |1442M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1613.05/1613.03 c 1499s| 3330k| 3329k| 0 | 0.0 |1446M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1617.35/1617.32 c 1503s| 3340k| 3339k| 0 | 0.0 |1450M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1621.65/1621.61 c 1507s| 3350k| 3349k| 0 | 0.0 |1454M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1625.86/1625.89 c 1511s| 3360k| 3359k| 0 | 0.0 |1458M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1630.16/1630.17 c 1515s| 3370k| 3369k| 0 | 0.0 |1462M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1634.45/1634.48 c 1519s| 3380k| 3379k| 0 | 0.0 |1466M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1638.75/1638.76 c 1523s| 3390k| 3389k| 0 | 0.0 |1470M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1643.05/1643.02 c 1526s| 3400k| 3399k| 0 | 0.0 |1475M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1647.35/1647.30 c 1530s| 3410k| 3409k| 0 | 0.0 |1479M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1651.55/1651.57 c 1534s| 3420k| 3419k| 0 | 0.0 |1483M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1655.85/1655.83 c 1538s| 3430k| 3429k| 0 | 0.0 |1487M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1660.05/1660.07 c 1542s| 3440k| 3439k| 0 | 0.0 |1491M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1664.36/1664.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1664.36/1664.35 c 1546s| 3450k| 3449k| 0 | 0.0 |1495M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1668.65/1668.60 c 1550s| 3460k| 3459k| 0 | 0.0 |1499M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1672.85/1672.87 c 1554s| 3470k| 3469k| 0 | 0.0 |1503M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1677.16/1677.10 c 1558s| 3480k| 3479k| 0 | 0.0 |1507M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1681.35/1681.38 c 1562s| 3490k| 3489k| 0 | 0.0 |1511M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1685.65/1685.61 c 1566s| 3500k| 3499k| 0 | 0.0 |1515M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1689.85/1689.87 c 1570s| 3510k| 3509k| 0 | 0.0 |1520M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1694.05/1694.08 c 1574s| 3520k| 3519k| 0 | 0.0 |1524M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1698.35/1698.33 c 1578s| 3530k| 3529k| 0 | 0.0 |1528M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1702.55/1702.53 c 1582s| 3540k| 3539k| 0 | 0.0 |1532M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1706.75/1706.75 c 1586s| 3550k| 3549k| 0 | 0.0 |1536M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1710.95/1710.95 c 1590s| 3560k| 3559k| 0 | 0.0 |1540M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1715.15/1715.16 c 1594s| 3570k| 3569k| 0 | 0.0 |1544M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1719.36/1719.38 c 1598s| 3580k| 3579k| 0 | 0.0 |1548M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1723.65/1723.63 c 1601s| 3590k| 3589k| 0 | 0.0 |1552M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1727.85/1727.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1727.85/1727.85 c 1605s| 3600k| 3599k| 0 | 0.0 |1556M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1732.16/1732.10 c 1609s| 3610k| 3609k| 0 | 0.0 |1560M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1736.36/1736.33 c 1613s| 3620k| 3619k| 0 | 0.0 |1565M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1740.55/1740.55 c 1617s| 3630k| 3629k| 0 | 0.0 |1569M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1744.85/1744.84 c 1621s| 3640k| 3639k| 0 | 0.0 |1573M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1749.15/1749.14 c 1625s| 3650k| 3649k| 0 | 0.0 |1577M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1753.46/1753.41 c 1629s| 3660k| 3659k| 0 | 0.0 |1581M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1757.76/1757.71 c 1633s| 3670k| 3669k| 0 | 0.0 |1585M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1762.06/1762.03 c 1637s| 3680k| 3679k| 0 | 0.0 |1589M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1766.35/1766.36 c 1641s| 3690k| 3689k| 0 | 0.0 |1593M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1770.66/1770.65 c 1645s| 3700k| 3699k| 0 | 0.0 |1597M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1774.95/1774.98 c 1649s| 3710k| 3709k| 0 | 0.0 |1601M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1779.26/1779.27 c 1653s| 3720k| 3719k| 0 | 0.0 |1606M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1783.56/1783.55 c 1657s| 3730k| 3729k| 0 | 0.0 |1610M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1787.86/1787.85 c 1661s| 3740k| 3739k| 0 | 0.0 |1614M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1792.15/1792.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1792.15/1792.11 c 1665s| 3750k| 3749k| 0 | 0.0 |1618M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1796.46/1796.41 c 1669s| 3760k| 3759k| 0 | 0.0 |1622M| 729 | - |4261 |4038 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00 c
1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.00 c Solving Time (sec) : 1672.36
1800.06/1800.00 c Solving Nodes : 3768380
1800.06/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.06/1800.00 c Dual Bound : +0.00000000000000e+00
1800.06/1800.00 c Gap : infinite
1800.06/1800.00 s UNKNOWN
1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.00 c Solving Time : 1672.36
1800.06/1800.00 c Original Problem :
1800.06/1800.00 c Problem name : HOME/instance-2693606-1277912981.wbo
1800.06/1800.00 c Variables : 4285 (3253 binary, 0 integer, 0 implicit integer, 1032 continuous)
1800.06/1800.00 c Constraints : 4083 initial, 4083 maximal
1800.06/1800.00 c Presolved Problem :
1800.06/1800.00 c Problem name : t_HOME/instance-2693606-1277912981.wbo
1800.06/1800.00 c Variables : 4261 (3229 binary, 0 integer, 0 implicit integer, 1032 continuous)
1800.06/1800.00 c Constraints : 4034 initial, 4040 maximal
1800.06/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.00 c implics : 0.00 0 23 0 0 0 0 0 0
1800.06/1800.00 c probing : 0.08 0 0 0 0 0 0 0 0
1800.06/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.00 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.00 c linear : 0.02 1 0 0 1033 0 49 360 720
1800.06/1800.00 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.00 c root node : - 0 - - 0 - - - -
1800.06/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.00 c indicator : 1032 0 8440675 0 3768378 0 2472607 0 0 0
1800.06/1800.00 c varbound : 2 0 4215205 0 1496139 0 5485 0 0 0
1800.06/1800.00 c knapsack : 480 0 8440675 0 3768378 0 80158 0 0 0
1800.06/1800.00 c linear : 1030 0 8440675 0 3768378 0 1280573 0 0 0
1800.06/1800.00 c logicor : 1490+ 0 4388735 0 3768378 2 4385885 0 0 0
1800.06/1800.00 c countsols : 0 0 0 0 3768378 0 0 0 0 0
1800.06/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.00 c indicator : 274.94 0.00 83.57 0.00 191.37
1800.06/1800.00 c varbound : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.00 c knapsack : 49.03 0.00 47.32 0.00 1.71
1800.06/1800.00 c linear : 60.43 0.00 60.34 0.00 0.09
1800.06/1800.00 c logicor : 232.39 0.00 7.53 0.00 224.86
1800.06/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.00 c vbounds : 0.03 47538 0 18272
1800.06/1800.00 c rootredcost : 0.00 0 0 0
1800.06/1800.00 c pseudoobj : 196.00 8440072 0 0
1800.06/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.00 c propagation : 0.00 2 2 2 3.5 5 3.4 -
1800.06/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.00 c applied globally : - - - 7 3.4 - - -
1800.06/1800.00 c applied locally : - - - 0 0.0 - - -
1800.06/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.00 c redcost : 0.00 0 0 0 0 0
1800.06/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.00 c intobj : 0.00 0 0 0 0 0
1800.06/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.00 c gomory : 0.00 0 0 0 0 0
1800.06/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.00 c cmir : 0.00 0 0 0 0 0
1800.06/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.00 c clique : 0.00 0 0 0 0 0
1800.06/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.00 c mcf : 0.00 0 0 0 0 0
1800.06/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.00 c Pricers : Time Calls Vars
1800.06/1800.00 c problem variables: 0.00 0 0
1800.06/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.00 c inference : 815.72 3768378 0 0 0 0 7536756
1800.06/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.00 c random : 0.00 0 0 0 0 0 0
1800.06/1800.00 c Primal Heuristics : Time Calls Found
1800.06/1800.00 c LP solutions : 0.00 - 0
1800.06/1800.00 c pseudo solutions : 0.00 - 0
1800.06/1800.00 c oneopt : 0.00 0 0
1800.06/1800.00 c trivial : 0.01 2 0
1800.06/1800.00 c simplerounding : 0.00 0 0
1800.06/1800.00 c zirounding : 0.00 0 0
1800.06/1800.00 c rounding : 0.00 0 0
1800.06/1800.00 c shifting : 0.00 0 0
1800.06/1800.00 c intshifting : 0.00 0 0
1800.06/1800.00 c twoopt : 0.00 0 0
1800.06/1800.00 c fixandinfer : 0.00 0 0
1800.06/1800.00 c feaspump : 0.00 0 0
1800.06/1800.00 c coefdiving : 0.00 0 0
1800.06/1800.00 c pscostdiving : 0.00 0 0
1800.06/1800.00 c fracdiving : 0.00 0 0
1800.06/1800.00 c veclendiving : 0.00 0 0
1800.06/1800.00 c intdiving : 0.00 0 0
1800.06/1800.00 c actconsdiving : 0.00 0 0
1800.06/1800.00 c objpscostdiving : 0.00 0 0
1800.06/1800.00 c rootsoldiving : 0.00 0 0
1800.06/1800.00 c linesearchdiving : 0.00 0 0
1800.06/1800.00 c guideddiving : 0.00 0 0
1800.06/1800.00 c octane : 0.00 0 0
1800.06/1800.00 c rens : 0.00 0 0
1800.06/1800.00 c rins : 0.00 0 0
1800.06/1800.00 c localbranching : 0.00 0 0
1800.06/1800.00 c mutation : 0.00 0 0
1800.06/1800.00 c crossover : 0.00 0 0
1800.06/1800.00 c dins : 0.00 0 0
1800.06/1800.00 c undercover : 0.00 0 0
1800.06/1800.00 c nlp : 0.00 0 0
1800.06/1800.00 c trysol : 0.00 1 0
1800.06/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.00 c (at root node) : - 0 0 0.00 -
1800.06/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.00 c B&B Tree :
1800.06/1800.00 c number of runs : 1
1800.06/1800.00 c nodes : 3768380
1800.06/1800.00 c nodes (total) : 3768380
1800.06/1800.00 c nodes left : 3768377
1800.06/1800.00 c max depth : 729
1800.06/1800.00 c max depth (total): 729
1800.06/1800.00 c backtracks : 29229 (0.8%)
1800.06/1800.00 c delayed cutoffs : 0
1800.06/1800.00 c repropagations : 8 (18 domain reductions, 0 cutoffs)
1800.06/1800.00 c avg switch length: 2.31
1800.06/1800.00 c switching time : 22.12
1800.06/1800.00 c Solution :
1800.06/1800.00 c Solutions found : 0 (0 improvements)
1800.06/1800.00 c Primal Bound : -
1800.06/1800.00 c Dual Bound : +0.00000000000000e+00
1800.06/1800.00 c Gap : infinite
1800.06/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.06/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-2693606-1277912981/watcher-2693606-1277912981 -o /tmp/evaluation-result-2693606-1277912981/solver-2693606-1277912981 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693606-1277912981.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.05 2.00 2.00 4/178 16144
/proc/meminfo: memFree=31392244/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=8292 CPUtime=0
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 1552 0 0 0 0 0 0 0 20 0 1 0 132593298 8491008 1474 4089446400 4194304 7136930 140734259973888 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/16144/statm: 2073 1474 275 719 0 1352 0
[startup+0.0196089 s]
/proc/loadavg: 2.05 2.00 2.00 4/178 16144
/proc/meminfo: memFree=31392244/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=11732 CPUtime=0.01
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 2420 0 0 0 1 0 0 0 20 0 1 0 132593298 12013568 2342 4089446400 4194304 7136930 140734259973888 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/16144/statm: 2933 2342 275 719 0 2212 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11732
[startup+0.100615 s]
/proc/loadavg: 2.05 2.00 2.00 4/178 16144
/proc/meminfo: memFree=31392244/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=30456 CPUtime=0.09
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 8025 0 0 0 7 2 0 0 20 0 1 0 132593298 31186944 6822 4089446400 4194304 7136930 140734259973888 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16144/statm: 7614 6828 363 719 0 6893 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30456
[startup+0.300588 s]
/proc/loadavg: 2.05 2.00 2.00 4/178 16144
/proc/meminfo: memFree=31392244/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=34340 CPUtime=0.29
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 10045 0 0 0 26 3 0 0 20 0 1 0 132593298 35164160 7809 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16144/statm: 8585 7809 405 719 0 7864 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34340
[startup+0.700497 s]
/proc/loadavg: 2.05 2.00 2.00 4/178 16144
/proc/meminfo: memFree=31392244/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=34868 CPUtime=0.69
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 10178 0 0 0 61 8 0 0 21 0 1 0 132593298 35704832 7942 4089446400 4194304 7136930 140734259973888 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16144/statm: 8717 7942 405 719 0 7996 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34868
[startup+1.50035 s]
/proc/loadavg: 2.04 2.00 2.00 3/179 16145
/proc/meminfo: memFree=31361864/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=35628 CPUtime=1.49
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 10396 0 0 0 134 15 0 0 23 0 1 0 132593298 36483072 8160 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16144/statm: 8907 8160 405 719 0 8186 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35628
[startup+3.10105 s]
/proc/loadavg: 2.04 2.00 2.00 3/179 16145
/proc/meminfo: memFree=31359880/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=37904 CPUtime=3.09
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 10982 0 0 0 281 28 0 0 25 0 1 0 132593298 38813696 8746 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16144/statm: 9476 8746 405 719 0 8755 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37904
[startup+6.30044 s]
/proc/loadavg: 2.04 2.00 2.00 3/179 16145
/proc/meminfo: memFree=31356716/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=41384 CPUtime=6.29
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 11839 0 0 0 574 55 0 0 25 0 1 0 132593298 42377216 9603 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16144/statm: 10346 9603 405 719 0 9625 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41384
[startup+12.7002 s]
/proc/loadavg: 2.04 2.00 2.00 3/179 16145
/proc/meminfo: memFree=31350216/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=47876 CPUtime=12.7
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 13523 0 0 0 1159 111 0 0 25 0 1 0 132593298 49025024 11287 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16144/statm: 11969 11287 405 719 0 11248 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 47876
[startup+25.5008 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 16145
/proc/meminfo: memFree=31339176/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=58420 CPUtime=25.5
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 16220 0 0 0 2333 217 0 0 25 0 1 0 132593298 59822080 13984 4089446400 4194304 7136930 140734259973888 18446744073709551615 4740375 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16144/statm: 14605 13984 405 719 0 13884 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 58420
[startup+51.1009 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 16146
/proc/meminfo: memFree=31315944/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=84192 CPUtime=51.09
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 22339 0 0 0 4673 436 0 0 25 0 1 0 132593298 86212608 20103 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 21048 20103 405 719 0 20327 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 84192
[startup+102.307 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 16175
/proc/meminfo: memFree=31224124/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=129560 CPUtime=102.3
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 34022 0 0 0 9374 856 0 0 25 0 1 0 132593298 132669440 31786 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 32390 31786 405 719 0 31669 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 129560
[startup+162.301 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 16177
/proc/meminfo: memFree=31131996/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=180884 CPUtime=162.29
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 46225 0 0 0 14886 1343 0 0 25 0 1 0 132593298 185225216 43989 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 45221 43989 405 719 0 44500 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 180884
[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 16179
/proc/meminfo: memFree=31040164/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=231924 CPUtime=222.3
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 59428 0 0 0 20426 1804 0 0 25 0 1 0 132593298 237490176 57192 4089446400 4194304 7136930 140734259973888 18446744073709551615 4641936 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 57981 57192 405 719 0 57260 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 231924
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 16181
/proc/meminfo: memFree=30952672/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=288104 CPUtime=282.3
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 71858 0 0 0 25965 2265 0 0 25 0 1 0 132593298 295018496 69622 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 72026 69622 405 719 0 71305 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 288104
[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 16182
/proc/meminfo: memFree=30863336/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=336040 CPUtime=342.31
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 84275 0 0 0 31509 2722 0 0 25 0 1 0 132593298 344104960 82039 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 84010 82039 405 719 0 83289 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 336040
[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 16183
/proc/meminfo: memFree=30769544/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=388708 CPUtime=402.31
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 97850 0 0 0 37066 3165 0 0 25 0 1 0 132593298 398036992 95614 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 97177 95614 409 719 0 96456 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 388708
[startup+462.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 16185
/proc/meminfo: memFree=30687996/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=434020 CPUtime=462.31
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 109598 0 0 0 42626 3605 0 0 25 0 1 0 132593298 444436480 107362 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 108505 107362 409 719 0 107784 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 434020
[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 16187
/proc/meminfo: memFree=30599640/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=485652 CPUtime=522.31
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 122977 0 0 0 48195 4036 0 0 25 0 1 0 132593298 497307648 120741 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 121413 120741 409 719 0 120692 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 485652
[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 16189
/proc/meminfo: memFree=30511172/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=550784 CPUtime=582.31
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 135573 0 0 0 53780 4451 0 0 25 0 1 0 132593298 564002816 133337 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 137696 133337 409 719 0 136975 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 550784
[startup+642.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 16190
/proc/meminfo: memFree=30416836/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=604232 CPUtime=642.32
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 149418 0 0 0 59382 4850 0 0 25 0 1 0 132593298 618733568 147182 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 151058 147182 409 719 0 150337 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 604232
[startup+702.301 s]
################
# More data... #
################
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 228933 0 0 0 93022 7211 0 0 25 0 1 0 132593298 932696064 226697 4089446400 4194304 7136930 140734259973888 18446744073709551615 4642976 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 227709 226697 409 719 0 226988 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 910836
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 16210
/proc/meminfo: memFree=29783428/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=999816 CPUtime=1062.33
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 243535 0 0 0 98612 7621 0 0 25 0 1 0 132593298 1023811584 241299 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 249954 241299 409 719 0 249233 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 999816
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16212
/proc/meminfo: memFree=29694096/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=1054488 CPUtime=1122.33
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 257752 0 0 0 104203 8030 0 0 25 0 1 0 132593298 1079795712 255516 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 263622 255516 409 719 0 262901 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1054488
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16214
/proc/meminfo: memFree=29596684/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=1111208 CPUtime=1182.33
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 272482 0 0 0 109796 8437 0 0 25 0 1 0 132593298 1137876992 270246 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 277802 270246 409 719 0 277081 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1111208
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16215
/proc/meminfo: memFree=29501644/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=1168200 CPUtime=1242.34
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 287279 0 0 0 115370 8864 0 0 25 0 1 0 132593298 1196236800 285043 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 292050 285043 409 719 0 291329 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 1168200
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16216
/proc/meminfo: memFree=29407368/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=1222752 CPUtime=1302.35
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 301468 0 0 0 120955 9280 0 0 25 0 1 0 132593298 1252098048 299232 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 305688 299232 409 719 0 304967 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 1222752
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16218
/proc/meminfo: memFree=29307252/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=1283252 CPUtime=1362.34
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 317139 0 0 0 126535 9699 0 0 25 0 1 0 132593298 1314050048 314903 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 320813 314903 409 719 0 320092 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1283252
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16220
/proc/meminfo: memFree=29208852/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=1339996 CPUtime=1422.35
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 331872 0 0 0 132132 10103 0 0 25 0 1 0 132593298 1372155904 329636 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 334999 329636 409 719 0 334278 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1339996
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16222
/proc/meminfo: memFree=29118656/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=1394668 CPUtime=1482.34
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 346093 0 0 0 137709 10525 0 0 25 0 1 0 132593298 1428140032 343857 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 348667 343857 409 719 0 347946 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1394668
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16223
/proc/meminfo: memFree=29021400/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=1453968 CPUtime=1542.35
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 361465 0 0 0 143292 10943 0 0 25 0 1 0 132593298 1488863232 359229 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 363492 359229 409 719 0 362771 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 1453968
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16224
/proc/meminfo: memFree=28925128/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=1509024 CPUtime=1602.35
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 375774 0 0 0 148869 11366 0 0 25 0 1 0 132593298 1545240576 373538 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 377256 373538 409 719 0 376535 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 1509024
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16226
/proc/meminfo: memFree=28821528/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=1564852 CPUtime=1662.35
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 390278 0 0 0 154446 11789 0 0 25 0 1 0 132593298 1602408448 388042 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 391213 388042 409 719 0 390492 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1564852
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16228
/proc/meminfo: memFree=28725008/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=1623628 CPUtime=1722.36
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 405525 0 0 0 160025 12211 0 0 25 0 1 0 132593298 1662595072 403289 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 405907 403289 409 719 0 405186 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 1623628
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16230
/proc/meminfo: memFree=28628976/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=1679064 CPUtime=1782.36
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 419932 0 0 0 165594 12642 0 0 25 0 1 0 132593298 1719361536 417696 4089446400 4194304 7136930 140734259973888 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 419766 417696 409 719 0 419045 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 1679064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16230
/proc/meminfo: memFree=28602304/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=1695016 CPUtime=1800.06
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 424083 0 0 0 167239 12767 0 0 25 0 1 0 132593298 1735696384 421847 4089446400 4194304 7136930 140734259973888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16144/statm: 423754 421847 409 719 0 423033 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1695016
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -16144
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16231
/proc/meminfo: memFree=28602296/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=1695016 CPUtime=1801.46
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 424089 0 0 0 167379 12767 0 0 25 0 1 0 132593298 1735696384 421853 4089446400 4194304 7136930 140734259973888 18446744073709551615 6165762 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16144/statm: 423754 421853 415 719 0 423033 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 1695016
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16231
/proc/meminfo: memFree=28600188/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=1695016 CPUtime=1801.86
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 424089 0 0 0 167419 12767 0 0 25 0 1 0 132593298 1735696384 421853 4089446400 4194304 7136930 140734259973888 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16144/statm: 423754 421853 415 719 0 423033 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 1695016
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16231
/proc/meminfo: memFree=28600188/32951124 swapFree=67111528/67111528
[pid=16144] ppid=16142 vsize=1695016 CPUtime=1802.06
/proc/16144/stat : 16144 (pbscip.linux.x8) R 16142 16144 16083 0 -1 4202496 424089 0 0 0 167439 12767 0 0 25 0 1 0 132593298 1735696384 421853 4089446400 4194304 7136930 140734259973888 18446744073709551615 6165654 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16144/statm: 423754 421853 415 719 0 423033 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 1695016
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.06
CPU time (s): 1802.13
CPU user time (s): 1674.4
CPU system time (s): 127.729
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1695016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1674.4
system time used= 127.729
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 424089
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= 1
involuntary context switches= 2692
runsolver used 3.3035 second user time and 6.45902 second system time
The end
Begin job on node141 at 2010-06-30 17:49:41
IDJOB=2693606
IDBENCH=79005
IDSOLVER=1206
FILE ID=node141/2693606-1277912981
PBS_JOBID= 11197297
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-tlan2.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-2693606-1277912981/watcher-2693606-1277912981 -o /tmp/evaluation-result-2693606-1277912981/solver-2693606-1277912981 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693606-1277912981.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0247a92efb3a5cf006eb89af633011d2
RANDOM SEED=178116660
node141.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.788
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.57
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.788
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.68
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.788
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.83
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.788
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.788
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.788
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.788
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.788
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: 31392524 kB
Buffers: 196452 kB
Cached: 1142644 kB
SwapCached: 0 kB
Active: 646752 kB
Inactive: 768844 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31392524 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3504 kB
Writeback: 0 kB
AnonPages: 76728 kB
Mapped: 15248 kB
Slab: 79212 kB
PageTables: 4468 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 220336 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74204 MiB
End job on node141 at 2010-06-30 18:19:43