0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3690994-1338018959.opb>
0.01/0.07 c original problem has 3297 variables (3297 bin, 0 int, 0 impl, 0 cont) and 6383 constraints
0.01/0.07 c problem read in 0.07
0.09/0.14 c presolving:
0.18/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.18/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.18/0.25 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.18/0.27 c (0.3s) probing: 51/3297 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.18/0.27 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.18/0.28 c presolving (4 rounds):
0.18/0.28 c 0 deleted vars, 3094 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 182 changed sides, 182 changed coefficients
0.18/0.28 c 1092 implications, 0 cliques
0.18/0.28 c presolved problem has 3297 variables (3297 bin, 0 int, 0 impl, 0 cont) and 3289 constraints
0.18/0.28 c 195 constraints of type <knapsack>
0.18/0.28 c 3094 constraints of type <linear>
0.18/0.28 c transformed objective value is always integral (scale: 1)
0.18/0.28 c Presolving Time: 0.19
0.18/0.28 c - non default parameters ----------------------------------------------------------------------
0.18/0.28 c # SCIP version 2.1.1.4
0.18/0.28 c
0.18/0.28 c # maximal time in seconds to run
0.18/0.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.28 c limits/time = 1797
0.18/0.28 c
0.18/0.28 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.18/0.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.28 c limits/memory = 13950
0.18/0.28 c
0.18/0.28 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.18/0.28 c # [type: int, range: [1,2], default: 1]
0.18/0.28 c timing/clocktype = 2
0.18/0.28 c
0.18/0.28 c # belongs reading time to solving time?
0.18/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.18/0.28 c timing/reading = TRUE
0.18/0.28 c
0.18/0.28 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.18/0.28 c # [type: int, range: [-1,2147483647], default: -1]
0.18/0.28 c separating/rapidlearning/freq = 0
0.18/0.28 c
0.18/0.28 c -----------------------------------------------------------------------------------------------
0.18/0.28 c start solving
0.18/0.28 c
0.48/0.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.48/0.53 c 0.5s| 1 | 0 | 96 | - | 27M| 0 | 503 |3297 |3304 |3297 |3289 | 0 | 15 | 0 | 1.300000e+01 | -- | Inf
9.99/10.09 c 10.1s| 1 | 0 | 6095 | - | 30M| 0 | 537 |3297 |3820 |3297 |3426 | 137 | 15 | 0 | 1.300000e+01 | -- | Inf
10.29/10.35 c 10.4s| 1 | 0 | 6175 | - | 30M| 0 | 526 |3297 |3820 |3297 |3509 | 220 | 15 | 0 | 1.300000e+01 | -- | Inf
10.59/10.69 c 10.7s| 1 | 0 | 6392 | - | 31M| 0 | 546 |3297 |3820 |3297 |3637 | 348 | 15 | 0 | 1.300000e+01 | -- | Inf
11.09/11.15 c 11.2s| 1 | 0 | 6895 | - | 31M| 0 | 657 |3297 |3820 |3297 |3770 | 481 | 15 | 0 | 1.300170e+01 | -- | Inf
11.69/11.72 c 11.7s| 1 | 0 | 7526 | - | 32M| 0 | 665 |3297 |3820 |3297 |3911 | 622 | 15 | 0 | 1.300170e+01 | -- | Inf
12.28/12.30 c 12.3s| 1 | 0 | 7989 | - | 33M| 0 | 654 |3297 |3820 |3297 |4039 | 750 | 15 | 0 | 1.300170e+01 | -- | Inf
12.89/12.94 c 12.9s| 1 | 0 | 9290 | - | 33M| 0 | 672 |3297 |3820 |3297 |4170 | 881 | 15 | 0 | 1.301190e+01 | -- | Inf
13.49/13.57 c 13.6s| 1 | 0 | 9663 | - | 34M| 0 | 667 |3297 |3820 |3297 |4303 |1014 | 15 | 0 | 1.301408e+01 | -- | Inf
14.38/14.40 c 14.4s| 1 | 0 | 11199 | - | 35M| 0 | 694 |3297 |3820 |3297 |4433 |1144 | 15 | 0 | 1.301818e+01 | -- | Inf
15.19/15.20 c 15.2s| 1 | 0 | 12257 | - | 35M| 0 | 698 |3297 |3820 |3297 |4554 |1265 | 15 | 0 | 1.301818e+01 | -- | Inf
15.59/15.61 c 15.6s| 1 | 0 | 13256 | - | 35M| 0 | 686 |3297 |3820 |3297 |4597 |1308 | 15 | 0 | 1.316667e+01 | -- | Inf
15.98/16.02 c 16.0s| 1 | 0 | 14246 | - | 35M| 0 | 672 |3297 |3820 |3297 |4467 |1333 | 15 | 0 | 1.318182e+01 | -- | Inf
16.29/16.39 c 16.4s| 1 | 0 | 15109 | - | 35M| 0 | 668 |3297 |3820 |3297 |4487 |1353 | 15 | 0 | 1.318182e+01 | -- | Inf
16.69/16.71 c 16.7s| 1 | 0 | 15963 | - | 35M| 0 | 601 |3297 |3820 |3297 |4524 |1390 | 15 | 0 | 1.400000e+01 | -- | Inf
16.98/17.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.98/17.00 c 17.0s| 1 | 0 | 16637 | - | 35M| 0 | 593 |3297 |3820 |3297 |4545 |1411 | 15 | 0 | 1.400000e+01 | -- | Inf
17.29/17.35 c 17.4s| 1 | 0 | 17559 | - | 35M| 0 | 599 |3297 |3820 |3297 |4574 |1440 | 15 | 0 | 1.400000e+01 | -- | Inf
17.59/17.68 c 17.7s| 1 | 0 | 18411 | - | 35M| 0 | 594 |3297 |3820 |3297 |4595 |1461 | 15 | 0 | 1.400000e+01 | -- | Inf
17.98/18.06 c 18.1s| 1 | 0 | 20144 | - | 35M| 0 | 588 |3297 |3820 |3297 |3908 |1490 | 15 | 0 | 1.400000e+01 | -- | Inf
18.18/18.24 c 18.2s| 1 | 0 | 20508 | - | 35M| 0 | 668 |3297 |3820 |3297 |3925 |1507 | 15 | 0 | 1.400000e+01 | -- | Inf
23.59/23.64 c 23.6s| 1 | 2 | 20508 | - | 35M| 0 | 668 |3297 |3820 |3297 |3925 |1507 | 15 | 28 | 1.400000e+01 | -- | Inf
73.27/73.38 c 73.4s| 100 | 99 |289452 |2716.6 | 36M| 17 | 756 |3297 |4066 |3297 |3580 |1507 | 261 | 260 | 1.500000e+01 | -- | Inf
103.66/103.71 c 104s| 200 | 193 |590721 |2865.4 | 36M| 23 | 831 |3297 |4147 |3297 |3580 |1507 | 342 | 323 | 1.500000e+01 | -- | Inf
114.36/114.45 c 114s| 300 | 279 |657223 |2129.5 | 37M| 23 | 659 |3297 |4208 |3297 |3580 |1507 | 403 | 347 | 1.500000e+01 | -- | Inf
127.46/127.51 c 128s| 400 | 359 |733830 |1787.8 | 37M| 23 | 766 |3297 |4251 |3297 |3580 |1507 | 446 | 386 | 1.500000e+01 | -- | Inf
142.55/142.65 c 143s| 500 | 413 |817072 |1596.3 | 37M| 24 | 601 |3297 |4313 |3297 |3580 |1507 | 508 | 412 | 1.500000e+01 | -- | Inf
149.66/149.74 c 150s| 600 | 471 |849645 |1384.2 | 37M| 24 | 627 |3297 |4363 |3297 |3580 |1507 | 558 | 444 | 1.500000e+01 | -- | Inf
156.16/156.24 c 156s| 700 | 524 |882988 |1233.9 | 38M| 28 | - |3297 |4418 |3297 |3580 |1507 | 613 | 456 | 1.500000e+01 | -- | Inf
160.65/160.70 c 161s| 800 | 586 |908428 |1111.3 | 38M| 28 | 686 |3297 |4479 |3297 |3580 |1507 | 674 | 478 | 1.500000e+01 | -- | Inf
163.86/163.93 c 164s| 900 | 608 |918805 | 999.2 | 38M| 28 | - |3297 |4554 |3297 |3580 |1507 | 749 | 510 | 1.600000e+01 | -- | Inf
167.35/167.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.35/167.40 c 167s| 1000 | 613 |931016 | 911.4 | 38M| 28 | - |3297 |4642 |3297 |3580 |1507 | 837 | 523 | 1.600000e+01 | -- | Inf
176.04/176.13 c 176s| 1100 | 637 |965565 | 859.9 | 38M| 28 | - |3297 |4738 |3297 |3580 |1507 | 938 | 587 | 1.600000e+01 | -- | Inf
178.94/179.04 c 179s| 1200 | 665 |982909 | 802.7 | 38M| 28 | 611 |3297 |4823 |3297 |3580 |1507 |1033 | 587 | 1.650000e+01 | -- | Inf
183.04/183.12 c 183s| 1300 | 692 | 1004k| 757.6 | 39M| 28 | 565 |3297 |4910 |3297 |3580 |1507 |1122 | 600 | 1.650000e+01 | -- | Inf
191.14/191.27 c 191s| 1400 | 737 | 1045k| 732.4 | 39M| 28 | - |3297 |4924 | 0 | 0 |1507 |1177 | 612 | 1.700000e+01 | -- | Inf
196.04/196.17 c 196s| 1500 | 773 | 1073k| 702.2 | 39M| 28 | 651 |3297 |4950 |3297 |3580 |1507 |1259 | 636 | 1.700000e+01 | -- | Inf
202.35/202.47 c 202s| 1600 | 818 | 1108k| 680.7 | 39M| 33 | 708 |3297 |4971 |3297 |3580 |1507 |1350 | 662 | 1.700000e+01 | -- | Inf
206.94/207.05 c 207s| 1700 | 871 | 1132k| 654.6 | 39M| 33 | 610 |3297 |4967 |3297 |3580 |1507 |1396 | 687 | 1.700000e+01 | -- | Inf
210.74/210.80 c 211s| 1800 | 908 | 1148k| 626.8 | 40M| 33 | 443 |3297 |4983 |3297 |3580 |1507 |1471 | 711 | 1.700000e+01 | -- | Inf
217.94/218.01 c 218s| 1900 | 962 | 1197k| 619.6 | 40M| 33 | 796 |3297 |4992 |3297 |3580 |1507 |1594 | 735 | 1.700000e+01 | -- | Inf
220.14/220.24 c 220s| 2000 | 995 | 1210k| 595.5 | 40M| 36 | 812 |3297 |5034 |3297 |3580 |1507 |1673 | 735 | 1.700000e+01 | -- | Inf
226.24/226.32 c 226s| 2100 | 1040 | 1243k| 582.4 | 40M| 36 | 749 |3297 |5095 |3297 |3580 |1507 |1750 | 773 | 1.800000e+01 | -- | Inf
232.63/232.77 c 233s| 2200 | 1086 | 1281k| 573.4 | 41M| 36 | 374 |3297 |5150 |3297 |3580 |1507 |1833 | 808 | 1.800000e+01 | -- | Inf
237.24/237.34 c 237s| 2300 | 1120 | 1303k| 558.1 | 41M| 36 | 514 |3297 |5193 |3297 |3580 |1507 |1921 | 842 | 1.800000e+01 | -- | Inf
240.24/240.38 c 240s| 2400 | 1141 | 1323k| 543.0 | 41M| 36 | 566 |3297 |5241 |3297 |3580 |1507 |2025 | 855 | 1.800000e+01 | -- | Inf
246.73/246.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
246.73/246.80 c 247s| 2500 | 1180 | 1360k| 536.3 | 42M| 36 | 480 |3297 |5278 |3297 |3580 |1507 |2129 | 892 | 1.800000e+01 | -- | Inf
252.85/252.98 c 253s| 2600 | 1212 | 1398k| 530.0 | 42M| 36 | - |3297 |5278 |3297 |3580 |1507 |2220 | 916 | 1.800000e+01 | -- | Inf
256.94/257.08 c 257s| 2700 | 1253 | 1419k| 518.4 | 42M| 36 | - |3297 |5280 |3297 |3580 |1507 |2297 | 947 | 1.814286e+01 | -- | Inf
262.13/262.26 c 262s| 2800 | 1271 | 1452k| 511.5 | 42M| 36 | - |3297 |5263 |3297 |3580 |1507 |2412 | 996 | 1.900000e+01 | -- | Inf
264.73/264.87 c 265s| 2900 | 1278 | 1464k| 497.9 | 42M| 36 | 503 |3297 |5314 |3297 |3580 |1507 |2548 |1015 | 1.900000e+01 | -- | Inf
275.54/275.60 c 276s| 3000 | 1317 | 1558k| 512.8 | 42M| 36 | - |3297 |5206 |3297 |3580 |1507 |2659 |1039 | 1.900000e+01 | -- | Inf
278.43/278.53 c 279s| 3100 | 1347 | 1575k| 501.7 | 43M| 36 | 550 |3297 |5155 |3297 |3580 |1507 |2729 |1051 | 1.900000e+01 | -- | Inf
282.64/282.73 c 283s| 3200 | 1382 | 1598k| 493.1 | 43M| 36 | 645 |3297 |5181 |3297 |3580 |1507 |2847 |1074 | 1.900000e+01 | -- | Inf
287.23/287.31 c 287s| 3300 | 1410 | 1621k| 485.2 | 43M| 36 | 767 |3297 |5155 |3297 |3580 |1507 |2933 |1103 | 1.900000e+01 | -- | Inf
290.43/290.51 c 291s| 3400 | 1443 | 1637k| 475.7 | 43M| 36 | 607 |3297 |5172 |3297 |3580 |1507 |3024 |1129 | 1.900000e+01 | -- | Inf
293.83/293.93 c 294s| 3500 | 1463 | 1655k| 467.3 | 43M| 36 | - |3297 |5152 |3297 |3580 |1507 |3129 |1141 | 1.900000e+01 | -- | Inf
299.33/299.47 c 299s| 3600 | 1481 | 1684k| 462.4 | 43M| 36 | - |3297 |5126 |3297 |3580 |1507 |3265 |1177 | 1.900000e+01 | -- | Inf
304.32/304.41 c 304s| 3700 | 1501 | 1700k| 454.3 | 43M| 36 | - |3297 |5128 | 0 | 0 |1507 |3402 |1226 | 2.000000e+01 | -- | Inf
308.73/308.86 c 309s| 3800 | 1522 | 1734k| 451.1 | 43M| 37 | 778 |3297 |5121 |3297 |3580 |1507 |3548 |1240 | 2.000000e+01 | -- | Inf
313.92/314.03 c 314s| 3900 | 1532 | 1763k| 447.0 | 44M| 37 | - |3297 |5118 | 0 | 0 |1507 |3647 |1265 | 2.000000e+01 | -- | Inf
318.42/318.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.42/318.50 c 319s| 4000 | 1549 | 1780k| 440.1 | 44M| 37 | - |3297 |5100 |3297 |3580 |1507 |3752 |1316 | 2.000000e+01 | -- | Inf
322.23/322.38 c 322s| 4100 | 1576 | 1802k| 434.8 | 44M| 37 | 678 |3297 |5085 |3297 |3580 |1507 |3857 |1338 | 2.000000e+01 | -- | Inf
325.53/325.62 c 326s| 4200 | 1634 | 1816k| 427.8 | 44M| 37 | 551 |3297 |5122 |3297 |3580 |1507 |3935 |1362 | 2.000000e+01 | -- | Inf
327.93/328.03 c 328s| 4300 | 1646 | 1827k| 420.3 | 44M| 37 | 663 |3297 |5196 |3297 |3580 |1507 |4056 |1382 | 2.000000e+01 | -- | Inf
331.23/331.35 c 331s| 4400 | 1669 | 1844k| 414.6 | 44M| 37 | 760 |3297 |5222 |3297 |3580 |1507 |4147 |1418 | 2.000000e+01 | -- | Inf
335.12/335.23 c 335s| 4500 | 1687 | 1861k| 409.2 | 45M| 37 | - |3297 |5271 |3297 |3580 |1507 |4261 |1463 | 2.000000e+01 | -- | Inf
339.02/339.11 c 339s| 4600 | 1712 | 1884k| 405.2 | 45M| 37 | - |3297 |5316 |3297 |3580 |1507 |4402 |1481 | 2.000000e+01 | -- | Inf
341.02/341.12 c 341s| 4700 | 1730 | 1892k| 398.4 | 45M| 37 | 514 |3297 |5320 |3297 |3580 |1507 |4501 |1493 | 2.000000e+01 | -- | Inf
344.43/344.55 c 345s| 4800 | 1742 | 1906k| 393.1 | 45M| 37 | 517 |3297 |5388 |3297 |3580 |1507 |4613 |1513 | 2.000000e+01 | -- | Inf
346.43/346.57 c 347s| 4900 | 1752 | 1920k| 387.8 | 45M| 37 | - |3297 |5371 |3297 |3580 |1507 |4711 |1513 | 2.000000e+01 | -- | Inf
350.62/350.79 c 351s| 5000 | 1806 | 1945k| 385.1 | 45M| 37 | 904 |3297 |5347 |3297 |3580 |1507 |4780 |1537 | 2.000000e+01 | -- | Inf
355.02/355.15 c 355s| 5100 | 1840 | 1968k| 382.0 | 46M| 37 | - |3297 |5417 |3297 |3580 |1507 |4899 |1567 | 2.000000e+01 | -- | Inf
361.41/361.50 c 362s| 5200 | 1895 | 2002k| 381.2 | 46M| 38 | 564 |3297 |5457 |3297 |3580 |1507 |5000 |1612 | 2.000000e+01 | -- | Inf
366.92/367.09 c 367s| 5300 | 1938 | 2034k| 380.1 | 46M| 41 | 983 |3297 |5472 |3297 |3580 |1507 |5104 |1640 | 2.000000e+01 | -- | Inf
373.42/373.58 c 374s| 5400 | 1984 | 2071k| 379.9 | 47M| 41 | 948 |3297 |5471 |3297 |3580 |1507 |5211 |1692 | 2.000000e+01 | -- | Inf
382.91/383.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
382.91/383.08 c 383s| 5500 | 2026 | 2136k| 384.7 | 47M| 41 | 600 |3297 |5415 |3297 |3580 |1507 |5297 |1726 | 2.000000e+01 | -- | Inf
388.42/388.58 c 389s| 5600 | 2069 | 2166k| 383.3 | 47M| 41 | - |3297 |5365 |3297 |3580 |1507 |5359 |1770 | 2.000000e+01 | -- | Inf
393.52/393.67 c 394s| 5700 | 2092 | 2190k| 380.7 | 47M| 41 | 540 |3297 |5368 |3297 |3580 |1507 |5498 |1825 | 2.000000e+01 | -- | Inf
396.01/396.16 c 396s| 5800 | 2107 | 2199k| 375.8 | 47M| 41 | - |3297 |5398 |3297 |3580 |1507 |5596 |1856 | 2.000000e+01 | -- | Inf
401.01/401.10 c 401s| 5900 | 2119 | 2224k| 373.6 | 48M| 41 | 842 |3297 |5367 |3297 |3580 |1507 |5732 |1894 | 2.000000e+01 | -- | Inf
406.31/406.43 c 406s| 6000 | 2148 | 2261k| 373.5 | 48M| 41 | 654 |3297 |5288 |3297 |3580 |1507 |5855 |1905 | 2.000000e+01 | -- | Inf
408.41/408.52 c 409s| 6100 | 2171 | 2273k| 369.5 | 48M| 41 | - |3297 |5289 | 0 | 0 |1507 |5966 |1910 | 2.000000e+01 | -- | Inf
413.31/413.48 c 413s| 6200 | 2206 | 2299k| 367.7 | 48M| 41 | - |3297 |5260 |3297 |3580 |1507 |6040 |1946 | 2.000000e+01 | -- | Inf
417.01/417.12 c 417s| 6300 | 2258 | 2316k| 364.5 | 48M| 41 | - |3297 |5286 |3297 |3580 |1507 |6099 |1969 | 2.000000e+01 | -- | Inf
419.21/419.37 c 419s| 6400 | 2301 | 2330k| 361.0 | 49M| 41 | 646 |3297 |5326 |3297 |3580 |1507 |6168 |1979 | 2.000000e+01 | -- | Inf
422.11/422.28 c 422s| 6500 | 2335 | 2343k| 357.5 | 49M| 41 | - |3297 |5396 |3297 |3580 |1507 |6271 |1997 | 2.000000e+01 | -- | Inf
425.41/425.53 c 426s| 6600 | 2372 | 2357k| 354.1 | 49M| 41 | 568 |3297 |5455 |3297 |3580 |1507 |6357 |2030 | 2.000000e+01 | -- | Inf
428.51/428.61 c 429s| 6700 | 2407 | 2370k| 350.9 | 49M| 41 | - |3297 |5523 |3297 |3580 |1507 |6454 |2052 | 2.000000e+01 | -- | Inf
432.51/432.68 c 433s| 6800 | 2440 | 2390k| 348.6 | 50M| 41 | 870 |3297 |5583 |3297 |3580 |1507 |6561 |2082 | 2.000000e+01 | -- | Inf
437.51/437.62 c 438s| 6900 | 2481 | 2420k| 347.9 | 50M| 41 | 890 |3297 |5612 |3297 |3580 |1507 |6663 |2119 | 2.000000e+01 | -- | Inf
441.11/441.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
441.11/441.27 c 441s| 7000 | 2493 | 2440k| 345.8 | 51M| 41 | - |3297 |5523 |3297 |3580 |1507 |6788 |2131 | 2.000000e+01 | -- | Inf
443.91/444.10 c 444s| 7100 | 2521 | 2461k| 343.8 | 51M| 41 | 609 |3297 |5545 |3297 |3580 |1507 |6936 |2139 | 2.000000e+01 | -- | Inf
450.31/450.45 c 450s| 7200 | 2546 | 2494k| 343.6 | 52M| 41 | 683 |3297 |5499 |3297 |3580 |1507 |7041 |2206 | 2.000000e+01 | -- | Inf
453.91/454.04 c 454s| 7300 | 2565 | 2513k| 341.6 | 52M| 41 | - |3297 |5413 |3297 |3580 |1507 |7141 |2225 | 2.000000e+01 | -- | Inf
458.10/458.21 c 458s| 7400 | 2621 | 2544k| 341.1 | 52M| 41 | 910 |3297 |5500 |3297 |3580 |1507 |7340 |2236 | 2.000000e+01 | -- | Inf
462.00/462.10 c 462s| 7500 | 2666 | 2569k| 340.0 | 52M| 41 | 924 |3297 |5531 |3297 |3580 |1507 |7450 |2263 | 2.000000e+01 | -- | Inf
465.50/465.64 c 466s| 7600 | 2709 | 2588k| 338.0 | 52M| 41 | 935 |3297 |5511 |3297 |3580 |1507 |7530 |2285 | 2.000000e+01 | -- | Inf
468.10/468.24 c 468s| 7700 | 2744 | 2603k| 335.5 | 53M| 41 | 814 |3297 |5487 |3297 |3580 |1507 |7611 |2295 | 2.000000e+01 | -- | Inf
473.20/473.30 c 473s| 7800 | 2775 | 2630k| 334.7 | 53M| 41 | 598 |3297 |5398 |3297 |3580 |1507 |7706 |2338 | 2.000000e+01 | -- | Inf
476.70/476.85 c 477s| 7900 | 2800 | 2655k| 333.6 | 53M| 41 | - |3297 |5453 |3297 |3580 |1507 |7839 |2359 | 2.000000e+01 | -- | Inf
479.30/479.47 c 479s| 8000 | 2817 | 2668k| 331.0 | 53M| 41 | 610 |3297 |5471 |3297 |3580 |1507 |7943 |2381 | 2.000000e+01 | -- | Inf
488.60/488.74 c 489s| 8100 | 2843 | 2739k| 335.7 | 54M| 41 | 847 |3297 |5485 |3297 |3580 |1507 |8132 |2415 | 2.000000e+01 | -- | Inf
491.40/491.58 c 492s| 8200 | 2872 | 2754k| 333.4 | 54M| 41 | - |3297 |5440 |3297 |3580 |1507 |8214 |2426 | 2.000000e+01 | -- | Inf
494.70/494.90 c 495s| 8300 | 2893 | 2772k| 331.6 | 54M| 41 | 638 |3297 |5373 |3297 |3580 |1507 |8302 |2437 | 2.000000e+01 | -- | Inf
499.10/499.28 c 499s| 8400 | 2941 | 2796k| 330.5 | 55M| 41 | 978 |3297 |5351 |3297 |3580 |1507 |8372 |2474 | 2.000000e+01 | -- | Inf
504.10/504.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
504.10/504.24 c 504s| 8500 | 2980 | 2825k| 330.1 | 55M| 41 |1155 |3297 |5372 |3297 |3580 |1507 |8491 |2502 | 2.000000e+01 | -- | Inf
508.80/508.92 c 509s| 8600 | 3013 | 2848k| 328.9 | 56M| 41 |1032 |3297 |5329 |3297 |3580 |1507 |8578 |2541 | 2.060000e+01 | -- | Inf
512.50/512.62 c 513s| 8700 | 3025 | 2873k| 328.0 | 56M| 41 | 957 |3297 |5353 |3297 |3580 |1507 |8717 |2552 | 2.060000e+01 | -- | Inf
516.80/516.94 c 517s| 8800 | 3048 | 2900k| 327.3 | 56M| 41 | 763 |3297 |5349 |3297 |3580 |1507 |8824 |2588 | 2.100000e+01 | -- | Inf
522.60/522.71 c 523s| 8900 | 3057 | 2930k| 327.0 | 56M| 41 | 556 |3297 |5317 |3297 |3580 |1507 |8945 |2615 | 2.100000e+01 | -- | Inf
526.90/527.08 c 527s| 9000 | 3081 | 2957k| 326.4 | 57M| 41 | 639 |3297 |5336 |3297 |3580 |1507 |9068 |2644 | 2.100000e+01 | -- | Inf
531.89/532.07 c 532s| 9100 | 3117 | 2987k| 326.1 | 57M| 41 | 628 |3297 |5305 |3297 |3580 |1507 |9166 |2680 | 2.100000e+01 | -- | Inf
536.49/536.67 c 537s| 9200 | 3135 | 3012k| 325.2 | 58M| 41 | 480 |3297 |5421 |3297 |3580 |1507 |9341 |2726 | 2.100000e+01 | -- | Inf
541.29/541.48 c 541s| 9300 | 3148 | 3039k| 324.7 | 58M| 41 | 889 |3297 |5399 |3297 |3580 |1507 |9448 |2763 | 2.100000e+01 | -- | Inf
546.59/546.72 c 547s| 9400 | 3193 | 3072k| 324.7 | 59M| 41 | - |3297 |5309 | 0 | 0 |1507 |9525 |2798 | 2.100000e+01 | -- | Inf
549.99/550.14 c 550s| 9500 | 3199 | 3090k| 323.2 | 59M| 41 | 952 |3297 |5318 |3297 |3580 |1507 |9661 |2826 | 2.100000e+01 | -- | Inf
553.39/553.50 c 554s| 9600 | 3219 | 3105k| 321.3 | 59M| 41 | 847 |3297 |5300 |3297 |3580 |1507 |9771 |2866 | 2.100000e+01 | -- | Inf
559.89/560.06 c 560s| 9700 | 3242 | 3147k| 322.4 | 60M| 41 | 869 |3297 |5329 |3297 |3580 |1507 |9931 |2899 | 2.100000e+01 | -- | Inf
564.89/565.04 c 565s| 9800 | 3289 | 3181k| 322.5 | 60M| 41 | 997 |3297 |5326 |3297 |3580 |1507 | 10k|2928 | 2.100000e+01 | -- | Inf
567.98/568.16 c 568s| 9900 | 3302 | 3195k| 320.7 | 61M| 41 | 649 |3297 |5342 |3297 |3580 |1507 | 10k|2956 | 2.100000e+01 | -- | Inf
572.39/572.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
572.39/572.52 c 573s| 10000 | 3334 | 3220k| 320.1 | 61M| 41 | 643 |3297 |5395 |3297 |3580 |1507 | 10k|2990 | 2.100000e+01 | -- | Inf
576.19/576.30 c 576s| 10100 | 3345 | 3242k| 319.0 | 62M| 41 | 313 |3297 |5339 |3297 |3580 |1507 | 10k|3001 | 2.100000e+01 | -- | Inf
583.09/583.21 c 583s| 10200 | 3367 | 3286k| 320.2 | 62M| 41 | 770 |3297 |5332 |3297 |3580 |1507 | 10k|3036 | 2.100000e+01 | -- | Inf
588.30/588.49 c 588s| 10300 | 3390 | 3319k| 320.4 | 62M| 41 | 923 |3297 |5319 |3297 |3580 |1507 | 10k|3063 | 2.100000e+01 | -- | Inf
594.68/594.87 c 595s| 10400 | 3432 | 3357k| 320.9 | 63M| 41 | - |3297 |5228 |3297 |3580 |1507 | 10k|3103 | 2.100000e+01 | -- | Inf
600.28/600.50 c 600s| 10500 | 3501 | 3399k| 321.8 | 63M| 41 | 814 |3297 |5188 |3297 |3580 |1507 | 10k|3131 | 2.100000e+01 | -- | Inf
604.59/604.70 c 605s| 10600 | 3564 | 3425k| 321.2 | 64M| 41 | 784 |3297 |5132 |3297 |3580 |1507 | 10k|3160 | 2.100000e+01 | -- | Inf
611.18/611.34 c 611s| 10700 | 3632 | 3471k| 322.5 | 64M| 41 | - |3297 |5079 | 0 | 0 |1507 | 10k|3189 | 2.100000e+01 | -- | Inf
617.68/617.86 c 618s| 10800 | 3681 | 3507k| 322.9 | 65M| 41 | - |3297 |5004 | 0 | 0 |1507 | 11k|3217 | 2.100000e+01 | -- | Inf
622.28/622.46 c 622s| 10900 | 3720 | 3539k| 322.9 | 65M| 41 | - |3297 |4998 |3297 |3580 |1507 | 11k|3236 | 2.100000e+01 | -- | Inf
626.38/626.53 c 627s| 11000 | 3736 | 3561k| 321.9 | 65M| 41 | 549 |3297 |5009 |3297 |3580 |1507 | 11k|3263 | 2.100000e+01 | -- | Inf
629.98/630.17 c 630s| 11100 | 3758 | 3578k| 320.6 | 66M| 41 | 473 |3297 |5014 |3297 |3580 |1507 | 11k|3306 | 2.100000e+01 | -- | Inf
636.79/636.95 c 637s| 11200 | 3803 | 3624k| 321.8 | 66M| 41 | 638 |3297 |5039 |3297 |3580 |1507 | 11k|3333 | 2.100000e+01 | -- | Inf
641.48/641.67 c 642s| 11300 | 3870 | 3656k| 321.8 | 66M| 41 | - |3297 |5022 |3297 |3580 |1507 | 11k|3354 | 2.100000e+01 | -- | Inf
647.57/647.78 c 648s| 11400 | 3880 | 3697k| 322.5 | 67M| 41 | 619 |3297 |4924 |3297 |3580 |1507 | 11k|3382 | 2.100000e+01 | -- | Inf
651.88/652.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
651.88/652.03 c 652s| 11500 | 3922 | 3722k| 321.9 | 67M| 41 | 374 |3297 |4984 |3297 |3580 |1507 | 11k|3423 | 2.100000e+01 | -- | Inf
657.58/657.78 c 658s| 11600 | 3952 | 3761k| 322.6 | 68M| 41 | - |3297 |5001 | 0 | 0 |1507 | 11k|3461 | 2.100000e+01 | -- | Inf
661.98/662.17 c 662s| 11700 | 3971 | 3786k| 321.9 | 68M| 41 | 664 |3297 |4989 |3297 |3580 |1507 | 11k|3496 | 2.100000e+01 | -- | Inf
666.57/666.76 c 667s| 11800 | 3973 | 3816k| 321.7 | 68M| 41 | - |3297 |4925 |3297 |3580 |1507 | 12k|3528 | 2.100000e+01 | -- | Inf
670.47/670.62 c 671s| 11900 | 4007 | 3836k| 320.7 | 69M| 41 | - |3297 |4926 | 0 | 0 |1507 | 12k|3566 | 2.100000e+01 | -- | Inf
676.07/676.21 c 676s| 12000 | 4028 | 3870k| 320.8 | 69M| 41 | - |3297 |4914 |3297 |3580 |1507 | 12k|3597 | 2.100000e+01 | -- | Inf
679.68/679.85 c 680s| 12100 | 4051 | 3888k| 319.7 | 69M| 41 | 647 |3297 |4951 |3297 |3580 |1507 | 12k|3624 | 2.100000e+01 | -- | Inf
682.17/682.35 c 682s| 12200 | 4048 | 3902k| 318.2 | 70M| 41 | 859 |3297 |5042 |3297 |3580 |1507 | 12k|3633 | 2.100000e+01 | -- | Inf
685.47/685.67 c 686s| 12300 | 4055 | 3918k| 316.9 | 70M| 41 | 650 |3297 |5053 |3297 |3580 |1507 | 12k|3651 | 2.166667e+01 | -- | Inf
690.57/690.79 c 691s| 12400 | 4086 | 3952k| 317.1 | 70M| 41 | - |3297 |4975 |3297 |3580 |1507 | 12k|3669 | 2.200000e+01 | -- | Inf
695.77/695.97 c 696s| 12500 | 4110 | 3984k| 317.1 | 71M| 41 | - |3297 |4974 |3297 |3580 |1507 | 12k|3688 | 2.200000e+01 | -- | Inf
701.37/701.53 c 702s| 12600 | 4138 | 4017k| 317.2 | 71M| 41 | - |3297 |5021 |3297 |3580 |1507 | 13k|3728 | 2.200000e+01 | -- | Inf
708.47/708.66 c 709s| 12700 | 4162 | 4064k| 318.5 | 71M| 41 | 694 |3297 |4993 |3297 |3580 |1507 | 13k|3755 | 2.200000e+01 | -- | Inf
712.47/712.66 c 713s| 12800 | 4183 | 4089k| 317.9 | 72M| 41 | - |3297 |4985 |3297 |3580 |1507 | 13k|3773 | 2.200000e+01 | -- | Inf
716.66/716.85 c 717s| 12900 | 4193 | 4115k| 317.5 | 72M| 41 | 579 |3297 |4998 |3297 |3580 |1507 | 13k|3791 | 2.200000e+01 | -- | Inf
721.16/721.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
721.16/721.32 c 721s| 13000 | 4200 | 4141k| 317.0 | 73M| 41 | 917 |3297 |4986 |3297 |3580 |1507 | 13k|3826 | 2.200000e+01 | -- | Inf
724.26/724.47 c 724s| 13100 | 4231 | 4158k| 315.9 | 73M| 41 | - |3297 |4980 | 0 | 0 |1507 | 13k|3844 | 2.200000e+01 | -- | Inf
728.87/729.03 c 729s| 13200 | 4247 | 4182k| 315.4 | 73M| 41 | - |3297 |4965 |3297 |3580 |1507 | 13k|3893 | 2.200000e+01 | -- | Inf
732.47/732.64 c 733s| 13300 | 4236 | 4206k| 314.8 | 74M| 41 | 432 |3297 |4967 |3297 |3580 |1507 | 13k|3916 | 2.200000e+01 | -- | Inf
742.37/742.58 c 743s| 13400 | 4266 | 4267k| 317.0 | 74M| 41 | 459 |3297 |5316 |3297 |3580 |1507 | 14k|3934 | 2.200000e+01 | -- | Inf
746.36/746.51 c 747s| 13500 | 4285 | 4291k| 316.4 | 74M| 41 | 760 |3297 |5289 |3297 |3580 |1507 | 14k|3961 | 2.200000e+01 | -- | Inf
751.66/751.83 c 752s| 13600 | 4335 | 4333k| 317.2 | 75M| 41 | - |3297 |5387 | 0 | 0 |1507 | 14k|4001 | 2.200000e+01 | -- | Inf
758.45/758.60 c 759s| 13700 | 4394 | 4389k| 318.9 | 76M| 41 | 604 |3297 |5537 |3297 |3580 |1507 | 14k|4037 | 2.200000e+01 | -- | Inf
762.65/762.82 c 763s| 13800 | 4407 | 4421k| 318.9 | 76M| 41 | 871 |3297 |5576 |3297 |3580 |1507 | 14k|4046 | 2.200000e+01 | -- | Inf
766.35/766.50 c 767s| 13900 | 4430 | 4439k| 317.9 | 77M| 41 | 686 |3297 |5490 |3297 |3580 |1507 | 15k|4074 | 2.200000e+01 | -- | Inf
770.46/770.66 c 771s| 14000 | 4460 | 4457k| 317.0 | 77M| 41 | 585 |3297 |5435 |3297 |3580 |1507 | 15k|4106 | 2.200000e+01 | -- | Inf
774.55/774.72 c 775s| 14100 | 4481 | 4478k| 316.2 | 78M| 41 | 461 |3297 |5468 |3297 |3580 |1507 | 15k|4124 | 2.200000e+01 | -- | Inf
778.05/778.20 c 778s| 14200 | 4503 | 4502k| 315.6 | 78M| 41 | 627 |3297 |5476 |3297 |3580 |1507 | 15k|4133 | 2.200000e+01 | -- | Inf
783.06/783.27 c 783s| 14300 | 4531 | 4534k| 315.7 | 78M| 41 | - |3297 |5466 | 0 | 0 |1507 | 15k|4159 | 2.200000e+01 | -- | Inf
787.75/787.96 c 788s| 14400 | 4560 | 4560k| 315.3 | 79M| 41 | 723 |3297 |5421 |3297 |3580 |1507 | 15k|4200 | 2.200000e+01 | -- | Inf
792.15/792.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
792.15/792.32 c 792s| 14500 | 4570 | 4587k| 315.0 | 79M| 41 | - |3297 |5371 |3297 |3580 |1507 | 15k|4225 | 2.200000e+01 | -- | Inf
796.45/796.65 c 797s| 14600 | 4584 | 4613k| 314.6 | 79M| 41 | - |3297 |5350 |3297 |3580 |1507 | 15k|4251 | 2.200000e+01 | -- | Inf
802.85/803.02 c 803s| 14700 | 4622 | 4656k| 315.4 | 79M| 41 | 585 |3297 |5396 |3297 |3580 |1507 | 15k|4285 | 2.200000e+01 | -- | Inf
807.65/807.89 c 808s| 14800 | 4634 | 4682k| 315.0 | 80M| 41 | 478 |3297 |5423 |3297 |3580 |1507 | 16k|4303 | 2.200000e+01 | -- | Inf
810.85/811.01 c 811s| 14900 | 4646 | 4700k| 314.1 | 80M| 41 | 842 |3297 |5402 |3297 |3580 |1507 | 16k|4320 | 2.200000e+01 | -- | Inf
816.94/817.15 c 817s| 15000 | 4698 | 4740k| 314.7 | 80M| 41 | - |3297 |5356 |3297 |3580 |1507 | 16k|4354 | 2.200000e+01 | -- | Inf
821.75/821.93 c 822s| 15100 | 4714 | 4770k| 314.6 | 81M| 41 | 662 |3297 |5410 |3297 |3580 |1507 | 16k|4379 | 2.200000e+01 | -- | Inf
824.86/825.06 c 825s| 15200 | 4725 | 4788k| 313.7 | 81M| 41 | 859 |3297 |5421 |3297 |3580 |1507 | 16k|4402 | 2.200000e+01 | -- | Inf
829.44/829.69 c 830s| 15300 | 4743 | 4813k| 313.3 | 81M| 41 | 765 |3297 |5464 |3297 |3580 |1507 | 16k|4446 | 2.200000e+01 | -- | Inf
832.64/832.87 c 833s| 15400 | 4758 | 4832k| 312.5 | 82M| 41 | - |3297 |5476 | 0 | 0 |1507 | 16k|4454 | 2.200000e+01 | -- | Inf
836.74/836.90 c 837s| 15500 | 4785 | 4856k| 312.0 | 82M| 41 | - |3297 |5475 |3297 |3580 |1507 | 16k|4495 | 2.233333e+01 | -- | Inf
842.24/842.48 c 842s| 15600 | 4804 | 4888k| 312.1 | 82M| 41 | 763 |3297 |5495 |3297 |3580 |1507 | 17k|4529 | 2.300000e+01 | -- | Inf
846.85/847.01 c 847s| 15700 | 4822 | 4912k| 311.6 | 82M| 41 | 962 |3297 |5383 |3297 |3580 |1507 | 17k|4562 | 2.300000e+01 | -- | Inf
850.25/850.41 c 850s| 15800 | 4831 | 4932k| 310.9 | 83M| 41 | - |3297 |5350 | 0 | 0 |1507 | 17k|4579 | 2.300000e+01 | -- | Inf
853.04/853.28 c 853s| 15900 | 4857 | 4947k| 309.9 | 83M| 41 | 627 |3297 |5375 |3297 |3580 |1507 | 17k|4604 | 2.300000e+01 | -- | Inf
855.74/855.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
855.74/855.97 c 856s| 16000 | 4876 | 4959k| 308.7 | 84M| 41 | 507 |3297 |5483 |3297 |3580 |1507 | 17k|4634 | 2.300000e+01 | -- | Inf
858.24/858.45 c 858s| 16100 | 4909 | 4970k| 307.5 | 85M| 41 | 724 |3297 |5596 |3297 |3580 |1507 | 17k|4658 | 2.300000e+01 | -- | Inf
861.34/861.56 c 862s| 16200 | 4916 | 4984k| 306.4 | 85M| 46 | 753 |3297 |5722 |3297 |3580 |1507 | 17k|4693 | 2.300000e+01 | -- | Inf
865.04/865.24 c 865s| 16300 | 4934 | 5006k| 305.9 | 86M| 46 | 634 |3297 |5768 |3297 |3580 |1507 | 18k|4717 | 2.300000e+01 | -- | Inf
867.44/867.63 c 868s| 16400 | 4923 | 5018k| 304.8 | 86M| 46 | 591 |3297 |5822 |3297 |3580 |1507 | 18k|4733 | 2.300000e+01 | -- | Inf
871.64/871.82 c 872s| 16500 | 4937 | 5041k| 304.3 | 86M| 46 | 449 |3297 |5854 |3297 |3580 |1507 | 18k|4766 | 2.300000e+01 | -- | Inf
874.74/874.94 c 875s| 16600 | 4960 | 5060k| 303.7 | 87M| 46 | 637 |3297 |5859 |3297 |3580 |1507 | 18k|4791 | 2.300000e+01 | -- | Inf
878.23/878.45 c 878s| 16700 | 4980 | 5080k| 303.0 | 87M| 46 | 743 |3297 |5804 |3297 |3580 |1507 | 18k|4816 | 2.300000e+01 | -- | Inf
881.74/881.98 c 882s| 16800 | 4987 | 5098k| 302.3 | 88M| 46 | 604 |3297 |5749 |3297 |3580 |1507 | 18k|4845 | 2.300000e+01 | -- | Inf
888.64/888.81 c 889s| 16900 | 5018 | 5146k| 303.3 | 88M| 46 | 983 |3297 |5732 |3297 |3580 |1507 | 19k|4870 | 2.300000e+01 | -- | Inf
892.53/892.79 c 893s| 17000 | 5056 | 5167k| 302.8 | 88M| 46 | 837 |3297 |5646 |3297 |3580 |1507 | 19k|4892 | 2.300000e+01 | -- | Inf
895.04/895.29 c 895s| 17100 | 5064 | 5179k| 301.7 | 88M| 46 | 636 |3297 |5746 |3297 |3580 |1507 | 19k|4917 | 2.300000e+01 | -- | Inf
899.44/899.69 c 900s| 17200 | 5082 | 5203k| 301.3 | 89M| 46 | 855 |3297 |5649 |3297 |3580 |1507 | 19k|4954 | 2.300000e+01 | -- | Inf
901.74/901.93 c 902s| 17300 | 5076 | 5216k| 300.4 | 89M| 46 | - |3297 |5705 | 0 | 0 |1507 | 19k|4962 | 2.300000e+01 | -- | Inf
904.43/904.60 c 905s| 17400 | 5073 | 5228k| 299.3 | 89M| 46 | - |3297 |5740 | 0 | 0 |1507 | 19k|4992 | 2.300000e+01 | -- | Inf
908.73/908.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
908.73/908.91 c 909s| 17500 | 5087 | 5254k| 299.1 | 90M| 46 | - |3297 |5729 |3297 |3580 |1507 | 19k|5021 | 2.300000e+01 | -- | Inf
913.13/913.38 c 913s| 17600 | 5101 | 5283k| 299.1 | 90M| 46 | 977 |3297 |5757 |3297 |3580 |1507 | 20k|5049 | 2.300000e+01 | -- | Inf
918.43/918.64 c 919s| 17700 | 5123 | 5315k| 299.1 | 91M| 46 | - |3297 |5774 | 0 | 0 |1507 | 20k|5092 | 2.300000e+01 | -- | Inf
922.83/923.07 c 923s| 17800 | 5120 | 5342k| 299.0 | 91M| 46 | 657 |3297 |5712 |3297 |3580 |1507 | 20k|5117 | 2.300000e+01 | -- | Inf
926.13/926.31 c 926s| 17900 | 5137 | 5362k| 298.5 | 91M| 46 | 887 |3297 |5722 |3297 |3580 |1507 | 20k|5134 | 2.300000e+01 | -- | Inf
929.93/930.18 c 930s| 18000 | 5182 | 5382k| 297.9 | 92M| 46 | - |3297 |5662 | 0 | 0 |1507 | 20k|5169 | 2.300000e+01 | -- | Inf
933.74/933.99 c 934s| 18100 | 5208 | 5402k| 297.4 | 92M| 46 | 504 |3297 |5697 |3297 |3580 |1507 | 20k|5195 | 2.300000e+01 | -- | Inf
938.62/938.86 c 939s| 18200 | 5217 | 5431k| 297.3 | 92M| 46 | - |3297 |5709 | 0 | 0 |1507 | 20k|5223 | 2.300000e+01 | -- | Inf
942.62/942.80 c 943s| 18300 | 5231 | 5458k| 297.2 | 93M| 46 | 856 |3297 |5667 |3297 |3580 |1507 | 21k|5241 | 2.300000e+01 | -- | Inf
946.23/946.41 c 946s| 18400 | 5232 | 5477k| 296.6 | 93M| 46 | - |3297 |5650 |3297 |3580 |1507 | 21k|5259 | 2.300000e+01 | -- | Inf
956.02/956.26 c 956s| 18500 | 5225 | 5535k| 298.1 | 93M| 46 | - |3297 |5608 |3297 |3580 |1507 | 21k|5284 | 2.300000e+01 | -- | Inf
962.23/962.42 c 962s| 18600 | 5262 | 5575k| 298.7 | 93M| 46 | 647 |3297 |5547 |3297 |3580 |1507 | 21k|5362 | 2.328571e+01 | -- | Inf
965.42/965.63 c 966s| 18700 | 5265 | 5593k| 298.0 | 93M| 46 | - |3297 |5657 | 0 | 0 |1507 | 21k|5399 | 2.357143e+01 | -- | Inf
971.13/971.34 c 971s| 18800 | 5274 | 5629k| 298.4 | 93M| 46 | - |3297 |5722 |3297 |3580 |1507 | 22k|5439 | 2.400000e+01 | -- | Inf
974.53/974.76 c 975s| 18900 | 5293 | 5649k| 297.9 | 94M| 46 | 683 |3297 |5826 |3297 |3580 |1507 | 22k|5466 | 2.400000e+01 | -- | Inf
978.72/978.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
978.72/978.96 c 979s| 19000 | 5293 | 5670k| 297.4 | 94M| 46 | - |3297 |5852 |3297 |3580 |1507 | 22k|5504 | 2.400000e+01 | -- | Inf
982.42/982.66 c 983s| 19100 | 5325 | 5695k| 297.2 | 94M| 53 | 737 |3297 |5911 |3297 |3580 |1507 | 22k|5530 | 2.400000e+01 | -- | Inf
985.33/985.58 c 986s| 19200 | 5338 | 5712k| 296.5 | 95M| 53 | - |3297 |5907 | 0 | 0 |1507 | 22k|5548 | 2.400000e+01 | -- | Inf
990.11/990.33 c 990s| 19300 | 5324 | 5741k| 296.4 | 95M| 53 | 590 |3297 |5937 |3297 |3580 |1507 | 22k|5612 | 2.400000e+01 | -- | Inf
992.32/992.52 c 993s| 19400 | 5356 | 5755k| 295.6 | 95M| 53 | 506 |3297 |5987 |3297 |3580 |1507 | 22k|5621 | 2.400000e+01 | -- | Inf
995.02/995.20 c 995s| 19500 | 5348 | 5771k| 294.9 | 95M| 53 | - |3297 |6085 |3297 |3580 |1507 | 23k|5645 | 2.400000e+01 | -- | Inf
999.91/1000.14 c 1000s| 19600 | 5357 | 5798k| 294.8 | 95M| 53 | 679 |3297 |6109 |3297 |3580 |1507 | 23k|5677 | 2.400000e+01 | -- | Inf
1003.92/1004.14 c 1004s| 19700 | 5365 | 5823k| 294.6 | 95M| 53 | 635 |3297 |6071 |3297 |3580 |1507 | 23k|5704 | 2.400000e+01 | -- | Inf
1006.61/1006.82 c 1007s| 19800 | 5378 | 5835k| 293.7 | 96M| 53 | 640 |3297 |6084 |3297 |3580 |1507 | 23k|5732 | 2.400000e+01 | -- | Inf
1009.62/1009.81 c 1010s| 19900 | 5373 | 5858k| 293.4 | 96M| 53 | 988 |3297 |6113 |3297 |3580 |1507 | 23k|5754 | 2.400000e+01 | -- | Inf
1015.12/1015.30 c 1015s| 20000 | 5393 | 5881k| 293.0 | 97M| 53 | - |3297 |6133 | 0 | 0 |1507 | 23k|5818 | 2.400000e+01 | -- | Inf
1018.62/1018.83 c 1019s| 20100 | 5398 | 5901k| 292.6 | 97M| 53 | 652 |3297 |6107 |3297 |3580 |1507 | 23k|5843 | 2.400000e+01 | -- | Inf
1021.72/1021.90 c 1022s| 20200 | 5390 | 5917k| 292.0 | 97M| 53 | 812 |3297 |6057 |3297 |3580 |1507 | 24k|5852 | 2.400000e+01 | -- | Inf
1025.61/1025.81 c 1026s| 20300 | 5402 | 5936k| 291.4 | 97M| 53 | 471 |3297 |6047 |3297 |3580 |1507 | 24k|5915 | 2.400000e+01 | -- | Inf
1028.01/1028.24 c 1028s| 20400 | 5402 | 5952k| 290.8 | 97M| 53 | 466 |3297 |6102 |3297 |3580 |1507 | 24k|5923 | 2.400000e+01 | -- | Inf
1031.51/1031.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1031.51/1031.74 c 1032s| 20500 | 5400 | 5974k| 290.5 | 98M| 53 | - |3297 |6155 |3297 |3580 |1507 | 24k|5960 | 2.400000e+01 | -- | Inf
1033.51/1033.79 c 1034s| 20600 | 5401 | 5986k| 289.6 | 98M| 53 | - |3297 |6191 | 0 | 0 |1507 | 24k|5969 | 2.400000e+01 | -- | Inf
1036.81/1037.02 c 1037s| 20700 | 5426 | 6003k| 289.0 | 98M| 53 | 739 |3297 |6256 |3297 |3580 |1507 | 24k|6015 | 2.400000e+01 | -- | Inf
1038.61/1038.87 c 1039s| 20800 | 5432 | 6017k| 288.3 | 98M| 53 | - |3297 |6258 |3297 |3580 |1507 | 25k|6015 | 2.400000e+01 | -- | Inf
1042.52/1042.75 c 1043s| 20900 | 5432 | 6034k| 287.8 | 99M| 53 | 922 |3297 |6283 |3297 |3580 |1507 | 25k|6055 | 2.400000e+01 | -- | Inf
1045.51/1045.78 c 1046s| 21000 | 5439 | 6052k| 287.2 | 99M| 53 | 568 |3297 |6264 |3297 |3580 |1507 | 25k|6079 | 2.400000e+01 | -- | Inf
1049.51/1049.75 c 1050s| 21100 | 5467 | 6074k| 286.9 | 100M| 53 | 641 |3297 |6104 |3297 |3580 |1507 | 25k|6118 | 2.400000e+01 | -- | Inf
1052.52/1052.78 c 1053s| 21200 | 5469 | 6099k| 286.7 | 100M| 53 | - |3297 |6123 |3297 |3580 |1507 | 25k|6122 | 2.400000e+01 | -- | Inf
1056.81/1057.08 c 1057s| 21300 | 5496 | 6127k| 286.7 | 100M| 53 | - |3297 |6037 | 0 | 0 |1507 | 25k|6152 | 2.400000e+01 | -- | Inf
1060.41/1060.60 c 1061s| 21400 | 5508 | 6143k| 286.2 | 100M| 53 | - |3297 |6030 | 0 | 0 |1507 | 25k|6186 | 2.400000e+01 | -- | Inf
1066.50/1066.77 c 1067s| 21500 | 5548 | 6176k| 286.3 | 101M| 53 | 621 |3297 |6022 |3297 |3580 |1507 | 26k|6230 | 2.400000e+01 | -- | Inf
1071.21/1071.41 c 1071s| 21600 | 5567 | 6212k| 286.7 | 101M| 53 | 680 |3297 |5961 |3297 |3580 |1507 | 26k|6245 | 2.400000e+01 | -- | Inf
1073.61/1073.80 c 1074s| 21700 | 5567 | 6224k| 285.9 | 101M| 53 | - |3297 |5994 |3297 |3580 |1507 | 26k|6254 | 2.400000e+01 | -- | Inf
1076.41/1076.60 c 1077s| 21800 | 5560 | 6242k| 285.4 | 101M| 53 | 544 |3297 |6070 |3297 |3580 |1507 | 26k|6262 | 2.400000e+01 | -- | Inf
1079.70/1079.94 c 1080s| 21900 | 5570 | 6265k| 285.2 | 101M| 53 | 642 |3297 |6020 |3297 |3580 |1507 | 26k|6276 | 2.400000e+01 | -- | Inf
1084.00/1084.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1084.00/1084.24 c 1084s| 22000 | 5575 | 6288k| 284.9 | 101M| 53 | 459 |3297 |6043 |3297 |3580 |1507 | 26k|6317 | 2.400000e+01 | -- | Inf
1086.51/1086.70 c 1087s| 22100 | 5589 | 6308k| 284.5 | 102M| 53 | 495 |3297 |6045 |3297 |3580 |1507 | 26k|6324 | 2.400000e+01 | -- | Inf
1089.40/1089.66 c 1090s| 22200 | 5609 | 6332k| 284.3 | 102M| 53 | 666 |3297 |6145 |3297 |3580 |1507 | 27k|6335 | 2.400000e+01 | -- | Inf
1091.30/1091.52 c 1092s| 22300 | 5610 | 6347k| 283.7 | 102M| 53 | 725 |3297 |6276 |3297 |3580 |1507 | 27k|6340 | 2.400000e+01 | -- | Inf
1095.31/1095.53 c 1096s| 22400 | 5628 | 6379k| 283.9 | 102M| 53 | - |3297 |6263 |3297 |3580 |1507 | 27k|6345 | 2.433333e+01 | -- | Inf
1097.30/1097.54 c 1098s| 22500 | 5613 | 6393k| 283.2 | 102M| 53 |1050 |3297 |6194 |3297 |3580 |1507 | 27k|6345 | 2.433333e+01 | -- | Inf
1101.91/1102.11 c 1102s| 22600 | 5632 | 6423k| 283.3 | 103M| 53 | - |3297 |6164 | 0 | 0 |1507 | 27k|6350 | 2.450000e+01 | -- | Inf
1107.90/1108.10 c 1108s| 22700 | 5629 | 6447k| 283.2 | 103M| 53 | - |3297 |6102 | 0 | 0 |1507 | 27k|6413 | 2.466667e+01 | -- | Inf
1111.30/1111.59 c 1112s| 22800 | 5623 | 6472k| 283.0 | 103M| 53 | 707 |3297 |6092 |3297 |3580 |1507 | 28k|6418 | 2.500000e+01 | -- | Inf
1114.50/1114.73 c 1115s| 22900 | 5621 | 6491k| 282.6 | 103M| 53 | - |3297 |6047 |3297 |3580 |1507 | 28k|6429 | 2.500000e+01 | -- | Inf
1115.70/1115.96 c 1116s| 23000 | 5634 | 6498k| 281.7 | 103M| 53 | - |3297 |6121 | 0 | 0 |1507 | 28k|6429 | 2.500000e+01 | -- | Inf
1117.50/1117.79 c 1118s| 23100 | 5631 | 6512k| 281.0 | 104M| 53 | - |3297 |6144 | 0 | 0 |1507 | 28k|6429 | 2.500000e+01 | -- | Inf
1119.60/1119.88 c 1120s| 23200 | 5621 | 6528k| 280.5 | 104M| 53 | - |3297 |6158 |3297 |3580 |1507 | 28k|6430 | 2.500000e+01 | -- | Inf
1123.20/1123.45 c 1123s| 23300 | 5630 | 6552k| 280.3 | 104M| 53 | 916 |3297 |5998 |3297 |3580 |1507 | 28k|6461 | 2.500000e+01 | -- | Inf
1125.39/1125.63 c 1126s| 23400 | 5646 | 6569k| 279.9 | 104M| 53 | - |3297 |6021 | 0 | 0 |1507 | 29k|6465 | 2.500000e+01 | -- | Inf
1128.30/1128.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1128.30/1128.54 c 1129s| 23500 | 5668 | 6595k| 279.8 | 104M| 53 | 924 |3297 |6097 |3297 |3580 |1507 | 29k|6470 | 2.500000e+01 | -- | Inf
1132.30/1132.58 c 1133s| 23600 | 5674 | 6623k| 279.8 | 104M| 53 | 582 |3297 |5996 |3297 |3580 |1507 | 29k|6495 | 2.500000e+01 | -- | Inf
1137.20/1137.44 c 1137s| 23700 | 5655 | 6638k| 279.2 | 104M| 53 | - |3297 |5922 | 0 | 0 |1507 | 29k|6563 | 2.500000e+01 | -- | Inf
1140.69/1140.92 c 1141s| 23800 | 5669 | 6664k| 279.2 | 104M| 53 | 917 |3297 |5886 |3297 |3580 |1507 | 29k|6573 | 2.500000e+01 | -- | Inf
1142.90/1143.18 c 1143s| 23900 | 5681 | 6681k| 278.7 | 104M| 53 | - |3297 |5835 | 0 | 0 |1507 | 29k|6575 | 2.500000e+01 | -- | Inf
1151.50/1151.77 c 1152s| 24000 | 5684 | 6751k| 280.5 | 105M| 53 | 399 |3297 |6140 |3297 |3580 |1507 | 30k|6575 | 2.500000e+01 | -- | Inf
1157.09/1157.32 c 1157s| 24100 | 5695 | 6776k| 280.3 | 105M| 53 | 860 |3297 |6214 |3297 |3580 |1507 | 30k|6655 | 2.500000e+01 | -- | Inf
1159.49/1159.79 c 1160s| 24200 | 5693 | 6794k| 279.9 | 105M| 53 | - |3297 |6263 |3297 |3580 |1507 | 30k|6667 | 2.500000e+01 | -- | Inf
1164.19/1164.45 c 1164s| 24300 | 5707 | 6817k| 279.7 | 106M| 53 | - |3297 |6275 | 0 | 0 |1507 | 30k|6700 | 2.500000e+01 | -- | Inf
1170.39/1170.62 c 1171s| 24400 | 5721 | 6849k| 279.9 | 106M| 53 | - |3297 |6205 |3297 |3580 |1507 | 30k|6751 | 2.500000e+01 | -- | Inf
1174.89/1175.14 c 1175s| 24500 | 5719 | 6881k| 280.1 | 106M| 53 | 563 |3297 |6016 |3297 |3580 |1507 | 31k|6768 | 2.500000e+01 | -- | Inf
1176.89/1177.14 c 1177s| 24600 | 5719 | 6897k| 279.6 | 106M| 53 | 660 |3297 |5986 |3297 |3580 |1507 | 31k|6768 | 2.500000e+01 | -- | Inf
1179.58/1179.88 c 1180s| 24700 | 5745 | 6922k| 279.5 | 106M| 53 | - |3297 |5945 |3297 |3580 |1507 | 31k|6770 | 2.500000e+01 | -- | Inf
1182.78/1183.07 c 1183s| 24800 | 5763 | 6951k| 279.5 | 107M| 53 | - |3297 |5938 | 0 | 0 |1507 | 31k|6770 | 2.500000e+01 | -- | Inf
1185.49/1185.73 c 1186s| 24900 | 5765 | 6975k| 279.3 | 107M| 53 | 579 |3297 |5918 |3297 |3580 |1507 | 31k|6770 | 2.500000e+01 | -- | Inf
1189.19/1189.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1189.19/1189.43 c 1189s| 25000 | 5784 | 7002k| 279.3 | 108M| 53 | - |3297 |5917 |3297 |3580 |1507 | 31k|6796 | 2.500000e+01 | -- | Inf
1192.39/1192.68 c 1193s| 25100 | 5783 | 7031k| 279.3 | 108M| 53 | 855 |3297 |5859 |3297 |3580 |1507 | 31k|6799 | 2.533333e+01 | -- | Inf
1195.28/1195.54 c 1196s| 25200 | 5783 | 7055k| 279.2 | 108M| 53 | 479 |3297 |5904 |3297 |3580 |1507 | 32k|6799 | 2.561290e+01 | -- | Inf
1198.09/1198.33 c 1198s| 25300 | 5812 | 7077k| 278.9 | 108M| 53 | 760 |3297 |5901 |3297 |3580 |1507 | 32k|6808 | 2.600000e+01 | -- | Inf
1200.48/1200.70 c 1201s| 25400 | 5813 | 7095k| 278.6 | 109M| 53 | - |3297 |5873 |3297 |3580 |1507 | 32k|6808 | 2.600000e+01 | -- | Inf
1203.88/1204.12 c 1204s| 25500 | 5815 | 7123k| 278.6 | 109M| 53 | - |3297 |5870 | 0 | 0 |1507 | 32k|6808 | 2.600000e+01 | -- | Inf
1205.58/1205.87 c 1206s| 25600 | 5815 | 7136k| 278.0 | 109M| 53 | - |3297 |5899 | 0 | 0 |1507 | 32k|6808 | 2.600000e+01 | -- | Inf
1207.68/1207.90 c 1208s| 25700 | 5820 | 7153k| 277.5 | 109M| 53 | - |3297 |5929 | 0 | 0 |1507 | 32k|6810 | 2.600000e+01 | -- | Inf
1209.79/1210.03 c 1210s| 25800 | 5806 | 7174k| 277.3 | 109M| 53 | - |3297 |6021 | 0 | 0 |1507 | 33k|6810 | 2.600000e+01 | -- | Inf
1211.89/1212.13 c 1212s| 25900 | 5820 | 7196k| 277.1 | 109M| 53 | 727 |3297 |6081 |3297 |3580 |1507 | 33k|6810 | 2.600000e+01 | -- | Inf
1213.68/1213.99 c 1214s| 26000 | 5826 | 7212k| 276.6 | 109M| 53 | - |3297 |6175 |3297 |3580 |1507 | 33k|6811 | 2.600000e+01 | -- | Inf
1215.88/1216.11 c 1216s| 26100 | 5806 | 7229k| 276.2 | 110M| 53 | 716 |3297 |6197 |3297 |3580 |1507 | 33k|6811 | 2.600000e+01 | -- | Inf
1218.78/1219.07 c 1219s| 26200 | 5804 | 7250k| 276.0 | 110M| 53 | 546 |3297 |6063 |3297 |3580 |1507 | 33k|6820 | 2.600000e+01 | -- | Inf
1221.38/1221.61 c 1222s| 26300 | 5816 | 7266k| 275.5 | 110M| 53 | 696 |3297 |6051 |3297 |3580 |1507 | 33k|6820 | 2.600000e+01 | -- | Inf
1224.18/1224.47 c 1224s| 26400 | 5826 | 7291k| 275.4 | 110M| 53 | 536 |3297 |6058 |3297 |3580 |1507 | 33k|6822 | 2.600000e+01 | -- | Inf
1227.88/1228.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1227.88/1228.16 c 1228s| 26500 | 5837 | 7326k| 275.7 | 110M| 53 | 632 |3297 |6051 |3297 |3580 |1507 | 34k|6824 | 2.600000e+01 | -- | Inf
1230.28/1230.59 c 1231s| 26600 | 5847 | 7347k| 275.5 | 111M| 53 | - |3297 |6108 | 0 | 0 |1507 | 34k|6824 | 2.600000e+01 | -- | Inf
1232.28/1232.50 c 1232s| 26700 | 5847 | 7363k| 275.0 | 111M| 53 | 615 |3297 |6154 |3297 |3580 |1507 | 34k|6824 | 2.600000e+01 | -- | Inf
1234.48/1234.72 c 1235s| 26800 | 5837 | 7381k| 274.7 | 111M| 53 | - |3297 |6090 | 0 | 0 |1507 | 34k|6826 | 2.600000e+01 | -- | Inf
1236.77/1237.01 c 1237s| 26900 | 5827 | 7398k| 274.3 | 111M| 53 | - |3297 |6037 | 0 | 0 |1507 | 34k|6827 | 2.600000e+01 | -- | Inf
1238.38/1238.66 c 1239s| 27000 | 5833 | 7411k| 273.7 | 111M| 53 | 849 |3297 |6144 |3297 |3580 |1507 | 34k|6827 | 2.600000e+01 | -- | Inf
1240.78/1241.01 c 1241s| 27100 | 5840 | 7430k| 273.5 | 111M| 53 | 705 |3297 |6161 |3297 |3580 |1507 | 34k|6827 | 2.600000e+01 | -- | Inf
1245.17/1245.47 c 1245s| 27200 | 5864 | 7471k| 273.9 | 111M| 53 | 592 |3297 |6122 |3297 |3580 |1507 | 35k|6827 | 2.600000e+01 | -- | Inf
1247.58/1247.87 c 1248s| 27300 | 5873 | 7490k| 273.6 | 112M| 53 | 722 |3297 |6121 |3297 |3580 |1507 | 35k|6827 | 2.600000e+01 | -- | Inf
1249.78/1250.07 c 1250s| 27400 | 5876 | 7509k| 273.3 | 112M| 53 | - |3297 |6125 | 0 | 0 |1507 | 35k|6827 | 2.600000e+01 | -- | Inf
1257.27/1257.50 c 1258s| 27500 | 5872 | 7561k| 274.2 | 112M| 53 | 515 |3297 |6526 |3297 |3580 |1507 | 36k|6828 | 2.600000e+01 | -- | Inf
1259.97/1260.25 c 1260s| 27600 | 5889 | 7588k| 274.2 | 113M| 53 | 683 |3297 |6541 |3297 |3580 |1507 | 36k|6829 | 2.609091e+01 | -- | Inf
1262.18/1262.42 c 1262s| 27700 | 5896 | 7605k| 273.8 | 113M| 53 | 407 |3297 |6519 |3297 |3580 |1507 | 36k|6831 | 2.614286e+01 | -- | Inf
1264.88/1265.16 c 1265s| 27800 | 5905 | 7628k| 273.7 | 113M| 53 | 772 |3297 |6551 |3297 |3580 |1507 | 36k|6832 | 2.633333e+01 | -- | Inf
1267.58/1267.90 c 1268s| 27900 | 5907 | 7646k| 273.4 | 113M| 53 | 861 |3297 |6580 |3297 |3580 |1507 | 36k|6852 | 2.640000e+01 | -- | Inf
1275.97/1276.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1275.97/1276.26 c 1276s| 28000 | 5917 | 7700k| 274.3 | 114M| 53 | - |3297 |6660 | 0 | 0 |1507 | 36k|6872 | 2.661290e+01 | -- | Inf
1282.98/1283.28 c 1283s| 28100 | 5946 | 7760k| 275.5 | 114M| 53 | 727 |3297 |6564 |3297 |3580 |1507 | 37k|6893 | 2.666667e+01 | -- | Inf
1286.07/1286.35 c 1286s| 28200 | 5958 | 7780k| 275.2 | 114M| 53 |1165 |3297 |6476 |3297 |3580 |1507 | 37k|6913 | 2.666667e+01 | -- | Inf
1291.87/1292.11 c 1292s| 28300 | 5976 | 7819k| 275.6 | 114M| 53 | - |3297 |6553 |3297 |3580 |1507 | 37k|6945 | 2.666667e+01 | -- | Inf
1294.86/1295.19 c 1295s| 28400 | 5974 | 7836k| 275.2 | 114M| 53 | 735 |3297 |6539 |3297 |3580 |1507 | 37k|6972 | 2.666667e+01 | -- | Inf
1297.67/1298.00 c 1298s| 28500 | 5995 | 7850k| 274.7 | 115M| 53 | 851 |3297 |6567 |3297 |3580 |1507 | 37k|7004 | 2.666667e+01 | -- | Inf
1301.26/1301.59 c 1302s| 28600 | 6012 | 7866k| 274.4 | 115M| 53 | - |3297 |6610 |3297 |3580 |1507 | 37k|7027 | 2.666667e+01 | -- | Inf
1303.77/1304.08 c 1304s| 28700 | 6035 | 7882k| 273.9 | 115M| 53 | - |3297 |6638 | 0 | 0 |1507 | 37k|7055 | 2.668837e+01 | -- | Inf
1306.67/1306.93 c 1307s| 28800 | 6049 | 7897k| 273.5 | 115M| 53 | 718 |3297 |6704 |3297 |3580 |1507 | 38k|7082 | 2.668837e+01 | -- | Inf
1311.36/1311.63 c 1312s| 28900 | 6070 | 7929k| 273.7 | 116M| 53 | - |3297 |6698 |3297 |3580 |1507 | 38k|7099 | 2.680000e+01 | -- | Inf
1315.77/1316.06 c 1316s| 29000 | 6068 | 7958k| 273.7 | 116M| 53 | - |3297 |6618 | 0 | 0 |1507 | 38k|7119 | 2.700000e+01 | -- | Inf
1319.78/1320.01 c 1320s| 29100 | 6082 | 7983k| 273.6 | 116M| 53 | - |3297 |6627 | 0 | 0 |1507 | 38k|7152 | 2.700000e+01 | -- | Inf
1324.07/1324.39 c 1324s| 29200 | 6084 | 8008k| 273.6 | 116M| 53 | 839 |3297 |6536 |3297 |3580 |1507 | 38k|7199 | 2.700000e+01 | -- | Inf
1327.87/1328.14 c 1328s| 29300 | 6099 | 8032k| 273.4 | 116M| 53 | 456 |3297 |6525 |3297 |3580 |1507 | 38k|7215 | 2.700000e+01 | -- | Inf
1330.36/1330.67 c 1331s| 29400 | 6113 | 8049k| 273.1 | 116M| 53 | 586 |3297 |6474 |3297 |3580 |1507 | 38k|7226 | 2.700000e+01 | -- | Inf
1334.87/1335.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1334.87/1335.17 c 1335s| 29500 | 6108 | 8078k| 273.2 | 116M| 53 | 629 |3297 |6513 |3297 |3580 |1507 | 39k|7263 | 2.700000e+01 | -- | Inf
1337.16/1337.50 c 1337s| 29600 | 6113 | 8093k| 272.7 | 117M| 53 | - |3297 |6526 | 0 | 0 |1507 | 39k|7280 | 2.700000e+01 | -- | Inf
1340.07/1340.38 c 1340s| 29700 | 6112 | 8111k| 272.4 | 117M| 53 | 532 |3297 |6553 |3297 |3580 |1507 | 39k|7296 | 2.700000e+01 | -- | Inf
1342.97/1343.23 c 1343s| 29800 | 6129 | 8130k| 272.1 | 117M| 53 | - |3297 |6610 | 0 | 0 |1507 | 39k|7310 | 2.700000e+01 | -- | Inf
1346.57/1346.86 c 1347s| 29900 | 6141 | 8153k| 272.0 | 117M| 53 | 491 |3297 |6577 |3297 |3580 |1507 | 39k|7340 | 2.700000e+01 | -- | Inf
1348.96/1349.26 c 1349s| 30000 | 6148 | 8172k| 271.7 | 117M| 53 | 456 |3297 |6683 |3297 |3580 |1507 | 39k|7355 | 2.700000e+01 | -- | Inf
1351.86/1352.14 c 1352s| 30100 | 6140 | 8193k| 271.5 | 117M| 53 | - |3297 |6659 | 0 | 0 |1507 | 40k|7373 | 2.700000e+01 | -- | Inf
1355.26/1355.59 c 1356s| 30200 | 6120 | 8211k| 271.2 | 118M| 53 | - |3297 |6589 | 0 | 0 |1507 | 40k|7400 | 2.700000e+01 | -- | Inf
1360.96/1361.22 c 1361s| 30300 | 6128 | 8233k| 271.1 | 118M| 53 | 605 |3297 |6464 |3297 |3580 |1507 | 40k|7452 | 2.700000e+01 | -- | Inf
1362.96/1363.21 c 1363s| 30400 | 6143 | 8252k| 270.8 | 118M| 53 | 594 |3297 |6437 |3297 |3580 |1507 | 40k|7452 | 2.700000e+01 | -- | Inf
1365.36/1365.60 c 1366s| 30500 | 6166 | 8276k| 270.7 | 118M| 53 | 673 |3297 |6463 |3297 |3580 |1507 | 40k|7452 | 2.700000e+01 | -- | Inf
1369.06/1369.32 c 1369s| 30600 | 6143 | 8301k| 270.6 | 118M| 53 |1095 |3297 |6387 |3297 |3580 |1507 | 40k|7481 | 2.700000e+01 | -- | Inf
1372.16/1372.43 c 1372s| 30700 | 6130 | 8315k| 270.2 | 118M| 53 | - |3297 |6362 | 0 | 0 |1507 | 41k|7516 | 2.700000e+01 | -- | Inf
1375.26/1375.52 c 1376s| 30800 | 6143 | 8336k| 270.0 | 118M| 53 | 529 |3297 |6345 |3297 |3580 |1507 | 41k|7533 | 2.700000e+01 | -- | Inf
1379.36/1379.67 c 1380s| 30900 | 6131 | 8355k| 269.8 | 118M| 53 | 636 |3297 |6319 |3297 |3580 |1507 | 41k|7567 | 2.700000e+01 | -- | Inf
1381.36/1381.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1381.36/1381.63 c 1382s| 31000 | 6139 | 8372k| 269.4 | 118M| 53 | 985 |3297 |6273 |3297 |3580 |1507 | 41k|7567 | 2.700000e+01 | -- | Inf
1384.06/1384.30 c 1384s| 31100 | 6147 | 8392k| 269.2 | 119M| 53 | 778 |3297 |6360 |3297 |3580 |1507 | 41k|7581 | 2.700000e+01 | -- | Inf
1385.66/1385.98 c 1386s| 31200 | 6152 | 8406k| 268.8 | 119M| 53 | - |3297 |6360 | 0 | 0 |1507 | 41k|7581 | 2.700000e+01 | -- | Inf
1389.35/1389.63 c 1390s| 31300 | 6166 | 8431k| 268.7 | 119M| 53 | - |3297 |6335 |3297 |3580 |1507 | 41k|7610 | 2.700000e+01 | -- | Inf
1398.45/1398.71 c 1399s| 31400 | 6169 | 8486k| 269.6 | 120M| 53 | 769 |3297 |6624 |3297 |3580 |1507 | 42k|7629 | 2.700000e+01 | -- | Inf
1400.94/1401.28 c 1401s| 31500 | 6161 | 8506k| 269.4 | 120M| 53 | - |3297 |6625 | 0 | 0 |1507 | 42k|7641 | 2.700000e+01 | -- | Inf
1406.25/1406.59 c 1407s| 31600 | 6172 | 8539k| 269.6 | 121M| 53 | - |3297 |6566 |3297 |3580 |1507 | 42k|7685 | 2.700000e+01 | -- | Inf
1409.55/1409.83 c 1410s| 31700 | 6189 | 8562k| 269.5 | 121M| 53 | 649 |3297 |6524 |3297 |3580 |1507 | 42k|7703 | 2.700000e+01 | -- | Inf
1413.35/1413.62 c 1414s| 31800 | 6202 | 8587k| 269.4 | 121M| 53 | - |3297 |6544 |3297 |3580 |1507 | 43k|7733 | 2.700000e+01 | -- | Inf
1416.35/1416.68 c 1417s| 31900 | 6222 | 8612k| 269.3 | 122M| 53 | 652 |3297 |6584 |3297 |3580 |1507 | 43k|7744 | 2.700000e+01 | -- | Inf
1419.94/1420.29 c 1420s| 32000 | 6216 | 8635k| 269.2 | 122M| 53 | 957 |3297 |6530 |3297 |3580 |1507 | 43k|7773 | 2.700000e+01 | -- | Inf
1422.34/1422.65 c 1423s| 32100 | 6204 | 8652k| 268.9 | 122M| 53 | 652 |3297 |6464 |3297 |3580 |1507 | 43k|7780 | 2.700000e+01 | -- | Inf
1427.14/1427.43 c 1427s| 32200 | 6212 | 8683k| 269.1 | 122M| 53 | 430 |3297 |6454 |3297 |3580 |1507 | 43k|7819 | 2.700000e+01 | -- | Inf
1430.35/1430.62 c 1431s| 32300 | 6209 | 8705k| 268.9 | 122M| 53 | - |3297 |6474 | 0 | 0 |1507 | 43k|7831 | 2.700000e+01 | -- | Inf
1433.74/1434.01 c 1434s| 32400 | 6243 | 8727k| 268.7 | 123M| 53 | - |3297 |6530 | 0 | 0 |1507 | 43k|7856 | 2.700000e+01 | -- | Inf
1437.25/1437.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1437.25/1437.59 c 1438s| 32500 | 6254 | 8750k| 268.6 | 123M| 53 | 769 |3297 |6590 |3297 |3580 |1507 | 44k|7887 | 2.700000e+01 | -- | Inf
1440.15/1440.41 c 1440s| 32600 | 6273 | 8771k| 268.5 | 123M| 53 | 582 |3297 |6614 |3297 |3580 |1507 | 44k|7902 | 2.700000e+01 | -- | Inf
1443.45/1443.78 c 1444s| 32700 | 6253 | 8795k| 268.4 | 123M| 53 | - |3297 |6510 |3297 |3580 |1507 | 44k|7934 | 2.700000e+01 | -- | Inf
1446.44/1446.79 c 1447s| 32800 | 6252 | 8813k| 268.1 | 124M| 53 | 541 |3297 |6431 |3297 |3580 |1507 | 44k|7956 | 2.700000e+01 | -- | Inf
1449.24/1449.57 c 1450s| 32900 | 6263 | 8831k| 267.8 | 124M| 53 | 634 |3297 |6435 |3297 |3580 |1507 | 44k|7966 | 2.700000e+01 | -- | Inf
1453.05/1453.30 c 1453s| 33000 | 6277 | 8857k| 267.8 | 124M| 53 | - |3297 |6402 | 0 | 0 |1507 | 44k|7986 | 2.700000e+01 | -- | Inf
1455.84/1456.13 c 1456s| 33100 | 6272 | 8875k| 267.5 | 125M| 53 | 686 |3297 |6381 |3297 |3580 |1507 | 45k|8006 | 2.700000e+01 | -- | Inf
1458.84/1459.15 c 1459s| 33200 | 6249 | 8899k| 267.5 | 124M| 53 | 607 |3297 |6302 |3297 |3580 |1507 | 45k|8020 | 2.700000e+01 | -- | Inf
1464.54/1464.81 c 1465s| 33300 | 6253 | 8937k| 267.8 | 124M| 53 | 730 |3297 |6379 |3297 |3580 |1507 | 45k|8041 | 2.700000e+01 | -- | Inf
1467.94/1468.21 c 1468s| 33400 | 6266 | 8961k| 267.7 | 125M| 53 | - |3297 |6318 |3297 |3580 |1507 | 45k|8050 | 2.700000e+01 | -- | Inf
1471.04/1471.38 c 1471s| 33500 | 6266 | 8981k| 267.5 | 125M| 53 | - |3297 |6283 |3297 |3580 |1507 | 45k|8074 | 2.700000e+01 | -- | Inf
1475.63/1475.96 c 1476s| 33600 | 6279 | 9010k| 267.6 | 125M| 53 | - |3297 |6295 | 0 | 0 |1507 | 45k|8108 | 2.700000e+01 | -- | Inf
1479.54/1479.85 c 1480s| 33700 | 6282 | 9032k| 267.4 | 125M| 53 | 404 |3297 |6358 |3297 |3580 |1507 | 46k|8140 | 2.700000e+01 | -- | Inf
1481.73/1482.01 c 1482s| 33800 | 6271 | 9051k| 267.2 | 125M| 53 | - |3297 |6395 |3297 |3580 |1507 | 46k|8140 | 2.700000e+01 | -- | Inf
1485.74/1486.09 c 1486s| 33900 | 6272 | 9076k| 267.1 | 126M| 53 | 500 |3297 |6409 |3297 |3580 |1507 | 46k|8157 | 2.700000e+01 | -- | Inf
1488.93/1489.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1488.93/1489.22 c 1489s| 34000 | 6285 | 9100k| 267.1 | 126M| 53 | - |3297 |6341 |3297 |3580 |1507 | 46k|8172 | 2.700000e+01 | -- | Inf
1491.74/1492.06 c 1492s| 34100 | 6295 | 9120k| 266.9 | 126M| 53 | 647 |3297 |6380 |3297 |3580 |1507 | 46k|8196 | 2.700000e+01 | -- | Inf
1494.84/1495.18 c 1495s| 34200 | 6297 | 9140k| 266.7 | 126M| 53 | - |3297 |6445 | 0 | 0 |1507 | 46k|8205 | 2.700000e+01 | -- | Inf
1498.23/1498.53 c 1499s| 34300 | 6318 | 9164k| 266.6 | 126M| 53 | 542 |3297 |6433 |3297 |3580 |1507 | 46k|8229 | 2.700000e+01 | -- | Inf
1501.93/1502.20 c 1502s| 34400 | 6319 | 9183k| 266.4 | 126M| 53 | - |3297 |6528 |3297 |3580 |1507 | 47k|8273 | 2.700000e+01 | -- | Inf
1503.83/1504.11 c 1504s| 34500 | 6326 | 9198k| 266.0 | 127M| 53 | 749 |3297 |6554 |3297 |3580 |1507 | 47k|8273 | 2.700000e+01 | -- | Inf
1506.43/1506.75 c 1507s| 34600 | 6350 | 9216k| 265.8 | 127M| 53 | - |3297 |6494 | 0 | 0 |1507 | 47k|8283 | 2.700000e+01 | -- | Inf
1511.43/1511.78 c 1512s| 34700 | 6354 | 9247k| 265.9 | 127M| 53 | 511 |3297 |6287 |3297 |3580 |1507 | 47k|8303 | 2.700000e+01 | -- | Inf
1515.23/1515.51 c 1516s| 34800 | 6361 | 9274k| 265.9 | 128M| 53 | 904 |3297 |6226 |3297 |3580 |1507 | 47k|8333 | 2.728519e+01 | -- | Inf
1519.63/1519.93 c 1520s| 34900 | 6378 | 9306k| 266.1 | 128M| 53 | - |3297 |6295 |3297 |3580 |1507 | 47k|8347 | 2.731579e+01 | -- | Inf
1522.53/1522.84 c 1523s| 35000 | 6368 | 9321k| 265.7 | 128M| 53 | 642 |3297 |6249 |3297 |3580 |1507 | 48k|8376 | 2.766667e+01 | -- | Inf
1525.93/1526.27 c 1526s| 35100 | 6359 | 9340k| 265.5 | 128M| 53 | - |3297 |6186 |3297 |3580 |1507 | 48k|8393 | 2.800000e+01 | -- | Inf
1527.64/1527.97 c 1528s| 35200 | 6357 | 9354k| 265.2 | 128M| 53 | 647 |3297 |6207 |3297 |3580 |1507 | 48k|8393 | 2.800000e+01 | -- | Inf
1530.84/1531.10 c 1531s| 35300 | 6362 | 9372k| 264.9 | 128M| 53 | - |3297 |6255 | 0 | 0 |1507 | 48k|8420 | 2.800000e+01 | -- | Inf
1535.13/1535.45 c 1535s| 35400 | 6362 | 9396k| 264.9 | 128M| 53 | 839 |3297 |6281 |3297 |3580 |1507 | 48k|8446 | 2.800000e+01 | -- | Inf
1536.82/1537.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1536.82/1537.15 c 1537s| 35500 | 6377 | 9411k| 264.5 | 128M| 53 | 533 |3297 |6316 |3297 |3580 |1507 | 48k|8446 | 2.800000e+01 | -- | Inf
1538.43/1538.79 c 1539s| 35600 | 6352 | 9422k| 264.1 | 128M| 53 | 916 |3297 |6315 |3297 |3580 |1507 | 48k|8446 | 2.800000e+01 | -- | Inf
1541.42/1541.74 c 1542s| 35700 | 6349 | 9439k| 263.8 | 128M| 53 | 521 |3297 |6375 |3297 |3580 |1507 | 49k|8475 | 2.800000e+01 | -- | Inf
1546.83/1547.12 c 1547s| 35800 | 6339 | 9474k| 264.1 | 128M| 53 | 531 |3297 |6410 |3297 |3580 |1507 | 49k|8493 | 2.800000e+01 | -- | Inf
1550.12/1550.49 c 1550s| 35900 | 6343 | 9497k| 264.0 | 128M| 53 | 641 |3297 |6410 |3297 |3580 |1507 | 49k|8503 | 2.800000e+01 | -- | Inf
1554.33/1554.65 c 1555s| 36000 | 6354 | 9523k| 264.0 | 128M| 53 | - |3297 |6358 |3297 |3580 |1507 | 49k|8547 | 2.800000e+01 | -- | Inf
1558.43/1558.75 c 1559s| 36100 | 6367 | 9546k| 263.9 | 129M| 53 | 589 |3297 |6374 |3297 |3580 |1507 | 49k|8582 | 2.800000e+01 | -- | Inf
1561.42/1561.74 c 1562s| 36200 | 6360 | 9571k| 263.8 | 129M| 53 | 625 |3297 |6328 |3297 |3580 |1507 | 49k|8595 | 2.800000e+01 | -- | Inf
1564.42/1564.75 c 1565s| 36300 | 6382 | 9588k| 263.6 | 129M| 53 | - |3297 |6382 |3297 |3580 |1507 | 50k|8618 | 2.800000e+01 | -- | Inf
1566.92/1567.20 c 1567s| 36400 | 6388 | 9606k| 263.4 | 129M| 53 | 671 |3297 |6402 |3297 |3580 |1507 | 50k|8624 | 2.800000e+01 | -- | Inf
1572.23/1572.57 c 1573s| 36500 | 6414 | 9640k| 263.6 | 130M| 53 | 462 |3297 |6456 |3297 |3580 |1507 | 50k|8647 | 2.800000e+01 | -- | Inf
1577.12/1577.47 c 1577s| 36600 | 6417 | 9656k| 263.3 | 130M| 53 | - |3297 |6469 | 0 | 0 |1507 | 50k|8698 | 2.800000e+01 | -- | Inf
1579.52/1579.82 c 1580s| 36700 | 6436 | 9680k| 263.2 | 130M| 53 | 542 |3297 |6523 |3297 |3580 |1507 | 50k|8698 | 2.800000e+01 | -- | Inf
1581.62/1581.93 c 1582s| 36800 | 6442 | 9700k| 263.0 | 130M| 53 | 556 |3297 |6588 |3297 |3580 |1507 | 50k|8698 | 2.800000e+01 | -- | Inf
1585.53/1585.83 c 1586s| 36900 | 6458 | 9728k| 263.1 | 131M| 53 | - |3297 |6601 | 0 | 0 |1507 | 50k|8733 | 2.800000e+01 | -- | Inf
1588.32/1588.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1588.32/1588.65 c 1589s| 37000 | 6453 | 9745k| 262.9 | 131M| 53 | 702 |3297 |6593 |3297 |3580 |1507 | 51k|8757 | 2.800000e+01 | -- | Inf
1591.52/1591.89 c 1592s| 37100 | 6470 | 9763k| 262.6 | 132M| 53 | 544 |3297 |6711 |3297 |3580 |1507 | 51k|8792 | 2.800000e+01 | -- | Inf
1594.92/1595.22 c 1595s| 37200 | 6475 | 9782k| 262.4 | 132M| 53 | - |3297 |6637 | 0 | 0 |1507 | 51k|8819 | 2.800000e+01 | -- | Inf
1596.52/1596.88 c 1597s| 37300 | 6467 | 9794k| 262.0 | 132M| 53 |1132 |3297 |6655 |3297 |3580 |1507 | 51k|8819 | 2.800000e+01 | -- | Inf
1600.81/1601.12 c 1601s| 37400 | 6476 | 9820k| 262.0 | 132M| 53 | 742 |3297 |6765 |3297 |3580 |1507 | 51k|8853 | 2.800000e+01 | -- | Inf
1604.62/1604.99 c 1605s| 37500 | 6477 | 9845k| 262.0 | 132M| 53 | 626 |3297 |6731 |3297 |3580 |1507 | 51k|8887 | 2.800000e+01 | -- | Inf
1608.62/1608.98 c 1609s| 37600 | 6458 | 9866k| 261.9 | 132M| 53 | 939 |3297 |6608 |3297 |3580 |1507 | 52k|8913 | 2.800000e+01 | -- | Inf
1612.22/1612.58 c 1613s| 37700 | 6451 | 9887k| 261.7 | 132M| 53 | 805 |3297 |6541 |3297 |3580 |1507 | 52k|8947 | 2.800000e+01 | -- | Inf
1614.32/1614.62 c 1615s| 37800 | 6455 | 9904k| 261.5 | 132M| 53 | 656 |3297 |6617 |3297 |3580 |1507 | 52k|8947 | 2.800000e+01 | -- | Inf
1617.73/1618.03 c 1618s| 37900 | 6477 | 9924k| 261.3 | 133M| 53 | 557 |3297 |6616 |3297 |3580 |1507 | 52k|8990 | 2.800000e+01 | -- | Inf
1620.12/1620.48 c 1620s| 38000 | 6451 | 9939k| 261.0 | 133M| 53 | 561 |3297 |6649 |3297 |3580 |1507 | 52k|9001 | 2.800000e+01 | -- | Inf
1623.11/1623.43 c 1623s| 38100 | 6450 | 9955k| 260.8 | 133M| 53 | - |3297 |6682 |3297 |3580 |1507 | 52k|9035 | 2.800000e+01 | -- | Inf
1628.12/1628.41 c 1628s| 38200 | 6461 | 9995k| 261.1 | 133M| 53 | - |3297 |6606 | 0 | 0 |1507 | 53k|9045 | 2.800000e+01 | -- | Inf
1631.22/1631.58 c 1632s| 38300 | 6474 | 10016k| 261.0 | 133M| 53 | 463 |3297 |6685 |3297 |3580 |1507 | 53k|9067 | 2.800000e+01 | -- | Inf
1635.22/1635.55 c 1636s| 38400 | 6461 | 10040k| 261.0 | 133M| 53 | - |3297 |6569 | 0 | 0 |1507 | 53k|9083 | 2.800000e+01 | -- | Inf
1638.91/1639.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1638.91/1639.29 c 1639s| 38500 | 6475 | 10064k| 260.9 | 134M| 53 | - |3297 |6551 | 0 | 0 |1507 | 53k|9107 | 2.800000e+01 | -- | Inf
1642.31/1642.63 c 1643s| 38600 | 6466 | 10080k| 260.6 | 133M| 53 | 621 |3297 |6541 |3297 |3580 |1507 | 53k|9132 | 2.800000e+01 | -- | Inf
1644.31/1644.63 c 1645s| 38700 | 6467 | 10102k| 260.5 | 133M| 53 | - |3297 |6601 | 0 | 0 |1507 | 53k|9132 | 2.800000e+01 | -- | Inf
1648.52/1648.86 c 1649s| 38800 | 6476 | 10129k| 260.5 | 133M| 53 | 879 |3297 |6541 |3297 |3580 |1507 | 54k|9154 | 2.800000e+01 | -- | Inf
1653.61/1653.91 c 1654s| 38900 | 6475 | 10149k| 260.4 | 133M| 53 | 771 |3297 |6509 |3297 |3580 |1507 | 54k|9203 | 2.800000e+01 | -- | Inf
1655.41/1655.74 c 1656s| 39000 | 6492 | 10167k| 260.2 | 133M| 53 | 514 |3297 |6553 |3297 |3580 |1507 | 54k|9203 | 2.800000e+01 | -- | Inf
1658.00/1658.30 c 1658s| 39100 | 6520 | 10189k| 260.1 | 133M| 53 | 496 |3297 |6600 |3297 |3580 |1507 | 54k|9213 | 2.800000e+01 | -- | Inf
1661.41/1661.71 c 1662s| 39200 | 6510 | 10212k| 260.0 | 134M| 53 | 551 |3297 |6610 |3297 |3580 |1507 | 54k|9242 | 2.800000e+01 | -- | Inf
1664.11/1664.49 c 1664s| 39300 | 6518 | 10229k| 259.8 | 134M| 53 | 508 |3297 |6714 |3297 |3580 |1507 | 54k|9274 | 2.800000e+01 | -- | Inf
1666.60/1666.94 c 1667s| 39400 | 6535 | 10245k| 259.5 | 134M| 53 | 558 |3297 |6742 |3297 |3580 |1507 | 54k|9294 | 2.800000e+01 | -- | Inf
1668.41/1668.72 c 1669s| 39500 | 6542 | 10252k| 259.1 | 134M| 53 | - |3297 |6769 |3297 |3580 |1507 | 55k|9308 | 2.800000e+01 | -- | Inf
1671.41/1671.78 c 1672s| 39600 | 6547 | 10269k| 258.8 | 135M| 53 | 572 |3297 |6768 |3297 |3580 |1507 | 55k|9335 | 2.800000e+01 | -- | Inf
1673.21/1673.52 c 1674s| 39700 | 6545 | 10286k| 258.6 | 135M| 53 | - |3297 |6842 | 0 | 0 |1507 | 55k|9335 | 2.800000e+01 | -- | Inf
1676.70/1677.09 c 1677s| 39800 | 6536 | 10305k| 258.4 | 135M| 53 | 626 |3297 |6835 |3297 |3580 |1507 | 55k|9381 | 2.800000e+01 | -- | Inf
1678.80/1679.13 c 1679s| 39900 | 6510 | 10325k| 258.3 | 134M| 53 | 593 |3297 |6790 |3297 |3580 |1507 | 55k|9381 | 2.800000e+01 | -- | Inf
1681.70/1682.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1681.70/1682.02 c 1682s| 40000 | 6483 | 10343k| 258.1 | 134M| 53 | 880 |3297 |6751 |3297 |3580 |1507 | 55k|9404 | 2.800000e+01 | -- | Inf
1685.51/1685.81 c 1686s| 40100 | 6487 | 10364k| 258.0 | 134M| 53 | 404 |3297 |6846 |3297 |3580 |1507 | 55k|9462 | 2.800000e+01 | -- | Inf
1689.21/1689.59 c 1690s| 40200 | 6483 | 10384k| 257.8 | 134M| 53 | 544 |3297 |6867 |3297 |3580 |1507 | 56k|9505 | 2.800000e+01 | -- | Inf
1692.11/1692.43 c 1692s| 40300 | 6479 | 10406k| 257.7 | 134M| 53 | 581 |3297 |6763 |3297 |3580 |1507 | 56k|9509 | 2.821739e+01 | -- | Inf
1695.31/1695.61 c 1696s| 40400 | 6488 | 10423k| 257.5 | 134M| 53 | - |3297 |6805 | 0 | 0 |1507 | 56k|9539 | 2.836153e+01 | -- | Inf
1699.10/1699.45 c 1699s| 40500 | 6507 | 10450k| 257.5 | 135M| 53 | 615 |3297 |6849 |3297 |3580 |1507 | 56k|9567 | 2.850000e+01 | -- | Inf
1703.61/1703.92 c 1704s| 40600 | 6508 | 10478k| 257.6 | 135M| 53 | 868 |3297 |6656 |3297 |3580 |1507 | 56k|9583 | 2.900000e+01 | -- | Inf
1707.30/1707.68 c 1708s| 40700 | 6531 | 10500k| 257.5 | 135M| 53 | 714 |3297 |6656 |3297 |3580 |1507 | 56k|9613 | 2.900000e+01 | -- | Inf
1710.50/1710.81 c 1711s| 40800 | 6535 | 10514k| 257.2 | 136M| 53 | 947 |3297 |6647 |3297 |3580 |1507 | 56k|9645 | 2.900000e+01 | -- | Inf
1720.20/1720.53 c 1721s| 40900 | 6547 | 10588k| 258.4 | 135M| 53 | - |3297 |6735 | 0 | 0 |1507 | 57k|9659 | 2.900000e+01 | -- | Inf
1723.80/1724.10 c 1724s| 41000 | 6553 | 10608k| 258.2 | 135M| 53 | 491 |3297 |6709 |3297 |3580 |1507 | 57k|9693 | 2.900000e+01 | -- | Inf
1726.80/1727.12 c 1727s| 41100 | 6564 | 10627k| 258.1 | 136M| 53 | 659 |3297 |6751 |3297 |3580 |1507 | 57k|9716 | 2.900000e+01 | -- | Inf
1730.30/1730.67 c 1731s| 41200 | 6568 | 10645k| 257.9 | 136M| 53 | - |3297 |6847 | 0 | 0 |1507 | 57k|9772 | 2.900000e+01 | -- | Inf
1733.99/1734.30 c 1734s| 41300 | 6564 | 10661k| 257.6 | 136M| 54 | 600 |3297 |6889 |3297 |3580 |1507 | 57k|9808 | 2.900000e+01 | -- | Inf
1736.00/1736.32 c 1736s| 41400 | 6573 | 10681k| 257.5 | 137M| 54 | 426 |3297 |6931 |3297 |3580 |1507 | 58k|9808 | 2.900000e+01 | -- | Inf
1738.50/1738.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1738.50/1738.87 c 1739s| 41500 | 6572 | 10703k| 257.4 | 136M| 54 | - |3297 |6990 | 0 | 0 |1507 | 58k|9822 | 2.900000e+01 | -- | Inf
1740.70/1741.08 c 1741s| 41600 | 6563 | 10715k| 257.1 | 136M| 54 | - |3297 |7028 | 0 | 0 |1507 | 58k|9839 | 2.900000e+01 | -- | Inf
1743.20/1743.57 c 1744s| 41700 | 6559 | 10730k| 256.8 | 136M| 54 | 806 |3297 |6959 |3297 |3580 |1507 | 58k|9853 | 2.900000e+01 | -- | Inf
1746.59/1746.98 c 1747s| 41800 | 6561 | 10747k| 256.6 | 136M| 54 | 466 |3297 |6990 |3297 |3580 |1507 | 58k|9880 | 2.900000e+01 | -- | Inf
1749.39/1749.74 c 1750s| 41900 | 6559 | 10771k| 256.6 | 136M| 54 | - |3297 |6985 |3297 |3580 |1507 | 58k|9885 | 2.900000e+01 | -- | Inf
1753.29/1753.64 c 1754s| 42000 | 6573 | 10795k| 256.6 | 136M| 54 | - |3297 |7010 | 0 | 0 |1507 | 58k|9917 | 2.900000e+01 | -- | Inf
1756.10/1756.44 c 1756s| 42100 | 6578 | 10811k| 256.3 | 136M| 54 | 648 |3297 |6944 |3297 |3580 |1507 | 59k|9941 | 2.900000e+01 | -- | Inf
1762.29/1762.67 c 1763s| 42200 | 6574 | 10841k| 256.4 | 135M| 54 | 689 |3297 |6768 |3297 |3580 |1507 | 59k|9999 | 2.900000e+01 | -- | Inf
1767.40/1767.78 c 1768s| 42300 | 6607 | 10869k| 256.5 | 136M| 54 | 711 |3297 |6754 |3297 |3580 |1507 | 59k| 10k| 2.900000e+01 | -- | Inf
1769.50/1769.88 c 1770s| 42400 | 6593 | 10887k| 256.3 | 136M| 54 | - |3297 |6789 | 0 | 0 |1507 | 59k| 10k| 2.900000e+01 | -- | Inf
1771.39/1771.70 c 1772s| 42500 | 6606 | 10904k| 256.1 | 136M| 54 | 683 |3297 |6743 |3297 |3580 |1507 | 59k| 10k| 2.900000e+01 | -- | Inf
1773.19/1773.53 c 1774s| 42600 | 6612 | 10922k| 255.9 | 136M| 54 | 423 |3297 |6797 |3297 |3580 |1507 | 59k| 10k| 2.900000e+01 | -- | Inf
1776.40/1776.71 c 1777s| 42700 | 6616 | 10942k| 255.8 | 136M| 54 | - |3297 |6870 | 0 | 0 |1507 | 59k| 10k| 2.900000e+01 | -- | Inf
1779.50/1779.86 c 1780s| 42800 | 6606 | 10963k| 255.7 | 136M| 54 | 598 |3297 |6801 |3297 |3580 |1507 | 60k| 10k| 2.900000e+01 | -- | Inf
1785.79/1786.16 c 1786s| 42900 | 6609 | 11007k| 256.1 | 136M| 54 | 623 |3297 |6979 |3297 |3580 |1507 | 60k| 10k| 2.900000e+01 | -- | Inf
1787.59/1787.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1787.59/1787.98 c 1788s| 43000 | 6615 | 11024k| 255.9 | 136M| 54 | 640 |3297 |6894 |3297 |3580 |1507 | 60k| 10k| 2.900000e+01 | -- | Inf
1791.99/1792.37 c 1792s| 43100 | 6635 | 11052k| 256.0 | 136M| 54 | 713 |3297 |6937 |3297 |3580 |1507 | 60k| 10k| 2.900000e+01 | -- | Inf
1795.39/1795.74 c 1796s| 43200 | 6651 | 11074k| 255.9 | 137M| 54 | 459 |3297 |6930 |3297 |3580 |1507 | 60k| 10k| 2.900000e+01 | -- | Inf
1796.69/1797.03 c
1796.69/1797.03 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.03 c Solving Time (sec) : 1797.03
1796.69/1797.03 c Solving Nodes : 43228
1796.69/1797.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.69/1797.03 c Dual Bound : +2.90000000000000e+01
1796.69/1797.03 c Gap : infinite
1796.69/1797.03 s UNKNOWN
1796.69/1797.03 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.03 c Total Time : 1797.03
1796.69/1797.03 c solving : 1797.03
1796.69/1797.03 c presolving : 0.19 (included in solving)
1796.69/1797.03 c reading : 0.07 (included in solving)
1796.69/1797.03 c copying : 0.06 (2 #copies) (minimal 0.03, maximal 0.03, average 0.03)
1796.69/1797.03 c Original Problem :
1796.69/1797.03 c Problem name : HOME/instance-3690994-1338018959.opb
1796.69/1797.03 c Variables : 3297 (3297 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.03 c Constraints : 6383 initial, 6383 maximal
1796.69/1797.03 c Objective sense : minimize
1796.69/1797.03 c Presolved Problem :
1796.69/1797.03 c Problem name : t_HOME/instance-3690994-1338018959.opb
1796.69/1797.03 c Variables : 3297 (3297 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.03 c Constraints : 3289 initial, 7046 maximal
1796.69/1797.03 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.03 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c knapsack : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c linear : 0.10 0.00 0 0 0 0 0 3094 0 182 182
1796.69/1797.03 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c root node : - - 0 - - 0 - - - - -
1796.69/1797.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.03 c integral : 0 0 0 0 29627 0 4 0 58 2504 0 0 57752
1796.69/1797.03 c knapsack : 195 195 19 202262 0 0 3 648725 2404 247534 2658 0 0
1796.69/1797.03 c linear : 3094+ 3610 20 199858 0 0 0 113332 9989 7210021 6 0 0
1796.69/1797.03 c logicor : 0+ 3742 19 113792 0 0 0 180772 1390 136417 8 0 0
1796.69/1797.03 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.03 c integral : 463.70 0.00 0.00 0.00 463.70 0.00 0.00 0.00
1796.69/1797.03 c knapsack : 19.98 0.00 0.05 19.51 0.00 0.00 0.00 0.42
1796.69/1797.03 c linear : 85.31 0.00 0.02 85.02 0.00 0.00 0.00 0.26
1796.69/1797.03 c logicor : 10.22 0.00 0.00 9.95 0.00 0.00 0.00 0.27
1796.69/1797.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.03 c rootredcost : 0 0 0 0
1796.69/1797.03 c pseudoobj : 231789 0 0 0
1796.69/1797.03 c vbounds : 0 0 0 0
1796.69/1797.03 c redcost : 29651 0 0 5
1796.69/1797.03 c probing : 0 0 0 0
1796.69/1797.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.03 c rootredcost : 0.09 0.00 0.00 0.09 0.00
1796.69/1797.03 c pseudoobj : 0.34 0.00 0.00 0.34 0.00
1796.69/1797.03 c vbounds : 0.07 0.00 0.00 0.07 0.00
1796.69/1797.03 c redcost : 1.53 0.00 0.00 1.53 0.00
1796.69/1797.03 c probing : 0.01 0.00 0.01 0.00 0.00
1796.69/1797.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.03 c propagation : 1.50 13783 13718 113537 37.3 592 23.7 -
1796.69/1797.03 c infeasible LP : 5.34 10313 10313 45706 25.5 673 20.7 0
1796.69/1797.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.03 c applied globally : - - - 60924 25.2 - - -
1796.69/1797.03 c applied locally : - - - 0 0.0 - - -
1796.69/1797.03 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.03 c cut pool : 0.01 18 - - 3452 - (maximal pool size: 6658)
1796.69/1797.03 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.03 c impliedbounds : 0.00 0.00 19 0 0 41 0
1796.69/1797.03 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.03 c gomory : 0.33 0.00 10 0 0 59 0
1796.69/1797.03 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.03 c strongcg : 1.04 0.00 19 0 0 50 0
1796.69/1797.03 c cmir : 1.95 0.00 10 0 0 5000 0
1796.69/1797.03 c flowcover : 1.08 0.00 10 0 0 2000 0
1796.69/1797.03 c clique : 0.00 0.00 1 0 0 0 0
1796.69/1797.03 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.03 c mcf : 0.00 0.00 1 0 0 0 0
1796.69/1797.03 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.03 c rapidlearning : 8.35 0.00 1 0 0 0 516
1796.69/1797.03 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.03 c problem variables: 0.00 - 0 0
1796.69/1797.03 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.03 c relpscost : 463.63 0.00 29627 58 2504 0 0 57752
1796.69/1797.03 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.03 c inference : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.03 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.03 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.03 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.03 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.03 c LP solutions : 0.00 - - 0
1796.69/1797.03 c pseudo solutions : 0.00 - - 0
1796.69/1797.03 c oneopt : 0.04 0.00 0 0
1796.69/1797.03 c crossover : 0.03 0.00 0 0
1796.69/1797.03 c guideddiving : 0.00 0.00 0 0
1796.69/1797.03 c intshifting : 0.00 0.00 0 0
1796.69/1797.03 c objpscostdiving : 21.86 0.00 18 0
1796.69/1797.03 c coefdiving : 56.78 0.00 44 0
1796.69/1797.03 c fracdiving : 57.56 0.00 45 0
1796.69/1797.03 c feaspump : 29.54 0.00 30 0
1796.69/1797.03 c rootsoldiving : 15.64 0.00 51 0
1796.69/1797.03 c pscostdiving : 48.61 0.00 146 0
1796.69/1797.03 c veclendiving : 34.71 0.00 182 0
1796.69/1797.03 c linesearchdiving : 42.20 0.00 183 0
1796.69/1797.03 c smallcard : 0.00 0.00 0 0
1796.69/1797.03 c trivial : 0.00 0.00 2 0
1796.69/1797.03 c shiftandpropagate: 0.20 0.00 1 0
1796.69/1797.03 c simplerounding : 0.02 0.00 0 0
1796.69/1797.03 c zirounding : 0.53 0.00 1000 0
1796.69/1797.03 c rounding : 1.53 0.00 2379 0
1796.69/1797.03 c shifting : 7.90 0.00 731 0
1796.69/1797.03 c twoopt : 0.00 0.00 0 0
1796.69/1797.03 c indoneopt : 0.04 0.00 0 0
1796.69/1797.03 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.03 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.03 c clique : 0.00 0.00 0 0
1796.69/1797.03 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.03 c indrounding : 0.00 0.00 0 0
1796.69/1797.03 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.03 c intdiving : 0.00 0.00 0 0
1796.69/1797.03 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.03 c octane : 0.00 0.00 0 0
1796.69/1797.03 c rens : 0.85 0.00 1 0
1796.69/1797.03 c rins : 0.00 0.00 0 0
1796.69/1797.03 c localbranching : 0.00 0.00 0 0
1796.69/1797.03 c mutation : 0.00 0.00 0 0
1796.69/1797.03 c dins : 0.00 0.00 0 0
1796.69/1797.03 c vbounds : 0.00 0.00 0 0
1796.69/1797.03 c undercover : 0.00 0.00 0 0
1796.69/1797.03 c subnlp : 0.02 0.00 0 0
1796.69/1797.03 c trysol : 0.03 0.00 0 0
1796.69/1797.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.03 c primal LP : 0.04 3 0 0.00 0.00 0.04 3
1796.69/1797.03 c dual LP : 791.75 35966 8493954 237.65 10728.10 0.84 225
1796.69/1797.03 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.03 c diving/probing LP: 275.09 14918 2586517 173.38 9402.60
1796.69/1797.03 c strong branching : 457.73 10227 3824132 373.93 8354.58
1796.69/1797.03 c (at root node) : - 28 17532 626.14 -
1796.69/1797.03 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.03 c B&B Tree :
1796.69/1797.03 c number of runs : 1
1796.69/1797.03 c nodes : 43228
1796.69/1797.03 c nodes (total) : 43228
1796.69/1797.03 c nodes left : 6648
1796.69/1797.03 c max depth : 54
1796.69/1797.03 c max depth (total): 54
1796.69/1797.03 c backtracks : 9950 (23.0%)
1796.69/1797.03 c delayed cutoffs : 7877
1796.69/1797.03 c repropagations : 44921 (2614440 domain reductions, 4670 cutoffs)
1796.69/1797.03 c avg switch length: 8.13
1796.69/1797.03 c switching time : 66.46
1796.69/1797.03 c Solution :
1796.69/1797.03 c Solutions found : 0 (0 improvements)
1796.69/1797.03 c Primal Bound : -
1796.69/1797.03 c Dual Bound : +2.90000000000000e+01
1796.69/1797.03 c Gap : infinite
1796.69/1797.03 c Root Dual Bound : +1.40000000000000e+01
1796.69/1797.03 c Root Iterations : 20508
1796.79/1797.16 c Time complete: 1796.86.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3690994-1338018959/watcher-3690994-1338018959 -o /tmp/evaluation-result-3690994-1338018959/solver-3690994-1338018959 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690994-1338018959.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.03 1.86 3/176 12068
/proc/meminfo: memFree=29310160/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=9956 CPUtime=0 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 1241 0 0 0 0 0 0 0 20 0 1 0 268020802 10194944 1195 33554432000 4194304 10173063 140737219614592 140735326559288 8727867 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 2489 1195 416 1460 0 1020 0
[startup+0.0214831 s]
/proc/loadavg: 2.06 2.03 1.86 3/176 12068
/proc/meminfo: memFree=29310160/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=11984 CPUtime=0.01 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 1745 0 0 0 1 0 0 0 20 0 1 0 268020802 12271616 1699 33554432000 4194304 10173063 140737219614592 140735326559288 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 2996 1699 416 1460 0 1527 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11984
[startup+0.100229 s]
/proc/loadavg: 2.06 2.03 1.86 3/176 12068
/proc/meminfo: memFree=29310160/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=34372 CPUtime=0.09 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 7095 0 0 0 8 1 0 0 20 0 1 0 268020802 35196928 7049 33554432000 4194304 10173063 140737219614592 140735326559288 8800002 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 8593 7049 515 1460 0 7124 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34372
[startup+0.300269 s]
/proc/loadavg: 2.06 2.03 1.86 3/176 12068
/proc/meminfo: memFree=29310160/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=83152 CPUtime=0.29 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 18980 0 0 0 26 3 0 0 20 0 1 0 268020802 85147648 18654 33554432000 4194304 10173063 140737219614592 140735326559288 5044670 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 20788 18656 675 1460 0 19319 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83152
[startup+0.700242 s]
/proc/loadavg: 2.06 2.03 1.86 3/176 12068
/proc/meminfo: memFree=29310160/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=99488 CPUtime=0.69 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 24712 0 0 0 64 5 0 0 20 0 1 0 268020802 101875712 22914 33554432000 4194304 10173063 140737219614592 140737219606120 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 24872 22914 790 1460 0 23403 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 99488
[startup+1.50018 s]
/proc/loadavg: 2.06 2.03 1.86 3/177 12069
/proc/meminfo: memFree=29221668/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=99488 CPUtime=1.49 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 24721 0 0 0 144 5 0 0 20 0 1 0 268020802 101875712 22923 33554432000 4194304 10173063 140737219614592 140737219606120 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 24872 22923 790 1460 0 23403 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 99488
[startup+3.10022 s]
/proc/loadavg: 2.06 2.03 1.86 3/177 12069
/proc/meminfo: memFree=29184344/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=137580 CPUtime=3.08 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 34078 0 0 0 300 8 0 0 20 0 1 0 268020802 140881920 32280 33554432000 4194304 10173063 140737219614592 140737219608632 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 34395 32280 828 1460 0 32926 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 137580
[startup+6.30024 s]
/proc/loadavg: 2.05 2.03 1.86 3/177 12069
/proc/meminfo: memFree=29183508/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=139252 CPUtime=6.28 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 34495 0 0 0 618 10 0 0 20 0 1 0 268020802 142594048 32697 33554432000 4194304 10173063 140737219614592 140737219608632 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 34813 32697 828 1460 0 33344 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 139252
[startup+12.7002 s]
/proc/loadavg: 2.05 2.03 1.86 3/177 12069
/proc/meminfo: memFree=29172916/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=148368 CPUtime=12.69 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 37071 0 0 0 1253 16 0 0 20 0 1 0 268020802 151928832 35196 33554432000 4194304 10173063 140737219614592 140737219609752 5100589 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 37092 35196 851 1460 0 35623 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 148368
[startup+25.5002 s]
/proc/loadavg: 2.04 2.03 1.86 3/177 12069
/proc/meminfo: memFree=29159724/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=162348 CPUtime=25.49 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 44247 0 0 0 2524 25 0 0 20 0 1 0 268020802 166244352 38506 33554432000 4194304 10173063 140737219614592 140737219607720 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 40587 38506 864 1460 0 39118 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 162348
[startup+51.1002 s]
/proc/loadavg: 2.02 2.03 1.86 3/177 12069
/proc/meminfo: memFree=29159192/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=162348 CPUtime=51.07 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 44264 0 0 0 5066 41 0 0 20 0 1 0 268020802 166244352 38633 33554432000 4194304 10173063 140737219614592 140737219607688 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 40587 38633 866 1460 0 39118 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 162348
[startup+102.306 s]
/proc/loadavg: 2.01 2.02 1.87 3/177 12069
/proc/meminfo: memFree=29154040/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=162348 CPUtime=102.26 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 44270 0 0 0 10140 86 0 0 20 0 1 0 268020802 166244352 39634 33554432000 4194304 10173063 140737219614592 140737219606776 8047548 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 40587 39634 866 1460 0 39118 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 162348
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 1.88 3/177 12069
/proc/meminfo: memFree=29152212/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=162348 CPUtime=162.25 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 44270 0 0 0 16093 132 0 0 20 0 1 0 268020802 166244352 39942 33554432000 4194304 10173063 140737219614592 140737219608040 4435967 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 40587 39942 866 1460 0 39118 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 162348
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 1.89 3/177 12070
/proc/meminfo: memFree=29151592/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=162348 CPUtime=222.24 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 44270 0 0 0 22046 178 0 0 20 0 1 0 268020802 166244352 39942 33554432000 4194304 10173063 140737219614592 140737219608424 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 40587 39942 866 1460 0 39118 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 162348
[startup+282.3 s]
/proc/loadavg: 2.08 2.03 1.90 3/178 12073
/proc/meminfo: memFree=29150592/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=162348 CPUtime=282.23 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 44270 0 0 0 27998 225 0 0 20 0 1 0 268020802 166244352 39942 33554432000 4194304 10173063 140737219614592 140737219607576 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 40587 39942 866 1460 0 39118 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 162348
[startup+342.3 s]
/proc/loadavg: 2.03 2.02 1.90 3/178 12095
/proc/meminfo: memFree=29150404/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=162348 CPUtime=342.22 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 44270 0 0 0 33950 272 0 0 20 0 1 0 268020802 166244352 39942 33554432000 4194304 10173063 140737219614592 140737219607208 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 40587 39942 866 1460 0 39118 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 162348
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 1.91 3/177 12095
/proc/meminfo: memFree=29148800/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=162348 CPUtime=402.22 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 44270 0 0 0 39897 325 0 0 20 0 1 0 268020802 166244352 39942 33554432000 4194304 10173063 140737219614592 140737219607576 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 40587 39942 866 1460 0 39118 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 162348
[startup+462.3 s]
/proc/loadavg: 2.04 2.03 1.91 3/177 12095
/proc/meminfo: memFree=29148552/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=162348 CPUtime=462.2 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 44270 0 0 0 45843 377 0 0 20 0 1 0 268020802 166244352 39942 33554432000 4194304 10173063 140737219614592 140737219608456 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 40587 39942 866 1460 0 39118 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 162348
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 1.91 3/177 12096
/proc/meminfo: memFree=29147184/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=164256 CPUtime=522.2 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 44481 0 0 0 51792 428 0 0 20 0 1 0 268020802 168198144 40165 33554432000 4194304 10173063 140737219614592 140737219607464 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 41064 40165 866 1460 0 39595 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 164256
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/177 12096
/proc/meminfo: memFree=29143336/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=168568 CPUtime=582.18 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 45529 0 0 0 57738 480 0 0 20 0 1 0 268020802 172613632 41213 33554432000 4194304 10173063 140737219614592 140737219611320 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 42142 41213 866 1460 0 40673 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 168568
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29063608/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=239312 CPUtime=1062.11 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 140949 0 0 0 105286 925 0 0 20 0 1 0 268020802 245055488 58942 33554432000 4194304 10173063 140737219614592 140737219606568 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 59828 58942 866 1460 0 58359 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 239312
[startup+1122.3 s]
/proc/loadavg: 2.15 2.06 1.95 3/177 12101
/proc/meminfo: memFree=29053316/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=249676 CPUtime=1122.1 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 145354 0 0 0 111230 980 0 0 20 0 1 0 268020802 255668224 61592 33554432000 4194304 10173063 140737219614592 140737219607720 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 62419 61592 866 1460 0 60950 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 249676
[startup+1182.3 s]
/proc/loadavg: 2.05 2.05 1.95 3/177 12101
/proc/meminfo: memFree=29042988/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=258984 CPUtime=1182.09 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 147609 0 0 0 117174 1035 0 0 20 0 1 0 268020802 265199616 63827 33554432000 4194304 10173063 140737219614592 140737219607848 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 64746 63827 866 1460 0 63277 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 258984
[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 1.95 3/177 12101
/proc/meminfo: memFree=29033252/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=268836 CPUtime=1242.08 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 151771 0 0 0 123115 1093 0 0 20 0 1 0 268020802 275288064 66343 33554432000 4194304 10173063 140737219614592 140737219606888 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 67209 66343 866 1460 0 65740 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 268836
[startup+1302.3 s]
/proc/loadavg: 2.05 2.04 1.96 3/177 12101
/proc/meminfo: memFree=29021596/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=277980 CPUtime=1302.08 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 156161 0 0 0 129059 1149 0 0 20 0 1 0 268020802 284651520 68806 33554432000 4194304 10173063 140737219614592 140737219608232 4481200 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 69495 68806 866 1460 0 68026 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 277980
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 1.96 3/177 12101
/proc/meminfo: memFree=29012668/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=286616 CPUtime=1362.06 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 160427 0 0 0 135002 1204 0 0 20 0 1 0 268020802 293494784 70961 33554432000 4194304 10173063 140737219614592 140737219607848 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 71654 70961 866 1460 0 70185 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 286616
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 1.96 3/177 12102
/proc/meminfo: memFree=29005132/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=293328 CPUtime=1422.05 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 162022 0 0 0 140941 1264 0 0 20 0 1 0 268020802 300367872 72541 33554432000 4194304 10173063 140737219614592 140737219607720 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 73332 72541 866 1460 0 71863 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 293328
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/178 12105
/proc/meminfo: memFree=28994084/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=302288 CPUtime=1482.04 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 164489 0 0 0 146879 1325 0 0 20 0 1 0 268020802 309542912 74781 33554432000 4194304 10173063 140737219614592 140737219607208 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 75572 74781 866 1460 0 74103 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 302288
[startup+1542.3 s]
/proc/loadavg: 2.07 2.03 1.96 3/177 12105
/proc/meminfo: memFree=28986652/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=309140 CPUtime=1542.03 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 168278 0 0 0 152822 1381 0 0 20 0 1 0 268020802 316559360 76604 33554432000 4194304 10173063 140737219614592 140737219607112 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 77285 76604 866 1460 0 75816 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 309140
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/177 12143
/proc/meminfo: memFree=29057776/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=314608 CPUtime=1602.01 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 171275 0 0 0 158761 1440 0 0 20 0 1 0 268020802 322158592 77825 33554432000 4194304 10173063 140737219614592 140737219607720 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 78652 77825 866 1460 0 77183 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 314608
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/177 12143
/proc/meminfo: memFree=29044412/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=321396 CPUtime=1662.01 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 175087 0 0 0 164702 1499 0 0 20 0 1 0 268020802 329109504 79677 33554432000 4194304 10173063 140737219614592 140737219607848 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 80349 79677 866 1460 0 78880 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 321396
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/177 12144
/proc/meminfo: memFree=29030436/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=329960 CPUtime=1722 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 179380 0 0 0 170645 1555 0 0 20 0 1 0 268020802 337879040 81769 33554432000 4194304 10173063 140737219614592 140737219609960 7576713 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 82490 81769 866 1460 0 81021 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 329960
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/177 12144
/proc/meminfo: memFree=29027336/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=332072 CPUtime=1781.99 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 179933 0 0 0 176588 1611 0 0 20 0 1 0 268020802 340041728 82322 33554432000 4194304 10173063 140737219614592 140737219607112 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 83018 82322 866 1460 0 81549 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 332072
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 12144
/proc/meminfo: memFree=29027336/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=332072 CPUtime=1785.19 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 179933 0 0 0 176905 1614 0 0 20 0 1 0 268020802 340041728 82322 33554432000 4194304 10173063 140737219614592 140737219607352 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 83018 82322 866 1460 0 81549 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 332072
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 12144
/proc/meminfo: memFree=29026344/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=333064 CPUtime=1791.6 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 180205 0 0 0 177541 1619 0 0 20 0 1 0 268020802 341057536 82594 33554432000 4194304 10173063 140737219614592 140737219607976 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 83266 82594 866 1460 0 81797 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 333064
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 12144
/proc/meminfo: memFree=29025724/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=333824 CPUtime=1794.79 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 180378 0 0 0 177858 1621 0 0 20 0 1 0 268020802 341835776 82767 33554432000 4194304 10173063 140737219614592 140737219608088 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 83456 82767 866 1460 0 81987 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 333824
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 12144
/proc/meminfo: memFree=29025724/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=333824 CPUtime=1795.59 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 180378 0 0 0 177937 1622 0 0 20 0 1 0 268020802 341835776 82767 33554432000 4194304 10173063 140737219614592 140737219608232 8033100 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 83456 82767 866 1460 0 81987 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 333824
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 12144
/proc/meminfo: memFree=29025724/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=333824 CPUtime=1796.39 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 180378 0 0 0 178016 1623 0 0 20 0 1 0 268020802 341835776 82767 33554432000 4194304 10173063 140737219614592 140737219608456 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 83456 82767 866 1460 0 81987 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 333824
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 12144
/proc/meminfo: memFree=29025724/32873844 swapFree=6856/6856
[pid=12068] ppid=12066 vsize=333824 CPUtime=1796.79 cores=1,3,5,7
/proc/12068/stat : 12068 (scip-2.1.1.4fix) R 12066 12068 11551 0 -1 4202496 180380 0 0 0 178056 1623 0 0 20 0 1 0 268020802 341835776 82769 33554432000 4194304 10173063 140737219614592 140737219608456 4932160 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12068/statm: 83456 82769 868 1460 0 81987 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 333824
Child status: 0
Real time (s): 1797.17
CPU time (s): 1796.87
CPU user time (s): 1780.62
CPU system time (s): 16.2435
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 333824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.62
system time used= 16.2435
maximum resident set size= 331076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180382
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= 45
involuntary context switches= 1866
runsolver used 2.6256 second user time and 7.2099 second system time
The end