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: 947bdb7-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-3692160-1338033267.opb>
0.03/0.09 c original problem has 3297 variables (3297 bin, 0 int, 0 impl, 0 cont) and 6383 constraints
0.03/0.09 c problem read in 0.09
0.09/0.13 c presolving:
0.19/0.20 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 182 chg sides, 182 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.19/0.23 c (round 2) 0 del vars, 3094 del conss, 0 add conss, 0 chg bounds, 182 chg sides, 182 chg coeffs, 104 upgd conss, 0 impls, 0 clqs
0.19/0.26 c (round 3) 0 del vars, 3094 del conss, 0 add conss, 0 chg bounds, 182 chg sides, 182 chg coeffs, 195 upgd conss, 1092 impls, 0 clqs
0.19/0.28 c (0.3s) probing: 51/3297 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.28 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.19/0.29 c presolving (4 rounds):
0.19/0.29 c 0 deleted vars, 3094 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 182 changed sides, 182 changed coefficients
0.19/0.29 c 1092 implications, 0 cliques
0.19/0.29 c presolved problem has 3297 variables (3297 bin, 0 int, 0 impl, 0 cont) and 3289 constraints
0.19/0.29 c 195 constraints of type <knapsack>
0.19/0.29 c 3094 constraints of type <linear>
0.19/0.29 c transformed objective value is always integral (scale: 1)
0.19/0.29 c Presolving Time: 0.16
0.19/0.29 c - non default parameters ----------------------------------------------------------------------
0.19/0.29 c # SCIP version 2.1.1.4
0.19/0.29 c
0.19/0.29 c # maximal time in seconds to run
0.19/0.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.29 c limits/time = 1797
0.19/0.29 c
0.19/0.29 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.29 c limits/memory = 13950
0.19/0.29 c
0.19/0.29 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.29 c # [type: int, range: [1,2], default: 1]
0.19/0.29 c timing/clocktype = 2
0.19/0.29 c
0.19/0.29 c # belongs reading time to solving time?
0.19/0.29 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.29 c timing/reading = TRUE
0.19/0.29 c
0.19/0.29 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.29 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.29 c separating/rapidlearning/freq = 0
0.19/0.29 c
0.19/0.29 c -----------------------------------------------------------------------------------------------
0.19/0.29 c start solving
0.19/0.29 c
0.49/0.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.57 c 0.6s| 1 | 0 | 96 | - | 28M| 0 | 503 |3297 |3304 |3297 |3289 | 0 | 15 | 0 | 1.300000e+01 | -- | Inf
10.69/10.72 c 10.7s| 1 | 0 | 6095 | - | 30M| 0 | 537 |3297 |3820 |3297 |3426 | 137 | 15 | 0 | 1.300000e+01 | -- | Inf
10.90/11.00 c 11.0s| 1 | 0 | 6175 | - | 31M| 0 | 526 |3297 |3820 |3297 |3509 | 220 | 15 | 0 | 1.300000e+01 | -- | Inf
11.28/11.37 c 11.4s| 1 | 0 | 6392 | - | 32M| 0 | 546 |3297 |3820 |3297 |3637 | 348 | 15 | 0 | 1.300000e+01 | -- | Inf
11.79/11.86 c 11.9s| 1 | 0 | 6895 | - | 32M| 0 | 657 |3297 |3820 |3297 |3770 | 481 | 15 | 0 | 1.300170e+01 | -- | Inf
12.39/12.45 c 12.5s| 1 | 0 | 7526 | - | 33M| 0 | 665 |3297 |3820 |3297 |3911 | 622 | 15 | 0 | 1.300170e+01 | -- | Inf
12.98/13.07 c 13.1s| 1 | 0 | 7989 | - | 34M| 0 | 654 |3297 |3820 |3297 |4039 | 750 | 15 | 0 | 1.300170e+01 | -- | Inf
13.69/13.74 c 13.7s| 1 | 0 | 9290 | - | 34M| 0 | 672 |3297 |3820 |3297 |4170 | 881 | 15 | 0 | 1.301190e+01 | -- | Inf
14.39/14.41 c 14.4s| 1 | 0 | 9663 | - | 35M| 0 | 667 |3297 |3820 |3297 |4303 |1014 | 15 | 0 | 1.301408e+01 | -- | Inf
15.19/15.30 c 15.3s| 1 | 0 | 11199 | - | 35M| 0 | 694 |3297 |3820 |3297 |4433 |1144 | 15 | 0 | 1.301818e+01 | -- | Inf
16.08/16.15 c 16.1s| 1 | 0 | 12257 | - | 36M| 0 | 698 |3297 |3820 |3297 |4554 |1265 | 15 | 0 | 1.301818e+01 | -- | Inf
16.50/16.57 c 16.6s| 1 | 0 | 13256 | - | 36M| 0 | 686 |3297 |3820 |3297 |4597 |1308 | 15 | 0 | 1.316667e+01 | -- | Inf
16.99/17.00 c 17.0s| 1 | 0 | 14246 | - | 36M| 0 | 672 |3297 |3820 |3297 |4467 |1333 | 15 | 0 | 1.318182e+01 | -- | Inf
17.29/17.39 c 17.4s| 1 | 0 | 15109 | - | 36M| 0 | 668 |3297 |3820 |3297 |4487 |1353 | 15 | 0 | 1.318182e+01 | -- | Inf
17.69/17.72 c 17.7s| 1 | 0 | 15963 | - | 36M| 0 | 601 |3297 |3820 |3297 |4524 |1390 | 15 | 0 | 1.400000e+01 | -- | Inf
17.98/18.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.98/18.03 c 18.0s| 1 | 0 | 16637 | - | 36M| 0 | 593 |3297 |3820 |3297 |4545 |1411 | 15 | 0 | 1.400000e+01 | -- | Inf
18.39/18.40 c 18.4s| 1 | 0 | 17559 | - | 36M| 0 | 599 |3297 |3820 |3297 |4574 |1440 | 15 | 0 | 1.400000e+01 | -- | Inf
18.70/18.74 c 18.7s| 1 | 0 | 18411 | - | 36M| 0 | 594 |3297 |3820 |3297 |4595 |1461 | 15 | 0 | 1.400000e+01 | -- | Inf
19.08/19.14 c 19.1s| 1 | 0 | 20144 | - | 36M| 0 | 588 |3297 |3820 |3297 |3908 |1490 | 15 | 0 | 1.400000e+01 | -- | Inf
19.29/19.33 c 19.3s| 1 | 0 | 20508 | - | 36M| 0 | 668 |3297 |3820 |3297 |3925 |1507 | 15 | 0 | 1.400000e+01 | -- | Inf
24.89/24.96 c 25.0s| 1 | 2 | 20508 | - | 36M| 0 | 668 |3297 |3820 |3297 |3925 |1507 | 15 | 28 | 1.400000e+01 | -- | Inf
74.47/74.53 c 74.5s| 100 | 99 |289452 |2716.6 | 37M| 17 | 756 |3297 |4066 |3297 |3580 |1507 | 261 | 260 | 1.500000e+01 | -- | Inf
104.37/104.48 c 104s| 200 | 193 |590721 |2865.4 | 37M| 23 | 831 |3297 |4147 |3297 |3580 |1507 | 342 | 323 | 1.500000e+01 | -- | Inf
114.96/115.00 c 115s| 300 | 279 |657223 |2129.5 | 38M| 23 | 659 |3297 |4208 |3297 |3580 |1507 | 403 | 347 | 1.500000e+01 | -- | Inf
127.66/127.76 c 128s| 400 | 359 |733830 |1787.8 | 38M| 23 | 766 |3297 |4251 |3297 |3580 |1507 | 446 | 386 | 1.500000e+01 | -- | Inf
142.66/142.77 c 143s| 500 | 413 |817072 |1596.3 | 38M| 24 | 601 |3297 |4313 |3297 |3580 |1507 | 508 | 412 | 1.500000e+01 | -- | Inf
149.67/149.70 c 150s| 600 | 471 |849645 |1384.2 | 38M| 24 | 627 |3297 |4363 |3297 |3580 |1507 | 558 | 444 | 1.500000e+01 | -- | Inf
155.96/156.09 c 156s| 700 | 524 |882988 |1233.9 | 39M| 28 | - |3297 |4418 |3297 |3580 |1507 | 613 | 456 | 1.500000e+01 | -- | Inf
160.36/160.44 c 160s| 800 | 586 |908428 |1111.3 | 39M| 28 | 686 |3297 |4479 |3297 |3580 |1507 | 674 | 478 | 1.500000e+01 | -- | Inf
163.56/163.64 c 164s| 900 | 608 |918805 | 999.2 | 39M| 28 | - |3297 |4554 |3297 |3580 |1507 | 749 | 510 | 1.600000e+01 | -- | Inf
166.96/167.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.96/167.06 c 167s| 1000 | 613 |931016 | 911.4 | 39M| 28 | - |3297 |4642 |3297 |3580 |1507 | 837 | 523 | 1.600000e+01 | -- | Inf
175.56/175.63 c 176s| 1100 | 637 |965565 | 859.9 | 39M| 28 | - |3297 |4738 |3297 |3580 |1507 | 938 | 587 | 1.600000e+01 | -- | Inf
178.36/178.44 c 178s| 1200 | 665 |982909 | 802.7 | 39M| 28 | 611 |3297 |4823 |3297 |3580 |1507 |1033 | 587 | 1.650000e+01 | -- | Inf
182.36/182.44 c 182s| 1300 | 692 | 1004k| 757.6 | 39M| 28 | 565 |3297 |4910 |3297 |3580 |1507 |1122 | 600 | 1.650000e+01 | -- | Inf
190.35/190.46 c 190s| 1400 | 737 | 1045k| 732.4 | 40M| 28 | - |3297 |4924 | 0 | 0 |1507 |1177 | 612 | 1.700000e+01 | -- | Inf
195.15/195.26 c 195s| 1500 | 773 | 1073k| 702.2 | 40M| 28 | 651 |3297 |4950 |3297 |3580 |1507 |1259 | 636 | 1.700000e+01 | -- | Inf
201.35/201.41 c 201s| 1600 | 818 | 1108k| 680.7 | 40M| 33 | 708 |3297 |4971 |3297 |3580 |1507 |1350 | 662 | 1.700000e+01 | -- | Inf
205.76/205.84 c 206s| 1700 | 871 | 1132k| 654.6 | 40M| 33 | 610 |3297 |4967 |3297 |3580 |1507 |1396 | 687 | 1.700000e+01 | -- | Inf
209.35/209.46 c 209s| 1800 | 908 | 1148k| 626.8 | 41M| 33 | 443 |3297 |4983 |3297 |3580 |1507 |1471 | 711 | 1.700000e+01 | -- | Inf
216.35/216.42 c 216s| 1900 | 962 | 1197k| 619.6 | 41M| 33 | 796 |3297 |4992 |3297 |3580 |1507 |1594 | 735 | 1.700000e+01 | -- | Inf
218.45/218.55 c 219s| 2000 | 995 | 1210k| 595.5 | 41M| 36 | 812 |3297 |5034 |3297 |3580 |1507 |1673 | 735 | 1.700000e+01 | -- | Inf
224.45/224.50 c 225s| 2100 | 1040 | 1243k| 582.4 | 41M| 36 | 749 |3297 |5095 |3297 |3580 |1507 |1750 | 773 | 1.800000e+01 | -- | Inf
230.65/230.74 c 231s| 2200 | 1086 | 1281k| 573.4 | 42M| 36 | 374 |3297 |5150 |3297 |3580 |1507 |1833 | 808 | 1.800000e+01 | -- | Inf
235.05/235.15 c 235s| 2300 | 1120 | 1303k| 558.1 | 42M| 36 | 514 |3297 |5193 |3297 |3580 |1507 |1921 | 842 | 1.800000e+01 | -- | Inf
237.95/238.09 c 238s| 2400 | 1141 | 1323k| 543.0 | 42M| 36 | 566 |3297 |5241 |3297 |3580 |1507 |2025 | 855 | 1.800000e+01 | -- | Inf
244.25/244.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
244.25/244.32 c 244s| 2500 | 1180 | 1360k| 536.3 | 42M| 36 | 480 |3297 |5278 |3297 |3580 |1507 |2129 | 892 | 1.800000e+01 | -- | Inf
250.15/250.29 c 250s| 2600 | 1212 | 1398k| 530.0 | 43M| 36 | - |3297 |5278 |3297 |3580 |1507 |2220 | 916 | 1.800000e+01 | -- | Inf
254.14/254.27 c 254s| 2700 | 1253 | 1419k| 518.4 | 43M| 36 | - |3297 |5280 |3297 |3580 |1507 |2297 | 947 | 1.814286e+01 | -- | Inf
259.14/259.29 c 259s| 2800 | 1271 | 1452k| 511.5 | 43M| 36 | - |3297 |5263 |3297 |3580 |1507 |2412 | 996 | 1.900000e+01 | -- | Inf
261.65/261.80 c 262s| 2900 | 1278 | 1464k| 497.9 | 43M| 36 | 503 |3297 |5314 |3297 |3580 |1507 |2548 |1015 | 1.900000e+01 | -- | Inf
272.25/272.31 c 272s| 3000 | 1317 | 1558k| 512.8 | 43M| 36 | - |3297 |5206 |3297 |3580 |1507 |2659 |1039 | 1.900000e+01 | -- | Inf
275.04/275.17 c 275s| 3100 | 1347 | 1575k| 501.7 | 43M| 36 | 550 |3297 |5155 |3297 |3580 |1507 |2729 |1051 | 1.900000e+01 | -- | Inf
279.14/279.28 c 279s| 3200 | 1382 | 1598k| 493.1 | 44M| 36 | 645 |3297 |5181 |3297 |3580 |1507 |2847 |1074 | 1.900000e+01 | -- | Inf
283.65/283.73 c 284s| 3300 | 1410 | 1621k| 485.2 | 44M| 36 | 767 |3297 |5155 |3297 |3580 |1507 |2933 |1103 | 1.900000e+01 | -- | Inf
286.74/286.86 c 287s| 3400 | 1443 | 1637k| 475.7 | 44M| 36 | 607 |3297 |5172 |3297 |3580 |1507 |3024 |1129 | 1.900000e+01 | -- | Inf
290.04/290.13 c 290s| 3500 | 1463 | 1655k| 467.3 | 44M| 36 | - |3297 |5152 |3297 |3580 |1507 |3129 |1141 | 1.900000e+01 | -- | Inf
295.34/295.49 c 295s| 3600 | 1481 | 1684k| 462.4 | 44M| 36 | - |3297 |5126 |3297 |3580 |1507 |3265 |1177 | 1.900000e+01 | -- | Inf
300.14/300.24 c 300s| 3700 | 1501 | 1700k| 454.3 | 44M| 36 | - |3297 |5128 | 0 | 0 |1507 |3402 |1226 | 2.000000e+01 | -- | Inf
304.43/304.50 c 305s| 3800 | 1522 | 1734k| 451.1 | 44M| 37 | 778 |3297 |5121 |3297 |3580 |1507 |3548 |1240 | 2.000000e+01 | -- | Inf
309.44/309.55 c 310s| 3900 | 1532 | 1763k| 447.0 | 44M| 37 | - |3297 |5118 | 0 | 0 |1507 |3647 |1265 | 2.000000e+01 | -- | Inf
313.83/313.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
313.83/313.91 c 314s| 4000 | 1549 | 1780k| 440.1 | 45M| 37 | - |3297 |5100 |3297 |3580 |1507 |3752 |1316 | 2.000000e+01 | -- | Inf
317.53/317.68 c 318s| 4100 | 1576 | 1802k| 434.8 | 45M| 37 | 678 |3297 |5085 |3297 |3580 |1507 |3857 |1338 | 2.000000e+01 | -- | Inf
320.73/320.80 c 321s| 4200 | 1634 | 1816k| 427.8 | 45M| 37 | 551 |3297 |5122 |3297 |3580 |1507 |3935 |1362 | 2.000000e+01 | -- | Inf
323.03/323.13 c 323s| 4300 | 1646 | 1827k| 420.3 | 45M| 37 | 663 |3297 |5196 |3297 |3580 |1507 |4056 |1382 | 2.000000e+01 | -- | Inf
326.24/326.34 c 326s| 4400 | 1669 | 1844k| 414.6 | 45M| 37 | 760 |3297 |5222 |3297 |3580 |1507 |4147 |1418 | 2.000000e+01 | -- | Inf
330.04/330.10 c 330s| 4500 | 1687 | 1861k| 409.2 | 46M| 37 | - |3297 |5271 |3297 |3580 |1507 |4261 |1463 | 2.000000e+01 | -- | Inf
333.74/333.83 c 334s| 4600 | 1712 | 1884k| 405.2 | 46M| 37 | - |3297 |5316 |3297 |3580 |1507 |4402 |1481 | 2.000000e+01 | -- | Inf
335.64/335.77 c 336s| 4700 | 1730 | 1892k| 398.4 | 46M| 37 | 514 |3297 |5320 |3297 |3580 |1507 |4501 |1493 | 2.000000e+01 | -- | Inf
339.03/339.16 c 339s| 4800 | 1742 | 1906k| 393.1 | 46M| 37 | 517 |3297 |5388 |3297 |3580 |1507 |4613 |1513 | 2.000000e+01 | -- | Inf
340.94/341.06 c 341s| 4900 | 1752 | 1920k| 387.8 | 46M| 37 | - |3297 |5371 |3297 |3580 |1507 |4711 |1513 | 2.000000e+01 | -- | Inf
345.03/345.11 c 345s| 5000 | 1806 | 1945k| 385.1 | 46M| 37 | 904 |3297 |5347 |3297 |3580 |1507 |4780 |1537 | 2.000000e+01 | -- | Inf
349.23/349.33 c 349s| 5100 | 1840 | 1968k| 382.0 | 47M| 37 | - |3297 |5417 |3297 |3580 |1507 |4899 |1567 | 2.000000e+01 | -- | Inf
355.33/355.47 c 355s| 5200 | 1895 | 2002k| 381.2 | 47M| 38 | 564 |3297 |5457 |3297 |3580 |1507 |5000 |1612 | 2.000000e+01 | -- | Inf
360.73/360.89 c 361s| 5300 | 1938 | 2034k| 380.1 | 47M| 41 | 983 |3297 |5472 |3297 |3580 |1507 |5104 |1640 | 2.000000e+01 | -- | Inf
367.13/367.24 c 367s| 5400 | 1984 | 2071k| 379.9 | 48M| 41 | 948 |3297 |5471 |3297 |3580 |1507 |5211 |1692 | 2.000000e+01 | -- | Inf
376.32/376.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
376.32/376.49 c 376s| 5500 | 2026 | 2136k| 384.7 | 48M| 41 | 600 |3297 |5415 |3297 |3580 |1507 |5297 |1726 | 2.000000e+01 | -- | Inf
381.72/381.80 c 382s| 5600 | 2069 | 2166k| 383.3 | 48M| 41 | - |3297 |5365 |3297 |3580 |1507 |5359 |1770 | 2.000000e+01 | -- | Inf
386.63/386.71 c 387s| 5700 | 2092 | 2190k| 380.7 | 48M| 41 | 540 |3297 |5368 |3297 |3580 |1507 |5498 |1825 | 2.000000e+01 | -- | Inf
389.02/389.11 c 389s| 5800 | 2107 | 2199k| 375.8 | 48M| 41 | - |3297 |5398 |3297 |3580 |1507 |5596 |1856 | 2.000000e+01 | -- | Inf
393.73/393.89 c 394s| 5900 | 2119 | 2224k| 373.6 | 48M| 41 | 842 |3297 |5367 |3297 |3580 |1507 |5732 |1894 | 2.000000e+01 | -- | Inf
398.92/399.03 c 399s| 6000 | 2148 | 2261k| 373.5 | 49M| 41 | 654 |3297 |5288 |3297 |3580 |1507 |5855 |1905 | 2.000000e+01 | -- | Inf
400.92/401.00 c 401s| 6100 | 2171 | 2273k| 369.5 | 49M| 41 | - |3297 |5289 | 0 | 0 |1507 |5966 |1910 | 2.000000e+01 | -- | Inf
405.73/405.82 c 406s| 6200 | 2206 | 2299k| 367.7 | 49M| 41 | - |3297 |5260 |3297 |3580 |1507 |6040 |1946 | 2.000000e+01 | -- | Inf
409.22/409.38 c 409s| 6300 | 2258 | 2316k| 364.5 | 49M| 41 | - |3297 |5286 |3297 |3580 |1507 |6099 |1969 | 2.000000e+01 | -- | Inf
411.42/411.53 c 412s| 6400 | 2301 | 2330k| 361.0 | 49M| 41 | 646 |3297 |5326 |3297 |3580 |1507 |6168 |1979 | 2.000000e+01 | -- | Inf
414.23/414.32 c 414s| 6500 | 2335 | 2343k| 357.5 | 50M| 41 | - |3297 |5396 |3297 |3580 |1507 |6271 |1997 | 2.000000e+01 | -- | Inf
417.32/417.45 c 417s| 6600 | 2372 | 2357k| 354.1 | 50M| 41 | 568 |3297 |5455 |3297 |3580 |1507 |6357 |2030 | 2.000000e+01 | -- | Inf
420.22/420.39 c 420s| 6700 | 2407 | 2370k| 350.9 | 50M| 41 | - |3297 |5523 |3297 |3580 |1507 |6454 |2052 | 2.000000e+01 | -- | Inf
424.22/424.31 c 424s| 6800 | 2440 | 2390k| 348.6 | 51M| 41 | 870 |3297 |5583 |3297 |3580 |1507 |6561 |2082 | 2.000000e+01 | -- | Inf
429.02/429.11 c 429s| 6900 | 2481 | 2420k| 347.9 | 51M| 41 | 890 |3297 |5612 |3297 |3580 |1507 |6663 |2119 | 2.000000e+01 | -- | Inf
432.52/432.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
432.52/432.61 c 433s| 7000 | 2493 | 2440k| 345.8 | 51M| 41 | - |3297 |5523 |3297 |3580 |1507 |6788 |2131 | 2.000000e+01 | -- | Inf
435.12/435.29 c 435s| 7100 | 2521 | 2461k| 343.8 | 52M| 41 | 609 |3297 |5545 |3297 |3580 |1507 |6936 |2139 | 2.000000e+01 | -- | Inf
441.42/441.51 c 442s| 7200 | 2546 | 2494k| 343.6 | 52M| 41 | 683 |3297 |5499 |3297 |3580 |1507 |7041 |2206 | 2.000000e+01 | -- | Inf
444.82/444.98 c 445s| 7300 | 2565 | 2513k| 341.6 | 53M| 41 | - |3297 |5413 |3297 |3580 |1507 |7141 |2225 | 2.000000e+01 | -- | Inf
448.92/449.04 c 449s| 7400 | 2621 | 2544k| 341.1 | 53M| 41 | 910 |3297 |5500 |3297 |3580 |1507 |7340 |2236 | 2.000000e+01 | -- | Inf
452.72/452.83 c 453s| 7500 | 2666 | 2569k| 340.0 | 53M| 41 | 924 |3297 |5531 |3297 |3580 |1507 |7450 |2263 | 2.000000e+01 | -- | Inf
456.11/456.28 c 456s| 7600 | 2709 | 2588k| 338.0 | 53M| 41 | 935 |3297 |5511 |3297 |3580 |1507 |7530 |2285 | 2.000000e+01 | -- | Inf
458.71/458.80 c 459s| 7700 | 2744 | 2603k| 335.5 | 54M| 41 | 814 |3297 |5487 |3297 |3580 |1507 |7611 |2295 | 2.000000e+01 | -- | Inf
463.61/463.74 c 464s| 7800 | 2775 | 2630k| 334.7 | 54M| 41 | 598 |3297 |5398 |3297 |3580 |1507 |7706 |2338 | 2.000000e+01 | -- | Inf
467.02/467.19 c 467s| 7900 | 2800 | 2655k| 333.6 | 54M| 41 | - |3297 |5453 |3297 |3580 |1507 |7839 |2359 | 2.000000e+01 | -- | Inf
469.62/469.73 c 470s| 8000 | 2817 | 2668k| 331.0 | 54M| 41 | 610 |3297 |5471 |3297 |3580 |1507 |7943 |2381 | 2.000000e+01 | -- | Inf
478.61/478.75 c 479s| 8100 | 2843 | 2739k| 335.7 | 55M| 41 | 847 |3297 |5485 |3297 |3580 |1507 |8132 |2415 | 2.000000e+01 | -- | Inf
481.31/481.46 c 481s| 8200 | 2872 | 2754k| 333.4 | 55M| 41 | - |3297 |5440 |3297 |3580 |1507 |8214 |2426 | 2.000000e+01 | -- | Inf
484.51/484.63 c 485s| 8300 | 2893 | 2772k| 331.6 | 55M| 41 | 638 |3297 |5373 |3297 |3580 |1507 |8302 |2437 | 2.000000e+01 | -- | Inf
488.71/488.87 c 489s| 8400 | 2941 | 2796k| 330.5 | 56M| 41 | 978 |3297 |5351 |3297 |3580 |1507 |8372 |2474 | 2.000000e+01 | -- | Inf
493.60/493.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
493.60/493.70 c 494s| 8500 | 2980 | 2825k| 330.1 | 56M| 41 |1155 |3297 |5372 |3297 |3580 |1507 |8491 |2502 | 2.000000e+01 | -- | Inf
498.11/498.27 c 498s| 8600 | 3013 | 2848k| 328.9 | 56M| 41 |1032 |3297 |5329 |3297 |3580 |1507 |8578 |2541 | 2.060000e+01 | -- | Inf
501.61/501.79 c 502s| 8700 | 3025 | 2873k| 328.0 | 57M| 41 | 957 |3297 |5353 |3297 |3580 |1507 |8717 |2552 | 2.060000e+01 | -- | Inf
505.81/505.94 c 506s| 8800 | 3048 | 2900k| 327.3 | 57M| 41 | 763 |3297 |5349 |3297 |3580 |1507 |8824 |2588 | 2.100000e+01 | -- | Inf
511.41/511.58 c 512s| 8900 | 3057 | 2930k| 327.0 | 57M| 41 | 556 |3297 |5317 |3297 |3580 |1507 |8945 |2615 | 2.100000e+01 | -- | Inf
515.71/515.84 c 516s| 9000 | 3081 | 2957k| 326.4 | 57M| 41 | 639 |3297 |5336 |3297 |3580 |1507 |9068 |2644 | 2.100000e+01 | -- | Inf
520.51/520.67 c 521s| 9100 | 3117 | 2987k| 326.1 | 58M| 41 | 628 |3297 |5305 |3297 |3580 |1507 |9166 |2680 | 2.100000e+01 | -- | Inf
524.90/525.08 c 525s| 9200 | 3135 | 3012k| 325.2 | 59M| 41 | 480 |3297 |5421 |3297 |3580 |1507 |9341 |2726 | 2.100000e+01 | -- | Inf
529.60/529.72 c 530s| 9300 | 3148 | 3039k| 324.7 | 59M| 41 | 889 |3297 |5399 |3297 |3580 |1507 |9448 |2763 | 2.100000e+01 | -- | Inf
534.61/534.77 c 535s| 9400 | 3193 | 3072k| 324.7 | 59M| 41 | - |3297 |5309 | 0 | 0 |1507 |9525 |2798 | 2.100000e+01 | -- | Inf
537.90/538.04 c 538s| 9500 | 3199 | 3090k| 323.2 | 60M| 41 | 952 |3297 |5318 |3297 |3580 |1507 |9661 |2826 | 2.100000e+01 | -- | Inf
541.11/541.28 c 541s| 9600 | 3219 | 3105k| 321.3 | 60M| 41 | 847 |3297 |5300 |3297 |3580 |1507 |9771 |2866 | 2.100000e+01 | -- | Inf
547.50/547.60 c 548s| 9700 | 3242 | 3147k| 322.4 | 61M| 41 | 869 |3297 |5329 |3297 |3580 |1507 |9931 |2899 | 2.100000e+01 | -- | Inf
552.30/552.40 c 552s| 9800 | 3289 | 3181k| 322.5 | 61M| 41 | 997 |3297 |5326 |3297 |3580 |1507 | 10k|2928 | 2.100000e+01 | -- | Inf
555.20/555.40 c 555s| 9900 | 3302 | 3195k| 320.7 | 62M| 41 | 649 |3297 |5342 |3297 |3580 |1507 | 10k|2956 | 2.100000e+01 | -- | Inf
559.40/559.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
559.40/559.59 c 560s| 10000 | 3334 | 3220k| 320.1 | 62M| 41 | 643 |3297 |5395 |3297 |3580 |1507 | 10k|2990 | 2.100000e+01 | -- | Inf
563.11/563.21 c 563s| 10100 | 3345 | 3242k| 319.0 | 62M| 41 | 313 |3297 |5339 |3297 |3580 |1507 | 10k|3001 | 2.100000e+01 | -- | Inf
569.70/569.85 c 570s| 10200 | 3367 | 3286k| 320.2 | 63M| 41 | 770 |3297 |5332 |3297 |3580 |1507 | 10k|3036 | 2.100000e+01 | -- | Inf
574.79/574.91 c 575s| 10300 | 3390 | 3319k| 320.4 | 63M| 41 | 923 |3297 |5319 |3297 |3580 |1507 | 10k|3063 | 2.100000e+01 | -- | Inf
580.99/581.11 c 581s| 10400 | 3432 | 3357k| 320.9 | 64M| 41 | - |3297 |5228 |3297 |3580 |1507 | 10k|3103 | 2.100000e+01 | -- | Inf
586.40/586.55 c 587s| 10500 | 3501 | 3399k| 321.8 | 64M| 41 | 814 |3297 |5188 |3297 |3580 |1507 | 10k|3131 | 2.100000e+01 | -- | Inf
590.40/590.60 c 591s| 10600 | 3564 | 3425k| 321.2 | 65M| 41 | 784 |3297 |5132 |3297 |3580 |1507 | 10k|3160 | 2.100000e+01 | -- | Inf
596.89/597.00 c 597s| 10700 | 3632 | 3471k| 322.5 | 65M| 41 | - |3297 |5079 | 0 | 0 |1507 | 10k|3189 | 2.100000e+01 | -- | Inf
603.19/603.31 c 603s| 10800 | 3681 | 3507k| 322.9 | 65M| 41 | - |3297 |5004 | 0 | 0 |1507 | 11k|3217 | 2.100000e+01 | -- | Inf
607.59/607.74 c 608s| 10900 | 3720 | 3539k| 322.9 | 66M| 41 | - |3297 |4998 |3297 |3580 |1507 | 11k|3236 | 2.100000e+01 | -- | Inf
611.50/611.69 c 612s| 11000 | 3736 | 3561k| 321.9 | 66M| 41 | 549 |3297 |5009 |3297 |3580 |1507 | 11k|3263 | 2.100000e+01 | -- | Inf
615.09/615.24 c 615s| 11100 | 3758 | 3578k| 320.6 | 66M| 41 | 473 |3297 |5014 |3297 |3580 |1507 | 11k|3306 | 2.100000e+01 | -- | Inf
621.69/621.85 c 622s| 11200 | 3803 | 3624k| 321.8 | 67M| 41 | 638 |3297 |5039 |3297 |3580 |1507 | 11k|3333 | 2.100000e+01 | -- | Inf
626.29/626.45 c 626s| 11300 | 3870 | 3656k| 321.8 | 67M| 41 | - |3297 |5022 |3297 |3580 |1507 | 11k|3354 | 2.100000e+01 | -- | Inf
632.19/632.33 c 632s| 11400 | 3880 | 3697k| 322.5 | 68M| 41 | 619 |3297 |4924 |3297 |3580 |1507 | 11k|3382 | 2.100000e+01 | -- | Inf
636.28/636.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
636.28/636.48 c 636s| 11500 | 3922 | 3722k| 321.9 | 68M| 41 | 374 |3297 |4984 |3297 |3580 |1507 | 11k|3423 | 2.100000e+01 | -- | Inf
641.88/642.08 c 642s| 11600 | 3952 | 3761k| 322.6 | 69M| 41 | - |3297 |5001 | 0 | 0 |1507 | 11k|3461 | 2.100000e+01 | -- | Inf
646.19/646.35 c 646s| 11700 | 3971 | 3786k| 321.9 | 69M| 41 | 664 |3297 |4989 |3297 |3580 |1507 | 11k|3496 | 2.100000e+01 | -- | Inf
650.68/650.80 c 651s| 11800 | 3973 | 3816k| 321.7 | 69M| 41 | - |3297 |4925 |3297 |3580 |1507 | 12k|3528 | 2.100000e+01 | -- | Inf
654.39/654.55 c 655s| 11900 | 4007 | 3836k| 320.7 | 70M| 41 | - |3297 |4926 | 0 | 0 |1507 | 12k|3566 | 2.100000e+01 | -- | Inf
659.79/659.92 c 660s| 12000 | 4028 | 3870k| 320.8 | 70M| 41 | - |3297 |4914 |3297 |3580 |1507 | 12k|3597 | 2.100000e+01 | -- | Inf
663.28/663.43 c 663s| 12100 | 4051 | 3888k| 319.7 | 70M| 41 | 647 |3297 |4951 |3297 |3580 |1507 | 12k|3624 | 2.100000e+01 | -- | Inf
665.59/665.78 c 666s| 12200 | 4048 | 3902k| 318.2 | 71M| 41 | 859 |3297 |5042 |3297 |3580 |1507 | 12k|3633 | 2.100000e+01 | -- | Inf
668.78/668.95 c 669s| 12300 | 4055 | 3918k| 316.9 | 71M| 41 | 650 |3297 |5053 |3297 |3580 |1507 | 12k|3651 | 2.166667e+01 | -- | Inf
673.68/673.86 c 674s| 12400 | 4086 | 3952k| 317.1 | 71M| 41 | - |3297 |4975 |3297 |3580 |1507 | 12k|3669 | 2.200000e+01 | -- | Inf
678.78/678.90 c 679s| 12500 | 4110 | 3984k| 317.1 | 72M| 41 | - |3297 |4974 |3297 |3580 |1507 | 12k|3688 | 2.200000e+01 | -- | Inf
684.18/684.33 c 684s| 12600 | 4138 | 4017k| 317.2 | 72M| 41 | - |3297 |5021 |3297 |3580 |1507 | 13k|3728 | 2.200000e+01 | -- | Inf
691.07/691.27 c 691s| 12700 | 4162 | 4064k| 318.5 | 72M| 41 | 694 |3297 |4993 |3297 |3580 |1507 | 13k|3755 | 2.200000e+01 | -- | Inf
694.98/695.14 c 695s| 12800 | 4183 | 4089k| 317.9 | 73M| 41 | - |3297 |4985 |3297 |3580 |1507 | 13k|3773 | 2.200000e+01 | -- | Inf
698.97/699.19 c 699s| 12900 | 4193 | 4115k| 317.5 | 73M| 41 | 579 |3297 |4998 |3297 |3580 |1507 | 13k|3791 | 2.200000e+01 | -- | Inf
703.37/703.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
703.37/703.52 c 704s| 13000 | 4200 | 4141k| 317.0 | 73M| 41 | 917 |3297 |4986 |3297 |3580 |1507 | 13k|3826 | 2.200000e+01 | -- | Inf
706.37/706.52 c 707s| 13100 | 4231 | 4158k| 315.9 | 74M| 41 | - |3297 |4980 | 0 | 0 |1507 | 13k|3844 | 2.200000e+01 | -- | Inf
710.77/710.91 c 711s| 13200 | 4247 | 4182k| 315.4 | 74M| 41 | - |3297 |4965 |3297 |3580 |1507 | 13k|3893 | 2.200000e+01 | -- | Inf
714.17/714.34 c 714s| 13300 | 4236 | 4206k| 314.8 | 74M| 41 | 432 |3297 |4967 |3297 |3580 |1507 | 13k|3916 | 2.200000e+01 | -- | Inf
723.67/723.86 c 724s| 13400 | 4266 | 4267k| 317.0 | 75M| 41 | 459 |3297 |5316 |3297 |3580 |1507 | 14k|3934 | 2.200000e+01 | -- | Inf
727.46/727.66 c 728s| 13500 | 4285 | 4291k| 316.4 | 75M| 41 | 760 |3297 |5289 |3297 |3580 |1507 | 14k|3961 | 2.200000e+01 | -- | Inf
732.67/732.86 c 733s| 13600 | 4335 | 4333k| 317.2 | 76M| 41 | - |3297 |5387 | 0 | 0 |1507 | 14k|4001 | 2.200000e+01 | -- | Inf
739.26/739.45 c 739s| 13700 | 4394 | 4389k| 318.9 | 76M| 41 | 604 |3297 |5537 |3297 |3580 |1507 | 14k|4037 | 2.200000e+01 | -- | Inf
743.27/743.46 c 743s| 13800 | 4407 | 4421k| 318.9 | 77M| 41 | 871 |3297 |5576 |3297 |3580 |1507 | 14k|4046 | 2.200000e+01 | -- | Inf
746.77/746.98 c 747s| 13900 | 4430 | 4439k| 317.9 | 78M| 41 | 686 |3297 |5490 |3297 |3580 |1507 | 15k|4074 | 2.200000e+01 | -- | Inf
750.76/750.97 c 751s| 14000 | 4460 | 4457k| 317.0 | 78M| 41 | 585 |3297 |5435 |3297 |3580 |1507 | 15k|4106 | 2.200000e+01 | -- | Inf
754.67/754.86 c 755s| 14100 | 4481 | 4478k| 316.2 | 78M| 41 | 461 |3297 |5468 |3297 |3580 |1507 | 15k|4124 | 2.200000e+01 | -- | Inf
757.97/758.16 c 758s| 14200 | 4503 | 4502k| 315.6 | 79M| 41 | 627 |3297 |5476 |3297 |3580 |1507 | 15k|4133 | 2.200000e+01 | -- | Inf
762.86/763.03 c 763s| 14300 | 4531 | 4534k| 315.7 | 79M| 41 | - |3297 |5466 | 0 | 0 |1507 | 15k|4159 | 2.200000e+01 | -- | Inf
767.36/767.59 c 768s| 14400 | 4560 | 4560k| 315.3 | 79M| 41 | 723 |3297 |5421 |3297 |3580 |1507 | 15k|4200 | 2.200000e+01 | -- | Inf
771.66/771.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
771.66/771.82 c 772s| 14500 | 4570 | 4587k| 315.0 | 80M| 41 | - |3297 |5371 |3297 |3580 |1507 | 15k|4225 | 2.200000e+01 | -- | Inf
775.76/775.99 c 776s| 14600 | 4584 | 4613k| 314.6 | 80M| 41 | - |3297 |5350 |3297 |3580 |1507 | 15k|4251 | 2.200000e+01 | -- | Inf
781.97/782.19 c 782s| 14700 | 4622 | 4656k| 315.4 | 80M| 41 | 585 |3297 |5396 |3297 |3580 |1507 | 15k|4285 | 2.200000e+01 | -- | Inf
786.66/786.84 c 787s| 14800 | 4634 | 4682k| 315.0 | 80M| 41 | 478 |3297 |5423 |3297 |3580 |1507 | 16k|4303 | 2.200000e+01 | -- | Inf
789.56/789.78 c 790s| 14900 | 4646 | 4700k| 314.1 | 81M| 41 | 842 |3297 |5402 |3297 |3580 |1507 | 16k|4320 | 2.200000e+01 | -- | Inf
795.56/795.73 c 796s| 15000 | 4698 | 4740k| 314.7 | 81M| 41 | - |3297 |5356 |3297 |3580 |1507 | 16k|4354 | 2.200000e+01 | -- | Inf
800.15/800.37 c 800s| 15100 | 4714 | 4770k| 314.6 | 81M| 41 | 662 |3297 |5410 |3297 |3580 |1507 | 16k|4379 | 2.200000e+01 | -- | Inf
803.16/803.34 c 803s| 15200 | 4725 | 4788k| 313.7 | 82M| 41 | 859 |3297 |5421 |3297 |3580 |1507 | 16k|4402 | 2.200000e+01 | -- | Inf
807.66/807.81 c 808s| 15300 | 4743 | 4813k| 313.3 | 82M| 41 | 765 |3297 |5464 |3297 |3580 |1507 | 16k|4446 | 2.200000e+01 | -- | Inf
810.66/810.86 c 811s| 15400 | 4758 | 4832k| 312.5 | 83M| 41 | - |3297 |5476 | 0 | 0 |1507 | 16k|4454 | 2.200000e+01 | -- | Inf
814.55/814.78 c 815s| 15500 | 4785 | 4856k| 312.0 | 83M| 41 | - |3297 |5475 |3297 |3580 |1507 | 16k|4495 | 2.233333e+01 | -- | Inf
820.05/820.22 c 820s| 15600 | 4804 | 4888k| 312.1 | 83M| 41 | 763 |3297 |5495 |3297 |3580 |1507 | 17k|4529 | 2.300000e+01 | -- | Inf
824.45/824.60 c 825s| 15700 | 4822 | 4912k| 311.6 | 83M| 41 | 962 |3297 |5383 |3297 |3580 |1507 | 17k|4562 | 2.300000e+01 | -- | Inf
827.65/827.86 c 828s| 15800 | 4831 | 4932k| 310.9 | 84M| 41 | - |3297 |5350 | 0 | 0 |1507 | 17k|4579 | 2.300000e+01 | -- | Inf
830.45/830.65 c 831s| 15900 | 4857 | 4947k| 309.9 | 84M| 41 | 627 |3297 |5375 |3297 |3580 |1507 | 17k|4604 | 2.300000e+01 | -- | Inf
833.05/833.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
833.05/833.27 c 833s| 16000 | 4876 | 4959k| 308.7 | 85M| 41 | 507 |3297 |5483 |3297 |3580 |1507 | 17k|4634 | 2.300000e+01 | -- | Inf
835.45/835.68 c 836s| 16100 | 4909 | 4970k| 307.5 | 85M| 41 | 724 |3297 |5596 |3297 |3580 |1507 | 17k|4658 | 2.300000e+01 | -- | Inf
838.45/838.66 c 839s| 16200 | 4916 | 4984k| 306.4 | 86M| 46 | 753 |3297 |5722 |3297 |3580 |1507 | 17k|4693 | 2.300000e+01 | -- | Inf
841.95/842.17 c 842s| 16300 | 4934 | 5006k| 305.9 | 87M| 46 | 634 |3297 |5768 |3297 |3580 |1507 | 18k|4717 | 2.300000e+01 | -- | Inf
844.24/844.43 c 844s| 16400 | 4923 | 5018k| 304.8 | 87M| 46 | 591 |3297 |5822 |3297 |3580 |1507 | 18k|4733 | 2.300000e+01 | -- | Inf
848.25/848.47 c 848s| 16500 | 4937 | 5041k| 304.3 | 87M| 46 | 449 |3297 |5854 |3297 |3580 |1507 | 18k|4766 | 2.300000e+01 | -- | Inf
851.35/851.50 c 851s| 16600 | 4960 | 5060k| 303.7 | 88M| 46 | 637 |3297 |5859 |3297 |3580 |1507 | 18k|4791 | 2.300000e+01 | -- | Inf
854.65/854.88 c 855s| 16700 | 4980 | 5080k| 303.0 | 88M| 46 | 743 |3297 |5804 |3297 |3580 |1507 | 18k|4816 | 2.300000e+01 | -- | Inf
858.05/858.29 c 858s| 16800 | 4987 | 5098k| 302.3 | 89M| 46 | 604 |3297 |5749 |3297 |3580 |1507 | 18k|4845 | 2.300000e+01 | -- | Inf
864.75/864.93 c 865s| 16900 | 5018 | 5146k| 303.3 | 89M| 46 | 983 |3297 |5732 |3297 |3580 |1507 | 19k|4870 | 2.300000e+01 | -- | Inf
868.64/868.80 c 869s| 17000 | 5056 | 5167k| 302.8 | 89M| 46 | 837 |3297 |5646 |3297 |3580 |1507 | 19k|4892 | 2.300000e+01 | -- | Inf
870.95/871.19 c 871s| 17100 | 5064 | 5179k| 301.7 | 89M| 46 | 636 |3297 |5746 |3297 |3580 |1507 | 19k|4917 | 2.300000e+01 | -- | Inf
875.24/875.41 c 875s| 17200 | 5082 | 5203k| 301.3 | 89M| 46 | 855 |3297 |5649 |3297 |3580 |1507 | 19k|4954 | 2.300000e+01 | -- | Inf
877.34/877.51 c 878s| 17300 | 5076 | 5216k| 300.4 | 90M| 46 | - |3297 |5705 | 0 | 0 |1507 | 19k|4962 | 2.300000e+01 | -- | Inf
879.85/880.05 c 880s| 17400 | 5073 | 5228k| 299.3 | 90M| 46 | - |3297 |5740 | 0 | 0 |1507 | 19k|4992 | 2.300000e+01 | -- | Inf
883.94/884.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.94/884.18 c 884s| 17500 | 5087 | 5254k| 299.1 | 91M| 46 | - |3297 |5729 |3297 |3580 |1507 | 19k|5021 | 2.300000e+01 | -- | Inf
888.24/888.45 c 888s| 17600 | 5101 | 5283k| 299.1 | 91M| 46 | 977 |3297 |5757 |3297 |3580 |1507 | 20k|5049 | 2.300000e+01 | -- | Inf
893.34/893.51 c 894s| 17700 | 5123 | 5315k| 299.1 | 91M| 46 | - |3297 |5774 | 0 | 0 |1507 | 20k|5092 | 2.300000e+01 | -- | Inf
897.54/897.76 c 898s| 17800 | 5120 | 5342k| 299.0 | 92M| 46 | 657 |3297 |5712 |3297 |3580 |1507 | 20k|5117 | 2.300000e+01 | -- | Inf
900.65/900.89 c 901s| 17900 | 5137 | 5362k| 298.5 | 92M| 46 | 887 |3297 |5722 |3297 |3580 |1507 | 20k|5134 | 2.300000e+01 | -- | Inf
904.44/904.61 c 905s| 18000 | 5182 | 5382k| 297.9 | 92M| 46 | - |3297 |5662 | 0 | 0 |1507 | 20k|5169 | 2.300000e+01 | -- | Inf
908.14/908.30 c 908s| 18100 | 5208 | 5402k| 297.4 | 93M| 46 | 504 |3297 |5697 |3297 |3580 |1507 | 20k|5195 | 2.300000e+01 | -- | Inf
912.85/913.03 c 913s| 18200 | 5217 | 5431k| 297.3 | 93M| 46 | - |3297 |5709 | 0 | 0 |1507 | 20k|5223 | 2.300000e+01 | -- | Inf
916.63/916.84 c 917s| 18300 | 5231 | 5458k| 297.2 | 93M| 46 | 856 |3297 |5667 |3297 |3580 |1507 | 21k|5241 | 2.300000e+01 | -- | Inf
920.14/920.32 c 920s| 18400 | 5232 | 5477k| 296.6 | 93M| 46 | - |3297 |5650 |3297 |3580 |1507 | 21k|5259 | 2.300000e+01 | -- | Inf
929.73/929.97 c 930s| 18500 | 5225 | 5535k| 298.1 | 94M| 46 | - |3297 |5608 |3297 |3580 |1507 | 21k|5284 | 2.300000e+01 | -- | Inf
935.73/935.94 c 936s| 18600 | 5262 | 5575k| 298.7 | 94M| 46 | 647 |3297 |5547 |3297 |3580 |1507 | 21k|5362 | 2.328571e+01 | -- | Inf
938.83/939.06 c 939s| 18700 | 5265 | 5593k| 298.0 | 94M| 46 | - |3297 |5657 | 0 | 0 |1507 | 21k|5399 | 2.357143e+01 | -- | Inf
944.43/944.61 c 945s| 18800 | 5274 | 5629k| 298.4 | 94M| 46 | - |3297 |5722 |3297 |3580 |1507 | 22k|5439 | 2.400000e+01 | -- | Inf
947.72/947.95 c 948s| 18900 | 5293 | 5649k| 297.9 | 95M| 46 | 683 |3297 |5826 |3297 |3580 |1507 | 22k|5466 | 2.400000e+01 | -- | Inf
951.82/952.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
951.82/952.00 c 952s| 19000 | 5293 | 5670k| 297.4 | 95M| 46 | - |3297 |5852 |3297 |3580 |1507 | 22k|5504 | 2.400000e+01 | -- | Inf
955.33/955.55 c 956s| 19100 | 5325 | 5695k| 297.2 | 95M| 53 | 737 |3297 |5911 |3297 |3580 |1507 | 22k|5530 | 2.400000e+01 | -- | Inf
958.12/958.34 c 958s| 19200 | 5338 | 5712k| 296.5 | 96M| 53 | - |3297 |5907 | 0 | 0 |1507 | 22k|5548 | 2.400000e+01 | -- | Inf
962.72/962.90 c 963s| 19300 | 5324 | 5741k| 296.4 | 96M| 53 | 590 |3297 |5937 |3297 |3580 |1507 | 22k|5612 | 2.400000e+01 | -- | Inf
964.72/964.99 c 965s| 19400 | 5356 | 5755k| 295.6 | 96M| 53 | 506 |3297 |5987 |3297 |3580 |1507 | 22k|5621 | 2.400000e+01 | -- | Inf
967.33/967.54 c 968s| 19500 | 5348 | 5771k| 294.9 | 96M| 53 | - |3297 |6085 |3297 |3580 |1507 | 23k|5645 | 2.400000e+01 | -- | Inf
972.03/972.27 c 972s| 19600 | 5357 | 5798k| 294.8 | 96M| 53 | 679 |3297 |6109 |3297 |3580 |1507 | 23k|5677 | 2.400000e+01 | -- | Inf
975.82/976.09 c 976s| 19700 | 5365 | 5823k| 294.6 | 96M| 53 | 635 |3297 |6071 |3297 |3580 |1507 | 23k|5704 | 2.400000e+01 | -- | Inf
978.42/978.66 c 979s| 19800 | 5378 | 5835k| 293.7 | 97M| 53 | 640 |3297 |6084 |3297 |3580 |1507 | 23k|5732 | 2.400000e+01 | -- | Inf
981.32/981.56 c 982s| 19900 | 5373 | 5858k| 293.4 | 97M| 53 | 988 |3297 |6113 |3297 |3580 |1507 | 23k|5754 | 2.400000e+01 | -- | Inf
986.62/986.88 c 987s| 20000 | 5393 | 5881k| 293.0 | 97M| 53 | - |3297 |6133 | 0 | 0 |1507 | 23k|5818 | 2.400000e+01 | -- | Inf
990.02/990.27 c 990s| 20100 | 5398 | 5901k| 292.6 | 98M| 53 | 652 |3297 |6107 |3297 |3580 |1507 | 23k|5843 | 2.400000e+01 | -- | Inf
992.92/993.17 c 993s| 20200 | 5390 | 5917k| 292.0 | 98M| 53 | 812 |3297 |6057 |3297 |3580 |1507 | 24k|5852 | 2.400000e+01 | -- | Inf
996.72/996.91 c 997s| 20300 | 5402 | 5936k| 291.4 | 98M| 53 | 471 |3297 |6047 |3297 |3580 |1507 | 24k|5915 | 2.400000e+01 | -- | Inf
999.02/999.22 c 999s| 20400 | 5402 | 5952k| 290.8 | 98M| 53 | 466 |3297 |6102 |3297 |3580 |1507 | 24k|5923 | 2.400000e+01 | -- | Inf
1002.42/1002.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1002.42/1002.63 c 1003s| 20500 | 5400 | 5974k| 290.5 | 99M| 53 | - |3297 |6155 |3297 |3580 |1507 | 24k|5960 | 2.400000e+01 | -- | Inf
1004.31/1004.59 c 1005s| 20600 | 5401 | 5986k| 289.6 | 99M| 53 | - |3297 |6191 | 0 | 0 |1507 | 24k|5969 | 2.400000e+01 | -- | Inf
1007.52/1007.73 c 1008s| 20700 | 5426 | 6003k| 289.0 | 99M| 53 | 739 |3297 |6256 |3297 |3580 |1507 | 24k|6015 | 2.400000e+01 | -- | Inf
1009.22/1009.49 c 1009s| 20800 | 5432 | 6017k| 288.3 | 99M| 53 | - |3297 |6258 |3297 |3580 |1507 | 25k|6015 | 2.400000e+01 | -- | Inf
1012.92/1013.19 c 1013s| 20900 | 5432 | 6034k| 287.8 | 99M| 53 | 922 |3297 |6283 |3297 |3580 |1507 | 25k|6055 | 2.400000e+01 | -- | Inf
1015.82/1016.06 c 1016s| 21000 | 5439 | 6052k| 287.2 | 100M| 53 | 568 |3297 |6264 |3297 |3580 |1507 | 25k|6079 | 2.400000e+01 | -- | Inf
1019.62/1019.89 c 1020s| 21100 | 5467 | 6074k| 286.9 | 100M| 53 | 641 |3297 |6104 |3297 |3580 |1507 | 25k|6118 | 2.400000e+01 | -- | Inf
1022.52/1022.73 c 1023s| 21200 | 5469 | 6099k| 286.7 | 101M| 53 | - |3297 |6123 |3297 |3580 |1507 | 25k|6122 | 2.400000e+01 | -- | Inf
1026.61/1026.86 c 1027s| 21300 | 5496 | 6127k| 286.7 | 101M| 53 | - |3297 |6037 | 0 | 0 |1507 | 25k|6152 | 2.400000e+01 | -- | Inf
1030.01/1030.23 c 1030s| 21400 | 5508 | 6143k| 286.2 | 101M| 53 | - |3297 |6030 | 0 | 0 |1507 | 25k|6186 | 2.400000e+01 | -- | Inf
1036.02/1036.22 c 1036s| 21500 | 5548 | 6176k| 286.3 | 102M| 53 | 621 |3297 |6022 |3297 |3580 |1507 | 26k|6230 | 2.400000e+01 | -- | Inf
1040.42/1040.65 c 1041s| 21600 | 5567 | 6212k| 286.7 | 102M| 53 | 680 |3297 |5961 |3297 |3580 |1507 | 26k|6245 | 2.400000e+01 | -- | Inf
1042.62/1042.89 c 1043s| 21700 | 5567 | 6224k| 285.9 | 102M| 53 | - |3297 |5994 |3297 |3580 |1507 | 26k|6254 | 2.400000e+01 | -- | Inf
1045.31/1045.52 c 1046s| 21800 | 5560 | 6242k| 285.4 | 102M| 53 | 544 |3297 |6070 |3297 |3580 |1507 | 26k|6262 | 2.400000e+01 | -- | Inf
1048.51/1048.73 c 1049s| 21900 | 5570 | 6265k| 285.2 | 102M| 53 | 642 |3297 |6020 |3297 |3580 |1507 | 26k|6276 | 2.400000e+01 | -- | Inf
1052.61/1052.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1052.61/1052.89 c 1053s| 22000 | 5575 | 6288k| 284.9 | 102M| 53 | 459 |3297 |6043 |3297 |3580 |1507 | 26k|6317 | 2.400000e+01 | -- | Inf
1055.01/1055.26 c 1055s| 22100 | 5589 | 6308k| 284.5 | 103M| 53 | 495 |3297 |6045 |3297 |3580 |1507 | 26k|6324 | 2.400000e+01 | -- | Inf
1057.91/1058.13 c 1058s| 22200 | 5609 | 6332k| 284.3 | 103M| 53 | 666 |3297 |6145 |3297 |3580 |1507 | 27k|6335 | 2.400000e+01 | -- | Inf
1059.71/1059.90 c 1060s| 22300 | 5610 | 6347k| 283.7 | 103M| 53 | 725 |3297 |6276 |3297 |3580 |1507 | 27k|6340 | 2.400000e+01 | -- | Inf
1063.52/1063.78 c 1064s| 22400 | 5628 | 6379k| 283.9 | 103M| 53 | - |3297 |6263 |3297 |3580 |1507 | 27k|6345 | 2.433333e+01 | -- | Inf
1065.41/1065.68 c 1066s| 22500 | 5613 | 6393k| 283.2 | 103M| 53 |1050 |3297 |6194 |3297 |3580 |1507 | 27k|6345 | 2.433333e+01 | -- | Inf
1069.80/1070.07 c 1070s| 22600 | 5632 | 6423k| 283.3 | 104M| 53 | - |3297 |6164 | 0 | 0 |1507 | 27k|6350 | 2.450000e+01 | -- | Inf
1075.61/1075.88 c 1076s| 22700 | 5629 | 6447k| 283.2 | 104M| 53 | - |3297 |6102 | 0 | 0 |1507 | 27k|6413 | 2.466667e+01 | -- | Inf
1079.01/1079.21 c 1079s| 22800 | 5623 | 6472k| 283.0 | 104M| 53 | 707 |3297 |6092 |3297 |3580 |1507 | 28k|6418 | 2.500000e+01 | -- | Inf
1082.00/1082.22 c 1082s| 22900 | 5621 | 6491k| 282.6 | 104M| 53 | - |3297 |6047 |3297 |3580 |1507 | 28k|6429 | 2.500000e+01 | -- | Inf
1083.11/1083.36 c 1083s| 23000 | 5634 | 6498k| 281.7 | 104M| 53 | - |3297 |6121 | 0 | 0 |1507 | 28k|6429 | 2.500000e+01 | -- | Inf
1084.81/1085.06 c 1085s| 23100 | 5631 | 6512k| 281.0 | 104M| 53 | - |3297 |6144 | 0 | 0 |1507 | 28k|6429 | 2.500000e+01 | -- | Inf
1086.81/1087.03 c 1087s| 23200 | 5621 | 6528k| 280.5 | 105M| 53 | - |3297 |6158 |3297 |3580 |1507 | 28k|6430 | 2.500000e+01 | -- | Inf
1090.21/1090.41 c 1090s| 23300 | 5630 | 6552k| 280.3 | 105M| 53 | 916 |3297 |5998 |3297 |3580 |1507 | 28k|6461 | 2.500000e+01 | -- | Inf
1092.20/1092.46 c 1092s| 23400 | 5646 | 6569k| 279.9 | 105M| 53 | - |3297 |6021 | 0 | 0 |1507 | 29k|6465 | 2.500000e+01 | -- | Inf
1095.00/1095.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1095.00/1095.21 c 1095s| 23500 | 5668 | 6595k| 279.8 | 105M| 53 | 924 |3297 |6097 |3297 |3580 |1507 | 29k|6470 | 2.500000e+01 | -- | Inf
1098.81/1099.04 c 1099s| 23600 | 5674 | 6623k| 279.8 | 105M| 53 | 582 |3297 |5996 |3297 |3580 |1507 | 29k|6495 | 2.500000e+01 | -- | Inf
1103.50/1103.73 c 1104s| 23700 | 5655 | 6638k| 279.2 | 105M| 53 | - |3297 |5922 | 0 | 0 |1507 | 29k|6563 | 2.500000e+01 | -- | Inf
1106.80/1107.02 c 1107s| 23800 | 5669 | 6664k| 279.2 | 105M| 53 | 917 |3297 |5886 |3297 |3580 |1507 | 29k|6573 | 2.500000e+01 | -- | Inf
1108.90/1109.16 c 1109s| 23900 | 5681 | 6681k| 278.7 | 105M| 53 | - |3297 |5835 | 0 | 0 |1507 | 29k|6575 | 2.500000e+01 | -- | Inf
1117.20/1117.40 c 1117s| 24000 | 5684 | 6751k| 280.5 | 106M| 53 | 399 |3297 |6140 |3297 |3580 |1507 | 30k|6575 | 2.500000e+01 | -- | Inf
1122.50/1122.79 c 1123s| 24100 | 5695 | 6776k| 280.3 | 106M| 53 | 860 |3297 |6214 |3297 |3580 |1507 | 30k|6655 | 2.500000e+01 | -- | Inf
1124.90/1125.15 c 1125s| 24200 | 5693 | 6794k| 279.9 | 106M| 53 | - |3297 |6263 |3297 |3580 |1507 | 30k|6667 | 2.500000e+01 | -- | Inf
1129.41/1129.69 c 1130s| 24300 | 5707 | 6817k| 279.7 | 106M| 53 | - |3297 |6275 | 0 | 0 |1507 | 30k|6700 | 2.500000e+01 | -- | Inf
1135.40/1135.60 c 1136s| 24400 | 5721 | 6849k| 279.9 | 107M| 53 | - |3297 |6205 |3297 |3580 |1507 | 30k|6751 | 2.500000e+01 | -- | Inf
1139.70/1139.90 c 1140s| 24500 | 5719 | 6881k| 280.1 | 107M| 53 | 563 |3297 |6016 |3297 |3580 |1507 | 31k|6768 | 2.500000e+01 | -- | Inf
1141.50/1141.76 c 1142s| 24600 | 5719 | 6897k| 279.6 | 107M| 53 | 660 |3297 |5986 |3297 |3580 |1507 | 31k|6768 | 2.500000e+01 | -- | Inf
1144.10/1144.34 c 1144s| 24700 | 5745 | 6922k| 279.5 | 107M| 53 | - |3297 |5945 |3297 |3580 |1507 | 31k|6770 | 2.500000e+01 | -- | Inf
1147.11/1147.33 c 1147s| 24800 | 5763 | 6951k| 279.5 | 108M| 53 | - |3297 |5938 | 0 | 0 |1507 | 31k|6770 | 2.500000e+01 | -- | Inf
1149.60/1149.82 c 1150s| 24900 | 5765 | 6975k| 279.3 | 108M| 53 | 579 |3297 |5918 |3297 |3580 |1507 | 31k|6770 | 2.500000e+01 | -- | Inf
1153.10/1153.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1153.10/1153.37 c 1153s| 25000 | 5784 | 7002k| 279.3 | 109M| 53 | - |3297 |5917 |3297 |3580 |1507 | 31k|6796 | 2.500000e+01 | -- | Inf
1156.20/1156.44 c 1156s| 25100 | 5783 | 7031k| 279.3 | 109M| 53 | 855 |3297 |5859 |3297 |3580 |1507 | 31k|6799 | 2.533333e+01 | -- | Inf
1158.90/1159.12 c 1159s| 25200 | 5783 | 7055k| 279.2 | 109M| 53 | 479 |3297 |5904 |3297 |3580 |1507 | 32k|6799 | 2.561290e+01 | -- | Inf
1161.49/1161.78 c 1162s| 25300 | 5812 | 7077k| 278.9 | 109M| 53 | 760 |3297 |5901 |3297 |3580 |1507 | 32k|6808 | 2.600000e+01 | -- | Inf
1163.69/1163.99 c 1164s| 25400 | 5813 | 7095k| 278.6 | 109M| 53 | - |3297 |5873 |3297 |3580 |1507 | 32k|6808 | 2.600000e+01 | -- | Inf
1166.99/1167.22 c 1167s| 25500 | 5815 | 7123k| 278.6 | 110M| 53 | - |3297 |5870 | 0 | 0 |1507 | 32k|6808 | 2.600000e+01 | -- | Inf
1168.59/1168.85 c 1169s| 25600 | 5815 | 7136k| 278.0 | 109M| 53 | - |3297 |5899 | 0 | 0 |1507 | 32k|6808 | 2.600000e+01 | -- | Inf
1170.50/1170.77 c 1171s| 25700 | 5820 | 7153k| 277.5 | 110M| 53 | - |3297 |5929 | 0 | 0 |1507 | 32k|6810 | 2.600000e+01 | -- | Inf
1172.49/1172.77 c 1173s| 25800 | 5806 | 7174k| 277.3 | 110M| 53 | - |3297 |6021 | 0 | 0 |1507 | 33k|6810 | 2.600000e+01 | -- | Inf
1174.50/1174.74 c 1175s| 25900 | 5820 | 7196k| 277.1 | 110M| 53 | 727 |3297 |6081 |3297 |3580 |1507 | 33k|6810 | 2.600000e+01 | -- | Inf
1176.19/1176.48 c 1176s| 26000 | 5826 | 7212k| 276.6 | 110M| 53 | - |3297 |6175 |3297 |3580 |1507 | 33k|6811 | 2.600000e+01 | -- | Inf
1178.20/1178.44 c 1178s| 26100 | 5806 | 7229k| 276.2 | 110M| 53 | 716 |3297 |6197 |3297 |3580 |1507 | 33k|6811 | 2.600000e+01 | -- | Inf
1180.99/1181.21 c 1181s| 26200 | 5804 | 7250k| 276.0 | 111M| 53 | 546 |3297 |6063 |3297 |3580 |1507 | 33k|6820 | 2.600000e+01 | -- | Inf
1183.40/1183.60 c 1184s| 26300 | 5816 | 7266k| 275.5 | 111M| 53 | 696 |3297 |6051 |3297 |3580 |1507 | 33k|6820 | 2.600000e+01 | -- | Inf
1186.09/1186.31 c 1186s| 26400 | 5826 | 7291k| 275.4 | 111M| 53 | 536 |3297 |6058 |3297 |3580 |1507 | 33k|6822 | 2.600000e+01 | -- | Inf
1189.49/1189.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1189.49/1189.79 c 1190s| 26500 | 5837 | 7326k| 275.7 | 111M| 53 | 632 |3297 |6051 |3297 |3580 |1507 | 34k|6824 | 2.600000e+01 | -- | Inf
1191.79/1192.06 c 1192s| 26600 | 5847 | 7347k| 275.5 | 112M| 53 | - |3297 |6108 | 0 | 0 |1507 | 34k|6824 | 2.600000e+01 | -- | Inf
1193.59/1193.84 c 1194s| 26700 | 5847 | 7363k| 275.0 | 112M| 53 | 615 |3297 |6154 |3297 |3580 |1507 | 34k|6824 | 2.600000e+01 | -- | Inf
1195.69/1195.91 c 1196s| 26800 | 5837 | 7381k| 274.7 | 112M| 53 | - |3297 |6090 | 0 | 0 |1507 | 34k|6826 | 2.600000e+01 | -- | Inf
1197.79/1198.05 c 1198s| 26900 | 5827 | 7398k| 274.3 | 111M| 53 | - |3297 |6037 | 0 | 0 |1507 | 34k|6827 | 2.600000e+01 | -- | Inf
1199.39/1199.61 c 1200s| 27000 | 5833 | 7411k| 273.7 | 112M| 53 | 849 |3297 |6144 |3297 |3580 |1507 | 34k|6827 | 2.600000e+01 | -- | Inf
1201.59/1201.82 c 1202s| 27100 | 5840 | 7430k| 273.5 | 112M| 53 | 705 |3297 |6161 |3297 |3580 |1507 | 34k|6827 | 2.600000e+01 | -- | Inf
1205.79/1206.03 c 1206s| 27200 | 5864 | 7471k| 273.9 | 112M| 53 | 592 |3297 |6122 |3297 |3580 |1507 | 35k|6827 | 2.600000e+01 | -- | Inf
1207.99/1208.26 c 1208s| 27300 | 5873 | 7490k| 273.6 | 113M| 53 | 722 |3297 |6121 |3297 |3580 |1507 | 35k|6827 | 2.600000e+01 | -- | Inf
1210.09/1210.32 c 1210s| 27400 | 5876 | 7509k| 273.3 | 113M| 53 | - |3297 |6125 | 0 | 0 |1507 | 35k|6827 | 2.600000e+01 | -- | Inf
1217.08/1217.39 c 1217s| 27500 | 5872 | 7561k| 274.2 | 113M| 53 | 515 |3297 |6526 |3297 |3580 |1507 | 36k|6828 | 2.600000e+01 | -- | Inf
1219.69/1219.98 c 1220s| 27600 | 5889 | 7588k| 274.2 | 113M| 53 | 683 |3297 |6541 |3297 |3580 |1507 | 36k|6829 | 2.609091e+01 | -- | Inf
1221.79/1222.02 c 1222s| 27700 | 5896 | 7605k| 273.8 | 114M| 53 | 407 |3297 |6519 |3297 |3580 |1507 | 36k|6831 | 2.614286e+01 | -- | Inf
1224.29/1224.59 c 1225s| 27800 | 5905 | 7628k| 273.7 | 114M| 53 | 772 |3297 |6551 |3297 |3580 |1507 | 36k|6832 | 2.633333e+01 | -- | Inf
1226.88/1227.19 c 1227s| 27900 | 5907 | 7646k| 273.4 | 114M| 53 | 861 |3297 |6580 |3297 |3580 |1507 | 36k|6852 | 2.640000e+01 | -- | Inf
1234.98/1235.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1234.98/1235.26 c 1235s| 28000 | 5917 | 7700k| 274.3 | 114M| 53 | - |3297 |6660 | 0 | 0 |1507 | 36k|6872 | 2.661290e+01 | -- | Inf
1241.68/1241.95 c 1242s| 28100 | 5946 | 7760k| 275.5 | 115M| 53 | 727 |3297 |6564 |3297 |3580 |1507 | 37k|6893 | 2.666667e+01 | -- | Inf
1244.58/1244.88 c 1245s| 28200 | 5958 | 7780k| 275.2 | 115M| 53 |1165 |3297 |6476 |3297 |3580 |1507 | 37k|6913 | 2.666667e+01 | -- | Inf
1250.18/1250.49 c 1250s| 28300 | 5976 | 7819k| 275.6 | 115M| 53 | - |3297 |6553 |3297 |3580 |1507 | 37k|6945 | 2.666667e+01 | -- | Inf
1253.17/1253.44 c 1253s| 28400 | 5974 | 7836k| 275.2 | 115M| 53 | 735 |3297 |6539 |3297 |3580 |1507 | 37k|6972 | 2.666667e+01 | -- | Inf
1255.88/1256.11 c 1256s| 28500 | 5995 | 7850k| 274.7 | 116M| 53 | 851 |3297 |6567 |3297 |3580 |1507 | 37k|7004 | 2.666667e+01 | -- | Inf
1259.28/1259.55 c 1260s| 28600 | 6012 | 7866k| 274.4 | 116M| 53 | - |3297 |6610 |3297 |3580 |1507 | 37k|7027 | 2.666667e+01 | -- | Inf
1261.68/1261.93 c 1262s| 28700 | 6035 | 7882k| 273.9 | 116M| 53 | - |3297 |6638 | 0 | 0 |1507 | 37k|7055 | 2.668837e+01 | -- | Inf
1264.37/1264.66 c 1265s| 28800 | 6049 | 7897k| 273.5 | 116M| 53 | 718 |3297 |6704 |3297 |3580 |1507 | 38k|7082 | 2.668837e+01 | -- | Inf
1268.87/1269.14 c 1269s| 28900 | 6070 | 7929k| 273.7 | 116M| 53 | - |3297 |6698 |3297 |3580 |1507 | 38k|7099 | 2.680000e+01 | -- | Inf
1273.18/1273.41 c 1273s| 29000 | 6068 | 7958k| 273.7 | 117M| 53 | - |3297 |6618 | 0 | 0 |1507 | 38k|7119 | 2.700000e+01 | -- | Inf
1276.98/1277.20 c 1277s| 29100 | 6082 | 7983k| 273.6 | 117M| 53 | - |3297 |6627 | 0 | 0 |1507 | 38k|7152 | 2.700000e+01 | -- | Inf
1281.07/1281.40 c 1281s| 29200 | 6084 | 8008k| 273.6 | 117M| 53 | 839 |3297 |6536 |3297 |3580 |1507 | 38k|7199 | 2.700000e+01 | -- | Inf
1284.67/1284.99 c 1285s| 29300 | 6099 | 8032k| 273.4 | 117M| 53 | 456 |3297 |6525 |3297 |3580 |1507 | 38k|7215 | 2.700000e+01 | -- | Inf
1287.08/1287.38 c 1287s| 29400 | 6113 | 8049k| 273.1 | 117M| 53 | 586 |3297 |6474 |3297 |3580 |1507 | 38k|7226 | 2.700000e+01 | -- | Inf
1291.37/1291.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1291.37/1291.68 c 1292s| 29500 | 6108 | 8078k| 273.2 | 117M| 53 | 629 |3297 |6513 |3297 |3580 |1507 | 39k|7263 | 2.700000e+01 | -- | Inf
1293.57/1293.89 c 1294s| 29600 | 6113 | 8093k| 272.7 | 117M| 53 | - |3297 |6526 | 0 | 0 |1507 | 39k|7280 | 2.700000e+01 | -- | Inf
1296.37/1296.63 c 1297s| 29700 | 6112 | 8111k| 272.4 | 117M| 53 | 532 |3297 |6553 |3297 |3580 |1507 | 39k|7296 | 2.700000e+01 | -- | Inf
1299.07/1299.35 c 1299s| 29800 | 6129 | 8130k| 272.1 | 118M| 53 | - |3297 |6610 | 0 | 0 |1507 | 39k|7310 | 2.700000e+01 | -- | Inf
1302.57/1302.83 c 1303s| 29900 | 6141 | 8153k| 272.0 | 118M| 53 | 491 |3297 |6577 |3297 |3580 |1507 | 39k|7340 | 2.700000e+01 | -- | Inf
1304.87/1305.14 c 1305s| 30000 | 6148 | 8172k| 271.7 | 118M| 53 | 456 |3297 |6683 |3297 |3580 |1507 | 39k|7355 | 2.700000e+01 | -- | Inf
1307.57/1307.87 c 1308s| 30100 | 6140 | 8193k| 271.5 | 118M| 53 | - |3297 |6659 | 0 | 0 |1507 | 40k|7373 | 2.700000e+01 | -- | Inf
1310.87/1311.14 c 1311s| 30200 | 6120 | 8211k| 271.2 | 118M| 53 | - |3297 |6589 | 0 | 0 |1507 | 40k|7400 | 2.700000e+01 | -- | Inf
1316.27/1316.55 c 1317s| 30300 | 6128 | 8233k| 271.1 | 119M| 53 | 605 |3297 |6464 |3297 |3580 |1507 | 40k|7452 | 2.700000e+01 | -- | Inf
1318.16/1318.43 c 1318s| 30400 | 6143 | 8252k| 270.8 | 119M| 53 | 594 |3297 |6437 |3297 |3580 |1507 | 40k|7452 | 2.700000e+01 | -- | Inf
1320.37/1320.68 c 1321s| 30500 | 6166 | 8276k| 270.7 | 119M| 53 | 673 |3297 |6463 |3297 |3580 |1507 | 40k|7452 | 2.700000e+01 | -- | Inf
1323.97/1324.20 c 1324s| 30600 | 6143 | 8301k| 270.6 | 119M| 53 |1095 |3297 |6387 |3297 |3580 |1507 | 40k|7481 | 2.700000e+01 | -- | Inf
1326.86/1327.14 c 1327s| 30700 | 6130 | 8315k| 270.2 | 119M| 53 | - |3297 |6362 | 0 | 0 |1507 | 41k|7516 | 2.700000e+01 | -- | Inf
1329.77/1330.07 c 1330s| 30800 | 6143 | 8336k| 270.0 | 119M| 53 | 529 |3297 |6345 |3297 |3580 |1507 | 41k|7533 | 2.700000e+01 | -- | Inf
1333.76/1334.04 c 1334s| 30900 | 6131 | 8355k| 269.8 | 119M| 53 | 636 |3297 |6319 |3297 |3580 |1507 | 41k|7567 | 2.700000e+01 | -- | Inf
1335.57/1335.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1335.57/1335.88 c 1336s| 31000 | 6139 | 8372k| 269.4 | 119M| 53 | 985 |3297 |6273 |3297 |3580 |1507 | 41k|7567 | 2.700000e+01 | -- | Inf
1338.17/1338.40 c 1338s| 31100 | 6147 | 8392k| 269.2 | 120M| 53 | 778 |3297 |6360 |3297 |3580 |1507 | 41k|7581 | 2.700000e+01 | -- | Inf
1339.66/1339.97 c 1340s| 31200 | 6152 | 8406k| 268.8 | 120M| 53 | - |3297 |6360 | 0 | 0 |1507 | 41k|7581 | 2.700000e+01 | -- | Inf
1343.17/1343.46 c 1343s| 31300 | 6166 | 8431k| 268.7 | 120M| 53 | - |3297 |6335 |3297 |3580 |1507 | 41k|7610 | 2.700000e+01 | -- | Inf
1351.86/1352.17 c 1352s| 31400 | 6169 | 8486k| 269.6 | 121M| 53 | 769 |3297 |6624 |3297 |3580 |1507 | 42k|7629 | 2.700000e+01 | -- | Inf
1354.26/1354.58 c 1355s| 31500 | 6161 | 8506k| 269.4 | 121M| 53 | - |3297 |6625 | 0 | 0 |1507 | 42k|7641 | 2.700000e+01 | -- | Inf
1359.37/1359.68 c 1360s| 31600 | 6172 | 8539k| 269.6 | 122M| 53 | - |3297 |6566 |3297 |3580 |1507 | 42k|7685 | 2.700000e+01 | -- | Inf
1362.46/1362.75 c 1363s| 31700 | 6189 | 8562k| 269.5 | 122M| 53 | 649 |3297 |6524 |3297 |3580 |1507 | 42k|7703 | 2.700000e+01 | -- | Inf
1366.06/1366.38 c 1366s| 31800 | 6202 | 8587k| 269.4 | 122M| 53 | - |3297 |6544 |3297 |3580 |1507 | 43k|7733 | 2.700000e+01 | -- | Inf
1368.96/1369.29 c 1369s| 31900 | 6222 | 8612k| 269.3 | 123M| 53 | 652 |3297 |6584 |3297 |3580 |1507 | 43k|7744 | 2.700000e+01 | -- | Inf
1372.46/1372.73 c 1373s| 32000 | 6216 | 8635k| 269.2 | 123M| 53 | 957 |3297 |6530 |3297 |3580 |1507 | 43k|7773 | 2.700000e+01 | -- | Inf
1374.66/1374.93 c 1375s| 32100 | 6204 | 8652k| 268.9 | 123M| 53 | 652 |3297 |6464 |3297 |3580 |1507 | 43k|7780 | 2.700000e+01 | -- | Inf
1379.26/1379.51 c 1380s| 32200 | 6212 | 8683k| 269.1 | 123M| 53 | 430 |3297 |6454 |3297 |3580 |1507 | 43k|7819 | 2.700000e+01 | -- | Inf
1382.26/1382.52 c 1383s| 32300 | 6209 | 8705k| 268.9 | 123M| 53 | - |3297 |6474 | 0 | 0 |1507 | 43k|7831 | 2.700000e+01 | -- | Inf
1385.46/1385.75 c 1386s| 32400 | 6243 | 8727k| 268.7 | 124M| 53 | - |3297 |6530 | 0 | 0 |1507 | 43k|7856 | 2.700000e+01 | -- | Inf
1388.86/1389.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1388.86/1389.16 c 1389s| 32500 | 6254 | 8750k| 268.6 | 124M| 53 | 769 |3297 |6590 |3297 |3580 |1507 | 44k|7887 | 2.700000e+01 | -- | Inf
1391.56/1391.86 c 1392s| 32600 | 6273 | 8771k| 268.5 | 124M| 53 | 582 |3297 |6614 |3297 |3580 |1507 | 44k|7902 | 2.700000e+01 | -- | Inf
1394.76/1395.04 c 1395s| 32700 | 6253 | 8795k| 268.4 | 124M| 53 | - |3297 |6510 |3297 |3580 |1507 | 44k|7934 | 2.700000e+01 | -- | Inf
1397.66/1397.90 c 1398s| 32800 | 6252 | 8813k| 268.1 | 125M| 53 | 541 |3297 |6431 |3297 |3580 |1507 | 44k|7956 | 2.700000e+01 | -- | Inf
1400.26/1400.52 c 1401s| 32900 | 6263 | 8831k| 267.8 | 125M| 53 | 634 |3297 |6435 |3297 |3580 |1507 | 44k|7966 | 2.700000e+01 | -- | Inf
1403.75/1404.07 c 1404s| 33000 | 6277 | 8857k| 267.8 | 125M| 53 | - |3297 |6402 | 0 | 0 |1507 | 44k|7986 | 2.700000e+01 | -- | Inf
1406.45/1406.75 c 1407s| 33100 | 6272 | 8875k| 267.5 | 125M| 53 | 686 |3297 |6381 |3297 |3580 |1507 | 45k|8006 | 2.700000e+01 | -- | Inf
1409.35/1409.60 c 1410s| 33200 | 6249 | 8899k| 267.5 | 125M| 53 | 607 |3297 |6302 |3297 |3580 |1507 | 45k|8020 | 2.700000e+01 | -- | Inf
1414.65/1414.99 c 1415s| 33300 | 6253 | 8937k| 267.8 | 125M| 53 | 730 |3297 |6379 |3297 |3580 |1507 | 45k|8041 | 2.700000e+01 | -- | Inf
1417.95/1418.21 c 1418s| 33400 | 6266 | 8961k| 267.7 | 126M| 53 | - |3297 |6318 |3297 |3580 |1507 | 45k|8050 | 2.700000e+01 | -- | Inf
1420.96/1421.21 c 1421s| 33500 | 6266 | 8981k| 267.5 | 126M| 53 | - |3297 |6283 |3297 |3580 |1507 | 45k|8074 | 2.700000e+01 | -- | Inf
1425.25/1425.60 c 1426s| 33600 | 6279 | 9010k| 267.6 | 126M| 53 | - |3297 |6295 | 0 | 0 |1507 | 45k|8108 | 2.700000e+01 | -- | Inf
1429.05/1429.34 c 1429s| 33700 | 6282 | 9032k| 267.4 | 126M| 53 | 404 |3297 |6358 |3297 |3580 |1507 | 46k|8140 | 2.700000e+01 | -- | Inf
1431.05/1431.38 c 1431s| 33800 | 6271 | 9051k| 267.2 | 126M| 53 | - |3297 |6395 |3297 |3580 |1507 | 46k|8140 | 2.700000e+01 | -- | Inf
1434.95/1435.29 c 1435s| 33900 | 6272 | 9076k| 267.1 | 126M| 53 | 500 |3297 |6409 |3297 |3580 |1507 | 46k|8157 | 2.700000e+01 | -- | Inf
1437.95/1438.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1437.95/1438.26 c 1438s| 34000 | 6285 | 9100k| 267.1 | 127M| 53 | - |3297 |6341 |3297 |3580 |1507 | 46k|8172 | 2.700000e+01 | -- | Inf
1440.66/1440.95 c 1441s| 34100 | 6295 | 9120k| 266.9 | 127M| 53 | 647 |3297 |6380 |3297 |3580 |1507 | 46k|8196 | 2.700000e+01 | -- | Inf
1443.65/1443.91 c 1444s| 34200 | 6297 | 9140k| 266.7 | 127M| 53 | - |3297 |6445 | 0 | 0 |1507 | 46k|8205 | 2.700000e+01 | -- | Inf
1446.85/1447.12 c 1447s| 34300 | 6318 | 9164k| 266.6 | 127M| 53 | 542 |3297 |6433 |3297 |3580 |1507 | 46k|8229 | 2.700000e+01 | -- | Inf
1450.35/1450.69 c 1451s| 34400 | 6319 | 9183k| 266.4 | 127M| 53 | - |3297 |6528 |3297 |3580 |1507 | 47k|8273 | 2.700000e+01 | -- | Inf
1452.15/1452.47 c 1452s| 34500 | 6326 | 9198k| 266.0 | 127M| 53 | 749 |3297 |6554 |3297 |3580 |1507 | 47k|8273 | 2.700000e+01 | -- | Inf
1454.65/1454.97 c 1455s| 34600 | 6350 | 9216k| 265.8 | 128M| 53 | - |3297 |6494 | 0 | 0 |1507 | 47k|8283 | 2.700000e+01 | -- | Inf
1459.46/1459.77 c 1460s| 34700 | 6354 | 9247k| 265.9 | 128M| 53 | 511 |3297 |6287 |3297 |3580 |1507 | 47k|8303 | 2.700000e+01 | -- | Inf
1463.05/1463.33 c 1463s| 34800 | 6361 | 9274k| 265.9 | 128M| 53 | 904 |3297 |6226 |3297 |3580 |1507 | 47k|8333 | 2.728519e+01 | -- | Inf
1467.24/1467.57 c 1468s| 34900 | 6378 | 9306k| 266.1 | 129M| 53 | - |3297 |6295 |3297 |3580 |1507 | 47k|8347 | 2.731579e+01 | -- | Inf
1470.05/1470.33 c 1470s| 35000 | 6368 | 9321k| 265.7 | 129M| 53 | 642 |3297 |6249 |3297 |3580 |1507 | 48k|8376 | 2.766667e+01 | -- | Inf
1473.25/1473.57 c 1474s| 35100 | 6359 | 9340k| 265.5 | 129M| 53 | - |3297 |6186 |3297 |3580 |1507 | 48k|8393 | 2.800000e+01 | -- | Inf
1474.85/1475.16 c 1475s| 35200 | 6357 | 9354k| 265.2 | 129M| 53 | 647 |3297 |6207 |3297 |3580 |1507 | 48k|8393 | 2.800000e+01 | -- | Inf
1477.85/1478.15 c 1478s| 35300 | 6362 | 9372k| 264.9 | 129M| 53 | - |3297 |6255 | 0 | 0 |1507 | 48k|8420 | 2.800000e+01 | -- | Inf
1481.95/1482.28 c 1482s| 35400 | 6362 | 9396k| 264.9 | 129M| 53 | 839 |3297 |6281 |3297 |3580 |1507 | 48k|8446 | 2.800000e+01 | -- | Inf
1483.55/1483.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1483.55/1483.87 c 1484s| 35500 | 6377 | 9411k| 264.5 | 129M| 53 | 533 |3297 |6316 |3297 |3580 |1507 | 48k|8446 | 2.800000e+01 | -- | Inf
1485.04/1485.38 c 1485s| 35600 | 6352 | 9422k| 264.1 | 129M| 53 | 916 |3297 |6315 |3297 |3580 |1507 | 48k|8446 | 2.800000e+01 | -- | Inf
1487.94/1488.21 c 1488s| 35700 | 6349 | 9439k| 263.8 | 129M| 53 | 521 |3297 |6375 |3297 |3580 |1507 | 49k|8475 | 2.800000e+01 | -- | Inf
1493.04/1493.37 c 1493s| 35800 | 6339 | 9474k| 264.1 | 129M| 53 | 531 |3297 |6410 |3297 |3580 |1507 | 49k|8493 | 2.800000e+01 | -- | Inf
1496.24/1496.56 c 1497s| 35900 | 6343 | 9497k| 264.0 | 129M| 53 | 641 |3297 |6410 |3297 |3580 |1507 | 49k|8503 | 2.800000e+01 | -- | Inf
1500.24/1500.55 c 1501s| 36000 | 6354 | 9523k| 264.0 | 129M| 53 | - |3297 |6358 |3297 |3580 |1507 | 49k|8547 | 2.800000e+01 | -- | Inf
1504.14/1504.49 c 1504s| 36100 | 6367 | 9546k| 263.9 | 130M| 53 | 589 |3297 |6374 |3297 |3580 |1507 | 49k|8582 | 2.800000e+01 | -- | Inf
1507.04/1507.30 c 1507s| 36200 | 6360 | 9571k| 263.8 | 130M| 53 | 625 |3297 |6328 |3297 |3580 |1507 | 49k|8595 | 2.800000e+01 | -- | Inf
1509.84/1510.19 c 1510s| 36300 | 6382 | 9588k| 263.6 | 130M| 53 | - |3297 |6382 |3297 |3580 |1507 | 50k|8618 | 2.800000e+01 | -- | Inf
1512.14/1512.49 c 1512s| 36400 | 6388 | 9606k| 263.4 | 130M| 53 | 671 |3297 |6402 |3297 |3580 |1507 | 50k|8624 | 2.800000e+01 | -- | Inf
1517.33/1517.69 c 1518s| 36500 | 6414 | 9640k| 263.6 | 130M| 53 | 462 |3297 |6456 |3297 |3580 |1507 | 50k|8647 | 2.800000e+01 | -- | Inf
1522.14/1522.43 c 1522s| 36600 | 6417 | 9656k| 263.3 | 131M| 53 | - |3297 |6469 | 0 | 0 |1507 | 50k|8698 | 2.800000e+01 | -- | Inf
1524.35/1524.66 c 1525s| 36700 | 6436 | 9680k| 263.2 | 131M| 53 | 542 |3297 |6523 |3297 |3580 |1507 | 50k|8698 | 2.800000e+01 | -- | Inf
1526.34/1526.65 c 1527s| 36800 | 6442 | 9700k| 263.0 | 131M| 53 | 556 |3297 |6588 |3297 |3580 |1507 | 50k|8698 | 2.800000e+01 | -- | Inf
1530.04/1530.38 c 1530s| 36900 | 6458 | 9728k| 263.1 | 132M| 53 | - |3297 |6601 | 0 | 0 |1507 | 50k|8733 | 2.800000e+01 | -- | Inf
1532.74/1533.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1532.74/1533.06 c 1533s| 37000 | 6453 | 9745k| 262.9 | 132M| 53 | 702 |3297 |6593 |3297 |3580 |1507 | 51k|8757 | 2.800000e+01 | -- | Inf
1535.94/1536.20 c 1536s| 37100 | 6470 | 9763k| 262.6 | 133M| 53 | 544 |3297 |6711 |3297 |3580 |1507 | 51k|8792 | 2.800000e+01 | -- | Inf
1539.13/1539.43 c 1539s| 37200 | 6475 | 9782k| 262.4 | 133M| 53 | - |3297 |6637 | 0 | 0 |1507 | 51k|8819 | 2.800000e+01 | -- | Inf
1540.64/1540.97 c 1541s| 37300 | 6467 | 9794k| 262.0 | 133M| 53 |1132 |3297 |6655 |3297 |3580 |1507 | 51k|8819 | 2.800000e+01 | -- | Inf
1544.73/1545.03 c 1545s| 37400 | 6476 | 9820k| 262.0 | 133M| 53 | 742 |3297 |6765 |3297 |3580 |1507 | 51k|8853 | 2.800000e+01 | -- | Inf
1548.43/1548.78 c 1549s| 37500 | 6477 | 9845k| 262.0 | 133M| 53 | 626 |3297 |6731 |3297 |3580 |1507 | 51k|8887 | 2.800000e+01 | -- | Inf
1552.34/1552.63 c 1553s| 37600 | 6458 | 9866k| 261.9 | 133M| 53 | 939 |3297 |6608 |3297 |3580 |1507 | 52k|8913 | 2.800000e+01 | -- | Inf
1555.84/1556.11 c 1556s| 37700 | 6451 | 9887k| 261.7 | 133M| 53 | 805 |3297 |6541 |3297 |3580 |1507 | 52k|8947 | 2.800000e+01 | -- | Inf
1557.73/1558.05 c 1558s| 37800 | 6455 | 9904k| 261.5 | 133M| 53 | 656 |3297 |6617 |3297 |3580 |1507 | 52k|8947 | 2.800000e+01 | -- | Inf
1561.03/1561.37 c 1561s| 37900 | 6477 | 9924k| 261.3 | 134M| 53 | 557 |3297 |6616 |3297 |3580 |1507 | 52k|8990 | 2.800000e+01 | -- | Inf
1563.43/1563.72 c 1564s| 38000 | 6451 | 9939k| 261.0 | 133M| 53 | 561 |3297 |6649 |3297 |3580 |1507 | 52k|9001 | 2.800000e+01 | -- | Inf
1566.23/1566.59 c 1567s| 38100 | 6450 | 9955k| 260.8 | 134M| 53 | - |3297 |6682 |3297 |3580 |1507 | 52k|9035 | 2.800000e+01 | -- | Inf
1571.13/1571.40 c 1571s| 38200 | 6461 | 9995k| 261.1 | 134M| 53 | - |3297 |6606 | 0 | 0 |1507 | 53k|9045 | 2.800000e+01 | -- | Inf
1574.13/1574.46 c 1574s| 38300 | 6474 | 10016k| 261.0 | 134M| 53 | 463 |3297 |6685 |3297 |3580 |1507 | 53k|9067 | 2.800000e+01 | -- | Inf
1577.93/1578.29 c 1578s| 38400 | 6461 | 10040k| 261.0 | 134M| 53 | - |3297 |6569 | 0 | 0 |1507 | 53k|9083 | 2.800000e+01 | -- | Inf
1581.63/1581.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1581.63/1581.92 c 1582s| 38500 | 6475 | 10064k| 260.9 | 134M| 53 | - |3297 |6551 | 0 | 0 |1507 | 53k|9107 | 2.800000e+01 | -- | Inf
1584.84/1585.14 c 1585s| 38600 | 6466 | 10080k| 260.6 | 134M| 53 | 621 |3297 |6541 |3297 |3580 |1507 | 53k|9132 | 2.800000e+01 | -- | Inf
1586.72/1587.05 c 1587s| 38700 | 6467 | 10102k| 260.5 | 134M| 53 | - |3297 |6601 | 0 | 0 |1507 | 53k|9132 | 2.800000e+01 | -- | Inf
1590.82/1591.12 c 1591s| 38800 | 6476 | 10129k| 260.5 | 134M| 53 | 879 |3297 |6541 |3297 |3580 |1507 | 54k|9154 | 2.800000e+01 | -- | Inf
1595.74/1596.08 c 1596s| 38900 | 6475 | 10149k| 260.4 | 134M| 53 | 771 |3297 |6509 |3297 |3580 |1507 | 54k|9203 | 2.800000e+01 | -- | Inf
1597.53/1597.82 c 1598s| 39000 | 6492 | 10167k| 260.2 | 134M| 53 | 514 |3297 |6553 |3297 |3580 |1507 | 54k|9203 | 2.800000e+01 | -- | Inf
1600.03/1600.30 c 1600s| 39100 | 6520 | 10189k| 260.1 | 134M| 53 | 496 |3297 |6600 |3297 |3580 |1507 | 54k|9213 | 2.800000e+01 | -- | Inf
1603.23/1603.59 c 1604s| 39200 | 6510 | 10212k| 260.0 | 134M| 53 | 551 |3297 |6610 |3297 |3580 |1507 | 54k|9242 | 2.800000e+01 | -- | Inf
1605.92/1606.28 c 1606s| 39300 | 6518 | 10229k| 259.8 | 135M| 53 | 508 |3297 |6714 |3297 |3580 |1507 | 54k|9274 | 2.800000e+01 | -- | Inf
1608.33/1608.65 c 1609s| 39400 | 6535 | 10245k| 259.5 | 135M| 53 | 558 |3297 |6742 |3297 |3580 |1507 | 54k|9294 | 2.800000e+01 | -- | Inf
1610.03/1610.36 c 1610s| 39500 | 6542 | 10252k| 259.1 | 135M| 53 | - |3297 |6769 |3297 |3580 |1507 | 55k|9308 | 2.800000e+01 | -- | Inf
1613.03/1613.34 c 1613s| 39600 | 6547 | 10269k| 258.8 | 135M| 53 | 572 |3297 |6768 |3297 |3580 |1507 | 55k|9335 | 2.800000e+01 | -- | Inf
1614.72/1615.00 c 1615s| 39700 | 6545 | 10286k| 258.6 | 136M| 53 | - |3297 |6842 | 0 | 0 |1507 | 55k|9335 | 2.800000e+01 | -- | Inf
1618.12/1618.49 c 1618s| 39800 | 6536 | 10305k| 258.4 | 135M| 53 | 626 |3297 |6835 |3297 |3580 |1507 | 55k|9381 | 2.800000e+01 | -- | Inf
1620.13/1620.44 c 1620s| 39900 | 6510 | 10325k| 258.3 | 135M| 53 | 593 |3297 |6790 |3297 |3580 |1507 | 55k|9381 | 2.800000e+01 | -- | Inf
1622.92/1623.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1622.92/1623.23 c 1623s| 40000 | 6483 | 10343k| 258.1 | 135M| 53 | 880 |3297 |6751 |3297 |3580 |1507 | 55k|9404 | 2.800000e+01 | -- | Inf
1626.63/1626.91 c 1627s| 40100 | 6487 | 10364k| 258.0 | 135M| 53 | 404 |3297 |6846 |3297 |3580 |1507 | 55k|9462 | 2.800000e+01 | -- | Inf
1630.22/1630.57 c 1631s| 40200 | 6483 | 10384k| 257.8 | 135M| 53 | 544 |3297 |6867 |3297 |3580 |1507 | 56k|9505 | 2.800000e+01 | -- | Inf
1632.92/1633.24 c 1633s| 40300 | 6479 | 10406k| 257.7 | 135M| 53 | 581 |3297 |6763 |3297 |3580 |1507 | 56k|9509 | 2.821739e+01 | -- | Inf
1636.02/1636.31 c 1636s| 40400 | 6488 | 10423k| 257.5 | 135M| 53 | - |3297 |6805 | 0 | 0 |1507 | 56k|9539 | 2.836153e+01 | -- | Inf
1639.73/1640.02 c 1640s| 40500 | 6507 | 10450k| 257.5 | 136M| 53 | 615 |3297 |6849 |3297 |3580 |1507 | 56k|9567 | 2.850000e+01 | -- | Inf
1644.02/1644.38 c 1644s| 40600 | 6508 | 10478k| 257.6 | 136M| 53 | 868 |3297 |6656 |3297 |3580 |1507 | 56k|9583 | 2.900000e+01 | -- | Inf
1647.72/1648.05 c 1648s| 40700 | 6531 | 10500k| 257.5 | 136M| 53 | 714 |3297 |6656 |3297 |3580 |1507 | 56k|9613 | 2.900000e+01 | -- | Inf
1650.82/1651.11 c 1651s| 40800 | 6535 | 10514k| 257.2 | 137M| 53 | 947 |3297 |6647 |3297 |3580 |1507 | 56k|9645 | 2.900000e+01 | -- | Inf
1660.12/1660.49 c 1660s| 40900 | 6547 | 10588k| 258.4 | 136M| 53 | - |3297 |6735 | 0 | 0 |1507 | 57k|9659 | 2.900000e+01 | -- | Inf
1663.61/1663.90 c 1664s| 41000 | 6553 | 10608k| 258.2 | 136M| 53 | 491 |3297 |6709 |3297 |3580 |1507 | 57k|9693 | 2.900000e+01 | -- | Inf
1666.51/1666.83 c 1667s| 41100 | 6564 | 10627k| 258.1 | 137M| 53 | 659 |3297 |6751 |3297 |3580 |1507 | 57k|9716 | 2.900000e+01 | -- | Inf
1669.91/1670.30 c 1670s| 41200 | 6568 | 10645k| 257.9 | 137M| 53 | - |3297 |6847 | 0 | 0 |1507 | 57k|9772 | 2.900000e+01 | -- | Inf
1673.52/1673.83 c 1674s| 41300 | 6564 | 10661k| 257.6 | 137M| 54 | 600 |3297 |6889 |3297 |3580 |1507 | 57k|9808 | 2.900000e+01 | -- | Inf
1675.42/1675.75 c 1676s| 41400 | 6573 | 10681k| 257.5 | 137M| 54 | 426 |3297 |6931 |3297 |3580 |1507 | 58k|9808 | 2.900000e+01 | -- | Inf
1677.91/1678.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1677.91/1678.22 c 1678s| 41500 | 6572 | 10703k| 257.4 | 137M| 54 | - |3297 |6990 | 0 | 0 |1507 | 58k|9822 | 2.900000e+01 | -- | Inf
1680.01/1680.35 c 1680s| 41600 | 6563 | 10715k| 257.1 | 137M| 54 | - |3297 |7028 | 0 | 0 |1507 | 58k|9839 | 2.900000e+01 | -- | Inf
1682.41/1682.73 c 1683s| 41700 | 6559 | 10730k| 256.8 | 136M| 54 | 806 |3297 |6959 |3297 |3580 |1507 | 58k|9853 | 2.900000e+01 | -- | Inf
1685.71/1686.05 c 1686s| 41800 | 6561 | 10747k| 256.6 | 137M| 54 | 466 |3297 |6990 |3297 |3580 |1507 | 58k|9880 | 2.900000e+01 | -- | Inf
1688.31/1688.68 c 1689s| 41900 | 6559 | 10771k| 256.6 | 137M| 54 | - |3297 |6985 |3297 |3580 |1507 | 58k|9885 | 2.900000e+01 | -- | Inf
1692.11/1692.46 c 1692s| 42000 | 6573 | 10795k| 256.6 | 137M| 54 | - |3297 |7010 | 0 | 0 |1507 | 58k|9917 | 2.900000e+01 | -- | Inf
1694.81/1695.15 c 1695s| 42100 | 6578 | 10811k| 256.3 | 137M| 54 | 648 |3297 |6944 |3297 |3580 |1507 | 59k|9941 | 2.900000e+01 | -- | Inf
1700.91/1701.21 c 1701s| 42200 | 6574 | 10841k| 256.4 | 136M| 54 | 689 |3297 |6768 |3297 |3580 |1507 | 59k|9999 | 2.900000e+01 | -- | Inf
1705.82/1706.18 c 1706s| 42300 | 6607 | 10869k| 256.5 | 137M| 54 | 711 |3297 |6754 |3297 |3580 |1507 | 59k| 10k| 2.900000e+01 | -- | Inf
1707.81/1708.16 c 1708s| 42400 | 6593 | 10887k| 256.3 | 137M| 54 | - |3297 |6789 | 0 | 0 |1507 | 59k| 10k| 2.900000e+01 | -- | Inf
1709.51/1709.89 c 1710s| 42500 | 6606 | 10904k| 256.1 | 137M| 54 | 683 |3297 |6743 |3297 |3580 |1507 | 59k| 10k| 2.900000e+01 | -- | Inf
1711.32/1711.64 c 1712s| 42600 | 6612 | 10922k| 255.9 | 137M| 54 | 423 |3297 |6797 |3297 |3580 |1507 | 59k| 10k| 2.900000e+01 | -- | Inf
1714.41/1714.74 c 1715s| 42700 | 6616 | 10942k| 255.8 | 137M| 54 | - |3297 |6870 | 0 | 0 |1507 | 59k| 10k| 2.900000e+01 | -- | Inf
1717.41/1717.78 c 1718s| 42800 | 6606 | 10963k| 255.7 | 137M| 54 | 598 |3297 |6801 |3297 |3580 |1507 | 60k| 10k| 2.900000e+01 | -- | Inf
1723.61/1723.93 c 1724s| 42900 | 6609 | 11007k| 256.1 | 137M| 54 | 623 |3297 |6979 |3297 |3580 |1507 | 60k| 10k| 2.900000e+01 | -- | Inf
1725.31/1725.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1725.31/1725.64 c 1726s| 43000 | 6615 | 11024k| 255.9 | 137M| 54 | 640 |3297 |6894 |3297 |3580 |1507 | 60k| 10k| 2.900000e+01 | -- | Inf
1729.61/1729.92 c 1730s| 43100 | 6635 | 11052k| 256.0 | 137M| 54 | 713 |3297 |6937 |3297 |3580 |1507 | 60k| 10k| 2.900000e+01 | -- | Inf
1732.81/1733.19 c 1733s| 43200 | 6651 | 11074k| 255.9 | 138M| 54 | 459 |3297 |6930 |3297 |3580 |1507 | 60k| 10k| 2.900000e+01 | -- | Inf
1736.10/1736.40 c 1736s| 43300 | 6666 | 11094k| 255.8 | 138M| 54 | - |3297 |6844 | 0 | 0 |1507 | 61k| 10k| 2.900000e+01 | -- | Inf
1737.90/1738.27 c 1738s| 43400 | 6672 | 11106k| 255.4 | 138M| 54 | 467 |3297 |6943 |3297 |3580 |1507 | 61k| 10k| 2.900000e+01 | -- | Inf
1746.70/1747.01 c 1747s| 43500 | 6660 | 11156k| 256.0 | 138M| 54 | 683 |3297 |6812 |3297 |3580 |1507 | 61k| 10k| 2.900000e+01 | -- | Inf
1751.01/1751.32 c 1751s| 43600 | 6683 | 11183k| 256.0 | 138M| 54 | 616 |3297 |6814 |3297 |3580 |1507 | 61k| 10k| 2.900000e+01 | -- | Inf
1756.20/1756.58 c 1757s| 43700 | 6708 | 11218k| 256.3 | 139M| 54 | - |3297 |6936 | 0 | 0 |1507 | 61k| 10k| 2.900000e+01 | -- | Inf
1760.60/1760.97 c 1761s| 43800 | 6723 | 11246k| 256.3 | 139M| 54 | 830 |3297 |6936 |3297 |3580 |1507 | 61k| 10k| 2.900000e+01 | -- | Inf
1762.80/1763.14 c 1763s| 43900 | 6739 | 11268k| 256.2 | 140M| 54 | 721 |3297 |6972 |3297 |3580 |1507 | 61k| 10k| 2.900000e+01 | -- | Inf
1766.51/1766.81 c 1767s| 44000 | 6736 | 11291k| 256.2 | 140M| 54 | 638 |3297 |6976 |3297 |3580 |1507 | 62k| 10k| 2.900000e+01 | -- | Inf
1769.90/1770.27 c 1770s| 44100 | 6728 | 11317k| 256.2 | 140M| 54 | 994 |3297 |7051 |3297 |3580 |1507 | 62k| 10k| 2.900000e+01 | -- | Inf
1772.00/1772.30 c 1772s| 44200 | 6762 | 11337k| 256.1 | 140M| 54 | 769 |3297 |7101 |3297 |3580 |1507 | 62k| 10k| 2.900000e+01 | -- | Inf
1774.10/1774.44 c 1774s| 44300 | 6764 | 11355k| 255.9 | 140M| 54 | - |3297 |7082 | 0 | 0 |1507 | 62k| 10k| 2.900000e+01 | -- | Inf
1775.99/1776.39 c 1776s| 44400 | 6764 | 11373k| 255.7 | 140M| 54 | - |3297 |7106 | 0 | 0 |1507 | 62k| 10k| 2.900000e+01 | -- | Inf
1778.90/1779.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1778.90/1779.26 c 1779s| 44500 | 6763 | 11394k| 255.6 | 141M| 54 | - |3297 |7132 |3297 |3580 |1507 | 62k| 10k| 2.900000e+01 | -- | Inf
1782.90/1783.20 c 1783s| 44600 | 6768 | 11428k| 255.8 | 141M| 54 | 603 |3297 |7109 |3297 |3580 |1507 | 62k| 10k| 2.900000e+01 | -- | Inf
1784.30/1784.65 c 1785s| 44700 | 6783 | 11442k| 255.5 | 141M| 54 | 513 |3297 |7204 |3297 |3580 |1507 | 63k| 10k| 2.900000e+01 | -- | Inf
1787.70/1788.05 c 1788s| 44800 | 6795 | 11464k| 255.4 | 142M| 54 | - |3297 |7227 | 0 | 0 |1507 | 63k| 10k| 2.900000e+01 | -- | Inf
1790.19/1790.50 c 1791s| 44900 | 6816 | 11483k| 255.3 | 142M| 54 | - |3297 |7165 | 0 | 0 |1507 | 63k| 10k| 2.900000e+01 | -- | Inf
1796.09/1796.45 c 1796s| 45000 | 6822 | 11516k| 255.5 | 142M| 54 | 754 |3297 |6980 |3297 |3580 |1507 | 63k| 10k| 2.900000e+01 | -- | Inf
1796.70/1797.00 c
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Solving Time (sec) : 1797.00
1796.70/1797.00 c Solving Nodes : 45038
1796.70/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.70/1797.00 c Dual Bound : +2.90000000000000e+01
1796.70/1797.00 c Gap : infinite
1796.70/1797.00 s UNKNOWN
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Total Time : 1797.00
1796.70/1797.00 c solving : 1797.00
1796.70/1797.00 c presolving : 0.16 (included in solving)
1796.70/1797.00 c reading : 0.09 (included in solving)
1796.70/1797.00 c copying : 0.05 (2 #copies) (minimal 0.03, maximal 0.03, average 0.03)
1796.70/1797.00 c Original Problem :
1796.70/1797.00 c Problem name : HOME/instance-3692160-1338033267.opb
1796.70/1797.00 c Variables : 3297 (3297 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 6383 initial, 6383 maximal
1796.70/1797.00 c Objective sense : minimize
1796.70/1797.00 c Presolved Problem :
1796.70/1797.00 c Problem name : t_HOME/instance-3692160-1338033267.opb
1796.70/1797.00 c Variables : 3297 (3297 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 3289 initial, 7262 maximal
1796.70/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c knapsack : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c linear : 0.12 0.03 0 0 0 0 0 3094 0 182 182
1796.70/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c root node : - - 0 - - 0 - - - - -
1796.70/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c integral : 0 0 0 0 30865 0 4 0 58 2568 0 0 60184
1796.70/1797.00 c knapsack : 195 195 19 210068 0 0 3 682782 2489 255381 2658 0 0
1796.70/1797.00 c linear : 3094+ 3610 20 207579 0 0 0 119249 10633 7559626 6 0 0
1796.70/1797.00 c logicor : 0+ 3958 19 118117 0 0 0 191225 1448 141801 8 0 0
1796.70/1797.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.00 c integral : 477.21 0.00 0.00 0.00 477.21 0.00 0.00 0.00
1796.70/1797.00 c knapsack : 15.44 0.00 0.05 14.57 0.00 0.00 0.00 0.82
1796.70/1797.00 c linear : 74.43 0.03 0.02 74.07 0.00 0.00 0.00 0.32
1796.70/1797.00 c logicor : 8.22 0.00 0.00 7.86 0.00 0.00 0.00 0.36
1796.70/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.00 c rootredcost : 0 0 0 0
1796.70/1797.00 c pseudoobj : 240832 0 0 0
1796.70/1797.00 c vbounds : 0 0 0 0
1796.70/1797.00 c redcost : 30888 0 0 5
1796.70/1797.00 c probing : 0 0 0 0
1796.70/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.00 c rootredcost : 0.21 0.00 0.00 0.21 0.00
1796.70/1797.00 c pseudoobj : 0.44 0.00 0.00 0.44 0.00
1796.70/1797.00 c vbounds : 0.20 0.00 0.00 0.20 0.00
1796.70/1797.00 c redcost : 1.66 0.00 0.00 1.66 0.00
1796.70/1797.00 c probing : 0.01 0.00 0.01 0.00 0.00
1796.70/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.00 c propagation : 2.38 14570 14504 120824 37.5 633 24.0 -
1796.70/1797.00 c infeasible LP : 4.71 10602 10602 47084 25.6 705 20.6 0
1796.70/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.00 c applied globally : - - - 63540 25.3 - - -
1796.70/1797.00 c applied locally : - - - 0 0.0 - - -
1796.70/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.00 c cut pool : 0.01 18 - - 3452 - (maximal pool size: 6658)
1796.70/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c impliedbounds : 0.00 0.00 19 0 0 41 0
1796.70/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c gomory : 0.37 0.00 10 0 0 59 0
1796.70/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c strongcg : 1.14 0.00 19 0 0 50 0
1796.70/1797.00 c cmir : 2.08 0.00 10 0 0 5000 0
1796.70/1797.00 c flowcover : 1.14 0.00 10 0 0 2000 0
1796.70/1797.00 c clique : 0.01 0.00 1 0 0 0 0
1796.70/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.70/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c rapidlearning : 8.88 0.00 1 0 0 0 516
1796.70/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.00 c problem variables: 0.00 - 0 0
1796.70/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c relpscost : 477.10 0.00 30865 58 2568 0 0 60184
1796.70/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c inference : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.00 c LP solutions : 0.00 - - 0
1796.70/1797.00 c pseudo solutions : 0.00 - - 0
1796.70/1797.00 c oneopt : 0.08 0.00 0 0
1796.70/1797.00 c crossover : 0.05 0.00 0 0
1796.70/1797.00 c guideddiving : 0.00 0.00 0 0
1796.70/1797.00 c objpscostdiving : 27.09 0.00 19 0
1796.70/1797.00 c coefdiving : 55.46 0.00 44 0
1796.70/1797.00 c fracdiving : 58.43 0.00 47 0
1796.70/1797.00 c rootsoldiving : 16.22 0.00 54 0
1796.70/1797.00 c pscostdiving : 49.38 0.00 157 0
1796.70/1797.00 c veclendiving : 32.89 0.00 183 0
1796.70/1797.00 c linesearchdiving : 40.20 0.00 184 0
1796.70/1797.00 c smallcard : 0.00 0.00 0 0
1796.70/1797.00 c trivial : 0.00 0.00 2 0
1796.70/1797.00 c shiftandpropagate: 0.23 0.00 1 0
1796.70/1797.00 c simplerounding : 0.03 0.00 0 0
1796.70/1797.00 c zirounding : 0.52 0.00 1000 0
1796.70/1797.00 c rounding : 1.54 0.00 2435 0
1796.70/1797.00 c shifting : 8.04 0.00 742 0
1796.70/1797.00 c intshifting : 0.00 0.00 0 0
1796.70/1797.00 c twoopt : 0.00 0.00 0 0
1796.70/1797.00 c indoneopt : 0.11 0.00 0 0
1796.70/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.00 c feaspump : 30.07 0.00 31 0
1796.70/1797.00 c clique : 0.00 0.00 0 0
1796.70/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.00 c indrounding : 0.00 0.00 0 0
1796.70/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.00 c intdiving : 0.00 0.00 0 0
1796.70/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.00 c octane : 0.00 0.00 0 0
1796.70/1797.00 c rens : 0.90 0.00 1 0
1796.70/1797.00 c rins : 0.00 0.00 0 0
1796.70/1797.00 c localbranching : 0.00 0.00 0 0
1796.70/1797.00 c mutation : 0.00 0.00 0 0
1796.70/1797.00 c dins : 0.00 0.00 0 0
1796.70/1797.00 c vbounds : 0.00 0.00 0 0
1796.70/1797.00 c undercover : 0.00 0.00 0 0
1796.70/1797.00 c subnlp : 0.05 0.00 0 0
1796.70/1797.00 c trysol : 0.08 0.00 0 0
1796.70/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.00 c primal LP : 0.04 3 0 0.00 0.00 0.04 3
1796.70/1797.00 c dual LP : 807.05 37331 8850751 238.56 10966.85 0.84 231
1796.70/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.00 c diving/probing LP: 282.98 15478 2669794 172.49 9434.54
1796.70/1797.00 c strong branching : 471.59 10602 3960740 373.58 8398.69
1796.70/1797.00 c (at root node) : - 28 17532 626.14 -
1796.70/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.00 c B&B Tree :
1796.70/1797.00 c number of runs : 1
1796.70/1797.00 c nodes : 45038
1796.70/1797.00 c nodes (total) : 45038
1796.70/1797.00 c nodes left : 6823
1796.70/1797.00 c max depth : 54
1796.70/1797.00 c max depth (total): 54
1796.70/1797.00 c backtracks : 10384 (23.1%)
1796.70/1797.00 c delayed cutoffs : 8324
1796.70/1797.00 c repropagations : 46668 (2740382 domain reductions, 4968 cutoffs)
1796.70/1797.00 c avg switch length: 8.04
1796.70/1797.00 c switching time : 52.30
1796.70/1797.00 c Solution :
1796.70/1797.00 c Solutions found : 0 (0 improvements)
1796.70/1797.00 c Primal Bound : -
1796.70/1797.00 c Dual Bound : +2.90000000000000e+01
1796.70/1797.00 c Gap : infinite
1796.70/1797.00 c Root Dual Bound : +1.40000000000000e+01
1796.70/1797.00 c Root Iterations : 20508
1796.80/1797.11 c Time complete: 1796.81.
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-3692160-1338033267/watcher-3692160-1338033267 -o /tmp/evaluation-result-3692160-1338033267/solver-3692160-1338033267 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692160-1338033267.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 2024
/proc/meminfo: memFree=27169888/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=12032 CPUtime=0 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 1840 0 0 0 0 0 0 0 20 0 1 0 269451768 12320768 1795 33554432000 4194304 10219143 140736834565376 140733531700744 8891101 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2024/statm: 3008 1804 398 1471 0 1528 0
[startup+0.0430131 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 2024
/proc/meminfo: memFree=27169888/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=17496 CPUtime=0.03 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 3112 0 0 0 3 0 0 0 20 0 1 0 269451768 17915904 3066 33554432000 4194304 10219143 140736834565376 140736834430056 7123478 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2024/statm: 4374 3066 421 1471 0 2894 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17496
[startup+0.100241 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 2024
/proc/meminfo: memFree=27169888/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=30544 CPUtime=0.09 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 6357 0 0 0 8 1 0 0 20 0 1 0 269451768 31277056 6311 33554432000 4194304 10219143 140736834565376 140736834430056 5613934 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2024/statm: 7636 6311 474 1471 0 6156 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30544
[startup+0.300232 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 2024
/proc/meminfo: memFree=27169888/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=74724 CPUtime=0.29 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 17098 0 0 0 24 5 0 0 20 0 1 0 269451768 76517376 16795 33554432000 4194304 10219143 140736834565376 140736834430056 5085988 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2024/statm: 18681 16795 655 1471 0 17201 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 74724
[startup+0.700227 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 2024
/proc/meminfo: memFree=27169888/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=97736 CPUtime=0.68 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 24179 0 0 0 60 8 0 0 20 0 1 0 269451768 100081664 22455 33554432000 4194304 10219143 140736834565376 140736834561304 8077296 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2024/statm: 24434 22455 780 1471 0 22954 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 97736
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 2025
/proc/meminfo: memFree=27083444/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=97736 CPUtime=1.49 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 24226 0 0 0 140 9 0 0 20 0 1 0 269451768 100081664 22473 33554432000 4194304 10219143 140736834565376 140736834556584 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2024/statm: 24434 22473 780 1471 0 22954 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97736
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 2025
/proc/meminfo: memFree=27043772/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=138580 CPUtime=3.09 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 34217 0 0 0 288 21 0 0 20 0 1 0 269451768 141905920 32464 33554432000 4194304 10219143 140736834565376 140736834560312 4484764 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2024/statm: 34645 32464 815 1471 0 33165 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 138580
[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 2025
/proc/meminfo: memFree=27040672/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=140116 CPUtime=6.29 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 34620 0 0 0 603 26 0 0 20 0 1 0 269451768 143478784 32867 33554432000 4194304 10219143 140736834565376 140736834560312 4482119 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2024/statm: 35029 32867 815 1471 0 33549 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 140116
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 2025
/proc/meminfo: memFree=27029528/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=149368 CPUtime=12.69 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 37465 0 0 0 1227 42 0 0 20 0 1 0 269451768 152952832 35613 33554432000 4194304 10219143 140736834565376 140736834560760 5160940 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2024/statm: 37342 35613 835 1471 0 35862 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 149368
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 2025
/proc/meminfo: memFree=27028288/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=149416 CPUtime=25.49 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 47940 0 0 0 2490 59 0 0 20 0 1 0 269451768 153001984 35838 33554432000 4194304 10219143 140736834565376 140736834558728 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2024/statm: 37354 35838 848 1471 0 35874 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 149416
[startup+51.1003 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 2063
/proc/meminfo: memFree=27021876/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=149416 CPUtime=51.07 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 47948 0 0 0 5031 76 0 0 20 0 1 0 269451768 153001984 35950 33554432000 4194304 10219143 140736834565376 140736834557816 8077296 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 37354 35950 851 1471 0 35874 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 149416
[startup+102.306 s]
/proc/loadavg: 2.03 2.01 1.93 3/177 2063
/proc/meminfo: memFree=27020308/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=149416 CPUtime=102.27 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 47957 0 0 0 10089 138 0 0 20 0 1 0 269451768 153001984 36304 33554432000 4194304 10219143 140736834565376 140736834558680 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 37354 36304 851 1471 0 35874 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 149416
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 2063
/proc/meminfo: memFree=27019040/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=149416 CPUtime=162.26 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 47959 0 0 0 16011 215 0 0 20 0 1 0 269451768 153001984 36308 33554432000 4194304 10219143 140736834565376 140736834558312 8083892 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 37354 36308 851 1471 0 35874 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 149416
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 2063
/proc/meminfo: memFree=27016800/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=149416 CPUtime=222.25 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 47959 0 0 0 21920 305 0 0 20 0 1 0 269451768 153001984 36308 33554432000 4194304 10219143 140736834565376 140736834558552 8077296 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 37354 36308 851 1471 0 35874 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 149416
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 2064
/proc/meminfo: memFree=27012704/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=149416 CPUtime=282.24 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 47962 0 0 0 27842 382 0 0 20 0 1 0 269451768 153001984 36311 33554432000 4194304 10219143 140736834565376 140736834558360 8077296 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 37354 36311 851 1471 0 35874 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 149416
[startup+342.3 s]
/proc/loadavg: 2.06 2.02 1.94 3/178 2067
/proc/meminfo: memFree=27009344/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=149416 CPUtime=342.23 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 47963 0 0 0 33759 464 0 0 20 0 1 0 269451768 153001984 36312 33554432000 4194304 10219143 140736834565376 140736834558632 8077296 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 37354 36312 851 1471 0 35874 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 149416
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 2090
/proc/meminfo: memFree=27004972/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=149416 CPUtime=402.22 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 47966 0 0 0 39688 534 0 0 20 0 1 0 269451768 153001984 36315 33554432000 4194304 10219143 140736834565376 140736834558504 8056881 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 37354 36315 851 1471 0 35874 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 149416
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/177 2090
/proc/meminfo: memFree=26984468/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=155568 CPUtime=462.21 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 49461 0 0 0 45575 646 0 0 20 0 1 0 269451768 159301632 37806 33554432000 4194304 10219143 140736834565376 140736834561304 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 38892 37806 851 1471 0 37412 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 155568
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2090
/proc/meminfo: memFree=26974604/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=157464 CPUtime=522.21 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 66754 0 0 0 51471 750 0 0 20 0 1 0 269451768 161243136 38299 33554432000 4194304 10219143 140736834565376 140736834559016 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 39366 38299 851 1471 0 37886 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 157464
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2091
/proc/meminfo: memFree=26952532/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=170392 CPUtime=582.2 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 77456 0 0 0 57384 836 0 0 20 0 1 0 269451768 174481408 41531 33554432000 4194304 10219143 140736834565376 140736834558360 8077296 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 42598 41531 851 1471 0 41118 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 170392
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26805932/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=246036 CPUtime=1062.11 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 153229 0 0 0 104463 1748 0 0 20 0 1 0 269451768 251940864 60239 33554432000 4194304 10219143 140736834565376 140736834557896 7954738 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 61509 60239 851 1471 0 60029 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 246036
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 2095
/proc/meminfo: memFree=26789620/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=252456 CPUtime=1122.1 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 158719 0 0 0 110356 1854 0 0 20 0 1 0 269451768 258514944 61827 33554432000 4194304 10219143 140736834565376 140736834558680 7954870 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 63114 61827 851 1471 0 61634 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 252456
[startup+1182.3 s]
/proc/loadavg: 2.05 2.02 1.95 3/177 2096
/proc/meminfo: memFree=26765004/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=267352 CPUtime=1182.09 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 166294 0 0 0 116256 1953 0 0 20 0 1 0 269451768 273768448 65533 33554432000 4194304 10219143 140736834565376 140736834559016 9008087 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 66838 65533 851 1471 0 65358 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 267352
[startup+1242.3 s]
/proc/loadavg: 2.07 2.03 1.96 3/177 2096
/proc/meminfo: memFree=26745668/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=275172 CPUtime=1242.08 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 170481 0 0 0 122182 2026 0 0 20 0 1 0 269451768 281776128 67755 33554432000 4194304 10219143 140736834565376 140736834559016 5184620 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 68793 67755 851 1471 0 67313 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 275172
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/177 2096
/proc/meminfo: memFree=26731284/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=281124 CPUtime=1302.07 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 174936 0 0 0 128107 2100 0 0 20 0 1 0 269451768 287870976 69235 33554432000 4194304 10219143 140736834565376 140736834558920 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 70281 69235 851 1471 0 68801 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 281124
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/177 2096
/proc/meminfo: memFree=26713036/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=290488 CPUtime=1362.06 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 177154 0 0 0 134031 2175 0 0 20 0 1 0 269451768 297459712 71404 33554432000 4194304 10219143 140736834565376 140736834559208 8077311 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 72622 71404 851 1471 0 71142 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 290488
[startup+1422.31 s]
/proc/loadavg: 2.08 2.04 1.97 3/177 2096
/proc/meminfo: memFree=26695836/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=299580 CPUtime=1422.06 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 179586 0 0 0 139959 2247 0 0 20 0 1 0 269451768 306769920 73762 33554432000 4194304 10219143 140736834565376 140736834557096 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 74895 73762 851 1471 0 73415 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 299580
[startup+1482.3 s]
/proc/loadavg: 2.11 2.06 1.98 3/177 2097
/proc/meminfo: memFree=26678476/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=308464 CPUtime=1482.04 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 185462 0 0 0 145877 2327 0 0 20 0 1 0 269451768 315867136 75840 33554432000 4194304 10219143 140736834565376 140736834557896 8077296 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 77116 75840 851 1471 0 75636 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 308464
[startup+1542.3 s]
/proc/loadavg: 2.04 2.05 1.98 3/178 2100
/proc/meminfo: memFree=26669808/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=313960 CPUtime=1542.03 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 188568 0 0 0 151795 2408 0 0 20 0 1 0 269451768 321495040 77309 33554432000 4194304 10219143 140736834565376 140736834558360 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 78490 77309 851 1471 0 77010 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 313960
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/177 2100
/proc/meminfo: memFree=26654624/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=321288 CPUtime=1602.03 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 190625 0 0 0 157637 2566 0 0 20 0 1 0 269451768 328998912 79287 33554432000 4194304 10219143 140736834565376 140736834559016 7955727 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 80322 79287 851 1471 0 78842 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 321288
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 1.98 3/177 2100
/proc/meminfo: memFree=26638380/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=328796 CPUtime=1662.01 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 194625 0 0 0 163476 2725 0 0 20 0 1 0 269451768 336687104 81125 33554432000 4194304 10219143 140736834565376 140736834559016 4435852 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 82199 81125 851 1471 0 80719 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 328796
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 1.98 3/177 2100
/proc/meminfo: memFree=26630436/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=331028 CPUtime=1722 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 195222 0 0 0 169313 2887 0 0 20 0 1 0 269451768 338972672 81722 33554432000 4194304 10219143 140736834565376 140736834557816 8077296 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 82757 81722 851 1471 0 81277 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 331028
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 1.98 3/177 2101
/proc/meminfo: memFree=26619116/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=333680 CPUtime=1781.99 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 195893 0 0 0 175153 3046 0 0 20 0 1 0 269451768 341688320 82381 33554432000 4194304 10219143 140736834565376 140736834558024 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 83420 82381 851 1471 0 81940 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 333680
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.03 1.98 3/177 2101
/proc/meminfo: memFree=26618372/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=333680 CPUtime=1785.19 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 195893 0 0 0 175462 3057 0 0 20 0 1 0 269451768 341688320 82381 33554432000 4194304 10219143 140736834565376 140736834558728 7955960 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 83420 82381 851 1471 0 81940 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 333680
[startup+1791.91 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 2101
/proc/meminfo: memFree=26615768/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=335480 CPUtime=1791.6 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 196348 0 0 0 176084 3076 0 0 20 0 1 0 269451768 343531520 82836 33554432000 4194304 10219143 140736834565376 140736834557896 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 83870 82836 851 1471 0 82390 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 335480
[startup+1795.1 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 2101
/proc/meminfo: memFree=26614776/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=337288 CPUtime=1794.81 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 196793 0 0 0 176398 3083 0 0 20 0 1 0 269451768 345382912 83281 33554432000 4194304 10219143 140736834565376 140736834558552 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 84322 83281 851 1471 0 82842 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 337288
[startup+1795.9 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 2101
/proc/meminfo: memFree=26614776/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=337288 CPUtime=1795.6 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 196793 0 0 0 176475 3085 0 0 20 0 1 0 269451768 345382912 83281 33554432000 4194304 10219143 140736834565376 140736834558552 4482795 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 84322 83281 851 1471 0 82842 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 337288
[startup+1796.7 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 2101
/proc/meminfo: memFree=26614776/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=337288 CPUtime=1796.4 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 196793 0 0 0 176553 3087 0 0 20 0 1 0 269451768 345382912 83281 33554432000 4194304 10219143 140736834565376 140736834558360 4480634 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 84322 83281 851 1471 0 82842 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 337288
[startup+1797.1 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 2101
/proc/meminfo: memFree=26614776/32873844 swapFree=7108/7108
[pid=2024] ppid=2022 vsize=336232 CPUtime=1796.8 cores=0,2,4,6
/proc/2024/stat : 2024 (scip-2.1.1.4exp) R 2022 2024 659 0 -1 4202496 196795 0 0 0 176591 3089 0 0 20 0 1 0 269451768 344301568 83019 33554432000 4194304 10219143 140736834565376 140736834562040 5014247 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2024/statm: 84058 83019 853 1471 0 82578 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 336232
Child status: 0
Real time (s): 1797.12
CPU time (s): 1796.82
CPU user time (s): 1765.92
CPU system time (s): 30.8983
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 337288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1765.92
system time used= 30.8983
maximum resident set size= 333132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196797
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= 37
involuntary context switches= 2033
runsolver used 4.46032 second user time and 9.8615 second system time
The end