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-3693049-1338037654.opb>
0.00/0.00 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 302 constraints
0.00/0.00 c problem read in 0.01
0.00/0.02 c presolving:
0.00/0.08 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 24792 impls, 200 clqs
0.09/0.14 c (0.1s) probing: 51/3274 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.14 c presolving (2 rounds):
0.09/0.14 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14 c 24792 implications, 200 cliques
0.09/0.14 c presolved problem has 3274 variables (3274 bin, 0 int, 0 impl, 0 cont) and 3376 constraints
0.09/0.14 c 1 constraints of type <knapsack>
0.09/0.14 c 300 constraints of type <setppc>
0.09/0.14 c 3074 constraints of type <and>
0.09/0.14 c 1 constraints of type <linear>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.13
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 2.1.1.4
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1797
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 13950
0.09/0.14 c
0.09/0.14 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.14 c # [type: int, range: [1,2], default: 1]
0.09/0.14 c timing/clocktype = 2
0.09/0.14 c
0.09/0.14 c # belongs reading time to solving time?
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c timing/reading = TRUE
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 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 | 312 | - | 15M| 0 | 188 |3274 |3388 |3274 |6450 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf
5.08/5.15 c 5.2s| 1 | 0 | 14245 | - | 15M| 0 | 191 |3274 |3390 |3274 |6461 | 11 | 13 | 0 | 0.000000e+00 | -- | Inf
6.09/6.19 c 6.2s| 1 | 0 | 14309 | - | 16M| 0 | 190 |3274 |3390 |3274 |6469 | 19 | 13 | 0 | 0.000000e+00 | -- | Inf
7.19/7.28 c 7.3s| 1 | 0 | 14354 | - | 17M| 0 | 201 |3274 |3390 |3274 |6474 | 24 | 13 | 0 | 0.000000e+00 | -- | Inf
8.29/8.39 c 8.4s| 1 | 0 | 14405 | - | 17M| 0 | 192 |3274 |3390 |3274 |6480 | 30 | 13 | 0 | 0.000000e+00 | -- | Inf
9.39/9.47 c 9.5s| 1 | 0 | 14441 | - | 18M| 0 | 209 |3274 |3390 |3274 |6486 | 36 | 13 | 0 | 0.000000e+00 | -- | Inf
10.48/10.53 c 10.5s| 1 | 0 | 14518 | - | 19M| 0 | 205 |3274 |3390 |3274 |6493 | 43 | 13 | 0 | 0.000000e+00 | -- | Inf
13.10/13.20 c 13.2s| 1 | 2 | 14518 | - | 19M| 0 | 205 |3274 |3390 |3274 |6493 | 43 | 13 | 18 | 0.000000e+00 | -- | Inf
33.68/33.73 c 33.7s| 100 | 49 | 43618 | 293.9 | 20M| 24 | - |3274 |3444 |3274 |1206 |6928 | 67 | 867 | 0.000000e+00 | -- | Inf
44.88/44.91 c 44.9s| 200 | 86 |117814 | 519.1 | 20M| 29 | - |3274 |3576 |3274 | 979 | 14k| 199 | 929 | 0.000000e+00 | -- | Inf
48.97/49.06 c 49.1s| 300 | 101 |143389 | 431.0 | 20M| 35 | - |3274 |3696 |3274 |1137 | 18k| 319 | 938 | 0.000000e+00 | -- | Inf
53.77/53.83 c 53.8s| 400 | 112 |167048 | 382.3 | 21M| 35 | - |3274 |3792 |3274 |1005 | 22k| 415 | 996 | 0.000000e+00 | -- | Inf
55.67/55.79 c 55.8s| 500 | 112 |178672 | 329.0 | 21M| 35 | - |3274 |3910 |3274 |1003 | 24k| 533 |1011 | 0.000000e+00 | -- | Inf
60.48/60.52 c 60.5s| 600 | 134 |205009 | 318.0 | 21M| 35 | - |3274 |4047 |3274 | 994 | 28k| 671 |1040 | 0.000000e+00 | -- | Inf
62.46/62.57 c 62.6s| 700 | 134 |216643 | 289.2 | 21M| 36 | 147 |3274 |4159 |3274 | 920 | 30k| 783 |1056 | 0.000000e+00 | -- | Inf
64.46/64.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.46/64.57 c 64.6s| 800 | 141 |225753 | 264.4 | 21M| 36 | 150 |3274 |4273 |3274 |1001 | 31k| 897 |1091 | 0.000000e+00 | -- | Inf
66.86/66.90 c 66.9s| 900 | 136 |236885 | 247.3 | 21M| 36 | - |3274 |4392 |3274 |1021 | 33k|1016 |1141 | 0.000000e+00 | -- | Inf
70.87/70.95 c 71.0s| 1000 | 150 |256669 | 242.4 | 22M| 36 | 152 |3274 |4490 |3274 |1016 | 36k|1121 |1211 | 0.000000e+00 | -- | Inf
74.16/74.23 c 74.2s| 1100 | 150 |275846 | 237.8 | 22M| 36 | - |3274 |4609 |3274 |1006 | 39k|1243 |1224 | 0.000000e+00 | -- | Inf
75.57/75.68 c 75.7s| 1200 | 164 |283140 | 224.0 | 22M| 36 | - |3274 |4714 | 0 | 0 | 40k|1350 |1228 | 0.000000e+00 | -- | Inf
77.16/77.25 c 77.3s| 1300 | 172 |292871 | 214.3 | 22M| 39 | 84 |3274 |4820 |3274 | 960 | 41k|1458 |1228 | 0.000000e+00 | -- | Inf
78.26/78.36 c 78.4s| 1400 | 173 |299355 | 203.6 | 22M| 41 | 80 |3274 |4937 |3274 | 996 | 43k|1577 |1229 | 0.000000e+00 | -- | Inf
79.26/79.34 c 79.3s| 1500 | 172 |304831 | 193.7 | 22M| 41 | 100 |3274 |5066 |3274 | 989 | 43k|1706 |1229 | 0.000000e+00 | -- | Inf
80.86/80.93 c 80.9s| 1600 | 168 |312509 | 186.4 | 22M| 41 | - |3274 |5199 |3274 | 968 | 45k|1843 |1260 | 0.000000e+00 | -- | Inf
82.67/82.70 c 82.7s| 1700 | 170 |320478 | 180.1 | 23M| 41 | - |3274 |5335 |3274 | 999 | 46k|1982 |1302 | 0.000000e+00 | -- | Inf
83.76/83.83 c 83.8s| 1800 | 174 |325809 | 173.0 | 23M| 41 | 115 |3274 |5485 |3274 |1003 | 47k|2145 |1322 | 0.000000e+00 | -- | Inf
85.06/85.14 c 85.1s| 1900 | 177 |331659 | 167.0 | 23M| 41 | 111 |3274 |5608 |3274 |1009 | 48k|2279 |1364 | 0.000000e+00 | -- | Inf
86.37/86.47 c 86.5s| 2000 | 171 |338150 | 161.9 | 23M| 43 | 127 |3274 |5702 |3274 | 949 | 48k|2415 |1399 | 0.000000e+00 | -- | Inf
88.07/88.17 c 88.2s| 2100 | 172 |346646 | 158.2 | 23M| 43 | 118 |3274 |5796 |3274 | 968 | 50k|2557 |1437 | 0.000000e+00 | -- | Inf
89.26/89.35 c 89.3s| 2200 | 174 |352491 | 153.7 | 23M| 43 | - |3274 |5871 |3274 | 964 | 51k|2687 |1466 | 0.000000e+00 | -- | Inf
90.36/90.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.36/90.42 c 90.4s| 2300 | 176 |358385 | 149.6 | 23M| 43 | - |3274 |5988 |3274 |1027 | 51k|2807 |1480 | 0.000000e+00 | -- | Inf
91.46/91.59 c 91.6s| 2400 | 169 |364826 | 146.0 | 23M| 43 | 120 |3274 |6073 |3274 | 984 | 52k|2945 |1489 | 0.000000e+00 | -- | Inf
93.17/93.26 c 93.3s| 2500 | 165 |371705 | 142.9 | 23M| 43 | - |3274 |6002 |3274 | 955 | 53k|3065 |1523 | 0.000000e+00 | -- | Inf
94.57/94.64 c 94.6s| 2600 | 175 |379325 | 140.4 | 23M| 43 | - |3274 |6090 |3274 | 994 | 54k|3173 |1535 | 0.000000e+00 | -- | Inf
95.26/95.35 c 95.4s| 2700 | 181 |382786 | 136.4 | 23M| 43 | 122 |3274 |6165 |3274 |1023 | 55k|3310 |1543 | 0.000000e+00 | -- | Inf
96.16/96.27 c 96.3s| 2800 | 173 |388173 | 133.5 | 23M| 43 | 121 |3274 |6268 |3274 |1053 | 56k|3436 |1546 | 0.000000e+00 | -- | Inf
97.16/97.22 c 97.2s| 2900 | 173 |393305 | 130.7 | 23M| 43 | - |3274 |6398 |3274 | 999 | 56k|3584 |1551 | 0.000000e+00 | -- | Inf
98.36/98.44 c 98.4s| 3000 | 172 |400122 | 128.6 | 23M| 43 | 108 |3274 |6499 |3274 | 969 | 57k|3713 |1555 | 0.000000e+00 | -- | Inf
99.66/99.73 c 99.7s| 3100 | 167 |406374 | 126.4 | 23M| 43 | 151 |3274 |6243 |3274 | 965 | 58k|3823 |1583 | 0.000000e+00 | -- | Inf
101.26/101.38 c 101s| 3200 | 167 |414180 | 124.9 | 23M| 43 | 117 |3274 |6222 |3274 | 984 | 59k|3979 |1621 | 0.000000e+00 | -- | Inf
102.86/102.96 c 103s| 3300 | 165 |421677 | 123.4 | 23M| 43 | - |3274 |6297 |3274 | 992 | 60k|4108 |1661 | 0.000000e+00 | -- | Inf
105.86/105.96 c 106s| 3400 | 169 |435631 | 123.9 | 23M| 43 | 131 |3274 |5924 |3274 | 913 | 62k|4223 |1732 | 0.000000e+00 | -- | Inf
107.16/107.29 c 107s| 3500 | 171 |442585 | 122.3 | 23M| 43 | - |3274 |5999 |3274 | 962 | 63k|4319 |1761 | 0.000000e+00 | -- | Inf
108.26/108.37 c 108s| 3600 | 167 |448686 | 120.6 | 23M| 43 | 116 |3274 |6115 |3274 | 845 | 63k|4450 |1774 | 0.000000e+00 | -- | Inf
110.16/110.29 c 110s| 3700 | 181 |459679 | 120.3 | 23M| 43 | - |3274 |6207 |3274 | 961 | 65k|4563 |1790 | 0.000000e+00 | -- | Inf
111.86/111.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.86/111.93 c 112s| 3800 | 190 |469651 | 119.8 | 23M| 43 | 94 |3274 |6288 |3274 | 995 | 67k|4675 |1793 | 0.000000e+00 | -- | Inf
112.96/113.06 c 113s| 3900 | 188 |476094 | 118.4 | 23M| 43 | 106 |3274 |6323 |3274 |1050 | 68k|4796 |1799 | 0.000000e+00 | -- | Inf
114.76/114.85 c 115s| 4000 | 203 |486104 | 117.9 | 24M| 43 | 102 |3274 |6390 |3274 |1006 | 70k|4935 |1807 | 0.000000e+00 | -- | Inf
115.85/115.91 c 116s| 4100 | 203 |492086 | 116.5 | 24M| 43 | 98 |3274 |6489 |3274 | 994 | 70k|5054 |1820 | 0.000000e+00 | -- | Inf
116.76/116.80 c 117s| 4200 | 204 |496855 | 114.9 | 24M| 43 | 106 |3274 |6488 |3274 | 973 | 71k|5170 |1831 | 0.000000e+00 | -- | Inf
117.75/117.87 c 118s| 4300 | 204 |502588 | 113.5 | 24M| 43 | 105 |3274 |6595 |3274 | 995 | 71k|5306 |1850 | 0.000000e+00 | -- | Inf
119.06/119.17 c 119s| 4400 | 200 |509141 | 112.4 | 24M| 43 | - |3274 |6680 |3274 |1017 | 72k|5452 |1874 | 0.000000e+00 | -- | Inf
120.36/120.49 c 120s| 4500 | 196 |515609 | 111.4 | 24M| 43 | - |3274 |6743 |3274 | 996 | 73k|5589 |1901 | 0.000000e+00 | -- | Inf
121.56/121.63 c 122s| 4600 | 199 |521010 | 110.1 | 24M| 43 | - |3274 |6700 |3274 | 949 | 73k|5739 |1927 | 0.000000e+00 | -- | Inf
122.86/122.90 c 123s| 4700 | 198 |526878 | 109.0 | 24M| 43 | - |3274 |6730 |3274 |1027 | 74k|5877 |1956 | 0.000000e+00 | -- | Inf
124.86/124.90 c 125s| 4800 | 193 |536870 | 108.8 | 23M| 43 | 189 |3274 |5879 |3274 | 789 | 76k|6010 |2001 | 0.000000e+00 | -- | Inf
127.35/127.48 c 127s| 4900 | 202 |548792 | 109.1 | 23M| 43 | 149 |3274 |5710 |3274 |1012 | 78k|6135 |2035 | 0.000000e+00 | -- | Inf
128.96/129.04 c 129s| 5000 | 209 |556185 | 108.4 | 23M| 43 | 116 |3274 |5579 |3274 | 956 | 79k|6236 |2073 | 0.000000e+00 | -- | Inf
130.55/130.67 c 131s| 5100 | 216 |563809 | 107.7 | 23M| 43 | 116 |3274 |5576 |3274 |1005 | 80k|6363 |2098 | 0.000000e+00 | -- | Inf
131.55/131.69 c 132s| 5200 | 222 |569190 | 106.7 | 23M| 43 | 113 |3274 |5658 |3274 |1046 | 81k|6477 |2103 | 0.000000e+00 | -- | Inf
132.86/132.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.86/132.98 c 133s| 5300 | 220 |576310 | 106.0 | 23M| 43 | 121 |3274 |5689 |3274 | 998 | 82k|6608 |2108 | 0.000000e+00 | -- | Inf
134.25/134.37 c 134s| 5400 | 219 |584430 | 105.6 | 23M| 43 | 106 |3274 |5647 |3274 |1010 | 83k|6717 |2110 | 0.000000e+00 | -- | Inf
135.56/135.63 c 136s| 5500 | 219 |591751 | 105.0 | 23M| 43 | - |3274 |5757 |3274 |1046 | 84k|6846 |2116 | 0.000000e+00 | -- | Inf
136.66/136.75 c 137s| 5600 | 223 |598353 | 104.3 | 24M| 43 | - |3274 |5850 |3274 |1014 | 85k|6970 |2118 | 0.000000e+00 | -- | Inf
137.75/137.82 c 138s| 5700 | 227 |604570 | 103.5 | 24M| 43 | 107 |3274 |5979 |3274 | 992 | 86k|7120 |2121 | 0.000000e+00 | -- | Inf
138.85/138.96 c 139s| 5800 | 223 |611112 | 102.9 | 24M| 43 | 118 |3274 |5997 |3274 | 981 | 87k|7256 |2126 | 0.000000e+00 | -- | Inf
140.05/140.15 c 140s| 5900 | 221 |617787 | 102.3 | 24M| 43 | 90 |3274 |6056 |3274 |1012 | 88k|7390 |2129 | 0.000000e+00 | -- | Inf
141.15/141.25 c 141s| 6000 | 214 |623769 | 101.6 | 24M| 43 | 110 |3274 |6099 |3274 | 958 | 89k|7528 |2133 | 0.000000e+00 | -- | Inf
141.95/142.09 c 142s| 6100 | 218 |628182 | 100.6 | 24M| 43 | - |3274 |6143 |3274 | 999 | 89k|7659 |2133 | 0.000000e+00 | -- | Inf
143.05/143.17 c 143s| 6200 | 215 |634295 | 100.0 | 24M| 43 | 82 |3274 |6104 |3274 | 991 | 90k|7772 |2135 | 0.000000e+00 | -- | Inf
143.96/144.07 c 144s| 6300 | 211 |638954 | 99.1 | 24M| 43 | 131 |3274 |6211 |3274 |1003 | 91k|7913 |2138 | 0.000000e+00 | -- | Inf
145.45/145.51 c 146s| 6400 | 221 |647054 | 98.8 | 24M| 43 | - |3274 |6144 |3274 | 989 | 93k|8033 |2149 | 0.000000e+00 | -- | Inf
146.66/146.74 c 147s| 6500 | 220 |653877 | 98.4 | 24M| 43 | - |3274 |6081 |3274 | 998 | 93k|8162 |2153 | 0.000000e+00 | -- | Inf
147.65/147.79 c 148s| 6600 | 217 |659955 | 97.8 | 24M| 43 | 128 |3274 |6180 |3274 | 916 | 94k|8291 |2158 | 0.000000e+00 | -- | Inf
149.15/149.20 c 149s| 6700 | 218 |667070 | 97.4 | 24M| 43 | - |3274 |6225 |3274 |1008 | 95k|8423 |2164 | 0.000000e+00 | -- | Inf
150.35/150.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.35/150.47 c 150s| 6800 | 225 |674377 | 97.1 | 24M| 43 | 130 |3274 |5851 |3274 | 969 | 96k|8544 |2166 | 0.000000e+00 | -- | Inf
151.25/151.34 c 151s| 6900 | 225 |679203 | 96.3 | 24M| 43 | 94 |3274 |5831 |3274 | 990 | 97k|8680 |2171 | 0.000000e+00 | -- | Inf
152.25/152.30 c 152s| 7000 | 229 |684324 | 95.7 | 24M| 43 | 99 |3274 |5721 |3274 | 977 | 98k|8804 |2175 | 0.000000e+00 | -- | Inf
153.05/153.17 c 153s| 7100 | 224 |689368 | 95.1 | 24M| 43 | - |3274 |5840 |3274 | 987 | 98k|8961 |2177 | 0.000000e+00 | -- | Inf
153.96/154.06 c 154s| 7200 | 221 |694275 | 94.4 | 24M| 44 | - |3274 |5805 |3274 | 957 | 99k|9095 |2182 | 0.000000e+00 | -- | Inf
156.16/156.27 c 156s| 7300 | 235 |708949 | 95.1 | 24M| 44 | - |3274 |5605 | 0 | 0 | 100k|9204 |2189 | 0.000000e+00 | -- | Inf
157.25/157.34 c 157s| 7400 | 229 |715366 | 94.7 | 23M| 44 | 136 |3274 |5418 |3274 | 925 | 101k|9346 |2190 | 0.000000e+00 | -- | Inf
158.95/159.05 c 159s| 7500 | 240 |723884 | 94.6 | 23M| 44 | - |3274 |5168 |3274 |1012 | 103k|9454 |2195 | 0.000000e+00 | -- | Inf
161.15/161.25 c 161s| 7600 | 245 |735286 | 94.9 | 23M| 44 | 138 |3274 |5055 |3274 |1004 | 104k|9581 |2222 | 0.000000e+00 | -- | Inf
163.35/163.47 c 163s| 7700 | 263 |747088 | 95.2 | 24M| 44 | 129 |3274 |5000 |3274 |1039 | 107k|9692 |2228 | 0.000000e+00 | -- | Inf
164.55/164.68 c 165s| 7800 | 261 |754139 | 94.8 | 24M| 44 | 123 |3274 |5090 |3274 | 988 | 108k|9820 |2228 | 0.000000e+00 | -- | Inf
165.64/165.70 c 166s| 7900 | 261 |760161 | 94.4 | 24M| 44 | - |3274 |5115 |3274 | 972 | 109k|9946 |2228 | 0.000000e+00 | -- | Inf
166.75/166.81 c 167s| 8000 | 271 |766592 | 94.0 | 24M| 44 | 49 |3274 |5186 |3274 | 982 | 110k| 10k|2228 | 0.000000e+00 | -- | Inf
167.55/167.60 c 168s| 8100 | 264 |771123 | 93.4 | 24M| 44 | 121 |3274 |5294 |3274 | 990 | 110k| 10k|2228 | 0.000000e+00 | -- | Inf
168.65/168.73 c 169s| 8200 | 266 |777615 | 93.1 | 24M| 44 | - |3274 |5330 |3274 | 993 | 111k| 10k|2228 | 0.000000e+00 | -- | Inf
169.95/170.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.95/170.03 c 170s| 8300 | 263 |785301 | 92.9 | 24M| 44 | - |3274 |5377 |3274 |1009 | 112k| 10k|2228 | 0.000000e+00 | -- | Inf
171.84/171.95 c 172s| 8400 | 266 |796760 | 93.1 | 24M| 44 | - |3274 |5371 |3274 |1139 | 114k| 10k|2229 | 0.000000e+00 | -- | Inf
173.55/173.62 c 174s| 8500 | 272 |806998 | 93.2 | 24M| 44 | 135 |3274 |5181 |3274 | 945 | 115k| 10k|2229 | 0.000000e+00 | -- | Inf
175.15/175.28 c 175s| 8600 | 274 |816641 | 93.3 | 24M| 44 | 139 |3274 |5167 |3274 |1027 | 117k| 10k|2230 | 0.000000e+00 | -- | Inf
176.34/176.47 c 176s| 8700 | 279 |823521 | 93.0 | 24M| 44 | - |3274 |5233 |3274 |1012 | 118k| 10k|2230 | 0.000000e+00 | -- | Inf
177.44/177.58 c 178s| 8800 | 281 |829677 | 92.6 | 24M| 44 | 125 |3274 |5275 |3274 |1073 | 119k| 11k|2230 | 0.000000e+00 | -- | Inf
178.54/178.64 c 179s| 8900 | 281 |835705 | 92.3 | 24M| 44 | - |3274 |5151 |3274 |1014 | 120k| 11k|2230 | 0.000000e+00 | -- | Inf
179.45/179.57 c 180s| 9000 | 284 |840875 | 91.8 | 24M| 44 | 104 |3274 |5229 |3274 | 989 | 121k| 11k|2230 | 0.000000e+00 | -- | Inf
180.54/180.60 c 181s| 9100 | 282 |847239 | 91.5 | 24M| 44 | 126 |3274 |5316 |3274 | 948 | 122k| 11k|2230 | 0.000000e+00 | -- | Inf
181.64/181.71 c 182s| 9200 | 280 |853338 | 91.2 | 25M| 44 | - |3274 |5422 |3274 |1014 | 123k| 11k|2232 | 0.000000e+00 | -- | Inf
182.65/182.79 c 183s| 9300 | 284 |859481 | 90.9 | 25M| 44 | - |3274 |5527 |3274 |1040 | 124k| 11k|2232 | 0.000000e+00 | -- | Inf
183.55/183.64 c 184s| 9400 | 281 |864152 | 90.4 | 25M| 44 | 121 |3274 |5620 |3274 |1043 | 124k| 11k|2232 | 0.000000e+00 | -- | Inf
184.85/184.91 c 185s| 9500 | 278 |870331 | 90.1 | 25M| 44 | 96 |3274 |5403 |3274 |1059 | 125k| 11k|2255 | 0.000000e+00 | -- | Inf
186.45/186.54 c 187s| 9600 | 271 |877704 | 89.9 | 24M| 44 | 152 |3274 |5338 |3274 |1048 | 126k| 12k|2298 | 0.000000e+00 | -- | Inf
187.96/188.03 c 188s| 9700 | 267 |885379 | 89.8 | 24M| 44 | - |3274 |5292 |3274 | 945 | 127k| 12k|2322 | 0.000000e+00 | -- | Inf
189.54/189.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
189.54/189.65 c 190s| 9800 | 277 |894657 | 89.8 | 24M| 44 | - |3274 |5332 |3274 |1010 | 129k| 12k|2334 | 0.000000e+00 | -- | Inf
190.95/191.08 c 191s| 9900 | 277 |902821 | 89.7 | 24M| 44 | 117 |3274 |5287 |3274 | 984 | 130k| 12k|2339 | 0.000000e+00 | -- | Inf
192.74/192.88 c 193s| 10000 | 271 |913976 | 90.0 | 24M| 44 | - |3274 |5284 |3274 |1006 | 132k| 12k|2339 | 0.000000e+00 | -- | Inf
195.05/195.10 c 195s| 10100 | 275 |923443 | 90.0 | 25M| 44 | 147 |3274 |5278 |3274 |1113 | 134k| 12k|2385 | 0.000000e+00 | -- | Inf
196.14/196.23 c 196s| 10200 | 282 |929908 | 89.8 | 25M| 44 | - |3274 |5257 |3274 |1018 | 135k| 12k|2391 | 0.000000e+00 | -- | Inf
196.95/197.05 c 197s| 10300 | 283 |934569 | 89.3 | 25M| 44 | 124 |3274 |5373 |3274 |1035 | 135k| 13k|2394 | 0.000000e+00 | -- | Inf
197.75/197.80 c 198s| 10400 | 283 |938890 | 88.9 | 25M| 44 | - |3274 |5456 |3274 | 993 | 136k| 13k|2398 | 0.000000e+00 | -- | Inf
198.55/198.60 c 199s| 10500 | 279 |943377 | 88.5 | 25M| 44 | - |3274 |5496 |3274 |1026 | 136k| 13k|2403 | 0.000000e+00 | -- | Inf
199.34/199.43 c 199s| 10600 | 279 |947931 | 88.1 | 25M| 44 | 107 |3274 |5590 |3274 |1041 | 137k| 13k|2408 | 0.000000e+00 | -- | Inf
200.84/200.94 c 201s| 10700 | 283 |956024 | 88.0 | 25M| 44 | 75 |3274 |5512 |3274 | 980 | 138k| 13k|2422 | 0.000000e+00 | -- | Inf
201.74/201.82 c 202s| 10800 | 281 |960967 | 87.6 | 25M| 44 | 98 |3274 |5531 |3274 | 969 | 139k| 13k|2423 | 0.000000e+00 | -- | Inf
202.84/202.94 c 203s| 10900 | 283 |967707 | 87.5 | 25M| 44 | 130 |3274 |5623 |3274 |1007 | 139k| 13k|2431 | 0.000000e+00 | -- | Inf
204.35/204.43 c 204s| 11000 | 281 |975241 | 87.3 | 25M| 44 | 101 |3274 |5668 |3274 | 984 | 141k| 14k|2457 | 0.000000e+00 | -- | Inf
206.24/206.39 c 206s| 11100 | 277 |985642 | 87.5 | 25M| 44 | 113 |3274 |5651 |3274 | 943 | 142k| 14k|2490 | 0.000000e+00 | -- | Inf
208.54/208.61 c 209s| 11200 | 279 |995480 | 87.6 | 25M| 44 | - |3274 |5660 |3274 | 999 | 144k| 14k|2537 | 0.000000e+00 | -- | Inf
209.64/209.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
209.64/209.71 c 210s| 11300 | 284 | 1001k| 87.3 | 25M| 44 | 109 |3274 |5755 |3274 | 970 | 144k| 14k|2547 | 0.000000e+00 | -- | Inf
210.45/210.55 c 211s| 11400 | 284 | 1006k| 87.0 | 25M| 44 | 92 |3274 |5854 |3274 | 988 | 145k| 14k|2552 | 0.000000e+00 | -- | Inf
211.24/211.33 c 211s| 11500 | 281 | 1010k| 86.6 | 25M| 44 | 114 |3274 |5945 |3274 | 963 | 145k| 14k|2554 | 0.000000e+00 | -- | Inf
212.15/212.30 c 212s| 11600 | 279 | 1016k| 86.3 | 25M| 44 | - |3274 |6028 |3274 | 953 | 146k| 14k|2558 | 0.000000e+00 | -- | Inf
213.25/213.38 c 213s| 11700 | 281 | 1022k| 86.1 | 25M| 44 | - |3274 |6045 |3274 | 972 | 147k| 14k|2561 | 0.000000e+00 | -- | Inf
214.45/214.54 c 215s| 11800 | 285 | 1028k| 86.0 | 25M| 44 | 119 |3274 |6128 |3274 | 977 | 147k| 15k|2563 | 0.000000e+00 | -- | Inf
216.44/216.58 c 217s| 11900 | 285 | 1038k| 86.1 | 25M| 44 | 124 |3274 |6044 |3274 | 977 | 149k| 15k|2596 | 0.000000e+00 | -- | Inf
218.05/218.11 c 218s| 12000 | 283 | 1046k| 86.0 | 25M| 44 | - |3274 |6049 |3274 | 998 | 150k| 15k|2604 | 0.000000e+00 | -- | Inf
219.85/219.94 c 220s| 12100 | 281 | 1057k| 86.2 | 25M| 44 | 127 |3274 |6056 |3274 | 998 | 152k| 15k|2609 | 0.000000e+00 | -- | Inf
221.54/221.67 c 222s| 12200 | 281 | 1067k| 86.3 | 25M| 44 | - |3274 |5953 |3274 | 933 | 153k| 15k|2612 | 0.000000e+00 | -- | Inf
222.74/222.85 c 223s| 12300 | 281 | 1074k| 86.2 | 25M| 44 | - |3274 |6042 |3274 | 971 | 154k| 15k|2612 | 0.000000e+00 | -- | Inf
223.84/223.91 c 224s| 12400 | 279 | 1080k| 85.9 | 25M| 44 | - |3274 |6156 |3274 |1017 | 155k| 15k|2622 | 0.000000e+00 | -- | Inf
224.94/225.06 c 225s| 12500 | 283 | 1085k| 85.7 | 25M| 44 | 112 |3274 |6254 |3274 | 928 | 156k| 15k|2641 | 0.000000e+00 | -- | Inf
225.84/225.95 c 226s| 12600 | 283 | 1090k| 85.4 | 25M| 44 | - |3274 |6366 |3274 | 959 | 157k| 16k|2661 | 0.000000e+00 | -- | Inf
227.04/227.10 c 227s| 12700 | 285 | 1096k| 85.2 | 25M| 44 | 111 |3274 |6461 |3274 | 906 | 158k| 16k|2675 | 0.000000e+00 | -- | Inf
227.94/228.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
227.94/228.00 c 228s| 12800 | 283 | 1101k| 85.0 | 25M| 44 | - |3274 |6547 |3274 | 951 | 158k| 16k|2683 | 0.000000e+00 | -- | Inf
229.13/229.20 c 229s| 12900 | 283 | 1108k| 84.8 | 25M| 44 | - |3274 |6588 |3274 |1003 | 159k| 16k|2690 | 0.000000e+00 | -- | Inf
229.85/229.96 c 230s| 13000 | 287 | 1112k| 84.5 | 25M| 44 | - |3274 |6575 |3274 | 943 | 160k| 16k|2697 | 0.000000e+00 | -- | Inf
230.64/230.74 c 231s| 13100 | 286 | 1116k| 84.1 | 25M| 44 | - |3274 |6656 |3274 | 959 | 161k| 16k|2706 | 0.000000e+00 | -- | Inf
231.53/231.68 c 232s| 13200 | 287 | 1122k| 83.9 | 25M| 44 | 101 |3274 |6747 |3274 | 951 | 162k| 16k|2710 | 0.000000e+00 | -- | Inf
232.74/232.81 c 233s| 13300 | 290 | 1128k| 83.8 | 26M| 44 | 89 |3274 |6800 |3274 | 956 | 163k| 16k|2716 | 0.000000e+00 | -- | Inf
233.94/234.05 c 234s| 13400 | 283 | 1135k| 83.7 | 25M| 44 | 134 |3274 |6843 |3274 | 924 | 164k| 17k|2718 | 0.000000e+00 | -- | Inf
235.03/235.10 c 235s| 13500 | 288 | 1141k| 83.5 | 26M| 44 | 100 |3274 |6890 |3274 | 999 | 165k| 17k|2719 | 0.000000e+00 | -- | Inf
236.04/236.11 c 236s| 13600 | 291 | 1147k| 83.3 | 26M| 44 | - |3274 |6886 |3274 | 978 | 166k| 17k|2722 | 0.000000e+00 | -- | Inf
236.74/236.83 c 237s| 13700 | 290 | 1151k| 83.0 | 26M| 44 | - |3274 |6988 |3274 | 939 | 167k| 17k|2722 | 0.000000e+00 | -- | Inf
237.54/237.62 c 238s| 13800 | 294 | 1156k| 82.7 | 26M| 44 | 70 |3274 |7092 |3274 | 978 | 167k| 17k|2722 | 0.000000e+00 | -- | Inf
238.23/238.35 c 238s| 13900 | 289 | 1160k| 82.4 | 26M| 44 | - |3274 |7195 |3274 | 974 | 168k| 17k|2722 | 0.000000e+00 | -- | Inf
239.44/239.50 c 240s| 14000 | 288 | 1166k| 82.3 | 26M| 44 | 118 |3274 |7237 |3274 | 994 | 169k| 17k|2738 | 0.000000e+00 | -- | Inf
240.75/240.82 c 241s| 14100 | 295 | 1172k| 82.2 | 26M| 44 | 90 |3274 |7293 |3274 | 929 | 170k| 17k|2768 | 0.000000e+00 | -- | Inf
241.84/241.97 c 242s| 14200 | 300 | 1178k| 82.0 | 26M| 44 | 97 |3274 |7069 |3274 |1012 | 171k| 18k|2787 | 0.000000e+00 | -- | Inf
242.84/242.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
242.84/242.97 c 243s| 14300 | 290 | 1183k| 81.8 | 26M| 44 | 122 |3274 |7158 |3274 | 926 | 172k| 18k|2807 | 0.000000e+00 | -- | Inf
243.84/243.96 c 244s| 14400 | 295 | 1189k| 81.6 | 26M| 44 | 103 |3274 |7261 |3274 | 976 | 173k| 18k|2812 | 0.000000e+00 | -- | Inf
244.63/244.77 c 245s| 14500 | 297 | 1193k| 81.3 | 26M| 44 | 92 |3274 |7362 |3274 | 984 | 174k| 18k|2814 | 0.000000e+00 | -- | Inf
245.74/245.89 c 246s| 14600 | 291 | 1200k| 81.2 | 26M| 44 | 117 |3274 |7439 |3274 | 967 | 175k| 18k|2818 | 0.000000e+00 | -- | Inf
246.73/246.80 c 247s| 14700 | 291 | 1205k| 81.1 | 26M| 44 | 105 |3274 |7526 |3274 | 971 | 176k| 18k|2818 | 0.000000e+00 | -- | Inf
247.73/247.82 c 248s| 14800 | 288 | 1211k| 80.9 | 26M| 44 | 98 |3274 |7546 |3274 |1002 | 177k| 18k|2821 | 0.000000e+00 | -- | Inf
248.73/248.89 c 249s| 14900 | 286 | 1217k| 80.7 | 26M| 44 | 120 |3274 |7631 |3274 | 941 | 177k| 19k|2834 | 0.000000e+00 | -- | Inf
249.94/250.06 c 250s| 15000 | 290 | 1224k| 80.6 | 26M| 44 | - |3274 |7645 |3274 |1001 | 178k| 19k|2843 | 0.000000e+00 | -- | Inf
251.14/251.20 c 251s| 15100 | 292 | 1231k| 80.6 | 26M| 44 | - |3274 |7729 |3274 | 999 | 179k| 19k|2847 | 0.000000e+00 | -- | Inf
252.23/252.39 c 252s| 15200 | 291 | 1237k| 80.5 | 26M| 44 | 130 |3274 |7799 |3274 |1005 | 180k| 19k|2855 | 0.000000e+00 | -- | Inf
253.84/253.90 c 254s| 15300 | 295 | 1246k| 80.5 | 26M| 44 | - |3274 |7791 |3274 | 972 | 182k| 19k|2865 | 0.000000e+00 | -- | Inf
254.84/254.94 c 255s| 15400 | 295 | 1252k| 80.4 | 26M| 44 | 106 |3274 |7839 |3274 | 962 | 182k| 19k|2875 | 0.000000e+00 | -- | Inf
256.14/256.22 c 256s| 15500 | 289 | 1258k| 80.3 | 26M| 44 | - |3274 |7714 |3274 | 964 | 183k| 19k|2896 | 0.000000e+00 | -- | Inf
257.43/257.52 c 258s| 15600 | 295 | 1265k| 80.2 | 26M| 44 | 111 |3274 |7724 |3274 | 969 | 184k| 19k|2936 | 0.000000e+00 | -- | Inf
258.44/258.55 c 259s| 15700 | 292 | 1270k| 80.0 | 26M| 44 | - |3274 |7813 |3274 |1050 | 185k| 20k|2955 | 0.000000e+00 | -- | Inf
259.74/259.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
259.74/259.84 c 260s| 15800 | 298 | 1277k| 80.0 | 26M| 44 | - |3274 |7890 |3274 | 989 | 186k| 20k|2968 | 0.000000e+00 | -- | Inf
260.64/260.76 c 261s| 15900 | 296 | 1282k| 79.8 | 26M| 44 | - |3274 |7810 |3274 |1002 | 187k| 20k|2974 | 0.000000e+00 | -- | Inf
261.84/261.93 c 262s| 16000 | 295 | 1289k| 79.7 | 26M| 44 | - |3274 |7769 |3274 |1001 | 188k| 20k|2975 | 0.000000e+00 | -- | Inf
263.03/263.12 c 263s| 16100 | 291 | 1295k| 79.6 | 26M| 44 | - |3274 |7791 |3274 | 971 | 189k| 20k|2982 | 0.000000e+00 | -- | Inf
264.04/264.18 c 264s| 16200 | 294 | 1301k| 79.5 | 26M| 44 | - |3274 |7904 |3274 |1006 | 190k| 20k|2984 | 0.000000e+00 | -- | Inf
265.23/265.36 c 265s| 16300 | 290 | 1308k| 79.4 | 26M| 44 | - |3274 |7992 |3274 | 950 | 191k| 20k|2990 | 0.000000e+00 | -- | Inf
266.33/266.43 c 266s| 16400 | 292 | 1314k| 79.3 | 26M| 44 | 132 |3274 |7975 |3274 | 958 | 192k| 20k|2991 | 0.000000e+00 | -- | Inf
267.74/267.83 c 268s| 16500 | 280 | 1322k| 79.3 | 26M| 44 | - |3274 |7751 |3274 | 960 | 193k| 20k|2993 | 0.000000e+00 | -- | Inf
270.44/270.60 c 271s| 16600 | 277 | 1332k| 79.4 | 26M| 44 | - |3274 |7347 |3274 |1024 | 194k| 21k|3098 | 0.000000e+00 | -- | Inf
271.83/271.97 c 272s| 16700 | 277 | 1340k| 79.4 | 26M| 44 | - |3274 |7459 |3274 | 979 | 195k| 21k|3106 | 0.000000e+00 | -- | Inf
272.93/273.04 c 273s| 16800 | 281 | 1346k| 79.3 | 26M| 44 | 127 |3274 |7476 |3274 | 955 | 196k| 21k|3109 | 0.000000e+00 | -- | Inf
273.84/273.90 c 274s| 16900 | 282 | 1350k| 79.1 | 26M| 44 | 100 |3274 |7515 |3274 | 970 | 196k| 21k|3112 | 0.000000e+00 | -- | Inf
274.84/274.93 c 275s| 17000 | 286 | 1356k| 79.0 | 26M| 44 | 122 |3274 |7578 |3274 |1019 | 197k| 21k|3117 | 0.000000e+00 | -- | Inf
275.83/275.95 c 276s| 17100 | 288 | 1362k| 78.8 | 26M| 44 | 96 |3274 |7651 |3274 |1008 | 198k| 21k|3120 | 0.000000e+00 | -- | Inf
276.93/277.02 c 277s| 17200 | 286 | 1368k| 78.7 | 26M| 44 | 136 |3274 |7743 |3274 |1038 | 198k| 21k|3125 | 0.000000e+00 | -- | Inf
278.03/278.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
278.03/278.16 c 278s| 17300 | 286 | 1375k| 78.7 | 26M| 44 | 130 |3274 |7813 |3274 |1011 | 199k| 21k|3128 | 0.000000e+00 | -- | Inf
279.13/279.20 c 279s| 17400 | 286 | 1381k| 78.6 | 26M| 44 | - |3274 |7885 |3274 |1034 | 200k| 22k|3129 | 0.000000e+00 | -- | Inf
280.53/280.63 c 281s| 17500 | 284 | 1389k| 78.6 | 26M| 44 | 122 |3274 |7926 |3274 | 987 | 201k| 22k|3138 | 0.000000e+00 | -- | Inf
282.13/282.20 c 282s| 17600 | 288 | 1397k| 78.6 | 26M| 44 | - |3274 |8008 | 0 | 0 | 203k| 22k|3168 | 0.000000e+00 | -- | Inf
283.23/283.39 c 283s| 17700 | 290 | 1403k| 78.5 | 26M| 44 | 132 |3274 |8106 |3274 | 958 | 203k| 22k|3184 | 0.000000e+00 | -- | Inf
284.74/284.83 c 285s| 17800 | 292 | 1410k| 78.4 | 26M| 44 | - |3274 |8105 |3274 |1028 | 204k| 22k|3211 | 0.000000e+00 | -- | Inf
286.03/286.10 c 286s| 17900 | 288 | 1417k| 78.4 | 26M| 44 | - |3274 |8112 |3274 |1031 | 205k| 22k|3226 | 0.000000e+00 | -- | Inf
287.03/287.17 c 287s| 18000 | 288 | 1422k| 78.2 | 26M| 44 | - |3274 |8167 |3274 |1029 | 206k| 22k|3236 | 0.000000e+00 | -- | Inf
288.43/288.55 c 289s| 18100 | 286 | 1430k| 78.3 | 26M| 44 | 127 |3274 |8194 |3274 | 968 | 207k| 22k|3244 | 0.000000e+00 | -- | Inf
289.52/289.63 c 290s| 18200 | 288 | 1436k| 78.1 | 26M| 44 | 121 |3274 |8304 |3274 |1014 | 207k| 22k|3254 | 0.000000e+00 | -- | Inf
290.93/291.01 c 291s| 18300 | 294 | 1444k| 78.1 | 27M| 44 | 137 |3274 |8344 |3274 | 990 | 208k| 23k|3259 | 0.000000e+00 | -- | Inf
292.44/292.59 c 293s| 18400 | 286 | 1453k| 78.2 | 26M| 44 | - |3274 |8343 |3274 | 972 | 209k| 23k|3267 | 0.000000e+00 | -- | Inf
293.82/293.96 c 294s| 18500 | 288 | 1460k| 78.2 | 26M| 44 | - |3274 |8365 |3274 |1047 | 211k| 23k|3272 | 0.000000e+00 | -- | Inf
297.23/297.35 c 297s| 18600 | 287 | 1479k| 78.8 | 26M| 44 | 165 |3274 |8105 |3274 | 980 | 213k| 23k|3330 | 0.000000e+00 | -- | Inf
298.53/298.62 c 299s| 18700 | 291 | 1486k| 78.7 | 26M| 44 | 105 |3274 |8046 |3274 |1009 | 214k| 23k|3340 | 0.000000e+00 | -- | Inf
300.43/300.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
300.43/300.56 c 301s| 18800 | 288 | 1498k| 79.0 | 26M| 44 | - |3274 |7890 |3274 |1017 | 216k| 23k|3346 | 0.000000e+00 | -- | Inf
302.34/302.48 c 302s| 18900 | 290 | 1508k| 79.0 | 26M| 44 | 154 |3274 |7541 |3274 |1134 | 217k| 23k|3381 | 0.000000e+00 | -- | Inf
303.93/304.02 c 304s| 19000 | 289 | 1516k| 79.0 | 26M| 44 | - |3274 |7542 |3274 | 996 | 218k| 23k|3401 | 0.000000e+00 | -- | Inf
304.43/304.57 c 305s| 19100 | 303 | 1519k| 78.8 | 26M| 44 | 74 |3274 |7633 |3274 | 981 | 218k| 23k|3401 | 0.000000e+00 | -- | Inf
305.13/305.22 c 305s| 19200 | 292 | 1523k| 78.6 | 26M| 44 | - |3274 |7726 |3274 | 977 | 219k| 24k|3401 | 0.000000e+00 | -- | Inf
305.92/306.02 c 306s| 19300 | 295 | 1528k| 78.4 | 26M| 44 | - |3274 |7781 |3274 | 956 | 220k| 24k|3401 | 0.000000e+00 | -- | Inf
306.63/306.78 c 307s| 19400 | 292 | 1532k| 78.3 | 26M| 44 | - |3274 |7861 |3274 | 970 | 220k| 24k|3401 | 0.000000e+00 | -- | Inf
307.73/307.85 c 308s| 19500 | 292 | 1538k| 78.2 | 26M| 44 | 75 |3274 |7720 |3274 |1013 | 221k| 24k|3411 | 0.000000e+00 | -- | Inf
309.03/309.15 c 309s| 19600 | 291 | 1545k| 78.1 | 26M| 44 | - |3274 |7729 |3274 |1002 | 222k| 24k|3437 | 0.000000e+00 | -- | Inf
310.33/310.43 c 310s| 19700 | 289 | 1551k| 78.0 | 26M| 44 | - |3274 |7683 |3274 | 980 | 223k| 24k|3468 | 0.000000e+00 | -- | Inf
311.24/311.31 c 311s| 19800 | 287 | 1556k| 77.9 | 26M| 44 | 76 |3274 |7664 |3274 | 978 | 224k| 24k|3485 | 0.000000e+00 | -- | Inf
312.42/312.55 c 313s| 19900 | 284 | 1563k| 77.8 | 26M| 44 | - |3274 |7743 |3274 | 991 | 225k| 25k|3507 | 0.000000e+00 | -- | Inf
313.93/314.01 c 314s| 20000 | 288 | 1570k| 77.8 | 26M| 44 | - |3274 |7590 |3274 | 969 | 226k| 25k|3534 | 0.000000e+00 | -- | Inf
316.82/316.96 c 317s| 20100 | 286 | 1584k| 78.1 | 26M| 44 | 128 |3274 |6722 |3274 |1045 | 228k| 25k|3599 | 0.000000e+00 | -- | Inf
319.22/319.39 c 319s| 20200 | 299 | 1597k| 78.4 | 26M| 44 | 96 |3274 |6578 |3274 |1020 | 230k| 25k|3627 | 0.000000e+00 | -- | Inf
320.22/320.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
320.22/320.37 c 320s| 20300 | 293 | 1602k| 78.2 | 26M| 45 | 163 |3274 |6553 |3274 | 997 | 230k| 25k|3653 | 0.000000e+00 | -- | Inf
322.92/323.05 c 323s| 20400 | 307 | 1615k| 78.5 | 26M| 45 | - |3274 |6210 |3274 | 936 | 233k| 25k|3706 | 0.000000e+00 | -- | Inf
324.13/324.26 c 324s| 20500 | 313 | 1621k| 78.4 | 26M| 45 | - |3274 |6262 |3274 | 860 | 234k| 25k|3711 | 0.000000e+00 | -- | Inf
325.82/325.98 c 326s| 20600 | 317 | 1630k| 78.5 | 26M| 45 | 162 |3274 |6276 |3274 | 938 | 235k| 25k|3718 | 0.000000e+00 | -- | Inf
326.92/327.07 c 327s| 20700 | 316 | 1636k| 78.4 | 26M| 45 | 147 |3274 |6358 |3274 | 879 | 235k| 26k|3721 | 0.000000e+00 | -- | Inf
328.32/328.42 c 328s| 20800 | 319 | 1644k| 78.4 | 26M| 45 | 148 |3274 |6430 |3274 | 922 | 236k| 26k|3723 | 0.000000e+00 | -- | Inf
329.12/329.25 c 329s| 20900 | 316 | 1649k| 78.2 | 26M| 45 | 162 |3274 |6527 |3274 | 945 | 237k| 26k|3723 | 0.000000e+00 | -- | Inf
330.42/330.59 c 331s| 21000 | 316 | 1658k| 78.3 | 26M| 45 | - |3274 |6631 |3274 | 941 | 238k| 26k|3725 | 0.000000e+00 | -- | Inf
331.32/331.44 c 331s| 21100 | 318 | 1662k| 78.1 | 26M| 46 | 135 |3274 |6603 |3274 | 942 | 238k| 26k|3725 | 0.000000e+00 | -- | Inf
332.12/332.27 c 332s| 21200 | 317 | 1667k| 78.0 | 26M| 46 | - |3274 |6674 |3274 | 921 | 238k| 26k|3728 | 0.000000e+00 | -- | Inf
333.13/333.22 c 333s| 21300 | 318 | 1672k| 77.9 | 26M| 46 | - |3274 |6646 |3274 | 926 | 239k| 26k|3728 | 0.000000e+00 | -- | Inf
334.12/334.21 c 334s| 21400 | 320 | 1678k| 77.8 | 26M| 46 | 156 |3274 |6724 |3274 | 903 | 239k| 26k|3730 | 0.000000e+00 | -- | Inf
335.22/335.33 c 335s| 21500 | 316 | 1684k| 77.7 | 26M| 46 | 183 |3274 |6754 |3274 | 931 | 240k| 27k|3730 | 0.000000e+00 | -- | Inf
336.22/336.33 c 336s| 21600 | 316 | 1690k| 77.6 | 26M| 46 | 115 |3274 |6799 |3274 | 905 | 241k| 27k|3731 | 0.000000e+00 | -- | Inf
337.63/337.75 c 338s| 21700 | 317 | 1698k| 77.6 | 26M| 46 | 138 |3274 |6617 |3274 | 969 | 242k| 27k|3736 | 0.000000e+00 | -- | Inf
338.73/338.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
338.73/338.89 c 339s| 21800 | 317 | 1705k| 77.5 | 26M| 46 | - |3274 |6602 |3274 | 911 | 243k| 27k|3736 | 0.000000e+00 | -- | Inf
340.82/340.96 c 341s| 21900 | 327 | 1715k| 77.7 | 26M| 46 | 105 |3274 |6529 |3274 |1139 | 244k| 27k|3762 | 0.000000e+00 | -- | Inf
342.42/342.51 c 343s| 22000 | 327 | 1723k| 77.7 | 26M| 46 | - |3274 |6580 | 0 | 0 | 245k| 27k|3793 | 0.000000e+00 | -- | Inf
344.13/344.27 c 344s| 22100 | 328 | 1732k| 77.7 | 26M| 46 | - |3274 |6673 |3274 |1000 | 247k| 27k|3809 | 0.000000e+00 | -- | Inf
346.12/346.24 c 346s| 22200 | 330 | 1742k| 77.8 | 26M| 46 | 146 |3274 |6760 |3274 | 985 | 248k| 27k|3851 | 0.000000e+00 | -- | Inf
348.02/348.12 c 348s| 22300 | 328 | 1752k| 77.9 | 26M| 46 | 125 |3274 |6838 |3274 |1010 | 250k| 28k|3873 | 0.000000e+00 | -- | Inf
349.62/349.74 c 350s| 22400 | 323 | 1760k| 77.9 | 26M| 46 | 133 |3274 |6887 |3274 | 916 | 251k| 28k|3906 | 0.000000e+00 | -- | Inf
351.52/351.67 c 352s| 22500 | 328 | 1770k| 78.0 | 27M| 46 | 154 |3274 |6916 |3274 | 936 | 252k| 28k|3934 | 0.000000e+00 | -- | Inf
352.71/352.84 c 353s| 22600 | 334 | 1776k| 78.0 | 27M| 46 | 113 |3274 |6904 |3274 | 953 | 253k| 28k|3941 | 0.000000e+00 | -- | Inf
353.71/353.83 c 354s| 22700 | 333 | 1782k| 77.9 | 27M| 46 | 115 |3274 |6897 |3274 | 984 | 254k| 28k|3942 | 0.000000e+00 | -- | Inf
354.92/355.01 c 355s| 22800 | 329 | 1789k| 77.8 | 27M| 46 | - |3274 |6992 |3274 | 964 | 255k| 28k|3943 | 0.000000e+00 | -- | Inf
356.01/356.17 c 356s| 22900 | 335 | 1796k| 77.8 | 27M| 46 | 103 |3274 |7082 |3274 | 941 | 256k| 28k|3943 | 0.000000e+00 | -- | Inf
357.32/357.44 c 357s| 23000 | 329 | 1803k| 77.8 | 27M| 46 | - |3274 |7040 |3274 | 942 | 257k| 28k|3943 | 0.000000e+00 | -- | Inf
358.62/358.74 c 359s| 23100 | 329 | 1811k| 77.8 | 27M| 46 | - |3274 |6815 |3274 | 961 | 258k| 29k|3948 | 0.000000e+00 | -- | Inf
359.81/359.96 c 360s| 23200 | 331 | 1818k| 77.8 | 27M| 46 | 79 |3274 |6902 |3274 | 988 | 259k| 29k|3948 | 0.000000e+00 | -- | Inf
360.32/360.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
360.32/360.47 c 360s| 23300 | 333 | 1821k| 77.5 | 27M| 46 | - |3274 |7009 |3274 | 955 | 259k| 29k|3948 | 0.000000e+00 | -- | Inf
361.02/361.14 c 361s| 23400 | 335 | 1824k| 77.4 | 27M| 46 | 62 |3274 |7105 |3274 | 967 | 259k| 29k|3948 | 0.000000e+00 | -- | Inf
361.73/361.84 c 362s| 23500 | 330 | 1828k| 77.2 | 27M| 46 | - |3274 |7162 |3274 | 953 | 260k| 29k|3948 | 0.000000e+00 | -- | Inf
362.61/362.76 c 363s| 23600 | 338 | 1833k| 77.1 | 27M| 46 | 96 |3274 |7201 |3274 | 975 | 261k| 29k|3948 | 0.000000e+00 | -- | Inf
363.42/363.54 c 364s| 23700 | 340 | 1838k| 77.0 | 27M| 46 | - |3274 |7294 |3274 | 975 | 262k| 29k|3948 | 0.000000e+00 | -- | Inf
364.11/364.28 c 364s| 23800 | 342 | 1842k| 76.8 | 27M| 46 | 70 |3274 |7402 |3274 | 957 | 262k| 29k|3948 | 0.000000e+00 | -- | Inf
364.92/365.04 c 365s| 23900 | 338 | 1846k| 76.7 | 27M| 46 | - |3274 |7417 |3274 | 973 | 263k| 30k|3948 | 0.000000e+00 | -- | Inf
366.12/366.24 c 366s| 24000 | 334 | 1853k| 76.6 | 27M| 46 | - |3274 |7442 |3274 | 965 | 264k| 30k|3959 | 0.000000e+00 | -- | Inf
367.32/367.49 c 367s| 24100 | 336 | 1859k| 76.6 | 27M| 46 | - |3274 |7417 |3274 |1004 | 265k| 30k|3968 | 0.000000e+00 | -- | Inf
368.32/368.48 c 368s| 24200 | 335 | 1864k| 76.5 | 27M| 46 | - |3274 |7462 |3274 | 991 | 265k| 30k|3976 | 0.000000e+00 | -- | Inf
369.82/369.98 c 370s| 24300 | 334 | 1872k| 76.5 | 27M| 46 | 105 |3274 |7349 |3274 | 991 | 266k| 30k|3996 | 0.000000e+00 | -- | Inf
371.31/371.40 c 371s| 24400 | 336 | 1880k| 76.5 | 27M| 46 | 105 |3274 |7412 |3274 | 944 | 267k| 30k|4016 | 0.000000e+00 | -- | Inf
372.01/372.11 c 372s| 24500 | 340 | 1883k| 76.3 | 27M| 46 | 91 |3274 |7536 |3274 | 947 | 268k| 30k|4038 | 0.000000e+00 | -- | Inf
372.82/372.96 c 373s| 24600 | 340 | 1888k| 76.2 | 27M| 46 | 71 |3274 |7652 |3274 | 967 | 268k| 31k|4054 | 0.000000e+00 | -- | Inf
373.82/373.95 c 374s| 24700 | 339 | 1893k| 76.1 | 27M| 46 | 115 |3274 |7635 |3274 | 961 | 269k| 31k|4066 | 0.000000e+00 | -- | Inf
375.02/375.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
375.02/375.11 c 375s| 24800 | 340 | 1899k| 76.0 | 27M| 46 | - |3274 |7618 |3274 | 946 | 270k| 31k|4084 | 0.000000e+00 | -- | Inf
376.02/376.19 c 376s| 24900 | 338 | 1906k| 76.0 | 27M| 46 | 120 |3274 |7710 |3274 | 976 | 271k| 31k|4092 | 0.000000e+00 | -- | Inf
377.12/377.21 c 377s| 25000 | 341 | 1912k| 75.9 | 27M| 46 | 96 |3274 |7790 |3274 | 965 | 272k| 31k|4101 | 0.000000e+00 | -- | Inf
378.11/378.27 c 378s| 25100 | 338 | 1918k| 75.9 | 27M| 46 | - |3274 |7716 |3274 | 967 | 272k| 31k|4108 | 0.000000e+00 | -- | Inf
379.11/379.27 c 379s| 25200 | 335 | 1924k| 75.8 | 27M| 46 | - |3274 |7824 |3274 | 967 | 273k| 31k|4117 | 0.000000e+00 | -- | Inf
380.31/380.40 c 380s| 25300 | 340 | 1930k| 75.7 | 27M| 46 | 79 |3274 |7865 |3274 | 983 | 274k| 31k|4122 | 0.000000e+00 | -- | Inf
381.31/381.46 c 381s| 25400 | 333 | 1936k| 75.7 | 27M| 46 | 124 |3274 |7902 |3274 | 968 | 275k| 31k|4127 | 0.000000e+00 | -- | Inf
382.31/382.47 c 382s| 25500 | 339 | 1942k| 75.6 | 27M| 46 | 73 |3274 |7900 |3274 | 992 | 276k| 32k|4129 | 0.000000e+00 | -- | Inf
383.82/383.93 c 384s| 25600 | 338 | 1950k| 75.6 | 27M| 46 | 118 |3274 |7959 |3274 | 978 | 277k| 32k|4144 | 0.000000e+00 | -- | Inf
384.92/385.00 c 385s| 25700 | 335 | 1956k| 75.6 | 27M| 46 | - |3274 |7911 | 0 | 0 | 278k| 32k|4146 | 0.000000e+00 | -- | Inf
386.12/386.27 c 386s| 25800 | 325 | 1963k| 75.6 | 27M| 46 | - |3274 |7733 |3274 |1041 | 278k| 32k|4155 | 0.000000e+00 | -- | Inf
388.22/388.33 c 388s| 25900 | 335 | 1973k| 75.7 | 27M| 46 | 126 |3274 |7737 |3274 |1061 | 280k| 32k|4196 | 0.000000e+00 | -- | Inf
389.32/389.48 c 389s| 26000 | 331 | 1980k| 75.6 | 27M| 46 | - |3274 |7794 |3274 | 947 | 281k| 32k|4198 | 0.000000e+00 | -- | Inf
390.22/390.40 c 390s| 26100 | 337 | 1986k| 75.5 | 27M| 46 | 100 |3274 |7840 |3274 | 952 | 282k| 32k|4198 | 0.000000e+00 | -- | Inf
391.11/391.30 c 391s| 26200 | 333 | 1991k| 75.5 | 27M| 46 | - |3274 |7894 |3274 | 955 | 283k| 32k|4198 | 0.000000e+00 | -- | Inf
392.32/392.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
392.32/392.47 c 392s| 26300 | 331 | 1999k| 75.5 | 27M| 46 | - |3274 |7919 |3274 | 975 | 284k| 32k|4198 | 0.000000e+00 | -- | Inf
393.41/393.55 c 394s| 26400 | 334 | 2004k| 75.4 | 27M| 46 | 96 |3274 |7989 |3274 | 959 | 284k| 33k|4214 | 0.000000e+00 | -- | Inf
394.61/394.71 c 395s| 26500 | 334 | 2010k| 75.3 | 27M| 46 | - |3274 |7704 |3274 | 961 | 285k| 33k|4224 | 0.000000e+00 | -- | Inf
395.51/395.69 c 396s| 26600 | 334 | 2015k| 75.2 | 27M| 46 | 113 |3274 |7798 |3274 | 951 | 286k| 33k|4241 | 0.000000e+00 | -- | Inf
396.51/396.68 c 397s| 26700 | 329 | 2021k| 75.2 | 27M| 46 | 148 |3274 |7840 |3274 | 971 | 286k| 33k|4251 | 0.000000e+00 | -- | Inf
397.42/397.56 c 398s| 26800 | 329 | 2026k| 75.1 | 27M| 46 | - |3274 |7906 |3274 | 958 | 287k| 33k|4257 | 0.000000e+00 | -- | Inf
398.61/398.73 c 399s| 26900 | 328 | 2033k| 75.0 | 27M| 46 | - |3274 |7953 |3274 | 958 | 287k| 33k|4260 | 0.000000e+00 | -- | Inf
400.51/400.63 c 401s| 27000 | 332 | 2041k| 75.1 | 27M| 46 | - |3274 |7984 |3274 | 945 | 289k| 33k|4308 | 0.000000e+00 | -- | Inf
401.21/401.32 c 401s| 27100 | 331 | 2045k| 75.0 | 27M| 46 | 91 |3274 |8065 |3274 | 953 | 289k| 34k|4311 | 0.000000e+00 | -- | Inf
402.21/402.35 c 402s| 27200 | 330 | 2051k| 74.9 | 27M| 46 | - |3274 |8146 |3274 | 956 | 290k| 34k|4316 | 0.000000e+00 | -- | Inf
403.01/403.19 c 403s| 27300 | 335 | 2056k| 74.8 | 28M| 46 | 77 |3274 |8236 |3274 | 932 | 291k| 34k|4316 | 0.000000e+00 | -- | Inf
403.61/403.78 c 404s| 27400 | 337 | 2059k| 74.7 | 28M| 46 | 90 |3274 |8309 |3274 | 948 | 292k| 34k|4316 | 0.000000e+00 | -- | Inf
404.11/404.29 c 404s| 27500 | 335 | 2062k| 74.5 | 28M| 46 | - |3274 |8401 |3274 | 940 | 292k| 34k|4316 | 0.000000e+00 | -- | Inf
404.61/404.73 c 405s| 27600 | 337 | 2064k| 74.3 | 28M| 46 | 94 |3274 |8495 |3274 | 931 | 292k| 34k|4316 | 0.000000e+00 | -- | Inf
405.21/405.30 c 405s| 27700 | 348 | 2067k| 74.1 | 28M| 46 | 60 |3274 |8550 |3274 | 960 | 293k| 34k|4316 | 0.000000e+00 | -- | Inf
405.82/405.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
405.82/405.95 c 406s| 27800 | 338 | 2071k| 74.0 | 28M| 46 | - |3274 |8507 |3274 | 946 | 293k| 34k|4316 | 0.000000e+00 | -- | Inf
406.51/406.62 c 407s| 27900 | 338 | 2075k| 73.9 | 28M| 46 | - |3274 |8399 |3274 | 952 | 294k| 35k|4316 | 0.000000e+00 | -- | Inf
407.21/407.33 c 407s| 28000 | 338 | 2078k| 73.7 | 28M| 46 | 100 |3274 |8408 |3274 | 958 | 294k| 35k|4316 | 0.000000e+00 | -- | Inf
407.92/408.02 c 408s| 28100 | 330 | 2082k| 73.6 | 28M| 46 | - |3274 |8475 |3274 | 970 | 294k| 35k|4319 | 0.000000e+00 | -- | Inf
408.81/408.99 c 409s| 28200 | 336 | 2087k| 73.5 | 28M| 46 | - |3274 |8405 |3274 | 949 | 295k| 35k|4321 | 0.000000e+00 | -- | Inf
409.41/409.57 c 410s| 28300 | 337 | 2090k| 73.4 | 28M| 46 | - |3274 |8489 |3274 | 958 | 296k| 35k|4322 | 0.000000e+00 | -- | Inf
410.21/410.34 c 410s| 28400 | 337 | 2095k| 73.3 | 28M| 46 | 111 |3274 |8379 |3274 | 947 | 296k| 35k|4322 | 0.000000e+00 | -- | Inf
411.01/411.10 c 411s| 28500 | 345 | 2099k| 73.2 | 28M| 46 | 73 |3274 |8285 |3274 | 972 | 297k| 35k|4322 | 0.000000e+00 | -- | Inf
411.60/411.77 c 412s| 28600 | 345 | 2103k| 73.0 | 28M| 46 | 103 |3274 |8369 |3274 | 905 | 297k| 35k|4322 | 0.000000e+00 | -- | Inf
412.32/412.45 c 412s| 28700 | 346 | 2106k| 72.9 | 27M| 46 | - |3274 |8172 |3274 | 928 | 298k| 36k|4323 | 0.000000e+00 | -- | Inf
413.01/413.11 c 413s| 28800 | 348 | 2110k| 72.8 | 27M| 46 | 97 |3274 |8084 |3274 | 945 | 298k| 36k|4323 | 0.000000e+00 | -- | Inf
413.80/413.90 c 414s| 28900 | 346 | 2114k| 72.7 | 27M| 46 | 90 |3274 |8146 |3274 | 936 | 299k| 36k|4323 | 0.000000e+00 | -- | Inf
414.51/414.61 c 415s| 29000 | 347 | 2118k| 72.6 | 27M| 46 | - |3274 |8176 |3274 | 962 | 300k| 36k|4323 | 0.000000e+00 | -- | Inf
415.11/415.27 c 415s| 29100 | 344 | 2122k| 72.4 | 27M| 46 | - |3274 |8251 |3274 | 945 | 300k| 36k|4323 | 0.000000e+00 | -- | Inf
416.01/416.15 c 416s| 29200 | 345 | 2127k| 72.3 | 28M| 46 | - |3274 |8310 |3274 | 937 | 300k| 36k|4337 | 0.000000e+00 | -- | Inf
416.71/416.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
416.71/416.90 c 417s| 29300 | 345 | 2131k| 72.2 | 28M| 46 | 113 |3274 |8368 |3274 | 947 | 301k| 36k|4338 | 0.000000e+00 | -- | Inf
417.82/417.95 c 418s| 29400 | 342 | 2136k| 72.2 | 28M| 46 | - |3274 |8374 |3274 | 939 | 302k| 36k|4349 | 0.000000e+00 | -- | Inf
419.01/419.11 c 419s| 29500 | 340 | 2142k| 72.1 | 28M| 46 | 115 |3274 |8449 |3274 | 956 | 303k| 37k|4371 | 0.000000e+00 | -- | Inf
420.01/420.17 c 420s| 29600 | 332 | 2148k| 72.1 | 27M| 46 | 130 |3274 |8399 |3274 | 921 | 303k| 37k|4384 | 0.000000e+00 | -- | Inf
420.81/420.94 c 421s| 29700 | 334 | 2152k| 72.0 | 28M| 46 | - |3274 |8455 |3274 | 960 | 304k| 37k|4403 | 0.000000e+00 | -- | Inf
421.51/421.63 c 422s| 29800 | 336 | 2156k| 71.9 | 28M| 46 | - |3274 |8458 |3274 | 962 | 304k| 37k|4408 | 0.000000e+00 | -- | Inf
422.32/422.49 c 422s| 29900 | 334 | 2160k| 71.8 | 28M| 46 | 120 |3274 |8477 |3274 | 949 | 305k| 37k|4424 | 0.000000e+00 | -- | Inf
423.10/423.27 c 423s| 30000 | 338 | 2165k| 71.7 | 28M| 46 | - |3274 |8543 |3274 | 971 | 305k| 37k|4430 | 0.000000e+00 | -- | Inf
423.81/423.92 c 424s| 30100 | 336 | 2168k| 71.6 | 28M| 46 | 98 |3274 |8619 |3274 | 953 | 306k| 37k|4435 | 0.000000e+00 | -- | Inf
424.42/424.60 c 425s| 30200 | 335 | 2172k| 71.5 | 28M| 46 | - |3274 |8604 |3274 | 959 | 306k| 38k|4445 | 0.000000e+00 | -- | Inf
425.51/425.64 c 426s| 30300 | 337 | 2179k| 71.4 | 28M| 46 | - |3274 |8553 |3274 | 948 | 307k| 38k|4456 | 0.000000e+00 | -- | Inf
426.41/426.55 c 427s| 30400 | 335 | 2183k| 71.4 | 28M| 46 | - |3274 |8638 |3274 | 969 | 307k| 38k|4468 | 0.000000e+00 | -- | Inf
427.31/427.48 c 427s| 30500 | 337 | 2188k| 71.3 | 27M| 46 | 135 |3274 |8208 |3274 | 980 | 308k| 38k|4483 | 0.000000e+00 | -- | Inf
428.31/428.46 c 428s| 30600 | 332 | 2194k| 71.2 | 27M| 46 | 112 |3274 |8100 |3274 | 952 | 309k| 38k|4491 | 0.000000e+00 | -- | Inf
429.20/429.39 c 429s| 30700 | 332 | 2199k| 71.2 | 27M| 46 | - |3274 |8149 |3274 | 988 | 309k| 38k|4496 | 0.000000e+00 | -- | Inf
429.91/430.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
429.91/430.05 c 430s| 30800 | 334 | 2203k| 71.1 | 27M| 46 | - |3274 |8221 |3274 | 986 | 310k| 38k|4500 | 0.000000e+00 | -- | Inf
430.60/430.73 c 431s| 30900 | 334 | 2207k| 71.0 | 27M| 46 | 90 |3274 |8279 |3274 | 967 | 310k| 38k|4501 | 0.000000e+00 | -- | Inf
431.31/431.49 c 431s| 31000 | 338 | 2211k| 70.9 | 28M| 46 | - |3274 |8311 |3274 | 947 | 310k| 39k|4504 | 0.000000e+00 | -- | Inf
432.00/432.19 c 432s| 31100 | 340 | 2215k| 70.8 | 28M| 46 | 88 |3274 |8375 |3274 | 990 | 311k| 39k|4505 | 0.000000e+00 | -- | Inf
432.81/432.91 c 433s| 31200 | 338 | 2219k| 70.7 | 28M| 46 | - |3274 |8455 |3274 | 939 | 311k| 39k|4505 | 0.000000e+00 | -- | Inf
433.60/433.79 c 434s| 31300 | 338 | 2224k| 70.6 | 28M| 46 | - |3274 |8540 |3274 |1002 | 312k| 39k|4512 | 0.000000e+00 | -- | Inf
434.41/434.59 c 435s| 31400 | 337 | 2228k| 70.5 | 28M| 46 | - |3274 |8490 |3274 | 964 | 313k| 39k|4515 | 0.000000e+00 | -- | Inf
435.20/435.34 c 435s| 31500 | 337 | 2233k| 70.4 | 28M| 46 | - |3274 |8565 |3274 | 962 | 313k| 39k|4515 | 0.000000e+00 | -- | Inf
436.20/436.30 c 436s| 31600 | 340 | 2238k| 70.4 | 28M| 46 | 112 |3274 |8607 |3274 |1001 | 314k| 39k|4518 | 0.000000e+00 | -- | Inf
437.10/437.21 c 437s| 31700 | 339 | 2243k| 70.3 | 28M| 46 | 119 |3274 |8681 |3274 | 977 | 314k| 39k|4520 | 0.000000e+00 | -- | Inf
438.41/438.52 c 439s| 31800 | 337 | 2251k| 70.4 | 28M| 46 | - |3274 |8660 |3274 | 951 | 315k| 39k|4527 | 0.000000e+00 | -- | Inf
439.30/439.46 c 439s| 31900 | 340 | 2256k| 70.3 | 28M| 46 | 104 |3274 |8727 |3274 | 970 | 316k| 40k|4539 | 0.000000e+00 | -- | Inf
440.31/440.46 c 440s| 32000 | 338 | 2261k| 70.2 | 28M| 46 | 115 |3274 |8636 |3274 | 969 | 317k| 40k|4554 | 0.000000e+00 | -- | Inf
441.40/441.50 c 442s| 32100 | 338 | 2267k| 70.2 | 28M| 46 | - |3274 |8699 |3274 | 962 | 317k| 40k|4572 | 0.000000e+00 | -- | Inf
442.50/442.67 c 443s| 32200 | 338 | 2273k| 70.2 | 28M| 46 | - |3274 |8735 |3274 | 966 | 318k| 40k|4587 | 0.000000e+00 | -- | Inf
443.71/443.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
443.71/443.81 c 444s| 32300 | 334 | 2279k| 70.1 | 28M| 46 | - |3274 |8790 |3274 | 983 | 319k| 40k|4601 | 0.000000e+00 | -- | Inf
444.81/444.99 c 445s| 32400 | 332 | 2286k| 70.1 | 28M| 46 | - |3274 |8648 |3274 |1002 | 320k| 40k|4614 | 0.000000e+00 | -- | Inf
445.60/445.73 c 446s| 32500 | 334 | 2290k| 70.0 | 28M| 46 | 104 |3274 |8690 |3274 |1015 | 320k| 40k|4614 | 0.000000e+00 | -- | Inf
446.51/446.62 c 447s| 32600 | 332 | 2295k| 70.0 | 28M| 46 | 132 |3274 |8752 |3274 | 998 | 321k| 40k|4619 | 0.000000e+00 | -- | Inf
447.30/447.47 c 447s| 32700 | 332 | 2300k| 69.9 | 28M| 46 | 122 |3274 |8738 |3274 |1019 | 321k| 41k|4624 | 0.000000e+00 | -- | Inf
448.21/448.37 c 448s| 32800 | 330 | 2305k| 69.8 | 28M| 46 | - |3274 |8775 |3274 |1000 | 322k| 41k|4636 | 0.000000e+00 | -- | Inf
450.10/450.22 c 450s| 32900 | 328 | 2313k| 69.9 | 27M| 46 | - |3274 |8199 |3274 | 931 | 323k| 41k|4697 | 0.000000e+00 | -- | Inf
451.41/451.51 c 452s| 33000 | 328 | 2320k| 69.9 | 27M| 46 | 158 |3274 |7948 |3274 | 901 | 324k| 41k|4721 | 0.000000e+00 | -- | Inf
452.40/452.52 c 453s| 33100 | 328 | 2325k| 69.8 | 27M| 46 | - |3274 |8022 |3274 | 985 | 324k| 41k|4728 | 0.000000e+00 | -- | Inf
454.20/454.37 c 454s| 33200 | 324 | 2334k| 69.9 | 27M| 46 | 118 |3274 |7735 |3274 | 911 | 325k| 41k|4772 | 0.000000e+00 | -- | Inf
455.21/455.31 c 455s| 33300 | 324 | 2340k| 69.8 | 27M| 46 | - |3274 |7787 |3274 | 908 | 326k| 41k|4776 | 0.000000e+00 | -- | Inf
456.60/456.70 c 457s| 33400 | 323 | 2348k| 69.9 | 27M| 46 | 142 |3274 |7511 |3274 | 939 | 327k| 42k|4783 | 0.000000e+00 | -- | Inf
457.51/457.63 c 458s| 33500 | 323 | 2352k| 69.8 | 27M| 46 | 109 |3274 |7416 |3274 | 987 | 327k| 42k|4799 | 0.000000e+00 | -- | Inf
459.20/459.38 c 459s| 33600 | 327 | 2359k| 69.8 | 27M| 46 | - |3274 |7107 |3274 | 953 | 328k| 42k|4837 | 0.000000e+00 | -- | Inf
460.71/460.82 c 461s| 33700 | 328 | 2367k| 69.8 | 27M| 46 | - |3274 |7071 |3274 |1138 | 329k| 42k|4850 | 0.000000e+00 | -- | Inf
462.50/462.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
462.50/462.67 c 463s| 33800 | 329 | 2377k| 69.9 | 27M| 46 | 131 |3274 |6943 |3274 |1128 | 331k| 42k|4861 | 0.000000e+00 | -- | Inf
463.60/463.72 c 464s| 33900 | 331 | 2383k| 69.9 | 27M| 46 | 97 |3274 |7060 |3274 | 951 | 332k| 42k|4862 | 0.000000e+00 | -- | Inf
465.11/465.27 c 465s| 34000 | 337 | 2391k| 69.9 | 27M| 46 | - |3274 |7009 |3274 | 976 | 333k| 42k|4874 | 0.000000e+00 | -- | Inf
466.60/466.74 c 467s| 34100 | 331 | 2399k| 70.0 | 27M| 46 | 159 |3274 |6595 |3274 | 984 | 334k| 42k|4883 | 0.000000e+00 | -- | Inf
467.80/467.94 c 468s| 34200 | 332 | 2406k| 69.9 | 27M| 46 | 90 |3274 |6656 |3274 | 967 | 335k| 42k|4885 | 0.000000e+00 | -- | Inf
468.69/468.89 c 469s| 34300 | 338 | 2411k| 69.9 | 27M| 46 | 114 |3274 |6747 |3274 | 942 | 336k| 43k|4887 | 0.000000e+00 | -- | Inf
469.89/470.03 c 470s| 34400 | 336 | 2418k| 69.9 | 27M| 46 | 138 |3274 |6813 |3274 | 993 | 337k| 43k|4888 | 0.000000e+00 | -- | Inf
471.00/471.16 c 471s| 34500 | 337 | 2424k| 69.9 | 27M| 46 | 126 |3274 |6888 |3274 | 997 | 337k| 43k|4895 | 0.000000e+00 | -- | Inf
471.80/471.93 c 472s| 34600 | 337 | 2429k| 69.8 | 27M| 46 | 110 |3274 |6963 |3274 |1006 | 338k| 43k|4898 | 0.000000e+00 | -- | Inf
472.60/472.77 c 473s| 34700 | 338 | 2433k| 69.7 | 27M| 46 | - |3274 |7029 |3274 | 991 | 339k| 43k|4900 | 0.000000e+00 | -- | Inf
473.40/473.55 c 474s| 34800 | 337 | 2438k| 69.7 | 27M| 46 | - |3274 |7131 |3274 |1045 | 339k| 43k|4902 | 0.000000e+00 | -- | Inf
474.20/474.39 c 474s| 34900 | 335 | 2442k| 69.6 | 27M| 46 | - |3274 |7217 |3274 |1013 | 340k| 43k|4906 | 0.000000e+00 | -- | Inf
475.01/475.15 c 475s| 35000 | 340 | 2447k| 69.5 | 28M| 46 | 69 |3274 |7313 |3274 | 988 | 340k| 43k|4907 | 0.000000e+00 | -- | Inf
475.80/475.98 c 476s| 35100 | 336 | 2452k| 69.4 | 28M| 46 | 116 |3274 |7400 |3274 | 970 | 341k| 44k|4908 | 0.000000e+00 | -- | Inf
477.00/477.11 c 477s| 35200 | 337 | 2458k| 69.4 | 28M| 46 | 107 |3274 |7457 |3274 | 977 | 342k| 44k|4916 | 0.000000e+00 | -- | Inf
477.90/478.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
477.90/478.04 c 478s| 35300 | 338 | 2463k| 69.4 | 28M| 46 | - |3274 |7365 |3274 | 986 | 342k| 44k|4920 | 0.000000e+00 | -- | Inf
478.90/479.00 c 479s| 35400 | 341 | 2468k| 69.3 | 28M| 46 | 108 |3274 |7389 |3274 |1022 | 343k| 44k|4921 | 0.000000e+00 | -- | Inf
480.10/480.23 c 480s| 35500 | 339 | 2474k| 69.3 | 28M| 46 | - |3274 |7454 |3274 | 978 | 344k| 44k|4946 | 0.000000e+00 | -- | Inf
481.10/481.26 c 481s| 35600 | 335 | 2480k| 69.3 | 28M| 46 | 115 |3274 |7464 |3274 |1009 | 345k| 44k|4953 | 0.000000e+00 | -- | Inf
482.29/482.45 c 482s| 35700 | 332 | 2486k| 69.2 | 28M| 46 | - |3274 |7428 |3274 | 978 | 345k| 44k|4969 | 0.000000e+00 | -- | Inf
483.49/483.61 c 484s| 35800 | 338 | 2492k| 69.2 | 28M| 46 | - |3274 |7477 |3274 | 971 | 346k| 44k|4984 | 0.000000e+00 | -- | Inf
484.70/484.81 c 485s| 35900 | 340 | 2498k| 69.2 | 28M| 46 | 123 |3274 |7538 |3274 | 958 | 347k| 45k|4991 | 0.000000e+00 | -- | Inf
485.70/485.82 c 486s| 36000 | 338 | 2504k| 69.2 | 28M| 46 | 110 |3274 |7619 |3274 | 977 | 348k| 45k|4991 | 0.000000e+00 | -- | Inf
486.80/486.97 c 487s| 36100 | 336 | 2511k| 69.2 | 28M| 46 | - |3274 |7695 |3274 | 994 | 349k| 45k|4995 | 0.000000e+00 | -- | Inf
487.80/487.97 c 488s| 36200 | 339 | 2516k| 69.1 | 28M| 46 | 122 |3274 |7811 |3274 | 987 | 350k| 45k|4997 | 0.000000e+00 | -- | Inf
488.70/488.88 c 489s| 36300 | 337 | 2522k| 69.1 | 28M| 46 | - |3274 |7929 |3274 |1046 | 350k| 45k|4998 | 0.000000e+00 | -- | Inf
489.70/489.83 c 490s| 36400 | 340 | 2527k| 69.0 | 28M| 46 | 140 |3274 |7915 |3274 | 986 | 351k| 45k|4999 | 0.000000e+00 | -- | Inf
490.79/490.92 c 491s| 36500 | 335 | 2533k| 69.0 | 28M| 46 | - |3274 |8026 |3274 |1011 | 352k| 45k|4999 | 0.000000e+00 | -- | Inf
492.00/492.19 c 492s| 36600 | 335 | 2541k| 69.0 | 28M| 46 | - |3274 |7974 |3274 | 990 | 353k| 45k|4999 | 0.000000e+00 | -- | Inf
493.19/493.39 c 493s| 36700 | 339 | 2547k| 69.0 | 28M| 46 | - |3274 |7782 |3274 | 984 | 353k| 46k|5003 | 0.000000e+00 | -- | Inf
494.09/494.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
494.09/494.23 c 494s| 36800 | 341 | 2552k| 69.0 | 28M| 46 | - |3274 |7862 | 0 | 0 | 354k| 46k|5003 | 0.000000e+00 | -- | Inf
495.20/495.35 c 495s| 36900 | 345 | 2559k| 69.0 | 28M| 46 | - |3274 |7891 |3274 | 968 | 355k| 46k|5004 | 0.000000e+00 | -- | Inf
496.10/496.27 c 496s| 37000 | 344 | 2564k| 68.9 | 28M| 46 | 78 |3274 |7687 |3274 | 974 | 356k| 46k|5004 | 0.000000e+00 | -- | Inf
496.90/497.01 c 497s| 37100 | 341 | 2569k| 68.9 | 28M| 46 | 107 |3274 |7735 |3274 |1010 | 356k| 46k|5004 | 0.000000e+00 | -- | Inf
497.90/498.07 c 498s| 37200 | 339 | 2575k| 68.8 | 28M| 46 | - |3274 |7815 |3274 |1024 | 357k| 46k|5004 | 0.000000e+00 | -- | Inf
498.89/499.08 c 499s| 37300 | 341 | 2581k| 68.8 | 28M| 46 | 110 |3274 |7865 |3274 | 998 | 358k| 46k|5004 | 0.000000e+00 | -- | Inf
499.80/499.99 c 500s| 37400 | 337 | 2586k| 68.8 | 28M| 46 | - |3274 |7971 |3274 | 959 | 359k| 46k|5004 | 0.000000e+00 | -- | Inf
501.30/501.40 c 501s| 37500 | 341 | 2593k| 68.8 | 28M| 46 | 95 |3274 |7797 |3274 | 986 | 360k| 47k|5026 | 0.000000e+00 | -- | Inf
502.09/502.28 c 502s| 37600 | 343 | 2598k| 68.7 | 28M| 46 | 113 |3274 |7855 |3274 |1015 | 361k| 47k|5031 | 0.000000e+00 | -- | Inf
503.09/503.24 c 503s| 37700 | 343 | 2603k| 68.7 | 28M| 46 | 94 |3274 |7886 |3274 |1009 | 361k| 47k|5042 | 0.000000e+00 | -- | Inf
504.10/504.20 c 504s| 37800 | 340 | 2608k| 68.6 | 28M| 46 | 106 |3274 |7955 |3274 |1006 | 362k| 47k|5056 | 0.000000e+00 | -- | Inf
505.00/505.14 c 505s| 37900 | 342 | 2614k| 68.6 | 28M| 46 | 111 |3274 |8040 |3274 |1008 | 363k| 47k|5063 | 0.000000e+00 | -- | Inf
505.99/506.14 c 506s| 38000 | 342 | 2619k| 68.6 | 28M| 46 | - |3274 |8118 |3274 | 968 | 364k| 47k|5068 | 0.000000e+00 | -- | Inf
507.00/507.11 c 507s| 38100 | 342 | 2625k| 68.5 | 28M| 46 | - |3274 |8188 |3274 |1016 | 364k| 47k|5075 | 0.000000e+00 | -- | Inf
507.90/508.09 c 508s| 38200 | 338 | 2630k| 68.5 | 28M| 46 | - |3274 |8153 |3274 | 969 | 365k| 48k|5077 | 0.000000e+00 | -- | Inf
508.89/509.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
508.89/509.07 c 509s| 38300 | 342 | 2636k| 68.5 | 28M| 46 | - |3274 |8191 |3274 | 978 | 366k| 48k|5077 | 0.000000e+00 | -- | Inf
509.79/509.94 c 510s| 38400 | 337 | 2641k| 68.4 | 28M| 46 | - |3274 |8284 |3274 | 965 | 366k| 48k|5077 | 0.000000e+00 | -- | Inf
510.79/510.96 c 511s| 38500 | 341 | 2647k| 68.4 | 28M| 46 | - |3274 |8351 |3274 | 968 | 367k| 48k|5077 | 0.000000e+00 | -- | Inf
511.79/511.98 c 512s| 38600 | 339 | 2653k| 68.4 | 28M| 46 | 104 |3274 |8446 |3274 | 965 | 368k| 48k|5077 | 0.000000e+00 | -- | Inf
512.79/512.91 c 513s| 38700 | 339 | 2658k| 68.3 | 28M| 46 | 140 |3274 |8465 |3274 | 946 | 368k| 48k|5077 | 0.000000e+00 | -- | Inf
513.89/514.02 c 514s| 38800 | 339 | 2665k| 68.3 | 28M| 46 | 126 |3274 |8541 |3274 | 988 | 369k| 48k|5078 | 0.000000e+00 | -- | Inf
514.79/514.93 c 515s| 38900 | 337 | 2670k| 68.3 | 28M| 46 | 116 |3274 |8609 |3274 | 937 | 370k| 48k|5080 | 0.000000e+00 | -- | Inf
515.80/515.92 c 516s| 39000 | 339 | 2675k| 68.2 | 28M| 46 | 98 |3274 |8472 |3274 | 944 | 371k| 49k|5080 | 0.000000e+00 | -- | Inf
517.00/517.11 c 517s| 39100 | 337 | 2682k| 68.2 | 28M| 46 | 120 |3274 |8360 |3274 | 925 | 372k| 49k|5080 | 0.000000e+00 | -- | Inf
518.09/518.27 c 518s| 39200 | 341 | 2689k| 68.2 | 28M| 46 | 107 |3274 |8219 |3274 |1006 | 373k| 49k|5081 | 0.000000e+00 | -- | Inf
519.10/519.27 c 519s| 39300 | 341 | 2695k| 68.2 | 28M| 46 | 79 |3274 |8284 |3274 |1012 | 373k| 49k|5082 | 0.000000e+00 | -- | Inf
520.79/520.98 c 521s| 39400 | 339 | 2703k| 68.2 | 28M| 46 | - |3274 |8029 |3274 | 946 | 374k| 49k|5139 | 0.000000e+00 | -- | Inf
522.29/522.41 c 522s| 39500 | 337 | 2710k| 68.3 | 28M| 46 | - |3274 |8121 |3274 | 920 | 375k| 49k|5165 | 0.000000e+00 | -- | Inf
523.69/523.86 c 524s| 39600 | 337 | 2718k| 68.3 | 28M| 46 | 151 |3274 |7892 |3274 | 888 | 376k| 49k|5183 | 0.000000e+00 | -- | Inf
528.69/528.86 c 529s| 39700 | 359 | 2748k| 68.9 | 28M| 46 | 112 |3274 |7690 |3274 | 921 | 382k| 49k|5267 | 0.000000e+00 | -- | Inf
530.00/530.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
530.00/530.14 c 530s| 39800 | 359 | 2754k| 68.9 | 28M| 46 | 136 |3274 |7766 |3274 | 949 | 382k| 49k|5290 | 0.000000e+00 | -- | Inf
530.99/531.15 c 531s| 39900 | 357 | 2760k| 68.8 | 28M| 46 | - |3274 |7860 |3274 | 942 | 383k| 50k|5292 | 0.000000e+00 | -- | Inf
532.49/532.65 c 533s| 40000 | 363 | 2767k| 68.8 | 28M| 46 | 98 |3274 |7898 |3274 |1011 | 384k| 50k|5301 | 0.000000e+00 | -- | Inf
534.29/534.41 c 534s| 40100 | 363 | 2776k| 68.9 | 28M| 46 | 130 |3274 |7604 |3274 | 994 | 385k| 50k|5305 | 0.000000e+00 | -- | Inf
537.19/537.37 c 537s| 40200 | 381 | 2791k| 69.1 | 28M| 46 | 127 |3274 |7359 |3274 | 965 | 388k| 50k|5343 | 0.000000e+00 | -- | Inf
537.99/538.19 c 538s| 40300 | 387 | 2796k| 69.0 | 29M| 46 | - |3274 |7492 |3274 |1019 | 389k| 50k|5350 | 0.000000e+00 | -- | Inf
538.99/539.19 c 539s| 40400 | 384 | 2801k| 69.0 | 29M| 46 | 106 |3274 |7528 |3274 |1041 | 390k| 50k|5364 | 0.000000e+00 | -- | Inf
540.28/540.45 c 540s| 40500 | 383 | 2808k| 69.0 | 29M| 46 | - |3274 |7607 |3274 |1089 | 390k| 50k|5372 | 0.000000e+00 | -- | Inf
541.39/541.56 c 542s| 40600 | 384 | 2815k| 69.0 | 29M| 46 | 169 |3274 |7641 |3274 |1018 | 391k| 51k|5376 | 0.000000e+00 | -- | Inf
542.59/542.76 c 543s| 40700 | 384 | 2821k| 69.0 | 29M| 46 | 99 |3274 |7711 |3274 | 999 | 392k| 51k|5379 | 0.000000e+00 | -- | Inf
543.69/543.89 c 544s| 40800 | 381 | 2828k| 69.0 | 29M| 46 | - |3274 |7795 |3274 |1025 | 393k| 51k|5384 | 0.000000e+00 | -- | Inf
544.99/545.13 c 545s| 40900 | 383 | 2836k| 69.0 | 29M| 46 | 109 |3274 |7759 |3274 |1046 | 395k| 51k|5384 | 0.000000e+00 | -- | Inf
546.69/546.81 c 547s| 41000 | 378 | 2844k| 69.0 | 29M| 46 | 131 |3274 |7741 |3274 |1029 | 396k| 51k|5408 | 0.000000e+00 | -- | Inf
548.09/548.20 c 548s| 41100 | 378 | 2852k| 69.0 | 28M| 46 | - |3274 |7492 |3274 | 984 | 397k| 51k|5421 | 0.000000e+00 | -- | Inf
549.19/549.36 c 549s| 41200 | 380 | 2858k| 69.0 | 28M| 46 | 98 |3274 |7359 |3274 | 971 | 398k| 51k|5430 | 0.000000e+00 | -- | Inf
550.29/550.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
550.29/550.42 c 550s| 41300 | 379 | 2863k| 69.0 | 28M| 46 | - |3274 |7310 |3274 | 987 | 399k| 51k|5444 | 0.000000e+00 | -- | Inf
551.59/551.74 c 552s| 41400 | 383 | 2870k| 69.0 | 28M| 46 | - |3274 |7158 |3274 | 968 | 400k| 52k|5455 | 0.000000e+00 | -- | Inf
552.99/553.17 c 553s| 41500 | 385 | 2877k| 69.0 | 28M| 46 | - |3274 |7137 |3274 |1001 | 401k| 52k|5477 | 0.000000e+00 | -- | Inf
554.39/554.55 c 555s| 41600 | 385 | 2883k| 69.0 | 28M| 46 | - |3274 |7165 |3274 | 980 | 402k| 52k|5501 | 0.000000e+00 | -- | Inf
555.89/556.05 c 556s| 41700 | 381 | 2892k| 69.0 | 28M| 46 | - |3274 |7253 |3274 | 966 | 404k| 52k|5508 | 0.000000e+00 | -- | Inf
557.59/557.70 c 558s| 41800 | 390 | 2901k| 69.1 | 29M| 46 | - |3274 |7228 |3274 |1063 | 405k| 52k|5533 | 0.000000e+00 | -- | Inf
558.98/559.13 c 559s| 41900 | 390 | 2908k| 69.1 | 29M| 46 | 75 |3274 |7234 |3274 |1054 | 406k| 52k|5555 | 0.000000e+00 | -- | Inf
560.58/560.70 c 561s| 42000 | 386 | 2916k| 69.1 | 28M| 46 | 85 |3274 |7163 |3274 |1041 | 408k| 52k|5574 | 0.000000e+00 | -- | Inf
562.18/562.33 c 562s| 42100 | 383 | 2925k| 69.1 | 29M| 46 | 111 |3274 |7210 |3274 |1086 | 409k| 52k|5594 | 0.000000e+00 | -- | Inf
563.58/563.78 c 564s| 42200 | 379 | 2933k| 69.2 | 28M| 46 | 133 |3274 |7270 |3274 |1088 | 410k| 53k|5603 | 0.000000e+00 | -- | Inf
565.59/565.75 c 566s| 42300 | 389 | 2943k| 69.2 | 28M| 46 | 109 |3274 |7157 |3274 |1089 | 412k| 53k|5613 | 0.000000e+00 | -- | Inf
567.28/567.45 c 567s| 42400 | 380 | 2952k| 69.3 | 28M| 46 | - |3274 |7215 |3274 |1001 | 413k| 53k|5619 | 0.000000e+00 | -- | Inf
569.18/569.36 c 569s| 42500 | 385 | 2962k| 69.4 | 28M| 46 | 110 |3274 |6977 |3274 | 961 | 415k| 53k|5625 | 0.000000e+00 | -- | Inf
570.19/570.37 c 570s| 42600 | 382 | 2969k| 69.4 | 28M| 46 | - |3274 |7068 |3274 | 952 | 416k| 53k|5625 | 0.000000e+00 | -- | Inf
571.89/572.08 c 572s| 42700 | 381 | 2979k| 69.4 | 28M| 46 | 123 |3274 |7083 |3274 | 976 | 417k| 53k|5625 | 0.000000e+00 | -- | Inf
573.18/573.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.18/573.39 c 573s| 42800 | 379 | 2987k| 69.5 | 28M| 46 | 134 |3274 |7181 |3274 | 978 | 418k| 53k|5625 | 0.000000e+00 | -- | Inf
574.49/574.66 c 575s| 42900 | 383 | 2994k| 69.5 | 28M| 46 | - |3274 |7283 |3274 |1039 | 419k| 53k|5625 | 0.000000e+00 | -- | Inf
575.88/576.04 c 576s| 43000 | 384 | 3002k| 69.5 | 28M| 46 | 156 |3274 |7339 |3274 |1037 | 420k| 54k|5625 | 0.000000e+00 | -- | Inf
577.58/577.73 c 578s| 43100 | 381 | 3012k| 69.6 | 28M| 46 | - |3274 |7421 |3274 | 994 | 422k| 54k|5625 | 0.000000e+00 | -- | Inf
578.99/579.13 c 579s| 43200 | 383 | 3020k| 69.6 | 28M| 46 | - |3274 |7315 |3274 |1056 | 423k| 54k|5625 | 0.000000e+00 | -- | Inf
580.88/581.04 c 581s| 43300 | 390 | 3031k| 69.7 | 28M| 46 | 126 |3274 |7365 |3274 | 976 | 426k| 54k|5638 | 0.000000e+00 | -- | Inf
582.08/582.24 c 582s| 43400 | 391 | 3037k| 69.7 | 29M| 46 | - |3274 |7395 |3274 |1008 | 427k| 54k|5649 | 0.000000e+00 | -- | Inf
583.49/583.69 c 584s| 43500 | 392 | 3045k| 69.7 | 29M| 46 | 114 |3274 |7435 |3274 |1018 | 428k| 54k|5659 | 0.000000e+00 | -- | Inf
584.88/585.01 c 585s| 43600 | 390 | 3052k| 69.7 | 29M| 46 | 119 |3274 |7535 |3274 | 997 | 429k| 54k|5675 | 0.000000e+00 | -- | Inf
586.48/586.65 c 587s| 43700 | 390 | 3061k| 69.7 | 29M| 46 | - |3274 |7607 |3274 |1035 | 430k| 54k|5697 | 0.000000e+00 | -- | Inf
587.98/588.14 c 588s| 43800 | 392 | 3069k| 69.7 | 29M| 46 | - |3274 |7708 |3274 |1045 | 432k| 54k|5717 | 0.000000e+00 | -- | Inf
589.39/589.57 c 590s| 43900 | 393 | 3076k| 69.8 | 29M| 46 | - |3274 |7728 |3274 |1018 | 433k| 55k|5729 | 0.000000e+00 | -- | Inf
590.59/590.77 c 591s| 44000 | 391 | 3083k| 69.7 | 29M| 46 | 107 |3274 |7777 |3274 |1011 | 434k| 55k|5737 | 0.000000e+00 | -- | Inf
591.88/592.07 c 592s| 44100 | 391 | 3091k| 69.8 | 29M| 46 | - |3274 |7858 |3274 |1023 | 435k| 55k|5742 | 0.000000e+00 | -- | Inf
592.88/593.03 c 593s| 44200 | 396 | 3096k| 69.7 | 29M| 46 | 105 |3274 |7816 |3274 |1006 | 436k| 55k|5743 | 0.000000e+00 | -- | Inf
593.58/593.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
593.58/593.78 c 594s| 44300 | 394 | 3100k| 69.7 | 29M| 46 | 97 |3274 |7795 |3274 | 992 | 437k| 55k|5747 | 0.000000e+00 | -- | Inf
594.38/594.52 c 595s| 44400 | 393 | 3104k| 69.6 | 29M| 46 | 85 |3274 |7781 |3274 | 973 | 437k| 55k|5748 | 0.000000e+00 | -- | Inf
595.48/595.65 c 596s| 44500 | 395 | 3111k| 69.6 | 29M| 46 | 82 |3274 |7800 |3274 |1018 | 438k| 55k|5750 | 0.000000e+00 | -- | Inf
596.28/596.46 c 596s| 44600 | 397 | 3115k| 69.5 | 29M| 46 | - |3274 |7819 |3274 |1019 | 439k| 55k|5752 | 0.000000e+00 | -- | Inf
597.08/597.25 c 597s| 44700 | 395 | 3119k| 69.5 | 29M| 46 | 115 |3274 |7925 |3274 |1046 | 439k| 56k|5754 | 0.000000e+00 | -- | Inf
597.98/598.18 c 598s| 44800 | 401 | 3125k| 69.4 | 29M| 46 | 83 |3274 |8005 |3274 |1025 | 440k| 56k|5754 | 0.000000e+00 | -- | Inf
598.78/598.96 c 599s| 44900 | 392 | 3129k| 69.4 | 29M| 46 | - |3274 |7986 |3274 |1016 | 440k| 56k|5755 | 0.000000e+00 | -- | Inf
599.78/599.99 c 600s| 45000 | 396 | 3135k| 69.4 | 29M| 46 | 85 |3274 |8039 |3274 |1013 | 441k| 56k|5757 | 0.000000e+00 | -- | Inf
600.67/600.84 c 601s| 45100 | 397 | 3139k| 69.3 | 29M| 46 | 106 |3274 |8049 |3274 |1011 | 442k| 56k|5759 | 0.000000e+00 | -- | Inf
601.59/601.75 c 602s| 45200 | 393 | 3145k| 69.3 | 29M| 46 | 134 |3274 |8125 |3274 | 993 | 442k| 56k|5762 | 0.000000e+00 | -- | Inf
602.48/602.65 c 603s| 45300 | 395 | 3150k| 69.2 | 29M| 46 | 118 |3274 |8129 |3274 | 979 | 443k| 56k|5763 | 0.000000e+00 | -- | Inf
603.38/603.50 c 603s| 45400 | 398 | 3155k| 69.2 | 29M| 46 | 98 |3274 |7987 |3274 | 976 | 444k| 57k|5763 | 0.000000e+00 | -- | Inf
604.08/604.27 c 604s| 45500 | 393 | 3159k| 69.1 | 29M| 46 | - |3274 |8079 |3274 | 966 | 444k| 57k|5763 | 0.000000e+00 | -- | Inf
605.18/605.39 c 605s| 45600 | 391 | 3165k| 69.1 | 29M| 46 | 133 |3274 |8071 |3274 |1010 | 445k| 57k|5765 | 0.000000e+00 | -- | Inf
606.38/606.56 c 607s| 45700 | 392 | 3172k| 69.1 | 29M| 46 | 102 |3274 |8134 |3274 | 971 | 446k| 57k|5767 | 0.000000e+00 | -- | Inf
607.67/607.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
607.67/607.89 c 608s| 45800 | 392 | 3179k| 69.1 | 29M| 46 | - |3274 |8163 |3274 | 997 | 447k| 57k|5779 | 0.000000e+00 | -- | Inf
609.38/609.50 c 609s| 45900 | 394 | 3186k| 69.1 | 29M| 46 | 79 |3274 |8118 |3274 |1091 | 448k| 57k|5817 | 0.000000e+00 | -- | Inf
611.08/611.28 c 611s| 46000 | 390 | 3195k| 69.2 | 29M| 46 | - |3274 |8086 |3274 |1070 | 449k| 57k|5835 | 0.000000e+00 | -- | Inf
611.98/612.14 c 612s| 46100 | 394 | 3200k| 69.1 | 29M| 46 | - |3274 |7638 |3274 | 945 | 450k| 57k|5847 | 0.000000e+00 | -- | Inf
612.58/612.76 c 613s| 46200 | 391 | 3204k| 69.0 | 29M| 46 | - |3274 |7539 |3274 | 952 | 451k| 58k|5849 | 0.000000e+00 | -- | Inf
613.27/613.49 c 613s| 46300 | 396 | 3208k| 69.0 | 29M| 46 | - |3274 |7391 |3274 | 982 | 451k| 58k|5849 | 0.000000e+00 | -- | Inf
613.98/614.13 c 614s| 46400 | 392 | 3211k| 68.9 | 29M| 46 | - |3274 |7453 |3274 | 974 | 452k| 58k|5849 | 0.000000e+00 | -- | Inf
614.78/614.96 c 615s| 46500 | 393 | 3216k| 68.9 | 29M| 46 | 101 |3274 |7546 |3274 | 958 | 452k| 58k|5865 | 0.000000e+00 | -- | Inf
615.78/615.95 c 616s| 46600 | 391 | 3221k| 68.8 | 29M| 46 | - |3274 |7419 |3274 | 995 | 453k| 58k|5879 | 0.000000e+00 | -- | Inf
616.47/616.63 c 617s| 46700 | 393 | 3225k| 68.8 | 29M| 46 | - |3274 |7436 | 0 | 0 | 453k| 58k|5884 | 0.000000e+00 | -- | Inf
617.47/617.60 c 618s| 46800 | 397 | 3230k| 68.7 | 29M| 46 | 107 |3274 |7496 |3274 | 960 | 454k| 58k|5900 | 0.000000e+00 | -- | Inf
618.28/618.40 c 618s| 46900 | 395 | 3234k| 68.7 | 29M| 46 | - |3274 |7598 |3274 | 961 | 455k| 59k|5905 | 0.000000e+00 | -- | Inf
618.98/619.17 c 619s| 47000 | 397 | 3239k| 68.6 | 29M| 46 | 81 |3274 |7664 |3274 | 953 | 456k| 59k|5906 | 0.000000e+00 | -- | Inf
620.18/620.34 c 620s| 47100 | 399 | 3247k| 68.6 | 29M| 46 | 92 |3274 |7739 |3274 | 988 | 457k| 59k|5909 | 0.000000e+00 | -- | Inf
621.18/621.38 c 621s| 47200 | 397 | 3253k| 68.6 | 29M| 46 | - |3274 |7682 |3274 | 980 | 457k| 59k|5909 | 0.000000e+00 | -- | Inf
622.17/622.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
622.17/622.30 c 622s| 47300 | 398 | 3259k| 68.6 | 29M| 46 | 100 |3274 |7760 |3274 | 970 | 458k| 59k|5910 | 0.000000e+00 | -- | Inf
623.08/623.29 c 623s| 47400 | 398 | 3265k| 68.6 | 29M| 46 | - |3274 |7755 |3274 | 964 | 459k| 59k|5911 | 0.000000e+00 | -- | Inf
624.08/624.28 c 624s| 47500 | 398 | 3271k| 68.6 | 29M| 46 | 89 |3274 |7824 |3274 | 970 | 460k| 59k|5911 | 0.000000e+00 | -- | Inf
624.98/625.14 c 625s| 47600 | 398 | 3276k| 68.5 | 29M| 46 | 109 |3274 |7883 |3274 | 936 | 461k| 59k|5911 | 0.000000e+00 | -- | Inf
625.87/626.02 c 626s| 47700 | 402 | 3281k| 68.5 | 29M| 46 | - |3274 |7961 |3274 | 984 | 461k| 60k|5911 | 0.000000e+00 | -- | Inf
626.78/626.94 c 627s| 47800 | 405 | 3286k| 68.5 | 29M| 46 | - |3274 |8064 |3274 | 998 | 462k| 60k|5911 | 0.000000e+00 | -- | Inf
627.78/627.91 c 628s| 47900 | 403 | 3292k| 68.4 | 29M| 46 | 133 |3274 |8156 |3274 | 982 | 463k| 60k|5911 | 0.000000e+00 | -- | Inf
628.98/629.15 c 629s| 48000 | 399 | 3300k| 68.5 | 29M| 46 | - |3274 |8192 |3274 | 981 | 464k| 60k|5911 | 0.000000e+00 | -- | Inf
630.28/630.44 c 630s| 48100 | 399 | 3308k| 68.5 | 29M| 46 | 113 |3274 |8196 |3274 | 966 | 466k| 60k|5911 | 0.000000e+00 | -- | Inf
631.38/631.53 c 632s| 48200 | 395 | 3315k| 68.5 | 29M| 46 | - |3274 |8176 |3274 | 977 | 466k| 60k|5911 | 0.000000e+00 | -- | Inf
632.18/632.40 c 632s| 48300 | 395 | 3320k| 68.4 | 29M| 46 | 98 |3274 |8218 |3274 | 948 | 467k| 60k|5911 | 0.000000e+00 | -- | Inf
633.07/633.22 c 633s| 48400 | 404 | 3325k| 68.4 | 29M| 46 | 90 |3274 |8329 |3274 | 976 | 468k| 61k|5911 | 0.000000e+00 | -- | Inf
633.77/633.96 c 634s| 48500 | 395 | 3329k| 68.4 | 29M| 46 | 126 |3274 |8418 |3274 | 967 | 468k| 61k|5911 | 0.000000e+00 | -- | Inf
635.07/635.28 c 635s| 48600 | 391 | 3337k| 68.4 | 29M| 46 | - |3274 |8266 |3274 | 985 | 470k| 61k|5911 | 0.000000e+00 | -- | Inf
636.57/636.76 c 637s| 48700 | 387 | 3346k| 68.4 | 29M| 46 | - |3274 |8072 |3274 | 996 | 471k| 61k|5923 | 0.000000e+00 | -- | Inf
638.17/638.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
638.17/638.36 c 638s| 48800 | 387 | 3354k| 68.4 | 29M| 46 | 119 |3274 |7757 |3274 | 975 | 472k| 61k|5953 | 0.000000e+00 | -- | Inf
638.88/639.08 c 639s| 48900 | 388 | 3358k| 68.4 | 29M| 46 | - |3274 |7674 |3274 | 998 | 473k| 61k|5956 | 0.000000e+00 | -- | Inf
639.87/640.09 c 640s| 49000 | 389 | 3363k| 68.3 | 28M| 46 | 105 |3274 |7234 |3274 |1012 | 473k| 61k|5966 | 0.000000e+00 | -- | Inf
640.97/641.16 c 641s| 49100 | 385 | 3369k| 68.3 | 28M| 46 | - |3274 |6895 |3274 |1015 | 474k| 61k|5972 | 0.000000e+00 | -- | Inf
642.28/642.48 c 642s| 49200 | 388 | 3374k| 68.3 | 28M| 46 | - |3274 |6789 |3274 | 999 | 474k| 62k|6012 | 0.000000e+00 | -- | Inf
643.27/643.49 c 643s| 49300 | 380 | 3380k| 68.3 | 28M| 46 | 133 |3274 |6789 |3274 | 986 | 475k| 62k|6023 | 0.000000e+00 | -- | Inf
644.17/644.32 c 644s| 49400 | 378 | 3384k| 68.2 | 28M| 46 | - |3274 |6691 |3274 | 972 | 476k| 62k|6028 | 0.000000e+00 | -- | Inf
645.37/645.54 c 646s| 49500 | 384 | 3391k| 68.2 | 28M| 46 | 142 |3274 |6566 |3274 |1017 | 477k| 62k|6030 | 0.000000e+00 | -- | Inf
646.68/646.84 c 647s| 49600 | 384 | 3398k| 68.2 | 28M| 46 | - |3274 |6645 |3274 | 985 | 478k| 62k|6031 | 0.000000e+00 | -- | Inf
650.37/650.55 c 651s| 49700 | 392 | 3420k| 68.5 | 28M| 46 | - |3274 |6160 |3274 |1004 | 482k| 62k|6071 | 0.000000e+00 | -- | Inf
651.47/651.64 c 652s| 49800 | 392 | 3425k| 68.5 | 28M| 46 | 128 |3274 |6252 |3274 | 986 | 482k| 62k|6087 | 0.000000e+00 | -- | Inf
652.77/652.92 c 653s| 49900 | 393 | 3432k| 68.5 | 28M| 46 | 110 |3274 |6328 |3274 |1023 | 483k| 62k|6101 | 0.000000e+00 | -- | Inf
654.07/654.20 c 654s| 50000 | 390 | 3439k| 68.5 | 28M| 46 | - |3274 |6369 |3274 | 960 | 484k| 63k|6113 | 0.000000e+00 | -- | Inf
656.87/657.00 c 657s| 50100 | 387 | 3455k| 68.7 | 28M| 46 | - |3274 |6313 |3274 | 956 | 486k| 63k|6138 | 0.000000e+00 | -- | Inf
658.07/658.20 c 658s| 50200 | 391 | 3462k| 68.7 | 28M| 46 | - |3274 |6325 |3274 |1016 | 487k| 63k|6138 | 0.000000e+00 | -- | Inf
659.67/659.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
659.67/659.80 c 660s| 50300 | 397 | 3471k| 68.7 | 28M| 46 | - |3274 |6206 |3274 |1068 | 489k| 63k|6149 | 0.000000e+00 | -- | Inf
661.37/661.52 c 662s| 50400 | 397 | 3480k| 68.8 | 28M| 46 | - |3274 |6082 |3274 | 974 | 490k| 63k|6156 | 0.000000e+00 | -- | Inf
662.57/662.70 c 663s| 50500 | 400 | 3487k| 68.8 | 28M| 46 | - |3274 |6180 |3274 |1030 | 491k| 63k|6160 | 0.000000e+00 | -- | Inf
663.77/663.93 c 664s| 50600 | 400 | 3493k| 68.8 | 28M| 46 | 134 |3274 |6279 |3274 |1039 | 492k| 63k|6161 | 0.000000e+00 | -- | Inf
665.17/665.33 c 665s| 50700 | 392 | 3502k| 68.8 | 28M| 46 | - |3274 |6366 |3274 | 980 | 493k| 63k|6162 | 0.000000e+00 | -- | Inf
666.76/666.98 c 667s| 50800 | 408 | 3510k| 68.8 | 29M| 46 | 118 |3274 |6372 |3274 |1006 | 495k| 63k|6164 | 0.000000e+00 | -- | Inf
668.26/668.46 c 668s| 50900 | 402 | 3518k| 68.9 | 29M| 46 | 113 |3274 |6441 |3274 |1004 | 496k| 64k|6169 | 0.000000e+00 | -- | Inf
669.37/669.55 c 670s| 51000 | 408 | 3524k| 68.8 | 29M| 46 | - |3274 |6462 |3274 |1027 | 497k| 64k|6179 | 0.000000e+00 | -- | Inf
670.56/670.74 c 671s| 51100 | 405 | 3530k| 68.8 | 29M| 46 | 114 |3274 |6557 |3274 |1007 | 498k| 64k|6187 | 0.000000e+00 | -- | Inf
671.76/671.92 c 672s| 51200 | 405 | 3537k| 68.8 | 29M| 46 | - |3274 |6638 |3274 | 968 | 498k| 64k|6189 | 0.000000e+00 | -- | Inf
673.77/673.99 c 674s| 51300 | 409 | 3548k| 68.9 | 29M| 46 | - |3274 |6612 |3274 |1066 | 500k| 64k|6197 | 0.000000e+00 | -- | Inf
675.47/675.69 c 676s| 51400 | 421 | 3558k| 68.9 | 29M| 46 | 109 |3274 |6709 |3274 |1103 | 502k| 64k|6198 | 0.000000e+00 | -- | Inf
677.17/677.38 c 677s| 51500 | 419 | 3568k| 69.0 | 29M| 46 | 118 |3274 |6800 |3274 |1043 | 503k| 64k|6198 | 0.000000e+00 | -- | Inf
678.36/678.53 c 679s| 51600 | 425 | 3575k| 69.0 | 29M| 46 | - |3274 |6908 |3274 |1028 | 504k| 65k|6199 | 0.000000e+00 | -- | Inf
678.86/679.06 c 679s| 51700 | 429 | 3578k| 68.9 | 29M| 46 | 51 |3274 |6929 |3274 |1025 | 504k| 65k|6199 | 0.000000e+00 | -- | Inf
679.67/679.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
679.67/679.87 c 680s| 51800 | 425 | 3582k| 68.9 | 29M| 46 | 109 |3274 |6990 |3274 |1049 | 505k| 65k|6199 | 0.000000e+00 | -- | Inf
680.57/680.79 c 681s| 51900 | 427 | 3587k| 68.8 | 29M| 46 | 105 |3274 |7068 |3274 |1007 | 506k| 65k|6207 | 0.000000e+00 | -- | Inf
681.66/681.84 c 682s| 52000 | 425 | 3593k| 68.8 | 29M| 46 | 112 |3274 |7106 |3274 | 994 | 506k| 65k|6217 | 0.000000e+00 | -- | Inf
682.66/682.88 c 683s| 52100 | 429 | 3598k| 68.8 | 29M| 46 | 103 |3274 |7180 |3274 |1014 | 507k| 65k|6228 | 0.000000e+00 | -- | Inf
683.47/683.68 c 684s| 52200 | 430 | 3603k| 68.7 | 29M| 46 | - |3274 |7279 |3274 |1017 | 508k| 65k|6233 | 0.000000e+00 | -- | Inf
684.56/684.71 c 685s| 52300 | 430 | 3608k| 68.7 | 29M| 46 | 84 |3274 |7348 |3274 |1028 | 508k| 65k|6247 | 0.000000e+00 | -- | Inf
685.66/685.86 c 686s| 52400 | 424 | 3615k| 68.7 | 29M| 46 | 112 |3274 |7400 |3274 |1025 | 509k| 66k|6249 | 0.000000e+00 | -- | Inf
687.16/687.31 c 687s| 52500 | 420 | 3623k| 68.7 | 29M| 46 | - |3274 |7404 |3274 |1025 | 510k| 66k|6264 | 0.000000e+00 | -- | Inf
688.47/688.69 c 689s| 52600 | 420 | 3630k| 68.7 | 29M| 46 | - |3274 |7287 | 0 | 0 | 511k| 66k|6290 | 0.000000e+00 | -- | Inf
689.66/689.84 c 690s| 52700 | 423 | 3636k| 68.7 | 29M| 46 | - |3274 |7182 |3274 | 992 | 512k| 66k|6295 | 0.000000e+00 | -- | Inf
691.06/691.27 c 691s| 52800 | 424 | 3644k| 68.7 | 29M| 46 | - |3274 |7236 |3274 |1046 | 513k| 66k|6300 | 0.000000e+00 | -- | Inf
692.46/692.68 c 693s| 52900 | 422 | 3652k| 68.8 | 29M| 46 | - |3274 |7332 |3274 |1227 | 514k| 66k|6308 | 0.000000e+00 | -- | Inf
693.66/693.85 c 694s| 53000 | 425 | 3658k| 68.8 | 29M| 46 | - |3274 |7350 |3274 |1036 | 515k| 66k|6310 | 0.000000e+00 | -- | Inf
694.56/694.76 c 695s| 53100 | 430 | 3663k| 68.7 | 29M| 46 | - |3274 |7395 |3274 | 997 | 516k| 66k|6313 | 0.000000e+00 | -- | Inf
695.26/695.44 c 695s| 53200 | 434 | 3667k| 68.7 | 30M| 46 | - |3274 |7506 |3274 |1035 | 516k| 67k|6319 | 0.000000e+00 | -- | Inf
696.17/696.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
696.17/696.37 c 696s| 53300 | 429 | 3672k| 68.6 | 30M| 46 | 93 |3274 |7584 |3274 |1005 | 517k| 67k|6319 | 0.000000e+00 | -- | Inf
697.17/697.36 c 697s| 53400 | 426 | 3678k| 68.6 | 30M| 46 | 131 |3274 |7642 |3274 | 978 | 518k| 67k|6320 | 0.000000e+00 | -- | Inf
698.26/698.46 c 698s| 53500 | 430 | 3684k| 68.6 | 30M| 46 | 116 |3274 |7717 |3274 | 994 | 519k| 67k|6321 | 0.000000e+00 | -- | Inf
699.37/699.52 c 700s| 53600 | 429 | 3690k| 68.6 | 30M| 46 | - |3274 |7761 |3274 |1020 | 519k| 67k|6321 | 0.000000e+00 | -- | Inf
700.66/700.80 c 701s| 53700 | 424 | 3698k| 68.6 | 30M| 46 | - |3274 |7807 |3274 | 988 | 520k| 67k|6322 | 0.000000e+00 | -- | Inf
701.67/701.82 c 702s| 53800 | 427 | 3704k| 68.6 | 30M| 46 | - |3274 |7854 |3274 |1033 | 521k| 67k|6323 | 0.000000e+00 | -- | Inf
702.96/703.13 c 703s| 53900 | 427 | 3712k| 68.6 | 30M| 46 | - |3274 |7911 |3274 |1039 | 522k| 67k|6325 | 0.000000e+00 | -- | Inf
703.96/704.14 c 704s| 54000 | 431 | 3717k| 68.6 | 30M| 46 | 106 |3274 |8006 |3274 | 975 | 523k| 67k|6327 | 0.000000e+00 | -- | Inf
704.87/705.04 c 705s| 54100 | 429 | 3723k| 68.6 | 30M| 46 | - |3274 |8096 |3274 | 995 | 524k| 68k|6327 | 0.000000e+00 | -- | Inf
705.86/706.03 c 706s| 54200 | 429 | 3728k| 68.5 | 30M| 46 | 117 |3274 |8187 |3274 | 974 | 525k| 68k|6328 | 0.000000e+00 | -- | Inf
706.86/707.01 c 707s| 54300 | 426 | 3734k| 68.5 | 30M| 46 | - |3274 |8249 |3274 | 977 | 525k| 68k|6329 | 0.000000e+00 | -- | Inf
707.86/708.01 c 708s| 54400 | 434 | 3740k| 68.5 | 30M| 46 | 119 |3274 |8312 |3274 |1012 | 526k| 68k|6329 | 0.000000e+00 | -- | Inf
708.96/709.12 c 709s| 54500 | 431 | 3746k| 68.5 | 30M| 46 | - |3274 |8366 |3274 | 989 | 527k| 68k|6338 | 0.000000e+00 | -- | Inf
710.06/710.27 c 710s| 54600 | 435 | 3752k| 68.5 | 30M| 46 | 124 |3274 |8417 |3274 |1005 | 528k| 68k|6349 | 0.000000e+00 | -- | Inf
711.36/711.54 c 712s| 54700 | 433 | 3758k| 68.5 | 30M| 46 | - |3274 |8493 |3274 | 995 | 529k| 68k|6365 | 0.000000e+00 | -- | Inf
712.75/712.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
712.75/712.98 c 713s| 54800 | 435 | 3766k| 68.5 | 30M| 46 | - |3274 |8557 |3274 | 980 | 530k| 69k|6374 | 0.000000e+00 | -- | Inf
713.96/714.11 c 714s| 54900 | 428 | 3773k| 68.5 | 30M| 46 | 107 |3274 |8608 |3274 | 996 | 530k| 69k|6378 | 0.000000e+00 | -- | Inf
715.06/715.23 c 715s| 55000 | 426 | 3779k| 68.5 | 30M| 46 | 145 |3274 |8701 |3274 |1029 | 531k| 69k|6385 | 0.000000e+00 | -- | Inf
716.26/716.46 c 716s| 55100 | 426 | 3786k| 68.5 | 30M| 46 | - |3274 |8775 |3274 |1013 | 532k| 69k|6386 | 0.000000e+00 | -- | Inf
717.56/717.71 c 718s| 55200 | 424 | 3793k| 68.5 | 30M| 46 | - |3274 |8829 |3274 |1008 | 533k| 69k|6389 | 0.000000e+00 | -- | Inf
718.76/718.93 c 719s| 55300 | 425 | 3800k| 68.5 | 30M| 46 | - |3274 |8810 |3274 |1003 | 534k| 69k|6390 | 0.000000e+00 | -- | Inf
719.86/720.07 c 720s| 55400 | 424 | 3807k| 68.5 | 30M| 46 | 137 |3274 |8784 |3274 |1073 | 535k| 69k|6395 | 0.000000e+00 | -- | Inf
721.56/721.79 c 722s| 55500 | 423 | 3814k| 68.5 | 30M| 46 | 125 |3274 |8809 |3274 |1023 | 536k| 69k|6450 | 0.000000e+00 | -- | Inf
723.46/723.67 c 724s| 55600 | 420 | 3822k| 68.5 | 30M| 46 | - |3274 |8740 |3274 |1037 | 537k| 69k|6497 | 0.000000e+00 | -- | Inf
724.46/724.64 c 725s| 55700 | 414 | 3828k| 68.5 | 30M| 46 | - |3274 |8730 |3274 |1030 | 538k| 70k|6497 | 0.000000e+00 | -- | Inf
725.86/726.01 c 726s| 55800 | 414 | 3835k| 68.5 | 30M| 46 | 143 |3274 |8677 |3274 | 985 | 539k| 70k|6517 | 0.000000e+00 | -- | Inf
727.35/727.53 c 728s| 55900 | 417 | 3843k| 68.5 | 30M| 46 | 132 |3274 |8523 |3274 | 918 | 540k| 70k|6526 | 0.000000e+00 | -- | Inf
729.17/729.36 c 729s| 56000 | 423 | 3853k| 68.6 | 30M| 46 | - |3274 |8549 |3274 | 981 | 542k| 70k|6527 | 0.000000e+00 | -- | Inf
730.56/730.72 c 731s| 56100 | 423 | 3861k| 68.6 | 30M| 46 | 142 |3274 |8641 |3274 | 972 | 544k| 70k|6527 | 0.000000e+00 | -- | Inf
731.95/732.15 c 732s| 56200 | 423 | 3869k| 68.6 | 30M| 46 | 145 |3274 |8708 |3274 | 905 | 545k| 70k|6527 | 0.000000e+00 | -- | Inf
733.36/733.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
733.36/733.50 c 734s| 56300 | 421 | 3876k| 68.6 | 30M| 46 | - |3274 |8780 |3274 | 946 | 546k| 70k|6528 | 0.000000e+00 | -- | Inf
734.45/734.60 c 735s| 56400 | 421 | 3883k| 68.6 | 30M| 46 | - |3274 |8838 |3274 | 927 | 547k| 70k|6528 | 0.000000e+00 | -- | Inf
735.55/735.76 c 736s| 56500 | 417 | 3890k| 68.6 | 30M| 46 | 149 |3274 |8713 |3274 | 958 | 548k| 70k|6528 | 0.000000e+00 | -- | Inf
736.96/737.18 c 737s| 56600 | 419 | 3898k| 68.6 | 30M| 46 | - |3274 |8777 |3274 | 945 | 549k| 71k|6528 | 0.000000e+00 | -- | Inf
738.05/738.24 c 738s| 56700 | 422 | 3904k| 68.6 | 30M| 46 | 160 |3274 |8841 |3274 |1001 | 550k| 71k|6529 | 0.000000e+00 | -- | Inf
739.76/739.99 c 740s| 56800 | 423 | 3914k| 68.7 | 30M| 46 | 134 |3274 |8882 |3274 | 989 | 551k| 71k|6529 | 0.000000e+00 | -- | Inf
741.35/741.59 c 742s| 56900 | 429 | 3923k| 68.7 | 30M| 46 | - |3274 |8957 |3274 |1024 | 553k| 71k|6529 | 0.000000e+00 | -- | Inf
742.95/743.13 c 743s| 57000 | 437 | 3932k| 68.7 | 31M| 46 | - |3274 |9055 |3274 |1005 | 554k| 71k|6530 | 0.000000e+00 | -- | Inf
744.47/744.66 c 745s| 57100 | 432 | 3941k| 68.8 | 31M| 46 | 139 |3274 |9148 |3274 | 976 | 556k| 71k|6531 | 0.000000e+00 | -- | Inf
746.26/746.49 c 746s| 57200 | 434 | 3951k| 68.8 | 31M| 46 | 130 |3274 |9221 |3274 | 986 | 557k| 71k|6542 | 0.000000e+00 | -- | Inf
747.96/748.16 c 748s| 57300 | 430 | 3960k| 68.9 | 31M| 46 | 135 |3274 |9266 |3274 | 989 | 559k| 71k|6555 | 0.000000e+00 | -- | Inf
749.85/750.10 c 750s| 57400 | 426 | 3971k| 68.9 | 31M| 46 | 138 |3274 |9216 |3274 | 969 | 560k| 71k|6570 | 0.000000e+00 | -- | Inf
751.75/751.98 c 752s| 57500 | 423 | 3982k| 69.0 | 30M| 46 | 162 |3274 |9297 |3274 | 984 | 562k| 72k|6576 | 0.000000e+00 | -- | Inf
753.65/753.89 c 754s| 57600 | 421 | 3990k| 69.0 | 30M| 46 | 126 |3274 |9035 |3274 | 931 | 563k| 72k|6632 | 0.000000e+00 | -- | Inf
755.16/755.36 c 755s| 57700 | 424 | 3998k| 69.0 | 30M| 46 | 133 |3274 |8875 |3274 |1041 | 564k| 72k|6645 | 0.000000e+00 | -- | Inf
756.75/756.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
756.75/756.96 c 757s| 57800 | 430 | 4007k| 69.1 | 30M| 46 | 121 |3274 |8706 |3274 |1037 | 566k| 72k|6655 | 0.000000e+00 | -- | Inf
757.95/758.11 c 758s| 57900 | 432 | 4013k| 69.1 | 30M| 46 | 127 |3274 |8670 |3274 | 977 | 567k| 72k|6656 | 0.000000e+00 | -- | Inf
758.96/759.11 c 759s| 58000 | 430 | 4019k| 69.0 | 30M| 46 | 138 |3274 |8740 |3274 | 998 | 567k| 72k|6660 | 0.000000e+00 | -- | Inf
760.06/760.24 c 760s| 58100 | 435 | 4025k| 69.0 | 30M| 46 | 90 |3274 |8788 |3274 |1019 | 568k| 72k|6666 | 0.000000e+00 | -- | Inf
761.15/761.30 c 761s| 58200 | 433 | 4031k| 69.0 | 30M| 46 | - |3274 |8888 |3274 |1023 | 569k| 72k|6670 | 0.000000e+00 | -- | Inf
762.06/762.24 c 762s| 58300 | 440 | 4037k| 69.0 | 30M| 46 | 95 |3274 |8991 |3274 | 977 | 570k| 73k|6671 | 0.000000e+00 | -- | Inf
762.76/762.94 c 763s| 58400 | 439 | 4041k| 69.0 | 31M| 46 | - |3274 |9105 |3274 | 993 | 571k| 73k|6671 | 0.000000e+00 | -- | Inf
763.56/763.77 c 764s| 58500 | 441 | 4046k| 68.9 | 31M| 46 | - |3274 |9174 |3274 |1013 | 571k| 73k|6671 | 0.000000e+00 | -- | Inf
764.36/764.57 c 765s| 58600 | 438 | 4050k| 68.9 | 31M| 46 | - |3274 |9228 |3274 |1017 | 572k| 73k|6671 | 0.000000e+00 | -- | Inf
765.36/765.58 c 766s| 58700 | 438 | 4056k| 68.9 | 31M| 46 | 109 |3274 |9216 |3274 | 984 | 573k| 73k|6671 | 0.000000e+00 | -- | Inf
766.35/766.60 c 767s| 58800 | 444 | 4062k| 68.8 | 31M| 46 | 108 |3274 |9275 |3274 | 975 | 574k| 73k|6671 | 0.000000e+00 | -- | Inf
767.45/767.66 c 768s| 58900 | 445 | 4069k| 68.8 | 31M| 46 | - |3274 |9372 |3274 |1007 | 575k| 73k|6671 | 0.000000e+00 | -- | Inf
768.45/768.60 c 769s| 59000 | 445 | 4074k| 68.8 | 31M| 46 | - |3274 |9472 |3274 |1004 | 575k| 74k|6671 | 0.000000e+00 | -- | Inf
769.65/769.85 c 770s| 59100 | 445 | 4081k| 68.8 | 31M| 46 | - |3274 |9508 |3274 |1022 | 576k| 74k|6671 | 0.000000e+00 | -- | Inf
770.75/770.94 c 771s| 59200 | 443 | 4088k| 68.8 | 31M| 46 | 114 |3274 |9553 |3274 | 989 | 577k| 74k|6671 | 0.000000e+00 | -- | Inf
771.75/771.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
771.75/771.99 c 772s| 59300 | 445 | 4094k| 68.8 | 31M| 46 | 101 |3274 |9609 |3274 |1035 | 578k| 74k|6671 | 0.000000e+00 | -- | Inf
772.75/772.99 c 773s| 59400 | 443 | 4099k| 68.8 | 31M| 46 | - |3274 |9714 |3274 |1030 | 579k| 74k|6671 | 0.000000e+00 | -- | Inf
773.65/773.84 c 774s| 59500 | 445 | 4104k| 68.7 | 31M| 46 | - |3274 |9819 |3274 | 979 | 580k| 74k|6671 | 0.000000e+00 | -- | Inf
774.65/774.82 c 775s| 59600 | 443 | 4110k| 68.7 | 31M| 46 | 114 |3274 |9889 |3274 |1001 | 580k| 74k|6671 | 0.000000e+00 | -- | Inf
775.55/775.76 c 776s| 59700 | 443 | 4116k| 68.7 | 31M| 46 | - |3274 | 10k|3274 |1002 | 581k| 75k|6671 | 0.000000e+00 | -- | Inf
776.64/776.85 c 777s| 59800 | 441 | 4122k| 68.7 | 31M| 46 | 132 |3274 | 10k|3274 |1009 | 582k| 75k|6671 | 0.000000e+00 | -- | Inf
777.85/778.09 c 778s| 59900 | 441 | 4130k| 68.7 | 31M| 46 | - |3274 | 10k|3274 |1015 | 583k| 75k|6671 | 0.000000e+00 | -- | Inf
779.15/779.35 c 779s| 60000 | 443 | 4137k| 68.7 | 31M| 46 | 122 |3274 |9971 |3274 | 997 | 584k| 75k|6681 | 0.000000e+00 | -- | Inf
780.35/780.54 c 781s| 60100 | 446 | 4143k| 68.7 | 31M| 46 | 127 |3274 | 10k|3274 |1005 | 585k| 75k|6689 | 0.000000e+00 | -- | Inf
781.75/781.91 c 782s| 60200 | 442 | 4151k| 68.7 | 31M| 46 | - |3274 | 10k|3274 | 973 | 586k| 75k|6703 | 0.000000e+00 | -- | Inf
783.06/783.23 c 783s| 60300 | 440 | 4158k| 68.7 | 31M| 46 | - |3274 | 10k|3274 |1021 | 587k| 75k|6724 | 0.000000e+00 | -- | Inf
784.05/784.27 c 784s| 60400 | 442 | 4164k| 68.7 | 31M| 46 | - |3274 | 10k|3274 |1001 | 588k| 75k|6735 | 0.000000e+00 | -- | Inf
785.05/785.20 c 785s| 60500 | 438 | 4169k| 68.7 | 31M| 46 | 124 |3274 | 10k|3274 | 964 | 588k| 76k|6742 | 0.000000e+00 | -- | Inf
786.25/786.42 c 786s| 60600 | 440 | 4175k| 68.7 | 31M| 46 | 139 |3274 | 10k|3274 |1031 | 589k| 76k|6754 | 0.000000e+00 | -- | Inf
787.35/787.59 c 788s| 60700 | 447 | 4182k| 68.7 | 31M| 46 | 64 |3274 | 10k|3274 |1009 | 590k| 76k|6764 | 0.000000e+00 | -- | Inf
788.35/788.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
788.35/788.51 c 789s| 60800 | 447 | 4187k| 68.6 | 31M| 46 | 90 |3274 | 10k|3274 | 990 | 591k| 76k|6767 | 0.000000e+00 | -- | Inf
789.25/789.48 c 789s| 60900 | 444 | 4193k| 68.6 | 31M| 46 | - |3274 | 10k|3274 |1000 | 592k| 76k|6777 | 0.000000e+00 | -- | Inf
790.14/790.37 c 790s| 61000 | 444 | 4198k| 68.6 | 31M| 46 | 100 |3274 | 10k|3274 | 975 | 592k| 76k|6783 | 0.000000e+00 | -- | Inf
791.05/791.29 c 791s| 61100 | 444 | 4203k| 68.6 | 31M| 46 | 118 |3274 | 10k|3274 | 996 | 593k| 76k|6786 | 0.000000e+00 | -- | Inf
792.25/792.41 c 792s| 61200 | 444 | 4209k| 68.5 | 31M| 46 | 85 |3274 | 10k|3274 |1023 | 594k| 77k|6790 | 0.000000e+00 | -- | Inf
793.35/793.54 c 794s| 61300 | 443 | 4215k| 68.5 | 31M| 46 | - |3274 | 10k|3274 |1040 | 595k| 77k|6795 | 0.000000e+00 | -- | Inf
794.25/794.46 c 794s| 61400 | 445 | 4221k| 68.5 | 31M| 46 | - |3274 | 10k|3274 |1007 | 596k| 77k|6799 | 0.000000e+00 | -- | Inf
795.24/795.43 c 795s| 61500 | 447 | 4226k| 68.5 | 31M| 46 | 103 |3274 | 10k|3274 | 997 | 597k| 77k|6807 | 0.000000e+00 | -- | Inf
796.15/796.38 c 796s| 61600 | 447 | 4232k| 68.5 | 31M| 46 | 113 |3274 | 10k|3274 | 981 | 598k| 77k|6810 | 0.000000e+00 | -- | Inf
797.04/797.28 c 797s| 61700 | 445 | 4237k| 68.4 | 31M| 46 | - |3274 | 10k|3274 |1020 | 598k| 77k|6813 | 0.000000e+00 | -- | Inf
798.15/798.36 c 798s| 61800 | 450 | 4243k| 68.4 | 32M| 46 | 106 |3274 | 10k|3274 | 955 | 599k| 77k|6816 | 0.000000e+00 | -- | Inf
798.84/799.06 c 799s| 61900 | 450 | 4247k| 68.4 | 31M| 46 | 106 |3274 | 10k|3274 | 963 | 600k| 77k|6818 | 0.000000e+00 | -- | Inf
799.55/799.78 c 800s| 62000 | 455 | 4251k| 68.3 | 31M| 46 | 93 |3274 | 10k|3274 | 984 | 600k| 78k|6821 | 0.000000e+00 | -- | Inf
800.45/800.63 c 801s| 62100 | 448 | 4256k| 68.3 | 31M| 46 | - |3274 | 10k|3274 | 978 | 601k| 78k|6822 | 0.000000e+00 | -- | Inf
801.34/801.50 c 802s| 62200 | 452 | 4260k| 68.3 | 31M| 46 | 64 |3274 | 10k|3274 | 995 | 602k| 78k|6824 | 0.000000e+00 | -- | Inf
801.55/801.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
801.55/801.71 c * 802s| 62232 | 0 | 4261k| 68.3 | 26M| 46 | - |3274 | 10k|3274 | 983 | 602k| 78k|6824 | 0.000000e+00 | 0.000000e+00 | 0.00%
801.55/801.72 c
801.55/801.72 c SCIP Status : problem is solved [optimal solution found]
801.55/801.72 c Solving Time (sec) : 801.72
801.55/801.72 c Solving Nodes : 62232
801.55/801.72 c Primal Bound : +0.00000000000000e+00 (1 solutions)
801.55/801.72 c Dual Bound : +0.00000000000000e+00
801.55/801.72 c Gap : 0.00 %
801.55/801.72 s SATISFIABLE
801.55/801.72 v x196 x137 -x130 -x172 -x140 x179 x127 -x159 -x181 -x123 -x121 -x133 -x175 -x112 -x188 -x113 -x147 x119 -x156 -x152 x185 -x154 -x142
801.55/801.72 v -x136 -x126 -x186 -x105 -x171 -x117 -x144 -x163 -x106 -x149 -x124 -x110 -x102 x193 x177 -x169 -x167 -x160 -x151 -x148 -x141
801.55/801.72 v -x139 -x135 -x134 -x109 -x104 -x200 -x145 -x115 -x166 -x161 -x107 x129 -x158 -x153 -x183 -x187 -x114 -x164 x197 -x101 -x198
801.55/801.72 v -x195 x190 -x184 x182 -x157 -x132 -x125 -x122 -x118 -x108 -x111 -x192 -x116 -x170 -x173 -x103 -x131 -x168 -x174 -x155 -x138
801.55/801.72 v -x194 -x150 -x180 x143 -x128 -x146 x178 -x165 -x199 -x162 -x176 x189 -x120 -x191 -x100 x99 -x98 -x97 -x96 -x95 x94 -x93 -x92
801.55/801.72 v -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 x68 x67 -x66
801.55/801.72 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41
801.55/801.72 v -x40 -x39 x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15
801.55/801.72 v -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 x3 -x2 -x1
801.55/801.72 c SCIP Status : problem is solved [optimal solution found]
801.55/801.72 c Total Time : 801.72
801.55/801.72 c solving : 801.72
801.55/801.72 c presolving : 0.13 (included in solving)
801.55/801.72 c reading : 0.01 (included in solving)
801.55/801.72 c copying : 0.02 (2 #copies) (minimal 0.01, maximal 0.01, average 0.01)
801.55/801.72 c Original Problem :
801.55/801.72 c Problem name : HOME/instance-3693049-1338037654.opb
801.55/801.72 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
801.55/801.72 c Constraints : 302 initial, 302 maximal
801.55/801.72 c Objective sense : minimize
801.55/801.72 c Presolved Problem :
801.55/801.72 c Problem name : t_HOME/instance-3693049-1338037654.opb
801.55/801.72 c Variables : 3274 (3274 binary, 0 integer, 0 implicit integer, 0 continuous)
801.55/801.72 c Constraints : 3376 initial, 10749 maximal
801.55/801.72 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
801.55/801.72 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
801.55/801.72 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
801.55/801.72 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
801.55/801.72 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
801.55/801.72 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
801.55/801.72 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
801.55/801.72 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
801.55/801.72 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
801.55/801.72 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
801.55/801.72 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
801.55/801.72 c probing : 0.02 0.00 0 0 0 0 0 0 0 0 0
801.55/801.72 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
801.55/801.72 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
801.55/801.72 c and : 0.09 0.00 0 0 0 0 0 0 0 0 0
801.55/801.72 c linear : 0.01 0.00 0 0 0 0 0 0 0 0 0
801.55/801.72 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
801.55/801.72 c root node : - - 0 - - 0 - - - - -
801.55/801.72 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
801.55/801.72 c integral : 0 0 0 0 33851 0 1457 0 82 2817 0 0 63154
801.55/801.72 c knapsack : 1 1 6 301903 3 0 1454 222 28 411 0 0 0
801.55/801.72 c setppc : 300 300 6 301971 3 0 1453 1710224 912 329870 0 0 0
801.55/801.72 c and : 3074 3074 113028 301059 3 0 1452 1809029 494 4401963 602823 0 0
801.55/801.72 c linear : 1 1 6 300565 1 0 1 85 11 8 0 0 0
801.55/801.72 c logicor : 0+ 7373 6 111043 0 0 0 697967 475 101738 0 0 0
801.55/801.72 c countsols : 0 0 0 0 1 0 2 0 0 0 0 0 0
801.55/801.72 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
801.55/801.72 c integral : 62.83 0.00 0.00 0.00 62.83 0.00 0.00 0.00
801.55/801.72 c knapsack : 0.20 0.00 0.00 0.18 0.00 0.00 0.01 0.00
801.55/801.72 c setppc : 1.57 0.00 0.00 0.77 0.00 0.00 0.23 0.58
801.55/801.72 c and : 17.69 0.00 11.10 5.89 0.00 0.00 0.03 0.68
801.55/801.72 c linear : 0.23 0.00 0.00 0.23 0.00 0.00 0.00 0.00
801.55/801.72 c logicor : 3.33 0.00 0.00 2.91 0.00 0.00 0.00 0.42
801.55/801.72 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
801.55/801.72 c Propagators : #Propagate #ResProp Cutoffs DomReds
801.55/801.72 c rootredcost : 0 0 0 0
801.55/801.72 c pseudoobj : 0 0 0 0
801.55/801.72 c vbounds : 0 0 0 0
801.55/801.72 c redcost : 121049 0 0 0
801.55/801.72 c probing : 0 0 0 0
801.55/801.72 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
801.55/801.72 c rootredcost : 0.09 0.00 0.00 0.09 0.00
801.55/801.72 c pseudoobj : 0.08 0.00 0.00 0.08 0.00
801.55/801.72 c vbounds : 0.07 0.00 0.00 0.07 0.00
801.55/801.72 c redcost : 5.01 0.00 0.00 5.01 0.00
801.55/801.72 c probing : 0.02 0.00 0.02 0.00 0.00
801.55/801.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
801.55/801.72 c propagation : 0.15 1920 1881 10115 55.1 189 81.3 -
801.55/801.72 c infeasible LP : 15.80 29493 28274 354133 65.4 258 11.0 0
801.55/801.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
801.55/801.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
801.55/801.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
801.55/801.72 c applied globally : - - - 78391 67.0 - - -
801.55/801.72 c applied locally : - - - 0 0.0 - - -
801.55/801.72 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
801.55/801.72 c cut pool : 0.00 5 - - 31 - (maximal pool size: 668)
801.55/801.72 c closecuts : 0.00 0.00 0 0 0 0 0
801.55/801.72 c impliedbounds : 0.00 0.00 6 0 0 12 0
801.55/801.72 c intobj : 0.00 0.00 0 0 0 0 0
801.55/801.72 c gomory : 4.71 0.00 6 0 0 0 0
801.55/801.72 c cgmip : 0.00 0.00 0 0 0 0 0
801.55/801.72 c strongcg : 0.88 0.00 6 0 0 3000 0
801.55/801.72 c cmir : 0.18 0.00 6 0 0 4 0
801.55/801.72 c flowcover : 0.26 0.00 6 0 0 8 0
801.55/801.72 c clique : 0.02 0.00 6 0 0 36 0
801.55/801.72 c zerohalf : 0.00 0.00 0 0 0 0 0
801.55/801.72 c mcf : 0.09 0.00 4 0 0 21 0
801.55/801.72 c oddcycle : 0.00 0.00 0 0 0 0 0
801.55/801.72 c rapidlearning : 0.00 0.00 0 0 0 0 0
801.55/801.72 c Pricers : ExecTime SetupTime Calls Vars
801.55/801.72 c problem variables: 0.00 - 0 0
801.55/801.72 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
801.55/801.72 c relpscost : 62.78 0.00 33848 82 2817 0 0 63154
801.55/801.72 c pscost : 0.00 0.00 0 0 0 0 0 0
801.55/801.72 c inference : 0.00 0.00 0 0 0 0 0 0
801.55/801.72 c mostinf : 0.00 0.00 0 0 0 0 0 0
801.55/801.72 c leastinf : 0.00 0.00 0 0 0 0 0 0
801.55/801.72 c fullstrong : 0.00 0.00 0 0 0 0 0 0
801.55/801.72 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
801.55/801.72 c random : 0.00 0.00 0 0 0 0 0 0
801.55/801.72 c Primal Heuristics : ExecTime SetupTime Calls Found
801.55/801.72 c LP solutions : 0.00 - - 1
801.55/801.72 c pseudo solutions : 0.00 - - 0
801.55/801.72 c oneopt : 0.05 0.00 0 0
801.55/801.72 c crossover : 0.02 0.00 0 0
801.55/801.72 c guideddiving : 0.00 0.00 0 0
801.55/801.72 c intshifting : 0.00 0.00 0 0
801.55/801.72 c pscostdiving : 2.74 0.00 29 0
801.55/801.72 c fracdiving : 2.69 0.00 29 0
801.55/801.72 c veclendiving : 2.40 0.00 29 0
801.55/801.72 c linesearchdiving : 1.01 0.00 29 0
801.55/801.72 c rootsoldiving : 0.96 0.00 15 0
801.55/801.72 c objpscostdiving : 5.38 0.00 15 0
801.55/801.72 c coefdiving : 3.15 0.00 30 0
801.55/801.72 c feaspump : 5.53 0.00 15 0
801.55/801.72 c smallcard : 0.00 0.00 0 0
801.55/801.72 c trivial : 0.00 0.00 2 0
801.55/801.72 c shiftandpropagate: 0.16 0.00 1 0
801.55/801.72 c simplerounding : 0.03 0.00 0 0
801.55/801.72 c zirounding : 1.08 0.00 0 0
801.55/801.72 c rounding : 0.78 0.00 4893 0
801.55/801.72 c shifting : 1.95 0.00 1432 0
801.55/801.72 c twoopt : 0.00 0.00 0 0
801.55/801.72 c indtwoopt : 0.00 0.00 0 0
801.55/801.72 c indoneopt : 0.05 0.00 0 0
801.55/801.72 c fixandinfer : 0.00 0.00 0 0
801.55/801.72 c clique : 0.00 0.00 0 0
801.55/801.72 c indrounding : 0.00 0.00 0 0
801.55/801.72 c indcoefdiving : 0.00 0.00 0 0
801.55/801.72 c nlpdiving : 0.00 0.00 0 0
801.55/801.72 c intdiving : 0.00 0.00 0 0
801.55/801.72 c actconsdiving : 0.00 0.00 0 0
801.55/801.72 c octane : 0.00 0.00 0 0
801.55/801.72 c rens : 0.19 0.00 1 0
801.55/801.72 c rins : 0.00 0.00 0 0
801.55/801.72 c localbranching : 0.00 0.00 0 0
801.55/801.72 c mutation : 0.00 0.00 0 0
801.55/801.72 c dins : 0.00 0.00 0 0
801.55/801.72 c vbounds : 0.00 0.00 0 0
801.55/801.72 c undercover : 0.12 0.00 1 0
801.55/801.72 c subnlp : 0.02 0.00 0 0
801.55/801.72 c trysol : 0.04 0.00 0 0
801.55/801.72 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
801.55/801.72 c primal LP : 18.24 21764 0 0.00 0.00 18.23 21764
801.55/801.72 c dual LP : 587.35 150212 4116525 27.42 7008.68 0.06 81
801.55/801.72 c lex dual LP : 0.00 0 0 0.00 -
801.55/801.72 c barrier LP : 0.00 0 0 0.00 - 0.00 0
801.55/801.72 c diving/probing LP: 20.52 8234 145437 17.66 7089.16
801.55/801.72 c strong branching : 61.89 6824 404997 59.35 6543.34
801.55/801.72 c (at root node) : - 18 9321 517.83 -
801.55/801.72 c conflict analysis: 0.00 0 0 0.00 -
801.55/801.72 c B&B Tree :
801.55/801.72 c number of runs : 1
801.55/801.72 c nodes : 62232
801.55/801.72 c nodes (total) : 62232
801.55/801.72 c nodes left : 0
801.55/801.72 c max depth : 46
801.55/801.72 c max depth (total): 46
801.55/801.72 c backtracks : 10540 (16.9%)
801.55/801.72 c delayed cutoffs : 473
801.55/801.72 c repropagations : 85553 (546356 domain reductions, 435 cutoffs)
801.55/801.72 c avg switch length: 4.43
801.55/801.72 c switching time : 28.84
801.55/801.72 c Solution :
801.55/801.72 c Solutions found : 1 (1 improvements)
801.55/801.72 c First Solution : +0.00000000000000e+00 (in run 1, after 62232 nodes, 801.71 seconds, depth 32, found by <relaxation>)
801.55/801.72 c Primal Bound : +0.00000000000000e+00 (in run 1, after 62232 nodes, 801.71 seconds, depth 32, found by <relaxation>)
801.55/801.72 c Dual Bound : +0.00000000000000e+00
801.55/801.72 c Gap : 0.00 %
801.55/801.72 c Root Dual Bound : +0.00000000000000e+00
801.55/801.72 c Root Iterations : 14518
801.55/801.75 c Time complete: 801.6.
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-3693049-1338037654/watcher-3693049-1338037654 -o /tmp/evaluation-result-3693049-1338037654/solver-3693049-1338037654 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693049-1338037654.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9099
/proc/meminfo: memFree=28876516/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=10224 CPUtime=0 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 1299 0 0 0 0 0 0 0 20 0 1 0 269890788 10469376 1254 33554432000 4194304 10169799 140735395799456 140737152771176 8797266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 2556 1254 410 1459 0 1088 0
[startup+0.083785 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9099
/proc/meminfo: memFree=28876516/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=26264 CPUtime=0.07 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 5408 0 0 0 4 3 0 0 20 0 1 0 269890788 26894336 5106 33554432000 4194304 10169799 140735395799456 140735395796824 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 6566 5106 584 1459 0 5098 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26264
[startup+0.100263 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9099
/proc/meminfo: memFree=28876516/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=27304 CPUtime=0.09 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 5664 0 0 0 5 4 0 0 20 0 1 0 269890788 27959296 5362 33554432000 4194304 10169799 140735395799456 140735395796824 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 6826 5362 584 1459 0 5358 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27304
[startup+0.300301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9099
/proc/meminfo: memFree=28876516/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=39904 CPUtime=0.29 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 9493 0 0 0 22 7 0 0 20 0 1 0 269890788 40861696 8753 33554432000 4194304 10169799 140735395799456 140735395796824 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 9976 8753 694 1459 0 8508 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39904
[startup+0.700237 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9099
/proc/meminfo: memFree=28876516/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=45348 CPUtime=0.69 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 11094 0 0 0 61 8 0 0 20 0 1 0 269890788 46436352 10148 33554432000 4194304 10169799 140735395799456 140735395796824 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 11337 10148 786 1459 0 9869 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45348
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9100
/proc/meminfo: memFree=28838108/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=46712 CPUtime=1.48 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 11432 0 0 0 140 8 0 0 20 0 1 0 269890788 47833088 10442 33554432000 4194304 10169799 140735395799456 140735395791864 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 11678 10442 786 1459 0 10210 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 46712
[startup+3.10011 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9100
/proc/meminfo: memFree=28837596/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=46712 CPUtime=3.09 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 11435 0 0 0 299 10 0 0 20 0 1 0 269890788 47833088 10445 33554432000 4194304 10169799 140735395799456 140735395791768 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 11678 10445 789 1459 0 10210 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46712
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9100
/proc/meminfo: memFree=28814676/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=68528 CPUtime=6.29 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 20177 0 0 0 616 13 0 0 20 0 1 0 269890788 70172672 16187 33554432000 4194304 10169799 140735395799456 140735395795560 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 17132 16187 874 1459 0 15664 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 68528
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9100
/proc/meminfo: memFree=28815940/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=67004 CPUtime=12.69 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 23356 0 0 0 1251 18 0 0 20 0 1 0 269890788 68612096 15812 33554432000 4194304 10169799 140735395799456 140735395794056 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 16751 15812 879 1459 0 15283 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67004
[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9100
/proc/meminfo: memFree=28816452/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=67004 CPUtime=25.48 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 23363 0 0 0 2520 28 0 0 20 0 1 0 269890788 68612096 15819 33554432000 4194304 10169799 140735395799456 140735395794152 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 16751 15819 880 1459 0 15283 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 67004
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9100
/proc/meminfo: memFree=28816472/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=67004 CPUtime=51.07 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 23378 0 0 0 5057 50 0 0 20 0 1 0 269890788 68612096 15868 33554432000 4194304 10169799 140735395799456 140735395793736 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 16751 15868 880 1459 0 15283 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 67004
[startup+102.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 9101
/proc/meminfo: memFree=28809648/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=73224 CPUtime=102.26 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 24898 0 0 0 10120 106 0 0 20 0 1 0 269890788 74981376 17645 33554432000 4194304 10169799 140735395799456 140735395793880 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 18306 17645 880 1459 0 16838 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 73224
[startup+162.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 9104
/proc/meminfo: memFree=28803924/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=77328 CPUtime=162.25 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 25925 0 0 0 16047 178 0 0 20 0 1 0 269890788 79183872 18667 33554432000 4194304 10169799 140735395799456 140735395793592 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 19332 18667 880 1459 0 17864 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 77328
[startup+222.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 9104
/proc/meminfo: memFree=28795504/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=81648 CPUtime=222.24 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 26974 0 0 0 21977 247 0 0 20 0 1 0 269890788 83607552 19716 33554432000 4194304 10169799 140735395799456 140735395794280 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 20412 19716 880 1459 0 18944 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 81648
[startup+282.3 s]
/proc/loadavg: 2.17 2.07 2.01 3/177 9104
/proc/meminfo: memFree=28791716/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=82884 CPUtime=282.23 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 27325 0 0 0 27902 321 0 0 20 0 1 0 269890788 84873216 20065 33554432000 4194304 10169799 140735395799456 140735395794248 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 20721 20065 880 1459 0 19253 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 82884
[startup+342.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/177 9104
/proc/meminfo: memFree=28786324/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=85732 CPUtime=342.22 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 28012 0 0 0 33832 390 0 0 20 0 1 0 269890788 87789568 20755 33554432000 4194304 10169799 140735395799456 140735395793864 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 21433 20755 880 1459 0 19965 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 85732
[startup+402.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 9105
/proc/meminfo: memFree=28782476/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=86288 CPUtime=402.21 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 28195 0 0 0 39761 460 0 0 20 0 1 0 269890788 88358912 20938 33554432000 4194304 10169799 140735395799456 140735395793864 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 21572 20938 880 1459 0 20104 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 86288
[startup+462.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 9105
/proc/meminfo: memFree=28778948/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=87952 CPUtime=462.2 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 28586 0 0 0 45678 542 0 0 20 0 1 0 269890788 90062848 21328 33554432000 4194304 10169799 140735395799456 140735395794248 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 21988 21328 880 1459 0 20520 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 87952
[startup+522.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 9105
/proc/meminfo: memFree=28775056/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=88124 CPUtime=522.19 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 28633 0 0 0 51604 615 0 0 20 0 1 0 269890788 90238976 21375 33554432000 4194304 10169799 140735395799456 140735395793848 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 22031 21375 880 1459 0 20563 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 88124
[startup+582.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 9105
/proc/meminfo: memFree=28767428/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=92052 CPUtime=582.18 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 29586 0 0 0 57531 687 0 0 20 0 1 0 269890788 94261248 22327 33554432000 4194304 10169799 140735395799456 140735395793864 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 23013 22327 880 1459 0 21545 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 92052
[startup+642.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 9105
/proc/meminfo: memFree=28764332/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=92756 CPUtime=642.18 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 29815 0 0 0 63457 761 0 0 20 0 1 0 269890788 94982144 22556 33554432000 4194304 10169799 140735395799456 140735395794152 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 23189 22556 881 1459 0 21721 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 92756
[startup+702.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 9106
/proc/meminfo: memFree=28756640/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=95128 CPUtime=702.16 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 30390 0 0 0 69379 837 0 0 20 0 1 0 269890788 97411072 23129 33554432000 4194304 10169799 140735395799456 140735395793960 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 23782 23129 881 1459 0 22314 0
Current children cumulated CPU time (s) 702.16
Current children cumulated vsize (KiB) 95128
[startup+762.307 s]
/proc/loadavg: 2.19 2.06 2.01 3/178 9109
/proc/meminfo: memFree=28753652/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=96352 CPUtime=762.15 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 30690 0 0 0 75305 910 0 0 20 0 1 0 269890788 98664448 23429 33554432000 4194304 10169799 140735395799456 140735395794248 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 24088 23429 881 1459 0 22620 0
Current children cumulated CPU time (s) 762.15
Current children cumulated vsize (KiB) 96352
Solver just ended. Dumping a history of the last processes samples
[startup+767.9 s]
/proc/loadavg: 2.17 2.06 2.01 3/178 9109
/proc/meminfo: memFree=28753528/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=96352 CPUtime=767.75 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 30690 0 0 0 75856 919 0 0 20 0 1 0 269890788 98664448 23429 33554432000 4194304 10169799 140735395799456 140735395794232 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 24088 23429 881 1459 0 22620 0
Current children cumulated CPU time (s) 767.75
Current children cumulated vsize (KiB) 96352
[startup+780.7 s]
/proc/loadavg: 2.14 2.06 2.01 3/178 9109
/proc/meminfo: memFree=28752596/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=96352 CPUtime=780.55 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 30698 0 0 0 77119 936 0 0 20 0 1 0 269890788 98664448 23436 33554432000 4194304 10169799 140735395799456 140735395793864 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 24088 23436 881 1459 0 22620 0
Current children cumulated CPU time (s) 780.55
Current children cumulated vsize (KiB) 96352
[startup+793.5 s]
/proc/loadavg: 2.11 2.05 2.01 3/178 9109
/proc/meminfo: memFree=28751728/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=96352 CPUtime=793.35 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 30698 0 0 0 78379 956 0 0 20 0 1 0 269890788 98664448 23436 33554432000 4194304 10169799 140735395799456 140735395794248 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 24088 23436 881 1459 0 22620 0
Current children cumulated CPU time (s) 793.35
Current children cumulated vsize (KiB) 96352
[startup+796.7 s]
/proc/loadavg: 2.11 2.05 2.01 3/178 9109
/proc/meminfo: memFree=28751604/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=96352 CPUtime=796.55 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 30698 0 0 0 78694 961 0 0 20 0 1 0 269890788 98664448 23436 33554432000 4194304 10169799 140735395799456 140735395793864 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 24088 23436 881 1459 0 22620 0
Current children cumulated CPU time (s) 796.55
Current children cumulated vsize (KiB) 96352
[startup+799.9 s]
/proc/loadavg: 2.10 2.05 2.01 3/178 9109
/proc/meminfo: memFree=28751356/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=96352 CPUtime=799.74 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 30698 0 0 0 79009 965 0 0 20 0 1 0 269890788 98664448 23436 33554432000 4194304 10169799 140735395799456 140735395793960 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 24088 23436 881 1459 0 22620 0
Current children cumulated CPU time (s) 799.74
Current children cumulated vsize (KiB) 96352
[startup+800.7 s]
/proc/loadavg: 2.10 2.05 2.01 3/178 9109
/proc/meminfo: memFree=28751356/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=96352 CPUtime=800.55 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 30711 0 0 0 79088 967 0 0 20 0 1 0 269890788 98664448 23449 33554432000 4194304 10169799 140735395799456 140735395793960 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 24088 23449 881 1459 0 22620 0
Current children cumulated CPU time (s) 800.55
Current children cumulated vsize (KiB) 96352
[startup+801.5 s]
/proc/loadavg: 2.10 2.05 2.01 3/178 9109
/proc/meminfo: memFree=28751356/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=96488 CPUtime=801.34 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 30744 0 0 0 79167 967 0 0 20 0 1 0 269890788 98803712 23482 33554432000 4194304 10169799 140735395799456 140735395795976 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 24122 23482 881 1459 0 22654 0
Current children cumulated CPU time (s) 801.34
Current children cumulated vsize (KiB) 96488
[startup+801.7 s]
/proc/loadavg: 2.10 2.05 2.01 3/178 9109
/proc/meminfo: memFree=28751356/32873648 swapFree=6856/6856
[pid=9099] ppid=9097 vsize=96488 CPUtime=801.55 cores=1,3,5,7
/proc/9099/stat : 9099 (scip-2.1.1.4sfi) R 9097 9099 7220 0 -1 4202496 30745 0 0 0 79187 968 0 0 20 0 1 0 269890788 98803712 23483 33554432000 4194304 10169799 140735395799456 140735395795976 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9099/statm: 24122 23483 881 1459 0 22654 0
Current children cumulated CPU time (s) 801.55
Current children cumulated vsize (KiB) 96488
Child status: 0
Real time (s): 801.752
CPU time (s): 801.607
CPU user time (s): 791.925
CPU system time (s): 9.68253
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 96488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 791.925
system time used= 9.68253
maximum resident set size= 93940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30749
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= 33
involuntary context switches= 822
runsolver used 1.26881 second user time and 4.03539 second system time
The end