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-2700116-1278533985.wbo>
0.00/0.01 c original problem has 1900 variables (1050 bin, 0 int, 0 impl, 850 cont) and 1801 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.01/0.02 c presolving:
0.01/0.03 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.01/0.03 c (round 2) 100 del vars, 101 del conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.01/0.06 c (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.06 c presolving (3 rounds):
0.01/0.06 c 100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.06 c 1050 implications, 0 cliques
0.01/0.06 c presolved problem has 1800 variables (950 bin, 0 int, 0 impl, 850 cont) and 1700 constraints
0.01/0.06 c 850 constraints of type <indicator>
0.01/0.06 c 850 constraints of type <linear>
0.01/0.06 c transformed objective value is always integral (scale: 1)
0.01/0.06 c Presolving Time: 0.04
0.01/0.06 c - non default parameters ----------------------------------------------------------------------
0.01/0.06 c # SCIP version 1.2.1.2
0.01/0.06 c
0.01/0.06 c # frequency for displaying node information lines
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.06 c display/freq = 10000
0.01/0.06 c
0.01/0.06 c # maximal time in seconds to run
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.06 c limits/time = 1799.99
0.01/0.06 c
0.01/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.06 c limits/memory = 3420
0.01/0.06 c
0.01/0.06 c # should presolving try to simplify inequalities
0.01/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.06 c constraints/linear/simplifyinequalities = TRUE
0.01/0.06 c
0.01/0.06 c # should presolving try to simplify knapsacks
0.01/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.06 c
0.01/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.06 c separating/rapidlearning/freq = 0
0.01/0.06 c
0.01/0.06 c -----------------------------------------------------------------------------------------------
0.01/0.06 c start solving
0.01/0.06 c
0.01/0.06 o 420925
0.01/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.01/0.06 c t 0.0s| 1 | 0 | 0 | - |6121k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.01/0.06 c 0.0s| 1 | 0 | 0 | - |6518k| 0 | 0 |1800 |1700 |1800 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.01/0.06 c 0.0s| 1 | 0 | 31 | - |6551k| 0 | 3 |1800 |1700 |1800 | 57 | 57 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.01/0.07 c 0.1s| 1 | 0 | 108 | - |6603k| 0 | 40 |1800 |1700 |1800 | 100 | 100 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.01/0.08 c 0.1s| 1 | 0 | 160 | - |6728k| 0 | 68 |1800 |1700 |1800 | 144 | 144 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.01/0.09 c 0.1s| 1 | 0 | 213 | - |6792k| 0 | 79 |1800 |1700 |1800 | 175 | 175 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 226 | - |6817k| 0 | 78 |1800 |1700 |1800 | 176 | 176 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 230 | - |6843k| 0 | 81 |1800 |1700 |1800 | 178 | 178 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.29/0.31 c 0.3s| 1 | 2 | 373 | - |6895k| 0 | 81 |1800 |1700 |1800 | 178 | 178 | 0 | 33 | 0.000000e+00 | 4.209250e+05 | Inf
12.10/12.14 c 11.9s| 10000 | 9995 | 65086 | 6.5 | 19M| 251 | 0 |1800 |1704 |1800 | 290 |6706 | 4 | 789 | 0.000000e+00 | 4.209250e+05 | Inf
21.09/21.15 c 20.7s| 20000 | 19995 |112693 | 5.6 | 30M| 251 | 0 |1800 |1704 |1800 | 284 | 11k| 4 | 789 | 0.000000e+00 | 4.209250e+05 | Inf
29.80/29.80 c 29.2s| 30000 | 29993 |151934 | 5.1 | 40M| 251 | 0 |1800 |1705 |1800 | 280 | 17k| 5 | 789 | 0.000000e+00 | 4.209250e+05 | Inf
38.50/38.53 c 37.8s| 40000 | 39991 |191798 | 4.8 | 50M| 251 | 0 |1800 |1708 |1800 | 232 | 22k| 8 | 875 | 0.000000e+00 | 4.209250e+05 | Inf
47.30/47.31 c 46.4s| 50000 | 49991 |229812 | 4.6 | 60M| 251 | 0 |1800 |1708 |1800 | 292 | 26k| 8 | 984 | 0.000000e+00 | 4.209250e+05 | Inf
55.49/55.55 c 54.5s| 60000 | 59989 |257804 | 4.3 | 70M| 253 | 0 |1800 |1712 |1800 | 286 | 31k| 12 |1097 | 0.000000e+00 | 4.209250e+05 | Inf
63.89/63.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.89/63.92 c 62.7s| 70000 | 69987 |288235 | 4.1 | 80M| 255 | 0 |1800 |1717 |1800 | 249 | 35k| 17 |1190 | 0.000000e+00 | 4.209250e+05 | Inf
72.60/72.61 c 71.2s| 80000 | 79987 |325091 | 4.1 | 90M| 255 | 0 |1800 |1717 |1800 | 320 | 40k| 17 |1315 | 0.000000e+00 | 4.209250e+05 | Inf
81.09/81.15 c 79.6s| 90000 | 89987 |360666 | 4.0 | 100M| 255 | 22 |1800 |1717 |1800 | 242 | 45k| 17 |1432 | 0.000000e+00 | 4.209250e+05 | Inf
89.80/89.86 c 88.1s|100000 | 99987 |399206 | 4.0 | 110M| 255 | 0 |1800 |1717 |1800 | 255 | 50k| 17 |1543 | 0.000000e+00 | 4.209250e+05 | Inf
98.00/98.09 c 96.2s|110000 |109987 |427402 | 3.9 | 121M| 255 | 0 |1800 |1717 |1800 | 332 | 53k| 17 |1597 | 0.000000e+00 | 4.209250e+05 | Inf
106.19/106.24 c 104s|120000 |119987 |455306 | 3.8 | 131M| 257 | 0 |1800 |1717 |1800 | 310 | 58k| 17 |1677 | 0.000000e+00 | 4.209250e+05 | Inf
114.40/114.43 c 112s|130000 |129982 |484247 | 3.7 | 141M| 257 | 4 |1800 |1727 |1800 | 286 | 62k| 27 |1767 | 0.000000e+00 | 4.209250e+05 | Inf
123.30/123.36 c 121s|140000 |139982 |529373 | 3.8 | 151M| 257 | 9 |1800 |1727 |1800 | 224 | 68k| 27 |1867 | 0.000000e+00 | 4.209250e+05 | Inf
132.60/132.68 c 130s|150000 |149982 |585881 | 3.9 | 161M| 257 | 0 |1800 |1727 |1800 | 261 | 75k| 27 |1996 | 0.000000e+00 | 4.209250e+05 | Inf
140.80/140.81 c 138s|160000 |159980 |614451 | 3.8 | 171M| 257 | 0 |1800 |1733 |1800 | 253 | 80k| 34 |2050 | 0.000000e+00 | 4.209250e+05 | Inf
148.60/148.69 c 146s|170000 |169980 |637145 | 3.7 | 181M| 257 | 0 |1800 |1733 |1800 | 272 | 83k| 34 |2094 | 0.000000e+00 | 4.209250e+05 | Inf
156.89/156.97 c 154s|180000 |179980 |667045 | 3.7 | 191M| 257 | 0 |1800 |1733 |1800 | 260 | 87k| 34 |2149 | 0.000000e+00 | 4.209250e+05 | Inf
165.20/165.27 c 162s|190000 |189980 |701027 | 3.7 | 201M| 257 | 0 |1800 |1732 |1800 | 287 | 92k| 34 |2232 | 0.000000e+00 | 4.209250e+05 | Inf
173.80/173.86 c 171s|200000 |199980 |738903 | 3.7 | 211M| 257 | 0 |1800 |1731 |1800 | 263 | 97k| 34 |2296 | 0.000000e+00 | 4.209250e+05 | Inf
181.79/181.89 c 178s|210000 |209978 |763759 | 3.6 | 221M| 257 | 0 |1800 |1733 |1800 | 304 | 100k| 36 |2343 | 0.000000e+00 | 4.209250e+05 | Inf
190.00/190.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
190.00/190.01 c 186s|220000 |219978 |791454 | 3.6 | 231M| 257 | 0 |1800 |1731 |1800 | 277 | 105k| 36 |2405 | 0.000000e+00 | 4.209250e+05 | Inf
198.20/198.28 c 195s|230000 |229978 |823171 | 3.6 | 241M| 257 | 0 |1800 |1731 |1800 | 238 | 110k| 36 |2482 | 0.000000e+00 | 4.209250e+05 | Inf
206.50/206.51 c 203s|240000 |239978 |855072 | 3.6 | 251M| 257 | 0 |1800 |1730 |1800 | 251 | 114k| 36 |2535 | 0.000000e+00 | 4.209250e+05 | Inf
215.00/215.04 c 211s|250000 |249978 |892958 | 3.6 | 261M| 257 | 14 |1800 |1730 |1800 | 266 | 119k| 36 |2595 | 0.000000e+00 | 4.209250e+05 | Inf
223.10/223.12 c 219s|260000 |259978 |921528 | 3.5 | 271M| 257 | 0 |1800 |1727 |1800 | 306 | 123k| 36 |2651 | 0.000000e+00 | 4.209250e+05 | Inf
231.01/231.04 c 227s|270000 |269978 |946337 | 3.5 | 281M| 257 | 0 |1800 |1726 |1800 | 303 | 128k| 36 |2704 | 0.000000e+00 | 4.209250e+05 | Inf
239.20/239.20 c 235s|280000 |279978 |979006 | 3.5 | 291M| 257 | 0 |1800 |1726 |1800 | 270 | 133k| 36 |2758 | 0.000000e+00 | 4.209250e+05 | Inf
247.20/247.28 c 243s|290000 |289978 | 1008k| 3.5 | 301M| 257 | 0 |1800 |1726 |1800 | 214 | 138k| 36 |2815 | 0.000000e+00 | 4.209250e+05 | Inf
255.30/255.31 c 250s|300000 |299978 | 1036k| 3.5 | 311M| 257 | 0 |1800 |1726 |1800 | 337 | 144k| 36 |2862 | 0.000000e+00 | 4.209250e+05 | Inf
263.30/263.35 c 258s|310000 |309976 | 1064k| 3.4 | 321M| 257 | 0 |1800 |1728 |1800 | 306 | 149k| 39 |2921 | 0.000000e+00 | 4.209250e+05 | Inf
271.20/271.25 c 266s|320000 |319976 | 1089k| 3.4 | 331M| 257 | 0 |1800 |1726 |1800 | 264 | 154k| 39 |2956 | 0.000000e+00 | 4.209250e+05 | Inf
278.90/278.99 c 274s|330000 |329976 | 1112k| 3.4 | 341M| 257 | 0 |1800 |1725 |1800 | 261 | 158k| 39 |2996 | 0.000000e+00 | 4.209250e+05 | Inf
286.90/286.95 c 282s|340000 |339976 | 1139k| 3.4 | 351M| 257 | 0 |1800 |1725 |1800 | 231 | 162k| 39 |3036 | 0.000000e+00 | 4.209250e+05 | Inf
295.00/295.07 c 290s|350000 |349976 | 1169k| 3.3 | 361M| 257 | 0 |1800 |1725 |1800 | 286 | 167k| 39 |3081 | 0.000000e+00 | 4.209250e+05 | Inf
302.80/302.82 c 297s|360000 |359976 | 1193k| 3.3 | 371M| 257 | 0 |1800 |1724 |1800 | 297 | 172k| 39 |3118 | 0.000000e+00 | 4.209250e+05 | Inf
310.90/310.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
310.90/310.92 c 305s|370000 |369976 | 1223k| 3.3 | 381M| 257 | 0 |1800 |1723 |1800 | 231 | 177k| 39 |3158 | 0.000000e+00 | 4.209250e+05 | Inf
318.81/318.81 c 313s|380000 |379976 | 1248k| 3.3 | 391M| 277 | 0 |1800 |1723 |1800 | 328 | 181k| 39 |3203 | 0.000000e+00 | 4.209250e+05 | Inf
326.81/326.83 c 321s|390000 |389976 | 1274k| 3.3 | 401M| 277 | 0 |1800 |1723 |1800 | 274 | 184k| 39 |3248 | 0.000000e+00 | 4.209250e+05 | Inf
335.10/335.16 c 329s|400000 |399976 | 1310k| 3.3 | 411M| 277 | 0 |1800 |1723 |1800 | 321 | 189k| 39 |3289 | 0.000000e+00 | 4.209250e+05 | Inf
343.11/343.15 c 337s|410000 |409976 | 1337k| 3.3 | 421M| 277 | 0 |1800 |1723 |1800 | 259 | 194k| 39 |3330 | 0.000000e+00 | 4.209250e+05 | Inf
351.30/351.32 c 345s|420000 |419976 | 1369k| 3.3 | 431M| 277 | 0 |1800 |1723 |1800 | 316 | 199k| 39 |3391 | 0.000000e+00 | 4.209250e+05 | Inf
359.31/359.33 c 353s|430000 |429976 | 1397k| 3.2 | 441M| 277 | 0 |1800 |1723 |1800 | 281 | 204k| 39 |3424 | 0.000000e+00 | 4.209250e+05 | Inf
367.21/367.30 c 360s|440000 |439976 | 1423k| 3.2 | 451M| 277 | 0 |1800 |1723 |1800 | 262 | 207k| 39 |3469 | 0.000000e+00 | 4.209250e+05 | Inf
375.31/375.38 c 368s|450000 |449974 | 1452k| 3.2 | 461M| 277 | 0 |1800 |1725 |1800 | 255 | 211k| 42 |3519 | 0.000000e+00 | 4.209250e+05 | Inf
383.00/383.02 c 376s|460000 |459974 | 1473k| 3.2 | 471M| 277 | 0 |1800 |1725 |1800 | 221 | 215k| 42 |3564 | 0.000000e+00 | 4.209250e+05 | Inf
390.70/390.79 c 383s|470000 |469974 | 1498k| 3.2 | 481M| 277 | 17 |1800 |1725 |1800 | 229 | 218k| 42 |3602 | 0.000000e+00 | 4.209250e+05 | Inf
398.41/398.46 c 391s|480000 |479974 | 1520k| 3.2 | 491M| 277 | 0 |1800 |1723 |1800 | 258 | 222k| 42 |3609 | 0.000000e+00 | 4.209250e+05 | Inf
406.21/406.21 c 398s|490000 |489974 | 1544k| 3.2 | 501M| 277 | 11 |1800 |1721 |1800 | 280 | 226k| 42 |3658 | 0.000000e+00 | 4.209250e+05 | Inf
414.00/414.05 c 406s|500000 |499974 | 1571k| 3.1 | 511M| 277 | 9 |1800 |1720 |1800 | 268 | 231k| 42 |3710 | 0.000000e+00 | 4.209250e+05 | Inf
421.80/421.83 c 414s|510000 |509974 | 1596k| 3.1 | 521M| 277 | 0 |1800 |1720 |1800 | 293 | 235k| 42 |3763 | 0.000000e+00 | 4.209250e+05 | Inf
429.60/429.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
429.60/429.61 c 421s|520000 |519974 | 1622k| 3.1 | 531M| 277 | 0 |1800 |1720 |1800 | 254 | 240k| 42 |3784 | 0.000000e+00 | 4.209250e+05 | Inf
437.41/437.43 c 429s|530000 |529974 | 1645k| 3.1 | 541M| 277 | 0 |1800 |1720 |1800 | 318 | 244k| 42 |3809 | 0.000000e+00 | 4.209250e+05 | Inf
445.11/445.13 c 437s|540000 |539974 | 1667k| 3.1 | 551M| 277 | 0 |1800 |1720 |1800 | 315 | 248k| 42 |3854 | 0.000000e+00 | 4.209250e+05 | Inf
452.91/452.99 c 444s|550000 |549974 | 1691k| 3.1 | 561M| 277 | 0 |1800 |1719 |1800 | 298 | 253k| 42 |3896 | 0.000000e+00 | 4.209250e+05 | Inf
460.51/460.54 c 452s|560000 |559974 | 1711k| 3.1 | 571M| 277 | 0 |1800 |1719 |1800 | 263 | 257k| 42 |3921 | 0.000000e+00 | 4.209250e+05 | Inf
468.20/468.23 c 459s|570000 |569974 | 1733k| 3.0 | 581M| 277 | 0 |1800 |1719 |1800 | 256 | 261k| 42 |3940 | 0.000000e+00 | 4.209250e+05 | Inf
475.81/475.89 c 467s|580000 |579974 | 1752k| 3.0 | 591M| 277 | 0 |1800 |1719 |1800 | 265 | 264k| 42 |3979 | 0.000000e+00 | 4.209250e+05 | Inf
483.91/483.94 c 475s|590000 |589974 | 1782k| 3.0 | 601M| 277 | 0 |1800 |1718 |1800 | 301 | 269k| 42 |4011 | 0.000000e+00 | 4.209250e+05 | Inf
491.81/491.82 c 483s|600000 |599974 | 1807k| 3.0 | 611M| 277 | 0 |1800 |1718 |1800 | 267 | 272k| 42 |4048 | 0.000000e+00 | 4.209250e+05 | Inf
499.61/499.68 c 490s|610000 |609974 | 1832k| 3.0 | 621M| 277 | 0 |1800 |1717 |1800 | 222 | 276k| 42 |4073 | 0.000000e+00 | 4.209250e+05 | Inf
507.51/507.59 c 498s|620000 |619974 | 1858k| 3.0 | 631M| 277 | 0 |1800 |1717 |1800 | 266 | 281k| 42 |4098 | 0.000000e+00 | 4.209250e+05 | Inf
515.21/515.28 c 506s|630000 |629974 | 1880k| 3.0 | 641M| 277 | 0 |1800 |1717 |1800 | 327 | 286k| 42 |4134 | 0.000000e+00 | 4.209250e+05 | Inf
522.71/522.79 c 513s|640000 |639974 | 1898k| 3.0 | 651M| 277 | 0 |1800 |1717 |1800 | 261 | 290k| 42 |4170 | 0.000000e+00 | 4.209250e+05 | Inf
530.12/530.10 c 520s|650000 |649974 | 1911k| 2.9 | 662M| 277 | 0 |1800 |1717 |1800 | 301 | 293k| 42 |4175 | 0.000000e+00 | 4.209250e+05 | Inf
537.92/537.99 c 528s|660000 |659974 | 1935k| 2.9 | 672M| 277 | 0 |1800 |1717 |1800 | 286 | 297k| 42 |4232 | 0.000000e+00 | 4.209250e+05 | Inf
545.52/545.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
545.52/545.57 c 535s|670000 |669974 | 1955k| 2.9 | 682M| 277 | 0 |1800 |1717 |1800 | 282 | 301k| 42 |4235 | 0.000000e+00 | 4.209250e+05 | Inf
553.41/553.42 c 543s|680000 |679974 | 1980k| 2.9 | 692M| 277 | 0 |1800 |1717 |1800 | 271 | 305k| 42 |4270 | 0.000000e+00 | 4.209250e+05 | Inf
561.12/561.18 c 551s|690000 |689974 | 2001k| 2.9 | 701M| 277 | 0 |1800 |1717 |1800 | 258 | 308k| 42 |4302 | 0.000000e+00 | 4.209250e+05 | Inf
568.82/568.82 c 558s|700000 |699974 | 2022k| 2.9 | 711M| 277 | 0 |1800 |1717 |1800 | 287 | 312k| 42 |4308 | 0.000000e+00 | 4.209250e+05 | Inf
576.22/576.29 c 565s|710000 |709974 | 2040k| 2.9 | 721M| 277 | 11 |1800 |1717 |1800 | 271 | 317k| 42 |4335 | 0.000000e+00 | 4.209250e+05 | Inf
584.02/584.02 c 573s|720000 |719974 | 2064k| 2.9 | 731M| 277 | 0 |1800 |1716 |1800 | 283 | 321k| 42 |4368 | 0.000000e+00 | 4.209250e+05 | Inf
591.62/591.67 c 580s|730000 |729974 | 2085k| 2.9 | 741M| 277 | 0 |1800 |1716 |1800 | 285 | 325k| 42 |4374 | 0.000000e+00 | 4.209250e+05 | Inf
599.31/599.32 c 588s|740000 |739972 | 2107k| 2.8 | 751M| 277 | 2 |1800 |1719 |1800 | 213 | 329k| 45 |4403 | 0.000000e+00 | 4.209250e+05 | Inf
607.22/607.25 c 596s|750000 |749972 | 2135k| 2.8 | 761M| 277 | 0 |1800 |1719 |1800 | 312 | 334k| 45 |4434 | 0.000000e+00 | 4.209250e+05 | Inf
614.72/614.78 c 603s|760000 |759972 | 2154k| 2.8 | 771M| 363 | 0 |1800 |1717 |1800 | 286 | 336k| 45 |4448 | 0.000000e+00 | 4.209250e+05 | Inf
622.11/622.16 c 610s|770000 |769970 | 2172k| 2.8 | 781M| 363 | 0 |1800 |1720 |1800 | 242 | 339k| 48 |4482 | 0.000000e+00 | 4.209250e+05 | Inf
629.52/629.54 c 618s|780000 |779970 | 2190k| 2.8 | 791M| 363 | 0 |1800 |1720 |1800 | 267 | 342k| 48 |4505 | 0.000000e+00 | 4.209250e+05 | Inf
636.82/636.81 c 625s|790000 |789970 | 2205k| 2.8 | 801M| 363 | 12 |1800 |1720 |1800 | 296 | 344k| 48 |4517 | 0.000000e+00 | 4.209250e+05 | Inf
644.11/644.19 c 632s|800000 |799970 | 2223k| 2.8 | 811M| 363 | 0 |1800 |1720 |1800 | 287 | 348k| 48 |4543 | 0.000000e+00 | 4.209250e+05 | Inf
651.71/651.76 c 639s|810000 |809968 | 2244k| 2.8 | 821M| 363 | 0 |1800 |1722 |1800 | 211 | 351k| 50 |4555 | 0.000000e+00 | 4.209250e+05 | Inf
659.21/659.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
659.21/659.23 c 647s|820000 |819968 | 2263k| 2.8 | 831M| 363 | 0 |1800 |1722 |1800 | 252 | 354k| 50 |4594 | 0.000000e+00 | 4.209250e+05 | Inf
666.62/666.62 c 654s|830000 |829968 | 2280k| 2.7 | 841M| 363 | 0 |1800 |1721 |1800 | 318 | 358k| 50 |4600 | 0.000000e+00 | 4.209250e+05 | Inf
674.02/674.04 c 661s|840000 |839968 | 2296k| 2.7 | 851M| 363 | 8 |1800 |1721 |1800 | 284 | 360k| 50 |4637 | 0.000000e+00 | 4.209250e+05 | Inf
681.22/681.24 c 668s|850000 |849968 | 2310k| 2.7 | 861M| 363 | 0 |1800 |1720 |1800 | 286 | 363k| 50 |4640 | 0.000000e+00 | 4.209250e+05 | Inf
688.81/688.89 c 676s|860000 |859968 | 2332k| 2.7 | 870M| 363 | 0 |1800 |1720 |1800 | 279 | 366k| 50 |4671 | 0.000000e+00 | 4.209250e+05 | Inf
696.32/696.35 c 683s|870000 |869968 | 2351k| 2.7 | 880M| 363 | 0 |1800 |1720 |1800 | 260 | 369k| 50 |4671 | 0.000000e+00 | 4.209250e+05 | Inf
703.62/703.63 c 690s|880000 |879968 | 2366k| 2.7 | 890M| 363 | 0 |1800 |1720 |1800 | 303 | 372k| 50 |4703 | 0.000000e+00 | 4.209250e+05 | Inf
710.82/710.87 c 697s|890000 |889968 | 2380k| 2.7 | 900M| 363 | 0 |1800 |1719 |1800 | 293 | 374k| 50 |4707 | 0.000000e+00 | 4.209250e+05 | Inf
718.12/718.18 c 705s|900000 |899968 | 2396k| 2.7 | 910M| 363 | 0 |1800 |1719 |1800 | 276 | 378k| 50 |4735 | 0.000000e+00 | 4.209250e+05 | Inf
725.42/725.43 c 712s|910000 |909968 | 2410k| 2.6 | 920M| 363 | 0 |1800 |1719 |1800 | 264 | 380k| 50 |4740 | 0.000000e+00 | 4.209250e+05 | Inf
732.62/732.68 c 719s|920000 |919968 | 2424k| 2.6 | 930M| 363 | 0 |1800 |1719 |1800 | 316 | 383k| 50 |4768 | 0.000000e+00 | 4.209250e+05 | Inf
739.91/739.96 c 726s|930000 |929966 | 2440k| 2.6 | 940M| 363 | 0 |1800 |1720 |1800 | 303 | 386k| 51 |4770 | 0.000000e+00 | 4.209250e+05 | Inf
747.32/747.37 c 733s|940000 |939966 | 2459k| 2.6 | 950M| 363 | 0 |1800 |1720 |1800 | 311 | 389k| 51 |4801 | 0.000000e+00 | 4.209250e+05 | Inf
754.72/754.75 c 740s|950000 |949966 | 2477k| 2.6 | 960M| 363 | 0 |1800 |1719 |1800 | 252 | 392k| 51 |4803 | 0.000000e+00 | 4.209250e+05 | Inf
762.32/762.33 c 748s|960000 |959966 | 2498k| 2.6 | 970M| 363 | 0 |1800 |1719 |1800 | 273 | 395k| 51 |4834 | 0.000000e+00 | 4.209250e+05 | Inf
769.82/769.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
769.82/769.87 c 755s|970000 |969966 | 2519k| 2.6 | 980M| 363 | 0 |1800 |1719 |1800 | 273 | 399k| 51 |4847 | 0.000000e+00 | 4.209250e+05 | Inf
777.03/777.06 c 762s|980000 |979964 | 2533k| 2.6 | 989M| 363 | 0 |1800 |1726 |1800 | 243 | 402k| 58 |4869 | 0.000000e+00 | 4.209250e+05 | Inf
784.22/784.28 c 769s|990000 |989964 | 2549k| 2.6 | 999M| 363 | 0 |1800 |1725 |1800 | 260 | 404k| 58 |4870 | 0.000000e+00 | 4.209250e+05 | Inf
791.42/791.48 c 777s| 1000k|999964 | 2563k| 2.6 |1009M| 363 | 0 |1800 |1723 |1800 | 288 | 407k| 58 |4902 | 0.000000e+00 | 4.209250e+05 | Inf
798.92/798.99 c 784s| 1010k| 1009k| 2584k| 2.6 |1019M| 363 | 0 |1800 |1723 |1800 | 276 | 410k| 58 |4904 | 0.000000e+00 | 4.209250e+05 | Inf
806.02/806.08 c 791s| 1020k| 1019k| 2595k| 2.5 |1029M| 363 | 0 |1800 |1723 |1800 | 286 | 412k| 58 |4930 | 0.000000e+00 | 4.209250e+05 | Inf
813.42/813.48 c 798s| 1030k| 1029k| 2615k| 2.5 |1039M| 363 | 0 |1800 |1722 |1800 | 299 | 416k| 58 |4941 | 0.000000e+00 | 4.209250e+05 | Inf
821.02/821.08 c 806s| 1040k| 1039k| 2637k| 2.5 |1049M| 363 | 0 |1800 |1722 |1800 | 222 | 419k| 58 |4971 | 0.000000e+00 | 4.209250e+05 | Inf
828.52/828.50 c 813s| 1050k| 1049k| 2654k| 2.5 |1059M| 363 | 0 |1800 |1722 |1800 | 300 | 422k| 58 |4973 | 0.000000e+00 | 4.209250e+05 | Inf
835.72/835.79 c 820s| 1060k| 1059k| 2670k| 2.5 |1069M| 363 | 0 |1800 |1722 |1800 | 268 | 425k| 58 |5001 | 0.000000e+00 | 4.209250e+05 | Inf
843.03/843.03 c 827s| 1070k| 1069k| 2685k| 2.5 |1079M| 363 | 0 |1800 |1722 |1800 | 309 | 427k| 58 |5010 | 0.000000e+00 | 4.209250e+05 | Inf
850.23/850.25 c 834s| 1080k| 1079k| 2700k| 2.5 |1089M| 363 | 0 |1800 |1722 |1800 | 231 | 430k| 58 |5025 | 0.000000e+00 | 4.209250e+05 | Inf
857.43/857.48 c 841s| 1090k| 1089k| 2715k| 2.5 |1098M| 363 | 0 |1800 |1722 |1800 | 275 | 433k| 58 |5040 | 0.000000e+00 | 4.209250e+05 | Inf
864.63/864.65 c 848s| 1100k| 1099k| 2729k| 2.5 |1108M| 363 | 0 |1800 |1722 |1800 | 261 | 435k| 58 |5041 | 0.000000e+00 | 4.209250e+05 | Inf
871.82/871.89 c 855s| 1110k| 1109k| 2745k| 2.5 |1118M| 363 | 0 |1800 |1722 |1800 | 268 | 438k| 58 |5073 | 0.000000e+00 | 4.209250e+05 | Inf
879.02/879.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
879.02/879.08 c 863s| 1120k| 1119k| 2760k| 2.5 |1128M| 363 | 0 |1800 |1722 |1800 | 255 | 441k| 58 |5077 | 0.000000e+00 | 4.209250e+05 | Inf
886.13/886.14 c 869s| 1130k| 1129k| 2770k| 2.5 |1138M| 363 | 0 |1800 |1721 |1800 | 276 | 443k| 58 |5091 | 0.000000e+00 | 4.209250e+05 | Inf
893.32/893.33 c 876s| 1140k| 1139k| 2784k| 2.4 |1148M| 363 | 0 |1800 |1721 |1800 | 244 | 445k| 58 |5108 | 0.000000e+00 | 4.209250e+05 | Inf
900.43/900.47 c 883s| 1150k| 1149k| 2798k| 2.4 |1158M| 363 | 4 |1800 |1721 |1800 | 315 | 448k| 58 |5109 | 0.000000e+00 | 4.209250e+05 | Inf
907.73/907.72 c 891s| 1160k| 1159k| 2813k| 2.4 |1168M| 363 | 0 |1800 |1721 |1800 | 248 | 450k| 58 |5135 | 0.000000e+00 | 4.209250e+05 | Inf
914.92/914.92 c 898s| 1170k| 1169k| 2826k| 2.4 |1178M| 363 | 0 |1800 |1727 |1800 | 314 | 452k| 64 |5136 | 0.000000e+00 | 4.209250e+05 | Inf
922.12/922.10 c 905s| 1180k| 1179k| 2840k| 2.4 |1187M| 363 | 4 |1800 |1727 |1800 | 289 | 454k| 64 |5164 | 0.000000e+00 | 4.209250e+05 | Inf
929.22/929.28 c 912s| 1190k| 1189k| 2854k| 2.4 |1197M| 363 | 0 |1800 |1727 |1800 | 269 | 457k| 64 |5165 | 0.000000e+00 | 4.209250e+05 | Inf
936.52/936.58 c 919s| 1200k| 1199k| 2870k| 2.4 |1207M| 363 | 0 |1800 |1726 |1800 | 214 | 460k| 64 |5195 | 0.000000e+00 | 4.209250e+05 | Inf
943.83/943.85 c 926s| 1210k| 1209k| 2886k| 2.4 |1217M| 363 | 0 |1800 |1729 |1800 | 288 | 462k| 67 |5198 | 0.000000e+00 | 4.209250e+05 | Inf
951.13/951.10 c 933s| 1220k| 1219k| 2903k| 2.4 |1227M| 363 | 0 |1800 |1728 |1800 | 246 | 465k| 67 |5217 | 0.000000e+00 | 4.209250e+05 | Inf
958.23/958.25 c 940s| 1230k| 1229k| 2917k| 2.4 |1237M| 363 | 0 |1800 |1727 |1800 | 289 | 467k| 67 |5239 | 0.000000e+00 | 4.209250e+05 | Inf
965.63/965.60 c 947s| 1240k| 1239k| 2935k| 2.4 |1247M| 363 | 0 |1800 |1727 |1800 | 274 | 471k| 67 |5254 | 0.000000e+00 | 4.209250e+05 | Inf
972.83/972.87 c 955s| 1250k| 1249k| 2951k| 2.4 |1257M| 363 | 0 |1800 |1732 |1800 | 258 | 473k| 72 |5272 | 0.000000e+00 | 4.209250e+05 | Inf
980.03/980.07 c 962s| 1260k| 1259k| 2966k| 2.4 |1266M| 363 | 0 |1800 |1736 |1800 | 285 | 475k| 76 |5272 | 0.000000e+00 | 4.209250e+05 | Inf
987.23/987.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
987.23/987.22 c 969s| 1270k| 1269k| 2979k| 2.3 |1276M| 363 | 0 |1800 |1737 |1800 | 237 | 477k| 78 |5301 | 0.000000e+00 | 4.209250e+05 | Inf
994.43/994.49 c 976s| 1280k| 1279k| 2995k| 2.3 |1286M| 363 | 0 |1800 |1736 |1800 | 290 | 478k| 78 |5306 | 0.000000e+00 | 4.209250e+05 | Inf
1001.63/1001.67 c 983s| 1290k| 1289k| 3011k| 2.3 |1296M| 363 | 0 |1800 |1734 |1800 | 265 | 481k| 78 |5329 | 0.000000e+00 | 4.209250e+05 | Inf
1008.63/1008.66 c 990s| 1300k| 1299k| 3023k| 2.3 |1306M| 363 | 0 |1800 |1734 |1800 | 255 | 484k| 78 |5337 | 0.000000e+00 | 4.209250e+05 | Inf
1015.73/1015.75 c 997s| 1310k| 1309k| 3036k| 2.3 |1316M| 363 | 4 |1800 |1734 |1800 | 240 | 486k| 78 |5337 | 0.000000e+00 | 4.209250e+05 | Inf
1022.93/1022.93 c 1004s| 1320k| 1319k| 3050k| 2.3 |1326M| 363 | 0 |1800 |1734 |1800 | 282 | 488k| 78 |5367 | 0.000000e+00 | 4.209250e+05 | Inf
1029.93/1029.96 c 1011s| 1330k| 1329k| 3062k| 2.3 |1335M| 363 | 0 |1800 |1732 |1800 | 286 | 490k| 78 |5368 | 0.000000e+00 | 4.209250e+05 | Inf
1037.03/1037.05 c 1017s| 1340k| 1339k| 3074k| 2.3 |1345M| 363 | 0 |1800 |1732 |1800 | 240 | 491k| 78 |5370 | 0.000000e+00 | 4.209250e+05 | Inf
1044.03/1044.04 c 1024s| 1350k| 1349k| 3085k| 2.3 |1355M| 363 | 0 |1800 |1732 |1800 | 278 | 493k| 78 |5396 | 0.000000e+00 | 4.209250e+05 | Inf
1051.13/1051.12 c 1031s| 1360k| 1359k| 3097k| 2.3 |1365M| 363 | 2 |1800 |1731 |1800 | 291 | 495k| 78 |5397 | 0.000000e+00 | 4.209250e+05 | Inf
1058.14/1058.14 c 1038s| 1370k| 1369k| 3108k| 2.3 |1375M| 363 | 0 |1800 |1731 |1800 | 230 | 497k| 78 |5397 | 0.000000e+00 | 4.209250e+05 | Inf
1065.24/1065.27 c 1045s| 1380k| 1379k| 3122k| 2.3 |1385M| 363 | 0 |1800 |1731 |1800 | 309 | 499k| 78 |5427 | 0.000000e+00 | 4.209250e+05 | Inf
1072.33/1072.40 c 1052s| 1390k| 1389k| 3135k| 2.3 |1394M| 363 | 0 |1800 |1731 |1800 | 284 | 501k| 78 |5428 | 0.000000e+00 | 4.209250e+05 | Inf
1079.53/1079.53 c 1059s| 1400k| 1399k| 3148k| 2.2 |1404M| 363 | 3 |1800 |1733 |1800 | 267 | 503k| 80 |5447 | 0.000000e+00 | 4.209250e+05 | Inf
1086.53/1086.56 c 1066s| 1410k| 1409k| 3157k| 2.2 |1414M| 363 | 0 |1800 |1733 |1800 | 261 | 505k| 80 |5459 | 0.000000e+00 | 4.209250e+05 | Inf
1093.54/1093.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1093.54/1093.52 c 1073s| 1420k| 1419k| 3168k| 2.2 |1424M| 363 | 0 |1800 |1733 |1800 | 271 | 507k| 80 |5459 | 0.000000e+00 | 4.209250e+05 | Inf
1100.63/1100.61 c 1080s| 1430k| 1429k| 3182k| 2.2 |1434M| 363 | 0 |1800 |1731 |1800 | 307 | 509k| 80 |5471 | 0.000000e+00 | 4.209250e+05 | Inf
1107.64/1107.69 c 1087s| 1440k| 1439k| 3195k| 2.2 |1444M| 363 | 0 |1800 |1731 |1800 | 262 | 511k| 80 |5485 | 0.000000e+00 | 4.209250e+05 | Inf
1114.64/1114.61 c 1094s| 1450k| 1449k| 3206k| 2.2 |1454M| 363 | 0 |1800 |1731 |1800 | 277 | 512k| 80 |5487 | 0.000000e+00 | 4.209250e+05 | Inf
1121.63/1121.63 c 1100s| 1460k| 1459k| 3217k| 2.2 |1463M| 363 | 0 |1800 |1731 |1800 | 275 | 514k| 80 |5496 | 0.000000e+00 | 4.209250e+05 | Inf
1128.64/1128.68 c 1107s| 1470k| 1469k| 3229k| 2.2 |1473M| 363 | 0 |1800 |1731 |1800 | 267 | 516k| 80 |5511 | 0.000000e+00 | 4.209250e+05 | Inf
1135.74/1135.73 c 1114s| 1480k| 1479k| 3242k| 2.2 |1483M| 363 | 0 |1800 |1730 |1800 | 280 | 518k| 80 |5512 | 0.000000e+00 | 4.209250e+05 | Inf
1142.73/1142.77 c 1121s| 1490k| 1489k| 3253k| 2.2 |1493M| 363 | 0 |1800 |1730 |1800 | 276 | 520k| 80 |5535 | 0.000000e+00 | 4.209250e+05 | Inf
1149.93/1149.92 c 1128s| 1500k| 1499k| 3268k| 2.2 |1503M| 363 | 0 |1800 |1731 |1800 | 263 | 522k| 81 |5538 | 0.000000e+00 | 4.209250e+05 | Inf
1156.93/1156.99 c 1135s| 1510k| 1509k| 3281k| 2.2 |1513M| 363 | 0 |1800 |1730 |1800 | 319 | 525k| 81 |5539 | 0.000000e+00 | 4.209250e+05 | Inf
1164.14/1164.16 c 1142s| 1520k| 1519k| 3297k| 2.2 |1522M| 363 | 0 |1800 |1730 |1800 | 280 | 528k| 81 |5571 | 0.000000e+00 | 4.209250e+05 | Inf
1171.44/1171.40 c 1149s| 1530k| 1529k| 3315k| 2.2 |1532M| 363 | 0 |1800 |1730 |1800 | 222 | 530k| 81 |5572 | 0.000000e+00 | 4.209250e+05 | Inf
1178.24/1178.28 c 1156s| 1540k| 1539k| 3325k| 2.2 |1542M| 363 | 0 |1800 |1730 |1800 | 252 | 532k| 81 |5578 | 0.000000e+00 | 4.209250e+05 | Inf
1185.14/1185.17 c 1163s| 1550k| 1549k| 3335k| 2.2 |1552M| 363 | 0 |1800 |1730 |1800 | 245 | 534k| 81 |5602 | 0.000000e+00 | 4.209250e+05 | Inf
1192.04/1192.07 c 1170s| 1560k| 1559k| 3345k| 2.1 |1562M| 363 | 0 |1800 |1730 |1800 | 252 | 535k| 81 |5603 | 0.000000e+00 | 4.209250e+05 | Inf
1199.04/1199.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1199.04/1199.05 c 1177s| 1570k| 1569k| 3355k| 2.1 |1572M| 363 | 0 |1800 |1730 |1800 | 253 | 537k| 81 |5603 | 0.000000e+00 | 4.209250e+05 | Inf
1206.14/1206.14 c 1183s| 1580k| 1579k| 3368k| 2.1 |1581M| 363 | 0 |1800 |1730 |1800 | 228 | 539k| 81 |5622 | 0.000000e+00 | 4.209250e+05 | Inf
1213.14/1213.16 c 1190s| 1590k| 1589k| 3380k| 2.1 |1591M| 363 | 0 |1800 |1730 |1800 | 233 | 541k| 81 |5630 | 0.000000e+00 | 4.209250e+05 | Inf
1220.04/1220.08 c 1197s| 1600k| 1599k| 3390k| 2.1 |1601M| 363 | 0 |1800 |1730 |1800 | 227 | 542k| 81 |5630 | 0.000000e+00 | 4.209250e+05 | Inf
1227.04/1227.07 c 1204s| 1610k| 1609k| 3399k| 2.1 |1611M| 363 | 0 |1800 |1730 |1800 | 275 | 543k| 81 |5641 | 0.000000e+00 | 4.209250e+05 | Inf
1233.94/1233.96 c 1211s| 1620k| 1619k| 3408k| 2.1 |1621M| 363 | 0 |1800 |1730 |1800 | 249 | 545k| 81 |5657 | 0.000000e+00 | 4.209250e+05 | Inf
1241.03/1241.00 c 1218s| 1630k| 1629k| 3421k| 2.1 |1631M| 363 | 0 |1800 |1730 |1800 | 295 | 547k| 81 |5657 | 0.000000e+00 | 4.209250e+05 | Inf
1248.04/1248.09 c 1225s| 1640k| 1639k| 3434k| 2.1 |1640M| 363 | 0 |1800 |1730 |1800 | 271 | 548k| 81 |5668 | 0.000000e+00 | 4.209250e+05 | Inf
1255.24/1255.23 c 1232s| 1650k| 1649k| 3448k| 2.1 |1650M| 363 | 0 |1800 |1730 |1800 | 256 | 550k| 81 |5687 | 0.000000e+00 | 4.209250e+05 | Inf
1262.24/1262.29 c 1239s| 1660k| 1659k| 3461k| 2.1 |1660M| 363 | 0 |1800 |1730 |1800 | 242 | 552k| 81 |5687 | 0.000000e+00 | 4.209250e+05 | Inf
1269.54/1269.53 c 1246s| 1670k| 1669k| 3477k| 2.1 |1670M| 363 | 0 |1800 |1730 |1800 | 253 | 554k| 81 |5703 | 0.000000e+00 | 4.209250e+05 | Inf
1277.04/1277.07 c 1253s| 1680k| 1679k| 3498k| 2.1 |1680M| 363 | 0 |1800 |1730 |1800 | 277 | 556k| 81 |5708 | 0.000000e+00 | 4.209250e+05 | Inf
1284.14/1284.15 c 1260s| 1690k| 1689k| 3511k| 2.1 |1690M| 363 | 0 |1800 |1729 |1800 | 272 | 559k| 81 |5724 | 0.000000e+00 | 4.209250e+05 | Inf
1291.24/1291.23 c 1267s| 1700k| 1699k| 3524k| 2.1 |1700M| 363 | 0 |1800 |1727 |1800 | 312 | 562k| 81 |5732 | 0.000000e+00 | 4.209250e+05 | Inf
1298.34/1298.31 c 1274s| 1710k| 1709k| 3537k| 2.1 |1709M| 363 | 0 |1800 |1727 |1800 | 287 | 565k| 81 |5735 | 0.000000e+00 | 4.209250e+05 | Inf
1305.34/1305.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1305.34/1305.36 c 1281s| 1720k| 1719k| 3550k| 2.1 |1719M| 363 | 0 |1800 |1727 |1800 | 256 | 566k| 81 |5751 | 0.000000e+00 | 4.209250e+05 | Inf
1312.44/1312.49 c 1288s| 1730k| 1729k| 3563k| 2.1 |1729M| 363 | 0 |1800 |1727 |1800 | 247 | 568k| 81 |5760 | 0.000000e+00 | 4.209250e+05 | Inf
1319.44/1319.49 c 1295s| 1740k| 1739k| 3574k| 2.1 |1739M| 363 | 0 |1800 |1727 |1800 | 279 | 570k| 81 |5760 | 0.000000e+00 | 4.209250e+05 | Inf
1326.54/1326.50 c 1302s| 1750k| 1749k| 3586k| 2.0 |1749M| 363 | 0 |1800 |1727 |1800 | 289 | 572k| 81 |5770 | 0.000000e+00 | 4.209250e+05 | Inf
1333.44/1333.46 c 1308s| 1760k| 1759k| 3597k| 2.0 |1759M| 363 | 0 |1800 |1727 |1800 | 255 | 574k| 81 |5785 | 0.000000e+00 | 4.209250e+05 | Inf
1340.44/1340.44 c 1315s| 1770k| 1769k| 3608k| 2.0 |1768M| 363 | 0 |1800 |1727 |1800 | 246 | 576k| 81 |5785 | 0.000000e+00 | 4.209250e+05 | Inf
1347.45/1347.45 c 1322s| 1780k| 1779k| 3619k| 2.0 |1778M| 363 | 0 |1800 |1727 |1800 | 243 | 577k| 81 |5798 | 0.000000e+00 | 4.209250e+05 | Inf
1354.44/1354.41 c 1329s| 1790k| 1789k| 3630k| 2.0 |1788M| 363 | 0 |1800 |1727 |1800 | 300 | 579k| 81 |5810 | 0.000000e+00 | 4.209250e+05 | Inf
1361.24/1361.23 c 1336s| 1800k| 1799k| 3639k| 2.0 |1798M| 363 | 0 |1800 |1727 |1800 | 228 | 580k| 81 |5811 | 0.000000e+00 | 4.209250e+05 | Inf
1368.14/1368.10 c 1342s| 1810k| 1809k| 3649k| 2.0 |1808M| 363 | 0 |1800 |1727 |1800 | 281 | 582k| 81 |5811 | 0.000000e+00 | 4.209250e+05 | Inf
1374.95/1374.91 c 1349s| 1820k| 1819k| 3659k| 2.0 |1817M| 363 | 0 |1800 |1727 |1800 | 235 | 583k| 81 |5831 | 0.000000e+00 | 4.209250e+05 | Inf
1381.75/1381.74 c 1356s| 1830k| 1829k| 3668k| 2.0 |1827M| 363 | 0 |1800 |1727 |1800 | 273 | 585k| 81 |5834 | 0.000000e+00 | 4.209250e+05 | Inf
1388.65/1388.64 c 1362s| 1840k| 1839k| 3677k| 2.0 |1837M| 363 | 0 |1800 |1727 |1800 | 232 | 587k| 81 |5836 | 0.000000e+00 | 4.209250e+05 | Inf
1395.65/1395.69 c 1369s| 1850k| 1849k| 3691k| 2.0 |1847M| 363 | 0 |1800 |1727 |1800 | 303 | 589k| 81 |5862 | 0.000000e+00 | 4.209250e+05 | Inf
1402.74/1402.78 c 1376s| 1860k| 1859k| 3704k| 2.0 |1857M| 363 | 0 |1800 |1727 |1800 | 224 | 591k| 81 |5864 | 0.000000e+00 | 4.209250e+05 | Inf
1409.75/1409.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1409.75/1409.70 c 1383s| 1870k| 1869k| 3712k| 2.0 |1867M| 363 | 0 |1800 |1728 |1800 | 259 | 593k| 82 |5864 | 0.000000e+00 | 4.209250e+05 | Inf
1416.75/1416.78 c 1390s| 1880k| 1879k| 3725k| 2.0 |1876M| 363 | 0 |1800 |1728 |1800 | 245 | 595k| 82 |5887 | 0.000000e+00 | 4.209250e+05 | Inf
1423.85/1423.87 c 1397s| 1890k| 1889k| 3739k| 2.0 |1886M| 363 | 0 |1800 |1727 |1800 | 286 | 597k| 82 |5887 | 0.000000e+00 | 4.209250e+05 | Inf
1430.85/1430.83 c 1404s| 1900k| 1899k| 3749k| 2.0 |1896M| 363 | 0 |1800 |1727 |1800 | 232 | 599k| 82 |5887 | 0.000000e+00 | 4.209250e+05 | Inf
1437.75/1437.73 c 1411s| 1910k| 1909k| 3759k| 2.0 |1906M| 363 | 0 |1800 |1727 |1800 | 243 | 600k| 82 |5908 | 0.000000e+00 | 4.209250e+05 | Inf
1444.64/1444.61 c 1417s| 1920k| 1919k| 3767k| 2.0 |1916M| 363 | 0 |1800 |1726 |1800 | 237 | 601k| 82 |5909 | 0.000000e+00 | 4.209250e+05 | Inf
1451.55/1451.58 c 1424s| 1930k| 1929k| 3779k| 2.0 |1925M| 363 | 0 |1800 |1726 |1800 | 233 | 603k| 82 |5909 | 0.000000e+00 | 4.209250e+05 | Inf
1458.65/1458.63 c 1431s| 1940k| 1939k| 3791k| 2.0 |1935M| 363 | 0 |1800 |1726 |1800 | 276 | 606k| 82 |5933 | 0.000000e+00 | 4.209250e+05 | Inf
1465.75/1465.73 c 1438s| 1950k| 1949k| 3805k| 2.0 |1945M| 363 | 0 |1800 |1726 |1800 | 257 | 608k| 82 |5935 | 0.000000e+00 | 4.209250e+05 | Inf
1472.74/1472.72 c 1445s| 1960k| 1959k| 3817k| 1.9 |1955M| 363 | 0 |1800 |1726 |1800 | 251 | 610k| 82 |5935 | 0.000000e+00 | 4.209250e+05 | Inf
1479.75/1479.70 c 1452s| 1970k| 1969k| 3828k| 1.9 |1965M| 363 | 0 |1800 |1726 |1800 | 241 | 611k| 82 |5959 | 0.000000e+00 | 4.209250e+05 | Inf
1486.65/1486.69 c 1459s| 1980k| 1979k| 3841k| 1.9 |1975M| 363 | 7 |1800 |1726 |1800 | 256 | 613k| 82 |5961 | 0.000000e+00 | 4.209250e+05 | Inf
1493.55/1493.59 c 1465s| 1990k| 1989k| 3851k| 1.9 |1984M| 363 | 0 |1800 |1726 |1800 | 233 | 615k| 82 |5961 | 0.000000e+00 | 4.209250e+05 | Inf
1500.35/1500.38 c 1472s| 2000k| 1999k| 3858k| 1.9 |1994M| 363 | 0 |1800 |1726 |1800 | 286 | 617k| 82 |5980 | 0.000000e+00 | 4.209250e+05 | Inf
1507.35/1507.31 c 1479s| 2010k| 2009k| 3869k| 1.9 |2004M| 363 | 0 |1800 |1726 |1800 | 253 | 619k| 82 |5991 | 0.000000e+00 | 4.209250e+05 | Inf
1514.35/1514.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1514.35/1514.37 c 1486s| 2020k| 2019k| 3881k| 1.9 |2014M| 363 | 0 |1800 |1727 |1800 | 242 | 620k| 83 |5991 | 0.000000e+00 | 4.209250e+05 | Inf
1521.35/1521.36 c 1493s| 2030k| 2029k| 3892k| 1.9 |2024M| 363 | 0 |1800 |1727 |1800 | 264 | 622k| 83 |6009 | 0.000000e+00 | 4.209250e+05 | Inf
1528.45/1528.47 c 1500s| 2040k| 2039k| 3904k| 1.9 |2034M| 363 | 0 |1800 |1727 |1800 | 271 | 624k| 83 |6017 | 0.000000e+00 | 4.209250e+05 | Inf
1535.66/1535.62 c 1507s| 2050k| 2049k| 3919k| 1.9 |2043M| 363 | 0 |1800 |1727 |1800 | 234 | 626k| 83 |6019 | 0.000000e+00 | 4.209250e+05 | Inf
1542.65/1542.66 c 1514s| 2060k| 2059k| 3931k| 1.9 |2053M| 363 | 0 |1800 |1727 |1800 | 310 | 628k| 83 |6042 | 0.000000e+00 | 4.209250e+05 | Inf
1549.75/1549.79 c 1521s| 2070k| 2069k| 3946k| 1.9 |2063M| 363 | 0 |1800 |1727 |1800 | 240 | 630k| 83 |6044 | 0.000000e+00 | 4.209250e+05 | Inf
1556.85/1556.80 c 1527s| 2080k| 2079k| 3958k| 1.9 |2073M| 363 | 0 |1800 |1727 |1800 | 231 | 632k| 83 |6044 | 0.000000e+00 | 4.209250e+05 | Inf
1563.85/1563.87 c 1534s| 2090k| 2089k| 3971k| 1.9 |2083M| 363 | 0 |1800 |1727 |1800 | 286 | 634k| 83 |6064 | 0.000000e+00 | 4.209250e+05 | Inf
1570.95/1570.91 c 1541s| 2100k| 2099k| 3983k| 1.9 |2093M| 363 | 2 |1800 |1727 |1800 | 261 | 635k| 83 |6067 | 0.000000e+00 | 4.209250e+05 | Inf
1577.96/1577.90 c 1548s| 2110k| 2109k| 3995k| 1.9 |2102M| 363 | 0 |1800 |1727 |1800 | 260 | 637k| 83 |6067 | 0.000000e+00 | 4.209250e+05 | Inf
1584.85/1584.80 c 1555s| 2120k| 2119k| 4004k| 1.9 |2112M| 363 | 0 |1800 |1726 |1800 | 309 | 639k| 83 |6081 | 0.000000e+00 | 4.209250e+05 | Inf
1591.95/1591.90 c 1562s| 2130k| 2129k| 4018k| 1.9 |2122M| 363 | 0 |1800 |1726 |1800 | 283 | 641k| 83 |6089 | 0.000000e+00 | 4.209250e+05 | Inf
1598.96/1598.91 c 1569s| 2140k| 2139k| 4029k| 1.9 |2132M| 363 | 0 |1800 |1726 |1800 | 260 | 643k| 83 |6090 | 0.000000e+00 | 4.209250e+05 | Inf
1605.85/1605.87 c 1576s| 2150k| 2149k| 4040k| 1.9 |2142M| 363 | 0 |1800 |1726 |1800 | 212 | 644k| 83 |6106 | 0.000000e+00 | 4.209250e+05 | Inf
1612.95/1612.91 c 1582s| 2160k| 2159k| 4052k| 1.9 |2152M| 363 | 0 |1800 |1726 |1800 | 278 | 646k| 83 |6116 | 0.000000e+00 | 4.209250e+05 | Inf
1619.85/1619.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1619.85/1619.89 c 1589s| 2170k| 2169k| 4063k| 1.9 |2161M| 363 | 0 |1800 |1726 |1800 | 252 | 648k| 83 |6117 | 0.000000e+00 | 4.209250e+05 | Inf
1626.86/1626.86 c 1596s| 2180k| 2179k| 4074k| 1.9 |2171M| 363 | 0 |1800 |1728 |1800 | 252 | 650k| 85 |6122 | 0.000000e+00 | 4.209250e+05 | Inf
1633.85/1633.87 c 1603s| 2190k| 2189k| 4084k| 1.9 |2181M| 363 | 0 |1800 |1728 |1800 | 309 | 652k| 85 |6140 | 0.000000e+00 | 4.209250e+05 | Inf
1640.76/1640.78 c 1610s| 2200k| 2199k| 4094k| 1.9 |2191M| 363 | 0 |1800 |1728 |1800 | 259 | 653k| 85 |6140 | 0.000000e+00 | 4.209250e+05 | Inf
1647.86/1647.85 c 1617s| 2210k| 2209k| 4106k| 1.9 |2201M| 363 | 0 |1800 |1727 |1800 | 229 | 655k| 85 |6141 | 0.000000e+00 | 4.209250e+05 | Inf
1654.85/1654.85 c 1624s| 2220k| 2219k| 4117k| 1.9 |2211M| 363 | 0 |1800 |1727 |1800 | 240 | 657k| 85 |6160 | 0.000000e+00 | 4.209250e+05 | Inf
1661.75/1661.75 c 1630s| 2230k| 2229k| 4127k| 1.9 |2220M| 363 | 0 |1800 |1727 |1800 | 252 | 659k| 85 |6165 | 0.000000e+00 | 4.209250e+05 | Inf
1668.66/1668.63 c 1637s| 2240k| 2239k| 4137k| 1.8 |2230M| 363 | 0 |1800 |1727 |1800 | 232 | 661k| 85 |6165 | 0.000000e+00 | 4.209250e+05 | Inf
1675.56/1675.56 c 1644s| 2250k| 2249k| 4147k| 1.8 |2240M| 363 | 0 |1800 |1727 |1800 | 295 | 662k| 85 |6170 | 0.000000e+00 | 4.209250e+05 | Inf
1682.66/1682.65 c 1651s| 2260k| 2259k| 4159k| 1.8 |2250M| 363 | 0 |1800 |1727 |1800 | 270 | 664k| 85 |6194 | 0.000000e+00 | 4.209250e+05 | Inf
1689.85/1689.81 c 1658s| 2270k| 2269k| 4174k| 1.8 |2260M| 363 | 0 |1800 |1727 |1800 | 250 | 666k| 85 |6194 | 0.000000e+00 | 4.209250e+05 | Inf
1696.86/1696.81 c 1665s| 2280k| 2279k| 4183k| 1.8 |2270M| 363 | 0 |1800 |1729 |1800 | 259 | 668k| 87 |6197 | 0.000000e+00 | 4.209250e+05 | Inf
1703.66/1703.69 c 1672s| 2290k| 2289k| 4193k| 1.8 |2279M| 363 | 0 |1800 |1729 |1800 | 251 | 669k| 87 |6218 | 0.000000e+00 | 4.209250e+05 | Inf
1710.66/1710.60 c 1678s| 2300k| 2299k| 4202k| 1.8 |2289M| 363 | 0 |1800 |1728 |1800 | 259 | 671k| 87 |6222 | 0.000000e+00 | 4.209250e+05 | Inf
1717.56/1717.60 c 1685s| 2310k| 2309k| 4214k| 1.8 |2299M| 363 | 0 |1800 |1728 |1800 | 278 | 673k| 87 |6222 | 0.000000e+00 | 4.209250e+05 | Inf
1724.45/1724.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1724.45/1724.43 c 1692s| 2320k| 2319k| 4222k| 1.8 |2309M| 363 | 0 |1800 |1728 |1800 | 243 | 674k| 87 |6228 | 0.000000e+00 | 4.209250e+05 | Inf
1731.36/1731.31 c 1699s| 2330k| 2329k| 4233k| 1.8 |2319M| 363 | 0 |1800 |1727 |1800 | 251 | 676k| 87 |6244 | 0.000000e+00 | 4.209250e+05 | Inf
1738.15/1738.10 c 1705s| 2340k| 2339k| 4241k| 1.8 |2328M| 363 | 0 |1800 |1727 |1800 | 256 | 678k| 87 |6244 | 0.000000e+00 | 4.209250e+05 | Inf
1745.16/1745.10 c 1712s| 2350k| 2349k| 4253k| 1.8 |2338M| 363 | 0 |1800 |1727 |1800 | 243 | 680k| 87 |6245 | 0.000000e+00 | 4.209250e+05 | Inf
1752.15/1752.10 c 1719s| 2360k| 2359k| 4264k| 1.8 |2348M| 363 | 0 |1800 |1726 |1800 | 264 | 681k| 87 |6265 | 0.000000e+00 | 4.209250e+05 | Inf
1759.16/1759.12 c 1726s| 2370k| 2369k| 4276k| 1.8 |2358M| 363 | 0 |1800 |1726 |1800 | 243 | 683k| 87 |6267 | 0.000000e+00 | 4.209250e+05 | Inf
1766.06/1766.07 c 1733s| 2380k| 2379k| 4286k| 1.8 |2368M| 363 | 9 |1800 |1726 |1800 | 274 | 685k| 87 |6271 | 0.000000e+00 | 4.209250e+05 | Inf
1773.16/1773.13 c 1740s| 2390k| 2389k| 4298k| 1.8 |2378M| 363 | 0 |1800 |1726 |1800 | 278 | 687k| 87 |6280 | 0.000000e+00 | 4.209250e+05 | Inf
1780.16/1780.11 c 1747s| 2400k| 2399k| 4309k| 1.8 |2387M| 363 | 0 |1800 |1726 |1800 | 288 | 689k| 87 |6295 | 0.000000e+00 | 4.209250e+05 | Inf
1787.16/1787.16 c 1753s| 2410k| 2409k| 4322k| 1.8 |2397M| 363 | 0 |1800 |1726 |1800 | 209 | 691k| 87 |6295 | 0.000000e+00 | 4.209250e+05 | Inf
1794.25/1794.28 c 1760s| 2420k| 2419k| 4336k| 1.8 |2407M| 363 | 0 |1800 |1726 |1800 | 236 | 693k| 87 |6305 | 0.000000e+00 | 4.209250e+05 | Inf
1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00 c
1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.00 c Solving Time (sec) : 1766.08
1800.06/1800.00 c Solving Nodes : 2428326
1800.06/1800.00 c Primal Bound : +4.20925000000000e+05 (100 solutions)
1800.06/1800.00 c Dual Bound : +0.00000000000000e+00
1800.06/1800.00 c Gap : infinite
1800.06/1800.01 s SATISFIABLE
1800.06/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.06/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.06/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.06/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.06/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.06/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.06/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.06/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.06/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.01 c Solving Time : 1766.08
1800.06/1800.01 c Original Problem :
1800.06/1800.01 c Problem name : HOME/instance-2700116-1278533985.wbo
1800.06/1800.01 c Variables : 1900 (1050 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.06/1800.01 c Constraints : 1801 initial, 1801 maximal
1800.06/1800.01 c Presolved Problem :
1800.06/1800.01 c Problem name : t_HOME/instance-2700116-1278533985.wbo
1800.06/1800.01 c Variables : 1800 (950 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.06/1800.01 c Constraints : 1700 initial, 1737 maximal
1800.06/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c probing : 0.02 0 0 0 0 0 0 0 0
1800.06/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c linear : 0.02 0 100 0 850 0 101 0 0
1800.06/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c root node : - 0 - - 0 - - - -
1800.06/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.01 c integral : 0 0 0 2607069 0 0 5 0 0 426638
1800.06/1800.01 c indicator : 850 0 3225874 2393745 0 0 2424635 0 0 0
1800.06/1800.01 c linear : 850 6 3225799 2393668 0 28 860481 694824 0 0
1800.06/1800.01 c logicor : 0+ 0 232884 0 0 2 44077 0 0 0
1800.06/1800.01 c countsols : 0 0 0 2214978 0 0 0 0 0 0
1800.06/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.01 c integral : 9.23 0.00 0.00 9.23 0.00
1800.06/1800.01 c indicator : 157.21 0.04 32.49 124.68 0.00
1800.06/1800.01 c linear : 34.38 0.00 13.12 21.26 0.00
1800.06/1800.01 c logicor : 0.24 0.00 0.24 0.00 0.00
1800.06/1800.01 c countsols : 0.55 0.00 0.00 0.55 0.00
1800.06/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.01 c vbounds : 0.87 2 0 0
1800.06/1800.01 c rootredcost : 0.71 0 0 0
1800.06/1800.01 c pseudoobj : 51.08 3225674 0 0
1800.06/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.01 c propagation : 0.00 30 30 30 6.8 57 3.4 -
1800.06/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.01 c applied globally : - - - 87 4.6 - - -
1800.06/1800.01 c applied locally : - - - 0 0.0 - - -
1800.06/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.01 c cut pool : 0.00 4 - - 5 - (maximal pool size: 40)
1800.06/1800.01 c redcost : 90.63 2606646 0 0 0 0
1800.06/1800.01 c impliedbounds : 0.00 5 0 0 0 0
1800.06/1800.01 c intobj : 0.00 0 0 0 0 0
1800.06/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.01 c gomory : 0.00 5 0 0 42 0
1800.06/1800.01 c strongcg : 0.03 5 0 0 0 0
1800.06/1800.01 c cmir : 0.01 5 0 0 0 0
1800.06/1800.01 c flowcover : 0.01 5 0 0 0 0
1800.06/1800.01 c clique : 0.00 1 0 0 0 0
1800.06/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.01 c mcf : 0.00 1 0 0 0 0
1800.06/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.01 c Pricers : Time Calls Vars
1800.06/1800.01 c problem variables: 0.00 0 0
1800.06/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.01 c relpscost : 8.20 213324 0 5 0 0 426638
1800.06/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.01 c inference : 140.29 2214978 0 0 0 0 4429956
1800.06/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.01 c random : 0.00 0 0 0 0 0 0
1800.06/1800.01 c Primal Heuristics : Time Calls Found
1800.06/1800.01 c LP solutions : 0.00 - 0
1800.06/1800.01 c pseudo solutions : 0.00 - 0
1800.06/1800.01 c feaspump : 0.00 0 0
1800.06/1800.01 c oneopt : 1.68 1 0
1800.06/1800.01 c intshifting : 0.02 4 0
1800.06/1800.01 c crossover : 0.99 13 1
1800.06/1800.01 c guideddiving : 7.81 14519 0
1800.06/1800.01 c coefdiving : 7.81 14520 0
1800.06/1800.01 c pscostdiving : 7.72 14520 0
1800.06/1800.01 c fracdiving : 7.51 14520 0
1800.06/1800.01 c veclendiving : 8.11 14520 0
1800.06/1800.01 c linesearchdiving : 7.60 14520 0
1800.06/1800.01 c objpscostdiving : 7.73 14517 0
1800.06/1800.01 c rootsoldiving : 8.00 14517 0
1800.06/1800.01 c trivial : 0.00 2 1
1800.06/1800.01 c simplerounding : 1.05 213281 0
1800.06/1800.01 c zirounding : 0.62 1000 0
1800.06/1800.01 c rounding : 1.01 6515 0
1800.06/1800.01 c shifting : 1.14 2069 0
1800.06/1800.01 c twoopt : 0.00 0 0
1800.06/1800.01 c fixandinfer : 0.00 0 0
1800.06/1800.01 c intdiving : 0.00 0 0
1800.06/1800.01 c actconsdiving : 0.00 0 0
1800.06/1800.01 c octane : 0.00 0 0
1800.06/1800.01 c rens : 0.02 1 0
1800.06/1800.01 c rins : 0.00 0 0
1800.06/1800.01 c localbranching : 0.00 0 0
1800.06/1800.01 c mutation : 0.00 0 0
1800.06/1800.01 c dins : 0.00 0 0
1800.06/1800.01 c undercover : 0.00 0 0
1800.06/1800.01 c nlp : 0.72 0 0
1800.06/1800.01 c trysol : 1.15 17195 98
1800.06/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.01 c dual LP : 757.07 514649 4343090 8.44 5736.71
1800.06/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.01 c diving/probing LP: 0.01 32 268 8.38 26800.00
1800.06/1800.01 c strong branching : 6.97 6319 99962 15.82 14341.75
1800.06/1800.01 c (at root node) : - 33 3116 94.42 -
1800.06/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.01 c B&B Tree :
1800.06/1800.01 c number of runs : 1
1800.06/1800.01 c nodes : 2428326
1800.06/1800.01 c nodes (total) : 2428326
1800.06/1800.01 c nodes left : 2428268
1800.06/1800.01 c max depth : 363
1800.06/1800.01 c max depth (total): 363
1800.06/1800.01 c backtracks : 14540 (0.6%)
1800.06/1800.01 c delayed cutoffs : 1
1800.06/1800.01 c repropagations : 156 (95 domain reductions, 1 cutoffs)
1800.06/1800.01 c avg switch length: 2.17
1800.06/1800.01 c switching time : 72.52
1800.06/1800.01 c Solution :
1800.06/1800.01 c Solutions found : 100 (1 improvements)
1800.06/1800.01 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.06/1800.01 c Primal Bound : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.06/1800.01 c Dual Bound : +0.00000000000000e+00
1800.06/1800.01 c Gap : infinite
1800.06/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.01 c Root Iterations : 230
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700116-1278533985/watcher-2700116-1278533985 -o /tmp/evaluation-result-2700116-1278533985/solver-2700116-1278533985 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700116-1278533985.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.86 0.72 0.26 3/178 20414
/proc/meminfo: memFree=29896496/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=9412 CPUtime=0
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 1648 0 0 0 0 0 0 0 23 0 1 0 21610734 9637888 1568 4089446400 4194304 8223781 140735219615184 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20414/statm: 2353 1577 369 984 0 1366 0
[startup+0.0181601 s]
/proc/loadavg: 1.86 0.72 0.26 3/178 20414
/proc/meminfo: memFree=29896496/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=14112 CPUtime=0.01
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 3141 0 0 0 1 0 0 0 23 0 1 0 21610734 14450688 2697 4089446400 4194304 8223781 140735219615184 18446744073709551615 5994020 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 3592 2702 384 984 0 2605 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14112
[startup+0.101134 s]
/proc/loadavg: 1.86 0.72 0.26 3/178 20414
/proc/meminfo: memFree=29896496/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=23296 CPUtime=0.09
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 6158 0 0 0 9 0 0 0 18 0 1 0 21610734 23855104 4932 4089446400 4194304 8223781 140735219615184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 5824 4932 564 984 0 4837 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23296
[startup+0.301097 s]
/proc/loadavg: 1.86 0.72 0.26 3/178 20414
/proc/meminfo: memFree=29896496/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=23664 CPUtime=0.29
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 9323 0 0 0 28 1 0 0 18 0 1 0 21610734 24231936 5035 4089446400 4194304 8223781 140735219615184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 5916 5035 578 984 0 4929 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23664
[startup+0.701021 s]
/proc/loadavg: 1.86 0.72 0.26 3/178 20414
/proc/meminfo: memFree=29896496/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=23664 CPUtime=0.69
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 9323 0 0 0 67 2 0 0 18 0 1 0 21610734 24231936 5035 4089446400 4194304 8223781 140735219615184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 5916 5035 578 984 0 4929 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23664
[startup+1.50087 s]
/proc/loadavg: 1.86 0.72 0.26 3/179 20415
/proc/meminfo: memFree=29876772/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=23664 CPUtime=1.5
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 9323 0 0 0 146 4 0 0 19 0 1 0 21610734 24231936 5035 4089446400 4194304 8223781 140735219615184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 5916 5035 578 984 0 4929 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 23664
[startup+3.10057 s]
/proc/loadavg: 1.87 0.74 0.27 3/179 20415
/proc/meminfo: memFree=29875160/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=26564 CPUtime=3.09
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 15584 0 0 0 301 8 0 0 25 0 1 0 21610734 27201536 5791 4089446400 4194304 8223781 140735219615184 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 6641 5791 582 984 0 5654 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26564
[startup+6.30096 s]
/proc/loadavg: 1.87 0.74 0.27 3/179 20415
/proc/meminfo: memFree=29865280/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=30896 CPUtime=6.29
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 22136 0 0 0 615 14 0 0 25 0 1 0 21610734 31637504 6775 4089446400 4194304 8223781 140735219615184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 7724 6775 586 984 0 6737 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30896
[startup+12.7007 s]
/proc/loadavg: 1.89 0.78 0.28 3/179 20415
/proc/meminfo: memFree=29851044/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=38832 CPUtime=12.69
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 27261 0 0 0 1241 28 0 0 25 0 1 0 21610734 39763968 8793 4089446400 4194304 8223781 140735219615184 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 9708 8793 586 984 0 8721 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38832
[startup+25.5003 s]
/proc/loadavg: 1.91 0.82 0.30 3/179 20415
/proc/meminfo: memFree=29820996/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=55396 CPUtime=25.49
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 34578 0 0 0 2497 52 0 0 25 0 1 0 21610734 56725504 12999 4089446400 4194304 8223781 140735219615184 18446744073709551615 6446822 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 13849 12999 586 984 0 12862 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55396
[startup+51.1005 s]
/proc/loadavg: 1.94 0.91 0.34 3/179 20415
/proc/meminfo: memFree=29758100/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=84984 CPUtime=51.09
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 48446 0 0 0 5012 97 0 0 25 0 1 0 21610734 87023616 20510 4089446400 4194304 8223781 140735219615184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 21246 20510 586 984 0 20259 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 84984
[startup+102.306 s]
/proc/loadavg: 1.97 1.09 0.44 3/179 20417
/proc/meminfo: memFree=29632800/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=146736 CPUtime=102.3
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 66791 0 0 0 10035 195 0 0 25 0 1 0 21610734 150257664 35665 4089446400 4194304 8223781 140735219615184 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 36684 35665 586 984 0 35697 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 146736
[startup+162.3 s]
/proc/loadavg: 1.99 1.24 0.52 3/179 20419
/proc/meminfo: memFree=29483316/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=219000 CPUtime=162.3
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 85261 0 0 0 15925 305 0 0 25 0 1 0 21610734 224256000 54017 4089446400 4194304 8223781 140735219615184 18446744073709551615 6445090 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 54750 54017 586 984 0 53763 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 219000
[startup+222.301 s]
/proc/loadavg: 1.99 1.39 0.62 3/179 20421
/proc/meminfo: memFree=29334720/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=295972 CPUtime=222.3
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 106941 0 0 0 21808 422 0 0 25 0 1 0 21610734 303075328 72515 4089446400 4194304 8223781 140735219615184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 73993 72515 586 984 0 73006 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 295972
[startup+282.301 s]
/proc/loadavg: 1.99 1.49 0.70 3/179 20421
/proc/meminfo: memFree=29179300/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=368692 CPUtime=282.31
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 125436 0 0 0 27699 532 0 0 25 0 1 0 21610734 377540608 90985 4089446400 4194304 8223781 140735219615184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 92173 90985 586 984 0 91186 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 368692
[startup+342.3 s]
/proc/loadavg: 1.99 1.58 0.78 3/179 20423
/proc/meminfo: memFree=29027740/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=443964 CPUtime=342.3
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 144584 0 0 0 33587 643 0 0 25 0 1 0 21610734 454619136 110092 4089446400 4194304 8223781 140735219615184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 110991 110092 586 984 0 110004 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 443964
[startup+402.301 s]
/proc/loadavg: 1.99 1.65 0.85 3/179 20425
/proc/meminfo: memFree=28874796/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=527384 CPUtime=402.31
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 166835 0 0 0 39467 764 0 0 25 0 1 0 21610734 540041216 129178 4089446400 4194304 8223781 140735219615184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 131846 129178 586 984 0 130859 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 527384
[startup+462.301 s]
/proc/loadavg: 2.05 1.73 0.93 3/179 20427
/proc/meminfo: memFree=28718616/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=604920 CPUtime=462.31
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 186541 0 0 0 45358 873 0 0 25 0 1 0 21610734 619438080 148882 4089446400 4194304 8223781 140735219615184 18446744073709551615 4826977 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 151230 148882 586 984 0 150243 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 604920
[startup+522.3 s]
/proc/loadavg: 2.02 1.78 0.99 3/179 20429
/proc/meminfo: memFree=28563440/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=680228 CPUtime=522.31
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 205685 0 0 0 51240 991 0 0 25 0 1 0 21610734 696553472 168015 4089446400 4194304 8223781 140735219615184 18446744073709551615 6456046 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 170057 168015 586 984 0 169070 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 680228
[startup+582.301 s]
/proc/loadavg: 2.00 1.82 1.05 3/179 20429
/proc/meminfo: memFree=28405628/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=756416 CPUtime=582.31
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 225029 0 0 0 57130 1101 0 0 25 0 1 0 21610734 774569984 187359 4089446400 4194304 8223781 140735219615184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 189104 187359 586 984 0 188117 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 756416
[startup+642.3 s]
/proc/loadavg: 2.00 1.85 1.11 3/179 20431
/proc/meminfo: memFree=28246112/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=833572 CPUtime=642.32
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 244636 0 0 0 63019 1213 0 0 25 0 1 0 21610734 853577728 206966 4089446400 4194304 8223781 140735219615184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 208393 206966 586 984 0 207406 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 833572
[startup+702.301 s]
################
# More data... #
################
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 370699 0 0 0 98342 1890 0 0 25 0 1 0 21610734 1365852160 329856 4089446400 4194304 8223781 140735219615184 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 333460 329856 586 984 0 332473 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1333840
[startup+1062.3 s]
/proc/loadavg: 2.00 1.96 1.42 3/179 20443
/proc/meminfo: memFree=27122052/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=1414080 CPUtime=1062.33
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 391079 0 0 0 104228 2005 0 0 25 0 1 0 21610734 1448017920 350236 4089446400 4194304 8223781 140735219615184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 353520 350236 586 984 0 352533 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1414080
[startup+1122.3 s]
/proc/loadavg: 2.00 1.96 1.46 3/179 20445
/proc/meminfo: memFree=26954216/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=1499296 CPUtime=1122.34
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 412730 0 0 0 110115 2119 0 0 25 0 1 0 21610734 1535279104 371884 4089446400 4194304 8223781 140735219615184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 374824 371884 586 984 0 373837 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 1499296
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.48 3/179 20445
/proc/meminfo: memFree=26794560/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=1580068 CPUtime=1182.34
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 433257 0 0 0 116008 2226 0 0 25 0 1 0 21610734 1617989632 392411 4089446400 4194304 8223781 140735219615184 18446744073709551615 6445441 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 395017 392411 586 984 0 394030 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 1580068
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/179 20447
/proc/meminfo: memFree=26626852/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=1664312 CPUtime=1242.34
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 454656 0 0 0 121893 2341 0 0 25 0 1 0 21610734 1704255488 413810 4089446400 4194304 8223781 140735219615184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 416078 413810 586 984 0 415091 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 1664312
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.54 3/179 20449
/proc/meminfo: memFree=26467084/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=1742956 CPUtime=1302.35
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 477740 0 0 0 127781 2454 0 0 25 0 1 0 21610734 1784786944 433780 4089446400 4194304 8223781 140735219615184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 435739 433780 586 984 0 434752 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 1742956
[startup+1362.3 s]
/proc/loadavg: 2.04 1.99 1.57 3/179 20451
/proc/meminfo: memFree=26306452/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=1824816 CPUtime=1362.34
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 498553 0 0 0 133666 2568 0 0 25 0 1 0 21610734 1868611584 454585 4089446400 4194304 8223781 140735219615184 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 456204 454585 586 984 0 455217 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1824816
[startup+1422.31 s]
/proc/loadavg: 2.01 1.99 1.60 3/179 20453
/proc/meminfo: memFree=26139352/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=1908136 CPUtime=1422.35
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 519736 0 0 0 139549 2686 0 0 25 0 1 0 21610734 1953931264 475767 4089446400 4194304 8223781 140735219615184 18446744073709551615 6482881 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 477034 475767 586 984 0 476047 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1908136
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.62 3/179 20453
/proc/meminfo: memFree=25978348/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=1991100 CPUtime=1482.34
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 540809 0 0 0 145434 2800 0 0 25 0 1 0 21610734 2038886400 496835 4089446400 4194304 8223781 140735219615184 18446744073709551615 6003380 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 497775 496835 586 984 0 496788 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1991100
[startup+1542.3 s]
/proc/loadavg: 2.04 2.00 1.65 3/179 20455
/proc/meminfo: memFree=25814848/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=2105352 CPUtime=1542.35
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 561520 0 0 0 151321 2914 0 0 25 0 1 0 21610734 2155880448 517545 4089446400 4194304 8223781 140735219615184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 526338 517545 586 984 0 525351 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 2105352
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.66 3/179 20457
/proc/meminfo: memFree=25649388/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=2191008 CPUtime=1602.35
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 583279 0 0 0 157205 3030 0 0 25 0 1 0 21610734 2243592192 539284 4089446400 4194304 8223781 140735219615184 18446744073709551615 6326827 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 547752 539284 586 984 0 546765 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 2191008
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.68 3/179 20459
/proc/meminfo: memFree=25484540/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=2272456 CPUtime=1662.35
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 603994 0 0 0 163094 3141 0 0 25 0 1 0 21610734 2326994944 559990 4089446400 4194304 8223781 140735219615184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 568114 559990 586 984 0 567127 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 2272456
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.70 3/179 20461
/proc/meminfo: memFree=25319832/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=2355692 CPUtime=1722.35
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 625147 0 0 0 168987 3248 0 0 25 0 1 0 21610734 2412228608 581134 4089446400 4194304 8223781 140735219615184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 588923 581134 586 984 0 587936 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 2355692
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.72 3/179 20461
/proc/meminfo: memFree=25153104/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=2441124 CPUtime=1782.36
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 646845 0 0 0 174873 3363 0 0 25 0 1 0 21610734 2499710976 602827 4089446400 4194304 8223781 140735219615184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 610281 602827 586 984 0 609294 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 2441124
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.72 3/179 20491
/proc/meminfo: memFree=27459356/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=2464792 CPUtime=1800.06
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 652859 0 0 0 176609 3397 0 0 25 0 1 0 21610734 2523947008 608838 4089446400 4194304 8223781 140735219615184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20414/statm: 616198 608838 586 984 0 615211 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2464792
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -20414
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.72 3/180 20492
/proc/meminfo: memFree=27457488/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=2464792 CPUtime=1801.46
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 652861 0 0 0 176749 3397 0 0 25 0 1 0 21610734 2523947008 608840 4089446400 4194304 8223781 140735219615184 18446744073709551615 4609365 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20414/statm: 616198 608840 588 984 0 615211 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 2464792
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 1.72 3/180 20492
/proc/meminfo: memFree=27456248/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=2464792 CPUtime=1801.86
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 652861 0 0 0 176789 3397 0 0 25 0 1 0 21610734 2523947008 608840 4089446400 4194304 8223781 140735219615184 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20414/statm: 616198 608840 588 984 0 615211 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 2464792
[startup+1802 s]
/proc/loadavg: 2.00 2.00 1.72 3/180 20492
/proc/meminfo: memFree=27456248/32951124 swapFree=67111528/67111528
[pid=20414] ppid=20412 vsize=2462744 CPUtime=1802.06
/proc/20414/stat : 20414 (pbscip.linux.x8) R 20412 20414 19295 0 -1 4202496 652861 0 0 0 176809 3397 0 0 25 0 1 0 21610734 2521849856 608328 4089446400 4194304 8223781 140735219615184 18446744073709551615 6206530 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20414/statm: 615686 608328 588 984 0 614699 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 2462744
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.09
CPU time (s): 1802.15
CPU user time (s): 1768.1
CPU system time (s): 34.0588
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2464792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1768.1
system time used= 34.0588
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 652861
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 950
runsolver used 2.43463 second user time and 5.78012 second system time
The end
Begin job on node141 at 2010-07-07 22:19:45
IDJOB=2700116
IDBENCH=79401
IDSOLVER=1204
FILE ID=node141/2700116-1278533985
PBS_JOBID= 11239195
Free space on /tmp= 73644 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-jnh15_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-2700116-1278533985/watcher-2700116-1278533985 -o /tmp/evaluation-result-2700116-1278533985/solver-2700116-1278533985 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700116-1278533985.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 415715e3de5713a6aca23e12a1a413cb
RANDOM SEED=275388287
node141.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.839
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.67
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.839
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.34
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.839
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.82
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.839
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.74
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.839
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.76
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.839
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.839
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.839
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 29896528 kB
Buffers: 142496 kB
Cached: 2649720 kB
SwapCached: 0 kB
Active: 1300336 kB
Inactive: 1598808 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29896528 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 9652 kB
Writeback: 0 kB
AnonPages: 107656 kB
Mapped: 16808 kB
Slab: 88984 kB
PageTables: 5768 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 244928 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= 73636 MiB
End job on node141 at 2010-07-07 22:49:47