0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.01 c [STEP] solving
0.00/0.01 c #variables 1968 #constraints 4000
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= 0 @ 0.008853
0.00/0.01 c stratification level: 0
0.00/0.07 c bounds - >= 794 @ 0.015137
0.00/0.07 c bounds - >= 795 @ 0.018101
0.00/0.07 c bounds - >= 796 @ 0.018331
0.00/0.07 c bounds - >= 797 @ 0.018552
0.00/0.07 c bounds - >= 798 @ 0.01879
0.00/0.07 c bounds - >= 799 @ 0.018851
0.00/0.07 c bounds - >= 800 @ 0.018851
0.00/0.07 c bounds - >= 801 @ 0.018851
0.00/0.07 c bounds - >= 802 @ 0.018949
0.00/0.07 c bounds - >= 803 @ 0.019224
0.00/0.07 c bounds - >= 804 @ 0.019508
0.00/0.07 c bounds - >= 805 @ 0.019741
0.00/0.07 c bounds - >= 806 @ 0.019979
0.00/0.07 c bounds - >= 807 @ 0.020258
0.00/0.07 c bounds - >= 808 @ 0.020531
0.00/0.07 c bounds - >= 809 @ 0.020818
0.00/0.07 c bounds - >= 810 @ 0.021099
0.00/0.07 c bounds - >= 811 @ 0.021376
0.00/0.07 c bounds - >= 812 @ 0.021658
0.00/0.07 c bounds - >= 813 @ 0.021933
0.00/0.07 c bounds - >= 814 @ 0.022207
0.00/0.07 c bounds - >= 815 @ 0.02251
0.00/0.07 c bounds - >= 816 @ 0.022812
0.00/0.07 c bounds - >= 817 @ 0.023103
0.00/0.07 c bounds - >= 818 @ 0.023391
0.00/0.07 c bounds - >= 819 @ 0.023676
0.00/0.07 c bounds - >= 820 @ 0.023832
0.00/0.07 c bounds - >= 821 @ 0.023832
0.00/0.07 c bounds - >= 822 @ 0.023832
0.00/0.07 c bounds - >= 823 @ 0.023931
0.00/0.07 c bounds - >= 824 @ 0.024239
0.00/0.07 c bounds - >= 825 @ 0.024554
0.00/0.07 c bounds - >= 826 @ 0.024821
0.00/0.07 c bounds - >= 827 @ 0.025124
0.00/0.07 c bounds - >= 828 @ 0.025443
0.00/0.07 c bounds - >= 829 @ 0.025769
0.00/0.07 c bounds - >= 830 @ 0.02583
0.00/0.07 c bounds - >= 831 @ 0.02583
0.00/0.07 c bounds - >= 832 @ 0.02583
0.00/0.07 c bounds - >= 833 @ 0.025837
0.00/0.07 c bounds - >= 834 @ 0.025837
0.00/0.07 c bounds - >= 835 @ 0.025837
0.00/0.07 c bounds - >= 836 @ 0.025842
0.00/0.07 c bounds - >= 837 @ 0.025842
0.00/0.07 c bounds - >= 838 @ 0.025842
0.00/0.07 c bounds - >= 839 @ 0.025848
0.00/0.07 c bounds - >= 840 @ 0.025848
0.00/0.07 c bounds - >= 841 @ 0.025848
0.00/0.07 c bounds - >= 842 @ 0.025853
0.00/0.07 c bounds - >= 843 @ 0.025853
0.00/0.07 c bounds - >= 844 @ 0.025853
0.00/0.07 c bounds - >= 845 @ 0.025858
0.00/0.07 c bounds - >= 846 @ 0.025858
0.00/0.07 c bounds - >= 847 @ 0.025858
0.00/0.07 c bounds - >= 848 @ 0.025863
0.00/0.07 c bounds - >= 849 @ 0.025863
0.00/0.07 c bounds - >= 850 @ 0.025863
0.00/0.07 c bounds - >= 851 @ 0.026002
0.00/0.07 c bounds - >= 852 @ 0.026329
0.00/0.07 c bounds - >= 853 @ 0.026652
0.00/0.07 c bounds - >= 854 @ 0.027005
0.00/0.07 c bounds - >= 855 @ 0.027346
0.00/0.07 c bounds - >= 856 @ 0.027688
0.00/0.07 c bounds - >= 857 @ 0.027859
0.00/0.07 c bounds - >= 858 @ 0.027859
0.00/0.07 c bounds - >= 859 @ 0.027859
0.00/0.07 c bounds - >= 860 @ 0.028068
0.00/0.07 c bounds - >= 861 @ 0.028401
0.00/0.07 c bounds - >= 862 @ 0.028733
0.00/0.07 c bounds - >= 863 @ 0.029082
0.00/0.07 c bounds - >= 864 @ 0.029422
0.00/0.07 c bounds - >= 865 @ 0.029756
0.00/0.07 c bounds - >= 866 @ 0.029854
0.00/0.07 c bounds - >= 867 @ 0.029854
0.00/0.07 c bounds - >= 868 @ 0.029854
0.00/0.07 c bounds - >= 869 @ 0.030159
0.00/0.07 c bounds - >= 870 @ 0.030502
0.00/0.07 c bounds - >= 871 @ 0.030857
0.00/0.07 c bounds - >= 872 @ 0.031213
0.00/0.07 c bounds - >= 873 @ 0.031559
0.00/0.07 c bounds - >= 874 @ 0.031907
0.00/0.07 c bounds - >= 875 @ 0.032256
0.00/0.07 c bounds - >= 876 @ 0.032602
0.00/0.07 c bounds - >= 877 @ 0.032941
0.00/0.07 c bounds - >= 878 @ 0.033284
0.00/0.07 c bounds - >= 879 @ 0.033627
0.00/0.07 c bounds - >= 880 @ 0.03384
0.00/0.07 c bounds - >= 881 @ 0.03384
0.00/0.07 c bounds - >= 882 @ 0.03384
0.00/0.07 c bounds - >= 883 @ 0.033843
0.00/0.07 c bounds - >= 884 @ 0.033843
0.00/0.07 c bounds - >= 885 @ 0.033843
0.00/0.07 c bounds - >= 886 @ 0.033847
0.00/0.07 c bounds - >= 887 @ 0.033847
0.00/0.07 c bounds - >= 888 @ 0.033946
0.00/0.07 c bounds - >= 889 @ 0.034291
0.00/0.07 c bounds - >= 890 @ 0.03465
0.00/0.07 c bounds - >= 891 @ 0.034937
0.00/0.07 c bounds - >= 892 @ 0.035279
0.00/0.07 c bounds - >= 893 @ 0.035626
0.00/0.07 c bounds - >= 894 @ 0.03597
0.00/0.07 c bounds - >= 895 @ 0.036337
0.00/0.07 c bounds - >= 896 @ 0.036692
0.00/0.07 c bounds - >= 897 @ 0.037045
0.00/0.07 c bounds - >= 898 @ 0.0374
0.00/0.07 c bounds - >= 899 @ 0.037769
0.00/0.07 c bounds - >= 900 @ 0.037834
0.00/0.07 c bounds - >= 901 @ 0.037834
0.00/0.07 c bounds - >= 902 @ 0.037837
0.00/0.07 c bounds - >= 903 @ 0.037837
0.00/0.07 c bounds - >= 904 @ 0.037837
0.00/0.07 c bounds - >= 905 @ 0.037941
0.00/0.07 c bounds - >= 906 @ 0.038305
0.00/0.07 c bounds - >= 907 @ 0.038669
0.00/0.07 c bounds - >= 908 @ 0.038836
0.00/0.07 c bounds - >= 909 @ 0.038836
0.00/0.07 c bounds - >= 910 @ 0.038836
0.00/0.07 c bounds - >= 911 @ 0.039141
0.00/0.07 c bounds - >= 912 @ 0.039515
0.00/0.07 c bounds - >= 913 @ 0.039888
0.00/0.07 c bounds - >= 914 @ 0.040269
0.00/0.07 c bounds - >= 915 @ 0.040659
0.00/0.07 c bounds - >= 916 @ 0.041024
0.00/0.07 c bounds - >= 917 @ 0.04139
0.00/0.07 c bounds - >= 918 @ 0.041821
0.00/0.07 c bounds - >= 919 @ 0.041821
0.00/0.07 c bounds - >= 920 @ 0.041821
0.00/0.07 c bounds - >= 921 @ 0.041829
0.00/0.07 c bounds - >= 922 @ 0.041829
0.00/0.07 c bounds - >= 923 @ 0.041829
0.00/0.07 c bounds - >= 924 @ 0.04215
0.00/0.07 c bounds - >= 925 @ 0.042532
0.00/0.07 c bounds - >= 926 @ 0.04291
0.00/0.07 c bounds - >= 927 @ 0.043304
0.00/0.07 c bounds - >= 928 @ 0.043701
0.00/0.07 c bounds - >= 929 @ 0.044088
0.00/0.07 c bounds - >= 930 @ 0.044484
0.00/0.07 c bounds - >= 931 @ 0.044884
0.00/0.07 c bounds - >= 932 @ 0.04527
0.00/0.07 c bounds - >= 933 @ 0.045658
0.00/0.07 c bounds - >= 934 @ 0.045814
0.00/0.07 c bounds - >= 935 @ 0.045814
0.00/0.08 c bounds - >= 936 @ 0.045917
0.00/0.08 c bounds - >= 937 @ 0.046366
0.00/0.08 c bounds - >= 938 @ 0.046781
0.00/0.08 c bounds - >= 939 @ 0.046813
0.00/0.08 c bounds - >= 940 @ 0.046813
0.00/0.08 c bounds - >= 941 @ 0.046816
0.00/0.08 c bounds - >= 942 @ 0.046816
0.00/0.08 c bounds - >= 943 @ 0.046917
0.00/0.08 c bounds - >= 944 @ 0.047341
0.00/0.08 c bounds - >= 945 @ 0.047751
0.00/0.08 c bounds - >= 946 @ 0.047814
0.00/0.08 c bounds - >= 947 @ 0.047814
0.00/0.08 c bounds - >= 948 @ 0.047817
0.00/0.08 c bounds - >= 949 @ 0.047817
0.00/0.08 c bounds - >= 950 @ 0.047961
0.00/0.08 c bounds - >= 951 @ 0.048415
0.00/0.08 c bounds - >= 952 @ 0.048895
0.00/0.08 c bounds - >= 953 @ 0.049346
0.00/0.08 c bounds - >= 954 @ 0.049799
0.00/0.08 c bounds - >= 955 @ 0.050273
0.00/0.08 c bounds - >= 956 @ 0.050781
0.00/0.08 c bounds - >= 957 @ 0.051244
0.00/0.08 c bounds - >= 958 @ 0.051742
0.00/0.08 c bounds - >= 959 @ 0.051803
0.00/0.08 c bounds - >= 960 @ 0.051803
0.00/0.08 c bounds - >= 961 @ 0.051805
0.00/0.08 c bounds - >= 962 @ 0.051909
0.00/0.08 c bounds - >= 963 @ 0.05248
0.00/0.08 c bounds - >= 964 @ 0.052803
0.00/0.08 c finalizing WCE round: reformulating cores
69.82/70.09 c #Conflicts: 1000 | #Constraints: 6328
69.82/70.09 c #Conflicts: 2000 | #Constraints: 7397
69.82/70.09 c INPROCESSING
69.82/70.09 c GARBAGE COLLECT
69.82/70.09 c #Conflicts: 3000 | #Constraints: 7130
69.82/70.09 c #Conflicts: 4000 | #Constraints: 8148
69.82/70.09 c INPROCESSING
69.82/70.09 c GARBAGE COLLECT
69.82/70.09 c #Conflicts: 5000 | #Constraints: 7537
69.82/70.09 c #Conflicts: 6000 | #Constraints: 8546
69.82/70.09 c INPROCESSING
69.82/70.09 c GARBAGE COLLECT
69.82/70.09 c #Conflicts: 7000 | #Constraints: 7549
69.82/70.09 c #Conflicts: 8000 | #Constraints: 8554
69.82/70.09 c #Conflicts: 9000 | #Constraints: 9557
69.82/70.09 c INPROCESSING
69.82/70.09 c GARBAGE COLLECT
69.82/70.09 c #Conflicts: 10000 | #Constraints: 8282
69.82/70.09 c #Conflicts: 11000 | #Constraints: 9284
69.82/70.09 c #Conflicts: 12000 | #Constraints: 10286
69.82/70.09 c INPROCESSING
69.82/70.09 c GARBAGE COLLECT
69.82/70.09 c #Conflicts: 13000 | #Constraints: 8738
69.82/70.09 c #Conflicts: 14000 | #Constraints: 9740
69.82/70.09 c #Conflicts: 15000 | #Constraints: 10742
69.82/70.09 c INPROCESSING
69.82/70.09 c GARBAGE COLLECT
69.82/70.09 c #Conflicts: 16000 | #Constraints: 8969
69.82/70.09 c #Conflicts: 17000 | #Constraints: 9971
69.82/70.09 c #Conflicts: 18000 | #Constraints: 10973
69.82/70.09 c INPROCESSING
69.82/70.09 c GARBAGE COLLECT
69.82/70.09 c #Conflicts: 19000 | #Constraints: 9002
69.82/70.09 c #Conflicts: 20000 | #Constraints: 10004
69.82/70.09 c #Conflicts: 21000 | #Constraints: 11006
69.82/70.09 c INPROCESSING
69.82/70.09 c GARBAGE COLLECT
69.82/70.09 c #Conflicts: 22000 | #Constraints: 8809
69.82/70.09 c #Conflicts: 23000 | #Constraints: 9818
69.82/70.09 c #Conflicts: 24000 | #Constraints: 10833
69.82/70.09 c #Conflicts: 25000 | #Constraints: 11841
69.82/70.09 c INPROCESSING
69.82/70.09 c GARBAGE COLLECT
69.82/70.09 c #Conflicts: 26000 | #Constraints: 9435
69.82/70.09 c #Conflicts: 27000 | #Constraints: 10444
69.82/70.09 c #Conflicts: 28000 | #Constraints: 11452
69.82/70.09 c #Conflicts: 29000 | #Constraints: 12455
69.82/70.09 c INPROCESSING
69.82/70.09 c GARBAGE COLLECT
69.82/70.09 c #Conflicts: 30000 | #Constraints: 9854
69.82/70.09 c #Conflicts: 31000 | #Constraints: 10858
69.82/70.09 c #Conflicts: 32000 | #Constraints: 11860
69.82/70.09 c #Conflicts: 33000 | #Constraints: 12862
69.82/70.09 c INPROCESSING
69.82/70.09 c GARBAGE COLLECT
69.82/70.09 c #Conflicts: 34000 | #Constraints: 10057
69.82/70.09 c #Conflicts: 35000 | #Constraints: 11059
69.82/70.09 c #Conflicts: 36000 | #Constraints: 12061
69.82/70.09 c #Conflicts: 37000 | #Constraints: 13065
69.82/70.09 c INPROCESSING
69.82/70.09 c GARBAGE COLLECT
69.82/70.09 c #Conflicts: 38000 | #Constraints: 10069
69.82/70.09 c bounds 1058 >= 964 @ 19.0239
69.82/70.09 c bounds 1058 >= 965 @ 19.0409
69.82/70.09 c bounds 1058 >= 966 @ 19.0457
69.82/70.09 c bounds 1058 >= 967 @ 19.0679
69.82/70.09 c bounds 1058 >= 968 @ 19.085
69.82/70.09 c bounds 1058 >= 969 @ 19.1013
69.82/70.09 c bounds 1058 >= 970 @ 19.107
69.82/70.09 c bounds 1058 >= 971 @ 19.1187
69.82/70.09 c bounds 1058 >= 972 @ 19.1273
69.82/70.09 c bounds 1058 >= 973 @ 19.129
69.82/70.09 c bounds 1058 >= 974 @ 19.1334
69.82/70.09 c bounds 1058 >= 975 @ 19.1403
69.82/70.09 c bounds 1058 >= 976 @ 19.1504
69.82/70.09 c bounds 1058 >= 977 @ 19.1586
69.82/70.09 c bounds 1058 >= 978 @ 19.1795
69.82/70.09 c bounds 1058 >= 979 @ 19.216
69.82/70.09 c bounds 1058 >= 980 @ 19.2638
69.82/70.09 c bounds 1058 >= 981 @ 19.4698
69.82/70.09 c bounds 1058 >= 982 @ 19.5271
69.82/70.09 c bounds 1058 >= 983 @ 19.6465
69.82/70.09 c #Conflicts: 39000 | #Constraints: 11369
69.82/70.09 c #Conflicts: 40000 | #Constraints: 12369
69.82/70.09 c #Conflicts: 41000 | #Constraints: 13369
69.82/70.09 c INPROCESSING
69.82/70.09 c GARBAGE COLLECT
69.82/70.09 c #Conflicts: 42000 | #Constraints: 10090
69.82/70.09 c #Conflicts: 43000 | #Constraints: 11090
69.82/70.09 c #Conflicts: 44000 | #Constraints: 12090
69.82/70.09 c #Conflicts: 45000 | #Constraints: 13090
69.82/70.09 c #Conflicts: 46000 | #Constraints: 14090
69.82/70.09 c INPROCESSING
69.82/70.09 c GARBAGE COLLECT
69.82/70.09 c #Conflicts: 47000 | #Constraints: 10677
69.82/70.09 c #Conflicts: 48000 | #Constraints: 11677
69.82/70.09 c #Conflicts: 49000 | #Constraints: 12677
69.82/70.09 c #Conflicts: 50000 | #Constraints: 13677
69.82/70.09 c #Conflicts: 51000 | #Constraints: 14677
69.82/70.09 c INPROCESSING
69.82/70.09 c GARBAGE COLLECT
69.82/70.09 c #Conflicts: 52000 | #Constraints: 11085
69.82/70.09 c #Conflicts: 53000 | #Constraints: 12085
69.82/70.09 c #Conflicts: 54000 | #Constraints: 13085
69.82/70.09 c #Conflicts: 55000 | #Constraints: 14085
69.82/70.09 c #Conflicts: 56000 | #Constraints: 15085
69.82/70.09 c INPROCESSING
69.82/70.09 c GARBAGE COLLECT
69.82/70.09 c #Conflicts: 57000 | #Constraints: 11279
244.16/244.83 c #Conflicts: 58000 | #Constraints: 12279
244.16/244.83 c #Conflicts: 59000 | #Constraints: 13279
244.16/244.83 c #Conflicts: 60000 | #Constraints: 14279
244.16/244.83 c #Conflicts: 61000 | #Constraints: 15279
244.16/244.83 c INPROCESSING
244.16/244.83 c GARBAGE COLLECT
244.16/244.83 c #Conflicts: 62000 | #Constraints: 11296
244.16/244.83 c #Conflicts: 63000 | #Constraints: 12296
244.16/244.83 c #Conflicts: 64000 | #Constraints: 13296
244.16/244.83 c #Conflicts: 65000 | #Constraints: 14296
244.16/244.83 c #Conflicts: 66000 | #Constraints: 15296
244.16/244.83 c INPROCESSING
244.16/244.83 c GARBAGE COLLECT
244.16/244.83 c #Conflicts: 67000 | #Constraints: 11080
244.16/244.83 c #Conflicts: 68000 | #Constraints: 12080
244.16/244.83 c #Conflicts: 69000 | #Constraints: 13080
244.16/244.83 c #Conflicts: 70000 | #Constraints: 14080
244.16/244.83 c #Conflicts: 71000 | #Constraints: 15080
244.16/244.83 c #Conflicts: 72000 | #Constraints: 16080
244.16/244.83 c INPROCESSING
244.16/244.83 c GARBAGE COLLECT
244.16/244.83 c #Conflicts: 73000 | #Constraints: 11689
244.16/244.83 c #Conflicts: 74000 | #Constraints: 12689
244.16/244.83 c #Conflicts: 75000 | #Constraints: 13689
244.16/244.83 c #Conflicts: 76000 | #Constraints: 14689
244.16/244.83 c #Conflicts: 77000 | #Constraints: 15689
244.16/244.83 c #Conflicts: 78000 | #Constraints: 16689
244.16/244.83 c INPROCESSING
244.16/244.83 c GARBAGE COLLECT
244.16/244.83 c #Conflicts: 79000 | #Constraints: 12102
244.16/244.83 c #Conflicts: 80000 | #Constraints: 13102
244.16/244.83 c #Conflicts: 81000 | #Constraints: 14102
244.16/244.83 c #Conflicts: 82000 | #Constraints: 15102
244.16/244.83 c #Conflicts: 83000 | #Constraints: 16102
244.16/244.83 c #Conflicts: 84000 | #Constraints: 17102
244.16/244.83 c INPROCESSING
244.16/244.83 c GARBAGE COLLECT
244.16/244.83 c #Conflicts: 85000 | #Constraints: 12299
244.16/244.83 c #Conflicts: 86000 | #Constraints: 13299
244.16/244.83 c #Conflicts: 87000 | #Constraints: 14299
244.16/244.83 c #Conflicts: 88000 | #Constraints: 15299
244.16/244.83 c #Conflicts: 89000 | #Constraints: 16299
244.16/244.83 c #Conflicts: 90000 | #Constraints: 17299
244.16/244.83 c INPROCESSING
244.16/244.83 c GARBAGE COLLECT
244.16/244.83 c #Conflicts: 91000 | #Constraints: 12295
244.16/244.83 c #Conflicts: 92000 | #Constraints: 13295
244.16/244.83 c #Conflicts: 93000 | #Constraints: 14295
244.16/244.83 c #Conflicts: 94000 | #Constraints: 15295
244.16/244.83 c #Conflicts: 95000 | #Constraints: 16295
244.16/244.83 c #Conflicts: 96000 | #Constraints: 17295
244.16/244.83 c INPROCESSING
244.16/244.83 c GARBAGE COLLECT
244.16/244.83 c #Conflicts: 97000 | #Constraints: 12096
244.16/244.83 c #Conflicts: 98000 | #Constraints: 13096
244.16/244.83 c #Conflicts: 99000 | #Constraints: 14096
244.16/244.83 c #Conflicts: 100000 | #Constraints: 15096
244.16/244.83 c #Conflicts: 101000 | #Constraints: 16096
244.16/244.83 c #Conflicts: 102000 | #Constraints: 17096
244.16/244.83 c #Conflicts: 103000 | #Constraints: 18096
244.16/244.83 c INPROCESSING
244.16/244.83 c GARBAGE COLLECT
244.16/244.83 c #Conflicts: 104000 | #Constraints: 12696
244.16/244.83 c #Conflicts: 105000 | #Constraints: 13696
244.16/244.83 c #Conflicts: 106000 | #Constraints: 14696
244.16/244.83 c #Conflicts: 107000 | #Constraints: 15696
244.16/244.83 c #Conflicts: 108000 | #Constraints: 16696
244.16/244.83 c #Conflicts: 109000 | #Constraints: 17696
244.16/244.83 c #Conflicts: 110000 | #Constraints: 18696
244.16/244.83 c INPROCESSING
244.16/244.83 c GARBAGE COLLECT
244.16/244.83 c #Conflicts: 111000 | #Constraints: 13093
244.16/244.83 c #Conflicts: 112000 | #Constraints: 14093
244.16/244.83 c #Conflicts: 113000 | #Constraints: 15093
244.16/244.83 c #Conflicts: 114000 | #Constraints: 16093
244.16/244.83 c #Conflicts: 115000 | #Constraints: 17093
244.16/244.83 c #Conflicts: 116000 | #Constraints: 18093
244.16/244.83 c #Conflicts: 117000 | #Constraints: 19093
244.16/244.83 c INPROCESSING
244.16/244.83 c GARBAGE COLLECT
244.16/244.83 c #Conflicts: 118000 | #Constraints: 13291
244.16/244.83 c #Conflicts: 119000 | #Constraints: 14291
244.16/244.83 c #Conflicts: 120000 | #Constraints: 15291
244.16/244.83 c #Conflicts: 121000 | #Constraints: 16291
244.16/244.83 c #Conflicts: 122000 | #Constraints: 17291
244.16/244.83 c #Conflicts: 123000 | #Constraints: 18291
244.16/244.83 c #Conflicts: 124000 | #Constraints: 19291
244.16/244.83 c INPROCESSING
244.16/244.83 c GARBAGE COLLECT
244.16/244.83 c #Conflicts: 125000 | #Constraints: 13294
244.16/244.83 c #Conflicts: 126000 | #Constraints: 14294
244.16/244.83 c #Conflicts: 127000 | #Constraints: 15294
244.16/244.83 c #Conflicts: 128000 | #Constraints: 16294
244.16/244.83 c #Conflicts: 129000 | #Constraints: 17294
442.14/443.34 c #Conflicts: 130000 | #Constraints: 18294
442.14/443.34 c #Conflicts: 131000 | #Constraints: 19294
442.14/443.34 c INPROCESSING
442.14/443.34 c GARBAGE COLLECT
442.14/443.34 c #Conflicts: 132000 | #Constraints: 13092
442.14/443.34 c #Conflicts: 133000 | #Constraints: 14092
442.14/443.34 c #Conflicts: 134000 | #Constraints: 15092
442.14/443.34 c #Conflicts: 135000 | #Constraints: 16092
442.14/443.34 c #Conflicts: 136000 | #Constraints: 17092
442.14/443.34 c #Conflicts: 137000 | #Constraints: 18092
442.14/443.34 c #Conflicts: 138000 | #Constraints: 19092
442.14/443.34 c #Conflicts: 139000 | #Constraints: 20092
442.14/443.34 c INPROCESSING
442.14/443.34 c GARBAGE COLLECT
442.14/443.34 c #Conflicts: 140000 | #Constraints: 13688
442.14/443.34 c #Conflicts: 141000 | #Constraints: 14688
442.14/443.34 c #Conflicts: 142000 | #Constraints: 15688
442.14/443.34 c #Conflicts: 143000 | #Constraints: 16688
442.14/443.34 c #Conflicts: 144000 | #Constraints: 17688
442.14/443.34 c #Conflicts: 145000 | #Constraints: 18688
442.14/443.34 c #Conflicts: 146000 | #Constraints: 19688
442.14/443.34 c #Conflicts: 147000 | #Constraints: 20688
442.14/443.34 c INPROCESSING
442.14/443.34 c GARBAGE COLLECT
442.14/443.34 c #Conflicts: 148000 | #Constraints: 14089
442.14/443.34 c #Conflicts: 149000 | #Constraints: 15089
442.14/443.34 c #Conflicts: 150000 | #Constraints: 16089
442.14/443.34 c #Conflicts: 151000 | #Constraints: 17089
442.14/443.34 c #Conflicts: 152000 | #Constraints: 18089
442.14/443.34 c #Conflicts: 153000 | #Constraints: 19089
442.14/443.34 c #Conflicts: 154000 | #Constraints: 20089
442.14/443.34 c #Conflicts: 155000 | #Constraints: 21089
442.14/443.34 c INPROCESSING
442.14/443.34 c GARBAGE COLLECT
442.14/443.34 c #Conflicts: 156000 | #Constraints: 14288
442.14/443.34 c #Conflicts: 157000 | #Constraints: 15288
442.14/443.34 c #Conflicts: 158000 | #Constraints: 16288
442.14/443.34 c #Conflicts: 159000 | #Constraints: 17288
442.14/443.34 c #Conflicts: 160000 | #Constraints: 18288
442.14/443.34 c #Conflicts: 161000 | #Constraints: 19288
442.14/443.34 c #Conflicts: 162000 | #Constraints: 20288
442.14/443.34 c #Conflicts: 163000 | #Constraints: 21288
442.14/443.34 c INPROCESSING
442.14/443.34 c GARBAGE COLLECT
442.14/443.34 c #Conflicts: 164000 | #Constraints: 14293
442.14/443.34 c #Conflicts: 165000 | #Constraints: 15293
442.14/443.34 c #Conflicts: 166000 | #Constraints: 16293
442.14/443.34 c #Conflicts: 167000 | #Constraints: 17293
442.14/443.34 c #Conflicts: 168000 | #Constraints: 18293
442.14/443.34 c #Conflicts: 169000 | #Constraints: 19293
442.14/443.34 c #Conflicts: 170000 | #Constraints: 20293
442.14/443.34 c #Conflicts: 171000 | #Constraints: 21293
442.14/443.34 c INPROCESSING
442.14/443.34 c GARBAGE COLLECT
442.14/443.34 c #Conflicts: 172000 | #Constraints: 14098
442.14/443.34 c #Conflicts: 173000 | #Constraints: 15098
442.14/443.34 c #Conflicts: 174000 | #Constraints: 16098
442.14/443.34 c #Conflicts: 175000 | #Constraints: 17098
442.14/443.34 c #Conflicts: 176000 | #Constraints: 18098
442.14/443.34 c #Conflicts: 177000 | #Constraints: 19098
442.14/443.34 c #Conflicts: 178000 | #Constraints: 20098
442.14/443.34 c #Conflicts: 179000 | #Constraints: 21098
442.14/443.34 c #Conflicts: 180000 | #Constraints: 22098
442.14/443.34 c INPROCESSING
442.14/443.34 c GARBAGE COLLECT
442.14/443.34 c #Conflicts: 181000 | #Constraints: 14694
442.14/443.34 c #Conflicts: 182000 | #Constraints: 15694
442.14/443.34 c #Conflicts: 183000 | #Constraints: 16694
442.14/443.34 c #Conflicts: 184000 | #Constraints: 17694
442.14/443.34 c #Conflicts: 185000 | #Constraints: 18694
442.14/443.34 c #Conflicts: 186000 | #Constraints: 19694
442.14/443.34 c #Conflicts: 187000 | #Constraints: 20694
442.14/443.34 c #Conflicts: 188000 | #Constraints: 21694
442.14/443.34 c #Conflicts: 189000 | #Constraints: 22694
442.14/443.34 c INPROCESSING
442.14/443.34 c GARBAGE COLLECT
442.14/443.34 c #Conflicts: 190000 | #Constraints: 15106
442.14/443.34 c #Conflicts: 191000 | #Constraints: 16106
442.14/443.34 c #Conflicts: 192000 | #Constraints: 17106
442.14/443.34 c #Conflicts: 193000 | #Constraints: 18106
442.14/443.34 c #Conflicts: 194000 | #Constraints: 19106
442.14/443.34 c #Conflicts: 195000 | #Constraints: 20106
442.14/443.34 c #Conflicts: 196000 | #Constraints: 21106
442.14/443.34 c #Conflicts: 197000 | #Constraints: 22106
442.14/443.34 c #Conflicts: 198000 | #Constraints: 23106
442.14/443.34 c INPROCESSING
442.14/443.34 c GARBAGE COLLECT
442.14/443.34 c #Conflicts: 199000 | #Constraints: 15314
442.14/443.34 c #Conflicts: 200000 | #Constraints: 16314
442.14/443.34 c #Conflicts: 201000 | #Constraints: 17314
442.14/443.34 c #Conflicts: 202000 | #Constraints: 18314
652.41/654.14 c #Conflicts: 203000 | #Constraints: 19314
652.41/654.14 c #Conflicts: 204000 | #Constraints: 20314
652.41/654.14 c #Conflicts: 205000 | #Constraints: 21314
652.41/654.14 c #Conflicts: 206000 | #Constraints: 22314
652.41/654.14 c #Conflicts: 207000 | #Constraints: 23314
652.41/654.14 c INPROCESSING
652.41/654.14 c GARBAGE COLLECT
652.41/654.14 c #Conflicts: 208000 | #Constraints: 15328
652.41/654.14 c #Conflicts: 209000 | #Constraints: 16328
652.41/654.14 c #Conflicts: 210000 | #Constraints: 17328
652.41/654.14 c #Conflicts: 211000 | #Constraints: 18328
652.41/654.14 c #Conflicts: 212000 | #Constraints: 19328
652.41/654.14 c #Conflicts: 213000 | #Constraints: 20328
652.41/654.14 c #Conflicts: 214000 | #Constraints: 21328
652.41/654.14 c #Conflicts: 215000 | #Constraints: 22328
652.41/654.14 c #Conflicts: 216000 | #Constraints: 23328
652.41/654.14 c INPROCESSING
652.41/654.14 c GARBAGE COLLECT
652.41/654.14 c #Conflicts: 217000 | #Constraints: 15138
652.41/654.14 c #Conflicts: 218000 | #Constraints: 16138
652.41/654.14 c #Conflicts: 219000 | #Constraints: 17138
652.41/654.14 c #Conflicts: 220000 | #Constraints: 18138
652.41/654.14 c #Conflicts: 221000 | #Constraints: 19138
652.41/654.14 c #Conflicts: 222000 | #Constraints: 20138
652.41/654.14 c #Conflicts: 223000 | #Constraints: 21138
652.41/654.14 c #Conflicts: 224000 | #Constraints: 22138
652.41/654.14 c #Conflicts: 225000 | #Constraints: 23138
652.41/654.14 c #Conflicts: 226000 | #Constraints: 24138
652.41/654.14 c INPROCESSING
652.41/654.14 c GARBAGE COLLECT
652.41/654.14 c #Conflicts: 227000 | #Constraints: 15743
652.41/654.14 c #Conflicts: 228000 | #Constraints: 16743
652.41/654.14 c #Conflicts: 229000 | #Constraints: 17743
652.41/654.14 c #Conflicts: 230000 | #Constraints: 18743
652.41/654.14 c #Conflicts: 231000 | #Constraints: 19743
652.41/654.14 c #Conflicts: 232000 | #Constraints: 20743
652.41/654.14 c #Conflicts: 233000 | #Constraints: 21743
652.41/654.14 c #Conflicts: 234000 | #Constraints: 22743
652.41/654.14 c #Conflicts: 235000 | #Constraints: 23743
652.41/654.14 c #Conflicts: 236000 | #Constraints: 24743
652.41/654.14 c INPROCESSING
652.41/654.14 c GARBAGE COLLECT
652.41/654.14 c #Conflicts: 237000 | #Constraints: 16131
652.41/654.14 c #Conflicts: 238000 | #Constraints: 17131
652.41/654.14 c #Conflicts: 239000 | #Constraints: 18131
652.41/654.14 c #Conflicts: 240000 | #Constraints: 19131
652.41/654.14 c #Conflicts: 241000 | #Constraints: 20131
652.41/654.14 c #Conflicts: 242000 | #Constraints: 21131
652.41/654.14 c #Conflicts: 243000 | #Constraints: 22131
652.41/654.14 c #Conflicts: 244000 | #Constraints: 23131
652.41/654.14 c #Conflicts: 245000 | #Constraints: 24131
652.41/654.14 c #Conflicts: 246000 | #Constraints: 25131
652.41/654.14 c INPROCESSING
652.41/654.14 c GARBAGE COLLECT
652.41/654.14 c #Conflicts: 247000 | #Constraints: 16327
652.41/654.14 c #Conflicts: 248000 | #Constraints: 17327
652.41/654.14 c #Conflicts: 249000 | #Constraints: 18327
652.41/654.14 c #Conflicts: 250000 | #Constraints: 19327
652.41/654.14 c #Conflicts: 251000 | #Constraints: 20327
652.41/654.14 c #Conflicts: 252000 | #Constraints: 21327
652.41/654.14 c #Conflicts: 253000 | #Constraints: 22327
652.41/654.14 c #Conflicts: 254000 | #Constraints: 23327
652.41/654.14 c #Conflicts: 255000 | #Constraints: 24327
652.41/654.14 c #Conflicts: 256000 | #Constraints: 25327
652.41/654.14 c INPROCESSING
652.41/654.14 c GARBAGE COLLECT
652.41/654.14 c #Conflicts: 257000 | #Constraints: 16327
652.41/654.14 c #Conflicts: 258000 | #Constraints: 17327
652.41/654.14 c #Conflicts: 259000 | #Constraints: 18327
652.41/654.14 c #Conflicts: 260000 | #Constraints: 19327
652.41/654.14 c #Conflicts: 261000 | #Constraints: 20327
652.41/654.14 c #Conflicts: 262000 | #Constraints: 21327
652.41/654.14 c #Conflicts: 263000 | #Constraints: 22327
652.41/654.14 c #Conflicts: 264000 | #Constraints: 23327
652.41/654.14 c #Conflicts: 265000 | #Constraints: 24327
652.41/654.14 c #Conflicts: 266000 | #Constraints: 25327
652.41/654.14 c INPROCESSING
652.41/654.14 c GARBAGE COLLECT
652.41/654.14 c #Conflicts: 267000 | #Constraints: 16125
652.41/654.14 c #Conflicts: 268000 | #Constraints: 17125
652.41/654.14 c #Conflicts: 269000 | #Constraints: 18125
652.41/654.14 c #Conflicts: 270000 | #Constraints: 19125
652.41/654.14 c #Conflicts: 271000 | #Constraints: 20125
652.41/654.14 c #Conflicts: 272000 | #Constraints: 21125
652.41/654.14 c #Conflicts: 273000 | #Constraints: 22125
652.41/654.14 c #Conflicts: 274000 | #Constraints: 23125
652.41/654.14 c #Conflicts: 275000 | #Constraints: 24125
652.41/654.14 c #Conflicts: 276000 | #Constraints: 25125
942.07/944.57 c #Conflicts: 277000 | #Constraints: 26125
942.07/944.57 c INPROCESSING
942.07/944.57 c GARBAGE COLLECT
942.07/944.57 c #Conflicts: 278000 | #Constraints: 16701
942.07/944.57 c #Conflicts: 279000 | #Constraints: 17701
942.07/944.57 c #Conflicts: 280000 | #Constraints: 18701
942.07/944.57 c #Conflicts: 281000 | #Constraints: 19701
942.07/944.57 c #Conflicts: 282000 | #Constraints: 20701
942.07/944.57 c #Conflicts: 283000 | #Constraints: 21701
942.07/944.57 c #Conflicts: 284000 | #Constraints: 22701
942.07/944.57 c #Conflicts: 285000 | #Constraints: 23701
942.07/944.57 c #Conflicts: 286000 | #Constraints: 24701
942.07/944.57 c #Conflicts: 287000 | #Constraints: 25701
942.07/944.57 c #Conflicts: 288000 | #Constraints: 26701
942.07/944.57 c INPROCESSING
942.07/944.57 c GARBAGE COLLECT
942.07/944.57 c #Conflicts: 289000 | #Constraints: 17091
942.07/944.57 c #Conflicts: 290000 | #Constraints: 18091
942.07/944.57 c #Conflicts: 291000 | #Constraints: 19091
942.07/944.57 c #Conflicts: 292000 | #Constraints: 20091
942.07/944.57 c #Conflicts: 293000 | #Constraints: 21091
942.07/944.57 c #Conflicts: 294000 | #Constraints: 22091
942.07/944.57 c #Conflicts: 295000 | #Constraints: 23091
942.07/944.57 c #Conflicts: 296000 | #Constraints: 24091
942.07/944.57 c #Conflicts: 297000 | #Constraints: 25091
942.07/944.57 c #Conflicts: 298000 | #Constraints: 26091
942.07/944.57 c #Conflicts: 299000 | #Constraints: 27091
942.07/944.57 c INPROCESSING
942.07/944.57 c GARBAGE COLLECT
942.07/944.57 c #Conflicts: 300000 | #Constraints: 17296
942.07/944.57 c #Conflicts: 301000 | #Constraints: 18296
942.07/944.57 c #Conflicts: 302000 | #Constraints: 19296
942.07/944.57 c #Conflicts: 303000 | #Constraints: 20296
942.07/944.57 c #Conflicts: 304000 | #Constraints: 21296
942.07/944.57 c #Conflicts: 305000 | #Constraints: 22296
942.07/944.57 c #Conflicts: 306000 | #Constraints: 23296
942.07/944.57 c #Conflicts: 307000 | #Constraints: 24296
942.07/944.57 c #Conflicts: 308000 | #Constraints: 25296
942.07/944.57 c #Conflicts: 309000 | #Constraints: 26296
942.07/944.57 c #Conflicts: 310000 | #Constraints: 27296
942.07/944.57 c INPROCESSING
942.07/944.57 c GARBAGE COLLECT
942.07/944.57 c #Conflicts: 311000 | #Constraints: 17292
942.07/944.57 c #Conflicts: 312000 | #Constraints: 18292
942.07/944.57 c #Conflicts: 313000 | #Constraints: 19292
942.07/944.57 c #Conflicts: 314000 | #Constraints: 20292
942.07/944.57 c #Conflicts: 315000 | #Constraints: 21292
942.07/944.57 c #Conflicts: 316000 | #Constraints: 22292
942.07/944.57 c #Conflicts: 317000 | #Constraints: 23292
942.07/944.57 c #Conflicts: 318000 | #Constraints: 24292
942.07/944.57 c #Conflicts: 319000 | #Constraints: 25292
942.07/944.57 c #Conflicts: 320000 | #Constraints: 26292
942.07/944.57 c #Conflicts: 321000 | #Constraints: 27292
942.07/944.57 c INPROCESSING
942.07/944.57 c GARBAGE COLLECT
942.07/944.57 c #Conflicts: 322000 | #Constraints: 17105
942.07/944.57 c #Conflicts: 323000 | #Constraints: 18105
942.07/944.57 c #Conflicts: 324000 | #Constraints: 19105
942.07/944.57 c #Conflicts: 325000 | #Constraints: 20105
942.07/944.57 c #Conflicts: 326000 | #Constraints: 21105
942.07/944.57 c #Conflicts: 327000 | #Constraints: 22105
942.07/944.57 c #Conflicts: 328000 | #Constraints: 23105
942.07/944.57 c #Conflicts: 329000 | #Constraints: 24105
942.07/944.57 c #Conflicts: 330000 | #Constraints: 25105
942.07/944.57 c #Conflicts: 331000 | #Constraints: 26105
942.07/944.57 c #Conflicts: 332000 | #Constraints: 27105
942.07/944.57 c #Conflicts: 333000 | #Constraints: 28105
942.07/944.57 c INPROCESSING
942.07/944.57 c GARBAGE COLLECT
942.07/944.57 c #Conflicts: 334000 | #Constraints: 17716
942.07/944.57 c #Conflicts: 335000 | #Constraints: 18716
942.07/944.57 c #Conflicts: 336000 | #Constraints: 19716
942.07/944.57 c #Conflicts: 337000 | #Constraints: 20716
942.07/944.57 c #Conflicts: 338000 | #Constraints: 21716
942.07/944.57 c #Conflicts: 339000 | #Constraints: 22716
942.07/944.57 c #Conflicts: 340000 | #Constraints: 23716
942.07/944.57 c #Conflicts: 341000 | #Constraints: 24716
942.07/944.57 c #Conflicts: 342000 | #Constraints: 25716
942.07/944.57 c #Conflicts: 343000 | #Constraints: 26716
942.07/944.57 c #Conflicts: 344000 | #Constraints: 27716
942.07/944.57 c #Conflicts: 345000 | #Constraints: 28716
942.07/944.57 c INPROCESSING
942.07/944.57 c GARBAGE COLLECT
942.07/944.57 c #Conflicts: 346000 | #Constraints: 18110
942.07/944.57 c #Conflicts: 347000 | #Constraints: 19110
942.07/944.57 c #Conflicts: 348000 | #Constraints: 20110
942.07/944.57 c #Conflicts: 349000 | #Constraints: 21110
942.07/944.57 c #Conflicts: 350000 | #Constraints: 22110
942.07/944.57 c #Conflicts: 351000 | #Constraints: 23110
1296.00/1299.51 c #Conflicts: 352000 | #Constraints: 24110
1296.00/1299.51 c #Conflicts: 353000 | #Constraints: 25110
1296.00/1299.51 c #Conflicts: 354000 | #Constraints: 26110
1296.00/1299.51 c #Conflicts: 355000 | #Constraints: 27110
1296.00/1299.51 c #Conflicts: 356000 | #Constraints: 28110
1296.00/1299.51 c #Conflicts: 357000 | #Constraints: 29110
1296.00/1299.51 c INPROCESSING
1296.00/1299.51 c GARBAGE COLLECT
1296.00/1299.51 c #Conflicts: 358000 | #Constraints: 18300
1296.00/1299.51 c #Conflicts: 359000 | #Constraints: 19300
1296.00/1299.51 c #Conflicts: 360000 | #Constraints: 20300
1296.00/1299.51 c #Conflicts: 361000 | #Constraints: 21300
1296.00/1299.51 c #Conflicts: 362000 | #Constraints: 22300
1296.00/1299.51 c #Conflicts: 363000 | #Constraints: 23300
1296.00/1299.51 c #Conflicts: 364000 | #Constraints: 24300
1296.00/1299.51 c #Conflicts: 365000 | #Constraints: 25300
1296.00/1299.51 c #Conflicts: 366000 | #Constraints: 26300
1296.00/1299.51 c #Conflicts: 367000 | #Constraints: 27300
1296.00/1299.51 c #Conflicts: 368000 | #Constraints: 28300
1296.00/1299.51 c #Conflicts: 369000 | #Constraints: 29300
1296.00/1299.51 c INPROCESSING
1296.00/1299.51 c GARBAGE COLLECT
1296.00/1299.51 c #Conflicts: 370000 | #Constraints: 18310
1296.00/1299.51 c #Conflicts: 371000 | #Constraints: 19310
1296.00/1299.51 c #Conflicts: 372000 | #Constraints: 20310
1296.00/1299.51 c #Conflicts: 373000 | #Constraints: 21310
1296.00/1299.51 c #Conflicts: 374000 | #Constraints: 22310
1296.00/1299.51 c #Conflicts: 375000 | #Constraints: 23310
1296.00/1299.51 c #Conflicts: 376000 | #Constraints: 24310
1296.00/1299.51 c #Conflicts: 377000 | #Constraints: 25310
1296.00/1299.51 c #Conflicts: 378000 | #Constraints: 26310
1296.00/1299.51 c #Conflicts: 379000 | #Constraints: 27310
1296.00/1299.51 c #Conflicts: 380000 | #Constraints: 28310
1296.00/1299.51 c #Conflicts: 381000 | #Constraints: 29310
1296.00/1299.51 c INPROCESSING
1296.00/1299.51 c GARBAGE COLLECT
1296.00/1299.51 c #Conflicts: 382000 | #Constraints: 18107
1296.00/1299.51 c #Conflicts: 383000 | #Constraints: 19107
1296.00/1299.51 c #Conflicts: 384000 | #Constraints: 20107
1296.00/1299.51 c #Conflicts: 385000 | #Constraints: 21107
1296.00/1299.51 c #Conflicts: 386000 | #Constraints: 22107
1296.00/1299.51 c #Conflicts: 387000 | #Constraints: 23107
1296.00/1299.51 c #Conflicts: 388000 | #Constraints: 24107
1296.00/1299.51 c #Conflicts: 389000 | #Constraints: 25107
1296.00/1299.51 c #Conflicts: 390000 | #Constraints: 26107
1296.00/1299.51 c #Conflicts: 391000 | #Constraints: 27107
1296.00/1299.51 c #Conflicts: 392000 | #Constraints: 28107
1296.00/1299.51 c #Conflicts: 393000 | #Constraints: 29107
1296.00/1299.51 c #Conflicts: 394000 | #Constraints: 30107
1296.00/1299.51 c INPROCESSING
1296.00/1299.51 c GARBAGE COLLECT
1296.00/1299.51 c #Conflicts: 395000 | #Constraints: 18703
1296.00/1299.51 c #Conflicts: 396000 | #Constraints: 19703
1296.00/1299.51 c #Conflicts: 397000 | #Constraints: 20703
1296.00/1299.51 c #Conflicts: 398000 | #Constraints: 21703
1296.00/1299.51 c #Conflicts: 399000 | #Constraints: 22703
1296.00/1299.51 c #Conflicts: 400000 | #Constraints: 23703
1296.00/1299.51 c #Conflicts: 401000 | #Constraints: 24703
1296.00/1299.51 c #Conflicts: 402000 | #Constraints: 25703
1296.00/1299.51 c #Conflicts: 403000 | #Constraints: 26703
1296.00/1299.51 c #Conflicts: 404000 | #Constraints: 27703
1296.00/1299.51 c #Conflicts: 405000 | #Constraints: 28703
1296.00/1299.51 c #Conflicts: 406000 | #Constraints: 29703
1296.00/1299.51 c #Conflicts: 407000 | #Constraints: 30703
1296.00/1299.51 c INPROCESSING
1296.00/1299.51 c GARBAGE COLLECT
1296.00/1299.51 c #Conflicts: 408000 | #Constraints: 19104
1296.00/1299.51 c #Conflicts: 409000 | #Constraints: 20104
1296.00/1299.51 c #Conflicts: 410000 | #Constraints: 21104
1296.00/1299.51 c #Conflicts: 411000 | #Constraints: 22104
1296.00/1299.51 c #Conflicts: 412000 | #Constraints: 23104
1296.00/1299.51 c #Conflicts: 413000 | #Constraints: 24104
1296.00/1299.51 c #Conflicts: 414000 | #Constraints: 25104
1296.00/1299.51 c #Conflicts: 415000 | #Constraints: 26104
1296.00/1299.51 c #Conflicts: 416000 | #Constraints: 27104
1296.00/1299.51 c #Conflicts: 417000 | #Constraints: 28104
1296.00/1299.51 c #Conflicts: 418000 | #Constraints: 29104
1296.00/1299.51 c #Conflicts: 419000 | #Constraints: 30104
1296.00/1299.51 c #Conflicts: 420000 | #Constraints: 31104
1296.00/1299.51 c INPROCESSING
1296.00/1299.51 c GARBAGE COLLECT
1296.00/1299.51 c #Conflicts: 421000 | #Constraints: 19312
1296.00/1299.51 c #Conflicts: 422000 | #Constraints: 20312
1296.00/1299.51 c #Conflicts: 423000 | #Constraints: 21312
1296.00/1299.51 c #Conflicts: 424000 | #Constraints: 22312
1296.00/1299.51 c #Conflicts: 425000 | #Constraints: 23312
1296.00/1299.51 c #Conflicts: 426000 | #Constraints: 24312
1557.56/1561.81 c #Conflicts: 427000 | #Constraints: 25312
1557.56/1561.81 c #Conflicts: 428000 | #Constraints: 26312
1557.56/1561.81 c #Conflicts: 429000 | #Constraints: 27312
1557.56/1561.81 c #Conflicts: 430000 | #Constraints: 28312
1557.56/1561.81 c #Conflicts: 431000 | #Constraints: 29312
1557.56/1561.81 c #Conflicts: 432000 | #Constraints: 30312
1557.56/1561.81 c #Conflicts: 433000 | #Constraints: 31312
1557.56/1561.81 c INPROCESSING
1557.56/1561.81 c GARBAGE COLLECT
1557.56/1561.81 c #Conflicts: 434000 | #Constraints: 19310
1557.56/1561.81 c #Conflicts: 435000 | #Constraints: 20310
1557.56/1561.81 c #Conflicts: 436000 | #Constraints: 21310
1557.56/1561.81 c #Conflicts: 437000 | #Constraints: 22310
1557.56/1561.81 c #Conflicts: 438000 | #Constraints: 23310
1557.56/1561.81 c #Conflicts: 439000 | #Constraints: 24310
1557.56/1561.81 c #Conflicts: 440000 | #Constraints: 25310
1557.56/1561.81 c #Conflicts: 441000 | #Constraints: 26310
1557.56/1561.81 c #Conflicts: 442000 | #Constraints: 27310
1557.56/1561.81 c #Conflicts: 443000 | #Constraints: 28310
1557.56/1561.81 c #Conflicts: 444000 | #Constraints: 29310
1557.56/1561.81 c #Conflicts: 445000 | #Constraints: 30310
1557.56/1561.81 c #Conflicts: 446000 | #Constraints: 31310
1557.56/1561.81 c INPROCESSING
1557.56/1561.81 c GARBAGE COLLECT
1557.56/1561.81 c #Conflicts: 447000 | #Constraints: 19107
1557.56/1561.81 c #Conflicts: 448000 | #Constraints: 20107
1557.56/1561.81 c #Conflicts: 449000 | #Constraints: 21107
1557.56/1561.81 c #Conflicts: 450000 | #Constraints: 22107
1557.56/1561.81 c #Conflicts: 451000 | #Constraints: 23107
1557.56/1561.81 c #Conflicts: 452000 | #Constraints: 24107
1557.56/1561.81 c #Conflicts: 453000 | #Constraints: 25107
1557.56/1561.81 c #Conflicts: 454000 | #Constraints: 26107
1557.56/1561.81 c #Conflicts: 455000 | #Constraints: 27107
1557.56/1561.81 c #Conflicts: 456000 | #Constraints: 28107
1557.56/1561.81 c #Conflicts: 457000 | #Constraints: 29107
1557.56/1561.81 c #Conflicts: 458000 | #Constraints: 30107
1557.56/1561.81 c #Conflicts: 459000 | #Constraints: 31107
1557.56/1561.81 c #Conflicts: 460000 | #Constraints: 32107
1557.56/1561.81 c INPROCESSING
1557.56/1561.81 c GARBAGE COLLECT
1557.56/1561.81 c #Conflicts: 461000 | #Constraints: 19715
1557.56/1561.81 c #Conflicts: 462000 | #Constraints: 20715
1557.56/1561.81 c #Conflicts: 463000 | #Constraints: 21715
1557.56/1561.81 c #Conflicts: 464000 | #Constraints: 22715
1557.56/1561.81 c #Conflicts: 465000 | #Constraints: 23715
1557.56/1561.81 c #Conflicts: 466000 | #Constraints: 24715
1557.56/1561.81 c #Conflicts: 467000 | #Constraints: 25715
1557.56/1561.81 c #Conflicts: 468000 | #Constraints: 26715
1557.56/1561.81 c #Conflicts: 469000 | #Constraints: 27715
1557.56/1561.81 c #Conflicts: 470000 | #Constraints: 28715
1557.56/1561.81 c #Conflicts: 471000 | #Constraints: 29715
1557.56/1561.81 c #Conflicts: 472000 | #Constraints: 30715
1557.56/1561.81 c #Conflicts: 473000 | #Constraints: 31715
1557.56/1561.81 c #Conflicts: 474000 | #Constraints: 32715
1557.56/1561.81 c INPROCESSING
1557.56/1561.81 c GARBAGE COLLECT
1557.56/1561.81 c #Conflicts: 475000 | #Constraints: 20122
1557.56/1561.81 c #Conflicts: 476000 | #Constraints: 21122
1557.56/1561.81 c #Conflicts: 477000 | #Constraints: 22122
1557.56/1561.81 c #Conflicts: 478000 | #Constraints: 23122
1557.56/1561.81 c #Conflicts: 479000 | #Constraints: 24122
1557.56/1561.81 c #Conflicts: 480000 | #Constraints: 25122
1557.56/1561.81 c #Conflicts: 481000 | #Constraints: 26122
1557.56/1561.81 c #Conflicts: 482000 | #Constraints: 27122
1557.56/1561.81 c #Conflicts: 483000 | #Constraints: 28122
1557.56/1561.81 c #Conflicts: 484000 | #Constraints: 29122
1557.56/1561.81 c #Conflicts: 485000 | #Constraints: 30122
1557.56/1561.81 c #Conflicts: 486000 | #Constraints: 31122
1557.56/1561.81 c #Conflicts: 487000 | #Constraints: 32122
1557.56/1561.81 c #Conflicts: 488000 | #Constraints: 33122
1557.56/1561.81 c INPROCESSING
1557.56/1561.81 c GARBAGE COLLECT
1557.56/1561.81 c #Conflicts: 489000 | #Constraints: 20330
1557.56/1561.81 c #Conflicts: 490000 | #Constraints: 21330
1557.56/1561.81 c #Conflicts: 491000 | #Constraints: 22330
1557.56/1561.81 c #Conflicts: 492000 | #Constraints: 23330
1557.56/1561.81 c #Conflicts: 493000 | #Constraints: 24330
1557.56/1561.81 c #Conflicts: 494000 | #Constraints: 25330
1557.56/1561.81 c #Conflicts: 495000 | #Constraints: 26330
1557.56/1561.81 c #Conflicts: 496000 | #Constraints: 27330
1557.56/1561.81 c #Conflicts: 497000 | #Constraints: 28330
1557.56/1561.81 c #Conflicts: 498000 | #Constraints: 29330
1557.56/1561.81 c #Conflicts: 499000 | #Constraints: 30330
1557.56/1561.81 c #Conflicts: 500000 | #Constraints: 31330
1557.56/1561.81 c #Conflicts: 501000 | #Constraints: 32330
2034.34/2039.85 c #Conflicts: 502000 | #Constraints: 33330
2034.34/2039.85 c INPROCESSING
2034.34/2039.85 c GARBAGE COLLECT
2034.34/2039.85 c #Conflicts: 503000 | #Constraints: 20319
2034.34/2039.85 c #Conflicts: 504000 | #Constraints: 21319
2034.34/2039.85 c #Conflicts: 505000 | #Constraints: 22319
2034.34/2039.85 c #Conflicts: 506000 | #Constraints: 23319
2034.34/2039.85 c #Conflicts: 507000 | #Constraints: 24319
2034.34/2039.85 c #Conflicts: 508000 | #Constraints: 25319
2034.34/2039.85 c #Conflicts: 509000 | #Constraints: 26319
2034.34/2039.85 c #Conflicts: 510000 | #Constraints: 27319
2034.34/2039.85 c #Conflicts: 511000 | #Constraints: 28319
2034.34/2039.85 c #Conflicts: 512000 | #Constraints: 29319
2034.34/2039.85 c #Conflicts: 513000 | #Constraints: 30319
2034.34/2039.85 c #Conflicts: 514000 | #Constraints: 31319
2034.34/2039.85 c #Conflicts: 515000 | #Constraints: 32319
2034.34/2039.85 c #Conflicts: 516000 | #Constraints: 33319
2034.34/2039.85 c INPROCESSING
2034.34/2039.85 c GARBAGE COLLECT
2034.34/2039.85 c #Conflicts: 517000 | #Constraints: 20107
2034.34/2039.85 c #Conflicts: 518000 | #Constraints: 21107
2034.34/2039.85 c #Conflicts: 519000 | #Constraints: 22107
2034.34/2039.85 c #Conflicts: 520000 | #Constraints: 23107
2034.34/2039.85 c #Conflicts: 521000 | #Constraints: 24107
2034.34/2039.85 c #Conflicts: 522000 | #Constraints: 25107
2034.34/2039.85 c #Conflicts: 523000 | #Constraints: 26107
2034.34/2039.85 c #Conflicts: 524000 | #Constraints: 27107
2034.34/2039.85 c #Conflicts: 525000 | #Constraints: 28107
2034.34/2039.85 c #Conflicts: 526000 | #Constraints: 29107
2034.34/2039.85 c #Conflicts: 527000 | #Constraints: 30107
2034.34/2039.85 c #Conflicts: 528000 | #Constraints: 31107
2034.34/2039.85 c #Conflicts: 529000 | #Constraints: 32107
2034.34/2039.85 c #Conflicts: 530000 | #Constraints: 33107
2034.34/2039.85 c #Conflicts: 531000 | #Constraints: 34107
2034.34/2039.85 c INPROCESSING
2034.34/2039.85 c GARBAGE COLLECT
2034.34/2039.85 c #Conflicts: 532000 | #Constraints: 20722
2034.34/2039.85 c #Conflicts: 533000 | #Constraints: 21722
2034.34/2039.85 c #Conflicts: 534000 | #Constraints: 22722
2034.34/2039.85 c #Conflicts: 535000 | #Constraints: 23722
2034.34/2039.85 c #Conflicts: 536000 | #Constraints: 24722
2034.34/2039.85 c #Conflicts: 537000 | #Constraints: 25722
2034.34/2039.85 c #Conflicts: 538000 | #Constraints: 26722
2034.34/2039.85 c #Conflicts: 539000 | #Constraints: 27722
2034.34/2039.85 c #Conflicts: 540000 | #Constraints: 28722
2034.34/2039.85 c #Conflicts: 541000 | #Constraints: 29722
2034.34/2039.85 c #Conflicts: 542000 | #Constraints: 30722
2034.34/2039.85 c #Conflicts: 543000 | #Constraints: 31722
2034.34/2039.85 c #Conflicts: 544000 | #Constraints: 32722
2034.34/2039.85 c #Conflicts: 545000 | #Constraints: 33722
2034.34/2039.85 c #Conflicts: 546000 | #Constraints: 34722
2034.34/2039.85 c INPROCESSING
2034.34/2039.85 c GARBAGE COLLECT
2034.34/2039.85 c #Conflicts: 547000 | #Constraints: 21111
2034.34/2039.85 c #Conflicts: 548000 | #Constraints: 22111
2034.34/2039.85 c #Conflicts: 549000 | #Constraints: 23111
2034.34/2039.85 c #Conflicts: 550000 | #Constraints: 24111
2034.34/2039.85 c #Conflicts: 551000 | #Constraints: 25111
2034.34/2039.85 c #Conflicts: 552000 | #Constraints: 26111
2034.34/2039.85 c #Conflicts: 553000 | #Constraints: 27111
2034.34/2039.85 c #Conflicts: 554000 | #Constraints: 28111
2034.34/2039.85 c #Conflicts: 555000 | #Constraints: 29111
2034.34/2039.85 c #Conflicts: 556000 | #Constraints: 30111
2034.34/2039.85 c #Conflicts: 557000 | #Constraints: 31111
2034.34/2039.85 c #Conflicts: 558000 | #Constraints: 32111
2034.34/2039.85 c #Conflicts: 559000 | #Constraints: 33111
2034.34/2039.85 c #Conflicts: 560000 | #Constraints: 34111
2034.34/2039.85 c #Conflicts: 561000 | #Constraints: 35111
2034.34/2039.85 c INPROCESSING
2034.34/2039.85 c GARBAGE COLLECT
2034.34/2039.85 c #Conflicts: 562000 | #Constraints: 21313
2034.34/2039.85 c #Conflicts: 563000 | #Constraints: 22313
2034.34/2039.85 c #Conflicts: 564000 | #Constraints: 23313
2034.34/2039.85 c #Conflicts: 565000 | #Constraints: 24313
2034.34/2039.85 c #Conflicts: 566000 | #Constraints: 25313
2034.34/2039.85 c #Conflicts: 567000 | #Constraints: 26313
2034.34/2039.85 c #Conflicts: 568000 | #Constraints: 27313
2034.34/2039.85 c #Conflicts: 569000 | #Constraints: 28313
2034.34/2039.85 c #Conflicts: 570000 | #Constraints: 29313
2034.34/2039.85 c #Conflicts: 571000 | #Constraints: 30313
2034.34/2039.85 c #Conflicts: 572000 | #Constraints: 31313
2034.34/2039.85 c #Conflicts: 573000 | #Constraints: 32313
2034.34/2039.85 c #Conflicts: 574000 | #Constraints: 33313
2034.34/2039.85 c #Conflicts: 575000 | #Constraints: 34313
2034.34/2039.85 c #Conflicts: 576000 | #Constraints: 35313
2034.34/2039.85 c INPROCESSING
2034.34/2039.85 c GARBAGE COLLECT
2511.42/2518.13 c #Conflicts: 577000 | #Constraints: 21304
2511.42/2518.13 c #Conflicts: 578000 | #Constraints: 22304
2511.42/2518.13 c #Conflicts: 579000 | #Constraints: 23304
2511.42/2518.13 c #Conflicts: 580000 | #Constraints: 24304
2511.42/2518.13 c #Conflicts: 581000 | #Constraints: 25304
2511.42/2518.13 c #Conflicts: 582000 | #Constraints: 26304
2511.42/2518.13 c #Conflicts: 583000 | #Constraints: 27304
2511.42/2518.13 c #Conflicts: 584000 | #Constraints: 28304
2511.42/2518.13 c #Conflicts: 585000 | #Constraints: 29304
2511.42/2518.13 c #Conflicts: 586000 | #Constraints: 30304
2511.42/2518.13 c #Conflicts: 587000 | #Constraints: 31304
2511.42/2518.13 c #Conflicts: 588000 | #Constraints: 32304
2511.42/2518.13 c #Conflicts: 589000 | #Constraints: 33304
2511.42/2518.13 c #Conflicts: 590000 | #Constraints: 34304
2511.42/2518.13 c #Conflicts: 591000 | #Constraints: 35304
2511.42/2518.13 c INPROCESSING
2511.42/2518.13 c GARBAGE COLLECT
2511.42/2518.13 c #Conflicts: 592000 | #Constraints: 21099
2511.42/2518.13 c #Conflicts: 593000 | #Constraints: 22099
2511.42/2518.13 c #Conflicts: 594000 | #Constraints: 23099
2511.42/2518.13 c #Conflicts: 595000 | #Constraints: 24099
2511.42/2518.13 c #Conflicts: 596000 | #Constraints: 25099
2511.42/2518.13 c #Conflicts: 597000 | #Constraints: 26099
2511.42/2518.13 c #Conflicts: 598000 | #Constraints: 27099
2511.42/2518.13 c #Conflicts: 599000 | #Constraints: 28099
2511.42/2518.13 c #Conflicts: 600000 | #Constraints: 29099
2511.42/2518.13 c #Conflicts: 601000 | #Constraints: 30099
2511.42/2518.13 c #Conflicts: 602000 | #Constraints: 31099
2511.42/2518.13 c #Conflicts: 603000 | #Constraints: 32099
2511.42/2518.13 c #Conflicts: 604000 | #Constraints: 33099
2511.42/2518.13 c #Conflicts: 605000 | #Constraints: 34099
2511.42/2518.13 c #Conflicts: 606000 | #Constraints: 35099
2511.42/2518.13 c #Conflicts: 607000 | #Constraints: 36099
2511.42/2518.13 c INPROCESSING
2511.42/2518.13 c GARBAGE COLLECT
2511.42/2518.13 c #Conflicts: 608000 | #Constraints: 21703
2511.42/2518.13 c #Conflicts: 609000 | #Constraints: 22703
2511.42/2518.13 c #Conflicts: 610000 | #Constraints: 23703
2511.42/2518.13 c #Conflicts: 611000 | #Constraints: 24703
2511.42/2518.13 c #Conflicts: 612000 | #Constraints: 25703
2511.42/2518.13 c #Conflicts: 613000 | #Constraints: 26703
2511.42/2518.13 c #Conflicts: 614000 | #Constraints: 27703
2511.42/2518.13 c #Conflicts: 615000 | #Constraints: 28703
2511.42/2518.13 c #Conflicts: 616000 | #Constraints: 29703
2511.42/2518.13 c #Conflicts: 617000 | #Constraints: 30703
2511.42/2518.13 c #Conflicts: 618000 | #Constraints: 31703
2511.42/2518.13 c #Conflicts: 619000 | #Constraints: 32703
2511.42/2518.13 c #Conflicts: 620000 | #Constraints: 33703
2511.42/2518.13 c #Conflicts: 621000 | #Constraints: 34703
2511.42/2518.13 c #Conflicts: 622000 | #Constraints: 35703
2511.42/2518.13 c #Conflicts: 623000 | #Constraints: 36703
2511.42/2518.13 c INPROCESSING
2511.42/2518.13 c GARBAGE COLLECT
2511.42/2518.13 c #Conflicts: 624000 | #Constraints: 22104
2511.42/2518.13 c #Conflicts: 625000 | #Constraints: 23104
2511.42/2518.13 c #Conflicts: 626000 | #Constraints: 24104
2511.42/2518.13 c #Conflicts: 627000 | #Constraints: 25104
2511.42/2518.13 c #Conflicts: 628000 | #Constraints: 26104
2511.42/2518.13 c #Conflicts: 629000 | #Constraints: 27104
2511.42/2518.13 c #Conflicts: 630000 | #Constraints: 28104
2511.42/2518.13 c #Conflicts: 631000 | #Constraints: 29104
2511.42/2518.13 c #Conflicts: 632000 | #Constraints: 30104
2511.42/2518.13 c #Conflicts: 633000 | #Constraints: 31104
2511.42/2518.13 c #Conflicts: 634000 | #Constraints: 32104
2511.42/2518.13 c #Conflicts: 635000 | #Constraints: 33104
2511.42/2518.13 c #Conflicts: 636000 | #Constraints: 34104
2511.42/2518.13 c #Conflicts: 637000 | #Constraints: 35104
2511.42/2518.13 c #Conflicts: 638000 | #Constraints: 36104
2511.42/2518.13 c #Conflicts: 639000 | #Constraints: 37104
2511.42/2518.13 c INPROCESSING
2511.42/2518.13 c GARBAGE COLLECT
2511.42/2518.13 c #Conflicts: 640000 | #Constraints: 22300
2511.42/2518.13 c #Conflicts: 641000 | #Constraints: 23300
2511.42/2518.13 c #Conflicts: 642000 | #Constraints: 24300
2511.42/2518.13 c #Conflicts: 643000 | #Constraints: 25300
2511.42/2518.13 c #Conflicts: 644000 | #Constraints: 26300
2511.42/2518.13 c #Conflicts: 645000 | #Constraints: 27300
2511.42/2518.13 c #Conflicts: 646000 | #Constraints: 28300
2511.42/2518.13 c #Conflicts: 647000 | #Constraints: 29300
2511.42/2518.13 c #Conflicts: 648000 | #Constraints: 30300
2511.42/2518.13 c #Conflicts: 649000 | #Constraints: 31300
2511.42/2518.13 c #Conflicts: 650000 | #Constraints: 32300
2511.42/2518.13 c #Conflicts: 651000 | #Constraints: 33300
2511.42/2518.13 c #Conflicts: 652000 | #Constraints: 34300
2511.42/2518.13 c #Conflicts: 653000 | #Constraints: 35300
2926.54/2934.37 c #Conflicts: 654000 | #Constraints: 36300
2926.54/2934.37 c #Conflicts: 655000 | #Constraints: 37300
2926.54/2934.37 c INPROCESSING
2926.54/2934.37 c GARBAGE COLLECT
2926.54/2934.37 c #Conflicts: 656000 | #Constraints: 22312
2926.54/2934.37 c #Conflicts: 657000 | #Constraints: 23312
2926.54/2934.37 c #Conflicts: 658000 | #Constraints: 24312
2926.54/2934.37 c #Conflicts: 659000 | #Constraints: 25312
2926.54/2934.37 c #Conflicts: 660000 | #Constraints: 26312
2926.54/2934.37 c #Conflicts: 661000 | #Constraints: 27312
2926.54/2934.37 c #Conflicts: 662000 | #Constraints: 28312
2926.54/2934.37 c #Conflicts: 663000 | #Constraints: 29312
2926.54/2934.37 c #Conflicts: 664000 | #Constraints: 30312
2926.54/2934.37 c #Conflicts: 665000 | #Constraints: 31312
2926.54/2934.37 c #Conflicts: 666000 | #Constraints: 32312
2926.54/2934.37 c #Conflicts: 667000 | #Constraints: 33312
2926.54/2934.37 c #Conflicts: 668000 | #Constraints: 34312
2926.54/2934.37 c #Conflicts: 669000 | #Constraints: 35312
2926.54/2934.37 c #Conflicts: 670000 | #Constraints: 36312
2926.54/2934.37 c #Conflicts: 671000 | #Constraints: 37312
2926.54/2934.37 c INPROCESSING
2926.54/2934.37 c GARBAGE COLLECT
2926.54/2934.37 c #Conflicts: 672000 | #Constraints: 22112
2926.54/2934.37 c #Conflicts: 673000 | #Constraints: 23112
2926.54/2934.37 c #Conflicts: 674000 | #Constraints: 24112
2926.54/2934.37 c #Conflicts: 675000 | #Constraints: 25112
2926.54/2934.37 c #Conflicts: 676000 | #Constraints: 26112
2926.54/2934.37 c #Conflicts: 677000 | #Constraints: 27112
2926.54/2934.37 c #Conflicts: 678000 | #Constraints: 28112
2926.54/2934.37 c #Conflicts: 679000 | #Constraints: 29112
2926.54/2934.37 c #Conflicts: 680000 | #Constraints: 30112
2926.54/2934.37 c #Conflicts: 681000 | #Constraints: 31112
2926.54/2934.37 c #Conflicts: 682000 | #Constraints: 32112
2926.54/2934.37 c #Conflicts: 683000 | #Constraints: 33112
2926.54/2934.37 c #Conflicts: 684000 | #Constraints: 34112
2926.54/2934.37 c #Conflicts: 685000 | #Constraints: 35112
2926.54/2934.37 c #Conflicts: 686000 | #Constraints: 36112
2926.54/2934.37 c #Conflicts: 687000 | #Constraints: 37112
2926.54/2934.37 c #Conflicts: 688000 | #Constraints: 38112
2926.54/2934.37 c INPROCESSING
2926.54/2934.37 c GARBAGE COLLECT
2926.54/2934.37 c #Conflicts: 689000 | #Constraints: 22721
2926.54/2934.37 c #Conflicts: 690000 | #Constraints: 23721
2926.54/2934.37 c #Conflicts: 691000 | #Constraints: 24721
2926.54/2934.37 c #Conflicts: 692000 | #Constraints: 25721
2926.54/2934.37 c #Conflicts: 693000 | #Constraints: 26721
2926.54/2934.37 c #Conflicts: 694000 | #Constraints: 27721
2926.54/2934.37 c #Conflicts: 695000 | #Constraints: 28721
2926.54/2934.37 c #Conflicts: 696000 | #Constraints: 29721
2926.54/2934.37 c #Conflicts: 697000 | #Constraints: 30721
2926.54/2934.37 c #Conflicts: 698000 | #Constraints: 31721
2926.54/2934.37 c #Conflicts: 699000 | #Constraints: 32721
2926.54/2934.37 c #Conflicts: 700000 | #Constraints: 33721
2926.54/2934.37 c #Conflicts: 701000 | #Constraints: 34721
2926.54/2934.37 c #Conflicts: 702000 | #Constraints: 35721
2926.54/2934.37 c #Conflicts: 703000 | #Constraints: 36721
2926.54/2934.37 c #Conflicts: 704000 | #Constraints: 37721
2926.54/2934.37 c #Conflicts: 705000 | #Constraints: 38721
2926.54/2934.37 c INPROCESSING
2926.54/2934.37 c GARBAGE COLLECT
2926.54/2934.37 c #Conflicts: 706000 | #Constraints: 23123
2926.54/2934.37 c #Conflicts: 707000 | #Constraints: 24123
2926.54/2934.37 c #Conflicts: 708000 | #Constraints: 25123
2926.54/2934.37 c #Conflicts: 709000 | #Constraints: 26123
2926.54/2934.37 c #Conflicts: 710000 | #Constraints: 27123
2926.54/2934.37 c #Conflicts: 711000 | #Constraints: 28123
2926.54/2934.37 c #Conflicts: 712000 | #Constraints: 29123
2926.54/2934.37 c #Conflicts: 713000 | #Constraints: 30123
2926.54/2934.37 c #Conflicts: 714000 | #Constraints: 31123
2926.54/2934.37 c #Conflicts: 715000 | #Constraints: 32123
2926.54/2934.37 c #Conflicts: 716000 | #Constraints: 33123
2926.54/2934.37 c #Conflicts: 717000 | #Constraints: 34123
2926.54/2934.37 c #Conflicts: 718000 | #Constraints: 35123
2926.54/2934.37 c #Conflicts: 719000 | #Constraints: 36123
2926.54/2934.37 c #Conflicts: 720000 | #Constraints: 37123
2926.54/2934.37 c #Conflicts: 721000 | #Constraints: 38123
2926.54/2934.37 c #Conflicts: 722000 | #Constraints: 39123
2926.54/2934.37 c INPROCESSING
2926.54/2934.37 c GARBAGE COLLECT
2926.54/2934.37 c #Conflicts: 723000 | #Constraints: 23314
2926.54/2934.37 c #Conflicts: 724000 | #Constraints: 24314
2926.54/2934.37 c #Conflicts: 725000 | #Constraints: 25314
2926.54/2934.37 c #Conflicts: 726000 | #Constraints: 26314
2926.54/2934.37 c #Conflicts: 727000 | #Constraints: 27314
2926.54/2934.37 c #Conflicts: 728000 | #Constraints: 28314
3456.91/3466.33 c #Conflicts: 729000 | #Constraints: 29314
3456.91/3466.33 c #Conflicts: 730000 | #Constraints: 30314
3456.91/3466.33 c #Conflicts: 731000 | #Constraints: 31314
3456.91/3466.33 c #Conflicts: 732000 | #Constraints: 32314
3456.91/3466.33 c #Conflicts: 733000 | #Constraints: 33314
3456.91/3466.33 c #Conflicts: 734000 | #Constraints: 34314
3456.91/3466.33 c #Conflicts: 735000 | #Constraints: 35314
3456.91/3466.33 c #Conflicts: 736000 | #Constraints: 36314
3456.91/3466.33 c #Conflicts: 737000 | #Constraints: 37314
3456.91/3466.33 c #Conflicts: 738000 | #Constraints: 38314
3456.91/3466.33 c #Conflicts: 739000 | #Constraints: 39314
3456.91/3466.33 c INPROCESSING
3456.91/3466.33 c GARBAGE COLLECT
3456.91/3466.33 c #Conflicts: 740000 | #Constraints: 23317
3456.91/3466.33 c #Conflicts: 741000 | #Constraints: 24317
3456.91/3466.33 c #Conflicts: 742000 | #Constraints: 25317
3456.91/3466.33 c #Conflicts: 743000 | #Constraints: 26317
3456.91/3466.33 c #Conflicts: 744000 | #Constraints: 27317
3456.91/3466.33 c #Conflicts: 745000 | #Constraints: 28317
3456.91/3466.33 c #Conflicts: 746000 | #Constraints: 29317
3456.91/3466.33 c #Conflicts: 747000 | #Constraints: 30317
3456.91/3466.33 c #Conflicts: 748000 | #Constraints: 31317
3456.91/3466.33 c #Conflicts: 749000 | #Constraints: 32317
3456.91/3466.33 c #Conflicts: 750000 | #Constraints: 33317
3456.91/3466.33 c #Conflicts: 751000 | #Constraints: 34317
3456.91/3466.33 c #Conflicts: 752000 | #Constraints: 35317
3456.91/3466.33 c #Conflicts: 753000 | #Constraints: 36317
3456.91/3466.33 c #Conflicts: 754000 | #Constraints: 37317
3456.91/3466.33 c #Conflicts: 755000 | #Constraints: 38317
3456.91/3466.33 c #Conflicts: 756000 | #Constraints: 39317
3456.91/3466.33 c INPROCESSING
3456.91/3466.33 c GARBAGE COLLECT
3456.91/3466.33 c #Conflicts: 757000 | #Constraints: 23115
3456.91/3466.33 c #Conflicts: 758000 | #Constraints: 24115
3456.91/3466.33 c #Conflicts: 759000 | #Constraints: 25115
3456.91/3466.33 c #Conflicts: 760000 | #Constraints: 26115
3456.91/3466.33 c #Conflicts: 761000 | #Constraints: 27115
3456.91/3466.33 c #Conflicts: 762000 | #Constraints: 28115
3456.91/3466.33 c #Conflicts: 763000 | #Constraints: 29115
3456.91/3466.33 c #Conflicts: 764000 | #Constraints: 30115
3456.91/3466.33 c #Conflicts: 765000 | #Constraints: 31115
3456.91/3466.33 c #Conflicts: 766000 | #Constraints: 32115
3456.91/3466.33 c #Conflicts: 767000 | #Constraints: 33115
3456.91/3466.33 c #Conflicts: 768000 | #Constraints: 34115
3456.91/3466.33 c #Conflicts: 769000 | #Constraints: 35115
3456.91/3466.33 c #Conflicts: 770000 | #Constraints: 36115
3456.91/3466.33 c #Conflicts: 771000 | #Constraints: 37115
3456.91/3466.33 c #Conflicts: 772000 | #Constraints: 38115
3456.91/3466.33 c #Conflicts: 773000 | #Constraints: 39115
3456.91/3466.33 c #Conflicts: 774000 | #Constraints: 40115
3456.91/3466.33 c INPROCESSING
3456.91/3466.33 c GARBAGE COLLECT
3456.91/3466.33 c #Conflicts: 775000 | #Constraints: 23710
3456.91/3466.33 c #Conflicts: 776000 | #Constraints: 24710
3456.91/3466.33 c #Conflicts: 777000 | #Constraints: 25710
3456.91/3466.33 c #Conflicts: 778000 | #Constraints: 26710
3456.91/3466.33 c #Conflicts: 779000 | #Constraints: 27710
3456.91/3466.33 c #Conflicts: 780000 | #Constraints: 28710
3456.91/3466.33 c #Conflicts: 781000 | #Constraints: 29710
3456.91/3466.33 c #Conflicts: 782000 | #Constraints: 30710
3456.91/3466.33 c #Conflicts: 783000 | #Constraints: 31710
3456.91/3466.33 c #Conflicts: 784000 | #Constraints: 32710
3456.91/3466.33 c #Conflicts: 785000 | #Constraints: 33710
3456.91/3466.33 c #Conflicts: 786000 | #Constraints: 34710
3456.91/3466.33 c #Conflicts: 787000 | #Constraints: 35710
3456.91/3466.33 c #Conflicts: 788000 | #Constraints: 36710
3456.91/3466.33 c #Conflicts: 789000 | #Constraints: 37710
3456.91/3466.33 c #Conflicts: 790000 | #Constraints: 38710
3456.91/3466.33 c #Conflicts: 791000 | #Constraints: 39710
3456.91/3466.33 c #Conflicts: 792000 | #Constraints: 40710
3456.91/3466.33 c INPROCESSING
3456.91/3466.33 c GARBAGE COLLECT
3456.91/3466.33 c #Conflicts: 793000 | #Constraints: 24114
3456.91/3466.33 c #Conflicts: 794000 | #Constraints: 25114
3456.91/3466.33 c #Conflicts: 795000 | #Constraints: 26114
3456.91/3466.33 c #Conflicts: 796000 | #Constraints: 27114
3456.91/3466.33 c #Conflicts: 797000 | #Constraints: 28114
3456.91/3466.33 c #Conflicts: 798000 | #Constraints: 29114
3456.91/3466.33 c #Conflicts: 799000 | #Constraints: 30114
3456.91/3466.33 c #Conflicts: 800000 | #Constraints: 31114
3456.91/3466.33 c #Conflicts: 801000 | #Constraints: 32114
3456.91/3466.33 c #Conflicts: 802000 | #Constraints: 33114
3456.91/3466.33 c #Conflicts: 803000 | #Constraints: 34114
3456.91/3466.33 c #Conflicts: 804000 | #Constraints: 35114
3600.07/3609.90 c #Conflicts: 805000 | #Constraints: 36114
3600.07/3609.90 c #Conflicts: 806000 | #Constraints: 37114
3600.07/3609.90 c #Conflicts: 807000 | #Constraints: 38114
3600.07/3609.90 c #Conflicts: 808000 | #Constraints: 39114
3600.07/3609.90 c #Conflicts: 809000 | #Constraints: 40114
3600.07/3609.90 c #Conflicts: 810000 | #Constraints: 41114
3600.07/3609.90 c INPROCESSING
3600.07/3609.90 c GARBAGE COLLECT
3600.07/3609.90 c #Conflicts: 811000 | #Constraints: 24315
3600.07/3609.90 c #Conflicts: 812000 | #Constraints: 25315
3600.07/3609.90 c #Conflicts: 813000 | #Constraints: 26315
3600.07/3609.90 c #Conflicts: 814000 | #Constraints: 27315
3600.07/3609.90 c #Conflicts: 815000 | #Constraints: 28315
3600.07/3609.90 c #Conflicts: 816000 | #Constraints: 29315
3600.07/3609.90 c #Conflicts: 817000 | #Constraints: 30315
3600.07/3609.90 c #Conflicts: 818000 | #Constraints: 31315
3600.07/3609.90 c #Conflicts: 819000 | #Constraints: 32315
3600.07/3609.90 c #Conflicts: 820000 | #Constraints: 33315
3600.07/3609.90 c #Conflicts: 821000 | #Constraints: 34315
3600.07/3609.90 c #Conflicts: 822000 | #Constraints: 35315
3600.07/3609.90 c #Conflicts: 823000 | #Constraints: 36315
3600.07/3609.90 c #Conflicts: 824000 | #Constraints: 37315
3600.07/3609.90 c #Conflicts: 825000 | #Constraints: 38315
3600.07/3609.90 c #Conflicts: 826000 | #Constraints: 39315
3600.07/3609.90 c Program interrupted by user.
3600.07/3609.90 c cpu time 3591.36 s
3600.07/3609.90 c deterministic time 564031429321 5.64e+11
3600.07/3609.90 c optimization time 108.686 s
3600.07/3609.90 c total solve time 3482.66 s
3600.07/3609.90 c core-guided solve time 3482.66 s
3600.07/3609.90 c propagation time 2870.95 s
3600.07/3609.90 c conflict analysis time 491.992 s
3600.07/3609.90 c propagations 81345465
3600.07/3609.90 c resolve steps 5166221
3600.07/3609.90 c decisions 5434327
3600.07/3609.90 c conflicts 826571
3600.07/3609.90 c restarts 1786
3600.07/3609.90 c inprocessing phases 81
3600.07/3609.90 c input clauses 4885
3600.07/3609.90 c input cardinalities 639
3600.07/3609.90 c input general constraints 221
3600.07/3609.90 c input average constraint length 116.10
3600.07/3609.90 c input average constraint degree 51.24
3600.07/3609.90 c learned clauses 111802
3600.07/3609.90 c learned cardinalities 67295
3600.07/3609.90 c learned general constraints 647643
3600.07/3609.90 c learned average constraint length 1286.87
3600.07/3609.90 c learned average constraint degree 389256.32
3600.07/3609.90 c watched constraints 344519
3600.07/3609.90 c counting constraints 303345
3600.07/3609.90 c gcd simplifications 15668
3600.07/3609.90 c detected cardinalities 955
3600.07/3609.90 c weakened non-implied lits 103101675
3600.07/3609.90 c weakened non-implying lits 14319
3600.07/3609.90 c original variables 1968
3600.07/3609.90 c clausal propagations 31229272
3600.07/3609.90 c cardinality propagations 3689368
3600.07/3609.90 c watched propagations 7047325
3600.07/3609.90 c counting propagations 35233687
3600.07/3609.90 c watch lookups 59024728061
3600.07/3609.90 c watch backjump lookups 56747377500
3600.07/3609.90 c watch checks 401410840948
3600.07/3609.90 c propagation checks 44182375226
3600.07/3609.90 c constraint additions 2491723913
3600.07/3609.90 c trail pops 87603880
3600.07/3609.90 c formula constraints 4000
3600.07/3609.90 c learned constraints 826740
3600.07/3609.90 c bound constraints 332
3600.07/3609.90 c core-guided constraints 1413
3600.07/3609.90 c encountered formula constraints 3643320
3600.07/3609.90 c encountered learned constraints 1969159
3600.07/3609.90 c encountered bound constraints 113
3600.07/3609.90 c encountered core-guided constraints 380200
3600.07/3609.90 c LP total time 0 s
3600.07/3609.90 c LP solve time 0 s
3600.07/3609.90 c LP constraints added 0
3600.07/3609.90 c LP constraints removed 0
3600.07/3609.90 c LP pivots internal 0
3600.07/3609.90 c LP pivots root 0
3600.07/3609.90 c LP calls 0
3600.07/3609.90 c LP optimalities 0
3600.07/3609.90 c LP no pivot count 0
3600.07/3609.90 c LP infeasibilities 0
3600.07/3609.90 c LP valid Farkas constraints 0
3600.07/3609.90 c LP learned Farkas constraints 0
3600.07/3609.90 c LP basis resets 0
3600.07/3609.90 c LP cycling count 0
3600.07/3609.90 c LP singular count 0
3600.07/3609.90 c LP no primal count 0
3600.07/3609.90 c LP no farkas count 0
3600.07/3609.90 c LP other issue count 0
3600.07/3609.90 c LP Gomory cuts 0
3600.07/3609.90 c LP learned cuts 0
3600.07/3609.90 c LP deleted cuts 0
3600.07/3609.90 c LP encountered Gomory constraints 0
3600.07/3609.90 c LP encountered Farkas constraints 0
3600.07/3609.90 c LP encountered learned Farkas constraints 0
3600.07/3609.90 c CG auxiliary variables introduced 1056
3600.07/3609.90 c CG solutions found 1
3600.07/3609.90 c CG cores constructed 190
3600.07/3609.90 c CG core cardinality constraints returned 0
3600.07/3609.90 c CG unit cores 0
3600.07/3609.90 c CG single cores 190
3600.07/3609.90 c CG blocks removed during cardinality reduction 0
3600.07/3609.90 c CG first core best 0
3600.07/3609.90 c CG decision core best 0
3600.07/3609.90 c CG core reduction tie 0
3600.07/3609.90 c CG core degree average 1.00
3600.07/3609.90 c CG core slack average 4.19
3600.07/3609.90 c CG exhausted 0
3600.07/3609.90 c CG exhaust time 18.866 s
3600.07/3609.90 c CG trimmed 0
3600.07/3609.90 c CG trim time 0.017364 s
3600.07/3609.90 c CG minimized 0
3600.07/3609.90 c CG minimize time 0 s
3600.07/3609.90 c CG am1 prop time 0.009499 s
3600.07/3609.90 c CG # am1s reformulated 792
3600.07/3609.90 c CG lower bound derived from am1s 793
3600.07/3609.90 c CG # clausal cores 190
3600.07/3609.90 c CG # cardinality cores 0
3600.07/3609.90 c CG # pb cores 0
3600.07/3609.90 c CG # pb reforms 0
3600.07/3609.90 c CG # cores discarded because of pb reform 0
3600.07/3609.90 d LOWERBOUND 983
3600.07/3609.90 d NCORES 190
3600.07/3609.90 d NPBCORES 0
3600.07/3609.90 d NPBREFORM 0
3600.07/3609.90 d NTRIMMED 0
3600.07/3609.90 d NEXHAUSTED 0
3600.07/3609.90 d NAM1S 792
3600.07/3609.90 d AM1LB 793
3600.07/3609.90 o 1058
3600.07/3609.90 s SATISFIABLE
3600.07/3609.90 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 x1964 x1965 x1966 -x1967 -x1968
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (60360 MiB free)
memory of node 1: 64473 MiB (63370 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435870-1721090551/watcher-4435870-1721090551 -o /tmp/evaluation-result-4435870-1721090551/solver-4435870-1721090551 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721083344-825195 --watchdog 3760 pb-oll-rs HOME/instance-4435870-1721090551.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=829740, runsolver pid=829737
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 4.15 4.13 4.12 5/258 829741
/proc/meminfo: memFree=126690528/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=42892 memory=11304 CPUtime=0.09 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 1675 0 0 0 6 3 0 0 20 0 1 0 161218644 43921408 2826 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 10723 2826 1375 291 0 2257 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42892 KiB
Current children cumulated memory: 11304 KiB
[startup+0.205671 s]*
/proc/loadavg: 4.15 4.13 4.12 5/258 829741
/proc/meminfo: memFree=126682940/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=44700 memory=15344 CPUtime=0.2 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 2162 0 0 0 13 7 0 0 20 0 1 0 161218644 45772800 3836 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 11175 3836 1375 291 0 2709 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44700 KiB
Current children cumulated memory: 15344 KiB
[startup+0.305632 s]*
/proc/loadavg: 4.15 4.13 4.12 5/258 829741
/proc/meminfo: memFree=126677248/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=49360 memory=20224 CPUtime=0.3 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 2875 0 0 0 22 8 0 0 20 0 1 0 161218644 50544640 5056 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 12340 5056 1375 291 0 3874 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49360 KiB
Current children cumulated memory: 20224 KiB
[startup+0.70022 s]
/proc/loadavg: 4.15 4.13 4.12 5/258 829741
/proc/meminfo: memFree=126667188/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=72996 memory=39064 CPUtime=0.69 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 6565 0 0 0 57 12 0 0 20 0 1 0 161218644 74747904 9766 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 18249 9766 1391 291 0 9783 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 72996 KiB
Current children cumulated memory: 39064 KiB
[startup+1.50022 s]
/proc/loadavg: 4.14 4.13 4.12 5/258 829741
/proc/meminfo: memFree=126629936/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=88812 memory=54692 CPUtime=1.49 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 9379 0 0 0 131 18 0 0 20 0 1 0 161218644 90943488 13673 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 22203 13673 1442 291 0 13737 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 88812 KiB
Current children cumulated memory: 54692 KiB
[startup+3.10557 s]
/proc/loadavg: 4.14 4.13 4.12 5/258 829741
/proc/meminfo: memFree=126591028/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=104232 memory=74396 CPUtime=3.09 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 11730 0 0 0 287 22 0 0 20 0 1 0 161218644 106733568 18599 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 26058 18599 1442 291 0 17592 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 104232 KiB
Current children cumulated memory: 74396 KiB
[startup+6.30021 s]
/proc/loadavg: 4.13 4.13 4.12 5/258 829789
/proc/meminfo: memFree=127247924/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=155020 memory=100016 CPUtime=6.27 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 17651 0 0 0 598 29 0 0 20 0 1 0 161218644 158740480 25004 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 38755 25004 1442 291 0 30289 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 155020 KiB
Current children cumulated memory: 100016 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.13 4.12 5/258 829789
/proc/meminfo: memFree=127189904/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=167120 memory=127172 CPUtime=12.65 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 20907 0 0 0 1225 40 0 0 20 0 1 0 161218644 171130880 31793 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 41780 31793 1442 291 0 33314 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 167120 KiB
Current children cumulated memory: 127172 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.12 4.12 5/258 829790
/proc/meminfo: memFree=127129280/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=221112 memory=158812 CPUtime=25.43 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 26776 0 0 0 2487 56 0 0 20 0 1 0 161218644 226418688 39703 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 55278 39703 1442 291 0 46812 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 221112 KiB
Current children cumulated memory: 158812 KiB
[startup+51.1057 s]
/proc/loadavg: 4.13 4.13 4.12 5/258 829841
/proc/meminfo: memFree=127715788/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=241500 memory=182032 CPUtime=50.97 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 30548 0 0 0 5027 70 0 0 20 0 1 0 161218644 247296000 45508 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 60375 45508 1442 291 0 51909 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 241500 KiB
Current children cumulated memory: 182032 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/256 829851
/proc/meminfo: memFree=127609500/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=313836 memory=212648 CPUtime=102.02 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 35203 0 0 0 10104 98 0 0 20 0 1 0 161218644 321368064 53162 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 78459 53162 1442 291 0 69993 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 313836 KiB
Current children cumulated memory: 212648 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/256 829861
/proc/meminfo: memFree=127539572/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=330476 memory=245416 CPUtime=161.87 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 38804 0 0 0 16059 128 0 0 20 0 1 0 161218644 338407424 61354 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 82619 61354 1442 291 0 74153 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 330476 KiB
Current children cumulated memory: 245416 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.13 4.11 5/254 829871
/proc/meminfo: memFree=127483220/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=336364 memory=264444 CPUtime=221.71 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 40563 0 0 0 22019 152 0 0 20 0 1 0 161218644 344436736 66111 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 84091 66111 1442 291 0 75625 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 336364 KiB
Current children cumulated memory: 264444 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/254 829882
/proc/meminfo: memFree=127397740/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=342768 memory=294472 CPUtime=281.56 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 42938 0 0 0 27978 178 0 0 20 0 1 0 161218644 350994432 73618 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 85692 73618 1442 291 0 77226 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 342768 KiB
Current children cumulated memory: 294472 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/254 829892
/proc/meminfo: memFree=127323472/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=430428 memory=332084 CPUtime=341.41 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 45312 0 0 0 33940 201 0 0 20 0 1 0 161218644 440758272 83021 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 107607 83021 1442 291 0 99141 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 430428 KiB
Current children cumulated memory: 332084 KiB
[startup+402.3 s]
/proc/loadavg: 4.43 4.19 4.12 5/254 829902
/proc/meminfo: memFree=127272604/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=435804 memory=337352 CPUtime=401.25 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 46288 0 0 0 39904 221 0 0 20 0 1 0 161218644 446263296 84338 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 108951 84338 1442 291 0 100485 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 435804 KiB
Current children cumulated memory: 337352 KiB
[startup+462.3 s]
/proc/loadavg: 4.23 4.18 4.12 5/254 829912
/proc/meminfo: memFree=127213568/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=479040 memory=380920 CPUtime=461.09 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 53226 0 0 0 45868 241 0 0 20 0 1 0 161218644 490536960 95230 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 119760 95230 1442 291 0 111294 0
################
# More data... #
################
Current children cumulated memory: 747868 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.19 4.13 5/258 831551
/proc/meminfo: memFree=126442196/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=825356 memory=747872 CPUtime=2914.56 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 98862 0 0 0 290700 756 0 0 20 0 1 0 161218644 845164544 186968 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 206339 186968 1442 291 0 197873 0
Current children cumulated CPU time: 2914.56 s
Current children cumulated vsize: 825356 KiB
Current children cumulated memory: 747872 KiB
[startup+2982.3 s]
/proc/loadavg: 4.21 4.20 4.14 5/258 831561
/proc/meminfo: memFree=126430620/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=825540 memory=747872 CPUtime=2974.38 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 99090 0 0 0 296672 766 0 0 20 0 1 0 161218644 845352960 186968 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 206385 186968 1442 291 0 197919 0
Current children cumulated CPU time: 2974.38 s
Current children cumulated vsize: 825540 KiB
Current children cumulated memory: 747872 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.17 4.13 6/258 831571
/proc/meminfo: memFree=126421916/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=827152 memory=749024 CPUtime=3034.2 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 99722 0 0 0 302644 776 0 0 20 0 1 0 161218644 847003648 187256 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 206788 187256 1442 291 0 198322 0
Current children cumulated CPU time: 3034.2 s
Current children cumulated vsize: 827152 KiB
Current children cumulated memory: 749024 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.17 4.13 5/257 831583
/proc/meminfo: memFree=126406512/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=830660 memory=750876 CPUtime=3094.02 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 100455 0 0 0 308615 787 0 0 20 0 1 0 161218644 850595840 187719 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 207665 187719 1442 291 0 199199 0
Current children cumulated CPU time: 3094.02 s
Current children cumulated vsize: 830660 KiB
Current children cumulated memory: 750876 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.17 4.13 5/257 831593
/proc/meminfo: memFree=126401992/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=834064 memory=753236 CPUtime=3153.84 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 101258 0 0 0 314588 796 0 0 20 0 1 0 161218644 854081536 188309 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 208516 188309 1442 291 0 200050 0
Current children cumulated CPU time: 3153.84 s
Current children cumulated vsize: 834064 KiB
Current children cumulated memory: 753236 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.17 4.13 5/254 831603
/proc/meminfo: memFree=126401664/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=834064 memory=753240 CPUtime=3213.66 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 101481 0 0 0 320556 810 0 0 20 0 1 0 161218644 854081536 188310 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 208516 188310 1442 291 0 200050 0
Current children cumulated CPU time: 3213.66 s
Current children cumulated vsize: 834064 KiB
Current children cumulated memory: 753240 KiB
[startup+3282.3 s]
/proc/loadavg: 4.21 4.17 4.13 6/254 831614
/proc/meminfo: memFree=126397144/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=835856 memory=756536 CPUtime=3273.47 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 102145 0 0 0 326527 820 0 0 20 0 1 0 161218644 855916544 189134 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 208964 189134 1442 291 0 200498 0
Current children cumulated CPU time: 3273.47 s
Current children cumulated vsize: 835856 KiB
Current children cumulated memory: 756536 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.15 4.13 5/254 831624
/proc/meminfo: memFree=126396876/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=835856 memory=756536 CPUtime=3333.28 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 102399 0 0 0 332499 829 0 0 20 0 1 0 161218644 855916544 189134 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 208964 189134 1442 291 0 200498 0
Current children cumulated CPU time: 3333.28 s
Current children cumulated vsize: 835856 KiB
Current children cumulated memory: 756536 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.14 4.12 5/254 831634
/proc/meminfo: memFree=126387836/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=836368 memory=765236 CPUtime=3393.09 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 102767 0 0 0 338471 838 0 0 20 0 1 0 161218644 856440832 191309 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 209092 191309 1442 291 0 200626 0
Current children cumulated CPU time: 3393.09 s
Current children cumulated vsize: 836368 KiB
Current children cumulated memory: 765236 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.12 5/254 831644
/proc/meminfo: memFree=126379120/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=836368 memory=765236 CPUtime=3452.92 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 102984 0 0 0 344443 849 0 0 20 0 1 0 161218644 856440832 191309 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 209092 191309 1442 291 0 200626 0
Current children cumulated CPU time: 3452.92 s
Current children cumulated vsize: 836368 KiB
Current children cumulated memory: 765236 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/256 831659
/proc/meminfo: memFree=126354440/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=838856 memory=781108 CPUtime=3512.74 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 103784 0 0 0 350417 857 0 0 20 0 1 0 161218644 858988544 195277 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 209714 195277 1442 291 0 201248 0
Current children cumulated CPU time: 3512.74 s
Current children cumulated vsize: 838856 KiB
Current children cumulated memory: 781108 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.15 4.12 5/256 831669
/proc/meminfo: memFree=126353816/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=838856 memory=781188 CPUtime=3572.56 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 104035 0 0 0 356388 868 0 0 20 0 1 0 161218644 858988544 195297 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 209714 195297 1442 291 0 201248 0
Current children cumulated CPU time: 3572.56 s
Current children cumulated vsize: 838856 KiB
Current children cumulated memory: 781188 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.27 4.17 4.13 5/256 831674
/proc/meminfo: memFree=126353348/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=838856 memory=781188 CPUtime=3600.07 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 104146 0 0 0 359135 872 0 0 20 0 1 0 161218644 858988544 195297 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 209714 195297 1442 291 0 201248 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 838856 KiB
Current children cumulated memory: 781188 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 829740 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.36 s, system=8.73277 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.27 4.17 4.13 5/256 831674
/proc/meminfo: memFree=126353348/131524600 swapFree=131071996/131071996
[pid=829740] ppid=829737 vsize=838856 memory=781188 CPUtime=3600.07 cores=5,7
/proc/829740/stat : 829740 (pb-oll-rs) R 829737 829740 825182 0 -1 4194304 104146 0 0 0 359135 872 0 0 20 0 1 0 161218644 858988544 195297 134679101440 4194304 5384005 140725892048256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6414336 140725892056087 140725892056164 140725892056164 140725892063179 0
/proc/829740/statm: 209714 195297 1442 291 0 201248 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 838856 KiB
Current children cumulated memory: 781188 KiB
Child status: 0
Real time (s): 3609.91
CPU time (s): 3600.09
CPU user time (s): 3591.36
CPU system time (s): 8.73277
CPU usage (%): 99.7279
Max. virtual memory (cumulated for all children) (KiB): 838856
Max. memory (cumulated for all children) (KiB): 781188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.36
system time used= 8.73277
maximum resident set size= 781304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104162
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= 193
involuntary context switches= 2579
# summary of solver processes directly reported to runsolver:
# pid: 829740
# total CPU time (s): 3600.09
# total CPU user time (s): 3591.36
# total CPU system time (s): 8.73277
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.83712 second user time and 18.27 second system time
The end
Begin job on nodeC020 at 2024-07-16 02:42:44
IDJOB=4435870
IDBENCH=147535
IDSOLVER=3067
FILE ID=nodeC020/4435870-1721090551
RUNJOBID= nodeC020-1721083344-825195
SLURM_JOB_ID= 7505569
Free space on /tmp= 890076 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435870-1721090551/watcher-4435870-1721090551 -o /tmp/evaluation-result-4435870-1721090551/solver-4435870-1721090551 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721083344-825195 --watchdog 3760 pb-oll-rs HOME/instance-4435870-1721090551.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4613bd71ebda28f991e46514414d76dd
RANDOM SEED=653534127
nodeC020.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3659.589
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
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 : 3665.017
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.84
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 : 3600.166
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
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 : 3600.573
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.84
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 : 3659.557
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
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 : 3647.488
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.84
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.252
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
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 : 3654.816
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126701732 kB
MemAvailable: 128237168 kB
Buffers: 390680 kB
Cached: 1969832 kB
SwapCached: 0 kB
Active: 620468 kB
Inactive: 3583128 kB
Active(anon): 1576 kB
Inactive(anon): 1879256 kB
Active(file): 618892 kB
Inactive(file): 1703872 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 3628 kB
Writeback: 0 kB
AnonPages: 1838124 kB
Mapped: 107476 kB
Shmem: 37720 kB
KReclaimable: 104992 kB
Slab: 211932 kB
SReclaimable: 104992 kB
SUnreclaim: 106940 kB
KernelStack: 4156 kB
PageTables: 12836 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2320732 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59392 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1685504 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 189140 kB
DirectMap2M: 15312896 kB
DirectMap1G: 120586240 kB
Free space on /tmp at the end= 890076 MiB
End job on nodeC020 at 2024-07-16 03:42:55