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-3692804-1338017268.opb>
0.00/0.00 c original problem has 370 variables (370 bin, 0 int, 0 impl, 0 cont) and 809 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 3 del vars, 1 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 406 impls, 0 clqs
0.00/0.02 c (round 2) 16 del vars, 20 del conss, 0 add conss, 14 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 406 impls, 0 clqs
0.00/0.02 c (round 3) 16 del vars, 33 del conss, 0 add conss, 14 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 406 impls, 0 clqs
0.00/0.03 c (round 4) 16 del vars, 33 del conss, 0 add conss, 14 chg bounds, 0 chg sides, 0 chg coeffs, 776 upgd conss, 406 impls, 0 clqs
0.00/0.04 c (round 5) 22 del vars, 33 del conss, 699 add conss, 14 chg bounds, 699 chg sides, 1404 chg coeffs, 776 upgd conss, 11256 impls, 6 clqs
0.00/0.05 c (round 6) 22 del vars, 45 del conss, 699 add conss, 14 chg bounds, 699 chg sides, 1404 chg coeffs, 776 upgd conss, 11256 impls, 6 clqs
0.00/0.06 c (round 7) 22 del vars, 53 del conss, 699 add conss, 14 chg bounds, 699 chg sides, 1404 chg coeffs, 776 upgd conss, 11256 impls, 6 clqs
0.09/0.12 c (0.1s) probing cycle finished: starting next cycle
0.09/0.12 c (round 8) 30 del vars, 65 del conss, 703 add conss, 15 chg bounds, 699 chg sides, 1404 chg coeffs, 776 upgd conss, 12989 impls, 3 clqs
0.09/0.12 c (round 9) 30 del vars, 100 del conss, 707 add conss, 15 chg bounds, 701 chg sides, 1435 chg coeffs, 776 upgd conss, 12989 impls, 4 clqs
0.09/0.13 c (round 10) 30 del vars, 155 del conss, 753 add conss, 15 chg bounds, 724 chg sides, 1504 chg coeffs, 776 upgd conss, 12989 impls, 28 clqs
0.09/0.14 c (0.1s) probing: 46/340 (13.5%) - 7 fixings, 1 aggregations, 418 implications, 1 bound changes
0.09/0.14 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.14 c (round 11) 30 del vars, 158 del conss, 754 add conss, 15 chg bounds, 724 chg sides, 1504 chg coeffs, 776 upgd conss, 12989 impls, 28 clqs
0.09/0.15 c presolving (12 rounds):
0.09/0.15 c 30 deleted vars, 158 deleted constraints, 754 added constraints, 15 tightened bounds, 0 added holes, 724 changed sides, 1504 changed coefficients
0.09/0.15 c 12989 implications, 28 cliques
0.09/0.15 c presolved problem has 340 variables (340 bin, 0 int, 0 impl, 0 cont) and 1405 constraints
0.09/0.15 c 204 constraints of type <knapsack>
0.09/0.15 c 842 constraints of type <setppc>
0.09/0.15 c 4 constraints of type <and>
0.09/0.15 c 355 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.14
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 2.1.1.4
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1797
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 13950
0.09/0.15 c
0.09/0.15 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.15 c # [type: int, range: [1,2], default: 1]
0.09/0.15 c timing/clocktype = 2
0.09/0.15 c
0.09/0.15 c # belongs reading time to solving time?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c timing/reading = TRUE
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.29/0.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.36 c 0.4s| 1 | 0 | 2395 | - |3416k| 0 | 282 | 340 |1409 | 340 |1409 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf
0.99/1.07 c 1.1s| 1 | 0 | 7998 | - |4122k| 0 | 292 | 340 |1409 | 340 |1419 | 10 | 4 | 0 | 0.000000e+00 | -- | Inf
1.10/1.15 c 1.1s| 1 | 0 | 8181 | - |4817k| 0 | 295 | 340 |1409 | 340 |1430 | 21 | 4 | 0 | 0.000000e+00 | -- | Inf
1.38/1.41 c 1.4s| 1 | 0 | 8238 | - |6595k| 0 | 296 | 340 |1409 | 340 |1436 | 27 | 4 | 0 | 0.000000e+00 | -- | Inf
1.59/1.69 c 1.7s| 1 | 0 | 8275 | - |8538k| 0 | 294 | 340 |1409 | 340 |1439 | 30 | 4 | 0 | 0.000000e+00 | -- | Inf
1.89/1.97 c 2.0s| 1 | 0 | 8341 | - | 10M| 0 | 290 | 340 |1409 | 340 |1442 | 33 | 4 | 0 | 0.000000e+00 | -- | Inf
2.19/2.28 c 2.3s| 1 | 0 | 8418 | - | 12M| 0 | 291 | 340 |1409 | 340 |1443 | 34 | 4 | 0 | 0.000000e+00 | -- | Inf
3.89/3.90 c 3.9s| 1 | 2 | 8418 | - | 12M| 0 | 291 | 340 |1409 | 340 |1443 | 34 | 4 | 17 | 0.000000e+00 | -- | Inf
16.29/16.30 c 16.3s| 100 | 31 | 19114 | 108.0 | 12M| 21 | - | 340 |1413 | 0 | 0 | 41 | 8 |1009 | 0.000000e+00 | -- | Inf
16.79/16.82 c 16.8s| 200 | 33 | 23058 | 73.6 | 12M| 23 | - | 340 |1415 | 340 |1436 | 41 | 10 |1019 | 0.000000e+00 | -- | Inf
17.29/17.37 c 17.4s| 300 | 31 | 26940 | 61.9 | 12M| 26 | 101 | 340 |1419 | 340 |1435 | 41 | 14 |1033 | 0.000000e+00 | -- | Inf
17.79/17.82 c 17.8s| 400 | 37 | 29778 | 53.5 | 12M| 28 | 134 | 340 |1424 | 340 |1436 | 41 | 19 |1051 | 0.000000e+00 | -- | Inf
18.18/18.23 c 18.2s| 500 | 31 | 33021 | 49.3 | 12M| 32 | - | 340 |1424 | 340 |1435 | 41 | 20 |1061 | 0.000000e+00 | -- | Inf
18.79/18.84 c 18.8s| 600 | 37 | 36652 | 47.1 | 12M| 32 | 126 | 340 |1437 | 340 |1436 | 41 | 33 |1090 | 0.000000e+00 | -- | Inf
19.18/19.23 c 19.2s| 700 | 33 | 39669 | 44.7 | 12M| 32 | - | 340 |1439 | 340 |1435 | 41 | 35 |1107 | 0.000000e+00 | -- | Inf
19.79/19.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.79/19.85 c 19.9s| 800 | 37 | 43227 | 43.6 | 12M| 32 | 133 | 340 |1441 | 340 |1436 | 41 | 37 |1135 | 0.000000e+00 | -- | Inf
20.19/20.24 c 20.2s| 900 | 41 | 46286 | 42.1 | 12M| 33 | - | 340 |1445 | 0 | 0 | 41 | 41 |1144 | 0.000000e+00 | -- | Inf
20.69/20.70 c 20.7s| 1000 | 39 | 49729 | 41.4 | 12M| 33 | 112 | 340 |1447 | 340 |1435 | 41 | 43 |1164 | 0.000000e+00 | -- | Inf
21.19/21.26 c 21.3s| 1100 | 33 | 52931 | 40.5 | 12M| 33 | - | 340 |1451 | 340 |1436 | 41 | 47 |1195 | 0.000000e+00 | -- | Inf
21.49/21.53 c 21.5s| 1200 | 37 | 55501 | 39.3 | 12M| 33 | - | 340 |1462 | 340 |1435 | 41 | 58 |1198 | 0.000000e+00 | -- | Inf
21.79/21.82 c 21.8s| 1300 | 39 | 58376 | 38.5 | 12M| 33 | 95 | 340 |1469 | 340 |1435 | 41 | 65 |1198 | 0.000000e+00 | -- | Inf
22.39/22.42 c 22.4s| 1400 | 33 | 61885 | 38.2 | 12M| 33 | 106 | 340 |1474 | 340 |1435 | 41 | 70 |1245 | 0.000000e+00 | -- | Inf
22.59/22.67 c 22.7s| 1500 | 29 | 64334 | 37.3 | 12M| 33 | - | 340 |1478 | 340 |1435 | 41 | 74 |1245 | 0.000000e+00 | -- | Inf
22.99/23.04 c 23.0s| 1600 | 31 | 66961 | 36.6 | 12M| 33 | 111 | 340 |1479 | 340 |1436 | 41 | 77 |1263 | 0.000000e+00 | -- | Inf
23.48/23.53 c 23.5s| 1700 | 25 | 70244 | 36.4 | 12M| 33 | 119 | 340 |1488 | 340 |1436 | 41 | 86 |1301 | 0.000000e+00 | -- | Inf
23.88/23.97 c 24.0s| 1800 | 29 | 73276 | 36.1 | 12M| 33 | 101 | 340 |1497 | 340 |1436 | 41 | 95 |1330 | 0.000000e+00 | -- | Inf
24.49/24.50 c 24.5s| 1900 | 25 | 76798 | 36.0 | 12M| 33 | - | 340 |1502 | 0 | 0 | 41 | 103 |1380 | 0.000000e+00 | -- | Inf
24.69/24.75 c 24.7s| 2000 | 23 | 79336 | 35.5 | 12M| 36 | - | 340 |1501 | 340 |1435 | 41 | 103 |1380 | 0.000000e+00 | -- | Inf
24.98/25.06 c 25.1s| 2100 | 25 | 82038 | 35.1 | 12M| 36 | 119 | 340 |1512 | 340 |1436 | 41 | 116 |1389 | 0.000000e+00 | -- | Inf
25.29/25.37 c 25.4s| 2200 | 23 | 84986 | 34.8 | 12M| 36 | 113 | 340 |1512 | 340 |1436 | 41 | 118 |1392 | 0.000000e+00 | -- | Inf
25.68/25.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.68/25.71 c 25.7s| 2300 | 25 | 87203 | 34.3 | 12M| 36 | 136 | 340 |1521 | 340 |1436 | 41 | 128 |1407 | 0.000000e+00 | -- | Inf
26.49/26.57 c 26.6s| 2400 | 27 | 91450 | 34.6 | 12M| 36 | - | 340 |1526 | 340 |1436 | 42 | 135 |1449 | 0.000000e+00 | -- | Inf
26.79/26.86 c 26.9s| 2500 | 27 | 94325 | 34.4 | 12M| 36 | - | 340 |1537 | 0 | 0 | 42 | 149 |1449 | 0.000000e+00 | -- | Inf
27.09/27.15 c 27.2s| 2600 | 27 | 97075 | 34.1 | 12M| 36 | - | 340 |1544 | 0 | 0 | 42 | 157 |1451 | 0.000000e+00 | -- | Inf
27.49/27.54 c 27.5s| 2700 | 27 |100509 | 34.1 | 12M| 36 | - | 340 |1547 | 340 |1436 | 42 | 163 |1457 | 0.000000e+00 | -- | Inf
27.79/27.89 c 27.9s| 2800 | 29 |103778 | 34.1 | 12M| 36 | - | 340 |1556 | 0 | 0 | 42 | 173 |1460 | 0.000000e+00 | -- | Inf
28.08/28.15 c 28.2s| 2900 | 29 |106340 | 33.8 | 12M| 36 | 122 | 340 |1556 | 340 |1436 | 42 | 181 |1461 | 0.000000e+00 | -- | Inf
28.38/28.46 c 28.5s| 3000 | 29 |109174 | 33.6 | 12M| 36 | - | 340 |1565 | 340 |1435 | 42 | 194 |1463 | 0.000000e+00 | -- | Inf
28.88/28.94 c 28.9s| 3100 | 33 |113846 | 34.0 | 12M| 36 | - | 340 |1569 | 340 |1435 | 42 | 207 |1466 | 0.000000e+00 | -- | Inf
29.18/29.28 c 29.3s| 3200 | 35 |116821 | 33.9 | 12M| 36 | - | 340 |1569 | 0 | 0 | 42 | 215 |1475 | 0.000000e+00 | -- | Inf
29.59/29.63 c 29.6s| 3300 | 35 |120181 | 33.9 | 12M| 36 | - | 340 |1573 | 340 |1435 | 42 | 224 |1483 | 0.000000e+00 | -- | Inf
29.89/29.91 c 29.9s| 3400 | 31 |123128 | 33.7 | 12M| 36 | - | 340 |1573 | 340 |1435 | 42 | 226 |1483 | 0.000000e+00 | -- | Inf
30.18/30.26 c 30.3s| 3500 | 33 |126751 | 33.8 | 12M| 36 | 97 | 340 |1580 | 340 |1435 | 42 | 234 |1483 | 0.000000e+00 | -- | Inf
30.69/30.73 c 30.7s| 3600 | 31 |131375 | 34.2 | 12M| 36 | - | 340 |1582 | 340 |1435 | 42 | 239 |1483 | 0.000000e+00 | -- | Inf
31.29/31.40 c 31.4s| 3700 | 39 |136235 | 34.6 | 12M| 36 | - | 340 |1592 | 340 |1435 | 42 | 249 |1503 | 0.000000e+00 | -- | Inf
31.89/31.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.89/31.98 c 32.0s| 3800 | 29 |140548 | 34.8 | 12M| 36 | - | 340 |1592 | 340 |1435 | 42 | 251 |1527 | 0.000000e+00 | -- | Inf
32.49/32.51 c 32.5s| 3900 | 33 |144305 | 34.9 | 12M| 36 | - | 340 |1588 | 0 | 0 | 42 | 253 |1552 | 0.000000e+00 | -- | Inf
32.99/33.08 c 33.1s| 4000 | 31 |148008 | 34.9 | 12M| 36 | - | 340 |1588 | 340 |1435 | 42 | 253 |1590 | 0.000000e+00 | -- | Inf
33.48/33.56 c 33.6s| 4100 | 31 |152169 | 35.1 | 12M| 36 | 115 | 340 |1589 | 340 |1435 | 42 | 256 |1604 | 0.000000e+00 | -- | Inf
33.88/33.92 c 33.9s| 4200 | 31 |154799 | 34.9 | 12M| 36 | - | 340 |1600 | 340 |1435 | 42 | 267 |1621 | 0.000000e+00 | -- | Inf
34.29/34.34 c 34.3s| 4300 | 31 |157941 | 34.8 | 12M| 36 | - | 340 |1610 | 340 |1435 | 42 | 278 |1641 | 0.000000e+00 | -- | Inf
34.78/34.84 c 34.8s| 4400 | 29 |161643 | 34.8 | 12M| 36 | - | 340 |1612 | 340 |1435 | 42 | 281 |1669 | 0.000000e+00 | -- | Inf
35.19/35.26 c 35.3s| 4500 | 35 |164554 | 34.7 | 12M| 36 | - | 340 |1617 | 340 |1435 | 42 | 289 |1697 | 0.000000e+00 | -- | Inf
35.68/35.77 c 35.8s| 4600 | 37 |168426 | 34.8 | 12M| 36 | - | 340 |1620 | 340 |1435 | 42 | 293 |1729 | 0.000000e+00 | -- | Inf
36.18/36.23 c 36.2s| 4700 | 33 |171995 | 34.8 | 12M| 36 | 101 | 340 |1626 | 340 |1435 | 42 | 299 |1753 | 0.000000e+00 | -- | Inf
36.58/36.67 c 36.7s| 4800 | 31 |175975 | 34.9 | 12M| 36 | 113 | 340 |1628 | 340 |1435 | 42 | 301 |1769 | 0.000000e+00 | -- | Inf
36.98/37.06 c 37.1s| 4900 | 31 |179361 | 34.9 | 12M| 36 | 124 | 340 |1639 | 340 |1435 | 42 | 312 |1780 | 0.000000e+00 | -- | Inf
37.39/37.41 c 37.4s| 5000 | 35 |182680 | 34.9 | 12M| 36 | 120 | 340 |1642 | 340 |1435 | 42 | 318 |1788 | 0.000000e+00 | -- | Inf
37.69/37.76 c 37.8s| 5100 | 31 |186033 | 34.8 | 12M| 36 | - | 340 |1642 | 340 |1435 | 42 | 319 |1795 | 0.000000e+00 | -- | Inf
37.98/38.03 c 38.0s| 5200 | 33 |188849 | 34.7 | 12M| 36 | - | 340 |1656 | 340 |1435 | 42 | 333 |1795 | 0.000000e+00 | -- | Inf
38.19/38.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.19/38.27 c 38.3s| 5300 | 33 |191204 | 34.5 | 12M| 36 | 101 | 340 |1660 | 340 |1435 | 42 | 337 |1796 | 0.000000e+00 | -- | Inf
38.49/38.52 c 38.5s| 5400 | 31 |193756 | 34.3 | 12M| 36 | - | 340 |1666 | 340 |1435 | 42 | 343 |1796 | 0.000000e+00 | -- | Inf
38.78/38.81 c 38.8s| 5500 | 33 |196688 | 34.2 | 12M| 36 | 106 | 340 |1676 | 340 |1435 | 42 | 356 |1796 | 0.000000e+00 | -- | Inf
39.08/39.13 c 39.1s| 5600 | 31 |200099 | 34.2 | 12M| 36 | - | 340 |1679 | 340 |1435 | 42 | 360 |1796 | 0.000000e+00 | -- | Inf
39.38/39.40 c 39.4s| 5700 | 31 |202881 | 34.1 | 12M| 36 | - | 340 |1683 | 0 | 0 | 42 | 365 |1796 | 0.000000e+00 | -- | Inf
39.59/39.67 c 39.7s| 5800 | 31 |205746 | 34.0 | 12M| 36 | 119 | 340 |1688 | 340 |1435 | 42 | 370 |1796 | 0.000000e+00 | -- | Inf
39.88/39.99 c 40.0s| 5900 | 31 |209146 | 34.0 | 12M| 36 | - | 340 |1692 | 340 |1435 | 42 | 377 |1796 | 0.000000e+00 | -- | Inf
40.18/40.27 c 40.3s| 6000 | 29 |211946 | 33.9 | 12M| 36 | - | 340 |1695 | 0 | 0 | 42 | 381 |1796 | 0.000000e+00 | -- | Inf
40.59/40.64 c 40.6s| 6100 | 29 |215131 | 33.9 | 12M| 36 | 147 | 340 |1699 | 340 |1436 | 42 | 387 |1806 | 0.000000e+00 | -- | Inf
40.88/40.97 c 41.0s| 6200 | 27 |217901 | 33.8 | 12M| 36 | - | 340 |1708 | 340 |1435 | 42 | 408 |1814 | 0.000000e+00 | -- | Inf
41.18/41.27 c 41.3s| 6300 | 29 |220532 | 33.7 | 12M| 36 | - | 340 |1705 | 0 | 0 | 42 | 417 |1819 | 0.000000e+00 | -- | Inf
41.48/41.51 c 41.5s| 6400 | 31 |223017 | 33.5 | 12M| 40 | - | 340 |1704 | 340 |1436 | 42 | 422 |1819 | 0.000000e+00 | -- | Inf
41.69/41.75 c 41.8s| 6500 | 31 |225348 | 33.4 | 12M| 40 | 88 | 340 |1709 | 340 |1435 | 42 | 434 |1820 | 0.000000e+00 | -- | Inf
41.98/42.02 c 42.0s| 6600 | 29 |228089 | 33.3 | 12M| 40 | - | 340 |1711 | 340 |1435 | 42 | 439 |1820 | 0.000000e+00 | -- | Inf
42.38/42.41 c 42.4s| 6700 | 27 |231369 | 33.3 | 12M| 40 | - | 340 |1721 | 340 |1435 | 42 | 453 |1832 | 0.000000e+00 | -- | Inf
42.79/42.84 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.84 c 42.8s| 6800 | 27 |234225 | 33.2 | 12M| 40 | - | 340 |1707 | 340 |1435 | 42 | 459 |1854 | 0.000000e+00 | -- | Inf
43.19/43.20 c 43.2s| 6900 | 27 |237037 | 33.1 | 12M| 40 | - | 340 |1709 | 340 |1435 | 42 | 462 |1866 | 0.000000e+00 | -- | Inf
43.48/43.55 c 43.6s| 7000 | 27 |240003 | 33.1 | 12M| 40 | 113 | 340 |1705 | 340 |1435 | 42 | 465 |1877 | 0.000000e+00 | -- | Inf
43.89/43.97 c 44.0s| 7100 | 25 |242965 | 33.0 | 12M| 40 | 108 | 340 |1708 | 340 |1436 | 42 | 477 |1892 | 0.000000e+00 | -- | Inf
44.28/44.34 c 44.3s| 7200 | 29 |245947 | 33.0 | 12M| 40 | 122 | 340 |1702 | 340 |1435 | 42 | 480 |1906 | 0.000000e+00 | -- | Inf
44.78/44.82 c 44.8s| 7300 | 31 |249179 | 33.0 | 12M| 40 | - | 340 |1704 | 340 |1435 | 42 | 484 |1936 | 0.000000e+00 | -- | Inf
45.08/45.19 c 45.2s| 7400 | 27 |252394 | 33.0 | 12M| 40 | 121 | 340 |1702 | 340 |1435 | 42 | 489 |1946 | 0.000000e+00 | -- | Inf
45.48/45.56 c 45.6s| 7500 | 27 |255205 | 32.9 | 12M| 40 | 116 | 340 |1698 | 340 |1435 | 42 | 489 |1969 | 0.000000e+00 | -- | Inf
45.88/45.93 c 45.9s| 7600 | 25 |257591 | 32.8 | 12M| 40 | - | 340 |1697 | 340 |1435 | 42 | 490 |1993 | 0.000000e+00 | -- | Inf
46.28/46.39 c 46.4s| 7700 | 28 |261203 | 32.8 | 12M| 40 | 110 | 340 |1692 | 340 |1435 | 42 | 496 |2013 | 0.000000e+00 | -- | Inf
46.78/46.89 c 46.9s| 7800 | 28 |264739 | 32.9 | 12M| 40 | 134 | 340 |1687 | 340 |1436 | 42 | 507 |2033 | 0.000000e+00 | -- | Inf
47.18/47.29 c 47.3s| 7900 | 26 |267974 | 32.9 | 12M| 40 | - | 340 |1691 | 340 |1435 | 42 | 514 |2052 | 0.000000e+00 | -- | Inf
47.58/47.64 c 47.6s| 8000 | 30 |271491 | 32.9 | 12M| 40 | 110 | 340 |1699 | 340 |1435 | 42 | 527 |2055 | 0.000000e+00 | -- | Inf
47.88/47.97 c 48.0s| 8100 | 30 |274715 | 32.9 | 12M| 40 | 121 | 340 |1697 | 340 |1435 | 42 | 529 |2060 | 0.000000e+00 | -- | Inf
48.29/48.34 c 48.3s| 8200 | 28 |278517 | 32.9 | 12M| 40 | 115 | 340 |1695 | 340 |1435 | 42 | 532 |2062 | 0.000000e+00 | -- | Inf
48.58/48.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.58/48.63 c 48.6s| 8300 | 26 |281762 | 32.9 | 12M| 40 | - | 340 |1700 | 340 |1435 | 42 | 537 |2062 | 0.000000e+00 | -- | Inf
48.88/48.95 c 49.0s| 8400 | 26 |284621 | 32.9 | 12M| 40 | - | 340 |1696 | 340 |1436 | 42 | 545 |2068 | 0.000000e+00 | -- | Inf
49.28/49.36 c 49.4s| 8500 | 26 |289138 | 33.0 | 12M| 49 | - | 340 |1701 | 0 | 0 | 42 | 563 |2069 | 0.000000e+00 | -- | Inf
49.58/49.65 c 49.6s| 8600 | 26 |291985 | 33.0 | 12M| 49 | 147 | 340 |1702 | 340 |1436 | 42 | 572 |2069 | 0.000000e+00 | -- | Inf
49.98/50.01 c 50.0s| 8700 | 24 |295684 | 33.0 | 12M| 49 | 164 | 340 |1699 | 340 |1436 | 42 | 581 |2069 | 0.000000e+00 | -- | Inf
50.28/50.33 c 50.3s| 8800 | 28 |298839 | 33.0 | 12M| 49 | - | 340 |1699 | 340 |1436 | 42 | 587 |2070 | 0.000000e+00 | -- | Inf
50.58/50.67 c 50.7s| 8900 | 28 |302251 | 33.0 | 12M| 49 | 120 | 340 |1699 | 340 |1436 | 42 | 595 |2071 | 0.000000e+00 | -- | Inf
50.98/51.06 c 51.1s| 9000 | 30 |305954 | 33.1 | 12M| 49 | 134 | 340 |1703 | 340 |1436 | 42 | 603 |2074 | 0.000000e+00 | -- | Inf
51.38/51.42 c 51.4s| 9100 | 26 |309657 | 33.1 | 12M| 49 | - | 340 |1708 | 340 |1436 | 42 | 611 |2076 | 0.000000e+00 | -- | Inf
51.68/51.75 c 51.8s| 9200 | 28 |313023 | 33.1 | 12M| 49 | 124 | 340 |1707 | 340 |1436 | 42 | 613 |2076 | 0.000000e+00 | -- | Inf
51.98/52.07 c 52.1s| 9300 | 28 |316373 | 33.1 | 12M| 49 | 118 | 340 |1708 | 340 |1436 | 42 | 619 |2076 | 0.000000e+00 | -- | Inf
52.38/52.44 c 52.4s| 9400 | 28 |320352 | 33.2 | 12M| 49 | - | 340 |1710 | 340 |1436 | 42 | 621 |2076 | 0.000000e+00 | -- | Inf
52.79/52.86 c 52.9s| 9500 | 26 |324780 | 33.3 | 12M| 49 | - | 340 |1709 | 340 |1436 | 42 | 622 |2076 | 0.000000e+00 | -- | Inf
53.28/53.30 c 53.3s| 9600 | 28 |328731 | 33.4 | 12M| 49 | - | 340 |1708 | 340 |1436 | 42 | 623 |2086 | 0.000000e+00 | -- | Inf
53.68/53.71 c 53.7s| 9700 | 28 |331829 | 33.3 | 12M| 49 | 122 | 340 |1722 | 340 |1436 | 42 | 638 |2100 | 0.000000e+00 | -- | Inf
54.08/54.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.08/54.15 c 54.1s| 9800 | 28 |335387 | 33.4 | 12M| 49 | - | 340 |1734 | 340 |1436 | 42 | 651 |2113 | 0.000000e+00 | -- | Inf
54.58/54.62 c 54.6s| 9900 | 26 |339268 | 33.4 | 12M| 49 | 132 | 340 |1740 | 340 |1436 | 42 | 661 |2125 | 0.000000e+00 | -- | Inf
55.08/55.12 c 55.1s| 10000 | 28 |342235 | 33.4 | 12M| 49 | 124 | 340 |1740 | 340 |1435 | 42 | 668 |2151 | 0.000000e+00 | -- | Inf
55.28/55.40 c 55.4s| 10100 | 32 |345071 | 33.3 | 12M| 49 | 117 | 340 |1745 | 340 |1435 | 43 | 680 |2151 | 0.000000e+00 | -- | Inf
55.78/55.81 c 55.8s| 10200 | 32 |348290 | 33.3 | 12M| 49 | 111 | 340 |1737 | 340 |1435 | 46 | 682 |2169 | 0.000000e+00 | -- | Inf
56.18/56.24 c 56.2s| 10300 | 26 |351748 | 33.3 | 12M| 49 | - | 340 |1727 | 340 |1435 | 48 | 682 |2190 | 0.000000e+00 | -- | Inf
56.58/56.62 c 56.6s| 10400 | 26 |354566 | 33.3 | 12M| 49 | 136 | 340 |1726 | 340 |1436 | 48 | 689 |2209 | 0.000000e+00 | -- | Inf
56.78/56.89 c 56.9s| 10500 | 26 |356800 | 33.2 | 12M| 49 | 135 | 340 |1720 | 340 |1436 | 48 | 695 |2215 | 0.000000e+00 | -- | Inf
57.28/57.32 c 57.3s| 10600 | 30 |359513 | 33.1 | 12M| 49 | 138 | 340 |1712 | 340 |1435 | 48 | 706 |2236 | 0.000000e+00 | -- | Inf
57.68/57.78 c 57.8s| 10700 | 28 |363721 | 33.2 | 12M| 49 | 121 | 340 |1710 | 340 |1435 | 48 | 715 |2246 | 0.000000e+00 | -- | Inf
58.19/58.23 c 58.2s| 10800 | 30 |367467 | 33.2 | 12M| 49 | - | 340 |1703 | 340 |1435 | 48 | 719 |2264 | 0.000000e+00 | -- | Inf
58.58/58.69 c 58.7s| 10900 | 30 |371046 | 33.3 | 12M| 49 | 112 | 340 |1712 | 340 |1435 | 49 | 734 |2289 | 0.000000e+00 | -- | Inf
58.98/59.07 c 59.1s| 11000 | 32 |374118 | 33.2 | 12M| 49 | 108 | 340 |1707 | 340 |1435 | 50 | 743 |2301 | 0.000000e+00 | -- | Inf
59.39/59.49 c 59.5s| 11100 | 30 |378047 | 33.3 | 12M| 49 | - | 340 |1706 | 0 | 0 | 50 | 745 |2310 | 0.000000e+00 | -- | Inf
59.78/59.80 c 59.8s| 11200 | 30 |380748 | 33.2 | 12M| 49 | - | 340 |1712 | 340 |1435 | 51 | 757 |2316 | 0.000000e+00 | -- | Inf
60.08/60.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.08/60.18 c 60.2s| 11300 | 36 |384560 | 33.3 | 12M| 49 | - | 340 |1723 | 340 |1435 | 52 | 770 |2317 | 0.000000e+00 | -- | Inf
60.48/60.54 c 60.5s| 11400 | 34 |388261 | 33.3 | 12M| 49 | 105 | 340 |1722 | 340 |1435 | 53 | 772 |2321 | 0.000000e+00 | -- | Inf
60.78/60.89 c 60.9s| 11500 | 36 |391767 | 33.3 | 12M| 49 | 118 | 340 |1726 | 340 |1435 | 53 | 778 |2324 | 0.000000e+00 | -- | Inf
61.18/61.23 c 61.2s| 11600 | 34 |395224 | 33.3 | 12M| 49 | 111 | 340 |1723 | 340 |1435 | 54 | 778 |2325 | 0.000000e+00 | -- | Inf
61.48/61.54 c 61.5s| 11700 | 30 |398488 | 33.3 | 12M| 49 | - | 340 |1726 | 340 |1435 | 55 | 781 |2325 | 0.000000e+00 | -- | Inf
61.78/61.87 c 61.9s| 11800 | 38 |401872 | 33.3 | 12M| 49 | 123 | 340 |1737 | 340 |1435 | 55 | 792 |2325 | 0.000000e+00 | -- | Inf
62.08/62.12 c 62.1s| 11900 | 34 |404388 | 33.3 | 12M| 49 | - | 340 |1741 | 340 |1435 | 55 | 796 |2325 | 0.000000e+00 | -- | Inf
62.28/62.39 c 62.4s| 12000 | 36 |407282 | 33.2 | 12M| 49 | - | 340 |1752 | 340 |1435 | 55 | 807 |2325 | 0.000000e+00 | -- | Inf
62.58/62.67 c 62.7s| 12100 | 36 |410245 | 33.2 | 12M| 49 | 109 | 340 |1759 | 340 |1435 | 56 | 814 |2325 | 0.000000e+00 | -- | Inf
62.98/63.03 c 63.0s| 12200 | 34 |414023 | 33.2 | 12M| 49 | 109 | 340 |1760 | 340 |1435 | 56 | 817 |2325 | 0.000000e+00 | -- | Inf
63.28/63.30 c 63.3s| 12300 | 36 |416501 | 33.2 | 12M| 49 | 124 | 340 |1772 | 340 |1435 | 56 | 830 |2329 | 0.000000e+00 | -- | Inf
63.47/63.53 c 63.5s| 12400 | 34 |418864 | 33.1 | 12M| 49 | 121 | 340 |1780 | 340 |1435 | 56 | 838 |2329 | 0.000000e+00 | -- | Inf
63.78/63.84 c 63.8s| 12500 | 36 |421978 | 33.1 | 12M| 49 | - | 340 |1792 | 340 |1435 | 57 | 850 |2329 | 0.000000e+00 | -- | Inf
64.18/64.21 c 64.2s| 12600 | 40 |425670 | 33.1 | 12M| 49 | 102 | 340 |1796 | 340 |1435 | 57 | 854 |2330 | 0.000000e+00 | -- | Inf
64.58/64.60 c 64.6s| 12700 | 36 |429991 | 33.2 | 12M| 49 | 107 | 340 |1801 | 340 |1435 | 57 | 859 |2330 | 0.000000e+00 | -- | Inf
64.88/64.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.88/64.91 c 64.9s| 12800 | 34 |433064 | 33.2 | 12M| 49 | - | 340 |1810 | 340 |1435 | 57 | 868 |2330 | 0.000000e+00 | -- | Inf
65.17/65.22 c 65.2s| 12900 | 36 |436405 | 33.2 | 12M| 49 | 111 | 340 |1822 | 340 |1435 | 58 | 880 |2330 | 0.000000e+00 | -- | Inf
65.57/65.64 c 65.6s| 13000 | 36 |440125 | 33.2 | 12M| 49 | 104 | 340 |1825 | 340 |1435 | 58 | 883 |2343 | 0.000000e+00 | -- | Inf
66.08/66.13 c 66.1s| 13100 | 36 |443706 | 33.2 | 12M| 49 | - | 340 |1830 | 0 | 0 | 59 | 888 |2365 | 0.000000e+00 | -- | Inf
66.47/66.50 c 66.5s| 13200 | 38 |446896 | 33.2 | 12M| 49 | 100 | 340 |1830 | 340 |1436 | 63 | 888 |2375 | 0.000000e+00 | -- | Inf
66.78/66.89 c 66.9s| 13300 | 34 |450095 | 33.2 | 12M| 49 | - | 340 |1830 | 340 |1435 | 64 | 888 |2385 | 0.000000e+00 | -- | Inf
67.18/67.24 c 67.2s| 13400 | 34 |452865 | 33.2 | 12M| 49 | 113 | 340 |1839 | 340 |1435 | 64 | 898 |2399 | 0.000000e+00 | -- | Inf
67.58/67.63 c 67.6s| 13500 | 34 |455745 | 33.1 | 12M| 49 | 104 | 340 |1844 | 340 |1435 | 64 | 903 |2418 | 0.000000e+00 | -- | Inf
67.87/67.91 c 67.9s| 13600 | 34 |458007 | 33.1 | 12M| 49 | 118 | 340 |1848 | 340 |1435 | 65 | 907 |2426 | 0.000000e+00 | -- | Inf
68.17/68.26 c 68.3s| 13700 | 30 |461106 | 33.0 | 12M| 49 | 125 | 340 |1855 | 340 |1435 | 66 | 914 |2436 | 0.000000e+00 | -- | Inf
68.57/68.64 c 68.6s| 13800 | 34 |464085 | 33.0 | 12M| 49 | - | 340 |1865 | 0 | 0 | 67 | 925 |2452 | 0.000000e+00 | -- | Inf
68.87/68.98 c 69.0s| 13900 | 36 |466792 | 33.0 | 12M| 49 | 113 | 340 |1872 | 340 |1436 | 68 | 940 |2469 | 0.000000e+00 | -- | Inf
69.28/69.37 c 69.4s| 14000 | 34 |470148 | 33.0 | 12M| 49 | 101 | 340 |1873 | 340 |1436 | 70 | 942 |2485 | 0.000000e+00 | -- | Inf
69.77/69.84 c 69.8s| 14100 | 36 |473820 | 33.0 | 12M| 49 | 104 | 340 |1871 | 340 |1436 | 73 | 942 |2508 | 0.000000e+00 | -- | Inf
70.17/70.25 c 70.3s| 14200 | 40 |477491 | 33.0 | 12M| 49 | - | 340 |1874 | 0 | 0 | 74 | 950 |2519 | 0.000000e+00 | -- | Inf
70.47/70.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.47/70.57 c 70.6s| 14300 | 36 |480142 | 33.0 | 12M| 49 | 108 | 340 |1879 | 340 |1436 | 74 | 956 |2534 | 0.000000e+00 | -- | Inf
70.97/71.00 c 71.0s| 14400 | 36 |483884 | 33.0 | 12M| 49 | - | 340 |1882 | 340 |1436 | 75 | 963 |2555 | 0.000000e+00 | -- | Inf
71.38/71.44 c 71.4s| 14500 | 40 |487782 | 33.1 | 12M| 49 | 116 | 340 |1887 | 340 |1436 | 79 | 970 |2566 | 0.000000e+00 | -- | Inf
71.67/71.78 c 71.8s| 14600 | 40 |491406 | 33.1 | 12M| 49 | 129 | 340 |1896 | 340 |1436 | 79 | 981 |2566 | 0.000000e+00 | -- | Inf
71.97/72.09 c 72.1s| 14700 | 42 |494668 | 33.1 | 12M| 49 | 101 | 340 |1900 | 340 |1436 | 80 | 987 |2566 | 0.000000e+00 | -- | Inf
72.37/72.42 c 72.4s| 14800 | 36 |498132 | 33.1 | 12M| 49 | - | 340 |1901 | 0 | 0 | 80 | 990 |2566 | 0.000000e+00 | -- | Inf
72.68/72.71 c 72.7s| 14900 | 36 |501168 | 33.1 | 12M| 49 | - | 340 |1905 | 340 |1435 | 81 | 995 |2566 | 0.000000e+00 | -- | Inf
72.98/73.03 c 73.0s| 15000 | 36 |504540 | 33.1 | 12M| 49 | 120 | 340 |1905 | 340 |1436 | 83 | 996 |2566 | 0.000000e+00 | -- | Inf
73.27/73.34 c 73.3s| 15100 | 40 |507753 | 33.1 | 12M| 49 | - | 340 |1906 | 340 |1435 | 83 |1001 |2566 | 0.000000e+00 | -- | Inf
73.58/73.70 c 73.7s| 15200 | 36 |511686 | 33.1 | 12M| 49 | - | 340 |1906 | 340 |1435 | 83 |1003 |2566 | 0.000000e+00 | -- | Inf
73.97/74.05 c 74.0s| 15300 | 40 |515438 | 33.1 | 12M| 49 | - | 340 |1911 | 340 |1436 | 86 |1009 |2566 | 0.000000e+00 | -- | Inf
74.37/74.45 c 74.4s| 15400 | 48 |519557 | 33.2 | 12M| 49 | 115 | 340 |1913 | 340 |1436 | 94 |1014 |2566 | 0.000000e+00 | -- | Inf
74.67/74.72 c 74.7s| 15500 | 40 |522366 | 33.2 | 12M| 49 | - | 340 |1912 | 340 |1436 | 94 |1014 |2566 | 0.000000e+00 | -- | Inf
74.97/75.03 c 75.0s| 15600 | 40 |525526 | 33.2 | 12M| 49 | 110 | 340 |1928 | 340 |1436 | 95 |1030 |2566 | 0.000000e+00 | -- | Inf
75.27/75.35 c 75.3s| 15700 | 42 |528700 | 33.1 | 12M| 49 | 121 | 340 |1937 | 340 |1436 | 96 |1039 |2566 | 0.000000e+00 | -- | Inf
75.66/75.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.66/75.70 c 75.7s| 15800 | 42 |532606 | 33.2 | 12M| 49 | 124 | 340 |1942 | 340 |1436 | 96 |1048 |2566 | 0.000000e+00 | -- | Inf
75.87/75.99 c 76.0s| 15900 | 42 |535384 | 33.1 | 12M| 49 | - | 340 |1952 | 0 | 0 | 96 |1061 |2566 | 0.000000e+00 | -- | Inf
76.27/76.30 c 76.3s| 16000 | 44 |538487 | 33.1 | 12M| 49 | 124 | 340 |1954 | 340 |1436 | 96 |1070 |2566 | 0.000000e+00 | -- | Inf
76.57/76.63 c 76.6s| 16100 | 44 |541800 | 33.1 | 12M| 49 | 113 | 340 |1957 | 340 |1436 | 97 |1078 |2566 | 0.000000e+00 | -- | Inf
76.98/77.02 c 77.0s| 16200 | 42 |544860 | 33.1 | 12M| 49 | 127 | 340 |1966 | 340 |1436 | 97 |1092 |2577 | 0.000000e+00 | -- | Inf
77.37/77.40 c 77.4s| 16300 | 46 |548915 | 33.2 | 12M| 49 | 113 | 340 |1968 | 340 |1436 | 97 |1097 |2577 | 0.000000e+00 | -- | Inf
77.67/77.76 c 77.8s| 16400 | 42 |551951 | 33.1 | 12M| 53 | - | 340 |1968 | 340 |1436 | 97 |1100 |2589 | 0.000000e+00 | -- | Inf
78.08/78.13 c 78.1s| 16500 | 40 |554922 | 33.1 | 12M| 53 | - | 340 |1973 | 340 |1436 | 97 |1108 |2600 | 0.000000e+00 | -- | Inf
78.37/78.48 c 78.5s| 16600 | 40 |557533 | 33.1 | 12M| 53 | 119 | 340 |1977 | 340 |1436 | 97 |1122 |2609 | 0.000000e+00 | -- | Inf
78.77/78.85 c 78.9s| 16700 | 36 |560471 | 33.1 | 12M| 53 | - | 340 |1966 | 0 | 0 | 97 |1129 |2618 | 0.000000e+00 | -- | Inf
79.07/79.12 c 79.1s| 16800 | 34 |563135 | 33.0 | 12M| 53 | - | 340 |1955 | 340 |1436 | 98 |1137 |2618 | 0.000000e+00 | -- | Inf
79.37/79.48 c 79.5s| 16900 | 36 |565820 | 33.0 | 12M| 53 | - | 340 |1941 | 0 | 0 | 99 |1145 |2631 | 0.000000e+00 | -- | Inf
79.77/79.83 c 79.8s| 17000 | 34 |568634 | 33.0 | 12M| 53 | 109 | 340 |1935 | 340 |1436 | 100 |1148 |2640 | 0.000000e+00 | -- | Inf
80.07/80.18 c 80.2s| 17100 | 34 |571623 | 32.9 | 12M| 53 | - | 340 |1930 | 340 |1436 | 100 |1149 |2650 | 0.000000e+00 | -- | Inf
80.57/80.64 c 80.6s| 17200 | 36 |575057 | 32.9 | 12M| 53 | 107 | 340 |1927 | 340 |1436 | 101 |1154 |2667 | 0.000000e+00 | -- | Inf
80.87/80.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.87/80.98 c 81.0s| 17300 | 34 |577785 | 32.9 | 12M| 53 | - | 340 |1918 | 340 |1436 | 101 |1160 |2681 | 0.000000e+00 | -- | Inf
81.17/81.29 c 81.3s| 17400 | 36 |580589 | 32.9 | 12M| 53 | 104 | 340 |1905 | 340 |1436 | 102 |1161 |2689 | 0.000000e+00 | -- | Inf
81.56/81.62 c 81.6s| 17500 | 38 |583021 | 32.8 | 12M| 53 | 119 | 340 |1903 | 340 |1435 | 103 |1164 |2711 | 0.000000e+00 | -- | Inf
81.87/81.96 c 82.0s| 17600 | 38 |585952 | 32.8 | 12M| 53 | - | 340 |1898 | 0 | 0 | 104 |1170 |2718 | 0.000000e+00 | -- | Inf
82.27/82.32 c 82.3s| 17700 | 36 |588767 | 32.8 | 12M| 53 | 105 | 340 |1902 | 340 |1436 | 105 |1177 |2740 | 0.000000e+00 | -- | Inf
82.57/82.68 c 82.7s| 17800 | 36 |591712 | 32.8 | 12M| 53 | 115 | 340 |1909 | 340 |1435 | 105 |1190 |2758 | 0.000000e+00 | -- | Inf
82.97/83.00 c 83.0s| 17900 | 34 |594586 | 32.7 | 12M| 53 | - | 340 |1913 | 340 |1436 | 109 |1194 |2766 | 0.000000e+00 | -- | Inf
83.27/83.37 c 83.4s| 18000 | 34 |597753 | 32.7 | 12M| 53 | - | 340 |1919 | 340 |1436 | 113 |1202 |2776 | 0.000000e+00 | -- | Inf
83.67/83.75 c 83.7s| 18100 | 34 |601148 | 32.7 | 12M| 53 | 99 | 340 |1922 | 340 |1436 | 114 |1209 |2786 | 0.000000e+00 | -- | Inf
83.97/84.00 c 84.0s| 18200 | 34 |603761 | 32.7 | 12M| 53 | 102 | 340 |1923 | 340 |1436 | 115 |1216 |2786 | 0.000000e+00 | -- | Inf
84.16/84.24 c 84.2s| 18300 | 34 |606254 | 32.7 | 12M| 53 | 113 | 340 |1926 | 340 |1436 | 115 |1221 |2787 | 0.000000e+00 | -- | Inf
84.47/84.53 c 84.5s| 18400 | 34 |608916 | 32.6 | 12M| 53 | 113 | 340 |1928 | 340 |1436 | 117 |1224 |2792 | 0.000000e+00 | -- | Inf
84.68/84.78 c 84.8s| 18500 | 34 |611243 | 32.6 | 12M| 53 | 115 | 340 |1930 | 340 |1436 | 119 |1228 |2795 | 0.000000e+00 | -- | Inf
84.97/85.06 c 85.1s| 18600 | 32 |613812 | 32.5 | 12M| 53 | - | 340 |1941 | 0 | 0 | 120 |1241 |2799 | 0.000000e+00 | -- | Inf
85.27/85.37 c 85.4s| 18700 | 32 |617187 | 32.6 | 12M| 53 | 121 | 340 |1940 | 340 |1436 | 120 |1243 |2800 | 0.000000e+00 | -- | Inf
85.57/85.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.57/85.63 c 85.6s| 18800 | 32 |619687 | 32.5 | 12M| 53 | 107 | 340 |1941 | 340 |1436 | 121 |1246 |2800 | 0.000000e+00 | -- | Inf
85.87/85.91 c 85.9s| 18900 | 30 |622237 | 32.5 | 12M| 53 | - | 340 |1937 | 340 |1436 | 123 |1254 |2804 | 0.000000e+00 | -- | Inf
86.07/86.16 c 86.2s| 19000 | 32 |624833 | 32.4 | 12M| 53 | - | 340 |1938 | 340 |1436 | 126 |1259 |2804 | 0.000000e+00 | -- | Inf
86.27/86.38 c 86.4s| 19100 | 30 |627099 | 32.4 | 12M| 53 | - | 340 |1942 | 0 | 0 | 126 |1264 |2804 | 0.000000e+00 | -- | Inf
86.57/86.66 c 86.7s| 19200 | 32 |629979 | 32.4 | 12M| 53 | 118 | 340 |1947 | 340 |1436 | 127 |1270 |2804 | 0.000000e+00 | -- | Inf
86.88/86.92 c 86.9s| 19300 | 32 |632721 | 32.3 | 12M| 53 | - | 340 |1947 | 340 |1436 | 127 |1272 |2804 | 0.000000e+00 | -- | Inf
87.17/87.22 c 87.2s| 19400 | 32 |635741 | 32.3 | 12M| 53 | - | 340 |1950 | 340 |1436 | 128 |1278 |2805 | 0.000000e+00 | -- | Inf
87.47/87.50 c 87.5s| 19500 | 30 |638542 | 32.3 | 12M| 53 | - | 340 |1949 | 0 | 0 | 129 |1282 |2806 | 0.000000e+00 | -- | Inf
87.77/87.82 c 87.8s| 19600 | 32 |641592 | 32.3 | 12M| 53 | 112 | 340 |1954 | 340 |1436 | 130 |1291 |2809 | 0.000000e+00 | -- | Inf
87.98/88.07 c 88.1s| 19700 | 32 |644268 | 32.3 | 12M| 53 | - | 340 |1955 | 340 |1435 | 130 |1293 |2809 | 0.000000e+00 | -- | Inf
88.37/88.43 c 88.4s| 19800 | 30 |648068 | 32.3 | 12M| 53 | - | 340 |1955 | 0 | 0 | 131 |1298 |2809 | 0.000000e+00 | -- | Inf
88.67/88.75 c 88.7s| 19900 | 34 |651414 | 32.3 | 12M| 53 | 110 | 340 |1956 | 340 |1436 | 131 |1301 |2809 | 0.000000e+00 | -- | Inf
88.87/88.96 c 89.0s| 20000 | 32 |653586 | 32.3 | 12M| 53 | - | 340 |1967 | 340 |1436 | 131 |1313 |2809 | 0.000000e+00 | -- | Inf
89.08/89.19 c 89.2s| 20100 | 32 |656028 | 32.2 | 12M| 53 | - | 340 |1973 | 0 | 0 | 131 |1321 |2809 | 0.000000e+00 | -- | Inf
89.36/89.43 c 89.4s| 20200 | 32 |658480 | 32.2 | 12M| 53 | - | 340 |1973 | 340 |1436 | 131 |1321 |2809 | 0.000000e+00 | -- | Inf
89.66/89.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.66/89.70 c 89.7s| 20300 | 32 |661239 | 32.2 | 12M| 53 | - | 340 |1979 | 340 |1436 | 131 |1327 |2809 | 0.000000e+00 | -- | Inf
89.87/89.96 c 90.0s| 20400 | 30 |664082 | 32.1 | 12M| 53 | - | 340 |1981 | 340 |1436 | 131 |1335 |2809 | 0.000000e+00 | -- | Inf
90.17/90.25 c 90.3s| 20500 | 32 |667193 | 32.1 | 12M| 53 | - | 340 |1992 | 340 |1436 | 131 |1348 |2809 | 0.000000e+00 | -- | Inf
90.47/90.50 c 90.5s| 20600 | 28 |669770 | 32.1 | 12M| 53 | - | 340 |1993 | 340 |1436 | 131 |1352 |2809 | 0.000000e+00 | -- | Inf
90.76/90.81 c 90.8s| 20700 | 28 |672377 | 32.1 | 12M| 53 | - | 340 |1996 | 340 |1436 | 132 |1356 |2819 | 0.000000e+00 | -- | Inf
91.07/91.14 c 91.1s| 20800 | 28 |675007 | 32.0 | 12M| 53 | - | 340 |2001 | 340 |1436 | 133 |1370 |2831 | 0.000000e+00 | -- | Inf
91.37/91.42 c 91.4s| 20900 | 28 |677317 | 32.0 | 12M| 53 | 118 | 340 |1991 | 340 |1435 | 134 |1376 |2840 | 0.000000e+00 | -- | Inf
91.66/91.73 c 91.7s| 21000 | 28 |679906 | 32.0 | 12M| 53 | 119 | 340 |1993 | 340 |1435 | 134 |1386 |2854 | 0.000000e+00 | -- | Inf
92.07/92.17 c 92.2s| 21100 | 28 |683116 | 32.0 | 12M| 53 | - | 340 |1987 | 340 |1436 | 135 |1389 |2884 | 0.000000e+00 | -- | Inf
92.47/92.57 c 92.6s| 21200 | 30 |685430 | 31.9 | 12M| 53 | 129 | 340 |1978 | 340 |1436 | 136 |1399 |2906 | 0.000000e+00 | -- | Inf
92.77/92.88 c 92.9s| 21300 | 32 |688491 | 31.9 | 12M| 53 | 115 | 340 |1959 | 340 |1435 | 136 |1405 |2906 | 0.000000e+00 | -- | Inf
93.16/93.23 c 93.2s| 21400 | 30 |691882 | 31.9 | 12M| 53 | - | 340 |1957 | 340 |1436 | 137 |1416 |2911 | 0.000000e+00 | -- | Inf
93.57/93.67 c 93.7s| 21500 | 32 |695026 | 31.9 | 12M| 53 | - | 340 |1956 | 340 |1436 | 142 |1421 |2929 | 0.000000e+00 | -- | Inf
93.97/94.03 c 94.0s| 21600 | 28 |698513 | 32.0 | 12M| 53 | 129 | 340 |1950 | 340 |1436 | 144 |1433 |2931 | 0.000000e+00 | -- | Inf
94.47/94.51 c 94.5s| 21700 | 26 |702419 | 32.0 | 12M| 53 | 127 | 340 |1948 | 340 |1436 | 145 |1446 |2946 | 0.000000e+00 | -- | Inf
94.77/94.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.77/94.80 c 94.8s| 21800 | 26 |704860 | 31.9 | 12M| 53 | - | 340 |1939 | 0 | 0 | 145 |1454 |2955 | 0.000000e+00 | -- | Inf
95.06/95.10 c 95.1s| 21900 | 28 |706987 | 31.9 | 12M| 53 | 152 | 340 |1929 | 340 |1436 | 145 |1463 |2965 | 0.000000e+00 | -- | Inf
95.37/95.43 c 95.4s| 22000 | 30 |709697 | 31.9 | 12M| 53 | - | 340 |1908 | 340 |1436 | 145 |1463 |2975 | 0.000000e+00 | -- | Inf
95.67/95.78 c 95.8s| 22100 | 26 |712539 | 31.9 | 12M| 53 | 127 | 340 |1891 | 340 |1435 | 145 |1473 |2986 | 0.000000e+00 | -- | Inf
96.07/96.14 c 96.1s| 22200 | 30 |715581 | 31.9 | 12M| 53 | - | 340 |1868 | 340 |1435 | 149 |1481 |2996 | 0.000000e+00 | -- | Inf
96.47/96.56 c 96.6s| 22300 | 30 |719169 | 31.9 | 12M| 53 | 111 | 340 |1847 | 340 |1435 | 151 |1485 |3011 | 0.000000e+00 | -- | Inf
96.87/96.97 c 97.0s| 22400 | 28 |722508 | 31.9 | 12M| 53 | - | 340 |1837 | 340 |1435 | 151 |1488 |3028 | 0.000000e+00 | -- | Inf
97.27/97.31 c 97.3s| 22500 | 28 |725493 | 31.9 | 12M| 53 | - | 340 |1822 | 0 | 0 | 151 |1490 |3043 | 0.000000e+00 | -- | Inf
97.47/97.55 c 97.6s| 22600 | 26 |727857 | 31.8 | 12M| 53 | - | 340 |1817 | 340 |1436 | 151 |1494 |3044 | 0.000000e+00 | -- | Inf
97.87/97.91 c 97.9s| 22700 | 30 |731230 | 31.8 | 12M| 53 | - | 340 |1818 | 340 |1436 | 151 |1500 |3048 | 0.000000e+00 | -- | Inf
98.27/98.34 c 98.3s| 22800 | 26 |735292 | 31.9 | 12M| 53 | - | 340 |1821 | 340 |1436 | 151 |1506 |3053 | 0.000000e+00 | -- | Inf
98.57/98.64 c 98.6s| 22900 | 28 |737934 | 31.9 | 12M| 53 | 107 | 340 |1817 | 340 |1436 | 151 |1506 |3063 | 0.000000e+00 | -- | Inf
98.98/99.05 c 99.0s| 23000 | 30 |741577 | 31.9 | 12M| 53 | 85 | 340 |1817 | 340 |1436 | 151 |1509 |3074 | 0.000000e+00 | -- | Inf
99.26/99.33 c 99.3s| 23100 | 30 |744555 | 31.9 | 12M| 53 | - | 340 |1819 | 340 |1436 | 151 |1512 |3074 | 0.000000e+00 | -- | Inf
99.67/99.70 c 99.7s| 23200 | 30 |748437 | 31.9 | 12M| 53 | 120 | 340 |1824 | 340 |1436 | 151 |1518 |3074 | 0.000000e+00 | -- | Inf
99.98/100.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.98/100.04 c 100s| 23300 | 28 |752194 | 31.9 | 12M| 53 | - | 340 |1827 | 340 |1436 | 151 |1522 |3074 | 0.000000e+00 | -- | Inf
100.37/100.40 c 100s| 23400 | 30 |756198 | 32.0 | 12M| 53 | - | 340 |1828 | 340 |1436 | 151 |1524 |3074 | 0.000000e+00 | -- | Inf
100.76/100.80 c 101s| 23500 | 28 |760580 | 32.0 | 12M| 53 | - | 340 |1830 | 340 |1436 | 151 |1527 |3074 | 0.000000e+00 | -- | Inf
101.17/101.23 c 101s| 23600 | 30 |764545 | 32.0 | 12M| 53 | 174 | 340 |1800 | 340 |1435 | 151 |1534 |3079 | 0.000000e+00 | -- | Inf
101.57/101.67 c 102s| 23700 | 28 |768901 | 32.1 | 12M| 53 | - | 340 |1781 | 340 |1435 | 151 |1534 |3085 | 0.000000e+00 | -- | Inf
101.86/101.99 c 102s| 23800 | 30 |772255 | 32.1 | 12M| 53 | 110 | 340 |1777 | 340 |1436 | 151 |1537 |3085 | 0.000000e+00 | -- | Inf
102.27/102.33 c 102s| 23900 | 28 |775972 | 32.1 | 12M| 53 | 109 | 340 |1772 | 340 |1435 | 151 |1541 |3085 | 0.000000e+00 | -- | Inf
102.47/102.58 c 103s| 24000 | 26 |778411 | 32.1 | 12M| 53 | - | 340 |1775 | 340 |1436 | 156 |1549 |3085 | 0.000000e+00 | -- | Inf
102.67/102.76 c * 103s| 24088 | 0 |780176 | 32.0 | 12M| 53 | - | 340 |1774 | 340 |1435 | 156 |1560 |3085 | 0.000000e+00 | 0.000000e+00 | 0.00%
102.67/102.76 c
102.67/102.76 c SCIP Status : problem is solved [optimal solution found]
102.67/102.76 c Solving Time (sec) : 102.76
102.67/102.76 c Solving Nodes : 24088
102.67/102.76 c Primal Bound : +0.00000000000000e+00 (1 solutions)
102.67/102.76 c Dual Bound : +0.00000000000000e+00
102.67/102.76 c Gap : 0.00 %
102.67/102.76 s SATISFIABLE
102.67/102.76 v x369 -x370 -x367 x368 x365 -x366 -x363 x364 -x361 x362 -x359 x360 -x357 x358 -x355 -x356 -x353 -x354 -x351 -x352 -x349 -x350 x347
102.67/102.76 v -x348 -x345 -x346 x343 -x344 -x341 -x342 x339 -x340 x337 -x338 x335 -x336 x333 -x334 x331 -x332 -x329 x330 x327 -x328 -x325
102.67/102.76 v x326 -x323 x324 -x321 x322 -x319 x320 -x317 x318 -x315 x316 -x313 x314 -x311 -x312 -x309 x310 -x307 -x308 -x305 -x306 x303
102.67/102.76 v -x304 x301 -x302 x299 -x300 x297 -x298 -x295 x296 -x293 x294 -x291 x292 x289 -x290 -x287 x288 x285 -x286 x283 -x284 x281 -x282
102.67/102.76 v -x279 x280 -x277 x278 -x275 x276 x273 -x274 x271 -x272 x269 -x270 -x267 x268 -x265 x266 x263 -x264 x261 -x262 x259 -x260 x257
102.67/102.76 v -x258 x255 -x256 x253 -x254 -x251 x252 -x249 x250 -x247 x248 -x245 x246 -x243 x244 -x242 x240 -x238 -x236 -x234 -x232 x230
102.67/102.76 v x228 x226 -x224 -x222 x220 -x218 x216 -x214 -x212 -x210 x208 x206 x204 -x202 -x200 -x198 x196 -x194 -x192 -x190 -x188 -x186
102.67/102.76 v x184 -x182 -x180 -x178 x176 -x174 x172 -x170 -x168 -x166 -x164 -x162 x160 -x158 -x156 -x154 x152 -x150 -x148 -x146 -x144 -x142
102.67/102.76 v -x140 -x138 -x136 -x134 -x132 -x130 x128 -x126 -x124 -x122 x120 -x118 -x116 -x114 -x112 -x110 -x108 -x106 -x104 -x102 -x100
102.67/102.76 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
102.67/102.76 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
102.67/102.76 v -x237 -x235 -x233 -x231 -x229 -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209 -x207 -x205 -x203 -x201 -x199 -x197
102.67/102.76 v -x195 -x193 -x191 -x189 -x187 -x185 -x183 -x181 -x179 -x177 -x175 -x173 -x171 -x169 -x167 -x165 -x163 -x161 -x159 -x157
102.67/102.76 v -x155 -x153 -x151 -x149 -x147 -x145 -x143 -x141 -x139 -x137 -x135 -x133 -x131 -x129 -x127 -x125 -x123 -x121 -x119 -x117 -x115
102.67/102.76 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
102.67/102.76 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
102.67/102.76 v -x9 -x7 -x5 -x3 x1
102.67/102.76 c SCIP Status : problem is solved [optimal solution found]
102.67/102.76 c Total Time : 102.76
102.67/102.76 c solving : 102.76
102.67/102.76 c presolving : 0.14 (included in solving)
102.67/102.76 c reading : 0.00 (included in solving)
102.67/102.76 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
102.67/102.76 c Original Problem :
102.67/102.76 c Problem name : HOME/instance-3692804-1338017268.opb
102.67/102.76 c Variables : 370 (370 binary, 0 integer, 0 implicit integer, 0 continuous)
102.67/102.76 c Constraints : 809 initial, 809 maximal
102.67/102.76 c Objective sense : minimize
102.67/102.76 c Presolved Problem :
102.67/102.76 c Problem name : t_HOME/instance-3692804-1338017268.opb
102.67/102.76 c Variables : 340 (340 binary, 0 integer, 0 implicit integer, 0 continuous)
102.67/102.76 c Constraints : 1405 initial, 2003 maximal
102.67/102.76 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
102.67/102.76 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
102.67/102.76 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
102.67/102.76 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
102.67/102.76 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
102.67/102.76 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
102.67/102.76 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
102.67/102.76 c gateextraction : 0.00 0.00 0 0 0 0 0 15 5 0 0
102.67/102.76 c implics : 0.00 0.00 0 8 0 0 0 0 0 0 0
102.67/102.76 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
102.67/102.76 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
102.67/102.76 c probing : 0.07 0.00 7 1 0 1 0 0 0 0 0
102.67/102.76 c knapsack : 0.02 0.00 0 0 0 0 0 36 748 724 1504
102.67/102.76 c setppc : 0.02 0.00 0 0 0 0 0 72 0 0 0
102.67/102.76 c and : 0.00 0.00 0 0 0 0 0 1 1 0 0
102.67/102.76 c linear : 0.02 0.00 14 0 0 14 0 33 0 0 0
102.67/102.76 c logicor : 0.01 0.00 0 0 0 0 0 1 0 0 0
102.67/102.76 c root node : - - 0 - - 0 - - - - -
102.67/102.76 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
102.67/102.76 c integral : 0 0 0 0 12732 0 6 0 114 1233 0 0 24116
102.67/102.76 c knapsack : 204 204 6 82343 1 0 3 22818 1788 81525 2 0 0
102.67/102.76 c setppc : 842 842 6 80555 1 0 0 71795 382 258552 0 0 0
102.67/102.76 c and : 4 4 9031 53424 1 0 0 516 4 2729 127 0 0
102.67/102.76 c logicor : 355+ 953 6 65009 1 0 0 2202 280 58858 0 0 0
102.67/102.76 c countsols : 0 0 0 0 1 0 2 0 0 0 0 0 0
102.67/102.76 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
102.67/102.76 c integral : 25.47 0.00 0.00 0.00 25.47 0.00 0.00 0.00
102.67/102.76 c knapsack : 0.51 0.00 0.01 0.47 0.00 0.00 0.00 0.03
102.67/102.76 c setppc : 0.68 0.00 0.00 0.62 0.00 0.00 0.00 0.06
102.67/102.76 c and : 0.06 0.00 0.01 0.05 0.00 0.00 0.00 0.00
102.67/102.76 c logicor : 0.39 0.00 0.00 0.38 0.00 0.00 0.00 0.00
102.67/102.76 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
102.67/102.76 c Propagators : #Propagate #ResProp Cutoffs DomReds
102.67/102.76 c rootredcost : 0 0 0 0
102.67/102.76 c pseudoobj : 0 0 0 0
102.67/102.76 c vbounds : 0 0 0 0
102.67/102.76 c redcost : 12859 0 0 0
102.67/102.76 c probing : 0 0 0 0
102.67/102.76 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
102.67/102.76 c rootredcost : 0.07 0.00 0.00 0.07 0.00
102.67/102.76 c pseudoobj : 0.07 0.00 0.00 0.07 0.00
102.67/102.76 c vbounds : 0.06 0.00 0.00 0.06 0.00
102.67/102.76 c redcost : 0.07 0.00 0.00 0.07 0.00
102.67/102.76 c probing : 0.07 0.00 0.07 0.00 0.00
102.67/102.76 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
102.67/102.76 c propagation : 0.22 841 804 6251 57.3 3 8.0 -
102.67/102.76 c infeasible LP : 0.60 9643 3 6 8.2 0 0.0 0
102.67/102.76 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
102.67/102.76 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
102.67/102.76 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
102.67/102.76 c applied globally : - - - 1540 17.4 - - -
102.67/102.76 c applied locally : - - - 20 48.5 - - -
102.67/102.76 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
102.67/102.76 c cut pool : 0.00 5 - - 307 - (maximal pool size: 1486)
102.67/102.76 c closecuts : 0.00 0.00 0 0 0 0 0
102.67/102.76 c impliedbounds : 0.00 0.00 6 0 0 16 0
102.67/102.76 c intobj : 0.00 0.00 0 0 0 0 0
102.67/102.76 c gomory : 0.55 0.00 6 0 0 100 0
102.67/102.76 c cgmip : 0.00 0.00 0 0 0 0 0
102.67/102.76 c strongcg : 0.53 0.00 6 0 0 2911 0
102.67/102.76 c cmir : 0.02 0.00 6 0 0 0 0
102.67/102.76 c flowcover : 0.06 0.00 6 0 0 5 0
102.67/102.76 c clique : 0.02 0.00 6 0 0 24 0
102.67/102.76 c zerohalf : 0.00 0.00 0 0 0 0 0
102.67/102.76 c mcf : 0.00 0.00 1 0 0 0 0
102.67/102.76 c oddcycle : 0.00 0.00 0 0 0 0 0
102.67/102.76 c rapidlearning : 0.00 0.00 0 0 0 0 0
102.67/102.76 c Pricers : ExecTime SetupTime Calls Vars
102.67/102.76 c problem variables: 0.00 - 0 0
102.67/102.76 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
102.67/102.76 c relpscost : 25.44 0.00 12731 114 1233 0 0 24116
102.67/102.76 c pscost : 0.00 0.00 0 0 0 0 0 0
102.67/102.76 c inference : 0.00 0.00 0 0 0 0 0 0
102.67/102.76 c mostinf : 0.00 0.00 0 0 0 0 0 0
102.67/102.76 c leastinf : 0.00 0.00 0 0 0 0 0 0
102.67/102.76 c fullstrong : 0.00 0.00 0 0 0 0 0 0
102.67/102.76 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
102.67/102.76 c random : 0.00 0.00 0 0 0 0 0 0
102.67/102.76 c Primal Heuristics : ExecTime SetupTime Calls Found
102.67/102.76 c LP solutions : 0.00 - - 1
102.67/102.76 c pseudo solutions : 0.00 - - 0
102.67/102.76 c oneopt : 0.03 0.00 0 0
102.67/102.76 c crossover : 0.02 0.00 0 0
102.67/102.76 c guideddiving : 0.00 0.00 0 0
102.67/102.76 c intshifting : 0.00 0.00 0 0
102.67/102.76 c rootsoldiving : 0.24 0.00 6 0
102.67/102.76 c coefdiving : 0.13 0.00 12 0
102.67/102.76 c pscostdiving : 0.10 0.00 12 0
102.67/102.76 c fracdiving : 0.14 0.00 12 0
102.67/102.76 c linesearchdiving : 0.16 0.00 12 0
102.67/102.76 c veclendiving : 0.18 0.00 12 0
102.67/102.76 c feaspump : 0.85 0.00 6 0
102.67/102.76 c objpscostdiving : 0.04 0.00 7 0
102.67/102.76 c smallcard : 0.00 0.00 0 0
102.67/102.76 c trivial : 0.00 0.00 2 0
102.67/102.76 c shiftandpropagate: 0.01 0.00 1 0
102.67/102.76 c simplerounding : 0.01 0.00 0 0
102.67/102.76 c zirounding : 0.09 0.00 1000 0
102.67/102.76 c rounding : 0.24 0.00 1539 0
102.67/102.76 c shifting : 0.16 0.00 449 0
102.67/102.76 c twoopt : 0.00 0.00 0 0
102.67/102.76 c indoneopt : 0.05 0.00 0 0
102.67/102.76 c indtwoopt : 0.00 0.00 0 0
102.67/102.76 c fixandinfer : 0.00 0.00 0 0
102.67/102.76 c clique : 0.00 0.00 0 0
102.67/102.76 c indcoefdiving : 0.00 0.00 0 0
102.67/102.76 c indrounding : 0.00 0.00 0 0
102.67/102.76 c nlpdiving : 0.00 0.00 0 0
102.67/102.76 c intdiving : 0.00 0.00 0 0
102.67/102.76 c actconsdiving : 0.00 0.00 0 0
102.67/102.76 c octane : 0.00 0.00 0 0
102.67/102.76 c rens : 0.01 0.00 0 0
102.67/102.76 c rins : 0.00 0.00 0 0
102.67/102.76 c localbranching : 0.00 0.00 0 0
102.67/102.76 c mutation : 0.00 0.00 0 0
102.67/102.76 c dins : 0.00 0.00 0 0
102.67/102.76 c vbounds : 0.00 0.00 0 0
102.67/102.76 c undercover : 0.00 0.00 1 0
102.67/102.76 c subnlp : 0.02 0.00 0 0
102.67/102.76 c trysol : 0.03 0.00 0 0
102.67/102.76 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
102.67/102.76 c primal LP : 0.00 1 0 0.00 - 0.00 1
102.67/102.76 c dual LP : 66.61 22368 761079 34.06 11425.83 0.01 23
102.67/102.76 c lex dual LP : 0.00 0 0 0.00 -
102.67/102.76 c barrier LP : 0.00 0 0 0.00 - 0.00 0
102.67/102.76 c diving/probing LP: 1.73 418 19097 45.69 11031.18
102.67/102.76 c strong branching : 25.01 3085 255043 82.67 10199.44
102.67/102.76 c (at root node) : - 17 13981 822.41 -
102.67/102.76 c conflict analysis: 0.00 0 0 0.00 -
102.67/102.76 c B&B Tree :
102.67/102.76 c number of runs : 1
102.67/102.76 c nodes : 24088
102.67/102.76 c nodes (total) : 24088
102.67/102.76 c nodes left : 0
102.67/102.76 c max depth : 53
102.67/102.76 c max depth (total): 53
102.67/102.76 c backtracks : 3393 (14.1%)
102.67/102.76 c delayed cutoffs : 1
102.67/102.76 c repropagations : 2528 (1571 domain reductions, 0 cutoffs)
102.67/102.76 c avg switch length: 2.96
102.67/102.76 c switching time : 0.89
102.67/102.76 c Solution :
102.67/102.76 c Solutions found : 1 (1 improvements)
102.67/102.76 c First Solution : +0.00000000000000e+00 (in run 1, after 24088 nodes, 102.76 seconds, depth 24, found by <relaxation>)
102.67/102.76 c Primal Bound : +0.00000000000000e+00 (in run 1, after 24088 nodes, 102.76 seconds, depth 24, found by <relaxation>)
102.67/102.76 c Dual Bound : +0.00000000000000e+00
102.67/102.76 c Gap : 0.00 %
102.67/102.76 c Root Dual Bound : +0.00000000000000e+00
102.67/102.76 c Root Iterations : 8418
102.67/102.77 c Time complete: 102.75.
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-3692804-1338017268/watcher-3692804-1338017268 -o /tmp/evaluation-result-3692804-1338017268/solver-3692804-1338017268 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692804-1338017268.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.75 1.92 2.02 3/178 31531
/proc/meminfo: memFree=28074340/32873844 swapFree=7608/7608
[pid=31531] ppid=31529 vsize=10160 CPUtime=0 cores=1,3,5,7
/proc/31531/stat : 31531 (scip-2.1.1.4sfi) R 31529 31531 30878 0 -1 4202496 1285 0 0 0 0 0 0 0 20 0 1 0 267851627 10403840 1240 33554432000 4194304 10169799 140736747859664 140735474684584 8797266 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31531/statm: 2540 1242 409 1459 0 1072 0
[startup+0.0954229 s]
/proc/loadavg: 1.75 1.92 2.02 3/178 31531
/proc/meminfo: memFree=28074340/32873844 swapFree=7608/7608
[pid=31531] ppid=31529 vsize=22504 CPUtime=0.09 cores=1,3,5,7
/proc/31531/stat : 31531 (scip-2.1.1.4sfi) R 31529 31531 30878 0 -1 4202496 4500 0 0 0 6 3 0 0 20 0 1 0 267851627 23044096 4198 33554432000 4194304 10169799 140736747859664 140735474684584 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31531/statm: 5626 4198 621 1459 0 4158 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22504
[startup+0.100298 s]
/proc/loadavg: 1.75 1.92 2.02 3/178 31531
/proc/meminfo: memFree=28074340/32873844 swapFree=7608/7608
[pid=31531] ppid=31529 vsize=22504 CPUtime=0.09 cores=1,3,5,7
/proc/31531/stat : 31531 (scip-2.1.1.4sfi) R 31529 31531 30878 0 -1 4202496 4500 0 0 0 6 3 0 0 20 0 1 0 267851627 23044096 4198 33554432000 4194304 10169799 140736747859664 140735474684584 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31531/statm: 5626 4198 621 1459 0 4158 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22504
[startup+0.300269 s]
/proc/loadavg: 1.75 1.92 2.02 3/178 31531
/proc/meminfo: memFree=28074340/32873844 swapFree=7608/7608
[pid=31531] ppid=31529 vsize=26668 CPUtime=0.29 cores=1,3,5,7
/proc/31531/stat : 31531 (scip-2.1.1.4sfi) R 31529 31531 30878 0 -1 4202496 5782 0 0 0 25 4 0 0 20 0 1 0 267851627 27308032 5452 33554432000 4194304 10169799 140736747859664 140735474684584 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31531/statm: 6667 5452 777 1459 0 5199 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26668
[startup+0.700206 s]
/proc/loadavg: 1.75 1.92 2.02 3/178 31531
/proc/meminfo: memFree=28074340/32873844 swapFree=7608/7608
[pid=31531] ppid=31529 vsize=27188 CPUtime=0.69 cores=1,3,5,7
/proc/31531/stat : 31531 (scip-2.1.1.4sfi) R 31529 31531 30878 0 -1 4202496 5921 0 0 0 64 5 0 0 20 0 1 0 267851627 27840512 5567 33554432000 4194304 10169799 140736747859664 140736747852344 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31531/statm: 6797 5567 792 1459 0 5329 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27188
[startup+1.50026 s]
/proc/loadavg: 1.75 1.92 2.02 3/179 31532
/proc/meminfo: memFree=28054980/32873844 swapFree=7608/7608
[pid=31531] ppid=31529 vsize=41616 CPUtime=1.48 cores=1,3,5,7
/proc/31531/stat : 31531 (scip-2.1.1.4sfi) R 31529 31531 30878 0 -1 4202496 8327 0 0 0 142 6 0 0 20 0 1 0 267851627 42614784 8956 33554432000 4194304 10169799 140736747859664 140736747853368 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31531/statm: 10404 8956 830 1459 0 8936 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 41616
[startup+3.1002 s]
/proc/loadavg: 1.75 1.92 2.02 3/179 31532
/proc/meminfo: memFree=28036376/32873844 swapFree=7608/7608
[pid=31531] ppid=31529 vsize=50176 CPUtime=3.09 cores=1,3,5,7
/proc/31531/stat : 31531 (scip-2.1.1.4sfi) R 31529 31531 30878 0 -1 4202496 11391 0 0 0 300 9 0 0 20 0 1 0 267851627 51380224 11218 33554432000 4194304 10169799 140736747859664 140736747854360 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31531/statm: 12544 11218 858 1459 0 11076 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50176
[startup+6.30021 s]
/proc/loadavg: 1.77 1.92 2.02 3/179 31532
/proc/meminfo: memFree=28031900/32873844 swapFree=7608/7608
[pid=31531] ppid=31529 vsize=50176 CPUtime=6.29 cores=1,3,5,7
/proc/31531/stat : 31531 (scip-2.1.1.4sfi) R 31529 31531 30878 0 -1 4202496 11415 0 0 0 616 13 0 0 20 0 1 0 267851627 51380224 11242 33554432000 4194304 10169799 140736747859664 140736747854264 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31531/statm: 12544 11242 859 1459 0 11076 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50176
[startup+12.7002 s]
/proc/loadavg: 1.78 1.92 2.02 3/179 31532
/proc/meminfo: memFree=28031676/32873844 swapFree=7608/7608
[pid=31531] ppid=31529 vsize=50176 CPUtime=12.68 cores=1,3,5,7
/proc/31531/stat : 31531 (scip-2.1.1.4sfi) R 31529 31531 30878 0 -1 4202496 11417 0 0 0 1247 21 0 0 20 0 1 0 267851627 51380224 11244 33554432000 4194304 10169799 140736747859664 140736747854648 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31531/statm: 12544 11244 861 1459 0 11076 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 50176
[startup+25.5003 s]
/proc/loadavg: 1.91 1.94 2.02 3/179 31532
/proc/meminfo: memFree=28029916/32873844 swapFree=7608/7608
[pid=31531] ppid=31529 vsize=50176 CPUtime=25.48 cores=1,3,5,7
/proc/31531/stat : 31531 (scip-2.1.1.4sfi) R 31529 31531 30878 0 -1 4202496 11418 0 0 0 2499 49 0 0 20 0 1 0 267851627 51380224 11245 33554432000 4194304 10169799 140736747859664 140736747854264 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31531/statm: 12544 11245 862 1459 0 11076 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 50176
[startup+51.1002 s]
/proc/loadavg: 1.94 1.95 2.02 3/179 31532
/proc/meminfo: memFree=28026908/32873844 swapFree=7608/7608
[pid=31531] ppid=31529 vsize=50176 CPUtime=51.08 cores=1,3,5,7
/proc/31531/stat : 31531 (scip-2.1.1.4sfi) R 31529 31531 30878 0 -1 4202496 11418 0 0 0 4981 127 0 0 20 0 1 0 267851627 51380224 11245 33554432000 4194304 10169799 140736747859664 140736747853752 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31531/statm: 12544 11245 862 1459 0 11076 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 50176
[startup+102.306 s]
/proc/loadavg: 1.97 1.95 2.01 3/179 31532
/proc/meminfo: memFree=28024748/32873844 swapFree=7608/7608
[pid=31531] ppid=31529 vsize=50528 CPUtime=102.27 cores=1,3,5,7
/proc/31531/stat : 31531 (scip-2.1.1.4sfi) R 31529 31531 30878 0 -1 4202496 11495 0 0 0 9933 294 0 0 20 0 1 0 267851627 51740672 11721 33554432000 4194304 10169799 140736747859664 140736747854456 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31531/statm: 12632 11721 862 1459 0 11164 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 50528
Solver just ended. Dumping a history of the last processes samples
[startup+102.7 s]
/proc/loadavg: 1.97 1.95 2.01 3/179 31532
/proc/meminfo: memFree=28024748/32873844 swapFree=7608/7608
[pid=31531] ppid=31529 vsize=50528 CPUtime=102.67 cores=1,3,5,7
/proc/31531/stat : 31531 (scip-2.1.1.4sfi) R 31529 31531 30878 0 -1 4202496 11495 0 0 0 9970 297 0 0 20 0 1 0 267851627 51740672 11721 33554432000 4194304 10169799 140736747859664 140736747854168 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31531/statm: 12632 11721 862 1459 0 11164 0
Current children cumulated CPU time (s) 102.67
Current children cumulated vsize (KiB) 50528
Child status: 0
Real time (s): 102.78
CPU time (s): 102.755
CPU user time (s): 99.7708
CPU system time (s): 2.98455
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 50528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 99.7708
system time used= 2.98455
maximum resident set size= 47604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11502
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= 13
involuntary context switches= 111
runsolver used 0.151976 second user time and 0.412937 second system time
The end