0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.58/0.62 c [STEP] solving
0.58/0.62 c #variables 1225 #constraints 78400
0.58/0.62 c SMALL=int, LARGE=long long
0.58/0.62 c bounds - >= -1000 @ 0.456314
0.58/0.62 c stratification level: 0
0.58/0.66 c bounds - >= -999 @ 0.46263
0.58/0.66 c bounds - >= -998 @ 0.462884
0.58/0.66 c bounds - >= -997 @ 0.463111
0.58/0.66 c bounds - >= -996 @ 0.463356
0.58/0.66 c bounds - >= -995 @ 0.463652
0.58/0.66 c bounds - >= -994 @ 0.463931
0.58/0.66 c bounds - >= -993 @ 0.464217
0.58/0.66 c bounds - >= -992 @ 0.464497
0.58/0.66 c bounds - >= -991 @ 0.464777
0.58/0.66 c bounds - >= -990 @ 0.465062
0.58/0.66 c bounds - >= -989 @ 0.46535
0.58/0.66 c bounds - >= -988 @ 0.465639
0.58/0.66 c bounds - >= -987 @ 0.465927
0.58/0.66 c bounds - >= -986 @ 0.466214
0.58/0.66 c bounds - >= -985 @ 0.466497
0.58/0.66 c bounds - >= -984 @ 0.466771
0.58/0.66 c bounds - >= -983 @ 0.46705
0.58/0.66 c bounds - >= -982 @ 0.467331
0.58/0.66 c bounds - >= -981 @ 0.467617
0.58/0.66 c bounds - >= -980 @ 0.4679
0.58/0.66 c bounds - >= -979 @ 0.468184
0.58/0.66 c bounds - >= -978 @ 0.468463
0.58/0.66 c bounds - >= -977 @ 0.46876
0.58/0.66 c bounds - >= -976 @ 0.469036
0.58/0.66 c bounds - >= -975 @ 0.469317
0.58/0.66 c bounds - >= -974 @ 0.469594
0.58/0.66 c bounds - >= -973 @ 0.46988
0.58/0.66 c bounds - >= -972 @ 0.470153
0.58/0.66 c bounds - >= -971 @ 0.47044
0.58/0.66 c bounds - >= -970 @ 0.470717
0.58/0.66 c bounds - >= -969 @ 0.470999
0.58/0.66 c bounds - >= -968 @ 0.47128
0.58/0.66 c bounds - >= -967 @ 0.471572
0.58/0.66 c bounds - >= -966 @ 0.471853
0.58/0.66 c bounds - >= -965 @ 0.472142
0.58/0.66 c bounds - >= -964 @ 0.47242
0.58/0.66 c bounds - >= -963 @ 0.472713
0.58/0.66 c bounds - >= -962 @ 0.472988
0.58/0.66 c bounds - >= -961 @ 0.473285
0.58/0.66 c bounds - >= -960 @ 0.473574
0.58/0.66 c bounds - >= -959 @ 0.473862
0.58/0.66 c bounds - >= -958 @ 0.474129
0.58/0.66 c bounds - >= -957 @ 0.47441
0.58/0.66 c bounds - >= -956 @ 0.474689
0.58/0.66 c bounds - >= -955 @ 0.474968
0.58/0.66 c bounds - >= -954 @ 0.475262
0.58/0.66 c bounds - >= -953 @ 0.475535
0.58/0.66 c bounds - >= -952 @ 0.475816
0.58/0.66 c bounds - >= -951 @ 0.476096
0.58/0.66 c bounds - >= -950 @ 0.476384
0.58/0.66 c bounds - >= -949 @ 0.47667
0.58/0.66 c bounds - >= -948 @ 0.476948
0.58/0.66 c bounds - >= -947 @ 0.477228
0.58/0.66 c bounds - >= -946 @ 0.477498
0.58/0.66 c bounds - >= -945 @ 0.477774
0.58/0.66 c bounds - >= -944 @ 0.478047
0.58/0.66 c bounds - >= -943 @ 0.478349
0.58/0.66 c bounds - >= -942 @ 0.478625
0.58/0.66 c bounds - >= -941 @ 0.478894
0.58/0.66 c bounds - >= -940 @ 0.479162
0.58/0.66 c bounds - >= -939 @ 0.479442
0.58/0.66 c bounds - >= -938 @ 0.479712
0.58/0.66 c bounds - >= -937 @ 0.47999
0.58/0.66 c bounds - >= -936 @ 0.480273
0.58/0.66 c bounds - >= -935 @ 0.480554
0.58/0.66 c bounds - >= -934 @ 0.480851
0.58/0.66 c bounds - >= -933 @ 0.481123
0.58/0.66 c bounds - >= -932 @ 0.481402
0.58/0.66 c bounds - >= -931 @ 0.481679
0.58/0.66 c bounds - >= -930 @ 0.481954
0.58/0.66 c bounds - >= -929 @ 0.482234
0.58/0.66 c bounds - >= -928 @ 0.482526
0.58/0.66 c bounds - >= -927 @ 0.482821
0.58/0.66 c bounds - >= -926 @ 0.483095
0.58/0.66 c bounds - >= -925 @ 0.483368
0.58/0.66 c bounds - >= -924 @ 0.483628
0.58/0.66 c bounds - >= -923 @ 0.483899
0.58/0.66 c bounds - >= -922 @ 0.484168
0.58/0.66 c bounds - >= -921 @ 0.484449
0.58/0.66 c bounds - >= -920 @ 0.484715
0.58/0.66 c bounds - >= -919 @ 0.484999
0.58/0.66 c bounds - >= -918 @ 0.485261
0.58/0.66 c bounds - >= -917 @ 0.485537
0.58/0.66 c bounds - >= -916 @ 0.485806
0.58/0.66 c bounds - >= -915 @ 0.486084
0.58/0.66 c bounds - >= -914 @ 0.486357
0.58/0.66 c bounds - >= -913 @ 0.486635
0.58/0.66 c bounds - >= -912 @ 0.486915
0.58/0.66 c bounds - >= -911 @ 0.487205
0.58/0.66 c bounds - >= -910 @ 0.487485
0.58/0.66 c bounds - >= -909 @ 0.487759
0.58/0.66 c bounds - >= -908 @ 0.488021
0.58/0.66 c bounds - >= -907 @ 0.488297
0.58/0.66 c bounds - >= -906 @ 0.488549
0.58/0.66 c bounds - >= -905 @ 0.488816
0.58/0.66 c bounds - >= -904 @ 0.489068
0.58/0.66 c bounds - >= -903 @ 0.489347
0.58/0.66 c bounds - >= -902 @ 0.489629
0.58/0.66 c bounds - >= -901 @ 0.489896
0.58/0.66 c bounds - >= -900 @ 0.490163
0.58/0.66 c bounds - >= -899 @ 0.490443
0.58/0.66 c bounds - >= -898 @ 0.490699
0.58/0.66 c bounds - >= -897 @ 0.490966
0.58/0.67 c bounds - >= -896 @ 0.49123
0.58/0.67 c bounds - >= -895 @ 0.491502
0.58/0.67 c bounds - >= -894 @ 0.491761
0.58/0.67 c bounds - >= -893 @ 0.492042
0.58/0.67 c bounds - >= -892 @ 0.492338
0.58/0.67 c bounds - >= -891 @ 0.492609
0.58/0.67 c bounds - >= -890 @ 0.492875
0.58/0.67 c bounds - >= -889 @ 0.493138
0.58/0.67 c bounds - >= -888 @ 0.493424
0.58/0.67 c bounds - >= -887 @ 0.493681
0.58/0.67 c bounds - >= -886 @ 0.493936
0.58/0.67 c bounds - >= -885 @ 0.494202
0.58/0.67 c bounds - >= -884 @ 0.494481
0.58/0.67 c bounds - >= -883 @ 0.494747
0.58/0.67 c bounds - >= -882 @ 0.49504
0.58/0.67 c bounds - >= -881 @ 0.495334
0.58/0.67 c bounds - >= -880 @ 0.4956
0.58/0.67 c bounds - >= -879 @ 0.495865
0.58/0.67 c bounds - >= -878 @ 0.496123
0.58/0.67 c bounds - >= -877 @ 0.496375
0.58/0.67 c bounds - >= -876 @ 0.496663
0.58/0.67 c bounds - >= -875 @ 0.49692
0.58/0.67 c bounds - >= -874 @ 0.497176
0.58/0.67 c bounds - >= -873 @ 0.497473
0.58/0.67 c bounds - >= -872 @ 0.49774
0.58/0.67 c bounds - >= -871 @ 0.498004
0.58/0.67 c bounds - >= -870 @ 0.498303
0.58/0.67 c bounds - >= -869 @ 0.49856
0.58/0.67 c bounds - >= -868 @ 0.49882
0.58/0.67 c bounds - >= -867 @ 0.499095
0.58/0.67 c bounds - >= -866 @ 0.499343
0.58/0.67 c bounds - >= -865 @ 0.499592
0.58/0.67 c bounds - >= -864 @ 0.49986
0.58/0.67 c bounds - >= -863 @ 0.500135
0.58/0.67 c bounds - >= -862 @ 0.50041
0.67/0.71 c bounds - >= -861 @ 0.500714
0.67/0.71 c bounds - >= -860 @ 0.500974
0.67/0.71 c bounds - >= -859 @ 0.50124
0.67/0.71 c bounds - >= -858 @ 0.501494
0.67/0.71 c bounds - >= -857 @ 0.501768
0.67/0.71 c bounds - >= -856 @ 0.502029
0.67/0.71 c bounds - >= -855 @ 0.502324
0.67/0.71 c bounds - >= -854 @ 0.502603
0.67/0.71 c bounds - >= -853 @ 0.502886
0.67/0.71 c bounds - >= -852 @ 0.503147
0.67/0.71 c bounds - >= -851 @ 0.503421
0.67/0.71 c bounds - >= -850 @ 0.503678
0.67/0.71 c bounds - >= -849 @ 0.503968
0.67/0.71 c bounds - >= -848 @ 0.504309
0.67/0.71 c bounds - >= -847 @ 0.504575
0.67/0.71 c bounds - >= -846 @ 0.504858
0.67/0.71 c bounds - >= -845 @ 0.505136
0.67/0.71 c bounds - >= -844 @ 0.505408
0.67/0.71 c bounds - >= -843 @ 0.505692
0.67/0.71 c bounds - >= -842 @ 0.505981
0.67/0.71 c bounds - >= -841 @ 0.506091
0.67/0.71 c bounds - >= -840 @ 0.506091
0.67/0.71 c bounds - >= -839 @ 0.506091
0.67/0.71 c bounds - >= -838 @ 0.506216
0.67/0.71 c bounds - >= -837 @ 0.506516
0.67/0.71 c bounds - >= -836 @ 0.506787
0.67/0.71 c bounds - >= -835 @ 0.50702
0.67/0.71 c bounds - >= -834 @ 0.507311
0.67/0.71 c bounds - >= -833 @ 0.507639
0.67/0.71 c bounds - >= -832 @ 0.507918
0.67/0.71 c bounds - >= -831 @ 0.508214
0.67/0.71 c bounds - >= -830 @ 0.508473
0.67/0.71 c bounds - >= -829 @ 0.508726
0.67/0.71 c bounds - >= -828 @ 0.508973
0.67/0.71 c bounds - >= -827 @ 0.50929
0.67/0.71 c bounds - >= -826 @ 0.509574
0.67/0.71 c bounds - >= -825 @ 0.509865
0.67/0.71 c bounds - >= -824 @ 0.510133
0.67/0.71 c bounds - >= -823 @ 0.51039
0.67/0.71 c bounds - >= -822 @ 0.510684
0.67/0.71 c bounds - >= -821 @ 0.510998
0.67/0.71 c bounds - >= -820 @ 0.511351
0.67/0.71 c bounds - >= -819 @ 0.511634
0.67/0.71 c bounds - >= -818 @ 0.511932
0.67/0.71 c bounds - >= -817 @ 0.512221
0.67/0.71 c bounds - >= -816 @ 0.512503
0.67/0.71 c bounds - >= -815 @ 0.512793
0.67/0.71 c bounds - >= -814 @ 0.51304
0.67/0.71 c bounds - >= -813 @ 0.513335
0.67/0.71 c bounds - >= -812 @ 0.513613
0.67/0.71 c bounds - >= -811 @ 0.513887
0.67/0.71 c bounds - >= -810 @ 0.5143
0.67/0.71 c bounds - >= -809 @ 0.514554
0.67/0.71 c bounds - >= -808 @ 0.514805
0.67/0.71 c bounds - >= -807 @ 0.515128
0.67/0.71 c bounds - >= -806 @ 0.515416
0.67/0.71 c bounds - >= -805 @ 0.515688
0.67/0.71 c bounds - >= -804 @ 0.515944
0.67/0.71 c bounds - >= -803 @ 0.516057
0.67/0.71 c bounds - >= -802 @ 0.516057
0.67/0.71 c bounds - >= -801 @ 0.516057
0.67/0.71 c bounds - >= -800 @ 0.516057
0.67/0.71 c bounds - >= -799 @ 0.516345
0.67/0.71 c bounds - >= -798 @ 0.516618
0.67/0.71 c bounds - >= -797 @ 0.516864
0.67/0.71 c bounds - >= -796 @ 0.517059
0.67/0.71 c bounds - >= -795 @ 0.517059
0.67/0.71 c bounds - >= -794 @ 0.517059
0.67/0.71 c bounds - >= -793 @ 0.517059
0.67/0.71 c bounds - >= -792 @ 0.517338
0.67/0.71 c bounds - >= -791 @ 0.517607
0.67/0.71 c bounds - >= -790 @ 0.517889
0.67/0.71 c bounds - >= -789 @ 0.518153
0.67/0.71 c bounds - >= -788 @ 0.518429
0.67/0.71 c bounds - >= -787 @ 0.518693
0.67/0.71 c bounds - >= -786 @ 0.519049
0.67/0.71 c bounds - >= -785 @ 0.519306
0.67/0.71 c bounds - >= -784 @ 0.519594
0.67/0.71 c bounds - >= -783 @ 0.519895
0.67/0.71 c bounds - >= -782 @ 0.520187
0.67/0.71 c bounds - >= -781 @ 0.520466
0.67/0.71 c bounds - >= -780 @ 0.520748
0.67/0.71 c bounds - >= -779 @ 0.521024
0.67/0.71 c bounds - >= -778 @ 0.521307
0.67/0.71 c bounds - >= -777 @ 0.521606
0.67/0.71 c bounds - >= -776 @ 0.522092
0.67/0.71 c bounds - >= -775 @ 0.522349
0.67/0.71 c bounds - >= -774 @ 0.522613
0.67/0.71 c bounds - >= -773 @ 0.522917
0.67/0.71 c bounds - >= -772 @ 0.523207
0.67/0.71 c bounds - >= -771 @ 0.523496
0.67/0.71 c bounds - >= -770 @ 0.523777
0.67/0.71 c bounds - >= -769 @ 0.524056
0.67/0.71 c bounds - >= -768 @ 0.52432
0.67/0.71 c bounds - >= -767 @ 0.52457
0.67/0.71 c bounds - >= -766 @ 0.524819
0.67/0.71 c bounds - >= -765 @ 0.525115
0.67/0.71 c bounds - >= -764 @ 0.525425
0.67/0.71 c bounds - >= -763 @ 0.525786
0.67/0.71 c bounds - >= -762 @ 0.526084
0.67/0.71 c bounds - >= -761 @ 0.526382
0.67/0.71 c bounds - >= -760 @ 0.52666
0.67/0.71 c bounds - >= -759 @ 0.526935
0.67/0.71 c bounds - >= -758 @ 0.52722
0.67/0.71 c bounds - >= -757 @ 0.527494
0.67/0.71 c bounds - >= -756 @ 0.527757
0.67/0.71 c bounds - >= -755 @ 0.528218
0.67/0.71 c bounds - >= -754 @ 0.528521
0.67/0.71 c bounds - >= -753 @ 0.528818
0.67/0.71 c bounds - >= -752 @ 0.529117
0.67/0.71 c bounds - >= -751 @ 0.529535
0.67/0.71 c bounds - >= -750 @ 0.529828
0.67/0.71 c bounds - >= -749 @ 0.530091
0.67/0.71 c bounds - >= -748 @ 0.530366
0.67/0.71 c bounds - >= -747 @ 0.530808
0.67/0.71 c bounds - >= -746 @ 0.531121
0.67/0.71 c bounds - >= -745 @ 0.531417
0.67/0.71 c bounds - >= -744 @ 0.531696
0.67/0.71 c bounds - >= -743 @ 0.532278
0.67/0.71 c bounds - >= -742 @ 0.53257
0.67/0.71 c bounds - >= -741 @ 0.532848
0.67/0.71 c bounds - >= -740 @ 0.53327
0.67/0.71 c bounds - >= -739 @ 0.533583
0.67/0.71 c bounds - >= -738 @ 0.5339
0.67/0.71 c bounds - >= -737 @ 0.534508
0.67/0.71 c bounds - >= -736 @ 0.534827
0.67/0.71 c bounds - >= -735 @ 0.535146
0.67/0.71 c bounds - >= -734 @ 0.535534
0.67/0.71 c bounds - >= -733 @ 0.535848
0.67/0.71 c bounds - >= -732 @ 0.536301
0.67/0.71 c bounds - >= -731 @ 0.536612
0.67/0.71 c bounds - >= -730 @ 0.537181
0.67/0.71 c bounds - >= -729 @ 0.537541
0.67/0.71 c bounds - >= -728 @ 0.537865
0.67/0.71 c bounds - >= -727 @ 0.538161
0.67/0.71 c bounds - >= -726 @ 0.53847
0.67/0.71 c bounds - >= -725 @ 0.538768
0.67/0.72 c bounds - >= -724 @ 0.539169
0.67/0.72 c bounds - >= -723 @ 0.539478
0.67/0.72 c bounds - >= -722 @ 0.53979
0.67/0.72 c bounds - >= -721 @ 0.540293
0.67/0.72 c bounds - >= -720 @ 0.540613
0.67/0.72 c bounds - >= -719 @ 0.540903
0.67/0.72 c bounds - >= -718 @ 0.541184
0.67/0.72 c bounds - >= -717 @ 0.541474
0.67/0.72 c bounds - >= -716 @ 0.542005
0.67/0.72 c bounds - >= -715 @ 0.542483
0.67/0.72 c bounds - >= -714 @ 0.542831
0.67/0.72 c bounds - >= -713 @ 0.543304
0.67/0.72 c bounds - >= -712 @ 0.5436
0.67/0.72 c bounds - >= -711 @ 0.544109
0.67/0.72 c bounds - >= -710 @ 0.544401
0.67/0.72 c bounds - >= -709 @ 0.544696
0.67/0.72 c bounds - >= -708 @ 0.544971
0.67/0.72 c bounds - >= -707 @ 0.54542
0.67/0.72 c bounds - >= -706 @ 0.545788
0.67/0.72 c finalizing WCE round: reformulating cores
59.91/60.17 c #Conflicts: 1000 | #Constraints: 79740
59.91/60.17 c #Conflicts: 2000 | #Constraints: 80748
59.91/60.17 c INPROCESSING
59.91/60.17 c GARBAGE COLLECT
59.91/60.17 c #Conflicts: 3000 | #Constraints: 80443
59.91/60.17 c #Conflicts: 4000 | #Constraints: 81445
59.91/60.17 c INPROCESSING
59.91/60.17 c GARBAGE COLLECT
59.91/60.17 c #Conflicts: 5000 | #Constraints: 80845
59.91/60.17 c #Conflicts: 6000 | #Constraints: 81847
59.91/60.17 c INPROCESSING
59.91/60.17 c GARBAGE COLLECT
59.91/60.17 c #Conflicts: 7000 | #Constraints: 80848
59.91/60.17 c #Conflicts: 8000 | #Constraints: 81850
59.91/60.17 c #Conflicts: 9000 | #Constraints: 82854
59.91/60.17 c INPROCESSING
59.91/60.17 c GARBAGE COLLECT
59.91/60.17 c #Conflicts: 10000 | #Constraints: 81556
59.91/60.17 c #Conflicts: 11000 | #Constraints: 82558
59.91/60.17 c #Conflicts: 12000 | #Constraints: 83560
59.91/60.17 c INPROCESSING
59.91/60.17 c GARBAGE COLLECT
59.91/60.17 c #Conflicts: 13000 | #Constraints: 82013
59.91/60.17 c #Conflicts: 14000 | #Constraints: 83015
59.91/60.17 c #Conflicts: 15000 | #Constraints: 84017
59.91/60.17 c INPROCESSING
59.91/60.17 c GARBAGE COLLECT
59.91/60.17 c #Conflicts: 16000 | #Constraints: 82247
59.91/60.17 c #Conflicts: 17000 | #Constraints: 83249
59.91/60.17 c #Conflicts: 18000 | #Constraints: 84251
59.91/60.17 c INPROCESSING
59.91/60.17 c GARBAGE COLLECT
59.91/60.17 c #Conflicts: 19000 | #Constraints: 82267
59.91/60.17 c #Conflicts: 20000 | #Constraints: 83269
59.91/60.17 c #Conflicts: 21000 | #Constraints: 84280
59.91/60.17 c INPROCESSING
59.91/60.17 c GARBAGE COLLECT
59.91/60.17 c #Conflicts: 22000 | #Constraints: 82083
59.91/60.17 c #Conflicts: 23000 | #Constraints: 83085
59.91/60.17 c #Conflicts: 24000 | #Constraints: 84089
59.91/60.17 c #Conflicts: 25000 | #Constraints: 85091
59.91/60.17 c INPROCESSING
59.91/60.17 c GARBAGE COLLECT
59.91/60.17 c #Conflicts: 26000 | #Constraints: 82697
59.91/60.17 c #Conflicts: 27000 | #Constraints: 83699
59.91/60.17 c #Conflicts: 28000 | #Constraints: 84701
59.91/60.17 c #Conflicts: 29000 | #Constraints: 85705
59.91/60.17 c INPROCESSING
59.91/60.17 c GARBAGE COLLECT
59.91/60.17 c #Conflicts: 30000 | #Constraints: 83108
59.91/60.17 c #Conflicts: 31000 | #Constraints: 84110
59.91/60.17 c #Conflicts: 32000 | #Constraints: 85112
59.91/60.17 c #Conflicts: 33000 | #Constraints: 86116
59.91/60.17 c INPROCESSING
59.91/60.17 c GARBAGE COLLECT
59.91/60.17 c #Conflicts: 34000 | #Constraints: 83319
59.91/60.17 c #Conflicts: 35000 | #Constraints: 84321
59.91/60.17 c #Conflicts: 36000 | #Constraints: 85323
59.91/60.17 c #Conflicts: 37000 | #Constraints: 86327
59.91/60.17 c INPROCESSING
59.91/60.17 c GARBAGE COLLECT
59.91/60.17 c #Conflicts: 38000 | #Constraints: 83331
59.91/60.17 c #Conflicts: 39000 | #Constraints: 84333
59.91/60.17 c #Conflicts: 40000 | #Constraints: 85335
59.91/60.17 c #Conflicts: 41000 | #Constraints: 86339
59.91/60.17 c INPROCESSING
59.91/60.17 c GARBAGE COLLECT
59.91/60.17 c #Conflicts: 42000 | #Constraints: 83138
59.91/60.17 c #Conflicts: 43000 | #Constraints: 84140
59.91/60.17 c #Conflicts: 44000 | #Constraints: 85144
59.91/60.17 c #Conflicts: 45000 | #Constraints: 86146
59.91/60.17 c #Conflicts: 46000 | #Constraints: 87148
59.91/60.17 c INPROCESSING
59.91/60.17 c GARBAGE COLLECT
59.91/60.17 c #Conflicts: 47000 | #Constraints: 83754
59.91/60.17 c #Conflicts: 48000 | #Constraints: 84756
59.91/60.17 c #Conflicts: 49000 | #Constraints: 85758
59.91/60.17 c #Conflicts: 50000 | #Constraints: 86762
59.91/60.17 c #Conflicts: 51000 | #Constraints: 87764
59.91/60.17 c INPROCESSING
59.91/60.17 c GARBAGE COLLECT
59.91/60.17 c #Conflicts: 52000 | #Constraints: 84166
59.91/60.17 c #Conflicts: 53000 | #Constraints: 85168
59.91/60.17 c #Conflicts: 54000 | #Constraints: 86170
59.91/60.17 c #Conflicts: 55000 | #Constraints: 87174
59.91/60.17 c #Conflicts: 56000 | #Constraints: 88176
59.91/60.17 c INPROCESSING
59.91/60.17 c GARBAGE COLLECT
59.91/60.17 c #Conflicts: 57000 | #Constraints: 84377
59.91/60.17 c #Conflicts: 58000 | #Constraints: 85379
59.91/60.17 c #Conflicts: 59000 | #Constraints: 86381
59.91/60.17 c #Conflicts: 60000 | #Constraints: 87385
59.91/60.17 c #Conflicts: 61000 | #Constraints: 88387
59.91/60.17 c INPROCESSING
59.91/60.17 c GARBAGE COLLECT
59.91/60.17 c #Conflicts: 62000 | #Constraints: 84390
59.91/60.17 c #Conflicts: 63000 | #Constraints: 85392
59.91/60.17 c #Conflicts: 64000 | #Constraints: 86394
59.91/60.17 c #Conflicts: 65000 | #Constraints: 87398
59.91/60.17 c #Conflicts: 66000 | #Constraints: 88400
59.91/60.17 c INPROCESSING
59.91/60.17 c GARBAGE COLLECT
59.91/60.17 c #Conflicts: 67000 | #Constraints: 84201
59.91/60.17 c #Conflicts: 68000 | #Constraints: 85203
140.88/141.31 c #Conflicts: 69000 | #Constraints: 86207
140.88/141.31 c #Conflicts: 70000 | #Constraints: 87209
140.88/141.31 c #Conflicts: 71000 | #Constraints: 88211
140.88/141.31 c #Conflicts: 72000 | #Constraints: 89215
140.88/141.31 c INPROCESSING
140.88/141.31 c GARBAGE COLLECT
140.88/141.31 c #Conflicts: 73000 | #Constraints: 84818
140.88/141.31 c #Conflicts: 74000 | #Constraints: 85820
140.88/141.31 c #Conflicts: 75000 | #Constraints: 86822
140.88/141.31 c #Conflicts: 76000 | #Constraints: 87826
140.88/141.31 c #Conflicts: 77000 | #Constraints: 88828
140.88/141.31 c #Conflicts: 78000 | #Constraints: 89830
140.88/141.31 c INPROCESSING
140.88/141.31 c GARBAGE COLLECT
140.88/141.31 c #Conflicts: 79000 | #Constraints: 85231
140.88/141.31 c #Conflicts: 80000 | #Constraints: 86233
140.88/141.31 c #Conflicts: 81000 | #Constraints: 87235
140.88/141.31 c #Conflicts: 82000 | #Constraints: 88239
140.88/141.31 c #Conflicts: 83000 | #Constraints: 89241
140.88/141.31 c #Conflicts: 84000 | #Constraints: 90243
140.88/141.31 c INPROCESSING
140.88/141.31 c GARBAGE COLLECT
140.88/141.31 c #Conflicts: 85000 | #Constraints: 85449
140.88/141.31 c #Conflicts: 86000 | #Constraints: 86451
140.88/141.31 c #Conflicts: 87000 | #Constraints: 87453
140.88/141.31 c #Conflicts: 88000 | #Constraints: 88457
140.88/141.31 c #Conflicts: 89000 | #Constraints: 89459
140.88/141.31 c #Conflicts: 90000 | #Constraints: 90461
140.88/141.31 c INPROCESSING
140.88/141.31 c GARBAGE COLLECT
140.88/141.31 c #Conflicts: 91000 | #Constraints: 85465
140.88/141.31 c #Conflicts: 92000 | #Constraints: 86467
140.88/141.31 c #Conflicts: 93000 | #Constraints: 87469
140.88/141.31 c #Conflicts: 94000 | #Constraints: 88473
140.88/141.31 c #Conflicts: 95000 | #Constraints: 89475
140.88/141.31 c #Conflicts: 96000 | #Constraints: 90477
140.88/141.31 c INPROCESSING
140.88/141.31 c GARBAGE COLLECT
140.88/141.31 c #Conflicts: 97000 | #Constraints: 85280
140.88/141.31 c #Conflicts: 98000 | #Constraints: 86282
140.88/141.31 c #Conflicts: 99000 | #Constraints: 87286
140.88/141.31 c #Conflicts: 100000 | #Constraints: 88288
140.88/141.31 c #Conflicts: 101000 | #Constraints: 89290
140.88/141.31 c #Conflicts: 102000 | #Constraints: 90294
140.88/141.31 c #Conflicts: 103000 | #Constraints: 91296
140.88/141.31 c INPROCESSING
140.88/141.31 c GARBAGE COLLECT
140.88/141.31 c #Conflicts: 104000 | #Constraints: 85900
140.88/141.31 c #Conflicts: 105000 | #Constraints: 86902
140.88/141.31 c #Conflicts: 106000 | #Constraints: 87904
140.88/141.31 c #Conflicts: 107000 | #Constraints: 88908
140.88/141.31 c #Conflicts: 108000 | #Constraints: 89910
140.88/141.31 c #Conflicts: 109000 | #Constraints: 90912
140.88/141.31 c #Conflicts: 110000 | #Constraints: 91916
140.88/141.31 c INPROCESSING
140.88/141.31 c GARBAGE COLLECT
140.88/141.31 c #Conflicts: 111000 | #Constraints: 86316
140.88/141.31 c #Conflicts: 112000 | #Constraints: 87318
140.88/141.31 c #Conflicts: 113000 | #Constraints: 88320
140.88/141.31 c #Conflicts: 114000 | #Constraints: 89324
140.88/141.31 c #Conflicts: 115000 | #Constraints: 90326
140.88/141.31 c #Conflicts: 116000 | #Constraints: 91328
140.88/141.31 c #Conflicts: 117000 | #Constraints: 92332
140.88/141.31 c INPROCESSING
140.88/141.31 c GARBAGE COLLECT
140.88/141.31 c #Conflicts: 118000 | #Constraints: 86532
140.88/141.31 c #Conflicts: 119000 | #Constraints: 87534
140.88/141.31 c #Conflicts: 120000 | #Constraints: 88536
140.88/141.31 c #Conflicts: 121000 | #Constraints: 89540
140.88/141.31 c #Conflicts: 122000 | #Constraints: 90542
140.88/141.31 c #Conflicts: 123000 | #Constraints: 91544
140.88/141.31 c #Conflicts: 124000 | #Constraints: 92548
140.88/141.31 c INPROCESSING
140.88/141.31 c GARBAGE COLLECT
140.88/141.31 c #Conflicts: 125000 | #Constraints: 86551
140.88/141.31 c #Conflicts: 126000 | #Constraints: 87553
140.88/141.31 c #Conflicts: 127000 | #Constraints: 88555
140.88/141.31 c #Conflicts: 128000 | #Constraints: 89559
140.88/141.31 c #Conflicts: 129000 | #Constraints: 90561
140.88/141.31 c #Conflicts: 130000 | #Constraints: 91563
140.88/141.31 c #Conflicts: 131000 | #Constraints: 92567
140.88/141.31 c INPROCESSING
140.88/141.31 c GARBAGE COLLECT
140.88/141.31 c #Conflicts: 132000 | #Constraints: 86370
140.88/141.31 c #Conflicts: 133000 | #Constraints: 87372
140.88/141.31 c #Conflicts: 134000 | #Constraints: 88376
140.88/141.31 c #Conflicts: 135000 | #Constraints: 89378
140.88/141.31 c #Conflicts: 136000 | #Constraints: 90380
140.88/141.31 c #Conflicts: 137000 | #Constraints: 91384
140.88/141.31 c #Conflicts: 138000 | #Constraints: 92386
140.88/141.31 c #Conflicts: 139000 | #Constraints: 93388
140.88/141.31 c INPROCESSING
140.88/141.31 c GARBAGE COLLECT
140.88/141.31 c #Conflicts: 140000 | #Constraints: 86992
225.46/226.18 c #Conflicts: 141000 | #Constraints: 87994
225.46/226.18 c #Conflicts: 142000 | #Constraints: 88996
225.46/226.18 c #Conflicts: 143000 | #Constraints: 90000
225.46/226.18 c #Conflicts: 144000 | #Constraints: 91002
225.46/226.18 c #Conflicts: 145000 | #Constraints: 92004
225.46/226.18 c #Conflicts: 146000 | #Constraints: 93008
225.46/226.18 c #Conflicts: 147000 | #Constraints: 94010
225.46/226.18 c INPROCESSING
225.46/226.18 c GARBAGE COLLECT
225.46/226.18 c #Conflicts: 148000 | #Constraints: 87411
225.46/226.18 c #Conflicts: 149000 | #Constraints: 88413
225.46/226.18 c #Conflicts: 150000 | #Constraints: 89415
225.46/226.18 c #Conflicts: 151000 | #Constraints: 90419
225.46/226.18 c #Conflicts: 152000 | #Constraints: 91421
225.46/226.18 c #Conflicts: 153000 | #Constraints: 92423
225.46/226.18 c #Conflicts: 154000 | #Constraints: 93427
225.46/226.18 c #Conflicts: 155000 | #Constraints: 94429
225.46/226.18 c INPROCESSING
225.46/226.18 c GARBAGE COLLECT
225.46/226.18 c #Conflicts: 156000 | #Constraints: 87631
225.46/226.18 c #Conflicts: 157000 | #Constraints: 88633
225.46/226.18 c #Conflicts: 158000 | #Constraints: 89635
225.46/226.18 c #Conflicts: 159000 | #Constraints: 90639
225.46/226.18 c #Conflicts: 160000 | #Constraints: 91641
225.46/226.18 c #Conflicts: 161000 | #Constraints: 92643
225.46/226.18 c #Conflicts: 162000 | #Constraints: 93647
225.46/226.18 c #Conflicts: 163000 | #Constraints: 94649
225.46/226.18 c INPROCESSING
225.46/226.18 c GARBAGE COLLECT
225.46/226.18 c #Conflicts: 164000 | #Constraints: 87652
225.46/226.18 c #Conflicts: 165000 | #Constraints: 88654
225.46/226.18 c #Conflicts: 166000 | #Constraints: 89656
225.46/226.18 c #Conflicts: 167000 | #Constraints: 90660
225.46/226.18 c #Conflicts: 168000 | #Constraints: 91662
225.46/226.18 c #Conflicts: 169000 | #Constraints: 92664
225.46/226.18 c #Conflicts: 170000 | #Constraints: 93668
225.46/226.18 c #Conflicts: 171000 | #Constraints: 94670
225.46/226.18 c INPROCESSING
225.46/226.18 c GARBAGE COLLECT
225.46/226.18 c #Conflicts: 172000 | #Constraints: 87472
225.46/226.18 c #Conflicts: 173000 | #Constraints: 88474
225.46/226.18 c #Conflicts: 174000 | #Constraints: 89478
225.46/226.18 c #Conflicts: 175000 | #Constraints: 90480
225.46/226.18 c #Conflicts: 176000 | #Constraints: 91482
225.46/226.18 c #Conflicts: 177000 | #Constraints: 92486
225.46/226.18 c #Conflicts: 178000 | #Constraints: 93488
225.46/226.18 c #Conflicts: 179000 | #Constraints: 94490
225.46/226.18 c #Conflicts: 180000 | #Constraints: 95494
225.46/226.18 c INPROCESSING
225.46/226.18 c GARBAGE COLLECT
225.46/226.18 c #Conflicts: 181000 | #Constraints: 88094
225.46/226.18 c #Conflicts: 182000 | #Constraints: 89096
225.46/226.18 c #Conflicts: 183000 | #Constraints: 90098
225.46/226.18 c #Conflicts: 184000 | #Constraints: 91102
225.46/226.18 c #Conflicts: 185000 | #Constraints: 92104
225.46/226.18 c #Conflicts: 186000 | #Constraints: 93106
225.46/226.18 c #Conflicts: 187000 | #Constraints: 94110
225.46/226.18 c #Conflicts: 188000 | #Constraints: 95112
225.46/226.18 c #Conflicts: 189000 | #Constraints: 96114
225.46/226.18 c INPROCESSING
225.46/226.18 c GARBAGE COLLECT
225.46/226.18 c #Conflicts: 190000 | #Constraints: 88514
225.46/226.18 c #Conflicts: 191000 | #Constraints: 89516
225.46/226.18 c #Conflicts: 192000 | #Constraints: 90518
225.46/226.18 c #Conflicts: 193000 | #Constraints: 91522
225.46/226.18 c #Conflicts: 194000 | #Constraints: 92524
225.46/226.18 c #Conflicts: 195000 | #Constraints: 93526
225.46/226.18 c #Conflicts: 196000 | #Constraints: 94530
225.46/226.18 c #Conflicts: 197000 | #Constraints: 95532
225.46/226.18 c #Conflicts: 198000 | #Constraints: 96534
225.46/226.18 c INPROCESSING
225.46/226.18 c GARBAGE COLLECT
225.46/226.18 c #Conflicts: 199000 | #Constraints: 88738
225.46/226.18 c #Conflicts: 200000 | #Constraints: 89740
225.46/226.18 c #Conflicts: 201000 | #Constraints: 90742
225.46/226.18 c #Conflicts: 202000 | #Constraints: 91746
225.46/226.18 c #Conflicts: 203000 | #Constraints: 92748
225.46/226.18 c #Conflicts: 204000 | #Constraints: 93750
225.46/226.18 c #Conflicts: 205000 | #Constraints: 94754
225.46/226.18 c #Conflicts: 206000 | #Constraints: 95756
225.46/226.18 c #Conflicts: 207000 | #Constraints: 96758
225.46/226.18 c INPROCESSING
225.46/226.18 c GARBAGE COLLECT
225.46/226.18 c #Conflicts: 208000 | #Constraints: 88762
225.46/226.18 c #Conflicts: 209000 | #Constraints: 89764
225.46/226.18 c #Conflicts: 210000 | #Constraints: 90766
225.46/226.18 c #Conflicts: 211000 | #Constraints: 91770
225.46/226.18 c #Conflicts: 212000 | #Constraints: 92772
225.46/226.18 c #Conflicts: 213000 | #Constraints: 93774
310.90/311.87 c #Conflicts: 214000 | #Constraints: 94778
310.90/311.87 c #Conflicts: 215000 | #Constraints: 95780
310.90/311.87 c #Conflicts: 216000 | #Constraints: 96782
310.90/311.87 c INPROCESSING
310.90/311.87 c GARBAGE COLLECT
310.90/311.87 c #Conflicts: 217000 | #Constraints: 88588
310.90/311.87 c #Conflicts: 218000 | #Constraints: 89590
310.90/311.87 c #Conflicts: 219000 | #Constraints: 90594
310.90/311.87 c #Conflicts: 220000 | #Constraints: 91596
310.90/311.87 c #Conflicts: 221000 | #Constraints: 92598
310.90/311.87 c #Conflicts: 222000 | #Constraints: 93602
310.90/311.87 c #Conflicts: 223000 | #Constraints: 94604
310.90/311.87 c #Conflicts: 224000 | #Constraints: 95606
310.90/311.87 c bounds -584 >= -706 @ 237.53
310.90/311.87 c bounds -584 >= -705 @ 237.537
310.90/311.87 c bounds -584 >= -704 @ 237.538
310.90/311.87 c bounds -584 >= -703 @ 237.54
310.90/311.87 c bounds -584 >= -702 @ 237.541
310.90/311.87 c bounds -584 >= -701 @ 237.542
310.90/311.87 c bounds -584 >= -700 @ 237.543
310.90/311.87 c bounds -584 >= -699 @ 237.547
310.90/311.87 c bounds -584 >= -698 @ 237.55
310.90/311.87 c bounds -584 >= -697 @ 237.554
310.90/311.87 c bounds -584 >= -696 @ 237.558
310.90/311.87 c bounds -584 >= -695 @ 237.559
310.90/311.87 c bounds -584 >= -694 @ 237.561
310.90/311.87 c bounds -584 >= -693 @ 237.563
310.90/311.87 c bounds -584 >= -692 @ 237.572
310.90/311.87 c bounds -584 >= -691 @ 237.582
310.90/311.87 c bounds -584 >= -690 @ 237.599
310.90/311.87 c bounds -584 >= -689 @ 237.624
310.90/311.87 c bounds -584 >= -688 @ 237.645
310.90/311.87 c bounds -584 >= -687 @ 237.678
310.90/311.87 c bounds -584 >= -686 @ 237.702
310.90/311.87 c bounds -584 >= -685 @ 237.768
310.90/311.87 c #Conflicts: 225000 | #Constraints: 97532
310.90/311.87 c bounds -584 >= -684 @ 237.955
310.90/311.87 c bounds -584 >= -683 @ 238.576
310.90/311.87 c #Conflicts: 226000 | #Constraints: 98597
310.90/311.87 c INPROCESSING
310.90/311.87 c GARBAGE COLLECT
310.90/311.87 c #Conflicts: 227000 | #Constraints: 89972
310.90/311.87 c #Conflicts: 228000 | #Constraints: 90972
310.90/311.87 c #Conflicts: 229000 | #Constraints: 91972
310.90/311.87 c #Conflicts: 230000 | #Constraints: 92972
310.90/311.87 c #Conflicts: 231000 | #Constraints: 93972
310.90/311.87 c #Conflicts: 232000 | #Constraints: 94972
310.90/311.87 c #Conflicts: 233000 | #Constraints: 95972
310.90/311.87 c #Conflicts: 234000 | #Constraints: 96972
310.90/311.87 c #Conflicts: 235000 | #Constraints: 97972
310.90/311.87 c #Conflicts: 236000 | #Constraints: 98972
310.90/311.87 c INPROCESSING
310.90/311.87 c GARBAGE COLLECT
310.90/311.87 c #Conflicts: 237000 | #Constraints: 90216
310.90/311.87 c #Conflicts: 238000 | #Constraints: 91216
310.90/311.87 c #Conflicts: 239000 | #Constraints: 92216
310.90/311.87 c #Conflicts: 240000 | #Constraints: 93216
310.90/311.87 c #Conflicts: 241000 | #Constraints: 94216
310.90/311.87 c #Conflicts: 242000 | #Constraints: 95216
310.90/311.87 c #Conflicts: 243000 | #Constraints: 96216
310.90/311.87 c #Conflicts: 244000 | #Constraints: 97216
310.90/311.87 c #Conflicts: 245000 | #Constraints: 98216
310.90/311.87 c #Conflicts: 246000 | #Constraints: 99216
310.90/311.87 c INPROCESSING
310.90/311.87 c GARBAGE COLLECT
310.90/311.87 c #Conflicts: 247000 | #Constraints: 90334
310.90/311.87 c #Conflicts: 248000 | #Constraints: 91334
310.90/311.87 c #Conflicts: 249000 | #Constraints: 92334
310.90/311.87 c #Conflicts: 250000 | #Constraints: 93334
310.90/311.87 c #Conflicts: 251000 | #Constraints: 94334
310.90/311.87 c #Conflicts: 252000 | #Constraints: 95334
310.90/311.87 c #Conflicts: 253000 | #Constraints: 96334
310.90/311.87 c #Conflicts: 254000 | #Constraints: 97334
310.90/311.87 c #Conflicts: 255000 | #Constraints: 98334
310.90/311.87 c #Conflicts: 256000 | #Constraints: 99334
310.90/311.87 c INPROCESSING
310.90/311.87 c GARBAGE COLLECT
310.90/311.87 c #Conflicts: 257000 | #Constraints: 90275
310.90/311.87 c #Conflicts: 258000 | #Constraints: 91275
310.90/311.87 c #Conflicts: 259000 | #Constraints: 92275
310.90/311.87 c #Conflicts: 260000 | #Constraints: 93275
310.90/311.87 c #Conflicts: 261000 | #Constraints: 94275
310.90/311.87 c #Conflicts: 262000 | #Constraints: 95275
310.90/311.87 c #Conflicts: 263000 | #Constraints: 96275
310.90/311.87 c #Conflicts: 264000 | #Constraints: 97275
310.90/311.87 c #Conflicts: 265000 | #Constraints: 98275
310.90/311.87 c #Conflicts: 266000 | #Constraints: 99275
310.90/311.87 c INPROCESSING
310.90/311.87 c GARBAGE COLLECT
310.90/311.87 c #Conflicts: 267000 | #Constraints: 90058
310.90/311.87 c #Conflicts: 268000 | #Constraints: 91058
310.90/311.87 c #Conflicts: 269000 | #Constraints: 92058
310.90/311.87 c #Conflicts: 270000 | #Constraints: 93058
310.90/311.87 c #Conflicts: 271000 | #Constraints: 94058
310.90/311.87 c #Conflicts: 272000 | #Constraints: 95058
310.90/311.87 c #Conflicts: 273000 | #Constraints: 96058
310.90/311.87 c #Conflicts: 274000 | #Constraints: 97058
442.83/444.16 c #Conflicts: 275000 | #Constraints: 98058
442.83/444.16 c #Conflicts: 276000 | #Constraints: 99058
442.83/444.16 c #Conflicts: 277000 | #Constraints: 100058
442.83/444.16 c INPROCESSING
442.83/444.16 c GARBAGE COLLECT
442.83/444.16 c #Conflicts: 278000 | #Constraints: 90647
442.83/444.16 c #Conflicts: 279000 | #Constraints: 91647
442.83/444.16 c #Conflicts: 280000 | #Constraints: 92647
442.83/444.16 c #Conflicts: 281000 | #Constraints: 93647
442.83/444.16 c #Conflicts: 282000 | #Constraints: 94647
442.83/444.16 c #Conflicts: 283000 | #Constraints: 95647
442.83/444.16 c #Conflicts: 284000 | #Constraints: 96647
442.83/444.16 c #Conflicts: 285000 | #Constraints: 97647
442.83/444.16 c #Conflicts: 286000 | #Constraints: 98647
442.83/444.16 c #Conflicts: 287000 | #Constraints: 99647
442.83/444.16 c #Conflicts: 288000 | #Constraints: 100647
442.83/444.16 c INPROCESSING
442.83/444.16 c GARBAGE COLLECT
442.83/444.16 c #Conflicts: 289000 | #Constraints: 91058
442.83/444.16 c #Conflicts: 290000 | #Constraints: 92058
442.83/444.16 c #Conflicts: 291000 | #Constraints: 93058
442.83/444.16 c #Conflicts: 292000 | #Constraints: 94058
442.83/444.16 c #Conflicts: 293000 | #Constraints: 95058
442.83/444.16 c #Conflicts: 294000 | #Constraints: 96058
442.83/444.16 c #Conflicts: 295000 | #Constraints: 97058
442.83/444.16 c #Conflicts: 296000 | #Constraints: 98058
442.83/444.16 c #Conflicts: 297000 | #Constraints: 99058
442.83/444.16 c #Conflicts: 298000 | #Constraints: 100058
442.83/444.16 c #Conflicts: 299000 | #Constraints: 101058
442.83/444.16 c INPROCESSING
442.83/444.16 c GARBAGE COLLECT
442.83/444.16 c #Conflicts: 300000 | #Constraints: 91236
442.83/444.16 c #Conflicts: 301000 | #Constraints: 92236
442.83/444.16 c #Conflicts: 302000 | #Constraints: 93236
442.83/444.16 c #Conflicts: 303000 | #Constraints: 94236
442.83/444.16 c #Conflicts: 304000 | #Constraints: 95236
442.83/444.16 c #Conflicts: 305000 | #Constraints: 96236
442.83/444.16 c #Conflicts: 306000 | #Constraints: 97236
442.83/444.16 c #Conflicts: 307000 | #Constraints: 98236
442.83/444.16 c #Conflicts: 308000 | #Constraints: 99236
442.83/444.16 c #Conflicts: 309000 | #Constraints: 100236
442.83/444.16 c #Conflicts: 310000 | #Constraints: 101236
442.83/444.16 c INPROCESSING
442.83/444.16 c GARBAGE COLLECT
442.83/444.16 c #Conflicts: 311000 | #Constraints: 91235
442.83/444.16 c #Conflicts: 312000 | #Constraints: 92235
442.83/444.16 c #Conflicts: 313000 | #Constraints: 93235
442.83/444.16 c #Conflicts: 314000 | #Constraints: 94235
442.83/444.16 c #Conflicts: 315000 | #Constraints: 95235
442.83/444.16 c #Conflicts: 316000 | #Constraints: 96235
442.83/444.16 c #Conflicts: 317000 | #Constraints: 97235
442.83/444.16 c #Conflicts: 318000 | #Constraints: 98235
442.83/444.16 c #Conflicts: 319000 | #Constraints: 99235
442.83/444.16 c #Conflicts: 320000 | #Constraints: 100235
442.83/444.16 c #Conflicts: 321000 | #Constraints: 101235
442.83/444.16 c INPROCESSING
442.83/444.16 c GARBAGE COLLECT
442.83/444.16 c #Conflicts: 322000 | #Constraints: 91043
442.83/444.16 c #Conflicts: 323000 | #Constraints: 92043
442.83/444.16 c #Conflicts: 324000 | #Constraints: 93043
442.83/444.16 c #Conflicts: 325000 | #Constraints: 94043
442.83/444.16 c #Conflicts: 326000 | #Constraints: 95043
442.83/444.16 c #Conflicts: 327000 | #Constraints: 96043
442.83/444.16 c #Conflicts: 328000 | #Constraints: 97043
442.83/444.16 c #Conflicts: 329000 | #Constraints: 98043
442.83/444.16 c #Conflicts: 330000 | #Constraints: 99043
442.83/444.16 c #Conflicts: 331000 | #Constraints: 100043
442.83/444.16 c #Conflicts: 332000 | #Constraints: 101043
442.83/444.16 c #Conflicts: 333000 | #Constraints: 102043
442.83/444.16 c INPROCESSING
442.83/444.16 c GARBAGE COLLECT
442.83/444.16 c #Conflicts: 334000 | #Constraints: 91643
442.83/444.16 c #Conflicts: 335000 | #Constraints: 92643
442.83/444.16 c #Conflicts: 336000 | #Constraints: 93643
442.83/444.16 c #Conflicts: 337000 | #Constraints: 94643
442.83/444.16 c #Conflicts: 338000 | #Constraints: 95643
442.83/444.16 c #Conflicts: 339000 | #Constraints: 96643
442.83/444.16 c #Conflicts: 340000 | #Constraints: 97643
442.83/444.16 c #Conflicts: 341000 | #Constraints: 98643
442.83/444.16 c #Conflicts: 342000 | #Constraints: 99643
442.83/444.16 c #Conflicts: 343000 | #Constraints: 100643
442.83/444.16 c #Conflicts: 344000 | #Constraints: 101643
442.83/444.16 c #Conflicts: 345000 | #Constraints: 102643
442.83/444.16 c INPROCESSING
442.83/444.16 c GARBAGE COLLECT
442.83/444.16 c #Conflicts: 346000 | #Constraints: 92037
442.83/444.16 c #Conflicts: 347000 | #Constraints: 93037
442.83/444.16 c #Conflicts: 348000 | #Constraints: 94037
545.42/547.04 c #Conflicts: 349000 | #Constraints: 95037
545.42/547.04 c #Conflicts: 350000 | #Constraints: 96037
545.42/547.04 c #Conflicts: 351000 | #Constraints: 97037
545.42/547.04 c #Conflicts: 352000 | #Constraints: 98037
545.42/547.04 c #Conflicts: 353000 | #Constraints: 99037
545.42/547.04 c #Conflicts: 354000 | #Constraints: 100037
545.42/547.04 c #Conflicts: 355000 | #Constraints: 101037
545.42/547.04 c #Conflicts: 356000 | #Constraints: 102037
545.42/547.04 c #Conflicts: 357000 | #Constraints: 103037
545.42/547.04 c INPROCESSING
545.42/547.04 c GARBAGE COLLECT
545.42/547.04 c #Conflicts: 358000 | #Constraints: 92237
545.42/547.04 c #Conflicts: 359000 | #Constraints: 93237
545.42/547.04 c #Conflicts: 360000 | #Constraints: 94237
545.42/547.04 c #Conflicts: 361000 | #Constraints: 95237
545.42/547.04 c #Conflicts: 362000 | #Constraints: 96237
545.42/547.04 c #Conflicts: 363000 | #Constraints: 97237
545.42/547.04 c #Conflicts: 364000 | #Constraints: 98237
545.42/547.04 c #Conflicts: 365000 | #Constraints: 99237
545.42/547.04 c #Conflicts: 366000 | #Constraints: 100237
545.42/547.04 c #Conflicts: 367000 | #Constraints: 101237
545.42/547.04 c #Conflicts: 368000 | #Constraints: 102237
545.42/547.04 c #Conflicts: 369000 | #Constraints: 103237
545.42/547.04 c INPROCESSING
545.42/547.04 c GARBAGE COLLECT
545.42/547.04 c #Conflicts: 370000 | #Constraints: 92247
545.42/547.04 c #Conflicts: 371000 | #Constraints: 93247
545.42/547.04 c #Conflicts: 372000 | #Constraints: 94247
545.42/547.04 c #Conflicts: 373000 | #Constraints: 95247
545.42/547.04 c #Conflicts: 374000 | #Constraints: 96247
545.42/547.04 c #Conflicts: 375000 | #Constraints: 97247
545.42/547.04 c #Conflicts: 376000 | #Constraints: 98247
545.42/547.04 c #Conflicts: 377000 | #Constraints: 99247
545.42/547.04 c #Conflicts: 378000 | #Constraints: 100247
545.42/547.04 c #Conflicts: 379000 | #Constraints: 101247
545.42/547.04 c #Conflicts: 380000 | #Constraints: 102247
545.42/547.04 c #Conflicts: 381000 | #Constraints: 103247
545.42/547.04 c INPROCESSING
545.42/547.04 c GARBAGE COLLECT
545.42/547.04 c #Conflicts: 382000 | #Constraints: 92040
545.42/547.04 c #Conflicts: 383000 | #Constraints: 93040
545.42/547.04 c #Conflicts: 384000 | #Constraints: 94040
545.42/547.04 c #Conflicts: 385000 | #Constraints: 95040
545.42/547.04 c #Conflicts: 386000 | #Constraints: 96040
545.42/547.04 c #Conflicts: 387000 | #Constraints: 97040
545.42/547.04 c #Conflicts: 388000 | #Constraints: 98040
545.42/547.04 c #Conflicts: 389000 | #Constraints: 99040
545.42/547.04 c #Conflicts: 390000 | #Constraints: 100040
545.42/547.04 c #Conflicts: 391000 | #Constraints: 101040
545.42/547.04 c #Conflicts: 392000 | #Constraints: 102040
545.42/547.04 c #Conflicts: 393000 | #Constraints: 103040
545.42/547.04 c #Conflicts: 394000 | #Constraints: 104040
545.42/547.04 c INPROCESSING
545.42/547.04 c GARBAGE COLLECT
545.42/547.04 c #Conflicts: 395000 | #Constraints: 92635
545.42/547.04 c #Conflicts: 396000 | #Constraints: 93635
545.42/547.04 c #Conflicts: 397000 | #Constraints: 94635
545.42/547.04 c #Conflicts: 398000 | #Constraints: 95635
545.42/547.04 c #Conflicts: 399000 | #Constraints: 96635
545.42/547.04 c #Conflicts: 400000 | #Constraints: 97635
545.42/547.04 c #Conflicts: 401000 | #Constraints: 98635
545.42/547.04 c #Conflicts: 402000 | #Constraints: 99635
545.42/547.04 c #Conflicts: 403000 | #Constraints: 100635
545.42/547.04 c #Conflicts: 404000 | #Constraints: 101635
545.42/547.04 c #Conflicts: 405000 | #Constraints: 102635
545.42/547.04 c #Conflicts: 406000 | #Constraints: 103635
545.42/547.04 c finalizing WCE round: reformulating cores
657.54/659.51 c #Conflicts: 407000 | #Constraints: 104638
657.54/659.51 c INPROCESSING
657.54/659.51 c GARBAGE COLLECT
657.54/659.51 c #Conflicts: 408000 | #Constraints: 93052
657.54/659.51 c #Conflicts: 409000 | #Constraints: 94054
657.54/659.51 c bounds -592 >= -701 @ 547.247
657.54/659.51 c #Conflicts: 410000 | #Constraints: 95058
657.54/659.51 c #Conflicts: 411000 | #Constraints: 96060
657.54/659.51 c #Conflicts: 412000 | #Constraints: 97062
657.54/659.51 c bounds -592 >= -697 @ 550.16
657.54/659.51 c #Conflicts: 413000 | #Constraints: 98066
657.54/659.51 c #Conflicts: 414000 | #Constraints: 99068
657.54/659.51 c #Conflicts: 415000 | #Constraints: 100072
657.54/659.51 c #Conflicts: 416000 | #Constraints: 101074
657.54/659.51 c #Conflicts: 417000 | #Constraints: 102076
657.54/659.51 c #Conflicts: 418000 | #Constraints: 103080
657.54/659.51 c #Conflicts: 419000 | #Constraints: 104082
657.54/659.51 c #Conflicts: 420000 | #Constraints: 105084
657.54/659.51 c INPROCESSING
657.54/659.51 c GARBAGE COLLECT
657.54/659.51 c #Conflicts: 421000 | #Constraints: 93027
657.54/659.51 c #Conflicts: 422000 | #Constraints: 94029
657.54/659.51 c #Conflicts: 423000 | #Constraints: 95031
657.54/659.51 c #Conflicts: 424000 | #Constraints: 96035
657.54/659.51 c #Conflicts: 425000 | #Constraints: 97037
657.54/659.51 c bounds -592 >= -681 @ 569.962
657.54/659.51 c bounds -592 >= -680 @ 569.969
657.54/659.51 c bounds -592 >= -679 @ 569.977
657.54/659.51 c bounds -592 >= -678 @ 569.992
657.54/659.51 c bounds -592 >= -677 @ 570.06
657.54/659.51 c bounds -592 >= -676 @ 570.257
657.54/659.51 c #Conflicts: 426000 | #Constraints: 98207
657.54/659.51 c #Conflicts: 427000 | #Constraints: 99207
657.54/659.51 c #Conflicts: 428000 | #Constraints: 100207
657.54/659.51 c #Conflicts: 429000 | #Constraints: 101207
657.54/659.51 c #Conflicts: 430000 | #Constraints: 102207
657.54/659.51 c #Conflicts: 431000 | #Constraints: 103207
657.54/659.51 c #Conflicts: 432000 | #Constraints: 104207
657.54/659.51 c #Conflicts: 433000 | #Constraints: 105207
657.54/659.51 c INPROCESSING
657.54/659.51 c GARBAGE COLLECT
657.54/659.51 c #Conflicts: 434000 | #Constraints: 93296
657.54/659.51 c #Conflicts: 435000 | #Constraints: 94296
657.54/659.51 c #Conflicts: 436000 | #Constraints: 95296
657.54/659.51 c #Conflicts: 437000 | #Constraints: 96296
657.54/659.51 c bounds -592 >= -675 @ 582.99
657.54/659.51 c #Conflicts: 438000 | #Constraints: 97363
657.54/659.51 c #Conflicts: 439000 | #Constraints: 98363
657.54/659.51 c #Conflicts: 440000 | #Constraints: 99363
657.54/659.51 c #Conflicts: 441000 | #Constraints: 100363
657.54/659.51 c #Conflicts: 442000 | #Constraints: 101363
657.54/659.51 c #Conflicts: 443000 | #Constraints: 102363
657.54/659.51 c #Conflicts: 444000 | #Constraints: 103363
657.54/659.51 c #Conflicts: 445000 | #Constraints: 104363
657.54/659.51 c #Conflicts: 446000 | #Constraints: 105363
657.54/659.51 c INPROCESSING
657.54/659.51 c GARBAGE COLLECT
657.54/659.51 c #Conflicts: 447000 | #Constraints: 93205
657.54/659.51 c #Conflicts: 448000 | #Constraints: 94205
657.54/659.51 c #Conflicts: 449000 | #Constraints: 95205
657.54/659.51 c #Conflicts: 450000 | #Constraints: 96205
657.54/659.51 c #Conflicts: 451000 | #Constraints: 97205
657.54/659.51 c #Conflicts: 452000 | #Constraints: 98205
657.54/659.51 c #Conflicts: 453000 | #Constraints: 99205
657.54/659.51 c #Conflicts: 454000 | #Constraints: 100205
657.54/659.51 c #Conflicts: 455000 | #Constraints: 101205
657.54/659.51 c #Conflicts: 456000 | #Constraints: 102205
657.54/659.51 c #Conflicts: 457000 | #Constraints: 103205
657.54/659.51 c #Conflicts: 458000 | #Constraints: 104205
657.54/659.51 c #Conflicts: 459000 | #Constraints: 105205
657.54/659.51 c #Conflicts: 460000 | #Constraints: 106205
657.54/659.51 c INPROCESSING
657.54/659.51 c GARBAGE COLLECT
657.54/659.51 c #Conflicts: 461000 | #Constraints: 93848
657.54/659.51 c #Conflicts: 462000 | #Constraints: 94848
657.54/659.51 c #Conflicts: 463000 | #Constraints: 95848
657.54/659.51 c #Conflicts: 464000 | #Constraints: 96848
657.54/659.51 c #Conflicts: 465000 | #Constraints: 97848
657.54/659.51 c #Conflicts: 466000 | #Constraints: 98848
657.54/659.51 c #Conflicts: 467000 | #Constraints: 99848
657.54/659.51 c #Conflicts: 468000 | #Constraints: 100848
657.54/659.51 c #Conflicts: 469000 | #Constraints: 101848
657.54/659.51 c #Conflicts: 470000 | #Constraints: 102848
657.54/659.51 c #Conflicts: 471000 | #Constraints: 103848
657.54/659.51 c #Conflicts: 472000 | #Constraints: 104848
657.54/659.51 c #Conflicts: 473000 | #Constraints: 105848
657.54/659.51 c #Conflicts: 474000 | #Constraints: 106848
657.54/659.51 c #Conflicts: 475000 | #Constraints: 107848
657.54/659.51 c #Conflicts: 476000 | #Constraints: 108848
657.54/659.51 c #Conflicts: 477000 | #Constraints: 109848
1216.59/1220.41 c #Conflicts: 478000 | #Constraints: 110848
1216.59/1220.41 c bounds -592 >= -674 @ 658.365
1216.59/1220.41 c #Conflicts: 479000 | #Constraints: 111888
1216.59/1220.41 c #Conflicts: 480000 | #Constraints: 112888
1216.59/1220.41 c #Conflicts: 481000 | #Constraints: 113888
1216.59/1220.41 c #Conflicts: 482000 | #Constraints: 114888
1216.59/1220.41 c #Conflicts: 483000 | #Constraints: 115888
1216.59/1220.41 c #Conflicts: 484000 | #Constraints: 116888
1216.59/1220.41 c #Conflicts: 485000 | #Constraints: 117888
1216.59/1220.41 c #Conflicts: 486000 | #Constraints: 118888
1216.59/1220.41 c #Conflicts: 487000 | #Constraints: 119888
1216.59/1220.41 c #Conflicts: 488000 | #Constraints: 120888
1216.59/1220.41 c #Conflicts: 489000 | #Constraints: 121888
1216.59/1220.41 c #Conflicts: 490000 | #Constraints: 122888
1216.59/1220.41 c #Conflicts: 491000 | #Constraints: 123888
1216.59/1220.41 c #Conflicts: 492000 | #Constraints: 124888
1216.59/1220.41 c #Conflicts: 493000 | #Constraints: 125888
1216.59/1220.41 c #Conflicts: 494000 | #Constraints: 126888
1216.59/1220.41 c #Conflicts: 495000 | #Constraints: 127888
1216.59/1220.41 c #Conflicts: 496000 | #Constraints: 128888
1216.59/1220.41 c #Conflicts: 497000 | #Constraints: 129888
1216.59/1220.41 c #Conflicts: 498000 | #Constraints: 130888
1216.59/1220.41 c #Conflicts: 499000 | #Constraints: 131888
1216.59/1220.41 c #Conflicts: 500000 | #Constraints: 132888
1216.59/1220.41 c #Conflicts: 501000 | #Constraints: 133888
1216.59/1220.41 c #Conflicts: 502000 | #Constraints: 134888
1216.59/1220.41 c #Conflicts: 503000 | #Constraints: 135888
1216.59/1220.41 c #Conflicts: 504000 | #Constraints: 136888
1216.59/1220.41 c #Conflicts: 505000 | #Constraints: 137888
1216.59/1220.41 c #Conflicts: 506000 | #Constraints: 138888
1216.59/1220.41 c #Conflicts: 507000 | #Constraints: 139888
1216.59/1220.41 c #Conflicts: 508000 | #Constraints: 140888
1216.59/1220.41 c #Conflicts: 509000 | #Constraints: 141888
1216.59/1220.41 c #Conflicts: 510000 | #Constraints: 142888
1216.59/1220.41 c #Conflicts: 511000 | #Constraints: 143888
1216.59/1220.41 c #Conflicts: 512000 | #Constraints: 144888
1216.59/1220.41 c #Conflicts: 513000 | #Constraints: 145888
1216.59/1220.41 c #Conflicts: 514000 | #Constraints: 146888
1216.59/1220.41 c #Conflicts: 515000 | #Constraints: 147888
1216.59/1220.41 c #Conflicts: 516000 | #Constraints: 148888
1216.59/1220.41 c #Conflicts: 517000 | #Constraints: 149888
1216.59/1220.41 c #Conflicts: 518000 | #Constraints: 150888
1216.59/1220.41 c #Conflicts: 519000 | #Constraints: 151888
1216.59/1220.41 c #Conflicts: 520000 | #Constraints: 152888
1216.59/1220.41 c #Conflicts: 521000 | #Constraints: 153888
1216.59/1220.41 c #Conflicts: 522000 | #Constraints: 154888
1216.59/1220.41 c #Conflicts: 523000 | #Constraints: 155888
1216.59/1220.41 c #Conflicts: 524000 | #Constraints: 156888
1216.59/1220.41 c #Conflicts: 525000 | #Constraints: 157888
1216.59/1220.41 c #Conflicts: 526000 | #Constraints: 158888
1216.59/1220.41 c #Conflicts: 527000 | #Constraints: 159888
1216.59/1220.41 c #Conflicts: 528000 | #Constraints: 160888
1216.59/1220.41 c INPROCESSING
1216.59/1220.41 c GARBAGE COLLECT
1216.59/1220.41 c #Conflicts: 529000 | #Constraints: 121325
1216.59/1220.41 c #Conflicts: 530000 | #Constraints: 122325
1216.59/1220.41 c #Conflicts: 531000 | #Constraints: 123325
1216.59/1220.41 c #Conflicts: 532000 | #Constraints: 124325
1216.59/1220.41 c #Conflicts: 533000 | #Constraints: 125325
1216.59/1220.41 c #Conflicts: 534000 | #Constraints: 126325
1216.59/1220.41 c #Conflicts: 535000 | #Constraints: 127325
1216.59/1220.41 c #Conflicts: 536000 | #Constraints: 128325
1216.59/1220.41 c #Conflicts: 537000 | #Constraints: 129325
1216.59/1220.41 c #Conflicts: 538000 | #Constraints: 130325
1216.59/1220.41 c #Conflicts: 539000 | #Constraints: 131325
1216.59/1220.41 c #Conflicts: 540000 | #Constraints: 132325
1216.59/1220.41 c #Conflicts: 541000 | #Constraints: 133325
1216.59/1220.41 c #Conflicts: 542000 | #Constraints: 134325
1216.59/1220.41 c INPROCESSING
1216.59/1220.41 c GARBAGE COLLECT
1216.59/1220.41 c #Conflicts: 543000 | #Constraints: 120793
1216.59/1220.41 c #Conflicts: 544000 | #Constraints: 121793
1216.59/1220.41 c #Conflicts: 545000 | #Constraints: 122793
1216.59/1220.41 c #Conflicts: 546000 | #Constraints: 123793
1216.59/1220.41 c #Conflicts: 547000 | #Constraints: 124793
1216.59/1220.41 c #Conflicts: 548000 | #Constraints: 125793
1216.59/1220.41 c #Conflicts: 549000 | #Constraints: 126793
1216.59/1220.41 c #Conflicts: 550000 | #Constraints: 127793
1216.59/1220.41 c #Conflicts: 551000 | #Constraints: 128793
1216.59/1220.41 c #Conflicts: 552000 | #Constraints: 129793
1216.59/1220.41 c #Conflicts: 553000 | #Constraints: 130793
2502.98/2511.04 c #Conflicts: 554000 | #Constraints: 131793
2502.98/2511.04 c #Conflicts: 555000 | #Constraints: 132793
2502.98/2511.04 c #Conflicts: 556000 | #Constraints: 133793
2502.98/2511.04 c #Conflicts: 557000 | #Constraints: 134793
2502.98/2511.04 c #Conflicts: 558000 | #Constraints: 135793
2502.98/2511.04 c #Conflicts: 559000 | #Constraints: 136793
2502.98/2511.04 c #Conflicts: 560000 | #Constraints: 137793
2502.98/2511.04 c #Conflicts: 561000 | #Constraints: 138793
2502.98/2511.04 c #Conflicts: 562000 | #Constraints: 139793
2502.98/2511.04 c #Conflicts: 563000 | #Constraints: 140793
2502.98/2511.04 c #Conflicts: 564000 | #Constraints: 141793
2502.98/2511.04 c #Conflicts: 565000 | #Constraints: 142793
2502.98/2511.04 c #Conflicts: 566000 | #Constraints: 143793
2502.98/2511.04 c #Conflicts: 567000 | #Constraints: 144793
2502.98/2511.04 c #Conflicts: 568000 | #Constraints: 145793
2502.98/2511.04 c #Conflicts: 569000 | #Constraints: 146793
2502.98/2511.04 c #Conflicts: 570000 | #Constraints: 147793
2502.98/2511.04 c #Conflicts: 571000 | #Constraints: 148793
2502.98/2511.04 c #Conflicts: 572000 | #Constraints: 149793
2502.98/2511.04 c #Conflicts: 573000 | #Constraints: 150793
2502.98/2511.04 c #Conflicts: 574000 | #Constraints: 151793
2502.98/2511.04 c #Conflicts: 575000 | #Constraints: 152793
2502.98/2511.04 c #Conflicts: 576000 | #Constraints: 153793
2502.98/2511.04 c #Conflicts: 577000 | #Constraints: 154793
2502.98/2511.04 c #Conflicts: 578000 | #Constraints: 155793
2502.98/2511.04 c #Conflicts: 579000 | #Constraints: 156793
2502.98/2511.04 c #Conflicts: 580000 | #Constraints: 157793
2502.98/2511.04 c #Conflicts: 581000 | #Constraints: 158793
2502.98/2511.04 c #Conflicts: 582000 | #Constraints: 159793
2502.98/2511.04 c #Conflicts: 583000 | #Constraints: 160793
2502.98/2511.04 c #Conflicts: 584000 | #Constraints: 161793
2502.98/2511.04 c #Conflicts: 585000 | #Constraints: 162793
2502.98/2511.04 c #Conflicts: 586000 | #Constraints: 163793
2502.98/2511.04 c #Conflicts: 587000 | #Constraints: 164793
2502.98/2511.04 c #Conflicts: 588000 | #Constraints: 165793
2502.98/2511.04 c #Conflicts: 589000 | #Constraints: 166793
2502.98/2511.04 c #Conflicts: 590000 | #Constraints: 167793
2502.98/2511.04 c #Conflicts: 591000 | #Constraints: 168793
2502.98/2511.04 c #Conflicts: 592000 | #Constraints: 169793
2502.98/2511.04 c #Conflicts: 593000 | #Constraints: 170793
2502.98/2511.04 c #Conflicts: 594000 | #Constraints: 171793
2502.98/2511.04 c #Conflicts: 595000 | #Constraints: 172793
2502.98/2511.04 c #Conflicts: 596000 | #Constraints: 173793
2502.98/2511.04 c #Conflicts: 597000 | #Constraints: 174793
2502.98/2511.04 c #Conflicts: 598000 | #Constraints: 175793
2502.98/2511.04 c #Conflicts: 599000 | #Constraints: 176793
2502.98/2511.04 c #Conflicts: 600000 | #Constraints: 177793
2502.98/2511.04 c #Conflicts: 601000 | #Constraints: 178793
2502.98/2511.04 c #Conflicts: 602000 | #Constraints: 179793
2502.98/2511.04 c #Conflicts: 603000 | #Constraints: 180793
2502.98/2511.04 c #Conflicts: 604000 | #Constraints: 181793
2502.98/2511.04 c #Conflicts: 605000 | #Constraints: 182793
2502.98/2511.04 c #Conflicts: 606000 | #Constraints: 183793
2502.98/2511.04 c #Conflicts: 607000 | #Constraints: 184793
2502.98/2511.04 c #Conflicts: 608000 | #Constraints: 185793
2502.98/2511.04 c #Conflicts: 609000 | #Constraints: 186793
2502.98/2511.04 c #Conflicts: 610000 | #Constraints: 187793
2502.98/2511.04 c #Conflicts: 611000 | #Constraints: 188793
2502.98/2511.04 c #Conflicts: 612000 | #Constraints: 189793
2502.98/2511.04 c #Conflicts: 613000 | #Constraints: 190793
2502.98/2511.04 c INPROCESSING
2502.98/2511.04 c GARBAGE COLLECT
2502.98/2511.04 c #Conflicts: 614000 | #Constraints: 141199
2502.98/2511.04 c #Conflicts: 615000 | #Constraints: 142199
2502.98/2511.04 c #Conflicts: 616000 | #Constraints: 143199
2502.98/2511.04 c #Conflicts: 617000 | #Constraints: 144199
2502.98/2511.04 c #Conflicts: 618000 | #Constraints: 145199
2502.98/2511.04 c #Conflicts: 619000 | #Constraints: 146199
2502.98/2511.04 c #Conflicts: 620000 | #Constraints: 147199
2502.98/2511.04 c #Conflicts: 621000 | #Constraints: 148199
2502.98/2511.04 c #Conflicts: 622000 | #Constraints: 149199
2502.98/2511.04 c #Conflicts: 623000 | #Constraints: 150199
2502.98/2511.04 c #Conflicts: 624000 | #Constraints: 151199
2502.98/2511.04 c #Conflicts: 625000 | #Constraints: 152199
2502.98/2511.04 c #Conflicts: 626000 | #Constraints: 153199
2502.98/2511.04 c #Conflicts: 627000 | #Constraints: 154199
2502.98/2511.04 c #Conflicts: 628000 | #Constraints: 155199
2502.98/2511.04 c #Conflicts: 629000 | #Constraints: 156199
2502.98/2511.04 c #Conflicts: 630000 | #Constraints: 157199
2502.98/2511.04 c #Conflicts: 631000 | #Constraints: 158199
2502.98/2511.04 c #Conflicts: 632000 | #Constraints: 159199
3600.05/3611.80 c #Conflicts: 633000 | #Constraints: 160199
3600.05/3611.80 c #Conflicts: 634000 | #Constraints: 161199
3600.05/3611.80 c #Conflicts: 635000 | #Constraints: 162199
3600.05/3611.80 c #Conflicts: 636000 | #Constraints: 163199
3600.05/3611.80 c #Conflicts: 637000 | #Constraints: 164199
3600.05/3611.80 c #Conflicts: 638000 | #Constraints: 165199
3600.05/3611.80 c #Conflicts: 639000 | #Constraints: 166199
3600.05/3611.80 c #Conflicts: 640000 | #Constraints: 167199
3600.05/3611.80 c #Conflicts: 641000 | #Constraints: 168199
3600.05/3611.80 c #Conflicts: 642000 | #Constraints: 169199
3600.05/3611.80 c #Conflicts: 643000 | #Constraints: 170199
3600.05/3611.80 c #Conflicts: 644000 | #Constraints: 171199
3600.05/3611.80 c #Conflicts: 645000 | #Constraints: 172199
3600.05/3611.80 c #Conflicts: 646000 | #Constraints: 173199
3600.05/3611.80 c #Conflicts: 647000 | #Constraints: 174199
3600.05/3611.80 c #Conflicts: 648000 | #Constraints: 175199
3600.05/3611.80 c #Conflicts: 649000 | #Constraints: 176199
3600.05/3611.80 c #Conflicts: 650000 | #Constraints: 177199
3600.05/3611.80 c #Conflicts: 651000 | #Constraints: 178199
3600.05/3611.80 c #Conflicts: 652000 | #Constraints: 179199
3600.05/3611.80 c #Conflicts: 653000 | #Constraints: 180199
3600.05/3611.80 c #Conflicts: 654000 | #Constraints: 181199
3600.05/3611.80 c #Conflicts: 655000 | #Constraints: 182199
3600.05/3611.80 c #Conflicts: 656000 | #Constraints: 183199
3600.05/3611.80 c #Conflicts: 657000 | #Constraints: 184199
3600.05/3611.80 c #Conflicts: 658000 | #Constraints: 185199
3600.05/3611.80 c #Conflicts: 659000 | #Constraints: 186199
3600.05/3611.80 c #Conflicts: 660000 | #Constraints: 187199
3600.05/3611.80 c #Conflicts: 661000 | #Constraints: 188199
3600.05/3611.80 c #Conflicts: 662000 | #Constraints: 189199
3600.05/3611.80 c #Conflicts: 663000 | #Constraints: 190199
3600.05/3611.80 c #Conflicts: 664000 | #Constraints: 191199
3600.05/3611.80 c #Conflicts: 665000 | #Constraints: 192199
3600.05/3611.80 c #Conflicts: 666000 | #Constraints: 193199
3600.05/3611.80 c #Conflicts: 667000 | #Constraints: 194199
3600.05/3611.80 c #Conflicts: 668000 | #Constraints: 195199
3600.05/3611.80 c #Conflicts: 669000 | #Constraints: 196199
3600.05/3611.80 c #Conflicts: 670000 | #Constraints: 197199
3600.05/3611.80 c #Conflicts: 671000 | #Constraints: 198199
3600.05/3611.80 c #Conflicts: 672000 | #Constraints: 199199
3600.05/3611.80 c #Conflicts: 673000 | #Constraints: 200199
3600.05/3611.80 c #Conflicts: 674000 | #Constraints: 201199
3600.05/3611.80 c #Conflicts: 675000 | #Constraints: 202199
3600.05/3611.80 c #Conflicts: 676000 | #Constraints: 203199
3600.05/3611.80 c #Conflicts: 677000 | #Constraints: 204199
3600.05/3611.80 c #Conflicts: 678000 | #Constraints: 205199
3600.05/3611.80 c #Conflicts: 679000 | #Constraints: 206199
3600.05/3611.80 c #Conflicts: 680000 | #Constraints: 207199
3600.05/3611.80 c #Conflicts: 681000 | #Constraints: 208199
3600.05/3611.80 c #Conflicts: 682000 | #Constraints: 209199
3600.05/3611.80 c Program interrupted by user.
3600.05/3611.80 c cpu time 3593.48 s
3600.05/3611.80 c deterministic time 227487416926 2.27e+11
3600.05/3611.80 c optimization time 1676.52 s
3600.05/3611.80 c total solve time 1916.5 s
3600.05/3611.80 c core-guided solve time 1916.5 s
3600.05/3611.80 c propagation time 2953.21 s
3600.05/3611.80 c conflict analysis time 619.572 s
3600.05/3611.80 c propagations 150283428
3600.05/3611.80 c resolve steps 24449821
3600.05/3611.80 c decisions 4189412
3600.05/3611.80 c conflicts 682085
3600.05/3611.80 c restarts 1482
3600.05/3611.80 c inprocessing phases 62
3600.05/3611.80 c input clauses 78811
3600.05/3611.80 c input cardinalities 1360
3600.05/3611.80 c input general constraints 435
3600.05/3611.80 c input average constraint length 7.33
3600.05/3611.80 c input average constraint degree 1.83
3600.05/3611.80 c learned clauses 521461
3600.05/3611.80 c learned cardinalities 4220
3600.05/3611.80 c learned general constraints 156428
3600.05/3611.80 c learned average constraint length 268.67
3600.05/3611.80 c learned average constraint degree 8474.91
3600.05/3611.80 c watched constraints 82885
3600.05/3611.80 c counting constraints 73978
3600.05/3611.80 c gcd simplifications 134969
3600.05/3611.80 c detected cardinalities 6
3600.05/3611.80 c weakened non-implied lits 199513983
3600.05/3611.80 c weakened non-implying lits 764380
3600.05/3611.80 c original variables 1225
3600.05/3611.80 c clausal propagations 105188515
3600.05/3611.80 c cardinality propagations 19201034
3600.05/3611.80 c watched propagations 1218619
3600.05/3611.80 c counting propagations 23581370
3600.05/3611.80 c watch lookups 66564663103
3600.05/3611.80 c watch backjump lookups 59295711244
3600.05/3611.80 c watch checks 92260652987
3600.05/3611.80 c propagation checks 8298644886
3600.05/3611.80 c constraint additions 758117036
3600.05/3611.80 c trail pops 155154829
3600.05/3611.80 c formula constraints 78400
3600.05/3611.80 c learned constraints 682109
3600.05/3611.80 c bound constraints 342
3600.05/3611.80 c core-guided constraints 1864
3600.05/3611.80 c encountered formula constraints 21261565
3600.05/3611.80 c encountered learned constraints 2973116
3600.05/3611.80 c encountered bound constraints 2058
3600.05/3611.80 c encountered core-guided constraints 895167
3600.05/3611.80 c LP total time 0 s
3600.05/3611.80 c LP solve time 0 s
3600.05/3611.80 c LP constraints added 0
3600.05/3611.80 c LP constraints removed 0
3600.05/3611.80 c LP pivots internal 0
3600.05/3611.80 c LP pivots root 0
3600.05/3611.80 c LP calls 0
3600.05/3611.80 c LP optimalities 0
3600.05/3611.80 c LP no pivot count 0
3600.05/3611.80 c LP infeasibilities 0
3600.05/3611.80 c LP valid Farkas constraints 0
3600.05/3611.80 c LP learned Farkas constraints 0
3600.05/3611.80 c LP basis resets 0
3600.05/3611.80 c LP cycling count 0
3600.05/3611.80 c LP singular count 0
3600.05/3611.80 c LP no primal count 0
3600.05/3611.80 c LP no farkas count 0
3600.05/3611.80 c LP other issue count 0
3600.05/3611.80 c LP Gomory cuts 0
3600.05/3611.80 c LP learned cuts 0
3600.05/3611.80 c LP deleted cuts 0
3600.05/3611.80 c LP encountered Gomory constraints 0
3600.05/3611.80 c LP encountered Farkas constraints 0
3600.05/3611.80 c LP encountered learned Farkas constraints 0
3600.05/3611.80 c CG auxiliary variables introduced 727
3600.05/3611.80 c CG solutions found 2
3600.05/3611.80 c CG cores constructed 324
3600.05/3611.80 c CG core cardinality constraints returned 0
3600.05/3611.80 c CG unit cores 0
3600.05/3611.80 c CG single cores 321
3600.05/3611.80 c CG blocks removed during cardinality reduction 0
3600.05/3611.80 c CG first core best 0
3600.05/3611.80 c CG decision core best 0
3600.05/3611.80 c CG core reduction tie 3
3600.05/3611.80 c CG core degree average 1.00
3600.05/3611.80 c CG core slack average 4.24
3600.05/3611.80 c CG exhausted 2
3600.05/3611.80 c CG exhaust time 263.072 s
3600.05/3611.80 c CG trimmed 1
3600.05/3611.80 c CG trim time 0.013433 s
3600.05/3611.80 c CG minimized 0
3600.05/3611.80 c CG minimize time 0 s
3600.05/3611.80 c CG am1 prop time 0.008798 s
3600.05/3611.80 c CG # am1s reformulated 0
3600.05/3611.80 c CG lower bound derived from am1s 0
3600.05/3611.80 c CG # clausal cores 325
3600.05/3611.80 c CG # cardinality cores 0
3600.05/3611.80 c CG # pb cores 2
3600.05/3611.80 c CG # pb reforms 0
3600.05/3611.80 c CG # cores discarded because of pb reform 0
3600.05/3611.80 d LOWERBOUND -674
3600.05/3611.80 d NCORES 324
3600.05/3611.80 d NPBCORES 2
3600.05/3611.80 d NPBREFORM 0
3600.05/3611.80 d NTRIMMED 1
3600.05/3611.80 d NEXHAUSTED 2
3600.05/3611.80 d NAM1S 0
3600.05/3611.80 d AM1LB 0
3600.05/3611.80 o -592
3600.05/3611.80 s SATISFIABLE
3600.05/3611.80 v x1 x2 -x3 -x4 -x5 x6 x7 -x8 -x9 -x10 x11 x12 -x13 x14 -x15 x16 x17 -x18 x19 -x20 x21 x22 -x23 -x24 -x25 x26 x27 -x28 x29 -x30 x31 x32 -x33 x34 -x35 -x36 x37 -x38 x39 -x40 x41 x42 -x43 x44 -x45 x46 x47 -x48 -x49 -x50 x51 x52 x53 -x54 -x55 x56 x57 x58 -x59 -x60 x61 -x62 x63 -x64 -x65 x66 -x67 x68 -x69 -x70 x71 x72 x73 -x74 -x75 x76 -x77 x78 -x79 -x80 x81 -x82 x83 x84 -x85 x86 -x87 x88 -x89 -x90 x91 -x92 x93 -x94 -x95 x96 x97 x98 x99 x100 -x101 -x102 x103 x104 x105 -x106 -x107 x108 -x109 x110 -x111 -x112 x113 -x114 x115 -x116 -x117 x118 x119 x120 -x121 -x122 x123 -x124 x125 -x126 -x127 x128 -x129 x130 x131 -x132 x133 -x134 x135 -x136 -x137 x138 -x139 x140 -x141 -x142 x143 x144 -x145 -x146 x147 x148 -x149 -x150 -x151 x152 x153 -x154 x155 -x156 x157 x158 -x159 x160 -x161 x162 x163 -x164 -x165 -x166 x167 x168 -x169 x170 -x171 x172 x173 -x174 x175 -x176 -x177 x178 -x179 x180 -x181 x182 x183 -x184 x185 -x186 x187 x188 -x189 -x190 -x191 x192 x193 -x194 -x195 -x196 x197 x198 -x199 x200 -x201 x202 x203 -x204 x205 -x206 x207 x208 -x209 -x210 -x211 x212 x213 -x214 x215 -x216 x217 x218 -x219 x220 -x221 -x222 x223 -x224 x225 -x226 x227 x228 -x229 x230 -x231 x232 x233 -x234 -x235 x236 x237 -x238 -x239 -x240 x241 x242 -x243 x244 -x245 x246 x247 -x248 x249 -x250 x251 x252 -x253 -x254 -x255 x256 x257 -x258 x259 -x260 x261 x262 -x263 x264 -x265 -x266 x267 -x268 x269 -x270 x271 x272 -x273 x274 -x275 x276 x277 -x278 -x279 -x280 x281 x282 x283 -x284 -x285 x286 -x287 x288 -x289 -x290 x291 -x292 x293 -x294 -x295 x296 x297 x298 -x299 -x300 x301 -x302 x303 -x304 -x305 x306 -x307 x308 x309 -x310 x311 -x312 x313 -x314 -x315 x316 -x317 x318 -x319 -x320 x321 x322 x323 x324 x325 -x326 -x327 x328 -x329 x330 -x331 -x332 x333 -x334 x335 -x336 -x337 x338 x339 x340 -x341 -x342 x343 -x344 x345 -x346 -x347 x348 -x349 x350 x351 -x352 x353 -x354 x355 -x356 -x357 x358 -x359 x360 -x361 -x362 x363 x364 -x365 -x366 x367 x368 -x369 x370 -x371 x372 x373 -x374 x375 -x376 x377 x378 -x379 -x380 -x381 x382 x383 -x384 x385 -x386 x387 x388 -x389 x390 -x391 -x392 x393 -x394 x395 -x396 x397 x398 -x399 x400 -x401 x402 x403 -x404 -x405 -x406 x407 x408 -x409 x410 -x411 x412 x413 -x414 x415 -x416 x417 x418 -x419 -x420 -x421 x422 x423 -x424 x425 -x426 x427 x428 -x429 x430 -x431 -x432 x433 -x434 x435 -x436 x437 x438 -x439 x440 -x441 x442 x443 -x444 -x445 x446 x447 -x448 x449 -x450 x451 x452 -x453 x454 -x455 x456 x457 -x458 -x459 -x460 x461 x462 -x463 x464 -x465 x466 x467 -x468 x469 -x470 -x471 x472 -x473 x474 -x475 x476 x477 -x478 x479 -x480 x481 x482 -x483 -x484 -x485 x486 -x487 x488 -x489 -x490 x491 -x492 x493 -x494 -x495 x496 x497 x498 -x499 -x500 x501 -x502 x503 -x504 -x505 x506 -x507 x508 x509 -x510 x511 -x512 x513 -x514 -x515 x516 -x517 x518 -x519 -x520 x521 x522 x523 -x524 x525 -x526 -x527 x528 -x529 x530 -x531 -x532 x533 x534 x535 -x536 -x537 x538 -x539 x540 -x541 -x542 x543 -x544 x545 x546 -x547 x548 -x549 x550 -x551 -x552 x553 -x554 x555 -x556 -x557 x558 x559 x560 -x561 x562 x563 -x564 x565 -x566 x567 x568 -x569 -x570 -x571 x572 x573 -x574 x575 -x576 x577 x578 -x579 x580 -x581 -x582 x583 -x584 x585 -x586 x587 x588 -x589 x590 -x591 x592 x593 -x594 -x595 x596 -x597 -x598 x599 -x600 x601 -x602 -x603 x604 x605 x606 -x607 -x608 x609 -x610 x611 -x612 -x613 x614 -x615 x616 x617 -x618 x619 -x620 x621 -x622 -x623 x624 -x625 x626 -x627 -x628 x629 x630 x631 x632 -x633 x634 -x635 x636 x637 -x638 -x639 -x640 x641 x642 -x643 x644 -x645 x646 x647 -x648 x649 -x650 -x651 x652 -x653 x654 -x655 x656 x657 -x658 x659 -x660 x661 x662 -x663 -x664 -x665 x666 -x667 x668 -x669 -x670 x671 x672 x673 -x674 -x675 x676 -x677 x678 -x679 -x680 x681 -x682 x683 x684 -x685 x686 -x687 x688 -x689 -x690 x691 -x692 x693 -x694 -x695 x696 x697 x698 -x699 x700 -x701 -x702 x703 x704 x705 -x706 -x707 x708 -x709 x710 -x711 -x712 x713 -x714 x715 x716 -x717 x718 -x719 x720 -x721 -x722 x723 -x724 x725 -x726 -x727 x728 x729 x730 -x731 x732 x733 -x734 -x735 -x736 x737 x738 -x739 x740 -x741 x742 x743 -x744 x745 -x746 -x747 x748 -x749 x750 -x751 x752 x753 -x754 x755 -x756 x757 x758 -x759 -x760 x761 -x762 -x763 x764 x765 x766 -x767 -x768 x769 -x770 x771 -x772 -x773 x774 -x775 x776 x777 -x778 x779 -x780 x781 -x782 -x783 x784 -x785 x786 -x787 -x788 x789 x790 x791 x792 -x793 -x794 -x795 x796 x797 -x798 x799 -x800 x801 x802 -x803 x804 -x805 -x806 x807 -x808 x809 -x810 x811 x812 -x813 x814 -x815 x816 x817 -x818 -x819 -x820 x821 x822 x823 -x824 -x825 x826 -x827 x828 -x829 -x830 x831 -x832 x833 x834 -x835 x836 -x837 x838 -x839 -x840 x841 -x842 x843 -x844 -x845 x846 x847 x848 x849 x850 -x851 -x852 x853 -x854 x855 -x856 -x857 x858 -x859 x860 x861 -x862 x863 -x864 x865 -x866 -x867 x868 -x869 x870 -x871 -x872 x873 x874 -x875 -x876 x877 x878 -x879 x880 -x881 x882 x883 -x884 x885 -x886 -x887 x888 -x889 x890 -x891 x892 x893 -x894 x895 -x896 x897 x898 -x899 -x900 -x901 x902 x903 -x904 x905 -x906 x907 x908 -x909 x910 -x911 -x912 x913 -x914 x915 -x916 x917 x918 -x919 x920 -x921 x922 x923 -x924 -x925 x926 x927 -x928 x929 -x930 x931 x932 -x933 x934 -x935 -x936 x937 -x938 x939 -x940 x941 x942 -x943 x944 -x945 x946 x947 -x948 -x949 -x950 x951 -x952 x953 -x954 -x955 x956 -x957 x958 x959 -x960 x961 -x962 x963 -x964 -x965 x966 -x967 x968 -x969 -x970 x971 x972 x973 -x974 x975 -x976 -x977 x978 -x979 x980 x981 -x982 x983 -x984 x985 -x986 -x987 x988 -x989 x990 -x991 -x992 x993 x994 x995 -x996 x997 x998 -x999 x1000 -x1001 -x1002 x1003 -x1004 x1005 -x1006 x1007 x1008 -x1009 x1010 -x1011 x1012 x1013 -x1014 -x1015 x1016 -x1017 -x1018 x1019 -x1020 x1021 x1022 -x1023 x1024 -x1025 x1026 -x1027 -x1028 x1029 -x1030 x1031 -x1032 -x1033 x1034 x1035 x1036 x1037 -x1038 x1039 -x1040 -x1041 x1042 -x1043 x1044 -x1045 x1046 x1047 -x1048 x1049 -x1050 x1051 x1052 -x1053 -x1054 -x1055 x1056 -x1057 x1058 x1059 -x1060 x1061 -x1062 x1063 -x1064 -x1065 x1066 -x1067 x1068 -x1069 -x1070 x1071 x1072 x1073 -x1074 x1075 x1076 -x1077 x1078 -x1079 x1080 -x1081 -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
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: 63837 MiB (62834 MiB free)
memory of node 1: 64465 MiB (62808 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521258-1751582740/watcher-4521258-1751582740 -o /tmp/evaluation-result-4521258-1751582740/solver-4521258-1751582740 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751575512-84437 --watchdog 3760 pb-oll-rs HOME/instance-4521258-1751582740.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=85288, runsolver pid=85282
[startup+0.10007 s]*
/proc/loadavg: 4.07 4.08 4.09 4/246 85298
/proc/meminfo: memFree=128672160/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=20672 memory=7592 CPUtime=0.09 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 493 0 0 0 7 2 0 0 20 0 1 0 73953147 21168128 1898 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 5168 1898 1120 243 0 1417 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20672 KiB
Current children cumulated memory: 7592 KiB
[startup+0.213639 s]*
/proc/loadavg: 4.07 4.08 4.09 3/244 85309
/proc/meminfo: memFree=128671160/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=21068 memory=7976 CPUtime=0.2 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 592 0 0 0 16 4 0 0 20 0 1 0 73953147 21573632 1994 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 5267 1994 1120 243 0 1516 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21068 KiB
Current children cumulated memory: 7976 KiB
[startup+0.313445 s]*
/proc/loadavg: 4.07 4.08 4.09 3/246 85321
/proc/meminfo: memFree=128689640/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=21332 memory=8232 CPUtime=0.29 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 662 0 0 0 23 6 0 0 20 0 1 0 73953147 21843968 2058 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 5333 2058 1120 243 0 1582 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 21332 KiB
Current children cumulated memory: 8232 KiB
[startup+0.700329 s]
/proc/loadavg: 4.07 4.08 4.09 4/250 85336
/proc/meminfo: memFree=128686192/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=23932 memory=13496 CPUtime=0.67 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 1875 0 0 0 53 14 0 0 20 0 1 0 73953147 24506368 3374 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 5983 3374 1312 243 0 2232 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 23932 KiB
Current children cumulated memory: 13496 KiB
[startup+1.50033 s]
/proc/loadavg: 4.07 4.08 4.09 5/252 85341
/proc/meminfo: memFree=128678568/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=27220 memory=15672 CPUtime=1.47 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 2394 0 0 0 132 15 0 0 20 0 1 0 73953147 27873280 3918 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 6805 3918 1344 243 0 3054 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 27220 KiB
Current children cumulated memory: 15672 KiB
[startup+3.11279 s]
/proc/loadavg: 4.06 4.08 4.09 5/252 85341
/proc/meminfo: memFree=128672980/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=34436 memory=21792 CPUtime=3.07 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 3662 0 0 0 291 16 0 0 20 0 1 0 73953147 35262464 5448 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 8609 5448 1344 243 0 4858 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 34436 KiB
Current children cumulated memory: 21792 KiB
[startup+6.30031 s]
/proc/loadavg: 4.06 4.08 4.09 5/252 85341
/proc/meminfo: memFree=128673460/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=35940 memory=25248 CPUtime=6.25 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 4033 0 0 0 608 17 0 0 20 0 1 0 73953147 36802560 6312 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 8985 6312 1344 243 0 5234 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 35940 KiB
Current children cumulated memory: 25248 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.10 4.09 4/248 85439
/proc/meminfo: memFree=128668156/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=45028 memory=29480 CPUtime=12.64 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 4575 0 0 0 1243 21 0 0 20 0 1 0 73953147 46108672 7370 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 11257 7370 1344 243 0 7506 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 45028 KiB
Current children cumulated memory: 29480 KiB
[startup+25.5003 s]
/proc/loadavg: 4.04 4.08 4.08 5/252 85521
/proc/meminfo: memFree=128620132/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=45160 memory=31712 CPUtime=25.4 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 4621 0 0 0 2515 25 0 0 20 0 1 0 73953147 46243840 7928 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 11290 7928 1344 243 0 7539 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 45160 KiB
Current children cumulated memory: 31712 KiB
[startup+51.1136 s]
/proc/loadavg: 4.02 4.07 4.08 5/252 85522
/proc/meminfo: memFree=128591780/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=57364 memory=35604 CPUtime=50.94 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 5105 0 0 0 5058 36 0 0 20 0 1 0 73953147 58740736 8901 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 14341 8901 1344 243 0 10590 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 57364 KiB
Current children cumulated memory: 35604 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/252 85883
/proc/meminfo: memFree=127092812/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=60932 memory=46072 CPUtime=101.98 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 6190 0 0 0 10144 54 0 0 20 0 1 0 73953147 62394368 11518 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 15233 11518 1344 243 0 11482 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 60932 KiB
Current children cumulated memory: 46072 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 4.05 4.08 5/253 85932
/proc/meminfo: memFree=126311032/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=62472 memory=51780 CPUtime=161.82 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 6919 0 0 0 16108 74 0 0 20 0 1 0 73953147 63971328 12945 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 15618 12945 1344 243 0 11867 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 62472 KiB
Current children cumulated memory: 51780 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.07 4.08 5/253 85934
/proc/meminfo: memFree=126121096/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=82572 memory=55108 CPUtime=221.66 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 7753 0 0 0 22067 99 0 0 20 0 1 0 73953147 84553728 13777 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 20643 13777 1344 243 0 16892 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 82572 KiB
Current children cumulated memory: 55108 KiB
[startup+282.3 s]
/proc/loadavg: 4.78 4.27 4.15 5/252 85936
/proc/meminfo: memFree=125986776/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=82764 memory=57564 CPUtime=281.47 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 9723 0 0 0 28027 120 0 0 20 0 1 0 73953147 84750336 14391 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 20691 14391 1344 243 0 16940 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 82764 KiB
Current children cumulated memory: 57564 KiB
[startup+342.3 s]
/proc/loadavg: 4.34 4.24 4.15 5/251 85937
/proc/meminfo: memFree=125825816/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=85392 memory=62244 CPUtime=341.32 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 10383 0 0 0 33997 135 0 0 20 0 1 0 73953147 87441408 15561 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 21348 15561 1344 243 0 17597 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 85392 KiB
Current children cumulated memory: 62244 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.21 4.14 5/251 86073
/proc/meminfo: memFree=126303800/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=83840 memory=62796 CPUtime=401.14 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 11289 0 0 0 39964 150 0 0 20 0 1 0 73953147 85852160 15699 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 20960 15699 1344 243 0 17209 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 83840 KiB
Current children cumulated memory: 62796 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.18 4.14 5/250 86075
/proc/meminfo: memFree=126068068/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=86212 memory=66708 CPUtime=460.97 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 13651 0 0 0 45934 163 0 0 20 0 1 0 73953147 88281088 16677 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 21553 16677 1344 243 0 17802 0
Current children cumulated CPU time: 460.97 s
################
# More data... #
################
Current children cumulated memory: 169164 KiB
[startup+2862.3 s]
/proc/loadavg: 4.16 4.24 4.24 5/251 86207
/proc/meminfo: memFree=123359008/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=198748 memory=169420 CPUtime=2853.11 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 36377 0 0 0 284708 603 0 0 20 0 1 0 73953147 203517952 42355 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 49687 42355 1344 243 0 45936 0
Current children cumulated CPU time: 2853.11 s
Current children cumulated vsize: 198748 KiB
Current children cumulated memory: 169420 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.21 4.23 5/251 86208
/proc/meminfo: memFree=123340580/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=198748 memory=169676 CPUtime=2912.91 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 36489 0 0 0 290683 608 0 0 20 0 1 0 73953147 203517952 42419 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 49687 42419 1344 243 0 45936 0
Current children cumulated CPU time: 2912.91 s
Current children cumulated vsize: 198748 KiB
Current children cumulated memory: 169676 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.19 4.22 5/251 86214
/proc/meminfo: memFree=123319584/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=198748 memory=170060 CPUtime=2972.71 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 36560 0 0 0 296658 613 0 0 20 0 1 0 73953147 203517952 42515 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 49687 42515 1344 243 0 45936 0
Current children cumulated CPU time: 2972.71 s
Current children cumulated vsize: 198748 KiB
Current children cumulated memory: 170060 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.17 4.21 5/251 86216
/proc/meminfo: memFree=123308528/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=199288 memory=170700 CPUtime=3032.5 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 36736 0 0 0 302633 617 0 0 20 0 1 0 73953147 204070912 42675 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 49822 42675 1344 243 0 46071 0
Current children cumulated CPU time: 3032.5 s
Current children cumulated vsize: 199288 KiB
Current children cumulated memory: 170700 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.15 4.20 5/250 86218
/proc/meminfo: memFree=123290984/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=199288 memory=171084 CPUtime=3092.31 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 36835 0 0 0 308609 622 0 0 20 0 1 0 73953147 204070912 42771 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 49822 42771 1344 243 0 46071 0
Current children cumulated CPU time: 3092.31 s
Current children cumulated vsize: 199288 KiB
Current children cumulated memory: 171084 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.17 4.20 5/250 86223
/proc/meminfo: memFree=123266916/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=200312 memory=173976 CPUtime=3152.11 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 37033 0 0 0 314585 626 0 0 20 0 1 0 73953147 205119488 43494 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 50078 43494 1344 243 0 46327 0
Current children cumulated CPU time: 3152.11 s
Current children cumulated vsize: 200312 KiB
Current children cumulated memory: 173976 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.13 4.18 5/250 86225
/proc/meminfo: memFree=123251916/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=201336 memory=174744 CPUtime=3211.91 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 37246 0 0 0 320561 630 0 0 20 0 1 0 73953147 206168064 43686 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 50334 43686 1344 243 0 46583 0
Current children cumulated CPU time: 3211.91 s
Current children cumulated vsize: 201336 KiB
Current children cumulated memory: 174744 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.18 5/250 86227
/proc/meminfo: memFree=123215720/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=202360 memory=177696 CPUtime=3271.71 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 37476 0 0 0 326536 635 0 0 20 0 1 0 73953147 207216640 44424 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 50590 44424 1344 243 0 46839 0
Current children cumulated CPU time: 3271.71 s
Current children cumulated vsize: 202360 KiB
Current children cumulated memory: 177696 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.18 5/250 86229
/proc/meminfo: memFree=123088380/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=203384 memory=180640 CPUtime=3331.51 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 37693 0 0 0 332512 639 0 0 20 0 1 0 73953147 208265216 45160 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 50846 45160 1344 243 0 47095 0
Current children cumulated CPU time: 3331.51 s
Current children cumulated vsize: 203384 KiB
Current children cumulated memory: 180640 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.17 5/250 86231
/proc/meminfo: memFree=123038124/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=203896 memory=181280 CPUtime=3391.31 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 37852 0 0 0 338488 643 0 0 20 0 1 0 73953147 208789504 45320 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 50974 45320 1344 243 0 47223 0
Current children cumulated CPU time: 3391.31 s
Current children cumulated vsize: 203896 KiB
Current children cumulated memory: 181280 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.17 5/249 86233
/proc/meminfo: memFree=123008384/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=255008 memory=183328 CPUtime=3451.11 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 38367 0 0 0 344464 647 0 0 20 0 1 0 73953147 261128192 45832 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 63752 45832 1344 243 0 60001 0
Current children cumulated CPU time: 3451.11 s
Current children cumulated vsize: 255008 KiB
Current children cumulated memory: 183328 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.16 5/249 86235
/proc/meminfo: memFree=122986164/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=255520 memory=186024 CPUtime=3510.88 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 38540 0 0 0 350436 652 0 0 20 0 1 0 73953147 261652480 46506 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 63880 46506 1344 243 0 60129 0
Current children cumulated CPU time: 3510.88 s
Current children cumulated vsize: 255520 KiB
Current children cumulated memory: 186024 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.15 5/251 86243
/proc/meminfo: memFree=122890396/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=255520 memory=199800 CPUtime=3570.67 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 38614 0 0 0 356410 657 0 0 20 0 1 0 73953147 261652480 49950 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 63880 49950 1344 243 0 60129 0
Current children cumulated CPU time: 3570.67 s
Current children cumulated vsize: 255520 KiB
Current children cumulated memory: 199800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.8 s]
/proc/loadavg: 4.10 4.11 4.15 5/251 86244
/proc/meminfo: memFree=122892104/131382116 swapFree=33009904/33010684
[pid=85288] ppid=85282 vsize=256032 memory=200056 CPUtime=3600.05 cores=0,2
/proc/85288/stat : 85288 (pb-oll-rs) R 85282 85288 84427 0 -1 4194304 38703 0 0 0 359347 658 0 0 20 0 1 0 73953147 262176768 50014 18446744073709551615 4218880 5211445 140725261742688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24002560 140725261744540 140725261744617 140725261744617 140725261750219 0
/proc/85288/statm: 64008 50014 1344 243 0 60257 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 256032 KiB
Current children cumulated memory: 200056 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.8 s]
# the end of solver process 85288 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.48 s, system=6.58973 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.8
CPU time (s): 3600.07
CPU user time (s): 3593.48
CPU system time (s): 6.58973
CPU usage (%): 99.6751
Max. virtual memory (cumulated for all children) (KiB): 256032
Max. memory (cumulated for all children) (KiB): 200056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.48
system time used= 6.58973
maximum resident set size= 200440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38719
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= 142
involuntary context switches= 8392
# summary of solver processes directly reported to runsolver:
# pid: 85288
# total CPU time (s): 3600.07
# total CPU user time (s): 3593.48
# total CPU system time (s): 6.58973
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6705 second user time and 36.6279 second system time
The end
Begin job on nodeC004 at 2025-07-04 00:45:40
IDJOB=4521258
IDBENCH=178251
IDSOLVER=3345
FILE ID=nodeC004/4521258-1751582740
RUNJOBID= nodeC004-1751575512-84437
SLURM_JOB_ID= 9598804
Free space on /tmp= 431632 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/normalized-maxcut_opt_complete_5-partite_inlv_nvert_50.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521258-1751582740/watcher-4521258-1751582740 -o /tmp/evaluation-result-4521258-1751582740/solver-4521258-1751582740 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751575512-84437 --watchdog 3760 pb-oll-rs HOME/instance-4521258-1751582740.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 68c73bc206439bbe0d5a467b2a25edac
RANDOM SEED=504903542
nodeC004 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2994.113
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.860
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.226
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.716
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.560
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.406
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.642
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.214
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 128658364 kB
MemAvailable: 129509732 kB
Buffers: 2128 kB
Cached: 1600752 kB
SwapCached: 32 kB
Active: 1001756 kB
Inactive: 1006744 kB
Active(anon): 412804 kB
Inactive(anon): 10748 kB
Active(file): 588952 kB
Inactive(file): 995996 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 4196 kB
Writeback: 56 kB
AnonPages: 408644 kB
Mapped: 105372 kB
Shmem: 17932 kB
KReclaimable: 212096 kB
Slab: 299464 kB
SReclaimable: 212096 kB
SUnreclaim: 87368 kB
KernelStack: 4048 kB
PageTables: 3884 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 736016 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 344064 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431560 MiB
End job on nodeC004 at 2025-07-04 01:45:52