0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.08/0.17 c [STEP] preprocessing with Papilo
0.19/0.22 c Papilo could not simplify the problem
0.19/0.22 c [STEP] solving with SCIP
299.60/300.59 c [STEP] preprocessing done, loading into solver
299.80/300.71 c [STEP] solving
299.80/300.71 c #variables 1082 #constraints 64860
299.80/300.71 c SMALL=int, LARGE=long long
299.80/300.71 d SCIPUB -103
299.80/300.71 c bounds - >= -883 @ 299.525
299.80/300.71 c stratification level: 0
299.80/300.73 c bounds - >= -882 @ 299.529
299.80/300.73 c bounds - >= -881 @ 299.53
299.80/300.73 c bounds - >= -880 @ 299.53
299.80/300.73 c bounds - >= -879 @ 299.53
299.80/300.73 c bounds - >= -878 @ 299.53
299.80/300.73 c bounds - >= -877 @ 299.53
299.80/300.73 c bounds - >= -876 @ 299.53
299.80/300.73 c bounds - >= -875 @ 299.53
299.80/300.73 c bounds - >= -874 @ 299.531
299.80/300.73 c bounds - >= -873 @ 299.531
299.80/300.73 c bounds - >= -872 @ 299.531
299.80/300.73 c bounds - >= -871 @ 299.531
299.80/300.73 c bounds - >= -870 @ 299.531
299.80/300.73 c bounds - >= -869 @ 299.531
299.80/300.73 c bounds - >= -868 @ 299.531
299.80/300.73 c bounds - >= -867 @ 299.532
299.80/300.73 c bounds - >= -866 @ 299.532
299.80/300.73 c bounds - >= -865 @ 299.532
299.80/300.73 c bounds - >= -864 @ 299.532
299.80/300.73 c bounds - >= -863 @ 299.532
299.80/300.73 c bounds - >= -862 @ 299.532
299.80/300.73 c bounds - >= -861 @ 299.532
299.80/300.73 c bounds - >= -860 @ 299.532
299.80/300.73 c bounds - >= -859 @ 299.532
299.80/300.73 c bounds - >= -858 @ 299.533
299.80/300.73 c bounds - >= -857 @ 299.533
299.80/300.73 c bounds - >= -856 @ 299.533
299.80/300.73 c bounds - >= -855 @ 299.533
299.80/300.73 c bounds - >= -854 @ 299.533
299.80/300.73 c bounds - >= -853 @ 299.533
299.80/300.73 c bounds - >= -852 @ 299.533
299.80/300.73 c bounds - >= -851 @ 299.533
299.80/300.73 c bounds - >= -850 @ 299.534
299.80/300.73 c bounds - >= -849 @ 299.534
299.80/300.73 c bounds - >= -848 @ 299.534
299.80/300.73 c bounds - >= -847 @ 299.534
299.80/300.73 c bounds - >= -846 @ 299.534
299.80/300.73 c bounds - >= -845 @ 299.534
299.80/300.73 c bounds - >= -844 @ 299.534
299.80/300.73 c bounds - >= -843 @ 299.534
299.80/300.73 c bounds - >= -842 @ 299.534
299.80/300.73 c bounds - >= -841 @ 299.535
299.80/300.73 c bounds - >= -840 @ 299.535
299.80/300.73 c bounds - >= -839 @ 299.535
299.80/300.73 c bounds - >= -838 @ 299.535
299.80/300.73 c bounds - >= -837 @ 299.535
299.80/300.73 c bounds - >= -836 @ 299.535
299.80/300.73 c bounds - >= -835 @ 299.535
299.80/300.73 c bounds - >= -834 @ 299.535
299.80/300.73 c bounds - >= -833 @ 299.535
299.80/300.73 c bounds - >= -832 @ 299.536
299.80/300.73 c bounds - >= -831 @ 299.536
299.80/300.73 c bounds - >= -830 @ 299.536
299.80/300.73 c bounds - >= -829 @ 299.536
299.80/300.73 c bounds - >= -828 @ 299.536
299.80/300.73 c bounds - >= -827 @ 299.536
299.80/300.73 c bounds - >= -826 @ 299.536
299.80/300.73 c bounds - >= -825 @ 299.536
299.80/300.73 c bounds - >= -824 @ 299.537
299.80/300.73 c bounds - >= -823 @ 299.537
299.80/300.73 c bounds - >= -822 @ 299.537
299.80/300.73 c bounds - >= -821 @ 299.537
299.80/300.73 c bounds - >= -820 @ 299.537
299.80/300.73 c bounds - >= -819 @ 299.537
299.80/300.73 c bounds - >= -818 @ 299.537
299.80/300.73 c bounds - >= -817 @ 299.537
299.80/300.73 c bounds - >= -816 @ 299.537
299.80/300.73 c bounds - >= -815 @ 299.538
299.80/300.73 c bounds - >= -814 @ 299.538
299.80/300.73 c bounds - >= -813 @ 299.538
299.80/300.73 c bounds - >= -812 @ 299.538
299.80/300.73 c bounds - >= -811 @ 299.538
299.80/300.73 c bounds - >= -810 @ 299.538
299.80/300.73 c bounds - >= -809 @ 299.538
299.80/300.73 c bounds - >= -808 @ 299.538
299.80/300.73 c bounds - >= -807 @ 299.539
299.80/300.73 c bounds - >= -806 @ 299.539
299.80/300.73 c bounds - >= -805 @ 299.539
299.80/300.73 c bounds - >= -804 @ 299.539
299.80/300.73 c bounds - >= -803 @ 299.539
299.80/300.73 c bounds - >= -802 @ 299.539
299.80/300.73 c bounds - >= -801 @ 299.539
299.80/300.73 c bounds - >= -800 @ 299.539
299.80/300.73 c bounds - >= -799 @ 299.54
299.80/300.73 c bounds - >= -798 @ 299.54
299.80/300.73 c bounds - >= -797 @ 299.54
299.80/300.73 c bounds - >= -796 @ 299.54
299.80/300.73 c bounds - >= -795 @ 299.54
299.80/300.73 c bounds - >= -794 @ 299.54
299.80/300.73 c bounds - >= -793 @ 299.54
299.80/300.73 c bounds - >= -792 @ 299.54
299.80/300.73 c bounds - >= -791 @ 299.541
299.80/300.73 c bounds - >= -790 @ 299.541
299.80/300.73 c bounds - >= -789 @ 299.541
299.80/300.73 c bounds - >= -788 @ 299.541
299.80/300.73 c bounds - >= -787 @ 299.541
299.80/300.73 c bounds - >= -786 @ 299.541
299.80/300.73 c bounds - >= -785 @ 299.541
299.80/300.73 c bounds - >= -784 @ 299.541
299.80/300.73 c bounds - >= -783 @ 299.542
299.80/300.73 c bounds - >= -782 @ 299.542
299.80/300.73 c bounds - >= -781 @ 299.542
299.80/300.73 c bounds - >= -780 @ 299.542
299.80/300.73 c bounds - >= -779 @ 299.542
299.80/300.73 c bounds - >= -778 @ 299.542
299.80/300.73 c bounds - >= -777 @ 299.542
299.80/300.73 c bounds - >= -776 @ 299.543
299.80/300.73 c bounds - >= -775 @ 299.543
299.80/300.73 c bounds - >= -774 @ 299.543
299.80/300.73 c bounds - >= -773 @ 299.543
299.80/300.73 c bounds - >= -772 @ 299.543
299.80/300.73 c bounds - >= -771 @ 299.543
299.80/300.73 c bounds - >= -770 @ 299.543
299.80/300.73 c bounds - >= -769 @ 299.543
299.80/300.73 c bounds - >= -768 @ 299.543
299.80/300.73 c bounds - >= -767 @ 299.543
299.80/300.73 c bounds - >= -766 @ 299.543
299.80/300.73 c bounds - >= -765 @ 299.543
299.80/300.73 c bounds - >= -764 @ 299.543
299.80/300.73 c bounds - >= -763 @ 299.543
299.80/300.73 c bounds - >= -762 @ 299.543
299.80/300.73 c bounds - >= -761 @ 299.543
299.80/300.73 c bounds - >= -760 @ 299.543
299.80/300.73 c bounds - >= -759 @ 299.544
299.80/300.73 c bounds - >= -758 @ 299.544
299.80/300.73 c bounds - >= -757 @ 299.544
299.80/300.73 c bounds - >= -756 @ 299.544
299.80/300.73 c bounds - >= -755 @ 299.544
299.80/300.73 c bounds - >= -754 @ 299.544
299.80/300.73 c bounds - >= -753 @ 299.544
299.80/300.73 c bounds - >= -752 @ 299.544
299.80/300.73 c bounds - >= -751 @ 299.545
299.80/300.73 c bounds - >= -750 @ 299.545
299.80/300.73 c bounds - >= -749 @ 299.545
299.80/300.73 c bounds - >= -748 @ 299.545
299.80/300.73 c bounds - >= -747 @ 299.545
299.80/300.73 c bounds - >= -746 @ 299.545
299.80/300.73 c bounds - >= -745 @ 299.545
299.80/300.73 c bounds - >= -744 @ 299.545
299.80/300.73 c bounds - >= -743 @ 299.545
299.80/300.73 c bounds - >= -742 @ 299.545
299.80/300.73 c bounds - >= -741 @ 299.545
299.80/300.74 c bounds - >= -740 @ 299.545
299.80/300.74 c bounds - >= -739 @ 299.545
299.80/300.74 c bounds - >= -738 @ 299.546
299.80/300.74 c bounds - >= -737 @ 299.546
299.80/300.74 c bounds - >= -736 @ 299.546
299.80/300.74 c bounds - >= -735 @ 299.546
299.80/300.74 c bounds - >= -734 @ 299.546
299.80/300.74 c bounds - >= -733 @ 299.546
299.80/300.74 c bounds - >= -732 @ 299.546
299.80/300.74 c bounds - >= -731 @ 299.546
299.80/300.74 c bounds - >= -730 @ 299.547
299.80/300.74 c bounds - >= -729 @ 299.547
299.80/300.74 c bounds - >= -728 @ 299.547
299.80/300.74 c bounds - >= -727 @ 299.547
299.80/300.74 c bounds - >= -726 @ 299.547
299.80/300.74 c bounds - >= -725 @ 299.547
299.80/300.74 c bounds - >= -724 @ 299.548
299.80/300.74 c bounds - >= -723 @ 299.548
299.80/300.74 c bounds - >= -722 @ 299.548
299.80/300.74 c bounds - >= -721 @ 299.548
299.80/300.74 c bounds - >= -720 @ 299.548
299.80/300.74 c bounds - >= -719 @ 299.548
299.80/300.74 c bounds - >= -718 @ 299.548
299.80/300.74 c bounds - >= -717 @ 299.548
299.80/300.74 c bounds - >= -716 @ 299.549
299.80/300.74 c bounds - >= -715 @ 299.549
299.80/300.74 c bounds - >= -714 @ 299.549
299.80/300.74 c bounds - >= -713 @ 299.549
299.80/300.74 c bounds - >= -712 @ 299.549
299.80/300.74 c bounds - >= -711 @ 299.549
299.80/300.74 c bounds - >= -710 @ 299.549
299.80/300.74 c bounds - >= -709 @ 299.549
299.80/300.74 c bounds - >= -708 @ 299.549
299.80/300.74 c bounds - >= -707 @ 299.549
299.80/300.74 c bounds - >= -706 @ 299.549
299.80/300.74 c bounds - >= -705 @ 299.549
299.80/300.74 c bounds - >= -704 @ 299.549
299.80/300.74 c bounds - >= -703 @ 299.549
299.80/300.74 c bounds - >= -702 @ 299.55
299.80/300.74 c bounds - >= -701 @ 299.55
299.80/300.74 c bounds - >= -700 @ 299.55
299.80/300.74 c bounds - >= -699 @ 299.55
299.80/300.74 c bounds - >= -698 @ 299.55
299.80/300.74 c bounds - >= -697 @ 299.551
299.80/300.74 c bounds - >= -696 @ 299.551
299.80/300.74 c bounds - >= -695 @ 299.551
299.80/300.74 c bounds - >= -694 @ 299.551
299.80/300.74 c bounds - >= -693 @ 299.551
299.80/300.74 c bounds - >= -692 @ 299.551
299.80/300.74 c bounds - >= -691 @ 299.552
299.80/300.74 c bounds - >= -690 @ 299.552
299.80/300.74 c bounds - >= -689 @ 299.552
299.80/300.74 c bounds - >= -688 @ 299.552
299.80/300.74 c bounds - >= -687 @ 299.552
299.80/300.74 c bounds - >= -686 @ 299.552
299.80/300.74 c bounds - >= -685 @ 299.553
299.80/300.74 c bounds - >= -684 @ 299.553
299.80/300.74 c bounds - >= -683 @ 299.553
299.80/300.74 c bounds - >= -682 @ 299.553
299.80/300.74 c bounds - >= -681 @ 299.553
299.80/300.74 c bounds - >= -680 @ 299.554
299.80/300.74 c bounds - >= -679 @ 299.554
299.80/300.74 c bounds - >= -678 @ 299.554
299.80/300.74 c bounds - >= -677 @ 299.554
299.80/300.74 c bounds - >= -676 @ 299.554
299.80/300.74 c bounds - >= -675 @ 299.554
299.80/300.74 c bounds - >= -674 @ 299.554
299.80/300.74 c bounds - >= -673 @ 299.554
299.80/300.74 c bounds - >= -672 @ 299.554
299.80/300.74 c bounds - >= -671 @ 299.554
299.80/300.74 c bounds - >= -670 @ 299.555
299.80/300.74 c bounds - >= -669 @ 299.555
299.80/300.74 c bounds - >= -668 @ 299.555
299.80/300.74 c bounds - >= -667 @ 299.555
299.80/300.74 c bounds - >= -666 @ 299.556
299.80/300.74 c finalizing WCE round: reformulating cores
354.37/355.46 c #Conflicts: 1000 | #Constraints: 66124
354.37/355.46 c #Conflicts: 2000 | #Constraints: 67126
354.37/355.46 c INPROCESSING
354.37/355.46 c GARBAGE COLLECT
354.37/355.46 c #Conflicts: 3000 | #Constraints: 66897
354.37/355.46 c #Conflicts: 4000 | #Constraints: 67899
354.37/355.46 c INPROCESSING
354.37/355.46 c GARBAGE COLLECT
354.37/355.46 c #Conflicts: 5000 | #Constraints: 67301
354.37/355.46 c #Conflicts: 6000 | #Constraints: 68303
354.37/355.46 c INPROCESSING
354.37/355.46 c GARBAGE COLLECT
354.37/355.46 c #Conflicts: 7000 | #Constraints: 67307
354.37/355.46 c #Conflicts: 8000 | #Constraints: 68309
354.37/355.46 c #Conflicts: 9000 | #Constraints: 69313
354.37/355.46 c INPROCESSING
354.37/355.46 c GARBAGE COLLECT
354.37/355.46 c #Conflicts: 10000 | #Constraints: 68016
354.37/355.46 c #Conflicts: 11000 | #Constraints: 69018
354.37/355.46 c #Conflicts: 12000 | #Constraints: 70020
354.37/355.46 c INPROCESSING
354.37/355.46 c GARBAGE COLLECT
354.37/355.46 c #Conflicts: 13000 | #Constraints: 68472
354.37/355.46 c #Conflicts: 14000 | #Constraints: 69474
354.37/355.46 c #Conflicts: 15000 | #Constraints: 70476
354.37/355.46 c INPROCESSING
354.37/355.46 c GARBAGE COLLECT
354.37/355.46 c #Conflicts: 16000 | #Constraints: 68705
354.37/355.46 c #Conflicts: 17000 | #Constraints: 69707
354.37/355.46 c #Conflicts: 18000 | #Constraints: 70709
354.37/355.46 c INPROCESSING
354.37/355.46 c GARBAGE COLLECT
354.37/355.46 c #Conflicts: 19000 | #Constraints: 68724
354.37/355.46 c #Conflicts: 20000 | #Constraints: 69726
354.37/355.46 c #Conflicts: 21000 | #Constraints: 70728
354.37/355.46 c INPROCESSING
354.37/355.46 c GARBAGE COLLECT
354.37/355.46 c #Conflicts: 22000 | #Constraints: 68537
354.37/355.46 c #Conflicts: 23000 | #Constraints: 69539
354.37/355.46 c #Conflicts: 24000 | #Constraints: 70543
354.37/355.46 c #Conflicts: 25000 | #Constraints: 71545
354.37/355.46 c INPROCESSING
354.37/355.46 c GARBAGE COLLECT
354.37/355.46 c #Conflicts: 26000 | #Constraints: 69152
354.37/355.46 c #Conflicts: 27000 | #Constraints: 70154
354.37/355.46 c #Conflicts: 28000 | #Constraints: 71156
354.37/355.46 c #Conflicts: 29000 | #Constraints: 72160
354.37/355.46 c INPROCESSING
354.37/355.46 c GARBAGE COLLECT
354.37/355.46 c #Conflicts: 30000 | #Constraints: 69563
354.37/355.46 c #Conflicts: 31000 | #Constraints: 70565
354.37/355.46 c #Conflicts: 32000 | #Constraints: 71567
354.37/355.46 c #Conflicts: 33000 | #Constraints: 72571
354.37/355.46 c INPROCESSING
354.37/355.46 c GARBAGE COLLECT
354.37/355.46 c #Conflicts: 34000 | #Constraints: 69775
354.37/355.46 c #Conflicts: 35000 | #Constraints: 70777
354.37/355.46 c #Conflicts: 36000 | #Constraints: 71779
354.37/355.46 c #Conflicts: 37000 | #Constraints: 72783
354.37/355.46 c INPROCESSING
354.37/355.46 c GARBAGE COLLECT
354.37/355.46 c #Conflicts: 38000 | #Constraints: 69786
354.37/355.46 c #Conflicts: 39000 | #Constraints: 70788
354.37/355.46 c #Conflicts: 40000 | #Constraints: 71790
354.37/355.46 c #Conflicts: 41000 | #Constraints: 72794
354.37/355.46 c INPROCESSING
354.37/355.46 c GARBAGE COLLECT
354.37/355.46 c #Conflicts: 42000 | #Constraints: 69595
354.37/355.46 c #Conflicts: 43000 | #Constraints: 70597
354.37/355.46 c #Conflicts: 44000 | #Constraints: 71601
354.37/355.46 c #Conflicts: 45000 | #Constraints: 72603
354.37/355.46 c #Conflicts: 46000 | #Constraints: 73605
354.37/355.46 c INPROCESSING
354.37/355.46 c GARBAGE COLLECT
354.37/355.46 c #Conflicts: 47000 | #Constraints: 70208
354.37/355.46 c #Conflicts: 48000 | #Constraints: 71210
354.37/355.46 c #Conflicts: 49000 | #Constraints: 72212
354.37/355.46 c #Conflicts: 50000 | #Constraints: 73216
354.37/355.46 c #Conflicts: 51000 | #Constraints: 74218
354.37/355.46 c INPROCESSING
354.37/355.46 c GARBAGE COLLECT
354.37/355.46 c #Conflicts: 52000 | #Constraints: 70619
354.37/355.46 c #Conflicts: 53000 | #Constraints: 71621
354.37/355.46 c #Conflicts: 54000 | #Constraints: 72623
354.37/355.46 c #Conflicts: 55000 | #Constraints: 73627
354.37/355.46 c #Conflicts: 56000 | #Constraints: 74629
354.37/355.46 c INPROCESSING
354.37/355.46 c GARBAGE COLLECT
354.37/355.46 c #Conflicts: 57000 | #Constraints: 70830
354.37/355.46 c #Conflicts: 58000 | #Constraints: 71832
354.37/355.46 c #Conflicts: 59000 | #Constraints: 72834
354.37/355.46 c #Conflicts: 60000 | #Constraints: 73838
354.37/355.46 c #Conflicts: 61000 | #Constraints: 74840
354.37/355.46 c INPROCESSING
354.37/355.46 c GARBAGE COLLECT
354.37/355.46 c #Conflicts: 62000 | #Constraints: 70843
354.37/355.46 c #Conflicts: 63000 | #Constraints: 71845
354.37/355.46 c #Conflicts: 64000 | #Constraints: 72847
354.37/355.46 c #Conflicts: 65000 | #Constraints: 73851
354.37/355.46 c #Conflicts: 66000 | #Constraints: 74853
354.37/355.46 c INPROCESSING
354.37/355.46 c GARBAGE COLLECT
354.37/355.46 c #Conflicts: 67000 | #Constraints: 70656
354.37/355.46 c #Conflicts: 68000 | #Constraints: 71658
422.89/424.13 c #Conflicts: 69000 | #Constraints: 72662
422.89/424.13 c #Conflicts: 70000 | #Constraints: 73664
422.89/424.13 c #Conflicts: 71000 | #Constraints: 74666
422.89/424.13 c #Conflicts: 72000 | #Constraints: 75670
422.89/424.13 c INPROCESSING
422.89/424.13 c GARBAGE COLLECT
422.89/424.13 c #Conflicts: 73000 | #Constraints: 71270
422.89/424.13 c #Conflicts: 74000 | #Constraints: 72272
422.89/424.13 c #Conflicts: 75000 | #Constraints: 73274
422.89/424.13 c #Conflicts: 76000 | #Constraints: 74278
422.89/424.13 c #Conflicts: 77000 | #Constraints: 75280
422.89/424.13 c #Conflicts: 78000 | #Constraints: 76282
422.89/424.13 c INPROCESSING
422.89/424.13 c GARBAGE COLLECT
422.89/424.13 c #Conflicts: 79000 | #Constraints: 71684
422.89/424.13 c #Conflicts: 80000 | #Constraints: 72686
422.89/424.13 c #Conflicts: 81000 | #Constraints: 73688
422.89/424.13 c #Conflicts: 82000 | #Constraints: 74692
422.89/424.13 c #Conflicts: 83000 | #Constraints: 75694
422.89/424.13 c #Conflicts: 84000 | #Constraints: 76696
422.89/424.13 c INPROCESSING
422.89/424.13 c GARBAGE COLLECT
422.89/424.13 c #Conflicts: 85000 | #Constraints: 71901
422.89/424.13 c #Conflicts: 86000 | #Constraints: 72903
422.89/424.13 c #Conflicts: 87000 | #Constraints: 73905
422.89/424.13 c #Conflicts: 88000 | #Constraints: 74909
422.89/424.13 c #Conflicts: 89000 | #Constraints: 75911
422.89/424.13 c #Conflicts: 90000 | #Constraints: 76913
422.89/424.13 c INPROCESSING
422.89/424.13 c GARBAGE COLLECT
422.89/424.13 c #Conflicts: 91000 | #Constraints: 71917
422.89/424.13 c #Conflicts: 92000 | #Constraints: 72919
422.89/424.13 c #Conflicts: 93000 | #Constraints: 73921
422.89/424.13 c #Conflicts: 94000 | #Constraints: 74925
422.89/424.13 c #Conflicts: 95000 | #Constraints: 75927
422.89/424.13 c #Conflicts: 96000 | #Constraints: 76929
422.89/424.13 c INPROCESSING
422.89/424.13 c GARBAGE COLLECT
422.89/424.13 c #Conflicts: 97000 | #Constraints: 71735
422.89/424.13 c #Conflicts: 98000 | #Constraints: 72737
422.89/424.13 c #Conflicts: 99000 | #Constraints: 73741
422.89/424.13 c #Conflicts: 100000 | #Constraints: 74743
422.89/424.13 c #Conflicts: 101000 | #Constraints: 75745
422.89/424.13 c #Conflicts: 102000 | #Constraints: 76749
422.89/424.13 c #Conflicts: 103000 | #Constraints: 77751
422.89/424.13 c INPROCESSING
422.89/424.13 c GARBAGE COLLECT
422.89/424.13 c #Conflicts: 104000 | #Constraints: 72355
422.89/424.13 c #Conflicts: 105000 | #Constraints: 73357
422.89/424.13 c #Conflicts: 106000 | #Constraints: 74359
422.89/424.13 c #Conflicts: 107000 | #Constraints: 75363
422.89/424.13 c #Conflicts: 108000 | #Constraints: 76365
422.89/424.13 c #Conflicts: 109000 | #Constraints: 77367
422.89/424.13 c #Conflicts: 110000 | #Constraints: 78371
422.89/424.13 c INPROCESSING
422.89/424.13 c GARBAGE COLLECT
422.89/424.13 c #Conflicts: 111000 | #Constraints: 72770
422.89/424.13 c #Conflicts: 112000 | #Constraints: 73772
422.89/424.13 c #Conflicts: 113000 | #Constraints: 74774
422.89/424.13 c #Conflicts: 114000 | #Constraints: 75778
422.89/424.13 c #Conflicts: 115000 | #Constraints: 76780
422.89/424.13 c #Conflicts: 116000 | #Constraints: 77782
422.89/424.13 c #Conflicts: 117000 | #Constraints: 78786
422.89/424.13 c INPROCESSING
422.89/424.13 c GARBAGE COLLECT
422.89/424.13 c #Conflicts: 118000 | #Constraints: 72986
422.89/424.13 c #Conflicts: 119000 | #Constraints: 73988
422.89/424.13 c #Conflicts: 120000 | #Constraints: 74990
422.89/424.13 c #Conflicts: 121000 | #Constraints: 75994
422.89/424.13 c #Conflicts: 122000 | #Constraints: 76996
422.89/424.13 c #Conflicts: 123000 | #Constraints: 77998
422.89/424.13 c #Conflicts: 124000 | #Constraints: 79002
422.89/424.13 c INPROCESSING
422.89/424.13 c GARBAGE COLLECT
422.89/424.13 c #Conflicts: 125000 | #Constraints: 73004
422.89/424.13 c #Conflicts: 126000 | #Constraints: 74006
422.89/424.13 c #Conflicts: 127000 | #Constraints: 75008
422.89/424.13 c #Conflicts: 128000 | #Constraints: 76012
422.89/424.13 c #Conflicts: 129000 | #Constraints: 77014
422.89/424.13 c #Conflicts: 130000 | #Constraints: 78016
422.89/424.13 c #Conflicts: 131000 | #Constraints: 79020
422.89/424.13 c INPROCESSING
422.89/424.13 c GARBAGE COLLECT
422.89/424.13 c #Conflicts: 132000 | #Constraints: 72823
422.89/424.13 c #Conflicts: 133000 | #Constraints: 73825
422.89/424.13 c #Conflicts: 134000 | #Constraints: 74829
422.89/424.13 c #Conflicts: 135000 | #Constraints: 75831
422.89/424.13 c #Conflicts: 136000 | #Constraints: 76833
422.89/424.13 c #Conflicts: 137000 | #Constraints: 77837
422.89/424.13 c #Conflicts: 138000 | #Constraints: 78839
422.89/424.13 c #Conflicts: 139000 | #Constraints: 79841
422.89/424.13 c INPROCESSING
422.89/424.13 c GARBAGE COLLECT
422.89/424.13 c #Conflicts: 140000 | #Constraints: 73443
455.01/456.35 c #Conflicts: 141000 | #Constraints: 74445
455.01/456.35 c #Conflicts: 142000 | #Constraints: 75447
455.01/456.35 c #Conflicts: 143000 | #Constraints: 76451
455.01/456.35 c #Conflicts: 144000 | #Constraints: 77453
455.01/456.35 c #Conflicts: 145000 | #Constraints: 78455
455.01/456.35 c #Conflicts: 146000 | #Constraints: 79459
455.01/456.35 c #Conflicts: 147000 | #Constraints: 80461
455.01/456.35 c INPROCESSING
455.01/456.35 c GARBAGE COLLECT
455.01/456.35 c #Conflicts: 148000 | #Constraints: 73861
455.01/456.35 c #Conflicts: 149000 | #Constraints: 74863
455.01/456.35 c #Conflicts: 150000 | #Constraints: 75865
455.01/456.35 c #Conflicts: 151000 | #Constraints: 76869
455.01/456.35 c #Conflicts: 152000 | #Constraints: 77871
455.01/456.35 c #Conflicts: 153000 | #Constraints: 78873
455.01/456.35 c #Conflicts: 154000 | #Constraints: 79877
455.01/456.35 c #Conflicts: 155000 | #Constraints: 80879
455.01/456.35 c INPROCESSING
455.01/456.35 c GARBAGE COLLECT
455.01/456.35 c #Conflicts: 156000 | #Constraints: 74081
455.01/456.35 c #Conflicts: 157000 | #Constraints: 75083
455.01/456.35 c #Conflicts: 158000 | #Constraints: 76085
455.01/456.35 c #Conflicts: 159000 | #Constraints: 77089
455.01/456.35 c #Conflicts: 160000 | #Constraints: 78091
455.01/456.35 c #Conflicts: 161000 | #Constraints: 79093
455.01/456.35 c #Conflicts: 162000 | #Constraints: 80097
455.01/456.35 c #Conflicts: 163000 | #Constraints: 81099
455.01/456.35 c INPROCESSING
455.01/456.35 c GARBAGE COLLECT
455.01/456.35 c #Conflicts: 164000 | #Constraints: 74100
455.01/456.35 c #Conflicts: 165000 | #Constraints: 75102
455.01/456.35 c #Conflicts: 166000 | #Constraints: 76104
455.01/456.35 c #Conflicts: 167000 | #Constraints: 77108
455.01/456.35 c bounds -532 >= -666 @ 453.905
455.01/456.35 c bounds -532 >= -665 @ 453.914
455.01/456.35 c bounds -532 >= -664 @ 453.917
455.01/456.35 c bounds -532 >= -663 @ 453.919
455.01/456.35 c bounds -532 >= -662 @ 453.922
455.01/456.35 c bounds -532 >= -661 @ 453.925
455.01/456.35 c bounds -532 >= -660 @ 453.927
455.01/456.35 c bounds -532 >= -659 @ 453.929
455.01/456.35 c bounds -532 >= -658 @ 453.931
455.01/456.35 c bounds -532 >= -657 @ 453.932
455.01/456.35 c bounds -532 >= -656 @ 453.934
455.01/456.35 c bounds -532 >= -655 @ 453.938
455.01/456.35 c bounds -532 >= -654 @ 453.942
455.01/456.35 c bounds -532 >= -653 @ 453.945
455.01/456.35 c bounds -532 >= -652 @ 453.948
455.01/456.35 c bounds -532 >= -651 @ 453.952
455.01/456.35 c bounds -532 >= -650 @ 453.955
455.01/456.35 c bounds -532 >= -649 @ 453.959
455.01/456.35 c bounds -532 >= -648 @ 453.962
455.01/456.35 c bounds -532 >= -647 @ 453.965
455.01/456.35 c bounds -532 >= -646 @ 453.966
455.01/456.35 c bounds -532 >= -645 @ 453.972
455.01/456.35 c bounds -532 >= -644 @ 453.975
455.01/456.35 c bounds -532 >= -643 @ 453.977
455.01/456.35 c bounds -532 >= -642 @ 453.983
455.01/456.35 c bounds -532 >= -641 @ 453.995
455.01/456.35 c bounds -532 >= -640 @ 453.998
455.01/456.35 c bounds -532 >= -639 @ 454.03
455.01/456.35 c finalizing WCE round: reformulating cores
534.59/536.17 c #Conflicts: 168000 | #Constraints: 78576
534.59/536.17 c #Conflicts: 169000 | #Constraints: 79578
534.59/536.17 c #Conflicts: 170000 | #Constraints: 80580
534.59/536.17 c #Conflicts: 171000 | #Constraints: 81584
534.59/536.17 c INPROCESSING
534.59/536.17 c GARBAGE COLLECT
534.59/536.17 c #Conflicts: 172000 | #Constraints: 74254
534.59/536.17 c #Conflicts: 173000 | #Constraints: 75256
534.59/536.17 c #Conflicts: 174000 | #Constraints: 76260
534.59/536.17 c #Conflicts: 175000 | #Constraints: 77262
534.59/536.17 c #Conflicts: 176000 | #Constraints: 78264
534.59/536.17 c #Conflicts: 177000 | #Constraints: 79268
534.59/536.17 c #Conflicts: 178000 | #Constraints: 80270
534.59/536.17 c #Conflicts: 179000 | #Constraints: 81272
534.59/536.17 c #Conflicts: 180000 | #Constraints: 82276
534.59/536.17 c INPROCESSING
534.59/536.17 c GARBAGE COLLECT
534.59/536.17 c #Conflicts: 181000 | #Constraints: 74816
534.59/536.17 c #Conflicts: 182000 | #Constraints: 75818
534.59/536.17 c #Conflicts: 183000 | #Constraints: 76820
534.59/536.17 c #Conflicts: 184000 | #Constraints: 77824
534.59/536.17 c #Conflicts: 185000 | #Constraints: 78826
534.59/536.17 c #Conflicts: 186000 | #Constraints: 79828
534.59/536.17 c #Conflicts: 187000 | #Constraints: 80832
534.59/536.17 c #Conflicts: 188000 | #Constraints: 81834
534.59/536.17 c bounds -534 >= -639 @ 480.051
534.59/536.17 c bounds -534 >= -638 @ 480.054
534.59/536.17 c bounds -534 >= -637 @ 480.058
534.59/536.17 c bounds -534 >= -636 @ 480.066
534.59/536.17 c bounds -534 >= -635 @ 480.077
534.59/536.17 c bounds -534 >= -634 @ 480.088
534.59/536.17 c bounds -534 >= -633 @ 480.101
534.59/536.17 c bounds -534 >= -632 @ 480.124
534.59/536.17 c bounds -534 >= -631 @ 480.195
534.59/536.17 c bounds -534 >= -630 @ 480.286
534.59/536.17 c #Conflicts: 189000 | #Constraints: 83290
534.59/536.17 c INPROCESSING
534.59/536.17 c GARBAGE COLLECT
534.59/536.17 c bounds -534 >= -629 @ 480.541
534.59/536.17 c #Conflicts: 190000 | #Constraints: 75603
534.59/536.17 c #Conflicts: 191000 | #Constraints: 76603
534.59/536.17 c bounds -534 >= -628 @ 481.765
534.59/536.17 c #Conflicts: 192000 | #Constraints: 77682
534.59/536.17 c #Conflicts: 193000 | #Constraints: 78682
534.59/536.17 c #Conflicts: 194000 | #Constraints: 79682
534.59/536.17 c #Conflicts: 195000 | #Constraints: 80682
534.59/536.17 c #Conflicts: 196000 | #Constraints: 81682
534.59/536.17 c #Conflicts: 197000 | #Constraints: 82682
534.59/536.17 c #Conflicts: 198000 | #Constraints: 83682
534.59/536.17 c INPROCESSING
534.59/536.17 c GARBAGE COLLECT
534.59/536.17 c #Conflicts: 199000 | #Constraints: 75792
534.59/536.17 c #Conflicts: 200000 | #Constraints: 76792
534.59/536.17 c #Conflicts: 201000 | #Constraints: 77792
534.59/536.17 c #Conflicts: 202000 | #Constraints: 78792
534.59/536.17 c #Conflicts: 203000 | #Constraints: 79792
534.59/536.17 c #Conflicts: 204000 | #Constraints: 80792
534.59/536.17 c #Conflicts: 205000 | #Constraints: 81792
534.59/536.17 c #Conflicts: 206000 | #Constraints: 82792
534.59/536.17 c #Conflicts: 207000 | #Constraints: 83792
534.59/536.17 c INPROCESSING
534.59/536.17 c GARBAGE COLLECT
534.59/536.17 c #Conflicts: 208000 | #Constraints: 75744
534.59/536.17 c #Conflicts: 209000 | #Constraints: 76744
534.59/536.17 c #Conflicts: 210000 | #Constraints: 77744
534.59/536.17 c #Conflicts: 211000 | #Constraints: 78744
534.59/536.17 c #Conflicts: 212000 | #Constraints: 79744
534.59/536.17 c #Conflicts: 213000 | #Constraints: 80744
534.59/536.17 c #Conflicts: 214000 | #Constraints: 81744
534.59/536.17 c #Conflicts: 215000 | #Constraints: 82744
534.59/536.17 c #Conflicts: 216000 | #Constraints: 83744
534.59/536.17 c INPROCESSING
534.59/536.17 c GARBAGE COLLECT
534.59/536.17 c #Conflicts: 217000 | #Constraints: 75513
534.59/536.17 c #Conflicts: 218000 | #Constraints: 76513
534.59/536.17 c #Conflicts: 219000 | #Constraints: 77513
534.59/536.17 c #Conflicts: 220000 | #Constraints: 78513
534.59/536.17 c #Conflicts: 221000 | #Constraints: 79513
534.59/536.17 c #Conflicts: 222000 | #Constraints: 80513
534.59/536.17 c #Conflicts: 223000 | #Constraints: 81513
534.59/536.17 c #Conflicts: 224000 | #Constraints: 82513
534.59/536.17 c #Conflicts: 225000 | #Constraints: 83513
534.59/536.17 c #Conflicts: 226000 | #Constraints: 84513
534.59/536.17 c INPROCESSING
534.59/536.17 c GARBAGE COLLECT
534.59/536.17 c #Conflicts: 227000 | #Constraints: 76103
534.59/536.17 c #Conflicts: 228000 | #Constraints: 77103
534.59/536.17 c #Conflicts: 229000 | #Constraints: 78103
534.59/536.17 c #Conflicts: 230000 | #Constraints: 79103
534.59/536.17 c #Conflicts: 231000 | #Constraints: 80103
534.59/536.17 c #Conflicts: 232000 | #Constraints: 81103
534.59/536.17 c #Conflicts: 233000 | #Constraints: 82103
534.59/536.17 c #Conflicts: 234000 | #Constraints: 83103
757.45/759.67 c #Conflicts: 235000 | #Constraints: 84103
757.45/759.67 c #Conflicts: 236000 | #Constraints: 85103
757.45/759.67 c INPROCESSING
757.45/759.67 c GARBAGE COLLECT
757.45/759.67 c #Conflicts: 237000 | #Constraints: 76499
757.45/759.67 c #Conflicts: 238000 | #Constraints: 77499
757.45/759.67 c #Conflicts: 239000 | #Constraints: 78499
757.45/759.67 c #Conflicts: 240000 | #Constraints: 79499
757.45/759.67 c #Conflicts: 241000 | #Constraints: 80499
757.45/759.67 c #Conflicts: 242000 | #Constraints: 81499
757.45/759.67 c #Conflicts: 243000 | #Constraints: 82499
757.45/759.67 c #Conflicts: 244000 | #Constraints: 83499
757.45/759.67 c #Conflicts: 245000 | #Constraints: 84499
757.45/759.67 c #Conflicts: 246000 | #Constraints: 85499
757.45/759.67 c INPROCESSING
757.45/759.67 c GARBAGE COLLECT
757.45/759.67 c #Conflicts: 247000 | #Constraints: 76704
757.45/759.67 c #Conflicts: 248000 | #Constraints: 77704
757.45/759.67 c #Conflicts: 249000 | #Constraints: 78704
757.45/759.67 c #Conflicts: 250000 | #Constraints: 79704
757.45/759.67 c #Conflicts: 251000 | #Constraints: 80704
757.45/759.67 c #Conflicts: 252000 | #Constraints: 81704
757.45/759.67 c #Conflicts: 253000 | #Constraints: 82704
757.45/759.67 c #Conflicts: 254000 | #Constraints: 83704
757.45/759.67 c #Conflicts: 255000 | #Constraints: 84704
757.45/759.67 c #Conflicts: 256000 | #Constraints: 85704
757.45/759.67 c #Conflicts: 257000 | #Constraints: 86704
757.45/759.67 c #Conflicts: 258000 | #Constraints: 87704
757.45/759.67 c #Conflicts: 259000 | #Constraints: 88704
757.45/759.67 c #Conflicts: 260000 | #Constraints: 89704
757.45/759.67 c #Conflicts: 261000 | #Constraints: 90704
757.45/759.67 c #Conflicts: 262000 | #Constraints: 91704
757.45/759.67 c #Conflicts: 263000 | #Constraints: 92704
757.45/759.67 c #Conflicts: 264000 | #Constraints: 93704
757.45/759.67 c #Conflicts: 265000 | #Constraints: 94704
757.45/759.67 c #Conflicts: 266000 | #Constraints: 95704
757.45/759.67 c #Conflicts: 267000 | #Constraints: 96704
757.45/759.67 c #Conflicts: 268000 | #Constraints: 97704
757.45/759.67 c #Conflicts: 269000 | #Constraints: 98704
757.45/759.67 c #Conflicts: 270000 | #Constraints: 99704
757.45/759.67 c #Conflicts: 271000 | #Constraints: 100704
757.45/759.67 c #Conflicts: 272000 | #Constraints: 101704
757.45/759.67 c #Conflicts: 273000 | #Constraints: 102704
757.45/759.67 c #Conflicts: 274000 | #Constraints: 103704
757.45/759.67 c #Conflicts: 275000 | #Constraints: 104704
757.45/759.67 c #Conflicts: 276000 | #Constraints: 105704
757.45/759.67 c #Conflicts: 277000 | #Constraints: 106704
757.45/759.67 c #Conflicts: 278000 | #Constraints: 107704
757.45/759.67 c #Conflicts: 279000 | #Constraints: 108704
757.45/759.67 c bounds -534 >= -627 @ 609.341
757.45/759.67 c #Conflicts: 280000 | #Constraints: 109798
757.45/759.67 c #Conflicts: 281000 | #Constraints: 110798
757.45/759.67 c #Conflicts: 282000 | #Constraints: 111798
757.45/759.67 c #Conflicts: 283000 | #Constraints: 112798
757.45/759.67 c #Conflicts: 284000 | #Constraints: 113798
757.45/759.67 c #Conflicts: 285000 | #Constraints: 114798
757.45/759.67 c #Conflicts: 286000 | #Constraints: 115798
757.45/759.67 c #Conflicts: 287000 | #Constraints: 116798
757.45/759.67 c #Conflicts: 288000 | #Constraints: 117798
757.45/759.67 c #Conflicts: 289000 | #Constraints: 118798
757.45/759.67 c #Conflicts: 290000 | #Constraints: 119798
757.45/759.67 c #Conflicts: 291000 | #Constraints: 120798
757.45/759.67 c #Conflicts: 292000 | #Constraints: 121798
757.45/759.67 c #Conflicts: 293000 | #Constraints: 122798
757.45/759.67 c #Conflicts: 294000 | #Constraints: 123798
757.45/759.67 c INPROCESSING
757.45/759.67 c GARBAGE COLLECT
757.45/759.67 c #Conflicts: 295000 | #Constraints: 95870
757.45/759.67 c #Conflicts: 296000 | #Constraints: 96870
757.45/759.67 c #Conflicts: 297000 | #Constraints: 97870
757.45/759.67 c #Conflicts: 298000 | #Constraints: 98870
757.45/759.67 c #Conflicts: 299000 | #Constraints: 99870
757.45/759.67 c #Conflicts: 300000 | #Constraints: 100870
757.45/759.67 c #Conflicts: 301000 | #Constraints: 101870
757.45/759.67 c #Conflicts: 302000 | #Constraints: 102870
757.45/759.67 c #Conflicts: 303000 | #Constraints: 103870
757.45/759.67 c #Conflicts: 304000 | #Constraints: 104870
757.45/759.67 c #Conflicts: 305000 | #Constraints: 105870
757.45/759.67 c INPROCESSING
757.45/759.67 c GARBAGE COLLECT
757.45/759.67 c #Conflicts: 306000 | #Constraints: 86758
757.45/759.67 c #Conflicts: 307000 | #Constraints: 87758
757.45/759.67 c #Conflicts: 308000 | #Constraints: 88758
757.45/759.67 c #Conflicts: 309000 | #Constraints: 89758
757.45/759.67 c #Conflicts: 310000 | #Constraints: 90758
1819.66/1825.25 c #Conflicts: 311000 | #Constraints: 91758
1819.66/1825.25 c #Conflicts: 312000 | #Constraints: 92758
1819.66/1825.25 c #Conflicts: 313000 | #Constraints: 93758
1819.66/1825.25 c #Conflicts: 314000 | #Constraints: 94758
1819.66/1825.25 c #Conflicts: 315000 | #Constraints: 95758
1819.66/1825.25 c #Conflicts: 316000 | #Constraints: 96758
1819.66/1825.25 c #Conflicts: 317000 | #Constraints: 97758
1819.66/1825.25 c #Conflicts: 318000 | #Constraints: 98758
1819.66/1825.25 c #Conflicts: 319000 | #Constraints: 99758
1819.66/1825.25 c #Conflicts: 320000 | #Constraints: 100758
1819.66/1825.25 c #Conflicts: 321000 | #Constraints: 101758
1819.66/1825.25 c #Conflicts: 322000 | #Constraints: 102758
1819.66/1825.25 c #Conflicts: 323000 | #Constraints: 103758
1819.66/1825.25 c #Conflicts: 324000 | #Constraints: 104758
1819.66/1825.25 c #Conflicts: 325000 | #Constraints: 105758
1819.66/1825.25 c #Conflicts: 326000 | #Constraints: 106758
1819.66/1825.25 c #Conflicts: 327000 | #Constraints: 107758
1819.66/1825.25 c #Conflicts: 328000 | #Constraints: 108758
1819.66/1825.25 c #Conflicts: 329000 | #Constraints: 109758
1819.66/1825.25 c #Conflicts: 330000 | #Constraints: 110758
1819.66/1825.25 c #Conflicts: 331000 | #Constraints: 111758
1819.66/1825.25 c #Conflicts: 332000 | #Constraints: 112758
1819.66/1825.25 c #Conflicts: 333000 | #Constraints: 113758
1819.66/1825.25 c #Conflicts: 334000 | #Constraints: 114758
1819.66/1825.25 c #Conflicts: 335000 | #Constraints: 115758
1819.66/1825.25 c #Conflicts: 336000 | #Constraints: 116758
1819.66/1825.25 c #Conflicts: 337000 | #Constraints: 117758
1819.66/1825.25 c #Conflicts: 338000 | #Constraints: 118758
1819.66/1825.25 c #Conflicts: 339000 | #Constraints: 119758
1819.66/1825.25 c #Conflicts: 340000 | #Constraints: 120758
1819.66/1825.25 c #Conflicts: 341000 | #Constraints: 121758
1819.66/1825.25 c #Conflicts: 342000 | #Constraints: 122758
1819.66/1825.25 c #Conflicts: 343000 | #Constraints: 123758
1819.66/1825.25 c #Conflicts: 344000 | #Constraints: 124758
1819.66/1825.25 c #Conflicts: 345000 | #Constraints: 125758
1819.66/1825.25 c #Conflicts: 346000 | #Constraints: 126758
1819.66/1825.25 c #Conflicts: 347000 | #Constraints: 127758
1819.66/1825.25 c #Conflicts: 348000 | #Constraints: 128758
1819.66/1825.25 c #Conflicts: 349000 | #Constraints: 129758
1819.66/1825.25 c #Conflicts: 350000 | #Constraints: 130758
1819.66/1825.25 c #Conflicts: 351000 | #Constraints: 131758
1819.66/1825.25 c #Conflicts: 352000 | #Constraints: 132758
1819.66/1825.25 c #Conflicts: 353000 | #Constraints: 133758
1819.66/1825.25 c #Conflicts: 354000 | #Constraints: 134758
1819.66/1825.25 c #Conflicts: 355000 | #Constraints: 135758
1819.66/1825.25 c #Conflicts: 356000 | #Constraints: 136758
1819.66/1825.25 c INPROCESSING
1819.66/1825.25 c GARBAGE COLLECT
1819.66/1825.25 c #Conflicts: 357000 | #Constraints: 102148
1819.66/1825.25 c #Conflicts: 358000 | #Constraints: 103148
1819.66/1825.25 c #Conflicts: 359000 | #Constraints: 104148
1819.66/1825.25 c #Conflicts: 360000 | #Constraints: 105148
1819.66/1825.25 c #Conflicts: 361000 | #Constraints: 106148
1819.66/1825.25 c #Conflicts: 362000 | #Constraints: 107148
1819.66/1825.25 c #Conflicts: 363000 | #Constraints: 108148
1819.66/1825.25 c #Conflicts: 364000 | #Constraints: 109148
1819.66/1825.25 c #Conflicts: 365000 | #Constraints: 110148
1819.66/1825.25 c #Conflicts: 366000 | #Constraints: 111148
1819.66/1825.25 c #Conflicts: 367000 | #Constraints: 112148
1819.66/1825.25 c #Conflicts: 368000 | #Constraints: 113148
1819.66/1825.25 c #Conflicts: 369000 | #Constraints: 114148
1819.66/1825.25 c INPROCESSING
1819.66/1825.25 c GARBAGE COLLECT
1819.66/1825.25 c #Conflicts: 370000 | #Constraints: 95970
1819.66/1825.25 c #Conflicts: 371000 | #Constraints: 96970
1819.66/1825.25 c #Conflicts: 372000 | #Constraints: 97970
1819.66/1825.25 c #Conflicts: 373000 | #Constraints: 98970
1819.66/1825.25 c #Conflicts: 374000 | #Constraints: 99970
1819.66/1825.25 c #Conflicts: 375000 | #Constraints: 100970
1819.66/1825.25 c #Conflicts: 376000 | #Constraints: 101970
1819.66/1825.25 c #Conflicts: 377000 | #Constraints: 102970
1819.66/1825.25 c #Conflicts: 378000 | #Constraints: 103970
1819.66/1825.25 c #Conflicts: 379000 | #Constraints: 104970
1819.66/1825.25 c #Conflicts: 380000 | #Constraints: 105970
1819.66/1825.25 c #Conflicts: 381000 | #Constraints: 106970
1819.66/1825.25 c #Conflicts: 382000 | #Constraints: 107970
1819.66/1825.25 c #Conflicts: 383000 | #Constraints: 108970
1819.66/1825.25 c #Conflicts: 384000 | #Constraints: 109970
1819.66/1825.25 c #Conflicts: 385000 | #Constraints: 110970
1819.66/1825.25 c #Conflicts: 386000 | #Constraints: 111970
1819.66/1825.25 c #Conflicts: 387000 | #Constraints: 112970
1819.66/1825.25 c #Conflicts: 388000 | #Constraints: 113970
3600.05/3611.30 c #Conflicts: 389000 | #Constraints: 114970
3600.05/3611.30 c #Conflicts: 390000 | #Constraints: 115970
3600.05/3611.30 c #Conflicts: 391000 | #Constraints: 116970
3600.05/3611.30 c #Conflicts: 392000 | #Constraints: 117970
3600.05/3611.30 c #Conflicts: 393000 | #Constraints: 118970
3600.05/3611.30 c #Conflicts: 394000 | #Constraints: 119970
3600.05/3611.30 c #Conflicts: 395000 | #Constraints: 120970
3600.05/3611.30 c #Conflicts: 396000 | #Constraints: 121970
3600.05/3611.30 c #Conflicts: 397000 | #Constraints: 122970
3600.05/3611.30 c #Conflicts: 398000 | #Constraints: 123970
3600.05/3611.30 c #Conflicts: 399000 | #Constraints: 124970
3600.05/3611.30 c #Conflicts: 400000 | #Constraints: 125970
3600.05/3611.30 c #Conflicts: 401000 | #Constraints: 126970
3600.05/3611.30 c #Conflicts: 402000 | #Constraints: 127970
3600.05/3611.30 c #Conflicts: 403000 | #Constraints: 128970
3600.05/3611.30 c #Conflicts: 404000 | #Constraints: 129970
3600.05/3611.30 c #Conflicts: 405000 | #Constraints: 130970
3600.05/3611.30 c #Conflicts: 406000 | #Constraints: 131970
3600.05/3611.30 c #Conflicts: 407000 | #Constraints: 132970
3600.05/3611.30 c #Conflicts: 408000 | #Constraints: 133970
3600.05/3611.30 c #Conflicts: 409000 | #Constraints: 134970
3600.05/3611.30 c #Conflicts: 410000 | #Constraints: 135970
3600.05/3611.30 c #Conflicts: 411000 | #Constraints: 136970
3600.05/3611.30 c #Conflicts: 412000 | #Constraints: 137970
3600.05/3611.30 c #Conflicts: 413000 | #Constraints: 138970
3600.05/3611.30 c #Conflicts: 414000 | #Constraints: 139970
3600.05/3611.30 c #Conflicts: 415000 | #Constraints: 140970
3600.05/3611.30 c #Conflicts: 416000 | #Constraints: 141970
3600.05/3611.30 c #Conflicts: 417000 | #Constraints: 142970
3600.05/3611.30 c #Conflicts: 418000 | #Constraints: 143970
3600.05/3611.30 c #Conflicts: 419000 | #Constraints: 144970
3600.05/3611.30 c #Conflicts: 420000 | #Constraints: 145970
3600.05/3611.30 c #Conflicts: 421000 | #Constraints: 146970
3600.05/3611.30 c #Conflicts: 422000 | #Constraints: 147970
3600.05/3611.30 c #Conflicts: 423000 | #Constraints: 148970
3600.05/3611.30 c INPROCESSING
3600.05/3611.30 c GARBAGE COLLECT
3600.05/3611.30 c #Conflicts: 424000 | #Constraints: 108366
3600.05/3611.30 c #Conflicts: 425000 | #Constraints: 109366
3600.05/3611.30 c #Conflicts: 426000 | #Constraints: 110366
3600.05/3611.30 c #Conflicts: 427000 | #Constraints: 111366
3600.05/3611.30 c #Conflicts: 428000 | #Constraints: 112366
3600.05/3611.30 c #Conflicts: 429000 | #Constraints: 113366
3600.05/3611.30 c #Conflicts: 430000 | #Constraints: 114366
3600.05/3611.30 c #Conflicts: 431000 | #Constraints: 115366
3600.05/3611.30 c #Conflicts: 432000 | #Constraints: 116366
3600.05/3611.30 c #Conflicts: 433000 | #Constraints: 117366
3600.05/3611.30 c #Conflicts: 434000 | #Constraints: 118366
3600.05/3611.30 c #Conflicts: 435000 | #Constraints: 119366
3600.05/3611.30 c #Conflicts: 436000 | #Constraints: 120366
3600.05/3611.30 c #Conflicts: 437000 | #Constraints: 121366
3600.05/3611.30 c INPROCESSING
3600.05/3611.30 c GARBAGE COLLECT
3600.05/3611.30 c #Conflicts: 438000 | #Constraints: 108251
3600.05/3611.30 c #Conflicts: 439000 | #Constraints: 109251
3600.05/3611.30 c #Conflicts: 440000 | #Constraints: 110251
3600.05/3611.30 c #Conflicts: 441000 | #Constraints: 111251
3600.05/3611.30 c #Conflicts: 442000 | #Constraints: 112251
3600.05/3611.30 c #Conflicts: 443000 | #Constraints: 113251
3600.05/3611.30 c #Conflicts: 444000 | #Constraints: 114251
3600.05/3611.30 c #Conflicts: 445000 | #Constraints: 115251
3600.05/3611.30 c #Conflicts: 446000 | #Constraints: 116251
3600.05/3611.30 c #Conflicts: 447000 | #Constraints: 117251
3600.05/3611.30 c #Conflicts: 448000 | #Constraints: 118251
3600.05/3611.30 c #Conflicts: 449000 | #Constraints: 119251
3600.05/3611.30 c #Conflicts: 450000 | #Constraints: 120251
3600.05/3611.30 c #Conflicts: 451000 | #Constraints: 121251
3600.05/3611.30 c #Conflicts: 452000 | #Constraints: 122251
3600.05/3611.30 c #Conflicts: 453000 | #Constraints: 123251
3600.05/3611.30 c #Conflicts: 454000 | #Constraints: 124251
3600.05/3611.30 c #Conflicts: 455000 | #Constraints: 125251
3600.05/3611.30 c #Conflicts: 456000 | #Constraints: 126251
3600.05/3611.30 c #Conflicts: 457000 | #Constraints: 127251
3600.05/3611.30 c #Conflicts: 458000 | #Constraints: 128251
3600.05/3611.30 c #Conflicts: 459000 | #Constraints: 129251
3600.05/3611.30 c #Conflicts: 460000 | #Constraints: 130251
3600.05/3611.30 c #Conflicts: 461000 | #Constraints: 131251
3600.05/3611.30 c #Conflicts: 462000 | #Constraints: 132251
3600.05/3611.30 c #Conflicts: 463000 | #Constraints: 133251
3600.05/3611.30 c #Conflicts: 464000 | #Constraints: 134251
3600.05/3611.30 c Program interrupted by user.
3600.05/3611.30 c cpu time 3594.12 s
3600.05/3611.30 c deterministic time 189194559829 1.89e+11
3600.05/3611.30 c optimization time 811.415 s
3600.05/3611.30 c total solve time 2483.18 s
3600.05/3611.30 c core-guided solve time 2483.18 s
3600.05/3611.30 c propagation time 2758.01 s
3600.05/3611.30 c conflict analysis time 523.136 s
3600.05/3611.30 c propagations 148490948
3600.05/3611.30 c resolve steps 18210345
3600.05/3611.30 c decisions 3708069
3600.05/3611.30 c conflicts 464922
3600.05/3611.30 c restarts 1022
3600.05/3611.30 c inprocessing phases 47
3600.05/3611.30 c input clauses 65229
3600.05/3611.30 c input cardinalities 1096
3600.05/3611.30 c input general constraints 396
3600.05/3611.30 c input average constraint length 6.63
3600.05/3611.30 c input average constraint degree 1.64
3600.05/3611.30 c learned clauses 329213
3600.05/3611.30 c learned cardinalities 1141
3600.05/3611.30 c learned general constraints 134610
3600.05/3611.30 c learned average constraint length 209.53
3600.05/3611.30 c learned average constraint degree 612898.16
3600.05/3611.30 c watched constraints 73864
3600.05/3611.30 c counting constraints 61142
3600.05/3611.30 c gcd simplifications 73236
3600.05/3611.30 c detected cardinalities 4
3600.05/3611.30 c weakened non-implied lits 87625861
3600.05/3611.30 c weakened non-implying lits 505599
3600.05/3611.30 c original variables 1081
3600.05/3611.30 c clausal propagations 103945615
3600.05/3611.30 c cardinality propagations 14042534
3600.05/3611.30 c watched propagations 1276288
3600.05/3611.30 c counting propagations 28657250
3600.05/3611.30 c watch lookups 66288596088
3600.05/3611.30 c watch backjump lookups 61731399396
3600.05/3611.30 c watch checks 54077565084
3600.05/3611.30 c propagation checks 6334819635
3600.05/3611.30 c constraint additions 457316725
3600.05/3611.30 c trail pops 152663883
3600.05/3611.30 c formula constraints 64860
3600.05/3611.30 c learned constraints 464964
3600.05/3611.30 c bound constraints 269
3600.05/3611.30 c core-guided constraints 1592
3600.05/3611.30 c encountered formula constraints 15292185
3600.05/3611.30 c encountered learned constraints 2452486
3600.05/3611.30 c encountered bound constraints 4218
3600.05/3611.30 c encountered core-guided constraints 926378
3600.05/3611.30 c LP total time 0 s
3600.05/3611.30 c LP solve time 0 s
3600.05/3611.30 c LP constraints added 0
3600.05/3611.30 c LP constraints removed 0
3600.05/3611.30 c LP pivots internal 0
3600.05/3611.30 c LP pivots root 0
3600.05/3611.30 c LP calls 0
3600.05/3611.30 c LP optimalities 0
3600.05/3611.30 c LP no pivot count 0
3600.05/3611.30 c LP infeasibilities 0
3600.05/3611.30 c LP valid Farkas constraints 0
3600.05/3611.30 c LP learned Farkas constraints 0
3600.05/3611.30 c LP basis resets 0
3600.05/3611.30 c LP cycling count 0
3600.05/3611.30 c LP singular count 0
3600.05/3611.30 c LP no primal count 0
3600.05/3611.30 c LP no farkas count 0
3600.05/3611.30 c LP other issue count 0
3600.05/3611.30 c LP Gomory cuts 0
3600.05/3611.30 c LP learned cuts 0
3600.05/3611.30 c LP deleted cuts 0
3600.05/3611.30 c LP encountered Gomory constraints 0
3600.05/3611.30 c LP encountered Farkas constraints 0
3600.05/3611.30 c LP encountered learned Farkas constraints 0
3600.05/3611.30 c CG auxiliary variables introduced 612
3600.05/3611.30 c CG solutions found 2
3600.05/3611.30 c CG cores constructed 256
3600.05/3611.30 c CG core cardinality constraints returned 0
3600.05/3611.30 c CG unit cores 0
3600.05/3611.30 c CG single cores 252
3600.05/3611.30 c CG blocks removed during cardinality reduction 0
3600.05/3611.30 c CG first core best 0
3600.05/3611.30 c CG decision core best 0
3600.05/3611.30 c CG core reduction tie 4
3600.05/3611.30 c CG core degree average 1.00
3600.05/3611.30 c CG core slack average 4.71
3600.05/3611.30 c CG exhausted 0
3600.05/3611.30 c CG exhaust time 180.059 s
3600.05/3611.30 c CG trimmed 5
3600.05/3611.30 c CG trim time 0.018927 s
3600.05/3611.30 c CG minimized 0
3600.05/3611.30 c CG minimize time 0 s
3600.05/3611.30 c CG am1 prop time 0.009135 s
3600.05/3611.30 c CG # am1s reformulated 0
3600.05/3611.30 c CG lower bound derived from am1s 0
3600.05/3611.30 c CG # clausal cores 252
3600.05/3611.30 c CG # cardinality cores 0
3600.05/3611.30 c CG # pb cores 8
3600.05/3611.30 c CG # pb reforms 0
3600.05/3611.30 c CG # cores discarded because of pb reform 0
3600.05/3611.30 d LOWERBOUND -627
3600.05/3611.30 d NCORES 256
3600.05/3611.30 d NPBCORES 8
3600.05/3611.30 d NPBREFORM 0
3600.05/3611.30 d NTRIMMED 5
3600.05/3611.30 d NEXHAUSTED 0
3600.05/3611.30 d NAM1S 0
3600.05/3611.30 d AM1LB 0
3600.05/3611.30 c [Papilo Statistics]
3600.05/3611.30 c prepro time 0.0517231s
3600.05/3611.30 c # tsx applied 0
3600.05/3611.30 c # tsx conflicts 0
3600.05/3611.30 c # bound changes 0
3600.05/3611.30 c # side changes 0
3600.05/3611.30 c # coef changes 0
3600.05/3611.30 c # rounds 1
3600.05/3611.30 c # deted vars 0
3600.05/3611.30 c # deted constrs 0
3600.05/3611.30 c # consecutive rounds of only bound changes 0
3600.05/3611.30 c [STEP] postprocessing with Papilo
3600.05/3611.30 o -534
3600.05/3611.30 s SATISFIABLE
3600.05/3611.30 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 x461 x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 x506 x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 x545 x546 x547 x548 x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 x560 x561 x562 x563 x564 x565 x566 x567 x568 x569 x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 x581 -x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 x620 x621 x622 x623 x624 x625 x626 x627 x628 x629 x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 -x643 x644 -x645 -x646 -x647 -x648 x649 x650 x651 x652 x653 x654 x655 x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 x666 x667 x668 x669 x670 x671 -x672 x673 -x674 -x675 -x676 x677 x678 x679 x680 x681 x682 x683 x684 x685 x686 x687 x688 x689 x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 -x700 x701 -x702 -x703 x704 x705 x706 x707 x708 x709 x710 x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 x722 x723 x724 x725 x726 -x727 x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 x802 -x803 x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 x825 -x826 x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 x868 -x869 x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 x888 -x889 x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 x925 -x926 x927 x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 x958 -x959 x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 x973 -x974 x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000 -x1001 x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 x1012 -x1013 x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 -x1024 x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 x1044 x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 x1052 x1053 -x1054 -x1055 -x1056 x1057 -x1058 x1059 x1060 -x1061 -x1062 x1063 -x1064 x1065 x1066 -x1067 x1068 -x1069 x1070 x1071 x1072 -x1073 x1074 x1075 x1076 -x1077 -x1078 x1079 x1080 -x1081
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (47143 MiB free)
memory of node 1: 64465 MiB (51945 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529295-1752264035/watcher-4529295-1752264035 -o /tmp/evaluation-result-4529295-1752264035/solver-4529295-1752264035 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752256808-114696 --watchdog 3760 mixed-bag HOME/instance-4529295-1752264035.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=115585, runsolver pid=115581
[startup+0.100059 s]*
/proc/loadavg: 4.09 4.13 4.10 5/261 115593
/proc/meminfo: memFree=101466644/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=86788 memory=15576 CPUtime=0.08 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 2523 0 0 0 8 0 0 0 20 0 1 0 142082182 88870912 3894 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 21697 3894 2144 2834 0 4449 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 86788 KiB
Current children cumulated memory: 15576 KiB
[startup+0.205422 s]*
/proc/loadavg: 4.09 4.13 4.10 4/261 115593
/proc/meminfo: memFree=101442576/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=131052 memory=52224 CPUtime=0.19 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 9507 0 0 0 17 2 0 0 20 0 1 0 142082182 134197248 13056 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 32763 13056 2272 2834 0 14968 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 131052 KiB
Current children cumulated memory: 52224 KiB
[startup+0.305695 s]*
/proc/loadavg: 4.09 4.13 4.10 4/261 115593
/proc/meminfo: memFree=101362188/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=201648 memory=128996 CPUtime=0.29 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 28392 0 0 0 25 4 0 0 20 0 1 0 142082182 206487552 32217 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 50412 32217 3936 2834 0 32617 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 201648 KiB
Current children cumulated memory: 128996 KiB
[startup+0.700181 s]
/proc/loadavg: 4.09 4.13 4.10 5/260 115594
/proc/meminfo: memFree=101305612/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=256868 memory=183032 CPUtime=0.67 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 46529 0 0 0 60 7 0 0 20 0 1 0 142082182 263032832 45758 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 64217 45758 3968 2834 0 46422 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 256868 KiB
Current children cumulated memory: 183032 KiB
[startup+1.50013 s]
/proc/loadavg: 4.09 4.13 4.10 5/261 115621
/proc/meminfo: memFree=101224808/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=505480 memory=398388 CPUtime=1.48 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 63831 0 0 0 135 13 0 0 20 0 1 0 142082182 517611520 99597 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 126370 99597 4064 2834 0 108575 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 505480 KiB
Current children cumulated memory: 398388 KiB
[startup+3.10556 s]
/proc/loadavg: 4.16 4.14 4.10 5/265 115630
/proc/meminfo: memFree=100586752/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=536388 memory=434796 CPUtime=3.08 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 70001 0 0 0 294 14 0 0 20 0 1 0 142082182 549261312 108699 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 134097 108699 4224 2834 0 116302 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 536388 KiB
Current children cumulated memory: 434796 KiB
[startup+6.30014 s]
/proc/loadavg: 4.16 4.14 4.10 5/265 115632
/proc/meminfo: memFree=99843048/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=536388 memory=434796 CPUtime=6.26 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 70012 0 0 0 612 14 0 0 20 0 1 0 142082182 549261312 108699 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 134097 108699 4224 2834 0 116302 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 536388 KiB
Current children cumulated memory: 434796 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.14 4.10 5/265 115632
/proc/meminfo: memFree=99287596/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=536388 memory=434796 CPUtime=12.64 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 70012 0 0 0 1250 14 0 0 20 0 1 0 142082182 549261312 108699 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 134097 108699 4224 2834 0 116302 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 536388 KiB
Current children cumulated memory: 434796 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.13 4.10 5/265 115632
/proc/meminfo: memFree=98853156/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=607704 memory=491384 CPUtime=25.41 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 83137 0 0 0 2525 16 0 0 20 0 1 0 142082182 622288896 122846 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 151926 122846 4224 2834 0 134131 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 607704 KiB
Current children cumulated memory: 491384 KiB
[startup+51.1057 s]
/proc/loadavg: 4.16 4.14 4.10 4/262 115656
/proc/meminfo: memFree=106005760/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=780248 memory=602104 CPUtime=50.94 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 110850 0 0 0 5073 21 0 0 20 0 1 0 142082182 798973952 150526 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 195062 150526 4224 2834 0 177267 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 780248 KiB
Current children cumulated memory: 602104 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/266 115829
/proc/meminfo: memFree=105937660/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=841332 memory=663416 CPUtime=101.98 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 126154 0 0 0 10174 24 0 0 20 0 1 0 142082182 861523968 165854 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 210333 165854 4256 2834 0 192538 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 841332 KiB
Current children cumulated memory: 663416 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/266 115831
/proc/meminfo: memFree=105859168/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=841332 memory=663416 CPUtime=161.81 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 126163 0 0 0 16157 24 0 0 20 0 1 0 142082182 861523968 165854 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 210333 165854 4256 2834 0 192538 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 841332 KiB
Current children cumulated memory: 663416 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/266 115833
/proc/meminfo: memFree=105789340/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=841332 memory=663416 CPUtime=221.63 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 126164 0 0 0 22139 24 0 0 20 0 1 0 142082182 861523968 165854 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 210333 165854 4256 2834 0 192538 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 841332 KiB
Current children cumulated memory: 663416 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 115835
/proc/meminfo: memFree=105743476/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=841332 memory=665208 CPUtime=281.45 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 126188 0 0 0 28121 24 0 0 20 0 1 0 142082182 861523968 166302 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 210333 166302 4256 2834 0 192538 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 841332 KiB
Current children cumulated memory: 665208 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/264 115838
/proc/meminfo: memFree=106559420/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=651236 memory=508516 CPUtime=341.29 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 128002 0 0 0 34082 47 0 0 20 0 1 0 142082182 666865664 127129 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 162809 127129 4448 2834 0 145014 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 651236 KiB
Current children cumulated memory: 508516 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 115841
/proc/meminfo: memFree=106432016/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=662912 memory=520052 CPUtime=401.14 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 128868 0 0 0 40037 77 0 0 20 0 1 0 142082182 678821888 130013 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 165728 130013 4448 2834 0 147933 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 662912 KiB
Current children cumulated memory: 520052 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 115843
/proc/meminfo: memFree=106257860/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=662912 memory=534516 CPUtime=460.99 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 128876 0 0 0 45995 104 0 0 20 0 1 0 142082182 678821888 133629 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 165728 133629 4448 2834 0 147933 0
Current children cumulated CPU time: 460.99 s
################
# More data... #
################
Current children cumulated memory: 599552 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 115968
/proc/meminfo: memFree=104711784/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=712700 memory=599552 CPUtime=2913.21 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 130794 0 0 0 290799 522 0 0 20 0 1 0 142082182 729804800 149888 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 178175 149888 4448 2834 0 160380 0
Current children cumulated CPU time: 2913.21 s
Current children cumulated vsize: 712700 KiB
Current children cumulated memory: 599552 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 115974
/proc/meminfo: memFree=104712524/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=712700 memory=599552 CPUtime=2973.03 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 130794 0 0 0 296775 528 0 0 20 0 1 0 142082182 729804800 149888 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 178175 149888 4448 2834 0 160380 0
Current children cumulated CPU time: 2973.03 s
Current children cumulated vsize: 712700 KiB
Current children cumulated memory: 599552 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 115976
/proc/meminfo: memFree=104709180/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=712700 memory=599552 CPUtime=3032.84 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 130794 0 0 0 302747 537 0 0 20 0 1 0 142082182 729804800 149888 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 178175 149888 4448 2834 0 160380 0
Current children cumulated CPU time: 3032.84 s
Current children cumulated vsize: 712700 KiB
Current children cumulated memory: 599552 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 115982
/proc/meminfo: memFree=104725148/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=712700 memory=599552 CPUtime=3092.64 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 130794 0 0 0 308720 544 0 0 20 0 1 0 142082182 729804800 149888 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 178175 149888 4448 2834 0 160380 0
Current children cumulated CPU time: 3092.64 s
Current children cumulated vsize: 712700 KiB
Current children cumulated memory: 599552 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 115984
/proc/meminfo: memFree=104700772/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=712700 memory=599552 CPUtime=3152.44 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 130794 0 0 0 314693 551 0 0 20 0 1 0 142082182 729804800 149888 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 178175 149888 4448 2834 0 160380 0
Current children cumulated CPU time: 3152.44 s
Current children cumulated vsize: 712700 KiB
Current children cumulated memory: 599552 KiB
[startup+3222.3 s]
/proc/loadavg: 4.29 4.13 4.10 5/264 115986
/proc/meminfo: memFree=104700868/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=712700 memory=599552 CPUtime=3212.25 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 130794 0 0 0 320667 558 0 0 20 0 1 0 142082182 729804800 149888 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 178175 149888 4448 2834 0 160380 0
Current children cumulated CPU time: 3212.25 s
Current children cumulated vsize: 712700 KiB
Current children cumulated memory: 599552 KiB
[startup+3282.3 s]
/proc/loadavg: 4.28 4.16 4.11 5/264 115989
/proc/meminfo: memFree=104704660/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=712700 memory=599552 CPUtime=3272.05 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 130794 0 0 0 326640 565 0 0 20 0 1 0 142082182 729804800 149888 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 178175 149888 4448 2834 0 160380 0
Current children cumulated CPU time: 3272.05 s
Current children cumulated vsize: 712700 KiB
Current children cumulated memory: 599552 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/264 115991
/proc/meminfo: memFree=104704360/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=712700 memory=599552 CPUtime=3331.85 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 130839 0 0 0 332614 571 0 0 20 0 1 0 142082182 729804800 149888 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 178175 149888 4448 2834 0 160380 0
Current children cumulated CPU time: 3331.85 s
Current children cumulated vsize: 712700 KiB
Current children cumulated memory: 599552 KiB
[startup+3402.3 s]
/proc/loadavg: 4.50 4.23 4.14 5/264 115993
/proc/meminfo: memFree=104700400/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=712700 memory=599552 CPUtime=3391.66 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 130868 0 0 0 338589 577 0 0 20 0 1 0 142082182 729804800 149888 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 178175 149888 4448 2834 0 160380 0
Current children cumulated CPU time: 3391.66 s
Current children cumulated vsize: 712700 KiB
Current children cumulated memory: 599552 KiB
[startup+3462.3 s]
/proc/loadavg: 4.25 4.20 4.13 5/264 115995
/proc/meminfo: memFree=104692104/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=712700 memory=599552 CPUtime=3451.47 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 130869 0 0 0 344564 583 0 0 20 0 1 0 142082182 729804800 149888 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 178175 149888 4448 2834 0 160380 0
Current children cumulated CPU time: 3451.47 s
Current children cumulated vsize: 712700 KiB
Current children cumulated memory: 599552 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.18 4.13 5/265 115998
/proc/meminfo: memFree=104690244/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=712700 memory=599552 CPUtime=3511.28 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 130889 0 0 0 350539 589 0 0 20 0 1 0 142082182 729804800 149888 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 178175 149888 4448 2834 0 160380 0
Current children cumulated CPU time: 3511.28 s
Current children cumulated vsize: 712700 KiB
Current children cumulated memory: 599552 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.16 4.12 5/266 116003
/proc/meminfo: memFree=104678348/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=712700 memory=599552 CPUtime=3571.13 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 130896 0 0 0 356521 592 0 0 20 0 1 0 142082182 729804800 149888 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 178175 149888 4448 2834 0 160380 0
Current children cumulated CPU time: 3571.13 s
Current children cumulated vsize: 712700 KiB
Current children cumulated memory: 599552 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 4.05 4.14 4.11 4/259 116035
/proc/meminfo: memFree=106709240/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=712700 memory=599552 CPUtime=3600.05 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 130897 0 0 0 359411 594 0 0 20 0 1 0 142082182 729804800 149888 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 178175 149888 4448 2834 0 160380 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 712700 KiB
Current children cumulated memory: 599552 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.31 s]
# the end of solver process 115585 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3594.12 s, system=5.9442 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.3 s]
/proc/loadavg: 4.05 4.14 4.11 4/259 116035
/proc/meminfo: memFree=106709240/131249996 swapFree=33010160/33010684
[pid=115585] ppid=115581 vsize=712700 memory=599552 CPUtime=3600.05 cores=1,3
/proc/115585/stat : 115585 (mixed-bag) R 115581 115585 114684 0 -1 4194304 130897 0 0 0 359411 594 0 0 20 0 1 0 142082182 729804800 149888 18446744073709551615 4235264 15840557 140721483020736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 35168256 140721483024794 140721483024871 140721483024871 140721483030475 0
/proc/115585/statm: 178175 149888 4448 2834 0 160380 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 712700 KiB
Current children cumulated memory: 599552 KiB
Child status: 0
Real time (s): 3611.31
CPU time (s): 3600.06
CPU user time (s): 3594.12
CPU system time (s): 5.9442
CPU usage (%): 99.6887
Max. virtual memory (cumulated for all children) (KiB): 841332
Max. memory (cumulated for all children) (KiB): 665208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.12
system time used= 5.9442
maximum resident set size= 665208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130940
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= 165
involuntary context switches= 1175
# summary of solver processes directly reported to runsolver:
# pid: 115585
# total CPU time (s): 3600.06
# total CPU user time (s): 3594.12
# total CPU system time (s): 5.9442
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.60188 second user time and 16.3007 second system time
The end
Begin job on nodeC032 at 2025-07-11 22:00:35
IDJOB=4529295
IDBENCH=178158
IDSOLVER=3386
FILE ID=nodeC032/4529295-1752264035
RUNJOBID= nodeC032-1752256808-114696
SLURM_JOB_ID= 9682604
Free space on /tmp= 428492 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/normalized-maxcut_opt_complete_5-partite_block_nvert_47.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529295-1752264035/watcher-4529295-1752264035 -o /tmp/evaluation-result-4529295-1752264035/solver-4529295-1752264035 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752256808-114696 --watchdog 3760 mixed-bag HOME/instance-4529295-1752264035.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 84fd44c84eee80e386362762f3a8050d
RANDOM SEED=277568402
nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.841
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3599.823
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3602.198
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3599.811
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.831
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3598.459
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 101463492 kB
MemAvailable: 122051112 kB
Buffers: 2728 kB
Cached: 21263012 kB
SwapCached: 20 kB
Active: 8007044 kB
Inactive: 20839336 kB
Active(anon): 7595568 kB
Inactive(anon): 3124 kB
Active(file): 411476 kB
Inactive(file): 20836212 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 48948 kB
Writeback: 0 kB
AnonPages: 7583124 kB
Mapped: 129048 kB
Shmem: 18048 kB
KReclaimable: 358344 kB
Slab: 455700 kB
SReclaimable: 358344 kB
SUnreclaim: 97356 kB
KernelStack: 4240 kB
PageTables: 17732 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 8213540 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1708032 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 428576 MiB
End job on nodeC032 at 2025-07-11 23:00:47