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-3690976-1338020548.opb>
0.02/0.06 c original problem has 2467 variables (2467 bin, 0 int, 0 impl, 0 cont) and 4745 constraints
0.02/0.06 c problem read in 0.06
0.09/0.11 c presolving:
0.09/0.15 c (round 1) 1 del vars, 1 del conss, 0 add conss, 1 chg bounds, 12 chg sides, 443 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.17 c (round 2) 1 del vars, 2028 del conss, 0 add conss, 1 chg bounds, 12 chg sides, 443 chg coeffs, 351 upgd conss, 0 impls, 0 clqs
0.19/0.20 c (round 3) 1 del vars, 2028 del conss, 6 add conss, 1 chg bounds, 22 chg sides, 468 chg coeffs, 690 upgd conss, 314 impls, 5 clqs
0.19/0.22 c (round 4) 1 del vars, 2028 del conss, 6 add conss, 1 chg bounds, 29 chg sides, 520 chg coeffs, 690 upgd conss, 314 impls, 5 clqs
0.19/0.24 c (0.2s) probing: 51/2466 (2.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.24 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.19/0.24 c presolving (5 rounds):
0.19/0.24 c 1 deleted vars, 2028 deleted constraints, 6 added constraints, 1 tightened bounds, 0 added holes, 29 changed sides, 522 changed coefficients
0.19/0.24 c 314 implications, 5 cliques
0.19/0.24 c presolved problem has 2466 variables (2466 bin, 0 int, 0 impl, 0 cont) and 2723 constraints
0.19/0.24 c 690 constraints of type <knapsack>
0.19/0.24 c 6 constraints of type <setppc>
0.19/0.24 c 2027 constraints of type <linear>
0.19/0.24 c transformed objective value is always integral (scale: 1)
0.19/0.24 c Presolving Time: 0.17
0.19/0.24 c - non default parameters ----------------------------------------------------------------------
0.19/0.24 c # SCIP version 2.1.1.4
0.19/0.24 c
0.19/0.24 c # maximal time in seconds to run
0.19/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24 c limits/time = 1797
0.19/0.24 c
0.19/0.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24 c limits/memory = 13950
0.19/0.24 c
0.19/0.24 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.24 c # [type: int, range: [1,2], default: 1]
0.19/0.24 c timing/clocktype = 2
0.19/0.24 c
0.19/0.24 c # belongs reading time to solving time?
0.19/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c timing/reading = TRUE
0.19/0.24 c
0.19/0.24 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.24 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.24 c separating/rapidlearning/freq = 0
0.19/0.24 c
0.19/0.24 c -----------------------------------------------------------------------------------------------
0.19/0.24 c start solving
0.19/0.24 c
0.38/0.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.38/0.43 c 0.4s| 1 | 0 | 59 | - | 21M| 0 | 159 |2466 |2751 |2466 |2723 | 0 | 28 | 0 | 7.800000e+01 | -- | Inf
5.19/5.23 c 5.2s| 1 | 0 | 4159 | - | 23M| 0 | 490 |2466 |3680 |2466 |2839 | 116 | 28 | 0 | 7.800000e+01 | -- | Inf
5.60/5.66 c 5.7s| 1 | 0 | 5245 | - | 24M| 0 | 552 |2466 |3680 |2466 |2947 | 224 | 28 | 0 | 7.800000e+01 | -- | Inf
6.19/6.21 c 6.2s| 1 | 0 | 6585 | - | 25M| 0 | 439 |2466 |3680 |2466 |3100 | 377 | 28 | 0 | 7.800000e+01 | -- | Inf
6.79/6.83 c 6.8s| 1 | 0 | 7495 | - | 25M| 0 | 508 |2466 |3680 |2466 |3261 | 538 | 28 | 0 | 7.800000e+01 | -- | Inf
7.58/7.60 c 7.6s| 1 | 0 | 8946 | - | 26M| 0 | 507 |2466 |3680 |2466 |3409 | 686 | 28 | 0 | 7.800000e+01 | -- | Inf
8.58/8.60 c 8.6s| 1 | 0 | 10431 | - | 27M| 0 | 718 |2466 |3680 |2466 |3569 | 846 | 28 | 0 | 7.800000e+01 | -- | Inf
9.48/9.57 c 9.6s| 1 | 0 | 11617 | - | 27M| 0 | 812 |2466 |3680 |2466 |3726 |1003 | 28 | 0 | 7.800000e+01 | -- | Inf
10.58/10.64 c 10.6s| 1 | 0 | 12677 | - | 28M| 0 | 920 |2466 |3680 |2466 |3868 |1145 | 28 | 0 | 7.800000e+01 | -- | Inf
16.19/16.20 c 16.2s| 1 | 2 | 12677 | - | 28M| 0 | 920 |2466 |3680 |2466 |3868 |1145 | 28 | 24 | 7.800000e+01 | -- | Inf
38.08/38.13 c 38.1s| 100 | 85 | 54211 | 419.5 | 29M| 29 | 240 |2466 |3711 |2466 |2947 |1145 | 59 | 272 | 7.800000e+01 | -- | Inf
39.97/40.05 c 40.1s| 200 | 128 | 65666 | 266.3 | 29M| 39 | - |2466 |3781 |2466 |2947 |1145 | 129 | 291 | 7.800000e+01 | -- | Inf
43.57/43.68 c 43.7s| 300 | 160 | 82682 | 234.1 | 30M| 41 | - |2466 |3893 |2466 |2947 |1145 | 241 | 328 | 7.800000e+01 | -- | Inf
47.77/47.84 c 47.8s| 400 | 206 |110538 | 245.3 | 30M| 41 | - |2466 |3980 | 0 | 0 |1145 | 328 | 375 | 7.800000e+01 | -- | Inf
52.77/52.83 c 52.8s| 500 | 287 |139006 | 253.2 | 30M| 41 | 454 |2466 |4021 |2466 |2947 |1145 | 369 | 410 | 7.800000e+01 | -- | Inf
72.26/72.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.26/72.32 c 72.3s| 600 | 358 |415406 | 672.3 | 31M| 41 |1323 |2466 |4295 |2466 |2947 |1145 | 643 | 422 | 7.800000e+01 | -- | Inf
76.57/76.63 c 76.6s| 700 | 398 |434247 | 603.1 | 31M| 57 |1240 |2466 |4383 |2466 |2947 |1145 | 731 | 483 | 7.800000e+01 | -- | Inf
80.07/80.10 c 80.1s| 800 | 464 |452564 | 550.5 | 31M| 64 | 499 |2466 |4437 |2466 |2947 |1145 | 785 | 495 | 7.800000e+01 | -- | Inf
82.17/82.29 c 82.3s| 900 | 500 |464294 | 502.4 | 32M| 64 | 680 |2466 |4528 |2466 |2947 |1145 | 876 | 521 | 7.800000e+01 | -- | Inf
84.86/84.99 c 85.0s| 1000 | 528 |478239 | 466.0 | 32M| 76 | 812 |2466 |4645 |2466 |2947 |1145 | 993 | 572 | 7.800000e+01 | -- | Inf
88.36/88.44 c 88.4s| 1100 | 530 |497579 | 441.2 | 32M| 76 |1229 |2466 |4769 |2466 |2947 |1145 |1117 | 593 | 7.800000e+01 | -- | Inf
90.76/90.88 c 90.9s| 1200 | 565 |511892 | 416.4 | 33M| 76 |1116 |2466 |4877 |2466 |2947 |1145 |1225 | 606 | 7.800000e+01 | -- | Inf
93.16/93.24 c 93.2s| 1300 | 572 |524044 | 393.7 | 33M| 76 | - |2466 |5115 | 0 | 0 |1145 |1463 | 658 | 7.800000e+01 | -- | Inf
97.36/97.48 c 97.5s| 1400 | 605 |548051 | 382.7 | 33M| 76 | - |2466 |5240 |2466 |2947 |1145 |1588 | 680 | 7.800000e+01 | -- | Inf
99.86/99.90 c 99.9s| 1500 | 619 |561316 | 366.0 | 34M| 76 |1027 |2466 |5356 |2466 |2947 |1145 |1704 | 709 | 7.800000e+01 | -- | Inf
102.26/102.34 c 102s| 1600 | 647 |574009 | 351.1 | 34M| 76 | 633 |2466 |5429 |2466 |2947 |1145 |1781 | 731 | 7.800000e+01 | -- | Inf
105.96/106.04 c 106s| 1700 | 690 |595595 | 343.1 | 34M| 76 | - |2466 |5569 | 0 | 0 |1145 |1925 | 780 | 7.800000e+01 | -- | Inf
108.35/108.40 c 108s| 1800 | 709 |607302 | 330.5 | 34M| 76 | 364 |2466 |5702 |2466 |2947 |1145 |2067 | 809 | 7.800000e+01 | -- | Inf
111.06/111.13 c 111s| 1900 | 734 |622138 | 320.9 | 35M| 76 | 543 |2466 |5794 |2466 |2947 |1145 |2175 | 837 | 7.800000e+01 | -- | Inf
115.56/115.68 c 116s| 2000 | 749 |650514 | 319.1 | 35M| 76 | 460 |2466 |5891 |2466 |2947 |1145 |2307 | 876 | 7.800000e+01 | -- | Inf
118.65/118.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.65/118.77 c 119s| 2100 | 809 |668381 | 312.4 | 35M| 76 | 680 |2466 |5878 |2466 |2947 |1145 |2372 | 898 | 7.800000e+01 | -- | Inf
122.05/122.11 c 122s| 2200 | 856 |685835 | 306.1 | 35M| 76 | - |2466 |5850 | 0 | 0 |1145 |2468 | 933 | 7.800000e+01 | -- | Inf
126.56/126.66 c 127s| 2300 | 880 |721336 | 308.2 | 35M| 76 |1256 |2466 |5860 |2466 |2947 |1145 |2571 | 962 | 7.800000e+01 | -- | Inf
129.95/130.04 c 130s| 2400 | 896 |742661 | 304.3 | 36M| 76 | - |2466 |5843 | 0 | 0 |1145 |2702 |1002 | 7.800000e+01 | -- | Inf
133.95/134.09 c 134s| 2500 | 924 |768234 | 302.3 | 36M| 76 |1058 |2466 |5776 |2466 |2947 |1145 |2819 |1049 | 7.800000e+01 | -- | Inf
137.85/137.98 c 138s| 2600 | 974 |789428 | 298.9 | 36M| 76 |1229 |2466 |5710 |2466 |2947 |1145 |2915 |1100 | 7.800000e+01 | -- | Inf
140.65/140.77 c 141s| 2700 | 989 |807669 | 294.6 | 36M| 76 |1381 |2466 |5620 |2466 |2947 |1145 |3057 |1122 | 7.800000e+01 | -- | Inf
144.06/144.17 c 144s| 2800 | 1001 |825643 | 290.4 | 36M| 76 | - |2466 |5527 | 0 | 0 |1145 |3164 |1178 | 7.800000e+01 | -- | Inf
148.04/148.11 c 148s| 2900 | 1039 |846262 | 287.5 | 36M| 76 | 931 |2466 |5422 |2466 |2947 |1145 |3292 |1208 | 7.800000e+01 | -- | Inf
151.54/151.67 c 152s| 3000 | 1088 |869655 | 285.8 | 37M| 76 |1061 |2466 |5336 |2466 |2947 |1145 |3378 |1227 | 7.800000e+01 | -- | Inf
153.45/153.55 c 154s| 3100 | 1121 |879781 | 279.8 | 37M| 76 | 721 |2466 |5296 |2466 |2947 |1145 |3494 |1238 | 7.800000e+01 | -- | Inf
155.95/156.05 c 156s| 3200 | 1140 |896459 | 276.3 | 37M| 76 | 521 |2466 |5325 |2466 |2947 |1145 |3637 |1266 | 7.800000e+01 | -- | Inf
158.75/158.82 c 159s| 3300 | 1169 |905872 | 270.7 | 37M| 76 | - |2466 |5312 | 0 | 0 |1145 |3740 |1319 | 7.800000e+01 | -- | Inf
161.65/161.71 c 162s| 3400 | 1194 |919420 | 266.8 | 38M| 76 | 506 |2466 |5303 |2466 |2947 |1145 |3843 |1352 | 7.800000e+01 | -- | Inf
164.95/165.09 c 165s| 3500 | 1207 |939205 | 264.8 | 38M| 76 | - |2466 |5310 |2466 |2947 |1145 |3979 |1403 | 7.800000e+01 | -- | Inf
167.44/167.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.44/167.59 c 168s| 3600 | 1245 |953159 | 261.3 | 38M| 76 |1008 |2466 |5247 |2466 |2947 |1145 |4079 |1424 | 7.800000e+01 | -- | Inf
170.14/170.24 c 170s| 3700 | 1277 |964360 | 257.3 | 39M| 76 | 899 |2466 |5259 |2466 |2947 |1145 |4208 |1452 | 7.800000e+01 | -- | Inf
173.94/174.05 c 174s| 3800 | 1324 |985745 | 256.1 | 39M| 76 | 690 |2466 |5227 |2466 |2947 |1145 |4282 |1487 | 7.800000e+01 | -- | Inf
176.64/176.75 c 177s| 3900 | 1351 | 1006k| 255.0 | 39M| 76 | - |2466 |5299 |2466 |2947 |1145 |4446 |1497 | 7.800000e+01 | -- | Inf
179.64/179.79 c 180s| 4000 | 1405 | 1025k| 253.2 | 39M| 76 | 763 |2466 |5225 |2466 |2947 |1145 |4505 |1528 | 7.800000e+01 | -- | Inf
181.85/181.99 c 182s| 4100 | 1414 | 1039k| 250.4 | 40M| 76 | 792 |2466 |5157 |2466 |2947 |1145 |4615 |1553 | 7.800000e+01 | -- | Inf
184.15/184.28 c 184s| 4200 | 1462 | 1050k| 247.2 | 40M| 78 | - |2466 |5144 | 0 | 0 |1145 |4700 |1592 | 7.800000e+01 | -- | Inf
186.74/186.82 c 187s| 4300 | 1469 | 1062k| 244.2 | 41M| 82 | - |2466 |5216 | 0 | 0 |1145 |4826 |1660 | 7.800000e+01 | -- | Inf
188.94/189.06 c 189s| 4400 | 1474 | 1074k| 241.3 | 41M| 82 | - |2466 |5085 | 0 | 0 |1145 |4933 |1691 | 7.800000e+01 | -- | Inf
191.25/191.39 c 191s| 4500 | 1473 | 1086k| 238.6 | 41M| 82 |1008 |2466 |5200 |2466 |2947 |1145 |5104 |1748 | 7.800000e+01 | -- | Inf
193.64/193.77 c 194s| 4600 | 1511 | 1101k| 236.8 | 41M| 82 | - |2466 |5057 | 0 | 0 |1145 |5188 |1765 | 7.800000e+01 | -- | Inf
197.84/198.00 c 198s| 4700 | 1568 | 1126k| 237.1 | 41M| 82 | 864 |2466 |4937 |2466 |2947 |1145 |5251 |1802 | 7.800000e+01 | -- | Inf
199.94/200.07 c 200s| 4800 | 1603 | 1136k| 234.2 | 42M| 82 | 846 |2466 |4907 |2466 |2947 |1145 |5380 |1825 | 7.800000e+01 | -- | Inf
202.64/202.75 c 203s| 4900 | 1657 | 1155k| 233.3 | 42M| 82 |1016 |2466 |4907 |2466 |2947 |1145 |5485 |1836 | 7.800000e+01 | -- | Inf
204.34/204.48 c 204s| 5000 | 1706 | 1164k| 230.5 | 42M| 82 | 865 |2466 |4789 |2466 |2947 |1145 |5534 |1853 | 7.800000e+01 | -- | Inf
208.84/208.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
208.84/208.99 c 209s| 5100 | 1752 | 1191k| 231.2 | 42M| 82 | - |2466 |4706 |2466 |2947 |1145 |5623 |1874 | 7.800000e+01 | -- | Inf
210.04/210.17 c 210s| 5200 | 1810 | 1196k| 227.7 | 42M| 82 | - |2466 |4752 | 0 | 0 |1145 |5704 |1892 | 7.800000e+01 | -- | Inf
216.44/216.57 c 217s| 5300 | 1846 | 1230k| 229.8 | 43M| 82 | - |2466 |4965 |2466 |2947 |1145 |6067 |1943 | 7.800000e+01 | -- | Inf
218.33/218.47 c 218s| 5400 | 1887 | 1238k| 227.1 | 43M| 82 | 617 |2466 |4930 |2466 |2947 |1145 |6139 |1971 | 7.800000e+01 | -- | Inf
220.13/220.23 c 220s| 5500 | 1938 | 1248k| 224.7 | 43M| 83 | - |2466 |4926 |2466 |2947 |1145 |6204 |1994 | 7.800000e+01 | -- | Inf
222.14/222.24 c 222s| 5600 | 2019 | 1256k| 222.1 | 43M| 83 |1237 |2466 |4903 |2466 |2947 |1145 |6233 |2020 | 7.800000e+01 | -- | Inf
224.34/224.48 c 224s| 5700 | 2051 | 1266k| 220.0 | 44M| 83 |1221 |2466 |4908 |2466 |2947 |1145 |6320 |2057 | 7.800000e+01 | -- | Inf
226.84/226.91 c 227s| 5800 | 2080 | 1276k| 217.9 | 44M| 83 | 920 |2466 |4901 |2466 |2947 |1145 |6402 |2073 | 7.800000e+01 | -- | Inf
231.13/231.28 c 231s| 5900 | 2126 | 1299k| 218.1 | 44M| 83 | 406 |2466 |4822 |2466 |2947 |1145 |6513 |2101 | 7.800000e+01 | -- | Inf
233.24/233.31 c 233s| 6000 | 2158 | 1311k| 216.4 | 44M| 83 | 734 |2466 |4818 |2466 |2947 |1145 |6624 |2126 | 7.800000e+01 | -- | Inf
237.65/237.71 c 238s| 6100 | 2173 | 1332k| 216.4 | 44M| 83 |1005 |2466 |4857 |2466 |2947 |1145 |6771 |2185 | 7.800000e+01 | -- | Inf
240.64/240.77 c 241s| 6200 | 2218 | 1353k| 216.3 | 44M| 83 | 324 |2466 |4775 |2466 |2947 |1145 |6851 |2213 | 7.800000e+01 | -- | Inf
244.24/244.33 c 244s| 6300 | 2277 | 1373k| 216.0 | 45M| 83 |1255 |2466 |4746 |2466 |2947 |1145 |6929 |2250 | 7.800000e+01 | -- | Inf
247.34/247.43 c 247s| 6400 | 2318 | 1386k| 214.6 | 45M| 83 | 960 |2466 |4666 |2466 |2947 |1145 |7013 |2324 | 7.800000e+01 | -- | Inf
252.73/252.85 c 253s| 6500 | 2363 | 1432k| 218.5 | 45M| 83 | 935 |2466 |4716 |2466 |2947 |1145 |7208 |2374 | 7.800000e+01 | -- | Inf
255.04/255.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
255.04/255.16 c 255s| 6600 | 2392 | 1445k| 217.2 | 45M| 83 | 703 |2466 |4686 |2466 |2947 |1145 |7322 |2391 | 7.800000e+01 | -- | Inf
258.83/258.99 c 259s| 6700 | 2443 | 1467k| 217.2 | 46M| 83 | - |2466 |4697 |2466 |2947 |1145 |7493 |2427 | 7.800000e+01 | -- | Inf
262.43/262.54 c 263s| 6800 | 2473 | 1486k| 216.8 | 46M| 83 | - |2466 |4702 | 0 | 0 |1145 |7645 |2501 | 7.800000e+01 | -- | Inf
265.63/265.70 c 266s| 6900 | 2501 | 1497k| 215.2 | 46M| 83 | - |2466 |4733 | 0 | 0 |1145 |7745 |2590 | 7.800000e+01 | -- | Inf
269.53/269.63 c 270s| 7000 | 2531 | 1516k| 214.9 | 47M| 83 | - |2466 |4707 |2466 |2947 |1145 |7848 |2661 | 7.800000e+01 | -- | Inf
273.43/273.53 c 274s| 7100 | 2544 | 1538k| 214.9 | 46M| 83 | - |2466 |4644 | 0 | 0 |1145 |7953 |2715 | 7.800000e+01 | -- | Inf
276.04/276.19 c 276s| 7200 | 2575 | 1553k| 214.0 | 47M| 83 | - |2466 |4582 | 0 | 0 |1145 |8048 |2745 | 7.800000e+01 | -- | Inf
279.83/279.91 c 280s| 7300 | 2618 | 1578k| 214.5 | 46M| 83 | 968 |2466 |4529 |2466 |2947 |1145 |8139 |2787 | 7.800000e+01 | -- | Inf
283.23/283.33 c 283s| 7400 | 2661 | 1595k| 214.0 | 47M| 83 | 416 |2466 |4511 |2466 |2947 |1145 |8218 |2847 | 7.800000e+01 | -- | Inf
286.13/286.27 c 286s| 7500 | 2687 | 1614k| 213.6 | 47M| 83 |1221 |2466 |4514 |2466 |2947 |1145 |8360 |2872 | 7.800000e+01 | -- | Inf
290.03/290.15 c 290s| 7600 | 2695 | 1629k| 212.8 | 47M| 83 | 616 |2466 |4493 |2466 |2947 |1145 |8454 |2959 | 7.800000e+01 | -- | Inf
293.13/293.21 c 293s| 7700 | 2731 | 1650k| 212.7 | 47M| 83 | 876 |2466 |4529 |2466 |2947 |1145 |8584 |2990 | 7.800000e+01 | -- | Inf
296.62/296.72 c 297s| 7800 | 2764 | 1672k| 212.9 | 47M| 83 |1028 |2466 |4544 |2466 |2947 |1145 |8687 |3027 | 7.800000e+01 | -- | Inf
299.62/299.71 c 300s| 7900 | 2783 | 1690k| 212.4 | 47M| 83 | - |2466 |4618 |2466 |2947 |1145 |8814 |3061 | 7.800000e+01 | -- | Inf
304.32/304.41 c 304s| 8000 | 2824 | 1720k| 213.4 | 48M| 83 | 408 |2466 |4641 |2466 |2947 |1145 |8928 |3124 | 7.800000e+01 | -- | Inf
306.53/306.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
306.53/306.61 c 307s| 8100 | 2845 | 1731k| 212.2 | 48M| 83 | 209 |2466 |4775 |2466 |2947 |1145 |9110 |3151 | 7.800000e+01 | -- | Inf
308.63/308.71 c 309s| 8200 | 2864 | 1741k| 210.9 | 48M| 83 | - |2466 |4768 |2466 |2947 |1145 |9225 |3192 | 7.800000e+01 | -- | Inf
311.73/311.88 c 312s| 8300 | 2883 | 1759k| 210.5 | 49M| 83 | - |2466 |4828 | 0 | 0 |1145 |9404 |3264 | 7.800000e+01 | -- | Inf
315.22/315.31 c 315s| 8400 | 2900 | 1776k| 210.1 | 49M| 83 | 299 |2466 |4766 |2466 |2947 |1145 |9522 |3293 | 7.800000e+01 | -- | Inf
317.82/317.91 c 318s| 8500 | 2934 | 1792k| 209.4 | 49M| 83 |1092 |2466 |4740 |2466 |2947 |1145 |9591 |3311 | 7.800000e+01 | -- | Inf
320.72/320.88 c 321s| 8600 | 2958 | 1809k| 209.0 | 49M| 83 | 884 |2466 |4662 |2466 |2947 |1145 |9690 |3353 | 7.800000e+01 | -- | Inf
323.92/324.01 c 324s| 8700 | 2970 | 1826k| 208.5 | 49M| 83 | 467 |2466 |4677 |2466 |2947 |1145 |9822 |3414 | 7.800000e+01 | -- | Inf
327.42/327.56 c 328s| 8800 | 3003 | 1846k| 208.4 | 50M| 83 | 272 |2466 |4732 |2466 |2947 |1145 |9991 |3482 | 7.800000e+01 | -- | Inf
331.03/331.16 c 331s| 8900 | 3028 | 1862k| 207.9 | 50M| 83 | 656 |2466 |4774 |2466 |2947 |1145 | 10k|3557 | 7.800000e+01 | -- | Inf
333.42/333.59 c 334s| 9000 | 3049 | 1875k| 207.0 | 50M| 83 | 941 |2466 |4781 |2466 |2947 |1145 | 10k|3583 | 7.800000e+01 | -- | Inf
337.52/337.65 c 338s| 9100 | 3066 | 1901k| 207.5 | 50M| 83 | - |2466 |4918 |2466 |2947 |1145 | 10k|3615 | 7.800000e+01 | -- | Inf
339.72/339.86 c 340s| 9200 | 3093 | 1913k| 206.7 | 50M| 83 | - |2466 |4908 |2466 |2947 |1145 | 10k|3639 | 7.800000e+01 | -- | Inf
342.82/342.90 c 343s| 9300 | 3127 | 1931k| 206.4 | 50M| 83 | - |2466 |4932 | 0 | 0 |1145 | 10k|3683 | 7.800000e+01 | -- | Inf
345.72/345.82 c 346s| 9400 | 3144 | 1952k| 206.3 | 51M| 83 | - |2466 |4925 | 0 | 0 |1145 | 10k|3709 | 7.800000e+01 | -- | Inf
352.32/352.42 c 352s| 9500 | 3207 | 1988k| 208.0 | 51M| 83 | 918 |2466 |4789 |2466 |2947 |1145 | 10k|3755 | 7.800000e+01 | -- | Inf
354.91/355.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
354.91/355.08 c 355s| 9600 | 3231 | 2005k| 207.6 | 51M| 83 | 188 |2466 |4754 |2466 |2947 |1145 | 10k|3782 | 7.800000e+01 | -- | Inf
359.31/359.45 c 359s| 9700 | 3258 | 2025k| 207.5 | 52M| 83 |1094 |2466 |4732 |2466 |2947 |1145 | 11k|3809 | 7.800000e+01 | -- | Inf
363.22/363.32 c 363s| 9800 | 3286 | 2047k| 207.7 | 52M| 83 | 984 |2466 |4721 |2466 |2947 |1145 | 11k|3857 | 7.800000e+01 | -- | Inf
366.81/366.98 c 367s| 9900 | 3322 | 2070k| 207.9 | 52M| 83 | - |2466 |4631 |2466 |2947 |1145 | 11k|3890 | 7.800000e+01 | -- | Inf
369.72/369.88 c 370s| 10000 | 3366 | 2086k| 207.4 | 52M| 83 | 647 |2466 |4576 |2466 |2947 |1145 | 11k|3917 | 7.800000e+01 | -- | Inf
373.32/373.42 c 373s| 10100 | 3409 | 2109k| 207.6 | 52M| 83 |1139 |2466 |4556 |2466 |2947 |1145 | 11k|3943 | 7.800000e+01 | -- | Inf
376.82/376.96 c 377s| 10200 | 3444 | 2128k| 207.4 | 53M| 83 | 322 |2466 |4500 |2466 |2947 |1145 | 11k|3990 | 7.800000e+01 | -- | Inf
381.21/381.38 c 381s| 10300 | 3487 | 2153k| 207.9 | 53M| 83 |1029 |2466 |4487 |2466 |2947 |1145 | 11k|4043 | 7.800000e+01 | -- | Inf
383.61/383.73 c 384s| 10400 | 3495 | 2167k| 207.2 | 53M| 83 | 767 |2466 |4536 |2466 |2947 |1145 | 11k|4061 | 7.800000e+01 | -- | Inf
387.41/387.53 c 388s| 10500 | 3518 | 2188k| 207.3 | 53M| 83 | - |2466 |4526 |2466 |2947 |1145 | 11k|4103 | 7.800000e+01 | -- | Inf
389.81/389.95 c 390s| 10600 | 3531 | 2202k| 206.6 | 53M| 83 | 420 |2466 |4562 |2466 |2947 |1145 | 12k|4126 | 7.800000e+01 | -- | Inf
396.11/396.22 c 396s| 10700 | 3568 | 2247k| 208.9 | 53M| 83 | 866 |2466 |4578 |2466 |2947 |1145 | 12k|4171 | 7.800000e+01 | -- | Inf
400.32/400.41 c 400s| 10800 | 3602 | 2267k| 208.8 | 54M| 83 | 437 |2466 |4663 |2466 |2947 |1145 | 12k|4226 | 7.800000e+01 | -- | Inf
409.41/409.56 c 410s| 10900 | 3663 | 2319k| 211.7 | 54M| 83 | 289 |2466 |4727 |2466 |2947 |1145 | 12k|4261 | 7.800000e+01 | -- | Inf
412.71/412.84 c 413s| 11000 | 3689 | 2336k| 211.3 | 54M| 83 | 321 |2466 |4781 |2466 |2947 |1145 | 12k|4331 | 7.800000e+01 | -- | Inf
416.31/416.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
416.31/416.41 c 416s| 11100 | 3721 | 2359k| 211.4 | 54M| 83 | - |2466 |4759 |2466 |2947 |1145 | 12k|4370 | 7.800000e+01 | -- | Inf
419.61/419.71 c 420s| 11200 | 3766 | 2377k| 211.2 | 54M| 83 | 755 |2466 |4762 |2466 |2947 |1145 | 12k|4403 | 7.800000e+01 | -- | Inf
424.21/424.39 c 424s| 11300 | 3798 | 2406k| 211.9 | 55M| 83 | 880 |2466 |4737 |2466 |2947 |1145 | 13k|4448 | 7.800000e+01 | -- | Inf
427.81/427.95 c 428s| 11400 | 3821 | 2429k| 212.0 | 54M| 83 | 315 |2466 |4756 |2466 |2947 |1145 | 13k|4490 | 7.800000e+01 | -- | Inf
430.71/430.82 c 431s| 11500 | 3854 | 2442k| 211.3 | 54M| 83 | 868 |2466 |4777 |2466 |2947 |1145 | 13k|4525 | 7.800000e+01 | -- | Inf
434.41/434.58 c 435s| 11600 | 3895 | 2464k| 211.4 | 55M| 83 | - |2466 |4836 | 0 | 0 |1145 | 13k|4577 | 7.800000e+01 | -- | Inf
438.51/438.61 c 439s| 11700 | 3934 | 2488k| 211.6 | 55M| 83 | - |2466 |4938 |2466 |2947 |1145 | 13k|4617 | 7.800000e+01 | -- | Inf
442.00/442.20 c 442s| 11800 | 3966 | 2507k| 211.4 | 55M| 83 | 885 |2466 |4970 |2466 |2947 |1145 | 13k|4662 | 7.800000e+01 | -- | Inf
444.90/445.00 c 445s| 11900 | 3979 | 2522k| 210.9 | 55M| 83 | 854 |2466 |5073 |2466 |2947 |1145 | 13k|4716 | 7.800000e+01 | -- | Inf
452.80/452.94 c 453s| 12000 | 4006 | 2568k| 213.0 | 56M| 83 | 418 |2466 |5657 |2466 |2947 |1145 | 14k|4747 | 7.800000e+01 | -- | Inf
456.30/456.48 c 456s| 12100 | 4008 | 2584k| 212.6 | 56M| 83 | 758 |2466 |5679 |2466 |2947 |1145 | 14k|4821 | 7.800000e+01 | -- | Inf
459.60/459.72 c 460s| 12200 | 4025 | 2600k| 212.2 | 56M| 83 | - |2466 |5582 |2466 |2947 |1145 | 14k|4874 | 7.800000e+01 | -- | Inf
461.80/461.97 c 462s| 12300 | 4054 | 2613k| 211.5 | 56M| 83 | - |2466 |5504 |2466 |2947 |1145 | 15k|4890 | 7.800000e+01 | -- | Inf
465.30/465.45 c 465s| 12400 | 4082 | 2634k| 211.5 | 56M| 83 | 401 |2466 |5479 |2466 |2947 |1145 | 15k|4956 | 7.800000e+01 | -- | Inf
467.89/468.09 c 468s| 12500 | 4147 | 2649k| 210.9 | 56M| 83 | 456 |2466 |5462 |2466 |2947 |1145 | 15k|4993 | 7.800000e+01 | -- | Inf
471.40/471.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
471.40/471.53 c 472s| 12600 | 4186 | 2667k| 210.7 | 56M| 83 | 813 |2466 |5373 |2466 |2947 |1145 | 15k|5033 | 7.800000e+01 | -- | Inf
473.89/474.09 c 474s| 12700 | 4211 | 2684k| 210.4 | 56M| 83 | 879 |2466 |5322 |2466 |2947 |1145 | 15k|5056 | 7.800000e+01 | -- | Inf
476.50/476.69 c 477s| 12800 | 4247 | 2698k| 209.8 | 57M| 83 |1026 |2466 |5279 |2466 |2947 |1145 | 15k|5086 | 7.800000e+01 | -- | Inf
479.40/479.57 c 480s| 12900 | 4288 | 2712k| 209.3 | 57M| 83 | - |2466 |5219 | 0 | 0 |1145 | 15k|5119 | 7.800000e+01 | -- | Inf
482.49/482.67 c 483s| 13000 | 4346 | 2728k| 208.9 | 57M| 83 | 827 |2466 |5198 |2466 |2947 |1145 | 15k|5161 | 7.800000e+01 | -- | Inf
489.99/490.17 c 490s| 13100 | 4386 | 2775k| 210.9 | 57M| 83 | 947 |2466 |5128 |2466 |2947 |1145 | 15k|5219 | 7.800000e+01 | -- | Inf
492.39/492.59 c 493s| 13200 | 4425 | 2788k| 210.3 | 57M| 83 | 396 |2466 |5168 |2466 |2947 |1145 | 15k|5253 | 7.800000e+01 | -- | Inf
496.29/496.43 c 496s| 13300 | 4465 | 2810k| 210.4 | 57M| 83 | 388 |2466 |5186 |2466 |2947 |1145 | 16k|5294 | 7.800000e+01 | -- | Inf
499.50/499.69 c 500s| 13400 | 4508 | 2830k| 210.3 | 57M| 83 | 898 |2466 |5173 |2466 |2947 |1145 | 16k|5331 | 7.800000e+01 | -- | Inf
502.89/503.00 c 503s| 13500 | 4527 | 2846k| 209.9 | 58M| 83 | - |2466 |5167 |2466 |2947 |1145 | 16k|5401 | 7.800000e+01 | -- | Inf
506.39/506.58 c 507s| 13600 | 4579 | 2864k| 209.7 | 58M| 83 | 863 |2466 |5114 |2466 |2947 |1145 | 16k|5461 | 7.800000e+01 | -- | Inf
510.69/510.89 c 511s| 13700 | 4593 | 2883k| 209.6 | 58M| 83 | 833 |2466 |5039 |2466 |2947 |1145 | 16k|5552 | 7.800000e+01 | -- | Inf
513.70/513.84 c 514s| 13800 | 4641 | 2902k| 209.4 | 58M| 83 | 582 |2466 |5093 |2466 |2947 |1145 | 16k|5568 | 7.800000e+01 | -- | Inf
517.99/518.19 c 518s| 13900 | 4674 | 2922k| 209.4 | 58M| 83 | - |2466 |5018 |2466 |2947 |1145 | 16k|5616 | 7.800000e+01 | -- | Inf
520.79/520.97 c 521s| 14000 | 4696 | 2937k| 208.9 | 58M| 83 | 965 |2466 |5045 |2466 |2947 |1145 | 16k|5663 | 7.800000e+01 | -- | Inf
524.39/524.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
524.39/524.54 c 525s| 14100 | 4717 | 2955k| 208.8 | 58M| 83 | 888 |2466 |5088 |2466 |2947 |1145 | 17k|5742 | 7.800000e+01 | -- | Inf
528.49/528.60 c 529s| 14200 | 4763 | 2979k| 209.0 | 59M| 83 | 603 |2466 |5056 |2466 |2947 |1145 | 17k|5787 | 7.800000e+01 | -- | Inf
531.19/531.37 c 531s| 14300 | 4800 | 2993k| 208.4 | 59M| 83 | 755 |2466 |4991 |2466 |2947 |1145 | 17k|5824 | 7.800000e+01 | -- | Inf
534.99/535.15 c 535s| 14400 | 4828 | 3012k| 208.3 | 59M| 83 | 587 |2466 |5016 |2466 |2947 |1145 | 17k|5858 | 7.800000e+01 | -- | Inf
537.89/538.08 c 538s| 14500 | 4854 | 3027k| 207.9 | 59M| 83 | 836 |2466 |5110 |2466 |2947 |1145 | 17k|5905 | 7.800000e+01 | -- | Inf
540.58/540.74 c 541s| 14600 | 4881 | 3042k| 207.5 | 59M| 83 | 574 |2466 |5153 |2466 |2947 |1145 | 17k|5946 | 7.800000e+01 | -- | Inf
549.28/549.42 c 549s| 14700 | 4913 | 3145k| 213.1 | 60M| 83 | 913 |2466 |5194 |2466 |2947 |1145 | 17k|6023 | 7.800000e+01 | -- | Inf
551.99/552.11 c 552s| 14800 | 4966 | 3162k| 212.8 | 60M| 83 | 586 |2466 |5148 |2466 |2947 |1145 | 17k|6044 | 7.800000e+01 | -- | Inf
555.68/555.85 c 556s| 14900 | 4988 | 3179k| 212.5 | 60M| 83 | 547 |2466 |5146 |2466 |2947 |1145 | 18k|6102 | 7.800000e+01 | -- | Inf
558.28/558.46 c 558s| 15000 | 5047 | 3197k| 212.3 | 60M| 83 | 285 |2466 |5105 |2466 |2947 |1145 | 18k|6115 | 7.800000e+01 | -- | Inf
560.49/560.64 c 561s| 15100 | 5093 | 3215k| 212.1 | 61M| 83 | - |2466 |5133 |2466 |2947 |1145 | 18k|6117 | 7.800000e+01 | -- | Inf
564.98/565.13 c 565s| 15200 | 5128 | 3233k| 211.9 | 61M| 83 | 539 |2466 |5143 |2466 |2947 |1145 | 18k|6181 | 7.800000e+01 | -- | Inf
567.59/567.70 c 568s| 15300 | 5162 | 3248k| 211.5 | 61M| 83 | 483 |2466 |5072 |2466 |2947 |1145 | 18k|6192 | 7.800000e+01 | -- | Inf
570.38/570.55 c 571s| 15400 | 5209 | 3265k| 211.3 | 61M| 83 | - |2466 |5010 | 0 | 0 |1145 | 18k|6212 | 7.800000e+01 | -- | Inf
572.69/572.85 c 573s| 15500 | 5242 | 3282k| 211.0 | 61M| 83 | 616 |2466 |4945 |2466 |2947 |1145 | 18k|6235 | 7.800000e+01 | -- | Inf
577.98/578.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
577.98/578.18 c 578s| 15600 | 5268 | 3299k| 210.7 | 62M| 83 |1213 |2466 |4955 |2466 |2947 |1145 | 18k|6296 | 7.800000e+01 | -- | Inf
585.08/585.28 c 585s| 15700 | 5318 | 3328k| 211.2 | 62M| 83 | - |2466 |4959 |2466 |2947 |1145 | 19k|6379 | 7.800000e+01 | -- | Inf
587.39/587.52 c 588s| 15800 | 5358 | 3343k| 210.9 | 62M| 83 | 491 |2466 |5006 |2466 |2947 |1145 | 19k|6385 | 7.800000e+01 | -- | Inf
589.68/589.85 c 590s| 15900 | 5392 | 3363k| 210.7 | 62M| 83 | 595 |2466 |5046 |2466 |2947 |1145 | 19k|6391 | 7.800000e+01 | -- | Inf
591.37/591.57 c 592s| 16000 | 5412 | 3376k| 210.2 | 63M| 83 | - |2466 |5198 | 0 | 0 |1145 | 19k|6391 | 7.800000e+01 | -- | Inf
594.08/594.24 c 594s| 16100 | 5448 | 3395k| 210.1 | 62M| 83 | 914 |2466 |5176 |2466 |2947 |1145 | 19k|6399 | 7.800000e+01 | -- | Inf
598.28/598.46 c 598s| 16200 | 5463 | 3412k| 209.9 | 63M| 83 | 794 |2466 |5178 |2466 |2947 |1145 | 19k|6524 | 7.800000e+01 | -- | Inf
600.77/600.93 c 601s| 16300 | 5501 | 3427k| 209.5 | 63M| 83 | 704 |2466 |5165 |2466 |2947 |1145 | 19k|6546 | 7.800000e+01 | -- | Inf
603.58/603.79 c 604s| 16400 | 5542 | 3450k| 209.6 | 63M| 83 | 831 |2466 |5124 |2466 |2947 |1145 | 19k|6562 | 7.800000e+01 | -- | Inf
605.28/605.41 c 605s| 16500 | 5579 | 3463k| 209.2 | 63M| 83 | 713 |2466 |5156 |2466 |2947 |1145 | 20k|6562 | 7.800000e+01 | -- | Inf
607.18/607.33 c 607s| 16600 | 5595 | 3482k| 209.1 | 64M| 83 | 583 |2466 |5244 |2466 |2947 |1145 | 20k|6562 | 7.800000e+01 | -- | Inf
610.28/610.48 c 610s| 16700 | 5634 | 3514k| 209.7 | 64M| 83 | 594 |2466 |5211 |2466 |2947 |1145 | 20k|6564 | 7.800000e+01 | -- | Inf
612.58/612.71 c 613s| 16800 | 5659 | 3532k| 209.5 | 64M| 83 | - |2466 |5140 | 0 | 0 |1145 | 20k|6568 | 7.800000e+01 | -- | Inf
614.17/614.32 c 614s| 16900 | 5683 | 3542k| 208.9 | 64M| 83 | - |2466 |5187 | 0 | 0 |1145 | 20k|6572 | 7.800000e+01 | -- | Inf
616.28/616.49 c 616s| 17000 | 5725 | 3562k| 208.8 | 65M| 83 | 622 |2466 |5190 |2466 |2947 |1145 | 20k|6573 | 7.800000e+01 | -- | Inf
618.19/618.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
618.19/618.37 c 618s| 17100 | 5758 | 3577k| 208.5 | 65M| 83 | 512 |2466 |5166 |2466 |2947 |1145 | 20k|6573 | 7.800000e+01 | -- | Inf
619.97/620.18 c 620s| 17200 | 5770 | 3591k| 208.1 | 65M| 83 | 620 |2466 |5154 |2466 |2947 |1145 | 20k|6574 | 7.800000e+01 | -- | Inf
622.48/622.62 c 623s| 17300 | 5814 | 3606k| 207.7 | 65M| 83 | 295 |2466 |5168 |2466 |2947 |1145 | 21k|6586 | 7.800000e+01 | -- | Inf
623.47/623.64 c 624s| 17400 | 5825 | 3614k| 207.0 | 66M| 83 | 549 |2466 |5353 |2466 |2947 |1145 | 21k|6586 | 7.800000e+01 | -- | Inf
624.67/624.86 c 625s| 17500 | 5844 | 3622k| 206.3 | 66M| 83 | 920 |2466 |5511 |2466 |2947 |1145 | 21k|6586 | 7.800000e+01 | -- | Inf
627.18/627.32 c 627s| 17600 | 5873 | 3639k| 206.1 | 66M| 83 | - |2466 |5400 |2466 |2947 |1145 | 21k|6590 | 7.800000e+01 | -- | Inf
629.37/629.57 c 630s| 17700 | 5918 | 3655k| 205.8 | 66M| 83 | 464 |2466 |5268 |2466 |2947 |1145 | 21k|6590 | 7.800000e+01 | -- | Inf
631.57/631.71 c 632s| 17800 | 5950 | 3673k| 205.7 | 66M| 83 | - |2466 |5234 |2466 |2947 |1145 | 21k|6590 | 7.800000e+01 | -- | Inf
634.38/634.57 c 635s| 17900 | 5983 | 3698k| 205.9 | 67M| 83 | 468 |2466 |5321 |2466 |2947 |1145 | 22k|6594 | 7.800000e+01 | -- | Inf
636.88/637.09 c 637s| 18000 | 6024 | 3721k| 206.1 | 67M| 83 | 811 |2466 |5383 |2466 |2947 |1145 | 22k|6595 | 7.800000e+01 | -- | Inf
638.78/638.97 c 639s| 18100 | 6063 | 3735k| 205.7 | 67M| 83 | - |2466 |5378 | 0 | 0 |1145 | 22k|6606 | 7.800000e+01 | -- | Inf
641.37/641.55 c 642s| 18200 | 6077 | 3755k| 205.6 | 67M| 83 |1195 |2466 |5382 |2466 |2947 |1145 | 22k|6619 | 7.800000e+01 | -- | Inf
644.37/644.54 c 645s| 18300 | 6118 | 3777k| 205.7 | 67M| 83 | 269 |2466 |5321 |2466 |2947 |1145 | 22k|6627 | 7.800000e+01 | -- | Inf
646.97/647.14 c 647s| 18400 | 6143 | 3798k| 205.7 | 67M| 83 | 687 |2466 |5253 |2466 |2947 |1145 | 22k|6629 | 7.800000e+01 | -- | Inf
649.17/649.39 c 649s| 18500 | 6176 | 3816k| 205.6 | 68M| 83 | - |2466 |5296 |2466 |2947 |1145 | 22k|6639 | 7.800000e+01 | -- | Inf
651.77/651.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
651.77/651.90 c 652s| 18600 | 6225 | 3834k| 205.5 | 68M| 83 | - |2466 |5278 | 0 | 0 |1145 | 22k|6652 | 7.800000e+01 | -- | Inf
653.57/653.75 c 654s| 18700 | 6284 | 3845k| 205.0 | 68M| 83 | 580 |2466 |5400 |2466 |2947 |1145 | 23k|6652 | 7.800000e+01 | -- | Inf
655.27/655.44 c 655s| 18800 | 6307 | 3857k| 204.5 | 69M| 83 |1113 |2466 |5503 |2466 |2947 |1145 | 23k|6652 | 7.800000e+01 | -- | Inf
659.57/659.73 c 660s| 18900 | 6353 | 3881k| 204.7 | 69M| 83 | - |2466 |5507 |2466 |2947 |1145 | 23k|6707 | 7.800000e+01 | -- | Inf
663.17/663.40 c 663s| 19000 | 6380 | 3902k| 204.7 | 69M| 83 | 568 |2466 |5642 |2466 |2947 |1145 | 23k|6745 | 7.800000e+01 | -- | Inf
665.57/665.77 c 666s| 19100 | 6430 | 3920k| 204.6 | 70M| 83 | 393 |2466 |5584 |2466 |2947 |1145 | 23k|6745 | 7.800000e+01 | -- | Inf
669.46/669.61 c 670s| 19200 | 6481 | 3940k| 204.6 | 70M| 83 | 444 |2466 |5710 |2466 |2947 |1145 | 23k|6778 | 7.800000e+01 | -- | Inf
672.97/673.11 c 673s| 19300 | 6532 | 3958k| 204.5 | 71M| 83 | 491 |2466 |5754 |2466 |2947 |1145 | 23k|6835 | 7.800000e+01 | -- | Inf
676.87/677.02 c 677s| 19400 | 6570 | 3979k| 204.5 | 71M| 83 | 853 |2466 |5778 |2466 |2947 |1145 | 24k|6889 | 7.800000e+01 | -- | Inf
680.66/680.87 c 681s| 19500 | 6602 | 4003k| 204.7 | 71M| 83 | - |2466 |5753 |2466 |2947 |1145 | 24k|6930 | 7.800000e+01 | -- | Inf
688.57/688.76 c 689s| 19600 | 6664 | 4045k| 205.7 | 71M| 83 |1162 |2466 |5675 |2466 |2947 |1145 | 24k|7036 | 7.800000e+01 | -- | Inf
691.16/691.37 c 691s| 19700 | 6700 | 4065k| 205.7 | 72M| 83 | 676 |2466 |5690 |2466 |2947 |1145 | 24k|7050 | 7.800000e+01 | -- | Inf
693.17/693.35 c 693s| 19800 | 6725 | 4078k| 205.4 | 72M| 83 | 306 |2466 |5671 |2466 |2947 |1145 | 24k|7060 | 7.800000e+01 | -- | Inf
698.47/698.67 c 699s| 19900 | 6767 | 4107k| 205.8 | 72M| 83 |1077 |2466 |5819 |2466 |2947 |1145 | 25k|7120 | 7.800000e+01 | -- | Inf
701.36/701.51 c 702s| 20000 | 6789 | 4121k| 205.4 | 73M| 83 | 364 |2466 |5741 |2466 |2947 |1145 | 25k|7156 | 7.800000e+01 | -- | Inf
705.16/705.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
705.16/705.33 c 705s| 20100 | 6815 | 4137k| 205.2 | 73M| 83 | 409 |2466 |5662 |2466 |2947 |1145 | 25k|7238 | 7.800000e+01 | -- | Inf
708.56/708.75 c 709s| 20200 | 6856 | 4157k| 205.2 | 73M| 83 | 850 |2466 |5539 |2466 |2947 |1145 | 25k|7248 | 7.800000e+01 | -- | Inf
712.86/713.03 c 713s| 20300 | 6886 | 4178k| 205.2 | 73M| 83 | - |2466 |5471 | 0 | 0 |1145 | 25k|7283 | 7.800000e+01 | -- | Inf
716.36/716.54 c 717s| 20400 | 6931 | 4195k| 205.1 | 73M| 83 | 575 |2466 |5328 |2466 |2947 |1145 | 25k|7338 | 7.800000e+01 | -- | Inf
719.76/719.95 c 720s| 20500 | 6966 | 4214k| 205.0 | 73M| 83 | 355 |2466 |5291 |2466 |2947 |1145 | 25k|7368 | 7.800000e+01 | -- | Inf
724.95/725.13 c 725s| 20600 | 7014 | 4245k| 205.5 | 73M| 83 | - |2466 |5210 |2466 |2947 |1145 | 25k|7394 | 7.800000e+01 | -- | Inf
728.96/729.10 c 729s| 20700 | 7063 | 4266k| 205.5 | 74M| 83 | 405 |2466 |5256 |2466 |2947 |1145 | 26k|7437 | 7.800000e+01 | -- | Inf
731.05/731.22 c 731s| 20800 | 7093 | 4274k| 204.9 | 74M| 83 | 571 |2466 |5269 |2466 |2947 |1145 | 26k|7462 | 7.800000e+01 | -- | Inf
732.26/732.46 c 732s| 20900 | 7108 | 4278k| 204.1 | 74M| 83 | 369 |2466 |5403 |2466 |2947 |1145 | 26k|7475 | 7.800000e+01 | -- | Inf
735.45/735.62 c 736s| 21000 | 7141 | 4292k| 203.8 | 75M| 83 | 341 |2466 |5384 |2466 |2947 |1145 | 26k|7533 | 7.800000e+01 | -- | Inf
738.45/738.61 c 739s| 21100 | 7187 | 4304k| 203.4 | 75M| 83 | 239 |2466 |5396 |2466 |2947 |1145 | 26k|7617 | 7.800000e+01 | -- | Inf
742.85/743.03 c 743s| 21200 | 7207 | 4332k| 203.8 | 75M| 83 | - |2466 |5462 |2466 |2947 |1145 | 26k|7683 | 7.800000e+01 | -- | Inf
745.15/745.37 c 745s| 21300 | 7205 | 4346k| 203.5 | 75M| 83 | 736 |2466 |5565 |2466 |2947 |1145 | 26k|7734 | 7.800000e+01 | -- | Inf
748.55/748.72 c 749s| 21400 | 7251 | 4362k| 203.3 | 75M| 83 | - |2466 |5489 | 0 | 0 |1145 | 27k|7766 | 7.800000e+01 | -- | Inf
751.45/751.64 c 752s| 21500 | 7287 | 4380k| 203.2 | 75M| 83 | - |2466 |5420 |2466 |2947 |1145 | 27k|7809 | 7.800000e+01 | -- | Inf
755.75/755.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
755.75/755.95 c 756s| 21600 | 7334 | 4407k| 203.5 | 75M| 83 | - |2466 |5241 | 0 | 0 |1145 | 27k|7846 | 7.800000e+01 | -- | Inf
758.55/758.76 c 759s| 21700 | 7372 | 4424k| 203.3 | 76M| 83 | 317 |2466 |5177 |2466 |2947 |1145 | 27k|7865 | 7.800000e+01 | -- | Inf
761.05/761.26 c 761s| 21800 | 7425 | 4438k| 203.0 | 76M| 83 | 819 |2466 |4996 |2466 |2947 |1145 | 27k|7888 | 7.800000e+01 | -- | Inf
763.35/763.59 c 764s| 21900 | 7446 | 4448k| 202.6 | 76M| 83 | 566 |2466 |5064 |2466 |2947 |1145 | 27k|7926 | 7.800000e+01 | -- | Inf
766.55/766.76 c 767s| 22000 | 7461 | 4466k| 202.4 | 76M| 83 | 340 |2466 |5200 |2466 |2947 |1145 | 27k|7991 | 7.800000e+01 | -- | Inf
780.95/781.10 c 781s| 22100 | 7486 | 4532k| 204.5 | 76M| 83 | 652 |2466 |5160 |2466 |2947 |1145 | 28k|8129 | 7.800000e+01 | -- | Inf
785.04/785.27 c 785s| 22200 | 7519 | 4554k| 204.6 | 76M| 83 | - |2466 |5151 | 0 | 0 |1145 | 28k|8185 | 7.800000e+01 | -- | Inf
786.94/787.11 c 787s| 22300 | 7538 | 4567k| 204.3 | 77M| 83 |1234 |2466 |5099 |2466 |2947 |1145 | 28k|8191 | 7.800000e+01 | -- | Inf
789.64/789.87 c 790s| 22400 | 7569 | 4584k| 204.1 | 77M| 83 |1145 |2466 |5119 |2466 |2947 |1145 | 28k|8224 | 7.800000e+01 | -- | Inf
793.05/793.25 c 793s| 22500 | 7609 | 4597k| 203.8 | 77M| 83 | - |2466 |5070 |2466 |2947 |1145 | 28k|8275 | 7.800000e+01 | -- | Inf
796.04/796.20 c 796s| 22600 | 7658 | 4622k| 204.0 | 77M| 83 | 744 |2466 |5022 |2466 |2947 |1145 | 28k|8275 | 7.800000e+01 | -- | Inf
798.94/799.11 c 799s| 22700 | 7704 | 4637k| 203.7 | 77M| 83 | 706 |2466 |5048 |2466 |2947 |1145 | 28k|8304 | 7.800000e+01 | -- | Inf
802.14/802.31 c 802s| 22800 | 7755 | 4654k| 203.6 | 78M| 83 | - |2466 |5127 | 0 | 0 |1145 | 28k|8377 | 7.800000e+01 | -- | Inf
806.14/806.33 c 806s| 22900 | 7783 | 4673k| 203.6 | 78M| 83 | - |2466 |5169 |2466 |2947 |1145 | 29k|8458 | 7.800000e+01 | -- | Inf
810.83/811.01 c 811s| 23000 | 7828 | 4695k| 203.6 | 79M| 83 | 534 |2466 |5218 |2466 |2947 |1145 | 29k|8499 | 7.800000e+01 | -- | Inf
813.64/813.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
813.64/813.81 c 814s| 23100 | 7864 | 4704k| 203.1 | 79M| 83 | 437 |2466 |5283 |2466 |2947 |1145 | 29k|8548 | 7.800000e+01 | -- | Inf
816.83/817.03 c 817s| 23200 | 7905 | 4717k| 202.8 | 79M| 83 | 717 |2466 |5184 |2466 |2947 |1145 | 29k|8586 | 7.800000e+01 | -- | Inf
820.94/821.10 c 821s| 23300 | 7961 | 4746k| 203.2 | 79M| 83 |1011 |2466 |5155 |2466 |2947 |1145 | 29k|8622 | 7.800000e+01 | -- | Inf
822.93/823.16 c 823s| 23400 | 7989 | 4759k| 202.9 | 80M| 83 | 384 |2466 |5218 |2466 |2947 |1145 | 29k|8638 | 7.800000e+01 | -- | Inf
829.73/829.92 c 830s| 23500 | 8002 | 4786k| 203.2 | 80M| 83 | 391 |2466 |5393 |2466 |2947 |1145 | 29k|8719 | 7.800000e+01 | -- | Inf
832.24/832.47 c 832s| 23600 | 8047 | 4806k| 203.1 | 80M| 83 | - |2466 |5387 | 0 | 0 |1145 | 30k|8731 | 7.800000e+01 | -- | Inf
837.04/837.25 c 837s| 23700 | 8077 | 4830k| 203.3 | 80M| 83 | - |2466 |5346 |2466 |2947 |1145 | 30k|8794 | 7.800000e+01 | -- | Inf
842.03/842.22 c 842s| 23800 | 8127 | 4866k| 204.0 | 81M| 83 | - |2466 |5224 |2466 |2947 |1145 | 30k|8806 | 7.800000e+01 | -- | Inf
845.53/845.75 c 846s| 23900 | 8167 | 4882k| 203.8 | 81M| 83 | 330 |2466 |5196 |2466 |2947 |1145 | 30k|8844 | 7.800000e+01 | -- | Inf
848.53/848.71 c 849s| 24000 | 8204 | 4901k| 203.7 | 81M| 83 | - |2466 |5144 | 0 | 0 |1145 | 30k|8873 | 7.800000e+01 | -- | Inf
852.13/852.34 c 852s| 24100 | 8249 | 4926k| 203.9 | 81M| 83 |1001 |2466 |5100 |2466 |2947 |1145 | 30k|8911 | 7.800000e+01 | -- | Inf
855.33/855.56 c 856s| 24200 | 8290 | 4947k| 203.9 | 81M| 83 | - |2466 |5081 |2466 |2947 |1145 | 30k|8926 | 7.800000e+01 | -- | Inf
860.14/860.36 c 860s| 24300 | 8318 | 4973k| 204.2 | 81M| 83 |1013 |2466 |5058 |2466 |2947 |1145 | 30k|8958 | 7.800000e+01 | -- | Inf
863.93/864.14 c 864s| 24400 | 8367 | 5000k| 204.4 | 82M| 83 | - |2466 |5055 | 0 | 0 |1145 | 31k|8978 | 7.800000e+01 | -- | Inf
866.93/867.14 c 867s| 24500 | 8397 | 5018k| 204.3 | 81M| 83 | - |2466 |4973 |2466 |2947 |1145 | 31k|8994 | 7.800000e+01 | -- | Inf
870.63/870.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.63/870.82 c 871s| 24600 | 8429 | 5039k| 204.4 | 82M| 83 | - |2466 |4973 |2466 |2947 |1145 | 31k|9058 | 7.800000e+01 | -- | Inf
878.73/878.98 c 879s| 24700 | 8479 | 5086k| 205.4 | 82M| 83 | 762 |2466 |5398 |2466 |2947 |1145 | 31k|9120 | 7.800000e+01 | -- | Inf
882.92/883.17 c 883s| 24800 | 8496 | 5104k| 205.3 | 82M| 83 | 740 |2466 |5331 |2466 |2947 |1145 | 32k|9199 | 7.800000e+01 | -- | Inf
886.13/886.36 c 886s| 24900 | 8539 | 5122k| 205.2 | 82M| 83 | - |2466 |5336 | 0 | 0 |1145 | 32k|9243 | 7.800000e+01 | -- | Inf
889.63/889.88 c 890s| 25000 | 8582 | 5137k| 205.0 | 82M| 83 | - |2466 |5282 | 0 | 0 |1145 | 32k|9290 | 7.800000e+01 | -- | Inf
892.13/892.37 c 892s| 25100 | 8615 | 5151k| 204.8 | 83M| 83 | - |2466 |5235 | 0 | 0 |1145 | 32k|9304 | 7.800000e+01 | -- | Inf
896.22/896.41 c 896s| 25200 | 8657 | 5175k| 204.9 | 83M| 83 | 993 |2466 |5155 |2466 |2947 |1145 | 32k|9355 | 7.800000e+01 | -- | Inf
901.32/901.54 c 902s| 25300 | 8702 | 5205k| 205.2 | 83M| 83 | 460 |2466 |5040 |2466 |2947 |1145 | 32k|9403 | 7.800000e+01 | -- | Inf
904.82/905.04 c 905s| 25400 | 8738 | 5226k| 205.3 | 83M| 83 | 750 |2466 |5077 |2466 |2947 |1145 | 32k|9440 | 7.800000e+01 | -- | Inf
908.62/908.85 c 909s| 25500 | 8766 | 5245k| 205.2 | 83M| 83 | 858 |2466 |5015 |2466 |2947 |1145 | 32k|9472 | 7.800000e+01 | -- | Inf
912.62/912.82 c 913s| 25600 | 8800 | 5274k| 205.6 | 84M| 83 | 692 |2466 |5010 |2466 |2947 |1145 | 32k|9495 | 7.800000e+01 | -- | Inf
918.02/918.22 c 918s| 25700 | 8825 | 5303k| 205.9 | 84M| 83 | - |2466 |4857 | 0 | 0 |1145 | 33k|9534 | 7.800000e+01 | -- | Inf
920.72/920.97 c 921s| 25800 | 8869 | 5314k| 205.5 | 84M| 83 | 293 |2466 |4856 |2466 |2947 |1145 | 33k|9571 | 7.800000e+01 | -- | Inf
923.61/923.84 c 924s| 25900 | 8920 | 5332k| 205.4 | 84M| 83 | 599 |2466 |4864 |2466 |2947 |1145 | 33k|9592 | 7.800000e+01 | -- | Inf
927.52/927.79 c 928s| 26000 | 8950 | 5352k| 205.4 | 84M| 83 | 580 |2466 |4869 |2466 |2947 |1145 | 33k|9645 | 7.800000e+01 | -- | Inf
931.62/931.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
931.62/931.87 c 932s| 26100 | 9014 | 5376k| 205.5 | 84M| 83 | 297 |2466 |4900 |2466 |2947 |1145 | 33k|9678 | 7.800000e+01 | -- | Inf
934.32/934.58 c 935s| 26200 | 9022 | 5396k| 205.5 | 84M| 83 | - |2466 |4880 |2466 |2947 |1145 | 33k|9693 | 7.800000e+01 | -- | Inf
938.12/938.38 c 938s| 26300 | 9021 | 5416k| 205.5 | 84M| 83 | 544 |2466 |4880 |2466 |2947 |1145 | 33k|9756 | 7.800000e+01 | -- | Inf
941.62/941.81 c 942s| 26400 | 9043 | 5432k| 205.3 | 84M| 83 | 609 |2466 |4923 |2466 |2947 |1145 | 33k|9801 | 7.800000e+01 | -- | Inf
947.42/947.61 c 948s| 26500 | 9108 | 5458k| 205.5 | 85M| 83 | 792 |2466 |4958 |2466 |2947 |1145 | 34k|9851 | 7.800000e+01 | -- | Inf
952.01/952.26 c 952s| 26600 | 9173 | 5496k| 206.2 | 85M| 83 | - |2466 |4968 |2466 |2947 |1145 | 34k|9861 | 7.800000e+01 | -- | Inf
955.72/955.99 c 956s| 26700 | 9225 | 5516k| 206.2 | 85M| 83 | - |2466 |4980 | 0 | 0 |1145 | 34k|9901 | 7.800000e+01 | -- | Inf
959.51/959.73 c 960s| 26800 | 9253 | 5537k| 206.1 | 85M| 83 | - |2466 |4997 | 0 | 0 |1145 | 34k|9930 | 7.800000e+01 | -- | Inf
962.22/962.48 c 962s| 26900 | 9272 | 5550k| 205.9 | 86M| 83 | 665 |2466 |5042 |2466 |2947 |1145 | 34k|9971 | 7.800000e+01 | -- | Inf
965.91/966.15 c 966s| 27000 | 9293 | 5571k| 205.9 | 86M| 83 | 683 |2466 |5077 |2466 |2947 |1145 | 34k| 10k| 7.800000e+01 | -- | Inf
969.61/969.84 c 970s| 27100 | 9338 | 5591k| 205.9 | 86M| 83 | - |2466 |5133 | 0 | 0 |1145 | 34k| 10k| 7.800000e+01 | -- | Inf
975.21/975.48 c 975s| 27200 | 9383 | 5621k| 206.2 | 86M| 83 | 831 |2466 |5089 |2466 |2947 |1145 | 35k| 10k| 7.800000e+01 | -- | Inf
978.41/978.66 c 979s| 27300 | 9407 | 5636k| 206.0 | 86M| 83 | - |2466 |5088 |2466 |2947 |1145 | 35k| 10k| 7.800000e+01 | -- | Inf
981.61/981.83 c 982s| 27400 | 9442 | 5656k| 206.0 | 86M| 83 | 814 |2466 |5059 |2466 |2947 |1145 | 35k| 10k| 7.800000e+01 | -- | Inf
984.81/985.08 c 985s| 27500 | 9474 | 5676k| 206.0 | 86M| 83 | 860 |2466 |5091 |2466 |2947 |1145 | 35k| 10k| 7.800000e+01 | -- | Inf
987.72/987.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
987.72/987.95 c 988s| 27600 | 9508 | 5687k| 205.6 | 87M| 83 | 464 |2466 |5108 |2466 |2947 |1145 | 35k| 10k| 7.800000e+01 | -- | Inf
989.71/989.96 c 990s| 27700 | 9543 | 5702k| 205.4 | 87M| 83 | - |2466 |5113 |2466 |2947 |1145 | 35k| 10k| 7.800000e+01 | -- | Inf
992.20/992.41 c 992s| 27800 | 9595 | 5716k| 205.2 | 87M| 83 | 834 |2466 |5124 |2466 |2947 |1145 | 35k| 10k| 7.800000e+01 | -- | Inf
996.60/996.81 c 997s| 27900 | 9640 | 5737k| 205.2 | 87M| 83 | 785 |2466 |5144 |2466 |2947 |1145 | 35k| 10k| 7.800000e+01 | -- | Inf
998.41/998.63 c 999s| 28000 | 9675 | 5750k| 204.9 | 87M| 83 | 519 |2466 |5126 |2466 |2947 |1145 | 35k| 10k| 7.800000e+01 | -- | Inf
1001.41/1001.67 c 1002s| 28100 | 9720 | 5762k| 204.6 | 87M| 83 | 826 |2466 |5193 |2466 |2947 |1145 | 36k| 10k| 7.800000e+01 | -- | Inf
1008.80/1009.08 c 1009s| 28200 | 9722 | 5819k| 205.9 | 87M| 83 | 818 |2466 |5378 |2466 |2947 |1145 | 36k| 10k| 7.800000e+01 | -- | Inf
1011.11/1011.34 c 1011s| 28300 | 9761 | 5835k| 205.7 | 87M| 83 | - |2466 |5403 |2466 |2947 |1145 | 36k| 10k| 7.800000e+01 | -- | Inf
1014.12/1014.34 c 1014s| 28400 | 9798 | 5855k| 205.7 | 87M| 83 | - |2466 |5372 |2466 |2947 |1145 | 36k| 10k| 7.800000e+01 | -- | Inf
1016.10/1016.37 c 1016s| 28500 | 9832 | 5865k| 205.4 | 88M| 83 | - |2466 |5371 | 0 | 0 |1145 | 36k| 10k| 7.800000e+01 | -- | Inf
1018.31/1018.58 c 1019s| 28600 | 9865 | 5879k| 205.1 | 88M| 83 | 886 |2466 |5474 |2466 |2947 |1145 | 37k| 10k| 7.800000e+01 | -- | Inf
1021.10/1021.38 c 1021s| 28700 | 9922 | 5899k| 205.1 | 88M| 83 | 308 |2466 |5482 |2466 |2947 |1145 | 37k| 10k| 7.800000e+01 | -- | Inf
1025.30/1025.53 c 1026s| 28800 | 9984 | 5923k| 205.2 | 88M| 83 | 389 |2466 |5431 |2466 |2947 |1145 | 37k| 10k| 7.800000e+01 | -- | Inf
1027.10/1027.38 c 1027s| 28900 | 10036 | 5933k| 204.9 | 89M| 83 | 280 |2466 |5409 |2466 |2947 |1145 | 37k| 10k| 7.800000e+01 | -- | Inf
1030.00/1030.28 c 1030s| 29000 | 10084 | 5950k| 204.8 | 89M| 83 | 695 |2466 |5363 |2466 |2947 |1145 | 37k| 10k| 7.800000e+01 | -- | Inf
1032.00/1032.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1032.00/1032.28 c 1032s| 29100 | 10099 | 5963k| 204.5 | 89M| 83 | - |2466 |5402 |2466 |2947 |1145 | 37k| 10k| 7.800000e+01 | -- | Inf
1034.40/1034.60 c 1035s| 29200 | 10157 | 5979k| 204.3 | 89M| 83 | 250 |2466 |5409 |2466 |2947 |1145 | 37k| 10k| 7.800000e+01 | -- | Inf
1035.90/1036.13 c 1036s| 29300 | 10184 | 5989k| 204.0 | 89M| 83 | - |2466 |5510 | 0 | 0 |1145 | 37k| 10k| 7.800000e+01 | -- | Inf
1037.70/1037.93 c 1038s| 29400 | 10198 | 6002k| 203.7 | 89M| 83 | - |2466 |5456 |2466 |2947 |1145 | 38k| 10k| 7.800000e+01 | -- | Inf
1039.80/1040.03 c 1040s| 29500 | 10248 | 6017k| 203.5 | 90M| 83 | 551 |2466 |5483 |2466 |2947 |1145 | 38k| 10k| 7.800000e+01 | -- | Inf
1042.30/1042.58 c 1043s| 29600 | 10303 | 6036k| 203.5 | 90M| 83 | 304 |2466 |5440 |2466 |2947 |1145 | 38k| 10k| 7.800000e+01 | -- | Inf
1044.10/1044.30 c 1044s| 29700 | 10326 | 6048k| 203.2 | 90M| 83 | 831 |2466 |5495 |2466 |2947 |1145 | 38k| 10k| 7.800000e+01 | -- | Inf
1045.80/1046.09 c 1046s| 29800 | 10351 | 6060k| 203.0 | 90M| 83 | 725 |2466 |5481 |2466 |2947 |1145 | 38k| 10k| 7.800000e+01 | -- | Inf
1048.20/1048.42 c 1048s| 29900 | 10381 | 6080k| 202.9 | 91M| 83 | 774 |2466 |5428 |2466 |2947 |1145 | 38k| 10k| 7.800000e+01 | -- | Inf
1049.60/1049.83 c 1050s| 30000 | 10419 | 6090k| 202.6 | 91M| 83 | 696 |2466 |5426 |2466 |2947 |1145 | 38k| 10k| 7.800000e+01 | -- | Inf
1051.60/1051.84 c 1052s| 30100 | 10449 | 6108k| 202.5 | 91M| 83 | - |2466 |5452 | 0 | 0 |1145 | 38k| 10k| 7.800000e+01 | -- | Inf
1063.61/1063.89 c 1064s| 30200 | 10482 | 6150k| 203.2 | 92M| 83 | 769 |2466 |6055 |2466 |2947 |1145 | 39k| 10k| 7.800000e+01 | -- | Inf
1065.49/1065.72 c 1066s| 30300 | 10500 | 6165k| 203.1 | 92M| 83 | - |2466 |6077 |2466 |2947 |1145 | 39k| 10k| 7.800000e+01 | -- | Inf
1067.70/1067.95 c 1068s| 30400 | 10535 | 6179k| 202.9 | 92M| 83 | 319 |2466 |6088 |2466 |2947 |1145 | 40k| 10k| 7.800000e+01 | -- | Inf
1070.20/1070.47 c 1070s| 30500 | 10572 | 6199k| 202.9 | 92M| 83 | 389 |2466 |6049 |2466 |2947 |1145 | 40k| 10k| 7.800000e+01 | -- | Inf
1072.50/1072.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1072.50/1072.79 c 1073s| 30600 | 10621 | 6217k| 202.8 | 92M| 83 | 461 |2466 |6117 |2466 |2947 |1145 | 40k| 10k| 7.800000e+01 | -- | Inf
1074.30/1074.54 c 1075s| 30700 | 10665 | 6229k| 202.5 | 93M| 83 | 400 |2466 |6112 |2466 |2947 |1145 | 40k| 10k| 7.800000e+01 | -- | Inf
1076.19/1076.49 c 1076s| 30800 | 10701 | 6242k| 202.3 | 93M| 83 | - |2466 |6175 | 0 | 0 |1145 | 40k| 10k| 7.800000e+01 | -- | Inf
1078.30/1078.50 c 1079s| 30900 | 10720 | 6256k| 202.1 | 94M| 83 | - |2466 |6119 | 0 | 0 |1145 | 40k| 10k| 7.800000e+01 | -- | Inf
1079.89/1080.16 c 1080s| 31000 | 10757 | 6267k| 201.8 | 94M| 83 | 535 |2466 |6073 |2466 |2947 |1145 | 40k| 10k| 7.800000e+01 | -- | Inf
1082.30/1082.52 c 1083s| 31100 | 10796 | 6286k| 201.7 | 94M| 83 | 642 |2466 |6060 |2466 |2947 |1145 | 40k| 10k| 7.800000e+01 | -- | Inf
1084.40/1084.65 c 1085s| 31200 | 10832 | 6302k| 201.6 | 94M| 83 | 357 |2466 |5959 |2466 |2947 |1145 | 41k| 10k| 7.800000e+01 | -- | Inf
1087.80/1088.00 c 1088s| 31300 | 10873 | 6328k| 201.8 | 94M| 83 | - |2466 |5952 |2466 |2947 |1145 | 41k| 10k| 7.800000e+01 | -- | Inf
1094.19/1094.48 c 1094s| 31400 | 10925 | 6362k| 202.2 | 95M| 83 | 325 |2466 |5888 |2466 |2947 |1145 | 41k| 10k| 7.800000e+01 | -- | Inf
1097.60/1097.89 c 1098s| 31500 | 10971 | 6390k| 202.5 | 95M| 83 | - |2466 |5772 |2466 |2947 |1145 | 41k| 10k| 7.800000e+01 | -- | Inf
1100.09/1100.31 c 1100s| 31600 | 11013 | 6410k| 202.5 | 95M| 83 | 947 |2466 |5685 |2466 |2947 |1145 | 41k| 10k| 7.800000e+01 | -- | Inf
1102.59/1102.85 c 1103s| 31700 | 11038 | 6430k| 202.5 | 95M| 83 | - |2466 |5593 | 0 | 0 |1145 | 41k| 10k| 7.800000e+01 | -- | Inf
1104.29/1104.52 c 1105s| 31800 | 11078 | 6442k| 202.2 | 95M| 83 | 717 |2466 |5585 |2466 |2947 |1145 | 41k| 10k| 7.800000e+01 | -- | Inf
1106.09/1106.32 c 1106s| 31900 | 11088 | 6455k| 202.0 | 95M| 83 | 663 |2466 |5678 |2466 |2947 |1145 | 41k| 10k| 7.800000e+01 | -- | Inf
1108.29/1108.54 c 1109s| 32000 | 11139 | 6468k| 201.7 | 95M| 83 | 586 |2466 |5681 |2466 |2947 |1145 | 42k| 10k| 7.800000e+01 | -- | Inf
1109.89/1110.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1109.89/1110.14 c 1110s| 32100 | 11167 | 6479k| 201.5 | 96M| 83 | 220 |2466 |5723 |2466 |2947 |1145 | 42k| 10k| 7.800000e+01 | -- | Inf
1111.39/1111.68 c 1112s| 32200 | 11188 | 6491k| 201.2 | 96M| 83 | 448 |2466 |5927 |2466 |2947 |1145 | 42k| 10k| 7.800000e+01 | -- | Inf
1114.39/1114.60 c 1115s| 32300 | 11203 | 6510k| 201.2 | 96M| 83 | 598 |2466 |5966 |2466 |2947 |1145 | 42k| 10k| 7.800000e+01 | -- | Inf
1117.19/1117.48 c 1117s| 32400 | 11275 | 6534k| 201.3 | 96M| 83 | 515 |2466 |5988 |2466 |2947 |1145 | 42k| 10k| 7.800000e+01 | -- | Inf
1119.29/1119.58 c 1120s| 32500 | 11340 | 6548k| 201.1 | 96M| 83 | 507 |2466 |6083 |2466 |2947 |1145 | 42k| 10k| 7.800000e+01 | -- | Inf
1120.98/1121.29 c 1121s| 32600 | 11376 | 6559k| 200.8 | 97M| 83 | 476 |2466 |6146 |2466 |2947 |1145 | 42k| 10k| 7.800000e+01 | -- | Inf
1122.79/1123.03 c 1123s| 32700 | 11407 | 6568k| 200.5 | 97M| 83 | - |2466 |6224 |2466 |2947 |1145 | 42k| 10k| 7.800000e+01 | -- | Inf
1124.99/1125.25 c 1125s| 32800 | 11474 | 6584k| 200.4 | 97M| 83 | 506 |2466 |6205 |2466 |2947 |1145 | 43k| 10k| 7.800000e+01 | -- | Inf
1127.49/1127.70 c 1128s| 32900 | 11555 | 6602k| 200.3 | 98M| 83 | 409 |2466 |6315 |2466 |2947 |1145 | 43k| 10k| 7.800000e+01 | -- | Inf
1129.89/1130.19 c 1130s| 33000 | 11601 | 6619k| 200.2 | 98M| 83 | - |2466 |6352 |2466 |2947 |1145 | 43k| 10k| 7.800000e+01 | -- | Inf
1132.59/1132.85 c 1133s| 33100 | 11650 | 6641k| 200.3 | 98M| 83 | 504 |2466 |6205 |2466 |2947 |1145 | 43k| 10k| 7.800000e+01 | -- | Inf
1142.69/1142.97 c 1143s| 33200 | 11687 | 6716k| 201.9 | 98M| 83 | - |2466 |6303 |2466 |2947 |1145 | 43k| 10k| 7.800000e+01 | -- | Inf
1145.19/1145.45 c 1145s| 33300 | 11722 | 6733k| 201.8 | 99M| 83 | - |2466 |6254 | 0 | 0 |1145 | 44k| 10k| 7.800000e+01 | -- | Inf
1146.99/1147.27 c 1147s| 33400 | 11730 | 6745k| 201.6 | 99M| 83 | 326 |2466 |6203 |2466 |2947 |1145 | 44k| 10k| 7.800000e+01 | -- | Inf
1148.59/1148.82 c 1149s| 33500 | 11747 | 6756k| 201.3 | 99M| 83 | 383 |2466 |6241 |2466 |2947 |1145 | 44k| 10k| 7.800000e+01 | -- | Inf
1151.09/1151.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1151.09/1151.36 c 1151s| 33600 | 11789 | 6774k| 201.3 | 99M| 83 | 983 |2466 |6138 |2466 |2947 |1145 | 44k| 10k| 7.800000e+01 | -- | Inf
1154.18/1154.40 c 1154s| 33700 | 11847 | 6798k| 201.4 | 99M| 83 | 400 |2466 |6051 |2466 |2947 |1145 | 44k| 10k| 7.800000e+01 | -- | Inf
1156.99/1157.23 c 1157s| 33800 | 11889 | 6815k| 201.3 | 99M| 83 | - |2466 |6040 |2466 |2947 |1145 | 44k| 10k| 7.800000e+01 | -- | Inf
1159.58/1159.81 c 1160s| 33900 | 11906 | 6827k| 201.0 | 100M| 83 | - |2466 |6008 |2466 |2947 |1145 | 44k| 10k| 7.800000e+01 | -- | Inf
1162.59/1162.84 c 1163s| 34000 | 11955 | 6847k| 201.0 | 100M| 83 | - |2466 |5982 | 0 | 0 |1145 | 44k| 10k| 7.800000e+01 | -- | Inf
1165.89/1166.12 c 1166s| 34100 | 11994 | 6866k| 201.0 | 100M| 83 | 769 |2466 |5993 |2466 |2947 |1145 | 45k| 10k| 7.800000e+01 | -- | Inf
1170.18/1170.49 c 1170s| 34200 | 12037 | 6891k| 201.2 | 100M| 83 | 528 |2466 |5928 |2466 |2947 |1145 | 45k| 10k| 7.800000e+01 | -- | Inf
1174.18/1174.41 c 1174s| 34300 | 12069 | 6913k| 201.2 | 100M| 83 | 689 |2466 |5889 |2466 |2947 |1145 | 45k| 10k| 7.800000e+01 | -- | Inf
1177.68/1177.94 c 1178s| 34400 | 12113 | 6934k| 201.2 | 101M| 83 | 629 |2466 |5873 |2466 |2947 |1145 | 45k| 10k| 7.800000e+01 | -- | Inf
1181.58/1181.86 c 1182s| 34500 | 12147 | 6958k| 201.3 | 101M| 83 | 781 |2466 |5843 |2466 |2947 |1145 | 45k| 10k| 7.800000e+01 | -- | Inf
1185.18/1185.41 c 1185s| 34600 | 12188 | 6982k| 201.5 | 101M| 83 | 449 |2466 |5833 |2466 |2947 |1145 | 45k| 10k| 7.800000e+01 | -- | Inf
1187.28/1187.59 c 1188s| 34700 | 12216 | 6994k| 201.2 | 101M| 83 | 504 |2466 |5861 |2466 |2947 |1145 | 45k| 10k| 7.800000e+01 | -- | Inf
1190.58/1190.84 c 1191s| 34800 | 12247 | 7010k| 201.1 | 101M| 83 | - |2466 |5844 |2466 |2947 |1145 | 46k| 11k| 7.800000e+01 | -- | Inf
1193.57/1193.84 c 1194s| 34900 | 12270 | 7026k| 201.0 | 101M| 83 | 968 |2466 |5793 |2466 |2947 |1145 | 46k| 11k| 7.800000e+01 | -- | Inf
1195.68/1195.95 c 1196s| 35000 | 12286 | 7037k| 200.7 | 102M| 83 | 563 |2466 |5844 |2466 |2947 |1145 | 46k| 11k| 7.800000e+01 | -- | Inf
1198.57/1198.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1198.57/1198.81 c 1199s| 35100 | 12304 | 7052k| 200.6 | 102M| 83 | 281 |2466 |5900 |2466 |2947 |1145 | 46k| 11k| 7.800000e+01 | -- | Inf
1200.77/1201.07 c 1201s| 35200 | 12349 | 7064k| 200.3 | 102M| 83 | 571 |2466 |5947 |2466 |2947 |1145 | 46k| 11k| 7.800000e+01 | -- | Inf
1203.88/1204.13 c 1204s| 35300 | 12369 | 7075k| 200.1 | 103M| 83 | - |2466 |6026 |2466 |2947 |1145 | 46k| 11k| 7.800000e+01 | -- | Inf
1208.07/1208.39 c 1208s| 35400 | 12403 | 7098k| 200.2 | 103M| 83 | 468 |2466 |6013 |2466 |2947 |1145 | 46k| 11k| 7.800000e+01 | -- | Inf
1211.88/1212.12 c 1212s| 35500 | 12437 | 7120k| 200.2 | 103M| 83 | 805 |2466 |6042 |2466 |2947 |1145 | 47k| 11k| 7.800000e+01 | -- | Inf
1213.88/1214.17 c 1214s| 35600 | 12469 | 7129k| 199.9 | 103M| 83 | 403 |2466 |6053 |2466 |2947 |1145 | 47k| 11k| 7.800000e+01 | -- | Inf
1216.48/1216.74 c 1217s| 35700 | 12508 | 7145k| 199.8 | 103M| 83 | 403 |2466 |6065 |2466 |2947 |1145 | 47k| 11k| 7.800000e+01 | -- | Inf
1219.27/1219.51 c 1220s| 35800 | 12545 | 7163k| 199.7 | 104M| 83 | 543 |2466 |6003 |2466 |2947 |1145 | 47k| 11k| 7.800000e+01 | -- | Inf
1223.97/1224.24 c 1224s| 35900 | 12558 | 7197k| 200.1 | 104M| 83 | - |2466 |6001 |2466 |2947 |1145 | 47k| 11k| 7.800000e+01 | -- | Inf
1226.98/1227.29 c 1227s| 36000 | 12586 | 7213k| 200.0 | 104M| 83 | 846 |2466 |6082 |2466 |2947 |1145 | 47k| 11k| 7.800000e+01 | -- | Inf
1230.27/1230.55 c 1231s| 36100 | 12599 | 7228k| 199.9 | 104M| 83 | 589 |2466 |6043 |2466 |2947 |1145 | 47k| 11k| 7.800000e+01 | -- | Inf
1233.78/1234.04 c 1234s| 36200 | 12614 | 7247k| 199.9 | 104M| 83 | - |2466 |5992 |2466 |2947 |1145 | 48k| 11k| 7.800000e+01 | -- | Inf
1235.97/1236.25 c 1236s| 36300 | 12646 | 7262k| 199.7 | 104M| 83 | 464 |2466 |6024 |2466 |2947 |1145 | 48k| 11k| 7.800000e+01 | -- | Inf
1239.07/1239.36 c 1239s| 36400 | 12668 | 7279k| 199.6 | 105M| 83 | 838 |2466 |6055 |2466 |2947 |1145 | 48k| 11k| 7.800000e+01 | -- | Inf
1242.17/1242.44 c 1242s| 36500 | 12691 | 7296k| 199.6 | 105M| 83 | 493 |2466 |6045 |2466 |2947 |1145 | 48k| 11k| 7.800000e+01 | -- | Inf
1244.58/1244.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1244.58/1244.83 c 1245s| 36600 | 12711 | 7310k| 199.4 | 105M| 83 | 879 |2466 |6126 |2466 |2947 |1145 | 48k| 11k| 7.800000e+01 | -- | Inf
1247.87/1248.18 c 1248s| 36700 | 12756 | 7326k| 199.3 | 105M| 83 | - |2466 |6064 |2466 |2947 |1145 | 48k| 11k| 7.800000e+01 | -- | Inf
1250.87/1251.13 c 1251s| 36800 | 12782 | 7347k| 199.3 | 105M| 83 | - |2466 |6086 |2466 |2947 |1145 | 48k| 11k| 7.800000e+01 | -- | Inf
1254.67/1254.91 c 1255s| 36900 | 12814 | 7367k| 199.3 | 105M| 83 | 907 |2466 |5974 |2466 |2947 |1145 | 49k| 11k| 7.800000e+01 | -- | Inf
1257.26/1257.53 c 1258s| 37000 | 12851 | 7381k| 199.2 | 105M| 83 | 402 |2466 |5911 |2466 |2947 |1145 | 49k| 11k| 7.800000e+01 | -- | Inf
1260.77/1261.01 c 1261s| 37100 | 12865 | 7398k| 199.1 | 105M| 83 |1003 |2466 |6046 |2466 |2947 |1145 | 49k| 11k| 7.800000e+01 | -- | Inf
1263.07/1263.34 c 1263s| 37200 | 12879 | 7411k| 198.9 | 105M| 83 | - |2466 |6138 |2466 |2947 |1145 | 49k| 11k| 7.800000e+01 | -- | Inf
1265.97/1266.27 c 1266s| 37300 | 12922 | 7429k| 198.8 | 106M| 83 | 742 |2466 |6118 |2466 |2947 |1145 | 49k| 11k| 7.800000e+01 | -- | Inf
1269.57/1269.81 c 1270s| 37400 | 12947 | 7446k| 198.8 | 106M| 83 | - |2466 |6007 |2466 |2947 |1145 | 49k| 11k| 7.800000e+01 | -- | Inf
1272.37/1272.67 c 1273s| 37500 | 12986 | 7463k| 198.7 | 106M| 83 | 422 |2466 |5899 |2466 |2947 |1145 | 50k| 12k| 7.800000e+01 | -- | Inf
1275.17/1275.40 c 1275s| 37600 | 13010 | 7478k| 198.6 | 106M| 83 | - |2466 |5855 |2466 |2947 |1145 | 50k| 12k| 7.800000e+01 | -- | Inf
1278.27/1278.58 c 1279s| 37700 | 13021 | 7496k| 198.5 | 106M| 83 | 202 |2466 |5847 |2466 |2947 |1145 | 50k| 12k| 7.800000e+01 | -- | Inf
1281.87/1282.19 c 1282s| 37800 | 13044 | 7515k| 198.5 | 107M| 83 | - |2466 |5803 |2466 |2947 |1145 | 50k| 12k| 7.800000e+01 | -- | Inf
1286.87/1287.11 c 1287s| 37900 | 13081 | 7531k| 198.4 | 107M| 83 | 855 |2466 |5828 |2466 |2947 |1145 | 50k| 12k| 7.800000e+01 | -- | Inf
1289.07/1289.35 c 1289s| 38000 | 13114 | 7548k| 198.3 | 107M| 83 | 532 |2466 |5817 |2466 |2947 |1145 | 50k| 12k| 7.800000e+01 | -- | Inf
1292.86/1293.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1292.86/1293.15 c 1293s| 38100 | 13160 | 7575k| 198.5 | 107M| 83 | 562 |2466 |5919 |2466 |2947 |1145 | 50k| 12k| 7.800000e+01 | -- | Inf
1295.16/1295.46 c 1295s| 38200 | 13191 | 7589k| 198.3 | 107M| 83 | 767 |2466 |5927 |2466 |2947 |1145 | 51k| 12k| 7.800000e+01 | -- | Inf
1298.97/1299.26 c 1299s| 38300 | 13214 | 7602k| 198.2 | 107M| 83 | 539 |2466 |5876 |2466 |2947 |1145 | 51k| 12k| 7.800000e+01 | -- | Inf
1301.66/1301.97 c 1302s| 38400 | 13273 | 7620k| 198.1 | 108M| 83 | 834 |2466 |5940 |2466 |2947 |1145 | 51k| 12k| 7.800000e+01 | -- | Inf
1304.37/1304.70 c 1305s| 38500 | 13309 | 7631k| 197.9 | 108M| 83 | 446 |2466 |5964 |2466 |2947 |1145 | 51k| 12k| 7.800000e+01 | -- | Inf
1306.96/1307.24 c 1307s| 38600 | 13343 | 7644k| 197.7 | 108M| 83 | - |2466 |6046 |2466 |2947 |1145 | 51k| 12k| 7.800000e+01 | -- | Inf
1310.56/1310.89 c 1311s| 38700 | 13398 | 7670k| 197.9 | 108M| 83 | 496 |2466 |6042 |2466 |2947 |1145 | 51k| 12k| 7.800000e+01 | -- | Inf
1313.56/1313.89 c 1314s| 38800 | 13412 | 7688k| 197.8 | 109M| 83 | 670 |2466 |6087 |2466 |2947 |1145 | 51k| 12k| 7.800000e+01 | -- | Inf
1316.76/1317.00 c 1317s| 38900 | 13432 | 7707k| 197.8 | 109M| 83 | 657 |2466 |6208 |2466 |2947 |1145 | 52k| 12k| 7.800000e+01 | -- | Inf
1318.56/1318.85 c 1319s| 39000 | 13484 | 7716k| 197.5 | 109M| 83 | - |2466 |6097 |2466 |2947 |1145 | 52k| 12k| 7.800000e+01 | -- | Inf
1321.26/1321.59 c 1322s| 39100 | 13514 | 7726k| 197.3 | 109M| 83 | 709 |2466 |6083 |2466 |2947 |1145 | 52k| 12k| 7.800000e+01 | -- | Inf
1323.35/1323.68 c 1324s| 39200 | 13538 | 7734k| 197.0 | 109M| 83 | - |2466 |6064 |2466 |2947 |1145 | 52k| 12k| 7.800000e+01 | -- | Inf
1325.66/1325.98 c 1326s| 39300 | 13553 | 7744k| 196.8 | 109M| 83 | 433 |2466 |6146 |2466 |2947 |1145 | 52k| 12k| 7.800000e+01 | -- | Inf
1327.96/1328.28 c 1328s| 39400 | 13570 | 7758k| 196.6 | 110M| 83 | 697 |2466 |6281 |2466 |2947 |1145 | 52k| 12k| 7.800000e+01 | -- | Inf
1332.46/1332.70 c 1333s| 39500 | 13607 | 7780k| 196.7 | 110M| 83 | 309 |2466 |6238 |2466 |2947 |1145 | 52k| 12k| 7.800000e+01 | -- | Inf
1334.46/1334.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1334.46/1334.74 c 1335s| 39600 | 13641 | 7793k| 196.5 | 110M| 83 | 424 |2466 |6214 |2466 |2947 |1145 | 53k| 12k| 7.800000e+01 | -- | Inf
1337.46/1337.71 c 1338s| 39700 | 13659 | 7809k| 196.4 | 110M| 83 | 484 |2466 |6079 |2466 |2947 |1145 | 53k| 12k| 7.800000e+01 | -- | Inf
1340.85/1341.18 c 1341s| 39800 | 13689 | 7830k| 196.4 | 110M| 83 | - |2466 |6021 | 0 | 0 |1145 | 53k| 12k| 7.800000e+01 | -- | Inf
1346.86/1347.19 c 1347s| 39900 | 13713 | 7890k| 197.5 | 111M| 83 | 787 |2466 |6122 |2466 |2947 |1145 | 53k| 12k| 7.800000e+01 | -- | Inf
1350.16/1350.41 c 1350s| 40000 | 13754 | 7911k| 197.5 | 111M| 83 | 809 |2466 |6021 |2466 |2947 |1145 | 53k| 12k| 7.800000e+01 | -- | Inf
1351.95/1352.25 c 1352s| 40100 | 13770 | 7920k| 197.2 | 111M| 83 | 364 |2466 |5984 |2466 |2947 |1145 | 53k| 12k| 7.800000e+01 | -- | Inf
1355.95/1356.22 c 1356s| 40200 | 13807 | 7942k| 197.3 | 111M| 83 | - |2466 |5909 | 0 | 0 |1145 | 53k| 12k| 7.800000e+01 | -- | Inf
1358.75/1359.00 c 1359s| 40300 | 13818 | 7958k| 197.2 | 111M| 83 | 432 |2466 |5844 |2466 |2947 |1145 | 54k| 12k| 7.800000e+01 | -- | Inf
1364.45/1364.70 c 1365s| 40400 | 13847 | 7983k| 197.3 | 111M| 83 | - |2466 |5956 |2466 |2947 |1145 | 54k| 12k| 7.800000e+01 | -- | Inf
1366.75/1367.00 c 1367s| 40500 | 13874 | 7996k| 197.1 | 111M| 83 | 967 |2466 |6020 |2466 |2947 |1145 | 54k| 12k| 7.800000e+01 | -- | Inf
1370.55/1370.88 c 1371s| 40600 | 13915 | 8015k| 197.1 | 111M| 83 | 468 |2466 |5968 |2466 |2947 |1145 | 54k| 13k| 7.800000e+01 | -- | Inf
1372.75/1373.02 c 1373s| 40700 | 13931 | 8028k| 197.0 | 112M| 83 | - |2466 |5994 | 0 | 0 |1145 | 54k| 13k| 7.800000e+01 | -- | Inf
1374.86/1375.17 c 1375s| 40800 | 13957 | 8039k| 196.7 | 112M| 83 | 608 |2466 |5969 |2466 |2947 |1145 | 54k| 13k| 7.800000e+01 | -- | Inf
1378.05/1378.32 c 1378s| 40900 | 13984 | 8053k| 196.6 | 112M| 83 | - |2466 |5909 | 0 | 0 |1145 | 54k| 13k| 7.800000e+01 | -- | Inf
1381.46/1381.78 c 1382s| 41000 | 14008 | 8076k| 196.7 | 112M| 83 | 599 |2466 |5947 |2466 |2947 |1145 | 55k| 13k| 7.800000e+01 | -- | Inf
1384.45/1384.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1384.45/1384.77 c 1385s| 41100 | 14024 | 8093k| 196.6 | 112M| 83 | 523 |2466 |6024 |2466 |2947 |1145 | 55k| 13k| 7.800000e+01 | -- | Inf
1386.74/1387.08 c 1387s| 41200 | 14030 | 8103k| 196.4 | 112M| 83 | - |2466 |6094 |2466 |2947 |1145 | 55k| 13k| 7.800000e+01 | -- | Inf
1390.15/1390.50 c 1390s| 41300 | 14064 | 8119k| 196.3 | 112M| 83 | - |2466 |6072 |2466 |2947 |1145 | 55k| 13k| 7.800000e+01 | -- | Inf
1395.25/1395.52 c 1396s| 41400 | 14095 | 8143k| 196.4 | 113M| 83 | - |2466 |6067 |2466 |2947 |1145 | 55k| 13k| 7.800000e+01 | -- | Inf
1399.65/1399.91 c 1400s| 41500 | 14141 | 8174k| 196.7 | 113M| 83 | 378 |2466 |6180 |2466 |2947 |1145 | 55k| 13k| 7.800000e+01 | -- | Inf
1402.05/1402.30 c 1402s| 41600 | 14186 | 8187k| 196.5 | 113M| 83 | 338 |2466 |6115 |2466 |2947 |1145 | 56k| 13k| 7.800000e+01 | -- | Inf
1404.04/1404.35 c 1404s| 41700 | 14201 | 8197k| 196.3 | 113M| 83 | - |2466 |6059 |2466 |2947 |1145 | 56k| 13k| 7.800000e+01 | -- | Inf
1407.65/1408.00 c 1408s| 41800 | 14213 | 8208k| 196.1 | 113M| 83 | 944 |2466 |6033 |2466 |2947 |1145 | 56k| 13k| 7.800000e+01 | -- | Inf
1409.45/1409.73 c 1410s| 41900 | 14238 | 8220k| 195.9 | 113M| 83 | 701 |2466 |6050 |2466 |2947 |1145 | 56k| 13k| 7.800000e+01 | -- | Inf
1411.84/1412.19 c 1412s| 42000 | 14278 | 8236k| 195.8 | 113M| 83 | 456 |2466 |6010 |2466 |2947 |1145 | 56k| 13k| 7.800000e+01 | -- | Inf
1414.35/1414.62 c 1415s| 42100 | 14304 | 8248k| 195.6 | 114M| 83 |1039 |2466 |6111 |2466 |2947 |1145 | 56k| 13k| 7.800000e+01 | -- | Inf
1417.04/1417.38 c 1417s| 42200 | 14342 | 8269k| 195.7 | 114M| 83 | 433 |2466 |6150 |2466 |2947 |1145 | 56k| 13k| 7.800000e+01 | -- | Inf
1420.55/1420.83 c 1421s| 42300 | 14403 | 8287k| 195.6 | 114M| 83 | 457 |2466 |6180 |2466 |2947 |1145 | 56k| 13k| 7.800000e+01 | -- | Inf
1425.14/1425.45 c 1425s| 42400 | 14469 | 8314k| 195.8 | 115M| 83 | 448 |2466 |6222 |2466 |2947 |1145 | 57k| 13k| 7.800000e+01 | -- | Inf
1428.14/1428.47 c 1428s| 42500 | 14482 | 8329k| 195.7 | 115M| 83 | - |2466 |6187 | 0 | 0 |1145 | 57k| 13k| 7.800000e+01 | -- | Inf
1430.85/1431.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.85/1431.11 c 1431s| 42600 | 14492 | 8343k| 195.6 | 115M| 83 | - |2466 |6182 |2466 |2947 |1145 | 57k| 13k| 7.800000e+01 | -- | Inf
1432.75/1433.04 c 1433s| 42700 | 14507 | 8354k| 195.4 | 115M| 83 | 666 |2466 |6182 |2466 |2947 |1145 | 57k| 13k| 7.800000e+01 | -- | Inf
1436.94/1437.26 c 1437s| 42800 | 14538 | 8379k| 195.5 | 115M| 83 | 606 |2466 |6128 |2466 |2947 |1145 | 57k| 13k| 7.800000e+01 | -- | Inf
1440.34/1440.66 c 1441s| 42900 | 14567 | 8400k| 195.5 | 115M| 83 | 483 |2466 |6131 |2466 |2947 |1145 | 57k| 13k| 7.800000e+01 | -- | Inf
1443.74/1444.02 c 1444s| 43000 | 14588 | 8416k| 195.4 | 115M| 83 | - |2466 |6180 |2466 |2947 |1145 | 58k| 13k| 7.800000e+01 | -- | Inf
1447.14/1447.40 c 1447s| 43100 | 14626 | 8432k| 195.4 | 115M| 83 | 557 |2466 |6143 |2466 |2947 |1145 | 58k| 13k| 7.800000e+01 | -- | Inf
1450.54/1450.82 c 1451s| 43200 | 14684 | 8451k| 195.4 | 116M| 83 | - |2466 |6131 |2466 |2947 |1145 | 58k| 13k| 7.800000e+01 | -- | Inf
1453.94/1454.22 c 1454s| 43300 | 14703 | 8466k| 195.2 | 116M| 83 | 785 |2466 |6162 |2466 |2947 |1145 | 58k| 13k| 7.800000e+01 | -- | Inf
1455.44/1455.79 c 1456s| 43400 | 14710 | 8476k| 195.0 | 116M| 83 | 539 |2466 |6214 |2466 |2947 |1145 | 58k| 13k| 7.800000e+01 | -- | Inf
1457.93/1458.21 c 1458s| 43500 | 14725 | 8491k| 194.9 | 116M| 83 | 721 |2466 |6252 |2466 |2947 |1145 | 58k| 13k| 7.800000e+01 | -- | Inf
1460.14/1460.41 c 1460s| 43600 | 14742 | 8502k| 194.7 | 116M| 83 | 516 |2466 |6156 |2466 |2947 |1145 | 58k| 13k| 7.800000e+01 | -- | Inf
1463.73/1464.09 c 1464s| 43700 | 14772 | 8521k| 194.7 | 116M| 83 | - |2466 |6135 | 0 | 0 |1145 | 58k| 13k| 7.800000e+01 | -- | Inf
1465.84/1466.13 c 1466s| 43800 | 14789 | 8536k| 194.6 | 116M| 83 | 810 |2466 |6132 |2466 |2947 |1145 | 59k| 13k| 7.800000e+01 | -- | Inf
1467.74/1468.02 c 1468s| 43900 | 14819 | 8549k| 194.5 | 117M| 83 | 565 |2466 |6099 |2466 |2947 |1145 | 59k| 13k| 7.800000e+01 | -- | Inf
1469.53/1469.86 c 1470s| 44000 | 14833 | 8559k| 194.2 | 117M| 83 | 301 |2466 |6044 |2466 |2947 |1145 | 59k| 14k| 7.800000e+01 | -- | Inf
1471.55/1471.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1471.55/1471.87 c 1472s| 44100 | 14862 | 8573k| 194.1 | 117M| 83 | 603 |2466 |6007 |2466 |2947 |1145 | 59k| 14k| 7.800000e+01 | -- | Inf
1473.13/1473.41 c 1473s| 44200 | 14887 | 8584k| 193.9 | 117M| 83 | 399 |2466 |5974 |2466 |2947 |1145 | 59k| 14k| 7.800000e+01 | -- | Inf
1477.44/1477.74 c 1478s| 44300 | 14950 | 8606k| 194.0 | 118M| 83 | - |2466 |5920 |2466 |2947 |1145 | 59k| 14k| 7.800000e+01 | -- | Inf
1478.44/1478.72 c 1479s| 44400 | 14965 | 8612k| 193.7 | 118M| 85 | 145 |2466 |6071 |2466 |2947 |1145 | 59k| 14k| 7.800000e+01 | -- | Inf
1480.04/1480.33 c 1480s| 44500 | 14966 | 8625k| 193.6 | 118M| 86 | - |2466 |6253 | 0 | 0 |1145 | 60k| 14k| 7.800000e+01 | -- | Inf
1482.44/1482.78 c 1483s| 44600 | 15000 | 8645k| 193.6 | 118M| 86 | - |2466 |6172 |2466 |2947 |1145 | 60k| 14k| 7.800000e+01 | -- | Inf
1485.34/1485.61 c 1486s| 44700 | 15022 | 8661k| 193.5 | 118M| 86 | 913 |2466 |6086 |2466 |2947 |1145 | 60k| 14k| 7.800000e+01 | -- | Inf
1487.73/1488.04 c 1488s| 44800 | 15039 | 8680k| 193.5 | 118M| 86 |1016 |2466 |6098 |2466 |2947 |1145 | 60k| 14k| 7.800000e+01 | -- | Inf
1491.13/1491.40 c 1491s| 44900 | 15071 | 8706k| 193.6 | 119M| 86 | - |2466 |6110 | 0 | 0 |1145 | 60k| 14k| 7.800000e+01 | -- | Inf
1493.13/1493.44 c 1493s| 45000 | 15106 | 8721k| 193.5 | 119M| 86 | 356 |2466 |6046 |2466 |2947 |1145 | 60k| 14k| 7.800000e+01 | -- | Inf
1495.63/1496.00 c 1496s| 45100 | 15148 | 8742k| 193.6 | 119M| 86 | 302 |2466 |6029 |2466 |2947 |1145 | 61k| 14k| 7.800000e+01 | -- | Inf
1500.03/1500.30 c 1500s| 45200 | 15171 | 8753k| 193.4 | 119M| 86 | 441 |2466 |5984 |2466 |2947 |1145 | 61k| 14k| 7.800000e+01 | -- | Inf
1501.73/1502.04 c 1502s| 45300 | 15189 | 8764k| 193.2 | 120M| 86 | - |2466 |5968 | 0 | 0 |1145 | 61k| 14k| 7.800000e+01 | -- | Inf
1504.13/1504.46 c 1504s| 45400 | 15210 | 8784k| 193.2 | 120M| 86 | - |2466 |6008 |2466 |2947 |1145 | 61k| 14k| 7.800000e+01 | -- | Inf
1505.93/1506.28 c 1506s| 45500 | 15251 | 8796k| 193.1 | 120M| 86 | 365 |2466 |5996 |2466 |2947 |1145 | 61k| 14k| 7.800000e+01 | -- | Inf
1508.53/1508.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1508.53/1508.88 c 1509s| 45600 | 15267 | 8818k| 193.1 | 120M| 86 |1069 |2466 |5938 |2466 |2947 |1145 | 61k| 14k| 7.800000e+01 | -- | Inf
1510.93/1511.27 c 1511s| 45700 | 15296 | 8835k| 193.1 | 120M| 86 | - |2466 |6047 |2466 |2947 |1145 | 62k| 14k| 7.800000e+01 | -- | Inf
1514.83/1515.10 c 1515s| 45800 | 15310 | 8847k| 192.9 | 121M| 86 |1189 |2466 |6031 |2466 |2947 |1145 | 62k| 14k| 7.800000e+01 | -- | Inf
1520.53/1520.86 c 1521s| 45900 | 15335 | 8870k| 193.0 | 121M| 86 | 664 |2466 |5965 |2466 |2947 |1145 | 62k| 14k| 7.800000e+01 | -- | Inf
1522.63/1522.96 c 1523s| 46000 | 15371 | 8889k| 193.0 | 121M| 86 | 567 |2466 |5957 |2466 |2947 |1145 | 62k| 14k| 7.800000e+01 | -- | Inf
1524.13/1524.40 c 1524s| 46100 | 15392 | 8899k| 192.8 | 121M| 86 | - |2466 |6082 | 0 | 0 |1145 | 62k| 14k| 7.800000e+01 | -- | Inf
1526.33/1526.65 c 1527s| 46200 | 15414 | 8916k| 192.7 | 121M| 86 | 870 |2466 |6027 |2466 |2947 |1145 | 62k| 14k| 7.800000e+01 | -- | Inf
1529.83/1530.18 c 1530s| 46300 | 15445 | 8947k| 193.0 | 122M| 86 | 366 |2466 |6028 |2466 |2947 |1145 | 62k| 14k| 7.800000e+01 | -- | Inf
1531.52/1531.81 c 1532s| 46400 | 15467 | 8959k| 192.8 | 122M| 86 | 606 |2466 |6056 |2466 |2947 |1145 | 63k| 14k| 7.800000e+01 | -- | Inf
1535.73/1536.06 c 1536s| 46500 | 15508 | 8987k| 193.0 | 122M| 86 | 769 |2466 |6389 |2466 |2947 |1145 | 63k| 14k| 7.800000e+01 | -- | Inf
1537.42/1537.76 c 1538s| 46600 | 15536 | 9000k| 192.9 | 123M| 86 | 358 |2466 |6380 |2466 |2947 |1145 | 63k| 14k| 7.800000e+01 | -- | Inf
1539.43/1539.71 c 1540s| 46700 | 15562 | 9017k| 192.8 | 123M| 86 | 567 |2466 |6359 |2466 |2947 |1145 | 63k| 14k| 7.800000e+01 | -- | Inf
1541.13/1541.41 c 1541s| 46800 | 15570 | 9028k| 192.6 | 123M| 86 | 509 |2466 |6423 |2466 |2947 |1145 | 64k| 14k| 7.800000e+01 | -- | Inf
1542.73/1543.03 c 1543s| 46900 | 15588 | 9041k| 192.5 | 123M| 86 | 938 |2466 |6447 |2466 |2947 |1145 | 64k| 14k| 7.800000e+01 | -- | Inf
1544.23/1544.59 c 1545s| 47000 | 15612 | 9051k| 192.3 | 123M| 86 | 731 |2466 |6502 |2466 |2947 |1145 | 64k| 14k| 7.800000e+01 | -- | Inf
1545.93/1546.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1545.93/1546.26 c 1546s| 47100 | 15657 | 9064k| 192.2 | 124M| 86 | 461 |2466 |6527 |2466 |2947 |1145 | 64k| 14k| 7.800000e+01 | -- | Inf
1547.43/1547.73 c 1548s| 47200 | 15687 | 9074k| 192.0 | 124M| 86 | 277 |2466 |6627 |2466 |2947 |1145 | 64k| 14k| 7.800000e+01 | -- | Inf
1548.92/1549.24 c 1549s| 47300 | 15693 | 9084k| 191.8 | 124M| 86 | 412 |2466 |6764 |2466 |2947 |1145 | 64k| 14k| 7.800000e+01 | -- | Inf
1550.62/1550.90 c 1551s| 47400 | 15710 | 9096k| 191.7 | 125M| 86 | - |2466 |6682 |2466 |2947 |1145 | 64k| 14k| 7.800000e+01 | -- | Inf
1552.73/1553.02 c 1553s| 47500 | 15753 | 9113k| 191.6 | 125M| 86 | - |2466 |6670 | 0 | 0 |1145 | 65k| 14k| 7.800000e+01 | -- | Inf
1554.42/1554.78 c 1555s| 47600 | 15766 | 9128k| 191.5 | 125M| 86 | 487 |2466 |6600 |2466 |2947 |1145 | 65k| 14k| 7.800000e+01 | -- | Inf
1556.33/1556.64 c 1557s| 47700 | 15794 | 9143k| 191.4 | 125M| 86 | - |2466 |6535 |2466 |2947 |1145 | 65k| 14k| 7.800000e+01 | -- | Inf
1562.43/1562.74 c 1563s| 47800 | 15812 | 9210k| 192.4 | 125M| 86 |1364 |2466 |6488 |2466 |2947 |1145 | 65k| 14k| 7.800000e+01 | -- | Inf
1564.92/1565.30 c 1565s| 47900 | 15837 | 9228k| 192.4 | 125M| 86 | - |2466 |6520 |2466 |2947 |1145 | 65k| 14k| 7.800000e+01 | -- | Inf
1567.33/1567.63 c 1568s| 48000 | 15855 | 9247k| 192.4 | 125M| 86 | 620 |2466 |6383 |2466 |2947 |1145 | 65k| 14k| 7.800000e+01 | -- | Inf
1568.92/1569.28 c 1569s| 48100 | 15866 | 9258k| 192.2 | 126M| 86 | 435 |2466 |6361 |2466 |2947 |1145 | 66k| 14k| 7.800000e+01 | -- | Inf
1571.22/1571.59 c 1572s| 48200 | 15884 | 9273k| 192.1 | 126M| 86 | - |2466 |6260 |2466 |2947 |1145 | 66k| 14k| 7.800000e+01 | -- | Inf
1573.62/1573.96 c 1574s| 48300 | 15938 | 9290k| 192.1 | 126M| 86 | 434 |2466 |6342 |2466 |2947 |1145 | 66k| 14k| 7.800000e+01 | -- | Inf
1575.63/1575.97 c 1576s| 48400 | 15987 | 9304k| 192.0 | 127M| 86 | 415 |2466 |6407 |2466 |2947 |1145 | 66k| 14k| 7.800000e+01 | -- | Inf
1577.72/1578.03 c 1578s| 48500 | 16026 | 9319k| 191.9 | 127M| 86 | 321 |2466 |6408 |2466 |2947 |1145 | 66k| 14k| 7.800000e+01 | -- | Inf
1580.22/1580.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1580.22/1580.50 c 1581s| 48600 | 16078 | 9338k| 191.9 | 127M| 86 | 292 |2466 |6372 |2466 |2947 |1145 | 66k| 14k| 7.800000e+01 | -- | Inf
1581.72/1582.05 c 1582s| 48700 | 16095 | 9350k| 191.7 | 127M| 86 | 211 |2466 |6362 |2466 |2947 |1145 | 66k| 14k| 7.800000e+01 | -- | Inf
1583.52/1583.88 c 1584s| 48800 | 16105 | 9366k| 191.7 | 127M| 86 | 821 |2466 |6334 |2466 |2947 |1145 | 66k| 14k| 7.800000e+01 | -- | Inf
1585.02/1585.33 c 1585s| 48900 | 16120 | 9374k| 191.5 | 127M| 86 | - |2466 |6309 |2466 |2947 |1145 | 67k| 14k| 7.800000e+01 | -- | Inf
1587.62/1587.99 c 1588s| 49000 | 16141 | 9394k| 191.5 | 127M| 86 | - |2466 |6226 | 0 | 0 |1145 | 67k| 14k| 7.800000e+01 | -- | Inf
1589.82/1590.16 c 1590s| 49100 | 16165 | 9409k| 191.4 | 128M| 86 | - |2466 |6210 | 0 | 0 |1145 | 67k| 14k| 7.800000e+01 | -- | Inf
1591.72/1592.09 c 1592s| 49200 | 16189 | 9424k| 191.3 | 128M| 86 | 944 |2466 |6124 |2466 |2947 |1145 | 67k| 14k| 7.800000e+01 | -- | Inf
1595.93/1596.27 c 1596s| 49300 | 16203 | 9462k| 191.7 | 128M| 86 | - |2466 |6172 |2466 |2947 |1145 | 67k| 14k| 7.800000e+01 | -- | Inf
1598.12/1598.40 c 1598s| 49400 | 16242 | 9479k| 191.6 | 128M| 86 | - |2466 |6123 |2466 |2947 |1145 | 67k| 14k| 7.800000e+01 | -- | Inf
1599.82/1600.12 c 1600s| 49500 | 16253 | 9493k| 191.5 | 128M| 86 | 981 |2466 |6181 |2466 |2947 |1145 | 68k| 14k| 7.800000e+01 | -- | Inf
1601.61/1601.99 c 1602s| 49600 | 16280 | 9505k| 191.4 | 128M| 86 | 364 |2466 |6201 |2466 |2947 |1145 | 68k| 14k| 7.800000e+01 | -- | Inf
1603.72/1604.09 c 1604s| 49700 | 16310 | 9522k| 191.3 | 129M| 86 | - |2466 |6250 |2466 |2947 |1145 | 68k| 14k| 7.800000e+01 | -- | Inf
1605.72/1606.03 c 1606s| 49800 | 16335 | 9537k| 191.3 | 129M| 86 | 361 |2466 |6345 |2466 |2947 |1145 | 68k| 14k| 7.800000e+01 | -- | Inf
1607.62/1607.90 c 1608s| 49900 | 16375 | 9552k| 191.2 | 129M| 86 | 333 |2466 |6298 |2466 |2947 |1145 | 68k| 14k| 7.800000e+01 | -- | Inf
1608.81/1609.17 c 1609s| 50000 | 16395 | 9562k| 191.0 | 130M| 86 | 312 |2466 |6332 |2466 |2947 |1145 | 68k| 14k| 7.800000e+01 | -- | Inf
1610.61/1610.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1610.61/1610.96 c 1611s| 50100 | 16418 | 9576k| 190.9 | 130M| 86 | - |2466 |6460 | 0 | 0 |1145 | 69k| 14k| 7.800000e+01 | -- | Inf
1611.91/1612.29 c 1612s| 50200 | 16427 | 9585k| 190.7 | 130M| 86 | - |2466 |6540 |2466 |2947 |1145 | 69k| 14k| 7.800000e+01 | -- | Inf
1613.42/1613.71 c 1614s| 50300 | 16424 | 9595k| 190.5 | 130M| 86 | 736 |2466 |6569 |2466 |2947 |1145 | 69k| 14k| 7.800000e+01 | -- | Inf
1614.62/1614.97 c 1615s| 50400 | 16428 | 9603k| 190.3 | 130M| 86 | 563 |2466 |6755 |2466 |2947 |1145 | 69k| 14k| 7.800000e+01 | -- | Inf
1616.41/1616.79 c 1617s| 50500 | 16449 | 9617k| 190.2 | 130M| 86 | 510 |2466 |6738 |2466 |2947 |1145 | 69k| 14k| 7.800000e+01 | -- | Inf
1618.21/1618.58 c 1619s| 50600 | 16458 | 9628k| 190.0 | 130M| 86 | 429 |2466 |6669 |2466 |2947 |1145 | 69k| 14k| 7.800000e+01 | -- | Inf
1620.12/1620.40 c 1620s| 50700 | 16470 | 9643k| 190.0 | 130M| 86 | - |2466 |6641 |2466 |2947 |1145 | 70k| 14k| 7.800000e+01 | -- | Inf
1622.01/1622.37 c 1622s| 50800 | 16496 | 9658k| 189.9 | 130M| 86 | - |2466 |6680 |2466 |2947 |1145 | 70k| 14k| 7.800000e+01 | -- | Inf
1623.51/1623.87 c 1624s| 50900 | 16506 | 9669k| 189.7 | 131M| 86 | - |2466 |6682 |2466 |2947 |1145 | 70k| 14k| 7.800000e+01 | -- | Inf
1625.41/1625.73 c 1626s| 51000 | 16508 | 9683k| 189.6 | 131M| 86 | 536 |2466 |6668 |2466 |2947 |1145 | 70k| 14k| 7.800000e+01 | -- | Inf
1626.72/1627.09 c 1627s| 51100 | 16525 | 9690k| 189.4 | 131M| 86 | 469 |2466 |6601 |2466 |2947 |1145 | 70k| 14k| 7.800000e+01 | -- | Inf
1628.21/1628.51 c 1629s| 51200 | 16555 | 9699k| 189.2 | 131M| 86 | 504 |2466 |6631 |2466 |2947 |1145 | 70k| 14k| 7.800000e+01 | -- | Inf
1630.51/1630.81 c 1631s| 51300 | 16592 | 9717k| 189.2 | 132M| 86 | - |2466 |6699 |2466 |2947 |1145 | 71k| 14k| 7.800000e+01 | -- | Inf
1632.22/1632.51 c 1633s| 51400 | 16615 | 9728k| 189.0 | 132M| 86 | 850 |2466 |6586 |2466 |2947 |1145 | 71k| 14k| 7.800000e+01 | -- | Inf
1633.91/1634.25 c 1634s| 51500 | 16645 | 9739k| 188.9 | 132M| 86 | 961 |2466 |6592 |2466 |2947 |1145 | 71k| 14k| 7.800000e+01 | -- | Inf
1636.41/1636.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1636.41/1636.76 c 1637s| 51600 | 16690 | 9759k| 188.9 | 132M| 86 | 455 |2466 |6562 |2466 |2947 |1145 | 71k| 14k| 7.800000e+01 | -- | Inf
1638.11/1638.41 c 1638s| 51700 | 16694 | 9771k| 188.8 | 132M| 86 | - |2466 |6485 | 0 | 0 |1145 | 71k| 14k| 7.800000e+01 | -- | Inf
1640.51/1640.86 c 1641s| 51800 | 16720 | 9783k| 188.6 | 132M| 86 | 740 |2466 |6541 |2466 |2947 |1145 | 71k| 14k| 7.800000e+01 | -- | Inf
1641.61/1641.99 c 1642s| 51900 | 16740 | 9788k| 188.4 | 133M| 86 | 356 |2466 |6726 |2466 |2947 |1145 | 71k| 14k| 7.800000e+01 | -- | Inf
1643.41/1643.73 c 1644s| 52000 | 16752 | 9796k| 188.2 | 133M| 86 | 406 |2466 |6917 |2466 |2947 |1145 | 72k| 14k| 7.800000e+01 | -- | Inf
1647.51/1647.85 c 1648s| 52100 | 16768 | 9809k| 188.0 | 133M| 86 | 379 |2466 |6892 |2466 |2947 |1145 | 72k| 14k| 7.800000e+01 | -- | Inf
1648.51/1648.87 c 1649s| 52200 | 16783 | 9813k| 187.8 | 133M| 86 | 626 |2466 |7014 |2466 |2947 |1145 | 72k| 14k| 7.800000e+01 | -- | Inf
1649.81/1650.15 c 1650s| 52300 | 16798 | 9819k| 187.5 | 134M| 86 | 418 |2466 |7075 |2466 |2947 |1145 | 72k| 14k| 7.800000e+01 | -- | Inf
1651.51/1651.80 c 1652s| 52400 | 16807 | 9827k| 187.3 | 134M| 86 | 408 |2466 |7084 |2466 |2947 |1145 | 72k| 14k| 7.800000e+01 | -- | Inf
1653.41/1653.70 c 1654s| 52500 | 16832 | 9834k| 187.1 | 134M| 86 | 480 |2466 |7130 |2466 |2947 |1145 | 72k| 14k| 7.800000e+01 | -- | Inf
1656.11/1656.41 c 1656s| 52600 | 16845 | 9844k| 186.9 | 134M| 86 | 439 |2466 |7042 |2466 |2947 |1145 | 72k| 14k| 7.800000e+01 | -- | Inf
1658.40/1658.77 c 1659s| 52700 | 16864 | 9855k| 186.8 | 134M| 86 | 592 |2466 |7110 |2466 |2947 |1145 | 73k| 14k| 7.800000e+01 | -- | Inf
1660.11/1660.41 c 1660s| 52800 | 16886 | 9866k| 186.6 | 135M| 86 | 591 |2466 |7012 |2466 |2947 |1145 | 73k| 14k| 7.800000e+01 | -- | Inf
1663.01/1663.36 c 1663s| 52900 | 16903 | 9884k| 186.6 | 135M| 86 | - |2466 |7000 |2466 |2947 |1145 | 73k| 14k| 7.800000e+01 | -- | Inf
1665.51/1665.86 c 1666s| 53000 | 16919 | 9899k| 186.5 | 135M| 86 | - |2466 |6964 |2466 |2947 |1145 | 73k| 14k| 7.800000e+01 | -- | Inf
1669.00/1669.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1669.00/1669.36 c 1669s| 53100 | 16954 | 9919k| 186.6 | 135M| 86 | 678 |2466 |6869 |2466 |2947 |1145 | 73k| 14k| 7.800000e+01 | -- | Inf
1671.41/1671.74 c 1672s| 53200 | 16984 | 9930k| 186.4 | 135M| 86 | 402 |2466 |6747 |2466 |2947 |1145 | 73k| 14k| 7.800000e+01 | -- | Inf
1673.91/1674.20 c 1674s| 53300 | 16995 | 9941k| 186.3 | 135M| 86 | 631 |2466 |6962 |2466 |2947 |1145 | 74k| 14k| 7.800000e+01 | -- | Inf
1677.11/1677.50 c 1677s| 53400 | 17013 | 9953k| 186.2 | 135M| 86 | 761 |2466 |7037 |2466 |2947 |1145 | 74k| 14k| 7.800000e+01 | -- | Inf
1680.10/1680.42 c 1680s| 53500 | 17023 | 9965k| 186.0 | 136M| 86 | 293 |2466 |7236 |2466 |2947 |1145 | 74k| 15k| 7.800000e+01 | -- | Inf
1682.61/1682.99 c 1683s| 53600 | 17038 | 9975k| 185.9 | 136M| 86 | - |2466 |7012 | 0 | 0 |1145 | 74k| 15k| 7.800000e+01 | -- | Inf
1686.11/1686.43 c 1686s| 53700 | 17058 | 9992k| 185.8 | 135M| 86 | 639 |2466 |6912 |2466 |2947 |1145 | 74k| 15k| 7.800000e+01 | -- | Inf
1689.00/1689.36 c 1689s| 53800 | 17087 | 10011k| 185.8 | 136M| 86 | 712 |2466 |6977 |2466 |2947 |1145 | 75k| 15k| 7.800000e+01 | -- | Inf
1691.39/1691.74 c 1692s| 53900 | 17106 | 10025k| 185.8 | 136M| 86 | - |2466 |7104 |2466 |2947 |1145 | 75k| 15k| 7.800000e+01 | -- | Inf
1693.09/1693.43 c 1693s| 54000 | 17128 | 10034k| 185.6 | 136M| 86 | - |2466 |7107 |2466 |2947 |1145 | 75k| 15k| 7.800000e+01 | -- | Inf
1695.10/1695.40 c 1695s| 54100 | 17147 | 10044k| 185.4 | 136M| 86 | 892 |2466 |7024 |2466 |2947 |1145 | 75k| 15k| 7.800000e+01 | -- | Inf
1699.19/1699.60 c 1700s| 54200 | 17183 | 10068k| 185.5 | 136M| 86 | 446 |2466 |7123 |2466 |2947 |1145 | 75k| 15k| 7.800000e+01 | -- | Inf
1702.49/1702.82 c 1703s| 54300 | 17222 | 10089k| 185.6 | 136M| 86 |1056 |2466 |6988 |2466 |2947 |1145 | 76k| 15k| 7.800000e+01 | -- | Inf
1705.89/1706.26 c 1706s| 54400 | 17255 | 10106k| 185.6 | 136M| 86 | 388 |2466 |6829 |2466 |2947 |1145 | 76k| 15k| 7.800000e+01 | -- | Inf
1709.28/1709.64 c 1710s| 54500 | 17296 | 10128k| 185.6 | 137M| 86 | 467 |2466 |6788 |2466 |2947 |1145 | 76k| 15k| 7.800000e+01 | -- | Inf
1711.18/1711.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1711.18/1711.50 c 1712s| 54600 | 17318 | 10136k| 185.4 | 137M| 86 | 425 |2466 |6818 |2466 |2947 |1145 | 76k| 15k| 7.800000e+01 | -- | Inf
1712.09/1712.46 c 1712s| 54700 | 17313 | 10140k| 185.2 | 137M| 86 | - |2466 |7038 |2466 |2947 |1145 | 76k| 15k| 7.800000e+01 | -- | Inf
1714.59/1714.91 c 1715s| 54800 | 17332 | 10153k| 185.1 | 137M| 86 | 789 |2466 |7032 |2466 |2947 |1145 | 76k| 15k| 7.800000e+01 | -- | Inf
1717.88/1718.30 c 1718s| 54900 | 17356 | 10169k| 185.0 | 137M| 86 | - |2466 |6947 | 0 | 0 |1145 | 77k| 15k| 7.800000e+01 | -- | Inf
1720.28/1720.68 c 1721s| 55000 | 17388 | 10186k| 185.0 | 137M| 86 | - |2466 |6849 |2466 |2947 |1145 | 77k| 15k| 7.800000e+01 | -- | Inf
1722.78/1723.18 c 1723s| 55100 | 17405 | 10198k| 184.9 | 138M| 86 | - |2466 |6730 |2466 |2947 |1145 | 77k| 15k| 7.800000e+01 | -- | Inf
1726.18/1726.53 c 1727s| 55200 | 17439 | 10216k| 184.9 | 138M| 86 |1109 |2466 |6716 |2466 |2947 |1145 | 77k| 15k| 7.800000e+01 | -- | Inf
1728.58/1728.91 c 1729s| 55300 | 17478 | 10233k| 184.8 | 138M| 86 | 706 |2466 |6638 |2466 |2947 |1145 | 77k| 15k| 7.800000e+01 | -- | Inf
1731.38/1731.70 c 1732s| 55400 | 17496 | 10249k| 184.8 | 138M| 86 | 414 |2466 |6680 |2466 |2947 |1145 | 77k| 15k| 7.800000e+01 | -- | Inf
1734.38/1734.71 c 1735s| 55500 | 17530 | 10262k| 184.7 | 138M| 86 | 513 |2466 |6778 |2466 |2947 |1145 | 77k| 15k| 7.800000e+01 | -- | Inf
1737.17/1737.57 c 1738s| 55600 | 17548 | 10279k| 184.7 | 139M| 86 | 321 |2466 |6806 |2466 |2947 |1145 | 78k| 15k| 7.800000e+01 | -- | Inf
1742.07/1742.42 c 1742s| 55700 | 17565 | 10309k| 184.9 | 139M| 86 | - |2466 |6779 |2466 |2947 |1145 | 78k| 15k| 7.800000e+01 | -- | Inf
1744.57/1744.95 c 1745s| 55800 | 17598 | 10325k| 184.8 | 139M| 86 | - |2466 |6725 | 0 | 0 |1145 | 78k| 15k| 7.800000e+01 | -- | Inf
1746.27/1746.66 c 1747s| 55900 | 17619 | 10330k| 184.6 | 139M| 86 | 227 |2466 |6749 |2466 |2947 |1145 | 78k| 15k| 7.800000e+01 | -- | Inf
1748.57/1748.91 c 1749s| 56000 | 17638 | 10342k| 184.5 | 139M| 86 | 373 |2466 |6885 |2466 |2947 |1145 | 78k| 15k| 7.800000e+01 | -- | Inf
1751.47/1751.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1751.47/1751.80 c 1752s| 56100 | 17659 | 10354k| 184.4 | 139M| 86 | - |2466 |6951 |2466 |2947 |1145 | 78k| 15k| 7.800000e+01 | -- | Inf
1753.57/1753.90 c 1754s| 56200 | 17697 | 10367k| 184.2 | 139M| 86 | 393 |2466 |6797 |2466 |2947 |1145 | 79k| 15k| 7.800000e+01 | -- | Inf
1756.37/1756.73 c 1757s| 56300 | 17712 | 10383k| 184.2 | 139M| 86 |1098 |2466 |6708 |2466 |2947 |1145 | 79k| 15k| 7.800000e+01 | -- | Inf
1760.57/1760.96 c 1761s| 56400 | 17731 | 10414k| 184.4 | 139M| 86 | 311 |2466 |6667 |2466 |2947 |1145 | 79k| 15k| 7.800000e+01 | -- | Inf
1762.86/1763.25 c 1763s| 56500 | 17757 | 10423k| 184.3 | 140M| 86 | 530 |2466 |6646 |2466 |2947 |1145 | 79k| 15k| 7.800000e+01 | -- | Inf
1764.07/1764.47 c 1764s| 56600 | 17778 | 10430k| 184.1 | 140M| 86 | 465 |2466 |6735 |2466 |2947 |1145 | 79k| 15k| 7.800000e+01 | -- | Inf
1765.17/1765.54 c 1766s| 56700 | 17777 | 10435k| 183.8 | 140M| 86 | 495 |2466 |6946 |2466 |2947 |1145 | 79k| 15k| 7.800000e+01 | -- | Inf
1768.07/1768.41 c 1768s| 56800 | 17788 | 10446k| 183.7 | 140M| 86 | - |2466 |7075 | 0 | 0 |1145 | 80k| 15k| 7.800000e+01 | -- | Inf
1770.67/1771.04 c 1771s| 56900 | 17808 | 10461k| 183.6 | 140M| 86 | - |2466 |7006 | 0 | 0 |1145 | 80k| 15k| 7.800000e+01 | -- | Inf
1773.06/1773.43 c 1773s| 57000 | 17832 | 10474k| 183.5 | 140M| 86 | - |2466 |6890 |2466 |2947 |1145 | 80k| 15k| 7.800000e+01 | -- | Inf
1776.27/1776.61 c 1777s| 57100 | 17886 | 10494k| 183.6 | 140M| 86 | - |2466 |6792 |2466 |2947 |1145 | 80k| 16k| 7.800000e+01 | -- | Inf
1777.87/1778.22 c 1778s| 57200 | 17915 | 10504k| 183.4 | 141M| 86 | 323 |2466 |6881 |2466 |2947 |1145 | 80k| 16k| 7.800000e+01 | -- | Inf
1779.87/1780.28 c 1780s| 57300 | 17923 | 10515k| 183.3 | 141M| 86 | - |2466 |6977 |2466 |2947 |1145 | 80k| 16k| 7.800000e+01 | -- | Inf
1781.46/1781.87 c 1782s| 57400 | 17949 | 10523k| 183.1 | 141M| 86 | 352 |2466 |7074 |2466 |2947 |1145 | 81k| 16k| 7.800000e+01 | -- | Inf
1783.46/1783.85 c 1784s| 57500 | 17968 | 10534k| 183.0 | 141M| 86 | 853 |2466 |7153 |2466 |2947 |1145 | 81k| 16k| 7.800000e+01 | -- | Inf
1787.17/1787.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1787.17/1787.51 c 1788s| 57600 | 17964 | 10552k| 183.0 | 141M| 86 | 565 |2466 |7096 |2466 |2947 |1145 | 81k| 16k| 7.800000e+01 | -- | Inf
1790.47/1790.86 c 1791s| 57700 | 17971 | 10562k| 182.8 | 142M| 86 | 402 |2466 |7060 |2466 |2947 |1145 | 81k| 16k| 7.800000e+01 | -- | Inf
1792.46/1792.84 c 1793s| 57800 | 18009 | 10575k| 182.8 | 142M| 86 | - |2466 |7088 |2466 |2947 |1145 | 81k| 16k| 7.800000e+01 | -- | Inf
1794.66/1795.05 c 1795s| 57900 | 18048 | 10589k| 182.7 | 142M| 86 | - |2466 |7035 |2466 |2947 |1145 | 81k| 16k| 7.800000e+01 | -- | Inf
1796.26/1796.60 c 1797s| 58000 | 18069 | 10596k| 182.5 | 142M| 86 | - |2466 |7096 |2466 |2947 |1145 | 81k| 16k| 7.800000e+01 | -- | Inf
1796.66/1797.00 c
1796.66/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.66/1797.00 c Solving Time (sec) : 1797.00
1796.66/1797.00 c Solving Nodes : 58027
1796.66/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.66/1797.00 c Dual Bound : +7.80000000000000e+01
1796.66/1797.00 c Gap : infinite
1796.66/1797.00 s UNKNOWN
1796.66/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.66/1797.00 c Total Time : 1797.00
1796.66/1797.00 c solving : 1797.00
1796.66/1797.00 c presolving : 0.17 (included in solving)
1796.66/1797.00 c reading : 0.06 (included in solving)
1796.66/1797.00 c copying : 0.05 (2 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.66/1797.00 c Original Problem :
1796.66/1797.00 c Problem name : HOME/instance-3690976-1338020548.opb
1796.66/1797.00 c Variables : 2467 (2467 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.66/1797.00 c Constraints : 4745 initial, 4745 maximal
1796.66/1797.00 c Objective sense : minimize
1796.66/1797.00 c Presolved Problem :
1796.66/1797.00 c Problem name : t_HOME/instance-3690976-1338020548.opb
1796.66/1797.00 c Variables : 2466 (2466 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.66/1797.00 c Constraints : 2723 initial, 7279 maximal
1796.66/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.66/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.00 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.00 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.00 c knapsack : 0.02 0.00 0 0 0 0 0 0 6 17 79
1796.66/1797.00 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.00 c linear : 0.09 0.00 1 0 0 1 0 2028 0 12 443
1796.66/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.00 c root node : - - 0 - - 0 - - - - -
1796.66/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.66/1797.00 c integral : 0 0 0 0 42749 0 4 0 54 7571 0 0 81566
1796.66/1797.00 c knapsack : 690 690 8 295339 0 2 3 218289 1909 1157105 1501 0 0
1796.66/1797.00 c setppc : 6 6 8 29847 0 1 0 99 0 458 0 0 0
1796.66/1797.00 c linear : 2027+ 2956 9 293430 0 2 0 145590 7092 4397138 0 0 0
1796.66/1797.00 c logicor : 0+ 4496 8 168157 0 0 0 276503 920 193510 0 0 0
1796.66/1797.00 c countsols : 0 0 0 0 0 2 0 0 0 0 0 0 0
1796.66/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.66/1797.00 c integral : 456.35 0.00 0.00 0.00 456.35 0.00 0.00 0.00
1796.66/1797.00 c knapsack : 25.68 0.00 0.06 25.44 0.00 0.00 0.00 0.18
1796.66/1797.00 c setppc : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00
1796.66/1797.00 c linear : 57.63 0.00 0.01 57.39 0.00 0.00 0.00 0.23
1796.66/1797.00 c logicor : 8.08 0.00 0.00 7.79 0.00 0.00 0.00 0.29
1796.66/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.66/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.66/1797.00 c rootredcost : 0 0 0 0
1796.66/1797.00 c pseudoobj : 337989 0 0 0
1796.66/1797.00 c vbounds : 0 0 0 0
1796.66/1797.00 c redcost : 42839 0 0 103
1796.66/1797.00 c probing : 0 0 0 0
1796.66/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.66/1797.00 c rootredcost : 0.11 0.00 0.00 0.11 0.00
1796.66/1797.00 c pseudoobj : 0.39 0.00 0.00 0.39 0.00
1796.66/1797.00 c vbounds : 0.10 0.00 0.00 0.10 0.00
1796.66/1797.00 c redcost : 1.61 0.00 0.00 1.61 0.00
1796.66/1797.00 c probing : 0.01 0.00 0.01 0.00 0.00
1796.66/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.66/1797.00 c propagation : 0.97 9921 9906 97829 38.7 600 20.3 -
1796.66/1797.00 c infeasible LP : 5.77 19607 19607 80004 26.3 1794 18.0 0
1796.66/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.66/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.66/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.66/1797.00 c applied globally : - - - 81925 25.3 - - -
1796.66/1797.00 c applied locally : - - - 0 0.0 - - -
1796.66/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.66/1797.00 c cut pool : 0.00 7 - - 681 - (maximal pool size: 5548)
1796.66/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.66/1797.00 c impliedbounds : 0.00 0.00 8 0 0 11 0
1796.66/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.66/1797.00 c gomory : 0.85 0.00 8 0 0 57 0
1796.66/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.66/1797.00 c strongcg : 0.82 0.00 8 0 0 31 0
1796.66/1797.00 c cmir : 1.31 0.00 8 0 0 4000 0
1796.66/1797.00 c flowcover : 0.65 0.00 8 0 0 1600 0
1796.66/1797.00 c clique : 0.00 0.00 8 0 0 0 0
1796.66/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.66/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.66/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.66/1797.00 c rapidlearning : 4.08 0.00 1 0 0 0 929
1796.66/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.66/1797.00 c problem variables: 0.00 - 0 0
1796.66/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.66/1797.00 c relpscost : 456.28 0.00 42749 54 7571 0 0 81566
1796.66/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.66/1797.00 c inference : 0.00 0.00 2 0 0 0 0 4
1796.66/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.66/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.66/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.66/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.66/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.66/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.66/1797.00 c LP solutions : 0.00 - - 0
1796.66/1797.00 c pseudo solutions : 0.00 - - 0
1796.66/1797.00 c oneopt : 0.05 0.00 0 0
1796.66/1797.00 c crossover : 0.03 0.00 0 0
1796.66/1797.00 c guideddiving : 0.00 0.00 0 0
1796.66/1797.00 c coefdiving : 53.64 0.00 36 0
1796.66/1797.00 c fracdiving : 49.50 0.00 48 0
1796.66/1797.00 c pscostdiving : 54.99 0.00 330 0
1796.66/1797.00 c veclendiving : 52.97 0.00 390 0
1796.66/1797.00 c linesearchdiving : 62.18 0.00 624 0
1796.66/1797.00 c smallcard : 0.00 0.00 0 0
1796.66/1797.00 c trivial : 0.00 0.00 2 0
1796.66/1797.00 c shiftandpropagate: 0.15 0.00 1 0
1796.66/1797.00 c simplerounding : 0.02 0.00 0 0
1796.66/1797.00 c zirounding : 0.29 0.00 1000 0
1796.66/1797.00 c rounding : 1.52 0.00 2875 0
1796.66/1797.00 c shifting : 9.30 0.00 895 0
1796.66/1797.00 c intshifting : 0.00 0.00 0 0
1796.66/1797.00 c twoopt : 0.00 0.00 0 0
1796.66/1797.00 c indoneopt : 0.04 0.00 0 0
1796.66/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.66/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.66/1797.00 c feaspump : 25.52 0.00 58 0
1796.66/1797.00 c clique : 0.00 0.00 0 0
1796.66/1797.00 c indrounding : 0.00 0.00 0 0
1796.66/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.66/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.66/1797.00 c intdiving : 0.00 0.00 0 0
1796.66/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.66/1797.00 c objpscostdiving : 18.40 0.00 20 0
1796.66/1797.00 c rootsoldiving : 11.70 0.00 88 0
1796.66/1797.00 c octane : 0.00 0.00 0 0
1796.66/1797.00 c rens : 0.11 0.00 1 0
1796.66/1797.00 c rins : 0.00 0.00 0 0
1796.66/1797.00 c localbranching : 0.00 0.00 0 0
1796.66/1797.00 c mutation : 0.00 0.00 0 0
1796.66/1797.00 c dins : 0.00 0.00 0 0
1796.66/1797.00 c vbounds : 0.00 0.00 0 0
1796.66/1797.00 c undercover : 0.00 0.00 0 0
1796.66/1797.00 c subnlp : 0.02 0.00 0 0
1796.66/1797.00 c trysol : 0.04 0.00 0 0
1796.66/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.66/1797.00 c primal LP : 0.01 1 0 0.00 0.00 0.01 1
1796.66/1797.00 c dual LP : 821.39 54834 8093490 149.07 9853.42 1.22 541
1796.66/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.66/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.66/1797.00 c diving/probing LP: 284.99 34431 2503853 72.72 8785.73
1796.66/1797.00 c strong branching : 449.36 16234 2915620 179.60 6488.37
1796.66/1797.00 c (at root node) : - 24 17034 709.75 -
1796.66/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.66/1797.00 c B&B Tree :
1796.66/1797.00 c number of runs : 1
1796.66/1797.00 c nodes : 58027
1796.66/1797.00 c nodes (total) : 58027
1796.66/1797.00 c nodes left : 18069
1796.66/1797.00 c max depth : 86
1796.66/1797.00 c max depth (total): 86
1796.66/1797.00 c backtracks : 9328 (16.1%)
1796.66/1797.00 c delayed cutoffs : 5475
1796.66/1797.00 c repropagations : 68169 (1721069 domain reductions, 2737 cutoffs)
1796.66/1797.00 c avg switch length: 8.97
1796.66/1797.00 c switching time : 56.62
1796.66/1797.00 c Solution :
1796.66/1797.00 c Solutions found : 0 (0 improvements)
1796.66/1797.00 c Primal Bound : -
1796.66/1797.00 c Dual Bound : +7.80000000000000e+01
1796.66/1797.00 c Gap : infinite
1796.66/1797.00 c Root Dual Bound : +7.80000000000000e+01
1796.66/1797.00 c Root Iterations : 12677
1796.76/1797.12 c Time complete: 1796.79.
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-3690976-1338020548/watcher-3690976-1338020548 -o /tmp/evaluation-result-3690976-1338020548/solver-3690976-1338020548 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690976-1338020548.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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 1.92 3/176 963
/proc/meminfo: memFree=28314200/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=9164 CPUtime=0 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 932 0 0 0 0 0 0 0 20 0 1 0 268180526 9383936 887 33554432000 4194304 10173063 140733720858624 140737376855976 8846909 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/963/statm: 2291 898 392 1460 0 822 0
[startup+0.034626 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 963
/proc/meminfo: memFree=28314200/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=13408 CPUtime=0.02 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 2086 0 0 0 2 0 0 0 20 0 1 0 268180526 13729792 2041 33554432000 4194304 10173063 140733720858624 140733720723800 8831595 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/963/statm: 3352 2041 416 1460 0 1883 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13408
[startup+0.100229 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 963
/proc/meminfo: memFree=28314200/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=48860 CPUtime=0.09 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 10560 0 0 0 7 2 0 0 20 0 1 0 268180526 50032640 10515 33554432000 4194304 10173063 140733720858624 140733720723800 8886411 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/963/statm: 12215 10517 515 1460 0 10746 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 48860
[startup+0.300226 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 963
/proc/meminfo: memFree=28314200/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=72064 CPUtime=0.29 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 16891 0 0 0 26 3 0 0 20 0 1 0 268180526 73793536 16065 33554432000 4194304 10173063 140733720858624 140733720723800 4482242 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/963/statm: 18016 16065 694 1460 0 16547 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72064
[startup+0.700208 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 963
/proc/meminfo: memFree=28314200/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=78080 CPUtime=0.69 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 19407 0 0 0 65 4 0 0 20 0 1 0 268180526 79953920 17867 33554432000 4194304 10173063 140733720858624 140733720854552 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/963/statm: 19520 17867 796 1460 0 18051 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78080
[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 964
/proc/meminfo: memFree=28246240/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=112304 CPUtime=1.48 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 27716 0 0 0 142 6 0 0 20 0 1 0 268180526 114999296 26176 33554432000 4194304 10173063 140733720858624 140733720853560 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/963/statm: 28076 26176 837 1460 0 26607 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 112304
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 964
/proc/meminfo: memFree=28211388/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=116556 CPUtime=3.09 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 28787 0 0 0 301 8 0 0 20 0 1 0 268180526 119353344 27247 33554432000 4194304 10173063 140733720858624 140733720852664 4950976 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/963/statm: 29139 27247 837 1460 0 27670 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 116556
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 964
/proc/meminfo: memFree=28199980/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=123740 CPUtime=6.28 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 30800 0 0 0 616 12 0 0 20 0 1 0 268180526 126709760 29200 33554432000 4194304 10173063 140733720858624 140733720853784 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/963/statm: 30935 29200 857 1460 0 29466 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 123740
[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 1.93 3/177 964
/proc/meminfo: memFree=28196556/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=123760 CPUtime=12.68 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 33201 0 0 0 1252 16 0 0 20 0 1 0 268180526 126730240 29637 33554432000 4194304 10173063 140733720858624 140733720851336 8033069 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 30940 29637 865 1460 0 29471 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 123760
[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 1004
/proc/meminfo: memFree=28564416/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=123760 CPUtime=25.48 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 33218 0 0 0 2527 21 0 0 20 0 1 0 268180526 126730240 29641 33554432000 4194304 10173063 140733720858624 140733720852456 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 30940 29641 865 1460 0 29471 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 123760
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 1.93 3/177 1042
/proc/meminfo: memFree=28185176/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=123760 CPUtime=51.07 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 33229 0 0 0 5067 40 0 0 20 0 1 0 268180526 126730240 29672 33554432000 4194304 10173063 140733720858624 140733720851976 7971287 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 30940 29672 867 1460 0 29471 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 123760
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 1042
/proc/meminfo: memFree=28130664/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=123760 CPUtime=102.26 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 33250 0 0 0 10136 90 0 0 20 0 1 0 268180526 126730240 30179 33554432000 4194304 10173063 140733720858624 140733720851144 8033088 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 30940 30179 867 1460 0 29471 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 123760
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 1082
/proc/meminfo: memFree=27437440/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=123760 CPUtime=162.24 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 33250 0 0 0 16085 139 0 0 20 0 1 0 268180526 126730240 30179 33554432000 4194304 10173063 140733720858624 140733720854424 4939396 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 30940 30179 867 1460 0 29471 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 123760
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 1082
/proc/meminfo: memFree=27433324/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=126948 CPUtime=222.25 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 34012 0 0 0 22036 189 0 0 20 0 1 0 268180526 129994752 30941 33554432000 4194304 10173063 140733720858624 140733720854424 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 31737 30941 867 1460 0 30268 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 126948
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 1085
/proc/meminfo: memFree=27429268/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=130820 CPUtime=282.23 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 38631 0 0 0 27987 236 0 0 20 0 1 0 268180526 133959680 31798 33554432000 4194304 10173063 140733720858624 140733720851560 7910630 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 32705 31798 867 1460 0 31236 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 130820
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 1085
/proc/meminfo: memFree=27418336/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=137028 CPUtime=342.22 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 53036 0 0 0 33933 289 0 0 20 0 1 0 268180526 140316672 33457 33554432000 4194304 10173063 140733720858624 140733720851144 8033088 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 34257 33457 867 1460 0 32788 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 137028
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 1085
/proc/meminfo: memFree=27406624/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=143432 CPUtime=402.21 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 67448 0 0 0 39883 338 0 0 20 0 1 0 268180526 146874368 35065 33554432000 4194304 10173063 140733720858624 140733720852264 8033088 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 35858 35065 867 1460 0 34389 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 143432
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 1088
/proc/meminfo: memFree=27399104/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=148028 CPUtime=462.2 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 69710 0 0 0 45836 384 0 0 20 0 1 0 268180526 151580672 36140 33554432000 4194304 10173063 140733720858624 140733720854424 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 37007 36140 867 1460 0 35538 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 148028
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 1088
/proc/meminfo: memFree=27390060/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=151052 CPUtime=522.19 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 81298 0 0 0 51791 428 0 0 20 0 1 0 268180526 154677248 36957 33554432000 4194304 10173063 140733720858624 140733720855992 8033088 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 37763 36957 867 1460 0 36294 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 151052
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 1089
/proc/meminfo: memFree=27378432/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=158048 CPUtime=582.18 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 92337 0 0 0 57739 479 0 0 20 0 1 0 268180526 161841152 38443 33554432000 4194304 10173063 140733720858624 140733720851144 8033088 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 39512 38443 867 1460 0 38043 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 158048
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26986536/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=213880 CPUtime=1122.09 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 223159 0 0 0 111295 914 0 0 20 0 1 0 268180526 219013120 52686 33554432000 4194304 10173063 140733720858624 140733720852264 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 53470 52686 867 1460 0 52001 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 213880
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 1094
/proc/meminfo: memFree=26986380/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=214984 CPUtime=1182.08 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 242662 0 0 0 117241 967 0 0 20 0 1 0 268180526 220143616 52822 33554432000 4194304 10173063 140733720858624 140733720852264 8033100 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 53746 52822 867 1460 0 52277 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 214984
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 1094
/proc/meminfo: memFree=26960112/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=221984 CPUtime=1242.07 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 266885 0 0 0 123192 1015 0 0 20 0 1 0 268180526 227311616 54712 33554432000 4194304 10173063 140733720858624 140733720852488 8007184 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 55496 54712 867 1460 0 54027 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 221984
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 1094
/proc/meminfo: memFree=26951820/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=230056 CPUtime=1302.07 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 270289 0 0 0 129144 1063 0 0 20 0 1 0 268180526 235577344 56691 33554432000 4194304 10173063 140733720858624 140733720851928 8033088 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 57514 56691 867 1460 0 56045 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 230056
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/177 1094
/proc/meminfo: memFree=26906920/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=233512 CPUtime=1362.05 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 291852 0 0 0 135094 1111 0 0 20 0 1 0 268180526 239116288 57398 33554432000 4194304 10173063 140733720858624 140733720851144 8033091 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 58378 57398 867 1460 0 56909 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 233512
[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/177 1094
/proc/meminfo: memFree=26902084/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=239680 CPUtime=1422.05 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 318041 0 0 0 141045 1160 0 0 20 0 1 0 268180526 245432320 58989 33554432000 4194304 10173063 140733720858624 140733720851752 8033088 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 59920 58989 867 1460 0 58451 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 239680
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 1095
/proc/meminfo: memFree=26896752/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=241976 CPUtime=1482.03 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 323392 0 0 0 146997 1206 0 0 20 0 1 0 268180526 247783424 59419 33554432000 4194304 10173063 140733720858624 140733720851608 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 60494 59419 867 1460 0 59025 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 241976
[startup+1542.31 s]
/proc/loadavg: 2.06 2.01 1.94 3/177 1095
/proc/meminfo: memFree=26895512/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=246148 CPUtime=1542.03 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 344612 0 0 0 152948 1255 0 0 20 0 1 0 268180526 252055552 60681 33554432000 4194304 10173063 140733720858624 140733720852264 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 61537 60681 867 1460 0 60068 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 246148
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 1095
/proc/meminfo: memFree=26878896/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=262216 CPUtime=1602.02 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 352354 0 0 0 158895 1307 0 0 20 0 1 0 268180526 268509184 64761 33554432000 4194304 10173063 140733720858624 140733720852264 8033088 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 65554 64761 867 1460 0 64085 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 262216
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 1098
/proc/meminfo: memFree=26864172/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=269632 CPUtime=1662 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 360865 0 0 0 164849 1351 0 0 20 0 1 0 268180526 276103168 66616 33554432000 4194304 10173063 140733720858624 140733720851880 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 67408 66616 867 1460 0 65939 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 269632
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 1098
/proc/meminfo: memFree=26859036/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=274588 CPUtime=1721.98 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 380620 0 0 0 170801 1397 0 0 20 0 1 0 268180526 281178112 67854 33554432000 4194304 10173063 140733720858624 140733720852488 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 68647 67854 867 1460 0 67178 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 274588
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 1099
/proc/meminfo: memFree=26851568/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=280480 CPUtime=1781.96 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 397617 0 0 0 176751 1445 0 0 20 0 1 0 268180526 287211520 69327 33554432000 4194304 10173063 140733720858624 140733720852344 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 70120 69327 867 1460 0 68651 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 280480
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 1099
/proc/meminfo: memFree=26850452/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=281268 CPUtime=1785.26 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 397807 0 0 0 177079 1447 0 0 20 0 1 0 268180526 288018432 69517 33554432000 4194304 10173063 140733720858624 140733720851928 4480559 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 70317 69517 867 1460 0 68848 0
Current children cumulated CPU time (s) 1785.26
Current children cumulated vsize (KiB) 281268
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 1099
/proc/meminfo: memFree=26848840/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=283048 CPUtime=1791.66 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 400853 0 0 0 177716 1450 0 0 20 0 1 0 268180526 289841152 69915 33554432000 4194304 10173063 140733720858624 140733720851240 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 70762 69915 867 1460 0 69293 0
Current children cumulated CPU time (s) 1791.66
Current children cumulated vsize (KiB) 283048
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 1099
/proc/meminfo: memFree=26849088/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=282912 CPUtime=1794.87 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 402203 0 0 0 178034 1453 0 0 20 0 1 0 268180526 289701888 69837 33554432000 4194304 10173063 140733720858624 140733720852456 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 70728 69837 867 1460 0 69259 0
Current children cumulated CPU time (s) 1794.87
Current children cumulated vsize (KiB) 282912
[startup+1796 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 1099
/proc/meminfo: memFree=26849088/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=282912 CPUtime=1795.66 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 402208 0 0 0 178113 1453 0 0 20 0 1 0 268180526 289701888 69842 33554432000 4194304 10173063 140733720858624 140733720851560 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 70728 69842 867 1460 0 69259 0
Current children cumulated CPU time (s) 1795.66
Current children cumulated vsize (KiB) 282912
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 1099
/proc/meminfo: memFree=26848592/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=283248 CPUtime=1796.46 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 402378 0 0 0 178193 1453 0 0 20 0 1 0 268180526 290045952 70012 33554432000 4194304 10173063 140733720858624 140733720854920 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 70812 70012 867 1460 0 69343 0
Current children cumulated CPU time (s) 1796.46
Current children cumulated vsize (KiB) 283248
[startup+1797 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 1099
/proc/meminfo: memFree=26848592/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=283248 CPUtime=1796.66 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 402379 0 0 0 178213 1453 0 0 20 0 1 0 268180526 290045952 70013 33554432000 4194304 10173063 140733720858624 140733720854920 6364061 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 70812 70013 868 1460 0 69343 0
Current children cumulated CPU time (s) 1796.66
Current children cumulated vsize (KiB) 283248
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 1099
/proc/meminfo: memFree=26848592/32873844 swapFree=7104/7104
[pid=963] ppid=961 vsize=281836 CPUtime=1796.76 cores=0,2,4,6
/proc/963/stat : 963 (scip-2.1.1.4fix) R 961 963 521 0 -1 4202496 402382 0 0 0 178223 1453 0 0 20 0 1 0 268180526 288600064 69663 33554432000 4194304 10173063 140733720858624 140733720854920 7544969 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/963/statm: 70459 69663 871 1460 0 68990 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 281836
Child status: 0
Real time (s): 1797.13
CPU time (s): 1796.8
CPU user time (s): 1782.25
CPU system time (s): 14.5448
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 283612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.25
system time used= 14.5448
maximum resident set size= 280356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 402384
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= 49
involuntary context switches= 2115
runsolver used 4.86226 second user time and 11.0813 second system time
The end