| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3602.03 | 3611.21 |
| 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 6.57/6.60 c #variables 215039 #constraints 1445335 21.19/21.34 c bounds - >= 1167 @ 5.40138 21.19/21.34 c bounds 702738 >= 1167 @ 13.2258 21.19/21.34 c bounds 702738 >= 1748 @ 13.2314 21.19/21.34 c bounds 702738 >= 2329 @ 13.2362 21.19/21.34 c bounds 702738 >= 2910 @ 13.2392 21.19/21.34 c bounds 702738 >= 3491 @ 13.2424 21.19/21.34 c bounds 702738 >= 3492 @ 13.2468 21.19/21.34 c bounds 702738 >= 4073 @ 13.2519 21.19/21.34 c bounds 702738 >= 4654 @ 13.2561 21.19/21.34 c bounds 702738 >= 5235 @ 13.2592 21.19/21.34 c bounds 702738 >= 5816 @ 13.2646 21.19/21.34 c bounds 702738 >= 6397 @ 13.2695 21.19/21.34 c bounds 702738 >= 6978 @ 13.2757 21.19/21.34 c bounds 702738 >= 7559 @ 13.2848 21.19/21.34 c bounds 702738 >= 8140 @ 13.2915 21.19/21.34 c bounds 702738 >= 8721 @ 13.2988 21.19/21.34 c bounds 702738 >= 9302 @ 13.3048 21.19/21.34 c bounds 702738 >= 9883 @ 13.3107 21.19/21.34 c bounds 702738 >= 10464 @ 13.3168 21.19/21.34 c bounds 702738 >= 11045 @ 13.3219 21.19/21.34 c bounds 702738 >= 11626 @ 13.3308 21.19/21.34 c bounds 702160 >= 11626 @ 13.5495 21.19/21.34 c bounds 702160 >= 12207 @ 13.5583 21.19/21.34 c bounds 702160 >= 12788 @ 13.5663 21.19/21.34 c bounds 702160 >= 13369 @ 13.5754 21.19/21.34 c bounds 702160 >= 13950 @ 13.5846 21.19/21.34 c bounds 702160 >= 14531 @ 13.592 21.19/21.34 c bounds 702160 >= 14532 @ 13.6105 21.19/21.34 c bounds 702160 >= 14533 @ 13.6196 21.19/21.34 c bounds 702160 >= 15114 @ 13.6299 21.19/21.34 c bounds 702160 >= 15115 @ 13.6484 21.19/21.34 c bounds 702160 >= 15116 @ 13.6595 21.19/21.34 c bounds 702160 >= 15117 @ 13.6848 21.19/21.34 c bounds 702160 >= 15698 @ 13.7068 21.19/21.34 c bounds 702160 >= 15699 @ 13.7199 21.19/21.34 c bounds 702160 >= 15700 @ 13.7299 21.19/21.34 c bounds 702160 >= 15701 @ 13.742 21.19/21.34 c bounds 702160 >= 16281 @ 13.7568 21.19/21.34 c bounds 702159 >= 16281 @ 13.805 21.19/21.34 c bounds 702159 >= 16282 @ 13.8166 21.19/21.34 c bounds 702159 >= 16862 @ 13.8284 21.19/21.34 c bounds 702159 >= 16863 @ 13.8381 21.19/21.34 c bounds 702159 >= 17444 @ 13.8498 21.19/21.34 c bounds 702159 >= 18025 @ 13.8666 21.19/21.34 c bounds 701578 >= 18025 @ 13.9398 21.19/21.34 c bounds 701578 >= 18026 @ 13.9711 21.19/21.34 c bounds 701578 >= 18027 @ 13.9869 21.19/21.34 c bounds 701578 >= 18028 @ 14.0021 21.19/21.34 c bounds 700997 >= 18028 @ 14.0591 21.19/21.34 c bounds 700997 >= 18029 @ 14.0871 21.19/21.34 c bounds 700416 >= 18029 @ 14.1392 21.19/21.34 c bounds 700416 >= 18030 @ 14.162 21.19/21.34 c bounds 699835 >= 18030 @ 14.2037 21.19/21.34 c bounds 699835 >= 18031 @ 14.2193 21.19/21.34 c bounds 699835 >= 18612 @ 14.2419 21.19/21.34 c bounds 699254 >= 18612 @ 14.2786 21.19/21.34 c bounds 699254 >= 19193 @ 14.2892 21.19/21.34 c bounds 698673 >= 19193 @ 14.3334 21.19/21.34 c bounds 698673 >= 19774 @ 14.3423 21.19/21.34 c bounds 698673 >= 20355 @ 14.3601 21.19/21.34 c bounds 698092 >= 20355 @ 14.4082 21.19/21.34 c bounds 698092 >= 20356 @ 14.4219 21.19/21.34 c bounds 698092 >= 20936 @ 14.4358 21.19/21.34 c bounds 698092 >= 20937 @ 14.446 21.19/21.34 c bounds 698092 >= 20938 @ 14.4641 21.19/21.34 c bounds 697511 >= 20938 @ 14.5089 21.19/21.34 c bounds 697511 >= 20939 @ 14.5262 21.19/21.34 c bounds 697511 >= 20940 @ 14.5646 21.19/21.34 c bounds 696930 >= 20940 @ 14.6158 21.19/21.34 c bounds 696349 >= 20940 @ 14.6566 21.19/21.34 c bounds 696349 >= 21521 @ 14.7056 21.19/21.34 c bounds 695768 >= 21521 @ 14.7545 21.19/21.34 c bounds 695187 >= 21521 @ 14.7983 21.19/21.34 c bounds 695187 >= 21522 @ 14.8136 21.19/21.34 c bounds 694606 >= 21522 @ 14.8562 21.19/21.34 c bounds 694606 >= 21523 @ 14.8682 21.19/21.34 c bounds 694606 >= 22104 @ 14.8807 21.19/21.34 c bounds 694025 >= 22104 @ 14.933 21.19/21.34 c bounds 694025 >= 22105 @ 14.9551 21.19/21.34 c bounds 693444 >= 22105 @ 15.0021 21.19/21.34 c bounds 693444 >= 22106 @ 15.0192 21.19/21.34 c bounds 693444 >= 22687 @ 15.056 21.19/21.34 c bounds 692863 >= 22687 @ 15.1115 21.19/21.34 c bounds 692863 >= 22688 @ 15.1263 21.19/21.34 c bounds 692282 >= 22688 @ 15.1734 21.19/21.34 c bounds 692282 >= 22689 @ 15.1896 21.19/21.34 c bounds 692282 >= 23269 @ 15.2063 21.19/21.34 c bounds 691701 >= 23269 @ 15.2515 21.19/21.34 c bounds 691701 >= 23270 @ 15.2671 21.19/21.34 c bounds 691701 >= 23271 @ 15.2781 21.19/21.34 c bounds 691701 >= 23272 @ 15.2967 21.19/21.34 c bounds 691120 >= 23272 @ 15.3413 21.19/21.34 c bounds 691120 >= 23273 @ 15.3621 21.19/21.34 c bounds 691120 >= 23274 @ 15.3939 21.19/21.34 c bounds 690539 >= 23274 @ 15.437 21.19/21.34 c bounds 689958 >= 23274 @ 15.4798 21.19/21.34 c bounds 689958 >= 23275 @ 15.5253 21.19/21.34 c bounds 689378 >= 23275 @ 15.5778 21.19/21.34 c bounds 688797 >= 23275 @ 15.6562 21.19/21.34 c bounds 688797 >= 23276 @ 15.6723 21.19/21.34 c #Conflicts: 1000 | #Constraints: 1446661 21.19/21.34 c bounds 688797 >= 23277 @ 15.899 21.19/21.34 c bounds 688217 >= 23277 @ 15.9516 21.19/21.34 c bounds 688216 >= 23277 @ 15.996 21.19/21.34 c bounds 687635 >= 23277 @ 16.0544 21.19/21.34 c bounds 687054 >= 23277 @ 16.1048 21.19/21.34 c bounds 686473 >= 23277 @ 16.1511 21.19/21.34 c bounds 685892 >= 23277 @ 16.1978 21.19/21.34 c bounds 685311 >= 23277 @ 16.2441 21.19/21.34 c bounds 684730 >= 23277 @ 16.3221 21.19/21.34 c bounds 684149 >= 23277 @ 16.3748 21.19/21.34 c bounds 683568 >= 23277 @ 16.4325 21.19/21.34 c bounds 682987 >= 23277 @ 16.4803 21.19/21.34 c bounds 682406 >= 23277 @ 16.522 21.19/21.34 c bounds 681825 >= 23277 @ 16.5743 21.19/21.34 c bounds 681244 >= 23277 @ 16.6648 21.19/21.34 c bounds 681244 >= 23858 @ 16.698 21.19/21.34 c bounds 680663 >= 23858 @ 16.7615 54.21/54.50 c bounds 680082 >= 23858 @ 16.8113 54.21/54.50 c bounds 680082 >= 24439 @ 16.824 54.21/54.50 c bounds 680082 >= 25020 @ 16.8374 54.21/54.50 c bounds 680082 >= 25021 @ 16.8587 54.21/54.50 c bounds 679501 >= 25021 @ 16.8986 54.21/54.50 c bounds 679501 >= 25598 @ 16.9106 54.21/54.50 c bounds 678920 >= 25598 @ 16.9605 54.21/54.50 c bounds 678920 >= 25599 @ 16.9771 54.21/54.50 c bounds 678920 >= 25600 @ 16.9953 54.21/54.50 c bounds 678339 >= 25600 @ 17.0428 54.21/54.50 c bounds 678339 >= 25601 @ 17.0584 54.21/54.50 c bounds 678339 >= 25602 @ 17.1369 54.21/54.50 c bounds 677758 >= 25602 @ 17.1896 54.21/54.50 c bounds 677177 >= 25602 @ 17.2317 54.21/54.50 c bounds 676596 >= 25602 @ 17.2789 54.21/54.50 c bounds 676015 >= 25602 @ 17.321 54.21/54.50 c bounds 676015 >= 25603 @ 17.3388 54.21/54.50 c bounds 675434 >= 25603 @ 17.3816 54.21/54.50 c bounds 675434 >= 25604 @ 17.4097 54.21/54.50 c bounds 674853 >= 25604 @ 17.4549 54.21/54.50 c bounds 674853 >= 25605 @ 17.4713 54.21/54.50 c bounds 674272 >= 25605 @ 17.519 54.21/54.50 c bounds 674272 >= 25606 @ 17.5369 54.21/54.50 c bounds 674272 >= 26185 @ 17.5525 54.21/54.50 c bounds 673691 >= 26185 @ 17.599 54.21/54.50 c bounds 673691 >= 26186 @ 17.6117 54.21/54.50 c bounds 673691 >= 26187 @ 17.6283 54.21/54.50 c bounds 673691 >= 26188 @ 17.6451 54.21/54.50 c bounds 673110 >= 26188 @ 17.6935 54.21/54.50 c bounds 673110 >= 26769 @ 17.7113 54.21/54.50 c bounds 673110 >= 27349 @ 17.7227 54.21/54.50 c bounds 673110 >= 27350 @ 17.735 54.21/54.50 c bounds 672529 >= 27350 @ 17.7894 54.21/54.50 c bounds 672529 >= 27931 @ 17.8034 54.21/54.50 c bounds 672529 >= 27932 @ 17.8176 54.21/54.50 c bounds 671948 >= 27932 @ 17.8599 54.21/54.50 c bounds 671948 >= 28510 @ 17.8721 54.21/54.50 c bounds 671948 >= 28511 @ 17.8862 54.21/54.50 c bounds 671367 >= 28511 @ 17.9328 54.21/54.50 c bounds 671367 >= 28512 @ 17.951 54.21/54.50 c bounds 671367 >= 28513 @ 18.02 54.21/54.50 c bounds 670786 >= 28513 @ 18.0722 54.21/54.50 c bounds 670205 >= 28513 @ 18.1121 54.21/54.50 c bounds 669624 >= 28513 @ 18.1721 54.21/54.50 c bounds 669624 >= 28514 @ 18.2096 54.21/54.50 c bounds 669043 >= 28514 @ 18.2599 54.21/54.50 c bounds 668462 >= 28514 @ 18.3008 54.21/54.50 c bounds 668462 >= 28515 @ 18.3138 54.21/54.50 c bounds 668462 >= 29096 @ 18.3236 54.21/54.50 c bounds 667881 >= 29096 @ 18.37 54.21/54.50 c bounds 667881 >= 29097 @ 18.6309 54.21/54.50 c bounds 667300 >= 29097 @ 18.6759 54.21/54.50 c bounds 666719 >= 29097 @ 18.7222 54.21/54.50 c bounds 666138 >= 29097 @ 18.7731 54.21/54.50 c bounds 665557 >= 29097 @ 18.8255 54.21/54.50 c bounds 664976 >= 29097 @ 18.9096 54.21/54.50 c bounds 664395 >= 29097 @ 18.9889 54.21/54.50 c bounds 663814 >= 29097 @ 19.0408 54.21/54.50 c bounds 663233 >= 29097 @ 19.1044 54.21/54.50 c bounds 662652 >= 29097 @ 19.1567 54.21/54.50 c bounds 662071 >= 29097 @ 19.1981 54.21/54.50 c bounds 661490 >= 29097 @ 19.2489 54.21/54.50 c bounds 661490 >= 29677 @ 19.2738 54.21/54.50 c bounds 660909 >= 29677 @ 19.319 54.21/54.50 c bounds 660328 >= 29677 @ 19.366 54.21/54.50 c bounds 660328 >= 29678 @ 19.381 54.21/54.50 c #Conflicts: 2000 | #Constraints: 1447889 54.21/54.50 c INPROCESSING 54.21/54.50 c GARBAGE COLLECT 54.21/54.50 c bounds 660328 >= 29679 @ 44.2945 54.21/54.50 c bounds 659747 >= 29679 @ 44.3379 54.21/54.50 c bounds 659166 >= 29679 @ 44.3851 54.21/54.50 c bounds 658585 >= 29679 @ 44.4308 54.21/54.50 c bounds 658004 >= 29679 @ 44.4756 54.21/54.50 c bounds 657423 >= 29679 @ 44.5182 54.21/54.50 c bounds 656842 >= 29679 @ 44.566 54.21/54.50 c bounds 656261 >= 29679 @ 44.6115 54.21/54.50 c bounds 656261 >= 29680 @ 44.7302 54.21/54.50 c bounds 655680 >= 29680 @ 44.777 54.21/54.50 c bounds 655099 >= 29680 @ 44.8521 54.21/54.50 c bounds 654518 >= 29680 @ 44.8996 54.21/54.50 c bounds 653937 >= 29680 @ 44.9542 54.21/54.50 c bounds 653356 >= 29680 @ 44.9971 54.21/54.50 c bounds 652775 >= 29680 @ 45.0435 54.21/54.50 c bounds 652775 >= 30261 @ 45.0509 54.21/54.50 c bounds 652775 >= 30842 @ 45.0653 54.21/54.50 c bounds 652194 >= 30842 @ 45.11 54.21/54.50 c bounds 652194 >= 31423 @ 45.1224 54.21/54.50 c bounds 652194 >= 32004 @ 45.1351 54.21/54.50 c bounds 652194 >= 32005 @ 45.1867 54.21/54.50 c bounds 651613 >= 32005 @ 45.2416 54.21/54.50 c bounds 651032 >= 32005 @ 45.2876 54.21/54.50 c bounds 650451 >= 32005 @ 45.326 54.21/54.50 c bounds 650451 >= 32586 @ 45.3561 54.21/54.50 c bounds 649870 >= 32586 @ 45.4038 54.21/54.50 c bounds 649870 >= 33166 @ 45.4164 54.21/54.50 c bounds 649289 >= 33166 @ 45.4529 54.21/54.50 c bounds 649289 >= 33167 @ 45.4726 54.21/54.50 c bounds 649289 >= 33746 @ 45.4843 54.21/54.50 c bounds 649289 >= 33747 @ 45.496 54.21/54.50 c bounds 648708 >= 33747 @ 45.5407 54.21/54.50 c bounds 648708 >= 33748 @ 45.5703 54.21/54.50 c bounds 648708 >= 34327 @ 45.5991 54.21/54.50 c bounds 648127 >= 34327 @ 45.6375 54.21/54.50 c bounds 647546 >= 34327 @ 45.6769 54.21/54.50 c bounds 647546 >= 34328 @ 45.6915 54.21/54.50 c bounds 647546 >= 34329 @ 45.7099 54.21/54.50 c bounds 647546 >= 34910 @ 45.7182 54.21/54.50 c bounds 646965 >= 34910 @ 45.7623 54.21/54.50 c bounds 646965 >= 35491 @ 45.7875 54.21/54.50 c bounds 646384 >= 35491 @ 45.8276 54.21/54.50 c bounds 646384 >= 35492 @ 45.9227 54.21/54.50 c bounds 645803 >= 35492 @ 45.9653 54.21/54.50 c bounds 645222 >= 35492 @ 46.0119 54.21/54.50 c bounds 644641 >= 35492 @ 46.054 54.21/54.50 c bounds 644060 >= 35492 @ 46.1119 54.21/54.50 c bounds 644060 >= 35493 @ 46.1494 54.21/54.50 c bounds 643479 >= 35493 @ 46.1928 65.87/66.23 c bounds 643479 >= 35494 @ 46.2502 65.87/66.23 c bounds 642898 >= 35494 @ 46.3054 65.87/66.23 c bounds 642317 >= 35494 @ 46.3633 65.87/66.23 c bounds 642317 >= 35495 @ 46.5074 65.87/66.23 c bounds 641736 >= 35495 @ 46.5702 65.87/66.23 c bounds 641155 >= 35495 @ 46.6224 65.87/66.23 c bounds 640574 >= 35495 @ 46.6763 65.87/66.23 c bounds 639993 >= 35495 @ 46.7177 65.87/66.23 c bounds 639993 >= 36075 @ 46.7312 65.87/66.23 c bounds 639412 >= 36075 @ 46.7758 65.87/66.23 c bounds 639412 >= 36076 @ 46.7918 65.87/66.23 c bounds 639412 >= 36656 @ 46.804 65.87/66.23 c bounds 638831 >= 36656 @ 46.848 65.87/66.23 c bounds 638831 >= 36657 @ 46.8675 65.87/66.23 c bounds 638831 >= 36658 @ 46.9899 65.87/66.23 c bounds 638250 >= 36658 @ 47.0474 65.87/66.23 c bounds 637669 >= 36658 @ 47.0946 65.87/66.23 c bounds 637089 >= 36658 @ 47.143 65.87/66.23 c bounds 637088 >= 36658 @ 47.1843 65.87/66.23 c bounds 636507 >= 36658 @ 47.2254 65.87/66.23 c bounds 635926 >= 36658 @ 47.2691 65.87/66.23 c bounds 635345 >= 36658 @ 47.3158 65.87/66.23 c bounds 635345 >= 36659 @ 47.3319 65.87/66.23 c bounds 634764 >= 36659 @ 47.3792 65.87/66.23 c bounds 634764 >= 36660 @ 47.6137 65.87/66.23 c bounds 634183 >= 36660 @ 47.6651 65.87/66.23 c bounds 633602 >= 36660 @ 47.7121 65.87/66.23 c bounds 633021 >= 36660 @ 47.7705 65.87/66.23 c bounds 632441 >= 36660 @ 47.8189 65.87/66.23 c bounds 632440 >= 36660 @ 47.8705 65.87/66.23 c bounds 631859 >= 36660 @ 47.9175 65.87/66.23 c bounds 631278 >= 36660 @ 47.9588 65.87/66.23 c bounds 630697 >= 36660 @ 48.0057 65.87/66.23 c bounds 630116 >= 36660 @ 48.0551 65.87/66.23 c bounds 629535 >= 36660 @ 48.102 65.87/66.23 c bounds 628954 >= 36660 @ 48.1444 65.87/66.23 c bounds 628373 >= 36660 @ 48.1967 65.87/66.23 c bounds 627792 >= 36660 @ 48.2433 65.87/66.23 c #Conflicts: 3000 | #Constraints: 1026693 65.87/66.23 c bounds 627792 >= 36661 @ 48.3604 65.87/66.23 c bounds 627211 >= 36661 @ 48.4127 65.87/66.23 c bounds 626630 >= 36661 @ 48.4666 65.87/66.23 c bounds 626049 >= 36661 @ 48.5132 65.87/66.23 c bounds 625468 >= 36661 @ 48.5697 65.87/66.23 c bounds 624887 >= 36661 @ 48.6197 65.87/66.23 c bounds 624306 >= 36661 @ 48.6627 65.87/66.23 c bounds 624306 >= 37242 @ 48.6738 65.87/66.23 c bounds 623725 >= 37242 @ 48.7226 65.87/66.23 c bounds 623725 >= 37243 @ 48.7435 65.87/66.23 c bounds 623725 >= 37244 @ 48.9217 65.87/66.23 c bounds 623144 >= 37244 @ 48.9611 65.87/66.23 c bounds 622563 >= 37244 @ 49.0002 65.87/66.23 c bounds 621982 >= 37244 @ 49.0449 65.87/66.23 c bounds 621401 >= 37244 @ 49.0913 65.87/66.23 c bounds 620820 >= 37244 @ 49.1396 65.87/66.23 c bounds 620239 >= 37244 @ 49.186 65.87/66.23 c bounds 619658 >= 37244 @ 49.2302 65.87/66.23 c bounds 619077 >= 37244 @ 49.2696 65.87/66.23 c bounds 619077 >= 37245 @ 49.6189 65.87/66.23 c bounds 618496 >= 37245 @ 49.7179 65.87/66.23 c bounds 617915 >= 37245 @ 49.7926 65.87/66.23 c bounds 617334 >= 37245 @ 49.8782 65.87/66.23 c bounds 616753 >= 37245 @ 50.0031 65.87/66.23 c bounds 616172 >= 37245 @ 50.0762 65.87/66.23 c bounds 615591 >= 37245 @ 50.1558 65.87/66.23 c bounds 615010 >= 37245 @ 50.2208 65.87/66.23 c bounds 614429 >= 37245 @ 50.2874 65.87/66.23 c bounds 613848 >= 37245 @ 50.3416 65.87/66.23 c bounds 613267 >= 37245 @ 50.4037 65.87/66.23 c #Conflicts: 4000 | #Constraints: 1027739 65.87/66.23 c INPROCESSING 65.87/66.23 c GARBAGE COLLECT 65.87/66.23 c bounds 612686 >= 37245 @ 51.7477 65.87/66.23 c bounds 612685 >= 37245 @ 51.801 65.87/66.23 c bounds 612104 >= 37245 @ 51.8645 65.87/66.23 c bounds 611523 >= 37245 @ 51.9133 65.87/66.23 c bounds 610942 >= 37245 @ 51.9544 65.87/66.23 c bounds 610361 >= 37245 @ 52.0041 65.87/66.23 c bounds 609780 >= 37245 @ 52.0512 65.87/66.23 c bounds 609201 >= 37245 @ 52.0897 65.87/66.23 c bounds 609200 >= 37245 @ 52.1321 65.87/66.23 c bounds 609199 >= 37245 @ 52.1757 65.87/66.23 c bounds 608618 >= 37245 @ 52.2175 65.87/66.23 c bounds 608037 >= 37245 @ 52.2664 65.87/66.23 c bounds 607456 >= 37245 @ 52.3103 65.87/66.23 c bounds 606875 >= 37245 @ 52.3589 65.87/66.23 c bounds 606294 >= 37245 @ 52.3972 65.87/66.23 c bounds 605713 >= 37245 @ 52.4432 65.87/66.23 c bounds 605132 >= 37245 @ 52.4888 65.87/66.23 c bounds 604551 >= 37245 @ 52.5349 65.87/66.23 c bounds 603970 >= 37245 @ 52.5747 65.87/66.23 c bounds 603389 >= 37245 @ 52.6176 65.87/66.23 c bounds 602808 >= 37245 @ 52.6611 65.87/66.23 c bounds 602227 >= 37245 @ 52.7037 65.87/66.23 c bounds 601646 >= 37245 @ 52.7494 65.87/66.23 c bounds 601065 >= 37245 @ 52.7868 65.87/66.23 c bounds 600484 >= 37245 @ 52.8333 65.87/66.23 c bounds 599903 >= 37245 @ 52.8854 65.87/66.23 c bounds 599322 >= 37245 @ 52.9323 65.87/66.23 c bounds 598741 >= 37245 @ 52.9814 65.87/66.23 c bounds 598160 >= 37245 @ 53.026 65.87/66.23 c bounds 597579 >= 37245 @ 53.0702 65.87/66.23 c bounds 596998 >= 37245 @ 53.1241 65.87/66.23 c bounds 596417 >= 37245 @ 53.1651 65.87/66.23 c bounds 595836 >= 37245 @ 53.2089 65.87/66.23 c bounds 595255 >= 37245 @ 53.2505 65.87/66.23 c bounds 594674 >= 37245 @ 53.2987 65.87/66.23 c bounds 594093 >= 37245 @ 53.3478 65.87/66.23 c bounds 593512 >= 37245 @ 53.3941 65.87/66.23 c bounds 592931 >= 37245 @ 53.4343 65.87/66.23 c bounds 592350 >= 37245 @ 53.4783 65.87/66.23 c bounds 591769 >= 37245 @ 53.5187 65.87/66.23 c bounds 591188 >= 37245 @ 53.5659 65.87/66.23 c bounds 590607 >= 37245 @ 53.6219 65.87/66.23 c bounds 590026 >= 37245 @ 53.7 65.87/66.23 c bounds 589446 >= 37245 @ 53.7932 65.87/66.23 c bounds 589446 >= 37826 @ 53.9337 65.87/66.23 c bounds 589445 >= 37826 @ 53.9936 108.75/109.34 c bounds 588864 >= 37826 @ 54.0603 108.75/109.34 c bounds 588283 >= 37826 @ 54.1059 108.75/109.34 c bounds 587702 >= 37826 @ 54.1625 108.75/109.34 c bounds 587121 >= 37826 @ 54.244 108.75/109.34 c bounds 587121 >= 38407 @ 54.2781 108.75/109.34 c bounds 587121 >= 38987 @ 54.3225 108.75/109.34 c bounds 586540 >= 38987 @ 54.3808 108.75/109.34 c bounds 585959 >= 38987 @ 54.4317 108.75/109.34 c bounds 585959 >= 38988 @ 54.484 108.75/109.34 c bounds 585378 >= 38988 @ 54.5359 108.75/109.34 c bounds 585378 >= 39569 @ 54.6185 108.75/109.34 c bounds 584797 >= 39569 @ 54.6897 108.75/109.34 c bounds 584216 >= 39569 @ 54.7538 108.75/109.34 c bounds 584216 >= 39570 @ 54.7905 108.75/109.34 c bounds 583635 >= 39570 @ 54.8346 108.75/109.34 c bounds 583635 >= 39571 @ 55.026 108.75/109.34 c bounds 583054 >= 39571 @ 55.076 108.75/109.34 c bounds 582473 >= 39571 @ 55.1232 108.75/109.34 c bounds 581892 >= 39571 @ 55.1922 108.75/109.34 c bounds 581311 >= 39571 @ 55.2537 108.75/109.34 c bounds 580730 >= 39571 @ 55.3168 108.75/109.34 c bounds 580149 >= 39571 @ 55.3688 108.75/109.34 c bounds 579568 >= 39571 @ 55.4277 108.75/109.34 c bounds 578987 >= 39571 @ 55.4735 108.75/109.34 c bounds 578987 >= 39572 @ 55.6328 108.75/109.34 c bounds 578406 >= 39572 @ 55.681 108.75/109.34 c bounds 577825 >= 39572 @ 55.736 108.75/109.34 c bounds 577244 >= 39572 @ 55.791 108.75/109.34 c bounds 576663 >= 39572 @ 55.8381 108.75/109.34 c bounds 576082 >= 39572 @ 55.8903 108.75/109.34 c bounds 575501 >= 39572 @ 55.9362 108.75/109.34 c bounds 574920 >= 39572 @ 55.9875 108.75/109.34 c bounds 574339 >= 39572 @ 56.036 108.75/109.34 c bounds 573758 >= 39572 @ 56.0838 108.75/109.34 c bounds 573758 >= 39573 @ 56.1048 108.75/109.34 c bounds 573758 >= 39574 @ 56.2167 108.75/109.34 c bounds 573757 >= 39574 @ 56.2626 108.75/109.34 c bounds 573176 >= 39574 @ 56.3172 108.75/109.34 c bounds 573175 >= 39574 @ 56.3776 108.75/109.34 c bounds 573174 >= 39574 @ 56.4265 108.75/109.34 c bounds 572593 >= 39574 @ 56.4856 108.75/109.34 c bounds 572593 >= 39575 @ 56.7073 108.75/109.34 c bounds 572592 >= 39575 @ 56.7551 108.75/109.34 c bounds 572591 >= 39575 @ 56.795 108.75/109.34 c bounds 572590 >= 39575 @ 56.8443 108.75/109.34 c bounds 572009 >= 39575 @ 56.9 108.75/109.34 c bounds 572008 >= 39575 @ 56.9498 108.75/109.34 c bounds 572007 >= 39575 @ 56.9971 108.75/109.34 c bounds 572006 >= 39575 @ 57.0377 108.75/109.34 c bounds 572005 >= 39575 @ 57.0776 108.75/109.34 c bounds 572004 >= 39575 @ 57.1256 108.75/109.34 c bounds 572003 >= 39575 @ 57.1814 108.75/109.34 c bounds 572002 >= 39575 @ 57.2301 108.75/109.34 c bounds 572001 >= 39575 @ 57.2872 108.75/109.34 c bounds 572001 >= 39576 @ 57.3607 108.75/109.34 c bounds 572000 >= 39576 @ 57.4134 108.75/109.34 c bounds 571999 >= 39576 @ 57.4686 108.75/109.34 c bounds 571998 >= 39576 @ 57.5102 108.75/109.34 c #Conflicts: 5000 | #Constraints: 1026866 108.75/109.34 c #Conflicts: 6000 | #Constraints: 1027866 108.75/109.34 c INPROCESSING 108.75/109.34 c GARBAGE COLLECT 108.75/109.34 c bounds 571417 >= 39576 @ 90.0898 108.75/109.34 c bounds 570836 >= 39576 @ 90.1321 108.75/109.34 c bounds 570255 >= 39576 @ 90.1749 108.75/109.34 c bounds 569674 >= 39576 @ 90.2242 108.75/109.34 c bounds 569093 >= 39576 @ 90.2703 108.75/109.34 c bounds 568512 >= 39576 @ 90.3176 108.75/109.34 c bounds 567931 >= 39576 @ 90.3702 108.75/109.34 c bounds 567350 >= 39576 @ 90.4247 108.75/109.34 c bounds 566769 >= 39576 @ 90.478 108.75/109.34 c bounds 566188 >= 39576 @ 90.5685 108.75/109.34 c bounds 565607 >= 39576 @ 90.6228 108.75/109.34 c bounds 565026 >= 39576 @ 90.6764 108.75/109.34 c bounds 564445 >= 39576 @ 90.7413 108.75/109.34 c bounds 563864 >= 39576 @ 90.8071 108.75/109.34 c bounds 563283 >= 39576 @ 90.8688 108.75/109.34 c bounds 562702 >= 39576 @ 90.9212 108.75/109.34 c bounds 562121 >= 39576 @ 90.9754 108.75/109.34 c bounds 561540 >= 39576 @ 91.0269 108.75/109.34 c bounds 560959 >= 39576 @ 91.0764 108.75/109.34 c bounds 560378 >= 39576 @ 91.1177 108.75/109.34 c bounds 559797 >= 39576 @ 91.1591 108.75/109.34 c bounds 559216 >= 39576 @ 91.1986 108.75/109.34 c bounds 558635 >= 39576 @ 91.2444 108.75/109.34 c bounds 558054 >= 39576 @ 91.2927 108.75/109.34 c bounds 557473 >= 39576 @ 91.3327 108.75/109.34 c bounds 556892 >= 39576 @ 91.3766 108.75/109.34 c bounds 556311 >= 39576 @ 91.4213 108.75/109.34 c bounds 555730 >= 39576 @ 91.4672 108.75/109.34 c bounds 555149 >= 39576 @ 91.5132 108.75/109.34 c bounds 554568 >= 39576 @ 91.5587 108.75/109.34 c bounds 553987 >= 39576 @ 91.5982 108.75/109.34 c bounds 553406 >= 39576 @ 91.6429 108.75/109.34 c bounds 552825 >= 39576 @ 91.6938 108.75/109.34 c bounds 552244 >= 39576 @ 91.7424 108.75/109.34 c bounds 551663 >= 39576 @ 91.7913 108.75/109.34 c bounds 551082 >= 39576 @ 91.8424 108.75/109.34 c bounds 550501 >= 39576 @ 91.8845 108.75/109.34 c bounds 549920 >= 39576 @ 91.9326 108.75/109.34 c bounds 549339 >= 39576 @ 91.9835 108.75/109.34 c bounds 548758 >= 39576 @ 92.026 108.75/109.34 c bounds 548177 >= 39576 @ 92.0669 108.75/109.34 c bounds 547596 >= 39576 @ 92.1096 108.75/109.34 c bounds 547015 >= 39576 @ 92.1562 108.75/109.34 c bounds 546434 >= 39576 @ 92.2127 108.75/109.34 c bounds 545853 >= 39576 @ 92.2591 108.75/109.34 c bounds 545272 >= 39576 @ 92.3024 108.75/109.34 c bounds 544692 >= 39576 @ 92.3524 108.75/109.34 c bounds 544691 >= 39576 @ 92.407 108.75/109.34 c bounds 544110 >= 39576 @ 92.4495 108.75/109.34 c bounds 543529 >= 39576 @ 92.4954 108.75/109.34 c bounds 542948 >= 39576 @ 92.5374 108.75/109.34 c bounds 542367 >= 39576 @ 92.5881 108.75/109.34 c bounds 541786 >= 39576 @ 92.6358 108.75/109.34 c bounds 541205 >= 39576 @ 92.6819 108.75/109.34 c bounds 540624 >= 39576 @ 92.7565 182.04/182.91 c bounds 540043 >= 39576 @ 92.8118 182.04/182.91 c bounds 539462 >= 39576 @ 92.8654 182.04/182.91 c bounds 538881 >= 39576 @ 92.9078 182.04/182.91 c bounds 538300 >= 39576 @ 92.9573 182.04/182.91 c bounds 537719 >= 39576 @ 93.0098 182.04/182.91 c bounds 537138 >= 39576 @ 93.0558 182.04/182.91 c bounds 536557 >= 39576 @ 93.1066 182.04/182.91 c bounds 535976 >= 39576 @ 93.1551 182.04/182.91 c bounds 535395 >= 39576 @ 93.2016 182.04/182.91 c bounds 534814 >= 39576 @ 93.2463 182.04/182.91 c bounds 534233 >= 39576 @ 93.2915 182.04/182.91 c bounds 533652 >= 39576 @ 93.3357 182.04/182.91 c bounds 533071 >= 39576 @ 93.3786 182.04/182.91 c bounds 532490 >= 39576 @ 93.4267 182.04/182.91 c bounds 531909 >= 39576 @ 93.4707 182.04/182.91 c bounds 531328 >= 39576 @ 93.5115 182.04/182.91 c bounds 530747 >= 39576 @ 93.5649 182.04/182.91 c bounds 530166 >= 39576 @ 93.605 182.04/182.91 c bounds 529585 >= 39576 @ 93.6474 182.04/182.91 c bounds 529004 >= 39576 @ 93.6971 182.04/182.91 c bounds 528423 >= 39576 @ 93.7467 182.04/182.91 c bounds 527842 >= 39576 @ 93.7982 182.04/182.91 c bounds 527261 >= 39576 @ 93.8527 182.04/182.91 c bounds 526680 >= 39576 @ 93.8982 182.04/182.91 c bounds 526099 >= 39576 @ 93.9383 182.04/182.91 c bounds 525518 >= 39576 @ 93.9806 182.04/182.91 c bounds 524937 >= 39576 @ 94.0313 182.04/182.91 c bounds 524356 >= 39576 @ 94.0738 182.04/182.91 c bounds 523775 >= 39576 @ 94.1427 182.04/182.91 c bounds 523194 >= 39576 @ 94.1932 182.04/182.91 c #Conflicts: 7000 | #Constraints: 1024984 182.04/182.91 c bounds 523194 >= 39577 @ 94.7907 182.04/182.91 c bounds 522613 >= 39577 @ 94.8492 182.04/182.91 c bounds 522034 >= 39577 @ 95.2216 182.04/182.91 c bounds 522033 >= 39577 @ 95.6535 182.04/182.91 c bounds 522033 >= 39578 @ 96.4228 182.04/182.91 c #Conflicts: 8000 | #Constraints: 1026023 182.04/182.91 c #Conflicts: 9000 | #Constraints: 1027023 182.04/182.91 c INPROCESSING 182.04/182.91 c GARBAGE COLLECT 182.04/182.91 c bounds 521452 >= 39578 @ 157.626 182.04/182.91 c bounds 520871 >= 39578 @ 157.793 182.04/182.91 c bounds 520290 >= 39578 @ 157.916 182.04/182.91 c bounds 520289 >= 39578 @ 158.019 182.04/182.91 c bounds 519708 >= 39578 @ 158.108 182.04/182.91 c bounds 519127 >= 39578 @ 158.186 182.04/182.91 c bounds 518546 >= 39578 @ 158.274 182.04/182.91 c bounds 517965 >= 39578 @ 158.377 182.04/182.91 c bounds 517384 >= 39578 @ 158.46 182.04/182.91 c bounds 516803 >= 39578 @ 158.597 182.04/182.91 c bounds 516223 >= 39578 @ 158.69 182.04/182.91 c bounds 516222 >= 39578 @ 158.734 182.04/182.91 c bounds 516221 >= 39578 @ 158.82 182.04/182.91 c bounds 515640 >= 39578 @ 158.911 182.04/182.91 c bounds 515059 >= 39578 @ 158.99 182.04/182.91 c bounds 514478 >= 39578 @ 159.07 182.04/182.91 c bounds 513897 >= 39578 @ 159.136 182.04/182.91 c bounds 513316 >= 39578 @ 159.222 182.04/182.91 c bounds 513315 >= 39578 @ 159.288 182.04/182.91 c bounds 513314 >= 39578 @ 159.352 182.04/182.91 c bounds 513313 >= 39578 @ 159.406 182.04/182.91 c bounds 512732 >= 39578 @ 159.457 182.04/182.91 c bounds 512151 >= 39578 @ 159.516 182.04/182.91 c bounds 511570 >= 39578 @ 159.572 182.04/182.91 c bounds 510989 >= 39578 @ 159.615 182.04/182.91 c bounds 510408 >= 39578 @ 159.667 182.04/182.91 c bounds 509827 >= 39578 @ 159.72 182.04/182.91 c bounds 509246 >= 39578 @ 159.871 182.04/182.91 c bounds 508665 >= 39578 @ 159.949 182.04/182.91 c bounds 508084 >= 39578 @ 160.017 182.04/182.91 c bounds 507503 >= 39578 @ 160.072 182.04/182.91 c bounds 506922 >= 39578 @ 160.121 182.04/182.91 c bounds 506341 >= 39578 @ 160.167 182.04/182.91 c bounds 505760 >= 39578 @ 160.209 182.04/182.91 c bounds 505179 >= 39578 @ 160.251 182.04/182.91 c bounds 504598 >= 39578 @ 160.29 182.04/182.91 c bounds 504017 >= 39578 @ 160.334 182.04/182.91 c bounds 503436 >= 39578 @ 160.373 182.04/182.91 c bounds 502855 >= 39578 @ 160.409 182.04/182.91 c bounds 502274 >= 39578 @ 160.454 182.04/182.91 c bounds 501693 >= 39578 @ 160.49 182.04/182.91 c bounds 501112 >= 39578 @ 160.531 182.04/182.91 c bounds 500531 >= 39578 @ 160.57 182.04/182.91 c bounds 499950 >= 39578 @ 160.613 182.04/182.91 c bounds 499369 >= 39578 @ 160.656 182.04/182.91 c bounds 498788 >= 39578 @ 160.693 182.04/182.91 c bounds 498207 >= 39578 @ 160.735 182.04/182.91 c bounds 497626 >= 39578 @ 160.771 182.04/182.91 c bounds 497045 >= 39578 @ 160.809 182.04/182.91 c bounds 496464 >= 39578 @ 160.847 182.04/182.91 c bounds 495883 >= 39578 @ 160.892 182.04/182.91 c bounds 495302 >= 39578 @ 160.931 182.04/182.91 c bounds 494721 >= 39578 @ 160.974 182.04/182.91 c bounds 494140 >= 39578 @ 161.016 182.04/182.91 c bounds 493559 >= 39578 @ 161.055 182.04/182.91 c bounds 492978 >= 39578 @ 161.094 182.04/182.91 c bounds 492397 >= 39578 @ 161.137 182.04/182.91 c bounds 491816 >= 39578 @ 161.179 182.04/182.91 c bounds 491235 >= 39578 @ 161.216 182.04/182.91 c bounds 490654 >= 39578 @ 161.256 182.04/182.91 c bounds 490073 >= 39578 @ 161.299 182.04/182.91 c bounds 489492 >= 39578 @ 161.339 182.04/182.91 c bounds 488911 >= 39578 @ 161.378 182.04/182.91 c bounds 488330 >= 39578 @ 161.419 182.04/182.91 c bounds 487749 >= 39578 @ 161.456 182.04/182.91 c bounds 487168 >= 39578 @ 161.494 182.04/182.91 c bounds 486587 >= 39578 @ 161.534 182.04/182.91 c bounds 486006 >= 39578 @ 161.573 182.04/182.91 c bounds 485425 >= 39578 @ 161.615 182.04/182.91 c bounds 484844 >= 39578 @ 161.655 182.04/182.91 c bounds 484263 >= 39578 @ 161.692 182.04/182.91 c bounds 484263 >= 39579 @ 162.133 182.04/182.91 c bounds 483682 >= 39579 @ 162.178 182.04/182.91 c bounds 483101 >= 39579 @ 162.217 182.04/182.91 c bounds 482520 >= 39579 @ 162.256 182.04/182.91 c bounds 481939 >= 39579 @ 162.298 182.04/182.91 c bounds 481938 >= 39579 @ 162.336 200.29/201.27 c bounds 481937 >= 39579 @ 162.374 200.29/201.27 c bounds 481936 >= 39579 @ 162.416 200.29/201.27 c bounds 481935 >= 39579 @ 162.458 200.29/201.27 c bounds 481934 >= 39579 @ 162.496 200.29/201.27 c bounds 481933 >= 39579 @ 162.534 200.29/201.27 c bounds 481932 >= 39579 @ 162.591 200.29/201.27 c bounds 481351 >= 39579 @ 162.685 200.29/201.27 c #Conflicts: 10000 | #Constraints: 1025313 200.29/201.27 c bounds 480770 >= 39579 @ 162.805 200.29/201.27 c bounds 480189 >= 39579 @ 162.881 200.29/201.27 c bounds 480188 >= 39579 @ 162.943 200.29/201.27 c bounds 479607 >= 39579 @ 163.087 200.29/201.27 c bounds 479607 >= 39580 @ 163.401 200.29/201.27 c bounds 479026 >= 39580 @ 163.507 200.29/201.27 c bounds 478445 >= 39580 @ 163.616 200.29/201.27 c bounds 477864 >= 39580 @ 163.686 200.29/201.27 c bounds 477283 >= 39580 @ 163.752 200.29/201.27 c bounds 476702 >= 39580 @ 163.876 200.29/201.27 c bounds 476702 >= 39581 @ 164.212 200.29/201.27 c bounds 476121 >= 39581 @ 164.316 200.29/201.27 c bounds 475540 >= 39581 @ 164.406 200.29/201.27 c bounds 474959 >= 39581 @ 164.522 200.29/201.27 c bounds 474378 >= 39581 @ 164.609 200.29/201.27 c bounds 473797 >= 39581 @ 164.749 200.29/201.27 c bounds 473216 >= 39581 @ 165.169 200.29/201.27 c #Conflicts: 11000 | #Constraints: 1026338 200.29/201.27 c #Conflicts: 12000 | #Constraints: 1027338 200.29/201.27 c INPROCESSING 200.29/201.27 c GARBAGE COLLECT 200.29/201.27 c bounds 472635 >= 39581 @ 167.193 200.29/201.27 c bounds 472054 >= 39581 @ 167.278 200.29/201.27 c bounds 471473 >= 39581 @ 167.364 200.29/201.27 c bounds 470892 >= 39581 @ 167.442 200.29/201.27 c bounds 470311 >= 39581 @ 167.517 200.29/201.27 c bounds 469730 >= 39581 @ 167.592 200.29/201.27 c bounds 469149 >= 39581 @ 167.715 200.29/201.27 c bounds 469148 >= 39581 @ 167.81 200.29/201.27 c bounds 469147 >= 39581 @ 167.913 200.29/201.27 c bounds 469146 >= 39581 @ 167.99 200.29/201.27 c bounds 468565 >= 39581 @ 168.074 200.29/201.27 c bounds 467984 >= 39581 @ 168.165 200.29/201.27 c bounds 467403 >= 39581 @ 168.251 200.29/201.27 c bounds 466822 >= 39581 @ 168.347 200.29/201.27 c bounds 466821 >= 39581 @ 168.433 200.29/201.27 c bounds 466240 >= 39581 @ 168.513 200.29/201.27 c bounds 466239 >= 39581 @ 168.582 200.29/201.27 c bounds 465658 >= 39581 @ 168.663 200.29/201.27 c bounds 465077 >= 39581 @ 168.748 200.29/201.27 c bounds 464496 >= 39581 @ 168.827 200.29/201.27 c bounds 463915 >= 39581 @ 168.918 200.29/201.27 c bounds 463334 >= 39581 @ 168.99 200.29/201.27 c bounds 462753 >= 39581 @ 169.064 200.29/201.27 c bounds 462752 >= 39581 @ 169.137 200.29/201.27 c bounds 462751 >= 39581 @ 169.202 200.29/201.27 c bounds 462170 >= 39581 @ 169.263 200.29/201.27 c bounds 461589 >= 39581 @ 169.332 200.29/201.27 c bounds 461008 >= 39581 @ 169.432 200.29/201.27 c bounds 461007 >= 39581 @ 169.498 200.29/201.27 c bounds 460426 >= 39581 @ 169.587 200.29/201.27 c bounds 459845 >= 39581 @ 169.656 200.29/201.27 c bounds 459264 >= 39581 @ 169.731 200.29/201.27 c bounds 458683 >= 39581 @ 169.831 200.29/201.27 c bounds 458102 >= 39581 @ 169.92 200.29/201.27 c bounds 457521 >= 39581 @ 169.991 200.29/201.27 c bounds 456940 >= 39581 @ 170.052 200.29/201.27 c bounds 456359 >= 39581 @ 170.115 200.29/201.27 c bounds 455778 >= 39581 @ 170.173 200.29/201.27 c bounds 455197 >= 39581 @ 170.227 200.29/201.27 c bounds 454616 >= 39581 @ 170.28 200.29/201.27 c bounds 454035 >= 39581 @ 170.335 200.29/201.27 c bounds 453454 >= 39581 @ 170.381 200.29/201.27 c bounds 452873 >= 39581 @ 170.42 200.29/201.27 c bounds 452292 >= 39581 @ 170.46 200.29/201.27 c bounds 451711 >= 39581 @ 170.499 200.29/201.27 c bounds 451130 >= 39581 @ 170.53 200.29/201.27 c bounds 450549 >= 39581 @ 170.566 200.29/201.27 c bounds 449968 >= 39581 @ 170.597 200.29/201.27 c bounds 449387 >= 39581 @ 170.634 200.29/201.27 c bounds 448806 >= 39581 @ 170.669 200.29/201.27 c bounds 448225 >= 39581 @ 170.703 200.29/201.27 c bounds 447644 >= 39581 @ 170.735 200.29/201.27 c bounds 447063 >= 39581 @ 170.769 200.29/201.27 c bounds 446482 >= 39581 @ 170.8 200.29/201.27 c bounds 445901 >= 39581 @ 170.838 200.29/201.27 c bounds 445320 >= 39581 @ 170.876 200.29/201.27 c bounds 444739 >= 39581 @ 170.91 200.29/201.27 c bounds 444158 >= 39581 @ 170.943 200.29/201.27 c bounds 443577 >= 39581 @ 170.976 200.29/201.27 c bounds 443577 >= 40162 @ 171.04 200.29/201.27 c bounds 442996 >= 40162 @ 171.078 200.29/201.27 c bounds 442415 >= 40162 @ 171.112 200.29/201.27 c bounds 441834 >= 40162 @ 171.158 200.29/201.27 c bounds 441253 >= 40162 @ 171.187 200.29/201.27 c bounds 440672 >= 40162 @ 171.224 200.29/201.27 c bounds 440091 >= 40162 @ 171.26 200.29/201.27 c bounds 439510 >= 40162 @ 171.297 200.29/201.27 c #Conflicts: 13000 | #Constraints: 1025220 200.29/201.27 c #Conflicts: 14000 | #Constraints: 1026220 200.29/201.27 c #Conflicts: 15000 | #Constraints: 1027220 200.29/201.27 c INPROCESSING 200.29/201.27 c GARBAGE COLLECT 200.29/201.27 c bounds 438929 >= 40162 @ 175.089 200.29/201.27 c bounds 438348 >= 40162 @ 175.167 200.29/201.27 c bounds 437767 >= 40162 @ 175.283 200.29/201.27 c bounds 437187 >= 40162 @ 175.391 200.29/201.27 c bounds 437186 >= 40162 @ 175.492 200.29/201.27 c bounds 436606 >= 40162 @ 175.705 200.29/201.27 c bounds 436025 >= 40162 @ 175.835 200.29/201.27 c bounds 435444 >= 40162 @ 175.93 200.29/201.27 c bounds 434863 >= 40162 @ 176.083 200.29/201.27 c bounds 434282 >= 40162 @ 176.174 200.29/201.27 c bounds 433701 >= 40162 @ 176.314 200.29/201.27 c bounds 433120 >= 40162 @ 176.392 200.29/201.27 c bounds 432539 >= 40162 @ 176.601 200.29/201.27 c bounds 431958 >= 40162 @ 176.682 200.29/201.27 c bounds 431377 >= 40162 @ 176.758 200.29/201.27 c bounds 430796 >= 40162 @ 176.884 209.27/210.20 c bounds 430215 >= 40162 @ 176.956 209.27/210.20 c bounds 430214 >= 40162 @ 177.067 209.27/210.20 c bounds 429633 >= 40162 @ 177.134 209.27/210.20 c bounds 429052 >= 40162 @ 177.24 209.27/210.20 c bounds 428471 >= 40162 @ 177.315 209.27/210.20 c bounds 428470 >= 40162 @ 177.424 209.27/210.20 c bounds 427889 >= 40162 @ 177.492 209.27/210.20 c bounds 427308 >= 40162 @ 177.604 209.27/210.20 c bounds 426727 >= 40162 @ 177.665 209.27/210.20 c bounds 426146 >= 40162 @ 177.755 209.27/210.20 c bounds 425565 >= 40162 @ 177.812 209.27/210.20 c bounds 424984 >= 40162 @ 177.884 209.27/210.20 c bounds 424403 >= 40162 @ 177.937 209.27/210.20 c bounds 423822 >= 40162 @ 177.984 209.27/210.20 c bounds 423241 >= 40162 @ 178.033 209.27/210.20 c bounds 422660 >= 40162 @ 178.078 209.27/210.20 c bounds 422079 >= 40162 @ 178.108 209.27/210.20 c bounds 421498 >= 40162 @ 178.144 209.27/210.20 c bounds 420917 >= 40162 @ 178.185 209.27/210.20 c bounds 420336 >= 40162 @ 178.222 209.27/210.20 c bounds 419755 >= 40162 @ 178.255 209.27/210.20 c bounds 419174 >= 40162 @ 178.295 209.27/210.20 c bounds 418593 >= 40162 @ 178.337 209.27/210.20 c bounds 418012 >= 40162 @ 178.377 209.27/210.20 c bounds 417431 >= 40162 @ 178.417 209.27/210.20 c bounds 416850 >= 40162 @ 178.461 209.27/210.20 c bounds 416269 >= 40162 @ 178.504 209.27/210.20 c bounds 415688 >= 40162 @ 178.542 209.27/210.20 c bounds 415107 >= 40162 @ 178.582 209.27/210.20 c bounds 414526 >= 40162 @ 178.619 209.27/210.20 c bounds 413945 >= 40162 @ 178.658 209.27/210.20 c bounds 413364 >= 40162 @ 178.7 209.27/210.20 c bounds 412783 >= 40162 @ 178.744 209.27/210.20 c bounds 412202 >= 40162 @ 178.787 209.27/210.20 c bounds 411621 >= 40162 @ 178.829 209.27/210.20 c bounds 411040 >= 40162 @ 178.877 209.27/210.20 c bounds 410459 >= 40162 @ 178.919 209.27/210.20 c bounds 409878 >= 40162 @ 178.959 209.27/210.20 c bounds 409297 >= 40162 @ 179.003 209.27/210.20 c bounds 408716 >= 40162 @ 179.042 209.27/210.20 c bounds 408135 >= 40162 @ 179.086 209.27/210.20 c bounds 407554 >= 40162 @ 179.128 209.27/210.20 c bounds 406973 >= 40162 @ 179.175 209.27/210.20 c bounds 406392 >= 40162 @ 179.216 209.27/210.20 c bounds 405811 >= 40162 @ 179.246 209.27/210.20 c bounds 405230 >= 40162 @ 179.291 209.27/210.20 c bounds 404649 >= 40162 @ 179.335 209.27/210.20 c bounds 404068 >= 40162 @ 179.38 209.27/210.20 c bounds 403487 >= 40162 @ 179.425 209.27/210.20 c bounds 402906 >= 40162 @ 179.467 209.27/210.20 c bounds 402325 >= 40162 @ 179.503 209.27/210.20 c bounds 401744 >= 40162 @ 179.551 209.27/210.20 c bounds 401163 >= 40162 @ 179.597 209.27/210.20 c bounds 400582 >= 40162 @ 179.631 209.27/210.20 c bounds 400001 >= 40162 @ 179.674 209.27/210.20 c bounds 399420 >= 40162 @ 179.709 209.27/210.20 c bounds 398839 >= 40162 @ 179.751 209.27/210.20 c bounds 398258 >= 40162 @ 179.799 209.27/210.20 c bounds 397677 >= 40162 @ 179.842 209.27/210.20 c bounds 397096 >= 40162 @ 179.884 209.27/210.20 c bounds 396515 >= 40162 @ 179.918 209.27/210.20 c bounds 395934 >= 40162 @ 179.957 209.27/210.20 c bounds 395353 >= 40162 @ 180.001 209.27/210.20 c bounds 394772 >= 40162 @ 180.047 209.27/210.20 c bounds 394191 >= 40162 @ 180.092 209.27/210.20 c bounds 393610 >= 40162 @ 180.141 209.27/210.20 c bounds 393029 >= 40162 @ 180.175 209.27/210.20 c bounds 392448 >= 40162 @ 180.218 209.27/210.20 c bounds 391867 >= 40162 @ 180.257 209.27/210.20 c bounds 391286 >= 40162 @ 180.3 209.27/210.20 c bounds 390705 >= 40162 @ 180.343 209.27/210.20 c bounds 390124 >= 40162 @ 180.391 209.27/210.20 c bounds 389543 >= 40162 @ 180.433 209.27/210.20 c bounds 388962 >= 40162 @ 180.478 209.27/210.20 c bounds 388381 >= 40162 @ 180.525 209.27/210.20 c bounds 387800 >= 40162 @ 180.565 209.27/210.20 c bounds 387219 >= 40162 @ 180.603 209.27/210.20 c bounds 386638 >= 40162 @ 180.646 209.27/210.20 c bounds 386057 >= 40162 @ 180.683 209.27/210.20 c bounds 385476 >= 40162 @ 180.727 209.27/210.20 c bounds 384895 >= 40162 @ 180.772 209.27/210.20 c bounds 384314 >= 40162 @ 180.821 209.27/210.20 c bounds 383733 >= 40162 @ 180.855 209.27/210.20 c bounds 383152 >= 40162 @ 180.896 209.27/210.20 c bounds 382571 >= 40162 @ 180.938 209.27/210.20 c bounds 381990 >= 40162 @ 180.981 209.27/210.20 c bounds 381409 >= 40162 @ 181.022 209.27/210.20 c bounds 380828 >= 40162 @ 181.058 209.27/210.20 c bounds 380247 >= 40162 @ 181.096 209.27/210.20 c bounds 379666 >= 40162 @ 181.137 209.27/210.20 c bounds 379085 >= 40162 @ 181.184 209.27/210.20 c bounds 378504 >= 40162 @ 181.22 209.27/210.20 c bounds 377923 >= 40162 @ 181.259 209.27/210.20 c bounds 377342 >= 40162 @ 181.302 209.27/210.20 c bounds 376761 >= 40162 @ 181.344 209.27/210.20 c bounds 376180 >= 40162 @ 181.386 209.27/210.20 c bounds 375599 >= 40162 @ 181.428 209.27/210.20 c bounds 375018 >= 40162 @ 181.474 209.27/210.20 c bounds 374437 >= 40162 @ 181.513 209.27/210.20 c bounds 373856 >= 40162 @ 181.56 209.27/210.20 c bounds 373275 >= 40162 @ 181.598 209.27/210.20 c bounds 372694 >= 40162 @ 181.648 209.27/210.20 c bounds 372113 >= 40162 @ 181.686 209.27/210.20 c bounds 371532 >= 40162 @ 181.74 209.27/210.20 c bounds 370951 >= 40162 @ 181.779 209.27/210.20 c bounds 370370 >= 40162 @ 181.82 209.27/210.20 c bounds 369789 >= 40162 @ 181.863 209.27/210.20 c bounds 369208 >= 40162 @ 181.913 209.27/210.20 c bounds 368627 >= 40162 @ 181.958 209.27/210.20 c bounds 368046 >= 40162 @ 182.004 209.27/210.20 c bounds 367465 >= 40162 @ 182.044 209.27/210.20 c bounds 366884 >= 40162 @ 182.079 209.27/210.20 c bounds 366303 >= 40162 @ 182.12 209.27/210.20 c bounds 365722 >= 40162 @ 182.153 209.27/210.20 c bounds 365141 >= 40162 @ 182.195 209.27/210.20 c bounds 364560 >= 40162 @ 182.236 209.27/210.20 c bounds 363979 >= 40162 @ 182.27 217.95/218.99 c bounds 363398 >= 40162 @ 182.305 217.95/218.99 c bounds 362817 >= 40162 @ 182.344 217.95/218.99 c bounds 362236 >= 40162 @ 182.387 217.95/218.99 c bounds 361655 >= 40162 @ 182.426 217.95/218.99 c bounds 361074 >= 40162 @ 182.462 217.95/218.99 c bounds 360493 >= 40162 @ 182.502 217.95/218.99 c bounds 359912 >= 40162 @ 182.536 217.95/218.99 c bounds 359331 >= 40162 @ 182.574 217.95/218.99 c bounds 358750 >= 40162 @ 182.61 217.95/218.99 c bounds 358169 >= 40162 @ 182.657 217.95/218.99 c bounds 357588 >= 40162 @ 182.697 217.95/218.99 c bounds 357007 >= 40162 @ 182.736 217.95/218.99 c bounds 356426 >= 40162 @ 182.773 217.95/218.99 c bounds 355845 >= 40162 @ 182.808 217.95/218.99 c bounds 355264 >= 40162 @ 182.85 217.95/218.99 c bounds 354683 >= 40162 @ 182.889 217.95/218.99 c bounds 354102 >= 40162 @ 182.937 217.95/218.99 c bounds 353521 >= 40162 @ 182.976 217.95/218.99 c bounds 352940 >= 40162 @ 183.011 217.95/218.99 c bounds 352359 >= 40162 @ 183.05 217.95/218.99 c bounds 351778 >= 40162 @ 183.093 217.95/218.99 c bounds 351197 >= 40162 @ 183.135 217.95/218.99 c bounds 350616 >= 40162 @ 183.171 217.95/218.99 c bounds 350035 >= 40162 @ 183.218 217.95/218.99 c bounds 349454 >= 40162 @ 183.257 217.95/218.99 c bounds 348873 >= 40162 @ 183.295 217.95/218.99 c bounds 348292 >= 40162 @ 183.34 217.95/218.99 c bounds 347711 >= 40162 @ 183.383 217.95/218.99 c bounds 347130 >= 40162 @ 183.421 217.95/218.99 c bounds 346549 >= 40162 @ 183.459 217.95/218.99 c bounds 345968 >= 40162 @ 183.5 217.95/218.99 c bounds 345387 >= 40162 @ 183.547 217.95/218.99 c bounds 344806 >= 40162 @ 183.586 217.95/218.99 c bounds 344225 >= 40162 @ 183.63 217.95/218.99 c bounds 343644 >= 40162 @ 183.667 217.95/218.99 c bounds 343063 >= 40162 @ 183.711 217.95/218.99 c bounds 342482 >= 40162 @ 183.752 217.95/218.99 c bounds 341901 >= 40162 @ 183.79 217.95/218.99 c bounds 341320 >= 40162 @ 183.826 217.95/218.99 c bounds 340739 >= 40162 @ 183.863 217.95/218.99 c bounds 340158 >= 40162 @ 183.898 217.95/218.99 c bounds 339577 >= 40162 @ 183.937 217.95/218.99 c bounds 338996 >= 40162 @ 183.977 217.95/218.99 c bounds 338415 >= 40162 @ 184.013 217.95/218.99 c bounds 337834 >= 40162 @ 184.051 217.95/218.99 c bounds 337253 >= 40162 @ 184.089 217.95/218.99 c bounds 336672 >= 40162 @ 184.128 217.95/218.99 c bounds 336091 >= 40162 @ 184.171 217.95/218.99 c bounds 335510 >= 40162 @ 184.214 217.95/218.99 c bounds 334929 >= 40162 @ 184.254 217.95/218.99 c bounds 334348 >= 40162 @ 184.297 217.95/218.99 c bounds 333767 >= 40162 @ 184.341 217.95/218.99 c bounds 333186 >= 40162 @ 184.383 217.95/218.99 c bounds 332605 >= 40162 @ 184.434 217.95/218.99 c bounds 332024 >= 40162 @ 184.475 217.95/218.99 c bounds 331443 >= 40162 @ 184.518 217.95/218.99 c bounds 330862 >= 40162 @ 184.561 217.95/218.99 c bounds 330281 >= 40162 @ 184.6 217.95/218.99 c bounds 329700 >= 40162 @ 184.65 217.95/218.99 c bounds 329119 >= 40162 @ 184.694 217.95/218.99 c bounds 328538 >= 40162 @ 184.746 217.95/218.99 c bounds 327957 >= 40162 @ 184.783 217.95/218.99 c bounds 327376 >= 40162 @ 184.826 217.95/218.99 c bounds 326795 >= 40162 @ 184.865 217.95/218.99 c bounds 326214 >= 40162 @ 184.911 217.95/218.99 c bounds 325633 >= 40162 @ 184.949 217.95/218.99 c bounds 325052 >= 40162 @ 184.993 217.95/218.99 c bounds 324472 >= 40162 @ 185.048 217.95/218.99 c bounds 323891 >= 40162 @ 185.105 217.95/218.99 c bounds 323310 >= 40162 @ 185.147 217.95/218.99 c bounds 322729 >= 40162 @ 185.188 217.95/218.99 c bounds 322148 >= 40162 @ 185.229 217.95/218.99 c bounds 321567 >= 40162 @ 185.277 217.95/218.99 c bounds 320986 >= 40162 @ 185.316 217.95/218.99 c bounds 320405 >= 40162 @ 185.359 217.95/218.99 c bounds 319824 >= 40162 @ 185.401 217.95/218.99 c bounds 319243 >= 40162 @ 185.448 217.95/218.99 c bounds 318662 >= 40162 @ 185.493 217.95/218.99 c bounds 318082 >= 40162 @ 185.544 217.95/218.99 c bounds 317501 >= 40162 @ 185.612 217.95/218.99 c bounds 316920 >= 40162 @ 185.652 217.95/218.99 c bounds 316339 >= 40162 @ 185.698 217.95/218.99 c bounds 315758 >= 40162 @ 185.738 217.95/218.99 c bounds 315177 >= 40162 @ 185.774 217.95/218.99 c bounds 314596 >= 40162 @ 185.816 217.95/218.99 c bounds 314015 >= 40162 @ 185.858 217.95/218.99 c bounds 313434 >= 40162 @ 185.905 217.95/218.99 c bounds 312853 >= 40162 @ 185.94 217.95/218.99 c bounds 312272 >= 40162 @ 185.993 217.95/218.99 c bounds 311691 >= 40162 @ 186.039 217.95/218.99 c bounds 311110 >= 40162 @ 186.079 217.95/218.99 c bounds 310529 >= 40162 @ 186.119 217.95/218.99 c bounds 309948 >= 40162 @ 186.179 217.95/218.99 c bounds 309947 >= 40162 @ 186.22 217.95/218.99 c bounds 309946 >= 40162 @ 186.264 217.95/218.99 c bounds 309945 >= 40162 @ 186.304 217.95/218.99 c bounds 309944 >= 40162 @ 186.36 217.95/218.99 c bounds 309363 >= 40162 @ 186.405 217.95/218.99 c bounds 308782 >= 40162 @ 186.442 217.95/218.99 c bounds 308201 >= 40162 @ 186.487 217.95/218.99 c bounds 307620 >= 40162 @ 186.537 217.95/218.99 c bounds 307039 >= 40162 @ 186.614 217.95/218.99 c bounds 306458 >= 40162 @ 186.722 217.95/218.99 c bounds 305877 >= 40162 @ 186.786 217.95/218.99 c bounds 305296 >= 40162 @ 186.853 217.95/218.99 c bounds 304715 >= 40162 @ 186.903 217.95/218.99 c bounds 304134 >= 40162 @ 186.965 217.95/218.99 c bounds 304133 >= 40162 @ 187.022 217.95/218.99 c bounds 303552 >= 40162 @ 187.086 217.95/218.99 c bounds 303551 >= 40162 @ 187.147 217.95/218.99 c bounds 303550 >= 40162 @ 187.205 217.95/218.99 c bounds 303549 >= 40162 @ 187.259 217.95/218.99 c bounds 303548 >= 40162 @ 187.313 217.95/218.99 c bounds 302967 >= 40162 @ 187.384 217.95/218.99 c bounds 302386 >= 40162 @ 187.449 217.95/218.99 c bounds 301805 >= 40162 @ 187.512 217.95/218.99 c bounds 301224 >= 40162 @ 187.572 240.99/242.05 c bounds 300643 >= 40162 @ 187.629 240.99/242.05 c bounds 300062 >= 40162 @ 187.688 240.99/242.05 c bounds 299481 >= 40162 @ 187.742 240.99/242.05 c bounds 298900 >= 40162 @ 187.797 240.99/242.05 c bounds 298319 >= 40162 @ 187.846 240.99/242.05 c bounds 297738 >= 40162 @ 187.887 240.99/242.05 c bounds 297157 >= 40162 @ 187.928 240.99/242.05 c bounds 296576 >= 40162 @ 187.97 240.99/242.05 c bounds 295995 >= 40162 @ 188.01 240.99/242.05 c bounds 295414 >= 40162 @ 188.054 240.99/242.05 c bounds 294833 >= 40162 @ 188.095 240.99/242.05 c bounds 294252 >= 40162 @ 188.136 240.99/242.05 c bounds 293671 >= 40162 @ 188.177 240.99/242.05 c bounds 293090 >= 40162 @ 188.226 240.99/242.05 c bounds 292509 >= 40162 @ 188.266 240.99/242.05 c bounds 291928 >= 40162 @ 188.305 240.99/242.05 c bounds 291347 >= 40162 @ 188.344 240.99/242.05 c bounds 290766 >= 40162 @ 188.385 240.99/242.05 c bounds 290185 >= 40162 @ 188.42 240.99/242.05 c bounds 289604 >= 40162 @ 188.463 240.99/242.05 c bounds 289023 >= 40162 @ 188.505 240.99/242.05 c bounds 289022 >= 40162 @ 188.554 240.99/242.05 c bounds 289021 >= 40162 @ 188.596 240.99/242.05 c bounds 289020 >= 40162 @ 188.637 240.99/242.05 c bounds 289019 >= 40162 @ 188.676 240.99/242.05 c bounds 289018 >= 40162 @ 188.712 240.99/242.05 c bounds 289017 >= 40162 @ 188.744 240.99/242.05 c bounds 289016 >= 40162 @ 188.789 240.99/242.05 c bounds 289015 >= 40162 @ 188.835 240.99/242.05 c bounds 289014 >= 40162 @ 188.876 240.99/242.05 c bounds 289013 >= 40162 @ 188.917 240.99/242.05 c bounds 289012 >= 40162 @ 188.955 240.99/242.05 c bounds 289011 >= 40162 @ 188.99 240.99/242.05 c bounds 288430 >= 40162 @ 189.063 240.99/242.05 c bounds 288429 >= 40162 @ 189.112 240.99/242.05 c bounds 288428 >= 40162 @ 189.147 240.99/242.05 c bounds 288427 >= 40162 @ 189.182 240.99/242.05 c bounds 288426 >= 40162 @ 189.218 240.99/242.05 c bounds 288425 >= 40162 @ 189.251 240.99/242.05 c bounds 288424 >= 40162 @ 189.296 240.99/242.05 c bounds 288423 >= 40162 @ 189.344 240.99/242.05 c bounds 288422 >= 40162 @ 189.38 240.99/242.05 c bounds 288421 >= 40162 @ 189.425 240.99/242.05 c bounds 288420 >= 40162 @ 189.573 240.99/242.05 c bounds 287839 >= 40162 @ 189.789 240.99/242.05 c bounds 287838 >= 40162 @ 189.866 240.99/242.05 c bounds 287837 >= 40162 @ 189.942 240.99/242.05 c bounds 287256 >= 40162 @ 190.049 240.99/242.05 c bounds 287256 >= 40743 @ 190.057 240.99/242.05 c #Conflicts: 16000 | #Constraints: 1025602 240.99/242.05 c bounds 287256 >= 40744 @ 191.107 240.99/242.05 c bounds 287255 >= 40744 @ 191.174 240.99/242.05 c bounds 286674 >= 40744 @ 191.309 240.99/242.05 c bounds 286093 >= 40744 @ 191.453 240.99/242.05 c bounds 285512 >= 40744 @ 191.58 240.99/242.05 c bounds 284931 >= 40744 @ 191.699 240.99/242.05 c bounds 284930 >= 40744 @ 191.85 240.99/242.05 c bounds 284349 >= 40744 @ 191.992 240.99/242.05 c bounds 284348 >= 40744 @ 192.12 240.99/242.05 c bounds 283767 >= 40744 @ 192.275 240.99/242.05 c bounds 283766 >= 40744 @ 192.458 240.99/242.05 c #Conflicts: 17000 | #Constraints: 1026642 240.99/242.05 c bounds 283185 >= 40744 @ 192.696 240.99/242.05 c bounds 282604 >= 40744 @ 192.919 240.99/242.05 c bounds 282023 >= 40744 @ 193.139 240.99/242.05 c #Conflicts: 18000 | #Constraints: 1027645 240.99/242.05 c INPROCESSING 240.99/242.05 c GARBAGE COLLECT 240.99/242.05 c bounds 282022 >= 40744 @ 196.025 240.99/242.05 c bounds 281441 >= 40744 @ 196.256 240.99/242.05 c bounds 280860 >= 40744 @ 196.41 240.99/242.05 c bounds 280280 >= 40744 @ 196.567 240.99/242.05 c bounds 279699 >= 40744 @ 196.701 240.99/242.05 c bounds 279118 >= 40744 @ 196.83 240.99/242.05 c bounds 278537 >= 40744 @ 197.002 240.99/242.05 c bounds 277956 >= 40744 @ 197.19 240.99/242.05 c bounds 277375 >= 40744 @ 197.31 240.99/242.05 c bounds 276794 >= 40744 @ 197.658 240.99/242.05 c bounds 276213 >= 40744 @ 197.826 240.99/242.05 c bounds 275632 >= 40744 @ 198.045 240.99/242.05 c bounds 275053 >= 40744 @ 198.199 240.99/242.05 c bounds 275052 >= 40744 @ 198.24 240.99/242.05 c bounds 274471 >= 40744 @ 198.391 240.99/242.05 c bounds 274470 >= 40744 @ 198.536 240.99/242.05 c #Conflicts: 19000 | #Constraints: 1025215 240.99/242.05 c bounds 273889 >= 40744 @ 198.683 240.99/242.05 c bounds 273308 >= 40744 @ 198.819 240.99/242.05 c bounds 272727 >= 40744 @ 198.947 240.99/242.05 c bounds 272146 >= 40744 @ 199.072 240.99/242.05 c bounds 271565 >= 40744 @ 199.243 240.99/242.05 c bounds 271564 >= 40744 @ 199.822 240.99/242.05 c bounds 270983 >= 40744 @ 199.971 240.99/242.05 c bounds 270982 >= 40744 @ 200.126 240.99/242.05 c bounds 270401 >= 40744 @ 200.295 240.99/242.05 c bounds 269820 >= 40744 @ 200.427 240.99/242.05 c bounds 269239 >= 40744 @ 200.563 240.99/242.05 c bounds 269238 >= 40744 @ 200.693 240.99/242.05 c bounds 269237 >= 40744 @ 200.826 240.99/242.05 c bounds 268656 >= 40744 @ 200.963 240.99/242.05 c #Conflicts: 20000 | #Constraints: 1026229 240.99/242.05 c #Conflicts: 21000 | #Constraints: 1027229 240.99/242.05 c bounds 268656 >= 40745 @ 203.979 240.99/242.05 c bounds 268075 >= 40745 @ 204.099 240.99/242.05 c bounds 268074 >= 40745 @ 204.315 240.99/242.05 c bounds 268073 >= 40745 @ 204.446 240.99/242.05 c bounds 268072 >= 40745 @ 204.568 240.99/242.05 c bounds 267491 >= 40745 @ 204.721 240.99/242.05 c bounds 266910 >= 40745 @ 204.858 240.99/242.05 c INPROCESSING 240.99/242.05 c GARBAGE COLLECT 240.99/242.05 c bounds 266909 >= 40745 @ 205.601 240.99/242.05 c bounds 266908 >= 40745 @ 205.731 240.99/242.05 c bounds 266907 >= 40745 @ 205.873 240.99/242.05 c bounds 266326 >= 40745 @ 206.038 240.99/242.05 c bounds 265745 >= 40745 @ 206.244 240.99/242.05 c bounds 265744 >= 40745 @ 206.489 240.99/242.05 c bounds 265163 >= 40745 @ 206.619 758.63/761.15 c bounds 265162 >= 40745 @ 206.846 758.63/761.15 c bounds 264581 >= 40745 @ 206.973 758.63/761.15 c #Conflicts: 22000 | #Constraints: 1024569 758.63/761.15 c bounds 264002 >= 40745 @ 689.057 758.63/761.15 c bounds 264001 >= 40745 @ 689.098 758.63/761.15 c bounds 263420 >= 40745 @ 689.343 758.63/761.15 c bounds 263419 >= 40745 @ 689.556 758.63/761.15 c bounds 263418 >= 40745 @ 689.726 758.63/761.15 c bounds 262837 >= 40745 @ 689.928 758.63/761.15 c bounds 262256 >= 40745 @ 690.1 758.63/761.15 c bounds 262255 >= 40745 @ 690.346 758.63/761.15 c bounds 262254 >= 40745 @ 690.581 758.63/761.15 c bounds 262253 >= 40745 @ 690.774 758.63/761.15 c bounds 261672 >= 40745 @ 691.002 758.63/761.15 c bounds 261671 >= 40745 @ 691.307 758.63/761.15 c bounds 261091 >= 40745 @ 691.484 758.63/761.15 c #Conflicts: 23000 | #Constraints: 1025582 758.63/761.15 c #Conflicts: 24000 | #Constraints: 1026582 758.63/761.15 c #Conflicts: 25000 | #Constraints: 1027582 758.63/761.15 c INPROCESSING 758.63/761.15 c GARBAGE COLLECT 758.63/761.15 c bounds 260510 >= 40745 @ 694.485 758.63/761.15 c bounds 259929 >= 40745 @ 694.623 758.63/761.15 c bounds 259928 >= 40745 @ 694.751 758.63/761.15 c bounds 259347 >= 40745 @ 694.893 758.63/761.15 c bounds 259346 >= 40745 @ 695.265 758.63/761.15 c bounds 258765 >= 40745 @ 695.401 758.63/761.15 c bounds 258184 >= 40745 @ 695.626 758.63/761.15 c bounds 258183 >= 40745 @ 695.848 758.63/761.15 c bounds 257602 >= 40745 @ 696.11 758.63/761.15 c bounds 257021 >= 40745 @ 696.229 758.63/761.15 c bounds 257020 >= 40745 @ 696.415 758.63/761.15 c bounds 257019 >= 40745 @ 696.609 758.63/761.15 c bounds 257018 >= 40745 @ 696.787 758.63/761.15 c bounds 257017 >= 40745 @ 696.904 758.63/761.15 c bounds 257016 >= 40745 @ 697.137 758.63/761.15 c bounds 257015 >= 40745 @ 697.248 758.63/761.15 c #Conflicts: 26000 | #Constraints: 1025362 758.63/761.15 c bounds 256434 >= 40745 @ 697.448 758.63/761.15 c bounds 256433 >= 40745 @ 697.66 758.63/761.15 c bounds 255852 >= 40745 @ 697.875 758.63/761.15 c bounds 255271 >= 40745 @ 698.096 758.63/761.15 c bounds 254690 >= 40745 @ 698.287 758.63/761.15 c bounds 254109 >= 40745 @ 698.465 758.63/761.15 c bounds 253528 >= 40745 @ 698.676 758.63/761.15 c bounds 253527 >= 40745 @ 698.842 758.63/761.15 c bounds 252946 >= 40745 @ 699.041 758.63/761.15 c bounds 252365 >= 40745 @ 699.23 758.63/761.15 c bounds 251784 >= 40745 @ 699.455 758.63/761.15 c #Conflicts: 27000 | #Constraints: 1026373 758.63/761.15 c #Conflicts: 28000 | #Constraints: 1027373 758.63/761.15 c #Conflicts: 29000 | #Constraints: 1028373 758.63/761.15 c INPROCESSING 758.63/761.15 c GARBAGE COLLECT 758.63/761.15 c bounds 251203 >= 40745 @ 702.91 758.63/761.15 c bounds 251202 >= 40745 @ 703.055 758.63/761.15 c bounds 250621 >= 40745 @ 703.182 758.63/761.15 c bounds 250620 >= 40745 @ 703.319 758.63/761.15 c bounds 250039 >= 40745 @ 703.522 758.63/761.15 c bounds 249458 >= 40745 @ 703.782 758.63/761.15 c bounds 249457 >= 40745 @ 703.93 758.63/761.15 c bounds 248876 >= 40745 @ 704.048 758.63/761.15 c bounds 248295 >= 40745 @ 704.177 758.63/761.15 c bounds 247714 >= 40745 @ 704.301 758.63/761.15 c bounds 247713 >= 40745 @ 704.421 758.63/761.15 c bounds 247712 >= 40745 @ 704.623 758.63/761.15 c bounds 247711 >= 40745 @ 704.733 758.63/761.15 c bounds 247710 >= 40745 @ 704.841 758.63/761.15 c bounds 247129 >= 40745 @ 704.949 758.63/761.15 c bounds 246548 >= 40745 @ 705.054 758.63/761.15 c bounds 245967 >= 40745 @ 705.154 758.63/761.15 c bounds 245386 >= 40745 @ 705.257 758.63/761.15 c bounds 244805 >= 40745 @ 705.381 758.63/761.15 c bounds 244224 >= 40745 @ 705.475 758.63/761.15 c bounds 244223 >= 40745 @ 705.631 758.63/761.15 c bounds 243642 >= 40745 @ 705.752 758.63/761.15 c bounds 243061 >= 40745 @ 705.87 758.63/761.15 c bounds 243060 >= 40745 @ 706.012 758.63/761.15 c bounds 243059 >= 40745 @ 706.137 758.63/761.15 c bounds 242478 >= 40745 @ 706.515 758.63/761.15 c #Conflicts: 30000 | #Constraints: 1025918 758.63/761.15 c bounds 242477 >= 40745 @ 706.645 758.63/761.15 c bounds 241896 >= 40745 @ 706.759 758.63/761.15 c bounds 241315 >= 40745 @ 707.527 758.63/761.15 c bounds 241314 >= 40745 @ 707.677 758.63/761.15 c bounds 241313 >= 40745 @ 707.874 758.63/761.15 c bounds 241312 >= 40745 @ 708.144 758.63/761.15 c bounds 240731 >= 40745 @ 709.115 758.63/761.15 c bounds 240150 >= 40745 @ 709.365 758.63/761.15 c #Conflicts: 31000 | #Constraints: 1026926 758.63/761.15 c #Conflicts: 32000 | #Constraints: 1027926 758.63/761.15 c #Conflicts: 33000 | #Constraints: 1028926 758.63/761.15 c INPROCESSING 758.63/761.15 c GARBAGE COLLECT 758.63/761.15 c bounds 240149 >= 40745 @ 712.477 758.63/761.15 c bounds 239568 >= 40745 @ 712.81 758.63/761.15 c bounds 238987 >= 40745 @ 712.957 758.63/761.15 c bounds 238986 >= 40745 @ 714.291 758.63/761.15 c bounds 238985 >= 40745 @ 714.483 758.63/761.15 c bounds 238984 >= 40745 @ 715.161 758.63/761.15 c bounds 238403 >= 40745 @ 715.362 758.63/761.15 c bounds 238402 >= 40745 @ 715.62 758.63/761.15 c bounds 237821 >= 40745 @ 715.908 758.63/761.15 c #Conflicts: 34000 | #Constraints: 1026167 758.63/761.15 c bounds 237240 >= 40745 @ 716.224 758.63/761.15 c bounds 236659 >= 40745 @ 716.404 758.63/761.15 c bounds 236078 >= 40745 @ 716.682 758.63/761.15 c bounds 236077 >= 40745 @ 716.839 758.63/761.15 c bounds 235496 >= 40745 @ 717.109 758.63/761.15 c bounds 235495 >= 40745 @ 717.37 758.63/761.15 c bounds 234914 >= 40745 @ 717.662 758.63/761.15 c bounds 234333 >= 40745 @ 717.914 758.63/761.15 c bounds 233752 >= 40745 @ 718.151 758.63/761.15 c bounds 233171 >= 40745 @ 718.378 2241.05/2247.07 c #Conflicts: 35000 | #Constraints: 1027177 2241.05/2247.07 c #Conflicts: 36000 | #Constraints: 1028177 2241.05/2247.07 c #Conflicts: 37000 | #Constraints: 1029177 2241.05/2247.07 c INPROCESSING 2241.05/2247.07 c GARBAGE COLLECT 2241.05/2247.07 c bounds 233170 >= 40745 @ 721.496 2241.05/2247.07 c bounds 232589 >= 40745 @ 721.668 2241.05/2247.07 c bounds 232008 >= 40745 @ 721.859 2241.05/2247.07 c bounds 232007 >= 40745 @ 722.001 2241.05/2247.07 c bounds 232006 >= 40745 @ 722.144 2241.05/2247.07 c bounds 231425 >= 40745 @ 722.273 2241.05/2247.07 c bounds 230844 >= 40745 @ 722.4 2241.05/2247.07 c bounds 230263 >= 40745 @ 722.597 2241.05/2247.07 c bounds 230262 >= 40745 @ 722.721 2241.05/2247.07 c bounds 229681 >= 40745 @ 722.848 2241.05/2247.07 c bounds 229680 >= 40745 @ 723.101 2241.05/2247.07 c bounds 229099 >= 40745 @ 723.344 2241.05/2247.07 c bounds 228518 >= 40745 @ 723.496 2241.05/2247.07 c bounds 227937 >= 40745 @ 723.638 2241.05/2247.07 c bounds 227356 >= 40745 @ 723.802 2241.05/2247.07 c #Conflicts: 38000 | #Constraints: 1025898 2241.05/2247.07 c bounds 226776 >= 40745 @ 724.436 2241.05/2247.07 c bounds 226775 >= 40745 @ 724.479 2241.05/2247.07 c bounds 226774 >= 40745 @ 725.027 2241.05/2247.07 c bounds 226193 >= 40745 @ 725.649 2241.05/2247.07 c bounds 226192 >= 40745 @ 726.698 2241.05/2247.07 c #Conflicts: 39000 | #Constraints: 1026903 2241.05/2247.07 c #Conflicts: 40000 | #Constraints: 1027903 2241.05/2247.07 c #Conflicts: 41000 | #Constraints: 1028903 2241.05/2247.07 c INPROCESSING 2241.05/2247.07 c GARBAGE COLLECT 2241.05/2247.07 c rational objective 40745 2321.48/2327.63 c bounds 226191 >= 40745 @ 2205.23 2321.48/2327.63 c bounds 225610 >= 40745 @ 2205.36 2321.48/2327.63 c bounds 225029 >= 40745 @ 2205.49 2321.48/2327.63 c bounds 224448 >= 40745 @ 2205.77 2321.48/2327.63 c bounds 223867 >= 40745 @ 2205.94 2321.48/2327.63 c bounds 223866 >= 40745 @ 2206.08 2321.48/2327.63 c bounds 223285 >= 40745 @ 2206.21 2321.48/2327.63 c bounds 222704 >= 40745 @ 2206.38 2321.48/2327.63 c bounds 222123 >= 40745 @ 2206.51 2321.48/2327.63 c #Conflicts: 42000 | #Constraints: 1025725 2321.48/2327.63 c bounds 221542 >= 40745 @ 2206.66 2321.48/2327.63 c bounds 220961 >= 40745 @ 2206.79 2321.48/2327.63 c bounds 220960 >= 40745 @ 2206.92 2321.48/2327.63 c bounds 220959 >= 40745 @ 2207.09 2321.48/2327.63 c bounds 220379 >= 40745 @ 2207.53 2321.48/2327.63 c #Conflicts: 43000 | #Constraints: 1026730 2321.48/2327.63 c bounds 219798 >= 40745 @ 2212.93 2321.48/2327.63 c #Conflicts: 44000 | #Constraints: 1027731 2321.48/2327.63 c #Conflicts: 45000 | #Constraints: 1028731 2321.48/2327.63 c #Conflicts: 46000 | #Constraints: 1029731 2321.48/2327.63 c INPROCESSING 2321.48/2327.63 c GARBAGE COLLECT 2321.48/2327.63 c bounds 219217 >= 40745 @ 2217.3 2321.48/2327.63 c bounds 218636 >= 40745 @ 2217.5 2321.48/2327.63 c bounds 218055 >= 40745 @ 2217.67 2321.48/2327.63 c bounds 217474 >= 40745 @ 2217.83 2321.48/2327.63 c bounds 216893 >= 40745 @ 2217.99 2321.48/2327.63 c bounds 216312 >= 40745 @ 2218.16 2321.48/2327.63 c bounds 215731 >= 40745 @ 2218.28 2321.48/2327.63 c bounds 215150 >= 40745 @ 2218.4 2321.48/2327.63 c bounds 214569 >= 40745 @ 2218.56 2321.48/2327.63 c bounds 213988 >= 40745 @ 2218.67 2321.48/2327.63 c bounds 213407 >= 40745 @ 2218.83 2321.48/2327.63 c bounds 212826 >= 40745 @ 2219.02 2321.48/2327.63 c bounds 212245 >= 40745 @ 2219.17 2321.48/2327.63 c bounds 211664 >= 40745 @ 2219.3 2321.48/2327.63 c bounds 211083 >= 40745 @ 2219.44 2321.48/2327.63 c #Conflicts: 47000 | #Constraints: 1025924 2321.48/2327.63 c #Conflicts: 48000 | #Constraints: 1026924 2321.48/2327.63 c bounds 210502 >= 40745 @ 2229.49 2321.48/2327.63 c #Conflicts: 49000 | #Constraints: 1027925 2321.48/2327.63 c #Conflicts: 50000 | #Constraints: 1028925 2321.48/2327.63 c #Conflicts: 51000 | #Constraints: 1029925 2321.48/2327.63 c INPROCESSING 2321.48/2327.63 c GARBAGE COLLECT 2321.48/2327.63 c #Conflicts: 52000 | #Constraints: 1025850 2321.48/2327.63 c #Conflicts: 53000 | #Constraints: 1026850 2321.48/2327.63 c bounds 210502 >= 40746 @ 2237.71 2321.48/2327.63 c bounds 209921 >= 40746 @ 2237.9 2321.48/2327.63 c bounds 209340 >= 40746 @ 2238.04 2321.48/2327.63 c bounds 208759 >= 40746 @ 2238.2 2321.48/2327.63 c bounds 208178 >= 40746 @ 2238.41 2321.48/2327.63 c bounds 208177 >= 40746 @ 2238.62 2321.48/2327.63 c bounds 207596 >= 40746 @ 2238.85 2321.48/2327.63 c bounds 207015 >= 40746 @ 2238.99 2321.48/2327.63 c bounds 207014 >= 40746 @ 2239.18 2321.48/2327.63 c bounds 206433 >= 40746 @ 2239.36 2321.48/2327.63 c bounds 205852 >= 40746 @ 2239.5 2321.48/2327.63 c bounds 205271 >= 40746 @ 2239.8 2321.48/2327.63 c bounds 204690 >= 40746 @ 2240.06 2321.48/2327.63 c bounds 204109 >= 40746 @ 2240.7 2321.48/2327.63 c bounds 203528 >= 40746 @ 2241.48 2321.48/2327.63 c #Conflicts: 54000 | #Constraints: 1027888 2321.48/2327.63 c bounds 202947 >= 40746 @ 2241.73 2321.48/2327.63 c bounds 202366 >= 40746 @ 2242.86 2321.48/2327.63 c #Conflicts: 55000 | #Constraints: 1028890 2321.48/2327.63 c #Conflicts: 56000 | #Constraints: 1029890 2321.48/2327.63 c INPROCESSING 2321.48/2327.63 c GARBAGE COLLECT 2321.48/2327.63 c bounds 202365 >= 40746 @ 2248.59 2321.48/2327.63 c bounds 201784 >= 40746 @ 2249.11 2321.48/2327.63 c bounds 201203 >= 40746 @ 2250.02 2321.48/2327.63 c bounds 200622 >= 40746 @ 2250.86 2321.48/2327.63 c bounds 200041 >= 40746 @ 2251.84 2321.48/2327.63 c bounds 199460 >= 40746 @ 2252.24 2321.48/2327.63 c #Conflicts: 57000 | #Constraints: 1026162 2321.48/2327.63 c bounds 198879 >= 40746 @ 2253.2 2321.48/2327.63 c bounds 198298 >= 40746 @ 2253.58 2321.48/2327.63 c bounds 198297 >= 40746 @ 2254.52 2321.48/2327.63 c bounds 197716 >= 40746 @ 2255.03 2321.48/2327.63 c bounds 197715 >= 40746 @ 2255.9 2321.48/2327.63 c bounds 197134 >= 40746 @ 2256.37 2321.48/2327.63 c #Conflicts: 58000 | #Constraints: 1027168 2321.48/2327.63 c bounds 196553 >= 40746 @ 2257.16 2321.48/2327.63 c bounds 195972 >= 40746 @ 2258.47 2321.48/2327.63 c bounds 195391 >= 40746 @ 2259.06 2321.48/2327.63 c bounds 194810 >= 40746 @ 2260.04 2321.48/2327.63 c #Conflicts: 59000 | #Constraints: 1028172 2321.48/2327.63 c bounds 194809 >= 40746 @ 2261.42 2321.48/2327.63 c bounds 194228 >= 40746 @ 2262.55 2321.48/2327.63 c bounds 193647 >= 40746 @ 2263.16 2321.48/2327.63 c bounds 193646 >= 40746 @ 2263.91 2321.48/2327.63 c #Conflicts: 60000 | #Constraints: 1029176 2321.48/2327.63 c bounds 193645 >= 40746 @ 2265.46 2321.48/2327.63 c bounds 193064 >= 40746 @ 2265.87 2321.48/2327.63 c bounds 192483 >= 40746 @ 2266.42 2321.48/2327.63 c bounds 191902 >= 40746 @ 2266.87 2321.48/2327.63 c bounds 191321 >= 40746 @ 2267.29 2321.48/2327.63 c bounds 190742 >= 40746 @ 2267.64 2321.48/2327.63 c #Conflicts: 61000 | #Constraints: 1030182 2321.48/2327.63 c INPROCESSING 2321.48/2327.63 c GARBAGE COLLECT 2321.48/2327.63 c bounds 190741 >= 40746 @ 2269.67 2321.48/2327.63 c bounds 190160 >= 40746 @ 2269.82 2321.48/2327.63 c bounds 189579 >= 40746 @ 2269.96 2321.48/2327.63 c bounds 189578 >= 40746 @ 2270.1 2321.48/2327.63 c bounds 188997 >= 40746 @ 2270.27 2321.48/2327.63 c bounds 188416 >= 40746 @ 2270.4 2321.48/2327.63 c bounds 187835 >= 40746 @ 2270.56 2321.48/2327.63 c bounds 187254 >= 40746 @ 2270.69 2321.48/2327.63 c bounds 187253 >= 40746 @ 2270.83 2321.48/2327.63 c bounds 186672 >= 40746 @ 2270.
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 (61032 MiB free)
memory of node 1: 64510 MiB (62734 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455337-1721464133/watcher-4455337-1721464133 -o /tmp/evaluation-result-4455337-1721464133/solver-4455337-1721464133 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721456922-1065999 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455337-1721464133.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=1070353, runsolver pid=1070350
[startup+0.100394 s]*
/proc/loadavg: 4.14 4.18 4.14 4/253 1070360
/proc/meminfo: memFree=126726608/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=51624 memory=19748 CPUtime=0.09 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 3983 0 0 0 7 2 0 0 20 0 1 0 198577546 52862976 4937 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 12906 4937 1246 922 0 4858 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51624 KiB
Current children cumulated memory: 19748 KiB
[startup+0.205695 s]*
/proc/loadavg: 4.14 4.18 4.14 5/253 1070360
/proc/meminfo: memFree=126684428/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=79096 memory=49256 CPUtime=0.2 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 9815 0 0 0 14 6 0 0 20 0 1 0 198577546 80994304 12314 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 19774 12314 1246 922 0 11726 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 79096 KiB
Current children cumulated memory: 49256 KiB
[startup+0.305584 s]*
/proc/loadavg: 4.14 4.18 4.14 5/253 1070360
/proc/meminfo: memFree=126647944/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=108904 memory=71684 CPUtime=0.29 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 11307 0 0 0 21 8 0 0 20 0 1 0 198577546 111517696 17921 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 27226 17921 1246 922 0 19178 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 108904 KiB
Current children cumulated memory: 71684 KiB
[startup+0.700243 s]
/proc/loadavg: 4.14 4.18 4.14 5/253 1070360
/proc/meminfo: memFree=126615100/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=116044 memory=77572 CPUtime=0.69 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 12239 0 0 0 54 15 0 0 20 0 1 0 198577546 118829056 19393 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 29011 19393 1246 922 0 20963 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 116044 KiB
Current children cumulated memory: 77572 KiB
[startup+1.50024 s]
/proc/loadavg: 4.14 4.18 4.14 5/251 1070360
/proc/meminfo: memFree=126542268/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=123224 memory=85976 CPUtime=1.48 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 12838 0 0 0 120 28 0 0 20 0 1 0 198577546 126181376 21494 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 30806 21494 1246 922 0 22758 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 123224 KiB
Current children cumulated memory: 85976 KiB
[startup+3.10552 s]
/proc/loadavg: 4.13 4.17 4.13 5/257 1070371
/proc/meminfo: memFree=126443140/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=156904 memory=102448 CPUtime=3.08 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 14379 0 0 0 253 55 0 0 20 0 1 0 198577546 160669696 25612 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 39226 25612 1246 922 0 31178 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 156904 KiB
Current children cumulated memory: 102448 KiB
[startup+6.30023 s]
/proc/loadavg: 4.13 4.17 4.13 5/257 1070373
/proc/meminfo: memFree=126299160/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=400372 memory=343352 CPUtime=6.27 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 61210 0 0 0 516 111 0 0 20 0 1 0 198577546 409980928 85838 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 100093 85838 1565 922 0 92045 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 400372 KiB
Current children cumulated memory: 343352 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.18 4.14 5/257 1070373
/proc/meminfo: memFree=124931440/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=894384 memory=834176 CPUtime=12.63 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 114348 0 0 0 1130 133 0 0 20 0 1 0 198577546 915849216 208544 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 223596 208544 1661 922 0 215548 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 894384 KiB
Current children cumulated memory: 834176 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.18 4.14 5/257 1070376
/proc/meminfo: memFree=124871484/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=944472 memory=867240 CPUtime=25.37 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 114894 0 0 0 1902 635 0 0 20 0 1 0 198577546 967139328 216810 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 236118 216810 1772 922 0 228070 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 944472 KiB
Current children cumulated memory: 867240 KiB
[startup+51.1059 s]
/proc/loadavg: 4.10 4.16 4.13 5/257 1070379
/proc/meminfo: memFree=124839428/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=972372 memory=897772 CPUtime=50.83 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 117235 0 0 0 4416 667 0 0 20 0 1 0 198577546 995708928 224443 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 243093 224443 1850 922 0 235045 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 972372 KiB
Current children cumulated memory: 897772 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.16 4.13 5/258 1070446
/proc/meminfo: memFree=124785384/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=995072 memory=920244 CPUtime=101.78 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 118520 0 0 0 8743 1435 0 0 20 0 1 0 198577546 1018953728 230061 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 248768 230061 1850 922 0 240720 0
Current children cumulated CPU time: 101.78 s
Current children cumulated vsize: 995072 KiB
Current children cumulated memory: 920244 KiB
[startup+162.3 s]
/proc/loadavg: 4.38 4.21 4.15 5/259 1070550
/proc/meminfo: memFree=125470352/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=1032176 memory=950904 CPUtime=161.51 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 120679 0 0 0 14352 1799 0 0 20 0 1 0 198577546 1056948224 237726 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 258044 237726 1850 922 0 249996 0
Current children cumulated CPU time: 161.51 s
Current children cumulated vsize: 1032176 KiB
Current children cumulated memory: 950904 KiB
[startup+222.3 s]
/proc/loadavg: 4.32 4.23 4.16 6/259 1070697
/proc/meminfo: memFree=125620584/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=1209996 memory=1101792 CPUtime=221.33 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 141233 0 0 0 18969 3164 0 0 20 0 1 0 198577546 1239035904 275448 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 302499 275448 1850 922 0 294451 0
Current children cumulated CPU time: 221.33 s
Current children cumulated vsize: 1209996 KiB
Current children cumulated memory: 1101792 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.20 4.16 6/258 1070707
/proc/meminfo: memFree=125207820/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=1378656 memory=1304576 CPUtime=281.15 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 175322 0 0 0 24630 3485 0 0 20 0 1 0 198577546 1411743744 326144 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 344664 326144 1850 922 0 336616 0
Current children cumulated CPU time: 281.15 s
Current children cumulated vsize: 1378656 KiB
Current children cumulated memory: 1304576 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.19 4.16 6/258 1070719
/proc/meminfo: memFree=125122412/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=1410548 memory=1336620 CPUtime=340.95 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 178339 0 0 0 30601 3494 0 0 20 0 1 0 198577546 1444401152 334155 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 352637 334155 1850 922 0 344589 0
Current children cumulated CPU time: 340.95 s
Current children cumulated vsize: 1410548 KiB
Current children cumulated memory: 1336620 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.19 4.16 6/255 1070729
/proc/meminfo: memFree=124986960/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=1423244 memory=1348856 CPUtime=400.77 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 180575 0 0 0 36580 3497 0 0 20 0 1 0 198577546 1457401856 337214 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 355811 337214 1850 922 0 347763 0
Current children cumulated CPU time: 400.77 s
Current children cumulated vsize: 1423244 KiB
Current children cumulated memory: 1348856 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.17 4.15 6/254 1070739
/proc/meminfo: memFree=124851640/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=1423244 memory=1351568 CPUtime=460.6 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 181323 0 0 0 42561 3499 0 0 20 0 1 0 198577546 1457401856 337892 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 355811 337892 1850 922 0 347763 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/257 1071789
/proc/meminfo: memFree=123185188/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=2344884 memory=2061172 CPUtime=3094.25 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 292642 0 0 0 303809 5616 0 0 20 0 1 0 198577546 2401161216 515293 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 586221 515293 1850 922 0 578173 0
Current children cumulated CPU time: 3094.25 s
Current children cumulated vsize: 2344884 KiB
Current children cumulated memory: 2061172 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.11 4.09 6/257 1071800
/proc/meminfo: memFree=123179140/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=2344884 memory=2061172 CPUtime=3154.11 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 292935 0 0 0 309792 5619 0 0 20 0 1 0 198577546 2401161216 515293 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 586221 515293 1850 922 0 578173 0
Current children cumulated CPU time: 3154.11 s
Current children cumulated vsize: 2344884 KiB
Current children cumulated memory: 2061172 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/257 1071810
/proc/meminfo: memFree=123170320/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=2344884 memory=2061172 CPUtime=3213.96 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 293259 0 0 0 315774 5622 0 0 20 0 1 0 198577546 2401161216 515293 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 586221 515293 1850 922 0 578173 0
Current children cumulated CPU time: 3213.96 s
Current children cumulated vsize: 2344884 KiB
Current children cumulated memory: 2061172 KiB
[startup+3282.3 s]
/proc/loadavg: 4.28 4.17 4.11 6/257 1071820
/proc/meminfo: memFree=123161704/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=2344884 memory=2061172 CPUtime=3273.8 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 293519 0 0 0 321756 5624 0 0 20 0 1 0 198577546 2401161216 515293 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 586221 515293 1850 922 0 578173 0
Current children cumulated CPU time: 3273.8 s
Current children cumulated vsize: 2344884 KiB
Current children cumulated memory: 2061172 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.17 4.11 6/258 1071834
/proc/meminfo: memFree=123157796/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=2344884 memory=2061172 CPUtime=3333.67 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 293841 0 0 0 327739 5628 0 0 20 0 1 0 198577546 2401161216 515293 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 586221 515293 1850 922 0 578173 0
Current children cumulated CPU time: 3333.67 s
Current children cumulated vsize: 2344884 KiB
Current children cumulated memory: 2061172 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.14 4.10 6/258 1072229
/proc/meminfo: memFree=123155132/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=2344884 memory=2061172 CPUtime=3393.53 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 294204 0 0 0 333719 5634 0 0 20 0 1 0 198577546 2401161216 515293 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 586221 515293 1850 922 0 578173 0
Current children cumulated CPU time: 3393.53 s
Current children cumulated vsize: 2344884 KiB
Current children cumulated memory: 2061172 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.15 4.11 6/258 1072240
/proc/meminfo: memFree=123151240/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=2344884 memory=2061928 CPUtime=3453.39 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 294575 0 0 0 339701 5638 0 0 20 0 1 0 198577546 2401161216 515482 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 586221 515482 1850 922 0 578173 0
Current children cumulated CPU time: 3453.39 s
Current children cumulated vsize: 2344884 KiB
Current children cumulated memory: 2061928 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.10 6/258 1072251
/proc/meminfo: memFree=123149332/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=2344884 memory=2061928 CPUtime=3513.26 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 294713 0 0 0 345682 5644 0 0 20 0 1 0 198577546 2401161216 515482 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 586221 515482 1850 922 0 578173 0
Current children cumulated CPU time: 3513.26 s
Current children cumulated vsize: 2344884 KiB
Current children cumulated memory: 2061928 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.13 4.09 6/260 1072431
/proc/meminfo: memFree=123145648/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=2344884 memory=2061928 CPUtime=3573.16 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 294740 0 0 0 351663 5653 0 0 20 0 1 0 198577546 2401161216 515482 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 586221 515482 1850 922 0 578173 0
Current children cumulated CPU time: 3573.16 s
Current children cumulated vsize: 2344884 KiB
Current children cumulated memory: 2061928 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.05 4.11 4.09 6/260 1072436
/proc/meminfo: memFree=123141648/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=2344884 memory=2061928 CPUtime=3600.02 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 294757 0 0 0 354344 5658 0 0 20 0 1 0 198577546 2401161216 515482 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 586221 515482 1850 922 0 578173 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2344884 KiB
Current children cumulated memory: 2061928 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.21 s]
# the end of solver process 1070353 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3545.44 s, system=56.59 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.05 4.11 4.09 6/260 1072436
/proc/meminfo: memFree=123141648/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=2344884 memory=2061928 CPUtime=3600.42 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 294757 0 0 0 354384 5658 0 0 20 0 1 0 198577546 2401161216 515482 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 586221 515482 1850 922 0 578173 0
Current children cumulated CPU time: 3600.42 s
Current children cumulated vsize: 2344884 KiB
Current children cumulated memory: 2061928 KiB
[startup+3610.4 s]
/proc/loadavg: 4.05 4.11 4.09 6/260 1072436
/proc/meminfo: memFree=123141644/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=2344884 memory=2061928 CPUtime=3601.22 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 294759 0 0 0 354464 5658 0 0 20 0 1 0 198577546 2401161216 515482 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 586221 515482 1850 922 0 578173 0
Current children cumulated CPU time: 3601.22 s
Current children cumulated vsize: 2344884 KiB
Current children cumulated memory: 2061928 KiB
[startup+3610.8 s]
/proc/loadavg: 4.05 4.11 4.09 6/260 1072436
/proc/meminfo: memFree=123141644/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=2344884 memory=2061928 CPUtime=3601.62 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 294759 0 0 0 354504 5658 0 0 20 0 1 0 198577546 2401161216 515482 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 586221 515482 1850 922 0 578173 0
Current children cumulated CPU time: 3601.62 s
Current children cumulated vsize: 2344884 KiB
Current children cumulated memory: 2061928 KiB
[startup+3611.2 s]
/proc/loadavg: 4.05 4.11 4.09 6/260 1072436
/proc/meminfo: memFree=123141616/131524600 swapFree=131071996/131071996
[pid=1070353] ppid=1070350 vsize=2344884 memory=2061928 CPUtime=3602.02 cores=5,7
/proc/1070353/stat : 1070353 (roundingsat) R 1070350 1070353 1065986 0 -1 4194304 294759 0 0 0 354544 5658 0 0 20 0 1 0 198577546 2401161216 515482 134679101440 4194304 7968373 140726209931984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 23257088 140726209938364 140726209938528 140726209938528 140726209945545 0
/proc/1070353/statm: 586221 515482 1850 922 0 578173 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 2344884 KiB
Current children cumulated memory: 2061928 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.21
CPU time (s): 3602.03
CPU user time (s): 3545.44
CPU system time (s): 56.59
CPU usage (%): 99.7459
Max. virtual memory (cumulated for all children) (KiB): 2344884
Max. memory (cumulated for all children) (KiB): 2061928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3545.44
system time used= 56.59
maximum resident set size= 2061928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 294759
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 1665
# summary of solver processes directly reported to runsolver:
# pid: 1070353
# total CPU time (s): 3602.03
# total CPU user time (s): 3545.44
# total CPU system time (s): 56.59
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.67258 second user time and 18.0549 second system time
The end
Begin job on nodeC022 at 2024-07-20 10:29:06 IDJOB=4455337 IDBENCH=158209 IDSOLVER=3084 FILE ID=nodeC022/4455337-1721464133 RUNJOBID= nodeC022-1721456922-1065999 SLURM_JOB_ID= 7545694 Free space on /tmp= 889956 MiB SOLVER NAME= RoundingSat nolog 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 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455337-1721464133/watcher-4455337-1721464133 -o /tmp/evaluation-result-4455337-1721464133/solver-4455337-1721464133 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721456922-1065999 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455337-1721464133.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8ac687d6d6d445392b755a367fbcc019 RANDOM SEED=1255427317 nodeC022.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 : 3600.350 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.66 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 : 3671.206 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 : 7006.96 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 : 3685.441 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.66 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 : 3601.843 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 : 7006.96 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 : 3685.175 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.66 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 : 3600.046 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 : 7006.96 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 : 3599.893 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.66 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 : 3602.147 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 : 7006.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126731932 kB MemAvailable: 129502556 kB Buffers: 549532 kB Cached: 3044868 kB SwapCached: 0 kB Active: 1262264 kB Inactive: 2870844 kB Active(anon): 1556 kB Inactive(anon): 582784 kB Active(file): 1260708 kB Inactive(file): 2288060 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 120392 kB Writeback: 0 kB AnonPages: 532704 kB Mapped: 115488 kB Shmem: 45912 kB KReclaimable: 123008 kB Slab: 239904 kB SReclaimable: 123008 kB SUnreclaim: 116896 kB KernelStack: 4144 kB PageTables: 10256 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 943348 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 71936 kB HardwareCorrupted: 0 kB AnonHugePages: 507904 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: 260820 kB DirectMap2M: 28872704 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 889948 MiB End job on nodeC022 at 2024-07-20 11:29:18