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-2700404-1278535468.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.00/0.05 c (0.0s) probing: 101/900 (11.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 100 deleted vars, 101 deleted constraints, 800 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 1000 implications, 0 cliques
0.00/0.05 c presolved problem has 1700 variables (900 bin, 0 int, 0 impl, 800 cont) and 1600 constraints
0.00/0.05 c 800 constraints of type <indicator>
0.00/0.05 c 800 constraints of type <linear>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.03
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 1.2.1.2
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1799.99
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 3420
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.05 o 394238
0.00/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.00/0.05 c t 0.0s| 1 | 0 | 0 | - |5801k| 0 | - |1700 |1600 | 0 | 0 | 0 | 0 | 0 | -- | 3.942380e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 0 | - |6173k| 0 | 0 |1700 |1600 |1700 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 42 | - |6215k| 0 | 0 |1700 |1600 |1700 | 69 | 69 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 124 | - |6260k| 0 | 49 |1700 |1600 |1700 | 107 | 107 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.00/0.07 c 0.1s| 1 | 0 | 182 | - |6450k| 0 | 75 |1700 |1600 |1700 | 162 | 162 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.00/0.09 c 0.1s| 1 | 0 | 198 | - |6485k| 0 | 75 |1700 |1600 |1700 | 173 | 173 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 208 | - |6513k| 0 | 81 |1700 |1600 |1700 | 177 | 177 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 229 | - |6544k| 0 | 80 |1700 |1600 |1700 | 184 | 184 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.29/0.38 c 0.3s| 1 | 2 | 377 | - |6596k| 0 | 80 |1700 |1600 |1700 | 184 | 184 | 0 | 33 | 0.000000e+00 | 3.942380e+05 | Inf
10.49/10.54 c 10.3s| 10000 | 9999 | 46301 | 4.6 | 19M| 107 | 0 |1700 |1601 |1700 | 252 | 11k| 1 | 790 | 0.000000e+00 | 3.942380e+05 | Inf
18.39/18.47 c 18.1s| 20000 | 19999 | 82730 | 4.1 | 28M| 117 | 0 |1700 |1601 |1700 | 265 | 21k| 1 | 790 | 0.000000e+00 | 3.942380e+05 | Inf
26.19/26.29 c 25.7s| 30000 | 29999 |114144 | 3.8 | 38M| 117 | 0 |1700 |1601 |1700 | 271 | 29k| 1 | 790 | 0.000000e+00 | 3.942380e+05 | Inf
34.10/34.11 c 33.4s| 40000 | 39999 |146923 | 3.7 | 48M| 117 | 0 |1700 |1601 |1700 | 251 | 38k| 1 | 818 | 0.000000e+00 | 3.942380e+05 | Inf
42.00/42.09 c 41.2s| 50000 | 49999 |183656 | 3.7 | 58M| 119 | 69 |1700 |1601 |1700 | 182 | 47k| 1 | 901 | 0.000000e+00 | 3.942380e+05 | Inf
49.80/49.82 c 48.8s| 60000 | 59999 |210281 | 3.5 | 67M| 119 | 0 |1700 |1601 |1700 | 289 | 54k| 1 | 972 | 0.000000e+00 | 3.942380e+05 | Inf
57.89/57.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.89/57.96 c 56.8s| 70000 | 69999 |249665 | 3.6 | 77M| 119 | 4 |1700 |1601 |1700 | 273 | 63k| 1 |1071 | 0.000000e+00 | 3.942380e+05 | Inf
65.49/65.55 c 64.2s| 80000 | 79999 |272436 | 3.4 | 87M| 119 | 0 |1700 |1601 |1700 | 293 | 70k| 1 |1137 | 0.000000e+00 | 3.942380e+05 | Inf
73.30/73.36 c 71.8s| 90000 | 89999 |303603 | 3.4 | 97M| 119 | 10 |1700 |1601 |1700 | 274 | 78k| 1 |1204 | 0.000000e+00 | 3.942380e+05 | Inf
81.09/81.13 c 79.5s|100000 | 99999 |332046 | 3.3 | 106M| 119 | 0 |1700 |1601 |1700 | 254 | 85k| 1 |1277 | 0.000000e+00 | 3.942380e+05 | Inf
88.80/88.87 c 87.1s|110000 |109999 |359541 | 3.3 | 116M| 119 | 0 |1700 |1601 |1700 | 262 | 93k| 1 |1373 | 0.000000e+00 | 3.942380e+05 | Inf
96.60/96.62 c 94.7s|120000 |119999 |388064 | 3.2 | 126M| 119 | 0 |1700 |1600 |1700 | 297 | 100k| 1 |1447 | 0.000000e+00 | 3.942380e+05 | Inf
104.30/104.32 c 102s|130000 |129999 |412994 | 3.2 | 135M| 119 | 0 |1700 |1600 |1700 | 256 | 107k| 1 |1500 | 0.000000e+00 | 3.942380e+05 | Inf
112.00/112.05 c 110s|140000 |139999 |436705 | 3.1 | 145M| 119 | 0 |1700 |1600 |1700 | 245 | 114k| 1 |1541 | 0.000000e+00 | 3.942380e+05 | Inf
119.60/119.63 c 117s|150000 |149999 |460171 | 3.1 | 155M| 121 | 0 |1700 |1600 |1700 | 244 | 120k| 1 |1601 | 0.000000e+00 | 3.942380e+05 | Inf
127.09/127.12 c 125s|160000 |159999 |481028 | 3.0 | 165M| 121 | 0 |1700 |1600 |1700 | 271 | 126k| 1 |1655 | 0.000000e+00 | 3.942380e+05 | Inf
134.69/134.71 c 132s|170000 |169999 |503134 | 3.0 | 174M| 121 | 0 |1700 |1600 |1700 | 265 | 132k| 1 |1685 | 0.000000e+00 | 3.942380e+05 | Inf
142.30/142.31 c 139s|180000 |179999 |524424 | 2.9 | 184M| 121 | 0 |1700 |1600 |1700 | 253 | 138k| 1 |1741 | 0.000000e+00 | 3.942380e+05 | Inf
149.99/150.01 c 147s|190000 |189999 |552678 | 2.9 | 194M| 121 | 0 |1700 |1600 |1700 | 263 | 146k| 1 |1792 | 0.000000e+00 | 3.942380e+05 | Inf
157.50/157.52 c 154s|200000 |199999 |572432 | 2.9 | 203M| 121 | 0 |1700 |1600 |1700 | 261 | 152k| 1 |1813 | 0.000000e+00 | 3.942380e+05 | Inf
164.90/164.95 c 162s|210000 |209999 |590780 | 2.8 | 213M| 121 | 8 |1700 |1600 |1700 | 271 | 157k| 1 |1838 | 0.000000e+00 | 3.942380e+05 | Inf
172.79/172.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.79/172.87 c 169s|220000 |219999 |619765 | 2.8 | 223M| 121 | 23 |1700 |1600 |1700 | 265 | 164k| 1 |1885 | 0.000000e+00 | 3.942380e+05 | Inf
180.70/180.75 c 177s|230000 |229999 |649248 | 2.8 | 233M| 121 | 7 |1700 |1600 |1700 | 225 | 171k| 1 |1931 | 0.000000e+00 | 3.942380e+05 | Inf
188.30/188.38 c 185s|240000 |239999 |673102 | 2.8 | 242M| 121 | 0 |1700 |1600 |1700 | 239 | 178k| 1 |1978 | 0.000000e+00 | 3.942380e+05 | Inf
195.99/196.02 c 192s|250000 |249999 |696352 | 2.8 | 252M| 121 | 12 |1700 |1600 |1700 | 232 | 185k| 1 |2020 | 0.000000e+00 | 3.942380e+05 | Inf
203.59/203.66 c 199s|260000 |259999 |719755 | 2.8 | 262M| 121 | 0 |1700 |1600 |1700 | 262 | 191k| 1 |2053 | 0.000000e+00 | 3.942380e+05 | Inf
211.10/211.17 c 206s|270000 |269999 |740135 | 2.7 | 271M| 121 | 0 |1700 |1600 |1700 | 252 | 196k| 1 |2096 | 0.000000e+00 | 3.942380e+05 | Inf
218.81/218.90 c 213s|280000 |279999 |766228 | 2.7 | 281M| 121 | 0 |1700 |1600 |1700 | 270 | 203k| 1 |2122 | 0.000000e+00 | 3.942380e+05 | Inf
226.70/226.70 c 221s|290000 |289999 |793784 | 2.7 | 291M| 121 | 14 |1700 |1600 |1700 | 217 | 211k| 1 |2167 | 0.000000e+00 | 3.942380e+05 | Inf
234.49/234.57 c 228s|300000 |299999 |823822 | 2.7 | 300M| 121 | 0 |1700 |1600 |1700 | 278 | 219k| 1 |2215 | 0.000000e+00 | 3.942380e+05 | Inf
242.10/242.12 c 235s|310000 |309999 |846938 | 2.7 | 310M| 123 | 5 |1700 |1600 |1700 | 251 | 225k| 1 |2242 | 0.000000e+00 | 3.942380e+05 | Inf
249.80/249.82 c 242s|320000 |319999 |870994 | 2.7 | 320M| 123 | 0 |1700 |1600 |1700 | 276 | 231k| 1 |2282 | 0.000000e+00 | 3.942380e+05 | Inf
257.59/257.60 c 249s|330000 |329999 |899693 | 2.7 | 330M| 123 | 0 |1700 |1600 |1700 | 262 | 239k| 1 |2323 | 0.000000e+00 | 3.942380e+05 | Inf
265.30/265.38 c 257s|340000 |339999 |929316 | 2.7 | 339M| 123 | 6 |1700 |1600 |1700 | 238 | 246k| 1 |2372 | 0.000000e+00 | 3.942380e+05 | Inf
273.00/273.00 c 264s|350000 |349999 |953060 | 2.7 | 349M| 123 | 6 |1700 |1600 |1700 | 259 | 252k| 1 |2400 | 0.000000e+00 | 3.942380e+05 | Inf
280.70/280.70 c 271s|360000 |359999 |978620 | 2.7 | 359M| 123 | 9 |1700 |1600 |1700 | 223 | 259k| 1 |2450 | 0.000000e+00 | 3.942380e+05 | Inf
288.49/288.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
288.49/288.54 c 278s|370000 |369999 | 1005k| 2.7 | 369M| 123 | 0 |1700 |1600 |1700 | 276 | 266k| 1 |2473 | 0.000000e+00 | 3.942380e+05 | Inf
295.99/296.07 c 285s|380000 |379999 | 1026k| 2.7 | 378M| 123 | 4 |1700 |1600 |1700 | 264 | 272k| 1 |2497 | 0.000000e+00 | 3.942380e+05 | Inf
303.61/303.66 c 292s|390000 |389999 | 1052k| 2.7 | 388M| 123 | 0 |1700 |1600 |1700 | 269 | 280k| 1 |2529 | 0.000000e+00 | 3.942380e+05 | Inf
311.40/311.42 c 300s|400000 |399999 | 1078k| 2.7 | 398M| 123 | 0 |1700 |1600 |1700 | 291 | 287k| 1 |2579 | 0.000000e+00 | 3.942380e+05 | Inf
318.79/318.89 c 307s|410000 |409999 | 1101k| 2.7 | 407M| 127 | 0 |1700 |1600 |1700 | 250 | 293k| 1 |2601 | 0.000000e+00 | 3.942380e+05 | Inf
326.20/326.27 c 314s|420000 |419999 | 1119k| 2.7 | 417M| 127 | 0 |1700 |1600 |1700 | 272 | 299k| 1 |2618 | 0.000000e+00 | 3.942380e+05 | Inf
333.80/333.89 c 321s|430000 |429999 | 1145k| 2.7 | 427M| 127 | 0 |1700 |1600 |1700 | 281 | 305k| 1 |2653 | 0.000000e+00 | 3.942380e+05 | Inf
341.30/341.35 c 328s|440000 |439999 | 1167k| 2.7 | 436M| 127 | 0 |1700 |1600 |1700 | 254 | 312k| 1 |2677 | 0.000000e+00 | 3.942380e+05 | Inf
348.80/348.89 c 335s|450000 |449999 | 1187k| 2.6 | 446M| 127 | 0 |1700 |1600 |1700 | 260 | 318k| 1 |2698 | 0.000000e+00 | 3.942380e+05 | Inf
356.50/356.57 c 342s|460000 |459999 | 1213k| 2.6 | 456M| 127 | 0 |1700 |1600 |1700 | 254 | 325k| 1 |2738 | 0.000000e+00 | 3.942380e+05 | Inf
364.20/364.21 c 349s|470000 |469999 | 1240k| 2.6 | 466M| 127 | 10 |1700 |1600 |1700 | 256 | 332k| 1 |2757 | 0.000000e+00 | 3.942380e+05 | Inf
371.60/371.69 c 356s|480000 |479999 | 1261k| 2.6 | 475M| 127 | 0 |1700 |1600 |1700 | 280 | 337k| 1 |2789 | 0.000000e+00 | 3.942380e+05 | Inf
379.20/379.21 c 363s|490000 |489999 | 1284k| 2.6 | 485M| 127 | 0 |1700 |1600 |1700 | 241 | 344k| 1 |2814 | 0.000000e+00 | 3.942380e+05 | Inf
386.80/386.81 c 370s|500000 |499999 | 1306k| 2.6 | 495M| 127 | 24 |1700 |1600 |1700 | 210 | 350k| 1 |2835 | 0.000000e+00 | 3.942380e+05 | Inf
394.50/394.56 c 377s|510000 |509999 | 1335k| 2.6 | 504M| 127 | 0 |1700 |1600 |1700 | 263 | 358k| 1 |2876 | 0.000000e+00 | 3.942380e+05 | Inf
402.00/402.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
402.00/402.05 c 384s|520000 |519999 | 1355k| 2.6 | 514M| 127 | 32 |1700 |1600 |1700 | 228 | 364k| 1 |2895 | 0.000000e+00 | 3.942380e+05 | Inf
409.30/409.37 c 391s|530000 |529999 | 1370k| 2.6 | 524M| 127 | 0 |1700 |1600 |1700 | 247 | 368k| 1 |2912 | 0.000000e+00 | 3.942380e+05 | Inf
416.80/416.87 c 398s|540000 |539999 | 1391k| 2.6 | 533M| 127 | 17 |1700 |1600 |1700 | 264 | 374k| 1 |2936 | 0.000000e+00 | 3.942380e+05 | Inf
424.51/424.54 c 405s|550000 |549999 | 1417k| 2.6 | 543M| 127 | 13 |1700 |1600 |1700 | 268 | 381k| 1 |2960 | 0.000000e+00 | 3.942380e+05 | Inf
431.90/431.95 c 412s|560000 |559999 | 1435k| 2.6 | 553M| 127 | 0 |1700 |1600 |1700 | 259 | 387k| 1 |2982 | 0.000000e+00 | 3.942380e+05 | Inf
439.40/439.46 c 419s|570000 |569999 | 1455k| 2.6 | 562M| 127 | 0 |1700 |1600 |1700 | 284 | 392k| 1 |3005 | 0.000000e+00 | 3.942380e+05 | Inf
447.00/447.01 c 426s|580000 |579999 | 1479k| 2.5 | 572M| 127 | 20 |1700 |1600 |1700 | 238 | 399k| 1 |3039 | 0.000000e+00 | 3.942380e+05 | Inf
454.50/454.55 c 433s|590000 |589999 | 1499k| 2.5 | 582M| 127 | 0 |1700 |1600 |1700 | 266 | 406k| 1 |3056 | 0.000000e+00 | 3.942380e+05 | Inf
462.00/462.02 c 440s|600000 |599999 | 1520k| 2.5 | 592M| 127 | 0 |1700 |1600 |1700 | 245 | 412k| 1 |3076 | 0.000000e+00 | 3.942380e+05 | Inf
469.20/469.25 c 447s|610000 |609999 | 1536k| 2.5 | 601M| 131 | 0 |1700 |1600 |1700 | 261 | 417k| 1 |3102 | 0.000000e+00 | 3.942380e+05 | Inf
476.40/476.48 c 454s|620000 |619999 | 1551k| 2.5 | 611M| 133 | 0 |1700 |1600 |1700 | 277 | 421k| 1 |3118 | 0.000000e+00 | 3.942380e+05 | Inf
483.80/483.82 c 461s|630000 |629999 | 1571k| 2.5 | 621M| 133 | 0 |1700 |1600 |1700 | 265 | 427k| 1 |3140 | 0.000000e+00 | 3.942380e+05 | Inf
491.20/491.20 c 468s|640000 |639999 | 1591k| 2.5 | 630M| 133 | 0 |1700 |1600 |1700 | 247 | 432k| 1 |3157 | 0.000000e+00 | 3.942380e+05 | Inf
498.50/498.53 c 474s|650000 |649999 | 1608k| 2.5 | 640M| 133 | 0 |1700 |1600 |1700 | 267 | 438k| 1 |3175 | 0.000000e+00 | 3.942380e+05 | Inf
505.80/505.86 c 481s|660000 |659999 | 1625k| 2.5 | 649M| 133 | 7 |1700 |1600 |1700 | 230 | 443k| 1 |3191 | 0.000000e+00 | 3.942380e+05 | Inf
513.40/513.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
513.40/513.50 c 488s|670000 |669999 | 1654k| 2.5 | 659M| 133 | 0 |1700 |1600 |1700 | 262 | 452k| 1 |3217 | 0.000000e+00 | 3.942380e+05 | Inf
520.71/520.73 c 495s|680000 |679999 | 1670k| 2.5 | 669M| 133 | 0 |1700 |1600 |1700 | 258 | 456k| 1 |3234 | 0.000000e+00 | 3.942380e+05 | Inf
528.10/528.15 c 502s|690000 |689999 | 1691k| 2.5 | 679M| 133 | 0 |1700 |1600 |1700 | 290 | 462k| 1 |3254 | 0.000000e+00 | 3.942380e+05 | Inf
535.30/535.38 c 509s|700000 |699999 | 1708k| 2.4 | 688M| 139 | 0 |1700 |1600 |1700 | 255 | 467k| 1 |3271 | 0.000000e+00 | 3.942380e+05 | Inf
542.81/542.81 c 516s|710000 |709999 | 1729k| 2.4 | 698M| 139 | 0 |1700 |1600 |1700 | 266 | 472k| 1 |3294 | 0.000000e+00 | 3.942380e+05 | Inf
550.20/550.26 c 523s|720000 |719999 | 1750k| 2.4 | 708M| 139 | 0 |1700 |1600 |1700 | 261 | 478k| 1 |3313 | 0.000000e+00 | 3.942380e+05 | Inf
557.40/557.49 c 530s|730000 |729999 | 1765k| 2.4 | 717M| 139 | 0 |1700 |1600 |1700 | 274 | 483k| 1 |3332 | 0.000000e+00 | 3.942380e+05 | Inf
564.80/564.86 c 536s|740000 |739999 | 1784k| 2.4 | 727M| 139 | 5 |1700 |1600 |1700 | 245 | 488k| 1 |3352 | 0.000000e+00 | 3.942380e+05 | Inf
572.10/572.15 c 543s|750000 |749999 | 1804k| 2.4 | 737M| 155 | 0 |1700 |1600 |1700 | 251 | 493k| 1 |3374 | 0.000000e+00 | 3.942380e+05 | Inf
579.31/579.35 c 550s|760000 |759999 | 1820k| 2.4 | 746M| 155 | 3 |1700 |1600 |1700 | 294 | 498k| 1 |3394 | 0.000000e+00 | 3.942380e+05 | Inf
586.50/586.56 c 557s|770000 |769999 | 1837k| 2.4 | 756M| 155 | 0 |1700 |1600 |1700 | 244 | 502k| 1 |3410 | 0.000000e+00 | 3.942380e+05 | Inf
593.61/593.68 c 563s|780000 |779999 | 1853k| 2.4 | 765M| 155 | 9 |1700 |1600 |1700 | 262 | 507k| 1 |3424 | 0.000000e+00 | 3.942380e+05 | Inf
600.90/600.94 c 570s|790000 |789999 | 1873k| 2.4 | 775M| 155 | 0 |1700 |1600 |1700 | 269 | 513k| 1 |3445 | 0.000000e+00 | 3.942380e+05 | Inf
608.10/608.16 c 577s|800000 |799999 | 1890k| 2.4 | 785M| 155 | 0 |1700 |1600 |1700 | 267 | 518k| 1 |3458 | 0.000000e+00 | 3.942380e+05 | Inf
615.21/615.29 c 584s|810000 |809999 | 1904k| 2.4 | 794M| 155 | 0 |1700 |1600 |1700 | 283 | 522k| 1 |3468 | 0.000000e+00 | 3.942380e+05 | Inf
622.41/622.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
622.41/622.47 c 590s|820000 |819999 | 1920k| 2.3 | 804M| 155 | 0 |1700 |1600 |1700 | 288 | 526k| 1 |3485 | 0.000000e+00 | 3.942380e+05 | Inf
629.60/629.61 c 597s|830000 |829999 | 1935k| 2.3 | 814M| 155 | 0 |1700 |1600 |1700 | 255 | 531k| 1 |3501 | 0.000000e+00 | 3.942380e+05 | Inf
636.91/636.91 c 604s|840000 |839999 | 1955k| 2.3 | 823M| 155 | 0 |1700 |1600 |1700 | 282 | 536k| 1 |3518 | 0.000000e+00 | 3.942380e+05 | Inf
644.20/644.25 c 611s|850000 |849999 | 1973k| 2.3 | 833M| 155 | 15 |1700 |1600 |1700 | 213 | 541k| 1 |3533 | 0.000000e+00 | 3.942380e+05 | Inf
651.31/651.38 c 617s|860000 |859999 | 1988k| 2.3 | 843M| 155 | 0 |1700 |1600 |1700 | 249 | 545k| 1 |3539 | 0.000000e+00 | 3.942380e+05 | Inf
658.71/658.75 c 624s|870000 |869999 | 2008k| 2.3 | 852M| 155 | 0 |1700 |1600 |1700 | 228 | 551k| 1 |3559 | 0.000000e+00 | 3.942380e+05 | Inf
665.90/665.95 c 631s|880000 |879999 | 2024k| 2.3 | 862M| 155 | 0 |1700 |1600 |1700 | 286 | 555k| 1 |3568 | 0.000000e+00 | 3.942380e+05 | Inf
673.22/673.28 c 638s|890000 |889999 | 2043k| 2.3 | 872M| 155 | 15 |1700 |1600 |1700 | 200 | 560k| 1 |3586 | 0.000000e+00 | 3.942380e+05 | Inf
680.61/680.64 c 645s|900000 |899999 | 2063k| 2.3 | 882M| 155 | 0 |1700 |1600 |1700 | 260 | 566k| 1 |3610 | 0.000000e+00 | 3.942380e+05 | Inf
687.91/687.96 c 651s|910000 |909999 | 2084k| 2.3 | 891M| 155 | 0 |1700 |1600 |1700 | 266 | 571k| 1 |3621 | 0.000000e+00 | 3.942380e+05 | Inf
695.12/695.15 c 658s|920000 |919999 | 2100k| 2.3 | 901M| 155 | 0 |1700 |1600 |1700 | 253 | 576k| 1 |3644 | 0.000000e+00 | 3.942380e+05 | Inf
702.51/702.54 c 665s|930000 |929999 | 2122k| 2.3 | 911M| 155 | 0 |1700 |1600 |1700 | 257 | 582k| 1 |3665 | 0.000000e+00 | 3.942380e+05 | Inf
709.81/709.84 c 672s|940000 |939999 | 2142k| 2.3 | 920M| 155 | 4 |1700 |1600 |1700 | 267 | 588k| 1 |3685 | 0.000000e+00 | 3.942380e+05 | Inf
717.21/717.23 c 679s|950000 |949999 | 2164k| 2.3 | 930M| 155 | 0 |1700 |1600 |1700 | 290 | 594k| 1 |3704 | 0.000000e+00 | 3.942380e+05 | Inf
724.31/724.33 c 685s|960000 |959999 | 2177k| 2.3 | 940M| 155 | 0 |1700 |1600 |1700 | 268 | 597k| 1 |3723 | 0.000000e+00 | 3.942380e+05 | Inf
731.41/731.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
731.41/731.42 c 692s|970000 |969999 | 2190k| 2.3 | 949M| 155 | 0 |1700 |1600 |1700 | 269 | 601k| 1 |3739 | 0.000000e+00 | 3.942380e+05 | Inf
738.31/738.36 c 698s|980000 |979999 | 2201k| 2.2 | 959M| 155 | 0 |1700 |1600 |1700 | 255 | 604k| 1 |3744 | 0.000000e+00 | 3.942380e+05 | Inf
745.50/745.56 c 705s|990000 |989999 | 2217k| 2.2 | 969M| 155 | 11 |1700 |1600 |1700 | 243 | 608k| 1 |3759 | 0.000000e+00 | 3.942380e+05 | Inf
752.71/752.70 c 712s| 1000k|999999 | 2231k| 2.2 | 978M| 155 | 0 |1700 |1600 |1700 | 263 | 613k| 1 |3774 | 0.000000e+00 | 3.942380e+05 | Inf
759.81/759.84 c 718s| 1010k| 1009k| 2244k| 2.2 | 988M| 155 | 0 |1700 |1600 |1700 | 271 | 616k| 1 |3774 | 0.000000e+00 | 3.942380e+05 | Inf
767.21/767.20 c 725s| 1020k| 1019k| 2265k| 2.2 | 998M| 155 | 0 |1700 |1600 |1700 | 254 | 622k| 1 |3790 | 0.000000e+00 | 3.942380e+05 | Inf
774.51/774.50 c 732s| 1030k| 1029k| 2282k| 2.2 |1007M| 155 | 0 |1700 |1600 |1700 | 264 | 627k| 1 |3805 | 0.000000e+00 | 3.942380e+05 | Inf
781.81/781.82 c 739s| 1040k| 1039k| 2300k| 2.2 |1017M| 155 | 0 |1700 |1600 |1700 | 258 | 631k| 1 |3825 | 0.000000e+00 | 3.942380e+05 | Inf
788.72/788.78 c 745s| 1050k| 1049k| 2311k| 2.2 |1027M| 155 | 0 |1700 |1600 |1700 | 272 | 634k| 1 |3836 | 0.000000e+00 | 3.942380e+05 | Inf
796.01/796.04 c 752s| 1060k| 1059k| 2328k| 2.2 |1036M| 155 | 21 |1700 |1600 |1700 | 278 | 639k| 1 |3846 | 0.000000e+00 | 3.942380e+05 | Inf
803.11/803.16 c 759s| 1070k| 1069k| 2343k| 2.2 |1046M| 155 | 0 |1700 |1600 |1700 | 285 | 643k| 1 |3852 | 0.000000e+00 | 3.942380e+05 | Inf
810.51/810.51 c 766s| 1080k| 1079k| 2362k| 2.2 |1056M| 155 | 10 |1700 |1600 |1700 | 275 | 649k| 1 |3860 | 0.000000e+00 | 3.942380e+05 | Inf
817.71/817.71 c 772s| 1090k| 1089k| 2380k| 2.2 |1065M| 155 | 0 |1700 |1600 |1700 | 262 | 654k| 1 |3873 | 0.000000e+00 | 3.942380e+05 | Inf
825.02/825.05 c 779s| 1100k| 1099k| 2400k| 2.2 |1075M| 155 | 0 |1700 |1600 |1700 | 261 | 660k| 1 |3888 | 0.000000e+00 | 3.942380e+05 | Inf
832.11/832.18 c 786s| 1110k| 1109k| 2414k| 2.2 |1085M| 167 | 0 |1700 |1600 |1700 | 264 | 665k| 1 |3903 | 0.000000e+00 | 3.942380e+05 | Inf
839.31/839.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
839.31/839.39 c 793s| 1120k| 1119k| 2432k| 2.2 |1094M| 167 | 4 |1700 |1601 |1700 | 222 | 669k| 2 |3917 | 0.000000e+00 | 3.942380e+05 | Inf
846.51/846.55 c 799s| 1130k| 1129k| 2449k| 2.2 |1104M| 167 | 0 |1700 |1601 |1700 | 268 | 674k| 2 |3928 | 0.000000e+00 | 3.942380e+05 | Inf
853.62/853.67 c 806s| 1140k| 1139k| 2463k| 2.2 |1114M| 167 | 0 |1700 |1601 |1700 | 276 | 678k| 2 |3936 | 0.000000e+00 | 3.942380e+05 | Inf
860.52/860.50 c 812s| 1150k| 1149k| 2472k| 2.2 |1123M| 167 | 0 |1700 |1601 |1700 | 259 | 681k| 2 |3953 | 0.000000e+00 | 3.942380e+05 | Inf
867.82/867.85 c 819s| 1160k| 1159k| 2492k| 2.1 |1133M| 167 | 0 |1700 |1601 |1700 | 250 | 686k| 2 |3969 | 0.000000e+00 | 3.942380e+05 | Inf
874.81/874.89 c 826s| 1170k| 1169k| 2507k| 2.1 |1143M| 167 | 0 |1700 |1601 |1700 | 266 | 690k| 2 |3970 | 0.000000e+00 | 3.942380e+05 | Inf
882.01/882.04 c 832s| 1180k| 1179k| 2524k| 2.1 |1152M| 167 | 0 |1700 |1601 |1700 | 267 | 695k| 2 |3982 | 0.000000e+00 | 3.942380e+05 | Inf
889.22/889.25 c 839s| 1190k| 1189k| 2544k| 2.1 |1162M| 167 | 0 |1700 |1601 |1700 | 253 | 701k| 2 |4000 | 0.000000e+00 | 3.942380e+05 | Inf
896.52/896.54 c 846s| 1200k| 1199k| 2563k| 2.1 |1172M| 167 | 0 |1700 |1601 |1700 | 266 | 707k| 2 |4021 | 0.000000e+00 | 3.942380e+05 | Inf
903.71/903.72 c 853s| 1210k| 1209k| 2578k| 2.1 |1181M| 167 | 0 |1700 |1601 |1700 | 283 | 712k| 2 |4037 | 0.000000e+00 | 3.942380e+05 | Inf
910.91/910.95 c 859s| 1220k| 1219k| 2596k| 2.1 |1191M| 167 | 0 |1700 |1601 |1700 | 280 | 717k| 2 |4052 | 0.000000e+00 | 3.942380e+05 | Inf
918.11/918.17 c 866s| 1230k| 1229k| 2613k| 2.1 |1201M| 167 | 0 |1700 |1601 |1700 | 290 | 722k| 2 |4056 | 0.000000e+00 | 3.942380e+05 | Inf
925.32/925.35 c 873s| 1240k| 1239k| 2628k| 2.1 |1210M| 167 | 0 |1700 |1601 |1700 | 259 | 726k| 2 |4068 | 0.000000e+00 | 3.942380e+05 | Inf
932.41/932.49 c 879s| 1250k| 1249k| 2643k| 2.1 |1220M| 171 | 0 |1700 |1601 |1700 | 258 | 730k| 2 |4082 | 0.000000e+00 | 3.942380e+05 | Inf
939.62/939.60 c 886s| 1260k| 1259k| 2659k| 2.1 |1229M| 171 | 0 |1700 |1601 |1700 | 258 | 735k| 2 |4094 | 0.000000e+00 | 3.942380e+05 | Inf
946.71/946.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
946.71/946.73 c 893s| 1270k| 1269k| 2674k| 2.1 |1239M| 171 | 16 |1700 |1601 |1700 | 258 | 739k| 2 |4106 | 0.000000e+00 | 3.942380e+05 | Inf
953.81/953.84 c 899s| 1280k| 1279k| 2688k| 2.1 |1249M| 171 | 0 |1700 |1601 |1700 | 254 | 743k| 2 |4119 | 0.000000e+00 | 3.942380e+05 | Inf
960.82/960.82 c 906s| 1290k| 1289k| 2698k| 2.1 |1258M| 171 | 0 |1700 |1601 |1700 | 257 | 746k| 2 |4124 | 0.000000e+00 | 3.942380e+05 | Inf
968.02/968.01 c 913s| 1300k| 1299k| 2717k| 2.1 |1268M| 171 | 0 |1700 |1601 |1700 | 245 | 751k| 2 |4135 | 0.000000e+00 | 3.942380e+05 | Inf
975.01/975.07 c 919s| 1310k| 1309k| 2731k| 2.1 |1278M| 171 | 7 |1700 |1601 |1700 | 255 | 755k| 2 |4146 | 0.000000e+00 | 3.942380e+05 | Inf
982.11/982.10 c 926s| 1320k| 1319k| 2746k| 2.1 |1287M| 171 | 0 |1700 |1601 |1700 | 290 | 760k| 2 |4157 | 0.000000e+00 | 3.942380e+05 | Inf
989.02/989.03 c 932s| 1330k| 1329k| 2758k| 2.1 |1297M| 171 | 0 |1700 |1601 |1700 | 263 | 763k| 2 |4158 | 0.000000e+00 | 3.942380e+05 | Inf
996.02/996.10 c 939s| 1340k| 1339k| 2773k| 2.1 |1307M| 171 | 0 |1700 |1601 |1700 | 254 | 767k| 2 |4170 | 0.000000e+00 | 3.942380e+05 | Inf
1003.22/1003.20 c 945s| 1350k| 1349k| 2787k| 2.1 |1316M| 171 | 6 |1700 |1601 |1700 | 262 | 771k| 2 |4180 | 0.000000e+00 | 3.942380e+05 | Inf
1010.02/1010.04 c 952s| 1360k| 1359k| 2797k| 2.1 |1326M| 171 | 0 |1700 |1601 |1700 | 268 | 774k| 2 |4184 | 0.000000e+00 | 3.942380e+05 | Inf
1017.12/1017.17 c 959s| 1370k| 1369k| 2813k| 2.1 |1335M| 171 | 0 |1700 |1601 |1700 | 279 | 779k| 2 |4195 | 0.000000e+00 | 3.942380e+05 | Inf
1024.32/1024.37 c 965s| 1380k| 1379k| 2830k| 2.1 |1345M| 171 | 0 |1700 |1601 |1700 | 281 | 783k| 2 |4209 | 0.000000e+00 | 3.942380e+05 | Inf
1031.41/1031.46 c 972s| 1390k| 1389k| 2845k| 2.0 |1355M| 171 | 0 |1700 |1601 |1700 | 279 | 787k| 2 |4214 | 0.000000e+00 | 3.942380e+05 | Inf
1038.51/1038.58 c 978s| 1400k| 1399k| 2859k| 2.0 |1364M| 171 | 0 |1700 |1601 |1700 | 251 | 791k| 2 |4225 | 0.000000e+00 | 3.942380e+05 | Inf
1045.81/1045.83 c 985s| 1410k| 1409k| 2878k| 2.0 |1374M| 171 | 0 |1700 |1601 |1700 | 267 | 796k| 2 |4237 | 0.000000e+00 | 3.942380e+05 | Inf
1053.02/1053.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1053.02/1053.09 c 992s| 1420k| 1419k| 2895k| 2.0 |1384M| 171 | 0 |1700 |1601 |1700 | 255 | 801k| 2 |4248 | 0.000000e+00 | 3.942380e+05 | Inf
1060.22/1060.28 c 999s| 1430k| 1429k| 2912k| 2.0 |1394M| 171 | 0 |1700 |1601 |1700 | 271 | 806k| 2 |4261 | 0.000000e+00 | 3.942380e+05 | Inf
1067.41/1067.48 c 1005s| 1440k| 1439k| 2928k| 2.0 |1403M| 171 | 0 |1700 |1601 |1700 | 259 | 810k| 2 |4273 | 0.000000e+00 | 3.942380e+05 | Inf
1074.51/1074.53 c 1012s| 1450k| 1449k| 2941k| 2.0 |1413M| 171 | 0 |1700 |1601 |1700 | 288 | 814k| 2 |4276 | 0.000000e+00 | 3.942380e+05 | Inf
1081.61/1081.60 c 1019s| 1460k| 1459k| 2955k| 2.0 |1422M| 171 | 0 |1700 |1601 |1700 | 247 | 818k| 2 |4287 | 0.000000e+00 | 3.942380e+05 | Inf
1088.71/1088.77 c 1025s| 1470k| 1469k| 2970k| 2.0 |1432M| 171 | 0 |1700 |1601 |1700 | 272 | 822k| 2 |4298 | 0.000000e+00 | 3.942380e+05 | Inf
1095.82/1095.81 c 1032s| 1480k| 1479k| 2982k| 2.0 |1442M| 171 | 0 |1700 |1601 |1700 | 267 | 825k| 2 |4300 | 0.000000e+00 | 3.942380e+05 | Inf
1103.02/1103.03 c 1039s| 1490k| 1489k| 2998k| 2.0 |1451M| 171 | 0 |1700 |1601 |1700 | 235 | 830k| 2 |4311 | 0.000000e+00 | 3.942380e+05 | Inf
1110.32/1110.31 c 1046s| 1500k| 1499k| 3015k| 2.0 |1461M| 171 | 0 |1700 |1601 |1700 | 268 | 834k| 2 |4322 | 0.000000e+00 | 3.942380e+05 | Inf
1117.41/1117.45 c 1052s| 1510k| 1509k| 3031k| 2.0 |1471M| 171 | 0 |1700 |1601 |1700 | 278 | 839k| 2 |4330 | 0.000000e+00 | 3.942380e+05 | Inf
1124.61/1124.64 c 1059s| 1520k| 1519k| 3049k| 2.0 |1480M| 171 | 0 |1700 |1601 |1700 | 265 | 844k| 2 |4341 | 0.000000e+00 | 3.942380e+05 | Inf
1131.32/1131.39 c 1065s| 1530k| 1529k| 3058k| 2.0 |1490M| 199 | 0 |1700 |1601 |1700 | 269 | 846k| 2 |4343 | 0.000000e+00 | 3.942380e+05 | Inf
1138.32/1138.34 c 1072s| 1540k| 1539k| 3070k| 2.0 |1500M| 199 | 0 |1700 |1601 |1700 | 263 | 850k| 2 |4351 | 0.000000e+00 | 3.942380e+05 | Inf
1145.13/1145.17 c 1078s| 1550k| 1549k| 3080k| 2.0 |1509M| 199 | 3 |1700 |1601 |1700 | 227 | 853k| 2 |4353 | 0.000000e+00 | 3.942380e+05 | Inf
1152.12/1152.10 c 1085s| 1560k| 1559k| 3094k| 2.0 |1519M| 199 | 0 |1700 |1601 |1700 | 260 | 856k| 2 |4364 | 0.000000e+00 | 3.942380e+05 | Inf
1159.02/1159.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1159.02/1159.04 c 1091s| 1570k| 1569k| 3106k| 2.0 |1528M| 199 | 0 |1700 |1601 |1700 | 275 | 860k| 2 |4364 | 0.000000e+00 | 3.942380e+05 | Inf
1166.02/1166.03 c 1098s| 1580k| 1579k| 3121k| 2.0 |1538M| 199 | 0 |1700 |1601 |1700 | 243 | 864k| 2 |4374 | 0.000000e+00 | 3.942380e+05 | Inf
1172.82/1172.89 c 1104s| 1590k| 1589k| 3133k| 2.0 |1548M| 199 | 0 |1700 |1601 |1700 | 274 | 867k| 2 |4383 | 0.000000e+00 | 3.942380e+05 | Inf
1179.82/1179.80 c 1110s| 1600k| 1599k| 3146k| 2.0 |1557M| 199 | 7 |1700 |1601 |1700 | 245 | 871k| 2 |4386 | 0.000000e+00 | 3.942380e+05 | Inf
1186.72/1186.75 c 1117s| 1610k| 1609k| 3159k| 2.0 |1567M| 199 | 3 |1700 |1601 |1700 | 254 | 875k| 2 |4393 | 0.000000e+00 | 3.942380e+05 | Inf
1193.62/1193.64 c 1123s| 1620k| 1619k| 3171k| 2.0 |1577M| 199 | 0 |1700 |1601 |1700 | 254 | 878k| 2 |4401 | 0.000000e+00 | 3.942380e+05 | Inf
1200.52/1200.56 c 1130s| 1630k| 1629k| 3183k| 2.0 |1586M| 199 | 10 |1700 |1605 |1700 | 234 | 881k| 6 |4403 | 0.000000e+00 | 3.942380e+05 | Inf
1207.22/1207.29 c 1136s| 1640k| 1639k| 3190k| 1.9 |1596M| 199 | 0 |1700 |1605 |1700 | 261 | 884k| 6 |4412 | 0.000000e+00 | 3.942380e+05 | Inf
1214.02/1214.08 c 1142s| 1650k| 1649k| 3199k| 1.9 |1605M| 199 | 0 |1700 |1605 |1700 | 272 | 886k| 6 |4412 | 0.000000e+00 | 3.942380e+05 | Inf
1221.12/1221.16 c 1149s| 1660k| 1659k| 3217k| 1.9 |1615M| 199 | 6 |1700 |1605 |1700 | 243 | 891k| 6 |4421 | 0.000000e+00 | 3.942380e+05 | Inf
1228.02/1228.08 c 1156s| 1670k| 1669k| 3229k| 1.9 |1625M| 199 | 0 |1700 |1605 |1700 | 254 | 894k| 6 |4430 | 0.000000e+00 | 3.942380e+05 | Inf
1234.93/1234.98 c 1162s| 1680k| 1679k| 3240k| 1.9 |1634M| 199 | 0 |1700 |1605 |1700 | 250 | 898k| 6 |4431 | 0.000000e+00 | 3.942380e+05 | Inf
1241.82/1241.81 c 1168s| 1690k| 1689k| 3251k| 1.9 |1644M| 199 | 0 |1700 |1605 |1700 | 266 | 901k| 6 |4440 | 0.000000e+00 | 3.942380e+05 | Inf
1248.82/1248.88 c 1175s| 1700k| 1699k| 3266k| 1.9 |1653M| 199 | 0 |1700 |1605 |1700 | 247 | 905k| 6 |4447 | 0.000000e+00 | 3.942380e+05 | Inf
1255.92/1255.91 c 1182s| 1710k| 1709k| 3282k| 1.9 |1663M| 199 | 0 |1700 |1605 |1700 | 266 | 910k| 6 |4457 | 0.000000e+00 | 3.942380e+05 | Inf
1262.92/1262.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1262.92/1262.92 c 1188s| 1720k| 1719k| 3295k| 1.9 |1673M| 199 | 6 |1700 |1605 |1700 | 249 | 913k| 6 |4471 | 0.000000e+00 | 3.942380e+05 | Inf
1269.93/1269.97 c 1195s| 1730k| 1729k| 3310k| 1.9 |1682M| 199 | 0 |1700 |1605 |1700 | 263 | 917k| 6 |4473 | 0.000000e+00 | 3.942380e+05 | Inf
1276.72/1276.77 c 1201s| 1740k| 1739k| 3319k| 1.9 |1692M| 199 | 0 |1700 |1605 |1700 | 255 | 920k| 6 |4483 | 0.000000e+00 | 3.942380e+05 | Inf
1283.53/1283.59 c 1207s| 1750k| 1749k| 3329k| 1.9 |1701M| 199 | 0 |1700 |1605 |1700 | 296 | 923k| 6 |4484 | 0.000000e+00 | 3.942380e+05 | Inf
1290.52/1290.50 c 1214s| 1760k| 1759k| 3341k| 1.9 |1711M| 199 | 0 |1700 |1605 |1700 | 277 | 926k| 6 |4496 | 0.000000e+00 | 3.942380e+05 | Inf
1297.42/1297.49 c 1220s| 1770k| 1769k| 3355k| 1.9 |1721M| 199 | 0 |1700 |1605 |1700 | 256 | 930k| 6 |4500 | 0.000000e+00 | 3.942380e+05 | Inf
1304.43/1304.43 c 1227s| 1780k| 1779k| 3367k| 1.9 |1730M| 199 | 9 |1700 |1605 |1700 | 275 | 933k| 6 |4508 | 0.000000e+00 | 3.942380e+05 | Inf
1311.32/1311.37 c 1233s| 1790k| 1789k| 3378k| 1.9 |1740M| 199 | 0 |1700 |1605 |1700 | 257 | 937k| 6 |4520 | 0.000000e+00 | 3.942380e+05 | Inf
1318.22/1318.22 c 1240s| 1800k| 1799k| 3390k| 1.9 |1749M| 199 | 0 |1700 |1605 |1700 | 282 | 940k| 6 |4521 | 0.000000e+00 | 3.942380e+05 | Inf
1325.02/1325.04 c 1246s| 1810k| 1809k| 3403k| 1.9 |1759M| 199 | 5 |1700 |1605 |1700 | 262 | 944k| 6 |4533 | 0.000000e+00 | 3.942380e+05 | Inf
1331.92/1331.96 c 1253s| 1820k| 1819k| 3416k| 1.9 |1769M| 199 | 0 |1700 |1605 |1700 | 262 | 947k| 6 |4535 | 0.000000e+00 | 3.942380e+05 | Inf
1338.82/1338.86 c 1259s| 1830k| 1829k| 3427k| 1.9 |1778M| 199 | 0 |1700 |1605 |1700 | 243 | 951k| 6 |4550 | 0.000000e+00 | 3.942380e+05 | Inf
1345.73/1345.79 c 1266s| 1840k| 1839k| 3441k| 1.9 |1788M| 199 | 0 |1700 |1605 |1700 | 259 | 954k| 6 |4550 | 0.000000e+00 | 3.942380e+05 | Inf
1352.63/1352.69 c 1272s| 1850k| 1849k| 3453k| 1.9 |1797M| 199 | 0 |1700 |1605 |1700 | 242 | 958k| 6 |4561 | 0.000000e+00 | 3.942380e+05 | Inf
1359.62/1359.66 c 1278s| 1860k| 1859k| 3468k| 1.9 |1807M| 199 | 0 |1700 |1605 |1700 | 224 | 962k| 6 |4573 | 0.000000e+00 | 3.942380e+05 | Inf
1366.53/1366.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1366.53/1366.56 c 1285s| 1870k| 1869k| 3480k| 1.9 |1817M| 199 | 0 |1700 |1605 |1700 | 247 | 965k| 6 |4574 | 0.000000e+00 | 3.942380e+05 | Inf
1373.42/1373.47 c 1291s| 1880k| 1879k| 3491k| 1.9 |1826M| 199 | 0 |1700 |1605 |1700 | 257 | 968k| 6 |4586 | 0.000000e+00 | 3.942380e+05 | Inf
1380.43/1380.42 c 1298s| 1890k| 1889k| 3506k| 1.9 |1836M| 199 | 0 |1700 |1605 |1700 | 279 | 972k| 6 |4588 | 0.000000e+00 | 3.942380e+05 | Inf
1387.33/1387.36 c 1304s| 1900k| 1899k| 3520k| 1.9 |1846M| 199 | 0 |1700 |1605 |1700 | 263 | 977k| 6 |4599 | 0.000000e+00 | 3.942380e+05 | Inf
1394.43/1394.40 c 1311s| 1910k| 1909k| 3535k| 1.9 |1855M| 199 | 0 |1700 |1605 |1700 | 255 | 981k| 6 |4613 | 0.000000e+00 | 3.942380e+05 | Inf
1401.33/1401.36 c 1317s| 1920k| 1919k| 3548k| 1.8 |1865M| 199 | 0 |1700 |1605 |1700 | 258 | 984k| 6 |4614 | 0.000000e+00 | 3.942380e+05 | Inf
1408.23/1408.25 c 1324s| 1930k| 1929k| 3559k| 1.8 |1874M| 199 | 0 |1700 |1605 |1700 | 258 | 988k| 6 |4629 | 0.000000e+00 | 3.942380e+05 | Inf
1415.22/1415.22 c 1330s| 1940k| 1939k| 3572k| 1.8 |1884M| 199 | 0 |1700 |1608 |1700 | 258 | 991k| 9 |4631 | 0.000000e+00 | 3.942380e+05 | Inf
1422.23/1422.20 c 1337s| 1950k| 1949k| 3586k| 1.8 |1894M| 199 | 0 |1700 |1608 |1700 | 271 | 995k| 9 |4643 | 0.000000e+00 | 3.942380e+05 | Inf
1429.03/1429.00 c 1343s| 1960k| 1959k| 3595k| 1.8 |1903M| 199 | 0 |1700 |1608 |1700 | 280 | 998k| 9 |4649 | 0.000000e+00 | 3.942380e+05 | Inf
1436.02/1436.05 c 1350s| 1970k| 1969k| 3612k| 1.8 |1913M| 199 | 0 |1700 |1608 |1700 | 276 |1003k| 9 |4656 | 0.000000e+00 | 3.942380e+05 | Inf
1443.03/1443.06 c 1356s| 1980k| 1979k| 3627k| 1.8 |1923M| 199 | 0 |1700 |1608 |1700 | 260 |1007k| 9 |4669 | 0.000000e+00 | 3.942380e+05 | Inf
1449.93/1449.98 c 1363s| 1990k| 1989k| 3639k| 1.8 |1932M| 199 | 0 |1700 |1608 |1700 | 244 |1010k| 9 |4669 | 0.000000e+00 | 3.942380e+05 | Inf
1456.93/1456.94 c 1369s| 2000k| 1999k| 3652k| 1.8 |1942M| 199 | 0 |1700 |1608 |1700 | 254 |1014k| 9 |4682 | 0.000000e+00 | 3.942380e+05 | Inf
1463.83/1463.87 c 1376s| 2010k| 2009k| 3664k| 1.8 |1951M| 199 | 0 |1700 |1608 |1700 | 261 |1018k| 9 |4692 | 0.000000e+00 | 3.942380e+05 | Inf
1470.83/1470.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1470.83/1470.85 c 1382s| 2020k| 2019k| 3677k| 1.8 |1961M| 199 | 0 |1700 |1608 |1700 | 256 |1021k| 9 |4695 | 0.000000e+00 | 3.942380e+05 | Inf
1477.82/1477.81 c 1389s| 2030k| 2029k| 3689k| 1.8 |1971M| 199 | 0 |1700 |1608 |1700 | 251 |1025k| 9 |4708 | 0.000000e+00 | 3.942380e+05 | Inf
1484.63/1484.66 c 1395s| 2040k| 2039k| 3701k| 1.8 |1980M| 199 | 0 |1700 |1608 |1700 | 256 |1028k| 9 |4708 | 0.000000e+00 | 3.942380e+05 | Inf
1491.63/1491.65 c 1402s| 2050k| 2049k| 3715k| 1.8 |1990M| 199 | 0 |1700 |1608 |1700 | 268 |1032k| 9 |4720 | 0.000000e+00 | 3.942380e+05 | Inf
1498.53/1498.58 c 1408s| 2060k| 2059k| 3727k| 1.8 |1999M| 199 | 0 |1700 |1607 |1700 | 305 |1036k| 9 |4723 | 0.000000e+00 | 3.942380e+05 | Inf
1505.33/1505.39 c 1415s| 2070k| 2069k| 3737k| 1.8 |2009M| 199 | 0 |1700 |1607 |1700 | 295 |1038k| 9 |4732 | 0.000000e+00 | 3.942380e+05 | Inf
1512.43/1512.43 c 1421s| 2080k| 2079k| 3753k| 1.8 |2019M| 199 | 0 |1700 |1607 |1700 | 232 |1043k| 9 |4745 | 0.000000e+00 | 3.942380e+05 | Inf
1519.32/1519.32 c 1428s| 2090k| 2089k| 3765k| 1.8 |2028M| 199 | 0 |1700 |1607 |1700 | 261 |1046k| 9 |4746 | 0.000000e+00 | 3.942380e+05 | Inf
1526.23/1526.25 c 1434s| 2100k| 2099k| 3778k| 1.8 |2038M| 199 | 0 |1700 |1607 |1700 | 258 |1050k| 9 |4759 | 0.000000e+00 | 3.942380e+05 | Inf
1533.13/1533.16 c 1441s| 2110k| 2109k| 3791k| 1.8 |2047M| 199 | 0 |1700 |1607 |1700 | 262 |1053k| 9 |4759 | 0.000000e+00 | 3.942380e+05 | Inf
1540.22/1540.22 c 1447s| 2120k| 2119k| 3806k| 1.8 |2057M| 199 | 0 |1700 |1607 |1700 | 273 |1058k| 9 |4771 | 0.000000e+00 | 3.942380e+05 | Inf
1547.13/1547.18 c 1454s| 2130k| 2129k| 3819k| 1.8 |2067M| 199 | 0 |1700 |1607 |1700 | 250 |1061k| 9 |4782 | 0.000000e+00 | 3.942380e+05 | Inf
1554.13/1554.18 c 1460s| 2140k| 2139k| 3834k| 1.8 |2076M| 199 | 0 |1700 |1607 |1700 | 281 |1066k| 9 |4785 | 0.000000e+00 | 3.942380e+05 | Inf
1561.23/1561.24 c 1467s| 2150k| 2149k| 3848k| 1.8 |2086M| 199 | 0 |1700 |1607 |1700 | 270 |1070k| 9 |4794 | 0.000000e+00 | 3.942380e+05 | Inf
1568.13/1568.16 c 1473s| 2160k| 2159k| 3860k| 1.8 |2096M| 199 | 0 |1700 |1607 |1700 | 259 |1073k| 9 |4806 | 0.000000e+00 | 3.942380e+05 | Inf
1575.24/1575.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1575.24/1575.21 c 1480s| 2170k| 2169k| 3875k| 1.8 |2105M| 199 | 0 |1700 |1607 |1700 | 235 |1078k| 9 |4807 | 0.000000e+00 | 3.942380e+05 | Inf
1582.03/1582.08 c 1486s| 2180k| 2179k| 3886k| 1.8 |2115M| 199 | 0 |1700 |1607 |1700 | 280 |1081k| 9 |4820 | 0.000000e+00 | 3.942380e+05 | Inf
1589.03/1589.00 c 1493s| 2190k| 2189k| 3898k| 1.8 |2124M| 199 | 0 |1700 |1606 |1700 | 236 |1085k| 9 |4821 | 0.000000e+00 | 3.942380e+05 | Inf
1595.83/1595.88 c 1499s| 2200k| 2199k| 3910k| 1.8 |2134M| 199 | 0 |1700 |1606 |1700 | 286 |1088k| 9 |4834 | 0.000000e+00 | 3.942380e+05 | Inf
1602.64/1602.68 c 1506s| 2210k| 2209k| 3920k| 1.8 |2144M| 199 | 23 |1700 |1606 |1700 | 212 |1091k| 9 |4834 | 0.000000e+00 | 3.942380e+05 | Inf
1609.43/1609.41 c 1512s| 2220k| 2219k| 3929k| 1.8 |2153M| 199 | 7 |1700 |1606 |1700 | 239 |1094k| 9 |4842 | 0.000000e+00 | 3.942380e+05 | Inf
1616.23/1616.27 c 1518s| 2230k| 2229k| 3941k| 1.8 |2163M| 199 | 9 |1700 |1606 |1700 | 244 |1097k| 9 |4844 | 0.000000e+00 | 3.942380e+05 | Inf
1623.13/1623.14 c 1525s| 2240k| 2239k| 3953k| 1.8 |2172M| 199 | 0 |1700 |1605 |1700 | 252 |1101k| 9 |4857 | 0.000000e+00 | 3.942380e+05 | Inf
1630.03/1630.09 c 1531s| 2250k| 2249k| 3966k| 1.8 |2182M| 199 | 0 |1700 |1605 |1700 | 271 |1104k| 9 |4857 | 0.000000e+00 | 3.942380e+05 | Inf
1636.84/1636.89 c 1537s| 2260k| 2259k| 3976k| 1.8 |2192M| 199 | 11 |1700 |1605 |1700 | 241 |1107k| 9 |4869 | 0.000000e+00 | 3.942380e+05 | Inf
1643.83/1643.80 c 1544s| 2270k| 2269k| 3988k| 1.8 |2201M| 199 | 0 |1700 |1605 |1700 | 267 |1110k| 9 |4869 | 0.000000e+00 | 3.942380e+05 | Inf
1650.93/1650.91 c 1551s| 2280k| 2279k| 4006k| 1.8 |2211M| 199 | 0 |1700 |1605 |1700 | 283 |1115k| 9 |4881 | 0.000000e+00 | 3.942380e+05 | Inf
1658.04/1658.00 c 1557s| 2290k| 2289k| 4025k| 1.8 |2220M| 199 | 0 |1700 |1605 |1700 | 274 |1120k| 9 |4894 | 0.000000e+00 | 3.942380e+05 | Inf
1664.93/1664.90 c 1564s| 2300k| 2299k| 4036k| 1.8 |2230M| 199 | 0 |1700 |1605 |1700 | 250 |1124k| 9 |4894 | 0.000000e+00 | 3.942380e+05 | Inf
1671.84/1671.81 c 1570s| 2310k| 2309k| 4047k| 1.8 |2240M| 199 | 0 |1700 |1605 |1700 | 300 |1127k| 9 |4905 | 0.000000e+00 | 3.942380e+05 | Inf
1678.73/1678.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1678.73/1678.79 c 1577s| 2320k| 2319k| 4060k| 1.8 |2249M| 199 | 0 |1700 |1605 |1700 | 262 |1131k| 9 |4909 | 0.000000e+00 | 3.942380e+05 | Inf
1685.73/1685.72 c 1583s| 2330k| 2329k| 4073k| 1.7 |2259M| 199 | 0 |1700 |1605 |1700 | 269 |1134k| 9 |4918 | 0.000000e+00 | 3.942380e+05 | Inf
1692.73/1692.76 c 1590s| 2340k| 2339k| 4088k| 1.7 |2269M| 199 | 0 |1700 |1605 |1700 | 286 |1138k| 9 |4930 | 0.000000e+00 | 3.942380e+05 | Inf
1699.53/1699.55 c 1596s| 2350k| 2349k| 4098k| 1.7 |2278M| 199 | 0 |1700 |1605 |1700 | 282 |1141k| 9 |4930 | 0.000000e+00 | 3.942380e+05 | Inf
1706.53/1706.52 c 1603s| 2360k| 2359k| 4111k| 1.7 |2288M| 199 | 0 |1700 |1605 |1700 | 274 |1145k| 9 |4942 | 0.000000e+00 | 3.942380e+05 | Inf
1713.43/1713.40 c 1609s| 2370k| 2369k| 4123k| 1.7 |2297M| 199 | 0 |1700 |1605 |1700 | 267 |1148k| 9 |4943 | 0.000000e+00 | 3.942380e+05 | Inf
1720.34/1720.32 c 1615s| 2380k| 2379k| 4135k| 1.7 |2307M| 199 | 0 |1700 |1605 |1700 | 248 |1151k| 9 |4953 | 0.000000e+00 | 3.942380e+05 | Inf
1727.23/1727.27 c 1622s| 2390k| 2389k| 4148k| 1.7 |2317M| 199 | 0 |1700 |1605 |1700 | 264 |1155k| 9 |4954 | 0.000000e+00 | 3.942380e+05 | Inf
1734.14/1734.13 c 1628s| 2400k| 2399k| 4158k| 1.7 |2326M| 199 | 0 |1700 |1605 |1700 | 257 |1158k| 9 |4961 | 0.000000e+00 | 3.942380e+05 | Inf
1741.04/1741.02 c 1635s| 2410k| 2409k| 4171k| 1.7 |2336M| 199 | 0 |1700 |1605 |1700 | 254 |1161k| 9 |4963 | 0.000000e+00 | 3.942380e+05 | Inf
1748.03/1748.01 c 1641s| 2420k| 2419k| 4185k| 1.7 |2346M| 199 | 0 |1700 |1605 |1700 | 276 |1165k| 9 |4974 | 0.000000e+00 | 3.942380e+05 | Inf
1754.83/1754.82 c 1648s| 2430k| 2429k| 4195k| 1.7 |2355M| 199 | 0 |1700 |1605 |1700 | 273 |1168k| 9 |4974 | 0.000000e+00 | 3.942380e+05 | Inf
1761.73/1761.73 c 1654s| 2440k| 2439k| 4209k| 1.7 |2365M| 199 | 0 |1700 |1605 |1700 | 244 |1172k| 9 |4985 | 0.000000e+00 | 3.942380e+05 | Inf
1768.33/1768.39 c 1660s| 2450k| 2449k| 4216k| 1.7 |2374M| 199 | 0 |1700 |1604 |1700 | 250 |1174k| 9 |4986 | 0.000000e+00 | 3.942380e+05 | Inf
1775.34/1775.32 c 1667s| 2460k| 2459k| 4229k| 1.7 |2384M| 199 | 0 |1700 |1604 |1700 | 255 |1178k| 9 |4998 | 0.000000e+00 | 3.942380e+05 | Inf
1782.24/1782.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1782.24/1782.25 c 1673s| 2470k| 2469k| 4240k| 1.7 |2393M| 199 | 0 |1700 |1604 |1700 | 274 |1181k| 9 |4999 | 0.000000e+00 | 3.942380e+05 | Inf
1789.34/1789.36 c 1680s| 2480k| 2479k| 4259k| 1.7 |2403M| 199 | 0 |1700 |1604 |1700 | 298 |1186k| 9 |5009 | 0.000000e+00 | 3.942380e+05 | Inf
1796.34/1796.34 c 1687s| 2490k| 2489k| 4272k| 1.7 |2413M| 199 | 0 |1700 |1604 |1700 | 280 |1190k| 9 |5014 | 0.000000e+00 | 3.942380e+05 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1690.10
1800.04/1800.00 c Solving Nodes : 2495173
1800.04/1800.00 c Primal Bound : +3.94238000000000e+05 (100 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.01 s SATISFIABLE
1800.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time : 1690.10
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2700404-1278535468.wbo
1800.04/1800.01 c Variables : 1800 (1000 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.04/1800.01 c Constraints : 1701 initial, 1701 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-2700404-1278535468.wbo
1800.04/1800.01 c Variables : 1700 (900 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.04/1800.01 c Constraints : 1600 initial, 1608 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.02 0 100 0 800 0 101 0 0
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 2788607 0 0 0 0 0 889286
1800.04/1800.01 c indicator : 800 0 3452260 2343964 0 0 2472320 0 0 0
1800.04/1800.01 c linear : 800 6 3452260 2343964 0 4 964365 1192268 0 0
1800.04/1800.01 c logicor : 0+ 0 46157 0 0 0 5285 0 0 0
1800.04/1800.01 c countsols : 0 0 0 2050526 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.01 c integral : 7.31 0.00 0.00 7.31 0.00
1800.04/1800.01 c indicator : 149.04 0.02 31.98 117.04 0.00
1800.04/1800.01 c linear : 35.63 0.01 13.62 22.00 0.00
1800.04/1800.01 c logicor : 0.04 0.00 0.04 0.00 0.00
1800.04/1800.01 c countsols : 0.01 0.00 0.00 0.01 0.00
1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.01 c vbounds : 0.12 2 0 0
1800.04/1800.01 c rootredcost : 0.10 0 0 0
1800.04/1800.01 c pseudoobj : 50.02 3452060 0 0
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 0.00 4 4 4 5.2 5 4.6 -
1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c applied globally : - - - 9 4.9 - - -
1800.04/1800.01 c applied locally : - - - 0 0.0 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 3 - - 30 - (maximal pool size: 46)
1800.04/1800.01 c redcost : 89.89 2788160 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 4 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.00 4 0 0 49 0
1800.04/1800.01 c strongcg : 0.01 4 0 0 0 0
1800.04/1800.01 c cmir : 0.00 4 0 0 0 0
1800.04/1800.01 c flowcover : 0.02 4 0 0 0 0
1800.04/1800.01 c clique : 0.00 1 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 1 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 7.21 444643 0 0 0 0 889286
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 138.08 2050526 0 0 0 0 4101052
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.00 - 0
1800.04/1800.01 c feaspump : 0.00 0 0
1800.04/1800.01 c oneopt : 0.22 1 0
1800.04/1800.01 c intshifting : 0.04 18 0
1800.04/1800.01 c crossover : 0.21 13 0
1800.04/1800.01 c pscostdiving : 14.89 30330 0
1800.04/1800.01 c fracdiving : 15.24 30330 0
1800.04/1800.01 c veclendiving : 14.78 30330 0
1800.04/1800.01 c linesearchdiving : 14.61 30330 0
1800.04/1800.01 c guideddiving : 14.62 30330 0
1800.04/1800.01 c coefdiving : 15.75 30331 0
1800.04/1800.01 c objpscostdiving : 15.92 30296 0
1800.04/1800.01 c rootsoldiving : 16.09 30296 0
1800.04/1800.01 c trivial : 0.01 2 1
1800.04/1800.01 c simplerounding : 0.16 444566 0
1800.04/1800.01 c zirounding : 0.11 1000 0
1800.04/1800.01 c rounding : 0.52 9455 0
1800.04/1800.01 c shifting : 1.33 2877 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.01 1 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c nlp : 0.06 0 0
1800.04/1800.01 c trysol : 0.40 34170 99
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 675.31 901571 4277905 4.74 6334.73
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 0.15 449 1442 3.21 9613.33
1800.04/1800.01 c strong branching : 4.68 5020 62603 12.47 13376.71
1800.04/1800.01 c (at root node) : - 33 4381 132.76 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 2495173
1800.04/1800.01 c nodes (total) : 2495173
1800.04/1800.01 c nodes left : 2495166
1800.04/1800.01 c max depth : 199
1800.04/1800.01 c max depth (total): 199
1800.04/1800.01 c backtracks : 30520 (1.2%)
1800.04/1800.01 c delayed cutoffs : 0
1800.04/1800.01 c repropagations : 18 (8 domain reductions, 0 cutoffs)
1800.04/1800.01 c avg switch length: 2.39
1800.04/1800.01 c switching time : 68.52
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 100 (1 improvements)
1800.04/1800.01 c First Solution : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Primal Bound : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 229
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700404-1278535468/watcher-2700404-1278535468 -o /tmp/evaluation-result-2700404-1278535468/solver-2700404-1278535468 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700404-1278535468.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.06 2.10 4/178 18935
/proc/meminfo: memFree=27299212/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=9416 CPUtime=0
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 1649 0 0 0 0 0 0 0 25 0 1 0 21760982 9641984 1568 4089446400 4194304 8223781 140733395739856 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18935/statm: 2354 1568 369 984 0 1367 0
[startup+0.0077521 s]
/proc/loadavg: 2.00 2.06 2.10 4/178 18935
/proc/meminfo: memFree=27299212/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=9784 CPUtime=0
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 1763 0 0 0 0 0 0 0 25 0 1 0 21760982 10018816 1682 4089446400 4194304 8223781 140733395739856 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18935/statm: 2446 1682 369 984 0 1459 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9784
[startup+0.100733 s]
/proc/loadavg: 2.00 2.06 2.10 4/178 18935
/proc/meminfo: memFree=27299212/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=23964 CPUtime=0.09
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 6315 0 0 0 9 0 0 0 25 0 1 0 21760982 24539136 5089 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18935/statm: 5991 5089 564 984 0 5004 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23964
[startup+0.300699 s]
/proc/loadavg: 2.00 2.06 2.10 4/178 18935
/proc/meminfo: memFree=27299212/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=24640 CPUtime=0.29
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 9347 0 0 0 28 1 0 0 25 0 1 0 21760982 25231360 5276 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18935/statm: 6160 5276 578 984 0 5173 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24640
[startup+0.700625 s]
/proc/loadavg: 2.00 2.06 2.10 4/178 18935
/proc/meminfo: memFree=27299212/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=24656 CPUtime=0.69
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 9361 0 0 0 67 2 0 0 25 0 1 0 21760982 25247744 5279 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18935/statm: 6164 5279 578 984 0 5177 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24656
[startup+1.50049 s]
/proc/loadavg: 2.00 2.06 2.10 3/179 18936
/proc/meminfo: memFree=27278000/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=24656 CPUtime=1.49
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 9376 0 0 0 146 3 0 0 25 0 1 0 21760982 25247744 5293 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18935/statm: 6164 5293 580 984 0 5177 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24656
[startup+3.1002 s]
/proc/loadavg: 2.00 2.06 2.10 3/179 18936
/proc/meminfo: memFree=27275024/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=28160 CPUtime=3.09
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 15913 0 0 0 301 8 0 0 25 0 1 0 21760982 28835840 6085 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18935/statm: 7040 6086 584 984 0 6053 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28160
[startup+6.30064 s]
/proc/loadavg: 2.00 2.06 2.10 3/179 18936
/proc/meminfo: memFree=27264888/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=33516 CPUtime=6.29
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 23006 0 0 0 613 16 0 0 25 0 1 0 21760982 34320384 7446 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18935/statm: 8379 7446 588 984 0 7392 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33516
[startup+12.7005 s]
/proc/loadavg: 2.00 2.06 2.09 3/179 18937
/proc/meminfo: memFree=27245816/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=41824 CPUtime=12.69
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 30836 0 0 0 1240 29 0 0 25 0 1 0 21760982 42827776 9545 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18935/statm: 10456 9545 588 984 0 9469 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41824
[startup+25.5003 s]
/proc/loadavg: 2.00 2.05 2.09 3/179 18937
/proc/meminfo: memFree=27212972/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=58048 CPUtime=25.5
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 37823 0 0 0 2494 56 0 0 25 0 1 0 21760982 59441152 13668 4089446400 4194304 8223781 140733395739856 18446744073709551615 4329233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18935/statm: 14512 13668 588 984 0 13525 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 58048
[startup+51.1007 s]
/proc/loadavg: 2.00 2.05 2.09 3/179 18937
/proc/meminfo: memFree=27144300/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=90296 CPUtime=51.1
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 48899 0 0 0 5004 106 0 0 25 0 1 0 21760982 92463104 21869 4089446400 4194304 8223781 140733395739856 18446744073709551615 4819365 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18935/statm: 22574 21869 588 984 0 21587 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 90296
[startup+102.307 s]
/proc/loadavg: 2.00 2.04 2.08 3/179 18939
/proc/meminfo: memFree=27009484/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=155332 CPUtime=102.3
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 67785 0 0 0 10025 205 0 0 25 0 1 0 21760982 159059968 37867 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18935/statm: 38833 37867 588 984 0 37846 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 155332
[startup+162.301 s]
/proc/loadavg: 2.00 2.03 2.08 4/179 18941
/proc/meminfo: memFree=26888776/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=237016 CPUtime=162.29
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 90362 0 0 0 15903 326 0 0 25 0 1 0 21760982 242704384 57579 4089446400 4194304 8223781 140733395739856 18446744073709551615 4902885 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18935/statm: 59254 57579 588 984 0 58267 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 237016
[startup+222.3 s]
/proc/loadavg: 1.82 1.97 2.06 3/179 19628
/proc/meminfo: memFree=28864904/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=309656 CPUtime=222.29
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 108809 0 0 0 21648 581 0 0 25 0 1 0 21760982 317087744 76026 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18935/statm: 77414 76026 588 984 0 76427 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 309656
[startup+282.301 s]
/proc/loadavg: 1.92 1.97 2.05 3/179 19629
/proc/meminfo: memFree=28386208/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=385164 CPUtime=282.29
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 127983 0 0 0 27249 980 0 0 25 0 1 0 21760982 394407936 95200 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18935/statm: 96291 95200 588 984 0 95304 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 385164
[startup+342.3 s]
/proc/loadavg: 1.97 1.97 2.04 3/179 19631
/proc/meminfo: memFree=27882956/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=461172 CPUtime=342.3
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 150160 0 0 0 32854 1376 0 0 25 0 1 0 21760982 472240128 114509 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18935/statm: 115293 114509 588 984 0 114306 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 461172
[startup+402.301 s]
/proc/loadavg: 1.99 1.97 2.04 3/179 19633
/proc/meminfo: memFree=27374492/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=544020 CPUtime=402.3
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 169153 0 0 0 38445 1785 0 0 25 0 1 0 21760982 557076480 133502 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18935/statm: 136005 133502 588 984 0 135018 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 544020
[startup+462.3 s]
/proc/loadavg: 2.05 1.99 2.04 3/179 19635
/proc/meminfo: memFree=26855224/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=620016 CPUtime=462.3
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 188448 0 0 0 44054 2176 0 0 25 0 1 0 21760982 634896384 152797 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18935/statm: 155004 152797 588 984 0 154017 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 620016
[startup+522.301 s]
/proc/loadavg: 2.02 1.99 2.03 3/179 19636
/proc/meminfo: memFree=26339196/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=698268 CPUtime=522.31
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 208336 0 0 0 49657 2574 0 0 25 0 1 0 21760982 715026432 172685 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18935/statm: 174567 172685 588 984 0 173580 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 698268
[startup+582.301 s]
/proc/loadavg: 2.00 1.99 2.03 4/179 19637
/proc/meminfo: memFree=25828232/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=776300 CPUtime=582.31
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 228164 0 0 0 55276 2955 0 0 25 0 1 0 21760982 794931200 192508 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18935/statm: 194075 192508 588 984 0 193088 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 776300
[startup+642.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/179 19639
/proc/meminfo: memFree=25420056/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=853548 CPUtime=642.31
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 250679 0 0 0 60884 3347 0 0 25 0 1 0 21760982 874033152 212155 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18935/statm: 213387 212155 588 984 0 212400 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 853548
[startup+702.301 s]
################
# More data... #
################
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 371688 0 0 0 94463 5768 0 0 25 0 1 0 21760982 1378451456 333163 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18935/statm: 336536 333163 588 984 0 335549 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1346144
[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 19660
/proc/meminfo: memFree=24824848/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=1426292 CPUtime=1062.31
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 392055 0 0 0 100066 6165 0 0 25 0 1 0 21760982 1460523008 353530 4089446400 4194304 8223781 140733395739856 18446744073709551615 6446882 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18935/statm: 356573 353530 588 984 0 355586 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1426292
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 19661
/proc/meminfo: memFree=24741592/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=1506724 CPUtime=1122.32
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 412484 0 0 0 105674 6558 0 0 25 0 1 0 21760982 1542885376 373958 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18935/statm: 376681 373958 588 984 0 375694 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1506724
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19662
/proc/meminfo: memFree=24653744/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=1589852 CPUtime=1182.32
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 433603 0 0 0 111281 6951 0 0 25 0 1 0 21760982 1628008448 395077 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18935/statm: 397463 395077 588 984 0 396476 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1589852
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19664
/proc/meminfo: memFree=24565032/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=1672240 CPUtime=1242.32
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 457411 0 0 0 116892 7340 0 0 25 0 1 0 21760982 1712373760 416014 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18935/statm: 418060 416014 588 984 0 417073 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1672240
[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 19666
/proc/meminfo: memFree=24480168/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=1752884 CPUtime=1302.33
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 477914 0 0 0 122489 7744 0 0 25 0 1 0 21760982 1794953216 436514 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18935/statm: 438221 436514 588 984 0 437234 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1752884
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 19668
/proc/meminfo: memFree=24393800/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=1834148 CPUtime=1362.33
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 498582 0 0 0 128094 8139 0 0 25 0 1 0 21760982 1878167552 457180 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18935/statm: 458537 457180 588 984 0 457550 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1834148
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 19669
/proc/meminfo: memFree=24303852/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=1917032 CPUtime=1422.33
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 519621 0 0 0 133708 8525 0 0 25 0 1 0 21760982 1963040768 478219 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18935/statm: 479258 478219 588 984 0 478271 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1917032
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 19670
/proc/meminfo: memFree=24215748/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=2030988 CPUtime=1482.33
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 540248 0 0 0 139312 8921 0 0 25 0 1 0 21760982 2079731712 498846 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18935/statm: 507747 498846 588 984 0 506760 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 2030988
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19672
/proc/meminfo: memFree=24130000/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=2111336 CPUtime=1542.33
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 560675 0 0 0 144909 9324 0 0 25 0 1 0 21760982 2162008064 519273 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18935/statm: 527834 519273 588 984 0 526847 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2111336
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19674
/proc/meminfo: memFree=24045500/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=2195596 CPUtime=1602.33
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 582086 0 0 0 150523 9710 0 0 25 0 1 0 21760982 2248290304 540684 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18935/statm: 548899 540684 588 984 0 547912 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2195596
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19676
/proc/meminfo: memFree=23960748/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=2276764 CPUtime=1662.33
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 602720 0 0 0 156120 10113 0 0 25 0 1 0 21760982 2331406336 561318 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18935/statm: 569191 561318 588 984 0 568204 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2276764
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19677
/proc/meminfo: memFree=23876348/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=2357628 CPUtime=1722.33
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 623260 0 0 0 161731 10502 0 0 25 0 1 0 21760982 2414211072 581858 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18935/statm: 589407 581858 588 984 0 588420 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 2357628
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19678
/proc/meminfo: memFree=23786496/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=2441688 CPUtime=1782.33
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 644635 0 0 0 167351 10882 0 0 25 0 1 0 21760982 2500288512 603233 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18935/statm: 610422 603233 588 984 0 609435 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2441688
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19679
/proc/meminfo: memFree=23758820/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=2466336 CPUtime=1800.04
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 650901 0 0 0 169011 10993 0 0 25 0 1 0 21760982 2525528064 609499 4089446400 4194304 8223781 140733395739856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18935/statm: 616584 609499 588 984 0 615597 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2466336
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18935
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19680
/proc/meminfo: memFree=23758440/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=2466336 CPUtime=1801.44
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 650903 0 0 0 169150 10994 0 0 19 0 1 0 21760982 2525528064 609501 4089446400 4194304 8223781 140733395739856 18446744073709551615 4609362 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/18935/statm: 616584 609501 590 984 0 615597 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 2466336
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19680
/proc/meminfo: memFree=23758192/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=2466336 CPUtime=1801.85
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 650903 0 0 0 169191 10994 0 0 20 0 1 0 21760982 2525528064 609501 4089446400 4194304 8223781 140733395739856 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/18935/statm: 616584 609501 590 984 0 615597 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 2466336
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19680
/proc/meminfo: memFree=23758192/32951124 swapFree=67111528/67111528
[pid=18935] ppid=18933 vsize=2466336 CPUtime=1802.04
/proc/18935/stat : 18935 (pbscip.linux.x8) R 18933 18935 18070 0 -1 4202496 650903 0 0 0 169210 10994 0 0 21 0 1 0 21760982 2525528064 609501 4089446400 4194304 8223781 140733395739856 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/18935/statm: 616584 609501 590 984 0 615597 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 2466336
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.09
CPU time (s): 1802.13
CPU user time (s): 1692.11
CPU system time (s): 110.021
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2466336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1692.11
system time used= 110.021
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 650903
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= 2567
runsolver used 2.43563 second user time and 5.78112 second system time
The end
Begin job on node107 at 2010-07-07 22:44:28
IDJOB=2700404
IDBENCH=79425
IDSOLVER=1204
FILE ID=node107/2700404-1278535468
PBS_JOBID= 11239263
Free space on /tmp= 73648 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-jnh220_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-2700404-1278535468/watcher-2700404-1278535468 -o /tmp/evaluation-result-2700404-1278535468/solver-2700404-1278535468 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700404-1278535468.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 862c57b9a103de4e976a73e17aca1258
RANDOM SEED=1857009317
node107.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.788
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.57
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.788
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5265.21
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.788
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.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.788
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.788
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.788
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.788
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.788
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 27299616 kB
Buffers: 130796 kB
Cached: 3363952 kB
SwapCached: 0 kB
Active: 2793300 kB
Inactive: 2694916 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 27299616 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4680 kB
Writeback: 0 kB
AnonPages: 1992840 kB
Mapped: 17640 kB
Slab: 95496 kB
PageTables: 8780 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 2170888 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= 73644 MiB
End job on node107 at 2010-07-07 23:14:30