| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3602.11 | 3615.62 |
| Name | PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb10-0.20-13.opb |
| MD5SUM | 8ac687d6d6d445392b755a367fbcc019 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 40755 |
| Best CPU time to get the best result obtained on this benchmark | 49.9658 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 215039 |
| Total number of constraints | 3681544 |
| Number of constraints which are clauses | 3681544 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 579 |
| Number of terms in the objective function | 18980 |
| Biggest coefficient in the objective function | 581 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 10690980 |
| Number of bits of the sum of numbers in the objective function | 24 |
| Biggest number in a constraint | 581 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 10690980 |
| Number of bits of the biggest sum of numbers | 24 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 9.61/13.86 c #variables 215039 #constraints 1445335 23.68/28.04 c bounds - >= 0 @ 8.47666 23.68/28.04 c bounds 702738 >= 0 @ 16.1623 23.68/28.04 c bounds 702738 >= 1167 @ 16.1645 23.68/28.04 c bounds 702738 >= 1748 @ 16.1687 23.68/28.04 c bounds 702738 >= 2329 @ 16.1729 23.68/28.04 c bounds 702738 >= 2910 @ 16.1744 23.68/28.04 c bounds 702738 >= 3491 @ 16.1771 23.68/28.04 c bounds 702738 >= 3492 @ 16.1792 23.68/28.04 c bounds 702738 >= 4073 @ 16.1813 23.68/28.04 c bounds 702738 >= 4654 @ 16.1847 23.68/28.04 c bounds 702738 >= 5235 @ 16.1864 23.68/28.04 c bounds 702738 >= 5816 @ 16.1898 23.68/28.04 c bounds 702738 >= 6397 @ 16.1937 23.68/28.04 c bounds 702738 >= 6978 @ 16.1951 23.68/28.04 c bounds 702738 >= 7559 @ 16.1973 23.68/28.04 c bounds 702738 >= 8140 @ 16.2026 23.68/28.04 c bounds 702738 >= 8721 @ 16.2055 23.68/28.04 c bounds 702738 >= 9302 @ 16.2089 23.68/28.04 c bounds 702738 >= 9883 @ 16.212 23.68/28.04 c bounds 702738 >= 10464 @ 16.2176 23.68/28.04 c bounds 702738 >= 11045 @ 16.2211 23.68/28.04 c bounds 702738 >= 11626 @ 16.2277 23.68/28.04 c bounds 702160 >= 11626 @ 16.4163 23.68/28.04 c bounds 702160 >= 12207 @ 16.4226 23.68/28.04 c bounds 702160 >= 12788 @ 16.428 23.68/28.04 c bounds 702160 >= 13369 @ 16.4331 23.68/28.04 c bounds 702160 >= 13950 @ 16.4401 23.68/28.04 c bounds 702160 >= 14531 @ 16.4502 23.68/28.04 c bounds 702160 >= 14532 @ 16.468 23.68/28.04 c bounds 702160 >= 14533 @ 16.481 23.68/28.04 c bounds 702160 >= 15114 @ 16.4907 23.68/28.04 c bounds 702160 >= 15115 @ 16.5081 23.68/28.04 c bounds 702160 >= 15116 @ 16.5186 23.68/28.04 c bounds 702160 >= 15117 @ 16.5324 23.68/28.04 c bounds 702160 >= 15698 @ 16.5516 23.68/28.04 c bounds 702160 >= 15699 @ 16.5641 23.68/28.04 c bounds 702160 >= 15700 @ 16.5772 23.68/28.04 c bounds 702160 >= 15701 @ 16.589 23.68/28.04 c bounds 702160 >= 16281 @ 16.5978 23.68/28.04 c bounds 702160 >= 16282 @ 16.6087 23.68/28.04 c bounds 702159 >= 16282 @ 16.6604 23.68/28.04 c bounds 702159 >= 16862 @ 16.6708 23.68/28.04 c bounds 702159 >= 16863 @ 16.6807 23.68/28.04 c bounds 702159 >= 17444 @ 16.6892 23.68/28.04 c bounds 702159 >= 18025 @ 16.7002 23.68/28.04 c bounds 702159 >= 18026 @ 16.7108 23.68/28.04 c bounds 701578 >= 18026 @ 16.7823 23.68/28.04 c bounds 701578 >= 18027 @ 16.8149 23.68/28.04 c bounds 701578 >= 18028 @ 16.8336 23.68/28.04 c bounds 701578 >= 18029 @ 16.8483 23.68/28.04 c bounds 700997 >= 18029 @ 16.9065 23.68/28.04 c bounds 700997 >= 18030 @ 16.9247 23.68/28.04 c bounds 700997 >= 18031 @ 16.95 23.68/28.04 c bounds 700416 >= 18031 @ 17.0094 23.68/28.04 c bounds 700416 >= 18612 @ 17.0339 23.68/28.04 c bounds 699835 >= 18612 @ 17.0863 23.68/28.04 c bounds 699835 >= 18613 @ 17.098 23.68/28.04 c bounds 699835 >= 18614 @ 17.1121 23.68/28.04 c bounds 699254 >= 18614 @ 17.1726 23.68/28.04 c bounds 699254 >= 19195 @ 17.1868 23.68/28.04 c bounds 699254 >= 19196 @ 17.1972 23.68/28.04 c bounds 698673 >= 19196 @ 17.246 23.68/28.04 c bounds 698673 >= 19197 @ 17.2608 23.68/28.04 c bounds 698673 >= 19778 @ 17.2868 23.68/28.04 c bounds 698093 >= 19778 @ 17.3348 23.68/28.04 c bounds 698092 >= 19778 @ 17.3768 23.68/28.04 c bounds 698092 >= 19779 @ 17.39 23.68/28.04 c bounds 698092 >= 19780 @ 17.4029 23.68/28.04 c bounds 698092 >= 20360 @ 17.4086 23.68/28.04 c bounds 697511 >= 20360 @ 17.4599 23.68/28.04 c bounds 697511 >= 20361 @ 17.4704 23.68/28.04 c bounds 697511 >= 20362 @ 17.4835 23.68/28.04 c bounds 696930 >= 20362 @ 17.5347 23.68/28.04 c bounds 696930 >= 20363 @ 17.5518 23.68/28.04 c bounds 696930 >= 20944 @ 17.5765 23.68/28.04 c bounds 696349 >= 20944 @ 17.6229 23.68/28.04 c bounds 696349 >= 20945 @ 17.6346 23.68/28.04 c bounds 695768 >= 20945 @ 17.6809 23.68/28.04 c bounds 695768 >= 20946 @ 17.7071 23.68/28.04 c bounds 695187 >= 20946 @ 17.7572 23.68/28.04 c bounds 695187 >= 20947 @ 17.7767 23.68/28.04 c bounds 694606 >= 20947 @ 17.8198 23.68/28.04 c bounds 694606 >= 20948 @ 17.8369 23.68/28.04 c bounds 694026 >= 20948 @ 17.8839 23.68/28.04 c bounds 694026 >= 20949 @ 17.93 23.68/28.04 c bounds 694025 >= 20949 @ 17.9838 23.68/28.04 c bounds 693444 >= 20949 @ 18.0356 23.68/28.04 c bounds 692863 >= 20949 @ 18.0767 23.68/28.04 c bounds 692863 >= 20950 @ 18.1935 23.68/28.04 c bounds 692282 >= 20950 @ 18.261 23.68/28.04 c bounds 691701 >= 20950 @ 18.3049 23.68/28.04 c bounds 691120 >= 20950 @ 18.3586 23.68/28.04 c bounds 690539 >= 20950 @ 18.4148 23.68/28.04 c bounds 689959 >= 20950 @ 18.4683 23.68/28.04 c bounds 689958 >= 20950 @ 18.5241 23.68/28.04 c bounds 689377 >= 20950 @ 18.5773 23.68/28.04 c bounds 688796 >= 20950 @ 18.6301 23.68/28.04 c bounds 688215 >= 20950 @ 18.6757 23.68/28.04 c bounds 688215 >= 21531 @ 18.685 23.68/28.04 c bounds 688215 >= 22112 @ 18.6932 23.68/28.04 c bounds 688215 >= 22113 @ 18.711 23.68/28.04 c bounds 688215 >= 22694 @ 18.7185 23.68/28.04 c bounds 687634 >= 22694 @ 18.7691 23.68/28.04 c bounds 687634 >= 22695 @ 18.7871 23.68/28.04 c bounds 687053 >= 22695 @ 18.8711 23.68/28.04 c bounds 687053 >= 23276 @ 18.8824 23.68/28.04 c bounds 687053 >= 23277 @ 18.8999 23.68/28.04 c bounds 687053 >= 23278 @ 18.9103 23.68/28.04 c bounds 687053 >= 23859 @ 18.9206 23.68/28.04 c bounds 686472 >= 23859 @ 18.9838 23.68/28.04 c bounds 686472 >= 23860 @ 19.0238 23.68/28.04 c bounds 685891 >= 23860 @ 19.0904 23.68/28.04 c bounds 685891 >= 24438 @ 19.1057 23.68/28.04 c bounds 685891 >= 24439 @ 19.1184 23.68/28.04 c bounds 685310 >= 24439 @ 19.1704 23.68/28.04 c bounds 685310 >= 24440 @ 19.1792 23.68/28.04 c bounds 685310 >= 24441 @ 19.1959 23.68/28.04 c bounds 684729 >= 24441 @ 19.239 23.68/28.04 c bounds 684729 >= 25021 @ 19.2478 50.16/54.72 c bounds 684729 >= 25022 @ 19.2612 50.16/54.72 c bounds 684729 >= 25600 @ 19.2765 50.16/54.72 c bounds 684148 >= 25600 @ 19.3259 50.16/54.72 c bounds 684148 >= 25602 @ 19.3339 50.16/54.72 c bounds 684148 >= 25603 @ 19.3442 50.16/54.72 c bounds 683567 >= 25603 @ 19.3935 50.16/54.72 c bounds 683567 >= 26183 @ 19.4062 50.16/54.72 c bounds 683567 >= 26184 @ 19.4192 50.16/54.72 c bounds 683567 >= 26185 @ 19.4377 50.16/54.72 c bounds 682987 >= 26185 @ 19.5001 50.16/54.72 c bounds 682987 >= 26186 @ 19.5112 50.16/54.72 c bounds 682987 >= 26766 @ 19.5245 50.16/54.72 c bounds 682987 >= 26767 @ 19.5339 50.16/54.72 c bounds 682986 >= 26767 @ 19.5908 50.16/54.72 c bounds 682986 >= 27348 @ 19.6026 50.16/54.72 c bounds 682986 >= 27929 @ 19.612 50.16/54.72 c bounds 682405 >= 27929 @ 19.6616 50.16/54.72 c bounds 682405 >= 28510 @ 19.6667 50.16/54.72 c bounds 682405 >= 28511 @ 19.6939 50.16/54.72 c bounds 681824 >= 28511 @ 19.7465 50.16/54.72 c bounds 681824 >= 29089 @ 19.776 50.16/54.72 c bounds 681243 >= 29089 @ 19.8341 50.16/54.72 c bounds 681243 >= 29092 @ 19.8455 50.16/54.72 c bounds 681243 >= 29093 @ 19.8692 50.16/54.72 c bounds 680662 >= 29093 @ 19.9202 50.16/54.72 c bounds 680081 >= 29093 @ 19.9685 50.16/54.72 c #Conflicts: 1000 | #Constraints: 1446679 50.16/54.72 c bounds 680081 >= 29094 @ 20.0096 50.16/54.72 c bounds 679500 >= 29094 @ 20.0534 50.16/54.72 c bounds 679500 >= 29095 @ 20.1085 50.16/54.72 c bounds 678919 >= 29095 @ 20.1568 50.16/54.72 c bounds 678338 >= 29095 @ 20.2022 50.16/54.72 c bounds 678338 >= 29096 @ 20.2762 50.16/54.72 c bounds 677757 >= 29096 @ 20.3294 50.16/54.72 c bounds 677177 >= 29096 @ 20.378 50.16/54.72 c bounds 677177 >= 29097 @ 20.3896 50.16/54.72 c bounds 676596 >= 29097 @ 20.438 50.16/54.72 c bounds 676596 >= 29098 @ 20.5607 50.16/54.72 c bounds 676015 >= 29098 @ 20.6183 50.16/54.72 c bounds 675434 >= 29098 @ 20.6643 50.16/54.72 c bounds 674853 >= 29098 @ 20.714 50.16/54.72 c bounds 674272 >= 29098 @ 20.7538 50.16/54.72 c bounds 674272 >= 29099 @ 20.7948 50.16/54.72 c bounds 673691 >= 29099 @ 20.8523 50.16/54.72 c bounds 673110 >= 29099 @ 20.9176 50.16/54.72 c bounds 673110 >= 29680 @ 20.9193 50.16/54.72 c bounds 673110 >= 29681 @ 20.9294 50.16/54.72 c bounds 673110 >= 29682 @ 20.9502 50.16/54.72 c bounds 672529 >= 29682 @ 21.0063 50.16/54.72 c bounds 672529 >= 29683 @ 21.0936 50.16/54.72 c bounds 671948 >= 29683 @ 21.1643 50.16/54.72 c bounds 671367 >= 29683 @ 21.2497 50.16/54.72 c bounds 670786 >= 29683 @ 21.3034 50.16/54.72 c bounds 670786 >= 30264 @ 21.3092 50.16/54.72 c bounds 670205 >= 30264 @ 21.3594 50.16/54.72 c bounds 670205 >= 30845 @ 21.371 50.16/54.72 c bounds 670205 >= 31426 @ 21.3809 50.16/54.72 c bounds 670205 >= 31427 @ 21.4 50.16/54.72 c bounds 669624 >= 31427 @ 21.4504 50.16/54.72 c bounds 669624 >= 31428 @ 21.4637 50.16/54.72 c bounds 669624 >= 31429 @ 21.4759 50.16/54.72 c bounds 669043 >= 31429 @ 21.5349 50.16/54.72 c bounds 669043 >= 32007 @ 21.5464 50.16/54.72 c bounds 669043 >= 32008 @ 21.5701 50.16/54.72 c bounds 668462 >= 32008 @ 21.6223 50.16/54.72 c bounds 668462 >= 32009 @ 21.6607 50.16/54.72 c bounds 667881 >= 32009 @ 21.7152 50.16/54.72 c bounds 667881 >= 32589 @ 21.7284 50.16/54.72 c bounds 667300 >= 32589 @ 21.7849 50.16/54.72 c bounds 667300 >= 32590 @ 21.8921 50.16/54.72 c bounds 666719 >= 32590 @ 21.9462 50.16/54.72 c bounds 666138 >= 32590 @ 21.9999 50.16/54.72 c bounds 665557 >= 32590 @ 22.053 50.16/54.72 c bounds 664976 >= 32590 @ 22.1042 50.16/54.72 c bounds 664395 >= 32590 @ 22.156 50.16/54.72 c #Conflicts: 2000 | #Constraints: 1447783 50.16/54.72 c INPROCESSING 50.16/54.72 c GARBAGE COLLECT 50.16/54.72 c bounds 663814 >= 32590 @ 39.8517 50.16/54.72 c bounds 663233 >= 32590 @ 39.901 50.16/54.72 c bounds 662652 >= 32590 @ 39.9481 50.16/54.72 c bounds 662071 >= 32590 @ 39.9963 50.16/54.72 c bounds 661490 >= 32590 @ 40.044 50.16/54.72 c bounds 660909 >= 32590 @ 40.1186 50.16/54.72 c bounds 660328 >= 32590 @ 40.169 50.16/54.72 c bounds 659747 >= 32590 @ 40.2175 50.16/54.72 c bounds 659166 >= 32590 @ 40.2683 50.16/54.72 c bounds 658585 >= 32590 @ 40.3117 50.16/54.72 c bounds 658004 >= 32590 @ 40.3585 50.16/54.72 c bounds 657423 >= 32590 @ 40.408 50.16/54.72 c bounds 656842 >= 32590 @ 40.4562 50.16/54.72 c bounds 656261 >= 32590 @ 40.5044 50.16/54.72 c bounds 655680 >= 32590 @ 40.557 50.16/54.72 c bounds 655099 >= 32590 @ 40.6071 50.16/54.72 c bounds 654518 >= 32590 @ 40.654 50.16/54.72 c bounds 654518 >= 32591 @ 40.7548 50.16/54.72 c bounds 653937 >= 32591 @ 40.8023 50.16/54.72 c bounds 653356 >= 32591 @ 40.855 50.16/54.72 c bounds 652775 >= 32591 @ 40.9108 50.16/54.72 c bounds 652194 >= 32591 @ 40.9613 50.16/54.72 c bounds 651613 >= 32591 @ 41.015 50.16/54.72 c bounds 651032 >= 32591 @ 41.0593 50.16/54.72 c bounds 650451 >= 32591 @ 41.1146 50.16/54.72 c bounds 649870 >= 32591 @ 41.1669 50.16/54.72 c bounds 649870 >= 33172 @ 41.177 50.16/54.72 c bounds 649870 >= 33173 @ 41.1867 50.16/54.72 c bounds 649870 >= 33754 @ 41.2915 50.16/54.72 c bounds 649289 >= 33754 @ 41.346 50.16/54.72 c bounds 648708 >= 33754 @ 41.3887 50.16/54.72 c bounds 648127 >= 33754 @ 41.4357 50.16/54.72 c bounds 647546 >= 33754 @ 41.4851 50.16/54.72 c bounds 646965 >= 33754 @ 41.5382 50.16/54.72 c bounds 646384 >= 33754 @ 41.5874 50.16/54.72 c bounds 645803 >= 33754 @ 41.6564 50.16/54.72 c bounds 645803 >= 33755 @ 41.7706 50.16/54.72 c bounds 645222 >= 33755 @ 41.8188 50.16/54.72 c bounds 644641 >= 33755 @ 41.871 50.16/54.72 c bounds 644060 >= 33755 @ 41.9154 61.34/65.92 c bounds 643479 >= 33755 @ 41.9651 61.34/65.92 c bounds 642898 >= 33755 @ 42.0135 61.34/65.92 c bounds 642317 >= 33755 @ 42.0578 61.34/65.92 c bounds 642317 >= 33756 @ 42.1546 61.34/65.92 c bounds 641736 >= 33756 @ 42.2135 61.34/65.92 c bounds 641155 >= 33756 @ 42.2615 61.34/65.92 c bounds 640574 >= 33756 @ 42.3102 61.34/65.92 c bounds 639993 >= 33756 @ 42.3525 61.34/65.92 c bounds 639412 >= 33756 @ 42.3968 61.34/65.92 c bounds 638831 >= 33756 @ 42.4488 61.34/65.92 c bounds 638250 >= 33756 @ 42.4967 61.34/65.92 c bounds 637669 >= 33756 @ 42.539 61.34/65.92 c #Conflicts: 3000 | #Constraints: 1026022 61.34/65.92 c bounds 637669 >= 33757 @ 42.9572 61.34/65.92 c bounds 637088 >= 33757 @ 43.0127 61.34/65.92 c bounds 636507 >= 33757 @ 43.0745 61.34/65.92 c bounds 635926 >= 33757 @ 43.1349 61.34/65.92 c bounds 635345 >= 33757 @ 43.1953 61.34/65.92 c bounds 634764 >= 33757 @ 43.2493 61.34/65.92 c bounds 634183 >= 33757 @ 43.2964 61.34/65.92 c bounds 633602 >= 33757 @ 43.3437 61.34/65.92 c bounds 633021 >= 33757 @ 43.3952 61.34/65.92 c bounds 632440 >= 33757 @ 43.4444 61.34/65.92 c bounds 631859 >= 33757 @ 43.4915 61.34/65.92 c bounds 631278 >= 33757 @ 43.5453 61.34/65.92 c bounds 630697 >= 33757 @ 43.5921 61.34/65.92 c bounds 630116 >= 33757 @ 43.6471 61.34/65.92 c bounds 629535 >= 33757 @ 43.697 61.34/65.92 c bounds 628954 >= 33757 @ 43.7522 61.34/65.92 c bounds 628373 >= 33757 @ 43.8052 61.34/65.92 c bounds 627792 >= 33757 @ 43.8588 61.34/65.92 c bounds 627211 >= 33757 @ 43.9132 61.34/65.92 c bounds 626630 >= 33757 @ 43.9602 61.34/65.92 c bounds 626049 >= 33757 @ 44.0485 61.34/65.92 c bounds 626049 >= 34338 @ 44.0547 61.34/65.92 c bounds 626049 >= 34339 @ 44.1032 61.34/65.92 c bounds 625468 >= 34339 @ 44.1509 61.34/65.92 c bounds 624887 >= 34339 @ 44.2005 61.34/65.92 c bounds 624306 >= 34339 @ 44.2602 61.34/65.92 c #Conflicts: 4000 | #Constraints: 1027055 61.34/65.92 c INPROCESSING 61.34/65.92 c GARBAGE COLLECT 61.34/65.92 c bounds 623725 >= 34339 @ 45.6329 61.34/65.92 c bounds 623144 >= 34339 @ 45.6917 61.34/65.92 c bounds 622563 >= 34339 @ 45.7429 61.34/65.92 c bounds 621982 >= 34339 @ 45.7927 61.34/65.92 c bounds 621401 >= 34339 @ 45.8433 61.34/65.92 c bounds 620820 >= 34339 @ 45.8958 61.34/65.92 c bounds 620239 >= 34339 @ 45.9474 61.34/65.92 c bounds 619658 >= 34339 @ 46.0014 61.34/65.92 c bounds 619077 >= 34339 @ 46.0483 61.34/65.92 c bounds 618496 >= 34339 @ 46.0936 61.34/65.92 c bounds 617915 >= 34339 @ 46.1384 61.34/65.92 c bounds 617334 >= 34339 @ 46.1919 61.34/65.92 c bounds 616753 >= 34339 @ 46.2375 61.34/65.92 c bounds 616172 >= 34339 @ 46.2785 61.34/65.92 c bounds 615591 >= 34339 @ 46.3276 61.34/65.92 c bounds 615010 >= 34339 @ 46.3735 61.34/65.92 c bounds 614429 >= 34339 @ 46.4212 61.34/65.92 c bounds 613848 >= 34339 @ 46.4643 61.34/65.92 c bounds 613267 >= 34339 @ 46.5142 61.34/65.92 c bounds 612686 >= 34339 @ 46.5634 61.34/65.92 c bounds 612105 >= 34339 @ 46.6106 61.34/65.92 c bounds 611524 >= 34339 @ 46.6522 61.34/65.92 c bounds 610943 >= 34339 @ 46.7019 61.34/65.92 c bounds 610362 >= 34339 @ 46.7446 61.34/65.92 c bounds 609781 >= 34339 @ 46.7933 61.34/65.92 c bounds 609200 >= 34339 @ 46.8412 61.34/65.92 c bounds 608619 >= 34339 @ 46.8981 61.34/65.92 c bounds 608038 >= 34339 @ 46.9473 61.34/65.92 c bounds 607457 >= 34339 @ 46.9983 61.34/65.92 c bounds 606876 >= 34339 @ 47.044 61.34/65.92 c bounds 606295 >= 34339 @ 47.0877 61.34/65.92 c bounds 605714 >= 34339 @ 47.1339 61.34/65.92 c bounds 605133 >= 34339 @ 47.1912 61.34/65.92 c bounds 604552 >= 34339 @ 47.2356 61.34/65.92 c bounds 603971 >= 34339 @ 47.2848 61.34/65.92 c bounds 603390 >= 34339 @ 47.3287 61.34/65.92 c bounds 602809 >= 34339 @ 47.38 61.34/65.92 c bounds 602228 >= 34339 @ 47.4266 61.34/65.92 c bounds 601647 >= 34339 @ 47.4751 61.34/65.92 c bounds 601066 >= 34339 @ 47.5301 61.34/65.92 c bounds 600485 >= 34339 @ 47.5829 61.34/65.92 c bounds 599904 >= 34339 @ 47.6331 61.34/65.92 c bounds 599324 >= 34339 @ 47.6819 61.34/65.92 c bounds 599323 >= 34339 @ 47.7236 61.34/65.92 c bounds 598742 >= 34339 @ 47.7786 61.34/65.92 c bounds 598164 >= 34339 @ 47.8317 61.34/65.92 c bounds 598163 >= 34339 @ 47.8833 61.34/65.92 c bounds 598162 >= 34339 @ 47.9331 61.34/65.92 c bounds 597582 >= 34339 @ 48.0033 61.34/65.92 c bounds 597581 >= 34339 @ 48.0561 61.34/65.92 c bounds 597000 >= 34339 @ 48.1037 61.34/65.92 c bounds 596419 >= 34339 @ 48.1521 61.34/65.92 c bounds 595838 >= 34339 @ 48.2025 61.34/65.92 c bounds 595257 >= 34339 @ 48.2561 61.34/65.92 c bounds 594676 >= 34339 @ 48.3034 61.34/65.92 c bounds 594095 >= 34339 @ 48.3495 61.34/65.92 c bounds 593514 >= 34339 @ 48.3908 61.34/65.92 c bounds 592933 >= 34339 @ 48.4425 61.34/65.92 c bounds 592352 >= 34339 @ 48.4992 61.34/65.92 c bounds 591771 >= 34339 @ 48.5507 61.34/65.92 c bounds 591190 >= 34339 @ 48.6024 61.34/65.92 c bounds 590609 >= 34339 @ 48.6498 61.34/65.92 c bounds 590028 >= 34339 @ 48.6978 61.34/65.92 c bounds 589447 >= 34339 @ 48.7546 61.34/65.92 c bounds 588866 >= 34339 @ 48.8095 61.34/65.92 c bounds 588285 >= 34339 @ 48.8574 61.34/65.92 c bounds 587704 >= 34339 @ 48.9073 61.34/65.92 c bounds 587123 >= 34339 @ 48.9533 61.34/65.92 c bounds 586542 >= 34339 @ 49.0039 61.34/65.92 c bounds 585961 >= 34339 @ 49.052 61.34/65.92 c bounds 585380 >= 34339 @ 49.1008 61.34/65.92 c bounds 584799 >= 34339 @ 49.1502 61.34/65.92 c bounds 584218 >= 34339 @ 49.2 61.34/65.92 c bounds 583637 >= 34339 @ 49.2455 61.34/65.92 c bounds 583056 >= 34339 @ 49.2949 101.45/106.25 c bounds 582475 >= 34339 @ 49.3425 101.45/106.25 c bounds 582475 >= 34340 @ 49.458 101.45/106.25 c bounds 581894 >= 34340 @ 49.5029 101.45/106.25 c bounds 581313 >= 34340 @ 49.563 101.45/106.25 c bounds 580732 >= 34340 @ 49.6646 101.45/106.25 c bounds 580732 >= 34341 @ 50.1211 101.45/106.25 c bounds 580152 >= 34341 @ 50.1749 101.45/106.25 c bounds 579571 >= 34341 @ 50.2303 101.45/106.25 c bounds 578990 >= 34341 @ 50.2754 101.45/106.25 c bounds 578409 >= 34341 @ 50.3298 101.45/106.25 c bounds 577828 >= 34341 @ 50.3912 101.45/106.25 c bounds 577827 >= 34341 @ 50.4465 101.45/106.25 c bounds 577246 >= 34341 @ 50.5017 101.45/106.25 c bounds 576665 >= 34341 @ 50.5472 101.45/106.25 c bounds 576084 >= 34341 @ 50.5943 101.45/106.25 c bounds 575503 >= 34341 @ 50.6423 101.45/106.25 c bounds 574922 >= 34341 @ 50.6898 101.45/106.25 c bounds 574341 >= 34341 @ 50.7425 101.45/106.25 c bounds 573760 >= 34341 @ 50.7915 101.45/106.25 c bounds 573179 >= 34341 @ 50.8457 101.45/106.25 c bounds 572598 >= 34341 @ 50.8978 101.45/106.25 c bounds 572017 >= 34341 @ 50.9522 101.45/106.25 c bounds 571436 >= 34341 @ 51.0077 101.45/106.25 c bounds 570855 >= 34341 @ 51.0584 101.45/106.25 c bounds 570274 >= 34341 @ 51.1068 101.45/106.25 c bounds 569693 >= 34341 @ 51.1625 101.45/106.25 c bounds 569112 >= 34341 @ 51.2155 101.45/106.25 c bounds 568531 >= 34341 @ 51.2701 101.45/106.25 c bounds 567950 >= 34341 @ 51.3178 101.45/106.25 c bounds 567369 >= 34341 @ 51.3658 101.45/106.25 c bounds 566788 >= 34341 @ 51.4282 101.45/106.25 c bounds 566207 >= 34341 @ 51.4875 101.45/106.25 c bounds 565626 >= 34341 @ 51.5595 101.45/106.25 c bounds 565626 >= 34342 @ 51.6591 101.45/106.25 c bounds 565045 >= 34342 @ 51.7258 101.45/106.25 c bounds 564464 >= 34342 @ 51.7898 101.45/106.25 c bounds 564463 >= 34342 @ 51.844 101.45/106.25 c bounds 563882 >= 34342 @ 51.9215 101.45/106.25 c bounds 563882 >= 34923 @ 51.9349 101.45/106.25 c bounds 563881 >= 34923 @ 51.9916 101.45/106.25 c bounds 563881 >= 35504 @ 52.0051 101.45/106.25 c bounds 563881 >= 35505 @ 52.0252 101.45/106.25 c bounds 563880 >= 35505 @ 52.0749 101.45/106.25 c #Conflicts: 5000 | #Constraints: 1026697 101.45/106.25 c bounds 563880 >= 36080 @ 52.0953 101.45/106.25 c bounds 563879 >= 36080 @ 52.1446 101.45/106.25 c bounds 563879 >= 36081 @ 52.1585 101.45/106.25 c bounds 563879 >= 36083 @ 52.1708 101.45/106.25 c bounds 563878 >= 36083 @ 52.2241 101.45/106.25 c bounds 563878 >= 36084 @ 52.2428 101.45/106.25 c bounds 563878 >= 36085 @ 52.2658 101.45/106.25 c bounds 563877 >= 36085 @ 52.317 101.45/106.25 c bounds 563877 >= 36086 @ 52.3628 101.45/106.25 c bounds 563876 >= 36086 @ 52.4157 101.45/106.25 c bounds 563295 >= 36086 @ 52.4735 101.45/106.25 c bounds 563295 >= 36087 @ 52.4969 101.45/106.25 c bounds 563295 >= 36088 @ 52.7087 101.45/106.25 c bounds 562714 >= 36088 @ 52.761 101.45/106.25 c bounds 562133 >= 36088 @ 52.8086 101.45/106.25 c bounds 561552 >= 36088 @ 52.8558 101.45/106.25 c bounds 561551 >= 36088 @ 52.9098 101.45/106.25 c bounds 561550 >= 36088 @ 52.9609 101.45/106.25 c bounds 561549 >= 36088 @ 53.0152 101.45/106.25 c bounds 561548 >= 36088 @ 53.0838 101.45/106.25 c bounds 560967 >= 36088 @ 53.1914 101.45/106.25 c bounds 560386 >= 36088 @ 53.2683 101.45/106.25 c bounds 560386 >= 36664 @ 53.8894 101.45/106.25 c bounds 559805 >= 36664 @ 53.9544 101.45/106.25 c bounds 559224 >= 36664 @ 54.0334 101.45/106.25 c bounds 559223 >= 36664 @ 54.135 101.45/106.25 c bounds 558642 >= 36664 @ 54.2103 101.45/106.25 c bounds 558061 >= 36664 @ 54.2866 101.45/106.25 c bounds 557480 >= 36664 @ 54.3438 101.45/106.25 c bounds 556899 >= 36664 @ 54.3959 101.45/106.25 c bounds 556318 >= 36664 @ 54.445 101.45/106.25 c bounds 555737 >= 36664 @ 54.4956 101.45/106.25 c bounds 555156 >= 36664 @ 54.5434 101.45/106.25 c bounds 554575 >= 36664 @ 54.6426 101.45/106.25 c bounds 553994 >= 36664 @ 54.7182 101.45/106.25 c bounds 553413 >= 36664 @ 54.7804 101.45/106.25 c bounds 552832 >= 36664 @ 54.8719 101.45/106.25 c bounds 552251 >= 36664 @ 54.9306 101.45/106.25 c bounds 551670 >= 36664 @ 54.986 101.45/106.25 c bounds 551089 >= 36664 @ 55.0334 101.45/106.25 c bounds 550508 >= 36664 @ 55.1097 101.45/106.25 c bounds 549927 >= 36664 @ 55.1652 101.45/106.25 c bounds 549346 >= 36664 @ 55.2186 101.45/106.25 c bounds 548765 >= 36664 @ 55.2725 101.45/106.25 c bounds 548184 >= 36664 @ 55.3256 101.45/106.25 c bounds 547603 >= 36664 @ 55.3767 101.45/106.25 c bounds 547022 >= 36664 @ 55.4314 101.45/106.25 c bounds 546441 >= 36664 @ 55.5079 101.45/106.25 c bounds 545860 >= 36664 @ 55.6794 101.45/106.25 c bounds 545279 >= 36664 @ 55.8048 101.45/106.25 c bounds 545279 >= 37242 @ 55.8129 101.45/106.25 c bounds 545279 >= 37243 @ 55.8349 101.45/106.25 c bounds 545279 >= 37244 @ 55.864 101.45/106.25 c bounds 545279 >= 37245 @ 55.8777 101.45/106.25 c bounds 545278 >= 37245 @ 55.9573 101.45/106.25 c bounds 545278 >= 37246 @ 56.0007 101.45/106.25 c bounds 544697 >= 37246 @ 56.0789 101.45/106.25 c #Conflicts: 6000 | #Constraints: 1027823 101.45/106.25 c bounds 544697 >= 37247 @ 84.2343 101.45/106.25 c bounds 544116 >= 37247 @ 84.3053 101.45/106.25 c bounds 543535 >= 37247 @ 84.3796 101.45/106.25 c bounds 543535 >= 37825 @ 84.5899 101.45/106.25 c bounds 543534 >= 37825 @ 84.6637 101.45/106.25 c bounds 542954 >= 37825 @ 84.7437 101.45/106.25 c bounds 542373 >= 37825 @ 84.873 101.45/106.25 c bounds 541795 >= 37825 @ 85.1615 101.45/106.25 c bounds 541795 >= 38394 @ 85.1747 101.45/106.25 c bounds 541795 >= 38395 @ 85.1906 101.45/106.25 c bounds 541795 >= 38397 @ 85.2048 101.45/106.25 c bounds 541795 >= 38398 @ 85.2135 101.45/106.25 c bounds 541795 >= 38406 @ 85.228 101.45/106.25 c bounds 541795 >= 38407 @ 85.2393 113.83/118.67 c bounds 541795 >= 38987 @ 85.25 113.83/118.67 c bounds 541795 >= 38988 @ 85.2788 113.83/118.67 c bounds 541795 >= 38989 @ 85.2932 113.83/118.67 c bounds 541795 >= 39566 @ 85.3144 113.83/118.67 c bounds 541214 >= 39566 @ 85.4347 113.83/118.67 c bounds 541214 >= 39567 @ 85.45 113.83/118.67 c bounds 541214 >= 39568 @ 85.6375 113.83/118.67 c bounds 540633 >= 39568 @ 85.7123 113.83/118.67 c bounds 540052 >= 39568 @ 85.7899 113.83/118.67 c bounds 539471 >= 39568 @ 85.8669 113.83/118.67 c bounds 539470 >= 39568 @ 85.9519 113.83/118.67 c bounds 539469 >= 39568 @ 86.0267 113.83/118.67 c bounds 538888 >= 39568 @ 86.0962 113.83/118.67 c bounds 538307 >= 39568 @ 86.1589 113.83/118.67 c bounds 537726 >= 39568 @ 86.2218 113.83/118.67 c bounds 537145 >= 39568 @ 86.293 113.83/118.67 c bounds 536564 >= 39568 @ 86.3496 113.83/118.67 c bounds 535983 >= 39568 @ 86.4057 113.83/118.67 c bounds 535402 >= 39568 @ 86.4692 113.83/118.67 c bounds 535402 >= 40149 @ 86.4754 113.83/118.67 c bounds 535402 >= 40150 @ 86.4964 113.83/118.67 c bounds 534821 >= 40150 @ 86.5637 113.83/118.67 c bounds 534240 >= 40150 @ 86.6193 113.83/118.67 c bounds 534240 >= 40151 @ 86.6873 113.83/118.67 c bounds 533659 >= 40151 @ 86.7478 113.83/118.67 c bounds 533078 >= 40151 @ 86.8099 113.83/118.67 c bounds 532497 >= 40151 @ 86.863 113.83/118.67 c bounds 531916 >= 40151 @ 86.9159 113.83/118.67 c INPROCESSING 113.83/118.67 c GARBAGE COLLECT 113.83/118.67 c bounds 531335 >= 40151 @ 87.6211 113.83/118.67 c bounds 530754 >= 40151 @ 87.6783 113.83/118.67 c bounds 530173 >= 40151 @ 87.7266 113.83/118.67 c bounds 529592 >= 40151 @ 87.7766 113.83/118.67 c bounds 529011 >= 40151 @ 87.8357 113.83/118.67 c bounds 528430 >= 40151 @ 87.8866 113.83/118.67 c bounds 527849 >= 40151 @ 87.9399 113.83/118.67 c bounds 527268 >= 40151 @ 87.9907 113.83/118.67 c bounds 526687 >= 40151 @ 88.0399 113.83/118.67 c bounds 526106 >= 40151 @ 88.0886 113.83/118.67 c bounds 525525 >= 40151 @ 88.1411 113.83/118.67 c bounds 524944 >= 40151 @ 88.1899 113.83/118.67 c bounds 524363 >= 40151 @ 88.2357 113.83/118.67 c bounds 523782 >= 40151 @ 88.2839 113.83/118.67 c bounds 523201 >= 40151 @ 88.3452 113.83/118.67 c bounds 522620 >= 40151 @ 88.3882 113.83/118.67 c bounds 522039 >= 40151 @ 88.4402 113.83/118.67 c bounds 521458 >= 40151 @ 88.4903 113.83/118.67 c bounds 521458 >= 40152 @ 88.6141 113.83/118.67 c bounds 521457 >= 40152 @ 88.6778 113.83/118.67 c bounds 521456 >= 40152 @ 88.733 113.83/118.67 c bounds 521455 >= 40152 @ 88.7895 113.83/118.67 c bounds 521454 >= 40152 @ 88.8444 113.83/118.67 c bounds 521453 >= 40152 @ 88.893 113.83/118.67 c bounds 521452 >= 40152 @ 88.9497 113.83/118.67 c bounds 520871 >= 40152 @ 89.0245 113.83/118.67 c bounds 520290 >= 40152 @ 89.0749 113.83/118.67 c bounds 519709 >= 40152 @ 89.1498 113.83/118.67 c bounds 519709 >= 40153 @ 89.2024 113.83/118.67 c bounds 519128 >= 40153 @ 89.2554 113.83/118.67 c bounds 518547 >= 40153 @ 89.3165 113.83/118.67 c bounds 517967 >= 40153 @ 89.3751 113.83/118.67 c bounds 517386 >= 40153 @ 89.4306 113.83/118.67 c bounds 516805 >= 40153 @ 89.4809 113.83/118.67 c #Conflicts: 7000 | #Constraints: 1024445 113.83/118.67 c bounds 516805 >= 40154 @ 89.7963 113.83/118.67 c bounds 516224 >= 40154 @ 89.8544 113.83/118.67 c bounds 515643 >= 40154 @ 89.9021 113.83/118.67 c bounds 515062 >= 40154 @ 89.951 113.83/118.67 c bounds 514481 >= 40154 @ 90.0032 113.83/118.67 c bounds 513900 >= 40154 @ 90.0544 113.83/118.67 c bounds 513319 >= 40154 @ 90.1064 113.83/118.67 c bounds 512738 >= 40154 @ 90.1621 113.83/118.67 c bounds 512157 >= 40154 @ 90.2151 113.83/118.67 c bounds 511576 >= 40154 @ 90.2662 113.83/118.67 c bounds 510995 >= 40154 @ 90.3189 113.83/118.67 c bounds 510414 >= 40154 @ 90.3717 113.83/118.67 c bounds 509833 >= 40154 @ 90.423 113.83/118.67 c bounds 509252 >= 40154 @ 90.4747 113.83/118.67 c bounds 508671 >= 40154 @ 90.5238 113.83/118.67 c bounds 508090 >= 40154 @ 90.5707 113.83/118.67 c bounds 507509 >= 40154 @ 90.6192 113.83/118.67 c bounds 506928 >= 40154 @ 90.6741 113.83/118.67 c bounds 506347 >= 40154 @ 90.7254 113.83/118.67 c bounds 505766 >= 40154 @ 90.7714 113.83/118.67 c bounds 505185 >= 40154 @ 90.83 113.83/118.67 c bounds 505185 >= 40155 @ 91.0441 113.83/118.67 c bounds 504604 >= 40155 @ 91.0992 113.83/118.67 c bounds 504023 >= 40155 @ 91.1547 113.83/118.67 c bounds 503442 >= 40155 @ 91.2147 113.83/118.67 c bounds 502861 >= 40155 @ 91.2697 113.83/118.67 c bounds 502280 >= 40155 @ 91.3295 113.83/118.67 c bounds 501699 >= 40155 @ 91.3863 113.83/118.67 c bounds 501118 >= 40155 @ 91.432 113.83/118.67 c bounds 500537 >= 40155 @ 91.4795 113.83/118.67 c bounds 499956 >= 40155 @ 91.533 113.83/118.67 c bounds 499375 >= 40155 @ 91.5876 113.83/118.67 c bounds 498794 >= 40155 @ 91.647 113.83/118.67 c bounds 498213 >= 40155 @ 91.7369 113.83/118.67 c bounds 498212 >= 40155 @ 91.7901 113.83/118.67 c bounds 497631 >= 40155 @ 91.864 113.83/118.67 c bounds 497050 >= 40155 @ 91.946 113.83/118.67 c bounds 496469 >= 40155 @ 92.0157 113.83/118.67 c bounds 496469 >= 40156 @ 92.2155 113.83/118.67 c bounds 495888 >= 40156 @ 92.2939 113.83/118.67 c bounds 495307 >= 40156 @ 92.3629 113.83/118.67 c bounds 494726 >= 40156 @ 92.4228 113.83/118.67 c bounds 494145 >= 40156 @ 92.5023 113.83/118.67 c bounds 493564 >= 40156 @ 92.5855 113.83/118.67 c bounds 492983 >= 40156 @ 92.6745 113.83/118.67 c bounds 492402 >= 40156 @ 92.7404 113.83/118.67 c bounds 491821 >= 40156 @ 92.8017 113.83/118.67 c bounds 491240 >= 40156 @ 92.8873 113.83/118.67 c bounds 491240 >= 40157 @ 93.036 113.83/118.67 c bounds 490659 >= 40157 @ 93.1101 113.83/118.67 c bounds 490078 >= 40157 @ 93.1839 113.83/118.67 c bounds 489497 >= 40157 @ 93.2533 113.83/118.67 c bounds 488916 >= 40157 @ 93.363 564.90/571.25 c #Conflicts: 8000 | #Constraints: 1025520 564.90/571.25 c bounds 488916 >= 40158 @ 94.077 564.90/571.25 c bounds 488335 >= 40158 @ 94.1583 564.90/571.25 c bounds 487754 >= 40158 @ 94.2494 564.90/571.25 c bounds 487173 >= 40158 @ 94.3552 564.90/571.25 c bounds 486592 >= 40158 @ 94.4442 564.90/571.25 c bounds 486012 >= 40158 @ 94.5199 564.90/571.25 c bounds 486011 >= 40158 @ 94.5903 564.90/571.25 c bounds 485430 >= 40158 @ 94.6602 564.90/571.25 c bounds 484849 >= 40158 @ 94.733 564.90/571.25 c bounds 484268 >= 40158 @ 94.801 564.90/571.25 c bounds 483687 >= 40158 @ 94.8672 564.90/571.25 c bounds 483106 >= 40158 @ 94.9287 564.90/571.25 c bounds 482525 >= 40158 @ 94.9876 564.90/571.25 c bounds 481944 >= 40158 @ 95.0488 564.90/571.25 c bounds 481363 >= 40158 @ 95.1036 564.90/571.25 c bounds 480782 >= 40158 @ 95.1861 564.90/571.25 c bounds 480201 >= 40158 @ 95.258 564.90/571.25 c bounds 479621 >= 40158 @ 95.3231 564.90/571.25 c bounds 479620 >= 40158 @ 95.3768 564.90/571.25 c bounds 479039 >= 40158 @ 95.4333 564.90/571.25 c bounds 478458 >= 40158 @ 95.4879 564.90/571.25 c bounds 477877 >= 40158 @ 95.5361 564.90/571.25 c bounds 477296 >= 40158 @ 95.587 564.90/571.25 c bounds 476715 >= 40158 @ 95.6421 564.90/571.25 c bounds 476134 >= 40158 @ 95.6931 564.90/571.25 c bounds 475553 >= 40158 @ 95.7413 564.90/571.25 c bounds 474972 >= 40158 @ 95.8038 564.90/571.25 c bounds 474391 >= 40158 @ 95.8707 564.90/571.25 c bounds 473810 >= 40158 @ 95.9299 564.90/571.25 c bounds 473229 >= 40158 @ 95.9855 564.90/571.25 c bounds 472648 >= 40158 @ 96.0351 564.90/571.25 c bounds 472067 >= 40158 @ 96.1352 564.90/571.25 c bounds 471486 >= 40158 @ 96.1958 564.90/571.25 c bounds 470905 >= 40158 @ 96.2589 564.90/571.25 c bounds 470905 >= 40159 @ 96.3245 564.90/571.25 c bounds 470324 >= 40159 @ 96.3795 564.90/571.25 c bounds 469743 >= 40159 @ 96.4372 564.90/571.25 c bounds 469162 >= 40159 @ 96.4888 564.90/571.25 c bounds 468581 >= 40159 @ 96.5404 564.90/571.25 c bounds 468000 >= 40159 @ 96.5909 564.90/571.25 c bounds 467419 >= 40159 @ 96.6412 564.90/571.25 c bounds 467419 >= 40160 @ 96.686 564.90/571.25 c bounds 466838 >= 40160 @ 96.7459 564.90/571.25 c bounds 466838 >= 40741 @ 96.9791 564.90/571.25 c bounds 466257 >= 40741 @ 97.0277 564.90/571.25 c bounds 465676 >= 40741 @ 97.0737 564.90/571.25 c bounds 465095 >= 40741 @ 97.1315 564.90/571.25 c bounds 464514 >= 40741 @ 97.1924 564.90/571.25 c bounds 463933 >= 40741 @ 97.2465 564.90/571.25 c bounds 463352 >= 40741 @ 97.3083 564.90/571.25 c bounds 462771 >= 40741 @ 97.3603 564.90/571.25 c bounds 462190 >= 40741 @ 97.4214 564.90/571.25 c bounds 461609 >= 40741 @ 97.4726 564.90/571.25 c bounds 461028 >= 40741 @ 97.5327 564.90/571.25 c bounds 460447 >= 40741 @ 97.5919 564.90/571.25 c bounds 459866 >= 40741 @ 97.6624 564.90/571.25 c bounds 459285 >= 40741 @ 97.7347 564.90/571.25 c bounds 458704 >= 40741 @ 97.8022 564.90/571.25 c bounds 458123 >= 40741 @ 97.8555 564.90/571.25 c bounds 458123 >= 40742 @ 98.1223 564.90/571.25 c bounds 457542 >= 40742 @ 98.1938 564.90/571.25 c bounds 456962 >= 40742 @ 98.2594 564.90/571.25 c bounds 456381 >= 40742 @ 98.3228 564.90/571.25 c bounds 455800 >= 40742 @ 98.3859 564.90/571.25 c bounds 455219 >= 40742 @ 98.4505 564.90/571.25 c bounds 454638 >= 40742 @ 98.5263 564.90/571.25 c bounds 454057 >= 40742 @ 98.6001 564.90/571.25 c bounds 453476 >= 40742 @ 98.6712 564.90/571.25 c bounds 452895 >= 40742 @ 98.7415 564.90/571.25 c bounds 452314 >= 40742 @ 98.8087 564.90/571.25 c bounds 451733 >= 40742 @ 98.8677 564.90/571.25 c bounds 451152 >= 40742 @ 98.9377 564.90/571.25 c bounds 450571 >= 40742 @ 98.9933 564.90/571.25 c #Conflicts: 9000 | #Constraints: 1026631 564.90/571.25 c INPROCESSING 564.90/571.25 c GARBAGE COLLECT 564.90/571.25 c bounds 449990 >= 40742 @ 537.229 564.90/571.25 c bounds 449409 >= 40742 @ 537.287 564.90/571.25 c bounds 448828 >= 40742 @ 537.354 564.90/571.25 c bounds 448247 >= 40742 @ 537.445 564.90/571.25 c bounds 448246 >= 40742 @ 537.503 564.90/571.25 c bounds 448245 >= 40742 @ 537.555 564.90/571.25 c bounds 448244 >= 40742 @ 537.607 564.90/571.25 c bounds 448243 >= 40742 @ 537.667 564.90/571.25 c bounds 448242 >= 40742 @ 537.727 564.90/571.25 c bounds 447661 >= 40742 @ 537.811 564.90/571.25 c bounds 447080 >= 40742 @ 537.889 564.90/571.25 c bounds 446499 >= 40742 @ 537.965 564.90/571.25 c bounds 445918 >= 40742 @ 538.042 564.90/571.25 c bounds 445337 >= 40742 @ 538.113 564.90/571.25 c bounds 444756 >= 40742 @ 538.185 564.90/571.25 c bounds 444175 >= 40742 @ 538.252 564.90/571.25 c bounds 443594 >= 40742 @ 538.324 564.90/571.25 c bounds 443013 >= 40742 @ 538.394 564.90/571.25 c bounds 443012 >= 40742 @ 538.465 564.90/571.25 c bounds 443011 >= 40742 @ 538.528 564.90/571.25 c bounds 442430 >= 40742 @ 538.596 564.90/571.25 c bounds 441849 >= 40742 @ 538.657 564.90/571.25 c bounds 441268 >= 40742 @ 538.717 564.90/571.25 c bounds 440687 >= 40742 @ 538.78 564.90/571.25 c bounds 440106 >= 40742 @ 538.845 564.90/571.25 c bounds 439525 >= 40742 @ 538.901 564.90/571.25 c bounds 438944 >= 40742 @ 538.951 564.90/571.25 c bounds 438363 >= 40742 @ 539.032 564.90/571.25 c bounds 438363 >= 40743 @ 539.471 564.90/571.25 c bounds 437782 >= 40743 @ 539.527 564.90/571.25 c bounds 437201 >= 40743 @ 539.58 564.90/571.25 c bounds 436620 >= 40743 @ 539.63 564.90/571.25 c bounds 436039 >= 40743 @ 539.68 564.90/571.25 c bounds 435458 >= 40743 @ 539.728 564.90/571.25 c bounds 434877 >= 40743 @ 539.778 564.90/571.25 c bounds 434296 >= 40743 @ 539.828 564.90/571.25 c bounds 433715 >= 40743 @ 539.879 564.90/571.25 c bounds 433134 >= 40743 @ 539.919 564.90/571.25 c bounds 432553 >= 40743 @ 539.968 564.90/571.25 c bounds 431972 >= 40743 @ 540.013 564.90/571.25 c bounds 431391 >= 40743 @ 540.063 579.26/585.67 c bounds 430810 >= 40743 @ 540.108 579.26/585.67 c bounds 430229 >= 40743 @ 540.155 579.26/585.67 c bounds 429648 >= 40743 @ 540.204 579.26/585.67 c bounds 429067 >= 40743 @ 540.262 579.26/585.67 c bounds 428486 >= 40743 @ 540.309 579.26/585.67 c bounds 427905 >= 40743 @ 540.36 579.26/585.67 c bounds 427324 >= 40743 @ 540.41 579.26/585.67 c bounds 426743 >= 40743 @ 540.463 579.26/585.67 c bounds 426162 >= 40743 @ 540.512 579.26/585.67 c bounds 425581 >= 40743 @ 540.557 579.26/585.67 c bounds 425000 >= 40743 @ 540.606 579.26/585.67 c bounds 424419 >= 40743 @ 540.66 579.26/585.67 c bounds 423838 >= 40743 @ 540.711 579.26/585.67 c bounds 423257 >= 40743 @ 540.764 579.26/585.67 c bounds 422676 >= 40743 @ 540.814 579.26/585.67 c bounds 422096 >= 40743 @ 540.861 579.26/585.67 c bounds 422095 >= 40743 @ 540.909 579.26/585.67 c bounds 421514 >= 40743 @ 540.955 579.26/585.67 c bounds 420933 >= 40743 @ 540.999 579.26/585.67 c bounds 420352 >= 40743 @ 541.057 579.26/585.67 c bounds 419771 >= 40743 @ 541.107 579.26/585.67 c bounds 419190 >= 40743 @ 541.15 579.26/585.67 c bounds 418609 >= 40743 @ 541.195 579.26/585.67 c bounds 418028 >= 40743 @ 541.247 579.26/585.67 c bounds 417447 >= 40743 @ 541.301 579.26/585.67 c bounds 416866 >= 40743 @ 541.354 579.26/585.67 c #Conflicts: 10000 | #Constraints: 1025388 579.26/585.67 c bounds 416866 >= 40744 @ 542.27 579.26/585.67 c bounds 416285 >= 40744 @ 542.374 579.26/585.67 c bounds 415704 >= 40744 @ 542.497 579.26/585.67 c bounds 415123 >= 40744 @ 542.601 579.26/585.67 c bounds 414542 >= 40744 @ 542.687 579.26/585.67 c bounds 413961 >= 40744 @ 542.774 579.26/585.67 c bounds 413380 >= 40744 @ 542.853 579.26/585.67 c bounds 412799 >= 40744 @ 542.934 579.26/585.67 c bounds 412218 >= 40744 @ 543.01 579.26/585.67 c #Conflicts: 11000 | #Constraints: 1026407 579.26/585.67 c bounds 411637 >= 40744 @ 543.094 579.26/585.67 c bounds 411056 >= 40744 @ 543.171 579.26/585.67 c bounds 410475 >= 40744 @ 543.246 579.26/585.67 c bounds 409894 >= 40744 @ 543.327 579.26/585.67 c bounds 409893 >= 40744 @ 543.41 579.26/585.67 c bounds 409312 >= 40744 @ 543.504 579.26/585.67 c bounds 408731 >= 40744 @ 543.602 579.26/585.67 c bounds 408150 >= 40744 @ 543.685 579.26/585.67 c bounds 407569 >= 40744 @ 543.77 579.26/585.67 c bounds 406988 >= 40744 @ 543.857 579.26/585.67 c bounds 406407 >= 40744 @ 543.947 579.26/585.67 c bounds 405826 >= 40744 @ 544.038 579.26/585.67 c bounds 405245 >= 40744 @ 544.115 579.26/585.67 c bounds 404664 >= 40744 @ 544.188 579.26/585.67 c bounds 404083 >= 40744 @ 544.254 579.26/585.67 c bounds 403502 >= 40744 @ 544.334 579.26/585.67 c bounds 402921 >= 40744 @ 544.403 579.26/585.67 c bounds 402920 >= 40744 @ 544.474 579.26/585.67 c bounds 402919 >= 40744 @ 544.538 579.26/585.67 c bounds 402918 >= 40744 @ 544.6 579.26/585.67 c bounds 402917 >= 40744 @ 544.681 579.26/585.67 c bounds 402336 >= 40744 @ 544.742 579.26/585.67 c bounds 401755 >= 40744 @ 544.795 579.26/585.67 c bounds 401754 >= 40744 @ 544.852 579.26/585.67 c bounds 401753 >= 40744 @ 544.905 579.26/585.67 c bounds 401752 >= 40744 @ 544.996 579.26/585.67 c bounds 401751 >= 40744 @ 545.054 579.26/585.67 c bounds 401750 >= 40744 @ 545.112 579.26/585.67 c bounds 401749 >= 40744 @ 545.164 579.26/585.67 c bounds 401748 >= 40744 @ 545.22 579.26/585.67 c bounds 401747 >= 40744 @ 545.274 579.26/585.67 c bounds 401746 >= 40744 @ 545.331 579.26/585.67 c bounds 401745 >= 40744 @ 545.387 579.26/585.67 c bounds 401744 >= 40744 @ 545.442 579.26/585.67 c bounds 401743 >= 40744 @ 545.507 579.26/585.67 c bounds 401742 >= 40744 @ 545.568 579.26/585.67 c bounds 401161 >= 40744 @ 545.629 579.26/585.67 c #Conflicts: 12000 | #Constraints: 1027444 579.26/585.67 c INPROCESSING 579.26/585.67 c GARBAGE COLLECT 579.26/585.67 c bounds 400580 >= 40744 @ 547.335 579.26/585.67 c bounds 399999 >= 40744 @ 547.391 579.26/585.67 c bounds 399418 >= 40744 @ 547.44 579.26/585.67 c bounds 398837 >= 40744 @ 547.496 579.26/585.67 c bounds 398256 >= 40744 @ 547.545 579.26/585.67 c bounds 397675 >= 40744 @ 547.61 579.26/585.67 c bounds 397094 >= 40744 @ 547.665 579.26/585.67 c bounds 396513 >= 40744 @ 547.717 579.26/585.67 c bounds 395932 >= 40744 @ 547.787 579.26/585.67 c bounds 395351 >= 40744 @ 547.841 579.26/585.67 c bounds 394770 >= 40744 @ 547.904 579.26/585.67 c bounds 394189 >= 40744 @ 547.955 579.26/585.67 c bounds 393608 >= 40744 @ 548 579.26/585.67 c bounds 393027 >= 40744 @ 548.046 579.26/585.67 c bounds 392446 >= 40744 @ 548.097 579.26/585.67 c bounds 391865 >= 40744 @ 548.148 579.26/585.67 c bounds 391284 >= 40744 @ 548.199 579.26/585.67 c bounds 390703 >= 40744 @ 548.245 579.26/585.67 c bounds 390122 >= 40744 @ 548.292 579.26/585.67 c bounds 389541 >= 40744 @ 548.343 579.26/585.67 c bounds 388960 >= 40744 @ 548.397 579.26/585.67 c bounds 388379 >= 40744 @ 548.496 579.26/585.67 c bounds 387798 >= 40744 @ 548.59 579.26/585.67 c bounds 387217 >= 40744 @ 548.69 579.26/585.67 c bounds 386636 >= 40744 @ 548.786 579.26/585.67 c bounds 386055 >= 40744 @ 548.868 579.26/585.67 c bounds 385474 >= 40744 @ 548.957 579.26/585.67 c bounds 384893 >= 40744 @ 549.072 579.26/585.67 c bounds 384314 >= 40744 @ 549.219 579.26/585.67 c bounds 383733 >= 40744 @ 549.321 579.26/585.67 c bounds 383152 >= 40744 @ 549.419 579.26/585.67 c bounds 382571 >= 40744 @ 549.507 579.26/585.67 c bounds 381990 >= 40744 @ 549.629 579.26/585.67 c bounds 381989 >= 40744 @ 549.715 579.26/585.67 c bounds 381408 >= 40744 @ 549.821 579.26/585.67 c bounds 381407 >= 40744 @ 549.9 579.26/585.67 c bounds 380826 >= 40744 @ 549.98 579.26/585.67 c bounds 380825 >= 40744 @ 550.054 579.26/585.67 c bounds 380824 >= 40744 @ 550.125 579.26/585.67 c bounds 380823 >= 40744 @ 550.222 616.59/623.02 c bounds 380242 >= 40744 @ 550.3 616.59/623.02 c bounds 379661 >= 40744 @ 550.39 616.59/623.02 c bounds 379080 >= 40744 @ 550.474 616.59/623.02 c bounds 378499 >= 40744 @ 550.678 616.59/623.02 c bounds 377918 >= 40744 @ 550.893 616.59/623.02 c bounds 377917 >= 40744 @ 551.075 616.59/623.02 c #Conflicts: 13000 | #Constraints: 1025354 616.59/623.02 c #Conflicts: 14000 | #Constraints: 1026354 616.59/623.02 c bounds 377917 >= 40745 @ 553.118 616.59/623.02 c bounds 377336 >= 40745 @ 553.196 616.59/623.02 c bounds 376755 >= 40745 @ 553.304 616.59/623.02 c bounds 376175 >= 40745 @ 553.395 616.59/623.02 c bounds 376174 >= 40745 @ 553.513 616.59/623.02 c bounds 375593 >= 40745 @ 553.603 616.59/623.02 c bounds 375012 >= 40745 @ 553.692 616.59/623.02 c bounds 374431 >= 40745 @ 553.771 616.59/623.02 c bounds 373850 >= 40745 @ 553.849 616.59/623.02 c bounds 373269 >= 40745 @ 553.927 616.59/623.02 c bounds 372688 >= 40745 @ 553.999 616.59/623.02 c bounds 372107 >= 40745 @ 554.058 616.59/623.02 c bounds 371526 >= 40745 @ 554.129 616.59/623.02 c bounds 370945 >= 40745 @ 554.195 616.59/623.02 c bounds 370364 >= 40745 @ 554.32 616.59/623.02 c bounds 369783 >= 40745 @ 554.432 616.59/623.02 c bounds 369202 >= 40745 @ 554.543 616.59/623.02 c bounds 368621 >= 40745 @ 554.65 616.59/623.02 c bounds 368040 >= 40745 @ 554.786 616.59/623.02 c bounds 367459 >= 40745 @ 554.894 616.59/623.02 c bounds 366878 >= 40745 @ 554.995 616.59/623.02 c bounds 366297 >= 40745 @ 555.087 616.59/623.02 c bounds 365716 >= 40745 @ 555.183 616.59/623.02 c bounds 365135 >= 40745 @ 555.276 616.59/623.02 c bounds 364554 >= 40745 @ 555.366 616.59/623.02 c bounds 363973 >= 40745 @ 555.476 616.59/623.02 c bounds 363392 >= 40745 @ 555.566 616.59/623.02 c bounds 363391 >= 40745 @ 555.656 616.59/623.02 c bounds 362810 >= 40745 @ 555.743 616.59/623.02 c bounds 362809 >= 40745 @ 555.817 616.59/623.02 c bounds 362808 >= 40745 @ 555.883 616.59/623.02 c bounds 362227 >= 40745 @ 555.966 616.59/623.02 c bounds 362226 >= 40745 @ 556.017 616.59/623.02 c bounds 362225 >= 40745 @ 556.077 616.59/623.02 c bounds 362224 >= 40745 @ 556.14 616.59/623.02 c bounds 361643 >= 40745 @ 556.209 616.59/623.02 c bounds 361642 >= 40745 @ 556.302 616.59/623.02 c bounds 361061 >= 40745 @ 556.428 616.59/623.02 c bounds 361060 >= 40745 @ 556.489 616.59/623.02 c bounds 361059 >= 40745 @ 556.557 616.59/623.02 c bounds 360478 >= 40745 @ 556.633 616.59/623.02 c bounds 359897 >= 40745 @ 556.703 616.59/623.02 c bounds 359316 >= 40745 @ 556.774 616.59/623.02 c bounds 358735 >= 40745 @ 556.887 616.59/623.02 c bounds 358154 >= 40745 @ 556.97 616.59/623.02 c bounds 357573 >= 40745 @ 557.048 616.59/623.02 c bounds 357572 >= 40745 @ 557.116 616.59/623.02 c bounds 356991 >= 40745 @ 557.237 616.59/623.02 c bounds 356990 >= 40745 @ 557.324 616.59/623.02 c bounds 356989 >= 40745 @ 557.393 616.59/623.02 c bounds 356988 >= 40745 @ 557.462 616.59/623.02 c bounds 356407 >= 40745 @ 557.523 616.59/623.02 c bounds 356406 >= 40745 @ 557.579 616.59/623.02 c bounds 355825 >= 40745 @ 557.66 616.59/623.02 c bounds 355824 >= 40745 @ 557.72 616.59/623.02 c bounds 355823 >= 40745 @ 557.781 616.59/623.02 c bounds 355822 >= 40745 @ 557.83 616.59/623.02 c bounds 355821 >= 40745 @ 557.886 616.59/623.02 c bounds 355820 >= 40745 @ 557.94 616.59/623.02 c bounds 355819 >= 40745 @ 558.001 616.59/623.02 c bounds 355818 >= 40745 @ 558.068 616.59/623.02 c bounds 355817 >= 40745 @ 558.122 616.59/623.02 c bounds 355816 >= 40745 @ 558.184 616.59/623.02 c bounds 355815 >= 40745 @ 558.247 616.59/623.02 c bounds 355814 >= 40745 @ 558.32 616.59/623.02 c bounds 355813 >= 40745 @ 558.377 616.59/623.02 c bounds 355812 >= 40745 @ 558.43 616.59/623.02 c bounds 355231 >= 40745 @ 558.509 616.59/623.02 c bounds 354651 >= 40745 @ 558.596 616.59/623.02 c bounds 354070 >= 40745 @ 558.691 616.59/623.02 c bounds 353489 >= 40745 @ 558.99 616.59/623.02 c bounds 353488 >= 40745 @ 559.224 616.59/623.02 c #Conflicts: 15000 | #Constraints: 1027427 616.59/623.02 c INPROCESSING 616.59/623.02 c GARBAGE COLLECT 616.59/623.02 c bounds 353487 >= 40745 @ 560.59 616.59/623.02 c bounds 352906 >= 40745 @ 560.706 616.59/623.02 c bounds 352327 >= 40745 @ 560.846 616.59/623.02 c bounds 351746 >= 40745 @ 561.448 616.59/623.02 c bounds 351745 >= 40745 @ 562.077 616.59/623.02 c bounds 351744 >= 40745 @ 562.148 616.59/623.02 c bounds 351163 >= 40745 @ 562.346 616.59/623.02 c bounds 350582 >= 40745 @ 562.414 616.59/623.02 c bounds 350001 >= 40745 @ 562.487 616.59/623.02 c #Conflicts: 16000 | #Constraints: 1025661 616.59/623.02 c #Conflicts: 17000 | #Constraints: 1026661 616.59/623.02 c #Conflicts: 18000 | #Constraints: 1027661 616.59/623.02 c bounds 350001 >= 40746 @ 567.22 616.59/623.02 c INPROCESSING 616.59/623.02 c GARBAGE COLLECT 616.59/623.02 c bounds 350000 >= 40746 @ 567.808 616.59/623.02 c bounds 349419 >= 40746 @ 567.935 616.59/623.02 c bounds 348838 >= 40746 @ 568.059 616.59/623.02 c bounds 348257 >= 40746 @ 568.188 616.59/623.02 c bounds 347676 >= 40746 @ 568.314 616.59/623.02 c bounds 347095 >= 40746 @ 568.433 616.59/623.02 c bounds 346514 >= 40746 @ 568.594 616.59/623.02 c bounds 345933 >= 40746 @ 568.724 616.59/623.02 c bounds 345352 >= 40746 @ 568.869 616.59/623.02 c bounds 344771 >= 40746 @ 568.994 616.59/623.02 c bounds 344192 >= 40746 @ 569.138 616.59/623.02 c bounds 344191 >= 40746 @ 569.197 616.59/623.02 c bounds 343610 >= 40746 @ 569.485 616.59/623.02 c bounds 343029 >= 40746 @ 570.188 616.59/623.02 c #Conflicts: 19000 | #Constraints: 1025850 616.59/623.02 c bounds 342448 >= 40746 @ 572.12 616.59/623.02 c bounds 341867 >= 40746 @ 581.472 616.59/623.02 c #Conflicts: 20000 | #Constraints: 1026852 1323.09/1331.06 c #Conflicts: 21000 | #Constraints: 1027852 1323.09/1331.06 c INPROCESSING 1323.09/1331.06 c GARBAGE COLLECT 1323.09/1331.06 c bounds 341866 >= 40746 @ 585.057 1323.09/1331.06 c bounds 341285 >= 40746 @ 585.196 1323.09/1331.06 c #Conflicts: 22000 | #Constraints: 1025739 1323.09/1331.06 c #Conflicts: 23000 | #Constraints: 1026739 1323.09/1331.06 c #Conflicts: 24000 | #Constraints: 1027739 1323.09/1331.06 c #Conflicts: 25000 | #Constraints: 1028739 1323.09/1331.06 c INPROCESSING 1323.09/1331.06 c GARBAGE COLLECT 1323.09/1331.06 c bounds 341284 >= 40746 @ 1226.79 1323.09/1331.06 c bounds 341283 >= 40746 @ 1226.91 1323.09/1331.06 c bounds 340702 >= 40746 @ 1227.07 1323.09/1331.06 c bounds 340121 >= 40746 @ 1227.19 1323.09/1331.06 c bounds 340120 >= 40746 @ 1227.3 1323.09/1331.06 c bounds 340119 >= 40746 @ 1227.47 1323.09/1331.06 c bounds 339538 >= 40746 @ 1227.61 1323.09/1331.06 c bounds 338957 >= 40746 @ 1227.76 1323.09/1331.06 c bounds 338956 >= 40746 @ 1227.88 1323.09/1331.06 c bounds 338375 >= 40746 @ 1228.15 1323.09/1331.06 c bounds 337794 >= 40746 @ 1228.35 1323.09/1331.06 c bounds 337213 >= 40746 @ 1228.48 1323.09/1331.06 c bounds 336632 >= 40746 @ 1228.65 1323.09/1331.06 c bounds 336051 >= 40746 @ 1228.79 1323.09/1331.06 c bounds 335470 >= 40746 @ 1228.99 1323.09/1331.06 c bounds 335469 >= 40746 @ 1229.18 1323.09/1331.06 c bounds 334888 >= 40746 @ 1229.31 1323.09/1331.06 c bounds 334887 >= 40746 @ 1229.5 1323.09/1331.06 c bounds 334886 >= 40746 @ 1229.69 1323.09/1331.06 c bounds 334885 >= 40746 @ 1229.88 1323.09/1331.06 c bounds 334884 >= 40746 @ 1230.06 1323.09/1331.06 c #Conflicts: 26000 | #Constraints: 1026198 1323.09/1331.06 c bounds 334303 >= 40746 @ 1230.23 1323.09/1331.06 c bounds 333722 >= 40746 @ 1230.39 1323.09/1331.06 c bounds 333141 >= 40746 @ 1230.55 1323.09/1331.06 c bounds 332560 >= 40746 @ 1231.67 1323.09/1331.06 c bounds 331982 >= 40746 @ 1232.39 1323.09/1331.06 c bounds 331981 >= 40746 @ 1232.77 1323.09/1331.06 c bounds 331400 >= 40746 @ 1233.87 1323.09/1331.06 c #Conflicts: 27000 | #Constraints: 1027205 1323.09/1331.06 c bounds 331399 >= 40746 @ 1235.64 1323.09/1331.06 c bounds 330818 >= 40746 @ 1235.85 1323.09/1331.06 c bounds 330817 >= 40746 @ 1236.55 1323.09/1331.06 c bounds 330236 >= 40746 @ 1237.82 1323.09/1331.06 c bounds 329655 >= 40746 @ 1238.13 1323.09/1331.06 c bounds 329074 >= 40746 @ 1240.05 1323.09/1331.06 c #Conflicts: 28000 | #Constraints: 1028211 1323.09/1331.06 c #Conflicts: 29000 | #Constraints: 1029211 1323.09/1331.06 c INPROCESSING 1323.09/1331.06 c GARBAGE COLLECT 1323.09/1331.06 c #Conflicts: 30000 | #Constraints: 1025916 1323.09/1331.06 c #Conflicts: 31000 | #Constraints: 1026916 1323.09/1331.06 c #Conflicts: 32000 | #Constraints: 1027916 1323.09/1331.06 c #Conflicts: 33000 | #Constraints: 1028916 1323.09/1331.06 c INPROCESSING 1323.09/1331.06 c GARBAGE COLLECT 1323.09/1331.06 c bounds 328493 >= 40746 @ 1253.65 1323.09/1331.06 c bounds 327912 >= 40746 @ 1253.83 1323.09/1331.06 c bounds 327331 >= 40746 @ 1253.95 1323.09/1331.06 c bounds 326750 >= 40746 @ 1254.06 1323.09/1331.06 c bounds 326169 >= 40746 @ 1254.18 1323.09/1331.06 c bounds 325588 >= 40746 @ 1254.29 1323.09/1331.06 c bounds 325007 >= 40746 @ 1254.39 1323.09/1331.06 c bounds 324426 >= 40746 @ 1254.49 1323.09/1331.06 c bounds 323845 >= 40746 @ 1254.61 1323.09/1331.06 c bounds 323265 >= 40746 @ 1254.7 1323.09/1331.06 c bounds 322684 >= 40746 @ 1255.06 1323.09/1331.06 c bounds 322103 >= 40746 @ 1255.22 1323.09/1331.06 c bounds 321522 >= 40746 @ 1255.35 1323.09/1331.06 c bounds 321521 >= 40746 @ 1255.59 1323.09/1331.06 c bounds 320940 >= 40746 @ 1259.02 1323.09/1331.06 c #Conflicts: 34000 | #Constraints: 1025969 1323.09/1331.06 c #Conflicts: 35000 | #Constraints: 1026969 1323.09/1331.06 c #Conflicts: 36000 | #Constraints: 1027969 1323.09/1331.06 c #Conflicts: 37000 | #Constraints: 1028969 1323.09/1331.06 c INPROCESSING 1323.09/1331.06 c GARBAGE COLLECT 1323.09/1331.06 c bounds 320939 >= 40746 @ 1264.91 1323.09/1331.06 c bounds 320358 >= 40746 @ 1265.02 1323.09/1331.06 c bounds 319777 >= 40746 @ 1265.12 1323.09/1331.06 c bounds 319196 >= 40746 @ 1265.22 1323.09/1331.06 c bounds 318615 >= 40746 @ 1265.32 1323.09/1331.06 c bounds 318034 >= 40746 @ 1265.42 1323.09/1331.06 c bounds 317453 >= 40746 @ 1265.51 1323.09/1331.06 c bounds 316872 >= 40746 @ 1265.61 1323.09/1331.06 c bounds 316291 >= 40746 @ 1265.74 1323.09/1331.06 c bounds 315710 >= 40746 @ 1265.83 1323.09/1331.06 c bounds 315129 >= 40746 @ 1265.92 1323.09/1331.06 c bounds 314548 >= 40746 @ 1266.01 1323.09/1331.06 c bounds 313967 >= 40746 @ 1266.12 1323.09/1331.06 c bounds 313386 >= 40746 @ 1266.21 1323.09/1331.06 c bounds 312805 >= 40746 @ 1266.31 1323.09/1331.06 c bounds 312224 >= 40746 @ 1266.43 1323.09/1331.06 c bounds 312223 >= 40746 @ 1266.51 1323.09/1331.06 c bounds 311642 >= 40746 @ 1266.61 1323.09/1331.06 c bounds 311641 >= 40746 @ 1266.69 1323.09/1331.06 c bounds 311640 >= 40746 @ 1266.77 1323.09/1331.06 c bounds 311639 >= 40746 @ 1266.85 1323.09/1331.06 c bounds 311638 >= 40746 @ 1267.01 1323.09/1331.06 c bounds 311057 >= 40746 @ 1267.14 1323.09/1331.06 c bounds 310476 >= 40746 @ 1267.24 1323.09/1331.06 c bounds 309895 >= 40746 @ 1267.35 1323.09/1331.06 c bounds 309314 >= 40746 @ 1267.49 1323.09/1331.06 c bounds 308733 >= 40746 @ 1268.88 1323.09/1331.06 c #Conflicts: 38000 | #Constraints: 1026104 1323.09/1331.06 c bounds 308152 >= 40746 @ 1272.3 1323.09/1331.06 c bounds 307571 >= 40746 @ 1275.68 1323.09/1331.06 c bounds 307570 >= 40746 @ 1276.55 1323.09/1331.06 c bounds 307569 >= 40746 @ 1277.01 1323.09/1331.06 c bounds 307568 >= 40746 @ 1277.56 1323.09/1331.06 c #Conflicts: 39000 | #Constraints: 1027109 1323.09/1331.06 c bounds 307567 >= 40746 @ 1279.95 3101.80/3114.13 c bounds 306986 >= 40746 @ 1281.13 3101.80/3114.13 c #Conflicts: 40000 | #Constraints: 1028111 3101.80/3114.13 c #Conflicts: 41000 | #Constraints: 1029111 3101.80/3114.13 c INPROCESSING 3101.80/3114.13 c GARBAGE COLLECT 3101.80/3114.13 c bounds 306405 >= 40746 @ 3035.55 3101.80/3114.13 c bounds 305824 >= 40746 @ 3035.71 3101.80/3114.13 c bounds 305243 >= 40746 @ 3035.82 3101.80/3114.13 c bounds 304662 >= 40746 @ 3035.93 3101.80/3114.13 c bounds 304081 >= 40746 @ 3036.07 3101.80/3114.13 c bounds 303500 >= 40746 @ 3036.19 3101.80/3114.13 c bounds 302919 >= 40746 @ 3036.3 3101.80/3114.13 c bounds 302338 >= 40746 @ 3036.42 3101.80/3114.13 c bounds 301757 >= 40746 @ 3036.53 3101.80/3114.13 c bounds 301176 >= 40746 @ 3036.64 3101.80/3114.13 c bounds 300595 >= 40746 @ 3036.75 3101.80/3114.13 c bounds 300014 >= 40746 @ 3036.86 3101.80/3114.13 c bounds 299433 >= 40746 @ 3036.96 3101.80/3114.13 c bounds 298852 >= 40746 @ 3037.07 3101.80/3114.13 c bounds 298271 >= 40746 @ 3037.18 3101.80/3114.13 c bounds 297690 >= 40746 @ 3037.29 3101.80/3114.13 c #Conflicts: 42000 | #Constraints: 1025975 3101.80/3114.13 c bounds 297109 >= 40746 @ 3037.53 3101.80/3114.13 c bounds 296528 >= 40746 @ 3037.76 3101.80/3114.13 c bounds 296527 >= 40746 @ 3037.93 3101.80/3114.13 c bounds 295946 >= 40746 @ 3038.04 3101.80/3114.13 c bounds 295365 >= 40746 @ 3038.13 3101.80/3114.13 c bounds 295364 >= 40746 @ 3038.6 3101.80/3114.13 c bounds 294783 >= 40746 @ 3038.73 3101.80/3114.13 c bounds 294202 >= 40746 @ 3038.85 3101.80/3114.13 c bounds 293621 >= 40746 @ 3038.95 3101.80/3114.13 c bounds 293040 >= 40746 @ 3039.05 3101.80/3114.13 c bounds 292459 >= 40746 @ 3039.15 3101.80/3114.13 c bounds 291878 >= 40746 @ 3039.26 3101.80/3114.13 c bounds 291297 >= 40746 @ 3039.36 3101.80/3114.13 c #Conflicts: 43000 | #Constraints: 1026988 3101.80/3114.13 c #Conflicts: 44000 | #Constraints: 1027988 3101.80/3114.13 c #Conflicts: 45000 | #Constraints: 1028988 3101.80/3114.13 c #Conflicts: 46000 | #Constraints: 1029988 3101.80/3114.13 c INPROCESSING 3101.80/3114.13 c GARBAGE COLLECT 3101.80/3114.13 c bounds 290716 >= 40746 @ 3046.4 3101.80/3114.13 c bounds 290135 >= 40746 @ 3046.49 3101.80/3114.13 c bounds 289554 >= 40746 @ 3046.58 3101.80/3114.13 c bounds 288973 >= 40746 @ 3046.67 3101.80/3114.13 c bounds 288392 >= 40746 @ 3046.74 3101.80/3114.13 c bounds 287811 >= 40746 @ 3046.83 3101.80/3114.13 c bounds 287230 >= 40746 @ 3046.9 3101.80/3114.13 c bounds 286649 >= 40746 @ 3046.97 3101.80/3114.13 c bounds 286068 >= 40746 @ 3047.04 3101.80/3114.13 c bounds 285487 >= 40746 @ 3047.11 3101.80/3114.13 c bounds 284906 >= 40746 @ 3047.18 3101.80/3114.13 c bounds 284325 >= 40746 @ 3047.25 3101.80/3114.13 c bounds 283744 >= 40746 @ 3047.32 3101.80/3114.13 c bounds 283163 >= 40746 @ 3047.37 3101.80/3114.13 c bounds 282582 >= 40746 @ 3047.42 3101.80/3114.13 c bounds 282001 >= 40746 @ 3047.49 3101.80/3114.13 c bounds 281420 >= 40746 @ 3047.57 3101.80/3114.13 c bounds 280839 >= 40746 @ 3047.65 3101.80/3114.13 c bounds 280258 >= 40746 @ 3047.72 3101.80/3114.13 c bounds 279677 >= 40746 @ 3047.79 3101.80/3114.13 c bounds 279096 >= 40746 @ 3047.85 3101.80/3114.13 c bounds 278515 >= 40746 @ 3047.92 3101.80/3114.13 c bounds 278514 >= 40746 @ 3048.02 3101.80/3114.13 c bounds 277933 >= 40746 @ 3048.1 3101.80/3114.13 c bounds 277352 >= 40746 @ 3048.17 3101.80/3114.13 c bounds 276771 >= 40746 @ 3048.25 3101.80/3114.13 c bounds 276190 >= 40746 @ 3048.41 3101.80/3114.13 c bounds 276189 >= 40746 @ 3048.49 3101.80/3114.13 c bounds 275608 >= 40746 @ 3048.58 3101.80/3114.13 c bounds 275027 >= 40746 @ 3048.64 3101.80/3114.13 c bounds 275026 >= 40746 @ 3048.69 3101.80/3114.13 c bounds 275025 >= 40746 @ 3048.73 3101.80/3114.13 c bounds 275024 >= 40746 @ 3048.78 3101.80/3114.13 c bounds 275023 >= 40746 @ 3048.83 3101.80/3114.13 c bounds 275022 >= 40746 @ 3048.89 3101.80/3114.13 c bounds 275021 >= 40746 @ 3048.94 3101.80/3114.13 c bounds 275020 >= 40746 @ 3049 3101.80/3114.13 c bounds 275019 >= 40746 @ 3049.04 3101.80/3114.13 c bounds 275018 >= 40746 @ 3049.1 3101.80/3114.13 c bounds 275017 >= 40746 @ 3049.15 3101.80/3114.13 c bounds 275016 >= 40746 @ 3049.21 3101.80/3114.13 c bounds 275015 >= 40746 @ 3049.27 3101.80/3114.13 c bounds 275014 >= 40746 @ 3049.35 3101.80/3114.13 c bounds 275013 >= 40746 @ 3049.41 3101.80/3114.13 c bounds 275012 >= 40746 @ 3049.46 3101.80/3114.13 c bounds 274431 >= 40746 @ 3049.57 3101.80/3114.13 c bounds 274430 >= 40746 @ 3049.79 3101.80/3114.13 c bounds 273849 >= 40746 @ 3050.11 3101.80/3114.13 c bounds 273268 >= 40746 @ 3050.42 3101.80/3114.13 c bounds 272687 >= 40746 @ 3050.65 3101.80/3114.13 c bounds 272107 >= 40746 @ 3050.76 3101.80/3114.13 c bounds 271526 >= 40746 @ 3050.89 3101.80/3114.13 c bounds 270945 >= 40746 @ 3050.99 3101.80/3114.13 c bounds 270364 >= 40746 @ 3051.1 3101.80/3114.13 c bounds 269783 >= 40746 @ 3051.2 3101.80/3114.13 c bounds 269202 >= 40746 @ 3051.29 3101.80/3114.13 c bounds 268621 >= 40746 @ 3051.38 3101.80/3114.13 c bounds 268040 >= 40746 @ 3051.47 3101.80/3114.13 c bounds 267459 >= 40746 @ 3051.56 3101.80/3114.13 c bounds 266878 >= 40746 @ 3051.64 3101.80/3114.13 c bounds 266297 >= 40746 @ 3051.72 3101.80/3114.13 c bounds 265716 >= 40746 @ 3051.8 3101.80/3114.13 c bounds 265135 >= 40746 @ 3051.88 3101.80/3114.13 c bounds 264554 >= 40746 @ 3051.95 3101.80/3114.13 c bounds 263973 >= 40746 @ 3052.04 3101.80/3114.13 c bounds 263392 >= 40746 @ 3052.12 3101.80/3114.13 c bounds 262811 >= 40746 @ 3052.21 3101.80/3114.13 c bounds 262230 >= 40746 @ 3052.34 3101.80/3114.13 c bounds 261649 >= 40746 @ 3052.44 3101.80/3114.13 c bounds 261068 >= 40746 @ 3052.52 3101.80/3114.13 c bounds 261067 >= 40746 @ 3052.6 3101.80/3114.13 c #Conflicts: 47000 | #Constraints: 1026707 3101.80/3114.13 c bounds 261066 >= 40746 @ 3052.69 3101.80/3114.13 c bounds 261065 >= 40746 @ 3052.77 3101.80/3114.13 c bounds 261064 >= 40746 @ 3052.92 3110.58/3122.95 c bounds 261063 >= 40746 @ 3053.02 3110.58/3122.95 c bounds 260482 >= 40746 @ 3053.11 3110.58/3122.95 c bounds 260481 >= 40746 @ 3053.71 3110.58/3122.95 c bounds 259900 >= 40746 @ 3053.82 3110.58/3122.95 c bounds 259319 >= 40746 @ 3053.89 3110.58/3122.95 c bounds 258738 >= 40746 @ 3053.95 3110.58/3122.95 c bounds 258157 >= 40746 @ 3054.01 3110.58/3122.95 c bounds 257576 >= 40746 @ 3054.07 3110.58/3122.95 c bounds 256995 >= 40746 @ 3054.12 3110.58/3122.95 c bounds 256414 >= 40746 @ 3054.17 3110.58/3122.95 c bounds 255833 >= 40746 @ 3054.22 3110.58/3122.95 c bounds 255252 >= 40746 @ 3054.27 3110.58/3122.95 c bounds 254671 >= 40746 @ 3054.32 3110.58/3122.95 c bounds 254090 >= 40746 @ 3054.38 3110.58/3122.95 c bounds 253509 >= 40746 @ 3054.43 3110.58/3122.95 c bounds 252928 >= 40746 @ 3054.49 3110.58/3122.95 c bounds 252347 >= 40746 @ 3054.54 3110.58/3122.95 c bounds 251766 >= 40746 @ 3054.58 3110.58/3122.95 c bounds 251185 >= 40746 @ 3054.64 3110.58/3122.95 c bounds 250604 >= 40746 @ 3054.69 3110.58/3122.95 c bounds 250023 >= 40746 @ 3054.74 3110.58/3122.95 c bounds 249442 >= 40746 @ 3054.79 3110.58/3122.95 c bounds 248861 >= 40746 @ 3054.84 3110.58/3122.95 c bounds 248280 >= 40746 @ 3054.9 3110.58/3122.95 c bounds 247699 >= 40746 @ 3054.95 3110.58/3122.95 c bounds 247118 >= 40746 @ 3055.01 3110.58/3122.95 c bounds 246537 >= 40746 @ 3055.06 3110.58/3122.95 c bounds 245957 >= 40746 @ 3055.12 3110.58/3122.95 c bounds 245376 >= 40746 @ 3055.18 3110.58/3122.95 c bounds 244795 >= 40746 @ 3055.24 3110.58/3122.95 c bounds 244214 >= 40746 @ 3055.28 3110.58/3122.95 c bounds 243633 >= 40746 @ 3055.33 3110.58/3122.95 c bounds 243052 >= 40746 @ 3055.39 3110.58/3122.95 c bounds 242471 >= 40746 @ 3055.44 3110.58/3122.95 c bounds 241890 >= 40746 @ 3055.49 3110.58/3122.95 c bounds 241309 >= 40746 @ 3055.55 3110.58/3122.95 c bounds 240728 >= 40746 @ 3055.59 3110.58/3122.95 c bounds 240147 >= 40746 @ 3055.64 3110.58/3122.95 c bounds 239566 >= 40746 @ 3055.7 3110.58/3122.95 c bounds 238985 >= 40746 @ 3055.75 3110.58/3122.95 c bounds 238404 >= 40746 @ 3055.8 3110.58/3122.95 c bounds 237823 >= 40746 @ 3055.85 3110.58/3122.95 c bounds 237242 >= 40746 @ 3055.9 3110.58/3122.95 c bounds 236661 >= 40746 @ 3055.98 3110.58/3122.95 c bounds 236080 >= 40746 @ 3056.05 3110.58/3122.95 c bounds 235499 >= 40746 @ 3056.11 3110.58/3122.95 c bounds 234918 >= 40746 @ 3056.16 3110.58/3122.95 c bounds 234337 >= 40746 @ 3056.21 3110.58/3122.95 c bounds 233756 >= 40746 @ 3056.25 3110.58/3122.95 c bounds 233175 >= 40746 @ 3056.3 3110.58/3122.95 c bounds 232594 >= 40746 @ 3056.35 3110.58/3122.95 c bounds 232013 >= 40746 @ 3056.39 3110.58/3122.95 c bounds 231432 >= 40746 @ 3056.44 3110.58/3122.95 c bounds 230851 >= 40746 @ 3056.49 3110.58/3122.95 c bounds 230270 >= 40746 @ 3056.54 3110.58/3122.95 c bounds 229689 >= 40746 @ 3056.59 3110.58/3122.95 c bounds 229108 >= 40746 @ 3056.64 3110.58/3122.95 c bounds 228527 >= 40746 @ 3056.69 3110.58/3122.95 c bounds 227946 >= 40746 @ 3056.73 3110.58/3122.95 c bounds 227365 >= 40746 @ 3056.78 3110.58/3122.95 c bounds 226784 >= 40746 @ 3056.83 3110.58/3122.95 c bounds 226203 >= 40746 @ 3056.88 3110.58/3122.95 c bounds 225622 >= 40746 @ 3056.92 3110.58/3122.95 c bounds 225041 >= 40746 @ 3056.97 3110.58/3122.95 c bounds 224460 >= 40746 @ 3057.02 3110.58/3122.95 c bounds 223879 >= 40746 @ 3057.07 3110.58/3122.95 c bounds 223298 >= 40746 @ 3057.11 3110.58/3122.95 c bounds 222717 >= 40746 @ 3057.16 3110.58/3122.95 c bounds 222136 >= 40746 @ 3057.21 3110.58/3122.95 c bounds 221555 >= 40746 @ 3057.26 3110.58/3122.95 c bounds 220974 >= 40746 @ 3057.3 3110.58/3122.95 c bounds 220393 >= 40746 @ 3057.35 3110.58/3122.95 c bounds 219812 >= 40746 @ 3057.4 3110.58/3122.95 c bounds 219231 >= 40746 @ 3057.44 3110.58/3122.95 c bounds 218650 >= 40746 @ 3057.49 3110.58/3122.95 c bounds 218069 >= 40746 @ 3057.54 3110.58/3122.95 c bounds 217488 >= 40746 @ 3057.59 3110.58/3122.95 c bounds 216907 >= 40746 @ 3057.63 3110.58/3122.95 c bounds 216326 >= 40746 @ 3057.68 3110.58/3122.95 c bounds 215745 >= 40746 @ 3057.73 3110.58/3122.95 c bounds 215164 >= 40746 @ 3057.78 3110.58/3122.95 c bounds 214583 >= 40746 @ 3057.83 3110.58/3122.95 c bounds 214002 >= 40746 @ 3057.87 3110.58/3122.95 c bounds 213421 >= 40746 @ 3057.92 3110.58/3122.95 c bounds 212840 >= 40746 @ 3057.97 3110.58/3122.95 c bounds 212259 >= 40746 @ 3058.01 3110.58/3122.95 c bounds 211678 >= 40746 @ 3058.06 3110.58/3122.95 c bounds 211097 >= 40746 @ 3058.11 3110.58/3122.95 c bounds 210516 >= 40746 @ 3058.15 3110.58/3122.95 c bounds 209935 >= 40746 @ 3058.2 3110.58/3122.95 c bounds 209354 >= 40746 @ 3058.25 3110.58/3122.95 c bounds 208773 >= 40746 @ 3058.29 3110.58/3122.95 c bounds 208192 >= 40746 @ 3058.35 3110.58/3122.95 c bounds 207611 >= 40746 @ 3058.39 3110.58/3122.95 c bounds 207030 >= 40746 @ 3058.44 3110.58/3122.95 c bounds 206449 >= 40746 @ 3058.49 3110.58/3122.95 c bounds 205868 >= 40746 @ 3058.54 3110.58/3122.95 c bounds 205287 >= 40746 @ 3058.58 3110.58/3122.95 c bounds 204706 >= 40746 @ 3058.64 3110.58/3122.95 c bounds 204125 >= 40746 @ 3058.69 3110.58/3122.95 c bounds 203544 >= 40746 @ 3058.74 3110.58/3122.95 c bounds 202963 >= 40746 @ 3058.79 3110.58/3122.95 c bounds 202382 >= 40746 @ 3058.84 3110.58/3122.95 c bounds 201801 >= 40746 @ 3058.89 3110.58/3122.95 c bounds 201220 >= 40746 @ 3058.93 3110.58/3122.95 c bounds 200639 >= 40746 @ 3058.98 3110.58/3122.95 c bounds 200058 >= 40746 @ 3059.02 3110.58/3122.95 c bounds 199477 >= 40746 @ 3059.06 3110.58/3122.95 c bounds 198896 >= 40746 @ 3059.11 3110.58/3122.95 c bounds 198315 >= 40746 @ 3059.16 3110.58/3122.95 c bounds 197734 >= 40746 @ 3059.21 3110.58/3122.95 c bounds 197153 >= 40746 @ 3059.25 3110.58/3122.95 c bounds 196572 >= 40746 @ 3059.3 3110.58/3122.95 c bounds 195991 >= 40746 @ 3059.35 3110.58/3122.95 c bounds 195410 >= 40746 @ 3059.4 3110.58/3122.95 c bounds 194829 >= 40746 @ 3059.45 3110.58/3122.95 c bounds 194248 >= 40746 @ 3059.51 3144.51/3156.94 c bounds 193667 >= 40746 @ 3059.55 3144.51/3156.94 c bounds 193086 >= 40746 @ 3059.6 3144.51/3156.94 c bounds 192505 >= 40746 @ 3059.64 3144.51/3156.94 c bounds 191924 >= 40746 @ 3059.69 3144.51/3156.94 c bounds 191343 >= 40746 @ 3059.74 3144.51/3156.94 c bounds 190762 >= 40746 @ 3059.78 3144.51/3156.94 c bounds 190181 >= 40746 @ 3059.85 3144.51/3156.94 c bounds 189600 >= 40746 @ 3059.9 3144.51/3156.94 c bounds 189019 >= 40746 @ 3059.95 3144.51/3156.94 c bounds 188438 >= 40746 @ 3060 3144.51/3156.94 c bounds 187857 >= 40746 @ 3060.05 3144.51/3156.94 c bounds 187276 >= 40746 @ 3060.1 3144.51/3156.94 c bounds 186695 >= 40746 @ 3060.14 3144.51/3156.94 c bounds 186114 >= 40746 @ 3060.19 3144.51/3156.94 c bounds 185533 >= 40746 @ 3060.24 3144.51/3156.94 c bounds 184952 >= 40746 @ 3060.29 3144.51/3156.94 c bounds 184371 >= 40746 @ 3060.33 3144.51/3156.94 c bounds 183790 >= 40746 @ 3060.39 3144.51/3156.94 c bounds 183209 >= 40746 @ 3060.44 3144.51/3156.94 c bounds 182628 >= 40746 @ 3060.49 3144.51/3156.94 c bounds 182047 >= 40746 @ 3060.53 3144.51/3156.94 c bounds 181466 >= 40746 @ 3060.58 3144.51/3156.94 c bounds 180885 >= 40746 @ 3060.63 3144.51/3156.94 c bounds 180304 >= 40746 @ 3060.68 3144.51/3156.94 c bounds 179723 >= 40746 @ 3060.73 3144.51/3156.94 c bounds 179142 >= 40746 @ 3060.77 3144.51/3156.94 c bounds 178561 >= 40746 @ 3060.83 3144.51/3156.94 c bounds 177980 >= 40746 @ 3060.88 3144.51/3156.94 c bounds 177399 >= 40746 @ 3060.94 3144.51/3156.94 c bounds 176818 >= 40746 @ 3060.99 3144.51/3156.94 c bounds 176237 >= 40746 @ 3061.04 3144.51/3156.94 c bounds 175656 >= 40746 @ 3061.1 3144.51/3156.94 c bounds 175075 >= 40746 @ 3061.15 3144.51/3156.94 c bounds 174494 >= 40746 @ 3061.2 3144.51/3156.94 c bounds 173913 >= 40746 @ 3061.25 3144.51/3156.94 c bounds 173332 >= 40746 @ 3061.31 3144.51/3156.94 c bounds 172751 >= 40746 @ 3061.37 3144.51/3156.94 c bounds 172170 >= 40746 @ 3061.44 3144.51/3156.94 c bounds 171589 >= 40746 @ 3061.5 3144.51/3156.94 c bounds 171008 >= 40746 @ 3061.55 3144.51/3156.94 c bounds 170427 >= 40746 @ 3061.59 3144.51/3156.94 c bounds 169846 >= 40746 @ 3061.65 3144.51/3156.94 c bounds 169265 >= 40746 @ 3061.69 3144.51/3156.94 c bounds 168684 >= 40746 @ 3061.74 3144.51/3156.94 c bounds 168103 >= 40746 @ 3061.79 3144.51/3156.94 c bounds 167522 >= 40746 @ 3061.84 3144.51/3156.94 c bounds 166941 >= 40746 @ 3061.89 3144.51/3156.94 c bounds 166360 >= 40746 @ 3061.93 3144.51/3156.94 c bounds 165779 >= 40746 @ 3061.98 3144.51/3156.94 c bounds 165198 >= 40746 @ 3062.03 3144.51/3156.94 c bounds 164617 >= 40746 @ 3062.07 3144.51/3156.94 c bounds 164036 >= 40746 @ 3062.11 3144.51/3156.94 c bounds 163455 >= 40746 @ 3062.15 3144.51/3156.94 c bounds 162874 >= 40746 @ 3062.21 3144.51/3156.94 c bounds 162293 >= 40746 @ 3062.25 3144.51/3156.94 c bounds 161712 >= 40746 @ 3062.3 3144.51/3156.94 c bounds 161131 >= 40746 @ 3062.36 3144.51/3156.94 c bounds 160550 >= 40746 @ 3062.4 3144.51/3156.94 c bounds 159969 >= 40746 @ 3062.45 3144.51/3156.94 c bounds 159388 >= 40746 @ 3062.51 3144.51/3156.94 c bounds 158807 >= 40746 @ 3062.56 3144.51/3156.94 c bounds 158226 >= 40746 @ 3062.6 3144.51/3156.94 c bounds 157645 >= 40746 @ 3062.65 3144.51/3156.94 c bounds 157064 >= 40746 @ 3062.7 3144.51/3156.94 c bounds 156483 >= 40746 @ 3062.75 3144.51/3156.94 c bounds 155902 >= 40746 @ 3062.8 3144.51/3156.94 c bounds 155321 >= 40746 @ 3062.84 3144.51/3156.94 c bounds 154740 >= 40746 @ 3062.88 3144.51/3156.94 c bounds 154159 >= 40746 @ 3062.93 3144.51/3156.94 c bounds 153578 >= 40746 @ 3062.99 3144.51/3156.94 c bounds 152997 >= 40746 @ 3063.1 3144.51/3156.94 c bounds 152416 >= 40746 @ 3063.2 3144.51/3156.94 c bounds 151835 >= 40746 @ 3063.3 3144.51/3156.94 c bounds 151254 >= 40746 @ 3063.43 3144.51/3156.94 c bounds 150673 >= 40746 @ 3063.52 3144.51/3156.94 c bounds 150092 >= 40746 @ 3063.62 3144.51/3156.94 c bounds 149511 >= 40746 @ 3063.72 3144.51/3156.94 c bounds 148930 >= 40746 @ 3063.83 3144.51/3156.94 c bounds 148349 >= 40746 @ 3063.94 3144.51/3156.94 c bounds 147768 >= 40746 @ 3064.04 3144.51/3156.94 c bounds 147191 >= 40746 @ 3064.23 3144.51/3156.94 c bounds 146610 >= 40746 @ 3064.4 3144.51/3156.94 c bounds 146031 >= 40746 @ 3064.92 3144.51/3156.94 c bounds 146030 >= 40746 @ 3065.06 3144.51/3156.94 c bounds 146029 >= 40746 @ 3065.2 3144.51/3156.94 c bounds 146028 >= 40746 @ 3065.89 3144.51/3156.94 c bounds 145448 >= 40746 @ 3066.11 3144.51/3156.94 c #Conflicts: 48000 | #Constraints: 1027914 3144.51/3156.94 c bounds 144867 >= 40746 @ 3066.86 3144.51/3156.94 c bounds 144286 >= 40746 @ 3068.31 3144.51/3156.94 c #Conflicts: 49000 | #Constraints: 1028916 3144.51/3156.94 c bounds 143705 >= 40746 @ 3072.72 3144.51/3156.94 c bounds 143124 >= 40746 @ 3074.27 3144.51/3156.94 c #Conflicts: 50000 | #Constraints: 1029918 3144.51/3156.94 c #Conflicts: 51000 | #Constraints: 1030918 3144.51/3156.94 c INPROCESSING 3144.51/3156.94 c GARBAGE COLLECT 3144.51/3156.94 c bounds 142543 >= 40746 @ 3076.74 3144.51/3156.94 c bounds 141962 >= 40746 @ 3077.05 3144.51/3156.94 c bounds 141381 >= 40746 @ 3077.39 3144.51/3156.94 c bounds 140800 >= 40746 @ 3077.97 3144.51/3156.94 c bounds 140219 >= 40746 @ 3078.42 3144.51/3156.94 c #Conflicts: 52000 | #Constraints: 1027136 3144.51/3156.94 c bounds 140219 >= 40747 @ 3079.8 3144.51/3156.94 c bounds 139638 >= 40747 @ 3079.96 3144.51/3156.94 c bounds 139637 >= 40747 @ 3080.52 3144.51/3156.94 c bounds 139056 >= 40747 @ 3080.76 3144.51/3156.94 c #Conflicts: 53000 | #Constraints: 1028171 3144.51/3156.94 c bounds 139055 >= 40747 @ 3081.59 3144.51/3156.94 c bounds 138474 >= 40747 @ 3085.21 3144.51/3156.94 c #Conflicts: 54000 | #Constraints: 1029173 3144.51/3156.94 c #Conflicts: 55000 | #Constraints: 1030173 3144.51/3156.94 c #Conflicts: 56000 | #Constraints: 1031173 3144.51/3156.94 c INPROCESSING 3144.51/3156.94 c GARBAGE COLLECT 3440.42/3453.52 c bounds 137893 >= 40747 @ 3089.13 3440.42/3453.52 c bounds 137312 >= 40747 @ 3089.25 3440.42/3453.52 c bounds 136731 >= 40747 @ 3089.49 3440.42/3453.52 c bounds 136150 >= 40747 @ 3089.74 3440.42/3453.52 c bounds 135569 >= 40747 @ 3090.25 3440.42/3453.52 c bounds 134988 >= 40747 @ 3090.69 3440.42/3453.52 c bounds 134407 >= 40747 @ 3091.44 3440.42/3453.52 c bounds 133826 >= 40747 @ 3091.87 3440.42/3453.52 c #Conflicts: 57000 | #Constraints: 1027160 3440.42/3453.52 c bounds 133245 >= 40747 @ 3095.11 3440.42/3453.52 c #Conflicts: 58000 | #Constraints: 1028161 3440.42/3453.52 c #Conflicts: 59000 | #Constraints: 1029161 3440.42/3453.52 c #Conflicts: 60000 | #Constraints: 1030161 3440.42/3453.52 c bounds 133245 >= 40748 @ 3101.51 3440.42/3453.52 c bounds 132664 >= 40748 @ 3101.68 3440.42/3453.52 c bounds 132083 >= 40748 @ 3101.86 3440.42/3453.52 c bounds 131502 >= 40748 @ 3102.07 3440.42/3453.52 c bounds 130921 >= 40748 @ 3102.46 3440.42/3453.52 c bounds 130340 >= 40748 @ 3102.77 3440.42/3453.52 c bounds 129759 >= 40748 @ 3102.98 3440.42/3453.52 c #Conflicts: 61000 | #Constraints: 1031181 3440.42/3453.52 c INPROCESSING 3440.42/3453.52 c GARBAGE COLLECT 3440.42/3453.52 c bounds 129178 >= 40748 @ 3106.62 3440.42/3453.52 c #Conflicts: 62000 | #Constraints: 1027002 3440.42/3453.52 c bounds 128597 >= 40748 @ 3108.18 3440.42/3453.52 c bounds 128016 >= 40748 @ 3110.88 3440.42/3453.52 c bounds 127435 >= 40748 @ 3111.68 3440.42/3453.52 c #Conflicts: 63000 | #Constraints: 1028005 3440.42/3453.52 c #Conflicts: 64000 | #Constraints: 1029005 3440.42/3453.52 c bounds 126854 >= 40748 @ 3122.22 3440.42/3453.52 c #Conflicts: 65000 | #Constraints: 1030006 3440.42/3453.52 c #Conflicts: 66000 | #Constraints: 1031006 3440.42/3453.52 c INPROCESSING 3440.42/3453.52 c GARBAGE COLLECT 3440.42/3453.52 c #Conflicts: 67000 | #Constraints: 1026904 3440.42/3453.52 c #Conflicts: 68000 | #Constraints: 1027904 3440.42/3453.52 c #Conflicts: 69000 | #Constraints: 1028904 3440.42/3453.52 c #Conflicts: 70000 | #Constraints: 1029904 3440.42/3453.52 c #Conflicts: 71000 | #Constraints: 1030904 3440.42/3453.52 c #Conflicts: 72000 | #Constraints: 1031904 3440.42/3453.52 c INPROCESSING 3440.42/3453.52 c GARBAGE COLLECT 3440.42/3453.52 c #Conflicts: 73000 | #Constraints: 1027685 3440.42/3453.52 c #Conflicts: 74000 | #Constraints: 1028685 3440.42/3453.52 c #Conflicts: 75000 | #Constraints: 1029685 3440.42/3453.52 c #Conflicts: 76000 | #Constraints: 1030685 3440.42/3453.52 c #Conflicts: 77000 | #Constraints: 1031685 3440.42/3453.52 c #Conflicts: 78000 | #Constraints: 1032685 3440.42/3453.52 c INPROCESSING 3440.42/3453.52 c GARBAGE COLLECT 3440.42/3453.52 c bounds 126273 >= 40748 @ 3144.01 3440.42/3453.52 c bounds 125692 >= 40748 @ 3144.2 3440.42/3453.52 c bounds 125111 >= 40748 @ 3144.81 3440.42/3453.52 c bounds 124530 >= 40748 @ 3145 3440.42/3453.52 c bounds 123949 >= 40748 @ 3145.43 3440.42/3453.52 c bounds 123948 >= 40748 @ 3146.4 3440.42/3453.52 c #Conflicts: 79000 | #Constraints: 1028227 3440.42/3453.52 c #Conflicts: 80000 | #Constraints: 1029227 3440.42/3453.52 c bounds 123367 >= 40748 @ 3158.78 3440.42/3453.52 c #Conflicts: 81000 | #Constraints: 1030228 3440.42/3453.52 c #Conflicts: 82000 | #Constraints: 1031228 3440.42/3453.52 c #Conflicts: 83000 | #Constraints: 1032228 3440.42/3453.52 c #Conflicts: 84000 | #Constraints: 1033228 3440.42/3453.52 c INPROCESSING 3440.42/3453.52 c GARBAGE COLLECT 3440.42/3453.52 c bounds 122786 >= 40748 @ 3317.83 3440.42/3453.52 c bounds 122205 >= 40748 @ 3318.23 3440.42/3453.52 c bounds 121624 >= 40748 @ 3318.42 3440.42/3453.52 c bounds 121043 >= 40748 @ 3318.74 3440.42/3453.52 c bounds 120462 >= 40748 @ 3320.4 3440.42/3453.52 c #Conflicts: 85000 | #Constraints: 1028134 3440.42/3453.52 c #Conflicts: 86000 | #Constraints: 1029134 3440.42/3453.52 c #Conflicts: 87000 | #Constraints: 1030134 3440.42/3453.52 c #Conflicts: 88000 | #Constraints: 1031134 3440.42/3453.52 c bounds 120461 >= 40748 @ 3343.27 3440.42/3453.52 c #Conflicts: 89000 | #Constraints: 1032135 3440.42/3453.52 c #Conflicts: 90000 | #Constraints: 1033135 3440.42/3453.52 c INPROCESSING 3440.42/3453.52 c GARBAGE COLLECT 3440.42/3453.52 c #Conflicts: 91000 | #Constraints: 1028126 3440.42/3453.52 c #Conflicts: 92000 | #Constraints: 1029126 3440.42/3453.52 c #Conflicts: 93000 | #Constraints: 1030126 3440.42/3453.52 c #Conflicts: 94000 | #Constraints: 1031126 3440.42/3453.52 c #Conflicts: 95000 | #Constraints: 1032126 3440.42/3453.52 c #Conflicts: 96000 | #Constraints: 1033126 3440.42/3453.52 c INPROCESSING 3440.42/3453.52 c GARBAGE COLLECT 3440.42/3453.52 c bounds 119880 >= 40748 @ 3357.74 3440.42/3453.52 c bounds 119299 >= 40748 @ 3357.91 3440.42/3453.52 c bounds 118718 >= 40748 @ 3358.13 3440.42/3453.52 c bounds 118137 >= 40748 @ 3358.33 3440.42/3453.52 c bounds 117556 >= 40748 @ 3358.57 3440.42/3453.52 c bounds 116975 >= 40748 @ 3358.8 3440.42/3453.52 c bounds 116396 >= 40748 @ 3359.06 3440.42/3453.52 c #Conflicts: 97000 | #Constraints: 1028089 3440.42/3453.52 c #Conflicts: 98000 | #Constraints: 1029089 3440.42/3453.52 c bounds 115817 >= 40748 @ 3365.95 3440.42/3453.52 c #Conflicts: 99000 | #Constraints: 1030090 3440.42/3453.52 c #Conflicts: 100000 | #Constraints: 1031090 3440.42/3453.52 c #Conflicts: 101000 | #Constraints: 1032090 3440.42/3453.52 c #Conflicts: 102000 | #Constraints: 1033090 3440.42/3453.52 c #Con
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (62005 MiB free)
memory of node 1: 64510 MiB (57205 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462771-1722344688/watcher-4462771-1722344688 -o /tmp/evaluation-result-4462771-1722344688/solver-4462771-1722344688 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722340763-6583 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462771-1722344688 --lp-cut-gomory=0 HOME/instance-4462771-1722344688.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9831, runsolver pid=9828
[startup+0.100082 s]*
/proc/loadavg: 4.15 4.13 4.09 4/259 9832
/proc/meminfo: memFree=122068972/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=37376 memory=2620 CPUtime=0 cores=4,6
/proc/9831/stat : 9831 (roundingsat) D 9828 9831 6572 0 -1 1077936128 219 0 0 0 0 0 0 0 20 0 1 0 1070634 38273024 655 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 9344 655 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2620 KiB
[startup+0.205389 s]*
/proc/loadavg: 4.15 4.13 4.09 4/259 9832
/proc/meminfo: memFree=122067292/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=37376 memory=2620 CPUtime=0 cores=4,6
/proc/9831/stat : 9831 (roundingsat) D 9828 9831 6572 0 -1 1077936128 219 0 0 0 0 0 0 0 20 0 1 0 1070634 38273024 655 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 9344 655 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2620 KiB
[startup+0.304361 s]*
/proc/loadavg: 4.15 4.13 4.09 4/259 9832
/proc/meminfo: memFree=122066296/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=37376 memory=2620 CPUtime=0 cores=4,6
/proc/9831/stat : 9831 (roundingsat) D 9828 9831 6572 0 -1 1077936128 219 0 0 0 0 0 0 0 20 0 1 0 1070634 38273024 655 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 9344 655 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2620 KiB
[startup+0.700151 s]
/proc/loadavg: 4.15 4.13 4.09 4/259 9832
/proc/meminfo: memFree=122059160/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=37376 memory=2620 CPUtime=0 cores=4,6
/proc/9831/stat : 9831 (roundingsat) D 9828 9831 6572 0 -1 1077936128 219 0 0 0 0 0 0 0 20 0 1 0 1070634 38273024 655 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 9344 655 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2620 KiB
[startup+1.50014 s]
/proc/loadavg: 4.22 4.15 4.10 4/259 9832
/proc/meminfo: memFree=122053648/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=37376 memory=2620 CPUtime=0 cores=4,6
/proc/9831/stat : 9831 (roundingsat) D 9828 9831 6572 0 -1 1077936128 219 0 0 0 0 0 0 0 20 0 1 0 1070634 38273024 655 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 9344 655 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2620 KiB
[startup+3.10454 s]
/proc/loadavg: 4.22 4.15 4.10 4/259 9834
/proc/meminfo: memFree=121990640/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=37376 memory=2620 CPUtime=0 cores=4,6
/proc/9831/stat : 9831 (roundingsat) D 9828 9831 6572 0 -1 1077936128 219 0 0 0 0 0 0 0 20 0 1 0 1070634 38273024 655 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 9344 655 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2620 KiB
heavy processes:
[startup+6.30031 s]
/proc/loadavg: 4.20 4.14 4.10 5/259 9834
/proc/meminfo: memFree=121819504/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=124220 memory=89416 CPUtime=2.18 cores=4,6
/proc/9831/stat : 9831 (roundingsat) R 9828 9831 6572 0 -1 4194304 13033 0 0 0 187 31 0 0 20 0 1 0 1070634 127201280 22354 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 31055 22354 1375 992 0 22913 0
Current children cumulated CPU time: 2.18 s
Current children cumulated vsize: 124220 KiB
Current children cumulated memory: 89416 KiB
heavy processes:
[startup+12.7003 s]
/proc/loadavg: 4.18 4.14 4.10 5/259 9834
/proc/meminfo: memFree=121675448/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=209836 memory=154428 CPUtime=8.52 cores=4,6
/proc/9831/stat : 9831 (roundingsat) R 9828 9831 6572 0 -1 4194304 18107 0 0 0 746 106 0 0 20 0 1 0 1070634 214872064 38607 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 52459 38607 1375 992 0 44317 0
Current children cumulated CPU time: 8.52 s
Current children cumulated vsize: 209836 KiB
Current children cumulated memory: 154428 KiB
heavy processes:
[startup+25.5003 s]
/proc/loadavg: 4.16 4.14 4.09 5/259 9838
/proc/meminfo: memFree=120673456/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=905376 memory=854660 CPUtime=21.19 cores=4,6
/proc/9831/stat : 9831 (roundingsat) R 9828 9831 6572 0 -1 4194304 115574 0 0 0 1790 329 0 0 20 0 1 0 1070634 927105024 213665 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 226344 213665 1758 992 0 218202 0
Current children cumulated CPU time: 21.19 s
Current children cumulated vsize: 905376 KiB
Current children cumulated memory: 854660 KiB
[startup+51.1056 s]
/proc/loadavg: 4.22 4.16 4.10 5/258 9841
/proc/meminfo: memFree=120067968/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=915388 memory=877208 CPUtime=46.58 cores=4,6
/proc/9831/stat : 9831 (roundingsat) R 9828 9831 6572 0 -1 4194304 116487 0 0 0 3976 682 0 0 20 0 1 0 1070634 937357312 219302 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 228847 219302 1820 992 0 220705 0
Current children cumulated CPU time: 46.58 s
Current children cumulated vsize: 915388 KiB
Current children cumulated memory: 877208 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/260 9851
/proc/meminfo: memFree=118552636/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=966392 memory=925336 CPUtime=97.56 cores=4,6
/proc/9831/stat : 9831 (roundingsat) R 9828 9831 6572 0 -1 4194304 120586 0 0 0 8194 1562 0 0 20 0 1 0 1070634 989585408 231334 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 241598 231334 1882 992 0 233456 0
Current children cumulated CPU time: 97.56 s
Current children cumulated vsize: 966392 KiB
Current children cumulated memory: 925336 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/259 9864
/proc/meminfo: memFree=116516992/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=1081072 memory=994704 CPUtime=157.32 cores=4,6
/proc/9831/stat : 9831 (roundingsat) R 9828 9831 6572 0 -1 4194304 130434 0 0 0 13428 2304 0 0 20 0 1 0 1070634 1107017728 248676 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 270268 248676 1882 992 0 262126 0
Current children cumulated CPU time: 157.32 s
Current children cumulated vsize: 1081072 KiB
Current children cumulated memory: 994704 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/259 9875
/proc/meminfo: memFree=115332664/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=1081072 memory=994812 CPUtime=217.07 cores=4,6
/proc/9831/stat : 9831 (roundingsat) R 9828 9831 6572 0 -1 4194304 130590 0 0 0 19392 2315 0 0 20 0 1 0 1070634 1107017728 248703 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 270268 248703 1882 992 0 262126 0
Current children cumulated CPU time: 217.07 s
Current children cumulated vsize: 1081072 KiB
Current children cumulated memory: 994812 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/260 9886
/proc/meminfo: memFree=113648908/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=1081072 memory=994844 CPUtime=276.83 cores=4,6
/proc/9831/stat : 9831 (roundingsat) R 9828 9831 6572 0 -1 4194304 130729 0 0 0 25357 2326 0 0 20 0 1 0 1070634 1107017728 248711 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 270268 248711 1882 992 0 262126 0
Current children cumulated CPU time: 276.83 s
Current children cumulated vsize: 1081072 KiB
Current children cumulated memory: 994844 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/262 9900
/proc/meminfo: memFree=112606028/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=1081072 memory=994872 CPUtime=336.64 cores=4,6
/proc/9831/stat : 9831 (roundingsat) R 9828 9831 6572 0 -1 4194304 130874 0 0 0 31334 2330 0 0 20 0 1 0 1070634 1107017728 248718 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 270268 248718 1882 992 0 262126 0
Current children cumulated CPU time: 336.64 s
Current children cumulated vsize: 1081072 KiB
Current children cumulated memory: 994872 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.13 4.09 6/262 9911
/proc/meminfo: memFree=111368300/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=1081072 memory=994940 CPUtime=396.45 cores=4,6
/proc/9831/stat : 9831 (roundingsat) R 9828 9831 6572 0 -1 4194304 131009 0 0 0 37311 2334 0 0 20 0 1 0 1070634 1107017728 248735 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 270268 248735 1882 992 0 262126 0
Current children cumulated CPU time: 396.45 s
Current children cumulated vsize: 1081072 KiB
Current children cumulated memory: 994940 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/260 9922
/proc/meminfo: memFree=110395356/131524600 swapFree=131071996/131071996
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/260 11494
/proc/meminfo: memFree=112469072/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=1850568 memory=1799028 CPUtime=3030.15 cores=4,6
/proc/9831/stat : 9831 (roundingsat) R 9828 9831 6572 0 -1 4194304 250438 0 0 0 298561 4454 0 0 20 0 1 0 1070634 1894981632 449757 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 462642 449757 1882 992 0 454500 0
Current children cumulated CPU time: 3030.15 s
Current children cumulated vsize: 1850568 KiB
Current children cumulated memory: 1799028 KiB
[startup+3102.3 s]
/proc/loadavg: 4.56 4.23 4.13 5/260 11505
/proc/meminfo: memFree=112165864/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=1850568 memory=1799448 CPUtime=3090.02 cores=4,6
/proc/9831/stat : 9831 (roundingsat) R 9828 9831 6572 0 -1 4194304 251182 0 0 0 304397 4605 0 0 20 0 1 0 1070634 1894981632 449862 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 462642 449862 1882 992 0 454500 0
Current children cumulated CPU time: 3090.02 s
Current children cumulated vsize: 1850568 KiB
Current children cumulated memory: 1799448 KiB
[startup+3162.3 s]
/proc/loadavg: 4.24 4.20 4.13 5/261 11518
/proc/meminfo: memFree=110272636/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=1850568 memory=1799448 CPUtime=3149.9 cores=4,6
/proc/9831/stat : 9831 (roundingsat) R 9828 9831 6572 0 -1 4194304 251802 0 0 0 309329 5661 0 0 20 0 1 0 1070634 1894981632 449862 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 462642 449862 1882 992 0 454500 0
Current children cumulated CPU time: 3149.9 s
Current children cumulated vsize: 1850568 KiB
Current children cumulated memory: 1799448 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.19 4.13 5/264 11699
/proc/meminfo: memFree=108300892/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=1850568 memory=1802836 CPUtime=3209.78 cores=4,6
/proc/9831/stat : 9831 (roundingsat) R 9828 9831 6572 0 -1 4194304 252702 0 0 0 314848 6130 0 0 20 0 1 0 1070634 1894981632 450709 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 462642 450709 1882 992 0 454500 0
Current children cumulated CPU time: 3209.78 s
Current children cumulated vsize: 1850568 KiB
Current children cumulated memory: 1802836 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/264 11710
/proc/meminfo: memFree=107614748/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=1857412 memory=1807932 CPUtime=3269.65 cores=4,6
/proc/9831/stat : 9831 (roundingsat) R 9828 9831 6572 0 -1 4194304 253982 0 0 0 320730 6235 0 0 20 0 1 0 1070634 1901989888 451983 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 464353 451983 1882 992 0 456211 0
Current children cumulated CPU time: 3269.65 s
Current children cumulated vsize: 1857412 KiB
Current children cumulated memory: 1807932 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.15 4.12 5/264 11722
/proc/meminfo: memFree=107546360/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=1864752 memory=1813612 CPUtime=3329.5 cores=4,6
/proc/9831/stat : 9831 (roundingsat) R 9828 9831 6572 0 -1 4194304 254602 0 0 0 326713 6237 0 0 20 0 1 0 1070634 1909506048 453403 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 466188 453403 1882 992 0 458046 0
Current children cumulated CPU time: 3329.5 s
Current children cumulated vsize: 1864752 KiB
Current children cumulated memory: 1813612 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/261 11790
/proc/meminfo: memFree=106787240/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=1871748 memory=1814300 CPUtime=3389.35 cores=4,6
/proc/9831/stat : 9831 (roundingsat) R 9828 9831 6572 0 -1 4194304 255571 0 0 0 332604 6331 0 0 20 0 1 0 1070634 1916669952 453575 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 467937 453575 1882 992 0 459795 0
Current children cumulated CPU time: 3389.35 s
Current children cumulated vsize: 1871748 KiB
Current children cumulated memory: 1814300 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/261 11801
/proc/meminfo: memFree=105948260/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=2086672 memory=1854960 CPUtime=3449.2 cores=4,6
/proc/9831/stat : 9831 (roundingsat) R 9828 9831 6572 0 -1 4194304 256683 0 0 0 338252 6668 0 0 20 0 1 0 1070634 2136752128 463740 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 521668 463740 1882 992 0 513526 0
Current children cumulated CPU time: 3449.2 s
Current children cumulated vsize: 2086672 KiB
Current children cumulated memory: 1854960 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/258 11812
/proc/meminfo: memFree=105171000/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=2089956 memory=1867528 CPUtime=3509.06 cores=4,6
/proc/9831/stat : 9831 (roundingsat) R 9828 9831 6572 0 -1 4194304 257875 0 0 0 344202 6704 0 0 20 0 1 0 1070634 2140114944 466882 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 522489 466882 1882 992 0 514347 0
Current children cumulated CPU time: 3509.06 s
Current children cumulated vsize: 2089956 KiB
Current children cumulated memory: 1867528 KiB
[startup+3582.3 s]
/proc/loadavg: 4.42 4.23 4.14 5/259 11870
/proc/meminfo: memFree=117384724/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=2089956 memory=1867564 CPUtime=3568.86 cores=4,6
/proc/9831/stat : 9831 (roundingsat) R 9828 9831 6572 0 -1 4194304 258305 0 0 0 350174 6712 0 0 20 0 1 0 1070634 2140114944 466891 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 522489 466891 1882 992 0 514347 0
Current children cumulated CPU time: 3568.86 s
Current children cumulated vsize: 2089956 KiB
Current children cumulated memory: 1867564 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.6 s]
/proc/loadavg: 4.33 4.22 4.14 5/259 11876
/proc/meminfo: memFree=116990632/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=2089956 memory=1867568 CPUtime=3600.09 cores=4,6
/proc/9831/stat : 9831 (roundingsat) R 9828 9831 6572 0 -1 4194304 258446 0 0 0 353295 6714 0 0 20 0 1 0 1070634 2140114944 466892 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 522489 466892 1882 992 0 514347 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2089956 KiB
Current children cumulated memory: 1867568 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3615.62 s]
# the end of solver process 9831 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3534.95 s, system=67.1598 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3614.4 s]
/proc/loadavg: 4.33 4.22 4.14 5/259 11876
/proc/meminfo: memFree=116983332/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=2089956 memory=1867568 CPUtime=3600.89 cores=4,6
/proc/9831/stat : 9831 (roundingsat) R 9828 9831 6572 0 -1 4194304 258446 0 0 0 353375 6714 0 0 20 0 1 0 1070634 2140114944 466892 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 522489 466892 1882 992 0 514347 0
Current children cumulated CPU time: 3600.89 s
Current children cumulated vsize: 2089956 KiB
Current children cumulated memory: 1867568 KiB
[startup+3615.2 s]
/proc/loadavg: 4.33 4.22 4.14 5/259 11876
/proc/meminfo: memFree=116976792/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=2089956 memory=1867568 CPUtime=3601.69 cores=4,6
/proc/9831/stat : 9831 (roundingsat) R 9828 9831 6572 0 -1 4194304 258446 0 0 0 353455 6714 0 0 20 0 1 0 1070634 2140114944 466892 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 522489 466892 1882 992 0 514347 0
Current children cumulated CPU time: 3601.69 s
Current children cumulated vsize: 2089956 KiB
Current children cumulated memory: 1867568 KiB
[startup+3615.6 s]
/proc/loadavg: 4.33 4.22 4.14 5/259 11876
/proc/meminfo: memFree=116976792/131524600 swapFree=131071996/131071996
[pid=9831] ppid=9828 vsize=2089956 memory=1867568 CPUtime=3602.08 cores=4,6
/proc/9831/stat : 9831 (roundingsat) R 9828 9831 6572 0 -1 4194304 258446 0 0 0 353494 6714 0 0 20 0 1 0 1070634 2140114944 466892 134679101440 4194304 8255733 140734099622912 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 39026688 140734099624798 140734099625060 140734099625060 140734099632073 0
/proc/9831/statm: 522489 466892 1882 992 0 514347 0
Current children cumulated CPU time: 3602.08 s
Current children cumulated vsize: 2089956 KiB
Current children cumulated memory: 1867568 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3615.62
CPU time (s): 3602.11
CPU user time (s): 3534.95
CPU system time (s): 67.1598
CPU usage (%): 99.6265
Max. virtual memory (cumulated for all children) (KiB): 2089956
Max. memory (cumulated for all children) (KiB): 1867568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3534.95
system time used= 67.1598
maximum resident set size= 1867568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258446
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7348496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 2914
# summary of solver processes directly reported to runsolver:
# pid: 9831
# total CPU time (s): 3602.11
# total CPU user time (s): 3534.95
# total CPU system time (s): 67.1598
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.37896 second user time and 16.4878 second system time
The end
Begin job on nodeC031 at 2024-07-30 15:04:49 IDJOB=4462771 IDBENCH=158209 IDSOLVER=3089 FILE ID=nodeC031/4462771-1722344688 RUNJOBID= nodeC031-1722340763-6583 SLURM_JOB_ID= 8249004 Free space on /tmp= 889916 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/OPT-LIN/graca/normalized-ped2.G.recomb10-0.20-13.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462771-1722344688/watcher-4462771-1722344688 -o /tmp/evaluation-result-4462771-1722344688/solver-4462771-1722344688 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722340763-6583 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462771-1722344688 --lp-cut-gomory=0 HOME/instance-4462771-1722344688.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8ac687d6d6d445392b755a367fbcc019 RANDOM SEED=490674107 nodeC031.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3672.372 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.95 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3690.555 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3604.642 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.95 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.374 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.281 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.95 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3690.335 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.589 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.95 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3598.630 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122074024 kB MemAvailable: 128192308 kB Buffers: 47144 kB Cached: 6900268 kB SwapCached: 0 kB Active: 194232 kB Inactive: 8757104 kB Active(anon): 1564 kB Inactive(anon): 2023716 kB Active(file): 192668 kB Inactive(file): 6733388 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 631808 kB Writeback: 0 kB AnonPages: 2003676 kB Mapped: 97484 kB Shmem: 21336 kB KReclaimable: 63752 kB Slab: 158692 kB SReclaimable: 63752 kB SUnreclaim: 94940 kB KernelStack: 4160 kB PageTables: 13492 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2314616 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8416 kB HardwareCorrupted: 0 kB AnonHugePages: 776192 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 236244 kB DirectMap2M: 8974336 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 889880 MiB End job on nodeC031 at 2024-07-30 16:05:05