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-2700248-1278534508.wbo>
0.00/0.01 c original problem has 2000 variables (1100 bin, 0 int, 0 impl, 900 cont) and 1901 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.02/0.03 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 0 clqs
0.02/0.03 c (round 2) 100 del vars, 101 del conss, 900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 0 clqs
0.02/0.06 c (0.0s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.02/0.06 c presolving (3 rounds):
0.02/0.06 c 100 deleted vars, 101 deleted constraints, 900 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.06 c 1100 implications, 0 cliques
0.02/0.06 c presolved problem has 1900 variables (1000 bin, 0 int, 0 impl, 900 cont) and 1800 constraints
0.02/0.06 c 900 constraints of type <indicator>
0.02/0.06 c 900 constraints of type <linear>
0.02/0.06 c transformed objective value is always integral (scale: 1)
0.02/0.06 c Presolving Time: 0.04
0.02/0.06 c - non default parameters ----------------------------------------------------------------------
0.02/0.06 c # SCIP version 1.2.1.2
0.02/0.06 c
0.02/0.06 c # frequency for displaying node information lines
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.06 c display/freq = 10000
0.02/0.06 c
0.02/0.06 c # maximal time in seconds to run
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/time = 1799.99
0.02/0.06 c
0.02/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/memory = 3420
0.02/0.06 c
0.02/0.06 c # should presolving try to simplify inequalities
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/linear/simplifyinequalities = TRUE
0.02/0.06 c
0.02/0.06 c # should presolving try to simplify knapsacks
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.06 c
0.02/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.06 c separating/rapidlearning/freq = 0
0.02/0.06 c
0.02/0.06 c -----------------------------------------------------------------------------------------------
0.02/0.06 c start solving
0.02/0.06 c
0.02/0.06 o 444854
0.02/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.02/0.06 c t 0.0s| 1 | 0 | 0 | - |6459k| 0 | - |1900 |1800 | 0 | 0 | 0 | 0 | 0 | -- | 4.448540e+05 | Inf
0.02/0.06 c 0.1s| 1 | 0 | 0 | - |6881k| 0 | 0 |1900 |1800 |1900 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.02/0.07 c 0.1s| 1 | 0 | 37 | - |6924k| 0 | 0 |1900 |1800 |1900 | 74 | 74 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.02/0.07 c 0.1s| 1 | 0 | 105 | - |6967k| 0 | 15 |1900 |1800 |1900 | 110 | 110 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.02/0.08 c 0.1s| 1 | 0 | 159 | - |7055k| 0 | 78 |1900 |1800 |1900 | 160 | 160 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.02/0.09 c 0.1s| 1 | 0 | 186 | - |7094k| 0 | 81 |1900 |1800 |1900 | 187 | 187 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 191 | - |7120k| 0 | 80 |1900 |1800 |1900 | 190 | 190 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 201 | - |7155k| 0 | 77 |1900 |1800 |1900 | 191 | 191 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.19/0.23 c 0.2s| 1 | 2 | 329 | - |7207k| 0 | 77 |1900 |1800 |1900 | 191 | 191 | 0 | 33 | 0.000000e+00 | 4.448540e+05 | Inf
11.29/11.35 c 11.1s| 10000 | 10001 | 50061 | 5.0 | 20M| 97 | 13 |1900 |1800 |1900 | 241 | 16k| 0 | 791 | 0.000000e+00 | 4.448540e+05 | Inf
20.49/20.57 c 20.2s| 20000 | 20001 |106243 | 5.3 | 30M| 147 | 0 |1900 |1800 |1900 | 266 | 31k| 0 | 791 | 0.000000e+00 | 4.448540e+05 | Inf
28.50/28.59 c 28.0s| 30000 | 30001 |130205 | 4.3 | 41M| 147 | 0 |1900 |1800 |1900 | 286 | 37k| 0 | 841 | 0.000000e+00 | 4.448540e+05 | Inf
36.89/36.99 c 36.3s| 40000 | 40001 |166524 | 4.2 | 51M| 147 | 0 |1900 |1800 |1900 | 297 | 46k| 0 | 952 | 0.000000e+00 | 4.448540e+05 | Inf
45.40/45.50 c 44.6s| 50000 | 50001 |204572 | 4.1 | 61M| 147 | 0 |1900 |1800 |1900 | 293 | 56k| 0 |1079 | 0.000000e+00 | 4.448540e+05 | Inf
53.90/53.98 c 53.0s| 60000 | 60001 |238896 | 4.0 | 72M| 147 | 7 |1900 |1800 |1900 | 254 | 66k| 0 |1187 | 0.000000e+00 | 4.448540e+05 | Inf
62.10/62.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.10/62.13 c 61.0s| 70000 | 70001 |260853 | 3.7 | 82M| 147 | 0 |1900 |1800 |1900 | 296 | 74k| 0 |1255 | 0.000000e+00 | 4.448540e+05 | Inf
70.19/70.26 c 68.9s| 80000 | 80001 |283755 | 3.5 | 92M| 147 | 0 |1900 |1800 |1900 | 283 | 81k| 0 |1324 | 0.000000e+00 | 4.448540e+05 | Inf
78.40/78.44 c 77.0s| 90000 | 90001 |309393 | 3.4 | 103M| 147 | 0 |1900 |1800 |1900 | 303 | 88k| 0 |1402 | 0.000000e+00 | 4.448540e+05 | Inf
86.70/86.75 c 85.1s|100000 |100001 |339443 | 3.4 | 113M| 147 | 26 |1900 |1800 |1900 | 238 | 96k| 0 |1475 | 0.000000e+00 | 4.448540e+05 | Inf
94.70/94.75 c 93.0s|110000 |110001 |363016 | 3.3 | 123M| 147 | 0 |1900 |1800 |1900 | 292 | 105k| 0 |1534 | 0.000000e+00 | 4.448540e+05 | Inf
102.70/102.70 c 101s|120000 |120001 |384659 | 3.2 | 133M| 147 | 0 |1900 |1800 |1900 | 283 | 113k| 0 |1589 | 0.000000e+00 | 4.448540e+05 | Inf
110.50/110.52 c 108s|130000 |130001 |402699 | 3.1 | 144M| 147 | 0 |1900 |1800 |1900 | 273 | 118k| 0 |1631 | 0.000000e+00 | 4.448540e+05 | Inf
118.29/118.33 c 116s|140000 |140001 |419861 | 3.0 | 154M| 147 | 0 |1900 |1800 |1900 | 268 | 125k| 0 |1658 | 0.000000e+00 | 4.448540e+05 | Inf
126.10/126.16 c 124s|150000 |150001 |437027 | 2.9 | 164M| 153 | 0 |1900 |1800 |1900 | 253 | 131k| 0 |1699 | 0.000000e+00 | 4.448540e+05 | Inf
134.00/134.00 c 132s|160000 |160001 |454608 | 2.8 | 174M| 153 | 0 |1900 |1800 |1900 | 302 | 137k| 0 |1725 | 0.000000e+00 | 4.448540e+05 | Inf
141.90/141.91 c 139s|170000 |170001 |475364 | 2.8 | 184M| 153 | 0 |1900 |1800 |1900 | 292 | 143k| 0 |1767 | 0.000000e+00 | 4.448540e+05 | Inf
149.80/149.82 c 147s|180000 |179999 |495023 | 2.7 | 195M| 153 | 0 |1900 |1801 |1900 | 296 | 149k| 1 |1790 | 0.000000e+00 | 4.448540e+05 | Inf
157.60/157.68 c 155s|190000 |189999 |512561 | 2.7 | 205M| 153 | 0 |1900 |1801 |1900 | 270 | 155k| 1 |1829 | 0.000000e+00 | 4.448540e+05 | Inf
165.60/165.67 c 163s|200000 |199999 |534418 | 2.7 | 215M| 153 | 0 |1900 |1801 |1900 | 299 | 161k| 1 |1866 | 0.000000e+00 | 4.448540e+05 | Inf
173.60/173.62 c 170s|210000 |209999 |552937 | 2.6 | 225M| 153 | 20 |1900 |1801 |1900 | 291 | 167k| 1 |1897 | 0.000000e+00 | 4.448540e+05 | Inf
181.70/181.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.70/181.73 c 178s|220000 |219999 |575319 | 2.6 | 236M| 153 | 0 |1900 |1801 |1900 | 299 | 175k| 1 |1947 | 0.000000e+00 | 4.448540e+05 | Inf
189.60/189.64 c 186s|230000 |229999 |596092 | 2.6 | 246M| 153 | 0 |1900 |1801 |1900 | 280 | 181k| 1 |1971 | 0.000000e+00 | 4.448540e+05 | Inf
197.61/197.67 c 194s|240000 |239999 |618223 | 2.6 | 256M| 153 | 4 |1900 |1801 |1900 | 284 | 188k| 1 |2018 | 0.000000e+00 | 4.448540e+05 | Inf
205.61/205.62 c 202s|250000 |249999 |640433 | 2.6 | 266M| 153 | 0 |1900 |1801 |1900 | 274 | 194k| 1 |2048 | 0.000000e+00 | 4.448540e+05 | Inf
213.50/213.52 c 210s|260000 |259999 |658170 | 2.5 | 277M| 153 | 0 |1900 |1801 |1900 | 295 | 200k| 1 |2085 | 0.000000e+00 | 4.448540e+05 | Inf
221.50/221.53 c 218s|270000 |269999 |679282 | 2.5 | 287M| 153 | 0 |1900 |1801 |1900 | 316 | 206k| 1 |2109 | 0.000000e+00 | 4.448540e+05 | Inf
229.60/229.69 c 226s|280000 |279999 |703944 | 2.5 | 297M| 153 | 0 |1900 |1801 |1900 | 279 | 214k| 1 |2154 | 0.000000e+00 | 4.448540e+05 | Inf
237.80/237.85 c 234s|290000 |289999 |729097 | 2.5 | 308M| 153 | 0 |1900 |1801 |1900 | 280 | 222k| 1 |2195 | 0.000000e+00 | 4.448540e+05 | Inf
245.90/245.95 c 242s|300000 |299999 |751826 | 2.5 | 318M| 153 | 0 |1900 |1801 |1900 | 283 | 228k| 1 |2221 | 0.000000e+00 | 4.448540e+05 | Inf
254.01/254.08 c 249s|310000 |309999 |773968 | 2.5 | 328M| 153 | 3 |1900 |1801 |1900 | 259 | 235k| 1 |2260 | 0.000000e+00 | 4.448540e+05 | Inf
262.01/262.07 c 257s|320000 |319999 |794651 | 2.5 | 339M| 153 | 0 |1900 |1801 |1900 | 284 | 241k| 1 |2289 | 0.000000e+00 | 4.448540e+05 | Inf
270.31/270.30 c 265s|330000 |329999 |821325 | 2.5 | 349M| 153 | 5 |1900 |1801 |1900 | 284 | 249k| 1 |2336 | 0.000000e+00 | 4.448540e+05 | Inf
278.10/278.13 c 273s|340000 |339999 |838633 | 2.5 | 359M| 153 | 4 |1900 |1801 |1900 | 282 | 253k| 1 |2369 | 0.000000e+00 | 4.448540e+05 | Inf
286.21/286.29 c 281s|350000 |349999 |863196 | 2.5 | 369M| 153 | 0 |1900 |1801 |1900 | 281 | 261k| 1 |2403 | 0.000000e+00 | 4.448540e+05 | Inf
294.50/294.57 c 289s|360000 |359999 |891679 | 2.5 | 380M| 153 | 0 |1900 |1801 |1900 | 259 | 269k| 1 |2450 | 0.000000e+00 | 4.448540e+05 | Inf
302.71/302.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
302.71/302.73 c 297s|370000 |369999 |918134 | 2.5 | 390M| 153 | 0 |1900 |1801 |1900 | 284 | 276k| 1 |2495 | 0.000000e+00 | 4.448540e+05 | Inf
310.70/310.78 c 305s|380000 |379999 |939959 | 2.5 | 400M| 153 | 0 |1900 |1801 |1900 | 292 | 283k| 1 |2518 | 0.000000e+00 | 4.448540e+05 | Inf
318.91/318.97 c 313s|390000 |389999 |965212 | 2.5 | 411M| 153 | 0 |1900 |1801 |1900 | 293 | 291k| 1 |2564 | 0.000000e+00 | 4.448540e+05 | Inf
327.00/327.01 c 321s|400000 |399999 |988726 | 2.5 | 421M| 153 | 0 |1900 |1801 |1900 | 284 | 298k| 1 |2588 | 0.000000e+00 | 4.448540e+05 | Inf
335.11/335.11 c 329s|410000 |409999 | 1009k| 2.5 | 431M| 153 | 0 |1900 |1801 |1900 | 294 | 303k| 1 |2619 | 0.000000e+00 | 4.448540e+05 | Inf
343.00/343.03 c 337s|420000 |419999 | 1026k| 2.4 | 442M| 153 | 0 |1900 |1801 |1900 | 285 | 308k| 1 |2647 | 0.000000e+00 | 4.448540e+05 | Inf
351.21/351.27 c 345s|430000 |429999 | 1053k| 2.4 | 452M| 153 | 0 |1900 |1801 |1900 | 302 | 316k| 1 |2679 | 0.000000e+00 | 4.448540e+05 | Inf
359.41/359.48 c 353s|440000 |439999 | 1080k| 2.5 | 462M| 153 | 16 |1900 |1801 |1900 | 223 | 324k| 1 |2724 | 0.000000e+00 | 4.448540e+05 | Inf
367.51/367.59 c 361s|450000 |449999 | 1104k| 2.5 | 473M| 155 | 0 |1900 |1801 |1900 | 297 | 331k| 1 |2742 | 0.000000e+00 | 4.448540e+05 | Inf
375.51/375.59 c 369s|460000 |459999 | 1125k| 2.4 | 483M| 155 | 0 |1900 |1801 |1900 | 279 | 338k| 1 |2775 | 0.000000e+00 | 4.448540e+05 | Inf
383.71/383.75 c 377s|470000 |469999 | 1152k| 2.5 | 493M| 155 | 0 |1900 |1801 |1900 | 279 | 346k| 1 |2804 | 0.000000e+00 | 4.448540e+05 | Inf
391.81/391.82 c 385s|480000 |479999 | 1175k| 2.4 | 503M| 159 | 0 |1900 |1801 |1900 | 286 | 352k| 1 |2828 | 0.000000e+00 | 4.448540e+05 | Inf
399.71/399.73 c 392s|490000 |489999 | 1192k| 2.4 | 514M| 161 | 0 |1900 |1801 |1900 | 303 | 358k| 1 |2860 | 0.000000e+00 | 4.448540e+05 | Inf
407.71/407.71 c 400s|500000 |499999 | 1213k| 2.4 | 524M| 161 | 4 |1900 |1801 |1900 | 283 | 364k| 1 |2893 | 0.000000e+00 | 4.448540e+05 | Inf
415.51/415.54 c 408s|510000 |509999 | 1230k| 2.4 | 534M| 161 | 0 |1900 |1801 |1900 | 314 | 369k| 1 |2915 | 0.000000e+00 | 4.448540e+05 | Inf
423.52/423.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
423.52/423.51 c 416s|520000 |519999 | 1251k| 2.4 | 545M| 161 | 0 |1900 |1801 |1900 | 280 | 375k| 1 |2942 | 0.000000e+00 | 4.448540e+05 | Inf
431.41/431.42 c 424s|530000 |529999 | 1269k| 2.4 | 555M| 161 | 0 |1900 |1801 |1900 | 280 | 381k| 1 |2965 | 0.000000e+00 | 4.448540e+05 | Inf
439.41/439.44 c 431s|540000 |539999 | 1292k| 2.4 | 565M| 161 | 0 |1900 |1801 |1900 | 279 | 388k| 1 |2993 | 0.000000e+00 | 4.448540e+05 | Inf
447.11/447.19 c 439s|550000 |549999 | 1306k| 2.4 | 575M| 161 | 0 |1900 |1801 |1900 | 282 | 392k| 1 |3019 | 0.000000e+00 | 4.448540e+05 | Inf
455.01/455.06 c 447s|560000 |559999 | 1324k| 2.4 | 586M| 161 | 0 |1900 |1801 |1900 | 296 | 397k| 1 |3045 | 0.000000e+00 | 4.448540e+05 | Inf
463.02/463.01 c 455s|570000 |569999 | 1345k| 2.4 | 596M| 161 | 0 |1900 |1801 |1900 | 288 | 404k| 1 |3067 | 0.000000e+00 | 4.448540e+05 | Inf
470.91/470.91 c 462s|580000 |579999 | 1363k| 2.4 | 606M| 161 | 4 |1900 |1801 |1900 | 270 | 409k| 1 |3086 | 0.000000e+00 | 4.448540e+05 | Inf
478.71/478.79 c 470s|590000 |589999 | 1378k| 2.3 | 616M| 161 | 0 |1900 |1801 |1900 | 274 | 414k| 1 |3114 | 0.000000e+00 | 4.448540e+05 | Inf
486.42/486.46 c 478s|600000 |599997 | 1389k| 2.3 | 626M| 161 | 0 |1900 |1802 |1900 | 272 | 417k| 2 |3133 | 0.000000e+00 | 4.448540e+05 | Inf
494.22/494.27 c 485s|610000 |609997 | 1405k| 2.3 | 637M| 161 | 0 |1900 |1802 |1900 | 296 | 422k| 2 |3144 | 0.000000e+00 | 4.448540e+05 | Inf
502.31/502.33 c 493s|620000 |619997 | 1427k| 2.3 | 647M| 161 | 0 |1900 |1802 |1900 | 263 | 429k| 2 |3180 | 0.000000e+00 | 4.448540e+05 | Inf
510.32/510.32 c 501s|630000 |629997 | 1446k| 2.3 | 657M| 161 | 0 |1900 |1802 |1900 | 288 | 435k| 2 |3207 | 0.000000e+00 | 4.448540e+05 | Inf
517.91/517.95 c 509s|640000 |639997 | 1455k| 2.3 | 667M| 161 | 0 |1900 |1802 |1900 | 279 | 438k| 2 |3208 | 0.000000e+00 | 4.448540e+05 | Inf
525.42/525.42 c 516s|650000 |649997 | 1463k| 2.3 | 678M| 161 | 0 |1900 |1802 |1900 | 280 | 440k| 2 |3227 | 0.000000e+00 | 4.448540e+05 | Inf
533.12/533.16 c 524s|660000 |659997 | 1475k| 2.2 | 688M| 161 | 0 |1900 |1802 |1900 | 295 | 443k| 2 |3250 | 0.000000e+00 | 4.448540e+05 | Inf
540.62/540.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
540.62/540.69 c 531s|670000 |669997 | 1484k| 2.2 | 698M| 161 | 0 |1900 |1802 |1900 | 288 | 446k| 2 |3257 | 0.000000e+00 | 4.448540e+05 | Inf
548.52/548.57 c 539s|680000 |679997 | 1500k| 2.2 | 708M| 161 | 0 |1900 |1802 |1900 | 294 | 451k| 2 |3273 | 0.000000e+00 | 4.448540e+05 | Inf
556.52/556.55 c 547s|690000 |689997 | 1520k| 2.2 | 718M| 161 | 0 |1900 |1802 |1900 | 246 | 456k| 2 |3293 | 0.000000e+00 | 4.448540e+05 | Inf
564.33/564.37 c 554s|700000 |699997 | 1538k| 2.2 | 729M| 175 | 6 |1900 |1802 |1900 | 220 | 461k| 2 |3315 | 0.000000e+00 | 4.448540e+05 | Inf
572.03/572.08 c 562s|710000 |709997 | 1552k| 2.2 | 739M| 175 | 0 |1900 |1802 |1900 | 276 | 465k| 2 |3320 | 0.000000e+00 | 4.448540e+05 | Inf
579.82/579.85 c 569s|720000 |719997 | 1565k| 2.2 | 749M| 175 | 4 |1900 |1802 |1900 | 262 | 469k| 2 |3340 | 0.000000e+00 | 4.448540e+05 | Inf
587.92/587.90 c 577s|730000 |729997 | 1589k| 2.2 | 760M| 175 | 0 |1900 |1802 |1900 | 323 | 476k| 2 |3363 | 0.000000e+00 | 4.448540e+05 | Inf
595.92/595.95 c 585s|740000 |739997 | 1613k| 2.2 | 770M| 175 | 0 |1900 |1802 |1900 | 304 | 483k| 2 |3400 | 0.000000e+00 | 4.448540e+05 | Inf
604.12/604.11 c 593s|750000 |749997 | 1639k| 2.2 | 780M| 175 | 0 |1900 |1802 |1900 | 291 | 491k| 2 |3426 | 0.000000e+00 | 4.448540e+05 | Inf
612.32/612.30 c 601s|760000 |759997 | 1666k| 2.2 | 790M| 175 | 0 |1900 |1802 |1900 | 278 | 500k| 2 |3452 | 0.000000e+00 | 4.448540e+05 | Inf
620.33/620.36 c 609s|770000 |769997 | 1686k| 2.2 | 801M| 175 | 0 |1900 |1802 |1900 | 301 | 506k| 2 |3477 | 0.000000e+00 | 4.448540e+05 | Inf
628.13/628.15 c 617s|780000 |779997 | 1699k| 2.2 | 811M| 175 | 0 |1900 |1802 |1900 | 281 | 510k| 2 |3488 | 0.000000e+00 | 4.448540e+05 | Inf
636.02/636.01 c 625s|790000 |789997 | 1715k| 2.2 | 821M| 175 | 0 |1900 |1802 |1900 | 285 | 515k| 2 |3514 | 0.000000e+00 | 4.448540e+05 | Inf
643.93/643.90 c 632s|800000 |799997 | 1733k| 2.2 | 831M| 175 | 0 |1900 |1802 |1900 | 289 | 521k| 2 |3536 | 0.000000e+00 | 4.448540e+05 | Inf
651.73/651.77 c 640s|810000 |809997 | 1751k| 2.2 | 842M| 175 | 0 |1900 |1802 |1900 | 290 | 526k| 2 |3552 | 0.000000e+00 | 4.448540e+05 | Inf
659.52/659.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
659.52/659.55 c 648s|820000 |819997 | 1768k| 2.2 | 852M| 181 | 0 |1900 |1802 |1900 | 278 | 531k| 2 |3574 | 0.000000e+00 | 4.448540e+05 | Inf
667.32/667.39 c 655s|830000 |829997 | 1786k| 2.2 | 862M| 181 | 0 |1900 |1802 |1900 | 279 | 536k| 2 |3586 | 0.000000e+00 | 4.448540e+05 | Inf
675.03/675.03 c 663s|840000 |839997 | 1799k| 2.1 | 872M| 181 | 13 |1900 |1802 |1900 | 298 | 540k| 2 |3593 | 0.000000e+00 | 4.448540e+05 | Inf
682.83/682.87 c 671s|850000 |849997 | 1820k| 2.1 | 883M| 181 | 0 |1900 |1802 |1900 | 299 | 546k| 2 |3612 | 0.000000e+00 | 4.448540e+05 | Inf
690.53/690.51 c 678s|860000 |859997 | 1833k| 2.1 | 893M| 181 | 0 |1900 |1802 |1900 | 279 | 549k| 2 |3634 | 0.000000e+00 | 4.448540e+05 | Inf
698.03/698.06 c 686s|870000 |869995 | 1845k| 2.1 | 903M| 197 | 0 |1900 |1804 |1900 | 304 | 553k| 4 |3651 | 0.000000e+00 | 4.448540e+05 | Inf
705.62/705.68 c 693s|880000 |879995 | 1861k| 2.1 | 913M| 197 | 0 |1900 |1804 |1900 | 285 | 557k| 4 |3661 | 0.000000e+00 | 4.448540e+05 | Inf
713.33/713.34 c 701s|890000 |889995 | 1878k| 2.1 | 924M| 197 | 0 |1900 |1804 |1900 | 281 | 562k| 4 |3677 | 0.000000e+00 | 4.448540e+05 | Inf
720.83/720.83 c 708s|900000 |899995 | 1889k| 2.1 | 934M| 197 | 0 |1900 |1804 |1900 | 281 | 565k| 4 |3700 | 0.000000e+00 | 4.448540e+05 | Inf
728.53/728.55 c 716s|910000 |909995 | 1906k| 2.1 | 944M| 197 | 4 |1900 |1804 |1900 | 285 | 570k| 4 |3724 | 0.000000e+00 | 4.448540e+05 | Inf
736.13/736.14 c 723s|920000 |919995 | 1919k| 2.1 | 954M| 197 | 0 |1900 |1804 |1900 | 282 | 574k| 4 |3725 | 0.000000e+00 | 4.448540e+05 | Inf
743.53/743.56 c 730s|930000 |929995 | 1929k| 2.1 | 965M| 197 | 0 |1900 |1804 |1900 | 284 | 577k| 4 |3748 | 0.000000e+00 | 4.448540e+05 | Inf
751.03/751.02 c 738s|940000 |939995 | 1939k| 2.1 | 975M| 197 | 0 |1900 |1804 |1900 | 274 | 580k| 4 |3753 | 0.000000e+00 | 4.448540e+05 | Inf
758.52/758.59 c 745s|950000 |949995 | 1954k| 2.1 | 985M| 197 | 0 |1900 |1804 |1900 | 298 | 583k| 4 |3772 | 0.000000e+00 | 4.448540e+05 | Inf
766.33/766.33 c 753s|960000 |959995 | 1972k| 2.1 | 995M| 197 | 0 |1900 |1804 |1900 | 281 | 588k| 4 |3797 | 0.000000e+00 | 4.448540e+05 | Inf
773.83/773.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
773.83/773.89 c 760s|970000 |969995 | 1986k| 2.0 |1005M| 197 | 14 |1900 |1804 |1900 | 230 | 592k| 4 |3811 | 0.000000e+00 | 4.448540e+05 | Inf
781.43/781.42 c 768s|980000 |979995 | 1999k| 2.0 |1016M| 197 | 0 |1900 |1804 |1900 | 297 | 595k| 4 |3820 | 0.000000e+00 | 4.448540e+05 | Inf
789.03/789.04 c 775s|990000 |989995 | 2017k| 2.0 |1026M| 197 | 0 |1900 |1804 |1900 | 282 | 600k| 4 |3843 | 0.000000e+00 | 4.448540e+05 | Inf
796.73/796.74 c 783s| 1000k|999995 | 2034k| 2.0 |1036M| 197 | 0 |1900 |1804 |1900 | 276 | 605k| 4 |3870 | 0.000000e+00 | 4.448540e+05 | Inf
804.53/804.50 c 790s| 1010k| 1009k| 2053k| 2.0 |1046M| 197 | 10 |1900 |1804 |1900 | 274 | 610k| 4 |3896 | 0.000000e+00 | 4.448540e+05 | Inf
812.33/812.31 c 798s| 1020k| 1019k| 2074k| 2.0 |1057M| 197 | 0 |1900 |1804 |1900 | 295 | 616k| 4 |3922 | 0.000000e+00 | 4.448540e+05 | Inf
820.03/820.07 c 805s| 1030k| 1029k| 2094k| 2.0 |1067M| 197 | 0 |1900 |1804 |1900 | 280 | 621k| 4 |3945 | 0.000000e+00 | 4.448540e+05 | Inf
827.73/827.74 c 813s| 1040k| 1039k| 2112k| 2.0 |1077M| 197 | 0 |1900 |1804 |1900 | 304 | 626k| 4 |3957 | 0.000000e+00 | 4.448540e+05 | Inf
835.43/835.50 c 821s| 1050k| 1049k| 2131k| 2.0 |1087M| 197 | 0 |1900 |1804 |1900 | 287 | 631k| 4 |3974 | 0.000000e+00 | 4.448540e+05 | Inf
843.13/843.11 c 828s| 1060k| 1059k| 2146k| 2.0 |1098M| 197 | 0 |1900 |1804 |1900 | 284 | 635k| 4 |4002 | 0.000000e+00 | 4.448540e+05 | Inf
850.74/850.73 c 836s| 1070k| 1069k| 2163k| 2.0 |1108M| 197 | 0 |1900 |1804 |1900 | 265 | 639k| 4 |4024 | 0.000000e+00 | 4.448540e+05 | Inf
858.53/858.50 c 843s| 1080k| 1079k| 2186k| 2.0 |1118M| 197 | 0 |1900 |1804 |1900 | 251 | 645k| 4 |4045 | 0.000000e+00 | 4.448540e+05 | Inf
866.23/866.23 c 851s| 1090k| 1089k| 2208k| 2.0 |1128M| 197 | 0 |1900 |1803 |1900 | 282 | 651k| 4 |4067 | 0.000000e+00 | 4.448540e+05 | Inf
873.93/873.97 c 858s| 1100k| 1099k| 2229k| 2.0 |1139M| 197 | 0 |1900 |1803 |1900 | 302 | 657k| 4 |4089 | 0.000000e+00 | 4.448540e+05 | Inf
881.63/881.66 c 866s| 1110k| 1109k| 2249k| 2.0 |1149M| 197 | 0 |1900 |1803 |1900 | 284 | 663k| 4 |4109 | 0.000000e+00 | 4.448540e+05 | Inf
889.33/889.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
889.33/889.31 c 873s| 1120k| 1119k| 2267k| 2.0 |1159M| 197 | 0 |1900 |1803 |1900 | 272 | 668k| 4 |4129 | 0.000000e+00 | 4.448540e+05 | Inf
896.93/896.98 c 881s| 1130k| 1129k| 2285k| 2.0 |1169M| 197 | 0 |1900 |1803 |1900 | 262 | 674k| 4 |4153 | 0.000000e+00 | 4.448540e+05 | Inf
904.53/904.56 c 888s| 1140k| 1139k| 2302k| 2.0 |1179M| 197 | 0 |1900 |1803 |1900 | 251 | 679k| 4 |4171 | 0.000000e+00 | 4.448540e+05 | Inf
912.23/912.24 c 896s| 1150k| 1149k| 2320k| 2.0 |1189M| 197 | 0 |1900 |1803 |1900 | 269 | 684k| 4 |4190 | 0.000000e+00 | 4.448540e+05 | Inf
919.84/919.84 c 903s| 1160k| 1159k| 2337k| 2.0 |1200M| 197 | 10 |1900 |1803 |1900 | 259 | 689k| 4 |4208 | 0.000000e+00 | 4.448540e+05 | Inf
927.43/927.46 c 911s| 1170k| 1169k| 2353k| 2.0 |1210M| 197 | 0 |1900 |1803 |1900 | 286 | 694k| 4 |4233 | 0.000000e+00 | 4.448540e+05 | Inf
935.04/935.01 c 918s| 1180k| 1179k| 2367k| 2.0 |1220M| 197 | 0 |1900 |1803 |1900 | 293 | 698k| 4 |4243 | 0.000000e+00 | 4.448540e+05 | Inf
942.54/942.60 c 926s| 1190k| 1189k| 2384k| 2.0 |1230M| 197 | 0 |1900 |1803 |1900 | 276 | 703k| 4 |4261 | 0.000000e+00 | 4.448540e+05 | Inf
950.24/950.21 c 933s| 1200k| 1199k| 2401k| 2.0 |1240M| 197 | 0 |1900 |1803 |1900 | 266 | 708k| 4 |4280 | 0.000000e+00 | 4.448540e+05 | Inf
957.74/957.77 c 941s| 1210k| 1209k| 2416k| 2.0 |1250M| 197 | 0 |1900 |1803 |1900 | 272 | 712k| 4 |4298 | 0.000000e+00 | 4.448540e+05 | Inf
965.24/965.27 c 948s| 1220k| 1219k| 2429k| 2.0 |1260M| 197 | 0 |1900 |1802 |1900 | 253 | 716k| 4 |4311 | 0.000000e+00 | 4.448540e+05 | Inf
972.74/972.74 c 955s| 1230k| 1229k| 2443k| 2.0 |1271M| 197 | 0 |1900 |1802 |1900 | 255 | 720k| 4 |4329 | 0.000000e+00 | 4.448540e+05 | Inf
980.34/980.33 c 963s| 1240k| 1239k| 2459k| 2.0 |1281M| 197 | 0 |1900 |1802 |1900 | 296 | 725k| 4 |4346 | 0.000000e+00 | 4.448540e+05 | Inf
987.85/987.86 c 970s| 1250k| 1249k| 2475k| 2.0 |1291M| 197 | 0 |1900 |1802 |1900 | 275 | 730k| 4 |4347 | 0.000000e+00 | 4.448540e+05 | Inf
995.34/995.37 c 978s| 1260k| 1259k| 2489k| 2.0 |1301M| 197 | 0 |1900 |1802 |1900 | 293 | 734k| 4 |4366 | 0.000000e+00 | 4.448540e+05 | Inf
1002.84/1002.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1002.84/1002.84 c 985s| 1270k| 1269k| 2502k| 2.0 |1311M| 197 | 0 |1900 |1802 |1900 | 271 | 738k| 4 |4390 | 0.000000e+00 | 4.448540e+05 | Inf
1010.34/1010.31 c 992s| 1280k| 1279k| 2515k| 2.0 |1321M| 197 | 0 |1900 |1802 |1900 | 282 | 742k| 4 |4399 | 0.000000e+00 | 4.448540e+05 | Inf
1017.84/1017.88 c 1000s| 1290k| 1289k| 2530k| 2.0 |1331M| 197 | 0 |1900 |1802 |1900 | 259 | 747k| 4 |4419 | 0.000000e+00 | 4.448540e+05 | Inf
1025.44/1025.43 c 1007s| 1300k| 1299k| 2546k| 2.0 |1341M| 197 | 0 |1900 |1802 |1900 | 282 | 751k| 4 |4436 | 0.000000e+00 | 4.448540e+05 | Inf
1032.94/1032.95 c 1014s| 1310k| 1309k| 2561k| 2.0 |1352M| 197 | 0 |1900 |1802 |1900 | 259 | 756k| 4 |4436 | 0.000000e+00 | 4.448540e+05 | Inf
1040.45/1040.41 c 1022s| 1320k| 1319k| 2573k| 1.9 |1362M| 197 | 0 |1900 |1802 |1900 | 257 | 760k| 4 |4454 | 0.000000e+00 | 4.448540e+05 | Inf
1047.84/1047.81 c 1029s| 1330k| 1329k| 2585k| 1.9 |1372M| 197 | 0 |1900 |1805 |1900 | 277 | 764k| 7 |4466 | 0.000000e+00 | 4.448540e+05 | Inf
1055.14/1055.15 c 1036s| 1340k| 1339k| 2595k| 1.9 |1382M| 197 | 0 |1900 |1805 |1900 | 259 | 767k| 7 |4471 | 0.000000e+00 | 4.448540e+05 | Inf
1062.55/1062.51 c 1044s| 1350k| 1349k| 2606k| 1.9 |1392M| 197 | 15 |1900 |1805 |1900 | 268 | 770k| 7 |4488 | 0.000000e+00 | 4.448540e+05 | Inf
1069.85/1069.87 c 1051s| 1360k| 1359k| 2617k| 1.9 |1402M| 197 | 0 |1900 |1805 |1900 | 281 | 773k| 7 |4502 | 0.000000e+00 | 4.448540e+05 | Inf
1077.24/1077.30 c 1058s| 1370k| 1369k| 2630k| 1.9 |1412M| 197 | 0 |1900 |1804 |1900 | 256 | 777k| 7 |4517 | 0.000000e+00 | 4.448540e+05 | Inf
1084.65/1084.67 c 1065s| 1380k| 1379k| 2643k| 1.9 |1422M| 197 | 0 |1900 |1803 |1900 | 278 | 781k| 7 |4518 | 0.000000e+00 | 4.448540e+05 | Inf
1092.14/1092.10 c 1073s| 1390k| 1389k| 2655k| 1.9 |1432M| 197 | 0 |1900 |1803 |1900 | 254 | 785k| 7 |4540 | 0.000000e+00 | 4.448540e+05 | Inf
1099.44/1099.49 c 1080s| 1400k| 1399k| 2666k| 1.9 |1442M| 197 | 0 |1900 |1803 |1900 | 290 | 788k| 7 |4543 | 0.000000e+00 | 4.448540e+05 | Inf
1106.94/1106.96 c 1087s| 1410k| 1409k| 2679k| 1.9 |1453M| 197 | 0 |1900 |1803 |1900 | 257 | 792k| 7 |4558 | 0.000000e+00 | 4.448540e+05 | Inf
1114.25/1114.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1114.25/1114.29 c 1094s| 1420k| 1419k| 2689k| 1.9 |1463M| 197 | 0 |1900 |1803 |1900 | 256 | 795k| 7 |4568 | 0.000000e+00 | 4.448540e+05 | Inf
1121.65/1121.63 c 1102s| 1430k| 1429k| 2699k| 1.9 |1473M| 197 | 3 |1900 |1803 |1900 | 263 | 798k| 7 |4572 | 0.000000e+00 | 4.448540e+05 | Inf
1128.84/1128.88 c 1109s| 1440k| 1439k| 2706k| 1.9 |1483M| 197 | 0 |1900 |1802 |1900 | 266 | 800k| 7 |4572 | 0.000000e+00 | 4.448540e+05 | Inf
1136.15/1136.14 c 1116s| 1450k| 1449k| 2714k| 1.9 |1493M| 197 | 0 |1900 |1802 |1900 | 272 | 802k| 7 |4589 | 0.000000e+00 | 4.448540e+05 | Inf
1143.45/1143.42 c 1123s| 1460k| 1459k| 2723k| 1.9 |1503M| 197 | 0 |1900 |1802 |1900 | 276 | 805k| 7 |4589 | 0.000000e+00 | 4.448540e+05 | Inf
1150.75/1150.76 c 1130s| 1470k| 1469k| 2733k| 1.9 |1513M| 197 | 0 |1900 |1802 |1900 | 280 | 808k| 7 |4601 | 0.000000e+00 | 4.448540e+05 | Inf
1158.05/1158.09 c 1137s| 1480k| 1479k| 2743k| 1.9 |1523M| 197 | 0 |1900 |1802 |1900 | 270 | 811k| 7 |4611 | 0.000000e+00 | 4.448540e+05 | Inf
1165.45/1165.46 c 1145s| 1490k| 1489k| 2754k| 1.8 |1533M| 197 | 0 |1900 |1802 |1900 | 254 | 814k| 7 |4623 | 0.000000e+00 | 4.448540e+05 | Inf
1172.84/1172.88 c 1152s| 1500k| 1499k| 2767k| 1.8 |1543M| 197 | 0 |1900 |1802 |1900 | 269 | 818k| 7 |4623 | 0.000000e+00 | 4.448540e+05 | Inf
1180.25/1180.21 c 1159s| 1510k| 1509k| 2777k| 1.8 |1553M| 197 | 0 |1900 |1802 |1900 | 272 | 821k| 7 |4634 | 0.000000e+00 | 4.448540e+05 | Inf
1187.55/1187.50 c 1166s| 1520k| 1519k| 2786k| 1.8 |1564M| 197 | 0 |1900 |1802 |1900 | 275 | 824k| 7 |4640 | 0.000000e+00 | 4.448540e+05 | Inf
1194.85/1194.82 c 1174s| 1530k| 1529k| 2796k| 1.8 |1574M| 197 | 0 |1900 |1802 |1900 | 281 | 827k| 7 |4654 | 0.000000e+00 | 4.448540e+05 | Inf
1202.15/1202.12 c 1181s| 1540k| 1539k| 2804k| 1.8 |1584M| 197 | 0 |1900 |1802 |1900 | 293 | 829k| 7 |4659 | 0.000000e+00 | 4.448540e+05 | Inf
1209.55/1209.50 c 1188s| 1550k| 1549k| 2816k| 1.8 |1594M| 197 | 0 |1900 |1802 |1900 | 271 | 833k| 7 |4671 | 0.000000e+00 | 4.448540e+05 | Inf
1216.85/1216.81 c 1195s| 1560k| 1559k| 2826k| 1.8 |1604M| 197 | 0 |1900 |1802 |1900 | 270 | 836k| 7 |4671 | 0.000000e+00 | 4.448540e+05 | Inf
1224.15/1224.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1224.15/1224.16 c 1202s| 1570k| 1569k| 2836k| 1.8 |1614M| 197 | 0 |1900 |1802 |1900 | 312 | 839k| 7 |4696 | 0.000000e+00 | 4.448540e+05 | Inf
1231.75/1231.77 c 1210s| 1580k| 1579k| 2853k| 1.8 |1624M| 197 | 0 |1900 |1802 |1900 | 269 | 843k| 7 |4725 | 0.000000e+00 | 4.448540e+05 | Inf
1239.35/1239.35 c 1217s| 1590k| 1589k| 2869k| 1.8 |1634M| 197 | 0 |1900 |1802 |1900 | 276 | 847k| 7 |4743 | 0.000000e+00 | 4.448540e+05 | Inf
1246.75/1246.77 c 1225s| 1600k| 1599k| 2881k| 1.8 |1645M| 197 | 0 |1900 |1802 |1900 | 258 | 851k| 7 |4745 | 0.000000e+00 | 4.448540e+05 | Inf
1254.26/1254.22 c 1232s| 1610k| 1609k| 2895k| 1.8 |1655M| 197 | 0 |1900 |1802 |1900 | 244 | 855k| 7 |4762 | 0.000000e+00 | 4.448540e+05 | Inf
1261.55/1261.51 c 1239s| 1620k| 1619k| 2904k| 1.8 |1665M| 197 | 4 |1900 |1802 |1900 | 267 | 858k| 7 |4770 | 0.000000e+00 | 4.448540e+05 | Inf
1268.85/1268.88 c 1246s| 1630k| 1629k| 2915k| 1.8 |1675M| 197 | 0 |1900 |1802 |1900 | 269 | 861k| 7 |4780 | 0.000000e+00 | 4.448540e+05 | Inf
1276.26/1276.27 c 1253s| 1640k| 1639k| 2926k| 1.8 |1685M| 197 | 0 |1900 |1802 |1900 | 265 | 864k| 7 |4792 | 0.000000e+00 | 4.448540e+05 | Inf
1283.76/1283.75 c 1261s| 1650k| 1649k| 2940k| 1.8 |1695M| 197 | 0 |1900 |1802 |1900 | 272 | 868k| 7 |4799 | 0.000000e+00 | 4.448540e+05 | Inf
1291.25/1291.20 c 1268s| 1660k| 1659k| 2953k| 1.8 |1705M| 197 | 0 |1900 |1802 |1900 | 280 | 872k| 7 |4818 | 0.000000e+00 | 4.448540e+05 | Inf
1298.86/1298.87 c 1276s| 1670k| 1669k| 2972k| 1.8 |1716M| 197 | 0 |1900 |1802 |1900 | 288 | 877k| 7 |4837 | 0.000000e+00 | 4.448540e+05 | Inf
1306.45/1306.48 c 1283s| 1680k| 1679k| 2989k| 1.8 |1726M| 197 | 0 |1900 |1802 |1900 | 292 | 882k| 7 |4839 | 0.000000e+00 | 4.448540e+05 | Inf
1314.05/1314.07 c 1291s| 1690k| 1689k| 3004k| 1.8 |1736M| 197 | 7 |1900 |1802 |1900 | 276 | 887k| 7 |4859 | 0.000000e+00 | 4.448540e+05 | Inf
1321.55/1321.56 c 1298s| 1700k| 1699k| 3018k| 1.8 |1746M| 197 | 0 |1900 |1802 |1900 | 261 | 891k| 7 |4876 | 0.000000e+00 | 4.448540e+05 | Inf
1328.95/1328.92 c 1305s| 1710k| 1709k| 3028k| 1.8 |1756M| 197 | 0 |1900 |1802 |1900 | 297 | 894k| 7 |4876 | 0.000000e+00 | 4.448540e+05 | Inf
1336.46/1336.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1336.46/1336.48 c 1313s| 1720k| 1719k| 3043k| 1.8 |1767M| 197 | 0 |1900 |1802 |1900 | 260 | 898k| 7 |4894 | 0.000000e+00 | 4.448540e+05 | Inf
1343.96/1343.98 c 1320s| 1730k| 1729k| 3057k| 1.8 |1777M| 197 | 0 |1900 |1802 |1900 | 271 | 902k| 7 |4895 | 0.000000e+00 | 4.448540e+05 | Inf
1351.45/1351.46 c 1327s| 1740k| 1739k| 3069k| 1.8 |1787M| 197 | 6 |1900 |1802 |1900 | 288 | 905k| 7 |4912 | 0.000000e+00 | 4.448540e+05 | Inf
1359.16/1359.16 c 1335s| 1750k| 1749k| 3090k| 1.8 |1797M| 197 | 0 |1900 |1803 |1900 | 299 | 911k| 8 |4929 | 0.000000e+00 | 4.448540e+05 | Inf
1366.85/1366.83 c 1342s| 1760k| 1759k| 3109k| 1.8 |1807M| 197 | 0 |1900 |1802 |1900 | 290 | 916k| 8 |4943 | 0.000000e+00 | 4.448540e+05 | Inf
1374.65/1374.60 c 1350s| 1770k| 1769k| 3132k| 1.8 |1818M| 197 | 0 |1900 |1802 |1900 | 266 | 922k| 8 |4960 | 0.000000e+00 | 4.448540e+05 | Inf
1382.26/1382.25 c 1358s| 1780k| 1779k| 3151k| 1.8 |1828M| 197 | 0 |1900 |1802 |1900 | 291 | 928k| 8 |4965 | 0.000000e+00 | 4.448540e+05 | Inf
1390.06/1390.04 c 1365s| 1790k| 1789k| 3175k| 1.8 |1838M| 197 | 0 |1900 |1802 |1900 | 291 | 934k| 8 |4984 | 0.000000e+00 | 4.448540e+05 | Inf
1397.66/1397.66 c 1373s| 1800k| 1799k| 3193k| 1.8 |1848M| 197 | 0 |1900 |1802 |1900 | 272 | 939k| 8 |5002 | 0.000000e+00 | 4.448540e+05 | Inf
1405.26/1405.28 c 1380s| 1810k| 1809k| 3211k| 1.8 |1858M| 197 | 11 |1900 |1802 |1900 | 272 | 945k| 8 |5021 | 0.000000e+00 | 4.448540e+05 | Inf
1412.86/1412.89 c 1388s| 1820k| 1819k| 3229k| 1.8 |1869M| 197 | 0 |1900 |1802 |1900 | 267 | 950k| 8 |5026 | 0.000000e+00 | 4.448540e+05 | Inf
1420.46/1420.49 c 1395s| 1830k| 1829k| 3245k| 1.8 |1879M| 197 | 0 |1900 |1802 |1900 | 283 | 954k| 8 |5040 | 0.000000e+00 | 4.448540e+05 | Inf
1427.96/1427.96 c 1402s| 1840k| 1839k| 3258k| 1.8 |1889M| 197 | 0 |1900 |1802 |1900 | 283 | 958k| 8 |5048 | 0.000000e+00 | 4.448540e+05 | Inf
1435.46/1435.46 c 1410s| 1850k| 1849k| 3273k| 1.8 |1899M| 197 | 0 |1900 |1802 |1900 | 287 | 962k| 8 |5059 | 0.000000e+00 | 4.448540e+05 | Inf
1442.96/1442.95 c 1417s| 1860k| 1859k| 3287k| 1.8 |1909M| 197 | 0 |1900 |1802 |1900 | 272 | 966k| 8 |5077 | 0.000000e+00 | 4.448540e+05 | Inf
1450.46/1450.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1450.46/1450.49 c 1425s| 1870k| 1869k| 3303k| 1.8 |1920M| 197 | 0 |1900 |1802 |1900 | 267 | 971k| 8 |5083 | 0.000000e+00 | 4.448540e+05 | Inf
1458.06/1458.08 c 1432s| 1880k| 1879k| 3320k| 1.8 |1930M| 197 | 0 |1900 |1802 |1900 | 274 | 976k| 8 |5096 | 0.000000e+00 | 4.448540e+05 | Inf
1465.56/1465.51 c 1439s| 1890k| 1889k| 3333k| 1.8 |1940M| 197 | 0 |1900 |1802 |1900 | 282 | 979k| 8 |5115 | 0.000000e+00 | 4.448540e+05 | Inf
1473.16/1473.15 c 1447s| 1900k| 1899k| 3353k| 1.8 |1950M| 197 | 0 |1900 |1802 |1900 | 305 | 985k| 8 |5127 | 0.000000e+00 | 4.448540e+05 | Inf
1480.86/1480.85 c 1454s| 1910k| 1909k| 3375k| 1.8 |1960M| 197 | 0 |1900 |1802 |1900 | 297 | 991k| 8 |5134 | 0.000000e+00 | 4.448540e+05 | Inf
1488.56/1488.57 c 1462s| 1920k| 1919k| 3396k| 1.8 |1971M| 197 | 0 |1900 |1802 |1900 | 300 | 997k| 8 |5155 | 0.000000e+00 | 4.448540e+05 | Inf
1496.16/1496.17 c 1469s| 1930k| 1929k| 3411k| 1.8 |1981M| 197 | 0 |1900 |1802 |1900 | 288 |1002k| 8 |5174 | 0.000000e+00 | 4.448540e+05 | Inf
1503.67/1503.65 c 1477s| 1940k| 1939k| 3423k| 1.8 |1991M| 197 | 0 |1900 |1802 |1900 | 299 |1006k| 8 |5174 | 0.000000e+00 | 4.448540e+05 | Inf
1511.27/1511.26 c 1484s| 1950k| 1949k| 3437k| 1.8 |2001M| 197 | 0 |1900 |1802 |1900 | 285 |1010k| 8 |5191 | 0.000000e+00 | 4.448540e+05 | Inf
1518.96/1518.95 c 1492s| 1960k| 1959k| 3454k| 1.8 |2011M| 197 | 0 |1900 |1802 |1900 | 268 |1015k| 8 |5202 | 0.000000e+00 | 4.448540e+05 | Inf
1526.56/1526.58 c 1499s| 1970k| 1969k| 3473k| 1.8 |2022M| 197 | 0 |1900 |1802 |1900 | 276 |1020k| 8 |5210 | 0.000000e+00 | 4.448540e+05 | Inf
1533.96/1533.92 c 1507s| 1980k| 1979k| 3482k| 1.8 |2032M| 197 | 0 |1900 |1802 |1900 | 250 |1023k| 8 |5226 | 0.000000e+00 | 4.448540e+05 | Inf
1541.36/1541.35 c 1514s| 1990k| 1989k| 3496k| 1.8 |2042M| 197 | 0 |1900 |1802 |1900 | 277 |1027k| 8 |5228 | 0.000000e+00 | 4.448540e+05 | Inf
1548.87/1548.85 c 1521s| 2000k| 1999k| 3509k| 1.8 |2052M| 197 | 0 |1900 |1802 |1900 | 270 |1030k| 8 |5244 | 0.000000e+00 | 4.448540e+05 | Inf
1556.37/1556.32 c 1529s| 2010k| 2009k| 3522k| 1.8 |2062M| 197 | 3 |1900 |1802 |1900 | 275 |1034k| 8 |5246 | 0.000000e+00 | 4.448540e+05 | Inf
1563.76/1563.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1563.76/1563.80 c 1536s| 2020k| 2019k| 3536k| 1.8 |2072M| 197 | 0 |1900 |1802 |1900 | 271 |1038k| 8 |5265 | 0.000000e+00 | 4.448540e+05 | Inf
1571.57/1571.50 c 1543s| 2030k| 2029k| 3556k| 1.8 |2083M| 197 | 0 |1900 |1802 |1900 | 303 |1044k| 8 |5274 | 0.000000e+00 | 4.448540e+05 | Inf
1579.07/1579.04 c 1551s| 2040k| 2039k| 3571k| 1.8 |2093M| 197 | 5 |1900 |1803 |1900 | 275 |1048k| 9 |5286 | 0.000000e+00 | 4.448540e+05 | Inf
1586.56/1586.53 c 1558s| 2050k| 2049k| 3586k| 1.7 |2103M| 197 | 0 |1900 |1803 |1900 | 274 |1052k| 9 |5300 | 0.000000e+00 | 4.448540e+05 | Inf
1593.87/1593.86 c 1565s| 2060k| 2059k| 3595k| 1.7 |2113M| 197 | 0 |1900 |1803 |1900 | 302 |1055k| 9 |5304 | 0.000000e+00 | 4.448540e+05 | Inf
1601.27/1601.25 c 1573s| 2070k| 2069k| 3606k| 1.7 |2123M| 197 | 0 |1900 |1803 |1900 | 283 |1058k| 9 |5311 | 0.000000e+00 | 4.448540e+05 | Inf
1609.17/1609.16 c 1580s| 2080k| 2079k| 3632k| 1.7 |2134M| 197 | 0 |1900 |1803 |1900 | 288 |1065k| 9 |5332 | 0.000000e+00 | 4.448540e+05 | Inf
1616.97/1616.99 c 1588s| 2090k| 2089k| 3657k| 1.7 |2144M| 197 | 0 |1900 |1803 |1900 | 292 |1073k| 9 |5352 | 0.000000e+00 | 4.448540e+05 | Inf
1624.78/1624.71 c 1596s| 2100k| 2099k| 3676k| 1.8 |2154M| 197 | 0 |1900 |1803 |1900 | 285 |1079k| 9 |5359 | 0.000000e+00 | 4.448540e+05 | Inf
1632.38/1632.31 c 1603s| 2110k| 2109k| 3691k| 1.7 |2164M| 197 | 12 |1900 |1803 |1900 | 300 |1084k| 9 |5376 | 0.000000e+00 | 4.448540e+05 | Inf
1639.87/1639.87 c 1611s| 2120k| 2119k| 3706k| 1.7 |2174M| 197 | 0 |1900 |1803 |1900 | 289 |1088k| 9 |5388 | 0.000000e+00 | 4.448540e+05 | Inf
1647.37/1647.36 c 1618s| 2130k| 2129k| 3718k| 1.7 |2185M| 197 | 0 |1900 |1803 |1900 | 279 |1091k| 9 |5399 | 0.000000e+00 | 4.448540e+05 | Inf
1654.87/1654.87 c 1625s| 2140k| 2139k| 3730k| 1.7 |2195M| 197 | 0 |1900 |1802 |1900 | 271 |1095k| 9 |5400 | 0.000000e+00 | 4.448540e+05 | Inf
1662.38/1662.31 c 1633s| 2150k| 2149k| 3741k| 1.7 |2205M| 197 | 0 |1900 |1802 |1900 | 272 |1099k| 9 |5419 | 0.000000e+00 | 4.448540e+05 | Inf
1669.88/1669.84 c 1640s| 2160k| 2159k| 3754k| 1.7 |2215M| 197 | 0 |1900 |1802 |1900 | 292 |1103k| 9 |5420 | 0.000000e+00 | 4.448540e+05 | Inf
1677.27/1677.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1677.27/1677.26 c 1647s| 2170k| 2169k| 3766k| 1.7 |2225M| 197 | 0 |1900 |1802 |1900 | 270 |1107k| 9 |5440 | 0.000000e+00 | 4.448540e+05 | Inf
1684.87/1684.87 c 1655s| 2180k| 2179k| 3781k| 1.7 |2235M| 197 | 0 |1900 |1802 |1900 | 291 |1111k| 9 |5453 | 0.000000e+00 | 4.448540e+05 | Inf
1692.38/1692.30 c 1662s| 2190k| 2189k| 3791k| 1.7 |2246M| 197 | 0 |1900 |1802 |1900 | 267 |1114k| 9 |5459 | 0.000000e+00 | 4.448540e+05 | Inf
1699.87/1699.80 c 1669s| 2200k| 2199k| 3804k| 1.7 |2256M| 197 | 8 |1900 |1802 |1900 | 247 |1118k| 9 |5468 | 0.000000e+00 | 4.448540e+05 | Inf
1707.38/1707.35 c 1677s| 2210k| 2209k| 3816k| 1.7 |2266M| 197 | 0 |1900 |1802 |1900 | 286 |1122k| 9 |5480 | 0.000000e+00 | 4.448540e+05 | Inf
1714.98/1714.98 c 1684s| 2220k| 2219k| 3832k| 1.7 |2276M| 197 | 0 |1900 |1802 |1900 | 284 |1127k| 9 |5490 | 0.000000e+00 | 4.448540e+05 | Inf
1722.58/1722.51 c 1692s| 2230k| 2229k| 3843k| 1.7 |2286M| 197 | 0 |1900 |1802 |1900 | 271 |1130k| 9 |5498 | 0.000000e+00 | 4.448540e+05 | Inf
1729.97/1729.91 c 1699s| 2240k| 2239k| 3852k| 1.7 |2296M| 197 | 0 |1900 |1802 |1900 | 284 |1133k| 9 |5498 | 0.000000e+00 | 4.448540e+05 | Inf
1737.38/1737.38 c 1706s| 2250k| 2249k| 3862k| 1.7 |2307M| 197 | 0 |1900 |1802 |1900 | 280 |1136k| 9 |5517 | 0.000000e+00 | 4.448540e+05 | Inf
1744.98/1744.94 c 1714s| 2260k| 2259k| 3877k| 1.7 |2317M| 197 | 0 |1900 |1802 |1900 | 278 |1141k| 9 |5518 | 0.000000e+00 | 4.448540e+05 | Inf
1752.58/1752.58 c 1721s| 2270k| 2269k| 3892k| 1.7 |2327M| 197 | 0 |1900 |1802 |1900 | 295 |1146k| 9 |5536 | 0.000000e+00 | 4.448540e+05 | Inf
1760.28/1760.21 c 1729s| 2280k| 2279k| 3908k| 1.7 |2337M| 197 | 0 |1900 |1802 |1900 | 296 |1151k| 9 |5544 | 0.000000e+00 | 4.448540e+05 | Inf
1767.58/1767.58 c 1736s| 2290k| 2289k| 3918k| 1.7 |2347M| 197 | 0 |1900 |1802 |1900 | 270 |1154k| 9 |5555 | 0.000000e+00 | 4.448540e+05 | Inf
1774.98/1774.93 c 1743s| 2300k| 2299k| 3927k| 1.7 |2357M| 197 | 0 |1900 |1802 |1900 | 286 |1156k| 9 |5555 | 0.000000e+00 | 4.448540e+05 | Inf
1782.38/1782.33 c 1750s| 2310k| 2309k| 3937k| 1.7 |2368M| 197 | 0 |1900 |1802 |1900 | 283 |1159k| 9 |5574 | 0.000000e+00 | 4.448540e+05 | Inf
1789.78/1789.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1789.78/1789.72 c 1758s| 2320k| 2319k| 3947k| 1.7 |2378M| 197 | 0 |1900 |1802 |1900 | 286 |1162k| 9 |5574 | 0.000000e+00 | 4.448540e+05 | Inf
1797.18/1797.19 c 1765s| 2330k| 2329k| 3960k| 1.7 |2388M| 197 | 0 |1900 |1802 |1900 | 273 |1166k| 9 |5590 | 0.000000e+00 | 4.448540e+05 | Inf
1800.09/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.00 c
1800.09/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.00 c Solving Time (sec) : 1767.81
1800.09/1800.00 c Solving Nodes : 2333783
1800.09/1800.00 c Primal Bound : +4.44854000000000e+05 (100 solutions)
1800.09/1800.00 c Dual Bound : +0.00000000000000e+00
1800.09/1800.00 c Gap : infinite
1800.09/1800.01 s SATISFIABLE
1800.09/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.09/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.09/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.09/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.09/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.09/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.09/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.09/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.09/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.01 c Solving Time : 1767.81
1800.09/1800.01 c Original Problem :
1800.09/1800.01 c Problem name : HOME/instance-2700248-1278534508.wbo
1800.09/1800.01 c Variables : 2000 (1100 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.09/1800.01 c Constraints : 1901 initial, 1901 maximal
1800.09/1800.01 c Presolved Problem :
1800.09/1800.01 c Problem name : t_HOME/instance-2700248-1278534508.wbo
1800.09/1800.01 c Variables : 1900 (1000 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.09/1800.01 c Constraints : 1800 initial, 1805 maximal
1800.09/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.01 c indicator : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.01 c linear : 0.02 0 100 0 900 0 101 0 0
1800.09/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.01 c root node : - 0 - - 0 - - - -
1800.09/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.01 c integral : 0 0 0 2570414 0 0 0 0 0 793848
1800.09/1800.01 c indicator : 900 0 3207405 2173490 0 0 2404707 0 0 0
1800.09/1800.01 c linear : 900 6 3207405 2173490 0 6 955062 1167823 0 0
1800.09/1800.01 c logicor : 0+ 0 56145 0 0 0 3733 0 0 0
1800.09/1800.01 c countsols : 0 0 0 1936854 0 0 0 0 0 0
1800.09/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.01 c integral : 8.59 0.00 0.00 8.59 0.00
1800.09/1800.01 c indicator : 160.10 0.03 35.39 124.68 0.00
1800.09/1800.01 c linear : 31.30 0.00 13.31 17.99 0.00
1800.09/1800.01 c logicor : 0.04 0.00 0.04 0.00 0.00
1800.09/1800.01 c countsols : 0.40 0.00 0.00 0.40 0.00
1800.09/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.01 c vbounds : 0.70 2 0 0
1800.09/1800.01 c rootredcost : 0.61 0 0 0
1800.09/1800.01 c pseudoobj : 53.24 3207205 0 0
1800.09/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.01 c propagation : 0.00 6 6 6 8.3 3 3.7 -
1800.09/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.01 c applied globally : - - - 9 6.8 - - -
1800.09/1800.01 c applied locally : - - - 0 0.0 - - -
1800.09/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.01 c cut pool : 0.00 3 - - 3 - (maximal pool size: 15)
1800.09/1800.01 c redcost : 96.13 2570132 0 0 0 0
1800.09/1800.01 c impliedbounds : 0.00 4 0 0 0 0
1800.09/1800.01 c intobj : 0.00 0 0 0 0 0
1800.09/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.01 c gomory : 0.01 4 0 0 17 0
1800.09/1800.01 c strongcg : 0.00 4 0 0 0 0
1800.09/1800.01 c cmir : 0.02 4 0 0 0 0
1800.09/1800.01 c flowcover : 0.02 4 0 0 0 0
1800.09/1800.01 c clique : 0.00 1 0 0 0 0
1800.09/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.01 c mcf : 0.00 1 0 0 0 0
1800.09/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.01 c Pricers : Time Calls Vars
1800.09/1800.01 c problem variables: 0.00 0 0
1800.09/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.01 c relpscost : 7.61 396924 0 0 0 0 793848
1800.09/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.01 c inference : 138.61 1936854 0 0 0 0 3873708
1800.09/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.01 c random : 0.00 0 0 0 0 0 0
1800.09/1800.01 c Primal Heuristics : Time Calls Found
1800.09/1800.01 c LP solutions : 0.00 - 0
1800.09/1800.01 c pseudo solutions : 0.00 - 0
1800.09/1800.01 c feaspump : 0.02 0 0
1800.09/1800.01 c oneopt : 1.55 1 0
1800.09/1800.01 c intshifting : 0.04 11 0
1800.09/1800.01 c crossover : 0.90 13 0
1800.09/1800.01 c guideddiving : 14.10 25369 0
1800.09/1800.01 c pscostdiving : 14.44 25369 0
1800.09/1800.01 c veclendiving : 13.91 25370 0
1800.09/1800.01 c linesearchdiving : 14.72 25370 0
1800.09/1800.01 c coefdiving : 15.01 25370 0
1800.09/1800.01 c fracdiving : 14.36 25370 0
1800.09/1800.01 c objpscostdiving : 13.94 25355 0
1800.09/1800.01 c rootsoldiving : 15.23 25355 0
1800.09/1800.01 c trivial : 0.00 2 1
1800.09/1800.01 c simplerounding : 1.23 396821 0
1800.09/1800.01 c zirounding : 0.68 1000 0
1800.09/1800.01 c rounding : 0.93 8719 0
1800.09/1800.01 c shifting : 1.28 2760 0
1800.09/1800.01 c twoopt : 0.00 0 0
1800.09/1800.01 c fixandinfer : 0.00 0 0
1800.09/1800.01 c intdiving : 0.00 0 0
1800.09/1800.01 c actconsdiving : 0.00 0 0
1800.09/1800.01 c octane : 0.00 0 0
1800.09/1800.01 c rens : 0.01 1 0
1800.09/1800.01 c rins : 0.00 0 0
1800.09/1800.01 c localbranching : 0.00 0 0
1800.09/1800.01 c mutation : 0.00 0 0
1800.09/1800.01 c dins : 0.00 0 0
1800.09/1800.01 c undercover : 0.00 0 0
1800.09/1800.01 c nlp : 0.67 0 0
1800.09/1800.01 c trysol : 1.15 28622 99
1800.09/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.01 c dual LP : 705.03 775920 3964053 5.11 5622.53
1800.09/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.01 c diving/probing LP: 0.08 202 725 3.59 9062.50
1800.09/1800.01 c strong branching : 5.16 5591 62152 11.12 12044.96
1800.09/1800.01 c (at root node) : - 33 1685 51.06 -
1800.09/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.01 c B&B Tree :
1800.09/1800.01 c number of runs : 1
1800.09/1800.01 c nodes : 2333783
1800.09/1800.01 c nodes (total) : 2333783
1800.09/1800.01 c nodes left : 2333774
1800.09/1800.01 c max depth : 197
1800.09/1800.01 c max depth (total): 197
1800.09/1800.01 c backtracks : 25452 (1.1%)
1800.09/1800.01 c delayed cutoffs : 0
1800.09/1800.01 c repropagations : 43 (10 domain reductions, 0 cutoffs)
1800.09/1800.01 c avg switch length: 2.31
1800.09/1800.01 c switching time : 72.36
1800.09/1800.01 c Solution :
1800.09/1800.01 c Solutions found : 100 (1 improvements)
1800.09/1800.01 c First Solution : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.09/1800.01 c Primal Bound : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.09/1800.01 c Dual Bound : +0.00000000000000e+00
1800.09/1800.01 c Gap : infinite
1800.09/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.01 c Root Iterations : 201
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700248-1278534508/watcher-2700248-1278534508 -o /tmp/evaluation-result-2700248-1278534508/solver-2700248-1278534508 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700248-1278534508.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.90 1.85 1.12 4/178 27311
/proc/meminfo: memFree=29210076/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=9416 CPUtime=0
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 1649 0 0 0 0 0 0 0 25 0 1 0 21662799 9641984 1568 4089446400 4194304 8223781 140736827971904 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/27311/statm: 2354 1568 369 984 0 1367 0
[startup+0.0273589 s]
/proc/loadavg: 1.90 1.85 1.12 4/178 27311
/proc/meminfo: memFree=29210076/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=20164 CPUtime=0.02
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 4415 0 0 0 2 0 0 0 25 0 1 0 21662799 20647936 3970 4089446400 4194304 8223781 140736827971904 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 5041 3983 442 984 0 4054 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20164
[startup+0.101342 s]
/proc/loadavg: 1.90 1.85 1.12 4/178 27311
/proc/meminfo: memFree=29210076/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=23588 CPUtime=0.09
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 6176 0 0 0 9 0 0 0 25 0 1 0 21662799 24154112 4949 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 5897 4949 563 984 0 4910 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23588
[startup+0.300297 s]
/proc/loadavg: 1.90 1.85 1.12 4/178 27311
/proc/meminfo: memFree=29210076/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=23588 CPUtime=0.29
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 9327 0 0 0 28 1 0 0 25 0 1 0 21662799 24154112 5014 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 5897 5014 577 984 0 4910 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23588
[startup+0.700216 s]
/proc/loadavg: 1.90 1.85 1.12 4/178 27311
/proc/meminfo: memFree=29210076/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=23588 CPUtime=0.69
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 9327 0 0 0 67 2 0 0 25 0 1 0 21662799 24154112 5014 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 5897 5014 577 984 0 4910 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23588
[startup+1.50106 s]
/proc/loadavg: 1.90 1.85 1.12 3/179 27312
/proc/meminfo: memFree=29191468/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=24008 CPUtime=1.49
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 9401 0 0 0 146 3 0 0 25 0 1 0 21662799 24584192 5088 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 6002 5088 580 984 0 5015 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24008
[startup+3.10074 s]
/proc/loadavg: 1.90 1.85 1.12 3/179 27312
/proc/meminfo: memFree=29189112/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=28344 CPUtime=3.1
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 16718 0 0 0 303 7 0 0 25 0 1 0 21662799 29024256 6121 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 7086 6121 581 984 0 6099 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 28344
[startup+6.30109 s]
/proc/loadavg: 1.90 1.85 1.12 3/179 27312
/proc/meminfo: memFree=29182688/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=33584 CPUtime=6.29
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 24290 0 0 0 616 13 0 0 25 0 1 0 21662799 34390016 7447 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 8396 7447 581 984 0 7409 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33584
[startup+12.7008 s]
/proc/loadavg: 1.91 1.85 1.13 3/179 27312
/proc/meminfo: memFree=29166848/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=41040 CPUtime=12.7
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 29311 0 0 0 1245 25 0 0 25 0 1 0 21662799 42024960 9329 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 10260 9329 581 984 0 9273 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 41040
[startup+25.5002 s]
/proc/loadavg: 1.93 1.86 1.14 3/179 27312
/proc/meminfo: memFree=29142256/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=55648 CPUtime=25.49
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 39313 0 0 0 2502 47 0 0 25 0 1 0 21662799 56983552 13057 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 13912 13057 581 984 0 12925 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55648
[startup+51.1011 s]
/proc/loadavg: 1.95 1.87 1.16 3/179 27313
/proc/meminfo: memFree=29091020/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=87760 CPUtime=51.09
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 50600 0 0 0 5013 96 0 0 25 0 1 0 21662799 89866240 21194 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 21940 21194 581 984 0 20953 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 87760
[startup+102.307 s]
/proc/loadavg: 1.98 1.89 1.20 3/179 27314
/proc/meminfo: memFree=28989764/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=154800 CPUtime=102.3
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 70226 0 0 0 10043 187 0 0 25 0 1 0 21662799 158515200 37694 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 38700 37694 581 984 0 37713 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 154800
[startup+162.301 s]
/proc/loadavg: 1.99 1.90 1.25 3/179 27316
/proc/meminfo: memFree=28870544/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=232100 CPUtime=162.3
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 89851 0 0 0 15937 293 0 0 25 0 1 0 21662799 237670400 57318 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 58025 57318 585 984 0 57038 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 232100
[startup+222.301 s]
/proc/loadavg: 1.99 1.92 1.30 3/179 27318
/proc/meminfo: memFree=28752684/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=310636 CPUtime=222.31
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 111889 0 0 0 21830 401 0 0 25 0 1 0 21662799 318091264 76216 4089446400 4194304 8223781 140736827971904 18446744073709551615 6446791 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 77659 76216 585 984 0 76672 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 310636
[startup+282.301 s]
/proc/loadavg: 1.99 1.93 1.34 3/179 27320
/proc/meminfo: memFree=28635812/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=386840 CPUtime=282.3
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 131232 0 0 0 27718 512 0 0 25 0 1 0 21662799 396124160 95559 4089446400 4194304 8223781 140736827971904 18446744073709551615 4329836 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 96710 95559 585 984 0 95723 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 386840
[startup+342.301 s]
/proc/loadavg: 1.99 1.94 1.38 3/179 27320
/proc/meminfo: memFree=28517060/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=462120 CPUtime=342.31
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 153470 0 0 0 33612 619 0 0 25 0 1 0 21662799 473210880 114661 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 115530 114661 585 984 0 114543 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 462120
[startup+402.301 s]
/proc/loadavg: 2.03 1.96 1.42 3/179 27322
/proc/meminfo: memFree=28399684/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=544636 CPUtime=402.31
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 172351 0 0 0 39502 729 0 0 25 0 1 0 21662799 557707264 133542 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 136159 133542 585 984 0 135172 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 544636
[startup+462.301 s]
/proc/loadavg: 2.09 1.99 1.46 3/179 27324
/proc/meminfo: memFree=28278112/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=622812 CPUtime=462.31
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 192185 0 0 0 45396 835 0 0 25 0 1 0 21662799 637759488 153376 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 155703 153376 585 984 0 154716 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 622812
[startup+522.301 s]
/proc/loadavg: 2.03 1.99 1.49 3/179 27326
/proc/meminfo: memFree=28159868/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=700904 CPUtime=522.31
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 211999 0 0 0 51294 937 0 0 25 0 1 0 21662799 717725696 173190 4089446400 4194304 8223781 140736827971904 18446744073709551615 4902982 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 175226 173190 585 984 0 174239 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 700904
[startup+582.301 s]
/proc/loadavg: 2.01 1.99 1.52 3/179 27328
/proc/meminfo: memFree=28037308/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=777816 CPUtime=582.32
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 231524 0 0 0 57189 1043 0 0 25 0 1 0 21662799 796483584 192715 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 194454 192715 585 984 0 193467 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 777816
[startup+642.301 s]
/proc/loadavg: 2.00 1.99 1.54 3/179 27328
/proc/meminfo: memFree=27919580/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=853276 CPUtime=642.33
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 250685 0 0 0 63079 1154 0 0 25 0 1 0 21662799 873754624 211876 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 213319 211876 585 984 0 212332 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 853276
[startup+702.301 s]
################
# More data... #
################
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 373662 0 0 0 98437 1797 0 0 25 0 1 0 21662799 1373839360 331725 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 335410 331725 585 984 0 334423 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 1341640
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.70 3/179 27340
/proc/meminfo: memFree=27072976/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=1422352 CPUtime=1062.34
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 394146 0 0 0 104336 1898 0 0 25 0 1 0 21662799 1456488448 352206 4089446400 4194304 8223781 140736827971904 18446744073709551615 6482565 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 355588 352206 585 984 0 354601 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 1422352
[startup+1122.3 s]
/proc/loadavg: 1.94 1.98 1.71 3/179 27443
/proc/meminfo: memFree=28214872/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=1503828 CPUtime=1122.35
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 414828 0 0 0 110234 2001 0 0 25 0 1 0 21662799 1539919872 372886 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 375957 372886 585 984 0 374970 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 1503828
[startup+1182.3 s]
/proc/loadavg: 1.98 1.98 1.72 3/179 27445
/proc/meminfo: memFree=28042500/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=1586844 CPUtime=1182.35
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 435911 0 0 0 116124 2111 0 0 25 0 1 0 21662799 1624928256 393966 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 396711 393966 585 984 0 395724 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 1586844
[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.74 3/179 27445
/proc/meminfo: memFree=27867604/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=1667704 CPUtime=1242.35
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 456453 0 0 0 122015 2220 0 0 25 0 1 0 21662799 1707728896 414498 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 416926 414498 585 984 0 415939 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 1667704
[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.75 3/179 27447
/proc/meminfo: memFree=27693944/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=1747624 CPUtime=1302.36
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 479873 0 0 0 127904 2332 0 0 25 0 1 0 21662799 1789566976 434795 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 436906 434795 585 984 0 435919 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 1747624
[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.76 3/179 27449
/proc/meminfo: memFree=27527476/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=1824396 CPUtime=1362.36
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 499377 0 0 0 133798 2438 0 0 25 0 1 0 21662799 1868181504 454299 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 456099 454299 585 984 0 455112 0
Current children cumulated CPU time (s) 1362.36
Current children cumulated vsize (KiB) 1824396
[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.77 3/179 27451
/proc/meminfo: memFree=27359412/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=1904052 CPUtime=1422.37
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 519593 0 0 0 139694 2543 0 0 25 0 1 0 21662799 1949749248 474514 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 476013 474514 585 984 0 475026 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 1904052
[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.78 3/179 27453
/proc/meminfo: memFree=27215120/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=1985540 CPUtime=1482.36
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 540281 0 0 0 145582 2654 0 0 25 0 1 0 21662799 2033192960 495202 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 496385 495202 585 984 0 495398 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 1985540
[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.80 3/179 27453
/proc/meminfo: memFree=27054976/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=2063248 CPUtime=1542.36
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 560022 0 0 0 151476 2760 0 0 25 0 1 0 21662799 2112765952 514943 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 515812 514943 585 984 0 514825 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 2063248
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.81 3/179 27455
/proc/meminfo: memFree=26888492/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=2175656 CPUtime=1602.37
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 580233 0 0 0 157369 2868 0 0 25 0 1 0 21662799 2227871744 535154 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 543914 535154 585 984 0 542927 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 2175656
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.82 3/179 27457
/proc/meminfo: memFree=26723000/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=2256452 CPUtime=1662.38
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 600738 0 0 0 163257 2981 0 0 25 0 1 0 21662799 2310606848 555659 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 564113 555659 585 984 0 563126 0
Current children cumulated CPU time (s) 1662.38
Current children cumulated vsize (KiB) 2256452
[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.83 3/179 27459
/proc/meminfo: memFree=26601044/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=2337204 CPUtime=1722.38
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 621243 0 0 0 169151 3087 0 0 25 0 1 0 21662799 2393296896 576164 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 584301 576164 585 984 0 583314 0
Current children cumulated CPU time (s) 1722.38
Current children cumulated vsize (KiB) 2337204
[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.83 3/179 27461
/proc/meminfo: memFree=26476568/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=2413640 CPUtime=1782.38
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 640667 0 0 0 175042 3196 0 0 25 0 1 0 21662799 2471567360 595588 4089446400 4194304 8223781 140736827971904 18446744073709551615 6448634 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 603410 595588 585 984 0 602423 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 2413640
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.99 1.98 1.83 3/179 27461
/proc/meminfo: memFree=26430932/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=2437516 CPUtime=1800.09
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 646731 0 0 0 176782 3227 0 0 25 0 1 0 21662799 2496016384 601652 4089446400 4194304 8223781 140736827971904 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27311/statm: 609379 601652 585 984 0 608392 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 2437516
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -27311
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.99 1.98 1.83 3/180 27462
/proc/meminfo: memFree=26430924/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=2437516 CPUtime=1801.48
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 646733 0 0 0 176921 3227 0 0 19 0 1 0 21662799 2496016384 601654 4089446400 4194304 8223781 140736827971904 18446744073709551615 4615825 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/27311/statm: 609379 601654 587 984 0 608392 0
Current children cumulated CPU time (s) 1801.48
Current children cumulated vsize (KiB) 2437516
[startup+1801.81 s]
/proc/loadavg: 1.99 1.98 1.83 3/180 27462
/proc/meminfo: memFree=26430800/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=2437516 CPUtime=1801.89
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 646733 0 0 0 176962 3227 0 0 20 0 1 0 21662799 2496016384 601654 4089446400 4194304 8223781 140736827971904 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/27311/statm: 609379 601654 587 984 0 608392 0
Current children cumulated CPU time (s) 1801.89
Current children cumulated vsize (KiB) 2437516
[startup+1802 s]
/proc/loadavg: 1.99 1.98 1.83 3/180 27462
/proc/meminfo: memFree=26430800/32950928 swapFree=67111528/67111528
[pid=27311] ppid=27309 vsize=2434444 CPUtime=1802.08
/proc/27311/stat : 27311 (pbscip.linux.x8) R 27309 27311 26355 0 -1 4202496 646733 0 0 0 176981 3227 0 0 21 0 1 0 21662799 2492870656 600886 4089446400 4194304 8223781 140736827971904 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/27311/statm: 608611 600886 587 984 0 607624 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 2434444
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.09
CPU time (s): 1802.17
CPU user time (s): 1769.82
CPU system time (s): 32.3511
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 2437516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.82
system time used= 32.3511
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 646733
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= 3
involuntary context switches= 915
runsolver used 2.55961 second user time and 5.75312 second system time
The end
Begin job on node149 at 2010-07-07 22:28:28
IDJOB=2700248
IDBENCH=79412
IDSOLVER=1204
FILE ID=node149/2700248-1278534508
PBS_JOBID= 11239180
Free space on /tmp= 73424 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-jnh308_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-2700248-1278534508/watcher-2700248-1278534508 -o /tmp/evaluation-result-2700248-1278534508/solver-2700248-1278534508 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700248-1278534508.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9e4ae11dd0361dce6825f0168cc6adb2
RANDOM SEED=2045173917
node149.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.827
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.65
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.827
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.827
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.827
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.827
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.75
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.827
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.79
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.827
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.827
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: 29210604 kB
Buffers: 145096 kB
Cached: 2821060 kB
SwapCached: 0 kB
Active: 1610304 kB
Inactive: 1965824 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 29210604 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4748 kB
Writeback: 0 kB
AnonPages: 609516 kB
Mapped: 15516 kB
Slab: 100408 kB
PageTables: 5968 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 751732 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= 73420 MiB
End job on node149 at 2010-07-07 22:58:31