0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.40/0.44 c [STEP] preprocessing with Papilo
0.50/0.56 c Papilo could not simplify the problem
0.50/0.56 c [STEP] solving with SCIP
299.96/300.96 c [STEP] preprocessing done, loading into solver
300.07/301.08 c [STEP] solving
300.07/301.08 c #variables 1082 #constraints 64860
300.07/301.08 c SMALL=int, LARGE=long long
300.07/301.08 d SCIPUB -98
300.07/301.08 c bounds - >= -883 @ 299.787
300.07/301.08 c stratification level: 0
300.07/301.10 c bounds - >= -882 @ 299.79
300.07/301.10 c bounds - >= -881 @ 299.79
300.07/301.10 c bounds - >= -880 @ 299.791
300.07/301.10 c bounds - >= -879 @ 299.791
300.07/301.10 c bounds - >= -878 @ 299.791
300.07/301.10 c bounds - >= -877 @ 299.791
300.07/301.10 c bounds - >= -876 @ 299.791
300.07/301.10 c bounds - >= -875 @ 299.791
300.07/301.10 c bounds - >= -874 @ 299.791
300.07/301.10 c bounds - >= -873 @ 299.791
300.07/301.10 c bounds - >= -872 @ 299.792
300.07/301.10 c bounds - >= -871 @ 299.792
300.07/301.10 c bounds - >= -870 @ 299.792
300.07/301.10 c bounds - >= -869 @ 299.792
300.07/301.10 c bounds - >= -868 @ 299.792
300.07/301.10 c bounds - >= -867 @ 299.792
300.07/301.10 c bounds - >= -866 @ 299.792
300.07/301.10 c bounds - >= -865 @ 299.792
300.07/301.10 c bounds - >= -864 @ 299.792
300.07/301.10 c bounds - >= -863 @ 299.793
300.07/301.10 c bounds - >= -862 @ 299.793
300.07/301.10 c bounds - >= -861 @ 299.793
300.07/301.10 c bounds - >= -860 @ 299.793
300.07/301.10 c bounds - >= -859 @ 299.793
300.07/301.10 c bounds - >= -858 @ 299.793
300.07/301.10 c bounds - >= -857 @ 299.793
300.07/301.10 c bounds - >= -856 @ 299.793
300.07/301.10 c bounds - >= -855 @ 299.793
300.07/301.10 c bounds - >= -854 @ 299.794
300.07/301.10 c bounds - >= -853 @ 299.794
300.07/301.10 c bounds - >= -852 @ 299.794
300.07/301.10 c bounds - >= -851 @ 299.794
300.07/301.10 c bounds - >= -850 @ 299.794
300.07/301.10 c bounds - >= -849 @ 299.794
300.07/301.10 c bounds - >= -848 @ 299.794
300.07/301.10 c bounds - >= -847 @ 299.794
300.07/301.10 c bounds - >= -846 @ 299.794
300.07/301.10 c bounds - >= -845 @ 299.795
300.07/301.10 c bounds - >= -844 @ 299.795
300.07/301.10 c bounds - >= -843 @ 299.795
300.07/301.10 c bounds - >= -842 @ 299.795
300.07/301.10 c bounds - >= -841 @ 299.795
300.07/301.10 c bounds - >= -840 @ 299.795
300.07/301.10 c bounds - >= -839 @ 299.795
300.07/301.10 c bounds - >= -838 @ 299.795
300.07/301.10 c bounds - >= -837 @ 299.795
300.07/301.10 c bounds - >= -836 @ 299.796
300.07/301.10 c bounds - >= -835 @ 299.796
300.07/301.10 c bounds - >= -834 @ 299.796
300.07/301.10 c bounds - >= -833 @ 299.796
300.07/301.10 c bounds - >= -832 @ 299.796
300.07/301.10 c bounds - >= -831 @ 299.796
300.07/301.10 c bounds - >= -830 @ 299.796
300.07/301.10 c bounds - >= -829 @ 299.796
300.07/301.10 c bounds - >= -828 @ 299.797
300.07/301.10 c bounds - >= -827 @ 299.797
300.07/301.10 c bounds - >= -826 @ 299.797
300.07/301.10 c bounds - >= -825 @ 299.797
300.07/301.10 c bounds - >= -824 @ 299.797
300.07/301.10 c bounds - >= -823 @ 299.797
300.07/301.10 c bounds - >= -822 @ 299.797
300.07/301.10 c bounds - >= -821 @ 299.797
300.07/301.10 c bounds - >= -820 @ 299.797
300.07/301.10 c bounds - >= -819 @ 299.797
300.07/301.10 c bounds - >= -818 @ 299.797
300.07/301.10 c bounds - >= -817 @ 299.797
300.07/301.10 c bounds - >= -816 @ 299.797
300.07/301.10 c bounds - >= -815 @ 299.797
300.07/301.10 c bounds - >= -814 @ 299.797
300.07/301.10 c bounds - >= -813 @ 299.797
300.07/301.10 c bounds - >= -812 @ 299.797
300.07/301.10 c bounds - >= -811 @ 299.798
300.07/301.10 c bounds - >= -810 @ 299.798
300.07/301.10 c bounds - >= -809 @ 299.798
300.07/301.10 c bounds - >= -808 @ 299.798
300.07/301.10 c bounds - >= -807 @ 299.798
300.07/301.10 c bounds - >= -806 @ 299.798
300.07/301.10 c bounds - >= -805 @ 299.798
300.07/301.10 c bounds - >= -804 @ 299.798
300.07/301.10 c bounds - >= -803 @ 299.798
300.07/301.10 c bounds - >= -802 @ 299.799
300.07/301.10 c bounds - >= -801 @ 299.799
300.07/301.10 c bounds - >= -800 @ 299.799
300.07/301.10 c bounds - >= -799 @ 299.799
300.07/301.10 c bounds - >= -798 @ 299.799
300.07/301.10 c bounds - >= -797 @ 299.799
300.07/301.10 c bounds - >= -796 @ 299.799
300.07/301.10 c bounds - >= -795 @ 299.8
300.07/301.10 c bounds - >= -794 @ 299.8
300.07/301.10 c bounds - >= -793 @ 299.8
300.07/301.10 c bounds - >= -792 @ 299.8
300.07/301.10 c bounds - >= -791 @ 299.8
300.07/301.10 c bounds - >= -790 @ 299.8
300.07/301.10 c bounds - >= -789 @ 299.8
300.07/301.10 c bounds - >= -788 @ 299.8
300.07/301.10 c bounds - >= -787 @ 299.801
300.07/301.10 c bounds - >= -786 @ 299.801
300.07/301.10 c bounds - >= -785 @ 299.801
300.07/301.10 c bounds - >= -784 @ 299.801
300.07/301.10 c bounds - >= -783 @ 299.801
300.07/301.10 c bounds - >= -782 @ 299.801
300.07/301.10 c bounds - >= -781 @ 299.801
300.07/301.10 c bounds - >= -780 @ 299.801
300.07/301.10 c bounds - >= -779 @ 299.802
300.07/301.10 c bounds - >= -778 @ 299.802
300.07/301.10 c bounds - >= -777 @ 299.802
300.07/301.10 c bounds - >= -776 @ 299.802
300.07/301.10 c bounds - >= -775 @ 299.802
300.07/301.10 c bounds - >= -774 @ 299.802
300.07/301.10 c bounds - >= -773 @ 299.802
300.07/301.10 c bounds - >= -772 @ 299.802
300.07/301.10 c bounds - >= -771 @ 299.802
300.07/301.10 c bounds - >= -770 @ 299.803
300.07/301.10 c bounds - >= -769 @ 299.803
300.07/301.10 c bounds - >= -768 @ 299.803
300.07/301.10 c bounds - >= -767 @ 299.803
300.07/301.10 c bounds - >= -766 @ 299.803
300.07/301.10 c bounds - >= -765 @ 299.803
300.07/301.10 c bounds - >= -764 @ 299.803
300.07/301.10 c bounds - >= -763 @ 299.803
300.07/301.10 c bounds - >= -762 @ 299.804
300.07/301.10 c bounds - >= -761 @ 299.804
300.07/301.10 c bounds - >= -760 @ 299.804
300.07/301.10 c bounds - >= -759 @ 299.804
300.07/301.10 c bounds - >= -758 @ 299.804
300.07/301.10 c bounds - >= -757 @ 299.804
300.07/301.10 c bounds - >= -756 @ 299.804
300.07/301.10 c bounds - >= -755 @ 299.804
300.07/301.10 c bounds - >= -754 @ 299.804
300.07/301.10 c bounds - >= -753 @ 299.804
300.07/301.10 c bounds - >= -752 @ 299.804
300.07/301.10 c bounds - >= -751 @ 299.804
300.07/301.10 c bounds - >= -750 @ 299.804
300.07/301.10 c bounds - >= -749 @ 299.804
300.07/301.10 c bounds - >= -748 @ 299.804
300.07/301.10 c bounds - >= -747 @ 299.804
300.07/301.10 c bounds - >= -746 @ 299.805
300.07/301.10 c bounds - >= -745 @ 299.805
300.07/301.10 c bounds - >= -744 @ 299.805
300.07/301.10 c bounds - >= -743 @ 299.805
300.07/301.10 c bounds - >= -742 @ 299.805
300.07/301.10 c bounds - >= -741 @ 299.805
300.17/301.11 c bounds - >= -740 @ 299.806
300.17/301.11 c bounds - >= -739 @ 299.806
300.17/301.11 c bounds - >= -738 @ 299.806
300.17/301.11 c bounds - >= -737 @ 299.806
300.17/301.11 c bounds - >= -736 @ 299.806
300.17/301.11 c bounds - >= -735 @ 299.806
300.17/301.11 c bounds - >= -734 @ 299.806
300.17/301.11 c bounds - >= -733 @ 299.806
300.17/301.11 c bounds - >= -732 @ 299.807
300.17/301.11 c bounds - >= -731 @ 299.807
300.17/301.11 c bounds - >= -730 @ 299.807
300.17/301.11 c bounds - >= -729 @ 299.807
300.17/301.11 c bounds - >= -728 @ 299.807
300.17/301.11 c bounds - >= -727 @ 299.807
300.17/301.11 c bounds - >= -726 @ 299.807
300.17/301.11 c bounds - >= -725 @ 299.808
300.17/301.11 c bounds - >= -724 @ 299.808
300.17/301.11 c bounds - >= -723 @ 299.808
300.17/301.11 c bounds - >= -722 @ 299.808
300.17/301.11 c bounds - >= -721 @ 299.808
300.17/301.11 c bounds - >= -720 @ 299.808
300.17/301.11 c bounds - >= -719 @ 299.808
300.17/301.11 c bounds - >= -718 @ 299.808
300.17/301.11 c bounds - >= -717 @ 299.809
300.17/301.11 c bounds - >= -716 @ 299.809
300.17/301.11 c bounds - >= -715 @ 299.809
300.17/301.11 c bounds - >= -714 @ 299.809
300.17/301.11 c bounds - >= -713 @ 299.809
300.17/301.11 c bounds - >= -712 @ 299.809
300.17/301.11 c bounds - >= -711 @ 299.809
300.17/301.11 c bounds - >= -710 @ 299.81
300.17/301.11 c bounds - >= -709 @ 299.81
300.17/301.11 c bounds - >= -708 @ 299.81
300.17/301.11 c bounds - >= -707 @ 299.81
300.17/301.11 c bounds - >= -706 @ 299.81
300.17/301.11 c bounds - >= -705 @ 299.81
300.17/301.11 c bounds - >= -704 @ 299.81
300.17/301.11 c bounds - >= -703 @ 299.81
300.17/301.11 c bounds - >= -702 @ 299.81
300.17/301.11 c bounds - >= -701 @ 299.81
300.17/301.11 c bounds - >= -700 @ 299.81
300.17/301.11 c bounds - >= -699 @ 299.81
300.17/301.11 c bounds - >= -698 @ 299.81
300.17/301.11 c bounds - >= -697 @ 299.811
300.17/301.11 c bounds - >= -696 @ 299.811
300.17/301.11 c bounds - >= -695 @ 299.811
300.17/301.11 c bounds - >= -694 @ 299.811
300.17/301.11 c bounds - >= -693 @ 299.811
300.17/301.11 c bounds - >= -692 @ 299.811
300.17/301.11 c bounds - >= -691 @ 299.812
300.17/301.11 c bounds - >= -690 @ 299.812
300.17/301.11 c bounds - >= -689 @ 299.812
300.17/301.11 c bounds - >= -688 @ 299.812
300.17/301.11 c bounds - >= -687 @ 299.812
300.17/301.11 c bounds - >= -686 @ 299.812
300.17/301.11 c bounds - >= -685 @ 299.812
300.17/301.11 c bounds - >= -684 @ 299.812
300.17/301.11 c bounds - >= -683 @ 299.812
300.17/301.11 c bounds - >= -682 @ 299.812
300.17/301.11 c bounds - >= -681 @ 299.812
300.17/301.11 c bounds - >= -680 @ 299.812
300.17/301.11 c bounds - >= -679 @ 299.813
300.17/301.11 c bounds - >= -678 @ 299.813
300.17/301.11 c bounds - >= -677 @ 299.813
300.17/301.11 c bounds - >= -676 @ 299.813
300.17/301.11 c bounds - >= -675 @ 299.813
300.17/301.11 c bounds - >= -674 @ 299.814
300.17/301.11 c bounds - >= -673 @ 299.814
300.17/301.11 c bounds - >= -672 @ 299.814
300.17/301.11 c bounds - >= -671 @ 299.814
300.17/301.11 c bounds - >= -670 @ 299.814
300.17/301.11 c bounds - >= -669 @ 299.814
300.17/301.11 c bounds - >= -668 @ 299.814
300.17/301.11 c bounds - >= -667 @ 299.814
300.17/301.11 c bounds - >= -666 @ 299.815
300.17/301.11 c finalizing WCE round: reformulating cores
351.04/352.18 c #Conflicts: 1000 | #Constraints: 66124
351.04/352.18 c #Conflicts: 2000 | #Constraints: 67126
351.04/352.18 c INPROCESSING
351.04/352.18 c GARBAGE COLLECT
351.04/352.18 c #Conflicts: 3000 | #Constraints: 66897
351.04/352.18 c #Conflicts: 4000 | #Constraints: 67899
351.04/352.18 c INPROCESSING
351.04/352.18 c GARBAGE COLLECT
351.04/352.18 c #Conflicts: 5000 | #Constraints: 67302
351.04/352.18 c #Conflicts: 6000 | #Constraints: 68304
351.04/352.18 c INPROCESSING
351.04/352.18 c GARBAGE COLLECT
351.04/352.18 c #Conflicts: 7000 | #Constraints: 67305
351.04/352.18 c #Conflicts: 8000 | #Constraints: 68307
351.04/352.18 c #Conflicts: 9000 | #Constraints: 69311
351.04/352.18 c INPROCESSING
351.04/352.18 c GARBAGE COLLECT
351.04/352.18 c #Conflicts: 10000 | #Constraints: 68015
351.04/352.18 c #Conflicts: 11000 | #Constraints: 69017
351.04/352.18 c #Conflicts: 12000 | #Constraints: 70019
351.04/352.18 c INPROCESSING
351.04/352.18 c GARBAGE COLLECT
351.04/352.18 c #Conflicts: 13000 | #Constraints: 68471
351.04/352.18 c #Conflicts: 14000 | #Constraints: 69473
351.04/352.18 c #Conflicts: 15000 | #Constraints: 70475
351.04/352.18 c INPROCESSING
351.04/352.18 c GARBAGE COLLECT
351.04/352.18 c #Conflicts: 16000 | #Constraints: 68703
351.04/352.18 c #Conflicts: 17000 | #Constraints: 69705
351.04/352.18 c #Conflicts: 18000 | #Constraints: 70707
351.04/352.18 c INPROCESSING
351.04/352.18 c GARBAGE COLLECT
351.04/352.18 c #Conflicts: 19000 | #Constraints: 68723
351.04/352.18 c #Conflicts: 20000 | #Constraints: 69725
351.04/352.18 c #Conflicts: 21000 | #Constraints: 70727
351.04/352.18 c INPROCESSING
351.04/352.18 c GARBAGE COLLECT
351.04/352.18 c #Conflicts: 22000 | #Constraints: 68537
351.04/352.18 c #Conflicts: 23000 | #Constraints: 69539
351.04/352.18 c #Conflicts: 24000 | #Constraints: 70543
351.04/352.18 c #Conflicts: 25000 | #Constraints: 71545
351.04/352.18 c INPROCESSING
351.04/352.18 c GARBAGE COLLECT
351.04/352.18 c #Conflicts: 26000 | #Constraints: 69152
351.04/352.18 c #Conflicts: 27000 | #Constraints: 70154
351.04/352.18 c #Conflicts: 28000 | #Constraints: 71156
351.04/352.18 c #Conflicts: 29000 | #Constraints: 72160
351.04/352.18 c INPROCESSING
351.04/352.18 c GARBAGE COLLECT
351.04/352.18 c #Conflicts: 30000 | #Constraints: 69561
351.04/352.18 c #Conflicts: 31000 | #Constraints: 70563
351.04/352.18 c #Conflicts: 32000 | #Constraints: 71565
351.04/352.18 c #Conflicts: 33000 | #Constraints: 72569
351.04/352.18 c INPROCESSING
351.04/352.18 c GARBAGE COLLECT
351.04/352.18 c #Conflicts: 34000 | #Constraints: 69774
351.04/352.18 c #Conflicts: 35000 | #Constraints: 70776
351.04/352.18 c #Conflicts: 36000 | #Constraints: 71778
351.04/352.18 c #Conflicts: 37000 | #Constraints: 72782
351.04/352.18 c INPROCESSING
351.04/352.18 c GARBAGE COLLECT
351.04/352.18 c #Conflicts: 38000 | #Constraints: 69783
351.04/352.18 c #Conflicts: 39000 | #Constraints: 70785
351.04/352.18 c #Conflicts: 40000 | #Constraints: 71787
351.04/352.18 c #Conflicts: 41000 | #Constraints: 72791
351.04/352.18 c INPROCESSING
351.04/352.18 c GARBAGE COLLECT
351.04/352.18 c #Conflicts: 42000 | #Constraints: 69591
351.04/352.18 c #Conflicts: 43000 | #Constraints: 70593
351.04/352.18 c #Conflicts: 44000 | #Constraints: 71597
351.04/352.18 c #Conflicts: 45000 | #Constraints: 72599
351.04/352.18 c #Conflicts: 46000 | #Constraints: 73601
351.04/352.18 c INPROCESSING
351.04/352.18 c GARBAGE COLLECT
351.04/352.18 c #Conflicts: 47000 | #Constraints: 70207
351.04/352.18 c #Conflicts: 48000 | #Constraints: 71209
351.04/352.18 c #Conflicts: 49000 | #Constraints: 72211
351.04/352.18 c #Conflicts: 50000 | #Constraints: 73215
351.04/352.18 c #Conflicts: 51000 | #Constraints: 74217
351.04/352.18 c INPROCESSING
351.04/352.18 c GARBAGE COLLECT
351.04/352.18 c #Conflicts: 52000 | #Constraints: 70619
351.04/352.18 c #Conflicts: 53000 | #Constraints: 71621
351.04/352.18 c #Conflicts: 54000 | #Constraints: 72623
351.04/352.18 c #Conflicts: 55000 | #Constraints: 73627
351.04/352.18 c #Conflicts: 56000 | #Constraints: 74629
351.04/352.18 c INPROCESSING
351.04/352.18 c GARBAGE COLLECT
351.04/352.18 c #Conflicts: 57000 | #Constraints: 70831
351.04/352.18 c #Conflicts: 58000 | #Constraints: 71833
351.04/352.18 c #Conflicts: 59000 | #Constraints: 72835
351.04/352.18 c #Conflicts: 60000 | #Constraints: 73839
351.04/352.18 c #Conflicts: 61000 | #Constraints: 74841
351.04/352.18 c INPROCESSING
351.04/352.18 c GARBAGE COLLECT
351.04/352.18 c #Conflicts: 62000 | #Constraints: 70842
351.04/352.18 c #Conflicts: 63000 | #Constraints: 71844
351.04/352.18 c #Conflicts: 64000 | #Constraints: 72846
351.04/352.18 c #Conflicts: 65000 | #Constraints: 73850
351.04/352.18 c #Conflicts: 66000 | #Constraints: 74852
351.04/352.18 c INPROCESSING
351.04/352.18 c GARBAGE COLLECT
351.04/352.18 c #Conflicts: 67000 | #Constraints: 70657
351.04/352.18 c #Conflicts: 68000 | #Constraints: 71659
433.89/435.28 c #Conflicts: 69000 | #Constraints: 72663
433.89/435.28 c #Conflicts: 70000 | #Constraints: 73665
433.89/435.28 c #Conflicts: 71000 | #Constraints: 74667
433.89/435.28 c #Conflicts: 72000 | #Constraints: 75671
433.89/435.28 c INPROCESSING
433.89/435.28 c GARBAGE COLLECT
433.89/435.28 c #Conflicts: 73000 | #Constraints: 71273
433.89/435.28 c #Conflicts: 74000 | #Constraints: 72275
433.89/435.28 c #Conflicts: 75000 | #Constraints: 73277
433.89/435.28 c #Conflicts: 76000 | #Constraints: 74281
433.89/435.28 c #Conflicts: 77000 | #Constraints: 75283
433.89/435.28 c #Conflicts: 78000 | #Constraints: 76285
433.89/435.28 c INPROCESSING
433.89/435.28 c GARBAGE COLLECT
433.89/435.28 c #Conflicts: 79000 | #Constraints: 71686
433.89/435.28 c #Conflicts: 80000 | #Constraints: 72688
433.89/435.28 c #Conflicts: 81000 | #Constraints: 73690
433.89/435.28 c #Conflicts: 82000 | #Constraints: 74694
433.89/435.28 c #Conflicts: 83000 | #Constraints: 75696
433.89/435.28 c #Conflicts: 84000 | #Constraints: 76698
433.89/435.28 c INPROCESSING
433.89/435.28 c GARBAGE COLLECT
433.89/435.28 c #Conflicts: 85000 | #Constraints: 71900
433.89/435.28 c #Conflicts: 86000 | #Constraints: 72902
433.89/435.28 c #Conflicts: 87000 | #Constraints: 73904
433.89/435.28 c #Conflicts: 88000 | #Constraints: 74908
433.89/435.28 c #Conflicts: 89000 | #Constraints: 75910
433.89/435.28 c #Conflicts: 90000 | #Constraints: 76912
433.89/435.28 c INPROCESSING
433.89/435.28 c GARBAGE COLLECT
433.89/435.28 c #Conflicts: 91000 | #Constraints: 71921
433.89/435.28 c #Conflicts: 92000 | #Constraints: 72923
433.89/435.28 c #Conflicts: 93000 | #Constraints: 73925
433.89/435.28 c #Conflicts: 94000 | #Constraints: 74929
433.89/435.28 c #Conflicts: 95000 | #Constraints: 75931
433.89/435.28 c #Conflicts: 96000 | #Constraints: 76933
433.89/435.28 c INPROCESSING
433.89/435.28 c GARBAGE COLLECT
433.89/435.28 c #Conflicts: 97000 | #Constraints: 71737
433.89/435.28 c #Conflicts: 98000 | #Constraints: 72739
433.89/435.28 c #Conflicts: 99000 | #Constraints: 73743
433.89/435.28 c #Conflicts: 100000 | #Constraints: 74745
433.89/435.28 c #Conflicts: 101000 | #Constraints: 75747
433.89/435.28 c #Conflicts: 102000 | #Constraints: 76751
433.89/435.28 c #Conflicts: 103000 | #Constraints: 77753
433.89/435.28 c INPROCESSING
433.89/435.28 c GARBAGE COLLECT
433.89/435.28 c #Conflicts: 104000 | #Constraints: 72353
433.89/435.28 c #Conflicts: 105000 | #Constraints: 73355
433.89/435.28 c #Conflicts: 106000 | #Constraints: 74357
433.89/435.28 c #Conflicts: 107000 | #Constraints: 75361
433.89/435.28 c #Conflicts: 108000 | #Constraints: 76363
433.89/435.28 c #Conflicts: 109000 | #Constraints: 77365
433.89/435.28 c #Conflicts: 110000 | #Constraints: 78369
433.89/435.28 c INPROCESSING
433.89/435.28 c GARBAGE COLLECT
433.89/435.28 c #Conflicts: 111000 | #Constraints: 72775
433.89/435.28 c #Conflicts: 112000 | #Constraints: 73777
433.89/435.28 c #Conflicts: 113000 | #Constraints: 74779
433.89/435.28 c #Conflicts: 114000 | #Constraints: 75783
433.89/435.28 c #Conflicts: 115000 | #Constraints: 76785
433.89/435.28 c #Conflicts: 116000 | #Constraints: 77787
433.89/435.28 c #Conflicts: 117000 | #Constraints: 78791
433.89/435.28 c INPROCESSING
433.89/435.28 c GARBAGE COLLECT
433.89/435.28 c #Conflicts: 118000 | #Constraints: 72991
433.89/435.28 c #Conflicts: 119000 | #Constraints: 73993
433.89/435.28 c #Conflicts: 120000 | #Constraints: 74995
433.89/435.28 c #Conflicts: 121000 | #Constraints: 75999
433.89/435.28 c #Conflicts: 122000 | #Constraints: 77001
433.89/435.28 c #Conflicts: 123000 | #Constraints: 78003
433.89/435.28 c #Conflicts: 124000 | #Constraints: 79007
433.89/435.28 c INPROCESSING
433.89/435.28 c GARBAGE COLLECT
433.89/435.28 c #Conflicts: 125000 | #Constraints: 73008
433.89/435.28 c #Conflicts: 126000 | #Constraints: 74010
433.89/435.28 c #Conflicts: 127000 | #Constraints: 75012
433.89/435.28 c #Conflicts: 128000 | #Constraints: 76016
433.89/435.28 c #Conflicts: 129000 | #Constraints: 77018
433.89/435.28 c #Conflicts: 130000 | #Constraints: 78020
433.89/435.28 c #Conflicts: 131000 | #Constraints: 79024
433.89/435.28 c INPROCESSING
433.89/435.28 c GARBAGE COLLECT
433.89/435.28 c #Conflicts: 132000 | #Constraints: 72821
433.89/435.28 c #Conflicts: 133000 | #Constraints: 73823
433.89/435.28 c #Conflicts: 134000 | #Constraints: 74827
433.89/435.28 c #Conflicts: 135000 | #Constraints: 75829
433.89/435.28 c #Conflicts: 136000 | #Constraints: 76831
433.89/435.28 c #Conflicts: 137000 | #Constraints: 77835
433.89/435.28 c #Conflicts: 138000 | #Constraints: 78837
433.89/435.28 c #Conflicts: 139000 | #Constraints: 79839
433.89/435.28 c INPROCESSING
433.89/435.28 c GARBAGE COLLECT
433.89/435.28 c #Conflicts: 140000 | #Constraints: 73443
466.70/468.13 c #Conflicts: 141000 | #Constraints: 74445
466.70/468.13 c #Conflicts: 142000 | #Constraints: 75447
466.70/468.13 c #Conflicts: 143000 | #Constraints: 76451
466.70/468.13 c #Conflicts: 144000 | #Constraints: 77453
466.70/468.13 c #Conflicts: 145000 | #Constraints: 78455
466.70/468.13 c #Conflicts: 146000 | #Constraints: 79459
466.70/468.13 c #Conflicts: 147000 | #Constraints: 80461
466.70/468.13 c INPROCESSING
466.70/468.13 c GARBAGE COLLECT
466.70/468.13 c #Conflicts: 148000 | #Constraints: 73862
466.70/468.13 c #Conflicts: 149000 | #Constraints: 74864
466.70/468.13 c #Conflicts: 150000 | #Constraints: 75866
466.70/468.13 c #Conflicts: 151000 | #Constraints: 76870
466.70/468.13 c #Conflicts: 152000 | #Constraints: 77872
466.70/468.13 c #Conflicts: 153000 | #Constraints: 78874
466.70/468.13 c #Conflicts: 154000 | #Constraints: 79878
466.70/468.13 c #Conflicts: 155000 | #Constraints: 80880
466.70/468.13 c INPROCESSING
466.70/468.13 c GARBAGE COLLECT
466.70/468.13 c #Conflicts: 156000 | #Constraints: 74082
466.70/468.13 c #Conflicts: 157000 | #Constraints: 75084
466.70/468.13 c #Conflicts: 158000 | #Constraints: 76086
466.70/468.13 c #Conflicts: 159000 | #Constraints: 77090
466.70/468.13 c #Conflicts: 160000 | #Constraints: 78092
466.70/468.13 c #Conflicts: 161000 | #Constraints: 79094
466.70/468.13 c #Conflicts: 162000 | #Constraints: 80098
466.70/468.13 c #Conflicts: 163000 | #Constraints: 81100
466.70/468.13 c INPROCESSING
466.70/468.13 c GARBAGE COLLECT
466.70/468.13 c #Conflicts: 164000 | #Constraints: 74105
466.70/468.13 c #Conflicts: 165000 | #Constraints: 75107
466.70/468.13 c #Conflicts: 166000 | #Constraints: 76109
466.70/468.13 c bounds -532 >= -666 @ 465.44
466.70/468.13 c bounds -532 >= -665 @ 465.45
466.70/468.13 c bounds -532 >= -664 @ 465.454
466.70/468.13 c bounds -532 >= -663 @ 465.457
466.70/468.13 c bounds -532 >= -662 @ 465.459
466.70/468.13 c bounds -532 >= -661 @ 465.462
466.70/468.13 c bounds -532 >= -660 @ 465.464
466.70/468.13 c bounds -532 >= -659 @ 465.466
466.70/468.13 c bounds -532 >= -658 @ 465.467
466.70/468.13 c bounds -532 >= -657 @ 465.469
466.70/468.13 c bounds -532 >= -656 @ 465.47
466.70/468.13 c bounds -532 >= -655 @ 465.475
466.70/468.13 c bounds -532 >= -654 @ 465.478
466.70/468.13 c bounds -532 >= -653 @ 465.481
466.70/468.13 c bounds -532 >= -652 @ 465.484
466.70/468.13 c bounds -532 >= -651 @ 465.487
466.70/468.13 c bounds -532 >= -650 @ 465.49
466.70/468.13 c bounds -532 >= -649 @ 465.493
466.70/468.13 c bounds -532 >= -648 @ 465.497
466.70/468.13 c bounds -532 >= -647 @ 465.5
466.70/468.13 c bounds -532 >= -646 @ 465.503
466.70/468.13 c bounds -532 >= -645 @ 465.509
466.70/468.13 c bounds -532 >= -644 @ 465.513
466.70/468.13 c bounds -532 >= -643 @ 465.515
466.70/468.13 c bounds -532 >= -642 @ 465.517
466.70/468.13 c bounds -532 >= -641 @ 465.527
466.70/468.13 c bounds -532 >= -640 @ 465.562
466.70/468.13 c #Conflicts: 167000 | #Constraints: 77558
466.70/468.13 c finalizing WCE round: reformulating cores
565.79/567.54 c #Conflicts: 168000 | #Constraints: 78563
565.79/567.54 c #Conflicts: 169000 | #Constraints: 79565
565.79/567.54 c #Conflicts: 170000 | #Constraints: 80567
565.79/567.54 c #Conflicts: 171000 | #Constraints: 81571
565.79/567.54 c INPROCESSING
565.79/567.54 c GARBAGE COLLECT
565.79/567.54 c #Conflicts: 172000 | #Constraints: 74251
565.79/567.54 c #Conflicts: 173000 | #Constraints: 75253
565.79/567.54 c #Conflicts: 174000 | #Constraints: 76257
565.79/567.54 c #Conflicts: 175000 | #Constraints: 77259
565.79/567.54 c #Conflicts: 176000 | #Constraints: 78261
565.79/567.54 c #Conflicts: 177000 | #Constraints: 79265
565.79/567.54 c #Conflicts: 178000 | #Constraints: 80267
565.79/567.54 c #Conflicts: 179000 | #Constraints: 81269
565.79/567.54 c #Conflicts: 180000 | #Constraints: 82273
565.79/567.54 c INPROCESSING
565.79/567.54 c GARBAGE COLLECT
565.79/567.54 c #Conflicts: 181000 | #Constraints: 74816
565.79/567.54 c #Conflicts: 182000 | #Constraints: 75818
565.79/567.54 c #Conflicts: 183000 | #Constraints: 76820
565.79/567.54 c #Conflicts: 184000 | #Constraints: 77824
565.79/567.54 c #Conflicts: 185000 | #Constraints: 78826
565.79/567.54 c #Conflicts: 186000 | #Constraints: 79828
565.79/567.54 c bounds -538 >= -640 @ 497.41
565.79/567.54 c bounds -538 >= -639 @ 497.416
565.79/567.54 c bounds -538 >= -638 @ 497.423
565.79/567.54 c #Conflicts: 187000 | #Constraints: 80913
565.79/567.54 c bounds -538 >= -637 @ 497.436
565.79/567.54 c bounds -538 >= -636 @ 497.443
565.79/567.54 c bounds -538 >= -635 @ 497.482
565.79/567.54 c bounds -538 >= -634 @ 497.538
565.79/567.54 c bounds -538 >= -633 @ 497.571
565.79/567.54 c bounds -538 >= -632 @ 497.607
565.79/567.54 c bounds -538 >= -631 @ 497.67
565.79/567.54 c bounds -538 >= -630 @ 497.807
565.79/567.54 c #Conflicts: 188000 | #Constraints: 82314
565.79/567.54 c bounds -538 >= -629 @ 498.34
565.79/567.54 c #Conflicts: 189000 | #Constraints: 83375
565.79/567.54 c INPROCESSING
565.79/567.54 c GARBAGE COLLECT
565.79/567.54 c #Conflicts: 190000 | #Constraints: 75616
565.79/567.54 c bounds -538 >= -628 @ 499.997
565.79/567.54 c #Conflicts: 191000 | #Constraints: 76686
565.79/567.54 c #Conflicts: 192000 | #Constraints: 77686
565.79/567.54 c #Conflicts: 193000 | #Constraints: 78686
565.79/567.54 c #Conflicts: 194000 | #Constraints: 79686
565.79/567.54 c #Conflicts: 195000 | #Constraints: 80686
565.79/567.54 c #Conflicts: 196000 | #Constraints: 81686
565.79/567.54 c #Conflicts: 197000 | #Constraints: 82686
565.79/567.54 c #Conflicts: 198000 | #Constraints: 83686
565.79/567.54 c INPROCESSING
565.79/567.54 c GARBAGE COLLECT
565.79/567.54 c #Conflicts: 199000 | #Constraints: 75779
565.79/567.54 c #Conflicts: 200000 | #Constraints: 76779
565.79/567.54 c #Conflicts: 201000 | #Constraints: 77779
565.79/567.54 c #Conflicts: 202000 | #Constraints: 78779
565.79/567.54 c #Conflicts: 203000 | #Constraints: 79779
565.79/567.54 c #Conflicts: 204000 | #Constraints: 80779
565.79/567.54 c #Conflicts: 205000 | #Constraints: 81779
565.79/567.54 c #Conflicts: 206000 | #Constraints: 82779
565.79/567.54 c #Conflicts: 207000 | #Constraints: 83779
565.79/567.54 c INPROCESSING
565.79/567.54 c GARBAGE COLLECT
565.79/567.54 c #Conflicts: 208000 | #Constraints: 75723
565.79/567.54 c #Conflicts: 209000 | #Constraints: 76723
565.79/567.54 c #Conflicts: 210000 | #Constraints: 77723
565.79/567.54 c #Conflicts: 211000 | #Constraints: 78723
565.79/567.54 c bounds -538 >= -627 @ 527.021
565.79/567.54 c #Conflicts: 212000 | #Constraints: 79796
565.79/567.54 c #Conflicts: 213000 | #Constraints: 80796
565.79/567.54 c #Conflicts: 214000 | #Constraints: 81796
565.79/567.54 c #Conflicts: 215000 | #Constraints: 82796
565.79/567.54 c #Conflicts: 216000 | #Constraints: 83796
565.79/567.54 c INPROCESSING
565.79/567.54 c GARBAGE COLLECT
565.79/567.54 c #Conflicts: 217000 | #Constraints: 75553
565.79/567.54 c #Conflicts: 218000 | #Constraints: 76553
565.79/567.54 c #Conflicts: 219000 | #Constraints: 77553
565.79/567.54 c #Conflicts: 220000 | #Constraints: 78553
565.79/567.54 c #Conflicts: 221000 | #Constraints: 79553
565.79/567.54 c #Conflicts: 222000 | #Constraints: 80553
565.79/567.54 c #Conflicts: 223000 | #Constraints: 81553
565.79/567.54 c #Conflicts: 224000 | #Constraints: 82553
565.79/567.54 c #Conflicts: 225000 | #Constraints: 83553
565.79/567.54 c #Conflicts: 226000 | #Constraints: 84553
565.79/567.54 c INPROCESSING
565.79/567.54 c GARBAGE COLLECT
565.79/567.54 c #Conflicts: 227000 | #Constraints: 76136
565.79/567.54 c #Conflicts: 228000 | #Constraints: 77136
565.79/567.54 c #Conflicts: 229000 | #Constraints: 78136
565.79/567.54 c #Conflicts: 230000 | #Constraints: 79136
565.79/567.54 c #Conflicts: 231000 | #Constraints: 80136
565.79/567.54 c #Conflicts: 232000 | #Constraints: 81136
565.79/567.54 c #Conflicts: 233000 | #Constraints: 82136
994.76/997.78 c #Conflicts: 234000 | #Constraints: 83136
994.76/997.78 c #Conflicts: 235000 | #Constraints: 84136
994.76/997.78 c #Conflicts: 236000 | #Constraints: 85136
994.76/997.78 c #Conflicts: 237000 | #Constraints: 86136
994.76/997.78 c #Conflicts: 238000 | #Constraints: 87136
994.76/997.78 c #Conflicts: 239000 | #Constraints: 88136
994.76/997.78 c #Conflicts: 240000 | #Constraints: 89136
994.76/997.78 c #Conflicts: 241000 | #Constraints: 90136
994.76/997.78 c #Conflicts: 242000 | #Constraints: 91136
994.76/997.78 c #Conflicts: 243000 | #Constraints: 92136
994.76/997.78 c #Conflicts: 244000 | #Constraints: 93136
994.76/997.78 c #Conflicts: 245000 | #Constraints: 94136
994.76/997.78 c #Conflicts: 246000 | #Constraints: 95136
994.76/997.78 c #Conflicts: 247000 | #Constraints: 96136
994.76/997.78 c #Conflicts: 248000 | #Constraints: 97136
994.76/997.78 c #Conflicts: 249000 | #Constraints: 98136
994.76/997.78 c #Conflicts: 250000 | #Constraints: 99136
994.76/997.78 c #Conflicts: 251000 | #Constraints: 100136
994.76/997.78 c #Conflicts: 252000 | #Constraints: 101136
994.76/997.78 c #Conflicts: 253000 | #Constraints: 102136
994.76/997.78 c #Conflicts: 254000 | #Constraints: 103136
994.76/997.78 c #Conflicts: 255000 | #Constraints: 104136
994.76/997.78 c #Conflicts: 256000 | #Constraints: 105136
994.76/997.78 c #Conflicts: 257000 | #Constraints: 106136
994.76/997.78 c #Conflicts: 258000 | #Constraints: 107136
994.76/997.78 c #Conflicts: 259000 | #Constraints: 108136
994.76/997.78 c #Conflicts: 260000 | #Constraints: 109136
994.76/997.78 c #Conflicts: 261000 | #Constraints: 110136
994.76/997.78 c #Conflicts: 262000 | #Constraints: 111136
994.76/997.78 c #Conflicts: 263000 | #Constraints: 112136
994.76/997.78 c #Conflicts: 264000 | #Constraints: 113136
994.76/997.78 c #Conflicts: 265000 | #Constraints: 114136
994.76/997.78 c #Conflicts: 266000 | #Constraints: 115136
994.76/997.78 c #Conflicts: 267000 | #Constraints: 116136
994.76/997.78 c #Conflicts: 268000 | #Constraints: 117136
994.76/997.78 c #Conflicts: 269000 | #Constraints: 118136
994.76/997.78 c #Conflicts: 270000 | #Constraints: 119136
994.76/997.78 c #Conflicts: 271000 | #Constraints: 120136
994.76/997.78 c #Conflicts: 272000 | #Constraints: 121136
994.76/997.78 c INPROCESSING
994.76/997.78 c GARBAGE COLLECT
994.76/997.78 c #Conflicts: 273000 | #Constraints: 94527
994.76/997.78 c #Conflicts: 274000 | #Constraints: 95527
994.76/997.78 c #Conflicts: 275000 | #Constraints: 96527
994.76/997.78 c #Conflicts: 276000 | #Constraints: 97527
994.76/997.78 c #Conflicts: 277000 | #Constraints: 98527
994.76/997.78 c #Conflicts: 278000 | #Constraints: 99527
994.76/997.78 c #Conflicts: 279000 | #Constraints: 100527
994.76/997.78 c #Conflicts: 280000 | #Constraints: 101527
994.76/997.78 c #Conflicts: 281000 | #Constraints: 102527
994.76/997.78 c #Conflicts: 282000 | #Constraints: 103527
994.76/997.78 c INPROCESSING
994.76/997.78 c GARBAGE COLLECT
994.76/997.78 c #Conflicts: 283000 | #Constraints: 85286
994.76/997.78 c #Conflicts: 284000 | #Constraints: 86286
994.76/997.78 c #Conflicts: 285000 | #Constraints: 87286
994.76/997.78 c #Conflicts: 286000 | #Constraints: 88286
994.76/997.78 c #Conflicts: 287000 | #Constraints: 89286
994.76/997.78 c #Conflicts: 288000 | #Constraints: 90286
994.76/997.78 c #Conflicts: 289000 | #Constraints: 91286
994.76/997.78 c #Conflicts: 290000 | #Constraints: 92286
994.76/997.78 c bounds -538 >= -626 @ 845.129
994.76/997.78 c #Conflicts: 291000 | #Constraints: 93362
994.76/997.78 c #Conflicts: 292000 | #Constraints: 94362
994.76/997.78 c #Conflicts: 293000 | #Constraints: 95362
994.76/997.78 c #Conflicts: 294000 | #Constraints: 96362
994.76/997.78 c #Conflicts: 295000 | #Constraints: 97362
994.76/997.78 c #Conflicts: 296000 | #Constraints: 98362
994.76/997.78 c #Conflicts: 297000 | #Constraints: 99362
994.76/997.78 c #Conflicts: 298000 | #Constraints: 100362
994.76/997.78 c #Conflicts: 299000 | #Constraints: 101362
994.76/997.78 c #Conflicts: 300000 | #Constraints: 102362
994.76/997.78 c #Conflicts: 301000 | #Constraints: 103362
994.76/997.78 c #Conflicts: 302000 | #Constraints: 104362
994.76/997.78 c #Conflicts: 303000 | #Constraints: 105362
994.76/997.78 c #Conflicts: 304000 | #Constraints: 106362
994.76/997.78 c #Conflicts: 305000 | #Constraints: 107362
994.76/997.78 c #Conflicts: 306000 | #Constraints: 108362
994.76/997.78 c #Conflicts: 307000 | #Constraints: 109362
994.76/997.78 c #Conflicts: 308000 | #Constraints: 110362
994.76/997.78 c #Conflicts: 309000 | #Constraints: 111362
994.76/997.78 c #Conflicts: 310000 | #Constraints: 112362
2404.36/2411.32 c #Conflicts: 311000 | #Constraints: 113362
2404.36/2411.32 c #Conflicts: 312000 | #Constraints: 114362
2404.36/2411.32 c #Conflicts: 313000 | #Constraints: 115362
2404.36/2411.32 c #Conflicts: 314000 | #Constraints: 116362
2404.36/2411.32 c #Conflicts: 315000 | #Constraints: 117362
2404.36/2411.32 c #Conflicts: 316000 | #Constraints: 118362
2404.36/2411.32 c #Conflicts: 317000 | #Constraints: 119362
2404.36/2411.32 c #Conflicts: 318000 | #Constraints: 120362
2404.36/2411.32 c #Conflicts: 319000 | #Constraints: 121362
2404.36/2411.32 c #Conflicts: 320000 | #Constraints: 122362
2404.36/2411.32 c #Conflicts: 321000 | #Constraints: 123362
2404.36/2411.32 c #Conflicts: 322000 | #Constraints: 124362
2404.36/2411.32 c #Conflicts: 323000 | #Constraints: 125362
2404.36/2411.32 c #Conflicts: 324000 | #Constraints: 126362
2404.36/2411.32 c #Conflicts: 325000 | #Constraints: 127362
2404.36/2411.32 c #Conflicts: 326000 | #Constraints: 128362
2404.36/2411.32 c #Conflicts: 327000 | #Constraints: 129362
2404.36/2411.32 c #Conflicts: 328000 | #Constraints: 130362
2404.36/2411.32 c #Conflicts: 329000 | #Constraints: 131362
2404.36/2411.32 c #Conflicts: 330000 | #Constraints: 132362
2404.36/2411.32 c #Conflicts: 331000 | #Constraints: 133362
2404.36/2411.32 c INPROCESSING
2404.36/2411.32 c GARBAGE COLLECT
2404.36/2411.32 c #Conflicts: 332000 | #Constraints: 100264
2404.36/2411.32 c #Conflicts: 333000 | #Constraints: 101264
2404.36/2411.32 c #Conflicts: 334000 | #Constraints: 102264
2404.36/2411.32 c #Conflicts: 335000 | #Constraints: 103264
2404.36/2411.32 c #Conflicts: 336000 | #Constraints: 104264
2404.36/2411.32 c #Conflicts: 337000 | #Constraints: 105264
2404.36/2411.32 c #Conflicts: 338000 | #Constraints: 106264
2404.36/2411.32 c #Conflicts: 339000 | #Constraints: 107264
2404.36/2411.32 c #Conflicts: 340000 | #Constraints: 108264
2404.36/2411.32 c #Conflicts: 341000 | #Constraints: 109264
2404.36/2411.32 c #Conflicts: 342000 | #Constraints: 110264
2404.36/2411.32 c #Conflicts: 343000 | #Constraints: 111264
2404.36/2411.32 c #Conflicts: 344000 | #Constraints: 112264
2404.36/2411.32 c INPROCESSING
2404.36/2411.32 c GARBAGE COLLECT
2404.36/2411.32 c #Conflicts: 345000 | #Constraints: 102509
2404.36/2411.32 c #Conflicts: 346000 | #Constraints: 103509
2404.36/2411.32 c #Conflicts: 347000 | #Constraints: 104509
2404.36/2411.32 c #Conflicts: 348000 | #Constraints: 105509
2404.36/2411.32 c #Conflicts: 349000 | #Constraints: 106509
2404.36/2411.32 c #Conflicts: 350000 | #Constraints: 107509
2404.36/2411.32 c #Conflicts: 351000 | #Constraints: 108509
2404.36/2411.32 c #Conflicts: 352000 | #Constraints: 109509
2404.36/2411.32 c #Conflicts: 353000 | #Constraints: 110509
2404.36/2411.32 c #Conflicts: 354000 | #Constraints: 111509
2404.36/2411.32 c #Conflicts: 355000 | #Constraints: 112509
2404.36/2411.32 c #Conflicts: 356000 | #Constraints: 113509
2404.36/2411.32 c #Conflicts: 357000 | #Constraints: 114509
2404.36/2411.32 c #Conflicts: 358000 | #Constraints: 115509
2404.36/2411.32 c #Conflicts: 359000 | #Constraints: 116509
2404.36/2411.32 c #Conflicts: 360000 | #Constraints: 117509
2404.36/2411.32 c #Conflicts: 361000 | #Constraints: 118509
2404.36/2411.32 c #Conflicts: 362000 | #Constraints: 119509
2404.36/2411.32 c #Conflicts: 363000 | #Constraints: 120509
2404.36/2411.32 c #Conflicts: 364000 | #Constraints: 121509
2404.36/2411.32 c #Conflicts: 365000 | #Constraints: 122509
2404.36/2411.32 c #Conflicts: 366000 | #Constraints: 123509
2404.36/2411.32 c #Conflicts: 367000 | #Constraints: 124509
2404.36/2411.32 c #Conflicts: 368000 | #Constraints: 125509
2404.36/2411.32 c #Conflicts: 369000 | #Constraints: 126509
2404.36/2411.32 c #Conflicts: 370000 | #Constraints: 127509
2404.36/2411.32 c #Conflicts: 371000 | #Constraints: 128509
2404.36/2411.32 c #Conflicts: 372000 | #Constraints: 129509
2404.36/2411.32 c #Conflicts: 373000 | #Constraints: 130509
2404.36/2411.32 c #Conflicts: 374000 | #Constraints: 131509
2404.36/2411.32 c #Conflicts: 375000 | #Constraints: 132509
2404.36/2411.32 c #Conflicts: 376000 | #Constraints: 133509
2404.36/2411.32 c #Conflicts: 377000 | #Constraints: 134509
2404.36/2411.32 c #Conflicts: 378000 | #Constraints: 135509
2404.36/2411.32 c #Conflicts: 379000 | #Constraints: 136509
2404.36/2411.32 c #Conflicts: 380000 | #Constraints: 137509
2404.36/2411.32 c #Conflicts: 381000 | #Constraints: 138509
2404.36/2411.32 c #Conflicts: 382000 | #Constraints: 139509
2404.36/2411.32 c #Conflicts: 383000 | #Constraints: 140509
2404.36/2411.32 c #Conflicts: 384000 | #Constraints: 141509
2404.36/2411.32 c #Conflicts: 385000 | #Constraints: 142509
2404.36/2411.32 c #Conflicts: 386000 | #Constraints: 143509
2404.36/2411.32 c #Conflicts: 387000 | #Constraints: 144509
2404.36/2411.32 c #Conflicts: 388000 | #Constraints: 145509
3600.00/3610.80 c #Conflicts: 389000 | #Constraints: 146509
3600.00/3610.80 c #Conflicts: 390000 | #Constraints: 147509
3600.00/3610.80 c #Conflicts: 391000 | #Constraints: 148509
3600.00/3610.80 c #Conflicts: 392000 | #Constraints: 149509
3600.00/3610.80 c #Conflicts: 393000 | #Constraints: 150509
3600.00/3610.80 c #Conflicts: 394000 | #Constraints: 151509
3600.00/3610.80 c #Conflicts: 395000 | #Constraints: 152509
3600.00/3610.80 c #Conflicts: 396000 | #Constraints: 153509
3600.00/3610.80 c INPROCESSING
3600.00/3610.80 c GARBAGE COLLECT
3600.00/3610.80 c #Conflicts: 397000 | #Constraints: 115088
3600.00/3610.80 c #Conflicts: 398000 | #Constraints: 116088
3600.00/3610.80 c #Conflicts: 399000 | #Constraints: 117088
3600.00/3610.80 c #Conflicts: 400000 | #Constraints: 118088
3600.00/3610.80 c #Conflicts: 401000 | #Constraints: 119088
3600.00/3610.80 c #Conflicts: 402000 | #Constraints: 120088
3600.00/3610.80 c #Conflicts: 403000 | #Constraints: 121088
3600.00/3610.80 c #Conflicts: 404000 | #Constraints: 122088
3600.00/3610.80 c #Conflicts: 405000 | #Constraints: 123088
3600.00/3610.80 c #Conflicts: 406000 | #Constraints: 124088
3600.00/3610.80 c #Conflicts: 407000 | #Constraints: 125088
3600.00/3610.80 c #Conflicts: 408000 | #Constraints: 126088
3600.00/3610.80 c #Conflicts: 409000 | #Constraints: 127088
3600.00/3610.80 c #Conflicts: 410000 | #Constraints: 128088
3600.00/3610.80 c #Conflicts: 411000 | #Constraints: 129088
3600.00/3610.80 c #Conflicts: 412000 | #Constraints: 130088
3600.00/3610.80 c #Conflicts: 413000 | #Constraints: 131088
3600.00/3610.80 c #Conflicts: 414000 | #Constraints: 132088
3600.00/3610.80 c #Conflicts: 415000 | #Constraints: 133088
3600.00/3610.80 c #Conflicts: 416000 | #Constraints: 134088
3600.00/3610.80 c #Conflicts: 417000 | #Constraints: 135088
3600.00/3610.80 c #Conflicts: 418000 | #Constraints: 136088
3600.00/3610.80 c #Conflicts: 419000 | #Constraints: 137088
3600.00/3610.80 c #Conflicts: 420000 | #Constraints: 138088
3600.00/3610.80 c #Conflicts: 421000 | #Constraints: 139088
3600.00/3610.80 c #Conflicts: 422000 | #Constraints: 140088
3600.00/3610.80 c #Conflicts: 423000 | #Constraints: 141088
3600.00/3610.80 c #Conflicts: 424000 | #Constraints: 142088
3600.00/3610.80 c #Conflicts: 425000 | #Constraints: 143088
3600.00/3610.80 c #Conflicts: 426000 | #Constraints: 144088
3600.00/3610.80 c #Conflicts: 427000 | #Constraints: 145088
3600.00/3610.80 c #Conflicts: 428000 | #Constraints: 146088
3600.00/3610.80 c #Conflicts: 429000 | #Constraints: 147088
3600.00/3610.80 c #Conflicts: 430000 | #Constraints: 148088
3600.00/3610.80 c #Conflicts: 431000 | #Constraints: 149088
3600.00/3610.80 c #Conflicts: 432000 | #Constraints: 150088
3600.00/3610.80 c Program interrupted by user.
3600.00/3610.80 c cpu time 3593.17 s
3600.00/3610.80 c deterministic time 176016145183 1.76e+11
3600.00/3610.80 c optimization time 1152.59 s
3600.00/3610.80 c total solve time 2140.79 s
3600.00/3610.80 c core-guided solve time 2140.79 s
3600.00/3610.80 c propagation time 2787.14 s
3600.00/3610.80 c conflict analysis time 491.058 s
3600.00/3610.80 c propagations 115723375
3600.00/3610.80 c resolve steps 15418399
3600.00/3610.80 c decisions 3880380
3600.00/3610.80 c conflicts 432357
3600.00/3610.80 c restarts 1020
3600.00/3610.80 c inprocessing phases 44
3600.00/3610.80 c input clauses 65242
3600.00/3610.80 c input cardinalities 1111
3600.00/3610.80 c input general constraints 406
3600.00/3610.80 c input average constraint length 6.65
3600.00/3610.80 c input average constraint degree 1.65
3600.00/3610.80 c learned clauses 304183
3600.00/3610.80 c learned cardinalities 1567
3600.00/3610.80 c learned general constraints 126647
3600.00/3610.80 c learned average constraint length 223.09
3600.00/3610.80 c learned average constraint degree 800112.89
3600.00/3610.80 c watched constraints 63794
3600.00/3610.80 c counting constraints 63259
3600.00/3610.80 c gcd simplifications 71965
3600.00/3610.80 c detected cardinalities 1
3600.00/3610.80 c weakened non-implied lits 90129804
3600.00/3610.80 c weakened non-implying lits 452330
3600.00/3610.80 c original variables 1081
3600.00/3610.80 c clausal propagations 78334459
3600.00/3610.80 c cardinality propagations 9229924
3600.00/3610.80 c watched propagations 1261605
3600.00/3610.80 c counting propagations 26289198
3600.00/3610.80 c watch lookups 61758013680
3600.00/3610.80 c watch backjump lookups 58087270447
3600.00/3610.80 c watch checks 50061291008
3600.00/3610.80 c propagation checks 5424291201
3600.00/3610.80 c constraint additions 445639370
3600.00/3610.80 c trail pops 120035721
3600.00/3610.80 c formula constraints 64860
3600.00/3610.80 c learned constraints 432397
3600.00/3610.80 c bound constraints 270
3600.00/3610.80 c core-guided constraints 1629
3600.00/3610.80 c encountered formula constraints 12919752
3600.00/3610.80 c encountered learned constraints 2158445
3600.00/3610.80 c encountered bound constraints 2502
3600.00/3610.80 c encountered core-guided constraints 770057
3600.00/3610.80 c LP total time 0 s
3600.00/3610.80 c LP solve time 0 s
3600.00/3610.80 c LP constraints added 0
3600.00/3610.80 c LP constraints removed 0
3600.00/3610.80 c LP pivots internal 0
3600.00/3610.80 c LP pivots root 0
3600.00/3610.80 c LP calls 0
3600.00/3610.80 c LP optimalities 0
3600.00/3610.80 c LP no pivot count 0
3600.00/3610.80 c LP infeasibilities 0
3600.00/3610.80 c LP valid Farkas constraints 0
3600.00/3610.80 c LP learned Farkas constraints 0
3600.00/3610.80 c LP basis resets 0
3600.00/3610.80 c LP cycling count 0
3600.00/3610.80 c LP singular count 0
3600.00/3610.80 c LP no primal count 0
3600.00/3610.80 c LP no farkas count 0
3600.00/3610.80 c LP other issue count 0
3600.00/3610.80 c LP Gomory cuts 0
3600.00/3610.80 c LP learned cuts 0
3600.00/3610.80 c LP deleted cuts 0
3600.00/3610.80 c LP encountered Gomory constraints 0
3600.00/3610.80 c LP encountered Farkas constraints 0
3600.00/3610.80 c LP encountered learned Farkas constraints 0
3600.00/3610.80 c CG auxiliary variables introduced 624
3600.00/3610.80 c CG solutions found 2
3600.00/3610.80 c CG cores constructed 257
3600.00/3610.80 c CG core cardinality constraints returned 0
3600.00/3610.80 c CG unit cores 0
3600.00/3610.80 c CG single cores 253
3600.00/3610.80 c CG blocks removed during cardinality reduction 0
3600.00/3610.80 c CG first core best 0
3600.00/3610.80 c CG decision core best 0
3600.00/3610.80 c CG core reduction tie 4
3600.00/3610.80 c CG core degree average 1.00
3600.00/3610.80 c CG core slack average 4.76
3600.00/3610.80 c CG exhausted 0
3600.00/3610.80 c CG exhaust time 197.068 s
3600.00/3610.80 c CG trimmed 5
3600.00/3610.80 c CG trim time 0.016711 s
3600.00/3610.80 c CG minimized 0
3600.00/3610.80 c CG minimize time 0 s
3600.00/3610.80 c CG am1 prop time 0.008369 s
3600.00/3610.80 c CG # am1s reformulated 0
3600.00/3610.80 c CG lower bound derived from am1s 0
3600.00/3610.80 c CG # clausal cores 254
3600.00/3610.80 c CG # cardinality cores 0
3600.00/3610.80 c CG # pb cores 7
3600.00/3610.80 c CG # pb reforms 0
3600.00/3610.80 c CG # cores discarded because of pb reform 0
3600.00/3610.80 d LOWERBOUND -626
3600.00/3610.80 d NCORES 257
3600.00/3610.80 d NPBCORES 7
3600.00/3610.80 d NPBREFORM 0
3600.00/3610.80 d NTRIMMED 5
3600.00/3610.80 d NEXHAUSTED 0
3600.00/3610.80 d NAM1S 0
3600.00/3610.80 d AM1LB 0
3600.00/3610.80 c [Papilo Statistics]
3600.00/3610.80 c prepro time 0.115552s
3600.00/3610.80 c # tsx applied 0
3600.00/3610.80 c # tsx conflicts 0
3600.00/3610.80 c # bound changes 0
3600.00/3610.80 c # side changes 0
3600.00/3610.80 c # coef changes 0
3600.00/3610.80 c # rounds 1
3600.00/3610.80 c # deted vars 0
3600.00/3610.80 c # deted constrs 0
3600.00/3610.80 c # consecutive rounds of only bound changes 0
3600.00/3610.80 c [STEP] postprocessing with Papilo
3600.00/3610.80 o -538
3600.00/3610.80 s SATISFIABLE
3600.00/3610.80 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: 63794 MiB (61405 MiB free)
memory of node 1: 64507 MiB (62210 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520931-1751558039/watcher-4520931-1751558039 -o /tmp/evaluation-result-4520931-1751558039/solver-4520931-1751558039 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751553490-77707 --watchdog 3760 mixed-bag HOME/instance-4520931-1751558039.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=79556, runsolver pid=79553
Current StackSize limit: 8192 KiB
[startup+0.100103 s]*
/proc/loadavg: 4.11 4.13 4.13 5/251 79557
/proc/meminfo: memFree=126582136/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=86904 memory=11916 CPUtime=0.09 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 1567 0 0 0 8 1 0 0 20 0 1 0 71483653 88989696 2979 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 21726 2979 2144 2842 0 3959 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 86904 KiB
Current children cumulated memory: 11916 KiB
[startup+0.213224 s]*
/proc/loadavg: 4.11 4.13 4.13 5/251 79557
/proc/meminfo: memFree=126582136/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=88952 memory=14392 CPUtime=0.2 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 2191 0 0 0 19 1 0 0 20 0 1 0 71483653 91086848 3598 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 22238 3598 2144 2842 0 4471 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 88952 KiB
Current children cumulated memory: 14392 KiB
[startup+0.313132 s]*
/proc/loadavg: 4.11 4.13 4.13 5/251 79557
/proc/meminfo: memFree=126578512/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=93048 memory=18472 CPUtime=0.3 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 2723 0 0 0 29 1 0 0 20 0 1 0 71483653 95281152 4618 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 23262 4618 2144 2842 0 5495 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 93048 KiB
Current children cumulated memory: 18472 KiB
[startup+0.700317 s]
/proc/loadavg: 4.11 4.13 4.13 5/251 79557
/proc/meminfo: memFree=126542172/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=185796 memory=110848 CPUtime=0.68 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 24805 0 0 0 60 8 0 0 20 0 1 0 71483653 190255104 27712 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 46449 27712 4000 2842 0 28143 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 185796 KiB
Current children cumulated memory: 110848 KiB
[startup+1.50034 s]
/proc/loadavg: 4.11 4.13 4.13 5/251 79557
/proc/meminfo: memFree=126417240/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=259140 memory=182632 CPUtime=1.47 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 43682 0 0 0 135 12 0 0 20 0 1 0 71483653 265359360 45658 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 64785 45658 4064 2842 0 46479 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 259140 KiB
Current children cumulated memory: 182632 KiB
[startup+3.11282 s]
/proc/loadavg: 4.10 4.13 4.13 5/251 79557
/proc/meminfo: memFree=126186340/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=520920 memory=409760 CPUtime=3.08 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 61429 0 0 0 290 18 0 0 20 0 1 0 71483653 533422080 102440 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 130230 102440 4096 2842 0 111924 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 520920 KiB
Current children cumulated memory: 409760 KiB
[startup+6.30033 s]
/proc/loadavg: 4.10 4.13 4.13 5/251 79557
/proc/meminfo: memFree=126150492/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=541144 memory=435640 CPUtime=6.26 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 66774 0 0 0 606 20 0 0 20 0 1 0 71483653 554131456 108910 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 135286 108910 4256 2842 0 116980 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 541144 KiB
Current children cumulated memory: 435640 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.12 4.12 5/251 79557
/proc/meminfo: memFree=126140748/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=541144 memory=435768 CPUtime=12.64 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 66781 0 0 0 1244 20 0 0 20 0 1 0 71483653 554131456 108942 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 135286 108942 4288 2842 0 116980 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 541144 KiB
Current children cumulated memory: 435768 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.14 4.13 5/251 79557
/proc/meminfo: memFree=126104132/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=588404 memory=473292 CPUtime=25.4 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 75178 0 0 0 2519 21 0 0 20 0 1 0 71483653 602525696 118323 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 147101 118323 4288 2842 0 128795 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 588404 KiB
Current children cumulated memory: 473292 KiB
[startup+51.113 s]
/proc/loadavg: 4.10 4.12 4.12 5/251 79557
/proc/meminfo: memFree=125940692/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=782176 memory=602960 CPUtime=50.94 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 106571 0 0 0 5067 27 0 0 20 0 1 0 71483653 800948224 150740 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 195544 150740 4288 2842 0 177238 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 782176 KiB
Current children cumulated memory: 602960 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/251 79559
/proc/meminfo: memFree=125847832/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=843424 memory=664144 CPUtime=101.96 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 121886 0 0 0 10167 29 0 0 20 0 1 0 71483653 863666176 166036 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 210856 166036 4288 2842 0 192550 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 843424 KiB
Current children cumulated memory: 664144 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/252 79566
/proc/meminfo: memFree=125754812/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=843424 memory=664272 CPUtime=161.78 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 121887 0 0 0 16149 29 0 0 20 0 1 0 71483653 863666176 166068 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 210856 166068 4288 2842 0 192550 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 843424 KiB
Current children cumulated memory: 664272 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/251 79568
/proc/meminfo: memFree=125723208/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=843424 memory=664272 CPUtime=221.6 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 121900 0 0 0 22130 30 0 0 20 0 1 0 71483653 863666176 166068 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 210856 166068 4288 2842 0 192550 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 843424 KiB
Current children cumulated memory: 664272 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/251 79572
/proc/meminfo: memFree=125679792/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=843424 memory=664272 CPUtime=281.42 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 121900 0 0 0 28112 30 0 0 20 0 1 0 71483653 863666176 166068 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 210856 166068 4288 2842 0 192550 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 843424 KiB
Current children cumulated memory: 664272 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/250 79574
/proc/meminfo: memFree=125468168/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=653328 memory=510176 CPUtime=341.25 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 122850 0 0 0 34067 58 0 0 20 0 1 0 71483653 669007872 127544 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 163332 127544 4480 2842 0 145026 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 653328 KiB
Current children cumulated memory: 510176 KiB
[startup+402.3 s]
/proc/loadavg: 4.04 4.09 4.10 5/251 79577
/proc/meminfo: memFree=125282996/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=665004 memory=515952 CPUtime=401.08 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 123272 0 0 0 40025 83 0 0 20 0 1 0 71483653 680964096 128988 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 166251 128988 4480 2842 0 147945 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 665004 KiB
Current children cumulated memory: 515952 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/251 79590
/proc/meminfo: memFree=125057940/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=665004 memory=520048 CPUtime=460.91 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 123278 0 0 0 45985 106 0 0 20 0 1 0 71483653 680964096 130012 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 166251 130012 4480 2842 0 147945 0
################
# More data... #
################
Current children cumulated memory: 587920 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.22 4.17 5/249 79839
/proc/meminfo: memFree=123881848/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=764880 memory=587920 CPUtime=2853.94 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 124952 0 0 0 284786 608 0 0 20 0 1 0 71483653 783237120 146980 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 191220 146980 4480 2842 0 172914 0
Current children cumulated CPU time: 2853.94 s
Current children cumulated vsize: 764880 KiB
Current children cumulated memory: 587920 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.21 4.17 5/249 79841
/proc/meminfo: memFree=123866460/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=764880 memory=587920 CPUtime=2913.72 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 124952 0 0 0 290756 616 0 0 20 0 1 0 71483653 783237120 146980 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 191220 146980 4480 2842 0 172914 0
Current children cumulated CPU time: 2913.72 s
Current children cumulated vsize: 764880 KiB
Current children cumulated memory: 587920 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.19 4.16 5/250 79844
/proc/meminfo: memFree=123852052/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=764880 memory=587920 CPUtime=2973.52 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 124965 0 0 0 296729 623 0 0 20 0 1 0 71483653 783237120 146980 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 191220 146980 4480 2842 0 172914 0
Current children cumulated CPU time: 2973.52 s
Current children cumulated vsize: 764880 KiB
Current children cumulated memory: 587920 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.18 4.16 5/250 79846
/proc/meminfo: memFree=124611492/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=764880 memory=587920 CPUtime=3033.33 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 124967 0 0 0 302703 630 0 0 20 0 1 0 71483653 783237120 146980 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 191220 146980 4480 2842 0 172914 0
Current children cumulated CPU time: 3033.33 s
Current children cumulated vsize: 764880 KiB
Current children cumulated memory: 587920 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.16 4.16 5/250 79848
/proc/meminfo: memFree=124588256/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=764880 memory=587920 CPUtime=3093.14 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 124968 0 0 0 308678 636 0 0 20 0 1 0 71483653 783237120 146980 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 191220 146980 4480 2842 0 172914 0
Current children cumulated CPU time: 3093.14 s
Current children cumulated vsize: 764880 KiB
Current children cumulated memory: 587920 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.14 4.15 5/250 79854
/proc/meminfo: memFree=124556460/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=764880 memory=587920 CPUtime=3152.94 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 124969 0 0 0 314651 643 0 0 20 0 1 0 71483653 783237120 146980 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 191220 146980 4480 2842 0 172914 0
Current children cumulated CPU time: 3152.94 s
Current children cumulated vsize: 764880 KiB
Current children cumulated memory: 587920 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.13 4.14 5/250 79856
/proc/meminfo: memFree=124528384/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=764880 memory=587920 CPUtime=3212.75 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 124971 0 0 0 320625 650 0 0 20 0 1 0 71483653 783237120 146980 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 191220 146980 4480 2842 0 172914 0
Current children cumulated CPU time: 3212.75 s
Current children cumulated vsize: 764880 KiB
Current children cumulated memory: 587920 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.12 4.14 5/250 79861
/proc/meminfo: memFree=124471096/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=764880 memory=587920 CPUtime=3272.56 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 124972 0 0 0 326600 656 0 0 20 0 1 0 71483653 783237120 146980 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 191220 146980 4480 2842 0 172914 0
Current children cumulated CPU time: 3272.56 s
Current children cumulated vsize: 764880 KiB
Current children cumulated memory: 587920 KiB
[startup+3342.3 s]
/proc/loadavg: 4.67 4.27 4.19 5/250 79863
/proc/meminfo: memFree=124420160/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=764880 memory=587920 CPUtime=3332.37 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 124973 0 0 0 332576 661 0 0 20 0 1 0 71483653 783237120 146980 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 191220 146980 4480 2842 0 172914 0
Current children cumulated CPU time: 3332.37 s
Current children cumulated vsize: 764880 KiB
Current children cumulated memory: 587920 KiB
[startup+3402.3 s]
/proc/loadavg: 4.45 4.29 4.20 5/250 79865
/proc/meminfo: memFree=124414264/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=764880 memory=587920 CPUtime=3392.17 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 124973 0 0 0 338551 666 0 0 20 0 1 0 71483653 783237120 146980 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 191220 146980 4480 2842 0 172914 0
Current children cumulated CPU time: 3392.17 s
Current children cumulated vsize: 764880 KiB
Current children cumulated memory: 587920 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.24 4.19 5/250 79867
/proc/meminfo: memFree=124407272/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=764880 memory=587920 CPUtime=3451.98 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 124974 0 0 0 344527 671 0 0 20 0 1 0 71483653 783237120 146980 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 191220 146980 4480 2842 0 172914 0
Current children cumulated CPU time: 3451.98 s
Current children cumulated vsize: 764880 KiB
Current children cumulated memory: 587920 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.22 4.18 5/250 79869
/proc/meminfo: memFree=124396284/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=764880 memory=587920 CPUtime=3511.78 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 124976 0 0 0 350501 677 0 0 20 0 1 0 71483653 783237120 146980 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 191220 146980 4480 2842 0 172914 0
Current children cumulated CPU time: 3511.78 s
Current children cumulated vsize: 764880 KiB
Current children cumulated memory: 587920 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.19 4.18 5/250 79871
/proc/meminfo: memFree=124397036/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=764880 memory=587920 CPUtime=3571.59 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 124978 0 0 0 356477 682 0 0 20 0 1 0 71483653 783237120 146980 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 191220 146980 4480 2842 0 172914 0
Current children cumulated CPU time: 3571.59 s
Current children cumulated vsize: 764880 KiB
Current children cumulated memory: 587920 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.13 4.19 4.18 5/250 79917
/proc/meminfo: memFree=125331912/131382112 swapFree=33010416/33010684
[pid=79556] ppid=79553 vsize=764880 memory=587920 CPUtime=3600 cores=4,6
/proc/79556/stat : 79556 (mixed-bag) R 79553 79556 77674 0 -1 4194304 124980 0 0 0 359316 684 0 0 20 0 1 0 71483653 783237120 146980 18446744073709551615 4235264 15874749 140723306171360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 32956416 140723306178972 140723306179049 140723306179049 140723306184651 0
/proc/79556/statm: 191220 146980 4480 2842 0 172914 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 764880 KiB
Current children cumulated memory: 587920 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.83 s]
# the end of solver process 79556 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.18 s, system=6.86566 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.83
CPU time (s): 3600.05
CPU user time (s): 3593.18
CPU system time (s): 6.86566
CPU usage (%): 99.7012
Max. virtual memory (cumulated for all children) (KiB): 843424
Max. memory (cumulated for all children) (KiB): 664272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.18
system time used= 6.86566
maximum resident set size= 664272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125008
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= 127
involuntary context switches= 1181
# summary of solver processes directly reported to runsolver:
# pid: 79556
# total CPU time (s): 3600.05
# total CPU user time (s): 3593.18
# total CPU system time (s): 6.86566
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.3379 second user time and 32.0137 second system time
The end
Begin job on nodeC012 at 2025-07-03 17:53:59
IDJOB=4520931
IDBENCH=178158
IDSOLVER=3340
FILE ID=nodeC012/4520931-1751558039
RUNJOBID= nodeC012-1751553490-77707
SLURM_JOB_ID= 9598739
Free space on /tmp= 431816 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
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-4520931-1751558039/watcher-4520931-1751558039 -o /tmp/evaluation-result-4520931-1751558039/solver-4520931-1751558039 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751553490-77707 --watchdog 3760 mixed-bag HOME/instance-4520931-1751558039.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 84fd44c84eee80e386362762f3a8050d
RANDOM SEED=2012341395
nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3644.365
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.229
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.380
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.148
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.733
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 126582232 kB
MemAvailable: 126804080 kB
Buffers: 2136 kB
Cached: 1022480 kB
SwapCached: 16 kB
Active: 3789460 kB
Inactive: 404300 kB
Active(anon): 3180092 kB
Inactive(anon): 6996 kB
Active(file): 609368 kB
Inactive(file): 397304 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 17308 kB
Writeback: 20 kB
AnonPages: 3172480 kB
Mapped: 138428 kB
Shmem: 17944 kB
KReclaimable: 109220 kB
Slab: 194912 kB
SReclaimable: 109220 kB
SUnreclaim: 85692 kB
KernelStack: 4080 kB
PageTables: 10192 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 4226784 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 894976 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: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431764 MiB
End job on nodeC012 at 2025-07-03 18:54:11