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-3693325-1338033034.opb>
0.00/0.05 c original problem has 2470 variables (2470 bin, 0 int, 0 impl, 0 cont) and 4744 constraints
0.00/0.05 c problem read in 0.06
0.08/0.11 c presolving:
0.08/0.18 c (round 1) 0 del vars, 2366 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 12 upgd conss, 0 impls, 0 clqs
0.18/0.22 c (0.2s) probing: 51/2470 (2.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.18/0.22 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.18/0.22 c presolving (2 rounds):
0.18/0.22 c 0 deleted vars, 2366 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.18/0.22 c 156 implications, 0 cliques
0.18/0.22 c presolved problem has 2470 variables (2470 bin, 0 int, 0 impl, 0 cont) and 2378 constraints
0.18/0.22 c 12 constraints of type <knapsack>
0.18/0.22 c 2366 constraints of type <linear>
0.18/0.22 c transformed objective value is always integral (scale: 1)
0.18/0.22 c Presolving Time: 0.15
0.18/0.22 c - non default parameters ----------------------------------------------------------------------
0.18/0.22 c # SCIP version 2.1.1.4
0.18/0.22 c
0.18/0.22 c # maximal time in seconds to run
0.18/0.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.22 c limits/time = 1797
0.18/0.22 c
0.18/0.22 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.18/0.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.22 c limits/memory = 13950
0.18/0.22 c
0.18/0.22 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.18/0.22 c # [type: int, range: [1,2], default: 1]
0.18/0.22 c timing/clocktype = 2
0.18/0.22 c
0.18/0.22 c # belongs reading time to solving time?
0.18/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.18/0.22 c timing/reading = TRUE
0.18/0.22 c
0.18/0.22 c -----------------------------------------------------------------------------------------------
0.18/0.22 c start solving
0.18/0.22 c
0.39/0.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.40 c 0.4s| 1 | 0 | 12 | - | 20M| 0 | 363 |2470 |2394 |2470 |2378 | 0 | 16 | 0 | 1.200000e+01 | -- | Inf
0.69/0.77 c 0.8s| 1 | 0 | 1672 | - | 21M| 0 | 375 |2470 |2394 |2470 |2432 | 54 | 16 | 0 | 1.200000e+01 | -- | Inf
0.89/0.97 c 1.0s| 1 | 0 | 1894 | - | 22M| 0 | 393 |2470 |2394 |2470 |2502 | 124 | 16 | 0 | 1.200000e+01 | -- | Inf
1.19/1.22 c 1.2s| 1 | 0 | 2276 | - | 22M| 0 | 481 |2470 |2394 |2470 |2590 | 212 | 16 | 0 | 1.200198e+01 | -- | Inf
1.49/1.52 c 1.5s| 1 | 0 | 2595 | - | 23M| 0 | 490 |2470 |2394 |2470 |2682 | 304 | 16 | 0 | 1.216667e+01 | -- | Inf
1.89/1.91 c 1.9s| 1 | 0 | 3095 | - | 23M| 0 | 534 |2470 |2394 |2470 |2764 | 386 | 16 | 0 | 1.300000e+01 | -- | Inf
2.59/2.64 c 2.6s| 1 | 0 | 3563 | - | 24M| 0 | 465 |2470 |2394 |2470 |2850 | 472 | 16 | 0 | 1.300000e+01 | -- | Inf
3.09/3.19 c 3.2s| 1 | 0 | 4051 | - | 25M| 0 | 424 |2470 |2394 |2470 |2937 | 559 | 16 | 0 | 1.300000e+01 | -- | Inf
3.59/3.65 c 3.7s| 1 | 0 | 4741 | - | 25M| 0 | 422 |2470 |2394 |2470 |3035 | 657 | 16 | 0 | 1.300000e+01 | -- | Inf
4.18/4.20 c 4.2s| 1 | 0 | 5493 | - | 26M| 0 | 519 |2470 |2394 |2470 |3122 | 744 | 16 | 0 | 1.300000e+01 | -- | Inf
4.69/4.78 c 4.8s| 1 | 0 | 5981 | - | 26M| 0 | 427 |2470 |2394 |2470 |3207 | 829 | 16 | 0 | 1.300000e+01 | -- | Inf
4.99/5.00 c 5.0s| 1 | 0 | 6450 | - | 26M| 0 | 516 |2470 |2394 |2470 |3225 | 847 | 16 | 0 | 1.300000e+01 | -- | Inf
9.80/9.81 c 9.8s| 1 | 2 | 6450 | - | 26M| 0 | 516 |2470 |2394 |2470 |3225 | 847 | 16 | 28 | 1.300000e+01 | -- | Inf
25.58/25.61 c 25.6s| 100 | 79 | 67694 | 618.6 | 27M| 19 | 593 |2470 |2827 |2470 |2452 | 847 | 449 | 246 | 1.400000e+01 | -- | Inf
28.38/28.46 c 28.5s| 200 | 149 | 92267 | 431.2 | 28M| 32 | - |2470 |2886 |2470 |2452 | 847 | 508 | 279 | 1.400000e+01 | -- | Inf
40.99/41.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.99/41.00 c 41.0s| 300 | 239 |286644 | 937.1 | 28M| 32 | 454 |2470 |3192 |2470 |2452 | 847 | 814 | 321 | 1.400000e+01 | -- | Inf
46.09/46.17 c 46.2s| 400 | 333 |321209 | 788.9 | 28M| 37 | 442 |2470 |3230 |2470 |2452 | 847 | 852 | 347 | 1.400000e+01 | -- | Inf
53.08/53.14 c 53.1s| 500 | 423 |375996 | 740.6 | 29M| 37 | 418 |2470 |3318 |2470 |2452 | 847 | 940 | 400 | 1.422222e+01 | -- | Inf
57.59/57.67 c 57.7s| 600 | 515 |407235 | 669.1 | 29M| 37 | 292 |2470 |3328 |2470 |2452 | 847 | 950 | 428 | 1.500000e+01 | -- | Inf
60.78/60.86 c 60.9s| 700 | 597 |428747 | 604.1 | 29M| 39 | 461 |2470 |3344 |2470 |2452 | 847 | 966 | 442 | 1.500000e+01 | -- | Inf
65.78/65.84 c 65.8s| 800 | 683 |456563 | 563.3 | 29M| 46 | 290 |2470 |3363 |2470 |2452 | 847 | 985 | 481 | 1.500000e+01 | -- | Inf
69.38/69.45 c 69.5s| 900 | 745 |480411 | 527.2 | 29M| 46 | - |2470 |3396 |2470 |2452 | 847 |1018 | 520 | 1.500000e+01 | -- | Inf
73.38/73.47 c 73.5s| 1000 | 807 |514465 | 508.5 | 29M| 46 | 374 |2470 |3497 |2470 |2452 | 847 |1119 | 557 | 1.500000e+01 | -- | Inf
76.89/76.95 c 77.0s| 1100 | 891 |543417 | 488.6 | 30M| 46 | 399 |2470 |3535 |2470 |2452 | 847 |1157 | 581 | 1.500000e+01 | -- | Inf
77.88/77.99 c 78.0s| 1200 | 954 |551161 | 454.3 | 30M| 46 | - |2470 |3559 |2470 |2452 | 847 |1181 | 581 | 1.500000e+01 | -- | Inf
82.17/82.27 c 82.3s| 1300 | 981 |600289 | 457.2 | 30M| 46 | 633 |2470 |3740 |2470 |2452 | 847 |1362 | 605 | 1.500000e+01 | -- | Inf
84.08/84.13 c 84.1s| 1400 | 1019 |610845 | 432.0 | 30M| 46 | 310 |2470 |3800 |2470 |2452 | 847 |1422 | 626 | 1.500000e+01 | -- | Inf
87.28/87.33 c 87.3s| 1500 | 1057 |634288 | 418.8 | 30M| 46 | 579 |2470 |3922 |2470 |2452 | 847 |1544 | 665 | 1.500000e+01 | -- | Inf
89.37/89.42 c 89.4s| 1600 | 1125 |646401 | 400.2 | 30M| 46 | 529 |2470 |3962 |2470 |2452 | 847 |1584 | 688 | 1.500000e+01 | -- | Inf
91.78/91.83 c 91.8s| 1700 | 1189 |667123 | 388.9 | 31M| 46 | 376 |2470 |3991 |2470 |2452 | 847 |1613 | 710 | 1.511111e+01 | -- | Inf
93.97/94.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.97/94.00 c 94.0s| 1800 | 1243 |681375 | 375.2 | 31M| 46 | 328 |2470 |4053 |2470 |2452 | 847 |1675 | 755 | 1.511111e+01 | -- | Inf
97.28/97.36 c 97.4s| 1900 | 1294 |705238 | 368.0 | 31M| 46 | 381 |2470 |4107 |2470 |2452 | 847 |1729 | 785 | 1.511111e+01 | -- | Inf
102.07/102.12 c 102s| 2000 | 1384 |747948 | 370.9 | 31M| 46 | 488 |2470 |4149 |2470 |2452 | 847 |1771 | 823 | 1.523529e+01 | -- | Inf
105.87/105.99 c 106s| 2100 | 1475 |780238 | 368.6 | 31M| 46 | 399 |2470 |4159 |2470 |2452 | 847 |1781 | 867 | 1.533333e+01 | -- | Inf
109.88/109.95 c 110s| 2200 | 1567 |812119 | 366.4 | 32M| 46 | 449 |2470 |4187 |2470 |2452 | 847 |1810 | 923 | 1.580000e+01 | -- | Inf
112.87/112.95 c 113s| 2300 | 1651 |845477 | 365.0 | 32M| 46 | 439 |2470 |4264 |2470 |2452 | 847 |1889 | 936 | 1.600000e+01 | -- | Inf
115.87/115.95 c 116s| 2400 | 1734 |874650 | 361.9 | 33M| 46 | 702 |2470 |4289 |2470 |2452 | 847 |1914 | 980 | 1.600000e+01 | -- | Inf
118.78/118.89 c 119s| 2500 | 1806 |895413 | 355.7 | 33M| 46 | 283 |2470 |4344 |2470 |2452 | 847 |1971 |1029 | 1.600000e+01 | -- | Inf
121.98/122.00 c 122s| 2600 | 1880 |919592 | 351.3 | 33M| 46 | - |2470 |4379 |2470 |2452 | 847 |2006 |1061 | 1.600000e+01 | -- | Inf
124.37/124.46 c 124s| 2700 | 1932 |937225 | 344.9 | 33M| 46 | 368 |2470 |4441 |2470 |2452 | 847 |2069 |1089 | 1.600000e+01 | -- | Inf
126.28/126.39 c 126s| 2800 | 2002 |950003 | 337.1 | 33M| 46 | 397 |2470 |4467 |2470 |2452 | 847 |2097 |1119 | 1.600000e+01 | -- | Inf
131.27/131.33 c 131s| 2900 | 2100 |996497 | 341.5 | 34M| 46 | 188 |2470 |4499 |2470 |2452 | 847 |2130 |1166 | 1.600000e+01 | -- | Inf
133.87/133.93 c 134s| 3000 | 2140 | 1019k| 337.9 | 34M| 46 | 356 |2470 |4604 |2470 |2452 | 847 |2238 |1194 | 1.600000e+01 | -- | Inf
136.87/136.95 c 137s| 3100 | 2205 | 1047k| 336.1 | 35M| 46 | 356 |2470 |4638 |2470 |2452 | 847 |2284 |1218 | 1.600000e+01 | -- | Inf
139.97/140.09 c 140s| 3200 | 2262 | 1075k| 334.2 | 35M| 46 | 435 |2470 |4676 |2470 |2452 | 847 |2329 |1241 | 1.600000e+01 | -- | Inf
144.17/144.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.17/144.26 c 144s| 3300 | 2336 | 1112k| 335.2 | 36M| 46 | 314 |2470 |4689 |2470 |2452 | 847 |2359 |1279 | 1.600000e+01 | -- | Inf
149.36/149.48 c 149s| 3400 | 2405 | 1160k| 339.5 | 36M| 46 | 541 |2470 |4763 |2470 |2452 | 847 |2451 |1333 | 1.600000e+01 | -- | Inf
151.97/152.01 c 152s| 3500 | 2473 | 1187k| 337.4 | 36M| 46 | 432 |2470 |4811 |2470 |2452 | 847 |2503 |1364 | 1.600000e+01 | -- | Inf
156.37/156.45 c 156s| 3600 | 2531 | 1228k| 339.7 | 36M| 46 | 428 |2470 |4916 |2470 |2452 | 847 |2617 |1409 | 1.600000e+01 | -- | Inf
159.27/159.32 c 159s| 3700 | 2604 | 1253k| 337.1 | 37M| 46 | 520 |2470 |4946 |2470 |2452 | 847 |2669 |1443 | 1.600000e+01 | -- | Inf
161.07/161.17 c 161s| 3800 | 2662 | 1266k| 331.8 | 37M| 46 | 443 |2470 |4964 |2470 |2452 | 847 |2705 |1470 | 1.600000e+01 | -- | Inf
162.96/163.05 c 163s| 3900 | 2698 | 1277k| 326.1 | 37M| 46 | - |2470 |4958 |2470 |2452 | 847 |2775 |1497 | 1.600000e+01 | -- | Inf
166.36/166.41 c 166s| 4000 | 2735 | 1307k| 325.3 | 38M| 46 | 348 |2470 |5122 |2470 |2452 | 847 |3024 |1524 | 1.600000e+01 | -- | Inf
168.36/168.47 c 168s| 4100 | 2791 | 1322k| 321.1 | 38M| 46 | 471 |2470 |5035 |2470 |2452 | 847 |3074 |1562 | 1.600000e+01 | -- | Inf
170.66/170.76 c 171s| 4200 | 2842 | 1340k| 317.7 | 38M| 46 | 518 |2470 |4981 |2470 |2452 | 847 |3133 |1583 | 1.600000e+01 | -- | Inf
172.76/172.87 c 173s| 4300 | 2867 | 1358k| 314.5 | 39M| 46 | 358 |2470 |4974 |2470 |2452 | 847 |3229 |1605 | 1.600000e+01 | -- | Inf
181.66/181.73 c 182s| 4400 | 2914 | 1449k| 328.1 | 39M| 46 | 535 |2470 |5150 |2470 |2452 | 847 |3879 |1638 | 1.600000e+01 | -- | Inf
184.16/184.28 c 184s| 4500 | 2958 | 1471k| 325.7 | 39M| 46 | 412 |2470 |5019 |2470 |2452 | 847 |3941 |1659 | 1.600000e+01 | -- | Inf
186.97/187.05 c 187s| 4600 | 3005 | 1494k| 323.5 | 40M| 46 | 501 |2470 |4858 |2470 |2452 | 847 |4013 |1702 | 1.600000e+01 | -- | Inf
190.17/190.24 c 190s| 4700 | 3041 | 1520k| 322.1 | 40M| 46 | - |2470 |4753 |2470 |2452 | 847 |4112 |1751 | 1.600000e+01 | -- | Inf
194.76/194.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.76/194.88 c 195s| 4800 | 3111 | 1565k| 324.8 | 41M| 46 | 418 |2470 |4546 |2470 |2452 | 847 |4168 |1795 | 1.623529e+01 | -- | Inf
198.16/198.24 c 198s| 4900 | 3181 | 1597k| 324.7 | 41M| 46 | 289 |2470 |4492 |2470 |2452 | 847 |4203 |1826 | 1.633333e+01 | -- | Inf
201.75/201.88 c 202s| 5000 | 3259 | 1628k| 324.5 | 41M| 46 | 384 |2470 |4374 |2470 |2452 | 847 |4223 |1866 | 1.633333e+01 | -- | Inf
206.16/206.26 c 206s| 5100 | 3333 | 1674k| 327.0 | 41M| 46 | 776 |2470 |4254 |2470 |2452 | 847 |4304 |1908 | 1.680000e+01 | -- | Inf
208.06/208.11 c 208s| 5200 | 3380 | 1692k| 324.3 | 42M| 46 | 312 |2470 |4213 |2470 |2452 | 847 |4381 |1919 | 1.680000e+01 | -- | Inf
209.56/209.68 c 210s| 5300 | 3395 | 1701k| 319.8 | 42M| 46 | - |2470 |4177 |2470 |2452 | 847 |4504 |1948 | 1.680000e+01 | -- | Inf
212.96/213.03 c 213s| 5400 | 3424 | 1723k| 318.1 | 42M| 46 | 349 |2470 |4038 |2470 |2452 | 847 |4624 |2013 | 1.700000e+01 | -- | Inf
217.46/217.57 c 218s| 5500 | 3460 | 1761k| 319.1 | 42M| 46 | 299 |2470 |4246 |2470 |2452 | 847 |5019 |2046 | 1.700000e+01 | -- | Inf
222.07/222.19 c 222s| 5600 | 3518 | 1802k| 320.7 | 43M| 46 | 681 |2470 |4187 |2470 |2452 | 847 |5127 |2098 | 1.700000e+01 | -- | Inf
225.26/225.33 c 225s| 5700 | 3570 | 1830k| 320.1 | 43M| 46 | - |2470 |4134 |2470 |2452 | 847 |5205 |2132 | 1.700000e+01 | -- | Inf
228.26/228.39 c 228s| 5800 | 3603 | 1859k| 319.5 | 44M| 46 | 348 |2470 |4132 |2470 |2452 | 847 |5291 |2153 | 1.700000e+01 | -- | Inf
232.75/232.84 c 233s| 5900 | 3638 | 1896k| 320.4 | 44M| 46 | 685 |2470 |4023 |2470 |2452 | 847 |5370 |2206 | 1.700000e+01 | -- | Inf
236.15/236.20 c 236s| 6000 | 3718 | 1930k| 320.7 | 45M| 46 | 414 |2470 |3942 |2470 |2452 | 847 |5408 |2238 | 1.700000e+01 | -- | Inf
238.25/238.36 c 238s| 6100 | 3759 | 1947k| 318.3 | 45M| 46 | 551 |2470 |3926 |2470 |2452 | 847 |5501 |2259 | 1.700000e+01 | -- | Inf
240.36/240.48 c 240s| 6200 | 3805 | 1965k| 316.1 | 45M| 46 | 409 |2470 |3880 |2470 |2452 | 847 |5558 |2280 | 1.700000e+01 | -- | Inf
241.96/242.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.96/242.07 c 242s| 6300 | 3834 | 1978k| 313.1 | 46M| 46 | 497 |2470 |3950 |2470 |2452 | 847 |5669 |2290 | 1.700000e+01 | -- | Inf
244.56/244.61 c 245s| 6400 | 3867 | 2000k| 311.7 | 46M| 46 | 524 |2470 |3950 |2470 |2452 | 847 |5759 |2320 | 1.700000e+01 | -- | Inf
249.35/249.47 c 249s| 6500 | 3916 | 2048k| 314.2 | 46M| 46 | 678 |2470 |3932 |2470 |2452 | 847 |5898 |2363 | 1.700000e+01 | -- | Inf
252.45/252.52 c 253s| 6600 | 3971 | 2075k| 313.5 | 47M| 46 | - |2470 |3880 |2470 |2452 | 847 |5975 |2402 | 1.700000e+01 | -- | Inf
255.95/256.08 c 256s| 6700 | 4015 | 2098k| 312.3 | 47M| 46 | 360 |2470 |3877 |2470 |2452 | 847 |6039 |2459 | 1.700000e+01 | -- | Inf
257.65/257.73 c 258s| 6800 | 4044 | 2111k| 309.6 | 47M| 46 | 367 |2470 |3920 |2470 |2452 | 847 |6151 |2470 | 1.700000e+01 | -- | Inf
260.55/260.69 c 261s| 6900 | 4080 | 2139k| 309.2 | 48M| 46 | 344 |2470 |3865 |2470 |2452 | 847 |6232 |2512 | 1.700000e+01 | -- | Inf
265.14/265.28 c 265s| 7000 | 4133 | 2185k| 311.3 | 48M| 46 | 364 |2470 |3811 |2470 |2452 | 847 |6321 |2555 | 1.700000e+01 | -- | Inf
267.85/267.91 c 268s| 7100 | 4181 | 2212k| 310.8 | 49M| 46 | 467 |2470 |3750 |2470 |2452 | 847 |6371 |2586 | 1.700000e+01 | -- | Inf
271.64/271.76 c 272s| 7200 | 4215 | 2248k| 311.4 | 49M| 46 | 342 |2470 |3769 |2470 |2452 | 847 |6503 |2623 | 1.711765e+01 | -- | Inf
274.53/274.64 c 275s| 7300 | 4275 | 2274k| 310.7 | 50M| 46 | 349 |2470 |3745 |2470 |2452 | 847 |6578 |2654 | 1.711765e+01 | -- | Inf
279.94/280.00 c 280s| 7400 | 4315 | 2320k| 312.7 | 50M| 46 | 415 |2470 |3912 |2470 |2452 | 847 |6858 |2686 | 1.711765e+01 | -- | Inf
283.74/283.85 c 284s| 7500 | 4354 | 2356k| 313.4 | 51M| 46 | 309 |2470 |3896 |2470 |2452 | 847 |6942 |2707 | 1.711765e+01 | -- | Inf
285.94/286.04 c 286s| 7600 | 4381 | 2374k| 311.7 | 51M| 46 | 380 |2470 |3921 |2470 |2452 | 847 |7041 |2740 | 1.711765e+01 | -- | Inf
288.94/289.08 c 289s| 7700 | 4420 | 2404k| 311.5 | 52M| 46 | 459 |2470 |3867 |2470 |2452 | 847 |7111 |2770 | 1.720000e+01 | -- | Inf
292.13/292.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
292.13/292.23 c 292s| 7800 | 4470 | 2436k| 311.6 | 52M| 46 | 284 |2470 |3800 |2470 |2452 | 847 |7172 |2809 | 1.720000e+01 | -- | Inf
296.53/296.66 c 297s| 7900 | 4530 | 2478k| 312.9 | 53M| 46 | 636 |2470 |3825 |2470 |2452 | 847 |7303 |2869 | 1.740000e+01 | -- | Inf
300.53/300.69 c 301s| 8000 | 4581 | 2517k| 314.0 | 53M| 46 | 378 |2470 |3794 |2470 |2452 | 847 |7390 |2909 | 1.780000e+01 | -- | Inf
303.23/303.34 c 303s| 8100 | 4628 | 2544k| 313.4 | 54M| 46 | 336 |2470 |3760 |2470 |2452 | 847 |7479 |2940 | 1.780000e+01 | -- | Inf
305.83/305.97 c 306s| 8200 | 4669 | 2567k| 312.4 | 54M| 46 | 263 |2470 |3865 |2470 |2452 | 847 |7678 |2959 | 1.780000e+01 | -- | Inf
308.93/309.08 c 309s| 8300 | 4709 | 2597k| 312.2 | 55M| 46 | 624 |2470 |3862 |2470 |2452 | 847 |7761 |2999 | 1.780000e+01 | -- | Inf
312.62/312.76 c 313s| 8400 | 4736 | 2628k| 312.1 | 55M| 46 | - |2470 |3893 |2470 |2452 | 847 |7930 |3042 | 1.780000e+01 | -- | Inf
314.92/315.05 c 315s| 8500 | 4780 | 2649k| 311.0 | 55M| 46 | 299 |2470 |3895 |2470 |2452 | 847 |8015 |3072 | 1.780000e+01 | -- | Inf
318.02/318.14 c 318s| 8600 | 4836 | 2681k| 311.1 | 56M| 46 | 580 |2470 |3907 |2470 |2452 | 847 |8114 |3120 | 1.800000e+01 | -- | Inf
319.93/320.04 c 320s| 8700 | 4887 | 2700k| 309.7 | 56M| 46 | 252 |2470 |3899 |2470 |2452 | 847 |8163 |3153 | 1.800000e+01 | -- | Inf
321.33/321.43 c 321s| 8800 | 4914 | 2710k| 307.3 | 57M| 46 | - |2470 |3969 | 0 | 0 | 847 |8283 |3173 | 1.800000e+01 | -- | Inf
324.33/324.47 c 324s| 8900 | 4950 | 2740k| 307.2 | 57M| 46 | - |2470 |3994 |2470 |2452 | 847 |8399 |3207 | 1.800000e+01 | -- | Inf
332.22/332.35 c 332s| 9000 | 5016 | 2827k| 313.5 | 57M| 46 | 416 |2470 |4258 |2470 |2452 | 847 |8818 |3239 | 1.800000e+01 | -- | Inf
335.62/335.78 c 336s| 9100 | 5065 | 2858k| 313.5 | 58M| 46 | - |2470 |4182 |2470 |2452 | 847 |8911 |3271 | 1.800000e+01 | -- | Inf
338.72/338.82 c 339s| 9200 | 5093 | 2891k| 313.7 | 58M| 46 | 419 |2470 |4079 |2470 |2452 | 847 |8986 |3302 | 1.800000e+01 | -- | Inf
340.62/340.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.62/340.75 c 341s| 9300 | 5104 | 2906k| 311.8 | 59M| 46 | 600 |2470 |4052 |2470 |2452 | 847 |9095 |3329 | 1.800000e+01 | -- | Inf
342.12/342.24 c 342s| 9400 | 5137 | 2920k| 310.0 | 59M| 46 | - |2470 |4078 | 0 | 0 | 847 |9195 |3344 | 1.800000e+01 | -- | Inf
344.62/344.70 c 345s| 9500 | 5152 | 2934k| 308.3 | 59M| 46 | 451 |2470 |4117 |2470 |2452 | 847 |9324 |3404 | 1.800000e+01 | -- | Inf
346.92/347.02 c 347s| 9600 | 5197 | 2956k| 307.3 | 60M| 46 | - |2470 |4114 |2470 |2452 | 847 |9414 |3430 | 1.800000e+01 | -- | Inf
349.73/349.83 c 350s| 9700 | 5195 | 2974k| 306.0 | 60M| 46 | - |2470 |4134 | 0 | 0 | 847 |9556 |3465 | 1.800000e+01 | -- | Inf
352.62/352.74 c 353s| 9800 | 5234 | 2997k| 305.3 | 60M| 46 | 360 |2470 |4054 |2470 |2452 | 847 |9661 |3522 | 1.800000e+01 | -- | Inf
356.33/356.41 c 356s| 9900 | 5249 | 3028k| 305.3 | 61M| 46 | 434 |2470 |4006 |2470 |2452 | 847 |9826 |3551 | 1.800000e+01 | -- | Inf
359.01/359.18 c 359s| 10000 | 5299 | 3058k| 305.2 | 61M| 46 | 436 |2470 |3959 |2470 |2452 | 847 |9921 |3576 | 1.800000e+01 | -- | Inf
362.12/362.20 c 362s| 10100 | 5322 | 3083k| 304.7 | 62M| 46 | 486 |2470 |3908 |2470 |2452 | 847 | 10k|3624 | 1.800000e+01 | -- | Inf
365.52/365.66 c 366s| 10200 | 5352 | 3114k| 304.7 | 62M| 46 | - |2470 |3874 | 0 | 0 | 847 | 10k|3661 | 1.800000e+01 | -- | Inf
368.81/368.97 c 369s| 10300 | 5395 | 3142k| 304.5 | 62M| 46 | 332 |2470 |3851 |2470 |2452 | 847 | 10k|3685 | 1.800000e+01 | -- | Inf
370.53/370.62 c 371s| 10400 | 5422 | 3158k| 303.1 | 63M| 47 | 357 |2470 |3879 |2470 |2452 | 847 | 10k|3708 | 1.800000e+01 | -- | Inf
374.12/374.27 c 374s| 10500 | 5465 | 3192k| 303.4 | 64M| 47 | - |2470 |3890 | 0 | 0 | 847 | 10k|3752 | 1.800000e+01 | -- | Inf
377.72/377.82 c 378s| 10600 | 5502 | 3226k| 303.8 | 64M| 47 | 189 |2470 |3834 |2470 |2452 | 847 | 10k|3796 | 1.800000e+01 | -- | Inf
380.52/380.68 c 381s| 10700 | 5555 | 3252k| 303.4 | 65M| 47 | 595 |2470 |3741 |2470 |2452 | 847 | 10k|3832 | 1.800000e+01 | -- | Inf
383.42/383.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
383.42/383.55 c 384s| 10800 | 5569 | 3280k| 303.2 | 65M| 47 | 501 |2470 |3731 |2470 |2452 | 847 | 10k|3868 | 1.800000e+01 | -- | Inf
386.52/386.63 c 387s| 10900 | 5626 | 3310k| 303.2 | 65M| 47 | 311 |2470 |3752 |2470 |2452 | 847 | 10k|3895 | 1.811765e+01 | -- | Inf
387.81/387.97 c 388s| 11000 | 5653 | 3320k| 301.3 | 66M| 47 | 329 |2470 |3783 |2470 |2452 | 847 | 11k|3912 | 1.811765e+01 | -- | Inf
390.81/390.97 c 391s| 11100 | 5711 | 3347k| 301.0 | 66M| 47 | 557 |2470 |3738 |2470 |2452 | 847 | 11k|3957 | 1.811765e+01 | -- | Inf
393.51/393.61 c 394s| 11200 | 5757 | 3374k| 300.7 | 67M| 47 | - |2470 |3740 |2470 |2452 | 847 | 11k|3991 | 1.811765e+01 | -- | Inf
395.71/395.83 c 396s| 11300 | 5791 | 3390k| 299.5 | 67M| 47 | 359 |2470 |3733 |2470 |2452 | 847 | 11k|4017 | 1.811765e+01 | -- | Inf
398.81/398.99 c 399s| 11400 | 5828 | 3422k| 299.7 | 67M| 47 | 299 |2470 |3810 |2470 |2452 | 847 | 11k|4043 | 1.840000e+01 | -- | Inf
402.42/402.59 c 403s| 11500 | 5895 | 3455k| 300.0 | 68M| 47 | - |2470 |3794 | 0 | 0 | 847 | 11k|4096 | 1.840000e+01 | -- | Inf
404.11/404.26 c 404s| 11600 | 5921 | 3468k| 298.4 | 68M| 47 | 479 |2470 |3794 |2470 |2452 | 847 | 11k|4114 | 1.840000e+01 | -- | Inf
405.61/405.78 c 406s| 11700 | 5944 | 3478k| 296.8 | 68M| 47 | - |2470 |3851 |2470 |2452 | 847 | 11k|4131 | 1.900000e+01 | -- | Inf
408.91/409.07 c 409s| 11800 | 5982 | 3508k| 296.8 | 68M| 47 | - |2470 |3833 | 0 | 0 | 847 | 11k|4174 | 1.900000e+01 | -- | Inf
412.81/412.94 c 413s| 11900 | 6020 | 3542k| 297.2 | 69M| 47 | 395 |2470 |3822 |2470 |2452 | 847 | 11k|4224 | 1.900000e+01 | -- | Inf
415.91/416.07 c 416s| 12000 | 6051 | 3572k| 297.2 | 69M| 47 | 265 |2470 |3839 |2470 |2452 | 847 | 12k|4267 | 1.900000e+01 | -- | Inf
418.80/418.97 c 419s| 12100 | 6090 | 3596k| 296.8 | 70M| 47 | - |2470 |3858 | 0 | 0 | 847 | 12k|4308 | 1.900000e+01 | -- | Inf
421.21/421.31 c 421s| 12200 | 6141 | 3619k| 296.2 | 70M| 47 | 499 |2470 |3846 |2470 |2452 | 847 | 12k|4342 | 1.900000e+01 | -- | Inf
424.31/424.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
424.31/424.42 c 424s| 12300 | 6186 | 3654k| 296.6 | 70M| 51 | 348 |2470 |3821 |2470 |2452 | 847 | 12k|4372 | 1.900000e+01 | -- | Inf
427.00/427.15 c 427s| 12400 | 6235 | 3677k| 296.1 | 71M| 51 | - |2470 |3775 |2470 |2452 | 847 | 12k|4406 | 1.900000e+01 | -- | Inf
431.20/431.30 c 431s| 12500 | 6282 | 3719k| 297.0 | 71M| 51 | 302 |2470 |3747 |2470 |2452 | 847 | 12k|4444 | 1.900000e+01 | -- | Inf
433.10/433.20 c 433s| 12600 | 6303 | 3733k| 295.8 | 72M| 51 | - |2470 |3847 | 0 | 0 | 847 | 12k|4470 | 1.900000e+01 | -- | Inf
435.10/435.24 c 435s| 12700 | 6331 | 3754k| 295.1 | 72M| 51 | - |2470 |3861 |2470 |2452 | 847 | 12k|4488 | 1.900000e+01 | -- | Inf
438.41/438.55 c 439s| 12800 | 6397 | 3788k| 295.5 | 72M| 51 | 428 |2470 |3818 |2470 |2452 | 847 | 12k|4523 | 1.900000e+01 | -- | Inf
441.20/441.36 c 441s| 12900 | 6441 | 3817k| 295.5 | 73M| 51 | 383 |2470 |3787 |2470 |2452 | 847 | 12k|4558 | 1.900000e+01 | -- | Inf
444.00/444.12 c 444s| 13000 | 6490 | 3841k| 295.0 | 73M| 51 | 562 |2470 |3774 |2470 |2452 | 847 | 13k|4594 | 1.900000e+01 | -- | Inf
446.80/446.93 c 447s| 13100 | 6532 | 3866k| 294.7 | 73M| 51 | - |2470 |3898 |2470 |2452 | 847 | 13k|4610 | 1.900000e+01 | -- | Inf
448.90/449.06 c 449s| 13200 | 6564 | 3885k| 293.9 | 74M| 51 | 356 |2470 |3910 |2470 |2452 | 847 | 13k|4642 | 1.900000e+01 | -- | Inf
451.20/451.34 c 451s| 13300 | 6589 | 3905k| 293.2 | 74M| 51 | 407 |2470 |3964 |2470 |2452 | 847 | 13k|4670 | 1.900000e+01 | -- | Inf
454.11/454.21 c 454s| 13400 | 6612 | 3931k| 292.9 | 75M| 51 | 401 |2470 |4047 |2470 |2452 | 847 | 13k|4708 | 1.900000e+01 | -- | Inf
458.20/458.38 c 458s| 13500 | 6672 | 3972k| 293.8 | 75M| 51 | - |2470 |3989 | 0 | 0 | 847 | 13k|4749 | 1.900000e+01 | -- | Inf
460.70/460.90 c 461s| 13600 | 6715 | 3992k| 293.1 | 76M| 51 | 513 |2470 |3965 |2470 |2452 | 847 | 13k|4784 | 1.900000e+01 | -- | Inf
464.10/464.24 c 464s| 13700 | 6770 | 4027k| 293.5 | 76M| 51 | 360 |2470 |3983 |2470 |2452 | 847 | 13k|4814 | 1.900000e+01 | -- | Inf
466.80/466.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
466.80/466.93 c 467s| 13800 | 6808 | 4053k| 293.3 | 77M| 51 | - |2470 |3941 | 0 | 0 | 847 | 13k|4846 | 1.900000e+01 | -- | Inf
468.99/469.19 c 469s| 13900 | 6840 | 4075k| 292.8 | 77M| 51 | 570 |2470 |3973 |2470 |2452 | 847 | 14k|4870 | 1.900000e+01 | -- | Inf
471.49/471.62 c 472s| 14000 | 6870 | 4089k| 291.7 | 77M| 51 | - |2470 |4005 | 0 | 0 | 847 | 14k|4946 | 1.900000e+01 | -- | Inf
473.10/473.25 c 473s| 14100 | 6887 | 4102k| 290.5 | 77M| 51 | 597 |2470 |4067 |2470 |2452 | 847 | 14k|4967 | 1.900000e+01 | -- | Inf
474.79/474.99 c 475s| 14200 | 6909 | 4119k| 289.7 | 78M| 51 | 503 |2470 |4100 |2470 |2452 | 847 | 14k|4989 | 1.900000e+01 | -- | Inf
479.50/479.65 c 480s| 14300 | 6943 | 4151k| 289.9 | 78M| 51 | 433 |2470 |4564 |2470 |2452 | 847 | 14k|5026 | 1.940000e+01 | -- | Inf
481.90/482.07 c 482s| 14400 | 6978 | 4170k| 289.2 | 79M| 51 | - |2470 |4576 | 0 | 0 | 847 | 15k|5059 | 1.950000e+01 | -- | Inf
486.80/486.91 c 487s| 14500 | 7031 | 4218k| 290.5 | 79M| 51 | - |2470 |4752 | 0 | 0 | 847 | 15k|5076 | 1.980000e+01 | -- | Inf
489.09/489.24 c 489s| 14600 | 7063 | 4235k| 289.7 | 80M| 51 | 336 |2470 |4675 |2470 |2452 | 847 | 15k|5121 | 1.980000e+01 | -- | Inf
492.20/492.30 c 492s| 14700 | 7098 | 4262k| 289.5 | 80M| 51 | 345 |2470 |4493 |2470 |2452 | 847 | 15k|5161 | 2.000000e+01 | -- | Inf
494.39/494.57 c 495s| 14800 | 7113 | 4281k| 288.8 | 80M| 51 | - |2470 |4464 | 0 | 0 | 847 | 15k|5189 | 2.000000e+01 | -- | Inf
497.49/497.62 c 498s| 14900 | 7143 | 4310k| 288.9 | 81M| 51 | 406 |2470 |4307 |2470 |2452 | 847 | 15k|5216 | 2.000000e+01 | -- | Inf
499.69/499.87 c 500s| 15000 | 7177 | 4329k| 288.2 | 81M| 51 | - |2470 |4302 | 0 | 0 | 847 | 16k|5242 | 2.000000e+01 | -- | Inf
500.99/501.20 c 501s| 15100 | 7188 | 4341k| 287.1 | 81M| 51 | 298 |2470 |4223 |2470 |2452 | 847 | 16k|5243 | 2.000000e+01 | -- | Inf
503.29/503.49 c 503s| 15200 | 7218 | 4362k| 286.6 | 82M| 51 | 381 |2470 |4160 |2470 |2452 | 847 | 16k|5258 | 2.000000e+01 | -- | Inf
505.29/505.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
505.29/505.48 c 505s| 15300 | 7256 | 4383k| 286.1 | 82M| 51 | 310 |2470 |4037 |2470 |2452 | 847 | 16k|5270 | 2.000000e+01 | -- | Inf
506.79/506.91 c 507s| 15400 | 7270 | 4401k| 285.4 | 82M| 51 | 333 |2470 |4108 |2470 |2452 | 847 | 16k|5275 | 2.000000e+01 | -- | Inf
509.59/509.76 c 510s| 15500 | 7302 | 4436k| 285.8 | 83M| 51 | 451 |2470 |4113 |2470 |2452 | 847 | 16k|5280 | 2.000000e+01 | -- | Inf
514.08/514.28 c 514s| 15600 | 7361 | 4469k| 286.1 | 83M| 51 | 493 |2470 |4082 |2470 |2452 | 847 | 16k|5373 | 2.000000e+01 | -- | Inf
516.39/516.58 c 517s| 15700 | 7390 | 4503k| 286.4 | 83M| 51 | - |2470 |4069 | 0 | 0 | 847 | 16k|5387 | 2.000000e+01 | -- | Inf
518.69/518.82 c 519s| 15800 | 7404 | 4538k| 286.8 | 83M| 51 | 349 |2470 |4088 |2470 |2452 | 847 | 17k|5387 | 2.000000e+01 | -- | Inf
523.29/523.43 c 523s| 15900 | 7429 | 4582k| 287.8 | 84M| 51 | 667 |2470 |4221 |2470 |2452 | 847 | 17k|5399 | 2.000000e+01 | -- | Inf
525.59/525.75 c 526s| 16000 | 7464 | 4611k| 287.8 | 84M| 51 | 632 |2470 |4218 |2470 |2452 | 847 | 17k|5402 | 2.000000e+01 | -- | Inf
529.39/529.51 c 530s| 16100 | 7517 | 4638k| 287.7 | 84M| 51 | 440 |2470 |4133 |2470 |2452 | 847 | 17k|5466 | 2.000000e+01 | -- | Inf
531.19/531.35 c 531s| 16200 | 7536 | 4661k| 287.4 | 85M| 51 | 435 |2470 |4120 |2470 |2452 | 847 | 17k|5466 | 2.000000e+01 | -- | Inf
532.79/532.95 c 533s| 16300 | 7579 | 4683k| 287.0 | 85M| 51 | - |2470 |4076 | 0 | 0 | 847 | 17k|5466 | 2.000000e+01 | -- | Inf
534.88/535.01 c 535s| 16400 | 7628 | 4714k| 287.1 | 86M| 51 | 471 |2470 |4048 |2470 |2452 | 847 | 17k|5466 | 2.000000e+01 | -- | Inf
536.28/536.43 c 536s| 16500 | 7679 | 4737k| 286.7 | 86M| 51 | 470 |2470 |4072 |2470 |2452 | 847 | 17k|5466 | 2.000000e+01 | -- | Inf
537.48/537.68 c 538s| 16600 | 7704 | 4755k| 286.1 | 86M| 51 | 549 |2470 |4117 |2470 |2452 | 847 | 17k|5466 | 2.000000e+01 | -- | Inf
540.89/541.05 c 541s| 16700 | 7765 | 4807k| 287.5 | 87M| 51 | - |2470 |4242 | 0 | 0 | 847 | 18k|5466 | 2.000000e+01 | -- | Inf
542.68/542.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
542.68/542.80 c 543s| 16800 | 7783 | 4829k| 287.1 | 87M| 51 | 406 |2470 |4263 |2470 |2452 | 847 | 18k|5468 | 2.000000e+01 | -- | Inf
544.39/544.58 c 545s| 16900 | 7819 | 4852k| 286.8 | 87M| 51 | 337 |2470 |4125 |2470 |2452 | 847 | 18k|5469 | 2.000000e+01 | -- | Inf
546.69/546.84 c 547s| 17000 | 7850 | 4877k| 286.6 | 88M| 54 | - |2470 |4068 |2470 |2452 | 847 | 18k|5471 | 2.000000e+01 | -- | Inf
548.48/548.67 c 549s| 17100 | 7894 | 4901k| 286.3 | 88M| 54 | 585 |2470 |4079 |2470 |2452 | 847 | 18k|5472 | 2.000000e+01 | -- | Inf
549.98/550.11 c 550s| 17200 | 7903 | 4921k| 285.8 | 88M| 54 | 357 |2470 |4035 |2470 |2452 | 847 | 18k|5472 | 2.000000e+01 | -- | Inf
551.48/551.63 c 552s| 17300 | 7949 | 4941k| 285.3 | 89M| 54 | 661 |2470 |3987 |2470 |2452 | 847 | 18k|5474 | 2.000000e+01 | -- | Inf
553.78/553.99 c 554s| 17400 | 7985 | 4971k| 285.4 | 89M| 54 | 410 |2470 |3859 |2470 |2452 | 847 | 18k|5474 | 2.000000e+01 | -- | Inf
555.98/556.13 c 556s| 17500 | 8019 | 5002k| 285.5 | 90M| 54 | - |2470 |3756 |2470 |2452 | 847 | 19k|5474 | 2.000000e+01 | -- | Inf
556.78/556.96 c 557s| 17600 | 8031 | 5008k| 284.2 | 90M| 54 | 441 |2470 |3823 |2470 |2452 | 847 | 19k|5474 | 2.000000e+01 | -- | Inf
557.88/558.00 c 558s| 17700 | 8042 | 5018k| 283.2 | 90M| 54 | 475 |2470 |3851 |2470 |2452 | 847 | 19k|5474 | 2.000000e+01 | -- | Inf
560.08/560.23 c 560s| 17800 | 8084 | 5045k| 283.1 | 90M| 54 | 730 |2470 |3812 |2470 |2452 | 847 | 19k|5476 | 2.000000e+01 | -- | Inf
562.39/562.51 c 563s| 17900 | 8120 | 5072k| 283.0 | 91M| 54 | - |2470 |3769 |2470 |2452 | 847 | 19k|5476 | 2.000000e+01 | -- | Inf
563.38/563.51 c 564s| 18000 | 8154 | 5082k| 282.0 | 91M| 54 | - |2470 |3769 |2470 |2452 | 847 | 19k|5476 | 2.000000e+01 | -- | Inf
564.68/564.88 c 565s| 18100 | 8163 | 5100k| 281.4 | 91M| 54 | 497 |2470 |3832 |2470 |2452 | 847 | 19k|5476 | 2.000000e+01 | -- | Inf
565.98/566.17 c 566s| 18200 | 8213 | 5119k| 280.9 | 92M| 54 | - |2470 |3852 |2470 |2452 | 847 | 19k|5476 | 2.000000e+01 | -- | Inf
567.28/567.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
567.28/567.42 c 567s| 18300 | 8224 | 5135k| 280.3 | 92M| 54 | - |2470 |3944 |2470 |2452 | 847 | 19k|5476 | 2.000000e+01 | -- | Inf
568.28/568.48 c 568s| 18400 | 8227 | 5146k| 279.4 | 92M| 54 | 373 |2470 |4027 |2470 |2452 | 847 | 19k|5478 | 2.000000e+01 | -- | Inf
569.28/569.45 c 569s| 18500 | 8245 | 5157k| 278.5 | 92M| 54 | 589 |2470 |4093 |2470 |2452 | 847 | 20k|5478 | 2.000000e+01 | -- | Inf
570.48/570.68 c 571s| 18600 | 8276 | 5170k| 277.6 | 92M| 54 | 539 |2470 |4189 |2470 |2452 | 847 | 20k|5478 | 2.000000e+01 | -- | Inf
571.88/572.03 c 572s| 18700 | 8276 | 5186k| 277.0 | 93M| 54 | - |2470 |4238 |2470 |2452 | 847 | 20k|5478 | 2.000000e+01 | -- | Inf
573.58/573.74 c 574s| 18800 | 8301 | 5206k| 276.6 | 93M| 54 | 562 |2470 |4333 |2470 |2452 | 847 | 20k|5478 | 2.000000e+01 | -- | Inf
576.48/576.62 c 577s| 18900 | 8341 | 5232k| 276.5 | 93M| 54 | 507 |2470 |4334 |2470 |2452 | 847 | 20k|5515 | 2.000000e+01 | -- | Inf
577.68/577.80 c 578s| 19000 | 8338 | 5241k| 275.5 | 94M| 54 | 542 |2470 |4419 |2470 |2452 | 847 | 20k|5533 | 2.000000e+01 | -- | Inf
580.48/580.67 c 581s| 19100 | 8352 | 5264k| 275.3 | 94M| 54 | 588 |2470 |4678 |2470 |2452 | 847 | 21k|5569 | 2.000000e+01 | -- | Inf
582.58/582.78 c 583s| 19200 | 8365 | 5282k| 274.8 | 94M| 54 | 494 |2470 |4671 |2470 |2452 | 847 | 21k|5590 | 2.000000e+01 | -- | Inf
583.88/584.00 c 584s| 19300 | 8377 | 5291k| 273.9 | 94M| 54 | 329 |2470 |4677 |2470 |2452 | 847 | 21k|5599 | 2.000000e+01 | -- | Inf
585.57/585.74 c 586s| 19400 | 8387 | 5303k| 273.0 | 94M| 54 | 408 |2470 |4748 |2470 |2452 | 847 | 21k|5620 | 2.000000e+01 | -- | Inf
588.67/588.87 c 589s| 19500 | 8421 | 5337k| 273.4 | 95M| 54 | 293 |2470 |4699 |2470 |2452 | 847 | 21k|5654 | 2.000000e+01 | -- | Inf
591.08/591.28 c 591s| 19600 | 8432 | 5360k| 273.2 | 95M| 54 | - |2470 |4732 |2470 |2452 | 847 | 21k|5676 | 2.000000e+01 | -- | Inf
592.57/592.78 c 593s| 19700 | 8464 | 5377k| 272.6 | 95M| 54 | 479 |2470 |4772 |2470 |2452 | 847 | 21k|5688 | 2.000000e+01 | -- | Inf
595.08/595.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
595.08/595.22 c 595s| 19800 | 8479 | 5402k| 272.5 | 95M| 54 | 453 |2470 |4834 |2470 |2452 | 847 | 22k|5713 | 2.000000e+01 | -- | Inf
596.87/597.07 c 597s| 19900 | 8488 | 5421k| 272.1 | 95M| 54 | 683 |2470 |4820 |2470 |2452 | 847 | 22k|5742 | 2.000000e+01 | -- | Inf
598.58/598.74 c 599s| 20000 | 8501 | 5436k| 271.5 | 95M| 54 | - |2470 |4859 |2470 |2452 | 847 | 22k|5768 | 2.000000e+01 | -- | Inf
600.58/600.77 c 601s| 20100 | 8524 | 5455k| 271.1 | 95M| 54 | 750 |2470 |4795 |2470 |2452 | 847 | 22k|5806 | 2.000000e+01 | -- | Inf
602.68/602.84 c 603s| 20200 | 8516 | 5473k| 270.7 | 95M| 54 | 653 |2470 |4699 |2470 |2452 | 847 | 22k|5836 | 2.000000e+01 | -- | Inf
605.98/606.12 c 606s| 20300 | 8554 | 5505k| 270.9 | 95M| 54 | 490 |2470 |4647 |2470 |2452 | 847 | 22k|5863 | 2.000000e+01 | -- | Inf
608.57/608.70 c 609s| 20400 | 8553 | 5533k| 270.9 | 96M| 54 | - |2470 |4696 |2470 |2452 | 847 | 22k|5887 | 2.000000e+01 | -- | Inf
610.67/610.89 c 611s| 20500 | 8589 | 5551k| 270.5 | 96M| 54 | 355 |2470 |4535 |2470 |2452 | 847 | 22k|5914 | 2.000000e+01 | -- | Inf
611.97/612.12 c 612s| 20600 | 8598 | 5560k| 269.6 | 96M| 54 | 548 |2470 |4624 |2470 |2452 | 847 | 23k|5929 | 2.000000e+01 | -- | Inf
614.17/614.30 c 614s| 20700 | 8619 | 5579k| 269.3 | 96M| 54 | - |2470 |4525 | 0 | 0 | 847 | 23k|5959 | 2.000000e+01 | -- | Inf
615.67/615.90 c 616s| 20800 | 8635 | 5595k| 268.7 | 96M| 54 | 426 |2470 |4538 |2470 |2452 | 847 | 23k|5982 | 2.000000e+01 | -- | Inf
620.28/620.49 c 620s| 20900 | 8652 | 5626k| 268.9 | 97M| 54 | - |2470 |4746 |2470 |2452 | 847 | 23k|6030 | 2.000000e+01 | -- | Inf
621.97/622.14 c 622s| 21000 | 8665 | 5640k| 268.3 | 97M| 54 | 659 |2470 |4720 |2470 |2452 | 847 | 23k|6043 | 2.000000e+01 | -- | Inf
624.97/625.13 c 625s| 21100 | 8697 | 5670k| 268.5 | 97M| 54 | 438 |2470 |4658 |2470 |2452 | 847 | 24k|6066 | 2.000000e+01 | -- | Inf
626.97/627.17 c 627s| 21200 | 8727 | 5691k| 268.2 | 98M| 54 | 475 |2470 |4580 |2470 |2452 | 847 | 24k|6092 | 2.000000e+01 | -- | Inf
630.57/630.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
630.57/630.76 c 631s| 21300 | 8772 | 5715k| 268.0 | 98M| 54 | 287 |2470 |4713 |2470 |2452 | 847 | 24k|6111 | 2.000000e+01 | -- | Inf
633.17/633.34 c 633s| 21400 | 8785 | 5735k| 267.7 | 98M| 54 | 413 |2470 |4657 |2470 |2452 | 847 | 24k|6138 | 2.000000e+01 | -- | Inf
635.68/635.87 c 636s| 21500 | 8810 | 5756k| 267.5 | 98M| 54 | 402 |2470 |4527 |2470 |2452 | 847 | 24k|6176 | 2.000000e+01 | -- | Inf
637.57/637.76 c 638s| 21600 | 8822 | 5770k| 266.9 | 99M| 54 | - |2470 |4516 |2470 |2452 | 847 | 25k|6201 | 2.000000e+01 | -- | Inf
639.07/639.22 c 639s| 21700 | 8834 | 5781k| 266.2 | 99M| 54 | 472 |2470 |4536 |2470 |2452 | 847 | 25k|6229 | 2.020000e+01 | -- | Inf
640.77/640.90 c 641s| 21800 | 8842 | 5797k| 265.6 | 99M| 54 | 361 |2470 |4598 |2470 |2452 | 847 | 25k|6247 | 2.033333e+01 | -- | Inf
643.67/643.84 c 644s| 21900 | 8883 | 5821k| 265.6 | 99M| 54 | 483 |2470 |4593 |2470 |2452 | 847 | 25k|6294 | 2.033333e+01 | -- | Inf
645.47/645.67 c 646s| 22000 | 8890 | 5842k| 265.3 | 99M| 54 | 446 |2470 |4618 |2470 |2452 | 847 | 25k|6304 | 2.033333e+01 | -- | Inf
647.67/647.81 c 648s| 22100 | 8915 | 5859k| 264.9 | 100M| 54 | 367 |2470 |4621 |2470 |2452 | 847 | 25k|6321 | 2.033333e+01 | -- | Inf
650.17/650.34 c 650s| 22200 | 8937 | 5888k| 265.0 | 100M| 54 | 500 |2470 |4608 |2470 |2452 | 847 | 25k|6332 | 2.033333e+01 | -- | Inf
652.17/652.36 c 652s| 22300 | 8954 | 5907k| 264.6 | 100M| 54 | - |2470 |4694 | 0 | 0 | 847 | 25k|6360 | 2.033333e+01 | -- | Inf
655.76/655.95 c 656s| 22400 | 8974 | 5940k| 264.9 | 100M| 54 | 354 |2470 |4651 |2470 |2452 | 847 | 26k|6372 | 2.050000e+01 | -- | Inf
658.36/658.53 c 659s| 22500 | 9001 | 5962k| 264.7 | 100M| 54 | 343 |2470 |4593 |2470 |2452 | 847 | 26k|6401 | 2.100000e+01 | -- | Inf
661.36/661.57 c 662s| 22600 | 9050 | 5995k| 265.0 | 101M| 54 | - |2470 |4570 | 0 | 0 | 847 | 26k|6426 | 2.100000e+01 | -- | Inf
663.56/663.75 c 664s| 22700 | 9088 | 6017k| 264.8 | 101M| 54 | 285 |2470 |4636 |2470 |2452 | 847 | 26k|6445 | 2.100000e+01 | -- | Inf
665.27/665.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
665.27/665.44 c 665s| 22800 | 9097 | 6032k| 264.3 | 101M| 54 | 352 |2470 |4586 |2470 |2452 | 847 | 26k|6459 | 2.100000e+01 | -- | Inf
669.86/670.00 c 670s| 22900 | 9127 | 6071k| 264.9 | 102M| 54 | 335 |2470 |4630 |2470 |2452 | 847 | 26k|6491 | 2.100000e+01 | -- | Inf
672.87/673.02 c 673s| 23000 | 9154 | 6097k| 264.9 | 102M| 54 | 377 |2470 |4776 |2470 |2452 | 847 | 27k|6521 | 2.100000e+01 | -- | Inf
674.56/674.74 c 675s| 23100 | 9166 | 6114k| 264.4 | 103M| 54 | 235 |2470 |4813 |2470 |2452 | 847 | 27k|6541 | 2.100000e+01 | -- | Inf
676.26/676.40 c 676s| 23200 | 9177 | 6128k| 263.9 | 103M| 54 | - |2470 |4675 |2470 |2452 | 847 | 27k|6562 | 2.100000e+01 | -- | Inf
677.86/678.05 c 678s| 23300 | 9204 | 6142k| 263.4 | 103M| 54 | 509 |2470 |4731 |2470 |2452 | 847 | 27k|6583 | 2.100000e+01 | -- | Inf
679.56/679.77 c 680s| 23400 | 9212 | 6159k| 262.9 | 103M| 54 | - |2470 |4765 |2470 |2452 | 847 | 27k|6595 | 2.100000e+01 | -- | Inf
681.26/681.48 c 681s| 23500 | 9225 | 6172k| 262.4 | 103M| 54 | 237 |2470 |4856 |2470 |2452 | 847 | 27k|6622 | 2.100000e+01 | -- | Inf
682.76/682.90 c 683s| 23600 | 9217 | 6182k| 261.7 | 103M| 54 | 574 |2470 |4936 |2470 |2452 | 847 | 27k|6638 | 2.100000e+01 | -- | Inf
684.46/684.68 c 685s| 23700 | 9224 | 6198k| 261.3 | 104M| 54 | - |2470 |4921 | 0 | 0 | 847 | 27k|6661 | 2.100000e+01 | -- | Inf
687.56/687.76 c 688s| 23800 | 9238 | 6226k| 261.3 | 104M| 54 | - |2470 |4755 | 0 | 0 | 847 | 28k|6713 | 2.100000e+01 | -- | Inf
690.26/690.46 c 690s| 23900 | 9280 | 6250k| 261.3 | 105M| 54 | - |2470 |4688 |2470 |2452 | 847 | 28k|6750 | 2.100000e+01 | -- | Inf
696.16/696.31 c 696s| 24000 | 9326 | 6299k| 262.2 | 105M| 54 | 366 |2470 |4733 |2470 |2452 | 847 | 28k|6782 | 2.100000e+01 | -- | Inf
697.56/697.71 c 698s| 24100 | 9364 | 6309k| 261.6 | 105M| 54 | 297 |2470 |4658 |2470 |2452 | 847 | 28k|6797 | 2.100000e+01 | -- | Inf
699.47/699.61 c 700s| 24200 | 9404 | 6329k| 261.3 | 106M| 54 | 382 |2470 |4645 |2470 |2452 | 847 | 28k|6818 | 2.100000e+01 | -- | Inf
700.85/701.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
700.85/701.02 c 701s| 24300 | 9396 | 6341k| 260.7 | 106M| 54 | 581 |2470 |4727 |2470 |2452 | 847 | 28k|6838 | 2.100000e+01 | -- | Inf
704.06/704.24 c 704s| 24400 | 9414 | 6371k| 260.9 | 106M| 54 | 729 |2470 |4857 |2470 |2452 | 847 | 29k|6865 | 2.100000e+01 | -- | Inf
706.66/706.83 c 707s| 24500 | 9443 | 6398k| 260.9 | 106M| 54 | 299 |2470 |4865 |2470 |2452 | 847 | 29k|6887 | 2.100000e+01 | -- | Inf
709.06/709.28 c 709s| 24600 | 9504 | 6425k| 260.9 | 107M| 54 | 441 |2470 |4882 |2470 |2452 | 847 | 29k|6918 | 2.100000e+01 | -- | Inf
711.96/712.17 c 712s| 24700 | 9557 | 6461k| 261.4 | 107M| 54 | - |2470 |4809 | 0 | 0 | 847 | 29k|6945 | 2.100000e+01 | -- | Inf
713.95/714.19 c 714s| 24800 | 9595 | 6481k| 261.1 | 107M| 54 | 581 |2470 |4799 |2470 |2452 | 847 | 29k|6971 | 2.100000e+01 | -- | Inf
715.75/715.98 c 716s| 24900 | 9656 | 6497k| 260.7 | 108M| 54 | 356 |2470 |4796 |2470 |2452 | 847 | 29k|6994 | 2.100000e+01 | -- | Inf
717.66/717.89 c 718s| 25000 | 9696 | 6517k| 260.4 | 108M| 54 | 276 |2470 |4808 |2470 |2452 | 847 | 29k|7009 | 2.100000e+01 | -- | Inf
718.86/719.09 c 719s| 25100 | 9699 | 6523k| 259.7 | 108M| 58 | - |2470 |4847 |2470 |2452 | 847 | 29k|7026 | 2.100000e+01 | -- | Inf
721.06/721.26 c 721s| 25200 | 9734 | 6544k| 259.5 | 109M| 58 | 447 |2470 |4765 |2470 |2452 | 847 | 29k|7054 | 2.100000e+01 | -- | Inf
722.26/722.46 c 722s| 25300 | 9736 | 6554k| 258.8 | 109M| 58 | - |2470 |4825 |2470 |2452 | 847 | 30k|7063 | 2.100000e+01 | -- | Inf
724.15/724.30 c 724s| 25400 | 9736 | 6572k| 258.5 | 109M| 58 | 323 |2470 |4799 |2470 |2452 | 847 | 30k|7082 | 2.100000e+01 | -- | Inf
726.15/726.35 c 726s| 25500 | 9760 | 6588k| 258.1 | 109M| 58 | 404 |2470 |4829 |2470 |2452 | 847 | 30k|7118 | 2.100000e+01 | -- | Inf
727.75/727.92 c 728s| 25600 | 9782 | 6601k| 257.6 | 109M| 58 | 371 |2470 |4810 |2470 |2452 | 847 | 30k|7134 | 2.100000e+01 | -- | Inf
730.45/730.60 c 731s| 25700 | 9834 | 6628k| 257.7 | 109M| 58 | 310 |2470 |4691 |2470 |2452 | 847 | 30k|7161 | 2.100000e+01 | -- | Inf
732.15/732.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
732.15/732.39 c 732s| 25800 | 9852 | 6647k| 257.4 | 110M| 58 | 284 |2470 |4746 |2470 |2452 | 847 | 30k|7186 | 2.100000e+01 | -- | Inf
735.85/736.00 c 736s| 25900 | 9871 | 6678k| 257.6 | 110M| 58 | 436 |2470 |4731 |2470 |2452 | 847 | 30k|7228 | 2.100000e+01 | -- | Inf
736.95/737.14 c 737s| 26000 | 9889 | 6689k| 257.0 | 110M| 58 | 370 |2470 |4704 |2470 |2452 | 847 | 30k|7228 | 2.100000e+01 | -- | Inf
739.15/739.39 c 739s| 26100 | 9919 | 6712k| 256.9 | 110M| 58 | 349 |2470 |4772 |2470 |2452 | 847 | 31k|7237 | 2.100000e+01 | -- | Inf
741.65/741.88 c 742s| 26200 | 9963 | 6738k| 257.0 | 111M| 58 | 394 |2470 |4720 |2470 |2452 | 847 | 31k|7260 | 2.100000e+01 | -- | Inf
744.35/744.57 c 745s| 26300 | 9984 | 6767k| 257.1 | 111M| 58 | 435 |2470 |4687 |2470 |2452 | 847 | 31k|7295 | 2.100000e+01 | -- | Inf
746.25/746.46 c 746s| 26400 | 10002 | 6781k| 256.6 | 111M| 58 | 434 |2470 |4658 |2470 |2452 | 847 | 31k|7320 | 2.100000e+01 | -- | Inf
747.86/748.02 c 748s| 26500 | 10025 | 6794k| 256.2 | 111M| 58 | 407 |2470 |4693 |2470 |2452 | 847 | 31k|7330 | 2.100000e+01 | -- | Inf
750.15/750.39 c 750s| 26600 | 10035 | 6811k| 255.8 | 111M| 58 | 374 |2470 |4683 |2470 |2452 | 847 | 31k|7354 | 2.100000e+01 | -- | Inf
752.65/752.88 c 753s| 26700 | 10057 | 6836k| 255.8 | 111M| 58 | 308 |2470 |4558 |2470 |2452 | 847 | 31k|7367 | 2.100000e+01 | -- | Inf
754.46/754.69 c 755s| 26800 | 10080 | 6852k| 255.4 | 112M| 58 | 374 |2470 |4537 |2470 |2452 | 847 | 31k|7387 | 2.100000e+01 | -- | Inf
756.65/756.81 c 757s| 26900 | 10111 | 6870k| 255.2 | 112M| 58 | 319 |2470 |4534 |2470 |2452 | 847 | 32k|7423 | 2.100000e+01 | -- | Inf
758.85/759.01 c 759s| 27000 | 10157 | 6894k| 255.1 | 112M| 58 | 378 |2470 |4482 |2470 |2452 | 847 | 32k|7440 | 2.100000e+01 | -- | Inf
760.55/760.79 c 761s| 27100 | 10182 | 6906k| 254.6 | 113M| 58 | 357 |2470 |4523 |2470 |2452 | 847 | 32k|7464 | 2.100000e+01 | -- | Inf
762.05/762.26 c 762s| 27200 | 10193 | 6921k| 254.2 | 113M| 58 | - |2470 |4541 |2470 |2452 | 847 | 32k|7473 | 2.100000e+01 | -- | Inf
764.44/764.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
764.44/764.61 c 765s| 27300 | 10203 | 6942k| 254.1 | 114M| 58 | - |2470 |4581 |2470 |2452 | 847 | 32k|7492 | 2.100000e+01 | -- | Inf
766.35/766.52 c 767s| 27400 | 10231 | 6968k| 254.1 | 114M| 58 | 372 |2470 |4606 |2470 |2452 | 847 | 32k|7492 | 2.100000e+01 | -- | Inf
767.85/768.04 c 768s| 27500 | 10247 | 6981k| 253.7 | 114M| 58 | 254 |2470 |4662 |2470 |2452 | 847 | 32k|7509 | 2.100000e+01 | -- | Inf
769.45/769.63 c 770s| 27600 | 10257 | 6996k| 253.3 | 114M| 58 | 300 |2470 |4737 |2470 |2452 | 847 | 33k|7533 | 2.100000e+01 | -- | Inf
771.15/771.36 c 771s| 27700 | 10273 | 7009k| 252.8 | 115M| 58 | 476 |2470 |4798 |2470 |2452 | 847 | 33k|7569 | 2.100000e+01 | -- | Inf
772.64/772.80 c 773s| 27800 | 10280 | 7023k| 252.4 | 115M| 58 | - |2470 |4853 | 0 | 0 | 847 | 33k|7585 | 2.100000e+01 | -- | Inf
774.55/774.72 c 775s| 27900 | 10301 | 7038k| 252.0 | 115M| 58 | 381 |2470 |4821 |2470 |2452 | 847 | 33k|7612 | 2.100000e+01 | -- | Inf
776.35/776.58 c 777s| 28000 | 10302 | 7058k| 251.9 | 116M| 58 | - |2470 |4861 | 0 | 0 | 847 | 33k|7636 | 2.100000e+01 | -- | Inf
780.75/780.93 c 781s| 28100 | 10323 | 7103k| 252.6 | 116M| 58 | 529 |2470 |4915 |2470 |2452 | 847 | 33k|7669 | 2.100000e+01 | -- | Inf
782.74/782.90 c 783s| 28200 | 10339 | 7117k| 252.2 | 116M| 58 | 456 |2470 |4913 |2470 |2452 | 847 | 33k|7693 | 2.111765e+01 | -- | Inf
785.25/785.42 c 785s| 28300 | 10351 | 7141k| 252.1 | 116M| 58 | 341 |2470 |5032 |2470 |2452 | 847 | 34k|7706 | 2.111765e+01 | -- | Inf
787.45/787.62 c 788s| 28400 | 10364 | 7161k| 252.0 | 116M| 58 | 509 |2470 |5014 |2470 |2452 | 847 | 34k|7722 | 2.111765e+01 | -- | Inf
789.85/790.08 c 790s| 28500 | 10372 | 7182k| 251.8 | 117M| 58 | - |2470 |5024 | 0 | 0 | 847 | 34k|7753 | 2.111765e+01 | -- | Inf
791.34/791.50 c 791s| 28600 | 10389 | 7198k| 251.5 | 117M| 58 | - |2470 |4947 |2470 |2452 | 847 | 34k|7753 | 2.111765e+01 | -- | Inf
793.05/793.26 c 793s| 28700 | 10404 | 7213k| 251.1 | 117M| 58 | - |2470 |4939 |2470 |2452 | 847 | 34k|7763 | 2.120000e+01 | -- | Inf
794.24/794.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
794.24/794.41 c 794s| 28800 | 10392 | 7225k| 250.7 | 117M| 58 | 284 |2470 |4802 |2470 |2452 | 847 | 34k|7764 | 2.120000e+01 | -- | Inf
797.85/798.03 c 798s| 28900 | 10437 | 7253k| 250.8 | 117M| 58 | 670 |2470 |4647 |2470 |2452 | 847 | 34k|7801 | 2.140000e+01 | -- | Inf
799.85/800.10 c 800s| 29000 | 10446 | 7270k| 250.5 | 117M| 58 | 400 |2470 |4644 |2470 |2452 | 847 | 35k|7824 | 2.160000e+01 | -- | Inf
802.34/802.58 c 803s| 29100 | 10473 | 7292k| 250.4 | 118M| 58 | 358 |2470 |4591 |2470 |2452 | 847 | 35k|7847 | 2.180000e+01 | -- | Inf
803.74/803.92 c 804s| 29200 | 10499 | 7310k| 250.2 | 118M| 58 | 379 |2470 |4578 |2470 |2452 | 847 | 35k|7849 | 2.200000e+01 | -- | Inf
806.24/806.44 c 806s| 29300 | 10514 | 7329k| 249.9 | 119M| 58 | - |2470 |4560 | 0 | 0 | 847 | 35k|7878 | 2.200000e+01 | -- | Inf
808.14/808.40 c 808s| 29400 | 10536 | 7345k| 249.6 | 119M| 58 | 419 |2470 |4581 |2470 |2452 | 847 | 35k|7898 | 2.200000e+01 | -- | Inf
809.74/809.96 c 810s| 29500 | 10548 | 7358k| 249.2 | 119M| 58 | 366 |2470 |4569 |2470 |2452 | 847 | 35k|7912 | 2.200000e+01 | -- | Inf
813.24/813.42 c 813s| 29600 | 10580 | 7388k| 249.4 | 119M| 58 | - |2470 |4472 | 0 | 0 | 847 | 35k|7944 | 2.200000e+01 | -- | Inf
815.95/816.13 c 816s| 29700 | 10633 | 7423k| 249.7 | 120M| 58 | - |2470 |4452 | 0 | 0 | 847 | 35k|7963 | 2.200000e+01 | -- | Inf
817.74/817.93 c 818s| 29800 | 10643 | 7437k| 249.4 | 120M| 58 | 527 |2470 |4452 |2470 |2452 | 847 | 36k|7997 | 2.200000e+01 | -- | Inf
819.35/819.53 c 820s| 29900 | 10655 | 7454k| 249.1 | 120M| 58 | 491 |2470 |4485 |2470 |2452 | 847 | 36k|8011 | 2.200000e+01 | -- | Inf
820.74/820.98 c 821s| 30000 | 10652 | 7469k| 248.8 | 120M| 58 | 442 |2470 |4553 |2470 |2452 | 847 | 36k|8024 | 2.200000e+01 | -- | Inf
824.63/824.81 c 825s| 30100 | 10673 | 7512k| 249.4 | 120M| 58 | 509 |2470 |4704 |2470 |2452 | 847 | 36k|8051 | 2.200000e+01 | -- | Inf
826.24/826.43 c 826s| 30200 | 10678 | 7528k| 249.1 | 120M| 58 | 527 |2470 |4777 |2470 |2452 | 847 | 36k|8070 | 2.200000e+01 | -- | Inf
827.94/828.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
827.94/828.16 c 828s| 30300 | 10687 | 7541k| 248.7 | 120M| 58 | - |2470 |4836 | 0 | 0 | 847 | 36k|8104 | 2.200000e+01 | -- | Inf
830.34/830.55 c 831s| 30400 | 10712 | 7568k| 248.8 | 121M| 58 | 518 |2470 |4864 |2470 |2452 | 847 | 37k|8128 | 2.200000e+01 | -- | Inf
832.63/832.82 c 833s| 30500 | 10729 | 7588k| 248.6 | 121M| 58 | - |2470 |4941 |2470 |2452 | 847 | 37k|8172 | 2.200000e+01 | -- | Inf
833.55/833.77 c 834s| 30600 | 10740 | 7601k| 248.2 | 121M| 58 | - |2470 |5013 |2470 |2452 | 847 | 37k|8172 | 2.200000e+01 | -- | Inf
834.54/834.79 c 835s| 30700 | 10760 | 7613k| 247.8 | 121M| 58 | 437 |2470 |5053 |2470 |2452 | 847 | 37k|8172 | 2.200000e+01 | -- | Inf
836.24/836.44 c 836s| 30800 | 10759 | 7626k| 247.4 | 121M| 58 | 482 |2470 |5117 |2470 |2452 | 847 | 37k|8198 | 2.200000e+01 | -- | Inf
838.13/838.34 c 838s| 30900 | 10734 | 7639k| 247.0 | 121M| 58 | 375 |2470 |5087 |2470 |2452 | 847 | 37k|8236 | 2.200000e+01 | -- | Inf
839.23/839.43 c 839s| 31000 | 10725 | 7654k| 246.7 | 121M| 58 | 410 |2470 |5039 |2470 |2452 | 847 | 37k|8237 | 2.200000e+01 | -- | Inf
842.03/842.28 c 842s| 31100 | 10726 | 7682k| 246.8 | 121M| 58 | - |2470 |5133 | 0 | 0 | 847 | 37k|8273 | 2.200000e+01 | -- | Inf
843.83/844.06 c 844s| 31200 | 10737 | 7698k| 246.5 | 121M| 58 | - |2470 |5163 | 0 | 0 | 847 | 38k|8297 | 2.200000e+01 | -- | Inf
845.73/845.94 c 846s| 31300 | 10751 | 7713k| 246.3 | 122M| 58 | 552 |2470 |5180 |2470 |2452 | 847 | 38k|8325 | 2.200000e+01 | -- | Inf
846.84/847.07 c 847s| 31400 | 10742 | 7726k| 245.9 | 122M| 58 | - |2470 |5204 | 0 | 0 | 847 | 38k|8328 | 2.200000e+01 | -- | Inf
848.94/849.15 c 849s| 31500 | 10760 | 7749k| 245.8 | 122M| 58 | 423 |2470 |5136 |2470 |2452 | 847 | 38k|8346 | 2.200000e+01 | -- | Inf
852.73/852.90 c 853s| 31600 | 10793 | 7786k| 246.2 | 122M| 58 | 580 |2470 |4877 |2470 |2452 | 847 | 38k|8391 | 2.200000e+01 | -- | Inf
855.23/855.42 c 855s| 31700 | 10811 | 7811k| 246.2 | 122M| 58 | 825 |2470 |4740 |2470 |2452 | 847 | 38k|8416 | 2.200000e+01 | -- | Inf
857.43/857.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
857.43/857.64 c 858s| 31800 | 10841 | 7839k| 246.3 | 123M| 58 | 526 |2470 |4703 |2470 |2452 | 847 | 38k|8419 | 2.200000e+01 | -- | Inf
859.53/859.78 c 860s| 31900 | 10855 | 7862k| 246.3 | 123M| 58 | 460 |2470 |4589 |2470 |2452 | 847 | 39k|8428 | 2.200000e+01 | -- | Inf
861.23/861.45 c 861s| 32000 | 10897 | 7881k| 246.1 | 123M| 58 | 357 |2470 |4611 |2470 |2452 | 847 | 39k|8440 | 2.200000e+01 | -- | Inf
862.33/862.58 c 863s| 32100 | 10895 | 7894k| 245.7 | 123M| 58 | 377 |2470 |4695 |2470 |2452 | 847 | 39k|8440 | 2.200000e+01 | -- | Inf
863.93/864.19 c 864s| 32200 | 10899 | 7910k| 245.5 | 123M| 58 | 377 |2470 |4686 |2470 |2452 | 847 | 39k|8451 | 2.200000e+01 | -- | Inf
865.13/865.33 c 865s| 32300 | 10913 | 7923k| 245.1 | 124M| 58 | 274 |2470 |4732 |2470 |2452 | 847 | 39k|8452 | 2.200000e+01 | -- | Inf
868.03/868.21 c 868s| 32400 | 10926 | 7956k| 245.4 | 124M| 58 | 405 |2470 |4808 |2470 |2452 | 847 | 39k|8459 | 2.200000e+01 | -- | Inf
869.83/870.07 c 870s| 32500 | 10957 | 7982k| 245.4 | 124M| 58 | 440 |2470 |4838 |2470 |2452 | 847 | 40k|8460 | 2.200000e+01 | -- | Inf
871.53/871.73 c 872s| 32600 | 10971 | 8003k| 245.3 | 125M| 58 | 453 |2470 |4851 |2470 |2452 | 847 | 40k|8465 | 2.200000e+01 | -- | Inf
872.53/872.79 c 873s| 32700 | 10976 | 8018k| 245.0 | 125M| 58 | - |2470 |4957 | 0 | 0 | 847 | 40k|8465 | 2.200000e+01 | -- | Inf
873.83/874.04 c 874s| 32800 | 10997 | 8032k| 244.7 | 125M| 58 | 394 |2470 |4936 |2470 |2452 | 847 | 40k|8465 | 2.200000e+01 | -- | Inf
874.83/875.07 c 875s| 32900 | 11002 | 8043k| 244.3 | 125M| 58 | 355 |2470 |5028 |2470 |2452 | 847 | 40k|8465 | 2.200000e+01 | -- | Inf
876.53/876.73 c 877s| 33000 | 11021 | 8062k| 244.1 | 126M| 58 | 497 |2470 |5059 |2470 |2452 | 847 | 40k|8471 | 2.200000e+01 | -- | Inf
878.73/878.95 c 879s| 33100 | 11057 | 8082k| 244.0 | 126M| 58 | 302 |2470 |4977 |2470 |2452 | 847 | 40k|8489 | 2.200000e+01 | -- | Inf
880.42/880.61 c 881s| 33200 | 11070 | 8104k| 243.9 | 126M| 58 | 321 |2470 |5033 |2470 |2452 | 847 | 41k|8489 | 2.200000e+01 | -- | Inf
883.72/883.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.72/883.96 c 884s| 33300 | 11109 | 8145k| 244.4 | 126M| 58 | - |2470 |4884 | 0 | 0 | 847 | 41k|8489 | 2.220000e+01 | -- | Inf
885.62/885.85 c 886s| 33400 | 11133 | 8166k| 244.3 | 127M| 58 | - |2470 |4761 | 0 | 0 | 847 | 41k|8491 | 2.220000e+01 | -- | Inf
887.53/887.79 c 888s| 33500 | 11155 | 8190k| 244.3 | 127M| 58 | 543 |2470 |4594 |2470 |2452 | 847 | 41k|8492 | 2.222222e+01 | -- | Inf
890.23/890.42 c 890s| 33600 | 11170 | 8225k| 244.6 | 127M| 58 | 563 |2470 |4605 |2470 |2452 | 847 | 41k|8492 | 2.223529e+01 | -- | Inf
891.23/891.46 c 891s| 33700 | 11177 | 8235k| 244.2 | 127M| 58 | - |2470 |4605 | 0 | 0 | 847 | 41k|8492 | 2.223529e+01 | -- | Inf
892.83/893.00 c 893s| 33800 | 11180 | 8254k| 244.0 | 127M| 58 | 469 |2470 |4603 |2470 |2452 | 847 | 42k|8492 | 2.223529e+01 | -- | Inf
894.23/894.49 c 894s| 33900 | 11212 | 8273k| 243.9 | 128M| 58 | - |2470 |4614 |2470 |2452 | 847 | 42k|8492 | 2.266667e+01 | -- | Inf
896.03/896.25 c 896s| 34000 | 11227 | 8297k| 243.9 | 128M| 58 | 382 |2470 |4586 |2470 |2452 | 847 | 42k|8492 | 2.266667e+01 | -- | Inf
898.23/898.46 c 898s| 34100 | 11234 | 8320k| 243.8 | 128M| 58 | - |2470 |4603 |2470 |2452 | 847 | 42k|8492 | 2.266667e+01 | -- | Inf
899.63/899.85 c 900s| 34200 | 11245 | 8337k| 243.6 | 129M| 58 | 319 |2470 |4541 |2470 |2452 | 847 | 42k|8492 | 2.280000e+01 | -- | Inf
900.63/900.81 c 901s| 34300 | 11250 | 8347k| 243.2 | 129M| 58 | - |2470 |4591 | 0 | 0 | 847 | 42k|8492 | 2.280000e+01 | -- | Inf
902.42/902.60 c 903s| 34400 | 11252 | 8365k| 243.0 | 129M| 58 | 464 |2470 |4521 |2470 |2452 | 847 | 43k|8493 | 2.280000e+01 | -- | Inf
903.82/904.07 c 904s| 34500 | 11294 | 8385k| 242.9 | 129M| 58 | 334 |2470 |4529 |2470 |2452 | 847 | 43k|8493 | 2.280000e+01 | -- | Inf
905.32/905.50 c 906s| 34600 | 11294 | 8400k| 242.6 | 130M| 58 | 648 |2470 |4581 |2470 |2452 | 847 | 43k|8493 | 2.280000e+01 | -- | Inf
906.72/906.90 c 907s| 34700 | 11298 | 8419k| 242.5 | 130M| 58 | 433 |2470 |4614 |2470 |2452 | 847 | 43k|8493 | 2.280000e+01 | -- | Inf
909.02/909.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
909.02/909.26 c 909s| 34800 | 11318 | 8449k| 242.6 | 130M| 58 | - |2470 |4570 | 0 | 0 | 847 | 43k|8493 | 2.280000e+01 | -- | Inf
911.92/912.13 c 912s| 34900 | 11349 | 8483k| 242.9 | 131M| 58 | 728 |2470 |4520 |2470 |2452 | 847 | 43k|8493 | 2.300000e+01 | -- | Inf
914.12/914.30 c 914s| 35000 | 11363 | 8511k| 243.0 | 131M| 58 | 533 |2470 |4529 |2470 |2452 | 847 | 44k|8493 | 2.300000e+01 | -- | Inf
915.33/915.59 c 916s| 35100 | 11373 | 8528k| 242.8 | 131M| 58 | 491 |2470 |4528 |2470 |2452 | 847 | 44k|8493 | 2.300000e+01 | -- | Inf
916.82/917.00 c 917s| 35200 | 11390 | 8545k| 242.6 | 131M| 58 | - |2470 |4496 | 0 | 0 | 847 | 44k|8493 | 2.300000e+01 | -- | Inf
918.42/918.63 c 919s| 35300 | 11421 | 8567k| 242.5 | 131M| 58 | 268 |2470 |4391 |2470 |2452 | 847 | 44k|8493 | 2.300000e+01 | -- | Inf
919.52/919.79 c 920s| 35400 | 11422 | 8581k| 242.2 | 132M| 58 | - |2470 |4390 |2470 |2452 | 847 | 44k|8493 | 2.300000e+01 | -- | Inf
921.03/921.21 c 921s| 35500 | 11442 | 8601k| 242.1 | 132M| 58 | 374 |2470 |4365 |2470 |2452 | 847 | 44k|8493 | 2.300000e+01 | -- | Inf
922.63/922.89 c 923s| 35600 | 11454 | 8624k| 242.1 | 132M| 58 | 420 |2470 |4320 |2470 |2452 | 847 | 44k|8498 | 2.300000e+01 | -- | Inf
924.83/925.03 c 925s| 35700 | 11456 | 8645k| 242.0 | 132M| 58 | 299 |2470 |4398 |2470 |2452 | 847 | 44k|8498 | 2.300000e+01 | -- | Inf
926.22/926.47 c 926s| 35800 | 11478 | 8662k| 241.8 | 132M| 58 | 354 |2470 |4427 |2470 |2452 | 847 | 45k|8498 | 2.300000e+01 | -- | Inf
928.13/928.40 c 928s| 35900 | 11501 | 8689k| 241.9 | 133M| 58 | 367 |2470 |4421 |2470 |2452 | 847 | 45k|8498 | 2.300000e+01 | -- | Inf
929.52/929.74 c 930s| 36000 | 11506 | 8708k| 241.7 | 133M| 58 | 320 |2470 |4439 |2470 |2452 | 847 | 45k|8498 | 2.300000e+01 | -- | Inf
931.22/931.49 c 931s| 36100 | 11530 | 8727k| 241.6 | 133M| 58 | 374 |2470 |4577 |2470 |2452 | 847 | 45k|8498 | 2.300000e+01 | -- | Inf
933.41/933.63 c 934s| 36200 | 11564 | 8749k| 241.5 | 133M| 58 | 565 |2470 |4566 |2470 |2452 | 847 | 45k|8498 | 2.300000e+01 | -- | Inf
935.02/935.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
935.02/935.29 c 935s| 36300 | 11587 | 8766k| 241.3 | 134M| 58 | 321 |2470 |4535 |2470 |2452 | 847 | 45k|8498 | 2.300000e+01 | -- | Inf
937.62/937.82 c 938s| 36400 | 11612 | 8793k| 241.4 | 134M| 58 | 299 |2470 |4474 |2470 |2452 | 847 | 46k|8498 | 2.300000e+01 | -- | Inf
939.12/939.34 c 939s| 36500 | 11638 | 8812k| 241.3 | 134M| 58 | 435 |2470 |4415 |2470 |2452 | 847 | 46k|8498 | 2.300000e+01 | -- | Inf
940.33/940.54 c 941s| 36600 | 11659 | 8826k| 241.0 | 135M| 58 | 366 |2470 |4399 |2470 |2452 | 847 | 46k|8498 | 2.300000e+01 | -- | Inf
941.62/941.81 c 942s| 36700 | 11675 | 8842k| 240.8 | 135M| 58 | - |2470 |4436 |2470 |2452 | 847 | 46k|8498 | 2.300000e+01 | -- | Inf
944.11/944.39 c 944s| 36800 | 11690 | 8868k| 240.8 | 135M| 58 | - |2470 |4600 | 0 | 0 | 847 | 46k|8510 | 2.300000e+01 | -- | Inf
946.92/947.14 c 947s| 36900 | 11701 | 8896k| 240.9 | 135M| 58 | - |2470 |4501 | 0 | 0 | 847 | 46k|8535 | 2.300000e+01 | -- | Inf
949.32/949.58 c 950s| 37000 | 11745 | 8922k| 241.0 | 136M| 58 | 325 |2470 |4389 |2470 |2452 | 847 | 47k|8549 | 2.300000e+01 | -- | Inf
951.91/952.14 c 952s| 37100 | 11753 | 8944k| 240.9 | 135M| 58 | 625 |2470 |4409 |2470 |2452 | 847 | 47k|8593 | 2.300000e+01 | -- | Inf
953.32/953.58 c 954s| 37200 | 11772 | 8958k| 240.7 | 136M| 58 | - |2470 |4330 | 0 | 0 | 847 | 47k|8596 | 2.311111e+01 | -- | Inf
955.62/955.86 c 956s| 37300 | 11790 | 8978k| 240.5 | 136M| 58 | 352 |2470 |4193 |2470 |2452 | 847 | 47k|8618 | 2.320000e+01 | -- | Inf
958.01/958.26 c 958s| 37400 | 11813 | 8999k| 240.5 | 136M| 58 | 318 |2470 |4243 |2470 |2452 | 847 | 47k|8648 | 2.333333e+01 | -- | Inf
960.21/960.47 c 960s| 37500 | 11843 | 9020k| 240.4 | 137M| 58 | 234 |2470 |4249 |2470 |2452 | 847 | 47k|8677 | 2.350000e+01 | -- | Inf
961.62/961.82 c 962s| 37600 | 11855 | 9032k| 240.1 | 137M| 58 | 391 |2470 |4318 |2470 |2452 | 847 | 47k|8690 | 2.350000e+01 | -- | Inf
966.01/966.24 c 966s| 37700 | 11882 | 9064k| 240.3 | 137M| 58 | 454 |2470 |4510 |2470 |2452 | 847 | 48k|8709 | 2.380000e+01 | -- | Inf
968.31/968.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
968.31/968.58 c 969s| 37800 | 11906 | 9090k| 240.3 | 137M| 58 | 266 |2470 |4489 |2470 |2452 | 847 | 48k|8733 | 2.400000e+01 | -- | Inf
971.31/971.57 c 972s| 37900 | 11916 | 9113k| 240.3 | 138M| 58 | 323 |2470 |4561 |2470 |2452 | 847 | 48k|8765 | 2.400000e+01 | -- | Inf
972.71/972.97 c 973s| 38000 | 11942 | 9130k| 240.1 | 138M| 58 | 402 |2470 |4588 |2470 |2452 | 847 | 48k|8765 | 2.400000e+01 | -- | Inf
974.71/974.99 c 975s| 38100 | 11968 | 9149k| 240.0 | 138M| 58 | - |2470 |4583 | 0 | 0 | 847 | 48k|8783 | 2.400000e+01 | -- | Inf
975.62/975.82 c 976s| 38200 | 11966 | 9158k| 239.6 | 138M| 58 | 261 |2470 |4677 |2470 |2452 | 847 | 48k|8783 | 2.400000e+01 | -- | Inf
978.82/979.04 c 979s| 38300 | 11981 | 9179k| 239.5 | 139M| 58 | 355 |2470 |4872 |2470 |2452 | 847 | 49k|8799 | 2.400000e+01 | -- | Inf
980.11/980.33 c 980s| 38400 | 11977 | 9192k| 239.2 | 139M| 58 | 528 |2470 |4822 |2470 |2452 | 847 | 49k|8802 | 2.400000e+01 | -- | Inf
982.61/982.88 c 983s| 38500 | 12005 | 9214k| 239.2 | 139M| 58 | - |2470 |4825 | 0 | 0 | 847 | 49k|8847 | 2.400000e+01 | -- | Inf
985.51/985.73 c 986s| 38600 | 11998 | 9236k| 239.1 | 139M| 58 | 393 |2470 |4813 |2470 |2452 | 847 | 49k|8896 | 2.400000e+01 | -- | Inf
987.41/987.60 c 988s| 38700 | 12030 | 9261k| 239.2 | 139M| 58 | 360 |2470 |4752 |2470 |2452 | 847 | 49k|8896 | 2.400000e+01 | -- | Inf
989.11/989.32 c 989s| 38800 | 12046 | 9276k| 238.9 | 140M| 58 | 315 |2470 |4751 |2470 |2452 | 847 | 49k|8927 | 2.400000e+01 | -- | Inf
990.21/990.40 c 990s| 38900 | 12051 | 9289k| 238.6 | 140M| 58 | 249 |2470 |4697 |2470 |2452 | 847 | 50k|8927 | 2.400000e+01 | -- | Inf
992.91/993.20 c 993s| 39000 | 12063 | 9311k| 238.6 | 140M| 58 | 228 |2470 |4612 |2470 |2452 | 847 | 50k|8987 | 2.400000e+01 | -- | Inf
995.41/995.69 c 996s| 39100 | 12092 | 9337k| 238.6 | 140M| 58 | 550 |2470 |4601 |2470 |2452 | 847 | 50k|8997 | 2.400000e+01 | -- | Inf
996.90/997.18 c 997s| 39200 | 12101 | 9348k| 238.3 | 141M| 58 | - |2470 |4675 | 0 | 0 | 847 | 50k|9010 | 2.400000e+01 | -- | Inf
998.61/998.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
998.61/998.86 c 999s| 39300 | 12121 | 9364k| 238.1 | 141M| 58 | 477 |2470 |4684 |2470 |2452 | 847 | 50k|9029 | 2.400000e+01 | -- | Inf
999.61/999.88 c 1000s| 39400 | 12127 | 9375k| 237.8 | 141M| 58 | 529 |2470 |4727 |2470 |2452 | 847 | 50k|9029 | 2.400000e+01 | -- | Inf
1001.81/1002.03 c 1002s| 39500 | 12134 | 9392k| 237.6 | 141M| 58 | 524 |2470 |4665 |2470 |2452 | 847 | 50k|9058 | 2.400000e+01 | -- | Inf
1004.21/1004.41 c 1004s| 39600 | 12151 | 9419k| 237.7 | 142M| 58 | 458 |2470 |4735 |2470 |2452 | 847 | 51k|9069 | 2.400000e+01 | -- | Inf
1006.22/1006.47 c 1006s| 39700 | 12155 | 9438k| 237.6 | 142M| 58 | 582 |2470 |4742 |2470 |2452 | 847 | 51k|9081 | 2.400000e+01 | -- | Inf
1008.61/1008.87 c 1009s| 39800 | 12159 | 9455k| 237.4 | 142M| 58 | - |2470 |4692 |2470 |2452 | 847 | 51k|9131 | 2.400000e+01 | -- | Inf
1011.20/1011.45 c 1011s| 39900 | 12188 | 9484k| 237.6 | 142M| 58 | 702 |2470 |4574 |2470 |2452 | 847 | 51k|9141 | 2.400000e+01 | -- | Inf
1013.70/1013.95 c 1014s| 40000 | 12242 | 9507k| 237.5 | 142M| 58 | 319 |2470 |4450 |2470 |2452 | 847 | 51k|9187 | 2.400000e+01 | -- | Inf
1015.20/1015.43 c 1015s| 40100 | 12241 | 9520k| 237.3 | 142M| 58 | 439 |2470 |4478 |2470 |2452 | 847 | 51k|9208 | 2.400000e+01 | -- | Inf
1017.20/1017.49 c 1017s| 40200 | 12247 | 9541k| 237.2 | 142M| 58 | - |2470 |4533 | 0 | 0 | 847 | 52k|9231 | 2.400000e+01 | -- | Inf
1019.20/1019.49 c 1019s| 40300 | 12263 | 9557k| 237.0 | 143M| 58 | 375 |2470 |4508 |2470 |2452 | 847 | 52k|9255 | 2.400000e+01 | -- | Inf
1021.00/1021.24 c 1021s| 40400 | 12283 | 9576k| 236.9 | 143M| 58 | 319 |2470 |4506 |2470 |2452 | 847 | 52k|9262 | 2.400000e+01 | -- | Inf
1023.30/1023.57 c 1024s| 40500 | 12300 | 9597k| 236.8 | 143M| 58 | 608 |2470 |4492 |2470 |2452 | 847 | 52k|9291 | 2.400000e+01 | -- | Inf
1025.60/1025.84 c 1026s| 40600 | 12319 | 9618k| 236.7 | 144M| 58 | - |2470 |4488 |2470 |2452 | 847 | 52k|9311 | 2.400000e+01 | -- | Inf
1027.40/1027.64 c 1028s| 40700 | 12326 | 9635k| 236.6 | 144M| 58 | 439 |2470 |4485 |2470 |2452 | 847 | 52k|9331 | 2.400000e+01 | -- | Inf
1029.31/1029.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1029.31/1029.52 c 1030s| 40800 | 12336 | 9651k| 236.4 | 144M| 58 | 587 |2470 |4487 |2470 |2452 | 847 | 52k|9349 | 2.400000e+01 | -- | Inf
1032.71/1032.91 c 1033s| 40900 | 12379 | 9687k| 236.7 | 144M| 58 | 426 |2470 |4516 |2470 |2452 | 847 | 53k|9362 | 2.400000e+01 | -- | Inf
1034.80/1035.05 c 1035s| 41000 | 12398 | 9712k| 236.7 | 144M| 58 | - |2470 |4535 | 0 | 0 | 847 | 53k|9375 | 2.400000e+01 | -- | Inf
1039.30/1039.57 c 1040s| 41100 | 12397 | 9771k| 237.6 | 144M| 58 | - |2470 |4676 |2470 |2452 | 847 | 53k|9393 | 2.400000e+01 | -- | Inf
1041.80/1042.04 c 1042s| 41200 | 12413 | 9795k| 237.6 | 144M| 58 | - |2470 |4628 | 0 | 0 | 847 | 53k|9402 | 2.400000e+01 | -- | Inf
1043.80/1044.06 c 1044s| 41300 | 12428 | 9811k| 237.4 | 145M| 58 | 305 |2470 |4620 |2470 |2452 | 847 | 53k|9433 | 2.400000e+01 | -- | Inf
1046.00/1046.25 c 1046s| 41400 | 12433 | 9831k| 237.3 | 145M| 58 | - |2470 |4560 |2470 |2452 | 847 | 53k|9460 | 2.400000e+01 | -- | Inf
1047.80/1048.09 c 1048s| 41500 | 12464 | 9849k| 237.2 | 145M| 58 | 452 |2470 |4414 |2470 |2452 | 847 | 54k|9469 | 2.400000e+01 | -- | Inf
1050.89/1051.15 c 1051s| 41600 | 12503 | 9884k| 237.5 | 145M| 58 | 421 |2470 |4339 |2470 |2452 | 847 | 54k|9500 | 2.400000e+01 | -- | Inf
1052.70/1052.98 c 1053s| 41700 | 12533 | 9901k| 237.3 | 146M| 58 | - |2470 |4333 |2470 |2452 | 847 | 54k|9528 | 2.400000e+01 | -- | Inf
1055.00/1055.25 c 1055s| 41800 | 12550 | 9925k| 237.3 | 146M| 58 | - |2470 |4379 | 0 | 0 | 847 | 54k|9548 | 2.400000e+01 | -- | Inf
1057.29/1057.55 c 1058s| 41900 | 12590 | 9944k| 237.2 | 146M| 58 | - |2470 |4277 |2470 |2452 | 847 | 54k|9575 | 2.400000e+01 | -- | Inf
1059.00/1059.24 c 1059s| 42000 | 12617 | 9960k| 237.0 | 147M| 58 | - |2470 |4251 |2470 |2452 | 847 | 54k|9584 | 2.433333e+01 | -- | Inf
1061.90/1062.17 c 1062s| 42100 | 12647 | 9980k| 236.9 | 147M| 58 | 387 |2470 |4250 |2470 |2452 | 847 | 54k|9637 | 2.450000e+01 | -- | Inf
1063.40/1063.63 c 1064s| 42200 | 12665 | 9995k| 236.7 | 147M| 58 | 399 |2470 |4141 |2470 |2452 | 847 | 54k|9637 | 2.450000e+01 | -- | Inf
1065.39/1065.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1065.39/1065.61 c 1066s| 42300 | 12675 | 10013k| 236.6 | 148M| 58 | 511 |2470 |4135 |2470 |2452 | 847 | 55k|9655 | 2.460000e+01 | -- | Inf
1067.80/1068.04 c 1068s| 42400 | 12713 | 10042k| 236.7 | 148M| 58 | 367 |2470 |4165 |2470 |2452 | 847 | 55k|9677 | 2.466667e+01 | -- | Inf
1070.59/1070.85 c 1071s| 42500 | 12726 | 10067k| 236.7 | 148M| 58 | - |2470 |4411 |2470 |2452 | 847 | 55k|9698 | 2.500000e+01 | -- | Inf
1072.69/1072.96 c 1073s| 42600 | 12744 | 10087k| 236.6 | 148M| 58 | 367 |2470 |4356 |2470 |2452 | 847 | 55k|9717 | 2.500000e+01 | -- | Inf
1075.00/1075.28 c 1075s| 42700 | 12772 | 10109k| 236.6 | 149M| 58 | 242 |2470 |4277 |2470 |2452 | 847 | 55k|9734 | 2.500000e+01 | -- | Inf
1077.00/1077.28 c 1077s| 42800 | 12804 | 10128k| 236.5 | 149M| 58 | 544 |2470 |4248 |2470 |2452 | 847 | 55k|9763 | 2.500000e+01 | -- | Inf
1079.29/1079.53 c 1080s| 42900 | 12827 | 10152k| 236.5 | 150M| 58 | - |2470 |4244 | 0 | 0 | 847 | 56k|9783 | 2.500000e+01 | -- | Inf
1080.80/1081.00 c 1081s| 43000 | 12824 | 10163k| 236.2 | 150M| 58 | - |2470 |4356 |2470 |2452 | 847 | 56k|9807 | 2.500000e+01 | -- | Inf
1084.40/1084.62 c 1085s| 43100 | 12836 | 10199k| 236.5 | 150M| 58 | 498 |2470 |4516 |2470 |2452 | 847 | 56k|9818 | 2.500000e+01 | -- | Inf
1086.39/1086.61 c 1087s| 43200 | 12844 | 10216k| 236.4 | 150M| 58 | - |2470 |4506 |2470 |2452 | 847 | 56k|9845 | 2.500000e+01 | -- | Inf
1087.80/1088.05 c 1088s| 43300 | 12854 | 10229k| 236.1 | 150M| 58 | - |2470 |4578 |2470 |2452 | 847 | 56k|9865 | 2.500000e+01 | -- | Inf
1089.70/1089.94 c 1090s| 43400 | 12861 | 10247k| 236.0 | 150M| 58 | - |2470 |4657 |2470 |2452 | 847 | 56k|9880 | 2.500000e+01 | -- | Inf
1091.29/1091.54 c 1092s| 43500 | 12861 | 10261k| 235.8 | 151M| 58 | 539 |2470 |4715 |2470 |2452 | 847 | 56k|9903 | 2.500000e+01 | -- | Inf
1093.49/1093.76 c 1094s| 43600 | 12878 | 10280k| 235.6 | 151M| 58 | 325 |2470 |4728 |2470 |2452 | 847 | 57k|9926 | 2.500000e+01 | -- | Inf
1095.00/1095.26 c 1095s| 43700 | 12884 | 10295k| 235.4 | 151M| 58 | - |2470 |4751 | 0 | 0 | 847 | 57k|9936 | 2.500000e+01 | -- | Inf
1096.59/1096.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1096.59/1096.88 c 1097s| 43800 | 12885 | 10309k| 235.2 | 151M| 58 | - |2470 |4766 | 0 | 0 | 847 | 57k|9948 | 2.500000e+01 | -- | Inf
1098.99/1099.21 c 1099s| 43900 | 12889 | 10331k| 235.2 | 151M| 58 | - |2470 |4795 | 0 | 0 | 847 | 57k|9970 | 2.500000e+01 | -- | Inf
1100.49/1100.77 c 1101s| 44000 | 12898 | 10344k| 235.0 | 151M| 58 | 469 |2470 |4880 |2470 |2452 | 847 | 57k|9992 | 2.500000e+01 | -- | Inf
1102.19/1102.40 c 1102s| 44100 | 12902 | 10355k| 234.7 | 151M| 58 | - |2470 |4961 |2470 |2452 | 847 | 57k| 10k| 2.500000e+01 | -- | Inf
1103.29/1103.54 c 1104s| 44200 | 12908 | 10369k| 234.5 | 152M| 58 | 280 |2470 |5040 |2470 |2452 | 847 | 57k| 10k| 2.500000e+01 | -- | Inf
1105.39/1105.61 c 1106s| 44300 | 12914 | 10387k| 234.3 | 152M| 58 | 571 |2470 |5034 |2470 |2452 | 847 | 58k| 10k| 2.500000e+01 | -- | Inf
1107.29/1107.50 c 1108s| 44400 | 12916 | 10407k| 234.3 | 152M| 58 | - |2470 |5020 |2470 |2452 | 847 | 58k| 10k| 2.500000e+01 | -- | Inf
1109.60/1109.86 c 1110s| 44500 | 12936 | 10433k| 234.3 | 152M| 58 | - |2470 |5080 | 0 | 0 | 847 | 58k| 10k| 2.500000e+01 | -- | Inf
1111.28/1111.57 c 1112s| 44600 | 12944 | 10454k| 234.3 | 152M| 58 | - |2470 |4840 | 0 | 0 | 847 | 58k| 10k| 2.500000e+01 | -- | Inf
1113.49/1113.74 c 1114s| 44700 | 12961 | 10473k| 234.2 | 152M| 58 | 409 |2470 |4792 |2470 |2452 | 847 | 58k| 10k| 2.500000e+01 | -- | Inf
1114.89/1115.13 c 1115s| 44800 | 12978 | 10490k| 234.0 | 153M| 58 | - |2470 |4749 | 0 | 0 | 847 | 58k| 10k| 2.500000e+01 | -- | Inf
1116.89/1117.18 c 1117s| 44900 | 12981 | 10504k| 233.8 | 153M| 58 | 615 |2470 |4785 |2470 |2452 | 847 | 59k| 10k| 2.500000e+01 | -- | Inf
1117.89/1118.15 c 1118s| 45000 | 12966 | 10513k| 233.5 | 153M| 62 | 359 |2470 |4762 |2470 |2452 | 847 | 59k| 10k| 2.500000e+01 | -- | Inf
1120.79/1121.09 c 1121s| 45100 | 12987 | 10543k| 233.6 | 153M| 62 | 577 |2470 |4715 |2470 |2452 | 847 | 59k| 10k| 2.500000e+01 | -- | Inf
1122.99/1123.20 c 1123s| 45200 | 13032 | 10566k| 233.6 | 153M| 62 | - |2470 |4691 |2470 |2452 | 847 | 59k| 10k| 2.500000e+01 | -- | Inf
1124.49/1124.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1124.49/1124.74 c 1125s| 45300 | 13044 | 10582k| 233.5 | 153M| 62 | 326 |2470 |4710 |2470 |2452 | 847 | 59k| 10k| 2.500000e+01 | -- | Inf
1126.89/1127.12 c 1127s| 45400 | 13055 | 10600k| 233.4 | 154M| 62 | 277 |2470 |4694 |2470 |2452 | 847 | 59k| 10k| 2.500000e+01 | -- | Inf
1127.89/1128.18 c 1128s| 45500 | 13061 | 10612k| 233.1 | 154M| 62 | 460 |2470 |4690 |2470 |2452 | 847 | 59k| 10k| 2.500000e+01 | -- | Inf
1129.08/1129.35 c 1129s| 45600 | 13063 | 10621k| 232.8 | 154M| 62 | 533 |2470 |4728 |2470 |2452 | 847 | 59k| 10k| 2.500000e+01 | -- | Inf
1130.89/1131.18 c 1131s| 45700 | 13067 | 10637k| 232.6 | 154M| 62 | 473 |2470 |4763 |2470 |2452 | 847 | 60k| 10k| 2.500000e+01 | -- | Inf
1133.08/1133.36 c 1133s| 45800 | 13075 | 10652k| 232.5 | 154M| 62 | 430 |2470 |4771 |2470 |2452 | 847 | 60k| 10k| 2.500000e+01 | -- | Inf
1134.18/1134.48 c 1134s| 45900 | 13075 | 10666k| 232.2 | 154M| 62 | - |2470 |4855 |2470 |2452 | 847 | 60k| 10k| 2.500000e+01 | -- | Inf
1135.39/1135.61 c 1136s| 46000 | 13081 | 10678k| 232.0 | 154M| 62 | - |2470 |4932 |2470 |2452 | 847 | 60k| 10k| 2.500000e+01 | -- | Inf
1136.88/1137.19 c 1137s| 46100 | 13088 | 10695k| 231.9 | 154M| 62 | 502 |2470 |4954 |2470 |2452 | 847 | 60k| 10k| 2.500000e+01 | -- | Inf
1138.29/1138.58 c 1139s| 46200 | 13089 | 10709k| 231.7 | 154M| 62 | 497 |2470 |5022 |2470 |2452 | 847 | 60k| 10k| 2.500000e+01 | -- | Inf
1139.78/1140.01 c 1140s| 46300 | 13097 | 10720k| 231.4 | 154M| 62 | 633 |2470 |5106 |2470 |2452 | 847 | 60k| 10k| 2.500000e+01 | -- | Inf
1141.68/1141.96 c 1142s| 46400 | 13095 | 10734k| 231.2 | 154M| 62 | 601 |2470 |5162 |2470 |2452 | 847 | 61k| 10k| 2.500000e+01 | -- | Inf
1142.79/1143.08 c 1143s| 46500 | 13101 | 10747k| 231.0 | 155M| 62 | - |2470 |5148 | 0 | 0 | 847 | 61k| 10k| 2.500000e+01 | -- | Inf
1144.68/1144.93 c 1145s| 46600 | 13106 | 10761k| 230.8 | 155M| 62 | - |2470 |5259 | 0 | 0 | 847 | 61k| 10k| 2.500000e+01 | -- | Inf
1145.89/1146.18 c 1146s| 46700 | 13112 | 10774k| 230.6 | 155M| 62 | 267 |2470 |5362 |2470 |2452 | 847 | 61k| 10k| 2.500000e+01 | -- | Inf
1147.49/1147.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1147.49/1147.72 c 1148s| 46800 | 13108 | 10785k| 230.3 | 155M| 62 | 481 |2470 |5438 |2470 |2452 | 847 | 61k| 10k| 2.500000e+01 | -- | Inf
1149.58/1149.89 c 1150s| 46900 | 13096 | 10798k| 230.1 | 155M| 62 | 417 |2470 |5437 |2470 |2452 | 847 | 61k| 10k| 2.500000e+01 | -- | Inf
1151.08/1151.35 c 1151s| 47000 | 13094 | 10815k| 230.0 | 155M| 62 | 408 |2470 |5284 |2470 |2452 | 847 | 61k| 10k| 2.500000e+01 | -- | Inf
1153.49/1153.73 c 1154s| 47100 | 13130 | 10837k| 230.0 | 155M| 62 | - |2470 |5429 | 0 | 0 | 847 | 62k| 10k| 2.500000e+01 | -- | Inf
1155.48/1155.76 c 1156s| 47200 | 13112 | 10855k| 229.9 | 155M| 62 | 300 |2470 |5265 |2470 |2452 | 847 | 62k| 10k| 2.500000e+01 | -- | Inf
1157.78/1158.08 c 1158s| 47300 | 13136 | 10878k| 229.9 | 155M| 62 | 364 |2470 |5238 |2470 |2452 | 847 | 62k| 10k| 2.500000e+01 | -- | Inf
1159.09/1159.37 c 1159s| 47400 | 13142 | 10889k| 229.6 | 155M| 62 | 471 |2470 |5177 |2470 |2452 | 847 | 62k| 10k| 2.500000e+01 | -- | Inf
1165.18/1165.40 c 1165s| 47500 | 13158 | 10937k| 230.1 | 156M| 62 | 378 |2470 |5522 |2470 |2452 | 847 | 63k| 10k| 2.500000e+01 | -- | Inf
1167.89/1168.12 c 1168s| 47600 | 13190 | 10967k| 230.3 | 156M| 62 | 626 |2470 |5530 |2470 |2452 | 847 | 63k| 10k| 2.500000e+01 | -- | Inf
1169.68/1169.90 c 1170s| 47700 | 13204 | 10987k| 230.2 | 156M| 62 | - |2470 |5542 |2470 |2452 | 847 | 63k| 10k| 2.500000e+01 | -- | Inf
1171.38/1171.64 c 1172s| 47800 | 13208 | 11002k| 230.0 | 156M| 62 | - |2470 |5403 | 0 | 0 | 847 | 63k| 10k| 2.500000e+01 | -- | Inf
1173.38/1173.70 c 1174s| 47900 | 13211 | 11017k| 229.9 | 156M| 62 | - |2470 |5397 | 0 | 0 | 847 | 63k| 10k| 2.500000e+01 | -- | Inf
1176.28/1176.59 c 1177s| 48000 | 13233 | 11046k| 230.0 | 157M| 62 | 519 |2470 |5134 |2470 |2452 | 847 | 64k| 10k| 2.500000e+01 | -- | Inf
1177.58/1177.88 c 1178s| 48100 | 13251 | 11058k| 229.8 | 157M| 62 | - |2470 |5225 | 0 | 0 | 847 | 64k| 10k| 2.500000e+01 | -- | Inf
1180.28/1180.58 c 1181s| 48200 | 13265 | 11086k| 229.9 | 157M| 62 | - |2470 |5185 | 0 | 0 | 847 | 64k| 10k| 2.500000e+01 | -- | Inf
1183.67/1183.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1183.67/1183.98 c 1184s| 48300 | 13305 | 11114k| 230.0 | 157M| 62 | 492 |2470 |4988 |2470 |2452 | 847 | 64k| 10k| 2.500000e+01 | -- | Inf
1185.38/1185.67 c 1186s| 48400 | 13305 | 11130k| 229.8 | 157M| 62 | 429 |2470 |5007 |2470 |2452 | 847 | 64k| 10k| 2.500000e+01 | -- | Inf
1188.37/1188.69 c 1189s| 48500 | 13341 | 11157k| 229.9 | 157M| 62 | 527 |2470 |4873 |2470 |2452 | 847 | 64k| 10k| 2.500000e+01 | -- | Inf
1189.78/1190.02 c 1190s| 48600 | 13349 | 11174k| 229.8 | 157M| 62 | 411 |2470 |4879 |2470 |2452 | 847 | 64k| 10k| 2.500000e+01 | -- | Inf
1191.58/1191.85 c 1192s| 48700 | 13362 | 11194k| 229.7 | 157M| 62 | 472 |2470 |4803 |2470 |2452 | 847 | 65k| 10k| 2.500000e+01 | -- | Inf
1194.38/1194.60 c 1195s| 48800 | 13387 | 11220k| 229.8 | 157M| 62 | 377 |2470 |4749 |2470 |2452 | 847 | 65k| 10k| 2.500000e+01 | -- | Inf
1196.08/1196.39 c 1196s| 48900 | 13383 | 11239k| 229.7 | 157M| 62 | - |2470 |4762 | 0 | 0 | 847 | 65k| 10k| 2.500000e+01 | -- | Inf
1198.78/1199.02 c 1199s| 49000 | 13417 | 11263k| 229.7 | 158M| 62 | - |2470 |4628 | 0 | 0 | 847 | 65k| 10k| 2.500000e+01 | -- | Inf
1200.68/1200.90 c 1201s| 49100 | 13431 | 11280k| 229.6 | 158M| 62 | 479 |2470 |4640 |2470 |2452 | 847 | 65k| 10k| 2.500000e+01 | -- | Inf
1202.87/1203.18 c 1203s| 49200 | 13435 | 11297k| 229.5 | 158M| 62 | - |2470 |4666 | 0 | 0 | 847 | 65k| 11k| 2.500000e+01 | -- | Inf
1204.57/1204.86 c 1205s| 49300 | 13445 | 11312k| 229.3 | 158M| 62 | - |2470 |4681 | 0 | 0 | 847 | 65k| 11k| 2.500000e+01 | -- | Inf
1207.07/1207.31 c 1207s| 49400 | 13476 | 11331k| 229.3 | 158M| 62 | - |2470 |4817 | 0 | 0 | 847 | 66k| 11k| 2.500000e+01 | -- | Inf
1209.57/1209.82 c 1210s| 49500 | 13498 | 11361k| 229.4 | 159M| 62 | - |2470 |4961 |2470 |2452 | 847 | 66k| 11k| 2.500000e+01 | -- | Inf
1211.58/1211.81 c 1212s| 49600 | 13521 | 11377k| 229.3 | 159M| 62 | 444 |2470 |4938 |2470 |2452 | 847 | 66k| 11k| 2.500000e+01 | -- | Inf
1213.27/1213.57 c 1214s| 49700 | 13532 | 11393k| 229.1 | 159M| 62 | 481 |2470 |5008 |2470 |2452 | 847 | 66k| 11k| 2.500000e+01 | -- | Inf
1215.28/1215.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1215.28/1215.57 c 1216s| 49800 | 13534 | 11413k| 229.1 | 159M| 62 | 386 |2470 |4877 |2470 |2452 | 847 | 66k| 11k| 2.500000e+01 | -- | Inf
1218.07/1218.39 c 1218s| 49900 | 13563 | 11440k| 229.1 | 159M| 62 | 337 |2470 |4700 |2470 |2452 | 847 | 67k| 11k| 2.500000e+01 | -- | Inf
1219.97/1220.27 c 1220s| 50000 | 13585 | 11458k| 229.0 | 160M| 64 | 365 |2470 |4758 |2470 |2452 | 847 | 67k| 11k| 2.500000e+01 | -- | Inf
1221.87/1222.13 c 1222s| 50100 | 13602 | 11471k| 228.9 | 160M| 64 | - |2470 |4780 | 0 | 0 | 847 | 67k| 11k| 2.500000e+01 | -- | Inf
1225.37/1225.69 c 1226s| 50200 | 13625 | 11501k| 229.0 | 160M| 64 | 356 |2470 |4832 |2470 |2452 | 847 | 67k| 11k| 2.500000e+01 | -- | Inf
1226.76/1227.06 c 1227s| 50300 | 13639 | 11513k| 228.8 | 160M| 64 | 379 |2470 |4769 |2470 |2452 | 847 | 67k| 11k| 2.500000e+01 | -- | Inf
1227.97/1228.29 c 1228s| 50400 | 13650 | 11526k| 228.6 | 161M| 64 | - |2470 |4801 | 0 | 0 | 847 | 67k| 11k| 2.500000e+01 | -- | Inf
1229.67/1229.96 c 1230s| 50500 | 13665 | 11548k| 228.6 | 161M| 64 | 310 |2470 |4751 |2470 |2452 | 847 | 68k| 11k| 2.523529e+01 | -- | Inf
1233.87/1234.16 c 1234s| 50600 | 13696 | 11578k| 228.7 | 161M| 64 | 364 |2470 |4650 |2470 |2452 | 847 | 68k| 11k| 2.523529e+01 | -- | Inf
1235.17/1235.43 c 1235s| 50700 | 13698 | 11594k| 228.6 | 161M| 64 | - |2470 |4716 |2470 |2452 | 847 | 68k| 11k| 2.523529e+01 | -- | Inf
1237.27/1237.54 c 1238s| 50800 | 13726 | 11619k| 228.6 | 161M| 64 | - |2470 |4615 |2470 |2452 | 847 | 68k| 11k| 2.523529e+01 | -- | Inf
1239.17/1239.48 c 1239s| 50900 | 13746 | 11634k| 228.5 | 162M| 64 | 327 |2470 |4593 |2470 |2452 | 847 | 68k| 11k| 2.533333e+01 | -- | Inf
1240.47/1240.74 c 1241s| 51000 | 13742 | 11646k| 228.2 | 162M| 64 | - |2470 |4626 | 0 | 0 | 847 | 68k| 11k| 2.533333e+01 | -- | Inf
1242.07/1242.39 c 1242s| 51100 | 13763 | 11664k| 228.1 | 162M| 64 | 513 |2470 |4611 |2470 |2452 | 847 | 68k| 11k| 2.533333e+01 | -- | Inf
1243.77/1244.09 c 1244s| 51200 | 13766 | 11685k| 228.1 | 162M| 64 | 443 |2470 |4625 |2470 |2452 | 847 | 69k| 11k| 2.533333e+01 | -- | Inf
1246.97/1247.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1246.97/1247.27 c 1247s| 51300 | 13775 | 11708k| 228.1 | 162M| 64 | 459 |2470 |4814 |2470 |2452 | 847 | 69k| 11k| 2.533333e+01 | -- | Inf
1248.07/1248.32 c 1248s| 51400 | 13771 | 11720k| 227.9 | 162M| 64 | 438 |2470 |4938 |2470 |2452 | 847 | 69k| 11k| 2.533333e+01 | -- | Inf
1249.56/1249.82 c 1250s| 51500 | 13789 | 11735k| 227.8 | 162M| 64 | 486 |2470 |4945 |2470 |2452 | 847 | 69k| 11k| 2.550000e+01 | -- | Inf
1250.86/1251.18 c 1251s| 51600 | 13793 | 11749k| 227.6 | 162M| 64 | - |2470 |4967 | 0 | 0 | 847 | 69k| 11k| 2.550000e+01 | -- | Inf
1252.86/1253.11 c 1253s| 51700 | 13823 | 11769k| 227.5 | 162M| 64 | 304 |2470 |4950 |2470 |2452 | 847 | 70k| 11k| 2.600000e+01 | -- | Inf
1253.97/1254.29 c 1254s| 51800 | 13821 | 11782k| 227.3 | 163M| 64 | 526 |2470 |4913 |2470 |2452 | 847 | 70k| 11k| 2.600000e+01 | -- | Inf
1255.97/1256.23 c 1256s| 51900 | 13840 | 11801k| 227.3 | 163M| 64 | 484 |2470 |4839 |2470 |2452 | 847 | 70k| 11k| 2.600000e+01 | -- | Inf
1259.27/1259.51 c 1260s| 52000 | 13862 | 11828k| 227.4 | 163M| 64 | 470 |2470 |5090 |2470 |2452 | 847 | 70k| 11k| 2.600000e+01 | -- | Inf
1260.77/1261.07 c 1261s| 52100 | 13870 | 11843k| 227.2 | 164M| 64 | - |2470 |5030 | 0 | 0 | 847 | 70k| 11k| 2.600000e+01 | -- | Inf
1262.06/1262.33 c 1262s| 52200 | 13900 | 11860k| 227.1 | 164M| 64 | 420 |2470 |5060 |2470 |2452 | 847 | 71k| 11k| 2.600000e+01 | -- | Inf
1263.16/1263.50 c 1263s| 52300 | 13903 | 11873k| 226.9 | 164M| 64 | - |2470 |5109 | 0 | 0 | 847 | 71k| 11k| 2.600000e+01 | -- | Inf
1264.16/1264.47 c 1264s| 52400 | 13921 | 11884k| 226.7 | 164M| 64 | - |2470 |5156 |2470 |2452 | 847 | 71k| 11k| 2.600000e+01 | -- | Inf
1267.06/1267.30 c 1267s| 52500 | 13953 | 11917k| 226.9 | 165M| 64 | - |2470 |5032 | 0 | 0 | 847 | 71k| 11k| 2.600000e+01 | -- | Inf
1268.16/1268.40 c 1268s| 52600 | 13969 | 11932k| 226.7 | 165M| 64 | 528 |2470 |5048 |2470 |2452 | 847 | 71k| 11k| 2.600000e+01 | -- | Inf
1269.26/1269.59 c 1270s| 52700 | 13977 | 11947k| 226.6 | 165M| 64 | 428 |2470 |5067 |2470 |2452 | 847 | 71k| 11k| 2.600000e+01 | -- | Inf
1270.86/1271.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1270.86/1271.11 c 1271s| 52800 | 13994 | 11966k| 226.5 | 165M| 64 | 399 |2470 |5085 |2470 |2452 | 847 | 71k| 11k| 2.600000e+01 | -- | Inf
1272.36/1272.62 c 1273s| 52900 | 14022 | 11986k| 226.5 | 165M| 64 | 336 |2470 |5079 |2470 |2452 | 847 | 71k| 11k| 2.600000e+01 | -- | Inf
1273.27/1273.55 c 1274s| 53000 | 14018 | 11994k| 226.2 | 165M| 64 | 527 |2470 |5138 |2470 |2452 | 847 | 72k| 11k| 2.600000e+01 | -- | Inf
1274.86/1275.18 c 1275s| 53100 | 14040 | 12012k| 226.1 | 166M| 64 | 369 |2470 |5015 |2470 |2452 | 847 | 72k| 11k| 2.600000e+01 | -- | Inf
1278.46/1278.71 c 1279s| 53200 | 14059 | 12049k| 226.4 | 166M| 64 | - |2470 |5139 | 0 | 0 | 847 | 72k| 11k| 2.600000e+01 | -- | Inf
1279.87/1280.13 c 1280s| 53300 | 14065 | 12062k| 226.2 | 166M| 64 | - |2470 |5114 |2470 |2452 | 847 | 72k| 11k| 2.600000e+01 | -- | Inf
1281.66/1281.94 c 1282s| 53400 | 14097 | 12089k| 226.3 | 166M| 64 | - |2470 |5099 | 0 | 0 | 847 | 72k| 11k| 2.600000e+01 | -- | Inf
1283.37/1283.65 c 1284s| 53500 | 14108 | 12110k| 226.3 | 167M| 64 | 525 |2470 |5156 |2470 |2452 | 847 | 73k| 11k| 2.600000e+01 | -- | Inf
1284.26/1284.54 c 1285s| 53600 | 14108 | 12121k| 226.0 | 167M| 64 | 402 |2470 |5252 |2470 |2452 | 847 | 73k| 11k| 2.600000e+01 | -- | Inf
1285.76/1286.06 c 1286s| 53700 | 14118 | 12138k| 225.9 | 167M| 64 | - |2470 |5350 | 0 | 0 | 847 | 73k| 11k| 2.600000e+01 | -- | Inf
1287.16/1287.43 c 1287s| 53800 | 14122 | 12156k| 225.8 | 167M| 64 | - |2470 |5401 |2470 |2452 | 847 | 73k| 11k| 2.600000e+01 | -- | Inf
1291.06/1291.35 c 1291s| 53900 | 14140 | 12192k| 226.1 | 167M| 64 | 407 |2470 |5605 |2470 |2452 | 847 | 73k| 11k| 2.600000e+01 | -- | Inf
1292.36/1292.69 c 1293s| 54000 | 14152 | 12209k| 226.0 | 167M| 64 | 676 |2470 |5443 |2470 |2452 | 847 | 74k| 11k| 2.600000e+01 | -- | Inf
1294.06/1294.34 c 1294s| 54100 | 14159 | 12232k| 226.0 | 167M| 64 | - |2470 |5312 | 0 | 0 | 847 | 74k| 11k| 2.600000e+01 | -- | Inf
1295.26/1295.59 c 1296s| 54200 | 14157 | 12247k| 225.9 | 167M| 64 | 345 |2470 |5253 |2470 |2452 | 847 | 74k| 11k| 2.600000e+01 | -- | Inf
1296.96/1297.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1296.96/1297.26 c 1297s| 54300 | 14158 | 12266k| 225.8 | 168M| 64 | 405 |2470 |5344 |2470 |2452 | 847 | 74k| 11k| 2.600000e+01 | -- | Inf
1299.06/1299.34 c 1299s| 54400 | 14171 | 12290k| 225.8 | 168M| 64 | 593 |2470 |5262 |2470 |2452 | 847 | 74k| 11k| 2.600000e+01 | -- | Inf
1300.45/1300.76 c 1301s| 54500 | 14186 | 12310k| 225.8 | 168M| 64 | - |2470 |5178 |2470 |2452 | 847 | 74k| 11k| 2.600000e+01 | -- | Inf
1303.96/1304.20 c 1304s| 54600 | 14205 | 12346k| 226.0 | 168M| 64 | 325 |2470 |5151 |2470 |2452 | 847 | 75k| 11k| 2.600000e+01 | -- | Inf
1304.96/1305.25 c 1305s| 54700 | 14200 | 12360k| 225.9 | 168M| 64 | - |2470 |5258 | 0 | 0 | 847 | 75k| 11k| 2.600000e+01 | -- | Inf
1306.96/1307.20 c 1307s| 54800 | 14218 | 12386k| 225.9 | 168M| 64 | - |2470 |5166 | 0 | 0 | 847 | 75k| 11k| 2.600000e+01 | -- | Inf
1308.06/1308.38 c 1308s| 54900 | 14232 | 12401k| 225.8 | 169M| 64 | 356 |2470 |5121 |2470 |2452 | 847 | 75k| 11k| 2.600000e+01 | -- | Inf
1309.26/1309.57 c 1310s| 55000 | 14225 | 12414k| 225.6 | 169M| 64 | - |2470 |5083 | 0 | 0 | 847 | 75k| 11k| 2.600000e+01 | -- | Inf
1310.76/1311.05 c 1311s| 55100 | 14239 | 12433k| 225.5 | 169M| 64 | 318 |2470 |5017 |2470 |2452 | 847 | 75k| 11k| 2.600000e+01 | -- | Inf
1311.86/1312.16 c 1312s| 55200 | 14249 | 12443k| 225.3 | 169M| 64 | - |2470 |4943 | 0 | 0 | 847 | 75k| 11k| 2.600000e+01 | -- | Inf
1313.26/1313.56 c 1314s| 55300 | 14252 | 12461k| 225.2 | 169M| 64 | - |2470 |4923 |2470 |2452 | 847 | 76k| 11k| 2.600000e+01 | -- | Inf
1314.46/1314.71 c 1315s| 55400 | 14273 | 12476k| 225.1 | 169M| 64 | 311 |2470 |4952 |2470 |2452 | 847 | 76k| 11k| 2.600000e+01 | -- | Inf
1315.56/1315.80 c 1316s| 55500 | 14272 | 12489k| 224.9 | 169M| 64 | - |2470 |4946 | 0 | 0 | 847 | 76k| 11k| 2.600000e+01 | -- | Inf
1317.26/1317.52 c 1318s| 55600 | 14290 | 12507k| 224.9 | 170M| 64 | 502 |2470 |4965 |2470 |2452 | 847 | 76k| 11k| 2.600000e+01 | -- | Inf
1319.66/1320.00 c 1320s| 55700 | 14303 | 12534k| 224.9 | 170M| 64 | 535 |2470 |4993 |2470 |2452 | 847 | 76k| 11k| 2.600000e+01 | -- | Inf
1321.16/1321.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1321.16/1321.42 c 1321s| 55800 | 14308 | 12549k| 224.8 | 170M| 64 | 410 |2470 |5071 |2470 |2452 | 847 | 76k| 11k| 2.600000e+01 | -- | Inf
1322.65/1322.94 c 1323s| 55900 | 14342 | 12569k| 224.7 | 170M| 64 | 270 |2470 |5126 |2470 |2452 | 847 | 76k| 11k| 2.600000e+01 | -- | Inf
1324.36/1324.64 c 1325s| 56000 | 14362 | 12593k| 224.8 | 171M| 64 | 425 |2470 |5126 |2470 |2452 | 847 | 77k| 11k| 2.600000e+01 | -- | Inf
1326.15/1326.42 c 1326s| 56100 | 14392 | 12614k| 224.7 | 171M| 64 | 280 |2470 |5089 |2470 |2452 | 847 | 77k| 11k| 2.600000e+01 | -- | Inf
1327.86/1328.10 c 1328s| 56200 | 14404 | 12635k| 224.7 | 171M| 64 | 475 |2470 |4970 |2470 |2452 | 847 | 77k| 11k| 2.600000e+01 | -- | Inf
1329.26/1329.57 c 1330s| 56300 | 14402 | 12649k| 224.6 | 171M| 64 | - |2470 |5007 | 0 | 0 | 847 | 77k| 11k| 2.600000e+01 | -- | Inf
1330.85/1331.18 c 1331s| 56400 | 14427 | 12668k| 224.5 | 171M| 64 | 419 |2470 |5014 |2470 |2452 | 847 | 77k| 11k| 2.600000e+01 | -- | Inf
1332.35/1332.65 c 1333s| 56500 | 14455 | 12684k| 224.4 | 172M| 64 | 503 |2470 |4912 |2470 |2452 | 847 | 77k| 11k| 2.600000e+01 | -- | Inf
1333.96/1334.23 c 1334s| 56600 | 14443 | 12699k| 224.3 | 172M| 64 | 425 |2470 |4798 |2470 |2452 | 847 | 78k| 11k| 2.600000e+01 | -- | Inf
1336.26/1336.57 c 1337s| 56700 | 14474 | 12725k| 224.3 | 172M| 64 | 361 |2470 |4801 |2470 |2452 | 847 | 78k| 11k| 2.600000e+01 | -- | Inf
1337.56/1337.84 c 1338s| 56800 | 14487 | 12738k| 224.2 | 172M| 64 | 386 |2470 |4770 |2470 |2452 | 847 | 78k| 11k| 2.600000e+01 | -- | Inf
1338.65/1338.97 c 1339s| 56900 | 14491 | 12752k| 224.0 | 172M| 64 | 336 |2470 |4794 |2470 |2452 | 847 | 78k| 11k| 2.600000e+01 | -- | Inf
1340.05/1340.37 c 1340s| 57000 | 14502 | 12770k| 223.9 | 172M| 64 | - |2470 |4796 | 0 | 0 | 847 | 78k| 11k| 2.600000e+01 | -- | Inf
1341.26/1341.57 c 1342s| 57100 | 14518 | 12783k| 223.8 | 172M| 64 | 344 |2470 |4827 |2470 |2452 | 847 | 78k| 11k| 2.600000e+01 | -- | Inf
1342.25/1342.59 c 1343s| 57200 | 14517 | 12793k| 223.6 | 172M| 64 | 335 |2470 |4817 |2470 |2452 | 847 | 78k| 11k| 2.600000e+01 | -- | Inf
1344.25/1344.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1344.25/1344.56 c 1345s| 57300 | 14532 | 12816k| 223.6 | 173M| 64 | - |2470 |4848 | 0 | 0 | 847 | 79k| 11k| 2.600000e+01 | -- | Inf
1345.95/1346.21 c 1346s| 57400 | 14526 | 12832k| 223.4 | 173M| 64 | 513 |2470 |4887 |2470 |2452 | 847 | 79k| 11k| 2.600000e+01 | -- | Inf
1347.05/1347.34 c 1347s| 57500 | 14544 | 12845k| 223.3 | 173M| 64 | - |2470 |4920 | 0 | 0 | 847 | 79k| 11k| 2.600000e+01 | -- | Inf
1349.85/1350.14 c 1350s| 57600 | 14559 | 12871k| 223.4 | 173M| 64 | 476 |2470 |5178 |2470 |2452 | 847 | 79k| 11k| 2.600000e+01 | -- | Inf
1351.66/1351.97 c 1352s| 57700 | 14578 | 12891k| 223.3 | 173M| 64 | - |2470 |5123 | 0 | 0 | 847 | 80k| 11k| 2.600000e+01 | -- | Inf
1353.35/1353.63 c 1354s| 57800 | 14591 | 12911k| 223.3 | 173M| 64 | 246 |2470 |5016 |2470 |2452 | 847 | 80k| 11k| 2.600000e+01 | -- | Inf
1354.75/1355.03 c 1355s| 57900 | 14591 | 12928k| 223.2 | 173M| 64 | 339 |2470 |4944 |2470 |2452 | 847 | 80k| 11k| 2.600000e+01 | -- | Inf
1355.75/1356.09 c 1356s| 58000 | 14609 | 12940k| 223.0 | 174M| 64 | - |2470 |4903 | 0 | 0 | 847 | 80k| 11k| 2.633333e+01 | -- | Inf
1357.95/1358.26 c 1358s| 58100 | 14634 | 12958k| 222.9 | 174M| 64 | 464 |2470 |4724 |2470 |2452 | 847 | 80k| 11k| 2.666667e+01 | -- | Inf
1361.05/1361.38 c 1361s| 58200 | 14658 | 12987k| 223.0 | 174M| 64 | 580 |2470 |4826 |2470 |2452 | 847 | 80k| 11k| 2.666667e+01 | -- | Inf
1362.25/1362.52 c 1363s| 58300 | 14674 | 13000k| 222.9 | 174M| 64 | 647 |2470 |4842 |2470 |2452 | 847 | 81k| 11k| 2.700000e+01 | -- | Inf
1363.65/1363.94 c 1364s| 58400 | 14696 | 13014k| 222.8 | 175M| 64 | 548 |2470 |4845 |2470 |2452 | 847 | 81k| 11k| 2.700000e+01 | -- | Inf
1364.95/1365.28 c 1365s| 58500 | 14710 | 13027k| 222.6 | 175M| 64 | 402 |2470 |4830 |2470 |2452 | 847 | 81k| 11k| 2.700000e+01 | -- | Inf
1366.74/1367.00 c 1367s| 58600 | 14715 | 13042k| 222.5 | 175M| 64 | 370 |2470 |4919 |2470 |2452 | 847 | 81k| 11k| 2.700000e+01 | -- | Inf
1369.05/1369.39 c 1369s| 58700 | 14724 | 13066k| 222.5 | 175M| 64 | - |2470 |4848 | 0 | 0 | 847 | 81k| 11k| 2.700000e+01 | -- | Inf
1370.85/1371.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1370.85/1371.18 c 1371s| 58800 | 14742 | 13084k| 222.4 | 175M| 64 | - |2470 |4856 | 0 | 0 | 847 | 81k| 11k| 2.700000e+01 | -- | Inf
1372.35/1372.70 c 1373s| 58900 | 14747 | 13097k| 222.3 | 175M| 64 | 540 |2470 |4878 |2470 |2452 | 847 | 81k| 11k| 2.700000e+01 | -- | Inf
1374.55/1374.88 c 1375s| 59000 | 14765 | 13116k| 222.2 | 176M| 64 | 626 |2470 |4899 |2470 |2452 | 847 | 82k| 11k| 2.700000e+01 | -- | Inf
1376.25/1376.54 c 1377s| 59100 | 14786 | 13131k| 222.1 | 176M| 64 | 486 |2470 |4932 |2470 |2452 | 847 | 82k| 11k| 2.700000e+01 | -- | Inf
1377.84/1378.15 c 1378s| 59200 | 14795 | 13148k| 222.0 | 176M| 64 | 444 |2470 |4853 |2470 |2452 | 847 | 82k| 11k| 2.700000e+01 | -- | Inf
1380.05/1380.35 c 1380s| 59300 | 14812 | 13167k| 221.9 | 176M| 64 | 467 |2470 |4941 |2470 |2452 | 847 | 82k| 11k| 2.700000e+01 | -- | Inf
1382.15/1382.41 c 1382s| 59400 | 14836 | 13186k| 221.9 | 176M| 64 | - |2470 |4898 |2470 |2452 | 847 | 82k| 11k| 2.700000e+01 | -- | Inf
1384.14/1384.47 c 1384s| 59500 | 14855 | 13206k| 221.9 | 177M| 64 | 370 |2470 |4982 |2470 |2452 | 847 | 83k| 11k| 2.700000e+01 | -- | Inf
1385.44/1385.77 c 1386s| 59600 | 14875 | 13218k| 221.7 | 177M| 64 | 319 |2470 |4946 |2470 |2452 | 847 | 83k| 11k| 2.700000e+01 | -- | Inf
1388.24/1388.51 c 1389s| 59700 | 14875 | 13234k| 221.6 | 177M| 64 | 483 |2470 |4925 |2470 |2452 | 847 | 83k| 11k| 2.700000e+01 | -- | Inf
1389.74/1390.03 c 1390s| 59800 | 14897 | 13251k| 221.5 | 177M| 64 | 329 |2470 |4860 |2470 |2452 | 847 | 83k| 11k| 2.700000e+01 | -- | Inf
1390.95/1391.29 c 1391s| 59900 | 14902 | 13266k| 221.4 | 177M| 64 | 726 |2470 |4840 |2470 |2452 | 847 | 83k| 11k| 2.700000e+01 | -- | Inf
1392.94/1393.28 c 1393s| 60000 | 14920 | 13293k| 221.5 | 178M| 64 | 572 |2470 |4905 |2470 |2452 | 847 | 83k| 11k| 2.700000e+01 | -- | Inf
1394.55/1394.84 c 1395s| 60100 | 14922 | 13306k| 221.3 | 178M| 64 | 512 |2470 |4968 |2470 |2452 | 847 | 83k| 11k| 2.700000e+01 | -- | Inf
1396.34/1396.68 c 1397s| 60200 | 14935 | 13322k| 221.2 | 178M| 64 | 498 |2470 |4984 |2470 |2452 | 847 | 84k| 11k| 2.700000e+01 | -- | Inf
1398.24/1398.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1398.24/1398.52 c 1399s| 60300 | 14931 | 13337k| 221.1 | 178M| 64 | 334 |2470 |4989 |2470 |2452 | 847 | 84k| 11k| 2.700000e+01 | -- | Inf
1399.85/1400.14 c 1400s| 60400 | 14951 | 13354k| 221.0 | 178M| 64 | 381 |2470 |5038 |2470 |2452 | 847 | 84k| 11k| 2.700000e+01 | -- | Inf
1403.35/1403.68 c 1404s| 60500 | 14964 | 13387k| 221.2 | 179M| 64 | 273 |2470 |5379 |2470 |2452 | 847 | 84k| 11k| 2.700000e+01 | -- | Inf
1405.04/1405.32 c 1405s| 60600 | 14979 | 13403k| 221.1 | 179M| 64 | - |2470 |5419 | 0 | 0 | 847 | 84k| 11k| 2.700000e+01 | -- | Inf
1407.34/1407.61 c 1408s| 60700 | 14991 | 13424k| 221.1 | 179M| 64 | - |2470 |5422 | 0 | 0 | 847 | 85k| 11k| 2.700000e+01 | -- | Inf
1409.24/1409.51 c 1410s| 60800 | 14987 | 13440k| 221.0 | 179M| 64 | 333 |2470 |5391 |2470 |2452 | 847 | 85k| 11k| 2.700000e+01 | -- | Inf
1410.95/1411.23 c 1411s| 60900 | 15011 | 13459k| 220.9 | 179M| 64 | - |2470 |5377 | 0 | 0 | 847 | 85k| 11k| 2.700000e+01 | -- | Inf
1412.84/1413.14 c 1413s| 61000 | 15041 | 13480k| 220.9 | 179M| 64 | 442 |2470 |5367 |2470 |2452 | 847 | 85k| 11k| 2.700000e+01 | -- | Inf
1414.25/1414.53 c 1415s| 61100 | 15066 | 13493k| 220.7 | 180M| 64 | - |2470 |5384 | 0 | 0 | 847 | 85k| 12k| 2.700000e+01 | -- | Inf
1416.35/1416.60 c 1417s| 61200 | 15074 | 13512k| 220.7 | 180M| 64 | 802 |2470 |5389 |2470 |2452 | 847 | 85k| 12k| 2.700000e+01 | -- | Inf
1417.94/1418.25 c 1418s| 61300 | 15068 | 13526k| 220.6 | 180M| 64 | 468 |2470 |5321 |2470 |2452 | 847 | 85k| 12k| 2.700000e+01 | -- | Inf
1419.64/1419.98 c 1420s| 61400 | 15073 | 13541k| 220.4 | 180M| 64 | 310 |2470 |5276 |2470 |2452 | 847 | 86k| 12k| 2.700000e+01 | -- | Inf
1423.84/1424.13 c 1424s| 61500 | 15097 | 13580k| 220.7 | 180M| 64 | 484 |2470 |5261 |2470 |2452 | 847 | 86k| 12k| 2.700000e+01 | -- | Inf
1425.34/1425.60 c 1426s| 61600 | 15104 | 13592k| 220.6 | 180M| 64 | 480 |2470 |5308 |2470 |2452 | 847 | 86k| 12k| 2.700000e+01 | -- | Inf
1427.94/1428.25 c 1428s| 61700 | 15120 | 13618k| 220.6 | 181M| 64 | 269 |2470 |5201 |2470 |2452 | 847 | 86k| 12k| 2.700000e+01 | -- | Inf
1430.43/1430.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.43/1430.72 c 1431s| 61800 | 15138 | 13638k| 220.6 | 181M| 64 | - |2470 |5046 | 0 | 0 | 847 | 86k| 12k| 2.700000e+01 | -- | Inf
1431.74/1432.00 c 1432s| 61900 | 15161 | 13648k| 220.4 | 181M| 64 | 583 |2470 |5006 |2470 |2452 | 847 | 87k| 12k| 2.700000e+01 | -- | Inf
1433.44/1433.73 c 1434s| 62000 | 15179 | 13664k| 220.3 | 181M| 64 | - |2470 |5010 | 0 | 0 | 847 | 87k| 12k| 2.700000e+01 | -- | Inf
1435.84/1436.12 c 1436s| 62100 | 15213 | 13689k| 220.3 | 182M| 64 | - |2470 |4882 |2470 |2452 | 847 | 87k| 12k| 2.700000e+01 | -- | Inf
1436.93/1437.24 c 1437s| 62200 | 15220 | 13699k| 220.2 | 182M| 64 | 521 |2470 |4948 |2470 |2452 | 847 | 87k| 12k| 2.700000e+01 | -- | Inf
1439.54/1439.84 c 1440s| 62300 | 15236 | 13725k| 220.2 | 182M| 64 | - |2470 |4893 | 0 | 0 | 847 | 87k| 12k| 2.700000e+01 | -- | Inf
1441.64/1441.90 c 1442s| 62400 | 15251 | 13745k| 220.2 | 182M| 64 | - |2470 |4834 | 0 | 0 | 847 | 87k| 12k| 2.700000e+01 | -- | Inf
1443.63/1443.97 c 1444s| 62500 | 15265 | 13769k| 220.2 | 182M| 64 | 361 |2470 |4843 |2470 |2452 | 847 | 87k| 12k| 2.700000e+01 | -- | Inf
1445.34/1445.68 c 1446s| 62600 | 15261 | 13781k| 220.1 | 183M| 64 | 627 |2470 |4863 |2470 |2452 | 847 | 87k| 12k| 2.700000e+01 | -- | Inf
1446.93/1447.26 c 1447s| 62700 | 15264 | 13795k| 219.9 | 183M| 64 | 435 |2470 |4844 |2470 |2452 | 847 | 88k| 12k| 2.700000e+01 | -- | Inf
1449.74/1450.03 c 1450s| 62800 | 15297 | 13824k| 220.0 | 183M| 64 | 635 |2470 |4778 |2470 |2452 | 847 | 88k| 12k| 2.700000e+01 | -- | Inf
1451.94/1452.20 c 1452s| 62900 | 15316 | 13844k| 220.0 | 183M| 64 | - |2470 |4752 |2470 |2452 | 847 | 88k| 12k| 2.750000e+01 | -- | Inf
1453.04/1453.39 c 1453s| 63000 | 15322 | 13856k| 219.9 | 183M| 64 | 444 |2470 |4866 |2470 |2452 | 847 | 88k| 12k| 2.750000e+01 | -- | Inf
1454.73/1455.04 c 1455s| 63100 | 15335 | 13871k| 219.7 | 184M| 64 | - |2470 |4911 | 0 | 0 | 847 | 88k| 12k| 2.750000e+01 | -- | Inf
1457.04/1457.34 c 1457s| 63200 | 15356 | 13891k| 219.7 | 184M| 64 | 271 |2470 |5026 |2470 |2452 | 847 | 89k| 12k| 2.750000e+01 | -- | Inf
1458.83/1459.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1458.83/1459.15 c 1459s| 63300 | 15382 | 13906k| 219.6 | 184M| 64 | 367 |2470 |4971 |2470 |2452 | 847 | 89k| 12k| 2.800000e+01 | -- | Inf
1460.34/1460.68 c 1461s| 63400 | 15396 | 13921k| 219.5 | 184M| 64 | 493 |2470 |5001 |2470 |2452 | 847 | 89k| 12k| 2.800000e+01 | -- | Inf
1463.74/1464.00 c 1464s| 63500 | 15440 | 13960k| 219.8 | 185M| 64 | - |2470 |4811 | 0 | 0 | 847 | 89k| 12k| 2.800000e+01 | -- | Inf
1467.23/1467.53 c 1468s| 63600 | 15440 | 13992k| 219.9 | 184M| 64 | 259 |2470 |4805 |2470 |2452 | 847 | 89k| 12k| 2.800000e+01 | -- | Inf
1468.63/1468.96 c 1469s| 63700 | 15447 | 14001k| 219.7 | 185M| 64 | 297 |2470 |4888 |2470 |2452 | 847 | 89k| 12k| 2.800000e+01 | -- | Inf
1469.83/1470.18 c 1470s| 63800 | 15454 | 14015k| 219.6 | 185M| 64 | 288 |2470 |4900 |2470 |2452 | 847 | 90k| 12k| 2.800000e+01 | -- | Inf
1471.63/1471.91 c 1472s| 63900 | 15459 | 14028k| 219.4 | 185M| 64 | 273 |2470 |4874 |2470 |2452 | 847 | 90k| 12k| 2.800000e+01 | -- | Inf
1472.63/1472.92 c 1473s| 64000 | 15467 | 14038k| 219.3 | 185M| 64 | 349 |2470 |4859 |2470 |2452 | 847 | 90k| 12k| 2.800000e+01 | -- | Inf
1474.84/1475.19 c 1475s| 64100 | 15476 | 14056k| 219.2 | 185M| 64 | 499 |2470 |4882 |2470 |2452 | 847 | 90k| 12k| 2.800000e+01 | -- | Inf
1476.23/1476.58 c 1477s| 64200 | 15481 | 14070k| 219.1 | 185M| 64 | 360 |2470 |4888 |2470 |2452 | 847 | 90k| 12k| 2.800000e+01 | -- | Inf
1477.53/1477.85 c 1478s| 64300 | 15491 | 14079k| 218.9 | 185M| 64 | - |2470 |4867 | 0 | 0 | 847 | 90k| 12k| 2.800000e+01 | -- | Inf
1479.43/1479.76 c 1480s| 64400 | 15493 | 14094k| 218.8 | 185M| 64 | - |2470 |4894 |2470 |2452 | 847 | 90k| 12k| 2.800000e+01 | -- | Inf
1480.73/1481.08 c 1481s| 64500 | 15517 | 14104k| 218.6 | 186M| 64 | - |2470 |4907 | 0 | 0 | 847 | 91k| 12k| 2.800000e+01 | -- | Inf
1482.13/1482.44 c 1482s| 64600 | 15496 | 14116k| 218.4 | 185M| 64 | - |2470 |4945 | 0 | 0 | 847 | 91k| 12k| 2.800000e+01 | -- | Inf
1483.93/1484.25 c 1484s| 64700 | 15512 | 14131k| 218.3 | 186M| 64 | 345 |2470 |4948 |2470 |2452 | 847 | 91k| 12k| 2.800000e+01 | -- | Inf
1485.33/1485.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1485.33/1485.60 c 1486s| 64800 | 15506 | 14142k| 218.2 | 186M| 64 | 528 |2470 |4981 |2470 |2452 | 847 | 91k| 12k| 2.800000e+01 | -- | Inf
1486.84/1487.12 c 1487s| 64900 | 15505 | 14158k| 218.1 | 186M| 64 | 614 |2470 |5059 |2470 |2452 | 847 | 91k| 12k| 2.800000e+01 | -- | Inf
1488.53/1488.83 c 1489s| 65000 | 15505 | 14173k| 218.0 | 186M| 64 | - |2470 |5133 | 0 | 0 | 847 | 91k| 12k| 2.800000e+01 | -- | Inf
1489.73/1490.09 c 1490s| 65100 | 15503 | 14181k| 217.7 | 186M| 64 | 341 |2470 |5180 |2470 |2452 | 847 | 92k| 12k| 2.800000e+01 | -- | Inf
1491.13/1491.47 c 1491s| 65200 | 15506 | 14195k| 217.6 | 186M| 64 | 373 |2470 |5171 |2470 |2452 | 847 | 92k| 12k| 2.800000e+01 | -- | Inf
1492.93/1493.26 c 1493s| 65300 | 15512 | 14210k| 217.5 | 186M| 64 | 315 |2470 |5224 |2470 |2452 | 847 | 92k| 12k| 2.800000e+01 | -- | Inf
1494.43/1494.79 c 1495s| 65400 | 15524 | 14222k| 217.4 | 186M| 64 | 622 |2470 |5221 |2470 |2452 | 847 | 92k| 12k| 2.800000e+01 | -- | Inf
1495.52/1495.88 c 1496s| 65500 | 15533 | 14233k| 217.2 | 186M| 64 | 523 |2470 |5243 |2470 |2452 | 847 | 92k| 12k| 2.800000e+01 | -- | Inf
1497.13/1497.45 c 1497s| 65600 | 15530 | 14248k| 217.1 | 186M| 64 | - |2470 |5302 |2470 |2452 | 847 | 92k| 12k| 2.800000e+01 | -- | Inf
1499.13/1499.42 c 1499s| 65700 | 15528 | 14264k| 217.0 | 186M| 64 | 404 |2470 |5198 |2470 |2452 | 847 | 92k| 12k| 2.800000e+01 | -- | Inf
1501.93/1502.25 c 1502s| 65800 | 15560 | 14295k| 217.2 | 187M| 64 | 656 |2470 |5180 |2470 |2452 | 847 | 93k| 12k| 2.800000e+01 | -- | Inf
1503.73/1504.02 c 1504s| 65900 | 15579 | 14312k| 217.1 | 187M| 64 | 204 |2470 |5176 |2470 |2452 | 847 | 93k| 12k| 2.800000e+01 | -- | Inf
1505.13/1505.47 c 1505s| 66000 | 15566 | 14328k| 217.0 | 187M| 64 | - |2470 |5232 | 0 | 0 | 847 | 93k| 12k| 2.800000e+01 | -- | Inf
1506.73/1507.07 c 1507s| 66100 | 15570 | 14343k| 216.9 | 187M| 64 | 348 |2470 |5209 |2470 |2452 | 847 | 93k| 12k| 2.800000e+01 | -- | Inf
1508.23/1508.58 c 1509s| 66200 | 15571 | 14355k| 216.8 | 187M| 64 | 425 |2470 |5188 |2470 |2452 | 847 | 93k| 12k| 2.800000e+01 | -- | Inf
1510.43/1510.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1510.43/1510.71 c 1511s| 66300 | 15583 | 14369k| 216.6 | 187M| 64 | 306 |2470 |5373 |2470 |2452 | 847 | 93k| 12k| 2.800000e+01 | -- | Inf
1511.82/1512.12 c 1512s| 66400 | 15589 | 14382k| 216.5 | 187M| 64 | 576 |2470 |5288 |2470 |2452 | 847 | 93k| 12k| 2.800000e+01 | -- | Inf
1513.23/1513.60 c 1514s| 66500 | 15598 | 14394k| 216.4 | 187M| 64 | 349 |2470 |5337 |2470 |2452 | 847 | 94k| 12k| 2.800000e+01 | -- | Inf
1514.92/1515.24 c 1515s| 66600 | 15593 | 14407k| 216.2 | 187M| 64 | - |2470 |5294 | 0 | 0 | 847 | 94k| 13k| 2.800000e+01 | -- | Inf
1516.64/1516.98 c 1517s| 66700 | 15595 | 14419k| 216.1 | 187M| 64 | - |2470 |5485 | 0 | 0 | 847 | 94k| 13k| 2.800000e+01 | -- | Inf
1518.52/1518.84 c 1519s| 66800 | 15600 | 14434k| 216.0 | 187M| 66 | - |2470 |5455 | 0 | 0 | 847 | 94k| 13k| 2.800000e+01 | -- | Inf
1520.62/1520.97 c 1521s| 66900 | 15607 | 14452k| 215.9 | 188M| 66 | - |2470 |5502 |2470 |2452 | 847 | 94k| 13k| 2.800000e+01 | -- | Inf
1522.42/1522.72 c 1523s| 67000 | 15619 | 14471k| 215.9 | 188M| 66 | 350 |2470 |5570 |2470 |2452 | 847 | 95k| 13k| 2.800000e+01 | -- | Inf
1524.03/1524.30 c 1524s| 67100 | 15616 | 14483k| 215.7 | 188M| 66 | 479 |2470 |5544 |2470 |2452 | 847 | 95k| 13k| 2.800000e+01 | -- | Inf
1525.23/1525.59 c 1526s| 67200 | 15635 | 14495k| 215.6 | 188M| 66 | 368 |2470 |5481 |2470 |2452 | 847 | 95k| 13k| 2.800000e+01 | -- | Inf
1527.12/1527.44 c 1527s| 67300 | 15652 | 14507k| 215.5 | 188M| 66 | 650 |2470 |5417 |2470 |2452 | 847 | 95k| 13k| 2.800000e+01 | -- | Inf
1528.42/1528.78 c 1529s| 67400 | 15677 | 14521k| 215.4 | 188M| 66 | - |2470 |5455 | 0 | 0 | 847 | 95k| 13k| 2.800000e+01 | -- | Inf
1529.83/1530.16 c 1530s| 67500 | 15682 | 14532k| 215.2 | 189M| 66 | - |2470 |5573 | 0 | 0 | 847 | 95k| 13k| 2.800000e+01 | -- | Inf
1531.43/1531.74 c 1532s| 67600 | 15677 | 14548k| 215.1 | 189M| 66 | - |2470 |5590 | 0 | 0 | 847 | 95k| 13k| 2.800000e+01 | -- | Inf
1533.53/1533.82 c 1534s| 67700 | 15695 | 14563k| 215.0 | 189M| 66 | - |2470 |5523 | 0 | 0 | 847 | 96k| 13k| 2.800000e+01 | -- | Inf
1534.82/1535.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1534.82/1535.12 c 1535s| 67800 | 15710 | 14577k| 214.9 | 189M| 66 | - |2470 |5543 | 0 | 0 | 847 | 96k| 13k| 2.800000e+01 | -- | Inf
1536.42/1536.70 c 1537s| 67900 | 15713 | 14591k| 214.8 | 189M| 66 | 597 |2470 |5577 |2470 |2452 | 847 | 96k| 13k| 2.800000e+01 | -- | Inf
1538.02/1538.37 c 1538s| 68000 | 15696 | 14604k| 214.7 | 189M| 66 | 341 |2470 |5590 |2470 |2452 | 847 | 96k| 13k| 2.800000e+01 | -- | Inf
1539.52/1539.83 c 1540s| 68100 | 15693 | 14615k| 214.5 | 189M| 66 | 552 |2470 |5668 |2470 |2452 | 847 | 96k| 13k| 2.800000e+01 | -- | Inf
1541.92/1542.21 c 1542s| 68200 | 15708 | 14633k| 214.5 | 189M| 66 | 432 |2470 |5761 |2470 |2452 | 847 | 96k| 13k| 2.800000e+01 | -- | Inf
1543.52/1543.90 c 1544s| 68300 | 15708 | 14648k| 214.4 | 190M| 66 | - |2470 |5830 | 0 | 0 | 847 | 97k| 13k| 2.800000e+01 | -- | Inf
1545.62/1545.90 c 1546s| 68400 | 15718 | 14666k| 214.3 | 190M| 66 | 567 |2470 |5920 |2470 |2452 | 847 | 97k| 13k| 2.800000e+01 | -- | Inf
1547.42/1547.78 c 1548s| 68500 | 15714 | 14686k| 214.3 | 190M| 66 | 591 |2470 |5930 |2470 |2452 | 847 | 97k| 13k| 2.800000e+01 | -- | Inf
1549.02/1549.32 c 1549s| 68600 | 15721 | 14705k| 214.3 | 190M| 66 | - |2470 |5930 | 0 | 0 | 847 | 97k| 13k| 2.800000e+01 | -- | Inf
1550.92/1551.22 c 1551s| 68700 | 15712 | 14723k| 214.2 | 190M| 66 | 719 |2470 |5815 |2470 |2452 | 847 | 97k| 13k| 2.800000e+01 | -- | Inf
1552.42/1552.70 c 1553s| 68800 | 15719 | 14736k| 214.1 | 190M| 66 | 171 |2470 |5764 |2470 |2452 | 847 | 97k| 13k| 2.800000e+01 | -- | Inf
1554.32/1554.60 c 1555s| 68900 | 15708 | 14749k| 214.0 | 190M| 66 | - |2470 |5819 | 0 | 0 | 847 | 97k| 13k| 2.800000e+01 | -- | Inf
1555.92/1556.29 c 1556s| 69000 | 15719 | 14769k| 214.0 | 190M| 66 | 523 |2470 |5766 |2470 |2452 | 847 | 97k| 13k| 2.800000e+01 | -- | Inf
1557.41/1557.71 c 1558s| 69100 | 15717 | 14781k| 213.8 | 190M| 66 | 299 |2470 |5625 |2470 |2452 | 847 | 98k| 13k| 2.800000e+01 | -- | Inf
1558.72/1559.08 c 1559s| 69200 | 15719 | 14794k| 213.7 | 190M| 66 | - |2470 |5559 |2470 |2452 | 847 | 98k| 13k| 2.800000e+01 | -- | Inf
1560.31/1560.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1560.31/1560.65 c 1561s| 69300 | 15722 | 14809k| 213.6 | 190M| 66 | - |2470 |5420 | 0 | 0 | 847 | 98k| 13k| 2.800000e+01 | -- | Inf
1562.12/1562.46 c 1562s| 69400 | 15728 | 14824k| 213.5 | 190M| 66 | - |2470 |5429 | 0 | 0 | 847 | 98k| 13k| 2.800000e+01 | -- | Inf
1564.62/1564.95 c 1565s| 69500 | 15729 | 14848k| 213.6 | 190M| 66 | 458 |2470 |5594 |2470 |2452 | 847 | 98k| 13k| 2.800000e+01 | -- | Inf
1567.13/1567.48 c 1567s| 69600 | 15737 | 14872k| 213.6 | 190M| 66 | 602 |2470 |5643 |2470 |2452 | 847 | 99k| 13k| 2.800000e+01 | -- | Inf
1568.41/1568.72 c 1569s| 69700 | 15749 | 14890k| 213.5 | 191M| 66 | 524 |2470 |5686 |2470 |2452 | 847 | 99k| 13k| 2.800000e+01 | -- | Inf
1570.21/1570.50 c 1570s| 69800 | 15751 | 14902k| 213.4 | 191M| 66 | 408 |2470 |5684 |2470 |2452 | 847 | 99k| 13k| 2.800000e+01 | -- | Inf
1571.82/1572.16 c 1572s| 69900 | 15754 | 14920k| 213.4 | 191M| 66 | - |2470 |5672 | 0 | 0 | 847 | 99k| 13k| 2.800000e+01 | -- | Inf
1573.42/1573.76 c 1574s| 70000 | 15754 | 14934k| 213.3 | 191M| 66 | 525 |2470 |5734 |2470 |2452 | 847 | 99k| 13k| 2.800000e+01 | -- | Inf
1575.31/1575.65 c 1576s| 70100 | 15736 | 14948k| 213.2 | 191M| 66 | - |2470 |5802 | 0 | 0 | 847 | 99k| 13k| 2.800000e+01 | -- | Inf
1576.82/1577.17 c 1577s| 70200 | 15754 | 14965k| 213.1 | 191M| 66 | 328 |2470 |5685 |2470 |2452 | 847 | 99k| 13k| 2.800000e+01 | -- | Inf
1578.42/1578.72 c 1579s| 70300 | 15785 | 14980k| 213.0 | 191M| 66 | - |2470 |5845 | 0 | 0 | 847 | 100k| 13k| 2.800000e+01 | -- | Inf
1579.91/1580.28 c 1580s| 70400 | 15786 | 14993k| 212.9 | 192M| 66 | 573 |2470 |5872 |2470 |2452 | 847 | 100k| 13k| 2.800000e+01 | -- | Inf
1581.62/1581.97 c 1582s| 70500 | 15791 | 15006k| 212.8 | 192M| 66 | 508 |2470 |5831 |2470 |2452 | 847 | 100k| 13k| 2.800000e+01 | -- | Inf
1583.31/1583.65 c 1584s| 70600 | 15793 | 15021k| 212.7 | 192M| 66 | 666 |2470 |5849 |2470 |2452 | 847 | 100k| 13k| 2.800000e+01 | -- | Inf
1584.72/1585.03 c 1585s| 70700 | 15805 | 15035k| 212.6 | 192M| 66 | - |2470 |5773 | 0 | 0 | 847 | 100k| 13k| 2.800000e+01 | -- | Inf
1587.12/1587.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1587.12/1587.47 c 1587s| 70800 | 15798 | 15056k| 212.6 | 192M| 66 | 420 |2470 |5761 |2470 |2452 | 847 | 100k| 13k| 2.800000e+01 | -- | Inf
1588.31/1588.66 c 1589s| 70900 | 15791 | 15065k| 212.4 | 192M| 66 | 271 |2470 |5534 |2470 |2452 | 847 | 101k| 13k| 2.800000e+01 | -- | Inf
1590.22/1590.59 c 1591s| 71000 | 15807 | 15084k| 212.4 | 192M| 66 | 379 |2470 |5408 |2470 |2452 | 847 | 101k| 13k| 2.800000e+01 | -- | Inf
1591.92/1592.29 c 1592s| 71100 | 15790 | 15100k| 212.3 | 192M| 66 | - |2470 |5420 | 0 | 0 | 847 | 101k| 13k| 2.800000e+01 | -- | Inf
1593.52/1593.87 c 1594s| 71200 | 15788 | 15112k| 212.2 | 192M| 66 | 476 |2470 |5477 |2470 |2452 | 847 | 101k| 13k| 2.800000e+01 | -- | Inf
1595.01/1595.30 c 1595s| 71300 | 15799 | 15124k| 212.0 | 192M| 66 | - |2470 |5550 | 0 | 0 | 847 | 101k| 13k| 2.800000e+01 | -- | Inf
1595.91/1596.22 c 1596s| 71400 | 15795 | 15133k| 211.9 | 192M| 66 | - |2470 |5627 |2470 |2452 | 847 | 101k| 13k| 2.800000e+01 | -- | Inf
1597.21/1597.57 c 1598s| 71500 | 15803 | 15146k| 211.7 | 192M| 66 | - |2470 |5691 | 0 | 0 | 847 | 101k| 13k| 2.800000e+01 | -- | Inf
1598.91/1599.29 c 1599s| 71600 | 15802 | 15159k| 211.6 | 192M| 66 | 484 |2470 |5681 |2470 |2452 | 847 | 102k| 13k| 2.800000e+01 | -- | Inf
1600.71/1601.04 c 1601s| 71700 | 15810 | 15175k| 211.6 | 192M| 66 | 325 |2470 |5561 |2470 |2452 | 847 | 102k| 13k| 2.800000e+01 | -- | Inf
1602.12/1602.42 c 1602s| 71800 | 15819 | 15188k| 211.4 | 192M| 66 | - |2470 |5555 | 0 | 0 | 847 | 102k| 13k| 2.800000e+01 | -- | Inf
1603.42/1603.73 c 1604s| 71900 | 15816 | 15200k| 211.3 | 192M| 66 | 359 |2470 |5571 |2470 |2452 | 847 | 102k| 13k| 2.800000e+01 | -- | Inf
1604.41/1604.78 c 1605s| 72000 | 15821 | 15211k| 211.2 | 193M| 66 | - |2470 |5627 | 0 | 0 | 847 | 102k| 13k| 2.800000e+01 | -- | Inf
1606.82/1607.15 c 1607s| 72100 | 15833 | 15227k| 211.1 | 193M| 66 | 356 |2470 |5483 |2470 |2452 | 847 | 102k| 14k| 2.800000e+01 | -- | Inf
1609.41/1609.73 c 1610s| 72200 | 15844 | 15249k| 211.1 | 193M| 66 | - |2470 |5437 | 0 | 0 | 847 | 102k| 14k| 2.800000e+01 | -- | Inf
1611.61/1611.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1611.61/1611.97 c 1612s| 72300 | 15855 | 15267k| 211.1 | 193M| 66 | 431 |2470 |5505 |2470 |2452 | 847 | 103k| 14k| 2.800000e+01 | -- | Inf
1613.11/1613.45 c 1613s| 72400 | 15866 | 15278k| 210.9 | 193M| 66 | 297 |2470 |5388 |2470 |2452 | 847 | 103k| 14k| 2.800000e+01 | -- | Inf
1614.51/1614.86 c 1615s| 72500 | 15889 | 15291k| 210.8 | 193M| 66 | - |2470 |5322 | 0 | 0 | 847 | 103k| 14k| 2.800000e+01 | -- | Inf
1619.00/1619.36 c 1619s| 72600 | 15887 | 15326k| 211.0 | 193M| 66 | 348 |2470 |5463 |2470 |2452 | 847 | 104k| 14k| 2.800000e+01 | -- | Inf
1621.12/1621.48 c 1621s| 72700 | 15892 | 15344k| 211.0 | 194M| 66 | 297 |2470 |5367 |2470 |2452 | 847 | 104k| 14k| 2.800000e+01 | -- | Inf
1623.11/1623.46 c 1623s| 72800 | 15912 | 15363k| 210.9 | 194M| 66 | 315 |2470 |5317 |2470 |2452 | 847 | 104k| 14k| 2.800000e+01 | -- | Inf
1625.31/1625.61 c 1626s| 72900 | 15915 | 15379k| 210.9 | 194M| 66 | 252 |2470 |5329 |2470 |2452 | 847 | 104k| 14k| 2.800000e+01 | -- | Inf
1627.10/1627.46 c 1627s| 73000 | 15926 | 15395k| 210.8 | 194M| 66 | 403 |2470 |5289 |2470 |2452 | 847 | 104k| 14k| 2.800000e+01 | -- | Inf
1629.00/1629.31 c 1629s| 73100 | 15947 | 15413k| 210.8 | 194M| 66 | - |2470 |5249 | 0 | 0 | 847 | 104k| 14k| 2.800000e+01 | -- | Inf
1631.81/1632.18 c 1632s| 73200 | 15969 | 15442k| 210.9 | 194M| 66 | - |2470 |5146 | 0 | 0 | 847 | 104k| 14k| 2.800000e+01 | -- | Inf
1633.01/1633.33 c 1633s| 73300 | 15963 | 15455k| 210.8 | 194M| 66 | 398 |2470 |5177 |2470 |2452 | 847 | 105k| 14k| 2.800000e+01 | -- | Inf
1634.10/1634.46 c 1634s| 73400 | 15980 | 15465k| 210.6 | 195M| 66 | 410 |2470 |5224 |2470 |2452 | 847 | 105k| 14k| 2.800000e+01 | -- | Inf
1636.51/1636.81 c 1637s| 73500 | 16021 | 15484k| 210.6 | 195M| 66 | - |2470 |5311 | 0 | 0 | 847 | 105k| 14k| 2.800000e+01 | -- | Inf
1637.80/1638.12 c 1638s| 73600 | 16051 | 15499k| 210.5 | 196M| 66 | 426 |2470 |5291 |2470 |2452 | 847 | 105k| 14k| 2.800000e+01 | -- | Inf
1641.50/1641.89 c 1642s| 73700 | 16072 | 15526k| 210.6 | 196M| 66 | 539 |2470 |5442 |2470 |2452 | 847 | 105k| 14k| 2.800000e+01 | -- | Inf
1643.11/1643.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1643.11/1643.46 c 1643s| 73800 | 16092 | 15542k| 210.5 | 196M| 66 | 480 |2470 |5341 |2470 |2452 | 847 | 106k| 14k| 2.800000e+01 | -- | Inf
1644.50/1644.81 c 1645s| 73900 | 16107 | 15558k| 210.5 | 197M| 66 | 399 |2470 |5381 |2470 |2452 | 847 | 106k| 14k| 2.800000e+01 | -- | Inf
1645.41/1645.76 c 1646s| 74000 | 16122 | 15567k| 210.3 | 197M| 66 | - |2470 |5495 | 0 | 0 | 847 | 106k| 14k| 2.800000e+01 | -- | Inf
1646.71/1647.07 c 1647s| 74100 | 16132 | 15580k| 210.2 | 197M| 66 | - |2470 |5359 | 0 | 0 | 847 | 106k| 14k| 2.825000e+01 | -- | Inf
1648.81/1649.18 c 1649s| 74200 | 16151 | 15603k| 210.2 | 197M| 66 | 456 |2470 |5246 |2470 |2452 | 847 | 106k| 14k| 2.825000e+01 | -- | Inf
1650.10/1650.50 c 1650s| 74300 | 16158 | 15617k| 210.1 | 197M| 66 | - |2470 |5046 | 0 | 0 | 847 | 106k| 14k| 2.850000e+01 | -- | Inf
1651.81/1652.12 c 1652s| 74400 | 16183 | 15633k| 210.0 | 198M| 66 | 337 |2470 |4978 |2470 |2452 | 847 | 106k| 14k| 2.850000e+01 | -- | Inf
1653.11/1653.46 c 1653s| 74500 | 16203 | 15648k| 210.0 | 198M| 66 | - |2470 |4963 |2470 |2452 | 847 | 107k| 14k| 2.850000e+01 | -- | Inf
1656.90/1657.25 c 1657s| 74600 | 16236 | 15681k| 210.1 | 198M| 66 | 498 |2470 |4907 |2470 |2452 | 847 | 107k| 14k| 2.850000e+01 | -- | Inf
1657.90/1658.24 c 1658s| 74700 | 16256 | 15691k| 210.0 | 198M| 66 | 342 |2470 |4814 |2470 |2452 | 847 | 107k| 14k| 2.850000e+01 | -- | Inf
1659.61/1659.99 c 1660s| 74800 | 16251 | 15708k| 209.9 | 198M| 66 | 443 |2470 |4782 |2470 |2452 | 847 | 107k| 14k| 2.850000e+01 | -- | Inf
1661.21/1661.55 c 1662s| 74900 | 16261 | 15723k| 209.8 | 198M| 66 | 290 |2470 |4689 |2470 |2452 | 847 | 107k| 14k| 2.850000e+01 | -- | Inf
1662.81/1663.18 c 1663s| 75000 | 16283 | 15742k| 209.8 | 198M| 66 | 677 |2470 |4608 |2470 |2452 | 847 | 107k| 14k| 2.866667e+01 | -- | Inf
1664.70/1665.09 c 1665s| 75100 | 16303 | 15761k| 209.8 | 198M| 66 | 342 |2470 |4639 |2470 |2452 | 847 | 107k| 14k| 2.866667e+01 | -- | Inf
1666.00/1666.30 c 1666s| 75200 | 16309 | 15773k| 209.7 | 199M| 66 | 607 |2470 |4703 |2470 |2452 | 847 | 108k| 14k| 2.875000e+01 | -- | Inf
1668.41/1668.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1668.41/1668.78 c 1669s| 75300 | 16325 | 15796k| 209.7 | 199M| 66 | 466 |2470 |4863 |2470 |2452 | 847 | 108k| 14k| 2.900000e+01 | -- | Inf
1669.51/1669.84 c 1670s| 75400 | 16338 | 15807k| 209.6 | 199M| 66 | 311 |2470 |4996 |2470 |2452 | 847 | 108k| 14k| 2.900000e+01 | -- | Inf
1671.10/1671.41 c 1671s| 75500 | 16350 | 15824k| 209.5 | 199M| 66 | 287 |2470 |4758 |2470 |2452 | 847 | 108k| 14k| 2.900000e+01 | -- | Inf
1673.20/1673.51 c 1674s| 75600 | 16380 | 15847k| 209.5 | 199M| 66 | 710 |2470 |4814 |2470 |2452 | 847 | 108k| 14k| 2.900000e+01 | -- | Inf
1674.90/1675.30 c 1675s| 75700 | 16405 | 15867k| 209.5 | 200M| 66 | 223 |2470 |4840 |2470 |2452 | 847 | 109k| 14k| 2.900000e+01 | -- | Inf
1676.70/1677.03 c 1677s| 75800 | 16432 | 15889k| 209.5 | 200M| 66 | 314 |2470 |4847 |2470 |2452 | 847 | 109k| 14k| 2.900000e+01 | -- | Inf
1679.00/1679.34 c 1679s| 75900 | 16469 | 15918k| 209.6 | 200M| 66 | 393 |2470 |4762 |2470 |2452 | 847 | 109k| 14k| 2.900000e+01 | -- | Inf
1680.41/1680.71 c 1681s| 76000 | 16477 | 15934k| 209.6 | 200M| 66 | - |2470 |4752 |2470 |2452 | 847 | 109k| 14k| 2.900000e+01 | -- | Inf
1682.00/1682.39 c 1682s| 76100 | 16508 | 15955k| 209.6 | 201M| 66 | - |2470 |4768 | 0 | 0 | 847 | 109k| 14k| 2.900000e+01 | -- | Inf
1683.50/1683.87 c 1684s| 76200 | 16527 | 15974k| 209.6 | 201M| 66 | 633 |2470 |4835 |2470 |2452 | 847 | 109k| 14k| 2.900000e+01 | -- | Inf
1685.70/1686.07 c 1686s| 76300 | 16536 | 15998k| 209.6 | 201M| 66 | - |2470 |4776 | 0 | 0 | 847 | 109k| 14k| 2.900000e+01 | -- | Inf
1687.90/1688.25 c 1688s| 76400 | 16538 | 16017k| 209.6 | 202M| 66 | 332 |2470 |5219 |2470 |2452 | 847 | 110k| 14k| 2.900000e+01 | -- | Inf
1689.10/1689.40 c 1689s| 76500 | 16533 | 16031k| 209.5 | 202M| 66 | 267 |2470 |5235 |2470 |2452 | 847 | 110k| 14k| 2.900000e+01 | -- | Inf
1692.30/1692.61 c 1693s| 76600 | 16532 | 16064k| 209.6 | 202M| 66 | 313 |2470 |5444 |2470 |2452 | 847 | 110k| 14k| 2.900000e+01 | -- | Inf
1693.40/1693.72 c 1694s| 76700 | 16537 | 16077k| 209.5 | 202M| 66 | 346 |2470 |5447 |2470 |2452 | 847 | 111k| 14k| 2.900000e+01 | -- | Inf
1694.80/1695.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1694.80/1695.17 c 1695s| 76800 | 16553 | 16095k| 209.5 | 202M| 66 | - |2470 |5353 |2470 |2452 | 847 | 111k| 14k| 2.900000e+01 | -- | Inf
1695.80/1696.16 c 1696s| 76900 | 16552 | 16103k| 209.3 | 202M| 66 | - |2470 |5344 |2470 |2452 | 847 | 111k| 14k| 2.900000e+01 | -- | Inf
1697.30/1697.66 c 1698s| 77000 | 16568 | 16123k| 209.3 | 202M| 66 | - |2470 |5390 |2470 |2452 | 847 | 111k| 14k| 2.900000e+01 | -- | Inf
1698.49/1698.84 c 1699s| 77100 | 16583 | 16139k| 209.2 | 202M| 66 | 316 |2470 |5435 |2470 |2452 | 847 | 111k| 14k| 2.900000e+01 | -- | Inf
1699.70/1700.03 c 1700s| 77200 | 16578 | 16151k| 209.1 | 202M| 66 | 335 |2470 |5512 |2470 |2452 | 847 | 111k| 14k| 2.900000e+01 | -- | Inf
1701.19/1701.58 c 1702s| 77300 | 16580 | 16164k| 209.0 | 202M| 66 | 455 |2470 |5537 |2470 |2452 | 847 | 111k| 14k| 2.900000e+01 | -- | Inf
1703.00/1703.33 c 1703s| 77400 | 16598 | 16187k| 209.1 | 202M| 66 | 726 |2470 |5503 |2470 |2452 | 847 | 112k| 14k| 2.900000e+01 | -- | Inf
1704.10/1704.42 c 1704s| 77500 | 16585 | 16198k| 208.9 | 202M| 66 | - |2470 |5408 | 0 | 0 | 847 | 112k| 14k| 2.900000e+01 | -- | Inf
1705.30/1705.64 c 1706s| 77600 | 16590 | 16212k| 208.8 | 202M| 66 | - |2470 |5446 | 0 | 0 | 847 | 112k| 14k| 2.900000e+01 | -- | Inf
1706.49/1706.87 c 1707s| 77700 | 16585 | 16228k| 208.8 | 203M| 66 | 535 |2470 |5514 |2470 |2452 | 847 | 112k| 14k| 2.900000e+01 | -- | Inf
1708.20/1708.51 c 1709s| 77800 | 16596 | 16246k| 208.7 | 203M| 66 | 467 |2470 |5621 |2470 |2452 | 847 | 112k| 14k| 2.900000e+01 | -- | Inf
1709.50/1709.80 c 1710s| 77900 | 16603 | 16259k| 208.6 | 203M| 66 | 585 |2470 |5663 |2470 |2452 | 847 | 112k| 14k| 2.900000e+01 | -- | Inf
1710.69/1711.02 c 1711s| 78000 | 16606 | 16273k| 208.5 | 203M| 66 | 206 |2470 |5718 |2470 |2452 | 847 | 113k| 14k| 2.900000e+01 | -- | Inf
1711.79/1712.12 c 1712s| 78100 | 16594 | 16284k| 208.4 | 203M| 66 | 294 |2470 |5679 |2470 |2452 | 847 | 113k| 14k| 2.900000e+01 | -- | Inf
1713.09/1713.42 c 1713s| 78200 | 16604 | 16302k| 208.4 | 203M| 66 | 347 |2470 |5686 |2470 |2452 | 847 | 113k| 14k| 2.900000e+01 | -- | Inf
1714.39/1714.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1714.39/1714.75 c 1715s| 78300 | 16611 | 16317k| 208.3 | 203M| 66 | - |2470 |5768 | 0 | 0 | 847 | 113k| 14k| 2.900000e+01 | -- | Inf
1715.49/1715.83 c 1716s| 78400 | 16602 | 16330k| 208.2 | 203M| 66 | - |2470 |5835 |2470 |2452 | 847 | 113k| 14k| 2.900000e+01 | -- | Inf
1717.49/1717.80 c 1718s| 78500 | 16615 | 16352k| 208.2 | 203M| 66 | 439 |2470 |5781 |2470 |2452 | 847 | 113k| 14k| 2.900000e+01 | -- | Inf
1718.69/1719.00 c 1719s| 78600 | 16608 | 16366k| 208.1 | 203M| 66 | 494 |2470 |5783 |2470 |2452 | 847 | 113k| 14k| 2.900000e+01 | -- | Inf
1720.09/1720.45 c 1720s| 78700 | 16610 | 16379k| 208.0 | 203M| 66 | 456 |2470 |5773 |2470 |2452 | 847 | 114k| 14k| 2.900000e+01 | -- | Inf
1721.19/1721.53 c 1722s| 78800 | 16606 | 16390k| 207.9 | 203M| 66 | 389 |2470 |5699 |2470 |2452 | 847 | 114k| 14k| 2.900000e+01 | -- | Inf
1722.19/1722.54 c 1723s| 78900 | 16605 | 16399k| 207.8 | 204M| 66 | 582 |2470 |5663 |2470 |2452 | 847 | 114k| 14k| 2.900000e+01 | -- | Inf
1724.09/1724.40 c 1724s| 79000 | 16612 | 16416k| 207.7 | 204M| 66 | - |2470 |5659 | 0 | 0 | 847 | 114k| 14k| 2.900000e+01 | -- | Inf
1724.99/1725.36 c 1725s| 79100 | 16610 | 16426k| 207.6 | 204M| 66 | - |2470 |5760 |2470 |2452 | 847 | 114k| 14k| 2.900000e+01 | -- | Inf
1726.60/1726.97 c 1727s| 79200 | 16606 | 16445k| 207.6 | 204M| 66 | - |2470 |5868 | 0 | 0 | 847 | 115k| 14k| 2.900000e+01 | -- | Inf
1727.99/1728.33 c 1728s| 79300 | 16616 | 16462k| 207.5 | 204M| 66 | 521 |2470 |5783 |2470 |2452 | 847 | 115k| 14k| 2.900000e+01 | -- | Inf
1729.19/1729.52 c 1730s| 79400 | 16628 | 16476k| 207.4 | 204M| 66 | 323 |2470 |5888 |2470 |2452 | 847 | 115k| 14k| 2.900000e+01 | -- | Inf
1730.00/1730.33 c 1730s| 79500 | 16626 | 16484k| 207.3 | 204M| 66 | 500 |2470 |5977 |2470 |2452 | 847 | 115k| 14k| 2.900000e+01 | -- | Inf
1731.09/1731.44 c 1731s| 79600 | 16621 | 16497k| 207.2 | 204M| 66 | 420 |2470 |6031 |2470 |2452 | 847 | 115k| 14k| 2.900000e+01 | -- | Inf
1732.69/1733.04 c 1733s| 79700 | 16644 | 16515k| 207.1 | 204M| 66 | - |2470 |5985 | 0 | 0 | 847 | 115k| 14k| 2.900000e+01 | -- | Inf
1733.89/1734.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1733.89/1734.23 c 1734s| 79800 | 16638 | 16529k| 207.1 | 204M| 66 | 396 |2470 |5962 |2470 |2452 | 847 | 116k| 14k| 2.900000e+01 | -- | Inf
1734.79/1735.14 c 1735s| 79900 | 16647 | 16536k| 206.9 | 204M| 66 | - |2470 |6004 | 0 | 0 | 847 | 116k| 14k| 2.900000e+01 | -- | Inf
1736.09/1736.43 c 1736s| 80000 | 16644 | 16551k| 206.8 | 204M| 66 | 298 |2470 |5925 |2470 |2452 | 847 | 116k| 14k| 2.900000e+01 | -- | Inf
1737.49/1737.84 c 1738s| 80100 | 16652 | 16568k| 206.8 | 205M| 66 | - |2470 |5847 | 0 | 0 | 847 | 116k| 14k| 2.900000e+01 | -- | Inf
1739.08/1739.48 c 1739s| 80200 | 16683 | 16587k| 206.7 | 205M| 66 | 473 |2470 |5801 |2470 |2452 | 847 | 116k| 14k| 2.900000e+01 | -- | Inf
1740.39/1740.79 c 1741s| 80300 | 16681 | 16603k| 206.7 | 205M| 66 | 515 |2470 |5819 |2470 |2452 | 847 | 116k| 14k| 2.900000e+01 | -- | Inf
1741.49/1741.87 c 1742s| 80400 | 16681 | 16613k| 206.6 | 204M| 66 | 457 |2470 |5845 |2470 |2452 | 847 | 116k| 14k| 2.900000e+01 | -- | Inf
1742.78/1743.14 c 1743s| 80500 | 16675 | 16627k| 206.5 | 204M| 66 | 295 |2470 |5666 |2470 |2452 | 847 | 117k| 14k| 2.900000e+01 | -- | Inf
1743.89/1744.21 c 1744s| 80600 | 16682 | 16639k| 206.4 | 205M| 66 | - |2470 |5730 | 0 | 0 | 847 | 117k| 14k| 2.900000e+01 | -- | Inf
1744.99/1745.38 c 1745s| 80700 | 16683 | 16654k| 206.3 | 204M| 66 | 289 |2470 |5784 |2470 |2452 | 847 | 117k| 14k| 2.900000e+01 | -- | Inf
1746.09/1746.49 c 1746s| 80800 | 16682 | 16666k| 206.2 | 205M| 66 | 619 |2470 |5808 |2470 |2452 | 847 | 117k| 14k| 2.900000e+01 | -- | Inf
1747.19/1747.54 c 1748s| 80900 | 16670 | 16676k| 206.1 | 204M| 66 | 360 |2470 |5796 |2470 |2452 | 847 | 117k| 14k| 2.900000e+01 | -- | Inf
1748.78/1749.16 c 1749s| 81000 | 16691 | 16694k| 206.0 | 205M| 66 | - |2470 |5694 | 0 | 0 | 847 | 117k| 14k| 2.900000e+01 | -- | Inf
1749.89/1750.27 c 1750s| 81100 | 16703 | 16706k| 205.9 | 205M| 66 | - |2470 |5642 |2470 |2452 | 847 | 117k| 14k| 2.900000e+01 | -- | Inf
1751.59/1751.93 c 1752s| 81200 | 16717 | 16724k| 205.9 | 205M| 66 | - |2470 |5589 | 0 | 0 | 847 | 118k| 14k| 2.900000e+01 | -- | Inf
1753.19/1753.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1753.19/1753.57 c 1754s| 81300 | 16734 | 16744k| 205.9 | 205M| 66 | 612 |2470 |5370 |2470 |2452 | 847 | 118k| 14k| 2.900000e+01 | -- | Inf
1754.19/1754.52 c 1755s| 81400 | 16732 | 16753k| 205.7 | 205M| 66 | 350 |2470 |5422 |2470 |2452 | 847 | 118k| 14k| 2.900000e+01 | -- | Inf
1755.19/1755.55 c 1756s| 81500 | 16744 | 16762k| 205.6 | 206M| 66 | 539 |2470 |5527 |2470 |2452 | 847 | 118k| 14k| 2.900000e+01 | -- | Inf
1756.58/1756.91 c 1757s| 81600 | 16765 | 16779k| 205.6 | 206M| 66 | 394 |2470 |5577 |2470 |2452 | 847 | 118k| 14k| 2.900000e+01 | -- | Inf
1759.18/1759.59 c 1760s| 81700 | 16788 | 16810k| 205.7 | 206M| 66 | 335 |2470 |5644 |2470 |2452 | 847 | 119k| 14k| 2.900000e+01 | -- | Inf
1760.58/1760.99 c 1761s| 81800 | 16792 | 16829k| 205.7 | 206M| 66 | - |2470 |5631 |2470 |2452 | 847 | 119k| 14k| 2.900000e+01 | -- | Inf
1761.79/1762.10 c 1762s| 81900 | 16791 | 16840k| 205.5 | 206M| 66 | 480 |2470 |5709 |2470 |2452 | 847 | 119k| 14k| 2.900000e+01 | -- | Inf
1762.89/1763.25 c 1763s| 82000 | 16801 | 16853k| 205.5 | 206M| 66 | 364 |2470 |5713 |2470 |2452 | 847 | 119k| 14k| 2.900000e+01 | -- | Inf
1764.98/1765.35 c 1765s| 82100 | 16803 | 16876k| 205.5 | 206M| 66 | 431 |2470 |5737 |2470 |2452 | 847 | 119k| 14k| 2.900000e+01 | -- | Inf
1766.39/1766.74 c 1767s| 82200 | 16806 | 16891k| 205.4 | 207M| 66 | 607 |2470 |5836 |2470 |2452 | 847 | 119k| 14k| 2.900000e+01 | -- | Inf
1767.58/1767.98 c 1768s| 82300 | 16798 | 16907k| 205.4 | 207M| 66 | 407 |2470 |5904 |2470 |2452 | 847 | 119k| 14k| 2.900000e+01 | -- | Inf
1768.69/1769.04 c 1769s| 82400 | 16802 | 16917k| 205.2 | 207M| 66 | 411 |2470 |5985 |2470 |2452 | 847 | 119k| 14k| 2.900000e+01 | -- | Inf
1769.99/1770.34 c 1770s| 82500 | 16804 | 16934k| 205.2 | 207M| 66 | 380 |2470 |6061 |2470 |2452 | 847 | 120k| 14k| 2.900000e+01 | -- | Inf
1771.09/1771.42 c 1771s| 82600 | 16794 | 16943k| 205.0 | 207M| 66 | 436 |2470 |6027 |2470 |2452 | 847 | 120k| 14k| 2.900000e+01 | -- | Inf
1772.18/1772.55 c 1773s| 82700 | 16804 | 16956k| 205.0 | 207M| 66 | 568 |2470 |6059 |2470 |2452 | 847 | 120k| 14k| 2.900000e+01 | -- | Inf
1773.29/1773.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1773.29/1773.63 c 1774s| 82800 | 16805 | 16968k| 204.9 | 207M| 66 | 203 |2470 |6076 |2470 |2452 | 847 | 120k| 14k| 2.900000e+01 | -- | Inf
1774.68/1775.05 c 1775s| 82900 | 16817 | 16982k| 204.8 | 207M| 66 | 416 |2470 |5944 |2470 |2452 | 847 | 120k| 14k| 2.900000e+01 | -- | Inf
1775.89/1776.23 c 1776s| 83000 | 16832 | 16997k| 204.7 | 207M| 66 | 422 |2470 |5869 |2470 |2452 | 847 | 120k| 14k| 2.900000e+01 | -- | Inf
1776.88/1777.27 c 1777s| 83100 | 16849 | 17011k| 204.6 | 207M| 66 | 466 |2470 |5975 |2470 |2452 | 847 | 120k| 14k| 2.900000e+01 | -- | Inf
1777.78/1778.19 c 1778s| 83200 | 16846 | 17020k| 204.5 | 207M| 66 | - |2470 |6078 | 0 | 0 | 847 | 121k| 14k| 2.900000e+01 | -- | Inf
1778.88/1779.20 c 1779s| 83300 | 16862 | 17031k| 204.4 | 208M| 66 | 411 |2470 |6104 |2470 |2452 | 847 | 121k| 14k| 2.900000e+01 | -- | Inf
1779.98/1780.38 c 1780s| 83400 | 16865 | 17047k| 204.3 | 208M| 66 | 400 |2470 |6185 |2470 |2452 | 847 | 121k| 14k| 2.900000e+01 | -- | Inf
1781.18/1781.51 c 1782s| 83500 | 16854 | 17059k| 204.2 | 208M| 66 | 499 |2470 |6183 |2470 |2452 | 847 | 121k| 14k| 2.900000e+01 | -- | Inf
1782.28/1782.65 c 1783s| 83600 | 16857 | 17071k| 204.1 | 208M| 66 | 650 |2470 |6206 |2470 |2452 | 847 | 121k| 14k| 2.900000e+01 | -- | Inf
1783.28/1783.63 c 1784s| 83700 | 16858 | 17080k| 204.0 | 208M| 73 | 573 |2470 |6309 |2470 |2452 | 847 | 121k| 14k| 2.900000e+01 | -- | Inf
1784.18/1784.57 c 1785s| 83800 | 16850 | 17090k| 203.9 | 208M| 73 | 570 |2470 |6345 |2470 |2452 | 847 | 121k| 14k| 2.900000e+01 | -- | Inf
1785.18/1785.56 c 1786s| 83900 | 16844 | 17099k| 203.7 | 208M| 73 | 601 |2470 |6200 |2470 |2452 | 847 | 122k| 14k| 2.900000e+01 | -- | Inf
1786.98/1787.33 c 1787s| 84000 | 16850 | 17120k| 203.7 | 208M| 73 | 296 |2470 |6053 |2470 |2452 | 847 | 122k| 14k| 2.900000e+01 | -- | Inf
1788.48/1788.85 c 1789s| 84100 | 16868 | 17138k| 203.7 | 208M| 73 | - |2470 |6034 | 0 | 0 | 847 | 122k| 14k| 2.900000e+01 | -- | Inf
1789.78/1790.13 c 1790s| 84200 | 16866 | 17150k| 203.6 | 208M| 73 | - |2470 |5994 |2470 |2452 | 847 | 122k| 14k| 2.900000e+01 | -- | Inf
1791.28/1791.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1791.28/1791.64 c 1792s| 84300 | 16880 | 17164k| 203.5 | 209M| 73 | 383 |2470 |6055 |2470 |2452 | 847 | 122k| 14k| 2.900000e+01 | -- | Inf
1792.38/1792.79 c 1793s| 84400 | 16879 | 17173k| 203.4 | 209M| 73 | 414 |2470 |6135 |2470 |2452 | 847 | 122k| 14k| 2.900000e+01 | -- | Inf
1793.98/1794.34 c 1794s| 84500 | 16909 | 17191k| 203.4 | 209M| 73 | 289 |2470 |6132 |2470 |2452 | 847 | 122k| 14k| 2.900000e+01 | -- | Inf
1796.28/1796.66 c 1797s| 84600 | 16905 | 17208k| 203.3 | 209M| 73 | 395 |2470 |6208 |2470 |2452 | 847 | 123k| 14k| 2.900000e+01 | -- | Inf
1796.68/1797.00 c
1796.68/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.00 c Solving Time (sec) : 1797.00
1796.68/1797.00 c Solving Nodes : 84627
1796.68/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.68/1797.00 c Dual Bound : +2.90000000000000e+01
1796.68/1797.00 c Gap : infinite
1796.68/1797.00 s UNKNOWN
1796.68/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.00 c Total Time : 1797.00
1796.68/1797.00 c solving : 1797.00
1796.68/1797.00 c presolving : 0.15 (included in solving)
1796.68/1797.00 c reading : 0.06 (included in solving)
1796.68/1797.00 c copying : 0.02 (1 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.68/1797.00 c Original Problem :
1796.68/1797.00 c Problem name : HOME/instance-3693325-1338033034.opb
1796.68/1797.00 c Variables : 2470 (2470 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.00 c Constraints : 4744 initial, 4744 maximal
1796.68/1797.00 c Objective sense : minimize
1796.68/1797.00 c Presolved Problem :
1796.68/1797.00 c Problem name : t_HOME/instance-3693325-1338033034.opb
1796.68/1797.00 c Variables : 2470 (2470 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.00 c Constraints : 2378 initial, 6380 maximal
1796.68/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c linear : 0.09 0.00 0 0 0 0 0 2366 0 0 0
1796.68/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c root node : - - 0 - - 0 - - - - -
1796.68/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.00 c integral : 0 0 0 0 60247 0 4 0 65 3278 0 0 118392
1796.68/1797.00 c knapsack : 12 12 11 407735 0 1 3 969612 2799 114047 202 0 0
1796.68/1797.00 c linear : 2366 2366 11 405016 0 1 0 452595 24983 12650387 2 0 0
1796.68/1797.00 c logicor : 0+ 4002 11 225593 0 0 0 416019 1834 263471 0 0 0
1796.68/1797.00 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.68/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.00 c integral : 340.68 0.00 0.00 0.00 340.68 0.00 0.00 0.00
1796.68/1797.00 c knapsack : 16.49 0.00 0.00 15.29 0.00 0.00 0.00 1.19
1796.68/1797.00 c linear : 135.20 0.00 0.00 134.17 0.00 0.00 0.00 1.03
1796.68/1797.00 c logicor : 13.90 0.00 0.00 13.11 0.00 0.00 0.00 0.79
1796.68/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.00 c rootredcost : 0 0 0 0
1796.68/1797.00 c pseudoobj : 467962 0 0 0
1796.68/1797.00 c vbounds : 0 0 0 0
1796.68/1797.00 c redcost : 60272 0 0 16
1796.68/1797.00 c probing : 0 0 0 0
1796.68/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.00 c rootredcost : 0.40 0.00 0.00 0.40 0.00
1796.68/1797.00 c pseudoobj : 0.88 0.00 0.00 0.88 0.00
1796.68/1797.00 c vbounds : 0.39 0.00 0.00 0.39 0.00
1796.68/1797.00 c redcost : 2.49 0.00 0.00 2.49 0.00
1796.68/1797.00 c probing : 0.01 0.00 0.01 0.00 0.00
1796.68/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.00 c propagation : 5.16 29616 29564 297327 36.7 1698 24.6 -
1796.68/1797.00 c infeasible LP : 8.73 21573 21573 84977 25.2 1829 17.4 0
1796.68/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.00 c applied globally : - - - 123126 25.5 - - -
1796.68/1797.00 c applied locally : - - - 0 0.0 - - -
1796.68/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.00 c cut pool : 0.01 10 - - 1686 - (maximal pool size: 6893)
1796.68/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c impliedbounds : 0.00 0.00 11 0 0 35 0
1796.68/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c gomory : 0.25 0.00 10 0 0 34 0
1796.68/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c strongcg : 0.27 0.00 11 0 0 21 0
1796.68/1797.00 c cmir : 1.80 0.00 10 0 0 5000 0
1796.68/1797.00 c flowcover : 0.79 0.00 10 0 0 2000 0
1796.68/1797.00 c clique : 0.00 0.00 1 0 0 0 0
1796.68/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.68/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.00 c problem variables: 0.00 - 0 0
1796.68/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.00 c relpscost : 340.43 0.00 60247 65 3278 0 0 118392
1796.68/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c inference : 0.00 0.00 1 0 0 0 0 2
1796.68/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.00 c LP solutions : 0.00 - - 0
1796.68/1797.00 c pseudo solutions : 0.00 - - 0
1796.68/1797.00 c oneopt : 0.16 0.00 0 0
1796.68/1797.00 c crossover : 0.10 0.00 0 0
1796.68/1797.00 c guideddiving : 0.01 0.00 0 0
1796.68/1797.00 c intshifting : 0.01 0.00 0 0
1796.68/1797.00 c objpscostdiving : 19.02 0.00 60 0
1796.68/1797.00 c fracdiving : 74.96 0.00 140 0
1796.68/1797.00 c coefdiving : 74.23 0.00 141 0
1796.68/1797.00 c rootsoldiving : 15.29 0.00 92 0
1796.68/1797.00 c pscostdiving : 58.57 0.00 385 0
1796.68/1797.00 c linesearchdiving : 43.51 0.00 402 0
1796.68/1797.00 c veclendiving : 45.87 0.00 402 0
1796.68/1797.00 c smallcard : 0.00 0.00 0 0
1796.68/1797.00 c trivial : 0.00 0.00 2 0
1796.68/1797.00 c shiftandpropagate: 0.13 0.00 1 0
1796.68/1797.00 c simplerounding : 0.07 0.00 0 0
1796.68/1797.00 c zirounding : 0.43 0.00 1000 0
1796.68/1797.00 c rounding : 1.35 0.00 3423 0
1796.68/1797.00 c shifting : 7.05 0.00 1039 0
1796.68/1797.00 c twoopt : 0.00 0.00 0 0
1796.68/1797.00 c indoneopt : 0.20 0.00 0 0
1796.68/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.00 c feaspump : 27.80 0.00 72 0
1796.68/1797.00 c clique : 0.00 0.00 0 0
1796.68/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.00 c indrounding : 0.00 0.00 0 0
1796.68/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.00 c intdiving : 0.00 0.00 0 0
1796.68/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.00 c octane : 0.00 0.00 0 0
1796.68/1797.00 c rens : 0.09 0.00 1 0
1796.68/1797.00 c rins : 0.00 0.00 0 0
1796.68/1797.00 c localbranching : 0.00 0.00 0 0
1796.68/1797.00 c mutation : 0.00 0.00 0 0
1796.68/1797.00 c dins : 0.00 0.00 0 0
1796.68/1797.00 c vbounds : 0.00 0.00 0 0
1796.68/1797.00 c undercover : 0.00 0.00 0 0
1796.68/1797.00 c subnlp : 0.10 0.00 0 0
1796.68/1797.00 c trysol : 0.14 0.00 0 0
1796.68/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.00 c primal LP : 0.01 1 0 0.00 - 0.01 1
1796.68/1797.00 c dual LP : 800.45 69324 13575937 197.21 16960.43 1.06 483
1796.68/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.00 c diving/probing LP: 302.02 42430 3636002 85.69 12038.95
1796.68/1797.00 c strong branching : 332.46 14654 4401785 300.38 13240.10
1796.68/1797.00 c (at root node) : - 28 22027 786.68 -
1796.68/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.00 c B&B Tree :
1796.68/1797.00 c number of runs : 1
1796.68/1797.00 c nodes : 84627
1796.68/1797.00 c nodes (total) : 84627
1796.68/1797.00 c nodes left : 16895
1796.68/1797.00 c max depth : 73
1796.68/1797.00 c max depth (total): 73
1796.68/1797.00 c backtracks : 18075 (21.4%)
1796.68/1797.00 c delayed cutoffs : 16873
1796.68/1797.00 c repropagations : 90871 (4011835 domain reductions, 9581 cutoffs)
1796.68/1797.00 c avg switch length: 6.78
1796.68/1797.00 c switching time : 83.37
1796.68/1797.00 c Solution :
1796.68/1797.00 c Solutions found : 0 (0 improvements)
1796.68/1797.00 c Primal Bound : -
1796.68/1797.00 c Dual Bound : +2.90000000000000e+01
1796.68/1797.00 c Gap : infinite
1796.68/1797.00 c Root Dual Bound : +1.30000000000000e+01
1796.68/1797.00 c Root Iterations : 6450
1796.78/1797.17 c Time complete: 1796.86.
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-3693325-1338033034/watcher-3693325-1338033034 -o /tmp/evaluation-result-3693325-1338033034/solver-3693325-1338033034 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693325-1338033034.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 24141
/proc/meminfo: memFree=28173856/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=9952 CPUtime=0 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 1236 0 0 0 0 0 0 0 20 0 1 0 269428313 10190848 1190 33554432000 4194304 10169799 140734757826192 140734088489656 7169025 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 2488 1190 412 1459 0 1020 0
[startup+0.0643981 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 24141
/proc/meminfo: memFree=28173856/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=21944 CPUtime=0.05 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 4194 0 0 0 5 0 0 0 20 0 1 0 269428313 22470656 4148 33554432000 4194304 10169799 140734757826192 140734088489656 8883590 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 5486 4148 463 1459 0 4018 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 21944
[startup+0.100355 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 24141
/proc/meminfo: memFree=28173856/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=49804 CPUtime=0.08 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 10826 0 0 0 7 1 0 0 20 0 1 0 269428313 50999296 10780 33554432000 4194304 10169799 140734757826192 140734088489656 7543003 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 12451 10780 500 1459 0 10983 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 49804
[startup+0.300309 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 24141
/proc/meminfo: memFree=28173856/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=71416 CPUtime=0.29 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 16838 0 0 0 24 5 0 0 20 0 1 0 269428313 73129984 16092 33554432000 4194304 10169799 140734757826192 140734088489656 4950806 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 17854 16092 686 1459 0 16386 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 71416
[startup+0.700282 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 24141
/proc/meminfo: memFree=28173856/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=77072 CPUtime=0.69 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 19063 0 0 0 63 6 0 0 20 0 1 0 269428313 78921728 17671 33554432000 4194304 10169799 140734757826192 140734757818504 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 19268 17671 796 1459 0 17800 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77072
[startup+1.50024 s]
/proc/loadavg: 2.03 2.05 2.00 3/178 24142
/proc/meminfo: memFree=28099944/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=88684 CPUtime=1.49 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 21847 0 0 0 141 8 0 0 20 0 1 0 269428313 90812416 20383 33554432000 4194304 10169799 140734757826192 140734757818504 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 22171 20383 803 1459 0 20703 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 88684
[startup+3.10024 s]
/proc/loadavg: 2.03 2.05 2.00 3/178 24142
/proc/meminfo: memFree=28092480/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=93856 CPUtime=3.09 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 23128 0 0 0 299 10 0 0 20 0 1 0 269428313 96108544 21633 33554432000 4194304 10169799 140734757826192 140734757820648 8030352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 23464 21633 803 1459 0 21996 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 93856
[startup+6.30028 s]
/proc/loadavg: 2.03 2.05 2.00 3/178 24142
/proc/meminfo: memFree=28082188/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=100824 CPUtime=6.29 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 34127 0 0 0 613 16 0 0 20 0 1 0 269428313 103243776 23562 33554432000 4194304 10169799 140734757826192 140734757820792 8030352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 25206 23562 847 1459 0 23738 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 100824
[startup+12.7003 s]
/proc/loadavg: 2.02 2.05 2.00 3/178 24142
/proc/meminfo: memFree=28083080/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=98732 CPUtime=12.69 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 37350 0 0 0 1249 20 0 0 20 0 1 0 269428313 101101568 22926 33554432000 4194304 10169799 140734757826192 140734757820056 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 24683 22926 848 1459 0 23215 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 98732
[startup+25.5003 s]
/proc/loadavg: 2.02 2.05 2.00 3/178 24142
/proc/meminfo: memFree=28080856/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=100876 CPUtime=25.48 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 37904 0 0 0 2513 35 0 0 20 0 1 0 269428313 103297024 23480 33554432000 4194304 10169799 140734757826192 140734757820984 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 25219 23480 849 1459 0 23751 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 100876
[startup+51.1004 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 24142
/proc/meminfo: memFree=28079748/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=101068 CPUtime=51.09 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 38020 0 0 0 5040 69 0 0 20 0 1 0 269428313 103493632 23596 33554432000 4194304 10169799 140734757826192 140734757821176 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 25267 23596 849 1459 0 23799 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 101068
[startup+102.307 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 24143
/proc/meminfo: memFree=28076212/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=104188 CPUtime=102.28 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 38694 0 0 0 10099 129 0 0 20 0 1 0 269428313 106688512 24270 33554432000 4194304 10169799 140734757826192 140734757820600 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 26047 24270 849 1459 0 24579 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 104188
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 24143
/proc/meminfo: memFree=28058044/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=111316 CPUtime=162.27 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 43556 0 0 0 16022 205 0 0 20 0 1 0 269428313 113987584 26138 33554432000 4194304 10169799 140734757826192 140734757820984 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 27829 26138 849 1459 0 26361 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 111316
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 24143
/proc/meminfo: memFree=28041468/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=117876 CPUtime=222.26 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 47604 0 0 0 21942 284 0 0 20 0 1 0 269428313 120705024 27806 33554432000 4194304 10169799 140734757826192 140734757820984 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 29469 27806 849 1459 0 28001 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 117876
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 24181
/proc/meminfo: memFree=28497024/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=129596 CPUtime=282.23 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 52743 0 0 0 27848 375 0 0 20 0 1 0 269428313 132706304 30764 33554432000 4194304 10169799 140734757826192 140734757821176 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 32399 30764 849 1459 0 30931 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 129596
[startup+342.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 24181
/proc/meminfo: memFree=28467140/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=141780 CPUtime=342.22 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 58110 0 0 0 33751 471 0 0 20 0 1 0 269428313 145182720 34206 33554432000 4194304 10169799 140734757826192 140734757820984 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 35445 34206 849 1459 0 33977 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 141780
[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 24182
/proc/meminfo: memFree=28450688/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=152816 CPUtime=402.21 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 74426 0 0 0 39657 564 0 0 20 0 1 0 269428313 156483584 37141 33554432000 4194304 10169799 140734757826192 140734757824712 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 38204 37141 849 1459 0 36736 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 152816
[startup+462.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 24182
/proc/meminfo: memFree=28434808/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=166120 CPUtime=462.2 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 79147 0 0 0 45566 654 0 0 20 0 1 0 269428313 170106880 40493 33554432000 4194304 10169799 140734757826192 140734757823400 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 41530 40493 849 1459 0 40062 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 166120
[startup+522.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/177 24220
/proc/meminfo: memFree=28434064/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=177216 CPUtime=522.19 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 86311 0 0 0 51464 755 0 0 20 0 1 0 269428313 181469184 43369 33554432000 4194304 10169799 140734757826192 140734757820984 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 44304 43369 849 1459 0 42836 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 177216
[startup+582.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/178 24223
/proc/meminfo: memFree=28391044/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=195608 CPUtime=582.18 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 90904 0 0 0 57361 857 0 0 20 0 1 0 269428313 200302592 47695 33554432000 4194304 10169799 140734757826192 140734757820984 4479672 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 48902 47695 849 1459 0 47434 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 195608
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28289580/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=287316 CPUtime=1062.09 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 126372 0 0 0 104487 1722 0 0 20 0 1 0 269428313 294211584 70771 33554432000 4194304 10169799 140734757826192 140734757820984 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 71829 70771 849 1459 0 70361 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 287316
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/176 24247
/proc/meminfo: memFree=28280660/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=295704 CPUtime=1122.09 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 128696 0 0 0 110360 1849 0 0 20 0 1 0 269428313 302800896 72920 33554432000 4194304 10169799 140734757826192 140734757820328 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 73926 72920 849 1459 0 72458 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 295704
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 24251
/proc/meminfo: memFree=28264640/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=306056 CPUtime=1182.08 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 131407 0 0 0 116248 1960 0 0 20 0 1 0 269428313 313401344 75580 33554432000 4194304 10169799 140734757826192 140734757820008 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 76514 75580 849 1459 0 75046 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 306056
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 24251
/proc/meminfo: memFree=28250608/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=314488 CPUtime=1242.07 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 133496 0 0 0 122148 2059 0 0 20 0 1 0 269428313 322035712 77581 33554432000 4194304 10169799 140734757826192 140734757823832 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 78622 77581 849 1459 0 77154 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 314488
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 24251
/proc/meminfo: memFree=28236956/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=324676 CPUtime=1302.06 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 138675 0 0 0 128036 2170 0 0 20 0 1 0 269428313 332468224 80167 33554432000 4194304 10169799 140734757826192 140734757820104 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 81169 80167 849 1459 0 79701 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 324676
[startup+1362.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 24252
/proc/meminfo: memFree=28223440/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=336712 CPUtime=1362.05 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 141839 0 0 0 133917 2288 0 0 20 0 1 0 269428313 344793088 83260 33554432000 4194304 10169799 140734757826192 140734757823816 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 84178 83260 849 1459 0 82710 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 336712
[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 24252
/proc/meminfo: memFree=28212280/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=344404 CPUtime=1422.05 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 143697 0 0 0 139809 2396 0 0 20 0 1 0 269428313 352669696 85062 33554432000 4194304 10169799 140734757826192 140734757819416 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 86101 85062 849 1459 0 84633 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 344404
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 24252
/proc/meminfo: memFree=28199228/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=350024 CPUtime=1482.03 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 145215 0 0 0 145690 2513 0 0 20 0 1 0 269428313 358424576 86578 33554432000 4194304 10169799 140734757826192 140734757820792 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 87506 86578 849 1459 0 86038 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 350024
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24252
/proc/meminfo: memFree=28187808/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=359960 CPUtime=1542.02 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 147620 0 0 0 151562 2640 0 0 20 0 1 0 269428313 368599040 88921 33554432000 4194304 10169799 140734757826192 140734757823816 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 89990 88921 849 1459 0 88522 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 359960
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24252
/proc/meminfo: memFree=28181608/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=363372 CPUtime=1602.01 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 148614 0 0 0 157432 2769 0 0 20 0 1 0 269428313 372092928 89915 33554432000 4194304 10169799 140734757826192 140734757820984 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 90843 89915 849 1459 0 89375 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 363372
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 24253
/proc/meminfo: memFree=28168836/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=371780 CPUtime=1662.01 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 150748 0 0 0 163309 2892 0 0 20 0 1 0 269428313 380702720 92021 33554432000 4194304 10169799 140734757826192 140734757820328 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 92945 92021 849 1459 0 91477 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 371780
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24253
/proc/meminfo: memFree=28128068/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=381208 CPUtime=1721.99 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 153117 0 0 0 169168 3031 0 0 20 0 1 0 269428313 390356992 94374 33554432000 4194304 10169799 140734757826192 140734757822712 8030352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 95302 94374 849 1459 0 93834 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 381208
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24256
/proc/meminfo: memFree=28097548/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=388488 CPUtime=1781.98 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 154937 0 0 0 175025 3173 0 0 20 0 1 0 269428313 397811712 96183 33554432000 4194304 10169799 140734757826192 140734757824712 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 97122 96183 849 1459 0 95654 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 388488
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24256
/proc/meminfo: memFree=28095696/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=389672 CPUtime=1785.18 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 155157 0 0 0 175337 3181 0 0 20 0 1 0 269428313 399024128 96403 33554432000 4194304 10169799 140734757826192 140734757819960 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 97418 96403 849 1459 0 95950 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 389672
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24256
/proc/meminfo: memFree=28091716/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=391420 CPUtime=1791.59 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 155682 0 0 0 175963 3196 0 0 20 0 1 0 269428313 400814080 96928 33554432000 4194304 10169799 140734757826192 140734757820984 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 97855 96928 849 1459 0 96387 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 391420
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24256
/proc/meminfo: memFree=28090600/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=391420 CPUtime=1794.79 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 155682 0 0 0 176277 3202 0 0 20 0 1 0 269428313 400814080 96928 33554432000 4194304 10169799 140734757826192 140734757820472 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 97855 96928 849 1459 0 96387 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 391420
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24256
/proc/meminfo: memFree=28090600/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=391960 CPUtime=1795.58 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 155781 0 0 0 176354 3204 0 0 20 0 1 0 269428313 401367040 97027 33554432000 4194304 10169799 140734757826192 140734757823816 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 97990 97027 849 1459 0 96522 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (KiB) 391960
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24256
/proc/meminfo: memFree=28089980/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=391960 CPUtime=1796.38 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 155811 0 0 0 176434 3204 0 0 20 0 1 0 269428313 401367040 97057 33554432000 4194304 10169799 140734757826192 140734757820328 8030352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 97990 97057 849 1459 0 96522 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 391960
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24256
/proc/meminfo: memFree=28089980/32873844 swapFree=7104/7104
[pid=24141] ppid=24139 vsize=392248 CPUtime=1796.78 cores=1,3,5,7
/proc/24141/stat : 24141 (scip-2.1.1.4sfi) R 24139 24141 22949 0 -1 4202496 155893 0 0 0 176473 3205 0 0 20 0 1 0 269428313 401661952 97139 33554432000 4194304 10169799 140734757826192 140734757820328 5886334 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24141/statm: 98062 97139 852 1459 0 96594 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 392248
Child status: 0
Real time (s): 1797.18
CPU time (s): 1796.87
CPU user time (s): 1764.81
CPU system time (s): 32.0631
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 392248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1764.81
system time used= 32.0631
maximum resident set size= 388556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155895
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= 58
involuntary context switches= 1867
runsolver used 2.91556 second user time and 7.05793 second system time
The end