0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.02 c [STEP] solving
0.00/0.02 c #variables 1963 #constraints 4000
0.00/0.02 c SMALL=int, LARGE=long long
0.00/0.02 c bounds - >= 0 @ 0.008353
0.00/0.02 c stratification level: 0
0.00/0.08 c bounds - >= 791 @ 0.014997
0.00/0.08 c bounds - >= 792 @ 0.018018
0.00/0.08 c bounds - >= 793 @ 0.018244
0.00/0.08 c bounds - >= 794 @ 0.018461
0.00/0.08 c bounds - >= 795 @ 0.018692
0.00/0.08 c bounds - >= 796 @ 0.018925
0.00/0.08 c bounds - >= 797 @ 0.019169
0.00/0.08 c bounds - >= 798 @ 0.019426
0.00/0.08 c bounds - >= 799 @ 0.019653
0.00/0.08 c bounds - >= 800 @ 0.019882
0.00/0.08 c bounds - >= 801 @ 0.020113
0.00/0.08 c bounds - >= 802 @ 0.020344
0.00/0.08 c bounds - >= 803 @ 0.020591
0.00/0.08 c bounds - >= 804 @ 0.02082
0.00/0.08 c bounds - >= 805 @ 0.021058
0.00/0.08 c bounds - >= 806 @ 0.021316
0.00/0.08 c bounds - >= 807 @ 0.021605
0.00/0.08 c bounds - >= 808 @ 0.021867
0.00/0.08 c bounds - >= 809 @ 0.022135
0.00/0.08 c bounds - >= 810 @ 0.022405
0.00/0.08 c bounds - >= 811 @ 0.022671
0.00/0.08 c bounds - >= 812 @ 0.022945
0.00/0.08 c bounds - >= 813 @ 0.023216
0.00/0.08 c bounds - >= 814 @ 0.02347
0.00/0.08 c bounds - >= 815 @ 0.023739
0.00/0.08 c bounds - >= 816 @ 0.023805
0.00/0.08 c bounds - >= 817 @ 0.023805
0.00/0.08 c bounds - >= 818 @ 0.023805
0.00/0.08 c bounds - >= 819 @ 0.023928
0.00/0.08 c bounds - >= 820 @ 0.024218
0.00/0.08 c bounds - >= 821 @ 0.0245
0.00/0.08 c bounds - >= 822 @ 0.024725
0.00/0.08 c bounds - >= 823 @ 0.024975
0.00/0.08 c bounds - >= 824 @ 0.025249
0.00/0.08 c bounds - >= 825 @ 0.025548
0.00/0.08 c bounds - >= 826 @ 0.025719
0.00/0.08 c bounds - >= 827 @ 0.025719
0.00/0.08 c bounds - >= 828 @ 0.025719
0.00/0.08 c bounds - >= 829 @ 0.025771
0.00/0.08 c bounds - >= 830 @ 0.025807
0.00/0.08 c bounds - >= 831 @ 0.025807
0.00/0.08 c bounds - >= 832 @ 0.025807
0.00/0.08 c bounds - >= 833 @ 0.025989
0.00/0.08 c bounds - >= 834 @ 0.0263
0.00/0.08 c bounds - >= 835 @ 0.026596
0.00/0.08 c bounds - >= 836 @ 0.026933
0.00/0.08 c bounds - >= 837 @ 0.027255
0.00/0.08 c bounds - >= 838 @ 0.027552
0.00/0.08 c bounds - >= 839 @ 0.027852
0.00/0.08 c bounds - >= 840 @ 0.028164
0.00/0.08 c bounds - >= 841 @ 0.028483
0.00/0.08 c bounds - >= 842 @ 0.028786
0.00/0.08 c bounds - >= 843 @ 0.029094
0.00/0.08 c bounds - >= 844 @ 0.029394
0.00/0.08 c bounds - >= 845 @ 0.029705
0.00/0.08 c bounds - >= 846 @ 0.029793
0.00/0.08 c bounds - >= 847 @ 0.029793
0.00/0.08 c bounds - >= 848 @ 0.029793
0.00/0.08 c bounds - >= 849 @ 0.029977
0.00/0.08 c bounds - >= 850 @ 0.03029
0.00/0.08 c bounds - >= 851 @ 0.030629
0.00/0.08 c bounds - >= 852 @ 0.030794
0.00/0.08 c bounds - >= 853 @ 0.030794
0.00/0.08 c bounds - >= 854 @ 0.030794
0.00/0.08 c bounds - >= 855 @ 0.031
0.00/0.08 c bounds - >= 856 @ 0.031329
0.00/0.08 c bounds - >= 857 @ 0.031675
0.00/0.08 c bounds - >= 858 @ 0.031794
0.00/0.08 c bounds - >= 859 @ 0.031794
0.00/0.08 c bounds - >= 860 @ 0.031794
0.00/0.08 c bounds - >= 861 @ 0.032021
0.00/0.08 c bounds - >= 862 @ 0.032353
0.00/0.08 c bounds - >= 863 @ 0.032683
0.00/0.08 c bounds - >= 864 @ 0.032794
0.00/0.08 c bounds - >= 865 @ 0.032794
0.00/0.08 c bounds - >= 866 @ 0.032794
0.00/0.08 c bounds - >= 867 @ 0.033095
0.00/0.08 c bounds - >= 868 @ 0.033429
0.00/0.08 c bounds - >= 869 @ 0.033772
0.00/0.08 c bounds - >= 870 @ 0.034121
0.00/0.08 c bounds - >= 871 @ 0.034455
0.00/0.08 c bounds - >= 872 @ 0.034802
0.00/0.08 c bounds - >= 873 @ 0.035137
0.00/0.08 c bounds - >= 874 @ 0.035475
0.00/0.08 c bounds - >= 875 @ 0.035822
0.00/0.08 c bounds - >= 876 @ 0.036159
0.00/0.08 c bounds - >= 877 @ 0.036498
0.00/0.08 c bounds - >= 878 @ 0.036841
0.00/0.08 c bounds - >= 879 @ 0.037182
0.00/0.08 c bounds - >= 880 @ 0.037523
0.00/0.08 c bounds - >= 881 @ 0.037901
0.00/0.08 c bounds - >= 882 @ 0.038264
0.00/0.08 c bounds - >= 883 @ 0.038606
0.00/0.08 c bounds - >= 884 @ 0.038763
0.00/0.08 c bounds - >= 885 @ 0.038763
0.00/0.08 c bounds - >= 886 @ 0.038763
0.00/0.08 c bounds - >= 887 @ 0.039106
0.00/0.08 c bounds - >= 888 @ 0.039452
0.00/0.08 c bounds - >= 889 @ 0.039806
0.00/0.08 c bounds - >= 890 @ 0.040157
0.00/0.08 c bounds - >= 891 @ 0.04051
0.00/0.08 c bounds - >= 892 @ 0.040847
0.00/0.08 c bounds - >= 893 @ 0.041206
0.00/0.08 c bounds - >= 894 @ 0.041561
0.00/0.08 c bounds - >= 895 @ 0.041899
0.00/0.08 c bounds - >= 896 @ 0.042272
0.00/0.08 c bounds - >= 897 @ 0.042639
0.00/0.08 c bounds - >= 898 @ 0.042748
0.00/0.08 c bounds - >= 899 @ 0.042748
0.00/0.08 c bounds - >= 900 @ 0.042748
0.00/0.08 c bounds - >= 901 @ 0.043114
0.00/0.08 c bounds - >= 902 @ 0.043475
0.00/0.08 c bounds - >= 903 @ 0.043835
0.00/0.08 c bounds - >= 904 @ 0.044219
0.00/0.08 c bounds - >= 905 @ 0.0446
0.00/0.08 c bounds - >= 906 @ 0.044742
0.00/0.08 c bounds - >= 907 @ 0.044742
0.00/0.08 c bounds - >= 908 @ 0.044865
0.00/0.08 c bounds - >= 909 @ 0.045251
0.00/0.08 c bounds - >= 910 @ 0.045514
0.00/0.08 c bounds - >= 911 @ 0.045514
0.00/0.08 c bounds - >= 912 @ 0.04574
0.00/0.08 c bounds - >= 913 @ 0.046137
0.00/0.08 c bounds - >= 914 @ 0.046532
0.00/0.08 c bounds - >= 915 @ 0.046983
0.00/0.08 c bounds - >= 916 @ 0.047383
0.00/0.08 c bounds - >= 917 @ 0.047809
0.00/0.08 c bounds - >= 918 @ 0.048233
0.00/0.08 c bounds - >= 919 @ 0.048633
0.00/0.08 c bounds - >= 920 @ 0.048731
0.00/0.08 c bounds - >= 921 @ 0.048731
0.00/0.08 c bounds - >= 922 @ 0.048848
0.00/0.08 c bounds - >= 923 @ 0.049244
0.00/0.08 c bounds - >= 924 @ 0.049636
0.00/0.08 c bounds - >= 925 @ 0.049726
0.00/0.08 c bounds - >= 926 @ 0.049726
0.00/0.08 c bounds - >= 927 @ 0.049861
0.00/0.08 c bounds - >= 928 @ 0.050269
0.00/0.08 c bounds - >= 929 @ 0.05068
0.00/0.08 c bounds - >= 930 @ 0.050729
0.00/0.08 c bounds - >= 931 @ 0.050729
0.00/0.08 c bounds - >= 932 @ 0.05094
0.00/0.09 c bounds - >= 933 @ 0.051365
0.00/0.09 c bounds - >= 934 @ 0.051793
0.00/0.09 c bounds - >= 935 @ 0.052224
0.00/0.09 c bounds - >= 936 @ 0.052652
0.00/0.09 c bounds - >= 937 @ 0.052726
0.00/0.09 c bounds - >= 938 @ 0.052726
0.00/0.09 c bounds - >= 939 @ 0.052728
0.00/0.09 c bounds - >= 940 @ 0.052728
0.00/0.09 c bounds - >= 941 @ 0.052893
0.00/0.09 c bounds - >= 942 @ 0.053341
0.00/0.09 c bounds - >= 943 @ 0.053787
0.00/0.09 c bounds - >= 944 @ 0.054242
0.00/0.09 c bounds - >= 945 @ 0.05468
0.00/0.09 c bounds - >= 946 @ 0.055184
0.00/0.09 c bounds - >= 947 @ 0.055651
0.00/0.09 c bounds - >= 948 @ 0.056086
0.00/0.09 c bounds - >= 949 @ 0.056534
0.00/0.09 c bounds - >= 950 @ 0.056714
0.00/0.09 c bounds - >= 951 @ 0.056714
0.00/0.09 c bounds - >= 952 @ 0.056896
0.00/0.09 c bounds - >= 953 @ 0.057338
0.00/0.09 c bounds - >= 954 @ 0.057712
0.00/0.09 c bounds - >= 955 @ 0.057712
0.00/0.09 c bounds - >= 956 @ 0.057831
0.00/0.09 c bounds - >= 957 @ 0.058325
0.00/0.09 c bounds - >= 958 @ 0.058811
0.00/0.09 c bounds - >= 959 @ 0.059303
0.00/0.09 c bounds - >= 960 @ 0.059924
0.00/0.09 c bounds - >= 961 @ 0.060509
0.00/0.09 c finalizing WCE round: reformulating cores
62.57/62.90 c #Conflicts: 1000 | #Constraints: 6258
62.57/62.90 c #Conflicts: 2000 | #Constraints: 7303
62.57/62.90 c INPROCESSING
62.57/62.90 c GARBAGE COLLECT
62.57/62.90 c #Conflicts: 3000 | #Constraints: 7070
62.57/62.90 c #Conflicts: 4000 | #Constraints: 8127
62.57/62.90 c INPROCESSING
62.57/62.90 c GARBAGE COLLECT
62.57/62.90 c #Conflicts: 5000 | #Constraints: 7505
62.57/62.90 c #Conflicts: 6000 | #Constraints: 8544
62.57/62.90 c INPROCESSING
62.57/62.90 c GARBAGE COLLECT
62.57/62.90 c #Conflicts: 7000 | #Constraints: 7534
62.57/62.90 c #Conflicts: 8000 | #Constraints: 8546
62.57/62.90 c #Conflicts: 9000 | #Constraints: 9552
62.57/62.90 c INPROCESSING
62.57/62.90 c GARBAGE COLLECT
62.57/62.90 c #Conflicts: 10000 | #Constraints: 8309
62.57/62.90 c #Conflicts: 11000 | #Constraints: 9312
62.57/62.90 c #Conflicts: 12000 | #Constraints: 10314
62.57/62.90 c INPROCESSING
62.57/62.90 c GARBAGE COLLECT
62.57/62.90 c #Conflicts: 13000 | #Constraints: 8749
62.57/62.90 c #Conflicts: 14000 | #Constraints: 9751
62.57/62.90 c #Conflicts: 15000 | #Constraints: 10753
62.57/62.90 c INPROCESSING
62.57/62.90 c GARBAGE COLLECT
62.57/62.90 c #Conflicts: 16000 | #Constraints: 8981
62.57/62.90 c #Conflicts: 17000 | #Constraints: 9983
62.57/62.90 c #Conflicts: 18000 | #Constraints: 10985
62.57/62.90 c INPROCESSING
62.57/62.90 c GARBAGE COLLECT
62.57/62.90 c #Conflicts: 19000 | #Constraints: 9009
62.57/62.90 c #Conflicts: 20000 | #Constraints: 10011
62.57/62.90 c #Conflicts: 21000 | #Constraints: 11016
62.57/62.90 c INPROCESSING
62.57/62.90 c GARBAGE COLLECT
62.57/62.90 c #Conflicts: 22000 | #Constraints: 8817
62.57/62.90 c #Conflicts: 23000 | #Constraints: 9829
62.57/62.90 c #Conflicts: 24000 | #Constraints: 10834
62.57/62.90 c #Conflicts: 25000 | #Constraints: 11852
62.57/62.90 c INPROCESSING
62.57/62.90 c GARBAGE COLLECT
62.57/62.90 c #Conflicts: 26000 | #Constraints: 9425
62.57/62.90 c #Conflicts: 27000 | #Constraints: 10427
62.57/62.90 c #Conflicts: 28000 | #Constraints: 11429
62.57/62.90 c #Conflicts: 29000 | #Constraints: 12437
62.57/62.90 c INPROCESSING
62.57/62.90 c GARBAGE COLLECT
62.57/62.90 c bounds 1063 >= 961 @ 17.1524
62.57/62.90 c bounds 1063 >= 962 @ 17.1561
62.57/62.90 c bounds 1063 >= 963 @ 17.1599
62.57/62.90 c bounds 1063 >= 964 @ 17.163
62.57/62.90 c bounds 1063 >= 965 @ 17.1676
62.57/62.90 c bounds 1063 >= 966 @ 17.1734
62.57/62.90 c bounds 1063 >= 967 @ 17.1833
62.57/62.90 c bounds 1063 >= 968 @ 17.1869
62.57/62.90 c bounds 1063 >= 969 @ 17.1884
62.57/62.90 c bounds 1063 >= 970 @ 17.1979
62.57/62.90 c bounds 1063 >= 971 @ 17.2064
62.57/62.90 c bounds 1063 >= 972 @ 17.2159
62.57/62.90 c bounds 1063 >= 973 @ 17.2304
62.57/62.90 c bounds 1063 >= 974 @ 17.2503
62.57/62.90 c bounds 1063 >= 975 @ 17.2628
62.57/62.90 c bounds 1063 >= 976 @ 17.2796
62.57/62.90 c bounds 1063 >= 977 @ 17.3017
62.57/62.90 c bounds 1063 >= 978 @ 17.3255
62.57/62.90 c bounds 1063 >= 979 @ 17.3472
62.57/62.90 c bounds 1063 >= 980 @ 17.4074
62.57/62.90 c bounds 1063 >= 981 @ 17.4848
62.57/62.90 c bounds 1063 >= 982 @ 17.5381
62.57/62.90 c bounds 1063 >= 983 @ 17.6537
62.57/62.90 c bounds 1063 >= 984 @ 18.7673
62.57/62.90 c #Conflicts: 30000 | #Constraints: 10203
62.57/62.90 c #Conflicts: 31000 | #Constraints: 11203
62.57/62.90 c #Conflicts: 32000 | #Constraints: 12203
62.57/62.90 c #Conflicts: 33000 | #Constraints: 13203
62.57/62.90 c INPROCESSING
62.57/62.90 c GARBAGE COLLECT
62.57/62.90 c #Conflicts: 34000 | #Constraints: 10337
62.57/62.90 c #Conflicts: 35000 | #Constraints: 11337
62.57/62.90 c #Conflicts: 36000 | #Constraints: 12337
62.57/62.90 c #Conflicts: 37000 | #Constraints: 13337
62.57/62.90 c INPROCESSING
62.57/62.90 c GARBAGE COLLECT
62.57/62.90 c #Conflicts: 38000 | #Constraints: 10291
62.57/62.90 c #Conflicts: 39000 | #Constraints: 11291
62.57/62.90 c #Conflicts: 40000 | #Constraints: 12291
62.57/62.90 c #Conflicts: 41000 | #Constraints: 13291
62.57/62.90 c INPROCESSING
62.57/62.90 c GARBAGE COLLECT
62.57/62.90 c #Conflicts: 42000 | #Constraints: 10077
62.57/62.90 c #Conflicts: 43000 | #Constraints: 11077
62.57/62.90 c #Conflicts: 44000 | #Constraints: 12077
62.57/62.90 c #Conflicts: 45000 | #Constraints: 13077
62.57/62.90 c #Conflicts: 46000 | #Constraints: 14077
62.57/62.90 c INPROCESSING
62.57/62.90 c GARBAGE COLLECT
62.57/62.90 c #Conflicts: 47000 | #Constraints: 10658
62.57/62.90 c #Conflicts: 48000 | #Constraints: 11658
62.57/62.90 c #Conflicts: 49000 | #Constraints: 12658
62.57/62.90 c #Conflicts: 50000 | #Constraints: 13658
62.57/62.90 c #Conflicts: 51000 | #Constraints: 14658
62.57/62.90 c INPROCESSING
62.57/62.90 c GARBAGE COLLECT
62.57/62.90 c #Conflicts: 52000 | #Constraints: 11057
62.57/62.90 c #Conflicts: 53000 | #Constraints: 12057
62.57/62.90 c #Conflicts: 54000 | #Constraints: 13057
62.57/62.90 c #Conflicts: 55000 | #Constraints: 14057
205.36/206.08 c #Conflicts: 56000 | #Constraints: 15057
205.36/206.08 c INPROCESSING
205.36/206.08 c GARBAGE COLLECT
205.36/206.08 c #Conflicts: 57000 | #Constraints: 11249
205.36/206.08 c #Conflicts: 58000 | #Constraints: 12249
205.36/206.08 c #Conflicts: 59000 | #Constraints: 13249
205.36/206.08 c #Conflicts: 60000 | #Constraints: 14249
205.36/206.08 c #Conflicts: 61000 | #Constraints: 15249
205.36/206.08 c INPROCESSING
205.36/206.08 c GARBAGE COLLECT
205.36/206.08 c #Conflicts: 62000 | #Constraints: 11264
205.36/206.08 c #Conflicts: 63000 | #Constraints: 12264
205.36/206.08 c #Conflicts: 64000 | #Constraints: 13264
205.36/206.08 c #Conflicts: 65000 | #Constraints: 14264
205.36/206.08 c #Conflicts: 66000 | #Constraints: 15264
205.36/206.08 c INPROCESSING
205.36/206.08 c GARBAGE COLLECT
205.36/206.08 c #Conflicts: 67000 | #Constraints: 11071
205.36/206.08 c #Conflicts: 68000 | #Constraints: 12071
205.36/206.08 c #Conflicts: 69000 | #Constraints: 13071
205.36/206.08 c #Conflicts: 70000 | #Constraints: 14071
205.36/206.08 c #Conflicts: 71000 | #Constraints: 15071
205.36/206.08 c #Conflicts: 72000 | #Constraints: 16071
205.36/206.08 c INPROCESSING
205.36/206.08 c GARBAGE COLLECT
205.36/206.08 c #Conflicts: 73000 | #Constraints: 11672
205.36/206.08 c #Conflicts: 74000 | #Constraints: 12672
205.36/206.08 c #Conflicts: 75000 | #Constraints: 13672
205.36/206.08 c #Conflicts: 76000 | #Constraints: 14672
205.36/206.08 c #Conflicts: 77000 | #Constraints: 15672
205.36/206.08 c #Conflicts: 78000 | #Constraints: 16672
205.36/206.08 c INPROCESSING
205.36/206.08 c GARBAGE COLLECT
205.36/206.08 c #Conflicts: 79000 | #Constraints: 12069
205.36/206.08 c #Conflicts: 80000 | #Constraints: 13069
205.36/206.08 c #Conflicts: 81000 | #Constraints: 14069
205.36/206.08 c #Conflicts: 82000 | #Constraints: 15069
205.36/206.08 c #Conflicts: 83000 | #Constraints: 16069
205.36/206.08 c #Conflicts: 84000 | #Constraints: 17069
205.36/206.08 c INPROCESSING
205.36/206.08 c GARBAGE COLLECT
205.36/206.08 c #Conflicts: 85000 | #Constraints: 12266
205.36/206.08 c #Conflicts: 86000 | #Constraints: 13266
205.36/206.08 c #Conflicts: 87000 | #Constraints: 14266
205.36/206.08 c #Conflicts: 88000 | #Constraints: 15266
205.36/206.08 c #Conflicts: 89000 | #Constraints: 16266
205.36/206.08 c #Conflicts: 90000 | #Constraints: 17266
205.36/206.08 c INPROCESSING
205.36/206.08 c GARBAGE COLLECT
205.36/206.08 c #Conflicts: 91000 | #Constraints: 12275
205.36/206.08 c #Conflicts: 92000 | #Constraints: 13275
205.36/206.08 c #Conflicts: 93000 | #Constraints: 14275
205.36/206.08 c #Conflicts: 94000 | #Constraints: 15275
205.36/206.08 c #Conflicts: 95000 | #Constraints: 16275
205.36/206.08 c #Conflicts: 96000 | #Constraints: 17275
205.36/206.08 c INPROCESSING
205.36/206.08 c GARBAGE COLLECT
205.36/206.08 c #Conflicts: 97000 | #Constraints: 12068
205.36/206.08 c #Conflicts: 98000 | #Constraints: 13068
205.36/206.08 c #Conflicts: 99000 | #Constraints: 14068
205.36/206.08 c #Conflicts: 100000 | #Constraints: 15068
205.36/206.08 c #Conflicts: 101000 | #Constraints: 16068
205.36/206.08 c #Conflicts: 102000 | #Constraints: 17068
205.36/206.08 c #Conflicts: 103000 | #Constraints: 18068
205.36/206.08 c INPROCESSING
205.36/206.08 c GARBAGE COLLECT
205.36/206.08 c #Conflicts: 104000 | #Constraints: 12676
205.36/206.08 c #Conflicts: 105000 | #Constraints: 13676
205.36/206.08 c #Conflicts: 106000 | #Constraints: 14676
205.36/206.08 c #Conflicts: 107000 | #Constraints: 15676
205.36/206.08 c #Conflicts: 108000 | #Constraints: 16676
205.36/206.08 c #Conflicts: 109000 | #Constraints: 17676
205.36/206.08 c #Conflicts: 110000 | #Constraints: 18676
205.36/206.08 c INPROCESSING
205.36/206.08 c GARBAGE COLLECT
205.36/206.08 c #Conflicts: 111000 | #Constraints: 13074
205.36/206.08 c #Conflicts: 112000 | #Constraints: 14074
205.36/206.08 c #Conflicts: 113000 | #Constraints: 15074
205.36/206.08 c #Conflicts: 114000 | #Constraints: 16074
205.36/206.08 c #Conflicts: 115000 | #Constraints: 17074
205.36/206.08 c #Conflicts: 116000 | #Constraints: 18074
205.36/206.08 c #Conflicts: 117000 | #Constraints: 19074
205.36/206.08 c INPROCESSING
205.36/206.08 c GARBAGE COLLECT
205.36/206.08 c #Conflicts: 118000 | #Constraints: 13262
205.36/206.08 c #Conflicts: 119000 | #Constraints: 14262
205.36/206.08 c #Conflicts: 120000 | #Constraints: 15262
205.36/206.08 c #Conflicts: 121000 | #Constraints: 16262
205.36/206.08 c #Conflicts: 122000 | #Constraints: 17262
205.36/206.08 c #Conflicts: 123000 | #Constraints: 18262
205.36/206.08 c #Conflicts: 124000 | #Constraints: 19262
205.36/206.08 c INPROCESSING
205.36/206.08 c GARBAGE COLLECT
205.36/206.08 c #Conflicts: 125000 | #Constraints: 13266
205.36/206.08 c #Conflicts: 126000 | #Constraints: 14266
205.36/206.08 c #Conflicts: 127000 | #Constraints: 15266
393.09/394.35 c #Conflicts: 128000 | #Constraints: 16266
393.09/394.35 c #Conflicts: 129000 | #Constraints: 17266
393.09/394.35 c #Conflicts: 130000 | #Constraints: 18266
393.09/394.35 c #Conflicts: 131000 | #Constraints: 19266
393.09/394.35 c INPROCESSING
393.09/394.35 c GARBAGE COLLECT
393.09/394.35 c #Conflicts: 132000 | #Constraints: 13075
393.09/394.35 c #Conflicts: 133000 | #Constraints: 14075
393.09/394.35 c #Conflicts: 134000 | #Constraints: 15075
393.09/394.35 c #Conflicts: 135000 | #Constraints: 16075
393.09/394.35 c #Conflicts: 136000 | #Constraints: 17075
393.09/394.35 c #Conflicts: 137000 | #Constraints: 18075
393.09/394.35 c #Conflicts: 138000 | #Constraints: 19075
393.09/394.35 c #Conflicts: 139000 | #Constraints: 20075
393.09/394.35 c INPROCESSING
393.09/394.35 c GARBAGE COLLECT
393.09/394.35 c #Conflicts: 140000 | #Constraints: 13683
393.09/394.35 c #Conflicts: 141000 | #Constraints: 14683
393.09/394.35 c #Conflicts: 142000 | #Constraints: 15683
393.09/394.35 c #Conflicts: 143000 | #Constraints: 16683
393.09/394.35 c #Conflicts: 144000 | #Constraints: 17683
393.09/394.35 c #Conflicts: 145000 | #Constraints: 18683
393.09/394.35 c #Conflicts: 146000 | #Constraints: 19683
393.09/394.35 c #Conflicts: 147000 | #Constraints: 20683
393.09/394.35 c INPROCESSING
393.09/394.35 c GARBAGE COLLECT
393.09/394.35 c #Conflicts: 148000 | #Constraints: 14087
393.09/394.35 c #Conflicts: 149000 | #Constraints: 15087
393.09/394.35 c #Conflicts: 150000 | #Constraints: 16087
393.09/394.35 c #Conflicts: 151000 | #Constraints: 17087
393.09/394.35 c #Conflicts: 152000 | #Constraints: 18087
393.09/394.35 c #Conflicts: 153000 | #Constraints: 19087
393.09/394.35 c #Conflicts: 154000 | #Constraints: 20087
393.09/394.35 c #Conflicts: 155000 | #Constraints: 21087
393.09/394.35 c INPROCESSING
393.09/394.35 c GARBAGE COLLECT
393.09/394.35 c #Conflicts: 156000 | #Constraints: 14276
393.09/394.35 c #Conflicts: 157000 | #Constraints: 15276
393.09/394.35 c #Conflicts: 158000 | #Constraints: 16276
393.09/394.35 c #Conflicts: 159000 | #Constraints: 17276
393.09/394.35 c #Conflicts: 160000 | #Constraints: 18276
393.09/394.35 c #Conflicts: 161000 | #Constraints: 19276
393.09/394.35 c #Conflicts: 162000 | #Constraints: 20276
393.09/394.35 c #Conflicts: 163000 | #Constraints: 21276
393.09/394.35 c INPROCESSING
393.09/394.35 c GARBAGE COLLECT
393.09/394.35 c #Conflicts: 164000 | #Constraints: 14271
393.09/394.35 c #Conflicts: 165000 | #Constraints: 15271
393.09/394.35 c #Conflicts: 166000 | #Constraints: 16271
393.09/394.35 c #Conflicts: 167000 | #Constraints: 17271
393.09/394.35 c #Conflicts: 168000 | #Constraints: 18271
393.09/394.35 c #Conflicts: 169000 | #Constraints: 19271
393.09/394.35 c #Conflicts: 170000 | #Constraints: 20271
393.09/394.35 c #Conflicts: 171000 | #Constraints: 21271
393.09/394.35 c INPROCESSING
393.09/394.35 c GARBAGE COLLECT
393.09/394.35 c #Conflicts: 172000 | #Constraints: 14064
393.09/394.35 c #Conflicts: 173000 | #Constraints: 15064
393.09/394.35 c #Conflicts: 174000 | #Constraints: 16064
393.09/394.35 c #Conflicts: 175000 | #Constraints: 17064
393.09/394.35 c #Conflicts: 176000 | #Constraints: 18064
393.09/394.35 c #Conflicts: 177000 | #Constraints: 19064
393.09/394.35 c #Conflicts: 178000 | #Constraints: 20064
393.09/394.35 c #Conflicts: 179000 | #Constraints: 21064
393.09/394.35 c #Conflicts: 180000 | #Constraints: 22064
393.09/394.35 c INPROCESSING
393.09/394.35 c GARBAGE COLLECT
393.09/394.35 c #Conflicts: 181000 | #Constraints: 14663
393.09/394.35 c #Conflicts: 182000 | #Constraints: 15663
393.09/394.35 c #Conflicts: 183000 | #Constraints: 16663
393.09/394.35 c #Conflicts: 184000 | #Constraints: 17663
393.09/394.35 c #Conflicts: 185000 | #Constraints: 18663
393.09/394.35 c #Conflicts: 186000 | #Constraints: 19663
393.09/394.35 c #Conflicts: 187000 | #Constraints: 20663
393.09/394.35 c #Conflicts: 188000 | #Constraints: 21663
393.09/394.35 c #Conflicts: 189000 | #Constraints: 22663
393.09/394.35 c INPROCESSING
393.09/394.35 c GARBAGE COLLECT
393.09/394.35 c #Conflicts: 190000 | #Constraints: 15081
393.09/394.35 c #Conflicts: 191000 | #Constraints: 16081
393.09/394.35 c #Conflicts: 192000 | #Constraints: 17081
393.09/394.35 c #Conflicts: 193000 | #Constraints: 18081
393.09/394.35 c #Conflicts: 194000 | #Constraints: 19081
393.09/394.35 c #Conflicts: 195000 | #Constraints: 20081
393.09/394.35 c #Conflicts: 196000 | #Constraints: 21081
393.09/394.35 c #Conflicts: 197000 | #Constraints: 22081
393.09/394.35 c #Conflicts: 198000 | #Constraints: 23081
393.09/394.35 c INPROCESSING
393.09/394.35 c GARBAGE COLLECT
393.09/394.35 c #Conflicts: 199000 | #Constraints: 15280
393.09/394.35 c #Conflicts: 200000 | #Constraints: 16280
560.01/561.74 c #Conflicts: 201000 | #Constraints: 17280
560.01/561.74 c #Conflicts: 202000 | #Constraints: 18280
560.01/561.74 c #Conflicts: 203000 | #Constraints: 19280
560.01/561.74 c #Conflicts: 204000 | #Constraints: 20280
560.01/561.74 c #Conflicts: 205000 | #Constraints: 21280
560.01/561.74 c #Conflicts: 206000 | #Constraints: 22280
560.01/561.74 c #Conflicts: 207000 | #Constraints: 23280
560.01/561.74 c INPROCESSING
560.01/561.74 c GARBAGE COLLECT
560.01/561.74 c #Conflicts: 208000 | #Constraints: 15275
560.01/561.74 c #Conflicts: 209000 | #Constraints: 16275
560.01/561.74 c #Conflicts: 210000 | #Constraints: 17275
560.01/561.74 c #Conflicts: 211000 | #Constraints: 18275
560.01/561.74 c #Conflicts: 212000 | #Constraints: 19275
560.01/561.74 c #Conflicts: 213000 | #Constraints: 20275
560.01/561.74 c #Conflicts: 214000 | #Constraints: 21275
560.01/561.74 c #Conflicts: 215000 | #Constraints: 22275
560.01/561.74 c #Conflicts: 216000 | #Constraints: 23275
560.01/561.74 c INPROCESSING
560.01/561.74 c GARBAGE COLLECT
560.01/561.74 c #Conflicts: 217000 | #Constraints: 15074
560.01/561.74 c #Conflicts: 218000 | #Constraints: 16074
560.01/561.74 c #Conflicts: 219000 | #Constraints: 17074
560.01/561.74 c #Conflicts: 220000 | #Constraints: 18074
560.01/561.74 c #Conflicts: 221000 | #Constraints: 19074
560.01/561.74 c #Conflicts: 222000 | #Constraints: 20074
560.01/561.74 c #Conflicts: 223000 | #Constraints: 21074
560.01/561.74 c #Conflicts: 224000 | #Constraints: 22074
560.01/561.74 c #Conflicts: 225000 | #Constraints: 23074
560.01/561.74 c #Conflicts: 226000 | #Constraints: 24074
560.01/561.74 c INPROCESSING
560.01/561.74 c GARBAGE COLLECT
560.01/561.74 c #Conflicts: 227000 | #Constraints: 15677
560.01/561.74 c #Conflicts: 228000 | #Constraints: 16677
560.01/561.74 c #Conflicts: 229000 | #Constraints: 17677
560.01/561.74 c #Conflicts: 230000 | #Constraints: 18677
560.01/561.74 c #Conflicts: 231000 | #Constraints: 19677
560.01/561.74 c #Conflicts: 232000 | #Constraints: 20677
560.01/561.74 c #Conflicts: 233000 | #Constraints: 21677
560.01/561.74 c #Conflicts: 234000 | #Constraints: 22677
560.01/561.74 c #Conflicts: 235000 | #Constraints: 23677
560.01/561.74 c #Conflicts: 236000 | #Constraints: 24677
560.01/561.74 c INPROCESSING
560.01/561.74 c GARBAGE COLLECT
560.01/561.74 c #Conflicts: 237000 | #Constraints: 16070
560.01/561.74 c #Conflicts: 238000 | #Constraints: 17070
560.01/561.74 c #Conflicts: 239000 | #Constraints: 18070
560.01/561.74 c #Conflicts: 240000 | #Constraints: 19070
560.01/561.74 c #Conflicts: 241000 | #Constraints: 20070
560.01/561.74 c #Conflicts: 242000 | #Constraints: 21070
560.01/561.74 c #Conflicts: 243000 | #Constraints: 22070
560.01/561.74 c #Conflicts: 244000 | #Constraints: 23070
560.01/561.74 c #Conflicts: 245000 | #Constraints: 24070
560.01/561.74 c #Conflicts: 246000 | #Constraints: 25070
560.01/561.74 c INPROCESSING
560.01/561.74 c GARBAGE COLLECT
560.01/561.74 c #Conflicts: 247000 | #Constraints: 16260
560.01/561.74 c #Conflicts: 248000 | #Constraints: 17260
560.01/561.74 c #Conflicts: 249000 | #Constraints: 18260
560.01/561.74 c #Conflicts: 250000 | #Constraints: 19260
560.01/561.74 c #Conflicts: 251000 | #Constraints: 20260
560.01/561.74 c #Conflicts: 252000 | #Constraints: 21260
560.01/561.74 c #Conflicts: 253000 | #Constraints: 22260
560.01/561.74 c #Conflicts: 254000 | #Constraints: 23260
560.01/561.74 c #Conflicts: 255000 | #Constraints: 24260
560.01/561.74 c #Conflicts: 256000 | #Constraints: 25260
560.01/561.74 c INPROCESSING
560.01/561.74 c GARBAGE COLLECT
560.01/561.74 c #Conflicts: 257000 | #Constraints: 16254
560.01/561.74 c #Conflicts: 258000 | #Constraints: 17254
560.01/561.74 c #Conflicts: 259000 | #Constraints: 18254
560.01/561.74 c #Conflicts: 260000 | #Constraints: 19254
560.01/561.74 c #Conflicts: 261000 | #Constraints: 20254
560.01/561.74 c #Conflicts: 262000 | #Constraints: 21254
560.01/561.74 c #Conflicts: 263000 | #Constraints: 22254
560.01/561.74 c #Conflicts: 264000 | #Constraints: 23254
560.01/561.74 c #Conflicts: 265000 | #Constraints: 24254
560.01/561.74 c #Conflicts: 266000 | #Constraints: 25254
560.01/561.74 c INPROCESSING
560.01/561.74 c GARBAGE COLLECT
560.01/561.74 c #Conflicts: 267000 | #Constraints: 16063
560.01/561.74 c #Conflicts: 268000 | #Constraints: 17063
560.01/561.74 c #Conflicts: 269000 | #Constraints: 18063
560.01/561.74 c #Conflicts: 270000 | #Constraints: 19063
560.01/561.74 c #Conflicts: 271000 | #Constraints: 20063
560.01/561.74 c #Conflicts: 272000 | #Constraints: 21063
560.01/561.74 c #Conflicts: 273000 | #Constraints: 22063
560.01/561.74 c #Conflicts: 274000 | #Constraints: 23063
896.86/899.56 c #Conflicts: 275000 | #Constraints: 24063
896.86/899.56 c #Conflicts: 276000 | #Constraints: 25063
896.86/899.56 c #Conflicts: 277000 | #Constraints: 26063
896.86/899.56 c INPROCESSING
896.86/899.56 c GARBAGE COLLECT
896.86/899.56 c #Conflicts: 278000 | #Constraints: 16663
896.86/899.56 c #Conflicts: 279000 | #Constraints: 17663
896.86/899.56 c #Conflicts: 280000 | #Constraints: 18663
896.86/899.56 c #Conflicts: 281000 | #Constraints: 19663
896.86/899.56 c #Conflicts: 282000 | #Constraints: 20663
896.86/899.56 c #Conflicts: 283000 | #Constraints: 21663
896.86/899.56 c #Conflicts: 284000 | #Constraints: 22663
896.86/899.56 c #Conflicts: 285000 | #Constraints: 23663
896.86/899.56 c #Conflicts: 286000 | #Constraints: 24663
896.86/899.56 c #Conflicts: 287000 | #Constraints: 25663
896.86/899.56 c #Conflicts: 288000 | #Constraints: 26663
896.86/899.56 c INPROCESSING
896.86/899.56 c GARBAGE COLLECT
896.86/899.56 c #Conflicts: 289000 | #Constraints: 17067
896.86/899.56 c #Conflicts: 290000 | #Constraints: 18067
896.86/899.56 c #Conflicts: 291000 | #Constraints: 19067
896.86/899.56 c #Conflicts: 292000 | #Constraints: 20067
896.86/899.56 c #Conflicts: 293000 | #Constraints: 21067
896.86/899.56 c #Conflicts: 294000 | #Constraints: 22067
896.86/899.56 c #Conflicts: 295000 | #Constraints: 23067
896.86/899.56 c #Conflicts: 296000 | #Constraints: 24067
896.86/899.56 c #Conflicts: 297000 | #Constraints: 25067
896.86/899.56 c #Conflicts: 298000 | #Constraints: 26067
896.86/899.56 c #Conflicts: 299000 | #Constraints: 27067
896.86/899.56 c INPROCESSING
896.86/899.56 c GARBAGE COLLECT
896.86/899.56 c #Conflicts: 300000 | #Constraints: 17269
896.86/899.56 c #Conflicts: 301000 | #Constraints: 18269
896.86/899.56 c #Conflicts: 302000 | #Constraints: 19269
896.86/899.56 c #Conflicts: 303000 | #Constraints: 20269
896.86/899.56 c #Conflicts: 304000 | #Constraints: 21269
896.86/899.56 c #Conflicts: 305000 | #Constraints: 22269
896.86/899.56 c #Conflicts: 306000 | #Constraints: 23269
896.86/899.56 c #Conflicts: 307000 | #Constraints: 24269
896.86/899.56 c #Conflicts: 308000 | #Constraints: 25269
896.86/899.56 c #Conflicts: 309000 | #Constraints: 26269
896.86/899.56 c #Conflicts: 310000 | #Constraints: 27269
896.86/899.56 c INPROCESSING
896.86/899.56 c GARBAGE COLLECT
896.86/899.56 c #Conflicts: 311000 | #Constraints: 17284
896.86/899.56 c #Conflicts: 312000 | #Constraints: 18284
896.86/899.56 c #Conflicts: 313000 | #Constraints: 19284
896.86/899.56 c #Conflicts: 314000 | #Constraints: 20284
896.86/899.56 c #Conflicts: 315000 | #Constraints: 21284
896.86/899.56 c #Conflicts: 316000 | #Constraints: 22284
896.86/899.56 c #Conflicts: 317000 | #Constraints: 23284
896.86/899.56 c #Conflicts: 318000 | #Constraints: 24284
896.86/899.56 c #Conflicts: 319000 | #Constraints: 25284
896.86/899.56 c #Conflicts: 320000 | #Constraints: 26284
896.86/899.56 c #Conflicts: 321000 | #Constraints: 27284
896.86/899.56 c INPROCESSING
896.86/899.56 c GARBAGE COLLECT
896.86/899.56 c #Conflicts: 322000 | #Constraints: 17084
896.86/899.56 c #Conflicts: 323000 | #Constraints: 18084
896.86/899.56 c #Conflicts: 324000 | #Constraints: 19084
896.86/899.56 c #Conflicts: 325000 | #Constraints: 20084
896.86/899.56 c #Conflicts: 326000 | #Constraints: 21084
896.86/899.56 c #Conflicts: 327000 | #Constraints: 22084
896.86/899.56 c #Conflicts: 328000 | #Constraints: 23084
896.86/899.56 c #Conflicts: 329000 | #Constraints: 24084
896.86/899.56 c #Conflicts: 330000 | #Constraints: 25084
896.86/899.56 c #Conflicts: 331000 | #Constraints: 26084
896.86/899.56 c #Conflicts: 332000 | #Constraints: 27084
896.86/899.56 c #Conflicts: 333000 | #Constraints: 28084
896.86/899.56 c INPROCESSING
896.86/899.56 c GARBAGE COLLECT
896.86/899.56 c #Conflicts: 334000 | #Constraints: 17693
896.86/899.56 c #Conflicts: 335000 | #Constraints: 18693
896.86/899.56 c #Conflicts: 336000 | #Constraints: 19693
896.86/899.56 c #Conflicts: 337000 | #Constraints: 20693
896.86/899.56 c #Conflicts: 338000 | #Constraints: 21693
896.86/899.56 c #Conflicts: 339000 | #Constraints: 22693
896.86/899.56 c #Conflicts: 340000 | #Constraints: 23693
896.86/899.56 c #Conflicts: 341000 | #Constraints: 24693
896.86/899.56 c #Conflicts: 342000 | #Constraints: 25693
896.86/899.56 c #Conflicts: 343000 | #Constraints: 26693
896.86/899.56 c #Conflicts: 344000 | #Constraints: 27693
896.86/899.56 c #Conflicts: 345000 | #Constraints: 28693
896.86/899.56 c INPROCESSING
896.86/899.56 c GARBAGE COLLECT
896.86/899.56 c #Conflicts: 346000 | #Constraints: 18092
896.86/899.56 c #Conflicts: 347000 | #Constraints: 19092
896.86/899.56 c #Conflicts: 348000 | #Constraints: 20092
1266.83/1270.72 c #Conflicts: 349000 | #Constraints: 21092
1266.83/1270.72 c #Conflicts: 350000 | #Constraints: 22092
1266.83/1270.72 c #Conflicts: 351000 | #Constraints: 23092
1266.83/1270.72 c #Conflicts: 352000 | #Constraints: 24092
1266.83/1270.72 c #Conflicts: 353000 | #Constraints: 25092
1266.83/1270.72 c #Conflicts: 354000 | #Constraints: 26092
1266.83/1270.72 c #Conflicts: 355000 | #Constraints: 27092
1266.83/1270.72 c #Conflicts: 356000 | #Constraints: 28092
1266.83/1270.72 c #Conflicts: 357000 | #Constraints: 29092
1266.83/1270.72 c INPROCESSING
1266.83/1270.72 c GARBAGE COLLECT
1266.83/1270.72 c #Conflicts: 358000 | #Constraints: 18291
1266.83/1270.72 c #Conflicts: 359000 | #Constraints: 19291
1266.83/1270.72 c #Conflicts: 360000 | #Constraints: 20291
1266.83/1270.72 c #Conflicts: 361000 | #Constraints: 21291
1266.83/1270.72 c #Conflicts: 362000 | #Constraints: 22291
1266.83/1270.72 c #Conflicts: 363000 | #Constraints: 23291
1266.83/1270.72 c #Conflicts: 364000 | #Constraints: 24291
1266.83/1270.72 c #Conflicts: 365000 | #Constraints: 25291
1266.83/1270.72 c #Conflicts: 366000 | #Constraints: 26291
1266.83/1270.72 c #Conflicts: 367000 | #Constraints: 27291
1266.83/1270.72 c #Conflicts: 368000 | #Constraints: 28291
1266.83/1270.72 c #Conflicts: 369000 | #Constraints: 29291
1266.83/1270.72 c INPROCESSING
1266.83/1270.72 c GARBAGE COLLECT
1266.83/1270.72 c #Conflicts: 370000 | #Constraints: 18289
1266.83/1270.72 c #Conflicts: 371000 | #Constraints: 19289
1266.83/1270.72 c #Conflicts: 372000 | #Constraints: 20289
1266.83/1270.72 c #Conflicts: 373000 | #Constraints: 21289
1266.83/1270.72 c #Conflicts: 374000 | #Constraints: 22289
1266.83/1270.72 c #Conflicts: 375000 | #Constraints: 23289
1266.83/1270.72 c #Conflicts: 376000 | #Constraints: 24289
1266.83/1270.72 c #Conflicts: 377000 | #Constraints: 25289
1266.83/1270.72 c #Conflicts: 378000 | #Constraints: 26289
1266.83/1270.72 c #Conflicts: 379000 | #Constraints: 27289
1266.83/1270.72 c #Conflicts: 380000 | #Constraints: 28289
1266.83/1270.72 c #Conflicts: 381000 | #Constraints: 29289
1266.83/1270.72 c INPROCESSING
1266.83/1270.72 c GARBAGE COLLECT
1266.83/1270.72 c #Conflicts: 382000 | #Constraints: 18089
1266.83/1270.72 c #Conflicts: 383000 | #Constraints: 19089
1266.83/1270.72 c #Conflicts: 384000 | #Constraints: 20089
1266.83/1270.72 c #Conflicts: 385000 | #Constraints: 21089
1266.83/1270.72 c #Conflicts: 386000 | #Constraints: 22089
1266.83/1270.72 c #Conflicts: 387000 | #Constraints: 23089
1266.83/1270.72 c #Conflicts: 388000 | #Constraints: 24089
1266.83/1270.72 c #Conflicts: 389000 | #Constraints: 25089
1266.83/1270.72 c #Conflicts: 390000 | #Constraints: 26089
1266.83/1270.72 c #Conflicts: 391000 | #Constraints: 27089
1266.83/1270.72 c #Conflicts: 392000 | #Constraints: 28089
1266.83/1270.72 c #Conflicts: 393000 | #Constraints: 29089
1266.83/1270.72 c #Conflicts: 394000 | #Constraints: 30089
1266.83/1270.72 c INPROCESSING
1266.83/1270.72 c GARBAGE COLLECT
1266.83/1270.72 c #Conflicts: 395000 | #Constraints: 18694
1266.83/1270.72 c #Conflicts: 396000 | #Constraints: 19694
1266.83/1270.72 c #Conflicts: 397000 | #Constraints: 20694
1266.83/1270.72 c #Conflicts: 398000 | #Constraints: 21694
1266.83/1270.72 c #Conflicts: 399000 | #Constraints: 22694
1266.83/1270.72 c #Conflicts: 400000 | #Constraints: 23694
1266.83/1270.72 c #Conflicts: 401000 | #Constraints: 24694
1266.83/1270.72 c #Conflicts: 402000 | #Constraints: 25694
1266.83/1270.72 c #Conflicts: 403000 | #Constraints: 26694
1266.83/1270.72 c #Conflicts: 404000 | #Constraints: 27694
1266.83/1270.72 c #Conflicts: 405000 | #Constraints: 28694
1266.83/1270.72 c #Conflicts: 406000 | #Constraints: 29694
1266.83/1270.72 c #Conflicts: 407000 | #Constraints: 30694
1266.83/1270.72 c INPROCESSING
1266.83/1270.72 c GARBAGE COLLECT
1266.83/1270.72 c #Conflicts: 408000 | #Constraints: 19094
1266.83/1270.72 c #Conflicts: 409000 | #Constraints: 20094
1266.83/1270.72 c #Conflicts: 410000 | #Constraints: 21094
1266.83/1270.72 c #Conflicts: 411000 | #Constraints: 22094
1266.83/1270.72 c #Conflicts: 412000 | #Constraints: 23094
1266.83/1270.72 c #Conflicts: 413000 | #Constraints: 24094
1266.83/1270.72 c #Conflicts: 414000 | #Constraints: 25094
1266.83/1270.72 c #Conflicts: 415000 | #Constraints: 26094
1266.83/1270.72 c #Conflicts: 416000 | #Constraints: 27094
1266.83/1270.72 c #Conflicts: 417000 | #Constraints: 28094
1266.83/1270.72 c #Conflicts: 418000 | #Constraints: 29094
1266.83/1270.72 c #Conflicts: 419000 | #Constraints: 30094
1266.83/1270.72 c #Conflicts: 420000 | #Constraints: 31094
1266.83/1270.72 c INPROCESSING
1266.83/1270.72 c GARBAGE COLLECT
1266.83/1270.72 c #Conflicts: 421000 | #Constraints: 19299
1266.83/1270.72 c #Conflicts: 422000 | #Constraints: 20299
1266.83/1270.72 c #Conflicts: 423000 | #Constraints: 21299
1941.48/1947.66 c #Conflicts: 424000 | #Constraints: 22299
1941.48/1947.66 c #Conflicts: 425000 | #Constraints: 23299
1941.48/1947.66 c #Conflicts: 426000 | #Constraints: 24299
1941.48/1947.66 c #Conflicts: 427000 | #Constraints: 25299
1941.48/1947.66 c #Conflicts: 428000 | #Constraints: 26299
1941.48/1947.66 c #Conflicts: 429000 | #Constraints: 27299
1941.48/1947.66 c #Conflicts: 430000 | #Constraints: 28299
1941.48/1947.66 c #Conflicts: 431000 | #Constraints: 29299
1941.48/1947.66 c #Conflicts: 432000 | #Constraints: 30299
1941.48/1947.66 c #Conflicts: 433000 | #Constraints: 31299
1941.48/1947.66 c INPROCESSING
1941.48/1947.66 c GARBAGE COLLECT
1941.48/1947.66 c #Conflicts: 434000 | #Constraints: 19315
1941.48/1947.66 c #Conflicts: 435000 | #Constraints: 20315
1941.48/1947.66 c #Conflicts: 436000 | #Constraints: 21315
1941.48/1947.66 c #Conflicts: 437000 | #Constraints: 22315
1941.48/1947.66 c #Conflicts: 438000 | #Constraints: 23315
1941.48/1947.66 c #Conflicts: 439000 | #Constraints: 24315
1941.48/1947.66 c #Conflicts: 440000 | #Constraints: 25315
1941.48/1947.66 c #Conflicts: 441000 | #Constraints: 26315
1941.48/1947.66 c #Conflicts: 442000 | #Constraints: 27315
1941.48/1947.66 c #Conflicts: 443000 | #Constraints: 28315
1941.48/1947.66 c #Conflicts: 444000 | #Constraints: 29315
1941.48/1947.66 c #Conflicts: 445000 | #Constraints: 30315
1941.48/1947.66 c #Conflicts: 446000 | #Constraints: 31315
1941.48/1947.66 c INPROCESSING
1941.48/1947.66 c GARBAGE COLLECT
1941.48/1947.66 c #Conflicts: 447000 | #Constraints: 19120
1941.48/1947.66 c #Conflicts: 448000 | #Constraints: 20120
1941.48/1947.66 c #Conflicts: 449000 | #Constraints: 21120
1941.48/1947.66 c #Conflicts: 450000 | #Constraints: 22120
1941.48/1947.66 c #Conflicts: 451000 | #Constraints: 23120
1941.48/1947.66 c #Conflicts: 452000 | #Constraints: 24120
1941.48/1947.66 c #Conflicts: 453000 | #Constraints: 25120
1941.48/1947.66 c #Conflicts: 454000 | #Constraints: 26120
1941.48/1947.66 c #Conflicts: 455000 | #Constraints: 27120
1941.48/1947.66 c #Conflicts: 456000 | #Constraints: 28120
1941.48/1947.66 c #Conflicts: 457000 | #Constraints: 29120
1941.48/1947.66 c #Conflicts: 458000 | #Constraints: 30120
1941.48/1947.66 c #Conflicts: 459000 | #Constraints: 31120
1941.48/1947.66 c #Conflicts: 460000 | #Constraints: 32120
1941.48/1947.66 c INPROCESSING
1941.48/1947.66 c GARBAGE COLLECT
1941.48/1947.66 c #Conflicts: 461000 | #Constraints: 19742
1941.48/1947.66 c #Conflicts: 462000 | #Constraints: 20742
1941.48/1947.66 c #Conflicts: 463000 | #Constraints: 21742
1941.48/1947.66 c #Conflicts: 464000 | #Constraints: 22742
1941.48/1947.66 c #Conflicts: 465000 | #Constraints: 23742
1941.48/1947.66 c #Conflicts: 466000 | #Constraints: 24742
1941.48/1947.66 c #Conflicts: 467000 | #Constraints: 25742
1941.48/1947.66 c #Conflicts: 468000 | #Constraints: 26742
1941.48/1947.66 c #Conflicts: 469000 | #Constraints: 27742
1941.48/1947.66 c #Conflicts: 470000 | #Constraints: 28742
1941.48/1947.66 c #Conflicts: 471000 | #Constraints: 29742
1941.48/1947.66 c #Conflicts: 472000 | #Constraints: 30742
1941.48/1947.66 c #Conflicts: 473000 | #Constraints: 31742
1941.48/1947.66 c #Conflicts: 474000 | #Constraints: 32742
1941.48/1947.66 c INPROCESSING
1941.48/1947.66 c GARBAGE COLLECT
1941.48/1947.66 c #Conflicts: 475000 | #Constraints: 20126
1941.48/1947.66 c #Conflicts: 476000 | #Constraints: 21126
1941.48/1947.66 c #Conflicts: 477000 | #Constraints: 22126
1941.48/1947.66 c #Conflicts: 478000 | #Constraints: 23126
1941.48/1947.66 c #Conflicts: 479000 | #Constraints: 24126
1941.48/1947.66 c #Conflicts: 480000 | #Constraints: 25126
1941.48/1947.66 c #Conflicts: 481000 | #Constraints: 26126
1941.48/1947.66 c #Conflicts: 482000 | #Constraints: 27126
1941.48/1947.66 c #Conflicts: 483000 | #Constraints: 28126
1941.48/1947.66 c #Conflicts: 484000 | #Constraints: 29126
1941.48/1947.66 c #Conflicts: 485000 | #Constraints: 30126
1941.48/1947.66 c #Conflicts: 486000 | #Constraints: 31126
1941.48/1947.66 c #Conflicts: 487000 | #Constraints: 32126
1941.48/1947.66 c #Conflicts: 488000 | #Constraints: 33126
1941.48/1947.66 c INPROCESSING
1941.48/1947.66 c GARBAGE COLLECT
1941.48/1947.66 c #Conflicts: 489000 | #Constraints: 20316
1941.48/1947.66 c #Conflicts: 490000 | #Constraints: 21316
1941.48/1947.66 c #Conflicts: 491000 | #Constraints: 22316
1941.48/1947.66 c #Conflicts: 492000 | #Constraints: 23316
1941.48/1947.66 c #Conflicts: 493000 | #Constraints: 24316
1941.48/1947.66 c #Conflicts: 494000 | #Constraints: 25316
1941.48/1947.66 c #Conflicts: 495000 | #Constraints: 26316
1941.48/1947.66 c #Conflicts: 496000 | #Constraints: 27316
1941.48/1947.66 c #Conflicts: 497000 | #Constraints: 28316
1941.48/1947.66 c #Conflicts: 498000 | #Constraints: 29316
1941.48/1947.66 c #Conflicts: 499000 | #Constraints: 30316
2484.22/2491.95 c #Conflicts: 500000 | #Constraints: 31316
2484.22/2491.95 c #Conflicts: 501000 | #Constraints: 32316
2484.22/2491.95 c #Conflicts: 502000 | #Constraints: 33316
2484.22/2491.95 c INPROCESSING
2484.22/2491.95 c GARBAGE COLLECT
2484.22/2491.95 c #Conflicts: 503000 | #Constraints: 20323
2484.22/2491.95 c #Conflicts: 504000 | #Constraints: 21323
2484.22/2491.95 c #Conflicts: 505000 | #Constraints: 22323
2484.22/2491.95 c #Conflicts: 506000 | #Constraints: 23323
2484.22/2491.95 c #Conflicts: 507000 | #Constraints: 24323
2484.22/2491.95 c #Conflicts: 508000 | #Constraints: 25323
2484.22/2491.95 c #Conflicts: 509000 | #Constraints: 26323
2484.22/2491.95 c #Conflicts: 510000 | #Constraints: 27323
2484.22/2491.95 c #Conflicts: 511000 | #Constraints: 28323
2484.22/2491.95 c #Conflicts: 512000 | #Constraints: 29323
2484.22/2491.95 c #Conflicts: 513000 | #Constraints: 30323
2484.22/2491.95 c #Conflicts: 514000 | #Constraints: 31323
2484.22/2491.95 c #Conflicts: 515000 | #Constraints: 32323
2484.22/2491.95 c #Conflicts: 516000 | #Constraints: 33323
2484.22/2491.95 c INPROCESSING
2484.22/2491.95 c GARBAGE COLLECT
2484.22/2491.95 c #Conflicts: 517000 | #Constraints: 20099
2484.22/2491.95 c #Conflicts: 518000 | #Constraints: 21099
2484.22/2491.95 c #Conflicts: 519000 | #Constraints: 22099
2484.22/2491.95 c #Conflicts: 520000 | #Constraints: 23099
2484.22/2491.95 c #Conflicts: 521000 | #Constraints: 24099
2484.22/2491.95 c #Conflicts: 522000 | #Constraints: 25099
2484.22/2491.95 c #Conflicts: 523000 | #Constraints: 26099
2484.22/2491.95 c #Conflicts: 524000 | #Constraints: 27099
2484.22/2491.95 c #Conflicts: 525000 | #Constraints: 28099
2484.22/2491.95 c #Conflicts: 526000 | #Constraints: 29099
2484.22/2491.95 c #Conflicts: 527000 | #Constraints: 30099
2484.22/2491.95 c #Conflicts: 528000 | #Constraints: 31099
2484.22/2491.95 c #Conflicts: 529000 | #Constraints: 32099
2484.22/2491.95 c #Conflicts: 530000 | #Constraints: 33099
2484.22/2491.95 c #Conflicts: 531000 | #Constraints: 34099
2484.22/2491.95 c INPROCESSING
2484.22/2491.95 c GARBAGE COLLECT
2484.22/2491.95 c #Conflicts: 532000 | #Constraints: 20705
2484.22/2491.95 c #Conflicts: 533000 | #Constraints: 21705
2484.22/2491.95 c #Conflicts: 534000 | #Constraints: 22705
2484.22/2491.95 c #Conflicts: 535000 | #Constraints: 23705
2484.22/2491.95 c #Conflicts: 536000 | #Constraints: 24705
2484.22/2491.95 c #Conflicts: 537000 | #Constraints: 25705
2484.22/2491.95 c #Conflicts: 538000 | #Constraints: 26705
2484.22/2491.95 c #Conflicts: 539000 | #Constraints: 27705
2484.22/2491.95 c #Conflicts: 540000 | #Constraints: 28705
2484.22/2491.95 c #Conflicts: 541000 | #Constraints: 29705
2484.22/2491.95 c #Conflicts: 542000 | #Constraints: 30705
2484.22/2491.95 c #Conflicts: 543000 | #Constraints: 31705
2484.22/2491.95 c #Conflicts: 544000 | #Constraints: 32705
2484.22/2491.95 c #Conflicts: 545000 | #Constraints: 33705
2484.22/2491.95 c #Conflicts: 546000 | #Constraints: 34705
2484.22/2491.95 c INPROCESSING
2484.22/2491.95 c GARBAGE COLLECT
2484.22/2491.95 c #Conflicts: 547000 | #Constraints: 21097
2484.22/2491.95 c #Conflicts: 548000 | #Constraints: 22097
2484.22/2491.95 c #Conflicts: 549000 | #Constraints: 23097
2484.22/2491.95 c #Conflicts: 550000 | #Constraints: 24097
2484.22/2491.95 c #Conflicts: 551000 | #Constraints: 25097
2484.22/2491.95 c #Conflicts: 552000 | #Constraints: 26097
2484.22/2491.95 c #Conflicts: 553000 | #Constraints: 27097
2484.22/2491.95 c #Conflicts: 554000 | #Constraints: 28097
2484.22/2491.95 c #Conflicts: 555000 | #Constraints: 29097
2484.22/2491.95 c #Conflicts: 556000 | #Constraints: 30097
2484.22/2491.95 c #Conflicts: 557000 | #Constraints: 31097
2484.22/2491.95 c #Conflicts: 558000 | #Constraints: 32097
2484.22/2491.95 c #Conflicts: 559000 | #Constraints: 33097
2484.22/2491.95 c #Conflicts: 560000 | #Constraints: 34097
2484.22/2491.95 c #Conflicts: 561000 | #Constraints: 35097
2484.22/2491.95 c INPROCESSING
2484.22/2491.95 c GARBAGE COLLECT
2484.22/2491.95 c #Conflicts: 562000 | #Constraints: 21309
2484.22/2491.95 c #Conflicts: 563000 | #Constraints: 22309
2484.22/2491.95 c #Conflicts: 564000 | #Constraints: 23309
2484.22/2491.95 c #Conflicts: 565000 | #Constraints: 24309
2484.22/2491.95 c #Conflicts: 566000 | #Constraints: 25309
2484.22/2491.95 c #Conflicts: 567000 | #Constraints: 26309
2484.22/2491.95 c #Conflicts: 568000 | #Constraints: 27309
2484.22/2491.95 c #Conflicts: 569000 | #Constraints: 28309
2484.22/2491.95 c #Conflicts: 570000 | #Constraints: 29309
2484.22/2491.95 c #Conflicts: 571000 | #Constraints: 30309
2484.22/2491.95 c #Conflicts: 572000 | #Constraints: 31309
2484.22/2491.95 c #Conflicts: 573000 | #Constraints: 32309
2484.22/2491.95 c #Conflicts: 574000 | #Constraints: 33309
2824.54/2833.22 c #Conflicts: 575000 | #Constraints: 34309
2824.54/2833.22 c #Conflicts: 576000 | #Constraints: 35309
2824.54/2833.22 c INPROCESSING
2824.54/2833.22 c GARBAGE COLLECT
2824.54/2833.22 c #Conflicts: 577000 | #Constraints: 21308
2824.54/2833.22 c #Conflicts: 578000 | #Constraints: 22308
2824.54/2833.22 c #Conflicts: 579000 | #Constraints: 23308
2824.54/2833.22 c #Conflicts: 580000 | #Constraints: 24308
2824.54/2833.22 c #Conflicts: 581000 | #Constraints: 25308
2824.54/2833.22 c #Conflicts: 582000 | #Constraints: 26308
2824.54/2833.22 c #Conflicts: 583000 | #Constraints: 27308
2824.54/2833.22 c #Conflicts: 584000 | #Constraints: 28308
2824.54/2833.22 c #Conflicts: 585000 | #Constraints: 29308
2824.54/2833.22 c #Conflicts: 586000 | #Constraints: 30308
2824.54/2833.22 c #Conflicts: 587000 | #Constraints: 31308
2824.54/2833.22 c #Conflicts: 588000 | #Constraints: 32308
2824.54/2833.22 c #Conflicts: 589000 | #Constraints: 33308
2824.54/2833.22 c #Conflicts: 590000 | #Constraints: 34308
2824.54/2833.22 c #Conflicts: 591000 | #Constraints: 35308
2824.54/2833.22 c INPROCESSING
2824.54/2833.22 c GARBAGE COLLECT
2824.54/2833.22 c #Conflicts: 592000 | #Constraints: 21090
2824.54/2833.22 c #Conflicts: 593000 | #Constraints: 22090
2824.54/2833.22 c #Conflicts: 594000 | #Constraints: 23090
2824.54/2833.22 c #Conflicts: 595000 | #Constraints: 24090
2824.54/2833.22 c #Conflicts: 596000 | #Constraints: 25090
2824.54/2833.22 c #Conflicts: 597000 | #Constraints: 26090
2824.54/2833.22 c #Conflicts: 598000 | #Constraints: 27090
2824.54/2833.22 c #Conflicts: 599000 | #Constraints: 28090
2824.54/2833.22 c #Conflicts: 600000 | #Constraints: 29090
2824.54/2833.22 c #Conflicts: 601000 | #Constraints: 30090
2824.54/2833.22 c #Conflicts: 602000 | #Constraints: 31090
2824.54/2833.22 c #Conflicts: 603000 | #Constraints: 32090
2824.54/2833.22 c #Conflicts: 604000 | #Constraints: 33090
2824.54/2833.22 c #Conflicts: 605000 | #Constraints: 34090
2824.54/2833.22 c #Conflicts: 606000 | #Constraints: 35090
2824.54/2833.22 c #Conflicts: 607000 | #Constraints: 36090
2824.54/2833.22 c INPROCESSING
2824.54/2833.22 c GARBAGE COLLECT
2824.54/2833.22 c #Conflicts: 608000 | #Constraints: 21711
2824.54/2833.22 c #Conflicts: 609000 | #Constraints: 22711
2824.54/2833.22 c #Conflicts: 610000 | #Constraints: 23711
2824.54/2833.22 c #Conflicts: 611000 | #Constraints: 24711
2824.54/2833.22 c #Conflicts: 612000 | #Constraints: 25711
2824.54/2833.22 c #Conflicts: 613000 | #Constraints: 26711
2824.54/2833.22 c #Conflicts: 614000 | #Constraints: 27711
2824.54/2833.22 c #Conflicts: 615000 | #Constraints: 28711
2824.54/2833.22 c #Conflicts: 616000 | #Constraints: 29711
2824.54/2833.22 c #Conflicts: 617000 | #Constraints: 30711
2824.54/2833.22 c #Conflicts: 618000 | #Constraints: 31711
2824.54/2833.22 c #Conflicts: 619000 | #Constraints: 32711
2824.54/2833.22 c #Conflicts: 620000 | #Constraints: 33711
2824.54/2833.22 c #Conflicts: 621000 | #Constraints: 34711
2824.54/2833.22 c #Conflicts: 622000 | #Constraints: 35711
2824.54/2833.22 c #Conflicts: 623000 | #Constraints: 36711
2824.54/2833.22 c INPROCESSING
2824.54/2833.22 c GARBAGE COLLECT
2824.54/2833.22 c #Conflicts: 624000 | #Constraints: 22100
2824.54/2833.22 c #Conflicts: 625000 | #Constraints: 23100
2824.54/2833.22 c #Conflicts: 626000 | #Constraints: 24100
2824.54/2833.22 c #Conflicts: 627000 | #Constraints: 25100
2824.54/2833.22 c #Conflicts: 628000 | #Constraints: 26100
2824.54/2833.22 c #Conflicts: 629000 | #Constraints: 27100
2824.54/2833.22 c #Conflicts: 630000 | #Constraints: 28100
2824.54/2833.22 c #Conflicts: 631000 | #Constraints: 29100
2824.54/2833.22 c #Conflicts: 632000 | #Constraints: 30100
2824.54/2833.22 c #Conflicts: 633000 | #Constraints: 31100
2824.54/2833.22 c #Conflicts: 634000 | #Constraints: 32100
2824.54/2833.22 c #Conflicts: 635000 | #Constraints: 33100
2824.54/2833.22 c #Conflicts: 636000 | #Constraints: 34100
2824.54/2833.22 c #Conflicts: 637000 | #Constraints: 35100
2824.54/2833.22 c #Conflicts: 638000 | #Constraints: 36100
2824.54/2833.22 c #Conflicts: 639000 | #Constraints: 37100
2824.54/2833.22 c INPROCESSING
2824.54/2833.22 c GARBAGE COLLECT
2824.54/2833.22 c #Conflicts: 640000 | #Constraints: 22289
2824.54/2833.22 c #Conflicts: 641000 | #Constraints: 23289
2824.54/2833.22 c #Conflicts: 642000 | #Constraints: 24289
2824.54/2833.22 c #Conflicts: 643000 | #Constraints: 25289
2824.54/2833.22 c #Conflicts: 644000 | #Constraints: 26289
2824.54/2833.22 c #Conflicts: 645000 | #Constraints: 27289
2824.54/2833.22 c #Conflicts: 646000 | #Constraints: 28289
2824.54/2833.22 c #Conflicts: 647000 | #Constraints: 29289
2824.54/2833.22 c #Conflicts: 648000 | #Constraints: 30289
2824.54/2833.22 c #Conflicts: 649000 | #Constraints: 31289
2824.54/2833.22 c #Conflicts: 650000 | #Constraints: 32289
3222.88/3232.78 c #Conflicts: 651000 | #Constraints: 33289
3222.88/3232.78 c #Conflicts: 652000 | #Constraints: 34289
3222.88/3232.78 c #Conflicts: 653000 | #Constraints: 35289
3222.88/3232.78 c #Conflicts: 654000 | #Constraints: 36289
3222.88/3232.78 c #Conflicts: 655000 | #Constraints: 37289
3222.88/3232.78 c INPROCESSING
3222.88/3232.78 c GARBAGE COLLECT
3222.88/3232.78 c #Conflicts: 656000 | #Constraints: 22303
3222.88/3232.78 c #Conflicts: 657000 | #Constraints: 23303
3222.88/3232.78 c #Conflicts: 658000 | #Constraints: 24303
3222.88/3232.78 c #Conflicts: 659000 | #Constraints: 25303
3222.88/3232.78 c #Conflicts: 660000 | #Constraints: 26303
3222.88/3232.78 c #Conflicts: 661000 | #Constraints: 27303
3222.88/3232.78 c #Conflicts: 662000 | #Constraints: 28303
3222.88/3232.78 c #Conflicts: 663000 | #Constraints: 29303
3222.88/3232.78 c #Conflicts: 664000 | #Constraints: 30303
3222.88/3232.78 c #Conflicts: 665000 | #Constraints: 31303
3222.88/3232.78 c #Conflicts: 666000 | #Constraints: 32303
3222.88/3232.78 c #Conflicts: 667000 | #Constraints: 33303
3222.88/3232.78 c #Conflicts: 668000 | #Constraints: 34303
3222.88/3232.78 c #Conflicts: 669000 | #Constraints: 35303
3222.88/3232.78 c #Conflicts: 670000 | #Constraints: 36303
3222.88/3232.78 c #Conflicts: 671000 | #Constraints: 37303
3222.88/3232.78 c INPROCESSING
3222.88/3232.78 c GARBAGE COLLECT
3222.88/3232.78 c #Conflicts: 672000 | #Constraints: 22110
3222.88/3232.78 c #Conflicts: 673000 | #Constraints: 23110
3222.88/3232.78 c #Conflicts: 674000 | #Constraints: 24110
3222.88/3232.78 c #Conflicts: 675000 | #Constraints: 25110
3222.88/3232.78 c #Conflicts: 676000 | #Constraints: 26110
3222.88/3232.78 c #Conflicts: 677000 | #Constraints: 27110
3222.88/3232.78 c #Conflicts: 678000 | #Constraints: 28110
3222.88/3232.78 c #Conflicts: 679000 | #Constraints: 29110
3222.88/3232.78 c #Conflicts: 680000 | #Constraints: 30110
3222.88/3232.78 c #Conflicts: 681000 | #Constraints: 31110
3222.88/3232.78 c #Conflicts: 682000 | #Constraints: 32110
3222.88/3232.78 c #Conflicts: 683000 | #Constraints: 33110
3222.88/3232.78 c #Conflicts: 684000 | #Constraints: 34110
3222.88/3232.78 c #Conflicts: 685000 | #Constraints: 35110
3222.88/3232.78 c #Conflicts: 686000 | #Constraints: 36110
3222.88/3232.78 c #Conflicts: 687000 | #Constraints: 37110
3222.88/3232.78 c #Conflicts: 688000 | #Constraints: 38110
3222.88/3232.78 c INPROCESSING
3222.88/3232.78 c GARBAGE COLLECT
3222.88/3232.78 c #Conflicts: 689000 | #Constraints: 22736
3222.88/3232.78 c #Conflicts: 690000 | #Constraints: 23736
3222.88/3232.78 c #Conflicts: 691000 | #Constraints: 24736
3222.88/3232.78 c #Conflicts: 692000 | #Constraints: 25736
3222.88/3232.78 c #Conflicts: 693000 | #Constraints: 26736
3222.88/3232.78 c #Conflicts: 694000 | #Constraints: 27736
3222.88/3232.78 c #Conflicts: 695000 | #Constraints: 28736
3222.88/3232.78 c #Conflicts: 696000 | #Constraints: 29736
3222.88/3232.78 c #Conflicts: 697000 | #Constraints: 30736
3222.88/3232.78 c #Conflicts: 698000 | #Constraints: 31736
3222.88/3232.78 c #Conflicts: 699000 | #Constraints: 32736
3222.88/3232.78 c #Conflicts: 700000 | #Constraints: 33736
3222.88/3232.78 c #Conflicts: 701000 | #Constraints: 34736
3222.88/3232.78 c #Conflicts: 702000 | #Constraints: 35736
3222.88/3232.78 c #Conflicts: 703000 | #Constraints: 36736
3222.88/3232.78 c #Conflicts: 704000 | #Constraints: 37736
3222.88/3232.78 c #Conflicts: 705000 | #Constraints: 38736
3222.88/3232.78 c INPROCESSING
3222.88/3232.78 c GARBAGE COLLECT
3222.88/3232.78 c #Conflicts: 706000 | #Constraints: 23135
3222.88/3232.78 c #Conflicts: 707000 | #Constraints: 24135
3222.88/3232.78 c #Conflicts: 708000 | #Constraints: 25135
3222.88/3232.78 c #Conflicts: 709000 | #Constraints: 26135
3222.88/3232.78 c #Conflicts: 710000 | #Constraints: 27135
3222.88/3232.78 c #Conflicts: 711000 | #Constraints: 28135
3222.88/3232.78 c #Conflicts: 712000 | #Constraints: 29135
3222.88/3232.78 c #Conflicts: 713000 | #Constraints: 30135
3222.88/3232.78 c #Conflicts: 714000 | #Constraints: 31135
3222.88/3232.78 c #Conflicts: 715000 | #Constraints: 32135
3222.88/3232.78 c #Conflicts: 716000 | #Constraints: 33135
3222.88/3232.78 c #Conflicts: 717000 | #Constraints: 34135
3222.88/3232.78 c #Conflicts: 718000 | #Constraints: 35135
3222.88/3232.78 c #Conflicts: 719000 | #Constraints: 36135
3222.88/3232.78 c #Conflicts: 720000 | #Constraints: 37135
3222.88/3232.78 c #Conflicts: 721000 | #Constraints: 38135
3222.88/3232.78 c #Conflicts: 722000 | #Constraints: 39135
3222.88/3232.78 c INPROCESSING
3222.88/3232.78 c GARBAGE COLLECT
3222.88/3232.78 c #Conflicts: 723000 | #Constraints: 23334
3222.88/3232.78 c #Conflicts: 724000 | #Constraints: 24334
3222.88/3232.78 c #Conflicts: 725000 | #Constraints: 25334
3222.88/3232.78 c #Conflicts: 726000 | #Constraints: 26334
3600.09/3611.00 c #Conflicts: 727000 | #Constraints: 27334
3600.09/3611.00 c #Conflicts: 728000 | #Constraints: 28334
3600.09/3611.00 c #Conflicts: 729000 | #Constraints: 29334
3600.09/3611.00 c #Conflicts: 730000 | #Constraints: 30334
3600.09/3611.00 c #Conflicts: 731000 | #Constraints: 31334
3600.09/3611.00 c #Conflicts: 732000 | #Constraints: 32334
3600.09/3611.00 c #Conflicts: 733000 | #Constraints: 33334
3600.09/3611.00 c #Conflicts: 734000 | #Constraints: 34334
3600.09/3611.00 c #Conflicts: 735000 | #Constraints: 35334
3600.09/3611.00 c #Conflicts: 736000 | #Constraints: 36334
3600.09/3611.00 c #Conflicts: 737000 | #Constraints: 37334
3600.09/3611.00 c #Conflicts: 738000 | #Constraints: 38334
3600.09/3611.00 c #Conflicts: 739000 | #Constraints: 39334
3600.09/3611.00 c INPROCESSING
3600.09/3611.00 c GARBAGE COLLECT
3600.09/3611.00 c #Conflicts: 740000 | #Constraints: 23336
3600.09/3611.00 c #Conflicts: 741000 | #Constraints: 24336
3600.09/3611.00 c #Conflicts: 742000 | #Constraints: 25336
3600.09/3611.00 c #Conflicts: 743000 | #Constraints: 26336
3600.09/3611.00 c #Conflicts: 744000 | #Constraints: 27336
3600.09/3611.00 c #Conflicts: 745000 | #Constraints: 28336
3600.09/3611.00 c #Conflicts: 746000 | #Constraints: 29336
3600.09/3611.00 c #Conflicts: 747000 | #Constraints: 30336
3600.09/3611.00 c #Conflicts: 748000 | #Constraints: 31336
3600.09/3611.00 c #Conflicts: 749000 | #Constraints: 32336
3600.09/3611.00 c #Conflicts: 750000 | #Constraints: 33336
3600.09/3611.00 c #Conflicts: 751000 | #Constraints: 34336
3600.09/3611.00 c #Conflicts: 752000 | #Constraints: 35336
3600.09/3611.00 c #Conflicts: 753000 | #Constraints: 36336
3600.09/3611.00 c #Conflicts: 754000 | #Constraints: 37336
3600.09/3611.00 c #Conflicts: 755000 | #Constraints: 38336
3600.09/3611.00 c #Conflicts: 756000 | #Constraints: 39336
3600.09/3611.00 c INPROCESSING
3600.09/3611.00 c GARBAGE COLLECT
3600.09/3611.00 c #Conflicts: 757000 | #Constraints: 23142
3600.09/3611.00 c #Conflicts: 758000 | #Constraints: 24142
3600.09/3611.00 c #Conflicts: 759000 | #Constraints: 25142
3600.09/3611.00 c #Conflicts: 760000 | #Constraints: 26142
3600.09/3611.00 c #Conflicts: 761000 | #Constraints: 27142
3600.09/3611.00 c #Conflicts: 762000 | #Constraints: 28142
3600.09/3611.00 c #Conflicts: 763000 | #Constraints: 29142
3600.09/3611.00 c #Conflicts: 764000 | #Constraints: 30142
3600.09/3611.00 c #Conflicts: 765000 | #Constraints: 31142
3600.09/3611.00 c #Conflicts: 766000 | #Constraints: 32142
3600.09/3611.00 c #Conflicts: 767000 | #Constraints: 33142
3600.09/3611.00 c #Conflicts: 768000 | #Constraints: 34142
3600.09/3611.00 c #Conflicts: 769000 | #Constraints: 35142
3600.09/3611.00 c #Conflicts: 770000 | #Constraints: 36142
3600.09/3611.00 c #Conflicts: 771000 | #Constraints: 37142
3600.09/3611.00 c #Conflicts: 772000 | #Constraints: 38142
3600.09/3611.00 c #Conflicts: 773000 | #Constraints: 39142
3600.09/3611.00 c #Conflicts: 774000 | #Constraints: 40142
3600.09/3611.00 c INPROCESSING
3600.09/3611.00 c GARBAGE COLLECT
3600.09/3611.00 c #Conflicts: 775000 | #Constraints: 23722
3600.09/3611.00 c #Conflicts: 776000 | #Constraints: 24722
3600.09/3611.00 c #Conflicts: 777000 | #Constraints: 25722
3600.09/3611.00 c #Conflicts: 778000 | #Constraints: 26722
3600.09/3611.00 c #Conflicts: 779000 | #Constraints: 27722
3600.09/3611.00 c #Conflicts: 780000 | #Constraints: 28722
3600.09/3611.00 c #Conflicts: 781000 | #Constraints: 29722
3600.09/3611.00 c #Conflicts: 782000 | #Constraints: 30722
3600.09/3611.00 c #Conflicts: 783000 | #Constraints: 31722
3600.09/3611.00 c #Conflicts: 784000 | #Constraints: 32722
3600.09/3611.00 c #Conflicts: 785000 | #Constraints: 33722
3600.09/3611.00 c #Conflicts: 786000 | #Constraints: 34722
3600.09/3611.00 c #Conflicts: 787000 | #Constraints: 35722
3600.09/3611.00 c Program interrupted by user.
3600.09/3611.00 c cpu time 3592.07 s
3600.09/3611.00 c deterministic time 428863283659 4.29e+11
3600.09/3611.00 c optimization time 116.077 s
3600.09/3611.00 c total solve time 3475.99 s
3600.09/3611.00 c core-guided solve time 3475.99 s
3600.09/3611.00 c propagation time 2802.87 s
3600.09/3611.00 c conflict analysis time 561.202 s
3600.09/3611.00 c propagations 73674963
3600.09/3611.00 c resolve steps 3809407
3600.09/3611.00 c decisions 5224802
3600.09/3611.00 c conflicts 787689
3600.09/3611.00 c restarts 1660
3600.09/3611.00 c inprocessing phases 79
3600.09/3611.00 c input clauses 4897
3600.09/3611.00 c input cardinalities 684
3600.09/3611.00 c input general constraints 226
3600.09/3611.00 c input average constraint length 120.68
3600.09/3611.00 c input average constraint degree 52.88
3600.09/3611.00 c learned clauses 92812
3600.09/3611.00 c learned cardinalities 39000
3600.09/3611.00 c learned general constraints 656052
3600.09/3611.00 c learned average constraint length 1142.43
3600.09/3611.00 c learned average constraint degree 367642.22
3600.09/3611.00 c watched constraints 282601
3600.09/3611.00 c counting constraints 373677
3600.09/3611.00 c gcd simplifications 14973
3600.09/3611.00 c detected cardinalities 1214
3600.09/3611.00 c weakened non-implied lits 68614248
3600.09/3611.00 c weakened non-implying lits 5180
3600.09/3611.00 c original variables 1963
3600.09/3611.00 c clausal propagations 29630360
3600.09/3611.00 c cardinality propagations 2460526
3600.09/3611.00 c watched propagations 6939281
3600.09/3611.00 c counting propagations 31779619
3600.09/3611.00 c watch lookups 69159231215
3600.09/3611.00 c watch backjump lookups 67676952611
3600.09/3611.00 c watch checks 258758760949
3600.09/3611.00 c propagation checks 31213200785
3600.09/3611.00 c constraint additions 1896553111
3600.09/3611.00 c trail pops 79685222
3600.09/3611.00 c formula constraints 4000
3600.09/3611.00 c learned constraints 787864
3600.09/3611.00 c bound constraints 350
3600.09/3611.00 c core-guided constraints 1457
3600.09/3611.00 c encountered formula constraints 2699562
3600.09/3611.00 c encountered learned constraints 1673797
3600.09/3611.00 c encountered bound constraints 137
3600.09/3611.00 c encountered core-guided constraints 223600
3600.09/3611.00 c LP total time 0 s
3600.09/3611.00 c LP solve time 0 s
3600.09/3611.00 c LP constraints added 0
3600.09/3611.00 c LP constraints removed 0
3600.09/3611.00 c LP pivots internal 0
3600.09/3611.00 c LP pivots root 0
3600.09/3611.00 c LP calls 0
3600.09/3611.00 c LP optimalities 0
3600.09/3611.00 c LP no pivot count 0
3600.09/3611.00 c LP infeasibilities 0
3600.09/3611.00 c LP valid Farkas constraints 0
3600.09/3611.00 c LP learned Farkas constraints 0
3600.09/3611.00 c LP basis resets 0
3600.09/3611.00 c LP cycling count 0
3600.09/3611.00 c LP singular count 0
3600.09/3611.00 c LP no primal count 0
3600.09/3611.00 c LP no farkas count 0
3600.09/3611.00 c LP other issue count 0
3600.09/3611.00 c LP Gomory cuts 0
3600.09/3611.00 c LP learned cuts 0
3600.09/3611.00 c LP deleted cuts 0
3600.09/3611.00 c LP encountered Gomory constraints 0
3600.09/3611.00 c LP encountered Farkas constraints 0
3600.09/3611.00 c LP encountered learned Farkas constraints 0
3600.09/3611.00 c CG auxiliary variables introduced 1068
3600.09/3611.00 c CG solutions found 1
3600.09/3611.00 c CG cores constructed 194
3600.09/3611.00 c CG core cardinality constraints returned 0
3600.09/3611.00 c CG unit cores 0
3600.09/3611.00 c CG single cores 194
3600.09/3611.00 c CG blocks removed during cardinality reduction 0
3600.09/3611.00 c CG first core best 0
3600.09/3611.00 c CG decision core best 0
3600.09/3611.00 c CG core reduction tie 0
3600.09/3611.00 c CG core degree average 1.00
3600.09/3611.00 c CG core slack average 4.34
3600.09/3611.00 c CG exhausted 0
3600.09/3611.00 c CG exhaust time 17.008 s
3600.09/3611.00 c CG trimmed 13
3600.09/3611.00 c CG trim time 0.011882 s
3600.09/3611.00 c CG minimized 0
3600.09/3611.00 c CG minimize time 0 s
3600.09/3611.00 c CG am1 prop time 0.003165 s
3600.09/3611.00 c CG # am1s reformulated 788
3600.09/3611.00 c CG lower bound derived from am1s 790
3600.09/3611.00 c CG # clausal cores 194
3600.09/3611.00 c CG # cardinality cores 0
3600.09/3611.00 c CG # pb cores 0
3600.09/3611.00 c CG # pb reforms 0
3600.09/3611.00 c CG # cores discarded because of pb reform 0
3600.09/3611.00 d LOWERBOUND 984
3600.09/3611.00 d NCORES 194
3600.09/3611.00 d NPBCORES 0
3600.09/3611.00 d NPBREFORM 0
3600.09/3611.00 d NTRIMMED 13
3600.09/3611.00 d NEXHAUSTED 0
3600.09/3611.00 d NAM1S 788
3600.09/3611.00 d AM1LB 790
3600.09/3611.00 o 1063
3600.09/3611.00 s SATISFIABLE
3600.09/3611.00 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 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 x1090 -x1091 x1092 x1093 x1094 x1095 x1096 x1097 x1098 -x1099 -x1100 x1101 x1102 x1103 x1104 -x1105 x1106 -x1107 -x1108 x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 x1116 x1117 -x1118 x1119 x1120 x1121 x1122 x1123 x1124 -x1125 x1126 -x1127 -x1128 x1129 -x1130 x1131 x1132 x1133 x1134 -x1135 -x1136 -x1137 -x1138 x1139 x1140 -x1141 x1142 x1143 x1144 x1145 x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 x1153 -x1154 -x1155 x1156 x1157 -x1158 -x1159 x1160 x1161 -x1162 -x1163 -x1164 x1165 x1166 x1167 x1168 -x1169 -x1170 -x1171 -x1172 x1173 x1174 -x1175 x1176 x1177 -x1178 x1179 -x1180 x1181 -x1182 x1183 -x1184 -x1185 -x1186 x1187 x1188 x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 x1197 x1198 x1199 x1200 -x1201 x1202 -x1203 x1204 x1205 x1206 -x1207 -x1208 x1209 -x1210 -x1211 x1212 x1213 x1214 x1215 x1216 -x1217 x1218 x1219 x1220 -x1221 x1222 -x1223 -x1224 x1225 x1226 -x1227 x1228 -x1229 x1230 -x1231 x1232 x1233 -x1234 x1235 -x1236 -x1237 x1238 -x1239 x1240 x1241 -x1242 x1243 -x1244 x1245 -x1246 -x1247 x1248 x1249 x1250 x1251 x1252 -x1253 -x1254 x1255 x1256 x1257 x1258 x1259 x1260 x1261 x1262 x1263 x1264 -x1265 -x1266 -x1267 -x1268 x1269 x1270 -x1271 -x1272 x1273 x1274 -x1275 -x1276 -x1277 x1278 x1279 x1280 -x1281 x1282 x1283 -x1284 x1285 x1286 x1287 -x1288 x1289 x1290 -x1291 -x1292 x1293 x1294 x1295 x1296 x1297 x1298 x1299 -x1300 x1301 x1302 -x1303 -x1304 x1305 -x1306 x1307 -x1308 x1309 x1310 -x1311 x1312 x1313 -x1314 x1315 x1316 x1317 x1318 x1319 x1320 x1321 -x1322 -x1323 -x1324 x1325 x1326 -x1327 -x1328 x1329 -x1330 x1331 x1332 -x1333 x1334 -x1335 -x1336 x1337 x1338 x1339 x1340 -x1341 -x1342 -x1343 -x1344 x1345 -x1346 x1347 x1348 x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 x1356 -x1357 x1358 -x1359 -x1360 -x1361 x1362 x1363 -x1364 x1365 x1366 x1367 x1368 -x1369 x1370 -x1371 x1372 x1373 x1374 x1375 x1376 -x1377 x1378 -x1379 -x1380 x1381 x1382 -x1383 x1384 x1385 x1386 -x1387 -x1388 -x1389 x1390 x1391 x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398 x1399 -x1400 -x1401 x1402 x1403 -x1404 -x1405 x1406 -x1407 -x1408 -x1409 x1410 -x1411 -x1412 -x1413 x1414 -x1415 x1416 x1417 x1418 x1419 -x1420 x1421 x1422 x1423 -x1424 x1425 x1426 -x1427 -x1428 -x1429 x1430 -x1431 x1432 x1433 x1434 x1435 x1436 -x1437 -x1438 -x1439 x1440 -x1441 x1442 -x1443 x1444 -x1445 -x1446 -x1447 x1448 x1449 x1450 x1451 -x1452 -x1453 x1454 -x1455 x1456 -x1457 x1458 -x1459 -x1460 -x1461 x1462 x1463 x1464 x1465 x1466 x1467 x1468 -x1469 x1470 x1471 x1472 -x1473 x1474 -x1475 x1476 -x1477 x1478 x1479 -x1480 x1481 -x1482 x1483 -x1484 x1485 -x1486 -x1487 x1488 -x1489 x1490 x1491 -x1492 x1493 x1494 x1495 -x1496 x1497 -x1498 -x1499 -x1500 x1501 -x1502 x1503 -x1504 -x1505 x1506 -x1507 -x1508 -x1509 x1510 -x1511 x1512 -x1513 x1514 -x1515 x1516 x1517 x1518 -x1519 x1520 -x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 x1528 -x1529 -x1530 x1531 x1532 -x1533 x1534 x1535 -x1536 -x1537 -x1538 x1539 x1540 x1541 x1542 x1543 x1544 -x1545 x1546 x1547 -x1548 -x1549 x1550 x1551 x1552 x1553 -x1554 x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 -x1562 x1563 -x1564 x1565 x1566 -x1567 x1568 -x1569 -x1570 x1571 x1572 x1573 -x1574 x1575 x1576 -x1577 x1578 x1579 -x1580 x1581 -x1582 -x1583 x1584 -x1585 x1586 x1587 x1588 -x1589 x1590 x1591 x1592 -x1593 x1594 x1595 x1596 -x1597 -x1598 x1599 x1600 x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 -x1609 x1610 -x1611 x1612 x1613 x1614 x1615 x1616 x1617 x1618 x1619 -x1620 x1621 -x1622 -x1623 -x1624 x1625 -x1626 x1627 x1628 -x1629 x1630 -x1631 x1632 -x1633 x1634 -x1635 -x1636 x1637 x1638 -x1639 x1640 x1641 x1642 x1643 -x1644 x1645 x1646 -x1647 -x1648 -x1649 x1650 -x1651 -x1652 x1653 -x1654 x1655 -x1656 -x1657 -x1658 x1659 -x1660 x1661 x1662 -x1663 x1664 -x1665 x1666 x1667 -x1668 -x1669 -x1670 x1671 -x1672 x1673 x1674 -x1675 x1676 x1677 x1678 -x1679 -x1680 x1681 x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 -x1689 x1690 -x1691 -x1692 x1693 -x1694 x1695 -x1696 -x1697 x1698 x1699 x1700 -x1701 x1702 -x1703 -x1704 x1705 x1706 x1707 x1708 x1709 -x1710 x1711 -x1712 x1713 -x1714 x1715 -x1716 x1717 -x1718 -x1719 x1720 x1721 x1722 x1723 -x1724 -x1725 x1726 -x1727 x1728 -x1729 x1730 -x1731 -x1732 -x1733 x1734 x1735 x1736 x1737 x1738 x1739 x1740 x1741 -x1742 -x1743 -x1744 -x1745 x1746 x1747 -x1748 -x1749 -x1750 x1751 -x1752 -x1753 -x1754 x1755 -x1756 x1757 x1758 -x1759 x1760 x1761 x1762 -x1763 -x1764 x1765 x1766 x1767 x1768 x1769 -x1770 x1771 -x1772 x1773 -x1774 -x1775 x1776 -x1777 -x1778 x1779 x1780 x1781 x1782 -x1783 -x1784 x1785 -x1786 x1787 x1788 -x1789 -x1790 -x1791 x1792 -x1793 -x1794 -x1795 x1796 x1797 x1798 x1799 x1800 -x1801 x1802 -x1803 -x1804 -x1805 x1806 -x1807 x1808 x1809 -x1810 x1811 x1812 -x1813 x1814 x1815 -x1816 -x1817 -x1818 x1819 x1820 x1821 -x1822 x1823 -x1824 -x1825 -x1826 x1827 -x1828 -x1829 x1830 -x1831 x1832 x1833 x1834 x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 -x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x1850 x1851 x1852 x1853 x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 x1861 -x1862 x1863 -x1864 x1865 x1866 -x1867 x1868 x1869 x1870 x1871 x1872 -x1873 x1874 x1875 x1876 x1877 x1878 x1879 x1880 x1881 -x1882 -x1883 x1884 x1885 -x1886 x1887 x1888 x1889 -x1890 x1891 -x1892 x1893 x1894 -x1895 -x1896 -x1897 x1898 x1899 -x1900 -x1901 -x1902 x1903 -x1904 x1905 -x1906 -x1907 x1908 -x1909 -x1910 x1911 -x1912 x1913 -x1914 -x1915 x1916 -x1917 x1918 -x1919 x1920 -x1921 x1922 -x1923 x1924 x1925 x1926 -x1927 x1928 x1929 x1930 x1931 -x1932 x1933 -x1934 -x1935 x1936 x1937 -x1938 x1939 x1940 x1941 x1942 -x1943 -x1944 x1945 -x1946 x1947 x1948 x1949 x1950 x1951 x1952 -x1953 x1954 -x1955 x1956 x1957 x1958 -x1959 -x1960 -x1961 -x1962 x1963
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 (60159 MiB free)
memory of node 1: 64465 MiB (58103 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488720-1751340072/watcher-4488720-1751340072 -o /tmp/evaluation-result-4488720-1751340072/solver-4488720-1751340072 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751336454-45260 --watchdog 3760 pb-oll-rs HOME/instance-4488720-1751340072.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=46268, runsolver pid=46265
[startup+0.100061 s]*
/proc/loadavg: 4.12 4.11 4.09 5/263 46269
/proc/meminfo: memFree=121094152/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=23728 memory=12716 CPUtime=0.08 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 1558 0 0 0 6 2 0 0 20 0 1 0 49681741 24297472 3179 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 5932 3179 1344 243 0 2181 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 23728 KiB
Current children cumulated memory: 12716 KiB
[startup+0.205588 s]*
/proc/loadavg: 4.12 4.11 4.09 5/263 46269
/proc/meminfo: memFree=121090120/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=25744 memory=14636 CPUtime=0.18 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 2022 0 0 0 13 5 0 0 20 0 1 0 49681741 26361856 3659 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 6436 3659 1376 243 0 2685 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 25744 KiB
Current children cumulated memory: 14636 KiB
[startup+0.305615 s]*
/proc/loadavg: 4.12 4.11 4.09 5/263 46269
/proc/meminfo: memFree=121090120/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=27688 memory=17836 CPUtime=0.28 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 2808 0 0 0 21 7 0 0 20 0 1 0 49681741 28352512 4459 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 6922 4459 1376 243 0 3171 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 17836 KiB
[startup+0.700182 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 46269
/proc/meminfo: memFree=121082560/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=45656 memory=34252 CPUtime=0.65 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 6417 0 0 0 56 9 0 0 20 0 1 0 49681741 46751744 8563 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 11414 8563 1376 243 0 7663 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 45656 KiB
Current children cumulated memory: 34252 KiB
[startup+1.50017 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 46283
/proc/meminfo: memFree=121383916/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=63340 memory=48868 CPUtime=1.45 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 8546 0 0 0 131 14 0 0 20 0 1 0 49681741 64860160 12217 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 15835 12217 1376 243 0 12084 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 63340 KiB
Current children cumulated memory: 48868 KiB
[startup+3.10534 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 46314
/proc/meminfo: memFree=121320712/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=84364 memory=70080 CPUtime=3.05 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 11796 0 0 0 284 21 0 0 20 0 1 0 49681741 86388736 17520 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 21091 17520 1376 243 0 17340 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 84364 KiB
Current children cumulated memory: 70080 KiB
[startup+6.30015 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 46314
/proc/meminfo: memFree=121232636/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=132504 memory=99640 CPUtime=6.24 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 17156 0 0 0 597 27 0 0 20 0 1 0 49681741 135684096 24910 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 33126 24910 1376 243 0 29375 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 132504 KiB
Current children cumulated memory: 99640 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 46314
/proc/meminfo: memFree=121169904/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=141692 memory=118732 CPUtime=12.61 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 19399 0 0 0 1227 34 0 0 20 0 1 0 49681741 145092608 29683 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 35423 29683 1376 243 0 31672 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 141692 KiB
Current children cumulated memory: 118732 KiB
[startup+25.5001 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 46360
/proc/meminfo: memFree=124524820/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=205772 memory=158600 CPUtime=25.38 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 27319 0 0 0 2487 51 0 0 20 0 1 0 49681741 210710528 39650 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 51443 39650 1376 243 0 47692 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 205772 KiB
Current children cumulated memory: 158600 KiB
[startup+51.1054 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 46360
/proc/meminfo: memFree=124314820/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=227088 memory=199296 CPUtime=50.92 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 33398 0 0 0 5020 72 0 0 20 0 1 0 49681741 232538112 49824 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 56772 49824 1376 243 0 53021 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 227088 KiB
Current children cumulated memory: 199296 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 46363
/proc/meminfo: memFree=124008916/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=313384 memory=242292 CPUtime=101.96 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 39590 0 0 0 10095 101 0 0 20 0 1 0 49681741 320905216 60573 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 78346 60573 1376 243 0 74595 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 313384 KiB
Current children cumulated memory: 242292 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 46370
/proc/meminfo: memFree=123860688/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=362668 memory=295588 CPUtime=161.79 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 48356 0 0 0 16045 134 0 0 20 0 1 0 49681741 371372032 73897 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 90667 73897 1376 243 0 86916 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 362668 KiB
Current children cumulated memory: 295588 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 46372
/proc/meminfo: memFree=123764612/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=366128 memory=306420 CPUtime=221.61 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 49507 0 0 0 22004 157 0 0 20 0 1 0 49681741 374915072 76605 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 91532 76605 1376 243 0 87781 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 366128 KiB
Current children cumulated memory: 306420 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 46377
/proc/meminfo: memFree=123727624/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=371760 memory=324972 CPUtime=281.43 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 51613 0 0 0 27961 182 0 0 20 0 1 0 49681741 380682240 81243 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 92940 81243 1376 243 0 89189 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 371760 KiB
Current children cumulated memory: 324972 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 46379
/proc/meminfo: memFree=123663036/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=461084 memory=363560 CPUtime=341.25 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 56125 0 0 0 33914 211 0 0 20 0 1 0 49681741 472150016 90890 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 115271 90890 1376 243 0 111520 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 461084 KiB
Current children cumulated memory: 363560 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 46381
/proc/meminfo: memFree=123635576/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=461084 memory=383784 CPUtime=401.06 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 56255 0 0 0 39878 228 0 0 20 0 1 0 49681741 472150016 95946 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 115271 95946 1376 243 0 111520 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 461084 KiB
Current children cumulated memory: 383784 KiB
[startup+462.3 s]
/proc/loadavg: 4.61 4.23 4.13 5/264 46383
/proc/meminfo: memFree=123617840/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=462620 memory=388896 CPUtime=460.88 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 56536 0 0 0 45842 246 0 0 20 0 1 0 49681741 473722880 97224 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 115655 97224 1376 243 0 111904 0
Current children cumulated CPU time: 460.88 s
################
# More data... #
################
Current children cumulated memory: 698668 KiB
[startup+2862.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/265 46516
/proc/meminfo: memFree=122586888/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=799840 memory=698668 CPUtime=2853.56 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 92995 0 0 0 284674 682 0 0 20 0 1 0 49681741 819036160 174667 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 199960 174667 1376 243 0 196209 0
Current children cumulated CPU time: 2853.56 s
Current children cumulated vsize: 799840 KiB
Current children cumulated memory: 698668 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 46518
/proc/meminfo: memFree=122578260/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=799840 memory=698668 CPUtime=2913.39 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 93006 0 0 0 290649 690 0 0 20 0 1 0 49681741 819036160 174667 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 199960 174667 1376 243 0 196209 0
Current children cumulated CPU time: 2913.39 s
Current children cumulated vsize: 799840 KiB
Current children cumulated memory: 698668 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 46521
/proc/meminfo: memFree=122590856/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=799840 memory=698796 CPUtime=2973.21 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 93030 0 0 0 296618 703 0 0 20 0 1 0 49681741 819036160 174699 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 199960 174699 1376 243 0 196209 0
Current children cumulated CPU time: 2973.21 s
Current children cumulated vsize: 799840 KiB
Current children cumulated memory: 698796 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/262 46523
/proc/meminfo: memFree=122592132/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=799840 memory=699052 CPUtime=3033.04 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 93101 0 0 0 302589 715 0 0 20 0 1 0 49681741 819036160 174763 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 199960 174763 1376 243 0 196209 0
Current children cumulated CPU time: 3033.04 s
Current children cumulated vsize: 799840 KiB
Current children cumulated memory: 699052 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 46526
/proc/meminfo: memFree=122552196/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=799840 memory=699180 CPUtime=3092.86 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 93110 0 0 0 308560 726 0 0 20 0 1 0 49681741 819036160 174795 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 199960 174795 1376 243 0 196209 0
Current children cumulated CPU time: 3092.86 s
Current children cumulated vsize: 799840 KiB
Current children cumulated memory: 699180 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 46533
/proc/meminfo: memFree=122553940/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=799840 memory=699180 CPUtime=3152.69 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 93132 0 0 0 314534 735 0 0 20 0 1 0 49681741 819036160 174795 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 199960 174795 1376 243 0 196209 0
Current children cumulated CPU time: 3152.69 s
Current children cumulated vsize: 799840 KiB
Current children cumulated memory: 699180 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 46535
/proc/meminfo: memFree=122531620/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=803424 memory=701740 CPUtime=3212.51 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 93752 0 0 0 320508 743 0 0 20 0 1 0 49681741 822706176 175435 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 200856 175435 1376 243 0 197105 0
Current children cumulated CPU time: 3212.51 s
Current children cumulated vsize: 803424 KiB
Current children cumulated memory: 701740 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 46540
/proc/meminfo: memFree=122518220/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=803424 memory=701740 CPUtime=3272.34 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 93759 0 0 0 326482 752 0 0 20 0 1 0 49681741 822706176 175435 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 200856 175435 1376 243 0 197105 0
Current children cumulated CPU time: 3272.34 s
Current children cumulated vsize: 803424 KiB
Current children cumulated memory: 701740 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 46542
/proc/meminfo: memFree=122513768/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=803424 memory=701740 CPUtime=3332.17 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 93760 0 0 0 332456 761 0 0 20 0 1 0 49681741 822706176 175435 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 200856 175435 1376 243 0 197105 0
Current children cumulated CPU time: 3332.17 s
Current children cumulated vsize: 803424 KiB
Current children cumulated memory: 701740 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 46544
/proc/meminfo: memFree=122512068/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=805400 memory=703148 CPUtime=3391.99 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 94128 0 0 0 338426 773 0 0 20 0 1 0 49681741 824729600 175787 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 201350 175787 1376 243 0 197599 0
Current children cumulated CPU time: 3391.99 s
Current children cumulated vsize: 805400 KiB
Current children cumulated memory: 703148 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/265 46547
/proc/meminfo: memFree=122503840/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=805400 memory=705580 CPUtime=3451.81 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 94132 0 0 0 344400 781 0 0 20 0 1 0 49681741 824729600 176395 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 201350 176395 1376 243 0 197599 0
Current children cumulated CPU time: 3451.81 s
Current children cumulated vsize: 805400 KiB
Current children cumulated memory: 705580 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/265 46549
/proc/meminfo: memFree=122477084/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=818016 memory=721876 CPUtime=3511.63 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 96663 0 0 0 350372 791 0 0 20 0 1 0 49681741 837648384 180469 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 204504 180469 1376 243 0 200753 0
Current children cumulated CPU time: 3511.63 s
Current children cumulated vsize: 818016 KiB
Current children cumulated memory: 721876 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 46551
/proc/meminfo: memFree=122471644/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=818016 memory=721876 CPUtime=3571.47 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 96663 0 0 0 356348 799 0 0 20 0 1 0 49681741 837648384 180469 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 204504 180469 1376 243 0 200753 0
Current children cumulated CPU time: 3571.47 s
Current children cumulated vsize: 818016 KiB
Current children cumulated memory: 721876 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.13 4.12 4.09 5/264 46596
/proc/meminfo: memFree=122876440/131249992 swapFree=33010160/33010684
[pid=46268] ppid=46265 vsize=818016 memory=721876 CPUtime=3600.09 cores=5,7
/proc/46268/stat : 46268 (pb-oll-rs) R 46265 46268 45247 0 -1 4194304 96663 0 0 0 359207 802 0 0 20 0 1 0 49681741 837648384 180469 18446744073709551615 4218880 5211445 140733219078768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 6017024 140733219080604 140733219080681 140733219080681 140733219086283 0
/proc/46268/statm: 204504 180469 1376 243 0 200753 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 818016 KiB
Current children cumulated memory: 721876 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.02 s]
# the end of solver process 46268 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.08 s, system=8.03715 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.02
CPU time (s): 3600.11
CPU user time (s): 3592.08
CPU system time (s): 8.03715
CPU usage (%): 99.6978
Max. virtual memory (cumulated for all children) (KiB): 818016
Max. memory (cumulated for all children) (KiB): 721876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.08
system time used= 8.03715
maximum resident set size= 722132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96678
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= 276
involuntary context switches= 20414
# summary of solver processes directly reported to runsolver:
# pid: 46268
# total CPU time (s): 3600.11
# total CPU user time (s): 3592.08
# total CPU system time (s): 8.03715
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.8121 second user time and 15.5901 second system time
The end
Begin job on nodeC035 at 2025-07-01 05:21:12
IDJOB=4488720
IDBENCH=147530
IDSOLVER=3345
FILE ID=nodeC035/4488720-1751340072
RUNJOBID= nodeC035-1751336454-45260
SLURM_JOB_ID= 9594384
Free space on /tmp= 433056 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4488720-1751340072/watcher-4488720-1751340072 -o /tmp/evaluation-result-4488720-1751340072/solver-4488720-1751340072 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751336454-45260 --watchdog 3760 pb-oll-rs HOME/instance-4488720-1751340072.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2f43827d921579f008f60b037bb7dde7
RANDOM SEED=1991011252
nodeC035 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.740
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.51
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.719
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.51
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 : 3603.227
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.51
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.877
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.51
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.779
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.449
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.130
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.748
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 121101612 kB
MemAvailable: 125806632 kB
Buffers: 1840 kB
Cached: 5457964 kB
SwapCached: 8 kB
Active: 4249244 kB
Inactive: 5178276 kB
Active(anon): 3974148 kB
Inactive(anon): 11616 kB
Active(file): 275096 kB
Inactive(file): 5166660 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3608 kB
Writeback: 0 kB
AnonPages: 3968232 kB
Mapped: 107120 kB
Shmem: 18048 kB
KReclaimable: 205008 kB
Slab: 294396 kB
SReclaimable: 205008 kB
SUnreclaim: 89388 kB
KernelStack: 4304 kB
PageTables: 10952 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 4600436 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3381248 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433056 MiB
End job on nodeC035 at 2025-07-01 06:21:23