0.09/0.11 c SCIP version 1.1.0.7
0.09/0.11 c LP-Solver SoPlex 1.4.1
0.09/0.11 c user parameter file <scip.set> not found - using default parameters
0.09/0.11 c read problem <HOME/instance-1869030-1245155160.opb>
0.09/0.11 c original problem has 2666 variables (2666 bin, 0 int, 0 impl, 0 cont) and 6659 constraints
0.09/0.14 c start presolving problem
0.09/0.14 c presolving:
0.19/0.28 c (round 1) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6535 upgd conss, 5642 impls, 0 clqs
0.29/0.30 c (round 2) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6536 upgd conss, 5642 impls, 0 clqs
0.29/0.31 c (round 3) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 5642 impls, 0 clqs
0.29/0.38 c (round 4) 50 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 7104 impls, 0 clqs
0.29/0.38 c (round 5) 53 del vars, 127 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 7142 impls, 0 clqs
0.39/0.41 c (round 6) 53 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 7142 impls, 0 clqs
0.49/0.57 c (round 7) 103 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 27330 impls, 0 clqs
0.59/0.69 c (round 8) 153 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 46786 impls, 0 clqs
0.79/0.84 c (0.7s) probing: 548/2666 (20.6%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.79/0.84 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.79/0.84 c (round 9) 188 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 48388 impls, 0 clqs
0.79/0.86 c (0.7s) probing: 558/2666 (20.9%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.79/0.86 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.79/0.86 c presolving (10 rounds):
0.79/0.86 c 188 deleted vars, 129 deleted constraints, 0 tightened bounds, 0 added holes, 122 changed sides, 0 changed coefficients
0.79/0.86 c 48388 implications, 0 cliques
0.79/0.86 c presolved problem has 2478 variables (2478 bin, 0 int, 0 impl, 0 cont) and 6530 constraints
0.79/0.86 c 6530 constraints of type <logicor>
0.79/0.86 c transformed objective value is always integral (scale: 1)
0.79/0.86 c Presolving Time: 0.66
0.79/0.86 c strange?!, PURESAT with obj
0.79/0.86 c -----------------------------------------------------------------------------------------------
0.79/0.86 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.86 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.86 c limits/memory = c 1620
0.79/0.86 c # maximal time in seconds to run
0.79/0.86 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.86 c limits/time = c 1791
0.79/0.86 c # frequency for displaying node information lines
0.79/0.86 c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.86 c display/freq = c 10000
0.79/0.86 c -----------------------------------------------------------------------------------------------
0.79/0.86 c start solving problem
0.79/0.86 c
4.29/4.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.29/4.39 c 4.2s| 1 | 0 | 5044 | 15M| 0 |1753 |2478 |6530 |6530 |2478 |6343 | 0 | 0 | 0 | 7.986569e+02 | -- | Inf
19.89/19.99 c 19.7s| 1 | 0 | 15611 | 20M| 0 |1974 |2478 |6530 |6530 |2478 |7409 |1066 | 0 | 0 | 8.234726e+02 | -- | Inf
22.48/22.50 c 22.2s| 1 | 0 | 16998 | 26M| 0 |2227 |2478 |6530 |6530 |2478 |7436 |1093 | 0 | 0 | 8.278169e+02 | -- | Inf
25.48/25.56 c 25.2s| 1 | 0 | 18597 | 29M| 0 |1562 |2478 |6530 |6530 |2478 |7472 |1129 | 0 | 0 | 8.324829e+02 | -- | Inf
27.48/27.51 c 27.2s| 1 | 0 | 19648 | 31M| 0 |1546 |2478 |6530 |6530 |2478 |7513 |1170 | 0 | 0 | 8.369248e+02 | -- | Inf
30.08/30.12 c 29.8s| 1 | 0 | 20837 | 34M| 0 |1566 |2478 |6530 |6530 |2478 |7542 |1199 | 0 | 0 | 8.387865e+02 | -- | Inf
34.09/34.13 c 33.8s| 1 | 0 | 22803 | 37M| 0 |1610 |2478 |6530 |6530 |2478 |7579 |1236 | 0 | 0 | 8.416091e+02 | -- | Inf
37.29/37.39 c 37.0s| 1 | 0 | 24576 | 39M| 0 |1589 |2478 |6530 |6530 |2478 |7618 |1275 | 0 | 0 | 8.434840e+02 | -- | Inf
42.18/42.21 c 41.8s| 1 | 0 | 26847 | 42M| 0 |1521 |2478 |6530 |6530 |2478 |7660 |1317 | 0 | 0 | 8.472886e+02 | -- | Inf
47.37/47.44 c 47.0s| 1 | 0 | 29409 | 45M| 0 |1538 |2478 |6530 |6530 |2478 |7705 |1362 | 0 | 0 | 8.510470e+02 | -- | Inf
51.38/51.44 c 51.0s| 1 | 0 | 31081 | 46M| 0 |1576 |2478 |6530 |6530 |2478 |7741 |1398 | 0 | 0 | 8.543916e+02 | -- | Inf
55.27/55.33 c 54.9s| 1 | 0 | 32825 | 51M| 0 |1556 |2478 |6530 |6530 |2478 |7785 |1442 | 0 | 0 | 8.588080e+02 | -- | Inf
60.68/60.79 c 60.3s| 1 | 0 | 35215 | 56M| 0 |1574 |2478 |6530 |6530 |2478 |7813 |1470 | 0 | 0 | 8.599717e+02 | -- | Inf
69.27/69.36 c 68.8s| 1 | 0 | 38378 | 59M| 0 |1957 |2478 |6530 |6530 |2478 |6797 |1506 | 0 | 0 | 8.635346e+02 | -- | Inf
75.47/75.56 c 75.0s| 1 | 0 | 41010 | 65M| 0 |1895 |2478 |6530 |6530 |2478 |6840 |1549 | 0 | 0 | 8.795759e+02 | -- | Inf
79.57/79.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.57/79.69 c 79.1s| 1 | 0 | 43001 | 69M| 0 |1529 |2478 |6530 |6530 |2478 |6872 |1581 | 0 | 0 | 8.812723e+02 | -- | Inf
82.47/82.57 c 82.0s| 1 | 0 | 44352 | 72M| 0 |1577 |2478 |6530 |6530 |2478 |6907 |1616 | 0 | 0 | 8.844810e+02 | -- | Inf
86.57/86.66 c 86.0s| 1 | 0 | 46394 | 76M| 0 |1578 |2478 |6530 |6530 |2478 |6935 |1644 | 0 | 0 | 8.872855e+02 | -- | Inf
92.47/92.59 c 91.9s| 1 | 0 | 48869 | 80M| 0 |1667 |2478 |6530 |6530 |2478 |6964 |1673 | 0 | 0 | 8.894482e+02 | -- | Inf
97.36/97.47 c 96.8s| 1 | 0 | 51077 | 83M| 0 |1623 |2478 |6530 |6530 |2478 |6837 |1708 | 0 | 0 | 8.920242e+02 | -- | Inf
101.17/101.23 c 101s| 1 | 0 | 53187 | 87M| 0 |2037 |2478 |6530 |6530 |2478 |6865 |1736 | 0 | 0 | 8.945922e+02 | -- | Inf
108.36/108.44 c 108s| 1 | 0 | 56585 | 89M| 0 |1686 |2478 |6530 |6530 |2478 |6910 |1781 | 0 | 0 | 9.003238e+02 | -- | Inf
110.86/110.95 c 110s| 1 | 0 | 57928 | 90M| 0 |1685 |2478 |6530 |6530 |2478 |6947 |1818 | 0 | 0 | 9.045682e+02 | -- | Inf
118.27/118.38 c 118s| 1 | 0 | 61342 | 91M| 0 |1656 |2478 |6530 |6530 |2478 |6988 |1859 | 0 | 0 | 9.062106e+02 | -- | Inf
124.76/124.82 c 124s| 1 | 0 | 64424 | 92M| 0 |1710 |2478 |6530 |6530 |2478 |7039 |1910 | 0 | 0 | 9.098918e+02 | -- | Inf
133.75/133.82 c 133s| 1 | 0 | 68568 | 93M| 0 |1735 |2478 |6530 |6530 |2478 |6897 |1947 | 0 | 0 | 9.119702e+02 | -- | Inf
139.16/139.23 c 138s| 1 | 0 | 70880 | 93M| 0 |1730 |2478 |6530 |6530 |2478 |6962 |2012 | 0 | 0 | 9.258063e+02 | -- | Inf
144.85/144.92 c 144s| 1 | 0 | 73893 | 95M| 0 |1685 |2478 |6530 |6530 |2478 |6999 |2049 | 0 | 0 | 9.276625e+02 | -- | Inf
150.66/150.71 c 150s| 1 | 0 | 76890 | 97M| 0 |1661 |2478 |6530 |6530 |2478 |7052 |2102 | 0 | 0 | 9.304257e+02 | -- | Inf
156.05/156.16 c 155s| 1 | 0 | 79585 | 98M| 0 |1771 |2478 |6530 |6530 |2478 |7089 |2139 | 0 | 0 | 9.326733e+02 | -- | Inf
163.55/163.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
163.55/163.66 c 163s| 1 | 0 | 82659 | 100M| 0 |1658 |2478 |6530 |6530 |2478 |7157 |2207 | 0 | 0 | 9.454299e+02 | -- | Inf
175.05/175.15 c 174s| 1 | 0 | 87670 | 102M| 0 |1631 |2478 |6530 |6530 |2478 |7041 |2237 | 0 | 0 | 9.480681e+02 | -- | Inf
180.74/180.82 c 180s| 1 | 0 | 90459 | 104M| 0 |1628 |2478 |6530 |6530 |2478 |7070 |2266 | 0 | 0 | 9.497670e+02 | -- | Inf
188.34/188.42 c 187s| 1 | 0 | 94104 | 106M| 0 |1672 |2478 |6530 |6530 |2478 |7113 |2309 | 0 | 0 | 9.536668e+02 | -- | Inf
197.34/197.46 c 196s| 1 | 0 | 98257 | 106M| 0 |1688 |2478 |6530 |6530 |2478 |7164 |2360 | 0 | 0 | 9.586422e+02 | -- | Inf
203.34/203.42 c 202s| 1 | 0 |101118 | 108M| 0 |1771 |2478 |6530 |6530 |2478 |7211 |2407 | 0 | 0 | 9.610884e+02 | -- | Inf
210.44/210.51 c 209s| 1 | 0 |104321 | 109M| 0 |1837 |2478 |6530 |6530 |2478 |7254 |2450 | 0 | 0 | 9.636555e+02 | -- | Inf
223.54/223.60 c 222s| 1 | 0 |109411 | 111M| 0 |1762 |2478 |6530 |6530 |2478 |7113 |2496 | 0 | 0 | 9.656718e+02 | -- | Inf
230.33/230.43 c 229s| 1 | 0 |112478 | 114M| 0 |1839 |2478 |6530 |6530 |2478 |7142 |2525 | 0 | 0 | 9.666278e+02 | -- | Inf
242.13/242.29 c 241s| 1 | 0 |117196 | 115M| 0 |1768 |2478 |6530 |6530 |2478 |7191 |2574 | 0 | 0 | 9.693286e+02 | -- | Inf
253.94/254.04 c 253s| 1 | 0 |121437 | 116M| 0 |1787 |2478 |6530 |6530 |2478 |7252 |2635 | 0 | 0 | 9.807190e+02 | -- | Inf
261.02/261.13 c 260s| 1 | 0 |124503 | 117M| 0 |1847 |2478 |6530 |6530 |2478 |7298 |2681 | 0 | 0 | 9.858389e+02 | -- | Inf
275.32/275.48 c 274s| 1 | 0 |129954 | 118M| 0 |1805 |2478 |6530 |6530 |2478 |7356 |2739 | 0 | 0 | 9.996548e+02 | -- | Inf
281.02/281.16 c 280s| 1 | 0 |132631 | 120M| 0 |1850 |2478 |6530 |6530 |2478 |7221 |2779 | 0 | 0 | 1.000513e+03 | -- | Inf
292.31/292.46 c 291s| 1 | 0 |137345 | 120M| 0 |1875 |2478 |6530 |6530 |2478 |7280 |2838 | 0 | 0 | 1.011275e+03 | -- | Inf
298.71/298.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
298.71/298.86 c 298s| 1 | 0 |139918 | 121M| 0 |1856 |2478 |6530 |6530 |2478 |7339 |2897 | 0 | 0 | 1.016783e+03 | -- | Inf
304.71/304.80 c 303s| 1 | 0 |142549 | 123M| 0 |1875 |2478 |6530 |6530 |2478 |7380 |2938 | 0 | 0 | 1.017633e+03 | -- | Inf
313.21/313.33 c 312s| 1 | 0 |145951 | 124M| 0 |1864 |2478 |6530 |6530 |2478 |7429 |2987 | 0 | 0 | 1.022254e+03 | -- | Inf
322.41/322.50 c 321s| 1 | 0 |149979 | 125M| 0 |1985 |2478 |6530 |6530 |2478 |7477 |3035 | 0 | 0 | 1.023565e+03 | -- | Inf
334.41/334.56 c 333s| 1 | 0 |154404 | 126M| 0 |2000 |2478 |6530 |6530 |2478 |7349 |3096 | 0 | 0 | 1.031872e+03 | -- | Inf
342.31/342.48 c 341s| 1 | 0 |157712 | 127M| 0 |1797 |2478 |6530 |6530 |2478 |7418 |3165 | 0 | 0 | 1.047447e+03 | -- | Inf
346.01/346.12 c 345s| 1 | 0 |159464 | 129M| 0 |1815 |2478 |6530 |6530 |2478 |7452 |3199 | 0 | 0 | 1.052271e+03 | -- | Inf
349.71/349.80 c 348s| 1 | 0 |161005 | 130M| 0 |1877 |2478 |6530 |6530 |2478 |7488 |3235 | 0 | 0 | 1.053729e+03 | -- | Inf
356.10/356.21 c 355s| 1 | 0 |163840 | 132M| 0 |1934 |2478 |6530 |6530 |2478 |7524 |3271 | 0 | 0 | 1.054505e+03 | -- | Inf
372.50/372.67 c 371s| 1 | 0 |169905 | 132M| 0 |1826 |2478 |6530 |6530 |2478 |7612 |3359 | 0 | 0 | 1.068352e+03 | -- | Inf
378.39/378.55 c 377s| 1 | 0 |172362 | 133M| 0 |1906 |2478 |6530 |6530 |2478 |7445 |3434 | 0 | 0 | 1.077161e+03 | -- | Inf
384.29/384.47 c 383s| 1 | 0 |175062 | 134M| 0 |1925 |2478 |6530 |6530 |2478 |7489 |3478 | 0 | 0 | 1.079366e+03 | -- | Inf
392.60/392.79 c 391s| 1 | 0 |178754 | 135M| 0 |1885 |2478 |6530 |6530 |2478 |7536 |3525 | 0 | 0 | 1.081544e+03 | -- | Inf
400.39/400.59 c 399s| 1 | 0 |182383 | 137M| 0 |1889 |2478 |6530 |6530 |2478 |7583 |3572 | 0 | 0 | 1.085907e+03 | -- | Inf
405.69/405.86 c 404s| 1 | 0 |184692 | 137M| 0 |1941 |2478 |6530 |6530 |2478 |7632 |3621 | 0 | 0 | 1.087286e+03 | -- | Inf
412.69/412.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
412.69/412.88 c 411s| 1 | 0 |187851 | 139M| 0 |1906 |2478 |6530 |6530 |2478 |7671 |3660 | 0 | 0 | 1.088883e+03 | -- | Inf
419.48/419.62 c 418s| 1 | 0 |190825 | 140M| 0 |1869 |2478 |6530 |6530 |2478 |7443 |3712 | 0 | 0 | 1.091659e+03 | -- | Inf
423.88/424.04 c 422s| 1 | 0 |192813 | 142M| 0 |2032 |2478 |6530 |6530 |2478 |7481 |3750 | 0 | 0 | 1.093816e+03 | -- | Inf
433.19/433.38 c 432s| 1 | 0 |196478 | 143M| 0 |2020 |2478 |6530 |6530 |2478 |7538 |3807 | 0 | 0 | 1.096546e+03 | -- | Inf
444.28/444.44 c 443s| 1 | 0 |200875 | 143M| 0 |1855 |2478 |6530 |6530 |2478 |7622 |3891 | 0 | 0 | 1.108305e+03 | -- | Inf
450.98/451.17 c 449s| 1 | 0 |204119 | 145M| 0 |1909 |2478 |6530 |6530 |2478 |7669 |3938 | 0 | 0 | 1.111824e+03 | -- | Inf
454.08/454.25 c 452s| 1 | 0 |205159 | 147M| 0 |1936 |2478 |6530 |6530 |2478 |7715 |3984 | 0 | 0 | 1.112968e+03 | -- | Inf
462.47/462.69 c 461s| 1 | 0 |208266 | 148M| 0 |1919 |2478 |6530 |6530 |2478 |7459 |4026 | 0 | 0 | 1.121898e+03 | -- | Inf
465.67/465.88 c 464s| 1 | 0 |209733 | 149M| 0 |2004 |2478 |6530 |6530 |2478 |7487 |4054 | 0 | 0 | 1.122673e+03 | -- | Inf
469.67/469.83 c 468s| 1 | 0 |211260 | 151M| 0 |1996 |2478 |6530 |6530 |2478 |7528 |4095 | 0 | 0 | 1.123493e+03 | -- | Inf
475.97/476.13 c 474s| 1 | 0 |213760 | 152M| 0 |1943 |2478 |6530 |6530 |2478 |7574 |4141 | 0 | 0 | 1.125949e+03 | -- | Inf
481.37/481.50 c 480s| 1 | 0 |215738 | 153M| 0 |2014 |2478 |6530 |6530 |2478 |7628 |4195 | 0 | 0 | 1.127416e+03 | -- | Inf
493.56/493.76 c 492s| 1 | 0 |220254 | 154M| 0 |1941 |2478 |6530 |6530 |2478 |7693 |4260 | 0 | 0 | 1.139661e+03 | -- | Inf
499.56/499.72 c 498s| 1 | 0 |222879 | 155M| 0 |1942 |2478 |6530 |6530 |2478 |7503 |4307 | 0 | 0 | 1.142981e+03 | -- | Inf
502.36/502.60 c 501s| 1 | 0 |224314 | 156M| 0 |1946 |2478 |6530 |6530 |2478 |7545 |4349 | 0 | 0 | 1.144880e+03 | -- | Inf
509.97/510.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
509.97/510.11 c 508s| 1 | 0 |227629 | 157M| 0 |1977 |2478 |6530 |6530 |2478 |7607 |4411 | 0 | 0 | 1.151801e+03 | -- | Inf
513.86/514.07 c 512s| 1 | 0 |229605 | 159M| 0 |1922 |2478 |6530 |6530 |2478 |7635 |4439 | 0 | 0 | 1.153937e+03 | -- | Inf
517.97/518.15 c 516s| 1 | 0 |231651 | 161M| 0 |1995 |2478 |6530 |6530 |2478 |7671 |4475 | 0 | 0 | 1.154715e+03 | -- | Inf
524.26/524.41 c 522s| 1 | 0 |234704 | 162M| 0 |1974 |2478 |6530 |6530 |2478 |7705 |4509 | 0 | 0 | 1.155802e+03 | -- | Inf
528.06/528.22 c 526s| 1 | 0 |236381 | 163M| 0 |1966 |2478 |6530 |6530 |2478 |7506 |4557 | 0 | 0 | 1.156898e+03 | -- | Inf
534.16/534.30 c 532s| 1 | 0 |238814 | 164M| 0 |1917 |2478 |6530 |6530 |2478 |7582 |4633 | 0 | 0 | 1.163900e+03 | -- | Inf
537.26/537.47 c 535s| 1 | 0 |240507 | 165M| 0 |1972 |2478 |6530 |6530 |2478 |7634 |4685 | 0 | 0 | 1.167078e+03 | -- | Inf
546.05/546.26 c 544s| 1 | 0 |244205 | 165M| 0 |2087 |2478 |6530 |6530 |2478 |7686 |4737 | 0 | 0 | 1.173101e+03 | -- | Inf
552.95/553.18 c 551s| 1 | 0 |247035 | 166M| 0 |2017 |2478 |6530 |6530 |2478 |7724 |4775 | 0 | 0 | 1.176578e+03 | -- | Inf
558.35/558.56 c 556s| 1 | 0 |249090 | 167M| 0 |1983 |2478 |6530 |6530 |2478 |7774 |4825 | 0 | 0 | 1.179335e+03 | -- | Inf
561.55/561.73 c 559s| 1 | 0 |250474 | 167M| 0 |1914 |2478 |6530 |6530 |2478 |7544 |4865 | 0 | 0 | 1.180491e+03 | -- | Inf
567.55/567.76 c 565s| 1 | 0 |253363 | 168M| 0 |2039 |2478 |6530 |6530 |2478 |7587 |4908 | 0 | 0 | 1.182328e+03 | -- | Inf
573.15/573.30 c 571s| 1 | 0 |255892 | 170M| 0 |2061 |2478 |6530 |6530 |2478 |7618 |4939 | 0 | 0 | 1.182748e+03 | -- | Inf
585.45/585.64 c 583s| 1 | 0 |261162 | 170M| 0 |1986 |2478 |6530 |6530 |2478 |7682 |5003 | 0 | 0 | 1.188755e+03 | -- | Inf
591.84/592.06 c 590s| 1 | 0 |264021 | 171M| 0 |1975 |2478 |6530 |6530 |2478 |7729 |5050 | 0 | 0 | 1.190715e+03 | -- | Inf
599.54/599.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
599.54/599.77 c 597s| 1 | 0 |267373 | 171M| 0 |1992 |2478 |6530 |6530 |2478 |7774 |5095 | 0 | 0 | 1.195012e+03 | -- | Inf
605.34/605.52 c 603s| 1 | 0 |270134 | 172M| 0 |2024 |2478 |6530 |6530 |2478 |7580 |5131 | 0 | 0 | 1.196047e+03 | -- | Inf
611.54/611.73 c 609s| 1 | 0 |272870 | 173M| 0 |1956 |2478 |6530 |6530 |2478 |7618 |5169 | 0 | 0 | 1.199728e+03 | -- | Inf
615.64/615.84 c 613s| 1 | 0 |275019 | 174M| 0 |2048 |2478 |6530 |6530 |2478 |7660 |5211 | 0 | 0 | 1.202163e+03 | -- | Inf
619.14/619.36 c 617s| 1 | 0 |276718 | 174M| 0 |2115 |2478 |6530 |6530 |2478 |7695 |5246 | 0 | 0 | 1.203399e+03 | -- | Inf
626.63/626.85 c 624s| 1 | 0 |279274 | 174M| 0 |2126 |2478 |6530 |6530 |2478 |7724 |5275 | 0 | 0 | 1.206197e+03 | -- | Inf
633.63/633.87 c 631s| 1 | 0 |281552 | 175M| 0 |2066 |2478 |6530 |6530 |2478 |7769 |5320 | 0 | 0 | 1.210399e+03 | -- | Inf
637.13/637.35 c 635s| 1 | 0 |282814 | 175M| 0 |2151 |2478 |6530 |6530 |2478 |7582 |5350 | 0 | 0 | 1.211500e+03 | -- | Inf
643.03/643.26 c 641s| 1 | 0 |285139 | 176M| 0 |2112 |2478 |6530 |6530 |2478 |7621 |5389 | 0 | 0 | 1.214235e+03 | -- | Inf
648.02/648.26 c 646s| 1 | 0 |287053 | 176M| 0 |2140 |2478 |6530 |6530 |2478 |7676 |5444 | 0 | 0 | 1.217825e+03 | -- | Inf
653.33/653.56 c 651s| 1 | 0 |288847 | 176M| 0 |2155 |2478 |6530 |6530 |2478 |7708 |5476 | 0 | 0 | 1.219040e+03 | -- | Inf
661.32/661.59 c 659s| 1 | 0 |291903 | 176M| 0 |2144 |2478 |6530 |6530 |2478 |7747 |5515 | 0 | 0 | 1.221199e+03 | -- | Inf
667.43/667.67 c 665s| 1 | 0 |294732 | 172M| 0 |2089 |2478 |6530 |6530 |2478 |7778 |5546 | 0 | 0 | 1.223517e+03 | -- | Inf
671.12/671.39 c 669s| 1 | 0 |296266 | 167M| 0 |2099 |2478 |6530 |6530 |2478 |7521 |5580 | 0 | 0 | 1.225066e+03 | -- | Inf
675.12/675.37 c 673s| 1 | 0 |297801 | 165M| 0 |2123 |2478 |6530 |6530 |2478 |7546 |5605 | 0 | 0 | 1.227241e+03 | -- | Inf
680.02/680.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
680.02/680.21 c 678s| 1 | 0 |299700 | 164M| 0 |2066 |2478 |6530 |6530 |2478 |7576 |5635 | 0 | 0 | 1.228637e+03 | -- | Inf
684.42/684.63 c 682s| 1 | 0 |301550 | 161M| 0 |2111 |2478 |6530 |6530 |2478 |7609 |5668 | 0 | 0 | 1.229766e+03 | -- | Inf
690.22/690.42 c 688s| 1 | 0 |303718 | 159M| 0 |2053 |2478 |6530 |6530 |2478 |7631 |5690 | 0 | 0 | 1.230635e+03 | -- | Inf
694.72/694.92 c 692s| 1 | 0 |305662 | 158M| 0 |2084 |2478 |6530 |6530 |2478 |7662 |5721 | 0 | 0 | 1.231874e+03 | -- | Inf
699.12/699.36 c 697s| 1 | 0 |307136 | 155M| 0 |2104 |2478 |6530 |6530 |2478 |7505 |5757 | 0 | 0 | 1.232700e+03 | -- | Inf
704.21/704.43 c 702s| 1 | 0 |308768 | 153M| 0 |2166 |2478 |6530 |6530 |2478 |7524 |5776 | 0 | 0 | 1.233051e+03 | -- | Inf
709.11/709.30 c 706s| 1 | 0 |309962 | 151M| 0 |2173 |2478 |6530 |6530 |2478 |7531 |5783 | 0 | 0 | 1.233247e+03 | -- | Inf
713.72/713.95 c 711s| 1 | 0 |311209 | 147M| 0 |2179 |2478 |6530 |6530 |2478 |7546 |5798 | 0 | 0 | 1.233496e+03 | -- | Inf
718.71/718.99 c 716s| 1 | 0 |312260 | 142M| 0 |2168 |2478 |6530 |6530 |2478 |7553 |5805 | 0 | 0 | 1.233989e+03 | -- | Inf
723.51/723.76 c 721s| 1 | 0 |313710 | 138M| 0 |2195 |2478 |6530 |6530 |2478 |7581 |5833 | 0 | 0 | 1.235058e+03 | -- | Inf
727.91/728.16 c 725s| 1 | 0 |315292 | 133M| 0 |2162 |2478 |6530 |6530 |2478 |7458 |5863 | 0 | 0 | 1.235171e+03 | -- | Inf
733.10/733.31 c 730s| 1 | 0 |316926 | 130M| 0 |2166 |2478 |6530 |6530 |2478 |7483 |5888 | 0 | 0 | 1.235896e+03 | -- | Inf
739.50/739.74 c 737s| 1 | 0 |318381 | 127M| 0 |2147 |2478 |6530 |6530 |2478 |7510 |5915 | 0 | 0 | 1.236867e+03 | -- | Inf
743.81/744.00 c 741s| 1 | 0 |319273 | 123M| 0 |2112 |2478 |6530 |6530 |2478 |7516 |5921 | 0 | 0 | 1.237241e+03 | -- | Inf
747.50/747.74 c 745s| 1 | 0 |320213 | 119M| 0 |2021 |2478 |6530 |6530 |2478 |7522 |5927 | 0 | 0 | 1.237535e+03 | -- | Inf
751.40/751.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
751.40/751.60 c 749s| 1 | 0 |321498 | 116M| 0 |2021 |2478 |6530 |6530 |2478 |7553 |5958 | 0 | 0 | 1.238712e+03 | -- | Inf
755.90/756.18 c 753s| 1 | 0 |322713 | 113M| 0 |2119 |2478 |6530 |6530 |2478 |7420 |5974 | 0 | 0 | 1.239875e+03 | -- | Inf
760.70/760.93 c 758s| 1 | 0 |324146 | 111M| 0 |2035 |2478 |6530 |6530 |2478 |7446 |6000 | 0 | 0 | 1.242496e+03 | -- | Inf
765.10/765.39 c 762s| 1 | 0 |325724 | 111M| 0 |2019 |2478 |6530 |6530 |2478 |7493 |6047 | 0 | 0 | 1.245927e+03 | -- | Inf
770.20/770.45 c 767s| 1 | 0 |327755 | 110M| 0 |2030 |2478 |6530 |6530 |2478 |7521 |6075 | 0 | 0 | 1.248352e+03 | -- | Inf
774.70/774.91 c 772s| 1 | 0 |329060 | 109M| 0 |2025 |2478 |6530 |6530 |2478 |7551 |6105 | 0 | 0 | 1.250328e+03 | -- | Inf
777.50/777.79 c 775s| 1 | 0 |330027 | 109M| 0 |2039 |2478 |6530 |6530 |2478 |7576 |6130 | 0 | 0 | 1.251278e+03 | -- | Inf
782.30/782.52 c 779s| 1 | 0 |331241 | 108M| 0 |2056 |2478 |6530 |6530 |2478 |7459 |6157 | 0 | 0 | 1.254417e+03 | -- | Inf
783.90/784.20 c 781s| 1 | 0 |331822 | 107M| 0 |2059 |2478 |6530 |6530 |2478 |7478 |6176 | 0 | 0 | 1.255062e+03 | -- | Inf
785.49/785.71 c 783s| 1 | 0 |332464 | 107M| 0 |2031 |2478 |6530 |6530 |2478 |7489 |6187 | 0 | 0 | 1.255812e+03 | -- | Inf
787.20/787.46 c 784s| 1 | 0 |332819 | 106M| 0 |2032 |2478 |6530 |6530 |2478 |7500 |6198 | 0 | 0 | 1.256062e+03 | -- | Inf
789.29/789.50 c 786s| 1 | 0 |333777 | 106M| 0 |2056 |2478 |6530 |6530 |2478 |7509 |6207 | 0 | 0 | 1.256183e+03 | -- | Inf
792.59/792.80 c 790s| 1 | 0 |335045 | 104M| 0 |2048 |2478 |6530 |6530 |2478 |7538 |6236 | 0 | 0 | 1.257691e+03 | -- | Inf
794.49/794.77 c 792s| 1 | 0 |336164 | 103M| 0 |2048 |2478 |6530 |6530 |2478 |7452 |6261 | 0 | 0 | 1.258465e+03 | -- | Inf
799.39/799.64 c 797s| 1 | 0 |337229 | 101M| 0 |2043 |2478 |6530 |6530 |2478 |7482 |6291 | 0 | 0 | 1.260276e+03 | -- | Inf
803.80/804.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
803.80/804.03 c 801s| 1 | 0 |338570 | 101M| 0 |2029 |2478 |6530 |6530 |2478 |7516 |6325 | 0 | 0 | 1.261191e+03 | -- | Inf
806.99/807.29 c 804s| 1 | 0 |340627 | 100M| 0 |2055 |2478 |6530 |6530 |2478 |7541 |6350 | 0 | 0 | 1.263528e+03 | -- | Inf
810.99/811.23 c 808s| 1 | 0 |342262 | 100M| 0 |2057 |2478 |6530 |6530 |2478 |7562 |6371 | 0 | 0 | 1.264357e+03 | -- | Inf
813.79/814.05 c 811s| 1 | 0 |343224 | 98M| 0 |1985 |2478 |6530 |6530 |2478 |7580 |6389 | 0 | 0 | 1.265199e+03 | -- | Inf
817.38/817.68 c 814s| 1 | 0 |344193 | 95M| 0 |1999 |2478 |6530 |6530 |2478 |7467 |6403 | 0 | 0 | 1.265773e+03 | -- | Inf
820.98/821.24 c 818s| 1 | 0 |345899 | 95M| 0 |2031 |2478 |6530 |6530 |2478 |7481 |6417 | 0 | 0 | 1.266164e+03 | -- | Inf
824.69/824.99 c 822s| 1 | 0 |347366 | 95M| 0 |2023 |2478 |6530 |6530 |2478 |7495 |6431 | 0 | 0 | 1.266835e+03 | -- | Inf
830.08/830.40 c 827s| 1 | 0 |349397 | 94M| 0 |2048 |2478 |6530 |6530 |2478 |7506 |6442 | 0 | 0 | 1.266976e+03 | -- | Inf
834.78/835.01 c 832s| 1 | 0 |350477 | 93M| 0 |2019 |2478 |6530 |6530 |2478 |7528 |6464 | 0 | 0 | 1.268399e+03 | -- | Inf
836.28/836.56 c 833s| 1 | 0 |350831 | 92M| 0 |1996 |2478 |6530 |6530 |2478 |7539 |6475 | 0 | 0 | 1.268426e+03 | -- | Inf
841.18/841.45 c 838s| 1 | 0 |352320 | 92M| 0 |2029 |2478 |6530 |6530 |2478 |7424 |6486 | 0 | 0 | 1.269329e+03 | -- | Inf
844.78/845.07 c 842s| 1 | 0 |352576 | 91M| 0 |2025 |2478 |6530 |6530 |2478 |7429 |6491 | 0 | 0 | 1.269335e+03 | -- | Inf
848.98/849.23 c 846s| 1 | 0 |353543 | 91M| 0 |1997 |2478 |6530 |6530 |2478 |7435 |6497 | 0 | 0 | 1.269671e+03 | -- | Inf
852.68/852.98 c 850s| 1 | 0 |354200 | 90M| 0 |1983 |2478 |6530 |6530 |2478 |7445 |6507 | 0 | 0 | 1.270220e+03 | -- | Inf
856.98/857.23 c 854s| 1 | 0 |355424 | 89M| 0 |2012 |2478 |6530 |6530 |2478 |7458 |6520 | 0 | 0 | 1.271040e+03 | -- | Inf
860.67/860.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
860.67/860.97 c 858s| 1 | 0 |356547 | 88M| 0 |2012 |2478 |6530 |6530 |2478 |7467 |6529 | 0 | 0 | 1.271599e+03 | -- | Inf
864.27/864.55 c 861s| 1 | 0 |356848 | 87M| 0 |1948 |2478 |6530 |6530 |2478 |7387 |6537 | 0 | 0 | 1.272127e+03 | -- | Inf
867.47/867.72 c 864s| 1 | 0 |357446 | 86M| 0 |2014 |2478 |6530 |6530 |2478 |7397 |6547 | 0 | 0 | 1.273141e+03 | -- | Inf
871.08/871.36 c 868s| 1 | 0 |357895 | 85M| 0 |1992 |2478 |6530 |6530 |2478 |7408 |6558 | 0 | 0 | 1.274183e+03 | -- | Inf
875.57/875.82 c 872s| 1 | 0 |358815 | 84M| 0 |1990 |2478 |6530 |6530 |2478 |7413 |6563 | 0 | 0 | 1.274587e+03 | -- | Inf
879.47/879.71 c 876s| 1 | 0 |359457 | 84M| 0 |1995 |2478 |6530 |6530 |2478 |7423 |6573 | 0 | 0 | 1.275137e+03 | -- | Inf
883.17/883.44 c 880s| 1 | 0 |360021 | 83M| 0 |2015 |2478 |6530 |6530 |2478 |7425 |6575 | 0 | 0 | 1.275326e+03 | -- | Inf
887.77/888.00 c 885s| 1 | 0 |361152 | 82M| 0 |2024 |2478 |6530 |6530 |2478 |7346 |6580 | 0 | 0 | 1.275794e+03 | -- | Inf
891.07/891.30 c 888s| 1 | 0 |361203 | 81M| 0 |2026 |2478 |6530 |6530 |2478 |7351 |6585 | 0 | 0 | 1.275794e+03 | -- | Inf
894.66/894.95 c 891s| 1 | 0 |361459 | 80M| 0 |2015 |2478 |6530 |6530 |2478 |7353 |6587 | 0 | 0 | 1.275805e+03 | -- | Inf
897.77/898.06 c 895s| 1 | 0 |361526 | 80M| 0 |2024 |2478 |6530 |6530 |2478 |7356 |6590 | 0 | 0 | 1.275805e+03 | -- | Inf
901.16/901.40 c 898s| 1 | 0 |361680 | 79M| 0 |2028 |2478 |6530 |6530 |2478 |7359 |6593 | 0 | 0 | 1.275834e+03 | -- | Inf
904.56/904.89 c 901s| 1 | 0 |361884 | 78M| 0 |2018 |2478 |6530 |6530 |2478 |7361 |6595 | 0 | 0 | 1.275876e+03 | -- | Inf
917.96/918.20 c 915s| 1 | 2 |361884 | 78M| 0 |2018 |2478 |6530 |6530 |2478 |7361 |6595 | 0 | 43 | 1.275876e+03 | -- | Inf
1796.94/1797.49 c
1796.94/1797.49 c SCIP Status : solving was interrupted [time limit reached]
1796.94/1797.49 c Solving Time (sec) : 1791.00
1796.94/1797.49 c Solving Nodes : 376
1796.94/1797.49 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.94/1797.49 c Dual Bound : +1.28077934796666e+03
1796.94/1797.49 c Gap : infinite
1796.94/1797.49 c NODE 376
1796.94/1797.49 c DUAL BOUND 1280.78
1796.94/1797.49 c PRIMAL BOUND 1e+20
1796.94/1797.49 c GAP 1e+20
1796.94/1797.49 s UNKNOWN
1796.94/1797.49 c SCIP Status : solving was interrupted [time limit reached]
1796.94/1797.49 c Solving Time : 1791.00
1796.94/1797.49 c Original Problem :
1796.94/1797.49 c Problem name : HOME/instance-1869030-1245155160.opb
1796.94/1797.49 c Variables : 2666 (2666 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.94/1797.49 c Constraints : 6659 initial, 6659 maximal
1796.94/1797.49 c Presolved Problem :
1796.94/1797.49 c Problem name : t_HOME/instance-1869030-1245155160.opb
1796.94/1797.49 c Variables : 2478 (2478 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.94/1797.49 c Constraints : 6530 initial, 7071 maximal
1796.94/1797.49 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1796.94/1797.49 c trivial : 0.00 0 0 0 0 0 0 0 0
1796.94/1797.49 c dualfix : 0.00 0 0 0 0 0 0 0 0
1796.94/1797.49 c boundshift : 0.00 0 0 0 0 0 0 0 0
1796.94/1797.49 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1796.94/1797.49 c implics : 0.03 0 3 0 0 0 0 0 0
1796.94/1797.49 c probing : 0.40 2 183 0 0 0 0 0 0
1796.94/1797.49 c linear : 0.10 0 0 0 0 0 122 122 0
1796.94/1797.49 c logicor : 0.12 0 0 0 0 0 7 0 0
1796.94/1797.49 c root node : - 0 - - 0 - - - -
1796.94/1797.49 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1796.94/1797.49 c integral : 0 0 0 312 0 1 8 0 0 614
1796.94/1797.49 c logicor : 6530+ 162 29787 0 1 158 91216 0 0 0
1796.94/1797.49 c countsols : 0 0 0 0 1 0 0 0 0 0
1796.94/1797.49 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1796.94/1797.49 c integral : 419.71 0.00 0.00 419.71 0.00
1796.94/1797.49 c logicor : 0.92 0.18 0.74 0.00 0.00
1796.94/1797.49 c countsols : 0.00 0.00 0.00 0.00 0.00
1796.94/1797.49 c Propagators : Time Calls Cutoffs DomReds
1796.94/1797.49 c rootredcost : 0.00 0 0 0
1796.94/1797.49 c pseudoobj : 2.69 23737 0 0
1796.94/1797.49 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.94/1797.49 c propagation : 0.06 156 156 741 30.2 24 4.8 -
1796.94/1797.49 c infeasible LP : 0.11 54 54 550 39.1 5 2.6 0
1796.94/1797.49 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.94/1797.49 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.94/1797.49 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.94/1797.49 c applied globally : - - - 620 27.9 - - -
1796.94/1797.49 c applied locally : - - - 0 0.0 - - -
1796.94/1797.49 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.94/1797.49 c cut pool : 7.12 161 - - 5900 - (maximal pool size: 36024)
1796.94/1797.49 c redcost : 0.06 473 0 0 0 0
1796.94/1797.49 c impliedbounds : 0.14 162 0 0 2336 0
1796.94/1797.49 c intobj : 0.00 0 0 0 0 0
1796.94/1797.49 c gomory : 253.70 162 0 0 72616 0
1796.94/1797.49 c strongcg : 6.52 20 0 0 10000 0
1796.94/1797.49 c cmir : 0.84 10 0 0 0 0
1796.94/1797.49 c flowcover : 0.69 10 0 0 0 0
1796.94/1797.49 c clique : 0.35 162 0 0 95 0
1796.94/1797.49 c zerohalf : 0.00 0 0 0 0 0
1796.94/1797.49 c mcf : 0.01 1 0 0 0 0
1796.94/1797.49 c Pricers : Time Calls Vars
1796.94/1797.49 c problem variables: 0.00 0 0
1796.94/1797.49 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.94/1797.49 c relpscost : 419.71 312 1 8 0 0 614
1796.94/1797.49 c pscost : 0.00 0 0 0 0 0 0
1796.94/1797.49 c inference : 0.00 1 0 0 0 0 2
1796.94/1797.49 c mostinf : 0.00 0 0 0 0 0 0
1796.94/1797.49 c leastinf : 0.00 0 0 0 0 0 0
1796.94/1797.49 c fullstrong : 0.00 0 0 0 0 0 0
1796.94/1797.49 c allfullstrong : 0.00 0 0 0 0 0 0
1796.94/1797.49 c random : 0.00 0 0 0 0 0 0
1796.94/1797.49 c Primal Heuristics : Time Calls Found
1796.94/1797.49 c LP solutions : 0.00 - 0
1796.94/1797.49 c pseudo solutions : 0.00 - 0
1796.94/1797.49 c oneopt : 0.00 0 0
1796.94/1797.49 c crossover : 0.00 0 0
1796.94/1797.49 c pscostdiving : 30.71 7 0
1796.94/1797.49 c feaspump : 27.53 4 0
1796.94/1797.49 c linesearchdiving : 38.28 8 0
1796.94/1797.49 c veclendiving : 32.16 8 0
1796.94/1797.49 c fracdiving : 34.53 8 0
1796.94/1797.49 c coefdiving : 26.29 8 0
1796.94/1797.49 c simplerounding : 0.00 0 0
1796.94/1797.49 c rounding : 0.68 241 0
1796.94/1797.49 c shifting : 2.41 113 0
1796.94/1797.49 c intshifting : 0.00 0 0
1796.94/1797.49 c fixandinfer : 0.00 0 0
1796.94/1797.49 c intdiving : 0.00 0 0
1796.94/1797.49 c actconsdiving : 0.00 0 0
1796.94/1797.49 c objpscostdiving : 73.98 3 0
1796.94/1797.49 c rootsoldiving : 51.19 2 0
1796.94/1797.49 c guideddiving : 0.00 0 0
1796.94/1797.49 c octane : 0.00 0 0
1796.94/1797.49 c rens : 0.01 0 0
1796.94/1797.49 c rins : 0.00 0 0
1796.94/1797.49 c localbranching : 0.00 0 0
1796.94/1797.49 c mutation : 0.00 0 0
1796.94/1797.49 c dins : 0.00 0 0
1796.94/1797.49 c LP : Time Calls Iterations Iter/call Iter/sec
1796.94/1797.49 c primal LP : 0.35 0 0 0.00 0.00
1796.94/1797.49 c dual LP : 777.22 500 508567 1017.13 654.34
1796.94/1797.49 c barrier LP : 0.00 0 0 0.00 -
1796.94/1797.49 c diving/probing LP: 298.71 4170 221991 53.24 743.17
1796.94/1797.49 c strong branching : 419.24 1003 366460 365.36 874.11
1796.94/1797.49 c (at root node) : - 43 8970 208.60 -
1796.94/1797.49 c conflict analysis: 0.00 0 0 0.00 -
1796.94/1797.49 c B&B Tree :
1796.94/1797.49 c number of runs : 1
1796.94/1797.49 c nodes : 376
1796.94/1797.50 c nodes (total) : 376
1796.94/1797.50 c nodes left : 167
1796.94/1797.50 c max depth : 44
1796.94/1797.50 c max depth (total): 44
1796.94/1797.50 c backtracks : 120 (31.9%)
1796.94/1797.50 c delayed cutoffs : 74
1796.94/1797.50 c repropagations : 150 (43065 domain reductions, 45 cutoffs)
1796.94/1797.50 c avg switch length: 3.41
1796.94/1797.50 c switching time : 0.33
1796.94/1797.50 c Solution :
1796.94/1797.50 c Solutions found : 0 (0 improvements)
1796.94/1797.50 c Primal Bound : -
1796.94/1797.50 c Dual Bound : +1.28077934796666e+03
1796.94/1797.50 c Gap : infinite
1796.94/1797.50 c Root Dual Bound : +1.27587586249925e+03
1797.13/1797.66 c Time complete: 1797.2.