0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3690977-1338020545.opb>
0.00/0.07 c original problem has 3296 variables (3296 bin, 0 int, 0 impl, 0 cont) and 6384 constraints
0.00/0.07 c problem read in 0.07
0.09/0.14 c presolving:
0.09/0.19 c (round 1) 1 del vars, 1 del conss, 0 add conss, 1 chg bounds, 91 chg sides, 470 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.18/0.22 c (round 2) 1 del vars, 2879 del conss, 0 add conss, 1 chg bounds, 91 chg sides, 470 chg coeffs, 320 upgd conss, 0 impls, 0 clqs
0.18/0.25 c (round 3) 1 del vars, 2879 del conss, 6 add conss, 1 chg bounds, 150 chg sides, 841 chg coeffs, 627 upgd conss, 310 impls, 6 clqs
0.18/0.26 c (round 4) 1 del vars, 2879 del conss, 6 add conss, 1 chg bounds, 200 chg sides, 905 chg coeffs, 627 upgd conss, 310 impls, 6 clqs
0.18/0.28 c (0.3s) probing: 51/3295 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.18/0.28 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.18/0.29 c presolving (5 rounds):
0.18/0.29 c 1 deleted vars, 2879 deleted constraints, 6 added constraints, 1 tightened bounds, 0 added holes, 200 changed sides, 905 changed coefficients
0.18/0.29 c 310 implications, 6 cliques
0.18/0.29 c presolved problem has 3295 variables (3295 bin, 0 int, 0 impl, 0 cont) and 3511 constraints
0.18/0.29 c 627 constraints of type <knapsack>
0.18/0.29 c 6 constraints of type <setppc>
0.18/0.29 c 2878 constraints of type <linear>
0.18/0.29 c transformed objective value is always integral (scale: 1)
0.18/0.29 c Presolving Time: 0.20
0.18/0.29 c - non default parameters ----------------------------------------------------------------------
0.18/0.29 c # SCIP version 2.1.1.4
0.18/0.29 c
0.18/0.29 c # maximal time in seconds to run
0.18/0.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.29 c limits/time = 1797
0.18/0.29 c
0.18/0.29 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.18/0.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.29 c limits/memory = 13950
0.18/0.29 c
0.18/0.29 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.18/0.29 c # [type: int, range: [1,2], default: 1]
0.18/0.29 c timing/clocktype = 2
0.18/0.29 c
0.18/0.29 c # belongs reading time to solving time?
0.18/0.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.18/0.29 c timing/reading = TRUE
0.18/0.29 c
0.18/0.29 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.18/0.29 c # [type: int, range: [-1,2147483647], default: -1]
0.18/0.29 c separating/rapidlearning/freq = 0
0.18/0.29 c
0.18/0.29 c -----------------------------------------------------------------------------------------------
0.18/0.29 c start solving
0.18/0.29 c
0.49/0.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.54 c 0.5s| 1 | 0 | 19 | - | 29M| 0 | 261 |3295 |3532 |3295 |3511 | 0 | 21 | 0 | 9.100000e+01 | -- | Inf
11.49/11.59 c 11.6s| 1 | 0 | 7175 | - | 31M| 0 | 501 |3295 |5505 |3295 |3684 | 173 | 21 | 0 | 9.100000e+01 | -- | Inf
12.28/12.39 c 12.4s| 1 | 0 | 8613 | - | 32M| 0 | 756 |3295 |5505 |3295 |3866 | 355 | 21 | 0 | 9.100000e+01 | -- | Inf
13.39/13.45 c 13.5s| 1 | 0 | 10896 | - | 33M| 0 | 786 |3295 |5505 |3295 |4088 | 577 | 21 | 0 | 9.100000e+01 | -- | Inf
14.78/14.82 c 14.8s| 1 | 0 | 13101 | - | 34M| 0 | 829 |3295 |5505 |3295 |4288 | 777 | 21 | 0 | 9.100000e+01 | -- | Inf
16.49/16.51 c 16.5s| 1 | 0 | 15549 | - | 34M| 0 | 783 |3295 |5505 |3295 |4471 | 960 | 21 | 0 | 9.100000e+01 | -- | Inf
18.39/18.45 c 18.5s| 1 | 0 | 18298 | - | 35M| 0 | 861 |3295 |5505 |3295 |4652 |1141 | 21 | 0 | 9.100000e+01 | -- | Inf
22.89/22.99 c 23.0s| 1 | 2 | 18298 | - | 35M| 0 | 861 |3295 |5505 |3295 |4652 |1141 | 21 | 13 | 9.100000e+01 | -- | Inf
81.28/81.38 c 81.4s| 100 | 86 |231522 |2153.8 | 36M| 37 | 706 |3295 |5688 |3295 |3776 |1141 | 204 | 210 | 9.100000e+01 | -- | Inf
86.17/86.26 c 86.3s| 200 | 143 |252765 |1178.2 | 37M| 57 | 599 |3295 |5794 |3295 |3776 |1141 | 310 | 252 | 9.100000e+01 | -- | Inf
94.98/95.07 c 95.1s| 300 | 171 |295545 | 927.2 | 37M| 57 | 599 |3295 |5921 |3295 |3776 |1141 | 437 | 276 | 9.100000e+01 | -- | Inf
103.67/103.75 c 104s| 400 | 222 |339840 | 805.9 | 38M| 57 | 822 |3295 |6061 |3295 |3776 |1141 | 577 | 314 | 9.100000e+01 | -- | Inf
107.98/108.00 c 108s| 500 | 278 |359298 | 683.4 | 39M| 57 | 536 |3295 |6164 |3295 |3776 |1141 | 680 | 347 | 9.100000e+01 | -- | Inf
111.97/112.05 c 112s| 600 | 328 |379042 | 602.2 | 39M| 57 | 426 |3295 |6255 |3295 |3776 |1141 | 771 | 371 | 9.100000e+01 | -- | Inf
116.17/116.25 c 116s| 700 | 365 |399040 | 544.7 | 40M| 57 | - |3295 |6388 |3295 |3776 |1141 | 904 | 400 | 9.100000e+01 | -- | Inf
119.67/119.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.67/119.72 c 120s| 800 | 420 |411377 | 492.0 | 40M| 57 | 596 |3295 |6473 |3295 |3776 |1141 | 989 | 426 | 9.100000e+01 | -- | Inf
123.37/123.48 c 123s| 900 | 493 |430513 | 458.5 | 41M| 57 | 601 |3295 |6508 |3295 |3776 |1141 |1024 | 438 | 9.100000e+01 | -- | Inf
129.07/129.14 c 129s| 1000 | 547 |458500 | 440.6 | 41M| 57 | 631 |3295 |6634 |3295 |3776 |1141 |1150 | 469 | 9.100000e+01 | -- | Inf
136.17/136.21 c 136s| 1100 | 606 |488107 | 427.5 | 42M| 57 | 633 |3295 |6765 |3295 |3776 |1141 |1281 | 512 | 9.100000e+01 | -- | Inf
140.47/140.57 c 141s| 1200 | 663 |509762 | 409.9 | 42M| 57 | 680 |3295 |6844 |3295 |3776 |1141 |1360 | 542 | 9.100000e+01 | -- | Inf
146.36/146.45 c 146s| 1300 | 715 |541389 | 402.7 | 42M| 57 | 601 |3295 |6991 |3295 |3776 |1141 |1507 | 584 | 9.100000e+01 | -- | Inf
153.56/153.61 c 154s| 1400 | 770 |577287 | 399.6 | 43M| 57 | 787 |3295 |7110 |3295 |3776 |1141 |1626 | 642 | 9.100000e+01 | -- | Inf
166.46/166.59 c 167s| 1500 | 833 |646275 | 418.9 | 44M| 57 | 802 |3295 |7636 |3295 |3776 |1141 |2158 | 666 | 9.100000e+01 | -- | Inf
171.76/171.85 c 172s| 1600 | 887 |675947 | 411.3 | 44M| 57 | 805 |3295 |7748 |3295 |3776 |1141 |2277 | 687 | 9.100000e+01 | -- | Inf
177.75/177.81 c 178s| 1700 | 956 |707832 | 405.8 | 45M| 57 | 684 |3295 |7879 |3295 |3776 |1141 |2436 | 735 | 9.100000e+01 | -- | Inf
183.35/183.48 c 183s| 1800 | 1018 |734961 | 398.4 | 45M| 57 |1322 |3295 |7952 |3295 |3776 |1141 |2541 | 770 | 9.100000e+01 | -- | Inf
191.65/191.73 c 192s| 1900 | 1075 |773354 | 397.6 | 46M| 57 | 571 |3295 |8050 |3295 |3776 |1141 |2671 | 819 | 9.100000e+01 | -- | Inf
194.85/194.95 c 195s| 2000 | 1117 |788026 | 385.1 | 46M| 57 | - |3295 |8084 | 0 | 0 |1141 |2753 | 840 | 9.100000e+01 | -- | Inf
216.94/217.04 c 217s| 2100 | 1151 |955913 | 446.7 | 47M| 57 | 872 |3295 |8181 |3295 |3776 |1141 |2977 | 883 | 9.100000e+01 | -- | Inf
222.84/222.97 c 223s| 2200 | 1211 |985027 | 439.6 | 47M| 57 | 677 |3295 |8177 |3295 |3776 |1141 |3036 | 926 | 9.100000e+01 | -- | Inf
230.34/230.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
230.34/230.47 c 230s| 2300 | 1269 | 1023k| 437.3 | 47M| 57 | 567 |3295 |8212 |3295 |3776 |1141 |3183 | 951 | 9.100000e+01 | -- | Inf
235.44/235.51 c 236s| 2400 | 1302 | 1045k| 428.0 | 48M| 57 | 932 |3295 |8223 |3295 |3776 |1141 |3298 | 988 | 9.100000e+01 | -- | Inf
243.54/243.67 c 244s| 2500 | 1368 | 1087k| 427.8 | 48M| 57 | 594 |3295 |8234 |3295 |3776 |1141 |3433 |1022 | 9.100000e+01 | -- | Inf
249.14/249.25 c 249s| 2600 | 1411 | 1113k| 421.4 | 49M| 57 | 839 |3295 |8327 |3295 |3776 |1141 |3689 |1062 | 9.100000e+01 | -- | Inf
253.73/253.82 c 254s| 2700 | 1467 | 1135k| 413.9 | 50M| 57 | - |3295 |8268 | 0 | 0 |1141 |3770 |1081 | 9.100000e+01 | -- | Inf
259.13/259.27 c 259s| 2800 | 1517 | 1161k| 408.5 | 50M| 57 | - |3295 |8243 | 0 | 0 |1141 |3936 |1126 | 9.100000e+01 | -- | Inf
268.43/268.50 c 269s| 2900 | 1577 | 1202k| 408.6 | 51M| 57 | 544 |3295 |8141 |3295 |3776 |1141 |4038 |1203 | 9.100000e+01 | -- | Inf
273.03/273.14 c 273s| 3000 | 1603 | 1225k| 402.6 | 51M| 63 | 599 |3295 |8057 |3295 |3776 |1141 |4157 |1215 | 9.100000e+01 | -- | Inf
278.04/278.11 c 278s| 3100 | 1637 | 1249k| 397.3 | 51M| 63 | - |3295 |7986 |3295 |3776 |1141 |4363 |1254 | 9.100000e+01 | -- | Inf
285.33/285.45 c 285s| 3200 | 1681 | 1285k| 396.0 | 52M| 63 | 301 |3295 |7922 |3295 |3776 |1141 |4603 |1310 | 9.100000e+01 | -- | Inf
291.53/291.60 c 292s| 3300 | 1726 | 1314k| 392.9 | 52M| 63 | 631 |3295 |7677 |3295 |3776 |1141 |4786 |1340 | 9.100000e+01 | -- | Inf
295.93/296.01 c 296s| 3400 | 1769 | 1334k| 387.3 | 53M| 63 | - |3295 |7538 |3295 |3776 |1141 |4906 |1399 | 9.100000e+01 | -- | Inf
301.24/301.39 c 301s| 3500 | 1825 | 1360k| 383.6 | 53M| 63 | 920 |3295 |7370 |3295 |3776 |1141 |5046 |1431 | 9.100000e+01 | -- | Inf
310.22/310.37 c 310s| 3600 | 1883 | 1410k| 386.9 | 53M| 63 | 794 |3295 |7238 |3295 |3776 |1141 |5122 |1453 | 9.100000e+01 | -- | Inf
318.22/318.32 c 318s| 3700 | 1948 | 1445k| 386.0 | 53M| 63 | - |3295 |7130 | 0 | 0 |1141 |5238 |1484 | 9.100000e+01 | -- | Inf
324.92/325.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
324.92/325.09 c 325s| 3800 | 1990 | 1478k| 384.2 | 54M| 63 | - |3295 |7007 |3295 |3776 |1141 |5354 |1517 | 9.100000e+01 | -- | Inf
330.52/330.63 c 331s| 3900 | 2049 | 1506k| 381.8 | 54M| 63 | 657 |3295 |6884 |3295 |3776 |1141 |5482 |1563 | 9.100000e+01 | -- | Inf
335.82/335.90 c 336s| 4000 | 2092 | 1530k| 378.2 | 55M| 63 | 584 |3295 |6880 |3295 |3776 |1141 |5636 |1602 | 9.100000e+01 | -- | Inf
342.03/342.19 c 342s| 4100 | 2144 | 1564k| 377.1 | 55M| 63 | 675 |3295 |6926 |3295 |3776 |1141 |5825 |1631 | 9.100000e+01 | -- | Inf
349.73/349.83 c 350s| 4200 | 2184 | 1589k| 374.1 | 56M| 63 | 577 |3295 |6933 |3295 |3776 |1141 |5988 |1682 | 9.100000e+01 | -- | Inf
355.72/355.82 c 356s| 4300 | 2244 | 1620k| 372.7 | 56M| 63 | 943 |3295 |6907 |3295 |3776 |1141 |6064 |1729 | 9.100000e+01 | -- | Inf
361.73/361.86 c 362s| 4400 | 2311 | 1651k| 371.2 | 57M| 63 | 538 |3295 |6893 |3295 |3776 |1141 |6146 |1770 | 9.100000e+01 | -- | Inf
372.12/372.22 c 372s| 4500 | 2365 | 1715k| 377.2 | 57M| 63 | 409 |3295 |6843 |3295 |3776 |1141 |6292 |1798 | 9.100000e+01 | -- | Inf
378.11/378.27 c 378s| 4600 | 2423 | 1739k| 374.4 | 57M| 63 | 758 |3295 |6854 |3295 |3776 |1141 |6437 |1840 | 9.100000e+01 | -- | Inf
383.31/383.49 c 383s| 4700 | 2452 | 1769k| 372.7 | 58M| 63 | - |3295 |6885 | 0 | 0 |1141 |6609 |1866 | 9.100000e+01 | -- | Inf
388.42/388.59 c 389s| 4800 | 2498 | 1794k| 370.1 | 58M| 63 | - |3295 |6927 | 0 | 0 |1141 |6744 |1937 | 9.100000e+01 | -- | Inf
392.92/393.03 c 393s| 4900 | 2545 | 1813k| 366.4 | 59M| 63 | - |3295 |6894 |3295 |3776 |1141 |6829 |1967 | 9.100000e+01 | -- | Inf
396.32/396.40 c 396s| 5000 | 2585 | 1825k| 361.4 | 59M| 63 | 354 |3295 |6985 |3295 |3776 |1141 |6966 |2014 | 9.100000e+01 | -- | Inf
399.82/399.90 c 400s| 5100 | 2605 | 1837k| 356.7 | 60M| 63 | 540 |3295 |7028 |3295 |3776 |1141 |7092 |2051 | 9.100000e+01 | -- | Inf
405.52/405.61 c 406s| 5200 | 2643 | 1867k| 355.7 | 60M| 63 | 625 |3295 |7015 |3295 |3776 |1141 |7215 |2090 | 9.100000e+01 | -- | Inf
409.31/409.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
409.31/409.42 c 409s| 5300 | 2659 | 1886k| 352.5 | 61M| 63 | - |3295 |7028 |3295 |3776 |1141 |7357 |2107 | 9.100000e+01 | -- | Inf
415.12/415.22 c 415s| 5400 | 2717 | 1912k| 350.9 | 61M| 63 | 881 |3295 |6938 |3295 |3776 |1141 |7434 |2136 | 9.100000e+01 | -- | Inf
419.81/419.98 c 420s| 5500 | 2758 | 1935k| 348.7 | 61M| 63 | 854 |3295 |6920 |3295 |3776 |1141 |7543 |2177 | 9.100000e+01 | -- | Inf
425.11/425.20 c 425s| 5600 | 2806 | 1960k| 346.8 | 62M| 63 | 712 |3295 |6917 |3295 |3776 |1141 |7656 |2217 | 9.100000e+01 | -- | Inf
433.81/433.90 c 434s| 5700 | 2850 | 2007k| 349.0 | 62M| 63 | 598 |3295 |6860 |3295 |3776 |1141 |7822 |2242 | 9.100000e+01 | -- | Inf
436.71/436.87 c 437s| 5800 | 2882 | 2019k| 345.1 | 63M| 63 | 430 |3295 |6827 |3295 |3776 |1141 |7937 |2252 | 9.100000e+01 | -- | Inf
442.21/442.36 c 442s| 5900 | 2914 | 2045k| 343.7 | 63M| 63 | 754 |3295 |6831 |3295 |3776 |1141 |8115 |2290 | 9.100000e+01 | -- | Inf
446.81/446.91 c 447s| 6000 | 2935 | 2065k| 341.2 | 63M| 63 | - |3295 |6712 |3295 |3776 |1141 |8246 |2321 | 9.100000e+01 | -- | Inf
452.60/452.74 c 453s| 6100 | 2961 | 2096k| 340.7 | 64M| 63 |1487 |3295 |6747 |3295 |3776 |1141 |8413 |2363 | 9.100000e+01 | -- | Inf
456.50/456.68 c 457s| 6200 | 2996 | 2117k| 338.6 | 64M| 63 | 800 |3295 |6699 |3295 |3776 |1141 |8511 |2381 | 9.100000e+01 | -- | Inf
461.11/461.21 c 461s| 6300 | 3017 | 2134k| 335.9 | 64M| 63 | 411 |3295 |6705 |3295 |3776 |1141 |8661 |2406 | 9.100000e+01 | -- | Inf
465.70/465.88 c 466s| 6400 | 3057 | 2155k| 334.0 | 65M| 63 | 683 |3295 |6750 |3295 |3776 |1141 |8845 |2454 | 9.100000e+01 | -- | Inf
469.31/469.49 c 469s| 6500 | 3072 | 2176k| 332.1 | 65M| 66 | 491 |3295 |6868 |3295 |3776 |1141 |9004 |2475 | 9.100000e+01 | -- | Inf
473.21/473.31 c 473s| 6600 | 3064 | 2196k| 330.1 | 65M| 66 | 729 |3295 |6975 |3295 |3776 |1141 |9202 |2520 | 9.100000e+01 | -- | Inf
486.90/487.04 c 487s| 6700 | 3095 | 2275k| 336.9 | 66M| 66 | 728 |3295 |7397 |3295 |3776 |1141 |9879 |2562 | 9.100000e+01 | -- | Inf
494.70/494.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
494.70/494.80 c 495s| 6800 | 3142 | 2308k| 336.9 | 66M| 66 | - |3295 |7322 |3295 |3776 |1141 | 10k|2597 | 9.100000e+01 | -- | Inf
499.79/499.90 c 500s| 6900 | 3173 | 2332k| 335.4 | 66M| 66 | 729 |3295 |7241 |3295 |3776 |1141 | 10k|2634 | 9.100000e+01 | -- | Inf
508.70/508.82 c 509s| 7000 | 3198 | 2366k| 335.5 | 67M| 66 | 823 |3295 |7200 |3295 |3776 |1141 | 10k|2669 | 9.100000e+01 | -- | Inf
516.99/517.12 c 517s| 7100 | 3263 | 2399k| 335.5 | 67M| 66 | 739 |3295 |7109 |3295 |3776 |1141 | 10k|2705 | 9.100000e+01 | -- | Inf
524.00/524.11 c 524s| 7200 | 3307 | 2434k| 335.6 | 67M| 66 | - |3295 |7109 |3295 |3776 |1141 | 10k|2756 | 9.100000e+01 | -- | Inf
528.10/528.25 c 528s| 7300 | 3345 | 2453k| 333.6 | 68M| 66 | - |3295 |7053 |3295 |3776 |1141 | 10k|2788 | 9.100000e+01 | -- | Inf
531.99/532.18 c 532s| 7400 | 3378 | 2466k| 330.9 | 68M| 66 | 397 |3295 |7097 |3295 |3776 |1141 | 10k|2803 | 9.100000e+01 | -- | Inf
537.99/538.10 c 538s| 7500 | 3423 | 2495k| 330.3 | 68M| 66 | 516 |3295 |7027 |3295 |3776 |1141 | 10k|2831 | 9.100000e+01 | -- | Inf
543.39/543.54 c 544s| 7600 | 3452 | 2515k| 328.6 | 69M| 66 | 515 |3295 |6984 |3295 |3776 |1141 | 11k|2895 | 9.100000e+01 | -- | Inf
547.39/547.50 c 548s| 7700 | 3480 | 2536k| 327.1 | 69M| 66 | 672 |3295 |6921 |3295 |3776 |1141 | 11k|2917 | 9.100000e+01 | -- | Inf
552.29/552.41 c 552s| 7800 | 3543 | 2560k| 325.9 | 69M| 66 | 726 |3295 |6834 |3295 |3776 |1141 | 11k|2950 | 9.100000e+01 | -- | Inf
559.49/559.67 c 560s| 7900 | 3576 | 2589k| 325.5 | 70M| 66 | 620 |3295 |6752 |3295 |3776 |1141 | 11k|2984 | 9.100000e+01 | -- | Inf
564.89/565.04 c 565s| 8000 | 3619 | 2619k| 325.2 | 70M| 66 | 596 |3295 |6767 |3295 |3776 |1141 | 11k|3009 | 9.100000e+01 | -- | Inf
568.89/569.03 c 569s| 8100 | 3629 | 2638k| 323.5 | 70M| 66 | 496 |3295 |6808 |3295 |3776 |1141 | 11k|3036 | 9.100000e+01 | -- | Inf
573.18/573.35 c 573s| 8200 | 3680 | 2655k| 321.7 | 71M| 66 | 734 |3295 |6779 |3295 |3776 |1141 | 11k|3072 | 9.100000e+01 | -- | Inf
578.18/578.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
578.18/578.31 c 578s| 8300 | 3707 | 2679k| 320.7 | 71M| 66 | 374 |3295 |6875 |3295 |3776 |1141 | 11k|3106 | 9.100000e+01 | -- | Inf
583.38/583.59 c 584s| 8400 | 3745 | 2703k| 319.6 | 71M| 66 | - |3295 |6891 | 0 | 0 |1141 | 12k|3135 | 9.100000e+01 | -- | Inf
592.79/592.97 c 593s| 8500 | 3802 | 2759k| 322.5 | 72M| 66 | 809 |3295 |6834 |3295 |3776 |1141 | 12k|3175 | 9.100000e+01 | -- | Inf
598.68/598.87 c 599s| 8600 | 3842 | 2793k| 322.7 | 72M| 66 | 619 |3295 |6795 |3295 |3776 |1141 | 12k|3210 | 9.100000e+01 | -- | Inf
603.69/603.84 c 604s| 8700 | 3877 | 2815k| 321.5 | 72M| 66 | 661 |3295 |6784 |3295 |3776 |1141 | 12k|3276 | 9.100000e+01 | -- | Inf
610.18/610.31 c 610s| 8800 | 3920 | 2842k| 320.9 | 72M| 66 | 609 |3295 |6723 |3295 |3776 |1141 | 12k|3347 | 9.100000e+01 | -- | Inf
615.58/615.79 c 616s| 8900 | 3939 | 2866k| 320.1 | 73M| 66 | 802 |3295 |6771 |3295 |3776 |1141 | 12k|3396 | 9.100000e+01 | -- | Inf
620.58/620.76 c 621s| 9000 | 3964 | 2888k| 318.9 | 73M| 66 | 608 |3295 |6802 |3295 |3776 |1141 | 12k|3438 | 9.100000e+01 | -- | Inf
626.18/626.34 c 626s| 9100 | 4011 | 2914k| 318.3 | 74M| 66 | - |3295 |6861 |3295 |3776 |1141 | 12k|3458 | 9.100000e+01 | -- | Inf
630.98/631.16 c 631s| 9200 | 4045 | 2936k| 317.2 | 74M| 66 | 889 |3295 |6876 |3295 |3776 |1141 | 13k|3498 | 9.100000e+01 | -- | Inf
634.18/634.37 c 634s| 9300 | 4064 | 2947k| 315.0 | 74M| 66 | 813 |3295 |6963 |3295 |3776 |1141 | 13k|3558 | 9.100000e+01 | -- | Inf
641.38/641.50 c 642s| 9400 | 4095 | 2983k| 315.4 | 75M| 66 | 743 |3295 |6924 |3295 |3776 |1141 | 13k|3601 | 9.100000e+01 | -- | Inf
646.37/646.50 c 646s| 9500 | 4121 | 3010k| 315.0 | 75M| 66 | 567 |3295 |7056 |3295 |3776 |1141 | 13k|3624 | 9.100000e+01 | -- | Inf
651.77/651.96 c 652s| 9600 | 4141 | 3034k| 314.2 | 75M| 66 | 650 |3295 |7216 |3295 |3776 |1141 | 13k|3690 | 9.100000e+01 | -- | Inf
654.77/654.97 c 655s| 9700 | 4155 | 3043k| 311.9 | 76M| 66 | 620 |3295 |7320 |3295 |3776 |1141 | 14k|3737 | 9.100000e+01 | -- | Inf
659.78/659.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
659.78/659.96 c 660s| 9800 | 4165 | 3068k| 311.2 | 76M| 66 | 802 |3295 |7250 |3295 |3776 |1141 | 14k|3766 | 9.100000e+01 | -- | Inf
662.87/663.03 c 663s| 9900 | 4186 | 3079k| 309.2 | 76M| 66 | 644 |3295 |7246 |3295 |3776 |1141 | 14k|3798 | 9.100000e+01 | -- | Inf
666.18/666.34 c 666s| 10000 | 4189 | 3092k| 307.5 | 76M| 74 | - |3295 |7302 |3295 |3776 |1141 | 14k|3832 | 9.100000e+01 | -- | Inf
670.47/670.60 c 671s| 10100 | 4201 | 3110k| 306.2 | 77M| 74 | 725 |3295 |7267 |3295 |3776 |1141 | 14k|3872 | 9.100000e+01 | -- | Inf
674.97/675.17 c 675s| 10200 | 4218 | 3131k| 305.2 | 77M| 74 | 833 |3295 |7207 |3295 |3776 |1141 | 14k|3920 | 9.100000e+01 | -- | Inf
682.87/683.01 c 683s| 10300 | 4255 | 3175k| 306.5 | 77M| 74 | 544 |3295 |7360 |3295 |3776 |1141 | 15k|3970 | 9.100000e+01 | -- | Inf
690.17/690.34 c 690s| 10400 | 4287 | 3211k| 307.1 | 77M| 74 | 760 |3295 |7255 |3295 |3776 |1141 | 15k|4016 | 9.100000e+01 | -- | Inf
694.27/694.41 c 694s| 10500 | 4333 | 3231k| 306.1 | 78M| 74 | 507 |3295 |7295 |3295 |3776 |1141 | 15k|4049 | 9.100000e+01 | -- | Inf
697.07/697.24 c 697s| 10600 | 4331 | 3246k| 304.6 | 78M| 86 | 554 |3295 |7470 |3295 |3776 |1141 | 15k|4080 | 9.100000e+01 | -- | Inf
700.87/701.05 c 701s| 10700 | 4345 | 3265k| 303.5 | 79M| 86 | 780 |3295 |7563 |3295 |3776 |1141 | 16k|4114 | 9.100000e+01 | -- | Inf
710.76/710.90 c 711s| 10800 | 4375 | 3318k| 305.6 | 79M| 86 | 656 |3295 |7593 |3295 |3776 |1141 | 16k|4147 | 9.100000e+01 | -- | Inf
716.26/716.42 c 716s| 10900 | 4408 | 3345k| 305.3 | 79M| 86 | 558 |3295 |7337 |3295 |3776 |1141 | 16k|4189 | 9.100000e+01 | -- | Inf
722.16/722.35 c 722s| 11000 | 4435 | 3379k| 305.6 | 79M| 86 | 618 |3295 |7149 |3295 |3776 |1141 | 16k|4223 | 9.100000e+01 | -- | Inf
727.06/727.20 c 727s| 11100 | 4481 | 3402k| 304.9 | 79M| 86 | 645 |3295 |7109 |3295 |3776 |1141 | 17k|4266 | 9.100000e+01 | -- | Inf
731.37/731.56 c 732s| 11200 | 4502 | 3420k| 303.8 | 79M| 86 | 512 |3295 |7105 |3295 |3776 |1141 | 17k|4314 | 9.100000e+01 | -- | Inf
734.06/734.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
734.06/734.21 c 734s| 11300 | 4524 | 3435k| 302.4 | 80M| 86 | 514 |3295 |7050 |3295 |3776 |1141 | 17k|4329 | 9.100000e+01 | -- | Inf
738.06/738.25 c 738s| 11400 | 4554 | 3450k| 301.1 | 80M| 86 | 759 |3295 |7101 |3295 |3776 |1141 | 17k|4375 | 9.100000e+01 | -- | Inf
741.36/741.55 c 742s| 11500 | 4575 | 3465k| 299.8 | 81M| 86 | 563 |3295 |7156 |3295 |3776 |1141 | 17k|4408 | 9.100000e+01 | -- | Inf
744.96/745.10 c 745s| 11600 | 4602 | 3483k| 298.8 | 81M| 86 | 290 |3295 |7174 |3295 |3776 |1141 | 17k|4430 | 9.100000e+01 | -- | Inf
749.56/749.78 c 750s| 11700 | 4617 | 3507k| 298.2 | 81M| 86 | - |3295 |7230 |3295 |3776 |1141 | 18k|4461 | 9.100000e+01 | -- | Inf
756.06/756.24 c 756s| 11800 | 4662 | 3537k| 298.3 | 81M| 86 | 692 |3295 |7269 |3295 |3776 |1141 | 18k|4531 | 9.100000e+01 | -- | Inf
759.35/759.54 c 760s| 11900 | 4686 | 3550k| 296.8 | 82M| 86 | 747 |3295 |7309 |3295 |3776 |1141 | 18k|4565 | 9.100000e+01 | -- | Inf
763.26/763.47 c 763s| 12000 | 4697 | 3569k| 296.0 | 82M| 86 | 621 |3295 |7423 |3295 |3776 |1141 | 18k|4604 | 9.100000e+01 | -- | Inf
767.06/767.23 c 767s| 12100 | 4716 | 3588k| 295.1 | 82M| 86 | 538 |3295 |7501 |3295 |3776 |1141 | 18k|4641 | 9.100000e+01 | -- | Inf
771.16/771.32 c 771s| 12200 | 4731 | 3608k| 294.3 | 83M| 86 | 617 |3295 |7548 |3295 |3776 |1141 | 18k|4682 | 9.100000e+01 | -- | Inf
775.96/776.15 c 776s| 12300 | 4744 | 3632k| 293.9 | 83M| 86 | 661 |3295 |7558 |3295 |3776 |1141 | 19k|4757 | 9.100000e+01 | -- | Inf
781.36/781.58 c 782s| 12400 | 4750 | 3657k| 293.5 | 83M| 86 | - |3295 |7473 |3295 |3776 |1141 | 19k|4806 | 9.100000e+01 | -- | Inf
785.16/785.40 c 785s| 12500 | 4784 | 3678k| 292.9 | 84M| 86 | 833 |3295 |7463 |3295 |3776 |1141 | 19k|4830 | 9.100000e+01 | -- | Inf
796.35/796.55 c 797s| 12600 | 4816 | 3732k| 294.8 | 84M| 86 | 734 |3295 |7766 |3295 |3776 |1141 | 20k|4864 | 9.100000e+01 | -- | Inf
803.15/803.36 c 803s| 12700 | 4858 | 3767k| 295.3 | 84M| 86 | 460 |3295 |7917 |3295 |3776 |1141 | 20k|4909 | 9.100000e+01 | -- | Inf
807.15/807.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
807.15/807.32 c 807s| 12800 | 4878 | 3785k| 294.4 | 85M| 86 | 614 |3295 |8004 |3295 |3776 |1141 | 20k|4951 | 9.100000e+01 | -- | Inf
812.35/812.57 c 813s| 12900 | 4892 | 3807k| 293.8 | 85M| 86 | - |3295 |7998 |3295 |3776 |1141 | 20k|5013 | 9.100000e+01 | -- | Inf
817.25/817.48 c 817s| 13000 | 4915 | 3829k| 293.2 | 85M| 86 | - |3295 |7920 |3295 |3776 |1141 | 21k|5069 | 9.100000e+01 | -- | Inf
821.55/821.73 c 822s| 13100 | 4929 | 3847k| 292.3 | 85M| 86 | 792 |3295 |7934 |3295 |3776 |1141 | 21k|5122 | 9.100000e+01 | -- | Inf
826.35/826.51 c 827s| 13200 | 4953 | 3871k| 291.9 | 86M| 86 | - |3295 |7789 | 0 | 0 |1141 | 21k|5161 | 9.100000e+01 | -- | Inf
831.95/832.17 c 832s| 13300 | 4986 | 3902k| 292.0 | 86M| 86 | 874 |3295 |7588 |3295 |3776 |1141 | 21k|5223 | 9.100000e+01 | -- | Inf
837.74/837.98 c 838s| 13400 | 5022 | 3928k| 291.8 | 86M| 86 | - |3295 |7533 |3295 |3776 |1141 | 21k|5275 | 9.100000e+01 | -- | Inf
841.44/841.62 c 842s| 13500 | 5054 | 3948k| 291.2 | 87M| 86 | - |3295 |7529 |3295 |3776 |1141 | 21k|5293 | 9.100000e+01 | -- | Inf
848.14/848.34 c 848s| 13600 | 5106 | 3981k| 291.4 | 87M| 86 | 931 |3295 |7504 |3295 |3776 |1141 | 21k|5339 | 9.100000e+01 | -- | Inf
854.94/855.11 c 855s| 13700 | 5119 | 4012k| 291.6 | 87M| 86 | 864 |3295 |7510 |3295 |3776 |1141 | 22k|5382 | 9.100000e+01 | -- | Inf
862.94/863.16 c 863s| 13800 | 5151 | 4051k| 292.3 | 87M| 86 | - |3295 |7379 | 0 | 0 |1141 | 22k|5428 | 9.100000e+01 | -- | Inf
868.14/868.34 c 868s| 13900 | 5180 | 4079k| 292.2 | 88M| 86 | 817 |3295 |7311 |3295 |3776 |1141 | 22k|5477 | 9.100000e+01 | -- | Inf
873.44/873.61 c 874s| 14000 | 5189 | 4107k| 292.1 | 88M| 86 | - |3295 |7561 |3295 |3776 |1141 | 22k|5559 | 9.100000e+01 | -- | Inf
879.34/879.56 c 880s| 14100 | 5238 | 4139k| 292.3 | 88M| 86 | 631 |3295 |7504 |3295 |3776 |1141 | 22k|5609 | 9.100000e+01 | -- | Inf
882.33/882.50 c 883s| 14200 | 5261 | 4157k| 291.5 | 89M| 86 | - |3295 |7622 | 0 | 0 |1141 | 23k|5629 | 9.100000e+01 | -- | Inf
886.53/886.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
886.53/886.77 c 887s| 14300 | 5246 | 4175k| 290.8 | 89M| 86 | - |3295 |7630 | 0 | 0 |1141 | 23k|5681 | 9.100000e+01 | -- | Inf
890.93/891.17 c 891s| 14400 | 5278 | 4200k| 290.4 | 89M| 86 | 511 |3295 |7593 |3295 |3776 |1141 | 23k|5702 | 9.100000e+01 | -- | Inf
895.24/895.45 c 895s| 14500 | 5295 | 4215k| 289.5 | 89M| 86 | - |3295 |7462 |3295 |3776 |1141 | 23k|5746 | 9.100000e+01 | -- | Inf
902.13/902.37 c 902s| 14600 | 5331 | 4249k| 289.9 | 89M| 86 | 693 |3295 |7409 |3295 |3776 |1141 | 23k|5782 | 9.100000e+01 | -- | Inf
904.93/905.17 c 905s| 14700 | 5350 | 4264k| 288.9 | 90M| 86 | - |3295 |7481 |3295 |3776 |1141 | 24k|5800 | 9.100000e+01 | -- | Inf
908.83/909.04 c 909s| 14800 | 5366 | 4284k| 288.3 | 90M| 86 | 474 |3295 |7785 |3295 |3776 |1141 | 24k|5856 | 9.100000e+01 | -- | Inf
913.63/913.81 c 914s| 14900 | 5374 | 4308k| 288.0 | 90M| 86 | - |3295 |7925 |3295 |3776 |1141 | 24k|5917 | 9.100000e+01 | -- | Inf
918.34/918.52 c 919s| 15000 | 5389 | 4336k| 287.9 | 91M| 86 | - |3295 |7988 |3295 |3776 |1141 | 24k|5963 | 9.100000e+01 | -- | Inf
923.13/923.35 c 923s| 15100 | 5384 | 4362k| 287.7 | 91M| 86 | 677 |3295 |8174 |3295 |3776 |1141 | 25k|6027 | 9.100000e+01 | -- | Inf
928.32/928.56 c 929s| 15200 | 5405 | 4393k| 287.9 | 91M| 86 | 542 |3295 |8143 |3295 |3776 |1141 | 25k|6069 | 9.100000e+01 | -- | Inf
932.33/932.57 c 933s| 15300 | 5435 | 4414k| 287.4 | 91M| 86 | 692 |3295 |7958 |3295 |3776 |1141 | 25k|6110 | 9.100000e+01 | -- | Inf
939.13/939.38 c 939s| 15400 | 5463 | 4449k| 287.8 | 92M| 86 | - |3295 |7834 |3295 |3776 |1141 | 25k|6154 | 9.100000e+01 | -- | Inf
944.03/944.23 c 944s| 15500 | 5487 | 4474k| 287.5 | 92M| 86 | - |3295 |7982 | 0 | 0 |1141 | 25k|6196 | 9.100000e+01 | -- | Inf
947.13/947.35 c 947s| 15600 | 5487 | 4489k| 286.6 | 92M| 86 | 639 |3295 |8066 |3295 |3776 |1141 | 26k|6213 | 9.100000e+01 | -- | Inf
950.42/950.63 c 951s| 15700 | 5510 | 4506k| 285.9 | 92M| 86 | - |3295 |8055 |3295 |3776 |1141 | 26k|6233 | 9.100000e+01 | -- | Inf
954.32/954.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
954.32/954.51 c 955s| 15800 | 5526 | 4521k| 285.0 | 92M| 86 | - |3295 |7983 | 0 | 0 |1141 | 26k|6289 | 9.100000e+01 | -- | Inf
959.92/960.10 c 960s| 15900 | 5555 | 4546k| 284.8 | 92M| 86 | - |3295 |7958 |3295 |3776 |1141 | 26k|6321 | 9.100000e+01 | -- | Inf
964.72/964.99 c 965s| 16000 | 5562 | 4572k| 284.7 | 93M| 86 | - |3295 |8042 |3295 |3776 |1141 | 27k|6350 | 9.100000e+01 | -- | Inf
969.02/969.27 c 969s| 16100 | 5583 | 4590k| 284.0 | 93M| 86 | - |3295 |7974 |3295 |3776 |1141 | 27k|6407 | 9.100000e+01 | -- | Inf
975.22/975.46 c 975s| 16200 | 5615 | 4615k| 283.8 | 93M| 86 | - |3295 |8168 |3295 |3776 |1141 | 27k|6456 | 9.100000e+01 | -- | Inf
979.31/979.59 c 980s| 16300 | 5629 | 4634k| 283.2 | 94M| 86 | 689 |3295 |8045 |3295 |3776 |1141 | 27k|6480 | 9.100000e+01 | -- | Inf
982.72/982.97 c 983s| 16400 | 5651 | 4649k| 282.4 | 94M| 86 | - |3295 |7953 | 0 | 0 |1141 | 27k|6509 | 9.100000e+01 | -- | Inf
989.42/989.62 c 990s| 16500 | 5666 | 4683k| 282.7 | 94M| 86 | 462 |3295 |7835 |3295 |3776 |1141 | 28k|6562 | 9.100000e+01 | -- | Inf
994.72/994.97 c 995s| 16600 | 5704 | 4709k| 282.6 | 94M| 86 | 367 |3295 |7676 |3295 |3776 |1141 | 28k|6609 | 9.100000e+01 | -- | Inf
1000.72/1000.99 c 1001s| 16700 | 5730 | 4742k| 282.9 | 94M| 86 | 734 |3295 |7659 |3295 |3776 |1141 | 28k|6617 | 9.100000e+01 | -- | Inf
1005.02/1005.27 c 1005s| 16800 | 5736 | 4762k| 282.4 | 95M| 86 | 597 |3295 |7620 |3295 |3776 |1141 | 28k|6677 | 9.100000e+01 | -- | Inf
1009.21/1009.47 c 1009s| 16900 | 5740 | 4781k| 281.9 | 95M| 86 | - |3295 |7805 |3295 |3776 |1141 | 29k|6742 | 9.100000e+01 | -- | Inf
1013.01/1013.22 c 1013s| 17000 | 5760 | 4800k| 281.3 | 96M| 86 | - |3295 |7979 |3295 |3776 |1141 | 29k|6787 | 9.100000e+01 | -- | Inf
1017.71/1017.97 c 1018s| 17100 | 5758 | 4820k| 280.9 | 95M| 86 | 597 |3295 |7894 |3295 |3776 |1141 | 29k|6857 | 9.100000e+01 | -- | Inf
1027.31/1027.53 c 1028s| 17200 | 5776 | 4864k| 281.7 | 96M| 86 | 398 |3295 |7915 |3295 |3776 |1141 | 29k|6897 | 9.100000e+01 | -- | Inf
1032.11/1032.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1032.11/1032.37 c 1032s| 17300 | 5819 | 4890k| 281.6 | 96M| 86 | 620 |3295 |7701 |3295 |3776 |1141 | 29k|6923 | 9.100000e+01 | -- | Inf
1038.51/1038.72 c 1039s| 17400 | 5846 | 4923k| 281.9 | 96M| 86 |1189 |3295 |7500 |3295 |3776 |1141 | 30k|6981 | 9.100000e+01 | -- | Inf
1051.91/1052.19 c 1052s| 17500 | 5886 | 4998k| 284.6 | 96M| 86 | - |3295 |7701 | 0 | 0 |1141 | 30k|7041 | 9.100000e+01 | -- | Inf
1056.21/1056.48 c 1056s| 17600 | 5904 | 5023k| 284.4 | 96M| 86 | 716 |3295 |7746 |3295 |3776 |1141 | 30k|7082 | 9.100000e+01 | -- | Inf
1059.61/1059.80 c 1060s| 17700 | 5926 | 5040k| 283.7 | 97M| 86 | 923 |3295 |7795 |3295 |3776 |1141 | 30k|7099 | 9.100000e+01 | -- | Inf
1062.41/1062.65 c 1063s| 17800 | 5967 | 5052k| 282.8 | 97M| 86 | 695 |3295 |7811 |3295 |3776 |1141 | 31k|7116 | 9.100000e+01 | -- | Inf
1066.71/1066.95 c 1067s| 17900 | 5983 | 5070k| 282.3 | 97M| 86 | 517 |3295 |7758 |3295 |3776 |1141 | 31k|7163 | 9.100000e+01 | -- | Inf
1071.61/1071.84 c 1072s| 18000 | 6021 | 5094k| 282.0 | 98M| 86 | - |3295 |7719 | 0 | 0 |1141 | 31k|7201 | 9.100000e+01 | -- | Inf
1075.40/1075.64 c 1076s| 18100 | 6038 | 5115k| 281.6 | 98M| 86 | 665 |3295 |7727 |3295 |3776 |1141 | 31k|7239 | 9.100000e+01 | -- | Inf
1078.81/1079.03 c 1079s| 18200 | 6055 | 5129k| 280.9 | 98M| 86 | 546 |3295 |7726 |3295 |3776 |1141 | 31k|7289 | 9.100000e+01 | -- | Inf
1082.00/1082.29 c 1082s| 18300 | 6081 | 5140k| 279.9 | 99M| 86 | - |3295 |7846 | 0 | 0 |1141 | 31k|7341 | 9.100000e+01 | -- | Inf
1085.00/1085.25 c 1085s| 18400 | 6088 | 5151k| 279.0 | 99M| 86 | 393 |3295 |7887 |3295 |3776 |1141 | 32k|7355 | 9.100000e+01 | -- | Inf
1090.11/1090.36 c 1090s| 18500 | 6109 | 5173k| 278.7 | 99M| 86 | 367 |3295 |7939 |3295 |3776 |1141 | 32k|7417 | 9.100000e+01 | -- | Inf
1094.71/1094.90 c 1095s| 18600 | 6128 | 5195k| 278.4 | 100M| 86 | - |3295 |7909 |3295 |3776 |1141 | 32k|7456 | 9.100000e+01 | -- | Inf
1100.40/1100.61 c 1101s| 18700 | 6161 | 5222k| 278.3 | 100M| 86 | 714 |3295 |8010 |3295 |3776 |1141 | 32k|7501 | 9.100000e+01 | -- | Inf
1103.70/1103.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1103.70/1103.95 c 1104s| 18800 | 6189 | 5240k| 277.8 | 101M| 86 | 714 |3295 |8083 |3295 |3776 |1141 | 33k|7530 | 9.100000e+01 | -- | Inf
1106.00/1106.29 c 1106s| 18900 | 6206 | 5254k| 277.1 | 101M| 86 | 564 |3295 |8195 |3295 |3776 |1141 | 33k|7541 | 9.100000e+01 | -- | Inf
1108.30/1108.59 c 1109s| 19000 | 6203 | 5264k| 276.1 | 101M| 86 | - |3295 |8279 | 0 | 0 |1141 | 33k|7572 | 9.100000e+01 | -- | Inf
1116.60/1116.89 c 1117s| 19100 | 6239 | 5298k| 276.5 | 102M| 86 | 744 |3295 |8072 |3295 |3776 |1141 | 33k|7645 | 9.100000e+01 | -- | Inf
1122.60/1122.88 c 1123s| 19200 | 6276 | 5327k| 276.5 | 102M| 86 | 529 |3295 |7753 |3295 |3776 |1141 | 33k|7684 | 9.100000e+01 | -- | Inf
1125.30/1125.54 c 1126s| 19300 | 6286 | 5340k| 275.8 | 102M| 86 | - |3295 |7694 | 0 | 0 |1141 | 33k|7714 | 9.100000e+01 | -- | Inf
1129.00/1129.23 c 1129s| 19400 | 6304 | 5356k| 275.2 | 102M| 86 | - |3295 |7674 | 0 | 0 |1141 | 34k|7752 | 9.100000e+01 | -- | Inf
1132.10/1132.36 c 1132s| 19500 | 6321 | 5369k| 274.4 | 103M| 86 | 597 |3295 |7576 |3295 |3776 |1141 | 34k|7793 | 9.100000e+01 | -- | Inf
1137.29/1137.50 c 1138s| 19600 | 6339 | 5397k| 274.5 | 103M| 86 | 627 |3295 |7858 |3295 |3776 |1141 | 34k|7824 | 9.100000e+01 | -- | Inf
1141.19/1141.48 c 1141s| 19700 | 6360 | 5416k| 274.0 | 103M| 86 | - |3295 |7926 |3295 |3776 |1141 | 34k|7858 | 9.100000e+01 | -- | Inf
1144.99/1145.20 c 1145s| 19800 | 6404 | 5438k| 273.7 | 104M| 86 | 457 |3295 |7904 |3295 |3776 |1141 | 34k|7871 | 9.100000e+01 | -- | Inf
1146.59/1146.83 c 1147s| 19900 | 6438 | 5446k| 272.8 | 104M| 86 | 502 |3295 |7958 |3295 |3776 |1141 | 35k|7871 | 9.100000e+01 | -- | Inf
1148.89/1149.13 c 1149s| 20000 | 6442 | 5467k| 272.5 | 105M| 86 | 614 |3295 |7991 |3295 |3776 |1141 | 35k|7872 | 9.100000e+01 | -- | Inf
1156.09/1156.39 c 1156s| 20100 | 6475 | 5502k| 272.9 | 105M| 86 | - |3295 |7972 | 0 | 0 |1141 | 35k|7925 | 9.100000e+01 | -- | Inf
1159.49/1159.75 c 1160s| 20200 | 6511 | 5521k| 272.4 | 105M| 86 | 786 |3295 |7946 |3295 |3776 |1141 | 35k|7949 | 9.100000e+01 | -- | Inf
1164.48/1164.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1164.48/1164.77 c 1165s| 20300 | 6544 | 5538k| 271.9 | 106M| 86 | 391 |3295 |7993 |3295 |3776 |1141 | 35k|8003 | 9.100000e+01 | -- | Inf
1166.69/1166.99 c 1167s| 20400 | 6550 | 5552k| 271.3 | 106M| 86 | 603 |3295 |8010 |3295 |3776 |1141 | 35k|8004 | 9.100000e+01 | -- | Inf
1171.09/1171.37 c 1171s| 20500 | 6577 | 5571k| 270.9 | 106M| 86 | 669 |3295 |7936 |3295 |3776 |1141 | 36k|8033 | 9.100000e+01 | -- | Inf
1174.89/1175.12 c 1175s| 20600 | 6597 | 5592k| 270.6 | 106M| 86 | - |3295 |7660 |3295 |3776 |1141 | 36k|8063 | 9.100000e+01 | -- | Inf
1177.09/1177.34 c 1177s| 20700 | 6614 | 5605k| 269.9 | 106M| 86 | - |3295 |7668 | 0 | 0 |1141 | 36k|8064 | 9.100000e+01 | -- | Inf
1183.29/1183.54 c 1184s| 20800 | 6641 | 5622k| 269.4 | 107M| 86 |1092 |3295 |7629 |3295 |3776 |1141 | 36k|8161 | 9.100000e+01 | -- | Inf
1189.79/1190.01 c 1190s| 20900 | 6669 | 5650k| 269.5 | 107M| 86 | - |3295 |7598 |3295 |3776 |1141 | 36k|8240 | 9.100000e+01 | -- | Inf
1195.18/1195.44 c 1195s| 21000 | 6701 | 5685k| 269.9 | 107M| 86 | 718 |3295 |7564 |3295 |3776 |1141 | 37k|8243 | 9.100000e+01 | -- | Inf
1198.79/1199.08 c 1199s| 21100 | 6724 | 5708k| 269.7 | 108M| 86 | 767 |3295 |7621 |3295 |3776 |1141 | 37k|8243 | 9.100000e+01 | -- | Inf
1207.98/1208.28 c 1208s| 21200 | 6768 | 5740k| 269.9 | 108M| 86 | 637 |3295 |7577 |3295 |3776 |1141 | 37k|8362 | 9.100000e+01 | -- | Inf
1212.88/1213.12 c 1213s| 21300 | 6795 | 5757k| 269.5 | 108M| 86 | 657 |3295 |7582 |3295 |3776 |1141 | 37k|8393 | 9.100000e+01 | -- | Inf
1218.88/1219.10 c 1219s| 21400 | 6838 | 5789k| 269.7 | 109M| 86 | 703 |3295 |7646 |3295 |3776 |1141 | 37k|8426 | 9.100000e+01 | -- | Inf
1222.68/1222.97 c 1223s| 21500 | 6853 | 5811k| 269.5 | 109M| 86 | 591 |3295 |7615 |3295 |3776 |1141 | 38k|8435 | 9.100000e+01 | -- | Inf
1226.88/1227.11 c 1227s| 21600 | 6860 | 5833k| 269.2 | 109M| 86 | - |3295 |7645 |3295 |3776 |1141 | 38k|8449 | 9.100000e+01 | -- | Inf
1230.58/1230.89 c 1231s| 21700 | 6896 | 5851k| 268.8 | 109M| 86 | 534 |3295 |7598 |3295 |3776 |1141 | 38k|8467 | 9.100000e+01 | -- | Inf
1232.47/1232.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1232.47/1232.71 c 1233s| 21800 | 6925 | 5864k| 268.2 | 110M| 86 | 719 |3295 |7671 |3295 |3776 |1141 | 38k|8467 | 9.100000e+01 | -- | Inf
1234.48/1234.78 c 1235s| 21900 | 6948 | 5877k| 267.6 | 110M| 86 | 567 |3295 |7716 |3295 |3776 |1141 | 38k|8467 | 9.100000e+01 | -- | Inf
1237.57/1237.84 c 1238s| 22000 | 6961 | 5896k| 267.2 | 110M| 86 | 637 |3295 |7780 |3295 |3776 |1141 | 38k|8478 | 9.100000e+01 | -- | Inf
1242.38/1242.61 c 1243s| 22100 | 7013 | 5930k| 267.5 | 111M| 86 | 666 |3295 |7673 |3295 |3776 |1141 | 39k|8489 | 9.100000e+01 | -- | Inf
1245.07/1245.31 c 1245s| 22200 | 7033 | 5948k| 267.1 | 111M| 86 | - |3295 |7664 |3295 |3776 |1141 | 39k|8506 | 9.100000e+01 | -- | Inf
1246.87/1247.19 c 1247s| 22300 | 7047 | 5960k| 266.5 | 112M| 86 | - |3295 |7670 | 0 | 0 |1141 | 39k|8506 | 9.100000e+01 | -- | Inf
1249.98/1250.24 c 1250s| 22400 | 7072 | 5984k| 266.3 | 112M| 86 | - |3295 |7696 | 0 | 0 |1141 | 39k|8506 | 9.100000e+01 | -- | Inf
1263.27/1263.55 c 1264s| 22500 | 7098 | 6027k| 267.1 | 112M| 86 | - |3295 |7963 |3295 |3776 |1141 | 40k|8604 | 9.100000e+01 | -- | Inf
1265.37/1265.66 c 1266s| 22600 | 7117 | 6042k| 266.6 | 113M| 86 | - |3295 |8103 |3295 |3776 |1141 | 40k|8604 | 9.100000e+01 | -- | Inf
1269.37/1269.60 c 1270s| 22700 | 7127 | 6068k| 266.6 | 113M| 86 | 532 |3295 |8532 |3295 |3776 |1141 | 40k|8604 | 9.100000e+01 | -- | Inf
1271.47/1271.70 c 1272s| 22800 | 7134 | 6085k| 266.1 | 114M| 86 | - |3295 |8716 |3295 |3776 |1141 | 41k|8604 | 9.100000e+01 | -- | Inf
1275.17/1275.44 c 1275s| 22900 | 7147 | 6109k| 266.0 | 114M| 86 | 501 |3295 |8635 |3295 |3776 |1141 | 41k|8613 | 9.100000e+01 | -- | Inf
1292.37/1292.60 c 1293s| 23000 | 7168 | 6134k| 265.9 | 114M| 86 | - |3295 |8602 |3295 |3776 |1141 | 41k|8731 | 9.100000e+01 | -- | Inf
1294.07/1294.38 c 1294s| 23100 | 7204 | 6143k| 265.2 | 114M| 86 | 540 |3295 |8470 |3295 |3776 |1141 | 41k|8731 | 9.100000e+01 | -- | Inf
1296.07/1296.30 c 1296s| 23200 | 7212 | 6156k| 264.6 | 114M| 86 | - |3295 |8360 |3295 |3776 |1141 | 41k|8731 | 9.100000e+01 | -- | Inf
1298.06/1298.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1298.06/1298.39 c 1298s| 23300 | 7223 | 6170k| 264.1 | 115M| 86 | 601 |3295 |8375 |3295 |3776 |1141 | 41k|8731 | 9.100000e+01 | -- | Inf
1300.27/1300.58 c 1301s| 23400 | 7247 | 6184k| 263.5 | 115M| 86 | 471 |3295 |8449 |3295 |3776 |1141 | 42k|8731 | 9.100000e+01 | -- | Inf
1302.67/1302.96 c 1303s| 23500 | 7270 | 6202k| 263.2 | 115M| 86 | 605 |3295 |8479 |3295 |3776 |1141 | 42k|8731 | 9.100000e+01 | -- | Inf
1305.56/1305.85 c 1306s| 23600 | 7279 | 6221k| 262.9 | 116M| 86 | - |3295 |8364 | 0 | 0 |1141 | 42k|8733 | 9.100000e+01 | -- | Inf
1308.46/1308.78 c 1309s| 23700 | 7301 | 6240k| 262.6 | 116M| 86 | 625 |3295 |8034 |3295 |3776 |1141 | 42k|8734 | 9.100000e+01 | -- | Inf
1310.26/1310.54 c 1311s| 23800 | 7328 | 6247k| 261.8 | 116M| 86 | 631 |3295 |8075 |3295 |3776 |1141 | 43k|8746 | 9.100000e+01 | -- | Inf
1312.77/1313.00 c 1313s| 23900 | 7360 | 6266k| 261.4 | 117M| 86 | 749 |3295 |8101 |3295 |3776 |1141 | 43k|8746 | 9.100000e+01 | -- | Inf
1320.36/1320.60 c 1321s| 24000 | 7384 | 6293k| 261.5 | 117M| 86 | 506 |3295 |8047 |3295 |3776 |1141 | 43k|8813 | 9.100000e+01 | -- | Inf
1324.07/1324.40 c 1324s| 24100 | 7418 | 6315k| 261.3 | 117M| 86 | 643 |3295 |7951 |3295 |3776 |1141 | 43k|8831 | 9.100000e+01 | -- | Inf
1327.37/1327.62 c 1328s| 24200 | 7443 | 6337k| 261.2 | 117M| 86 | 557 |3295 |7887 |3295 |3776 |1141 | 43k|8831 | 9.100000e+01 | -- | Inf
1331.57/1331.88 c 1332s| 24300 | 7475 | 6365k| 261.2 | 118M| 86 | 528 |3295 |7866 |3295 |3776 |1141 | 43k|8856 | 9.100000e+01 | -- | Inf
1333.97/1334.28 c 1334s| 24400 | 7496 | 6381k| 260.8 | 118M| 86 | - |3295 |7891 | 0 | 0 |1141 | 44k|8856 | 9.100000e+01 | -- | Inf
1335.96/1336.21 c 1336s| 24500 | 7519 | 6395k| 260.3 | 118M| 86 | 455 |3295 |7935 |3295 |3776 |1141 | 44k|8856 | 9.100000e+01 | -- | Inf
1337.56/1337.80 c 1338s| 24600 | 7544 | 6405k| 259.7 | 119M| 86 | - |3295 |8066 | 0 | 0 |1141 | 44k|8856 | 9.100000e+01 | -- | Inf
1339.06/1339.35 c 1339s| 24700 | 7556 | 6414k| 259.0 | 119M| 86 | - |3295 |8112 |3295 |3776 |1141 | 44k|8856 | 9.100000e+01 | -- | Inf
1341.46/1341.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1341.46/1341.74 c 1342s| 24800 | 7583 | 6430k| 258.6 | 119M| 86 | 571 |3295 |8060 |3295 |3776 |1141 | 44k|8856 | 9.100000e+01 | -- | Inf
1344.16/1344.43 c 1344s| 24900 | 7616 | 6451k| 258.4 | 120M| 86 | 453 |3295 |7985 |3295 |3776 |1141 | 44k|8856 | 9.100000e+01 | -- | Inf
1348.06/1348.35 c 1348s| 25000 | 7647 | 6469k| 258.1 | 120M| 86 | 657 |3295 |7658 |3295 |3776 |1141 | 45k|8876 | 9.100000e+01 | -- | Inf
1350.96/1351.25 c 1351s| 25100 | 7683 | 6489k| 257.8 | 120M| 86 | 493 |3295 |7557 |3295 |3776 |1141 | 45k|8876 | 9.100000e+01 | -- | Inf
1353.06/1353.31 c 1353s| 25200 | 7689 | 6502k| 257.3 | 120M| 86 | - |3295 |7689 | 0 | 0 |1141 | 45k|8876 | 9.100000e+01 | -- | Inf
1355.46/1355.74 c 1356s| 25300 | 7702 | 6516k| 256.9 | 121M| 86 | 641 |3295 |7792 |3295 |3776 |1141 | 45k|8876 | 9.100000e+01 | -- | Inf
1360.56/1360.81 c 1361s| 25400 | 7736 | 6539k| 256.7 | 121M| 86 | - |3295 |7740 |3295 |3776 |1141 | 45k|8913 | 9.100000e+01 | -- | Inf
1362.76/1363.01 c 1363s| 25500 | 7756 | 6552k| 256.2 | 121M| 86 | 687 |3295 |7752 |3295 |3776 |1141 | 46k|8913 | 9.100000e+01 | -- | Inf
1364.36/1364.61 c 1365s| 25600 | 7774 | 6560k| 255.6 | 121M| 86 | - |3295 |7907 |3295 |3776 |1141 | 46k|8913 | 9.100000e+01 | -- | Inf
1368.66/1368.91 c 1369s| 25700 | 7804 | 6588k| 255.7 | 122M| 86 | 769 |3295 |7825 |3295 |3776 |1141 | 46k|8919 | 9.100000e+01 | -- | Inf
1374.85/1375.19 c 1375s| 25800 | 7835 | 6626k| 256.2 | 122M| 86 | - |3295 |7883 |3295 |3776 |1141 | 46k|8930 | 9.100000e+01 | -- | Inf
1376.75/1377.02 c 1377s| 25900 | 7842 | 6639k| 255.6 | 122M| 86 | - |3295 |7942 |3295 |3776 |1141 | 46k|8930 | 9.100000e+01 | -- | Inf
1379.66/1379.91 c 1380s| 26000 | 7869 | 6660k| 255.5 | 123M| 86 | - |3295 |7906 |3295 |3776 |1141 | 46k|8930 | 9.100000e+01 | -- | Inf
1382.46/1382.76 c 1383s| 26100 | 7886 | 6678k| 255.2 | 123M| 86 | - |3295 |7945 | 0 | 0 |1141 | 47k|8930 | 9.100000e+01 | -- | Inf
1384.46/1384.71 c 1385s| 26200 | 7891 | 6691k| 254.7 | 123M| 86 | 586 |3295 |7966 |3295 |3776 |1141 | 47k|8930 | 9.100000e+01 | -- | Inf
1387.56/1387.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1387.56/1387.84 c 1388s| 26300 | 7894 | 6710k| 254.5 | 123M| 86 | 551 |3295 |8136 |3295 |3776 |1141 | 47k|8930 | 9.100000e+01 | -- | Inf
1390.85/1391.11 c 1391s| 26400 | 7921 | 6735k| 254.4 | 124M| 86 | 578 |3295 |8114 |3295 |3776 |1141 | 47k|8930 | 9.100000e+01 | -- | Inf
1393.15/1393.42 c 1393s| 26500 | 7932 | 6751k| 254.1 | 124M| 86 | 756 |3295 |8105 |3295 |3776 |1141 | 47k|8930 | 9.100000e+01 | -- | Inf
1395.25/1395.52 c 1396s| 26600 | 7965 | 6765k| 253.7 | 125M| 86 | - |3295 |8203 |3295 |3776 |1141 | 48k|8930 | 9.100000e+01 | -- | Inf
1397.76/1398.05 c 1398s| 26700 | 7974 | 6786k| 253.5 | 125M| 86 | 463 |3295 |8192 |3295 |3776 |1141 | 48k|8930 | 9.100000e+01 | -- | Inf
1401.16/1401.41 c 1401s| 26800 | 8005 | 6808k| 253.4 | 125M| 86 | 488 |3295 |8129 |3295 |3776 |1141 | 48k|8940 | 9.100000e+01 | -- | Inf
1404.55/1404.80 c 1405s| 26900 | 8021 | 6834k| 253.4 | 125M| 86 | 588 |3295 |8085 |3295 |3776 |1141 | 48k|8943 | 9.100000e+01 | -- | Inf
1407.25/1407.50 c 1408s| 27000 | 8033 | 6858k| 253.3 | 125M| 86 | 736 |3295 |8076 |3295 |3776 |1141 | 48k|8943 | 9.100000e+01 | -- | Inf
1410.95/1411.24 c 1411s| 27100 | 8053 | 6881k| 253.2 | 125M| 86 | - |3295 |8122 | 0 | 0 |1141 | 49k|8945 | 9.100000e+01 | -- | Inf
1425.45/1425.77 c 1426s| 27200 | 8088 | 6955k| 255.1 | 126M| 86 | - |3295 |8620 |3295 |3776 |1141 | 49k|8945 | 9.100000e+01 | -- | Inf
1429.35/1429.67 c 1430s| 27300 | 8130 | 6981k| 255.1 | 127M| 86 | 779 |3295 |8845 |3295 |3776 |1141 | 50k|8945 | 9.100000e+01 | -- | Inf
1431.14/1431.47 c 1431s| 27400 | 8155 | 6993k| 254.6 | 127M| 86 | 301 |3295 |8963 |3295 |3776 |1141 | 50k|8945 | 9.100000e+01 | -- | Inf
1432.96/1433.21 c 1433s| 27500 | 8178 | 7005k| 254.1 | 128M| 86 | 594 |3295 |9009 |3295 |3776 |1141 | 50k|8945 | 9.100000e+01 | -- | Inf
1434.75/1435.10 c 1435s| 27600 | 8200 | 7018k| 253.6 | 128M| 86 | 566 |3295 |8980 |3295 |3776 |1141 | 51k|8945 | 9.100000e+01 | -- | Inf
1437.24/1437.55 c 1438s| 27700 | 8232 | 7035k| 253.3 | 128M| 86 | - |3295 |8924 |3295 |3776 |1141 | 51k|8945 | 9.100000e+01 | -- | Inf
1441.75/1442.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1441.75/1442.05 c 1442s| 27800 | 8266 | 7065k| 253.5 | 128M| 86 | 719 |3295 |8831 |3295 |3776 |1141 | 51k|8945 | 9.100000e+01 | -- | Inf
1444.24/1444.55 c 1445s| 27900 | 8286 | 7078k| 253.1 | 129M| 86 | - |3295 |8697 | 0 | 0 |1141 | 51k|8945 | 9.100000e+01 | -- | Inf
1447.54/1447.82 c 1448s| 28000 | 8320 | 7096k| 252.8 | 129M| 86 | 476 |3295 |8265 |3295 |3776 |1141 | 51k|8945 | 9.100000e+01 | -- | Inf
1455.64/1455.97 c 1456s| 28100 | 8347 | 7145k| 253.7 | 129M| 86 | 508 |3295 |8157 |3295 |3776 |1141 | 52k|8960 | 9.100000e+01 | -- | Inf
1458.05/1458.31 c 1458s| 28200 | 8364 | 7153k| 253.0 | 129M| 86 | - |3295 |8136 |3295 |3776 |1141 | 52k|8979 | 9.100000e+01 | -- | Inf
1460.84/1461.10 c 1461s| 28300 | 8387 | 7163k| 252.5 | 130M| 86 | - |3295 |8075 | 0 | 0 |1141 | 52k|8993 | 9.100000e+01 | -- | Inf
1463.05/1463.32 c 1463s| 28400 | 8400 | 7172k| 251.9 | 130M| 86 | - |3295 |8062 |3295 |3776 |1141 | 52k|9005 | 9.100000e+01 | -- | Inf
1466.05/1466.34 c 1466s| 28500 | 8383 | 7181k| 251.4 | 130M| 86 | - |3295 |8014 |3295 |3776 |1141 | 52k|9044 | 9.100000e+01 | -- | Inf
1469.44/1469.74 c 1470s| 28600 | 8383 | 7196k| 251.0 | 130M| 86 | 519 |3295 |7945 |3295 |3776 |1141 | 52k|9084 | 9.100000e+01 | -- | Inf
1473.34/1473.61 c 1474s| 28700 | 8395 | 7212k| 250.7 | 130M| 86 | 396 |3295 |7939 |3295 |3776 |1141 | 53k|9130 | 9.100000e+01 | -- | Inf
1479.14/1479.49 c 1479s| 28800 | 8429 | 7241k| 250.8 | 131M| 86 | 400 |3295 |7869 |3295 |3776 |1141 | 53k|9143 | 9.100000e+01 | -- | Inf
1484.74/1485.05 c 1485s| 28900 | 8456 | 7265k| 250.8 | 131M| 86 | 641 |3295 |7918 |3295 |3776 |1141 | 53k|9185 | 9.100000e+01 | -- | Inf
1487.14/1487.40 c 1487s| 29000 | 8469 | 7274k| 250.2 | 132M| 86 | - |3295 |8059 | 0 | 0 |1141 | 53k|9209 | 9.100000e+01 | -- | Inf
1490.54/1490.89 c 1491s| 29100 | 8471 | 7288k| 249.9 | 132M| 86 | 341 |3295 |7997 |3295 |3776 |1141 | 54k|9221 | 9.100000e+01 | -- | Inf
1493.74/1494.01 c 1494s| 29200 | 8458 | 7299k| 249.4 | 132M| 86 | - |3295 |7983 |3295 |3776 |1141 | 54k|9286 | 9.100000e+01 | -- | Inf
1498.34/1498.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1498.34/1498.61 c 1499s| 29300 | 8475 | 7328k| 249.5 | 132M| 86 | 517 |3295 |7916 |3295 |3776 |1141 | 54k|9315 | 9.100000e+01 | -- | Inf
1501.64/1501.90 c 1502s| 29400 | 8500 | 7341k| 249.1 | 132M| 86 | 368 |3295 |7883 |3295 |3776 |1141 | 54k|9358 | 9.100000e+01 | -- | Inf
1504.84/1505.18 c 1505s| 29500 | 8505 | 7352k| 248.6 | 132M| 86 | - |3295 |7947 |3295 |3776 |1141 | 54k|9399 | 9.100000e+01 | -- | Inf
1508.34/1508.64 c 1509s| 29600 | 8518 | 7370k| 248.4 | 133M| 86 | 453 |3295 |8010 |3295 |3776 |1141 | 55k|9429 | 9.100000e+01 | -- | Inf
1511.23/1511.57 c 1512s| 29700 | 8506 | 7381k| 247.9 | 133M| 86 | 387 |3295 |8249 |3295 |3776 |1141 | 55k|9478 | 9.100000e+01 | -- | Inf
1514.53/1514.86 c 1515s| 29800 | 8530 | 7393k| 247.5 | 133M| 86 | 328 |3295 |8243 |3295 |3776 |1141 | 55k|9519 | 9.100000e+01 | -- | Inf
1519.33/1519.65 c 1520s| 29900 | 8538 | 7411k| 247.3 | 133M| 86 | - |3295 |8139 |3295 |3776 |1141 | 55k|9557 | 9.100000e+01 | -- | Inf
1523.63/1523.98 c 1524s| 30000 | 8582 | 7429k| 247.0 | 133M| 86 | - |3295 |7926 | 0 | 0 |1141 | 55k|9591 | 9.100000e+01 | -- | Inf
1525.13/1525.40 c 1525s| 30100 | 8589 | 7435k| 246.4 | 133M| 86 | 542 |3295 |8006 |3295 |3776 |1141 | 56k|9591 | 9.100000e+01 | -- | Inf
1528.74/1529.03 c 1529s| 30200 | 8613 | 7455k| 246.3 | 134M| 86 | - |3295 |7932 | 0 | 0 |1141 | 56k|9606 | 9.100000e+01 | -- | Inf
1533.14/1533.43 c 1533s| 30300 | 8639 | 7477k| 246.2 | 134M| 86 | 339 |3295 |7777 |3295 |3776 |1141 | 56k|9644 | 9.100000e+01 | -- | Inf
1538.82/1539.12 c 1539s| 30400 | 8676 | 7504k| 246.3 | 135M| 86 | 764 |3295 |7655 |3295 |3776 |1141 | 56k|9691 | 9.100000e+01 | -- | Inf
1541.42/1541.78 c 1542s| 30500 | 8699 | 7517k| 245.9 | 135M| 86 | - |3295 |7737 |3295 |3776 |1141 | 56k|9727 | 9.100000e+01 | -- | Inf
1545.53/1545.81 c 1546s| 30600 | 8715 | 7535k| 245.7 | 135M| 86 | - |3295 |7692 | 0 | 0 |1141 | 57k|9741 | 9.100000e+01 | -- | Inf
1549.43/1549.80 c 1550s| 30700 | 8743 | 7555k| 245.5 | 135M| 86 | 560 |3295 |7785 |3295 |3776 |1141 | 57k|9762 | 9.100000e+01 | -- | Inf
1553.02/1553.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1553.02/1553.37 c 1553s| 30800 | 8768 | 7571k| 245.3 | 136M| 86 | 443 |3295 |7878 |3295 |3776 |1141 | 57k|9803 | 9.100000e+01 | -- | Inf
1556.23/1556.57 c 1557s| 30900 | 8801 | 7587k| 245.0 | 136M| 86 | - |3295 |7932 | 0 | 0 |1141 | 57k|9836 | 9.100000e+01 | -- | Inf
1559.72/1560.05 c 1560s| 31000 | 8829 | 7605k| 244.7 | 136M| 86 | - |3295 |7978 | 0 | 0 |1141 | 57k|9889 | 9.100000e+01 | -- | Inf
1565.42/1565.73 c 1566s| 31100 | 8848 | 7632k| 244.8 | 137M| 86 | - |3295 |7976 |3295 |3776 |1141 | 58k|9937 | 9.100000e+01 | -- | Inf
1568.92/1569.26 c 1569s| 31200 | 8874 | 7651k| 244.7 | 137M| 86 | 596 |3295 |8013 |3295 |3776 |1141 | 58k|9958 | 9.100000e+01 | -- | Inf
1575.12/1575.49 c 1575s| 31300 | 8904 | 7674k| 244.6 | 137M| 86 | - |3295 |7949 | 0 | 0 |1141 | 58k| 10k| 9.100000e+01 | -- | Inf
1577.32/1577.64 c 1578s| 31400 | 8934 | 7686k| 244.2 | 137M| 86 | - |3295 |7939 | 0 | 0 |1141 | 58k| 10k| 9.100000e+01 | -- | Inf
1580.82/1581.15 c 1581s| 31500 | 8969 | 7702k| 244.0 | 138M| 86 | 526 |3295 |7936 |3295 |3776 |1141 | 58k| 10k| 9.100000e+01 | -- | Inf
1585.12/1585.41 c 1585s| 31600 | 8986 | 7723k| 243.8 | 138M| 86 | 320 |3295 |7963 |3295 |3776 |1141 | 58k| 10k| 9.100000e+01 | -- | Inf
1588.42/1588.71 c 1589s| 31700 | 8993 | 7738k| 243.5 | 138M| 86 | - |3295 |8055 |3295 |3776 |1141 | 59k| 10k| 9.100000e+01 | -- | Inf
1592.32/1592.65 c 1593s| 31800 | 9004 | 7752k| 243.2 | 139M| 86 | 715 |3295 |7970 |3295 |3776 |1141 | 59k| 10k| 9.100000e+01 | -- | Inf
1596.62/1596.92 c 1597s| 31900 | 9043 | 7777k| 243.2 | 139M| 86 | - |3295 |8004 |3295 |3776 |1141 | 59k| 10k| 9.100000e+01 | -- | Inf
1602.43/1602.72 c 1603s| 32000 | 9066 | 7802k| 243.3 | 139M| 86 | 248 |3295 |8006 |3295 |3776 |1141 | 59k| 10k| 9.100000e+01 | -- | Inf
1606.42/1606.72 c 1607s| 32100 | 9087 | 7821k| 243.1 | 139M| 86 | - |3295 |7815 |3295 |3776 |1141 | 59k| 10k| 9.100000e+01 | -- | Inf
1608.92/1609.25 c 1609s| 32200 | 9113 | 7834k| 242.7 | 140M| 86 | 518 |3295 |7846 |3295 |3776 |1141 | 60k| 10k| 9.100000e+01 | -- | Inf
1611.91/1612.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1611.91/1612.20 c 1612s| 32300 | 9138 | 7846k| 242.4 | 140M| 86 | - |3295 |7834 |3295 |3776 |1141 | 60k| 10k| 9.100000e+01 | -- | Inf
1614.81/1615.11 c 1615s| 32400 | 9147 | 7857k| 242.0 | 140M| 86 | 493 |3295 |7933 |3295 |3776 |1141 | 60k| 10k| 9.100000e+01 | -- | Inf
1618.21/1618.51 c 1619s| 32500 | 9173 | 7880k| 241.9 | 140M| 86 | 549 |3295 |7975 |3295 |3776 |1141 | 60k| 10k| 9.100000e+01 | -- | Inf
1623.22/1623.58 c 1624s| 32600 | 9196 | 7894k| 241.6 | 140M| 86 | - |3295 |7961 | 0 | 0 |1141 | 60k| 10k| 9.100000e+01 | -- | Inf
1628.62/1628.93 c 1629s| 32700 | 9222 | 7923k| 241.8 | 141M| 86 | - |3295 |8155 |3295 |3776 |1141 | 61k| 10k| 9.100000e+01 | -- | Inf
1632.31/1632.66 c 1633s| 32800 | 9248 | 7950k| 241.8 | 141M| 86 | 562 |3295 |8077 |3295 |3776 |1141 | 61k| 10k| 9.100000e+01 | -- | Inf
1637.11/1637.46 c 1637s| 32900 | 9272 | 7970k| 241.7 | 141M| 86 | 593 |3295 |8071 |3295 |3776 |1141 | 61k| 10k| 9.100000e+01 | -- | Inf
1639.31/1639.62 c 1640s| 33000 | 9276 | 7980k| 241.3 | 141M| 86 | 771 |3295 |8208 |3295 |3776 |1141 | 61k| 10k| 9.100000e+01 | -- | Inf
1643.51/1643.87 c 1644s| 33100 | 9297 | 8001k| 241.2 | 142M| 86 | 788 |3295 |8178 |3295 |3776 |1141 | 62k| 10k| 9.100000e+01 | -- | Inf
1646.32/1646.70 c 1647s| 33200 | 9309 | 8013k| 240.8 | 142M| 86 | - |3295 |8117 |3295 |3776 |1141 | 62k| 10k| 9.100000e+01 | -- | Inf
1650.41/1650.72 c 1651s| 33300 | 9336 | 8030k| 240.6 | 142M| 86 | - |3295 |8175 | 0 | 0 |1141 | 62k| 10k| 9.100000e+01 | -- | Inf
1655.51/1655.80 c 1656s| 33400 | 9360 | 8054k| 240.6 | 142M| 86 | 747 |3295 |8181 |3295 |3776 |1141 | 62k| 10k| 9.100000e+01 | -- | Inf
1660.81/1661.13 c 1661s| 33500 | 9387 | 8081k| 240.7 | 143M| 86 | 791 |3295 |8111 |3295 |3776 |1141 | 63k| 10k| 9.100000e+01 | -- | Inf
1664.21/1664.59 c 1665s| 33600 | 9402 | 8103k| 240.6 | 143M| 86 | 472 |3295 |8211 |3295 |3776 |1141 | 63k| 10k| 9.100000e+01 | -- | Inf
1671.21/1671.59 c 1672s| 33700 | 9422 | 8129k| 240.7 | 143M| 86 | 832 |3295 |8097 |3295 |3776 |1141 | 63k| 10k| 9.100000e+01 | -- | Inf
1674.31/1674.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1674.31/1674.66 c 1675s| 33800 | 9457 | 8152k| 240.7 | 143M| 86 | 695 |3295 |8061 |3295 |3776 |1141 | 63k| 10k| 9.100000e+01 | -- | Inf
1680.20/1680.59 c 1681s| 33900 | 9522 | 8189k| 241.0 | 144M| 86 | 752 |3295 |8060 |3295 |3776 |1141 | 63k| 10k| 9.100000e+01 | -- | Inf
1683.90/1684.24 c 1684s| 34000 | 9546 | 8209k| 240.9 | 144M| 86 | 736 |3295 |8103 |3295 |3776 |1141 | 63k| 10k| 9.100000e+01 | -- | Inf
1688.31/1688.66 c 1689s| 34100 | 9562 | 8232k| 240.9 | 144M| 86 | - |3295 |8029 |3295 |3776 |1141 | 64k| 10k| 9.100000e+01 | -- | Inf
1696.51/1696.81 c 1697s| 34200 | 9591 | 8279k| 241.6 | 144M| 86 | 781 |3295 |8171 |3295 |3776 |1141 | 64k| 10k| 9.100000e+01 | -- | Inf
1699.31/1699.66 c 1700s| 34300 | 9617 | 8294k| 241.3 | 145M| 86 | 368 |3295 |8205 |3295 |3776 |1141 | 65k| 10k| 9.100000e+01 | -- | Inf
1702.20/1702.53 c 1703s| 34400 | 9648 | 8308k| 241.0 | 145M| 86 | - |3295 |8222 | 0 | 0 |1141 | 65k| 10k| 9.100000e+01 | -- | Inf
1707.91/1708.25 c 1708s| 34500 | 9702 | 8336k| 241.1 | 146M| 86 | 425 |3295 |8290 |3295 |3776 |1141 | 65k| 10k| 9.100000e+01 | -- | Inf
1710.90/1711.24 c 1711s| 34600 | 9700 | 8351k| 240.9 | 146M| 86 | 445 |3295 |8326 |3295 |3776 |1141 | 65k| 10k| 9.100000e+01 | -- | Inf
1716.71/1717.07 c 1717s| 34700 | 9738 | 8375k| 240.8 | 146M| 86 | - |3295 |8214 | 0 | 0 |1141 | 66k| 10k| 9.100000e+01 | -- | Inf
1719.80/1720.11 c 1720s| 34800 | 9749 | 8390k| 240.6 | 146M| 86 | 920 |3295 |8265 |3295 |3776 |1141 | 66k| 10k| 9.100000e+01 | -- | Inf
1723.31/1723.70 c 1724s| 34900 | 9781 | 8409k| 240.5 | 146M| 86 | 549 |3295 |8309 |3295 |3776 |1141 | 66k| 10k| 9.100000e+01 | -- | Inf
1726.40/1726.75 c 1727s| 35000 | 9786 | 8429k| 240.3 | 146M| 86 | - |3295 |8467 |3295 |3776 |1141 | 66k| 10k| 9.100000e+01 | -- | Inf
1730.00/1730.37 c 1730s| 35100 | 9802 | 8445k| 240.1 | 146M| 86 | 440 |3295 |8362 |3295 |3776 |1141 | 66k| 10k| 9.100000e+01 | -- | Inf
1735.00/1735.32 c 1735s| 35200 | 9815 | 8463k| 239.9 | 147M| 86 | 309 |3295 |8349 |3295 |3776 |1141 | 67k| 11k| 9.100000e+01 | -- | Inf
1740.40/1740.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1740.40/1740.75 c 1741s| 35300 | 9856 | 8500k| 240.3 | 147M| 86 | 419 |3295 |8170 |3295 |3776 |1141 | 67k| 11k| 9.100000e+01 | -- | Inf
1750.30/1750.65 c 1751s| 35400 | 9895 | 8541k| 240.8 | 147M| 86 | 656 |3295 |8300 |3295 |3776 |1141 | 68k| 11k| 9.100000e+01 | -- | Inf
1752.89/1753.27 c 1753s| 35500 | 9897 | 8551k| 240.4 | 148M| 86 | 563 |3295 |8404 |3295 |3776 |1141 | 68k| 11k| 9.100000e+01 | -- | Inf
1758.29/1758.63 c 1759s| 35600 | 9928 | 8576k| 240.4 | 148M| 86 | - |3295 |8269 |3295 |3776 |1141 | 68k| 11k| 9.100000e+01 | -- | Inf
1762.20/1762.56 c 1763s| 35700 | 9971 | 8599k| 240.4 | 148M| 86 | 816 |3295 |8269 |3295 |3776 |1141 | 68k| 11k| 9.100000e+01 | -- | Inf
1767.09/1767.40 c 1767s| 35800 | 10002 | 8618k| 240.2 | 148M| 86 | - |3295 |8305 | 0 | 0 |1141 | 68k| 11k| 9.100000e+01 | -- | Inf
1771.09/1771.42 c 1771s| 35900 | 10028 | 8638k| 240.1 | 148M| 86 | 592 |3295 |8357 |3295 |3776 |1141 | 69k| 11k| 9.100000e+01 | -- | Inf
1775.89/1776.23 c 1776s| 36000 | 10058 | 8662k| 240.1 | 149M| 86 | 444 |3295 |8313 |3295 |3776 |1141 | 69k| 11k| 9.100000e+01 | -- | Inf
1778.59/1778.95 c 1779s| 36100 | 10077 | 8675k| 239.8 | 149M| 86 | 504 |3295 |8394 |3295 |3776 |1141 | 69k| 11k| 9.100000e+01 | -- | Inf
1782.69/1783.02 c 1783s| 36200 | 10099 | 8695k| 239.7 | 149M| 86 | - |3295 |8373 |3295 |3776 |1141 | 69k| 11k| 9.100000e+01 | -- | Inf
1787.39/1787.74 c 1788s| 36300 | 10147 | 8716k| 239.6 | 149M| 86 | 828 |3295 |8214 |3295 |3776 |1141 | 69k| 11k| 9.100000e+01 | -- | Inf
1791.49/1791.87 c 1792s| 36400 | 10165 | 8734k| 239.5 | 149M| 86 | 746 |3295 |8225 |3295 |3776 |1141 | 70k| 11k| 9.100000e+01 | -- | Inf
1796.68/1797.01 c
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Solving Time (sec) : 1797.01
1796.68/1797.01 c Solving Nodes : 36468
1796.68/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.68/1797.01 c Dual Bound : +9.10000000000000e+01
1796.68/1797.01 c Gap : infinite
1796.68/1797.01 s UNKNOWN
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Total Time : 1797.01
1796.68/1797.01 c solving : 1797.01
1796.68/1797.01 c presolving : 0.20 (included in solving)
1796.68/1797.01 c reading : 0.07 (included in solving)
1796.68/1797.01 c copying : 0.06 (2 #copies) (minimal 0.03, maximal 0.03, average 0.03)
1796.68/1797.01 c Original Problem :
1796.68/1797.01 c Problem name : HOME/instance-3690977-1338020545.opb
1796.68/1797.01 c Variables : 3296 (3296 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 6384 initial, 6384 maximal
1796.68/1797.01 c Objective sense : minimize
1796.68/1797.01 c Presolved Problem :
1796.68/1797.01 c Problem name : t_HOME/instance-3690977-1338020545.opb
1796.68/1797.01 c Variables : 3295 (3295 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 3511 initial, 9075 maximal
1796.68/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c knapsack : 0.02 0.00 0 0 0 0 0 0 6 109 435
1796.68/1797.01 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c linear : 0.11 0.00 1 0 0 1 0 2879 0 91 470
1796.68/1797.01 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c root node : - - 0 - - 0 - - - - -
1796.68/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c integral : 0 0 0 0 26513 0 4 0 55 5755 0 0 50244
1796.68/1797.01 c knapsack : 627 627 6 186202 0 0 3 231425 1601 500212 1186 0 0
1796.68/1797.01 c setppc : 6 6 6 18329 0 0 0 1250 0 218 0 0 0
1796.68/1797.01 c linear : 2878+ 4851 7 184601 0 0 0 130338 6487 4745471 23 0 0
1796.68/1797.01 c logicor : 0+ 3717 6 100358 0 0 0 203232 558 88888 0 0 0
1796.68/1797.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.01 c integral : 506.31 0.00 0.00 0.00 506.31 0.00 0.00 0.00
1796.68/1797.01 c knapsack : 20.55 0.00 0.04 20.29 0.00 0.00 0.00 0.22
1796.68/1797.01 c setppc : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00
1796.68/1797.01 c linear : 60.74 0.00 0.01 60.49 0.00 0.00 0.00 0.24
1796.68/1797.01 c logicor : 6.38 0.00 0.00 6.09 0.00 0.00 0.00 0.29
1796.68/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.01 c rootredcost : 0 0 0 0
1796.68/1797.01 c pseudoobj : 212614 0 0 0
1796.68/1797.01 c vbounds : 0 0 0 0
1796.68/1797.01 c redcost : 26614 0 0 154
1796.68/1797.01 c probing : 0 0 0 0
1796.68/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.01 c rootredcost : 0.07 0.00 0.00 0.07 0.00
1796.68/1797.01 c pseudoobj : 0.27 0.00 0.00 0.27 0.00
1796.68/1797.01 c vbounds : 0.06 0.00 0.00 0.06 0.00
1796.68/1797.01 c redcost : 1.39 0.00 0.00 1.39 0.00
1796.68/1797.01 c probing : 0.01 0.00 0.01 0.00 0.00
1796.68/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.01 c propagation : 1.06 8646 8646 81717 43.7 698 19.4 -
1796.68/1797.01 c infeasible LP : 7.10 12800 12800 53255 29.6 1250 17.0 0
1796.68/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.01 c applied globally : - - - 70278 29.6 - - -
1796.68/1797.01 c applied locally : - - - 0 0.0 - - -
1796.68/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.01 c cut pool : 0.00 5 - - 682 - (maximal pool size: 4141)
1796.68/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c impliedbounds : 0.00 0.00 6 0 0 16 0
1796.68/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c gomory : 0.96 0.00 6 0 0 13 0
1796.68/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c strongcg : 0.92 0.00 6 0 0 31 0
1796.68/1797.01 c cmir : 1.25 0.00 6 0 0 3000 0
1796.68/1797.01 c flowcover : 0.77 0.00 6 0 0 1200 0
1796.68/1797.01 c clique : 0.00 0.00 6 0 0 0 0
1796.68/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c mcf : 0.00 0.00 1 0 0 0 0
1796.68/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c rapidlearning : 9.58 0.00 1 0 0 0 1973
1796.68/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.01 c problem variables: 0.00 - 0 0
1796.68/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c relpscost : 506.27 0.00 26513 55 5755 0 0 50244
1796.68/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c inference : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.01 c LP solutions : 0.00 - - 0
1796.68/1797.01 c pseudo solutions : 0.00 - - 0
1796.68/1797.01 c oneopt : 0.03 0.00 0 0
1796.68/1797.01 c crossover : 0.02 0.00 0 0
1796.68/1797.01 c guideddiving : 0.00 0.00 0 0
1796.68/1797.01 c intshifting : 0.00 0.00 0 0
1796.68/1797.01 c coefdiving : 71.73 0.00 24 0
1796.68/1797.01 c rootsoldiving : 12.29 0.00 52 0
1796.68/1797.01 c pscostdiving : 52.16 0.00 176 0
1796.68/1797.01 c linesearchdiving : 51.55 0.00 247 0
1796.68/1797.01 c smallcard : 0.00 0.00 0 0
1796.68/1797.01 c trivial : 0.00 0.00 2 0
1796.68/1797.01 c shiftandpropagate: 0.21 0.00 1 0
1796.68/1797.01 c simplerounding : 0.01 0.00 0 0
1796.68/1797.01 c zirounding : 0.37 0.00 1000 0
1796.68/1797.01 c rounding : 1.28 0.00 2266 0
1796.68/1797.01 c shifting : 9.70 0.00 672 0
1796.68/1797.01 c twoopt : 0.00 0.00 0 0
1796.68/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.01 c indoneopt : 0.03 0.00 0 0
1796.68/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.01 c feaspump : 27.89 0.00 36 0
1796.68/1797.01 c clique : 0.00 0.00 0 0
1796.68/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.01 c indrounding : 0.00 0.00 0 0
1796.68/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.01 c fracdiving : 67.71 0.00 41 0
1796.68/1797.01 c veclendiving : 46.93 0.00 248 0
1796.68/1797.01 c intdiving : 0.00 0.00 0 0
1796.68/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.01 c objpscostdiving : 19.24 0.00 15 0
1796.68/1797.01 c octane : 0.00 0.00 0 0
1796.68/1797.01 c rens : 0.12 0.00 1 0
1796.68/1797.01 c rins : 0.00 0.00 0 0
1796.68/1797.01 c localbranching : 0.00 0.00 0 0
1796.68/1797.01 c mutation : 0.00 0.00 0 0
1796.68/1797.01 c dins : 0.00 0.00 0 0
1796.68/1797.01 c vbounds : 0.00 0.00 0 0
1796.68/1797.01 c undercover : 0.00 0.00 0 0
1796.68/1797.01 c subnlp : 0.01 0.00 0 0
1796.68/1797.01 c trysol : 0.02 0.00 0 0
1796.68/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.01 c primal LP : 0.02 1 0 0.00 0.00 0.02 1
1796.68/1797.01 c dual LP : 746.78 33190 6591169 200.71 8826.09 1.08 350
1796.68/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.01 c diving/probing LP: 306.33 22575 2162673 95.80 7059.88
1796.68/1797.01 c strong branching : 501.32 11467 2988973 260.66 5962.25
1796.68/1797.01 c (at root node) : - 13 11043 849.46 -
1796.68/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.01 c B&B Tree :
1796.68/1797.01 c number of runs : 1
1796.68/1797.01 c nodes : 36468
1796.68/1797.01 c nodes (total) : 36468
1796.68/1797.01 c nodes left : 10201
1796.68/1797.01 c max depth : 86
1796.68/1797.01 c max depth (total): 86
1796.68/1797.01 c backtracks : 6093 (16.7%)
1796.68/1797.01 c delayed cutoffs : 3576
1796.68/1797.01 c repropagations : 43494 (1542817 domain reductions, 2344 cutoffs)
1796.68/1797.01 c avg switch length: 7.93
1796.68/1797.01 c switching time : 60.47
1796.68/1797.01 c Solution :
1796.68/1797.01 c Solutions found : 0 (0 improvements)
1796.68/1797.01 c Primal Bound : -
1796.68/1797.01 c Dual Bound : +9.10000000000000e+01
1796.68/1797.01 c Gap : infinite
1796.68/1797.01 c Root Dual Bound : +9.10000000000000e+01
1796.68/1797.01 c Root Iterations : 18298
1796.78/1797.16 c Time complete: 1796.85.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3690977-1338020545/watcher-3690977-1338020545 -o /tmp/evaluation-result-3690977-1338020545/solver-3690977-1338020545 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690977-1338020545.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 18981
/proc/meminfo: memFree=28656924/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=10096 CPUtime=0 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 1285 0 0 0 0 0 0 0 20 0 1 0 268179981 10338304 1240 33554432000 4194304 10173063 140734448266848 140735461093864 8800002 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 2524 1240 416 1460 0 1055 0
[startup+0.0813489 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 18981
/proc/meminfo: memFree=28656924/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=25392 CPUtime=0.07 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 5086 0 0 0 7 0 0 0 20 0 1 0 268179981 26001408 5041 33554432000 4194304 10173063 140734448266848 140735461093864 8886411 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 6383 5049 469 1460 0 4914 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25392
[startup+0.100311 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 18981
/proc/meminfo: memFree=28656924/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=38924 CPUtime=0.09 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 8192 0 0 0 9 0 0 0 20 0 1 0 268179981 39858176 8148 33554432000 4194304 10173063 140734448266848 140735461093864 7545739 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 9779 8188 515 1460 0 8310 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38924
[startup+0.30024 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 18981
/proc/meminfo: memFree=28656924/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=82088 CPUtime=0.29 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 19068 0 0 0 27 2 0 0 20 0 1 0 268179981 84058112 18766 33554432000 4194304 10173063 140734448266848 140735461093864 7545739 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 20522 18766 672 1460 0 19053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 82088
[startup+0.700235 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 18981
/proc/meminfo: memFree=28656924/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=101256 CPUtime=0.69 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 25348 0 0 0 65 4 0 0 20 0 1 0 268179981 103686144 23465 33554432000 4194304 10173063 140734448266848 140735461093864 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 25314 23465 796 1460 0 23845 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 101256
[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18982
/proc/meminfo: memFree=28566264/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=101256 CPUtime=1.49 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 25375 0 0 0 144 5 0 0 20 0 1 0 268179981 103686144 23492 33554432000 4194304 10173063 140734448266848 140734448257272 8046981 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 25314 23492 796 1460 0 23845 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 101256
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18982
/proc/meminfo: memFree=28526948/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=146468 CPUtime=3.09 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 36396 0 0 0 300 9 0 0 20 0 1 0 268179981 149983232 34513 33554432000 4194304 10173063 140734448266848 140734448260888 4419931 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 36617 34513 837 1460 0 35148 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 146468
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18982
/proc/meminfo: memFree=28513252/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=155960 CPUtime=6.29 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 38750 0 0 0 615 14 0 0 20 0 1 0 268179981 159703040 36867 33554432000 4194304 10173063 140734448266848 140734448260888 7550008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 38990 36867 837 1460 0 37521 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 155960
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18982
/proc/meminfo: memFree=28501636/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=166136 CPUtime=12.69 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 41493 0 0 0 1243 26 0 0 20 0 1 0 268179981 170123264 39529 33554432000 4194304 10173063 140734448266848 140734448261736 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 41534 39529 857 1460 0 40065 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 166136
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18982
/proc/meminfo: memFree=28496108/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=166144 CPUtime=25.49 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 43434 0 0 0 2517 32 0 0 20 0 1 0 268179981 170131456 39910 33554432000 4194304 10173063 140734448266848 140734448260296 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 41536 39910 866 1460 0 40067 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 166144
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18982
/proc/meminfo: memFree=28491644/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=166144 CPUtime=51.09 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 43434 0 0 0 5066 43 0 0 20 0 1 0 268179981 170131456 39910 33554432000 4194304 10173063 140734448266848 140734448260680 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 41536 39910 866 1460 0 40067 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 166144
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18982
/proc/meminfo: memFree=28481476/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=166144 CPUtime=102.28 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 43439 0 0 0 10155 73 0 0 20 0 1 0 268179981 170131456 39915 33554432000 4194304 10173063 140734448266848 140734448259832 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 41536 39915 868 1460 0 40067 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 166144
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/177 19021
/proc/meminfo: memFree=28654264/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=166144 CPUtime=162.25 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 43460 0 0 0 16113 112 0 0 20 0 1 0 268179981 170131456 39933 33554432000 4194304 10173063 140734448266848 140734448259656 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 41536 39933 868 1460 0 40067 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 166144
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/176 19021
/proc/meminfo: memFree=28639288/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=166144 CPUtime=222.24 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 43472 0 0 0 22068 156 0 0 20 0 1 0 268179981 170131456 40531 33554432000 4194304 10173063 140734448266848 140734448260024 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 41536 40531 868 1460 0 40067 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 166144
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19023
/proc/meminfo: memFree=28632208/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=166144 CPUtime=282.24 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 43473 0 0 0 28023 201 0 0 20 0 1 0 268179981 170131456 40532 33554432000 4194304 10173063 140734448266848 140734448259832 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 41536 40532 868 1460 0 40067 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 166144
[startup+342.3 s]
/proc/loadavg: 2.11 2.03 1.93 3/177 19023
/proc/meminfo: memFree=28636788/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=166144 CPUtime=342.22 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 43476 0 0 0 33980 242 0 0 20 0 1 0 268179981 170131456 40535 33554432000 4194304 10173063 140734448266848 140734448264216 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 41536 40535 868 1460 0 40067 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 166144
[startup+402.3 s]
/proc/loadavg: 2.04 2.02 1.93 3/177 19023
/proc/meminfo: memFree=28632992/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=166144 CPUtime=402.22 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 43482 0 0 0 39940 282 0 0 20 0 1 0 268179981 170131456 40541 33554432000 4194304 10173063 140734448266848 140734448260760 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 41536 40541 868 1460 0 40067 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 166144
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/178 19027
/proc/meminfo: memFree=28631608/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=167716 CPUtime=462.2 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 43801 0 0 0 45894 326 0 0 20 0 1 0 268179981 171741184 40866 33554432000 4194304 10173063 140734448266848 140734448259048 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 41929 40866 868 1460 0 40460 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 167716
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 19027
/proc/meminfo: memFree=28617404/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=174252 CPUtime=522.19 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 67869 0 0 0 51849 370 0 0 20 0 1 0 268179981 178434048 42732 33554432000 4194304 10173063 140734448266848 140734448259832 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 43563 42732 868 1460 0 42094 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 174252
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 19027
/proc/meminfo: memFree=28607820/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=182480 CPUtime=582.18 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 101350 0 0 0 57803 415 0 0 20 0 1 0 268179981 186859520 44724 33554432000 4194304 10173063 140734448266848 140734448259976 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 45620 44724 868 1460 0 44151 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 182480
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28553020/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=224980 CPUtime=1062.11 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 183486 0 0 0 105428 783 0 0 20 0 1 0 268179981 230379520 55488 33554432000 4194304 10173063 140734448266848 140734448260760 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 56245 55488 868 1460 0 54776 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 224980
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 19032
/proc/meminfo: memFree=28554792/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=234812 CPUtime=1122.09 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 194302 0 0 0 111384 825 0 0 20 0 1 0 268179981 240447488 57911 33554432000 4194304 10173063 140734448266848 140734448260024 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 58703 57911 868 1460 0 57234 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 234812
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 19032
/proc/meminfo: memFree=28538384/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=243316 CPUtime=1182.09 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 204133 0 0 0 117339 870 0 0 20 0 1 0 268179981 249155584 60057 33554432000 4194304 10173063 140734448266848 140734448260680 8047326 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 60829 60057 868 1460 0 59360 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 243316
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 19032
/proc/meminfo: memFree=28529580/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=249472 CPUtime=1242.08 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 216272 0 0 0 123290 918 0 0 20 0 1 0 268179981 255459328 61374 33554432000 4194304 10173063 140734448266848 140734448259368 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 62368 61374 868 1460 0 60899 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 249472
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 19032
/proc/meminfo: memFree=28524128/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=254720 CPUtime=1302.07 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 260813 0 0 0 129243 964 0 0 20 0 1 0 268179981 260833280 62648 33554432000 4194304 10173063 140734448266848 140734448264216 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 63680 62648 868 1460 0 62211 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 254720
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 19032
/proc/meminfo: memFree=28519552/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=264856 CPUtime=1362.05 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 270777 0 0 0 135193 1012 0 0 20 0 1 0 268179981 271212544 65440 33554432000 4194304 10173063 140734448266848 140734448259832 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 66214 65440 868 1460 0 64745 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 264856
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 19033
/proc/meminfo: memFree=28513656/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=268904 CPUtime=1422.05 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 278707 0 0 0 141145 1060 0 0 20 0 1 0 268179981 275357696 66444 33554432000 4194304 10173063 140734448266848 140734448259944 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 67226 66444 868 1460 0 65757 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 268904
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 19033
/proc/meminfo: memFree=28501752/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=280408 CPUtime=1482.04 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 290898 0 0 0 147103 1101 0 0 20 0 1 0 268179981 287137792 69157 33554432000 4194304 10173063 140734448266848 140734448259560 8033042 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 70102 69157 868 1460 0 68633 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 280408
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 19033
/proc/meminfo: memFree=28495644/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=287548 CPUtime=1542.03 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 316755 0 0 0 153057 1146 0 0 20 0 1 0 268179981 294449152 71132 33554432000 4194304 10173063 140734448266848 140734448264216 8047285 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 71887 71132 868 1460 0 70418 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 287548
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 19033
/proc/meminfo: memFree=28494652/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=288728 CPUtime=1602.01 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 344670 0 0 0 159009 1192 0 0 20 0 1 0 268179981 295657472 71341 33554432000 4194304 10173063 140734448266848 140734448260104 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 72182 71341 868 1460 0 70713 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 288728
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19036
/proc/meminfo: memFree=28482224/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=298952 CPUtime=1662.01 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 350019 0 0 0 164961 1240 0 0 20 0 1 0 268179981 306126848 73979 33554432000 4194304 10173063 140734448266848 140734448259368 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 74738 73979 868 1460 0 73269 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 298952
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 19037
/proc/meminfo: memFree=28490264/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=302552 CPUtime=1722 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 367051 0 0 0 170912 1288 0 0 20 0 1 0 268179981 309813248 74632 33554432000 4194304 10173063 140734448266848 140734448259720 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 75638 74632 868 1460 0 74169 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 302552
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 19037
/proc/meminfo: memFree=28474452/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=307120 CPUtime=1781.99 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 378674 0 0 0 176864 1335 0 0 20 0 1 0 268179981 314490880 75911 33554432000 4194304 10173063 140734448266848 140734448259832 4435967 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 76780 75911 868 1460 0 75311 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 307120
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 19037
/proc/meminfo: memFree=28472344/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=304232 CPUtime=1785.19 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 379694 0 0 0 177181 1338 0 0 20 0 1 0 268179981 311533568 75236 33554432000 4194304 10173063 140734448266848 140734448260488 8046931 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 76058 75236 868 1460 0 74589 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 304232
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 19037
/proc/meminfo: memFree=28472840/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=308448 CPUtime=1791.59 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 382259 0 0 0 177817 1342 0 0 20 0 1 0 268179981 315850752 76311 33554432000 4194304 10173063 140734448266848 140734448263320 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 77112 76311 868 1460 0 75643 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 308448
[startup+1795.1 s]
/proc/loadavg: 2.08 2.02 1.94 3/177 19037
/proc/meminfo: memFree=28471476/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=310496 CPUtime=1794.79 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 384509 0 0 0 178134 1345 0 0 20 0 1 0 268179981 317947904 76653 33554432000 4194304 10173063 140734448266848 140734448259368 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 77624 76653 868 1460 0 76155 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 310496
[startup+1795.9 s]
/proc/loadavg: 2.08 2.02 1.94 3/177 19037
/proc/meminfo: memFree=28471476/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=304596 CPUtime=1795.59 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 384628 0 0 0 178213 1346 0 0 20 0 1 0 268179981 311906304 75224 33554432000 4194304 10173063 140734448266848 140734448260104 4435961 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 76149 75224 868 1460 0 74680 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 304596
[startup+1796.7 s]
/proc/loadavg: 2.08 2.02 1.94 3/177 19037
/proc/meminfo: memFree=28476312/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=306872 CPUtime=1796.39 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 385079 0 0 0 178293 1346 0 0 20 0 1 0 268179981 314236928 75675 33554432000 4194304 10173063 140734448266848 140734448260104 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 76718 75675 868 1460 0 75249 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 306872
[startup+1797.1 s]
/proc/loadavg: 2.08 2.02 1.94 3/177 19037
/proc/meminfo: memFree=28476312/32873648 swapFree=7100/7100
[pid=18981] ppid=18979 vsize=306872 CPUtime=1796.78 cores=1,3,5,7
/proc/18981/stat : 18981 (scip-2.1.1.4fix) R 18979 18981 18656 0 -1 4202496 385087 0 0 0 178332 1346 0 0 20 0 1 0 268179981 314236928 75683 33554432000 4194304 10173063 140734448266848 140734448260152 5889103 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18981/statm: 76718 75683 871 1460 0 75249 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 306872
Child status: 0
Real time (s): 1797.17
CPU time (s): 1796.87
CPU user time (s): 1783.39
CPU system time (s): 13.48
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 310736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.39
system time used= 13.48
maximum resident set size= 307184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 385089
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= 40
involuntary context switches= 1846
runsolver used 3.33249 second user time and 8.69268 second system time
The end