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.51/0.53 c [STEP] solving
0.51/0.53 c #variables 1081 #constraints 64860
0.51/0.53 c SMALL=int, LARGE=long long
0.51/0.53 c bounds - >= -883 @ 0.386895
0.51/0.53 c stratification level: 0
0.51/0.58 c bounds - >= -882 @ 0.393528
0.51/0.58 c bounds - >= -881 @ 0.39356
0.51/0.58 c bounds - >= -880 @ 0.393843
0.51/0.58 c bounds - >= -879 @ 0.394191
0.51/0.58 c bounds - >= -878 @ 0.394535
0.51/0.58 c bounds - >= -877 @ 0.394858
0.51/0.58 c bounds - >= -876 @ 0.39518
0.51/0.58 c bounds - >= -875 @ 0.395487
0.51/0.58 c bounds - >= -874 @ 0.395786
0.51/0.58 c bounds - >= -873 @ 0.396078
0.51/0.58 c bounds - >= -872 @ 0.396631
0.51/0.58 c bounds - >= -871 @ 0.396815
0.51/0.58 c bounds - >= -870 @ 0.396815
0.51/0.58 c bounds - >= -869 @ 0.396815
0.51/0.58 c bounds - >= -868 @ 0.397009
0.51/0.58 c bounds - >= -867 @ 0.397318
0.51/0.58 c bounds - >= -866 @ 0.397615
0.51/0.58 c bounds - >= -865 @ 0.397908
0.51/0.58 c bounds - >= -864 @ 0.398307
0.51/0.58 c bounds - >= -863 @ 0.398652
0.51/0.58 c bounds - >= -862 @ 0.398972
0.51/0.58 c bounds - >= -861 @ 0.3993
0.51/0.58 c bounds - >= -860 @ 0.399616
0.51/0.58 c bounds - >= -859 @ 0.399933
0.51/0.58 c bounds - >= -858 @ 0.40023
0.51/0.58 c bounds - >= -857 @ 0.400536
0.51/0.58 c bounds - >= -856 @ 0.400845
0.51/0.58 c bounds - >= -855 @ 0.401143
0.51/0.58 c bounds - >= -854 @ 0.401509
0.51/0.58 c bounds - >= -853 @ 0.40183
0.51/0.58 c bounds - >= -852 @ 0.402133
0.51/0.58 c bounds - >= -851 @ 0.402446
0.51/0.58 c bounds - >= -850 @ 0.40275
0.51/0.58 c bounds - >= -849 @ 0.403062
0.51/0.58 c bounds - >= -848 @ 0.403357
0.51/0.58 c bounds - >= -847 @ 0.403659
0.51/0.58 c bounds - >= -846 @ 0.404067
0.51/0.58 c bounds - >= -845 @ 0.404403
0.51/0.58 c bounds - >= -844 @ 0.404741
0.51/0.58 c bounds - >= -843 @ 0.405071
0.51/0.58 c bounds - >= -842 @ 0.405392
0.51/0.58 c bounds - >= -841 @ 0.405705
0.51/0.58 c bounds - >= -840 @ 0.406022
0.51/0.58 c bounds - >= -839 @ 0.406317
0.51/0.58 c bounds - >= -838 @ 0.406627
0.51/0.58 c bounds - >= -837 @ 0.406932
0.51/0.58 c bounds - >= -836 @ 0.407238
0.51/0.58 c bounds - >= -835 @ 0.407575
0.51/0.58 c bounds - >= -834 @ 0.407887
0.51/0.58 c bounds - >= -833 @ 0.408207
0.51/0.58 c bounds - >= -832 @ 0.408499
0.51/0.58 c bounds - >= -831 @ 0.408842
0.51/0.58 c bounds - >= -830 @ 0.409159
0.51/0.58 c bounds - >= -829 @ 0.409587
0.51/0.58 c bounds - >= -828 @ 0.409935
0.51/0.58 c bounds - >= -827 @ 0.410267
0.51/0.58 c bounds - >= -826 @ 0.410605
0.51/0.58 c bounds - >= -825 @ 0.41093
0.51/0.58 c bounds - >= -824 @ 0.41124
0.51/0.58 c bounds - >= -823 @ 0.411542
0.51/0.58 c bounds - >= -822 @ 0.411855
0.51/0.58 c bounds - >= -821 @ 0.412176
0.51/0.58 c bounds - >= -820 @ 0.412497
0.51/0.58 c bounds - >= -819 @ 0.412813
0.51/0.58 c bounds - >= -818 @ 0.413202
0.51/0.58 c bounds - >= -817 @ 0.41353
0.51/0.58 c bounds - >= -816 @ 0.413843
0.51/0.58 c bounds - >= -815 @ 0.414156
0.51/0.58 c bounds - >= -814 @ 0.41451
0.51/0.58 c bounds - >= -813 @ 0.4148
0.51/0.58 c bounds - >= -812 @ 0.415257
0.51/0.58 c bounds - >= -811 @ 0.415605
0.51/0.58 c bounds - >= -810 @ 0.415731
0.51/0.58 c bounds - >= -809 @ 0.415731
0.51/0.58 c bounds - >= -808 @ 0.415731
0.51/0.58 c bounds - >= -807 @ 0.415742
0.51/0.58 c bounds - >= -806 @ 0.415742
0.51/0.58 c bounds - >= -805 @ 0.415742
0.51/0.58 c bounds - >= -804 @ 0.415958
0.51/0.58 c bounds - >= -803 @ 0.416284
0.51/0.58 c bounds - >= -802 @ 0.416604
0.51/0.58 c bounds - >= -801 @ 0.416731
0.51/0.58 c bounds - >= -800 @ 0.416731
0.51/0.58 c bounds - >= -799 @ 0.416731
0.51/0.58 c bounds - >= -798 @ 0.416731
0.51/0.58 c bounds - >= -797 @ 0.416731
0.51/0.58 c bounds - >= -796 @ 0.416896
0.51/0.58 c bounds - >= -795 @ 0.417337
0.51/0.58 c bounds - >= -794 @ 0.417705
0.51/0.58 c bounds - >= -793 @ 0.418064
0.51/0.58 c bounds - >= -792 @ 0.418415
0.51/0.58 c bounds - >= -791 @ 0.418768
0.51/0.58 c bounds - >= -790 @ 0.419116
0.51/0.58 c bounds - >= -789 @ 0.419429
0.51/0.58 c bounds - >= -788 @ 0.41976
0.51/0.58 c bounds - >= -787 @ 0.420132
0.51/0.58 c bounds - >= -786 @ 0.420472
0.51/0.58 c bounds - >= -785 @ 0.42082
0.51/0.58 c bounds - >= -784 @ 0.421185
0.51/0.58 c bounds - >= -783 @ 0.42152
0.51/0.58 c bounds - >= -782 @ 0.42194
0.51/0.58 c bounds - >= -781 @ 0.422271
0.51/0.58 c bounds - >= -780 @ 0.422657
0.51/0.58 c bounds - >= -779 @ 0.422958
0.51/0.58 c bounds - >= -778 @ 0.42338
0.51/0.58 c bounds - >= -777 @ 0.423594
0.51/0.58 c bounds - >= -776 @ 0.423594
0.51/0.58 c bounds - >= -775 @ 0.423594
0.51/0.58 c bounds - >= -774 @ 0.423775
0.51/0.58 c bounds - >= -773 @ 0.424085
0.51/0.58 c bounds - >= -772 @ 0.424404
0.51/0.58 c bounds - >= -771 @ 0.424693
0.51/0.58 c bounds - >= -770 @ 0.425056
0.51/0.58 c bounds - >= -769 @ 0.425383
0.51/0.58 c bounds - >= -768 @ 0.42571
0.51/0.58 c bounds - >= -767 @ 0.426054
0.51/0.58 c bounds - >= -766 @ 0.426372
0.51/0.58 c bounds - >= -765 @ 0.426686
0.51/0.58 c bounds - >= -764 @ 0.427
0.51/0.58 c bounds - >= -763 @ 0.427378
0.51/0.58 c bounds - >= -762 @ 0.427684
0.51/0.58 c bounds - >= -761 @ 0.427684
0.51/0.58 c bounds - >= -760 @ 0.427684
0.51/0.58 c bounds - >= -759 @ 0.427841
0.51/0.58 c bounds - >= -758 @ 0.428172
0.51/0.58 c bounds - >= -757 @ 0.428482
0.51/0.58 c bounds - >= -756 @ 0.428798
0.51/0.58 c bounds - >= -755 @ 0.4291
0.51/0.58 c bounds - >= -754 @ 0.429421
0.51/0.58 c bounds - >= -753 @ 0.429774
0.51/0.58 c bounds - >= -752 @ 0.430089
0.51/0.58 c bounds - >= -751 @ 0.430397
0.51/0.58 c bounds - >= -750 @ 0.430725
0.51/0.58 c bounds - >= -749 @ 0.431037
0.51/0.58 c bounds - >= -748 @ 0.431352
0.51/0.58 c bounds - >= -747 @ 0.431748
0.51/0.58 c bounds - >= -746 @ 0.432149
0.51/0.58 c bounds - >= -745 @ 0.432463
0.59/0.62 c bounds - >= -744 @ 0.432867
0.59/0.62 c bounds - >= -743 @ 0.433193
0.59/0.62 c bounds - >= -742 @ 0.433872
0.59/0.62 c bounds - >= -741 @ 0.434313
0.59/0.62 c bounds - >= -740 @ 0.434732
0.59/0.62 c bounds - >= -739 @ 0.43513
0.59/0.62 c bounds - >= -738 @ 0.435499
0.59/0.62 c bounds - >= -737 @ 0.435874
0.59/0.62 c bounds - >= -736 @ 0.436237
0.59/0.62 c bounds - >= -735 @ 0.436581
0.59/0.62 c bounds - >= -734 @ 0.436915
0.59/0.62 c bounds - >= -733 @ 0.437235
0.59/0.62 c bounds - >= -732 @ 0.437549
0.59/0.62 c bounds - >= -731 @ 0.437638
0.59/0.62 c bounds - >= -730 @ 0.437638
0.59/0.62 c bounds - >= -729 @ 0.437638
0.59/0.62 c bounds - >= -728 @ 0.438034
0.59/0.62 c bounds - >= -727 @ 0.438403
0.59/0.62 c bounds - >= -726 @ 0.438887
0.59/0.62 c bounds - >= -725 @ 0.439287
0.59/0.62 c bounds - >= -724 @ 0.439535
0.59/0.62 c bounds - >= -723 @ 0.439535
0.59/0.62 c bounds - >= -722 @ 0.439535
0.59/0.62 c bounds - >= -721 @ 0.439773
0.59/0.62 c bounds - >= -720 @ 0.440132
0.59/0.62 c bounds - >= -719 @ 0.44047
0.59/0.62 c bounds - >= -718 @ 0.440795
0.59/0.62 c bounds - >= -717 @ 0.441113
0.59/0.62 c bounds - >= -716 @ 0.441426
0.59/0.62 c bounds - >= -715 @ 0.441747
0.59/0.62 c bounds - >= -714 @ 0.44208
0.59/0.62 c bounds - >= -713 @ 0.442516
0.59/0.62 c bounds - >= -712 @ 0.442621
0.59/0.62 c bounds - >= -711 @ 0.442621
0.59/0.62 c bounds - >= -710 @ 0.442638
0.59/0.62 c bounds - >= -709 @ 0.442971
0.59/0.62 c bounds - >= -708 @ 0.443307
0.59/0.62 c bounds - >= -707 @ 0.443737
0.59/0.62 c bounds - >= -706 @ 0.444126
0.59/0.62 c bounds - >= -705 @ 0.444462
0.59/0.62 c bounds - >= -704 @ 0.444796
0.59/0.62 c bounds - >= -703 @ 0.44512
0.59/0.62 c bounds - >= -702 @ 0.445437
0.59/0.62 c bounds - >= -701 @ 0.445879
0.59/0.62 c bounds - >= -700 @ 0.446443
0.59/0.62 c bounds - >= -699 @ 0.446822
0.59/0.62 c bounds - >= -698 @ 0.44722
0.59/0.62 c bounds - >= -697 @ 0.447942
0.59/0.62 c bounds - >= -696 @ 0.448319
0.59/0.62 c bounds - >= -695 @ 0.448702
0.59/0.62 c bounds - >= -694 @ 0.449064
0.59/0.62 c bounds - >= -693 @ 0.44945
0.59/0.62 c bounds - >= -692 @ 0.449909
0.59/0.62 c bounds - >= -691 @ 0.450585
0.59/0.62 c bounds - >= -690 @ 0.450585
0.59/0.62 c bounds - >= -689 @ 0.450722
0.59/0.62 c bounds - >= -688 @ 0.451146
0.59/0.62 c bounds - >= -687 @ 0.451511
0.59/0.62 c bounds - >= -686 @ 0.451579
0.59/0.62 c bounds - >= -685 @ 0.451717
0.59/0.62 c bounds - >= -684 @ 0.452205
0.59/0.62 c bounds - >= -683 @ 0.452646
0.59/0.62 c bounds - >= -682 @ 0.453129
0.59/0.62 c bounds - >= -681 @ 0.453546
0.59/0.62 c bounds - >= -680 @ 0.453934
0.59/0.62 c bounds - >= -679 @ 0.454458
0.59/0.62 c bounds - >= -678 @ 0.454567
0.59/0.62 c bounds - >= -677 @ 0.454702
0.59/0.62 c bounds - >= -676 @ 0.455156
0.59/0.62 c bounds - >= -675 @ 0.455627
0.59/0.62 c bounds - >= -674 @ 0.456118
0.59/0.62 c bounds - >= -673 @ 0.456572
0.59/0.62 c bounds - >= -672 @ 0.457148
0.59/0.62 c bounds - >= -671 @ 0.457577
0.59/0.62 c bounds - >= -670 @ 0.458279
0.59/0.62 c bounds - >= -669 @ 0.458981
0.59/0.62 c bounds - >= -668 @ 0.459457
0.59/0.62 c bounds - >= -667 @ 0.459911
0.59/0.62 c bounds - >= -666 @ 0.460929
0.59/0.62 c finalizing WCE round: reformulating cores
53.05/53.21 c #Conflicts: 1000 | #Constraints: 66111
53.05/53.21 c #Conflicts: 2000 | #Constraints: 67113
53.05/53.21 c INPROCESSING
53.05/53.21 c GARBAGE COLLECT
53.05/53.21 c #Conflicts: 3000 | #Constraints: 66892
53.05/53.21 c #Conflicts: 4000 | #Constraints: 67894
53.05/53.21 c INPROCESSING
53.05/53.21 c GARBAGE COLLECT
53.05/53.21 c #Conflicts: 5000 | #Constraints: 67297
53.05/53.21 c #Conflicts: 6000 | #Constraints: 68299
53.05/53.21 c INPROCESSING
53.05/53.21 c GARBAGE COLLECT
53.05/53.21 c #Conflicts: 7000 | #Constraints: 67299
53.05/53.21 c #Conflicts: 8000 | #Constraints: 68301
53.05/53.21 c #Conflicts: 9000 | #Constraints: 69305
53.05/53.21 c INPROCESSING
53.05/53.21 c GARBAGE COLLECT
53.05/53.21 c #Conflicts: 10000 | #Constraints: 68007
53.05/53.21 c #Conflicts: 11000 | #Constraints: 69009
53.05/53.21 c #Conflicts: 12000 | #Constraints: 70011
53.05/53.21 c INPROCESSING
53.05/53.21 c GARBAGE COLLECT
53.05/53.21 c #Conflicts: 13000 | #Constraints: 68464
53.05/53.21 c #Conflicts: 14000 | #Constraints: 69466
53.05/53.21 c #Conflicts: 15000 | #Constraints: 70468
53.05/53.21 c INPROCESSING
53.05/53.21 c GARBAGE COLLECT
53.05/53.21 c #Conflicts: 16000 | #Constraints: 68697
53.05/53.21 c #Conflicts: 17000 | #Constraints: 69699
53.05/53.21 c #Conflicts: 18000 | #Constraints: 70701
53.05/53.21 c INPROCESSING
53.05/53.21 c GARBAGE COLLECT
53.05/53.21 c #Conflicts: 19000 | #Constraints: 68716
53.05/53.21 c #Conflicts: 20000 | #Constraints: 69718
53.05/53.21 c #Conflicts: 21000 | #Constraints: 70720
53.05/53.21 c INPROCESSING
53.05/53.21 c GARBAGE COLLECT
53.05/53.21 c #Conflicts: 22000 | #Constraints: 68529
53.05/53.21 c #Conflicts: 23000 | #Constraints: 69531
53.05/53.21 c #Conflicts: 24000 | #Constraints: 70535
53.05/53.21 c #Conflicts: 25000 | #Constraints: 71537
53.05/53.21 c INPROCESSING
53.05/53.21 c GARBAGE COLLECT
53.05/53.21 c #Conflicts: 26000 | #Constraints: 69144
53.05/53.21 c #Conflicts: 27000 | #Constraints: 70146
53.05/53.21 c #Conflicts: 28000 | #Constraints: 71148
53.05/53.21 c #Conflicts: 29000 | #Constraints: 72152
53.05/53.21 c INPROCESSING
53.05/53.21 c GARBAGE COLLECT
53.05/53.21 c #Conflicts: 30000 | #Constraints: 69559
53.05/53.21 c #Conflicts: 31000 | #Constraints: 70561
53.05/53.21 c #Conflicts: 32000 | #Constraints: 71563
53.05/53.21 c #Conflicts: 33000 | #Constraints: 72567
53.05/53.21 c INPROCESSING
53.05/53.21 c GARBAGE COLLECT
53.05/53.21 c #Conflicts: 34000 | #Constraints: 69768
53.05/53.21 c #Conflicts: 35000 | #Constraints: 70770
53.05/53.21 c #Conflicts: 36000 | #Constraints: 71772
53.05/53.21 c #Conflicts: 37000 | #Constraints: 72776
53.05/53.21 c INPROCESSING
53.05/53.21 c GARBAGE COLLECT
53.05/53.21 c #Conflicts: 38000 | #Constraints: 69776
53.05/53.21 c #Conflicts: 39000 | #Constraints: 70778
53.05/53.21 c #Conflicts: 40000 | #Constraints: 71780
53.05/53.21 c #Conflicts: 41000 | #Constraints: 72784
53.05/53.21 c INPROCESSING
53.05/53.21 c GARBAGE COLLECT
53.05/53.21 c #Conflicts: 42000 | #Constraints: 69585
53.05/53.21 c #Conflicts: 43000 | #Constraints: 70587
53.05/53.21 c #Conflicts: 44000 | #Constraints: 71591
53.05/53.21 c #Conflicts: 45000 | #Constraints: 72593
53.05/53.21 c #Conflicts: 46000 | #Constraints: 73595
53.05/53.21 c INPROCESSING
53.05/53.21 c GARBAGE COLLECT
53.05/53.21 c #Conflicts: 47000 | #Constraints: 70199
53.05/53.21 c #Conflicts: 48000 | #Constraints: 71201
53.05/53.21 c #Conflicts: 49000 | #Constraints: 72203
53.05/53.21 c #Conflicts: 50000 | #Constraints: 73207
53.05/53.21 c #Conflicts: 51000 | #Constraints: 74209
53.05/53.21 c INPROCESSING
53.05/53.21 c GARBAGE COLLECT
53.05/53.21 c #Conflicts: 52000 | #Constraints: 70612
53.05/53.21 c #Conflicts: 53000 | #Constraints: 71614
53.05/53.21 c #Conflicts: 54000 | #Constraints: 72616
53.05/53.21 c #Conflicts: 55000 | #Constraints: 73620
53.05/53.21 c #Conflicts: 56000 | #Constraints: 74622
53.05/53.21 c INPROCESSING
53.05/53.21 c GARBAGE COLLECT
53.05/53.21 c #Conflicts: 57000 | #Constraints: 70824
53.05/53.21 c #Conflicts: 58000 | #Constraints: 71826
53.05/53.21 c #Conflicts: 59000 | #Constraints: 72828
53.05/53.21 c #Conflicts: 60000 | #Constraints: 73832
53.05/53.21 c #Conflicts: 61000 | #Constraints: 74834
53.05/53.21 c INPROCESSING
53.05/53.21 c GARBAGE COLLECT
53.05/53.21 c #Conflicts: 62000 | #Constraints: 70838
53.05/53.21 c #Conflicts: 63000 | #Constraints: 71840
53.05/53.21 c #Conflicts: 64000 | #Constraints: 72842
53.05/53.21 c #Conflicts: 65000 | #Constraints: 73846
53.05/53.21 c #Conflicts: 66000 | #Constraints: 74848
53.05/53.21 c INPROCESSING
53.05/53.21 c GARBAGE COLLECT
53.05/53.21 c #Conflicts: 67000 | #Constraints: 70649
53.05/53.21 c #Conflicts: 68000 | #Constraints: 71651
107.22/107.59 c #Conflicts: 69000 | #Constraints: 72655
107.22/107.59 c #Conflicts: 70000 | #Constraints: 73657
107.22/107.59 c #Conflicts: 71000 | #Constraints: 74659
107.22/107.59 c #Conflicts: 72000 | #Constraints: 75663
107.22/107.59 c INPROCESSING
107.22/107.59 c GARBAGE COLLECT
107.22/107.59 c #Conflicts: 73000 | #Constraints: 71267
107.22/107.59 c #Conflicts: 74000 | #Constraints: 72269
107.22/107.59 c #Conflicts: 75000 | #Constraints: 73271
107.22/107.59 c #Conflicts: 76000 | #Constraints: 74275
107.22/107.59 c #Conflicts: 77000 | #Constraints: 75277
107.22/107.59 c #Conflicts: 78000 | #Constraints: 76279
107.22/107.59 c INPROCESSING
107.22/107.59 c GARBAGE COLLECT
107.22/107.59 c #Conflicts: 79000 | #Constraints: 71680
107.22/107.59 c #Conflicts: 80000 | #Constraints: 72682
107.22/107.59 c #Conflicts: 81000 | #Constraints: 73684
107.22/107.59 c #Conflicts: 82000 | #Constraints: 74688
107.22/107.59 c #Conflicts: 83000 | #Constraints: 75690
107.22/107.59 c #Conflicts: 84000 | #Constraints: 76692
107.22/107.59 c INPROCESSING
107.22/107.59 c GARBAGE COLLECT
107.22/107.59 c #Conflicts: 85000 | #Constraints: 71894
107.22/107.59 c #Conflicts: 86000 | #Constraints: 72896
107.22/107.59 c #Conflicts: 87000 | #Constraints: 73898
107.22/107.59 c #Conflicts: 88000 | #Constraints: 74902
107.22/107.59 c #Conflicts: 89000 | #Constraints: 75904
107.22/107.59 c #Conflicts: 90000 | #Constraints: 76906
107.22/107.59 c INPROCESSING
107.22/107.59 c GARBAGE COLLECT
107.22/107.59 c #Conflicts: 91000 | #Constraints: 71913
107.22/107.59 c #Conflicts: 92000 | #Constraints: 72915
107.22/107.59 c #Conflicts: 93000 | #Constraints: 73917
107.22/107.59 c #Conflicts: 94000 | #Constraints: 74921
107.22/107.59 c #Conflicts: 95000 | #Constraints: 75923
107.22/107.59 c #Conflicts: 96000 | #Constraints: 76925
107.22/107.59 c INPROCESSING
107.22/107.59 c GARBAGE COLLECT
107.22/107.59 c #Conflicts: 97000 | #Constraints: 71726
107.22/107.59 c #Conflicts: 98000 | #Constraints: 72728
107.22/107.59 c #Conflicts: 99000 | #Constraints: 73732
107.22/107.59 c #Conflicts: 100000 | #Constraints: 74734
107.22/107.59 c #Conflicts: 101000 | #Constraints: 75736
107.22/107.59 c #Conflicts: 102000 | #Constraints: 76740
107.22/107.59 c #Conflicts: 103000 | #Constraints: 77742
107.22/107.59 c INPROCESSING
107.22/107.59 c GARBAGE COLLECT
107.22/107.59 c #Conflicts: 104000 | #Constraints: 72345
107.22/107.59 c #Conflicts: 105000 | #Constraints: 73347
107.22/107.59 c #Conflicts: 106000 | #Constraints: 74349
107.22/107.59 c #Conflicts: 107000 | #Constraints: 75353
107.22/107.59 c #Conflicts: 108000 | #Constraints: 76355
107.22/107.59 c #Conflicts: 109000 | #Constraints: 77357
107.22/107.59 c #Conflicts: 110000 | #Constraints: 78361
107.22/107.59 c INPROCESSING
107.22/107.59 c GARBAGE COLLECT
107.22/107.59 c #Conflicts: 111000 | #Constraints: 72764
107.22/107.59 c #Conflicts: 112000 | #Constraints: 73766
107.22/107.59 c #Conflicts: 113000 | #Constraints: 74768
107.22/107.59 c #Conflicts: 114000 | #Constraints: 75772
107.22/107.59 c #Conflicts: 115000 | #Constraints: 76774
107.22/107.59 c #Conflicts: 116000 | #Constraints: 77776
107.22/107.59 c #Conflicts: 117000 | #Constraints: 78780
107.22/107.59 c INPROCESSING
107.22/107.59 c GARBAGE COLLECT
107.22/107.59 c #Conflicts: 118000 | #Constraints: 72989
107.22/107.59 c #Conflicts: 119000 | #Constraints: 73991
107.22/107.59 c #Conflicts: 120000 | #Constraints: 74993
107.22/107.59 c #Conflicts: 121000 | #Constraints: 75997
107.22/107.59 c #Conflicts: 122000 | #Constraints: 76999
107.22/107.59 c #Conflicts: 123000 | #Constraints: 78001
107.22/107.59 c #Conflicts: 124000 | #Constraints: 79005
107.22/107.59 c INPROCESSING
107.22/107.59 c GARBAGE COLLECT
107.22/107.59 c #Conflicts: 125000 | #Constraints: 73003
107.22/107.59 c #Conflicts: 126000 | #Constraints: 74005
107.22/107.59 c #Conflicts: 127000 | #Constraints: 75007
107.22/107.59 c #Conflicts: 128000 | #Constraints: 76011
107.22/107.59 c #Conflicts: 129000 | #Constraints: 77013
107.22/107.59 c #Conflicts: 130000 | #Constraints: 78015
107.22/107.59 c #Conflicts: 131000 | #Constraints: 79019
107.22/107.59 c INPROCESSING
107.22/107.59 c GARBAGE COLLECT
107.22/107.59 c #Conflicts: 132000 | #Constraints: 72820
107.22/107.59 c #Conflicts: 133000 | #Constraints: 73822
107.22/107.59 c #Conflicts: 134000 | #Constraints: 74826
107.22/107.59 c #Conflicts: 135000 | #Constraints: 75828
107.22/107.59 c #Conflicts: 136000 | #Constraints: 76830
107.22/107.59 c #Conflicts: 137000 | #Constraints: 77834
107.22/107.59 c #Conflicts: 138000 | #Constraints: 78836
107.22/107.59 c #Conflicts: 139000 | #Constraints: 79838
107.22/107.59 c INPROCESSING
107.22/107.59 c GARBAGE COLLECT
107.22/107.59 c #Conflicts: 140000 | #Constraints: 73440
128.26/128.61 c #Conflicts: 141000 | #Constraints: 74442
128.26/128.61 c #Conflicts: 142000 | #Constraints: 75444
128.26/128.61 c #Conflicts: 143000 | #Constraints: 76448
128.26/128.61 c #Conflicts: 144000 | #Constraints: 77450
128.26/128.61 c #Conflicts: 145000 | #Constraints: 78452
128.26/128.61 c #Conflicts: 146000 | #Constraints: 79456
128.26/128.61 c #Conflicts: 147000 | #Constraints: 80458
128.26/128.61 c INPROCESSING
128.26/128.61 c GARBAGE COLLECT
128.26/128.61 c #Conflicts: 148000 | #Constraints: 73861
128.26/128.61 c #Conflicts: 149000 | #Constraints: 74863
128.26/128.61 c #Conflicts: 150000 | #Constraints: 75865
128.26/128.61 c #Conflicts: 151000 | #Constraints: 76869
128.26/128.61 c #Conflicts: 152000 | #Constraints: 77871
128.26/128.61 c #Conflicts: 153000 | #Constraints: 78873
128.26/128.61 c #Conflicts: 154000 | #Constraints: 79877
128.26/128.61 c #Conflicts: 155000 | #Constraints: 80879
128.26/128.61 c INPROCESSING
128.26/128.61 c GARBAGE COLLECT
128.26/128.61 c #Conflicts: 156000 | #Constraints: 74084
128.26/128.61 c #Conflicts: 157000 | #Constraints: 75086
128.26/128.61 c #Conflicts: 158000 | #Constraints: 76088
128.26/128.61 c #Conflicts: 159000 | #Constraints: 77092
128.26/128.61 c #Conflicts: 160000 | #Constraints: 78094
128.26/128.61 c #Conflicts: 161000 | #Constraints: 79096
128.26/128.61 c #Conflicts: 162000 | #Constraints: 80100
128.26/128.61 c #Conflicts: 163000 | #Constraints: 81102
128.26/128.61 c INPROCESSING
128.26/128.61 c GARBAGE COLLECT
128.26/128.61 c #Conflicts: 164000 | #Constraints: 74107
128.26/128.61 c #Conflicts: 165000 | #Constraints: 75109
128.26/128.61 c #Conflicts: 166000 | #Constraints: 76111
128.26/128.61 c #Conflicts: 167000 | #Constraints: 77115
128.26/128.61 c #Conflicts: 168000 | #Constraints: 78117
128.26/128.61 c #Conflicts: 169000 | #Constraints: 79119
128.26/128.61 c bounds -532 >= -666 @ 127.39
128.26/128.61 c bounds -532 >= -665 @ 127.396
128.26/128.61 c bounds -532 >= -664 @ 127.398
128.26/128.61 c bounds -532 >= -663 @ 127.4
128.26/128.61 c bounds -532 >= -662 @ 127.401
128.26/128.61 c bounds -532 >= -661 @ 127.402
128.26/128.61 c bounds -532 >= -660 @ 127.403
128.26/128.61 c bounds -532 >= -659 @ 127.404
128.26/128.61 c bounds -532 >= -658 @ 127.405
128.26/128.61 c bounds -532 >= -657 @ 127.406
128.26/128.61 c bounds -532 >= -656 @ 127.407
128.26/128.61 c bounds -532 >= -655 @ 127.41
128.26/128.61 c bounds -532 >= -654 @ 127.412
128.26/128.61 c bounds -532 >= -653 @ 127.414
128.26/128.61 c bounds -532 >= -652 @ 127.416
128.26/128.61 c bounds -532 >= -651 @ 127.418
128.26/128.61 c bounds -532 >= -650 @ 127.42
128.26/128.61 c bounds -532 >= -649 @ 127.421
128.26/128.61 c bounds -532 >= -648 @ 127.424
128.26/128.61 c bounds -532 >= -647 @ 127.425
128.26/128.61 c bounds -532 >= -646 @ 127.426
128.26/128.61 c bounds -532 >= -645 @ 127.427
128.26/128.61 c bounds -532 >= -644 @ 127.429
128.26/128.61 c bounds -532 >= -643 @ 127.431
128.26/128.61 c bounds -532 >= -642 @ 127.432
128.26/128.61 c bounds -532 >= -641 @ 127.433
128.26/128.61 c bounds -532 >= -640 @ 127.434
128.26/128.61 c bounds -532 >= -639 @ 127.437
128.26/128.61 c finalizing WCE round: reformulating cores
231.29/231.96 c #Conflicts: 170000 | #Constraints: 80385
231.29/231.96 c #Conflicts: 171000 | #Constraints: 81387
231.29/231.96 c INPROCESSING
231.29/231.96 c GARBAGE COLLECT
231.29/231.96 c #Conflicts: 172000 | #Constraints: 74097
231.29/231.96 c #Conflicts: 173000 | #Constraints: 75099
231.29/231.96 c #Conflicts: 174000 | #Constraints: 76103
231.29/231.96 c #Conflicts: 175000 | #Constraints: 77105
231.29/231.96 c #Conflicts: 176000 | #Constraints: 78107
231.29/231.96 c #Conflicts: 177000 | #Constraints: 79111
231.29/231.96 c #Conflicts: 178000 | #Constraints: 80113
231.29/231.96 c #Conflicts: 179000 | #Constraints: 81115
231.29/231.96 c #Conflicts: 180000 | #Constraints: 82119
231.29/231.96 c INPROCESSING
231.29/231.96 c GARBAGE COLLECT
231.29/231.96 c #Conflicts: 181000 | #Constraints: 74677
231.29/231.96 c #Conflicts: 182000 | #Constraints: 75679
231.29/231.96 c #Conflicts: 183000 | #Constraints: 76681
231.29/231.96 c #Conflicts: 184000 | #Constraints: 77685
231.29/231.96 c #Conflicts: 185000 | #Constraints: 78687
231.29/231.96 c #Conflicts: 186000 | #Constraints: 79689
231.29/231.96 c #Conflicts: 187000 | #Constraints: 80693
231.29/231.96 c #Conflicts: 188000 | #Constraints: 81695
231.29/231.96 c #Conflicts: 189000 | #Constraints: 82697
231.29/231.96 c INPROCESSING
231.29/231.96 c GARBAGE COLLECT
231.29/231.96 c #Conflicts: 190000 | #Constraints: 75077
231.29/231.96 c #Conflicts: 191000 | #Constraints: 76079
231.29/231.96 c bounds -540 >= -639 @ 149.048
231.29/231.96 c bounds -540 >= -638 @ 149.052
231.29/231.96 c bounds -540 >= -637 @ 149.053
231.29/231.96 c bounds -540 >= -636 @ 149.055
231.29/231.96 c bounds -540 >= -635 @ 149.064
231.29/231.96 c bounds -540 >= -634 @ 149.075
231.29/231.96 c bounds -540 >= -633 @ 149.082
231.29/231.96 c bounds -540 >= -632 @ 149.102
231.29/231.96 c bounds -540 >= -631 @ 149.124
231.29/231.96 c bounds -540 >= -630 @ 149.191
231.29/231.96 c bounds -540 >= -629 @ 149.239
231.29/231.96 c #Conflicts: 192000 | #Constraints: 77743
231.29/231.96 c bounds -540 >= -628 @ 149.362
231.29/231.96 c bounds -540 >= -627 @ 149.552
231.29/231.96 c #Conflicts: 193000 | #Constraints: 78859
231.29/231.96 c #Conflicts: 194000 | #Constraints: 79859
231.29/231.96 c bounds -540 >= -626 @ 150.552
231.29/231.96 c #Conflicts: 195000 | #Constraints: 80926
231.29/231.96 c #Conflicts: 196000 | #Constraints: 81926
231.29/231.96 c #Conflicts: 197000 | #Constraints: 82926
231.29/231.96 c #Conflicts: 198000 | #Constraints: 83926
231.29/231.96 c INPROCESSING
231.29/231.96 c GARBAGE COLLECT
231.29/231.96 c #Conflicts: 199000 | #Constraints: 75946
231.29/231.96 c #Conflicts: 200000 | #Constraints: 76946
231.29/231.96 c #Conflicts: 201000 | #Constraints: 77946
231.29/231.96 c #Conflicts: 202000 | #Constraints: 78946
231.29/231.96 c #Conflicts: 203000 | #Constraints: 79946
231.29/231.96 c #Conflicts: 204000 | #Constraints: 80946
231.29/231.96 c #Conflicts: 205000 | #Constraints: 81946
231.29/231.96 c #Conflicts: 206000 | #Constraints: 82946
231.29/231.96 c #Conflicts: 207000 | #Constraints: 83946
231.29/231.96 c INPROCESSING
231.29/231.96 c GARBAGE COLLECT
231.29/231.96 c #Conflicts: 208000 | #Constraints: 75830
231.29/231.96 c #Conflicts: 209000 | #Constraints: 76830
231.29/231.96 c #Conflicts: 210000 | #Constraints: 77830
231.29/231.96 c #Conflicts: 211000 | #Constraints: 78830
231.29/231.96 c #Conflicts: 212000 | #Constraints: 79830
231.29/231.96 c #Conflicts: 213000 | #Constraints: 80830
231.29/231.96 c #Conflicts: 214000 | #Constraints: 81830
231.29/231.96 c #Conflicts: 215000 | #Constraints: 82830
231.29/231.96 c #Conflicts: 216000 | #Constraints: 83830
231.29/231.96 c INPROCESSING
231.29/231.96 c GARBAGE COLLECT
231.29/231.96 c #Conflicts: 217000 | #Constraints: 75569
231.29/231.96 c #Conflicts: 218000 | #Constraints: 76569
231.29/231.96 c #Conflicts: 219000 | #Constraints: 77569
231.29/231.96 c #Conflicts: 220000 | #Constraints: 78569
231.29/231.96 c #Conflicts: 221000 | #Constraints: 79569
231.29/231.96 c #Conflicts: 222000 | #Constraints: 80569
231.29/231.96 c #Conflicts: 223000 | #Constraints: 81569
231.29/231.96 c #Conflicts: 224000 | #Constraints: 82569
231.29/231.96 c #Conflicts: 225000 | #Constraints: 83569
231.29/231.96 c #Conflicts: 226000 | #Constraints: 84569
231.29/231.96 c INPROCESSING
231.29/231.96 c GARBAGE COLLECT
231.29/231.96 c #Conflicts: 227000 | #Constraints: 76125
231.29/231.96 c #Conflicts: 228000 | #Constraints: 77125
231.29/231.96 c #Conflicts: 229000 | #Constraints: 78125
231.29/231.96 c #Conflicts: 230000 | #Constraints: 79125
231.29/231.96 c #Conflicts: 231000 | #Constraints: 80125
231.29/231.96 c #Conflicts: 232000 | #Constraints: 81125
231.29/231.96 c #Conflicts: 233000 | #Constraints: 82125
231.29/231.96 c #Conflicts: 234000 | #Constraints: 83125
231.29/231.96 c #Conflicts: 235000 | #Constraints: 84125
401.65/402.77 c #Conflicts: 236000 | #Constraints: 85125
401.65/402.77 c INPROCESSING
401.65/402.77 c GARBAGE COLLECT
401.65/402.77 c #Conflicts: 237000 | #Constraints: 76510
401.65/402.77 c #Conflicts: 238000 | #Constraints: 77510
401.65/402.77 c #Conflicts: 239000 | #Constraints: 78510
401.65/402.77 c #Conflicts: 240000 | #Constraints: 79510
401.65/402.77 c #Conflicts: 241000 | #Constraints: 80510
401.65/402.77 c #Conflicts: 242000 | #Constraints: 81510
401.65/402.77 c #Conflicts: 243000 | #Constraints: 82510
401.65/402.77 c #Conflicts: 244000 | #Constraints: 83510
401.65/402.77 c #Conflicts: 245000 | #Constraints: 84510
401.65/402.77 c #Conflicts: 246000 | #Constraints: 85510
401.65/402.77 c INPROCESSING
401.65/402.77 c GARBAGE COLLECT
401.65/402.77 c #Conflicts: 247000 | #Constraints: 76701
401.65/402.77 c #Conflicts: 248000 | #Constraints: 77701
401.65/402.77 c #Conflicts: 249000 | #Constraints: 78701
401.65/402.77 c #Conflicts: 250000 | #Constraints: 79701
401.65/402.77 c #Conflicts: 251000 | #Constraints: 80701
401.65/402.77 c #Conflicts: 252000 | #Constraints: 81701
401.65/402.77 c #Conflicts: 253000 | #Constraints: 82701
401.65/402.77 c #Conflicts: 254000 | #Constraints: 83701
401.65/402.77 c #Conflicts: 255000 | #Constraints: 84701
401.65/402.77 c #Conflicts: 256000 | #Constraints: 85701
401.65/402.77 c INPROCESSING
401.65/402.77 c GARBAGE COLLECT
401.65/402.77 c #Conflicts: 257000 | #Constraints: 76700
401.65/402.77 c #Conflicts: 258000 | #Constraints: 77700
401.65/402.77 c #Conflicts: 259000 | #Constraints: 78700
401.65/402.77 c #Conflicts: 260000 | #Constraints: 79700
401.65/402.77 c #Conflicts: 261000 | #Constraints: 80700
401.65/402.77 c #Conflicts: 262000 | #Constraints: 81700
401.65/402.77 c #Conflicts: 263000 | #Constraints: 82700
401.65/402.77 c #Conflicts: 264000 | #Constraints: 83700
401.65/402.77 c #Conflicts: 265000 | #Constraints: 84700
401.65/402.77 c #Conflicts: 266000 | #Constraints: 85700
401.65/402.77 c INPROCESSING
401.65/402.77 c GARBAGE COLLECT
401.65/402.77 c #Conflicts: 267000 | #Constraints: 76498
401.65/402.77 c #Conflicts: 268000 | #Constraints: 77498
401.65/402.77 c #Conflicts: 269000 | #Constraints: 78498
401.65/402.77 c #Conflicts: 270000 | #Constraints: 79498
401.65/402.77 c #Conflicts: 271000 | #Constraints: 80498
401.65/402.77 c #Conflicts: 272000 | #Constraints: 81498
401.65/402.77 c #Conflicts: 273000 | #Constraints: 82498
401.65/402.77 c #Conflicts: 274000 | #Constraints: 83498
401.65/402.77 c #Conflicts: 275000 | #Constraints: 84498
401.65/402.77 c #Conflicts: 276000 | #Constraints: 85498
401.65/402.77 c #Conflicts: 277000 | #Constraints: 86498
401.65/402.77 c INPROCESSING
401.65/402.77 c GARBAGE COLLECT
401.65/402.77 c #Conflicts: 278000 | #Constraints: 77103
401.65/402.77 c #Conflicts: 279000 | #Constraints: 78103
401.65/402.77 c #Conflicts: 280000 | #Constraints: 79103
401.65/402.77 c #Conflicts: 281000 | #Constraints: 80103
401.65/402.77 c #Conflicts: 282000 | #Constraints: 81103
401.65/402.77 c #Conflicts: 283000 | #Constraints: 82103
401.65/402.77 c #Conflicts: 284000 | #Constraints: 83103
401.65/402.77 c #Conflicts: 285000 | #Constraints: 84103
401.65/402.77 c #Conflicts: 286000 | #Constraints: 85103
401.65/402.77 c #Conflicts: 287000 | #Constraints: 86103
401.65/402.77 c #Conflicts: 288000 | #Constraints: 87103
401.65/402.77 c INPROCESSING
401.65/402.77 c GARBAGE COLLECT
401.65/402.77 c #Conflicts: 289000 | #Constraints: 77510
401.65/402.77 c #Conflicts: 290000 | #Constraints: 78510
401.65/402.77 c #Conflicts: 291000 | #Constraints: 79510
401.65/402.77 c #Conflicts: 292000 | #Constraints: 80510
401.65/402.77 c #Conflicts: 293000 | #Constraints: 81510
401.65/402.77 c #Conflicts: 294000 | #Constraints: 82510
401.65/402.77 c #Conflicts: 295000 | #Constraints: 83510
401.65/402.77 c #Conflicts: 296000 | #Constraints: 84510
401.65/402.77 c #Conflicts: 297000 | #Constraints: 85510
401.65/402.77 c #Conflicts: 298000 | #Constraints: 86510
401.65/402.77 c #Conflicts: 299000 | #Constraints: 87510
401.65/402.77 c INPROCESSING
401.65/402.77 c GARBAGE COLLECT
401.65/402.77 c #Conflicts: 300000 | #Constraints: 77704
401.65/402.77 c #Conflicts: 301000 | #Constraints: 78704
401.65/402.77 c #Conflicts: 302000 | #Constraints: 79704
401.65/402.77 c #Conflicts: 303000 | #Constraints: 80704
401.65/402.77 c #Conflicts: 304000 | #Constraints: 81704
401.65/402.77 c #Conflicts: 305000 | #Constraints: 82704
401.65/402.77 c #Conflicts: 306000 | #Constraints: 83704
401.65/402.77 c #Conflicts: 307000 | #Constraints: 84704
401.65/402.77 c #Conflicts: 308000 | #Constraints: 85704
401.65/402.77 c #Conflicts: 309000 | #Constraints: 86704
401.65/402.77 c #Conflicts: 310000 | #Constraints: 87704
601.71/603.38 c INPROCESSING
601.71/603.38 c GARBAGE COLLECT
601.71/603.38 c #Conflicts: 311000 | #Constraints: 77698
601.71/603.38 c #Conflicts: 312000 | #Constraints: 78698
601.71/603.38 c #Conflicts: 313000 | #Constraints: 79698
601.71/603.38 c #Conflicts: 314000 | #Constraints: 80698
601.71/603.38 c #Conflicts: 315000 | #Constraints: 81698
601.71/603.38 c #Conflicts: 316000 | #Constraints: 82698
601.71/603.38 c #Conflicts: 317000 | #Constraints: 83698
601.71/603.38 c #Conflicts: 318000 | #Constraints: 84698
601.71/603.38 c #Conflicts: 319000 | #Constraints: 85698
601.71/603.38 c #Conflicts: 320000 | #Constraints: 86698
601.71/603.38 c #Conflicts: 321000 | #Constraints: 87698
601.71/603.38 c INPROCESSING
601.71/603.38 c GARBAGE COLLECT
601.71/603.38 c #Conflicts: 322000 | #Constraints: 77508
601.71/603.38 c #Conflicts: 323000 | #Constraints: 78508
601.71/603.38 c #Conflicts: 324000 | #Constraints: 79508
601.71/603.38 c #Conflicts: 325000 | #Constraints: 80508
601.71/603.38 c #Conflicts: 326000 | #Constraints: 81508
601.71/603.38 c #Conflicts: 327000 | #Constraints: 82508
601.71/603.38 c #Conflicts: 328000 | #Constraints: 83508
601.71/603.38 c #Conflicts: 329000 | #Constraints: 84508
601.71/603.38 c #Conflicts: 330000 | #Constraints: 85508
601.71/603.38 c #Conflicts: 331000 | #Constraints: 86508
601.71/603.38 c #Conflicts: 332000 | #Constraints: 87508
601.71/603.38 c #Conflicts: 333000 | #Constraints: 88508
601.71/603.38 c INPROCESSING
601.71/603.38 c GARBAGE COLLECT
601.71/603.38 c #Conflicts: 334000 | #Constraints: 78112
601.71/603.38 c #Conflicts: 335000 | #Constraints: 79112
601.71/603.38 c #Conflicts: 336000 | #Constraints: 80112
601.71/603.38 c #Conflicts: 337000 | #Constraints: 81112
601.71/603.38 c #Conflicts: 338000 | #Constraints: 82112
601.71/603.38 c #Conflicts: 339000 | #Constraints: 83112
601.71/603.38 c #Conflicts: 340000 | #Constraints: 84112
601.71/603.38 c #Conflicts: 341000 | #Constraints: 85112
601.71/603.38 c #Conflicts: 342000 | #Constraints: 86112
601.71/603.38 c #Conflicts: 343000 | #Constraints: 87112
601.71/603.38 c #Conflicts: 344000 | #Constraints: 88112
601.71/603.38 c #Conflicts: 345000 | #Constraints: 89112
601.71/603.38 c INPROCESSING
601.71/603.38 c GARBAGE COLLECT
601.71/603.38 c #Conflicts: 346000 | #Constraints: 78518
601.71/603.38 c #Conflicts: 347000 | #Constraints: 79518
601.71/603.38 c #Conflicts: 348000 | #Constraints: 80518
601.71/603.38 c #Conflicts: 349000 | #Constraints: 81518
601.71/603.38 c #Conflicts: 350000 | #Constraints: 82518
601.71/603.38 c #Conflicts: 351000 | #Constraints: 83518
601.71/603.38 c #Conflicts: 352000 | #Constraints: 84518
601.71/603.38 c #Conflicts: 353000 | #Constraints: 85518
601.71/603.38 c #Conflicts: 354000 | #Constraints: 86518
601.71/603.38 c #Conflicts: 355000 | #Constraints: 87518
601.71/603.38 c #Conflicts: 356000 | #Constraints: 88518
601.71/603.38 c #Conflicts: 357000 | #Constraints: 89518
601.71/603.38 c INPROCESSING
601.71/603.38 c GARBAGE COLLECT
601.71/603.38 c #Conflicts: 358000 | #Constraints: 78713
601.71/603.38 c #Conflicts: 359000 | #Constraints: 79713
601.71/603.38 c #Conflicts: 360000 | #Constraints: 80713
601.71/603.38 c #Conflicts: 361000 | #Constraints: 81713
601.71/603.38 c #Conflicts: 362000 | #Constraints: 82713
601.71/603.38 c #Conflicts: 363000 | #Constraints: 83713
601.71/603.38 c #Conflicts: 364000 | #Constraints: 84713
601.71/603.38 c #Conflicts: 365000 | #Constraints: 85713
601.71/603.38 c #Conflicts: 366000 | #Constraints: 86713
601.71/603.38 c #Conflicts: 367000 | #Constraints: 87713
601.71/603.38 c #Conflicts: 368000 | #Constraints: 88713
601.71/603.38 c #Conflicts: 369000 | #Constraints: 89713
601.71/603.38 c INPROCESSING
601.71/603.38 c GARBAGE COLLECT
601.71/603.38 c #Conflicts: 370000 | #Constraints: 78727
601.71/603.38 c #Conflicts: 371000 | #Constraints: 79727
601.71/603.38 c #Conflicts: 372000 | #Constraints: 80727
601.71/603.38 c #Conflicts: 373000 | #Constraints: 81727
601.71/603.38 c #Conflicts: 374000 | #Constraints: 82727
601.71/603.38 c #Conflicts: 375000 | #Constraints: 83727
601.71/603.38 c #Conflicts: 376000 | #Constraints: 84727
601.71/603.38 c #Conflicts: 377000 | #Constraints: 85727
601.71/603.38 c #Conflicts: 378000 | #Constraints: 86727
601.71/603.38 c #Conflicts: 379000 | #Constraints: 87727
601.71/603.38 c #Conflicts: 380000 | #Constraints: 88727
601.71/603.38 c #Conflicts: 381000 | #Constraints: 89727
601.71/603.38 c INPROCESSING
601.71/603.38 c GARBAGE COLLECT
601.71/603.38 c #Conflicts: 382000 | #Constraints: 78518
601.71/603.38 c #Conflicts: 383000 | #Constraints: 79518
601.71/603.38 c #Conflicts: 384000 | #Constraints: 80518
845.95/848.22 c #Conflicts: 385000 | #Constraints: 81518
845.95/848.22 c #Conflicts: 386000 | #Constraints: 82518
845.95/848.22 c #Conflicts: 387000 | #Constraints: 83518
845.95/848.22 c #Conflicts: 388000 | #Constraints: 84518
845.95/848.22 c #Conflicts: 389000 | #Constraints: 85518
845.95/848.22 c #Conflicts: 390000 | #Constraints: 86518
845.95/848.22 c #Conflicts: 391000 | #Constraints: 87518
845.95/848.22 c #Conflicts: 392000 | #Constraints: 88518
845.95/848.22 c #Conflicts: 393000 | #Constraints: 89518
845.95/848.22 c #Conflicts: 394000 | #Constraints: 90518
845.95/848.22 c INPROCESSING
845.95/848.22 c GARBAGE COLLECT
845.95/848.22 c #Conflicts: 395000 | #Constraints: 79120
845.95/848.22 c #Conflicts: 396000 | #Constraints: 80120
845.95/848.22 c #Conflicts: 397000 | #Constraints: 81120
845.95/848.22 c #Conflicts: 398000 | #Constraints: 82120
845.95/848.22 c #Conflicts: 399000 | #Constraints: 83120
845.95/848.22 c #Conflicts: 400000 | #Constraints: 84120
845.95/848.22 c #Conflicts: 401000 | #Constraints: 85120
845.95/848.22 c #Conflicts: 402000 | #Constraints: 86120
845.95/848.22 c #Conflicts: 403000 | #Constraints: 87120
845.95/848.22 c #Conflicts: 404000 | #Constraints: 88120
845.95/848.22 c #Conflicts: 405000 | #Constraints: 89120
845.95/848.22 c #Conflicts: 406000 | #Constraints: 90120
845.95/848.22 c #Conflicts: 407000 | #Constraints: 91120
845.95/848.22 c INPROCESSING
845.95/848.22 c GARBAGE COLLECT
845.95/848.22 c #Conflicts: 408000 | #Constraints: 79513
845.95/848.22 c #Conflicts: 409000 | #Constraints: 80513
845.95/848.22 c #Conflicts: 410000 | #Constraints: 81513
845.95/848.22 c #Conflicts: 411000 | #Constraints: 82513
845.95/848.22 c #Conflicts: 412000 | #Constraints: 83513
845.95/848.22 c #Conflicts: 413000 | #Constraints: 84513
845.95/848.22 c #Conflicts: 414000 | #Constraints: 85513
845.95/848.22 c #Conflicts: 415000 | #Constraints: 86513
845.95/848.22 c #Conflicts: 416000 | #Constraints: 87513
845.95/848.22 c #Conflicts: 417000 | #Constraints: 88513
845.95/848.22 c #Conflicts: 418000 | #Constraints: 89513
845.95/848.22 c #Conflicts: 419000 | #Constraints: 90513
845.95/848.22 c #Conflicts: 420000 | #Constraints: 91513
845.95/848.22 c INPROCESSING
845.95/848.22 c GARBAGE COLLECT
845.95/848.22 c #Conflicts: 421000 | #Constraints: 79719
845.95/848.22 c #Conflicts: 422000 | #Constraints: 80719
845.95/848.22 c #Conflicts: 423000 | #Constraints: 81719
845.95/848.22 c #Conflicts: 424000 | #Constraints: 82719
845.95/848.22 c #Conflicts: 425000 | #Constraints: 83719
845.95/848.22 c #Conflicts: 426000 | #Constraints: 84719
845.95/848.22 c #Conflicts: 427000 | #Constraints: 85719
845.95/848.22 c #Conflicts: 428000 | #Constraints: 86719
845.95/848.22 c #Conflicts: 429000 | #Constraints: 87719
845.95/848.22 c #Conflicts: 430000 | #Constraints: 88719
845.95/848.22 c #Conflicts: 431000 | #Constraints: 89719
845.95/848.22 c #Conflicts: 432000 | #Constraints: 90719
845.95/848.22 c #Conflicts: 433000 | #Constraints: 91719
845.95/848.22 c INPROCESSING
845.95/848.22 c GARBAGE COLLECT
845.95/848.22 c #Conflicts: 434000 | #Constraints: 79724
845.95/848.22 c #Conflicts: 435000 | #Constraints: 80724
845.95/848.22 c #Conflicts: 436000 | #Constraints: 81724
845.95/848.22 c #Conflicts: 437000 | #Constraints: 82724
845.95/848.22 c #Conflicts: 438000 | #Constraints: 83724
845.95/848.22 c #Conflicts: 439000 | #Constraints: 84724
845.95/848.22 c #Conflicts: 440000 | #Constraints: 85724
845.95/848.22 c #Conflicts: 441000 | #Constraints: 86724
845.95/848.22 c #Conflicts: 442000 | #Constraints: 87724
845.95/848.22 c #Conflicts: 443000 | #Constraints: 88724
845.95/848.22 c #Conflicts: 444000 | #Constraints: 89724
845.95/848.22 c #Conflicts: 445000 | #Constraints: 90724
845.95/848.22 c #Conflicts: 446000 | #Constraints: 91724
845.95/848.22 c INPROCESSING
845.95/848.22 c GARBAGE COLLECT
845.95/848.22 c #Conflicts: 447000 | #Constraints: 79521
845.95/848.22 c #Conflicts: 448000 | #Constraints: 80521
845.95/848.22 c #Conflicts: 449000 | #Constraints: 81521
845.95/848.22 c #Conflicts: 450000 | #Constraints: 82521
845.95/848.22 c #Conflicts: 451000 | #Constraints: 83521
845.95/848.22 c #Conflicts: 452000 | #Constraints: 84521
845.95/848.22 c #Conflicts: 453000 | #Constraints: 85521
845.95/848.22 c #Conflicts: 454000 | #Constraints: 86521
845.95/848.22 c #Conflicts: 455000 | #Constraints: 87521
845.95/848.22 c #Conflicts: 456000 | #Constraints: 88521
845.95/848.22 c #Conflicts: 457000 | #Constraints: 89521
845.95/848.22 c #Conflicts: 458000 | #Constraints: 90521
845.95/848.22 c #Conflicts: 459000 | #Constraints: 91521
1117.51/1120.58 c #Conflicts: 460000 | #Constraints: 92521
1117.51/1120.58 c INPROCESSING
1117.51/1120.58 c GARBAGE COLLECT
1117.51/1120.58 c #Conflicts: 461000 | #Constraints: 80118
1117.51/1120.58 c #Conflicts: 462000 | #Constraints: 81118
1117.51/1120.58 c #Conflicts: 463000 | #Constraints: 82118
1117.51/1120.58 c #Conflicts: 464000 | #Constraints: 83118
1117.51/1120.58 c #Conflicts: 465000 | #Constraints: 84118
1117.51/1120.58 c #Conflicts: 466000 | #Constraints: 85118
1117.51/1120.58 c #Conflicts: 467000 | #Constraints: 86118
1117.51/1120.58 c #Conflicts: 468000 | #Constraints: 87118
1117.51/1120.58 c #Conflicts: 469000 | #Constraints: 88118
1117.51/1120.58 c #Conflicts: 470000 | #Constraints: 89118
1117.51/1120.58 c #Conflicts: 471000 | #Constraints: 90118
1117.51/1120.58 c #Conflicts: 472000 | #Constraints: 91118
1117.51/1120.58 c #Conflicts: 473000 | #Constraints: 92118
1117.51/1120.58 c #Conflicts: 474000 | #Constraints: 93118
1117.51/1120.58 c INPROCESSING
1117.51/1120.58 c GARBAGE COLLECT
1117.51/1120.58 c #Conflicts: 475000 | #Constraints: 80520
1117.51/1120.58 c #Conflicts: 476000 | #Constraints: 81520
1117.51/1120.58 c #Conflicts: 477000 | #Constraints: 82520
1117.51/1120.58 c #Conflicts: 478000 | #Constraints: 83520
1117.51/1120.58 c #Conflicts: 479000 | #Constraints: 84520
1117.51/1120.58 c #Conflicts: 480000 | #Constraints: 85520
1117.51/1120.58 c #Conflicts: 481000 | #Constraints: 86520
1117.51/1120.58 c #Conflicts: 482000 | #Constraints: 87520
1117.51/1120.58 c #Conflicts: 483000 | #Constraints: 88520
1117.51/1120.58 c #Conflicts: 484000 | #Constraints: 89520
1117.51/1120.58 c #Conflicts: 485000 | #Constraints: 90520
1117.51/1120.58 c #Conflicts: 486000 | #Constraints: 91520
1117.51/1120.58 c #Conflicts: 487000 | #Constraints: 92520
1117.51/1120.58 c #Conflicts: 488000 | #Constraints: 93520
1117.51/1120.58 c INPROCESSING
1117.51/1120.58 c GARBAGE COLLECT
1117.51/1120.58 c #Conflicts: 489000 | #Constraints: 80722
1117.51/1120.58 c #Conflicts: 490000 | #Constraints: 81722
1117.51/1120.58 c #Conflicts: 491000 | #Constraints: 82722
1117.51/1120.58 c #Conflicts: 492000 | #Constraints: 83722
1117.51/1120.58 c #Conflicts: 493000 | #Constraints: 84722
1117.51/1120.58 c #Conflicts: 494000 | #Constraints: 85722
1117.51/1120.58 c #Conflicts: 495000 | #Constraints: 86722
1117.51/1120.58 c #Conflicts: 496000 | #Constraints: 87722
1117.51/1120.58 c #Conflicts: 497000 | #Constraints: 88722
1117.51/1120.58 c #Conflicts: 498000 | #Constraints: 89722
1117.51/1120.58 c #Conflicts: 499000 | #Constraints: 90722
1117.51/1120.58 c #Conflicts: 500000 | #Constraints: 91722
1117.51/1120.58 c #Conflicts: 501000 | #Constraints: 92722
1117.51/1120.58 c #Conflicts: 502000 | #Constraints: 93722
1117.51/1120.58 c INPROCESSING
1117.51/1120.58 c GARBAGE COLLECT
1117.51/1120.58 c #Conflicts: 503000 | #Constraints: 80713
1117.51/1120.58 c #Conflicts: 504000 | #Constraints: 81713
1117.51/1120.58 c #Conflicts: 505000 | #Constraints: 82713
1117.51/1120.58 c #Conflicts: 506000 | #Constraints: 83713
1117.51/1120.58 c #Conflicts: 507000 | #Constraints: 84713
1117.51/1120.58 c #Conflicts: 508000 | #Constraints: 85713
1117.51/1120.58 c #Conflicts: 509000 | #Constraints: 86713
1117.51/1120.58 c #Conflicts: 510000 | #Constraints: 87713
1117.51/1120.58 c #Conflicts: 511000 | #Constraints: 88713
1117.51/1120.58 c #Conflicts: 512000 | #Constraints: 89713
1117.51/1120.58 c #Conflicts: 513000 | #Constraints: 90713
1117.51/1120.58 c #Conflicts: 514000 | #Constraints: 91713
1117.51/1120.58 c #Conflicts: 515000 | #Constraints: 92713
1117.51/1120.58 c #Conflicts: 516000 | #Constraints: 93713
1117.51/1120.58 c INPROCESSING
1117.51/1120.58 c GARBAGE COLLECT
1117.51/1120.58 c #Conflicts: 517000 | #Constraints: 80507
1117.51/1120.58 c #Conflicts: 518000 | #Constraints: 81507
1117.51/1120.58 c #Conflicts: 519000 | #Constraints: 82507
1117.51/1120.58 c #Conflicts: 520000 | #Constraints: 83507
1117.51/1120.58 c #Conflicts: 521000 | #Constraints: 84507
1117.51/1120.58 c #Conflicts: 522000 | #Constraints: 85507
1117.51/1120.58 c #Conflicts: 523000 | #Constraints: 86507
1117.51/1120.58 c #Conflicts: 524000 | #Constraints: 87507
1117.51/1120.58 c #Conflicts: 525000 | #Constraints: 88507
1117.51/1120.58 c #Conflicts: 526000 | #Constraints: 89507
1117.51/1120.58 c #Conflicts: 527000 | #Constraints: 90507
1117.51/1120.58 c #Conflicts: 528000 | #Constraints: 91507
1117.51/1120.58 c #Conflicts: 529000 | #Constraints: 92507
1117.51/1120.58 c #Conflicts: 530000 | #Constraints: 93507
1117.51/1120.58 c #Conflicts: 531000 | #Constraints: 94507
1117.51/1120.58 c INPROCESSING
1117.51/1120.58 c GARBAGE COLLECT
1117.51/1120.58 c #Conflicts: 532000 | #Constraints: 81114
1117.51/1120.58 c #Conflicts: 533000 | #Constraints: 82114
1117.51/1120.58 c #Conflicts: 534000 | #Constraints: 83114
1439.57/1443.42 c #Conflicts: 535000 | #Constraints: 84114
1439.57/1443.42 c #Conflicts: 536000 | #Constraints: 85114
1439.57/1443.42 c #Conflicts: 537000 | #Constraints: 86114
1439.57/1443.42 c #Conflicts: 538000 | #Constraints: 87114
1439.57/1443.42 c #Conflicts: 539000 | #Constraints: 88114
1439.57/1443.42 c #Conflicts: 540000 | #Constraints: 89114
1439.57/1443.42 c #Conflicts: 541000 | #Constraints: 90114
1439.57/1443.42 c #Conflicts: 542000 | #Constraints: 91114
1439.57/1443.42 c #Conflicts: 543000 | #Constraints: 92114
1439.57/1443.42 c #Conflicts: 544000 | #Constraints: 93114
1439.57/1443.42 c #Conflicts: 545000 | #Constraints: 94114
1439.57/1443.42 c #Conflicts: 546000 | #Constraints: 95114
1439.57/1443.42 c INPROCESSING
1439.57/1443.42 c GARBAGE COLLECT
1439.57/1443.42 c #Conflicts: 547000 | #Constraints: 81522
1439.57/1443.42 c #Conflicts: 548000 | #Constraints: 82522
1439.57/1443.42 c #Conflicts: 549000 | #Constraints: 83522
1439.57/1443.42 c #Conflicts: 550000 | #Constraints: 84522
1439.57/1443.42 c #Conflicts: 551000 | #Constraints: 85522
1439.57/1443.42 c #Conflicts: 552000 | #Constraints: 86522
1439.57/1443.42 c #Conflicts: 553000 | #Constraints: 87522
1439.57/1443.42 c #Conflicts: 554000 | #Constraints: 88522
1439.57/1443.42 c #Conflicts: 555000 | #Constraints: 89522
1439.57/1443.42 c #Conflicts: 556000 | #Constraints: 90522
1439.57/1443.42 c #Conflicts: 557000 | #Constraints: 91522
1439.57/1443.42 c #Conflicts: 558000 | #Constraints: 92522
1439.57/1443.42 c #Conflicts: 559000 | #Constraints: 93522
1439.57/1443.42 c #Conflicts: 560000 | #Constraints: 94522
1439.57/1443.42 c #Conflicts: 561000 | #Constraints: 95522
1439.57/1443.42 c INPROCESSING
1439.57/1443.42 c GARBAGE COLLECT
1439.57/1443.42 c #Conflicts: 562000 | #Constraints: 81726
1439.57/1443.42 c #Conflicts: 563000 | #Constraints: 82726
1439.57/1443.42 c #Conflicts: 564000 | #Constraints: 83726
1439.57/1443.42 c #Conflicts: 565000 | #Constraints: 84726
1439.57/1443.42 c #Conflicts: 566000 | #Constraints: 85726
1439.57/1443.42 c #Conflicts: 567000 | #Constraints: 86726
1439.57/1443.42 c #Conflicts: 568000 | #Constraints: 87726
1439.57/1443.42 c #Conflicts: 569000 | #Constraints: 88726
1439.57/1443.42 c #Conflicts: 570000 | #Constraints: 89726
1439.57/1443.42 c #Conflicts: 571000 | #Constraints: 90726
1439.57/1443.42 c #Conflicts: 572000 | #Constraints: 91726
1439.57/1443.42 c #Conflicts: 573000 | #Constraints: 92726
1439.57/1443.42 c #Conflicts: 574000 | #Constraints: 93726
1439.57/1443.42 c #Conflicts: 575000 | #Constraints: 94726
1439.57/1443.42 c #Conflicts: 576000 | #Constraints: 95726
1439.57/1443.42 c INPROCESSING
1439.57/1443.42 c GARBAGE COLLECT
1439.57/1443.42 c #Conflicts: 577000 | #Constraints: 81720
1439.57/1443.42 c #Conflicts: 578000 | #Constraints: 82720
1439.57/1443.42 c #Conflicts: 579000 | #Constraints: 83720
1439.57/1443.42 c #Conflicts: 580000 | #Constraints: 84720
1439.57/1443.42 c #Conflicts: 581000 | #Constraints: 85720
1439.57/1443.42 c #Conflicts: 582000 | #Constraints: 86720
1439.57/1443.42 c #Conflicts: 583000 | #Constraints: 87720
1439.57/1443.42 c #Conflicts: 584000 | #Constraints: 88720
1439.57/1443.42 c #Conflicts: 585000 | #Constraints: 89720
1439.57/1443.42 c #Conflicts: 586000 | #Constraints: 90720
1439.57/1443.42 c #Conflicts: 587000 | #Constraints: 91720
1439.57/1443.42 c #Conflicts: 588000 | #Constraints: 92720
1439.57/1443.42 c #Conflicts: 589000 | #Constraints: 93720
1439.57/1443.42 c #Conflicts: 590000 | #Constraints: 94720
1439.57/1443.42 c #Conflicts: 591000 | #Constraints: 95720
1439.57/1443.42 c INPROCESSING
1439.57/1443.42 c GARBAGE COLLECT
1439.57/1443.42 c #Conflicts: 592000 | #Constraints: 81524
1439.57/1443.42 c #Conflicts: 593000 | #Constraints: 82524
1439.57/1443.42 c #Conflicts: 594000 | #Constraints: 83524
1439.57/1443.42 c #Conflicts: 595000 | #Constraints: 84524
1439.57/1443.42 c #Conflicts: 596000 | #Constraints: 85524
1439.57/1443.42 c #Conflicts: 597000 | #Constraints: 86524
1439.57/1443.42 c #Conflicts: 598000 | #Constraints: 87524
1439.57/1443.42 c #Conflicts: 599000 | #Constraints: 88524
1439.57/1443.42 c #Conflicts: 600000 | #Constraints: 89524
1439.57/1443.42 c #Conflicts: 601000 | #Constraints: 90524
1439.57/1443.42 c #Conflicts: 602000 | #Constraints: 91524
1439.57/1443.42 c #Conflicts: 603000 | #Constraints: 92524
1439.57/1443.42 c #Conflicts: 604000 | #Constraints: 93524
1439.57/1443.42 c #Conflicts: 605000 | #Constraints: 94524
1439.57/1443.42 c #Conflicts: 606000 | #Constraints: 95524
1439.57/1443.42 c #Conflicts: 607000 | #Constraints: 96524
1439.57/1443.42 c INPROCESSING
1439.57/1443.42 c GARBAGE COLLECT
1439.57/1443.42 c #Conflicts: 608000 | #Constraints: 82128
1439.57/1443.42 c #Conflicts: 609000 | #Constraints: 83128
1439.57/1443.42 c #Conflicts: 610000 | #Constraints: 84128
1779.80/1784.44 c #Conflicts: 611000 | #Constraints: 85128
1779.80/1784.44 c #Conflicts: 612000 | #Constraints: 86128
1779.80/1784.44 c #Conflicts: 613000 | #Constraints: 87128
1779.80/1784.44 c #Conflicts: 614000 | #Constraints: 88128
1779.80/1784.44 c #Conflicts: 615000 | #Constraints: 89128
1779.80/1784.44 c #Conflicts: 616000 | #Constraints: 90128
1779.80/1784.44 c #Conflicts: 617000 | #Constraints: 91128
1779.80/1784.44 c #Conflicts: 618000 | #Constraints: 92128
1779.80/1784.44 c #Conflicts: 619000 | #Constraints: 93128
1779.80/1784.44 c #Conflicts: 620000 | #Constraints: 94128
1779.80/1784.44 c #Conflicts: 621000 | #Constraints: 95128
1779.80/1784.44 c #Conflicts: 622000 | #Constraints: 96128
1779.80/1784.44 c #Conflicts: 623000 | #Constraints: 97128
1779.80/1784.44 c INPROCESSING
1779.80/1784.44 c GARBAGE COLLECT
1779.80/1784.44 c #Conflicts: 624000 | #Constraints: 82515
1779.80/1784.44 c #Conflicts: 625000 | #Constraints: 83515
1779.80/1784.44 c #Conflicts: 626000 | #Constraints: 84515
1779.80/1784.44 c #Conflicts: 627000 | #Constraints: 85515
1779.80/1784.44 c #Conflicts: 628000 | #Constraints: 86515
1779.80/1784.44 c #Conflicts: 629000 | #Constraints: 87515
1779.80/1784.44 c #Conflicts: 630000 | #Constraints: 88515
1779.80/1784.44 c #Conflicts: 631000 | #Constraints: 89515
1779.80/1784.44 c #Conflicts: 632000 | #Constraints: 90515
1779.80/1784.44 c #Conflicts: 633000 | #Constraints: 91515
1779.80/1784.44 c #Conflicts: 634000 | #Constraints: 92515
1779.80/1784.44 c #Conflicts: 635000 | #Constraints: 93515
1779.80/1784.44 c #Conflicts: 636000 | #Constraints: 94515
1779.80/1784.44 c #Conflicts: 637000 | #Constraints: 95515
1779.80/1784.44 c #Conflicts: 638000 | #Constraints: 96515
1779.80/1784.44 c #Conflicts: 639000 | #Constraints: 97515
1779.80/1784.44 c INPROCESSING
1779.80/1784.44 c GARBAGE COLLECT
1779.80/1784.44 c #Conflicts: 640000 | #Constraints: 82731
1779.80/1784.44 c #Conflicts: 641000 | #Constraints: 83731
1779.80/1784.44 c #Conflicts: 642000 | #Constraints: 84731
1779.80/1784.44 c #Conflicts: 643000 | #Constraints: 85731
1779.80/1784.44 c #Conflicts: 644000 | #Constraints: 86731
1779.80/1784.44 c #Conflicts: 645000 | #Constraints: 87731
1779.80/1784.44 c #Conflicts: 646000 | #Constraints: 88731
1779.80/1784.44 c #Conflicts: 647000 | #Constraints: 89731
1779.80/1784.44 c #Conflicts: 648000 | #Constraints: 90731
1779.80/1784.45 c #Conflicts: 649000 | #Constraints: 91731
1779.80/1784.45 c #Conflicts: 650000 | #Constraints: 92731
1779.80/1784.45 c #Conflicts: 651000 | #Constraints: 93731
1779.80/1784.45 c #Conflicts: 652000 | #Constraints: 94731
1779.80/1784.45 c #Conflicts: 653000 | #Constraints: 95731
1779.80/1784.45 c #Conflicts: 654000 | #Constraints: 96731
1779.80/1784.45 c #Conflicts: 655000 | #Constraints: 97731
1779.80/1784.45 c INPROCESSING
1779.80/1784.45 c GARBAGE COLLECT
1779.80/1784.45 c #Conflicts: 656000 | #Constraints: 82723
1779.80/1784.45 c #Conflicts: 657000 | #Constraints: 83723
1779.80/1784.45 c #Conflicts: 658000 | #Constraints: 84723
1779.80/1784.45 c #Conflicts: 659000 | #Constraints: 85723
1779.80/1784.45 c #Conflicts: 660000 | #Constraints: 86723
1779.80/1784.45 c #Conflicts: 661000 | #Constraints: 87723
1779.80/1784.45 c #Conflicts: 662000 | #Constraints: 88723
1779.80/1784.45 c #Conflicts: 663000 | #Constraints: 89723
1779.80/1784.45 c #Conflicts: 664000 | #Constraints: 90723
1779.80/1784.45 c #Conflicts: 665000 | #Constraints: 91723
1779.80/1784.45 c #Conflicts: 666000 | #Constraints: 92723
1779.80/1784.45 c #Conflicts: 667000 | #Constraints: 93723
1779.80/1784.45 c #Conflicts: 668000 | #Constraints: 94723
1779.80/1784.45 c #Conflicts: 669000 | #Constraints: 95723
1779.80/1784.45 c #Conflicts: 670000 | #Constraints: 96723
1779.80/1784.45 c #Conflicts: 671000 | #Constraints: 97723
1779.80/1784.45 c INPROCESSING
1779.80/1784.45 c GARBAGE COLLECT
1779.80/1784.45 c #Conflicts: 672000 | #Constraints: 82526
1779.80/1784.45 c #Conflicts: 673000 | #Constraints: 83526
1779.80/1784.45 c #Conflicts: 674000 | #Constraints: 84526
1779.80/1784.45 c #Conflicts: 675000 | #Constraints: 85526
1779.80/1784.45 c #Conflicts: 676000 | #Constraints: 86526
1779.80/1784.45 c #Conflicts: 677000 | #Constraints: 87526
1779.80/1784.45 c #Conflicts: 678000 | #Constraints: 88526
1779.80/1784.45 c #Conflicts: 679000 | #Constraints: 89526
1779.80/1784.45 c #Conflicts: 680000 | #Constraints: 90526
1779.80/1784.45 c #Conflicts: 681000 | #Constraints: 91526
1779.80/1784.45 c #Conflicts: 682000 | #Constraints: 92526
1779.80/1784.45 c #Conflicts: 683000 | #Constraints: 93526
1779.80/1784.45 c #Conflicts: 684000 | #Constraints: 94526
1779.80/1784.45 c #Conflicts: 685000 | #Constraints: 95526
1779.80/1784.45 c #Conflicts: 686000 | #Constraints: 96526
2139.23/2144.78 c #Conflicts: 687000 | #Constraints: 97526
2139.23/2144.78 c #Conflicts: 688000 | #Constraints: 98526
2139.23/2144.78 c INPROCESSING
2139.23/2144.78 c GARBAGE COLLECT
2139.23/2144.78 c #Conflicts: 689000 | #Constraints: 83124
2139.23/2144.78 c #Conflicts: 690000 | #Constraints: 84124
2139.23/2144.78 c #Conflicts: 691000 | #Constraints: 85124
2139.23/2144.78 c #Conflicts: 692000 | #Constraints: 86124
2139.23/2144.78 c #Conflicts: 693000 | #Constraints: 87124
2139.23/2144.78 c #Conflicts: 694000 | #Constraints: 88124
2139.23/2144.78 c #Conflicts: 695000 | #Constraints: 89124
2139.23/2144.78 c #Conflicts: 696000 | #Constraints: 90124
2139.23/2144.78 c #Conflicts: 697000 | #Constraints: 91124
2139.23/2144.78 c #Conflicts: 698000 | #Constraints: 92124
2139.23/2144.78 c #Conflicts: 699000 | #Constraints: 93124
2139.23/2144.78 c #Conflicts: 700000 | #Constraints: 94124
2139.23/2144.78 c #Conflicts: 701000 | #Constraints: 95124
2139.23/2144.78 c #Conflicts: 702000 | #Constraints: 96124
2139.23/2144.78 c #Conflicts: 703000 | #Constraints: 97124
2139.23/2144.78 c #Conflicts: 704000 | #Constraints: 98124
2139.23/2144.78 c #Conflicts: 705000 | #Constraints: 99124
2139.23/2144.78 c INPROCESSING
2139.23/2144.78 c GARBAGE COLLECT
2139.23/2144.78 c #Conflicts: 706000 | #Constraints: 83521
2139.23/2144.78 c #Conflicts: 707000 | #Constraints: 84521
2139.23/2144.78 c #Conflicts: 708000 | #Constraints: 85521
2139.23/2144.78 c #Conflicts: 709000 | #Constraints: 86521
2139.23/2144.78 c #Conflicts: 710000 | #Constraints: 87521
2139.23/2144.78 c #Conflicts: 711000 | #Constraints: 88521
2139.23/2144.78 c #Conflicts: 712000 | #Constraints: 89521
2139.23/2144.78 c #Conflicts: 713000 | #Constraints: 90521
2139.23/2144.78 c #Conflicts: 714000 | #Constraints: 91521
2139.23/2144.78 c #Conflicts: 715000 | #Constraints: 92521
2139.23/2144.78 c #Conflicts: 716000 | #Constraints: 93521
2139.23/2144.78 c #Conflicts: 717000 | #Constraints: 94521
2139.23/2144.78 c #Conflicts: 718000 | #Constraints: 95521
2139.23/2144.78 c #Conflicts: 719000 | #Constraints: 96521
2139.23/2144.78 c #Conflicts: 720000 | #Constraints: 97521
2139.23/2144.78 c #Conflicts: 721000 | #Constraints: 98521
2139.23/2144.78 c #Conflicts: 722000 | #Constraints: 99521
2139.23/2144.78 c INPROCESSING
2139.23/2144.78 c GARBAGE COLLECT
2139.23/2144.78 c #Conflicts: 723000 | #Constraints: 83717
2139.23/2144.78 c #Conflicts: 724000 | #Constraints: 84717
2139.23/2144.78 c #Conflicts: 725000 | #Constraints: 85717
2139.23/2144.78 c #Conflicts: 726000 | #Constraints: 86717
2139.23/2144.78 c #Conflicts: 727000 | #Constraints: 87717
2139.23/2144.78 c #Conflicts: 728000 | #Constraints: 88717
2139.23/2144.78 c #Conflicts: 729000 | #Constraints: 89717
2139.23/2144.78 c #Conflicts: 730000 | #Constraints: 90717
2139.23/2144.78 c #Conflicts: 731000 | #Constraints: 91717
2139.23/2144.78 c #Conflicts: 732000 | #Constraints: 92717
2139.23/2144.78 c #Conflicts: 733000 | #Constraints: 93717
2139.23/2144.78 c #Conflicts: 734000 | #Constraints: 94717
2139.23/2144.78 c #Conflicts: 735000 | #Constraints: 95717
2139.23/2144.78 c #Conflicts: 736000 | #Constraints: 96717
2139.23/2144.78 c #Conflicts: 737000 | #Constraints: 97717
2139.23/2144.78 c #Conflicts: 738000 | #Constraints: 98717
2139.23/2144.78 c #Conflicts: 739000 | #Constraints: 99717
2139.23/2144.78 c INPROCESSING
2139.23/2144.78 c GARBAGE COLLECT
2139.23/2144.78 c #Conflicts: 740000 | #Constraints: 83726
2139.23/2144.78 c #Conflicts: 741000 | #Constraints: 84726
2139.23/2144.78 c #Conflicts: 742000 | #Constraints: 85726
2139.23/2144.78 c #Conflicts: 743000 | #Constraints: 86726
2139.23/2144.78 c #Conflicts: 744000 | #Constraints: 87726
2139.23/2144.78 c #Conflicts: 745000 | #Constraints: 88726
2139.23/2144.78 c #Conflicts: 746000 | #Constraints: 89726
2139.23/2144.78 c #Conflicts: 747000 | #Constraints: 90726
2139.23/2144.78 c #Conflicts: 748000 | #Constraints: 91726
2139.23/2144.78 c #Conflicts: 749000 | #Constraints: 92726
2139.23/2144.78 c #Conflicts: 750000 | #Constraints: 93726
2139.23/2144.78 c #Conflicts: 751000 | #Constraints: 94726
2139.23/2144.78 c #Conflicts: 752000 | #Constraints: 95726
2139.23/2144.78 c #Conflicts: 753000 | #Constraints: 96726
2139.23/2144.78 c #Conflicts: 754000 | #Constraints: 97726
2139.23/2144.78 c #Conflicts: 755000 | #Constraints: 98726
2139.23/2144.78 c #Conflicts: 756000 | #Constraints: 99726
2139.23/2144.78 c INPROCESSING
2139.23/2144.78 c GARBAGE COLLECT
2139.23/2144.78 c #Conflicts: 757000 | #Constraints: 83530
2139.23/2144.78 c #Conflicts: 758000 | #Constraints: 84530
2139.23/2144.78 c #Conflicts: 759000 | #Constraints: 85530
2139.23/2144.78 c #Conflicts: 760000 | #Constraints: 86530
2139.23/2144.78 c #Conflicts: 761000 | #Constraints: 87530
2139.23/2144.78 c #Conflicts: 762000 | #Constraints: 88530
2606.24/2613.20 c #Conflicts: 763000 | #Constraints: 89530
2606.24/2613.20 c #Conflicts: 764000 | #Constraints: 90530
2606.24/2613.20 c #Conflicts: 765000 | #Constraints: 91530
2606.24/2613.20 c #Conflicts: 766000 | #Constraints: 92530
2606.24/2613.20 c #Conflicts: 767000 | #Constraints: 93530
2606.24/2613.20 c #Conflicts: 768000 | #Constraints: 94530
2606.24/2613.20 c #Conflicts: 769000 | #Constraints: 95530
2606.24/2613.20 c #Conflicts: 770000 | #Constraints: 96530
2606.24/2613.20 c #Conflicts: 771000 | #Constraints: 97530
2606.24/2613.20 c #Conflicts: 772000 | #Constraints: 98530
2606.24/2613.20 c #Conflicts: 773000 | #Constraints: 99530
2606.24/2613.20 c #Conflicts: 774000 | #Constraints: 100530
2606.24/2613.20 c INPROCESSING
2606.24/2613.20 c GARBAGE COLLECT
2606.24/2613.20 c #Conflicts: 775000 | #Constraints: 84115
2606.24/2613.20 c #Conflicts: 776000 | #Constraints: 85115
2606.24/2613.20 c #Conflicts: 777000 | #Constraints: 86115
2606.24/2613.20 c #Conflicts: 778000 | #Constraints: 87115
2606.24/2613.20 c #Conflicts: 779000 | #Constraints: 88115
2606.24/2613.20 c #Conflicts: 780000 | #Constraints: 89115
2606.24/2613.20 c #Conflicts: 781000 | #Constraints: 90115
2606.24/2613.20 c #Conflicts: 782000 | #Constraints: 91115
2606.24/2613.20 c #Conflicts: 783000 | #Constraints: 92115
2606.24/2613.20 c #Conflicts: 784000 | #Constraints: 93115
2606.24/2613.20 c #Conflicts: 785000 | #Constraints: 94115
2606.24/2613.20 c #Conflicts: 786000 | #Constraints: 95115
2606.24/2613.20 c #Conflicts: 787000 | #Constraints: 96115
2606.24/2613.20 c #Conflicts: 788000 | #Constraints: 97115
2606.24/2613.20 c #Conflicts: 789000 | #Constraints: 98115
2606.24/2613.20 c #Conflicts: 790000 | #Constraints: 99115
2606.24/2613.20 c #Conflicts: 791000 | #Constraints: 100115
2606.24/2613.20 c #Conflicts: 792000 | #Constraints: 101115
2606.24/2613.20 c INPROCESSING
2606.24/2613.20 c GARBAGE COLLECT
2606.24/2613.20 c #Conflicts: 793000 | #Constraints: 84525
2606.24/2613.20 c #Conflicts: 794000 | #Constraints: 85525
2606.24/2613.20 c #Conflicts: 795000 | #Constraints: 86525
2606.24/2613.20 c #Conflicts: 796000 | #Constraints: 87525
2606.24/2613.20 c #Conflicts: 797000 | #Constraints: 88525
2606.24/2613.20 c #Conflicts: 798000 | #Constraints: 89525
2606.24/2613.20 c #Conflicts: 799000 | #Constraints: 90525
2606.24/2613.20 c #Conflicts: 800000 | #Constraints: 91525
2606.24/2613.20 c #Conflicts: 801000 | #Constraints: 92525
2606.24/2613.20 c #Conflicts: 802000 | #Constraints: 93525
2606.24/2613.20 c #Conflicts: 803000 | #Constraints: 94525
2606.24/2613.20 c #Conflicts: 804000 | #Constraints: 95525
2606.24/2613.20 c #Conflicts: 805000 | #Constraints: 96525
2606.24/2613.20 c #Conflicts: 806000 | #Constraints: 97525
2606.24/2613.20 c #Conflicts: 807000 | #Constraints: 98525
2606.24/2613.20 c #Conflicts: 808000 | #Constraints: 99525
2606.24/2613.20 c #Conflicts: 809000 | #Constraints: 100525
2606.24/2613.20 c #Conflicts: 810000 | #Constraints: 101525
2606.24/2613.20 c INPROCESSING
2606.24/2613.20 c GARBAGE COLLECT
2606.24/2613.20 c #Conflicts: 811000 | #Constraints: 84737
2606.24/2613.20 c #Conflicts: 812000 | #Constraints: 85737
2606.24/2613.20 c #Conflicts: 813000 | #Constraints: 86737
2606.24/2613.20 c #Conflicts: 814000 | #Constraints: 87737
2606.24/2613.20 c #Conflicts: 815000 | #Constraints: 88737
2606.24/2613.20 c #Conflicts: 816000 | #Constraints: 89737
2606.24/2613.20 c #Conflicts: 817000 | #Constraints: 90737
2606.24/2613.20 c #Conflicts: 818000 | #Constraints: 91737
2606.24/2613.20 c #Conflicts: 819000 | #Constraints: 92737
2606.24/2613.20 c #Conflicts: 820000 | #Constraints: 93737
2606.24/2613.20 c #Conflicts: 821000 | #Constraints: 94737
2606.24/2613.20 c #Conflicts: 822000 | #Constraints: 95737
2606.24/2613.20 c #Conflicts: 823000 | #Constraints: 96737
2606.24/2613.20 c #Conflicts: 824000 | #Constraints: 97737
2606.24/2613.20 c #Conflicts: 825000 | #Constraints: 98737
2606.24/2613.20 c #Conflicts: 826000 | #Constraints: 99737
2606.24/2613.20 c #Conflicts: 827000 | #Constraints: 100737
2606.24/2613.20 c #Conflicts: 828000 | #Constraints: 101737
2606.24/2613.20 c INPROCESSING
2606.24/2613.20 c GARBAGE COLLECT
2606.24/2613.20 c #Conflicts: 829000 | #Constraints: 84750
2606.24/2613.20 c #Conflicts: 830000 | #Constraints: 85750
2606.24/2613.20 c #Conflicts: 831000 | #Constraints: 86750
2606.24/2613.20 c #Conflicts: 832000 | #Constraints: 87750
2606.24/2613.20 c #Conflicts: 833000 | #Constraints: 88750
2606.24/2613.20 c #Conflicts: 834000 | #Constraints: 89750
2606.24/2613.20 c #Conflicts: 835000 | #Constraints: 90750
2606.24/2613.20 c #Conflicts: 836000 | #Constraints: 91750
2606.24/2613.20 c #Conflicts: 837000 | #Constraints: 92750
2606.24/2613.20 c #Conflicts: 838000 | #Constraints: 93750
2877.47/2885.37 c #Conflicts: 839000 | #Constraints: 94750
2877.47/2885.37 c #Conflicts: 840000 | #Constraints: 95750
2877.47/2885.37 c #Conflicts: 841000 | #Constraints: 96750
2877.47/2885.37 c #Conflicts: 842000 | #Constraints: 97750
2877.47/2885.37 c #Conflicts: 843000 | #Constraints: 98750
2877.47/2885.37 c #Conflicts: 844000 | #Constraints: 99750
2877.47/2885.37 c #Conflicts: 845000 | #Constraints: 100750
2877.47/2885.37 c #Conflicts: 846000 | #Constraints: 101750
2877.47/2885.37 c INPROCESSING
2877.47/2885.37 c GARBAGE COLLECT
2877.47/2885.37 c #Conflicts: 847000 | #Constraints: 84535
2877.47/2885.37 c #Conflicts: 848000 | #Constraints: 85535
2877.47/2885.37 c #Conflicts: 849000 | #Constraints: 86535
2877.47/2885.37 c #Conflicts: 850000 | #Constraints: 87535
2877.47/2885.37 c #Conflicts: 851000 | #Constraints: 88535
2877.47/2885.37 c #Conflicts: 852000 | #Constraints: 89535
2877.47/2885.37 c bounds -540 >= -625 @ 2696.95
2877.47/2885.37 c #Conflicts: 853000 | #Constraints: 90635
2877.47/2885.37 c #Conflicts: 854000 | #Constraints: 91635
2877.47/2885.37 c #Conflicts: 855000 | #Constraints: 92635
2877.47/2885.37 c #Conflicts: 856000 | #Constraints: 93635
2877.47/2885.37 c #Conflicts: 857000 | #Constraints: 94635
2877.47/2885.37 c #Conflicts: 858000 | #Constraints: 95635
2877.47/2885.37 c #Conflicts: 859000 | #Constraints: 96635
2877.47/2885.37 c #Conflicts: 860000 | #Constraints: 97635
2877.47/2885.37 c #Conflicts: 861000 | #Constraints: 98635
2877.47/2885.37 c #Conflicts: 862000 | #Constraints: 99635
2877.47/2885.37 c #Conflicts: 863000 | #Constraints: 100635
2877.47/2885.37 c #Conflicts: 864000 | #Constraints: 101635
2877.47/2885.37 c #Conflicts: 865000 | #Constraints: 102635
2877.47/2885.37 c INPROCESSING
2877.47/2885.37 c GARBAGE COLLECT
2877.47/2885.37 c #Conflicts: 866000 | #Constraints: 85172
2877.47/2885.37 c #Conflicts: 867000 | #Constraints: 86172
2877.47/2885.37 c #Conflicts: 868000 | #Constraints: 87172
2877.47/2885.37 c #Conflicts: 869000 | #Constraints: 88172
2877.47/2885.37 c #Conflicts: 870000 | #Constraints: 89172
2877.47/2885.37 c #Conflicts: 871000 | #Constraints: 90172
2877.47/2885.37 c #Conflicts: 872000 | #Constraints: 91172
2877.47/2885.37 c #Conflicts: 873000 | #Constraints: 92172
2877.47/2885.37 c #Conflicts: 874000 | #Constraints: 93172
2877.47/2885.37 c #Conflicts: 875000 | #Constraints: 94172
2877.47/2885.37 c #Conflicts: 876000 | #Constraints: 95172
2877.47/2885.37 c #Conflicts: 877000 | #Constraints: 96172
2877.47/2885.37 c #Conflicts: 878000 | #Constraints: 97172
2877.47/2885.37 c #Conflicts: 879000 | #Constraints: 98172
2877.47/2885.37 c #Conflicts: 880000 | #Constraints: 99172
2877.47/2885.37 c #Conflicts: 881000 | #Constraints: 100172
2877.47/2885.37 c #Conflicts: 882000 | #Constraints: 101172
2877.47/2885.37 c #Conflicts: 883000 | #Constraints: 102172
2877.47/2885.37 c #Conflicts: 884000 | #Constraints: 103172
2877.47/2885.37 c INPROCESSING
2877.47/2885.37 c GARBAGE COLLECT
2877.47/2885.37 c #Conflicts: 885000 | #Constraints: 85557
2877.47/2885.37 c #Conflicts: 886000 | #Constraints: 86557
2877.47/2885.37 c #Conflicts: 887000 | #Constraints: 87557
2877.47/2885.37 c #Conflicts: 888000 | #Constraints: 88557
2877.47/2885.37 c #Conflicts: 889000 | #Constraints: 89557
2877.47/2885.37 c #Conflicts: 890000 | #Constraints: 90557
2877.47/2885.37 c #Conflicts: 891000 | #Constraints: 91557
2877.47/2885.37 c #Conflicts: 892000 | #Constraints: 92557
2877.47/2885.37 c #Conflicts: 893000 | #Constraints: 93557
2877.47/2885.37 c #Conflicts: 894000 | #Constraints: 94557
2877.47/2885.37 c #Conflicts: 895000 | #Constraints: 95557
2877.47/2885.37 c #Conflicts: 896000 | #Constraints: 96557
2877.47/2885.37 c #Conflicts: 897000 | #Constraints: 97557
2877.47/2885.37 c #Conflicts: 898000 | #Constraints: 98557
2877.47/2885.37 c #Conflicts: 899000 | #Constraints: 99557
2877.47/2885.37 c #Conflicts: 900000 | #Constraints: 100557
2877.47/2885.37 c #Conflicts: 901000 | #Constraints: 101557
2877.47/2885.37 c #Conflicts: 902000 | #Constraints: 102557
2877.47/2885.37 c #Conflicts: 903000 | #Constraints: 103557
2877.47/2885.37 c INPROCESSING
2877.47/2885.37 c GARBAGE COLLECT
2877.47/2885.37 c #Conflicts: 904000 | #Constraints: 85739
2877.47/2885.37 c #Conflicts: 905000 | #Constraints: 86739
2877.47/2885.37 c #Conflicts: 906000 | #Constraints: 87739
2877.47/2885.37 c #Conflicts: 907000 | #Constraints: 88739
2877.47/2885.37 c #Conflicts: 908000 | #Constraints: 89739
2877.47/2885.37 c #Conflicts: 909000 | #Constraints: 90739
2877.47/2885.37 c #Conflicts: 910000 | #Constraints: 91739
2877.47/2885.37 c #Conflicts: 911000 | #Constraints: 92739
2877.47/2885.37 c #Conflicts: 912000 | #Constraints: 93739
2877.47/2885.37 c #Conflicts: 913000 | #Constraints: 94739
2877.47/2885.37 c #Conflicts: 914000 | #Constraints: 95739
3091.19/3099.74 c #Conflicts: 915000 | #Constraints: 96739
3091.19/3099.74 c #Conflicts: 916000 | #Constraints: 97739
3091.19/3099.74 c #Conflicts: 917000 | #Constraints: 98739
3091.19/3099.74 c #Conflicts: 918000 | #Constraints: 99739
3091.19/3099.74 c #Conflicts: 919000 | #Constraints: 100739
3091.19/3099.74 c #Conflicts: 920000 | #Constraints: 101739
3091.19/3099.74 c #Conflicts: 921000 | #Constraints: 102739
3091.19/3099.74 c #Conflicts: 922000 | #Constraints: 103739
3091.19/3099.74 c INPROCESSING
3091.19/3099.74 c GARBAGE COLLECT
3091.19/3099.74 c #Conflicts: 923000 | #Constraints: 85743
3091.19/3099.74 c #Conflicts: 924000 | #Constraints: 86743
3091.19/3099.74 c #Conflicts: 925000 | #Constraints: 87743
3091.19/3099.74 c #Conflicts: 926000 | #Constraints: 88743
3091.19/3099.74 c #Conflicts: 927000 | #Constraints: 89743
3091.19/3099.74 c #Conflicts: 928000 | #Constraints: 90743
3091.19/3099.74 c #Conflicts: 929000 | #Constraints: 91743
3091.19/3099.74 c #Conflicts: 930000 | #Constraints: 92743
3091.19/3099.74 c #Conflicts: 931000 | #Constraints: 93743
3091.19/3099.74 c #Conflicts: 932000 | #Constraints: 94743
3091.19/3099.74 c #Conflicts: 933000 | #Constraints: 95743
3091.19/3099.74 c #Conflicts: 934000 | #Constraints: 96743
3091.19/3099.74 c #Conflicts: 935000 | #Constraints: 97743
3091.19/3099.74 c #Conflicts: 936000 | #Constraints: 98743
3091.19/3099.74 c #Conflicts: 937000 | #Constraints: 99743
3091.19/3099.74 c #Conflicts: 938000 | #Constraints: 100743
3091.19/3099.74 c #Conflicts: 939000 | #Constraints: 101743
3091.19/3099.74 c #Conflicts: 940000 | #Constraints: 102743
3091.19/3099.74 c #Conflicts: 941000 | #Constraints: 103743
3091.19/3099.74 c INPROCESSING
3091.19/3099.74 c GARBAGE COLLECT
3091.19/3099.74 c #Conflicts: 942000 | #Constraints: 85541
3091.19/3099.74 c #Conflicts: 943000 | #Constraints: 86541
3091.19/3099.74 c #Conflicts: 944000 | #Constraints: 87541
3091.19/3099.74 c #Conflicts: 945000 | #Constraints: 88541
3091.19/3099.74 c #Conflicts: 946000 | #Constraints: 89541
3091.19/3099.74 c #Conflicts: 947000 | #Constraints: 90541
3091.19/3099.74 c #Conflicts: 948000 | #Constraints: 91541
3091.19/3099.74 c #Conflicts: 949000 | #Constraints: 92541
3091.19/3099.74 c #Conflicts: 950000 | #Constraints: 93541
3091.19/3099.74 c #Conflicts: 951000 | #Constraints: 94541
3091.19/3099.74 c #Conflicts: 952000 | #Constraints: 95541
3091.19/3099.74 c #Conflicts: 953000 | #Constraints: 96541
3091.19/3099.74 c #Conflicts: 954000 | #Constraints: 97541
3091.19/3099.74 c #Conflicts: 955000 | #Constraints: 98541
3091.19/3099.74 c #Conflicts: 956000 | #Constraints: 99541
3091.19/3099.74 c #Conflicts: 957000 | #Constraints: 100541
3091.19/3099.74 c #Conflicts: 958000 | #Constraints: 101541
3091.19/3099.74 c #Conflicts: 959000 | #Constraints: 102541
3091.19/3099.74 c #Conflicts: 960000 | #Constraints: 103541
3091.19/3099.74 c #Conflicts: 961000 | #Constraints: 104541
3091.19/3099.74 c INPROCESSING
3091.19/3099.74 c GARBAGE COLLECT
3091.19/3099.74 c #Conflicts: 962000 | #Constraints: 86155
3091.19/3099.74 c #Conflicts: 963000 | #Constraints: 87155
3091.19/3099.74 c #Conflicts: 964000 | #Constraints: 88155
3091.19/3099.74 c #Conflicts: 965000 | #Constraints: 89155
3091.19/3099.74 c #Conflicts: 966000 | #Constraints: 90155
3091.19/3099.74 c #Conflicts: 967000 | #Constraints: 91155
3091.19/3099.74 c #Conflicts: 968000 | #Constraints: 92155
3091.19/3099.74 c #Conflicts: 969000 | #Constraints: 93155
3091.19/3099.74 c #Conflicts: 970000 | #Constraints: 94155
3091.19/3099.74 c #Conflicts: 971000 | #Constraints: 95155
3091.19/3099.74 c #Conflicts: 972000 | #Constraints: 96155
3091.19/3099.74 c #Conflicts: 973000 | #Constraints: 97155
3091.19/3099.74 c #Conflicts: 974000 | #Constraints: 98155
3091.19/3099.74 c #Conflicts: 975000 | #Constraints: 99155
3091.19/3099.74 c #Conflicts: 976000 | #Constraints: 100155
3091.19/3099.74 c #Conflicts: 977000 | #Constraints: 101155
3091.19/3099.74 c #Conflicts: 978000 | #Constraints: 102155
3091.19/3099.74 c #Conflicts: 979000 | #Constraints: 103155
3091.19/3099.74 c #Conflicts: 980000 | #Constraints: 104155
3091.19/3099.74 c #Conflicts: 981000 | #Constraints: 105155
3091.19/3099.74 c INPROCESSING
3091.19/3099.74 c GARBAGE COLLECT
3091.19/3099.74 c #Conflicts: 982000 | #Constraints: 86548
3091.19/3099.74 c #Conflicts: 983000 | #Constraints: 87548
3091.19/3099.74 c #Conflicts: 984000 | #Constraints: 88548
3091.19/3099.74 c #Conflicts: 985000 | #Constraints: 89548
3091.19/3099.74 c #Conflicts: 986000 | #Constraints: 90548
3091.19/3099.74 c #Conflicts: 987000 | #Constraints: 91548
3091.19/3099.74 c #Conflicts: 988000 | #Constraints: 92548
3091.19/3099.74 c #Conflicts: 989000 | #Constraints: 93548
3091.19/3099.74 c #Conflicts: 990000 | #Constraints: 94548
3307.02/3316.25 c #Conflicts: 991000 | #Constraints: 95548
3307.02/3316.25 c #Conflicts: 992000 | #Constraints: 96548
3307.02/3316.25 c #Conflicts: 993000 | #Constraints: 97548
3307.02/3316.25 c #Conflicts: 994000 | #Constraints: 98548
3307.02/3316.25 c #Conflicts: 995000 | #Constraints: 99548
3307.02/3316.25 c #Conflicts: 996000 | #Constraints: 100548
3307.02/3316.25 c #Conflicts: 997000 | #Constraints: 101548
3307.02/3316.25 c #Conflicts: 998000 | #Constraints: 102548
3307.02/3316.25 c #Conflicts: 999000 | #Constraints: 103548
3307.02/3316.25 c #Conflicts: 1000000 | #Constraints: 104548
3307.02/3316.25 c #Conflicts: 1001000 | #Constraints: 105548
3307.02/3316.25 c INPROCESSING
3307.02/3316.25 c GARBAGE COLLECT
3307.02/3316.25 c #Conflicts: 1002000 | #Constraints: 86741
3307.02/3316.25 c #Conflicts: 1003000 | #Constraints: 87741
3307.02/3316.25 c #Conflicts: 1004000 | #Constraints: 88741
3307.02/3316.25 c #Conflicts: 1005000 | #Constraints: 89741
3307.02/3316.25 c #Conflicts: 1006000 | #Constraints: 90741
3307.02/3316.25 c #Conflicts: 1007000 | #Constraints: 91741
3307.02/3316.25 c #Conflicts: 1008000 | #Constraints: 92741
3307.02/3316.25 c #Conflicts: 1009000 | #Constraints: 93741
3307.02/3316.25 c #Conflicts: 1010000 | #Constraints: 94741
3307.02/3316.25 c #Conflicts: 1011000 | #Constraints: 95741
3307.02/3316.25 c #Conflicts: 1012000 | #Constraints: 96741
3307.02/3316.25 c #Conflicts: 1013000 | #Constraints: 97741
3307.02/3316.25 c #Conflicts: 1014000 | #Constraints: 98741
3307.02/3316.25 c #Conflicts: 1015000 | #Constraints: 99741
3307.02/3316.25 c #Conflicts: 1016000 | #Constraints: 100741
3307.02/3316.25 c #Conflicts: 1017000 | #Constraints: 101741
3307.02/3316.25 c #Conflicts: 1018000 | #Constraints: 102741
3307.02/3316.25 c #Conflicts: 1019000 | #Constraints: 103741
3307.02/3316.25 c #Conflicts: 1020000 | #Constraints: 104741
3307.02/3316.25 c #Conflicts: 1021000 | #Constraints: 105741
3307.02/3316.25 c INPROCESSING
3307.02/3316.25 c GARBAGE COLLECT
3307.02/3316.25 c #Conflicts: 1022000 | #Constraints: 86741
3307.02/3316.25 c #Conflicts: 1023000 | #Constraints: 87741
3307.02/3316.25 c #Conflicts: 1024000 | #Constraints: 88741
3307.02/3316.25 c #Conflicts: 1025000 | #Constraints: 89741
3307.02/3316.25 c #Conflicts: 1026000 | #Constraints: 90741
3307.02/3316.25 c #Conflicts: 1027000 | #Constraints: 91741
3307.02/3316.25 c #Conflicts: 1028000 | #Constraints: 92741
3307.02/3316.25 c #Conflicts: 1029000 | #Constraints: 93741
3307.02/3316.25 c #Conflicts: 1030000 | #Constraints: 94741
3307.02/3316.25 c #Conflicts: 1031000 | #Constraints: 95741
3307.02/3316.25 c #Conflicts: 1032000 | #Constraints: 96741
3307.02/3316.25 c #Conflicts: 1033000 | #Constraints: 97741
3307.02/3316.25 c #Conflicts: 1034000 | #Constraints: 98741
3307.02/3316.25 c #Conflicts: 1035000 | #Constraints: 99741
3307.02/3316.25 c #Conflicts: 1036000 | #Constraints: 100741
3307.02/3316.25 c #Conflicts: 1037000 | #Constraints: 101741
3307.02/3316.25 c #Conflicts: 1038000 | #Constraints: 102741
3307.02/3316.25 c #Conflicts: 1039000 | #Constraints: 103741
3307.02/3316.25 c #Conflicts: 1040000 | #Constraints: 104741
3307.02/3316.25 c #Conflicts: 1041000 | #Constraints: 105741
3307.02/3316.25 c INPROCESSING
3307.02/3316.25 c GARBAGE COLLECT
3307.02/3316.25 c #Conflicts: 1042000 | #Constraints: 86551
3307.02/3316.25 c #Conflicts: 1043000 | #Constraints: 87551
3307.02/3316.25 c #Conflicts: 1044000 | #Constraints: 88551
3307.02/3316.25 c #Conflicts: 1045000 | #Constraints: 89551
3307.02/3316.25 c #Conflicts: 1046000 | #Constraints: 90551
3307.02/3316.25 c #Conflicts: 1047000 | #Constraints: 91551
3307.02/3316.25 c #Conflicts: 1048000 | #Constraints: 92551
3307.02/3316.25 c #Conflicts: 1049000 | #Constraints: 93551
3307.02/3316.25 c #Conflicts: 1050000 | #Constraints: 94551
3307.02/3316.25 c #Conflicts: 1051000 | #Constraints: 95551
3307.02/3316.25 c #Conflicts: 1052000 | #Constraints: 96551
3307.02/3316.25 c #Conflicts: 1053000 | #Constraints: 97551
3307.02/3316.25 c #Conflicts: 1054000 | #Constraints: 98551
3307.02/3316.25 c #Conflicts: 1055000 | #Constraints: 99551
3307.02/3316.25 c #Conflicts: 1056000 | #Constraints: 100551
3307.02/3316.25 c #Conflicts: 1057000 | #Constraints: 101551
3307.02/3316.25 c #Conflicts: 1058000 | #Constraints: 102551
3307.02/3316.25 c #Conflicts: 1059000 | #Constraints: 103551
3307.02/3316.25 c #Conflicts: 1060000 | #Constraints: 104551
3307.02/3316.25 c #Conflicts: 1061000 | #Constraints: 105551
3307.02/3316.25 c #Conflicts: 1062000 | #Constraints: 106551
3307.02/3316.25 c INPROCESSING
3307.02/3316.25 c GARBAGE COLLECT
3307.02/3316.25 c #Conflicts: 1063000 | #Constraints: 87146
3307.02/3316.25 c #Conflicts: 1064000 | #Constraints: 88146
3307.02/3316.25 c #Conflicts: 1065000 | #Constraints: 89146
3307.02/3316.25 c #Conflicts: 1066000 | #Constraints: 90146
3493.58/3503.28 c #Conflicts: 1067000 | #Constraints: 91146
3493.58/3503.28 c #Conflicts: 1068000 | #Constraints: 92146
3493.58/3503.28 c #Conflicts: 1069000 | #Constraints: 93146
3493.58/3503.28 c #Conflicts: 1070000 | #Constraints: 94146
3493.58/3503.28 c #Conflicts: 1071000 | #Constraints: 95146
3493.58/3503.28 c #Conflicts: 1072000 | #Constraints: 96146
3493.58/3503.28 c #Conflicts: 1073000 | #Constraints: 97146
3493.58/3503.28 c #Conflicts: 1074000 | #Constraints: 98146
3493.58/3503.28 c #Conflicts: 1075000 | #Constraints: 99146
3493.58/3503.28 c #Conflicts: 1076000 | #Constraints: 100146
3493.58/3503.28 c #Conflicts: 1077000 | #Constraints: 101146
3493.58/3503.28 c #Conflicts: 1078000 | #Constraints: 102146
3493.58/3503.28 c #Conflicts: 1079000 | #Constraints: 103146
3493.58/3503.28 c #Conflicts: 1080000 | #Constraints: 104146
3493.58/3503.28 c #Conflicts: 1081000 | #Constraints: 105146
3493.58/3503.28 c #Conflicts: 1082000 | #Constraints: 106146
3493.58/3503.28 c #Conflicts: 1083000 | #Constraints: 107146
3493.58/3503.28 c INPROCESSING
3493.58/3503.28 c GARBAGE COLLECT
3493.58/3503.28 c #Conflicts: 1084000 | #Constraints: 87538
3493.58/3503.28 c #Conflicts: 1085000 | #Constraints: 88538
3493.58/3503.28 c #Conflicts: 1086000 | #Constraints: 89538
3493.58/3503.28 c #Conflicts: 1087000 | #Constraints: 90538
3493.58/3503.28 c #Conflicts: 1088000 | #Constraints: 91538
3493.58/3503.28 c #Conflicts: 1089000 | #Constraints: 92538
3493.58/3503.28 c #Conflicts: 1090000 | #Constraints: 93538
3493.58/3503.28 c #Conflicts: 1091000 | #Constraints: 94538
3493.58/3503.28 c #Conflicts: 1092000 | #Constraints: 95538
3493.58/3503.28 c #Conflicts: 1093000 | #Constraints: 96538
3493.58/3503.28 c #Conflicts: 1094000 | #Constraints: 97538
3493.58/3503.28 c #Conflicts: 1095000 | #Constraints: 98538
3493.58/3503.28 c #Conflicts: 1096000 | #Constraints: 99538
3493.58/3503.28 c #Conflicts: 1097000 | #Constraints: 100538
3493.58/3503.28 c #Conflicts: 1098000 | #Constraints: 101538
3493.58/3503.28 c #Conflicts: 1099000 | #Constraints: 102538
3493.58/3503.28 c #Conflicts: 1100000 | #Constraints: 103538
3493.58/3503.28 c #Conflicts: 1101000 | #Constraints: 104538
3493.58/3503.28 c #Conflicts: 1102000 | #Constraints: 105538
3493.58/3503.28 c #Conflicts: 1103000 | #Constraints: 106538
3493.58/3503.28 c #Conflicts: 1104000 | #Constraints: 107538
3493.58/3503.28 c INPROCESSING
3493.58/3503.28 c GARBAGE COLLECT
3493.58/3503.28 c #Conflicts: 1105000 | #Constraints: 87730
3493.58/3503.28 c #Conflicts: 1106000 | #Constraints: 88730
3493.58/3503.28 c #Conflicts: 1107000 | #Constraints: 89730
3493.58/3503.28 c #Conflicts: 1108000 | #Constraints: 90730
3493.58/3503.28 c #Conflicts: 1109000 | #Constraints: 91730
3493.58/3503.28 c #Conflicts: 1110000 | #Constraints: 92730
3493.58/3503.28 c #Conflicts: 1111000 | #Constraints: 93730
3493.58/3503.28 c #Conflicts: 1112000 | #Constraints: 94730
3493.58/3503.28 c #Conflicts: 1113000 | #Constraints: 95730
3493.58/3503.28 c #Conflicts: 1114000 | #Constraints: 96730
3493.58/3503.28 c #Conflicts: 1115000 | #Constraints: 97730
3493.58/3503.28 c #Conflicts: 1116000 | #Constraints: 98730
3493.58/3503.28 c #Conflicts: 1117000 | #Constraints: 99730
3493.58/3503.28 c #Conflicts: 1118000 | #Constraints: 100730
3493.58/3503.28 c #Conflicts: 1119000 | #Constraints: 101730
3493.58/3503.28 c #Conflicts: 1120000 | #Constraints: 102730
3493.58/3503.28 c #Conflicts: 1121000 | #Constraints: 103730
3493.58/3503.28 c #Conflicts: 1122000 | #Constraints: 104730
3493.58/3503.28 c #Conflicts: 1123000 | #Constraints: 105730
3493.58/3503.28 c #Conflicts: 1124000 | #Constraints: 106730
3493.58/3503.28 c #Conflicts: 1125000 | #Constraints: 107730
3493.58/3503.28 c INPROCESSING
3493.58/3503.28 c GARBAGE COLLECT
3493.58/3503.28 c #Conflicts: 1126000 | #Constraints: 87738
3493.58/3503.28 c #Conflicts: 1127000 | #Constraints: 88738
3493.58/3503.28 c #Conflicts: 1128000 | #Constraints: 89738
3493.58/3503.28 c #Conflicts: 1129000 | #Constraints: 90738
3493.58/3503.28 c #Conflicts: 1130000 | #Constraints: 91738
3493.58/3503.28 c #Conflicts: 1131000 | #Constraints: 92738
3493.58/3503.28 c #Conflicts: 1132000 | #Constraints: 93738
3493.58/3503.28 c #Conflicts: 1133000 | #Constraints: 94738
3493.58/3503.28 c #Conflicts: 1134000 | #Constraints: 95738
3493.58/3503.28 c #Conflicts: 1135000 | #Constraints: 96738
3493.58/3503.28 c #Conflicts: 1136000 | #Constraints: 97738
3493.58/3503.28 c #Conflicts: 1137000 | #Constraints: 98738
3493.58/3503.28 c #Conflicts: 1138000 | #Constraints: 99738
3493.58/3503.28 c #Conflicts: 1139000 | #Constraints: 100738
3493.58/3503.28 c #Conflicts: 1140000 | #Constraints: 101738
3493.58/3503.28 c #Conflicts: 1141000 | #Constraints: 102738
3493.58/3503.28 c #Conflicts: 1142000 | #Constraints: 103738
3493.58/3503.28 c #Conflicts: 1143000 | #Constraints: 104738
3600.06/3610.01 c #Conflicts: 1144000 | #Constraints: 105738
3600.06/3610.01 c #Conflicts: 1145000 | #Constraints: 106738
3600.06/3610.01 c #Conflicts: 1146000 | #Constraints: 107738
3600.06/3610.01 c INPROCESSING
3600.06/3610.01 c GARBAGE COLLECT
3600.06/3610.01 c #Conflicts: 1147000 | #Constraints: 87535
3600.06/3610.01 c #Conflicts: 1148000 | #Constraints: 88535
3600.06/3610.01 c #Conflicts: 1149000 | #Constraints: 89535
3600.06/3610.01 c #Conflicts: 1150000 | #Constraints: 90535
3600.06/3610.01 c #Conflicts: 1151000 | #Constraints: 91535
3600.06/3610.01 c #Conflicts: 1152000 | #Constraints: 92535
3600.06/3610.01 c #Conflicts: 1153000 | #Constraints: 93535
3600.06/3610.01 c #Conflicts: 1154000 | #Constraints: 94535
3600.06/3610.01 c #Conflicts: 1155000 | #Constraints: 95535
3600.06/3610.01 c #Conflicts: 1156000 | #Constraints: 96535
3600.06/3610.01 c #Conflicts: 1157000 | #Constraints: 97535
3600.06/3610.01 c #Conflicts: 1158000 | #Constraints: 98535
3600.06/3610.01 c #Conflicts: 1159000 | #Constraints: 99535
3600.06/3610.01 c #Conflicts: 1160000 | #Constraints: 100535
3600.06/3610.01 c #Conflicts: 1161000 | #Constraints: 101535
3600.06/3610.01 c #Conflicts: 1162000 | #Constraints: 102535
3600.06/3610.01 c #Conflicts: 1163000 | #Constraints: 103535
3600.06/3610.01 c #Conflicts: 1164000 | #Constraints: 104535
3600.06/3610.01 c #Conflicts: 1165000 | #Constraints: 105535
3600.06/3610.01 c #Conflicts: 1166000 | #Constraints: 106535
3600.06/3610.01 c #Conflicts: 1167000 | #Constraints: 107535
3600.06/3610.01 c #Conflicts: 1168000 | #Constraints: 108535
3600.06/3610.01 c INPROCESSING
3600.06/3610.01 c GARBAGE COLLECT
3600.06/3610.01 c #Conflicts: 1169000 | #Constraints: 88143
3600.06/3610.01 c #Conflicts: 1170000 | #Constraints: 89143
3600.06/3610.01 c #Conflicts: 1171000 | #Constraints: 90143
3600.06/3610.01 c #Conflicts: 1172000 | #Constraints: 91143
3600.06/3610.01 c #Conflicts: 1173000 | #Constraints: 92143
3600.06/3610.01 c #Conflicts: 1174000 | #Constraints: 93143
3600.06/3610.01 c #Conflicts: 1175000 | #Constraints: 94143
3600.06/3610.01 c #Conflicts: 1176000 | #Constraints: 95143
3600.06/3610.01 c #Conflicts: 1177000 | #Constraints: 96143
3600.06/3610.01 c #Conflicts: 1178000 | #Constraints: 97143
3600.06/3610.01 c #Conflicts: 1179000 | #Constraints: 98143
3600.06/3610.01 c #Conflicts: 1180000 | #Constraints: 99143
3600.06/3610.01 c #Conflicts: 1181000 | #Constraints: 100143
3600.06/3610.01 c #Conflicts: 1182000 | #Constraints: 101143
3600.06/3610.01 c #Conflicts: 1183000 | #Constraints: 102143
3600.06/3610.01 c #Conflicts: 1184000 | #Constraints: 103143
3600.06/3610.01 c #Conflicts: 1185000 | #Constraints: 104143
3600.06/3610.01 c #Conflicts: 1186000 | #Constraints: 105143
3600.06/3610.01 c Program interrupted by user.
3600.06/3610.01 c cpu time 3593.17 s
3600.06/3610.01 c deterministic time 219480447833 2.19e+11
3600.06/3610.01 c optimization time 191.316 s
3600.06/3610.01 c total solve time 3401.46 s
3600.06/3610.01 c core-guided solve time 3401.46 s
3600.06/3610.01 c propagation time 2463.04 s
3600.06/3610.01 c conflict analysis time 1102.83 s
3600.06/3610.01 c propagations 365785082
3600.06/3610.01 c resolve steps 72093760
3600.06/3610.01 c decisions 1815628
3600.06/3610.01 c conflicts 1186333
3600.06/3610.01 c restarts 2234
3600.06/3610.01 c inprocessing phases 99
3600.06/3610.01 c input clauses 65239
3600.06/3610.01 c input cardinalities 1107
3600.06/3610.01 c input general constraints 402
3600.06/3610.01 c input average constraint length 6.58
3600.06/3610.01 c input average constraint degree 1.61
3600.06/3610.01 c learned clauses 1079786
3600.06/3610.01 c learned cardinalities 3062
3600.06/3610.01 c learned general constraints 103529
3600.06/3610.01 c learned average constraint length 270.49
3600.06/3610.01 c learned average constraint degree 47034.59
3600.06/3610.01 c watched constraints 82205
3600.06/3610.01 c counting constraints 21726
3600.06/3610.01 c gcd simplifications 244413
3600.06/3610.01 c detected cardinalities 0
3600.06/3610.01 c weakened non-implied lits 299045757
3600.06/3610.01 c weakened non-implying lits 2234509
3600.06/3610.01 c original variables 1081
3600.06/3610.01 c clausal propagations 236834967
3600.06/3610.01 c cardinality propagations 59807230
3600.06/3610.01 c watched propagations 7182424
3600.06/3610.01 c counting propagations 60167796
3600.06/3610.01 c watch lookups 58070024143
3600.06/3610.01 c watch backjump lookups 43825441964
3600.06/3610.01 c watch checks 107856673568
3600.06/3610.01 c propagation checks 7354327293
3600.06/3610.01 c constraint additions 1637594261
3600.06/3610.01 c trail pops 368785893
3600.06/3610.01 c formula constraints 64860
3600.06/3610.01 c learned constraints 1186377
3600.06/3610.01 c bound constraints 266
3600.06/3610.01 c core-guided constraints 1622
3600.06/3610.01 c encountered formula constraints 63634659
3600.06/3610.01 c encountered learned constraints 8548917
3600.06/3610.01 c encountered bound constraints 2034
3600.06/3610.01 c encountered core-guided constraints 1094483
3600.06/3610.01 c LP total time 0 s
3600.06/3610.01 c LP solve time 0 s
3600.06/3610.01 c LP constraints added 0
3600.06/3610.01 c LP constraints removed 0
3600.06/3610.01 c LP pivots internal 0
3600.06/3610.01 c LP pivots root 0
3600.06/3610.01 c LP calls 0
3600.06/3610.01 c LP optimalities 0
3600.06/3610.01 c LP no pivot count 0
3600.06/3610.01 c LP infeasibilities 0
3600.06/3610.01 c LP valid Farkas constraints 0
3600.06/3610.01 c LP learned Farkas constraints 0
3600.06/3610.01 c LP basis resets 0
3600.06/3610.01 c LP cycling count 0
3600.06/3610.01 c LP singular count 0
3600.06/3610.01 c LP no primal count 0
3600.06/3610.01 c LP no farkas count 0
3600.06/3610.01 c LP other issue count 0
3600.06/3610.01 c LP Gomory cuts 0
3600.06/3610.01 c LP learned cuts 0
3600.06/3610.01 c LP deleted cuts 0
3600.06/3610.01 c LP encountered Gomory constraints 0
3600.06/3610.01 c LP encountered Farkas constraints 0
3600.06/3610.01 c LP encountered learned Farkas constraints 0
3600.06/3610.01 c CG auxiliary variables introduced 622
3600.06/3610.01 c CG solutions found 2
3600.06/3610.01 c CG cores constructed 258
3600.06/3610.01 c CG core cardinality constraints returned 0
3600.06/3610.01 c CG unit cores 0
3600.06/3610.01 c CG single cores 253
3600.06/3610.01 c CG blocks removed during cardinality reduction 0
3600.06/3610.01 c CG first core best 0
3600.06/3610.01 c CG decision core best 0
3600.06/3610.01 c CG core reduction tie 5
3600.06/3610.01 c CG core degree average 1.00
3600.06/3610.01 c CG core slack average 4.71
3600.06/3610.01 c CG exhausted 0
3600.06/3610.01 c CG exhaust time 148.308 s
3600.06/3610.01 c CG trimmed 27
3600.06/3610.01 c CG trim time 0.014688 s
3600.06/3610.01 c CG minimized 0
3600.06/3610.01 c CG minimize time 0 s
3600.06/3610.01 c CG am1 prop time 0.00716 s
3600.06/3610.01 c CG # am1s reformulated 0
3600.06/3610.01 c CG lower bound derived from am1s 0
3600.06/3610.01 c CG # clausal cores 260
3600.06/3610.01 c CG # cardinality cores 0
3600.06/3610.01 c CG # pb cores 3
3600.06/3610.01 c CG # pb reforms 0
3600.06/3610.01 c CG # cores discarded because of pb reform 0
3600.06/3610.01 d LOWERBOUND -625
3600.06/3610.01 d NCORES 258
3600.06/3610.01 d NPBCORES 3
3600.06/3610.01 d NPBREFORM 0
3600.06/3610.01 d NTRIMMED 27
3600.06/3610.01 d NEXHAUSTED 0
3600.06/3610.01 d NAM1S 0
3600.06/3610.01 d AM1LB 0
3600.06/3610.01 o -540
3600.06/3610.01 s SATISFIABLE
3600.06/3610.01 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 x461 x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 x506 x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 x545 x546 x547 x548 x549 x550 x551 x552 x553 -x554 -x555 -x556 -x557 -x558 x559 x560 x561 x562 x563 x564 x565 x566 x567 x568 x569 x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 x583 x584 x585 -x586 -x587 -x588 -x589 x590 x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 -x617 -x618 -x619 x620 x621 x622 x623 x624 x625 x626 x627 x628 x629 x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 x643 x644 x645 x646 -x647 -x648 x649 x650 x651 x652 x653 x654 x655 x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 -x676 x677 x678 x679 x680 x681 x682 x683 x684 x685 x686 x687 x688 x689 x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 x702 x703 x704 x705 x706 x707 x708 x709 x710 x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 x722 x723 x724 x725 x726 x727 x728 x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62515 MiB free)
memory of node 1: 64465 MiB (61733 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520936-1751575880/watcher-4520936-1751575880 -o /tmp/evaluation-result-4520936-1751575880/solver-4520936-1751575880 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751575512-84438 --watchdog 3760 pb-oll-rs HOME/instance-4520936-1751575880.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=84557, runsolver pid=84554
[startup+0.100073 s]*
/proc/loadavg: 4.12 3.46 3.28 5/252 84558
/proc/meminfo: memFree=127230132/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=20732 memory=7688 CPUtime=0.09 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 499 0 0 0 7 2 0 0 20 0 1 0 73267228 21229568 1922 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 5183 1922 1120 243 0 1432 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20732 KiB
Current children cumulated memory: 7688 KiB
[startup+0.213222 s]*
/proc/loadavg: 4.12 3.46 3.28 5/252 84558
/proc/meminfo: memFree=127230132/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=20996 memory=8072 CPUtime=0.21 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 604 0 0 0 16 5 0 0 20 0 1 0 73267228 21499904 2018 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 5249 2018 1120 243 0 1498 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 20996 KiB
Current children cumulated memory: 8072 KiB
[startup+0.313145 s]*
/proc/loadavg: 4.12 3.46 3.28 5/252 84558
/proc/meminfo: memFree=127230132/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=21260 memory=8328 CPUtime=0.31 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 673 0 0 0 23 8 0 0 20 0 1 0 73267228 21770240 2082 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 5315 2082 1120 243 0 1564 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 21260 KiB
Current children cumulated memory: 8328 KiB
[startup+0.700293 s]
/proc/loadavg: 4.12 3.46 3.28 5/252 84558
/proc/meminfo: memFree=127230132/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=23776 memory=12592 CPUtime=0.68 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 1642 0 0 0 54 14 0 0 20 0 1 0 73267228 24346624 3148 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 5944 3148 1280 243 0 2193 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 23776 KiB
Current children cumulated memory: 12592 KiB
[startup+1.50034 s]
/proc/loadavg: 4.12 3.46 3.28 5/252 84558
/proc/meminfo: memFree=127216108/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=26496 memory=13872 CPUtime=1.48 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 1923 0 0 0 133 15 0 0 20 0 1 0 73267228 27131904 3468 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 6624 3468 1312 243 0 2873 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 26496 KiB
Current children cumulated memory: 13872 KiB
[startup+3.1129 s]
/proc/loadavg: 4.12 3.46 3.28 5/252 84558
/proc/meminfo: memFree=127232672/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=28612 memory=17484 CPUtime=3.09 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 3110 0 0 0 293 16 0 0 20 0 1 0 73267228 29298688 4371 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 7153 4371 1312 243 0 3402 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 28612 KiB
Current children cumulated memory: 17484 KiB
[startup+6.30031 s]
/proc/loadavg: 4.11 3.46 3.28 5/252 84558
/proc/meminfo: memFree=127229148/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=34608 memory=21068 CPUtime=6.26 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 4009 0 0 0 609 17 0 0 20 0 1 0 73267228 35438592 5267 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 8652 5267 1312 243 0 4901 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 34608 KiB
Current children cumulated memory: 21068 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 3.47 3.29 5/251 84558
/proc/meminfo: memFree=127164988/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=36308 memory=25648 CPUtime=12.65 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 4642 0 0 0 1243 22 0 0 20 0 1 0 73267228 37179392 6412 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 9077 6412 1312 243 0 5326 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 36308 KiB
Current children cumulated memory: 25648 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 3.50 3.30 5/251 84559
/proc/meminfo: memFree=127151152/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=43752 memory=30224 CPUtime=25.42 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 5293 0 0 0 2514 28 0 0 20 0 1 0 73267228 44802048 7556 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 10938 7556 1312 243 0 7187 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 43752 KiB
Current children cumulated memory: 30224 KiB
[startup+51.1137 s]
/proc/loadavg: 4.05 3.54 3.32 5/251 84559
/proc/meminfo: memFree=127126352/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=46792 memory=35348 CPUtime=50.98 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 6060 0 0 0 5058 40 0 0 20 0 1 0 73267228 47915008 8837 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 11698 8837 1312 243 0 7947 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 46792 KiB
Current children cumulated memory: 35348 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 3.63 3.36 5/252 84562
/proc/meminfo: memFree=127049948/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=60216 memory=41232 CPUtime=102.03 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 7003 0 0 0 10137 66 0 0 20 0 1 0 73267228 61661184 10308 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 15054 10308 1312 243 0 11303 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 60216 KiB
Current children cumulated memory: 41232 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 3.73 3.42 5/251 84564
/proc/meminfo: memFree=126971772/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=63888 memory=50904 CPUtime=161.87 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 8465 0 0 0 16085 102 0 0 20 0 1 0 73267228 65421312 12726 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 15972 12726 1312 243 0 12221 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 63888 KiB
Current children cumulated memory: 50904 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.80 3.46 5/251 84570
/proc/meminfo: memFree=126872000/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=64904 memory=52056 CPUtime=221.72 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 8760 0 0 0 22052 120 0 0 20 0 1 0 73267228 66461696 13014 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 16226 13014 1312 243 0 12475 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 64904 KiB
Current children cumulated memory: 52056 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 3.84 3.50 5/250 84572
/proc/meminfo: memFree=126738508/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=65664 memory=52696 CPUtime=281.56 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 8930 0 0 0 28021 135 0 0 20 0 1 0 73267228 67239936 13174 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 16416 13174 1312 243 0 12665 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 65664 KiB
Current children cumulated memory: 52696 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.90 3.54 5/250 84574
/proc/meminfo: memFree=126697536/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=65664 memory=52696 CPUtime=341.4 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 8934 0 0 0 33990 150 0 0 20 0 1 0 73267228 67239936 13174 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 16416 13174 1312 243 0 12665 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 65664 KiB
Current children cumulated memory: 52696 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.94 3.58 5/250 84579
/proc/meminfo: memFree=126665088/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=65664 memory=52696 CPUtime=401.24 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 8936 0 0 0 39959 165 0 0 20 0 1 0 73267228 67239936 13174 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 16416 13174 1312 243 0 12665 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 65664 KiB
Current children cumulated memory: 52696 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.97 3.61 5/250 84581
/proc/meminfo: memFree=126665064/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=65664 memory=52696 CPUtime=461.08 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 8940 0 0 0 45932 176 0 0 20 0 1 0 73267228 67239936 13174 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 16416 13174 1312 243 0 12665 0
Current children cumulated CPU time: 461.08 s
################
# More data... #
################
Current children cumulated memory: 77664 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/250 84718
/proc/meminfo: memFree=124875496/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=97140 memory=78064 CPUtime=2854.55 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 13435 0 0 0 284912 543 0 0 20 0 1 0 73267228 99471360 19516 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 24285 19516 1312 243 0 20534 0
Current children cumulated CPU time: 2854.55 s
Current children cumulated vsize: 97140 KiB
Current children cumulated memory: 78064 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/251 84721
/proc/meminfo: memFree=124874528/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=97204 memory=78260 CPUtime=2914.36 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 13755 0 0 0 290879 557 0 0 20 0 1 0 73267228 99536896 19565 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 24301 19565 1312 243 0 20550 0
Current children cumulated CPU time: 2914.36 s
Current children cumulated vsize: 97204 KiB
Current children cumulated memory: 78260 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/251 84723
/proc/meminfo: memFree=124829340/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=97208 memory=78268 CPUtime=2974.16 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 14044 0 0 0 296846 570 0 0 20 0 1 0 73267228 99540992 19567 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 24302 19567 1312 243 0 20551 0
Current children cumulated CPU time: 2974.16 s
Current children cumulated vsize: 97208 KiB
Current children cumulated memory: 78268 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.10 4.12 5/251 84725
/proc/meminfo: memFree=124803268/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=97208 memory=80224 CPUtime=3033.97 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 14671 0 0 0 302813 584 0 0 20 0 1 0 73267228 99540992 20056 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 24302 20056 1312 243 0 20551 0
Current children cumulated CPU time: 3033.97 s
Current children cumulated vsize: 97208 KiB
Current children cumulated memory: 80224 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.09 4.12 5/251 84727
/proc/meminfo: memFree=124760024/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=97208 memory=80228 CPUtime=3093.78 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 15297 0 0 0 308780 598 0 0 20 0 1 0 73267228 99540992 20057 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 24302 20057 1312 243 0 20551 0
Current children cumulated CPU time: 3093.78 s
Current children cumulated vsize: 97208 KiB
Current children cumulated memory: 80228 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.09 4.11 5/252 84730
/proc/meminfo: memFree=124761848/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=97272 memory=82352 CPUtime=3153.59 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 15942 0 0 0 314747 612 0 0 20 0 1 0 73267228 99606528 20588 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 24318 20588 1312 243 0 20567 0
Current children cumulated CPU time: 3153.59 s
Current children cumulated vsize: 97272 KiB
Current children cumulated memory: 82352 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.11 5/251 84736
/proc/meminfo: memFree=124755260/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=97272 memory=82356 CPUtime=3213.4 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 16568 0 0 0 320714 626 0 0 20 0 1 0 73267228 99606528 20589 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 24318 20589 1312 243 0 20567 0
Current children cumulated CPU time: 3213.4 s
Current children cumulated vsize: 97272 KiB
Current children cumulated memory: 82356 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.11 5/251 84918
/proc/meminfo: memFree=128767980/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=97276 memory=84152 CPUtime=3273.21 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 17205 0 0 0 326683 638 0 0 20 0 1 0 73267228 99610624 21038 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 24319 21038 1312 243 0 20568 0
Current children cumulated CPU time: 3273.21 s
Current children cumulated vsize: 97276 KiB
Current children cumulated memory: 84152 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.10 5/251 84920
/proc/meminfo: memFree=128692756/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=97404 memory=84284 CPUtime=3333.06 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 17871 0 0 0 332659 647 0 0 20 0 1 0 73267228 99741696 21071 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 24351 21071 1312 243 0 20600 0
Current children cumulated CPU time: 3333.06 s
Current children cumulated vsize: 97404 KiB
Current children cumulated memory: 84284 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.10 5/252 84925
/proc/meminfo: memFree=128661916/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=97404 memory=84284 CPUtime=3392.92 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 18486 0 0 0 338637 655 0 0 20 0 1 0 73267228 99741696 21071 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 24351 21071 1312 243 0 20600 0
Current children cumulated CPU time: 3392.92 s
Current children cumulated vsize: 97404 KiB
Current children cumulated memory: 84284 KiB
[startup+3462.3 s]
/proc/loadavg: 4.24 4.13 4.10 5/252 84927
/proc/meminfo: memFree=128629176/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=97856 memory=86708 CPUtime=3452.78 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 19809 0 0 0 344615 663 0 0 20 0 1 0 73267228 100204544 21677 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 24464 21677 1312 243 0 20713 0
Current children cumulated CPU time: 3452.78 s
Current children cumulated vsize: 97856 KiB
Current children cumulated memory: 86708 KiB
[startup+3522.3 s]
/proc/loadavg: 4.68 4.28 4.16 5/251 84929
/proc/meminfo: memFree=128568636/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=98176 memory=86960 CPUtime=3512.61 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 20508 0 0 0 350586 675 0 0 20 0 1 0 73267228 100532224 21740 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 24544 21740 1312 243 0 20793 0
Current children cumulated CPU time: 3512.61 s
Current children cumulated vsize: 98176 KiB
Current children cumulated memory: 86960 KiB
[startup+3582.3 s]
/proc/loadavg: 4.90 4.42 4.22 5/250 84932
/proc/meminfo: memFree=128542800/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=98304 memory=87168 CPUtime=3572.44 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 21185 0 0 0 356559 685 0 0 20 0 1 0 73267228 100663296 21792 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 24576 21792 1312 243 0 20825 0
Current children cumulated CPU time: 3572.44 s
Current children cumulated vsize: 98304 KiB
Current children cumulated memory: 87168 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.79 4.43 4.23 5/251 84934
/proc/meminfo: memFree=128547296/131382116 swapFree=33009904/33010684
[pid=84557] ppid=84554 vsize=98304 memory=87168 CPUtime=3600.06 cores=4,6
/proc/84557/stat : 84557 (pb-oll-rs) R 84554 84557 84427 0 -1 4194304 21185 0 0 0 359316 690 0 0 20 0 1 0 73267228 100663296 21792 18446744073709551615 4218880 5211445 140728610714048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 22732800 140728610720156 140728610720233 140728610720233 140728610725835 0
/proc/84557/statm: 24576 21792 1312 243 0 20825 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 98304 KiB
Current children cumulated memory: 87168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.01 s]
# the end of solver process 84557 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.17 s, system=6.90814 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.01
CPU time (s): 3600.08
CPU user time (s): 3593.17
CPU system time (s): 6.90814
CPU usage (%): 99.7247
Max. virtual memory (cumulated for all children) (KiB): 99900
Max. memory (cumulated for all children) (KiB): 87168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.17
system time used= 6.90814
maximum resident set size= 89648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21199
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= 118
involuntary context switches= 2302
# summary of solver processes directly reported to runsolver:
# pid: 84557
# total CPU time (s): 3600.08
# total CPU user time (s): 3593.17
# total CPU system time (s): 6.90814
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4278 second user time and 35.5607 second system time
The end
Begin job on nodeC004 at 2025-07-03 22:51:21
IDJOB=4520936
IDBENCH=178158
IDSOLVER=3345
FILE ID=nodeC004/4520936-1751575880
RUNJOBID= nodeC004-1751575512-84438
SLURM_JOB_ID= 9598804
Free space on /tmp= 431672 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_block/normalized-maxcut_opt_complete_5-partite_block_nvert_47.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4520936-1751575880/watcher-4520936-1751575880 -o /tmp/evaluation-result-4520936-1751575880/solver-4520936-1751575880 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751575512-84438 --watchdog 3760 pb-oll-rs HOME/instance-4520936-1751575880.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 84fd44c84eee80e386362762f3a8050d
RANDOM SEED=1429149099
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 : 3491.763
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 : 3625.846
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.655
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.370
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 : 1197.233
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 : 3590.204
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.656
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.766
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: 127229892 kB
MemAvailable: 128032324 kB
Buffers: 2128 kB
Cached: 1551844 kB
SwapCached: 32 kB
Active: 2495360 kB
Inactive: 957836 kB
Active(anon): 1906408 kB
Inactive(anon): 10748 kB
Active(file): 588952 kB
Inactive(file): 947088 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3624 kB
Writeback: 24 kB
AnonPages: 1902316 kB
Mapped: 107320 kB
Shmem: 17932 kB
KReclaimable: 212036 kB
Slab: 299000 kB
SReclaimable: 212036 kB
SUnreclaim: 86964 kB
KernelStack: 4096 kB
PageTables: 7172 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 2747036 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 741376 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= 431636 MiB
End job on nodeC004 at 2025-07-03 23:51:31