0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.08/0.18 c #variables 14400 #constraints 1088
106.85/107.23 c #Conflicts: 1000 | #Constraints: 2087
106.85/107.23 c #Conflicts: 2000 | #Constraints: 3087
106.85/107.23 c INPROCESSING
106.85/107.23 c GARBAGE COLLECT
106.85/107.23 c #Conflicts: 3000 | #Constraints: 3121
106.85/107.23 c #Conflicts: 4000 | #Constraints: 4121
106.85/107.23 c INPROCESSING
106.85/107.23 c GARBAGE COLLECT
106.85/107.23 c #Conflicts: 5000 | #Constraints: 3564
106.85/107.23 c #Conflicts: 6000 | #Constraints: 4564
106.85/107.23 c INPROCESSING
106.85/107.23 c GARBAGE COLLECT
106.85/107.23 c #Conflicts: 7000 | #Constraints: 3580
106.85/107.23 c #Conflicts: 8000 | #Constraints: 4580
106.85/107.23 c #Conflicts: 9000 | #Constraints: 5580
106.85/107.23 c INPROCESSING
106.85/107.23 c GARBAGE COLLECT
106.85/107.23 c #Conflicts: 10000 | #Constraints: 4290
106.85/107.23 c #Conflicts: 11000 | #Constraints: 5290
106.85/107.23 c #Conflicts: 12000 | #Constraints: 6290
106.85/107.23 c INPROCESSING
106.85/107.23 c GARBAGE COLLECT
106.85/107.23 c #Conflicts: 13000 | #Constraints: 4744
106.85/107.23 c #Conflicts: 14000 | #Constraints: 5744
106.85/107.23 c #Conflicts: 15000 | #Constraints: 6744
106.85/107.23 c INPROCESSING
106.85/107.23 c GARBAGE COLLECT
106.85/107.23 c #Conflicts: 16000 | #Constraints: 4994
106.85/107.23 c #Conflicts: 17000 | #Constraints: 5994
106.85/107.23 c #Conflicts: 18000 | #Constraints: 6994
106.85/107.23 c INPROCESSING
106.85/107.23 c GARBAGE COLLECT
106.85/107.23 c #Conflicts: 19000 | #Constraints: 5044
106.85/107.23 c #Conflicts: 20000 | #Constraints: 6044
106.85/107.23 c #Conflicts: 21000 | #Constraints: 7045
106.85/107.23 c INPROCESSING
106.85/107.23 c GARBAGE COLLECT
106.85/107.23 c #Conflicts: 22000 | #Constraints: 4829
106.85/107.23 c #Conflicts: 23000 | #Constraints: 5829
106.85/107.23 c #Conflicts: 24000 | #Constraints: 6829
106.85/107.23 c #Conflicts: 25000 | #Constraints: 7829
106.85/107.23 c INPROCESSING
106.85/107.23 c GARBAGE COLLECT
106.85/107.23 c #Conflicts: 26000 | #Constraints: 5437
106.85/107.23 c #Conflicts: 27000 | #Constraints: 6437
106.85/107.23 c #Conflicts: 28000 | #Constraints: 7437
106.85/107.23 c #Conflicts: 29000 | #Constraints: 8437
106.85/107.23 c INPROCESSING
106.85/107.23 c GARBAGE COLLECT
106.85/107.23 c #Conflicts: 30000 | #Constraints: 5830
106.85/107.23 c #Conflicts: 31000 | #Constraints: 6830
106.85/107.23 c #Conflicts: 32000 | #Constraints: 7830
106.85/107.23 c #Conflicts: 33000 | #Constraints: 8830
106.85/107.23 c INPROCESSING
106.85/107.23 c GARBAGE COLLECT
106.85/107.23 c #Conflicts: 34000 | #Constraints: 6028
106.85/107.23 c #Conflicts: 35000 | #Constraints: 7028
106.85/107.23 c #Conflicts: 36000 | #Constraints: 8028
106.85/107.23 c #Conflicts: 37000 | #Constraints: 9028
106.85/107.23 c INPROCESSING
106.85/107.23 c GARBAGE COLLECT
106.85/107.23 c #Conflicts: 38000 | #Constraints: 6065
106.85/107.23 c #Conflicts: 39000 | #Constraints: 7065
106.85/107.23 c #Conflicts: 40000 | #Constraints: 8065
106.85/107.23 c #Conflicts: 41000 | #Constraints: 9065
106.85/107.23 c INPROCESSING
106.85/107.23 c GARBAGE COLLECT
106.85/107.23 c #Conflicts: 42000 | #Constraints: 5874
106.85/107.23 c #Conflicts: 43000 | #Constraints: 6874
106.85/107.23 c #Conflicts: 44000 | #Constraints: 7874
106.85/107.23 c #Conflicts: 45000 | #Constraints: 8874
106.85/107.23 c #Conflicts: 46000 | #Constraints: 9874
106.85/107.23 c INPROCESSING
106.85/107.23 c GARBAGE COLLECT
106.85/107.23 c #Conflicts: 47000 | #Constraints: 6437
106.85/107.23 c #Conflicts: 48000 | #Constraints: 7437
106.85/107.23 c #Conflicts: 49000 | #Constraints: 8437
106.85/107.23 c #Conflicts: 50000 | #Constraints: 9437
106.85/107.23 c #Conflicts: 51000 | #Constraints: 10437
106.85/107.23 c INPROCESSING
106.85/107.23 c GARBAGE COLLECT
106.85/107.23 c #Conflicts: 52000 | #Constraints: 6834
106.85/107.23 c #Conflicts: 53000 | #Constraints: 7834
106.85/107.23 c #Conflicts: 54000 | #Constraints: 8834
106.85/107.23 c #Conflicts: 55000 | #Constraints: 9834
106.85/107.23 c #Conflicts: 56000 | #Constraints: 10834
106.85/107.23 c INPROCESSING
106.85/107.23 c GARBAGE COLLECT
106.85/107.23 c #Conflicts: 57000 | #Constraints: 7023
106.85/107.23 c #Conflicts: 58000 | #Constraints: 8023
106.85/107.23 c #Conflicts: 59000 | #Constraints: 9023
106.85/107.23 c #Conflicts: 60000 | #Constraints: 10023
106.85/107.23 c #Conflicts: 61000 | #Constraints: 11023
106.85/107.23 c INPROCESSING
106.85/107.23 c GARBAGE COLLECT
106.85/107.23 c #Conflicts: 62000 | #Constraints: 7039
106.85/107.23 c #Conflicts: 63000 | #Constraints: 8039
106.85/107.23 c #Conflicts: 64000 | #Constraints: 9039
106.85/107.23 c #Conflicts: 65000 | #Constraints: 10039
106.85/107.23 c #Conflicts: 66000 | #Constraints: 11039
106.85/107.23 c INPROCESSING
106.85/107.23 c GARBAGE COLLECT
106.85/107.23 c #Conflicts: 67000 | #Constraints: 6838
106.85/107.23 c #Conflicts: 68000 | #Constraints: 7838
243.23/244.05 c #Conflicts: 69000 | #Constraints: 8838
243.23/244.05 c #Conflicts: 70000 | #Constraints: 9838
243.23/244.05 c #Conflicts: 71000 | #Constraints: 10838
243.23/244.05 c #Conflicts: 72000 | #Constraints: 11838
243.23/244.05 c INPROCESSING
243.23/244.05 c GARBAGE COLLECT
243.23/244.05 c #Conflicts: 73000 | #Constraints: 7443
243.23/244.05 c #Conflicts: 74000 | #Constraints: 8443
243.23/244.05 c #Conflicts: 75000 | #Constraints: 9443
243.23/244.05 c #Conflicts: 76000 | #Constraints: 10443
243.23/244.05 c #Conflicts: 77000 | #Constraints: 11443
243.23/244.05 c #Conflicts: 78000 | #Constraints: 12443
243.23/244.05 c INPROCESSING
243.23/244.05 c GARBAGE COLLECT
243.23/244.05 c #Conflicts: 79000 | #Constraints: 7852
243.23/244.05 c #Conflicts: 80000 | #Constraints: 8852
243.23/244.05 c #Conflicts: 81000 | #Constraints: 9852
243.23/244.05 c #Conflicts: 82000 | #Constraints: 10852
243.23/244.05 c #Conflicts: 83000 | #Constraints: 11852
243.23/244.05 c #Conflicts: 84000 | #Constraints: 12852
243.23/244.05 c INPROCESSING
243.23/244.05 c GARBAGE COLLECT
243.23/244.05 c #Conflicts: 85000 | #Constraints: 8074
243.23/244.05 c #Conflicts: 86000 | #Constraints: 9074
243.23/244.05 c #Conflicts: 87000 | #Constraints: 10074
243.23/244.05 c #Conflicts: 88000 | #Constraints: 11074
243.23/244.05 c #Conflicts: 89000 | #Constraints: 12074
243.23/244.05 c #Conflicts: 90000 | #Constraints: 13075
243.23/244.05 c INPROCESSING
243.23/244.05 c GARBAGE COLLECT
243.23/244.05 c #Conflicts: 91000 | #Constraints: 8067
243.23/244.05 c #Conflicts: 92000 | #Constraints: 9067
243.23/244.05 c #Conflicts: 93000 | #Constraints: 10067
243.23/244.05 c #Conflicts: 94000 | #Constraints: 11067
243.23/244.05 c #Conflicts: 95000 | #Constraints: 12067
243.23/244.05 c #Conflicts: 96000 | #Constraints: 13067
243.23/244.05 c INPROCESSING
243.23/244.05 c GARBAGE COLLECT
243.23/244.05 c #Conflicts: 97000 | #Constraints: 7899
243.23/244.05 c #Conflicts: 98000 | #Constraints: 8899
243.23/244.05 c #Conflicts: 99000 | #Constraints: 9899
243.23/244.05 c #Conflicts: 100000 | #Constraints: 10899
243.23/244.05 c #Conflicts: 101000 | #Constraints: 11899
243.23/244.05 c #Conflicts: 102000 | #Constraints: 12899
243.23/244.05 c #Conflicts: 103000 | #Constraints: 13899
243.23/244.05 c INPROCESSING
243.23/244.05 c GARBAGE COLLECT
243.23/244.05 c #Conflicts: 104000 | #Constraints: 8478
243.23/244.05 c #Conflicts: 105000 | #Constraints: 9478
243.23/244.05 c #Conflicts: 106000 | #Constraints: 10478
243.23/244.05 c #Conflicts: 107000 | #Constraints: 11478
243.23/244.05 c #Conflicts: 108000 | #Constraints: 12478
243.23/244.05 c #Conflicts: 109000 | #Constraints: 13478
243.23/244.05 c #Conflicts: 110000 | #Constraints: 14478
243.23/244.05 c INPROCESSING
243.23/244.05 c GARBAGE COLLECT
243.23/244.05 c #Conflicts: 111000 | #Constraints: 8871
243.23/244.05 c #Conflicts: 112000 | #Constraints: 9871
243.23/244.05 c #Conflicts: 113000 | #Constraints: 10871
243.23/244.05 c #Conflicts: 114000 | #Constraints: 11871
243.23/244.05 c #Conflicts: 115000 | #Constraints: 12871
243.23/244.05 c #Conflicts: 116000 | #Constraints: 13871
243.23/244.05 c #Conflicts: 117000 | #Constraints: 14871
243.23/244.05 c INPROCESSING
243.23/244.05 c GARBAGE COLLECT
243.23/244.05 c #Conflicts: 118000 | #Constraints: 9067
243.23/244.05 c #Conflicts: 119000 | #Constraints: 10067
243.23/244.05 c #Conflicts: 120000 | #Constraints: 11067
243.23/244.05 c #Conflicts: 121000 | #Constraints: 12067
243.23/244.05 c #Conflicts: 122000 | #Constraints: 13067
243.23/244.05 c #Conflicts: 123000 | #Constraints: 14067
243.23/244.05 c #Conflicts: 124000 | #Constraints: 15067
243.23/244.05 c INPROCESSING
243.23/244.05 c GARBAGE COLLECT
243.23/244.05 c #Conflicts: 125000 | #Constraints: 9068
243.23/244.05 c #Conflicts: 126000 | #Constraints: 10068
243.23/244.05 c #Conflicts: 127000 | #Constraints: 11068
243.23/244.05 c #Conflicts: 128000 | #Constraints: 12068
243.23/244.05 c #Conflicts: 129000 | #Constraints: 13068
243.23/244.05 c #Conflicts: 130000 | #Constraints: 14068
243.23/244.05 c #Conflicts: 131000 | #Constraints: 15068
243.23/244.05 c INPROCESSING
243.23/244.05 c GARBAGE COLLECT
243.23/244.05 c rational objective 120
418.50/419.85 c #Conflicts: 132000 | #Constraints: 8852
418.50/419.85 c #Conflicts: 133000 | #Constraints: 9852
418.50/419.85 c #Conflicts: 134000 | #Constraints: 10852
418.50/419.85 c #Conflicts: 135000 | #Constraints: 11852
418.50/419.85 c #Conflicts: 136000 | #Constraints: 12852
418.50/419.85 c #Conflicts: 137000 | #Constraints: 13852
418.50/419.85 c #Conflicts: 138000 | #Constraints: 14852
418.50/419.85 c #Conflicts: 139000 | #Constraints: 15852
418.50/419.85 c INPROCESSING
418.50/419.85 c GARBAGE COLLECT
418.50/419.85 c #Conflicts: 140000 | #Constraints: 9472
418.50/419.85 c #Conflicts: 141000 | #Constraints: 10472
418.50/419.85 c #Conflicts: 142000 | #Constraints: 11472
418.50/419.85 c #Conflicts: 143000 | #Constraints: 12472
418.50/419.85 c #Conflicts: 144000 | #Constraints: 13472
418.50/419.85 c #Conflicts: 145000 | #Constraints: 14472
418.50/419.85 c #Conflicts: 146000 | #Constraints: 15472
418.50/419.85 c #Conflicts: 147000 | #Constraints: 16472
418.50/419.85 c INPROCESSING
418.50/419.85 c GARBAGE COLLECT
418.50/419.85 c #Conflicts: 148000 | #Constraints: 9901
418.50/419.85 c #Conflicts: 149000 | #Constraints: 10901
418.50/419.85 c #Conflicts: 150000 | #Constraints: 11901
418.50/419.85 c #Conflicts: 151000 | #Constraints: 12901
418.50/419.85 c #Conflicts: 152000 | #Constraints: 13901
418.50/419.85 c #Conflicts: 153000 | #Constraints: 14901
418.50/419.85 c #Conflicts: 154000 | #Constraints: 15901
418.50/419.85 c #Conflicts: 155000 | #Constraints: 16901
418.50/419.85 c INPROCESSING
418.50/419.85 c GARBAGE COLLECT
418.50/419.85 c #Conflicts: 156000 | #Constraints: 10097
418.50/419.85 c #Conflicts: 157000 | #Constraints: 11097
418.50/419.85 c #Conflicts: 158000 | #Constraints: 12097
418.50/419.85 c #Conflicts: 159000 | #Constraints: 13097
418.50/419.85 c #Conflicts: 160000 | #Constraints: 14097
418.50/419.85 c #Conflicts: 161000 | #Constraints: 15097
418.50/419.85 c #Conflicts: 162000 | #Constraints: 16097
418.50/419.85 c #Conflicts: 163000 | #Constraints: 17097
418.50/419.85 c INPROCESSING
418.50/419.85 c GARBAGE COLLECT
418.50/419.85 c #Conflicts: 164000 | #Constraints: 10077
418.50/419.85 c #Conflicts: 165000 | #Constraints: 11077
418.50/419.85 c #Conflicts: 166000 | #Constraints: 12077
418.50/419.85 c #Conflicts: 167000 | #Constraints: 13077
418.50/419.85 c #Conflicts: 168000 | #Constraints: 14077
418.50/419.85 c #Conflicts: 169000 | #Constraints: 15077
418.50/419.85 c #Conflicts: 170000 | #Constraints: 16077
418.50/419.85 c #Conflicts: 171000 | #Constraints: 17077
418.50/419.85 c INPROCESSING
418.50/419.85 c GARBAGE COLLECT
418.50/419.85 c #Conflicts: 172000 | #Constraints: 9867
418.50/419.85 c #Conflicts: 173000 | #Constraints: 10867
418.50/419.85 c #Conflicts: 174000 | #Constraints: 11867
418.50/419.85 c #Conflicts: 175000 | #Constraints: 12867
418.50/419.85 c #Conflicts: 176000 | #Constraints: 13867
418.50/419.85 c #Conflicts: 177000 | #Constraints: 14867
418.50/419.85 c #Conflicts: 178000 | #Constraints: 15867
418.50/419.85 c #Conflicts: 179000 | #Constraints: 16867
418.50/419.85 c #Conflicts: 180000 | #Constraints: 17867
418.50/419.85 c INPROCESSING
418.50/419.85 c GARBAGE COLLECT
418.50/419.85 c #Conflicts: 181000 | #Constraints: 10460
418.50/419.85 c #Conflicts: 182000 | #Constraints: 11460
418.50/419.85 c #Conflicts: 183000 | #Constraints: 12460
418.50/419.85 c #Conflicts: 184000 | #Constraints: 13460
418.50/419.85 c #Conflicts: 185000 | #Constraints: 14460
418.50/419.85 c #Conflicts: 186000 | #Constraints: 15460
418.50/419.85 c #Conflicts: 187000 | #Constraints: 16460
418.50/419.85 c #Conflicts: 188000 | #Constraints: 17460
418.50/419.85 c #Conflicts: 189000 | #Constraints: 18460
418.50/419.85 c INPROCESSING
418.50/419.85 c GARBAGE COLLECT
418.50/419.85 c #Conflicts: 190000 | #Constraints: 10879
418.50/419.85 c #Conflicts: 191000 | #Constraints: 11879
418.50/419.85 c #Conflicts: 192000 | #Constraints: 12879
418.50/419.85 c #Conflicts: 193000 | #Constraints: 13879
418.50/419.85 c #Conflicts: 194000 | #Constraints: 14879
418.50/419.85 c #Conflicts: 195000 | #Constraints: 15879
418.50/419.85 c #Conflicts: 196000 | #Constraints: 16880
418.50/419.85 c #Conflicts: 197000 | #Constraints: 17880
418.50/419.85 c #Conflicts: 198000 | #Constraints: 18880
418.50/419.85 c INPROCESSING
418.50/419.85 c GARBAGE COLLECT
418.50/419.85 c #Conflicts: 199000 | #Constraints: 11118
418.50/419.85 c #Conflicts: 200000 | #Constraints: 12118
418.50/419.85 c #Conflicts: 201000 | #Constraints: 13118
418.50/419.85 c #Conflicts: 202000 | #Constraints: 14118
418.50/419.85 c #Conflicts: 203000 | #Constraints: 15118
418.50/419.85 c #Conflicts: 204000 | #Constraints: 16118
418.50/419.85 c #Conflicts: 205000 | #Constraints: 17118
613.81/615.70 c #Conflicts: 206000 | #Constraints: 18118
613.81/615.70 c #Conflicts: 207000 | #Constraints: 19118
613.81/615.70 c INPROCESSING
613.81/615.70 c GARBAGE COLLECT
613.81/615.70 c #Conflicts: 208000 | #Constraints: 11115
613.81/615.70 c #Conflicts: 209000 | #Constraints: 12115
613.81/615.70 c #Conflicts: 210000 | #Constraints: 13115
613.81/615.70 c #Conflicts: 211000 | #Constraints: 14115
613.81/615.70 c #Conflicts: 212000 | #Constraints: 15115
613.81/615.70 c #Conflicts: 213000 | #Constraints: 16115
613.81/615.70 c #Conflicts: 214000 | #Constraints: 17115
613.81/615.70 c #Conflicts: 215000 | #Constraints: 18115
613.81/615.70 c #Conflicts: 216000 | #Constraints: 19115
613.81/615.70 c INPROCESSING
613.81/615.70 c GARBAGE COLLECT
613.81/615.70 c #Conflicts: 217000 | #Constraints: 10937
613.81/615.70 c #Conflicts: 218000 | #Constraints: 11937
613.81/615.70 c #Conflicts: 219000 | #Constraints: 12937
613.81/615.70 c #Conflicts: 220000 | #Constraints: 13937
613.81/615.70 c #Conflicts: 221000 | #Constraints: 14937
613.81/615.70 c #Conflicts: 222000 | #Constraints: 15937
613.81/615.70 c #Conflicts: 223000 | #Constraints: 16937
613.81/615.70 c #Conflicts: 224000 | #Constraints: 17937
613.81/615.70 c #Conflicts: 225000 | #Constraints: 18937
613.81/615.70 c #Conflicts: 226000 | #Constraints: 19937
613.81/615.70 c INPROCESSING
613.81/615.70 c GARBAGE COLLECT
613.81/615.70 c #Conflicts: 227000 | #Constraints: 11529
613.81/615.70 c #Conflicts: 228000 | #Constraints: 12529
613.81/615.70 c #Conflicts: 229000 | #Constraints: 13529
613.81/615.70 c #Conflicts: 230000 | #Constraints: 14529
613.81/615.70 c #Conflicts: 231000 | #Constraints: 15529
613.81/615.70 c #Conflicts: 232000 | #Constraints: 16530
613.81/615.70 c #Conflicts: 233000 | #Constraints: 17530
613.81/615.70 c #Conflicts: 234000 | #Constraints: 18530
613.81/615.70 c #Conflicts: 235000 | #Constraints: 19530
613.81/615.70 c #Conflicts: 236000 | #Constraints: 20530
613.81/615.70 c INPROCESSING
613.81/615.70 c GARBAGE COLLECT
613.81/615.70 c #Conflicts: 237000 | #Constraints: 11910
613.81/615.70 c #Conflicts: 238000 | #Constraints: 12910
613.81/615.70 c #Conflicts: 239000 | #Constraints: 13910
613.81/615.70 c #Conflicts: 240000 | #Constraints: 14910
613.81/615.70 c #Conflicts: 241000 | #Constraints: 15910
613.81/615.70 c #Conflicts: 242000 | #Constraints: 16910
613.81/615.70 c #Conflicts: 243000 | #Constraints: 17910
613.81/615.70 c #Conflicts: 244000 | #Constraints: 18910
613.81/615.70 c #Conflicts: 245000 | #Constraints: 19910
613.81/615.70 c #Conflicts: 246000 | #Constraints: 20910
613.81/615.70 c INPROCESSING
613.81/615.70 c GARBAGE COLLECT
613.81/615.70 c #Conflicts: 247000 | #Constraints: 12101
613.81/615.70 c #Conflicts: 248000 | #Constraints: 13101
613.81/615.70 c #Conflicts: 249000 | #Constraints: 14101
613.81/615.70 c #Conflicts: 250000 | #Constraints: 15101
613.81/615.70 c #Conflicts: 251000 | #Constraints: 16101
613.81/615.70 c #Conflicts: 252000 | #Constraints: 17101
613.81/615.70 c #Conflicts: 253000 | #Constraints: 18101
613.81/615.70 c #Conflicts: 254000 | #Constraints: 19101
613.81/615.70 c #Conflicts: 255000 | #Constraints: 20101
613.81/615.70 c #Conflicts: 256000 | #Constraints: 21101
613.81/615.70 c INPROCESSING
613.81/615.70 c GARBAGE COLLECT
613.81/615.70 c #Conflicts: 257000 | #Constraints: 12101
613.81/615.70 c #Conflicts: 258000 | #Constraints: 13101
613.81/615.70 c #Conflicts: 259000 | #Constraints: 14101
613.81/615.70 c #Conflicts: 260000 | #Constraints: 15101
613.81/615.70 c #Conflicts: 261000 | #Constraints: 16101
613.81/615.70 c #Conflicts: 262000 | #Constraints: 17101
613.81/615.70 c #Conflicts: 263000 | #Constraints: 18101
613.81/615.70 c #Conflicts: 264000 | #Constraints: 19101
613.81/615.70 c #Conflicts: 265000 | #Constraints: 20101
613.81/615.70 c #Conflicts: 266000 | #Constraints: 21101
613.81/615.70 c INPROCESSING
613.81/615.70 c GARBAGE COLLECT
613.81/615.70 c #Conflicts: 267000 | #Constraints: 11899
613.81/615.70 c #Conflicts: 268000 | #Constraints: 12899
613.81/615.70 c #Conflicts: 269000 | #Constraints: 13899
613.81/615.70 c #Conflicts: 270000 | #Constraints: 14899
613.81/615.70 c #Conflicts: 271000 | #Constraints: 15899
613.81/615.70 c #Conflicts: 272000 | #Constraints: 16899
613.81/615.70 c #Conflicts: 273000 | #Constraints: 17899
613.81/615.70 c #Conflicts: 274000 | #Constraints: 18899
613.81/615.70 c #Conflicts: 275000 | #Constraints: 19899
613.81/615.70 c #Conflicts: 276000 | #Constraints: 20899
613.81/615.70 c #Conflicts: 277000 | #Constraints: 21899
613.81/615.70 c INPROCESSING
613.81/615.70 c GARBAGE COLLECT
613.81/615.70 c #Conflicts: 278000 | #Constraints: 12493
613.81/615.70 c #Conflicts: 279000 | #Constraints: 13493
640.34/642.35 c #Conflicts: 280000 | #Constraints: 14493
640.34/642.35 c #Conflicts: 281000 | #Constraints: 15493
640.34/642.35 c #Conflicts: 282000 | #Constraints: 16493
640.34/642.35 c #Conflicts: 283000 | #Constraints: 17493
640.34/642.35 c #Conflicts: 284000 | #Constraints: 18493
640.34/642.35 c #Conflicts: 285000 | #Constraints: 19493
640.34/642.35 c #Conflicts: 286000 | #Constraints: 20493
640.34/642.35 c #Conflicts: 287000 | #Constraints: 21493
640.34/642.35 c #Conflicts: 288000 | #Constraints: 22493
640.34/642.35 c INPROCESSING
640.34/642.35 c GARBAGE COLLECT
640.34/642.35 c rational objective 120
850.34/852.90 c #Conflicts: 289000 | #Constraints: 12881
850.34/852.90 c #Conflicts: 290000 | #Constraints: 13881
850.34/852.90 c #Conflicts: 291000 | #Constraints: 14881
850.34/852.90 c #Conflicts: 292000 | #Constraints: 15881
850.34/852.90 c #Conflicts: 293000 | #Constraints: 16881
850.34/852.90 c #Conflicts: 294000 | #Constraints: 17881
850.34/852.90 c #Conflicts: 295000 | #Constraints: 18881
850.34/852.90 c #Conflicts: 296000 | #Constraints: 19881
850.34/852.90 c #Conflicts: 297000 | #Constraints: 20881
850.34/852.90 c #Conflicts: 298000 | #Constraints: 21881
850.34/852.90 c #Conflicts: 299000 | #Constraints: 22881
850.34/852.90 c INPROCESSING
850.34/852.90 c GARBAGE COLLECT
850.34/852.90 c #Conflicts: 300000 | #Constraints: 13099
850.34/852.90 c #Conflicts: 301000 | #Constraints: 14099
850.34/852.90 c #Conflicts: 302000 | #Constraints: 15099
850.34/852.90 c #Conflicts: 303000 | #Constraints: 16099
850.34/852.90 c #Conflicts: 304000 | #Constraints: 17099
850.34/852.90 c #Conflicts: 305000 | #Constraints: 18099
850.34/852.90 c #Conflicts: 306000 | #Constraints: 19099
850.34/852.90 c #Conflicts: 307000 | #Constraints: 20099
850.34/852.90 c #Conflicts: 308000 | #Constraints: 21099
850.34/852.90 c #Conflicts: 309000 | #Constraints: 22099
850.34/852.90 c #Conflicts: 310000 | #Constraints: 23099
850.34/852.90 c INPROCESSING
850.34/852.90 c GARBAGE COLLECT
850.34/852.90 c #Conflicts: 311000 | #Constraints: 13109
850.34/852.90 c #Conflicts: 312000 | #Constraints: 14109
850.34/852.90 c #Conflicts: 313000 | #Constraints: 15109
850.34/852.90 c #Conflicts: 314000 | #Constraints: 16109
850.34/852.90 c #Conflicts: 315000 | #Constraints: 17109
850.34/852.90 c #Conflicts: 316000 | #Constraints: 18109
850.34/852.90 c #Conflicts: 317000 | #Constraints: 19109
850.34/852.90 c #Conflicts: 318000 | #Constraints: 20109
850.34/852.90 c #Conflicts: 319000 | #Constraints: 21109
850.34/852.90 c #Conflicts: 320000 | #Constraints: 22109
850.34/852.90 c #Conflicts: 321000 | #Constraints: 23109
850.34/852.90 c INPROCESSING
850.34/852.90 c GARBAGE COLLECT
850.34/852.90 c #Conflicts: 322000 | #Constraints: 12923
850.34/852.90 c #Conflicts: 323000 | #Constraints: 13923
850.34/852.90 c #Conflicts: 324000 | #Constraints: 14923
850.34/852.90 c #Conflicts: 325000 | #Constraints: 15923
850.34/852.90 c #Conflicts: 326000 | #Constraints: 16923
850.34/852.90 c #Conflicts: 327000 | #Constraints: 17923
850.34/852.90 c #Conflicts: 328000 | #Constraints: 18923
850.34/852.90 c #Conflicts: 329000 | #Constraints: 19923
850.34/852.90 c #Conflicts: 330000 | #Constraints: 20923
850.34/852.90 c #Conflicts: 331000 | #Constraints: 21923
850.34/852.90 c #Conflicts: 332000 | #Constraints: 22923
850.34/852.90 c #Conflicts: 333000 | #Constraints: 23923
850.34/852.90 c INPROCESSING
850.34/852.90 c GARBAGE COLLECT
850.34/852.90 c #Conflicts: 334000 | #Constraints: 13508
850.34/852.90 c #Conflicts: 335000 | #Constraints: 14508
850.34/852.90 c #Conflicts: 336000 | #Constraints: 15508
850.34/852.90 c #Conflicts: 337000 | #Constraints: 16508
850.34/852.90 c #Conflicts: 338000 | #Constraints: 17508
850.34/852.90 c #Conflicts: 339000 | #Constraints: 18508
850.34/852.90 c #Conflicts: 340000 | #Constraints: 19508
850.34/852.90 c #Conflicts: 341000 | #Constraints: 20508
850.34/852.90 c #Conflicts: 342000 | #Constraints: 21508
850.34/852.90 c #Conflicts: 343000 | #Constraints: 22508
850.34/852.90 c #Conflicts: 344000 | #Constraints: 23508
850.34/852.90 c #Conflicts: 345000 | #Constraints: 24508
850.34/852.90 c INPROCESSING
850.34/852.90 c GARBAGE COLLECT
850.34/852.90 c #Conflicts: 346000 | #Constraints: 13900
850.34/852.90 c #Conflicts: 347000 | #Constraints: 14900
850.34/852.90 c #Conflicts: 348000 | #Constraints: 15900
850.34/852.90 c #Conflicts: 349000 | #Constraints: 16900
850.34/852.90 c #Conflicts: 350000 | #Constraints: 17900
850.34/852.90 c #Conflicts: 351000 | #Constraints: 18900
850.34/852.90 c #Conflicts: 352000 | #Constraints: 19900
850.34/852.90 c #Conflicts: 353000 | #Constraints: 20900
850.34/852.90 c #Conflicts: 354000 | #Constraints: 21900
850.34/852.90 c #Conflicts: 355000 | #Constraints: 22900
850.34/852.90 c #Conflicts: 356000 | #Constraints: 23900
850.34/852.90 c #Conflicts: 357000 | #Constraints: 24900
850.34/852.90 c INPROCESSING
850.34/852.90 c GARBAGE COLLECT
850.34/852.90 c #Conflicts: 358000 | #Constraints: 14074
850.34/852.90 c #Conflicts: 359000 | #Constraints: 15074
850.34/852.90 c #Conflicts: 360000 | #Constraints: 16074
850.34/852.90 c #Conflicts: 361000 | #Constraints: 17074
850.34/852.90 c #Conflicts: 362000 | #Constraints: 18074
850.34/852.90 c #Conflicts: 363000 | #Constraints: 19074
1003.16/1006.19 c #Conflicts: 364000 | #Constraints: 20074
1003.16/1006.19 c #Conflicts: 365000 | #Constraints: 21074
1003.16/1006.19 c #Conflicts: 366000 | #Constraints: 22074
1003.16/1006.19 c #Conflicts: 367000 | #Constraints: 23074
1003.16/1006.19 c #Conflicts: 368000 | #Constraints: 24074
1003.16/1006.19 c #Conflicts: 369000 | #Constraints: 25074
1003.16/1006.19 c INPROCESSING
1003.16/1006.19 c GARBAGE COLLECT
1003.16/1006.19 c #Conflicts: 370000 | #Constraints: 14089
1003.16/1006.19 c #Conflicts: 371000 | #Constraints: 15089
1003.16/1006.19 c #Conflicts: 372000 | #Constraints: 16089
1003.16/1006.19 c #Conflicts: 373000 | #Constraints: 17089
1003.16/1006.19 c #Conflicts: 374000 | #Constraints: 18089
1003.16/1006.19 c #Conflicts: 375000 | #Constraints: 19089
1003.16/1006.19 c #Conflicts: 376000 | #Constraints: 20089
1003.16/1006.19 c #Conflicts: 377000 | #Constraints: 21089
1003.16/1006.19 c #Conflicts: 378000 | #Constraints: 22089
1003.16/1006.19 c #Conflicts: 379000 | #Constraints: 23089
1003.16/1006.19 c #Conflicts: 380000 | #Constraints: 24089
1003.16/1006.19 c #Conflicts: 381000 | #Constraints: 25089
1003.16/1006.19 c INPROCESSING
1003.16/1006.19 c GARBAGE COLLECT
1003.16/1006.19 c #Conflicts: 382000 | #Constraints: 13897
1003.16/1006.19 c #Conflicts: 383000 | #Constraints: 14897
1003.16/1006.19 c #Conflicts: 384000 | #Constraints: 15897
1003.16/1006.19 c #Conflicts: 385000 | #Constraints: 16897
1003.16/1006.19 c #Conflicts: 386000 | #Constraints: 17897
1003.16/1006.19 c #Conflicts: 387000 | #Constraints: 18897
1003.16/1006.19 c #Conflicts: 388000 | #Constraints: 19897
1003.16/1006.19 c #Conflicts: 389000 | #Constraints: 20897
1003.16/1006.19 c #Conflicts: 390000 | #Constraints: 21897
1003.16/1006.19 c #Conflicts: 391000 | #Constraints: 22897
1003.16/1006.19 c #Conflicts: 392000 | #Constraints: 23897
1003.16/1006.19 c #Conflicts: 393000 | #Constraints: 24897
1003.16/1006.19 c #Conflicts: 394000 | #Constraints: 25897
1003.16/1006.19 c INPROCESSING
1003.16/1006.19 c GARBAGE COLLECT
1003.16/1006.19 c #Conflicts: 395000 | #Constraints: 14499
1003.16/1006.19 c #Conflicts: 396000 | #Constraints: 15499
1003.16/1006.19 c #Conflicts: 397000 | #Constraints: 16499
1003.16/1006.19 c #Conflicts: 398000 | #Constraints: 17499
1003.16/1006.19 c #Conflicts: 399000 | #Constraints: 18499
1003.16/1006.19 c #Conflicts: 400000 | #Constraints: 19499
1003.16/1006.19 c #Conflicts: 401000 | #Constraints: 20499
1003.16/1006.19 c #Conflicts: 402000 | #Constraints: 21499
1003.16/1006.19 c #Conflicts: 403000 | #Constraints: 22499
1003.16/1006.19 c #Conflicts: 404000 | #Constraints: 23499
1003.16/1006.19 c #Conflicts: 405000 | #Constraints: 24499
1003.16/1006.19 c #Conflicts: 406000 | #Constraints: 25499
1003.16/1006.19 c #Conflicts: 407000 | #Constraints: 26499
1003.16/1006.19 c INPROCESSING
1003.16/1006.19 c GARBAGE COLLECT
1003.16/1006.19 c #Conflicts: 408000 | #Constraints: 14891
1003.16/1006.19 c #Conflicts: 409000 | #Constraints: 15891
1003.16/1006.19 c #Conflicts: 410000 | #Constraints: 16891
1003.16/1006.19 c #Conflicts: 411000 | #Constraints: 17891
1003.16/1006.19 c #Conflicts: 412000 | #Constraints: 18891
1003.16/1006.19 c #Conflicts: 413000 | #Constraints: 19891
1003.16/1006.19 c #Conflicts: 414000 | #Constraints: 20891
1003.16/1006.19 c #Conflicts: 415000 | #Constraints: 21891
1003.16/1006.19 c #Conflicts: 416000 | #Constraints: 22891
1003.16/1006.19 c #Conflicts: 417000 | #Constraints: 23891
1003.16/1006.19 c #Conflicts: 418000 | #Constraints: 24891
1003.16/1006.19 c #Conflicts: 419000 | #Constraints: 25891
1003.16/1006.19 c #Conflicts: 420000 | #Constraints: 26891
1003.16/1006.19 c INPROCESSING
1003.16/1006.19 c GARBAGE COLLECT
1003.16/1006.19 c rational objective 120
1294.95/1298.76 c #Conflicts: 421000 | #Constraints: 15112
1294.95/1298.76 c #Conflicts: 422000 | #Constraints: 16112
1294.95/1298.76 c #Conflicts: 423000 | #Constraints: 17112
1294.95/1298.76 c #Conflicts: 424000 | #Constraints: 18112
1294.95/1298.76 c #Conflicts: 425000 | #Constraints: 19112
1294.95/1298.76 c #Conflicts: 426000 | #Constraints: 20112
1294.95/1298.76 c #Conflicts: 427000 | #Constraints: 21112
1294.95/1298.76 c #Conflicts: 428000 | #Constraints: 22112
1294.95/1298.76 c #Conflicts: 429000 | #Constraints: 23112
1294.95/1298.76 c #Conflicts: 430000 | #Constraints: 24112
1294.95/1298.76 c #Conflicts: 431000 | #Constraints: 25112
1294.95/1298.76 c #Conflicts: 432000 | #Constraints: 26112
1294.95/1298.76 c #Conflicts: 433000 | #Constraints: 27112
1294.95/1298.76 c INPROCESSING
1294.95/1298.76 c GARBAGE COLLECT
1294.95/1298.76 c #Conflicts: 434000 | #Constraints: 15133
1294.95/1298.76 c #Conflicts: 435000 | #Constraints: 16133
1294.95/1298.76 c #Conflicts: 436000 | #Constraints: 17133
1294.95/1298.76 c #Conflicts: 437000 | #Constraints: 18133
1294.95/1298.76 c #Conflicts: 438000 | #Constraints: 19133
1294.95/1298.76 c #Conflicts: 439000 | #Constraints: 20133
1294.95/1298.76 c #Conflicts: 440000 | #Constraints: 21133
1294.95/1298.76 c #Conflicts: 441000 | #Constraints: 22133
1294.95/1298.76 c #Conflicts: 442000 | #Constraints: 23133
1294.95/1298.76 c #Conflicts: 443000 | #Constraints: 24133
1294.95/1298.76 c #Conflicts: 444000 | #Constraints: 25133
1294.95/1298.76 c #Conflicts: 445000 | #Constraints: 26133
1294.95/1298.76 c #Conflicts: 446000 | #Constraints: 27133
1294.95/1298.76 c INPROCESSING
1294.95/1298.76 c GARBAGE COLLECT
1294.95/1298.76 c #Conflicts: 447000 | #Constraints: 14969
1294.95/1298.76 c #Conflicts: 448000 | #Constraints: 15969
1294.95/1298.76 c #Conflicts: 449000 | #Constraints: 16969
1294.95/1298.76 c #Conflicts: 450000 | #Constraints: 17969
1294.95/1298.76 c #Conflicts: 451000 | #Constraints: 18969
1294.95/1298.76 c #Conflicts: 452000 | #Constraints: 19969
1294.95/1298.76 c #Conflicts: 453000 | #Constraints: 20969
1294.95/1298.76 c #Conflicts: 454000 | #Constraints: 21969
1294.95/1298.76 c #Conflicts: 455000 | #Constraints: 22969
1294.95/1298.76 c #Conflicts: 456000 | #Constraints: 23969
1294.95/1298.76 c #Conflicts: 457000 | #Constraints: 24969
1294.95/1298.76 c #Conflicts: 458000 | #Constraints: 25969
1294.95/1298.76 c #Conflicts: 459000 | #Constraints: 26969
1294.95/1298.76 c #Conflicts: 460000 | #Constraints: 27969
1294.95/1298.76 c INPROCESSING
1294.95/1298.76 c GARBAGE COLLECT
1294.95/1298.76 c #Conflicts: 461000 | #Constraints: 15575
1294.95/1298.76 c #Conflicts: 462000 | #Constraints: 16575
1294.95/1298.76 c #Conflicts: 463000 | #Constraints: 17575
1294.95/1298.76 c #Conflicts: 464000 | #Constraints: 18575
1294.95/1298.76 c #Conflicts: 465000 | #Constraints: 19575
1294.95/1298.76 c #Conflicts: 466000 | #Constraints: 20575
1294.95/1298.76 c #Conflicts: 467000 | #Constraints: 21575
1294.95/1298.76 c #Conflicts: 468000 | #Constraints: 22575
1294.95/1298.76 c #Conflicts: 469000 | #Constraints: 23575
1294.95/1298.76 c #Conflicts: 470000 | #Constraints: 24575
1294.95/1298.76 c #Conflicts: 471000 | #Constraints: 25575
1294.95/1298.76 c #Conflicts: 472000 | #Constraints: 26575
1294.95/1298.76 c #Conflicts: 473000 | #Constraints: 27575
1294.95/1298.76 c #Conflicts: 474000 | #Constraints: 28575
1294.95/1298.76 c INPROCESSING
1294.95/1298.76 c GARBAGE COLLECT
1294.95/1298.76 c #Conflicts: 475000 | #Constraints: 15959
1294.95/1298.76 c #Conflicts: 476000 | #Constraints: 16959
1294.95/1298.76 c #Conflicts: 477000 | #Constraints: 17959
1294.95/1298.76 c #Conflicts: 478000 | #Constraints: 18959
1294.95/1298.76 c #Conflicts: 479000 | #Constraints: 19959
1294.95/1298.76 c #Conflicts: 480000 | #Constraints: 20959
1294.95/1298.76 c #Conflicts: 481000 | #Constraints: 21959
1294.95/1298.76 c #Conflicts: 482000 | #Constraints: 22959
1294.95/1298.76 c #Conflicts: 483000 | #Constraints: 23959
1294.95/1298.76 c #Conflicts: 484000 | #Constraints: 24959
1294.95/1298.76 c #Conflicts: 485000 | #Constraints: 25959
1294.95/1298.76 c #Conflicts: 486000 | #Constraints: 26959
1294.95/1298.76 c #Conflicts: 487000 | #Constraints: 27959
1294.95/1298.76 c #Conflicts: 488000 | #Constraints: 28959
1294.95/1298.76 c INPROCESSING
1294.95/1298.76 c GARBAGE COLLECT
1294.95/1298.76 c #Conflicts: 489000 | #Constraints: 16165
1294.95/1298.76 c #Conflicts: 490000 | #Constraints: 17165
1294.95/1298.76 c #Conflicts: 491000 | #Constraints: 18165
1294.95/1298.76 c #Conflicts: 492000 | #Constraints: 19165
1294.95/1298.76 c #Conflicts: 493000 | #Constraints: 20165
1294.95/1298.76 c #Conflicts: 494000 | #Constraints: 21165
1294.95/1298.76 c #Conflicts: 495000 | #Constraints: 22165
1294.95/1298.76 c #Conflicts: 496000 | #Constraints: 23165
1536.09/1540.50 c #Conflicts: 497000 | #Constraints: 24165
1536.09/1540.50 c #Conflicts: 498000 | #Constraints: 25165
1536.09/1540.50 c #Conflicts: 499000 | #Constraints: 26165
1536.09/1540.50 c #Conflicts: 500000 | #Constraints: 27165
1536.09/1540.50 c #Conflicts: 501000 | #Constraints: 28165
1536.09/1540.50 c #Conflicts: 502000 | #Constraints: 29165
1536.09/1540.50 c INPROCESSING
1536.09/1540.50 c GARBAGE COLLECT
1536.09/1540.50 c #Conflicts: 503000 | #Constraints: 16189
1536.09/1540.50 c #Conflicts: 504000 | #Constraints: 17189
1536.09/1540.50 c #Conflicts: 505000 | #Constraints: 18189
1536.09/1540.50 c #Conflicts: 506000 | #Constraints: 19189
1536.09/1540.50 c #Conflicts: 507000 | #Constraints: 20189
1536.09/1540.50 c #Conflicts: 508000 | #Constraints: 21189
1536.09/1540.50 c #Conflicts: 509000 | #Constraints: 22189
1536.09/1540.50 c #Conflicts: 510000 | #Constraints: 23189
1536.09/1540.50 c #Conflicts: 511000 | #Constraints: 24189
1536.09/1540.50 c #Conflicts: 512000 | #Constraints: 25189
1536.09/1540.50 c #Conflicts: 513000 | #Constraints: 26189
1536.09/1540.50 c #Conflicts: 514000 | #Constraints: 27189
1536.09/1540.50 c #Conflicts: 515000 | #Constraints: 28189
1536.09/1540.50 c #Conflicts: 516000 | #Constraints: 29189
1536.09/1540.50 c INPROCESSING
1536.09/1540.50 c GARBAGE COLLECT
1536.09/1540.50 c #Conflicts: 517000 | #Constraints: 15943
1536.09/1540.50 c #Conflicts: 518000 | #Constraints: 16943
1536.09/1540.50 c #Conflicts: 519000 | #Constraints: 17943
1536.09/1540.50 c #Conflicts: 520000 | #Constraints: 18943
1536.09/1540.50 c #Conflicts: 521000 | #Constraints: 19943
1536.09/1540.50 c #Conflicts: 522000 | #Constraints: 20943
1536.09/1540.50 c #Conflicts: 523000 | #Constraints: 21943
1536.09/1540.50 c #Conflicts: 524000 | #Constraints: 22943
1536.09/1540.50 c #Conflicts: 525000 | #Constraints: 23943
1536.09/1540.50 c #Conflicts: 526000 | #Constraints: 24943
1536.09/1540.50 c #Conflicts: 527000 | #Constraints: 25943
1536.09/1540.50 c #Conflicts: 528000 | #Constraints: 26943
1536.09/1540.50 c #Conflicts: 529000 | #Constraints: 27943
1536.09/1540.50 c #Conflicts: 530000 | #Constraints: 28943
1536.09/1540.50 c #Conflicts: 531000 | #Constraints: 29943
1536.09/1540.50 c INPROCESSING
1536.09/1540.50 c GARBAGE COLLECT
1536.09/1540.50 c #Conflicts: 532000 | #Constraints: 16559
1536.09/1540.50 c #Conflicts: 533000 | #Constraints: 17559
1536.09/1540.50 c #Conflicts: 534000 | #Constraints: 18559
1536.09/1540.50 c #Conflicts: 535000 | #Constraints: 19559
1536.09/1540.50 c #Conflicts: 536000 | #Constraints: 20559
1536.09/1540.50 c #Conflicts: 537000 | #Constraints: 21559
1536.09/1540.50 c #Conflicts: 538000 | #Constraints: 22559
1536.09/1540.50 c #Conflicts: 539000 | #Constraints: 23559
1536.09/1540.50 c #Conflicts: 540000 | #Constraints: 24559
1536.09/1540.50 c #Conflicts: 541000 | #Constraints: 25559
1536.09/1540.50 c #Conflicts: 542000 | #Constraints: 26559
1536.09/1540.50 c #Conflicts: 543000 | #Constraints: 27559
1536.09/1540.50 c #Conflicts: 544000 | #Constraints: 28559
1536.09/1540.50 c #Conflicts: 545000 | #Constraints: 29559
1536.09/1540.50 c #Conflicts: 546000 | #Constraints: 30559
1536.09/1540.50 c INPROCESSING
1536.09/1540.50 c GARBAGE COLLECT
1536.09/1540.50 c #Conflicts: 547000 | #Constraints: 16913
1536.09/1540.50 c #Conflicts: 548000 | #Constraints: 17913
1536.09/1540.50 c #Conflicts: 549000 | #Constraints: 18913
1536.09/1540.50 c #Conflicts: 550000 | #Constraints: 19913
1536.09/1540.50 c #Conflicts: 551000 | #Constraints: 20913
1536.09/1540.50 c #Conflicts: 552000 | #Constraints: 21913
1536.09/1540.50 c #Conflicts: 553000 | #Constraints: 22913
1536.09/1540.50 c #Conflicts: 554000 | #Constraints: 23913
1536.09/1540.50 c #Conflicts: 555000 | #Constraints: 24913
1536.09/1540.50 c #Conflicts: 556000 | #Constraints: 25913
1536.09/1540.50 c #Conflicts: 557000 | #Constraints: 26913
1536.09/1540.50 c #Conflicts: 558000 | #Constraints: 27913
1536.09/1540.50 c #Conflicts: 559000 | #Constraints: 28913
1536.09/1540.50 c #Conflicts: 560000 | #Constraints: 29913
1536.09/1540.50 c #Conflicts: 561000 | #Constraints: 30913
1536.09/1540.50 c INPROCESSING
1536.09/1540.50 c GARBAGE COLLECT
1536.09/1540.50 c #Conflicts: 562000 | #Constraints: 17112
1536.09/1540.50 c #Conflicts: 563000 | #Constraints: 18112
1536.09/1540.50 c #Conflicts: 564000 | #Constraints: 19112
1536.09/1540.50 c #Conflicts: 565000 | #Constraints: 20112
1536.09/1540.50 c #Conflicts: 566000 | #Constraints: 21112
1536.09/1540.50 c #Conflicts: 567000 | #Constraints: 22112
1536.09/1540.50 c #Conflicts: 568000 | #Constraints: 23112
1536.09/1540.50 c #Conflicts: 569000 | #Constraints: 24112
1536.09/1540.50 c #Conflicts: 570000 | #Constraints: 25112
1536.09/1540.50 c #Conflicts: 571000 | #Constraints: 26112
1536.09/1540.50 c #Conflicts: 572000 | #Constraints: 27112
1732.46/1737.43 c #Conflicts: 573000 | #Constraints: 28112
1732.46/1737.43 c #Conflicts: 574000 | #Constraints: 29112
1732.46/1737.43 c #Conflicts: 575000 | #Constraints: 30112
1732.46/1737.43 c #Conflicts: 576000 | #Constraints: 31112
1732.46/1737.43 c INPROCESSING
1732.46/1737.43 c GARBAGE COLLECT
1732.46/1737.43 c #Conflicts: 577000 | #Constraints: 17113
1732.46/1737.43 c #Conflicts: 578000 | #Constraints: 18114
1732.46/1737.43 c #Conflicts: 579000 | #Constraints: 19114
1732.46/1737.43 c #Conflicts: 580000 | #Constraints: 20114
1732.46/1737.43 c #Conflicts: 581000 | #Constraints: 21114
1732.46/1737.43 c #Conflicts: 582000 | #Constraints: 22114
1732.46/1737.43 c #Conflicts: 583000 | #Constraints: 23114
1732.46/1737.43 c #Conflicts: 584000 | #Constraints: 24114
1732.46/1737.43 c #Conflicts: 585000 | #Constraints: 25114
1732.46/1737.43 c #Conflicts: 586000 | #Constraints: 26114
1732.46/1737.43 c #Conflicts: 587000 | #Constraints: 27114
1732.46/1737.43 c #Conflicts: 588000 | #Constraints: 28114
1732.46/1737.43 c #Conflicts: 589000 | #Constraints: 29114
1732.46/1737.43 c #Conflicts: 590000 | #Constraints: 30114
1732.46/1737.43 c #Conflicts: 591000 | #Constraints: 31114
1732.46/1737.43 c INPROCESSING
1732.46/1737.43 c GARBAGE COLLECT
1732.46/1737.43 c #Conflicts: 592000 | #Constraints: 16902
1732.46/1737.43 c #Conflicts: 593000 | #Constraints: 17902
1732.46/1737.43 c #Conflicts: 594000 | #Constraints: 18902
1732.46/1737.43 c #Conflicts: 595000 | #Constraints: 19902
1732.46/1737.43 c #Conflicts: 596000 | #Constraints: 20902
1732.46/1737.43 c #Conflicts: 597000 | #Constraints: 21902
1732.46/1737.43 c #Conflicts: 598000 | #Constraints: 22902
1732.46/1737.43 c #Conflicts: 599000 | #Constraints: 23902
1732.46/1737.43 c #Conflicts: 600000 | #Constraints: 24902
1732.46/1737.43 c #Conflicts: 601000 | #Constraints: 25902
1732.46/1737.43 c #Conflicts: 602000 | #Constraints: 26902
1732.46/1737.43 c #Conflicts: 603000 | #Constraints: 27902
1732.46/1737.43 c #Conflicts: 604000 | #Constraints: 28902
1732.46/1737.43 c #Conflicts: 605000 | #Constraints: 29902
1732.46/1737.43 c #Conflicts: 606000 | #Constraints: 30902
1732.46/1737.43 c #Conflicts: 607000 | #Constraints: 31902
1732.46/1737.43 c INPROCESSING
1732.46/1737.43 c GARBAGE COLLECT
1732.46/1737.43 c #Conflicts: 608000 | #Constraints: 17513
1732.46/1737.43 c #Conflicts: 609000 | #Constraints: 18513
1732.46/1737.43 c #Conflicts: 610000 | #Constraints: 19513
1732.46/1737.43 c #Conflicts: 611000 | #Constraints: 20513
1732.46/1737.43 c #Conflicts: 612000 | #Constraints: 21513
1732.46/1737.43 c #Conflicts: 613000 | #Constraints: 22513
1732.46/1737.43 c #Conflicts: 614000 | #Constraints: 23513
1732.46/1737.43 c #Conflicts: 615000 | #Constraints: 24513
1732.46/1737.43 c #Conflicts: 616000 | #Constraints: 25513
1732.46/1737.43 c #Conflicts: 617000 | #Constraints: 26513
1732.46/1737.43 c #Conflicts: 618000 | #Constraints: 27513
1732.46/1737.43 c #Conflicts: 619000 | #Constraints: 28513
1732.46/1737.43 c #Conflicts: 620000 | #Constraints: 29513
1732.46/1737.43 c #Conflicts: 621000 | #Constraints: 30513
1732.46/1737.43 c #Conflicts: 622000 | #Constraints: 31513
1732.46/1737.43 c #Conflicts: 623000 | #Constraints: 32513
1732.46/1737.43 c INPROCESSING
1732.46/1737.43 c GARBAGE COLLECT
1732.46/1737.43 c #Conflicts: 624000 | #Constraints: 17930
1732.46/1737.43 c #Conflicts: 625000 | #Constraints: 18930
1732.46/1737.43 c #Conflicts: 626000 | #Constraints: 19930
1732.46/1737.43 c #Conflicts: 627000 | #Constraints: 20930
1732.46/1737.43 c #Conflicts: 628000 | #Constraints: 21930
1732.46/1737.44 c #Conflicts: 629000 | #Constraints: 22930
1732.46/1737.44 c #Conflicts: 630000 | #Constraints: 23930
1732.46/1737.44 c #Conflicts: 631000 | #Constraints: 24930
1732.46/1737.44 c #Conflicts: 632000 | #Constraints: 25930
1732.46/1737.44 c #Conflicts: 633000 | #Constraints: 26930
1732.46/1737.44 c #Conflicts: 634000 | #Constraints: 27930
1732.46/1737.44 c #Conflicts: 635000 | #Constraints: 28930
1732.46/1737.44 c #Conflicts: 636000 | #Constraints: 29930
1732.46/1737.44 c #Conflicts: 637000 | #Constraints: 30930
1732.46/1737.44 c #Conflicts: 638000 | #Constraints: 31930
1732.46/1737.44 c #Conflicts: 639000 | #Constraints: 32930
1732.46/1737.44 c INPROCESSING
1732.46/1737.44 c GARBAGE COLLECT
1732.46/1737.44 c rational objective 120
1793.50/1798.68 c #Conflicts: 640000 | #Constraints: 18130
1793.50/1798.68 c #Conflicts: 641000 | #Constraints: 19130
1793.50/1798.68 c #Conflicts: 642000 | #Constraints: 20130
1793.50/1798.68 c #Conflicts: 643000 | #Constraints: 21130
1793.50/1798.68 c #Conflicts: 644000 | #Constraints: 22130
1793.50/1798.68 c #Conflicts: 645000 | #Constraints: 23130
1793.50/1798.68 c #Conflicts: 646000 | #Constraints: 24130
1793.50/1798.68 c #Conflicts: 647000 | #Constraints: 25130
1793.50/1798.68 c #Conflicts: 648000 | #Constraints: 26130
1793.50/1798.68 c #Conflicts: 649000 | #Constraints: 27130
1793.50/1798.68 c #Conflicts: 650000 | #Constraints: 28130
1793.50/1798.68 c #Conflicts: 651000 | #Constraints: 29130
1793.50/1798.68 c #Conflicts: 652000 | #Constraints: 30130
1793.50/1798.68 c #Conflicts: 653000 | #Constraints: 31130
1793.50/1798.68 c #Conflicts: 654000 | #Constraints: 32130
1793.50/1798.68 c #Conflicts: 655000 | #Constraints: 33130
1793.50/1798.68 c INPROCESSING
1793.50/1798.68 c GARBAGE COLLECT
1793.50/1798.68 c rational objective 120
2059.79/2065.63 c #Conflicts: 656000 | #Constraints: 18133
2059.79/2065.63 c #Conflicts: 657000 | #Constraints: 19133
2059.79/2065.63 c #Conflicts: 658000 | #Constraints: 20133
2059.79/2065.63 c #Conflicts: 659000 | #Constraints: 21133
2059.79/2065.63 c #Conflicts: 660000 | #Constraints: 22133
2059.79/2065.63 c #Conflicts: 661000 | #Constraints: 23133
2059.79/2065.63 c #Conflicts: 662000 | #Constraints: 24133
2059.79/2065.63 c #Conflicts: 663000 | #Constraints: 25133
2059.79/2065.63 c #Conflicts: 664000 | #Constraints: 26133
2059.79/2065.63 c #Conflicts: 665000 | #Constraints: 27133
2059.79/2065.63 c #Conflicts: 666000 | #Constraints: 28133
2059.79/2065.63 c #Conflicts: 667000 | #Constraints: 29133
2059.79/2065.63 c #Conflicts: 668000 | #Constraints: 30133
2059.79/2065.63 c #Conflicts: 669000 | #Constraints: 31133
2059.79/2065.63 c #Conflicts: 670000 | #Constraints: 32133
2059.79/2065.63 c #Conflicts: 671000 | #Constraints: 33133
2059.79/2065.63 c INPROCESSING
2059.79/2065.63 c GARBAGE COLLECT
2059.79/2065.63 c #Conflicts: 672000 | #Constraints: 17899
2059.79/2065.63 c #Conflicts: 673000 | #Constraints: 18899
2059.79/2065.63 c #Conflicts: 674000 | #Constraints: 19899
2059.79/2065.63 c #Conflicts: 675000 | #Constraints: 20899
2059.79/2065.63 c #Conflicts: 676000 | #Constraints: 21899
2059.79/2065.63 c #Conflicts: 677000 | #Constraints: 22899
2059.79/2065.63 c #Conflicts: 678000 | #Constraints: 23899
2059.79/2065.63 c #Conflicts: 679000 | #Constraints: 24899
2059.79/2065.63 c #Conflicts: 680000 | #Constraints: 25899
2059.79/2065.63 c #Conflicts: 681000 | #Constraints: 26899
2059.79/2065.63 c #Conflicts: 682000 | #Constraints: 27899
2059.79/2065.63 c #Conflicts: 683000 | #Constraints: 28899
2059.79/2065.63 c #Conflicts: 684000 | #Constraints: 29899
2059.79/2065.63 c #Conflicts: 685000 | #Constraints: 30899
2059.79/2065.63 c #Conflicts: 686000 | #Constraints: 31899
2059.79/2065.63 c #Conflicts: 687000 | #Constraints: 32899
2059.79/2065.63 c #Conflicts: 688000 | #Constraints: 33899
2059.79/2065.63 c INPROCESSING
2059.79/2065.63 c GARBAGE COLLECT
2059.79/2065.63 c #Conflicts: 689000 | #Constraints: 18505
2059.79/2065.63 c #Conflicts: 690000 | #Constraints: 19505
2059.79/2065.63 c #Conflicts: 691000 | #Constraints: 20505
2059.79/2065.63 c #Conflicts: 692000 | #Constraints: 21505
2059.79/2065.63 c #Conflicts: 693000 | #Constraints: 22505
2059.79/2065.63 c #Conflicts: 694000 | #Constraints: 23505
2059.79/2065.63 c #Conflicts: 695000 | #Constraints: 24505
2059.79/2065.63 c #Conflicts: 696000 | #Constraints: 25505
2059.79/2065.63 c #Conflicts: 697000 | #Constraints: 26505
2059.79/2065.63 c #Conflicts: 698000 | #Constraints: 27505
2059.79/2065.63 c #Conflicts: 699000 | #Constraints: 28505
2059.79/2065.63 c #Conflicts: 700000 | #Constraints: 29505
2059.79/2065.63 c #Conflicts: 701000 | #Constraints: 30505
2059.79/2065.63 c #Conflicts: 702000 | #Constraints: 31505
2059.79/2065.63 c #Conflicts: 703000 | #Constraints: 32505
2059.79/2065.63 c #Conflicts: 704000 | #Constraints: 33505
2059.79/2065.63 c #Conflicts: 705000 | #Constraints: 34505
2059.79/2065.63 c INPROCESSING
2059.79/2065.63 c GARBAGE COLLECT
2059.79/2065.63 c #Conflicts: 706000 | #Constraints: 18918
2059.79/2065.63 c #Conflicts: 707000 | #Constraints: 19918
2059.79/2065.63 c #Conflicts: 708000 | #Constraints: 20918
2059.79/2065.63 c #Conflicts: 709000 | #Constraints: 21918
2059.79/2065.63 c #Conflicts: 710000 | #Constraints: 22918
2059.79/2065.63 c #Conflicts: 711000 | #Constraints: 23918
2059.79/2065.63 c #Conflicts: 712000 | #Constraints: 24918
2059.79/2065.63 c #Conflicts: 713000 | #Constraints: 25918
2059.79/2065.63 c #Conflicts: 714000 | #Constraints: 26918
2059.79/2065.63 c #Conflicts: 715000 | #Constraints: 27918
2059.79/2065.63 c #Conflicts: 716000 | #Constraints: 28918
2059.79/2065.63 c #Conflicts: 717000 | #Constraints: 29918
2059.79/2065.63 c #Conflicts: 718000 | #Constraints: 30918
2059.79/2065.63 c #Conflicts: 719000 | #Constraints: 31918
2059.79/2065.63 c #Conflicts: 720000 | #Constraints: 32918
2059.79/2065.63 c #Conflicts: 721000 | #Constraints: 33918
2059.79/2065.63 c #Conflicts: 722000 | #Constraints: 34918
2059.79/2065.63 c INPROCESSING
2059.79/2065.63 c GARBAGE COLLECT
2059.79/2065.63 c #Conflicts: 723000 | #Constraints: 19108
2059.79/2065.63 c #Conflicts: 724000 | #Constraints: 20108
2059.79/2065.63 c #Conflicts: 725000 | #Constraints: 21108
2059.79/2065.63 c #Conflicts: 726000 | #Constraints: 22108
2059.79/2065.63 c #Conflicts: 727000 | #Constraints: 23108
2059.79/2065.63 c #Conflicts: 728000 | #Constraints: 24108
2059.79/2065.63 c #Conflicts: 729000 | #Constraints: 25108
2059.79/2065.63 c #Conflicts: 730000 | #Constraints: 26108
2059.79/2065.63 c #Conflicts: 731000 | #Constraints: 27108
2059.79/2065.63 c #Conflicts: 732000 | #Constraints: 28108
2312.91/2319.48 c #Conflicts: 733000 | #Constraints: 29108
2312.91/2319.48 c #Conflicts: 734000 | #Constraints: 30108
2312.91/2319.48 c #Conflicts: 735000 | #Constraints: 31108
2312.91/2319.48 c #Conflicts: 736000 | #Constraints: 32108
2312.91/2319.48 c #Conflicts: 737000 | #Constraints: 33108
2312.91/2319.48 c #Conflicts: 738000 | #Constraints: 34108
2312.91/2319.48 c #Conflicts: 739000 | #Constraints: 35108
2312.91/2319.48 c INPROCESSING
2312.91/2319.48 c GARBAGE COLLECT
2312.91/2319.48 c #Conflicts: 740000 | #Constraints: 19134
2312.91/2319.48 c #Conflicts: 741000 | #Constraints: 20134
2312.91/2319.48 c #Conflicts: 742000 | #Constraints: 21134
2312.91/2319.48 c #Conflicts: 743000 | #Constraints: 22134
2312.91/2319.48 c #Conflicts: 744000 | #Constraints: 23134
2312.91/2319.48 c #Conflicts: 745000 | #Constraints: 24134
2312.91/2319.48 c #Conflicts: 746000 | #Constraints: 25134
2312.91/2319.48 c #Conflicts: 747000 | #Constraints: 26134
2312.91/2319.48 c #Conflicts: 748000 | #Constraints: 27134
2312.91/2319.48 c #Conflicts: 749000 | #Constraints: 28134
2312.91/2319.48 c #Conflicts: 750000 | #Constraints: 29134
2312.91/2319.48 c #Conflicts: 751000 | #Constraints: 30134
2312.91/2319.48 c #Conflicts: 752000 | #Constraints: 31134
2312.91/2319.48 c #Conflicts: 753000 | #Constraints: 32134
2312.91/2319.48 c #Conflicts: 754000 | #Constraints: 33134
2312.91/2319.48 c #Conflicts: 755000 | #Constraints: 34134
2312.91/2319.48 c #Conflicts: 756000 | #Constraints: 35134
2312.91/2319.48 c INPROCESSING
2312.91/2319.48 c GARBAGE COLLECT
2312.91/2319.48 c #Conflicts: 757000 | #Constraints: 18929
2312.91/2319.48 c #Conflicts: 758000 | #Constraints: 19929
2312.91/2319.48 c #Conflicts: 759000 | #Constraints: 20929
2312.91/2319.48 c #Conflicts: 760000 | #Constraints: 21929
2312.91/2319.48 c #Conflicts: 761000 | #Constraints: 22929
2312.91/2319.48 c #Conflicts: 762000 | #Constraints: 23929
2312.91/2319.48 c #Conflicts: 763000 | #Constraints: 24929
2312.91/2319.48 c #Conflicts: 764000 | #Constraints: 25929
2312.91/2319.48 c #Conflicts: 765000 | #Constraints: 26929
2312.91/2319.48 c #Conflicts: 766000 | #Constraints: 27929
2312.91/2319.48 c #Conflicts: 767000 | #Constraints: 28929
2312.91/2319.48 c #Conflicts: 768000 | #Constraints: 29929
2312.91/2319.48 c #Conflicts: 769000 | #Constraints: 30929
2312.91/2319.48 c #Conflicts: 770000 | #Constraints: 31929
2312.91/2319.48 c #Conflicts: 771000 | #Constraints: 32929
2312.91/2319.48 c #Conflicts: 772000 | #Constraints: 33929
2312.91/2319.48 c #Conflicts: 773000 | #Constraints: 34929
2312.91/2319.48 c #Conflicts: 774000 | #Constraints: 35929
2312.91/2319.48 c INPROCESSING
2312.91/2319.48 c GARBAGE COLLECT
2312.91/2319.48 c #Conflicts: 775000 | #Constraints: 19526
2312.91/2319.48 c #Conflicts: 776000 | #Constraints: 20526
2312.91/2319.48 c #Conflicts: 777000 | #Constraints: 21526
2312.91/2319.48 c #Conflicts: 778000 | #Constraints: 22526
2312.91/2319.48 c #Conflicts: 779000 | #Constraints: 23526
2312.91/2319.48 c #Conflicts: 780000 | #Constraints: 24526
2312.91/2319.48 c #Conflicts: 781000 | #Constraints: 25526
2312.91/2319.48 c #Conflicts: 782000 | #Constraints: 26526
2312.91/2319.48 c #Conflicts: 783000 | #Constraints: 27526
2312.91/2319.48 c #Conflicts: 784000 | #Constraints: 28526
2312.91/2319.48 c #Conflicts: 785000 | #Constraints: 29526
2312.91/2319.48 c #Conflicts: 786000 | #Constraints: 30526
2312.91/2319.48 c #Conflicts: 787000 | #Constraints: 31526
2312.91/2319.48 c #Conflicts: 788000 | #Constraints: 32526
2312.91/2319.48 c #Conflicts: 789000 | #Constraints: 33526
2312.91/2319.48 c #Conflicts: 790000 | #Constraints: 34526
2312.91/2319.48 c #Conflicts: 791000 | #Constraints: 35526
2312.91/2319.48 c #Conflicts: 792000 | #Constraints: 36526
2312.91/2319.48 c INPROCESSING
2312.91/2319.48 c GARBAGE COLLECT
2312.91/2319.48 c #Conflicts: 793000 | #Constraints: 19919
2312.91/2319.48 c #Conflicts: 794000 | #Constraints: 20919
2312.91/2319.48 c #Conflicts: 795000 | #Constraints: 21919
2312.91/2319.48 c #Conflicts: 796000 | #Constraints: 22919
2312.91/2319.48 c #Conflicts: 797000 | #Constraints: 23919
2312.91/2319.48 c #Conflicts: 798000 | #Constraints: 24919
2312.91/2319.48 c #Conflicts: 799000 | #Constraints: 25919
2312.91/2319.48 c #Conflicts: 800000 | #Constraints: 26919
2312.91/2319.48 c #Conflicts: 801000 | #Constraints: 27919
2312.91/2319.48 c #Conflicts: 802000 | #Constraints: 28919
2312.91/2319.48 c #Conflicts: 803000 | #Constraints: 29919
2312.91/2319.48 c #Conflicts: 804000 | #Constraints: 30919
2312.91/2319.48 c #Conflicts: 805000 | #Constraints: 31919
2312.91/2319.48 c #Conflicts: 806000 | #Constraints: 32919
2312.91/2319.48 c #Conflicts: 807000 | #Constraints: 33919
2312.91/2319.48 c #Conflicts: 808000 | #Constraints: 34919
2385.91/2392.65 c #Conflicts: 809000 | #Constraints: 35919
2385.91/2392.65 c #Conflicts: 810000 | #Constraints: 36919
2385.91/2392.65 c INPROCESSING
2385.91/2392.65 c GARBAGE COLLECT
2385.91/2392.65 c #Conflicts: 811000 | #Constraints: 20147
2385.91/2392.65 c #Conflicts: 812000 | #Constraints: 21147
2385.91/2392.65 c #Conflicts: 813000 | #Constraints: 22147
2385.91/2392.65 c #Conflicts: 814000 | #Constraints: 23147
2385.91/2392.65 c #Conflicts: 815000 | #Constraints: 24147
2385.91/2392.65 c #Conflicts: 816000 | #Constraints: 25147
2385.91/2392.65 c #Conflicts: 817000 | #Constraints: 26147
2385.91/2392.65 c #Conflicts: 818000 | #Constraints: 27147
2385.91/2392.65 c #Conflicts: 819000 | #Constraints: 28147
2385.91/2392.65 c #Conflicts: 820000 | #Constraints: 29147
2385.91/2392.65 c #Conflicts: 821000 | #Constraints: 30147
2385.91/2392.65 c #Conflicts: 822000 | #Constraints: 31147
2385.91/2392.65 c #Conflicts: 823000 | #Constraints: 32147
2385.91/2392.65 c #Conflicts: 824000 | #Constraints: 33147
2385.91/2392.65 c #Conflicts: 825000 | #Constraints: 34147
2385.91/2392.65 c #Conflicts: 826000 | #Constraints: 35147
2385.91/2392.65 c #Conflicts: 827000 | #Constraints: 36147
2385.91/2392.65 c #Conflicts: 828000 | #Constraints: 37147
2385.91/2392.65 c INPROCESSING
2385.91/2392.65 c GARBAGE COLLECT
2385.91/2392.65 c rational objective 120
2467.29/2474.20 c #Conflicts: 829000 | #Constraints: 20152
2467.29/2474.20 c #Conflicts: 830000 | #Constraints: 21152
2467.29/2474.20 c #Conflicts: 831000 | #Constraints: 22152
2467.29/2474.20 c #Conflicts: 832000 | #Constraints: 23152
2467.29/2474.20 c #Conflicts: 833000 | #Constraints: 24152
2467.29/2474.20 c #Conflicts: 834000 | #Constraints: 25152
2467.29/2474.20 c #Conflicts: 835000 | #Constraints: 26152
2467.29/2474.20 c #Conflicts: 836000 | #Constraints: 27152
2467.29/2474.20 c #Conflicts: 837000 | #Constraints: 28152
2467.29/2474.20 c #Conflicts: 838000 | #Constraints: 29152
2467.29/2474.20 c #Conflicts: 839000 | #Constraints: 30152
2467.29/2474.20 c #Conflicts: 840000 | #Constraints: 31152
2467.29/2474.20 c #Conflicts: 841000 | #Constraints: 32152
2467.29/2474.20 c #Conflicts: 842000 | #Constraints: 33152
2467.29/2474.20 c #Conflicts: 843000 | #Constraints: 34152
2467.29/2474.20 c #Conflicts: 844000 | #Constraints: 35152
2467.29/2474.20 c #Conflicts: 845000 | #Constraints: 36152
2467.29/2474.20 c #Conflicts: 846000 | #Constraints: 37152
2467.29/2474.20 c INPROCESSING
2467.29/2474.20 c GARBAGE COLLECT
2467.29/2474.20 c rational objective 120
2537.31/2544.44 c #Conflicts: 847000 | #Constraints: 19924
2537.31/2544.44 c #Conflicts: 848000 | #Constraints: 20924
2537.31/2544.44 c #Conflicts: 849000 | #Constraints: 21924
2537.31/2544.44 c #Conflicts: 850000 | #Constraints: 22924
2537.31/2544.44 c #Conflicts: 851000 | #Constraints: 23924
2537.31/2544.44 c #Conflicts: 852000 | #Constraints: 24924
2537.31/2544.44 c #Conflicts: 853000 | #Constraints: 25924
2537.31/2544.44 c #Conflicts: 854000 | #Constraints: 26924
2537.31/2544.44 c #Conflicts: 855000 | #Constraints: 27924
2537.31/2544.44 c #Conflicts: 856000 | #Constraints: 28924
2537.31/2544.44 c #Conflicts: 857000 | #Constraints: 29924
2537.31/2544.44 c #Conflicts: 858000 | #Constraints: 30924
2537.31/2544.44 c #Conflicts: 859000 | #Constraints: 31924
2537.31/2544.44 c #Conflicts: 860000 | #Constraints: 32924
2537.31/2544.44 c #Conflicts: 861000 | #Constraints: 33924
2537.31/2544.44 c #Conflicts: 862000 | #Constraints: 34924
2537.31/2544.44 c #Conflicts: 863000 | #Constraints: 35924
2537.31/2544.44 c #Conflicts: 864000 | #Constraints: 36924
2537.31/2544.44 c #Conflicts: 865000 | #Constraints: 37924
2537.31/2544.44 c INPROCESSING
2537.31/2544.44 c GARBAGE COLLECT
2537.31/2544.44 c rational objective 120
2730.59/2738.21 c #Conflicts: 866000 | #Constraints: 20514
2730.59/2738.21 c #Conflicts: 867000 | #Constraints: 21514
2730.59/2738.21 c #Conflicts: 868000 | #Constraints: 22514
2730.59/2738.21 c #Conflicts: 869000 | #Constraints: 23514
2730.59/2738.21 c #Conflicts: 870000 | #Constraints: 24514
2730.59/2738.21 c #Conflicts: 871000 | #Constraints: 25514
2730.59/2738.21 c #Conflicts: 872000 | #Constraints: 26514
2730.59/2738.21 c #Conflicts: 873000 | #Constraints: 27514
2730.59/2738.21 c #Conflicts: 874000 | #Constraints: 28514
2730.59/2738.21 c #Conflicts: 875000 | #Constraints: 29514
2730.59/2738.21 c #Conflicts: 876000 | #Constraints: 30514
2730.59/2738.21 c #Conflicts: 877000 | #Constraints: 31514
2730.59/2738.21 c #Conflicts: 878000 | #Constraints: 32514
2730.59/2738.21 c #Conflicts: 879000 | #Constraints: 33514
2730.59/2738.21 c #Conflicts: 880000 | #Constraints: 34514
2730.59/2738.21 c #Conflicts: 881000 | #Constraints: 35514
2730.59/2738.21 c #Conflicts: 882000 | #Constraints: 36514
2730.59/2738.21 c #Conflicts: 883000 | #Constraints: 37514
2730.59/2738.21 c #Conflicts: 884000 | #Constraints: 38514
2730.59/2738.21 c INPROCESSING
2730.59/2738.21 c GARBAGE COLLECT
2730.59/2738.21 c #Conflicts: 885000 | #Constraints: 20927
2730.59/2738.21 c #Conflicts: 886000 | #Constraints: 21927
2730.59/2738.21 c #Conflicts: 887000 | #Constraints: 22927
2730.59/2738.21 c #Conflicts: 888000 | #Constraints: 23927
2730.59/2738.21 c #Conflicts: 889000 | #Constraints: 24927
2730.59/2738.21 c #Conflicts: 890000 | #Constraints: 25927
2730.59/2738.21 c #Conflicts: 891000 | #Constraints: 26927
2730.59/2738.21 c #Conflicts: 892000 | #Constraints: 27927
2730.59/2738.21 c #Conflicts: 893000 | #Constraints: 28927
2730.59/2738.21 c #Conflicts: 894000 | #Constraints: 29927
2730.59/2738.21 c #Conflicts: 895000 | #Constraints: 30927
2730.59/2738.21 c #Conflicts: 896000 | #Constraints: 31927
2730.59/2738.21 c #Conflicts: 897000 | #Constraints: 32927
2730.59/2738.21 c #Conflicts: 898000 | #Constraints: 33927
2730.59/2738.21 c #Conflicts: 899000 | #Constraints: 34927
2730.59/2738.21 c #Conflicts: 900000 | #Constraints: 35927
2730.59/2738.21 c #Conflicts: 901000 | #Constraints: 36927
2730.59/2738.21 c #Conflicts: 902000 | #Constraints: 37927
2730.59/2738.21 c #Conflicts: 903000 | #Constraints: 38927
2730.59/2738.21 c INPROCESSING
2730.59/2738.21 c GARBAGE COLLECT
2730.59/2738.21 c #Conflicts: 904000 | #Constraints: 21123
2730.59/2738.21 c #Conflicts: 905000 | #Constraints: 22123
2730.59/2738.21 c #Conflicts: 906000 | #Constraints: 23123
2730.59/2738.21 c #Conflicts: 907000 | #Constraints: 24123
2730.59/2738.21 c #Conflicts: 908000 | #Constraints: 25123
2730.59/2738.21 c #Conflicts: 909000 | #Constraints: 26123
2730.59/2738.21 c #Conflicts: 910000 | #Constraints: 27123
2730.59/2738.21 c #Conflicts: 911000 | #Constraints: 28123
2730.59/2738.21 c #Conflicts: 912000 | #Constraints: 29123
2730.59/2738.21 c #Conflicts: 913000 | #Constraints: 30123
2730.59/2738.21 c #Conflicts: 914000 | #Constraints: 31123
2730.59/2738.21 c #Conflicts: 915000 | #Constraints: 32123
2730.59/2738.21 c #Conflicts: 916000 | #Constraints: 33123
2730.59/2738.21 c #Conflicts: 917000 | #Constraints: 34123
2730.59/2738.21 c #Conflicts: 918000 | #Constraints: 35123
2730.59/2738.21 c #Conflicts: 919000 | #Constraints: 36123
2730.59/2738.21 c #Conflicts: 920000 | #Constraints: 37123
2730.59/2738.21 c #Conflicts: 921000 | #Constraints: 38123
2730.59/2738.21 c #Conflicts: 922000 | #Constraints: 39123
2730.59/2738.21 c INPROCESSING
2730.59/2738.21 c GARBAGE COLLECT
2730.59/2738.21 c rational objective 120
2808.29/2816.12 c #Conflicts: 923000 | #Constraints: 21124
2808.29/2816.12 c #Conflicts: 924000 | #Constraints: 22124
2808.29/2816.12 c #Conflicts: 925000 | #Constraints: 23124
2808.29/2816.12 c #Conflicts: 926000 | #Constraints: 24124
2808.29/2816.12 c #Conflicts: 927000 | #Constraints: 25124
2808.29/2816.12 c #Conflicts: 928000 | #Constraints: 26124
2808.29/2816.12 c #Conflicts: 929000 | #Constraints: 27124
2808.29/2816.12 c #Conflicts: 930000 | #Constraints: 28124
2808.29/2816.12 c #Conflicts: 931000 | #Constraints: 29124
2808.29/2816.12 c #Conflicts: 932000 | #Constraints: 30124
2808.29/2816.12 c #Conflicts: 933000 | #Constraints: 31124
2808.29/2816.12 c #Conflicts: 934000 | #Constraints: 32124
2808.29/2816.12 c #Conflicts: 935000 | #Constraints: 33124
2808.29/2816.12 c #Conflicts: 936000 | #Constraints: 34124
2808.29/2816.12 c #Conflicts: 937000 | #Constraints: 35124
2808.29/2816.12 c #Conflicts: 938000 | #Constraints: 36124
2808.29/2816.12 c #Conflicts: 939000 | #Constraints: 37124
2808.29/2816.12 c #Conflicts: 940000 | #Constraints: 38124
2808.29/2816.12 c #Conflicts: 941000 | #Constraints: 39124
2808.29/2816.12 c INPROCESSING
2808.29/2816.12 c GARBAGE COLLECT
2808.29/2816.12 c rational objective 120
3060.37/3069.00 c #Conflicts: 942000 | #Constraints: 20947
3060.37/3069.00 c #Conflicts: 943000 | #Constraints: 21947
3060.37/3069.00 c #Conflicts: 944000 | #Constraints: 22947
3060.37/3069.00 c #Conflicts: 945000 | #Constraints: 23947
3060.37/3069.00 c #Conflicts: 946000 | #Constraints: 24947
3060.37/3069.00 c #Conflicts: 947000 | #Constraints: 25947
3060.37/3069.00 c #Conflicts: 948000 | #Constraints: 26947
3060.37/3069.00 c #Conflicts: 949000 | #Constraints: 27947
3060.37/3069.00 c #Conflicts: 950000 | #Constraints: 28947
3060.37/3069.00 c #Conflicts: 951000 | #Constraints: 29947
3060.37/3069.00 c #Conflicts: 952000 | #Constraints: 30947
3060.37/3069.00 c #Conflicts: 953000 | #Constraints: 31947
3060.37/3069.00 c #Conflicts: 954000 | #Constraints: 32947
3060.37/3069.00 c #Conflicts: 955000 | #Constraints: 33947
3060.37/3069.00 c #Conflicts: 956000 | #Constraints: 34947
3060.37/3069.00 c #Conflicts: 957000 | #Constraints: 35947
3060.37/3069.00 c #Conflicts: 958000 | #Constraints: 36947
3060.37/3069.00 c #Conflicts: 959000 | #Constraints: 37947
3060.37/3069.00 c #Conflicts: 960000 | #Constraints: 38947
3060.37/3069.00 c #Conflicts: 961000 | #Constraints: 39947
3060.37/3069.00 c INPROCESSING
3060.37/3069.00 c GARBAGE COLLECT
3060.37/3069.00 c #Conflicts: 962000 | #Constraints: 21552
3060.37/3069.00 c #Conflicts: 963000 | #Constraints: 22552
3060.37/3069.00 c #Conflicts: 964000 | #Constraints: 23552
3060.37/3069.00 c #Conflicts: 965000 | #Constraints: 24552
3060.37/3069.00 c #Conflicts: 966000 | #Constraints: 25552
3060.37/3069.00 c #Conflicts: 967000 | #Constraints: 26552
3060.37/3069.00 c #Conflicts: 968000 | #Constraints: 27552
3060.37/3069.00 c #Conflicts: 969000 | #Constraints: 28552
3060.37/3069.00 c #Conflicts: 970000 | #Constraints: 29552
3060.37/3069.00 c #Conflicts: 971000 | #Constraints: 30552
3060.37/3069.00 c #Conflicts: 972000 | #Constraints: 31552
3060.37/3069.00 c #Conflicts: 973000 | #Constraints: 32552
3060.37/3069.00 c #Conflicts: 974000 | #Constraints: 33552
3060.37/3069.00 c #Conflicts: 975000 | #Constraints: 34552
3060.37/3069.00 c #Conflicts: 976000 | #Constraints: 35552
3060.37/3069.00 c #Conflicts: 977000 | #Constraints: 36552
3060.37/3069.00 c #Conflicts: 978000 | #Constraints: 37552
3060.37/3069.00 c #Conflicts: 979000 | #Constraints: 38552
3060.37/3069.00 c #Conflicts: 980000 | #Constraints: 39552
3060.37/3069.00 c #Conflicts: 981000 | #Constraints: 40552
3060.37/3069.00 c INPROCESSING
3060.37/3069.00 c GARBAGE COLLECT
3060.37/3069.00 c #Conflicts: 982000 | #Constraints: 21964
3060.37/3069.00 c #Conflicts: 983000 | #Constraints: 22964
3060.37/3069.00 c #Conflicts: 984000 | #Constraints: 23964
3060.37/3069.00 c #Conflicts: 985000 | #Constraints: 24964
3060.37/3069.00 c #Conflicts: 986000 | #Constraints: 25964
3060.37/3069.00 c #Conflicts: 987000 | #Constraints: 26964
3060.37/3069.00 c #Conflicts: 988000 | #Constraints: 27964
3060.37/3069.00 c #Conflicts: 989000 | #Constraints: 28964
3060.37/3069.00 c #Conflicts: 990000 | #Constraints: 29964
3060.37/3069.00 c #Conflicts: 991000 | #Constraints: 30964
3060.37/3069.00 c #Conflicts: 992000 | #Constraints: 31964
3060.37/3069.00 c #Conflicts: 993000 | #Constraints: 32964
3060.37/3069.00 c #Conflicts: 994000 | #Constraints: 33964
3060.37/3069.00 c #Conflicts: 995000 | #Constraints: 34964
3060.37/3069.00 c #Conflicts: 996000 | #Constraints: 35964
3060.37/3069.00 c #Conflicts: 997000 | #Constraints: 36964
3060.37/3069.00 c #Conflicts: 998000 | #Constraints: 37964
3060.37/3069.00 c #Conflicts: 999000 | #Constraints: 38964
3060.37/3069.00 c #Conflicts: 1000000 | #Constraints: 39964
3060.37/3069.00 c #Conflicts: 1001000 | #Constraints: 40964
3060.37/3069.00 c INPROCESSING
3060.37/3069.00 c GARBAGE COLLECT
3060.37/3069.00 c rational objective 120
3154.64/3163.40 c #Conflicts: 1002000 | #Constraints: 22175
3154.64/3163.40 c #Conflicts: 1003000 | #Constraints: 23175
3154.64/3163.40 c #Conflicts: 1004000 | #Constraints: 24175
3154.64/3163.40 c #Conflicts: 1005000 | #Constraints: 25175
3154.64/3163.40 c #Conflicts: 1006000 | #Constraints: 26175
3154.64/3163.40 c #Conflicts: 1007000 | #Constraints: 27175
3154.64/3163.40 c #Conflicts: 1008000 | #Constraints: 28175
3154.64/3163.40 c #Conflicts: 1009000 | #Constraints: 29175
3154.64/3163.40 c #Conflicts: 1010000 | #Constraints: 30175
3154.64/3163.40 c #Conflicts: 1011000 | #Constraints: 31175
3154.64/3163.40 c #Conflicts: 1012000 | #Constraints: 32175
3154.64/3163.40 c #Conflicts: 1013000 | #Constraints: 33175
3154.64/3163.40 c #Conflicts: 1014000 | #Constraints: 34175
3154.64/3163.40 c #Conflicts: 1015000 | #Constraints: 35175
3154.64/3163.40 c #Conflicts: 1016000 | #Constraints: 36175
3154.64/3163.40 c #Conflicts: 1017000 | #Constraints: 37175
3154.64/3163.40 c #Conflicts: 1018000 | #Constraints: 38175
3154.64/3163.40 c #Conflicts: 1019000 | #Constraints: 39175
3154.64/3163.40 c #Conflicts: 1020000 | #Constraints: 40175
3154.64/3163.40 c #Conflicts: 1021000 | #Constraints: 41175
3154.64/3163.40 c INPROCESSING
3154.64/3163.40 c GARBAGE COLLECT
3154.64/3163.40 c rational objective 120
3547.53/3557.35 c #Conflicts: 1022000 | #Constraints: 22186
3547.53/3557.35 c #Conflicts: 1023000 | #Constraints: 23186
3547.53/3557.35 c #Conflicts: 1024000 | #Constraints: 24186
3547.53/3557.35 c #Conflicts: 1025000 | #Constraints: 25186
3547.53/3557.35 c #Conflicts: 1026000 | #Constraints: 26186
3547.53/3557.35 c #Conflicts: 1027000 | #Constraints: 27186
3547.53/3557.35 c #Conflicts: 1028000 | #Constraints: 28186
3547.53/3557.35 c #Conflicts: 1029000 | #Constraints: 29186
3547.53/3557.35 c #Conflicts: 1030000 | #Constraints: 30186
3547.53/3557.35 c #Conflicts: 1031000 | #Constraints: 31186
3547.53/3557.35 c #Conflicts: 1032000 | #Constraints: 32186
3547.53/3557.35 c #Conflicts: 1033000 | #Constraints: 33186
3547.53/3557.35 c #Conflicts: 1034000 | #Constraints: 34186
3547.53/3557.35 c #Conflicts: 1035000 | #Constraints: 35186
3547.53/3557.35 c #Conflicts: 1036000 | #Constraints: 36186
3547.53/3557.35 c #Conflicts: 1037000 | #Constraints: 37186
3547.53/3557.35 c #Conflicts: 1038000 | #Constraints: 38186
3547.53/3557.35 c #Conflicts: 1039000 | #Constraints: 39186
3547.53/3557.35 c #Conflicts: 1040000 | #Constraints: 40186
3547.53/3557.35 c #Conflicts: 1041000 | #Constraints: 41186
3547.53/3557.35 c INPROCESSING
3547.53/3557.35 c GARBAGE COLLECT
3547.53/3557.35 c #Conflicts: 1042000 | #Constraints: 22001
3547.53/3557.35 c #Conflicts: 1043000 | #Constraints: 23001
3547.53/3557.35 c #Conflicts: 1044000 | #Constraints: 24001
3547.53/3557.35 c #Conflicts: 1045000 | #Constraints: 25001
3547.53/3557.35 c #Conflicts: 1046000 | #Constraints: 26001
3547.53/3557.35 c #Conflicts: 1047000 | #Constraints: 27001
3547.53/3557.35 c #Conflicts: 1048000 | #Constraints: 28001
3547.53/3557.35 c #Conflicts: 1049000 | #Constraints: 29001
3547.53/3557.35 c #Conflicts: 1050000 | #Constraints: 30001
3547.53/3557.35 c #Conflicts: 1051000 | #Constraints: 31001
3547.53/3557.35 c #Conflicts: 1052000 | #Constraints: 32001
3547.53/3557.35 c #Conflicts: 1053000 | #Constraints: 33001
3547.53/3557.35 c #Conflicts: 1054000 | #Constraints: 34001
3547.53/3557.35 c #Conflicts: 1055000 | #Constraints: 35001
3547.53/3557.35 c #Conflicts: 1056000 | #Constraints: 36001
3547.53/3557.35 c #Conflicts: 1057000 | #Constraints: 37001
3547.53/3557.35 c #Conflicts: 1058000 | #Constraints: 38001
3547.53/3557.35 c #Conflicts: 1059000 | #Constraints: 39001
3547.53/3557.35 c #Conflicts: 1060000 | #Constraints: 40001
3547.53/3557.35 c #Conflicts: 1061000 | #Constraints: 41001
3547.53/3557.35 c #Conflicts: 1062000 | #Constraints: 42001
3547.53/3557.35 c INPROCESSING
3547.53/3557.35 c GARBAGE COLLECT
3547.53/3557.35 c #Conflicts: 1063000 | #Constraints: 22606
3547.53/3557.35 c #Conflicts: 1064000 | #Constraints: 23606
3547.53/3557.35 c #Conflicts: 1065000 | #Constraints: 24606
3547.53/3557.35 c #Conflicts: 1066000 | #Constraints: 25606
3547.53/3557.35 c #Conflicts: 1067000 | #Constraints: 26606
3547.53/3557.35 c #Conflicts: 1068000 | #Constraints: 27606
3547.53/3557.35 c #Conflicts: 1069000 | #Constraints: 28606
3547.53/3557.35 c #Conflicts: 1070000 | #Constraints: 29606
3547.53/3557.35 c #Conflicts: 1071000 | #Constraints: 30606
3547.53/3557.35 c #Conflicts: 1072000 | #Constraints: 31606
3547.53/3557.35 c #Conflicts: 1073000 | #Constraints: 32606
3547.53/3557.35 c #Conflicts: 1074000 | #Constraints: 33606
3547.53/3557.35 c #Conflicts: 1075000 | #Constraints: 34606
3547.53/3557.35 c #Conflicts: 1076000 | #Constraints: 35606
3547.53/3557.35 c #Conflicts: 1077000 | #Constraints: 36606
3547.53/3557.35 c #Conflicts: 1078000 | #Constraints: 37606
3547.53/3557.35 c #Conflicts: 1079000 | #Constraints: 38606
3547.53/3557.35 c #Conflicts: 1080000 | #Constraints: 39606
3547.53/3557.35 c #Conflicts: 1081000 | #Constraints: 40606
3547.53/3557.35 c #Conflicts: 1082000 | #Constraints: 41606
3547.53/3557.35 c #Conflicts: 1083000 | #Constraints: 42606
3547.53/3557.35 c INPROCESSING
3547.53/3557.35 c GARBAGE COLLECT
3547.53/3557.35 c #Conflicts: 1084000 | #Constraints: 23003
3547.53/3557.35 c #Conflicts: 1085000 | #Constraints: 24003
3547.53/3557.35 c #Conflicts: 1086000 | #Constraints: 25003
3547.53/3557.35 c #Conflicts: 1087000 | #Constraints: 26003
3547.53/3557.35 c #Conflicts: 1088000 | #Constraints: 27003
3547.53/3557.35 c #Conflicts: 1089000 | #Constraints: 28003
3547.53/3557.35 c #Conflicts: 1090000 | #Constraints: 29003
3547.53/3557.35 c #Conflicts: 1091000 | #Constraints: 30003
3547.53/3557.35 c #Conflicts: 1092000 | #Constraints: 31003
3547.53/3557.35 c #Conflicts: 1093000 | #Constraints: 32003
3547.53/3557.35 c #Conflicts: 1094000 | #Constraints: 33003
3547.53/3557.35 c #Conflicts: 1095000 | #Constraints: 34003
3547.53/3557.35 c #Conflicts: 1096000 | #Constraints: 35003
3547.53/3557.35 c #Conflicts: 1097000 | #Constraints: 36003
3547.53/3557.35 c #Conflicts: 1098000 | #Constraints: 37003
3600.10/3610.01 c #Conflicts: 1099000 | #Constraints: 38003
3600.10/3610.01 c #Conflicts: 1100000 | #Constraints: 39003
3600.10/3610.01 c #Conflicts: 1101000 | #Constraints: 40003
3600.10/3610.01 c #Conflicts: 1102000 | #Constraints: 41003
3600.10/3610.01 c #Conflicts: 1103000 | #Constraints: 42003
3600.10/3610.01 c #Conflicts: 1104000 | #Constraints: 43003
3600.10/3610.01 c INPROCESSING
3600.10/3610.01 c GARBAGE COLLECT
3600.10/3610.01 c #Conflicts: 1105000 | #Constraints: 23197
3600.10/3610.01 c #Conflicts: 1106000 | #Constraints: 24197
3600.10/3610.01 c #Conflicts: 1107000 | #Constraints: 25197
3600.10/3610.01 c #Conflicts: 1108000 | #Constraints: 26197
3600.10/3610.01 c #Conflicts: 1109000 | #Constraints: 27197
3600.10/3610.01 c cpu time 3574.13 s
3600.10/3610.01 c deterministic time 383308745134 3.83e+11
3600.10/3610.01 c optimization time 17.9786 s
3600.10/3610.01 c total solve time 3556.01 s
3600.10/3610.01 c core-guided solve time 0 s
3600.10/3610.01 c propagation time 1995.57 s
3600.10/3610.01 c conflict analysis time 1293.72 s
3600.10/3610.01 c propagations 270118741
3600.10/3610.01 c resolve steps 13609843
3600.10/3610.01 c decisions 8761133
3600.10/3610.01 c conflicts 1109736
3600.10/3610.01 c restarts 2046
3600.10/3610.01 c inprocessing phases 96
3600.10/3610.01 c garbage collections 96 ,( 100.00 )
3600.10/3610.01 c input clauses 480 ,( 44.12 )
3600.10/3610.01 c input cardinalities 608 ,( 55.88 )
3600.10/3610.01 c input general constraints 0 ,( 0.00 )
3600.10/3610.01 c input average constraint length 132.35
3600.10/3610.01 c input average constraint degree 79.18
3600.10/3610.01 c learned clauses 157359 ,( 14.18 )
3600.10/3610.01 c learned cardinalities 47102 ,( 4.24 )
3600.10/3610.01 c learned general constraints 905292 ,( 81.58 )
3600.10/3610.01 c learned average constraint length 1964.58
3600.10/3610.01 c learned average constraint degree 7174219.65
3600.10/3610.01 c watched CF 32, 64, 128, Arb: 480205 , 0 , 0 , 0
3600.10/3610.01 c counting CF 32, 64, 128, Arb: 425087 , 0 , 0 , 0
3600.10/3610.01 c watched constraints 480205 ,( 53.04 )
3600.10/3610.01 c counting constraints 425087 ,( 46.96 )
3600.10/3610.01 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 75670960 , 1090700102 , 895796384 ,( 248202735 , 647593649 )
3600.10/3610.01 c gcd simplifications 107
3600.10/3610.01 c detected cardinalities 0
3600.10/3610.01 c weakened non-implied lits 1669591981
3600.10/3610.01 c weakened non-implying lits 597182
3600.10/3610.01 c original variables 14400
3600.10/3610.01 c clausal propagations 1580936
3600.10/3610.01 c cardinality propagations 198494770
3600.10/3610.01 c watched propagations 6671465
3600.10/3610.01 c counting propagations 58615780
3600.10/3610.01 c watch lookups 45270641256
3600.10/3610.01 c watch backjump lookups 0
3600.10/3610.01 c watch checks 106958775081
3600.10/3610.01 c propagation checks 223029225203
3600.10/3610.01 c constraint additions 7491004046
3600.10/3610.01 c trail pops 279975533
3600.10/3610.01 c formula constraints 1088
3600.10/3610.01 c learned constraints 1109729
3600.10/3610.01 c bound constraints 0
3600.10/3610.01 c core-guided constraints 0
3600.10/3610.01 c encountered formula constraints 4682287
3600.10/3610.01 c encountered learned constraints 10037257
3600.10/3610.01 c encountered bound constraints 0
3600.10/3610.01 c encountered core-guided constraints 0
3600.10/3610.01 c LP total time 169.631 s
3600.10/3610.01 c LP solve time 110.94 s
3600.10/3610.01 c LP constraints added 1105
3600.10/3610.01 c LP constraints removed 15
3600.10/3610.01 c LP pivots internal 112180
3600.10/3610.01 c LP pivots root 131960
3600.10/3610.01 c LP calls 31
3600.10/3610.01 c LP optimalities 19
3600.10/3610.01 c LP no pivot count 4
3600.10/3610.01 c LP infeasibilities 6
3600.10/3610.01 c LP valid Farkas constraints 6
3600.10/3610.01 c LP learned Farkas constraints 6
3600.10/3610.01 c LP basis resets 0
3600.10/3610.01 c LP cycling count 0
3600.10/3610.01 c LP singular count 0
3600.10/3610.01 c LP no primal count 0
3600.10/3610.01 c LP no farkas count 0
3600.10/3610.01 c LP other issue count 0
3600.10/3610.01 c LP Gomory cuts 12
3600.10/3610.01 c LP learned cuts 5
3600.10/3610.01 c LP deleted cuts 15
3600.10/3610.01 c LP encountered Gomory constraints 0
3600.10/3610.01 c LP encountered Farkas constraints 22
3600.10/3610.01 c LP encountered learned Farkas constraints 7
3600.10/3610.01 c CG auxiliary variables introduced 0
3600.10/3610.01 c CG solutions found 0
3600.10/3610.01 c CG cores constructed 0
3600.10/3610.01 c CG core cardinality constraints returned 0
3600.10/3610.01 c CG unit cores 0
3600.10/3610.01 c CG single cores 0
3600.10/3610.01 c CG blocks removed during cardinality reduction 0
3600.10/3610.01 c CG first core best 0
3600.10/3610.01 c CG decision core best 0
3600.10/3610.01 c CG core reduction tie 0
3600.10/3610.01 c CG core degree average 0.00
3600.10/3610.01 c CG core slack average 0.00
3600.10/3610.01 c CG core upper bound improvements 0
3600.10/3610.01 c STR number of successful calls 0
3600.10/3610.01 c STR number of unsuccessful calls 0
3600.10/3610.01 c STR number of inconclusive calls 0
3600.10/3610.01 c STR number of successful attempts 0
3600.10/3610.01 c STR number of unsuccessful attempts 0
3600.10/3610.01 c STR number of inconclusive attempts 0
3600.10/3610.01 c STR average degree increase per successful call inf
3600.10/3610.01 c STR average degree increase per successful attempt inf
3600.10/3610.01 c STR total number of conflicts for successful attempts 0
3600.10/3610.01 c STR total number of conflicts for unsuccessful attempts 0
3600.10/3610.01 c STR total number of conflicts for inconclusive attempts 0
3600.10/3610.01 c STR average number of conflicts per successful attempt inf
3600.10/3610.01 c STR average number of conflicts per unsuccessful attempt inf
3600.10/3610.01 c STR average number of conflicts per inconclusive attempt inf
3600.10/3610.01 c AVG.sumWPerc 40.22
3600.10/3610.01 c bigint constraints 0
3600.10/3610.01 s UNKNOWN
3600.10/3610.01 c Program interrupted by user.
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: 63794 MiB (63038 MiB free)
memory of node 1: 64507 MiB (63657 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493445-1751146626/watcher-4493445-1751146626 -o /tmp/evaluation-result-4493445-1751146626/solver-4493445-1751146626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751146607-15941 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4493445-1751146626.opb PROOFDIR/proof-4493445-1751146626
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
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
solver pid=16329, runsolver pid=16326
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 2.03 2.19 3.11 5/257 16331
/proc/meminfo: memFree=129736476/131382112 swapFree=33010684/33010684
[pid=16329] ppid=16326 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/16329/stat : 16329 (run-dec-log.sh) S 16326 16329 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30342420 4292608 768 18446744073709551615 94208449781760 94208450676293 140721948508960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94208450915344 94208450963088 94208454365184 140721948510497 140721948510692 140721948510692 140721948516294 0
/proc/16329/statm: 1048 768 704 219 0 110 0
[pid=16331] ppid=16329 vsize=58828 memory=14004 CPUtime=0.08 cores=4,6
/proc/16331/stat : 16331 (roundingsat) R 16329 16329 15930 0 -1 4194304 1260 0 0 0 8 0 0 0 20 0 1 0 30342421 60239872 3501 18446744073709551615 4227072 8923433 140733299269680 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 20635648 140733299276135 140733299276328 140733299276328 140733299281898 0
/proc/16331/statm: 14707 3501 1920 1147 0 2134 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 63020 KiB
Current children cumulated memory: 17076 KiB
[startup+0.218552 s]*
/proc/loadavg: 2.03 2.19 3.11 5/257 16331
/proc/meminfo: memFree=129721104/131382112 swapFree=33010684/33010684
[pid=16329] ppid=16326 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/16329/stat : 16329 (run-dec-log.sh) S 16326 16329 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30342420 4292608 768 18446744073709551615 94208449781760 94208450676293 140721948508960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94208450915344 94208450963088 94208454365184 140721948510497 140721948510692 140721948510692 140721948516294 0
/proc/16329/statm: 1048 768 704 219 0 110 0
[pid=16331] ppid=16329 vsize=73196 memory=29120 CPUtime=0.19 cores=4,6
/proc/16331/stat : 16331 (roundingsat) R 16329 16329 15930 0 -1 4194304 7596 0 0 0 17 2 0 0 20 0 1 0 30342421 74952704 7280 18446744073709551615 4227072 8923433 140733299269680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20635648 140733299276135 140733299276328 140733299276328 140733299281898 0
/proc/16331/statm: 18299 7280 2240 1147 0 5726 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 77388 KiB
Current children cumulated memory: 32192 KiB
[startup+0.313367 s]*
/proc/loadavg: 2.03 2.19 3.11 5/257 16331
/proc/meminfo: memFree=129721104/131382112 swapFree=33010684/33010684
[pid=16329] ppid=16326 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/16329/stat : 16329 (run-dec-log.sh) S 16326 16329 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30342420 4292608 768 18446744073709551615 94208449781760 94208450676293 140721948508960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94208450915344 94208450963088 94208454365184 140721948510497 140721948510692 140721948510692 140721948516294 0
/proc/16329/statm: 1048 768 704 219 0 110 0
[pid=16331] ppid=16329 vsize=73368 memory=29376 CPUtime=0.29 cores=4,6
/proc/16331/stat : 16331 (roundingsat) R 16329 16329 15930 0 -1 4194304 7666 0 0 0 26 3 0 0 20 0 1 0 30342421 75128832 7344 18446744073709551615 4227072 8923433 140733299269680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20635648 140733299276135 140733299276328 140733299276328 140733299281898 0
/proc/16331/statm: 18342 7344 2240 1147 0 5769 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 77560 KiB
Current children cumulated memory: 32448 KiB
[startup+0.700367 s]
/proc/loadavg: 2.03 2.19 3.11 6/257 16332
/proc/meminfo: memFree=129716760/131382112 swapFree=33010684/33010684
[pid=16329] ppid=16326 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/16329/stat : 16329 (run-dec-log.sh) S 16326 16329 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30342420 4292608 768 18446744073709551615 94208449781760 94208450676293 140721948508960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94208450915344 94208450963088 94208454365184 140721948510497 140721948510692 140721948510692 140721948516294 0
/proc/16329/statm: 1048 768 704 219 0 110 0
[pid=16331] ppid=16329 vsize=73868 memory=29760 CPUtime=0.66 cores=4,6
/proc/16331/stat : 16331 (roundingsat) R 16329 16329 15930 0 -1 4194304 7760 0 0 0 63 3 0 0 20 0 1 0 30342421 75640832 7440 18446744073709551615 4227072 8923433 140733299269680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20635648 140733299276135 140733299276328 140733299276328 140733299281898 0
/proc/16331/statm: 18467 7440 2240 1147 0 5894 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 78060 KiB
Current children cumulated memory: 32832 KiB
[startup+1.50036 s]
/proc/loadavg: 2.03 2.19 3.11 5/257 16332
/proc/meminfo: memFree=129715232/131382112 swapFree=33010684/33010684
[pid=16329] ppid=16326 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/16329/stat : 16329 (run-dec-log.sh) S 16326 16329 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30342420 4292608 768 18446744073709551615 94208449781760 94208450676293 140721948508960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94208450915344 94208450963088 94208454365184 140721948510497 140721948510692 140721948510692 140721948516294 0
/proc/16329/statm: 1048 768 704 219 0 110 0
[pid=16331] ppid=16329 vsize=74732 memory=30400 CPUtime=1.45 cores=4,6
/proc/16331/stat : 16331 (roundingsat) R 16329 16329 15930 0 -1 4194304 7940 0 0 0 142 3 0 0 20 0 1 0 30342421 76525568 7600 18446744073709551615 4227072 8923433 140733299269680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20635648 140733299276135 140733299276328 140733299276328 140733299281898 0
/proc/16331/statm: 18683 7600 2240 1147 0 6110 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 78924 KiB
Current children cumulated memory: 33472 KiB
[startup+3.11302 s]
/proc/loadavg: 2.19 2.22 3.11 5/257 16332
/proc/meminfo: memFree=129722964/131382112 swapFree=33010684/33010684
[pid=16329] ppid=16326 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/16329/stat : 16329 (run-dec-log.sh) S 16326 16329 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30342420 4292608 768 18446744073709551615 94208449781760 94208450676293 140721948508960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94208450915344 94208450963088 94208454365184 140721948510497 140721948510692 140721948510692 140721948516294 0
/proc/16329/statm: 1048 768 704 219 0 110 0
[pid=16331] ppid=16329 vsize=84316 memory=40668 CPUtime=3.06 cores=4,6
/proc/16331/stat : 16331 (roundingsat) R 16329 16329 15930 0 -1 4194304 9931 0 0 0 299 7 0 0 20 0 1 0 30342421 86339584 10167 18446744073709551615 4227072 8923433 140733299269680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20635648 140733299276135 140733299276328 140733299276328 140733299281898 0
/proc/16331/statm: 21079 10167 2304 1147 0 8506 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 88508 KiB
Current children cumulated memory: 43740 KiB
[startup+6.30037 s]
/proc/loadavg: 2.19 2.22 3.11 5/257 16332
/proc/meminfo: memFree=129649224/131382112 swapFree=33010684/33010684
[pid=16329] ppid=16326 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/16329/stat : 16329 (run-dec-log.sh) S 16326 16329 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30342420 4292608 768 18446744073709551615 94208449781760 94208450676293 140721948508960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94208450915344 94208450963088 94208454365184 140721948510497 140721948510692 140721948510692 140721948516294 0
/proc/16329/statm: 1048 768 704 219 0 110 0
[pid=16331] ppid=16329 vsize=118492 memory=76420 CPUtime=6.24 cores=4,6
/proc/16331/stat : 16331 (roundingsat) R 16329 16329 15930 0 -1 4194304 16830 0 0 0 608 16 0 0 20 0 1 0 30342421 121335808 19105 18446744073709551615 4227072 8923433 140733299269680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20635648 140733299276135 140733299276328 140733299276328 140733299281898 0
/proc/16331/statm: 29623 19105 2304 1147 0 17050 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 122684 KiB
Current children cumulated memory: 79492 KiB
[startup+12.7004 s]
/proc/loadavg: 2.47 2.28 3.12 5/257 16332
/proc/meminfo: memFree=129487392/131382112 swapFree=33010684/33010684
[pid=16329] ppid=16326 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/16329/stat : 16329 (run-dec-log.sh) S 16326 16329 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30342420 4292608 768 18446744073709551615 94208449781760 94208450676293 140721948508960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94208450915344 94208450963088 94208454365184 140721948510497 140721948510692 140721948510692 140721948516294 0
/proc/16329/statm: 1048 768 704 219 0 110 0
[pid=16331] ppid=16329 vsize=146820 memory=98592 CPUtime=12.62 cores=4,6
/proc/16331/stat : 16331 (roundingsat) R 16329 16329 15930 0 -1 4194304 21365 0 0 0 1233 29 0 0 20 0 1 0 30342421 150343680 24648 18446744073709551615 4227072 8923433 140733299269680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20635648 140733299276135 140733299276328 140733299276328 140733299281898 0
/proc/16331/statm: 36705 24648 2304 1147 0 24132 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 151012 KiB
Current children cumulated memory: 101664 KiB
[startup+25.5004 s]
/proc/loadavg: 2.70 2.33 3.13 5/258 16333
/proc/meminfo: memFree=129263044/131382112 swapFree=33010684/33010684
[pid=16329] ppid=16326 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/16329/stat : 16329 (run-dec-log.sh) S 16326 16329 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30342420 4292608 768 18446744073709551615 94208449781760 94208450676293 140721948508960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94208450915344 94208450963088 94208454365184 140721948510497 140721948510692 140721948510692 140721948516294 0
/proc/16329/statm: 1048 768 704 219 0 110 0
[pid=16331] ppid=16329 vsize=179768 memory=125004 CPUtime=25.39 cores=4,6
/proc/16331/stat : 16331 (roundingsat) R 16329 16329 15930 0 -1 4194304 24893 0 0 0 2495 44 0 0 20 0 1 0 30342421 184082432 31251 18446744073709551615 4227072 8923433 140733299269680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20635648 140733299276135 140733299276328 140733299276328 140733299281898 0
/proc/16331/statm: 44942 31251 2304 1147 0 32369 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 183960 KiB
Current children cumulated memory: 128076 KiB
[startup+51.1131 s]
/proc/loadavg: 3.21 2.49 3.16 5/259 16334
/proc/meminfo: memFree=128721308/131382112 swapFree=33010684/33010684
[pid=16329] ppid=16326 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/16329/stat : 16329 (run-dec-log.sh) S 16326 16329 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30342420 4292608 768 18446744073709551615 94208449781760 94208450676293 140721948508960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94208450915344 94208450963088 94208454365184 140721948510497 140721948510692 140721948510692 140721948516294 0
/proc/16329/statm: 1048 768 704 219 0 110 0
[pid=16331] ppid=16329 vsize=239980 memory=176932 CPUtime=50.93 cores=4,6
/proc/16331/stat : 16331 (roundingsat) R 16329 16329 15930 0 -1 4194304 32739 0 0 0 5009 84 0 0 20 0 1 0 30342421 245739520 44233 18446744073709551615 4227072 8923433 140733299269680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20635648 140733299276135 140733299276328 140733299276328 140733299281898 0
/proc/16331/statm: 59995 44233 2336 1147 0 47422 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 244172 KiB
Current children cumulated memory: 180004 KiB
[startup+102.3 s]
/proc/loadavg: 3.74 2.76 3.22 5/263 16344
/proc/meminfo: memFree=127849888/131382112 swapFree=33010684/33010684
[pid=16329] ppid=16326 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/16329/stat : 16329 (run-dec-log.sh) S 16326 16329 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30342420 4292608 768 18446744073709551615 94208449781760 94208450676293 140721948508960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94208450915344 94208450963088 94208454365184 140721948510497 140721948510692 140721948510692 140721948516294 0
/proc/16329/statm: 1048 768 704 219 0 110 0
[pid=16331] ppid=16329 vsize=273796 memory=214824 CPUtime=101.97 cores=4,6
/proc/16331/stat : 16331 (roundingsat) R 16329 16329 15930 0 -1 4194304 41177 0 0 0 10051 146 0 0 20 0 1 0 30342421 280367104 53706 18446744073709551615 4227072 8923433 140733299269680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20635648 140733299276135 140733299276328 140733299276328 140733299281898 0
/proc/16331/statm: 68449 53706 2336 1147 0 55876 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 277988 KiB
Current children cumulated memory: 217896 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 3.03 3.29 5/263 16346
/proc/meminfo: memFree=126701884/131382112 swapFree=33010684/33010684
[pid=16329] ppid=16326 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/16329/stat : 16329 (run-dec-log.sh) S 16326 16329 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30342420 4292608 768 18446744073709551615 94208449781760 94208450676293 140721948508960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94208450915344 94208450963088 94208454365184 140721948510497 140721948510692 140721948510692 140721948516294 0
/proc/16329/statm: 1048 768 704 219 0 110 0
[pid=16331] ppid=16329 vsize=376752 memory=307476 CPUtime=161.78 cores=4,6
/proc/16331/stat : 16331 (roundingsat) R 16329 16329 15930 0 -1 4194304 54655 0 0 0 15973 205 0 0 20 0 1 0 30342421 385794048 76869 18446744073709551615 4227072 8923433 140733299269680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20635648 140733299276135 140733299276328 140733299276328 140733299281898 0
/proc/16331/statm: 94188 76869 2336 1147 0 81615 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 380944 KiB
Current children cumulated memory: 310548 KiB
[startup+222.3 s]
/proc/loadavg: 4.32 3.28 3.35 5/263 16348
/proc/meminfo: memFree=125700888/131382112 swapFree=33010684/33010684
[pid=16329] ppid=16326 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/16329/stat : 16329 (run-dec-log.sh) S 16326 16329 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30342420 4292608 768 18446744073709551615 94208449781760 94208450676293 140721948508960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94208450915344 94208450963088 94208454365184 140721948510497 140721948510692 140721948510692 140721948516294 0
/proc/16329/statm: 1048 768 704 219 0 110 0
[pid=16331] ppid=16329 vsize=399368 memory=330004 CPUtime=221.6 cores=4,6
/proc/16331/stat : 16331 (roundingsat) R 16329 16329 15930 0 -1 4194304 60305 0 0 0 21899 261 0 0 20 0 1 0 30342421 408952832 82501 18446744073709551615 4227072 8923433 140733299269680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20635648 140733299276135 140733299276328 140733299276328 140733299281898 0
/proc/16331/statm: 99842 82501 2336 1147 0 87269 0
################
# More data... #
################
/proc/16329/stat : 16329 (run-dec-log.sh) S 16326 16329 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30342420 4292608 768 18446744073709551615 94208449781760 94208450676293 140721948508960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94208450915344 94208450963088 94208454365184 140721948510497 140721948510692 140721948510692 140721948516294 0
/proc/16329/statm: 1048 768 704 219 0 110 0
[pid=16331] ppid=16329 vsize=1492504 memory=1334612 CPUtime=3153.54 cores=4,6
/proc/16331/stat : 16331 (roundingsat) R 16329 16329 15930 0 -1 4194304 223515 0 0 0 312976 2378 0 0 20 0 1 0 30342421 1528324096 333653 18446744073709551615 4227072 8923433 140733299269680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20635648 140733299276135 140733299276328 140733299276328 140733299281898 0
/proc/16331/statm: 373126 333653 2336 1147 0 360553 0
Current children cumulated CPU time: 3153.54 s
Current children cumulated vsize: 1496696 KiB
Current children cumulated memory: 1337684 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.15 4.12 5/259 16547
/proc/meminfo: memFree=85098792/131382112 swapFree=33010684/33010684
[pid=16329] ppid=16326 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/16329/stat : 16329 (run-dec-log.sh) S 16326 16329 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30342420 4292608 768 18446744073709551615 94208449781760 94208450676293 140721948508960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94208450915344 94208450963088 94208454365184 140721948510497 140721948510692 140721948510692 140721948516294 0
/proc/16329/statm: 1048 768 704 219 0 110 0
[pid=16331] ppid=16329 vsize=1498500 memory=1341012 CPUtime=3213.39 cores=4,6
/proc/16331/stat : 16331 (roundingsat) R 16329 16329 15930 0 -1 4194304 225123 0 0 0 318925 2414 0 0 20 0 1 0 30342421 1534464000 335253 18446744073709551615 4227072 8923433 140733299269680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20635648 140733299276135 140733299276328 140733299276328 140733299281898 0
/proc/16331/statm: 374625 335253 2336 1147 0 362052 0
Current children cumulated CPU time: 3213.39 s
Current children cumulated vsize: 1502692 KiB
Current children cumulated memory: 1344084 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.15 4.12 5/259 16549
/proc/meminfo: memFree=84477400/131382112 swapFree=33010684/33010684
[pid=16329] ppid=16326 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/16329/stat : 16329 (run-dec-log.sh) S 16326 16329 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30342420 4292608 768 18446744073709551615 94208449781760 94208450676293 140721948508960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94208450915344 94208450963088 94208454365184 140721948510497 140721948510692 140721948510692 140721948516294 0
/proc/16329/statm: 1048 768 704 219 0 110 0
[pid=16331] ppid=16329 vsize=1543540 memory=1383252 CPUtime=3273.24 cores=4,6
/proc/16331/stat : 16331 (roundingsat) R 16329 16329 15930 0 -1 4194304 235745 0 0 0 324887 2437 0 0 20 0 1 0 30342421 1580584960 345813 18446744073709551615 4227072 8923433 140733299269680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20635648 140733299276135 140733299276328 140733299276328 140733299281898 0
/proc/16331/statm: 385885 345813 2336 1147 0 373312 0
Current children cumulated CPU time: 3273.24 s
Current children cumulated vsize: 1547732 KiB
Current children cumulated memory: 1386324 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.15 4.12 5/259 16551
/proc/meminfo: memFree=83784640/131382112 swapFree=33010684/33010684
[pid=16329] ppid=16326 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/16329/stat : 16329 (run-dec-log.sh) S 16326 16329 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30342420 4292608 768 18446744073709551615 94208449781760 94208450676293 140721948508960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94208450915344 94208450963088 94208454365184 140721948510497 140721948510692 140721948510692 140721948516294 0
/proc/16329/statm: 1048 768 704 219 0 110 0
[pid=16331] ppid=16329 vsize=1549940 memory=1389652 CPUtime=3333.09 cores=4,6
/proc/16331/stat : 16331 (roundingsat) R 16329 16329 15930 0 -1 4194304 237356 0 0 0 330842 2467 0 0 20 0 1 0 30342421 1587138560 347413 18446744073709551615 4227072 8923433 140733299269680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20635648 140733299276135 140733299276328 140733299276328 140733299281898 0
/proc/16331/statm: 387485 347413 2336 1147 0 374912 0
Current children cumulated CPU time: 3333.09 s
Current children cumulated vsize: 1554132 KiB
Current children cumulated memory: 1392724 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/259 16554
/proc/meminfo: memFree=83003708/131382112 swapFree=33010684/33010684
[pid=16329] ppid=16326 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/16329/stat : 16329 (run-dec-log.sh) S 16326 16329 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30342420 4292608 768 18446744073709551615 94208449781760 94208450676293 140721948508960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94208450915344 94208450963088 94208454365184 140721948510497 140721948510692 140721948510692 140721948516294 0
/proc/16329/statm: 1048 768 704 219 0 110 0
[pid=16331] ppid=16329 vsize=1579884 memory=1417300 CPUtime=3392.93 cores=4,6
/proc/16331/stat : 16331 (roundingsat) R 16329 16329 15930 0 -1 4194304 244264 0 0 0 336791 2502 0 0 20 0 1 0 30342421 1617801216 354325 18446744073709551615 4227072 8923433 140733299269680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20635648 140733299276135 140733299276328 140733299276328 140733299281898 0
/proc/16331/statm: 394971 354325 2336 1147 0 382398 0
Current children cumulated CPU time: 3392.93 s
Current children cumulated vsize: 1584076 KiB
Current children cumulated memory: 1420372 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/259 16556
/proc/meminfo: memFree=82310968/131382112 swapFree=33010684/33010684
[pid=16329] ppid=16326 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/16329/stat : 16329 (run-dec-log.sh) S 16326 16329 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30342420 4292608 768 18446744073709551615 94208449781760 94208450676293 140721948508960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94208450915344 94208450963088 94208454365184 140721948510497 140721948510692 140721948510692 140721948516294 0
/proc/16329/statm: 1048 768 704 219 0 110 0
[pid=16331] ppid=16329 vsize=1580964 memory=1418580 CPUtime=3452.78 cores=4,6
/proc/16331/stat : 16331 (roundingsat) R 16329 16329 15930 0 -1 4194304 244742 0 0 0 342752 2526 0 0 20 0 1 0 30342421 1618907136 354645 18446744073709551615 4227072 8923433 140733299269680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20635648 140733299276135 140733299276328 140733299276328 140733299281898 0
/proc/16331/statm: 395241 354645 2336 1147 0 382668 0
Current children cumulated CPU time: 3452.78 s
Current children cumulated vsize: 1585156 KiB
Current children cumulated memory: 1421652 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.11 5/258 16558
/proc/meminfo: memFree=81591936/131382112 swapFree=33010684/33010684
[pid=16329] ppid=16326 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/16329/stat : 16329 (run-dec-log.sh) S 16326 16329 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30342420 4292608 768 18446744073709551615 94208449781760 94208450676293 140721948508960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94208450915344 94208450963088 94208454365184 140721948510497 140721948510692 140721948510692 140721948516294 0
/proc/16329/statm: 1048 768 704 219 0 110 0
[pid=16331] ppid=16329 vsize=1586260 memory=1470780 CPUtime=3512.62 cores=4,6
/proc/16331/stat : 16331 (roundingsat) R 16329 16329 15930 0 -1 4194304 246096 0 0 0 348709 2553 0 0 20 0 1 0 30342421 1624330240 367695 18446744073709551615 4227072 8923433 140733299269680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20635648 140733299276135 140733299276328 140733299276328 140733299281898 0
/proc/16331/statm: 396565 367695 2336 1147 0 383992 0
Current children cumulated CPU time: 3512.62 s
Current children cumulated vsize: 1590452 KiB
Current children cumulated memory: 1473852 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/259 16563
/proc/meminfo: memFree=80873328/131382112 swapFree=33010684/33010684
[pid=16329] ppid=16326 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/16329/stat : 16329 (run-dec-log.sh) S 16326 16329 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30342420 4292608 768 18446744073709551615 94208449781760 94208450676293 140721948508960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94208450915344 94208450963088 94208454365184 140721948510497 140721948510692 140721948510692 140721948516294 0
/proc/16329/statm: 1048 768 704 219 0 110 0
[pid=16331] ppid=16329 vsize=1610872 memory=1493564 CPUtime=3572.47 cores=4,6
/proc/16331/stat : 16331 (roundingsat) R 16329 16329 15930 0 -1 4194304 251799 0 0 0 354664 2583 0 0 20 0 1 0 30342421 1649532928 373391 18446744073709551615 4227072 8923433 140733299269680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20635648 140733299276135 140733299276328 140733299276328 140733299281898 0
/proc/16331/statm: 402718 373391 2336 1147 0 390145 0
Current children cumulated CPU time: 3572.47 s
Current children cumulated vsize: 1615064 KiB
Current children cumulated memory: 1496636 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.15 4.12 4.11 5/259 16701
/proc/meminfo: memFree=107121684/131382112 swapFree=33010684/33010684
[pid=16329] ppid=16326 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/16329/stat : 16329 (run-dec-log.sh) S 16326 16329 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30342420 4292608 768 18446744073709551615 94208449781760 94208450676293 140721948508960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94208450915344 94208450963088 94208454365184 140721948510497 140721948510692 140721948510692 140721948516294 0
/proc/16329/statm: 1048 768 704 219 0 110 0
[pid=16331] ppid=16329 vsize=1623564 memory=1504572 CPUtime=3600.1 cores=4,6
/proc/16331/stat : 16331 (roundingsat) R 16329 16329 15930 0 -1 4194304 254524 0 0 0 357412 2598 0 0 20 0 1 0 30342421 1662529536 376143 18446744073709551615 4227072 8923433 140733299269680 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 20635648 140733299276135 140733299276328 140733299276328 140733299281898 0
/proc/16331/statm: 405891 376143 2336 1147 0 393318 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 1627756 KiB
Current children cumulated memory: 1507644 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.02 s]
# the end of solver process 16329 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.00193 s, system=0.002899 s
[startup+3610.56 s]
# the end of solver process 16331 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3574.14 s, system=26.0057 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 4.15 4.12 4.11 4/258 16701
/proc/meminfo: memFree=107118068/131382112 swapFree=33010684/33010684
[pid=16331] ppid=16326 vsize=1623564 memory=1504956 CPUtime=3600.1 cores=4,6
/proc/16331/stat : 16331 (roundingsat) D 16326 16329 15930 0 -1 4194304 254531 0 0 0 357412 2598 0 0 20 0 1 0 30342421 1662529536 376239 18446744073709551615 4227072 8923433 140733299269680 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 20635648 140733299276135 140733299276328 140733299276328 140733299281898 0
/proc/16331/statm: 405891 376239 2432 1147 0 393318 0
Current cumulated CPU time of completed processes: 0.004829 s
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 1623564 KiB
Current children cumulated memory: 1504956 KiB
[startup+3610.5 s]
/proc/loadavg: 4.15 4.12 4.11 4/258 16701
/proc/meminfo: memFree=107118068/131382112 swapFree=33010684/33010684
[pid=16331] ppid=16326 vsize=1623564 memory=1504956 CPUtime=3600.11 cores=4,6
/proc/16331/stat : 16331 (roundingsat) D 16326 16329 15930 0 -1 4194304 254531 0 0 0 357413 2598 0 0 20 0 1 0 30342421 1662529536 376239 18446744073709551615 4227072 8923433 140733299269680 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 20635648 140733299276135 140733299276328 140733299276328 140733299281898 0
/proc/16331/statm: 405891 376239 2432 1147 0 393318 0
Current cumulated CPU time of completed processes: 0.004829 s
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 1623564 KiB
Current children cumulated memory: 1504956 KiB
Child status: 2
Real time (s): 3610.56
CPU time (s): 3600.14
CPU user time (s): 3574.14
CPU system time (s): 26.0057
CPU usage (%): 99.7115
Max. virtual memory (cumulated for all children) (KiB): 1627756
Max. memory (cumulated for all children) (KiB): 1507644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.14
system time used= 26.0057
maximum resident set size= 1504956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254751
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39988632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1774
involuntary context switches= 5741
# summary of solver processes directly reported to runsolver:
# pid: 16329,16331
# total CPU time (s): 3600.14
# total CPU user time (s): 3574.14
# total CPU system time (s): 26.0057
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.1512 second user time and 33.4134 second system time
The end
Begin job on nodeC009 at 2025-06-28 23:37:06
IDJOB=4493445
IDBENCH=147863
IDSOLVER=3352
FILE ID=nodeC009/4493445-1751146626
RUNJOBID= nodeC009-1751146607-15941
SLURM_JOB_ID= 9587463
Free space on /tmp= 433028 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin16.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493445-1751146626/watcher-4493445-1751146626 -o /tmp/evaluation-result-4493445-1751146626/solver-4493445-1751146626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751146607-15941 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4493445-1751146626.opb PROOFDIR/proof-4493445-1751146626
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c646e12ccfd746fe0694a48782eaf83d
RANDOM SEED=1369863411
nodeC009 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 : 3659.060
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.85
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 : 3661.851
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.85
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.340
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.85
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 : 3700.000
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.85
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.230
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.85
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 : 3661.853
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.85
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 : 1198.010
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.85
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.217
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.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129752508 kB
MemAvailable: 129688408 kB
Buffers: 3280 kB
Cached: 746828 kB
SwapCached: 0 kB
Active: 526332 kB
Inactive: 536316 kB
Active(anon): 330544 kB
Inactive(anon): 0 kB
Active(file): 195788 kB
Inactive(file): 536316 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 172040 kB
Writeback: 0 kB
AnonPages: 315656 kB
Mapped: 112808 kB
Shmem: 17960 kB
KReclaimable: 86460 kB
Slab: 170704 kB
SReclaimable: 86460 kB
SUnreclaim: 84244 kB
KernelStack: 4128 kB
PageTables: 3764 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 666660 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149464 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 45056 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: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432984 MiB
End job on nodeC009 at 2025-06-29 00:37:17