0.00/0.07 c SCIP version 1.1.0.7
0.00/0.07 c LP-Solver Clp 1.8.2
0.00/0.07 c user parameter file <scip.set> not found - using default parameters
0.00/0.07 c read problem <HOME/instance-1868805-1245144130.opb>
0.00/0.07 c original problem has 1968 variables (1968 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.00/0.09 c start presolving problem
0.00/0.09 c presolving:
0.09/0.11 c (round 1) 156 del vars, 156 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.11 c (round 2) 321 del vars, 736 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.12 c (round 3) 376 del vars, 852 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.12 c (round 4) 409 del vars, 942 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.13 c (round 5) 419 del vars, 965 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.13 c (round 6) 428 del vars, 983 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.13 c (round 7) 433 del vars, 1002 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.14 c (round 8) 435 del vars, 1004 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.14 c (round 9) 437 del vars, 1011 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.18 c (round 10) 437 del vars, 1013 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2987 upgd conss, 7996 impls, 0 clqs
0.19/0.22 c (0.1s) probing: 101/1531 (6.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.22 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.22 c presolving (11 rounds):
0.19/0.22 c 437 deleted vars, 1013 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.22 c 7996 implications, 0 cliques
0.19/0.22 c presolved problem has 1531 variables (1531 bin, 0 int, 0 impl, 0 cont) and 2987 constraints
0.19/0.22 c 2987 constraints of type <logicor>
0.19/0.22 c transformed objective value is always integral (scale: 1)
0.19/0.22 c Presolving Time: 0.11
0.19/0.22 c strange?!, PURESAT with obj
0.19/0.22 c -----------------------------------------------------------------------------------------------
0.19/0.22 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22 c limits/memory = c 1620
0.19/0.22 c # maximal time in seconds to run
0.19/0.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22 c limits/time = c 1791
0.19/0.22 c # frequency for displaying node information lines
0.19/0.22 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.22 c display/freq = c 10000
0.19/0.22 c -----------------------------------------------------------------------------------------------
0.19/0.22 c start solving problem
0.19/0.22 c
0.29/0.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.34 c 0.2s| 1 | 0 | 1896 |7179k| 0 |1531 |1531 |2987 |2987 |1531 |2987 | 0 | 0 | 0 | 9.795000e+02 | -- | Inf
0.29/0.34 o 1745
0.29/0.34 c r 0.2s| 1 | 0 | 1896 |7227k| 0 |1531 |1531 |2987 |2987 |1531 |2987 | 0 | 0 | 0 | 9.795000e+02 | 1.745000e+03 | 78.15%
0.49/0.55 o 1744
0.49/0.55 c R 0.5s| 1 | 0 | 1896 |7276k| 0 |1531 |1531 |2987 |2987 |1531 |2987 | 0 | 0 | 0 | 9.795000e+02 | 1.744000e+03 | 78.05%
0.69/0.78 o 1743
0.69/0.78 c s 0.7s| 1 | 0 | 1896 |7325k| 0 |1531 |1531 |2987 |2987 |1531 |2987 | 0 | 0 | 0 | 9.795000e+02 | 1.743000e+03 | 77.95%
0.99/1.01 c 0.9s| 1 | 0 | 2081 |7359k| 0 |1509 |1531 |2987 |2987 |1531 |2999 | 12 | 0 | 0 | 9.855000e+02 | 1.743000e+03 | 76.86%
0.99/1.01 o 1740
0.99/1.01 c r 0.9s| 1 | 0 | 2081 |7383k| 0 |1509 |1531 |2987 |2987 |1531 |2999 | 12 | 0 | 0 | 9.855000e+02 | 1.740000e+03 | 76.56%
1.19/1.21 o 1739
1.19/1.21 c R 1.1s| 1 | 0 | 2081 |7407k| 0 |1509 |1531 |2987 |2987 |1531 |2999 | 12 | 0 | 0 | 9.855000e+02 | 1.739000e+03 | 76.46%
1.39/1.42 o 1738
1.39/1.42 c s 1.3s| 1 | 0 | 2081 |7432k| 0 |1509 |1531 |2987 |2987 |1531 |2999 | 12 | 0 | 0 | 9.855000e+02 | 1.738000e+03 | 76.36%
1.49/1.59 c 1.5s| 1 | 0 | 2107 |7436k| 0 |1509 |1531 |2987 |2987 |1531 |3003 | 16 | 0 | 0 | 9.865000e+02 | 1.738000e+03 | 76.18%
1.69/1.79 o 1737
1.69/1.79 c R 1.7s| 1 | 0 | 2107 |7484k| 0 |1509 |1531 |2987 |2987 |1531 |3003 | 16 | 0 | 0 | 9.865000e+02 | 1.737000e+03 | 76.08%
1.99/2.00 o 1736
1.99/2.00 c s 1.9s| 1 | 0 | 2107 |7509k| 0 |1509 |1531 |2987 |2987 |1531 |3003 | 16 | 0 | 0 | 9.865000e+02 | 1.736000e+03 | 75.98%
2.09/2.19 c 2.1s| 1 | 0 | 2181 |7511k| 0 |1505 |1531 |2987 |2987 |1531 |3005 | 18 | 0 | 0 | 9.875000e+02 | 1.736000e+03 | 75.80%
2.29/2.39 o 1735
2.29/2.39 c R 2.3s| 1 | 0 | 2181 |7560k| 0 |1505 |1531 |2987 |2987 |1531 |3005 | 18 | 0 | 0 | 9.875000e+02 | 1.735000e+03 | 75.70%
2.59/2.60 o 1734
2.59/2.60 c s 2.5s| 1 | 0 | 2181 |7584k| 0 |1505 |1531 |2987 |2987 |1531 |3005 | 18 | 0 | 0 | 9.875000e+02 | 1.734000e+03 | 75.59%
2.79/2.81 c 2.7s| 1 | 0 | 2226 |7588k| 0 |1492 |1531 |2987 |2987 |1531 |3006 | 19 | 0 | 0 | 9.880000e+02 | 1.734000e+03 | 75.51%
2.99/3.01 o 1733
2.99/3.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.99/3.01 c R 2.9s| 1 | 0 | 2226 |7637k| 0 |1492 |1531 |2987 |2987 |1531 |3006 | 19 | 0 | 0 | 9.880000e+02 | 1.733000e+03 | 75.40%
3.19/3.21 o 1732
3.19/3.21 c s 3.1s| 1 | 0 | 2226 |7661k| 0 |1492 |1531 |2987 |2987 |1531 |3006 | 19 | 0 | 0 | 9.880000e+02 | 1.732000e+03 | 75.30%
3.49/3.59 c 3.5s| 1 | 0 | 2518 |7685k| 0 |1504 |1531 |2987 |2987 |1531 |3007 | 20 | 0 | 0 | 9.880000e+02 | 1.732000e+03 | 75.30%
3.69/3.79 o 1731
3.69/3.79 c R 3.7s| 1 | 0 | 2518 |7709k| 0 |1504 |1531 |2987 |2987 |1531 |3007 | 20 | 0 | 0 | 9.880000e+02 | 1.731000e+03 | 75.20%
3.99/4.00 o 1730
3.99/4.00 c s 3.9s| 1 | 0 | 2518 |7733k| 0 |1504 |1531 |2987 |2987 |1531 |3007 | 20 | 0 | 0 | 9.880000e+02 | 1.730000e+03 | 75.10%
4.79/4.88 c 4.8s| 1 | 0 | 3581 |7810k| 0 |1506 |1531 |2987 |2987 |1531 |3010 | 23 | 0 | 0 | 9.880000e+02 | 1.730000e+03 | 75.10%
4.99/5.08 o 1729
4.99/5.08 c R 5.0s| 1 | 0 | 3581 |7859k| 0 |1506 |1531 |2987 |2987 |1531 |3010 | 23 | 0 | 0 | 9.880000e+02 | 1.729000e+03 | 75.00%
5.19/5.29 o 1728
5.19/5.29 c s 5.2s| 1 | 0 | 3581 |7883k| 0 |1506 |1531 |2987 |2987 |1531 |3010 | 23 | 0 | 0 | 9.880000e+02 | 1.728000e+03 | 74.90%
5.99/6.06 c 5.9s| 1 | 0 | 4456 |8041k| 0 |1506 |1531 |2987 |2987 |1531 |3013 | 26 | 0 | 0 | 9.885000e+02 | 1.728000e+03 | 74.81%
6.19/6.27 o 1727
6.19/6.27 c R 6.1s| 1 | 0 | 4456 |8065k| 0 |1506 |1531 |2987 |2987 |1531 |3013 | 26 | 0 | 0 | 9.885000e+02 | 1.727000e+03 | 74.71%
6.39/6.48 o 1726
6.39/6.48 c s 6.3s| 1 | 0 | 4456 |8089k| 0 |1506 |1531 |2987 |2987 |1531 |3013 | 26 | 0 | 0 | 9.885000e+02 | 1.726000e+03 | 74.61%
7.38/7.41 c 7.3s| 1 | 0 | 5278 |8708k| 0 |1497 |1531 |2987 |2987 |1531 |3021 | 34 | 0 | 0 | 9.905000e+02 | 1.726000e+03 | 74.26%
7.58/7.61 o 1725
7.58/7.61 c R 7.5s| 1 | 0 | 5278 |8757k| 0 |1497 |1531 |2987 |2987 |1531 |3021 | 34 | 0 | 0 | 9.905000e+02 | 1.725000e+03 | 74.15%
7.79/7.82 o 1724
7.79/7.82 c s 7.7s| 1 | 0 | 5278 |8781k| 0 |1497 |1531 |2987 |2987 |1531 |3021 | 34 | 0 | 0 | 9.905000e+02 | 1.724000e+03 | 74.05%
8.69/8.78 c 8.6s| 1 | 0 | 6328 |9026k| 0 |1506 |1531 |2987 |2987 |1531 |3026 | 39 | 0 | 0 | 9.915000e+02 | 1.724000e+03 | 73.88%
8.89/8.99 o 1723
8.89/8.99 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.89/8.99 c R 8.8s| 1 | 0 | 6328 |9075k| 0 |1506 |1531 |2987 |2987 |1531 |3026 | 39 | 0 | 0 | 9.915000e+02 | 1.723000e+03 | 73.78%
9.09/9.20 o 1722
9.09/9.20 c s 9.1s| 1 | 0 | 6328 |9099k| 0 |1506 |1531 |2987 |2987 |1531 |3026 | 39 | 0 | 0 | 9.915000e+02 | 1.722000e+03 | 73.68%
10.09/10.17 c 10.0s| 1 | 0 | 7405 |9445k| 0 |1504 |1531 |2987 |2987 |1531 |3031 | 44 | 0 | 0 | 9.930000e+02 | 1.722000e+03 | 73.41%
10.29/10.37 o 1721
10.29/10.37 c R10.2s| 1 | 0 | 7405 |9469k| 0 |1504 |1531 |2987 |2987 |1531 |3031 | 44 | 0 | 0 | 9.930000e+02 | 1.721000e+03 | 73.31%
10.49/10.58 o 1720
10.49/10.58 c s10.4s| 1 | 0 | 7405 |9493k| 0 |1504 |1531 |2987 |2987 |1531 |3031 | 44 | 0 | 0 | 9.930000e+02 | 1.720000e+03 | 73.21%
11.99/12.03 c 11.9s| 1 | 0 | 8839 |9737k| 0 |1508 |1531 |2987 |2987 |1531 |3035 | 48 | 0 | 0 | 9.940000e+02 | 1.720000e+03 | 73.04%
12.19/12.23 o 1719
12.19/12.23 c R12.1s| 1 | 0 | 8839 |9786k| 0 |1508 |1531 |2987 |2987 |1531 |3035 | 48 | 0 | 0 | 9.940000e+02 | 1.719000e+03 | 72.94%
12.38/12.44 o 1718
12.38/12.44 c s12.3s| 1 | 0 | 8839 |9810k| 0 |1508 |1531 |2987 |2987 |1531 |3035 | 48 | 0 | 0 | 9.940000e+02 | 1.718000e+03 | 72.84%
13.59/13.67 c 13.5s| 1 | 0 | 10095 | 10M| 0 |1502 |1531 |2987 |2987 |1531 |3040 | 53 | 0 | 0 | 9.950000e+02 | 1.718000e+03 | 72.66%
13.79/13.87 o 1717
13.79/13.87 c R13.7s| 1 | 0 | 10095 | 10M| 0 |1502 |1531 |2987 |2987 |1531 |3040 | 53 | 0 | 0 | 9.950000e+02 | 1.717000e+03 | 72.56%
13.99/14.08 o 1716
13.99/14.08 c s13.9s| 1 | 0 | 10095 | 10M| 0 |1502 |1531 |2987 |2987 |1531 |3040 | 53 | 0 | 0 | 9.950000e+02 | 1.716000e+03 | 72.46%
15.49/15.53 c 15.4s| 1 | 0 | 11466 | 10M| 0 |1488 |1531 |2987 |2987 |1531 |3047 | 60 | 0 | 0 | 9.950000e+02 | 1.716000e+03 | 72.46%
15.68/15.73 o 1715
15.68/15.73 c R15.6s| 1 | 0 | 11466 | 10M| 0 |1488 |1531 |2987 |2987 |1531 |3047 | 60 | 0 | 0 | 9.950000e+02 | 1.715000e+03 | 72.36%
15.88/15.93 o 1714
15.88/15.93 c s15.8s| 1 | 0 | 11466 | 10M| 0 |1488 |1531 |2987 |2987 |1531 |3047 | 60 | 0 | 0 | 9.950000e+02 | 1.714000e+03 | 72.26%
17.39/17.41 c 17.2s| 1 | 0 | 13109 | 10M| 0 |1479 |1531 |2987 |2987 |1531 |3052 | 65 | 0 | 0 | 9.950000e+02 | 1.714000e+03 | 72.26%
17.59/17.60 o 1713
17.59/17.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.59/17.60 c R17.4s| 1 | 0 | 13109 | 10M| 0 |1479 |1531 |2987 |2987 |1531 |3052 | 65 | 0 | 0 | 9.950000e+02 | 1.713000e+03 | 72.16%
17.79/17.81 o 1712
17.79/17.81 c s17.6s| 1 | 0 | 13109 | 10M| 0 |1479 |1531 |2987 |2987 |1531 |3052 | 65 | 0 | 0 | 9.950000e+02 | 1.712000e+03 | 72.06%
19.69/19.74 c 19.6s| 1 | 0 | 15030 | 11M| 0 |1475 |1531 |2987 |2987 |1531 |3057 | 70 | 0 | 0 | 9.955000e+02 | 1.712000e+03 | 71.97%
19.89/19.94 o 1711
19.89/19.94 c R19.8s| 1 | 0 | 15030 | 12M| 0 |1475 |1531 |2987 |2987 |1531 |3057 | 70 | 0 | 0 | 9.955000e+02 | 1.711000e+03 | 71.87%
20.08/20.14 o 1710
20.08/20.14 c s19.9s| 1 | 0 | 15030 | 12M| 0 |1475 |1531 |2987 |2987 |1531 |3057 | 70 | 0 | 0 | 9.955000e+02 | 1.710000e+03 | 71.77%
22.09/22.19 c 22.0s| 1 | 0 | 16835 | 12M| 0 |1490 |1531 |2987 |2987 |1531 |3061 | 74 | 0 | 0 | 9.960000e+02 | 1.710000e+03 | 71.69%
22.29/22.38 o 1709
22.29/22.38 c R22.2s| 1 | 0 | 16835 | 12M| 0 |1490 |1531 |2987 |2987 |1531 |3061 | 74 | 0 | 0 | 9.960000e+02 | 1.709000e+03 | 71.59%
22.49/22.59 o 1708
22.49/22.59 c s22.4s| 1 | 0 | 16835 | 12M| 0 |1490 |1531 |2987 |2987 |1531 |3061 | 74 | 0 | 0 | 9.960000e+02 | 1.708000e+03 | 71.49%
24.98/25.08 c 24.9s| 1 | 0 | 18949 | 13M| 0 |1484 |1531 |2987 |2987 |1531 |3061 | 78 | 0 | 0 | 9.960000e+02 | 1.708000e+03 | 71.49%
25.18/25.28 o 1707
25.18/25.28 c R25.1s| 1 | 0 | 18949 | 13M| 0 |1484 |1531 |2987 |2987 |1531 |3061 | 78 | 0 | 0 | 9.960000e+02 | 1.707000e+03 | 71.39%
25.38/25.48 o 1706
25.38/25.48 c s25.3s| 1 | 0 | 18949 | 13M| 0 |1484 |1531 |2987 |2987 |1531 |3061 | 78 | 0 | 0 | 9.960000e+02 | 1.706000e+03 | 71.29%
27.88/27.94 c 27.7s| 1 | 0 | 21122 | 13M| 0 |1479 |1531 |2987 |2987 |1531 |3064 | 81 | 0 | 0 | 9.965000e+02 | 1.706000e+03 | 71.20%
28.08/28.14 o 1705
28.08/28.14 c R27.9s| 1 | 0 | 21122 | 13M| 0 |1479 |1531 |2987 |2987 |1531 |3064 | 81 | 0 | 0 | 9.965000e+02 | 1.705000e+03 | 71.10%
28.28/28.35 o 1704
28.28/28.35 c s28.1s| 1 | 0 | 21122 | 13M| 0 |1479 |1531 |2987 |2987 |1531 |3064 | 81 | 0 | 0 | 9.965000e+02 | 1.704000e+03 | 71.00%
30.28/30.39 c 30.2s| 1 | 0 | 23118 | 13M| 0 |1503 |1531 |2987 |2987 |1531 |3070 | 87 | 0 | 0 | 9.975000e+02 | 1.704000e+03 | 70.83%
30.48/30.59 o 1703
30.48/30.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.48/30.59 c R30.4s| 1 | 0 | 23118 | 14M| 0 |1503 |1531 |2987 |2987 |1531 |3070 | 87 | 0 | 0 | 9.975000e+02 | 1.703000e+03 | 70.73%
30.78/30.80 o 1702
30.78/30.80 c s30.6s| 1 | 0 | 23118 | 14M| 0 |1503 |1531 |2987 |2987 |1531 |3070 | 87 | 0 | 0 | 9.975000e+02 | 1.702000e+03 | 70.63%
31.88/31.95 c 31.7s| 1 | 0 | 24098 | 14M| 0 |1513 |1531 |2987 |2987 |1531 |3073 | 90 | 0 | 0 | 9.980000e+02 | 1.702000e+03 | 70.54%
32.08/32.15 o 1701
32.08/32.15 c R31.9s| 1 | 0 | 24098 | 14M| 0 |1513 |1531 |2987 |2987 |1531 |3073 | 90 | 0 | 0 | 9.980000e+02 | 1.701000e+03 | 70.44%
32.28/32.37 o 1700
32.28/32.37 c s32.1s| 1 | 0 | 24098 | 14M| 0 |1513 |1531 |2987 |2987 |1531 |3073 | 90 | 0 | 0 | 9.980000e+02 | 1.700000e+03 | 70.34%
33.58/33.63 c 33.4s| 1 | 0 | 25179 | 14M| 0 |1509 |1531 |2987 |2987 |1531 |3077 | 94 | 0 | 0 | 9.980000e+02 | 1.700000e+03 | 70.34%
33.78/33.84 o 1699
33.78/33.84 c R33.6s| 1 | 0 | 25179 | 14M| 0 |1509 |1531 |2987 |2987 |1531 |3077 | 94 | 0 | 0 | 9.980000e+02 | 1.699000e+03 | 70.24%
33.98/34.05 o 1698
33.98/34.05 c s33.8s| 1 | 0 | 25179 | 15M| 0 |1509 |1531 |2987 |2987 |1531 |3077 | 94 | 0 | 0 | 9.980000e+02 | 1.698000e+03 | 70.14%
36.08/36.17 c 35.9s| 1 | 0 | 26937 | 15M| 0 |1484 |1531 |2987 |2987 |1531 |3081 | 98 | 0 | 0 | 9.983333e+02 | 1.698000e+03 | 70.08%
36.28/36.37 o 1697
36.28/36.37 c R36.1s| 1 | 0 | 26937 | 15M| 0 |1484 |1531 |2987 |2987 |1531 |3081 | 98 | 0 | 0 | 9.983333e+02 | 1.697000e+03 | 69.98%
36.48/36.57 o 1696
36.48/36.57 c s36.3s| 1 | 0 | 26937 | 15M| 0 |1484 |1531 |2987 |2987 |1531 |3081 | 98 | 0 | 0 | 9.983333e+02 | 1.696000e+03 | 69.88%
37.78/37.81 c 37.6s| 1 | 0 | 28021 | 16M| 0 |1501 |1531 |2987 |2987 |1531 |3071 | 102 | 0 | 0 | 9.987500e+02 | 1.696000e+03 | 69.81%
37.98/38.01 o 1695
37.98/38.01 c R37.8s| 1 | 0 | 28021 | 16M| 0 |1501 |1531 |2987 |2987 |1531 |3071 | 102 | 0 | 0 | 9.987500e+02 | 1.695000e+03 | 69.71%
38.18/38.22 o 1694
38.18/38.22 c s38.0s| 1 | 0 | 28021 | 16M| 0 |1501 |1531 |2987 |2987 |1531 |3071 | 102 | 0 | 0 | 9.987500e+02 | 1.694000e+03 | 69.61%
40.08/40.13 c 39.9s| 1 | 0 | 29833 | 17M| 0 |1505 |1531 |2987 |2987 |1531 |3073 | 104 | 0 | 0 | 9.990000e+02 | 1.694000e+03 | 69.57%
40.28/40.33 o 1693
40.28/40.33 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.28/40.33 c R40.1s| 1 | 0 | 29833 | 17M| 0 |1505 |1531 |2987 |2987 |1531 |3073 | 104 | 0 | 0 | 9.990000e+02 | 1.693000e+03 | 69.47%
40.48/40.54 o 1692
40.48/40.54 c s40.3s| 1 | 0 | 29833 | 17M| 0 |1505 |1531 |2987 |2987 |1531 |3073 | 104 | 0 | 0 | 9.990000e+02 | 1.692000e+03 | 69.37%
41.89/41.93 c 41.7s| 1 | 0 | 31127 | 17M| 0 |1498 |1531 |2987 |2987 |1531 |3075 | 106 | 0 | 0 | 9.990000e+02 | 1.692000e+03 | 69.37%
42.08/42.13 o 1691
42.08/42.13 c R41.9s| 1 | 0 | 31127 | 17M| 0 |1498 |1531 |2987 |2987 |1531 |3075 | 106 | 0 | 0 | 9.990000e+02 | 1.691000e+03 | 69.27%
42.28/42.34 o 1690
42.28/42.34 c s42.1s| 1 | 0 | 31127 | 17M| 0 |1498 |1531 |2987 |2987 |1531 |3075 | 106 | 0 | 0 | 9.990000e+02 | 1.690000e+03 | 69.17%
44.28/44.34 c 44.1s| 1 | 0 | 32850 | 17M| 0 |1501 |1531 |2987 |2987 |1531 |3078 | 109 | 0 | 0 | 9.995000e+02 | 1.690000e+03 | 69.08%
44.48/44.54 o 1689
44.48/44.54 c R44.3s| 1 | 0 | 32850 | 17M| 0 |1501 |1531 |2987 |2987 |1531 |3078 | 109 | 0 | 0 | 9.995000e+02 | 1.689000e+03 | 68.98%
44.68/44.74 o 1688
44.68/44.74 c s44.5s| 1 | 0 | 32850 | 17M| 0 |1501 |1531 |2987 |2987 |1531 |3078 | 109 | 0 | 0 | 9.995000e+02 | 1.688000e+03 | 68.88%
46.88/46.99 c 46.7s| 1 | 0 | 34833 | 17M| 0 |1503 |1531 |2987 |2987 |1531 |3083 | 114 | 0 | 0 | 1.001000e+03 | 1.688000e+03 | 68.63%
47.08/47.19 o 1687
47.08/47.19 c R46.9s| 1 | 0 | 34833 | 17M| 0 |1503 |1531 |2987 |2987 |1531 |3083 | 114 | 0 | 0 | 1.001000e+03 | 1.687000e+03 | 68.53%
47.28/47.40 o 1686
47.28/47.40 c s47.1s| 1 | 0 | 34833 | 17M| 0 |1503 |1531 |2987 |2987 |1531 |3083 | 114 | 0 | 0 | 1.001000e+03 | 1.686000e+03 | 68.43%
50.27/50.38 c 50.1s| 1 | 0 | 37843 | 17M| 0 |1490 |1531 |2987 |2987 |1531 |3085 | 116 | 0 | 0 | 1.001500e+03 | 1.686000e+03 | 68.35%
50.47/50.58 o 1685
50.47/50.58 c R50.3s| 1 | 0 | 37843 | 17M| 0 |1490 |1531 |2987 |2987 |1531 |3085 | 116 | 0 | 0 | 1.001500e+03 | 1.685000e+03 | 68.25%
50.68/50.79 o 1684
50.68/50.79 c s50.5s| 1 | 0 | 37843 | 17M| 0 |1490 |1531 |2987 |2987 |1531 |3085 | 116 | 0 | 0 | 1.001500e+03 | 1.684000e+03 | 68.15%
52.97/53.00 c 52.7s| 1 | 0 | 39855 | 18M| 0 |1492 |1531 |2987 |2987 |1531 |3068 | 119 | 0 | 0 | 1.002200e+03 | 1.684000e+03 | 68.03%
53.17/53.20 o 1683
53.17/53.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.17/53.20 c R52.9s| 1 | 0 | 39855 | 18M| 0 |1492 |1531 |2987 |2987 |1531 |3068 | 119 | 0 | 0 | 1.002200e+03 | 1.683000e+03 | 67.93%
53.37/53.41 o 1682
53.37/53.41 c s53.1s| 1 | 0 | 39855 | 18M| 0 |1492 |1531 |2987 |2987 |1531 |3068 | 119 | 0 | 0 | 1.002200e+03 | 1.682000e+03 | 67.83%
55.27/55.31 c 55.0s| 1 | 0 | 42106 | 18M| 0 |1497 |1531 |2987 |2987 |1531 |3071 | 122 | 0 | 0 | 1.002714e+03 | 1.682000e+03 | 67.74%
55.47/55.51 o 1681
55.47/55.51 c R55.2s| 1 | 0 | 42106 | 18M| 0 |1497 |1531 |2987 |2987 |1531 |3071 | 122 | 0 | 0 | 1.002714e+03 | 1.681000e+03 | 67.64%
55.67/55.72 o 1680
55.67/55.72 c s55.4s| 1 | 0 | 42106 | 18M| 0 |1497 |1531 |2987 |2987 |1531 |3071 | 122 | 0 | 0 | 1.002714e+03 | 1.680000e+03 | 67.55%
57.68/57.75 c 57.5s| 1 | 0 | 44257 | 19M| 0 |1502 |1531 |2987 |2987 |1531 |3072 | 123 | 0 | 0 | 1.002857e+03 | 1.680000e+03 | 67.52%
57.88/57.95 o 1679
57.88/57.95 c R57.7s| 1 | 0 | 44257 | 19M| 0 |1502 |1531 |2987 |2987 |1531 |3072 | 123 | 0 | 0 | 1.002857e+03 | 1.679000e+03 | 67.42%
58.08/58.16 o 1678
58.08/58.16 c s57.9s| 1 | 0 | 44257 | 19M| 0 |1502 |1531 |2987 |2987 |1531 |3072 | 123 | 0 | 0 | 1.002857e+03 | 1.678000e+03 | 67.32%
60.17/60.24 c 59.9s| 1 | 0 | 46003 | 19M| 0 |1455 |1531 |2987 |2987 |1531 |3080 | 131 | 0 | 0 | 1.003000e+03 | 1.678000e+03 | 67.30%
60.37/60.43 o 1677
60.37/60.43 c R60.1s| 1 | 0 | 46003 | 19M| 0 |1455 |1531 |2987 |2987 |1531 |3080 | 131 | 0 | 0 | 1.003000e+03 | 1.677000e+03 | 67.20%
60.57/60.63 o 1676
60.57/60.63 c s60.3s| 1 | 0 | 46003 | 19M| 0 |1455 |1531 |2987 |2987 |1531 |3080 | 131 | 0 | 0 | 1.003000e+03 | 1.676000e+03 | 67.10%
62.48/62.58 c 62.3s| 1 | 0 | 47847 | 19M| 0 |1525 |1531 |2987 |2987 |1531 |3086 | 137 | 0 | 0 | 1.003000e+03 | 1.676000e+03 | 67.10%
62.68/62.79 o 1675
62.68/62.79 c R62.5s| 1 | 0 | 47847 | 19M| 0 |1525 |1531 |2987 |2987 |1531 |3086 | 137 | 0 | 0 | 1.003000e+03 | 1.675000e+03 | 67.00%
62.98/63.00 o 1674
62.98/63.00 c s62.7s| 1 | 0 | 47847 | 19M| 0 |1525 |1531 |2987 |2987 |1531 |3086 | 137 | 0 | 0 | 1.003000e+03 | 1.674000e+03 | 66.90%
65.37/65.50 c 65.2s| 1 | 0 | 49818 | 20M| 0 |1437 |1531 |2987 |2987 |1531 |3093 | 144 | 0 | 0 | 1.003000e+03 | 1.674000e+03 | 66.90%
65.57/65.68 o 1673
65.57/65.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.57/65.68 c R65.4s| 1 | 0 | 49818 | 20M| 0 |1437 |1531 |2987 |2987 |1531 |3093 | 144 | 0 | 0 | 1.003000e+03 | 1.673000e+03 | 66.80%
65.77/65.88 o 1672
65.77/65.88 c s65.6s| 1 | 0 | 49818 | 20M| 0 |1437 |1531 |2987 |2987 |1531 |3093 | 144 | 0 | 0 | 1.003000e+03 | 1.672000e+03 | 66.70%
67.97/68.01 c 67.7s| 1 | 0 | 51886 | 20M| 0 |1457 |1531 |2987 |2987 |1531 |3081 | 147 | 0 | 0 | 1.003000e+03 | 1.672000e+03 | 66.70%
68.07/68.20 o 1671
68.07/68.20 c R67.9s| 1 | 0 | 51886 | 20M| 0 |1457 |1531 |2987 |2987 |1531 |3081 | 147 | 0 | 0 | 1.003000e+03 | 1.671000e+03 | 66.60%
68.27/68.39 o 1670
68.27/68.39 c s68.1s| 1 | 0 | 51886 | 20M| 0 |1457 |1531 |2987 |2987 |1531 |3081 | 147 | 0 | 0 | 1.003000e+03 | 1.670000e+03 | 66.50%
70.87/70.95 c 70.6s| 1 | 0 | 54611 | 20M| 0 |1457 |1531 |2987 |2987 |1531 |3086 | 152 | 0 | 0 | 1.003500e+03 | 1.670000e+03 | 66.42%
71.07/71.14 o 1669
71.07/71.14 c R70.8s| 1 | 0 | 54611 | 20M| 0 |1457 |1531 |2987 |2987 |1531 |3086 | 152 | 0 | 0 | 1.003500e+03 | 1.669000e+03 | 66.32%
71.27/71.34 o 1668
71.27/71.34 c s71.0s| 1 | 0 | 54611 | 20M| 0 |1457 |1531 |2987 |2987 |1531 |3086 | 152 | 0 | 0 | 1.003500e+03 | 1.668000e+03 | 66.22%
73.17/73.26 c 73.0s| 1 | 0 | 56554 | 20M| 0 |1463 |1531 |2987 |2987 |1531 |3095 | 161 | 0 | 0 | 1.005000e+03 | 1.668000e+03 | 65.97%
73.37/73.46 o 1667
73.37/73.46 c R73.1s| 1 | 0 | 56554 | 20M| 0 |1463 |1531 |2987 |2987 |1531 |3095 | 161 | 0 | 0 | 1.005000e+03 | 1.667000e+03 | 65.87%
73.57/73.66 o 1666
73.57/73.66 c s73.3s| 1 | 0 | 56554 | 20M| 0 |1463 |1531 |2987 |2987 |1531 |3095 | 161 | 0 | 0 | 1.005000e+03 | 1.666000e+03 | 65.77%
75.47/75.51 c 75.2s| 1 | 0 | 58260 | 21M| 0 |1464 |1531 |2987 |2987 |1531 |3098 | 164 | 0 | 0 | 1.005000e+03 | 1.666000e+03 | 65.77%
75.67/75.70 o 1665
75.67/75.70 c R75.4s| 1 | 0 | 58260 | 21M| 0 |1464 |1531 |2987 |2987 |1531 |3098 | 164 | 0 | 0 | 1.005000e+03 | 1.665000e+03 | 65.67%
75.87/75.90 o 1664
75.87/75.90 c s75.6s| 1 | 0 | 58260 | 21M| 0 |1464 |1531 |2987 |2987 |1531 |3098 | 164 | 0 | 0 | 1.005000e+03 | 1.664000e+03 | 65.57%
78.18/78.25 c 77.9s| 1 | 0 | 60308 | 21M| 0 |1438 |1531 |2987 |2987 |1531 |3105 | 171 | 0 | 0 | 1.005000e+03 | 1.664000e+03 | 65.57%
78.37/78.44 o 1663
78.37/78.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.37/78.44 c R78.1s| 1 | 0 | 60308 | 21M| 0 |1438 |1531 |2987 |2987 |1531 |3105 | 171 | 0 | 0 | 1.005000e+03 | 1.663000e+03 | 65.47%
78.57/78.63 o 1662
78.57/78.63 c s78.3s| 1 | 0 | 60308 | 21M| 0 |1438 |1531 |2987 |2987 |1531 |3105 | 171 | 0 | 0 | 1.005000e+03 | 1.662000e+03 | 65.37%
80.47/80.58 c 80.2s| 1 | 0 | 62269 | 21M| 0 |1472 |1531 |2987 |2987 |1531 |3107 | 173 | 0 | 0 | 1.005000e+03 | 1.662000e+03 | 65.37%
80.66/80.77 o 1661
80.66/80.77 c R80.4s| 1 | 0 | 62269 | 21M| 0 |1472 |1531 |2987 |2987 |1531 |3107 | 173 | 0 | 0 | 1.005000e+03 | 1.661000e+03 | 65.27%
80.86/80.97 o 1660
80.86/80.97 c s80.6s| 1 | 0 | 62269 | 21M| 0 |1472 |1531 |2987 |2987 |1531 |3107 | 173 | 0 | 0 | 1.005000e+03 | 1.660000e+03 | 65.17%
83.97/84.07 c 83.7s| 1 | 0 | 64989 | 22M| 0 |1516 |1531 |2987 |2987 |1531 |3103 | 177 | 0 | 0 | 1.005295e+03 | 1.660000e+03 | 65.13%
84.17/84.27 o 1659
84.17/84.27 c R83.9s| 1 | 0 | 64989 | 22M| 0 |1516 |1531 |2987 |2987 |1531 |3103 | 177 | 0 | 0 | 1.005295e+03 | 1.659000e+03 | 65.03%
84.37/84.49 o 1658
84.37/84.49 c s84.2s| 1 | 0 | 64989 | 22M| 0 |1516 |1531 |2987 |2987 |1531 |3103 | 177 | 0 | 0 | 1.005295e+03 | 1.658000e+03 | 64.93%
86.07/86.17 c 85.8s| 1 | 0 | 67009 | 23M| 0 |1526 |1531 |2987 |2987 |1531 |3108 | 182 | 0 | 0 | 1.006350e+03 | 1.658000e+03 | 64.75%
86.27/86.38 o 1657
86.27/86.38 c R86.0s| 1 | 0 | 67009 | 23M| 0 |1526 |1531 |2987 |2987 |1531 |3108 | 182 | 0 | 0 | 1.006350e+03 | 1.657000e+03 | 64.65%
86.57/86.60 o 1656
86.57/86.60 c s86.3s| 1 | 0 | 67009 | 23M| 0 |1526 |1531 |2987 |2987 |1531 |3108 | 182 | 0 | 0 | 1.006350e+03 | 1.656000e+03 | 64.56%
89.07/89.19 c 88.8s| 1 | 0 | 69510 | 24M| 0 |1481 |1531 |2987 |2987 |1531 |3113 | 187 | 0 | 0 | 1.006833e+03 | 1.656000e+03 | 64.48%
89.26/89.39 o 1655
89.26/89.39 c R89.0s| 1 | 0 | 69510 | 24M| 0 |1481 |1531 |2987 |2987 |1531 |3113 | 187 | 0 | 0 | 1.006833e+03 | 1.655000e+03 | 64.38%
89.46/89.60 o 1654
89.46/89.60 c s89.2s| 1 | 0 | 69510 | 24M| 0 |1481 |1531 |2987 |2987 |1531 |3113 | 187 | 0 | 0 | 1.006833e+03 | 1.654000e+03 | 64.28%
91.06/91.11 c 90.8s| 1 | 0 | 71172 | 24M| 0 |1519 |1531 |2987 |2987 |1531 |3118 | 192 | 0 | 0 | 1.007000e+03 | 1.654000e+03 | 64.25%
91.27/91.32 o 1653
91.27/91.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.27/91.32 c R91.0s| 1 | 0 | 71172 | 24M| 0 |1519 |1531 |2987 |2987 |1531 |3118 | 192 | 0 | 0 | 1.007000e+03 | 1.653000e+03 | 64.15%
91.46/91.54 o 1652
91.46/91.54 c s91.2s| 1 | 0 | 71172 | 24M| 0 |1519 |1531 |2987 |2987 |1531 |3118 | 192 | 0 | 0 | 1.007000e+03 | 1.652000e+03 | 64.05%
94.16/94.26 c 93.9s| 1 | 0 | 73335 | 26M| 0 |1513 |1531 |2987 |2987 |1531 |3119 | 193 | 0 | 0 | 1.007000e+03 | 1.652000e+03 | 64.05%
94.36/94.47 o 1651
94.36/94.47 c R94.1s| 1 | 0 | 73335 | 26M| 0 |1513 |1531 |2987 |2987 |1531 |3119 | 193 | 0 | 0 | 1.007000e+03 | 1.651000e+03 | 63.95%
94.57/94.68 o 1650
94.57/94.68 c s94.3s| 1 | 0 | 73335 | 26M| 0 |1513 |1531 |2987 |2987 |1531 |3119 | 193 | 0 | 0 | 1.007000e+03 | 1.650000e+03 | 63.85%
96.67/96.72 c 96.4s| 1 | 0 | 75228 | 26M| 0 |1518 |1531 |2987 |2987 |1531 |3122 | 196 | 0 | 0 | 1.007333e+03 | 1.650000e+03 | 63.80%
96.87/96.93 o 1649
96.87/96.93 c R96.6s| 1 | 0 | 75228 | 26M| 0 |1518 |1531 |2987 |2987 |1531 |3122 | 196 | 0 | 0 | 1.007333e+03 | 1.649000e+03 | 63.70%
97.07/97.14 o 1648
97.07/97.14 c s96.8s| 1 | 0 | 75228 | 26M| 0 |1518 |1531 |2987 |2987 |1531 |3122 | 196 | 0 | 0 | 1.007333e+03 | 1.648000e+03 | 63.60%
99.87/99.92 c 99.6s| 1 | 0 | 77494 | 27M| 0 |1456 |1531 |2987 |2987 |1531 |3111 | 203 | 0 | 0 | 1.009000e+03 | 1.648000e+03 | 63.33%
100.07/100.12 o 1647
100.07/100.12 c R99.8s| 1 | 0 | 77494 | 27M| 0 |1456 |1531 |2987 |2987 |1531 |3111 | 203 | 0 | 0 | 1.009000e+03 | 1.647000e+03 | 63.23%
100.27/100.31 o 1646
100.27/100.31 c s99.9s| 1 | 0 | 77494 | 27M| 0 |1456 |1531 |2987 |2987 |1531 |3111 | 203 | 0 | 0 | 1.009000e+03 | 1.646000e+03 | 63.13%
102.37/102.49 c 102s| 1 | 0 | 79548 | 27M| 0 |1480 |1531 |2987 |2987 |1531 |3115 | 207 | 0 | 0 | 1.009000e+03 | 1.646000e+03 | 63.13%
102.57/102.68 o 1645
102.57/102.68 c R 102s| 1 | 0 | 79548 | 27M| 0 |1480 |1531 |2987 |2987 |1531 |3115 | 207 | 0 | 0 | 1.009000e+03 | 1.645000e+03 | 63.03%
102.77/102.89 o 1644
102.77/102.89 c s 103s| 1 | 0 | 79548 | 27M| 0 |1480 |1531 |2987 |2987 |1531 |3115 | 207 | 0 | 0 | 1.009000e+03 | 1.644000e+03 | 62.93%
104.26/104.38 c 104s| 1 | 0 | 80949 | 27M| 0 |1501 |1531 |2987 |2987 |1531 |3122 | 214 | 0 | 0 | 1.009000e+03 | 1.644000e+03 | 62.93%
104.47/104.58 o 1643
104.47/104.58 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.47/104.58 c R 104s| 1 | 0 | 80949 | 27M| 0 |1501 |1531 |2987 |2987 |1531 |3122 | 214 | 0 | 0 | 1.009000e+03 | 1.643000e+03 | 62.83%
104.66/104.79 o 1642
104.66/104.79 c s 104s| 1 | 0 | 80949 | 27M| 0 |1501 |1531 |2987 |2987 |1531 |3122 | 214 | 0 | 0 | 1.009000e+03 | 1.642000e+03 | 62.74%
106.76/106.81 c 106s| 1 | 0 | 82789 | 28M| 0 |1442 |1531 |2987 |2987 |1531 |3126 | 218 | 0 | 0 | 1.009000e+03 | 1.642000e+03 | 62.74%
106.96/107.00 o 1641
106.96/107.00 c R 107s| 1 | 0 | 82789 | 28M| 0 |1442 |1531 |2987 |2987 |1531 |3126 | 218 | 0 | 0 | 1.009000e+03 | 1.641000e+03 | 62.64%
107.06/107.19 o 1640
107.06/107.19 c s 107s| 1 | 0 | 82789 | 28M| 0 |1442 |1531 |2987 |2987 |1531 |3126 | 218 | 0 | 0 | 1.009000e+03 | 1.640000e+03 | 62.54%
110.26/110.34 c 110s| 1 | 0 | 85438 | 28M| 0 |1510 |1531 |2987 |2987 |1531 |3130 | 222 | 0 | 0 | 1.009000e+03 | 1.640000e+03 | 62.54%
110.46/110.55 o 1639
110.46/110.55 c R 110s| 1 | 0 | 85438 | 28M| 0 |1510 |1531 |2987 |2987 |1531 |3130 | 222 | 0 | 0 | 1.009000e+03 | 1.639000e+03 | 62.44%
110.66/110.76 o 1638
110.66/110.76 c s 110s| 1 | 0 | 85438 | 28M| 0 |1510 |1531 |2987 |2987 |1531 |3130 | 222 | 0 | 0 | 1.009000e+03 | 1.638000e+03 | 62.34%
114.06/114.18 c 114s| 1 | 0 | 88275 | 29M| 0 |1522 |1531 |2987 |2987 |1531 |3135 | 227 | 0 | 0 | 1.009000e+03 | 1.638000e+03 | 62.34%
114.26/114.39 o 1637
114.26/114.39 c R 114s| 1 | 0 | 88275 | 29M| 0 |1522 |1531 |2987 |2987 |1531 |3135 | 227 | 0 | 0 | 1.009000e+03 | 1.637000e+03 | 62.24%
114.56/114.60 o 1636
114.56/114.60 c s 114s| 1 | 0 | 88275 | 29M| 0 |1522 |1531 |2987 |2987 |1531 |3135 | 227 | 0 | 0 | 1.009000e+03 | 1.636000e+03 | 62.14%
114.56/114.61 o 1152
114.56/114.61 c k 114s| 1 | 0 | 88275 | 29M| 0 |1522 |1531 |2987 |2987 |1531 |3135 | 227 | 0 | 0 | 1.009000e+03 | 1.152000e+03 | 14.17%
114.56/114.62 c 114s| 1 | 0 | 88275 | 29M| 0 |1522 |1531 |2987 |2987 |1531 |3135 | 227 | 0 | 0 | 1.009000e+03 | 1.152000e+03 | 14.17%
116.67/116.78 c 116s| 1 | 0 | 90078 | 31M| 0 |1527 |1531 |2987 |2987 |1531 |3121 | 231 | 0 | 0 | 1.009066e+03 | 1.152000e+03 | 14.16%
121.76/121.87 c 121s| 1 | 2 | 90078 | 31M| 0 |1527 |1531 |2987 |2987 |1531 |3121 | 231 | 0 | 30 | 1.009066e+03 | 1.152000e+03 | 14.16%
141.26/141.38 o 1095
141.26/141.38 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.26/141.38 c c 141s| 4 | 5 |112460 | 32M| 2 | - |1531 |2987 |2633 |1531 |3089 | 231 | 0 | 83 | 1.009591e+03 | 1.095000e+03 | 8.46%
141.26/141.38 o 1051
141.26/141.38 c c 141s| 4 | 5 |112461 | 32M| 2 | - |1531 |2987 |2630 |1531 |3089 | 231 | 0 | 83 | 1.009591e+03 | 1.051000e+03 | 4.10%
460.87/461.03 o 1046
460.87/461.03 c C 460s| 204 | 205 |517421 | 32M| 37 |1265 |1531 |2987 |2699 |1531 |3089 | 231 | 0 | 870 | 1.010973e+03 | 1.046000e+03 | 3.46%
1400.03/1400.45 o 1045
1400.03/1400.45 c *1398s| 2787 | 721 | 1818k| 33M| 52 | - |1531 |2987 |2717 |1531 |3089 | 231 | 0 |2549 | 1.012625e+03 | 1.045000e+03 | 3.20%
1744.64/1745.13 o 1043
1744.64/1745.13 c C1742s| 3985 | 904 | 2293k| 33M| 53 | - |1531 |2987 |2704 |1531 |3089 | 231 | 0 |3286 | 1.013000e+03 | 1.043000e+03 | 2.96%
1794.12/1794.67 c
1794.12/1794.67 c SCIP Status : solving was interrupted [time limit reached]
1794.12/1794.67 c Solving Time (sec) : 1791.01
1794.12/1794.67 c Solving Nodes : 4118
1794.12/1794.67 c Primal Bound : +1.04300000000000e+03 (568 solutions)
1794.12/1794.67 c Dual Bound : +1.01300000000000e+03
1794.12/1794.67 c Gap : 2.96 %
1794.12/1794.67 c NODE 4118
1794.12/1794.67 c DUAL BOUND 1013
1794.12/1794.67 c PRIMAL BOUND 1043
1794.12/1794.67 c GAP 0.029615
1794.12/1794.67 s SATISFIABLE
1794.12/1794.67 v -x1968 x1967 -x1966 -x1965 -x1964 x1963 x1962 -x1961 x1960 x1959 x1958 -x1957 x1956 x1955 x1954 -x1953 x1952 -x1951 -x1950 -x1949
1794.12/1794.67 v -x1948 x1947 -x1946 x1945 x1944 -x1943 x1942 -x1941 -x1940 -x1939 x1938 x1937 x1936 x1935 -x1934 -x1933 -x1932 x1931 -x1930
1794.12/1794.67 v x1929 x1928 -x1927 x1926 x1925 x1924 x1923 x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 x1915 -x1914 x1913 x1912 -x1911
1794.12/1794.67 v -x1910 x1909 x1908 x1907 -x1906 x1905 x1904 x1903 -x1902 x1901 -x1900 -x1899 -x1898 -x1897 x1896 x1895 -x1894 x1893 x1892 x1891
1794.12/1794.67 v x1890 -x1889 x1888 x1887 -x1886 x1885 -x1884 -x1883 -x1882 -x1881 x1880 -x1879 x1878 x1877 x1876 -x1875 -x1874 x1873 x1872
1794.12/1794.67 v x1871 x1870 x1869 x1868 x1867 x1866 x1865 x1864 x1863 x1862 x1861 -x1860 -x1859 -x1858 -x1857 -x1856 x1855 -x1854 -x1853 -x1852
1794.12/1794.67 v x1851 x1850 -x1849 x1848 -x1847 -x1846 -x1845 x1844 x1843 -x1842 x1841 x1840 x1839 x1838 -x1837 -x1836 -x1835 -x1834 x1833
1794.12/1794.67 v x1832 -x1831 x1830 x1829 x1828 x1827 -x1826 -x1825 -x1824 -x1823 x1822 -x1821 x1820 -x1819 -x1818 -x1817 x1816 -x1815 x1814
1794.12/1794.67 v -x1813 -x1812 x1811 x1810 x1809 x1808 x1807 -x1806 x1805 -x1804 -x1803 -x1802 -x1801 x1800 -x1799 x1798 x1797 -x1796 -x1795
1794.12/1794.67 v -x1794 x1793 x1792 -x1791 x1790 -x1789 x1788 -x1787 -x1786 -x1785 -x1784 x1783 -x1782 -x1781 x1780 x1779 -x1778 -x1777 -x1776
1794.12/1794.67 v -x1775 x1774 -x1773 -x1772 -x1771 x1770 -x1769 -x1768 -x1767 -x1766 x1765 x1764 x1763 -x1762 x1761 -x1760 x1759 x1758 x1757
1794.12/1794.67 v -x1756 x1755 -x1754 -x1753 x1752 x1751 x1750 x1749 -x1748 -x1747 -x1746 -x1745 -x1744 x1743 x1742 -x1741 x1740 x1739 -x1738 x1737
1794.12/1794.67 v -x1736 x1735 -x1734 x1733 x1732 x1731 x1730 x1729 -x1728 x1727 -x1726 -x1725 x1724 x1723 -x1722 -x1721 x1720 x1719 -x1718
1794.12/1794.67 v -x1717 -x1716 -x1715 x1714 -x1713 -x1712 -x1711 -x1710 -x1709 x1708 -x1707 -x1706 -x1705 -x1704 x1703 -x1702 x1701 -x1700 -x1699
1794.12/1794.67 v -x1698 x1697 x1696 x1695 -x1694 x1693 -x1692 -x1691 -x1690 x1689 -x1688 x1687 x1686 x1685 x1684 -x1683 -x1682 -x1681 x1680
1794.12/1794.67 v x1679 x1678 -x1677 x1676 x1675 -x1674 x1673 -x1672 x1671 -x1670 -x1669 x1668 x1667 x1666 x1665 x1664 x1663 x1662 x1661 x1660
1794.12/1794.67 v x1659 -x1658 -x1657 x1656 x1655 x1654 -x1653 -x1652 -x1651 -x1650 x1649 -x1648 -x1647 -x1646 x1645 x1644 -x1643 x1642 x1641
1794.12/1794.67 v x1640 x1639 -x1638 x1637 x1636 x1635 x1634 x1633 -x1632 -x1631 x1630 -x1629 -x1628 x1627 -x1626 x1625 -x1624 -x1623 -x1622
1794.12/1794.67 v -x1621 x1620 -x1619 -x1618 -x1617 x1616 -x1615 x1614 x1613 x1612 -x1611 -x1610 x1609 x1608 -x1607 -x1606 x1605 x1604 x1603 -x1602
1794.12/1794.67 v x1601 -x1600 -x1599 x1598 x1597 -x1596 -x1595 -x1594 x1593 x1592 x1591 x1590 x1589 -x1588 -x1587 x1586 x1585 x1584 x1583
1794.12/1794.67 v x1582 x1581 -x1580 x1579 x1578 -x1577 x1576 x1575 -x1574 -x1573 -x1572 x1571 -x1570 x1569 x1568 x1567 x1566 -x1565 -x1564 x1563
1794.12/1794.67 v x1562 x1561 x1560 x1559 x1558 x1557 x1556 -x1555 x1554 x1553 x1552 x1551 x1550 x1549 -x1548 -x1547 x1546 -x1545 x1544 x1543
1794.12/1794.67 v -x1542 x1541 x1540 x1539 -x1538 -x1537 x1536 -x1535 x1534 x1533 -x1532 x1531 -x1530 x1529 -x1528 -x1527 x1526 x1525 -x1524
1794.12/1794.67 v -x1523 -x1522 -x1521 -x1520 x1519 x1518 x1517 x1516 x1515 x1514 -x1513 x1512 x1511 -x1510 x1509 -x1508 -x1507 -x1506 x1505
1794.12/1794.67 v -x1504 -x1503 -x1502 x1501 x1500 -x1499 -x1498 x1497 -x1496 x1495 x1494 -x1493 x1492 -x1491 -x1490 -x1489 -x1488 x1487 x1486
1794.12/1794.67 v x1485 x1484 -x1483 x1482 x1481 x1480 -x1479 -x1478 x1477 -x1476 x1475 -x1474 x1473 -x1472 x1471 -x1470 x1469 -x1468 x1467 x1466
1794.12/1794.67 v x1465 -x1464 -x1463 x1462 x1461 x1460 -x1459 -x1458 -x1457 -x1456 x1455 -x1454 x1453 -x1452 -x1451 -x1450 x1449 x1448 -x1447
1794.12/1794.67 v -x1446 x1445 -x1444 x1443 x1442 x1441 x1440 x1439 -x1438 -x1437 -x1436 x1435 x1434 x1433 x1432 x1431 x1430 -x1429 -x1428 -x1427
1794.12/1794.67 v -x1426 -x1425 -x1424 -x1423 x1422 -x1421 x1420 -x1419 x1418 -x1417 x1416 x1415 -x1414 x1413 -x1412 x1411 x1410 x1409 x1408
1794.12/1794.67 v -x1407 -x1406 -x1405 x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 x1394 x1393 x1392 -x1391 -x1390
1794.12/1794.67 v x1389 -x1388 x1387 -x1386 x1385 -x1384 -x1383 x1382 -x1381 x1380 x1379 x1378 -x1377 x1376 x1375 -x1374 -x1373 -x1372 x1371 x1370
1794.12/1794.67 v x1369 x1368 x1367 x1366 x1365 -x1364 -x1363 x1362 -x1361 x1360 x1359 x1358 -x1357 -x1356 x1355 -x1354 -x1353 -x1352 x1351
1794.12/1794.67 v x1350 -x1349 -x1348 -x1347 -x1346 -x1345 x1344 -x1343 -x1342 x1341 x1340 x1339 x1338 -x1337 -x1336 -x1335 -x1334 x1333 -x1332
1794.12/1794.67 v -x1331 x1330 -x1329 -x1328 x1327 -x1326 x1325 -x1324 -x1323 x1322 x1321 x1320 x1319 x1318 -x1317 -x1316 -x1315 -x1314 -x1313
1794.12/1794.67 v x1312 x1311 x1310 -x1309 x1308 x1307 x1306 -x1305 x1304 -x1303 x1302 -x1301 -x1300 x1299 -x1298 -x1297 -x1296 x1295 -x1294
1794.12/1794.67 v x1293 x1292 -x1291 x1290 -x1289 x1288 -x1287 -x1286 x1285 -x1284 x1283 -x1282 -x1281 -x1280 -x1279 x1278 x1277 x1276 -x1275
1794.12/1794.67 v -x1274 x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 x1266 -x1265 x1264 x1263 x1262 x1261 x1260 x1259 x1258 -x1257 x1256 x1255
1794.12/1794.67 v x1254 x1253 x1252 -x1251 x1250 -x1249 x1248 -x1247 x1246 x1245 x1244 -x1243 -x1242 x1241 x1240 -x1239 -x1238 x1237 x1236
1794.12/1794.67 v -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 x1229 x1228 x1227 -x1226 x1225 x1224 -x1223 -x1222 x1221 x1220 x1219 x1218 x1217 -x1216
1794.12/1794.67 v x1215 -x1214 x1213 x1212 -x1211 -x1210 x1209 -x1208 x1207 -x1206 -x1205 x1204 -x1203 -x1202 x1201 -x1200 -x1199 -x1198 x1197
1794.12/1794.67 v -x1196 x1195 x1194 x1193 x1192 x1191 -x1190 x1189 -x1188 x1187 x1186 x1185 -x1184 -x1183 -x1182 -x1181 x1180 x1179 x1178
1794.12/1794.67 v -x1177 x1176 -x1175 x1174 -x1173 -x1172 -x1171 -x1170 x1169 x1168 x1167 x1166 -x1165 x1164 -x1163 -x1162 -x1161 x1160 x1159
1794.12/1794.67 v -x1158 x1157 x1156 -x1155 x1154 x1153 -x1152 -x1151 x1150 x1149 -x1148 x1147 x1146 -x1145 -x1144 x1143 x1142 x1141 -x1140 -x1139
1794.12/1794.67 v x1138 x1137 -x1136 x1135 x1134 -x1133 -x1132 -x1131 x1130 x1129 x1128 -x1127 -x1126 x1125 x1124 -x1123 -x1122 x1121 -x1120
1794.12/1794.67 v x1119 x1118 -x1117 x1116 -x1115 x1114 x1113 x1112 -x1111 x1110 x1109 x1108 x1107 -x1106 x1105 x1104 x1103 -x1102 -x1101 x1100
1794.12/1794.67 v x1099 -x1098 -x1097 x1096 x1095 x1094 x1093 -x1092 -x1091 -x1090 -x1089 x1088 x1087 x1086 x1085 x1084 x1083 -x1082 x1081 -x1080
1794.12/1794.67 v x1079 -x1078 -x1077 -x1076 x1075 -x1074 x1073 -x1072 -x1071 x1070 x1069 -x1068 x1067 x1066 x1065 -x1064 -x1063 -x1062 -x1061
1794.12/1794.67 v x1060 -x1059 x1058 -x1057 x1056 x1055 x1054 -x1053 -x1052 x1051 x1050 x1049 x1048 -x1047 -x1046 x1045 x1044 x1043 x1042
1794.12/1794.67 v x1041 x1040 x1039 x1038 x1037 x1036 -x1035 -x1034 -x1033 -x1032 x1031 x1030 -x1029 -x1028 x1027 x1026 -x1025 -x1024 -x1023 x1022
1794.12/1794.67 v x1021 -x1020 -x1019 -x1018 -x1017 -x1016 x1015 -x1014 x1013 x1012 x1011 x1010 x1009 x1008 -x1007 x1006 x1005 -x1004 x1003
1794.12/1794.67 v -x1002 -x1001 x1000 -x999 x998 -x997 -x996 x995 x994 -x993 -x992 -x991 -x990 -x989 x988 x987 x986 x985 -x984 -x983 -x982 -x981
1794.12/1794.67 v x980 -x979 x978 -x977 -x976 -x975 -x974 x973 x972 -x971 -x970 x969 -x968 x967 x966 x965 -x964 x963 x962 x961 x960 x959 x958
1794.12/1794.67 v x957 x956 -x955 x954 x953 x952 x951 x950 -x949 -x948 x947 -x946 x945 x944 x943 x942 -x941 x940 x939 -x938 x937 x936 -x935
1794.12/1794.67 v -x934 -x933 x932 x931 x930 x929 -x928 -x927 -x926 x925 x924 -x923 x922 -x921 -x920 -x919 x918 x917 x916 -x915 x914 x913 x912
1794.12/1794.67 v x911 x910 -x909 x908 x907 -x906 -x905 -x904 -x903 -x902 x901 x900 -x899 -x898 -x897 x896 -x895 -x894 x893 x892 -x891 x890 -x889
1794.12/1794.67 v x888 -x887 x886 x885 x884 x883 x882 -x881 -x880 -x879 -x878 x877 x876 -x875 x874 -x873 -x872 x871 -x870 -x869 x868 -x867 x866
1794.12/1794.67 v x865 -x864 -x863 x862 x861 -x860 x859 -x858 -x857 x856 -x855 -x854 x853 x852 x851 -x850 -x849 -x848 x847 -x846 -x845 x844
1794.12/1794.67 v -x843 -x842 -x841 -x840 -x839 -x838 x837 x836 -x835 x834 x833 x832 x831 -x830 x829 -x828 x827 -x826 x825 x824 -x823 x822 x821
1794.12/1794.67 v x820 -x819 x818 x817 x816 -x815 -x814 x813 x812 x811 -x810 x809 x808 x807 x806 -x805 x804 -x803 x802 x801 x800 x799 -x798 x797
1794.12/1794.67 v -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 x788 x787 -x786 x785 -x784 -x783 x782 -x781 -x780 x779 -x778 -x777 -x776
1794.12/1794.67 v x775 x774 x773 -x772 -x771 x770 -x769 x768 -x767 x766 x765 -x764 x763 x762 x761 x760 -x759 x758 -x757 x756 x755 x754 x753 x752
1794.12/1794.67 v x751 -x750 x749 x748 x747 -x746 x745 -x744 -x743 x742 x741 x740 x739 -x738 -x737 -x736 -x735 x734 x733 -x732 -x731 x730 -x729
1794.12/1794.67 v x728 x727 x726 x725 -x724 -x723 -x722 x721 x720 -x719 x718 x717 -x716 -x715 -x714 x713 -x712 x711 x710 -x709 -x708 -x707 x706
1794.12/1794.67 v x705 x704 -x703 -x702 -x701 x700 x699 x698 x697 -x696 -x695 -x694 -x693 x692 x691 x690 x689 -x688 x687 x686 x685 x684 -x683
1794.12/1794.68 v x682 -x681 x680 x679 -x678 x677 x676 -x675 x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 x665 x664 -x663 x662 x661 x660
1794.12/1794.68 v -x659 x658 -x657 x656 x655 -x654 x653 -x652 x651 x650 -x649 x648 x647 -x646 x645 x644 x643 -x642 -x641 x640 x639 -x638 x637
1794.12/1794.68 v x636 -x635 -x634 -x633 -x632 -x631 x630 -x629 x628 x627 x626 -x625 -x624 -x623 -x622 x621 x620 -x619 x618 x617 x616 x615 -x614
1794.12/1794.68 v -x613 -x612 -x611 -x610 -x609 x608 x607 x606 x605 x604 x603 -x602 x601 -x600 -x599 -x598 -x597 x596 x595 x594 x593 -x592
1794.12/1794.68 v x591 -x590 x589 -x588 x587 -x586 x585 -x584 x583 x582 -x581 -x580 -x579 -x578 x577 -x576 x575 -x574 -x573 x572 -x571 x570 x569
1794.12/1794.68 v x568 -x567 -x566 x565 -x564 x563 x562 -x561 x560 -x559 -x558 -x557 -x556 x555 x554 x553 -x552 x551 x550 -x549 x548 -x547 -x546
1794.12/1794.68 v -x545 x544 -x543 x542 x541 -x540 -x539 x538 -x537 x536 -x535 x534 -x533 x532 x531 -x530 -x529 -x528 x527 -x526 x525 -x524
1794.12/1794.68 v -x523 -x522 x521 -x520 x519 x518 -x517 x516 x515 x514 x513 -x512 x511 -x510 x509 -x508 -x507 x506 x505 -x504 -x503 x502 x501
1794.12/1794.68 v -x500 -x499 x498 -x497 -x496 x495 -x494 x493 x492 x491 -x490 -x489 x488 -x487 -x486 x485 x484 -x483 x482 x481 x480 x479 -x478
1794.12/1794.68 v x477 x476 x475 -x474 x473 x472 x471 x470 x469 x468 -x467 x466 x465 -x464 x463 x462 -x461 x460 x459 x458 -x457 -x456 x455 -x454
1794.12/1794.68 v -x453 x452 x451 -x450 x449 x448 -x447 -x446 x445 -x444 x443 -x442 x441 -x440 x439 x438 -x437 x436 -x435 -x434 x433 -x432
1794.12/1794.68 v x431 -x430 x429 x428 -x427 x426 x425 -x424 x423 -x422 x421 -x420 x419 x418 x417 x416 x415 x414 -x413 x412 -x411 x410 -x409 x408
1794.12/1794.68 v x407 x406 -x405 x404 x403 -x402 x401 x400 x399 -x398 -x397 -x396 x395 x394 -x393 x392 -x391 x390 -x389 x388 -x387 x386 -x385
1794.12/1794.68 v -x384 x383 x382 x381 x380 -x379 x378 x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369 x368 x367 -x366 -x365 -x364 x363
1794.12/1794.68 v -x362 x361 x360 -x359 -x358 x357 -x356 -x355 -x354 -x353 x352 x351 x350 x349 x348 -x347 x346 x345 x344 x343 -x342 x341 x340
1794.12/1794.68 v x339 x338 -x337 x336 -x335 -x334 x333 x332 x331 x330 -x329 x328 -x327 -x326 x325 -x324 x323 -x322 -x321 -x320 -x319 x318 x317
1794.12/1794.68 v x316 -x315 -x314 -x313 x312 x311 -x310 x309 x308 -x307 x306 x305 x304 -x303 x302 -x301 x300 x299 x298 -x297 x296 -x295 -x294
1794.12/1794.68 v -x293 -x292 -x291 x290 x289 -x288 -x287 x286 -x285 -x284 x283 x282 -x281 -x280 -x279 x278 -x277 -x276 -x275 x274 -x273 -x272
1794.12/1794.68 v x271 x270 -x269 x268 -x267 x266 -x265 x264 -x263 x262 -x261 -x260 x259 -x258 x257 -x256 x255 -x254 -x253 -x252 -x251 x250 x249
1794.12/1794.68 v x248 -x247 x246 -x245 x244 x243 -x242 x241 x240 x239 -x238 x237 -x236 x235 x234 x233 -x232 -x231 x230 x229 -x228 x227 -x226
1794.12/1794.68 v x225 x224 x223 -x222 x221 x220 -x219 x218 x217 x216 x215 -x214 x213 -x212 x211 x210 x209 x208 -x207 x206 x205 -x204 -x203 x202
1794.12/1794.68 v -x201 -x200 -x199 -x198 x197 x196 -x195 -x194 x193 -x192 x191 -x190 x189 x188 -x187 x186 x185 x184 x183 x182 -x181 x180 -x179
1794.12/1794.68 v x178 x177 x176 x175 x174 x173 x172 x171 x170 x169 x168 -x167 x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 x157 x156
1794.12/1794.68 v -x155 x154 -x153 x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 x142 -x141 x140 x139 x138 -x137 x136 -x135 -x134
1794.12/1794.68 v -x133 x132 x131 x130 -x129 x128 -x127 x126 x125 x124 -x123 x122 -x121 x120 x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111
1794.12/1794.68 v x110 x109 -x108 x107 x106 -x105 -x104 x103 x102 x101 -x100 x99 -x98 -x97 x96 x95 -x94 x93 x92 x91 x90 x89 -x88 -x87 -x86 x85
1794.12/1794.68 v -x84 x83 x82 x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 x72 x71 -x70 -x69 x68 x67 x66 x65 -x64 x63 -x62 x61 -x60 x59 x58 -x57
1794.12/1794.68 v -x56 -x55 x54 x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 x31
1794.12/1794.68 v -x30 x29 x28 x27 x26 x25 -x24 -x23 x22 x21 x20 x19 -x18 x17 -x16 x15 -x14 -x13 x12 x11 x10 -x9 -x8 x7 x6 -x5 -x4 x3 x2 x1
1794.12/1794.68 c SCIP Status : solving was interrupted [time limit reached]
1794.12/1794.68 c Solving Time : 1791.01
1794.12/1794.68 c Original Problem :
1794.12/1794.68 c Problem name : HOME/instance-1868805-1245144130.opb
1794.12/1794.68 c Variables : 1968 (1968 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.12/1794.68 c Constraints : 4000 initial, 4000 maximal
1794.12/1794.68 c Presolved Problem :
1794.12/1794.68 c Problem name : t_HOME/instance-1868805-1245144130.opb
1794.12/1794.68 c Variables : 1531 (1531 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.12/1794.68 c Constraints : 2987 initial, 2987 maximal
1794.12/1794.68 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1794.12/1794.68 c trivial : 0.00 0 0 0 0 0 0 0 0
1794.12/1794.68 c dualfix : 0.01 205 0 0 0 0 0 0 0
1794.12/1794.68 c boundshift : 0.00 0 0 0 0 0 0 0 0
1794.12/1794.68 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1794.12/1794.68 c implics : 0.01 0 0 0 0 0 0 0 0
1794.12/1794.68 c probing : 0.01 0 0 0 0 0 0 0 0
1794.12/1794.68 c linear : 0.04 0 232 0 0 0 1013 0 0
1794.12/1794.68 c logicor : 0.03 0 0 0 0 0 0 0 0
1794.12/1794.68 c root node : - 0 - - 0 - - - -
1794.12/1794.68 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1794.12/1794.68 c integral : 0 0 0 2696 0 50 153 0 0 5180
1794.12/1794.68 c logicor : 2987 53 10419 1 0 0 13078 0 0 0
1794.12/1794.68 c countsols : 0 0 0 1 0 0 0 0 0 0
1794.12/1794.68 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1794.12/1794.68 c integral : 414.90 0.00 0.00 414.90 0.00
1794.12/1794.68 c logicor : 0.24 0.04 0.20 0.00 0.00
1794.12/1794.68 c countsols : 0.00 0.00 0.00 0.00 0.00
1794.12/1794.68 c Propagators : Time Calls Cutoffs DomReds
1794.12/1794.68 c rootredcost : 0.00 5 0 0
1794.12/1794.68 c pseudoobj : 1.25 19705 0 0
1794.12/1794.68 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1794.12/1794.68 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1794.12/1794.68 c infeasible LP : 0.69 1909 0 0 0.0 0 0.0 0
1794.12/1794.68 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1794.12/1794.68 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1794.12/1794.68 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1794.12/1794.68 c applied globally : - - - 0 0.0 - - -
1794.12/1794.68 c applied locally : - - - 0 0.0 - - -
1794.12/1794.68 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1794.12/1794.68 c cut pool : 0.15 52 - - 58 - (maximal pool size: 1442)
1794.12/1794.68 c redcost : 0.17 2832 0 94 0 0
1794.12/1794.68 c impliedbounds : 0.04 53 0 0 0 0
1794.12/1794.68 c intobj : 0.00 0 0 0 0 0
1794.12/1794.68 c gomory : 7.23 53 0 0 26271 0
1794.12/1794.68 c strongcg : 1.80 20 0 0 10000 0
1794.12/1794.68 c cmir : 0.26 10 0 0 0 0
1794.12/1794.68 c flowcover : 0.20 10 0 0 0 0
1794.12/1794.68 c clique : 0.00 53 0 0 11 0
1794.12/1794.68 c zerohalf : 0.00 0 0 0 0 0
1794.12/1794.68 c mcf : 0.02 1 0 0 0 0
1794.12/1794.68 c Pricers : Time Calls Vars
1794.12/1794.68 c problem variables: 0.00 0 0
1794.12/1794.68 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1794.12/1794.68 c relpscost : 414.89 2695 50 153 0 0 5180
1794.12/1794.68 c pscost : 0.00 0 0 0 0 0 0
1794.12/1794.68 c inference : 0.00 0 0 0 0 0 0
1794.12/1794.68 c mostinf : 0.00 0 0 0 0 0 0
1794.12/1794.68 c leastinf : 0.00 0 0 0 0 0 0
1794.12/1794.68 c fullstrong : 0.00 0 0 0 0 0 0
1794.12/1794.68 c allfullstrong : 0.00 0 0 0 0 0 0
1794.12/1794.68 c random : 0.00 0 0 0 0 0 0
1794.12/1794.68 c Primal Heuristics : Time Calls Found
1794.12/1794.68 c LP solutions : 0.00 - 1
1794.12/1794.68 c pseudo solutions : 0.00 - 0
1794.12/1794.68 c oneopt : 0.03 5 1
1794.12/1794.68 c crossover : 0.22 2 2
1794.12/1794.68 c simplerounding : 0.70 2748 38
1794.12/1794.68 c rounding : 206.68 2748 53
1794.12/1794.68 c shifting : 33.02 338 53
1794.12/1794.68 c intshifting : 0.00 0 0
1794.12/1794.68 c fixandinfer : 0.00 0 0
1794.12/1794.68 c feaspump : 0.00 0 0
1794.12/1794.68 c coefdiving : 134.23 64 211
1794.12/1794.68 c pscostdiving : 52.25 24 10
1794.12/1794.68 c fracdiving : 50.97 13 0
1794.12/1794.68 c veclendiving : 53.06 14 0
1794.12/1794.68 c intdiving : 0.00 0 0
1794.12/1794.68 c actconsdiving : 0.00 0 0
1794.12/1794.68 c objpscostdiving : 99.56 29 171
1794.12/1794.68 c rootsoldiving : 16.24 32 28
1794.12/1794.68 c linesearchdiving : 40.16 22 0
1794.12/1794.68 c guideddiving : 46.16 16 0
1794.12/1794.68 c octane : 0.00 0 0
1794.12/1794.68 c rens : 0.00 0 0
1794.12/1794.68 c rins : 0.00 0 0
1794.12/1794.68 c localbranching : 0.00 0 0
1794.12/1794.68 c mutation : 0.00 0 0
1794.12/1794.68 c dins : 0.00 0 0
1794.12/1794.68 c LP : Time Calls Iterations Iter/call Iter/sec
1794.12/1794.68 c primal LP : 0.69 0 0 0.00 0.00
1794.12/1794.68 c dual LP : 625.44 4226 1315886 311.38 2103.94
1794.12/1794.68 c barrier LP : 0.00 0 0 0.00 -
1794.12/1794.68 c diving/probing LP: 475.55 9713 1061426 109.28 2232.00
1794.12/1794.68 c strong branching : 412.70 3327 751625 225.92 1821.24
1794.12/1794.68 c (at root node) : - 30 7956 265.20 -
1794.12/1794.68 c conflict analysis: 0.00 0 0 0.00 -
1794.12/1794.68 c B&B Tree :
1794.12/1794.68 c number of runs : 1
1794.12/1794.68 c nodes : 4118
1794.12/1794.68 c nodes (total) : 4118
1794.12/1794.68 c nodes left : 977
1794.12/1794.68 c max depth : 53
1794.12/1794.68 c max depth (total): 53
1794.12/1794.68 c backtracks : 707 (17.2%)
1794.12/1794.68 c delayed cutoffs : 0
1794.12/1794.68 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1794.12/1794.68 c avg switch length: 3.84
1794.12/1794.68 c switching time : 0.55
1794.12/1794.68 c Solution :
1794.12/1794.68 c Solutions found : 568 (114 improvements)
1794.12/1794.68 c Primal Bound : +1.04300000000000e+03 (in run 1, after 3985 nodes, 1741.57 seconds, depth 44, found by <crossover>)
1794.12/1794.68 c Dual Bound : +1.01300000000000e+03
1794.12/1794.68 c Gap : 2.96 %
1794.12/1794.68 c Root Dual Bound : +1.00906593406593e+03
1794.22/1794.72 c Time complete: 1794.25.