0.00/0.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c with Papilo
0.00/0.01	c with SCIP
0.00/0.01	c [STEP] parsing instance
0.00/0.02	c [STEP] preprocessing with Papilo
0.00/0.02	c [STEP] solving with SCIP
299.21/300.13	c [STEP] preprocessing done, loading into solver
299.21/300.14	c [STEP] solving
299.21/300.14	c #variables 1627 #constraints 3208
299.21/300.14	c SMALL=int, LARGE=long long
299.21/300.14	d SCIPUB 876
299.21/300.14	c bounds - >= 0 @ 299.098
299.21/300.14	c stratification level: 0
300.21/301.16	c bounds - >= 666 @ 299.102
300.21/301.16	c bounds - >= 667 @ 299.105
300.21/301.16	c bounds - >= 668 @ 299.105
300.21/301.16	c bounds - >= 669 @ 299.105
300.21/301.16	c bounds - >= 670 @ 299.105
300.21/301.16	c bounds - >= 671 @ 299.106
300.21/301.16	c bounds - >= 672 @ 299.106
300.21/301.16	c bounds - >= 673 @ 299.106
300.21/301.16	c bounds - >= 674 @ 299.106
300.21/301.16	c bounds - >= 675 @ 299.106
300.21/301.16	c bounds - >= 676 @ 299.107
300.21/301.16	c bounds - >= 677 @ 299.107
300.21/301.16	c bounds - >= 678 @ 299.107
300.21/301.16	c bounds - >= 679 @ 299.107
300.21/301.16	c bounds - >= 680 @ 299.107
300.21/301.16	c bounds - >= 681 @ 299.107
300.21/301.16	c bounds - >= 682 @ 299.107
300.21/301.16	c bounds - >= 683 @ 299.107
300.21/301.16	c bounds - >= 684 @ 299.107
300.21/301.16	c bounds - >= 685 @ 299.107
300.21/301.16	c bounds - >= 686 @ 299.108
300.21/301.16	c bounds - >= 687 @ 299.108
300.21/301.16	c bounds - >= 688 @ 299.108
300.21/301.16	c bounds - >= 689 @ 299.108
300.21/301.16	c bounds - >= 690 @ 299.109
300.21/301.16	c bounds - >= 691 @ 299.109
300.21/301.16	c bounds - >= 692 @ 299.109
300.21/301.16	c bounds - >= 693 @ 299.109
300.21/301.16	c bounds - >= 694 @ 299.109
300.21/301.16	c bounds - >= 695 @ 299.11
300.21/301.16	c bounds - >= 696 @ 299.11
300.21/301.16	c bounds - >= 697 @ 299.11
300.21/301.16	c bounds - >= 698 @ 299.11
300.21/301.16	c bounds - >= 699 @ 299.111
300.21/301.16	c bounds - >= 700 @ 299.111
300.21/301.16	c bounds - >= 701 @ 299.111
300.21/301.16	c bounds - >= 702 @ 299.111
300.21/301.16	c bounds - >= 703 @ 299.111
300.21/301.16	c bounds - >= 704 @ 299.111
300.21/301.16	c bounds - >= 705 @ 299.111
300.21/301.16	c bounds - >= 706 @ 299.111
300.21/301.16	c bounds - >= 707 @ 299.112
300.21/301.16	c bounds - >= 708 @ 299.112
300.21/301.16	c bounds - >= 709 @ 299.112
300.21/301.16	c bounds - >= 710 @ 299.112
300.21/301.16	c bounds - >= 711 @ 299.112
300.21/301.16	c bounds - >= 712 @ 299.112
300.21/301.16	c bounds - >= 713 @ 299.112
300.21/301.16	c bounds - >= 714 @ 299.112
300.21/301.16	c bounds - >= 715 @ 299.113
300.21/301.16	c bounds - >= 716 @ 299.113
300.21/301.16	c bounds - >= 717 @ 299.113
300.21/301.16	c bounds - >= 718 @ 299.113
300.21/301.16	c bounds - >= 719 @ 299.113
300.21/301.16	c bounds - >= 720 @ 299.114
300.21/301.16	c bounds - >= 721 @ 299.114
300.21/301.16	c bounds - >= 722 @ 299.114
300.21/301.16	c bounds - >= 723 @ 299.114
300.21/301.16	c bounds - >= 724 @ 299.115
300.21/301.16	c bounds - >= 725 @ 299.115
300.21/301.16	c bounds - >= 726 @ 299.115
300.21/301.16	c bounds - >= 727 @ 299.115
300.21/301.16	c bounds - >= 728 @ 299.115
300.21/301.16	c bounds - >= 729 @ 299.115
300.21/301.16	c bounds - >= 730 @ 299.115
300.21/301.16	c bounds - >= 731 @ 299.115
300.21/301.16	c bounds - >= 732 @ 299.115
300.21/301.16	c bounds - >= 733 @ 299.115
300.21/301.16	c bounds - >= 734 @ 299.115
300.21/301.16	c bounds - >= 735 @ 299.115
300.21/301.16	c bounds - >= 736 @ 299.115
300.21/301.16	c bounds - >= 737 @ 299.115
300.21/301.16	c bounds - >= 738 @ 299.115
300.21/301.16	c bounds - >= 739 @ 299.115
300.21/301.16	c bounds - >= 740 @ 299.115
300.21/301.16	c bounds - >= 741 @ 299.115
300.21/301.16	c bounds - >= 742 @ 299.115
300.21/301.16	c bounds - >= 743 @ 299.115
300.21/301.16	c bounds - >= 744 @ 299.116
300.21/301.16	c bounds - >= 745 @ 299.116
300.21/301.16	c bounds - >= 746 @ 299.116
300.21/301.16	c bounds - >= 747 @ 299.116
300.21/301.16	c bounds - >= 748 @ 299.117
300.21/301.16	c bounds - >= 749 @ 299.117
300.21/301.16	c bounds - >= 750 @ 299.117
300.21/301.16	c bounds - >= 751 @ 299.117
300.21/301.16	c bounds - >= 752 @ 299.118
300.21/301.16	c bounds - >= 753 @ 299.118
300.21/301.16	c bounds - >= 754 @ 299.118
300.21/301.16	c bounds - >= 755 @ 299.118
300.21/301.16	c bounds - >= 756 @ 299.119
300.21/301.16	c bounds - >= 757 @ 299.119
300.21/301.16	c bounds - >= 758 @ 299.119
300.21/301.16	c bounds - >= 759 @ 299.119
300.21/301.16	c bounds - >= 760 @ 299.12
300.21/301.16	c bounds - >= 761 @ 299.12
300.21/301.16	c bounds - >= 762 @ 299.12
300.21/301.16	c bounds - >= 763 @ 299.121
300.21/301.16	c bounds - >= 764 @ 299.121
300.21/301.16	c bounds - >= 765 @ 299.121
300.21/301.16	c bounds - >= 766 @ 299.121
300.21/301.16	c bounds - >= 767 @ 299.121
300.21/301.16	c bounds - >= 768 @ 299.121
300.21/301.16	c bounds - >= 769 @ 299.121
300.21/301.16	c bounds - >= 770 @ 299.122
300.21/301.16	c bounds - >= 771 @ 299.122
300.21/301.16	c bounds - >= 772 @ 299.122
300.21/301.16	c bounds - >= 773 @ 299.122
300.21/301.16	c bounds - >= 774 @ 299.123
300.21/301.16	c bounds - >= 775 @ 299.123
300.21/301.16	c bounds - >= 776 @ 299.123
300.21/301.16	c bounds - >= 777 @ 299.123
300.21/301.16	c bounds - >= 778 @ 299.123
300.21/301.16	c bounds - >= 779 @ 299.123
300.21/301.16	c bounds - >= 780 @ 299.123
300.21/301.16	c bounds - >= 781 @ 299.123
300.21/301.16	c bounds - >= 782 @ 299.123
300.21/301.16	c bounds - >= 783 @ 299.123
300.21/301.16	c bounds - >= 784 @ 299.124
300.21/301.16	c bounds - >= 785 @ 299.124
300.21/301.16	c bounds - >= 786 @ 299.124
300.21/301.16	c bounds - >= 787 @ 299.125
300.21/301.16	c bounds - >= 788 @ 299.125
300.21/301.16	c bounds - >= 789 @ 299.126
300.21/301.16	c bounds - >= 790 @ 299.126
300.21/301.16	c bounds - >= 791 @ 299.126
300.21/301.16	c bounds - >= 792 @ 299.127
300.21/301.16	c bounds - >= 793 @ 299.127
300.21/301.16	c bounds - >= 794 @ 299.127
300.21/301.16	c bounds - >= 795 @ 299.127
300.21/301.16	c bounds - >= 796 @ 299.128
300.21/301.16	c bounds - >= 797 @ 299.128
300.21/301.16	c bounds - >= 798 @ 299.128
300.21/301.16	c bounds - >= 799 @ 299.129
300.21/301.16	c bounds - >= 800 @ 299.129
300.21/301.16	c bounds - >= 801 @ 299.13
300.21/301.16	c bounds - >= 802 @ 299.13
300.21/301.16	c bounds - >= 803 @ 299.131
300.21/301.16	c bounds - >= 804 @ 299.131
300.21/301.16	c bounds - >= 805 @ 299.131
300.21/301.16	c bounds - >= 806 @ 299.132
300.21/301.16	c #Conflicts:       1000 | #Constraints:       5154
300.21/301.16	c #Conflicts:       2000 | #Constraints:       6154
300.21/301.16	c INPROCESSING
300.21/301.16	c GARBAGE COLLECT
300.21/301.16	c #Conflicts:       3000 | #Constraints:       6003
391.56/392.77	c #Conflicts:       4000 | #Constraints:       7003
391.56/392.77	c INPROCESSING
391.56/392.77	c GARBAGE COLLECT
391.56/392.77	c #Conflicts:       5000 | #Constraints:       6378
391.56/392.77	c #Conflicts:       6000 | #Constraints:       7378
391.56/392.77	c INPROCESSING
391.56/392.77	c GARBAGE COLLECT
391.56/392.77	c #Conflicts:       7000 | #Constraints:       6363
391.56/392.77	c #Conflicts:       8000 | #Constraints:       7363
391.56/392.77	c #Conflicts:       9000 | #Constraints:       8363
391.56/392.77	c INPROCESSING
391.56/392.77	c GARBAGE COLLECT
391.56/392.77	c #Conflicts:      10000 | #Constraints:       7059
391.56/392.77	c #Conflicts:      11000 | #Constraints:       8059
391.56/392.77	c #Conflicts:      12000 | #Constraints:       9059
391.56/392.77	c INPROCESSING
391.56/392.77	c GARBAGE COLLECT
391.56/392.77	c #Conflicts:      13000 | #Constraints:       7500
391.56/392.77	c #Conflicts:      14000 | #Constraints:       8500
391.56/392.77	c #Conflicts:      15000 | #Constraints:       9500
391.56/392.77	c INPROCESSING
391.56/392.77	c GARBAGE COLLECT
391.56/392.77	c #Conflicts:      16000 | #Constraints:       7733
391.56/392.77	c #Conflicts:      17000 | #Constraints:       8733
391.56/392.77	c #Conflicts:      18000 | #Constraints:       9733
391.56/392.77	c INPROCESSING
391.56/392.77	c GARBAGE COLLECT
391.56/392.77	c #Conflicts:      19000 | #Constraints:       7746
391.56/392.77	c #Conflicts:      20000 | #Constraints:       8746
391.56/392.77	c #Conflicts:      21000 | #Constraints:       9746
391.56/392.77	c INPROCESSING
391.56/392.77	c GARBAGE COLLECT
391.56/392.77	c #Conflicts:      22000 | #Constraints:       7547
391.56/392.77	c #Conflicts:      23000 | #Constraints:       8547
391.56/392.77	c #Conflicts:      24000 | #Constraints:       9547
391.56/392.77	c #Conflicts:      25000 | #Constraints:      10547
391.56/392.77	c INPROCESSING
391.56/392.77	c GARBAGE COLLECT
391.56/392.77	c #Conflicts:      26000 | #Constraints:       8142
391.56/392.77	c #Conflicts:      27000 | #Constraints:       9142
391.56/392.77	c #Conflicts:      28000 | #Constraints:      10142
391.56/392.77	c #Conflicts:      29000 | #Constraints:      11142
391.56/392.77	c INPROCESSING
391.56/392.77	c GARBAGE COLLECT
391.56/392.77	c #Conflicts:      30000 | #Constraints:       8548
391.56/392.77	c #Conflicts:      31000 | #Constraints:       9548
391.56/392.77	c #Conflicts:      32000 | #Constraints:      10548
391.56/392.77	c #Conflicts:      33000 | #Constraints:      11548
391.56/392.77	c INPROCESSING
391.56/392.77	c GARBAGE COLLECT
391.56/392.77	c #Conflicts:      34000 | #Constraints:       8754
391.56/392.77	c #Conflicts:      35000 | #Constraints:       9754
391.56/392.77	c #Conflicts:      36000 | #Constraints:      10754
391.56/392.77	c #Conflicts:      37000 | #Constraints:      11754
391.56/392.77	c INPROCESSING
391.56/392.77	c GARBAGE COLLECT
391.56/392.77	c #Conflicts:      38000 | #Constraints:       8760
391.56/392.77	c #Conflicts:      39000 | #Constraints:       9760
391.56/392.77	c #Conflicts:      40000 | #Constraints:      10760
391.56/392.77	c #Conflicts:      41000 | #Constraints:      11760
391.56/392.77	c INPROCESSING
391.56/392.77	c GARBAGE COLLECT
391.56/392.77	c #Conflicts:      42000 | #Constraints:       8560
391.56/392.77	c #Conflicts:      43000 | #Constraints:       9560
391.56/392.77	c #Conflicts:      44000 | #Constraints:      10560
391.56/392.77	c #Conflicts:      45000 | #Constraints:      11560
391.56/392.77	c #Conflicts:      46000 | #Constraints:      12560
391.56/392.77	c INPROCESSING
391.56/392.77	c GARBAGE COLLECT
391.56/392.77	c #Conflicts:      47000 | #Constraints:       9156
391.56/392.77	c #Conflicts:      48000 | #Constraints:      10156
391.56/392.77	c #Conflicts:      49000 | #Constraints:      11156
391.56/392.77	c #Conflicts:      50000 | #Constraints:      12156
391.56/392.77	c #Conflicts:      51000 | #Constraints:      13156
391.56/392.77	c INPROCESSING
391.56/392.77	c GARBAGE COLLECT
391.56/392.77	c #Conflicts:      52000 | #Constraints:       9545
391.56/392.77	c #Conflicts:      53000 | #Constraints:      10545
391.56/392.77	c #Conflicts:      54000 | #Constraints:      11545
391.56/392.77	c #Conflicts:      55000 | #Constraints:      12545
391.56/392.77	c #Conflicts:      56000 | #Constraints:      13545
391.56/392.77	c INPROCESSING
391.56/392.77	c GARBAGE COLLECT
391.56/392.77	c #Conflicts:      57000 | #Constraints:       9745
391.56/392.77	c #Conflicts:      58000 | #Constraints:      10745
391.56/392.77	c #Conflicts:      59000 | #Constraints:      11745
391.56/392.77	c #Conflicts:      60000 | #Constraints:      12745
391.56/392.77	c #Conflicts:      61000 | #Constraints:      13745
391.56/392.77	c INPROCESSING
391.56/392.77	c GARBAGE COLLECT
391.56/392.77	c #Conflicts:      62000 | #Constraints:       9743
391.56/392.77	c #Conflicts:      63000 | #Constraints:      10743
391.56/392.77	c #Conflicts:      64000 | #Constraints:      11743
391.56/392.77	c #Conflicts:      65000 | #Constraints:      12743
391.56/392.77	c #Conflicts:      66000 | #Constraints:      13743
391.56/392.77	c INPROCESSING
391.56/392.77	c GARBAGE COLLECT
391.56/392.77	c #Conflicts:      67000 | #Constraints:       9541
391.56/392.77	c #Conflicts:      68000 | #Constraints:      10541
391.56/392.77	c #Conflicts:      69000 | #Constraints:      11541
391.56/392.77	c #Conflicts:      70000 | #Constraints:      12541
391.56/392.77	c #Conflicts:      71000 | #Constraints:      13541
554.69/556.37	c #Conflicts:      72000 | #Constraints:      14541
554.69/556.37	c INPROCESSING
554.69/556.37	c GARBAGE COLLECT
554.69/556.37	c #Conflicts:      73000 | #Constraints:      10139
554.69/556.37	c #Conflicts:      74000 | #Constraints:      11139
554.69/556.37	c #Conflicts:      75000 | #Constraints:      12139
554.69/556.37	c #Conflicts:      76000 | #Constraints:      13139
554.69/556.37	c #Conflicts:      77000 | #Constraints:      14139
554.69/556.37	c #Conflicts:      78000 | #Constraints:      15139
554.69/556.37	c INPROCESSING
554.69/556.37	c GARBAGE COLLECT
554.69/556.37	c #Conflicts:      79000 | #Constraints:      10538
554.69/556.37	c #Conflicts:      80000 | #Constraints:      11538
554.69/556.37	c #Conflicts:      81000 | #Constraints:      12538
554.69/556.37	c #Conflicts:      82000 | #Constraints:      13538
554.69/556.37	c #Conflicts:      83000 | #Constraints:      14538
554.69/556.37	c #Conflicts:      84000 | #Constraints:      15538
554.69/556.37	c INPROCESSING
554.69/556.37	c GARBAGE COLLECT
554.69/556.37	c #Conflicts:      85000 | #Constraints:      10742
554.69/556.37	c #Conflicts:      86000 | #Constraints:      11742
554.69/556.37	c #Conflicts:      87000 | #Constraints:      12742
554.69/556.37	c #Conflicts:      88000 | #Constraints:      13742
554.69/556.37	c #Conflicts:      89000 | #Constraints:      14742
554.69/556.37	c #Conflicts:      90000 | #Constraints:      15742
554.69/556.37	c INPROCESSING
554.69/556.37	c GARBAGE COLLECT
554.69/556.37	c #Conflicts:      91000 | #Constraints:      10748
554.69/556.37	c #Conflicts:      92000 | #Constraints:      11748
554.69/556.37	c #Conflicts:      93000 | #Constraints:      12748
554.69/556.37	c #Conflicts:      94000 | #Constraints:      13748
554.69/556.37	c #Conflicts:      95000 | #Constraints:      14748
554.69/556.37	c #Conflicts:      96000 | #Constraints:      15748
554.69/556.37	c INPROCESSING
554.69/556.37	c GARBAGE COLLECT
554.69/556.37	c #Conflicts:      97000 | #Constraints:      10544
554.69/556.37	c #Conflicts:      98000 | #Constraints:      11544
554.69/556.37	c #Conflicts:      99000 | #Constraints:      12544
554.69/556.37	c #Conflicts:     100000 | #Constraints:      13544
554.69/556.37	c #Conflicts:     101000 | #Constraints:      14544
554.69/556.37	c #Conflicts:     102000 | #Constraints:      15544
554.69/556.37	c #Conflicts:     103000 | #Constraints:      16544
554.69/556.37	c INPROCESSING
554.69/556.37	c GARBAGE COLLECT
554.69/556.37	c #Conflicts:     104000 | #Constraints:      11152
554.69/556.37	c #Conflicts:     105000 | #Constraints:      12152
554.69/556.37	c #Conflicts:     106000 | #Constraints:      13152
554.69/556.37	c #Conflicts:     107000 | #Constraints:      14152
554.69/556.37	c #Conflicts:     108000 | #Constraints:      15152
554.69/556.37	c #Conflicts:     109000 | #Constraints:      16152
554.69/556.37	c #Conflicts:     110000 | #Constraints:      17152
554.69/556.37	c INPROCESSING
554.69/556.37	c GARBAGE COLLECT
554.69/556.37	c #Conflicts:     111000 | #Constraints:      11554
554.69/556.37	c #Conflicts:     112000 | #Constraints:      12554
554.69/556.37	c #Conflicts:     113000 | #Constraints:      13554
554.69/556.37	c #Conflicts:     114000 | #Constraints:      14554
554.69/556.37	c #Conflicts:     115000 | #Constraints:      15554
554.69/556.37	c #Conflicts:     116000 | #Constraints:      16554
554.69/556.37	c #Conflicts:     117000 | #Constraints:      17554
554.69/556.37	c INPROCESSING
554.69/556.37	c GARBAGE COLLECT
554.69/556.37	c #Conflicts:     118000 | #Constraints:      11751
554.69/556.37	c #Conflicts:     119000 | #Constraints:      12751
554.69/556.37	c #Conflicts:     120000 | #Constraints:      13751
554.69/556.37	c #Conflicts:     121000 | #Constraints:      14751
554.69/556.37	c #Conflicts:     122000 | #Constraints:      15751
554.69/556.37	c #Conflicts:     123000 | #Constraints:      16751
554.69/556.37	c #Conflicts:     124000 | #Constraints:      17751
554.69/556.37	c INPROCESSING
554.69/556.37	c GARBAGE COLLECT
554.69/556.37	c #Conflicts:     125000 | #Constraints:      11749
554.69/556.37	c #Conflicts:     126000 | #Constraints:      12749
554.69/556.37	c #Conflicts:     127000 | #Constraints:      13749
554.69/556.37	c #Conflicts:     128000 | #Constraints:      14749
554.69/556.37	c #Conflicts:     129000 | #Constraints:      15749
554.69/556.37	c #Conflicts:     130000 | #Constraints:      16749
554.69/556.37	c #Conflicts:     131000 | #Constraints:      17749
554.69/556.37	c INPROCESSING
554.69/556.37	c GARBAGE COLLECT
554.69/556.37	c #Conflicts:     132000 | #Constraints:      11547
554.69/556.37	c #Conflicts:     133000 | #Constraints:      12547
554.69/556.37	c #Conflicts:     134000 | #Constraints:      13547
554.69/556.37	c #Conflicts:     135000 | #Constraints:      14547
554.69/556.37	c #Conflicts:     136000 | #Constraints:      15547
554.69/556.37	c #Conflicts:     137000 | #Constraints:      16547
554.69/556.37	c #Conflicts:     138000 | #Constraints:      17547
554.69/556.37	c #Conflicts:     139000 | #Constraints:      18547
554.69/556.37	c INPROCESSING
554.69/556.37	c GARBAGE COLLECT
554.69/556.37	c #Conflicts:     140000 | #Constraints:      12150
554.69/556.37	c #Conflicts:     141000 | #Constraints:      13150
554.69/556.37	c #Conflicts:     142000 | #Constraints:      14150
554.69/556.37	c #Conflicts:     143000 | #Constraints:      15150
768.15/770.41	c #Conflicts:     144000 | #Constraints:      16150
768.15/770.41	c #Conflicts:     145000 | #Constraints:      17150
768.15/770.41	c #Conflicts:     146000 | #Constraints:      18150
768.15/770.41	c #Conflicts:     147000 | #Constraints:      19150
768.15/770.41	c INPROCESSING
768.15/770.41	c GARBAGE COLLECT
768.15/770.41	c #Conflicts:     148000 | #Constraints:      12550
768.15/770.41	c #Conflicts:     149000 | #Constraints:      13550
768.15/770.41	c #Conflicts:     150000 | #Constraints:      14550
768.15/770.41	c #Conflicts:     151000 | #Constraints:      15550
768.15/770.41	c #Conflicts:     152000 | #Constraints:      16550
768.15/770.41	c #Conflicts:     153000 | #Constraints:      17550
768.15/770.41	c #Conflicts:     154000 | #Constraints:      18550
768.15/770.41	c #Conflicts:     155000 | #Constraints:      19550
768.15/770.41	c INPROCESSING
768.15/770.41	c GARBAGE COLLECT
768.15/770.41	c #Conflicts:     156000 | #Constraints:      12748
768.15/770.41	c #Conflicts:     157000 | #Constraints:      13748
768.15/770.41	c #Conflicts:     158000 | #Constraints:      14748
768.15/770.41	c #Conflicts:     159000 | #Constraints:      15748
768.15/770.41	c #Conflicts:     160000 | #Constraints:      16748
768.15/770.41	c #Conflicts:     161000 | #Constraints:      17748
768.15/770.41	c #Conflicts:     162000 | #Constraints:      18748
768.15/770.41	c #Conflicts:     163000 | #Constraints:      19748
768.15/770.41	c INPROCESSING
768.15/770.41	c GARBAGE COLLECT
768.15/770.41	c #Conflicts:     164000 | #Constraints:      12748
768.15/770.41	c #Conflicts:     165000 | #Constraints:      13748
768.15/770.41	c #Conflicts:     166000 | #Constraints:      14748
768.15/770.41	c #Conflicts:     167000 | #Constraints:      15748
768.15/770.41	c #Conflicts:     168000 | #Constraints:      16748
768.15/770.41	c #Conflicts:     169000 | #Constraints:      17748
768.15/770.41	c #Conflicts:     170000 | #Constraints:      18748
768.15/770.41	c #Conflicts:     171000 | #Constraints:      19748
768.15/770.41	c INPROCESSING
768.15/770.41	c GARBAGE COLLECT
768.15/770.41	c #Conflicts:     172000 | #Constraints:      12545
768.15/770.41	c #Conflicts:     173000 | #Constraints:      13545
768.15/770.41	c #Conflicts:     174000 | #Constraints:      14545
768.15/770.41	c #Conflicts:     175000 | #Constraints:      15545
768.15/770.41	c #Conflicts:     176000 | #Constraints:      16545
768.15/770.41	c #Conflicts:     177000 | #Constraints:      17545
768.15/770.41	c #Conflicts:     178000 | #Constraints:      18545
768.15/770.41	c #Conflicts:     179000 | #Constraints:      19545
768.15/770.41	c #Conflicts:     180000 | #Constraints:      20545
768.15/770.41	c INPROCESSING
768.15/770.41	c GARBAGE COLLECT
768.15/770.41	c #Conflicts:     181000 | #Constraints:      13146
768.15/770.41	c #Conflicts:     182000 | #Constraints:      14146
768.15/770.41	c #Conflicts:     183000 | #Constraints:      15146
768.15/770.41	c #Conflicts:     184000 | #Constraints:      16146
768.15/770.41	c #Conflicts:     185000 | #Constraints:      17146
768.15/770.41	c #Conflicts:     186000 | #Constraints:      18146
768.15/770.41	c #Conflicts:     187000 | #Constraints:      19146
768.15/770.41	c #Conflicts:     188000 | #Constraints:      20146
768.15/770.41	c #Conflicts:     189000 | #Constraints:      21146
768.15/770.41	c INPROCESSING
768.15/770.41	c GARBAGE COLLECT
768.15/770.41	c #Conflicts:     190000 | #Constraints:      13552
768.15/770.41	c #Conflicts:     191000 | #Constraints:      14552
768.15/770.41	c #Conflicts:     192000 | #Constraints:      15552
768.15/770.41	c #Conflicts:     193000 | #Constraints:      16552
768.15/770.41	c #Conflicts:     194000 | #Constraints:      17552
768.15/770.41	c #Conflicts:     195000 | #Constraints:      18552
768.15/770.41	c #Conflicts:     196000 | #Constraints:      19552
768.15/770.41	c #Conflicts:     197000 | #Constraints:      20552
768.15/770.41	c #Conflicts:     198000 | #Constraints:      21552
768.15/770.41	c INPROCESSING
768.15/770.41	c GARBAGE COLLECT
768.15/770.41	c #Conflicts:     199000 | #Constraints:      13750
768.15/770.41	c #Conflicts:     200000 | #Constraints:      14750
768.15/770.41	c #Conflicts:     201000 | #Constraints:      15750
768.15/770.41	c #Conflicts:     202000 | #Constraints:      16750
768.15/770.41	c #Conflicts:     203000 | #Constraints:      17750
768.15/770.41	c #Conflicts:     204000 | #Constraints:      18750
768.15/770.41	c #Conflicts:     205000 | #Constraints:      19750
768.15/770.41	c #Conflicts:     206000 | #Constraints:      20750
768.15/770.41	c #Conflicts:     207000 | #Constraints:      21750
768.15/770.41	c INPROCESSING
768.15/770.41	c GARBAGE COLLECT
768.15/770.41	c #Conflicts:     208000 | #Constraints:      13757
768.15/770.41	c #Conflicts:     209000 | #Constraints:      14757
768.15/770.41	c #Conflicts:     210000 | #Constraints:      15757
768.15/770.41	c #Conflicts:     211000 | #Constraints:      16757
768.15/770.41	c #Conflicts:     212000 | #Constraints:      17757
768.15/770.41	c #Conflicts:     213000 | #Constraints:      18757
768.15/770.41	c #Conflicts:     214000 | #Constraints:      19757
768.15/770.41	c #Conflicts:     215000 | #Constraints:      20757
768.15/770.41	c #Conflicts:     216000 | #Constraints:      21757
1010.39/1013.42	c INPROCESSING
1010.39/1013.42	c GARBAGE COLLECT
1010.39/1013.42	c #Conflicts:     217000 | #Constraints:      13561
1010.39/1013.42	c #Conflicts:     218000 | #Constraints:      14561
1010.39/1013.42	c #Conflicts:     219000 | #Constraints:      15561
1010.39/1013.42	c #Conflicts:     220000 | #Constraints:      16561
1010.39/1013.42	c #Conflicts:     221000 | #Constraints:      17561
1010.39/1013.42	c #Conflicts:     222000 | #Constraints:      18561
1010.39/1013.42	c #Conflicts:     223000 | #Constraints:      19561
1010.39/1013.42	c #Conflicts:     224000 | #Constraints:      20561
1010.39/1013.42	c #Conflicts:     225000 | #Constraints:      21561
1010.39/1013.42	c #Conflicts:     226000 | #Constraints:      22561
1010.39/1013.42	c INPROCESSING
1010.39/1013.42	c GARBAGE COLLECT
1010.39/1013.42	c #Conflicts:     227000 | #Constraints:      14159
1010.39/1013.42	c #Conflicts:     228000 | #Constraints:      15159
1010.39/1013.42	c #Conflicts:     229000 | #Constraints:      16159
1010.39/1013.42	c #Conflicts:     230000 | #Constraints:      17159
1010.39/1013.42	c #Conflicts:     231000 | #Constraints:      18159
1010.39/1013.42	c #Conflicts:     232000 | #Constraints:      19159
1010.39/1013.42	c #Conflicts:     233000 | #Constraints:      20159
1010.39/1013.42	c #Conflicts:     234000 | #Constraints:      21159
1010.39/1013.42	c #Conflicts:     235000 | #Constraints:      22159
1010.39/1013.42	c #Conflicts:     236000 | #Constraints:      23159
1010.39/1013.42	c INPROCESSING
1010.39/1013.42	c GARBAGE COLLECT
1010.39/1013.42	c #Conflicts:     237000 | #Constraints:      14549
1010.39/1013.42	c #Conflicts:     238000 | #Constraints:      15549
1010.39/1013.42	c #Conflicts:     239000 | #Constraints:      16549
1010.39/1013.42	c #Conflicts:     240000 | #Constraints:      17549
1010.39/1013.42	c #Conflicts:     241000 | #Constraints:      18549
1010.39/1013.42	c #Conflicts:     242000 | #Constraints:      19549
1010.39/1013.42	c #Conflicts:     243000 | #Constraints:      20549
1010.39/1013.42	c #Conflicts:     244000 | #Constraints:      21549
1010.39/1013.42	c #Conflicts:     245000 | #Constraints:      22549
1010.39/1013.42	c #Conflicts:     246000 | #Constraints:      23549
1010.39/1013.42	c INPROCESSING
1010.39/1013.42	c GARBAGE COLLECT
1010.39/1013.42	c #Conflicts:     247000 | #Constraints:      14754
1010.39/1013.42	c #Conflicts:     248000 | #Constraints:      15754
1010.39/1013.42	c #Conflicts:     249000 | #Constraints:      16754
1010.39/1013.42	c #Conflicts:     250000 | #Constraints:      17754
1010.39/1013.42	c #Conflicts:     251000 | #Constraints:      18754
1010.39/1013.42	c #Conflicts:     252000 | #Constraints:      19754
1010.39/1013.42	c #Conflicts:     253000 | #Constraints:      20754
1010.39/1013.42	c #Conflicts:     254000 | #Constraints:      21754
1010.39/1013.42	c #Conflicts:     255000 | #Constraints:      22754
1010.39/1013.42	c #Conflicts:     256000 | #Constraints:      23754
1010.39/1013.42	c INPROCESSING
1010.39/1013.42	c GARBAGE COLLECT
1010.39/1013.42	c #Conflicts:     257000 | #Constraints:      14750
1010.39/1013.42	c #Conflicts:     258000 | #Constraints:      15750
1010.39/1013.42	c #Conflicts:     259000 | #Constraints:      16750
1010.39/1013.42	c #Conflicts:     260000 | #Constraints:      17750
1010.39/1013.42	c #Conflicts:     261000 | #Constraints:      18750
1010.39/1013.42	c #Conflicts:     262000 | #Constraints:      19750
1010.39/1013.42	c #Conflicts:     263000 | #Constraints:      20750
1010.39/1013.42	c #Conflicts:     264000 | #Constraints:      21750
1010.39/1013.42	c #Conflicts:     265000 | #Constraints:      22750
1010.39/1013.42	c #Conflicts:     266000 | #Constraints:      23750
1010.39/1013.42	c INPROCESSING
1010.39/1013.42	c GARBAGE COLLECT
1010.39/1013.42	c #Conflicts:     267000 | #Constraints:      14553
1010.39/1013.42	c #Conflicts:     268000 | #Constraints:      15553
1010.39/1013.42	c #Conflicts:     269000 | #Constraints:      16553
1010.39/1013.42	c #Conflicts:     270000 | #Constraints:      17553
1010.39/1013.42	c #Conflicts:     271000 | #Constraints:      18553
1010.39/1013.42	c #Conflicts:     272000 | #Constraints:      19553
1010.39/1013.42	c #Conflicts:     273000 | #Constraints:      20553
1010.39/1013.42	c #Conflicts:     274000 | #Constraints:      21553
1010.39/1013.42	c #Conflicts:     275000 | #Constraints:      22553
1010.39/1013.42	c #Conflicts:     276000 | #Constraints:      23553
1010.39/1013.42	c #Conflicts:     277000 | #Constraints:      24553
1010.39/1013.42	c INPROCESSING
1010.39/1013.42	c GARBAGE COLLECT
1010.39/1013.42	c #Conflicts:     278000 | #Constraints:      15158
1010.39/1013.42	c #Conflicts:     279000 | #Constraints:      16158
1010.39/1013.42	c #Conflicts:     280000 | #Constraints:      17158
1010.39/1013.42	c #Conflicts:     281000 | #Constraints:      18158
1010.39/1013.42	c #Conflicts:     282000 | #Constraints:      19158
1010.39/1013.42	c #Conflicts:     283000 | #Constraints:      20158
1010.39/1013.42	c #Conflicts:     284000 | #Constraints:      21158
1010.39/1013.42	c #Conflicts:     285000 | #Constraints:      22158
1010.39/1013.42	c #Conflicts:     286000 | #Constraints:      23158
1010.39/1013.42	c #Conflicts:     287000 | #Constraints:      24158
1010.39/1013.42	c #Conflicts:     288000 | #Constraints:      25158
1010.39/1013.42	c INPROCESSING
1010.39/1013.42	c GARBAGE COLLECT
1010.39/1013.42	c #Conflicts:     289000 | #Constraints:      15551
1010.39/1013.42	c #Conflicts:     290000 | #Constraints:      16551
1296.50/1300.46	c #Conflicts:     291000 | #Constraints:      17551
1296.50/1300.46	c #Conflicts:     292000 | #Constraints:      18551
1296.50/1300.46	c #Conflicts:     293000 | #Constraints:      19551
1296.50/1300.46	c #Conflicts:     294000 | #Constraints:      20551
1296.50/1300.46	c #Conflicts:     295000 | #Constraints:      21551
1296.50/1300.46	c #Conflicts:     296000 | #Constraints:      22551
1296.50/1300.46	c #Conflicts:     297000 | #Constraints:      23551
1296.50/1300.46	c #Conflicts:     298000 | #Constraints:      24551
1296.50/1300.46	c #Conflicts:     299000 | #Constraints:      25551
1296.50/1300.46	c INPROCESSING
1296.50/1300.46	c GARBAGE COLLECT
1296.50/1300.46	c #Conflicts:     300000 | #Constraints:      15745
1296.50/1300.46	c #Conflicts:     301000 | #Constraints:      16745
1296.50/1300.46	c #Conflicts:     302000 | #Constraints:      17745
1296.50/1300.46	c #Conflicts:     303000 | #Constraints:      18745
1296.50/1300.46	c #Conflicts:     304000 | #Constraints:      19745
1296.50/1300.46	c #Conflicts:     305000 | #Constraints:      20745
1296.50/1300.46	c #Conflicts:     306000 | #Constraints:      21745
1296.50/1300.46	c #Conflicts:     307000 | #Constraints:      22745
1296.50/1300.46	c #Conflicts:     308000 | #Constraints:      23745
1296.50/1300.46	c #Conflicts:     309000 | #Constraints:      24745
1296.50/1300.46	c #Conflicts:     310000 | #Constraints:      25745
1296.50/1300.46	c INPROCESSING
1296.50/1300.46	c GARBAGE COLLECT
1296.50/1300.46	c #Conflicts:     311000 | #Constraints:      15753
1296.50/1300.46	c #Conflicts:     312000 | #Constraints:      16753
1296.50/1300.46	c #Conflicts:     313000 | #Constraints:      17753
1296.50/1300.46	c #Conflicts:     314000 | #Constraints:      18753
1296.50/1300.46	c #Conflicts:     315000 | #Constraints:      19753
1296.50/1300.46	c #Conflicts:     316000 | #Constraints:      20753
1296.50/1300.46	c #Conflicts:     317000 | #Constraints:      21753
1296.50/1300.46	c #Conflicts:     318000 | #Constraints:      22753
1296.50/1300.46	c #Conflicts:     319000 | #Constraints:      23753
1296.50/1300.46	c #Conflicts:     320000 | #Constraints:      24753
1296.50/1300.46	c #Conflicts:     321000 | #Constraints:      25753
1296.50/1300.46	c INPROCESSING
1296.50/1300.46	c GARBAGE COLLECT
1296.50/1300.46	c #Conflicts:     322000 | #Constraints:      15553
1296.50/1300.46	c #Conflicts:     323000 | #Constraints:      16553
1296.50/1300.46	c #Conflicts:     324000 | #Constraints:      17553
1296.50/1300.46	c #Conflicts:     325000 | #Constraints:      18553
1296.50/1300.46	c #Conflicts:     326000 | #Constraints:      19553
1296.50/1300.46	c #Conflicts:     327000 | #Constraints:      20553
1296.50/1300.46	c #Conflicts:     328000 | #Constraints:      21553
1296.50/1300.46	c #Conflicts:     329000 | #Constraints:      22553
1296.50/1300.46	c #Conflicts:     330000 | #Constraints:      23553
1296.50/1300.46	c #Conflicts:     331000 | #Constraints:      24553
1296.50/1300.46	c #Conflicts:     332000 | #Constraints:      25553
1296.50/1300.46	c #Conflicts:     333000 | #Constraints:      26553
1296.50/1300.46	c INPROCESSING
1296.50/1300.46	c GARBAGE COLLECT
1296.50/1300.46	c #Conflicts:     334000 | #Constraints:      16156
1296.50/1300.46	c #Conflicts:     335000 | #Constraints:      17156
1296.50/1300.46	c #Conflicts:     336000 | #Constraints:      18156
1296.50/1300.46	c #Conflicts:     337000 | #Constraints:      19156
1296.50/1300.46	c #Conflicts:     338000 | #Constraints:      20156
1296.50/1300.46	c #Conflicts:     339000 | #Constraints:      21156
1296.50/1300.46	c #Conflicts:     340000 | #Constraints:      22156
1296.50/1300.46	c #Conflicts:     341000 | #Constraints:      23156
1296.50/1300.46	c #Conflicts:     342000 | #Constraints:      24156
1296.50/1300.46	c #Conflicts:     343000 | #Constraints:      25156
1296.50/1300.46	c #Conflicts:     344000 | #Constraints:      26156
1296.50/1300.46	c #Conflicts:     345000 | #Constraints:      27156
1296.50/1300.46	c INPROCESSING
1296.50/1300.46	c GARBAGE COLLECT
1296.50/1300.46	c #Conflicts:     346000 | #Constraints:      16553
1296.50/1300.46	c #Conflicts:     347000 | #Constraints:      17553
1296.50/1300.46	c #Conflicts:     348000 | #Constraints:      18553
1296.50/1300.46	c #Conflicts:     349000 | #Constraints:      19553
1296.50/1300.46	c #Conflicts:     350000 | #Constraints:      20553
1296.50/1300.46	c #Conflicts:     351000 | #Constraints:      21553
1296.50/1300.46	c #Conflicts:     352000 | #Constraints:      22553
1296.50/1300.46	c #Conflicts:     353000 | #Constraints:      23553
1296.50/1300.46	c #Conflicts:     354000 | #Constraints:      24553
1296.50/1300.46	c #Conflicts:     355000 | #Constraints:      25553
1296.50/1300.46	c #Conflicts:     356000 | #Constraints:      26553
1296.50/1300.46	c #Conflicts:     357000 | #Constraints:      27553
1296.50/1300.46	c INPROCESSING
1296.50/1300.46	c GARBAGE COLLECT
1296.50/1300.46	c #Conflicts:     358000 | #Constraints:      16753
1296.50/1300.46	c #Conflicts:     359000 | #Constraints:      17753
1296.50/1300.46	c #Conflicts:     360000 | #Constraints:      18753
1296.50/1300.46	c #Conflicts:     361000 | #Constraints:      19753
1296.50/1300.46	c #Conflicts:     362000 | #Constraints:      20753
1296.50/1300.46	c #Conflicts:     363000 | #Constraints:      21753
1296.50/1300.46	c #Conflicts:     364000 | #Constraints:      22753
1296.50/1300.46	c #Conflicts:     365000 | #Constraints:      23753
1609.91/1614.85	c #Conflicts:     366000 | #Constraints:      24753
1609.91/1614.85	c #Conflicts:     367000 | #Constraints:      25753
1609.91/1614.85	c #Conflicts:     368000 | #Constraints:      26753
1609.91/1614.85	c #Conflicts:     369000 | #Constraints:      27753
1609.91/1614.85	c INPROCESSING
1609.91/1614.85	c GARBAGE COLLECT
1609.91/1614.85	c #Conflicts:     370000 | #Constraints:      16750
1609.91/1614.85	c #Conflicts:     371000 | #Constraints:      17750
1609.91/1614.85	c #Conflicts:     372000 | #Constraints:      18750
1609.91/1614.85	c #Conflicts:     373000 | #Constraints:      19750
1609.91/1614.85	c #Conflicts:     374000 | #Constraints:      20750
1609.91/1614.85	c #Conflicts:     375000 | #Constraints:      21750
1609.91/1614.85	c #Conflicts:     376000 | #Constraints:      22750
1609.91/1614.85	c #Conflicts:     377000 | #Constraints:      23750
1609.91/1614.85	c #Conflicts:     378000 | #Constraints:      24750
1609.91/1614.85	c #Conflicts:     379000 | #Constraints:      25750
1609.91/1614.85	c #Conflicts:     380000 | #Constraints:      26750
1609.91/1614.85	c #Conflicts:     381000 | #Constraints:      27750
1609.91/1614.85	c INPROCESSING
1609.91/1614.85	c GARBAGE COLLECT
1609.91/1614.85	c #Conflicts:     382000 | #Constraints:      16552
1609.91/1614.85	c #Conflicts:     383000 | #Constraints:      17552
1609.91/1614.85	c #Conflicts:     384000 | #Constraints:      18552
1609.91/1614.85	c #Conflicts:     385000 | #Constraints:      19552
1609.91/1614.85	c #Conflicts:     386000 | #Constraints:      20552
1609.91/1614.85	c #Conflicts:     387000 | #Constraints:      21552
1609.91/1614.85	c #Conflicts:     388000 | #Constraints:      22552
1609.91/1614.85	c #Conflicts:     389000 | #Constraints:      23552
1609.91/1614.85	c #Conflicts:     390000 | #Constraints:      24552
1609.91/1614.85	c #Conflicts:     391000 | #Constraints:      25552
1609.91/1614.85	c #Conflicts:     392000 | #Constraints:      26552
1609.91/1614.85	c #Conflicts:     393000 | #Constraints:      27552
1609.91/1614.85	c #Conflicts:     394000 | #Constraints:      28552
1609.91/1614.85	c INPROCESSING
1609.91/1614.85	c GARBAGE COLLECT
1609.91/1614.85	c #Conflicts:     395000 | #Constraints:      17147
1609.91/1614.85	c #Conflicts:     396000 | #Constraints:      18147
1609.91/1614.85	c #Conflicts:     397000 | #Constraints:      19147
1609.91/1614.85	c #Conflicts:     398000 | #Constraints:      20147
1609.91/1614.85	c #Conflicts:     399000 | #Constraints:      21147
1609.91/1614.85	c #Conflicts:     400000 | #Constraints:      22147
1609.91/1614.85	c #Conflicts:     401000 | #Constraints:      23147
1609.91/1614.85	c #Conflicts:     402000 | #Constraints:      24147
1609.91/1614.85	c #Conflicts:     403000 | #Constraints:      25147
1609.91/1614.85	c #Conflicts:     404000 | #Constraints:      26147
1609.91/1614.85	c #Conflicts:     405000 | #Constraints:      27147
1609.91/1614.85	c #Conflicts:     406000 | #Constraints:      28147
1609.91/1614.85	c #Conflicts:     407000 | #Constraints:      29147
1609.91/1614.85	c INPROCESSING
1609.91/1614.85	c GARBAGE COLLECT
1609.91/1614.85	c #Conflicts:     408000 | #Constraints:      17548
1609.91/1614.85	c #Conflicts:     409000 | #Constraints:      18548
1609.91/1614.85	c #Conflicts:     410000 | #Constraints:      19548
1609.91/1614.85	c #Conflicts:     411000 | #Constraints:      20548
1609.91/1614.85	c #Conflicts:     412000 | #Constraints:      21548
1609.91/1614.85	c #Conflicts:     413000 | #Constraints:      22548
1609.91/1614.85	c #Conflicts:     414000 | #Constraints:      23548
1609.91/1614.85	c #Conflicts:     415000 | #Constraints:      24548
1609.91/1614.85	c #Conflicts:     416000 | #Constraints:      25548
1609.91/1614.85	c #Conflicts:     417000 | #Constraints:      26548
1609.91/1614.85	c #Conflicts:     418000 | #Constraints:      27548
1609.91/1614.85	c #Conflicts:     419000 | #Constraints:      28548
1609.91/1614.85	c #Conflicts:     420000 | #Constraints:      29548
1609.91/1614.85	c INPROCESSING
1609.91/1614.85	c GARBAGE COLLECT
1609.91/1614.85	c #Conflicts:     421000 | #Constraints:      17756
1609.91/1614.85	c #Conflicts:     422000 | #Constraints:      18756
1609.91/1614.85	c #Conflicts:     423000 | #Constraints:      19756
1609.91/1614.85	c #Conflicts:     424000 | #Constraints:      20756
1609.91/1614.85	c #Conflicts:     425000 | #Constraints:      21756
1609.91/1614.85	c #Conflicts:     426000 | #Constraints:      22756
1609.91/1614.85	c #Conflicts:     427000 | #Constraints:      23756
1609.91/1614.85	c #Conflicts:     428000 | #Constraints:      24756
1609.91/1614.85	c #Conflicts:     429000 | #Constraints:      25756
1609.91/1614.85	c #Conflicts:     430000 | #Constraints:      26756
1609.91/1614.85	c #Conflicts:     431000 | #Constraints:      27756
1609.91/1614.85	c #Conflicts:     432000 | #Constraints:      28756
1609.91/1614.85	c #Conflicts:     433000 | #Constraints:      29756
1609.91/1614.85	c INPROCESSING
1609.91/1614.85	c GARBAGE COLLECT
1609.91/1614.85	c #Conflicts:     434000 | #Constraints:      17766
1609.91/1614.85	c #Conflicts:     435000 | #Constraints:      18766
1609.91/1614.85	c #Conflicts:     436000 | #Constraints:      19766
1609.91/1614.85	c #Conflicts:     437000 | #Constraints:      20766
1609.91/1614.85	c #Conflicts:     438000 | #Constraints:      21766
1609.91/1614.85	c #Conflicts:     439000 | #Constraints:      22766
1609.91/1614.85	c #Conflicts:     440000 | #Constraints:      23766
1902.59/1908.41	c #Conflicts:     441000 | #Constraints:      24766
1902.59/1908.41	c #Conflicts:     442000 | #Constraints:      25766
1902.59/1908.41	c #Conflicts:     443000 | #Constraints:      26766
1902.59/1908.41	c #Conflicts:     444000 | #Constraints:      27766
1902.59/1908.41	c #Conflicts:     445000 | #Constraints:      28766
1902.59/1908.41	c #Conflicts:     446000 | #Constraints:      29766
1902.59/1908.41	c INPROCESSING
1902.59/1908.41	c GARBAGE COLLECT
1902.59/1908.41	c #Conflicts:     447000 | #Constraints:      17561
1902.59/1908.41	c #Conflicts:     448000 | #Constraints:      18561
1902.59/1908.41	c #Conflicts:     449000 | #Constraints:      19561
1902.59/1908.41	c #Conflicts:     450000 | #Constraints:      20561
1902.59/1908.41	c #Conflicts:     451000 | #Constraints:      21561
1902.59/1908.41	c #Conflicts:     452000 | #Constraints:      22561
1902.59/1908.41	c #Conflicts:     453000 | #Constraints:      23561
1902.59/1908.41	c #Conflicts:     454000 | #Constraints:      24561
1902.59/1908.41	c #Conflicts:     455000 | #Constraints:      25561
1902.59/1908.41	c #Conflicts:     456000 | #Constraints:      26561
1902.59/1908.41	c #Conflicts:     457000 | #Constraints:      27561
1902.59/1908.41	c #Conflicts:     458000 | #Constraints:      28561
1902.59/1908.41	c #Conflicts:     459000 | #Constraints:      29561
1902.59/1908.41	c #Conflicts:     460000 | #Constraints:      30561
1902.59/1908.41	c INPROCESSING
1902.59/1908.41	c GARBAGE COLLECT
1902.59/1908.41	c #Conflicts:     461000 | #Constraints:      18179
1902.59/1908.41	c #Conflicts:     462000 | #Constraints:      19179
1902.59/1908.41	c #Conflicts:     463000 | #Constraints:      20179
1902.59/1908.41	c #Conflicts:     464000 | #Constraints:      21179
1902.59/1908.41	c #Conflicts:     465000 | #Constraints:      22179
1902.59/1908.41	c #Conflicts:     466000 | #Constraints:      23179
1902.59/1908.41	c #Conflicts:     467000 | #Constraints:      24179
1902.59/1908.41	c #Conflicts:     468000 | #Constraints:      25179
1902.59/1908.41	c #Conflicts:     469000 | #Constraints:      26179
1902.59/1908.41	c #Conflicts:     470000 | #Constraints:      27179
1902.59/1908.41	c #Conflicts:     471000 | #Constraints:      28179
1902.59/1908.41	c #Conflicts:     472000 | #Constraints:      29179
1902.59/1908.41	c #Conflicts:     473000 | #Constraints:      30179
1902.59/1908.41	c #Conflicts:     474000 | #Constraints:      31179
1902.59/1908.41	c INPROCESSING
1902.59/1908.41	c GARBAGE COLLECT
1902.59/1908.41	c #Conflicts:     475000 | #Constraints:      18567
1902.59/1908.41	c #Conflicts:     476000 | #Constraints:      19567
1902.59/1908.41	c #Conflicts:     477000 | #Constraints:      20567
1902.59/1908.41	c #Conflicts:     478000 | #Constraints:      21567
1902.59/1908.41	c #Conflicts:     479000 | #Constraints:      22567
1902.59/1908.41	c #Conflicts:     480000 | #Constraints:      23567
1902.59/1908.41	c #Conflicts:     481000 | #Constraints:      24567
1902.59/1908.41	c #Conflicts:     482000 | #Constraints:      25567
1902.59/1908.41	c #Conflicts:     483000 | #Constraints:      26567
1902.59/1908.41	c #Conflicts:     484000 | #Constraints:      27567
1902.59/1908.41	c #Conflicts:     485000 | #Constraints:      28567
1902.59/1908.41	c #Conflicts:     486000 | #Constraints:      29567
1902.59/1908.41	c #Conflicts:     487000 | #Constraints:      30567
1902.59/1908.41	c #Conflicts:     488000 | #Constraints:      31567
1902.59/1908.41	c INPROCESSING
1902.59/1908.41	c GARBAGE COLLECT
1902.59/1908.41	c #Conflicts:     489000 | #Constraints:      18764
1902.59/1908.41	c #Conflicts:     490000 | #Constraints:      19764
1902.59/1908.41	c #Conflicts:     491000 | #Constraints:      20764
1902.59/1908.41	c #Conflicts:     492000 | #Constraints:      21764
1902.59/1908.41	c #Conflicts:     493000 | #Constraints:      22764
1902.59/1908.41	c #Conflicts:     494000 | #Constraints:      23764
1902.59/1908.41	c #Conflicts:     495000 | #Constraints:      24764
1902.59/1908.41	c #Conflicts:     496000 | #Constraints:      25764
1902.59/1908.41	c #Conflicts:     497000 | #Constraints:      26764
1902.59/1908.41	c #Conflicts:     498000 | #Constraints:      27764
1902.59/1908.41	c #Conflicts:     499000 | #Constraints:      28764
1902.59/1908.41	c #Conflicts:     500000 | #Constraints:      29764
1902.59/1908.41	c #Conflicts:     501000 | #Constraints:      30764
1902.59/1908.41	c #Conflicts:     502000 | #Constraints:      31764
1902.59/1908.41	c INPROCESSING
1902.59/1908.41	c GARBAGE COLLECT
1902.59/1908.41	c #Conflicts:     503000 | #Constraints:      18767
1902.59/1908.41	c #Conflicts:     504000 | #Constraints:      19767
1902.59/1908.41	c #Conflicts:     505000 | #Constraints:      20767
1902.59/1908.41	c #Conflicts:     506000 | #Constraints:      21767
1902.59/1908.41	c #Conflicts:     507000 | #Constraints:      22767
1902.59/1908.41	c #Conflicts:     508000 | #Constraints:      23767
1902.59/1908.41	c #Conflicts:     509000 | #Constraints:      24767
1902.59/1908.41	c #Conflicts:     510000 | #Constraints:      25767
1902.59/1908.41	c #Conflicts:     511000 | #Constraints:      26767
1902.59/1908.41	c #Conflicts:     512000 | #Constraints:      27767
1902.59/1908.41	c #Conflicts:     513000 | #Constraints:      28767
1902.59/1908.41	c #Conflicts:     514000 | #Constraints:      29767
1902.59/1908.41	c #Conflicts:     515000 | #Constraints:      30767
1902.59/1908.41	c #Conflicts:     516000 | #Constraints:      31767
2207.12/2213.91	c INPROCESSING
2207.12/2213.91	c GARBAGE COLLECT
2207.12/2213.91	c #Conflicts:     517000 | #Constraints:      18559
2207.12/2213.91	c #Conflicts:     518000 | #Constraints:      19559
2207.12/2213.91	c #Conflicts:     519000 | #Constraints:      20559
2207.12/2213.91	c #Conflicts:     520000 | #Constraints:      21559
2207.12/2213.91	c #Conflicts:     521000 | #Constraints:      22559
2207.12/2213.91	c #Conflicts:     522000 | #Constraints:      23559
2207.12/2213.91	c #Conflicts:     523000 | #Constraints:      24559
2207.12/2213.91	c #Conflicts:     524000 | #Constraints:      25559
2207.12/2213.91	c #Conflicts:     525000 | #Constraints:      26559
2207.12/2213.91	c #Conflicts:     526000 | #Constraints:      27559
2207.12/2213.91	c #Conflicts:     527000 | #Constraints:      28559
2207.12/2213.91	c #Conflicts:     528000 | #Constraints:      29559
2207.12/2213.91	c #Conflicts:     529000 | #Constraints:      30559
2207.12/2213.91	c #Conflicts:     530000 | #Constraints:      31559
2207.12/2213.91	c #Conflicts:     531000 | #Constraints:      32559
2207.12/2213.91	c INPROCESSING
2207.12/2213.91	c GARBAGE COLLECT
2207.12/2213.91	c #Conflicts:     532000 | #Constraints:      19157
2207.12/2213.91	c #Conflicts:     533000 | #Constraints:      20157
2207.12/2213.91	c #Conflicts:     534000 | #Constraints:      21157
2207.12/2213.91	c #Conflicts:     535000 | #Constraints:      22157
2207.12/2213.91	c #Conflicts:     536000 | #Constraints:      23157
2207.12/2213.91	c #Conflicts:     537000 | #Constraints:      24157
2207.12/2213.91	c #Conflicts:     538000 | #Constraints:      25157
2207.12/2213.91	c #Conflicts:     539000 | #Constraints:      26157
2207.12/2213.91	c #Conflicts:     540000 | #Constraints:      27157
2207.12/2213.91	c #Conflicts:     541000 | #Constraints:      28157
2207.12/2213.91	c #Conflicts:     542000 | #Constraints:      29157
2207.12/2213.91	c #Conflicts:     543000 | #Constraints:      30157
2207.12/2213.91	c #Conflicts:     544000 | #Constraints:      31157
2207.12/2213.91	c #Conflicts:     545000 | #Constraints:      32157
2207.12/2213.91	c #Conflicts:     546000 | #Constraints:      33157
2207.12/2213.91	c INPROCESSING
2207.12/2213.91	c GARBAGE COLLECT
2207.12/2213.91	c #Conflicts:     547000 | #Constraints:      19557
2207.12/2213.91	c #Conflicts:     548000 | #Constraints:      20557
2207.12/2213.91	c #Conflicts:     549000 | #Constraints:      21557
2207.12/2213.91	c #Conflicts:     550000 | #Constraints:      22557
2207.12/2213.91	c #Conflicts:     551000 | #Constraints:      23557
2207.12/2213.91	c #Conflicts:     552000 | #Constraints:      24557
2207.12/2213.91	c #Conflicts:     553000 | #Constraints:      25557
2207.12/2213.91	c #Conflicts:     554000 | #Constraints:      26557
2207.12/2213.91	c #Conflicts:     555000 | #Constraints:      27557
2207.12/2213.91	c #Conflicts:     556000 | #Constraints:      28557
2207.12/2213.91	c #Conflicts:     557000 | #Constraints:      29557
2207.12/2213.91	c #Conflicts:     558000 | #Constraints:      30557
2207.12/2213.91	c #Conflicts:     559000 | #Constraints:      31557
2207.12/2213.91	c #Conflicts:     560000 | #Constraints:      32557
2207.12/2213.91	c #Conflicts:     561000 | #Constraints:      33557
2207.12/2213.91	c INPROCESSING
2207.12/2213.91	c GARBAGE COLLECT
2207.12/2213.91	c #Conflicts:     562000 | #Constraints:      19745
2207.12/2213.91	c #Conflicts:     563000 | #Constraints:      20745
2207.12/2213.91	c #Conflicts:     564000 | #Constraints:      21745
2207.12/2213.91	c #Conflicts:     565000 | #Constraints:      22745
2207.12/2213.91	c #Conflicts:     566000 | #Constraints:      23745
2207.12/2213.91	c #Conflicts:     567000 | #Constraints:      24745
2207.12/2213.91	c #Conflicts:     568000 | #Constraints:      25745
2207.12/2213.91	c #Conflicts:     569000 | #Constraints:      26745
2207.12/2213.91	c #Conflicts:     570000 | #Constraints:      27745
2207.12/2213.91	c #Conflicts:     571000 | #Constraints:      28745
2207.12/2213.91	c #Conflicts:     572000 | #Constraints:      29745
2207.12/2213.91	c #Conflicts:     573000 | #Constraints:      30745
2207.12/2213.91	c #Conflicts:     574000 | #Constraints:      31745
2207.12/2213.91	c #Conflicts:     575000 | #Constraints:      32745
2207.12/2213.91	c #Conflicts:     576000 | #Constraints:      33745
2207.12/2213.91	c INPROCESSING
2207.12/2213.91	c GARBAGE COLLECT
2207.12/2213.91	c #Conflicts:     577000 | #Constraints:      19753
2207.12/2213.91	c #Conflicts:     578000 | #Constraints:      20753
2207.12/2213.91	c #Conflicts:     579000 | #Constraints:      21753
2207.12/2213.91	c #Conflicts:     580000 | #Constraints:      22753
2207.12/2213.91	c #Conflicts:     581000 | #Constraints:      23753
2207.12/2213.91	c #Conflicts:     582000 | #Constraints:      24753
2207.12/2213.91	c #Conflicts:     583000 | #Constraints:      25753
2207.12/2213.91	c #Conflicts:     584000 | #Constraints:      26753
2207.12/2213.91	c #Conflicts:     585000 | #Constraints:      27753
2207.12/2213.91	c #Conflicts:     586000 | #Constraints:      28753
2207.12/2213.91	c #Conflicts:     587000 | #Constraints:      29753
2207.12/2213.91	c #Conflicts:     588000 | #Constraints:      30753
2207.12/2213.91	c #Conflicts:     589000 | #Constraints:      31753
2207.12/2213.91	c #Conflicts:     590000 | #Constraints:      32753
2207.12/2213.91	c #Conflicts:     591000 | #Constraints:      33753
2521.54/2529.37	c INPROCESSING
2521.54/2529.37	c GARBAGE COLLECT
2521.54/2529.37	c #Conflicts:     592000 | #Constraints:      19554
2521.54/2529.37	c #Conflicts:     593000 | #Constraints:      20554
2521.54/2529.37	c #Conflicts:     594000 | #Constraints:      21554
2521.54/2529.37	c #Conflicts:     595000 | #Constraints:      22554
2521.54/2529.37	c #Conflicts:     596000 | #Constraints:      23554
2521.54/2529.37	c #Conflicts:     597000 | #Constraints:      24554
2521.54/2529.37	c #Conflicts:     598000 | #Constraints:      25554
2521.54/2529.37	c #Conflicts:     599000 | #Constraints:      26554
2521.54/2529.37	c #Conflicts:     600000 | #Constraints:      27554
2521.54/2529.37	c #Conflicts:     601000 | #Constraints:      28554
2521.54/2529.37	c #Conflicts:     602000 | #Constraints:      29554
2521.54/2529.37	c #Conflicts:     603000 | #Constraints:      30554
2521.54/2529.37	c #Conflicts:     604000 | #Constraints:      31554
2521.54/2529.37	c #Conflicts:     605000 | #Constraints:      32554
2521.54/2529.37	c #Conflicts:     606000 | #Constraints:      33554
2521.54/2529.37	c #Conflicts:     607000 | #Constraints:      34554
2521.54/2529.37	c INPROCESSING
2521.54/2529.37	c GARBAGE COLLECT
2521.54/2529.37	c #Conflicts:     608000 | #Constraints:      20161
2521.54/2529.37	c #Conflicts:     609000 | #Constraints:      21161
2521.54/2529.37	c #Conflicts:     610000 | #Constraints:      22161
2521.54/2529.37	c #Conflicts:     611000 | #Constraints:      23161
2521.54/2529.37	c #Conflicts:     612000 | #Constraints:      24161
2521.54/2529.37	c #Conflicts:     613000 | #Constraints:      25161
2521.54/2529.37	c #Conflicts:     614000 | #Constraints:      26161
2521.54/2529.37	c #Conflicts:     615000 | #Constraints:      27161
2521.54/2529.37	c #Conflicts:     616000 | #Constraints:      28161
2521.54/2529.37	c #Conflicts:     617000 | #Constraints:      29161
2521.54/2529.37	c #Conflicts:     618000 | #Constraints:      30161
2521.54/2529.37	c #Conflicts:     619000 | #Constraints:      31161
2521.54/2529.37	c #Conflicts:     620000 | #Constraints:      32161
2521.54/2529.37	c #Conflicts:     621000 | #Constraints:      33161
2521.54/2529.37	c #Conflicts:     622000 | #Constraints:      34161
2521.54/2529.37	c #Conflicts:     623000 | #Constraints:      35161
2521.54/2529.37	c INPROCESSING
2521.54/2529.37	c GARBAGE COLLECT
2521.54/2529.37	c #Conflicts:     624000 | #Constraints:      20555
2521.54/2529.37	c #Conflicts:     625000 | #Constraints:      21555
2521.54/2529.37	c #Conflicts:     626000 | #Constraints:      22555
2521.54/2529.37	c #Conflicts:     627000 | #Constraints:      23555
2521.54/2529.37	c #Conflicts:     628000 | #Constraints:      24555
2521.54/2529.37	c #Conflicts:     629000 | #Constraints:      25555
2521.54/2529.37	c #Conflicts:     630000 | #Constraints:      26555
2521.54/2529.37	c #Conflicts:     631000 | #Constraints:      27555
2521.54/2529.37	c #Conflicts:     632000 | #Constraints:      28555
2521.54/2529.37	c #Conflicts:     633000 | #Constraints:      29555
2521.54/2529.37	c #Conflicts:     634000 | #Constraints:      30555
2521.54/2529.37	c #Conflicts:     635000 | #Constraints:      31555
2521.54/2529.37	c #Conflicts:     636000 | #Constraints:      32555
2521.54/2529.37	c #Conflicts:     637000 | #Constraints:      33555
2521.54/2529.37	c #Conflicts:     638000 | #Constraints:      34555
2521.54/2529.37	c #Conflicts:     639000 | #Constraints:      35555
2521.54/2529.37	c INPROCESSING
2521.54/2529.37	c GARBAGE COLLECT
2521.54/2529.37	c #Conflicts:     640000 | #Constraints:      20754
2521.54/2529.37	c #Conflicts:     641000 | #Constraints:      21754
2521.54/2529.37	c #Conflicts:     642000 | #Constraints:      22754
2521.54/2529.37	c #Conflicts:     643000 | #Constraints:      23754
2521.54/2529.37	c #Conflicts:     644000 | #Constraints:      24754
2521.54/2529.37	c #Conflicts:     645000 | #Constraints:      25754
2521.54/2529.37	c #Conflicts:     646000 | #Constraints:      26754
2521.54/2529.37	c #Conflicts:     647000 | #Constraints:      27754
2521.54/2529.37	c #Conflicts:     648000 | #Constraints:      28754
2521.54/2529.37	c #Conflicts:     649000 | #Constraints:      29754
2521.54/2529.37	c #Conflicts:     650000 | #Constraints:      30754
2521.54/2529.37	c #Conflicts:     651000 | #Constraints:      31754
2521.54/2529.37	c #Conflicts:     652000 | #Constraints:      32754
2521.54/2529.37	c #Conflicts:     653000 | #Constraints:      33754
2521.54/2529.37	c #Conflicts:     654000 | #Constraints:      34754
2521.54/2529.37	c #Conflicts:     655000 | #Constraints:      35754
2521.54/2529.37	c INPROCESSING
2521.54/2529.37	c GARBAGE COLLECT
2521.54/2529.37	c #Conflicts:     656000 | #Constraints:      20756
2521.54/2529.37	c #Conflicts:     657000 | #Constraints:      21756
2521.54/2529.37	c #Conflicts:     658000 | #Constraints:      22756
2521.54/2529.37	c #Conflicts:     659000 | #Constraints:      23756
2521.54/2529.37	c #Conflicts:     660000 | #Constraints:      24756
2521.54/2529.37	c #Conflicts:     661000 | #Constraints:      25756
2521.54/2529.37	c #Conflicts:     662000 | #Constraints:      26756
2521.54/2529.37	c #Conflicts:     663000 | #Constraints:      27756
2521.54/2529.37	c #Conflicts:     664000 | #Constraints:      28756
2521.54/2529.37	c #Conflicts:     665000 | #Constraints:      29756
2521.54/2529.37	c #Conflicts:     666000 | #Constraints:      30756
2521.54/2529.37	c #Conflicts:     667000 | #Constraints:      31756
2812.11/2820.60	c #Conflicts:     668000 | #Constraints:      32756
2812.11/2820.60	c #Conflicts:     669000 | #Constraints:      33756
2812.11/2820.60	c #Conflicts:     670000 | #Constraints:      34756
2812.11/2820.60	c #Conflicts:     671000 | #Constraints:      35756
2812.11/2820.60	c INPROCESSING
2812.11/2820.60	c GARBAGE COLLECT
2812.11/2820.60	c #Conflicts:     672000 | #Constraints:      20550
2812.11/2820.60	c #Conflicts:     673000 | #Constraints:      21550
2812.11/2820.60	c #Conflicts:     674000 | #Constraints:      22550
2812.11/2820.60	c #Conflicts:     675000 | #Constraints:      23550
2812.11/2820.60	c #Conflicts:     676000 | #Constraints:      24550
2812.11/2820.60	c #Conflicts:     677000 | #Constraints:      25550
2812.11/2820.60	c #Conflicts:     678000 | #Constraints:      26550
2812.11/2820.60	c #Conflicts:     679000 | #Constraints:      27550
2812.11/2820.60	c #Conflicts:     680000 | #Constraints:      28550
2812.11/2820.60	c #Conflicts:     681000 | #Constraints:      29550
2812.11/2820.60	c #Conflicts:     682000 | #Constraints:      30550
2812.11/2820.60	c #Conflicts:     683000 | #Constraints:      31550
2812.11/2820.60	c #Conflicts:     684000 | #Constraints:      32550
2812.11/2820.60	c #Conflicts:     685000 | #Constraints:      33550
2812.11/2820.60	c #Conflicts:     686000 | #Constraints:      34550
2812.11/2820.60	c #Conflicts:     687000 | #Constraints:      35550
2812.11/2820.60	c #Conflicts:     688000 | #Constraints:      36550
2812.11/2820.60	c INPROCESSING
2812.11/2820.60	c GARBAGE COLLECT
2812.11/2820.60	c #Conflicts:     689000 | #Constraints:      21151
2812.11/2820.60	c #Conflicts:     690000 | #Constraints:      22151
2812.11/2820.60	c #Conflicts:     691000 | #Constraints:      23151
2812.11/2820.60	c #Conflicts:     692000 | #Constraints:      24151
2812.11/2820.60	c #Conflicts:     693000 | #Constraints:      25151
2812.11/2820.60	c #Conflicts:     694000 | #Constraints:      26151
2812.11/2820.60	c #Conflicts:     695000 | #Constraints:      27151
2812.11/2820.60	c #Conflicts:     696000 | #Constraints:      28151
2812.11/2820.60	c #Conflicts:     697000 | #Constraints:      29151
2812.11/2820.60	c #Conflicts:     698000 | #Constraints:      30151
2812.11/2820.60	c #Conflicts:     699000 | #Constraints:      31151
2812.11/2820.60	c #Conflicts:     700000 | #Constraints:      32151
2812.11/2820.60	c #Conflicts:     701000 | #Constraints:      33151
2812.11/2820.60	c #Conflicts:     702000 | #Constraints:      34151
2812.11/2820.60	c #Conflicts:     703000 | #Constraints:      35151
2812.11/2820.60	c #Conflicts:     704000 | #Constraints:      36151
2812.11/2820.60	c #Conflicts:     705000 | #Constraints:      37151
2812.11/2820.60	c INPROCESSING
2812.11/2820.60	c GARBAGE COLLECT
2812.11/2820.60	c #Conflicts:     706000 | #Constraints:      21560
2812.11/2820.60	c #Conflicts:     707000 | #Constraints:      22560
2812.11/2820.60	c #Conflicts:     708000 | #Constraints:      23560
2812.11/2820.60	c #Conflicts:     709000 | #Constraints:      24560
2812.11/2820.60	c #Conflicts:     710000 | #Constraints:      25560
2812.11/2820.60	c #Conflicts:     711000 | #Constraints:      26560
2812.11/2820.60	c #Conflicts:     712000 | #Constraints:      27560
2812.11/2820.60	c #Conflicts:     713000 | #Constraints:      28560
2812.11/2820.60	c #Conflicts:     714000 | #Constraints:      29560
2812.11/2820.60	c #Conflicts:     715000 | #Constraints:      30560
2812.11/2820.60	c #Conflicts:     716000 | #Constraints:      31560
2812.11/2820.60	c #Conflicts:     717000 | #Constraints:      32560
2812.11/2820.60	c #Conflicts:     718000 | #Constraints:      33560
2812.11/2820.60	c #Conflicts:     719000 | #Constraints:      34560
2812.11/2820.60	c #Conflicts:     720000 | #Constraints:      35560
2812.11/2820.60	c #Conflicts:     721000 | #Constraints:      36560
2812.11/2820.60	c #Conflicts:     722000 | #Constraints:      37560
2812.11/2820.60	c INPROCESSING
2812.11/2820.60	c GARBAGE COLLECT
2812.11/2820.60	c #Conflicts:     723000 | #Constraints:      21755
2812.11/2820.60	c #Conflicts:     724000 | #Constraints:      22755
2812.11/2820.60	c #Conflicts:     725000 | #Constraints:      23755
2812.11/2820.60	c #Conflicts:     726000 | #Constraints:      24755
2812.11/2820.60	c #Conflicts:     727000 | #Constraints:      25755
2812.11/2820.60	c #Conflicts:     728000 | #Constraints:      26755
2812.11/2820.60	c #Conflicts:     729000 | #Constraints:      27755
2812.11/2820.60	c #Conflicts:     730000 | #Constraints:      28755
2812.11/2820.60	c #Conflicts:     731000 | #Constraints:      29755
2812.11/2820.60	c #Conflicts:     732000 | #Constraints:      30755
2812.11/2820.60	c #Conflicts:     733000 | #Constraints:      31755
2812.11/2820.60	c #Conflicts:     734000 | #Constraints:      32755
2812.11/2820.60	c #Conflicts:     735000 | #Constraints:      33755
2812.11/2820.60	c #Conflicts:     736000 | #Constraints:      34755
2812.11/2820.60	c #Conflicts:     737000 | #Constraints:      35755
2812.11/2820.60	c #Conflicts:     738000 | #Constraints:      36755
2812.11/2820.60	c #Conflicts:     739000 | #Constraints:      37755
2812.11/2820.60	c INPROCESSING
2812.11/2820.60	c GARBAGE COLLECT
2812.11/2820.60	c #Conflicts:     740000 | #Constraints:      21753
2812.11/2820.60	c #Conflicts:     741000 | #Constraints:      22753
2812.11/2820.60	c #Conflicts:     742000 | #Constraints:      23753
3108.03/3117.33	c #Conflicts:     743000 | #Constraints:      24753
3108.03/3117.33	c #Conflicts:     744000 | #Constraints:      25753
3108.03/3117.33	c #Conflicts:     745000 | #Constraints:      26753
3108.03/3117.33	c #Conflicts:     746000 | #Constraints:      27753
3108.03/3117.33	c #Conflicts:     747000 | #Constraints:      28753
3108.03/3117.33	c #Conflicts:     748000 | #Constraints:      29753
3108.03/3117.33	c #Conflicts:     749000 | #Constraints:      30753
3108.03/3117.33	c #Conflicts:     750000 | #Constraints:      31753
3108.03/3117.33	c #Conflicts:     751000 | #Constraints:      32753
3108.03/3117.33	c #Conflicts:     752000 | #Constraints:      33753
3108.03/3117.33	c #Conflicts:     753000 | #Constraints:      34753
3108.03/3117.33	c #Conflicts:     754000 | #Constraints:      35753
3108.03/3117.33	c #Conflicts:     755000 | #Constraints:      36753
3108.03/3117.33	c #Conflicts:     756000 | #Constraints:      37753
3108.03/3117.33	c INPROCESSING
3108.03/3117.33	c GARBAGE COLLECT
3108.03/3117.33	c #Conflicts:     757000 | #Constraints:      21552
3108.03/3117.33	c #Conflicts:     758000 | #Constraints:      22552
3108.03/3117.33	c #Conflicts:     759000 | #Constraints:      23552
3108.03/3117.33	c #Conflicts:     760000 | #Constraints:      24552
3108.03/3117.33	c #Conflicts:     761000 | #Constraints:      25552
3108.03/3117.33	c #Conflicts:     762000 | #Constraints:      26552
3108.03/3117.33	c #Conflicts:     763000 | #Constraints:      27552
3108.03/3117.33	c #Conflicts:     764000 | #Constraints:      28552
3108.03/3117.33	c #Conflicts:     765000 | #Constraints:      29552
3108.03/3117.33	c #Conflicts:     766000 | #Constraints:      30552
3108.03/3117.33	c #Conflicts:     767000 | #Constraints:      31552
3108.03/3117.33	c #Conflicts:     768000 | #Constraints:      32552
3108.03/3117.33	c #Conflicts:     769000 | #Constraints:      33552
3108.03/3117.33	c #Conflicts:     770000 | #Constraints:      34552
3108.03/3117.33	c #Conflicts:     771000 | #Constraints:      35552
3108.03/3117.33	c #Conflicts:     772000 | #Constraints:      36552
3108.03/3117.33	c #Conflicts:     773000 | #Constraints:      37552
3108.03/3117.33	c #Conflicts:     774000 | #Constraints:      38552
3108.03/3117.33	c INPROCESSING
3108.03/3117.33	c GARBAGE COLLECT
3108.03/3117.33	c #Conflicts:     775000 | #Constraints:      22151
3108.03/3117.33	c #Conflicts:     776000 | #Constraints:      23151
3108.03/3117.33	c #Conflicts:     777000 | #Constraints:      24151
3108.03/3117.33	c #Conflicts:     778000 | #Constraints:      25151
3108.03/3117.33	c #Conflicts:     779000 | #Constraints:      26151
3108.03/3117.33	c #Conflicts:     780000 | #Constraints:      27151
3108.03/3117.33	c #Conflicts:     781000 | #Constraints:      28151
3108.03/3117.33	c #Conflicts:     782000 | #Constraints:      29151
3108.03/3117.33	c #Conflicts:     783000 | #Constraints:      30151
3108.03/3117.33	c #Conflicts:     784000 | #Constraints:      31151
3108.03/3117.33	c #Conflicts:     785000 | #Constraints:      32151
3108.03/3117.33	c #Conflicts:     786000 | #Constraints:      33151
3108.03/3117.33	c #Conflicts:     787000 | #Constraints:      34151
3108.03/3117.33	c #Conflicts:     788000 | #Constraints:      35151
3108.03/3117.33	c #Conflicts:     789000 | #Constraints:      36151
3108.03/3117.33	c #Conflicts:     790000 | #Constraints:      37151
3108.03/3117.33	c #Conflicts:     791000 | #Constraints:      38151
3108.03/3117.33	c #Conflicts:     792000 | #Constraints:      39151
3108.03/3117.33	c INPROCESSING
3108.03/3117.33	c GARBAGE COLLECT
3108.03/3117.33	c #Conflicts:     793000 | #Constraints:      22544
3108.03/3117.33	c #Conflicts:     794000 | #Constraints:      23544
3108.03/3117.33	c #Conflicts:     795000 | #Constraints:      24544
3108.03/3117.33	c #Conflicts:     796000 | #Constraints:      25544
3108.03/3117.33	c #Conflicts:     797000 | #Constraints:      26544
3108.03/3117.33	c #Conflicts:     798000 | #Constraints:      27544
3108.03/3117.33	c #Conflicts:     799000 | #Constraints:      28544
3108.03/3117.33	c #Conflicts:     800000 | #Constraints:      29544
3108.03/3117.33	c #Conflicts:     801000 | #Constraints:      30544
3108.03/3117.33	c #Conflicts:     802000 | #Constraints:      31544
3108.03/3117.33	c #Conflicts:     803000 | #Constraints:      32544
3108.03/3117.33	c #Conflicts:     804000 | #Constraints:      33544
3108.03/3117.33	c #Conflicts:     805000 | #Constraints:      34544
3108.03/3117.33	c #Conflicts:     806000 | #Constraints:      35544
3108.03/3117.33	c #Conflicts:     807000 | #Constraints:      36544
3108.03/3117.33	c #Conflicts:     808000 | #Constraints:      37544
3108.03/3117.33	c #Conflicts:     809000 | #Constraints:      38544
3108.03/3117.33	c #Conflicts:     810000 | #Constraints:      39544
3108.03/3117.33	c INPROCESSING
3108.03/3117.33	c GARBAGE COLLECT
3108.03/3117.33	c #Conflicts:     811000 | #Constraints:      22748
3108.03/3117.33	c #Conflicts:     812000 | #Constraints:      23748
3108.03/3117.33	c #Conflicts:     813000 | #Constraints:      24748
3108.03/3117.33	c #Conflicts:     814000 | #Constraints:      25748
3108.03/3117.33	c #Conflicts:     815000 | #Constraints:      26748
3108.03/3117.33	c #Conflicts:     816000 | #Constraints:      27748
3108.03/3117.33	c #Conflicts:     817000 | #Constraints:      28748
3108.03/3117.33	c #Conflicts:     818000 | #Constraints:      29748
3108.03/3117.33	c #Conflicts:     819000 | #Constraints:      30748
3470.16/3480.43	c #Conflicts:     820000 | #Constraints:      31748
3470.16/3480.43	c #Conflicts:     821000 | #Constraints:      32748
3470.16/3480.43	c #Conflicts:     822000 | #Constraints:      33748
3470.16/3480.43	c #Conflicts:     823000 | #Constraints:      34748
3470.16/3480.43	c #Conflicts:     824000 | #Constraints:      35748
3470.16/3480.43	c #Conflicts:     825000 | #Constraints:      36748
3470.16/3480.43	c #Conflicts:     826000 | #Constraints:      37748
3470.16/3480.43	c #Conflicts:     827000 | #Constraints:      38748
3470.16/3480.43	c #Conflicts:     828000 | #Constraints:      39748
3470.16/3480.43	c INPROCESSING
3470.16/3480.43	c GARBAGE COLLECT
3470.16/3480.43	c #Conflicts:     829000 | #Constraints:      22753
3470.16/3480.43	c #Conflicts:     830000 | #Constraints:      23753
3470.16/3480.43	c #Conflicts:     831000 | #Constraints:      24753
3470.16/3480.43	c #Conflicts:     832000 | #Constraints:      25753
3470.16/3480.43	c #Conflicts:     833000 | #Constraints:      26753
3470.16/3480.43	c #Conflicts:     834000 | #Constraints:      27753
3470.16/3480.43	c #Conflicts:     835000 | #Constraints:      28753
3470.16/3480.43	c #Conflicts:     836000 | #Constraints:      29753
3470.16/3480.43	c #Conflicts:     837000 | #Constraints:      30753
3470.16/3480.43	c #Conflicts:     838000 | #Constraints:      31753
3470.16/3480.43	c #Conflicts:     839000 | #Constraints:      32753
3470.16/3480.43	c #Conflicts:     840000 | #Constraints:      33753
3470.16/3480.43	c #Conflicts:     841000 | #Constraints:      34753
3470.16/3480.43	c #Conflicts:     842000 | #Constraints:      35753
3470.16/3480.43	c #Conflicts:     843000 | #Constraints:      36753
3470.16/3480.43	c #Conflicts:     844000 | #Constraints:      37753
3470.16/3480.43	c #Conflicts:     845000 | #Constraints:      38753
3470.16/3480.43	c #Conflicts:     846000 | #Constraints:      39753
3470.16/3480.43	c INPROCESSING
3470.16/3480.43	c GARBAGE COLLECT
3470.16/3480.43	c #Conflicts:     847000 | #Constraints:      22551
3470.16/3480.43	c #Conflicts:     848000 | #Constraints:      23551
3470.16/3480.43	c #Conflicts:     849000 | #Constraints:      24551
3470.16/3480.43	c #Conflicts:     850000 | #Constraints:      25551
3470.16/3480.43	c #Conflicts:     851000 | #Constraints:      26551
3470.16/3480.43	c #Conflicts:     852000 | #Constraints:      27551
3470.16/3480.43	c #Conflicts:     853000 | #Constraints:      28551
3470.16/3480.43	c #Conflicts:     854000 | #Constraints:      29551
3470.16/3480.43	c #Conflicts:     855000 | #Constraints:      30551
3470.16/3480.43	c #Conflicts:     856000 | #Constraints:      31551
3470.16/3480.43	c #Conflicts:     857000 | #Constraints:      32551
3470.16/3480.43	c #Conflicts:     858000 | #Constraints:      33551
3470.16/3480.43	c #Conflicts:     859000 | #Constraints:      34551
3470.16/3480.43	c #Conflicts:     860000 | #Constraints:      35551
3470.16/3480.43	c #Conflicts:     861000 | #Constraints:      36551
3470.16/3480.43	c #Conflicts:     862000 | #Constraints:      37551
3470.16/3480.43	c #Conflicts:     863000 | #Constraints:      38551
3470.16/3480.43	c #Conflicts:     864000 | #Constraints:      39551
3470.16/3480.43	c #Conflicts:     865000 | #Constraints:      40551
3470.16/3480.43	c INPROCESSING
3470.16/3480.43	c GARBAGE COLLECT
3470.16/3480.43	c #Conflicts:     866000 | #Constraints:      23146
3470.16/3480.43	c #Conflicts:     867000 | #Constraints:      24146
3470.16/3480.43	c #Conflicts:     868000 | #Constraints:      25146
3470.16/3480.43	c #Conflicts:     869000 | #Constraints:      26146
3470.16/3480.43	c #Conflicts:     870000 | #Constraints:      27146
3470.16/3480.43	c #Conflicts:     871000 | #Constraints:      28146
3470.16/3480.43	c #Conflicts:     872000 | #Constraints:      29146
3470.16/3480.43	c #Conflicts:     873000 | #Constraints:      30146
3470.16/3480.43	c #Conflicts:     874000 | #Constraints:      31146
3470.16/3480.43	c #Conflicts:     875000 | #Constraints:      32146
3470.16/3480.43	c #Conflicts:     876000 | #Constraints:      33146
3470.16/3480.43	c #Conflicts:     877000 | #Constraints:      34146
3470.16/3480.43	c #Conflicts:     878000 | #Constraints:      35146
3470.16/3480.43	c #Conflicts:     879000 | #Constraints:      36146
3470.16/3480.43	c #Conflicts:     880000 | #Constraints:      37146
3470.16/3480.43	c #Conflicts:     881000 | #Constraints:      38146
3470.16/3480.43	c #Conflicts:     882000 | #Constraints:      39146
3470.16/3480.43	c #Conflicts:     883000 | #Constraints:      40146
3470.16/3480.43	c #Conflicts:     884000 | #Constraints:      41146
3470.16/3480.43	c INPROCESSING
3470.16/3480.43	c GARBAGE COLLECT
3470.16/3480.43	c #Conflicts:     885000 | #Constraints:      23552
3470.16/3480.43	c #Conflicts:     886000 | #Constraints:      24552
3470.16/3480.43	c #Conflicts:     887000 | #Constraints:      25552
3470.16/3480.43	c #Conflicts:     888000 | #Constraints:      26552
3470.16/3480.43	c #Conflicts:     889000 | #Constraints:      27552
3470.16/3480.43	c #Conflicts:     890000 | #Constraints:      28552
3470.16/3480.43	c #Conflicts:     891000 | #Constraints:      29552
3470.16/3480.43	c #Conflicts:     892000 | #Constraints:      30552
3470.16/3480.43	c #Conflicts:     893000 | #Constraints:      31552
3470.16/3480.43	c #Conflicts:     894000 | #Constraints:      32552
3470.16/3480.43	c #Conflicts:     895000 | #Constraints:      33552
3600.03/3610.60	c #Conflicts:     896000 | #Constraints:      34552
3600.03/3610.60	c #Conflicts:     897000 | #Constraints:      35552
3600.03/3610.60	c #Conflicts:     898000 | #Constraints:      36552
3600.03/3610.60	c #Conflicts:     899000 | #Constraints:      37552
3600.03/3610.60	c #Conflicts:     900000 | #Constraints:      38552
3600.03/3610.60	c #Conflicts:     901000 | #Constraints:      39552
3600.03/3610.60	c #Conflicts:     902000 | #Constraints:      40552
3600.03/3610.60	c #Conflicts:     903000 | #Constraints:      41552
3600.03/3610.60	c INPROCESSING
3600.03/3610.60	c GARBAGE COLLECT
3600.03/3610.60	c #Conflicts:     904000 | #Constraints:      23749
3600.03/3610.60	c #Conflicts:     905000 | #Constraints:      24749
3600.03/3610.60	c #Conflicts:     906000 | #Constraints:      25749
3600.03/3610.60	c #Conflicts:     907000 | #Constraints:      26749
3600.03/3610.60	c #Conflicts:     908000 | #Constraints:      27749
3600.03/3610.60	c #Conflicts:     909000 | #Constraints:      28749
3600.03/3610.60	c #Conflicts:     910000 | #Constraints:      29749
3600.03/3610.60	c #Conflicts:     911000 | #Constraints:      30749
3600.03/3610.60	c #Conflicts:     912000 | #Constraints:      31749
3600.03/3610.60	c #Conflicts:     913000 | #Constraints:      32749
3600.03/3610.60	c #Conflicts:     914000 | #Constraints:      33749
3600.03/3610.60	c #Conflicts:     915000 | #Constraints:      34749
3600.03/3610.60	c #Conflicts:     916000 | #Constraints:      35749
3600.03/3610.60	c #Conflicts:     917000 | #Constraints:      36749
3600.03/3610.60	c #Conflicts:     918000 | #Constraints:      37749
3600.03/3610.60	c #Conflicts:     919000 | #Constraints:      38749
3600.03/3610.60	c #Conflicts:     920000 | #Constraints:      39749
3600.03/3610.60	c #Conflicts:     921000 | #Constraints:      40749
3600.03/3610.60	c #Conflicts:     922000 | #Constraints:      41749
3600.03/3610.60	c INPROCESSING
3600.03/3610.60	c GARBAGE COLLECT
3600.03/3610.60	c #Conflicts:     923000 | #Constraints:      23743
3600.03/3610.60	c #Conflicts:     924000 | #Constraints:      24743
3600.03/3610.60	c Program interrupted by user.
3600.03/3610.60	c cpu time 3591.26 s
3600.03/3610.60	c deterministic time 736829485963 7.37e+11
3600.03/3610.60	c optimization time 4.00335 s
3600.03/3610.60	c total solve time 3288.16 s
3600.03/3610.60	c core-guided solve time 3288.16 s
3600.03/3610.60	c propagation time 2661.24 s
3600.03/3610.60	c conflict analysis time 455.845 s
3600.03/3610.60	c propagations 122793846
3600.03/3610.60	c resolve steps 7170463
3600.03/3610.60	c decisions 4775813
3600.03/3610.60	c conflicts 924304
3600.03/3610.60	c restarts 2040
3600.03/3610.60	c inprocessing phases 87
3600.03/3610.60	c input clauses 3873
3600.03/3610.60	c input cardinalities 142
3600.03/3610.60	c input general constraints 0
3600.03/3610.60	c input average constraint length 59.60
3600.03/3610.60	c input average constraint degree 27.00
3600.03/3610.60	c learned clauses 241068
3600.03/3610.60	c learned cardinalities 19755
3600.03/3610.60	c learned general constraints 663621
3600.03/3610.60	c learned average constraint length 863.15
3600.03/3610.60	c learned average constraint degree 68538.27
3600.03/3610.60	c watched constraints 476535
3600.03/3610.60	c counting constraints 187086
3600.03/3610.60	c gcd simplifications 29184
3600.03/3610.60	c detected cardinalities 182
3600.03/3610.60	c weakened non-implied lits 107866180
3600.03/3610.60	c weakened non-implying lits 54012
3600.03/3610.60	c original variables 1959
3600.03/3610.60	c clausal propagations 53234730
3600.03/3610.60	c cardinality propagations 1990731
3600.03/3610.60	c watched propagations 19307893
3600.03/3610.60	c counting propagations 44505103
3600.03/3610.60	c watch lookups 41991637043
3600.03/3610.60	c watch backjump lookups 38919006638
3600.03/3610.60	c watch checks 597122613866
3600.03/3610.60	c propagation checks 56301091770
3600.03/3610.60	c constraint additions 2239073944
3600.03/3610.60	c trail pops 128493042
3600.03/3610.60	c formula constraints 3208
3600.03/3610.60	c learned constraints 924444
3600.03/3610.60	c bound constraints 142
3600.03/3610.60	c core-guided constraints 665
3600.03/3610.60	c encountered formula constraints 5177499
3600.03/3610.60	c encountered learned constraints 2400305
3600.03/3610.60	c encountered bound constraints 3
3600.03/3610.60	c encountered core-guided constraints 516960
3600.03/3610.60	c LP total time 0 s
3600.03/3610.60	c LP solve time 0 s
3600.03/3610.60	c LP constraints added 0
3600.03/3610.60	c LP constraints removed 0
3600.03/3610.60	c LP pivots internal 0
3600.03/3610.60	c LP pivots root 0
3600.03/3610.60	c LP calls 0
3600.03/3610.60	c LP optimalities 0
3600.03/3610.60	c LP no pivot count 0
3600.03/3610.60	c LP infeasibilities 0
3600.03/3610.60	c LP valid Farkas constraints 0
3600.03/3610.60	c LP learned Farkas constraints 0
3600.03/3610.60	c LP basis resets 0
3600.03/3610.60	c LP cycling count 0
3600.03/3610.60	c LP singular count 0
3600.03/3610.60	c LP no primal count 0
3600.03/3610.60	c LP no farkas count 0
3600.03/3610.60	c LP other issue count 0
3600.03/3610.60	c LP Gomory cuts 0
3600.03/3610.60	c LP learned cuts 0
3600.03/3610.60	c LP deleted cuts 0
3600.03/3610.60	c LP encountered Gomory constraints 0
3600.03/3610.60	c LP encountered Farkas constraints 0
3600.03/3610.60	c LP encountered learned Farkas constraints 0
3600.03/3610.60	c CG auxiliary variables introduced 665
3600.03/3610.60	c CG solutions found 0
3600.03/3610.60	c CG cores constructed 141
3600.03/3610.60	c CG core cardinality constraints returned 0
3600.03/3610.60	c CG unit cores 0
3600.03/3610.60	c CG single cores 141
3600.03/3610.60	c CG blocks removed during cardinality reduction 0
3600.03/3610.60	c CG first core best 0
3600.03/3610.60	c CG decision core best 0
3600.03/3610.60	c CG core reduction tie 0
3600.03/3610.60	c CG core degree average 1.00
3600.03/3610.60	c CG core slack average 3.22
3600.03/3610.60	c CG exhausted 0
3600.03/3610.60	c CG exhaust time 0 s
3600.03/3610.60	c CG trimmed 5
3600.03/3610.60	c CG trim time 0.000881 s
3600.03/3610.60	c CG minimized 0
3600.03/3610.60	c CG minimize time 0 s
3600.03/3610.60	c CG am1 prop time 0.001398 s
3600.03/3610.60	c CG # am1s reformulated 665
3600.03/3610.60	c CG lower bound derived from am1s 665
3600.03/3610.60	c CG # clausal cores 141
3600.03/3610.60	c CG # cardinality cores 0
3600.03/3610.60	c CG # pb cores 0
3600.03/3610.60	c CG # pb reforms 0
3600.03/3610.60	c CG # cores discarded because of pb reform 0
3600.03/3610.60	d LOWERBOUND 806
3600.03/3610.60	d NCORES 141
3600.03/3610.60	d NPBCORES 0
3600.03/3610.60	d NPBREFORM 0
3600.03/3610.60	d NTRIMMED 5
3600.03/3610.60	d NEXHAUSTED 0
3600.03/3610.60	d NAM1S 665
3600.03/3610.60	d AM1LB 665
3600.03/3610.60	c [Papilo Statistics]
3600.03/3610.60	c prepro time 0.00460213s
3600.03/3610.60	c # tsx applied 163
3600.03/3610.60	c # tsx conflicts 7
3600.03/3610.60	c # bound changes 162
3600.03/3610.60	c # side changes 0
3600.03/3610.60	c # coef changes 0
3600.03/3610.60	c # rounds 2
3600.03/3610.60	c # deted vars 333
3600.03/3610.60	c # deted constrs 792
3600.03/3610.60	c # consecutive rounds of only bound changes 0
3600.03/3610.60	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: 63708 MiB (62781 MiB free)
  memory of node 1: 64465 MiB (63753 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488531-1751326418/watcher-4488531-1751326418 -o /tmp/evaluation-result-4488531-1751326418/solver-4488531-1751326418 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751326375-45656 --watchdog 3760 mixed-bag HOME/instance-4488531-1751326418.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100063 s]*
/proc/loadavg: 3.51 5.71 7.13 5/266 47157
/proc/meminfo: memFree=129557572/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=116080 memory=40516 CPUtime=0.08 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 6821 0 0 0 7 1 0 0 20 0 1 0 48319243 118865920 10129 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 29020 10129 4288 2842 0 10714 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 116080 KiB
Current children cumulated memory: 40516 KiB

[startup+0.205618 s]*
/proc/loadavg: 3.51 5.71 7.13 5/266 47157
/proc/meminfo: memFree=129554548/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=117600 memory=42052 CPUtime=0.19 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 7203 0 0 0 18 1 0 0 20 0 1 0 48319243 120422400 10513 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 29400 10513 4288 2842 0 11094 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 117600 KiB
Current children cumulated memory: 42052 KiB

[startup+0.305539 s]*
/proc/loadavg: 3.51 5.71 7.13 5/266 47157
/proc/meminfo: memFree=129550516/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=121008 memory=45380 CPUtime=0.29 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 8034 0 0 0 27 2 0 0 20 0 1 0 48319243 123912192 11345 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 30252 11345 4288 2842 0 11946 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 121008 KiB
Current children cumulated memory: 45380 KiB

[startup+0.700171 s]
/proc/loadavg: 3.51 5.71 7.13 5/266 47157
/proc/meminfo: memFree=129550804/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=121996 memory=45892 CPUtime=0.68 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 8165 0 0 0 66 2 0 0 20 0 1 0 48319243 124923904 11473 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 30499 11473 4288 2842 0 12193 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 121996 KiB
Current children cumulated memory: 45892 KiB

[startup+1.50016 s]
/proc/loadavg: 3.51 5.71 7.13 5/266 47157
/proc/meminfo: memFree=129550804/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=123944 memory=47300 CPUtime=1.48 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 8511 0 0 0 146 2 0 0 20 0 1 0 48319243 126918656 11825 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 30986 11825 4288 2842 0 12680 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 123944 KiB
Current children cumulated memory: 47300 KiB

[startup+3.10538 s]
/proc/loadavg: 3.51 5.71 7.13 5/266 47157
/proc/meminfo: memFree=129510832/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=166328 memory=88584 CPUtime=3.07 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 19097 0 0 0 303 4 0 0 20 0 1 0 48319243 170319872 22146 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 41582 22146 4288 2842 0 23276 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 166328 KiB
Current children cumulated memory: 88584 KiB

[startup+6.30013 s]
/proc/loadavg: 3.63 5.69 7.12 5/266 47157
/proc/meminfo: memFree=129471208/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=214064 memory=134992 CPUtime=6.26 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 30941 0 0 0 620 6 0 0 20 0 1 0 48319243 219201536 33748 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 53516 33748 4288 2842 0 35210 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 214064 KiB
Current children cumulated memory: 134992 KiB

[startup+12.7002 s]
/proc/loadavg: 3.74 5.68 7.11 5/266 47157
/proc/meminfo: memFree=129438968/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=233356 memory=151760 CPUtime=12.64 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 35147 0 0 0 1258 6 0 0 20 0 1 0 48319243 238956544 37940 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 58339 37940 4288 2842 0 40033 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 233356 KiB
Current children cumulated memory: 151760 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 5.67 7.08 5/266 47157
/proc/meminfo: memFree=129426680/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=238132 memory=157648 CPUtime=25.42 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 36628 0 0 0 2535 7 0 0 20 0 1 0 48319243 243847168 39412 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 59533 39412 4288 2842 0 41227 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 238132 KiB
Current children cumulated memory: 157648 KiB

[startup+51.1055 s]
/proc/loadavg: 4.06 5.53 6.99 5/265 47158
/proc/meminfo: memFree=129351680/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=291668 memory=209300 CPUtime=50.95 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 50402 0 0 0 5086 9 0 0 20 0 1 0 48319243 298668032 52325 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 72917 52325 4288 2842 0 54611 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 291668 KiB
Current children cumulated memory: 209300 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 5.31 6.84 5/265 47160
/proc/meminfo: memFree=129287196/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=298324 memory=216844 CPUtime=102 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 54856 0 0 0 10190 10 0 0 20 0 1 0 48319243 305483776 54211 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 74581 54211 4320 2842 0 56275 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 298324 KiB
Current children cumulated memory: 216844 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 5.10 6.67 5/266 47255
/proc/meminfo: memFree=129251504/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=307496 memory=225036 CPUtime=161.83 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 56924 0 0 0 16171 12 0 0 20 0 1 0 48319243 314875904 56259 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 76874 56259 4320 2842 0 58568 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 307496 KiB
Current children cumulated memory: 225036 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.91 6.51 5/267 47262
/proc/meminfo: memFree=129119048/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=320112 memory=237932 CPUtime=221.65 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 59607 0 0 0 22151 14 0 0 20 0 1 0 48319243 327794688 59483 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 80028 59483 4320 2842 0 61722 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 320112 KiB
Current children cumulated memory: 237932 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 4.74 6.35 5/266 47264
/proc/meminfo: memFree=128796612/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=336808 memory=255596 CPUtime=281.46 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 62752 0 0 0 28131 15 0 0 20 0 1 0 48319243 344891392 63899 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 84202 63899 4320 2842 0 65896 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 336808 KiB
Current children cumulated memory: 255596 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.64 6.21 5/266 47267
/proc/meminfo: memFree=128413784/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=316156 memory=253164 CPUtime=341.29 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 65833 0 0 0 34078 51 0 0 20 0 1 0 48319243 323743744 63291 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 79039 63291 4480 2842 0 60733 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 316156 KiB
Current children cumulated memory: 253164 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.53 6.07 5/266 47269
/proc/meminfo: memFree=128240360/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=346976 memory=268652 CPUtime=401.14 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 66129 0 0 0 40030 84 0 0 20 0 1 0 48319243 355303424 67163 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 86744 67163 4480 2842 0 68438 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 346976 KiB
Current children cumulated memory: 268652 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.45 5.94 5/266 47271
/proc/meminfo: memFree=128397000/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=397064 memory=284268 CPUtime=460.99 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 66486 0 0 0 45991 108 0 0 20 0 1 0 48319243 406593536 71067 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 99266 71067 4480 2842 0 80960 0

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

Current children cumulated memory: 437312 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.11 4.23 5/264 47408
/proc/meminfo: memFree=125275076/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=531592 memory=453120 CPUtime=2853.69 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 76290 0 0 0 284629 740 0 0 20 0 1 0 48319243 544350208 113280 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 132898 113280 4480 2842 0 114592 0
Current children cumulated CPU time: 2853.69 s
Current children cumulated vsize: 531592 KiB
Current children cumulated memory: 453120 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.22 5/265 47411
/proc/meminfo: memFree=125223124/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=531592 memory=453120 CPUtime=2913.54 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 76478 0 0 0 290603 751 0 0 20 0 1 0 48319243 544350208 113280 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 132898 113280 4480 2842 0 114592 0
Current children cumulated CPU time: 2913.54 s
Current children cumulated vsize: 531592 KiB
Current children cumulated memory: 453120 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.21 5/264 47413
/proc/meminfo: memFree=125216952/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=531848 memory=453376 CPUtime=2973.38 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 76572 0 0 0 296576 762 0 0 20 0 1 0 48319243 544612352 113344 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 132962 113344 4480 2842 0 114656 0
Current children cumulated CPU time: 2973.38 s
Current children cumulated vsize: 531848 KiB
Current children cumulated memory: 453376 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.10 4.20 5/264 47415
/proc/meminfo: memFree=125233676/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=531848 memory=453504 CPUtime=3033.23 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 76582 0 0 0 302549 774 0 0 20 0 1 0 48319243 544612352 113376 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 132962 113376 4480 2842 0 114656 0
Current children cumulated CPU time: 3033.23 s
Current children cumulated vsize: 531848 KiB
Current children cumulated memory: 453504 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.20 5/265 47418
/proc/meminfo: memFree=125227256/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=531848 memory=453504 CPUtime=3093.07 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 76582 0 0 0 308519 788 0 0 20 0 1 0 48319243 544612352 113376 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 132962 113376 4480 2842 0 114656 0
Current children cumulated CPU time: 3093.07 s
Current children cumulated vsize: 531848 KiB
Current children cumulated memory: 453504 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.18 5/265 47422
/proc/meminfo: memFree=125095096/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=532032 memory=453504 CPUtime=3152.87 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 76604 0 0 0 314488 799 0 0 20 0 1 0 48319243 544800768 113376 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 133008 113376 4480 2842 0 114702 0
Current children cumulated CPU time: 3152.87 s
Current children cumulated vsize: 532032 KiB
Current children cumulated memory: 453504 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.18 5/265 47430
/proc/meminfo: memFree=125080452/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=532616 memory=454016 CPUtime=3212.71 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 76724 0 0 0 320464 807 0 0 20 0 1 0 48319243 545398784 113504 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 133154 113504 4480 2842 0 114848 0
Current children cumulated CPU time: 3212.71 s
Current children cumulated vsize: 532616 KiB
Current children cumulated memory: 454016 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.17 5/265 47432
/proc/meminfo: memFree=125086924/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=533128 memory=454400 CPUtime=3272.56 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 76825 0 0 0 326442 814 0 0 20 0 1 0 48319243 545923072 113600 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 133282 113600 4480 2842 0 114976 0
Current children cumulated CPU time: 3272.56 s
Current children cumulated vsize: 533128 KiB
Current children cumulated memory: 454400 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.12 4.17 5/265 47434
/proc/meminfo: memFree=125082528/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=533568 memory=454656 CPUtime=3332.4 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 76886 0 0 0 332414 826 0 0 20 0 1 0 48319243 546373632 113664 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 133392 113664 4480 2842 0 115086 0
Current children cumulated CPU time: 3332.4 s
Current children cumulated vsize: 533568 KiB
Current children cumulated memory: 454656 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.17 5/265 47436
/proc/meminfo: memFree=125084044/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=533900 memory=454912 CPUtime=3392.26 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 76974 0 0 0 338388 838 0 0 20 0 1 0 48319243 546713600 113728 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 133475 113728 4480 2842 0 115169 0
Current children cumulated CPU time: 3392.26 s
Current children cumulated vsize: 533900 KiB
Current children cumulated memory: 454912 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.16 5/265 47438
/proc/meminfo: memFree=125071528/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=534924 memory=467976 CPUtime=3452.1 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 77164 0 0 0 344362 848 0 0 20 0 1 0 48319243 547762176 116994 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 133731 116994 4480 2842 0 115425 0
Current children cumulated CPU time: 3452.1 s
Current children cumulated vsize: 534924 KiB
Current children cumulated memory: 467976 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.16 5/264 47440
/proc/meminfo: memFree=125096008/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=534924 memory=467976 CPUtime=3511.94 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 77173 0 0 0 350335 859 0 0 20 0 1 0 48319243 547762176 116994 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 133731 116994 4480 2842 0 115425 0
Current children cumulated CPU time: 3511.94 s
Current children cumulated vsize: 534924 KiB
Current children cumulated memory: 467976 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.15 5/264 47487
/proc/meminfo: memFree=128395352/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=535436 memory=468488 CPUtime=3571.8 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 77275 0 0 0 356308 872 0 0 20 0 1 0 48319243 548286464 117122 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 133859 117122 4480 2842 0 115553 0
Current children cumulated CPU time: 3571.8 s
Current children cumulated vsize: 535436 KiB
Current children cumulated memory: 468488 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.11 4.10 4.15 5/264 47488
/proc/meminfo: memFree=128357612/131249996 swapFree=33010416/33010684
[pid=47156] ppid=47153 vsize=535692 memory=468744 CPUtime=3600.03 cores=4,6
/proc/47156/stat : 47156 (mixed-bag) R 47153 47156 45645 0 -1 4194304 77339 0 0 0 359126 877 0 0 20 0 1 0 48319243 548548608 117186 18446744073709551615 4235264 15874749 140721427131328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 56459264 140721427134876 140721427134953 140721427134953 140721427140555 0
/proc/47156/statm: 133923 117186 4480 2842 0 115617 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 535692 KiB
Current children cumulated memory: 468744 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.27 s, system=8.77478 s

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

Child status: 0

Real time (s): 3610.61
CPU time (s): 3600.04
CPU user time (s): 3591.27
CPU system time (s): 8.77478
CPU usage (%): 99.7074
Max. virtual memory (cumulated for all children) (KiB): 535692
Max. memory (cumulated for all children) (KiB): 468744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.27
system time used= 8.77478
maximum resident set size= 469128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77368
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= 209
involuntary context switches= 3372


# summary of solver processes directly reported to runsolver:
#   pid: 47156
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3591.27
#   total CPU system time (s): 8.77478

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.88059 second user time and 15.7722 second system time

The end

Begin job on nodeC015 at 2025-07-01 01:33:38
IDJOB=4488531
IDBENCH=147521
IDSOLVER=3340
FILE ID=nodeC015/4488531-1751326418
RUNJOBID= nodeC015-1751326375-45656
SLURM_JOB_ID= 9594361
Free space on /tmp= 432932 MiB

SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4488531-1751326418/watcher-4488531-1751326418 -o /tmp/evaluation-result-4488531-1751326418/solver-4488531-1751326418 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751326375-45656 --watchdog 3760  mixed-bag HOME/instance-4488531-1751326418.opb

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

MD5SUM BENCH= 3cf724146d283b6491b934147ab5b23d
RANDOM SEED=278179446

nodeC015 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	: 0xb00002a
cpu MHz		: 3599.997
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.075
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3598.776
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.532
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.061
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.051
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.462
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129571684 kB
MemAvailable:   129334492 kB
Buffers:            2128 kB
Cached:           551616 kB
SwapCached:           24 kB
Active:           770308 kB
Inactive:         247212 kB
Active(anon):     461744 kB
Inactive(anon):    20084 kB
Active(file):     308564 kB
Inactive(file):   227128 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             49480 kB
Writeback:             0 kB
AnonPages:        466656 kB
Mapped:           121504 kB
Shmem:             18052 kB
KReclaimable:     132708 kB
Slab:             221684 kB
SReclaimable:     132708 kB
SUnreclaim:        88976 kB
KernelStack:        4356 kB
PageTables:         4172 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     876452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     90112 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:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432956 MiB
End job on nodeC015 at 2025-07-01 02:33:48