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-2700332-1278534779.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.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, 1050 impls, 0 clqs
0.00/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.00/0.06 c (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.06 c presolving (3 rounds):
0.00/0.06 c 100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 1050 implications, 0 cliques
0.00/0.06 c presolved problem has 1800 variables (950 bin, 0 int, 0 impl, 850 cont) and 1700 constraints
0.00/0.06 c 850 constraints of type <indicator>
0.00/0.06 c 850 constraints of type <linear>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.04
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 1.2.1.2
0.00/0.06 c
0.00/0.06 c # frequency for displaying node information lines
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06 c display/freq = 10000
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1799.99
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 3420
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify inequalities
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/linear/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify knapsacks
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/rapidlearning/freq = 0
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.00/0.06 o 420925
0.00/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.00/0.06 c t 0.0s| 1 | 0 | 0 | - |6127k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 0 | - |6524k| 0 | 0 |1800 |1700 |1800 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 32 | - |6562k| 0 | 5 |1800 |1700 |1800 | 66 | 66 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.07 c 0.1s| 1 | 0 | 101 | - |6617k| 0 | 35 |1800 |1700 |1800 | 109 | 109 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.08 c 0.1s| 1 | 0 | 166 | - |6713k| 0 | 70 |1800 |1700 |1800 | 154 | 154 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.07/0.09 c 0.1s| 1 | 0 | 205 | - |6774k| 0 | 75 |1800 |1700 |1800 | 175 | 175 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 227 | - |6810k| 0 | 79 |1800 |1700 |1800 | 188 | 188 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 260 | - |6835k| 0 | 79 |1800 |1700 |1800 | 190 | 190 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.39/0.41 c 0.4s| 1 | 2 | 406 | - |6887k| 0 | 79 |1800 |1700 |1800 | 190 | 190 | 0 | 33 | 0.000000e+00 | 4.209250e+05 | Inf
11.69/11.75 c 11.5s| 10000 | 10001 | 45945 | 4.6 | 19M| 167 | 0 |1800 |1700 |1800 | 297 |9937 | 0 | 790 | 0.000000e+00 | 4.209250e+05 | Inf
20.90/20.91 c 20.5s| 20000 | 20001 | 73699 | 3.7 | 30M| 167 | 0 |1800 |1700 |1800 | 296 | 18k| 0 | 790 | 0.000000e+00 | 4.209250e+05 | Inf
29.19/29.27 c 28.7s| 30000 | 30001 | 86287 | 2.9 | 40M| 167 | 0 |1800 |1700 |1800 | 287 | 21k| 0 | 790 | 0.000000e+00 | 4.209250e+05 | Inf
37.89/37.91 c 37.2s| 40000 | 40001 |107633 | 2.7 | 50M| 189 | 0 |1800 |1700 |1800 | 300 | 27k| 0 | 790 | 0.000000e+00 | 4.209250e+05 | Inf
46.48/46.58 c 45.7s| 50000 | 50001 |133741 | 2.7 | 60M| 219 | 0 |1800 |1700 |1800 | 305 | 34k| 0 | 790 | 0.000000e+00 | 4.209250e+05 | Inf
55.29/55.34 c 54.2s| 60000 | 60001 |161419 | 2.7 | 70M| 219 | 0 |1800 |1700 |1800 | 303 | 41k| 0 | 790 | 0.000000e+00 | 4.209250e+05 | Inf
64.19/64.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.19/64.28 c 63.0s| 70000 | 70001 |193220 | 2.8 | 80M| 219 | 0 |1800 |1700 |1800 | 272 | 48k| 0 | 839 | 0.000000e+00 | 4.209250e+05 | Inf
72.99/73.02 c 71.6s| 80000 | 79999 |217722 | 2.7 | 90M| 219 | 0 |1800 |1706 |1800 | 298 | 53k| 6 | 899 | 0.000000e+00 | 4.209250e+05 | Inf
81.39/81.48 c 79.9s| 90000 | 89997 |234262 | 2.6 | 101M| 219 | 0 |1800 |1707 |1800 | 310 | 58k| 7 | 927 | 0.000000e+00 | 4.209250e+05 | Inf
89.99/90.01 c 88.2s|100000 | 99995 |252656 | 2.5 | 111M| 219 | 0 |1800 |1712 |1800 | 281 | 63k| 12 | 958 | 0.000000e+00 | 4.209250e+05 | Inf
98.59/98.66 c 96.7s|110000 |109995 |272949 | 2.5 | 121M| 219 | 0 |1800 |1712 |1800 | 282 | 68k| 12 |1030 | 0.000000e+00 | 4.209250e+05 | Inf
107.09/107.13 c 105s|120000 |119995 |291054 | 2.4 | 131M| 219 | 0 |1800 |1712 |1800 | 296 | 73k| 12 |1062 | 0.000000e+00 | 4.209250e+05 | Inf
115.69/115.72 c 113s|130000 |129993 |312082 | 2.4 | 141M| 219 | 0 |1800 |1713 |1800 | 298 | 78k| 13 |1126 | 0.000000e+00 | 4.209250e+05 | Inf
123.99/124.04 c 122s|140000 |139993 |326105 | 2.3 | 151M| 219 | 0 |1800 |1713 |1800 | 308 | 82k| 13 |1151 | 0.000000e+00 | 4.209250e+05 | Inf
132.39/132.42 c 130s|150000 |149993 |341799 | 2.3 | 161M| 219 | 7 |1800 |1713 |1800 | 296 | 86k| 13 |1184 | 0.000000e+00 | 4.209250e+05 | Inf
140.70/140.80 c 138s|160000 |159993 |359868 | 2.2 | 171M| 219 | 0 |1800 |1713 |1800 | 255 | 91k| 13 |1238 | 0.000000e+00 | 4.209250e+05 | Inf
149.29/149.30 c 146s|170000 |169993 |380265 | 2.2 | 181M| 219 | 0 |1800 |1712 |1800 | 319 | 96k| 13 |1276 | 0.000000e+00 | 4.209250e+05 | Inf
157.39/157.46 c 154s|180000 |179993 |392923 | 2.2 | 191M| 219 | 0 |1800 |1712 |1800 | 285 | 100k| 13 |1306 | 0.000000e+00 | 4.209250e+05 | Inf
165.69/165.72 c 163s|190000 |189993 |407040 | 2.1 | 201M| 219 | 0 |1800 |1711 |1800 | 262 | 104k| 13 |1343 | 0.000000e+00 | 4.209250e+05 | Inf
174.19/174.23 c 171s|200000 |199993 |425545 | 2.1 | 211M| 219 | 0 |1800 |1711 |1800 | 273 | 109k| 13 |1378 | 0.000000e+00 | 4.209250e+05 | Inf
182.70/182.77 c 179s|210000 |209993 |443576 | 2.1 | 221M| 219 | 0 |1800 |1711 |1800 | 292 | 114k| 13 |1422 | 0.000000e+00 | 4.209250e+05 | Inf
191.09/191.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.09/191.13 c 188s|220000 |219993 |456978 | 2.1 | 231M| 219 | 0 |1800 |1711 |1800 | 301 | 118k| 13 |1452 | 0.000000e+00 | 4.209250e+05 | Inf
199.49/199.51 c 196s|230000 |229993 |472424 | 2.1 | 241M| 219 | 7 |1800 |1711 |1800 | 249 | 122k| 13 |1489 | 0.000000e+00 | 4.209250e+05 | Inf
207.90/207.93 c 204s|240000 |239993 |489940 | 2.0 | 251M| 219 | 0 |1800 |1711 |1800 | 298 | 127k| 13 |1519 | 0.000000e+00 | 4.209250e+05 | Inf
216.60/216.61 c 213s|250000 |249993 |513142 | 2.1 | 261M| 219 | 0 |1800 |1711 |1800 | 263 | 133k| 13 |1566 | 0.000000e+00 | 4.209250e+05 | Inf
225.20/225.28 c 221s|260000 |259993 |535553 | 2.1 | 271M| 219 | 0 |1800 |1711 |1800 | 308 | 139k| 13 |1609 | 0.000000e+00 | 4.209250e+05 | Inf
234.20/234.25 c 230s|270000 |269993 |559625 | 2.1 | 281M| 219 | 0 |1800 |1711 |1800 | 300 | 146k| 13 |1645 | 0.000000e+00 | 4.209250e+05 | Inf
243.19/243.23 c 239s|280000 |279993 |584390 | 2.1 | 292M| 219 | 13 |1800 |1711 |1800 | 260 | 153k| 13 |1700 | 0.000000e+00 | 4.209250e+05 | Inf
251.80/251.87 c 247s|290000 |289993 |604338 | 2.1 | 302M| 219 | 0 |1800 |1711 |1800 | 250 | 158k| 13 |1741 | 0.000000e+00 | 4.209250e+05 | Inf
260.49/260.57 c 256s|300000 |299993 |624655 | 2.1 | 312M| 219 | 0 |1800 |1711 |1800 | 287 | 164k| 13 |1781 | 0.000000e+00 | 4.209250e+05 | Inf
269.19/269.24 c 264s|310000 |309993 |645470 | 2.1 | 322M| 219 | 0 |1800 |1711 |1800 | 306 | 169k| 13 |1831 | 0.000000e+00 | 4.209250e+05 | Inf
277.49/277.59 c 272s|320000 |319993 |661493 | 2.1 | 332M| 219 | 8 |1800 |1711 |1800 | 299 | 173k| 13 |1851 | 0.000000e+00 | 4.209250e+05 | Inf
285.90/285.97 c 281s|330000 |329993 |678745 | 2.1 | 342M| 219 | 0 |1800 |1711 |1800 | 305 | 178k| 13 |1890 | 0.000000e+00 | 4.209250e+05 | Inf
294.20/294.27 c 289s|340000 |339993 |693585 | 2.0 | 352M| 219 | 0 |1800 |1711 |1800 | 288 | 182k| 13 |1902 | 0.000000e+00 | 4.209250e+05 | Inf
302.90/302.92 c 297s|350000 |349993 |714545 | 2.0 | 362M| 219 | 0 |1800 |1711 |1800 | 296 | 188k| 13 |1957 | 0.000000e+00 | 4.209250e+05 | Inf
311.40/311.40 c 306s|360000 |359993 |731323 | 2.0 | 372M| 219 | 9 |1800 |1711 |1800 | 261 | 192k| 13 |1984 | 0.000000e+00 | 4.209250e+05 | Inf
319.70/319.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
319.70/319.72 c 314s|370000 |369993 |747084 | 2.0 | 382M| 219 | 0 |1800 |1711 |1800 | 287 | 196k| 13 |1995 | 0.000000e+00 | 4.209250e+05 | Inf
328.10/328.16 c 322s|380000 |379993 |764094 | 2.0 | 392M| 219 | 0 |1800 |1711 |1800 | 317 | 202k| 13 |2029 | 0.000000e+00 | 4.209250e+05 | Inf
336.50/336.56 c 330s|390000 |389993 |781761 | 2.0 | 402M| 219 | 0 |1800 |1709 |1800 | 315 | 207k| 13 |2066 | 0.000000e+00 | 4.209250e+05 | Inf
345.00/345.02 c 339s|400000 |399993 |799649 | 2.0 | 412M| 219 | 0 |1800 |1709 |1800 | 303 | 211k| 13 |2095 | 0.000000e+00 | 4.209250e+05 | Inf
352.60/352.66 c 346s|410000 |409993 |817390 | 2.0 | 422M| 219 | 0 |1800 |1709 |1800 | 314 | 216k| 13 |2122 | 0.000000e+00 | 4.209250e+05 | Inf
360.00/360.04 c 353s|420000 |419993 |829881 | 2.0 | 432M| 219 | 0 |1800 |1709 |1800 | 283 | 219k| 13 |2148 | 0.000000e+00 | 4.209250e+05 | Inf
367.80/367.83 c 361s|430000 |429993 |853263 | 2.0 | 442M| 219 | 0 |1800 |1709 |1800 | 287 | 225k| 13 |2169 | 0.000000e+00 | 4.209250e+05 | Inf
375.40/375.48 c 369s|440000 |439993 |873917 | 2.0 | 452M| 219 | 0 |1800 |1709 |1800 | 303 | 231k| 13 |2215 | 0.000000e+00 | 4.209250e+05 | Inf
382.90/382.93 c 376s|450000 |449993 |887263 | 2.0 | 462M| 219 | 0 |1800 |1709 |1800 | 298 | 234k| 13 |2226 | 0.000000e+00 | 4.209250e+05 | Inf
390.51/390.51 c 383s|460000 |459993 |904733 | 2.0 | 472M| 219 | 0 |1800 |1709 |1800 | 299 | 239k| 13 |2253 | 0.000000e+00 | 4.209250e+05 | Inf
398.00/398.05 c 391s|470000 |469993 |920867 | 2.0 | 482M| 219 | 0 |1800 |1708 |1800 | 303 | 244k| 13 |2282 | 0.000000e+00 | 4.209250e+05 | Inf
405.70/405.70 c 398s|480000 |479993 |939020 | 2.0 | 492M| 219 | 0 |1800 |1708 |1800 | 287 | 248k| 13 |2307 | 0.000000e+00 | 4.209250e+05 | Inf
413.10/413.16 c 406s|490000 |489993 |953398 | 1.9 | 502M| 219 | 0 |1800 |1708 |1800 | 280 | 252k| 13 |2333 | 0.000000e+00 | 4.209250e+05 | Inf
420.70/420.73 c 413s|500000 |499993 |969872 | 1.9 | 512M| 219 | 10 |1800 |1708 |1800 | 287 | 257k| 13 |2360 | 0.000000e+00 | 4.209250e+05 | Inf
428.11/428.19 c 420s|510000 |509993 |985144 | 1.9 | 522M| 219 | 0 |1800 |1708 |1800 | 302 | 262k| 13 |2386 | 0.000000e+00 | 4.209250e+05 | Inf
435.61/435.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
435.61/435.60 c 428s|520000 |519993 |999551 | 1.9 | 532M| 219 | 0 |1800 |1708 |1800 | 274 | 265k| 13 |2400 | 0.000000e+00 | 4.209250e+05 | Inf
442.80/442.86 c 435s|530000 |529993 | 1009k| 1.9 | 542M| 219 | 0 |1800 |1708 |1800 | 260 | 268k| 13 |2407 | 0.000000e+00 | 4.209250e+05 | Inf
450.20/450.26 c 442s|540000 |539993 | 1024k| 1.9 | 552M| 225 | 0 |1800 |1708 |1800 | 276 | 272k| 13 |2431 | 0.000000e+00 | 4.209250e+05 | Inf
457.41/457.49 c 449s|550000 |549993 | 1035k| 1.9 | 562M| 225 | 0 |1800 |1708 |1800 | 283 | 275k| 13 |2440 | 0.000000e+00 | 4.209250e+05 | Inf
465.11/465.16 c 457s|560000 |559993 | 1057k| 1.9 | 572M| 225 | 0 |1800 |1708 |1800 | 305 | 281k| 13 |2466 | 0.000000e+00 | 4.209250e+05 | Inf
472.61/472.65 c 464s|570000 |569993 | 1073k| 1.9 | 582M| 225 | 0 |1800 |1708 |1800 | 282 | 285k| 13 |2485 | 0.000000e+00 | 4.209250e+05 | Inf
480.10/480.14 c 471s|580000 |579993 | 1090k| 1.9 | 593M| 225 | 0 |1800 |1708 |1800 | 296 | 290k| 13 |2506 | 0.000000e+00 | 4.209250e+05 | Inf
487.60/487.69 c 479s|590000 |589993 | 1108k| 1.9 | 603M| 225 | 3 |1800 |1708 |1800 | 311 | 294k| 13 |2527 | 0.000000e+00 | 4.209250e+05 | Inf
495.10/495.18 c 486s|600000 |599993 | 1124k| 1.9 | 613M| 225 | 0 |1800 |1708 |1800 | 290 | 299k| 13 |2534 | 0.000000e+00 | 4.209250e+05 | Inf
502.61/502.65 c 493s|610000 |609993 | 1140k| 1.9 | 623M| 225 | 0 |1800 |1708 |1800 | 301 | 304k| 13 |2567 | 0.000000e+00 | 4.209250e+05 | Inf
510.10/510.12 c 501s|620000 |619993 | 1158k| 1.9 | 633M| 225 | 0 |1800 |1708 |1800 | 283 | 308k| 13 |2589 | 0.000000e+00 | 4.209250e+05 | Inf
517.61/517.60 c 508s|630000 |629993 | 1175k| 1.9 | 643M| 225 | 8 |1800 |1708 |1800 | 262 | 313k| 13 |2610 | 0.000000e+00 | 4.209250e+05 | Inf
524.91/524.91 c 515s|640000 |639993 | 1189k| 1.9 | 653M| 225 | 4 |1800 |1708 |1800 | 277 | 317k| 13 |2629 | 0.000000e+00 | 4.209250e+05 | Inf
532.31/532.34 c 523s|650000 |649993 | 1204k| 1.9 | 663M| 225 | 0 |1800 |1708 |1800 | 314 | 321k| 13 |2649 | 0.000000e+00 | 4.209250e+05 | Inf
539.91/539.90 c 530s|660000 |659993 | 1221k| 1.8 | 673M| 225 | 0 |1800 |1706 |1800 | 279 | 326k| 13 |2667 | 0.000000e+00 | 4.209250e+05 | Inf
547.31/547.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
547.31/547.30 c 537s|670000 |669993 | 1236k| 1.8 | 683M| 225 | 3 |1800 |1706 |1800 | 251 | 330k| 13 |2669 | 0.000000e+00 | 4.209250e+05 | Inf
554.61/554.69 c 544s|680000 |679993 | 1251k| 1.8 | 693M| 225 | 0 |1800 |1706 |1800 | 307 | 335k| 13 |2691 | 0.000000e+00 | 4.209250e+05 | Inf
562.01/562.08 c 552s|690000 |689993 | 1267k| 1.8 | 703M| 225 | 0 |1800 |1706 |1800 | 329 | 339k| 13 |2709 | 0.000000e+00 | 4.209250e+05 | Inf
569.61/569.67 c 559s|700000 |699993 | 1289k| 1.8 | 713M| 225 | 0 |1800 |1706 |1800 | 288 | 345k| 13 |2731 | 0.000000e+00 | 4.209250e+05 | Inf
577.21/577.20 c 567s|710000 |709993 | 1308k| 1.8 | 723M| 225 | 0 |1800 |1706 |1800 | 302 | 349k| 13 |2756 | 0.000000e+00 | 4.209250e+05 | Inf
584.71/584.73 c 574s|720000 |719993 | 1325k| 1.8 | 733M| 225 | 0 |1800 |1706 |1800 | 265 | 354k| 13 |2781 | 0.000000e+00 | 4.209250e+05 | Inf
592.10/592.15 c 581s|730000 |729993 | 1340k| 1.8 | 743M| 225 | 0 |1800 |1706 |1800 | 279 | 358k| 13 |2804 | 0.000000e+00 | 4.209250e+05 | Inf
599.51/599.59 c 589s|740000 |739993 | 1355k| 1.8 | 753M| 225 | 0 |1800 |1706 |1800 | 286 | 362k| 13 |2815 | 0.000000e+00 | 4.209250e+05 | Inf
607.01/607.06 c 596s|750000 |749993 | 1373k| 1.8 | 763M| 225 | 0 |1800 |1706 |1800 | 286 | 367k| 13 |2831 | 0.000000e+00 | 4.209250e+05 | Inf
614.51/614.56 c 603s|760000 |759993 | 1390k| 1.8 | 773M| 225 | 0 |1800 |1706 |1800 | 303 | 372k| 13 |2853 | 0.000000e+00 | 4.209250e+05 | Inf
622.01/622.02 c 611s|770000 |769993 | 1407k| 1.8 | 783M| 225 | 4 |1800 |1706 |1800 | 269 | 377k| 13 |2878 | 0.000000e+00 | 4.209250e+05 | Inf
629.51/629.57 c 618s|780000 |779993 | 1425k| 1.8 | 793M| 225 | 0 |1800 |1706 |1800 | 254 | 382k| 13 |2902 | 0.000000e+00 | 4.209250e+05 | Inf
637.01/637.06 c 625s|790000 |789993 | 1441k| 1.8 | 803M| 225 | 0 |1800 |1706 |1800 | 290 | 386k| 13 |2949 | 0.000000e+00 | 4.209250e+05 | Inf
644.51/644.53 c 633s|800000 |799993 | 1457k| 1.8 | 813M| 225 | 0 |1800 |1706 |1800 | 291 | 391k| 13 |2973 | 0.000000e+00 | 4.209250e+05 | Inf
651.91/651.97 c 640s|810000 |809993 | 1472k| 1.8 | 823M| 225 | 0 |1800 |1706 |1800 | 313 | 395k| 13 |2993 | 0.000000e+00 | 4.209250e+05 | Inf
659.31/659.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
659.31/659.38 c 647s|820000 |819993 | 1487k| 1.8 | 833M| 225 | 0 |1800 |1706 |1800 | 265 | 399k| 13 |3005 | 0.000000e+00 | 4.209250e+05 | Inf
666.71/666.73 c 654s|830000 |829993 | 1502k| 1.8 | 843M| 225 | 12 |1800 |1706 |1800 | 284 | 404k| 13 |3015 | 0.000000e+00 | 4.209250e+05 | Inf
674.11/674.15 c 662s|840000 |839993 | 1518k| 1.8 | 853M| 225 | 0 |1800 |1706 |1800 | 280 | 408k| 13 |3036 | 0.000000e+00 | 4.209250e+05 | Inf
681.61/681.60 c 669s|850000 |849993 | 1535k| 1.8 | 863M| 225 | 0 |1800 |1706 |1800 | 285 | 413k| 13 |3057 | 0.000000e+00 | 4.209250e+05 | Inf
689.01/689.01 c 676s|860000 |859993 | 1551k| 1.8 | 873M| 225 | 0 |1800 |1706 |1800 | 276 | 417k| 13 |3080 | 0.000000e+00 | 4.209250e+05 | Inf
696.22/696.30 c 683s|870000 |869993 | 1566k| 1.8 | 883M| 225 | 0 |1800 |1706 |1800 | 286 | 421k| 13 |3086 | 0.000000e+00 | 4.209250e+05 | Inf
703.61/703.61 c 691s|880000 |879993 | 1581k| 1.8 | 893M| 225 | 8 |1800 |1706 |1800 | 317 | 425k| 13 |3112 | 0.000000e+00 | 4.209250e+05 | Inf
711.31/711.33 c 698s|890000 |889993 | 1603k| 1.8 | 903M| 225 | 0 |1800 |1706 |1800 | 307 | 431k| 13 |3136 | 0.000000e+00 | 4.209250e+05 | Inf
718.91/718.97 c 706s|900000 |899993 | 1628k| 1.8 | 913M| 225 | 0 |1800 |1706 |1800 | 312 | 438k| 13 |3162 | 0.000000e+00 | 4.209250e+05 | Inf
726.41/726.46 c 713s|910000 |909993 | 1648k| 1.8 | 923M| 225 | 0 |1800 |1706 |1800 | 314 | 443k| 13 |3186 | 0.000000e+00 | 4.209250e+05 | Inf
734.02/734.06 c 721s|920000 |919993 | 1666k| 1.8 | 933M| 225 | 0 |1800 |1706 |1800 | 266 | 448k| 13 |3208 | 0.000000e+00 | 4.209250e+05 | Inf
741.42/741.46 c 728s|930000 |929993 | 1681k| 1.8 | 943M| 225 | 23 |1800 |1706 |1800 | 238 | 452k| 13 |3217 | 0.000000e+00 | 4.209250e+05 | Inf
749.02/749.07 c 735s|940000 |939993 | 1700k| 1.8 | 953M| 225 | 0 |1800 |1706 |1800 | 298 | 457k| 13 |3232 | 0.000000e+00 | 4.209250e+05 | Inf
756.72/756.78 c 743s|950000 |949993 | 1723k| 1.8 | 963M| 225 | 0 |1800 |1706 |1800 | 303 | 464k| 13 |3264 | 0.000000e+00 | 4.209250e+05 | Inf
764.11/764.16 c 750s|960000 |959993 | 1737k| 1.8 | 973M| 225 | 0 |1800 |1706 |1800 | 270 | 467k| 13 |3283 | 0.000000e+00 | 4.209250e+05 | Inf
771.61/771.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
771.61/771.64 c 757s|970000 |969993 | 1754k| 1.8 | 983M| 225 | 0 |1800 |1706 |1800 | 313 | 472k| 13 |3308 | 0.000000e+00 | 4.209250e+05 | Inf
779.11/779.11 c 765s|980000 |979993 | 1770k| 1.8 | 993M| 225 | 15 |1800 |1706 |1800 | 273 | 476k| 13 |3325 | 0.000000e+00 | 4.209250e+05 | Inf
786.42/786.47 c 772s|990000 |989993 | 1784k| 1.8 |1003M| 225 | 0 |1800 |1706 |1800 | 291 | 480k| 13 |3334 | 0.000000e+00 | 4.209250e+05 | Inf
793.91/793.95 c 779s| 1000k|999993 | 1804k| 1.8 |1013M| 225 | 0 |1800 |1706 |1800 | 288 | 486k| 13 |3356 | 0.000000e+00 | 4.209250e+05 | Inf
801.31/801.37 c 787s| 1010k| 1009k| 1823k| 1.8 |1023M| 225 | 0 |1800 |1706 |1800 | 273 | 492k| 13 |3380 | 0.000000e+00 | 4.209250e+05 | Inf
808.52/808.57 c 794s| 1020k| 1019k| 1836k| 1.8 |1033M| 225 | 0 |1800 |1706 |1800 | 263 | 496k| 13 |3404 | 0.000000e+00 | 4.209250e+05 | Inf
815.81/815.86 c 801s| 1030k| 1029k| 1848k| 1.8 |1043M| 225 | 0 |1800 |1706 |1800 | 283 | 499k| 13 |3404 | 0.000000e+00 | 4.209250e+05 | Inf
823.32/823.34 c 808s| 1040k| 1039k| 1870k| 1.8 |1053M| 225 | 0 |1800 |1706 |1800 | 261 | 506k| 13 |3424 | 0.000000e+00 | 4.209250e+05 | Inf
830.72/830.72 c 815s| 1050k| 1049k| 1890k| 1.8 |1063M| 225 | 0 |1800 |1706 |1800 | 288 | 512k| 13 |3451 | 0.000000e+00 | 4.209250e+05 | Inf
838.02/838.05 c 823s| 1060k| 1059k| 1907k| 1.8 |1073M| 225 | 0 |1800 |1706 |1800 | 280 | 517k| 13 |3477 | 0.000000e+00 | 4.209250e+05 | Inf
845.21/845.22 c 830s| 1070k| 1069k| 1919k| 1.8 |1083M| 225 | 0 |1800 |1706 |1800 | 276 | 521k| 13 |3496 | 0.000000e+00 | 4.209250e+05 | Inf
852.42/852.49 c 837s| 1080k| 1079k| 1933k| 1.8 |1093M| 225 | 0 |1800 |1706 |1800 | 297 | 525k| 13 |3500 | 0.000000e+00 | 4.209250e+05 | Inf
859.91/859.93 c 844s| 1090k| 1089k| 1949k| 1.8 |1103M| 225 | 0 |1800 |1706 |1800 | 295 | 530k| 13 |3519 | 0.000000e+00 | 4.209250e+05 | Inf
867.22/867.21 c 851s| 1100k| 1099k| 1965k| 1.8 |1113M| 227 | 0 |1800 |1706 |1800 | 298 | 534k| 13 |3540 | 0.000000e+00 | 4.209250e+05 | Inf
874.42/874.47 c 858s| 1110k| 1109k| 1976k| 1.8 |1123M| 227 | 0 |1800 |1706 |1800 | 284 | 538k| 13 |3540 | 0.000000e+00 | 4.209250e+05 | Inf
881.62/881.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
881.62/881.63 c 865s| 1120k| 1119k| 1984k| 1.8 |1132M| 227 | 0 |1800 |1706 |1800 | 247 | 540k| 13 |3557 | 0.000000e+00 | 4.209250e+05 | Inf
888.73/888.79 c 872s| 1130k| 1129k| 1993k| 1.8 |1142M| 227 | 0 |1800 |1706 |1800 | 276 | 543k| 13 |3558 | 0.000000e+00 | 4.209250e+05 | Inf
895.92/895.97 c 879s| 1140k| 1139k| 2002k| 1.8 |1152M| 227 | 7 |1800 |1706 |1800 | 286 | 546k| 13 |3567 | 0.000000e+00 | 4.209250e+05 | Inf
903.13/903.19 c 887s| 1150k| 1149k| 2013k| 1.8 |1162M| 227 | 0 |1800 |1706 |1800 | 308 | 549k| 13 |3578 | 0.000000e+00 | 4.209250e+05 | Inf
910.42/910.46 c 894s| 1160k| 1159k| 2025k| 1.7 |1172M| 227 | 0 |1800 |1706 |1800 | 312 | 552k| 13 |3596 | 0.000000e+00 | 4.209250e+05 | Inf
917.92/917.92 c 901s| 1170k| 1169k| 2040k| 1.7 |1182M| 227 | 0 |1800 |1708 |1800 | 288 | 557k| 15 |3596 | 0.000000e+00 | 4.209250e+05 | Inf
925.13/925.18 c 908s| 1180k| 1179k| 2050k| 1.7 |1192M| 227 | 0 |1800 |1708 |1800 | 299 | 560k| 15 |3612 | 0.000000e+00 | 4.209250e+05 | Inf
932.42/932.44 c 915s| 1190k| 1189k| 2059k| 1.7 |1202M| 227 | 0 |1800 |1707 |1800 | 296 | 563k| 15 |3613 | 0.000000e+00 | 4.209250e+05 | Inf
939.72/939.76 c 922s| 1200k| 1199k| 2070k| 1.7 |1212M| 227 | 0 |1800 |1707 |1800 | 285 | 566k| 15 |3636 | 0.000000e+00 | 4.209250e+05 | Inf
947.22/947.22 c 930s| 1210k| 1209k| 2085k| 1.7 |1222M| 227 | 14 |1800 |1707 |1800 | 295 | 570k| 15 |3647 | 0.000000e+00 | 4.209250e+05 | Inf
954.52/954.53 c 937s| 1220k| 1219k| 2099k| 1.7 |1232M| 227 | 0 |1800 |1707 |1800 | 289 | 574k| 15 |3656 | 0.000000e+00 | 4.209250e+05 | Inf
961.72/961.76 c 944s| 1230k| 1229k| 2110k| 1.7 |1242M| 227 | 0 |1800 |1707 |1800 | 279 | 577k| 15 |3675 | 0.000000e+00 | 4.209250e+05 | Inf
968.92/968.94 c 951s| 1240k| 1239k| 2123k| 1.7 |1252M| 227 | 0 |1800 |1707 |1800 | 264 | 580k| 15 |3679 | 0.000000e+00 | 4.209250e+05 | Inf
976.22/976.23 c 958s| 1250k| 1249k| 2139k| 1.7 |1262M| 227 | 0 |1800 |1707 |1800 | 265 | 585k| 15 |3699 | 0.000000e+00 | 4.209250e+05 | Inf
983.32/983.36 c 965s| 1260k| 1259k| 2147k| 1.7 |1272M| 227 | 13 |1800 |1707 |1800 | 273 | 588k| 15 |3699 | 0.000000e+00 | 4.209250e+05 | Inf
990.62/990.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
990.62/990.60 c 972s| 1270k| 1269k| 2156k| 1.7 |1282M| 227 | 0 |1800 |1707 |1800 | 308 | 590k| 15 |3717 | 0.000000e+00 | 4.209250e+05 | Inf
997.83/997.86 c 980s| 1280k| 1279k| 2169k| 1.7 |1292M| 227 | 0 |1800 |1707 |1800 | 285 | 594k| 15 |3718 | 0.000000e+00 | 4.209250e+05 | Inf
1005.12/1005.12 c 987s| 1290k| 1289k| 2179k| 1.7 |1302M| 227 | 0 |1800 |1707 |1800 | 269 | 598k| 15 |3737 | 0.000000e+00 | 4.209250e+05 | Inf
1012.22/1012.20 c 994s| 1300k| 1299k| 2185k| 1.7 |1312M| 227 | 0 |1800 |1707 |1800 | 309 | 600k| 15 |3737 | 0.000000e+00 | 4.209250e+05 | Inf
1019.32/1019.39 c 1001s| 1310k| 1309k| 2196k| 1.7 |1322M| 227 | 0 |1800 |1707 |1800 | 278 | 603k| 15 |3757 | 0.000000e+00 | 4.209250e+05 | Inf
1026.62/1026.66 c 1008s| 1320k| 1319k| 2209k| 1.7 |1331M| 227 | 0 |1800 |1707 |1800 | 285 | 606k| 15 |3757 | 0.000000e+00 | 4.209250e+05 | Inf
1034.03/1034.01 c 1015s| 1330k| 1329k| 2223k| 1.7 |1341M| 227 | 0 |1800 |1707 |1800 | 274 | 610k| 15 |3775 | 0.000000e+00 | 4.209250e+05 | Inf
1041.33/1041.35 c 1022s| 1340k| 1339k| 2240k| 1.7 |1351M| 227 | 0 |1800 |1707 |1800 | 262 | 615k| 15 |3792 | 0.000000e+00 | 4.209250e+05 | Inf
1048.43/1048.44 c 1029s| 1350k| 1349k| 2254k| 1.7 |1361M| 227 | 14 |1800 |1709 |1800 | 285 | 619k| 17 |3792 | 0.000000e+00 | 4.209250e+05 | Inf
1055.73/1055.72 c 1036s| 1360k| 1359k| 2269k| 1.7 |1371M| 227 | 0 |1800 |1709 |1800 | 302 | 623k| 17 |3815 | 0.000000e+00 | 4.209250e+05 | Inf
1063.13/1063.14 c 1044s| 1370k| 1369k| 2286k| 1.7 |1381M| 227 | 0 |1800 |1708 |1800 | 316 | 628k| 17 |3830 | 0.000000e+00 | 4.209250e+05 | Inf
1070.73/1070.70 c 1051s| 1380k| 1379k| 2304k| 1.7 |1391M| 227 | 0 |1800 |1708 |1800 | 284 | 633k| 17 |3834 | 0.000000e+00 | 4.209250e+05 | Inf
1078.03/1078.04 c 1058s| 1390k| 1389k| 2318k| 1.7 |1401M| 227 | 0 |1800 |1708 |1800 | 268 | 637k| 17 |3856 | 0.000000e+00 | 4.209250e+05 | Inf
1085.42/1085.47 c 1066s| 1400k| 1399k| 2335k| 1.7 |1411M| 227 | 0 |1800 |1708 |1800 | 263 | 641k| 17 |3872 | 0.000000e+00 | 4.209250e+05 | Inf
1092.93/1092.90 c 1073s| 1410k| 1409k| 2352k| 1.7 |1421M| 227 | 0 |1800 |1707 |1800 | 282 | 646k| 17 |3885 | 0.000000e+00 | 4.209250e+05 | Inf
1100.23/1100.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1100.23/1100.25 c 1080s| 1420k| 1419k| 2367k| 1.7 |1431M| 227 | 0 |1800 |1707 |1800 | 289 | 650k| 17 |3894 | 0.000000e+00 | 4.209250e+05 | Inf
1107.73/1107.79 c 1087s| 1430k| 1429k| 2386k| 1.7 |1441M| 227 | 0 |1800 |1707 |1800 | 286 | 655k| 17 |3911 | 0.000000e+00 | 4.209250e+05 | Inf
1115.23/1115.22 c 1095s| 1440k| 1439k| 2399k| 1.7 |1451M| 227 | 0 |1800 |1707 |1800 | 322 | 659k| 17 |3927 | 0.000000e+00 | 4.209250e+05 | Inf
1122.53/1122.59 c 1102s| 1450k| 1449k| 2411k| 1.7 |1461M| 227 | 0 |1800 |1707 |1800 | 307 | 663k| 17 |3928 | 0.000000e+00 | 4.209250e+05 | Inf
1129.73/1129.72 c 1109s| 1460k| 1459k| 2419k| 1.7 |1471M| 227 | 0 |1800 |1707 |1800 | 284 | 665k| 17 |3946 | 0.000000e+00 | 4.209250e+05 | Inf
1136.93/1136.95 c 1116s| 1470k| 1469k| 2428k| 1.7 |1481M| 227 | 0 |1800 |1707 |1800 | 272 | 668k| 17 |3948 | 0.000000e+00 | 4.209250e+05 | Inf
1144.04/1144.04 c 1123s| 1480k| 1479k| 2434k| 1.6 |1491M| 227 | 0 |1800 |1707 |1800 | 279 | 670k| 17 |3948 | 0.000000e+00 | 4.209250e+05 | Inf
1151.13/1151.14 c 1130s| 1490k| 1489k| 2443k| 1.6 |1501M| 227 | 0 |1800 |1707 |1800 | 313 | 672k| 17 |3966 | 0.000000e+00 | 4.209250e+05 | Inf
1158.53/1158.52 c 1137s| 1500k| 1499k| 2458k| 1.6 |1511M| 227 | 0 |1800 |1707 |1800 | 241 | 676k| 17 |3972 | 0.000000e+00 | 4.209250e+05 | Inf
1165.73/1165.76 c 1144s| 1510k| 1509k| 2468k| 1.6 |1521M| 227 | 0 |1800 |1707 |1800 | 291 | 679k| 17 |3991 | 0.000000e+00 | 4.209250e+05 | Inf
1172.93/1172.91 c 1151s| 1520k| 1519k| 2475k| 1.6 |1531M| 227 | 0 |1800 |1707 |1800 | 282 | 681k| 17 |3991 | 0.000000e+00 | 4.209250e+05 | Inf
1180.13/1180.14 c 1158s| 1530k| 1529k| 2487k| 1.6 |1541M| 227 | 3 |1800 |1707 |1800 | 281 | 685k| 17 |4008 | 0.000000e+00 | 4.209250e+05 | Inf
1187.43/1187.44 c 1166s| 1540k| 1539k| 2499k| 1.6 |1551M| 227 | 0 |1800 |1707 |1800 | 295 | 688k| 17 |4009 | 0.000000e+00 | 4.209250e+05 | Inf
1194.43/1194.40 c 1172s| 1550k| 1549k| 2506k| 1.6 |1561M| 227 | 0 |1800 |1707 |1800 | 268 | 690k| 17 |4018 | 0.000000e+00 | 4.209250e+05 | Inf
1201.63/1201.64 c 1180s| 1560k| 1559k| 2516k| 1.6 |1570M| 227 | 0 |1800 |1707 |1800 | 308 | 693k| 17 |4027 | 0.000000e+00 | 4.209250e+05 | Inf
1208.93/1208.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1208.93/1208.93 c 1187s| 1570k| 1569k| 2529k| 1.6 |1580M| 227 | 0 |1800 |1707 |1800 | 248 | 696k| 17 |4039 | 0.000000e+00 | 4.209250e+05 | Inf
1216.23/1216.25 c 1194s| 1580k| 1579k| 2543k| 1.6 |1590M| 227 | 0 |1800 |1707 |1800 | 335 | 700k| 17 |4044 | 0.000000e+00 | 4.209250e+05 | Inf
1223.63/1223.64 c 1201s| 1590k| 1589k| 2556k| 1.6 |1600M| 227 | 0 |1800 |1707 |1800 | 312 | 704k| 17 |4061 | 0.000000e+00 | 4.209250e+05 | Inf
1230.94/1230.98 c 1208s| 1600k| 1599k| 2571k| 1.6 |1610M| 227 | 0 |1800 |1707 |1800 | 271 | 708k| 17 |4062 | 0.000000e+00 | 4.209250e+05 | Inf
1238.23/1238.25 c 1215s| 1610k| 1609k| 2584k| 1.6 |1620M| 227 | 0 |1800 |1707 |1800 | 255 | 711k| 17 |4077 | 0.000000e+00 | 4.209250e+05 | Inf
1245.34/1245.39 c 1222s| 1620k| 1619k| 2594k| 1.6 |1630M| 227 | 0 |1800 |1707 |1800 | 281 | 714k| 17 |4083 | 0.000000e+00 | 4.209250e+05 | Inf
1252.74/1252.71 c 1230s| 1630k| 1629k| 2607k| 1.6 |1640M| 227 | 0 |1800 |1707 |1800 | 292 | 718k| 17 |4097 | 0.000000e+00 | 4.209250e+05 | Inf
1259.94/1259.93 c 1237s| 1640k| 1639k| 2617k| 1.6 |1650M| 227 | 0 |1800 |1707 |1800 | 261 | 721k| 17 |4104 | 0.000000e+00 | 4.209250e+05 | Inf
1267.14/1267.13 c 1244s| 1650k| 1649k| 2627k| 1.6 |1660M| 227 | 0 |1800 |1707 |1800 | 272 | 724k| 17 |4115 | 0.000000e+00 | 4.209250e+05 | Inf
1274.24/1274.23 c 1251s| 1660k| 1659k| 2636k| 1.6 |1670M| 227 | 0 |1800 |1707 |1800 | 265 | 726k| 17 |4117 | 0.000000e+00 | 4.209250e+05 | Inf
1281.23/1281.27 c 1258s| 1670k| 1669k| 2648k| 1.6 |1680M| 227 | 10 |1800 |1707 |1800 | 315 | 730k| 17 |4137 | 0.000000e+00 | 4.209250e+05 | Inf
1288.43/1288.48 c 1265s| 1680k| 1679k| 2660k| 1.6 |1690M| 227 | 0 |1800 |1707 |1800 | 297 | 733k| 17 |4138 | 0.000000e+00 | 4.209250e+05 | Inf
1295.74/1295.78 c 1272s| 1690k| 1689k| 2672k| 1.6 |1700M| 227 | 7 |1800 |1707 |1800 | 293 | 737k| 17 |4158 | 0.000000e+00 | 4.209250e+05 | Inf
1302.94/1302.93 c 1279s| 1700k| 1699k| 2682k| 1.6 |1710M| 227 | 0 |1800 |1707 |1800 | 272 | 740k| 17 |4159 | 0.000000e+00 | 4.209250e+05 | Inf
1310.23/1310.21 c 1286s| 1710k| 1709k| 2697k| 1.6 |1720M| 227 | 0 |1800 |1707 |1800 | 278 | 744k| 17 |4181 | 0.000000e+00 | 4.209250e+05 | Inf
1317.54/1317.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1317.54/1317.55 c 1293s| 1720k| 1719k| 2711k| 1.6 |1730M| 227 | 0 |1800 |1707 |1800 | 261 | 748k| 17 |4193 | 0.000000e+00 | 4.209250e+05 | Inf
1324.74/1324.75 c 1300s| 1730k| 1729k| 2721k| 1.6 |1740M| 227 | 0 |1800 |1707 |1800 | 265 | 751k| 17 |4198 | 0.000000e+00 | 4.209250e+05 | Inf
1331.94/1331.93 c 1307s| 1740k| 1739k| 2730k| 1.6 |1750M| 227 | 0 |1800 |1707 |1800 | 285 | 753k| 17 |4198 | 0.000000e+00 | 4.209250e+05 | Inf
1339.04/1339.09 c 1314s| 1750k| 1749k| 2738k| 1.6 |1759M| 227 | 0 |1800 |1707 |1800 | 279 | 756k| 17 |4220 | 0.000000e+00 | 4.209250e+05 | Inf
1346.34/1346.37 c 1322s| 1760k| 1759k| 2750k| 1.6 |1769M| 227 | 0 |1800 |1707 |1800 | 287 | 759k| 17 |4221 | 0.000000e+00 | 4.209250e+05 | Inf
1353.54/1353.56 c 1329s| 1770k| 1769k| 2759k| 1.6 |1779M| 227 | 0 |1800 |1707 |1800 | 285 | 762k| 17 |4234 | 0.000000e+00 | 4.209250e+05 | Inf
1360.74/1360.71 c 1336s| 1780k| 1779k| 2767k| 1.6 |1789M| 227 | 0 |1800 |1707 |1800 | 301 | 764k| 17 |4240 | 0.000000e+00 | 4.209250e+05 | Inf
1367.84/1367.85 c 1343s| 1790k| 1789k| 2777k| 1.6 |1799M| 227 | 0 |1800 |1707 |1800 | 287 | 767k| 17 |4241 | 0.000000e+00 | 4.209250e+05 | Inf
1375.04/1375.04 c 1350s| 1800k| 1799k| 2788k| 1.5 |1809M| 227 | 0 |1800 |1709 |1800 | 287 | 770k| 19 |4260 | 0.000000e+00 | 4.209250e+05 | Inf
1382.34/1382.36 c 1357s| 1810k| 1809k| 2804k| 1.5 |1819M| 227 | 0 |1800 |1708 |1800 | 283 | 774k| 19 |4268 | 0.000000e+00 | 4.209250e+05 | Inf
1389.64/1389.62 c 1364s| 1820k| 1819k| 2816k| 1.5 |1829M| 227 | 0 |1800 |1708 |1800 | 311 | 778k| 19 |4280 | 0.000000e+00 | 4.209250e+05 | Inf
1396.84/1396.90 c 1371s| 1830k| 1829k| 2831k| 1.5 |1839M| 227 | 0 |1800 |1708 |1800 | 325 | 782k| 19 |4298 | 0.000000e+00 | 4.209250e+05 | Inf
1404.14/1404.11 c 1378s| 1840k| 1839k| 2843k| 1.5 |1849M| 227 | 0 |1800 |1707 |1800 | 269 | 785k| 19 |4300 | 0.000000e+00 | 4.209250e+05 | Inf
1411.24/1411.29 c 1385s| 1850k| 1849k| 2854k| 1.5 |1859M| 227 | 0 |1800 |1707 |1800 | 268 | 788k| 19 |4313 | 0.000000e+00 | 4.209250e+05 | Inf
1418.44/1418.48 c 1392s| 1860k| 1859k| 2865k| 1.5 |1869M| 227 | 0 |1800 |1707 |1800 | 330 | 792k| 19 |4317 | 0.000000e+00 | 4.209250e+05 | Inf
1425.65/1425.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1425.65/1425.65 c 1399s| 1870k| 1869k| 2877k| 1.5 |1879M| 227 | 0 |1800 |1707 |1800 | 269 | 795k| 19 |4335 | 0.000000e+00 | 4.209250e+05 | Inf
1432.84/1432.82 c 1406s| 1880k| 1879k| 2889k| 1.5 |1889M| 227 | 0 |1800 |1707 |1800 | 304 | 798k| 19 |4336 | 0.000000e+00 | 4.209250e+05 | Inf
1440.14/1440.11 c 1414s| 1890k| 1889k| 2903k| 1.5 |1899M| 227 | 0 |1800 |1707 |1800 | 302 | 802k| 19 |4354 | 0.000000e+00 | 4.209250e+05 | Inf
1447.24/1447.28 c 1421s| 1900k| 1899k| 2915k| 1.5 |1909M| 227 | 0 |1800 |1707 |1800 | 304 | 806k| 19 |4354 | 0.000000e+00 | 4.209250e+05 | Inf
1454.44/1454.42 c 1428s| 1910k| 1909k| 2926k| 1.5 |1919M| 227 | 0 |1800 |1707 |1800 | 255 | 809k| 19 |4371 | 0.000000e+00 | 4.209250e+05 | Inf
1461.64/1461.64 c 1435s| 1920k| 1919k| 2938k| 1.5 |1928M| 227 | 0 |1800 |1707 |1800 | 264 | 813k| 19 |4373 | 0.000000e+00 | 4.209250e+05 | Inf
1468.84/1468.81 c 1442s| 1930k| 1929k| 2950k| 1.5 |1938M| 227 | 0 |1800 |1707 |1800 | 257 | 816k| 19 |4392 | 0.000000e+00 | 4.209250e+05 | Inf
1475.94/1475.95 c 1449s| 1940k| 1939k| 2960k| 1.5 |1948M| 227 | 0 |1800 |1707 |1800 | 284 | 819k| 19 |4394 | 0.000000e+00 | 4.209250e+05 | Inf
1483.14/1483.13 c 1456s| 1950k| 1949k| 2971k| 1.5 |1958M| 227 | 0 |1800 |1707 |1800 | 280 | 822k| 19 |4409 | 0.000000e+00 | 4.209250e+05 | Inf
1490.24/1490.26 c 1463s| 1960k| 1959k| 2980k| 1.5 |1968M| 227 | 0 |1800 |1707 |1800 | 269 | 824k| 19 |4410 | 0.000000e+00 | 4.209250e+05 | Inf
1497.64/1497.61 c 1470s| 1970k| 1969k| 2996k| 1.5 |1978M| 227 | 0 |1800 |1707 |1800 | 287 | 829k| 19 |4425 | 0.000000e+00 | 4.209250e+05 | Inf
1504.74/1504.73 c 1477s| 1980k| 1979k| 3006k| 1.5 |1988M| 227 | 0 |1800 |1707 |1800 | 253 | 831k| 19 |4426 | 0.000000e+00 | 4.209250e+05 | Inf
1512.14/1512.13 c 1484s| 1990k| 1989k| 3020k| 1.5 |1998M| 227 | 0 |1800 |1707 |1800 | 277 | 836k| 19 |4443 | 0.000000e+00 | 4.209250e+05 | Inf
1519.35/1519.33 c 1491s| 2000k| 1999k| 3033k| 1.5 |2008M| 227 | 8 |1800 |1707 |1800 | 292 | 839k| 19 |4443 | 0.000000e+00 | 4.209250e+05 | Inf
1526.45/1526.42 c 1498s| 2010k| 2009k| 3045k| 1.5 |2018M| 227 | 0 |1800 |1707 |1800 | 285 | 843k| 19 |4461 | 0.000000e+00 | 4.209250e+05 | Inf
1533.64/1533.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1533.64/1533.70 c 1506s| 2020k| 2019k| 3059k| 1.5 |2028M| 227 | 12 |1800 |1707 |1800 | 299 | 847k| 19 |4465 | 0.000000e+00 | 4.209250e+05 | Inf
1540.94/1540.96 c 1513s| 2030k| 2029k| 3071k| 1.5 |2038M| 227 | 0 |1800 |1707 |1800 | 297 | 851k| 19 |4479 | 0.000000e+00 | 4.209250e+05 | Inf
1548.14/1548.11 c 1520s| 2040k| 2039k| 3081k| 1.5 |2048M| 227 | 0 |1800 |1707 |1800 | 273 | 853k| 19 |4479 | 0.000000e+00 | 4.209250e+05 | Inf
1555.35/1555.39 c 1527s| 2050k| 2049k| 3094k| 1.5 |2058M| 227 | 0 |1800 |1707 |1800 | 302 | 857k| 19 |4494 | 0.000000e+00 | 4.209250e+05 | Inf
1562.64/1562.60 c 1534s| 2060k| 2059k| 3105k| 1.5 |2067M| 227 | 0 |1800 |1707 |1800 | 266 | 860k| 19 |4495 | 0.000000e+00 | 4.209250e+05 | Inf
1569.75/1569.71 c 1541s| 2070k| 2069k| 3117k| 1.5 |2077M| 227 | 0 |1800 |1707 |1800 | 258 | 864k| 19 |4513 | 0.000000e+00 | 4.209250e+05 | Inf
1576.84/1576.88 c 1548s| 2080k| 2079k| 3127k| 1.5 |2087M| 227 | 0 |1800 |1707 |1800 | 272 | 867k| 19 |4513 | 0.000000e+00 | 4.209250e+05 | Inf
1584.05/1584.08 c 1555s| 2090k| 2089k| 3139k| 1.5 |2097M| 227 | 0 |1800 |1707 |1800 | 276 | 870k| 19 |4526 | 0.000000e+00 | 4.209250e+05 | Inf
1591.35/1591.33 c 1562s| 2100k| 2099k| 3153k| 1.5 |2107M| 227 | 6 |1800 |1707 |1800 | 248 | 874k| 19 |4526 | 0.000000e+00 | 4.209250e+05 | Inf
1598.84/1598.82 c 1569s| 2110k| 2109k| 3173k| 1.5 |2117M| 227 | 0 |1800 |1707 |1800 | 300 | 880k| 19 |4539 | 0.000000e+00 | 4.209250e+05 | Inf
1606.15/1606.13 c 1577s| 2120k| 2119k| 3191k| 1.5 |2127M| 227 | 0 |1800 |1707 |1800 | 267 | 885k| 19 |4554 | 0.000000e+00 | 4.209250e+05 | Inf
1613.15/1613.12 c 1584s| 2130k| 2129k| 3197k| 1.5 |2137M| 227 | 0 |1800 |1707 |1800 | 278 | 887k| 19 |4554 | 0.000000e+00 | 4.209250e+05 | Inf
1620.45/1620.46 c 1591s| 2140k| 2139k| 3213k| 1.5 |2147M| 227 | 0 |1800 |1707 |1800 | 278 | 892k| 19 |4571 | 0.000000e+00 | 4.209250e+05 | Inf
1627.85/1627.81 c 1598s| 2150k| 2149k| 3230k| 1.5 |2157M| 227 | 16 |1800 |1707 |1800 | 231 | 897k| 19 |4584 | 0.000000e+00 | 4.209250e+05 | Inf
1635.15/1635.18 c 1605s| 2160k| 2159k| 3248k| 1.5 |2167M| 227 | 0 |1800 |1707 |1800 | 289 | 902k| 19 |4588 | 0.000000e+00 | 4.209250e+05 | Inf
1642.36/1642.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1642.36/1642.31 c 1612s| 2170k| 2169k| 3259k| 1.5 |2177M| 227 | 0 |1800 |1707 |1800 | 269 | 905k| 19 |4601 | 0.000000e+00 | 4.209250e+05 | Inf
1649.45/1649.40 c 1619s| 2180k| 2179k| 3269k| 1.5 |2187M| 229 | 2 |1800 |1707 |1800 | 284 | 908k| 19 |4602 | 0.000000e+00 | 4.209250e+05 | Inf
1656.66/1656.61 c 1626s| 2190k| 2189k| 3281k| 1.5 |2197M| 229 | 20 |1800 |1707 |1800 | 273 | 912k| 19 |4619 | 0.000000e+00 | 4.209250e+05 | Inf
1663.55/1663.59 c 1633s| 2200k| 2199k| 3290k| 1.5 |2206M| 229 | 0 |1800 |1707 |1800 | 292 | 914k| 19 |4619 | 0.000000e+00 | 4.209250e+05 | Inf
1670.65/1670.61 c 1640s| 2210k| 2209k| 3296k| 1.5 |2216M| 229 | 0 |1800 |1707 |1800 | 273 | 916k| 19 |4619 | 0.000000e+00 | 4.209250e+05 | Inf
1677.75/1677.76 c 1647s| 2220k| 2219k| 3309k| 1.5 |2226M| 229 | 0 |1800 |1707 |1800 | 297 | 920k| 19 |4636 | 0.000000e+00 | 4.209250e+05 | Inf
1684.95/1684.96 c 1654s| 2230k| 2229k| 3321k| 1.5 |2236M| 229 | 0 |1800 |1707 |1800 | 265 | 923k| 19 |4636 | 0.000000e+00 | 4.209250e+05 | Inf
1692.25/1692.29 c 1661s| 2240k| 2239k| 3334k| 1.5 |2246M| 229 | 0 |1800 |1707 |1800 | 300 | 927k| 19 |4653 | 0.000000e+00 | 4.209250e+05 | Inf
1699.65/1699.65 c 1668s| 2250k| 2249k| 3350k| 1.5 |2256M| 229 | 0 |1800 |1707 |1800 | 295 | 931k| 19 |4670 | 0.000000e+00 | 4.209250e+05 | Inf
1706.85/1706.85 c 1675s| 2260k| 2259k| 3362k| 1.5 |2266M| 229 | 0 |1800 |1707 |1800 | 295 | 935k| 19 |4671 | 0.000000e+00 | 4.209250e+05 | Inf
1713.96/1713.95 c 1682s| 2270k| 2269k| 3371k| 1.5 |2276M| 229 | 0 |1800 |1707 |1800 | 298 | 937k| 19 |4683 | 0.000000e+00 | 4.209250e+05 | Inf
1721.15/1721.18 c 1690s| 2280k| 2279k| 3384k| 1.5 |2286M| 229 | 0 |1800 |1707 |1800 | 309 | 941k| 19 |4691 | 0.000000e+00 | 4.209250e+05 | Inf
1728.45/1728.47 c 1697s| 2290k| 2289k| 3398k| 1.5 |2296M| 229 | 0 |1800 |1707 |1800 | 283 | 945k| 19 |4704 | 0.000000e+00 | 4.209250e+05 | Inf
1735.46/1735.48 c 1704s| 2300k| 2299k| 3407k| 1.5 |2306M| 229 | 0 |1800 |1707 |1800 | 311 | 948k| 19 |4709 | 0.000000e+00 | 4.209250e+05 | Inf
1742.25/1742.30 c 1710s| 2310k| 2309k| 3414k| 1.5 |2315M| 229 | 0 |1800 |1707 |1800 | 262 | 950k| 19 |4709 | 0.000000e+00 | 4.209250e+05 | Inf
1749.25/1749.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1749.25/1749.28 c 1717s| 2320k| 2319k| 3423k| 1.5 |2325M| 229 | 0 |1800 |1707 |1800 | 272 | 952k| 19 |4716 | 0.000000e+00 | 4.209250e+05 | Inf
1756.66/1756.64 c 1724s| 2330k| 2329k| 3438k| 1.5 |2335M| 229 | 0 |1800 |1707 |1800 | 280 | 956k| 19 |4729 | 0.000000e+00 | 4.209250e+05 | Inf
1763.95/1763.97 c 1732s| 2340k| 2339k| 3452k| 1.5 |2345M| 229 | 11 |1800 |1707 |1800 | 284 | 960k| 19 |4748 | 0.000000e+00 | 4.209250e+05 | Inf
1771.25/1771.23 c 1739s| 2350k| 2349k| 3466k| 1.5 |2355M| 229 | 0 |1800 |1707 |1800 | 268 | 964k| 19 |4749 | 0.000000e+00 | 4.209250e+05 | Inf
1778.46/1778.47 c 1746s| 2360k| 2359k| 3479k| 1.5 |2365M| 229 | 2 |1800 |1707 |1800 | 294 | 968k| 19 |4767 | 0.000000e+00 | 4.209250e+05 | Inf
1785.66/1785.60 c 1753s| 2370k| 2369k| 3489k| 1.5 |2375M| 229 | 0 |1800 |1707 |1800 | 267 | 971k| 19 |4768 | 0.000000e+00 | 4.209250e+05 | Inf
1792.96/1792.92 c 1760s| 2380k| 2379k| 3502k| 1.5 |2385M| 235 | 0 |1800 |1707 |1800 | 303 | 974k| 19 |4779 | 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.95
1800.06/1800.00 c Solving Nodes : 2389958
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.95
1800.06/1800.01 c Original Problem :
1800.06/1800.01 c Problem name : HOME/instance-2700332-1278534779.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-2700332-1278534779.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, 1713 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 2624445 0 0 0 0 0 669194
1800.06/1800.01 c indicator : 850 0 3245672 2289848 0 0 2451621 0 0 0
1800.06/1800.01 c linear : 850 6 3245672 2289848 0 7 961812 978069 0 0
1800.06/1800.01 c logicor : 0+ 0 106000 0 0 0 24200 0 0 0
1800.06/1800.01 c countsols : 0 0 0 2055354 0 0 0 0 0 0
1800.06/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.01 c integral : 8.15 0.00 0.00 8.15 0.00
1800.06/1800.01 c indicator : 156.73 0.10 32.63 124.00 0.00
1800.06/1800.01 c linear : 32.77 0.00 13.30 19.47 0.00
1800.06/1800.01 c logicor : 0.20 0.00 0.20 0.00 0.00
1800.06/1800.01 c countsols : 0.41 0.00 0.00 0.41 0.00
1800.06/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.01 c vbounds : 0.80 2 0 0
1800.06/1800.01 c rootredcost : 0.75 0 0 0
1800.06/1800.01 c pseudoobj : 51.87 3245472 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 7 7 7 8.0 12 3.7 -
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 : - - - 19 5.3 - - -
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 - - 12 - (maximal pool size: 36)
1800.06/1800.01 c redcost : 94.86 2623909 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.01 5 0 0 41 0
1800.06/1800.01 c strongcg : 0.01 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.03 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 : 7.22 334597 0 0 0 0 669194
1800.06/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.01 c inference : 134.31 2055354 0 0 0 0 4110708
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.02 0 0
1800.06/1800.01 c oneopt : 1.60 1 0
1800.06/1800.01 c intshifting : 0.03 8 0
1800.06/1800.01 c crossover : 0.81 13 0
1800.06/1800.01 c guideddiving : 11.00 20934 0
1800.06/1800.01 c pscostdiving : 11.21 20934 0
1800.06/1800.01 c linesearchdiving : 11.01 20935 0
1800.06/1800.01 c coefdiving : 11.86 20935 0
1800.06/1800.01 c fracdiving : 11.36 20935 0
1800.06/1800.01 c veclendiving : 11.27 20935 0
1800.06/1800.01 c objpscostdiving : 11.59 20931 0
1800.06/1800.01 c rootsoldiving : 11.95 20931 0
1800.06/1800.01 c trivial : 0.00 2 1
1800.06/1800.01 c simplerounding : 0.97 334439 0
1800.06/1800.01 c zirounding : 0.60 1000 0
1800.06/1800.01 c rounding : 1.04 8091 0
1800.06/1800.01 c shifting : 1.22 2545 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.01 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.59 0 0
1800.06/1800.01 c trysol : 1.15 23966 99
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 : 725.31 701978 3513544 5.01 4844.20
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.03 50 334 6.68 11133.33
1800.06/1800.01 c strong branching : 4.91 4787 68165 14.24 13882.89
1800.06/1800.01 c (at root node) : - 33 4694 142.24 -
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 : 2389958
1800.06/1800.01 c nodes (total) : 2389958
1800.06/1800.01 c nodes left : 2389945
1800.06/1800.01 c max depth : 235
1800.06/1800.01 c max depth (total): 235
1800.06/1800.01 c backtracks : 20959 (0.9%)
1800.06/1800.01 c delayed cutoffs : 0
1800.06/1800.01 c repropagations : 43 (20 domain reductions, 0 cutoffs)
1800.06/1800.01 c avg switch length: 2.31
1800.06/1800.01 c switching time : 73.65
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 : 260
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700332-1278534779/watcher-2700332-1278534779 -o /tmp/evaluation-result-2700332-1278534779/solver-2700332-1278534779 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700332-1278534779.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.93 2.65 2.21 4/178 19067
/proc/meminfo: memFree=28839492/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=9280 CPUtime=0
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 1645 0 0 0 0 0 0 0 25 0 1 0 21690436 9502720 1565 4089446400 4194304 8223781 140733721035648 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19067/statm: 2320 1565 369 984 0 1333 0
[startup+0.0866291 s]
/proc/loadavg: 1.93 2.65 2.21 4/178 19067
/proc/meminfo: memFree=28839492/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=23112 CPUtime=0.07
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 6099 0 0 0 7 0 0 0 25 0 1 0 21690436 23666688 4873 4089446400 4194304 8223781 140733721035648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19067/statm: 5778 4873 563 984 0 4791 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 23112
[startup+0.100625 s]
/proc/loadavg: 1.93 2.65 2.21 4/178 19067
/proc/meminfo: memFree=28839492/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=23400 CPUtime=0.09
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 6146 0 0 0 9 0 0 0 25 0 1 0 21690436 23961600 4920 4089446400 4194304 8223781 140733721035648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19067/statm: 5850 4920 563 984 0 4863 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23400
[startup+0.300583 s]
/proc/loadavg: 1.93 2.65 2.21 4/178 19067
/proc/meminfo: memFree=28839492/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=23464 CPUtime=0.29
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 9298 0 0 0 28 1 0 0 25 0 1 0 21690436 24027136 4991 4089446400 4194304 8223781 140733721035648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19067/statm: 5866 4991 578 984 0 4879 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23464
[startup+0.700507 s]
/proc/loadavg: 1.93 2.65 2.21 4/178 19067
/proc/meminfo: memFree=28839492/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=23464 CPUtime=0.69
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 9298 0 0 0 67 2 0 0 25 0 1 0 21690436 24027136 4991 4089446400 4194304 8223781 140733721035648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19067/statm: 5866 4991 578 984 0 4879 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23464
[startup+1.50035 s]
/proc/loadavg: 1.93 2.65 2.21 3/179 19068
/proc/meminfo: memFree=28818904/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=23464 CPUtime=1.49
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 9298 0 0 0 146 3 0 0 25 0 1 0 21690436 24027136 4991 4089446400 4194304 8223781 140733721035648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19067/statm: 5866 4991 578 984 0 4879 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23464
[startup+3.10105 s]
/proc/loadavg: 1.93 2.65 2.21 3/179 19068
/proc/meminfo: memFree=28817788/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=27332 CPUtime=3.09
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 16317 0 0 0 302 7 0 0 25 0 1 0 21690436 27987968 5728 4089446400 4194304 8223781 140733721035648 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19067/statm: 6833 5728 582 984 0 5846 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27332
[startup+6.30044 s]
/proc/loadavg: 1.93 2.64 2.21 3/179 19068
/proc/meminfo: memFree=28807248/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=32216 CPUtime=6.29
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 23929 0 0 0 614 15 0 0 25 0 1 0 21690436 32989184 7099 4089446400 4194304 8223781 140733721035648 18446744073709551615 6446774 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19067/statm: 8054 7099 582 984 0 7067 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32216
[startup+12.7002 s]
/proc/loadavg: 1.94 2.63 2.20 3/179 19068
/proc/meminfo: memFree=28790896/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=39260 CPUtime=12.69
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 28836 0 0 0 1242 27 0 0 25 0 1 0 21690436 40202240 8896 4089446400 4194304 8223781 140733721035648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19067/statm: 9815 8896 582 984 0 8828 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39260
[startup+25.5007 s]
/proc/loadavg: 1.95 2.60 2.20 3/179 19069
/proc/meminfo: memFree=28761260/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=57920 CPUtime=25.49
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 36654 0 0 0 2497 52 0 0 25 0 1 0 21690436 59310080 13606 4089446400 4194304 8223781 140733721035648 18446744073709551615 4342752 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19067/statm: 14519 13617 582 984 0 13532 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 57920
[startup+51.1008 s]
/proc/loadavg: 1.97 2.55 2.19 3/179 19069
/proc/meminfo: memFree=28698232/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=85108 CPUtime=51.09
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 49829 0 0 0 5010 99 0 0 25 0 1 0 21690436 87150592 20529 4089446400 4194304 8223781 140733721035648 18446744073709551615 6482569 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19067/statm: 21277 20529 582 984 0 20290 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 85108
[startup+102.306 s]
/proc/loadavg: 1.98 2.46 2.18 3/179 19071
/proc/meminfo: memFree=28573328/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=146572 CPUtime=102.3
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 68047 0 0 0 10030 200 0 0 25 0 1 0 21690436 150089728 35615 4089446400 4194304 8223781 140733721035648 18446744073709551615 6591806 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19067/statm: 36643 35615 586 984 0 35656 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 146572
[startup+162.3 s]
/proc/loadavg: 1.99 2.38 2.17 3/179 19072
/proc/meminfo: memFree=28427812/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=218076 CPUtime=162.29
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 86211 0 0 0 15922 307 0 0 25 0 1 0 21690436 223309824 53778 4089446400 4194304 8223781 140733721035648 18446744073709551615 6446877 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19067/statm: 54519 53778 586 984 0 53532 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 218076
[startup+222.301 s]
/proc/loadavg: 1.99 2.30 2.16 3/179 19074
/proc/meminfo: memFree=28274368/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=292592 CPUtime=222.29
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 107192 0 0 0 21814 415 0 0 25 0 1 0 21690436 299614208 71639 4089446400 4194304 8223781 140733721035648 18446744073709551615 6003129 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19067/statm: 73148 71639 586 984 0 72161 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 292592
[startup+282.301 s]
/proc/loadavg: 1.99 2.25 2.14 3/179 19075
/proc/meminfo: memFree=28129228/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=362236 CPUtime=282.29
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 124872 0 0 0 27711 518 0 0 25 0 1 0 21690436 370929664 89319 4089446400 4194304 8223781 140733721035648 18446744073709551615 4561255 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19067/statm: 90559 89319 586 984 0 89572 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 362236
[startup+342.301 s]
/proc/loadavg: 1.99 2.20 2.13 3/179 19077
/proc/meminfo: memFree=27982084/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=431308 CPUtime=342.3
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 142454 0 0 0 33603 627 0 0 25 0 1 0 21690436 441659392 106891 4089446400 4194304 8223781 140733721035648 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19067/statm: 107827 106891 586 984 0 106840 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 431308
[startup+402.301 s]
/proc/loadavg: 1.99 2.16 2.12 3/179 19079
/proc/meminfo: memFree=27828384/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=517688 CPUtime=402.3
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 165438 0 0 0 39492 738 0 0 25 0 1 0 21690436 530112512 126726 4089446400 4194304 8223781 140733721035648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19067/statm: 129422 126726 586 984 0 128435 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 517688
[startup+462.3 s]
/proc/loadavg: 1.99 2.13 2.11 3/179 19080
/proc/meminfo: memFree=27672604/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=597208 CPUtime=462.3
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 185511 0 0 0 45380 850 0 0 25 0 1 0 21690436 611540992 146797 4089446400 4194304 8223781 140733721035648 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19067/statm: 149302 146827 586 984 0 148315 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 597208
[startup+522.301 s]
/proc/loadavg: 2.03 2.12 2.10 3/179 19082
/proc/meminfo: memFree=27511856/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=677952 CPUtime=522.31
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 206141 0 0 0 51269 962 0 0 25 0 1 0 21690436 694222848 167425 4089446400 4194304 8223781 140733721035648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19067/statm: 169488 167425 586 984 0 168501 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 677952
[startup+582.301 s]
/proc/loadavg: 2.01 2.09 2.09 3/179 19083
/proc/meminfo: memFree=27353544/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=759496 CPUtime=582.31
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 226849 0 0 0 57160 1071 0 0 25 0 1 0 21690436 777723904 188131 4089446400 4194304 8223781 140733721035648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19067/statm: 189874 188131 586 984 0 188887 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 759496
[startup+642.3 s]
/proc/loadavg: 2.00 2.07 2.08 3/179 19085
/proc/meminfo: memFree=27197368/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=834712 CPUtime=642.32
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 245953 0 0 0 63050 1182 0 0 25 0 1 0 21690436 854745088 207235 4089446400 4194304 8223781 140733721035648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19067/statm: 208678 207235 586 984 0 207691 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 834712
[startup+702.301 s]
################
# More data... #
################
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 370614 0 0 0 98389 1843 0 0 25 0 1 0 21690436 1361489920 328784 4089446400 4194304 8223781 140733721035648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19067/statm: 332395 328784 586 984 0 331408 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1329580
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/179 19124
/proc/meminfo: memFree=28376120/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=1411520 CPUtime=1062.32
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 391425 0 0 0 104279 1953 0 0 25 0 1 0 21690436 1445396480 349595 4089446400 4194304 8223781 140733721035648 18446744073709551615 6003293 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19067/statm: 352880 349595 586 984 0 351893 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1411520
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/179 19126
/proc/meminfo: memFree=28248356/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=1492804 CPUtime=1122.33
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 412048 0 0 0 110169 2064 0 0 25 0 1 0 21690436 1528631296 370217 4089446400 4194304 8223781 140733721035648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19067/statm: 373201 370217 586 984 0 372214 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1492804
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 19127
/proc/meminfo: memFree=28118572/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=1572572 CPUtime=1182.33
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 432325 0 0 0 116059 2174 0 0 25 0 1 0 21690436 1610313728 390494 4089446400 4194304 8223781 140733721035648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19067/statm: 393143 390494 586 984 0 392156 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1572572
[startup+1242.3 s]
/proc/loadavg: 2.06 2.01 2.04 3/179 19129
/proc/meminfo: memFree=27988052/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=1655604 CPUtime=1242.33
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 453392 0 0 0 121943 2290 0 0 25 0 1 0 21690436 1695338496 411561 4089446400 4194304 8223781 140733721035648 18446744073709551615 6446774 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19067/statm: 413901 411561 586 984 0 412914 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1655604
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.03 3/179 19131
/proc/meminfo: memFree=27856556/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=1736784 CPUtime=1302.34
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 477122 0 0 0 127830 2404 0 0 25 0 1 0 21690436 1778466816 432188 4089446400 4194304 8223781 140733721035648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19067/statm: 434196 432188 586 984 0 433209 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1736784
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 19132
/proc/meminfo: memFree=27730904/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=1816260 CPUtime=1362.33
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 497318 0 0 0 133723 2510 0 0 25 0 1 0 21690436 1859850240 452384 4089446400 4194304 8223781 140733721035648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19067/statm: 454065 452384 586 984 0 453078 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1816260
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 19134
/proc/meminfo: memFree=27601516/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=1898876 CPUtime=1422.35
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 518281 0 0 0 139618 2617 0 0 25 0 1 0 21690436 1944449024 473347 4089446400 4194304 8223781 140733721035648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19067/statm: 474719 473347 586 984 0 473732 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1898876
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 19135
/proc/meminfo: memFree=27472260/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=1978980 CPUtime=1482.34
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 538637 0 0 0 145509 2725 0 0 25 0 1 0 21690436 2026475520 493703 4089446400 4194304 8223781 140733721035648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19067/statm: 494745 493703 586 984 0 493758 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1978980
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 19137
/proc/meminfo: memFree=27339900/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=2094344 CPUtime=1542.34
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 559615 0 0 0 151394 2840 0 0 25 0 1 0 21690436 2144608256 514681 4089446400 4194304 8223781 140733721035648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19067/statm: 523586 514681 586 984 0 522599 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 2094344
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19139
/proc/meminfo: memFree=27216196/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=2173288 CPUtime=1602.34
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 579670 0 0 0 157288 2946 0 0 25 0 1 0 21690436 2225446912 534736 4089446400 4194304 8223781 140733721035648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19067/statm: 543322 534736 586 984 0 542335 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2173288
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19140
/proc/meminfo: memFree=27084076/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=2257052 CPUtime=1662.35
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 600934 0 0 0 163176 3059 0 0 25 0 1 0 21690436 2311221248 556000 4089446400 4194304 8223781 140733721035648 18446744073709551615 6446989 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19067/statm: 564263 556000 586 984 0 563276 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 2257052
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19151
/proc/meminfo: memFree=26956340/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=2335944 CPUtime=1722.35
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 621004 0 0 0 169064 3171 0 0 25 0 1 0 21690436 2392006656 576070 4089446400 4194304 8223781 140733721035648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19067/statm: 583986 576070 586 984 0 582999 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 2335944
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19152
/proc/meminfo: memFree=26827192/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=2416888 CPUtime=1782.35
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 641554 0 0 0 174959 3276 0 0 25 0 1 0 21690436 2474893312 596618 4089446400 4194304 8223781 140733721035648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19067/statm: 604222 596618 586 984 0 603235 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 2416888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19153
/proc/meminfo: memFree=26784152/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=2443264 CPUtime=1800.06
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 648234 0 0 0 176695 3311 0 0 25 0 1 0 21690436 2501902336 603298 4089446400 4194304 8223781 140733721035648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19067/statm: 610816 603298 586 984 0 609829 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2443264
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -19067
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 19154
/proc/meminfo: memFree=26784264/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=2443264 CPUtime=1801.46
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 648236 0 0 0 176835 3311 0 0 19 0 1 0 21690436 2501902336 603300 4089446400 4194304 8223781 140733721035648 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19067/statm: 610816 603300 588 984 0 609829 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 2443264
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19154
/proc/meminfo: memFree=26783024/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=2443264 CPUtime=1801.87
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 648236 0 0 0 176876 3311 0 0 20 0 1 0 21690436 2501902336 603300 4089446400 4194304 8223781 140733721035648 18446744073709551615 6206544 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19067/statm: 610816 603300 588 984 0 609829 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 2443264
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19154
/proc/meminfo: memFree=26783024/32950928 swapFree=67111528/67111528
[pid=19067] ppid=19065 vsize=2442240 CPUtime=1802.06
/proc/19067/stat : 19067 (pbscip.linux.x8) R 19065 19067 18287 0 -1 4202496 648236 0 0 0 176895 3311 0 0 21 0 1 0 21690436 2500853760 603044 4089446400 4194304 8223781 140733721035648 18446744073709551615 6206544 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19067/statm: 610560 603044 588 984 0 609573 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 2442240
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.09
CPU time (s): 1802.15
CPU user time (s): 1768.96
CPU system time (s): 33.19
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2443264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1768.96
system time used= 33.19
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 648236
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= 4042
runsolver used 2.39064 second user time and 5.83111 second system time
The end
Begin job on node148 at 2010-07-07 22:32:59
IDJOB=2700332
IDBENCH=79419
IDSOLVER=1204
FILE ID=node148/2700332-1278534779
PBS_JOBID= 11239181
Free space on /tmp= 73720 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-jnh13_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-2700332-1278534779/watcher-2700332-1278534779 -o /tmp/evaluation-result-2700332-1278534779/solver-2700332-1278534779 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700332-1278534779.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3100ea9ba7746ae86daacced189e255b
RANDOM SEED=2062217385
node148.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.825
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.65
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.825
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.825
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.825
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.77
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.825
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.82
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.825
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.825
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.83
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.825
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 28840144 kB
Buffers: 139820 kB
Cached: 2693592 kB
SwapCached: 0 kB
Active: 2070132 kB
Inactive: 1881388 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 28840144 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4716 kB
Writeback: 0 kB
AnonPages: 1118172 kB
Mapped: 16752 kB
Slab: 91992 kB
PageTables: 7344 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 1280848 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= 73716 MiB
End job on node148 at 2010-07-07 23:03:01