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-3692812-1338017384.opb>
0.00/0.00 c original problem has 266 variables (266 bin, 0 int, 0 impl, 0 cont) and 573 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 3 del vars, 1 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 302 impls, 0 clqs
0.00/0.01 c (round 2) 14 del vars, 18 del conss, 0 add conss, 12 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 302 impls, 0 clqs
0.00/0.01 c (round 3) 14 del vars, 29 del conss, 0 add conss, 12 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 302 impls, 0 clqs
0.00/0.02 c (round 4) 14 del vars, 29 del conss, 0 add conss, 12 chg bounds, 0 chg sides, 0 chg coeffs, 544 upgd conss, 302 impls, 0 clqs
0.00/0.03 c (round 5) 20 del vars, 35 del conss, 465 add conss, 12 chg bounds, 465 chg sides, 936 chg coeffs, 544 upgd conss, 6476 impls, 6 clqs
0.00/0.04 c (round 6) 20 del vars, 47 del conss, 465 add conss, 12 chg bounds, 465 chg sides, 936 chg coeffs, 544 upgd conss, 6476 impls, 6 clqs
0.00/0.04 c (round 7) 20 del vars, 49 del conss, 465 add conss, 12 chg bounds, 465 chg sides, 936 chg coeffs, 544 upgd conss, 6476 impls, 6 clqs
0.00/0.08 c (0.1s) probing cycle finished: starting next cycle
0.00/0.08 c (round 8) 27 del vars, 61 del conss, 469 add conss, 13 chg bounds, 465 chg sides, 936 chg coeffs, 544 upgd conss, 7795 impls, 3 clqs
0.00/0.08 c (round 9) 27 del vars, 91 del conss, 473 add conss, 13 chg bounds, 467 chg sides, 963 chg coeffs, 544 upgd conss, 7795 impls, 4 clqs
0.00/0.09 c (round 10) 27 del vars, 138 del conss, 511 add conss, 13 chg bounds, 486 chg sides, 1020 chg coeffs, 544 upgd conss, 7795 impls, 24 clqs
0.09/0.10 c (0.1s) probing: 47/239 (19.7%) - 6 fixings, 1 aggregations, 358 implications, 1 bound changes
0.09/0.10 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.10 c (round 11) 27 del vars, 141 del conss, 512 add conss, 13 chg bounds, 486 chg sides, 1020 chg coeffs, 544 upgd conss, 7795 impls, 24 clqs
0.09/0.10 c presolving (12 rounds):
0.09/0.10 c 27 deleted vars, 141 deleted constraints, 512 added constraints, 13 tightened bounds, 0 added holes, 486 changed sides, 1020 changed coefficients
0.09/0.10 c 7795 implications, 24 cliques
0.09/0.10 c presolved problem has 239 variables (239 bin, 0 int, 0 impl, 0 cont) and 944 constraints
0.09/0.10 c 131 constraints of type <knapsack>
0.09/0.10 c 558 constraints of type <setppc>
0.09/0.10 c 4 constraints of type <and>
0.09/0.10 c 251 constraints of type <logicor>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.09
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 2.1.1.4
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1797
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 13950
0.09/0.10 c
0.09/0.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.10 c # [type: int, range: [1,2], default: 1]
0.09/0.10 c timing/clocktype = 2
0.09/0.10 c
0.09/0.10 c # belongs reading time to solving time?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c timing/reading = TRUE
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.19 c 0.2s| 1 | 0 | 1314 | - |2381k| 0 | 214 | 239 | 959 | 239 | 948 | 0 | 15 | 0 | 0.000000e+00 | -- | Inf
0.79/0.82 c 0.8s| 1 | 0 | 7029 | - |3609k| 0 | 212 | 239 | 959 | 239 | 957 | 9 | 15 | 0 | 0.000000e+00 | -- | Inf
0.89/0.95 c 1.0s| 1 | 0 | 7096 | - |4534k| 0 | 217 | 239 | 959 | 239 | 970 | 22 | 15 | 0 | 0.000000e+00 | -- | Inf
1.00/1.10 c 1.1s| 1 | 0 | 7161 | - |5781k| 0 | 218 | 239 | 959 | 239 | 977 | 29 | 15 | 0 | 0.000000e+00 | -- | Inf
1.19/1.25 c 1.3s| 1 | 0 | 7265 | - |7064k| 0 | 217 | 239 | 959 | 239 | 982 | 34 | 15 | 0 | 0.000000e+00 | -- | Inf
1.38/1.40 c 1.4s| 1 | 0 | 7327 | - |7303k| 0 | 220 | 239 | 959 | 239 | 987 | 39 | 15 | 0 | 0.000000e+00 | -- | Inf
1.49/1.55 c 1.5s| 1 | 0 | 7411 | - |7482k| 0 | 220 | 239 | 959 | 239 | 990 | 42 | 15 | 0 | 0.000000e+00 | -- | Inf
2.99/3.01 c 3.0s| 1 | 2 | 7411 | - |7482k| 0 | 220 | 239 | 959 | 239 | 990 | 42 | 15 | 20 | 0.000000e+00 | -- | Inf
10.08/10.15 c 10.2s| 100 | 19 | 15184 | 78.5 |7538k| 14 | - | 239 | 959 | 239 | 971 | 44 | 15 |1127 | 0.000000e+00 | -- | Inf
10.48/10.55 c 10.5s| 200 | 13 | 18696 | 56.7 |7525k| 15 | - | 239 | 959 | 239 | 969 | 44 | 15 |1177 | 0.000000e+00 | -- | Inf
10.90/10.97 c 11.0s| 300 | 11 | 22377 | 50.1 |7525k| 17 | 96 | 239 | 972 | 239 | 971 | 44 | 28 |1218 | 0.000000e+00 | -- | Inf
11.18/11.28 c 11.3s| 400 | 9 | 25153 | 44.5 |7532k| 21 | - | 239 |1000 | 239 | 971 | 45 | 56 |1242 | 0.000000e+00 | -- | Inf
11.99/12.05 c 12.1s| 500 | 9 | 27807 | 40.9 |7553k| 21 | - | 239 |1048 | 0 | 0 | 46 | 105 |1333 | 0.000000e+00 | -- | Inf
12.29/12.33 c 12.3s| 600 | 15 | 30681 | 38.8 |7575k| 21 | 112 | 239 |1075 | 239 | 971 | 46 | 132 |1344 | 0.000000e+00 | -- | Inf
12.48/12.59 c 12.6s| 700 | 13 | 33771 | 37.7 |7580k| 21 | 85 | 239 |1094 | 239 | 971 | 46 | 151 |1351 | 0.000000e+00 | -- | Inf
12.79/12.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.79/12.88 c 12.9s| 800 | 11 | 36797 | 36.8 |7575k| 21 | 94 | 239 |1114 | 239 | 971 | 46 | 171 |1362 | 0.000000e+00 | -- | Inf
13.20/13.25 c 13.3s| 900 | 13 | 40215 | 36.5 |7597k| 21 | - | 239 |1145 | 239 | 971 | 46 | 202 |1380 | 0.000000e+00 | -- | Inf
13.58/13.61 c 13.6s| 1000 | 13 | 43650 | 36.3 |7609k| 21 | - | 239 |1172 | 239 | 971 | 46 | 229 |1396 | 0.000000e+00 | -- | Inf
13.78/13.87 c 13.9s| 1100 | 17 | 46439 | 35.5 |7622k| 23 | 88 | 239 |1198 | 239 | 970 | 46 | 255 |1407 | 0.000000e+00 | -- | Inf
14.09/14.17 c 14.2s| 1200 | 13 | 49649 | 35.2 |7629k| 25 | 98 | 239 |1227 | 239 | 970 | 46 | 284 |1419 | 0.000000e+00 | -- | Inf
14.39/14.41 c 14.4s| 1300 | 13 | 52558 | 34.8 |7631k| 25 | 85 | 239 |1244 | 239 | 971 | 46 | 301 |1424 | 0.000000e+00 | -- | Inf
14.59/14.65 c 14.7s| 1400 | 15 | 55619 | 34.5 |7651k| 25 | - | 239 |1259 | 239 | 971 | 46 | 316 |1426 | 0.000000e+00 | -- | Inf
14.79/14.85 c 14.9s| 1500 | 15 | 58047 | 33.8 |7655k| 25 | - | 239 |1273 | 239 | 971 | 46 | 331 |1426 | 0.000000e+00 | -- | Inf
15.08/15.11 c 15.1s| 1600 | 15 | 61493 | 33.8 |7664k| 26 | - | 239 |1296 | 239 | 971 | 46 | 354 |1426 | 0.000000e+00 | -- | Inf
15.29/15.33 c 15.3s| 1700 | 17 | 64246 | 33.5 |7669k| 26 | 80 | 239 |1313 | 239 | 971 | 46 | 371 |1426 | 0.000000e+00 | -- | Inf
15.39/15.49 c 15.5s| 1800 | 17 | 66290 | 32.7 |7678k| 27 | 78 | 239 |1328 | 239 | 971 | 46 | 387 |1426 | 0.000000e+00 | -- | Inf
15.58/15.66 c 15.7s| 1900 | 13 | 68490 | 32.2 |7684k| 31 | - | 239 |1352 | 239 | 971 | 46 | 411 |1426 | 0.000000e+00 | -- | Inf
15.78/15.85 c 15.9s| 2000 | 15 | 70819 | 31.7 |7690k| 31 | 103 | 239 |1374 | 239 | 971 | 46 | 435 |1426 | 0.000000e+00 | -- | Inf
15.99/16.03 c 16.0s| 2100 | 13 | 73247 | 31.4 |7690k| 31 | 93 | 239 |1394 | 239 | 970 | 46 | 456 |1426 | 0.000000e+00 | -- | Inf
16.18/16.29 c 16.3s| 2200 | 15 | 76590 | 31.5 |7696k| 31 | 91 | 239 |1400 | 239 | 970 | 46 | 478 |1426 | 0.000000e+00 | -- | Inf
16.39/16.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.39/16.50 c 16.5s| 2300 | 14 | 79288 | 31.3 |7701k| 31 | - | 239 |1424 | 239 | 970 | 46 | 511 |1426 | 0.000000e+00 | -- | Inf
16.58/16.67 c 16.7s| 2400 | 18 | 81564 | 30.9 |7721k| 31 | 84 | 239 |1455 | 239 | 970 | 46 | 543 |1426 | 0.000000e+00 | -- | Inf
16.89/16.92 c 16.9s| 2500 | 17 | 83780 | 30.6 |7731k| 31 | - | 239 |1471 | 239 | 970 | 46 | 561 |1453 | 0.000000e+00 | -- | Inf
17.09/17.16 c 17.2s| 2600 | 19 | 86600 | 30.5 |7736k| 31 | 79 | 239 |1489 | 239 | 970 | 46 | 582 |1464 | 0.000000e+00 | -- | Inf
17.38/17.44 c 17.4s| 2700 | 17 | 89546 | 30.4 |7741k| 31 | - | 239 |1502 | 239 | 970 | 46 | 597 |1488 | 0.000000e+00 | -- | Inf
17.59/17.68 c 17.7s| 2800 | 15 | 91985 | 30.2 |7744k| 31 | - | 239 |1510 | 239 | 970 | 46 | 606 |1507 | 0.000000e+00 | -- | Inf
17.89/17.94 c 17.9s| 2900 | 21 | 94649 | 30.1 |7753k| 31 | 80 | 239 |1517 | 239 | 970 | 46 | 614 |1525 | 0.000000e+00 | -- | Inf
18.18/18.23 c 18.2s| 3000 | 17 | 97767 | 30.1 |7754k| 31 | - | 239 |1528 | 0 | 0 | 46 | 629 |1544 | 0.000000e+00 | -- | Inf
18.39/18.48 c 18.5s| 3100 | 15 |100208 | 29.9 |7752k| 31 | - | 239 |1540 | 239 | 970 | 46 | 641 |1565 | 0.000000e+00 | -- | Inf
18.59/18.64 c 18.6s| 3200 | 17 |101987 | 29.6 |7759k| 31 | 81 | 239 |1560 | 239 | 970 | 46 | 662 |1572 | 0.000000e+00 | -- | Inf
18.79/18.82 c 18.8s| 3300 | 17 |104134 | 29.3 |7767k| 31 | 83 | 239 |1574 | 239 | 970 | 46 | 682 |1579 | 0.000000e+00 | -- | Inf
18.99/19.02 c 19.0s| 3400 | 15 |106497 | 29.2 |7773k| 31 | 86 | 239 |1605 | 239 | 970 | 46 | 718 |1588 | 0.000000e+00 | -- | Inf
19.19/19.24 c 19.2s| 3500 | 13 |109007 | 29.0 |7784k| 31 | - | 239 |1630 | 0 | 0 | 46 | 743 |1595 | 0.000000e+00 | -- | Inf
19.39/19.42 c 19.4s| 3600 | 12 |111466 | 28.9 |7783k| 31 | 101 | 239 |1649 | 239 | 970 | 46 | 766 |1595 | 0.000000e+00 | -- | Inf
19.58/19.68 c 19.7s| 3700 | 16 |114437 | 28.9 |7797k| 31 | - | 239 |1656 | 239 | 970 | 46 | 782 |1606 | 0.000000e+00 | -- | Inf
19.79/19.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.79/19.86 c 19.9s| 3800 | 18 |116557 | 28.7 |7811k| 31 | - | 239 |1678 | 0 | 0 | 46 | 811 |1609 | 0.000000e+00 | -- | Inf
20.18/20.20 c 20.2s| 3900 | 18 |121386 | 29.2 |7818k| 31 | - | 239 |1692 | 0 | 0 | 46 | 839 |1609 | 0.000000e+00 | -- | Inf
20.28/20.38 c 20.4s| 4000 | 16 |123896 | 29.1 |7822k| 31 | - | 239 |1704 | 239 | 970 | 46 | 861 |1609 | 0.000000e+00 | -- | Inf
20.49/20.54 c 20.5s| 4100 | 18 |126024 | 28.9 |7826k| 31 | 87 | 239 |1713 | 239 | 970 | 46 | 878 |1609 | 0.000000e+00 | -- | Inf
20.68/20.72 c 20.7s| 4200 | 16 |128547 | 28.8 |7820k| 31 | 105 | 239 |1715 | 239 | 970 | 46 | 885 |1609 | 0.000000e+00 | -- | Inf
20.89/20.93 c 20.9s| 4300 | 16 |131355 | 28.8 |7832k| 31 | - | 239 |1733 | 239 | 970 | 46 | 911 |1609 | 0.000000e+00 | -- | Inf
21.08/21.15 c 21.2s| 4400 | 13 |134428 | 28.9 |7832k| 31 | - | 239 |1747 | 239 | 970 | 46 | 935 |1609 | 0.000000e+00 | -- | Inf
21.29/21.35 c 21.4s| 4500 | 16 |137178 | 28.8 |7824k| 31 | 97 | 239 |1719 | 239 | 970 | 46 | 950 |1609 | 0.000000e+00 | -- | Inf
21.48/21.57 c 21.6s| 4600 | 12 |140190 | 28.9 |7816k| 31 | - | 239 |1712 | 239 | 970 | 46 | 976 |1609 | 0.000000e+00 | -- | Inf
21.68/21.78 c 21.8s| 4700 | 14 |143022 | 28.9 |7822k| 31 | - | 239 |1705 | 239 | 970 | 46 | 991 |1609 | 0.000000e+00 | -- | Inf
21.89/22.00 c 22.0s| 4800 | 14 |145619 | 28.8 |7822k| 31 | - | 239 |1697 | 239 | 970 | 46 |1002 |1621 | 0.000000e+00 | -- | Inf
22.19/22.23 c 22.2s| 4900 | 18 |147914 | 28.7 |7842k| 31 | - | 239 |1713 | 0 | 0 | 46 |1030 |1634 | 0.000000e+00 | -- | Inf
22.49/22.52 c 22.5s| 5000 | 14 |151015 | 28.7 |7826k| 31 | 100 | 239 |1718 | 239 | 970 | 46 |1049 |1652 | 0.000000e+00 | -- | Inf
22.79/22.81 c 22.8s| 5100 | 12 |154147 | 28.8 |7832k| 31 | - | 239 |1727 | 239 | 970 | 46 |1072 |1667 | 0.000000e+00 | -- | Inf
22.99/23.08 c 23.1s| 5200 | 11 |157169 | 28.8 |7833k| 31 | - | 239 |1740 | 239 | 970 | 46 |1096 |1681 | 0.000000e+00 | -- | Inf
23.39/23.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.39/23.47 c 23.5s| 5300 | 17 |160326 | 28.9 |7852k| 31 | 85 | 239 |1757 | 239 | 970 | 46 |1123 |1712 | 0.000000e+00 | -- | Inf
23.69/23.73 c 23.7s| 5400 | 13 |163336 | 28.9 |7841k| 31 | 95 | 239 |1759 | 239 | 970 | 46 |1147 |1720 | 0.000000e+00 | -- | Inf
23.88/23.96 c 24.0s| 5500 | 13 |166186 | 28.9 |7846k| 31 | 88 | 239 |1763 | 239 | 970 | 46 |1160 |1733 | 0.000000e+00 | -- | Inf
24.29/24.31 c 24.3s| 5600 | 13 |168817 | 28.8 |7854k| 31 | - | 239 |1764 | 0 | 0 | 48 |1185 |1756 | 0.000000e+00 | -- | Inf
24.49/24.56 c 24.6s| 5700 | 15 |171814 | 28.8 |7847k| 31 | 85 | 239 |1744 | 239 | 970 | 48 |1206 |1763 | 0.000000e+00 | -- | Inf
24.69/24.78 c 24.8s| 5800 | 13 |174224 | 28.8 |7849k| 31 | 119 | 239 |1760 | 239 | 971 | 50 |1248 |1770 | 0.000000e+00 | -- | Inf
24.99/25.04 c 25.0s| 5900 | 15 |177348 | 28.8 |7853k| 31 | 115 | 239 |1754 | 239 | 971 | 52 |1286 |1773 | 0.000000e+00 | -- | Inf
25.29/25.30 c 25.3s| 6000 | 15 |180796 | 28.9 |7848k| 31 | - | 239 |1734 | 239 | 970 | 52 |1307 |1773 | 0.000000e+00 | -- | Inf
25.48/25.50 c 25.5s| 6100 | 15 |183553 | 28.9 |7847k| 31 | 104 | 239 |1724 | 239 | 970 | 52 |1326 |1773 | 0.000000e+00 | -- | Inf
25.69/25.73 c 25.7s| 6200 | 15 |186650 | 28.9 |7850k| 31 | 92 | 239 |1729 | 239 | 970 | 52 |1349 |1773 | 0.000000e+00 | -- | Inf
25.88/25.93 c 25.9s| 6300 | 11 |189187 | 28.9 |7853k| 34 | - | 239 |1761 | 0 | 0 | 52 |1394 |1773 | 0.000000e+00 | -- | Inf
26.19/26.22 c 26.2s| 6400 | 17 |192708 | 29.0 |7873k| 34 | 85 | 239 |1785 | 239 | 970 | 53 |1429 |1773 | 0.000000e+00 | -- | Inf
26.40/26.46 c 26.5s| 6500 | 11 |195836 | 29.0 |7875k| 34 | - | 239 |1804 | 239 | 971 | 54 |1453 |1773 | 0.000000e+00 | -- | Inf
26.58/26.68 c 26.7s| 6600 | 13 |198631 | 29.0 |7873k| 34 | 106 | 239 |1817 | 239 | 970 | 54 |1469 |1773 | 0.000000e+00 | -- | Inf
26.89/26.91 c 26.9s| 6700 | 13 |201417 | 29.0 |7881k| 34 | 105 | 239 |1842 | 239 | 970 | 54 |1499 |1773 | 0.000000e+00 | -- | Inf
27.09/27.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.09/27.10 c 27.1s| 6800 | 11 |203983 | 28.9 |7890k| 34 | - | 239 |1858 | 0 | 0 | 54 |1518 |1773 | 0.000000e+00 | -- | Inf
27.28/27.33 c 27.3s| 6900 | 11 |206935 | 28.9 |7893k| 34 | 119 | 239 |1875 | 239 | 970 | 54 |1540 |1773 | 0.000000e+00 | -- | Inf
27.59/27.60 c 27.6s| 7000 | 13 |210136 | 29.0 |7909k| 34 | 106 | 239 |1887 | 239 | 970 | 55 |1575 |1775 | 0.000000e+00 | -- | Inf
27.79/27.86 c 27.9s| 7100 | 15 |212870 | 28.9 |7907k| 34 | 102 | 239 |1875 | 239 | 971 | 56 |1599 |1785 | 0.000000e+00 | -- | Inf
28.08/28.11 c 28.1s| 7200 | 15 |215633 | 28.9 |7908k| 34 | 121 | 239 |1868 | 239 | 971 | 56 |1622 |1794 | 0.000000e+00 | -- | Inf
28.38/28.42 c 28.4s| 7300 | 13 |219270 | 29.0 |7911k| 34 | - | 239 |1859 | 239 | 971 | 56 |1645 |1808 | 0.000000e+00 | -- | Inf
28.69/28.71 c 28.7s| 7400 | 19 |222533 | 29.1 |7916k| 34 | 85 | 239 |1856 | 239 | 971 | 56 |1656 |1820 | 0.000000e+00 | -- | Inf
28.98/29.06 c 29.1s| 7500 | 15 |226063 | 29.2 |7906k| 34 | - | 239 |1837 | 0 | 0 | 56 |1671 |1838 | 0.000000e+00 | -- | Inf
29.29/29.38 c 29.4s| 7600 | 13 |229792 | 29.3 |7903k| 34 | 103 | 239 |1842 | 239 | 971 | 56 |1680 |1850 | 0.000000e+00 | -- | Inf
29.59/29.66 c 29.7s| 7700 | 17 |233338 | 29.3 |7911k| 34 | 88 | 239 |1843 | 239 | 971 | 56 |1694 |1861 | 0.000000e+00 | -- | Inf
29.88/29.91 c 29.9s| 7800 | 13 |236226 | 29.3 |7905k| 34 | - | 239 |1845 | 239 | 971 | 56 |1714 |1871 | 0.000000e+00 | -- | Inf
30.18/30.22 c 30.2s| 7900 | 17 |239635 | 29.4 |7913k| 34 | 106 | 239 |1846 | 239 | 971 | 56 |1741 |1886 | 0.000000e+00 | -- | Inf
30.38/30.49 c 30.5s| 8000 | 15 |242818 | 29.4 |7922k| 34 | - | 239 |1863 | 239 | 971 | 56 |1776 |1891 | 0.000000e+00 | -- | Inf
30.69/30.78 c 30.8s| 8100 | 13 |246358 | 29.5 |7922k| 34 | - | 239 |1880 | 239 | 971 | 56 |1799 |1898 | 0.000000e+00 | -- | Inf
30.99/31.02 c 31.0s| 8200 | 13 |249512 | 29.5 |7935k| 34 | - | 239 |1891 | 239 | 971 | 56 |1814 |1902 | 0.000000e+00 | -- | Inf
31.18/31.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.18/31.21 c 31.2s| 8300 | 15 |251972 | 29.5 |7940k| 34 | - | 239 |1897 | 239 | 971 | 56 |1829 |1904 | 0.000000e+00 | -- | Inf
31.38/31.46 c 31.5s| 8400 | 14 |255354 | 29.5 |7933k| 34 | 115 | 239 |1906 | 239 | 971 | 56 |1841 |1904 | 0.000000e+00 | -- | Inf
31.68/31.70 c 31.7s| 8500 | 12 |258616 | 29.6 |7930k| 34 | 104 | 239 |1914 | 239 | 971 | 56 |1859 |1904 | 0.000000e+00 | -- | Inf
31.89/31.96 c 32.0s| 8600 | 12 |262096 | 29.6 |7939k| 34 | - | 239 |1919 | 239 | 971 | 56 |1868 |1904 | 0.000000e+00 | -- | Inf
32.08/32.18 c 32.2s| 8700 | 14 |265034 | 29.6 |7948k| 34 | - | 239 |1926 | 239 | 971 | 56 |1893 |1904 | 0.000000e+00 | -- | Inf
32.39/32.41 c 32.4s| 8800 | 18 |268002 | 29.6 |7959k| 36 | - | 239 |1941 | 239 | 971 | 56 |1914 |1904 | 0.000000e+00 | -- | Inf
32.59/32.62 c 32.6s| 8900 | 20 |270944 | 29.6 |7961k| 36 | 93 | 239 |1950 | 239 | 971 | 56 |1944 |1904 | 0.000000e+00 | -- | Inf
32.78/32.80 c 32.8s| 9000 | 16 |273223 | 29.5 |7963k| 36 | - | 239 |1963 | 239 | 971 | 56 |1971 |1904 | 0.000000e+00 | -- | Inf
32.89/32.97 c 33.0s| 9100 | 14 |275569 | 29.5 |7960k| 38 | 109 | 239 |1982 | 239 | 971 | 56 |1995 |1904 | 0.000000e+00 | -- | Inf
33.08/33.18 c 33.2s| 9200 | 12 |278464 | 29.5 |7971k| 38 | - | 239 |1993 | 239 | 971 | 56 |2012 |1904 | 0.000000e+00 | -- | Inf
33.38/33.40 c 33.4s| 9300 | 12 |281217 | 29.4 |7967k| 38 | 102 | 239 |2011 | 239 | 971 | 56 |2039 |1904 | 0.000000e+00 | -- | Inf
33.68/33.71 c 33.7s| 9400 | 14 |284659 | 29.5 |7974k| 38 | 88 | 239 |2012 | 239 | 971 | 56 |2049 |1920 | 0.000000e+00 | -- | Inf
33.99/34.04 c 34.0s| 9500 | 10 |287982 | 29.5 |7966k| 38 | 150 | 239 |2008 | 239 | 971 | 56 |2057 |1940 | 0.000000e+00 | -- | Inf
34.39/34.45 c 34.5s| 9600 | 20 |292291 | 29.7 |7981k| 38 | 77 | 239 |1988 | 239 | 971 | 57 |2086 |1953 | 0.000000e+00 | -- | Inf
34.69/34.78 c 34.8s| 9700 | 19 |295954 | 29.7 |7984k| 38 | - | 239 |1959 | 239 | 971 | 57 |2113 |1965 | 0.000000e+00 | -- | Inf
34.89/34.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.89/34.98 c 35.0s| 9800 | 17 |298438 | 29.7 |7972k| 38 | - | 239 |1944 | 239 | 971 | 57 |2130 |1971 | 0.000000e+00 | -- | Inf
35.19/35.28 c 35.3s| 9900 | 17 |301520 | 29.7 |7968k| 38 | - | 239 |1940 | 239 | 971 | 57 |2159 |1987 | 0.000000e+00 | -- | Inf
35.48/35.50 c 35.5s| 10000 | 15 |303903 | 29.7 |7965k| 38 | - | 239 |1925 | 239 | 971 | 57 |2182 |1997 | 0.000000e+00 | -- | Inf
35.68/35.79 c 35.8s| 10100 | 13 |306852 | 29.7 |7957k| 38 | - | 239 |1908 | 239 | 971 | 57 |2199 |2017 | 0.000000e+00 | -- | Inf
35.88/35.98 c 36.0s| 10200 | 13 |309008 | 29.6 |7953k| 38 | 104 | 239 |1910 | 239 | 971 | 57 |2217 |2025 | 0.000000e+00 | -- | Inf
36.19/36.23 c 36.2s| 10300 | 15 |312054 | 29.6 |7954k| 38 | - | 239 |1900 | 239 | 971 | 57 |2221 |2036 | 0.000000e+00 | -- | Inf
36.58/36.62 c 36.6s| 10400 | 17 |316175 | 29.7 |7964k| 38 | - | 239 |1893 | 239 | 970 | 59 |2225 |2048 | 0.000000e+00 | -- | Inf
36.68/36.79 c 36.8s| 10500 | 19 |318293 | 29.6 |7969k| 38 | 106 | 239 |1898 | 239 | 970 | 59 |2233 |2051 | 0.000000e+00 | -- | Inf
36.88/36.96 c 37.0s| 10600 | 15 |320541 | 29.5 |7970k| 38 | - | 239 |1915 | 239 | 970 | 59 |2251 |2052 | 0.000000e+00 | -- | Inf
37.08/37.19 c 37.2s| 10700 | 19 |323609 | 29.6 |7982k| 38 | - | 239 |1918 | 0 | 0 | 59 |2259 |2053 | 0.000000e+00 | -- | Inf
37.39/37.41 c 37.4s| 10800 | 23 |326317 | 29.5 |7998k| 38 | - | 239 |1933 | 0 | 0 | 60 |2281 |2056 | 0.000000e+00 | -- | Inf
37.58/37.65 c 37.7s| 10900 | 21 |328925 | 29.5 |8001k| 38 | 103 | 239 |1954 | 239 | 971 | 61 |2309 |2066 | 0.000000e+00 | -- | Inf
37.79/37.83 c 37.8s| 11000 | 21 |331143 | 29.4 |8012k| 38 | 77 | 239 |1981 | 239 | 971 | 61 |2339 |2069 | 0.000000e+00 | -- | Inf
38.08/38.14 c 38.1s| 11100 | 31 |334941 | 29.5 |8042k| 38 | 113 | 239 |2000 | 239 | 971 | 63 |2359 |2071 | 0.000000e+00 | -- | Inf
38.29/38.34 c 38.3s| 11200 | 25 |337607 | 29.5 |8048k| 38 | - | 239 |2027 | 239 | 971 | 63 |2387 |2072 | 0.000000e+00 | -- | Inf
38.48/38.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.48/38.56 c 38.6s| 11300 | 21 |340422 | 29.5 |8044k| 38 | - | 239 |2048 | 239 | 971 | 64 |2408 |2076 | 0.000000e+00 | -- | Inf
38.68/38.75 c 38.7s| 11400 | 21 |342700 | 29.4 |8052k| 38 | 80 | 239 |2073 | 239 | 971 | 64 |2433 |2080 | 0.000000e+00 | -- | Inf
38.88/38.98 c 39.0s| 11500 | 19 |345428 | 29.4 |8045k| 38 | - | 239 |2091 | 0 | 0 | 65 |2451 |2084 | 0.000000e+00 | -- | Inf
39.09/39.16 c 39.2s| 11600 | 19 |347642 | 29.3 |8064k| 38 | 89 | 239 |2129 | 239 | 971 | 65 |2489 |2086 | 0.000000e+00 | -- | Inf
39.28/39.33 c 39.3s| 11700 | 17 |349783 | 29.3 |8066k| 38 | - | 239 |2139 | 239 | 971 | 65 |2501 |2088 | 0.000000e+00 | -- | Inf
39.49/39.54 c 39.5s| 11800 | 15 |352531 | 29.2 |8059k| 38 | 96 | 239 |2165 | 239 | 970 | 65 |2528 |2091 | 0.000000e+00 | -- | Inf
39.78/39.80 c 39.8s| 11900 | 21 |355472 | 29.3 |8091k| 38 | - | 239 |2189 | 0 | 0 | 65 |2554 |2097 | 0.000000e+00 | -- | Inf
39.89/39.98 c 40.0s| 12000 | 23 |357877 | 29.2 |8100k| 38 | 76 | 239 |2208 | 239 | 970 | 65 |2574 |2098 | 0.000000e+00 | -- | Inf
40.09/40.14 c 40.1s| 12100 | 19 |359963 | 29.1 |8101k| 38 | - | 239 |2223 | 239 | 970 | 65 |2591 |2098 | 0.000000e+00 | -- | Inf
40.29/40.34 c 40.3s| 12200 | 23 |362789 | 29.1 |8115k| 38 | - | 239 |2230 | 239 | 970 | 65 |2599 |2099 | 0.000000e+00 | -- | Inf
40.48/40.50 c 40.5s| 12300 | 21 |364930 | 29.1 |8117k| 38 | - | 239 |2245 | 239 | 970 | 65 |2615 |2099 | 0.000000e+00 | -- | Inf
40.69/40.70 c 40.7s| 12400 | 19 |366859 | 29.0 |8110k| 38 | 85 | 239 |2266 | 239 | 970 | 65 |2641 |2110 | 0.000000e+00 | -- | Inf
40.88/40.91 c 40.9s| 12500 | 19 |369008 | 28.9 |8124k| 38 | - | 239 |2286 | 0 | 0 | 65 |2663 |2120 | 0.000000e+00 | -- | Inf
41.09/41.11 c 41.1s| 12600 | 21 |371079 | 28.9 |8137k| 38 | - | 239 |2305 | 239 | 970 | 65 |2685 |2129 | 0.000000e+00 | -- | Inf
41.28/41.33 c 41.3s| 12700 | 23 |373946 | 28.9 |8150k| 38 | - | 239 |2324 | 239 | 970 | 65 |2706 |2134 | 0.000000e+00 | -- | Inf
41.48/41.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.48/41.57 c 41.6s| 12800 | 19 |376503 | 28.8 |8142k| 38 | - | 239 |2337 | 239 | 970 | 65 |2723 |2144 | 0.000000e+00 | -- | Inf
41.69/41.79 c 41.8s| 12900 | 19 |379099 | 28.8 |8147k| 38 | - | 239 |2348 | 239 | 970 | 65 |2741 |2150 | 0.000000e+00 | -- | Inf
41.98/42.04 c 42.0s| 13000 | 17 |381881 | 28.8 |8151k| 38 | - | 239 |2359 | 239 | 970 | 65 |2767 |2161 | 0.000000e+00 | -- | Inf
42.29/42.35 c 42.3s| 13100 | 19 |385230 | 28.8 |8159k| 38 | - | 239 |2371 | 239 | 970 | 65 |2781 |2179 | 0.000000e+00 | -- | Inf
42.58/42.61 c 42.6s| 13200 | 17 |388039 | 28.8 |8155k| 38 | 112 | 239 |2379 | 239 | 970 | 65 |2793 |2193 | 0.000000e+00 | -- | Inf
42.79/42.86 c 42.9s| 13300 | 19 |391365 | 28.9 |8165k| 38 | 89 | 239 |2386 | 239 | 970 | 65 |2808 |2200 | 0.000000e+00 | -- | Inf
42.98/43.09 c 43.1s| 13400 | 15 |393981 | 28.9 |8156k| 38 | 96 | 239 |2404 | 239 | 970 | 65 |2834 |2207 | 0.000000e+00 | -- | Inf
43.28/43.30 c 43.3s| 13500 | 15 |396651 | 28.8 |8153k| 38 | 94 | 239 |2411 | 239 | 970 | 65 |2850 |2211 | 0.000000e+00 | -- | Inf
43.48/43.56 c 43.6s| 13600 | 17 |399248 | 28.8 |8170k| 38 | - | 239 |2423 | 239 | 970 | 66 |2875 |2219 | 0.000000e+00 | -- | Inf
43.68/43.78 c 43.8s| 13700 | 17 |402272 | 28.8 |8162k| 38 | 96 | 239 |2420 | 239 | 971 | 66 |2902 |2219 | 0.000000e+00 | -- | Inf
43.88/43.98 c 44.0s| 13800 | 17 |404866 | 28.8 |8164k| 38 | 119 | 239 |2413 | 239 | 971 | 66 |2925 |2219 | 0.000000e+00 | -- | Inf
44.19/44.26 c 44.3s| 13900 | 17 |408331 | 28.8 |8163k| 38 | 88 | 239 |2419 | 239 | 971 | 66 |2941 |2219 | 0.000000e+00 | -- | Inf
44.39/44.42 c 44.4s| 14000 | 15 |410456 | 28.8 |8169k| 38 | - | 239 |2418 | 239 | 971 | 66 |2971 |2219 | 0.000000e+00 | -- | Inf
44.58/44.66 c 44.7s| 14100 | 15 |413496 | 28.8 |8157k| 38 | 104 | 239 |2398 | 239 | 971 | 66 |3001 |2219 | 0.000000e+00 | -- | Inf
44.78/44.88 c 44.9s| 14200 | 15 |416400 | 28.8 |8129k| 38 | - | 239 |2307 | 239 | 971 | 66 |3031 |2219 | 0.000000e+00 | -- | Inf
45.09/45.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.09/45.14 c 45.1s| 14300 | 23 |419757 | 28.8 |8105k| 38 | - | 239 |2174 | 239 | 971 | 66 |3055 |2219 | 0.000000e+00 | -- | Inf
45.28/45.30 c 45.3s| 14400 | 21 |421872 | 28.8 |8086k| 38 | 93 | 239 |2133 | 239 | 971 | 66 |3070 |2219 | 0.000000e+00 | -- | Inf
45.48/45.51 c 45.5s| 14500 | 15 |424711 | 28.8 |8046k| 38 | 107 | 239 |2065 | 239 | 971 | 66 |3089 |2219 | 0.000000e+00 | -- | Inf
45.68/45.75 c 45.8s| 14600 | 17 |427901 | 28.8 |8049k| 38 | - | 239 |2024 | 239 | 971 | 66 |3111 |2219 | 0.000000e+00 | -- | Inf
45.88/45.96 c 46.0s| 14700 | 17 |430478 | 28.8 |8031k| 38 | - | 239 |1990 | 0 | 0 | 67 |3153 |2219 | 0.000000e+00 | -- | Inf
46.09/46.19 c 46.2s| 14800 | 21 |433525 | 28.8 |8039k| 38 | - | 239 |1971 | 239 | 971 | 67 |3172 |2219 | 0.000000e+00 | -- | Inf
46.38/46.43 c 46.4s| 14900 | 21 |436603 | 28.8 |8032k| 38 | - | 239 |1948 | 239 | 971 | 67 |3184 |2219 | 0.000000e+00 | -- | Inf
46.58/46.64 c 46.6s| 15000 | 17 |439429 | 28.8 |8018k| 38 | 119 | 239 |1935 | 239 | 971 | 67 |3196 |2219 | 0.000000e+00 | -- | Inf
46.78/46.85 c 46.8s| 15100 | 15 |442056 | 28.8 |8017k| 38 | - | 239 |1928 | 239 | 971 | 67 |3214 |2219 | 0.000000e+00 | -- | Inf
46.98/47.06 c 47.1s| 15200 | 15 |445016 | 28.8 |8014k| 38 | 91 | 239 |1931 | 239 | 971 | 67 |3227 |2219 | 0.000000e+00 | -- | Inf
47.18/47.28 c 47.3s| 15300 | 19 |447944 | 28.8 |8018k| 38 | 79 | 239 |1916 | 239 | 971 | 67 |3236 |2219 | 0.000000e+00 | -- | Inf
47.49/47.51 c 47.5s| 15400 | 15 |451134 | 28.8 |8010k| 38 | - | 239 |1912 | 239 | 971 | 67 |3241 |2219 | 0.000000e+00 | -- | Inf
47.58/47.68 c 47.7s| 15500 | 15 |453528 | 28.8 |8015k| 38 | - | 239 |1922 | 239 | 971 | 67 |3254 |2219 | 0.000000e+00 | -- | Inf
47.88/47.99 c 48.0s| 15600 | 17 |457712 | 28.9 |8015k| 38 | - | 239 |1920 | 239 | 971 | 67 |3266 |2219 | 0.000000e+00 | -- | Inf
48.07/48.19 c 48.2s| 15700 | 17 |460562 | 28.9 |8023k| 38 | - | 239 |1930 | 239 | 971 | 67 |3281 |2219 | 0.000000e+00 | -- | Inf
48.29/48.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.29/48.38 c 48.4s| 15800 | 19 |463110 | 28.8 |8030k| 38 | 103 | 239 |1949 | 239 | 971 | 67 |3303 |2219 | 0.000000e+00 | -- | Inf
48.48/48.55 c 48.6s| 15900 | 21 |465500 | 28.8 |8041k| 38 | - | 239 |1956 | 239 | 971 | 67 |3311 |2219 | 0.000000e+00 | -- | Inf
48.68/48.72 c 48.7s| 16000 | 17 |467689 | 28.8 |8035k| 38 | 92 | 239 |1971 | 239 | 971 | 67 |3327 |2219 | 0.000000e+00 | -- | Inf
48.78/48.86 c 48.9s| 16100 | 17 |469437 | 28.7 |8049k| 38 | - | 239 |2008 | 239 | 971 | 67 |3370 |2219 | 0.000000e+00 | -- | Inf
48.98/49.04 c 49.0s| 16200 | 17 |471796 | 28.7 |8055k| 38 | - | 239 |2025 | 239 | 971 | 67 |3392 |2219 | 0.000000e+00 | -- | Inf
49.17/49.24 c 49.2s| 16300 | 21 |474412 | 28.7 |8072k| 38 | - | 239 |2040 | 0 | 0 | 67 |3410 |2219 | 0.000000e+00 | -- | Inf
49.28/49.38 c 49.4s| 16400 | 21 |476267 | 28.6 |8073k| 38 | 73 | 239 |2069 | 239 | 971 | 67 |3440 |2219 | 0.000000e+00 | -- | Inf
49.49/49.56 c 49.6s| 16500 | 15 |478567 | 28.6 |8075k| 38 | - | 239 |2092 | 239 | 971 | 67 |3468 |2219 | 0.000000e+00 | -- | Inf
49.67/49.79 c 49.8s| 16600 | 19 |481411 | 28.6 |8072k| 38 | 84 | 239 |2082 | 239 | 969 | 67 |3479 |2222 | 0.000000e+00 | -- | Inf
49.88/49.96 c 50.0s| 16700 | 21 |483826 | 28.5 |8079k| 38 | - | 239 |2074 | 0 | 0 | 67 |3488 |2222 | 0.000000e+00 | -- | Inf
50.08/50.11 c 50.1s| 16800 | 19 |485832 | 28.5 |8070k| 38 | 83 | 239 |2079 | 239 | 969 | 67 |3499 |2222 | 0.000000e+00 | -- | Inf
50.27/50.32 c 50.3s| 16900 | 19 |488702 | 28.5 |8072k| 38 | 81 | 239 |2076 | 239 | 969 | 67 |3507 |2222 | 0.000000e+00 | -- | Inf
50.38/50.48 c 50.5s| 17000 | 17 |490827 | 28.4 |8069k| 38 | 81 | 239 |2078 | 239 | 969 | 67 |3516 |2222 | 0.000000e+00 | -- | Inf
50.58/50.62 c 50.6s| 17100 | 15 |492726 | 28.4 |8074k| 38 | - | 239 |2090 | 239 | 969 | 67 |3531 |2222 | 0.000000e+00 | -- | Inf
50.78/50.85 c 50.9s| 17200 | 15 |495748 | 28.4 |8067k| 38 | 81 | 239 |2090 | 239 | 971 | 67 |3545 |2222 | 0.000000e+00 | -- | Inf
50.98/51.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.98/51.04 c 51.0s| 17300 | 15 |498198 | 28.4 |8076k| 39 | - | 239 |2096 | 239 | 971 | 68 |3568 |2222 | 0.000000e+00 | -- | Inf
51.17/51.27 c 51.3s| 17400 | 19 |501251 | 28.4 |8096k| 39 | - | 239 |2112 | 239 | 971 | 68 |3592 |2222 | 0.000000e+00 | -- | Inf
51.37/51.45 c 51.4s| 17500 | 15 |503768 | 28.4 |8087k| 39 | - | 239 |2117 | 239 | 971 | 68 |3610 |2222 | 0.000000e+00 | -- | Inf
51.58/51.62 c 51.6s| 17600 | 17 |506174 | 28.3 |8078k| 40 | 80 | 239 |2114 | 239 | 971 | 68 |3620 |2222 | 0.000000e+00 | -- | Inf
51.77/51.84 c 51.8s| 17700 | 15 |508904 | 28.3 |8076k| 40 | 119 | 239 |2105 | 239 | 971 | 70 |3634 |2222 | 0.000000e+00 | -- | Inf
51.97/52.03 c 52.0s| 17800 | 19 |511401 | 28.3 |8081k| 40 | - | 239 |2095 | 239 | 971 | 70 |3645 |2222 | 0.000000e+00 | -- | Inf
52.17/52.21 c 52.2s| 17900 | 15 |513986 | 28.3 |8080k| 40 | - | 239 |2097 | 239 | 971 | 70 |3666 |2222 | 0.000000e+00 | -- | Inf
52.28/52.37 c 52.4s| 18000 | 17 |516118 | 28.3 |8080k| 40 | 85 | 239 |2096 | 239 | 971 | 70 |3681 |2222 | 0.000000e+00 | -- | Inf
52.48/52.59 c 52.6s| 18100 | 15 |518902 | 28.3 |8084k| 40 | 127 | 239 |2102 | 239 | 970 | 72 |3714 |2222 | 0.000000e+00 | -- | Inf
52.68/52.79 c 52.8s| 18200 | 13 |521517 | 28.2 |8077k| 40 | 111 | 239 |2114 | 239 | 971 | 72 |3739 |2222 | 0.000000e+00 | -- | Inf
52.98/53.02 c 53.0s| 18300 | 22 |524634 | 28.3 |8095k| 41 | 69 | 239 |2107 | 239 | 971 | 73 |3744 |2222 | 0.000000e+00 | -- | Inf
53.18/53.20 c 53.2s| 18400 | 18 |527124 | 28.2 |8089k| 47 | 88 | 239 |2110 | 239 | 971 | 73 |3753 |2222 | 0.000000e+00 | -- | Inf
53.27/53.37 c 53.4s| 18500 | 16 |529472 | 28.2 |8097k| 47 | - | 239 |2131 | 0 | 0 | 73 |3778 |2222 | 0.000000e+00 | -- | Inf
53.47/53.57 c 53.6s| 18600 | 20 |532091 | 28.2 |8113k| 47 | - | 239 |2143 | 0 | 0 | 73 |3793 |2222 | 0.000000e+00 | -- | Inf
53.67/53.73 c 53.7s| 18700 | 20 |534185 | 28.2 |8110k| 47 | 87 | 239 |2161 | 239 | 971 | 73 |3812 |2222 | 0.000000e+00 | -- | Inf
53.78/53.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.78/53.86 c 53.9s| 18800 | 18 |535901 | 28.1 |8124k| 47 | - | 239 |2192 | 239 | 971 | 73 |3846 |2222 | 0.000000e+00 | -- | Inf
53.97/54.01 c 54.0s| 18900 | 18 |537893 | 28.1 |8124k| 47 | 78 | 239 |2204 | 239 | 971 | 73 |3861 |2222 | 0.000000e+00 | -- | Inf
54.07/54.17 c 54.2s| 19000 | 18 |539845 | 28.0 |8139k| 47 | - | 239 |2235 | 239 | 971 | 73 |3894 |2222 | 0.000000e+00 | -- | Inf
54.28/54.31 c 54.3s| 19100 | 18 |541657 | 28.0 |8140k| 47 | - | 239 |2257 | 239 | 971 | 73 |3918 |2222 | 0.000000e+00 | -- | Inf
54.37/54.46 c 54.5s| 19200 | 20 |543585 | 27.9 |8163k| 47 | - | 239 |2287 | 239 | 971 | 73 |3953 |2222 | 0.000000e+00 | -- | Inf
54.57/54.64 c 54.6s| 19300 | 18 |545922 | 27.9 |8151k| 47 | 89 | 239 |2301 | 239 | 971 | 73 |3975 |2222 | 0.000000e+00 | -- | Inf
54.68/54.77 c 54.8s| 19400 | 18 |547521 | 27.8 |8172k| 47 | - | 239 |2351 | 239 | 971 | 73 |4026 |2222 | 0.000000e+00 | -- | Inf
54.88/54.95 c 55.0s| 19500 | 20 |549923 | 27.8 |8181k| 47 | 95 | 239 |2371 | 239 | 971 | 73 |4046 |2222 | 0.000000e+00 | -- | Inf
55.07/55.11 c 55.1s| 19600 | 20 |551984 | 27.8 |8202k| 47 | - | 239 |2398 | 0 | 0 | 73 |4075 |2222 | 0.000000e+00 | -- | Inf
55.18/55.27 c 55.3s| 19700 | 18 |554136 | 27.8 |8193k| 47 | 98 | 239 |2409 | 239 | 971 | 73 |4091 |2222 | 0.000000e+00 | -- | Inf
55.37/55.45 c 55.5s| 19800 | 18 |556509 | 27.7 |8193k| 47 | 77 | 239 |2422 | 239 | 971 | 73 |4111 |2222 | 0.000000e+00 | -- | Inf
55.58/55.65 c 55.7s| 19900 | 20 |558987 | 27.7 |8213k| 47 | 110 | 239 |2448 | 239 | 971 | 74 |4154 |2222 | 0.000000e+00 | -- | Inf
55.77/55.85 c 55.9s| 20000 | 18 |561722 | 27.7 |8212k| 47 | - | 239 |2460 | 239 | 971 | 74 |4179 |2222 | 0.000000e+00 | -- | Inf
56.08/56.17 c 56.2s| 20100 | 20 |565570 | 27.8 |8206k| 47 | - | 239 |2422 | 239 | 971 | 77 |4211 |2222 | 0.000000e+00 | -- | Inf
56.28/56.34 c 56.3s| 20200 | 22 |567758 | 27.7 |8208k| 47 | 94 | 239 |2418 | 239 | 971 | 79 |4238 |2222 | 0.000000e+00 | -- | Inf
56.47/56.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.47/56.58 c 56.6s| 20300 | 26 |570874 | 27.8 |8213k| 47 | 77 | 239 |2404 | 239 | 971 | 79 |4251 |2222 | 0.000000e+00 | -- | Inf
56.78/56.82 c 56.8s| 20400 | 30 |574007 | 27.8 |8224k| 47 | 84 | 239 |2401 | 239 | 971 | 79 |4266 |2222 | 0.000000e+00 | -- | Inf
56.97/57.02 c 57.0s| 20500 | 32 |576544 | 27.8 |8232k| 47 | 90 | 239 |2399 | 239 | 971 | 79 |4292 |2222 | 0.000000e+00 | -- | Inf
57.08/57.15 c 57.2s| 20600 | 26 |578229 | 27.7 |8232k| 47 | - | 239 |2419 | 0 | 0 | 79 |4320 |2222 | 0.000000e+00 | -- | Inf
57.28/57.31 c 57.3s| 20700 | 26 |580216 | 27.7 |8239k| 47 | 84 | 239 |2438 | 239 | 971 | 79 |4354 |2222 | 0.000000e+00 | -- | Inf
57.37/57.47 c 57.5s| 20800 | 26 |582247 | 27.6 |8249k| 47 | 79 | 239 |2455 | 239 | 971 | 79 |4374 |2222 | 0.000000e+00 | -- | Inf
57.67/57.70 c 57.7s| 20900 | 22 |585253 | 27.6 |8249k| 47 | - | 239 |2473 | 239 | 971 | 79 |4398 |2222 | 0.000000e+00 | -- | Inf
57.77/57.88 c 57.9s| 21000 | 20 |587642 | 27.6 |8245k| 47 | 87 | 239 |2491 | 239 | 971 | 79 |4418 |2222 | 0.000000e+00 | -- | Inf
58.07/58.10 c 58.1s| 21100 | 18 |590332 | 27.6 |8241k| 47 | - | 239 |2499 | 0 | 0 | 79 |4444 |2222 | 0.000000e+00 | -- | Inf
58.18/58.29 c 58.3s| 21200 | 18 |592942 | 27.6 |8238k| 47 | - | 239 |2501 | 239 | 971 | 79 |4456 |2222 | 0.000000e+00 | -- | Inf
58.48/58.52 c 58.5s| 21300 | 24 |596040 | 27.6 |8255k| 47 | 87 | 239 |2507 | 239 | 971 | 79 |4469 |2222 | 0.000000e+00 | -- | Inf
58.57/58.68 c 58.7s| 21400 | 18 |598275 | 27.6 |8252k| 47 | - | 239 |2516 | 239 | 971 | 79 |4485 |2222 | 0.000000e+00 | -- | Inf
58.77/58.87 c 58.9s| 21500 | 16 |600918 | 27.6 |8253k| 47 | - | 239 |2531 | 239 | 971 | 79 |4504 |2222 | 0.000000e+00 | -- | Inf
58.97/59.09 c 59.1s| 21600 | 18 |603691 | 27.6 |8259k| 47 | 106 | 239 |2553 | 239 | 970 | 79 |4540 |2222 | 0.000000e+00 | -- | Inf
59.17/59.29 c 59.3s| 21700 | 20 |606214 | 27.6 |8270k| 47 | 101 | 239 |2559 | 239 | 970 | 79 |4569 |2222 | 0.000000e+00 | -- | Inf
59.48/59.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.48/59.52 c 59.5s| 21800 | 24 |609279 | 27.6 |8272k| 47 | 101 | 239 |2532 | 239 | 970 | 79 |4586 |2222 | 0.000000e+00 | -- | Inf
59.67/59.71 c 59.7s| 21900 | 20 |611874 | 27.6 |8264k| 47 | - | 239 |2526 | 239 | 970 | 79 |4591 |2222 | 0.000000e+00 | -- | Inf
59.87/59.90 c 59.9s| 22000 | 20 |614366 | 27.6 |8264k| 47 | 85 | 239 |2530 | 239 | 970 | 79 |4598 |2222 | 0.000000e+00 | -- | Inf
60.08/60.14 c 60.1s| 22100 | 18 |617655 | 27.6 |8261k| 47 | - | 239 |2529 | 239 | 970 | 79 |4614 |2222 | 0.000000e+00 | -- | Inf
60.27/60.37 c 60.4s| 22200 | 18 |620773 | 27.6 |8270k| 47 | - | 239 |2533 | 0 | 0 | 79 |4628 |2222 | 0.000000e+00 | -- | Inf
60.48/60.56 c 60.6s| 22300 | 18 |623429 | 27.6 |8263k| 47 | 98 | 239 |2531 | 239 | 970 | 79 |4634 |2222 | 0.000000e+00 | -- | Inf
60.67/60.73 c 60.7s| 22400 | 20 |625558 | 27.6 |8272k| 47 | - | 239 |2546 | 239 | 970 | 79 |4661 |2222 | 0.000000e+00 | -- | Inf
60.87/60.92 c 60.9s| 22500 | 18 |628110 | 27.6 |8273k| 47 | - | 239 |2561 | 239 | 970 | 79 |4688 |2222 | 0.000000e+00 | -- | Inf
61.07/61.12 c 61.1s| 22600 | 18 |630746 | 27.6 |8279k| 47 | 116 | 239 |2583 | 239 | 970 | 79 |4720 |2222 | 0.000000e+00 | -- | Inf
61.27/61.33 c 61.3s| 22700 | 20 |633702 | 27.6 |8288k| 47 | 102 | 239 |2589 | 239 | 970 | 79 |4732 |2222 | 0.000000e+00 | -- | Inf
61.48/61.53 c 61.5s| 22800 | 20 |636394 | 27.6 |8287k| 47 | 98 | 239 |2589 | 239 | 971 | 79 |4751 |2222 | 0.000000e+00 | -- | Inf
61.67/61.73 c 61.7s| 22900 | 18 |639137 | 27.6 |8290k| 47 | - | 239 |2593 | 239 | 971 | 79 |4775 |2222 | 0.000000e+00 | -- | Inf
61.87/61.93 c 61.9s| 23000 | 18 |641745 | 27.6 |8285k| 47 | 96 | 239 |2598 | 239 | 970 | 79 |4789 |2222 | 0.000000e+00 | -- | Inf
62.07/62.15 c 62.1s| 23100 | 16 |644699 | 27.6 |8288k| 47 | - | 239 |2607 | 239 | 971 | 79 |4801 |2222 | 0.000000e+00 | -- | Inf
62.27/62.39 c 62.4s| 23200 | 18 |648082 | 27.6 |8292k| 47 | 94 | 239 |2607 | 239 | 970 | 79 |4819 |2222 | 0.000000e+00 | -- | Inf
62.47/62.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.47/62.56 c 62.6s| 23300 | 16 |650381 | 27.6 |8297k| 47 | - | 239 |2622 | 239 | 970 | 79 |4839 |2222 | 0.000000e+00 | -- | Inf
62.68/62.77 c 62.8s| 23400 | 24 |653118 | 27.6 |8310k| 47 | - | 239 |2624 | 239 | 970 | 79 |4848 |2222 | 0.000000e+00 | -- | Inf
62.87/62.96 c 63.0s| 23500 | 18 |655715 | 27.6 |8305k| 47 | - | 239 |2630 | 239 | 970 | 79 |4858 |2222 | 0.000000e+00 | -- | Inf
63.07/63.18 c 63.2s| 23600 | 18 |658628 | 27.6 |8311k| 47 | - | 239 |2637 | 239 | 970 | 79 |4869 |2222 | 0.000000e+00 | -- | Inf
63.27/63.37 c 63.4s| 23700 | 18 |661291 | 27.6 |8314k| 47 | - | 239 |2645 | 239 | 970 | 79 |4880 |2222 | 0.000000e+00 | -- | Inf
63.47/63.54 c 63.5s| 23800 | 16 |663637 | 27.6 |8310k| 47 | 103 | 239 |2662 | 239 | 970 | 79 |4901 |2222 | 0.000000e+00 | -- | Inf
63.67/63.74 c 63.7s| 23900 | 16 |666334 | 27.6 |8311k| 47 | 90 | 239 |2664 | 239 | 970 | 79 |4918 |2222 | 0.000000e+00 | -- | Inf
63.87/63.91 c 63.9s| 24000 | 16 |668388 | 27.5 |8302k| 50 | 81 | 239 |2663 | 239 | 970 | 79 |4939 |2222 | 0.000000e+00 | -- | Inf
63.98/64.05 c 64.1s| 24100 | 20 |670239 | 27.5 |8311k| 50 | 84 | 239 |2670 | 239 | 970 | 79 |4959 |2222 | 0.000000e+00 | -- | Inf
64.17/64.20 c 64.2s| 24200 | 20 |672212 | 27.5 |8315k| 50 | 94 | 239 |2682 | 239 | 970 | 79 |4980 |2222 | 0.000000e+00 | -- | Inf
64.37/64.41 c 64.4s| 24300 | 16 |674912 | 27.5 |8314k| 50 | 97 | 239 |2693 | 239 | 970 | 79 |5008 |2222 | 0.000000e+00 | -- | Inf
64.57/64.61 c 64.6s| 24400 | 16 |677658 | 27.5 |8312k| 50 | 94 | 239 |2682 | 239 | 970 | 79 |5013 |2222 | 0.000000e+00 | -- | Inf
64.78/64.87 c 64.9s| 24500 | 16 |680573 | 27.5 |8314k| 50 | 92 | 239 |2679 | 239 | 970 | 79 |5029 |2233 | 0.000000e+00 | -- | Inf
64.97/65.06 c 65.1s| 24600 | 14 |683254 | 27.5 |8305k| 50 | 94 | 239 |2678 | 239 | 971 | 79 |5044 |2233 | 0.000000e+00 | -- | Inf
65.27/65.37 c 65.4s| 24700 | 14 |686413 | 27.5 |8310k| 50 | - | 239 |2679 | 0 | 0 | 79 |5073 |2249 | 0.000000e+00 | -- | Inf
65.58/65.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.58/65.67 c 65.7s| 24800 | 12 |689659 | 27.5 |8302k| 50 | - | 239 |2675 | 0 | 0 | 79 |5085 |2262 | 0.000000e+00 | -- | Inf
65.88/65.94 c 65.9s| 24900 | 14 |692869 | 27.5 |8281k| 51 | 107 | 239 |2640 | 239 | 971 | 79 |5109 |2274 | 0.000000e+00 | -- | Inf
66.07/66.17 c 66.2s| 25000 | 14 |695143 | 27.5 |8267k| 51 | - | 239 |2580 | 0 | 0 | 79 |5160 |2280 | 0.000000e+00 | -- | Inf
66.37/66.41 c 66.4s| 25100 | 20 |697840 | 27.5 |8218k| 51 | 102 | 239 |2422 | 239 | 971 | 79 |5191 |2291 | 0.000000e+00 | -- | Inf
66.57/66.65 c 66.7s| 25200 | 20 |700823 | 27.5 |8192k| 51 | - | 239 |2339 | 239 | 971 | 79 |5203 |2299 | 0.000000e+00 | -- | Inf
66.77/66.87 c 66.9s| 25300 | 16 |703517 | 27.5 |8170k| 51 | - | 239 |2268 | 239 | 971 | 79 |5220 |2302 | 0.000000e+00 | -- | Inf
66.98/67.06 c 67.1s| 25400 | 18 |705664 | 27.5 |8160k| 51 | 95 | 239 |2222 | 239 | 971 | 79 |5247 |2308 | 0.000000e+00 | -- | Inf
67.17/67.25 c 67.2s| 25500 | 12 |707782 | 27.5 |8145k| 51 | - | 239 |2207 | 239 | 971 | 79 |5276 |2317 | 0.000000e+00 | -- | Inf
67.37/67.48 c 67.5s| 25600 | 12 |710844 | 27.5 |8144k| 51 | 84 | 239 |2200 | 239 | 971 | 79 |5291 |2321 | 0.000000e+00 | -- | Inf
67.67/67.78 c 67.8s| 25700 | 20 |714456 | 27.5 |8146k| 51 | - | 239 |2169 | 0 | 0 | 80 |5318 |2323 | 0.000000e+00 | -- | Inf
67.87/67.99 c 68.0s| 25800 | 20 |717231 | 27.5 |8134k| 51 | 89 | 239 |2136 | 239 | 971 | 80 |5335 |2323 | 0.000000e+00 | -- | Inf
68.18/68.21 c 68.2s| 25900 | 16 |720323 | 27.5 |8119k| 51 | 99 | 239 |2132 | 239 | 971 | 80 |5349 |2323 | 0.000000e+00 | -- | Inf
68.37/68.44 c 68.4s| 26000 | 16 |723684 | 27.6 |8125k| 51 | - | 239 |2124 | 0 | 0 | 80 |5367 |2323 | 0.000000e+00 | -- | Inf
68.58/68.62 c 68.6s| 26100 | 18 |725972 | 27.5 |8125k| 51 | - | 239 |2126 | 0 | 0 | 80 |5384 |2323 | 0.000000e+00 | -- | Inf
68.67/68.79 c 68.8s| 26200 | 18 |728307 | 27.5 |8131k| 51 | 104 | 239 |2139 | 239 | 971 | 80 |5408 |2323 | 0.000000e+00 | -- | Inf
68.87/68.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.87/68.97 c 69.0s| 26300 | 16 |730607 | 27.5 |8133k| 51 | 79 | 239 |2141 | 239 | 971 | 80 |5435 |2323 | 0.000000e+00 | -- | Inf
69.07/69.17 c 69.2s| 26400 | 16 |733308 | 27.5 |8137k| 51 | 88 | 239 |2158 | 239 | 971 | 80 |5459 |2323 | 0.000000e+00 | -- | Inf
69.27/69.36 c 69.4s| 26500 | 16 |735822 | 27.5 |8136k| 51 | - | 239 |2168 | 239 | 970 | 80 |5477 |2323 | 0.000000e+00 | -- | Inf
69.57/69.63 c 69.6s| 26600 | 16 |739447 | 27.5 |8140k| 51 | - | 239 |2163 | 0 | 0 | 80 |5496 |2323 | 0.000000e+00 | -- | Inf
69.77/69.85 c 69.9s| 26700 | 14 |742454 | 27.5 |8143k| 51 | - | 239 |2171 | 239 | 971 | 80 |5515 |2323 | 0.000000e+00 | -- | Inf
69.97/70.04 c 70.0s| 26800 | 14 |744924 | 27.5 |8140k| 51 | 102 | 239 |2183 | 239 | 970 | 80 |5543 |2323 | 0.000000e+00 | -- | Inf
70.17/70.23 c 70.2s| 26900 | 14 |747530 | 27.5 |8147k| 51 | 99 | 239 |2201 | 239 | 970 | 80 |5564 |2323 | 0.000000e+00 | -- | Inf
70.38/70.41 c 70.4s| 27000 | 14 |750036 | 27.5 |8160k| 51 | - | 239 |2224 | 239 | 970 | 80 |5588 |2323 | 0.000000e+00 | -- | Inf
70.57/70.68 c 70.7s| 27100 | 16 |753144 | 27.5 |8162k| 51 | 79 | 239 |2230 | 239 | 970 | 80 |5597 |2335 | 0.000000e+00 | -- | Inf
70.77/70.84 c 70.8s| 27200 | 16 |755270 | 27.5 |8175k| 51 | - | 239 |2247 | 0 | 0 | 80 |5617 |2335 | 0.000000e+00 | -- | Inf
71.07/71.10 c 71.1s| 27300 | 13 |758324 | 27.5 |8171k| 51 | 88 | 239 |2261 | 239 | 970 | 80 |5632 |2344 | 0.000000e+00 | -- | Inf
71.97/72.05 c 72.0s| 27400 | 11 |762246 | 27.5 |8169k| 51 | 106 | 239 |2254 | 239 | 969 | 80 |5645 |2492 | 0.000000e+00 | -- | Inf
72.27/72.30 c 72.3s| 27500 | 11 |764918 | 27.5 |8168k| 51 | 91 | 239 |2253 | 239 | 971 | 80 |5671 |2506 | 0.000000e+00 | -- | Inf
72.47/72.54 c 72.5s| 27600 | 11 |768035 | 27.6 |8156k| 51 | - | 239 |2253 | 0 | 0 | 80 |5697 |2506 | 0.000000e+00 | -- | Inf
72.67/72.72 c 72.7s| 27700 | 15 |770299 | 27.5 |8172k| 51 | 96 | 239 |2274 | 239 | 971 | 80 |5734 |2506 | 0.000000e+00 | -- | Inf
72.77/72.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.77/72.89 c 72.9s| 27800 | 9 |772624 | 27.5 |8165k| 51 | - | 239 |2265 | 239 | 971 | 80 |5758 |2506 | 0.000000e+00 | -- | Inf
72.97/73.07 c 73.1s| 27900 | 15 |775148 | 27.5 |8177k| 51 | 87 | 239 |2274 | 239 | 970 | 80 |5773 |2506 | 0.000000e+00 | -- | Inf
73.17/73.23 c 73.2s| 28000 | 21 |777281 | 27.5 |8196k| 51 | 77 | 239 |2290 | 239 | 970 | 80 |5793 |2506 | 0.000000e+00 | -- | Inf
73.27/73.38 c 73.4s| 28100 | 19 |779311 | 27.5 |8200k| 51 | 88 | 239 |2302 | 239 | 970 | 80 |5805 |2506 | 0.000000e+00 | -- | Inf
73.47/73.56 c 73.6s| 28200 | 19 |781797 | 27.5 |8208k| 51 | - | 239 |2305 | 239 | 970 | 80 |5809 |2506 | 0.000000e+00 | -- | Inf
73.68/73.76 c 73.8s| 28300 | 21 |784628 | 27.5 |8213k| 51 | 88 | 239 |2310 | 239 | 970 | 80 |5816 |2506 | 0.000000e+00 | -- | Inf
73.87/73.93 c 73.9s| 28400 | 15 |787031 | 27.5 |8206k| 51 | - | 239 |2327 | 239 | 970 | 80 |5834 |2506 | 0.000000e+00 | -- | Inf
74.07/74.15 c 74.2s| 28500 | 13 |790241 | 27.5 |8204k| 51 | - | 239 |2347 | 0 | 0 | 80 |5859 |2506 | 0.000000e+00 | -- | Inf
74.27/74.33 c 74.3s| 28600 | 13 |792687 | 27.5 |8215k| 51 | 78 | 239 |2387 | 239 | 970 | 80 |5904 |2506 | 0.000000e+00 | -- | Inf
74.47/74.50 c 74.5s| 28700 | 13 |794980 | 27.4 |8233k| 51 | 103 | 239 |2426 | 239 | 970 | 80 |5945 |2506 | 0.000000e+00 | -- | Inf
74.57/74.65 c 74.7s| 28800 | 11 |796926 | 27.4 |8246k| 51 | - | 239 |2453 | 239 | 970 | 80 |5972 |2506 | 0.000000e+00 | -- | Inf
74.77/74.85 c 74.9s| 28900 | 13 |799603 | 27.4 |8247k| 51 | 85 | 239 |2473 | 239 | 970 | 80 |5997 |2506 | 0.000000e+00 | -- | Inf
74.97/75.05 c 75.1s| 29000 | 15 |802453 | 27.4 |8265k| 51 | 82 | 239 |2496 | 239 | 970 | 80 |6024 |2506 | 0.000000e+00 | -- | Inf
75.17/75.21 c 75.2s| 29100 | 11 |804446 | 27.4 |8262k| 51 | 93 | 239 |2526 | 239 | 970 | 80 |6057 |2510 | 0.000000e+00 | -- | Inf
75.37/75.46 c 75.5s| 29200 | 11 |807396 | 27.4 |8271k| 51 | - | 239 |2544 | 239 | 970 | 80 |6082 |2520 | 0.000000e+00 | -- | Inf
75.67/75.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.67/75.72 c 75.7s| 29300 | 11 |810288 | 27.4 |8276k| 51 | - | 239 |2555 | 239 | 970 | 80 |6094 |2534 | 0.000000e+00 | -- | Inf
75.88/75.96 c 76.0s| 29400 | 11 |812876 | 27.4 |8283k| 51 | 91 | 239 |2574 | 239 | 970 | 80 |6117 |2547 | 0.000000e+00 | -- | Inf
76.17/76.23 c 76.2s| 29500 | 15 |816065 | 27.4 |8289k| 51 | 88 | 239 |2581 | 239 | 970 | 80 |6131 |2557 | 0.000000e+00 | -- | Inf
76.37/76.41 c 76.4s| 29600 | 13 |818043 | 27.4 |8299k| 51 | 101 | 239 |2612 | 239 | 970 | 80 |6172 |2567 | 0.000000e+00 | -- | Inf
76.57/76.60 c 76.6s| 29700 | 13 |820376 | 27.4 |8306k| 51 | 89 | 239 |2630 | 239 | 970 | 80 |6194 |2575 | 0.000000e+00 | -- | Inf
76.77/76.84 c 76.8s| 29800 | 11 |823173 | 27.4 |8304k| 51 | - | 239 |2641 | 239 | 970 | 80 |6218 |2586 | 0.000000e+00 | -- | Inf
76.98/77.04 c 77.0s| 29900 | 13 |825589 | 27.4 |8317k| 51 | 98 | 239 |2674 | 239 | 970 | 80 |6255 |2593 | 0.000000e+00 | -- | Inf
77.16/77.23 c 77.2s| 30000 | 11 |828269 | 27.4 |8325k| 51 | - | 239 |2694 | 239 | 970 | 80 |6281 |2594 | 0.000000e+00 | -- | Inf
77.37/77.43 c 77.4s| 30100 | 13 |831008 | 27.4 |8333k| 51 | 98 | 239 |2700 | 239 | 970 | 80 |6294 |2594 | 0.000000e+00 | -- | Inf
77.57/77.60 c 77.6s| 30200 | 13 |833235 | 27.3 |8335k| 51 | 99 | 239 |2717 | 239 | 970 | 80 |6312 |2594 | 0.000000e+00 | -- | Inf
77.66/77.74 c 77.7s| 30300 | 11 |835137 | 27.3 |8344k| 51 | - | 239 |2735 | 239 | 970 | 80 |6330 |2594 | 0.000000e+00 | -- | Inf
77.87/77.91 c 77.9s| 30400 | 13 |837358 | 27.3 |8346k| 51 | 102 | 239 |2742 | 239 | 970 | 80 |6343 |2594 | 0.000000e+00 | -- | Inf
78.07/78.11 c 78.1s| 30500 | 13 |840018 | 27.3 |8350k| 51 | 98 | 239 |2747 | 239 | 970 | 80 |6350 |2594 | 0.000000e+00 | -- | Inf
78.17/78.28 c 78.3s| 30600 | 13 |842364 | 27.3 |8362k| 51 | - | 239 |2763 | 239 | 970 | 80 |6367 |2594 | 0.000000e+00 | -- | Inf
78.37/78.47 c 78.5s| 30700 | 11 |844871 | 27.3 |8362k| 51 | - | 239 |2781 | 239 | 970 | 80 |6388 |2594 | 0.000000e+00 | -- | Inf
78.56/78.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.56/78.67 c 78.7s| 30800 | 15 |847568 | 27.3 |8376k| 51 | - | 239 |2802 | 239 | 970 | 80 |6414 |2594 | 0.000000e+00 | -- | Inf
78.77/78.89 c 78.9s| 30900 | 13 |850679 | 27.3 |8370k| 51 | 98 | 239 |2817 | 239 | 970 | 80 |6431 |2594 | 0.000000e+00 | -- | Inf
79.08/79.10 c 79.1s| 31000 | 13 |853571 | 27.3 |8378k| 51 | 104 | 239 |2835 | 239 | 970 | 80 |6452 |2594 | 0.000000e+00 | -- | Inf
79.17/79.29 c 79.3s| 31100 | 15 |856270 | 27.3 |8394k| 51 | - | 239 |2852 | 239 | 970 | 80 |6472 |2594 | 0.000000e+00 | -- | Inf
79.47/79.51 c 79.5s| 31200 | 13 |859385 | 27.3 |8394k| 51 | - | 239 |2862 | 239 | 970 | 80 |6485 |2594 | 0.000000e+00 | -- | Inf
79.67/79.75 c 79.8s| 31300 | 15 |862543 | 27.3 |8398k| 51 | 103 | 239 |2876 | 239 | 970 | 80 |6501 |2594 | 0.000000e+00 | -- | Inf
79.87/79.98 c 80.0s| 31400 | 13 |865676 | 27.3 |8399k| 51 | 100 | 239 |2880 | 239 | 970 | 80 |6510 |2594 | 0.000000e+00 | -- | Inf
80.07/80.19 c 80.2s| 31500 | 11 |868617 | 27.3 |8404k| 51 | - | 239 |2895 | 239 | 970 | 80 |6527 |2594 | 0.000000e+00 | -- | Inf
80.37/80.40 c 80.4s| 31600 | 13 |871557 | 27.3 |8408k| 51 | - | 239 |2899 | 239 | 970 | 80 |6542 |2594 | 0.000000e+00 | -- | Inf
80.56/80.61 c 80.6s| 31700 | 11 |874328 | 27.3 |8402k| 51 | 111 | 239 |2914 | 239 | 970 | 80 |6565 |2594 | 0.000000e+00 | -- | Inf
80.77/80.86 c 80.9s| 31800 | 11 |877283 | 27.4 |8416k| 51 | - | 239 |2930 | 239 | 970 | 80 |6585 |2603 | 0.000000e+00 | -- | Inf
81.07/81.13 c 81.1s| 31900 | 13 |880453 | 27.4 |8420k| 51 | 94 | 239 |2935 | 239 | 970 | 80 |6599 |2613 | 0.000000e+00 | -- | Inf
81.27/81.35 c 81.3s| 32000 | 11 |882960 | 27.4 |8416k| 51 | 102 | 239 |2942 | 239 | 970 | 80 |6612 |2622 | 0.000000e+00 | -- | Inf
81.57/81.62 c 81.6s| 32100 | 11 |886033 | 27.4 |8425k| 51 | 101 | 239 |2961 | 239 | 970 | 80 |6631 |2631 | 0.000000e+00 | -- | Inf
81.86/81.94 c 81.9s| 32200 | 10 |890082 | 27.4 |8424k| 51 | 89 | 239 |2971 | 239 | 970 | 80 |6645 |2640 | 0.000000e+00 | -- | Inf
82.16/82.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.16/82.25 c 82.3s| 32300 | 14 |893645 | 27.4 |8437k| 51 | - | 239 |2965 | 0 | 0 | 80 |6662 |2652 | 0.000000e+00 | -- | Inf
82.47/82.52 c 82.5s| 32400 | 10 |896825 | 27.5 |8430k| 51 | - | 239 |2980 | 239 | 970 | 80 |6679 |2660 | 0.000000e+00 | -- | Inf
82.77/82.84 c 82.8s| 32500 | 14 |900531 | 27.5 |8444k| 51 | - | 239 |2985 | 239 | 970 | 80 |6703 |2672 | 0.000000e+00 | -- | Inf
82.97/83.07 c 83.1s| 32600 | 14 |903516 | 27.5 |8434k| 51 | 93 | 239 |2964 | 239 | 970 | 80 |6709 |2679 | 0.000000e+00 | -- | Inf
83.27/83.30 c 83.3s| 32700 | 14 |906459 | 27.5 |8430k| 51 | 91 | 239 |2953 | 239 | 970 | 80 |6718 |2687 | 0.000000e+00 | -- | Inf
83.47/83.53 c 83.5s| 32800 | 12 |909524 | 27.5 |8434k| 51 | - | 239 |2960 | 0 | 0 | 80 |6729 |2690 | 0.000000e+00 | -- | Inf
83.66/83.77 c 83.8s| 32900 | 10 |912715 | 27.5 |8432k| 51 | - | 239 |2969 | 239 | 970 | 80 |6738 |2695 | 0.000000e+00 | -- | Inf
83.97/84.00 c 84.0s| 33000 | 8 |915810 | 27.5 |8413k| 51 | 111 | 239 |2960 | 239 | 970 | 80 |6761 |2695 | 0.000000e+00 | -- | Inf
84.87/84.90 c 84.9s| 33100 | 10 |920189 | 27.6 |8424k| 51 | 96 | 239 |2936 | 239 | 970 | 81 |6783 |2770 | 0.000000e+00 | -- | Inf
85.16/85.24 c 85.2s| 33200 | 8 |923364 | 27.6 |8361k| 51 | - | 239 |2753 | 0 | 0 | 86 |6818 |2783 | 0.000000e+00 | -- | Inf
85.57/85.65 c 85.7s| 33300 | 12 |926967 | 27.6 |8324k| 51 | 109 | 239 |2642 | 239 | 970 | 87 |6832 |2802 | 0.000000e+00 | -- | Inf
85.87/85.94 c 85.9s| 33400 | 7 |930658 | 27.6 |8231k| 51 | - | 239 |2417 | 239 | 971 | 90 |6857 |2802 | 0.000000e+00 | -- | Inf
86.17/86.24 c 86.2s| 33500 | 10 |934497 | 27.7 |8213k| 51 | - | 239 |2316 | 0 | 0 | 91 |6891 |2802 | 0.000000e+00 | -- | Inf
86.46/86.50 c 86.5s| 33600 | 10 |937800 | 27.7 |8186k| 51 | - | 239 |2244 | 239 | 971 | 92 |6925 |2802 | 0.000000e+00 | -- | Inf
86.67/86.74 c 86.7s| 33700 | 16 |940803 | 27.7 |8193k| 51 | 94 | 239 |2218 | 239 | 970 | 92 |6955 |2802 | 0.000000e+00 | -- | Inf
86.87/86.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.87/86.93 c 86.9s| 33800 | 10 |943572 | 27.7 |8181k| 51 | - | 239 |2192 | 239 | 971 | 92 |6968 |2802 | 0.000000e+00 | -- | Inf
87.07/87.14 c 87.1s| 33900 | 14 |946217 | 27.7 |8184k| 51 | 84 | 239 |2181 | 239 | 971 | 93 |7003 |2802 | 0.000000e+00 | -- | Inf
87.27/87.32 c 87.3s| 34000 | 12 |948526 | 27.7 |8187k| 51 | 115 | 239 |2192 | 239 | 971 | 93 |7039 |2802 | 0.000000e+00 | -- | Inf
87.57/87.61 c 87.6s| 34100 | 12 |952314 | 27.7 |8176k| 51 | 89 | 239 |2161 | 239 | 971 | 93 |7049 |2802 | 0.000000e+00 | -- | Inf
87.67/87.79 c 87.8s| 34200 | 18 |954789 | 27.7 |8203k| 51 | 75 | 239 |2189 | 239 | 971 | 93 |7090 |2802 | 0.000000e+00 | -- | Inf
87.87/87.94 c 87.9s| 34300 | 14 |956840 | 27.7 |8206k| 51 | - | 239 |2209 | 239 | 971 | 93 |7120 |2802 | 0.000000e+00 | -- | Inf
88.07/88.16 c 88.2s| 34400 | 20 |959244 | 27.7 |8219k| 51 | 91 | 239 |2220 | 239 | 971 | 93 |7153 |2807 | 0.000000e+00 | -- | Inf
88.27/88.32 c 88.3s| 34500 | 16 |961366 | 27.7 |8223k| 51 | - | 239 |2242 | 239 | 971 | 93 |7181 |2807 | 0.000000e+00 | -- | Inf
88.37/88.45 c 88.5s| 34600 | 16 |963046 | 27.6 |8227k| 51 | 91 | 239 |2271 | 239 | 971 | 93 |7212 |2807 | 0.000000e+00 | -- | Inf
88.57/88.61 c 88.6s| 34700 | 16 |965192 | 27.6 |8230k| 51 | 89 | 239 |2281 | 239 | 971 | 93 |7226 |2807 | 0.000000e+00 | -- | Inf
88.67/88.76 c 88.8s| 34800 | 18 |967336 | 27.6 |8238k| 51 | 86 | 239 |2291 | 239 | 971 | 93 |7246 |2807 | 0.000000e+00 | -- | Inf
88.87/88.94 c 88.9s| 34900 | 14 |969712 | 27.6 |8237k| 51 | - | 239 |2303 | 239 | 971 | 93 |7263 |2807 | 0.000000e+00 | -- | Inf
89.08/89.16 c 89.2s| 35000 | 18 |972766 | 27.6 |8245k| 51 | - | 239 |2308 | 239 | 971 | 93 |7273 |2807 | 0.000000e+00 | -- | Inf
89.27/89.31 c 89.3s| 35100 | 12 |974700 | 27.6 |8237k| 51 | 92 | 239 |2328 | 239 | 971 | 93 |7326 |2807 | 0.000000e+00 | -- | Inf
89.47/89.51 c 89.5s| 35200 | 14 |977193 | 27.6 |8244k| 51 | 87 | 239 |2343 | 239 | 971 | 93 |7359 |2807 | 0.000000e+00 | -- | Inf
89.56/89.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.56/89.64 c 89.6s| 35300 | 12 |978881 | 27.5 |8266k| 51 | - | 239 |2395 | 0 | 0 | 93 |7414 |2807 | 0.000000e+00 | -- | Inf
89.67/89.78 c 89.8s| 35400 | 14 |980565 | 27.5 |8274k| 51 | 91 | 239 |2431 | 239 | 971 | 93 |7452 |2807 | 0.000000e+00 | -- | Inf
89.87/89.91 c 89.9s| 35500 | 14 |982119 | 27.5 |8282k| 51 | - | 239 |2447 | 239 | 971 | 93 |7481 |2807 | 0.000000e+00 | -- | Inf
89.97/90.05 c 90.1s| 35600 | 12 |983887 | 27.4 |8291k| 51 | - | 239 |2477 | 239 | 971 | 93 |7519 |2807 | 0.000000e+00 | -- | Inf
90.17/90.24 c 90.2s| 35700 | 22 |986513 | 27.4 |8308k| 51 | 90 | 239 |2483 | 239 | 971 | 93 |7542 |2807 | 0.000000e+00 | -- | Inf
90.36/90.45 c 90.5s| 35800 | 16 |989281 | 27.4 |8306k| 51 | - | 239 |2492 | 0 | 0 | 93 |7567 |2807 | 0.000000e+00 | -- | Inf
90.56/90.63 c 90.6s| 35900 | 18 |991700 | 27.4 |8312k| 51 | 94 | 239 |2513 | 239 | 971 | 93 |7588 |2807 | 0.000000e+00 | -- | Inf
90.67/90.78 c 90.8s| 36000 | 16 |993674 | 27.4 |8323k| 51 | - | 239 |2531 | 239 | 971 | 93 |7610 |2807 | 0.000000e+00 | -- | Inf
90.87/90.97 c 91.0s| 36100 | 16 |996183 | 27.4 |8323k| 51 | 106 | 239 |2544 | 239 | 971 | 93 |7628 |2807 | 0.000000e+00 | -- | Inf
91.06/91.14 c 91.1s| 36200 | 14 |998483 | 27.4 |8324k| 51 | 92 | 239 |2558 | 239 | 971 | 93 |7643 |2807 | 0.000000e+00 | -- | Inf
91.27/91.33 c 91.3s| 36300 | 10 | 1000k| 27.4 |8322k| 51 | - | 239 |2578 | 0 | 0 | 93 |7667 |2807 | 0.000000e+00 | -- | Inf
91.46/91.54 c 91.5s| 36400 | 10 | 1003k| 27.4 |8323k| 51 | - | 239 |2588 | 239 | 971 | 93 |7686 |2807 | 0.000000e+00 | -- | Inf
91.67/91.73 c 91.7s| 36500 | 10 | 1006k| 27.4 |8342k| 51 | - | 239 |2612 | 239 | 971 | 95 |7723 |2807 | 0.000000e+00 | -- | Inf
91.87/91.94 c 91.9s| 36600 | 10 | 1008k| 27.4 |8340k| 51 | - | 239 |2604 | 239 | 970 | 96 |7747 |2807 | 0.000000e+00 | -- | Inf
92.07/92.12 c 92.1s| 36700 | 8 | 1011k| 27.4 |8335k| 51 | - | 239 |2596 | 239 | 970 | 96 |7760 |2807 | 0.000000e+00 | -- | Inf
92.27/92.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.27/92.33 c 92.3s| 36800 | 8 | 1014k| 27.4 |8326k| 51 | 156 | 239 |2594 | 239 | 970 | 96 |7778 |2807 | 0.000000e+00 | -- | Inf
92.47/92.57 c 92.6s| 36900 | 28 | 1016k| 27.4 |8367k| 51 | - | 239 |2588 | 0 | 0 | 97 |7792 |2816 | 0.000000e+00 | -- | Inf
92.67/92.74 c 92.7s| 37000 | 24 | 1018k| 27.3 |8367k| 51 | 85 | 239 |2597 | 239 | 971 | 97 |7808 |2823 | 0.000000e+00 | -- | Inf
92.87/92.96 c 93.0s| 37100 | 28 | 1021k| 27.3 |8377k| 51 | 95 | 239 |2594 | 239 | 971 | 97 |7815 |2834 | 0.000000e+00 | -- | Inf
93.06/93.16 c 93.2s| 37200 | 16 | 1023k| 27.3 |8362k| 51 | - | 239 |2600 | 239 | 971 | 97 |7824 |2844 | 0.000000e+00 | -- | Inf
93.27/93.33 c 93.3s| 37300 | 10 | 1025k| 27.3 |8343k| 51 | 101 | 239 |2619 | 239 | 971 | 97 |7847 |2848 | 0.000000e+00 | -- | Inf
93.47/93.55 c 93.5s| 37400 | 10 | 1027k| 27.3 |8346k| 51 | 108 | 239 |2629 | 239 | 970 | 97 |7875 |2857 | 0.000000e+00 | -- | Inf
93.67/93.77 c 93.8s| 37500 | 10 | 1030k| 27.3 |8356k| 51 | - | 239 |2636 | 0 | 0 | 102 |7916 |2866 | 0.000000e+00 | -- | Inf
93.97/94.05 c 94.0s| 37600 | 8 | 1033k| 27.3 |8348k| 51 | - | 239 |2604 | 0 | 0 | 107 |7920 |2882 | 0.000000e+00 | -- | Inf
94.17/94.24 c 94.2s| 37700 | 10 | 1035k| 27.3 |8344k| 51 | - | 239 |2599 | 239 | 970 | 107 |7935 |2882 | 0.000000e+00 | -- | Inf
94.37/94.47 c 94.5s| 37800 | 12 | 1038k| 27.3 |8339k| 51 | - | 239 |2597 | 239 | 970 | 107 |7945 |2889 | 0.000000e+00 | -- | Inf
94.58/94.64 c 94.6s| 37900 | 12 | 1040k| 27.3 |8350k| 51 | - | 239 |2613 | 0 | 0 | 107 |7969 |2891 | 0.000000e+00 | -- | Inf
94.77/94.80 c 94.8s| 38000 | 12 | 1042k| 27.2 |8343k| 51 | 79 | 239 |2618 | 239 | 970 | 107 |7984 |2891 | 0.000000e+00 | -- | Inf
94.86/94.98 c 95.0s| 38100 | 12 | 1044k| 27.2 |8347k| 51 | - | 239 |2634 | 0 | 0 | 107 |8004 |2891 | 0.000000e+00 | -- | Inf
95.06/95.13 c 95.1s| 38200 | 20 | 1046k| 27.2 |8379k| 51 | 71 | 239 |2656 | 239 | 970 | 108 |8037 |2891 | 0.000000e+00 | -- | Inf
95.17/95.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.17/95.25 c 95.2s| 38300 | 14 | 1048k| 27.2 |8374k| 51 | - | 239 |2675 | 239 | 970 | 108 |8060 |2891 | 0.000000e+00 | -- | Inf
95.37/95.40 c 95.4s| 38400 | 14 | 1050k| 27.2 |8380k| 51 | - | 239 |2693 | 239 | 971 | 108 |8082 |2891 | 0.000000e+00 | -- | Inf
95.47/95.56 c 95.6s| 38500 | 18 | 1052k| 27.1 |8387k| 51 | 78 | 239 |2710 | 239 | 971 | 108 |8100 |2891 | 0.000000e+00 | -- | Inf
95.67/95.72 c 95.7s| 38600 | 14 | 1054k| 27.1 |8393k| 51 | - | 239 |2723 | 239 | 971 | 108 |8115 |2891 | 0.000000e+00 | -- | Inf
95.77/95.88 c 95.9s| 38700 | 16 | 1056k| 27.1 |8412k| 51 | - | 239 |2767 | 239 | 970 | 108 |8163 |2891 | 0.000000e+00 | -- | Inf
95.97/96.02 c 96.0s| 38800 | 18 | 1058k| 27.1 |8421k| 51 | 88 | 239 |2792 | 239 | 970 | 108 |8190 |2891 | 0.000000e+00 | -- | Inf
96.07/96.16 c 96.2s| 38900 | 18 | 1059k| 27.1 |8429k| 51 | - | 239 |2819 | 239 | 970 | 108 |8221 |2891 | 0.000000e+00 | -- | Inf
96.27/96.34 c 96.3s| 39000 | 12 | 1062k| 27.0 |8432k| 51 | - | 239 |2835 | 0 | 0 | 108 |8238 |2891 | 0.000000e+00 | -- | Inf
96.47/96.52 c 96.5s| 39100 | 14 | 1064k| 27.0 |8434k| 51 | - | 239 |2862 | 239 | 971 | 108 |8270 |2891 | 0.000000e+00 | -- | Inf
96.57/96.66 c 96.7s| 39200 | 18 | 1066k| 27.0 |8451k| 51 | 95 | 239 |2888 | 239 | 971 | 108 |8305 |2891 | 0.000000e+00 | -- | Inf
96.77/96.85 c 96.8s| 39300 | 14 | 1068k| 27.0 |8455k| 51 | 89 | 239 |2894 | 239 | 971 | 108 |8313 |2891 | 0.000000e+00 | -- | Inf
96.86/96.99 c 97.0s| 39400 | 12 | 1070k| 27.0 |8457k| 51 | 92 | 239 |2915 | 239 | 971 | 108 |8337 |2891 | 0.000000e+00 | -- | Inf
97.07/97.18 c 97.2s| 39500 | 14 | 1072k| 27.0 |8474k| 51 | 89 | 239 |2968 | 239 | 970 | 108 |8395 |2895 | 0.000000e+00 | -- | Inf
97.26/97.34 c 97.3s| 39600 | 12 | 1074k| 27.0 |8476k| 51 | 96 | 239 |2994 | 239 | 970 | 108 |8424 |2896 | 0.000000e+00 | -- | Inf
97.37/97.48 c 97.5s| 39700 | 14 | 1076k| 26.9 |8496k| 51 | - | 239 |3028 | 0 | 0 | 108 |8460 |2897 | 0.000000e+00 | -- | Inf
97.56/97.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.56/97.61 c 97.6s| 39800 | 12 | 1078k| 26.9 |8500k| 51 | 101 | 239 |3055 | 239 | 971 | 108 |8488 |2897 | 0.000000e+00 | -- | Inf
97.67/97.76 c 97.8s| 39900 | 14 | 1079k| 26.9 |8513k| 51 | 96 | 239 |3077 | 239 | 970 | 108 |8513 |2897 | 0.000000e+00 | -- | Inf
97.87/97.93 c 97.9s| 40000 | 14 | 1082k| 26.9 |8524k| 51 | 85 | 239 |3097 | 239 | 971 | 108 |8538 |2897 | 0.000000e+00 | -- | Inf
98.07/98.10 c 98.1s| 40100 | 12 | 1084k| 26.9 |8521k| 51 | 93 | 239 |3123 | 239 | 970 | 108 |8566 |2897 | 0.000000e+00 | -- | Inf
98.17/98.27 c 98.3s| 40200 | 14 | 1086k| 26.8 |8537k| 51 | - | 239 |3139 | 239 | 970 | 108 |8586 |2897 | 0.000000e+00 | -- | Inf
98.37/98.45 c 98.5s| 40300 | 18 | 1089k| 26.8 |8544k| 51 | 85 | 239 |3146 | 239 | 970 | 108 |8595 |2897 | 0.000000e+00 | -- | Inf
98.57/98.61 c 98.6s| 40400 | 16 | 1091k| 26.8 |8547k| 51 | 90 | 239 |3155 | 239 | 971 | 108 |8611 |2897 | 0.000000e+00 | -- | Inf
98.66/98.75 c 98.8s| 40500 | 16 | 1093k| 26.8 |8551k| 51 | 92 | 239 |3174 | 239 | 971 | 108 |8637 |2897 | 0.000000e+00 | -- | Inf
98.76/98.90 c 98.9s| 40600 | 16 | 1094k| 26.8 |8560k| 51 | 95 | 239 |3201 | 239 | 970 | 108 |8665 |2897 | 0.000000e+00 | -- | Inf
98.97/99.09 c 99.1s| 40700 | 16 | 1097k| 26.8 |8576k| 51 | - | 239 |3216 | 239 | 971 | 108 |8685 |2897 | 0.000000e+00 | -- | Inf
99.17/99.24 c 99.2s| 40800 | 16 | 1099k| 26.8 |8579k| 51 | 95 | 239 |3240 | 239 | 971 | 108 |8714 |2897 | 0.000000e+00 | -- | Inf
99.36/99.44 c 99.4s| 40900 | 14 | 1101k| 26.8 |8585k| 51 | - | 239 |3267 | 239 | 971 | 108 |8750 |2907 | 0.000000e+00 | -- | Inf
99.56/99.61 c 99.6s| 41000 | 14 | 1103k| 26.7 |8596k| 51 | - | 239 |3290 | 239 | 971 | 108 |8775 |2907 | 0.000000e+00 | -- | Inf
99.77/99.84 c 99.8s| 41100 | 14 | 1106k| 26.7 |8600k| 51 | - | 239 |3306 | 0 | 0 | 108 |8795 |2918 | 0.000000e+00 | -- | Inf
99.97/100.09 c 100s| 41200 | 16 | 1108k| 26.7 |8609k| 51 | 87 | 239 |3337 | 239 | 971 | 108 |8830 |2929 | 0.000000e+00 | -- | Inf
100.16/100.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.16/100.27 c 100s| 41300 | 14 | 1111k| 26.7 |8615k| 51 | 86 | 239 |3358 | 239 | 971 | 108 |8854 |2929 | 0.000000e+00 | -- | Inf
100.37/100.47 c 100s| 41400 | 12 | 1113k| 26.7 |8618k| 51 | 91 | 239 |3393 | 239 | 971 | 108 |8893 |2936 | 0.000000e+00 | -- | Inf
100.66/100.73 c 101s| 41500 | 16 | 1116k| 26.7 |8633k| 51 | 95 | 239 |3397 | 239 | 971 | 108 |8903 |2946 | 0.000000e+00 | -- | Inf
100.86/100.92 c 101s| 41600 | 16 | 1118k| 26.7 |8637k| 51 | 90 | 239 |3415 | 239 | 971 | 108 |8931 |2953 | 0.000000e+00 | -- | Inf
100.97/101.05 c 101s| 41700 | 14 | 1120k| 26.7 |8637k| 51 | 89 | 239 |3409 | 239 | 971 | 108 |8957 |2953 | 0.000000e+00 | -- | Inf
101.17/101.26 c 101s| 41800 | 12 | 1122k| 26.7 |8632k| 51 | 100 | 239 |3416 | 239 | 971 | 108 |8987 |2961 | 0.000000e+00 | -- | Inf
101.37/101.45 c 101s| 41900 | 12 | 1124k| 26.7 |8640k| 51 | 94 | 239 |3419 | 239 | 971 | 108 |9010 |2961 | 0.000000e+00 | -- | Inf
101.57/101.60 c 102s| 42000 | 12 | 1126k| 26.7 |8644k| 51 | - | 239 |3424 | 239 | 971 | 108 |9030 |2961 | 0.000000e+00 | -- | Inf
101.67/101.79 c 102s| 42100 | 14 | 1129k| 26.7 |8646k| 51 | 87 | 239 |3428 | 239 | 971 | 108 |9046 |2961 | 0.000000e+00 | -- | Inf
101.86/101.98 c 102s| 42200 | 12 | 1131k| 26.6 |8650k| 51 | 94 | 239 |3443 | 239 | 971 | 108 |9067 |2961 | 0.000000e+00 | -- | Inf
102.06/102.19 c 102s| 42300 | 8 | 1134k| 26.6 |8655k| 51 | - | 239 |3470 | 239 | 971 | 108 |9099 |2962 | 0.000000e+00 | -- | Inf
102.27/102.37 c 102s| 42400 | 12 | 1136k| 26.6 |8669k| 51 | 99 | 239 |3503 | 239 | 971 | 108 |9146 |2964 | 0.000000e+00 | -- | Inf
102.47/102.54 c 103s| 42500 | 10 | 1138k| 26.6 |8659k| 51 | 90 | 239 |3504 | 239 | 971 | 108 |9170 |2964 | 0.000000e+00 | -- | Inf
102.66/102.70 c 103s| 42600 | 12 | 1140k| 26.6 |8677k| 51 | - | 239 |3516 | 239 | 971 | 108 |9222 |2964 | 0.000000e+00 | -- | Inf
102.77/102.86 c 103s| 42700 | 14 | 1142k| 26.6 |8681k| 51 | 83 | 239 |3528 | 239 | 971 | 108 |9245 |2964 | 0.000000e+00 | -- | Inf
102.96/103.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.96/103.04 c 103s| 42800 | 12 | 1145k| 26.6 |8683k| 51 | 85 | 239 |3556 | 239 | 971 | 108 |9279 |2964 | 0.000000e+00 | -- | Inf
103.17/103.22 c 103s| 42900 | 12 | 1147k| 26.6 |8693k| 51 | 82 | 239 |3578 | 239 | 971 | 108 |9304 |2964 | 0.000000e+00 | -- | Inf
103.37/103.41 c 103s| 43000 | 10 | 1150k| 26.6 |8697k| 51 | - | 239 |3589 | 0 | 0 | 108 |9320 |2964 | 0.000000e+00 | -- | Inf
103.47/103.58 c 104s| 43100 | 10 | 1152k| 26.6 |8709k| 51 | - | 239 |3623 | 239 | 971 | 108 |9362 |2964 | 0.000000e+00 | -- | Inf
103.67/103.74 c 104s| 43200 | 12 | 1154k| 26.5 |8729k| 51 | 92 | 239 |3667 | 239 | 971 | 108 |9410 |2964 | 0.000000e+00 | -- | Inf
103.86/103.90 c 104s| 43300 | 12 | 1156k| 26.5 |8738k| 51 | 93 | 239 |3690 | 239 | 971 | 108 |9437 |2964 | 0.000000e+00 | -- | Inf
103.97/104.09 c 104s| 43400 | 14 | 1158k| 26.5 |8753k| 51 | - | 239 |3712 | 0 | 0 | 108 |9472 |2964 | 0.000000e+00 | -- | Inf
104.16/104.24 c 104s| 43500 | 8 | 1160k| 26.5 |8748k| 51 | - | 239 |3719 | 0 | 0 | 108 |9491 |2964 | 0.000000e+00 | -- | Inf
104.37/104.44 c 104s| 43600 | 8 | 1163k| 26.5 |8744k| 51 | - | 239 |3735 | 239 | 971 | 108 |9518 |2964 | 0.000000e+00 | -- | Inf
104.56/104.66 c 105s| 43700 | 10 | 1166k| 26.5 |8753k| 51 | 93 | 239 |3747 | 239 | 971 | 108 |9532 |2964 | 0.000000e+00 | -- | Inf
104.76/104.89 c 105s| 43800 | 10 | 1169k| 26.5 |8760k| 51 | - | 239 |3756 | 0 | 0 | 108 |9553 |2964 | 0.000000e+00 | -- | Inf
104.96/105.08 c 105s| 43900 | 10 | 1171k| 26.5 |8762k| 51 | 94 | 239 |3765 | 239 | 971 | 108 |9576 |2964 | 0.000000e+00 | -- | Inf
105.16/105.27 c 105s| 44000 | 10 | 1174k| 26.5 |8766k| 51 | 106 | 239 |3787 | 239 | 971 | 108 |9605 |2964 | 0.000000e+00 | -- | Inf
105.37/105.43 c 105s| 44100 | 10 | 1176k| 26.5 |8776k| 51 | 98 | 239 |3812 | 239 | 971 | 108 |9633 |2964 | 0.000000e+00 | -- | Inf
105.58/105.63 c 106s| 44200 | 8 | 1179k| 26.5 |8779k| 51 | - | 239 |3822 | 239 | 971 | 108 |9648 |2964 | 0.000000e+00 | -- | Inf
105.77/105.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.77/105.86 c 106s| 44300 | 8 | 1182k| 26.5 |8787k| 51 | - | 239 |3842 | 239 | 971 | 108 |9672 |2964 | 0.000000e+00 | -- | Inf
105.96/106.06 c 106s| 44400 | 8 | 1184k| 26.5 |8788k| 51 | - | 239 |3851 | 239 | 971 | 108 |9681 |2964 | 0.000000e+00 | -- | Inf
106.46/106.55 c 107s| 44500 | 14 | 1188k| 26.5 |8804k| 51 | 90 | 239 |3824 | 239 | 971 | 110 |9702 |2993 | 0.000000e+00 | -- | Inf
106.67/106.75 c 107s| 44600 | 12 | 1191k| 26.5 |8803k| 51 | 107 | 239 |3831 | 239 | 971 | 110 |9713 |2993 | 0.000000e+00 | -- | Inf
106.97/107.09 c 107s| 44700 | 14 | 1194k| 26.6 |8802k| 51 | 96 | 239 |3794 | 239 | 971 | 111 |9731 |3007 | 0.000000e+00 | -- | Inf
107.27/107.31 c 107s| 44800 | 12 | 1197k| 26.6 |8804k| 51 | 96 | 239 |3804 | 239 | 971 | 111 |9743 |3007 | 0.000000e+00 | -- | Inf
107.57/107.63 c 108s| 44900 | 10 | 1200k| 26.6 |8737k| 51 | - | 239 |3604 | 0 | 0 | 111 |9761 |3020 | 0.000000e+00 | -- | Inf
107.86/107.93 c 108s| 45000 | 14 | 1205k| 26.6 |8716k| 51 | - | 239 |3537 | 239 | 971 | 111 |9780 |3021 | 0.000000e+00 | -- | Inf
108.26/108.39 c 108s| 45100 | 10 | 1209k| 26.7 |8666k| 51 | - | 239 |3465 | 239 | 970 | 111 |9794 |3040 | 0.000000e+00 | -- | Inf
108.57/108.64 c 109s| 45200 | 10 | 1212k| 26.7 |8630k| 51 | 99 | 239 |3370 | 239 | 970 | 112 |9820 |3045 | 0.000000e+00 | -- | Inf
108.87/108.95 c 109s| 45300 | 12 | 1215k| 26.7 |8614k| 51 | - | 239 |3302 | 0 | 0 | 112 |9842 |3052 | 0.000000e+00 | -- | Inf
109.16/109.21 c 109s| 45400 | 15 | 1218k| 26.7 |8617k| 51 | - | 239 |3289 | 239 | 971 | 113 |9864 |3061 | 0.000000e+00 | -- | Inf
109.26/109.37 c 109s| 45500 | 17 | 1220k| 26.7 |8629k| 51 | - | 239 |3303 | 239 | 971 | 113 |9882 |3061 | 0.000000e+00 | -- | Inf
109.46/109.55 c 110s| 45600 | 11 | 1223k| 26.7 |8620k| 51 | - | 239 |3306 | 239 | 971 | 113 |9894 |3061 | 0.000000e+00 | -- | Inf
109.66/109.73 c 110s| 45700 | 15 | 1225k| 26.7 |8619k| 51 | 77 | 239 |3303 | 239 | 971 | 113 |9926 |3061 | 0.000000e+00 | -- | Inf
109.87/109.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.87/109.97 c 110s| 45800 | 10 | 1228k| 26.7 |8623k| 51 | - | 239 |3317 | 0 | 0 | 113 |9952 |3061 | 0.000000e+00 | -- | Inf
110.17/110.26 c 110s| 45900 | 10 | 1231k| 26.7 |8627k| 51 | - | 239 |3344 | 239 | 971 | 113 |9985 |3071 | 0.000000e+00 | -- | Inf
110.46/110.50 c 110s| 46000 | 16 | 1234k| 26.7 |8650k| 51 | 110 | 239 |3371 | 239 | 971 | 113 | 10k|3071 | 0.000000e+00 | -- | Inf
110.67/110.76 c 111s| 46100 | 12 | 1238k| 26.7 |8652k| 51 | - | 239 |3394 | 239 | 971 | 113 | 10k|3081 | 0.000000e+00 | -- | Inf
110.97/111.05 c 111s| 46200 | 13 | 1240k| 26.7 |8649k| 51 | 98 | 239 |3400 | 239 | 971 | 114 | 10k|3092 | 0.000000e+00 | -- | Inf
111.17/111.26 c 111s| 46300 | 15 | 1243k| 26.7 |8649k| 51 | 97 | 239 |3382 | 239 | 971 | 114 | 10k|3092 | 0.000000e+00 | -- | Inf
111.47/111.53 c 112s| 46400 | 13 | 1246k| 26.7 |8636k| 51 | 99 | 239 |3349 | 239 | 971 | 114 | 10k|3105 | 0.000000e+00 | -- | Inf
111.66/111.80 c 112s| 46500 | 13 | 1249k| 26.7 |8639k| 51 | - | 239 |3332 | 0 | 0 | 114 | 10k|3114 | 0.000000e+00 | -- | Inf
111.97/112.04 c 112s| 46600 | 13 | 1252k| 26.7 |8638k| 51 | - | 239 |3338 | 239 | 971 | 114 | 10k|3115 | 0.000000e+00 | -- | Inf
112.26/112.31 c 112s| 46700 | 13 | 1255k| 26.7 |8641k| 51 | 74 | 239 |3355 | 239 | 971 | 114 | 10k|3125 | 0.000000e+00 | -- | Inf
112.47/112.50 c 113s| 46800 | 15 | 1257k| 26.7 |8656k| 51 | - | 239 |3370 | 239 | 971 | 114 | 10k|3125 | 0.000000e+00 | -- | Inf
112.66/112.76 c 113s| 46900 | 13 | 1260k| 26.7 |8648k| 51 | 98 | 239 |3361 | 239 | 971 | 114 | 10k|3131 | 0.000000e+00 | -- | Inf
112.97/113.08 c 113s| 47000 | 15 | 1264k| 26.7 |8644k| 51 | 96 | 239 |3350 | 239 | 970 | 114 | 10k|3138 | 0.000000e+00 | -- | Inf
113.27/113.33 c 113s| 47100 | 13 | 1267k| 26.7 |8641k| 51 | 105 | 239 |3371 | 239 | 970 | 114 | 10k|3139 | 0.000000e+00 | -- | Inf
113.47/113.59 c 114s| 47200 | 11 | 1270k| 26.8 |8642k| 51 | 104 | 239 |3390 | 239 | 970 | 114 | 10k|3139 | 0.000000e+00 | -- | Inf
113.86/113.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.86/113.98 c 114s| 47300 | 11 | 1275k| 26.8 |8649k| 51 | 113 | 239 |3402 | 239 | 970 | 114 | 10k|3146 | 0.000000e+00 | -- | Inf
114.07/114.19 c 114s| 47400 | 15 | 1278k| 26.8 |8671k| 51 | - | 239 |3436 | 239 | 970 | 114 | 10k|3146 | 0.000000e+00 | -- | Inf
114.27/114.40 c 114s| 47500 | 13 | 1280k| 26.8 |8675k| 51 | 109 | 239 |3457 | 239 | 970 | 114 | 10k|3146 | 0.000000e+00 | -- | Inf
114.56/114.65 c 115s| 47600 | 11 | 1284k| 26.8 |8673k| 51 | 110 | 239 |3480 | 239 | 970 | 114 | 10k|3146 | 0.000000e+00 | -- | Inf
114.87/114.91 c 115s| 47700 | 11 | 1287k| 26.8 |8674k| 51 | - | 239 |3483 | 239 | 971 | 114 | 10k|3146 | 0.000000e+00 | -- | Inf
115.06/115.15 c 115s| 47800 | 9 | 1290k| 26.8 |8670k| 51 | - | 239 |3465 | 0 | 0 | 114 | 10k|3146 | 0.000000e+00 | -- | Inf
115.37/115.45 c 115s| 47900 | 11 | 1294k| 26.9 |8669k| 51 | 90 | 239 |3464 | 239 | 971 | 114 | 10k|3146 | 0.000000e+00 | -- | Inf
115.66/115.79 c 116s| 48000 | 11 | 1298k| 26.9 |8671k| 51 | - | 239 |3469 | 0 | 0 | 114 | 10k|3146 | 0.000000e+00 | -- | Inf
115.96/116.02 c 116s| 48100 | 10 | 1301k| 26.9 |8676k| 51 | - | 239 |3477 | 239 | 970 | 114 | 10k|3152 | 0.000000e+00 | -- | Inf
116.17/116.21 c 116s| 48200 | 10 | 1303k| 26.9 |8677k| 51 | 104 | 239 |3495 | 239 | 970 | 114 | 10k|3155 | 0.000000e+00 | -- | Inf
116.37/116.46 c 116s| 48300 | 14 | 1307k| 26.9 |8691k| 51 | 85 | 239 |3489 | 239 | 970 | 115 | 10k|3156 | 0.000000e+00 | -- | Inf
116.66/116.72 c 117s| 48400 | 12 | 1310k| 26.9 |8679k| 51 | 112 | 239 |3457 | 239 | 971 | 115 | 10k|3156 | 0.000000e+00 | -- | Inf
116.86/116.98 c 117s| 48500 | 16 | 1313k| 26.9 |8688k| 51 | - | 239 |3457 | 239 | 971 | 115 | 10k|3156 | 0.000000e+00 | -- | Inf
117.17/117.24 c 117s| 48600 | 18 | 1317k| 27.0 |8691k| 51 | - | 239 |3448 | 239 | 971 | 115 | 10k|3156 | 0.000000e+00 | -- | Inf
117.36/117.47 c 117s| 48700 | 18 | 1320k| 27.0 |8697k| 51 | - | 239 |3457 | 0 | 0 | 115 | 10k|3156 | 0.000000e+00 | -- | Inf
117.67/117.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.67/117.73 c 118s| 48800 | 23 | 1324k| 27.0 |8708k| 51 | 98 | 239 |3465 | 239 | 971 | 115 | 10k|3156 | 0.000000e+00 | -- | Inf
117.87/117.99 c 118s| 48900 | 19 | 1327k| 27.0 |8720k| 51 | - | 239 |3485 | 239 | 971 | 115 | 10k|3156 | 0.000000e+00 | -- | Inf
118.06/118.19 c 118s| 49000 | 14 | 1330k| 27.0 |8704k| 51 | 107 | 239 |3510 | 239 | 971 | 115 | 10k|3156 | 0.000000e+00 | -- | Inf
118.36/118.44 c 118s| 49100 | 13 | 1334k| 27.0 |8707k| 51 | - | 239 |3529 | 239 | 971 | 115 | 10k|3156 | 0.000000e+00 | -- | Inf
118.57/118.66 c 119s| 49200 | 13 | 1336k| 27.0 |8722k| 51 | - | 239 |3568 | 0 | 0 | 115 | 10k|3156 | 0.000000e+00 | -- | Inf
118.86/118.92 c 119s| 49300 | 11 | 1339k| 27.0 |8723k| 51 | 102 | 239 |3591 | 239 | 971 | 115 | 10k|3165 | 0.000000e+00 | -- | Inf
119.26/119.35 c 119s| 49400 | 19 | 1344k| 27.1 |8748k| 51 | 94 | 239 |3603 | 239 | 971 | 115 | 10k|3175 | 0.000000e+00 | -- | Inf
119.56/119.63 c 120s| 49500 | 16 | 1347k| 27.1 |8754k| 51 | - | 239 |3617 | 239 | 971 | 115 | 10k|3184 | 0.000000e+00 | -- | Inf
119.87/119.99 c 120s| 49600 | 12 | 1351k| 27.1 |8742k| 51 | - | 239 |3618 | 239 | 971 | 115 | 10k|3197 | 0.000000e+00 | -- | Inf
120.17/120.21 c 120s| 49700 | 10 | 1354k| 27.1 |8741k| 51 | - | 239 |3629 | 239 | 971 | 115 | 10k|3197 | 0.000000e+00 | -- | Inf
120.47/120.54 c 121s| 49800 | 10 | 1358k| 27.1 |8734k| 51 | 117 | 239 |3635 | 239 | 971 | 115 | 10k|3215 | 0.000000e+00 | -- | Inf
120.76/120.82 c 121s| 49900 | 10 | 1361k| 27.1 |8749k| 51 | - | 239 |3671 | 0 | 0 | 115 | 11k|3215 | 0.000000e+00 | -- | Inf
121.06/121.13 c 121s| 50000 | 10 | 1365k| 27.2 |8746k| 51 | 114 | 239 |3673 | 239 | 971 | 115 | 11k|3224 | 0.000000e+00 | -- | Inf
121.27/121.30 c * 121s| 50069 | 0 | 1367k| 27.2 |8739k| 51 | - | 239 |3687 | 239 | 971 | 115 | 11k|3227 | 0.000000e+00 | 0.000000e+00 | 0.00%
121.27/121.30 c
121.27/121.30 c SCIP Status : problem is solved [optimal solution found]
121.27/121.30 c Solving Time (sec) : 121.31
121.27/121.30 c Solving Nodes : 50069
121.27/121.30 c Primal Bound : +0.00000000000000e+00 (1 solutions)
121.27/121.30 c Dual Bound : +0.00000000000000e+00
121.27/121.30 c Gap : 0.00 %
121.27/121.30 s SATISFIABLE
121.27/121.30 v x265 -x266 -x263 x264 x261 -x262 -x259 -x260 x257 -x258 -x255 x256 -x253 -x254 -x251 x252 -x249 x250 -x247 -x248 -x245 x246 x243
121.27/121.30 v -x244 -x241 -x242 x239 -x240 -x237 x238 x235 -x236 -x233 x234 x231 -x232 -x229 x230 x227 -x228 -x225 x226 -x223 -x224 -x221
121.27/121.30 v x222 -x219 -x220 -x217 x218 -x215 x216 -x213 -x214 -x211 x212 -x209 -x210 -x207 x208 x205 -x206 -x203 x204 x201 -x202 -x199
121.27/121.30 v x200 -x197 x198 x195 -x196 x193 -x194 x191 -x192 x189 -x190 x187 -x188 -x185 x186 x183 -x184 -x181 x182 -x179 x180 x177 -x178
121.27/121.30 v -x175 x176 x173 -x174 x171 -x172 x169 -x170 -x167 x168 x165 -x166 -x163 x164 -x162 -x160 -x158 -x156 -x154 -x152 -x150 -x148
121.27/121.30 v -x146 -x144 -x142 x140 -x138 x136 -x134 -x132 -x130 -x128 -x126 -x124 -x122 -x120 -x118 -x116 -x114 -x112 -x110 -x108 -x106
121.27/121.30 v x104 -x102 x100 -x98 -x96 -x94 -x92 -x90 x88 -x86 x84 -x82 x80 -x78 x76 -x74 -x72 -x70 x68 -x66 x64 -x62 -x60 -x58 -x56 -x54
121.27/121.30 v -x52 -x50 -x48 -x46 -x44 -x42 -x40 -x38 -x36 -x34 x32 -x30 x28 -x26 -x24 -x22 -x20 -x18 -x16 -x14 -x12 -x10 -x8 -x6 -x4 -x2 x161
121.27/121.30 v -x159 -x157 -x155 -x153 -x151 x149 -x147 x145 -x143 -x141 -x139 -x137 -x135 -x133 -x131 -x129 -x127 x125 -x123 -x121 -x119
121.27/121.30 v -x117 -x115 x113 -x111 x109 -x107 -x105 -x103 -x101 -x99 -x97 -x95 -x93 -x91 -x89 -x87 -x85 -x83 -x81 -x79 -x77 -x75 -x73 -x71
121.27/121.30 v -x69 -x67 -x65 -x63 -x61 -x59 -x57 -x55 x53 -x51 -x49 -x47 -x45 -x43 x41 -x39 x37 -x35 -x33 -x31 -x29 -x27 -x25 -x23 -x21
121.27/121.30 v -x19 x17 -x15 -x13 -x11 -x9 -x7 x5 -x3 x1
121.27/121.30 c SCIP Status : problem is solved [optimal solution found]
121.27/121.30 c Total Time : 121.31
121.27/121.30 c solving : 121.31
121.27/121.30 c presolving : 0.09 (included in solving)
121.27/121.30 c reading : 0.00 (included in solving)
121.27/121.30 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
121.27/121.30 c Original Problem :
121.27/121.30 c Problem name : HOME/instance-3692812-1338017384.opb
121.27/121.30 c Variables : 266 (266 binary, 0 integer, 0 implicit integer, 0 continuous)
121.27/121.30 c Constraints : 573 initial, 573 maximal
121.27/121.30 c Objective sense : minimize
121.27/121.31 c Presolved Problem :
121.27/121.31 c Problem name : t_HOME/instance-3692812-1338017384.opb
121.27/121.31 c Variables : 239 (239 binary, 0 integer, 0 implicit integer, 0 continuous)
121.27/121.31 c Constraints : 944 initial, 3851 maximal
121.27/121.31 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
121.27/121.31 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
121.27/121.31 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
121.27/121.31 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
121.27/121.31 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
121.27/121.31 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
121.27/121.31 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
121.27/121.31 c gateextraction : 0.00 0.00 0 0 0 0 0 15 5 0 0
121.27/121.31 c implics : 0.00 0.00 0 8 0 0 0 0 0 0 0
121.27/121.31 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
121.27/121.31 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
121.27/121.31 c probing : 0.04 0.00 6 1 0 1 0 0 0 0 0
121.27/121.31 c knapsack : 0.01 0.00 0 0 0 0 0 31 506 486 1020
121.27/121.31 c setppc : 0.01 0.00 0 0 0 0 0 64 0 0 0
121.27/121.31 c and : 0.00 0.00 0 0 0 0 0 1 1 0 0
121.27/121.31 c linear : 0.01 0.00 12 0 0 12 0 29 0 0 0
121.27/121.31 c logicor : 0.01 0.00 0 0 0 0 0 1 0 0 0
121.27/121.31 c root node : - - 0 - - 0 - - - - -
121.27/121.31 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
121.27/121.31 c integral : 0 0 0 0 25750 0 6 0 187 970 0 0 50102
121.27/121.31 c knapsack : 131 131 6 181580 1 0 3 103646 4027 153080 4 0 0
121.27/121.31 c setppc : 558 558 6 177553 1 0 0 335890 1065 474470 0 0 0
121.27/121.31 c and : 4 4 15391 97711 0 0 0 4272 9 6604 78 0 0
121.27/121.31 c logicor : 251+ 3158 6 139380 1 0 0 15162 1386 144049 0 0 0
121.27/121.31 c countsols : 0 0 0 0 1 0 2 0 0 0 0 0 0
121.27/121.31 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
121.27/121.31 c integral : 17.68 0.00 0.00 0.00 17.68 0.00 0.00 0.00
121.27/121.31 c knapsack : 1.42 0.00 0.00 1.30 0.00 0.00 0.00 0.12
121.27/121.31 c setppc : 1.45 0.00 0.00 1.16 0.00 0.00 0.00 0.29
121.27/121.31 c and : 0.11 0.00 0.02 0.09 0.00 0.00 0.00 0.00
121.27/121.31 c logicor : 1.19 0.00 0.00 1.17 0.00 0.00 0.00 0.02
121.27/121.31 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
121.27/121.31 c Propagators : #Propagate #ResProp Cutoffs DomReds
121.27/121.31 c rootredcost : 0 0 0 0
121.27/121.31 c pseudoobj : 0 0 0 0
121.27/121.31 c vbounds : 0 0 0 0
121.27/121.31 c redcost : 25829 0 0 0
121.27/121.31 c probing : 0 0 0 0
121.27/121.31 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
121.27/121.31 c rootredcost : 0.15 0.00 0.00 0.15 0.00
121.27/121.31 c pseudoobj : 0.16 0.00 0.00 0.16 0.00
121.27/121.31 c vbounds : 0.14 0.00 0.00 0.14 0.00
121.27/121.31 c redcost : 0.12 0.00 0.00 0.12 0.00
121.27/121.31 c probing : 0.04 0.00 0.04 0.00 0.00
121.27/121.31 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
121.27/121.31 c propagation : 0.91 5634 5555 31610 36.7 55 10.9 -
121.27/121.31 c infeasible LP : 0.77 18665 63 414 39.8 0 0.0 0
121.27/121.31 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
121.27/121.31 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
121.27/121.31 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
121.27/121.31 c applied globally : - - - 11010 17.0 - - -
121.27/121.31 c applied locally : - - - 72 37.9 - - -
121.27/121.31 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
121.27/121.31 c cut pool : 0.00 5 - - 88 - (maximal pool size: 1087)
121.27/121.31 c closecuts : 0.00 0.00 0 0 0 0 0
121.27/121.31 c impliedbounds : 0.00 0.00 6 0 0 22 0
121.27/121.31 c intobj : 0.00 0.00 0 0 0 0 0
121.27/121.31 c gomory : 0.40 0.00 6 0 0 25 0
121.27/121.31 c cgmip : 0.00 0.00 0 0 0 0 0
121.27/121.31 c strongcg : 0.33 0.00 6 0 0 1790 0
121.27/121.31 c cmir : 0.02 0.00 6 0 0 0 0
121.27/121.31 c flowcover : 0.03 0.00 6 0 0 7 0
121.27/121.31 c clique : 0.01 0.00 6 0 0 33 0
121.27/121.31 c zerohalf : 0.00 0.00 0 0 0 0 0
121.27/121.31 c mcf : 0.00 0.00 1 0 0 0 0
121.27/121.31 c oddcycle : 0.00 0.00 0 0 0 0 0
121.27/121.31 c rapidlearning : 0.00 0.00 0 0 0 0 0
121.27/121.31 c Pricers : ExecTime SetupTime Calls Vars
121.27/121.31 c problem variables: 0.00 - 0 0
121.27/121.31 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
121.27/121.31 c relpscost : 17.62 0.00 25749 187 970 0 0 50102
121.27/121.31 c pscost : 0.00 0.00 0 0 0 0 0 0
121.27/121.31 c inference : 0.00 0.00 0 0 0 0 0 0
121.27/121.31 c mostinf : 0.00 0.00 0 0 0 0 0 0
121.27/121.31 c leastinf : 0.00 0.00 0 0 0 0 0 0
121.27/121.31 c fullstrong : 0.00 0.00 0 0 0 0 0 0
121.27/121.31 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
121.27/121.31 c random : 0.00 0.00 0 0 0 0 0 0
121.27/121.31 c Primal Heuristics : ExecTime SetupTime Calls Found
121.27/121.31 c LP solutions : 0.00 - - 1
121.27/121.31 c pseudo solutions : 0.00 - - 0
121.27/121.31 c oneopt : 0.06 0.00 0 0
121.27/121.31 c crossover : 0.04 0.00 0 0
121.27/121.31 c guideddiving : 0.01 0.00 0 0
121.27/121.31 c intshifting : 0.00 0.00 0 0
121.27/121.31 c coefdiving : 0.15 0.00 22 0
121.27/121.31 c fracdiving : 0.14 0.00 22 0
121.27/121.31 c pscostdiving : 0.10 0.00 22 0
121.27/121.31 c veclendiving : 0.18 0.00 22 0
121.27/121.31 c linesearchdiving : 0.18 0.00 22 0
121.27/121.31 c feaspump : 0.99 0.00 11 0
121.27/121.31 c objpscostdiving : 0.05 0.00 12 0
121.27/121.31 c rootsoldiving : 0.17 0.00 12 0
121.27/121.31 c smallcard : 0.00 0.00 0 0
121.27/121.31 c trivial : 0.00 0.00 2 0
121.27/121.31 c shiftandpropagate: 0.00 0.00 1 0
121.27/121.31 c simplerounding : 0.02 0.00 0 0
121.27/121.31 c zirounding : 0.09 0.00 1000 0
121.27/121.31 c rounding : 0.27 0.00 2227 0
121.27/121.31 c shifting : 0.18 0.00 678 0
121.27/121.31 c twoopt : 0.00 0.00 0 0
121.27/121.31 c indoneopt : 0.10 0.00 0 0
121.27/121.31 c indtwoopt : 0.00 0.00 0 0
121.27/121.31 c fixandinfer : 0.00 0.00 0 0
121.27/121.31 c clique : 0.00 0.00 0 0
121.27/121.31 c indrounding : 0.00 0.00 0 0
121.27/121.31 c indcoefdiving : 0.00 0.00 0 0
121.27/121.31 c nlpdiving : 0.00 0.00 0 0
121.27/121.31 c intdiving : 0.00 0.00 0 0
121.27/121.31 c actconsdiving : 0.00 0.00 0 0
121.27/121.31 c octane : 0.00 0.00 0 0
121.27/121.31 c rens : 0.01 0.00 0 0
121.27/121.31 c rins : 0.00 0.00 0 0
121.27/121.31 c localbranching : 0.00 0.00 0 0
121.27/121.31 c mutation : 0.00 0.00 0 0
121.27/121.31 c dins : 0.00 0.00 0 0
121.27/121.31 c vbounds : 0.00 0.00 0 0
121.27/121.31 c undercover : 0.00 0.00 1 0
121.27/121.31 c subnlp : 0.04 0.00 0 0
121.27/121.31 c trysol : 0.06 0.00 0 0
121.27/121.31 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
121.27/121.31 c primal LP : 0.00 1 0 0.00 - 0.00 1
121.27/121.31 c dual LP : 86.70 44265 1340718 30.32 15464.42 0.01 44
121.27/121.31 c lex dual LP : 0.00 0 0 0.00 -
121.27/121.31 c barrier LP : 0.00 0 0 0.00 - 0.00 0
121.27/121.31 c diving/probing LP: 1.79 685 26589 38.82 14891.78
121.27/121.31 c strong branching : 16.94 3227 235669 73.03 13915.36
121.27/121.31 c (at root node) : - 20 16523 826.15 -
121.27/121.31 c conflict analysis: 0.00 0 0 0.00 -
121.27/121.31 c B&B Tree :
121.27/121.31 c number of runs : 1
121.27/121.31 c nodes : 50069
121.27/121.31 c nodes (total) : 50069
121.27/121.31 c nodes left : 0
121.27/121.31 c max depth : 51
121.27/121.31 c max depth (total): 51
121.27/121.31 c backtracks : 7070 (14.1%)
121.27/121.31 c delayed cutoffs : 21
121.27/121.31 c repropagations : 13581 (11389 domain reductions, 18 cutoffs)
121.27/121.31 c avg switch length: 2.97
121.27/121.31 c switching time : 1.87
121.27/121.31 c Solution :
121.27/121.31 c Solutions found : 1 (1 improvements)
121.27/121.31 c First Solution : +0.00000000000000e+00 (in run 1, after 50069 nodes, 121.31 seconds, depth 31, found by <relaxation>)
121.27/121.31 c Primal Bound : +0.00000000000000e+00 (in run 1, after 50069 nodes, 121.31 seconds, depth 31, found by <relaxation>)
121.27/121.31 c Dual Bound : +0.00000000000000e+00
121.27/121.31 c Gap : 0.00 %
121.27/121.31 c Root Dual Bound : +0.00000000000000e+00
121.27/121.31 c Root Iterations : 7411
121.27/121.32 c Time complete: 121.29.
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-3692812-1338017384/watcher-3692812-1338017384 -o /tmp/evaluation-result-3692812-1338017384/solver-3692812-1338017384 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692812-1338017384.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: 1.98 1.95 2.01 3/178 31645
/proc/meminfo: memFree=28067116/32873844 swapFree=7608/7608
[pid=31645] ppid=31643 vsize=11644 CPUtime=0 cores=1,3,5,7
/proc/31645/stat : 31645 (scip-2.1.1.4sfi) R 31643 31645 30878 0 -1 4202496 1423 0 0 0 0 0 0 0 20 0 1 0 267863148 11923456 1377 33554432000 4194304 10169799 140733385688864 140736625101416 8844157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31645/statm: 2911 1387 452 1459 0 1443 0
[startup+0.097978 s]
/proc/loadavg: 1.98 1.95 2.01 3/178 31645
/proc/meminfo: memFree=28067116/32873844 swapFree=7608/7608
[pid=31645] ppid=31643 vsize=21812 CPUtime=0.09 cores=1,3,5,7
/proc/31645/stat : 31645 (scip-2.1.1.4sfi) R 31643 31645 30878 0 -1 4202496 4330 0 0 0 6 3 0 0 20 0 1 0 267863148 22335488 4027 33554432000 4194304 10169799 140733385688864 140736625101416 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31645/statm: 5453 4027 625 1459 0 3985 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21812
[startup+0.100287 s]
/proc/loadavg: 1.98 1.95 2.01 3/178 31645
/proc/meminfo: memFree=28067116/32873844 swapFree=7608/7608
[pid=31645] ppid=31643 vsize=21812 CPUtime=0.09 cores=1,3,5,7
/proc/31645/stat : 31645 (scip-2.1.1.4sfi) R 31643 31645 30878 0 -1 4202496 4330 0 0 0 6 3 0 0 20 0 1 0 267863148 22335488 4027 33554432000 4194304 10169799 140733385688864 140736625101416 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31645/statm: 5453 4027 625 1459 0 3985 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21812
[startup+0.300216 s]
/proc/loadavg: 1.98 1.95 2.01 3/178 31645
/proc/meminfo: memFree=28067116/32873844 swapFree=7608/7608
[pid=31645] ppid=31643 vsize=24648 CPUtime=0.29 cores=1,3,5,7
/proc/31645/stat : 31645 (scip-2.1.1.4sfi) R 31643 31645 30878 0 -1 4202496 5206 0 0 0 26 3 0 0 20 0 1 0 267863148 25239552 4889 33554432000 4194304 10169799 140733385688864 140733385681272 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31645/statm: 6162 4889 792 1459 0 4694 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24648
[startup+0.700211 s]
/proc/loadavg: 1.98 1.95 2.01 3/178 31645
/proc/meminfo: memFree=28067116/32873844 swapFree=7608/7608
[pid=31645] ppid=31643 vsize=24648 CPUtime=0.69 cores=1,3,5,7
/proc/31645/stat : 31645 (scip-2.1.1.4sfi) R 31643 31645 30878 0 -1 4202496 5241 0 0 0 65 4 0 0 20 0 1 0 267863148 25239552 4924 33554432000 4194304 10169799 140733385688864 140733385681272 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31645/statm: 6162 4924 792 1459 0 4694 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24648
[startup+1.50022 s]
/proc/loadavg: 1.98 1.95 2.01 3/179 31646
/proc/meminfo: memFree=28044656/32873844 swapFree=7608/7608
[pid=31645] ppid=31643 vsize=38324 CPUtime=1.49 cores=1,3,5,7
/proc/31645/stat : 31645 (scip-2.1.1.4sfi) R 31643 31645 30878 0 -1 4202496 8561 0 0 0 143 6 0 0 20 0 1 0 267863148 39243776 8243 33554432000 4194304 10169799 140733385688864 140733385684904 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31645/statm: 9581 8243 829 1459 0 8113 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38324
[startup+3.1002 s]
/proc/loadavg: 1.98 1.95 2.01 3/179 31646
/proc/meminfo: memFree=28036588/32873844 swapFree=7608/7608
[pid=31645] ppid=31643 vsize=38624 CPUtime=3.09 cores=1,3,5,7
/proc/31645/stat : 31645 (scip-2.1.1.4sfi) R 31643 31645 30878 0 -1 4202496 9548 0 0 0 301 8 0 0 20 0 1 0 267863148 39550976 8471 33554432000 4194304 10169799 140733385688864 140733385683464 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31645/statm: 9656 8471 858 1459 0 8188 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38624
[startup+6.30021 s]
/proc/loadavg: 1.98 1.95 2.01 3/179 31646
/proc/meminfo: memFree=28036092/32873844 swapFree=7608/7608
[pid=31645] ppid=31643 vsize=38772 CPUtime=6.29 cores=1,3,5,7
/proc/31645/stat : 31645 (scip-2.1.1.4sfi) R 31643 31645 30878 0 -1 4202496 9587 0 0 0 616 13 0 0 20 0 1 0 267863148 39702528 8510 33554432000 4194304 10169799 140733385688864 140733385683512 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31645/statm: 9693 8510 860 1459 0 8225 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38772
[startup+12.7002 s]
/proc/loadavg: 2.06 1.97 2.02 3/178 31646
/proc/meminfo: memFree=28035628/32873844 swapFree=7608/7608
[pid=31645] ppid=31643 vsize=38772 CPUtime=12.69 cores=1,3,5,7
/proc/31645/stat : 31645 (scip-2.1.1.4sfi) R 31643 31645 30878 0 -1 4202496 9588 0 0 0 1243 26 0 0 20 0 1 0 267863148 39702528 8511 33554432000 4194304 10169799 140733385688864 140733385683688 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31645/statm: 9693 8511 861 1459 0 8225 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38772
[startup+25.5002 s]
/proc/loadavg: 2.05 1.97 2.01 3/180 31650
/proc/meminfo: memFree=28034300/32873844 swapFree=7608/7608
[pid=31645] ppid=31643 vsize=39492 CPUtime=25.48 cores=1,3,5,7
/proc/31645/stat : 31645 (scip-2.1.1.4sfi) R 31643 31645 30878 0 -1 4202496 9712 0 0 0 2464 84 0 0 20 0 1 0 267863148 40439808 8635 33554432000 4194304 10169799 140733385688864 140733385685288 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31645/statm: 9873 8635 861 1459 0 8405 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39492
[startup+51.1002 s]
/proc/loadavg: 2.09 1.99 2.02 3/180 31650
/proc/meminfo: memFree=28034364/32873844 swapFree=7608/7608
[pid=31645] ppid=31643 vsize=39492 CPUtime=51.08 cores=1,3,5,7
/proc/31645/stat : 31645 (scip-2.1.1.4sfi) R 31643 31645 30878 0 -1 4202496 9784 0 0 0 4899 209 0 0 20 0 1 0 267863148 40439808 8701 33554432000 4194304 10169799 140733385688864 140733385683656 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31645/statm: 9873 8701 861 1459 0 8405 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 39492
[startup+102.307 s]
/proc/loadavg: 2.10 2.00 2.02 3/179 31650
/proc/meminfo: memFree=28032500/32873844 swapFree=7608/7608
[pid=31645] ppid=31643 vsize=40008 CPUtime=102.27 cores=1,3,5,7
/proc/31645/stat : 31645 (scip-2.1.1.4sfi) R 31643 31645 30878 0 -1 4202496 9932 0 0 0 9748 479 0 0 20 0 1 0 267863148 40968192 9006 33554432000 4194304 10169799 140733385688864 140733385683272 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31645/statm: 10002 9006 861 1459 0 8534 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 40008
Solver just ended. Dumping a history of the last processes samples
[startup+115.1 s]
/proc/loadavg: 2.08 2.00 2.02 3/179 31650
/proc/meminfo: memFree=28032004/32873844 swapFree=7608/7608
[pid=31645] ppid=31643 vsize=40972 CPUtime=115.06 cores=1,3,5,7
/proc/31645/stat : 31645 (scip-2.1.1.4sfi) R 31643 31645 30878 0 -1 4202496 10105 0 0 0 10968 538 0 0 20 0 1 0 267863148 41955328 9179 33554432000 4194304 10169799 140733385688864 140733385683656 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31645/statm: 10243 9179 861 1459 0 8775 0
Current children cumulated CPU time (s) 115.06
Current children cumulated vsize (KiB) 40972
[startup+118.3 s]
/proc/loadavg: 2.08 2.00 2.02 3/179 31650
/proc/meminfo: memFree=28031756/32873844 swapFree=7608/7608
[pid=31645] ppid=31643 vsize=40972 CPUtime=118.26 cores=1,3,5,7
/proc/31645/stat : 31645 (scip-2.1.1.4sfi) R 31643 31645 30878 0 -1 4202496 10110 0 0 0 11275 551 0 0 20 0 1 0 267863148 41955328 9184 33554432000 4194304 10169799 140733385688864 140733385683368 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31645/statm: 10243 9184 861 1459 0 8775 0
Current children cumulated CPU time (s) 118.26
Current children cumulated vsize (KiB) 40972
[startup+119.907 s]
/proc/loadavg: 2.07 2.00 2.02 3/179 31650
/proc/meminfo: memFree=28031756/32873844 swapFree=7608/7608
[pid=31645] ppid=31643 vsize=40972 CPUtime=119.87 cores=1,3,5,7
/proc/31645/stat : 31645 (scip-2.1.1.4sfi) R 31643 31645 30878 0 -1 4202496 10110 0 0 0 11431 556 0 0 20 0 1 0 267863148 41955328 9184 33554432000 4194304 10169799 140733385688864 140733385683320 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31645/statm: 10243 9184 861 1459 0 8775 0
Current children cumulated CPU time (s) 119.87
Current children cumulated vsize (KiB) 40972
[startup+120.7 s]
/proc/loadavg: 2.07 2.00 2.02 3/179 31650
/proc/meminfo: memFree=28031756/32873844 swapFree=7608/7608
[pid=31645] ppid=31643 vsize=40972 CPUtime=120.67 cores=1,3,5,7
/proc/31645/stat : 31645 (scip-2.1.1.4sfi) R 31643 31645 30878 0 -1 4202496 10110 0 0 0 11507 560 0 0 20 0 1 0 267863148 41955328 9184 33554432000 4194304 10169799 140733385688864 140733385683656 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31645/statm: 10243 9184 861 1459 0 8775 0
Current children cumulated CPU time (s) 120.67
Current children cumulated vsize (KiB) 40972
[startup+121.1 s]
/proc/loadavg: 2.07 2.00 2.02 3/179 31650
/proc/meminfo: memFree=28031756/32873844 swapFree=7608/7608
[pid=31645] ppid=31643 vsize=40972 CPUtime=121.06 cores=1,3,5,7
/proc/31645/stat : 31645 (scip-2.1.1.4sfi) R 31643 31645 30878 0 -1 4202496 10116 0 0 0 11545 561 0 0 20 0 1 0 267863148 41955328 9190 33554432000 4194304 10169799 140733385688864 140733385683656 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31645/statm: 10243 9190 861 1459 0 8775 0
Current children cumulated CPU time (s) 121.06
Current children cumulated vsize (KiB) 40972
[startup+121.3 s]
/proc/loadavg: 2.07 2.00 2.02 3/179 31650
/proc/meminfo: memFree=28031756/32873844 swapFree=7608/7608
[pid=31645] ppid=31643 vsize=40972 CPUtime=121.27 cores=1,3,5,7
/proc/31645/stat : 31645 (scip-2.1.1.4sfi) R 31643 31645 30878 0 -1 4202496 10116 0 0 0 11564 563 0 0 20 0 1 0 267863148 41955328 9190 33554432000 4194304 10169799 140733385688864 140733385683464 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31645/statm: 10243 9190 861 1459 0 8775 0
Current children cumulated CPU time (s) 121.27
Current children cumulated vsize (KiB) 40972
Child status: 0
Real time (s): 121.321
CPU time (s): 121.294
CPU user time (s): 115.66
CPU system time (s): 5.63314
CPU usage (%): 99.9774
Max. virtual memory (cumulated for all children) (KiB): 40972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 115.66
system time used= 5.63314
maximum resident set size= 36772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10123
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= 12
involuntary context switches= 125
runsolver used 0.205968 second user time and 0.546916 second system time
The end