0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2700152-1278534178.wbo>
0.00/0.01 c original problem has 1800 variables (1000 bin, 0 int, 0 impl, 800 cont) and 1701 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1000 impls, 0 clqs
0.00/0.03 c (round 2) 100 del vars, 101 del conss, 800 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1000 impls, 0 clqs
0.04/0.05 c (0.0s) probing: 101/900 (11.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.04/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.04/0.05 c presolving (3 rounds):
0.04/0.05 c 100 deleted vars, 101 deleted constraints, 800 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.04/0.05 c 1000 implications, 0 cliques
0.04/0.05 c presolved problem has 1700 variables (900 bin, 0 int, 0 impl, 800 cont) and 1600 constraints
0.04/0.05 c 800 constraints of type <indicator>
0.04/0.05 c 800 constraints of type <linear>
0.04/0.05 c transformed objective value is always integral (scale: 1)
0.04/0.05 c Presolving Time: 0.03
0.04/0.05 c - non default parameters ----------------------------------------------------------------------
0.04/0.05 c # SCIP version 1.2.1.2
0.04/0.05 c
0.04/0.05 c # frequency for displaying node information lines
0.04/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.04/0.05 c display/freq = 10000
0.04/0.05 c
0.04/0.05 c # maximal time in seconds to run
0.04/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.05 c limits/time = 1799.99
0.04/0.05 c
0.04/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.04/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.05 c limits/memory = 3420
0.04/0.05 c
0.04/0.05 c # should presolving try to simplify inequalities
0.04/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.05 c constraints/linear/simplifyinequalities = TRUE
0.04/0.05 c
0.04/0.05 c # should presolving try to simplify knapsacks
0.04/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.04/0.05 c
0.04/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.04/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.05 c separating/rapidlearning/freq = 0
0.04/0.05 c
0.04/0.05 c -----------------------------------------------------------------------------------------------
0.04/0.05 c start solving
0.04/0.05 c
0.04/0.05 o 394238
0.04/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.04/0.05 c t 0.0s| 1 | 0 | 0 | - |5796k| 0 | - |1700 |1600 | 0 | 0 | 0 | 0 | 0 | -- | 3.942380e+05 | Inf
0.04/0.06 c 0.0s| 1 | 0 | 0 | - |6169k| 0 | 0 |1700 |1600 |1700 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.04/0.06 c 0.0s| 1 | 0 | 33 | - |6203k| 0 | 3 |1700 |1600 |1700 | 60 | 60 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.04/0.06 c 0.1s| 1 | 0 | 113 | - |6258k| 0 | 51 |1700 |1600 |1700 | 110 | 110 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.04/0.08 c 0.1s| 1 | 0 | 180 | - |6424k| 0 | 71 |1700 |1600 |1700 | 167 | 167 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.04/0.09 c 0.1s| 1 | 0 | 224 | - |6481k| 0 | 76 |1700 |1600 |1700 | 183 | 183 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 245 | - |6508k| 0 | 78 |1700 |1600 |1700 | 188 | 188 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 246 | - |6533k| 0 | 78 |1700 |1600 |1700 | 189 | 189 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.29/0.32 c 0.3s| 1 | 2 | 383 | - |6565k| 0 | 78 |1700 |1600 |1700 | 189 | 189 | 0 | 33 | 0.000000e+00 | 3.942380e+05 | Inf
11.79/11.84 c 11.5s| 10000 | 10001 | 71932 | 7.2 | 19M| 93 | 0 |1700 |1601 |1700 | 276 | 13k| 1 | 790 | 0.000000e+00 | 3.942380e+05 | Inf
20.49/20.56 c 20.0s| 20000 | 20001 |112212 | 5.6 | 29M| 111 | 5 |1700 |1601 |1700 | 273 | 23k| 1 | 790 | 0.000000e+00 | 3.942380e+05 | Inf
28.99/29.01 c 28.3s| 30000 | 30001 |149401 | 5.0 | 39M| 115 | 8 |1700 |1601 |1700 | 223 | 32k| 1 | 803 | 0.000000e+00 | 3.942380e+05 | Inf
37.59/37.62 c 36.8s| 40000 | 40001 |194211 | 4.8 | 49M| 115 | 13 |1700 |1601 |1700 | 258 | 42k| 1 | 896 | 0.000000e+00 | 3.942380e+05 | Inf
46.00/46.01 c 44.9s| 50000 | 50001 |229633 | 4.6 | 59M| 115 | 0 |1700 |1601 |1700 | 272 | 51k| 1 | 983 | 0.000000e+00 | 3.942380e+05 | Inf
54.59/54.69 c 53.4s| 60000 | 60001 |273767 | 4.6 | 68M| 115 | 0 |1700 |1601 |1700 | 300 | 61k| 1 |1107 | 0.000000e+00 | 3.942380e+05 | Inf
63.49/63.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.49/63.54 c 62.0s| 70000 | 70001 |325244 | 4.6 | 78M| 217 | 5 |1700 |1601 |1700 | 209 | 70k| 1 |1256 | 0.000000e+00 | 3.942380e+05 | Inf
71.50/71.55 c 69.9s| 80000 | 79999 |359131 | 4.5 | 88M| 217 | 0 |1700 |1602 |1700 | 291 | 77k| 2 |1358 | 0.000000e+00 | 3.942380e+05 | Inf
79.49/79.59 c 77.7s| 90000 | 89999 |395462 | 4.4 | 98M| 217 | 0 |1700 |1602 |1700 | 252 | 83k| 2 |1445 | 0.000000e+00 | 3.942380e+05 | Inf
87.19/87.24 c 85.2s|100000 | 99997 |421417 | 4.2 | 108M| 217 | 4 |1700 |1604 |1700 | 229 | 88k| 4 |1536 | 0.000000e+00 | 3.942380e+05 | Inf
94.89/94.92 c 92.7s|110000 |109997 |446277 | 4.1 | 118M| 217 | 0 |1700 |1604 |1700 | 295 | 93k| 4 |1614 | 0.000000e+00 | 3.942380e+05 | Inf
102.20/102.29 c 99.9s|120000 |119997 |464510 | 3.9 | 127M| 217 | 0 |1700 |1604 |1700 | 293 | 98k| 4 |1655 | 0.000000e+00 | 3.942380e+05 | Inf
109.59/109.64 c 107s|130000 |129997 |481403 | 3.7 | 137M| 217 | 0 |1700 |1604 |1700 | 333 | 102k| 4 |1688 | 0.000000e+00 | 3.942380e+05 | Inf
116.99/117.08 c 114s|140000 |139997 |502578 | 3.6 | 147M| 217 | 0 |1700 |1604 |1700 | 273 | 107k| 4 |1724 | 0.000000e+00 | 3.942380e+05 | Inf
124.49/124.53 c 122s|150000 |149997 |524417 | 3.5 | 157M| 217 | 5 |1700 |1604 |1700 | 245 | 111k| 4 |1791 | 0.000000e+00 | 3.942380e+05 | Inf
132.29/132.39 c 129s|160000 |159997 |555654 | 3.5 | 166M| 217 | 15 |1700 |1604 |1700 | 229 | 117k| 4 |1842 | 0.000000e+00 | 3.942380e+05 | Inf
139.79/139.84 c 137s|170000 |169997 |576768 | 3.4 | 176M| 217 | 0 |1700 |1604 |1700 | 290 | 122k| 4 |1897 | 0.000000e+00 | 3.942380e+05 | Inf
147.20/147.23 c 144s|180000 |179997 |597922 | 3.3 | 186M| 217 | 0 |1700 |1604 |1700 | 244 | 126k| 4 |1932 | 0.000000e+00 | 3.942380e+05 | Inf
154.79/154.89 c 151s|190000 |189997 |623819 | 3.3 | 196M| 217 | 0 |1700 |1604 |1700 | 283 | 131k| 4 |1993 | 0.000000e+00 | 3.942380e+05 | Inf
162.20/162.25 c 158s|200000 |199997 |640969 | 3.2 | 205M| 217 | 0 |1700 |1604 |1700 | 293 | 135k| 4 |2028 | 0.000000e+00 | 3.942380e+05 | Inf
169.69/169.79 c 166s|210000 |209997 |664663 | 3.2 | 215M| 217 | 0 |1700 |1604 |1700 | 285 | 141k| 4 |2064 | 0.000000e+00 | 3.942380e+05 | Inf
177.39/177.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
177.39/177.42 c 173s|220000 |219997 |690709 | 3.1 | 225M| 217 | 0 |1700 |1604 |1700 | 280 | 146k| 4 |2113 | 0.000000e+00 | 3.942380e+05 | Inf
184.70/184.80 c 180s|230000 |229995 |709663 | 3.1 | 235M| 217 | 5 |1700 |1608 |1700 | 304 | 150k| 8 |2155 | 0.000000e+00 | 3.942380e+05 | Inf
192.20/192.25 c 188s|240000 |239995 |731171 | 3.0 | 244M| 217 | 7 |1700 |1608 |1700 | 273 | 155k| 8 |2196 | 0.000000e+00 | 3.942380e+05 | Inf
199.49/199.52 c 195s|250000 |249995 |749375 | 3.0 | 254M| 217 | 0 |1700 |1608 |1700 | 286 | 159k| 8 |2233 | 0.000000e+00 | 3.942380e+05 | Inf
207.10/207.19 c 202s|260000 |259995 |778768 | 3.0 | 264M| 217 | 9 |1700 |1608 |1700 | 230 | 165k| 8 |2287 | 0.000000e+00 | 3.942380e+05 | Inf
214.60/214.66 c 210s|270000 |269995 |801384 | 3.0 | 274M| 217 | 0 |1700 |1608 |1700 | 319 | 170k| 8 |2337 | 0.000000e+00 | 3.942380e+05 | Inf
221.80/221.86 c 217s|280000 |279995 |817211 | 2.9 | 283M| 217 | 0 |1700 |1608 |1700 | 293 | 174k| 8 |2356 | 0.000000e+00 | 3.942380e+05 | Inf
229.00/229.08 c 224s|290000 |289995 |832415 | 2.9 | 293M| 217 | 0 |1700 |1608 |1700 | 251 | 178k| 8 |2372 | 0.000000e+00 | 3.942380e+05 | Inf
236.60/236.65 c 231s|300000 |299995 |854108 | 2.8 | 303M| 217 | 0 |1700 |1608 |1700 | 295 | 183k| 8 |2429 | 0.000000e+00 | 3.942380e+05 | Inf
243.60/243.62 c 238s|310000 |309995 |864186 | 2.8 | 313M| 217 | 0 |1700 |1608 |1700 | 290 | 186k| 8 |2435 | 0.000000e+00 | 3.942380e+05 | Inf
250.40/250.48 c 245s|320000 |319995 |873368 | 2.7 | 322M| 217 | 5 |1700 |1608 |1700 | 235 | 188k| 8 |2460 | 0.000000e+00 | 3.942380e+05 | Inf
257.80/257.80 c 252s|330000 |329995 |891111 | 2.7 | 332M| 217 | 0 |1700 |1608 |1700 | 259 | 192k| 8 |2480 | 0.000000e+00 | 3.942380e+05 | Inf
265.11/265.16 c 259s|340000 |339995 |909642 | 2.7 | 342M| 217 | 0 |1700 |1608 |1700 | 254 | 196k| 8 |2511 | 0.000000e+00 | 3.942380e+05 | Inf
272.39/272.48 c 266s|350000 |349995 |928868 | 2.7 | 351M| 217 | 0 |1700 |1608 |1700 | 284 | 200k| 8 |2536 | 0.000000e+00 | 3.942380e+05 | Inf
279.90/279.92 c 273s|360000 |359995 |949432 | 2.6 | 361M| 217 | 0 |1700 |1608 |1700 | 306 | 206k| 8 |2567 | 0.000000e+00 | 3.942380e+05 | Inf
287.30/287.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.30/287.38 c 281s|370000 |369995 |971077 | 2.6 | 371M| 217 | 0 |1700 |1608 |1700 | 273 | 211k| 8 |2595 | 0.000000e+00 | 3.942380e+05 | Inf
294.71/294.78 c 288s|380000 |379995 |988673 | 2.6 | 381M| 217 | 0 |1700 |1608 |1700 | 262 | 216k| 8 |2621 | 0.000000e+00 | 3.942380e+05 | Inf
302.00/302.07 c 295s|390000 |389995 | 1005k| 2.6 | 390M| 217 | 0 |1700 |1608 |1700 | 295 | 220k| 8 |2647 | 0.000000e+00 | 3.942380e+05 | Inf
309.69/309.71 c 303s|400000 |399995 | 1029k| 2.6 | 400M| 217 | 0 |1700 |1608 |1700 | 269 | 225k| 8 |2688 | 0.000000e+00 | 3.942380e+05 | Inf
317.20/317.27 c 310s|410000 |409995 | 1052k| 2.6 | 410M| 217 | 0 |1700 |1608 |1700 | 263 | 229k| 8 |2719 | 0.000000e+00 | 3.942380e+05 | Inf
324.70/324.76 c 317s|420000 |419995 | 1073k| 2.6 | 420M| 217 | 0 |1700 |1607 |1700 | 237 | 234k| 8 |2744 | 0.000000e+00 | 3.942380e+05 | Inf
332.00/332.01 c 324s|430000 |429995 | 1090k| 2.5 | 430M| 217 | 0 |1700 |1607 |1700 | 236 | 238k| 8 |2768 | 0.000000e+00 | 3.942380e+05 | Inf
339.70/339.70 c 332s|440000 |439995 | 1115k| 2.5 | 439M| 217 | 2 |1700 |1607 |1700 | 227 | 241k| 8 |2793 | 0.000000e+00 | 3.942380e+05 | Inf
347.40/347.48 c 339s|450000 |449995 | 1142k| 2.5 | 449M| 217 | 0 |1700 |1607 |1700 | 271 | 246k| 8 |2824 | 0.000000e+00 | 3.942380e+05 | Inf
354.80/354.85 c 347s|460000 |459995 | 1163k| 2.5 | 459M| 217 | 0 |1700 |1607 |1700 | 303 | 251k| 8 |2863 | 0.000000e+00 | 3.942380e+05 | Inf
362.30/362.30 c 354s|470000 |469995 | 1184k| 2.5 | 469M| 217 | 0 |1700 |1607 |1700 | 299 | 255k| 8 |2895 | 0.000000e+00 | 3.942380e+05 | Inf
369.90/369.99 c 361s|480000 |479995 | 1208k| 2.5 | 478M| 217 | 0 |1700 |1607 |1700 | 251 | 259k| 8 |2931 | 0.000000e+00 | 3.942380e+05 | Inf
377.40/377.45 c 369s|490000 |489995 | 1228k| 2.5 | 488M| 217 | 0 |1700 |1607 |1700 | 303 | 263k| 8 |2961 | 0.000000e+00 | 3.942380e+05 | Inf
384.80/384.85 c 376s|500000 |499995 | 1248k| 2.5 | 498M| 217 | 0 |1700 |1607 |1700 | 320 | 268k| 8 |2986 | 0.000000e+00 | 3.942380e+05 | Inf
392.30/392.39 c 383s|510000 |509995 | 1273k| 2.5 | 508M| 217 | 10 |1700 |1607 |1700 | 266 | 273k| 8 |3011 | 0.000000e+00 | 3.942380e+05 | Inf
399.70/399.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
399.70/399.73 c 391s|520000 |519995 | 1291k| 2.5 | 518M| 217 | 0 |1700 |1607 |1700 | 290 | 277k| 8 |3038 | 0.000000e+00 | 3.942380e+05 | Inf
406.60/406.63 c 397s|530000 |529995 | 1300k| 2.5 | 527M| 217 | 0 |1700 |1607 |1700 | 264 | 279k| 8 |3047 | 0.000000e+00 | 3.942380e+05 | Inf
414.00/414.00 c 404s|540000 |539995 | 1320k| 2.4 | 537M| 217 | 0 |1700 |1607 |1700 | 287 | 284k| 8 |3062 | 0.000000e+00 | 3.942380e+05 | Inf
421.51/421.51 c 412s|550000 |549995 | 1343k| 2.4 | 547M| 217 | 0 |1700 |1607 |1700 | 299 | 289k| 8 |3099 | 0.000000e+00 | 3.942380e+05 | Inf
428.70/428.77 c 419s|560000 |559995 | 1362k| 2.4 | 557M| 217 | 0 |1700 |1607 |1700 | 279 | 295k| 8 |3114 | 0.000000e+00 | 3.942380e+05 | Inf
436.10/436.19 c 426s|570000 |569995 | 1382k| 2.4 | 566M| 217 | 0 |1700 |1607 |1700 | 265 | 299k| 8 |3137 | 0.000000e+00 | 3.942380e+05 | Inf
443.60/443.63 c 433s|580000 |579995 | 1403k| 2.4 | 576M| 217 | 0 |1700 |1607 |1700 | 290 | 303k| 8 |3162 | 0.000000e+00 | 3.942380e+05 | Inf
451.01/451.07 c 441s|590000 |589995 | 1424k| 2.4 | 586M| 217 | 0 |1700 |1607 |1700 | 286 | 309k| 8 |3187 | 0.000000e+00 | 3.942380e+05 | Inf
458.31/458.31 c 448s|600000 |599995 | 1442k| 2.4 | 596M| 217 | 6 |1700 |1607 |1700 | 265 | 313k| 8 |3215 | 0.000000e+00 | 3.942380e+05 | Inf
465.60/465.62 c 455s|610000 |609995 | 1460k| 2.4 | 606M| 217 | 0 |1700 |1607 |1700 | 304 | 318k| 8 |3242 | 0.000000e+00 | 3.942380e+05 | Inf
472.70/472.74 c 462s|620000 |619995 | 1474k| 2.4 | 615M| 217 | 0 |1700 |1607 |1700 | 295 | 322k| 8 |3267 | 0.000000e+00 | 3.942380e+05 | Inf
479.91/479.93 c 469s|630000 |629995 | 1492k| 2.4 | 625M| 217 | 0 |1700 |1607 |1700 | 301 | 327k| 8 |3293 | 0.000000e+00 | 3.942380e+05 | Inf
486.90/486.99 c 476s|640000 |639995 | 1507k| 2.4 | 635M| 217 | 0 |1700 |1607 |1700 | 259 | 332k| 8 |3302 | 0.000000e+00 | 3.942380e+05 | Inf
494.21/494.29 c 483s|650000 |649995 | 1526k| 2.3 | 645M| 217 | 9 |1700 |1607 |1700 | 267 | 336k| 8 |3317 | 0.000000e+00 | 3.942380e+05 | Inf
501.61/501.62 c 490s|660000 |659995 | 1544k| 2.3 | 654M| 217 | 0 |1700 |1607 |1700 | 308 | 340k| 8 |3340 | 0.000000e+00 | 3.942380e+05 | Inf
508.90/509.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
508.90/509.00 c 497s|670000 |669995 | 1562k| 2.3 | 664M| 217 | 0 |1700 |1607 |1700 | 298 | 344k| 8 |3363 | 0.000000e+00 | 3.942380e+05 | Inf
516.21/516.23 c 504s|680000 |679995 | 1579k| 2.3 | 674M| 217 | 0 |1700 |1607 |1700 | 283 | 349k| 8 |3387 | 0.000000e+00 | 3.942380e+05 | Inf
523.41/523.49 c 511s|690000 |689995 | 1597k| 2.3 | 684M| 217 | 0 |1700 |1607 |1700 | 273 | 353k| 8 |3410 | 0.000000e+00 | 3.942380e+05 | Inf
530.81/530.82 c 519s|700000 |699995 | 1618k| 2.3 | 693M| 217 | 0 |1700 |1607 |1700 | 221 | 358k| 8 |3435 | 0.000000e+00 | 3.942380e+05 | Inf
538.31/538.30 c 526s|710000 |709995 | 1640k| 2.3 | 703M| 217 | 0 |1700 |1607 |1700 | 293 | 363k| 8 |3461 | 0.000000e+00 | 3.942380e+05 | Inf
545.61/545.61 c 533s|720000 |719995 | 1659k| 2.3 | 713M| 217 | 0 |1700 |1607 |1700 | 261 | 368k| 8 |3482 | 0.000000e+00 | 3.942380e+05 | Inf
552.90/552.90 c 540s|730000 |729995 | 1677k| 2.3 | 723M| 217 | 0 |1700 |1607 |1700 | 261 | 373k| 8 |3499 | 0.000000e+00 | 3.942380e+05 | Inf
560.11/560.16 c 547s|740000 |739995 | 1695k| 2.3 | 732M| 217 | 0 |1700 |1607 |1700 | 282 | 377k| 8 |3511 | 0.000000e+00 | 3.942380e+05 | Inf
567.51/567.56 c 555s|750000 |749995 | 1715k| 2.3 | 742M| 217 | 0 |1700 |1607 |1700 | 334 | 382k| 8 |3537 | 0.000000e+00 | 3.942380e+05 | Inf
574.70/574.70 c 561s|760000 |759993 | 1732k| 2.3 | 752M| 217 | 0 |1700 |1610 |1700 | 286 | 387k| 11 |3562 | 0.000000e+00 | 3.942380e+05 | Inf
581.82/581.81 c 568s|770000 |769993 | 1749k| 2.3 | 762M| 217 | 0 |1700 |1610 |1700 | 273 | 391k| 11 |3587 | 0.000000e+00 | 3.942380e+05 | Inf
588.91/588.92 c 575s|780000 |779993 | 1766k| 2.3 | 771M| 217 | 0 |1700 |1609 |1700 | 302 | 396k| 11 |3609 | 0.000000e+00 | 3.942380e+05 | Inf
596.31/596.36 c 583s|790000 |789993 | 1785k| 2.3 | 781M| 217 | 8 |1700 |1609 |1700 | 256 | 400k| 11 |3633 | 0.000000e+00 | 3.942380e+05 | Inf
603.61/603.61 c 590s|800000 |799993 | 1802k| 2.3 | 791M| 217 | 0 |1700 |1609 |1700 | 299 | 404k| 11 |3644 | 0.000000e+00 | 3.942380e+05 | Inf
610.61/610.67 c 597s|810000 |809993 | 1815k| 2.2 | 800M| 217 | 0 |1700 |1609 |1700 | 297 | 408k| 11 |3661 | 0.000000e+00 | 3.942380e+05 | Inf
617.71/617.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
617.71/617.75 c 604s|820000 |819993 | 1828k| 2.2 | 810M| 217 | 0 |1700 |1609 |1700 | 267 | 411k| 11 |3683 | 0.000000e+00 | 3.942380e+05 | Inf
625.01/625.06 c 611s|830000 |829993 | 1846k| 2.2 | 820M| 217 | 0 |1700 |1609 |1700 | 288 | 416k| 11 |3691 | 0.000000e+00 | 3.942380e+05 | Inf
632.42/632.49 c 618s|840000 |839993 | 1868k| 2.2 | 830M| 217 | 0 |1700 |1609 |1700 | 225 | 420k| 11 |3720 | 0.000000e+00 | 3.942380e+05 | Inf
639.51/639.57 c 625s|850000 |849993 | 1882k| 2.2 | 839M| 217 | 0 |1700 |1609 |1700 | 274 | 423k| 11 |3736 | 0.000000e+00 | 3.942380e+05 | Inf
646.72/646.76 c 632s|860000 |859993 | 1897k| 2.2 | 849M| 217 | 0 |1700 |1609 |1700 | 255 | 427k| 11 |3757 | 0.000000e+00 | 3.942380e+05 | Inf
654.01/654.00 c 639s|870000 |869993 | 1912k| 2.2 | 859M| 217 | 0 |1700 |1609 |1700 | 259 | 431k| 11 |3779 | 0.000000e+00 | 3.942380e+05 | Inf
661.01/661.02 c 646s|880000 |879993 | 1923k| 2.2 | 868M| 217 | 0 |1700 |1609 |1700 | 275 | 434k| 11 |3781 | 0.000000e+00 | 3.942380e+05 | Inf
668.11/668.10 c 653s|890000 |889993 | 1937k| 2.2 | 878M| 217 | 0 |1700 |1609 |1700 | 278 | 438k| 11 |3804 | 0.000000e+00 | 3.942380e+05 | Inf
675.32/675.38 c 660s|900000 |899993 | 1954k| 2.2 | 888M| 217 | 0 |1700 |1608 |1700 | 305 | 442k| 11 |3819 | 0.000000e+00 | 3.942380e+05 | Inf
682.62/682.68 c 667s|910000 |909993 | 1971k| 2.2 | 898M| 217 | 0 |1700 |1608 |1700 | 279 | 445k| 11 |3825 | 0.000000e+00 | 3.942380e+05 | Inf
690.01/690.03 c 674s|920000 |919993 | 1988k| 2.2 | 907M| 217 | 0 |1700 |1608 |1700 | 289 | 449k| 11 |3847 | 0.000000e+00 | 3.942380e+05 | Inf
697.11/697.17 c 681s|930000 |929993 | 2004k| 2.2 | 917M| 217 | 0 |1700 |1608 |1700 | 271 | 454k| 11 |3864 | 0.000000e+00 | 3.942380e+05 | Inf
704.62/704.61 c 688s|940000 |939993 | 2026k| 2.2 | 927M| 217 | 0 |1700 |1607 |1700 | 299 | 459k| 11 |3886 | 0.000000e+00 | 3.942380e+05 | Inf
711.62/711.69 c 695s|950000 |949993 | 2039k| 2.1 | 937M| 217 | 0 |1700 |1607 |1700 | 262 | 462k| 11 |3886 | 0.000000e+00 | 3.942380e+05 | Inf
718.51/718.59 c 702s|960000 |959993 | 2048k| 2.1 | 946M| 217 | 0 |1700 |1607 |1700 | 277 | 465k| 11 |3907 | 0.000000e+00 | 3.942380e+05 | Inf
725.81/725.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
725.81/725.83 c 709s|970000 |969993 | 2066k| 2.1 | 956M| 217 | 4 |1700 |1607 |1700 | 301 | 470k| 11 |3925 | 0.000000e+00 | 3.942380e+05 | Inf
733.12/733.19 c 716s|980000 |979993 | 2085k| 2.1 | 966M| 217 | 21 |1700 |1607 |1700 | 258 | 474k| 11 |3936 | 0.000000e+00 | 3.942380e+05 | Inf
740.32/740.37 c 723s|990000 |989993 | 2101k| 2.1 | 975M| 217 | 0 |1700 |1607 |1700 | 257 | 478k| 11 |3946 | 0.000000e+00 | 3.942380e+05 | Inf
747.52/747.54 c 730s| 1000k|999993 | 2116k| 2.1 | 985M| 217 | 0 |1700 |1607 |1700 | 269 | 482k| 11 |3964 | 0.000000e+00 | 3.942380e+05 | Inf
755.32/755.33 c 738s| 1010k| 1009k| 2144k| 2.1 | 995M| 217 | 0 |1700 |1607 |1700 | 259 | 487k| 11 |3985 | 0.000000e+00 | 3.942380e+05 | Inf
762.91/762.98 c 746s| 1020k| 1019k| 2171k| 2.1 |1005M| 217 | 0 |1700 |1607 |1700 | 304 | 492k| 11 |4010 | 0.000000e+00 | 3.942380e+05 | Inf
770.22/770.21 c 753s| 1030k| 1029k| 2188k| 2.1 |1014M| 217 | 0 |1700 |1607 |1700 | 256 | 497k| 11 |4032 | 0.000000e+00 | 3.942380e+05 | Inf
777.62/777.62 c 760s| 1040k| 1039k| 2209k| 2.1 |1024M| 217 | 0 |1700 |1607 |1700 | 266 | 501k| 11 |4053 | 0.000000e+00 | 3.942380e+05 | Inf
784.81/784.87 c 767s| 1050k| 1049k| 2225k| 2.1 |1034M| 217 | 0 |1700 |1607 |1700 | 295 | 505k| 11 |4070 | 0.000000e+00 | 3.942380e+05 | Inf
792.12/792.16 c 774s| 1060k| 1059k| 2242k| 2.1 |1044M| 217 | 0 |1700 |1607 |1700 | 296 | 509k| 11 |4076 | 0.000000e+00 | 3.942380e+05 | Inf
799.42/799.47 c 781s| 1070k| 1069k| 2262k| 2.1 |1053M| 217 | 0 |1700 |1607 |1700 | 290 | 514k| 11 |4090 | 0.000000e+00 | 3.942380e+05 | Inf
806.61/806.69 c 788s| 1080k| 1079k| 2276k| 2.1 |1063M| 217 | 0 |1700 |1607 |1700 | 293 | 517k| 11 |4108 | 0.000000e+00 | 3.942380e+05 | Inf
813.82/813.89 c 795s| 1090k| 1089k| 2292k| 2.1 |1073M| 217 | 0 |1700 |1607 |1700 | 260 | 521k| 11 |4125 | 0.000000e+00 | 3.942380e+05 | Inf
821.12/821.19 c 802s| 1100k| 1099k| 2309k| 2.1 |1083M| 217 | 0 |1700 |1607 |1700 | 278 | 525k| 11 |4134 | 0.000000e+00 | 3.942380e+05 | Inf
828.33/828.36 c 809s| 1110k| 1109k| 2325k| 2.1 |1092M| 217 | 0 |1700 |1607 |1700 | 298 | 529k| 11 |4145 | 0.000000e+00 | 3.942380e+05 | Inf
835.62/835.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
835.62/835.66 c 817s| 1120k| 1119k| 2343k| 2.1 |1102M| 217 | 0 |1700 |1607 |1700 | 290 | 533k| 11 |4165 | 0.000000e+00 | 3.942380e+05 | Inf
843.52/843.52 c 824s| 1130k| 1129k| 2374k| 2.1 |1112M| 217 | 0 |1700 |1607 |1700 | 260 | 539k| 11 |4189 | 0.000000e+00 | 3.942380e+05 | Inf
850.92/850.91 c 832s| 1140k| 1139k| 2395k| 2.1 |1122M| 217 | 0 |1700 |1610 |1700 | 313 | 543k| 14 |4212 | 0.000000e+00 | 3.942380e+05 | Inf
858.42/858.40 c 839s| 1150k| 1149k| 2414k| 2.1 |1131M| 217 | 18 |1700 |1610 |1700 | 233 | 547k| 14 |4232 | 0.000000e+00 | 3.942380e+05 | Inf
865.72/865.70 c 846s| 1160k| 1159k| 2431k| 2.1 |1141M| 217 | 0 |1700 |1610 |1700 | 304 | 551k| 14 |4254 | 0.000000e+00 | 3.942380e+05 | Inf
872.92/872.97 c 853s| 1170k| 1169k| 2447k| 2.1 |1151M| 217 | 9 |1700 |1610 |1700 | 277 | 555k| 14 |4267 | 0.000000e+00 | 3.942380e+05 | Inf
880.12/880.19 c 860s| 1180k| 1179k| 2464k| 2.1 |1161M| 217 | 0 |1700 |1610 |1700 | 262 | 559k| 14 |4275 | 0.000000e+00 | 3.942380e+05 | Inf
887.42/887.44 c 867s| 1190k| 1189k| 2480k| 2.1 |1170M| 217 | 0 |1700 |1610 |1700 | 266 | 563k| 14 |4298 | 0.000000e+00 | 3.942380e+05 | Inf
894.92/894.99 c 875s| 1200k| 1199k| 2503k| 2.1 |1180M| 217 | 20 |1700 |1609 |1700 | 289 | 567k| 14 |4321 | 0.000000e+00 | 3.942380e+05 | Inf
902.31/902.33 c 882s| 1210k| 1209k| 2521k| 2.1 |1190M| 217 | 0 |1700 |1608 |1700 | 278 | 571k| 14 |4342 | 0.000000e+00 | 3.942380e+05 | Inf
909.82/909.83 c 889s| 1220k| 1219k| 2542k| 2.1 |1199M| 217 | 0 |1700 |1608 |1700 | 260 | 576k| 14 |4356 | 0.000000e+00 | 3.942380e+05 | Inf
917.02/917.09 c 896s| 1230k| 1229k| 2558k| 2.1 |1209M| 217 | 0 |1700 |1608 |1700 | 293 | 580k| 14 |4371 | 0.000000e+00 | 3.942380e+05 | Inf
924.32/924.35 c 903s| 1240k| 1239k| 2576k| 2.1 |1219M| 217 | 0 |1700 |1608 |1700 | 264 | 584k| 14 |4390 | 0.000000e+00 | 3.942380e+05 | Inf
931.52/931.55 c 910s| 1250k| 1249k| 2591k| 2.1 |1229M| 217 | 0 |1700 |1608 |1700 | 266 | 588k| 14 |4407 | 0.000000e+00 | 3.942380e+05 | Inf
938.92/938.96 c 917s| 1260k| 1259k| 2612k| 2.1 |1238M| 217 | 0 |1700 |1608 |1700 | 297 | 593k| 14 |4422 | 0.000000e+00 | 3.942380e+05 | Inf
946.32/946.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
946.32/946.38 c 925s| 1270k| 1269k| 2634k| 2.1 |1248M| 217 | 0 |1700 |1608 |1700 | 294 | 599k| 14 |4435 | 0.000000e+00 | 3.942380e+05 | Inf
953.92/953.97 c 932s| 1280k| 1279k| 2657k| 2.1 |1258M| 217 | 0 |1700 |1609 |1700 | 259 | 604k| 15 |4459 | 0.000000e+00 | 3.942380e+05 | Inf
961.62/961.64 c 940s| 1290k| 1289k| 2683k| 2.1 |1268M| 217 | 6 |1700 |1609 |1700 | 264 | 609k| 15 |4488 | 0.000000e+00 | 3.942380e+05 | Inf
969.32/969.34 c 947s| 1300k| 1299k| 2710k| 2.1 |1278M| 217 | 0 |1700 |1609 |1700 | 281 | 614k| 15 |4518 | 0.000000e+00 | 3.942380e+05 | Inf
976.73/976.73 c 954s| 1310k| 1309k| 2728k| 2.1 |1287M| 217 | 0 |1700 |1609 |1700 | 279 | 618k| 15 |4530 | 0.000000e+00 | 3.942380e+05 | Inf
984.32/984.40 c 962s| 1320k| 1319k| 2752k| 2.1 |1297M| 217 | 0 |1700 |1609 |1700 | 261 | 623k| 15 |4552 | 0.000000e+00 | 3.942380e+05 | Inf
992.23/992.21 c 970s| 1330k| 1329k| 2780k| 2.1 |1307M| 217 | 0 |1700 |1609 |1700 | 223 | 629k| 15 |4582 | 0.000000e+00 | 3.942380e+05 | Inf
999.73/999.80 c 977s| 1340k| 1339k| 2802k| 2.1 |1317M| 217 | 3 |1700 |1609 |1700 | 230 | 634k| 15 |4608 | 0.000000e+00 | 3.942380e+05 | Inf
1007.12/1007.14 c 984s| 1350k| 1349k| 2819k| 2.1 |1326M| 217 | 0 |1700 |1609 |1700 | 240 | 638k| 15 |4628 | 0.000000e+00 | 3.942380e+05 | Inf
1014.53/1014.53 c 991s| 1360k| 1359k| 2838k| 2.1 |1336M| 217 | 0 |1700 |1609 |1700 | 290 | 643k| 15 |4641 | 0.000000e+00 | 3.942380e+05 | Inf
1022.03/1022.02 c 999s| 1370k| 1369k| 2859k| 2.1 |1346M| 217 | 0 |1700 |1609 |1700 | 275 | 647k| 15 |4652 | 0.000000e+00 | 3.942380e+05 | Inf
1029.32/1029.38 c 1006s| 1380k| 1379k| 2877k| 2.1 |1356M| 217 | 0 |1700 |1609 |1700 | 291 | 652k| 15 |4676 | 0.000000e+00 | 3.942380e+05 | Inf
1036.42/1036.47 c 1013s| 1390k| 1389k| 2890k| 2.1 |1365M| 217 | 0 |1700 |1609 |1700 | 328 | 655k| 15 |4683 | 0.000000e+00 | 3.942380e+05 | Inf
1043.83/1043.82 c 1020s| 1400k| 1399k| 2909k| 2.1 |1375M| 217 | 0 |1700 |1609 |1700 | 278 | 659k| 15 |4698 | 0.000000e+00 | 3.942380e+05 | Inf
1051.02/1051.01 c 1027s| 1410k| 1409k| 2924k| 2.1 |1385M| 217 | 0 |1700 |1609 |1700 | 273 | 662k| 15 |4720 | 0.000000e+00 | 3.942380e+05 | Inf
1058.62/1058.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1058.62/1058.65 c 1035s| 1420k| 1419k| 2951k| 2.1 |1395M| 217 | 0 |1700 |1609 |1700 | 267 | 668k| 15 |4742 | 0.000000e+00 | 3.942380e+05 | Inf
1066.02/1066.02 c 1042s| 1430k| 1429k| 2972k| 2.1 |1404M| 217 | 0 |1700 |1609 |1700 | 290 | 673k| 15 |4758 | 0.000000e+00 | 3.942380e+05 | Inf
1073.33/1073.39 c 1049s| 1440k| 1439k| 2992k| 2.1 |1414M| 217 | 9 |1700 |1609 |1700 | 238 | 677k| 15 |4768 | 0.000000e+00 | 3.942380e+05 | Inf
1080.82/1080.89 c 1056s| 1450k| 1449k| 3013k| 2.1 |1424M| 217 | 0 |1700 |1609 |1700 | 322 | 682k| 15 |4791 | 0.000000e+00 | 3.942380e+05 | Inf
1088.33/1088.30 c 1063s| 1460k| 1459k| 3033k| 2.1 |1433M| 217 | 8 |1700 |1609 |1700 | 259 | 686k| 15 |4814 | 0.000000e+00 | 3.942380e+05 | Inf
1095.63/1095.68 c 1071s| 1470k| 1469k| 3051k| 2.1 |1443M| 217 | 0 |1700 |1609 |1700 | 280 | 691k| 15 |4829 | 0.000000e+00 | 3.942380e+05 | Inf
1103.13/1103.11 c 1078s| 1480k| 1479k| 3071k| 2.1 |1453M| 217 | 0 |1700 |1609 |1700 | 281 | 695k| 15 |4836 | 0.000000e+00 | 3.942380e+05 | Inf
1110.43/1110.44 c 1085s| 1490k| 1489k| 3088k| 2.1 |1463M| 217 | 0 |1700 |1609 |1700 | 294 | 699k| 15 |4859 | 0.000000e+00 | 3.942380e+05 | Inf
1117.63/1117.68 c 1092s| 1500k| 1499k| 3102k| 2.1 |1472M| 217 | 0 |1700 |1609 |1700 | 277 | 703k| 15 |4873 | 0.000000e+00 | 3.942380e+05 | Inf
1125.02/1125.07 c 1099s| 1510k| 1509k| 3119k| 2.1 |1482M| 217 | 0 |1700 |1609 |1700 | 295 | 707k| 15 |4883 | 0.000000e+00 | 3.942380e+05 | Inf
1132.42/1132.43 c 1107s| 1520k| 1519k| 3139k| 2.1 |1492M| 217 | 0 |1700 |1609 |1700 | 286 | 711k| 15 |4906 | 0.000000e+00 | 3.942380e+05 | Inf
1139.73/1139.73 c 1114s| 1530k| 1529k| 3156k| 2.1 |1502M| 217 | 0 |1700 |1609 |1700 | 260 | 715k| 15 |4917 | 0.000000e+00 | 3.942380e+05 | Inf
1147.03/1147.07 c 1121s| 1540k| 1539k| 3174k| 2.1 |1511M| 217 | 12 |1700 |1609 |1700 | 256 | 720k| 15 |4932 | 0.000000e+00 | 3.942380e+05 | Inf
1154.32/1154.37 c 1128s| 1550k| 1549k| 3193k| 2.1 |1521M| 217 | 0 |1700 |1609 |1700 | 293 | 724k| 15 |4952 | 0.000000e+00 | 3.942380e+05 | Inf
1161.72/1161.77 c 1135s| 1560k| 1559k| 3212k| 2.1 |1531M| 217 | 0 |1700 |1609 |1700 | 264 | 728k| 15 |4970 | 0.000000e+00 | 3.942380e+05 | Inf
1169.13/1169.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1169.13/1169.19 c 1143s| 1570k| 1569k| 3232k| 2.1 |1541M| 217 | 0 |1700 |1609 |1700 | 252 | 733k| 15 |4978 | 0.000000e+00 | 3.942380e+05 | Inf
1176.53/1176.54 c 1150s| 1580k| 1579k| 3250k| 2.1 |1550M| 217 | 0 |1700 |1609 |1700 | 276 | 737k| 15 |4992 | 0.000000e+00 | 3.942380e+05 | Inf
1183.83/1183.84 c 1157s| 1590k| 1589k| 3267k| 2.1 |1560M| 217 | 0 |1700 |1609 |1700 | 291 | 741k| 15 |5011 | 0.000000e+00 | 3.942380e+05 | Inf
1191.03/1191.04 c 1164s| 1600k| 1599k| 3281k| 2.1 |1570M| 217 | 0 |1700 |1609 |1700 | 234 | 745k| 15 |5012 | 0.000000e+00 | 3.942380e+05 | Inf
1198.33/1198.36 c 1171s| 1610k| 1609k| 3299k| 2.0 |1579M| 217 | 0 |1700 |1609 |1700 | 297 | 749k| 15 |5034 | 0.000000e+00 | 3.942380e+05 | Inf
1205.54/1205.53 c 1178s| 1620k| 1619k| 3314k| 2.0 |1589M| 217 | 0 |1700 |1609 |1700 | 272 | 753k| 15 |5057 | 0.000000e+00 | 3.942380e+05 | Inf
1212.93/1212.97 c 1185s| 1630k| 1629k| 3333k| 2.0 |1599M| 217 | 4 |1700 |1609 |1700 | 273 | 757k| 15 |5063 | 0.000000e+00 | 3.942380e+05 | Inf
1220.22/1220.24 c 1193s| 1640k| 1639k| 3351k| 2.0 |1609M| 217 | 0 |1700 |1609 |1700 | 264 | 761k| 15 |5080 | 0.000000e+00 | 3.942380e+05 | Inf
1227.64/1227.66 c 1200s| 1650k| 1649k| 3372k| 2.0 |1618M| 217 | 33 |1700 |1609 |1700 | 221 | 766k| 15 |5101 | 0.000000e+00 | 3.942380e+05 | Inf
1234.93/1234.90 c 1207s| 1660k| 1659k| 3388k| 2.0 |1628M| 217 | 0 |1700 |1609 |1700 | 282 | 770k| 15 |5110 | 0.000000e+00 | 3.942380e+05 | Inf
1242.13/1242.14 c 1214s| 1670k| 1669k| 3404k| 2.0 |1638M| 217 | 0 |1700 |1609 |1700 | 277 | 774k| 15 |5120 | 0.000000e+00 | 3.942380e+05 | Inf
1249.33/1249.37 c 1221s| 1680k| 1679k| 3419k| 2.0 |1647M| 217 | 0 |1700 |1609 |1700 | 253 | 777k| 15 |5139 | 0.000000e+00 | 3.942380e+05 | Inf
1256.83/1256.80 c 1228s| 1690k| 1689k| 3439k| 2.0 |1657M| 217 | 0 |1700 |1609 |1700 | 256 | 782k| 15 |5144 | 0.000000e+00 | 3.942380e+05 | Inf
1264.03/1264.08 c 1235s| 1700k| 1699k| 3459k| 2.0 |1667M| 217 | 0 |1700 |1609 |1700 | 325 | 787k| 15 |5164 | 0.000000e+00 | 3.942380e+05 | Inf
1271.43/1271.50 c 1243s| 1710k| 1709k| 3480k| 2.0 |1677M| 217 | 6 |1700 |1608 |1700 | 280 | 793k| 15 |5184 | 0.000000e+00 | 3.942380e+05 | Inf
1278.73/1278.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.73/1278.78 c 1250s| 1720k| 1719k| 3497k| 2.0 |1687M| 217 | 0 |1700 |1608 |1700 | 276 | 798k| 15 |5201 | 0.000000e+00 | 3.942380e+05 | Inf
1286.03/1286.02 c 1257s| 1730k| 1729k| 3513k| 2.0 |1696M| 217 | 0 |1700 |1608 |1700 | 283 | 803k| 15 |5205 | 0.000000e+00 | 3.942380e+05 | Inf
1293.54/1293.59 c 1264s| 1740k| 1739k| 3538k| 2.0 |1706M| 217 | 3 |1700 |1608 |1700 | 234 | 808k| 15 |5228 | 0.000000e+00 | 3.942380e+05 | Inf
1301.13/1301.13 c 1272s| 1750k| 1749k| 3561k| 2.0 |1716M| 217 | 15 |1700 |1608 |1700 | 235 | 812k| 15 |5250 | 0.000000e+00 | 3.942380e+05 | Inf
1308.84/1308.82 c 1279s| 1760k| 1759k| 3586k| 2.0 |1726M| 217 | 0 |1700 |1608 |1700 | 279 | 817k| 15 |5273 | 0.000000e+00 | 3.942380e+05 | Inf
1316.34/1316.35 c 1286s| 1770k| 1769k| 3609k| 2.0 |1735M| 217 | 0 |1700 |1608 |1700 | 312 | 822k| 15 |5296 | 0.000000e+00 | 3.942380e+05 | Inf
1323.93/1323.99 c 1294s| 1780k| 1779k| 3632k| 2.0 |1745M| 217 | 0 |1700 |1609 |1700 | 265 | 826k| 16 |5309 | 0.000000e+00 | 3.942380e+05 | Inf
1331.53/1331.52 c 1301s| 1790k| 1789k| 3654k| 2.0 |1755M| 217 | 0 |1700 |1609 |1700 | 294 | 831k| 16 |5321 | 0.000000e+00 | 3.942380e+05 | Inf
1339.04/1339.08 c 1309s| 1800k| 1799k| 3676k| 2.0 |1765M| 217 | 0 |1700 |1609 |1700 | 300 | 836k| 16 |5350 | 0.000000e+00 | 3.942380e+05 | Inf
1346.44/1346.49 c 1316s| 1810k| 1809k| 3696k| 2.0 |1774M| 217 | 0 |1700 |1609 |1700 | 316 | 840k| 16 |5366 | 0.000000e+00 | 3.942380e+05 | Inf
1353.84/1353.84 c 1323s| 1820k| 1819k| 3715k| 2.0 |1784M| 217 | 0 |1700 |1609 |1700 | 279 | 844k| 16 |5376 | 0.000000e+00 | 3.942380e+05 | Inf
1361.14/1361.17 c 1330s| 1830k| 1829k| 3734k| 2.0 |1794M| 217 | 0 |1700 |1609 |1700 | 302 | 849k| 16 |5398 | 0.000000e+00 | 3.942380e+05 | Inf
1368.54/1368.59 c 1337s| 1840k| 1839k| 3754k| 2.0 |1804M| 217 | 0 |1700 |1609 |1700 | 283 | 853k| 16 |5421 | 0.000000e+00 | 3.942380e+05 | Inf
1376.14/1376.13 c 1345s| 1850k| 1849k| 3777k| 2.0 |1813M| 217 | 0 |1700 |1609 |1700 | 301 | 858k| 16 |5438 | 0.000000e+00 | 3.942380e+05 | Inf
1383.64/1383.68 c 1352s| 1860k| 1859k| 3798k| 2.0 |1823M| 217 | 0 |1700 |1609 |1700 | 299 | 863k| 16 |5447 | 0.000000e+00 | 3.942380e+05 | Inf
1390.94/1390.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1390.94/1390.99 c 1359s| 1870k| 1869k| 3814k| 2.0 |1833M| 217 | 0 |1700 |1609 |1700 | 291 | 867k| 16 |5472 | 0.000000e+00 | 3.942380e+05 | Inf
1398.33/1398.36 c 1367s| 1880k| 1879k| 3833k| 2.0 |1843M| 217 | 0 |1700 |1609 |1700 | 260 | 871k| 16 |5477 | 0.000000e+00 | 3.942380e+05 | Inf
1405.74/1405.73 c 1374s| 1890k| 1889k| 3852k| 2.0 |1852M| 217 | 0 |1700 |1609 |1700 | 275 | 876k| 16 |5497 | 0.000000e+00 | 3.942380e+05 | Inf
1412.94/1412.97 c 1381s| 1900k| 1899k| 3869k| 2.0 |1862M| 217 | 0 |1700 |1609 |1700 | 279 | 880k| 16 |5520 | 0.000000e+00 | 3.942380e+05 | Inf
1420.24/1420.24 c 1388s| 1910k| 1909k| 3887k| 2.0 |1872M| 217 | 0 |1700 |1609 |1700 | 288 | 884k| 16 |5521 | 0.000000e+00 | 3.942380e+05 | Inf
1427.44/1427.43 c 1395s| 1920k| 1919k| 3901k| 2.0 |1882M| 217 | 0 |1700 |1609 |1700 | 284 | 888k| 16 |5539 | 0.000000e+00 | 3.942380e+05 | Inf
1434.94/1434.98 c 1402s| 1930k| 1929k| 3924k| 2.0 |1891M| 217 | 0 |1700 |1609 |1700 | 299 | 893k| 16 |5562 | 0.000000e+00 | 3.942380e+05 | Inf
1442.43/1442.40 c 1410s| 1940k| 1939k| 3945k| 2.0 |1901M| 217 | 0 |1700 |1609 |1700 | 254 | 897k| 16 |5570 | 0.000000e+00 | 3.942380e+05 | Inf
1449.94/1449.94 c 1417s| 1950k| 1949k| 3968k| 2.0 |1911M| 217 | 0 |1700 |1608 |1700 | 295 | 902k| 16 |5589 | 0.000000e+00 | 3.942380e+05 | Inf
1457.33/1457.39 c 1424s| 1960k| 1959k| 3988k| 2.0 |1921M| 217 | 0 |1700 |1608 |1700 | 271 | 907k| 16 |5611 | 0.000000e+00 | 3.942380e+05 | Inf
1464.93/1464.90 c 1432s| 1970k| 1969k| 4010k| 2.0 |1930M| 217 | 0 |1700 |1608 |1700 | 262 | 912k| 16 |5632 | 0.000000e+00 | 3.942380e+05 | Inf
1472.34/1472.35 c 1439s| 1980k| 1979k| 4030k| 2.0 |1940M| 217 | 0 |1700 |1608 |1700 | 277 | 916k| 16 |5633 | 0.000000e+00 | 3.942380e+05 | Inf
1479.74/1479.79 c 1446s| 1990k| 1989k| 4049k| 2.0 |1950M| 217 | 0 |1700 |1608 |1700 | 289 | 920k| 16 |5657 | 0.000000e+00 | 3.942380e+05 | Inf
1486.94/1486.99 c 1453s| 2000k| 1999k| 4064k| 2.0 |1960M| 217 | 0 |1700 |1608 |1700 | 285 | 924k| 16 |5675 | 0.000000e+00 | 3.942380e+05 | Inf
1494.24/1494.24 c 1460s| 2010k| 2009k| 4078k| 2.0 |1969M| 217 | 0 |1700 |1608 |1700 | 280 | 928k| 16 |5681 | 0.000000e+00 | 3.942380e+05 | Inf
1501.45/1501.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1501.45/1501.49 c 1467s| 2020k| 2019k| 4095k| 2.0 |1979M| 217 | 0 |1700 |1608 |1700 | 298 | 932k| 16 |5701 | 0.000000e+00 | 3.942380e+05 | Inf
1508.74/1508.74 c 1474s| 2030k| 2029k| 4111k| 2.0 |1989M| 217 | 13 |1700 |1608 |1700 | 260 | 936k| 16 |5702 | 0.000000e+00 | 3.942380e+05 | Inf
1515.94/1515.95 c 1482s| 2040k| 2039k| 4127k| 2.0 |1998M| 217 | 20 |1700 |1608 |1700 | 240 | 940k| 16 |5721 | 0.000000e+00 | 3.942380e+05 | Inf
1523.14/1523.14 c 1489s| 2050k| 2049k| 4143k| 2.0 |2008M| 217 | 0 |1700 |1607 |1700 | 314 | 944k| 16 |5721 | 0.000000e+00 | 3.942380e+05 | Inf
1530.44/1530.49 c 1496s| 2060k| 2059k| 4161k| 2.0 |2018M| 217 | 0 |1700 |1607 |1700 | 274 | 948k| 16 |5737 | 0.000000e+00 | 3.942380e+05 | Inf
1537.63/1537.61 c 1503s| 2070k| 2069k| 4173k| 2.0 |2028M| 217 | 0 |1700 |1607 |1700 | 280 | 952k| 16 |5747 | 0.000000e+00 | 3.942380e+05 | Inf
1544.84/1544.86 c 1510s| 2080k| 2079k| 4189k| 2.0 |2037M| 217 | 0 |1700 |1607 |1700 | 292 | 955k| 16 |5756 | 0.000000e+00 | 3.942380e+05 | Inf
1552.04/1552.05 c 1517s| 2090k| 2089k| 4204k| 2.0 |2047M| 217 | 0 |1700 |1607 |1700 | 260 | 959k| 16 |5769 | 0.000000e+00 | 3.942380e+05 | Inf
1559.54/1559.52 c 1524s| 2100k| 2099k| 4225k| 2.0 |2057M| 217 | 0 |1700 |1607 |1700 | 221 | 964k| 16 |5775 | 0.000000e+00 | 3.942380e+05 | Inf
1566.74/1566.77 c 1531s| 2110k| 2109k| 4240k| 2.0 |2067M| 217 | 0 |1700 |1607 |1700 | 224 | 967k| 16 |5791 | 0.000000e+00 | 3.942380e+05 | Inf
1574.14/1574.13 c 1538s| 2120k| 2119k| 4260k| 2.0 |2076M| 217 | 0 |1700 |1607 |1700 | 293 | 972k| 16 |5796 | 0.000000e+00 | 3.942380e+05 | Inf
1581.45/1581.49 c 1546s| 2130k| 2129k| 4277k| 2.0 |2086M| 217 | 0 |1700 |1607 |1700 | 291 | 976k| 16 |5809 | 0.000000e+00 | 3.942380e+05 | Inf
1589.04/1589.04 c 1553s| 2140k| 2139k| 4300k| 2.0 |2096M| 217 | 0 |1700 |1607 |1700 | 270 | 981k| 16 |5825 | 0.000000e+00 | 3.942380e+05 | Inf
1596.24/1596.26 c 1560s| 2150k| 2149k| 4316k| 2.0 |2105M| 217 | 0 |1700 |1607 |1700 | 293 | 985k| 16 |5827 | 0.000000e+00 | 3.942380e+05 | Inf
1603.84/1603.83 c 1568s| 2160k| 2159k| 4338k| 2.0 |2115M| 217 | 0 |1700 |1607 |1700 | 243 | 989k| 16 |5845 | 0.000000e+00 | 3.942380e+05 | Inf
1611.04/1611.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1611.04/1611.02 c 1574s| 2170k| 2169k| 4354k| 2.0 |2125M| 217 | 24 |1700 |1607 |1700 | 243 | 993k| 16 |5866 | 0.000000e+00 | 3.942380e+05 | Inf
1618.34/1618.36 c 1582s| 2180k| 2179k| 4372k| 2.0 |2135M| 217 | 0 |1700 |1607 |1700 | 236 | 997k| 16 |5868 | 0.000000e+00 | 3.942380e+05 | Inf
1625.54/1625.58 c 1589s| 2190k| 2189k| 4388k| 2.0 |2144M| 217 | 0 |1700 |1607 |1700 | 235 |1001k| 16 |5887 | 0.000000e+00 | 3.942380e+05 | Inf
1633.05/1633.01 c 1596s| 2200k| 2199k| 4407k| 2.0 |2154M| 217 | 0 |1700 |1607 |1700 | 217 |1005k| 16 |5895 | 0.000000e+00 | 3.942380e+05 | Inf
1640.34/1640.36 c 1603s| 2210k| 2209k| 4425k| 2.0 |2164M| 217 | 2 |1700 |1607 |1700 | 295 |1009k| 16 |5905 | 0.000000e+00 | 3.942380e+05 | Inf
1647.74/1647.79 c 1610s| 2220k| 2219k| 4445k| 2.0 |2174M| 217 | 0 |1700 |1607 |1700 | 288 |1014k| 16 |5924 | 0.000000e+00 | 3.942380e+05 | Inf
1655.14/1655.12 c 1617s| 2230k| 2229k| 4462k| 2.0 |2183M| 217 | 0 |1700 |1607 |1700 | 277 |1018k| 16 |5927 | 0.000000e+00 | 3.942380e+05 | Inf
1662.64/1662.65 c 1625s| 2240k| 2239k| 4481k| 2.0 |2193M| 217 | 0 |1700 |1607 |1700 | 282 |1023k| 16 |5948 | 0.000000e+00 | 3.942380e+05 | Inf
1669.84/1669.86 c 1632s| 2250k| 2249k| 4496k| 2.0 |2203M| 217 | 0 |1700 |1607 |1700 | 278 |1026k| 16 |5965 | 0.000000e+00 | 3.942380e+05 | Inf
1677.24/1677.20 c 1639s| 2260k| 2259k| 4513k| 2.0 |2213M| 217 | 0 |1700 |1607 |1700 | 307 |1031k| 16 |5968 | 0.000000e+00 | 3.942380e+05 | Inf
1684.34/1684.31 c 1646s| 2270k| 2269k| 4524k| 2.0 |2222M| 217 | 0 |1700 |1607 |1700 | 292 |1034k| 16 |5987 | 0.000000e+00 | 3.942380e+05 | Inf
1691.55/1691.58 c 1653s| 2280k| 2279k| 4539k| 2.0 |2232M| 217 | 0 |1700 |1607 |1700 | 281 |1038k| 16 |5989 | 0.000000e+00 | 3.942380e+05 | Inf
1698.75/1698.79 c 1660s| 2290k| 2289k| 4555k| 2.0 |2242M| 217 | 0 |1700 |1607 |1700 | 282 |1042k| 16 |6004 | 0.000000e+00 | 3.942380e+05 | Inf
1706.15/1706.10 c 1667s| 2300k| 2299k| 4573k| 2.0 |2252M| 217 | 0 |1700 |1607 |1700 | 287 |1046k| 16 |6008 | 0.000000e+00 | 3.942380e+05 | Inf
1713.35/1713.32 c 1674s| 2310k| 2309k| 4589k| 2.0 |2261M| 217 | 0 |1700 |1607 |1700 | 265 |1050k| 16 |6024 | 0.000000e+00 | 3.942380e+05 | Inf
1720.74/1720.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1720.74/1720.73 c 1681s| 2320k| 2319k| 4607k| 2.0 |2271M| 217 | 0 |1700 |1607 |1700 | 238 |1055k| 16 |6043 | 0.000000e+00 | 3.942380e+05 | Inf
1728.14/1728.15 c 1688s| 2330k| 2329k| 4626k| 2.0 |2281M| 217 | 0 |1700 |1607 |1700 | 287 |1059k| 16 |6045 | 0.000000e+00 | 3.942380e+05 | Inf
1735.75/1735.76 c 1696s| 2340k| 2339k| 4652k| 2.0 |2291M| 217 | 0 |1700 |1607 |1700 | 260 |1064k| 16 |6063 | 0.000000e+00 | 3.942380e+05 | Inf
1743.45/1743.43 c 1703s| 2350k| 2349k| 4677k| 2.0 |2300M| 217 | 0 |1700 |1607 |1700 | 301 |1069k| 16 |6084 | 0.000000e+00 | 3.942380e+05 | Inf
1750.74/1750.71 c 1710s| 2360k| 2359k| 4694k| 2.0 |2310M| 217 | 0 |1700 |1607 |1700 | 272 |1074k| 16 |6100 | 0.000000e+00 | 3.942380e+05 | Inf
1757.85/1757.83 c 1717s| 2370k| 2369k| 4709k| 2.0 |2320M| 217 | 0 |1700 |1607 |1700 | 271 |1078k| 16 |6103 | 0.000000e+00 | 3.942380e+05 | Inf
1765.24/1765.25 c 1724s| 2380k| 2379k| 4727k| 2.0 |2330M| 217 | 14 |1700 |1607 |1700 | 229 |1082k| 16 |6121 | 0.000000e+00 | 3.942380e+05 | Inf
1772.64/1772.64 c 1731s| 2390k| 2389k| 4747k| 2.0 |2339M| 217 | 0 |1700 |1607 |1700 | 269 |1086k| 16 |6126 | 0.000000e+00 | 3.942380e+05 | Inf
1779.95/1779.91 c 1738s| 2400k| 2399k| 4764k| 2.0 |2349M| 217 | 0 |1700 |1607 |1700 | 282 |1090k| 16 |6142 | 0.000000e+00 | 3.942380e+05 | Inf
1787.25/1787.27 c 1746s| 2410k| 2409k| 4782k| 2.0 |2359M| 217 | 11 |1700 |1607 |1700 | 263 |1094k| 16 |6157 | 0.000000e+00 | 3.942380e+05 | Inf
1794.55/1794.50 c 1753s| 2420k| 2419k| 4798k| 2.0 |2369M| 217 | 5 |1700 |1607 |1700 | 244 |1098k| 16 |6160 | 0.000000e+00 | 3.942380e+05 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1758.00
1800.05/1800.00 c Solving Nodes : 2427306
1800.05/1800.00 c Primal Bound : +3.94238000000000e+05 (100 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.01 s SATISFIABLE
1800.05/1800.01 v x200 -x199 x198 -x197 x196 -x195 x194 -x193 x192 -x191 x190 -x189 x188 -x187 x186 -x185 x184 -x183 x182 -x181 x180 -x179 x178 -x177
1800.05/1800.01 v x176 -x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 x158 -x157 x156 -x155
1800.05/1800.01 v x154 -x153 x152 -x151 x150 -x149 x148 -x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 x134 -x133 x132
1800.05/1800.01 v -x131 x130 -x129 x128 -x127 x126 -x125 x124 -x123 x122 -x121 x120 -x119 x118 -x117 x116 -x115 x114 -x113 x112 -x111 x110 -x109
1800.05/1800.01 v x108 -x107 x106 -x105 x104 -x103 x102 -x101 x100 -x99 x98 -x97 x96 -x95 x94 -x93 x92 -x91 x90 -x89 x88 -x87 x86 -x85 x84
1800.05/1800.01 v -x83 x82 -x81 x80 -x79 x78 -x77 x76 -x75 x74 -x73 x72 -x71 x70 -x69 x68 -x67 x66 -x65 x64 -x63 x62 -x61 x60 -x59 x58 -x57 x56
1800.05/1800.01 v -x55 x54 -x53 x52 -x51 x50 -x49 x48 -x47 x46 -x45 x44 -x43 x42 -x41 x40 -x39 x38 -x37 x36 -x35 x34 -x33 x32 -x31 x30 -x29 x28
1800.05/1800.01 v -x27 x26 -x25 x24 -x23 x22 -x21 x20 -x19 x18 -x17 x16 -x15 x14 -x13 x12 -x11 x10 -x9 x8 -x7 x6 -x5 x4 -x3 x2 -x1
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time : 1758.00
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2700152-1278534178.wbo
1800.05/1800.01 c Variables : 1800 (1000 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.05/1800.01 c Constraints : 1701 initial, 1701 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2700152-1278534178.wbo
1800.05/1800.01 c Variables : 1700 (900 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.05/1800.01 c Constraints : 1600 initial, 1610 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.01 0 100 0 800 0 101 0 0
1800.05/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c root node : - 0 - - 0 - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 2734348 0 0 0 0 0 764530
1800.05/1800.01 c indicator : 800 0 3334592 2352083 0 0 2433539 0 0 0
1800.05/1800.01 c linear : 800 6 3334592 2352083 0 8 1001528 1102214 0 0
1800.05/1800.01 c logicor : 0+ 0 142168 0 0 0 30799 0 0 0
1800.05/1800.01 c countsols : 0 0 0 2045035 0 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.01 c integral : 9.02 0.00 0.00 9.02 0.00
1800.05/1800.01 c indicator : 148.13 0.05 31.37 116.71 0.00
1800.05/1800.01 c linear : 39.37 0.00 14.97 24.40 0.00
1800.05/1800.01 c logicor : 0.13 0.00 0.13 0.00 0.00
1800.05/1800.01 c countsols : 0.31 0.00 0.00 0.31 0.00
1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.01 c vbounds : 0.68 2 0 0
1800.05/1800.01 c rootredcost : 0.59 0 0 0
1800.05/1800.01 c pseudoobj : 48.61 3334392 0 0
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 0.00 8 8 8 5.1 8 3.4 -
1800.05/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.01 c applied globally : - - - 16 4.2 - - -
1800.05/1800.01 c applied locally : - - - 0 0.0 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 4 - - 0 - (maximal pool size: 51)
1800.05/1800.01 c redcost : 90.23 2733603 0 0 0 0
1800.05/1800.01 c impliedbounds : 0.00 5 0 0 0 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.02 5 0 0 55 0
1800.05/1800.01 c strongcg : 0.01 5 0 0 0 0
1800.05/1800.01 c cmir : 0.01 5 0 0 0 0
1800.05/1800.01 c flowcover : 0.03 5 0 0 0 0
1800.05/1800.01 c clique : 0.00 1 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 1 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 8.19 382265 0 0 0 0 764530
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 124.99 2045035 0 0 0 0 4090070
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.00 - 0
1800.05/1800.01 c pseudo solutions : 0.00 - 0
1800.05/1800.01 c feaspump : 0.00 0 0
1800.05/1800.01 c oneopt : 1.40 1 0
1800.05/1800.01 c intshifting : 0.02 18 0
1800.05/1800.01 c crossover : 1.09 13 0
1800.05/1800.01 c linesearchdiving : 11.10 22352 0
1800.05/1800.01 c guideddiving : 11.11 22352 0
1800.05/1800.01 c coefdiving : 10.69 22352 0
1800.05/1800.01 c trivial : 0.00 2 1
1800.05/1800.01 c simplerounding : 1.09 382170 0
1800.05/1800.01 c zirounding : 0.62 1000 0
1800.05/1800.01 c rounding : 1.07 8644 0
1800.05/1800.01 c shifting : 1.39 2676 0
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c pscostdiving : 10.78 22352 0
1800.05/1800.01 c fracdiving : 11.17 22351 0
1800.05/1800.01 c veclendiving : 11.00 22351 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c objpscostdiving : 12.14 22334 0
1800.05/1800.01 c rootsoldiving : 11.65 22334 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.02 1 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c nlp : 0.56 0 0
1800.05/1800.01 c trysol : 1.10 25821 99
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.01 c dual LP : 746.75 853982 4813697 5.64 6446.20
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 0.09 231 909 3.94 10100.00
1800.05/1800.01 c strong branching : 5.60 6176 74878 12.12 13371.07
1800.05/1800.01 c (at root node) : - 33 3759 113.91 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 2427306
1800.05/1800.01 c nodes (total) : 2427306
1800.05/1800.01 c nodes left : 2427295
1800.05/1800.01 c max depth : 217
1800.05/1800.01 c max depth (total): 217
1800.05/1800.01 c backtracks : 22460 (0.9%)
1800.05/1800.01 c delayed cutoffs : 0
1800.05/1800.01 c repropagations : 57 (14 domain reductions, 0 cutoffs)
1800.05/1800.01 c avg switch length: 2.25
1800.05/1800.01 c switching time : 71.34
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 100 (1 improvements)
1800.05/1800.01 c First Solution : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.05/1800.01 c Primal Bound : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Root Iterations : 246
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700152-1278534178/watcher-2700152-1278534178 -o /tmp/evaluation-result-2700152-1278534178/solver-2700152-1278534178 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700152-1278534178.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: 3.58 3.03 1.42 4/178 19890
/proc/meminfo: memFree=28984872/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=9408 CPUtime=0
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 1648 0 0 0 0 0 0 0 25 0 1 0 21631435 9633792 1567 4089446400 4194304 8223781 140736621547232 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/19890/statm: 2352 1575 369 984 0 1365 0
[startup+0.0535119 s]
/proc/loadavg: 3.58 3.03 1.42 4/178 19890
/proc/meminfo: memFree=28984872/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=20296 CPUtime=0.04
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 5298 0 0 0 4 0 0 0 25 0 1 0 21631435 20783104 4082 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 5074 4082 462 984 0 4087 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 20296
[startup+0.100502 s]
/proc/loadavg: 3.58 3.03 1.42 4/178 19890
/proc/meminfo: memFree=28984872/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=23104 CPUtime=0.09
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 6120 0 0 0 9 0 0 0 25 0 1 0 21631435 23658496 4894 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 5776 4894 564 984 0 4789 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23104
[startup+0.300466 s]
/proc/loadavg: 3.58 3.03 1.42 4/178 19890
/proc/meminfo: memFree=28984872/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=23416 CPUtime=0.29
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 9019 0 0 0 28 1 0 0 25 0 1 0 21631435 23977984 4975 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 5854 4975 578 984 0 4867 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23416
[startup+0.700394 s]
/proc/loadavg: 3.58 3.03 1.42 4/178 19890
/proc/meminfo: memFree=28984872/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=23416 CPUtime=0.69
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 9019 0 0 0 67 2 0 0 25 0 1 0 21631435 23977984 4975 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 5854 4975 578 984 0 4867 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23416
[startup+1.50024 s]
/proc/loadavg: 3.58 3.03 1.42 3/179 19891
/proc/meminfo: memFree=28966140/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=23544 CPUtime=1.49
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 9062 0 0 0 146 3 0 0 25 0 1 0 21631435 24109056 5017 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 5886 5017 581 984 0 4899 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23544
[startup+3.10095 s]
/proc/loadavg: 3.46 3.01 1.43 3/179 19891
/proc/meminfo: memFree=28963908/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=27300 CPUtime=3.09
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 14685 0 0 0 301 8 0 0 25 0 1 0 21631435 27955200 5948 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 6825 5948 584 984 0 5838 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27300
[startup+6.30037 s]
/proc/loadavg: 3.46 3.01 1.43 3/179 19891
/proc/meminfo: memFree=28953120/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=30668 CPUtime=6.29
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 21187 0 0 0 613 16 0 0 25 0 1 0 21631435 31404032 6794 4089446400 4194304 8223781 140736621547232 18446744073709551615 4903021 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 7667 6794 588 984 0 6680 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30668
[startup+12.7002 s]
/proc/loadavg: 3.23 2.98 1.43 3/179 19891
/proc/meminfo: memFree=28936032/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=39508 CPUtime=12.69
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 26290 0 0 0 1237 32 0 0 25 0 1 0 21631435 40456192 9042 4089446400 4194304 8223781 140736621547232 18446744073709551615 4834569 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 9877 9042 588 984 0 8890 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39508
[startup+25.5009 s]
/proc/loadavg: 3.04 2.95 1.44 3/179 19892
/proc/meminfo: memFree=28901764/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=53648 CPUtime=25.49
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 35637 0 0 0 2490 59 0 0 25 0 1 0 21631435 54935552 12650 4089446400 4194304 8223781 140736621547232 18446744073709551615 6436202 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 13412 12650 588 984 0 12425 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53648
[startup+51.1002 s]
/proc/loadavg: 2.69 2.87 1.45 3/179 19892
/proc/meminfo: memFree=28842316/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=86204 CPUtime=51.09
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 46761 0 0 0 4992 117 0 0 25 0 1 0 21631435 88272896 20894 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 21551 20894 588 984 0 20564 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 86204
[startup+102.307 s]
/proc/loadavg: 2.27 2.72 1.48 3/179 19894
/proc/meminfo: memFree=28716276/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=150392 CPUtime=102.3
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 65462 0 0 0 9988 242 0 0 25 0 1 0 21631435 154001408 36681 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 37598 36681 588 984 0 36611 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 150392
[startup+162.301 s]
/proc/loadavg: 2.10 2.59 1.51 3/179 19895
/proc/meminfo: memFree=28580328/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=230024 CPUtime=162.29
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 84674 0 0 0 15846 383 0 0 25 0 1 0 21631435 235544576 55882 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 57506 55882 588 984 0 56519 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 230024
[startup+222.301 s]
/proc/loadavg: 2.03 2.48 1.54 3/179 19897
/proc/meminfo: memFree=28437440/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=309616 CPUtime=222.3
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 107751 0 0 0 21709 521 0 0 25 0 1 0 21631435 317046784 76086 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 77404 76086 588 984 0 76417 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 309616
[startup+282.301 s]
/proc/loadavg: 2.01 2.39 1.56 3/179 19898
/proc/meminfo: memFree=28292304/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=387528 CPUtime=282.3
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 127537 0 0 0 27578 652 0 0 25 0 1 0 21631435 396828672 95872 4089446400 4194304 8223781 140736621547232 18446744073709551615 6162525 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 96882 95872 588 984 0 95895 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 387528
[startup+342.301 s]
/proc/loadavg: 2.00 2.31 1.59 3/179 19900
/proc/meminfo: memFree=28150656/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=466320 CPUtime=342.3
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 150429 0 0 0 33442 788 0 0 25 0 1 0 21631435 477511680 115895 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 116580 115895 589 984 0 115593 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 466320
[startup+402.301 s]
/proc/loadavg: 2.00 2.26 1.61 3/179 19902
/proc/meminfo: memFree=28012704/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=549748 CPUtime=402.31
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 169559 0 0 0 39305 926 0 0 25 0 1 0 21631435 562941952 135017 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 137437 135017 588 984 0 136450 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 549748
[startup+462.301 s]
/proc/loadavg: 2.00 2.21 1.63 3/179 19903
/proc/meminfo: memFree=27867316/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=628672 CPUtime=462.3
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 189614 0 0 0 45166 1064 0 0 25 0 1 0 21631435 643760128 155068 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 157168 155068 588 984 0 156181 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 628672
[startup+522.301 s]
/proc/loadavg: 2.00 2.17 1.65 3/179 19905
/proc/meminfo: memFree=27720684/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=706884 CPUtime=522.31
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 209487 0 0 0 51030 1201 0 0 25 0 1 0 21631435 723849216 174941 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 176721 174941 588 984 0 175734 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 706884
[startup+582.301 s]
/proc/loadavg: 2.00 2.13 1.67 3/179 19906
/proc/meminfo: memFree=27572816/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=788840 CPUtime=582.31
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 230297 0 0 0 56894 1337 0 0 25 0 1 0 21631435 807772160 195748 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 197210 195748 588 984 0 196223 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 788840
[startup+642.301 s]
/proc/loadavg: 2.00 2.11 1.69 3/179 19908
/proc/meminfo: memFree=27424568/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=866260 CPUtime=642.31
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 252835 0 0 0 62758 1473 0 0 25 0 1 0 21631435 887050240 215427 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 216565 215427 588 984 0 215578 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 866260
[startup+702.301 s]
################
# More data... #
################
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 371611 0 0 0 97944 2288 0 0 25 0 1 0 21631435 1382481920 334195 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 337520 334195 588 984 0 336533 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1350080
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 1.79 3/179 19919
/proc/meminfo: memFree=26419548/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=1429752 CPUtime=1062.32
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 391842 0 0 0 103808 2424 0 0 25 0 1 0 21631435 1464066048 354426 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 357438 354426 588 984 0 356451 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1429752
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 1.80 3/179 19921
/proc/meminfo: memFree=26287432/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=1507568 CPUtime=1122.32
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 411624 0 0 0 109671 2561 0 0 25 0 1 0 21631435 1543749632 374208 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 376892 374208 588 984 0 375905 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1507568
[startup+1182.3 s]
/proc/loadavg: 2.06 2.03 1.82 3/179 19922
/proc/meminfo: memFree=26147508/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=1587328 CPUtime=1182.33
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 431868 0 0 0 115542 2691 0 0 25 0 1 0 21631435 1625423872 394452 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 396832 394452 588 984 0 395845 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1587328
[startup+1242.3 s]
/proc/loadavg: 2.09 2.04 1.83 3/179 19924
/proc/meminfo: memFree=26014024/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=1666496 CPUtime=1242.33
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 454859 0 0 0 121406 2827 0 0 25 0 1 0 21631435 1706491904 414592 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 416624 414592 588 984 0 415637 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1666496
[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 1.83 3/179 19926
/proc/meminfo: memFree=25884880/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=1741532 CPUtime=1302.34
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 473910 0 0 0 127270 2964 0 0 25 0 1 0 21631435 1783328768 433642 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 435383 433642 588 984 0 434396 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1741532
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.84 3/179 19927
/proc/meminfo: memFree=25755360/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=1817024 CPUtime=1362.33
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 493105 0 0 0 133126 3107 0 0 25 0 1 0 21631435 1860632576 452835 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 454256 452835 588 984 0 453269 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1817024
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 1.85 3/179 19929
/proc/meminfo: memFree=25624108/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=1897824 CPUtime=1422.34
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 513664 0 0 0 138997 3237 0 0 25 0 1 0 21631435 1943371776 473351 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 474456 473351 588 984 0 473469 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1897824
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.85 3/179 19930
/proc/meminfo: memFree=25488632/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=1972908 CPUtime=1482.34
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 532765 0 0 0 144865 3369 0 0 25 0 1 0 21631435 2020257792 492452 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 493227 492452 588 984 0 492240 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1972908
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 19932
/proc/meminfo: memFree=25355412/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=2083912 CPUtime=1542.33
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 552634 0 0 0 150731 3502 0 0 25 0 1 0 21631435 2133925888 512321 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 520978 512321 588 984 0 519991 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2083912
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 19934
/proc/meminfo: memFree=25219836/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=2163568 CPUtime=1602.34
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 572879 0 0 0 156599 3635 0 0 25 0 1 0 21631435 2215493632 532566 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 540892 532566 588 984 0 539905 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2163568
[startup+1662.3 s]
/proc/loadavg: 1.97 1.98 1.86 3/179 19963
/proc/meminfo: memFree=27000776/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=2241256 CPUtime=1662.34
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 592624 0 0 0 162417 3817 0 0 25 0 1 0 21631435 2295046144 552311 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 560314 552311 588 984 0 559327 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 2241256
[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.87 3/179 19965
/proc/meminfo: memFree=26917520/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=2322060 CPUtime=1722.35
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 613129 0 0 0 168239 3996 0 0 25 0 1 0 21631435 2377789440 572815 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 580515 572815 588 984 0 579528 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 2322060
[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.88 3/179 19966
/proc/meminfo: memFree=26837616/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=2399532 CPUtime=1782.34
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 632810 0 0 0 174081 4153 0 0 25 0 1 0 21631435 2457120768 592496 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 599883 592496 588 984 0 598896 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2399532
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.99 1.98 1.88 3/179 19967
/proc/meminfo: memFree=26815036/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=2421740 CPUtime=1800.05
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 638472 0 0 0 175801 4204 0 0 25 0 1 0 21631435 2479861760 598155 4089446400 4194304 8223781 140736621547232 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19890/statm: 605435 598155 588 984 0 604448 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2421740
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -19890
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.99 1.98 1.88 3/180 19968
/proc/meminfo: memFree=26815024/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=2421740 CPUtime=1801.45
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 638474 0 0 0 175941 4204 0 0 25 0 1 0 21631435 2479861760 598157 4089446400 4194304 8223781 140736621547232 18446744073709551615 6162153 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/19890/statm: 605435 598157 590 984 0 604448 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 2421740
[startup+1801.81 s]
/proc/loadavg: 1.99 1.98 1.88 3/180 19968
/proc/meminfo: memFree=26815024/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=2421740 CPUtime=1801.85
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 638474 0 0 0 175981 4204 0 0 25 0 1 0 21631435 2479861760 598157 4089446400 4194304 8223781 140736621547232 18446744073709551615 6206544 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/19890/statm: 605435 598157 590 984 0 604448 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 2421740
[startup+1802 s]
/proc/loadavg: 1.99 1.98 1.88 3/180 19968
/proc/meminfo: memFree=26815024/32950928 swapFree=67111528/67111528
[pid=19890] ppid=19888 vsize=2421740 CPUtime=1802.05
/proc/19890/stat : 19890 (pbscip.linux.x8) R 19888 19890 19007 0 -1 4202496 638474 0 0 0 176001 4204 0 0 25 0 1 0 21631435 2479861760 598157 4089446400 4194304 8223781 140736621547232 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/19890/statm: 605435 598157 590 984 0 604448 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 2421740
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.14
CPU user time (s): 1760.02
CPU system time (s): 42.1216
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2421740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1760.02
system time used= 42.1216
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 638474
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= 1271
runsolver used 2.6026 second user time and 5.83611 second system time
The end
Begin job on node116 at 2010-07-07 22:22:58
IDJOB=2700152
IDBENCH=79404
IDSOLVER=1204
FILE ID=node116/2700152-1278534178
PBS_JOBID= 11239246
Free space on /tmp= 73464 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh208_wcsp.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700152-1278534178/watcher-2700152-1278534178 -o /tmp/evaluation-result-2700152-1278534178/solver-2700152-1278534178 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700152-1278534178.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= bf55ab5b50211f096e62edcb64c4bf57
RANDOM SEED=601930967
node116.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.858
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.71
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.858
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.83
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.858
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
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.83
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.858
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.73
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.858
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.858
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
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: 32950928 kB
MemFree: 28985400 kB
Buffers: 139108 kB
Cached: 3377536 kB
SwapCached: 0 kB
Active: 1469884 kB
Inactive: 2342516 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 28985400 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4868 kB
Writeback: 0 kB
AnonPages: 296352 kB
Mapped: 15244 kB
Slab: 87536 kB
PageTables: 4968 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 438088 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= 73460 MiB
End job on node116 at 2010-07-07 22:53:00