0.00/0.02	c RoundingSat 2
0.00/0.02	c branch 
0.00/0.02	c commit 
0.00/0.02	c with Papilo
0.00/0.02	c with SCIP
0.00/0.02	c [STEP] parsing instance
0.00/0.04	c [STEP] preprocessing with Papilo
0.00/0.06	c [STEP] solving with SCIP
299.47/300.37	c [STEP] preprocessing done, loading into solver
299.47/300.37	c [STEP] solving
299.47/300.37	c #variables 1668 #constraints 3300
299.47/300.37	c SMALL=int, LARGE=long long
299.47/300.37	d SCIPUB 899
299.47/300.37	c bounds - >= 0 @ 299.363
299.47/300.37	c stratification level: 0
299.57/300.43	c bounds - >= 676 @ 299.369
299.57/300.43	c bounds - >= 677 @ 299.371
299.57/300.43	c bounds - >= 678 @ 299.371
299.57/300.43	c bounds - >= 679 @ 299.371
299.57/300.43	c bounds - >= 680 @ 299.371
299.57/300.43	c bounds - >= 681 @ 299.371
299.57/300.43	c bounds - >= 682 @ 299.372
299.57/300.43	c bounds - >= 683 @ 299.372
299.57/300.43	c bounds - >= 684 @ 299.372
299.57/300.43	c bounds - >= 685 @ 299.372
299.57/300.43	c bounds - >= 686 @ 299.372
299.57/300.43	c bounds - >= 687 @ 299.373
299.57/300.43	c bounds - >= 688 @ 299.373
299.57/300.43	c bounds - >= 689 @ 299.373
299.57/300.43	c bounds - >= 690 @ 299.373
299.57/300.43	c bounds - >= 691 @ 299.374
299.57/300.43	c bounds - >= 692 @ 299.374
299.57/300.43	c bounds - >= 693 @ 299.374
299.57/300.43	c bounds - >= 694 @ 299.374
299.57/300.43	c bounds - >= 695 @ 299.374
299.57/300.43	c bounds - >= 696 @ 299.375
299.57/300.43	c bounds - >= 697 @ 299.375
299.57/300.43	c bounds - >= 698 @ 299.375
299.57/300.43	c bounds - >= 699 @ 299.375
299.57/300.43	c bounds - >= 700 @ 299.376
299.57/300.43	c bounds - >= 701 @ 299.376
299.57/300.43	c bounds - >= 702 @ 299.376
299.57/300.43	c bounds - >= 703 @ 299.376
299.57/300.43	c bounds - >= 704 @ 299.377
299.57/300.43	c bounds - >= 705 @ 299.377
299.57/300.43	c bounds - >= 706 @ 299.377
299.57/300.43	c bounds - >= 707 @ 299.378
299.57/300.43	c bounds - >= 708 @ 299.378
299.57/300.43	c bounds - >= 709 @ 299.378
299.57/300.43	c bounds - >= 710 @ 299.378
299.57/300.43	c bounds - >= 711 @ 299.378
299.57/300.43	c bounds - >= 712 @ 299.378
299.57/300.43	c bounds - >= 713 @ 299.378
299.57/300.43	c bounds - >= 714 @ 299.378
299.57/300.43	c bounds - >= 715 @ 299.379
299.57/300.43	c bounds - >= 716 @ 299.379
299.57/300.43	c bounds - >= 717 @ 299.379
299.57/300.43	c bounds - >= 718 @ 299.379
299.57/300.43	c bounds - >= 719 @ 299.38
299.57/300.43	c bounds - >= 720 @ 299.38
299.57/300.43	c bounds - >= 721 @ 299.38
299.57/300.43	c bounds - >= 722 @ 299.38
299.57/300.43	c bounds - >= 723 @ 299.381
299.57/300.43	c bounds - >= 724 @ 299.381
299.57/300.43	c bounds - >= 725 @ 299.381
299.57/300.43	c bounds - >= 726 @ 299.381
299.57/300.43	c bounds - >= 727 @ 299.381
299.57/300.43	c bounds - >= 728 @ 299.381
299.57/300.43	c bounds - >= 729 @ 299.381
299.57/300.43	c bounds - >= 730 @ 299.382
299.57/300.43	c bounds - >= 731 @ 299.382
299.57/300.43	c bounds - >= 732 @ 299.382
299.57/300.43	c bounds - >= 733 @ 299.382
299.57/300.43	c bounds - >= 734 @ 299.383
299.57/300.43	c bounds - >= 735 @ 299.383
299.57/300.43	c bounds - >= 736 @ 299.383
299.57/300.43	c bounds - >= 737 @ 299.383
299.57/300.43	c bounds - >= 738 @ 299.383
299.57/300.43	c bounds - >= 739 @ 299.383
299.57/300.43	c bounds - >= 740 @ 299.383
299.57/300.43	c bounds - >= 741 @ 299.384
299.57/300.43	c bounds - >= 742 @ 299.384
299.57/300.43	c bounds - >= 743 @ 299.384
299.57/300.43	c bounds - >= 744 @ 299.385
299.57/300.43	c bounds - >= 745 @ 299.385
299.57/300.43	c bounds - >= 746 @ 299.385
299.57/300.43	c bounds - >= 747 @ 299.386
299.57/300.43	c bounds - >= 748 @ 299.386
299.57/300.43	c bounds - >= 749 @ 299.386
299.57/300.43	c bounds - >= 750 @ 299.386
299.57/300.43	c bounds - >= 751 @ 299.387
299.57/300.43	c bounds - >= 752 @ 299.387
299.57/300.43	c bounds - >= 753 @ 299.387
299.57/300.43	c bounds - >= 754 @ 299.388
299.57/300.43	c bounds - >= 755 @ 299.388
299.57/300.43	c bounds - >= 756 @ 299.388
299.57/300.43	c bounds - >= 757 @ 299.388
299.57/300.43	c bounds - >= 758 @ 299.389
299.57/300.43	c bounds - >= 759 @ 299.389
299.57/300.43	c bounds - >= 760 @ 299.389
299.57/300.43	c bounds - >= 761 @ 299.389
299.57/300.43	c bounds - >= 762 @ 299.389
299.57/300.43	c bounds - >= 763 @ 299.389
299.57/300.43	c bounds - >= 764 @ 299.389
299.57/300.43	c bounds - >= 765 @ 299.39
299.57/300.43	c bounds - >= 766 @ 299.39
299.57/300.43	c bounds - >= 767 @ 299.39
299.57/300.43	c bounds - >= 768 @ 299.391
299.57/300.43	c bounds - >= 769 @ 299.391
299.57/300.43	c bounds - >= 770 @ 299.391
299.57/300.43	c bounds - >= 771 @ 299.392
299.57/300.43	c bounds - >= 772 @ 299.392
299.57/300.43	c bounds - >= 773 @ 299.392
299.57/300.43	c bounds - >= 774 @ 299.392
299.57/300.43	c bounds - >= 775 @ 299.392
299.57/300.43	c bounds - >= 776 @ 299.392
299.57/300.43	c bounds - >= 777 @ 299.392
299.57/300.43	c bounds - >= 778 @ 299.393
299.57/300.43	c bounds - >= 779 @ 299.393
299.57/300.43	c bounds - >= 780 @ 299.393
299.57/300.43	c bounds - >= 781 @ 299.393
299.57/300.43	c bounds - >= 782 @ 299.393
299.57/300.43	c bounds - >= 783 @ 299.393
299.57/300.43	c bounds - >= 784 @ 299.393
299.57/300.43	c bounds - >= 785 @ 299.394
299.57/300.43	c bounds - >= 786 @ 299.394
299.57/300.43	c bounds - >= 787 @ 299.394
299.57/300.43	c bounds - >= 788 @ 299.394
299.57/300.43	c bounds - >= 789 @ 299.394
299.57/300.43	c bounds - >= 790 @ 299.394
299.57/300.43	c bounds - >= 791 @ 299.394
299.57/300.43	c bounds - >= 792 @ 299.394
299.57/300.43	c bounds - >= 793 @ 299.394
299.57/300.43	c bounds - >= 794 @ 299.395
299.57/300.43	c bounds - >= 795 @ 299.395
299.57/300.43	c bounds - >= 796 @ 299.395
299.57/300.43	c bounds - >= 797 @ 299.396
299.57/300.43	c bounds - >= 798 @ 299.396
299.57/300.43	c bounds - >= 799 @ 299.396
299.57/300.43	c bounds - >= 800 @ 299.397
299.57/300.43	c bounds - >= 801 @ 299.397
299.57/300.43	c bounds - >= 802 @ 299.397
299.57/300.43	c bounds - >= 803 @ 299.398
299.57/300.43	c bounds - >= 804 @ 299.398
299.57/300.43	c bounds - >= 805 @ 299.398
299.57/300.43	c bounds - >= 806 @ 299.399
299.57/300.43	c bounds - >= 807 @ 299.399
299.57/300.43	c bounds - >= 808 @ 299.399
299.57/300.43	c bounds - >= 809 @ 299.4
299.57/300.43	c bounds - >= 810 @ 299.4
299.57/300.43	c bounds - >= 811 @ 299.4
299.57/300.43	c bounds - >= 812 @ 299.4
299.57/300.43	c bounds - >= 813 @ 299.4
299.57/300.43	c bounds - >= 814 @ 299.4
299.57/300.43	c bounds - >= 815 @ 299.401
299.57/300.43	c bounds - >= 816 @ 299.401
299.57/300.43	c bounds - >= 817 @ 299.401
299.57/300.43	c bounds - >= 818 @ 299.401
299.57/300.43	c bounds - >= 819 @ 299.401
299.57/300.43	c bounds - >= 820 @ 299.401
299.57/300.43	c bounds - >= 821 @ 299.402
299.57/300.43	c bounds - >= 822 @ 299.402
361.18/362.29	c bounds - >= 823 @ 299.403
361.18/362.29	c bounds - >= 824 @ 299.403
361.18/362.29	c #Conflicts:       1000 | #Constraints:       5269
361.18/362.29	c #Conflicts:       2000 | #Constraints:       6269
361.18/362.29	c INPROCESSING
361.18/362.29	c GARBAGE COLLECT
361.18/362.29	c #Conflicts:       3000 | #Constraints:       6115
361.18/362.29	c #Conflicts:       4000 | #Constraints:       7115
361.18/362.29	c INPROCESSING
361.18/362.29	c GARBAGE COLLECT
361.18/362.29	c #Conflicts:       5000 | #Constraints:       6474
361.18/362.29	c #Conflicts:       6000 | #Constraints:       7474
361.18/362.29	c INPROCESSING
361.18/362.29	c GARBAGE COLLECT
361.18/362.29	c #Conflicts:       7000 | #Constraints:       6464
361.18/362.29	c #Conflicts:       8000 | #Constraints:       7464
361.18/362.29	c #Conflicts:       9000 | #Constraints:       8464
361.18/362.29	c INPROCESSING
361.18/362.29	c GARBAGE COLLECT
361.18/362.29	c #Conflicts:      10000 | #Constraints:       7155
361.18/362.29	c #Conflicts:      11000 | #Constraints:       8155
361.18/362.29	c #Conflicts:      12000 | #Constraints:       9155
361.18/362.29	c INPROCESSING
361.18/362.29	c GARBAGE COLLECT
361.18/362.29	c #Conflicts:      13000 | #Constraints:       7594
361.18/362.29	c #Conflicts:      14000 | #Constraints:       8594
361.18/362.29	c #Conflicts:      15000 | #Constraints:       9594
361.18/362.29	c INPROCESSING
361.18/362.29	c GARBAGE COLLECT
361.18/362.29	c #Conflicts:      16000 | #Constraints:       7827
361.18/362.29	c #Conflicts:      17000 | #Constraints:       8827
361.18/362.29	c #Conflicts:      18000 | #Constraints:       9827
361.18/362.29	c INPROCESSING
361.18/362.29	c GARBAGE COLLECT
361.18/362.29	c #Conflicts:      19000 | #Constraints:       7852
361.18/362.29	c #Conflicts:      20000 | #Constraints:       8852
361.18/362.29	c #Conflicts:      21000 | #Constraints:       9852
361.18/362.29	c INPROCESSING
361.18/362.29	c GARBAGE COLLECT
361.18/362.29	c #Conflicts:      22000 | #Constraints:       7655
361.18/362.29	c #Conflicts:      23000 | #Constraints:       8655
361.18/362.29	c #Conflicts:      24000 | #Constraints:       9655
361.18/362.29	c #Conflicts:      25000 | #Constraints:      10655
361.18/362.29	c INPROCESSING
361.18/362.29	c GARBAGE COLLECT
361.18/362.29	c #Conflicts:      26000 | #Constraints:       8258
361.18/362.29	c #Conflicts:      27000 | #Constraints:       9258
361.18/362.29	c #Conflicts:      28000 | #Constraints:      10258
361.18/362.29	c #Conflicts:      29000 | #Constraints:      11258
361.18/362.29	c INPROCESSING
361.18/362.29	c GARBAGE COLLECT
361.18/362.29	c #Conflicts:      30000 | #Constraints:       8651
361.18/362.29	c #Conflicts:      31000 | #Constraints:       9651
361.18/362.29	c #Conflicts:      32000 | #Constraints:      10651
361.18/362.29	c #Conflicts:      33000 | #Constraints:      11651
361.18/362.29	c INPROCESSING
361.18/362.29	c GARBAGE COLLECT
361.18/362.29	c #Conflicts:      34000 | #Constraints:       8857
361.18/362.29	c #Conflicts:      35000 | #Constraints:       9857
361.18/362.29	c #Conflicts:      36000 | #Constraints:      10857
361.18/362.29	c #Conflicts:      37000 | #Constraints:      11857
361.18/362.29	c INPROCESSING
361.18/362.29	c GARBAGE COLLECT
361.18/362.29	c #Conflicts:      38000 | #Constraints:       8864
361.18/362.29	c #Conflicts:      39000 | #Constraints:       9864
361.18/362.29	c #Conflicts:      40000 | #Constraints:      10864
361.18/362.29	c #Conflicts:      41000 | #Constraints:      11864
361.18/362.29	c INPROCESSING
361.18/362.29	c GARBAGE COLLECT
361.18/362.29	c #Conflicts:      42000 | #Constraints:       8665
361.18/362.29	c #Conflicts:      43000 | #Constraints:       9665
361.18/362.29	c #Conflicts:      44000 | #Constraints:      10665
361.18/362.29	c #Conflicts:      45000 | #Constraints:      11665
361.18/362.29	c #Conflicts:      46000 | #Constraints:      12665
361.18/362.29	c INPROCESSING
361.18/362.29	c GARBAGE COLLECT
361.18/362.29	c #Conflicts:      47000 | #Constraints:       9258
361.18/362.29	c #Conflicts:      48000 | #Constraints:      10258
361.18/362.29	c #Conflicts:      49000 | #Constraints:      11258
361.18/362.29	c #Conflicts:      50000 | #Constraints:      12258
361.18/362.29	c #Conflicts:      51000 | #Constraints:      13258
361.18/362.29	c INPROCESSING
361.18/362.29	c GARBAGE COLLECT
361.18/362.29	c #Conflicts:      52000 | #Constraints:       9659
361.18/362.29	c #Conflicts:      53000 | #Constraints:      10659
361.18/362.29	c #Conflicts:      54000 | #Constraints:      11659
361.18/362.29	c #Conflicts:      55000 | #Constraints:      12659
361.18/362.29	c #Conflicts:      56000 | #Constraints:      13659
361.18/362.29	c INPROCESSING
361.18/362.29	c GARBAGE COLLECT
361.18/362.29	c #Conflicts:      57000 | #Constraints:       9856
361.18/362.29	c #Conflicts:      58000 | #Constraints:      10856
361.18/362.29	c #Conflicts:      59000 | #Constraints:      11856
361.18/362.29	c #Conflicts:      60000 | #Constraints:      12856
361.18/362.29	c #Conflicts:      61000 | #Constraints:      13856
361.18/362.29	c INPROCESSING
361.18/362.29	c GARBAGE COLLECT
361.18/362.29	c #Conflicts:      62000 | #Constraints:       9857
361.18/362.29	c #Conflicts:      63000 | #Constraints:      10857
361.18/362.29	c #Conflicts:      64000 | #Constraints:      11857
361.18/362.29	c #Conflicts:      65000 | #Constraints:      12857
361.18/362.29	c #Conflicts:      66000 | #Constraints:      13857
361.18/362.29	c INPROCESSING
361.18/362.29	c GARBAGE COLLECT
361.18/362.29	c #Conflicts:      67000 | #Constraints:       9658
464.27/465.66	c #Conflicts:      68000 | #Constraints:      10658
464.27/465.66	c #Conflicts:      69000 | #Constraints:      11658
464.27/465.66	c #Conflicts:      70000 | #Constraints:      12658
464.27/465.66	c #Conflicts:      71000 | #Constraints:      13658
464.27/465.66	c #Conflicts:      72000 | #Constraints:      14658
464.27/465.66	c INPROCESSING
464.27/465.66	c GARBAGE COLLECT
464.27/465.66	c #Conflicts:      73000 | #Constraints:      10253
464.27/465.66	c #Conflicts:      74000 | #Constraints:      11253
464.27/465.66	c #Conflicts:      75000 | #Constraints:      12253
464.27/465.66	c #Conflicts:      76000 | #Constraints:      13253
464.27/465.66	c #Conflicts:      77000 | #Constraints:      14253
464.27/465.66	c #Conflicts:      78000 | #Constraints:      15253
464.27/465.66	c INPROCESSING
464.27/465.66	c GARBAGE COLLECT
464.27/465.66	c #Conflicts:      79000 | #Constraints:      10657
464.27/465.66	c #Conflicts:      80000 | #Constraints:      11657
464.27/465.66	c #Conflicts:      81000 | #Constraints:      12657
464.27/465.66	c #Conflicts:      82000 | #Constraints:      13657
464.27/465.66	c #Conflicts:      83000 | #Constraints:      14657
464.27/465.66	c #Conflicts:      84000 | #Constraints:      15657
464.27/465.66	c INPROCESSING
464.27/465.66	c GARBAGE COLLECT
464.27/465.66	c #Conflicts:      85000 | #Constraints:      10869
464.27/465.66	c #Conflicts:      86000 | #Constraints:      11869
464.27/465.66	c #Conflicts:      87000 | #Constraints:      12869
464.27/465.66	c #Conflicts:      88000 | #Constraints:      13869
464.27/465.66	c #Conflicts:      89000 | #Constraints:      14869
464.27/465.66	c #Conflicts:      90000 | #Constraints:      15869
464.27/465.66	c INPROCESSING
464.27/465.66	c GARBAGE COLLECT
464.27/465.66	c #Conflicts:      91000 | #Constraints:      10869
464.27/465.66	c #Conflicts:      92000 | #Constraints:      11869
464.27/465.66	c #Conflicts:      93000 | #Constraints:      12869
464.27/465.66	c #Conflicts:      94000 | #Constraints:      13869
464.27/465.66	c #Conflicts:      95000 | #Constraints:      14869
464.27/465.66	c #Conflicts:      96000 | #Constraints:      15869
464.27/465.66	c INPROCESSING
464.27/465.66	c GARBAGE COLLECT
464.27/465.66	c #Conflicts:      97000 | #Constraints:      10678
464.27/465.66	c #Conflicts:      98000 | #Constraints:      11678
464.27/465.66	c #Conflicts:      99000 | #Constraints:      12678
464.27/465.66	c #Conflicts:     100000 | #Constraints:      13678
464.27/465.66	c #Conflicts:     101000 | #Constraints:      14678
464.27/465.66	c #Conflicts:     102000 | #Constraints:      15678
464.27/465.66	c #Conflicts:     103000 | #Constraints:      16678
464.27/465.66	c INPROCESSING
464.27/465.66	c GARBAGE COLLECT
464.27/465.66	c #Conflicts:     104000 | #Constraints:      11277
464.27/465.66	c #Conflicts:     105000 | #Constraints:      12277
464.27/465.66	c #Conflicts:     106000 | #Constraints:      13277
464.27/465.66	c #Conflicts:     107000 | #Constraints:      14277
464.27/465.66	c #Conflicts:     108000 | #Constraints:      15277
464.27/465.66	c #Conflicts:     109000 | #Constraints:      16277
464.27/465.66	c #Conflicts:     110000 | #Constraints:      17277
464.27/465.66	c INPROCESSING
464.27/465.66	c GARBAGE COLLECT
464.27/465.66	c #Conflicts:     111000 | #Constraints:      11672
464.27/465.66	c #Conflicts:     112000 | #Constraints:      12672
464.27/465.66	c #Conflicts:     113000 | #Constraints:      13672
464.27/465.66	c #Conflicts:     114000 | #Constraints:      14672
464.27/465.66	c #Conflicts:     115000 | #Constraints:      15672
464.27/465.66	c #Conflicts:     116000 | #Constraints:      16672
464.27/465.66	c #Conflicts:     117000 | #Constraints:      17672
464.27/465.66	c INPROCESSING
464.27/465.66	c GARBAGE COLLECT
464.27/465.66	c #Conflicts:     118000 | #Constraints:      11866
464.27/465.66	c #Conflicts:     119000 | #Constraints:      12866
464.27/465.66	c #Conflicts:     120000 | #Constraints:      13866
464.27/465.66	c #Conflicts:     121000 | #Constraints:      14866
464.27/465.66	c #Conflicts:     122000 | #Constraints:      15866
464.27/465.66	c #Conflicts:     123000 | #Constraints:      16866
464.27/465.66	c #Conflicts:     124000 | #Constraints:      17866
464.27/465.66	c INPROCESSING
464.27/465.66	c GARBAGE COLLECT
464.27/465.66	c #Conflicts:     125000 | #Constraints:      11863
464.27/465.66	c #Conflicts:     126000 | #Constraints:      12863
464.27/465.66	c #Conflicts:     127000 | #Constraints:      13863
464.27/465.66	c #Conflicts:     128000 | #Constraints:      14863
464.27/465.66	c #Conflicts:     129000 | #Constraints:      15863
464.27/465.66	c #Conflicts:     130000 | #Constraints:      16863
464.27/465.66	c #Conflicts:     131000 | #Constraints:      17863
464.27/465.66	c INPROCESSING
464.27/465.66	c GARBAGE COLLECT
464.27/465.66	c #Conflicts:     132000 | #Constraints:      11659
464.27/465.66	c #Conflicts:     133000 | #Constraints:      12659
464.27/465.66	c #Conflicts:     134000 | #Constraints:      13659
464.27/465.66	c #Conflicts:     135000 | #Constraints:      14659
464.27/465.66	c #Conflicts:     136000 | #Constraints:      15659
464.27/465.66	c #Conflicts:     137000 | #Constraints:      16659
464.27/465.66	c #Conflicts:     138000 | #Constraints:      17659
464.27/465.66	c #Conflicts:     139000 | #Constraints:      18659
647.28/649.22	c INPROCESSING
647.28/649.22	c GARBAGE COLLECT
647.28/649.22	c #Conflicts:     140000 | #Constraints:      12259
647.28/649.22	c #Conflicts:     141000 | #Constraints:      13259
647.28/649.22	c #Conflicts:     142000 | #Constraints:      14259
647.28/649.22	c #Conflicts:     143000 | #Constraints:      15259
647.28/649.22	c #Conflicts:     144000 | #Constraints:      16259
647.28/649.22	c #Conflicts:     145000 | #Constraints:      17259
647.28/649.22	c #Conflicts:     146000 | #Constraints:      18259
647.28/649.22	c #Conflicts:     147000 | #Constraints:      19259
647.28/649.22	c INPROCESSING
647.28/649.22	c GARBAGE COLLECT
647.28/649.22	c #Conflicts:     148000 | #Constraints:      12661
647.28/649.22	c #Conflicts:     149000 | #Constraints:      13661
647.28/649.22	c #Conflicts:     150000 | #Constraints:      14661
647.28/649.22	c #Conflicts:     151000 | #Constraints:      15661
647.28/649.22	c #Conflicts:     152000 | #Constraints:      16661
647.28/649.22	c #Conflicts:     153000 | #Constraints:      17661
647.28/649.22	c #Conflicts:     154000 | #Constraints:      18661
647.28/649.22	c #Conflicts:     155000 | #Constraints:      19661
647.28/649.22	c INPROCESSING
647.28/649.22	c GARBAGE COLLECT
647.28/649.22	c #Conflicts:     156000 | #Constraints:      12856
647.28/649.22	c #Conflicts:     157000 | #Constraints:      13856
647.28/649.22	c #Conflicts:     158000 | #Constraints:      14856
647.28/649.22	c #Conflicts:     159000 | #Constraints:      15856
647.28/649.22	c #Conflicts:     160000 | #Constraints:      16856
647.28/649.22	c #Conflicts:     161000 | #Constraints:      17856
647.28/649.22	c #Conflicts:     162000 | #Constraints:      18856
647.28/649.22	c #Conflicts:     163000 | #Constraints:      19856
647.28/649.22	c INPROCESSING
647.28/649.22	c GARBAGE COLLECT
647.28/649.22	c #Conflicts:     164000 | #Constraints:      12856
647.28/649.22	c #Conflicts:     165000 | #Constraints:      13856
647.28/649.22	c #Conflicts:     166000 | #Constraints:      14856
647.28/649.22	c #Conflicts:     167000 | #Constraints:      15856
647.28/649.22	c #Conflicts:     168000 | #Constraints:      16856
647.28/649.22	c #Conflicts:     169000 | #Constraints:      17856
647.28/649.22	c #Conflicts:     170000 | #Constraints:      18856
647.28/649.22	c #Conflicts:     171000 | #Constraints:      19856
647.28/649.22	c INPROCESSING
647.28/649.22	c GARBAGE COLLECT
647.28/649.22	c #Conflicts:     172000 | #Constraints:      12644
647.28/649.22	c #Conflicts:     173000 | #Constraints:      13644
647.28/649.22	c #Conflicts:     174000 | #Constraints:      14644
647.28/649.22	c #Conflicts:     175000 | #Constraints:      15644
647.28/649.22	c #Conflicts:     176000 | #Constraints:      16644
647.28/649.22	c #Conflicts:     177000 | #Constraints:      17644
647.28/649.22	c #Conflicts:     178000 | #Constraints:      18644
647.28/649.22	c #Conflicts:     179000 | #Constraints:      19644
647.28/649.22	c #Conflicts:     180000 | #Constraints:      20644
647.28/649.22	c INPROCESSING
647.28/649.22	c GARBAGE COLLECT
647.28/649.22	c #Conflicts:     181000 | #Constraints:      13245
647.28/649.22	c #Conflicts:     182000 | #Constraints:      14245
647.28/649.22	c #Conflicts:     183000 | #Constraints:      15245
647.28/649.22	c #Conflicts:     184000 | #Constraints:      16245
647.28/649.22	c #Conflicts:     185000 | #Constraints:      17245
647.28/649.22	c #Conflicts:     186000 | #Constraints:      18245
647.28/649.22	c #Conflicts:     187000 | #Constraints:      19245
647.28/649.22	c #Conflicts:     188000 | #Constraints:      20245
647.28/649.22	c #Conflicts:     189000 | #Constraints:      21245
647.28/649.22	c INPROCESSING
647.28/649.22	c GARBAGE COLLECT
647.28/649.22	c #Conflicts:     190000 | #Constraints:      13654
647.28/649.22	c #Conflicts:     191000 | #Constraints:      14654
647.28/649.22	c #Conflicts:     192000 | #Constraints:      15654
647.28/649.22	c #Conflicts:     193000 | #Constraints:      16654
647.28/649.22	c #Conflicts:     194000 | #Constraints:      17654
647.28/649.22	c #Conflicts:     195000 | #Constraints:      18654
647.28/649.22	c #Conflicts:     196000 | #Constraints:      19654
647.28/649.22	c #Conflicts:     197000 | #Constraints:      20654
647.28/649.22	c #Conflicts:     198000 | #Constraints:      21654
647.28/649.22	c INPROCESSING
647.28/649.22	c GARBAGE COLLECT
647.28/649.22	c #Conflicts:     199000 | #Constraints:      13851
647.28/649.22	c #Conflicts:     200000 | #Constraints:      14851
647.28/649.22	c #Conflicts:     201000 | #Constraints:      15851
647.28/649.22	c #Conflicts:     202000 | #Constraints:      16851
647.28/649.22	c #Conflicts:     203000 | #Constraints:      17851
647.28/649.22	c #Conflicts:     204000 | #Constraints:      18851
647.28/649.22	c #Conflicts:     205000 | #Constraints:      19851
647.28/649.22	c #Conflicts:     206000 | #Constraints:      20851
647.28/649.22	c #Conflicts:     207000 | #Constraints:      21851
647.28/649.22	c INPROCESSING
647.28/649.22	c GARBAGE COLLECT
647.28/649.22	c #Conflicts:     208000 | #Constraints:      13847
647.28/649.22	c #Conflicts:     209000 | #Constraints:      14847
647.28/649.22	c #Conflicts:     210000 | #Constraints:      15847
647.28/649.22	c #Conflicts:     211000 | #Constraints:      16847
647.28/649.22	c #Conflicts:     212000 | #Constraints:      17847
839.96/842.40	c #Conflicts:     213000 | #Constraints:      18847
839.96/842.40	c #Conflicts:     214000 | #Constraints:      19847
839.96/842.40	c #Conflicts:     215000 | #Constraints:      20847
839.96/842.40	c #Conflicts:     216000 | #Constraints:      21847
839.96/842.40	c INPROCESSING
839.96/842.40	c GARBAGE COLLECT
839.96/842.40	c #Conflicts:     217000 | #Constraints:      13653
839.96/842.40	c #Conflicts:     218000 | #Constraints:      14653
839.96/842.40	c #Conflicts:     219000 | #Constraints:      15653
839.96/842.40	c #Conflicts:     220000 | #Constraints:      16653
839.96/842.40	c #Conflicts:     221000 | #Constraints:      17653
839.96/842.40	c #Conflicts:     222000 | #Constraints:      18653
839.96/842.40	c #Conflicts:     223000 | #Constraints:      19653
839.96/842.40	c #Conflicts:     224000 | #Constraints:      20653
839.96/842.40	c #Conflicts:     225000 | #Constraints:      21653
839.96/842.40	c #Conflicts:     226000 | #Constraints:      22653
839.96/842.40	c INPROCESSING
839.96/842.40	c GARBAGE COLLECT
839.96/842.40	c #Conflicts:     227000 | #Constraints:      14252
839.96/842.40	c #Conflicts:     228000 | #Constraints:      15252
839.96/842.40	c #Conflicts:     229000 | #Constraints:      16252
839.96/842.40	c #Conflicts:     230000 | #Constraints:      17252
839.96/842.40	c #Conflicts:     231000 | #Constraints:      18252
839.96/842.40	c #Conflicts:     232000 | #Constraints:      19252
839.96/842.40	c #Conflicts:     233000 | #Constraints:      20252
839.96/842.40	c #Conflicts:     234000 | #Constraints:      21252
839.96/842.40	c #Conflicts:     235000 | #Constraints:      22252
839.96/842.40	c #Conflicts:     236000 | #Constraints:      23252
839.96/842.40	c INPROCESSING
839.96/842.40	c GARBAGE COLLECT
839.96/842.40	c #Conflicts:     237000 | #Constraints:      14646
839.96/842.40	c #Conflicts:     238000 | #Constraints:      15646
839.96/842.40	c #Conflicts:     239000 | #Constraints:      16646
839.96/842.40	c #Conflicts:     240000 | #Constraints:      17646
839.96/842.40	c #Conflicts:     241000 | #Constraints:      18646
839.96/842.40	c #Conflicts:     242000 | #Constraints:      19646
839.96/842.40	c #Conflicts:     243000 | #Constraints:      20646
839.96/842.40	c #Conflicts:     244000 | #Constraints:      21646
839.96/842.40	c #Conflicts:     245000 | #Constraints:      22646
839.96/842.40	c #Conflicts:     246000 | #Constraints:      23646
839.96/842.40	c INPROCESSING
839.96/842.40	c GARBAGE COLLECT
839.96/842.40	c #Conflicts:     247000 | #Constraints:      14848
839.96/842.40	c #Conflicts:     248000 | #Constraints:      15848
839.96/842.40	c #Conflicts:     249000 | #Constraints:      16848
839.96/842.40	c #Conflicts:     250000 | #Constraints:      17848
839.96/842.40	c #Conflicts:     251000 | #Constraints:      18848
839.96/842.40	c #Conflicts:     252000 | #Constraints:      19848
839.96/842.40	c #Conflicts:     253000 | #Constraints:      20848
839.96/842.40	c #Conflicts:     254000 | #Constraints:      21848
839.96/842.40	c #Conflicts:     255000 | #Constraints:      22848
839.96/842.40	c #Conflicts:     256000 | #Constraints:      23848
839.96/842.40	c INPROCESSING
839.96/842.40	c GARBAGE COLLECT
839.96/842.40	c #Conflicts:     257000 | #Constraints:      14858
839.96/842.40	c #Conflicts:     258000 | #Constraints:      15858
839.96/842.40	c #Conflicts:     259000 | #Constraints:      16858
839.96/842.40	c #Conflicts:     260000 | #Constraints:      17858
839.96/842.40	c #Conflicts:     261000 | #Constraints:      18858
839.96/842.40	c #Conflicts:     262000 | #Constraints:      19858
839.96/842.40	c #Conflicts:     263000 | #Constraints:      20858
839.96/842.40	c #Conflicts:     264000 | #Constraints:      21858
839.96/842.40	c #Conflicts:     265000 | #Constraints:      22858
839.96/842.40	c #Conflicts:     266000 | #Constraints:      23858
839.96/842.40	c INPROCESSING
839.96/842.40	c GARBAGE COLLECT
839.96/842.40	c #Conflicts:     267000 | #Constraints:      14654
839.96/842.40	c #Conflicts:     268000 | #Constraints:      15654
839.96/842.40	c #Conflicts:     269000 | #Constraints:      16654
839.96/842.40	c #Conflicts:     270000 | #Constraints:      17654
839.96/842.40	c #Conflicts:     271000 | #Constraints:      18654
839.96/842.40	c #Conflicts:     272000 | #Constraints:      19654
839.96/842.40	c #Conflicts:     273000 | #Constraints:      20654
839.96/842.40	c #Conflicts:     274000 | #Constraints:      21654
839.96/842.40	c #Conflicts:     275000 | #Constraints:      22654
839.96/842.40	c #Conflicts:     276000 | #Constraints:      23654
839.96/842.40	c #Conflicts:     277000 | #Constraints:      24654
839.96/842.40	c INPROCESSING
839.96/842.40	c GARBAGE COLLECT
839.96/842.40	c #Conflicts:     278000 | #Constraints:      15254
839.96/842.40	c #Conflicts:     279000 | #Constraints:      16254
839.96/842.40	c #Conflicts:     280000 | #Constraints:      17254
839.96/842.40	c #Conflicts:     281000 | #Constraints:      18254
839.96/842.40	c #Conflicts:     282000 | #Constraints:      19254
839.96/842.40	c #Conflicts:     283000 | #Constraints:      20254
839.96/842.40	c #Conflicts:     284000 | #Constraints:      21254
839.96/842.40	c #Conflicts:     285000 | #Constraints:      22254
839.96/842.40	c #Conflicts:     286000 | #Constraints:      23254
839.96/842.40	c #Conflicts:     287000 | #Constraints:      24254
1040.61/1043.61	c #Conflicts:     288000 | #Constraints:      25254
1040.61/1043.61	c INPROCESSING
1040.61/1043.61	c GARBAGE COLLECT
1040.61/1043.61	c #Conflicts:     289000 | #Constraints:      15655
1040.61/1043.61	c #Conflicts:     290000 | #Constraints:      16655
1040.61/1043.61	c #Conflicts:     291000 | #Constraints:      17655
1040.61/1043.61	c #Conflicts:     292000 | #Constraints:      18655
1040.61/1043.61	c #Conflicts:     293000 | #Constraints:      19655
1040.61/1043.61	c #Conflicts:     294000 | #Constraints:      20655
1040.61/1043.61	c #Conflicts:     295000 | #Constraints:      21655
1040.61/1043.61	c #Conflicts:     296000 | #Constraints:      22655
1040.61/1043.61	c #Conflicts:     297000 | #Constraints:      23655
1040.61/1043.61	c #Conflicts:     298000 | #Constraints:      24655
1040.61/1043.61	c #Conflicts:     299000 | #Constraints:      25655
1040.61/1043.61	c INPROCESSING
1040.61/1043.61	c GARBAGE COLLECT
1040.61/1043.61	c #Conflicts:     300000 | #Constraints:      15850
1040.61/1043.61	c #Conflicts:     301000 | #Constraints:      16850
1040.61/1043.61	c #Conflicts:     302000 | #Constraints:      17850
1040.61/1043.61	c #Conflicts:     303000 | #Constraints:      18850
1040.61/1043.61	c #Conflicts:     304000 | #Constraints:      19850
1040.61/1043.61	c #Conflicts:     305000 | #Constraints:      20850
1040.61/1043.61	c #Conflicts:     306000 | #Constraints:      21850
1040.61/1043.61	c #Conflicts:     307000 | #Constraints:      22850
1040.61/1043.61	c #Conflicts:     308000 | #Constraints:      23850
1040.61/1043.61	c #Conflicts:     309000 | #Constraints:      24850
1040.61/1043.61	c #Conflicts:     310000 | #Constraints:      25850
1040.61/1043.61	c INPROCESSING
1040.61/1043.61	c GARBAGE COLLECT
1040.61/1043.61	c #Conflicts:     311000 | #Constraints:      15848
1040.61/1043.61	c #Conflicts:     312000 | #Constraints:      16848
1040.61/1043.61	c #Conflicts:     313000 | #Constraints:      17848
1040.61/1043.61	c #Conflicts:     314000 | #Constraints:      18848
1040.61/1043.61	c #Conflicts:     315000 | #Constraints:      19848
1040.61/1043.61	c #Conflicts:     316000 | #Constraints:      20848
1040.61/1043.61	c #Conflicts:     317000 | #Constraints:      21848
1040.61/1043.61	c #Conflicts:     318000 | #Constraints:      22848
1040.61/1043.61	c #Conflicts:     319000 | #Constraints:      23848
1040.61/1043.61	c #Conflicts:     320000 | #Constraints:      24848
1040.61/1043.61	c #Conflicts:     321000 | #Constraints:      25848
1040.61/1043.61	c INPROCESSING
1040.61/1043.61	c GARBAGE COLLECT
1040.61/1043.61	c #Conflicts:     322000 | #Constraints:      15646
1040.61/1043.61	c #Conflicts:     323000 | #Constraints:      16646
1040.61/1043.61	c #Conflicts:     324000 | #Constraints:      17646
1040.61/1043.61	c #Conflicts:     325000 | #Constraints:      18646
1040.61/1043.61	c #Conflicts:     326000 | #Constraints:      19646
1040.61/1043.61	c #Conflicts:     327000 | #Constraints:      20646
1040.61/1043.61	c #Conflicts:     328000 | #Constraints:      21646
1040.61/1043.61	c #Conflicts:     329000 | #Constraints:      22646
1040.61/1043.61	c #Conflicts:     330000 | #Constraints:      23646
1040.61/1043.61	c #Conflicts:     331000 | #Constraints:      24646
1040.61/1043.61	c #Conflicts:     332000 | #Constraints:      25646
1040.61/1043.61	c #Conflicts:     333000 | #Constraints:      26646
1040.61/1043.61	c INPROCESSING
1040.61/1043.61	c GARBAGE COLLECT
1040.61/1043.61	c #Conflicts:     334000 | #Constraints:      16251
1040.61/1043.61	c #Conflicts:     335000 | #Constraints:      17251
1040.61/1043.61	c #Conflicts:     336000 | #Constraints:      18251
1040.61/1043.61	c #Conflicts:     337000 | #Constraints:      19251
1040.61/1043.61	c #Conflicts:     338000 | #Constraints:      20251
1040.61/1043.61	c #Conflicts:     339000 | #Constraints:      21251
1040.61/1043.61	c #Conflicts:     340000 | #Constraints:      22251
1040.61/1043.61	c #Conflicts:     341000 | #Constraints:      23251
1040.61/1043.61	c #Conflicts:     342000 | #Constraints:      24251
1040.61/1043.61	c #Conflicts:     343000 | #Constraints:      25251
1040.61/1043.61	c #Conflicts:     344000 | #Constraints:      26251
1040.61/1043.61	c #Conflicts:     345000 | #Constraints:      27251
1040.61/1043.61	c INPROCESSING
1040.61/1043.61	c GARBAGE COLLECT
1040.61/1043.61	c #Conflicts:     346000 | #Constraints:      16652
1040.61/1043.61	c #Conflicts:     347000 | #Constraints:      17652
1040.61/1043.61	c #Conflicts:     348000 | #Constraints:      18652
1040.61/1043.61	c #Conflicts:     349000 | #Constraints:      19652
1040.61/1043.61	c #Conflicts:     350000 | #Constraints:      20652
1040.61/1043.61	c #Conflicts:     351000 | #Constraints:      21652
1040.61/1043.61	c #Conflicts:     352000 | #Constraints:      22652
1040.61/1043.61	c #Conflicts:     353000 | #Constraints:      23652
1040.61/1043.61	c #Conflicts:     354000 | #Constraints:      24652
1040.61/1043.61	c #Conflicts:     355000 | #Constraints:      25652
1040.61/1043.61	c #Conflicts:     356000 | #Constraints:      26652
1040.61/1043.61	c #Conflicts:     357000 | #Constraints:      27652
1040.61/1043.61	c INPROCESSING
1040.61/1043.61	c GARBAGE COLLECT
1040.61/1043.61	c #Conflicts:     358000 | #Constraints:      16851
1040.61/1043.61	c #Conflicts:     359000 | #Constraints:      17851
1040.61/1043.61	c #Conflicts:     360000 | #Constraints:      18851
1040.61/1043.61	c #Conflicts:     361000 | #Constraints:      19851
1225.48/1229.05	c #Conflicts:     362000 | #Constraints:      20851
1225.48/1229.05	c #Conflicts:     363000 | #Constraints:      21851
1225.48/1229.05	c #Conflicts:     364000 | #Constraints:      22851
1225.48/1229.05	c #Conflicts:     365000 | #Constraints:      23851
1225.48/1229.05	c #Conflicts:     366000 | #Constraints:      24851
1225.48/1229.05	c #Conflicts:     367000 | #Constraints:      25851
1225.48/1229.05	c #Conflicts:     368000 | #Constraints:      26851
1225.48/1229.05	c #Conflicts:     369000 | #Constraints:      27851
1225.48/1229.05	c INPROCESSING
1225.48/1229.05	c GARBAGE COLLECT
1225.48/1229.05	c #Conflicts:     370000 | #Constraints:      16846
1225.48/1229.05	c #Conflicts:     371000 | #Constraints:      17846
1225.48/1229.05	c #Conflicts:     372000 | #Constraints:      18846
1225.48/1229.05	c #Conflicts:     373000 | #Constraints:      19846
1225.48/1229.05	c #Conflicts:     374000 | #Constraints:      20846
1225.48/1229.05	c #Conflicts:     375000 | #Constraints:      21846
1225.48/1229.05	c #Conflicts:     376000 | #Constraints:      22846
1225.48/1229.05	c #Conflicts:     377000 | #Constraints:      23846
1225.48/1229.05	c #Conflicts:     378000 | #Constraints:      24846
1225.48/1229.05	c #Conflicts:     379000 | #Constraints:      25846
1225.48/1229.05	c #Conflicts:     380000 | #Constraints:      26846
1225.48/1229.05	c #Conflicts:     381000 | #Constraints:      27846
1225.48/1229.05	c INPROCESSING
1225.48/1229.05	c GARBAGE COLLECT
1225.48/1229.05	c #Conflicts:     382000 | #Constraints:      16645
1225.48/1229.05	c #Conflicts:     383000 | #Constraints:      17645
1225.48/1229.05	c #Conflicts:     384000 | #Constraints:      18645
1225.48/1229.05	c #Conflicts:     385000 | #Constraints:      19645
1225.48/1229.05	c #Conflicts:     386000 | #Constraints:      20645
1225.48/1229.05	c #Conflicts:     387000 | #Constraints:      21645
1225.48/1229.05	c #Conflicts:     388000 | #Constraints:      22645
1225.48/1229.05	c #Conflicts:     389000 | #Constraints:      23645
1225.48/1229.05	c #Conflicts:     390000 | #Constraints:      24645
1225.48/1229.05	c #Conflicts:     391000 | #Constraints:      25645
1225.48/1229.05	c #Conflicts:     392000 | #Constraints:      26645
1225.48/1229.05	c #Conflicts:     393000 | #Constraints:      27645
1225.48/1229.05	c #Conflicts:     394000 | #Constraints:      28645
1225.48/1229.05	c INPROCESSING
1225.48/1229.05	c GARBAGE COLLECT
1225.48/1229.05	c #Conflicts:     395000 | #Constraints:      17257
1225.48/1229.05	c #Conflicts:     396000 | #Constraints:      18257
1225.48/1229.05	c #Conflicts:     397000 | #Constraints:      19257
1225.48/1229.05	c #Conflicts:     398000 | #Constraints:      20257
1225.48/1229.05	c #Conflicts:     399000 | #Constraints:      21257
1225.48/1229.05	c #Conflicts:     400000 | #Constraints:      22257
1225.48/1229.05	c #Conflicts:     401000 | #Constraints:      23257
1225.48/1229.05	c #Conflicts:     402000 | #Constraints:      24257
1225.48/1229.05	c #Conflicts:     403000 | #Constraints:      25257
1225.48/1229.05	c #Conflicts:     404000 | #Constraints:      26257
1225.48/1229.05	c #Conflicts:     405000 | #Constraints:      27257
1225.48/1229.05	c #Conflicts:     406000 | #Constraints:      28257
1225.48/1229.05	c #Conflicts:     407000 | #Constraints:      29257
1225.48/1229.05	c INPROCESSING
1225.48/1229.05	c GARBAGE COLLECT
1225.48/1229.05	c #Conflicts:     408000 | #Constraints:      17654
1225.48/1229.05	c #Conflicts:     409000 | #Constraints:      18654
1225.48/1229.05	c #Conflicts:     410000 | #Constraints:      19654
1225.48/1229.05	c #Conflicts:     411000 | #Constraints:      20654
1225.48/1229.05	c #Conflicts:     412000 | #Constraints:      21654
1225.48/1229.05	c #Conflicts:     413000 | #Constraints:      22654
1225.48/1229.05	c #Conflicts:     414000 | #Constraints:      23654
1225.48/1229.05	c #Conflicts:     415000 | #Constraints:      24654
1225.48/1229.05	c #Conflicts:     416000 | #Constraints:      25654
1225.48/1229.05	c #Conflicts:     417000 | #Constraints:      26654
1225.48/1229.06	c #Conflicts:     418000 | #Constraints:      27654
1225.48/1229.06	c #Conflicts:     419000 | #Constraints:      28654
1225.48/1229.06	c #Conflicts:     420000 | #Constraints:      29654
1225.48/1229.06	c INPROCESSING
1225.48/1229.06	c GARBAGE COLLECT
1225.48/1229.06	c #Conflicts:     421000 | #Constraints:      17859
1225.48/1229.06	c #Conflicts:     422000 | #Constraints:      18859
1225.48/1229.06	c #Conflicts:     423000 | #Constraints:      19859
1225.48/1229.06	c #Conflicts:     424000 | #Constraints:      20859
1225.48/1229.06	c #Conflicts:     425000 | #Constraints:      21859
1225.48/1229.06	c #Conflicts:     426000 | #Constraints:      22859
1225.48/1229.06	c #Conflicts:     427000 | #Constraints:      23859
1225.48/1229.06	c #Conflicts:     428000 | #Constraints:      24859
1225.48/1229.06	c #Conflicts:     429000 | #Constraints:      25859
1225.48/1229.06	c #Conflicts:     430000 | #Constraints:      26859
1225.48/1229.06	c #Conflicts:     431000 | #Constraints:      27859
1225.48/1229.06	c #Conflicts:     432000 | #Constraints:      28859
1225.48/1229.06	c #Conflicts:     433000 | #Constraints:      29859
1225.48/1229.06	c INPROCESSING
1225.48/1229.06	c GARBAGE COLLECT
1225.48/1229.06	c #Conflicts:     434000 | #Constraints:      17868
1225.48/1229.06	c #Conflicts:     435000 | #Constraints:      18868
1225.48/1229.06	c #Conflicts:     436000 | #Constraints:      19868
1432.18/1436.48	c #Conflicts:     437000 | #Constraints:      20868
1432.18/1436.48	c #Conflicts:     438000 | #Constraints:      21868
1432.18/1436.48	c #Conflicts:     439000 | #Constraints:      22868
1432.18/1436.48	c #Conflicts:     440000 | #Constraints:      23868
1432.18/1436.48	c #Conflicts:     441000 | #Constraints:      24868
1432.18/1436.48	c #Conflicts:     442000 | #Constraints:      25868
1432.18/1436.48	c #Conflicts:     443000 | #Constraints:      26868
1432.18/1436.48	c #Conflicts:     444000 | #Constraints:      27868
1432.18/1436.48	c #Conflicts:     445000 | #Constraints:      28868
1432.18/1436.48	c #Conflicts:     446000 | #Constraints:      29868
1432.18/1436.48	c INPROCESSING
1432.18/1436.48	c GARBAGE COLLECT
1432.18/1436.48	c #Conflicts:     447000 | #Constraints:      17675
1432.18/1436.48	c #Conflicts:     448000 | #Constraints:      18675
1432.18/1436.48	c #Conflicts:     449000 | #Constraints:      19675
1432.18/1436.48	c #Conflicts:     450000 | #Constraints:      20675
1432.18/1436.48	c #Conflicts:     451000 | #Constraints:      21675
1432.18/1436.48	c #Conflicts:     452000 | #Constraints:      22675
1432.18/1436.48	c #Conflicts:     453000 | #Constraints:      23675
1432.18/1436.48	c #Conflicts:     454000 | #Constraints:      24675
1432.18/1436.48	c #Conflicts:     455000 | #Constraints:      25675
1432.18/1436.48	c #Conflicts:     456000 | #Constraints:      26675
1432.18/1436.48	c #Conflicts:     457000 | #Constraints:      27675
1432.18/1436.48	c #Conflicts:     458000 | #Constraints:      28675
1432.18/1436.48	c #Conflicts:     459000 | #Constraints:      29675
1432.18/1436.48	c #Conflicts:     460000 | #Constraints:      30675
1432.18/1436.48	c INPROCESSING
1432.18/1436.48	c GARBAGE COLLECT
1432.18/1436.48	c #Conflicts:     461000 | #Constraints:      18286
1432.18/1436.48	c #Conflicts:     462000 | #Constraints:      19286
1432.18/1436.48	c #Conflicts:     463000 | #Constraints:      20286
1432.18/1436.48	c #Conflicts:     464000 | #Constraints:      21286
1432.18/1436.48	c #Conflicts:     465000 | #Constraints:      22286
1432.18/1436.48	c #Conflicts:     466000 | #Constraints:      23286
1432.18/1436.48	c #Conflicts:     467000 | #Constraints:      24286
1432.18/1436.48	c #Conflicts:     468000 | #Constraints:      25286
1432.18/1436.48	c #Conflicts:     469000 | #Constraints:      26286
1432.18/1436.48	c #Conflicts:     470000 | #Constraints:      27286
1432.18/1436.48	c #Conflicts:     471000 | #Constraints:      28286
1432.18/1436.48	c #Conflicts:     472000 | #Constraints:      29286
1432.18/1436.48	c #Conflicts:     473000 | #Constraints:      30286
1432.18/1436.48	c #Conflicts:     474000 | #Constraints:      31286
1432.18/1436.48	c INPROCESSING
1432.18/1436.48	c GARBAGE COLLECT
1432.18/1436.48	c #Conflicts:     475000 | #Constraints:      18688
1432.18/1436.48	c #Conflicts:     476000 | #Constraints:      19688
1432.18/1436.48	c #Conflicts:     477000 | #Constraints:      20688
1432.18/1436.48	c #Conflicts:     478000 | #Constraints:      21688
1432.18/1436.48	c #Conflicts:     479000 | #Constraints:      22688
1432.18/1436.48	c #Conflicts:     480000 | #Constraints:      23688
1432.18/1436.48	c #Conflicts:     481000 | #Constraints:      24688
1432.18/1436.48	c #Conflicts:     482000 | #Constraints:      25688
1432.18/1436.48	c #Conflicts:     483000 | #Constraints:      26688
1432.18/1436.48	c #Conflicts:     484000 | #Constraints:      27688
1432.18/1436.48	c #Conflicts:     485000 | #Constraints:      28688
1432.18/1436.48	c #Conflicts:     486000 | #Constraints:      29688
1432.18/1436.48	c #Conflicts:     487000 | #Constraints:      30688
1432.18/1436.48	c #Conflicts:     488000 | #Constraints:      31688
1432.18/1436.48	c INPROCESSING
1432.18/1436.48	c GARBAGE COLLECT
1432.18/1436.48	c #Conflicts:     489000 | #Constraints:      18891
1432.18/1436.48	c #Conflicts:     490000 | #Constraints:      19891
1432.18/1436.48	c #Conflicts:     491000 | #Constraints:      20891
1432.18/1436.48	c #Conflicts:     492000 | #Constraints:      21891
1432.18/1436.48	c #Conflicts:     493000 | #Constraints:      22891
1432.18/1436.48	c #Conflicts:     494000 | #Constraints:      23891
1432.18/1436.48	c #Conflicts:     495000 | #Constraints:      24891
1432.18/1436.48	c #Conflicts:     496000 | #Constraints:      25891
1432.18/1436.48	c #Conflicts:     497000 | #Constraints:      26891
1432.18/1436.48	c #Conflicts:     498000 | #Constraints:      27891
1432.18/1436.48	c #Conflicts:     499000 | #Constraints:      28891
1432.18/1436.48	c #Conflicts:     500000 | #Constraints:      29891
1432.18/1436.48	c #Conflicts:     501000 | #Constraints:      30891
1432.18/1436.48	c #Conflicts:     502000 | #Constraints:      31891
1432.18/1436.48	c INPROCESSING
1432.18/1436.48	c GARBAGE COLLECT
1432.18/1436.48	c #Conflicts:     503000 | #Constraints:      18904
1432.18/1436.48	c #Conflicts:     504000 | #Constraints:      19904
1432.18/1436.48	c #Conflicts:     505000 | #Constraints:      20904
1432.18/1436.48	c #Conflicts:     506000 | #Constraints:      21904
1432.18/1436.48	c #Conflicts:     507000 | #Constraints:      22904
1432.18/1436.48	c #Conflicts:     508000 | #Constraints:      23904
1432.18/1436.48	c #Conflicts:     509000 | #Constraints:      24904
1432.18/1436.48	c #Conflicts:     510000 | #Constraints:      25904
1432.18/1436.48	c #Conflicts:     511000 | #Constraints:      26904
1700.73/1705.81	c #Conflicts:     512000 | #Constraints:      27904
1700.73/1705.81	c #Conflicts:     513000 | #Constraints:      28904
1700.73/1705.81	c #Conflicts:     514000 | #Constraints:      29904
1700.73/1705.81	c #Conflicts:     515000 | #Constraints:      30904
1700.73/1705.81	c #Conflicts:     516000 | #Constraints:      31904
1700.73/1705.81	c INPROCESSING
1700.73/1705.81	c GARBAGE COLLECT
1700.73/1705.81	c #Conflicts:     517000 | #Constraints:      18686
1700.73/1705.81	c #Conflicts:     518000 | #Constraints:      19686
1700.73/1705.81	c #Conflicts:     519000 | #Constraints:      20686
1700.73/1705.81	c #Conflicts:     520000 | #Constraints:      21686
1700.73/1705.81	c #Conflicts:     521000 | #Constraints:      22686
1700.73/1705.81	c #Conflicts:     522000 | #Constraints:      23686
1700.73/1705.81	c #Conflicts:     523000 | #Constraints:      24686
1700.73/1705.81	c #Conflicts:     524000 | #Constraints:      25686
1700.73/1705.81	c #Conflicts:     525000 | #Constraints:      26686
1700.73/1705.81	c #Conflicts:     526000 | #Constraints:      27686
1700.73/1705.81	c #Conflicts:     527000 | #Constraints:      28686
1700.73/1705.81	c #Conflicts:     528000 | #Constraints:      29686
1700.73/1705.81	c #Conflicts:     529000 | #Constraints:      30686
1700.73/1705.81	c #Conflicts:     530000 | #Constraints:      31686
1700.73/1705.82	c #Conflicts:     531000 | #Constraints:      32686
1700.73/1705.82	c INPROCESSING
1700.73/1705.82	c GARBAGE COLLECT
1700.73/1705.82	c #Conflicts:     532000 | #Constraints:      19275
1700.73/1705.82	c #Conflicts:     533000 | #Constraints:      20275
1700.73/1705.82	c #Conflicts:     534000 | #Constraints:      21275
1700.73/1705.82	c #Conflicts:     535000 | #Constraints:      22275
1700.73/1705.82	c #Conflicts:     536000 | #Constraints:      23275
1700.73/1705.82	c #Conflicts:     537000 | #Constraints:      24275
1700.73/1705.82	c #Conflicts:     538000 | #Constraints:      25275
1700.73/1705.82	c #Conflicts:     539000 | #Constraints:      26275
1700.73/1705.82	c #Conflicts:     540000 | #Constraints:      27275
1700.73/1705.82	c #Conflicts:     541000 | #Constraints:      28275
1700.73/1705.82	c #Conflicts:     542000 | #Constraints:      29275
1700.73/1705.82	c #Conflicts:     543000 | #Constraints:      30275
1700.73/1705.82	c #Conflicts:     544000 | #Constraints:      31275
1700.73/1705.82	c #Conflicts:     545000 | #Constraints:      32275
1700.73/1705.82	c #Conflicts:     546000 | #Constraints:      33275
1700.73/1705.82	c INPROCESSING
1700.73/1705.82	c GARBAGE COLLECT
1700.73/1705.82	c #Conflicts:     547000 | #Constraints:      19668
1700.73/1705.82	c #Conflicts:     548000 | #Constraints:      20668
1700.73/1705.82	c #Conflicts:     549000 | #Constraints:      21668
1700.73/1705.82	c #Conflicts:     550000 | #Constraints:      22668
1700.73/1705.82	c #Conflicts:     551000 | #Constraints:      23668
1700.73/1705.82	c #Conflicts:     552000 | #Constraints:      24668
1700.73/1705.82	c #Conflicts:     553000 | #Constraints:      25668
1700.73/1705.82	c #Conflicts:     554000 | #Constraints:      26668
1700.73/1705.82	c #Conflicts:     555000 | #Constraints:      27668
1700.73/1705.82	c #Conflicts:     556000 | #Constraints:      28668
1700.73/1705.82	c #Conflicts:     557000 | #Constraints:      29668
1700.73/1705.82	c #Conflicts:     558000 | #Constraints:      30668
1700.73/1705.82	c #Conflicts:     559000 | #Constraints:      31668
1700.73/1705.82	c #Conflicts:     560000 | #Constraints:      32668
1700.73/1705.82	c #Conflicts:     561000 | #Constraints:      33668
1700.73/1705.82	c INPROCESSING
1700.73/1705.82	c GARBAGE COLLECT
1700.73/1705.82	c #Conflicts:     562000 | #Constraints:      19859
1700.73/1705.82	c #Conflicts:     563000 | #Constraints:      20859
1700.73/1705.82	c #Conflicts:     564000 | #Constraints:      21859
1700.73/1705.82	c #Conflicts:     565000 | #Constraints:      22859
1700.73/1705.82	c #Conflicts:     566000 | #Constraints:      23859
1700.73/1705.82	c #Conflicts:     567000 | #Constraints:      24859
1700.73/1705.82	c #Conflicts:     568000 | #Constraints:      25859
1700.73/1705.82	c #Conflicts:     569000 | #Constraints:      26859
1700.73/1705.82	c #Conflicts:     570000 | #Constraints:      27859
1700.73/1705.82	c #Conflicts:     571000 | #Constraints:      28859
1700.73/1705.82	c #Conflicts:     572000 | #Constraints:      29859
1700.73/1705.82	c #Conflicts:     573000 | #Constraints:      30859
1700.73/1705.82	c #Conflicts:     574000 | #Constraints:      31859
1700.73/1705.82	c #Conflicts:     575000 | #Constraints:      32859
1700.73/1705.82	c #Conflicts:     576000 | #Constraints:      33859
1700.73/1705.82	c INPROCESSING
1700.73/1705.82	c GARBAGE COLLECT
1700.73/1705.82	c #Conflicts:     577000 | #Constraints:      19856
1700.73/1705.82	c #Conflicts:     578000 | #Constraints:      20856
1700.73/1705.82	c #Conflicts:     579000 | #Constraints:      21856
1700.73/1705.82	c #Conflicts:     580000 | #Constraints:      22856
1700.73/1705.82	c #Conflicts:     581000 | #Constraints:      23856
1700.73/1705.82	c #Conflicts:     582000 | #Constraints:      24856
1700.73/1705.82	c #Conflicts:     583000 | #Constraints:      25856
1700.73/1705.82	c #Conflicts:     584000 | #Constraints:      26856
1700.73/1705.82	c #Conflicts:     585000 | #Constraints:      27856
1700.73/1705.82	c #Conflicts:     586000 | #Constraints:      28856
1700.73/1705.82	c #Conflicts:     587000 | #Constraints:      29856
2009.47/2015.42	c #Conflicts:     588000 | #Constraints:      30856
2009.47/2015.42	c #Conflicts:     589000 | #Constraints:      31856
2009.47/2015.42	c #Conflicts:     590000 | #Constraints:      32856
2009.47/2015.42	c #Conflicts:     591000 | #Constraints:      33856
2009.47/2015.42	c INPROCESSING
2009.47/2015.42	c GARBAGE COLLECT
2009.47/2015.42	c #Conflicts:     592000 | #Constraints:      19650
2009.47/2015.42	c #Conflicts:     593000 | #Constraints:      20650
2009.47/2015.42	c #Conflicts:     594000 | #Constraints:      21650
2009.47/2015.42	c #Conflicts:     595000 | #Constraints:      22650
2009.47/2015.42	c #Conflicts:     596000 | #Constraints:      23650
2009.47/2015.42	c #Conflicts:     597000 | #Constraints:      24650
2009.47/2015.42	c #Conflicts:     598000 | #Constraints:      25650
2009.47/2015.42	c #Conflicts:     599000 | #Constraints:      26650
2009.47/2015.42	c #Conflicts:     600000 | #Constraints:      27650
2009.47/2015.42	c #Conflicts:     601000 | #Constraints:      28650
2009.47/2015.42	c #Conflicts:     602000 | #Constraints:      29650
2009.47/2015.42	c #Conflicts:     603000 | #Constraints:      30650
2009.47/2015.42	c #Conflicts:     604000 | #Constraints:      31650
2009.47/2015.42	c #Conflicts:     605000 | #Constraints:      32650
2009.47/2015.42	c #Conflicts:     606000 | #Constraints:      33650
2009.47/2015.42	c #Conflicts:     607000 | #Constraints:      34650
2009.47/2015.42	c INPROCESSING
2009.47/2015.42	c GARBAGE COLLECT
2009.47/2015.42	c #Conflicts:     608000 | #Constraints:      20256
2009.47/2015.42	c #Conflicts:     609000 | #Constraints:      21256
2009.47/2015.42	c #Conflicts:     610000 | #Constraints:      22256
2009.47/2015.42	c #Conflicts:     611000 | #Constraints:      23256
2009.47/2015.42	c #Conflicts:     612000 | #Constraints:      24256
2009.47/2015.42	c #Conflicts:     613000 | #Constraints:      25256
2009.47/2015.42	c #Conflicts:     614000 | #Constraints:      26256
2009.47/2015.42	c #Conflicts:     615000 | #Constraints:      27256
2009.47/2015.42	c #Conflicts:     616000 | #Constraints:      28256
2009.47/2015.42	c #Conflicts:     617000 | #Constraints:      29256
2009.47/2015.42	c #Conflicts:     618000 | #Constraints:      30256
2009.47/2015.42	c #Conflicts:     619000 | #Constraints:      31256
2009.47/2015.42	c #Conflicts:     620000 | #Constraints:      32256
2009.47/2015.42	c #Conflicts:     621000 | #Constraints:      33256
2009.47/2015.42	c #Conflicts:     622000 | #Constraints:      34256
2009.47/2015.42	c #Conflicts:     623000 | #Constraints:      35256
2009.47/2015.42	c INPROCESSING
2009.47/2015.42	c GARBAGE COLLECT
2009.47/2015.42	c #Conflicts:     624000 | #Constraints:      20655
2009.47/2015.42	c #Conflicts:     625000 | #Constraints:      21655
2009.47/2015.42	c #Conflicts:     626000 | #Constraints:      22655
2009.47/2015.42	c #Conflicts:     627000 | #Constraints:      23655
2009.47/2015.42	c #Conflicts:     628000 | #Constraints:      24655
2009.47/2015.42	c #Conflicts:     629000 | #Constraints:      25655
2009.47/2015.42	c #Conflicts:     630000 | #Constraints:      26655
2009.47/2015.42	c #Conflicts:     631000 | #Constraints:      27655
2009.47/2015.42	c #Conflicts:     632000 | #Constraints:      28655
2009.47/2015.42	c #Conflicts:     633000 | #Constraints:      29655
2009.47/2015.42	c #Conflicts:     634000 | #Constraints:      30655
2009.47/2015.42	c #Conflicts:     635000 | #Constraints:      31655
2009.47/2015.42	c #Conflicts:     636000 | #Constraints:      32655
2009.47/2015.42	c #Conflicts:     637000 | #Constraints:      33655
2009.47/2015.42	c #Conflicts:     638000 | #Constraints:      34655
2009.47/2015.42	c #Conflicts:     639000 | #Constraints:      35655
2009.47/2015.42	c INPROCESSING
2009.47/2015.42	c GARBAGE COLLECT
2009.47/2015.42	c #Conflicts:     640000 | #Constraints:      20847
2009.47/2015.42	c #Conflicts:     641000 | #Constraints:      21847
2009.47/2015.42	c #Conflicts:     642000 | #Constraints:      22847
2009.47/2015.42	c #Conflicts:     643000 | #Constraints:      23847
2009.47/2015.42	c #Conflicts:     644000 | #Constraints:      24847
2009.47/2015.42	c #Conflicts:     645000 | #Constraints:      25847
2009.47/2015.42	c #Conflicts:     646000 | #Constraints:      26847
2009.47/2015.42	c #Conflicts:     647000 | #Constraints:      27847
2009.47/2015.42	c #Conflicts:     648000 | #Constraints:      28847
2009.47/2015.42	c #Conflicts:     649000 | #Constraints:      29847
2009.47/2015.42	c #Conflicts:     650000 | #Constraints:      30847
2009.47/2015.42	c #Conflicts:     651000 | #Constraints:      31847
2009.47/2015.42	c #Conflicts:     652000 | #Constraints:      32847
2009.47/2015.42	c #Conflicts:     653000 | #Constraints:      33847
2009.47/2015.42	c #Conflicts:     654000 | #Constraints:      34847
2009.47/2015.42	c #Conflicts:     655000 | #Constraints:      35847
2009.47/2015.42	c INPROCESSING
2009.47/2015.42	c GARBAGE COLLECT
2009.47/2015.42	c #Conflicts:     656000 | #Constraints:      20851
2009.47/2015.42	c #Conflicts:     657000 | #Constraints:      21851
2009.47/2015.42	c #Conflicts:     658000 | #Constraints:      22851
2009.47/2015.42	c #Conflicts:     659000 | #Constraints:      23851
2009.47/2015.42	c #Conflicts:     660000 | #Constraints:      24851
2009.47/2015.42	c #Conflicts:     661000 | #Constraints:      25851
2009.47/2015.42	c #Conflicts:     662000 | #Constraints:      26851
2009.47/2015.42	c #Conflicts:     663000 | #Constraints:      27851
2365.18/2372.38	c #Conflicts:     664000 | #Constraints:      28851
2365.18/2372.38	c #Conflicts:     665000 | #Constraints:      29851
2365.18/2372.38	c #Conflicts:     666000 | #Constraints:      30851
2365.18/2372.38	c #Conflicts:     667000 | #Constraints:      31851
2365.18/2372.38	c #Conflicts:     668000 | #Constraints:      32851
2365.18/2372.38	c #Conflicts:     669000 | #Constraints:      33851
2365.18/2372.38	c #Conflicts:     670000 | #Constraints:      34851
2365.18/2372.38	c #Conflicts:     671000 | #Constraints:      35851
2365.18/2372.38	c INPROCESSING
2365.18/2372.38	c GARBAGE COLLECT
2365.18/2372.38	c #Conflicts:     672000 | #Constraints:      20647
2365.18/2372.38	c #Conflicts:     673000 | #Constraints:      21647
2365.18/2372.38	c #Conflicts:     674000 | #Constraints:      22647
2365.18/2372.38	c #Conflicts:     675000 | #Constraints:      23647
2365.18/2372.38	c #Conflicts:     676000 | #Constraints:      24647
2365.18/2372.38	c #Conflicts:     677000 | #Constraints:      25647
2365.18/2372.38	c #Conflicts:     678000 | #Constraints:      26647
2365.18/2372.38	c #Conflicts:     679000 | #Constraints:      27647
2365.18/2372.38	c #Conflicts:     680000 | #Constraints:      28647
2365.18/2372.38	c #Conflicts:     681000 | #Constraints:      29647
2365.18/2372.38	c #Conflicts:     682000 | #Constraints:      30647
2365.18/2372.38	c #Conflicts:     683000 | #Constraints:      31647
2365.18/2372.38	c #Conflicts:     684000 | #Constraints:      32647
2365.18/2372.38	c #Conflicts:     685000 | #Constraints:      33647
2365.18/2372.38	c #Conflicts:     686000 | #Constraints:      34647
2365.18/2372.38	c #Conflicts:     687000 | #Constraints:      35647
2365.18/2372.38	c #Conflicts:     688000 | #Constraints:      36647
2365.18/2372.38	c INPROCESSING
2365.18/2372.38	c GARBAGE COLLECT
2365.18/2372.38	c #Conflicts:     689000 | #Constraints:      21246
2365.18/2372.38	c #Conflicts:     690000 | #Constraints:      22246
2365.18/2372.38	c #Conflicts:     691000 | #Constraints:      23246
2365.18/2372.38	c #Conflicts:     692000 | #Constraints:      24246
2365.18/2372.38	c #Conflicts:     693000 | #Constraints:      25246
2365.18/2372.38	c #Conflicts:     694000 | #Constraints:      26246
2365.18/2372.38	c #Conflicts:     695000 | #Constraints:      27246
2365.18/2372.38	c #Conflicts:     696000 | #Constraints:      28246
2365.18/2372.38	c #Conflicts:     697000 | #Constraints:      29246
2365.18/2372.38	c #Conflicts:     698000 | #Constraints:      30246
2365.18/2372.38	c #Conflicts:     699000 | #Constraints:      31246
2365.18/2372.38	c #Conflicts:     700000 | #Constraints:      32246
2365.18/2372.38	c #Conflicts:     701000 | #Constraints:      33246
2365.18/2372.38	c #Conflicts:     702000 | #Constraints:      34246
2365.18/2372.38	c #Conflicts:     703000 | #Constraints:      35246
2365.18/2372.38	c #Conflicts:     704000 | #Constraints:      36246
2365.18/2372.38	c #Conflicts:     705000 | #Constraints:      37246
2365.18/2372.38	c INPROCESSING
2365.18/2372.38	c GARBAGE COLLECT
2365.18/2372.38	c #Conflicts:     706000 | #Constraints:      21649
2365.18/2372.38	c #Conflicts:     707000 | #Constraints:      22649
2365.18/2372.38	c #Conflicts:     708000 | #Constraints:      23649
2365.18/2372.38	c #Conflicts:     709000 | #Constraints:      24649
2365.18/2372.38	c #Conflicts:     710000 | #Constraints:      25649
2365.18/2372.38	c #Conflicts:     711000 | #Constraints:      26649
2365.18/2372.38	c #Conflicts:     712000 | #Constraints:      27649
2365.18/2372.38	c #Conflicts:     713000 | #Constraints:      28649
2365.18/2372.38	c #Conflicts:     714000 | #Constraints:      29649
2365.18/2372.38	c #Conflicts:     715000 | #Constraints:      30649
2365.18/2372.38	c #Conflicts:     716000 | #Constraints:      31649
2365.18/2372.38	c #Conflicts:     717000 | #Constraints:      32649
2365.18/2372.38	c #Conflicts:     718000 | #Constraints:      33649
2365.18/2372.38	c #Conflicts:     719000 | #Constraints:      34649
2365.18/2372.38	c #Conflicts:     720000 | #Constraints:      35649
2365.18/2372.38	c #Conflicts:     721000 | #Constraints:      36649
2365.18/2372.38	c #Conflicts:     722000 | #Constraints:      37649
2365.18/2372.38	c INPROCESSING
2365.18/2372.38	c GARBAGE COLLECT
2365.18/2372.38	c #Conflicts:     723000 | #Constraints:      21858
2365.18/2372.38	c #Conflicts:     724000 | #Constraints:      22858
2365.18/2372.38	c #Conflicts:     725000 | #Constraints:      23858
2365.18/2372.38	c #Conflicts:     726000 | #Constraints:      24858
2365.18/2372.38	c #Conflicts:     727000 | #Constraints:      25858
2365.18/2372.38	c #Conflicts:     728000 | #Constraints:      26858
2365.18/2372.38	c #Conflicts:     729000 | #Constraints:      27858
2365.18/2372.38	c #Conflicts:     730000 | #Constraints:      28858
2365.18/2372.38	c #Conflicts:     731000 | #Constraints:      29858
2365.18/2372.38	c #Conflicts:     732000 | #Constraints:      30858
2365.18/2372.38	c #Conflicts:     733000 | #Constraints:      31858
2365.18/2372.38	c #Conflicts:     734000 | #Constraints:      32858
2365.18/2372.38	c #Conflicts:     735000 | #Constraints:      33858
2365.18/2372.38	c #Conflicts:     736000 | #Constraints:      34858
2365.18/2372.38	c #Conflicts:     737000 | #Constraints:      35858
2365.18/2372.38	c #Conflicts:     738000 | #Constraints:      36858
2365.18/2372.38	c #Conflicts:     739000 | #Constraints:      37858
2790.48/2799.12	c INPROCESSING
2790.48/2799.12	c GARBAGE COLLECT
2790.48/2799.12	c #Conflicts:     740000 | #Constraints:      21859
2790.48/2799.12	c #Conflicts:     741000 | #Constraints:      22859
2790.48/2799.12	c #Conflicts:     742000 | #Constraints:      23859
2790.48/2799.12	c #Conflicts:     743000 | #Constraints:      24859
2790.48/2799.12	c #Conflicts:     744000 | #Constraints:      25859
2790.48/2799.12	c #Conflicts:     745000 | #Constraints:      26859
2790.48/2799.12	c #Conflicts:     746000 | #Constraints:      27859
2790.48/2799.12	c #Conflicts:     747000 | #Constraints:      28859
2790.48/2799.12	c #Conflicts:     748000 | #Constraints:      29859
2790.48/2799.12	c #Conflicts:     749000 | #Constraints:      30859
2790.48/2799.12	c #Conflicts:     750000 | #Constraints:      31859
2790.48/2799.12	c #Conflicts:     751000 | #Constraints:      32859
2790.48/2799.12	c #Conflicts:     752000 | #Constraints:      33859
2790.48/2799.12	c #Conflicts:     753000 | #Constraints:      34859
2790.48/2799.12	c #Conflicts:     754000 | #Constraints:      35859
2790.48/2799.12	c #Conflicts:     755000 | #Constraints:      36859
2790.48/2799.12	c #Conflicts:     756000 | #Constraints:      37859
2790.48/2799.12	c INPROCESSING
2790.48/2799.12	c GARBAGE COLLECT
2790.48/2799.12	c #Conflicts:     757000 | #Constraints:      21654
2790.48/2799.12	c #Conflicts:     758000 | #Constraints:      22654
2790.48/2799.12	c #Conflicts:     759000 | #Constraints:      23654
2790.48/2799.12	c #Conflicts:     760000 | #Constraints:      24654
2790.48/2799.12	c #Conflicts:     761000 | #Constraints:      25654
2790.48/2799.12	c #Conflicts:     762000 | #Constraints:      26654
2790.48/2799.12	c #Conflicts:     763000 | #Constraints:      27654
2790.48/2799.12	c #Conflicts:     764000 | #Constraints:      28654
2790.48/2799.12	c #Conflicts:     765000 | #Constraints:      29654
2790.48/2799.12	c #Conflicts:     766000 | #Constraints:      30654
2790.48/2799.12	c #Conflicts:     767000 | #Constraints:      31654
2790.48/2799.12	c #Conflicts:     768000 | #Constraints:      32654
2790.48/2799.12	c #Conflicts:     769000 | #Constraints:      33654
2790.48/2799.12	c #Conflicts:     770000 | #Constraints:      34654
2790.48/2799.12	c #Conflicts:     771000 | #Constraints:      35654
2790.48/2799.12	c #Conflicts:     772000 | #Constraints:      36654
2790.48/2799.12	c #Conflicts:     773000 | #Constraints:      37654
2790.48/2799.12	c #Conflicts:     774000 | #Constraints:      38654
2790.48/2799.12	c INPROCESSING
2790.48/2799.12	c GARBAGE COLLECT
2790.48/2799.12	c #Conflicts:     775000 | #Constraints:      22256
2790.48/2799.12	c #Conflicts:     776000 | #Constraints:      23256
2790.48/2799.12	c #Conflicts:     777000 | #Constraints:      24256
2790.48/2799.12	c #Conflicts:     778000 | #Constraints:      25256
2790.48/2799.12	c #Conflicts:     779000 | #Constraints:      26256
2790.48/2799.12	c #Conflicts:     780000 | #Constraints:      27256
2790.48/2799.12	c #Conflicts:     781000 | #Constraints:      28256
2790.48/2799.12	c #Conflicts:     782000 | #Constraints:      29256
2790.48/2799.12	c #Conflicts:     783000 | #Constraints:      30256
2790.48/2799.12	c #Conflicts:     784000 | #Constraints:      31256
2790.48/2799.12	c #Conflicts:     785000 | #Constraints:      32256
2790.48/2799.12	c #Conflicts:     786000 | #Constraints:      33256
2790.48/2799.12	c #Conflicts:     787000 | #Constraints:      34256
2790.48/2799.12	c #Conflicts:     788000 | #Constraints:      35256
2790.48/2799.12	c #Conflicts:     789000 | #Constraints:      36256
2790.48/2799.12	c #Conflicts:     790000 | #Constraints:      37256
2790.48/2799.12	c #Conflicts:     791000 | #Constraints:      38256
2790.48/2799.12	c #Conflicts:     792000 | #Constraints:      39256
2790.48/2799.12	c INPROCESSING
2790.48/2799.12	c GARBAGE COLLECT
2790.48/2799.12	c #Conflicts:     793000 | #Constraints:      22653
2790.48/2799.12	c #Conflicts:     794000 | #Constraints:      23653
2790.48/2799.12	c #Conflicts:     795000 | #Constraints:      24653
2790.48/2799.12	c #Conflicts:     796000 | #Constraints:      25653
2790.48/2799.12	c #Conflicts:     797000 | #Constraints:      26653
2790.48/2799.12	c #Conflicts:     798000 | #Constraints:      27653
2790.48/2799.12	c #Conflicts:     799000 | #Constraints:      28653
2790.48/2799.12	c #Conflicts:     800000 | #Constraints:      29653
2790.48/2799.12	c #Conflicts:     801000 | #Constraints:      30653
2790.48/2799.12	c #Conflicts:     802000 | #Constraints:      31653
2790.48/2799.12	c #Conflicts:     803000 | #Constraints:      32653
2790.48/2799.12	c #Conflicts:     804000 | #Constraints:      33653
2790.48/2799.12	c #Conflicts:     805000 | #Constraints:      34653
2790.48/2799.12	c #Conflicts:     806000 | #Constraints:      35653
2790.48/2799.12	c #Conflicts:     807000 | #Constraints:      36653
2790.48/2799.12	c #Conflicts:     808000 | #Constraints:      37653
2790.48/2799.12	c #Conflicts:     809000 | #Constraints:      38653
2790.48/2799.12	c #Conflicts:     810000 | #Constraints:      39653
2790.48/2799.12	c INPROCESSING
2790.48/2799.12	c GARBAGE COLLECT
2790.48/2799.12	c #Conflicts:     811000 | #Constraints:      22854
2790.48/2799.12	c #Conflicts:     812000 | #Constraints:      23854
2790.48/2799.12	c #Conflicts:     813000 | #Constraints:      24854
2790.48/2799.12	c #Conflicts:     814000 | #Constraints:      25854
3274.03/3284.41	c #Conflicts:     815000 | #Constraints:      26854
3274.03/3284.41	c #Conflicts:     816000 | #Constraints:      27854
3274.03/3284.41	c #Conflicts:     817000 | #Constraints:      28854
3274.03/3284.41	c #Conflicts:     818000 | #Constraints:      29854
3274.03/3284.41	c #Conflicts:     819000 | #Constraints:      30854
3274.03/3284.41	c #Conflicts:     820000 | #Constraints:      31854
3274.03/3284.41	c #Conflicts:     821000 | #Constraints:      32854
3274.03/3284.41	c #Conflicts:     822000 | #Constraints:      33854
3274.03/3284.41	c #Conflicts:     823000 | #Constraints:      34854
3274.03/3284.41	c #Conflicts:     824000 | #Constraints:      35854
3274.03/3284.41	c #Conflicts:     825000 | #Constraints:      36854
3274.03/3284.41	c #Conflicts:     826000 | #Constraints:      37854
3274.03/3284.41	c #Conflicts:     827000 | #Constraints:      38854
3274.03/3284.41	c #Conflicts:     828000 | #Constraints:      39854
3274.03/3284.41	c INPROCESSING
3274.03/3284.41	c GARBAGE COLLECT
3274.03/3284.41	c #Conflicts:     829000 | #Constraints:      22864
3274.03/3284.41	c #Conflicts:     830000 | #Constraints:      23864
3274.03/3284.41	c #Conflicts:     831000 | #Constraints:      24864
3274.03/3284.41	c #Conflicts:     832000 | #Constraints:      25864
3274.03/3284.41	c #Conflicts:     833000 | #Constraints:      26864
3274.03/3284.41	c #Conflicts:     834000 | #Constraints:      27864
3274.03/3284.41	c #Conflicts:     835000 | #Constraints:      28864
3274.03/3284.41	c #Conflicts:     836000 | #Constraints:      29864
3274.03/3284.41	c #Conflicts:     837000 | #Constraints:      30864
3274.03/3284.41	c #Conflicts:     838000 | #Constraints:      31864
3274.03/3284.41	c #Conflicts:     839000 | #Constraints:      32864
3274.03/3284.41	c #Conflicts:     840000 | #Constraints:      33864
3274.03/3284.41	c #Conflicts:     841000 | #Constraints:      34864
3274.03/3284.41	c #Conflicts:     842000 | #Constraints:      35864
3274.03/3284.41	c #Conflicts:     843000 | #Constraints:      36864
3274.03/3284.41	c #Conflicts:     844000 | #Constraints:      37864
3274.03/3284.41	c #Conflicts:     845000 | #Constraints:      38864
3274.03/3284.41	c #Conflicts:     846000 | #Constraints:      39864
3274.03/3284.41	c INPROCESSING
3274.03/3284.41	c GARBAGE COLLECT
3274.03/3284.41	c #Conflicts:     847000 | #Constraints:      22656
3274.03/3284.41	c #Conflicts:     848000 | #Constraints:      23656
3274.03/3284.41	c #Conflicts:     849000 | #Constraints:      24656
3274.03/3284.41	c #Conflicts:     850000 | #Constraints:      25656
3274.03/3284.41	c #Conflicts:     851000 | #Constraints:      26656
3274.03/3284.41	c #Conflicts:     852000 | #Constraints:      27656
3274.03/3284.41	c #Conflicts:     853000 | #Constraints:      28656
3274.03/3284.41	c #Conflicts:     854000 | #Constraints:      29656
3274.03/3284.41	c #Conflicts:     855000 | #Constraints:      30656
3274.03/3284.41	c #Conflicts:     856000 | #Constraints:      31656
3274.03/3284.41	c #Conflicts:     857000 | #Constraints:      32656
3274.03/3284.41	c #Conflicts:     858000 | #Constraints:      33656
3274.03/3284.41	c #Conflicts:     859000 | #Constraints:      34656
3274.03/3284.41	c #Conflicts:     860000 | #Constraints:      35656
3274.03/3284.41	c #Conflicts:     861000 | #Constraints:      36656
3274.03/3284.41	c #Conflicts:     862000 | #Constraints:      37656
3274.03/3284.41	c #Conflicts:     863000 | #Constraints:      38656
3274.03/3284.41	c #Conflicts:     864000 | #Constraints:      39656
3274.03/3284.41	c #Conflicts:     865000 | #Constraints:      40656
3274.03/3284.41	c INPROCESSING
3274.03/3284.41	c GARBAGE COLLECT
3274.03/3284.41	c #Conflicts:     866000 | #Constraints:      23258
3274.03/3284.41	c #Conflicts:     867000 | #Constraints:      24258
3274.03/3284.41	c #Conflicts:     868000 | #Constraints:      25258
3274.03/3284.41	c #Conflicts:     869000 | #Constraints:      26258
3274.03/3284.41	c #Conflicts:     870000 | #Constraints:      27258
3274.03/3284.41	c #Conflicts:     871000 | #Constraints:      28258
3274.03/3284.41	c #Conflicts:     872000 | #Constraints:      29258
3274.03/3284.41	c #Conflicts:     873000 | #Constraints:      30258
3274.03/3284.41	c #Conflicts:     874000 | #Constraints:      31258
3274.03/3284.41	c #Conflicts:     875000 | #Constraints:      32258
3274.03/3284.41	c #Conflicts:     876000 | #Constraints:      33258
3274.03/3284.41	c #Conflicts:     877000 | #Constraints:      34258
3274.03/3284.41	c #Conflicts:     878000 | #Constraints:      35258
3274.03/3284.41	c #Conflicts:     879000 | #Constraints:      36258
3274.03/3284.41	c #Conflicts:     880000 | #Constraints:      37258
3274.03/3284.41	c #Conflicts:     881000 | #Constraints:      38258
3274.03/3284.41	c #Conflicts:     882000 | #Constraints:      39258
3274.03/3284.41	c #Conflicts:     883000 | #Constraints:      40258
3274.03/3284.41	c #Conflicts:     884000 | #Constraints:      41258
3274.03/3284.41	c INPROCESSING
3274.03/3284.41	c GARBAGE COLLECT
3274.03/3284.41	c #Conflicts:     885000 | #Constraints:      23670
3274.03/3284.41	c #Conflicts:     886000 | #Constraints:      24670
3274.03/3284.41	c #Conflicts:     887000 | #Constraints:      25670
3274.03/3284.41	c #Conflicts:     888000 | #Constraints:      26670
3274.03/3284.41	c #Conflicts:     889000 | #Constraints:      27670
3274.03/3284.41	c #Conflicts:     890000 | #Constraints:      28670
3274.03/3284.41	c #Conflicts:     891000 | #Constraints:      29670
3600.01/3611.30	c #Conflicts:     892000 | #Constraints:      30670
3600.01/3611.30	c #Conflicts:     893000 | #Constraints:      31670
3600.01/3611.30	c #Conflicts:     894000 | #Constraints:      32670
3600.01/3611.30	c #Conflicts:     895000 | #Constraints:      33670
3600.01/3611.30	c #Conflicts:     896000 | #Constraints:      34670
3600.01/3611.30	c #Conflicts:     897000 | #Constraints:      35670
3600.01/3611.30	c #Conflicts:     898000 | #Constraints:      36670
3600.01/3611.30	c #Conflicts:     899000 | #Constraints:      37670
3600.01/3611.30	c #Conflicts:     900000 | #Constraints:      38670
3600.01/3611.30	c #Conflicts:     901000 | #Constraints:      39670
3600.01/3611.30	c #Conflicts:     902000 | #Constraints:      40670
3600.01/3611.30	c #Conflicts:     903000 | #Constraints:      41670
3600.01/3611.30	c INPROCESSING
3600.01/3611.30	c GARBAGE COLLECT
3600.01/3611.30	c #Conflicts:     904000 | #Constraints:      23861
3600.01/3611.30	c #Conflicts:     905000 | #Constraints:      24861
3600.01/3611.30	c #Conflicts:     906000 | #Constraints:      25861
3600.01/3611.30	c #Conflicts:     907000 | #Constraints:      26861
3600.01/3611.30	c #Conflicts:     908000 | #Constraints:      27861
3600.01/3611.30	c #Conflicts:     909000 | #Constraints:      28861
3600.01/3611.30	c #Conflicts:     910000 | #Constraints:      29861
3600.01/3611.30	c #Conflicts:     911000 | #Constraints:      30861
3600.01/3611.30	c #Conflicts:     912000 | #Constraints:      31861
3600.01/3611.30	c #Conflicts:     913000 | #Constraints:      32861
3600.01/3611.30	c #Conflicts:     914000 | #Constraints:      33861
3600.01/3611.30	c #Conflicts:     915000 | #Constraints:      34861
3600.01/3611.30	c #Conflicts:     916000 | #Constraints:      35861
3600.01/3611.30	c #Conflicts:     917000 | #Constraints:      36861
3600.01/3611.30	c #Conflicts:     918000 | #Constraints:      37861
3600.01/3611.30	c #Conflicts:     919000 | #Constraints:      38861
3600.01/3611.30	c #Conflicts:     920000 | #Constraints:      39861
3600.01/3611.30	c #Conflicts:     921000 | #Constraints:      40861
3600.01/3611.30	c #Conflicts:     922000 | #Constraints:      41861
3600.01/3611.30	c INPROCESSING
3600.01/3611.30	c GARBAGE COLLECT
3600.01/3611.30	c #Conflicts:     923000 | #Constraints:      23850
3600.01/3611.30	c #Conflicts:     924000 | #Constraints:      24850
3600.01/3611.30	c #Conflicts:     925000 | #Constraints:      25850
3600.01/3611.30	c #Conflicts:     926000 | #Constraints:      26850
3600.01/3611.30	c #Conflicts:     927000 | #Constraints:      27850
3600.01/3611.30	c #Conflicts:     928000 | #Constraints:      28850
3600.01/3611.30	c #Conflicts:     929000 | #Constraints:      29850
3600.01/3611.30	c #Conflicts:     930000 | #Constraints:      30850
3600.01/3611.30	c #Conflicts:     931000 | #Constraints:      31850
3600.01/3611.30	c #Conflicts:     932000 | #Constraints:      32850
3600.01/3611.30	c #Conflicts:     933000 | #Constraints:      33850
3600.01/3611.30	c #Conflicts:     934000 | #Constraints:      34850
3600.01/3611.30	c #Conflicts:     935000 | #Constraints:      35850
3600.01/3611.30	c #Conflicts:     936000 | #Constraints:      36850
3600.01/3611.30	c #Conflicts:     937000 | #Constraints:      37850
3600.01/3611.30	c #Conflicts:     938000 | #Constraints:      38850
3600.01/3611.30	c #Conflicts:     939000 | #Constraints:      39850
3600.01/3611.30	c #Conflicts:     940000 | #Constraints:      40850
3600.01/3611.30	c #Conflicts:     941000 | #Constraints:      41850
3600.01/3611.30	c INPROCESSING
3600.01/3611.30	c GARBAGE COLLECT
3600.01/3611.30	c #Conflicts:     942000 | #Constraints:      23657
3600.01/3611.30	c #Conflicts:     943000 | #Constraints:      24657
3600.01/3611.30	c #Conflicts:     944000 | #Constraints:      25657
3600.01/3611.30	c #Conflicts:     945000 | #Constraints:      26657
3600.01/3611.30	c #Conflicts:     946000 | #Constraints:      27657
3600.01/3611.30	c #Conflicts:     947000 | #Constraints:      28657
3600.01/3611.30	c Program interrupted by user.
3600.01/3611.30	c cpu time 3591.93 s
3600.01/3611.30	c deterministic time 626893840097 6.27e+11
3600.01/3611.30	c optimization time 17.4342 s
3600.01/3611.30	c total solve time 3275.13 s
3600.01/3611.30	c core-guided solve time 3275.13 s
3600.01/3611.30	c propagation time 2614.31 s
3600.01/3611.30	c conflict analysis time 501.124 s
3600.01/3611.30	c propagations 107870108
3600.01/3611.30	c resolve steps 7643867
3600.01/3611.30	c decisions 4384305
3600.01/3611.30	c conflicts 947487
3600.01/3611.30	c restarts 2043
3600.01/3611.30	c inprocessing phases 88
3600.01/3611.30	c input clauses 3972
3600.01/3611.30	c input cardinalities 150
3600.01/3611.30	c input general constraints 0
3600.01/3611.30	c input average constraint length 62.75
3600.01/3611.30	c input average constraint degree 28.26
3600.01/3611.30	c learned clauses 317527
3600.01/3611.30	c learned cardinalities 36349
3600.01/3611.30	c learned general constraints 593759
3600.01/3611.30	c learned average constraint length 897.89
3600.01/3611.30	c learned average constraint degree 49397.12
3600.01/3611.30	c watched constraints 350662
3600.01/3611.30	c counting constraints 243097
3600.01/3611.30	c gcd simplifications 30329
3600.01/3611.30	c detected cardinalities 431
3600.01/3611.30	c weakened non-implied lits 145273274
3600.01/3611.30	c weakened non-implying lits 53642
3600.01/3611.30	c original variables 1963
3600.01/3611.30	c clausal propagations 45521556
3600.01/3611.30	c cardinality propagations 3708310
3600.01/3611.30	c watched propagations 10615364
3600.01/3611.30	c counting propagations 43097652
3600.01/3611.30	c watch lookups 43597025076
3600.01/3611.30	c watch backjump lookups 39659328229
3600.01/3611.30	c watch checks 490189165845
3600.01/3611.30	c propagation checks 50822811525
3600.01/3611.30	c constraint additions 2400054714
3600.01/3611.30	c trail pops 113200294
3600.01/3611.30	c formula constraints 3300
3600.01/3611.30	c learned constraints 947635
3600.01/3611.30	c bound constraints 150
3600.01/3611.30	c core-guided constraints 672
3600.01/3611.30	c encountered formula constraints 5404201
3600.01/3611.30	c encountered learned constraints 2436374
3600.01/3611.30	c encountered bound constraints 1
3600.01/3611.30	c encountered core-guided constraints 750778
3600.01/3611.30	c LP total time 0 s
3600.01/3611.30	c LP solve time 0 s
3600.01/3611.30	c LP constraints added 0
3600.01/3611.30	c LP constraints removed 0
3600.01/3611.30	c LP pivots internal 0
3600.01/3611.30	c LP pivots root 0
3600.01/3611.30	c LP calls 0
3600.01/3611.30	c LP optimalities 0
3600.01/3611.30	c LP no pivot count 0
3600.01/3611.30	c LP infeasibilities 0
3600.01/3611.30	c LP valid Farkas constraints 0
3600.01/3611.30	c LP learned Farkas constraints 0
3600.01/3611.30	c LP basis resets 0
3600.01/3611.30	c LP cycling count 0
3600.01/3611.30	c LP singular count 0
3600.01/3611.30	c LP no primal count 0
3600.01/3611.30	c LP no farkas count 0
3600.01/3611.30	c LP other issue count 0
3600.01/3611.30	c LP Gomory cuts 0
3600.01/3611.30	c LP learned cuts 0
3600.01/3611.30	c LP deleted cuts 0
3600.01/3611.30	c LP encountered Gomory constraints 0
3600.01/3611.30	c LP encountered Farkas constraints 0
3600.01/3611.30	c LP encountered learned Farkas constraints 0
3600.01/3611.30	c CG auxiliary variables introduced 672
3600.01/3611.30	c CG solutions found 0
3600.01/3611.30	c CG cores constructed 149
3600.01/3611.30	c CG core cardinality constraints returned 0
3600.01/3611.30	c CG unit cores 0
3600.01/3611.30	c CG single cores 149
3600.01/3611.30	c CG blocks removed during cardinality reduction 0
3600.01/3611.30	c CG first core best 0
3600.01/3611.30	c CG decision core best 0
3600.01/3611.30	c CG core reduction tie 0
3600.01/3611.30	c CG core degree average 1.00
3600.01/3611.30	c CG core slack average 2.94
3600.01/3611.30	c CG exhausted 0
3600.01/3611.30	c CG exhaust time 0 s
3600.01/3611.30	c CG trimmed 1
3600.01/3611.30	c CG trim time 0.000909 s
3600.01/3611.30	c CG minimized 0
3600.01/3611.30	c CG minimize time 0 s
3600.01/3611.30	c CG am1 prop time 0.002787 s
3600.01/3611.30	c CG # am1s reformulated 672
3600.01/3611.30	c CG lower bound derived from am1s 675
3600.01/3611.30	c CG # clausal cores 149
3600.01/3611.30	c CG # cardinality cores 0
3600.01/3611.30	c CG # pb cores 0
3600.01/3611.30	c CG # pb reforms 0
3600.01/3611.30	c CG # cores discarded because of pb reform 0
3600.01/3611.30	d LOWERBOUND 824
3600.01/3611.30	d NCORES 149
3600.01/3611.30	d NPBCORES 0
3600.01/3611.30	d NPBREFORM 0
3600.01/3611.30	d NTRIMMED 1
3600.01/3611.30	d NEXHAUSTED 0
3600.01/3611.30	d NAM1S 672
3600.01/3611.30	d AM1LB 675
3600.01/3611.30	c [Papilo Statistics]
3600.01/3611.30	c prepro time 0.0138503s
3600.01/3611.30	c # tsx applied 147
3600.01/3611.30	c # tsx conflicts 4
3600.01/3611.30	c # bound changes 146
3600.01/3611.30	c # side changes 0
3600.01/3611.30	c # coef changes 0
3600.01/3611.30	c # rounds 2
3600.01/3611.30	c # deted vars 296
3600.01/3611.30	c # deted constrs 700
3600.01/3611.30	c # consecutive rounds of only bound changes 0
3600.01/3611.30	s UNKNOWN

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: 63837 MiB (62503 MiB free)
  memory of node 1: 64465 MiB (63540 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528928-1752256389/watcher-4528928-1752256389 -o /tmp/evaluation-result-4528928-1752256389/solver-4528928-1752256389 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1752256388-119671 --watchdog 3760 mixed-bag HOME/instance-4528928-1752256389.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=119727, runsolver pid=119711
Current StackSize limit: 8192 KiB


[startup+0.100075 s]*
/proc/loadavg: 3.57 3.99 4.05 6/252 119728
/proc/meminfo: memFree=129007636/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=102888 memory=30464 CPUtime=0.09 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 4296 0 0 0 7 2 0 0 20 0 1 0 141318269 105357312 7616 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 25722 7616 4000 2834 0 7927 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 102888 KiB
Current children cumulated memory: 30464 KiB

[startup+0.213149 s]*
/proc/loadavg: 3.57 3.99 4.05 6/252 119728
/proc/meminfo: memFree=128997464/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=112892 memory=38936 CPUtime=0.2 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 6517 0 0 0 17 3 0 0 20 0 1 0 141318269 115601408 9734 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 28223 9734 4128 2834 0 10428 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112892 KiB
Current children cumulated memory: 38936 KiB

[startup+0.314069 s]*
/proc/loadavg: 3.57 3.99 4.05 6/252 119728
/proc/meminfo: memFree=128982344/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=116220 memory=42520 CPUtime=0.3 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 7310 0 0 0 27 3 0 0 20 0 1 0 141318269 119009280 10630 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 29055 10630 4256 2834 0 11260 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 116220 KiB
Current children cumulated memory: 42520 KiB

[startup+0.700263 s]
/proc/loadavg: 3.57 3.99 4.05 6/252 119728
/proc/meminfo: memFree=128980328/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=116876 memory=43160 CPUtime=0.68 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 7481 0 0 0 64 4 0 0 20 0 1 0 141318269 119681024 10790 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 29219 10790 4256 2834 0 11424 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 116876 KiB
Current children cumulated memory: 43160 KiB

[startup+1.50027 s]
/proc/loadavg: 3.57 3.99 4.05 6/252 119728
/proc/meminfo: memFree=128964200/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=122188 memory=48152 CPUtime=1.47 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 8741 0 0 0 143 4 0 0 20 0 1 0 141318269 125120512 12038 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 30547 12038 4256 2834 0 12752 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 122188 KiB
Current children cumulated memory: 48152 KiB

[startup+3.11205 s]
/proc/loadavg: 3.57 3.99 4.05 6/252 119728
/proc/meminfo: memFree=128900540/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=136116 memory=61080 CPUtime=3.07 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 11978 0 0 0 303 4 0 0 20 0 1 0 141318269 139382784 15270 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 34029 15270 4256 2834 0 16234 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 136116 KiB
Current children cumulated memory: 61080 KiB

[startup+6.30024 s]
/proc/loadavg: 3.61 3.99 4.05 6/252 119728
/proc/meminfo: memFree=128707068/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=190012 memory=113176 CPUtime=6.26 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 24993 0 0 0 619 7 0 0 20 0 1 0 141318269 194572288 28294 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 47503 28294 4256 2834 0 29708 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 190012 KiB
Current children cumulated memory: 113176 KiB

[startup+12.7002 s]
/proc/loadavg: 3.64 3.99 4.05 6/252 119728
/proc/meminfo: memFree=128561940/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=225596 memory=144204 CPUtime=12.64 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 33811 0 0 0 1255 9 0 0 20 0 1 0 141318269 231010304 36051 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 56399 36051 4288 2834 0 38604 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 225596 KiB
Current children cumulated memory: 144204 KiB

[startup+25.5003 s]
/proc/loadavg: 3.72 3.99 4.05 6/252 119728
/proc/meminfo: memFree=128562092/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=225596 memory=144972 CPUtime=25.4 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 34006 0 0 0 2531 9 0 0 20 0 1 0 141318269 231010304 36243 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 56399 36243 4288 2834 0 38604 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 225596 KiB
Current children cumulated memory: 144972 KiB

[startup+51.1121 s]
/proc/loadavg: 3.88 4.01 4.05 6/252 119729
/proc/meminfo: memFree=128345956/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=296936 memory=212372 CPUtime=50.95 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 51843 0 0 0 5082 13 0 0 20 0 1 0 141318269 304062464 53093 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 74234 53093 4288 2834 0 56439 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 296936 KiB
Current children cumulated memory: 212372 KiB

[startup+102.3 s]
/proc/loadavg: 4.31 4.08 4.07 6/253 119732
/proc/meminfo: memFree=128248684/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=338740 memory=244156 CPUtime=102 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 62638 0 0 0 10185 15 0 0 20 0 1 0 141318269 346869760 61039 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 84685 61039 4288 2834 0 66890 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 338740 KiB
Current children cumulated memory: 244156 KiB

[startup+162.3 s]
/proc/loadavg: 5.27 4.42 4.19 6/253 119734
/proc/meminfo: memFree=128121840/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=363872 memory=268232 CPUtime=161.84 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 69474 0 0 0 16168 16 0 0 20 0 1 0 141318269 372604928 67058 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 90968 67058 4288 2834 0 73173 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 363872 KiB
Current children cumulated memory: 268232 KiB

[startup+222.3 s]
/proc/loadavg: 4.94 4.45 4.21 6/252 119736
/proc/meminfo: memFree=128071284/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=375564 memory=277704 CPUtime=221.68 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 71833 0 0 0 22151 17 0 0 20 0 1 0 141318269 384577536 69426 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 93891 69426 4288 2834 0 76096 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 375564 KiB
Current children cumulated memory: 277704 KiB

[startup+282.3 s]
/proc/loadavg: 5.28 4.67 4.31 6/251 119740
/proc/meminfo: memFree=128041344/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=376816 memory=278984 CPUtime=281.52 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 72159 0 0 0 28134 18 0 0 20 0 1 0 141318269 385859584 69746 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 94204 69746 4288 2834 0 76409 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 376816 KiB
Current children cumulated memory: 278984 KiB

[startup+342.3 s]
/proc/loadavg: 4.63 4.59 4.30 6/250 119742
/proc/meminfo: memFree=128394300/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=249500 memory=171524 CPUtime=341.34 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 76723 0 0 0 34076 58 0 0 20 0 1 0 141318269 255488000 42881 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 62375 42881 4480 2834 0 44580 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 249500 KiB
Current children cumulated memory: 171524 KiB

[startup+402.3 s]
/proc/loadavg: 4.29 4.50 4.28 6/250 119749
/proc/meminfo: memFree=128311076/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=280320 memory=188780 CPUtime=401.17 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 77490 0 0 0 40022 95 0 0 20 0 1 0 141318269 287047680 47195 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 70080 47195 4480 2834 0 52285 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 280320 KiB
Current children cumulated memory: 188780 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.42 4.27 6/251 119751
/proc/meminfo: memFree=128216328/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=280320 memory=204736 CPUtime=460.98 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 78943 0 0 0 45969 129 0 0 20 0 1 0 141318269 287047680 51184 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 70080 51184 4480 2834 0 52285 0
Current children cumulated CPU time: 460.98 s

################
# More data... #
################

Current children cumulated memory: 499372 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/250 119879
/proc/meminfo: memFree=127173228/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=703452 memory=499628 CPUtime=2913.21 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 108443 0 0 0 290626 695 0 0 20 0 1 0 141318269 720334848 124907 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 175863 124907 4480 2834 0 158068 0
Current children cumulated CPU time: 2913.21 s
Current children cumulated vsize: 703452 KiB
Current children cumulated memory: 499628 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/250 119881
/proc/meminfo: memFree=127168740/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=703452 memory=499628 CPUtime=2973 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 108443 0 0 0 296593 707 0 0 20 0 1 0 141318269 720334848 124907 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 175863 124907 4480 2834 0 158068 0
Current children cumulated CPU time: 2973 s
Current children cumulated vsize: 703452 KiB
Current children cumulated memory: 499628 KiB

[startup+3042.3 s]
/proc/loadavg: 4.04 4.07 4.08 6/250 119882
/proc/meminfo: memFree=127160852/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=703452 memory=499628 CPUtime=3032.77 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 108443 0 0 0 302563 714 0 0 20 0 1 0 141318269 720334848 124907 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 175863 124907 4480 2834 0 158068 0
Current children cumulated CPU time: 3032.77 s
Current children cumulated vsize: 703452 KiB
Current children cumulated memory: 499628 KiB

[startup+3102.3 s]
/proc/loadavg: 4.19 4.11 4.10 6/250 119884
/proc/meminfo: memFree=127144852/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=703708 memory=503596 CPUtime=3092.56 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 108508 0 0 0 308529 727 0 0 20 0 1 0 141318269 720596992 125899 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 175927 125899 4480 2834 0 158132 0
Current children cumulated CPU time: 3092.56 s
Current children cumulated vsize: 703708 KiB
Current children cumulated memory: 503596 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/250 119886
/proc/meminfo: memFree=127092264/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=704476 memory=512428 CPUtime=3152.33 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 108645 0 0 0 314497 736 0 0 20 0 1 0 141318269 721383424 128107 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 176119 128107 4480 2834 0 158324 0
Current children cumulated CPU time: 3152.33 s
Current children cumulated vsize: 704476 KiB
Current children cumulated memory: 512428 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/250 119888
/proc/meminfo: memFree=127101988/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=704476 memory=512428 CPUtime=3212.12 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 108689 0 0 0 320463 749 0 0 20 0 1 0 141318269 721383424 128107 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 176119 128107 4480 2834 0 158324 0
Current children cumulated CPU time: 3212.12 s
Current children cumulated vsize: 704476 KiB
Current children cumulated memory: 512428 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/250 119892
/proc/meminfo: memFree=127090404/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=704476 memory=516916 CPUtime=3271.94 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 108692 0 0 0 326433 761 0 0 20 0 1 0 141318269 721383424 129229 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 176119 129229 4480 2834 0 158324 0
Current children cumulated CPU time: 3271.94 s
Current children cumulated vsize: 704476 KiB
Current children cumulated memory: 516916 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/249 119894
/proc/meminfo: memFree=127090592/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=704476 memory=516916 CPUtime=3331.78 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 108692 0 0 0 332406 772 0 0 20 0 1 0 141318269 721383424 129229 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 176119 129229 4480 2834 0 158324 0
Current children cumulated CPU time: 3331.78 s
Current children cumulated vsize: 704476 KiB
Current children cumulated memory: 516916 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.09 6/250 119901
/proc/meminfo: memFree=127091428/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=704476 memory=516916 CPUtime=3391.6 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 108794 0 0 0 338379 781 0 0 20 0 1 0 141318269 721383424 129229 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 176119 129229 4480 2834 0 158324 0
Current children cumulated CPU time: 3391.6 s
Current children cumulated vsize: 704476 KiB
Current children cumulated memory: 516916 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/250 119903
/proc/meminfo: memFree=127074616/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=706452 memory=517940 CPUtime=3451.44 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 109081 0 0 0 344355 789 0 0 20 0 1 0 141318269 723406848 129485 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 176613 129485 4480 2834 0 158818 0
Current children cumulated CPU time: 3451.44 s
Current children cumulated vsize: 706452 KiB
Current children cumulated memory: 517940 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.11 4.09 6/250 119905
/proc/meminfo: memFree=127062572/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=714460 memory=522292 CPUtime=3511.27 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 110162 0 0 0 350330 797 0 0 20 0 1 0 141318269 731607040 130573 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 178615 130573 4480 2834 0 160820 0
Current children cumulated CPU time: 3511.27 s
Current children cumulated vsize: 714460 KiB
Current children cumulated memory: 522292 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/251 119908
/proc/meminfo: memFree=127042280/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=714460 memory=522420 CPUtime=3571.1 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 110171 0 0 0 356305 805 0 0 20 0 1 0 141318269 731607040 130605 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 178615 130605 4480 2834 0 160820 0
Current children cumulated CPU time: 3571.1 s
Current children cumulated vsize: 714460 KiB
Current children cumulated memory: 522420 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 4.13 4.11 4.09 3/241 119926
/proc/meminfo: memFree=128552792/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=714716 memory=522676 CPUtime=3600.01 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 110237 0 0 0 359192 809 0 0 20 0 1 0 141318269 731869184 130669 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 178679 130669 4480 2834 0 160884 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 714716 KiB
Current children cumulated memory: 522676 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.31 s]
# the end of solver process 119727 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3591.93 s, system=8.10142 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3611.3 s]
/proc/loadavg: 4.13 4.11 4.09 3/241 119926
/proc/meminfo: memFree=128552792/131382112 swapFree=33002444/33010684
[pid=119727] ppid=119711 vsize=714716 memory=522676 CPUtime=3600.01 cores=1,3
/proc/119727/stat : 119727 (mixed-bag) R 119711 119727 119659 0 -1 4194304 110237 0 0 0 359192 809 0 0 20 0 1 0 141318269 731869184 130669 18446744073709551615 4235264 15840557 140720919687200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 47714304 140720919689626 140720919689703 140720919689703 140720919695307 0
/proc/119727/statm: 178679 130669 4480 2834 0 160884 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 714716 KiB
Current children cumulated memory: 522676 KiB

Child status: 0

Real time (s): 3611.31
CPU time (s): 3600.03
CPU user time (s): 3591.93
CPU system time (s): 8.10142
CPU usage (%): 99.6877
Max. virtual memory (cumulated for all children) (KiB): 714716
Max. memory (cumulated for all children) (KiB): 522676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.93
system time used= 8.10142
maximum resident set size= 523188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110268
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= 292
involuntary context switches= 2471


# summary of solver processes directly reported to runsolver:
#   pid: 119727
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3591.93
#   total CPU system time (s): 8.10142

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4251 second user time and 31.103 second system time

The end

Begin job on nodeC005 at 2025-07-11 19:53:09
IDJOB=4528928
IDBENCH=147530
IDSOLVER=3386
FILE ID=nodeC005/4528928-1752256389
RUNJOBID= nodeC005-1752256388-119671
SLURM_JOB_ID= 9682598
Free space on /tmp= 428616 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528928-1752256389/watcher-4528928-1752256389 -o /tmp/evaluation-result-4528928-1752256389/solver-4528928-1752256389 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1752256388-119671 --watchdog 3760  mixed-bag HOME/instance-4528928-1752256389.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 2f43827d921579f008f60b037bb7dde7
RANDOM SEED=1616531476

nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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	: 0xb00001f
cpu MHz		: 1197.265
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.095
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.240
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.242
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
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	: 0xb00001f
cpu MHz		: 1171.444
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.107
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.210
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.211
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129076868 kB
MemAvailable:   129949428 kB
Buffers:              12 kB
Cached:          1656964 kB
SwapCached:          244 kB
Active:           338752 kB
Inactive:        1383296 kB
Active(anon):      38256 kB
Inactive(anon):    39708 kB
Active(file):     300496 kB
Inactive(file):  1343588 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33002444 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             61236 kB
Writeback:             0 kB
AnonPages:         68188 kB
Mapped:           100840 kB
Shmem:             12892 kB
KReclaimable:     136208 kB
Slab:             225196 kB
SReclaimable:     136208 kB
SUnreclaim:        88988 kB
KernelStack:        3832 kB
PageTables:         2724 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     343804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 428552 MiB
End job on nodeC005 at 2025-07-11 20:53:20