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-3692805-1338017505.opb>
0.00/0.00 c original problem has 370 variables (370 bin, 0 int, 0 impl, 0 cont) and 557 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 557 upgd conss, 402 impls, 0 clqs
0.00/0.03 c (round 2) 8 del vars, 0 del conss, 726 add conss, 0 chg bounds, 726 chg sides, 1452 chg coeffs, 557 upgd conss, 12226 impls, 0 clqs
0.02/0.04 c (round 3) 8 del vars, 16 del conss, 726 add conss, 0 chg bounds, 726 chg sides, 1452 chg coeffs, 557 upgd conss, 12226 impls, 0 clqs
0.02/0.04 c (round 4) 8 del vars, 20 del conss, 726 add conss, 0 chg bounds, 726 chg sides, 1452 chg coeffs, 557 upgd conss, 12226 impls, 0 clqs
0.02/0.05 c (0.1s) probing: 51/362 (14.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.05 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.02/0.05 c (round 5) 8 del vars, 26 del conss, 728 add conss, 0 chg bounds, 726 chg sides, 1452 chg coeffs, 557 upgd conss, 12226 impls, 0 clqs
0.02/0.06 c presolving (6 rounds):
0.02/0.06 c 8 deleted vars, 26 deleted constraints, 728 added constraints, 0 tightened bounds, 0 added holes, 726 changed sides, 1452 changed coefficients
0.02/0.06 c 12226 implications, 0 cliques
0.02/0.06 c presolved problem has 362 variables (362 bin, 0 int, 0 impl, 0 cont) and 1259 constraints
0.02/0.06 c 236 constraints of type <knapsack>
0.02/0.06 c 903 constraints of type <setppc>
0.02/0.06 c 2 constraints of type <and>
0.02/0.06 c 118 constraints of type <logicor>
0.02/0.06 c transformed objective value is always integral (scale: 1)
0.02/0.06 c Presolving Time: 0.05
0.02/0.06 c - non default parameters ----------------------------------------------------------------------
0.02/0.06 c # SCIP version 2.1.1.4
0.02/0.06 c
0.02/0.06 c # maximal time in seconds to run
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/time = 1797
0.02/0.06 c
0.02/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/memory = 13950
0.02/0.06 c
0.02/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.06 c # [type: int, range: [1,2], default: 1]
0.02/0.06 c timing/clocktype = 2
0.02/0.06 c
0.02/0.06 c # belongs reading time to solving time?
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c timing/reading = TRUE
0.02/0.06 c
0.02/0.06 c -----------------------------------------------------------------------------------------------
0.02/0.06 c start solving
0.02/0.06 c
0.02/0.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.02/0.08 c 0.1s| 1 | 0 | 339 | - |3072k| 0 | 167 | 362 |1259 | 362 |1261 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.58 c 0.6s| 1 | 0 | 5399 | - |3167k| 0 | 175 | 362 |1259 | 362 |1263 | 2 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.71 c 0.7s| 1 | 0 | 5427 | - |3234k| 0 | 175 | 362 |1259 | 362 |1264 | 3 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.85 c 0.9s| 1 | 0 | 5449 | - |3333k| 0 | 175 | 362 |1259 | 362 |1266 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.00 c 1.0s| 1 | 0 | 5483 | - |3465k| 0 | 175 | 362 |1259 | 362 |1267 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
1.09/1.16 c 1.2s| 1 | 0 | 5535 | - |3673k| 0 | 175 | 362 |1259 | 362 |1268 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.32 c 1.3s| 1 | 0 | 5589 | - |3872k| 0 | 175 | 362 |1259 | 362 |1269 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf
1.88/1.92 c 1.9s| 1 | 2 | 5589 | - |3872k| 0 | 175 | 362 |1259 | 362 |1269 | 8 | 0 | 21 | 0.000000e+00 | -- | Inf
10.19/10.28 c 10.3s| 100 | 27 | 10334 | 47.9 |3980k| 24 | 117 | 362 |1260 | 362 |1268 | 12 | 1 |1451 | 0.000000e+00 | -- | Inf
10.99/11.08 c 11.1s| 200 | 27 | 12853 | 36.5 |3988k| 24 | - | 362 |1260 | 362 |1268 | 17 | 1 |1621 | 0.000000e+00 | -- | Inf
11.39/11.46 c 11.5s| 300 | 27 | 14942 | 31.3 |3993k| 29 | 113 | 362 |1261 | 362 |1269 | 23 | 2 |1675 | 0.000000e+00 | -- | Inf
11.59/11.69 c 11.7s| 400 | 27 | 16501 | 27.3 |3996k| 31 | - | 362 |1265 | 362 |1269 | 24 | 6 |1697 | 0.000000e+00 | -- | Inf
11.79/11.85 c 11.9s| 500 | 29 | 17455 | 23.8 |4000k| 31 | - | 362 |1270 | 0 | 0 | 24 | 11 |1715 | 0.000000e+00 | -- | Inf
11.99/12.00 c 12.0s| 600 | 29 | 19009 | 22.4 |4000k| 31 | 86 | 362 |1273 | 362 |1269 | 24 | 14 |1718 | 0.000000e+00 | -- | Inf
12.10/12.17 c 12.2s| 700 | 29 | 20593 | 21.5 |4009k| 31 | - | 362 |1281 | 0 | 0 | 24 | 22 |1722 | 0.000000e+00 | -- | Inf
12.29/12.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.29/12.34 c 12.3s| 800 | 29 | 22295 | 20.9 |4008k| 31 | - | 362 |1287 | 0 | 0 | 24 | 28 |1724 | 0.000000e+00 | -- | Inf
12.48/12.51 c 12.5s| 900 | 27 | 23992 | 20.5 |4008k| 31 | - | 362 |1291 | 0 | 0 | 24 | 32 |1724 | 0.000000e+00 | -- | Inf
12.59/12.66 c 12.7s| 1000 | 29 | 25586 | 20.0 |4007k| 31 | 110 | 362 |1294 | 362 |1269 | 24 | 35 |1724 | 0.000000e+00 | -- | Inf
12.79/12.83 c 12.8s| 1100 | 29 | 27514 | 19.9 |4009k| 31 | 103 | 362 |1296 | 362 |1269 | 24 | 37 |1724 | 0.000000e+00 | -- | Inf
12.99/13.03 c 13.0s| 1200 | 31 | 29275 | 19.8 |4021k| 31 | - | 362 |1299 | 0 | 0 | 26 | 40 |1732 | 0.000000e+00 | -- | Inf
13.19/13.21 c 13.2s| 1300 | 33 | 30807 | 19.4 |4024k| 31 | - | 362 |1302 | 362 |1269 | 26 | 43 |1741 | 0.000000e+00 | -- | Inf
13.29/13.39 c 13.4s| 1400 | 37 | 32794 | 19.4 |4031k| 31 | 100 | 362 |1303 | 362 |1269 | 26 | 44 |1741 | 0.000000e+00 | -- | Inf
13.48/13.58 c 13.6s| 1500 | 35 | 34795 | 19.5 |4029k| 31 | 100 | 362 |1305 | 362 |1269 | 26 | 46 |1741 | 0.000000e+00 | -- | Inf
13.69/13.78 c 13.8s| 1600 | 35 | 37100 | 19.7 |4029k| 31 | 107 | 362 |1306 | 362 |1269 | 26 | 47 |1741 | 0.000000e+00 | -- | Inf
13.89/13.94 c 13.9s| 1700 | 35 | 38868 | 19.6 |4036k| 31 | - | 362 |1309 | 362 |1269 | 26 | 50 |1741 | 0.000000e+00 | -- | Inf
14.09/14.12 c 14.1s| 1800 | 35 | 40881 | 19.6 |4031k| 31 | 123 | 362 |1311 | 362 |1269 | 26 | 52 |1741 | 0.000000e+00 | -- | Inf
14.29/14.31 c 14.3s| 1900 | 37 | 42949 | 19.7 |4037k| 31 | 128 | 362 |1312 | 362 |1269 | 26 | 53 |1741 | 0.000000e+00 | -- | Inf
14.39/14.47 c 14.5s| 2000 | 41 | 44786 | 19.6 |4044k| 31 | 124 | 362 |1315 | 362 |1269 | 26 | 56 |1741 | 0.000000e+00 | -- | Inf
14.59/14.69 c 14.7s| 2100 | 39 | 46423 | 19.5 |4041k| 31 | 111 | 362 |1318 | 362 |1269 | 26 | 59 |1759 | 0.000000e+00 | -- | Inf
14.89/14.93 c 14.9s| 2200 | 37 | 48382 | 19.5 |4049k| 31 | - | 362 |1319 | 0 | 0 | 26 | 60 |1774 | 0.000000e+00 | -- | Inf
15.08/15.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.08/15.15 c 15.2s| 2300 | 39 | 50244 | 19.4 |4044k| 31 | 88 | 362 |1319 | 362 |1269 | 26 | 60 |1790 | 0.000000e+00 | -- | Inf
15.39/15.42 c 15.4s| 2400 | 39 | 52191 | 19.4 |4049k| 31 | - | 362 |1320 | 362 |1269 | 26 | 61 |1821 | 0.000000e+00 | -- | Inf
15.59/15.63 c 15.6s| 2500 | 37 | 54207 | 19.5 |4041k| 31 | 107 | 362 |1320 | 362 |1269 | 26 | 61 |1829 | 0.000000e+00 | -- | Inf
15.78/15.80 c 15.8s| 2600 | 39 | 55807 | 19.3 |4050k| 31 | - | 362 |1321 | 0 | 0 | 26 | 62 |1839 | 0.000000e+00 | -- | Inf
15.99/16.06 c 16.1s| 2700 | 37 | 57812 | 19.3 |4049k| 31 | - | 362 |1321 | 362 |1269 | 26 | 62 |1866 | 0.000000e+00 | -- | Inf
16.18/16.26 c 16.3s| 2800 | 43 | 59782 | 19.4 |4051k| 31 | - | 362 |1322 | 362 |1269 | 26 | 63 |1873 | 0.000000e+00 | -- | Inf
16.39/16.41 c 16.4s| 2900 | 43 | 61339 | 19.2 |4052k| 31 | 84 | 362 |1323 | 362 |1269 | 26 | 64 |1873 | 0.000000e+00 | -- | Inf
16.50/16.57 c 16.6s| 3000 | 41 | 63036 | 19.2 |4053k| 31 | - | 362 |1323 | 362 |1269 | 26 | 64 |1873 | 0.000000e+00 | -- | Inf
16.69/16.73 c 16.7s| 3100 | 39 | 64763 | 19.1 |4047k| 31 | - | 362 |1323 | 362 |1269 | 26 | 64 |1873 | 0.000000e+00 | -- | Inf
16.89/16.92 c 16.9s| 3200 | 39 | 66893 | 19.2 |4047k| 31 | - | 362 |1327 | 362 |1269 | 26 | 68 |1873 | 0.000000e+00 | -- | Inf
17.09/17.10 c 17.1s| 3300 | 39 | 68925 | 19.2 |4049k| 31 | - | 362 |1330 | 362 |1269 | 26 | 71 |1873 | 0.000000e+00 | -- | Inf
17.28/17.32 c 17.3s| 3400 | 37 | 71465 | 19.4 |4047k| 31 | - | 362 |1331 | 362 |1269 | 26 | 73 |1873 | 0.000000e+00 | -- | Inf
17.49/17.51 c 17.5s| 3500 | 37 | 73640 | 19.4 |4048k| 31 | - | 362 |1333 | 362 |1269 | 26 | 75 |1873 | 0.000000e+00 | -- | Inf
17.69/17.70 c 17.7s| 3600 | 37 | 75823 | 19.5 |4045k| 31 | 115 | 362 |1336 | 362 |1269 | 26 | 78 |1873 | 0.000000e+00 | -- | Inf
17.88/17.92 c 17.9s| 3700 | 35 | 78442 | 19.7 |4045k| 31 | - | 362 |1337 | 362 |1269 | 26 | 79 |1873 | 0.000000e+00 | -- | Inf
18.09/18.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.09/18.10 c 18.1s| 3800 | 39 | 80495 | 19.7 |4048k| 31 | 77 | 362 |1336 | 362 |1269 | 26 | 80 |1873 | 0.000000e+00 | -- | Inf
18.18/18.28 c 18.3s| 3900 | 39 | 82470 | 19.7 |4050k| 31 | 85 | 362 |1336 | 362 |1269 | 26 | 80 |1873 | 0.000000e+00 | -- | Inf
18.39/18.45 c 18.5s| 4000 | 37 | 84418 | 19.7 |4046k| 31 | 110 | 362 |1336 | 362 |1269 | 26 | 80 |1873 | 0.000000e+00 | -- | Inf
18.59/18.64 c 18.6s| 4100 | 43 | 86493 | 19.7 |4054k| 31 | 99 | 362 |1338 | 362 |1269 | 26 | 82 |1873 | 0.000000e+00 | -- | Inf
18.69/18.79 c 18.8s| 4200 | 43 | 88200 | 19.7 |4058k| 31 | 82 | 362 |1340 | 362 |1269 | 26 | 84 |1873 | 0.000000e+00 | -- | Inf
18.89/18.94 c 18.9s| 4300 | 43 | 89679 | 19.6 |4062k| 32 | - | 362 |1341 | 0 | 0 | 26 | 85 |1873 | 0.000000e+00 | -- | Inf
19.08/19.14 c 19.1s| 4400 | 39 | 91256 | 19.5 |4055k| 34 | - | 362 |1341 | 0 | 0 | 26 | 85 |1887 | 0.000000e+00 | -- | Inf
19.19/19.29 c 19.3s| 4500 | 41 | 92378 | 19.3 |4058k| 34 | 94 | 362 |1345 | 362 |1269 | 26 | 89 |1899 | 0.000000e+00 | -- | Inf
19.38/19.45 c 19.5s| 4600 | 41 | 93538 | 19.1 |4060k| 34 | 91 | 362 |1349 | 362 |1269 | 26 | 93 |1913 | 0.000000e+00 | -- | Inf
19.58/19.66 c 19.7s| 4700 | 41 | 95068 | 19.0 |4060k| 34 | 96 | 362 |1351 | 362 |1269 | 26 | 96 |1934 | 0.000000e+00 | -- | Inf
19.80/19.86 c 19.9s| 4800 | 41 | 96744 | 19.0 |4061k| 34 | 95 | 362 |1353 | 362 |1269 | 26 | 99 |1949 | 0.000000e+00 | -- | Inf
19.98/20.07 c 20.1s| 4900 | 41 | 98593 | 19.0 |4063k| 34 | 103 | 362 |1352 | 362 |1269 | 26 | 99 |1966 | 0.000000e+00 | -- | Inf
20.29/20.33 c 20.3s| 5000 | 41 |100672 | 19.0 |4062k| 34 | 90 | 362 |1353 | 362 |1269 | 26 | 101 |1992 | 0.000000e+00 | -- | Inf
20.48/20.56 c 20.6s| 5100 | 41 |102613 | 19.0 |4061k| 34 | 98 | 362 |1353 | 362 |1269 | 26 | 101 |2011 | 0.000000e+00 | -- | Inf
20.80/20.81 c 20.8s| 5200 | 41 |104719 | 19.1 |4071k| 34 | - | 362 |1352 | 0 | 0 | 26 | 101 |2037 | 0.000000e+00 | -- | Inf
20.98/21.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.98/21.08 c 21.1s| 5300 | 43 |106766 | 19.1 |4071k| 34 | - | 362 |1355 | 362 |1269 | 26 | 104 |2070 | 0.000000e+00 | -- | Inf
21.29/21.32 c 21.3s| 5400 | 41 |108655 | 19.1 |4064k| 36 | 87 | 362 |1355 | 362 |1269 | 26 | 104 |2090 | 0.000000e+00 | -- | Inf
21.49/21.57 c 21.6s| 5500 | 39 |110780 | 19.1 |4060k| 36 | 132 | 362 |1357 | 362 |1269 | 26 | 106 |2110 | 0.000000e+00 | -- | Inf
21.68/21.75 c 21.8s| 5600 | 39 |112690 | 19.1 |4064k| 36 | - | 362 |1357 | 362 |1269 | 26 | 107 |2111 | 0.000000e+00 | -- | Inf
21.89/21.95 c 22.0s| 5700 | 37 |114812 | 19.2 |4061k| 38 | - | 362 |1357 | 362 |1269 | 26 | 108 |2115 | 0.000000e+00 | -- | Inf
22.09/22.16 c 22.2s| 5800 | 35 |117080 | 19.2 |4058k| 38 | - | 362 |1356 | 362 |1269 | 26 | 108 |2117 | 0.000000e+00 | -- | Inf
22.29/22.32 c 22.3s| 5900 | 37 |118818 | 19.2 |4062k| 38 | - | 362 |1361 | 0 | 0 | 26 | 113 |2119 | 0.000000e+00 | -- | Inf
22.39/22.47 c 22.5s| 6000 | 41 |120306 | 19.1 |4071k| 38 | - | 362 |1363 | 362 |1269 | 26 | 115 |2119 | 0.000000e+00 | -- | Inf
22.59/22.61 c 22.6s| 6100 | 43 |121773 | 19.0 |4076k| 38 | 96 | 362 |1363 | 362 |1269 | 26 | 115 |2119 | 0.000000e+00 | -- | Inf
22.69/22.76 c 22.8s| 6200 | 41 |123358 | 19.0 |4070k| 38 | 109 | 362 |1363 | 362 |1269 | 26 | 115 |2119 | 0.000000e+00 | -- | Inf
22.89/22.93 c 22.9s| 6300 | 39 |125170 | 19.0 |4071k| 38 | - | 362 |1362 | 362 |1269 | 26 | 115 |2119 | 0.000000e+00 | -- | Inf
22.99/23.10 c 23.1s| 6400 | 37 |126806 | 18.9 |4061k| 38 | 101 | 362 |1362 | 362 |1269 | 26 | 115 |2125 | 0.000000e+00 | -- | Inf
23.18/23.28 c 23.3s| 6500 | 37 |128843 | 19.0 |4063k| 38 | 102 | 362 |1362 | 362 |1269 | 26 | 118 |2126 | 0.000000e+00 | -- | Inf
23.59/23.65 c 23.7s| 6600 | 37 |130894 | 19.0 |4063k| 38 | 107 | 362 |1358 | 362 |1269 | 26 | 119 |2174 | 0.000000e+00 | -- | Inf
23.68/23.79 c 23.8s| 6700 | 37 |132362 | 18.9 |4068k| 38 | - | 362 |1357 | 362 |1269 | 26 | 120 |2175 | 0.000000e+00 | -- | Inf
23.88/23.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.88/23.96 c 24.0s| 6800 | 37 |134206 | 18.9 |4071k| 38 | - | 362 |1356 | 362 |1269 | 26 | 121 |2175 | 0.000000e+00 | -- | Inf
24.09/24.12 c 24.1s| 6900 | 37 |135891 | 18.9 |4069k| 38 | - | 362 |1356 | 362 |1269 | 26 | 123 |2176 | 0.000000e+00 | -- | Inf
24.19/24.29 c 24.3s| 7000 | 35 |137674 | 18.9 |4068k| 38 | - | 362 |1359 | 362 |1269 | 26 | 126 |2178 | 0.000000e+00 | -- | Inf
24.39/24.46 c 24.5s| 7100 | 37 |139416 | 18.9 |4067k| 38 | 101 | 362 |1359 | 362 |1269 | 26 | 128 |2182 | 0.000000e+00 | -- | Inf
24.58/24.61 c 24.6s| 7200 | 37 |141059 | 18.8 |4074k| 38 | - | 362 |1357 | 362 |1269 | 26 | 133 |2182 | 0.000000e+00 | -- | Inf
24.69/24.77 c 24.8s| 7300 | 39 |142673 | 18.8 |4077k| 38 | 103 | 362 |1357 | 362 |1269 | 26 | 134 |2183 | 0.000000e+00 | -- | Inf
24.89/24.92 c 24.9s| 7400 | 39 |144239 | 18.7 |4074k| 38 | 94 | 362 |1355 | 362 |1269 | 26 | 138 |2185 | 0.000000e+00 | -- | Inf
25.09/25.12 c 25.1s| 7500 | 37 |146351 | 18.8 |4075k| 38 | - | 362 |1356 | 362 |1269 | 26 | 141 |2190 | 0.000000e+00 | -- | Inf
25.19/25.27 c 25.3s| 7600 | 37 |147788 | 18.7 |4075k| 38 | - | 362 |1356 | 362 |1269 | 26 | 143 |2191 | 0.000000e+00 | -- | Inf
25.38/25.46 c 25.5s| 7700 | 37 |149714 | 18.7 |4070k| 38 | 114 | 362 |1355 | 362 |1269 | 26 | 143 |2195 | 0.000000e+00 | -- | Inf
25.59/25.65 c 25.7s| 7800 | 35 |151614 | 18.7 |4065k| 38 | 127 | 362 |1353 | 362 |1269 | 27 | 143 |2201 | 0.000000e+00 | -- | Inf
25.79/25.80 c 25.8s| 7900 | 37 |152991 | 18.7 |4066k| 38 | 114 | 362 |1349 | 362 |1269 | 27 | 147 |2203 | 0.000000e+00 | -- | Inf
25.89/25.94 c 25.9s| 8000 | 41 |154377 | 18.6 |4077k| 38 | - | 362 |1350 | 362 |1269 | 27 | 154 |2204 | 0.000000e+00 | -- | Inf
25.98/26.09 c 26.1s| 8100 | 41 |155815 | 18.5 |4077k| 38 | - | 362 |1345 | 362 |1269 | 27 | 156 |2208 | 0.000000e+00 | -- | Inf
26.19/26.23 c 26.2s| 8200 | 41 |157327 | 18.5 |4078k| 38 | - | 362 |1343 | 362 |1269 | 27 | 156 |2209 | 0.000000e+00 | -- | Inf
26.39/26.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.39/26.45 c 26.5s| 8300 | 41 |159136 | 18.5 |4076k| 38 | 117 | 362 |1339 | 362 |1269 | 27 | 159 |2223 | 0.000000e+00 | -- | Inf
26.48/26.59 c 26.6s| 8400 | 41 |160499 | 18.4 |4082k| 38 | - | 362 |1340 | 0 | 0 | 27 | 162 |2224 | 0.000000e+00 | -- | Inf
26.68/26.76 c 26.8s| 8500 | 37 |161816 | 18.4 |4068k| 38 | - | 362 |1337 | 0 | 0 | 27 | 165 |2234 | 0.000000e+00 | -- | Inf
26.88/26.97 c 27.0s| 8600 | 41 |163399 | 18.4 |4075k| 38 | - | 362 |1334 | 362 |1269 | 27 | 167 |2256 | 0.000000e+00 | -- | Inf
27.08/27.18 c 27.2s| 8700 | 43 |165270 | 18.4 |4076k| 38 | 131 | 362 |1333 | 362 |1269 | 27 | 171 |2267 | 0.000000e+00 | -- | Inf
27.28/27.35 c 27.4s| 8800 | 43 |166848 | 18.3 |4081k| 38 | - | 362 |1333 | 362 |1269 | 28 | 174 |2276 | 0.000000e+00 | -- | Inf
27.48/27.56 c 27.6s| 8900 | 47 |168514 | 18.3 |4085k| 38 | 79 | 362 |1333 | 362 |1269 | 28 | 176 |2293 | 0.000000e+00 | -- | Inf
27.69/27.78 c 27.8s| 9000 | 45 |170111 | 18.3 |4084k| 38 | - | 362 |1332 | 362 |1269 | 28 | 176 |2312 | 0.000000e+00 | -- | Inf
27.88/27.97 c 28.0s| 9100 | 45 |172026 | 18.3 |4083k| 38 | 105 | 362 |1331 | 362 |1269 | 28 | 176 |2322 | 0.000000e+00 | -- | Inf
28.18/28.20 c 28.2s| 9200 | 47 |173994 | 18.3 |4084k| 38 | 88 | 362 |1328 | 362 |1269 | 28 | 177 |2342 | 0.000000e+00 | -- | Inf
28.39/28.42 c 28.4s| 9300 | 43 |175890 | 18.3 |4079k| 38 | - | 362 |1328 | 362 |1269 | 28 | 178 |2361 | 0.000000e+00 | -- | Inf
28.59/28.67 c 28.7s| 9400 | 45 |178150 | 18.4 |4081k| 38 | 128 | 362 |1333 | 362 |1269 | 28 | 184 |2383 | 0.000000e+00 | -- | Inf
28.78/28.89 c 28.9s| 9500 | 45 |179877 | 18.3 |4088k| 38 | - | 362 |1330 | 362 |1269 | 28 | 184 |2404 | 0.000000e+00 | -- | Inf
29.08/29.13 c 29.1s| 9600 | 45 |181845 | 18.4 |4085k| 38 | 105 | 362 |1330 | 362 |1269 | 28 | 185 |2424 | 0.000000e+00 | -- | Inf
29.28/29.35 c 29.3s| 9700 | 47 |183644 | 18.4 |4088k| 38 | 101 | 362 |1330 | 362 |1269 | 28 | 185 |2443 | 0.000000e+00 | -- | Inf
29.48/29.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.48/29.58 c 29.6s| 9800 | 45 |185616 | 18.4 |4093k| 38 | - | 362 |1329 | 0 | 0 | 28 | 185 |2462 | 0.000000e+00 | -- | Inf
29.78/29.84 c 29.8s| 9900 | 45 |187729 | 18.4 |4084k| 38 | 102 | 362 |1329 | 362 |1269 | 28 | 186 |2484 | 0.000000e+00 | -- | Inf
29.99/30.02 c 30.0s| 10000 | 45 |189660 | 18.4 |4083k| 38 | 112 | 362 |1332 | 362 |1269 | 28 | 190 |2486 | 0.000000e+00 | -- | Inf
30.18/30.23 c 30.2s| 10100 | 45 |192020 | 18.5 |4086k| 38 | 95 | 362 |1333 | 362 |1269 | 28 | 191 |2488 | 0.000000e+00 | -- | Inf
30.29/30.38 c 30.4s| 10200 | 45 |193603 | 18.4 |4087k| 40 | 97 | 362 |1335 | 362 |1269 | 28 | 193 |2490 | 0.000000e+00 | -- | Inf
30.48/30.56 c 30.6s| 10300 | 45 |195628 | 18.5 |4093k| 42 | - | 362 |1337 | 362 |1269 | 28 | 195 |2492 | 0.000000e+00 | -- | Inf
30.69/30.75 c 30.7s| 10400 | 43 |197531 | 18.5 |4090k| 42 | - | 362 |1337 | 362 |1269 | 28 | 195 |2495 | 0.000000e+00 | -- | Inf
30.88/30.98 c 31.0s| 10500 | 47 |199792 | 18.5 |4091k| 42 | 83 | 362 |1341 | 362 |1269 | 28 | 199 |2505 | 0.000000e+00 | -- | Inf
31.08/31.12 c 31.1s| 10600 | 45 |201235 | 18.5 |4088k| 42 | 86 | 362 |1337 | 362 |1269 | 28 | 201 |2508 | 0.000000e+00 | -- | Inf
31.18/31.28 c 31.3s| 10700 | 41 |202903 | 18.4 |4080k| 42 | 110 | 362 |1339 | 362 |1269 | 28 | 207 |2508 | 0.000000e+00 | -- | Inf
31.39/31.43 c 31.4s| 10800 | 41 |204617 | 18.4 |4086k| 42 | - | 362 |1338 | 362 |1269 | 28 | 209 |2508 | 0.000000e+00 | -- | Inf
31.48/31.58 c 31.6s| 10900 | 43 |206261 | 18.4 |4085k| 42 | 115 | 362 |1336 | 362 |1269 | 28 | 215 |2508 | 0.000000e+00 | -- | Inf
31.68/31.78 c 31.8s| 11000 | 45 |208170 | 18.4 |4091k| 42 | - | 362 |1335 | 362 |1269 | 29 | 217 |2514 | 0.000000e+00 | -- | Inf
31.89/31.95 c 31.9s| 11100 | 51 |210028 | 18.4 |4102k| 42 | 101 | 362 |1336 | 362 |1269 | 29 | 220 |2514 | 0.000000e+00 | -- | Inf
32.08/32.11 c 32.1s| 11200 | 51 |211858 | 18.4 |4104k| 42 | 116 | 362 |1334 | 362 |1269 | 31 | 221 |2514 | 0.000000e+00 | -- | Inf
32.18/32.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.18/32.27 c 32.3s| 11300 | 49 |213610 | 18.4 |4100k| 42 | 98 | 362 |1334 | 362 |1269 | 31 | 222 |2514 | 0.000000e+00 | -- | Inf
32.38/32.42 c 32.4s| 11400 | 49 |215061 | 18.4 |4106k| 42 | 93 | 362 |1337 | 362 |1269 | 32 | 225 |2514 | 0.000000e+00 | -- | Inf
32.48/32.56 c 32.6s| 11500 | 49 |216581 | 18.3 |4107k| 42 | - | 362 |1339 | 362 |1269 | 33 | 228 |2514 | 0.000000e+00 | -- | Inf
32.68/32.71 c 32.7s| 11600 | 51 |218225 | 18.3 |4114k| 42 | - | 362 |1341 | 362 |1269 | 33 | 231 |2514 | 0.000000e+00 | -- | Inf
32.78/32.90 c 32.9s| 11700 | 51 |220396 | 18.4 |4115k| 42 | - | 362 |1342 | 362 |1269 | 33 | 232 |2514 | 0.000000e+00 | -- | Inf
32.99/33.06 c 33.1s| 11800 | 45 |222013 | 18.3 |4098k| 42 | 119 | 362 |1345 | 362 |1268 | 33 | 235 |2514 | 0.000000e+00 | -- | Inf
33.08/33.18 c 33.2s| 11900 | 47 |223214 | 18.3 |4109k| 42 | - | 362 |1350 | 362 |1269 | 34 | 240 |2514 | 0.000000e+00 | -- | Inf
33.28/33.32 c 33.3s| 12000 | 47 |224595 | 18.3 |4112k| 42 | - | 362 |1351 | 362 |1269 | 34 | 241 |2514 | 0.000000e+00 | -- | Inf
33.38/33.47 c 33.5s| 12100 | 47 |226236 | 18.2 |4112k| 42 | - | 362 |1349 | 362 |1269 | 35 | 241 |2514 | 0.000000e+00 | -- | Inf
33.58/33.64 c 33.6s| 12200 | 51 |227991 | 18.2 |4120k| 42 | 123 | 362 |1350 | 362 |1269 | 35 | 243 |2514 | 0.000000e+00 | -- | Inf
33.78/33.80 c 33.8s| 12300 | 49 |229797 | 18.2 |4119k| 42 | - | 362 |1350 | 362 |1269 | 36 | 244 |2514 | 0.000000e+00 | -- | Inf
33.99/34.03 c 34.0s| 12400 | 49 |231745 | 18.2 |4121k| 42 | - | 362 |1353 | 362 |1269 | 36 | 247 |2528 | 0.000000e+00 | -- | Inf
34.18/34.28 c 34.3s| 12500 | 49 |233786 | 18.3 |4122k| 42 | - | 362 |1354 | 362 |1269 | 36 | 248 |2548 | 0.000000e+00 | -- | Inf
34.48/34.53 c 34.5s| 12600 | 49 |235794 | 18.3 |4126k| 42 | - | 362 |1356 | 362 |1269 | 37 | 250 |2561 | 0.000000e+00 | -- | Inf
34.68/34.73 c 34.7s| 12700 | 47 |237436 | 18.3 |4115k| 42 | 120 | 362 |1357 | 362 |1269 | 37 | 252 |2571 | 0.000000e+00 | -- | Inf
34.88/34.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.88/34.92 c 34.9s| 12800 | 49 |238971 | 18.2 |4121k| 42 | - | 362 |1356 | 362 |1269 | 37 | 255 |2580 | 0.000000e+00 | -- | Inf
35.09/35.11 c 35.1s| 12900 | 47 |240648 | 18.2 |4116k| 42 | - | 362 |1356 | 0 | 0 | 37 | 256 |2590 | 0.000000e+00 | -- | Inf
35.19/35.28 c 35.3s| 13000 | 47 |242152 | 18.2 |4117k| 42 | - | 362 |1353 | 362 |1269 | 37 | 256 |2600 | 0.000000e+00 | -- | Inf
35.38/35.44 c 35.4s| 13100 | 47 |243600 | 18.2 |4115k| 42 | 108 | 362 |1358 | 362 |1269 | 37 | 263 |2605 | 0.000000e+00 | -- | Inf
35.58/35.65 c 35.6s| 13200 | 45 |245574 | 18.2 |4116k| 42 | - | 362 |1359 | 0 | 0 | 37 | 270 |2616 | 0.000000e+00 | -- | Inf
35.79/35.89 c 35.9s| 13300 | 43 |247675 | 18.2 |4109k| 42 | - | 362 |1358 | 362 |1269 | 38 | 271 |2633 | 0.000000e+00 | -- | Inf
35.98/36.07 c 36.1s| 13400 | 43 |249238 | 18.2 |4112k| 42 | - | 362 |1358 | 362 |1269 | 38 | 274 |2643 | 0.000000e+00 | -- | Inf
36.19/36.26 c 36.3s| 13500 | 41 |250889 | 18.2 |4102k| 42 | 103 | 362 |1362 | 362 |1269 | 38 | 279 |2656 | 0.000000e+00 | -- | Inf
36.48/36.51 c 36.5s| 13600 | 43 |252942 | 18.2 |4097k| 44 | 103 | 362 |1367 | 362 |1269 | 38 | 286 |2675 | 0.000000e+00 | -- | Inf
36.67/36.71 c 36.7s| 13700 | 41 |254752 | 18.2 |4098k| 44 | - | 362 |1368 | 0 | 0 | 38 | 288 |2691 | 0.000000e+00 | -- | Inf
36.78/36.89 c 36.9s| 13800 | 43 |256446 | 18.2 |4103k| 44 | - | 362 |1369 | 0 | 0 | 39 | 292 |2699 | 0.000000e+00 | -- | Inf
36.98/37.09 c 37.1s| 13900 | 41 |258464 | 18.2 |4101k| 44 | - | 362 |1375 | 362 |1269 | 39 | 299 |2705 | 0.000000e+00 | -- | Inf
37.18/37.24 c 37.2s| 14000 | 41 |259866 | 18.2 |4102k| 44 | - | 362 |1381 | 362 |1269 | 39 | 309 |2708 | 0.000000e+00 | -- | Inf
37.28/37.40 c 37.4s| 14100 | 43 |261515 | 18.2 |4108k| 44 | - | 362 |1385 | 0 | 0 | 39 | 314 |2709 | 0.000000e+00 | -- | Inf
37.48/37.55 c 37.6s| 14200 | 43 |263165 | 18.1 |4108k| 44 | - | 362 |1387 | 362 |1270 | 40 | 318 |2709 | 0.000000e+00 | -- | Inf
37.67/37.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.67/37.71 c 37.7s| 14300 | 45 |264970 | 18.1 |4111k| 44 | 95 | 362 |1388 | 362 |1269 | 41 | 320 |2709 | 0.000000e+00 | -- | Inf
37.78/37.86 c 37.9s| 14400 | 43 |266493 | 18.1 |4109k| 44 | 112 | 362 |1388 | 362 |1269 | 41 | 320 |2709 | 0.000000e+00 | -- | Inf
37.98/38.00 c 38.0s| 14500 | 43 |268028 | 18.1 |4113k| 44 | - | 362 |1386 | 362 |1269 | 41 | 320 |2709 | 0.000000e+00 | -- | Inf
38.07/38.17 c 38.2s| 14600 | 43 |270037 | 18.1 |4110k| 44 | 100 | 362 |1386 | 362 |1269 | 41 | 321 |2709 | 0.000000e+00 | -- | Inf
38.28/38.30 c 38.3s| 14700 | 45 |271376 | 18.1 |4112k| 44 | 98 | 362 |1388 | 362 |1269 | 41 | 324 |2709 | 0.000000e+00 | -- | Inf
38.38/38.44 c 38.4s| 14800 | 41 |272916 | 18.1 |4105k| 44 | 124 | 362 |1390 | 362 |1269 | 41 | 326 |2709 | 0.000000e+00 | -- | Inf
38.58/38.60 c 38.6s| 14900 | 47 |274598 | 18.1 |4118k| 44 | 91 | 362 |1393 | 362 |1269 | 41 | 330 |2709 | 0.000000e+00 | -- | Inf
38.67/38.76 c 38.8s| 15000 | 43 |276316 | 18.0 |4118k| 44 | - | 362 |1394 | 362 |1269 | 41 | 331 |2709 | 0.000000e+00 | -- | Inf
38.87/38.91 c 38.9s| 15100 | 43 |277938 | 18.0 |4114k| 44 | - | 362 |1393 | 362 |1269 | 41 | 331 |2709 | 0.000000e+00 | -- | Inf
38.98/39.07 c 39.1s| 15200 | 39 |279709 | 18.0 |4101k| 44 | 106 | 362 |1393 | 362 |1269 | 41 | 332 |2709 | 0.000000e+00 | -- | Inf
39.18/39.23 c 39.2s| 15300 | 39 |281456 | 18.0 |4103k| 44 | 111 | 362 |1395 | 362 |1269 | 42 | 337 |2709 | 0.000000e+00 | -- | Inf
39.27/39.37 c 39.4s| 15400 | 41 |282982 | 18.0 |4107k| 44 | 89 | 362 |1396 | 362 |1269 | 42 | 339 |2710 | 0.000000e+00 | -- | Inf
39.48/39.54 c 39.5s| 15500 | 41 |284841 | 18.0 |4107k| 44 | 100 | 362 |1398 | 362 |1269 | 42 | 342 |2710 | 0.000000e+00 | -- | Inf
39.68/39.70 c 39.7s| 15600 | 39 |286716 | 18.0 |4108k| 44 | - | 362 |1398 | 0 | 0 | 42 | 342 |2710 | 0.000000e+00 | -- | Inf
39.78/39.85 c 39.9s| 15700 | 39 |288316 | 18.0 |4112k| 44 | - | 362 |1401 | 0 | 0 | 43 | 346 |2710 | 0.000000e+00 | -- | Inf
39.98/40.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.98/40.04 c 40.0s| 15800 | 39 |290529 | 18.0 |4112k| 44 | - | 362 |1402 | 362 |1269 | 43 | 349 |2710 | 0.000000e+00 | -- | Inf
40.08/40.19 c 40.2s| 15900 | 41 |292096 | 18.0 |4120k| 44 | - | 362 |1404 | 362 |1269 | 43 | 352 |2710 | 0.000000e+00 | -- | Inf
40.27/40.34 c 40.3s| 16000 | 41 |293778 | 18.0 |4119k| 44 | - | 362 |1405 | 362 |1269 | 43 | 354 |2710 | 0.000000e+00 | -- | Inf
40.38/40.49 c 40.5s| 16100 | 43 |295415 | 18.0 |4124k| 44 | - | 362 |1406 | 362 |1269 | 43 | 356 |2710 | 0.000000e+00 | -- | Inf
40.58/40.64 c 40.6s| 16200 | 41 |297003 | 18.0 |4126k| 44 | - | 362 |1399 | 0 | 0 | 43 | 356 |2710 | 0.000000e+00 | -- | Inf
40.77/40.81 c 40.8s| 16300 | 45 |298975 | 18.0 |4122k| 44 | 94 | 362 |1391 | 362 |1269 | 43 | 356 |2710 | 0.000000e+00 | -- | Inf
40.98/41.00 c 41.0s| 16400 | 47 |300750 | 18.0 |4128k| 44 | - | 362 |1390 | 362 |1269 | 43 | 357 |2719 | 0.000000e+00 | -- | Inf
41.17/41.20 c 41.2s| 16500 | 43 |302314 | 18.0 |4128k| 44 | - | 362 |1386 | 362 |1269 | 43 | 357 |2736 | 0.000000e+00 | -- | Inf
41.28/41.37 c 41.4s| 16600 | 43 |303714 | 18.0 |4124k| 44 | 98 | 362 |1385 | 362 |1269 | 43 | 357 |2750 | 0.000000e+00 | -- | Inf
41.48/41.56 c 41.6s| 16700 | 43 |305229 | 17.9 |4127k| 44 | - | 362 |1385 | 0 | 0 | 43 | 357 |2767 | 0.000000e+00 | -- | Inf
41.68/41.79 c 41.8s| 16800 | 41 |307312 | 18.0 |4113k| 44 | 98 | 362 |1385 | 362 |1269 | 43 | 359 |2780 | 0.000000e+00 | -- | Inf
41.97/42.00 c 42.0s| 16900 | 41 |309271 | 18.0 |4120k| 44 | - | 362 |1386 | 362 |1269 | 43 | 360 |2794 | 0.000000e+00 | -- | Inf
42.17/42.24 c 42.2s| 17000 | 49 |311173 | 18.0 |4126k| 44 | 106 | 362 |1384 | 362 |1269 | 43 | 360 |2812 | 0.000000e+00 | -- | Inf
42.38/42.44 c 42.4s| 17100 | 41 |313091 | 18.0 |4118k| 44 | - | 362 |1383 | 362 |1269 | 43 | 361 |2823 | 0.000000e+00 | -- | Inf
42.58/42.63 c 42.6s| 17200 | 37 |314891 | 18.0 |4102k| 44 | 117 | 362 |1386 | 362 |1269 | 43 | 364 |2830 | 0.000000e+00 | -- | Inf
42.79/42.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.79/42.82 c 42.8s| 17300 | 39 |316571 | 18.0 |4103k| 44 | 96 | 362 |1385 | 362 |1269 | 43 | 365 |2841 | 0.000000e+00 | -- | Inf
42.97/43.04 c 43.0s| 17400 | 39 |318507 | 18.0 |4105k| 44 | - | 362 |1387 | 362 |1269 | 43 | 369 |2858 | 0.000000e+00 | -- | Inf
43.18/43.23 c 43.2s| 17500 | 39 |320043 | 18.0 |4105k| 44 | - | 362 |1386 | 362 |1269 | 43 | 369 |2875 | 0.000000e+00 | -- | Inf
43.38/43.45 c 43.4s| 17600 | 41 |321783 | 18.0 |4107k| 44 | - | 362 |1384 | 362 |1269 | 44 | 371 |2891 | 0.000000e+00 | -- | Inf
43.57/43.63 c 43.6s| 17700 | 41 |323396 | 18.0 |4107k| 44 | 108 | 362 |1382 | 362 |1269 | 44 | 372 |2907 | 0.000000e+00 | -- | Inf
43.78/43.85 c 43.9s| 17800 | 39 |325333 | 18.0 |4106k| 44 | - | 362 |1381 | 362 |1269 | 44 | 372 |2928 | 0.000000e+00 | -- | Inf
43.98/44.06 c 44.1s| 17900 | 37 |327192 | 18.0 |4097k| 44 | - | 362 |1376 | 362 |1269 | 44 | 373 |2945 | 0.000000e+00 | -- | Inf
44.17/44.26 c 44.3s| 18000 | 37 |328752 | 18.0 |4099k| 44 | 89 | 362 |1377 | 362 |1269 | 44 | 379 |2961 | 0.000000e+00 | -- | Inf
44.37/44.48 c 44.5s| 18100 | 37 |330610 | 18.0 |4095k| 44 | 96 | 362 |1375 | 362 |1269 | 44 | 382 |2980 | 0.000000e+00 | -- | Inf
44.57/44.66 c 44.7s| 18200 | 37 |332422 | 18.0 |4096k| 44 | 114 | 362 |1374 | 362 |1269 | 44 | 384 |2989 | 0.000000e+00 | -- | Inf
44.78/44.89 c 44.9s| 18300 | 37 |334596 | 18.0 |4097k| 44 | 107 | 362 |1378 | 362 |1269 | 44 | 389 |3002 | 0.000000e+00 | -- | Inf
44.98/45.07 c 45.1s| 18400 | 35 |336433 | 18.0 |4097k| 44 | - | 362 |1382 | 362 |1269 | 44 | 394 |3005 | 0.000000e+00 | -- | Inf
45.18/45.27 c 45.3s| 18500 | 33 |338435 | 18.0 |4091k| 44 | - | 362 |1381 | 362 |1269 | 44 | 398 |3014 | 0.000000e+00 | -- | Inf
45.58/45.65 c 45.6s| 18600 | 35 |340001 | 18.0 |4089k| 44 | 123 | 362 |1378 | 362 |1270 | 44 | 403 |3078 | 0.000000e+00 | -- | Inf
46.08/46.16 c 46.2s| 18700 | 37 |341936 | 18.0 |4099k| 44 | 130 | 362 |1379 | 362 |1270 | 44 | 404 |3172 | 0.000000e+00 | -- | Inf
46.37/46.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.37/46.41 c 46.4s| 18800 | 39 |343527 | 18.0 |4104k| 44 | 109 | 362 |1383 | 362 |1270 | 44 | 410 |3199 | 0.000000e+00 | -- | Inf
46.57/46.63 c 46.6s| 18900 | 37 |345629 | 18.0 |4106k| 44 | - | 362 |1390 | 362 |1270 | 44 | 418 |3206 | 0.000000e+00 | -- | Inf
46.77/46.83 c 46.8s| 19000 | 35 |348104 | 18.0 |4103k| 44 | - | 362 |1393 | 362 |1269 | 44 | 421 |3207 | 0.000000e+00 | -- | Inf
46.98/47.02 c 47.0s| 19100 | 33 |350284 | 18.0 |4096k| 44 | - | 362 |1396 | 362 |1269 | 44 | 424 |3207 | 0.000000e+00 | -- | Inf
47.19/47.22 c 47.2s| 19200 | 35 |352058 | 18.0 |4097k| 44 | - | 362 |1397 | 362 |1269 | 44 | 429 |3218 | 0.000000e+00 | -- | Inf
47.29/47.39 c 47.4s| 19300 | 35 |353914 | 18.0 |4096k| 44 | 109 | 362 |1399 | 362 |1270 | 44 | 432 |3218 | 0.000000e+00 | -- | Inf
47.48/47.56 c 47.6s| 19400 | 33 |355738 | 18.0 |4081k| 44 | 119 | 362 |1399 | 362 |1270 | 44 | 436 |3220 | 0.000000e+00 | -- | Inf
47.68/47.74 c 47.7s| 19500 | 39 |357634 | 18.1 |4096k| 44 | - | 362 |1398 | 362 |1270 | 44 | 436 |3220 | 0.000000e+00 | -- | Inf
47.88/47.91 c 47.9s| 19600 | 39 |359571 | 18.1 |4100k| 44 | - | 362 |1401 | 362 |1270 | 44 | 439 |3220 | 0.000000e+00 | -- | Inf
48.08/48.10 c 48.1s| 19700 | 41 |361778 | 18.1 |4105k| 44 | - | 362 |1401 | 362 |1270 | 44 | 439 |3220 | 0.000000e+00 | -- | Inf
48.17/48.27 c 48.3s| 19800 | 43 |363662 | 18.1 |4105k| 44 | 120 | 362 |1401 | 362 |1270 | 44 | 439 |3220 | 0.000000e+00 | -- | Inf
48.38/48.45 c 48.5s| 19900 | 49 |365689 | 18.1 |4111k| 44 | 120 | 362 |1401 | 362 |1270 | 44 | 439 |3220 | 0.000000e+00 | -- | Inf
48.58/48.68 c 48.7s| 20000 | 55 |367839 | 18.1 |4127k| 44 | - | 362 |1401 | 362 |1270 | 44 | 439 |3229 | 0.000000e+00 | -- | Inf
48.87/48.93 c 48.9s| 20100 | 49 |370064 | 18.1 |4120k| 44 | - | 362 |1401 | 362 |1270 | 44 | 439 |3244 | 0.000000e+00 | -- | Inf
49.07/49.10 c 49.1s| 20200 | 45 |371566 | 18.1 |4115k| 44 | 121 | 362 |1405 | 362 |1270 | 44 | 444 |3250 | 0.000000e+00 | -- | Inf
49.17/49.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.17/49.28 c 49.3s| 20300 | 45 |373237 | 18.1 |4116k| 44 | 119 | 362 |1408 | 362 |1270 | 44 | 449 |3259 | 0.000000e+00 | -- | Inf
49.48/49.51 c 49.5s| 20400 | 57 |375314 | 18.1 |4144k| 44 | 112 | 362 |1408 | 362 |1270 | 44 | 449 |3269 | 0.000000e+00 | -- | Inf
49.58/49.69 c 49.7s| 20500 | 67 |377102 | 18.1 |4164k| 44 | - | 362 |1409 | 362 |1270 | 44 | 450 |3273 | 0.000000e+00 | -- | Inf
49.77/49.89 c 49.9s| 20600 | 61 |379088 | 18.1 |4158k| 44 | 112 | 362 |1409 | 362 |1270 | 44 | 450 |3278 | 0.000000e+00 | -- | Inf
49.97/50.07 c 50.1s| 20700 | 51 |380729 | 18.1 |4141k| 44 | 111 | 362 |1409 | 362 |1270 | 44 | 450 |3285 | 0.000000e+00 | -- | Inf
50.17/50.28 c 50.3s| 20800 | 47 |382633 | 18.1 |4124k| 44 | 115 | 362 |1407 | 362 |1269 | 45 | 454 |3293 | 0.000000e+00 | -- | Inf
50.38/50.46 c 50.5s| 20900 | 49 |384557 | 18.1 |4127k| 44 | 82 | 362 |1403 | 362 |1269 | 45 | 455 |3294 | 0.000000e+00 | -- | Inf
50.58/50.63 c 50.6s| 21000 | 47 |386333 | 18.1 |4121k| 44 | - | 362 |1399 | 362 |1269 | 45 | 455 |3296 | 0.000000e+00 | -- | Inf
50.78/50.80 c 50.8s| 21100 | 47 |388223 | 18.1 |4120k| 44 | 111 | 362 |1392 | 362 |1269 | 45 | 457 |3297 | 0.000000e+00 | -- | Inf
50.87/50.99 c 51.0s| 21200 | 47 |390229 | 18.1 |4114k| 44 | 96 | 362 |1377 | 362 |1269 | 45 | 459 |3302 | 0.000000e+00 | -- | Inf
51.08/51.18 c 51.2s| 21300 | 47 |392288 | 18.2 |4116k| 44 | 110 | 362 |1369 | 362 |1269 | 45 | 461 |3305 | 0.000000e+00 | -- | Inf
51.27/51.36 c 51.4s| 21400 | 43 |394303 | 18.2 |4105k| 44 | 115 | 362 |1363 | 362 |1270 | 45 | 461 |3305 | 0.000000e+00 | -- | Inf
51.47/51.58 c 51.6s| 21500 | 43 |396390 | 18.2 |4106k| 44 | 124 | 362 |1367 | 362 |1270 | 45 | 465 |3316 | 0.000000e+00 | -- | Inf
51.68/51.78 c 51.8s| 21600 | 41 |398306 | 18.2 |4112k| 44 | - | 362 |1372 | 362 |1270 | 45 | 470 |3323 | 0.000000e+00 | -- | Inf
51.98/52.00 c 52.0s| 21700 | 45 |400651 | 18.2 |4116k| 44 | 133 | 362 |1374 | 362 |1270 | 45 | 473 |3326 | 0.000000e+00 | -- | Inf
52.17/52.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.17/52.22 c 52.2s| 21800 | 45 |403258 | 18.2 |4120k| 44 | 118 | 362 |1374 | 362 |1270 | 45 | 474 |3327 | 0.000000e+00 | -- | Inf
52.37/52.41 c 52.4s| 21900 | 45 |405169 | 18.2 |4116k| 44 | 129 | 362 |1373 | 362 |1270 | 45 | 476 |3331 | 0.000000e+00 | -- | Inf
52.48/52.57 c 52.6s| 22000 | 45 |407017 | 18.2 |4116k| 44 | 135 | 362 |1370 | 362 |1270 | 45 | 478 |3331 | 0.000000e+00 | -- | Inf
52.68/52.76 c 52.8s| 22100 | 45 |409058 | 18.3 |4113k| 44 | 131 | 362 |1368 | 362 |1270 | 46 | 481 |3333 | 0.000000e+00 | -- | Inf
52.87/52.95 c 52.9s| 22200 | 39 |411125 | 18.3 |4105k| 44 | - | 362 |1369 | 362 |1270 | 46 | 482 |3333 | 0.000000e+00 | -- | Inf
53.07/53.12 c 53.1s| 22300 | 39 |413049 | 18.3 |4101k| 44 | - | 362 |1370 | 362 |1270 | 46 | 484 |3333 | 0.000000e+00 | -- | Inf
53.18/53.27 c 53.3s| 22400 | 43 |414695 | 18.3 |4106k| 44 | 112 | 362 |1371 | 362 |1270 | 46 | 486 |3333 | 0.000000e+00 | -- | Inf
53.37/53.43 c 53.4s| 22500 | 41 |416433 | 18.3 |4103k| 44 | 127 | 362 |1375 | 362 |1270 | 46 | 490 |3333 | 0.000000e+00 | -- | Inf
53.48/53.59 c 53.6s| 22600 | 41 |418214 | 18.3 |4104k| 44 | - | 362 |1374 | 0 | 0 | 46 | 490 |3333 | 0.000000e+00 | -- | Inf
53.67/53.72 c 53.7s| 22700 | 39 |419516 | 18.2 |4105k| 44 | - | 362 |1377 | 362 |1270 | 46 | 493 |3333 | 0.000000e+00 | -- | Inf
53.78/53.87 c 53.9s| 22800 | 41 |421148 | 18.2 |4117k| 44 | - | 362 |1376 | 0 | 0 | 46 | 494 |3333 | 0.000000e+00 | -- | Inf
53.97/54.04 c 54.0s| 22900 | 41 |423052 | 18.2 |4107k| 44 | 119 | 362 |1378 | 362 |1270 | 46 | 496 |3333 | 0.000000e+00 | -- | Inf
54.17/54.20 c 54.2s| 23000 | 41 |424735 | 18.2 |4113k| 44 | - | 362 |1377 | 362 |1270 | 46 | 501 |3333 | 0.000000e+00 | -- | Inf
54.27/54.38 c 54.4s| 23100 | 41 |426787 | 18.2 |4110k| 44 | - | 362 |1377 | 362 |1270 | 46 | 501 |3333 | 0.000000e+00 | -- | Inf
54.47/54.57 c 54.6s| 23200 | 41 |429045 | 18.3 |4107k| 44 | 137 | 362 |1381 | 362 |1270 | 46 | 505 |3333 | 0.000000e+00 | -- | Inf
54.68/54.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.68/54.75 c 54.8s| 23300 | 41 |431065 | 18.3 |4111k| 44 | 113 | 362 |1386 | 362 |1270 | 46 | 511 |3333 | 0.000000e+00 | -- | Inf
54.88/54.94 c 54.9s| 23400 | 45 |432851 | 18.3 |4123k| 44 | - | 362 |1387 | 362 |1270 | 46 | 512 |3342 | 0.000000e+00 | -- | Inf
55.08/55.13 c 55.1s| 23500 | 45 |434504 | 18.3 |4127k| 44 | - | 362 |1387 | 362 |1270 | 46 | 512 |3352 | 0.000000e+00 | -- | Inf
55.27/55.36 c 55.4s| 23600 | 45 |436384 | 18.3 |4130k| 44 | - | 362 |1389 | 0 | 0 | 46 | 514 |3369 | 0.000000e+00 | -- | Inf
55.48/55.57 c 55.6s| 23700 | 43 |438294 | 18.3 |4124k| 44 | - | 362 |1388 | 362 |1270 | 46 | 514 |3382 | 0.000000e+00 | -- | Inf
55.68/55.78 c 55.8s| 23800 | 41 |440295 | 18.3 |4118k| 44 | - | 362 |1388 | 362 |1270 | 46 | 516 |3391 | 0.000000e+00 | -- | Inf
55.98/56.05 c 56.0s| 23900 | 39 |442712 | 18.3 |4111k| 44 | 133 | 362 |1390 | 362 |1270 | 46 | 518 |3407 | 0.000000e+00 | -- | Inf
56.17/56.27 c 56.3s| 24000 | 37 |444923 | 18.3 |4108k| 44 | 119 | 362 |1390 | 362 |1270 | 46 | 518 |3418 | 0.000000e+00 | -- | Inf
56.47/56.52 c 56.5s| 24100 | 37 |447418 | 18.3 |4108k| 44 | - | 362 |1390 | 362 |1270 | 47 | 521 |3427 | 0.000000e+00 | -- | Inf
56.68/56.75 c 56.8s| 24200 | 39 |449505 | 18.3 |4113k| 44 | - | 362 |1389 | 362 |1270 | 47 | 523 |3437 | 0.000000e+00 | -- | Inf
56.98/57.01 c 57.0s| 24300 | 39 |451522 | 18.4 |4111k| 44 | - | 362 |1392 | 362 |1269 | 49 | 528 |3455 | 0.000000e+00 | -- | Inf
57.18/57.22 c 57.2s| 24400 | 43 |453557 | 18.4 |4125k| 44 | - | 362 |1392 | 362 |1269 | 50 | 528 |3464 | 0.000000e+00 | -- | Inf
57.37/57.46 c 57.5s| 24500 | 39 |456040 | 18.4 |4114k| 44 | - | 362 |1392 | 362 |1269 | 51 | 528 |3474 | 0.000000e+00 | -- | Inf
57.67/57.73 c 57.7s| 24600 | 37 |458123 | 18.4 |4113k| 44 | - | 362 |1395 | 362 |1268 | 56 | 531 |3497 | 0.000000e+00 | -- | Inf
57.87/57.97 c 58.0s| 24700 | 39 |460568 | 18.4 |4113k| 44 | 143 | 362 |1395 | 362 |1268 | 59 | 531 |3507 | 0.000000e+00 | -- | Inf
58.07/58.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.07/58.19 c 58.2s| 24800 | 39 |462691 | 18.4 |4116k| 44 | 125 | 362 |1398 | 362 |1268 | 63 | 534 |3518 | 0.000000e+00 | -- | Inf
58.37/58.43 c 58.4s| 24900 | 39 |464789 | 18.4 |4123k| 44 | - | 362 |1402 | 362 |1269 | 67 | 539 |3534 | 0.000000e+00 | -- | Inf
58.57/58.63 c 58.6s| 25000 | 41 |466945 | 18.5 |4126k| 44 | - | 362 |1402 | 362 |1270 | 69 | 540 |3539 | 0.000000e+00 | -- | Inf
58.77/58.82 c 58.8s| 25100 | 41 |469123 | 18.5 |4123k| 44 | 110 | 362 |1402 | 362 |1270 | 70 | 540 |3539 | 0.000000e+00 | -- | Inf
58.97/59.00 c 59.0s| 25200 | 39 |471227 | 18.5 |4123k| 44 | - | 362 |1403 | 362 |1268 | 70 | 541 |3539 | 0.000000e+00 | -- | Inf
59.17/59.23 c 59.2s| 25300 | 43 |473477 | 18.5 |4130k| 44 | 117 | 362 |1402 | 362 |1269 | 74 | 541 |3546 | 0.000000e+00 | -- | Inf
59.37/59.40 c 59.4s| 25400 | 43 |475442 | 18.5 |4133k| 44 | 116 | 362 |1402 | 362 |1269 | 74 | 541 |3546 | 0.000000e+00 | -- | Inf
59.47/59.59 c 59.6s| 25500 | 43 |477497 | 18.5 |4135k| 44 | - | 362 |1405 | 362 |1269 | 77 | 544 |3546 | 0.000000e+00 | -- | Inf
59.68/59.77 c 59.8s| 25600 | 43 |479417 | 18.5 |4135k| 44 | - | 362 |1404 | 362 |1268 | 79 | 544 |3546 | 0.000000e+00 | -- | Inf
59.87/59.93 c 59.9s| 25700 | 43 |481216 | 18.5 |4134k| 44 | - | 362 |1403 | 362 |1268 | 82 | 544 |3546 | 0.000000e+00 | -- | Inf
60.07/60.12 c 60.1s| 25800 | 43 |483286 | 18.5 |4134k| 44 | 108 | 362 |1403 | 362 |1269 | 84 | 544 |3546 | 0.000000e+00 | -- | Inf
60.27/60.30 c 60.3s| 25900 | 41 |485351 | 18.5 |4128k| 44 | 123 | 362 |1403 | 362 |1268 | 86 | 546 |3546 | 0.000000e+00 | -- | Inf
60.38/60.48 c 60.5s| 26000 | 39 |487271 | 18.5 |4120k| 44 | 146 | 362 |1404 | 362 |1270 | 86 | 548 |3546 | 0.000000e+00 | -- | Inf
60.57/60.66 c 60.7s| 26100 | 41 |489316 | 18.5 |4121k| 44 | 137 | 362 |1402 | 362 |1270 | 86 | 554 |3547 | 0.000000e+00 | -- | Inf
60.77/60.87 c 60.9s| 26200 | 41 |491717 | 18.6 |4125k| 44 | - | 362 |1400 | 362 |1270 | 86 | 555 |3547 | 0.000000e+00 | -- | Inf
60.97/61.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.97/61.06 c 61.1s| 26300 | 43 |493914 | 18.6 |4132k| 44 | 142 | 362 |1408 | 362 |1270 | 86 | 563 |3547 | 0.000000e+00 | -- | Inf
61.17/61.27 c 61.3s| 26400 | 41 |496228 | 18.6 |4136k| 44 | - | 362 |1410 | 362 |1269 | 86 | 565 |3547 | 0.000000e+00 | -- | Inf
61.38/61.50 c 61.5s| 26500 | 39 |498957 | 18.6 |4129k| 44 | - | 362 |1411 | 0 | 0 | 86 | 568 |3550 | 0.000000e+00 | -- | Inf
61.58/61.67 c 61.7s| 26600 | 39 |500801 | 18.6 |4131k| 44 | - | 362 |1415 | 362 |1268 | 88 | 572 |3550 | 0.000000e+00 | -- | Inf
61.77/61.84 c 61.8s| 26700 | 41 |502753 | 18.6 |4134k| 44 | 100 | 362 |1415 | 362 |1269 | 92 | 572 |3550 | 0.000000e+00 | -- | Inf
61.97/62.03 c 62.0s| 26800 | 39 |504848 | 18.6 |4132k| 44 | 109 | 362 |1416 | 362 |1269 | 95 | 573 |3550 | 0.000000e+00 | -- | Inf
62.17/62.23 c 62.2s| 26900 | 41 |507083 | 18.6 |4133k| 44 | 110 | 362 |1419 | 362 |1268 | 96 | 576 |3550 | 0.000000e+00 | -- | Inf
62.27/62.39 c 62.4s| 27000 | 43 |508904 | 18.6 |4142k| 44 | - | 362 |1419 | 362 |1268 | 96 | 576 |3550 | 0.000000e+00 | -- | Inf
62.47/62.58 c 62.6s| 27100 | 43 |511063 | 18.7 |4149k| 44 | - | 362 |1422 | 362 |1268 | 97 | 579 |3550 | 0.000000e+00 | -- | Inf
62.68/62.78 c 62.8s| 27200 | 39 |513459 | 18.7 |4133k| 44 | 113 | 362 |1422 | 362 |1270 | 97 | 580 |3550 | 0.000000e+00 | -- | Inf
62.87/62.95 c 62.9s| 27300 | 37 |515254 | 18.7 |4134k| 44 | - | 362 |1421 | 362 |1268 | 97 | 581 |3550 | 0.000000e+00 | -- | Inf
63.07/63.13 c 63.1s| 27400 | 41 |517314 | 18.7 |4144k| 44 | 113 | 362 |1423 | 362 |1268 | 99 | 584 |3550 | 0.000000e+00 | -- | Inf
63.27/63.31 c 63.3s| 27500 | 37 |519333 | 18.7 |4135k| 44 | - | 362 |1423 | 362 |1268 | 100 | 584 |3550 | 0.000000e+00 | -- | Inf
63.47/63.51 c 63.5s| 27600 | 41 |521590 | 18.7 |4143k| 44 | 113 | 362 |1423 | 362 |1269 | 102 | 586 |3550 | 0.000000e+00 | -- | Inf
63.57/63.68 c 63.7s| 27700 | 37 |523303 | 18.7 |4138k| 44 | - | 362 |1425 | 362 |1269 | 105 | 589 |3550 | 0.000000e+00 | -- | Inf
63.77/63.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.77/63.86 c 63.9s| 27800 | 41 |525242 | 18.7 |4144k| 44 | - | 362 |1426 | 362 |1269 | 105 | 590 |3550 | 0.000000e+00 | -- | Inf
63.98/64.02 c 64.0s| 27900 | 41 |526911 | 18.7 |4144k| 44 | 113 | 362 |1426 | 362 |1269 | 105 | 591 |3550 | 0.000000e+00 | -- | Inf
64.18/64.22 c 64.2s| 28000 | 41 |529273 | 18.7 |4150k| 44 | - | 362 |1423 | 362 |1268 | 105 | 592 |3550 | 0.000000e+00 | -- | Inf
64.27/64.39 c 64.4s| 28100 | 41 |531107 | 18.7 |4155k| 44 | - | 362 |1422 | 362 |1269 | 109 | 592 |3550 | 0.000000e+00 | -- | Inf
64.47/64.58 c 64.6s| 28200 | 45 |533191 | 18.7 |4161k| 44 | - | 362 |1423 | 362 |1268 | 111 | 593 |3550 | 0.000000e+00 | -- | Inf
64.67/64.78 c 64.8s| 28300 | 41 |535467 | 18.7 |4154k| 44 | - | 362 |1419 | 362 |1269 | 112 | 593 |3550 | 0.000000e+00 | -- | Inf
64.88/64.97 c 65.0s| 28400 | 39 |537693 | 18.7 |4153k| 44 | - | 362 |1424 | 362 |1270 | 112 | 598 |3550 | 0.000000e+00 | -- | Inf
65.07/65.16 c 65.2s| 28500 | 41 |539714 | 18.7 |4149k| 44 | - | 362 |1425 | 362 |1270 | 112 | 599 |3551 | 0.000000e+00 | -- | Inf
65.27/65.33 c 65.3s| 28600 | 43 |541631 | 18.7 |4153k| 44 | 122 | 362 |1426 | 362 |1270 | 112 | 600 |3551 | 0.000000e+00 | -- | Inf
65.48/65.50 c 65.5s| 28700 | 45 |543459 | 18.7 |4158k| 44 | 111 | 362 |1426 | 362 |1270 | 112 | 601 |3551 | 0.000000e+00 | -- | Inf
65.57/65.69 c 65.7s| 28800 | 45 |545732 | 18.8 |4158k| 44 | 122 | 362 |1425 | 362 |1270 | 112 | 601 |3551 | 0.000000e+00 | -- | Inf
65.88/65.91 c 65.9s| 28900 | 47 |548335 | 18.8 |4163k| 44 | - | 362 |1422 | 362 |1270 | 112 | 601 |3551 | 0.000000e+00 | -- | Inf
65.98/66.09 c 66.1s| 29000 | 49 |550429 | 18.8 |4171k| 44 | 122 | 362 |1420 | 362 |1270 | 112 | 603 |3551 | 0.000000e+00 | -- | Inf
66.17/66.25 c 66.3s| 29100 | 49 |552122 | 18.8 |4176k| 44 | - | 362 |1420 | 362 |1270 | 112 | 604 |3551 | 0.000000e+00 | -- | Inf
66.37/66.41 c 66.4s| 29200 | 51 |553883 | 18.8 |4174k| 44 | 110 | 362 |1419 | 362 |1270 | 112 | 605 |3551 | 0.000000e+00 | -- | Inf
66.48/66.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.48/66.59 c 66.6s| 29300 | 51 |555912 | 18.8 |4179k| 44 | - | 362 |1416 | 362 |1270 | 112 | 606 |3551 | 0.000000e+00 | -- | Inf
66.67/66.77 c 66.8s| 29400 | 55 |557944 | 18.8 |4186k| 44 | 122 | 362 |1414 | 362 |1270 | 112 | 606 |3551 | 0.000000e+00 | -- | Inf
66.87/66.95 c 67.0s| 29500 | 53 |560067 | 18.8 |4184k| 44 | - | 362 |1413 | 0 | 0 | 112 | 607 |3551 | 0.000000e+00 | -- | Inf
67.08/67.12 c 67.1s| 29600 | 55 |561985 | 18.8 |4187k| 44 | 107 | 362 |1413 | 362 |1270 | 112 | 607 |3551 | 0.000000e+00 | -- | Inf
67.17/67.29 c 67.3s| 29700 | 53 |563883 | 18.8 |4190k| 44 | - | 362 |1413 | 362 |1270 | 112 | 607 |3551 | 0.000000e+00 | -- | Inf
67.37/67.48 c 67.5s| 29800 | 55 |566094 | 18.8 |4194k| 44 | 118 | 362 |1416 | 362 |1270 | 112 | 610 |3551 | 0.000000e+00 | -- | Inf
67.57/67.65 c 67.7s| 29900 | 47 |567920 | 18.8 |4189k| 44 | - | 362 |1418 | 362 |1270 | 112 | 612 |3551 | 0.000000e+00 | -- | Inf
68.08/68.13 c 68.1s| 30000 | 43 |569703 | 18.8 |4180k| 44 | - | 362 |1423 | 0 | 0 | 113 | 617 |3630 | 0.000000e+00 | -- | Inf
68.37/68.40 c 68.4s| 30100 | 45 |571562 | 18.8 |4179k| 44 | 100 | 362 |1426 | 362 |1270 | 113 | 621 |3654 | 0.000000e+00 | -- | Inf
68.48/68.59 c 68.6s| 30200 | 47 |573587 | 18.8 |4183k| 44 | 103 | 362 |1425 | 362 |1270 | 113 | 624 |3658 | 0.000000e+00 | -- | Inf
68.67/68.77 c 68.8s| 30300 | 45 |575673 | 18.8 |4185k| 44 | - | 362 |1425 | 362 |1270 | 113 | 626 |3658 | 0.000000e+00 | -- | Inf
68.87/68.94 c 68.9s| 30400 | 43 |577686 | 18.8 |4185k| 44 | - | 362 |1426 | 362 |1270 | 113 | 628 |3658 | 0.000000e+00 | -- | Inf
69.07/69.12 c 69.1s| 30500 | 47 |579744 | 18.8 |4189k| 44 | 99 | 362 |1427 | 362 |1270 | 113 | 630 |3658 | 0.000000e+00 | -- | Inf
69.18/69.28 c 69.3s| 30600 | 43 |581399 | 18.8 |4182k| 44 | - | 362 |1428 | 362 |1270 | 113 | 634 |3658 | 0.000000e+00 | -- | Inf
69.37/69.44 c 69.4s| 30700 | 51 |583097 | 18.8 |4200k| 44 | 97 | 362 |1432 | 362 |1270 | 113 | 639 |3658 | 0.000000e+00 | -- | Inf
69.58/69.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.58/69.61 c 69.6s| 30800 | 49 |584975 | 18.8 |4194k| 44 | 115 | 362 |1431 | 362 |1270 | 113 | 642 |3658 | 0.000000e+00 | -- | Inf
69.67/69.78 c 69.8s| 30900 | 51 |586944 | 18.8 |4206k| 44 | - | 362 |1433 | 362 |1270 | 113 | 644 |3658 | 0.000000e+00 | -- | Inf
69.88/69.99 c 70.0s| 31000 | 57 |589560 | 18.8 |4220k| 44 | 115 | 362 |1436 | 362 |1270 | 113 | 647 |3658 | 0.000000e+00 | -- | Inf
70.07/70.20 c 70.2s| 31100 | 53 |591845 | 18.9 |4214k| 44 | - | 362 |1437 | 0 | 0 | 113 | 648 |3658 | 0.000000e+00 | -- | Inf
70.28/70.39 c 70.4s| 31200 | 53 |594144 | 18.9 |4210k| 44 | 114 | 362 |1437 | 362 |1270 | 113 | 648 |3658 | 0.000000e+00 | -- | Inf
70.47/70.56 c 70.6s| 31300 | 59 |595959 | 18.9 |4225k| 44 | 117 | 362 |1438 | 362 |1270 | 113 | 649 |3658 | 0.000000e+00 | -- | Inf
70.67/70.73 c 70.7s| 31400 | 57 |597780 | 18.9 |4228k| 44 | - | 362 |1439 | 362 |1270 | 113 | 651 |3658 | 0.000000e+00 | -- | Inf
70.87/70.91 c 70.9s| 31500 | 67 |599799 | 18.9 |4252k| 44 | - | 362 |1438 | 362 |1270 | 113 | 651 |3658 | 0.000000e+00 | -- | Inf
70.97/71.08 c 71.1s| 31600 | 69 |601677 | 18.9 |4259k| 44 | - | 362 |1438 | 362 |1270 | 113 | 651 |3658 | 0.000000e+00 | -- | Inf
71.17/71.26 c 71.3s| 31700 | 71 |603806 | 18.9 |4267k| 44 | - | 362 |1439 | 362 |1270 | 113 | 652 |3658 | 0.000000e+00 | -- | Inf
71.38/71.45 c 71.5s| 31800 | 73 |605936 | 18.9 |4273k| 44 | - | 362 |1439 | 362 |1270 | 113 | 652 |3658 | 0.000000e+00 | -- | Inf
71.57/71.65 c 71.6s| 31900 | 79 |608213 | 18.9 |4289k| 44 | - | 362 |1439 | 362 |1270 | 113 | 653 |3658 | 0.000000e+00 | -- | Inf
71.78/71.85 c 71.9s| 32000 | 85 |610673 | 18.9 |4303k| 44 | - | 362 |1438 | 362 |1270 | 113 | 653 |3658 | 0.000000e+00 | -- | Inf
71.97/72.03 c 72.0s| 32100 | 77 |612641 | 18.9 |4283k| 44 | - | 362 |1442 | 362 |1270 | 113 | 657 |3658 | 0.000000e+00 | -- | Inf
72.17/72.20 c 72.2s| 32200 | 75 |614511 | 18.9 |4271k| 44 | 121 | 362 |1443 | 362 |1270 | 113 | 659 |3658 | 0.000000e+00 | -- | Inf
72.27/72.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.27/72.40 c 72.4s| 32300 | 73 |616287 | 18.9 |4270k| 44 | 127 | 362 |1446 | 362 |1270 | 113 | 663 |3668 | 0.000000e+00 | -- | Inf
72.47/72.57 c 72.6s| 32400 | 79 |618130 | 18.9 |4286k| 44 | - | 362 |1446 | 362 |1270 | 113 | 663 |3671 | 0.000000e+00 | -- | Inf
72.67/72.72 c 72.7s| 32500 | 77 |619737 | 18.9 |4288k| 44 | - | 362 |1448 | 362 |1270 | 113 | 665 |3671 | 0.000000e+00 | -- | Inf
72.77/72.89 c 72.9s| 32600 | 81 |621678 | 18.9 |4292k| 44 | 99 | 362 |1449 | 362 |1270 | 113 | 671 |3671 | 0.000000e+00 | -- | Inf
72.97/73.06 c 73.1s| 32700 | 81 |623556 | 18.9 |4293k| 44 | 101 | 362 |1450 | 362 |1270 | 113 | 672 |3671 | 0.000000e+00 | -- | Inf
73.17/73.23 c 73.2s| 32800 | 81 |625383 | 18.9 |4297k| 44 | 136 | 362 |1451 | 362 |1270 | 113 | 673 |3671 | 0.000000e+00 | -- | Inf
73.37/73.40 c 73.4s| 32900 | 85 |627350 | 18.9 |4300k| 44 | 96 | 362 |1452 | 362 |1270 | 113 | 674 |3671 | 0.000000e+00 | -- | Inf
73.47/73.56 c 73.6s| 33000 | 81 |629132 | 18.9 |4297k| 44 | - | 362 |1450 | 362 |1270 | 113 | 674 |3671 | 0.000000e+00 | -- | Inf
73.67/73.71 c 73.7s| 33100 | 83 |630690 | 18.9 |4308k| 44 | - | 362 |1452 | 362 |1270 | 113 | 677 |3671 | 0.000000e+00 | -- | Inf
73.77/73.88 c 73.9s| 33200 | 91 |632598 | 18.9 |4324k| 44 | 108 | 362 |1451 | 362 |1270 | 113 | 679 |3671 | 0.000000e+00 | -- | Inf
73.97/74.03 c 74.0s| 33300 | 89 |634346 | 18.9 |4325k| 44 | 106 | 362 |1455 | 362 |1270 | 113 | 683 |3671 | 0.000000e+00 | -- | Inf
74.07/74.18 c 74.2s| 33400 | 87 |635955 | 18.9 |4319k| 44 | 114 | 362 |1462 | 362 |1270 | 113 | 691 |3671 | 0.000000e+00 | -- | Inf
74.27/74.33 c 74.3s| 33500 | 87 |637612 | 18.9 |4327k| 44 | - | 362 |1463 | 0 | 0 | 113 | 692 |3671 | 0.000000e+00 | -- | Inf
74.37/74.47 c 74.5s| 33600 | 91 |639111 | 18.9 |4330k| 44 | 127 | 362 |1471 | 362 |1270 | 113 | 700 |3671 | 0.000000e+00 | -- | Inf
74.57/74.62 c 74.6s| 33700 | 89 |640661 | 18.8 |4329k| 44 | 106 | 362 |1476 | 362 |1270 | 113 | 705 |3671 | 0.000000e+00 | -- | Inf
74.67/74.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.67/74.78 c 74.8s| 33800 | 93 |642469 | 18.8 |4340k| 44 | - | 362 |1478 | 362 |1270 | 113 | 707 |3671 | 0.000000e+00 | -- | Inf
74.87/74.95 c 74.9s| 33900 | 97 |644271 | 18.8 |4348k| 44 | 102 | 362 |1483 | 362 |1270 | 113 | 712 |3671 | 0.000000e+00 | -- | Inf
75.07/75.10 c 75.1s| 34000 | 103 |645876 | 18.8 |4366k| 44 | - | 362 |1487 | 362 |1270 | 113 | 716 |3671 | 0.000000e+00 | -- | Inf
75.18/75.25 c 75.3s| 34100 | 103 |647561 | 18.8 |4365k| 44 | 114 | 362 |1487 | 362 |1270 | 113 | 716 |3671 | 0.000000e+00 | -- | Inf
75.38/75.42 c 75.4s| 34200 | 107 |649478 | 18.8 |4378k| 44 | - | 362 |1487 | 362 |1270 | 113 | 716 |3671 | 0.000000e+00 | -- | Inf
75.47/75.59 c 75.6s| 34300 | 109 |651296 | 18.8 |4382k| 44 | 100 | 362 |1487 | 362 |1270 | 113 | 716 |3671 | 0.000000e+00 | -- | Inf
75.67/75.75 c 75.7s| 34400 | 107 |653044 | 18.8 |4376k| 44 | 99 | 362 |1487 | 362 |1270 | 113 | 716 |3671 | 0.000000e+00 | -- | Inf
75.88/75.92 c 75.9s| 34500 | 107 |654927 | 18.8 |4381k| 44 | - | 362 |1488 | 362 |1270 | 113 | 717 |3671 | 0.000000e+00 | -- | Inf
76.07/76.10 c 76.1s| 34600 | 105 |657041 | 18.8 |4374k| 44 | 135 | 362 |1489 | 362 |1270 | 113 | 718 |3671 | 0.000000e+00 | -- | Inf
76.17/76.28 c 76.3s| 34700 | 105 |659101 | 18.8 |4376k| 44 | - | 362 |1490 | 362 |1270 | 113 | 719 |3671 | 0.000000e+00 | -- | Inf
76.37/76.42 c 76.4s| 34800 | 107 |660534 | 18.8 |4381k| 44 | 109 | 362 |1491 | 362 |1270 | 113 | 720 |3671 | 0.000000e+00 | -- | Inf
76.47/76.59 c 76.6s| 34900 | 105 |662294 | 18.8 |4380k| 44 | - | 362 |1491 | 362 |1270 | 113 | 720 |3671 | 0.000000e+00 | -- | Inf
76.67/76.77 c 76.8s| 35000 | 109 |664312 | 18.8 |4386k| 44 | 110 | 362 |1492 | 362 |1270 | 113 | 721 |3671 | 0.000000e+00 | -- | Inf
76.88/76.97 c 77.0s| 35100 | 115 |666515 | 18.8 |4404k| 44 | - | 362 |1494 | 362 |1270 | 113 | 723 |3671 | 0.000000e+00 | -- | Inf
77.07/77.18 c 77.2s| 35200 | 111 |668906 | 18.8 |4398k| 44 | - | 362 |1494 | 362 |1270 | 113 | 724 |3671 | 0.000000e+00 | -- | Inf
77.27/77.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.27/77.33 c 77.3s| 35300 | 111 |670584 | 18.8 |4412k| 44 | - | 362 |1500 | 0 | 0 | 113 | 730 |3671 | 0.000000e+00 | -- | Inf
77.47/77.53 c 77.5s| 35400 | 109 |672875 | 18.9 |4396k| 44 | 128 | 362 |1504 | 362 |1270 | 113 | 734 |3671 | 0.000000e+00 | -- | Inf
77.67/77.70 c 77.7s| 35500 | 115 |674786 | 18.9 |4415k| 44 | 118 | 362 |1508 | 362 |1270 | 113 | 738 |3671 | 0.000000e+00 | -- | Inf
77.87/77.90 c 77.9s| 35600 | 121 |677096 | 18.9 |4436k| 44 | 112 | 362 |1509 | 362 |1270 | 113 | 739 |3671 | 0.000000e+00 | -- | Inf
77.98/78.08 c 78.1s| 35700 | 119 |679109 | 18.9 |4434k| 44 | - | 362 |1510 | 362 |1270 | 113 | 740 |3671 | 0.000000e+00 | -- | Inf
78.17/78.26 c 78.3s| 35800 | 125 |681157 | 18.9 |4450k| 44 | - | 362 |1513 | 0 | 0 | 113 | 743 |3671 | 0.000000e+00 | -- | Inf
78.37/78.41 c 78.4s| 35900 | 129 |682779 | 18.9 |4461k| 44 | 105 | 362 |1514 | 362 |1270 | 113 | 744 |3671 | 0.000000e+00 | -- | Inf
78.47/78.59 c 78.6s| 36000 | 133 |684797 | 18.9 |4471k| 44 | 96 | 362 |1518 | 362 |1270 | 113 | 749 |3671 | 0.000000e+00 | -- | Inf
78.77/78.83 c 78.8s| 36100 | 139 |687667 | 18.9 |4484k| 44 | 107 | 362 |1519 | 362 |1270 | 113 | 750 |3671 | 0.000000e+00 | -- | Inf
78.97/79.02 c 79.0s| 36200 | 143 |690010 | 18.9 |4502k| 44 | - | 362 |1519 | 362 |1270 | 113 | 750 |3671 | 0.000000e+00 | -- | Inf
79.18/79.21 c 79.2s| 36300 | 155 |692073 | 18.9 |4533k| 44 | - | 362 |1519 | 362 |1270 | 113 | 750 |3671 | 0.000000e+00 | -- | Inf
79.27/79.37 c 79.4s| 36400 | 159 |693927 | 18.9 |4549k| 44 | - | 362 |1519 | 362 |1270 | 113 | 750 |3671 | 0.000000e+00 | -- | Inf
79.47/79.55 c 79.6s| 36500 | 155 |695892 | 18.9 |4532k| 44 | 105 | 362 |1519 | 362 |1270 | 113 | 750 |3671 | 0.000000e+00 | -- | Inf
79.67/79.76 c 79.8s| 36600 | 167 |698402 | 18.9 |4556k| 44 | 122 | 362 |1520 | 362 |1270 | 113 | 751 |3671 | 0.000000e+00 | -- | Inf
79.87/79.96 c 80.0s| 36700 | 171 |700756 | 18.9 |4569k| 44 | 110 | 362 |1520 | 362 |1270 | 113 | 751 |3671 | 0.000000e+00 | -- | Inf
80.07/80.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.07/80.14 c 80.1s| 36800 | 167 |702765 | 18.9 |4567k| 44 | - | 362 |1522 | 362 |1270 | 113 | 753 |3671 | 0.000000e+00 | -- | Inf
80.28/80.32 c 80.3s| 36900 | 167 |704792 | 18.9 |4571k| 44 | - | 362 |1522 | 362 |1270 | 113 | 753 |3671 | 0.000000e+00 | -- | Inf
80.47/80.50 c 80.5s| 37000 | 163 |706788 | 19.0 |4563k| 44 | 119 | 362 |1523 | 362 |1270 | 113 | 754 |3671 | 0.000000e+00 | -- | Inf
80.57/80.67 c 80.7s| 37100 | 161 |708653 | 19.0 |4563k| 44 | - | 362 |1525 | 362 |1270 | 113 | 756 |3671 | 0.000000e+00 | -- | Inf
80.77/80.89 c 80.9s| 37200 | 155 |711314 | 19.0 |4557k| 44 | - | 362 |1525 | 0 | 0 | 113 | 756 |3671 | 0.000000e+00 | -- | Inf
80.97/81.07 c 81.1s| 37300 | 157 |713359 | 19.0 |4553k| 44 | - | 362 |1529 | 362 |1270 | 113 | 760 |3671 | 0.000000e+00 | -- | Inf
81.17/81.26 c 81.3s| 37400 | 161 |715486 | 19.0 |4557k| 44 | 120 | 362 |1532 | 362 |1270 | 113 | 763 |3671 | 0.000000e+00 | -- | Inf
81.37/81.45 c 81.5s| 37500 | 167 |717717 | 19.0 |4573k| 44 | 109 | 362 |1532 | 362 |1270 | 113 | 763 |3671 | 0.000000e+00 | -- | Inf
81.57/81.63 c 81.6s| 37600 | 167 |719746 | 19.0 |4577k| 44 | - | 362 |1532 | 362 |1270 | 113 | 763 |3671 | 0.000000e+00 | -- | Inf
81.67/81.79 c 81.8s| 37700 | 175 |721647 | 19.0 |4604k| 44 | - | 362 |1533 | 0 | 0 | 113 | 764 |3671 | 0.000000e+00 | -- | Inf
81.87/81.95 c 82.0s| 37800 | 173 |723406 | 19.0 |4591k| 44 | - | 362 |1534 | 0 | 0 | 113 | 765 |3671 | 0.000000e+00 | -- | Inf
81.97/82.09 c 82.1s| 37900 | 169 |724926 | 19.0 |4585k| 44 | - | 362 |1534 | 0 | 0 | 113 | 765 |3671 | 0.000000e+00 | -- | Inf
82.17/82.26 c 82.3s| 38000 | 173 |726871 | 19.0 |4597k| 44 | 101 | 362 |1536 | 362 |1270 | 113 | 767 |3671 | 0.000000e+00 | -- | Inf
82.37/82.44 c 82.4s| 38100 | 177 |728824 | 19.0 |4609k| 44 | 119 | 362 |1537 | 362 |1270 | 113 | 768 |3671 | 0.000000e+00 | -- | Inf
82.56/82.61 c 82.6s| 38200 | 175 |730681 | 19.0 |4605k| 44 | 113 | 362 |1538 | 362 |1270 | 113 | 769 |3671 | 0.000000e+00 | -- | Inf
82.67/82.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.67/82.77 c 82.8s| 38300 | 181 |732508 | 19.0 |4616k| 44 | 116 | 362 |1538 | 362 |1270 | 113 | 769 |3671 | 0.000000e+00 | -- | Inf
82.87/82.97 c 83.0s| 38400 | 191 |734715 | 19.0 |4640k| 44 | 101 | 362 |1539 | 362 |1270 | 113 | 770 |3671 | 0.000000e+00 | -- | Inf
83.07/83.14 c 83.1s| 38500 | 193 |736622 | 19.0 |4647k| 44 | - | 362 |1539 | 362 |1270 | 113 | 770 |3671 | 0.000000e+00 | -- | Inf
83.27/83.32 c 83.3s| 38600 | 195 |738622 | 19.0 |4655k| 44 | - | 362 |1541 | 0 | 0 | 113 | 772 |3671 | 0.000000e+00 | -- | Inf
83.36/83.47 c 83.5s| 38700 | 197 |740228 | 19.0 |4661k| 44 | - | 362 |1541 | 362 |1270 | 113 | 772 |3671 | 0.000000e+00 | -- | Inf
83.57/83.64 c 83.6s| 38800 | 201 |742196 | 19.0 |4677k| 44 | - | 362 |1541 | 362 |1270 | 113 | 772 |3671 | 0.000000e+00 | -- | Inf
83.77/83.82 c 83.8s| 38900 | 203 |744153 | 19.0 |4677k| 44 | 107 | 362 |1541 | 362 |1270 | 113 | 772 |3671 | 0.000000e+00 | -- | Inf
83.96/84.01 c 84.0s| 39000 | 209 |746393 | 19.0 |4694k| 44 | 126 | 362 |1542 | 362 |1270 | 113 | 773 |3671 | 0.000000e+00 | -- | Inf
84.07/84.19 c 84.2s| 39100 | 219 |748397 | 19.0 |4722k| 44 | - | 362 |1542 | 362 |1270 | 113 | 773 |3671 | 0.000000e+00 | -- | Inf
84.27/84.35 c 84.4s| 39200 | 221 |750242 | 19.0 |4729k| 44 | 98 | 362 |1544 | 362 |1270 | 113 | 775 |3671 | 0.000000e+00 | -- | Inf
84.47/84.53 c 84.5s| 39300 | 225 |752231 | 19.0 |4745k| 44 | - | 362 |1545 | 362 |1270 | 113 | 776 |3671 | 0.000000e+00 | -- | Inf
84.57/84.69 c 84.7s| 39400 | 229 |753947 | 19.0 |4760k| 44 | - | 362 |1546 | 0 | 0 | 113 | 777 |3671 | 0.000000e+00 | -- | Inf
84.77/84.84 c 84.8s| 39500 | 231 |755560 | 19.0 |4760k| 44 | 102 | 362 |1546 | 362 |1270 | 113 | 777 |3671 | 0.000000e+00 | -- | Inf
84.97/85.03 c 85.0s| 39600 | 231 |757235 | 19.0 |4762k| 44 | 111 | 362 |1548 | 362 |1270 | 113 | 779 |3682 | 0.000000e+00 | -- | Inf
85.17/85.26 c 85.3s| 39700 | 235 |759294 | 19.0 |4768k| 44 | 120 | 362 |1548 | 362 |1270 | 113 | 779 |3694 | 0.000000e+00 | -- | Inf
85.37/85.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.37/85.45 c 85.5s| 39800 | 239 |760968 | 19.0 |4781k| 44 | - | 362 |1548 | 362 |1270 | 113 | 779 |3704 | 0.000000e+00 | -- | Inf
85.57/85.65 c 85.7s| 39900 | 241 |762887 | 19.0 |4783k| 44 | 112 | 362 |1549 | 362 |1270 | 113 | 780 |3713 | 0.000000e+00 | -- | Inf
85.78/85.85 c 85.9s| 40000 | 243 |764808 | 19.0 |4797k| 44 | - | 362 |1551 | 362 |1270 | 113 | 782 |3723 | 0.000000e+00 | -- | Inf
85.97/86.07 c 86.1s| 40100 | 245 |766690 | 19.0 |4803k| 44 | 118 | 362 |1552 | 362 |1270 | 113 | 783 |3738 | 0.000000e+00 | -- | Inf
86.17/86.27 c 86.3s| 40200 | 239 |768384 | 19.0 |4801k| 44 | 115 | 362 |1553 | 362 |1270 | 113 | 784 |3752 | 0.000000e+00 | -- | Inf
86.37/86.48 c 86.5s| 40300 | 235 |770060 | 19.0 |4800k| 44 | - | 362 |1554 | 362 |1270 | 113 | 785 |3768 | 0.000000e+00 | -- | Inf
86.57/86.68 c 86.7s| 40400 | 239 |772260 | 19.0 |4808k| 44 | - | 362 |1554 | 362 |1270 | 113 | 785 |3775 | 0.000000e+00 | -- | Inf
86.87/86.91 c 86.9s| 40500 | 235 |774353 | 19.0 |4804k| 44 | - | 362 |1554 | 362 |1270 | 113 | 785 |3791 | 0.000000e+00 | -- | Inf
87.07/87.12 c 87.1s| 40600 | 231 |775981 | 19.0 |4794k| 44 | - | 362 |1555 | 362 |1270 | 113 | 788 |3809 | 0.000000e+00 | -- | Inf
87.17/87.29 c 87.3s| 40700 | 229 |777521 | 19.0 |4794k| 44 | - | 362 |1558 | 0 | 0 | 113 | 792 |3814 | 0.000000e+00 | -- | Inf
87.37/87.48 c 87.5s| 40800 | 225 |779179 | 19.0 |4788k| 44 | 114 | 362 |1559 | 362 |1270 | 113 | 793 |3826 | 0.000000e+00 | -- | Inf
87.57/87.68 c 87.7s| 40900 | 227 |780976 | 19.0 |4795k| 44 | - | 362 |1559 | 0 | 0 | 113 | 795 |3837 | 0.000000e+00 | -- | Inf
87.88/87.92 c 87.9s| 41000 | 231 |783159 | 19.0 |4809k| 44 | 114 | 362 |1559 | 362 |1270 | 113 | 796 |3852 | 0.000000e+00 | -- | Inf
88.07/88.11 c 88.1s| 41100 | 233 |784994 | 19.0 |4819k| 44 | - | 362 |1562 | 0 | 0 | 113 | 800 |3859 | 0.000000e+00 | -- | Inf
88.27/88.30 c 88.3s| 41200 | 241 |786927 | 19.0 |4834k| 44 | - | 362 |1562 | 362 |1270 | 113 | 801 |3863 | 0.000000e+00 | -- | Inf
88.37/88.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.37/88.47 c 88.5s| 41300 | 245 |788664 | 19.0 |4847k| 44 | - | 362 |1564 | 362 |1270 | 113 | 803 |3866 | 0.000000e+00 | -- | Inf
88.57/88.68 c 88.7s| 41400 | 253 |790637 | 19.0 |4862k| 44 | 140 | 362 |1565 | 362 |1270 | 113 | 808 |3872 | 0.000000e+00 | -- | Inf
88.77/88.83 c 88.8s| 41500 | 259 |792174 | 19.0 |4872k| 44 | 127 | 362 |1564 | 362 |1270 | 113 | 809 |3873 | 0.000000e+00 | -- | Inf
88.98/89.01 c 89.0s| 41600 | 259 |794202 | 19.0 |4875k| 44 | 127 | 362 |1564 | 362 |1270 | 113 | 812 |3876 | 0.000000e+00 | -- | Inf
89.17/89.20 c 89.2s| 41700 | 259 |796150 | 19.0 |4879k| 44 | - | 362 |1566 | 362 |1270 | 113 | 814 |3880 | 0.000000e+00 | -- | Inf
89.37/89.41 c 89.4s| 41800 | 261 |798538 | 19.0 |4886k| 44 | - | 362 |1566 | 362 |1270 | 113 | 817 |3881 | 0.000000e+00 | -- | Inf
89.56/89.63 c 89.6s| 41900 | 269 |800764 | 19.0 |4900k| 44 | - | 362 |1568 | 362 |1270 | 113 | 820 |3887 | 0.000000e+00 | -- | Inf
89.66/89.79 c 89.8s| 42000 | 271 |802503 | 19.0 |4908k| 44 | 106 | 362 |1568 | 362 |1270 | 113 | 822 |3887 | 0.000000e+00 | -- | Inf
89.87/89.97 c 90.0s| 42100 | 267 |804575 | 19.0 |4904k| 44 | - | 362 |1569 | 362 |1270 | 113 | 823 |3887 | 0.000000e+00 | -- | Inf
90.07/90.12 c 90.1s| 42200 | 273 |806095 | 19.0 |4915k| 44 | 120 | 362 |1576 | 362 |1270 | 113 | 830 |3887 | 0.000000e+00 | -- | Inf
90.18/90.28 c 90.3s| 42300 | 273 |807946 | 19.0 |4916k| 44 | 134 | 362 |1578 | 362 |1270 | 113 | 832 |3887 | 0.000000e+00 | -- | Inf
90.36/90.42 c 90.4s| 42400 | 275 |809362 | 19.0 |4923k| 44 | 112 | 362 |1579 | 362 |1270 | 113 | 833 |3887 | 0.000000e+00 | -- | Inf
90.47/90.59 c 90.6s| 42500 | 277 |811317 | 19.0 |4928k| 44 | 107 | 362 |1581 | 362 |1270 | 113 | 835 |3887 | 0.000000e+00 | -- | Inf
90.66/90.74 c 90.7s| 42600 | 271 |812926 | 19.0 |4924k| 44 | - | 362 |1583 | 362 |1270 | 113 | 837 |3887 | 0.000000e+00 | -- | Inf
90.86/90.91 c 90.9s| 42700 | 269 |814788 | 19.0 |4917k| 44 | - | 362 |1585 | 362 |1270 | 113 | 841 |3887 | 0.000000e+00 | -- | Inf
90.97/91.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.97/91.08 c 91.1s| 42800 | 269 |816713 | 19.0 |4917k| 44 | - | 362 |1586 | 362 |1270 | 113 | 843 |3887 | 0.000000e+00 | -- | Inf
91.17/91.25 c 91.3s| 42900 | 271 |818492 | 18.9 |4924k| 44 | - | 362 |1588 | 362 |1270 | 113 | 845 |3887 | 0.000000e+00 | -- | Inf
91.36/91.42 c 91.4s| 43000 | 273 |820456 | 19.0 |4928k| 44 | 105 | 362 |1589 | 362 |1270 | 113 | 847 |3887 | 0.000000e+00 | -- | Inf
91.57/91.63 c 91.6s| 43100 | 277 |822721 | 19.0 |4950k| 44 | - | 362 |1588 | 0 | 0 | 113 | 847 |3887 | 0.000000e+00 | -- | Inf
91.77/91.81 c 91.8s| 43200 | 279 |824677 | 19.0 |4953k| 44 | - | 362 |1588 | 0 | 0 | 113 | 847 |3887 | 0.000000e+00 | -- | Inf
91.87/91.95 c 92.0s| 43300 | 277 |826235 | 19.0 |4943k| 44 | 117 | 362 |1591 | 362 |1270 | 113 | 851 |3887 | 0.000000e+00 | -- | Inf
91.97/92.07 c 92.1s| 43400 | 279 |827390 | 18.9 |4946k| 44 | 114 | 362 |1595 | 362 |1270 | 113 | 856 |3887 | 0.000000e+00 | -- | Inf
92.16/92.22 c 92.2s| 43500 | 279 |829148 | 18.9 |4948k| 44 | - | 362 |1596 | 362 |1270 | 113 | 857 |3887 | 0.000000e+00 | -- | Inf
92.27/92.39 c 92.4s| 43600 | 279 |831117 | 18.9 |4945k| 44 | 116 | 362 |1595 | 362 |1270 | 113 | 860 |3887 | 0.000000e+00 | -- | Inf
92.47/92.55 c 92.5s| 43700 | 281 |832860 | 18.9 |4949k| 44 | 91 | 362 |1597 | 362 |1270 | 113 | 862 |3887 | 0.000000e+00 | -- | Inf
92.67/92.72 c 92.7s| 43800 | 281 |834799 | 18.9 |4949k| 44 | 98 | 362 |1598 | 362 |1270 | 113 | 864 |3887 | 0.000000e+00 | -- | Inf
92.77/92.86 c 92.9s| 43900 | 279 |836377 | 18.9 |4945k| 44 | 134 | 362 |1591 | 362 |1270 | 113 | 869 |3887 | 0.000000e+00 | -- | Inf
92.96/93.04 c 93.0s| 44000 | 281 |838281 | 18.9 |4950k| 44 | 107 | 362 |1591 | 362 |1270 | 113 | 870 |3887 | 0.000000e+00 | -- | Inf
93.07/93.19 c 93.2s| 44100 | 287 |839894 | 18.9 |4965k| 44 | 85 | 362 |1589 | 362 |1270 | 113 | 870 |3887 | 0.000000e+00 | -- | Inf
93.27/93.35 c 93.3s| 44200 | 285 |841580 | 18.9 |4968k| 44 | - | 362 |1591 | 362 |1270 | 113 | 872 |3887 | 0.000000e+00 | -- | Inf
93.48/93.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.48/93.52 c 93.5s| 44300 | 281 |843605 | 18.9 |4957k| 44 | - | 362 |1590 | 362 |1270 | 113 | 872 |3887 | 0.000000e+00 | -- | Inf
93.66/93.72 c 93.7s| 44400 | 281 |845448 | 18.9 |4957k| 44 | 129 | 362 |1595 | 362 |1270 | 113 | 877 |3897 | 0.000000e+00 | -- | Inf
93.86/93.91 c 93.9s| 44500 | 281 |847076 | 18.9 |4959k| 44 | - | 362 |1596 | 362 |1270 | 113 | 881 |3905 | 0.000000e+00 | -- | Inf
94.06/94.13 c 94.1s| 44600 | 285 |849026 | 18.9 |4967k| 44 | - | 362 |1598 | 0 | 0 | 113 | 884 |3917 | 0.000000e+00 | -- | Inf
94.27/94.31 c 94.3s| 44700 | 287 |850859 | 18.9 |4968k| 44 | 100 | 362 |1598 | 362 |1270 | 113 | 886 |3922 | 0.000000e+00 | -- | Inf
94.47/94.50 c 94.5s| 44800 | 289 |852535 | 18.9 |4977k| 44 | - | 362 |1597 | 362 |1270 | 113 | 888 |3933 | 0.000000e+00 | -- | Inf
94.57/94.63 c 94.6s| 44900 | 293 |853803 | 18.9 |4985k| 44 | 98 | 362 |1597 | 362 |1270 | 113 | 888 |3933 | 0.000000e+00 | -- | Inf
94.77/94.80 c 94.8s| 45000 | 293 |855251 | 18.9 |4987k| 44 | 103 | 362 |1594 | 362 |1270 | 113 | 888 |3943 | 0.000000e+00 | -- | Inf
94.97/95.01 c 95.0s| 45100 | 295 |857042 | 18.9 |4995k| 44 | 109 | 362 |1593 | 362 |1270 | 113 | 889 |3958 | 0.000000e+00 | -- | Inf
95.07/95.19 c 95.2s| 45200 | 299 |858612 | 18.9 |5010k| 44 | - | 362 |1592 | 362 |1270 | 113 | 890 |3972 | 0.000000e+00 | -- | Inf
95.27/95.36 c 95.4s| 45300 | 299 |860174 | 18.9 |5008k| 44 | 103 | 362 |1591 | 362 |1270 | 113 | 890 |3983 | 0.000000e+00 | -- | Inf
95.47/95.53 c 95.5s| 45400 | 299 |861682 | 18.9 |5011k| 44 | 108 | 362 |1590 | 362 |1270 | 113 | 890 |3992 | 0.000000e+00 | -- | Inf
95.67/95.72 c 95.7s| 45500 | 303 |863290 | 18.9 |5020k| 44 | 96 | 362 |1590 | 362 |1270 | 113 | 890 |4005 | 0.000000e+00 | -- | Inf
95.77/95.89 c 95.9s| 45600 | 303 |864756 | 18.8 |5024k| 44 | - | 362 |1592 | 362 |1270 | 113 | 892 |4016 | 0.000000e+00 | -- | Inf
95.97/96.08 c 96.1s| 45700 | 303 |866544 | 18.8 |5033k| 44 | - | 362 |1594 | 362 |1270 | 113 | 895 |4024 | 0.000000e+00 | -- | Inf
96.17/96.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.17/96.29 c 96.3s| 45800 | 301 |868423 | 18.8 |5021k| 44 | 111 | 362 |1595 | 362 |1270 | 113 | 898 |4039 | 0.000000e+00 | -- | Inf
96.37/96.49 c 96.5s| 45900 | 299 |870513 | 18.8 |5024k| 44 | - | 362 |1598 | 362 |1270 | 113 | 902 |4045 | 0.000000e+00 | -- | Inf
96.56/96.66 c 96.7s| 46000 | 299 |872043 | 18.8 |5020k| 44 | 109 | 362 |1599 | 362 |1270 | 113 | 904 |4057 | 0.000000e+00 | -- | Inf
96.78/96.86 c 96.9s| 46100 | 297 |873842 | 18.8 |5013k| 44 | 119 | 362 |1600 | 362 |1270 | 113 | 907 |4068 | 0.000000e+00 | -- | Inf
96.96/97.09 c 97.1s| 46200 | 297 |875801 | 18.8 |5020k| 44 | 118 | 362 |1599 | 362 |1270 | 113 | 907 |4086 | 0.000000e+00 | -- | Inf
97.17/97.24 c 97.2s| 46300 | 295 |877257 | 18.8 |5014k| 44 | 130 | 362 |1599 | 362 |1270 | 113 | 911 |4091 | 0.000000e+00 | -- | Inf
97.36/97.44 c 97.4s| 46400 | 303 |879115 | 18.8 |5031k| 44 | - | 362 |1599 | 362 |1270 | 113 | 914 |4100 | 0.000000e+00 | -- | Inf
97.56/97.62 c 97.6s| 46500 | 313 |881003 | 18.8 |5058k| 44 | 114 | 362 |1601 | 362 |1270 | 113 | 916 |4103 | 0.000000e+00 | -- | Inf
97.77/97.81 c 97.8s| 46600 | 317 |882839 | 18.8 |5070k| 44 | 110 | 362 |1599 | 362 |1270 | 113 | 916 |4107 | 0.000000e+00 | -- | Inf
97.97/98.00 c 98.0s| 46700 | 321 |884786 | 18.8 |5082k| 44 | 126 | 362 |1599 | 362 |1270 | 113 | 917 |4113 | 0.000000e+00 | -- | Inf
98.16/98.20 c 98.2s| 46800 | 321 |886820 | 18.8 |5085k| 44 | 124 | 362 |1600 | 362 |1270 | 113 | 921 |4116 | 0.000000e+00 | -- | Inf
98.27/98.35 c 98.3s| 46900 | 323 |888293 | 18.8 |5092k| 44 | 114 | 362 |1599 | 362 |1270 | 113 | 928 |4118 | 0.000000e+00 | -- | Inf
98.47/98.50 c 98.5s| 47000 | 321 |889897 | 18.8 |5096k| 44 | - | 362 |1602 | 362 |1270 | 113 | 931 |4118 | 0.000000e+00 | -- | Inf
98.56/98.66 c 98.7s| 47100 | 323 |891627 | 18.8 |5097k| 44 | 119 | 362 |1609 | 362 |1270 | 113 | 939 |4118 | 0.000000e+00 | -- | Inf
98.77/98.82 c 98.8s| 47200 | 323 |893315 | 18.8 |5100k| 44 | 137 | 362 |1609 | 362 |1270 | 113 | 941 |4118 | 0.000000e+00 | -- | Inf
98.87/98.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.87/98.96 c 99.0s| 47300 | 325 |894708 | 18.8 |5105k| 44 | 127 | 362 |1608 | 362 |1270 | 113 | 945 |4118 | 0.000000e+00 | -- | Inf
99.07/99.11 c 99.1s| 47400 | 323 |896286 | 18.8 |5103k| 44 | - | 362 |1610 | 0 | 0 | 113 | 947 |4118 | 0.000000e+00 | -- | Inf
99.16/99.28 c 99.3s| 47500 | 329 |898192 | 18.8 |5120k| 44 | - | 362 |1610 | 0 | 0 | 113 | 948 |4118 | 0.000000e+00 | -- | Inf
99.37/99.46 c 99.5s| 47600 | 335 |900131 | 18.8 |5129k| 44 | 122 | 362 |1612 | 362 |1270 | 113 | 951 |4118 | 0.000000e+00 | -- | Inf
99.56/99.64 c 99.6s| 47700 | 337 |902178 | 18.8 |5134k| 44 | 128 | 362 |1612 | 362 |1270 | 113 | 951 |4118 | 0.000000e+00 | -- | Inf
99.77/99.82 c 99.8s| 47800 | 341 |904071 | 18.8 |5144k| 44 | 103 | 362 |1615 | 362 |1270 | 113 | 956 |4118 | 0.000000e+00 | -- | Inf
99.87/99.94 c 99.9s| 47900 | 343 |905401 | 18.8 |5152k| 44 | 132 | 362 |1614 | 362 |1270 | 113 | 962 |4118 | 0.000000e+00 | -- | Inf
100.07/100.12 c 100s| 48000 | 339 |907422 | 18.8 |5147k| 44 | - | 362 |1608 | 362 |1270 | 113 | 964 |4118 | 0.000000e+00 | -- | Inf
100.27/100.30 c 100s| 48100 | 341 |909324 | 18.8 |5145k| 44 | - | 362 |1607 | 0 | 0 | 113 | 969 |4118 | 0.000000e+00 | -- | Inf
100.37/100.46 c 100s| 48200 | 341 |911106 | 18.8 |5143k| 44 | 109 | 362 |1603 | 362 |1270 | 113 | 974 |4118 | 0.000000e+00 | -- | Inf
100.56/100.60 c 101s| 48300 | 341 |912523 | 18.8 |5142k| 44 | 137 | 362 |1596 | 362 |1270 | 113 | 975 |4118 | 0.000000e+00 | -- | Inf
100.77/100.80 c 101s| 48400 | 343 |914901 | 18.8 |5147k| 44 | 108 | 362 |1595 | 362 |1270 | 113 | 978 |4118 | 0.000000e+00 | -- | Inf
100.87/100.95 c 101s| 48500 | 345 |916431 | 18.8 |5155k| 44 | 132 | 362 |1598 | 362 |1270 | 113 | 982 |4118 | 0.000000e+00 | -- | Inf
100.96/101.09 c 101s| 48600 | 343 |917845 | 18.8 |5160k| 44 | - | 362 |1595 | 0 | 0 | 113 | 986 |4118 | 0.000000e+00 | -- | Inf
101.17/101.22 c 101s| 48700 | 343 |919217 | 18.8 |5156k| 44 | - | 362 |1595 | 0 | 0 | 113 | 994 |4118 | 0.000000e+00 | -- | Inf
101.27/101.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.27/101.38 c 101s| 48800 | 347 |920987 | 18.8 |5158k| 44 | 109 | 362 |1595 | 362 |1270 | 113 | 996 |4118 | 0.000000e+00 | -- | Inf
101.47/101.55 c 102s| 48900 | 345 |922966 | 18.8 |5167k| 44 | - | 362 |1597 | 0 | 0 | 113 | 998 |4118 | 0.000000e+00 | -- | Inf
101.67/101.71 c 102s| 49000 | 345 |924702 | 18.8 |5160k| 44 | 106 | 362 |1599 | 362 |1270 | 113 |1000 |4118 | 0.000000e+00 | -- | Inf
101.76/101.85 c 102s| 49100 | 345 |926145 | 18.7 |5159k| 44 | 123 | 362 |1598 | 362 |1270 | 113 |1002 |4118 | 0.000000e+00 | -- | Inf
101.97/102.02 c 102s| 49200 | 343 |928087 | 18.8 |5156k| 44 | 125 | 362 |1599 | 362 |1270 | 113 |1004 |4118 | 0.000000e+00 | -- | Inf
102.07/102.18 c 102s| 49300 | 341 |929693 | 18.7 |5158k| 44 | - | 362 |1600 | 0 | 0 | 113 |1008 |4118 | 0.000000e+00 | -- | Inf
102.27/102.34 c 102s| 49400 | 337 |931408 | 18.7 |5148k| 44 | - | 362 |1598 | 362 |1270 | 113 |1012 |4118 | 0.000000e+00 | -- | Inf
102.47/102.51 c 103s| 49500 | 335 |933189 | 18.7 |5144k| 44 | - | 362 |1600 | 0 | 0 | 113 |1015 |4118 | 0.000000e+00 | -- | Inf
102.57/102.64 c 103s| 49600 | 335 |934482 | 18.7 |5145k| 44 | - | 362 |1596 | 0 | 0 | 113 |1017 |4118 | 0.000000e+00 | -- | Inf
102.66/102.79 c 103s| 49700 | 333 |936082 | 18.7 |5134k| 44 | - | 362 |1598 | 362 |1270 | 113 |1023 |4118 | 0.000000e+00 | -- | Inf
102.86/102.96 c 103s| 49800 | 337 |937954 | 18.7 |5145k| 44 | - | 362 |1598 | 362 |1270 | 113 |1023 |4118 | 0.000000e+00 | -- | Inf
103.07/103.13 c 103s| 49900 | 337 |939703 | 18.7 |5145k| 44 | 123 | 362 |1599 | 362 |1270 | 113 |1025 |4118 | 0.000000e+00 | -- | Inf
103.28/103.34 c 103s| 50000 | 337 |941727 | 18.7 |5149k| 44 | - | 362 |1599 | 362 |1270 | 113 |1025 |4129 | 0.000000e+00 | -- | Inf
103.57/103.60 c 104s| 50100 | 337 |944112 | 18.7 |5150k| 44 | - | 362 |1600 | 362 |1270 | 113 |1026 |4142 | 0.000000e+00 | -- | Inf
103.76/103.81 c 104s| 50200 | 341 |945964 | 18.7 |5166k| 44 | - | 362 |1600 | 0 | 0 | 113 |1027 |4151 | 0.000000e+00 | -- | Inf
103.87/103.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.87/103.94 c 104s| 50300 | 347 |947369 | 18.7 |5168k| 44 | 131 | 362 |1600 | 362 |1270 | 113 |1031 |4151 | 0.000000e+00 | -- | Inf
104.06/104.15 c 104s| 50400 | 349 |949017 | 18.7 |5175k| 44 | - | 362 |1602 | 362 |1270 | 113 |1034 |4169 | 0.000000e+00 | -- | Inf
104.27/104.35 c 104s| 50500 | 349 |950780 | 18.7 |5174k| 44 | 117 | 362 |1605 | 362 |1270 | 113 |1038 |4179 | 0.000000e+00 | -- | Inf
104.47/104.56 c 105s| 50600 | 353 |952631 | 18.7 |5185k| 44 | - | 362 |1599 | 362 |1270 | 113 |1042 |4188 | 0.000000e+00 | -- | Inf
104.67/104.75 c 105s| 50700 | 355 |954274 | 18.7 |5196k| 44 | - | 362 |1598 | 362 |1270 | 113 |1046 |4200 | 0.000000e+00 | -- | Inf
104.86/104.92 c 105s| 50800 | 355 |956134 | 18.7 |5193k| 44 | 113 | 362 |1595 | 362 |1270 | 113 |1047 |4200 | 0.000000e+00 | -- | Inf
105.07/105.13 c 105s| 50900 | 353 |957999 | 18.7 |5192k| 44 | - | 362 |1598 | 362 |1270 | 113 |1051 |4214 | 0.000000e+00 | -- | Inf
105.26/105.30 c 105s| 51000 | 355 |959629 | 18.7 |5199k| 44 | - | 362 |1597 | 362 |1270 | 113 |1053 |4219 | 0.000000e+00 | -- | Inf
105.47/105.53 c 106s| 51100 | 355 |961688 | 18.7 |5195k| 44 | 113 | 362 |1596 | 362 |1270 | 113 |1053 |4236 | 0.000000e+00 | -- | Inf
105.67/105.71 c 106s| 51200 | 357 |963386 | 18.7 |5199k| 44 | 115 | 362 |1595 | 362 |1270 | 113 |1053 |4246 | 0.000000e+00 | -- | Inf
105.87/105.90 c 106s| 51300 | 357 |964950 | 18.7 |5199k| 44 | 111 | 362 |1593 | 362 |1270 | 113 |1055 |4256 | 0.000000e+00 | -- | Inf
105.96/106.08 c 106s| 51400 | 355 |966619 | 18.7 |5199k| 44 | - | 362 |1593 | 362 |1270 | 113 |1060 |4267 | 0.000000e+00 | -- | Inf
106.27/106.34 c 106s| 51500 | 357 |968974 | 18.7 |5200k| 44 | - | 362 |1591 | 362 |1270 | 113 |1063 |4281 | 0.000000e+00 | -- | Inf
106.58/106.61 c 107s| 51600 | 359 |971617 | 18.7 |5200k| 44 | 120 | 362 |1589 | 362 |1270 | 113 |1063 |4295 | 0.000000e+00 | -- | Inf
106.67/106.78 c 107s| 51700 | 361 |973097 | 18.7 |5205k| 44 | 124 | 362 |1593 | 362 |1270 | 113 |1069 |4303 | 0.000000e+00 | -- | Inf
106.87/106.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.87/106.97 c 107s| 51800 | 361 |975004 | 18.7 |5210k| 44 | - | 362 |1593 | 362 |1270 | 113 |1070 |4311 | 0.000000e+00 | -- | Inf
107.07/107.16 c 107s| 51900 | 371 |976935 | 18.7 |5228k| 44 | - | 362 |1594 | 362 |1270 | 113 |1071 |4313 | 0.000000e+00 | -- | Inf
107.27/107.35 c 107s| 52000 | 371 |978995 | 18.7 |5231k| 44 | 113 | 362 |1595 | 362 |1270 | 113 |1072 |4313 | 0.000000e+00 | -- | Inf
107.47/107.57 c 108s| 52100 | 371 |981470 | 18.7 |5239k| 44 | - | 362 |1596 | 0 | 0 | 113 |1073 |4313 | 0.000000e+00 | -- | Inf
107.68/107.73 c 108s| 52200 | 385 |983216 | 18.7 |5264k| 44 | - | 362 |1601 | 362 |1270 | 113 |1078 |4313 | 0.000000e+00 | -- | Inf
107.86/107.93 c 108s| 52300 | 385 |985430 | 18.7 |5270k| 44 | - | 362 |1601 | 362 |1270 | 113 |1078 |4313 | 0.000000e+00 | -- | Inf
108.07/108.11 c 108s| 52400 | 379 |987517 | 18.7 |5254k| 44 | - | 362 |1601 | 362 |1270 | 113 |1078 |4313 | 0.000000e+00 | -- | Inf
108.17/108.25 c 108s| 52500 | 381 |988877 | 18.7 |5255k| 44 | 120 | 362 |1597 | 362 |1270 | 113 |1080 |4313 | 0.000000e+00 | -- | Inf
108.36/108.41 c 108s| 52600 | 379 |990596 | 18.7 |5252k| 44 | 132 | 362 |1598 | 362 |1270 | 113 |1083 |4313 | 0.000000e+00 | -- | Inf
108.47/108.59 c 109s| 52700 | 379 |992522 | 18.7 |5252k| 44 | 134 | 362 |1598 | 362 |1270 | 113 |1088 |4313 | 0.000000e+00 | -- | Inf
108.67/108.75 c 109s| 52800 | 379 |994152 | 18.7 |5259k| 44 | - | 362 |1598 | 362 |1270 | 113 |1093 |4313 | 0.000000e+00 | -- | Inf
108.77/108.89 c 109s| 52900 | 379 |995670 | 18.7 |5259k| 44 | - | 362 |1599 | 362 |1270 | 113 |1098 |4313 | 0.000000e+00 | -- | Inf
109.07/109.11 c 109s| 53000 | 379 |998222 | 18.7 |5256k| 44 | 115 | 362 |1598 | 362 |1270 | 113 |1099 |4313 | 0.000000e+00 | -- | Inf
109.16/109.26 c 109s| 53100 | 381 |999929 | 18.7 |5260k| 44 | 121 | 362 |1593 | 362 |1270 | 113 |1100 |4313 | 0.000000e+00 | -- | Inf
109.37/109.45 c 109s| 53200 | 379 | 1002k| 18.7 |5255k| 44 | 129 | 362 |1593 | 362 |1270 | 113 |1105 |4313 | 0.000000e+00 | -- | Inf
109.47/109.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.47/109.58 c 110s| 53300 | 381 | 1003k| 18.7 |5262k| 44 | 95 | 362 |1598 | 362 |1270 | 113 |1113 |4313 | 0.000000e+00 | -- | Inf
109.67/109.73 c 110s| 53400 | 377 | 1004k| 18.7 |5258k| 44 | - | 362 |1598 | 362 |1270 | 113 |1115 |4313 | 0.000000e+00 | -- | Inf
109.77/109.88 c 110s| 53500 | 377 | 1006k| 18.7 |5251k| 44 | 140 | 362 |1598 | 362 |1270 | 113 |1116 |4313 | 0.000000e+00 | -- | Inf
109.97/110.03 c 110s| 53600 | 377 | 1007k| 18.7 |5258k| 44 | 129 | 362 |1599 | 362 |1270 | 113 |1118 |4313 | 0.000000e+00 | -- | Inf
110.17/110.20 c 110s| 53700 | 379 | 1009k| 18.7 |5268k| 44 | - | 362 |1597 | 362 |1270 | 113 |1119 |4313 | 0.000000e+00 | -- | Inf
110.27/110.36 c 110s| 53800 | 381 | 1011k| 18.7 |5274k| 44 | - | 362 |1601 | 0 | 0 | 113 |1125 |4313 | 0.000000e+00 | -- | Inf
110.46/110.54 c 111s| 53900 | 383 | 1013k| 18.7 |5275k| 44 | - | 362 |1601 | 362 |1270 | 113 |1128 |4313 | 0.000000e+00 | -- | Inf
110.67/110.72 c 111s| 54000 | 387 | 1015k| 18.7 |5288k| 44 | - | 362 |1602 | 362 |1270 | 113 |1129 |4313 | 0.000000e+00 | -- | Inf
110.87/110.91 c 111s| 54100 | 389 | 1017k| 18.7 |5297k| 44 | - | 362 |1602 | 362 |1270 | 113 |1129 |4313 | 0.000000e+00 | -- | Inf
110.97/111.08 c 111s| 54200 | 387 | 1019k| 18.7 |5283k| 44 | 103 | 362 |1599 | 362 |1270 | 113 |1131 |4313 | 0.000000e+00 | -- | Inf
111.16/111.23 c 111s| 54300 | 385 | 1021k| 18.7 |5285k| 44 | - | 362 |1604 | 0 | 0 | 113 |1136 |4313 | 0.000000e+00 | -- | Inf
111.36/111.40 c 111s| 54400 | 387 | 1022k| 18.7 |5284k| 44 | 141 | 362 |1599 | 362 |1270 | 113 |1136 |4313 | 0.000000e+00 | -- | Inf
111.47/111.58 c 112s| 54500 | 387 | 1024k| 18.7 |5296k| 44 | - | 362 |1592 | 0 | 0 | 113 |1138 |4313 | 0.000000e+00 | -- | Inf
111.66/111.71 c 112s| 54600 | 389 | 1026k| 18.7 |5293k| 44 | - | 362 |1589 | 362 |1270 | 113 |1140 |4313 | 0.000000e+00 | -- | Inf
111.77/111.85 c 112s| 54700 | 387 | 1027k| 18.7 |5285k| 44 | - | 362 |1589 | 362 |1270 | 113 |1143 |4313 | 0.000000e+00 | -- | Inf
111.97/112.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.97/112.01 c 112s| 54800 | 387 | 1029k| 18.7 |5287k| 44 | - | 362 |1592 | 362 |1270 | 113 |1146 |4313 | 0.000000e+00 | -- | Inf
112.18/112.21 c 112s| 54900 | 391 | 1031k| 18.7 |5294k| 44 | 129 | 362 |1594 | 362 |1270 | 113 |1150 |4313 | 0.000000e+00 | -- | Inf
112.26/112.36 c 112s| 55000 | 395 | 1033k| 18.7 |5302k| 44 | 113 | 362 |1595 | 362 |1270 | 113 |1153 |4313 | 0.000000e+00 | -- | Inf
112.47/112.57 c 113s| 55100 | 395 | 1035k| 18.7 |5303k| 44 | 114 | 362 |1596 | 362 |1270 | 113 |1155 |4322 | 0.000000e+00 | -- | Inf
112.67/112.78 c 113s| 55200 | 397 | 1037k| 18.7 |5310k| 44 | - | 362 |1597 | 0 | 0 | 113 |1156 |4333 | 0.000000e+00 | -- | Inf
112.87/112.92 c 113s| 55300 | 397 | 1038k| 18.7 |5321k| 44 | - | 362 |1593 | 0 | 0 | 113 |1158 |4333 | 0.000000e+00 | -- | Inf
113.06/113.17 c 113s| 55400 | 399 | 1041k| 18.7 |5312k| 44 | 132 | 362 |1588 | 362 |1270 | 113 |1159 |4342 | 0.000000e+00 | -- | Inf
113.27/113.37 c 113s| 55500 | 399 | 1042k| 18.7 |5314k| 44 | - | 362 |1583 | 362 |1270 | 113 |1163 |4353 | 0.000000e+00 | -- | Inf
113.47/113.58 c 114s| 55600 | 401 | 1044k| 18.7 |5322k| 44 | - | 362 |1583 | 362 |1270 | 113 |1163 |4362 | 0.000000e+00 | -- | Inf
113.76/113.80 c 114s| 55700 | 405 | 1046k| 18.7 |5332k| 44 | - | 362 |1584 | 0 | 0 | 113 |1164 |4373 | 0.000000e+00 | -- | Inf
113.97/114.02 c 114s| 55800 | 411 | 1048k| 18.7 |5347k| 44 | - | 362 |1583 | 362 |1270 | 113 |1165 |4383 | 0.000000e+00 | -- | Inf
114.17/114.25 c 114s| 55900 | 411 | 1050k| 18.7 |5345k| 47 | 138 | 362 |1586 | 362 |1270 | 113 |1168 |4396 | 0.000000e+00 | -- | Inf
114.37/114.42 c 114s| 56000 | 411 | 1052k| 18.7 |5351k| 47 | - | 362 |1588 | 362 |1270 | 113 |1170 |4400 | 0.000000e+00 | -- | Inf
114.57/114.63 c 115s| 56100 | 419 | 1054k| 18.7 |5366k| 47 | 109 | 362 |1592 | 362 |1270 | 113 |1174 |4414 | 0.000000e+00 | -- | Inf
114.76/114.85 c 115s| 56200 | 421 | 1056k| 18.7 |5375k| 47 | 125 | 362 |1593 | 362 |1270 | 113 |1175 |4423 | 0.000000e+00 | -- | Inf
114.97/115.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.97/115.04 c 115s| 56300 | 419 | 1058k| 18.7 |5380k| 47 | - | 362 |1592 | 362 |1270 | 113 |1176 |4433 | 0.000000e+00 | -- | Inf
115.17/115.26 c 115s| 56400 | 419 | 1060k| 18.7 |5381k| 47 | - | 362 |1592 | 362 |1270 | 113 |1179 |4447 | 0.000000e+00 | -- | Inf
115.37/115.47 c 115s| 56500 | 415 | 1062k| 18.7 |5370k| 47 | - | 362 |1595 | 362 |1270 | 113 |1185 |4461 | 0.000000e+00 | -- | Inf
115.57/115.66 c 116s| 56600 | 415 | 1063k| 18.7 |5368k| 47 | 127 | 362 |1595 | 362 |1270 | 113 |1188 |4471 | 0.000000e+00 | -- | Inf
115.86/115.90 c 116s| 56700 | 413 | 1066k| 18.7 |5365k| 47 | 124 | 362 |1596 | 362 |1270 | 113 |1190 |4482 | 0.000000e+00 | -- | Inf
115.97/116.05 c 116s| 56800 | 415 | 1067k| 18.7 |5369k| 47 | 144 | 362 |1598 | 362 |1270 | 113 |1193 |4486 | 0.000000e+00 | -- | Inf
116.17/116.26 c 116s| 56900 | 411 | 1069k| 18.7 |5372k| 47 | - | 362 |1599 | 362 |1270 | 113 |1197 |4490 | 0.000000e+00 | -- | Inf
116.37/116.45 c 116s| 57000 | 415 | 1071k| 18.7 |5379k| 47 | 117 | 362 |1601 | 362 |1270 | 113 |1201 |4491 | 0.000000e+00 | -- | Inf
116.67/116.79 c 117s| 57100 | 425 | 1073k| 18.7 |5402k| 47 | 11 | 362 |1597 | 362 |1270 | 113 |1207 |4546 | 0.000000e+00 | -- | Inf
116.67/116.79 c * 117s| 57102 | 0 | 1073k| 18.7 |4113k| 47 | - | 362 |1597 | 362 |1270 | 113 |1207 |4546 | 0.000000e+00 | 0.000000e+00 | 0.00%
116.67/116.79 c
116.67/116.79 c SCIP Status : problem is solved [optimal solution found]
116.67/116.79 c Solving Time (sec) : 116.79
116.67/116.79 c Solving Nodes : 57102
116.67/116.79 c Primal Bound : +0.00000000000000e+00 (1 solutions)
116.67/116.79 c Dual Bound : +0.00000000000000e+00
116.67/116.79 c Gap : 0.00 %
116.67/116.79 s SATISFIABLE
116.67/116.79 v -x369 x370 x367 -x368 x365 -x366 x363 -x364 -x361 x362 -x359 x360 -x357 x358 -x355 -x356 -x353 -x354 -x351 -x352 -x349 -x350 -x347
116.67/116.79 v -x348 x345 -x346 x343 -x344 x341 -x342 x339 -x340 x337 -x338 x335 -x336 x333 -x334 x331 -x332 -x329 -x330 -x327 x328 -x325
116.67/116.79 v x326 -x323 x324 -x321 x322 -x319 x320 -x317 x318 -x315 x316 -x313 x314 -x311 x312 -x309 x310 -x307 -x308 -x305 -x306 -x303
116.67/116.79 v -x304 -x301 -x302 x299 -x300 x297 -x298 x295 -x296 x293 -x294 -x291 x292 -x289 x290 -x287 x288 x285 -x286 x283 -x284 x281 -x282
116.67/116.79 v -x279 x280 x277 -x278 x275 -x276 x273 -x274 -x271 x272 -x269 x270 -x267 x268 -x265 x266 x263 -x264 x261 -x262 x259 -x260 x257
116.67/116.79 v -x258 x255 -x256 x253 -x254 -x251 x252 -x249 x250 -x247 x248 -x245 x246 -x243 x244 -x242 -x240 -x238 -x236 x234 x232 x230
116.67/116.79 v -x228 -x226 -x224 -x222 -x220 -x218 -x216 -x214 x212 x210 x208 -x206 -x204 -x202 -x200 x198 -x196 -x194 -x192 -x190 x188 x186
116.67/116.79 v -x184 -x182 -x180 -x178 x176 x174 -x172 -x170 -x168 -x166 x164 -x162 -x160 -x158 -x156 x154 x152 x150 -x148 -x146 -x144 -x142
116.67/116.79 v -x140 -x138 -x136 -x134 -x132 x130 x128 -x126 -x124 -x122 -x120 -x118 -x116 -x114 -x112 -x110 -x108 -x106 -x104 -x102 -x100
116.67/116.79 v -x98 -x96 -x94 -x92 -x90 -x88 -x86 -x84 -x82 -x80 -x78 -x76 -x74 -x72 -x70 -x68 -x66 -x64 -x62 -x60 -x58 -x56 -x54 -x52 -x50
116.67/116.79 v -x48 -x46 -x44 -x42 -x40 -x38 -x36 -x34 -x32 -x30 -x28 -x26 -x24 -x22 -x20 -x18 -x16 -x14 -x12 -x10 -x8 -x6 -x4 -x2 -x241 -x239
116.67/116.79 v -x237 -x235 -x233 -x231 -x229 -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209 -x207 -x205 -x203 -x201 -x199
116.67/116.79 v -x197 -x195 -x193 -x191 -x189 -x187 -x185 -x183 -x181 -x179 -x177 -x175 -x173 -x171 -x169 -x167 -x165 -x163 -x161 -x159 -x157
116.67/116.79 v -x155 -x153 -x151 -x149 -x147 -x145 -x143 -x141 -x139 -x137 -x135 -x133 -x131 -x129 -x127 -x125 -x123 -x121 -x119 -x117 -x115
116.67/116.79 v -x113 -x111 -x109 -x107 -x105 -x103 -x101 -x99 -x97 x95 x93 -x91 -x89 -x87 -x85 -x83 -x81 -x79 -x77 -x75 x73 x71 x69 -x67 -x65
116.67/116.79 v -x63 -x61 x59 -x57 -x55 -x53 x51 x49 x47 x45 -x43 -x41 -x39 x37 -x35 -x33 -x31 -x29 x27 x25 x23 -x21 -x19 -x17 x15 -x13 -x11
116.67/116.79 v -x9 -x7 -x5 x3 x1
116.67/116.79 c SCIP Status : problem is solved [optimal solution found]
116.67/116.79 c Total Time : 116.79
116.67/116.79 c solving : 116.79
116.67/116.79 c presolving : 0.05 (included in solving)
116.67/116.79 c reading : 0.00 (included in solving)
116.67/116.79 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
116.67/116.79 c Original Problem :
116.67/116.79 c Problem name : HOME/instance-3692805-1338017505.opb
116.67/116.79 c Variables : 370 (370 binary, 0 integer, 0 implicit integer, 0 continuous)
116.67/116.79 c Constraints : 557 initial, 557 maximal
116.67/116.79 c Objective sense : minimize
116.67/116.79 c Presolved Problem :
116.67/116.79 c Problem name : t_HOME/instance-3692805-1338017505.opb
116.67/116.79 c Variables : 362 (362 binary, 0 integer, 0 implicit integer, 0 continuous)
116.67/116.79 c Constraints : 1259 initial, 1617 maximal
116.67/116.79 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
116.67/116.79 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
116.67/116.79 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
116.67/116.79 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
116.67/116.79 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
116.67/116.79 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
116.67/116.79 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
116.67/116.79 c gateextraction : 0.00 0.00 0 0 0 0 0 6 2 0 0
116.67/116.79 c implics : 0.00 0.00 0 8 0 0 0 0 0 0 0
116.67/116.79 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
116.67/116.79 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
116.67/116.79 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
116.67/116.79 c knapsack : 0.01 0.00 0 0 0 0 0 8 726 726 1452
116.67/116.79 c setppc : 0.01 0.00 0 0 0 0 0 12 0 0 0
116.67/116.79 c and : 0.00 0.00 0 0 0 0 0 0 0 0 0
116.67/116.79 c linear : 0.01 0.00 0 0 0 0 0 0 0 0 0
116.67/116.79 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
116.67/116.79 c root node : - - 0 - - 0 - - - - -
116.67/116.79 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
116.67/116.79 c integral : 0 0 0 0 29744 0 6 0 313 1531 0 0 57526
116.67/116.79 c knapsack : 236 236 6 146201 1 0 3 32933 5500 177174 0 0 0
116.67/116.79 c setppc : 903 903 6 140701 1 0 1 137657 789 469639 0 0 0
116.67/116.79 c and : 2 2 22755 105565 0 0 0 0 0 1603 106 0 0
116.67/116.79 c logicor : 118+ 476 6 101733 1 0 0 163 76 68904 0 0 0
116.67/116.79 c countsols : 0 0 0 0 1 0 2 0 0 0 0 0 0
116.67/116.79 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
116.67/116.79 c integral : 18.87 0.00 0.00 0.00 18.87 0.00 0.00 0.00
116.67/116.79 c knapsack : 0.80 0.00 0.01 0.74 0.00 0.00 0.00 0.05
116.67/116.79 c setppc : 1.18 0.00 0.00 1.07 0.00 0.00 0.00 0.12
116.67/116.79 c and : 0.11 0.00 0.02 0.09 0.00 0.00 0.00 0.00
116.67/116.79 c logicor : 0.34 0.00 0.00 0.34 0.00 0.00 0.00 0.00
116.67/116.79 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
116.67/116.79 c Propagators : #Propagate #ResProp Cutoffs DomReds
116.67/116.79 c rootredcost : 0 0 0 0
116.67/116.79 c pseudoobj : 0 0 0 0
116.67/116.79 c vbounds : 0 0 0 0
116.67/116.79 c redcost : 29855 0 0 0
116.67/116.79 c probing : 0 0 0 0
116.67/116.79 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
116.67/116.79 c rootredcost : 0.12 0.00 0.00 0.12 0.00
116.67/116.79 c pseudoobj : 0.14 0.00 0.00 0.14 0.00
116.67/116.79 c vbounds : 0.11 0.00 0.00 0.11 0.00
116.67/116.79 c redcost : 0.16 0.00 0.00 0.16 0.00
116.67/116.79 c probing : 0.01 0.00 0.01 0.00 0.00
116.67/116.79 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
116.67/116.79 c propagation : 0.37 1226 1162 8059 72.9 0 0.0 -
116.67/116.79 c infeasible LP : 1.49 22192 0 0 0.0 0 0.0 0
116.67/116.79 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
116.67/116.79 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
116.67/116.79 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
116.67/116.79 c applied globally : - - - 1207 10.7 - - -
116.67/116.79 c applied locally : - - - 0 0.0 - - -
116.67/116.79 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
116.67/116.79 c cut pool : 0.00 5 - - 18 - (maximal pool size: 99)
116.67/116.79 c closecuts : 0.00 0.00 0 0 0 0 0
116.67/116.79 c impliedbounds : 0.00 0.00 6 0 0 2 0
116.67/116.79 c intobj : 0.00 0.00 0 0 0 0 0
116.67/116.79 c gomory : 0.40 0.00 6 0 0 50 0
116.67/116.79 c cgmip : 0.00 0.00 0 0 0 0 0
116.67/116.79 c strongcg : 0.30 0.00 6 0 0 3000 0
116.67/116.79 c cmir : 0.02 0.00 6 0 0 0 0
116.67/116.79 c flowcover : 0.02 0.00 6 0 0 2 0
116.67/116.79 c clique : 0.01 0.00 1 0 0 0 0
116.67/116.79 c zerohalf : 0.00 0.00 0 0 0 0 0
116.67/116.79 c mcf : 0.00 0.00 1 0 0 0 0
116.67/116.79 c oddcycle : 0.00 0.00 0 0 0 0 0
116.67/116.79 c rapidlearning : 0.00 0.00 0 0 0 0 0
116.67/116.79 c Pricers : ExecTime SetupTime Calls Vars
116.67/116.79 c problem variables: 0.00 - 0 0
116.67/116.79 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
116.67/116.79 c relpscost : 18.80 0.00 29743 313 1531 0 0 57526
116.67/116.79 c pscost : 0.00 0.00 0 0 0 0 0 0
116.67/116.79 c inference : 0.00 0.00 0 0 0 0 0 0
116.67/116.79 c mostinf : 0.00 0.00 0 0 0 0 0 0
116.67/116.79 c leastinf : 0.00 0.00 0 0 0 0 0 0
116.67/116.79 c fullstrong : 0.00 0.00 0 0 0 0 0 0
116.67/116.79 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
116.67/116.79 c random : 0.00 0.00 0 0 0 0 0 0
116.67/116.79 c Primal Heuristics : ExecTime SetupTime Calls Found
116.67/116.79 c LP solutions : 0.00 - - 1
116.67/116.79 c pseudo solutions : 0.00 - - 0
116.67/116.79 c oneopt : 0.07 0.00 0 0
116.67/116.79 c crossover : 0.05 0.00 0 0
116.67/116.79 c guideddiving : 0.01 0.00 0 0
116.67/116.79 c intshifting : 0.00 0.00 0 0
116.67/116.79 c veclendiving : 0.20 0.00 42 0
116.67/116.79 c linesearchdiving : 0.27 0.00 42 0
116.67/116.79 c feaspump : 1.04 0.00 21 0
116.67/116.79 c coefdiving : 0.21 0.00 43 0
116.67/116.79 c pscostdiving : 0.18 0.00 43 0
116.67/116.79 c fracdiving : 0.17 0.00 43 0
116.67/116.79 c objpscostdiving : 0.12 0.00 22 0
116.67/116.79 c rootsoldiving : 0.24 0.00 22 0
116.67/116.79 c smallcard : 0.00 0.00 0 0
116.67/116.79 c trivial : 0.00 0.00 2 0
116.67/116.79 c shiftandpropagate: 0.01 0.00 1 0
116.67/116.79 c simplerounding : 0.02 0.00 0 0
116.67/116.79 c zirounding : 0.10 0.00 1000 0
116.67/116.79 c rounding : 0.31 0.00 2407 0
116.67/116.79 c shifting : 0.25 0.00 731 0
116.67/116.79 c twoopt : 0.00 0.00 0 0
116.67/116.79 c indoneopt : 0.11 0.00 0 0
116.67/116.79 c indtwoopt : 0.00 0.00 0 0
116.67/116.79 c fixandinfer : 0.00 0.00 0 0
116.67/116.79 c clique : 0.00 0.00 0 0
116.67/116.79 c indcoefdiving : 0.00 0.00 0 0
116.67/116.79 c indrounding : 0.00 0.00 0 0
116.67/116.79 c nlpdiving : 0.00 0.00 0 0
116.67/116.79 c intdiving : 0.00 0.00 0 0
116.67/116.79 c actconsdiving : 0.00 0.00 0 0
116.67/116.79 c octane : 0.00 0.00 0 0
116.67/116.79 c rens : 0.14 0.00 1 0
116.67/116.79 c rins : 0.00 0.00 0 0
116.67/116.79 c localbranching : 0.00 0.00 0 0
116.67/116.79 c mutation : 0.00 0.00 0 0
116.67/116.79 c dins : 0.00 0.00 0 0
116.67/116.79 c vbounds : 0.00 0.00 0 0
116.67/116.79 c undercover : 0.00 0.00 1 0
116.67/116.79 c subnlp : 0.05 0.00 0 0
116.67/116.79 c trysol : 0.07 0.00 0 0
116.67/116.79 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
116.67/116.79 c primal LP : 0.00 1 0 0.00 - 0.00 1
116.67/116.79 c dual LP : 80.18 51667 1044148 20.24 13023.11 0.03 67
116.67/116.79 c lex dual LP : 0.00 0 0 0.00 -
116.67/116.79 c barrier LP : 0.00 0 0 0.00 - 0.00 0
116.67/116.79 c diving/probing LP: 2.14 1053 29167 27.70 13622.19
116.67/116.79 c strong branching : 17.86 4546 217029 47.74 12150.18
116.67/116.79 c (at root node) : - 21 4717 224.62 -
116.67/116.79 c conflict analysis: 0.00 0 0 0.00 -
116.67/116.79 c B&B Tree :
116.67/116.79 c number of runs : 1
116.67/116.79 c nodes : 57102
116.67/116.79 c nodes (total) : 57102
116.67/116.79 c nodes left : 0
116.67/116.79 c max depth : 47
116.67/116.79 c max depth (total): 47
116.67/116.79 c backtracks : 7837 (13.7%)
116.67/116.79 c delayed cutoffs : 0
116.67/116.79 c repropagations : 3804 (2180 domain reductions, 0 cutoffs)
116.67/116.79 c avg switch length: 3.06
116.67/116.79 c switching time : 1.67
116.67/116.79 c Solution :
116.67/116.79 c Solutions found : 1 (1 improvements)
116.67/116.79 c First Solution : +0.00000000000000e+00 (in run 1, after 57102 nodes, 116.79 seconds, depth 24, found by <relaxation>)
116.67/116.79 c Primal Bound : +0.00000000000000e+00 (in run 1, after 57102 nodes, 116.79 seconds, depth 24, found by <relaxation>)
116.67/116.79 c Dual Bound : +0.00000000000000e+00
116.67/116.79 c Gap : 0.00 %
116.67/116.79 c Root Dual Bound : +0.00000000000000e+00
116.67/116.79 c Root Iterations : 5589
116.76/116.80 c Time complete: 116.77.
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-3692805-1338017505/watcher-3692805-1338017505 -o /tmp/evaluation-result-3692805-1338017505/solver-3692805-1338017505 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692805-1338017505.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.00 2.02 3/178 31687
/proc/meminfo: memFree=28065580/32873844 swapFree=7608/7608
[pid=31687] ppid=31685 vsize=10156 CPUtime=0 cores=1,3,5,7
/proc/31687/stat : 31687 (scip-2.1.1.4sfi) R 31685 31687 30878 0 -1 4202496 1288 0 0 0 0 0 0 0 20 0 1 0 267875312 10399744 1242 33554432000 4194304 10169799 140736668353280 140736668351880 8797266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31687/statm: 2539 1242 409 1459 0 1071 0
[startup+0.0396649 s]
/proc/loadavg: 2.07 2.00 2.02 3/178 31687
/proc/meminfo: memFree=28065580/32873844 swapFree=7608/7608
[pid=31687] ppid=31685 vsize=19644 CPUtime=0.02 cores=1,3,5,7
/proc/31687/stat : 31687 (scip-2.1.1.4sfi) R 31685 31687 30878 0 -1 4202496 3747 0 0 0 2 0 0 0 20 0 1 0 267875312 20115456 3444 33554432000 4194304 10169799 140736668353280 140736668351880 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31687/statm: 4911 3444 587 1459 0 3443 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19644
[startup+0.100287 s]
/proc/loadavg: 2.07 2.00 2.02 3/178 31687
/proc/meminfo: memFree=28065580/32873844 swapFree=7608/7608
[pid=31687] ppid=31685 vsize=25940 CPUtime=0.09 cores=1,3,5,7
/proc/31687/stat : 31687 (scip-2.1.1.4sfi) R 31685 31687 30878 0 -1 4202496 5505 0 0 0 8 1 0 0 20 0 1 0 267875312 26562560 5200 33554432000 4194304 10169799 140736668353280 140736668351880 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31687/statm: 6485 5200 786 1459 0 5017 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25940
[startup+0.300211 s]
/proc/loadavg: 2.07 2.00 2.02 3/178 31687
/proc/meminfo: memFree=28065580/32873844 swapFree=7608/7608
[pid=31687] ppid=31685 vsize=25940 CPUtime=0.29 cores=1,3,5,7
/proc/31687/stat : 31687 (scip-2.1.1.4sfi) R 31685 31687 30878 0 -1 4202496 5521 0 0 0 27 2 0 0 20 0 1 0 267875312 26562560 5216 33554432000 4194304 10169799 140736668353280 140736668351880 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31687/statm: 6485 5216 786 1459 0 5017 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25940
[startup+0.700276 s]
/proc/loadavg: 2.07 2.00 2.02 3/178 31687
/proc/meminfo: memFree=28065580/32873844 swapFree=7608/7608
[pid=31687] ppid=31685 vsize=29252 CPUtime=0.69 cores=1,3,5,7
/proc/31687/stat : 31687 (scip-2.1.1.4sfi) R 31685 31687 30878 0 -1 4202496 6460 0 0 0 65 4 0 0 20 0 1 0 267875312 29954048 6155 33554432000 4194304 10169799 140736668353280 140736668350392 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31687/statm: 7313 6155 822 1459 0 5845 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29252
[startup+1.50029 s]
/proc/loadavg: 2.07 2.00 2.02 3/179 31688
/proc/meminfo: memFree=28041136/32873844 swapFree=7608/7608
[pid=31687] ppid=31685 vsize=35656 CPUtime=1.49 cores=1,3,5,7
/proc/31687/stat : 31687 (scip-2.1.1.4sfi) R 31685 31687 30878 0 -1 4202496 11493 0 0 0 142 7 0 0 20 0 1 0 267875312 36511744 7809 33554432000 4194304 10169799 140736668353280 140736668350392 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31687/statm: 8914 7809 859 1459 0 7446 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35656
[startup+3.10021 s]
/proc/loadavg: 2.07 2.00 2.02 3/179 31688
/proc/meminfo: memFree=28037028/32873844 swapFree=7608/7608
[pid=31687] ppid=31685 vsize=36488 CPUtime=3.09 cores=1,3,5,7
/proc/31687/stat : 31687 (scip-2.1.1.4sfi) R 31685 31687 30878 0 -1 4202496 11669 0 0 0 300 9 0 0 20 0 1 0 267875312 37363712 7985 33554432000 4194304 10169799 140736668353280 140736668347880 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31687/statm: 9122 7985 859 1459 0 7654 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36488
[startup+6.30021 s]
/proc/loadavg: 2.07 2.00 2.02 3/179 31688
/proc/meminfo: memFree=28036160/32873844 swapFree=7608/7608
[pid=31687] ppid=31685 vsize=36488 CPUtime=6.29 cores=1,3,5,7
/proc/31687/stat : 31687 (scip-2.1.1.4sfi) R 31685 31687 30878 0 -1 4202496 11683 0 0 0 616 13 0 0 20 0 1 0 267875312 37363712 7999 33554432000 4194304 10169799 140736668353280 140736668348152 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31687/statm: 9122 7999 861 1459 0 7654 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36488
[startup+12.7002 s]
/proc/loadavg: 2.06 2.00 2.02 3/179 31688
/proc/meminfo: memFree=28036052/32873844 swapFree=7608/7608
[pid=31687] ppid=31685 vsize=36488 CPUtime=12.68 cores=1,3,5,7
/proc/31687/stat : 31687 (scip-2.1.1.4sfi) R 31685 31687 30878 0 -1 4202496 11685 0 0 0 1241 27 0 0 20 0 1 0 267875312 37363712 8001 33554432000 4194304 10169799 140736668353280 140736668350904 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31687/statm: 9122 8001 863 1459 0 7654 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 36488
[startup+25.5002 s]
/proc/loadavg: 2.05 2.00 2.01 3/179 31688
/proc/meminfo: memFree=28035928/32873844 swapFree=7608/7608
[pid=31687] ppid=31685 vsize=36488 CPUtime=25.49 cores=1,3,5,7
/proc/31687/stat : 31687 (scip-2.1.1.4sfi) R 31685 31687 30878 0 -1 4202496 11685 0 0 0 2460 89 0 0 20 0 1 0 267875312 37363712 8001 33554432000 4194304 10169799 140736668353280 140736668347736 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31687/statm: 9122 8001 863 1459 0 7654 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36488
[startup+51.1002 s]
/proc/loadavg: 2.03 2.00 2.01 3/179 31688
/proc/meminfo: memFree=28034416/32873844 swapFree=7608/7608
[pid=31687] ppid=31685 vsize=36488 CPUtime=51.08 cores=1,3,5,7
/proc/31687/stat : 31687 (scip-2.1.1.4sfi) R 31685 31687 30878 0 -1 4202496 11695 0 0 0 4904 204 0 0 20 0 1 0 267875312 37363712 8334 33554432000 4194304 10169799 140736668353280 140736668347784 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31687/statm: 9122 8334 863 1459 0 7654 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36488
[startup+102.307 s]
/proc/loadavg: 2.07 2.02 2.01 3/179 31688
/proc/meminfo: memFree=28031312/32873844 swapFree=7608/7608
[pid=31687] ppid=31685 vsize=37772 CPUtime=102.27 cores=1,3,5,7
/proc/31687/stat : 31687 (scip-2.1.1.4sfi) R 31685 31687 30878 0 -1 4202496 12015 0 0 0 9787 440 0 0 20 0 1 0 267875312 38678528 8654 33554432000 4194304 10169799 140736668353280 140736668351800 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31687/statm: 9443 8654 863 1459 0 7975 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 37772
Solver just ended. Dumping a history of the last processes samples
[startup+108.7 s]
/proc/loadavg: 2.06 2.01 2.01 3/179 31688
/proc/meminfo: memFree=28031312/32873844 swapFree=7608/7608
[pid=31687] ppid=31685 vsize=37772 CPUtime=108.67 cores=1,3,5,7
/proc/31687/stat : 31687 (scip-2.1.1.4sfi) R 31685 31687 30878 0 -1 4202496 12034 0 0 0 10399 468 0 0 20 0 1 0 267875312 38678528 8673 33554432000 4194304 10169799 140736668353280 140736668347688 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31687/statm: 9443 8673 863 1459 0 7975 0
Current children cumulated CPU time (s) 108.67
Current children cumulated vsize (KiB) 37772
[startup+111.9 s]
/proc/loadavg: 2.06 2.01 2.01 3/179 31688
/proc/meminfo: memFree=28030692/32873844 swapFree=7608/7608
[pid=31687] ppid=31685 vsize=38408 CPUtime=111.86 cores=1,3,5,7
/proc/31687/stat : 31687 (scip-2.1.1.4sfi) R 31685 31687 30878 0 -1 4202496 12174 0 0 0 10703 483 0 0 20 0 1 0 267875312 39329792 8812 33554432000 4194304 10169799 140736668353280 140736668347784 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31687/statm: 9602 8812 863 1459 0 8134 0
Current children cumulated CPU time (s) 111.86
Current children cumulated vsize (KiB) 38408
[startup+115.1 s]
/proc/loadavg: 2.06 2.01 2.01 3/179 31688
/proc/meminfo: memFree=28030568/32873844 swapFree=7608/7608
[pid=31687] ppid=31685 vsize=38408 CPUtime=115.06 cores=1,3,5,7
/proc/31687/stat : 31687 (scip-2.1.1.4sfi) R 31685 31687 30878 0 -1 4202496 12199 0 0 0 11010 496 0 0 20 0 1 0 267875312 39329792 8837 33554432000 4194304 10169799 140736668353280 140736668347368 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31687/statm: 9602 8837 863 1459 0 8134 0
Current children cumulated CPU time (s) 115.06
Current children cumulated vsize (KiB) 38408
[startup+115.9 s]
/proc/loadavg: 2.06 2.01 2.01 3/179 31688
/proc/meminfo: memFree=28030568/32873844 swapFree=7608/7608
[pid=31687] ppid=31685 vsize=38408 CPUtime=115.86 cores=1,3,5,7
/proc/31687/stat : 31687 (scip-2.1.1.4sfi) R 31685 31687 30878 0 -1 4202496 12199 0 0 0 11086 500 0 0 20 0 1 0 267875312 39329792 8837 33554432000 4194304 10169799 140736668353280 140736668347688 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31687/statm: 9602 8837 863 1459 0 8134 0
Current children cumulated CPU time (s) 115.86
Current children cumulated vsize (KiB) 38408
[startup+116.3 s]
/proc/loadavg: 2.06 2.01 2.01 3/179 31688
/proc/meminfo: memFree=28030568/32873844 swapFree=7608/7608
[pid=31687] ppid=31685 vsize=38408 CPUtime=116.26 cores=1,3,5,7
/proc/31687/stat : 31687 (scip-2.1.1.4sfi) R 31685 31687 30878 0 -1 4202496 12199 0 0 0 11124 502 0 0 20 0 1 0 267875312 39329792 8837 33554432000 4194304 10169799 140736668353280 140736668347688 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31687/statm: 9602 8837 863 1459 0 8134 0
Current children cumulated CPU time (s) 116.26
Current children cumulated vsize (KiB) 38408
[startup+116.7 s]
/proc/loadavg: 2.06 2.01 2.01 3/179 31688
/proc/meminfo: memFree=28030568/32873844 swapFree=7608/7608
[pid=31687] ppid=31685 vsize=38408 CPUtime=116.67 cores=1,3,5,7
/proc/31687/stat : 31687 (scip-2.1.1.4sfi) R 31685 31687 30878 0 -1 4202496 12199 0 0 0 11163 504 0 0 20 0 1 0 267875312 39329792 8837 33554432000 4194304 10169799 140736668353280 140736668347976 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31687/statm: 9602 8837 863 1459 0 8134 0
Current children cumulated CPU time (s) 116.67
Current children cumulated vsize (KiB) 38408
[startup+116.8 s]
/proc/loadavg: 2.06 2.01 2.01 3/179 31688
/proc/meminfo: memFree=28030568/32873844 swapFree=7608/7608
[pid=31687] ppid=31685 vsize=36996 CPUtime=116.76 cores=1,3,5,7
/proc/31687/stat : 31687 (scip-2.1.1.4sfi) R 31685 31687 30878 0 -1 4202496 12201 0 0 0 11172 504 0 0 20 0 1 0 267875312 37883904 8486 33554432000 4194304 10169799 140736668353280 140736668347976 5280448 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31687/statm: 9249 8486 865 1459 0 7781 0
Current children cumulated CPU time (s) 116.76
Current children cumulated vsize (KiB) 36996
Child status: 0
Real time (s): 116.807
CPU time (s): 116.781
CPU user time (s): 111.732
CPU system time (s): 5.04923
CPU usage (%): 99.9777
Max. virtual memory (cumulated for all children) (KiB): 50472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 111.732
system time used= 5.04923
maximum resident set size= 44612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12203
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= 11
involuntary context switches= 122
runsolver used 0.161975 second user time and 0.492925 second system time
The end