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 1961 #constraints 4000
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= 0 @ 0.003715
0.00/0.01 c stratification level: 0
0.00/0.07 c bounds - >= 794 @ 0.013182
0.00/0.07 c bounds - >= 795 @ 0.01422
0.00/0.07 c bounds - >= 796 @ 0.014438
0.00/0.07 c bounds - >= 797 @ 0.014644
0.00/0.07 c bounds - >= 798 @ 0.014867
0.00/0.07 c bounds - >= 799 @ 0.015082
0.00/0.07 c bounds - >= 800 @ 0.015324
0.00/0.07 c bounds - >= 801 @ 0.015578
0.00/0.07 c bounds - >= 802 @ 0.01583
0.00/0.07 c bounds - >= 803 @ 0.01606
0.00/0.07 c bounds - >= 804 @ 0.016325
0.00/0.07 c bounds - >= 805 @ 0.016573
0.00/0.07 c bounds - >= 806 @ 0.016812
0.00/0.07 c bounds - >= 807 @ 0.017047
0.00/0.07 c bounds - >= 808 @ 0.01729
0.00/0.07 c bounds - >= 809 @ 0.017551
0.00/0.07 c bounds - >= 810 @ 0.017799
0.00/0.07 c bounds - >= 811 @ 0.018042
0.00/0.07 c bounds - >= 812 @ 0.018287
0.00/0.07 c bounds - >= 813 @ 0.018525
0.00/0.07 c bounds - >= 814 @ 0.018794
0.00/0.07 c bounds - >= 815 @ 0.019066
0.00/0.07 c bounds - >= 816 @ 0.019336
0.00/0.07 c bounds - >= 817 @ 0.019592
0.00/0.07 c bounds - >= 818 @ 0.019845
0.00/0.07 c bounds - >= 819 @ 0.020106
0.00/0.07 c bounds - >= 820 @ 0.020211
0.00/0.07 c bounds - >= 821 @ 0.020211
0.00/0.07 c bounds - >= 822 @ 0.020211
0.00/0.07 c bounds - >= 823 @ 0.020211
0.00/0.07 c bounds - >= 824 @ 0.020211
0.00/0.07 c bounds - >= 825 @ 0.020211
0.00/0.07 c bounds - >= 826 @ 0.020211
0.00/0.07 c bounds - >= 827 @ 0.020211
0.00/0.07 c bounds - >= 828 @ 0.020211
0.00/0.07 c bounds - >= 829 @ 0.020211
0.00/0.07 c bounds - >= 830 @ 0.020211
0.00/0.07 c bounds - >= 831 @ 0.020527
0.00/0.07 c bounds - >= 832 @ 0.020801
0.00/0.07 c bounds - >= 833 @ 0.021072
0.00/0.07 c bounds - >= 834 @ 0.021203
0.00/0.07 c bounds - >= 835 @ 0.021203
0.00/0.07 c bounds - >= 836 @ 0.021203
0.00/0.07 c bounds - >= 837 @ 0.021203
0.00/0.07 c bounds - >= 838 @ 0.021477
0.00/0.07 c bounds - >= 839 @ 0.021781
0.00/0.07 c bounds - >= 840 @ 0.022067
0.00/0.07 c bounds - >= 841 @ 0.022332
0.00/0.07 c bounds - >= 842 @ 0.022611
0.00/0.07 c bounds - >= 843 @ 0.022911
0.00/0.07 c bounds - >= 844 @ 0.023123
0.00/0.07 c bounds - >= 845 @ 0.023123
0.00/0.07 c bounds - >= 846 @ 0.023608
0.00/0.07 c bounds - >= 847 @ 0.023799
0.00/0.07 c bounds - >= 848 @ 0.023977
0.00/0.07 c bounds - >= 849 @ 0.024157
0.00/0.07 c bounds - >= 850 @ 0.024197
0.00/0.07 c bounds - >= 851 @ 0.024197
0.00/0.07 c bounds - >= 852 @ 0.024197
0.00/0.07 c bounds - >= 853 @ 0.024197
0.00/0.07 c bounds - >= 854 @ 0.024197
0.00/0.07 c bounds - >= 855 @ 0.024197
0.00/0.07 c bounds - >= 856 @ 0.024339
0.00/0.07 c bounds - >= 857 @ 0.024683
0.00/0.07 c bounds - >= 858 @ 0.025001
0.00/0.07 c bounds - >= 859 @ 0.025309
0.00/0.07 c bounds - >= 860 @ 0.025628
0.00/0.07 c bounds - >= 861 @ 0.025933
0.00/0.07 c bounds - >= 862 @ 0.026231
0.00/0.07 c bounds - >= 863 @ 0.026535
0.00/0.07 c bounds - >= 864 @ 0.026837
0.00/0.07 c bounds - >= 865 @ 0.027151
0.00/0.07 c bounds - >= 866 @ 0.027457
0.00/0.07 c bounds - >= 867 @ 0.027772
0.00/0.07 c bounds - >= 868 @ 0.028088
0.00/0.07 c bounds - >= 869 @ 0.028185
0.00/0.07 c bounds - >= 870 @ 0.028185
0.00/0.07 c bounds - >= 871 @ 0.028185
0.00/0.07 c bounds - >= 872 @ 0.028187
0.00/0.07 c bounds - >= 873 @ 0.028187
0.00/0.07 c bounds - >= 874 @ 0.028187
0.00/0.07 c bounds - >= 875 @ 0.028187
0.00/0.07 c bounds - >= 876 @ 0.028187
0.00/0.07 c bounds - >= 877 @ 0.028187
0.00/0.07 c bounds - >= 878 @ 0.028344
0.00/0.07 c bounds - >= 879 @ 0.028662
0.00/0.07 c bounds - >= 880 @ 0.028979
0.00/0.07 c bounds - >= 881 @ 0.029324
0.00/0.07 c bounds - >= 882 @ 0.029672
0.00/0.07 c bounds - >= 883 @ 0.029999
0.00/0.07 c bounds - >= 884 @ 0.030363
0.00/0.07 c bounds - >= 885 @ 0.030702
0.00/0.07 c bounds - >= 886 @ 0.031022
0.00/0.07 c bounds - >= 887 @ 0.031399
0.00/0.07 c bounds - >= 888 @ 0.031733
0.00/0.07 c bounds - >= 889 @ 0.032049
0.00/0.07 c bounds - >= 890 @ 0.032177
0.00/0.07 c bounds - >= 891 @ 0.032177
0.00/0.07 c bounds - >= 892 @ 0.032177
0.00/0.07 c bounds - >= 893 @ 0.032177
0.00/0.07 c bounds - >= 894 @ 0.032177
0.00/0.07 c bounds - >= 895 @ 0.032177
0.00/0.07 c bounds - >= 896 @ 0.032177
0.00/0.07 c bounds - >= 897 @ 0.032177
0.00/0.07 c bounds - >= 898 @ 0.032177
0.00/0.07 c bounds - >= 899 @ 0.032393
0.00/0.07 c bounds - >= 900 @ 0.032762
0.00/0.07 c bounds - >= 901 @ 0.033093
0.00/0.07 c bounds - >= 902 @ 0.033172
0.00/0.07 c bounds - >= 903 @ 0.033172
0.00/0.07 c bounds - >= 904 @ 0.033172
0.00/0.07 c bounds - >= 905 @ 0.03354
0.00/0.07 c bounds - >= 906 @ 0.033867
0.00/0.07 c bounds - >= 907 @ 0.034168
0.00/0.07 c bounds - >= 908 @ 0.034547
0.00/0.07 c bounds - >= 909 @ 0.03487
0.00/0.07 c bounds - >= 910 @ 0.035221
0.00/0.07 c bounds - >= 911 @ 0.035574
0.00/0.07 c bounds - >= 912 @ 0.035904
0.00/0.07 c bounds - >= 913 @ 0.036233
0.00/0.07 c bounds - >= 914 @ 0.036565
0.00/0.07 c bounds - >= 915 @ 0.036912
0.00/0.07 c bounds - >= 916 @ 0.037254
0.00/0.07 c bounds - >= 917 @ 0.037604
0.00/0.07 c bounds - >= 918 @ 0.03801
0.00/0.07 c bounds - >= 919 @ 0.03816
0.00/0.07 c bounds - >= 920 @ 0.03816
0.00/0.07 c bounds - >= 921 @ 0.03816
0.00/0.07 c bounds - >= 922 @ 0.038517
0.00/0.07 c bounds - >= 923 @ 0.038873
0.00/0.07 c bounds - >= 924 @ 0.039212
0.00/0.07 c bounds - >= 925 @ 0.039602
0.00/0.07 c bounds - >= 926 @ 0.039959
0.00/0.07 c bounds - >= 927 @ 0.040161
0.00/0.07 c bounds - >= 928 @ 0.040161
0.00/0.07 c bounds - >= 929 @ 0.040161
0.00/0.07 c bounds - >= 930 @ 0.040591
0.00/0.07 c bounds - >= 931 @ 0.040968
0.00/0.07 c bounds - >= 932 @ 0.041336
0.00/0.07 c bounds - >= 933 @ 0.041759
0.00/0.07 c bounds - >= 934 @ 0.042157
0.00/0.07 c bounds - >= 935 @ 0.042572
0.00/0.08 c bounds - >= 936 @ 0.043017
0.00/0.08 c bounds - >= 937 @ 0.043153
0.00/0.08 c bounds - >= 938 @ 0.043153
0.00/0.08 c bounds - >= 939 @ 0.043154
0.00/0.08 c bounds - >= 940 @ 0.043154
0.00/0.08 c bounds - >= 941 @ 0.043258
0.00/0.08 c bounds - >= 942 @ 0.043684
0.00/0.08 c bounds - >= 943 @ 0.0441
0.00/0.08 c bounds - >= 944 @ 0.04415
0.00/0.08 c bounds - >= 945 @ 0.04415
0.00/0.08 c bounds - >= 946 @ 0.04415
0.00/0.08 c bounds - >= 947 @ 0.04415
0.00/0.08 c bounds - >= 948 @ 0.044273
0.00/0.08 c bounds - >= 949 @ 0.044778
0.00/0.08 c bounds - >= 950 @ 0.045198
0.00/0.08 c bounds - >= 951 @ 0.04564
0.00/0.08 c bounds - >= 952 @ 0.046072
0.00/0.08 c bounds - >= 953 @ 0.046144
0.00/0.08 c bounds - >= 954 @ 0.046144
0.00/0.08 c bounds - >= 955 @ 0.046144
0.00/0.08 c bounds - >= 956 @ 0.046144
0.00/0.08 c bounds - >= 957 @ 0.046144
0.00/0.08 c bounds - >= 958 @ 0.046144
0.00/0.08 c bounds - >= 959 @ 0.046321
0.00/0.08 c bounds - >= 960 @ 0.046795
0.00/0.08 c bounds - >= 961 @ 0.04724
0.00/0.08 c bounds - >= 962 @ 0.047745
0.00/0.08 c bounds - >= 963 @ 0.048268
0.00/0.08 c bounds - >= 964 @ 0.048814
0.00/0.08 c bounds - >= 965 @ 0.049135
0.00/0.08 c bounds - >= 966 @ 0.049135
0.00/0.08 c finalizing WCE round: reformulating cores
78.56/78.85 c #Conflicts: 1000 | #Constraints: 6271
78.56/78.85 c #Conflicts: 2000 | #Constraints: 7373
78.56/78.85 c INPROCESSING
78.56/78.85 c GARBAGE COLLECT
78.56/78.85 c #Conflicts: 3000 | #Constraints: 7093
78.56/78.85 c #Conflicts: 4000 | #Constraints: 8105
78.56/78.85 c INPROCESSING
78.56/78.85 c GARBAGE COLLECT
78.56/78.85 c #Conflicts: 5000 | #Constraints: 7469
78.56/78.85 c #Conflicts: 6000 | #Constraints: 8477
78.56/78.85 c INPROCESSING
78.56/78.85 c GARBAGE COLLECT
78.56/78.85 c #Conflicts: 7000 | #Constraints: 7504
78.56/78.85 c #Conflicts: 8000 | #Constraints: 8516
78.56/78.85 c #Conflicts: 9000 | #Constraints: 9522
78.56/78.85 c INPROCESSING
78.56/78.85 c GARBAGE COLLECT
78.56/78.85 c #Conflicts: 10000 | #Constraints: 8242
78.56/78.85 c #Conflicts: 11000 | #Constraints: 9254
78.56/78.85 c #Conflicts: 12000 | #Constraints: 10260
78.56/78.85 c INPROCESSING
78.56/78.85 c GARBAGE COLLECT
78.56/78.85 c #Conflicts: 13000 | #Constraints: 8723
78.56/78.85 c #Conflicts: 14000 | #Constraints: 9728
78.56/78.85 c #Conflicts: 15000 | #Constraints: 10730
78.56/78.85 c INPROCESSING
78.56/78.85 c GARBAGE COLLECT
78.56/78.85 c #Conflicts: 16000 | #Constraints: 8974
78.56/78.85 c #Conflicts: 17000 | #Constraints: 9976
78.56/78.85 c #Conflicts: 18000 | #Constraints: 10978
78.56/78.85 c INPROCESSING
78.56/78.85 c GARBAGE COLLECT
78.56/78.85 c #Conflicts: 19000 | #Constraints: 9004
78.56/78.85 c #Conflicts: 20000 | #Constraints: 10025
78.56/78.85 c #Conflicts: 21000 | #Constraints: 11049
78.56/78.85 c INPROCESSING
78.56/78.85 c GARBAGE COLLECT
78.56/78.85 c #Conflicts: 22000 | #Constraints: 8840
78.56/78.85 c #Conflicts: 23000 | #Constraints: 9842
78.56/78.85 c #Conflicts: 24000 | #Constraints: 10850
78.56/78.85 c #Conflicts: 25000 | #Constraints: 11862
78.56/78.85 c INPROCESSING
78.56/78.85 c GARBAGE COLLECT
78.56/78.85 c #Conflicts: 26000 | #Constraints: 9472
78.56/78.85 c bounds 1056 >= 966 @ 12.1475
78.56/78.85 c bounds 1056 >= 967 @ 12.1554
78.56/78.85 c bounds 1056 >= 968 @ 12.1621
78.56/78.85 c bounds 1056 >= 969 @ 12.1649
78.56/78.85 c bounds 1056 >= 970 @ 12.1663
78.56/78.85 c bounds 1056 >= 971 @ 12.1724
78.56/78.85 c bounds 1056 >= 972 @ 12.1782
78.56/78.85 c bounds 1056 >= 973 @ 12.1808
78.56/78.85 c bounds 1056 >= 974 @ 12.189
78.56/78.85 c bounds 1056 >= 975 @ 12.1985
78.56/78.85 c bounds 1056 >= 976 @ 12.2104
78.56/78.85 c bounds 1056 >= 977 @ 12.2133
78.56/78.85 c bounds 1056 >= 978 @ 12.2276
78.56/78.85 c bounds 1056 >= 979 @ 12.2366
78.56/78.85 c bounds 1056 >= 980 @ 12.2533
78.56/78.85 c bounds 1056 >= 981 @ 12.303
78.56/78.85 c bounds 1056 >= 982 @ 12.3301
78.56/78.85 c bounds 1056 >= 983 @ 12.3549
78.56/78.85 c bounds 1056 >= 984 @ 12.4155
78.56/78.85 c bounds 1056 >= 985 @ 12.5494
78.56/78.85 c bounds 1056 >= 986 @ 12.6692
78.56/78.85 c #Conflicts: 27000 | #Constraints: 10789
78.56/78.85 c #Conflicts: 28000 | #Constraints: 11789
78.56/78.85 c #Conflicts: 29000 | #Constraints: 12789
78.56/78.85 c INPROCESSING
78.56/78.85 c GARBAGE COLLECT
78.56/78.85 c #Conflicts: 30000 | #Constraints: 10114
78.56/78.85 c #Conflicts: 31000 | #Constraints: 11114
78.56/78.85 c #Conflicts: 32000 | #Constraints: 12114
78.56/78.85 c #Conflicts: 33000 | #Constraints: 13114
78.56/78.85 c INPROCESSING
78.56/78.85 c GARBAGE COLLECT
78.56/78.85 c #Conflicts: 34000 | #Constraints: 10297
78.56/78.85 c #Conflicts: 35000 | #Constraints: 11297
78.56/78.85 c #Conflicts: 36000 | #Constraints: 12297
78.56/78.85 c #Conflicts: 37000 | #Constraints: 13297
78.56/78.85 c INPROCESSING
78.56/78.85 c GARBAGE COLLECT
78.56/78.85 c #Conflicts: 38000 | #Constraints: 10296
78.56/78.85 c #Conflicts: 39000 | #Constraints: 11296
78.56/78.85 c #Conflicts: 40000 | #Constraints: 12296
78.56/78.85 c #Conflicts: 41000 | #Constraints: 13296
78.56/78.85 c INPROCESSING
78.56/78.85 c GARBAGE COLLECT
78.56/78.85 c #Conflicts: 42000 | #Constraints: 10093
78.56/78.85 c #Conflicts: 43000 | #Constraints: 11093
78.56/78.85 c #Conflicts: 44000 | #Constraints: 12093
78.56/78.85 c #Conflicts: 45000 | #Constraints: 13093
78.56/78.85 c #Conflicts: 46000 | #Constraints: 14093
78.56/78.85 c INPROCESSING
78.56/78.85 c GARBAGE COLLECT
78.56/78.85 c #Conflicts: 47000 | #Constraints: 10693
78.56/78.85 c #Conflicts: 48000 | #Constraints: 11693
78.56/78.85 c #Conflicts: 49000 | #Constraints: 12693
78.56/78.85 c #Conflicts: 50000 | #Constraints: 13693
78.56/78.85 c #Conflicts: 51000 | #Constraints: 14693
78.56/78.85 c INPROCESSING
78.56/78.85 c GARBAGE COLLECT
78.56/78.85 c #Conflicts: 52000 | #Constraints: 11093
78.56/78.85 c #Conflicts: 53000 | #Constraints: 12093
78.56/78.85 c #Conflicts: 54000 | #Constraints: 13093
78.56/78.85 c #Conflicts: 55000 | #Constraints: 14093
78.56/78.85 c #Conflicts: 56000 | #Constraints: 15093
78.56/78.85 c INPROCESSING
78.56/78.85 c GARBAGE COLLECT
78.56/78.85 c #Conflicts: 57000 | #Constraints: 11295
258.18/258.99 c #Conflicts: 58000 | #Constraints: 12295
258.18/258.99 c #Conflicts: 59000 | #Constraints: 13295
258.18/258.99 c #Conflicts: 60000 | #Constraints: 14295
258.18/258.99 c #Conflicts: 61000 | #Constraints: 15295
258.18/258.99 c INPROCESSING
258.18/258.99 c GARBAGE COLLECT
258.18/258.99 c #Conflicts: 62000 | #Constraints: 11316
258.18/258.99 c #Conflicts: 63000 | #Constraints: 12316
258.18/258.99 c #Conflicts: 64000 | #Constraints: 13316
258.18/258.99 c #Conflicts: 65000 | #Constraints: 14316
258.18/258.99 c #Conflicts: 66000 | #Constraints: 15316
258.18/258.99 c INPROCESSING
258.18/258.99 c GARBAGE COLLECT
258.18/258.99 c #Conflicts: 67000 | #Constraints: 11115
258.18/258.99 c #Conflicts: 68000 | #Constraints: 12115
258.18/258.99 c #Conflicts: 69000 | #Constraints: 13115
258.18/258.99 c #Conflicts: 70000 | #Constraints: 14115
258.18/258.99 c #Conflicts: 71000 | #Constraints: 15115
258.18/258.99 c #Conflicts: 72000 | #Constraints: 16115
258.18/258.99 c INPROCESSING
258.18/258.99 c GARBAGE COLLECT
258.18/258.99 c #Conflicts: 73000 | #Constraints: 11719
258.18/258.99 c #Conflicts: 74000 | #Constraints: 12719
258.18/258.99 c #Conflicts: 75000 | #Constraints: 13719
258.18/258.99 c #Conflicts: 76000 | #Constraints: 14719
258.18/258.99 c #Conflicts: 77000 | #Constraints: 15719
258.18/258.99 c #Conflicts: 78000 | #Constraints: 16719
258.18/258.99 c INPROCESSING
258.18/258.99 c GARBAGE COLLECT
258.18/258.99 c #Conflicts: 79000 | #Constraints: 12111
258.18/258.99 c #Conflicts: 80000 | #Constraints: 13111
258.18/258.99 c #Conflicts: 81000 | #Constraints: 14111
258.18/258.99 c #Conflicts: 82000 | #Constraints: 15111
258.18/258.99 c #Conflicts: 83000 | #Constraints: 16111
258.18/258.99 c #Conflicts: 84000 | #Constraints: 17111
258.18/258.99 c INPROCESSING
258.18/258.99 c GARBAGE COLLECT
258.18/258.99 c #Conflicts: 85000 | #Constraints: 12298
258.18/258.99 c #Conflicts: 86000 | #Constraints: 13298
258.18/258.99 c #Conflicts: 87000 | #Constraints: 14298
258.18/258.99 c #Conflicts: 88000 | #Constraints: 15298
258.18/258.99 c #Conflicts: 89000 | #Constraints: 16298
258.18/258.99 c #Conflicts: 90000 | #Constraints: 17298
258.18/258.99 c INPROCESSING
258.18/258.99 c GARBAGE COLLECT
258.18/258.99 c #Conflicts: 91000 | #Constraints: 12307
258.18/258.99 c #Conflicts: 92000 | #Constraints: 13307
258.18/258.99 c #Conflicts: 93000 | #Constraints: 14307
258.18/258.99 c #Conflicts: 94000 | #Constraints: 15307
258.18/258.99 c #Conflicts: 95000 | #Constraints: 16307
258.18/258.99 c #Conflicts: 96000 | #Constraints: 17307
258.18/258.99 c INPROCESSING
258.18/258.99 c GARBAGE COLLECT
258.18/258.99 c #Conflicts: 97000 | #Constraints: 12101
258.18/258.99 c #Conflicts: 98000 | #Constraints: 13101
258.18/258.99 c #Conflicts: 99000 | #Constraints: 14101
258.18/258.99 c #Conflicts: 100000 | #Constraints: 15101
258.18/258.99 c #Conflicts: 101000 | #Constraints: 16101
258.18/258.99 c #Conflicts: 102000 | #Constraints: 17101
258.18/258.99 c #Conflicts: 103000 | #Constraints: 18101
258.18/258.99 c INPROCESSING
258.18/258.99 c GARBAGE COLLECT
258.18/258.99 c #Conflicts: 104000 | #Constraints: 12711
258.18/258.99 c #Conflicts: 105000 | #Constraints: 13711
258.18/258.99 c #Conflicts: 106000 | #Constraints: 14711
258.18/258.99 c #Conflicts: 107000 | #Constraints: 15711
258.18/258.99 c #Conflicts: 108000 | #Constraints: 16711
258.18/258.99 c #Conflicts: 109000 | #Constraints: 17711
258.18/258.99 c #Conflicts: 110000 | #Constraints: 18711
258.18/258.99 c INPROCESSING
258.18/258.99 c GARBAGE COLLECT
258.18/258.99 c #Conflicts: 111000 | #Constraints: 13109
258.18/258.99 c #Conflicts: 112000 | #Constraints: 14109
258.18/258.99 c #Conflicts: 113000 | #Constraints: 15109
258.18/258.99 c #Conflicts: 114000 | #Constraints: 16109
258.18/258.99 c #Conflicts: 115000 | #Constraints: 17109
258.18/258.99 c #Conflicts: 116000 | #Constraints: 18109
258.18/258.99 c #Conflicts: 117000 | #Constraints: 19109
258.18/258.99 c INPROCESSING
258.18/258.99 c GARBAGE COLLECT
258.18/258.99 c #Conflicts: 118000 | #Constraints: 13309
258.18/258.99 c #Conflicts: 119000 | #Constraints: 14309
258.18/258.99 c #Conflicts: 120000 | #Constraints: 15309
258.18/258.99 c #Conflicts: 121000 | #Constraints: 16309
258.18/258.99 c #Conflicts: 122000 | #Constraints: 17309
258.18/258.99 c #Conflicts: 123000 | #Constraints: 18309
258.18/258.99 c #Conflicts: 124000 | #Constraints: 19309
258.18/258.99 c INPROCESSING
258.18/258.99 c GARBAGE COLLECT
258.18/258.99 c #Conflicts: 125000 | #Constraints: 13316
258.18/258.99 c #Conflicts: 126000 | #Constraints: 14316
258.18/258.99 c #Conflicts: 127000 | #Constraints: 15316
258.18/258.99 c #Conflicts: 128000 | #Constraints: 16316
527.81/529.27 c #Conflicts: 129000 | #Constraints: 17316
527.81/529.27 c #Conflicts: 130000 | #Constraints: 18316
527.81/529.27 c #Conflicts: 131000 | #Constraints: 19316
527.81/529.27 c INPROCESSING
527.81/529.27 c GARBAGE COLLECT
527.81/529.27 c #Conflicts: 132000 | #Constraints: 13115
527.81/529.27 c #Conflicts: 133000 | #Constraints: 14115
527.81/529.27 c #Conflicts: 134000 | #Constraints: 15115
527.81/529.27 c #Conflicts: 135000 | #Constraints: 16115
527.81/529.27 c #Conflicts: 136000 | #Constraints: 17115
527.81/529.27 c #Conflicts: 137000 | #Constraints: 18115
527.81/529.27 c #Conflicts: 138000 | #Constraints: 19115
527.81/529.27 c #Conflicts: 139000 | #Constraints: 20115
527.81/529.27 c INPROCESSING
527.81/529.27 c GARBAGE COLLECT
527.81/529.27 c #Conflicts: 140000 | #Constraints: 13720
527.81/529.27 c #Conflicts: 141000 | #Constraints: 14720
527.81/529.27 c #Conflicts: 142000 | #Constraints: 15720
527.81/529.27 c #Conflicts: 143000 | #Constraints: 16720
527.81/529.27 c #Conflicts: 144000 | #Constraints: 17720
527.81/529.27 c #Conflicts: 145000 | #Constraints: 18720
527.81/529.27 c #Conflicts: 146000 | #Constraints: 19720
527.81/529.27 c #Conflicts: 147000 | #Constraints: 20720
527.81/529.27 c INPROCESSING
527.81/529.27 c GARBAGE COLLECT
527.81/529.27 c #Conflicts: 148000 | #Constraints: 14128
527.81/529.27 c #Conflicts: 149000 | #Constraints: 15128
527.81/529.27 c #Conflicts: 150000 | #Constraints: 16128
527.81/529.27 c #Conflicts: 151000 | #Constraints: 17128
527.81/529.27 c #Conflicts: 152000 | #Constraints: 18128
527.81/529.27 c #Conflicts: 153000 | #Constraints: 19128
527.81/529.27 c #Conflicts: 154000 | #Constraints: 20128
527.81/529.27 c #Conflicts: 155000 | #Constraints: 21128
527.81/529.27 c INPROCESSING
527.81/529.27 c GARBAGE COLLECT
527.81/529.27 c #Conflicts: 156000 | #Constraints: 14323
527.81/529.27 c #Conflicts: 157000 | #Constraints: 15323
527.81/529.27 c #Conflicts: 158000 | #Constraints: 16323
527.81/529.27 c #Conflicts: 159000 | #Constraints: 17323
527.81/529.27 c #Conflicts: 160000 | #Constraints: 18323
527.81/529.27 c #Conflicts: 161000 | #Constraints: 19323
527.81/529.27 c #Conflicts: 162000 | #Constraints: 20323
527.81/529.27 c #Conflicts: 163000 | #Constraints: 21323
527.81/529.27 c INPROCESSING
527.81/529.27 c GARBAGE COLLECT
527.81/529.27 c #Conflicts: 164000 | #Constraints: 14323
527.81/529.27 c #Conflicts: 165000 | #Constraints: 15323
527.81/529.27 c #Conflicts: 166000 | #Constraints: 16323
527.81/529.27 c #Conflicts: 167000 | #Constraints: 17323
527.81/529.27 c #Conflicts: 168000 | #Constraints: 18323
527.81/529.27 c #Conflicts: 169000 | #Constraints: 19323
527.81/529.27 c #Conflicts: 170000 | #Constraints: 20323
527.81/529.27 c #Conflicts: 171000 | #Constraints: 21323
527.81/529.27 c INPROCESSING
527.81/529.27 c GARBAGE COLLECT
527.81/529.27 c #Conflicts: 172000 | #Constraints: 14121
527.81/529.27 c #Conflicts: 173000 | #Constraints: 15121
527.81/529.27 c #Conflicts: 174000 | #Constraints: 16121
527.81/529.27 c #Conflicts: 175000 | #Constraints: 17121
527.81/529.27 c #Conflicts: 176000 | #Constraints: 18121
527.81/529.27 c #Conflicts: 177000 | #Constraints: 19121
527.81/529.27 c #Conflicts: 178000 | #Constraints: 20121
527.81/529.27 c #Conflicts: 179000 | #Constraints: 21121
527.81/529.27 c #Conflicts: 180000 | #Constraints: 22121
527.81/529.27 c INPROCESSING
527.81/529.27 c GARBAGE COLLECT
527.81/529.27 c #Conflicts: 181000 | #Constraints: 14716
527.81/529.27 c #Conflicts: 182000 | #Constraints: 15716
527.81/529.27 c #Conflicts: 183000 | #Constraints: 16716
527.81/529.27 c #Conflicts: 184000 | #Constraints: 17716
527.81/529.27 c #Conflicts: 185000 | #Constraints: 18716
527.81/529.27 c #Conflicts: 186000 | #Constraints: 19716
527.81/529.27 c #Conflicts: 187000 | #Constraints: 20716
527.81/529.27 c #Conflicts: 188000 | #Constraints: 21716
527.81/529.27 c #Conflicts: 189000 | #Constraints: 22716
527.81/529.27 c INPROCESSING
527.81/529.27 c GARBAGE COLLECT
527.81/529.27 c #Conflicts: 190000 | #Constraints: 15121
527.81/529.27 c #Conflicts: 191000 | #Constraints: 16121
527.81/529.27 c #Conflicts: 192000 | #Constraints: 17121
527.81/529.27 c #Conflicts: 193000 | #Constraints: 18121
527.81/529.27 c #Conflicts: 194000 | #Constraints: 19121
527.81/529.27 c #Conflicts: 195000 | #Constraints: 20121
527.81/529.27 c #Conflicts: 196000 | #Constraints: 21121
527.81/529.27 c #Conflicts: 197000 | #Constraints: 22121
527.81/529.27 c #Conflicts: 198000 | #Constraints: 23121
527.81/529.27 c INPROCESSING
527.81/529.27 c GARBAGE COLLECT
527.81/529.27 c #Conflicts: 199000 | #Constraints: 15325
527.81/529.27 c #Conflicts: 200000 | #Constraints: 16325
527.81/529.27 c #Conflicts: 201000 | #Constraints: 17325
845.76/848.06 c #Conflicts: 202000 | #Constraints: 18325
845.76/848.06 c #Conflicts: 203000 | #Constraints: 19325
845.76/848.06 c #Conflicts: 204000 | #Constraints: 20325
845.76/848.06 c #Conflicts: 205000 | #Constraints: 21325
845.76/848.06 c #Conflicts: 206000 | #Constraints: 22325
845.76/848.06 c #Conflicts: 207000 | #Constraints: 23325
845.76/848.06 c INPROCESSING
845.76/848.06 c GARBAGE COLLECT
845.76/848.06 c #Conflicts: 208000 | #Constraints: 15321
845.76/848.06 c #Conflicts: 209000 | #Constraints: 16321
845.76/848.06 c #Conflicts: 210000 | #Constraints: 17321
845.76/848.06 c #Conflicts: 211000 | #Constraints: 18321
845.76/848.06 c #Conflicts: 212000 | #Constraints: 19321
845.76/848.06 c #Conflicts: 213000 | #Constraints: 20321
845.76/848.06 c #Conflicts: 214000 | #Constraints: 21321
845.76/848.06 c #Conflicts: 215000 | #Constraints: 22321
845.76/848.06 c #Conflicts: 216000 | #Constraints: 23321
845.76/848.06 c INPROCESSING
845.76/848.06 c GARBAGE COLLECT
845.76/848.06 c #Conflicts: 217000 | #Constraints: 15119
845.76/848.06 c #Conflicts: 218000 | #Constraints: 16119
845.76/848.06 c #Conflicts: 219000 | #Constraints: 17119
845.76/848.06 c #Conflicts: 220000 | #Constraints: 18119
845.76/848.06 c #Conflicts: 221000 | #Constraints: 19119
845.76/848.06 c #Conflicts: 222000 | #Constraints: 20119
845.76/848.06 c #Conflicts: 223000 | #Constraints: 21119
845.76/848.06 c #Conflicts: 224000 | #Constraints: 22119
845.76/848.06 c #Conflicts: 225000 | #Constraints: 23119
845.76/848.06 c #Conflicts: 226000 | #Constraints: 24119
845.76/848.06 c INPROCESSING
845.76/848.06 c GARBAGE COLLECT
845.76/848.06 c #Conflicts: 227000 | #Constraints: 15724
845.76/848.06 c #Conflicts: 228000 | #Constraints: 16724
845.76/848.06 c #Conflicts: 229000 | #Constraints: 17724
845.76/848.06 c #Conflicts: 230000 | #Constraints: 18724
845.76/848.06 c #Conflicts: 231000 | #Constraints: 19724
845.76/848.06 c #Conflicts: 232000 | #Constraints: 20724
845.76/848.06 c #Conflicts: 233000 | #Constraints: 21724
845.76/848.06 c #Conflicts: 234000 | #Constraints: 22724
845.76/848.06 c #Conflicts: 235000 | #Constraints: 23724
845.76/848.06 c #Conflicts: 236000 | #Constraints: 24724
845.76/848.06 c INPROCESSING
845.76/848.06 c GARBAGE COLLECT
845.76/848.06 c #Conflicts: 237000 | #Constraints: 16117
845.76/848.06 c #Conflicts: 238000 | #Constraints: 17117
845.76/848.06 c #Conflicts: 239000 | #Constraints: 18117
845.76/848.06 c #Conflicts: 240000 | #Constraints: 19117
845.76/848.06 c #Conflicts: 241000 | #Constraints: 20117
845.76/848.06 c #Conflicts: 242000 | #Constraints: 21117
845.76/848.06 c #Conflicts: 243000 | #Constraints: 22117
845.76/848.06 c #Conflicts: 244000 | #Constraints: 23117
845.76/848.06 c #Conflicts: 245000 | #Constraints: 24117
845.76/848.06 c #Conflicts: 246000 | #Constraints: 25117
845.76/848.06 c INPROCESSING
845.76/848.06 c GARBAGE COLLECT
845.76/848.06 c #Conflicts: 247000 | #Constraints: 16315
845.76/848.06 c #Conflicts: 248000 | #Constraints: 17315
845.76/848.06 c #Conflicts: 249000 | #Constraints: 18315
845.76/848.06 c #Conflicts: 250000 | #Constraints: 19315
845.76/848.06 c #Conflicts: 251000 | #Constraints: 20315
845.76/848.06 c #Conflicts: 252000 | #Constraints: 21315
845.76/848.06 c #Conflicts: 253000 | #Constraints: 22315
845.76/848.06 c #Conflicts: 254000 | #Constraints: 23315
845.76/848.06 c #Conflicts: 255000 | #Constraints: 24315
845.76/848.06 c #Conflicts: 256000 | #Constraints: 25315
845.76/848.06 c INPROCESSING
845.76/848.06 c GARBAGE COLLECT
845.76/848.06 c #Conflicts: 257000 | #Constraints: 16315
845.76/848.06 c #Conflicts: 258000 | #Constraints: 17315
845.76/848.06 c #Conflicts: 259000 | #Constraints: 18315
845.76/848.06 c #Conflicts: 260000 | #Constraints: 19315
845.76/848.06 c #Conflicts: 261000 | #Constraints: 20315
845.76/848.06 c #Conflicts: 262000 | #Constraints: 21315
845.76/848.06 c #Conflicts: 263000 | #Constraints: 22315
845.76/848.06 c #Conflicts: 264000 | #Constraints: 23315
845.76/848.06 c #Conflicts: 265000 | #Constraints: 24315
845.76/848.06 c #Conflicts: 266000 | #Constraints: 25315
845.76/848.06 c INPROCESSING
845.76/848.06 c GARBAGE COLLECT
845.76/848.06 c #Conflicts: 267000 | #Constraints: 16123
845.76/848.06 c #Conflicts: 268000 | #Constraints: 17123
845.76/848.06 c #Conflicts: 269000 | #Constraints: 18123
845.76/848.06 c #Conflicts: 270000 | #Constraints: 19123
845.76/848.06 c #Conflicts: 271000 | #Constraints: 20123
845.76/848.06 c #Conflicts: 272000 | #Constraints: 21123
845.76/848.06 c #Conflicts: 273000 | #Constraints: 22123
845.76/848.06 c #Conflicts: 274000 | #Constraints: 23123
845.76/848.06 c #Conflicts: 275000 | #Constraints: 24123
845.76/848.06 c #Conflicts: 276000 | #Constraints: 25123
1087.54/1090.58 c #Conflicts: 277000 | #Constraints: 26123
1087.54/1090.58 c INPROCESSING
1087.54/1090.58 c GARBAGE COLLECT
1087.54/1090.58 c #Conflicts: 278000 | #Constraints: 16725
1087.54/1090.58 c #Conflicts: 279000 | #Constraints: 17725
1087.54/1090.58 c #Conflicts: 280000 | #Constraints: 18725
1087.54/1090.58 c #Conflicts: 281000 | #Constraints: 19725
1087.54/1090.58 c #Conflicts: 282000 | #Constraints: 20725
1087.54/1090.58 c #Conflicts: 283000 | #Constraints: 21725
1087.54/1090.58 c #Conflicts: 284000 | #Constraints: 22725
1087.54/1090.58 c #Conflicts: 285000 | #Constraints: 23725
1087.54/1090.58 c #Conflicts: 286000 | #Constraints: 24725
1087.54/1090.58 c #Conflicts: 287000 | #Constraints: 25725
1087.54/1090.58 c #Conflicts: 288000 | #Constraints: 26725
1087.54/1090.58 c INPROCESSING
1087.54/1090.58 c GARBAGE COLLECT
1087.54/1090.58 c #Conflicts: 289000 | #Constraints: 17128
1087.54/1090.58 c #Conflicts: 290000 | #Constraints: 18128
1087.54/1090.58 c #Conflicts: 291000 | #Constraints: 19128
1087.54/1090.58 c #Conflicts: 292000 | #Constraints: 20128
1087.54/1090.58 c #Conflicts: 293000 | #Constraints: 21128
1087.54/1090.58 c #Conflicts: 294000 | #Constraints: 22128
1087.54/1090.58 c #Conflicts: 295000 | #Constraints: 23128
1087.54/1090.58 c #Conflicts: 296000 | #Constraints: 24128
1087.54/1090.58 c #Conflicts: 297000 | #Constraints: 25128
1087.54/1090.58 c #Conflicts: 298000 | #Constraints: 26128
1087.54/1090.58 c #Conflicts: 299000 | #Constraints: 27128
1087.54/1090.58 c INPROCESSING
1087.54/1090.58 c GARBAGE COLLECT
1087.54/1090.58 c #Conflicts: 300000 | #Constraints: 17323
1087.54/1090.58 c #Conflicts: 301000 | #Constraints: 18323
1087.54/1090.58 c #Conflicts: 302000 | #Constraints: 19323
1087.54/1090.58 c #Conflicts: 303000 | #Constraints: 20323
1087.54/1090.58 c #Conflicts: 304000 | #Constraints: 21323
1087.54/1090.58 c #Conflicts: 305000 | #Constraints: 22323
1087.54/1090.58 c #Conflicts: 306000 | #Constraints: 23323
1087.54/1090.58 c #Conflicts: 307000 | #Constraints: 24323
1087.54/1090.58 c #Conflicts: 308000 | #Constraints: 25323
1087.54/1090.58 c #Conflicts: 309000 | #Constraints: 26323
1087.54/1090.58 c #Conflicts: 310000 | #Constraints: 27323
1087.54/1090.58 c INPROCESSING
1087.54/1090.58 c GARBAGE COLLECT
1087.54/1090.58 c #Conflicts: 311000 | #Constraints: 17316
1087.54/1090.58 c #Conflicts: 312000 | #Constraints: 18316
1087.54/1090.58 c #Conflicts: 313000 | #Constraints: 19316
1087.54/1090.58 c #Conflicts: 314000 | #Constraints: 20316
1087.54/1090.58 c #Conflicts: 315000 | #Constraints: 21316
1087.54/1090.58 c #Conflicts: 316000 | #Constraints: 22316
1087.54/1090.58 c #Conflicts: 317000 | #Constraints: 23316
1087.54/1090.58 c #Conflicts: 318000 | #Constraints: 24316
1087.54/1090.58 c #Conflicts: 319000 | #Constraints: 25316
1087.54/1090.58 c #Conflicts: 320000 | #Constraints: 26316
1087.54/1090.58 c #Conflicts: 321000 | #Constraints: 27316
1087.54/1090.58 c INPROCESSING
1087.54/1090.58 c GARBAGE COLLECT
1087.54/1090.58 c #Conflicts: 322000 | #Constraints: 17130
1087.54/1090.58 c #Conflicts: 323000 | #Constraints: 18130
1087.54/1090.58 c #Conflicts: 324000 | #Constraints: 19130
1087.54/1090.58 c #Conflicts: 325000 | #Constraints: 20130
1087.54/1090.58 c #Conflicts: 326000 | #Constraints: 21130
1087.54/1090.58 c #Conflicts: 327000 | #Constraints: 22130
1087.54/1090.58 c #Conflicts: 328000 | #Constraints: 23130
1087.54/1090.58 c #Conflicts: 329000 | #Constraints: 24130
1087.54/1090.58 c #Conflicts: 330000 | #Constraints: 25130
1087.54/1090.58 c #Conflicts: 331000 | #Constraints: 26130
1087.54/1090.58 c #Conflicts: 332000 | #Constraints: 27130
1087.54/1090.58 c #Conflicts: 333000 | #Constraints: 28130
1087.54/1090.58 c INPROCESSING
1087.54/1090.58 c GARBAGE COLLECT
1087.54/1090.58 c #Conflicts: 334000 | #Constraints: 17740
1087.54/1090.58 c #Conflicts: 335000 | #Constraints: 18740
1087.54/1090.58 c #Conflicts: 336000 | #Constraints: 19740
1087.54/1090.58 c #Conflicts: 337000 | #Constraints: 20740
1087.54/1090.58 c #Conflicts: 338000 | #Constraints: 21740
1087.54/1090.58 c #Conflicts: 339000 | #Constraints: 22740
1087.54/1090.58 c #Conflicts: 340000 | #Constraints: 23740
1087.54/1090.58 c #Conflicts: 341000 | #Constraints: 24740
1087.54/1090.58 c #Conflicts: 342000 | #Constraints: 25740
1087.54/1090.58 c #Conflicts: 343000 | #Constraints: 26740
1087.54/1090.58 c #Conflicts: 344000 | #Constraints: 27740
1087.54/1090.58 c #Conflicts: 345000 | #Constraints: 28740
1087.54/1090.58 c INPROCESSING
1087.54/1090.58 c GARBAGE COLLECT
1087.54/1090.58 c #Conflicts: 346000 | #Constraints: 18135
1087.54/1090.58 c #Conflicts: 347000 | #Constraints: 19135
1087.54/1090.58 c #Conflicts: 348000 | #Constraints: 20135
1087.54/1090.58 c #Conflicts: 349000 | #Constraints: 21135
1087.54/1090.58 c #Conflicts: 350000 | #Constraints: 22135
1469.39/1473.50 c #Conflicts: 351000 | #Constraints: 23135
1469.39/1473.50 c #Conflicts: 352000 | #Constraints: 24135
1469.39/1473.50 c #Conflicts: 353000 | #Constraints: 25135
1469.39/1473.50 c #Conflicts: 354000 | #Constraints: 26135
1469.39/1473.50 c #Conflicts: 355000 | #Constraints: 27135
1469.39/1473.50 c #Conflicts: 356000 | #Constraints: 28135
1469.39/1473.50 c #Conflicts: 357000 | #Constraints: 29135
1469.39/1473.50 c INPROCESSING
1469.39/1473.50 c GARBAGE COLLECT
1469.39/1473.50 c #Conflicts: 358000 | #Constraints: 18342
1469.39/1473.50 c #Conflicts: 359000 | #Constraints: 19342
1469.39/1473.50 c #Conflicts: 360000 | #Constraints: 20342
1469.39/1473.50 c #Conflicts: 361000 | #Constraints: 21342
1469.39/1473.50 c #Conflicts: 362000 | #Constraints: 22342
1469.39/1473.50 c #Conflicts: 363000 | #Constraints: 23342
1469.39/1473.50 c #Conflicts: 364000 | #Constraints: 24342
1469.39/1473.50 c #Conflicts: 365000 | #Constraints: 25342
1469.39/1473.50 c #Conflicts: 366000 | #Constraints: 26342
1469.39/1473.50 c #Conflicts: 367000 | #Constraints: 27342
1469.39/1473.50 c #Conflicts: 368000 | #Constraints: 28342
1469.39/1473.50 c #Conflicts: 369000 | #Constraints: 29342
1469.39/1473.50 c INPROCESSING
1469.39/1473.50 c GARBAGE COLLECT
1469.39/1473.50 c #Conflicts: 370000 | #Constraints: 18356
1469.39/1473.50 c #Conflicts: 371000 | #Constraints: 19356
1469.39/1473.50 c #Conflicts: 372000 | #Constraints: 20356
1469.39/1473.50 c #Conflicts: 373000 | #Constraints: 21356
1469.39/1473.50 c #Conflicts: 374000 | #Constraints: 22356
1469.39/1473.50 c #Conflicts: 375000 | #Constraints: 23356
1469.39/1473.50 c #Conflicts: 376000 | #Constraints: 24356
1469.39/1473.50 c #Conflicts: 377000 | #Constraints: 25356
1469.39/1473.50 c #Conflicts: 378000 | #Constraints: 26356
1469.39/1473.50 c #Conflicts: 379000 | #Constraints: 27356
1469.39/1473.50 c #Conflicts: 380000 | #Constraints: 28356
1469.39/1473.50 c #Conflicts: 381000 | #Constraints: 29356
1469.39/1473.50 c INPROCESSING
1469.39/1473.50 c GARBAGE COLLECT
1469.39/1473.50 c #Conflicts: 382000 | #Constraints: 18155
1469.39/1473.50 c #Conflicts: 383000 | #Constraints: 19155
1469.39/1473.50 c #Conflicts: 384000 | #Constraints: 20155
1469.39/1473.50 c #Conflicts: 385000 | #Constraints: 21155
1469.39/1473.50 c #Conflicts: 386000 | #Constraints: 22155
1469.39/1473.50 c #Conflicts: 387000 | #Constraints: 23155
1469.39/1473.50 c #Conflicts: 388000 | #Constraints: 24155
1469.39/1473.50 c #Conflicts: 389000 | #Constraints: 25155
1469.39/1473.50 c #Conflicts: 390000 | #Constraints: 26155
1469.39/1473.50 c #Conflicts: 391000 | #Constraints: 27155
1469.39/1473.50 c #Conflicts: 392000 | #Constraints: 28155
1469.39/1473.50 c #Conflicts: 393000 | #Constraints: 29155
1469.39/1473.50 c #Conflicts: 394000 | #Constraints: 30155
1469.39/1473.50 c INPROCESSING
1469.39/1473.50 c GARBAGE COLLECT
1469.39/1473.50 c #Conflicts: 395000 | #Constraints: 18760
1469.39/1473.50 c #Conflicts: 396000 | #Constraints: 19760
1469.39/1473.50 c #Conflicts: 397000 | #Constraints: 20760
1469.39/1473.50 c #Conflicts: 398000 | #Constraints: 21760
1469.39/1473.50 c #Conflicts: 399000 | #Constraints: 22760
1469.39/1473.50 c #Conflicts: 400000 | #Constraints: 23760
1469.39/1473.50 c #Conflicts: 401000 | #Constraints: 24760
1469.39/1473.50 c #Conflicts: 402000 | #Constraints: 25760
1469.39/1473.50 c #Conflicts: 403000 | #Constraints: 26760
1469.39/1473.50 c #Conflicts: 404000 | #Constraints: 27760
1469.39/1473.50 c #Conflicts: 405000 | #Constraints: 28760
1469.39/1473.50 c #Conflicts: 406000 | #Constraints: 29760
1469.39/1473.50 c #Conflicts: 407000 | #Constraints: 30760
1469.39/1473.50 c INPROCESSING
1469.39/1473.50 c GARBAGE COLLECT
1469.39/1473.50 c #Conflicts: 408000 | #Constraints: 19153
1469.39/1473.50 c #Conflicts: 409000 | #Constraints: 20153
1469.39/1473.50 c #Conflicts: 410000 | #Constraints: 21153
1469.39/1473.50 c #Conflicts: 411000 | #Constraints: 22153
1469.39/1473.50 c #Conflicts: 412000 | #Constraints: 23153
1469.39/1473.50 c #Conflicts: 413000 | #Constraints: 24153
1469.39/1473.50 c #Conflicts: 414000 | #Constraints: 25153
1469.39/1473.50 c #Conflicts: 415000 | #Constraints: 26153
1469.39/1473.50 c #Conflicts: 416000 | #Constraints: 27153
1469.39/1473.50 c #Conflicts: 417000 | #Constraints: 28153
1469.39/1473.50 c #Conflicts: 418000 | #Constraints: 29153
1469.39/1473.50 c #Conflicts: 419000 | #Constraints: 30153
1469.39/1473.50 c #Conflicts: 420000 | #Constraints: 31153
1469.39/1473.50 c INPROCESSING
1469.39/1473.50 c GARBAGE COLLECT
1469.39/1473.50 c #Conflicts: 421000 | #Constraints: 19353
1469.39/1473.50 c #Conflicts: 422000 | #Constraints: 20353
1469.39/1473.50 c #Conflicts: 423000 | #Constraints: 21353
1469.39/1473.50 c #Conflicts: 424000 | #Constraints: 22353
1469.39/1473.50 c #Conflicts: 425000 | #Constraints: 23353
1784.26/1789.28 c #Conflicts: 426000 | #Constraints: 24353
1784.26/1789.28 c #Conflicts: 427000 | #Constraints: 25353
1784.26/1789.28 c #Conflicts: 428000 | #Constraints: 26353
1784.26/1789.28 c #Conflicts: 429000 | #Constraints: 27353
1784.26/1789.28 c #Conflicts: 430000 | #Constraints: 28353
1784.26/1789.28 c #Conflicts: 431000 | #Constraints: 29353
1784.26/1789.28 c #Conflicts: 432000 | #Constraints: 30353
1784.26/1789.28 c #Conflicts: 433000 | #Constraints: 31353
1784.26/1789.28 c INPROCESSING
1784.26/1789.28 c GARBAGE COLLECT
1784.26/1789.28 c #Conflicts: 434000 | #Constraints: 19353
1784.26/1789.28 c #Conflicts: 435000 | #Constraints: 20353
1784.26/1789.28 c #Conflicts: 436000 | #Constraints: 21353
1784.26/1789.28 c #Conflicts: 437000 | #Constraints: 22353
1784.26/1789.28 c #Conflicts: 438000 | #Constraints: 23353
1784.26/1789.28 c #Conflicts: 439000 | #Constraints: 24353
1784.26/1789.28 c #Conflicts: 440000 | #Constraints: 25353
1784.26/1789.28 c #Conflicts: 441000 | #Constraints: 26353
1784.26/1789.28 c #Conflicts: 442000 | #Constraints: 27353
1784.26/1789.28 c #Conflicts: 443000 | #Constraints: 28353
1784.26/1789.28 c #Conflicts: 444000 | #Constraints: 29353
1784.26/1789.28 c #Conflicts: 445000 | #Constraints: 30353
1784.26/1789.28 c #Conflicts: 446000 | #Constraints: 31353
1784.26/1789.28 c INPROCESSING
1784.26/1789.28 c GARBAGE COLLECT
1784.26/1789.28 c #Conflicts: 447000 | #Constraints: 19142
1784.26/1789.28 c #Conflicts: 448000 | #Constraints: 20142
1784.26/1789.28 c #Conflicts: 449000 | #Constraints: 21142
1784.26/1789.28 c #Conflicts: 450000 | #Constraints: 22142
1784.26/1789.28 c #Conflicts: 451000 | #Constraints: 23142
1784.26/1789.28 c #Conflicts: 452000 | #Constraints: 24142
1784.26/1789.28 c #Conflicts: 453000 | #Constraints: 25142
1784.26/1789.28 c #Conflicts: 454000 | #Constraints: 26142
1784.26/1789.28 c #Conflicts: 455000 | #Constraints: 27142
1784.26/1789.28 c #Conflicts: 456000 | #Constraints: 28142
1784.26/1789.28 c #Conflicts: 457000 | #Constraints: 29142
1784.26/1789.28 c #Conflicts: 458000 | #Constraints: 30142
1784.26/1789.28 c #Conflicts: 459000 | #Constraints: 31142
1784.26/1789.28 c #Conflicts: 460000 | #Constraints: 32142
1784.26/1789.28 c INPROCESSING
1784.26/1789.28 c GARBAGE COLLECT
1784.26/1789.28 c #Conflicts: 461000 | #Constraints: 19752
1784.26/1789.28 c #Conflicts: 462000 | #Constraints: 20752
1784.26/1789.28 c #Conflicts: 463000 | #Constraints: 21752
1784.26/1789.28 c #Conflicts: 464000 | #Constraints: 22752
1784.26/1789.28 c #Conflicts: 465000 | #Constraints: 23752
1784.26/1789.28 c #Conflicts: 466000 | #Constraints: 24752
1784.26/1789.28 c #Conflicts: 467000 | #Constraints: 25752
1784.26/1789.28 c #Conflicts: 468000 | #Constraints: 26752
1784.26/1789.28 c #Conflicts: 469000 | #Constraints: 27752
1784.26/1789.28 c #Conflicts: 470000 | #Constraints: 28752
1784.26/1789.28 c #Conflicts: 471000 | #Constraints: 29752
1784.26/1789.28 c #Conflicts: 472000 | #Constraints: 30752
1784.26/1789.28 c #Conflicts: 473000 | #Constraints: 31752
1784.26/1789.28 c #Conflicts: 474000 | #Constraints: 32752
1784.26/1789.28 c INPROCESSING
1784.26/1789.28 c GARBAGE COLLECT
1784.26/1789.28 c #Conflicts: 475000 | #Constraints: 20149
1784.26/1789.28 c #Conflicts: 476000 | #Constraints: 21149
1784.26/1789.28 c #Conflicts: 477000 | #Constraints: 22149
1784.26/1789.28 c #Conflicts: 478000 | #Constraints: 23149
1784.26/1789.28 c #Conflicts: 479000 | #Constraints: 24149
1784.26/1789.28 c #Conflicts: 480000 | #Constraints: 25149
1784.26/1789.28 c #Conflicts: 481000 | #Constraints: 26149
1784.26/1789.28 c #Conflicts: 482000 | #Constraints: 27149
1784.26/1789.28 c #Conflicts: 483000 | #Constraints: 28149
1784.26/1789.28 c #Conflicts: 484000 | #Constraints: 29149
1784.26/1789.28 c #Conflicts: 485000 | #Constraints: 30149
1784.26/1789.28 c #Conflicts: 486000 | #Constraints: 31149
1784.26/1789.28 c #Conflicts: 487000 | #Constraints: 32149
1784.26/1789.28 c #Conflicts: 488000 | #Constraints: 33149
1784.26/1789.28 c INPROCESSING
1784.26/1789.28 c GARBAGE COLLECT
1784.26/1789.28 c #Conflicts: 489000 | #Constraints: 20346
1784.26/1789.28 c #Conflicts: 490000 | #Constraints: 21346
1784.26/1789.28 c #Conflicts: 491000 | #Constraints: 22346
1784.26/1789.28 c #Conflicts: 492000 | #Constraints: 23346
1784.26/1789.28 c #Conflicts: 493000 | #Constraints: 24346
1784.26/1789.28 c #Conflicts: 494000 | #Constraints: 25346
1784.26/1789.28 c #Conflicts: 495000 | #Constraints: 26346
1784.26/1789.28 c #Conflicts: 496000 | #Constraints: 27346
1784.26/1789.28 c #Conflicts: 497000 | #Constraints: 28346
1784.26/1789.28 c #Conflicts: 498000 | #Constraints: 29346
1784.26/1789.28 c #Conflicts: 499000 | #Constraints: 30346
1784.26/1789.28 c #Conflicts: 500000 | #Constraints: 31346
1784.26/1789.28 c #Conflicts: 501000 | #Constraints: 32346
2232.72/2238.82 c #Conflicts: 502000 | #Constraints: 33346
2232.72/2238.82 c INPROCESSING
2232.72/2238.82 c GARBAGE COLLECT
2232.72/2238.82 c #Conflicts: 503000 | #Constraints: 20340
2232.72/2238.82 c #Conflicts: 504000 | #Constraints: 21340
2232.72/2238.82 c #Conflicts: 505000 | #Constraints: 22340
2232.72/2238.82 c #Conflicts: 506000 | #Constraints: 23340
2232.72/2238.82 c #Conflicts: 507000 | #Constraints: 24340
2232.72/2238.82 c #Conflicts: 508000 | #Constraints: 25340
2232.72/2238.82 c #Conflicts: 509000 | #Constraints: 26340
2232.72/2238.82 c #Conflicts: 510000 | #Constraints: 27340
2232.72/2238.82 c #Conflicts: 511000 | #Constraints: 28340
2232.72/2238.82 c #Conflicts: 512000 | #Constraints: 29340
2232.72/2238.82 c #Conflicts: 513000 | #Constraints: 30340
2232.72/2238.82 c #Conflicts: 514000 | #Constraints: 31340
2232.72/2238.82 c #Conflicts: 515000 | #Constraints: 32340
2232.72/2238.82 c #Conflicts: 516000 | #Constraints: 33340
2232.72/2238.82 c INPROCESSING
2232.72/2238.82 c GARBAGE COLLECT
2232.72/2238.82 c #Conflicts: 517000 | #Constraints: 20142
2232.72/2238.82 c #Conflicts: 518000 | #Constraints: 21142
2232.72/2238.82 c #Conflicts: 519000 | #Constraints: 22142
2232.72/2238.82 c #Conflicts: 520000 | #Constraints: 23142
2232.72/2238.82 c #Conflicts: 521000 | #Constraints: 24142
2232.72/2238.82 c #Conflicts: 522000 | #Constraints: 25142
2232.72/2238.82 c #Conflicts: 523000 | #Constraints: 26142
2232.72/2238.82 c #Conflicts: 524000 | #Constraints: 27142
2232.72/2238.82 c #Conflicts: 525000 | #Constraints: 28142
2232.72/2238.82 c #Conflicts: 526000 | #Constraints: 29142
2232.72/2238.82 c #Conflicts: 527000 | #Constraints: 30142
2232.72/2238.82 c #Conflicts: 528000 | #Constraints: 31142
2232.72/2238.82 c #Conflicts: 529000 | #Constraints: 32142
2232.72/2238.82 c #Conflicts: 530000 | #Constraints: 33142
2232.72/2238.82 c #Conflicts: 531000 | #Constraints: 34142
2232.72/2238.82 c INPROCESSING
2232.72/2238.82 c GARBAGE COLLECT
2232.72/2238.82 c #Conflicts: 532000 | #Constraints: 20751
2232.72/2238.82 c #Conflicts: 533000 | #Constraints: 21751
2232.72/2238.82 c #Conflicts: 534000 | #Constraints: 22751
2232.72/2238.82 c #Conflicts: 535000 | #Constraints: 23751
2232.72/2238.82 c #Conflicts: 536000 | #Constraints: 24751
2232.72/2238.82 c #Conflicts: 537000 | #Constraints: 25751
2232.72/2238.82 c #Conflicts: 538000 | #Constraints: 26751
2232.72/2238.82 c #Conflicts: 539000 | #Constraints: 27751
2232.72/2238.82 c #Conflicts: 540000 | #Constraints: 28751
2232.72/2238.82 c #Conflicts: 541000 | #Constraints: 29751
2232.72/2238.82 c #Conflicts: 542000 | #Constraints: 30751
2232.72/2238.82 c #Conflicts: 543000 | #Constraints: 31751
2232.72/2238.82 c #Conflicts: 544000 | #Constraints: 32751
2232.72/2238.82 c #Conflicts: 545000 | #Constraints: 33751
2232.72/2238.82 c #Conflicts: 546000 | #Constraints: 34751
2232.72/2238.82 c INPROCESSING
2232.72/2238.82 c GARBAGE COLLECT
2232.72/2238.82 c #Conflicts: 547000 | #Constraints: 21149
2232.72/2238.82 c #Conflicts: 548000 | #Constraints: 22149
2232.72/2238.82 c #Conflicts: 549000 | #Constraints: 23149
2232.72/2238.82 c #Conflicts: 550000 | #Constraints: 24149
2232.72/2238.82 c #Conflicts: 551000 | #Constraints: 25149
2232.72/2238.82 c #Conflicts: 552000 | #Constraints: 26149
2232.72/2238.82 c #Conflicts: 553000 | #Constraints: 27149
2232.72/2238.82 c #Conflicts: 554000 | #Constraints: 28149
2232.72/2238.82 c #Conflicts: 555000 | #Constraints: 29149
2232.72/2238.82 c #Conflicts: 556000 | #Constraints: 30149
2232.72/2238.82 c #Conflicts: 557000 | #Constraints: 31149
2232.72/2238.82 c #Conflicts: 558000 | #Constraints: 32149
2232.72/2238.82 c #Conflicts: 559000 | #Constraints: 33149
2232.72/2238.82 c #Conflicts: 560000 | #Constraints: 34149
2232.72/2238.82 c #Conflicts: 561000 | #Constraints: 35149
2232.72/2238.82 c INPROCESSING
2232.72/2238.82 c GARBAGE COLLECT
2232.72/2238.82 c #Conflicts: 562000 | #Constraints: 21337
2232.72/2238.82 c #Conflicts: 563000 | #Constraints: 22337
2232.72/2238.82 c #Conflicts: 564000 | #Constraints: 23337
2232.72/2238.82 c #Conflicts: 565000 | #Constraints: 24337
2232.72/2238.82 c #Conflicts: 566000 | #Constraints: 25337
2232.72/2238.82 c #Conflicts: 567000 | #Constraints: 26337
2232.72/2238.82 c #Conflicts: 568000 | #Constraints: 27337
2232.72/2238.82 c #Conflicts: 569000 | #Constraints: 28337
2232.72/2238.82 c #Conflicts: 570000 | #Constraints: 29337
2232.72/2238.82 c #Conflicts: 571000 | #Constraints: 30337
2232.72/2238.82 c #Conflicts: 572000 | #Constraints: 31337
2232.72/2238.82 c #Conflicts: 573000 | #Constraints: 32337
2232.72/2238.82 c #Conflicts: 574000 | #Constraints: 33337
2232.72/2238.82 c #Conflicts: 575000 | #Constraints: 34337
2232.72/2238.82 c #Conflicts: 576000 | #Constraints: 35337
2769.46/2776.98 c INPROCESSING
2769.46/2776.98 c GARBAGE COLLECT
2769.46/2776.98 c #Conflicts: 577000 | #Constraints: 21345
2769.46/2776.98 c #Conflicts: 578000 | #Constraints: 22345
2769.46/2776.98 c #Conflicts: 579000 | #Constraints: 23345
2769.46/2776.98 c #Conflicts: 580000 | #Constraints: 24345
2769.46/2776.98 c #Conflicts: 581000 | #Constraints: 25345
2769.46/2776.98 c #Conflicts: 582000 | #Constraints: 26345
2769.46/2776.98 c #Conflicts: 583000 | #Constraints: 27345
2769.46/2776.98 c #Conflicts: 584000 | #Constraints: 28345
2769.46/2776.98 c #Conflicts: 585000 | #Constraints: 29345
2769.46/2776.98 c #Conflicts: 586000 | #Constraints: 30345
2769.46/2776.98 c #Conflicts: 587000 | #Constraints: 31345
2769.46/2776.98 c #Conflicts: 588000 | #Constraints: 32345
2769.46/2776.98 c #Conflicts: 589000 | #Constraints: 33345
2769.46/2776.98 c #Conflicts: 590000 | #Constraints: 34345
2769.46/2776.98 c #Conflicts: 591000 | #Constraints: 35345
2769.46/2776.98 c INPROCESSING
2769.46/2776.98 c GARBAGE COLLECT
2769.46/2776.98 c #Conflicts: 592000 | #Constraints: 21148
2769.46/2776.98 c #Conflicts: 593000 | #Constraints: 22148
2769.46/2776.98 c #Conflicts: 594000 | #Constraints: 23148
2769.46/2776.98 c #Conflicts: 595000 | #Constraints: 24148
2769.46/2776.98 c #Conflicts: 596000 | #Constraints: 25148
2769.46/2776.98 c #Conflicts: 597000 | #Constraints: 26148
2769.46/2776.98 c #Conflicts: 598000 | #Constraints: 27148
2769.46/2776.98 c #Conflicts: 599000 | #Constraints: 28148
2769.46/2776.98 c #Conflicts: 600000 | #Constraints: 29148
2769.46/2776.98 c #Conflicts: 601000 | #Constraints: 30148
2769.46/2776.98 c #Conflicts: 602000 | #Constraints: 31148
2769.46/2776.98 c #Conflicts: 603000 | #Constraints: 32148
2769.46/2776.98 c #Conflicts: 604000 | #Constraints: 33148
2769.46/2776.98 c #Conflicts: 605000 | #Constraints: 34148
2769.46/2776.98 c #Conflicts: 606000 | #Constraints: 35148
2769.46/2776.98 c #Conflicts: 607000 | #Constraints: 36148
2769.46/2776.98 c INPROCESSING
2769.46/2776.98 c GARBAGE COLLECT
2769.46/2776.98 c #Conflicts: 608000 | #Constraints: 21747
2769.46/2776.98 c #Conflicts: 609000 | #Constraints: 22747
2769.46/2776.98 c #Conflicts: 610000 | #Constraints: 23747
2769.46/2776.98 c #Conflicts: 611000 | #Constraints: 24747
2769.46/2776.98 c #Conflicts: 612000 | #Constraints: 25747
2769.46/2776.98 c #Conflicts: 613000 | #Constraints: 26747
2769.46/2776.98 c #Conflicts: 614000 | #Constraints: 27747
2769.46/2776.98 c #Conflicts: 615000 | #Constraints: 28747
2769.46/2776.98 c #Conflicts: 616000 | #Constraints: 29747
2769.46/2776.98 c #Conflicts: 617000 | #Constraints: 30747
2769.46/2776.98 c #Conflicts: 618000 | #Constraints: 31747
2769.46/2776.98 c #Conflicts: 619000 | #Constraints: 32747
2769.46/2776.98 c #Conflicts: 620000 | #Constraints: 33747
2769.46/2776.98 c #Conflicts: 621000 | #Constraints: 34747
2769.46/2776.98 c #Conflicts: 622000 | #Constraints: 35747
2769.46/2776.98 c #Conflicts: 623000 | #Constraints: 36747
2769.46/2776.98 c INPROCESSING
2769.46/2776.98 c GARBAGE COLLECT
2769.46/2776.98 c #Conflicts: 624000 | #Constraints: 22149
2769.46/2776.98 c #Conflicts: 625000 | #Constraints: 23149
2769.46/2776.98 c #Conflicts: 626000 | #Constraints: 24149
2769.46/2776.98 c #Conflicts: 627000 | #Constraints: 25149
2769.46/2776.98 c #Conflicts: 628000 | #Constraints: 26149
2769.46/2776.98 c #Conflicts: 629000 | #Constraints: 27149
2769.46/2776.98 c #Conflicts: 630000 | #Constraints: 28149
2769.46/2776.98 c #Conflicts: 631000 | #Constraints: 29149
2769.46/2776.98 c #Conflicts: 632000 | #Constraints: 30149
2769.46/2776.98 c #Conflicts: 633000 | #Constraints: 31149
2769.46/2776.98 c #Conflicts: 634000 | #Constraints: 32149
2769.46/2776.98 c #Conflicts: 635000 | #Constraints: 33149
2769.46/2776.98 c #Conflicts: 636000 | #Constraints: 34149
2769.46/2776.98 c #Conflicts: 637000 | #Constraints: 35149
2769.46/2776.98 c #Conflicts: 638000 | #Constraints: 36149
2769.46/2776.98 c #Conflicts: 639000 | #Constraints: 37149
2769.46/2776.98 c INPROCESSING
2769.46/2776.98 c GARBAGE COLLECT
2769.46/2776.98 c #Conflicts: 640000 | #Constraints: 22348
2769.46/2776.98 c #Conflicts: 641000 | #Constraints: 23348
2769.46/2776.98 c #Conflicts: 642000 | #Constraints: 24348
2769.46/2776.98 c #Conflicts: 643000 | #Constraints: 25348
2769.46/2776.98 c #Conflicts: 644000 | #Constraints: 26348
2769.46/2776.98 c #Conflicts: 645000 | #Constraints: 27348
2769.46/2776.98 c #Conflicts: 646000 | #Constraints: 28348
2769.46/2776.98 c #Conflicts: 647000 | #Constraints: 29348
2769.46/2776.98 c #Conflicts: 648000 | #Constraints: 30348
2769.46/2776.98 c #Conflicts: 649000 | #Constraints: 31348
2769.46/2776.98 c #Conflicts: 650000 | #Constraints: 32348
2769.46/2776.98 c #Conflicts: 651000 | #Constraints: 33348
2769.46/2776.98 c #Conflicts: 652000 | #Constraints: 34348
3259.69/3268.40 c #Conflicts: 653000 | #Constraints: 35348
3259.69/3268.40 c #Conflicts: 654000 | #Constraints: 36348
3259.69/3268.40 c #Conflicts: 655000 | #Constraints: 37348
3259.69/3268.40 c INPROCESSING
3259.69/3268.40 c GARBAGE COLLECT
3259.69/3268.40 c #Conflicts: 656000 | #Constraints: 22357
3259.69/3268.40 c #Conflicts: 657000 | #Constraints: 23357
3259.69/3268.40 c #Conflicts: 658000 | #Constraints: 24357
3259.69/3268.40 c #Conflicts: 659000 | #Constraints: 25357
3259.69/3268.40 c #Conflicts: 660000 | #Constraints: 26357
3259.69/3268.40 c #Conflicts: 661000 | #Constraints: 27357
3259.69/3268.40 c #Conflicts: 662000 | #Constraints: 28357
3259.69/3268.40 c #Conflicts: 663000 | #Constraints: 29357
3259.69/3268.40 c #Conflicts: 664000 | #Constraints: 30357
3259.69/3268.40 c #Conflicts: 665000 | #Constraints: 31357
3259.69/3268.40 c #Conflicts: 666000 | #Constraints: 32357
3259.69/3268.40 c #Conflicts: 667000 | #Constraints: 33357
3259.69/3268.40 c #Conflicts: 668000 | #Constraints: 34357
3259.69/3268.40 c #Conflicts: 669000 | #Constraints: 35357
3259.69/3268.40 c #Conflicts: 670000 | #Constraints: 36357
3259.69/3268.40 c #Conflicts: 671000 | #Constraints: 37357
3259.69/3268.40 c INPROCESSING
3259.69/3268.40 c GARBAGE COLLECT
3259.69/3268.40 c #Conflicts: 672000 | #Constraints: 22148
3259.69/3268.40 c #Conflicts: 673000 | #Constraints: 23148
3259.69/3268.40 c #Conflicts: 674000 | #Constraints: 24148
3259.69/3268.40 c #Conflicts: 675000 | #Constraints: 25148
3259.69/3268.40 c #Conflicts: 676000 | #Constraints: 26148
3259.69/3268.40 c #Conflicts: 677000 | #Constraints: 27148
3259.69/3268.40 c #Conflicts: 678000 | #Constraints: 28148
3259.69/3268.40 c #Conflicts: 679000 | #Constraints: 29148
3259.69/3268.40 c #Conflicts: 680000 | #Constraints: 30148
3259.69/3268.40 c #Conflicts: 681000 | #Constraints: 31148
3259.69/3268.40 c #Conflicts: 682000 | #Constraints: 32148
3259.69/3268.40 c #Conflicts: 683000 | #Constraints: 33148
3259.69/3268.40 c #Conflicts: 684000 | #Constraints: 34148
3259.69/3268.40 c #Conflicts: 685000 | #Constraints: 35148
3259.69/3268.40 c #Conflicts: 686000 | #Constraints: 36148
3259.69/3268.40 c #Conflicts: 687000 | #Constraints: 37148
3259.69/3268.40 c #Conflicts: 688000 | #Constraints: 38148
3259.69/3268.40 c INPROCESSING
3259.69/3268.40 c GARBAGE COLLECT
3259.69/3268.40 c #Conflicts: 689000 | #Constraints: 22751
3259.69/3268.40 c #Conflicts: 690000 | #Constraints: 23751
3259.69/3268.40 c #Conflicts: 691000 | #Constraints: 24751
3259.69/3268.40 c #Conflicts: 692000 | #Constraints: 25751
3259.69/3268.40 c #Conflicts: 693000 | #Constraints: 26751
3259.69/3268.40 c #Conflicts: 694000 | #Constraints: 27751
3259.69/3268.40 c #Conflicts: 695000 | #Constraints: 28751
3259.69/3268.40 c #Conflicts: 696000 | #Constraints: 29751
3259.69/3268.40 c #Conflicts: 697000 | #Constraints: 30751
3259.69/3268.40 c #Conflicts: 698000 | #Constraints: 31751
3259.69/3268.40 c #Conflicts: 699000 | #Constraints: 32751
3259.69/3268.40 c #Conflicts: 700000 | #Constraints: 33751
3259.69/3268.40 c #Conflicts: 701000 | #Constraints: 34751
3259.69/3268.40 c #Conflicts: 702000 | #Constraints: 35751
3259.69/3268.40 c #Conflicts: 703000 | #Constraints: 36751
3259.69/3268.40 c #Conflicts: 704000 | #Constraints: 37751
3259.69/3268.40 c #Conflicts: 705000 | #Constraints: 38751
3259.69/3268.40 c INPROCESSING
3259.69/3268.40 c GARBAGE COLLECT
3259.69/3268.40 c #Conflicts: 706000 | #Constraints: 23162
3259.69/3268.40 c #Conflicts: 707000 | #Constraints: 24162
3259.69/3268.40 c #Conflicts: 708000 | #Constraints: 25162
3259.69/3268.40 c #Conflicts: 709000 | #Constraints: 26162
3259.69/3268.40 c #Conflicts: 710000 | #Constraints: 27162
3259.69/3268.40 c #Conflicts: 711000 | #Constraints: 28162
3259.69/3268.40 c #Conflicts: 712000 | #Constraints: 29162
3259.69/3268.40 c #Conflicts: 713000 | #Constraints: 30162
3259.69/3268.40 c #Conflicts: 714000 | #Constraints: 31162
3259.69/3268.40 c #Conflicts: 715000 | #Constraints: 32162
3259.69/3268.40 c #Conflicts: 716000 | #Constraints: 33162
3259.69/3268.40 c #Conflicts: 717000 | #Constraints: 34162
3259.69/3268.40 c #Conflicts: 718000 | #Constraints: 35162
3259.69/3268.40 c #Conflicts: 719000 | #Constraints: 36162
3259.69/3268.40 c #Conflicts: 720000 | #Constraints: 37162
3259.69/3268.40 c #Conflicts: 721000 | #Constraints: 38162
3259.69/3268.40 c #Conflicts: 722000 | #Constraints: 39162
3259.69/3268.40 c INPROCESSING
3259.69/3268.40 c GARBAGE COLLECT
3259.69/3268.40 c #Conflicts: 723000 | #Constraints: 23355
3259.69/3268.40 c #Conflicts: 724000 | #Constraints: 24355
3259.69/3268.40 c #Conflicts: 725000 | #Constraints: 25355
3259.69/3268.40 c #Conflicts: 726000 | #Constraints: 26355
3259.69/3268.40 c #Conflicts: 727000 | #Constraints: 27355
3600.00/3609.60 c #Conflicts: 728000 | #Constraints: 28355
3600.00/3609.60 c #Conflicts: 729000 | #Constraints: 29355
3600.00/3609.60 c #Conflicts: 730000 | #Constraints: 30355
3600.00/3609.60 c #Conflicts: 731000 | #Constraints: 31355
3600.00/3609.60 c #Conflicts: 732000 | #Constraints: 32355
3600.00/3609.60 c #Conflicts: 733000 | #Constraints: 33355
3600.00/3609.60 c #Conflicts: 734000 | #Constraints: 34355
3600.00/3609.60 c #Conflicts: 735000 | #Constraints: 35355
3600.00/3609.60 c #Conflicts: 736000 | #Constraints: 36355
3600.00/3609.60 c #Conflicts: 737000 | #Constraints: 37355
3600.00/3609.60 c #Conflicts: 738000 | #Constraints: 38355
3600.00/3609.60 c #Conflicts: 739000 | #Constraints: 39355
3600.00/3609.60 c INPROCESSING
3600.00/3609.60 c GARBAGE COLLECT
3600.00/3609.60 c #Conflicts: 740000 | #Constraints: 23356
3600.00/3609.60 c #Conflicts: 741000 | #Constraints: 24356
3600.00/3609.60 c #Conflicts: 742000 | #Constraints: 25356
3600.00/3609.60 c #Conflicts: 743000 | #Constraints: 26356
3600.00/3609.60 c #Conflicts: 744000 | #Constraints: 27356
3600.00/3609.60 c #Conflicts: 745000 | #Constraints: 28356
3600.00/3609.60 c #Conflicts: 746000 | #Constraints: 29356
3600.00/3609.60 c #Conflicts: 747000 | #Constraints: 30356
3600.00/3609.60 c #Conflicts: 748000 | #Constraints: 31356
3600.00/3609.60 c #Conflicts: 749000 | #Constraints: 32356
3600.00/3609.60 c #Conflicts: 750000 | #Constraints: 33356
3600.00/3609.60 c #Conflicts: 751000 | #Constraints: 34356
3600.00/3609.60 c #Conflicts: 752000 | #Constraints: 35356
3600.00/3609.60 c #Conflicts: 753000 | #Constraints: 36356
3600.00/3609.60 c #Conflicts: 754000 | #Constraints: 37356
3600.00/3609.60 c #Conflicts: 755000 | #Constraints: 38356
3600.00/3609.60 c #Conflicts: 756000 | #Constraints: 39356
3600.00/3609.60 c INPROCESSING
3600.00/3609.60 c GARBAGE COLLECT
3600.00/3609.60 c #Conflicts: 757000 | #Constraints: 23153
3600.00/3609.60 c #Conflicts: 758000 | #Constraints: 24153
3600.00/3609.60 c #Conflicts: 759000 | #Constraints: 25153
3600.00/3609.60 c #Conflicts: 760000 | #Constraints: 26153
3600.00/3609.60 c #Conflicts: 761000 | #Constraints: 27153
3600.00/3609.60 c #Conflicts: 762000 | #Constraints: 28153
3600.00/3609.60 c #Conflicts: 763000 | #Constraints: 29153
3600.00/3609.60 c #Conflicts: 764000 | #Constraints: 30153
3600.00/3609.60 c #Conflicts: 765000 | #Constraints: 31153
3600.00/3609.60 c #Conflicts: 766000 | #Constraints: 32153
3600.00/3609.60 c #Conflicts: 767000 | #Constraints: 33153
3600.00/3609.60 c #Conflicts: 768000 | #Constraints: 34153
3600.00/3609.60 c #Conflicts: 769000 | #Constraints: 35153
3600.00/3609.60 c #Conflicts: 770000 | #Constraints: 36153
3600.00/3609.60 c #Conflicts: 771000 | #Constraints: 37153
3600.00/3609.60 c Program interrupted by user.
3600.00/3609.60 c cpu time 3590.78 s
3600.00/3609.60 c deterministic time 560413496457 5.60e+11
3600.00/3609.60 c optimization time 126.779 s
3600.00/3609.60 c total solve time 3464 s
3600.00/3609.60 c core-guided solve time 3464 s
3600.00/3609.60 c propagation time 2937.92 s
3600.00/3609.60 c conflict analysis time 441.488 s
3600.00/3609.60 c propagations 91476525
3600.00/3609.60 c resolve steps 4008413
3600.00/3609.60 c decisions 6504959
3600.00/3609.60 c conflicts 771071
3600.00/3609.60 c restarts 1630
3600.00/3609.60 c inprocessing phases 78
3600.00/3609.60 c input clauses 4888
3600.00/3609.60 c input cardinalities 681
3600.00/3609.60 c input general constraints 217
3600.00/3609.60 c input average constraint length 123.69
3600.00/3609.60 c input average constraint degree 54.28
3600.00/3609.60 c learned clauses 76424
3600.00/3609.60 c learned cardinalities 38363
3600.00/3609.60 c learned general constraints 656462
3600.00/3609.60 c learned average constraint length 1227.77
3600.00/3609.60 c learned average constraint degree 58938.97
3600.00/3609.60 c watched constraints 352904
3600.00/3609.60 c counting constraints 303775
3600.00/3609.60 c gcd simplifications 13527
3600.00/3609.60 c detected cardinalities 590
3600.00/3609.60 c weakened non-implied lits 60116757
3600.00/3609.60 c weakened non-implying lits 9442
3600.00/3609.60 c original variables 1961
3600.00/3609.60 c clausal propagations 34099146
3600.00/3609.60 c cardinality propagations 2573890
3600.00/3609.60 c watched propagations 11516969
3600.00/3609.60 c counting propagations 40616204
3600.00/3609.60 c watch lookups 62778657161
3600.00/3609.60 c watch backjump lookups 60851141168
3600.00/3609.60 c watch checks 403506058479
3600.00/3609.60 c propagation checks 31082645068
3600.00/3609.60 c constraint additions 1998262250
3600.00/3609.60 c trail pops 98750846
3600.00/3609.60 c formula constraints 4000
3600.00/3609.60 c learned constraints 771249
3600.00/3609.60 c bound constraints 358
3600.00/3609.60 c core-guided constraints 1428
3600.00/3609.60 c encountered formula constraints 2842652
3600.00/3609.60 c encountered learned constraints 1675476
3600.00/3609.60 c encountered bound constraints 145
3600.00/3609.60 c encountered core-guided constraints 261211
3600.00/3609.60 c LP total time 0 s
3600.00/3609.60 c LP solve time 0 s
3600.00/3609.60 c LP constraints added 0
3600.00/3609.60 c LP constraints removed 0
3600.00/3609.60 c LP pivots internal 0
3600.00/3609.60 c LP pivots root 0
3600.00/3609.60 c LP calls 0
3600.00/3609.60 c LP optimalities 0
3600.00/3609.60 c LP no pivot count 0
3600.00/3609.60 c LP infeasibilities 0
3600.00/3609.60 c LP valid Farkas constraints 0
3600.00/3609.60 c LP learned Farkas constraints 0
3600.00/3609.60 c LP basis resets 0
3600.00/3609.60 c LP cycling count 0
3600.00/3609.60 c LP singular count 0
3600.00/3609.60 c LP no primal count 0
3600.00/3609.60 c LP no farkas count 0
3600.00/3609.60 c LP other issue count 0
3600.00/3609.60 c LP Gomory cuts 0
3600.00/3609.60 c LP learned cuts 0
3600.00/3609.60 c LP deleted cuts 0
3600.00/3609.60 c LP encountered Gomory constraints 0
3600.00/3609.60 c LP encountered Farkas constraints 0
3600.00/3609.60 c LP encountered learned Farkas constraints 0
3600.00/3609.60 c CG auxiliary variables introduced 1061
3600.00/3609.60 c CG solutions found 1
3600.00/3609.60 c CG cores constructed 193
3600.00/3609.60 c CG core cardinality constraints returned 0
3600.00/3609.60 c CG unit cores 0
3600.00/3609.60 c CG single cores 193
3600.00/3609.60 c CG blocks removed during cardinality reduction 0
3600.00/3609.60 c CG first core best 0
3600.00/3609.60 c CG decision core best 0
3600.00/3609.60 c CG core reduction tie 0
3600.00/3609.60 c CG core degree average 1.00
3600.00/3609.60 c CG core slack average 4.28
3600.00/3609.60 c CG exhausted 0
3600.00/3609.60 c CG exhaust time 12.0501 s
3600.00/3609.60 c CG trimmed 0
3600.00/3609.60 c CG trim time 0.008384 s
3600.00/3609.60 c CG minimized 0
3600.00/3609.60 c CG minimize time 0 s
3600.00/3609.60 c CG am1 prop time 0.003301 s
3600.00/3609.60 c CG # am1s reformulated 791
3600.00/3609.60 c CG lower bound derived from am1s 793
3600.00/3609.60 c CG # clausal cores 193
3600.00/3609.60 c CG # cardinality cores 0
3600.00/3609.60 c CG # pb cores 0
3600.00/3609.60 c CG # pb reforms 0
3600.00/3609.60 c CG # cores discarded because of pb reform 0
3600.00/3609.60 d LOWERBOUND 986
3600.00/3609.60 d NCORES 193
3600.00/3609.60 d NPBCORES 0
3600.00/3609.60 d NPBREFORM 0
3600.00/3609.60 d NTRIMMED 0
3600.00/3609.60 d NEXHAUSTED 0
3600.00/3609.60 d NAM1S 791
3600.00/3609.60 d AM1LB 793
3600.00/3609.60 o 1056
3600.00/3609.60 s SATISFIABLE
3600.00/3609.60 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
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 (60047 MiB free)
memory of node 1: 64473 MiB (63265 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435861-1721086941/watcher-4435861-1721086941 -o /tmp/evaluation-result-4435861-1721086941/solver-4435861-1721086941 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721083344-825194 --watchdog 3760 pb-oll-rs HOME/instance-4435861-1721086941.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=827683, runsolver pid=827680
[startup+0.101022 s]*
/proc/loadavg: 4.15 4.11 4.04 5/256 827684
/proc/meminfo: memFree=126264792/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=42880 memory=12172 CPUtime=0.09 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 1413 0 0 0 5 4 0 0 20 0 1 0 160857584 43909120 3043 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 10720 3043 1357 291 0 2254 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42880 KiB
Current children cumulated memory: 12172 KiB
[startup+0.205745 s]*
/proc/loadavg: 4.15 4.11 4.04 5/256 827684
/proc/meminfo: memFree=126261460/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=45996 memory=16140 CPUtime=0.2 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 2408 0 0 0 14 6 0 0 20 0 1 0 160857584 47099904 4035 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 11499 4035 1357 291 0 3033 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45996 KiB
Current children cumulated memory: 16140 KiB
[startup+0.305635 s]*
/proc/loadavg: 4.15 4.11 4.04 4/254 827684
/proc/meminfo: memFree=126400756/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=49200 memory=18576 CPUtime=0.3 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 3020 0 0 0 23 7 0 0 20 0 1 0 160857584 50380800 4644 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 12300 4644 1357 291 0 3834 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49200 KiB
Current children cumulated memory: 18576 KiB
[startup+0.700196 s]
/proc/loadavg: 4.15 4.11 4.04 4/253 827698
/proc/meminfo: memFree=126392252/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=72516 memory=36168 CPUtime=0.68 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 6884 0 0 0 56 12 0 0 20 0 1 0 160857584 74256384 9042 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 18129 9042 1357 291 0 9663 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 72516 KiB
Current children cumulated memory: 36168 KiB
[startup+1.50022 s]
/proc/loadavg: 4.14 4.11 4.04 5/256 827730
/proc/meminfo: memFree=126353100/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=86988 memory=52404 CPUtime=1.49 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 9867 0 0 0 130 19 0 0 20 0 1 0 160857584 89075712 13101 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 21747 13101 1418 291 0 13281 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 86988 KiB
Current children cumulated memory: 52404 KiB
[startup+3.10546 s]
/proc/loadavg: 4.14 4.11 4.04 5/256 827776
/proc/meminfo: memFree=127244176/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=104040 memory=72792 CPUtime=3.08 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 12371 0 0 0 285 23 0 0 20 0 1 0 160857584 106536960 18198 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 26010 18198 1418 291 0 17544 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 104040 KiB
Current children cumulated memory: 72792 KiB
[startup+6.30018 s]
/proc/loadavg: 4.13 4.11 4.04 5/256 827776
/proc/meminfo: memFree=127150216/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=152456 memory=99436 CPUtime=6.27 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 17563 0 0 0 596 31 0 0 20 0 1 0 160857584 156114944 24859 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 38114 24859 1418 291 0 29648 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 152456 KiB
Current children cumulated memory: 99436 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.04 5/256 827778
/proc/meminfo: memFree=127064976/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=166604 memory=125844 CPUtime=12.66 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 21586 0 0 0 1221 45 0 0 20 0 1 0 160857584 170602496 31461 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 41651 31461 1418 291 0 33185 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 166604 KiB
Current children cumulated memory: 125844 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.03 5/256 827779
/proc/meminfo: memFree=126957888/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=238108 memory=163564 CPUtime=25.43 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 29496 0 0 0 2485 58 0 0 20 0 1 0 160857584 243822592 40891 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 59527 40891 1418 291 0 51061 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 238108 KiB
Current children cumulated memory: 163564 KiB
[startup+51.1056 s]
/proc/loadavg: 4.06 4.09 4.03 5/256 827830
/proc/meminfo: memFree=127516280/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=243232 memory=198424 CPUtime=50.95 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 32598 0 0 0 5018 77 0 0 20 0 1 0 160857584 249069568 49606 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 60808 49606 1418 291 0 52342 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 243232 KiB
Current children cumulated memory: 198424 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/256 827840
/proc/meminfo: memFree=127319496/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=332476 memory=244736 CPUtime=102 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 40102 0 0 0 10090 110 0 0 20 0 1 0 160857584 340455424 61184 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 83119 61184 1418 291 0 74653 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 332476 KiB
Current children cumulated memory: 244736 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.03 5/256 827850
/proc/meminfo: memFree=127136968/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=348092 memory=272732 CPUtime=161.81 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 42767 0 0 0 16042 139 0 0 20 0 1 0 160857584 356446208 68183 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 87023 68183 1418 291 0 78557 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 348092 KiB
Current children cumulated memory: 272732 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.04 5/254 827860
/proc/meminfo: memFree=127017348/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=378944 memory=315344 CPUtime=221.67 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 47750 0 0 0 22005 162 0 0 20 0 1 0 160857584 388038656 78836 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 94736 78836 1418 291 0 86270 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 378944 KiB
Current children cumulated memory: 315344 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 4.08 4.03 5/254 827870
/proc/meminfo: memFree=126943372/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=382400 memory=331028 CPUtime=281.52 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 48767 0 0 0 27967 185 0 0 20 0 1 0 160857584 391577600 82757 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 95600 82757 1418 291 0 87134 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 382400 KiB
Current children cumulated memory: 331028 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.09 4.04 5/254 827881
/proc/meminfo: memFree=126848888/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=469516 memory=343992 CPUtime=341.37 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 50577 0 0 0 33932 205 0 0 20 0 1 0 160857584 480784384 85998 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 117379 85998 1418 291 0 108913 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 469516 KiB
Current children cumulated memory: 343992 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.04 5/254 827891
/proc/meminfo: memFree=126816232/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=471980 memory=353812 CPUtime=401.23 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 51615 0 0 0 39894 229 0 0 20 0 1 0 160857584 483307520 88453 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 117995 88453 1418 291 0 109529 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 471980 KiB
Current children cumulated memory: 353812 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.04 5/254 827901
/proc/meminfo: memFree=126766936/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=480432 memory=371632 CPUtime=461.08 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 54221 0 0 0 45859 249 0 0 20 0 1 0 160857584 491962368 92908 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 120108 92908 1418 291 0 111642 0
################
# More data... #
################
Current children cumulated memory: 677084 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/257 829453
/proc/meminfo: memFree=125540652/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=810332 memory=677352 CPUtime=2854.64 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 101453 0 0 0 284656 808 0 0 20 0 1 0 160857584 829779968 169338 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 202583 169338 1418 291 0 194117 0
Current children cumulated CPU time: 2854.64 s
Current children cumulated vsize: 810332 KiB
Current children cumulated memory: 677352 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/260 829523
/proc/meminfo: memFree=125494664/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=814296 memory=680276 CPUtime=2914.49 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 102505 0 0 0 290631 818 0 0 20 0 1 0 160857584 833839104 170069 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 203574 170069 1418 291 0 195108 0
Current children cumulated CPU time: 2914.49 s
Current children cumulated vsize: 814296 KiB
Current children cumulated memory: 680276 KiB
[startup+2982.3 s]
/proc/loadavg: 4.53 4.24 4.13 5/259 829533
/proc/meminfo: memFree=125492112/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=814296 memory=680276 CPUtime=2974.33 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 102773 0 0 0 296606 827 0 0 20 0 1 0 160857584 833839104 170069 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 203574 170069 1418 291 0 195108 0
Current children cumulated CPU time: 2974.33 s
Current children cumulated vsize: 814296 KiB
Current children cumulated memory: 680276 KiB
[startup+3042.3 s]
/proc/loadavg: 4.53 4.30 4.16 5/259 829543
/proc/meminfo: memFree=125475760/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=819164 memory=684912 CPUtime=3034.17 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 104223 0 0 0 302580 837 0 0 20 0 1 0 160857584 838823936 171228 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 204791 171228 1418 291 0 196325 0
Current children cumulated CPU time: 3034.17 s
Current children cumulated vsize: 819164 KiB
Current children cumulated memory: 684912 KiB
[startup+3102.3 s]
/proc/loadavg: 4.23 4.26 4.16 5/258 829555
/proc/meminfo: memFree=125475000/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=819164 memory=684996 CPUtime=3094.03 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 104536 0 0 0 308554 849 0 0 20 0 1 0 160857584 838823936 171249 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 204791 171249 1418 291 0 196325 0
Current children cumulated CPU time: 3094.03 s
Current children cumulated vsize: 819164 KiB
Current children cumulated memory: 684996 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.22 4.15 5/257 829565
/proc/meminfo: memFree=125464460/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=820188 memory=692092 CPUtime=3153.87 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 105028 0 0 0 314528 859 0 0 20 0 1 0 160857584 839872512 173023 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 205047 173023 1418 291 0 196581 0
Current children cumulated CPU time: 3153.87 s
Current children cumulated vsize: 820188 KiB
Current children cumulated memory: 692092 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.21 4.15 5/254 829575
/proc/meminfo: memFree=125438176/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=820188 memory=692092 CPUtime=3213.71 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 105333 0 0 0 320506 865 0 0 20 0 1 0 160857584 839872512 173023 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 205047 173023 1418 291 0 196581 0
Current children cumulated CPU time: 3213.71 s
Current children cumulated vsize: 820188 KiB
Current children cumulated memory: 692092 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.19 4.14 5/254 829585
/proc/meminfo: memFree=125409676/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=821468 memory=697124 CPUtime=3273.56 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 105837 0 0 0 326482 874 0 0 20 0 1 0 160857584 841183232 174281 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 205367 174281 1418 291 0 196901 0
Current children cumulated CPU time: 3273.56 s
Current children cumulated vsize: 821468 KiB
Current children cumulated memory: 697124 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.15 4.13 5/254 829596
/proc/meminfo: memFree=125392476/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=823700 memory=711916 CPUtime=3333.4 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 106571 0 0 0 332458 882 0 0 20 0 1 0 160857584 843468800 177979 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 205925 177979 1418 291 0 197459 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 823700 KiB
Current children cumulated memory: 711916 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.15 4.13 5/256 829610
/proc/meminfo: memFree=125384184/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=824284 memory=718956 CPUtime=3393.25 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 107040 0 0 0 338430 895 0 0 20 0 1 0 160857584 844066816 179739 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 206071 179739 1418 291 0 197605 0
Current children cumulated CPU time: 3393.25 s
Current children cumulated vsize: 824284 KiB
Current children cumulated memory: 718956 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/256 829620
/proc/meminfo: memFree=125383064/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=824724 memory=719224 CPUtime=3453.09 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 107446 0 0 0 344407 902 0 0 20 0 1 0 160857584 844517376 179806 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 206181 179806 1418 291 0 197715 0
Current children cumulated CPU time: 3453.09 s
Current children cumulated vsize: 824724 KiB
Current children cumulated memory: 719224 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.12 4.12 5/258 829635
/proc/meminfo: memFree=125377304/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=828636 memory=722692 CPUtime=3512.93 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 108584 0 0 0 350382 911 0 0 20 0 1 0 160857584 848523264 180673 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 207159 180673 1418 291 0 198693 0
Current children cumulated CPU time: 3512.93 s
Current children cumulated vsize: 828636 KiB
Current children cumulated memory: 722692 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/258 829645
/proc/meminfo: memFree=125373048/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=828636 memory=722724 CPUtime=3572.77 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 108882 0 0 0 356357 920 0 0 20 0 1 0 160857584 848523264 180681 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 207159 180681 1418 291 0 198693 0
Current children cumulated CPU time: 3572.77 s
Current children cumulated vsize: 828636 KiB
Current children cumulated memory: 722724 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.15 4.13 4.12 5/258 829649
/proc/meminfo: memFree=125349332/131524600 swapFree=131071996/131071996
[pid=827683] ppid=827680 vsize=828636 memory=734000 CPUtime=3600 cores=1,3
/proc/827683/stat : 827683 (pb-oll-rs) R 827680 827683 825182 0 -1 4194304 109040 0 0 0 359078 922 0 0 20 0 1 0 160857584 848523264 183500 134679101440 4194304 5384005 140731182108448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 6709248 140731182113815 140731182113892 140731182113892 140731182120907 0
/proc/827683/statm: 207159 183500 1418 291 0 198693 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 828636 KiB
Current children cumulated memory: 734000 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.61 s]
# the end of solver process 827683 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.78 s, system=9.2368 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.61
CPU time (s): 3600.02
CPU user time (s): 3590.78
CPU system time (s): 9.2368
CPU usage (%): 99.7342
Max. virtual memory (cumulated for all children) (KiB): 828636
Max. memory (cumulated for all children) (KiB): 734000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.78
system time used= 9.2368
maximum resident set size= 734208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109056
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= 194
involuntary context switches= 2923
# summary of solver processes directly reported to runsolver:
# pid: 827683
# total CPU time (s): 3600.02
# total CPU user time (s): 3590.78
# total CPU system time (s): 9.2368
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92441 second user time and 16.8516 second system time
The end
Begin job on nodeC020 at 2024-07-16 01:42:34
IDJOB=4435861
IDBENCH=147527
IDSOLVER=3067
FILE ID=nodeC020/4435861-1721086941
RUNJOBID= nodeC020-1721083344-825194
SLURM_JOB_ID= 7505569
Free space on /tmp= 890048 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435861-1721086941/watcher-4435861-1721086941 -o /tmp/evaluation-result-4435861-1721086941/solver-4435861-1721086941 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721083344-825194 --watchdog 3760 pb-oll-rs HOME/instance-4435861-1721086941.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fbd32e707c8d4aa66e3f5cddd7aa4984
RANDOM SEED=2071393180
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 : 3665.975
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 : 3658.276
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.097
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 : 3654.483
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 : 3666.105
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 : 3668.673
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.221
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 : 3622.372
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: 126272388 kB
MemAvailable: 127818552 kB
Buffers: 389028 kB
Cached: 1982240 kB
SwapCached: 0 kB
Active: 648240 kB
Inactive: 3984808 kB
Active(anon): 1568 kB
Inactive(anon): 2297960 kB
Active(file): 646672 kB
Inactive(file): 1686848 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 2112 kB
Writeback: 32 kB
AnonPages: 2254724 kB
Mapped: 107776 kB
Shmem: 37720 kB
KReclaimable: 104932 kB
Slab: 211352 kB
SReclaimable: 104932 kB
SUnreclaim: 106420 kB
KernelStack: 4128 kB
PageTables: 13904 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2822428 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59264 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2062336 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 02:42:44