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-3690979-1338020535.opb>
0.09/0.12 c original problem has 5570 variables (5570 bin, 0 int, 0 impl, 0 cont) and 10896 constraints
0.09/0.12 c problem read in 0.13
0.19/0.24 c presolving:
0.29/0.36 c (round 1) 2 del vars, 1 del conss, 0 add conss, 2 chg bounds, 120 chg sides, 350 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.38/0.42 c (round 2) 2 del vars, 5209 del conss, 0 add conss, 2 chg bounds, 120 chg sides, 350 chg coeffs, 247 upgd conss, 0 impls, 0 clqs
0.38/0.48 c (round 3) 2 del vars, 5209 del conss, 1 add conss, 2 chg bounds, 149 chg sides, 590 chg coeffs, 479 upgd conss, 62 impls, 0 clqs
0.49/0.51 c (0.5s) probing: 51/5568 (0.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.51 c (0.5s) probing aborted: 50/50 successive totally useless probings
0.49/0.53 c presolving (4 rounds):
0.49/0.53 c 2 deleted vars, 5209 deleted constraints, 1 added constraints, 2 tightened bounds, 0 added holes, 149 changed sides, 590 changed coefficients
0.49/0.53 c 62 implications, 0 cliques
0.49/0.53 c presolved problem has 5568 variables (5568 bin, 0 int, 0 impl, 0 cont) and 5688 constraints
0.49/0.53 c 479 constraints of type <knapsack>
0.49/0.53 c 1 constraints of type <setppc>
0.49/0.53 c 5208 constraints of type <linear>
0.49/0.53 c transformed objective value is always integral (scale: 1)
0.49/0.53 c Presolving Time: 0.37
0.49/0.53 c - non default parameters ----------------------------------------------------------------------
0.49/0.53 c # SCIP version 2.1.1.4
0.49/0.53 c
0.49/0.53 c # maximal time in seconds to run
0.49/0.53 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.53 c limits/time = 1797
0.49/0.53 c
0.49/0.53 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.53 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.53 c limits/memory = 13950
0.49/0.53 c
0.49/0.53 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.53 c # [type: int, range: [1,2], default: 1]
0.49/0.53 c timing/clocktype = 2
0.49/0.53 c
0.49/0.53 c # belongs reading time to solving time?
0.49/0.53 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.53 c timing/reading = TRUE
0.49/0.53 c
0.49/0.53 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.53 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.53 c separating/rapidlearning/freq = 0
0.49/0.53 c
0.49/0.53 c -----------------------------------------------------------------------------------------------
0.49/0.53 c start solving
0.49/0.53 c
0.99/1.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.99/1.09 c 1.1s| 1 | 0 | 24 | - | 49M| 0 | 259 |5568 |5713 |5568 |5688 | 0 | 25 | 0 | 1.200000e+02 | -- | Inf
20.08/20.19 c 20.2s| 1 | 0 | 6483 | - | 51M| 0 | 623 |5568 |7147 |5568 |5883 | 195 | 25 | 0 | 1.200000e+02 | -- | Inf
21.29/21.38 c 21.4s| 1 | 0 | 8568 | - | 52M| 0 | 686 |5568 |7147 |5568 |6139 | 451 | 25 | 0 | 1.200000e+02 | -- | Inf
23.19/23.28 c 23.3s| 1 | 0 | 10494 | - | 53M| 0 | 983 |5568 |7147 |5568 |6400 | 712 | 25 | 0 | 1.200000e+02 | -- | Inf
26.89/26.95 c 26.9s| 1 | 0 | 16176 | - | 53M| 0 |1171 |5568 |7147 |5568 |6650 | 962 | 25 | 0 | 1.200000e+02 | -- | Inf
30.69/30.74 c 30.7s| 1 | 0 | 18804 | - | 54M| 0 |1567 |5568 |7147 |5568 |6868 |1180 | 25 | 0 | 1.200000e+02 | -- | Inf
33.79/33.88 c 33.9s| 1 | 0 | 20926 | - | 55M| 0 |1737 |5568 |7147 |5568 |7108 |1420 | 25 | 0 | 1.200000e+02 | -- | Inf
50.87/50.94 c 50.9s| 1 | 2 | 20926 | - | 55M| 0 |1737 |5568 |7147 |5568 |7108 |1420 | 25 | 23 | 1.200000e+02 | -- | Inf
155.05/155.16 c 155s| 100 | 79 |143590 |1239.0 | 56M| 32 | - |5568 |7338 | 0 | 0 |1420 | 216 | 228 | 1.200000e+02 | -- | Inf
269.73/269.84 c 270s| 200 | 155 |598850 |2904.1 | 57M| 50 | 433 |5568 |7729 |5568 |5929 |1420 | 607 | 267 | 1.200000e+02 | -- | Inf
303.82/303.93 c 304s| 300 | 251 |704935 |2287.7 | 57M| 50 | 486 |5568 |7810 |5568 |5929 |1420 | 688 | 298 | 1.200000e+02 | -- | Inf
316.41/316.50 c 317s| 400 | 283 |733147 |1785.0 | 58M| 55 | 458 |5568 |7862 |5568 |5929 |1420 | 740 | 313 | 1.200000e+02 | -- | Inf
321.52/321.63 c 322s| 500 | 321 |744842 |1450.7 | 58M| 55 | 338 |5568 |7968 |5568 |5929 |1420 | 846 | 325 | 1.200000e+02 | -- | Inf
364.11/364.23 c 364s| 600 | 363 |862088 |1404.3 | 58M| 55 | 531 |5568 |8022 |5568 |5929 |1420 | 900 | 340 | 1.200000e+02 | -- | Inf
380.21/380.38 c 380s| 700 | 425 |906086 |1266.3 | 58M| 55 | 470 |5568 |8090 |5568 |5929 |1420 | 968 | 359 | 1.200000e+02 | -- | Inf
396.31/396.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
396.31/396.42 c 396s| 800 | 475 |935640 |1144.8 | 59M| 55 | 391 |5568 |8128 |5568 |5929 |1420 |1006 | 409 | 1.200000e+02 | -- | Inf
413.31/413.44 c 413s| 900 | 523 |968546 |1054.1 | 59M| 55 | - |5568 |8171 |5568 |5929 |1420 |1049 | 440 | 1.200000e+02 | -- | Inf
418.80/418.99 c 419s| 1000 | 555 |986171 | 966.2 | 59M| 63 | - |5568 |8254 | 0 | 0 |1420 |1132 | 440 | 1.200000e+02 | -- | Inf
436.19/436.34 c 436s| 1100 | 583 | 1018k| 907.8 | 59M| 73 | 819 |5568 |8355 |5568 |5929 |1420 |1233 | 468 | 1.200000e+02 | -- | Inf
452.29/452.46 c 452s| 1200 | 642 | 1058k| 865.6 | 60M| 73 | - |5568 |8406 |5568 |5929 |1420 |1284 | 498 | 1.200000e+02 | -- | Inf
460.89/461.09 c 461s| 1300 | 688 | 1081k| 816.3 | 60M| 73 | 727 |5568 |8456 |5568 |5929 |1420 |1334 | 513 | 1.200000e+02 | -- | Inf
466.39/466.54 c 467s| 1400 | 706 | 1094k| 767.3 | 60M| 73 | 611 |5568 |8604 |5568 |5929 |1420 |1482 | 530 | 1.200000e+02 | -- | Inf
477.49/477.67 c 478s| 1500 | 720 | 1133k| 742.2 | 61M| 73 | 663 |5568 |8774 |5568 |5929 |1420 |1653 | 555 | 1.200000e+02 | -- | Inf
482.49/482.62 c 483s| 1600 | 741 | 1142k| 701.4 | 61M| 73 | 722 |5568 |8870 |5568 |5929 |1420 |1760 | 570 | 1.200000e+02 | -- | Inf
486.89/487.03 c 487s| 1700 | 760 | 1153k| 666.6 | 62M| 73 | 721 |5568 |8980 |5568 |5929 |1420 |1871 | 585 | 1.200000e+02 | -- | Inf
490.89/491.01 c 491s| 1800 | 775 | 1162k| 634.3 | 62M| 77 | - |5568 |9105 |5568 |5929 |1420 |1997 | 596 | 1.200000e+02 | -- | Inf
499.39/499.57 c 500s| 1900 | 791 | 1184k| 612.5 | 63M| 77 | - |5568 |9247 |5568 |5929 |1420 |2139 | 629 | 1.200000e+02 | -- | Inf
513.60/513.77 c 514s| 2000 | 835 | 1218k| 599.2 | 63M| 77 | - |5568 |9357 |5568 |5929 |1420 |2251 | 671 | 1.200000e+02 | -- | Inf
525.38/525.50 c 526s| 2100 | 866 | 1247k| 584.3 | 63M| 77 | 643 |5568 |9477 |5568 |5929 |1420 |2373 | 701 | 1.200000e+02 | -- | Inf
546.18/546.37 c 546s| 2200 | 891 | 1316k| 589.4 | 63M| 77 | - |5568 |9587 |5568 |5929 |1420 |2489 | 731 | 1.200000e+02 | -- | Inf
559.58/559.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
559.58/559.78 c 560s| 2300 | 924 | 1351k| 578.8 | 64M| 77 | - |5568 |9697 |5568 |5929 |1420 |2605 | 766 | 1.200000e+02 | -- | Inf
573.47/573.65 c 574s| 2400 | 971 | 1383k| 567.8 | 65M| 77 | 645 |5568 |9817 |5568 |5929 |1420 |2745 | 810 | 1.200000e+02 | -- | Inf
583.28/583.48 c 583s| 2500 | 1001 | 1404k| 553.6 | 65M| 77 | - |5568 |9823 | 0 | 0 |1420 |2830 | 839 | 1.200000e+02 | -- | Inf
590.87/591.00 c 591s| 2600 | 1045 | 1417k| 537.3 | 66M| 77 | - |5568 |9872 | 0 | 0 |1420 |2910 | 869 | 1.200000e+02 | -- | Inf
595.37/595.58 c 596s| 2700 | 1091 | 1424k| 520.2 | 66M| 77 | 656 |5568 |9973 |5568 |5929 |1420 |3024 | 891 | 1.200000e+02 | -- | Inf
598.07/598.21 c 598s| 2800 | 1132 | 1432k| 504.2 | 67M| 77 | 709 |5568 | 10k|5568 |5929 |1420 |3120 | 891 | 1.200000e+02 | -- | Inf
604.47/604.65 c 605s| 2900 | 1167 | 1452k| 493.9 | 68M| 77 | 479 |5568 | 10k|5568 |5929 |1420 |3254 | 922 | 1.200000e+02 | -- | Inf
610.18/610.39 c 610s| 3000 | 1200 | 1464k| 481.3 | 68M| 77 | - |5568 | 10k|5568 |5929 |1420 |3341 | 959 | 1.200000e+02 | -- | Inf
613.07/613.20 c 613s| 3100 | 1224 | 1469k| 467.5 | 69M| 77 | - |5568 | 10k|5568 |5929 |1420 |3479 | 967 | 1.200000e+02 | -- | Inf
616.17/616.38 c 616s| 3200 | 1261 | 1474k| 454.3 | 69M| 77 | 628 |5568 | 10k|5568 |5929 |1420 |3576 | 988 | 1.200000e+02 | -- | Inf
623.58/623.75 c 624s| 3300 | 1300 | 1491k| 445.7 | 70M| 77 | 543 |5568 | 10k|5568 |5929 |1420 |3671 |1021 | 1.200000e+02 | -- | Inf
627.17/627.35 c 627s| 3400 | 1338 | 1499k| 435.0 | 70M| 77 | 575 |5568 | 10k|5568 |5929 |1420 |3759 |1035 | 1.200000e+02 | -- | Inf
631.27/631.42 c 631s| 3500 | 1361 | 1507k| 424.8 | 71M| 77 | 588 |5568 | 10k|5568 |5929 |1420 |3854 |1056 | 1.200000e+02 | -- | Inf
635.97/636.14 c 636s| 3600 | 1388 | 1515k| 415.3 | 71M| 77 | 619 |5568 | 10k|5568 |5929 |1420 |3963 |1090 | 1.200000e+02 | -- | Inf
641.27/641.43 c 641s| 3700 | 1426 | 1528k| 407.5 | 72M| 77 | 569 |5568 | 10k|5568 |5929 |1420 |4053 |1111 | 1.200000e+02 | -- | Inf
644.27/644.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
644.27/644.49 c 644s| 3800 | 1476 | 1537k| 399.3 | 72M| 77 | - |5568 | 10k| 0 | 0 |1420 |4125 |1111 | 1.200000e+02 | -- | Inf
649.26/649.49 c 649s| 3900 | 1493 | 1546k| 391.2 | 73M| 77 | 691 |5568 | 10k|5568 |5929 |1420 |4245 |1147 | 1.200000e+02 | -- | Inf
654.27/654.50 c 654s| 4000 | 1509 | 1554k| 383.6 | 73M| 77 | 511 |5568 | 10k|5568 |5929 |1420 |4373 |1161 | 1.200000e+02 | -- | Inf
661.06/661.29 c 661s| 4100 | 1538 | 1574k| 379.1 | 74M| 77 | 791 |5568 | 10k|5568 |5929 |1420 |4487 |1175 | 1.200000e+02 | -- | Inf
673.16/673.39 c 673s| 4200 | 1582 | 1611k| 378.9 | 74M| 77 | - |5568 |9923 |5568 |5929 |1420 |4613 |1203 | 1.200000e+02 | -- | Inf
680.56/680.75 c 681s| 4300 | 1588 | 1631k| 374.6 | 74M| 77 | 764 |5568 |9897 |5568 |5929 |1420 |4766 |1235 | 1.200000e+02 | -- | Inf
690.96/691.15 c 691s| 4400 | 1613 | 1664k| 373.7 | 75M| 77 | 685 |5568 |9825 |5568 |5929 |1420 |4911 |1263 | 1.200000e+02 | -- | Inf
701.05/701.22 c 701s| 4500 | 1621 | 1690k| 371.0 | 75M| 77 | 564 |5568 |9838 |5568 |5929 |1420 |5174 |1303 | 1.200000e+02 | -- | Inf
705.97/706.15 c 706s| 4600 | 1697 | 1701k| 365.5 | 75M| 77 | 804 |5568 |9826 |5568 |5929 |1420 |5227 |1317 | 1.200000e+02 | -- | Inf
709.56/709.71 c 710s| 4700 | 1766 | 1708k| 359.2 | 76M| 77 | 864 |5568 |9838 |5568 |5929 |1420 |5289 |1331 | 1.200000e+02 | -- | Inf
715.26/715.42 c 715s| 4800 | 1839 | 1720k| 354.1 | 76M| 77 | 792 |5568 |9880 |5568 |5929 |1420 |5350 |1369 | 1.200000e+02 | -- | Inf
718.56/718.78 c 719s| 4900 | 1896 | 1725k| 348.0 | 77M| 77 | 719 |5568 |9933 |5568 |5929 |1420 |5429 |1386 | 1.200000e+02 | -- | Inf
726.16/726.35 c 726s| 5000 | 1954 | 1738k| 343.6 | 77M| 77 | 711 |5568 |9959 |5568 |5929 |1420 |5474 |1433 | 1.200000e+02 | -- | Inf
730.85/731.03 c 731s| 5100 | 1976 | 1751k| 339.4 | 78M| 77 | 562 |5568 |9752 |5568 |5929 |1420 |5562 |1455 | 1.200000e+02 | -- | Inf
738.25/738.41 c 738s| 5200 | 2032 | 1768k| 336.1 | 78M| 77 | 780 |5568 |9680 |5568 |5929 |1420 |5643 |1482 | 1.200000e+02 | -- | Inf
746.55/746.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
746.55/746.72 c 747s| 5300 | 2075 | 1786k| 333.2 | 79M| 77 | - |5568 |9764 | 0 | 0 |1420 |5764 |1535 | 1.200000e+02 | -- | Inf
751.75/751.92 c 752s| 5400 | 2119 | 1797k| 329.0 | 79M| 77 | - |5568 |9739 |5568 |5929 |1420 |5857 |1564 | 1.200000e+02 | -- | Inf
762.25/762.43 c 762s| 5500 | 2154 | 1823k| 327.8 | 79M| 77 | - |5568 |9684 |5568 |5929 |1420 |5982 |1592 | 1.200000e+02 | -- | Inf
777.55/777.74 c 778s| 5600 | 2214 | 1865k| 329.4 | 79M| 77 | 714 |5568 |9630 |5568 |5929 |1420 |6089 |1640 | 1.200000e+02 | -- | Inf
785.15/785.34 c 785s| 5700 | 2304 | 1885k| 327.3 | 80M| 77 | 714 |5568 |9636 |5568 |5929 |1420 |6120 |1666 | 1.200000e+02 | -- | Inf
793.95/794.18 c 794s| 5800 | 2338 | 1906k| 325.2 | 80M| 77 | 426 |5568 |9466 |5568 |5929 |1420 |6180 |1700 | 1.200000e+02 | -- | Inf
799.84/800.07 c 800s| 5900 | 2377 | 1926k| 323.0 | 80M| 77 | 461 |5568 |9442 |5568 |5929 |1420 |6251 |1713 | 1.200000e+02 | -- | Inf
807.84/808.04 c 808s| 6000 | 2419 | 1950k| 321.7 | 80M| 77 | 490 |5568 |9420 |5568 |5929 |1420 |6320 |1739 | 1.200000e+02 | -- | Inf
818.94/819.17 c 819s| 6100 | 2476 | 1977k| 320.8 | 81M| 77 | 559 |5568 |9369 |5568 |5929 |1420 |6389 |1775 | 1.200000e+02 | -- | Inf
825.14/825.30 c 825s| 6200 | 2521 | 1990k| 317.8 | 81M| 77 | - |5568 |9350 |5568 |5929 |1420 |6463 |1806 | 1.200000e+02 | -- | Inf
830.34/830.59 c 831s| 6300 | 2565 | 2000k| 314.3 | 82M| 77 | 627 |5568 |9402 |5568 |5929 |1420 |6551 |1829 | 1.200000e+02 | -- | Inf
838.53/838.78 c 839s| 6400 | 2613 | 2027k| 313.5 | 82M| 77 | 440 |5568 |9377 |5568 |5929 |1420 |6630 |1864 | 1.200000e+02 | -- | Inf
845.53/845.72 c 846s| 6500 | 2664 | 2046k| 311.6 | 83M| 77 | 502 |5568 |9375 |5568 |5929 |1420 |6745 |1886 | 1.200000e+02 | -- | Inf
850.53/850.74 c 851s| 6600 | 2726 | 2053k| 307.9 | 83M| 77 | 495 |5568 |9395 |5568 |5929 |1420 |6801 |1919 | 1.200000e+02 | -- | Inf
856.34/856.50 c 857s| 6700 | 2744 | 2065k| 305.2 | 83M| 77 | 589 |5568 |9417 |5568 |5929 |1420 |6891 |1942 | 1.200000e+02 | -- | Inf
861.84/862.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
861.84/862.00 c 862s| 6800 | 2770 | 2074k| 302.1 | 84M| 77 | 397 |5568 |9380 |5568 |5929 |1420 |6977 |1988 | 1.200000e+02 | -- | Inf
869.74/869.94 c 870s| 6900 | 2808 | 2092k| 300.2 | 84M| 77 | 549 |5568 |9321 |5568 |5929 |1420 |7050 |2013 | 1.200000e+02 | -- | Inf
876.43/876.61 c 877s| 7000 | 2829 | 2106k| 297.9 | 84M| 77 | - |5568 |9316 |5568 |5929 |1420 |7162 |2058 | 1.200000e+02 | -- | Inf
880.54/880.75 c 881s| 7100 | 2866 | 2117k| 295.3 | 85M| 77 | 581 |5568 |9310 |5568 |5929 |1420 |7254 |2071 | 1.200000e+02 | -- | Inf
887.03/887.22 c 887s| 7200 | 2916 | 2130k| 293.1 | 85M| 77 | 669 |5568 |9285 |5568 |5929 |1420 |7305 |2100 | 1.200000e+02 | -- | Inf
890.53/890.70 c 891s| 7300 | 2932 | 2141k| 290.5 | 85M| 77 | 575 |5568 |9292 |5568 |5929 |1420 |7389 |2113 | 1.200000e+02 | -- | Inf
894.93/895.13 c 895s| 7400 | 2975 | 2149k| 287.7 | 85M| 77 | 549 |5568 |9235 |5568 |5929 |1420 |7452 |2139 | 1.200000e+02 | -- | Inf
907.23/907.44 c 907s| 7500 | 3023 | 2187k| 288.9 | 86M| 77 | 567 |5568 |9309 |5568 |5929 |1420 |7678 |2177 | 1.200000e+02 | -- | Inf
912.92/913.17 c 913s| 7600 | 3062 | 2200k| 286.9 | 85M| 77 | 790 |5568 |9227 |5568 |5929 |1420 |7735 |2201 | 1.200000e+02 | -- | Inf
917.13/917.35 c 917s| 7700 | 3086 | 2207k| 284.0 | 85M| 77 | 685 |5568 |9195 |5568 |5929 |1420 |7818 |2222 | 1.200000e+02 | -- | Inf
925.94/926.15 c 926s| 7800 | 3129 | 2233k| 283.8 | 86M| 77 | 625 |5568 |9032 |5568 |5929 |1420 |7901 |2243 | 1.200000e+02 | -- | Inf
936.02/936.20 c 936s| 7900 | 3171 | 2265k| 284.1 | 86M| 77 | 648 |5568 |8973 |5568 |5929 |1420 |7994 |2267 | 1.200000e+02 | -- | Inf
940.73/940.91 c 941s| 8000 | 3203 | 2273k| 281.6 | 86M| 77 | 614 |5568 |8951 |5568 |5929 |1420 |8073 |2291 | 1.200000e+02 | -- | Inf
945.32/945.59 c 946s| 8100 | 3250 | 2284k| 279.5 | 87M| 77 | 783 |5568 |8969 |5568 |5929 |1420 |8165 |2303 | 1.200000e+02 | -- | Inf
948.03/948.28 c 948s| 8200 | 3297 | 2291k| 277.0 | 87M| 77 | 604 |5568 |8984 |5568 |5929 |1420 |8216 |2303 | 1.200000e+02 | -- | Inf
953.62/953.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
953.62/953.84 c 954s| 8300 | 3343 | 2302k| 274.9 | 87M| 77 | 644 |5568 |9007 |5568 |5929 |1420 |8287 |2344 | 1.200000e+02 | -- | Inf
958.72/958.99 c 959s| 8400 | 3374 | 2316k| 273.3 | 87M| 77 | 445 |5568 |9003 |5568 |5929 |1420 |8352 |2368 | 1.200000e+02 | -- | Inf
968.42/968.64 c 969s| 8500 | 3404 | 2340k| 272.9 | 88M| 77 | 703 |5568 |8996 |5568 |5929 |1420 |8446 |2404 | 1.200000e+02 | -- | Inf
976.72/976.92 c 977s| 8600 | 3453 | 2356k| 271.6 | 88M| 77 | 760 |5568 |8981 |5568 |5929 |1420 |8498 |2441 | 1.200000e+02 | -- | Inf
981.91/982.14 c 982s| 8700 | 3506 | 2371k| 270.2 | 88M| 77 | 619 |5568 |9000 |5568 |5929 |1420 |8553 |2465 | 1.200000e+02 | -- | Inf
985.92/986.15 c 986s| 8800 | 3524 | 2379k| 268.0 | 89M| 77 | 830 |5568 |9038 |5568 |5929 |1420 |8646 |2477 | 1.200000e+02 | -- | Inf
992.91/993.17 c 993s| 8900 | 3562 | 2396k| 267.0 | 89M| 77 | 526 |5568 |9040 |5568 |5929 |1420 |8719 |2516 | 1.200000e+02 | -- | Inf
1003.22/1003.40 c 1003s| 9000 | 3601 | 2428k| 267.6 | 89M| 77 | 700 |5568 |9184 |5568 |5929 |1420 |8912 |2540 | 1.200000e+02 | -- | Inf
1008.01/1008.22 c 1008s| 9100 | 3637 | 2439k| 265.8 | 89M| 77 | - |5568 |9238 |5568 |5929 |1420 |8986 |2561 | 1.200000e+02 | -- | Inf
1012.92/1013.18 c 1013s| 9200 | 3689 | 2449k| 264.0 | 90M| 77 | 776 |5568 |9209 |5568 |5929 |1420 |9045 |2585 | 1.200000e+02 | -- | Inf
1017.41/1017.61 c 1018s| 9300 | 3741 | 2458k| 262.1 | 90M| 77 | 746 |5568 |9246 |5568 |5929 |1420 |9108 |2597 | 1.200000e+02 | -- | Inf
1021.81/1022.04 c 1022s| 9400 | 3777 | 2467k| 260.2 | 91M| 77 | - |5568 |9304 |5568 |5929 |1420 |9206 |2617 | 1.200000e+02 | -- | Inf
1032.41/1032.64 c 1033s| 9500 | 3822 | 2494k| 260.4 | 91M| 77 | 731 |5568 |9258 |5568 |5929 |1420 |9275 |2666 | 1.200000e+02 | -- | Inf
1038.11/1038.39 c 1038s| 9600 | 3853 | 2505k| 258.8 | 91M| 77 | - |5568 |9308 |5568 |5929 |1420 |9357 |2697 | 1.200000e+02 | -- | Inf
1043.62/1043.83 c 1044s| 9700 | 3887 | 2517k| 257.4 | 92M| 77 | 654 |5568 |9281 |5568 |5929 |1420 |9460 |2709 | 1.200000e+02 | -- | Inf
1049.71/1049.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1049.71/1049.95 c 1050s| 9800 | 3914 | 2530k| 256.1 | 92M| 77 | 721 |5568 |9347 |5568 |5929 |1420 |9553 |2731 | 1.200000e+02 | -- | Inf
1055.60/1055.83 c 1056s| 9900 | 3946 | 2541k| 254.6 | 92M| 77 | 535 |5568 |9378 |5568 |5929 |1420 |9634 |2751 | 1.200000e+02 | -- | Inf
1062.11/1062.33 c 1062s| 10000 | 3983 | 2565k| 254.5 | 92M| 77 | 640 |5568 |9444 |5568 |5929 |1420 |9758 |2763 | 1.200000e+02 | -- | Inf
1067.21/1067.49 c 1067s| 10100 | 4019 | 2575k| 252.9 | 93M| 77 | 505 |5568 |9448 |5568 |5929 |1420 |9849 |2785 | 1.200000e+02 | -- | Inf
1075.30/1075.58 c 1076s| 10200 | 4042 | 2592k| 252.1 | 93M| 77 | 591 |5568 |9412 |5568 |5929 |1420 |9973 |2824 | 1.200000e+02 | -- | Inf
1084.50/1084.75 c 1085s| 10300 | 4075 | 2612k| 251.6 | 93M| 77 | 556 |5568 |9369 |5568 |5929 |1420 | 10k|2872 | 1.200000e+02 | -- | Inf
1094.10/1094.37 c 1094s| 10400 | 4109 | 2631k| 251.1 | 93M| 77 | 503 |5568 |9382 |5568 |5929 |1420 | 10k|2904 | 1.200000e+02 | -- | Inf
1100.70/1100.97 c 1101s| 10500 | 4139 | 2646k| 250.1 | 94M| 77 | 548 |5568 |9406 |5568 |5929 |1420 | 10k|2949 | 1.200000e+02 | -- | Inf
1108.80/1109.08 c 1109s| 10600 | 4162 | 2672k| 250.2 | 94M| 77 | 618 |5568 |9330 |5568 |5929 |1420 | 10k|2972 | 1.200000e+02 | -- | Inf
1171.39/1171.63 c 1172s| 10700 | 4206 | 2909k| 270.0 | 96M| 77 | 351 |5568 | 10k|5568 |5929 |1420 | 11k|3011 | 1.200000e+02 | -- | Inf
1195.58/1195.87 c 1196s| 10800 | 4246 | 2973k| 273.4 | 96M| 77 | 637 |5568 | 11k|5568 |5929 |1420 | 12k|3030 | 1.200000e+02 | -- | Inf
1200.38/1200.65 c 1201s| 10900 | 4264 | 2986k| 272.1 | 97M| 77 | - |5568 | 11k|5568 |5929 |1420 | 12k|3042 | 1.200000e+02 | -- | Inf
1209.18/1209.43 c 1209s| 11000 | 4287 | 3008k| 271.6 | 97M| 77 | 638 |5568 | 11k|5568 |5929 |1420 | 12k|3085 | 1.200000e+02 | -- | Inf
1213.19/1213.47 c 1213s| 11100 | 4306 | 3017k| 269.9 | 98M| 77 | 667 |5568 | 11k|5568 |5929 |1420 | 13k|3103 | 1.200000e+02 | -- | Inf
1218.18/1218.49 c 1218s| 11200 | 4324 | 3025k| 268.3 | 98M| 77 | 646 |5568 | 11k|5568 |5929 |1420 | 13k|3136 | 1.200000e+02 | -- | Inf
1228.08/1228.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1228.08/1228.39 c 1228s| 11300 | 4346 | 3041k| 267.3 | 98M| 77 | - |5568 | 11k|5568 |5929 |1420 | 13k|3194 | 1.200000e+02 | -- | Inf
1239.78/1240.09 c 1240s| 11400 | 4380 | 3071k| 267.7 | 98M| 77 | 713 |5568 | 11k|5568 |5929 |1420 | 13k|3240 | 1.200000e+02 | -- | Inf
1247.77/1248.01 c 1248s| 11500 | 4408 | 3098k| 267.7 | 98M| 77 | 598 |5568 | 10k|5568 |5929 |1420 | 13k|3263 | 1.200000e+02 | -- | Inf
1253.47/1253.71 c 1254s| 11600 | 4433 | 3108k| 266.2 | 98M| 77 | - |5568 | 10k|5568 |5929 |1420 | 13k|3294 | 1.200000e+02 | -- | Inf
1259.88/1260.13 c 1260s| 11700 | 4470 | 3121k| 265.1 | 99M| 77 | 318 |5568 | 10k|5568 |5929 |1420 | 13k|3316 | 1.200000e+02 | -- | Inf
1264.07/1264.37 c 1264s| 11800 | 4498 | 3131k| 263.7 | 99M| 77 | - |5568 | 10k|5568 |5929 |1420 | 13k|3336 | 1.200000e+02 | -- | Inf
1271.98/1272.29 c 1272s| 11900 | 4520 | 3148k| 262.8 | 99M| 77 | - |5568 | 10k|5568 |5929 |1420 | 13k|3375 | 1.200000e+02 | -- | Inf
1276.87/1277.18 c 1277s| 12000 | 4553 | 3159k| 261.6 | 100M| 77 | - |5568 | 10k|5568 |5929 |1420 | 14k|3391 | 1.200000e+02 | -- | Inf
1286.77/1287.01 c 1287s| 12100 | 4592 | 3181k| 261.2 | 100M| 77 | 760 |5568 | 10k|5568 |5929 |1420 | 14k|3426 | 1.200000e+02 | -- | Inf
1307.17/1307.43 c 1307s| 12200 | 4646 | 3238k| 263.8 | 100M| 77 | 586 |5568 | 10k|5568 |5929 |1420 | 14k|3478 | 1.200000e+02 | -- | Inf
1311.87/1312.19 c 1312s| 12300 | 4670 | 3247k| 262.4 | 100M| 77 | 615 |5568 | 10k|5568 |5929 |1420 | 14k|3500 | 1.200000e+02 | -- | Inf
1322.06/1322.38 c 1322s| 12400 | 4709 | 3268k| 261.9 | 100M| 77 | 703 |5568 | 10k|5568 |5929 |1420 | 14k|3554 | 1.200000e+02 | -- | Inf
1329.16/1329.42 c 1329s| 12500 | 4739 | 3287k| 261.4 | 101M| 77 | - |5568 | 10k|5568 |5929 |1420 | 14k|3574 | 1.200000e+02 | -- | Inf
1334.46/1334.72 c 1335s| 12600 | 4757 | 3299k| 260.3 | 101M| 77 | 568 |5568 | 10k|5568 |5929 |1420 | 14k|3595 | 1.200000e+02 | -- | Inf
1340.36/1340.69 c 1341s| 12700 | 4781 | 3309k| 259.0 | 101M| 77 | 866 |5568 | 10k|5568 |5929 |1420 | 14k|3642 | 1.200000e+02 | -- | Inf
1347.96/1348.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1347.96/1348.25 c 1348s| 12800 | 4791 | 3326k| 258.3 | 101M| 77 | - |5568 | 10k|5568 |5929 |1420 | 14k|3672 | 1.200000e+02 | -- | Inf
1353.66/1353.91 c 1354s| 12900 | 4809 | 3339k| 257.3 | 101M| 77 | 631 |5568 | 10k|5568 |5929 |1420 | 14k|3693 | 1.200000e+02 | -- | Inf
1360.66/1360.91 c 1361s| 13000 | 4843 | 3352k| 256.3 | 101M| 77 | - |5568 | 10k|5568 |5929 |1420 | 15k|3742 | 1.200000e+02 | -- | Inf
1367.66/1367.97 c 1368s| 13100 | 4864 | 3370k| 255.7 | 101M| 77 | 603 |5568 | 10k|5568 |5929 |1420 | 15k|3770 | 1.200000e+02 | -- | Inf
1372.86/1373.15 c 1373s| 13200 | 4892 | 3381k| 254.6 | 102M| 77 | - |5568 | 10k|5568 |5929 |1420 | 15k|3806 | 1.200000e+02 | -- | Inf
1378.26/1378.50 c 1379s| 13300 | 4897 | 3392k| 253.6 | 102M| 77 | 821 |5568 | 10k|5568 |5929 |1420 | 15k|3828 | 1.200000e+02 | -- | Inf
1383.65/1383.98 c 1384s| 13400 | 4921 | 3402k| 252.4 | 102M| 77 | 736 |5568 | 10k|5568 |5929 |1420 | 15k|3856 | 1.200000e+02 | -- | Inf
1388.05/1388.31 c 1388s| 13500 | 4944 | 3410k| 251.1 | 102M| 77 | - |5568 | 10k|5568 |5929 |1420 | 15k|3884 | 1.200000e+02 | -- | Inf
1393.25/1393.56 c 1394s| 13600 | 4974 | 3421k| 250.1 | 102M| 77 | - |5568 | 10k|5568 |5929 |1420 | 15k|3902 | 1.200000e+02 | -- | Inf
1401.45/1401.77 c 1402s| 13700 | 5010 | 3442k| 249.8 | 102M| 77 | 852 |5568 | 10k|5568 |5929 |1420 | 15k|3945 | 1.200000e+02 | -- | Inf
1407.55/1407.82 c 1408s| 13800 | 5040 | 3457k| 249.1 | 103M| 77 | 708 |5568 | 10k|5568 |5929 |1420 | 15k|3968 | 1.200000e+02 | -- | Inf
1413.16/1413.47 c 1413s| 13900 | 5050 | 3466k| 247.9 | 103M| 77 | 711 |5568 | 10k|5568 |5929 |1420 | 16k|4004 | 1.200000e+02 | -- | Inf
1420.95/1421.24 c 1421s| 14000 | 5087 | 3490k| 247.8 | 103M| 77 | - |5568 | 10k|5568 |5929 |1420 | 16k|4031 | 1.200000e+02 | -- | Inf
1425.95/1426.27 c 1426s| 14100 | 5112 | 3499k| 246.7 | 103M| 77 | - |5568 | 10k|5568 |5929 |1420 | 16k|4068 | 1.200000e+02 | -- | Inf
1430.55/1430.82 c 1431s| 14200 | 5142 | 3508k| 245.6 | 103M| 77 | 617 |5568 | 10k|5568 |5929 |1420 | 16k|4090 | 1.200000e+02 | -- | Inf
1435.65/1435.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1435.65/1435.92 c 1436s| 14300 | 5156 | 3516k| 244.5 | 103M| 77 | 613 |5568 | 10k|5568 |5929 |1420 | 16k|4114 | 1.200000e+02 | -- | Inf
1441.86/1442.17 c 1442s| 14400 | 5197 | 3529k| 243.6 | 104M| 77 | - |5568 | 10k|5568 |5929 |1420 | 16k|4159 | 1.200000e+02 | -- | Inf
1448.04/1448.34 c 1448s| 14500 | 5221 | 3536k| 242.5 | 104M| 77 | 860 |5568 | 10k|5568 |5929 |1420 | 16k|4244 | 1.200000e+02 | -- | Inf
1452.65/1452.91 c 1453s| 14600 | 5248 | 3545k| 241.4 | 104M| 77 | 778 |5568 | 10k|5568 |5929 |1420 | 16k|4277 | 1.200000e+02 | -- | Inf
1458.55/1458.82 c 1459s| 14700 | 5268 | 3554k| 240.4 | 104M| 77 | 561 |5568 | 10k|5568 |5929 |1420 | 16k|4326 | 1.200000e+02 | -- | Inf
1463.75/1464.08 c 1464s| 14800 | 5290 | 3563k| 239.4 | 104M| 77 | 768 |5568 | 10k|5568 |5929 |1420 | 16k|4363 | 1.200000e+02 | -- | Inf
1473.64/1474.00 c 1474s| 14900 | 5304 | 3580k| 238.9 | 104M| 77 | - |5568 | 10k| 0 | 0 |1420 | 16k|4447 | 1.200000e+02 | -- | Inf
1489.04/1489.38 c 1489s| 15000 | 5348 | 3616k| 239.7 | 105M| 77 | 746 |5568 | 10k|5568 |5929 |1420 | 17k|4494 | 1.200000e+02 | -- | Inf
1494.04/1494.38 c 1494s| 15100 | 5374 | 3624k| 238.6 | 105M| 77 | 504 |5568 | 10k|5568 |5929 |1420 | 17k|4532 | 1.200000e+02 | -- | Inf
1500.15/1500.40 c 1500s| 15200 | 5423 | 3635k| 237.8 | 105M| 77 | 815 |5568 | 10k|5568 |5929 |1420 | 17k|4566 | 1.200000e+02 | -- | Inf
1504.44/1504.79 c 1505s| 15300 | 5445 | 3644k| 236.9 | 106M| 77 | - |5568 | 10k|5568 |5929 |1420 | 17k|4582 | 1.200000e+02 | -- | Inf
1509.34/1509.63 c 1510s| 15400 | 5477 | 3656k| 236.1 | 106M| 77 | 839 |5568 | 10k|5568 |5929 |1420 | 17k|4601 | 1.200000e+02 | -- | Inf
1514.64/1514.90 c 1515s| 15500 | 5513 | 3669k| 235.4 | 106M| 77 | 595 |5568 | 10k|5568 |5929 |1420 | 18k|4622 | 1.200000e+02 | -- | Inf
1522.23/1522.50 c 1522s| 15600 | 5529 | 3681k| 234.6 | 106M| 77 | 663 |5568 | 10k|5568 |5929 |1420 | 18k|4672 | 1.200000e+02 | -- | Inf
1540.93/1541.23 c 1541s| 15700 | 5566 | 3735k| 236.6 | 106M| 77 | - |5568 | 10k|5568 |5929 |1420 | 18k|4717 | 1.200000e+02 | -- | Inf
1553.94/1554.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1553.94/1554.23 c 1554s| 15800 | 5609 | 3770k| 237.3 | 106M| 77 | 484 |5568 | 10k|5568 |5929 |1420 | 18k|4782 | 1.200000e+02 | -- | Inf
1571.13/1571.42 c 1571s| 15900 | 5641 | 3810k| 238.3 | 107M| 77 | - |5568 | 10k| 0 | 0 |1420 | 18k|4837 | 1.200000e+02 | -- | Inf
1582.42/1582.79 c 1583s| 16000 | 5702 | 3845k| 239.0 | 107M| 77 | 527 |5568 |9898 |5568 |5929 |1420 | 18k|4880 | 1.200000e+02 | -- | Inf
1589.82/1590.12 c 1590s| 16100 | 5729 | 3858k| 238.4 | 107M| 77 | 750 |5568 |9802 |5568 |5929 |1420 | 18k|4917 | 1.200000e+02 | -- | Inf
1599.43/1599.76 c 1600s| 16200 | 5763 | 3882k| 238.4 | 107M| 77 | 623 |5568 |9712 |5568 |5929 |1420 | 18k|4946 | 1.200000e+02 | -- | Inf
1609.92/1610.26 c 1610s| 16300 | 5809 | 3913k| 238.8 | 108M| 77 | 565 |5568 |9615 |5568 |5929 |1420 | 18k|4986 | 1.200000e+02 | -- | Inf
1614.62/1614.96 c 1615s| 16400 | 5824 | 3922k| 237.9 | 108M| 77 | - |5568 |9550 |5568 |5929 |1420 | 18k|5015 | 1.200000e+02 | -- | Inf
1620.92/1621.20 c 1621s| 16500 | 5850 | 3932k| 237.1 | 108M| 77 | - |5568 |9515 | 0 | 0 |1420 | 19k|5054 | 1.200000e+02 | -- | Inf
1643.32/1643.62 c 1644s| 16600 | 5860 | 4000k| 239.8 | 109M| 77 | - |5568 | 10k|5568 |5929 |1420 | 20k|5106 | 1.200000e+02 | -- | Inf
1649.92/1650.22 c 1650s| 16700 | 5891 | 4016k| 239.3 | 109M| 77 | - |5568 | 10k|5568 |5929 |1420 | 20k|5141 | 1.200000e+02 | -- | Inf
1655.42/1655.71 c 1656s| 16800 | 5913 | 4027k| 238.5 | 109M| 77 | - |5568 | 10k|5568 |5929 |1420 | 20k|5157 | 1.200000e+02 | -- | Inf
1661.72/1662.05 c 1662s| 16900 | 5953 | 4038k| 237.8 | 110M| 77 | 704 |5568 | 10k|5568 |5929 |1420 | 20k|5206 | 1.200000e+02 | -- | Inf
1672.11/1672.43 c 1672s| 17000 | 5966 | 4058k| 237.5 | 110M| 77 | 778 |5568 | 10k|5568 |5929 |1420 | 20k|5290 | 1.200000e+02 | -- | Inf
1677.31/1677.67 c 1678s| 17100 | 5994 | 4071k| 236.9 | 110M| 77 | 691 |5568 | 10k|5568 |5929 |1420 | 20k|5300 | 1.200000e+02 | -- | Inf
1683.61/1683.97 c 1684s| 17200 | 6030 | 4088k| 236.5 | 110M| 77 | - |5568 | 10k|5568 |5929 |1420 | 20k|5332 | 1.200000e+02 | -- | Inf
1688.81/1689.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1688.81/1689.15 c 1689s| 17300 | 6032 | 4098k| 235.7 | 110M| 77 | 524 |5568 | 10k|5568 |5929 |1420 | 20k|5356 | 1.200000e+02 | -- | Inf
1694.31/1694.67 c 1695s| 17400 | 6056 | 4109k| 235.0 | 110M| 77 | - |5568 | 10k|5568 |5929 |1420 | 20k|5388 | 1.200000e+02 | -- | Inf
1699.11/1699.42 c 1699s| 17500 | 6070 | 4115k| 234.0 | 111M| 81 | 587 |5568 | 10k|5568 |5929 |1420 | 21k|5429 | 1.200000e+02 | -- | Inf
1704.62/1704.93 c 1705s| 17600 | 6092 | 4125k| 233.2 | 111M| 81 | - |5568 | 10k|5568 |5929 |1420 | 21k|5460 | 1.200000e+02 | -- | Inf
1711.01/1711.37 c 1711s| 17700 | 6114 | 4136k| 232.5 | 111M| 81 | 745 |5568 | 10k|5568 |5929 |1420 | 21k|5517 | 1.200000e+02 | -- | Inf
1718.31/1718.60 c 1719s| 17800 | 6133 | 4146k| 231.8 | 111M| 81 | 622 |5568 | 10k|5568 |5929 |1420 | 21k|5578 | 1.200000e+02 | -- | Inf
1724.60/1724.94 c 1725s| 17900 | 6160 | 4158k| 231.2 | 112M| 81 | - |5568 | 10k|5568 |5929 |1420 | 21k|5603 | 1.200000e+02 | -- | Inf
1729.40/1729.79 c 1730s| 18000 | 6176 | 4166k| 230.3 | 112M| 81 | - |5568 | 10k|5568 |5929 |1420 | 21k|5644 | 1.200000e+02 | -- | Inf
1735.51/1735.87 c 1736s| 18100 | 6201 | 4179k| 229.8 | 112M| 81 | 392 |5568 | 10k|5568 |5929 |1420 | 21k|5677 | 1.200000e+02 | -- | Inf
1742.20/1742.57 c 1743s| 18200 | 6234 | 4198k| 229.6 | 112M| 81 | - |5568 | 10k|5568 |5929 |1420 | 21k|5704 | 1.200000e+02 | -- | Inf
1747.30/1747.66 c 1748s| 18300 | 6261 | 4213k| 229.1 | 113M| 81 | 557 |5568 | 10k|5568 |5929 |1420 | 22k|5728 | 1.200000e+02 | -- | Inf
1752.49/1752.85 c 1753s| 18400 | 6270 | 4225k| 228.5 | 113M| 81 | - |5568 | 10k|5568 |5929 |1420 | 22k|5758 | 1.200000e+02 | -- | Inf
1762.09/1762.42 c 1762s| 18500 | 6285 | 4244k| 228.3 | 113M| 81 | - |5568 | 10k|5568 |5929 |1420 | 22k|5828 | 1.200000e+02 | -- | Inf
1770.49/1770.88 c 1771s| 18600 | 6317 | 4264k| 228.2 | 113M| 81 | - |5568 |9944 |5568 |5929 |1420 | 22k|5869 | 1.200000e+02 | -- | Inf
1776.49/1776.80 c 1777s| 18700 | 6357 | 4275k| 227.5 | 113M| 81 | - |5568 |9923 |5568 |5929 |1420 | 22k|5910 | 1.200000e+02 | -- | Inf
1784.29/1784.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1784.29/1784.67 c 1785s| 18800 | 6391 | 4297k| 227.5 | 113M| 81 | - |5568 |9922 |5568 |5929 |1420 | 22k|5946 | 1.200000e+02 | -- | Inf
1789.30/1789.69 c 1790s| 18900 | 6403 | 4307k| 226.8 | 114M| 81 | 750 |5568 |9900 |5568 |5929 |1420 | 22k|5978 | 1.200000e+02 | -- | Inf
1796.00/1796.33 c 1796s| 19000 | 6410 | 4318k| 226.2 | 114M| 81 | - |5568 |9902 |5568 |5929 |1420 | 22k|6024 | 1.200000e+02 | -- | Inf
1796.69/1797.02 c
1796.69/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.02 c Solving Time (sec) : 1797.02
1796.69/1797.02 c Solving Nodes : 19001
1796.69/1797.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.69/1797.02 c Dual Bound : +1.20000000000000e+02
1796.69/1797.02 c Gap : infinite
1796.69/1797.02 s UNKNOWN
1796.69/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.02 c Total Time : 1797.02
1796.69/1797.02 c solving : 1797.02
1796.69/1797.02 c presolving : 0.37 (included in solving)
1796.69/1797.02 c reading : 0.13 (included in solving)
1796.69/1797.02 c copying : 0.08 (2 #copies) (minimal 0.04, maximal 0.04, average 0.04)
1796.69/1797.02 c Original Problem :
1796.69/1797.02 c Problem name : HOME/instance-3690979-1338020535.opb
1796.69/1797.02 c Variables : 5570 (5570 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.02 c Constraints : 10896 initial, 10896 maximal
1796.69/1797.02 c Objective sense : minimize
1796.69/1797.02 c Presolved Problem :
1796.69/1797.02 c Problem name : t_HOME/instance-3690979-1338020535.opb
1796.69/1797.02 c Variables : 5568 (5568 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.02 c Constraints : 5688 initial, 11290 maximal
1796.69/1797.02 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.02 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c probing : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c knapsack : 0.01 0.00 0 0 0 0 0 0 1 29 240
1796.69/1797.02 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c linear : 0.22 0.00 2 0 0 2 0 5209 0 120 350
1796.69/1797.02 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c root node : - - 0 - - 0 - - - - -
1796.69/1797.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.02 c integral : 0 0 0 0 13591 0 4 0 49 2340 0 0 25998
1796.69/1797.02 c knapsack : 479 479 6 93489 0 0 3 38679 215 146139 584 0 0
1796.69/1797.02 c setppc : 1 1 6 6081 0 0 0 3634 0 26 0 0 0
1796.69/1797.02 c linear : 5208+ 6642 7 93274 0 0 0 18381 790 1618961 1 0 0
1796.69/1797.02 c logicor : 0+ 4422 6 44991 0 0 0 45761 124 30361 0 0 0
1796.69/1797.02 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.02 c integral : 556.03 0.00 0.00 0.00 556.03 0.00 0.00 0.00
1796.69/1797.02 c knapsack : 4.94 0.00 0.04 4.84 0.00 0.00 0.00 0.06
1796.69/1797.02 c setppc : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.01
1796.69/1797.02 c linear : 29.22 0.00 0.01 29.17 0.00 0.00 0.00 0.05
1796.69/1797.02 c logicor : 2.27 0.00 0.00 2.18 0.00 0.00 0.00 0.09
1796.69/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.02 c rootredcost : 0 0 0 0
1796.69/1797.02 c pseudoobj : 106980 0 0 0
1796.69/1797.02 c vbounds : 0 0 0 0
1796.69/1797.02 c redcost : 13643 0 0 91
1796.69/1797.02 c probing : 0 0 0 0
1796.69/1797.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.02 c rootredcost : 0.10 0.00 0.00 0.10 0.00
1796.69/1797.02 c pseudoobj : 0.21 0.00 0.00 0.21 0.00
1796.69/1797.02 c vbounds : 0.08 0.00 0.00 0.08 0.00
1796.69/1797.02 c redcost : 1.48 0.00 0.00 1.48 0.00
1796.69/1797.02 c probing : 0.02 0.00 0.02 0.00 0.00
1796.69/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.02 c propagation : 0.13 1129 1126 7031 31.7 131 14.4 -
1796.69/1797.02 c infeasible LP : 6.18 8622 8622 24292 18.5 460 15.5 0
1796.69/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.02 c applied globally : - - - 22750 18.6 - - -
1796.69/1797.02 c applied locally : - - - 0 0.0 - - -
1796.69/1797.02 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.02 c cut pool : 0.00 5 - - 658 - (maximal pool size: 4117)
1796.69/1797.02 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c impliedbounds : 0.00 0.00 6 0 0 0 0
1796.69/1797.02 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c gomory : 1.21 0.00 6 0 0 104 0
1796.69/1797.02 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c strongcg : 1.28 0.00 6 0 0 515 0
1796.69/1797.02 c cmir : 2.19 0.00 6 0 0 3000 0
1796.69/1797.02 c flowcover : 1.35 0.00 6 0 0 1200 0
1796.69/1797.02 c clique : 0.01 0.00 1 0 0 0 0
1796.69/1797.02 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c mcf : 0.00 0.00 1 0 0 0 0
1796.69/1797.02 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c rapidlearning : 17.28 0.00 1 0 0 0 1434
1796.69/1797.02 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.02 c problem variables: 0.00 - 0 0
1796.69/1797.02 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.02 c relpscost : 555.97 0.00 13591 49 2340 0 0 25998
1796.69/1797.02 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c inference : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.02 c LP solutions : 0.00 - - 0
1796.69/1797.02 c pseudo solutions : 0.00 - - 0
1796.69/1797.02 c oneopt : 0.04 0.00 0 0
1796.69/1797.02 c crossover : 0.02 0.00 0 0
1796.69/1797.02 c guideddiving : 0.00 0.00 0 0
1796.69/1797.02 c coefdiving : 144.85 0.00 3 0
1796.69/1797.02 c objpscostdiving : 33.51 0.00 4 0
1796.69/1797.02 c fracdiving : 74.20 0.00 12 0
1796.69/1797.02 c rootsoldiving : 11.56 0.00 15 0
1796.69/1797.02 c feaspump : 26.29 0.00 19 0
1796.69/1797.02 c pscostdiving : 37.47 0.00 53 0
1796.69/1797.02 c veclendiving : 33.27 0.00 54 0
1796.69/1797.02 c linesearchdiving : 52.25 0.00 146 0
1796.69/1797.02 c smallcard : 0.00 0.00 0 0
1796.69/1797.02 c trivial : 0.00 0.00 2 0
1796.69/1797.02 c shiftandpropagate: 0.47 0.00 1 0
1796.69/1797.02 c simplerounding : 0.01 0.00 0 0
1796.69/1797.02 c zirounding : 0.81 0.00 1000 0
1796.69/1797.02 c rounding : 1.93 0.00 1595 0
1796.69/1797.02 c shifting : 10.09 0.00 449 0
1796.69/1797.02 c intshifting : 0.00 0.00 0 0
1796.69/1797.02 c twoopt : 0.00 0.00 0 0
1796.69/1797.02 c indoneopt : 0.04 0.00 0 0
1796.69/1797.02 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.02 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.02 c clique : 0.00 0.00 0 0
1796.69/1797.02 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.02 c indrounding : 0.00 0.00 0 0
1796.69/1797.02 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.02 c intdiving : 0.00 0.00 0 0
1796.69/1797.02 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.02 c octane : 0.00 0.00 0 0
1796.69/1797.02 c rens : 0.19 0.00 1 0
1796.69/1797.02 c rins : 0.00 0.00 0 0
1796.69/1797.02 c localbranching : 0.00 0.00 0 0
1796.69/1797.02 c mutation : 0.00 0.00 0 0
1796.69/1797.02 c dins : 0.00 0.00 0 0
1796.69/1797.02 c vbounds : 0.00 0.00 0 0
1796.69/1797.02 c undercover : 0.00 0.00 0 0
1796.69/1797.02 c subnlp : 0.02 0.00 0 0
1796.69/1797.02 c trysol : 0.03 0.00 0 0
1796.69/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.02 c primal LP : 0.07 1 0 0.00 0.00 0.07 1
1796.69/1797.02 c dual LP : 707.15 19193 2761433 145.38 3905.04 1.27 198
1796.69/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.02 c diving/probing LP: 385.84 10937 1558859 142.53 4040.15
1796.69/1797.02 c strong branching : 553.36 6028 1504872 249.65 2719.53
1796.69/1797.02 c (at root node) : - 23 20202 878.35 -
1796.69/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.02 c B&B Tree :
1796.69/1797.02 c number of runs : 1
1796.69/1797.02 c nodes : 19001
1796.69/1797.02 c nodes (total) : 19001
1796.69/1797.02 c nodes left : 6411
1796.69/1797.02 c max depth : 81
1796.69/1797.02 c max depth (total): 81
1796.69/1797.02 c backtracks : 2492 (13.1%)
1796.69/1797.02 c delayed cutoffs : 587
1796.69/1797.02 c repropagations : 25726 (469986 domain reductions, 238 cutoffs)
1796.69/1797.02 c avg switch length: 7.85
1796.69/1797.02 c switching time : 25.91
1796.69/1797.02 c Solution :
1796.69/1797.02 c Solutions found : 0 (0 improvements)
1796.69/1797.02 c Primal Bound : -
1796.69/1797.02 c Dual Bound : +1.20000000000000e+02
1796.69/1797.02 c Gap : infinite
1796.69/1797.02 c Root Dual Bound : +1.20000000000000e+02
1796.69/1797.02 c Root Iterations : 20926
1796.79/1797.12 c Time complete: 1796.82.
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-3690979-1338020535/watcher-3690979-1338020535 -o /tmp/evaluation-result-3690979-1338020535/solver-3690979-1338020535 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690979-1338020535.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.01 1.92 3/174 28570
/proc/meminfo: memFree=29342724/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=10124 CPUtime=0 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 1274 0 0 0 0 0 0 0 20 0 1 0 268182105 10366976 1228 33554432000 4194304 10173063 140735825259120 140734171267336 8985008 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 2531 1228 416 1460 0 1062 0
[startup+0.09357 s]
/proc/loadavg: 2.06 2.01 1.92 3/174 28570
/proc/meminfo: memFree=29342724/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=21052 CPUtime=0.08 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 4019 0 0 0 8 0 0 0 20 0 1 0 268182105 21557248 3973 33554432000 4194304 10173063 140735825259120 140734171267336 8985008 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 5263 3973 416 1460 0 3794 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21052
[startup+0.100321 s]
/proc/loadavg: 2.06 2.01 1.92 3/174 28570
/proc/meminfo: memFree=29342724/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=22224 CPUtime=0.09 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 4290 0 0 0 9 0 0 0 20 0 1 0 268182105 22757376 4244 33554432000 4194304 10173063 140735825259120 140734171267336 7142286 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 5556 4244 416 1460 0 4087 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22224
[startup+0.300284 s]
/proc/loadavg: 2.06 2.01 1.92 3/174 28570
/proc/meminfo: memFree=29342724/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=119396 CPUtime=0.29 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 27174 0 0 0 26 3 0 0 20 0 1 0 268182105 122261504 27128 33554432000 4194304 10173063 140735825259120 140734171267336 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 29849 27128 544 1460 0 28380 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 119396
[startup+0.700282 s]
/proc/loadavg: 2.06 2.01 1.92 3/174 28570
/proc/meminfo: memFree=29342724/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=141004 CPUtime=0.69 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 33986 0 0 0 59 10 0 0 20 0 1 0 268182105 144388096 32130 33554432000 4194304 10173063 140735825259120 140735825255016 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 35251 32130 692 1460 0 33782 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 141004
[startup+1.50028 s]
/proc/loadavg: 2.05 2.01 1.92 3/175 28571
/proc/meminfo: memFree=29211384/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=157068 CPUtime=1.49 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 37291 0 0 0 137 12 0 0 20 0 1 0 268182105 160837632 36613 33554432000 4194304 10173063 140735825259120 140735825255000 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 39267 36613 795 1460 0 37798 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 157068
[startup+3.10029 s]
/proc/loadavg: 2.05 2.01 1.92 3/175 28571
/proc/meminfo: memFree=29196804/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=214924 CPUtime=3.09 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 51384 0 0 0 289 20 0 0 20 0 1 0 268182105 220082176 50706 33554432000 4194304 10173063 140735825259120 140735825254280 4420784 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 53731 50706 835 1460 0 52262 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 214924
[startup+6.30029 s]
/proc/loadavg: 2.05 2.01 1.92 3/175 28571
/proc/meminfo: memFree=29133672/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=218316 CPUtime=6.29 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 52217 0 0 0 602 27 0 0 20 0 1 0 268182105 223555584 51539 33554432000 4194304 10173063 140735825259120 140735825253160 5584717 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 54579 51539 835 1460 0 53110 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 218316
[startup+12.7003 s]
/proc/loadavg: 2.05 2.01 1.92 3/175 28571
/proc/meminfo: memFree=29116072/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=228380 CPUtime=12.69 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 54714 0 0 0 1230 39 0 0 20 0 1 0 268182105 233861120 54036 33554432000 4194304 10173063 140735825259120 140735825253160 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 57095 54036 835 1460 0 55626 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 228380
[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 1.92 3/175 28571
/proc/meminfo: memFree=29089568/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=237416 CPUtime=25.49 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 57143 0 0 0 2486 63 0 0 20 0 1 0 268182105 243113984 56465 33554432000 4194304 10173063 140735825259120 140735825252760 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 59354 56465 855 1460 0 57885 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 237416
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 1.92 3/175 28571
/proc/meminfo: memFree=29059096/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=237544 CPUtime=51.07 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 63149 0 0 0 5037 70 0 0 20 0 1 0 268182105 243245056 57351 33554432000 4194304 10173063 140735825259120 140735825251832 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 59386 57351 863 1460 0 57917 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 237544
[startup+102.306 s]
/proc/loadavg: 2.01 2.00 1.92 3/175 28571
/proc/meminfo: memFree=29005768/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=237544 CPUtime=102.26 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 63153 0 0 0 10149 77 0 0 20 0 1 0 268182105 243245056 57351 33554432000 4194304 10173063 140735825259120 140735825251832 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 59386 57351 863 1460 0 57917 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 237544
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 28571
/proc/meminfo: memFree=28944540/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=237544 CPUtime=162.24 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 63172 0 0 0 16134 90 0 0 20 0 1 0 268182105 243245056 58727 33554432000 4194304 10173063 140735825259120 140735825251560 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 59386 58727 865 1460 0 57917 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 237544
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 28572
/proc/meminfo: memFree=28884636/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=237544 CPUtime=222.23 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 63172 0 0 0 22116 107 0 0 20 0 1 0 268182105 243245056 58727 33554432000 4194304 10173063 140735825259120 140735825251096 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 59386 58727 865 1460 0 57917 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 237544
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 28572
/proc/meminfo: memFree=28828340/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=237544 CPUtime=282.23 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 63172 0 0 0 28099 124 0 0 20 0 1 0 268182105 243245056 58727 33554432000 4194304 10173063 140735825259120 140735825251832 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 59386 58727 865 1460 0 57917 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 237544
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 28572
/proc/meminfo: memFree=28775332/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=237544 CPUtime=342.22 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 63174 0 0 0 34085 137 0 0 20 0 1 0 268182105 243245056 58729 33554432000 4194304 10173063 140735825259120 140735825252296 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 59386 58729 866 1460 0 57917 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 237544
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 28572
/proc/meminfo: memFree=28721048/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=237544 CPUtime=402.21 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 63174 0 0 0 40070 151 0 0 20 0 1 0 268182105 243245056 58729 33554432000 4194304 10173063 140735825259120 140735825252664 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 59386 58729 866 1460 0 57917 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 237544
[startup+462.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/175 28572
/proc/meminfo: memFree=28674700/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=237544 CPUtime=462.2 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 63174 0 0 0 46057 163 0 0 20 0 1 0 268182105 243245056 58729 33554432000 4194304 10173063 140735825259120 140735825255592 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 59386 58729 866 1460 0 57917 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 237544
[startup+522.3 s]
/proc/loadavg: 2.10 2.03 1.93 3/176 28576
/proc/meminfo: memFree=28621648/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=237544 CPUtime=522.19 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 63174 0 0 0 52035 184 0 0 20 0 1 0 268182105 243245056 58729 33554432000 4194304 10173063 140735825259120 140735825252488 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 59386 58729 866 1460 0 57917 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 237544
[startup+582.3 s]
/proc/loadavg: 2.03 2.02 1.93 3/175 28576
/proc/meminfo: memFree=28570596/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=237544 CPUtime=582.18 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 63174 0 0 0 58017 201 0 0 20 0 1 0 268182105 243245056 58729 33554432000 4194304 10173063 140735825259120 140735825251640 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 59386 58729 866 1460 0 57917 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 237544
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28170356/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=249496 CPUtime=1062.11 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 65609 0 0 0 105857 354 0 0 20 0 1 0 268182105 255483904 61675 33554432000 4194304 10173063 140735825259120 140735825252376 4953523 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 62374 61675 866 1460 0 60905 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 249496
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/176 28582
/proc/meminfo: memFree=28118016/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=254584 CPUtime=1122.09 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 82497 0 0 0 111833 376 0 0 20 0 1 0 268182105 260694016 62883 33554432000 4194304 10173063 140735825259120 140735825251096 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 63646 62883 866 1460 0 62177 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 254584
[startup+1182.3 s]
/proc/loadavg: 2.15 2.04 1.96 3/175 28582
/proc/meminfo: memFree=28065448/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=263328 CPUtime=1182.09 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 84595 0 0 0 117814 395 0 0 20 0 1 0 268182105 269647872 64981 33554432000 4194304 10173063 140735825259120 140735825252040 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 65832 64981 866 1460 0 64363 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 263328
[startup+1242.3 s]
/proc/loadavg: 2.09 2.04 1.96 3/175 28582
/proc/meminfo: memFree=28026244/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=258672 CPUtime=1242.08 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 93419 0 0 0 123791 417 0 0 20 0 1 0 268182105 264880128 63968 33554432000 4194304 10173063 140735825259120 140735825252248 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 64668 63968 866 1460 0 63199 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 258672
[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 1.96 3/175 28582
/proc/meminfo: memFree=27981756/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=263912 CPUtime=1302.08 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 100738 0 0 0 129774 434 0 0 20 0 1 0 268182105 270245888 64688 33554432000 4194304 10173063 140735825259120 140735825252760 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 65978 64688 866 1460 0 64509 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 263912
[startup+1362.3 s]
/proc/loadavg: 2.07 2.04 1.97 3/175 28582
/proc/meminfo: memFree=27937764/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=264036 CPUtime=1362.06 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 107429 0 0 0 135750 456 0 0 20 0 1 0 268182105 270372864 65272 33554432000 4194304 10173063 140735825259120 140735825252760 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 66009 65272 866 1460 0 64540 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 264036
[startup+1422.31 s]
/proc/loadavg: 2.02 2.03 1.97 3/175 28583
/proc/meminfo: memFree=27888936/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=267648 CPUtime=1422.05 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 114307 0 0 0 141729 476 0 0 20 0 1 0 268182105 274071552 65989 33554432000 4194304 10173063 140735825259120 140735825252984 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 66912 65989 866 1460 0 65443 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 267648
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/175 28583
/proc/meminfo: memFree=27841096/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=270200 CPUtime=1482.04 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 118263 0 0 0 147708 496 0 0 20 0 1 0 268182105 276684800 66810 33554432000 4194304 10173063 140735825259120 140735825252424 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 67550 66810 866 1460 0 66081 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 270200
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/175 28583
/proc/meminfo: memFree=27794064/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=273108 CPUtime=1542.03 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 127635 0 0 0 153689 514 0 0 20 0 1 0 268182105 279662592 67537 33554432000 4194304 10173063 140735825259120 140735825251640 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 68277 67537 866 1460 0 66808 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 273108
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/175 28583
/proc/meminfo: memFree=27747656/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=277240 CPUtime=1602.02 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 134612 0 0 0 159669 533 0 0 20 0 1 0 268182105 283893760 68533 33554432000 4194304 10173063 140735825259120 140735825252760 8047326 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 69310 68533 866 1460 0 67841 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 277240
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 28622
/proc/meminfo: memFree=29193208/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=278112 CPUtime=1662.02 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 141645 0 0 0 165646 556 0 0 20 0 1 0 268182105 284786688 68828 33554432000 4194304 10173063 140735825259120 140735825252760 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 69528 68828 866 1460 0 68059 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 278112
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 28625
/proc/meminfo: memFree=29213096/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=282280 CPUtime=1722.01 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 142686 0 0 0 171625 576 0 0 20 0 1 0 268182105 289054720 69857 33554432000 4194304 10173063 140735825259120 140735825252760 8033100 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 70570 69857 866 1460 0 69101 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 282280
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 28626
/proc/meminfo: memFree=29209844/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=286940 CPUtime=1782 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 143450 0 0 0 177600 600 0 0 20 0 1 0 268182105 293826560 70617 33554432000 4194304 10173063 140735825259120 140735825252136 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 71735 70617 866 1460 0 70266 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 286940
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 28626
/proc/meminfo: memFree=29209844/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=286940 CPUtime=1785.19 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 143450 0 0 0 177919 600 0 0 20 0 1 0 268182105 293826560 70617 33554432000 4194304 10173063 140735825259120 140735825255592 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 71735 70617 866 1460 0 70266 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 286940
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 28626
/proc/meminfo: memFree=29209348/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=286940 CPUtime=1791.6 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 143450 0 0 0 178558 602 0 0 20 0 1 0 268182105 293826560 70617 33554432000 4194304 10173063 140735825259120 140735825255608 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 71735 70617 866 1460 0 70266 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 286940
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 28626
/proc/meminfo: memFree=29209348/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=286940 CPUtime=1794.8 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 143452 0 0 0 178877 603 0 0 20 0 1 0 268182105 293826560 70619 33554432000 4194304 10173063 140735825259120 140735825255160 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 71735 70619 866 1460 0 70266 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 286940
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 28626
/proc/meminfo: memFree=29209348/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=286940 CPUtime=1795.59 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 143889 0 0 0 178956 603 0 0 20 0 1 0 268182105 293826560 71056 33554432000 4194304 10173063 140735825259120 140735825252952 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 71735 71056 866 1460 0 70266 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 286940
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 28626
/proc/meminfo: memFree=29207728/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=286940 CPUtime=1796.39 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 143889 0 0 0 179036 603 0 0 20 0 1 0 268182105 293826560 71056 33554432000 4194304 10173063 140735825259120 140735825252248 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 71735 71056 866 1460 0 70266 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 286940
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 28626
/proc/meminfo: memFree=29207728/32873844 swapFree=7104/7104
[pid=28570] ppid=28568 vsize=281824 CPUtime=1796.79 cores=0,2,4,6
/proc/28570/stat : 28570 (scip-2.1.1.4fix) R 28568 28570 28130 0 -1 4202496 143892 0 0 0 179076 603 0 0 20 0 1 0 268182105 288587776 69780 33554432000 4194304 10173063 140735825259120 140735825252248 5551062 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28570/statm: 70456 69780 869 1460 0 68987 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 281824
Child status: 0
Real time (s): 1797.13
CPU time (s): 1796.83
CPU user time (s): 1790.78
CPU system time (s): 6.04608
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 286940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.78
system time used= 6.04608
maximum resident set size= 284236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143894
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37
involuntary context switches= 2006
runsolver used 2.89656 second user time and 6.92695 second system time
The end