0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.04 c [STEP] solving
0.00/0.04 c #variables 498 #constraints 2431
0.00/0.04 c SMALL=int, LARGE=long long
0.00/0.04 c bounds - >= 0 @ 0.021278
0.00/0.04 c stratification level: 0
0.00/0.08 c bounds - >= 124 @ 0.025638
0.00/0.08 c bounds - >= 125 @ 0.027084
0.00/0.08 c bounds - >= 126 @ 0.027427
0.00/0.08 c bounds - >= 127 @ 0.027728
0.00/0.08 c bounds - >= 128 @ 0.02806
0.00/0.08 c bounds - >= 129 @ 0.028624
0.00/0.08 c bounds - >= 130 @ 0.029042
0.00/0.08 c bounds - >= 131 @ 0.029042
0.00/0.08 c bounds - >= 132 @ 0.029042
0.00/0.08 c bounds - >= 133 @ 0.029075
0.00/0.08 c bounds - >= 134 @ 0.029075
0.00/0.08 c bounds - >= 135 @ 0.029075
0.00/0.08 c bounds - >= 136 @ 0.029075
0.00/0.08 c bounds - >= 137 @ 0.029075
0.00/0.08 c bounds - >= 138 @ 0.029075
0.00/0.08 c bounds - >= 139 @ 0.029075
0.00/0.08 c bounds - >= 140 @ 0.029075
0.00/0.08 c bounds - >= 141 @ 0.029075
0.00/0.08 c bounds - >= 142 @ 0.029153
0.00/0.08 c bounds - >= 143 @ 0.029448
0.00/0.08 c bounds - >= 144 @ 0.029668
0.00/0.08 c bounds - >= 145 @ 0.029888
0.00/0.08 c bounds - >= 146 @ 0.0302
0.00/0.08 c bounds - >= 147 @ 0.030896
0.00/0.08 c bounds - >= 148 @ 0.031883
0.00/0.08 c bounds - >= 149 @ 0.033308
0.00/0.08 c bounds - >= 150 @ 0.034182
0.00/0.08 c bounds - >= 151 @ 0.034838
0.00/0.08 c bounds - >= 152 @ 0.035871
0.00/0.08 c bounds - >= 153 @ 0.035871
0.00/0.08 c bounds - >= 154 @ 0.035939
0.00/0.08 c bounds - >= 155 @ 0.036086
0.00/0.08 c bounds - >= 156 @ 0.036865
0.00/0.08 c bounds - >= 157 @ 0.036902
0.00/0.08 c bounds - >= 158 @ 0.036902
0.00/0.08 c bounds - >= 159 @ 0.036985
0.00/0.08 c bounds - >= 160 @ 0.037681
0.00/0.08 c bounds - >= 161 @ 0.037824
0.00/0.08 c bounds - >= 162 @ 0.038682
0.00/0.08 c bounds - >= 163 @ 0.038794
0.00/0.08 c bounds - >= 164 @ 0.039172
0.00/0.08 c bounds - >= 165 @ 0.039834
0.00/0.08 c bounds - >= 166 @ 0.050296
0.00/0.08 c finalizing WCE round: reformulating cores
4.76/4.87 c bounds 246 >= 125 @ 0.053784
4.76/4.87 c bounds 243 >= 128 @ 0.067648
4.76/4.87 c bounds 243 >= 128 @ 0.071753
4.76/4.87 c bounds 242 >= 131 @ 0.078902
4.76/4.87 c bounds 241 >= 133 @ 0.083671
4.76/4.87 c bounds 241 >= 133 @ 0.085576
4.76/4.87 c bounds 241 >= 133 @ 0.097301
4.76/4.87 c bounds 240 >= 137 @ 0.11395
4.76/4.87 c #Conflicts: 1000 | #Constraints: 3658
4.76/4.87 c #Conflicts: 2000 | #Constraints: 4730
4.76/4.87 c INPROCESSING
4.76/4.87 c GARBAGE COLLECT
4.76/4.87 c #Conflicts: 3000 | #Constraints: 4523
4.76/4.87 c #Conflicts: 4000 | #Constraints: 5528
4.76/4.87 c INPROCESSING
4.76/4.87 c GARBAGE COLLECT
4.76/4.87 c #Conflicts: 5000 | #Constraints: 5003
4.76/4.87 c #Conflicts: 6000 | #Constraints: 6005
4.76/4.87 c bounds 208 >= 174 @ 2.15207
4.76/4.87 c bounds 208 >= 176 @ 2.15455
4.76/4.87 c bounds 208 >= 177 @ 2.15627
4.76/4.87 c bounds 208 >= 178 @ 2.1677
4.76/4.87 c bounds 208 >= 179 @ 2.17707
4.76/4.87 c INPROCESSING
4.76/4.87 c GARBAGE COLLECT
4.76/4.87 c #Conflicts: 7000 | #Constraints: 5116
4.76/4.87 c bounds 208 >= 180 @ 2.32172
4.76/4.87 c bounds 208 >= 181 @ 2.36207
4.76/4.87 c #Conflicts: 8000 | #Constraints: 6226
4.76/4.87 c #Conflicts: 9000 | #Constraints: 7226
4.76/4.87 c INPROCESSING
4.76/4.87 c GARBAGE COLLECT
4.76/4.87 c #Conflicts: 10000 | #Constraints: 5919
4.76/4.87 c #Conflicts: 11000 | #Constraints: 6919
4.76/4.87 c bounds 208 >= 182 @ 3.50239
4.76/4.87 c #Conflicts: 12000 | #Constraints: 7986
4.76/4.87 c INPROCESSING
4.76/4.87 c GARBAGE COLLECT
4.76/4.87 c #Conflicts: 13000 | #Constraints: 6412
4.76/4.87 c #Conflicts: 14000 | #Constraints: 7412
4.76/4.87 c #Conflicts: 15000 | #Constraints: 8412
4.76/4.87 c INPROCESSING
4.76/4.87 c GARBAGE COLLECT
4.76/4.87 c finalizing WCE round: reformulating cores
53.94/54.13 c #Conflicts: 16000 | #Constraints: 6623
53.94/54.13 c #Conflicts: 17000 | #Constraints: 7625
53.94/54.13 c #Conflicts: 18000 | #Constraints: 8627
53.94/54.13 c INPROCESSING
53.94/54.13 c GARBAGE COLLECT
53.94/54.13 c #Conflicts: 19000 | #Constraints: 6639
53.94/54.13 c bounds 207 >= 180 @ 5.80187
53.94/54.13 c bounds 207 >= 180 @ 5.8373
53.94/54.13 c bounds 207 >= 180 @ 5.92175
53.94/54.13 c #Conflicts: 20000 | #Constraints: 7645
53.94/54.13 c bounds 207 >= 180 @ 6.04992
53.94/54.13 c #Conflicts: 21000 | #Constraints: 8647
53.94/54.13 c bounds 207 >= 185 @ 6.22202
53.94/54.13 c bounds 207 >= 185 @ 6.245
53.94/54.13 c INPROCESSING
53.94/54.13 c GARBAGE COLLECT
53.94/54.13 c bounds 207 >= 185 @ 6.29311
53.94/54.13 c #Conflicts: 22000 | #Constraints: 6091
53.94/54.13 c bounds 207 >= 189 @ 6.38733
53.94/54.13 c bounds 207 >= 189 @ 6.39069
53.94/54.13 c bounds 207 >= 189 @ 6.39817
53.94/54.13 c bounds 207 >= 189 @ 6.42441
53.94/54.13 c #Conflicts: 23000 | #Constraints: 7101
53.94/54.13 c bounds 207 >= 193 @ 6.5344
53.94/54.13 c bounds 207 >= 194 @ 6.54662
53.94/54.13 c #Conflicts: 24000 | #Constraints: 8117
53.94/54.13 c bounds 207 >= 195 @ 6.9122
53.94/54.13 c #Conflicts: 25000 | #Constraints: 9163
53.94/54.13 c bounds 207 >= 196 @ 7.17847
53.94/54.13 c #Conflicts: 26000 | #Constraints: 10191
53.94/54.13 c #Conflicts: 27000 | #Constraints: 11191
53.94/54.13 c #Conflicts: 28000 | #Constraints: 12191
53.94/54.13 c #Conflicts: 29000 | #Constraints: 13191
53.94/54.13 c bounds 207 >= 197 @ 8.88974
53.94/54.13 c #Conflicts: 30000 | #Constraints: 14216
53.94/54.13 c #Conflicts: 31000 | #Constraints: 15216
53.94/54.13 c #Conflicts: 32000 | #Constraints: 16216
53.94/54.13 c #Conflicts: 33000 | #Constraints: 17216
53.94/54.13 c INPROCESSING
53.94/54.13 c GARBAGE COLLECT
53.94/54.13 c #Conflicts: 34000 | #Constraints: 10793
53.94/54.13 c #Conflicts: 35000 | #Constraints: 11793
53.94/54.13 c #Conflicts: 36000 | #Constraints: 12793
53.94/54.13 c #Conflicts: 37000 | #Constraints: 13793
53.94/54.13 c #Conflicts: 38000 | #Constraints: 14793
53.94/54.13 c INPROCESSING
53.94/54.13 c GARBAGE COLLECT
53.94/54.13 c #Conflicts: 39000 | #Constraints: 9874
53.94/54.13 c #Conflicts: 40000 | #Constraints: 10874
53.94/54.13 c #Conflicts: 41000 | #Constraints: 11874
53.94/54.13 c bounds 207 >= 198 @ 15.0889
53.94/54.13 c #Conflicts: 42000 | #Constraints: 12914
53.94/54.13 c #Conflicts: 43000 | #Constraints: 13914
53.94/54.13 c #Conflicts: 44000 | #Constraints: 14914
53.94/54.13 c #Conflicts: 45000 | #Constraints: 15914
53.94/54.13 c #Conflicts: 46000 | #Constraints: 16914
53.94/54.13 c #Conflicts: 47000 | #Constraints: 17914
53.94/54.13 c #Conflicts: 48000 | #Constraints: 18914
53.94/54.13 c #Conflicts: 49000 | #Constraints: 19914
53.94/54.13 c #Conflicts: 50000 | #Constraints: 20914
53.94/54.13 c #Conflicts: 51000 | #Constraints: 21914
53.94/54.13 c #Conflicts: 52000 | #Constraints: 22914
53.94/54.13 c INPROCESSING
53.94/54.13 c GARBAGE COLLECT
53.94/54.13 c #Conflicts: 53000 | #Constraints: 13527
53.94/54.13 c #Conflicts: 54000 | #Constraints: 14527
53.94/54.13 c #Conflicts: 55000 | #Constraints: 15527
53.94/54.13 c #Conflicts: 56000 | #Constraints: 16527
53.94/54.13 c #Conflicts: 57000 | #Constraints: 17527
53.94/54.13 c #Conflicts: 58000 | #Constraints: 18527
53.94/54.13 c INPROCESSING
53.94/54.13 c GARBAGE COLLECT
53.94/54.13 c #Conflicts: 59000 | #Constraints: 11345
53.94/54.13 c #Conflicts: 60000 | #Constraints: 12345
53.94/54.13 c #Conflicts: 61000 | #Constraints: 13345
53.94/54.13 c #Conflicts: 62000 | #Constraints: 14345
53.94/54.13 c #Conflicts: 63000 | #Constraints: 15345
53.94/54.13 c #Conflicts: 64000 | #Constraints: 16345
53.94/54.13 c #Conflicts: 65000 | #Constraints: 17345
53.94/54.13 c INPROCESSING
53.94/54.13 c GARBAGE COLLECT
53.94/54.13 c #Conflicts: 66000 | #Constraints: 11161
53.94/54.13 c #Conflicts: 67000 | #Constraints: 12161
53.94/54.13 c #Conflicts: 68000 | #Constraints: 13161
53.94/54.13 c #Conflicts: 69000 | #Constraints: 14161
53.94/54.13 c #Conflicts: 70000 | #Constraints: 15161
53.94/54.13 c #Conflicts: 71000 | #Constraints: 16161
53.94/54.13 c #Conflicts: 72000 | #Constraints: 17161
53.94/54.13 c #Conflicts: 73000 | #Constraints: 18161
53.94/54.13 c #Conflicts: 74000 | #Constraints: 19161
53.94/54.13 c #Conflicts: 75000 | #Constraints: 20161
53.94/54.13 c #Conflicts: 76000 | #Constraints: 21161
53.94/54.13 c #Conflicts: 77000 | #Constraints: 22161
53.94/54.13 c #Conflicts: 78000 | #Constraints: 23161
53.94/54.13 c #Conflicts: 79000 | #Constraints: 24161
53.94/54.13 c #Conflicts: 80000 | #Constraints: 25161
118.76/119.13 c #Conflicts: 81000 | #Constraints: 26161
118.76/119.13 c bounds 207 >= 199 @ 56.4165
118.76/119.13 c #Conflicts: 82000 | #Constraints: 27186
118.76/119.13 c #Conflicts: 83000 | #Constraints: 28186
118.76/119.13 c #Conflicts: 84000 | #Constraints: 29186
118.76/119.13 c INPROCESSING
118.76/119.13 c GARBAGE COLLECT
118.76/119.13 c #Conflicts: 85000 | #Constraints: 17076
118.76/119.13 c #Conflicts: 86000 | #Constraints: 18076
118.76/119.13 c #Conflicts: 87000 | #Constraints: 19076
118.76/119.13 c #Conflicts: 88000 | #Constraints: 20076
118.76/119.13 c #Conflicts: 89000 | #Constraints: 21076
118.76/119.13 c #Conflicts: 90000 | #Constraints: 22076
118.76/119.13 c #Conflicts: 91000 | #Constraints: 23076
118.76/119.13 c INPROCESSING
118.76/119.13 c GARBAGE COLLECT
118.76/119.13 c #Conflicts: 92000 | #Constraints: 13772
118.76/119.13 c #Conflicts: 93000 | #Constraints: 14772
118.76/119.13 c #Conflicts: 94000 | #Constraints: 15772
118.76/119.13 c #Conflicts: 95000 | #Constraints: 16772
118.76/119.13 c #Conflicts: 96000 | #Constraints: 17772
118.76/119.13 c #Conflicts: 97000 | #Constraints: 18772
118.76/119.13 c #Conflicts: 98000 | #Constraints: 19772
118.76/119.13 c #Conflicts: 99000 | #Constraints: 20772
118.76/119.13 c INPROCESSING
118.76/119.13 c GARBAGE COLLECT
118.76/119.13 c #Conflicts: 100000 | #Constraints: 12773
118.76/119.13 c #Conflicts: 101000 | #Constraints: 13773
118.76/119.13 c #Conflicts: 102000 | #Constraints: 14773
118.76/119.13 c #Conflicts: 103000 | #Constraints: 15773
118.76/119.13 c #Conflicts: 104000 | #Constraints: 16773
118.76/119.13 c #Conflicts: 105000 | #Constraints: 17773
118.76/119.13 c #Conflicts: 106000 | #Constraints: 18773
118.76/119.13 c #Conflicts: 107000 | #Constraints: 19773
118.76/119.13 c #Conflicts: 108000 | #Constraints: 20773
118.76/119.13 c #Conflicts: 109000 | #Constraints: 21773
118.76/119.13 c #Conflicts: 110000 | #Constraints: 22773
118.76/119.13 c #Conflicts: 111000 | #Constraints: 23773
118.76/119.13 c #Conflicts: 112000 | #Constraints: 24773
118.76/119.13 c #Conflicts: 113000 | #Constraints: 25773
118.76/119.13 c #Conflicts: 114000 | #Constraints: 26773
118.76/119.13 c #Conflicts: 115000 | #Constraints: 27773
118.76/119.13 c #Conflicts: 116000 | #Constraints: 28773
118.76/119.13 c #Conflicts: 117000 | #Constraints: 29773
118.76/119.13 c #Conflicts: 118000 | #Constraints: 30773
118.76/119.13 c #Conflicts: 119000 | #Constraints: 31773
118.76/119.13 c #Conflicts: 120000 | #Constraints: 32773
118.76/119.13 c #Conflicts: 121000 | #Constraints: 33773
118.76/119.13 c #Conflicts: 122000 | #Constraints: 34773
118.76/119.13 c INPROCESSING
118.76/119.13 c GARBAGE COLLECT
118.76/119.13 c #Conflicts: 123000 | #Constraints: 19663
118.76/119.13 c #Conflicts: 124000 | #Constraints: 20663
118.76/119.13 c #Conflicts: 125000 | #Constraints: 21663
118.76/119.13 c #Conflicts: 126000 | #Constraints: 22663
118.76/119.13 c #Conflicts: 127000 | #Constraints: 23663
118.76/119.13 c #Conflicts: 128000 | #Constraints: 24663
118.76/119.13 c #Conflicts: 129000 | #Constraints: 25663
118.76/119.13 c #Conflicts: 130000 | #Constraints: 26663
118.76/119.13 c #Conflicts: 131000 | #Constraints: 27663
118.76/119.13 c INPROCESSING
118.76/119.13 c GARBAGE COLLECT
118.76/119.13 c #Conflicts: 132000 | #Constraints: 16108
118.76/119.13 c #Conflicts: 133000 | #Constraints: 17108
118.76/119.13 c #Conflicts: 134000 | #Constraints: 18108
118.76/119.13 c #Conflicts: 135000 | #Constraints: 19108
118.76/119.13 c #Conflicts: 136000 | #Constraints: 20108
118.76/119.13 c #Conflicts: 137000 | #Constraints: 21108
118.76/119.13 c #Conflicts: 138000 | #Constraints: 22108
118.76/119.13 c #Conflicts: 139000 | #Constraints: 23108
118.76/119.13 c #Conflicts: 140000 | #Constraints: 24108
118.76/119.13 c INPROCESSING
118.76/119.13 c GARBAGE COLLECT
118.76/119.13 c #Conflicts: 141000 | #Constraints: 14226
118.76/119.13 c #Conflicts: 142000 | #Constraints: 15226
118.76/119.13 c #Conflicts: 143000 | #Constraints: 16226
118.76/119.13 c #Conflicts: 144000 | #Constraints: 17226
118.76/119.13 c #Conflicts: 145000 | #Constraints: 18226
118.76/119.13 c #Conflicts: 146000 | #Constraints: 19226
118.76/119.13 c #Conflicts: 147000 | #Constraints: 20226
118.76/119.13 c #Conflicts: 148000 | #Constraints: 21226
118.76/119.13 c #Conflicts: 149000 | #Constraints: 22226
118.76/119.13 c #Conflicts: 150000 | #Constraints: 23226
118.76/119.13 c INPROCESSING
118.76/119.13 c GARBAGE COLLECT
118.76/119.13 c #Conflicts: 151000 | #Constraints: 14101
118.76/119.13 c #Conflicts: 152000 | #Constraints: 15101
118.76/119.13 c #Conflicts: 153000 | #Constraints: 16101
118.76/119.13 c #Conflicts: 154000 | #Constraints: 17101
194.06/194.63 c #Conflicts: 155000 | #Constraints: 18101
194.06/194.63 c #Conflicts: 156000 | #Constraints: 19101
194.06/194.63 c #Conflicts: 157000 | #Constraints: 20101
194.06/194.63 c #Conflicts: 158000 | #Constraints: 21101
194.06/194.63 c #Conflicts: 159000 | #Constraints: 22101
194.06/194.63 c #Conflicts: 160000 | #Constraints: 23101
194.06/194.63 c #Conflicts: 161000 | #Constraints: 24101
194.06/194.63 c #Conflicts: 162000 | #Constraints: 25101
194.06/194.63 c #Conflicts: 163000 | #Constraints: 26101
194.06/194.63 c #Conflicts: 164000 | #Constraints: 27101
194.06/194.63 c #Conflicts: 165000 | #Constraints: 28101
194.06/194.63 c #Conflicts: 166000 | #Constraints: 29101
194.06/194.63 c #Conflicts: 167000 | #Constraints: 30101
194.06/194.63 c #Conflicts: 168000 | #Constraints: 31101
194.06/194.63 c #Conflicts: 169000 | #Constraints: 32101
194.06/194.63 c #Conflicts: 170000 | #Constraints: 33101
194.06/194.63 c #Conflicts: 171000 | #Constraints: 34101
194.06/194.63 c #Conflicts: 172000 | #Constraints: 35101
194.06/194.63 c #Conflicts: 173000 | #Constraints: 36101
194.06/194.63 c #Conflicts: 174000 | #Constraints: 37101
194.06/194.63 c #Conflicts: 175000 | #Constraints: 38101
194.06/194.63 c #Conflicts: 176000 | #Constraints: 39101
194.06/194.63 c #Conflicts: 177000 | #Constraints: 40101
194.06/194.63 c #Conflicts: 178000 | #Constraints: 41101
194.06/194.63 c INPROCESSING
194.06/194.63 c GARBAGE COLLECT
194.06/194.63 c #Conflicts: 179000 | #Constraints: 22771
194.06/194.63 c #Conflicts: 180000 | #Constraints: 23771
194.06/194.63 c #Conflicts: 181000 | #Constraints: 24771
194.06/194.63 c #Conflicts: 182000 | #Constraints: 25771
194.06/194.63 c #Conflicts: 183000 | #Constraints: 26771
194.06/194.63 c #Conflicts: 184000 | #Constraints: 27771
194.06/194.63 c #Conflicts: 185000 | #Constraints: 28771
194.06/194.63 c #Conflicts: 186000 | #Constraints: 29771
194.06/194.63 c #Conflicts: 187000 | #Constraints: 30771
194.06/194.63 c #Conflicts: 188000 | #Constraints: 31771
194.06/194.63 c #Conflicts: 189000 | #Constraints: 32771
194.06/194.63 c INPROCESSING
194.06/194.63 c GARBAGE COLLECT
194.06/194.63 c #Conflicts: 190000 | #Constraints: 18788
194.06/194.63 c #Conflicts: 191000 | #Constraints: 19788
194.06/194.63 c #Conflicts: 192000 | #Constraints: 20788
194.06/194.63 c #Conflicts: 193000 | #Constraints: 21788
194.06/194.63 c #Conflicts: 194000 | #Constraints: 22788
194.06/194.63 c #Conflicts: 195000 | #Constraints: 23788
194.06/194.63 c #Conflicts: 196000 | #Constraints: 24788
194.06/194.63 c #Conflicts: 197000 | #Constraints: 25788
194.06/194.63 c #Conflicts: 198000 | #Constraints: 26788
194.06/194.63 c #Conflicts: 199000 | #Constraints: 27788
194.06/194.63 c #Conflicts: 200000 | #Constraints: 28788
194.06/194.63 c INPROCESSING
194.06/194.63 c GARBAGE COLLECT
194.06/194.63 c #Conflicts: 201000 | #Constraints: 16835
194.06/194.63 c #Conflicts: 202000 | #Constraints: 17835
194.06/194.63 c #Conflicts: 203000 | #Constraints: 18835
194.06/194.63 c #Conflicts: 204000 | #Constraints: 19835
194.06/194.63 c #Conflicts: 205000 | #Constraints: 20835
194.06/194.63 c #Conflicts: 206000 | #Constraints: 21835
194.06/194.63 c #Conflicts: 207000 | #Constraints: 22835
194.06/194.63 c #Conflicts: 208000 | #Constraints: 23835
194.06/194.63 c #Conflicts: 209000 | #Constraints: 24835
194.06/194.63 c bounds 207 >= 200 @ 178.494
194.06/194.63 c #Conflicts: 210000 | #Constraints: 25866
194.06/194.63 c #Conflicts: 211000 | #Constraints: 26866
194.06/194.63 c INPROCESSING
194.06/194.63 c GARBAGE COLLECT
194.06/194.63 c #Conflicts: 212000 | #Constraints: 15832
194.06/194.63 c #Conflicts: 213000 | #Constraints: 16832
194.06/194.63 c #Conflicts: 214000 | #Constraints: 17832
194.06/194.63 c #Conflicts: 215000 | #Constraints: 18832
194.06/194.63 c #Conflicts: 216000 | #Constraints: 19832
194.06/194.63 c #Conflicts: 217000 | #Constraints: 20832
194.06/194.63 c #Conflicts: 218000 | #Constraints: 21832
194.06/194.63 c #Conflicts: 219000 | #Constraints: 22832
194.06/194.63 c #Conflicts: 220000 | #Constraints: 23832
194.06/194.63 c #Conflicts: 221000 | #Constraints: 24832
194.06/194.63 c #Conflicts: 222000 | #Constraints: 25832
194.06/194.63 c #Conflicts: 223000 | #Constraints: 26832
194.06/194.63 c #Conflicts: 224000 | #Constraints: 27832
194.06/194.63 c #Conflicts: 225000 | #Constraints: 28832
194.06/194.63 c #Conflicts: 226000 | #Constraints: 29832
194.06/194.63 c #Conflicts: 227000 | #Constraints: 30832
194.06/194.63 c #Conflicts: 228000 | #Constraints: 31832
194.06/194.63 c #Conflicts: 229000 | #Constraints: 32832
194.06/194.63 c #Conflicts: 230000 | #Constraints: 33832
266.28/267.02 c #Conflicts: 231000 | #Constraints: 34832
266.28/267.02 c #Conflicts: 232000 | #Constraints: 35832
266.28/267.02 c #Conflicts: 233000 | #Constraints: 36832
266.28/267.02 c #Conflicts: 234000 | #Constraints: 37832
266.28/267.02 c #Conflicts: 235000 | #Constraints: 38832
266.28/267.02 c #Conflicts: 236000 | #Constraints: 39832
266.28/267.02 c #Conflicts: 237000 | #Constraints: 40832
266.28/267.02 c #Conflicts: 238000 | #Constraints: 41832
266.28/267.02 c #Conflicts: 239000 | #Constraints: 42832
266.28/267.02 c #Conflicts: 240000 | #Constraints: 43832
266.28/267.02 c #Conflicts: 241000 | #Constraints: 44832
266.28/267.02 c #Conflicts: 242000 | #Constraints: 45832
266.28/267.02 c #Conflicts: 243000 | #Constraints: 46832
266.28/267.02 c #Conflicts: 244000 | #Constraints: 47832
266.28/267.02 c #Conflicts: 245000 | #Constraints: 48832
266.28/267.02 c INPROCESSING
266.28/267.02 c GARBAGE COLLECT
266.28/267.02 c #Conflicts: 246000 | #Constraints: 26908
266.28/267.02 c #Conflicts: 247000 | #Constraints: 27908
266.28/267.02 c #Conflicts: 248000 | #Constraints: 28908
266.28/267.02 c #Conflicts: 249000 | #Constraints: 29908
266.28/267.02 c #Conflicts: 250000 | #Constraints: 30908
266.28/267.02 c #Conflicts: 251000 | #Constraints: 31908
266.28/267.02 c #Conflicts: 252000 | #Constraints: 32908
266.28/267.02 c #Conflicts: 253000 | #Constraints: 33908
266.28/267.02 c #Conflicts: 254000 | #Constraints: 34908
266.28/267.02 c #Conflicts: 255000 | #Constraints: 35908
266.28/267.02 c #Conflicts: 256000 | #Constraints: 36908
266.28/267.02 c #Conflicts: 257000 | #Constraints: 37908
266.28/267.02 c INPROCESSING
266.28/267.02 c GARBAGE COLLECT
266.28/267.02 c #Conflicts: 258000 | #Constraints: 21269
266.28/267.02 c #Conflicts: 259000 | #Constraints: 22269
266.28/267.02 c #Conflicts: 260000 | #Constraints: 23269
266.28/267.02 c #Conflicts: 261000 | #Constraints: 24269
266.28/267.02 c #Conflicts: 262000 | #Constraints: 25269
266.28/267.02 c #Conflicts: 263000 | #Constraints: 26269
266.28/267.02 c #Conflicts: 264000 | #Constraints: 27269
266.28/267.02 c #Conflicts: 265000 | #Constraints: 28269
266.28/267.02 c #Conflicts: 266000 | #Constraints: 29269
266.28/267.02 c #Conflicts: 267000 | #Constraints: 30269
266.28/267.02 c #Conflicts: 268000 | #Constraints: 31269
266.28/267.02 c #Conflicts: 269000 | #Constraints: 32269
266.28/267.02 c #Conflicts: 270000 | #Constraints: 33269
266.28/267.02 c INPROCESSING
266.28/267.02 c GARBAGE COLLECT
266.28/267.02 c #Conflicts: 271000 | #Constraints: 19141
266.28/267.02 c #Conflicts: 272000 | #Constraints: 20141
266.28/267.02 c #Conflicts: 273000 | #Constraints: 21141
266.28/267.02 c #Conflicts: 274000 | #Constraints: 22141
266.28/267.02 c #Conflicts: 275000 | #Constraints: 23141
266.28/267.02 c #Conflicts: 276000 | #Constraints: 24141
266.28/267.02 c #Conflicts: 277000 | #Constraints: 25141
266.28/267.02 c #Conflicts: 278000 | #Constraints: 26141
266.28/267.02 c #Conflicts: 279000 | #Constraints: 27141
266.28/267.02 c #Conflicts: 280000 | #Constraints: 28141
266.28/267.02 c #Conflicts: 281000 | #Constraints: 29141
266.28/267.02 c #Conflicts: 282000 | #Constraints: 30141
266.28/267.02 c INPROCESSING
266.28/267.02 c GARBAGE COLLECT
266.28/267.02 c #Conflicts: 283000 | #Constraints: 17164
266.28/267.02 c #Conflicts: 284000 | #Constraints: 18164
266.28/267.02 c #Conflicts: 285000 | #Constraints: 19164
266.28/267.02 c #Conflicts: 286000 | #Constraints: 20164
266.28/267.03 c #Conflicts: 287000 | #Constraints: 21164
266.28/267.03 c #Conflicts: 288000 | #Constraints: 22164
266.28/267.03 c #Conflicts: 289000 | #Constraints: 23164
266.28/267.03 c #Conflicts: 290000 | #Constraints: 24164
266.28/267.03 c #Conflicts: 291000 | #Constraints: 25164
266.28/267.03 c #Conflicts: 292000 | #Constraints: 26164
266.28/267.03 c #Conflicts: 293000 | #Constraints: 27164
266.28/267.03 c #Conflicts: 294000 | #Constraints: 28164
266.28/267.03 c #Conflicts: 295000 | #Constraints: 29164
266.28/267.03 c INPROCESSING
266.28/267.03 c GARBAGE COLLECT
266.28/267.03 c #Conflicts: 296000 | #Constraints: 16669
266.28/267.03 c #Conflicts: 297000 | #Constraints: 17669
266.28/267.03 c #Conflicts: 298000 | #Constraints: 18669
266.28/267.03 c #Conflicts: 299000 | #Constraints: 19669
266.28/267.03 c #Conflicts: 300000 | #Constraints: 20669
266.28/267.03 c #Conflicts: 301000 | #Constraints: 21669
266.28/267.03 c #Conflicts: 302000 | #Constraints: 22669
266.28/267.03 c #Conflicts: 303000 | #Constraints: 23669
266.28/267.03 c #Conflicts: 304000 | #Constraints: 24669
266.28/267.03 c #Conflicts: 305000 | #Constraints: 25669
360.33/361.37 c #Conflicts: 306000 | #Constraints: 26669
360.33/361.37 c #Conflicts: 307000 | #Constraints: 27669
360.33/361.37 c #Conflicts: 308000 | #Constraints: 28669
360.33/361.37 c #Conflicts: 309000 | #Constraints: 29669
360.33/361.37 c #Conflicts: 310000 | #Constraints: 30669
360.33/361.37 c #Conflicts: 311000 | #Constraints: 31669
360.33/361.37 c #Conflicts: 312000 | #Constraints: 32669
360.33/361.37 c #Conflicts: 313000 | #Constraints: 33669
360.33/361.37 c #Conflicts: 314000 | #Constraints: 34669
360.33/361.37 c #Conflicts: 315000 | #Constraints: 35669
360.33/361.37 c #Conflicts: 316000 | #Constraints: 36669
360.33/361.37 c #Conflicts: 317000 | #Constraints: 37669
360.33/361.37 c #Conflicts: 318000 | #Constraints: 38669
360.33/361.37 c #Conflicts: 319000 | #Constraints: 39669
360.33/361.37 c #Conflicts: 320000 | #Constraints: 40669
360.33/361.37 c #Conflicts: 321000 | #Constraints: 41669
360.33/361.37 c #Conflicts: 322000 | #Constraints: 42669
360.33/361.37 c #Conflicts: 323000 | #Constraints: 43669
360.33/361.37 c #Conflicts: 324000 | #Constraints: 44669
360.33/361.37 c #Conflicts: 325000 | #Constraints: 45669
360.33/361.37 c #Conflicts: 326000 | #Constraints: 46669
360.33/361.37 c #Conflicts: 327000 | #Constraints: 47669
360.33/361.37 c #Conflicts: 328000 | #Constraints: 48669
360.33/361.37 c #Conflicts: 329000 | #Constraints: 49669
360.33/361.37 c #Conflicts: 330000 | #Constraints: 50669
360.33/361.37 c #Conflicts: 331000 | #Constraints: 51669
360.33/361.37 c #Conflicts: 332000 | #Constraints: 52669
360.33/361.37 c #Conflicts: 333000 | #Constraints: 53669
360.33/361.37 c #Conflicts: 334000 | #Constraints: 54669
360.33/361.37 c #Conflicts: 335000 | #Constraints: 55669
360.33/361.37 c #Conflicts: 336000 | #Constraints: 56669
360.33/361.37 c INPROCESSING
360.33/361.37 c GARBAGE COLLECT
360.33/361.37 c #Conflicts: 337000 | #Constraints: 30827
360.33/361.37 c #Conflicts: 338000 | #Constraints: 31827
360.33/361.37 c #Conflicts: 339000 | #Constraints: 32827
360.33/361.37 c #Conflicts: 340000 | #Constraints: 33827
360.33/361.37 c #Conflicts: 341000 | #Constraints: 34827
360.33/361.37 c #Conflicts: 342000 | #Constraints: 35827
360.33/361.37 c #Conflicts: 343000 | #Constraints: 36827
360.33/361.37 c #Conflicts: 344000 | #Constraints: 37827
360.33/361.37 c #Conflicts: 345000 | #Constraints: 38827
360.33/361.37 c #Conflicts: 346000 | #Constraints: 39827
360.33/361.37 c #Conflicts: 347000 | #Constraints: 40827
360.33/361.37 c #Conflicts: 348000 | #Constraints: 41827
360.33/361.37 c #Conflicts: 349000 | #Constraints: 42827
360.33/361.37 c #Conflicts: 350000 | #Constraints: 43827
360.33/361.37 c INPROCESSING
360.33/361.37 c GARBAGE COLLECT
360.33/361.37 c #Conflicts: 351000 | #Constraints: 24267
360.33/361.37 c #Conflicts: 352000 | #Constraints: 25267
360.33/361.37 c #Conflicts: 353000 | #Constraints: 26267
360.33/361.37 c #Conflicts: 354000 | #Constraints: 27267
360.33/361.37 c #Conflicts: 355000 | #Constraints: 28267
360.33/361.37 c #Conflicts: 356000 | #Constraints: 29267
360.33/361.37 c #Conflicts: 357000 | #Constraints: 30267
360.33/361.37 c #Conflicts: 358000 | #Constraints: 31267
360.33/361.37 c #Conflicts: 359000 | #Constraints: 32267
360.33/361.37 c #Conflicts: 360000 | #Constraints: 33267
360.33/361.37 c #Conflicts: 361000 | #Constraints: 34267
360.33/361.37 c #Conflicts: 362000 | #Constraints: 35267
360.33/361.37 c #Conflicts: 363000 | #Constraints: 36267
360.33/361.37 c #Conflicts: 364000 | #Constraints: 37267
360.33/361.37 c INPROCESSING
360.33/361.37 c GARBAGE COLLECT
360.33/361.37 c #Conflicts: 365000 | #Constraints: 20735
360.33/361.37 c #Conflicts: 366000 | #Constraints: 21735
360.33/361.37 c #Conflicts: 367000 | #Constraints: 22735
360.33/361.37 c #Conflicts: 368000 | #Constraints: 23735
360.33/361.37 c #Conflicts: 369000 | #Constraints: 24735
360.33/361.37 c #Conflicts: 370000 | #Constraints: 25735
360.33/361.37 c #Conflicts: 371000 | #Constraints: 26735
360.33/361.37 c #Conflicts: 372000 | #Constraints: 27735
360.33/361.37 c #Conflicts: 373000 | #Constraints: 28735
360.33/361.37 c #Conflicts: 374000 | #Constraints: 29735
360.33/361.37 c #Conflicts: 375000 | #Constraints: 30735
360.33/361.37 c #Conflicts: 376000 | #Constraints: 31735
360.33/361.37 c #Conflicts: 377000 | #Constraints: 32735
360.33/361.37 c #Conflicts: 378000 | #Constraints: 33735
360.33/361.37 c #Conflicts: 379000 | #Constraints: 34735
360.33/361.37 c INPROCESSING
360.33/361.37 c GARBAGE COLLECT
360.33/361.37 c #Conflicts: 380000 | #Constraints: 19625
360.33/361.37 c #Conflicts: 381000 | #Constraints: 20625
451.77/453.08 c #Conflicts: 382000 | #Constraints: 21625
451.77/453.08 c #Conflicts: 383000 | #Constraints: 22625
451.77/453.08 c #Conflicts: 384000 | #Constraints: 23625
451.77/453.08 c #Conflicts: 385000 | #Constraints: 24625
451.77/453.08 c #Conflicts: 386000 | #Constraints: 25625
451.77/453.08 c #Conflicts: 387000 | #Constraints: 26625
451.77/453.08 c #Conflicts: 388000 | #Constraints: 27625
451.77/453.08 c #Conflicts: 389000 | #Constraints: 28625
451.77/453.08 c #Conflicts: 390000 | #Constraints: 29625
451.77/453.08 c #Conflicts: 391000 | #Constraints: 30625
451.77/453.08 c #Conflicts: 392000 | #Constraints: 31625
451.77/453.08 c #Conflicts: 393000 | #Constraints: 32625
451.77/453.08 c #Conflicts: 394000 | #Constraints: 33625
451.77/453.08 c INPROCESSING
451.77/453.08 c GARBAGE COLLECT
451.77/453.08 c #Conflicts: 395000 | #Constraints: 19119
451.77/453.08 c #Conflicts: 396000 | #Constraints: 20119
451.77/453.08 c #Conflicts: 397000 | #Constraints: 21119
451.77/453.08 c #Conflicts: 398000 | #Constraints: 22119
451.77/453.08 c #Conflicts: 399000 | #Constraints: 23119
451.77/453.08 c #Conflicts: 400000 | #Constraints: 24119
451.77/453.08 c #Conflicts: 401000 | #Constraints: 25119
451.77/453.08 c #Conflicts: 402000 | #Constraints: 26119
451.77/453.08 c #Conflicts: 403000 | #Constraints: 27119
451.77/453.08 c #Conflicts: 404000 | #Constraints: 28119
451.77/453.08 c #Conflicts: 405000 | #Constraints: 29119
451.77/453.08 c #Conflicts: 406000 | #Constraints: 30119
451.77/453.08 c #Conflicts: 407000 | #Constraints: 31119
451.77/453.08 c #Conflicts: 408000 | #Constraints: 32119
451.77/453.08 c #Conflicts: 409000 | #Constraints: 33119
451.77/453.08 c INPROCESSING
451.77/453.08 c GARBAGE COLLECT
451.77/453.08 c #Conflicts: 410000 | #Constraints: 18809
451.77/453.08 c #Conflicts: 411000 | #Constraints: 19809
451.77/453.08 c #Conflicts: 412000 | #Constraints: 20809
451.77/453.08 c #Conflicts: 413000 | #Constraints: 21809
451.77/453.08 c #Conflicts: 414000 | #Constraints: 22809
451.77/453.08 c #Conflicts: 415000 | #Constraints: 23809
451.77/453.08 c #Conflicts: 416000 | #Constraints: 24809
451.77/453.08 c #Conflicts: 417000 | #Constraints: 25809
451.77/453.08 c #Conflicts: 418000 | #Constraints: 26809
451.77/453.08 c #Conflicts: 419000 | #Constraints: 27809
451.77/453.08 c #Conflicts: 420000 | #Constraints: 28809
451.77/453.08 c #Conflicts: 421000 | #Constraints: 29809
451.77/453.08 c #Conflicts: 422000 | #Constraints: 30809
451.77/453.08 c #Conflicts: 423000 | #Constraints: 31809
451.77/453.08 c #Conflicts: 424000 | #Constraints: 32809
451.77/453.08 c #Conflicts: 425000 | #Constraints: 33809
451.77/453.08 c #Conflicts: 426000 | #Constraints: 34809
451.77/453.08 c #Conflicts: 427000 | #Constraints: 35809
451.77/453.08 c #Conflicts: 428000 | #Constraints: 36809
451.77/453.08 c #Conflicts: 429000 | #Constraints: 37809
451.77/453.08 c #Conflicts: 430000 | #Constraints: 38809
451.77/453.08 c #Conflicts: 431000 | #Constraints: 39809
451.77/453.08 c #Conflicts: 432000 | #Constraints: 40809
451.77/453.08 c #Conflicts: 433000 | #Constraints: 41809
451.77/453.08 c #Conflicts: 434000 | #Constraints: 42809
451.77/453.08 c #Conflicts: 435000 | #Constraints: 43809
451.77/453.08 c #Conflicts: 436000 | #Constraints: 44809
451.77/453.08 c #Conflicts: 437000 | #Constraints: 45809
451.77/453.08 c #Conflicts: 438000 | #Constraints: 46809
451.77/453.08 c #Conflicts: 439000 | #Constraints: 47809
451.77/453.08 c #Conflicts: 440000 | #Constraints: 48809
451.77/453.08 c #Conflicts: 441000 | #Constraints: 49809
451.77/453.08 c #Conflicts: 442000 | #Constraints: 50809
451.77/453.08 c #Conflicts: 443000 | #Constraints: 51809
451.77/453.08 c #Conflicts: 444000 | #Constraints: 52809
451.77/453.08 c #Conflicts: 445000 | #Constraints: 53809
451.77/453.08 c #Conflicts: 446000 | #Constraints: 54809
451.77/453.08 c #Conflicts: 447000 | #Constraints: 55809
451.77/453.08 c #Conflicts: 448000 | #Constraints: 56809
451.77/453.08 c #Conflicts: 449000 | #Constraints: 57809
451.77/453.08 c #Conflicts: 450000 | #Constraints: 58809
451.77/453.08 c #Conflicts: 451000 | #Constraints: 59809
451.77/453.08 c #Conflicts: 452000 | #Constraints: 60809
451.77/453.08 c #Conflicts: 453000 | #Constraints: 61809
451.77/453.08 c #Conflicts: 454000 | #Constraints: 62809
451.77/453.08 c #Conflicts: 455000 | #Constraints: 63809
451.77/453.08 c #Conflicts: 456000 | #Constraints: 64809
451.77/453.08 c #Conflicts: 457000 | #Constraints: 65809
451.77/453.08 c INPROCESSING
451.77/453.08 c GARBAGE COLLECT
451.77/453.08 c #Conflicts: 458000 | #Constraints: 35314
538.80/540.31 c #Conflicts: 459000 | #Constraints: 36314
538.80/540.31 c #Conflicts: 460000 | #Constraints: 37314
538.80/540.31 c #Conflicts: 461000 | #Constraints: 38314
538.80/540.31 c #Conflicts: 462000 | #Constraints: 39314
538.80/540.31 c #Conflicts: 463000 | #Constraints: 40314
538.80/540.31 c #Conflicts: 464000 | #Constraints: 41314
538.80/540.31 c #Conflicts: 465000 | #Constraints: 42314
538.80/540.31 c #Conflicts: 466000 | #Constraints: 43314
538.80/540.31 c #Conflicts: 467000 | #Constraints: 44314
538.80/540.31 c #Conflicts: 468000 | #Constraints: 45314
538.80/540.31 c #Conflicts: 469000 | #Constraints: 46314
538.80/540.31 c #Conflicts: 470000 | #Constraints: 47314
538.80/540.31 c #Conflicts: 471000 | #Constraints: 48314
538.80/540.31 c #Conflicts: 472000 | #Constraints: 49314
538.80/540.31 c #Conflicts: 473000 | #Constraints: 50314
538.80/540.31 c INPROCESSING
538.80/540.31 c GARBAGE COLLECT
538.80/540.31 c #Conflicts: 474000 | #Constraints: 27365
538.80/540.31 c #Conflicts: 475000 | #Constraints: 28365
538.80/540.31 c #Conflicts: 476000 | #Constraints: 29365
538.80/540.31 c #Conflicts: 477000 | #Constraints: 30365
538.80/540.31 c #Conflicts: 478000 | #Constraints: 31365
538.80/540.31 c #Conflicts: 479000 | #Constraints: 32365
538.80/540.31 c #Conflicts: 480000 | #Constraints: 33365
538.80/540.31 c #Conflicts: 481000 | #Constraints: 34365
538.80/540.31 c #Conflicts: 482000 | #Constraints: 35365
538.80/540.31 c #Conflicts: 483000 | #Constraints: 36365
538.80/540.31 c #Conflicts: 484000 | #Constraints: 37365
538.80/540.31 c #Conflicts: 485000 | #Constraints: 38365
538.80/540.31 c bounds 207 >= 201 @ 500.384
538.80/540.31 c #Conflicts: 486000 | #Constraints: 39390
538.80/540.31 c #Conflicts: 487000 | #Constraints: 40390
538.80/540.31 c #Conflicts: 488000 | #Constraints: 41390
538.80/540.31 c #Conflicts: 489000 | #Constraints: 42390
538.80/540.31 c #Conflicts: 490000 | #Constraints: 43390
538.80/540.31 c INPROCESSING
538.80/540.31 c GARBAGE COLLECT
538.80/540.31 c #Conflicts: 491000 | #Constraints: 24098
538.80/540.31 c #Conflicts: 492000 | #Constraints: 25098
538.80/540.31 c #Conflicts: 493000 | #Constraints: 26098
538.80/540.31 c #Conflicts: 494000 | #Constraints: 27098
538.80/540.31 c #Conflicts: 495000 | #Constraints: 28098
538.80/540.31 c #Conflicts: 496000 | #Constraints: 29098
538.80/540.31 c #Conflicts: 497000 | #Constraints: 30098
538.80/540.31 c #Conflicts: 498000 | #Constraints: 31098
538.80/540.31 c #Conflicts: 499000 | #Constraints: 32098
538.80/540.31 c #Conflicts: 500000 | #Constraints: 33098
538.80/540.31 c #Conflicts: 501000 | #Constraints: 34098
538.80/540.31 c #Conflicts: 502000 | #Constraints: 35098
538.80/540.31 c #Conflicts: 503000 | #Constraints: 36098
538.80/540.31 c #Conflicts: 504000 | #Constraints: 37098
538.80/540.31 c #Conflicts: 505000 | #Constraints: 38098
538.80/540.31 c #Conflicts: 506000 | #Constraints: 39098
538.80/540.31 c #Conflicts: 507000 | #Constraints: 40098
538.80/540.31 c INPROCESSING
538.80/540.31 c GARBAGE COLLECT
538.80/540.31 c #Conflicts: 508000 | #Constraints: 22565
538.80/540.31 c #Conflicts: 509000 | #Constraints: 23565
538.80/540.31 c #Conflicts: 510000 | #Constraints: 24565
538.80/540.31 c #Conflicts: 511000 | #Constraints: 25565
538.80/540.31 c #Conflicts: 512000 | #Constraints: 26565
538.80/540.31 c #Conflicts: 513000 | #Constraints: 27565
538.80/540.31 c #Conflicts: 514000 | #Constraints: 28565
538.80/540.31 c #Conflicts: 515000 | #Constraints: 29565
538.80/540.31 c #Conflicts: 516000 | #Constraints: 30565
538.80/540.31 c #Conflicts: 517000 | #Constraints: 31565
538.80/540.31 c #Conflicts: 518000 | #Constraints: 32565
538.80/540.31 c #Conflicts: 519000 | #Constraints: 33565
538.80/540.31 c #Conflicts: 520000 | #Constraints: 34565
538.80/540.31 c #Conflicts: 521000 | #Constraints: 35565
538.80/540.31 c #Conflicts: 522000 | #Constraints: 36565
538.80/540.31 c #Conflicts: 523000 | #Constraints: 37565
538.80/540.31 c #Conflicts: 524000 | #Constraints: 38565
538.80/540.31 c INPROCESSING
538.80/540.31 c GARBAGE COLLECT
538.80/540.31 c #Conflicts: 525000 | #Constraints: 21785
538.80/540.31 c #Conflicts: 526000 | #Constraints: 22785
538.80/540.31 c #Conflicts: 527000 | #Constraints: 23785
538.80/540.31 c #Conflicts: 528000 | #Constraints: 24785
538.80/540.31 c #Conflicts: 529000 | #Constraints: 25785
538.80/540.31 c #Conflicts: 530000 | #Constraints: 26785
538.80/540.31 c #Conflicts: 531000 | #Constraints: 27785
538.80/540.31 c #Conflicts: 532000 | #Constraints: 28785
538.80/540.31 c #Conflicts: 533000 | #Constraints: 29785
538.80/540.31 c #Conflicts: 534000 | #Constraints: 30785
671.31/673.26 c #Conflicts: 535000 | #Constraints: 31785
671.31/673.26 c #Conflicts: 536000 | #Constraints: 32785
671.31/673.26 c #Conflicts: 537000 | #Constraints: 33785
671.31/673.26 c #Conflicts: 538000 | #Constraints: 34785
671.31/673.26 c #Conflicts: 539000 | #Constraints: 35785
671.31/673.26 c #Conflicts: 540000 | #Constraints: 36785
671.31/673.26 c #Conflicts: 541000 | #Constraints: 37785
671.31/673.26 c INPROCESSING
671.31/673.26 c GARBAGE COLLECT
671.31/673.26 c #Conflicts: 542000 | #Constraints: 21293
671.31/673.26 c #Conflicts: 543000 | #Constraints: 22293
671.31/673.26 c #Conflicts: 544000 | #Constraints: 23293
671.31/673.26 c #Conflicts: 545000 | #Constraints: 24293
671.31/673.26 c #Conflicts: 546000 | #Constraints: 25293
671.31/673.26 c #Conflicts: 547000 | #Constraints: 26293
671.31/673.26 c #Conflicts: 548000 | #Constraints: 27293
671.31/673.26 c #Conflicts: 549000 | #Constraints: 28293
671.31/673.26 c #Conflicts: 550000 | #Constraints: 29293
671.31/673.26 c #Conflicts: 551000 | #Constraints: 30293
671.31/673.26 c #Conflicts: 552000 | #Constraints: 31293
671.31/673.26 c #Conflicts: 553000 | #Constraints: 32293
671.31/673.26 c #Conflicts: 554000 | #Constraints: 33293
671.31/673.26 c #Conflicts: 555000 | #Constraints: 34293
671.31/673.26 c #Conflicts: 556000 | #Constraints: 35293
671.31/673.26 c #Conflicts: 557000 | #Constraints: 36293
671.31/673.26 c #Conflicts: 558000 | #Constraints: 37293
671.31/673.26 c INPROCESSING
671.31/673.26 c GARBAGE COLLECT
671.31/673.26 c #Conflicts: 559000 | #Constraints: 20851
671.31/673.26 c #Conflicts: 560000 | #Constraints: 21851
671.31/673.26 c #Conflicts: 561000 | #Constraints: 22851
671.31/673.26 c #Conflicts: 562000 | #Constraints: 23851
671.31/673.26 c #Conflicts: 563000 | #Constraints: 24851
671.31/673.26 c #Conflicts: 564000 | #Constraints: 25851
671.31/673.26 c #Conflicts: 565000 | #Constraints: 26851
671.31/673.26 c #Conflicts: 566000 | #Constraints: 27851
671.31/673.26 c #Conflicts: 567000 | #Constraints: 28851
671.31/673.26 c #Conflicts: 568000 | #Constraints: 29851
671.31/673.26 c #Conflicts: 569000 | #Constraints: 30851
671.31/673.26 c #Conflicts: 570000 | #Constraints: 31851
671.31/673.26 c #Conflicts: 571000 | #Constraints: 32851
671.31/673.26 c #Conflicts: 572000 | #Constraints: 33851
671.31/673.26 c #Conflicts: 573000 | #Constraints: 34851
671.31/673.26 c #Conflicts: 574000 | #Constraints: 35851
671.31/673.26 c #Conflicts: 575000 | #Constraints: 36851
671.31/673.26 c #Conflicts: 576000 | #Constraints: 37851
671.31/673.26 c #Conflicts: 577000 | #Constraints: 38851
671.31/673.26 c #Conflicts: 578000 | #Constraints: 39851
671.31/673.26 c #Conflicts: 579000 | #Constraints: 40851
671.31/673.26 c #Conflicts: 580000 | #Constraints: 41851
671.31/673.26 c #Conflicts: 581000 | #Constraints: 42851
671.31/673.26 c #Conflicts: 582000 | #Constraints: 43851
671.31/673.26 c #Conflicts: 583000 | #Constraints: 44851
671.31/673.26 c #Conflicts: 584000 | #Constraints: 45851
671.31/673.26 c #Conflicts: 585000 | #Constraints: 46851
671.31/673.26 c #Conflicts: 586000 | #Constraints: 47851
671.31/673.26 c #Conflicts: 587000 | #Constraints: 48851
671.31/673.26 c #Conflicts: 588000 | #Constraints: 49851
671.31/673.26 c #Conflicts: 589000 | #Constraints: 50851
671.31/673.26 c #Conflicts: 590000 | #Constraints: 51851
671.31/673.26 c #Conflicts: 591000 | #Constraints: 52851
671.31/673.26 c #Conflicts: 592000 | #Constraints: 53851
671.31/673.26 c #Conflicts: 593000 | #Constraints: 54851
671.31/673.26 c #Conflicts: 594000 | #Constraints: 55851
671.31/673.26 c #Conflicts: 595000 | #Constraints: 56851
671.31/673.26 c #Conflicts: 596000 | #Constraints: 57851
671.31/673.26 c #Conflicts: 597000 | #Constraints: 58851
671.31/673.26 c #Conflicts: 598000 | #Constraints: 59851
671.31/673.26 c #Conflicts: 599000 | #Constraints: 60851
671.31/673.26 c #Conflicts: 600000 | #Constraints: 61851
671.31/673.26 c #Conflicts: 601000 | #Constraints: 62851
671.31/673.26 c #Conflicts: 602000 | #Constraints: 63851
671.31/673.26 c #Conflicts: 603000 | #Constraints: 64851
671.31/673.26 c #Conflicts: 604000 | #Constraints: 65851
671.31/673.26 c #Conflicts: 605000 | #Constraints: 66851
671.31/673.26 c #Conflicts: 606000 | #Constraints: 67851
671.31/673.26 c #Conflicts: 607000 | #Constraints: 68851
671.31/673.26 c #Conflicts: 608000 | #Constraints: 69851
671.31/673.26 c #Conflicts: 609000 | #Constraints: 70851
671.31/673.26 c #Conflicts: 610000 | #Constraints: 71851
671.31/673.26 c #Conflicts: 611000 | #Constraints: 72851
792.66/794.92 c #Conflicts: 612000 | #Constraints: 73851
792.66/794.92 c #Conflicts: 613000 | #Constraints: 74851
792.66/794.92 c #Conflicts: 614000 | #Constraints: 75851
792.66/794.92 c INPROCESSING
792.66/794.92 c GARBAGE COLLECT
792.66/794.92 c #Conflicts: 615000 | #Constraints: 39990
792.66/794.92 c #Conflicts: 616000 | #Constraints: 40990
792.66/794.92 c #Conflicts: 617000 | #Constraints: 41990
792.66/794.92 c #Conflicts: 618000 | #Constraints: 42990
792.66/794.92 c #Conflicts: 619000 | #Constraints: 43990
792.66/794.92 c #Conflicts: 620000 | #Constraints: 44990
792.66/794.92 c #Conflicts: 621000 | #Constraints: 45990
792.66/794.92 c #Conflicts: 622000 | #Constraints: 46990
792.66/794.92 c #Conflicts: 623000 | #Constraints: 47990
792.66/794.92 c #Conflicts: 624000 | #Constraints: 48990
792.66/794.92 c #Conflicts: 625000 | #Constraints: 49990
792.66/794.92 c #Conflicts: 626000 | #Constraints: 50990
792.66/794.92 c #Conflicts: 627000 | #Constraints: 51990
792.66/794.92 c #Conflicts: 628000 | #Constraints: 52990
792.66/794.92 c #Conflicts: 629000 | #Constraints: 53990
792.66/794.92 c #Conflicts: 630000 | #Constraints: 54990
792.66/794.92 c #Conflicts: 631000 | #Constraints: 55990
792.66/794.92 c #Conflicts: 632000 | #Constraints: 56990
792.66/794.92 c #Conflicts: 633000 | #Constraints: 57990
792.66/794.92 c INPROCESSING
792.66/794.92 c GARBAGE COLLECT
792.66/794.92 c #Conflicts: 634000 | #Constraints: 31211
792.66/794.92 c #Conflicts: 635000 | #Constraints: 32211
792.66/794.92 c #Conflicts: 636000 | #Constraints: 33211
792.66/794.92 c #Conflicts: 637000 | #Constraints: 34211
792.66/794.92 c #Conflicts: 638000 | #Constraints: 35211
792.66/794.92 c #Conflicts: 639000 | #Constraints: 36211
792.66/794.92 c #Conflicts: 640000 | #Constraints: 37211
792.66/794.92 c #Conflicts: 641000 | #Constraints: 38211
792.66/794.92 c #Conflicts: 642000 | #Constraints: 39211
792.66/794.92 c #Conflicts: 643000 | #Constraints: 40211
792.66/794.92 c #Conflicts: 644000 | #Constraints: 41211
792.66/794.92 c #Conflicts: 645000 | #Constraints: 42211
792.66/794.92 c #Conflicts: 646000 | #Constraints: 43211
792.66/794.92 c #Conflicts: 647000 | #Constraints: 44211
792.66/794.92 c #Conflicts: 648000 | #Constraints: 45211
792.66/794.92 c #Conflicts: 649000 | #Constraints: 46211
792.66/794.92 c #Conflicts: 650000 | #Constraints: 47211
792.66/794.92 c #Conflicts: 651000 | #Constraints: 48211
792.66/794.92 c #Conflicts: 652000 | #Constraints: 49211
792.66/794.92 c INPROCESSING
792.66/794.92 c GARBAGE COLLECT
792.66/794.92 c #Conflicts: 653000 | #Constraints: 26882
792.66/794.92 c #Conflicts: 654000 | #Constraints: 27882
792.66/794.92 c #Conflicts: 655000 | #Constraints: 28882
792.66/794.92 c #Conflicts: 656000 | #Constraints: 29882
792.66/794.92 c #Conflicts: 657000 | #Constraints: 30882
792.66/794.92 c #Conflicts: 658000 | #Constraints: 31882
792.66/794.92 c #Conflicts: 659000 | #Constraints: 32882
792.66/794.92 c #Conflicts: 660000 | #Constraints: 33882
792.66/794.92 c #Conflicts: 661000 | #Constraints: 34882
792.66/794.92 c #Conflicts: 662000 | #Constraints: 35882
792.66/794.92 c #Conflicts: 663000 | #Constraints: 36882
792.66/794.92 c #Conflicts: 664000 | #Constraints: 37882
792.66/794.92 c #Conflicts: 665000 | #Constraints: 38882
792.66/794.92 c #Conflicts: 666000 | #Constraints: 39882
792.66/794.92 c #Conflicts: 667000 | #Constraints: 40882
792.66/794.92 c #Conflicts: 668000 | #Constraints: 41882
792.66/794.92 c #Conflicts: 669000 | #Constraints: 42882
792.66/794.92 c #Conflicts: 670000 | #Constraints: 43882
792.66/794.92 c #Conflicts: 671000 | #Constraints: 44882
792.66/794.92 c INPROCESSING
792.66/794.92 c GARBAGE COLLECT
792.66/794.92 c #Conflicts: 672000 | #Constraints: 24654
792.66/794.92 c #Conflicts: 673000 | #Constraints: 25654
792.66/794.92 c #Conflicts: 674000 | #Constraints: 26654
792.66/794.92 c #Conflicts: 675000 | #Constraints: 27654
792.66/794.92 c #Conflicts: 676000 | #Constraints: 28654
792.66/794.92 c #Conflicts: 677000 | #Constraints: 29654
792.66/794.92 c #Conflicts: 678000 | #Constraints: 30654
792.66/794.92 c #Conflicts: 679000 | #Constraints: 31654
792.66/794.92 c #Conflicts: 680000 | #Constraints: 32654
792.66/794.92 c #Conflicts: 681000 | #Constraints: 33654
792.66/794.92 c #Conflicts: 682000 | #Constraints: 34654
792.66/794.92 c #Conflicts: 683000 | #Constraints: 35654
792.66/794.92 c #Conflicts: 684000 | #Constraints: 36654
792.66/794.92 c #Conflicts: 685000 | #Constraints: 37654
792.66/794.92 c #Conflicts: 686000 | #Constraints: 38654
792.66/794.92 c #Conflicts: 687000 | #Constraints: 39654
792.66/794.92 c #Conflicts: 688000 | #Constraints: 40654
867.25/869.74 c #Conflicts: 689000 | #Constraints: 41654
867.25/869.74 c #Conflicts: 690000 | #Constraints: 42654
867.25/869.74 c INPROCESSING
867.25/869.74 c GARBAGE COLLECT
867.25/869.74 c #Conflicts: 691000 | #Constraints: 23384
867.25/869.74 c #Conflicts: 692000 | #Constraints: 24384
867.25/869.74 c #Conflicts: 693000 | #Constraints: 25384
867.25/869.74 c #Conflicts: 694000 | #Constraints: 26384
867.25/869.74 c #Conflicts: 695000 | #Constraints: 27384
867.25/869.74 c #Conflicts: 696000 | #Constraints: 28384
867.25/869.74 c #Conflicts: 697000 | #Constraints: 29384
867.25/869.74 c #Conflicts: 698000 | #Constraints: 30384
867.25/869.74 c #Conflicts: 699000 | #Constraints: 31384
867.25/869.74 c #Conflicts: 700000 | #Constraints: 32384
867.25/869.74 c #Conflicts: 701000 | #Constraints: 33384
867.25/869.74 c #Conflicts: 702000 | #Constraints: 34384
867.25/869.74 c #Conflicts: 703000 | #Constraints: 35384
867.25/869.74 c #Conflicts: 704000 | #Constraints: 36384
867.25/869.74 c #Conflicts: 705000 | #Constraints: 37384
867.25/869.74 c #Conflicts: 706000 | #Constraints: 38384
867.25/869.74 c #Conflicts: 707000 | #Constraints: 39384
867.25/869.74 c #Conflicts: 708000 | #Constraints: 40384
867.25/869.74 c #Conflicts: 709000 | #Constraints: 41384
867.25/869.74 c #Conflicts: 710000 | #Constraints: 42384
867.25/869.74 c INPROCESSING
867.25/869.74 c GARBAGE COLLECT
867.25/869.74 c #Conflicts: 711000 | #Constraints: 23511
867.25/869.74 c #Conflicts: 712000 | #Constraints: 24511
867.25/869.74 c #Conflicts: 713000 | #Constraints: 25511
867.25/869.74 c #Conflicts: 714000 | #Constraints: 26511
867.25/869.74 c #Conflicts: 715000 | #Constraints: 27511
867.25/869.74 c #Conflicts: 716000 | #Constraints: 28511
867.25/869.74 c #Conflicts: 717000 | #Constraints: 29511
867.25/869.74 c #Conflicts: 718000 | #Constraints: 30511
867.25/869.74 c #Conflicts: 719000 | #Constraints: 31511
867.25/869.74 c #Conflicts: 720000 | #Constraints: 32511
867.25/869.74 c #Conflicts: 721000 | #Constraints: 33511
867.25/869.74 c #Conflicts: 722000 | #Constraints: 34511
867.25/869.74 c #Conflicts: 723000 | #Constraints: 35511
867.25/869.74 c #Conflicts: 724000 | #Constraints: 36511
867.25/869.74 c #Conflicts: 725000 | #Constraints: 37511
867.25/869.74 c #Conflicts: 726000 | #Constraints: 38511
867.25/869.74 c #Conflicts: 727000 | #Constraints: 39511
867.25/869.74 c #Conflicts: 728000 | #Constraints: 40511
867.25/869.74 c #Conflicts: 729000 | #Constraints: 41511
867.25/869.74 c #Conflicts: 730000 | #Constraints: 42511
867.25/869.74 c INPROCESSING
867.25/869.74 c GARBAGE COLLECT
867.25/869.74 c #Conflicts: 731000 | #Constraints: 23736
867.25/869.74 c #Conflicts: 732000 | #Constraints: 24736
867.25/869.74 c #Conflicts: 733000 | #Constraints: 25736
867.25/869.74 c #Conflicts: 734000 | #Constraints: 26736
867.25/869.74 c #Conflicts: 735000 | #Constraints: 27736
867.25/869.74 c #Conflicts: 736000 | #Constraints: 28736
867.25/869.74 c #Conflicts: 737000 | #Constraints: 29736
867.25/869.74 c #Conflicts: 738000 | #Constraints: 30736
867.25/869.74 c #Conflicts: 739000 | #Constraints: 31736
867.25/869.74 c #Conflicts: 740000 | #Constraints: 32736
867.25/869.74 c #Conflicts: 741000 | #Constraints: 33736
867.25/869.74 c #Conflicts: 742000 | #Constraints: 34736
867.25/869.74 c #Conflicts: 743000 | #Constraints: 35736
867.25/869.74 c #Conflicts: 744000 | #Constraints: 36736
867.25/869.74 c #Conflicts: 745000 | #Constraints: 37736
867.25/869.74 c #Conflicts: 746000 | #Constraints: 38736
867.25/869.74 c #Conflicts: 747000 | #Constraints: 39736
867.25/869.74 c #Conflicts: 748000 | #Constraints: 40736
867.25/869.74 c #Conflicts: 749000 | #Constraints: 41736
867.25/869.74 c #Conflicts: 750000 | #Constraints: 42736
867.25/869.74 c #Conflicts: 751000 | #Constraints: 43736
867.25/869.74 c #Conflicts: 752000 | #Constraints: 44736
867.25/869.74 c #Conflicts: 753000 | #Constraints: 45736
867.25/869.74 c #Conflicts: 754000 | #Constraints: 46736
867.25/869.74 c #Conflicts: 755000 | #Constraints: 47736
867.25/869.74 c #Conflicts: 756000 | #Constraints: 48736
867.25/869.74 c #Conflicts: 757000 | #Constraints: 49736
867.25/869.74 c #Conflicts: 758000 | #Constraints: 50736
867.25/869.74 c #Conflicts: 759000 | #Constraints: 51736
867.25/869.74 c #Conflicts: 760000 | #Constraints: 52736
867.25/869.74 c #Conflicts: 761000 | #Constraints: 53736
867.25/869.74 c #Conflicts: 762000 | #Constraints: 54736
867.25/869.74 c #Conflicts: 763000 | #Constraints: 55736
867.25/869.74 c #Conflicts: 764000 | #Constraints: 56736
1036.30/1039.20 c #Conflicts: 765000 | #Constraints: 57736
1036.30/1039.20 c #Conflicts: 766000 | #Constraints: 58736
1036.30/1039.20 c #Conflicts: 767000 | #Constraints: 59736
1036.30/1039.20 c #Conflicts: 768000 | #Constraints: 60736
1036.30/1039.20 c #Conflicts: 769000 | #Constraints: 61736
1036.30/1039.20 c #Conflicts: 770000 | #Constraints: 62736
1036.30/1039.20 c #Conflicts: 771000 | #Constraints: 63736
1036.30/1039.20 c #Conflicts: 772000 | #Constraints: 64736
1036.30/1039.20 c #Conflicts: 773000 | #Constraints: 65736
1036.30/1039.20 c #Conflicts: 774000 | #Constraints: 66736
1036.30/1039.20 c #Conflicts: 775000 | #Constraints: 67736
1036.30/1039.20 c #Conflicts: 776000 | #Constraints: 68736
1036.30/1039.20 c #Conflicts: 777000 | #Constraints: 69736
1036.30/1039.20 c #Conflicts: 778000 | #Constraints: 70736
1036.30/1039.20 c #Conflicts: 779000 | #Constraints: 71736
1036.30/1039.20 c #Conflicts: 780000 | #Constraints: 72736
1036.30/1039.20 c #Conflicts: 781000 | #Constraints: 73736
1036.30/1039.20 c #Conflicts: 782000 | #Constraints: 74736
1036.30/1039.20 c #Conflicts: 783000 | #Constraints: 75736
1036.30/1039.20 c #Conflicts: 784000 | #Constraints: 76736
1036.30/1039.20 c #Conflicts: 785000 | #Constraints: 77736
1036.30/1039.20 c #Conflicts: 786000 | #Constraints: 78736
1036.30/1039.20 c #Conflicts: 787000 | #Constraints: 79736
1036.30/1039.20 c #Conflicts: 788000 | #Constraints: 80736
1036.30/1039.20 c #Conflicts: 789000 | #Constraints: 81736
1036.30/1039.20 c #Conflicts: 790000 | #Constraints: 82736
1036.30/1039.20 c #Conflicts: 791000 | #Constraints: 83736
1036.30/1039.20 c #Conflicts: 792000 | #Constraints: 84736
1036.30/1039.20 c #Conflicts: 793000 | #Constraints: 85736
1036.30/1039.20 c #Conflicts: 794000 | #Constraints: 86736
1036.30/1039.20 c #Conflicts: 795000 | #Constraints: 87736
1036.30/1039.20 c INPROCESSING
1036.30/1039.20 c GARBAGE COLLECT
1036.30/1039.20 c #Conflicts: 796000 | #Constraints: 46379
1036.30/1039.20 c #Conflicts: 797000 | #Constraints: 47379
1036.30/1039.20 c #Conflicts: 798000 | #Constraints: 48379
1036.30/1039.20 c #Conflicts: 799000 | #Constraints: 49379
1036.30/1039.20 c #Conflicts: 800000 | #Constraints: 50379
1036.30/1039.20 c #Conflicts: 801000 | #Constraints: 51379
1036.30/1039.20 c #Conflicts: 802000 | #Constraints: 52379
1036.30/1039.20 c #Conflicts: 803000 | #Constraints: 53379
1036.30/1039.20 c #Conflicts: 804000 | #Constraints: 54379
1036.30/1039.20 c #Conflicts: 805000 | #Constraints: 55379
1036.30/1039.20 c #Conflicts: 806000 | #Constraints: 56379
1036.30/1039.20 c bounds 207 >= 202 @ 989.161
1036.30/1039.20 c #Conflicts: 807000 | #Constraints: 57389
1036.30/1039.20 c #Conflicts: 808000 | #Constraints: 58389
1036.30/1039.20 c #Conflicts: 809000 | #Constraints: 59389
1036.30/1039.20 c #Conflicts: 810000 | #Constraints: 60389
1036.30/1039.20 c #Conflicts: 811000 | #Constraints: 61389
1036.30/1039.20 c #Conflicts: 812000 | #Constraints: 62389
1036.30/1039.20 c #Conflicts: 813000 | #Constraints: 63389
1036.30/1039.20 c #Conflicts: 814000 | #Constraints: 64389
1036.30/1039.20 c #Conflicts: 815000 | #Constraints: 65389
1036.30/1039.20 c #Conflicts: 816000 | #Constraints: 66389
1036.30/1039.20 c INPROCESSING
1036.30/1039.20 c GARBAGE COLLECT
1036.30/1039.20 c #Conflicts: 817000 | #Constraints: 35708
1036.30/1039.20 c #Conflicts: 818000 | #Constraints: 36708
1036.30/1039.20 c #Conflicts: 819000 | #Constraints: 37708
1036.30/1039.20 c #Conflicts: 820000 | #Constraints: 38708
1036.30/1039.20 c #Conflicts: 821000 | #Constraints: 39708
1036.30/1039.20 c #Conflicts: 822000 | #Constraints: 40708
1036.30/1039.20 c #Conflicts: 823000 | #Constraints: 41708
1036.30/1039.20 c #Conflicts: 824000 | #Constraints: 42708
1036.30/1039.20 c #Conflicts: 825000 | #Constraints: 43708
1036.30/1039.20 c #Conflicts: 826000 | #Constraints: 44708
1036.30/1039.20 c #Conflicts: 827000 | #Constraints: 45708
1036.30/1039.20 c #Conflicts: 828000 | #Constraints: 46708
1036.30/1039.20 c #Conflicts: 829000 | #Constraints: 47708
1036.30/1039.20 c #Conflicts: 830000 | #Constraints: 48708
1036.30/1039.20 c #Conflicts: 831000 | #Constraints: 49708
1036.30/1039.20 c #Conflicts: 832000 | #Constraints: 50708
1036.30/1039.20 c #Conflicts: 833000 | #Constraints: 51708
1036.30/1039.20 c #Conflicts: 834000 | #Constraints: 52708
1036.30/1039.20 c #Conflicts: 835000 | #Constraints: 53708
1036.30/1039.20 c #Conflicts: 836000 | #Constraints: 54708
1036.30/1039.20 c #Conflicts: 837000 | #Constraints: 55708
1036.30/1039.20 c INPROCESSING
1036.30/1039.20 c GARBAGE COLLECT
1036.30/1039.20 c #Conflicts: 838000 | #Constraints: 30268
1036.30/1039.20 c #Conflicts: 839000 | #Constraints: 31268
1036.30/1039.20 c #Conflicts: 840000 | #Constraints: 32268
1036.30/1039.20 c #Conflicts: 841000 | #Constraints: 33268
1096.35/1099.47 c #Conflicts: 842000 | #Constraints: 34268
1096.35/1099.47 c #Conflicts: 843000 | #Constraints: 35268
1096.35/1099.47 c #Conflicts: 844000 | #Constraints: 36268
1096.35/1099.47 c #Conflicts: 845000 | #Constraints: 37268
1096.35/1099.47 c #Conflicts: 846000 | #Constraints: 38268
1096.35/1099.47 c #Conflicts: 847000 | #Constraints: 39268
1096.35/1099.47 c #Conflicts: 848000 | #Constraints: 40268
1096.35/1099.47 c #Conflicts: 849000 | #Constraints: 41268
1096.35/1099.47 c #Conflicts: 850000 | #Constraints: 42268
1096.35/1099.47 c #Conflicts: 851000 | #Constraints: 43268
1096.35/1099.47 c #Conflicts: 852000 | #Constraints: 44268
1096.35/1099.47 c #Conflicts: 853000 | #Constraints: 45268
1096.35/1099.47 c #Conflicts: 854000 | #Constraints: 46268
1096.35/1099.47 c #Conflicts: 855000 | #Constraints: 47268
1096.35/1099.47 c #Conflicts: 856000 | #Constraints: 48268
1096.35/1099.47 c #Conflicts: 857000 | #Constraints: 49268
1096.35/1099.47 c #Conflicts: 858000 | #Constraints: 50268
1096.35/1099.47 c INPROCESSING
1096.35/1099.47 c GARBAGE COLLECT
1096.35/1099.47 c #Conflicts: 859000 | #Constraints: 27350
1096.35/1099.47 c #Conflicts: 860000 | #Constraints: 28350
1096.35/1099.47 c #Conflicts: 861000 | #Constraints: 29350
1096.35/1099.47 c #Conflicts: 862000 | #Constraints: 30350
1096.35/1099.47 c #Conflicts: 863000 | #Constraints: 31350
1096.35/1099.47 c #Conflicts: 864000 | #Constraints: 32350
1096.35/1099.47 c #Conflicts: 865000 | #Constraints: 33350
1096.35/1099.47 c #Conflicts: 866000 | #Constraints: 34350
1096.35/1099.47 c #Conflicts: 867000 | #Constraints: 35350
1096.35/1099.47 c #Conflicts: 868000 | #Constraints: 36350
1096.35/1099.47 c #Conflicts: 869000 | #Constraints: 37350
1096.35/1099.47 c #Conflicts: 870000 | #Constraints: 38350
1096.35/1099.47 c #Conflicts: 871000 | #Constraints: 39350
1096.35/1099.47 c #Conflicts: 872000 | #Constraints: 40350
1096.35/1099.47 c #Conflicts: 873000 | #Constraints: 41350
1096.35/1099.47 c #Conflicts: 874000 | #Constraints: 42350
1096.35/1099.47 c #Conflicts: 875000 | #Constraints: 43350
1096.35/1099.47 c #Conflicts: 876000 | #Constraints: 44350
1096.35/1099.47 c #Conflicts: 877000 | #Constraints: 45350
1096.35/1099.47 c #Conflicts: 878000 | #Constraints: 46350
1096.35/1099.47 c #Conflicts: 879000 | #Constraints: 47350
1096.35/1099.47 c #Conflicts: 880000 | #Constraints: 48350
1096.35/1099.47 c INPROCESSING
1096.35/1099.47 c GARBAGE COLLECT
1096.35/1099.47 c #Conflicts: 881000 | #Constraints: 26608
1096.35/1099.47 c #Conflicts: 882000 | #Constraints: 27608
1096.35/1099.47 c #Conflicts: 883000 | #Constraints: 28608
1096.35/1099.47 c #Conflicts: 884000 | #Constraints: 29608
1096.35/1099.47 c #Conflicts: 885000 | #Constraints: 30608
1096.35/1099.47 c #Conflicts: 886000 | #Constraints: 31608
1096.35/1099.47 c #Conflicts: 887000 | #Constraints: 32608
1096.35/1099.47 c #Conflicts: 888000 | #Constraints: 33608
1096.35/1099.47 c #Conflicts: 889000 | #Constraints: 34608
1096.35/1099.47 c #Conflicts: 890000 | #Constraints: 35608
1096.35/1099.47 c #Conflicts: 891000 | #Constraints: 36608
1096.35/1099.47 c #Conflicts: 892000 | #Constraints: 37608
1096.35/1099.47 c #Conflicts: 893000 | #Constraints: 38608
1096.35/1099.47 c #Conflicts: 894000 | #Constraints: 39608
1096.35/1099.47 c #Conflicts: 895000 | #Constraints: 40608
1096.35/1099.47 c #Conflicts: 896000 | #Constraints: 41608
1096.35/1099.47 c #Conflicts: 897000 | #Constraints: 42608
1096.35/1099.47 c #Conflicts: 898000 | #Constraints: 43608
1096.35/1099.47 c #Conflicts: 899000 | #Constraints: 44608
1096.35/1099.47 c #Conflicts: 900000 | #Constraints: 45608
1096.35/1099.47 c #Conflicts: 901000 | #Constraints: 46608
1096.35/1099.47 c #Conflicts: 902000 | #Constraints: 47608
1096.35/1099.47 c INPROCESSING
1096.35/1099.47 c GARBAGE COLLECT
1096.35/1099.47 c #Conflicts: 903000 | #Constraints: 26307
1096.35/1099.47 c #Conflicts: 904000 | #Constraints: 27307
1096.35/1099.47 c #Conflicts: 905000 | #Constraints: 28307
1096.35/1099.47 c #Conflicts: 906000 | #Constraints: 29307
1096.35/1099.47 c #Conflicts: 907000 | #Constraints: 30307
1096.35/1099.47 c #Conflicts: 908000 | #Constraints: 31307
1096.35/1099.47 c #Conflicts: 909000 | #Constraints: 32307
1096.35/1099.47 c #Conflicts: 910000 | #Constraints: 33307
1096.35/1099.47 c #Conflicts: 911000 | #Constraints: 34307
1096.35/1099.47 c #Conflicts: 912000 | #Constraints: 35307
1096.35/1099.47 c #Conflicts: 913000 | #Constraints: 36307
1096.35/1099.47 c #Conflicts: 914000 | #Constraints: 37307
1096.35/1099.47 c #Conflicts: 915000 | #Constraints: 38307
1096.35/1099.47 c #Conflicts: 916000 | #Constraints: 39307
1096.35/1099.47 c #Conflicts: 917000 | #Constraints: 40307
1096.35/1099.47 c #Conflicts: 918000 | #Constraints: 41307
1264.02/1267.55 c #Conflicts: 919000 | #Constraints: 42307
1264.02/1267.55 c #Conflicts: 920000 | #Constraints: 43307
1264.02/1267.55 c #Conflicts: 921000 | #Constraints: 44307
1264.02/1267.55 c #Conflicts: 922000 | #Constraints: 45307
1264.02/1267.55 c #Conflicts: 923000 | #Constraints: 46307
1264.02/1267.55 c #Conflicts: 924000 | #Constraints: 47307
1264.02/1267.55 c #Conflicts: 925000 | #Constraints: 48307
1264.02/1267.55 c #Conflicts: 926000 | #Constraints: 49307
1264.02/1267.55 c #Conflicts: 927000 | #Constraints: 50307
1264.02/1267.55 c #Conflicts: 928000 | #Constraints: 51307
1264.02/1267.55 c #Conflicts: 929000 | #Constraints: 52307
1264.02/1267.55 c #Conflicts: 930000 | #Constraints: 53307
1264.02/1267.55 c #Conflicts: 931000 | #Constraints: 54307
1264.02/1267.55 c #Conflicts: 932000 | #Constraints: 55307
1264.02/1267.55 c #Conflicts: 933000 | #Constraints: 56307
1264.02/1267.55 c #Conflicts: 934000 | #Constraints: 57307
1264.02/1267.55 c #Conflicts: 935000 | #Constraints: 58307
1264.02/1267.55 c #Conflicts: 936000 | #Constraints: 59307
1264.02/1267.55 c #Conflicts: 937000 | #Constraints: 60307
1264.02/1267.55 c #Conflicts: 938000 | #Constraints: 61307
1264.02/1267.55 c #Conflicts: 939000 | #Constraints: 62307
1264.02/1267.55 c #Conflicts: 940000 | #Constraints: 63307
1264.02/1267.55 c #Conflicts: 941000 | #Constraints: 64307
1264.02/1267.55 c #Conflicts: 942000 | #Constraints: 65307
1264.02/1267.55 c #Conflicts: 943000 | #Constraints: 66307
1264.02/1267.55 c #Conflicts: 944000 | #Constraints: 67307
1264.02/1267.55 c #Conflicts: 945000 | #Constraints: 68307
1264.02/1267.55 c #Conflicts: 946000 | #Constraints: 69307
1264.02/1267.55 c #Conflicts: 947000 | #Constraints: 70307
1264.02/1267.55 c #Conflicts: 948000 | #Constraints: 71307
1264.02/1267.55 c #Conflicts: 949000 | #Constraints: 72307
1264.02/1267.55 c #Conflicts: 950000 | #Constraints: 73307
1264.02/1267.55 c #Conflicts: 951000 | #Constraints: 74307
1264.02/1267.55 c #Conflicts: 952000 | #Constraints: 75307
1264.02/1267.55 c #Conflicts: 953000 | #Constraints: 76307
1264.02/1267.55 c #Conflicts: 954000 | #Constraints: 77307
1264.02/1267.55 c #Conflicts: 955000 | #Constraints: 78307
1264.02/1267.55 c #Conflicts: 956000 | #Constraints: 79307
1264.02/1267.55 c bounds 207 >= 203 @ 1166.26
1264.02/1267.55 c #Conflicts: 957000 | #Constraints: 80310
1264.02/1267.55 c #Conflicts: 958000 | #Constraints: 81310
1264.02/1267.55 c #Conflicts: 959000 | #Constraints: 82310
1264.02/1267.55 c #Conflicts: 960000 | #Constraints: 83310
1264.02/1267.55 c #Conflicts: 961000 | #Constraints: 84310
1264.02/1267.55 c #Conflicts: 962000 | #Constraints: 85310
1264.02/1267.55 c #Conflicts: 963000 | #Constraints: 86310
1264.02/1267.55 c #Conflicts: 964000 | #Constraints: 87310
1264.02/1267.55 c #Conflicts: 965000 | #Constraints: 88310
1264.02/1267.55 c #Conflicts: 966000 | #Constraints: 89310
1264.02/1267.55 c #Conflicts: 967000 | #Constraints: 90310
1264.02/1267.55 c #Conflicts: 968000 | #Constraints: 91310
1264.02/1267.55 c #Conflicts: 969000 | #Constraints: 92310
1264.02/1267.55 c #Conflicts: 970000 | #Constraints: 93310
1264.02/1267.55 c #Conflicts: 971000 | #Constraints: 94310
1264.02/1267.55 c #Conflicts: 972000 | #Constraints: 95310
1264.02/1267.55 c #Conflicts: 973000 | #Constraints: 96310
1264.02/1267.55 c #Conflicts: 974000 | #Constraints: 97310
1264.02/1267.55 c INPROCESSING
1264.02/1267.55 c GARBAGE COLLECT
1264.02/1267.55 c #Conflicts: 975000 | #Constraints: 38448
1264.02/1267.55 c #Conflicts: 976000 | #Constraints: 39448
1264.02/1267.55 c #Conflicts: 977000 | #Constraints: 40448
1264.02/1267.55 c #Conflicts: 978000 | #Constraints: 41448
1264.02/1267.55 c #Conflicts: 979000 | #Constraints: 42448
1264.02/1267.55 c #Conflicts: 980000 | #Constraints: 43448
1264.02/1267.55 c #Conflicts: 981000 | #Constraints: 44448
1264.02/1267.55 c #Conflicts: 982000 | #Constraints: 45448
1264.02/1267.55 c #Conflicts: 983000 | #Constraints: 46448
1264.02/1267.55 c #Conflicts: 984000 | #Constraints: 47448
1264.02/1267.55 c #Conflicts: 985000 | #Constraints: 48448
1264.02/1267.55 c #Conflicts: 986000 | #Constraints: 49448
1264.02/1267.55 c #Conflicts: 987000 | #Constraints: 50448
1264.02/1267.55 c #Conflicts: 988000 | #Constraints: 51448
1264.02/1267.55 c #Conflicts: 989000 | #Constraints: 52448
1264.02/1267.55 c #Conflicts: 990000 | #Constraints: 53448
1264.02/1267.55 c #Conflicts: 991000 | #Constraints: 54448
1264.02/1267.55 c #Conflicts: 992000 | #Constraints: 55448
1264.02/1267.55 c #Conflicts: 993000 | #Constraints: 56448
1264.02/1267.55 c #Conflicts: 994000 | #Constraints: 57448
1264.02/1267.55 c #Conflicts: 995000 | #Constraints: 58448
1302.22/1305.80 c #Conflicts: 996000 | #Constraints: 59448
1302.22/1305.80 c #Conflicts: 997000 | #Constraints: 60448
1302.22/1305.80 c INPROCESSING
1302.22/1305.80 c GARBAGE COLLECT
1302.22/1305.80 c #Conflicts: 998000 | #Constraints: 32504
1302.22/1305.80 c #Conflicts: 999000 | #Constraints: 33504
1302.22/1305.80 c #Conflicts: 1000000 | #Constraints: 34504
1302.22/1305.80 c #Conflicts: 1001000 | #Constraints: 35504
1302.22/1305.80 c #Conflicts: 1002000 | #Constraints: 36504
1302.22/1305.80 c #Conflicts: 1003000 | #Constraints: 37504
1302.22/1305.80 c #Conflicts: 1004000 | #Constraints: 38504
1302.22/1305.80 c #Conflicts: 1005000 | #Constraints: 39504
1302.22/1305.80 c #Conflicts: 1006000 | #Constraints: 40504
1302.22/1305.80 c #Conflicts: 1007000 | #Constraints: 41504
1302.22/1305.80 c #Conflicts: 1008000 | #Constraints: 42504
1302.22/1305.80 c bounds 207 >= 204 @ 1274.42
1302.22/1305.80 c #Conflicts: 1009000 | #Constraints: 43507
1302.22/1305.80 c #Conflicts: 1010000 | #Constraints: 44507
1302.22/1305.80 c #Conflicts: 1011000 | #Constraints: 45507
1302.22/1305.80 c #Conflicts: 1012000 | #Constraints: 46507
1302.22/1305.80 c #Conflicts: 1013000 | #Constraints: 47507
1302.22/1305.80 c #Conflicts: 1014000 | #Constraints: 48507
1302.22/1305.80 c #Conflicts: 1015000 | #Constraints: 49507
1302.22/1305.80 c #Conflicts: 1016000 | #Constraints: 50507
1302.22/1305.80 c #Conflicts: 1017000 | #Constraints: 51507
1302.22/1305.80 c #Conflicts: 1018000 | #Constraints: 52507
1302.22/1305.80 c #Conflicts: 1019000 | #Constraints: 53507
1302.22/1305.80 c #Conflicts: 1020000 | #Constraints: 54507
1302.22/1305.80 c INPROCESSING
1302.22/1305.80 c GARBAGE COLLECT
1302.22/1305.80 c #Conflicts: 1021000 | #Constraints: 27861
1302.22/1305.80 c #Conflicts: 1022000 | #Constraints: 28861
1302.22/1305.80 c #Conflicts: 1023000 | #Constraints: 29861
1302.22/1305.80 c #Conflicts: 1024000 | #Constraints: 30861
1302.22/1305.80 c #Conflicts: 1025000 | #Constraints: 31861
1302.22/1305.80 c #Conflicts: 1026000 | #Constraints: 32861
1302.22/1305.80 c #Conflicts: 1027000 | #Constraints: 33861
1302.22/1305.80 c #Conflicts: 1028000 | #Constraints: 34861
1302.22/1305.80 c #Conflicts: 1029000 | #Constraints: 35861
1302.22/1305.80 c #Conflicts: 1030000 | #Constraints: 36861
1302.22/1305.80 c #Conflicts: 1031000 | #Constraints: 37861
1302.22/1305.80 c #Conflicts: 1032000 | #Constraints: 38861
1302.22/1305.80 c #Conflicts: 1033000 | #Constraints: 39861
1302.22/1305.80 c #Conflicts: 1034000 | #Constraints: 40861
1302.22/1305.80 c bounds 207 >= 204 @ 1297.61
1302.22/1305.80 d SOLVEDBY oll
1302.22/1305.80 c cpu time 1297.61 s
1302.22/1305.80 c deterministic time 160681107579 1.61e+11
1302.22/1305.80 c optimization time 3.93966 s
1302.22/1305.80 c total solve time 1293.65 s
1302.22/1305.80 c core-guided solve time 1293.65 s
1302.22/1305.80 c propagation time 1113.57 s
1302.22/1305.80 c conflict analysis time 171.583 s
1302.22/1305.80 c propagations 110724860
1302.22/1305.80 c resolve steps 27461134
1302.22/1305.80 c decisions 2235839
1302.22/1305.80 c conflicts 1034521
1302.22/1305.80 c restarts 2046
1302.22/1305.80 c inprocessing phases 58
1302.22/1305.80 c input clauses 2742
1302.22/1305.80 c input cardinalities 379
1302.22/1305.80 c input general constraints 200
1302.22/1305.80 c input average constraint length 21.43
1302.22/1305.80 c input average constraint degree 8.22
1302.22/1305.80 c learned clauses 843371
1302.22/1305.80 c learned cardinalities 33303
1302.22/1305.80 c learned general constraints 157832
1302.22/1305.80 c learned average constraint length 208.53
1302.22/1305.80 c learned average constraint degree 1865.21
1302.22/1305.80 c watched constraints 126797
1302.22/1305.80 c counting constraints 31235
1302.22/1305.80 c gcd simplifications 42781
1302.22/1305.80 c detected cardinalities 135
1302.22/1305.80 c weakened non-implied lits 41245090
1302.22/1305.80 c weakened non-implying lits 224894
1302.22/1305.80 c original variables 498
1302.22/1305.80 c clausal propagations 74160465
1302.22/1305.80 c cardinality propagations 10308264
1302.22/1305.80 c watched propagations 9364138
1302.22/1305.80 c counting propagations 13471208
1302.22/1305.80 c watch lookups 24712016155
1302.22/1305.80 c watch backjump lookups 13021935143
1302.22/1305.80 c watch checks 121016062913
1302.22/1305.80 c propagation checks 1092776051
1302.22/1305.80 c constraint additions 611361479
1302.22/1305.80 c trail pops 113995138
1302.22/1305.80 c formula constraints 2431
1302.22/1305.80 c learned constraints 1034506
1302.22/1305.80 c bound constraints 101
1302.22/1305.80 c core-guided constraints 789
1302.22/1305.80 c encountered formula constraints 19723565
1302.22/1305.80 c encountered learned constraints 7513773
1302.22/1305.80 c encountered bound constraints 538
1302.22/1305.80 c encountered core-guided constraints 1257779
1302.22/1305.80 c LP total time 0 s
1302.22/1305.80 c LP solve time 0 s
1302.22/1305.80 c LP constraints added 0
1302.22/1305.80 c LP constraints removed 0
1302.22/1305.80 c LP pivots internal 0
1302.22/1305.80 c LP pivots root 0
1302.22/1305.80 c LP calls 0
1302.22/1305.80 c LP optimalities 0
1302.22/1305.80 c LP no pivot count 0
1302.22/1305.80 c LP infeasibilities 0
1302.22/1305.80 c LP valid Farkas constraints 0
1302.22/1305.80 c LP learned Farkas constraints 0
1302.22/1305.80 c LP basis resets 0
1302.22/1305.80 c LP cycling count 0
1302.22/1305.80 c LP singular count 0
1302.22/1305.80 c LP no primal count 0
1302.22/1305.80 c LP no farkas count 0
1302.22/1305.80 c LP other issue count 0
1302.22/1305.80 c LP Gomory cuts 0
1302.22/1305.80 c LP learned cuts 0
1302.22/1305.80 c LP deleted cuts 0
1302.22/1305.80 c LP encountered Gomory constraints 0
1302.22/1305.80 c LP encountered Farkas constraints 0
1302.22/1305.80 c LP encountered learned Farkas constraints 0
1302.22/1305.80 c CG auxiliary variables introduced 363
1302.22/1305.80 c CG solutions found 2
1302.22/1305.80 c CG cores constructed 61
1302.22/1305.80 c CG core cardinality constraints returned 0
1302.22/1305.80 c CG unit cores 2
1302.22/1305.80 c CG single cores 59
1302.22/1305.80 c CG blocks removed during cardinality reduction 0
1302.22/1305.80 c CG first core best 0
1302.22/1305.80 c CG decision core best 0
1302.22/1305.80 c CG core reduction tie 0
1302.22/1305.80 c CG core degree average 1.00
1302.22/1305.80 c CG core slack average 8.73
1302.22/1305.80 c CG exhausted 19
1302.22/1305.80 c CG exhaust time 3.9212 s
1302.22/1305.80 c CG trimmed 12
1302.22/1305.80 c CG trim time 0.002187 s
1302.22/1305.80 c CG minimized 0
1302.22/1305.80 c CG minimize time 0 s
1302.22/1305.80 c CG am1 prop time 0.002343 s
1302.22/1305.80 c CG # am1s reformulated 124
1302.22/1305.80 c CG lower bound derived from am1s 124
1302.22/1305.80 c CG # clausal cores 59
1302.22/1305.80 c CG # cardinality cores 0
1302.22/1305.80 c CG # pb cores 0
1302.22/1305.80 c CG # pb reforms 0
1302.22/1305.80 c CG # cores discarded because of pb reform 0
1302.22/1305.80 d LOWERBOUND 204
1302.22/1305.80 d NCORES 61
1302.22/1305.80 d NPBCORES 0
1302.22/1305.80 d NPBREFORM 0
1302.22/1305.80 d NTRIMMED 12
1302.22/1305.80 d NEXHAUSTED 19
1302.22/1305.80 d NAM1S 124
1302.22/1305.80 d AM1LB 124
1302.22/1305.80 o 207
1302.22/1305.80 s OPTIMUM FOUND
1302.22/1305.80 v x1 -x2 -x3 -x4 -x5 x6 x7 -x8 -x9 -x10 x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 x59 -x60 x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 x70 x71 -x72 -x73 x74 x75 -x76 -x77 -x78 x79 -x80 x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 x107 -x108 x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 x125 -x126 -x127 -x128 x129 -x130 x131 -x132 -x133 x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 -x200 x201 -x202 x203 -x204 x205 -x206 -x207 x208 x209 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 -x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x240 x241 -x242 x243 -x244 x245 -x246 x247 -x248 x249 -x250 x251 -x252 -x253 x254 x255 -x256 -x257 -x258 x259 -x260 -x261 x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 -x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 -x299 x300 -x301 -x302 x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 -x319 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 -x329 x330 x331 -x332 -x333 -x334 x335 -x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 -x347 -x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 -x357 x358 x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 x367 -x368 x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 x381 -x382 x383 -x384 -x385 x386 x387 -x388 -x389 x390 -x391 x392 x393 -x394 -x395 x396 -x397 x398 x399 -x400 -x401 x402 -x403 x404 x405 -x406 -x407 x408 -x409 x410 x411 -x412 -x413 x414 -x415 x416 x417 -x418 -x419 x420 x421 -x422 -x423 x424 -x425 x426 -x427 x428 -x429 x430 x431 -x432 -x433 x434 x435 -x436 -x437 x438 -x439 x440 x441 -x442 -x443 x444 -x445 x446 x447 -x448 -x449 x450 -x451 x452 x453 -x454 -x455 x456 -x457 x458 -x459 x460 x461 -x462 -x463 x464 x465 -x466 -x467 x468 -x469 x470 x471 -x472 -x473 x474 -x475 x476 x477 -x478 -x479 x480 -x481 x482 -x483 x484 x485 -x486 -x487 x488 x489 -x490 -x491 x492 -x493 x494 x495 -x496 -x497 x498
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (63277 MiB free)
memory of node 1: 64465 MiB (63884 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486650-1751323467/watcher-4486650-1751323467 -o /tmp/evaluation-result-4486650-1751323467/solver-4486650-1751323467 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751316235-40718 --watchdog 3760 pb-oll-rs HOME/instance-4486650-1751323467.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=41983, runsolver pid=41980
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.14 4.10 4.09 6/251 41984
/proc/meminfo: memFree=130213044/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=20728 memory=6656 CPUtime=0.09 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 544 0 0 0 7 2 0 0 20 0 1 0 48025860 21225472 1664 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 5182 1664 1312 243 0 1431 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20728 KiB
Current children cumulated memory: 6656 KiB
[startup+0.212229 s]*
/proc/loadavg: 4.14 4.10 4.09 5/251 41984
/proc/meminfo: memFree=130213364/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=21248 memory=7424 CPUtime=0.2 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 747 0 0 0 17 3 0 0 20 0 1 0 48025860 21757952 1856 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 5312 1856 1312 243 0 1561 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21248 KiB
Current children cumulated memory: 7424 KiB
[startup+0.312317 s]*
/proc/loadavg: 4.14 4.10 4.09 5/251 41984
/proc/meminfo: memFree=130213364/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=21768 memory=8192 CPUtime=0.3 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 955 0 0 0 26 4 0 0 20 0 1 0 48025860 22290432 2048 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 5442 2048 1312 243 0 1691 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 21768 KiB
Current children cumulated memory: 8192 KiB
[startup+0.700211 s]
/proc/loadavg: 4.14 4.10 4.09 5/251 41984
/proc/meminfo: memFree=130211600/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=22692 memory=11368 CPUtime=0.67 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 1241 0 0 0 62 5 0 0 20 0 1 0 48025860 23236608 2842 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 5673 2842 1312 243 0 1922 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 22692 KiB
Current children cumulated memory: 11368 KiB
[startup+1.50021 s]
/proc/loadavg: 4.14 4.10 4.09 5/251 41984
/proc/meminfo: memFree=130211600/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=24388 memory=13160 CPUtime=1.47 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 1688 0 0 0 141 6 0 0 20 0 1 0 48025860 24973312 3290 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 6097 3290 1312 243 0 2346 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 24388 KiB
Current children cumulated memory: 13160 KiB
[startup+3.1123 s]
/proc/loadavg: 4.13 4.10 4.09 5/251 41984
/proc/meminfo: memFree=130209116/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=24652 memory=13672 CPUtime=3.07 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 1810 0 0 0 297 10 0 0 20 0 1 0 48025860 25243648 3418 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 6163 3418 1312 243 0 2412 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 24652 KiB
Current children cumulated memory: 13672 KiB
[startup+6.30021 s]
/proc/loadavg: 4.13 4.10 4.09 5/251 41984
/proc/meminfo: memFree=130199980/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=28224 memory=15848 CPUtime=6.26 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 2376 0 0 0 610 16 0 0 20 0 1 0 48025860 28901376 3962 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 7056 3962 1312 243 0 3305 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 28224 KiB
Current children cumulated memory: 15848 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.09 5/251 41984
/proc/meminfo: memFree=130181228/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=29292 memory=18408 CPUtime=12.64 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 3069 0 0 0 1242 22 0 0 20 0 1 0 48025860 29995008 4602 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 7323 4602 1312 243 0 3572 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 29292 KiB
Current children cumulated memory: 18408 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.09 4.09 5/251 41984
/proc/meminfo: memFree=130137716/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=48928 memory=34124 CPUtime=25.42 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 5469 0 0 0 2511 31 0 0 20 0 1 0 48025860 50102272 8531 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 12232 8531 1312 243 0 8481 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 48928 KiB
Current children cumulated memory: 34124 KiB
[startup+51.1128 s]
/proc/loadavg: 4.12 4.10 4.09 5/251 41985
/proc/meminfo: memFree=130097184/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=50068 memory=37304 CPUtime=50.96 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 5790 0 0 0 5050 46 0 0 20 0 1 0 48025860 51269632 9326 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 12517 9326 1312 243 0 8766 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 50068 KiB
Current children cumulated memory: 37304 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/251 41986
/proc/meminfo: memFree=130042264/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=63860 memory=50888 CPUtime=101.99 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 7484 0 0 0 10129 70 0 0 20 0 1 0 48025860 65392640 12722 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 15965 12722 1312 243 0 12214 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 63860 KiB
Current children cumulated memory: 50888 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 41988
/proc/meminfo: memFree=130041748/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=85096 memory=56480 CPUtime=161.84 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 8660 0 0 0 16088 96 0 0 20 0 1 0 48025860 87138304 14120 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 21274 14120 1312 243 0 17523 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 85096 KiB
Current children cumulated memory: 56480 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/251 41990
/proc/meminfo: memFree=130006308/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=88100 memory=66996 CPUtime=221.68 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 9413 0 0 0 22049 119 0 0 20 0 1 0 48025860 90214400 16749 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 22025 16749 1312 243 0 18274 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 88100 KiB
Current children cumulated memory: 66996 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/251 41992
/proc/meminfo: memFree=129955720/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=88564 memory=67252 CPUtime=281.53 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 9497 0 0 0 28005 148 0 0 20 0 1 0 48025860 90689536 16813 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 22141 16813 1312 243 0 18390 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 88564 KiB
Current children cumulated memory: 67252 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 41995
/proc/meminfo: memFree=129900416/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=92900 memory=76572 CPUtime=341.38 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 11090 0 0 0 33974 164 0 0 20 0 1 0 48025860 95129600 19143 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 23225 19143 1312 243 0 19474 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 92900 KiB
Current children cumulated memory: 76572 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.11 4.10 5/250 41997
/proc/meminfo: memFree=129877528/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=93364 memory=76828 CPUtime=401.21 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 11168 0 0 0 39927 194 0 0 20 0 1 0 48025860 95604736 19207 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 23341 19207 1312 243 0 19590 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 93364 KiB
Current children cumulated memory: 76828 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 41999
/proc/meminfo: memFree=129849032/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=126024 memory=89380 CPUtime=461.03 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 12289 0 0 0 45895 208 0 0 20 0 1 0 48025860 129048576 22345 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 31506 22345 1312 243 0 27755 0
Current children cumulated CPU time: 461.03 s
################
# More data... #
################
/proc/loadavg: 4.07 4.09 4.09 5/249 42015
/proc/meminfo: memFree=129617248/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=127816 memory=99040 CPUtime=760.16 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 13525 0 0 0 75713 303 0 0 20 0 1 0 48025860 130883584 24760 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 31954 24760 1312 243 0 28203 0
Current children cumulated CPU time: 760.16 s
Current children cumulated vsize: 127816 KiB
Current children cumulated memory: 99040 KiB
[startup+822.3 s]
/proc/loadavg: 4.20 4.12 4.10 5/249 42017
/proc/meminfo: memFree=129616376/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=127816 memory=99040 CPUtime=819.98 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 14093 0 0 0 81662 336 0 0 20 0 1 0 48025860 130883584 24760 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 31954 24760 1312 243 0 28203 0
Current children cumulated CPU time: 819.98 s
Current children cumulated vsize: 127816 KiB
Current children cumulated memory: 99040 KiB
[startup+882.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/249 42019
/proc/meminfo: memFree=129620108/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=127816 memory=99040 CPUtime=879.81 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 14231 0 0 0 87625 356 0 0 20 0 1 0 48025860 130883584 24760 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 31954 24760 1312 243 0 28203 0
Current children cumulated CPU time: 879.81 s
Current children cumulated vsize: 127816 KiB
Current children cumulated memory: 99040 KiB
[startup+942.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/249 42021
/proc/meminfo: memFree=129613240/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=128504 memory=100120 CPUtime=939.64 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 14383 0 0 0 93597 367 0 0 20 0 1 0 48025860 131588096 25030 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 32126 25030 1312 243 0 28375 0
Current children cumulated CPU time: 939.64 s
Current children cumulated vsize: 128504 KiB
Current children cumulated memory: 100120 KiB
[startup+1002.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/249 42038
/proc/meminfo: memFree=129596884/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=128936 memory=104764 CPUtime=999.49 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 14839 0 0 0 99574 375 0 0 20 0 1 0 48025860 132030464 26191 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 32234 26191 1312 243 0 28483 0
Current children cumulated CPU time: 999.49 s
Current children cumulated vsize: 128936 KiB
Current children cumulated memory: 104764 KiB
[startup+1062.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/250 42041
/proc/meminfo: memFree=129597100/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=129944 memory=105532 CPUtime=1059.34 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 15059 0 0 0 105534 400 0 0 20 0 1 0 48025860 133062656 26383 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 32486 26383 1312 243 0 28735 0
Current children cumulated CPU time: 1059.34 s
Current children cumulated vsize: 129944 KiB
Current children cumulated memory: 105532 KiB
[startup+1122.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/250 42043
/proc/meminfo: memFree=129589808/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=129944 memory=105532 CPUtime=1119.2 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 15059 0 0 0 111496 424 0 0 20 0 1 0 48025860 133062656 26383 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 32486 26383 1312 243 0 28735 0
Current children cumulated CPU time: 1119.2 s
Current children cumulated vsize: 129944 KiB
Current children cumulated memory: 105532 KiB
[startup+1182.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/251 42048
/proc/meminfo: memFree=129574548/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=129944 memory=105532 CPUtime=1179.04 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 15089 0 0 0 117470 434 0 0 20 0 1 0 48025860 133062656 26383 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 32486 26383 1312 243 0 28735 0
Current children cumulated CPU time: 1179.04 s
Current children cumulated vsize: 129944 KiB
Current children cumulated memory: 105532 KiB
[startup+1242.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/251 42054
/proc/meminfo: memFree=129562160/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=131792 memory=115204 CPUtime=1238.88 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 15447 0 0 0 123445 443 0 0 20 0 1 0 48025860 134955008 28801 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 32948 28801 1312 243 0 29197 0
Current children cumulated CPU time: 1238.88 s
Current children cumulated vsize: 131792 KiB
Current children cumulated memory: 115204 KiB
[startup+1302.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/251 42056
/proc/meminfo: memFree=129555272/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=131792 memory=115332 CPUtime=1298.73 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 15489 0 0 0 129414 459 0 0 20 0 1 0 48025860 134955008 28833 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 32948 28833 1312 243 0 29197 0
Current children cumulated CPU time: 1298.73 s
Current children cumulated vsize: 131792 KiB
Current children cumulated memory: 115332 KiB
[startup+1305.8 s]
# the end of solver process 41983 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1297.62 s, system=4.6123 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1302.4 s]
/proc/loadavg: 4.12 4.11 4.09 5/251 42056
/proc/meminfo: memFree=129555272/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=131792 memory=115332 CPUtime=1298.83 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 15489 0 0 0 129424 459 0 0 20 0 1 0 48025860 134955008 28833 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 32948 28833 1312 243 0 29197 0
Current children cumulated CPU time: 1298.83 s
Current children cumulated vsize: 131792 KiB
Current children cumulated memory: 115332 KiB
[startup+1304 s]*
/proc/loadavg: 4.11 4.11 4.09 5/251 42056
/proc/meminfo: memFree=129555524/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=131792 memory=115332 CPUtime=1300.44 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 15489 0 0 0 129584 460 0 0 20 0 1 0 48025860 134955008 28833 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 32948 28833 1312 243 0 29197 0
Current children cumulated CPU time: 1300.44 s
Current children cumulated vsize: 131792 KiB
Current children cumulated memory: 115332 KiB
[startup+1304.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/251 42056
/proc/meminfo: memFree=129555524/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=131792 memory=115332 CPUtime=1301.22 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 15489 0 0 0 129662 460 0 0 20 0 1 0 48025860 134955008 28833 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 32948 28833 1312 243 0 29197 0
Current children cumulated CPU time: 1301.22 s
Current children cumulated vsize: 131792 KiB
Current children cumulated memory: 115332 KiB
[startup+1305.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/251 42056
/proc/meminfo: memFree=129555532/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=131792 memory=115332 CPUtime=1302.02 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 15489 0 0 0 129741 461 0 0 20 0 1 0 48025860 134955008 28833 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 32948 28833 1312 243 0 29197 0
Current children cumulated CPU time: 1302.02 s
Current children cumulated vsize: 131792 KiB
Current children cumulated memory: 115332 KiB
[startup+1305.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/251 42056
/proc/meminfo: memFree=129555532/131382120 swapFree=33010160/33010684
[pid=41983] ppid=41980 vsize=131792 memory=115332 CPUtime=1302.22 cores=0,2
/proc/41983/stat : 41983 (pb-oll-rs) R 41980 41983 40708 0 -1 4194304 15489 0 0 0 129761 461 0 0 20 0 1 0 48025860 134955008 28833 18446744073709551615 4218880 5211445 140735547715568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9674752 140735547718044 140735547718121 140735547718121 140735547723723 0
/proc/41983/statm: 32948 28833 1312 243 0 29197 0
Current children cumulated CPU time: 1302.22 s
Current children cumulated vsize: 131792 KiB
Current children cumulated memory: 115332 KiB
Child status: 0
Real time (s): 1305.8
CPU time (s): 1302.23
CPU user time (s): 1297.62
CPU system time (s): 4.6123
CPU usage (%): 99.7264
Max. virtual memory (cumulated for all children) (KiB): 131792
Max. memory (cumulated for all children) (KiB): 115332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1297.62
system time used= 4.6123
maximum resident set size= 115332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15500
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 127
involuntary context switches= 2880
# summary of solver processes directly reported to runsolver:
# pid: 41983
# total CPU time (s): 1302.23
# total CPU user time (s): 1297.62
# total CPU system time (s): 4.6123
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.35711 second user time and 12.2608 second system time
The end
Begin job on nodeC008 at 2025-07-01 00:44:27
IDJOB=4486650
IDBENCH=147034
IDSOLVER=3345
FILE ID=nodeC008/4486650-1751323467
RUNJOBID= nodeC008-1751316235-40718
SLURM_JOB_ID= 9594335
Free space on /tmp= 433052 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486650-1751323467/watcher-4486650-1751323467 -o /tmp/evaluation-result-4486650-1751323467/solver-4486650-1751323467 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751316235-40718 --watchdog 3760 pb-oll-rs HOME/instance-4486650-1751323467.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0ec52d363b7c61cdd5525674056021d1
RANDOM SEED=963702974
nodeC008 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 : 1197.207
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.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.859
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.72
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 : 1198.034
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.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.631
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.72
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 : 3491.862
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.72
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.379
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.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.334
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.72
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.418
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.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130213236 kB
MemAvailable: 129939016 kB
Buffers: 2144 kB
Cached: 535984 kB
SwapCached: 16 kB
Active: 328596 kB
Inactive: 318408 kB
Active(anon): 90160 kB
Inactive(anon): 36636 kB
Active(file): 238436 kB
Inactive(file): 281772 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 10740 kB
Writeback: 20 kB
AnonPages: 111824 kB
Mapped: 107024 kB
Shmem: 17920 kB
KReclaimable: 90396 kB
Slab: 172140 kB
SReclaimable: 90396 kB
SUnreclaim: 81744 kB
KernelStack: 4076 kB
PageTables: 3280 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 444288 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433048 MiB
End job on nodeC008 at 2025-07-01 01:06:14