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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454720-1721467486/watcher-4454720-1721467486 -o /tmp/evaluation-result-4454720-1721467486/solver-4454720-1721467486 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721467498-1059651 --watchdog 3760 mixed-bag HOME/instance-4454720-1721467486.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1059933, runsolver pid=1059930
Current StackSize limit: 8192 KiB


[startup+0.100092 s]*
/proc/loadavg: 1.06 1.92 3.06 5/258 1059944
/proc/meminfo: memFree=127482344/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=108568 memory=39988 CPUtime=0.1 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 6942 0 0 0 9 1 0 0 20 0 1 0 198912462 111173632 9997 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 27142 9997 3996 3002 0 10891 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 108568 KiB
Current children cumulated memory: 39988 KiB

[startup+0.205652 s]*
/proc/loadavg: 1.06 1.92 3.06 5/258 1059944
/proc/meminfo: memFree=127471704/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=109352 memory=40836 CPUtime=0.2 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 7111 0 0 0 19 1 0 0 20 0 1 0 198912462 111976448 10209 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 27338 10209 4012 3002 0 11087 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 109352 KiB
Current children cumulated memory: 40836 KiB

[startup+0.305485 s]*
/proc/loadavg: 1.06 1.92 3.06 5/258 1059944
/proc/meminfo: memFree=127462072/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=112740 memory=44044 CPUtime=0.3 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 7944 0 0 0 29 1 0 0 20 0 1 0 198912462 115445760 11011 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 28185 11011 4028 3002 0 11934 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 112740 KiB
Current children cumulated memory: 44044 KiB

[startup+0.700205 s]
/proc/loadavg: 1.06 1.92 3.06 5/258 1059944
/proc/meminfo: memFree=127442784/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=113728 memory=44572 CPUtime=0.69 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 8077 0 0 0 68 1 0 0 20 0 1 0 198912462 116457472 11143 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 28432 11143 4028 3002 0 12181 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 113728 KiB
Current children cumulated memory: 44572 KiB

[startup+1.50018 s]
/proc/loadavg: 1.06 1.92 3.06 4/256 1059944
/proc/meminfo: memFree=127458136/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=115676 memory=45892 CPUtime=1.49 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 8424 0 0 0 148 1 0 0 20 0 1 0 198912462 118452224 11473 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 28919 11473 4028 3002 0 12668 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 115676 KiB
Current children cumulated memory: 45892 KiB

[startup+3.10542 s]
/proc/loadavg: 1.06 1.92 3.06 5/258 1059990
/proc/meminfo: memFree=127380132/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=157036 memory=86020 CPUtime=3.09 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 18404 0 0 0 306 3 0 0 20 0 1 0 198912462 160804864 21505 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 39259 21505 4028 3002 0 23008 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 157036 KiB
Current children cumulated memory: 86020 KiB

[startup+6.30389 s]
/proc/loadavg: 1.30 1.96 3.06 5/260 1060374
/proc/meminfo: memFree=127300112/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=201376 memory=128924 CPUtime=6.27 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 29644 0 0 0 623 4 0 0 20 0 1 0 198912462 206209024 32231 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 50344 32231 4028 3002 0 34093 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 201376 KiB
Current children cumulated memory: 128924 KiB

[startup+12.7001 s]
/proc/loadavg: 1.59 2.01 3.07 5/260 1060376
/proc/meminfo: memFree=127189548/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=225088 memory=150572 CPUtime=12.64 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 35050 0 0 0 1260 4 0 0 20 0 1 0 198912462 230490112 37643 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 56272 37643 4028 3002 0 40021 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 225088 KiB
Current children cumulated memory: 150572 KiB

[startup+25.5002 s]
/proc/loadavg: 2.13 2.10 3.09 5/260 1060377
/proc/meminfo: memFree=127158716/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=229864 memory=156288 CPUtime=25.4 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 36687 0 0 0 2536 4 0 0 20 0 1 0 198912462 235380736 39072 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 57466 39072 4028 3002 0 41215 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 229864 KiB
Current children cumulated memory: 156288 KiB

[startup+51.1055 s]
/proc/loadavg: 2.82 2.27 3.12 5/259 1060428
/proc/meminfo: memFree=126939544/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=283384 memory=209908 CPUtime=50.94 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 50535 0 0 0 5087 7 0 0 20 0 1 0 198912462 290185216 52477 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 70846 52477 4043 3002 0 54595 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 283384 KiB
Current children cumulated memory: 209908 KiB

[startup+102.3 s]
/proc/loadavg: 3.61 2.57 3.18 5/259 1060436
/proc/meminfo: memFree=126765684/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=289992 memory=219948 CPUtime=101.99 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 55102 0 0 0 10191 8 0 0 20 0 1 0 198912462 296951808 54987 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 72498 54987 4043 3002 0 56247 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 289992 KiB
Current children cumulated memory: 219948 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 2.85 3.24 5/259 1060447
/proc/meminfo: memFree=126689784/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=299604 memory=240188 CPUtime=161.82 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 57552 0 0 0 16174 8 0 0 20 0 1 0 198912462 306794496 60047 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 74901 60047 4043 3002 0 58650 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 299604 KiB
Current children cumulated memory: 240188 KiB

[startup+222.3 s]
/proc/loadavg: 3.97 3.06 3.29 5/261 1060627
/proc/meminfo: memFree=126645224/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=313640 memory=251060 CPUtime=221.68 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 60466 0 0 0 22159 9 0 0 20 0 1 0 198912462 321167360 62765 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 78410 62765 4043 3002 0 62159 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 313640 KiB
Current children cumulated memory: 251060 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.27 3.35 5/260 1060638
/proc/meminfo: memFree=126557984/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=329708 memory=261044 CPUtime=281.52 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 63117 0 0 0 28143 9 0 0 20 0 1 0 198912462 337620992 65261 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 82427 65261 4043 3002 0 66176 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 329708 KiB
Current children cumulated memory: 261044 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.42 3.39 5/257 1060704
/proc/meminfo: memFree=126691208/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=295188 memory=241052 CPUtime=341.37 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 66278 0 0 0 34087 50 0 0 20 0 1 0 198912462 302272512 60263 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 73797 60263 4202 3002 0 57546 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 295188 KiB
Current children cumulated memory: 241052 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.54 3.44 5/257 1060715
/proc/meminfo: memFree=126614108/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=326008 memory=256240 CPUtime=401.2 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 66503 0 0 0 40037 83 0 0 20 0 1 0 198912462 333832192 64060 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 81502 64060 4202 3002 0 65251 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 326008 KiB
Current children cumulated memory: 256240 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 3.64 3.48 5/257 1060726
/proc/meminfo: memFree=126522248/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=376096 memory=272380 CPUtime=461.03 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 67035 0 0 0 45995 108 0 0 20 0 1 0 198912462 385122304 68095 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 94024 68095 4202 3002 0 77773 0

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

Current children cumulated memory: 453532 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.05 5/258 1061752
/proc/meminfo: memFree=125362520/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=522912 memory=453936 CPUtime=2913.71 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 84242 0 0 0 290641 730 0 0 20 0 1 0 198912462 535461888 113484 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 130728 113484 4202 3002 0 114477 0
Current children cumulated CPU time: 2913.71 s
Current children cumulated vsize: 522912 KiB
Current children cumulated memory: 453936 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.09 4.05 5/258 1061764
/proc/meminfo: memFree=125348772/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=523096 memory=453936 CPUtime=2973.54 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 84487 0 0 0 296609 745 0 0 20 0 1 0 198912462 535650304 113484 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 130774 113484 4202 3002 0 114523 0
Current children cumulated CPU time: 2973.54 s
Current children cumulated vsize: 523096 KiB
Current children cumulated memory: 453936 KiB

[startup+3042.3 s]
/proc/loadavg: 4.06 4.08 4.05 5/255 1061774
/proc/meminfo: memFree=125341728/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=523864 memory=454380 CPUtime=3033.37 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 84815 0 0 0 302582 755 0 0 20 0 1 0 198912462 536436736 113595 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 130966 113595 4202 3002 0 114715 0
Current children cumulated CPU time: 3033.37 s
Current children cumulated vsize: 523864 KiB
Current children cumulated memory: 454380 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.08 4.05 5/254 1061785
/proc/meminfo: memFree=125339264/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=524192 memory=454836 CPUtime=3093.22 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 85086 0 0 0 308557 765 0 0 20 0 1 0 198912462 536772608 113709 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 131048 113709 4202 3002 0 114797 0
Current children cumulated CPU time: 3093.22 s
Current children cumulated vsize: 524192 KiB
Current children cumulated memory: 454836 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.06 5/254 1061797
/proc/meminfo: memFree=125336060/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=524704 memory=455132 CPUtime=3153.05 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 85406 0 0 0 314533 772 0 0 20 0 1 0 198912462 537296896 113783 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 131176 113783 4202 3002 0 114925 0
Current children cumulated CPU time: 3153.05 s
Current children cumulated vsize: 524704 KiB
Current children cumulated memory: 455132 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.06 5/254 1061807
/proc/meminfo: memFree=125333288/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=524888 memory=455308 CPUtime=3212.89 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 85625 0 0 0 320504 785 0 0 20 0 1 0 198912462 537485312 113827 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 131222 113827 4202 3002 0 114971 0
Current children cumulated CPU time: 3212.89 s
Current children cumulated vsize: 524888 KiB
Current children cumulated memory: 455308 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.06 5/254 1061817
/proc/meminfo: memFree=125327132/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=525216 memory=455636 CPUtime=3272.73 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 85907 0 0 0 326473 800 0 0 20 0 1 0 198912462 537821184 113909 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 131304 113909 4202 3002 0 115053 0
Current children cumulated CPU time: 3272.73 s
Current children cumulated vsize: 525216 KiB
Current children cumulated memory: 455636 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.06 5/257 1061832
/proc/meminfo: memFree=125307372/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=526496 memory=468784 CPUtime=3332.57 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 86310 0 0 0 332446 811 0 0 20 0 1 0 198912462 539131904 117196 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 131624 117196 4202 3002 0 115373 0
Current children cumulated CPU time: 3332.57 s
Current children cumulated vsize: 526496 KiB
Current children cumulated memory: 468784 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.06 5/257 1061843
/proc/meminfo: memFree=125300204/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=526680 memory=468784 CPUtime=3392.41 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 86566 0 0 0 338417 824 0 0 20 0 1 0 198912462 539320320 117196 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 131670 117196 4202 3002 0 115419 0
Current children cumulated CPU time: 3392.41 s
Current children cumulated vsize: 526680 KiB
Current children cumulated memory: 468784 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.06 5/258 1061855
/proc/meminfo: memFree=125278872/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=526680 memory=468868 CPUtime=3452.25 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 86758 0 0 0 344391 834 0 0 20 0 1 0 198912462 539320320 117217 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 131670 117217 4202 3002 0 115419 0
Current children cumulated CPU time: 3452.25 s
Current children cumulated vsize: 526680 KiB
Current children cumulated memory: 468868 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.06 5/258 1061866
/proc/meminfo: memFree=125239220/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=527008 memory=469212 CPUtime=3512.09 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 87049 0 0 0 350361 848 0 0 20 0 1 0 198912462 539656192 117303 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 131752 117303 4202 3002 0 115501 0
Current children cumulated CPU time: 3512.09 s
Current children cumulated vsize: 527008 KiB
Current children cumulated memory: 469212 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.06 5/258 1061878
/proc/meminfo: memFree=125210388/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=660476 memory=480020 CPUtime=3571.92 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 87948 0 0 0 356337 855 0 0 20 0 1 0 198912462 676327424 120005 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 165119 120005 4202 3002 0 148868 0
Current children cumulated CPU time: 3571.92 s
Current children cumulated vsize: 660476 KiB
Current children cumulated memory: 480020 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.09 4.09 4.06 5/259 1062265
/proc/meminfo: memFree=125200764/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=660804 memory=482424 CPUtime=3600.04 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 88143 0 0 0 359140 864 0 0 20 0 1 0 198912462 676663296 120606 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 165201 120606 4202 3002 0 148950 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 660804 KiB
Current children cumulated memory: 482424 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.4 s, system=8.64803 s

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

[startup+3610.5 s]
/proc/loadavg: 4.09 4.09 4.06 5/259 1062265
/proc/meminfo: memFree=125200764/131524600 swapFree=131071996/131071996
[pid=1059933] ppid=1059930 vsize=660804 memory=482424 CPUtime=3600.04 cores=1,3
/proc/1059933/stat : 1059933 (mixed-bag) R 1059930 1059933 1059639 0 -1 4194304 88143 0 0 0 359140 864 0 0 20 0 1 0 198912462 676663296 120606 134679101440 4194304 16488053 140735126123888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 32116736 140735126131733 140735126131810 140735126131810 140735126138827 0
/proc/1059933/statm: 165201 120606 4202 3002 0 148950 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 660804 KiB
Current children cumulated memory: 482424 KiB

Child status: 0

Real time (s): 3610.51
CPU time (s): 3600.05
CPU user time (s): 3591.4
CPU system time (s): 8.64803
CPU usage (%): 99.7104
Max. virtual memory (cumulated for all children) (KiB): 660804
Max. memory (cumulated for all children) (KiB): 482424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.4
system time used= 8.64803
maximum resident set size= 482424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88166
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= 92
involuntary context switches= 3415


# summary of solver processes directly reported to runsolver:
#   pid: 1059933
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3591.4
#   total CPU system time (s): 8.64803

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.11188 second user time and 16.2165 second system time

The end

Begin job on nodeC021 at 2024-07-20 11:24:59
IDJOB=4454720
IDBENCH=147521
IDSOLVER=3083
FILE ID=nodeC021/4454720-1721467486
RUNJOBID= nodeC021-1721467498-1059651
SLURM_JOB_ID= 7545721
Free space on /tmp= 890040 MiB

SOLVER NAME= mixed-bag 2024-07-19
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 --file-size-limit 102400 -w /tmp/evaluation-result-4454720-1721467486/watcher-4454720-1721467486 -o /tmp/evaluation-result-4454720-1721467486/solver-4454720-1721467486 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721467498-1059651 --watchdog 3760  mixed-bag HOME/instance-4454720-1721467486.opb

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

MD5SUM BENCH= 3cf724146d283b6491b934147ab5b23d
RANDOM SEED=1901895141

nodeC021.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3657.148
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.42
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		: 3666.827
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.23
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		: 3653.824
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.42
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		: 3667.118
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.23
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		: 3656.229
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.42
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		: 3668.320
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.730
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.42
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		: 3600.099
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127543736 kB
MemAvailable:   129642192 kB
Buffers:          563096 kB
Cached:          2362672 kB
SwapCached:            0 kB
Active:          1113320 kB
Inactive:        2214336 kB
Active(anon):       1528 kB
Inactive(anon):   446264 kB
Active(file):    1111792 kB
Inactive(file):  1768072 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             78860 kB
Writeback:             0 kB
AnonPages:        400932 kB
Mapped:           120260 kB
Shmem:             45912 kB
KReclaimable:     116832 kB
Slab:             232840 kB
SReclaimable:     116832 kB
SUnreclaim:       116008 kB
KernelStack:        3932 kB
PageTables:        10176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     697468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73248 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      260820 kB
DirectMap2M:    25726976 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890012 MiB
End job on nodeC021 at 2024-07-20 12:25:09