0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/20.15 c #variables 506 #constraints 1012
0.00/20.15 c objective is ce32
0.00/20.15 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/20.15 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/20.15 c GLOBAL bounds - >= 0 @ 0.006423
0.00/20.15 c GLOBAL bounds - >= 0 @ 0.006423
22.67/42.93 c #Conflicts: 1000 | #Constraints: 2012
22.67/42.93 c #Conflicts: 2000 | #Constraints: 3012
22.67/42.93 c INPROCESSING
22.67/42.93 c GARBAGE COLLECT
22.67/42.93 c #Conflicts: 3000 | #Constraints: 3047
22.67/42.93 c #Conflicts: 4000 | #Constraints: 4047
22.67/42.93 c INPROCESSING
22.67/42.93 c GARBAGE COLLECT
22.67/42.93 c #Conflicts: 5000 | #Constraints: 3453
22.67/42.93 c #Conflicts: 6000 | #Constraints: 4453
22.67/42.93 c INPROCESSING
22.67/42.93 c GARBAGE COLLECT
22.67/42.93 c #Conflicts: 7000 | #Constraints: 3452
22.67/42.93 c #Conflicts: 8000 | #Constraints: 4452
22.67/42.93 c #Conflicts: 9000 | #Constraints: 5452
22.67/42.93 c INPROCESSING
22.67/42.93 c GARBAGE COLLECT
22.67/42.93 c #Conflicts: 10000 | #Constraints: 4158
22.67/42.93 c #Conflicts: 11000 | #Constraints: 5158
22.67/42.93 c #Conflicts: 12000 | #Constraints: 6158
22.67/42.93 c INPROCESSING
22.67/42.93 c GARBAGE COLLECT
22.67/42.93 c #Conflicts: 13000 | #Constraints: 4610
22.67/42.93 c #Conflicts: 14000 | #Constraints: 5610
22.67/42.93 c #Conflicts: 15000 | #Constraints: 6610
22.67/42.93 c INPROCESSING
22.67/42.93 c GARBAGE COLLECT
22.67/42.93 c #Conflicts: 16000 | #Constraints: 4830
22.67/42.93 c #Conflicts: 17000 | #Constraints: 5830
22.67/42.93 c #Conflicts: 18000 | #Constraints: 6830
22.67/42.93 c INPROCESSING
22.67/42.93 c GARBAGE COLLECT
22.67/42.93 c #Conflicts: 19000 | #Constraints: 4840
22.67/42.93 c #Conflicts: 20000 | #Constraints: 5840
22.67/42.93 c #Conflicts: 21000 | #Constraints: 6840
22.67/42.93 c INPROCESSING
22.67/42.93 c GARBAGE COLLECT
22.67/42.93 c #Conflicts: 22000 | #Constraints: 4649
22.67/42.93 c #Conflicts: 23000 | #Constraints: 5649
22.67/42.93 c #Conflicts: 24000 | #Constraints: 6649
22.67/42.93 c #Conflicts: 25000 | #Constraints: 7649
22.67/42.93 c INPROCESSING
22.67/42.93 c GARBAGE COLLECT
22.67/42.93 c #Conflicts: 26000 | #Constraints: 5252
22.67/42.93 c #Conflicts: 27000 | #Constraints: 6252
22.67/42.93 c #Conflicts: 28000 | #Constraints: 7252
22.67/42.93 c #Conflicts: 29000 | #Constraints: 8252
22.67/42.93 c INPROCESSING
22.67/42.93 c GARBAGE COLLECT
22.67/42.93 c #Conflicts: 30000 | #Constraints: 5656
22.67/42.93 c #Conflicts: 31000 | #Constraints: 6656
22.67/42.93 c #Conflicts: 32000 | #Constraints: 7656
22.67/42.93 c #Conflicts: 33000 | #Constraints: 8656
22.67/42.93 c INPROCESSING
22.67/42.93 c GARBAGE COLLECT
22.67/42.93 c #Conflicts: 34000 | #Constraints: 5864
22.67/42.93 c #Conflicts: 35000 | #Constraints: 6864
22.67/42.93 c #Conflicts: 36000 | #Constraints: 7864
22.67/42.93 c #Conflicts: 37000 | #Constraints: 8864
22.67/42.93 c INPROCESSING
22.67/42.93 c GARBAGE COLLECT
22.67/42.93 c #Conflicts: 38000 | #Constraints: 5856
22.67/42.93 c #Conflicts: 39000 | #Constraints: 6856
22.67/42.93 c #Conflicts: 40000 | #Constraints: 7856
22.67/42.93 c #Conflicts: 41000 | #Constraints: 8856
22.67/42.93 c INPROCESSING
22.67/42.93 c GARBAGE COLLECT
22.67/42.93 c #Conflicts: 42000 | #Constraints: 5647
22.67/42.93 c #Conflicts: 43000 | #Constraints: 6647
22.67/42.93 c #Conflicts: 44000 | #Constraints: 7647
22.67/42.93 c #Conflicts: 45000 | #Constraints: 8647
22.67/42.93 c #Conflicts: 46000 | #Constraints: 9647
22.67/42.93 c INPROCESSING
22.67/42.93 c GARBAGE COLLECT
22.67/42.93 c #Conflicts: 47000 | #Constraints: 6250
22.67/42.93 c #Conflicts: 48000 | #Constraints: 7250
22.67/42.93 c #Conflicts: 49000 | #Constraints: 8250
22.67/42.93 c #Conflicts: 50000 | #Constraints: 9250
22.67/42.93 c #Conflicts: 51000 | #Constraints: 10250
22.67/42.93 c INPROCESSING
22.67/42.93 c GARBAGE COLLECT
22.67/42.93 c #Conflicts: 52000 | #Constraints: 6656
22.67/42.93 c #Conflicts: 53000 | #Constraints: 7656
22.67/42.93 c #Conflicts: 54000 | #Constraints: 8656
22.67/42.93 c #Conflicts: 55000 | #Constraints: 9656
22.67/42.93 c #Conflicts: 56000 | #Constraints: 10656
22.67/42.93 c INPROCESSING
22.67/42.93 c GARBAGE COLLECT
22.67/42.93 c #Conflicts: 57000 | #Constraints: 6857
22.67/42.93 c #Conflicts: 58000 | #Constraints: 7857
22.67/42.93 c #Conflicts: 59000 | #Constraints: 8857
22.67/42.93 c #Conflicts: 60000 | #Constraints: 9857
22.67/42.93 c #Conflicts: 61000 | #Constraints: 10857
22.67/42.93 c INPROCESSING
22.67/42.93 c GARBAGE COLLECT
22.67/42.93 c #Conflicts: 62000 | #Constraints: 6860
22.67/42.93 c #Conflicts: 63000 | #Constraints: 7860
22.67/42.93 c #Conflicts: 64000 | #Constraints: 8860
22.67/42.93 c #Conflicts: 65000 | #Constraints: 9860
22.67/42.93 c #Conflicts: 66000 | #Constraints: 10860
22.67/42.93 c INPROCESSING
22.67/42.93 c GARBAGE COLLECT
22.67/42.93 c #Conflicts: 67000 | #Constraints: 6667
22.67/42.93 c #Conflicts: 68000 | #Constraints: 7667
52.98/73.36 c #Conflicts: 69000 | #Constraints: 8667
52.98/73.36 c #Conflicts: 70000 | #Constraints: 9667
52.98/73.36 c #Conflicts: 71000 | #Constraints: 10667
52.98/73.36 c #Conflicts: 72000 | #Constraints: 11667
52.98/73.36 c INPROCESSING
52.98/73.36 c GARBAGE COLLECT
52.98/73.36 c #Conflicts: 73000 | #Constraints: 7254
52.98/73.36 c #Conflicts: 74000 | #Constraints: 8254
52.98/73.36 c #Conflicts: 75000 | #Constraints: 9254
52.98/73.36 c #Conflicts: 76000 | #Constraints: 10254
52.98/73.36 c #Conflicts: 77000 | #Constraints: 11254
52.98/73.36 c #Conflicts: 78000 | #Constraints: 12254
52.98/73.36 c INPROCESSING
52.98/73.36 c GARBAGE COLLECT
52.98/73.36 c #Conflicts: 79000 | #Constraints: 7664
52.98/73.36 c #Conflicts: 80000 | #Constraints: 8664
52.98/73.36 c #Conflicts: 81000 | #Constraints: 9664
52.98/73.36 c #Conflicts: 82000 | #Constraints: 10664
52.98/73.36 c #Conflicts: 83000 | #Constraints: 11664
52.98/73.36 c #Conflicts: 84000 | #Constraints: 12664
52.98/73.36 c INPROCESSING
52.98/73.36 c GARBAGE COLLECT
52.98/73.36 c #Conflicts: 85000 | #Constraints: 7850
52.98/73.36 c #Conflicts: 86000 | #Constraints: 8850
52.98/73.36 c #Conflicts: 87000 | #Constraints: 9850
52.98/73.36 c #Conflicts: 88000 | #Constraints: 10850
52.98/73.36 c #Conflicts: 89000 | #Constraints: 11850
52.98/73.36 c #Conflicts: 90000 | #Constraints: 12850
52.98/73.36 c INPROCESSING
52.98/73.36 c GARBAGE COLLECT
52.98/73.36 c #Conflicts: 91000 | #Constraints: 7854
52.98/73.36 c #Conflicts: 92000 | #Constraints: 8854
52.98/73.36 c #Conflicts: 93000 | #Constraints: 9854
52.98/73.36 c #Conflicts: 94000 | #Constraints: 10854
52.98/73.36 c #Conflicts: 95000 | #Constraints: 11854
52.98/73.36 c #Conflicts: 96000 | #Constraints: 12854
52.98/73.36 c INPROCESSING
52.98/73.36 c GARBAGE COLLECT
52.98/73.36 c #Conflicts: 97000 | #Constraints: 7654
52.98/73.36 c #Conflicts: 98000 | #Constraints: 8654
52.98/73.36 c #Conflicts: 99000 | #Constraints: 9654
52.98/73.36 c #Conflicts: 100000 | #Constraints: 10654
52.98/73.36 c #Conflicts: 101000 | #Constraints: 11654
52.98/73.36 c #Conflicts: 102000 | #Constraints: 12654
52.98/73.36 c #Conflicts: 103000 | #Constraints: 13654
52.98/73.36 c INPROCESSING
52.98/73.36 c GARBAGE COLLECT
52.98/73.36 c #Conflicts: 104000 | #Constraints: 8255
52.98/73.36 c #Conflicts: 105000 | #Constraints: 9255
52.98/73.36 c #Conflicts: 106000 | #Constraints: 10255
52.98/73.36 c #Conflicts: 107000 | #Constraints: 11255
52.98/73.36 c #Conflicts: 108000 | #Constraints: 12255
52.98/73.36 c #Conflicts: 109000 | #Constraints: 13255
52.98/73.36 c #Conflicts: 110000 | #Constraints: 14255
52.98/73.36 c INPROCESSING
52.98/73.36 c GARBAGE COLLECT
52.98/73.36 c #Conflicts: 111000 | #Constraints: 8654
52.98/73.36 c #Conflicts: 112000 | #Constraints: 9654
52.98/73.36 c #Conflicts: 113000 | #Constraints: 10654
52.98/73.36 c #Conflicts: 114000 | #Constraints: 11654
52.98/73.36 c #Conflicts: 115000 | #Constraints: 12654
52.98/73.36 c #Conflicts: 116000 | #Constraints: 13654
52.98/73.36 c #Conflicts: 117000 | #Constraints: 14654
52.98/73.36 c INPROCESSING
52.98/73.36 c GARBAGE COLLECT
52.98/73.36 c #Conflicts: 118000 | #Constraints: 8856
52.98/73.36 c #Conflicts: 119000 | #Constraints: 9856
52.98/73.36 c #Conflicts: 120000 | #Constraints: 10856
52.98/73.36 c #Conflicts: 121000 | #Constraints: 11856
52.98/73.36 c #Conflicts: 122000 | #Constraints: 12856
52.98/73.36 c #Conflicts: 123000 | #Constraints: 13856
52.98/73.36 c #Conflicts: 124000 | #Constraints: 14856
52.98/73.36 c INPROCESSING
52.98/73.36 c GARBAGE COLLECT
52.98/73.36 c #Conflicts: 125000 | #Constraints: 8847
52.98/73.36 c #Conflicts: 126000 | #Constraints: 9847
52.98/73.36 c #Conflicts: 127000 | #Constraints: 10847
52.98/73.36 c #Conflicts: 128000 | #Constraints: 11847
52.98/73.36 c #Conflicts: 129000 | #Constraints: 12847
52.98/73.36 c #Conflicts: 130000 | #Constraints: 13847
52.98/73.36 c #Conflicts: 131000 | #Constraints: 14847
52.98/73.36 c INPROCESSING
52.98/73.36 c GARBAGE COLLECT
52.98/73.36 c #Conflicts: 132000 | #Constraints: 8659
52.98/73.36 c #Conflicts: 133000 | #Constraints: 9659
52.98/73.36 c #Conflicts: 134000 | #Constraints: 10659
52.98/73.36 c #Conflicts: 135000 | #Constraints: 11659
52.98/73.36 c #Conflicts: 136000 | #Constraints: 12659
52.98/73.36 c #Conflicts: 137000 | #Constraints: 13659
52.98/73.36 c #Conflicts: 138000 | #Constraints: 14659
52.98/73.36 c #Conflicts: 139000 | #Constraints: 15659
52.98/73.36 c INPROCESSING
52.98/73.36 c GARBAGE COLLECT
52.98/73.36 c #Conflicts: 140000 | #Constraints: 9261
98.63/119.14 c #Conflicts: 141000 | #Constraints: 10261
98.63/119.14 c #Conflicts: 142000 | #Constraints: 11261
98.63/119.14 c #Conflicts: 143000 | #Constraints: 12261
98.63/119.14 c #Conflicts: 144000 | #Constraints: 13261
98.63/119.14 c #Conflicts: 145000 | #Constraints: 14261
98.63/119.14 c #Conflicts: 146000 | #Constraints: 15261
98.63/119.14 c #Conflicts: 147000 | #Constraints: 16261
98.63/119.14 c INPROCESSING
98.63/119.14 c GARBAGE COLLECT
98.63/119.14 c #Conflicts: 148000 | #Constraints: 9666
98.63/119.14 c #Conflicts: 149000 | #Constraints: 10666
98.63/119.14 c #Conflicts: 150000 | #Constraints: 11666
98.63/119.14 c #Conflicts: 151000 | #Constraints: 12666
98.63/119.14 c #Conflicts: 152000 | #Constraints: 13666
98.63/119.14 c #Conflicts: 153000 | #Constraints: 14666
98.63/119.14 c #Conflicts: 154000 | #Constraints: 15666
98.63/119.14 c #Conflicts: 155000 | #Constraints: 16666
98.63/119.14 c INPROCESSING
98.63/119.14 c GARBAGE COLLECT
98.63/119.14 c #Conflicts: 156000 | #Constraints: 9863
98.63/119.14 c #Conflicts: 157000 | #Constraints: 10863
98.63/119.14 c #Conflicts: 158000 | #Constraints: 11863
98.63/119.14 c #Conflicts: 159000 | #Constraints: 12863
98.63/119.14 c #Conflicts: 160000 | #Constraints: 13863
98.63/119.14 c #Conflicts: 161000 | #Constraints: 14863
98.63/119.14 c #Conflicts: 162000 | #Constraints: 15863
98.63/119.14 c #Conflicts: 163000 | #Constraints: 16863
98.63/119.14 c INPROCESSING
98.63/119.14 c GARBAGE COLLECT
98.63/119.14 c #Conflicts: 164000 | #Constraints: 9860
98.63/119.14 c #Conflicts: 165000 | #Constraints: 10860
98.63/119.14 c #Conflicts: 166000 | #Constraints: 11860
98.63/119.14 c #Conflicts: 167000 | #Constraints: 12860
98.63/119.14 c #Conflicts: 168000 | #Constraints: 13860
98.63/119.14 c #Conflicts: 169000 | #Constraints: 14860
98.63/119.14 c #Conflicts: 170000 | #Constraints: 15860
98.63/119.14 c #Conflicts: 171000 | #Constraints: 16860
98.63/119.14 c INPROCESSING
98.63/119.14 c GARBAGE COLLECT
98.63/119.14 c #Conflicts: 172000 | #Constraints: 9661
98.63/119.14 c #Conflicts: 173000 | #Constraints: 10661
98.63/119.14 c #Conflicts: 174000 | #Constraints: 11661
98.63/119.14 c #Conflicts: 175000 | #Constraints: 12661
98.63/119.14 c #Conflicts: 176000 | #Constraints: 13661
98.63/119.14 c #Conflicts: 177000 | #Constraints: 14661
98.63/119.14 c #Conflicts: 178000 | #Constraints: 15661
98.63/119.14 c #Conflicts: 179000 | #Constraints: 16661
98.63/119.14 c #Conflicts: 180000 | #Constraints: 17661
98.63/119.14 c INPROCESSING
98.63/119.14 c GARBAGE COLLECT
98.63/119.14 c #Conflicts: 181000 | #Constraints: 10265
98.63/119.14 c #Conflicts: 182000 | #Constraints: 11265
98.63/119.14 c #Conflicts: 183000 | #Constraints: 12265
98.63/119.14 c #Conflicts: 184000 | #Constraints: 13265
98.63/119.14 c #Conflicts: 185000 | #Constraints: 14265
98.63/119.14 c #Conflicts: 186000 | #Constraints: 15265
98.63/119.14 c #Conflicts: 187000 | #Constraints: 16265
98.63/119.14 c #Conflicts: 188000 | #Constraints: 17265
98.63/119.14 c #Conflicts: 189000 | #Constraints: 18265
98.63/119.14 c INPROCESSING
98.63/119.14 c GARBAGE COLLECT
98.63/119.14 c #Conflicts: 190000 | #Constraints: 10663
98.63/119.14 c #Conflicts: 191000 | #Constraints: 11663
98.63/119.14 c #Conflicts: 192000 | #Constraints: 12663
98.63/119.14 c #Conflicts: 193000 | #Constraints: 13663
98.63/119.14 c #Conflicts: 194000 | #Constraints: 14663
98.63/119.14 c #Conflicts: 195000 | #Constraints: 15663
98.63/119.14 c #Conflicts: 196000 | #Constraints: 16663
98.63/119.14 c #Conflicts: 197000 | #Constraints: 17663
98.63/119.14 c #Conflicts: 198000 | #Constraints: 18663
98.63/119.14 c INPROCESSING
98.63/119.14 c GARBAGE COLLECT
98.63/119.14 c #Conflicts: 199000 | #Constraints: 10862
98.63/119.14 c #Conflicts: 200000 | #Constraints: 11862
98.63/119.14 c #Conflicts: 201000 | #Constraints: 12862
98.63/119.14 c #Conflicts: 202000 | #Constraints: 13862
98.63/119.14 c #Conflicts: 203000 | #Constraints: 14862
98.63/119.14 c #Conflicts: 204000 | #Constraints: 15862
98.63/119.14 c #Conflicts: 205000 | #Constraints: 16862
98.63/119.14 c #Conflicts: 206000 | #Constraints: 17862
98.63/119.14 c #Conflicts: 207000 | #Constraints: 18862
98.63/119.14 c INPROCESSING
98.63/119.14 c GARBAGE COLLECT
98.63/119.14 c #Conflicts: 208000 | #Constraints: 10864
98.63/119.14 c #Conflicts: 209000 | #Constraints: 11864
98.63/119.14 c #Conflicts: 210000 | #Constraints: 12864
98.63/119.14 c #Conflicts: 211000 | #Constraints: 13864
98.63/119.14 c #Conflicts: 212000 | #Constraints: 14864
98.63/119.14 c #Conflicts: 213000 | #Constraints: 15864
167.32/188.07 c #Conflicts: 214000 | #Constraints: 16864
167.32/188.07 c #Conflicts: 215000 | #Constraints: 17864
167.32/188.07 c #Conflicts: 216000 | #Constraints: 18864
167.32/188.07 c INPROCESSING
167.32/188.07 c GARBAGE COLLECT
167.32/188.07 c #Conflicts: 217000 | #Constraints: 10661
167.32/188.07 c #Conflicts: 218000 | #Constraints: 11661
167.32/188.07 c #Conflicts: 219000 | #Constraints: 12661
167.32/188.07 c #Conflicts: 220000 | #Constraints: 13661
167.32/188.07 c #Conflicts: 221000 | #Constraints: 14661
167.32/188.07 c #Conflicts: 222000 | #Constraints: 15661
167.32/188.07 c #Conflicts: 223000 | #Constraints: 16661
167.32/188.07 c #Conflicts: 224000 | #Constraints: 17661
167.32/188.07 c #Conflicts: 225000 | #Constraints: 18661
167.32/188.07 c #Conflicts: 226000 | #Constraints: 19661
167.32/188.07 c INPROCESSING
167.32/188.07 c GARBAGE COLLECT
167.32/188.07 c #Conflicts: 227000 | #Constraints: 11261
167.32/188.07 c #Conflicts: 228000 | #Constraints: 12261
167.32/188.07 c #Conflicts: 229000 | #Constraints: 13261
167.32/188.07 c #Conflicts: 230000 | #Constraints: 14261
167.32/188.07 c #Conflicts: 231000 | #Constraints: 15261
167.32/188.07 c #Conflicts: 232000 | #Constraints: 16261
167.32/188.07 c #Conflicts: 233000 | #Constraints: 17261
167.32/188.07 c #Conflicts: 234000 | #Constraints: 18261
167.32/188.07 c #Conflicts: 235000 | #Constraints: 19261
167.32/188.07 c #Conflicts: 236000 | #Constraints: 20261
167.32/188.07 c INPROCESSING
167.32/188.07 c GARBAGE COLLECT
167.32/188.07 c #Conflicts: 237000 | #Constraints: 11665
167.32/188.07 c #Conflicts: 238000 | #Constraints: 12665
167.32/188.07 c #Conflicts: 239000 | #Constraints: 13665
167.32/188.07 c #Conflicts: 240000 | #Constraints: 14665
167.32/188.07 c #Conflicts: 241000 | #Constraints: 15665
167.32/188.07 c #Conflicts: 242000 | #Constraints: 16665
167.32/188.07 c #Conflicts: 243000 | #Constraints: 17665
167.32/188.07 c #Conflicts: 244000 | #Constraints: 18665
167.32/188.07 c #Conflicts: 245000 | #Constraints: 19665
167.32/188.07 c #Conflicts: 246000 | #Constraints: 20665
167.32/188.07 c INPROCESSING
167.32/188.07 c GARBAGE COLLECT
167.32/188.07 c #Conflicts: 247000 | #Constraints: 11865
167.32/188.07 c #Conflicts: 248000 | #Constraints: 12865
167.32/188.07 c #Conflicts: 249000 | #Constraints: 13865
167.32/188.07 c #Conflicts: 250000 | #Constraints: 14865
167.32/188.07 c #Conflicts: 251000 | #Constraints: 15865
167.32/188.07 c #Conflicts: 252000 | #Constraints: 16865
167.32/188.07 c #Conflicts: 253000 | #Constraints: 17865
167.32/188.07 c #Conflicts: 254000 | #Constraints: 18865
167.32/188.07 c #Conflicts: 255000 | #Constraints: 19865
167.32/188.07 c #Conflicts: 256000 | #Constraints: 20865
167.32/188.07 c INPROCESSING
167.32/188.07 c GARBAGE COLLECT
167.32/188.07 c #Conflicts: 257000 | #Constraints: 11867
167.32/188.07 c #Conflicts: 258000 | #Constraints: 12867
167.32/188.07 c #Conflicts: 259000 | #Constraints: 13867
167.32/188.07 c #Conflicts: 260000 | #Constraints: 14867
167.32/188.07 c #Conflicts: 261000 | #Constraints: 15867
167.32/188.07 c #Conflicts: 262000 | #Constraints: 16867
167.32/188.07 c #Conflicts: 263000 | #Constraints: 17867
167.32/188.07 c #Conflicts: 264000 | #Constraints: 18867
167.32/188.07 c #Conflicts: 265000 | #Constraints: 19867
167.32/188.07 c #Conflicts: 266000 | #Constraints: 20867
167.32/188.07 c INPROCESSING
167.32/188.07 c GARBAGE COLLECT
167.32/188.07 c #Conflicts: 267000 | #Constraints: 11673
167.32/188.07 c #Conflicts: 268000 | #Constraints: 12673
167.32/188.07 c #Conflicts: 269000 | #Constraints: 13673
167.32/188.07 c #Conflicts: 270000 | #Constraints: 14673
167.32/188.07 c #Conflicts: 271000 | #Constraints: 15673
167.32/188.07 c #Conflicts: 272000 | #Constraints: 16673
167.32/188.07 c #Conflicts: 273000 | #Constraints: 17673
167.32/188.07 c #Conflicts: 274000 | #Constraints: 18673
167.32/188.07 c #Conflicts: 275000 | #Constraints: 19673
167.32/188.07 c #Conflicts: 276000 | #Constraints: 20673
167.32/188.07 c #Conflicts: 277000 | #Constraints: 21673
167.32/188.07 c INPROCESSING
167.32/188.07 c GARBAGE COLLECT
167.32/188.07 c #Conflicts: 278000 | #Constraints: 12270
167.32/188.07 c #Conflicts: 279000 | #Constraints: 13270
167.32/188.07 c #Conflicts: 280000 | #Constraints: 14270
167.32/188.07 c #Conflicts: 281000 | #Constraints: 15270
167.32/188.07 c #Conflicts: 282000 | #Constraints: 16270
167.32/188.07 c #Conflicts: 283000 | #Constraints: 17270
167.32/188.07 c #Conflicts: 284000 | #Constraints: 18270
167.32/188.07 c #Conflicts: 285000 | #Constraints: 19270
167.32/188.07 c #Conflicts: 286000 | #Constraints: 20270
167.32/188.07 c #Conflicts: 287000 | #Constraints: 21270
167.32/188.07 c #Conflicts: 288000 | #Constraints: 22270
246.26/267.20 c INPROCESSING
246.26/267.20 c GARBAGE COLLECT
246.26/267.20 c #Conflicts: 289000 | #Constraints: 12676
246.26/267.20 c #Conflicts: 290000 | #Constraints: 13676
246.26/267.20 c #Conflicts: 291000 | #Constraints: 14676
246.26/267.20 c #Conflicts: 292000 | #Constraints: 15676
246.26/267.20 c #Conflicts: 293000 | #Constraints: 16676
246.26/267.20 c #Conflicts: 294000 | #Constraints: 17676
246.26/267.20 c #Conflicts: 295000 | #Constraints: 18676
246.26/267.20 c #Conflicts: 296000 | #Constraints: 19676
246.26/267.20 c #Conflicts: 297000 | #Constraints: 20676
246.26/267.20 c #Conflicts: 298000 | #Constraints: 21676
246.26/267.20 c #Conflicts: 299000 | #Constraints: 22676
246.26/267.20 c INPROCESSING
246.26/267.20 c GARBAGE COLLECT
246.26/267.20 c #Conflicts: 300000 | #Constraints: 12878
246.26/267.20 c #Conflicts: 301000 | #Constraints: 13878
246.26/267.20 c #Conflicts: 302000 | #Constraints: 14878
246.26/267.20 c #Conflicts: 303000 | #Constraints: 15878
246.26/267.20 c #Conflicts: 304000 | #Constraints: 16878
246.26/267.20 c #Conflicts: 305000 | #Constraints: 17878
246.26/267.20 c #Conflicts: 306000 | #Constraints: 18878
246.26/267.20 c #Conflicts: 307000 | #Constraints: 19878
246.26/267.20 c #Conflicts: 308000 | #Constraints: 20878
246.26/267.20 c #Conflicts: 309000 | #Constraints: 21878
246.26/267.20 c #Conflicts: 310000 | #Constraints: 22878
246.26/267.20 c INPROCESSING
246.26/267.20 c GARBAGE COLLECT
246.26/267.20 c #Conflicts: 311000 | #Constraints: 12871
246.26/267.20 c #Conflicts: 312000 | #Constraints: 13871
246.26/267.20 c #Conflicts: 313000 | #Constraints: 14871
246.26/267.20 c #Conflicts: 314000 | #Constraints: 15871
246.26/267.20 c #Conflicts: 315000 | #Constraints: 16871
246.26/267.20 c #Conflicts: 316000 | #Constraints: 17871
246.26/267.20 c #Conflicts: 317000 | #Constraints: 18871
246.26/267.20 c #Conflicts: 318000 | #Constraints: 19871
246.26/267.20 c #Conflicts: 319000 | #Constraints: 20871
246.26/267.20 c #Conflicts: 320000 | #Constraints: 21871
246.26/267.20 c #Conflicts: 321000 | #Constraints: 22871
246.26/267.20 c INPROCESSING
246.26/267.20 c GARBAGE COLLECT
246.26/267.20 c #Conflicts: 322000 | #Constraints: 12657
246.26/267.20 c #Conflicts: 323000 | #Constraints: 13657
246.26/267.20 c #Conflicts: 324000 | #Constraints: 14657
246.26/267.20 c #Conflicts: 325000 | #Constraints: 15657
246.26/267.20 c #Conflicts: 326000 | #Constraints: 16657
246.26/267.20 c #Conflicts: 327000 | #Constraints: 17657
246.26/267.20 c #Conflicts: 328000 | #Constraints: 18657
246.26/267.20 c #Conflicts: 329000 | #Constraints: 19657
246.26/267.20 c #Conflicts: 330000 | #Constraints: 20657
246.26/267.20 c #Conflicts: 331000 | #Constraints: 21657
246.26/267.20 c #Conflicts: 332000 | #Constraints: 22657
246.26/267.20 c #Conflicts: 333000 | #Constraints: 23657
246.26/267.20 c INPROCESSING
246.26/267.20 c GARBAGE COLLECT
246.26/267.20 c #Conflicts: 334000 | #Constraints: 13260
246.26/267.20 c #Conflicts: 335000 | #Constraints: 14260
246.26/267.20 c #Conflicts: 336000 | #Constraints: 15260
246.26/267.20 c #Conflicts: 337000 | #Constraints: 16260
246.26/267.20 c #Conflicts: 338000 | #Constraints: 17260
246.26/267.20 c #Conflicts: 339000 | #Constraints: 18260
246.26/267.20 c #Conflicts: 340000 | #Constraints: 19260
246.26/267.20 c #Conflicts: 341000 | #Constraints: 20260
246.26/267.20 c #Conflicts: 342000 | #Constraints: 21260
246.26/267.20 c #Conflicts: 343000 | #Constraints: 22260
246.26/267.20 c #Conflicts: 344000 | #Constraints: 23260
246.26/267.20 c #Conflicts: 345000 | #Constraints: 24260
246.26/267.20 c INPROCESSING
246.26/267.20 c GARBAGE COLLECT
246.26/267.20 c #Conflicts: 346000 | #Constraints: 13671
246.26/267.20 c #Conflicts: 347000 | #Constraints: 14671
246.26/267.20 c #Conflicts: 348000 | #Constraints: 15671
246.26/267.20 c #Conflicts: 349000 | #Constraints: 16671
246.26/267.20 c #Conflicts: 350000 | #Constraints: 17671
246.26/267.20 c #Conflicts: 351000 | #Constraints: 18671
246.26/267.20 c #Conflicts: 352000 | #Constraints: 19671
246.26/267.20 c #Conflicts: 353000 | #Constraints: 20671
246.26/267.20 c #Conflicts: 354000 | #Constraints: 21671
246.26/267.20 c #Conflicts: 355000 | #Constraints: 22671
246.26/267.20 c #Conflicts: 356000 | #Constraints: 23671
246.26/267.20 c #Conflicts: 357000 | #Constraints: 24671
246.26/267.20 c INPROCESSING
246.26/267.20 c GARBAGE COLLECT
246.26/267.20 c #Conflicts: 358000 | #Constraints: 13872
246.26/267.20 c #Conflicts: 359000 | #Constraints: 14872
246.26/267.20 c #Conflicts: 360000 | #Constraints: 15872
246.26/267.20 c #Conflicts: 361000 | #Constraints: 16872
246.26/267.20 c #Conflicts: 362000 | #Constraints: 17872
322.63/343.82 c #Conflicts: 363000 | #Constraints: 18872
322.63/343.82 c #Conflicts: 364000 | #Constraints: 19872
322.63/343.82 c #Conflicts: 365000 | #Constraints: 20872
322.63/343.82 c #Conflicts: 366000 | #Constraints: 21872
322.63/343.82 c #Conflicts: 367000 | #Constraints: 22872
322.63/343.82 c #Conflicts: 368000 | #Constraints: 23872
322.63/343.82 c #Conflicts: 369000 | #Constraints: 24872
322.63/343.82 c INPROCESSING
322.63/343.82 c GARBAGE COLLECT
322.63/343.82 c #Conflicts: 370000 | #Constraints: 13882
322.63/343.82 c #Conflicts: 371000 | #Constraints: 14882
322.63/343.82 c #Conflicts: 372000 | #Constraints: 15882
322.63/343.82 c #Conflicts: 373000 | #Constraints: 16882
322.63/343.82 c #Conflicts: 374000 | #Constraints: 17882
322.63/343.82 c #Conflicts: 375000 | #Constraints: 18882
322.63/343.82 c #Conflicts: 376000 | #Constraints: 19882
322.63/343.82 c #Conflicts: 377000 | #Constraints: 20882
322.63/343.82 c #Conflicts: 378000 | #Constraints: 21882
322.63/343.82 c #Conflicts: 379000 | #Constraints: 22882
322.63/343.82 c #Conflicts: 380000 | #Constraints: 23882
322.63/343.82 c #Conflicts: 381000 | #Constraints: 24882
322.63/343.82 c INPROCESSING
322.63/343.82 c GARBAGE COLLECT
322.63/343.82 c #Conflicts: 382000 | #Constraints: 13673
322.63/343.82 c #Conflicts: 383000 | #Constraints: 14673
322.63/343.82 c #Conflicts: 384000 | #Constraints: 15673
322.63/343.82 c #Conflicts: 385000 | #Constraints: 16673
322.63/343.82 c #Conflicts: 386000 | #Constraints: 17673
322.63/343.82 c #Conflicts: 387000 | #Constraints: 18673
322.63/343.82 c #Conflicts: 388000 | #Constraints: 19673
322.63/343.82 c #Conflicts: 389000 | #Constraints: 20673
322.63/343.82 c #Conflicts: 390000 | #Constraints: 21673
322.63/343.82 c #Conflicts: 391000 | #Constraints: 22673
322.63/343.82 c #Conflicts: 392000 | #Constraints: 23673
322.63/343.82 c #Conflicts: 393000 | #Constraints: 24673
322.63/343.82 c #Conflicts: 394000 | #Constraints: 25673
322.63/343.82 c INPROCESSING
322.63/343.82 c GARBAGE COLLECT
322.63/343.82 c #Conflicts: 395000 | #Constraints: 14277
322.63/343.82 c #Conflicts: 396000 | #Constraints: 15277
322.63/343.82 c #Conflicts: 397000 | #Constraints: 16277
322.63/343.82 c #Conflicts: 398000 | #Constraints: 17277
322.63/343.82 c #Conflicts: 399000 | #Constraints: 18277
322.63/343.82 c #Conflicts: 400000 | #Constraints: 19277
322.63/343.82 c #Conflicts: 401000 | #Constraints: 20277
322.63/343.82 c #Conflicts: 402000 | #Constraints: 21277
322.63/343.82 c #Conflicts: 403000 | #Constraints: 22277
322.63/343.82 c #Conflicts: 404000 | #Constraints: 23277
322.63/343.82 c #Conflicts: 405000 | #Constraints: 24277
322.63/343.82 c #Conflicts: 406000 | #Constraints: 25277
322.63/343.82 c #Conflicts: 407000 | #Constraints: 26277
322.63/343.82 c INPROCESSING
322.63/343.82 c GARBAGE COLLECT
322.63/343.82 c #Conflicts: 408000 | #Constraints: 14672
322.63/343.82 c #Conflicts: 409000 | #Constraints: 15672
322.63/343.82 c #Conflicts: 410000 | #Constraints: 16672
322.63/343.82 c #Conflicts: 411000 | #Constraints: 17672
322.63/343.82 c #Conflicts: 412000 | #Constraints: 18672
322.63/343.82 c #Conflicts: 413000 | #Constraints: 19672
322.63/343.82 c #Conflicts: 414000 | #Constraints: 20672
322.63/343.82 c #Conflicts: 415000 | #Constraints: 21672
322.63/343.82 c #Conflicts: 416000 | #Constraints: 22672
322.63/343.82 c #Conflicts: 417000 | #Constraints: 23672
322.63/343.82 c #Conflicts: 418000 | #Constraints: 24672
322.63/343.82 c #Conflicts: 419000 | #Constraints: 25672
322.63/343.82 c #Conflicts: 420000 | #Constraints: 26672
322.63/343.82 c INPROCESSING
322.63/343.82 c GARBAGE COLLECT
322.63/343.82 c #Conflicts: 421000 | #Constraints: 14879
322.63/343.82 c #Conflicts: 422000 | #Constraints: 15879
322.63/343.82 c #Conflicts: 423000 | #Constraints: 16879
322.63/343.82 c #Conflicts: 424000 | #Constraints: 17879
322.63/343.82 c #Conflicts: 425000 | #Constraints: 18879
322.63/343.82 c #Conflicts: 426000 | #Constraints: 19879
322.63/343.82 c #Conflicts: 427000 | #Constraints: 20879
322.63/343.82 c #Conflicts: 428000 | #Constraints: 21879
322.63/343.82 c #Conflicts: 429000 | #Constraints: 22879
322.63/343.82 c #Conflicts: 430000 | #Constraints: 23879
322.63/343.82 c #Conflicts: 431000 | #Constraints: 24879
322.63/343.82 c #Conflicts: 432000 | #Constraints: 25879
322.63/343.82 c #Conflicts: 433000 | #Constraints: 26879
322.63/343.82 c INPROCESSING
322.63/343.82 c GARBAGE COLLECT
322.63/343.82 c #Conflicts: 434000 | #Constraints: 14880
322.63/343.82 c #Conflicts: 435000 | #Constraints: 15880
322.63/343.82 c #Conflicts: 436000 | #Constraints: 16880
322.63/343.82 c #Conflicts: 437000 | #Constraints: 17880
390.63/412.04 c #Conflicts: 438000 | #Constraints: 18880
390.63/412.04 c #Conflicts: 439000 | #Constraints: 19880
390.63/412.04 c #Conflicts: 440000 | #Constraints: 20880
390.63/412.04 c #Conflicts: 441000 | #Constraints: 21880
390.63/412.04 c #Conflicts: 442000 | #Constraints: 22880
390.63/412.04 c #Conflicts: 443000 | #Constraints: 23880
390.63/412.04 c #Conflicts: 444000 | #Constraints: 24880
390.63/412.04 c #Conflicts: 445000 | #Constraints: 25880
390.63/412.04 c #Conflicts: 446000 | #Constraints: 26880
390.63/412.04 c INPROCESSING
390.63/412.04 c GARBAGE COLLECT
390.63/412.04 c #Conflicts: 447000 | #Constraints: 14680
390.63/412.04 c #Conflicts: 448000 | #Constraints: 15680
390.63/412.04 c #Conflicts: 449000 | #Constraints: 16680
390.63/412.04 c #Conflicts: 450000 | #Constraints: 17680
390.63/412.04 c #Conflicts: 451000 | #Constraints: 18680
390.63/412.04 c #Conflicts: 452000 | #Constraints: 19680
390.63/412.04 c #Conflicts: 453000 | #Constraints: 20680
390.63/412.04 c #Conflicts: 454000 | #Constraints: 21680
390.63/412.04 c #Conflicts: 455000 | #Constraints: 22680
390.63/412.04 c #Conflicts: 456000 | #Constraints: 23680
390.63/412.04 c #Conflicts: 457000 | #Constraints: 24680
390.63/412.04 c #Conflicts: 458000 | #Constraints: 25680
390.63/412.04 c #Conflicts: 459000 | #Constraints: 26680
390.63/412.04 c #Conflicts: 460000 | #Constraints: 27680
390.63/412.04 c INPROCESSING
390.63/412.04 c GARBAGE COLLECT
390.63/412.04 c #Conflicts: 461000 | #Constraints: 15285
390.63/412.04 c #Conflicts: 462000 | #Constraints: 16285
390.63/412.04 c #Conflicts: 463000 | #Constraints: 17285
390.63/412.04 c #Conflicts: 464000 | #Constraints: 18285
390.63/412.04 c #Conflicts: 465000 | #Constraints: 19285
390.63/412.04 c #Conflicts: 466000 | #Constraints: 20285
390.63/412.04 c #Conflicts: 467000 | #Constraints: 21285
390.63/412.04 c #Conflicts: 468000 | #Constraints: 22285
390.63/412.04 c #Conflicts: 469000 | #Constraints: 23285
390.63/412.04 c #Conflicts: 470000 | #Constraints: 24285
390.63/412.04 c #Conflicts: 471000 | #Constraints: 25285
390.63/412.04 c #Conflicts: 472000 | #Constraints: 26285
390.63/412.04 c #Conflicts: 473000 | #Constraints: 27285
390.63/412.04 c #Conflicts: 474000 | #Constraints: 28285
390.63/412.04 c INPROCESSING
390.63/412.04 c GARBAGE COLLECT
390.63/412.04 c #Conflicts: 475000 | #Constraints: 15676
390.63/412.04 c #Conflicts: 476000 | #Constraints: 16676
390.63/412.04 c #Conflicts: 477000 | #Constraints: 17676
390.63/412.04 c #Conflicts: 478000 | #Constraints: 18676
390.63/412.04 c #Conflicts: 479000 | #Constraints: 19676
390.63/412.04 c #Conflicts: 480000 | #Constraints: 20676
390.63/412.04 c #Conflicts: 481000 | #Constraints: 21676
390.63/412.04 c #Conflicts: 482000 | #Constraints: 22676
390.63/412.04 c #Conflicts: 483000 | #Constraints: 23676
390.63/412.04 c #Conflicts: 484000 | #Constraints: 24676
390.63/412.04 c #Conflicts: 485000 | #Constraints: 25676
390.63/412.04 c #Conflicts: 486000 | #Constraints: 26676
390.63/412.04 c #Conflicts: 487000 | #Constraints: 27676
390.63/412.04 c #Conflicts: 488000 | #Constraints: 28676
390.63/412.04 c INPROCESSING
390.63/412.04 c GARBAGE COLLECT
390.63/412.04 c #Conflicts: 489000 | #Constraints: 15875
390.63/412.04 c #Conflicts: 490000 | #Constraints: 16875
390.63/412.04 c #Conflicts: 491000 | #Constraints: 17875
390.63/412.04 c #Conflicts: 492000 | #Constraints: 18875
390.63/412.04 c #Conflicts: 493000 | #Constraints: 19875
390.63/412.04 c #Conflicts: 494000 | #Constraints: 20875
390.63/412.04 c #Conflicts: 495000 | #Constraints: 21875
390.63/412.04 c #Conflicts: 496000 | #Constraints: 22875
390.63/412.04 c #Conflicts: 497000 | #Constraints: 23875
390.63/412.04 c #Conflicts: 498000 | #Constraints: 24875
390.63/412.04 c #Conflicts: 499000 | #Constraints: 25875
390.63/412.04 c #Conflicts: 500000 | #Constraints: 26875
390.63/412.04 c #Conflicts: 501000 | #Constraints: 27875
390.63/412.04 c #Conflicts: 502000 | #Constraints: 28875
390.63/412.04 c INPROCESSING
390.63/412.04 c GARBAGE COLLECT
390.63/412.04 c #Conflicts: 503000 | #Constraints: 15871
390.63/412.04 c #Conflicts: 504000 | #Constraints: 16871
390.63/412.04 c #Conflicts: 505000 | #Constraints: 17871
390.63/412.04 c #Conflicts: 506000 | #Constraints: 18871
390.63/412.04 c #Conflicts: 507000 | #Constraints: 19871
390.63/412.04 c #Conflicts: 508000 | #Constraints: 20871
390.63/412.04 c #Conflicts: 509000 | #Constraints: 21871
390.63/412.04 c #Conflicts: 510000 | #Constraints: 22871
390.63/412.04 c #Conflicts: 511000 | #Constraints: 23871
390.63/412.04 c #Conflicts: 512000 | #Constraints: 24871
390.63/412.04 c #Conflicts: 513000 | #Constraints: 25871
488.20/509.90 c #Conflicts: 514000 | #Constraints: 26871
488.20/509.90 c #Conflicts: 515000 | #Constraints: 27871
488.20/509.90 c #Conflicts: 516000 | #Constraints: 28871
488.20/509.90 c INPROCESSING
488.20/509.90 c GARBAGE COLLECT
488.20/509.90 c #Conflicts: 517000 | #Constraints: 15673
488.20/509.90 c #Conflicts: 518000 | #Constraints: 16673
488.20/509.90 c #Conflicts: 519000 | #Constraints: 17673
488.20/509.90 c #Conflicts: 520000 | #Constraints: 18673
488.20/509.90 c #Conflicts: 521000 | #Constraints: 19673
488.20/509.90 c #Conflicts: 522000 | #Constraints: 20673
488.20/509.90 c #Conflicts: 523000 | #Constraints: 21673
488.20/509.90 c #Conflicts: 524000 | #Constraints: 22673
488.20/509.90 c #Conflicts: 525000 | #Constraints: 23673
488.20/509.90 c #Conflicts: 526000 | #Constraints: 24673
488.20/509.90 c #Conflicts: 527000 | #Constraints: 25673
488.20/509.90 c #Conflicts: 528000 | #Constraints: 26673
488.20/509.90 c #Conflicts: 529000 | #Constraints: 27673
488.20/509.90 c #Conflicts: 530000 | #Constraints: 28673
488.20/509.90 c #Conflicts: 531000 | #Constraints: 29673
488.20/509.90 c INPROCESSING
488.20/509.90 c GARBAGE COLLECT
488.20/509.90 c #Conflicts: 532000 | #Constraints: 16274
488.20/509.90 c #Conflicts: 533000 | #Constraints: 17274
488.20/509.90 c #Conflicts: 534000 | #Constraints: 18274
488.20/509.90 c #Conflicts: 535000 | #Constraints: 19274
488.20/509.90 c #Conflicts: 536000 | #Constraints: 20274
488.20/509.90 c #Conflicts: 537000 | #Constraints: 21274
488.20/509.90 c #Conflicts: 538000 | #Constraints: 22274
488.20/509.90 c #Conflicts: 539000 | #Constraints: 23274
488.20/509.90 c #Conflicts: 540000 | #Constraints: 24274
488.20/509.90 c #Conflicts: 541000 | #Constraints: 25274
488.20/509.90 c #Conflicts: 542000 | #Constraints: 26274
488.20/509.90 c #Conflicts: 543000 | #Constraints: 27274
488.20/509.90 c #Conflicts: 544000 | #Constraints: 28274
488.20/509.90 c #Conflicts: 545000 | #Constraints: 29274
488.20/509.90 c #Conflicts: 546000 | #Constraints: 30274
488.20/509.90 c INPROCESSING
488.20/509.90 c GARBAGE COLLECT
488.20/509.90 c #Conflicts: 547000 | #Constraints: 16684
488.20/509.90 c #Conflicts: 548000 | #Constraints: 17684
488.20/509.90 c #Conflicts: 549000 | #Constraints: 18684
488.20/509.90 c #Conflicts: 550000 | #Constraints: 19684
488.20/509.90 c #Conflicts: 551000 | #Constraints: 20684
488.20/509.90 c #Conflicts: 552000 | #Constraints: 21684
488.20/509.90 c #Conflicts: 553000 | #Constraints: 22684
488.20/509.90 c #Conflicts: 554000 | #Constraints: 23684
488.20/509.90 c #Conflicts: 555000 | #Constraints: 24684
488.20/509.90 c #Conflicts: 556000 | #Constraints: 25684
488.20/509.90 c #Conflicts: 557000 | #Constraints: 26684
488.20/509.90 c #Conflicts: 558000 | #Constraints: 27684
488.20/509.90 c #Conflicts: 559000 | #Constraints: 28684
488.20/509.90 c #Conflicts: 560000 | #Constraints: 29684
488.20/509.90 c #Conflicts: 561000 | #Constraints: 30684
488.20/509.90 c INPROCESSING
488.20/509.90 c GARBAGE COLLECT
488.20/509.90 c #Conflicts: 562000 | #Constraints: 16882
488.20/509.90 c #Conflicts: 563000 | #Constraints: 17882
488.20/509.90 c #Conflicts: 564000 | #Constraints: 18882
488.20/509.90 c #Conflicts: 565000 | #Constraints: 19882
488.20/509.90 c #Conflicts: 566000 | #Constraints: 20882
488.20/509.90 c #Conflicts: 567000 | #Constraints: 21882
488.20/509.90 c #Conflicts: 568000 | #Constraints: 22882
488.20/509.90 c #Conflicts: 569000 | #Constraints: 23882
488.20/509.90 c #Conflicts: 570000 | #Constraints: 24882
488.20/509.90 c #Conflicts: 571000 | #Constraints: 25882
488.20/509.90 c #Conflicts: 572000 | #Constraints: 26882
488.20/509.90 c #Conflicts: 573000 | #Constraints: 27882
488.20/509.90 c #Conflicts: 574000 | #Constraints: 28882
488.20/509.90 c #Conflicts: 575000 | #Constraints: 29882
488.20/509.90 c #Conflicts: 576000 | #Constraints: 30882
488.20/509.90 c INPROCESSING
488.20/509.90 c GARBAGE COLLECT
488.20/509.90 c #Conflicts: 577000 | #Constraints: 16875
488.20/509.90 c #Conflicts: 578000 | #Constraints: 17875
488.20/509.90 c #Conflicts: 579000 | #Constraints: 18875
488.20/509.90 c #Conflicts: 580000 | #Constraints: 19875
488.20/509.90 c #Conflicts: 581000 | #Constraints: 20875
488.20/509.90 c #Conflicts: 582000 | #Constraints: 21875
488.20/509.90 c #Conflicts: 583000 | #Constraints: 22875
488.20/509.90 c #Conflicts: 584000 | #Constraints: 23875
488.20/509.90 c #Conflicts: 585000 | #Constraints: 24875
488.20/509.90 c #Conflicts: 586000 | #Constraints: 25875
488.20/509.90 c #Conflicts: 587000 | #Constraints: 26875
488.20/509.90 c #Conflicts: 588000 | #Constraints: 27875
579.62/601.62 c #Conflicts: 589000 | #Constraints: 28875
579.62/601.62 c #Conflicts: 590000 | #Constraints: 29875
579.62/601.62 c #Conflicts: 591000 | #Constraints: 30875
579.62/601.62 c INPROCESSING
579.62/601.62 c GARBAGE COLLECT
579.62/601.62 c #Conflicts: 592000 | #Constraints: 16672
579.62/601.62 c #Conflicts: 593000 | #Constraints: 17672
579.62/601.62 c #Conflicts: 594000 | #Constraints: 18672
579.62/601.62 c #Conflicts: 595000 | #Constraints: 19672
579.62/601.62 c #Conflicts: 596000 | #Constraints: 20672
579.62/601.62 c #Conflicts: 597000 | #Constraints: 21672
579.62/601.62 c #Conflicts: 598000 | #Constraints: 22672
579.62/601.62 c #Conflicts: 599000 | #Constraints: 23672
579.62/601.62 c #Conflicts: 600000 | #Constraints: 24672
579.62/601.62 c #Conflicts: 601000 | #Constraints: 25672
579.62/601.62 c #Conflicts: 602000 | #Constraints: 26672
579.62/601.62 c #Conflicts: 603000 | #Constraints: 27672
579.62/601.62 c #Conflicts: 604000 | #Constraints: 28672
579.62/601.62 c #Conflicts: 605000 | #Constraints: 29672
579.62/601.62 c #Conflicts: 606000 | #Constraints: 30672
579.62/601.62 c #Conflicts: 607000 | #Constraints: 31672
579.62/601.62 c INPROCESSING
579.62/601.62 c GARBAGE COLLECT
579.62/601.62 c #Conflicts: 608000 | #Constraints: 17276
579.62/601.62 c #Conflicts: 609000 | #Constraints: 18276
579.62/601.62 c #Conflicts: 610000 | #Constraints: 19276
579.62/601.62 c #Conflicts: 611000 | #Constraints: 20276
579.62/601.62 c #Conflicts: 612000 | #Constraints: 21276
579.62/601.62 c #Conflicts: 613000 | #Constraints: 22276
579.62/601.62 c #Conflicts: 614000 | #Constraints: 23276
579.62/601.62 c #Conflicts: 615000 | #Constraints: 24276
579.62/601.62 c #Conflicts: 616000 | #Constraints: 25276
579.62/601.62 c #Conflicts: 617000 | #Constraints: 26276
579.62/601.62 c #Conflicts: 618000 | #Constraints: 27276
579.62/601.62 c #Conflicts: 619000 | #Constraints: 28276
579.62/601.62 c #Conflicts: 620000 | #Constraints: 29276
579.62/601.62 c #Conflicts: 621000 | #Constraints: 30276
579.62/601.62 c #Conflicts: 622000 | #Constraints: 31276
579.62/601.62 c #Conflicts: 623000 | #Constraints: 32276
579.62/601.62 c INPROCESSING
579.62/601.62 c GARBAGE COLLECT
579.62/601.62 c #Conflicts: 624000 | #Constraints: 17668
579.62/601.62 c #Conflicts: 625000 | #Constraints: 18668
579.62/601.62 c #Conflicts: 626000 | #Constraints: 19668
579.62/601.62 c #Conflicts: 627000 | #Constraints: 20668
579.62/601.62 c #Conflicts: 628000 | #Constraints: 21668
579.62/601.62 c #Conflicts: 629000 | #Constraints: 22668
579.62/601.62 c #Conflicts: 630000 | #Constraints: 23668
579.62/601.62 c #Conflicts: 631000 | #Constraints: 24668
579.62/601.62 c #Conflicts: 632000 | #Constraints: 25668
579.62/601.62 c #Conflicts: 633000 | #Constraints: 26668
579.62/601.62 c #Conflicts: 634000 | #Constraints: 27668
579.62/601.62 c #Conflicts: 635000 | #Constraints: 28668
579.62/601.62 c #Conflicts: 636000 | #Constraints: 29668
579.62/601.62 c #Conflicts: 637000 | #Constraints: 30668
579.62/601.62 c #Conflicts: 638000 | #Constraints: 31668
579.62/601.62 c #Conflicts: 639000 | #Constraints: 32668
579.62/601.62 c INPROCESSING
579.62/601.62 c GARBAGE COLLECT
579.62/601.62 c #Conflicts: 640000 | #Constraints: 17870
579.62/601.62 c #Conflicts: 641000 | #Constraints: 18870
579.62/601.62 c #Conflicts: 642000 | #Constraints: 19870
579.62/601.62 c #Conflicts: 643000 | #Constraints: 20870
579.62/601.62 c #Conflicts: 644000 | #Constraints: 21870
579.62/601.62 c #Conflicts: 645000 | #Constraints: 22870
579.62/601.62 c #Conflicts: 646000 | #Constraints: 23870
579.62/601.62 c #Conflicts: 647000 | #Constraints: 24870
579.62/601.62 c #Conflicts: 648000 | #Constraints: 25870
579.62/601.62 c #Conflicts: 649000 | #Constraints: 26870
579.62/601.62 c #Conflicts: 650000 | #Constraints: 27870
579.62/601.62 c #Conflicts: 651000 | #Constraints: 28870
579.62/601.62 c #Conflicts: 652000 | #Constraints: 29870
579.62/601.62 c #Conflicts: 653000 | #Constraints: 30870
579.62/601.62 c #Conflicts: 654000 | #Constraints: 31870
579.62/601.62 c #Conflicts: 655000 | #Constraints: 32870
579.62/601.62 c INPROCESSING
579.62/601.62 c GARBAGE COLLECT
579.62/601.62 c #Conflicts: 656000 | #Constraints: 17872
579.62/601.62 c #Conflicts: 657000 | #Constraints: 18872
579.62/601.62 c #Conflicts: 658000 | #Constraints: 19872
579.62/601.62 c #Conflicts: 659000 | #Constraints: 20872
579.62/601.62 c #Conflicts: 660000 | #Constraints: 21872
579.62/601.62 c #Conflicts: 661000 | #Constraints: 22872
579.62/601.62 c #Conflicts: 662000 | #Constraints: 23872
579.62/601.62 c #Conflicts: 663000 | #Constraints: 24872
579.62/601.62 c #Conflicts: 664000 | #Constraints: 25872
681.29/703.66 c #Conflicts: 665000 | #Constraints: 26872
681.29/703.66 c #Conflicts: 666000 | #Constraints: 27872
681.29/703.66 c #Conflicts: 667000 | #Constraints: 28872
681.29/703.66 c #Conflicts: 668000 | #Constraints: 29872
681.29/703.66 c #Conflicts: 669000 | #Constraints: 30872
681.29/703.66 c #Conflicts: 670000 | #Constraints: 31872
681.29/703.66 c #Conflicts: 671000 | #Constraints: 32872
681.29/703.66 c INPROCESSING
681.29/703.66 c GARBAGE COLLECT
681.29/703.66 c #Conflicts: 672000 | #Constraints: 17672
681.29/703.66 c #Conflicts: 673000 | #Constraints: 18672
681.29/703.66 c #Conflicts: 674000 | #Constraints: 19672
681.29/703.66 c #Conflicts: 675000 | #Constraints: 20672
681.29/703.66 c #Conflicts: 676000 | #Constraints: 21672
681.29/703.66 c #Conflicts: 677000 | #Constraints: 22672
681.29/703.66 c #Conflicts: 678000 | #Constraints: 23672
681.29/703.66 c #Conflicts: 679000 | #Constraints: 24672
681.29/703.66 c #Conflicts: 680000 | #Constraints: 25672
681.29/703.66 c #Conflicts: 681000 | #Constraints: 26672
681.29/703.66 c #Conflicts: 682000 | #Constraints: 27672
681.29/703.66 c #Conflicts: 683000 | #Constraints: 28672
681.29/703.66 c #Conflicts: 684000 | #Constraints: 29672
681.29/703.66 c #Conflicts: 685000 | #Constraints: 30672
681.29/703.66 c #Conflicts: 686000 | #Constraints: 31672
681.29/703.66 c #Conflicts: 687000 | #Constraints: 32672
681.29/703.66 c #Conflicts: 688000 | #Constraints: 33672
681.29/703.66 c INPROCESSING
681.29/703.66 c GARBAGE COLLECT
681.29/703.66 c #Conflicts: 689000 | #Constraints: 18274
681.29/703.66 c #Conflicts: 690000 | #Constraints: 19274
681.29/703.66 c #Conflicts: 691000 | #Constraints: 20274
681.29/703.66 c #Conflicts: 692000 | #Constraints: 21274
681.29/703.66 c #Conflicts: 693000 | #Constraints: 22274
681.29/703.66 c #Conflicts: 694000 | #Constraints: 23274
681.29/703.66 c #Conflicts: 695000 | #Constraints: 24274
681.29/703.66 c #Conflicts: 696000 | #Constraints: 25274
681.29/703.66 c #Conflicts: 697000 | #Constraints: 26274
681.29/703.66 c #Conflicts: 698000 | #Constraints: 27274
681.29/703.66 c #Conflicts: 699000 | #Constraints: 28274
681.29/703.66 c #Conflicts: 700000 | #Constraints: 29274
681.29/703.66 c #Conflicts: 701000 | #Constraints: 30274
681.29/703.66 c #Conflicts: 702000 | #Constraints: 31274
681.29/703.66 c #Conflicts: 703000 | #Constraints: 32274
681.29/703.66 c #Conflicts: 704000 | #Constraints: 33274
681.29/703.66 c #Conflicts: 705000 | #Constraints: 34274
681.29/703.66 c INPROCESSING
681.29/703.66 c GARBAGE COLLECT
681.29/703.66 c #Conflicts: 706000 | #Constraints: 18674
681.29/703.66 c #Conflicts: 707000 | #Constraints: 19674
681.29/703.66 c #Conflicts: 708000 | #Constraints: 20674
681.29/703.66 c #Conflicts: 709000 | #Constraints: 21674
681.29/703.66 c #Conflicts: 710000 | #Constraints: 22674
681.29/703.66 c #Conflicts: 711000 | #Constraints: 23674
681.29/703.66 c #Conflicts: 712000 | #Constraints: 24674
681.29/703.66 c #Conflicts: 713000 | #Constraints: 25674
681.29/703.66 c #Conflicts: 714000 | #Constraints: 26674
681.29/703.66 c #Conflicts: 715000 | #Constraints: 27674
681.29/703.66 c #Conflicts: 716000 | #Constraints: 28674
681.29/703.66 c #Conflicts: 717000 | #Constraints: 29674
681.29/703.66 c #Conflicts: 718000 | #Constraints: 30674
681.29/703.66 c #Conflicts: 719000 | #Constraints: 31674
681.29/703.66 c #Conflicts: 720000 | #Constraints: 32674
681.29/703.66 c #Conflicts: 721000 | #Constraints: 33674
681.29/703.66 c #Conflicts: 722000 | #Constraints: 34674
681.29/703.66 c INPROCESSING
681.29/703.66 c GARBAGE COLLECT
681.29/703.66 c #Conflicts: 723000 | #Constraints: 18875
681.29/703.66 c #Conflicts: 724000 | #Constraints: 19875
681.29/703.66 c #Conflicts: 725000 | #Constraints: 20875
681.29/703.66 c #Conflicts: 726000 | #Constraints: 21875
681.29/703.66 c #Conflicts: 727000 | #Constraints: 22875
681.29/703.66 c #Conflicts: 728000 | #Constraints: 23875
681.29/703.66 c #Conflicts: 729000 | #Constraints: 24875
681.29/703.66 c #Conflicts: 730000 | #Constraints: 25875
681.29/703.66 c #Conflicts: 731000 | #Constraints: 26875
681.29/703.66 c #Conflicts: 732000 | #Constraints: 27875
681.29/703.66 c #Conflicts: 733000 | #Constraints: 28875
681.29/703.66 c #Conflicts: 734000 | #Constraints: 29875
681.29/703.66 c #Conflicts: 735000 | #Constraints: 30875
681.29/703.66 c #Conflicts: 736000 | #Constraints: 31875
681.29/703.66 c #Conflicts: 737000 | #Constraints: 32875
681.29/703.66 c #Conflicts: 738000 | #Constraints: 33875
681.29/703.66 c #Conflicts: 739000 | #Constraints: 34875
681.29/703.66 c INPROCESSING
681.29/703.66 c GARBAGE COLLECT
786.45/809.19 c #Conflicts: 740000 | #Constraints: 18872
786.45/809.19 c #Conflicts: 741000 | #Constraints: 19872
786.45/809.19 c #Conflicts: 742000 | #Constraints: 20872
786.45/809.19 c #Conflicts: 743000 | #Constraints: 21872
786.45/809.19 c #Conflicts: 744000 | #Constraints: 22872
786.45/809.19 c #Conflicts: 745000 | #Constraints: 23872
786.45/809.19 c #Conflicts: 746000 | #Constraints: 24872
786.45/809.19 c #Conflicts: 747000 | #Constraints: 25872
786.45/809.19 c #Conflicts: 748000 | #Constraints: 26872
786.45/809.19 c #Conflicts: 749000 | #Constraints: 27872
786.45/809.19 c #Conflicts: 750000 | #Constraints: 28872
786.45/809.19 c #Conflicts: 751000 | #Constraints: 29872
786.45/809.19 c #Conflicts: 752000 | #Constraints: 30872
786.45/809.19 c #Conflicts: 753000 | #Constraints: 31872
786.45/809.19 c #Conflicts: 754000 | #Constraints: 32872
786.45/809.19 c #Conflicts: 755000 | #Constraints: 33872
786.45/809.19 c #Conflicts: 756000 | #Constraints: 34872
786.45/809.19 c INPROCESSING
786.45/809.19 c GARBAGE COLLECT
786.45/809.19 c #Conflicts: 757000 | #Constraints: 18669
786.45/809.19 c #Conflicts: 758000 | #Constraints: 19669
786.45/809.19 c #Conflicts: 759000 | #Constraints: 20669
786.45/809.19 c #Conflicts: 760000 | #Constraints: 21669
786.45/809.19 c #Conflicts: 761000 | #Constraints: 22669
786.45/809.19 c #Conflicts: 762000 | #Constraints: 23669
786.45/809.19 c #Conflicts: 763000 | #Constraints: 24669
786.45/809.19 c #Conflicts: 764000 | #Constraints: 25669
786.45/809.19 c #Conflicts: 765000 | #Constraints: 26669
786.45/809.19 c #Conflicts: 766000 | #Constraints: 27669
786.45/809.19 c #Conflicts: 767000 | #Constraints: 28669
786.45/809.19 c #Conflicts: 768000 | #Constraints: 29669
786.45/809.19 c #Conflicts: 769000 | #Constraints: 30669
786.45/809.19 c #Conflicts: 770000 | #Constraints: 31669
786.45/809.19 c #Conflicts: 771000 | #Constraints: 32669
786.45/809.19 c #Conflicts: 772000 | #Constraints: 33669
786.45/809.19 c #Conflicts: 773000 | #Constraints: 34669
786.45/809.19 c #Conflicts: 774000 | #Constraints: 35669
786.45/809.19 c INPROCESSING
786.45/809.19 c GARBAGE COLLECT
786.45/809.19 c #Conflicts: 775000 | #Constraints: 19276
786.45/809.19 c #Conflicts: 776000 | #Constraints: 20276
786.45/809.19 c #Conflicts: 777000 | #Constraints: 21276
786.45/809.19 c #Conflicts: 778000 | #Constraints: 22276
786.45/809.19 c #Conflicts: 779000 | #Constraints: 23276
786.45/809.19 c #Conflicts: 780000 | #Constraints: 24276
786.45/809.19 c #Conflicts: 781000 | #Constraints: 25276
786.45/809.19 c #Conflicts: 782000 | #Constraints: 26276
786.45/809.19 c #Conflicts: 783000 | #Constraints: 27276
786.45/809.19 c #Conflicts: 784000 | #Constraints: 28276
786.45/809.19 c #Conflicts: 785000 | #Constraints: 29276
786.45/809.19 c #Conflicts: 786000 | #Constraints: 30276
786.45/809.19 c #Conflicts: 787000 | #Constraints: 31276
786.45/809.19 c #Conflicts: 788000 | #Constraints: 32276
786.45/809.19 c #Conflicts: 789000 | #Constraints: 33276
786.45/809.19 c #Conflicts: 790000 | #Constraints: 34276
786.45/809.19 c #Conflicts: 791000 | #Constraints: 35276
786.45/809.19 c #Conflicts: 792000 | #Constraints: 36276
786.45/809.19 c INPROCESSING
786.45/809.19 c GARBAGE COLLECT
786.45/809.19 c #Conflicts: 793000 | #Constraints: 19680
786.45/809.19 c #Conflicts: 794000 | #Constraints: 20680
786.45/809.19 c #Conflicts: 795000 | #Constraints: 21680
786.45/809.19 c #Conflicts: 796000 | #Constraints: 22680
786.45/809.19 c #Conflicts: 797000 | #Constraints: 23680
786.45/809.19 c #Conflicts: 798000 | #Constraints: 24680
786.45/809.19 c #Conflicts: 799000 | #Constraints: 25680
786.45/809.19 c #Conflicts: 800000 | #Constraints: 26680
786.45/809.19 c #Conflicts: 801000 | #Constraints: 27680
786.45/809.19 c #Conflicts: 802000 | #Constraints: 28680
786.45/809.19 c #Conflicts: 803000 | #Constraints: 29680
786.45/809.19 c #Conflicts: 804000 | #Constraints: 30680
786.45/809.19 c #Conflicts: 805000 | #Constraints: 31680
786.45/809.19 c #Conflicts: 806000 | #Constraints: 32680
786.45/809.19 c #Conflicts: 807000 | #Constraints: 33680
786.45/809.19 c #Conflicts: 808000 | #Constraints: 34680
786.45/809.19 c #Conflicts: 809000 | #Constraints: 35680
786.45/809.19 c #Conflicts: 810000 | #Constraints: 36680
786.45/809.19 c INPROCESSING
786.45/809.19 c GARBAGE COLLECT
786.45/809.19 c #Conflicts: 811000 | #Constraints: 19883
786.45/809.19 c #Conflicts: 812000 | #Constraints: 20883
786.45/809.19 c #Conflicts: 813000 | #Constraints: 21883
786.45/809.19 c #Conflicts: 814000 | #Constraints: 22883
786.45/809.19 c #Conflicts: 815000 | #Constraints: 23883
786.45/809.19 c #Conflicts: 816000 | #Constraints: 24883
906.17/929.27 c #Conflicts: 817000 | #Constraints: 25883
906.17/929.27 c #Conflicts: 818000 | #Constraints: 26883
906.17/929.27 c #Conflicts: 819000 | #Constraints: 27883
906.17/929.27 c #Conflicts: 820000 | #Constraints: 28883
906.17/929.27 c #Conflicts: 821000 | #Constraints: 29883
906.17/929.27 c #Conflicts: 822000 | #Constraints: 30883
906.17/929.27 c #Conflicts: 823000 | #Constraints: 31883
906.17/929.27 c #Conflicts: 824000 | #Constraints: 32883
906.17/929.27 c #Conflicts: 825000 | #Constraints: 33883
906.17/929.27 c #Conflicts: 826000 | #Constraints: 34883
906.17/929.27 c #Conflicts: 827000 | #Constraints: 35883
906.17/929.27 c #Conflicts: 828000 | #Constraints: 36883
906.17/929.27 c INPROCESSING
906.17/929.27 c GARBAGE COLLECT
906.17/929.27 c #Conflicts: 829000 | #Constraints: 19880
906.17/929.27 c #Conflicts: 830000 | #Constraints: 20880
906.17/929.27 c #Conflicts: 831000 | #Constraints: 21880
906.17/929.27 c #Conflicts: 832000 | #Constraints: 22880
906.17/929.27 c #Conflicts: 833000 | #Constraints: 23880
906.17/929.27 c #Conflicts: 834000 | #Constraints: 24880
906.17/929.27 c #Conflicts: 835000 | #Constraints: 25880
906.17/929.27 c #Conflicts: 836000 | #Constraints: 26880
906.17/929.27 c #Conflicts: 837000 | #Constraints: 27880
906.17/929.27 c #Conflicts: 838000 | #Constraints: 28880
906.17/929.27 c #Conflicts: 839000 | #Constraints: 29880
906.17/929.27 c #Conflicts: 840000 | #Constraints: 30880
906.17/929.27 c #Conflicts: 841000 | #Constraints: 31880
906.17/929.27 c #Conflicts: 842000 | #Constraints: 32880
906.17/929.27 c #Conflicts: 843000 | #Constraints: 33880
906.17/929.27 c #Conflicts: 844000 | #Constraints: 34880
906.17/929.27 c #Conflicts: 845000 | #Constraints: 35880
906.17/929.27 c #Conflicts: 846000 | #Constraints: 36880
906.17/929.27 c INPROCESSING
906.17/929.27 c GARBAGE COLLECT
906.17/929.27 c #Conflicts: 847000 | #Constraints: 19681
906.17/929.27 c #Conflicts: 848000 | #Constraints: 20681
906.17/929.27 c #Conflicts: 849000 | #Constraints: 21681
906.17/929.27 c #Conflicts: 850000 | #Constraints: 22681
906.17/929.27 c #Conflicts: 851000 | #Constraints: 23681
906.17/929.27 c #Conflicts: 852000 | #Constraints: 24681
906.17/929.27 c #Conflicts: 853000 | #Constraints: 25681
906.17/929.27 c #Conflicts: 854000 | #Constraints: 26681
906.17/929.27 c #Conflicts: 855000 | #Constraints: 27681
906.17/929.27 c #Conflicts: 856000 | #Constraints: 28681
906.17/929.27 c #Conflicts: 857000 | #Constraints: 29681
906.17/929.27 c #Conflicts: 858000 | #Constraints: 30681
906.17/929.27 c #Conflicts: 859000 | #Constraints: 31681
906.17/929.27 c #Conflicts: 860000 | #Constraints: 32681
906.17/929.27 c #Conflicts: 861000 | #Constraints: 33681
906.17/929.27 c #Conflicts: 862000 | #Constraints: 34681
906.17/929.27 c #Conflicts: 863000 | #Constraints: 35681
906.17/929.27 c #Conflicts: 864000 | #Constraints: 36681
906.17/929.27 c #Conflicts: 865000 | #Constraints: 37681
906.17/929.27 c INPROCESSING
906.17/929.27 c GARBAGE COLLECT
906.17/929.27 c #Conflicts: 866000 | #Constraints: 20285
906.17/929.27 c #Conflicts: 867000 | #Constraints: 21285
906.17/929.27 c #Conflicts: 868000 | #Constraints: 22285
906.17/929.27 c #Conflicts: 869000 | #Constraints: 23285
906.17/929.27 c #Conflicts: 870000 | #Constraints: 24285
906.17/929.27 c #Conflicts: 871000 | #Constraints: 25285
906.17/929.27 c #Conflicts: 872000 | #Constraints: 26285
906.17/929.27 c #Conflicts: 873000 | #Constraints: 27285
906.17/929.27 c #Conflicts: 874000 | #Constraints: 28285
906.17/929.27 c #Conflicts: 875000 | #Constraints: 29285
906.17/929.27 c #Conflicts: 876000 | #Constraints: 30285
906.17/929.27 c #Conflicts: 877000 | #Constraints: 31285
906.17/929.27 c #Conflicts: 878000 | #Constraints: 32285
906.17/929.27 c #Conflicts: 879000 | #Constraints: 33285
906.17/929.27 c #Conflicts: 880000 | #Constraints: 34285
906.17/929.27 c #Conflicts: 881000 | #Constraints: 35285
906.17/929.27 c #Conflicts: 882000 | #Constraints: 36285
906.17/929.27 c #Conflicts: 883000 | #Constraints: 37285
906.17/929.27 c #Conflicts: 884000 | #Constraints: 38285
906.17/929.27 c INPROCESSING
906.17/929.27 c GARBAGE COLLECT
906.17/929.27 c #Conflicts: 885000 | #Constraints: 20683
906.17/929.27 c #Conflicts: 886000 | #Constraints: 21683
906.17/929.27 c #Conflicts: 887000 | #Constraints: 22683
906.17/929.27 c #Conflicts: 888000 | #Constraints: 23683
906.17/929.27 c #Conflicts: 889000 | #Constraints: 24683
906.17/929.27 c #Conflicts: 890000 | #Constraints: 25683
906.17/929.27 c #Conflicts: 891000 | #Constraints: 26683
906.17/929.27 c #Conflicts: 892000 | #Constraints: 27683
1037.15/1060.67 c #Conflicts: 893000 | #Constraints: 28683
1037.15/1060.67 c #Conflicts: 894000 | #Constraints: 29683
1037.15/1060.67 c #Conflicts: 895000 | #Constraints: 30683
1037.15/1060.67 c #Conflicts: 896000 | #Constraints: 31683
1037.15/1060.67 c #Conflicts: 897000 | #Constraints: 32683
1037.15/1060.67 c #Conflicts: 898000 | #Constraints: 33683
1037.15/1060.67 c #Conflicts: 899000 | #Constraints: 34683
1037.15/1060.67 c #Conflicts: 900000 | #Constraints: 35683
1037.15/1060.67 c #Conflicts: 901000 | #Constraints: 36683
1037.15/1060.67 c #Conflicts: 902000 | #Constraints: 37683
1037.15/1060.67 c #Conflicts: 903000 | #Constraints: 38683
1037.15/1060.67 c INPROCESSING
1037.15/1060.67 c GARBAGE COLLECT
1037.15/1060.67 c #Conflicts: 904000 | #Constraints: 20874
1037.15/1060.67 c #Conflicts: 905000 | #Constraints: 21874
1037.15/1060.67 c #Conflicts: 906000 | #Constraints: 22874
1037.15/1060.67 c #Conflicts: 907000 | #Constraints: 23874
1037.15/1060.67 c #Conflicts: 908000 | #Constraints: 24874
1037.15/1060.67 c #Conflicts: 909000 | #Constraints: 25874
1037.15/1060.67 c #Conflicts: 910000 | #Constraints: 26874
1037.15/1060.67 c #Conflicts: 911000 | #Constraints: 27874
1037.15/1060.67 c #Conflicts: 912000 | #Constraints: 28874
1037.15/1060.67 c #Conflicts: 913000 | #Constraints: 29874
1037.15/1060.67 c #Conflicts: 914000 | #Constraints: 30874
1037.15/1060.67 c #Conflicts: 915000 | #Constraints: 31874
1037.15/1060.67 c #Conflicts: 916000 | #Constraints: 32874
1037.15/1060.67 c #Conflicts: 917000 | #Constraints: 33874
1037.15/1060.67 c #Conflicts: 918000 | #Constraints: 34874
1037.15/1060.67 c #Conflicts: 919000 | #Constraints: 35874
1037.15/1060.67 c #Conflicts: 920000 | #Constraints: 36874
1037.15/1060.67 c #Conflicts: 921000 | #Constraints: 37874
1037.15/1060.67 c #Conflicts: 922000 | #Constraints: 38874
1037.15/1060.67 c INPROCESSING
1037.15/1060.67 c GARBAGE COLLECT
1037.15/1060.67 c #Conflicts: 923000 | #Constraints: 20883
1037.15/1060.67 c #Conflicts: 924000 | #Constraints: 21883
1037.15/1060.67 c #Conflicts: 925000 | #Constraints: 22883
1037.15/1060.67 c #Conflicts: 926000 | #Constraints: 23883
1037.15/1060.67 c #Conflicts: 927000 | #Constraints: 24883
1037.15/1060.67 c #Conflicts: 928000 | #Constraints: 25883
1037.15/1060.67 c #Conflicts: 929000 | #Constraints: 26883
1037.15/1060.67 c #Conflicts: 930000 | #Constraints: 27883
1037.15/1060.67 c #Conflicts: 931000 | #Constraints: 28883
1037.15/1060.67 c #Conflicts: 932000 | #Constraints: 29883
1037.15/1060.67 c #Conflicts: 933000 | #Constraints: 30883
1037.15/1060.67 c #Conflicts: 934000 | #Constraints: 31883
1037.15/1060.67 c #Conflicts: 935000 | #Constraints: 32883
1037.15/1060.67 c #Conflicts: 936000 | #Constraints: 33883
1037.15/1060.67 c #Conflicts: 937000 | #Constraints: 34883
1037.15/1060.67 c #Conflicts: 938000 | #Constraints: 35883
1037.15/1060.67 c #Conflicts: 939000 | #Constraints: 36883
1037.15/1060.67 c #Conflicts: 940000 | #Constraints: 37883
1037.15/1060.67 c #Conflicts: 941000 | #Constraints: 38883
1037.15/1060.67 c INPROCESSING
1037.15/1060.67 c GARBAGE COLLECT
1037.15/1060.67 c #Conflicts: 942000 | #Constraints: 20680
1037.15/1060.67 c #Conflicts: 943000 | #Constraints: 21680
1037.15/1060.67 c #Conflicts: 944000 | #Constraints: 22680
1037.15/1060.67 c #Conflicts: 945000 | #Constraints: 23680
1037.15/1060.67 c #Conflicts: 946000 | #Constraints: 24680
1037.15/1060.67 c #Conflicts: 947000 | #Constraints: 25680
1037.15/1060.67 c #Conflicts: 948000 | #Constraints: 26680
1037.15/1060.67 c #Conflicts: 949000 | #Constraints: 27680
1037.15/1060.67 c #Conflicts: 950000 | #Constraints: 28680
1037.15/1060.67 c #Conflicts: 951000 | #Constraints: 29680
1037.15/1060.67 c #Conflicts: 952000 | #Constraints: 30680
1037.15/1060.67 c #Conflicts: 953000 | #Constraints: 31680
1037.15/1060.67 c #Conflicts: 954000 | #Constraints: 32680
1037.15/1060.67 c #Conflicts: 955000 | #Constraints: 33680
1037.15/1060.67 c #Conflicts: 956000 | #Constraints: 34680
1037.15/1060.67 c #Conflicts: 957000 | #Constraints: 35680
1037.15/1060.67 c #Conflicts: 958000 | #Constraints: 36680
1037.15/1060.67 c #Conflicts: 959000 | #Constraints: 37680
1037.15/1060.67 c #Conflicts: 960000 | #Constraints: 38680
1037.15/1060.67 c #Conflicts: 961000 | #Constraints: 39680
1037.15/1060.67 c INPROCESSING
1037.15/1060.67 c GARBAGE COLLECT
1037.15/1060.67 c #Conflicts: 962000 | #Constraints: 21279
1037.15/1060.67 c #Conflicts: 963000 | #Constraints: 22279
1037.15/1060.67 c #Conflicts: 964000 | #Constraints: 23279
1037.15/1060.67 c #Conflicts: 965000 | #Constraints: 24279
1037.15/1060.67 c #Conflicts: 966000 | #Constraints: 25279
1037.15/1060.67 c #Conflicts: 967000 | #Constraints: 26279
1037.15/1060.67 c #Conflicts: 968000 | #Constraints: 27279
1158.36/1182.23 c #Conflicts: 969000 | #Constraints: 28279
1158.36/1182.23 c #Conflicts: 970000 | #Constraints: 29279
1158.36/1182.23 c #Conflicts: 971000 | #Constraints: 30279
1158.36/1182.23 c #Conflicts: 972000 | #Constraints: 31279
1158.36/1182.23 c #Conflicts: 973000 | #Constraints: 32279
1158.36/1182.23 c #Conflicts: 974000 | #Constraints: 33279
1158.36/1182.23 c #Conflicts: 975000 | #Constraints: 34279
1158.36/1182.23 c #Conflicts: 976000 | #Constraints: 35279
1158.36/1182.23 c #Conflicts: 977000 | #Constraints: 36279
1158.36/1182.23 c #Conflicts: 978000 | #Constraints: 37279
1158.36/1182.23 c #Conflicts: 979000 | #Constraints: 38279
1158.36/1182.23 c #Conflicts: 980000 | #Constraints: 39279
1158.36/1182.23 c #Conflicts: 981000 | #Constraints: 40279
1158.36/1182.23 c INPROCESSING
1158.36/1182.23 c GARBAGE COLLECT
1158.36/1182.23 c #Conflicts: 982000 | #Constraints: 21684
1158.36/1182.23 c #Conflicts: 983000 | #Constraints: 22684
1158.36/1182.23 c #Conflicts: 984000 | #Constraints: 23684
1158.36/1182.23 c #Conflicts: 985000 | #Constraints: 24684
1158.36/1182.23 c #Conflicts: 986000 | #Constraints: 25684
1158.36/1182.23 c #Conflicts: 987000 | #Constraints: 26684
1158.36/1182.23 c #Conflicts: 988000 | #Constraints: 27684
1158.36/1182.23 c #Conflicts: 989000 | #Constraints: 28684
1158.36/1182.23 c #Conflicts: 990000 | #Constraints: 29684
1158.36/1182.23 c #Conflicts: 991000 | #Constraints: 30684
1158.36/1182.23 c #Conflicts: 992000 | #Constraints: 31684
1158.36/1182.23 c #Conflicts: 993000 | #Constraints: 32684
1158.36/1182.23 c #Conflicts: 994000 | #Constraints: 33684
1158.36/1182.23 c #Conflicts: 995000 | #Constraints: 34684
1158.36/1182.23 c #Conflicts: 996000 | #Constraints: 35684
1158.36/1182.23 c #Conflicts: 997000 | #Constraints: 36684
1158.36/1182.23 c #Conflicts: 998000 | #Constraints: 37684
1158.36/1182.23 c #Conflicts: 999000 | #Constraints: 38684
1158.36/1182.23 c #Conflicts: 1000000 | #Constraints: 39684
1158.36/1182.23 c #Conflicts: 1001000 | #Constraints: 40684
1158.36/1182.23 c INPROCESSING
1158.36/1182.23 c GARBAGE COLLECT
1158.36/1182.23 c #Conflicts: 1002000 | #Constraints: 21880
1158.36/1182.23 c #Conflicts: 1003000 | #Constraints: 22880
1158.36/1182.23 c #Conflicts: 1004000 | #Constraints: 23880
1158.36/1182.23 c #Conflicts: 1005000 | #Constraints: 24880
1158.36/1182.23 c #Conflicts: 1006000 | #Constraints: 25880
1158.36/1182.23 c #Conflicts: 1007000 | #Constraints: 26880
1158.36/1182.23 c #Conflicts: 1008000 | #Constraints: 27880
1158.36/1182.23 c #Conflicts: 1009000 | #Constraints: 28880
1158.36/1182.23 c #Conflicts: 1010000 | #Constraints: 29880
1158.36/1182.23 c #Conflicts: 1011000 | #Constraints: 30880
1158.36/1182.23 c #Conflicts: 1012000 | #Constraints: 31880
1158.36/1182.23 c #Conflicts: 1013000 | #Constraints: 32880
1158.36/1182.23 c #Conflicts: 1014000 | #Constraints: 33880
1158.36/1182.23 c #Conflicts: 1015000 | #Constraints: 34880
1158.36/1182.23 c #Conflicts: 1016000 | #Constraints: 35880
1158.36/1182.23 c #Conflicts: 1017000 | #Constraints: 36880
1158.36/1182.23 c #Conflicts: 1018000 | #Constraints: 37880
1158.36/1182.23 c #Conflicts: 1019000 | #Constraints: 38880
1158.36/1182.23 c #Conflicts: 1020000 | #Constraints: 39880
1158.36/1182.23 c #Conflicts: 1021000 | #Constraints: 40880
1158.36/1182.23 c INPROCESSING
1158.36/1182.23 c GARBAGE COLLECT
1158.36/1182.23 c #Conflicts: 1022000 | #Constraints: 21878
1158.36/1182.23 c #Conflicts: 1023000 | #Constraints: 22878
1158.36/1182.23 c #Conflicts: 1024000 | #Constraints: 23878
1158.36/1182.23 c #Conflicts: 1025000 | #Constraints: 24878
1158.36/1182.23 c #Conflicts: 1026000 | #Constraints: 25878
1158.36/1182.23 c #Conflicts: 1027000 | #Constraints: 26878
1158.36/1182.23 c #Conflicts: 1028000 | #Constraints: 27878
1158.36/1182.23 c #Conflicts: 1029000 | #Constraints: 28878
1158.36/1182.23 c #Conflicts: 1030000 | #Constraints: 29878
1158.36/1182.23 c #Conflicts: 1031000 | #Constraints: 30878
1158.36/1182.23 c #Conflicts: 1032000 | #Constraints: 31878
1158.36/1182.23 c #Conflicts: 1033000 | #Constraints: 32878
1158.36/1182.23 c #Conflicts: 1034000 | #Constraints: 33878
1158.36/1182.23 c #Conflicts: 1035000 | #Constraints: 34878
1158.36/1182.23 c #Conflicts: 1036000 | #Constraints: 35878
1158.36/1182.23 c #Conflicts: 1037000 | #Constraints: 36878
1158.36/1182.23 c #Conflicts: 1038000 | #Constraints: 37878
1158.36/1182.23 c #Conflicts: 1039000 | #Constraints: 38878
1158.36/1182.23 c #Conflicts: 1040000 | #Constraints: 39878
1158.36/1182.23 c #Conflicts: 1041000 | #Constraints: 40878
1158.36/1182.23 c INPROCESSING
1158.36/1182.23 c GARBAGE COLLECT
1158.36/1182.23 c #Conflicts: 1042000 | #Constraints: 21672
1158.36/1182.23 c #Conflicts: 1043000 | #Constraints: 22672
1158.36/1182.23 c #Conflicts: 1044000 | #Constraints: 23672
1302.50/1326.86 c #Conflicts: 1045000 | #Constraints: 24672
1302.50/1326.86 c #Conflicts: 1046000 | #Constraints: 25672
1302.50/1326.86 c #Conflicts: 1047000 | #Constraints: 26672
1302.50/1326.86 c #Conflicts: 1048000 | #Constraints: 27672
1302.50/1326.86 c #Conflicts: 1049000 | #Constraints: 28672
1302.50/1326.86 c #Conflicts: 1050000 | #Constraints: 29672
1302.50/1326.86 c #Conflicts: 1051000 | #Constraints: 30672
1302.50/1326.86 c #Conflicts: 1052000 | #Constraints: 31672
1302.50/1326.86 c #Conflicts: 1053000 | #Constraints: 32672
1302.50/1326.86 c #Conflicts: 1054000 | #Constraints: 33672
1302.50/1326.86 c #Conflicts: 1055000 | #Constraints: 34672
1302.50/1326.86 c #Conflicts: 1056000 | #Constraints: 35672
1302.50/1326.86 c #Conflicts: 1057000 | #Constraints: 36672
1302.50/1326.86 c #Conflicts: 1058000 | #Constraints: 37672
1302.50/1326.86 c #Conflicts: 1059000 | #Constraints: 38672
1302.50/1326.86 c #Conflicts: 1060000 | #Constraints: 39672
1302.50/1326.86 c #Conflicts: 1061000 | #Constraints: 40672
1302.50/1326.86 c #Conflicts: 1062000 | #Constraints: 41672
1302.50/1326.86 c INPROCESSING
1302.50/1326.86 c GARBAGE COLLECT
1302.50/1326.86 c #Conflicts: 1063000 | #Constraints: 22281
1302.50/1326.86 c #Conflicts: 1064000 | #Constraints: 23281
1302.50/1326.86 c #Conflicts: 1065000 | #Constraints: 24281
1302.50/1326.86 c #Conflicts: 1066000 | #Constraints: 25281
1302.50/1326.86 c #Conflicts: 1067000 | #Constraints: 26281
1302.50/1326.86 c #Conflicts: 1068000 | #Constraints: 27281
1302.50/1326.86 c #Conflicts: 1069000 | #Constraints: 28281
1302.50/1326.86 c #Conflicts: 1070000 | #Constraints: 29281
1302.50/1326.86 c #Conflicts: 1071000 | #Constraints: 30281
1302.50/1326.86 c #Conflicts: 1072000 | #Constraints: 31281
1302.50/1326.86 c #Conflicts: 1073000 | #Constraints: 32281
1302.50/1326.86 c #Conflicts: 1074000 | #Constraints: 33281
1302.50/1326.86 c #Conflicts: 1075000 | #Constraints: 34281
1302.50/1326.86 c #Conflicts: 1076000 | #Constraints: 35281
1302.50/1326.86 c #Conflicts: 1077000 | #Constraints: 36281
1302.50/1326.86 c #Conflicts: 1078000 | #Constraints: 37281
1302.50/1326.86 c #Conflicts: 1079000 | #Constraints: 38281
1302.50/1326.86 c #Conflicts: 1080000 | #Constraints: 39281
1302.50/1326.86 c #Conflicts: 1081000 | #Constraints: 40281
1302.50/1326.86 c #Conflicts: 1082000 | #Constraints: 41281
1302.50/1326.86 c #Conflicts: 1083000 | #Constraints: 42281
1302.50/1326.86 c INPROCESSING
1302.50/1326.86 c GARBAGE COLLECT
1302.50/1326.86 c #Conflicts: 1084000 | #Constraints: 22668
1302.50/1326.86 c #Conflicts: 1085000 | #Constraints: 23668
1302.50/1326.86 c #Conflicts: 1086000 | #Constraints: 24668
1302.50/1326.86 c #Conflicts: 1087000 | #Constraints: 25668
1302.50/1326.86 c #Conflicts: 1088000 | #Constraints: 26668
1302.50/1326.86 c #Conflicts: 1089000 | #Constraints: 27668
1302.50/1326.86 c #Conflicts: 1090000 | #Constraints: 28668
1302.50/1326.86 c #Conflicts: 1091000 | #Constraints: 29668
1302.50/1326.86 c #Conflicts: 1092000 | #Constraints: 30668
1302.50/1326.86 c #Conflicts: 1093000 | #Constraints: 31668
1302.50/1326.86 c #Conflicts: 1094000 | #Constraints: 32668
1302.50/1326.86 c #Conflicts: 1095000 | #Constraints: 33668
1302.50/1326.86 c #Conflicts: 1096000 | #Constraints: 34668
1302.50/1326.86 c #Conflicts: 1097000 | #Constraints: 35668
1302.50/1326.86 c #Conflicts: 1098000 | #Constraints: 36668
1302.50/1326.86 c #Conflicts: 1099000 | #Constraints: 37668
1302.50/1326.86 c #Conflicts: 1100000 | #Constraints: 38668
1302.50/1326.86 c #Conflicts: 1101000 | #Constraints: 39668
1302.50/1326.86 c #Conflicts: 1102000 | #Constraints: 40668
1302.50/1326.86 c #Conflicts: 1103000 | #Constraints: 41668
1302.50/1326.86 c #Conflicts: 1104000 | #Constraints: 42668
1302.50/1326.86 c INPROCESSING
1302.50/1326.86 c GARBAGE COLLECT
1302.50/1326.86 c #Conflicts: 1105000 | #Constraints: 22876
1302.50/1326.86 c #Conflicts: 1106000 | #Constraints: 23876
1302.50/1326.86 c #Conflicts: 1107000 | #Constraints: 24876
1302.50/1326.86 c #Conflicts: 1108000 | #Constraints: 25876
1302.50/1326.86 c #Conflicts: 1109000 | #Constraints: 26876
1302.50/1326.86 c #Conflicts: 1110000 | #Constraints: 27876
1302.50/1326.86 c #Conflicts: 1111000 | #Constraints: 28876
1302.50/1326.86 c #Conflicts: 1112000 | #Constraints: 29876
1302.50/1326.86 c #Conflicts: 1113000 | #Constraints: 30876
1302.50/1326.86 c #Conflicts: 1114000 | #Constraints: 31876
1302.50/1326.86 c #Conflicts: 1115000 | #Constraints: 32876
1302.50/1326.86 c #Conflicts: 1116000 | #Constraints: 33876
1302.50/1326.86 c #Conflicts: 1117000 | #Constraints: 34876
1302.50/1326.86 c #Conflicts: 1118000 | #Constraints: 35876
1302.50/1326.86 c #Conflicts: 1119000 | #Constraints: 36876
1302.50/1326.86 c #Conflicts: 1120000 | #Constraints: 37876
1302.50/1326.86 c #Conflicts: 1121000 | #Constraints: 38876
1460.00/1484.85 c #Conflicts: 1122000 | #Constraints: 39876
1460.00/1484.85 c #Conflicts: 1123000 | #Constraints: 40876
1460.00/1484.85 c #Conflicts: 1124000 | #Constraints: 41876
1460.00/1484.85 c #Conflicts: 1125000 | #Constraints: 42876
1460.00/1484.85 c INPROCESSING
1460.00/1484.85 c GARBAGE COLLECT
1460.00/1484.85 c #Conflicts: 1126000 | #Constraints: 22888
1460.00/1484.85 c #Conflicts: 1127000 | #Constraints: 23888
1460.00/1484.85 c #Conflicts: 1128000 | #Constraints: 24888
1460.00/1484.85 c #Conflicts: 1129000 | #Constraints: 25888
1460.00/1484.85 c #Conflicts: 1130000 | #Constraints: 26888
1460.00/1484.85 c #Conflicts: 1131000 | #Constraints: 27888
1460.00/1484.85 c #Conflicts: 1132000 | #Constraints: 28888
1460.00/1484.85 c #Conflicts: 1133000 | #Constraints: 29888
1460.00/1484.85 c #Conflicts: 1134000 | #Constraints: 30888
1460.00/1484.85 c #Conflicts: 1135000 | #Constraints: 31888
1460.00/1484.85 c #Conflicts: 1136000 | #Constraints: 32888
1460.00/1484.85 c #Conflicts: 1137000 | #Constraints: 33888
1460.00/1484.85 c #Conflicts: 1138000 | #Constraints: 34888
1460.00/1484.85 c #Conflicts: 1139000 | #Constraints: 35888
1460.00/1484.85 c #Conflicts: 1140000 | #Constraints: 36888
1460.00/1484.85 c #Conflicts: 1141000 | #Constraints: 37888
1460.00/1484.85 c #Conflicts: 1142000 | #Constraints: 38888
1460.00/1484.85 c #Conflicts: 1143000 | #Constraints: 39888
1460.00/1484.85 c #Conflicts: 1144000 | #Constraints: 40888
1460.00/1484.85 c #Conflicts: 1145000 | #Constraints: 41888
1460.00/1484.85 c #Conflicts: 1146000 | #Constraints: 42888
1460.00/1484.85 c INPROCESSING
1460.00/1484.85 c GARBAGE COLLECT
1460.00/1484.85 c #Conflicts: 1147000 | #Constraints: 22688
1460.00/1484.85 c #Conflicts: 1148000 | #Constraints: 23688
1460.00/1484.85 c #Conflicts: 1149000 | #Constraints: 24688
1460.00/1484.85 c #Conflicts: 1150000 | #Constraints: 25688
1460.00/1484.85 c #Conflicts: 1151000 | #Constraints: 26688
1460.00/1484.85 c #Conflicts: 1152000 | #Constraints: 27688
1460.00/1484.85 c #Conflicts: 1153000 | #Constraints: 28688
1460.00/1484.85 c #Conflicts: 1154000 | #Constraints: 29688
1460.00/1484.85 c #Conflicts: 1155000 | #Constraints: 30688
1460.00/1484.85 c #Conflicts: 1156000 | #Constraints: 31688
1460.00/1484.85 c #Conflicts: 1157000 | #Constraints: 32688
1460.00/1484.85 c #Conflicts: 1158000 | #Constraints: 33688
1460.00/1484.85 c #Conflicts: 1159000 | #Constraints: 34688
1460.00/1484.85 c #Conflicts: 1160000 | #Constraints: 35688
1460.00/1484.85 c #Conflicts: 1161000 | #Constraints: 36688
1460.00/1484.85 c #Conflicts: 1162000 | #Constraints: 37688
1460.00/1484.85 c #Conflicts: 1163000 | #Constraints: 38688
1460.00/1484.85 c #Conflicts: 1164000 | #Constraints: 39688
1460.00/1484.85 c #Conflicts: 1165000 | #Constraints: 40688
1460.00/1484.85 c #Conflicts: 1166000 | #Constraints: 41688
1460.00/1484.85 c #Conflicts: 1167000 | #Constraints: 42688
1460.00/1484.85 c #Conflicts: 1168000 | #Constraints: 43688
1460.00/1484.85 c INPROCESSING
1460.00/1484.85 c GARBAGE COLLECT
1460.00/1484.85 c #Conflicts: 1169000 | #Constraints: 23289
1460.00/1484.85 c #Conflicts: 1170000 | #Constraints: 24289
1460.00/1484.85 c #Conflicts: 1171000 | #Constraints: 25289
1460.00/1484.85 c #Conflicts: 1172000 | #Constraints: 26289
1460.00/1484.85 c #Conflicts: 1173000 | #Constraints: 27289
1460.00/1484.85 c #Conflicts: 1174000 | #Constraints: 28289
1460.00/1484.85 c #Conflicts: 1175000 | #Constraints: 29289
1460.00/1484.85 c #Conflicts: 1176000 | #Constraints: 30289
1460.00/1484.85 c #Conflicts: 1177000 | #Constraints: 31289
1460.00/1484.85 c #Conflicts: 1178000 | #Constraints: 32289
1460.00/1484.85 c #Conflicts: 1179000 | #Constraints: 33289
1460.00/1484.85 c #Conflicts: 1180000 | #Constraints: 34289
1460.00/1484.85 c #Conflicts: 1181000 | #Constraints: 35289
1460.00/1484.85 c #Conflicts: 1182000 | #Constraints: 36289
1460.00/1484.85 c #Conflicts: 1183000 | #Constraints: 37289
1460.00/1484.85 c #Conflicts: 1184000 | #Constraints: 38289
1460.00/1484.85 c #Conflicts: 1185000 | #Constraints: 39289
1460.00/1484.85 c #Conflicts: 1186000 | #Constraints: 40289
1460.00/1484.85 c #Conflicts: 1187000 | #Constraints: 41289
1460.00/1484.85 c #Conflicts: 1188000 | #Constraints: 42289
1460.00/1484.85 c #Conflicts: 1189000 | #Constraints: 43289
1460.00/1484.85 c #Conflicts: 1190000 | #Constraints: 44289
1460.00/1484.85 c INPROCESSING
1460.00/1484.85 c GARBAGE COLLECT
1460.00/1484.85 c #Conflicts: 1191000 | #Constraints: 23689
1460.00/1484.85 c #Conflicts: 1192000 | #Constraints: 24689
1460.00/1484.85 c #Conflicts: 1193000 | #Constraints: 25689
1460.00/1484.85 c #Conflicts: 1194000 | #Constraints: 26689
1460.00/1484.85 c #Conflicts: 1195000 | #Constraints: 27689
1460.00/1484.85 c #Conflicts: 1196000 | #Constraints: 28689
1460.00/1484.85 c #Conflicts: 1197000 | #Constraints: 29689
1610.11/1635.49 c #Conflicts: 1198000 | #Constraints: 30689
1610.11/1635.49 c #Conflicts: 1199000 | #Constraints: 31689
1610.11/1635.49 c #Conflicts: 1200000 | #Constraints: 32689
1610.11/1635.49 c #Conflicts: 1201000 | #Constraints: 33689
1610.11/1635.49 c #Conflicts: 1202000 | #Constraints: 34689
1610.11/1635.49 c #Conflicts: 1203000 | #Constraints: 35689
1610.11/1635.49 c #Conflicts: 1204000 | #Constraints: 36689
1610.11/1635.49 c #Conflicts: 1205000 | #Constraints: 37689
1610.11/1635.49 c #Conflicts: 1206000 | #Constraints: 38689
1610.11/1635.49 c #Conflicts: 1207000 | #Constraints: 39689
1610.11/1635.49 c #Conflicts: 1208000 | #Constraints: 40689
1610.11/1635.49 c #Conflicts: 1209000 | #Constraints: 41689
1610.11/1635.49 c #Conflicts: 1210000 | #Constraints: 42689
1610.11/1635.49 c #Conflicts: 1211000 | #Constraints: 43689
1610.11/1635.49 c #Conflicts: 1212000 | #Constraints: 44689
1610.11/1635.49 c INPROCESSING
1610.11/1635.49 c GARBAGE COLLECT
1610.11/1635.49 c #Conflicts: 1213000 | #Constraints: 23885
1610.11/1635.49 c #Conflicts: 1214000 | #Constraints: 24885
1610.11/1635.49 c #Conflicts: 1215000 | #Constraints: 25885
1610.11/1635.49 c #Conflicts: 1216000 | #Constraints: 26885
1610.11/1635.49 c #Conflicts: 1217000 | #Constraints: 27885
1610.11/1635.49 c #Conflicts: 1218000 | #Constraints: 28885
1610.11/1635.49 c #Conflicts: 1219000 | #Constraints: 29885
1610.11/1635.49 c #Conflicts: 1220000 | #Constraints: 30885
1610.11/1635.49 c #Conflicts: 1221000 | #Constraints: 31885
1610.11/1635.49 c #Conflicts: 1222000 | #Constraints: 32885
1610.11/1635.49 c #Conflicts: 1223000 | #Constraints: 33885
1610.11/1635.49 c #Conflicts: 1224000 | #Constraints: 34885
1610.11/1635.49 c #Conflicts: 1225000 | #Constraints: 35885
1610.11/1635.49 c #Conflicts: 1226000 | #Constraints: 36885
1610.11/1635.49 c #Conflicts: 1227000 | #Constraints: 37885
1610.11/1635.49 c #Conflicts: 1228000 | #Constraints: 38885
1610.11/1635.49 c #Conflicts: 1229000 | #Constraints: 39885
1610.11/1635.49 c #Conflicts: 1230000 | #Constraints: 40885
1610.11/1635.49 c #Conflicts: 1231000 | #Constraints: 41885
1610.11/1635.49 c #Conflicts: 1232000 | #Constraints: 42885
1610.11/1635.49 c #Conflicts: 1233000 | #Constraints: 43885
1610.11/1635.49 c #Conflicts: 1234000 | #Constraints: 44885
1610.11/1635.49 c INPROCESSING
1610.11/1635.49 c GARBAGE COLLECT
1610.11/1635.49 c #Conflicts: 1235000 | #Constraints: 23891
1610.11/1635.49 c #Conflicts: 1236000 | #Constraints: 24891
1610.11/1635.49 c #Conflicts: 1237000 | #Constraints: 25891
1610.11/1635.49 c #Conflicts: 1238000 | #Constraints: 26891
1610.11/1635.49 c #Conflicts: 1239000 | #Constraints: 27891
1610.11/1635.49 c #Conflicts: 1240000 | #Constraints: 28891
1610.11/1635.49 c #Conflicts: 1241000 | #Constraints: 29891
1610.11/1635.49 c #Conflicts: 1242000 | #Constraints: 30891
1610.11/1635.49 c #Conflicts: 1243000 | #Constraints: 31891
1610.11/1635.49 c #Conflicts: 1244000 | #Constraints: 32891
1610.11/1635.49 c #Conflicts: 1245000 | #Constraints: 33891
1610.11/1635.49 c #Conflicts: 1246000 | #Constraints: 34891
1610.11/1635.49 c #Conflicts: 1247000 | #Constraints: 35891
1610.11/1635.49 c #Conflicts: 1248000 | #Constraints: 36891
1610.11/1635.49 c #Conflicts: 1249000 | #Constraints: 37891
1610.11/1635.49 c #Conflicts: 1250000 | #Constraints: 38891
1610.11/1635.49 c #Conflicts: 1251000 | #Constraints: 39891
1610.11/1635.49 c #Conflicts: 1252000 | #Constraints: 40891
1610.11/1635.49 c #Conflicts: 1253000 | #Constraints: 41891
1610.11/1635.49 c #Conflicts: 1254000 | #Constraints: 42891
1610.11/1635.49 c #Conflicts: 1255000 | #Constraints: 43891
1610.11/1635.49 c #Conflicts: 1256000 | #Constraints: 44891
1610.11/1635.49 c INPROCESSING
1610.11/1635.49 c GARBAGE COLLECT
1610.11/1635.49 c #Conflicts: 1257000 | #Constraints: 23681
1610.11/1635.49 c #Conflicts: 1258000 | #Constraints: 24681
1610.11/1635.49 c #Conflicts: 1259000 | #Constraints: 25681
1610.11/1635.49 c #Conflicts: 1260000 | #Constraints: 26681
1610.11/1635.49 c #Conflicts: 1261000 | #Constraints: 27681
1610.11/1635.49 c #Conflicts: 1262000 | #Constraints: 28681
1610.11/1635.49 c #Conflicts: 1263000 | #Constraints: 29681
1610.11/1635.49 c #Conflicts: 1264000 | #Constraints: 30681
1610.11/1635.49 c #Conflicts: 1265000 | #Constraints: 31681
1610.11/1635.49 c #Conflicts: 1266000 | #Constraints: 32681
1610.11/1635.49 c #Conflicts: 1267000 | #Constraints: 33681
1610.11/1635.49 c #Conflicts: 1268000 | #Constraints: 34681
1610.11/1635.49 c #Conflicts: 1269000 | #Constraints: 35681
1610.11/1635.49 c #Conflicts: 1270000 | #Constraints: 36681
1610.11/1635.49 c #Conflicts: 1271000 | #Constraints: 37681
1610.11/1635.49 c #Conflicts: 1272000 | #Constraints: 38681
1610.11/1635.49 c #Conflicts: 1273000 | #Constraints: 39681
1610.11/1635.49 c #Conflicts: 1274000 | #Constraints: 40681
1756.15/1781.97 c #Conflicts: 1275000 | #Constraints: 41681
1756.15/1781.97 c #Conflicts: 1276000 | #Constraints: 42681
1756.15/1781.97 c #Conflicts: 1277000 | #Constraints: 43681
1756.15/1781.97 c #Conflicts: 1278000 | #Constraints: 44681
1756.15/1781.97 c #Conflicts: 1279000 | #Constraints: 45681
1756.15/1781.97 c INPROCESSING
1756.15/1781.97 c GARBAGE COLLECT
1756.15/1781.97 c #Conflicts: 1280000 | #Constraints: 24282
1756.15/1781.97 c #Conflicts: 1281000 | #Constraints: 25282
1756.15/1781.97 c #Conflicts: 1282000 | #Constraints: 26282
1756.15/1781.97 c #Conflicts: 1283000 | #Constraints: 27282
1756.15/1781.97 c #Conflicts: 1284000 | #Constraints: 28282
1756.15/1781.97 c #Conflicts: 1285000 | #Constraints: 29282
1756.15/1781.97 c #Conflicts: 1286000 | #Constraints: 30282
1756.15/1781.97 c #Conflicts: 1287000 | #Constraints: 31282
1756.15/1781.97 c #Conflicts: 1288000 | #Constraints: 32282
1756.15/1781.97 c #Conflicts: 1289000 | #Constraints: 33282
1756.15/1781.97 c #Conflicts: 1290000 | #Constraints: 34282
1756.15/1781.97 c #Conflicts: 1291000 | #Constraints: 35282
1756.15/1781.97 c #Conflicts: 1292000 | #Constraints: 36282
1756.15/1781.97 c #Conflicts: 1293000 | #Constraints: 37282
1756.15/1781.97 c #Conflicts: 1294000 | #Constraints: 38282
1756.15/1781.97 c #Conflicts: 1295000 | #Constraints: 39282
1756.15/1781.97 c #Conflicts: 1296000 | #Constraints: 40282
1756.15/1781.97 c #Conflicts: 1297000 | #Constraints: 41282
1756.15/1781.97 c #Conflicts: 1298000 | #Constraints: 42282
1756.15/1781.97 c #Conflicts: 1299000 | #Constraints: 43282
1756.15/1781.97 c #Conflicts: 1300000 | #Constraints: 44282
1756.15/1781.97 c #Conflicts: 1301000 | #Constraints: 45282
1756.15/1781.97 c #Conflicts: 1302000 | #Constraints: 46282
1756.15/1781.97 c INPROCESSING
1756.15/1781.97 c GARBAGE COLLECT
1756.15/1781.97 c #Conflicts: 1303000 | #Constraints: 24677
1756.15/1781.97 c #Conflicts: 1304000 | #Constraints: 25677
1756.15/1781.97 c #Conflicts: 1305000 | #Constraints: 26677
1756.15/1781.97 c #Conflicts: 1306000 | #Constraints: 27677
1756.15/1781.97 c #Conflicts: 1307000 | #Constraints: 28677
1756.15/1781.97 c #Conflicts: 1308000 | #Constraints: 29677
1756.15/1781.97 c #Conflicts: 1309000 | #Constraints: 30677
1756.15/1781.97 c #Conflicts: 1310000 | #Constraints: 31677
1756.15/1781.97 c #Conflicts: 1311000 | #Constraints: 32677
1756.15/1781.97 c #Conflicts: 1312000 | #Constraints: 33677
1756.15/1781.97 c #Conflicts: 1313000 | #Constraints: 34677
1756.15/1781.97 c #Conflicts: 1314000 | #Constraints: 35677
1756.15/1781.97 c #Conflicts: 1315000 | #Constraints: 36677
1756.15/1781.97 c #Conflicts: 1316000 | #Constraints: 37677
1756.15/1781.97 c #Conflicts: 1317000 | #Constraints: 38677
1756.15/1781.97 c #Conflicts: 1318000 | #Constraints: 39677
1756.15/1781.97 c #Conflicts: 1319000 | #Constraints: 40677
1756.15/1781.97 c #Conflicts: 1320000 | #Constraints: 41677
1756.15/1781.97 c #Conflicts: 1321000 | #Constraints: 42677
1756.15/1781.97 c #Conflicts: 1322000 | #Constraints: 43677
1756.15/1781.97 c #Conflicts: 1323000 | #Constraints: 44677
1756.15/1781.97 c #Conflicts: 1324000 | #Constraints: 45677
1756.15/1781.97 c #Conflicts: 1325000 | #Constraints: 46677
1756.15/1781.97 c INPROCESSING
1756.15/1781.97 c GARBAGE COLLECT
1756.15/1781.97 c #Conflicts: 1326000 | #Constraints: 24882
1756.15/1781.97 c #Conflicts: 1327000 | #Constraints: 25882
1756.15/1781.97 c #Conflicts: 1328000 | #Constraints: 26882
1756.15/1781.97 c #Conflicts: 1329000 | #Constraints: 27882
1756.15/1781.97 c #Conflicts: 1330000 | #Constraints: 28882
1756.15/1781.97 c #Conflicts: 1331000 | #Constraints: 29882
1756.15/1781.97 c #Conflicts: 1332000 | #Constraints: 30882
1756.15/1781.97 c #Conflicts: 1333000 | #Constraints: 31882
1756.15/1781.97 c #Conflicts: 1334000 | #Constraints: 32882
1756.15/1781.97 c #Conflicts: 1335000 | #Constraints: 33882
1756.15/1781.97 c #Conflicts: 1336000 | #Constraints: 34882
1756.15/1781.97 c #Conflicts: 1337000 | #Constraints: 35882
1756.15/1781.97 c #Conflicts: 1338000 | #Constraints: 36882
1756.15/1781.97 c #Conflicts: 1339000 | #Constraints: 37882
1756.15/1781.97 c #Conflicts: 1340000 | #Constraints: 38882
1756.15/1781.97 c #Conflicts: 1341000 | #Constraints: 39882
1756.15/1781.97 c #Conflicts: 1342000 | #Constraints: 40882
1756.15/1781.97 c #Conflicts: 1343000 | #Constraints: 41882
1756.15/1781.97 c #Conflicts: 1344000 | #Constraints: 42882
1756.15/1781.97 c #Conflicts: 1345000 | #Constraints: 43882
1756.15/1781.97 c #Conflicts: 1346000 | #Constraints: 44882
1756.15/1781.97 c #Conflicts: 1347000 | #Constraints: 45882
1756.15/1781.97 c #Conflicts: 1348000 | #Constraints: 46882
1756.15/1781.97 c INPROCESSING
1756.15/1781.97 c GARBAGE COLLECT
1756.15/1781.97 c #Conflicts: 1349000 | #Constraints: 24887
1756.15/1781.97 c #Conflicts: 1350000 | #Constraints: 25887
1921.81/1948.05 c #Conflicts: 1351000 | #Constraints: 26887
1921.81/1948.05 c #Conflicts: 1352000 | #Constraints: 27887
1921.81/1948.05 c #Conflicts: 1353000 | #Constraints: 28887
1921.81/1948.05 c #Conflicts: 1354000 | #Constraints: 29887
1921.81/1948.05 c #Conflicts: 1355000 | #Constraints: 30887
1921.81/1948.05 c #Conflicts: 1356000 | #Constraints: 31887
1921.81/1948.05 c #Conflicts: 1357000 | #Constraints: 32887
1921.81/1948.05 c #Conflicts: 1358000 | #Constraints: 33887
1921.81/1948.05 c #Conflicts: 1359000 | #Constraints: 34887
1921.81/1948.05 c #Conflicts: 1360000 | #Constraints: 35887
1921.81/1948.05 c #Conflicts: 1361000 | #Constraints: 36887
1921.81/1948.05 c #Conflicts: 1362000 | #Constraints: 37887
1921.81/1948.05 c #Conflicts: 1363000 | #Constraints: 38887
1921.81/1948.05 c #Conflicts: 1364000 | #Constraints: 39887
1921.81/1948.05 c #Conflicts: 1365000 | #Constraints: 40887
1921.81/1948.05 c #Conflicts: 1366000 | #Constraints: 41887
1921.81/1948.05 c #Conflicts: 1367000 | #Constraints: 42887
1921.81/1948.05 c #Conflicts: 1368000 | #Constraints: 43887
1921.81/1948.05 c #Conflicts: 1369000 | #Constraints: 44887
1921.81/1948.05 c #Conflicts: 1370000 | #Constraints: 45887
1921.81/1948.05 c #Conflicts: 1371000 | #Constraints: 46887
1921.81/1948.05 c INPROCESSING
1921.81/1948.05 c GARBAGE COLLECT
1921.81/1948.05 c #Conflicts: 1372000 | #Constraints: 24676
1921.81/1948.05 c #Conflicts: 1373000 | #Constraints: 25676
1921.81/1948.05 c #Conflicts: 1374000 | #Constraints: 26676
1921.81/1948.05 c #Conflicts: 1375000 | #Constraints: 27676
1921.81/1948.05 c #Conflicts: 1376000 | #Constraints: 28676
1921.81/1948.05 c #Conflicts: 1377000 | #Constraints: 29676
1921.81/1948.05 c #Conflicts: 1378000 | #Constraints: 30676
1921.81/1948.05 c #Conflicts: 1379000 | #Constraints: 31676
1921.81/1948.05 c #Conflicts: 1380000 | #Constraints: 32676
1921.81/1948.05 c #Conflicts: 1381000 | #Constraints: 33676
1921.81/1948.05 c #Conflicts: 1382000 | #Constraints: 34676
1921.81/1948.05 c #Conflicts: 1383000 | #Constraints: 35676
1921.81/1948.05 c #Conflicts: 1384000 | #Constraints: 36676
1921.81/1948.05 c #Conflicts: 1385000 | #Constraints: 37676
1921.81/1948.05 c #Conflicts: 1386000 | #Constraints: 38676
1921.81/1948.05 c #Conflicts: 1387000 | #Constraints: 39676
1921.81/1948.05 c #Conflicts: 1388000 | #Constraints: 40676
1921.81/1948.05 c #Conflicts: 1389000 | #Constraints: 41676
1921.81/1948.05 c #Conflicts: 1390000 | #Constraints: 42676
1921.81/1948.05 c #Conflicts: 1391000 | #Constraints: 43676
1921.81/1948.05 c #Conflicts: 1392000 | #Constraints: 44676
1921.81/1948.05 c #Conflicts: 1393000 | #Constraints: 45676
1921.81/1948.05 c #Conflicts: 1394000 | #Constraints: 46676
1921.81/1948.05 c #Conflicts: 1395000 | #Constraints: 47676
1921.81/1948.05 c INPROCESSING
1921.81/1948.05 c GARBAGE COLLECT
1921.81/1948.05 c #Conflicts: 1396000 | #Constraints: 25282
1921.81/1948.05 c #Conflicts: 1397000 | #Constraints: 26282
1921.81/1948.05 c #Conflicts: 1398000 | #Constraints: 27282
1921.81/1948.05 c #Conflicts: 1399000 | #Constraints: 28282
1921.81/1948.05 c #Conflicts: 1400000 | #Constraints: 29282
1921.81/1948.05 c #Conflicts: 1401000 | #Constraints: 30282
1921.81/1948.05 c #Conflicts: 1402000 | #Constraints: 31282
1921.81/1948.05 c #Conflicts: 1403000 | #Constraints: 32282
1921.81/1948.05 c #Conflicts: 1404000 | #Constraints: 33282
1921.81/1948.05 c #Conflicts: 1405000 | #Constraints: 34282
1921.81/1948.05 c #Conflicts: 1406000 | #Constraints: 35282
1921.81/1948.05 c #Conflicts: 1407000 | #Constraints: 36282
1921.81/1948.05 c #Conflicts: 1408000 | #Constraints: 37282
1921.81/1948.05 c #Conflicts: 1409000 | #Constraints: 38282
1921.81/1948.05 c #Conflicts: 1410000 | #Constraints: 39282
1921.81/1948.05 c #Conflicts: 1411000 | #Constraints: 40282
1921.81/1948.05 c #Conflicts: 1412000 | #Constraints: 41282
1921.81/1948.05 c #Conflicts: 1413000 | #Constraints: 42282
1921.81/1948.05 c #Conflicts: 1414000 | #Constraints: 43282
1921.81/1948.05 c #Conflicts: 1415000 | #Constraints: 44282
1921.81/1948.05 c #Conflicts: 1416000 | #Constraints: 45282
1921.81/1948.05 c #Conflicts: 1417000 | #Constraints: 46282
1921.81/1948.05 c #Conflicts: 1418000 | #Constraints: 47282
1921.81/1948.05 c #Conflicts: 1419000 | #Constraints: 48282
1921.81/1948.05 c INPROCESSING
1921.81/1948.05 c GARBAGE COLLECT
1921.81/1948.05 c #Conflicts: 1420000 | #Constraints: 25679
1921.81/1948.05 c #Conflicts: 1421000 | #Constraints: 26679
1921.81/1948.05 c #Conflicts: 1422000 | #Constraints: 27679
1921.81/1948.05 c #Conflicts: 1423000 | #Constraints: 28679
1921.81/1948.05 c #Conflicts: 1424000 | #Constraints: 29679
1921.81/1948.05 c #Conflicts: 1425000 | #Constraints: 30679
1921.81/1948.05 c #Conflicts: 1426000 | #Constraints: 31679
1921.81/1948.05 c #Conflicts: 1427000 | #Constraints: 32679
2089.09/2115.78 c #Conflicts: 1428000 | #Constraints: 33679
2089.09/2115.78 c #Conflicts: 1429000 | #Constraints: 34679
2089.09/2115.78 c #Conflicts: 1430000 | #Constraints: 35679
2089.09/2115.78 c #Conflicts: 1431000 | #Constraints: 36679
2089.09/2115.78 c #Conflicts: 1432000 | #Constraints: 37679
2089.09/2115.78 c #Conflicts: 1433000 | #Constraints: 38679
2089.09/2115.78 c #Conflicts: 1434000 | #Constraints: 39679
2089.09/2115.78 c #Conflicts: 1435000 | #Constraints: 40679
2089.09/2115.78 c #Conflicts: 1436000 | #Constraints: 41679
2089.09/2115.78 c #Conflicts: 1437000 | #Constraints: 42679
2089.09/2115.78 c #Conflicts: 1438000 | #Constraints: 43679
2089.09/2115.78 c #Conflicts: 1439000 | #Constraints: 44679
2089.09/2115.78 c #Conflicts: 1440000 | #Constraints: 45679
2089.09/2115.78 c #Conflicts: 1441000 | #Constraints: 46679
2089.09/2115.78 c #Conflicts: 1442000 | #Constraints: 47679
2089.09/2115.78 c #Conflicts: 1443000 | #Constraints: 48679
2089.09/2115.78 c INPROCESSING
2089.09/2115.78 c GARBAGE COLLECT
2089.09/2115.78 c #Conflicts: 1444000 | #Constraints: 25873
2089.09/2115.78 c #Conflicts: 1445000 | #Constraints: 26873
2089.09/2115.78 c #Conflicts: 1446000 | #Constraints: 27873
2089.09/2115.78 c #Conflicts: 1447000 | #Constraints: 28873
2089.09/2115.78 c #Conflicts: 1448000 | #Constraints: 29873
2089.09/2115.78 c #Conflicts: 1449000 | #Constraints: 30873
2089.09/2115.78 c #Conflicts: 1450000 | #Constraints: 31873
2089.09/2115.78 c #Conflicts: 1451000 | #Constraints: 32873
2089.09/2115.78 c #Conflicts: 1452000 | #Constraints: 33873
2089.09/2115.78 c #Conflicts: 1453000 | #Constraints: 34873
2089.09/2115.78 c #Conflicts: 1454000 | #Constraints: 35873
2089.09/2115.78 c #Conflicts: 1455000 | #Constraints: 36873
2089.09/2115.78 c #Conflicts: 1456000 | #Constraints: 37873
2089.09/2115.78 c #Conflicts: 1457000 | #Constraints: 38873
2089.09/2115.78 c #Conflicts: 1458000 | #Constraints: 39873
2089.09/2115.78 c #Conflicts: 1459000 | #Constraints: 40873
2089.09/2115.78 c #Conflicts: 1460000 | #Constraints: 41873
2089.09/2115.78 c #Conflicts: 1461000 | #Constraints: 42873
2089.09/2115.78 c #Conflicts: 1462000 | #Constraints: 43873
2089.09/2115.78 c #Conflicts: 1463000 | #Constraints: 44873
2089.09/2115.78 c #Conflicts: 1464000 | #Constraints: 45873
2089.09/2115.78 c #Conflicts: 1465000 | #Constraints: 46873
2089.09/2115.78 c #Conflicts: 1466000 | #Constraints: 47873
2089.09/2115.78 c #Conflicts: 1467000 | #Constraints: 48873
2089.09/2115.78 c INPROCESSING
2089.09/2115.78 c GARBAGE COLLECT
2089.09/2115.78 c #Conflicts: 1468000 | #Constraints: 25875
2089.09/2115.78 c #Conflicts: 1469000 | #Constraints: 26875
2089.09/2115.78 c #Conflicts: 1470000 | #Constraints: 27875
2089.09/2115.78 c #Conflicts: 1471000 | #Constraints: 28875
2089.09/2115.78 c #Conflicts: 1472000 | #Constraints: 29875
2089.09/2115.78 c #Conflicts: 1473000 | #Constraints: 30875
2089.09/2115.78 c #Conflicts: 1474000 | #Constraints: 31875
2089.09/2115.78 c #Conflicts: 1475000 | #Constraints: 32875
2089.09/2115.78 c #Conflicts: 1476000 | #Constraints: 33875
2089.09/2115.78 c #Conflicts: 1477000 | #Constraints: 34875
2089.09/2115.78 c #Conflicts: 1478000 | #Constraints: 35875
2089.09/2115.78 c #Conflicts: 1479000 | #Constraints: 36875
2089.09/2115.78 c #Conflicts: 1480000 | #Constraints: 37875
2089.09/2115.78 c #Conflicts: 1481000 | #Constraints: 38875
2089.09/2115.78 c #Conflicts: 1482000 | #Constraints: 39875
2089.09/2115.78 c #Conflicts: 1483000 | #Constraints: 40875
2089.09/2115.78 c #Conflicts: 1484000 | #Constraints: 41875
2089.09/2115.78 c #Conflicts: 1485000 | #Constraints: 42875
2089.09/2115.78 c #Conflicts: 1486000 | #Constraints: 43875
2089.09/2115.78 c #Conflicts: 1487000 | #Constraints: 44875
2089.09/2115.78 c #Conflicts: 1488000 | #Constraints: 45875
2089.09/2115.78 c #Conflicts: 1489000 | #Constraints: 46875
2089.09/2115.78 c #Conflicts: 1490000 | #Constraints: 47875
2089.09/2115.78 c #Conflicts: 1491000 | #Constraints: 48875
2089.09/2115.78 c INPROCESSING
2089.09/2115.78 c GARBAGE COLLECT
2089.09/2115.78 c #Conflicts: 1492000 | #Constraints: 25674
2089.09/2115.78 c #Conflicts: 1493000 | #Constraints: 26674
2089.09/2115.78 c #Conflicts: 1494000 | #Constraints: 27674
2089.09/2115.78 c #Conflicts: 1495000 | #Constraints: 28674
2089.09/2115.78 c #Conflicts: 1496000 | #Constraints: 29674
2089.09/2115.78 c #Conflicts: 1497000 | #Constraints: 30674
2089.09/2115.78 c #Conflicts: 1498000 | #Constraints: 31674
2089.09/2115.78 c #Conflicts: 1499000 | #Constraints: 32674
2089.09/2115.78 c #Conflicts: 1500000 | #Constraints: 33674
2089.09/2115.78 c #Conflicts: 1501000 | #Constraints: 34674
2089.09/2115.78 c #Conflicts: 1502000 | #Constraints: 35674
2089.09/2115.78 c #Conflicts: 1503000 | #Constraints: 36674
2089.09/2115.78 c #Conflicts: 1504000 | #Constraints: 37674
2246.91/2273.96 c #Conflicts: 1505000 | #Constraints: 38674
2246.91/2273.96 c #Conflicts: 1506000 | #Constraints: 39674
2246.91/2273.96 c #Conflicts: 1507000 | #Constraints: 40674
2246.91/2273.96 c #Conflicts: 1508000 | #Constraints: 41674
2246.91/2273.96 c #Conflicts: 1509000 | #Constraints: 42674
2246.91/2273.96 c #Conflicts: 1510000 | #Constraints: 43674
2246.91/2273.96 c #Conflicts: 1511000 | #Constraints: 44674
2246.91/2273.96 c #Conflicts: 1512000 | #Constraints: 45674
2246.91/2273.96 c #Conflicts: 1513000 | #Constraints: 46674
2246.91/2273.96 c #Conflicts: 1514000 | #Constraints: 47674
2246.91/2273.96 c #Conflicts: 1515000 | #Constraints: 48674
2246.91/2273.96 c #Conflicts: 1516000 | #Constraints: 49674
2246.91/2273.96 c INPROCESSING
2246.91/2273.96 c GARBAGE COLLECT
2246.91/2273.96 c #Conflicts: 1517000 | #Constraints: 26281
2246.91/2273.96 c #Conflicts: 1518000 | #Constraints: 27281
2246.91/2273.96 c #Conflicts: 1519000 | #Constraints: 28281
2246.91/2273.96 c #Conflicts: 1520000 | #Constraints: 29281
2246.91/2273.96 c #Conflicts: 1521000 | #Constraints: 30281
2246.91/2273.96 c #Conflicts: 1522000 | #Constraints: 31281
2246.91/2273.96 c #Conflicts: 1523000 | #Constraints: 32281
2246.91/2273.96 c #Conflicts: 1524000 | #Constraints: 33281
2246.91/2273.96 c #Conflicts: 1525000 | #Constraints: 34281
2246.91/2273.96 c #Conflicts: 1526000 | #Constraints: 35281
2246.91/2273.96 c #Conflicts: 1527000 | #Constraints: 36281
2246.91/2273.96 c #Conflicts: 1528000 | #Constraints: 37281
2246.91/2273.96 c #Conflicts: 1529000 | #Constraints: 38281
2246.91/2273.96 c #Conflicts: 1530000 | #Constraints: 39281
2246.91/2273.96 c #Conflicts: 1531000 | #Constraints: 40281
2246.91/2273.96 c #Conflicts: 1532000 | #Constraints: 41281
2246.91/2273.96 c #Conflicts: 1533000 | #Constraints: 42281
2246.91/2273.96 c #Conflicts: 1534000 | #Constraints: 43281
2246.91/2273.96 c #Conflicts: 1535000 | #Constraints: 44281
2246.91/2273.96 c #Conflicts: 1536000 | #Constraints: 45281
2246.91/2273.96 c #Conflicts: 1537000 | #Constraints: 46281
2246.91/2273.96 c #Conflicts: 1538000 | #Constraints: 47281
2246.91/2273.96 c #Conflicts: 1539000 | #Constraints: 48281
2246.91/2273.96 c #Conflicts: 1540000 | #Constraints: 49281
2246.91/2273.96 c #Conflicts: 1541000 | #Constraints: 50281
2246.91/2273.96 c INPROCESSING
2246.91/2273.96 c GARBAGE COLLECT
2246.91/2273.96 c #Conflicts: 1542000 | #Constraints: 26676
2246.91/2273.96 c #Conflicts: 1543000 | #Constraints: 27676
2246.91/2273.96 c #Conflicts: 1544000 | #Constraints: 28676
2246.91/2273.96 c #Conflicts: 1545000 | #Constraints: 29676
2246.91/2273.96 c #Conflicts: 1546000 | #Constraints: 30676
2246.91/2273.96 c #Conflicts: 1547000 | #Constraints: 31676
2246.91/2273.96 c #Conflicts: 1548000 | #Constraints: 32676
2246.91/2273.96 c #Conflicts: 1549000 | #Constraints: 33676
2246.91/2273.96 c #Conflicts: 1550000 | #Constraints: 34676
2246.91/2273.96 c #Conflicts: 1551000 | #Constraints: 35676
2246.91/2273.96 c #Conflicts: 1552000 | #Constraints: 36676
2246.91/2273.96 c #Conflicts: 1553000 | #Constraints: 37676
2246.91/2273.96 c #Conflicts: 1554000 | #Constraints: 38676
2246.91/2273.96 c #Conflicts: 1555000 | #Constraints: 39676
2246.91/2273.96 c #Conflicts: 1556000 | #Constraints: 40676
2246.91/2273.96 c #Conflicts: 1557000 | #Constraints: 41676
2246.91/2273.96 c #Conflicts: 1558000 | #Constraints: 42676
2246.91/2273.96 c #Conflicts: 1559000 | #Constraints: 43676
2246.91/2273.96 c #Conflicts: 1560000 | #Constraints: 44676
2246.91/2273.96 c #Conflicts: 1561000 | #Constraints: 45676
2246.91/2273.96 c #Conflicts: 1562000 | #Constraints: 46676
2246.91/2273.96 c #Conflicts: 1563000 | #Constraints: 47676
2246.91/2273.96 c #Conflicts: 1564000 | #Constraints: 48676
2246.91/2273.96 c #Conflicts: 1565000 | #Constraints: 49676
2246.91/2273.96 c #Conflicts: 1566000 | #Constraints: 50676
2246.91/2273.96 c INPROCESSING
2246.91/2273.96 c GARBAGE COLLECT
2246.91/2273.96 c #Conflicts: 1567000 | #Constraints: 26874
2246.91/2273.96 c #Conflicts: 1568000 | #Constraints: 27874
2246.91/2273.96 c #Conflicts: 1569000 | #Constraints: 28874
2246.91/2273.96 c #Conflicts: 1570000 | #Constraints: 29874
2246.91/2273.96 c #Conflicts: 1571000 | #Constraints: 30874
2246.91/2273.96 c #Conflicts: 1572000 | #Constraints: 31874
2246.91/2273.96 c #Conflicts: 1573000 | #Constraints: 32874
2246.91/2273.96 c #Conflicts: 1574000 | #Constraints: 33874
2246.91/2273.96 c #Conflicts: 1575000 | #Constraints: 34874
2246.91/2273.96 c #Conflicts: 1576000 | #Constraints: 35874
2246.91/2273.96 c #Conflicts: 1577000 | #Constraints: 36874
2246.91/2273.96 c #Conflicts: 1578000 | #Constraints: 37874
2246.91/2273.96 c #Conflicts: 1579000 | #Constraints: 38874
2246.91/2273.96 c #Conflicts: 1580000 | #Constraints: 39874
2246.91/2273.96 c #Conflicts: 1581000 | #Constraints: 40874
2390.17/2417.68 c #Conflicts: 1582000 | #Constraints: 41874
2390.17/2417.68 c #Conflicts: 1583000 | #Constraints: 42874
2390.17/2417.68 c #Conflicts: 1584000 | #Constraints: 43874
2390.17/2417.68 c #Conflicts: 1585000 | #Constraints: 44874
2390.17/2417.68 c #Conflicts: 1586000 | #Constraints: 45874
2390.17/2417.68 c #Conflicts: 1587000 | #Constraints: 46874
2390.17/2417.68 c #Conflicts: 1588000 | #Constraints: 47874
2390.17/2417.68 c #Conflicts: 1589000 | #Constraints: 48874
2390.17/2417.68 c #Conflicts: 1590000 | #Constraints: 49874
2390.17/2417.68 c #Conflicts: 1591000 | #Constraints: 50874
2390.17/2417.68 c INPROCESSING
2390.17/2417.68 c GARBAGE COLLECT
2390.17/2417.68 c #Conflicts: 1592000 | #Constraints: 26878
2390.17/2417.68 c #Conflicts: 1593000 | #Constraints: 27878
2390.17/2417.68 c #Conflicts: 1594000 | #Constraints: 28878
2390.17/2417.68 c #Conflicts: 1595000 | #Constraints: 29878
2390.17/2417.68 c #Conflicts: 1596000 | #Constraints: 30878
2390.17/2417.68 c #Conflicts: 1597000 | #Constraints: 31878
2390.17/2417.68 c #Conflicts: 1598000 | #Constraints: 32878
2390.17/2417.68 c #Conflicts: 1599000 | #Constraints: 33878
2390.17/2417.68 c #Conflicts: 1600000 | #Constraints: 34878
2390.17/2417.68 c #Conflicts: 1601000 | #Constraints: 35878
2390.17/2417.68 c #Conflicts: 1602000 | #Constraints: 36878
2390.17/2417.68 c #Conflicts: 1603000 | #Constraints: 37878
2390.17/2417.68 c #Conflicts: 1604000 | #Constraints: 38878
2390.17/2417.68 c #Conflicts: 1605000 | #Constraints: 39878
2390.17/2417.68 c #Conflicts: 1606000 | #Constraints: 40878
2390.17/2417.68 c #Conflicts: 1607000 | #Constraints: 41878
2390.17/2417.68 c #Conflicts: 1608000 | #Constraints: 42878
2390.17/2417.68 c #Conflicts: 1609000 | #Constraints: 43878
2390.17/2417.68 c #Conflicts: 1610000 | #Constraints: 44878
2390.17/2417.68 c #Conflicts: 1611000 | #Constraints: 45878
2390.17/2417.68 c #Conflicts: 1612000 | #Constraints: 46878
2390.17/2417.68 c #Conflicts: 1613000 | #Constraints: 47878
2390.17/2417.68 c #Conflicts: 1614000 | #Constraints: 48878
2390.17/2417.68 c #Conflicts: 1615000 | #Constraints: 49878
2390.17/2417.68 c #Conflicts: 1616000 | #Constraints: 50878
2390.17/2417.68 c INPROCESSING
2390.17/2417.68 c GARBAGE COLLECT
2390.17/2417.68 c #Conflicts: 1617000 | #Constraints: 26676
2390.17/2417.68 c #Conflicts: 1618000 | #Constraints: 27676
2390.17/2417.68 c #Conflicts: 1619000 | #Constraints: 28676
2390.17/2417.68 c #Conflicts: 1620000 | #Constraints: 29676
2390.17/2417.68 c #Conflicts: 1621000 | #Constraints: 30676
2390.17/2417.68 c #Conflicts: 1622000 | #Constraints: 31676
2390.17/2417.68 c #Conflicts: 1623000 | #Constraints: 32676
2390.17/2417.68 c #Conflicts: 1624000 | #Constraints: 33676
2390.17/2417.68 c #Conflicts: 1625000 | #Constraints: 34676
2390.17/2417.68 c #Conflicts: 1626000 | #Constraints: 35676
2390.17/2417.68 c #Conflicts: 1627000 | #Constraints: 36676
2390.17/2417.68 c #Conflicts: 1628000 | #Constraints: 37676
2390.17/2417.68 c #Conflicts: 1629000 | #Constraints: 38676
2390.17/2417.68 c #Conflicts: 1630000 | #Constraints: 39676
2390.17/2417.68 c #Conflicts: 1631000 | #Constraints: 40676
2390.17/2417.68 c #Conflicts: 1632000 | #Constraints: 41676
2390.17/2417.68 c #Conflicts: 1633000 | #Constraints: 42676
2390.17/2417.68 c #Conflicts: 1634000 | #Constraints: 43676
2390.17/2417.68 c #Conflicts: 1635000 | #Constraints: 44676
2390.17/2417.68 c #Conflicts: 1636000 | #Constraints: 45676
2390.17/2417.68 c #Conflicts: 1637000 | #Constraints: 46676
2390.17/2417.68 c #Conflicts: 1638000 | #Constraints: 47676
2390.17/2417.68 c #Conflicts: 1639000 | #Constraints: 48676
2390.17/2417.68 c #Conflicts: 1640000 | #Constraints: 49676
2390.17/2417.68 c #Conflicts: 1641000 | #Constraints: 50676
2390.17/2417.68 c #Conflicts: 1642000 | #Constraints: 51676
2390.17/2417.68 c INPROCESSING
2390.17/2417.68 c GARBAGE COLLECT
2390.17/2417.68 c #Conflicts: 1643000 | #Constraints: 27278
2390.17/2417.68 c #Conflicts: 1644000 | #Constraints: 28278
2390.17/2417.68 c #Conflicts: 1645000 | #Constraints: 29278
2390.17/2417.68 c #Conflicts: 1646000 | #Constraints: 30278
2390.17/2417.68 c #Conflicts: 1647000 | #Constraints: 31278
2390.17/2417.68 c #Conflicts: 1648000 | #Constraints: 32278
2390.17/2417.68 c #Conflicts: 1649000 | #Constraints: 33278
2390.17/2417.68 c #Conflicts: 1650000 | #Constraints: 34278
2390.17/2417.68 c #Conflicts: 1651000 | #Constraints: 35278
2390.17/2417.68 c #Conflicts: 1652000 | #Constraints: 36278
2390.17/2417.68 c #Conflicts: 1653000 | #Constraints: 37278
2390.17/2417.68 c #Conflicts: 1654000 | #Constraints: 38278
2390.17/2417.68 c #Conflicts: 1655000 | #Constraints: 39278
2390.17/2417.68 c #Conflicts: 1656000 | #Constraints: 40278
2390.17/2417.68 c #Conflicts: 1657000 | #Constraints: 41278
2390.17/2417.68 c #Conflicts: 1658000 | #Constraints: 42278
2570.83/2598.86 c #Conflicts: 1659000 | #Constraints: 43278
2570.83/2598.86 c #Conflicts: 1660000 | #Constraints: 44278
2570.83/2598.86 c #Conflicts: 1661000 | #Constraints: 45278
2570.83/2598.86 c #Conflicts: 1662000 | #Constraints: 46278
2570.83/2598.86 c #Conflicts: 1663000 | #Constraints: 47278
2570.83/2598.86 c #Conflicts: 1664000 | #Constraints: 48278
2570.83/2598.86 c #Conflicts: 1665000 | #Constraints: 49278
2570.83/2598.86 c #Conflicts: 1666000 | #Constraints: 50278
2570.83/2598.86 c #Conflicts: 1667000 | #Constraints: 51278
2570.83/2598.86 c #Conflicts: 1668000 | #Constraints: 52278
2570.83/2598.86 c INPROCESSING
2570.83/2598.86 c GARBAGE COLLECT
2570.83/2598.86 c #Conflicts: 1669000 | #Constraints: 27671
2570.83/2598.86 c #Conflicts: 1670000 | #Constraints: 28671
2570.83/2598.86 c #Conflicts: 1671000 | #Constraints: 29671
2570.83/2598.86 c #Conflicts: 1672000 | #Constraints: 30671
2570.83/2598.86 c #Conflicts: 1673000 | #Constraints: 31671
2570.83/2598.86 c #Conflicts: 1674000 | #Constraints: 32671
2570.83/2598.86 c #Conflicts: 1675000 | #Constraints: 33671
2570.83/2598.86 c #Conflicts: 1676000 | #Constraints: 34671
2570.83/2598.86 c #Conflicts: 1677000 | #Constraints: 35671
2570.83/2598.86 c #Conflicts: 1678000 | #Constraints: 36671
2570.83/2598.86 c #Conflicts: 1679000 | #Constraints: 37671
2570.83/2598.86 c #Conflicts: 1680000 | #Constraints: 38671
2570.83/2598.86 c #Conflicts: 1681000 | #Constraints: 39671
2570.83/2598.86 c #Conflicts: 1682000 | #Constraints: 40671
2570.83/2598.86 c #Conflicts: 1683000 | #Constraints: 41671
2570.83/2598.86 c #Conflicts: 1684000 | #Constraints: 42671
2570.83/2598.86 c #Conflicts: 1685000 | #Constraints: 43671
2570.83/2598.86 c #Conflicts: 1686000 | #Constraints: 44671
2570.83/2598.86 c #Conflicts: 1687000 | #Constraints: 45671
2570.83/2598.86 c #Conflicts: 1688000 | #Constraints: 46671
2570.83/2598.86 c #Conflicts: 1689000 | #Constraints: 47671
2570.83/2598.86 c #Conflicts: 1690000 | #Constraints: 48671
2570.83/2598.86 c #Conflicts: 1691000 | #Constraints: 49671
2570.83/2598.86 c #Conflicts: 1692000 | #Constraints: 50671
2570.83/2598.86 c #Conflicts: 1693000 | #Constraints: 51671
2570.83/2598.86 c #Conflicts: 1694000 | #Constraints: 52671
2570.83/2598.86 c INPROCESSING
2570.83/2598.86 c GARBAGE COLLECT
2570.83/2598.86 c #Conflicts: 1695000 | #Constraints: 27872
2570.83/2598.86 c #Conflicts: 1696000 | #Constraints: 28872
2570.83/2598.86 c #Conflicts: 1697000 | #Constraints: 29872
2570.83/2598.86 c #Conflicts: 1698000 | #Constraints: 30872
2570.83/2598.86 c #Conflicts: 1699000 | #Constraints: 31872
2570.83/2598.86 c #Conflicts: 1700000 | #Constraints: 32872
2570.83/2598.86 c #Conflicts: 1701000 | #Constraints: 33872
2570.83/2598.86 c #Conflicts: 1702000 | #Constraints: 34872
2570.83/2598.86 c #Conflicts: 1703000 | #Constraints: 35872
2570.83/2598.86 c #Conflicts: 1704000 | #Constraints: 36872
2570.83/2598.86 c #Conflicts: 1705000 | #Constraints: 37872
2570.83/2598.86 c #Conflicts: 1706000 | #Constraints: 38872
2570.83/2598.86 c #Conflicts: 1707000 | #Constraints: 39872
2570.83/2598.86 c #Conflicts: 1708000 | #Constraints: 40872
2570.83/2598.86 c #Conflicts: 1709000 | #Constraints: 41872
2570.83/2598.86 c #Conflicts: 1710000 | #Constraints: 42872
2570.83/2598.86 c #Conflicts: 1711000 | #Constraints: 43872
2570.83/2598.86 c #Conflicts: 1712000 | #Constraints: 44872
2570.83/2598.86 c #Conflicts: 1713000 | #Constraints: 45872
2570.83/2598.86 c #Conflicts: 1714000 | #Constraints: 46872
2570.83/2598.86 c #Conflicts: 1715000 | #Constraints: 47872
2570.83/2598.86 c #Conflicts: 1716000 | #Constraints: 48872
2570.83/2598.86 c #Conflicts: 1717000 | #Constraints: 49872
2570.83/2598.86 c #Conflicts: 1718000 | #Constraints: 50872
2570.83/2598.86 c #Conflicts: 1719000 | #Constraints: 51872
2570.83/2598.86 c #Conflicts: 1720000 | #Constraints: 52872
2570.83/2598.86 c INPROCESSING
2570.83/2598.86 c GARBAGE COLLECT
2570.83/2598.86 c #Conflicts: 1721000 | #Constraints: 27875
2570.83/2598.86 c #Conflicts: 1722000 | #Constraints: 28875
2570.83/2598.86 c #Conflicts: 1723000 | #Constraints: 29875
2570.83/2598.86 c #Conflicts: 1724000 | #Constraints: 30875
2570.83/2598.86 c #Conflicts: 1725000 | #Constraints: 31875
2570.83/2598.86 c #Conflicts: 1726000 | #Constraints: 32875
2570.83/2598.86 c #Conflicts: 1727000 | #Constraints: 33875
2570.83/2598.86 c #Conflicts: 1728000 | #Constraints: 34875
2570.83/2598.86 c #Conflicts: 1729000 | #Constraints: 35875
2570.83/2598.86 c #Conflicts: 1730000 | #Constraints: 36875
2570.83/2598.86 c #Conflicts: 1731000 | #Constraints: 37875
2570.83/2598.86 c #Conflicts: 1732000 | #Constraints: 38875
2570.83/2598.86 c #Conflicts: 1733000 | #Constraints: 39875
2570.83/2598.86 c #Conflicts: 1734000 | #Constraints: 40875
2570.83/2598.86 c #Conflicts: 1735000 | #Constraints: 41875
2744.91/2773.46 c #Conflicts: 1736000 | #Constraints: 42875
2744.91/2773.46 c #Conflicts: 1737000 | #Constraints: 43875
2744.91/2773.46 c #Conflicts: 1738000 | #Constraints: 44875
2744.91/2773.46 c #Conflicts: 1739000 | #Constraints: 45875
2744.91/2773.46 c #Conflicts: 1740000 | #Constraints: 46875
2744.91/2773.46 c #Conflicts: 1741000 | #Constraints: 47875
2744.91/2773.46 c #Conflicts: 1742000 | #Constraints: 48875
2744.91/2773.46 c #Conflicts: 1743000 | #Constraints: 49875
2744.91/2773.46 c #Conflicts: 1744000 | #Constraints: 50875
2744.91/2773.46 c #Conflicts: 1745000 | #Constraints: 51875
2744.91/2773.46 c #Conflicts: 1746000 | #Constraints: 52875
2744.91/2773.46 c INPROCESSING
2744.91/2773.46 c GARBAGE COLLECT
2744.91/2773.46 c #Conflicts: 1747000 | #Constraints: 27680
2744.91/2773.46 c #Conflicts: 1748000 | #Constraints: 28680
2744.91/2773.46 c #Conflicts: 1749000 | #Constraints: 29680
2744.91/2773.46 c #Conflicts: 1750000 | #Constraints: 30680
2744.91/2773.46 c #Conflicts: 1751000 | #Constraints: 31680
2744.91/2773.46 c #Conflicts: 1752000 | #Constraints: 32680
2744.91/2773.46 c #Conflicts: 1753000 | #Constraints: 33680
2744.91/2773.46 c #Conflicts: 1754000 | #Constraints: 34680
2744.91/2773.46 c #Conflicts: 1755000 | #Constraints: 35680
2744.91/2773.46 c #Conflicts: 1756000 | #Constraints: 36680
2744.91/2773.46 c #Conflicts: 1757000 | #Constraints: 37680
2744.91/2773.46 c #Conflicts: 1758000 | #Constraints: 38680
2744.91/2773.46 c #Conflicts: 1759000 | #Constraints: 39680
2744.91/2773.46 c #Conflicts: 1760000 | #Constraints: 40680
2744.91/2773.46 c #Conflicts: 1761000 | #Constraints: 41680
2744.91/2773.46 c #Conflicts: 1762000 | #Constraints: 42680
2744.91/2773.46 c #Conflicts: 1763000 | #Constraints: 43680
2744.91/2773.46 c #Conflicts: 1764000 | #Constraints: 44680
2744.91/2773.46 c #Conflicts: 1765000 | #Constraints: 45680
2744.91/2773.46 c #Conflicts: 1766000 | #Constraints: 46680
2744.91/2773.46 c #Conflicts: 1767000 | #Constraints: 47680
2744.91/2773.46 c #Conflicts: 1768000 | #Constraints: 48680
2744.91/2773.46 c #Conflicts: 1769000 | #Constraints: 49680
2744.91/2773.46 c #Conflicts: 1770000 | #Constraints: 50680
2744.91/2773.46 c #Conflicts: 1771000 | #Constraints: 51680
2744.91/2773.46 c #Conflicts: 1772000 | #Constraints: 52680
2744.91/2773.46 c #Conflicts: 1773000 | #Constraints: 53680
2744.91/2773.46 c INPROCESSING
2744.91/2773.46 c GARBAGE COLLECT
2744.91/2773.46 c #Conflicts: 1774000 | #Constraints: 28270
2744.91/2773.46 c #Conflicts: 1775000 | #Constraints: 29270
2744.91/2773.46 c #Conflicts: 1776000 | #Constraints: 30270
2744.91/2773.46 c #Conflicts: 1777000 | #Constraints: 31270
2744.91/2773.46 c #Conflicts: 1778000 | #Constraints: 32270
2744.91/2773.46 c #Conflicts: 1779000 | #Constraints: 33270
2744.91/2773.46 c #Conflicts: 1780000 | #Constraints: 34270
2744.91/2773.46 c #Conflicts: 1781000 | #Constraints: 35270
2744.91/2773.46 c #Conflicts: 1782000 | #Constraints: 36270
2744.91/2773.46 c #Conflicts: 1783000 | #Constraints: 37270
2744.91/2773.46 c #Conflicts: 1784000 | #Constraints: 38270
2744.91/2773.46 c #Conflicts: 1785000 | #Constraints: 39270
2744.91/2773.46 c #Conflicts: 1786000 | #Constraints: 40270
2744.91/2773.46 c #Conflicts: 1787000 | #Constraints: 41270
2744.91/2773.46 c #Conflicts: 1788000 | #Constraints: 42270
2744.91/2773.46 c #Conflicts: 1789000 | #Constraints: 43270
2744.91/2773.46 c #Conflicts: 1790000 | #Constraints: 44270
2744.91/2773.46 c #Conflicts: 1791000 | #Constraints: 45270
2744.91/2773.46 c #Conflicts: 1792000 | #Constraints: 46270
2744.91/2773.46 c #Conflicts: 1793000 | #Constraints: 47270
2744.91/2773.46 c #Conflicts: 1794000 | #Constraints: 48270
2744.91/2773.46 c #Conflicts: 1795000 | #Constraints: 49270
2744.91/2773.46 c #Conflicts: 1796000 | #Constraints: 50270
2744.91/2773.46 c #Conflicts: 1797000 | #Constraints: 51270
2744.91/2773.46 c #Conflicts: 1798000 | #Constraints: 52270
2744.91/2773.46 c #Conflicts: 1799000 | #Constraints: 53270
2744.91/2773.46 c #Conflicts: 1800000 | #Constraints: 54270
2744.91/2773.46 c INPROCESSING
2744.91/2773.46 c GARBAGE COLLECT
2744.91/2773.46 c #Conflicts: 1801000 | #Constraints: 28677
2744.91/2773.46 c #Conflicts: 1802000 | #Constraints: 29677
2744.91/2773.46 c #Conflicts: 1803000 | #Constraints: 30677
2744.91/2773.46 c #Conflicts: 1804000 | #Constraints: 31677
2744.91/2773.46 c #Conflicts: 1805000 | #Constraints: 32677
2744.91/2773.46 c #Conflicts: 1806000 | #Constraints: 33677
2744.91/2773.46 c #Conflicts: 1807000 | #Constraints: 34677
2744.91/2773.46 c #Conflicts: 1808000 | #Constraints: 35677
2744.91/2773.46 c #Conflicts: 1809000 | #Constraints: 36677
2744.91/2773.46 c #Conflicts: 1810000 | #Constraints: 37677
2744.91/2773.46 c #Conflicts: 1811000 | #Constraints: 38677
2744.91/2773.46 c #Conflicts: 1812000 | #Constraints: 39677
2918.99/2948.04 c #Conflicts: 1813000 | #Constraints: 40677
2918.99/2948.04 c #Conflicts: 1814000 | #Constraints: 41677
2918.99/2948.04 c #Conflicts: 1815000 | #Constraints: 42677
2918.99/2948.04 c #Conflicts: 1816000 | #Constraints: 43677
2918.99/2948.04 c #Conflicts: 1817000 | #Constraints: 44677
2918.99/2948.04 c #Conflicts: 1818000 | #Constraints: 45677
2918.99/2948.04 c #Conflicts: 1819000 | #Constraints: 46677
2918.99/2948.04 c #Conflicts: 1820000 | #Constraints: 47677
2918.99/2948.04 c #Conflicts: 1821000 | #Constraints: 48677
2918.99/2948.04 c #Conflicts: 1822000 | #Constraints: 49677
2918.99/2948.04 c #Conflicts: 1823000 | #Constraints: 50677
2918.99/2948.04 c #Conflicts: 1824000 | #Constraints: 51677
2918.99/2948.04 c #Conflicts: 1825000 | #Constraints: 52677
2918.99/2948.04 c #Conflicts: 1826000 | #Constraints: 53677
2918.99/2948.04 c #Conflicts: 1827000 | #Constraints: 54677
2918.99/2948.04 c INPROCESSING
2918.99/2948.04 c GARBAGE COLLECT
2918.99/2948.04 c #Conflicts: 1828000 | #Constraints: 28884
2918.99/2948.04 c #Conflicts: 1829000 | #Constraints: 29884
2918.99/2948.04 c #Conflicts: 1830000 | #Constraints: 30884
2918.99/2948.04 c #Conflicts: 1831000 | #Constraints: 31884
2918.99/2948.04 c #Conflicts: 1832000 | #Constraints: 32884
2918.99/2948.04 c #Conflicts: 1833000 | #Constraints: 33884
2918.99/2948.04 c #Conflicts: 1834000 | #Constraints: 34884
2918.99/2948.04 c #Conflicts: 1835000 | #Constraints: 35884
2918.99/2948.04 c #Conflicts: 1836000 | #Constraints: 36884
2918.99/2948.04 c #Conflicts: 1837000 | #Constraints: 37884
2918.99/2948.04 c #Conflicts: 1838000 | #Constraints: 38884
2918.99/2948.04 c #Conflicts: 1839000 | #Constraints: 39884
2918.99/2948.04 c #Conflicts: 1840000 | #Constraints: 40884
2918.99/2948.04 c #Conflicts: 1841000 | #Constraints: 41884
2918.99/2948.04 c #Conflicts: 1842000 | #Constraints: 42884
2918.99/2948.04 c #Conflicts: 1843000 | #Constraints: 43884
2918.99/2948.04 c #Conflicts: 1844000 | #Constraints: 44884
2918.99/2948.04 c #Conflicts: 1845000 | #Constraints: 45884
2918.99/2948.04 c #Conflicts: 1846000 | #Constraints: 46884
2918.99/2948.04 c #Conflicts: 1847000 | #Constraints: 47884
2918.99/2948.04 c #Conflicts: 1848000 | #Constraints: 48884
2918.99/2948.04 c #Conflicts: 1849000 | #Constraints: 49884
2918.99/2948.04 c #Conflicts: 1850000 | #Constraints: 50884
2918.99/2948.04 c #Conflicts: 1851000 | #Constraints: 51884
2918.99/2948.04 c #Conflicts: 1852000 | #Constraints: 52884
2918.99/2948.04 c #Conflicts: 1853000 | #Constraints: 53884
2918.99/2948.04 c #Conflicts: 1854000 | #Constraints: 54884
2918.99/2948.04 c INPROCESSING
2918.99/2948.04 c GARBAGE COLLECT
2918.99/2948.04 c #Conflicts: 1855000 | #Constraints: 28880
2918.99/2948.04 c #Conflicts: 1856000 | #Constraints: 29880
2918.99/2948.04 c #Conflicts: 1857000 | #Constraints: 30880
2918.99/2948.04 c #Conflicts: 1858000 | #Constraints: 31880
2918.99/2948.04 c #Conflicts: 1859000 | #Constraints: 32880
2918.99/2948.04 c #Conflicts: 1860000 | #Constraints: 33880
2918.99/2948.04 c #Conflicts: 1861000 | #Constraints: 34880
2918.99/2948.04 c #Conflicts: 1862000 | #Constraints: 35880
2918.99/2948.04 c #Conflicts: 1863000 | #Constraints: 36880
2918.99/2948.04 c #Conflicts: 1864000 | #Constraints: 37880
2918.99/2948.04 c #Conflicts: 1865000 | #Constraints: 38880
2918.99/2948.04 c #Conflicts: 1866000 | #Constraints: 39880
2918.99/2948.04 c #Conflicts: 1867000 | #Constraints: 40880
2918.99/2948.04 c #Conflicts: 1868000 | #Constraints: 41880
2918.99/2948.04 c #Conflicts: 1869000 | #Constraints: 42880
2918.99/2948.04 c #Conflicts: 1870000 | #Constraints: 43880
2918.99/2948.04 c #Conflicts: 1871000 | #Constraints: 44880
2918.99/2948.04 c #Conflicts: 1872000 | #Constraints: 45880
2918.99/2948.04 c #Conflicts: 1873000 | #Constraints: 46880
2918.99/2948.04 c #Conflicts: 1874000 | #Constraints: 47880
2918.99/2948.04 c #Conflicts: 1875000 | #Constraints: 48880
2918.99/2948.04 c #Conflicts: 1876000 | #Constraints: 49880
2918.99/2948.04 c #Conflicts: 1877000 | #Constraints: 50880
2918.99/2948.04 c #Conflicts: 1878000 | #Constraints: 51880
2918.99/2948.04 c #Conflicts: 1879000 | #Constraints: 52880
2918.99/2948.04 c #Conflicts: 1880000 | #Constraints: 53880
2918.99/2948.04 c #Conflicts: 1881000 | #Constraints: 54880
2918.99/2948.04 c INPROCESSING
2918.99/2948.04 c GARBAGE COLLECT
2918.99/2948.04 c #Conflicts: 1882000 | #Constraints: 28675
2918.99/2948.04 c #Conflicts: 1883000 | #Constraints: 29675
2918.99/2948.04 c #Conflicts: 1884000 | #Constraints: 30675
2918.99/2948.04 c #Conflicts: 1885000 | #Constraints: 31675
2918.99/2948.04 c #Conflicts: 1886000 | #Constraints: 32675
2918.99/2948.04 c #Conflicts: 1887000 | #Constraints: 33675
2918.99/2948.04 c #Conflicts: 1888000 | #Constraints: 34675
3112.52/3142.10 c #Conflicts: 1889000 | #Constraints: 35675
3112.52/3142.10 c #Conflicts: 1890000 | #Constraints: 36675
3112.52/3142.10 c #Conflicts: 1891000 | #Constraints: 37675
3112.52/3142.10 c #Conflicts: 1892000 | #Constraints: 38675
3112.52/3142.10 c #Conflicts: 1893000 | #Constraints: 39675
3112.52/3142.10 c #Conflicts: 1894000 | #Constraints: 40675
3112.52/3142.10 c #Conflicts: 1895000 | #Constraints: 41675
3112.52/3142.10 c #Conflicts: 1896000 | #Constraints: 42675
3112.52/3142.10 c #Conflicts: 1897000 | #Constraints: 43675
3112.52/3142.10 c #Conflicts: 1898000 | #Constraints: 44675
3112.52/3142.10 c #Conflicts: 1899000 | #Constraints: 45675
3112.52/3142.10 c #Conflicts: 1900000 | #Constraints: 46675
3112.52/3142.10 c #Conflicts: 1901000 | #Constraints: 47675
3112.52/3142.10 c #Conflicts: 1902000 | #Constraints: 48675
3112.52/3142.10 c #Conflicts: 1903000 | #Constraints: 49675
3112.52/3142.10 c #Conflicts: 1904000 | #Constraints: 50675
3112.52/3142.10 c #Conflicts: 1905000 | #Constraints: 51675
3112.52/3142.10 c #Conflicts: 1906000 | #Constraints: 52675
3112.52/3142.10 c #Conflicts: 1907000 | #Constraints: 53675
3112.52/3142.10 c #Conflicts: 1908000 | #Constraints: 54675
3112.52/3142.10 c #Conflicts: 1909000 | #Constraints: 55675
3112.52/3142.10 c INPROCESSING
3112.52/3142.10 c GARBAGE COLLECT
3112.52/3142.10 c #Conflicts: 1910000 | #Constraints: 29291
3112.52/3142.10 c #Conflicts: 1911000 | #Constraints: 30291
3112.52/3142.10 c #Conflicts: 1912000 | #Constraints: 31291
3112.52/3142.10 c #Conflicts: 1913000 | #Constraints: 32291
3112.52/3142.10 c #Conflicts: 1914000 | #Constraints: 33291
3112.52/3142.10 c #Conflicts: 1915000 | #Constraints: 34291
3112.52/3142.10 c #Conflicts: 1916000 | #Constraints: 35291
3112.52/3142.10 c #Conflicts: 1917000 | #Constraints: 36291
3112.52/3142.10 c #Conflicts: 1918000 | #Constraints: 37291
3112.52/3142.10 c #Conflicts: 1919000 | #Constraints: 38291
3112.52/3142.10 c #Conflicts: 1920000 | #Constraints: 39291
3112.52/3142.10 c #Conflicts: 1921000 | #Constraints: 40291
3112.52/3142.10 c #Conflicts: 1922000 | #Constraints: 41291
3112.52/3142.10 c #Conflicts: 1923000 | #Constraints: 42291
3112.52/3142.10 c #Conflicts: 1924000 | #Constraints: 43291
3112.52/3142.10 c #Conflicts: 1925000 | #Constraints: 44291
3112.52/3142.10 c #Conflicts: 1926000 | #Constraints: 45291
3112.52/3142.10 c #Conflicts: 1927000 | #Constraints: 46291
3112.52/3142.10 c #Conflicts: 1928000 | #Constraints: 47291
3112.52/3142.10 c #Conflicts: 1929000 | #Constraints: 48291
3112.52/3142.10 c #Conflicts: 1930000 | #Constraints: 49291
3112.52/3142.10 c #Conflicts: 1931000 | #Constraints: 50291
3112.52/3142.10 c #Conflicts: 1932000 | #Constraints: 51291
3112.52/3142.10 c #Conflicts: 1933000 | #Constraints: 52291
3112.52/3142.10 c #Conflicts: 1934000 | #Constraints: 53291
3112.52/3142.10 c #Conflicts: 1935000 | #Constraints: 54291
3112.52/3142.10 c #Conflicts: 1936000 | #Constraints: 55291
3112.52/3142.10 c #Conflicts: 1937000 | #Constraints: 56291
3112.52/3142.10 c INPROCESSING
3112.52/3142.10 c GARBAGE COLLECT
3112.52/3142.10 c #Conflicts: 1938000 | #Constraints: 29686
3112.52/3142.10 c #Conflicts: 1939000 | #Constraints: 30686
3112.52/3142.10 c #Conflicts: 1940000 | #Constraints: 31686
3112.52/3142.10 c #Conflicts: 1941000 | #Constraints: 32686
3112.52/3142.10 c #Conflicts: 1942000 | #Constraints: 33686
3112.52/3142.10 c #Conflicts: 1943000 | #Constraints: 34686
3112.52/3142.10 c #Conflicts: 1944000 | #Constraints: 35686
3112.52/3142.10 c #Conflicts: 1945000 | #Constraints: 36686
3112.52/3142.10 c #Conflicts: 1946000 | #Constraints: 37686
3112.52/3142.10 c #Conflicts: 1947000 | #Constraints: 38686
3112.52/3142.10 c #Conflicts: 1948000 | #Constraints: 39686
3112.52/3142.10 c #Conflicts: 1949000 | #Constraints: 40686
3112.52/3142.10 c #Conflicts: 1950000 | #Constraints: 41686
3112.52/3142.10 c #Conflicts: 1951000 | #Constraints: 42686
3112.52/3142.10 c #Conflicts: 1952000 | #Constraints: 43686
3112.52/3142.10 c #Conflicts: 1953000 | #Constraints: 44686
3112.52/3142.10 c #Conflicts: 1954000 | #Constraints: 45686
3112.52/3142.10 c #Conflicts: 1955000 | #Constraints: 46686
3112.52/3142.10 c #Conflicts: 1956000 | #Constraints: 47686
3112.52/3142.10 c #Conflicts: 1957000 | #Constraints: 48686
3112.52/3142.10 c #Conflicts: 1958000 | #Constraints: 49686
3112.52/3142.10 c #Conflicts: 1959000 | #Constraints: 50686
3112.52/3142.10 c #Conflicts: 1960000 | #Constraints: 51686
3112.52/3142.10 c #Conflicts: 1961000 | #Constraints: 52686
3112.52/3142.10 c #Conflicts: 1962000 | #Constraints: 53686
3112.52/3142.10 c #Conflicts: 1963000 | #Constraints: 54686
3112.52/3142.10 c #Conflicts: 1964000 | #Constraints: 55686
3112.52/3142.10 c #Conflicts: 1965000 | #Constraints: 56686
3112.52/3142.10 c INPROCESSING
3112.52/3142.10 c GARBAGE COLLECT
3300.05/3330.28 c #Conflicts: 1966000 | #Constraints: 29876
3300.05/3330.28 c #Conflicts: 1967000 | #Constraints: 30876
3300.05/3330.28 c #Conflicts: 1968000 | #Constraints: 31876
3300.05/3330.28 c #Conflicts: 1969000 | #Constraints: 32876
3300.05/3330.28 c #Conflicts: 1970000 | #Constraints: 33876
3300.05/3330.28 c #Conflicts: 1971000 | #Constraints: 34876
3300.05/3330.28 c #Conflicts: 1972000 | #Constraints: 35876
3300.05/3330.28 c #Conflicts: 1973000 | #Constraints: 36876
3300.05/3330.28 c #Conflicts: 1974000 | #Constraints: 37876
3300.05/3330.28 c #Conflicts: 1975000 | #Constraints: 38876
3300.05/3330.28 c #Conflicts: 1976000 | #Constraints: 39876
3300.05/3330.28 c #Conflicts: 1977000 | #Constraints: 40876
3300.05/3330.28 c #Conflicts: 1978000 | #Constraints: 41876
3300.05/3330.28 c #Conflicts: 1979000 | #Constraints: 42876
3300.05/3330.28 c #Conflicts: 1980000 | #Constraints: 43876
3300.05/3330.28 c #Conflicts: 1981000 | #Constraints: 44876
3300.05/3330.28 c #Conflicts: 1982000 | #Constraints: 45876
3300.05/3330.28 c #Conflicts: 1983000 | #Constraints: 46876
3300.05/3330.28 c #Conflicts: 1984000 | #Constraints: 47876
3300.05/3330.28 c #Conflicts: 1985000 | #Constraints: 48876
3300.05/3330.28 c #Conflicts: 1986000 | #Constraints: 49876
3300.05/3330.28 c #Conflicts: 1987000 | #Constraints: 50876
3300.05/3330.28 c #Conflicts: 1988000 | #Constraints: 51876
3300.05/3330.28 c #Conflicts: 1989000 | #Constraints: 52876
3300.05/3330.28 c #Conflicts: 1990000 | #Constraints: 53876
3300.05/3330.28 c #Conflicts: 1991000 | #Constraints: 54876
3300.05/3330.28 c #Conflicts: 1992000 | #Constraints: 55876
3300.05/3330.28 c #Conflicts: 1993000 | #Constraints: 56876
3300.05/3330.28 c INPROCESSING
3300.05/3330.28 c GARBAGE COLLECT
3300.05/3330.28 c #Conflicts: 1994000 | #Constraints: 29876
3300.05/3330.28 c #Conflicts: 1995000 | #Constraints: 30876
3300.05/3330.28 c #Conflicts: 1996000 | #Constraints: 31876
3300.05/3330.28 c #Conflicts: 1997000 | #Constraints: 32876
3300.05/3330.28 c #Conflicts: 1998000 | #Constraints: 33876
3300.05/3330.28 c #Conflicts: 1999000 | #Constraints: 34876
3300.05/3330.28 c #Conflicts: 2000000 | #Constraints: 35876
3300.05/3330.28 c #Conflicts: 2001000 | #Constraints: 36876
3300.05/3330.28 c #Conflicts: 2002000 | #Constraints: 37876
3300.05/3330.28 c #Conflicts: 2003000 | #Constraints: 38876
3300.05/3330.28 c #Conflicts: 2004000 | #Constraints: 39876
3300.05/3330.28 c #Conflicts: 2005000 | #Constraints: 40876
3300.05/3330.28 c #Conflicts: 2006000 | #Constraints: 41876
3300.05/3330.28 c #Conflicts: 2007000 | #Constraints: 42876
3300.05/3330.28 c #Conflicts: 2008000 | #Constraints: 43876
3300.05/3330.28 c #Conflicts: 2009000 | #Constraints: 44876
3300.05/3330.28 c #Conflicts: 2010000 | #Constraints: 45876
3300.05/3330.28 c #Conflicts: 2011000 | #Constraints: 46876
3300.05/3330.28 c #Conflicts: 2012000 | #Constraints: 47876
3300.05/3330.28 c #Conflicts: 2013000 | #Constraints: 48876
3300.05/3330.28 c #Conflicts: 2014000 | #Constraints: 49876
3300.05/3330.28 c #Conflicts: 2015000 | #Constraints: 50876
3300.05/3330.28 c #Conflicts: 2016000 | #Constraints: 51876
3300.05/3330.28 c #Conflicts: 2017000 | #Constraints: 52876
3300.05/3330.28 c #Conflicts: 2018000 | #Constraints: 53876
3300.05/3330.28 c #Conflicts: 2019000 | #Constraints: 54876
3300.05/3330.28 c #Conflicts: 2020000 | #Constraints: 55876
3300.05/3330.28 c #Conflicts: 2021000 | #Constraints: 56876
3300.05/3330.28 c INPROCESSING
3300.05/3330.28 c GARBAGE COLLECT
3300.05/3330.28 c #Conflicts: 2022000 | #Constraints: 29685
3300.05/3330.28 c #Conflicts: 2023000 | #Constraints: 30685
3300.05/3330.28 c #Conflicts: 2024000 | #Constraints: 31685
3300.05/3330.28 c #Conflicts: 2025000 | #Constraints: 32685
3300.05/3330.28 c #Conflicts: 2026000 | #Constraints: 33685
3300.05/3330.28 c #Conflicts: 2027000 | #Constraints: 34685
3300.05/3330.28 c #Conflicts: 2028000 | #Constraints: 35685
3300.05/3330.28 c #Conflicts: 2029000 | #Constraints: 36685
3300.05/3330.28 c #Conflicts: 2030000 | #Constraints: 37685
3300.05/3330.28 c #Conflicts: 2031000 | #Constraints: 38685
3300.05/3330.28 c #Conflicts: 2032000 | #Constraints: 39685
3300.05/3330.28 c #Conflicts: 2033000 | #Constraints: 40685
3300.05/3330.28 c #Conflicts: 2034000 | #Constraints: 41685
3300.05/3330.28 c #Conflicts: 2035000 | #Constraints: 42685
3300.05/3330.28 c #Conflicts: 2036000 | #Constraints: 43685
3300.05/3330.28 c #Conflicts: 2037000 | #Constraints: 44685
3300.05/3330.28 c #Conflicts: 2038000 | #Constraints: 45685
3300.05/3330.28 c #Conflicts: 2039000 | #Constraints: 46685
3300.05/3330.28 c #Conflicts: 2040000 | #Constraints: 47685
3300.05/3330.28 c #Conflicts: 2041000 | #Constraints: 48685
3300.05/3330.28 c #Conflicts: 2042000 | #Constraints: 49685
3300.05/3330.28 c #Conflicts: 2043000 | #Constraints: 50685
3470.64/3501.33 c #Conflicts: 2044000 | #Constraints: 51685
3470.64/3501.33 c #Conflicts: 2045000 | #Constraints: 52685
3470.64/3501.33 c #Conflicts: 2046000 | #Constraints: 53685
3470.64/3501.33 c #Conflicts: 2047000 | #Constraints: 54685
3470.64/3501.33 c #Conflicts: 2048000 | #Constraints: 55685
3470.64/3501.33 c #Conflicts: 2049000 | #Constraints: 56685
3470.64/3501.33 c #Conflicts: 2050000 | #Constraints: 57685
3470.64/3501.33 c INPROCESSING
3470.64/3501.33 c GARBAGE COLLECT
3470.64/3501.33 c #Conflicts: 2051000 | #Constraints: 30267
3470.64/3501.33 c #Conflicts: 2052000 | #Constraints: 31267
3470.64/3501.33 c #Conflicts: 2053000 | #Constraints: 32267
3470.64/3501.33 c #Conflicts: 2054000 | #Constraints: 33267
3470.64/3501.33 c #Conflicts: 2055000 | #Constraints: 34267
3470.64/3501.33 c #Conflicts: 2056000 | #Constraints: 35267
3470.64/3501.33 c #Conflicts: 2057000 | #Constraints: 36267
3470.64/3501.33 c #Conflicts: 2058000 | #Constraints: 37267
3470.64/3501.33 c #Conflicts: 2059000 | #Constraints: 38267
3470.64/3501.33 c #Conflicts: 2060000 | #Constraints: 39267
3470.64/3501.33 c #Conflicts: 2061000 | #Constraints: 40267
3470.64/3501.33 c #Conflicts: 2062000 | #Constraints: 41267
3470.64/3501.33 c #Conflicts: 2063000 | #Constraints: 42267
3470.64/3501.33 c #Conflicts: 2064000 | #Constraints: 43267
3470.64/3501.33 c #Conflicts: 2065000 | #Constraints: 44267
3470.64/3501.33 c #Conflicts: 2066000 | #Constraints: 45267
3470.64/3501.33 c #Conflicts: 2067000 | #Constraints: 46267
3470.64/3501.33 c #Conflicts: 2068000 | #Constraints: 47267
3470.64/3501.33 c #Conflicts: 2069000 | #Constraints: 48267
3470.64/3501.33 c #Conflicts: 2070000 | #Constraints: 49267
3470.64/3501.33 c #Conflicts: 2071000 | #Constraints: 50267
3470.64/3501.33 c #Conflicts: 2072000 | #Constraints: 51267
3470.64/3501.33 c #Conflicts: 2073000 | #Constraints: 52267
3470.64/3501.33 c #Conflicts: 2074000 | #Constraints: 53267
3470.64/3501.33 c #Conflicts: 2075000 | #Constraints: 54267
3470.64/3501.33 c #Conflicts: 2076000 | #Constraints: 55267
3470.64/3501.33 c #Conflicts: 2077000 | #Constraints: 56267
3470.64/3501.33 c #Conflicts: 2078000 | #Constraints: 57267
3470.64/3501.33 c #Conflicts: 2079000 | #Constraints: 58267
3470.64/3501.33 c INPROCESSING
3470.64/3501.33 c GARBAGE COLLECT
3470.64/3501.33 c #Conflicts: 2080000 | #Constraints: 30672
3470.64/3501.33 c #Conflicts: 2081000 | #Constraints: 31672
3470.64/3501.33 c #Conflicts: 2082000 | #Constraints: 32672
3470.64/3501.33 c #Conflicts: 2083000 | #Constraints: 33672
3470.64/3501.33 c #Conflicts: 2084000 | #Constraints: 34672
3470.64/3501.33 c #Conflicts: 2085000 | #Constraints: 35672
3470.64/3501.33 c #Conflicts: 2086000 | #Constraints: 36672
3470.64/3501.33 c #Conflicts: 2087000 | #Constraints: 37672
3470.64/3501.33 c #Conflicts: 2088000 | #Constraints: 38672
3470.64/3501.33 c #Conflicts: 2089000 | #Constraints: 39672
3470.64/3501.33 c #Conflicts: 2090000 | #Constraints: 40672
3470.64/3501.33 c #Conflicts: 2091000 | #Constraints: 41672
3470.64/3501.33 c #Conflicts: 2092000 | #Constraints: 42672
3470.64/3501.33 c #Conflicts: 2093000 | #Constraints: 43672
3470.64/3501.33 c #Conflicts: 2094000 | #Constraints: 44672
3470.64/3501.33 c #Conflicts: 2095000 | #Constraints: 45672
3470.64/3501.33 c #Conflicts: 2096000 | #Constraints: 46672
3470.64/3501.33 c #Conflicts: 2097000 | #Constraints: 47672
3470.64/3501.33 c #Conflicts: 2098000 | #Constraints: 48672
3470.64/3501.33 c #Conflicts: 2099000 | #Constraints: 49672
3470.64/3501.33 c #Conflicts: 2100000 | #Constraints: 50672
3470.64/3501.33 c #Conflicts: 2101000 | #Constraints: 51672
3470.64/3501.33 c #Conflicts: 2102000 | #Constraints: 52672
3470.64/3501.33 c #Conflicts: 2103000 | #Constraints: 53672
3470.64/3501.33 c #Conflicts: 2104000 | #Constraints: 54672
3470.64/3501.33 c #Conflicts: 2105000 | #Constraints: 55672
3470.64/3501.33 c #Conflicts: 2106000 | #Constraints: 56672
3470.64/3501.33 c #Conflicts: 2107000 | #Constraints: 57672
3470.64/3501.33 c #Conflicts: 2108000 | #Constraints: 58672
3470.64/3501.33 c INPROCESSING
3470.64/3501.33 c GARBAGE COLLECT
3470.64/3501.33 c #Conflicts: 2109000 | #Constraints: 30879
3470.64/3501.33 c #Conflicts: 2110000 | #Constraints: 31879
3470.64/3501.33 c #Conflicts: 2111000 | #Constraints: 32879
3470.64/3501.33 c #Conflicts: 2112000 | #Constraints: 33879
3470.64/3501.33 c #Conflicts: 2113000 | #Constraints: 34879
3470.64/3501.33 c #Conflicts: 2114000 | #Constraints: 35879
3470.64/3501.33 c #Conflicts: 2115000 | #Constraints: 36879
3470.64/3501.33 c #Conflicts: 2116000 | #Constraints: 37879
3470.64/3501.33 c #Conflicts: 2117000 | #Constraints: 38879
3470.64/3501.33 c #Conflicts: 2118000 | #Constraints: 39879
3470.64/3501.33 c #Conflicts: 2119000 | #Constraints: 40879
3470.64/3501.33 c #Conflicts: 2120000 | #Constraints: 41879
3600.05/3631.10 c #Conflicts: 2121000 | #Constraints: 42879
3600.05/3631.10 c #Conflicts: 2122000 | #Constraints: 43879
3600.05/3631.10 c #Conflicts: 2123000 | #Constraints: 44879
3600.05/3631.10 c #Conflicts: 2124000 | #Constraints: 45879
3600.05/3631.10 c #Conflicts: 2125000 | #Constraints: 46879
3600.05/3631.10 c #Conflicts: 2126000 | #Constraints: 47879
3600.05/3631.10 c #Conflicts: 2127000 | #Constraints: 48879
3600.05/3631.10 c #Conflicts: 2128000 | #Constraints: 49879
3600.05/3631.10 c #Conflicts: 2129000 | #Constraints: 50879
3600.05/3631.10 c #Conflicts: 2130000 | #Constraints: 51879
3600.05/3631.10 c #Conflicts: 2131000 | #Constraints: 52879
3600.05/3631.10 c #Conflicts: 2132000 | #Constraints: 53879
3600.05/3631.10 c #Conflicts: 2133000 | #Constraints: 54879
3600.05/3631.10 c #Conflicts: 2134000 | #Constraints: 55879
3600.05/3631.10 c #Conflicts: 2135000 | #Constraints: 56879
3600.05/3631.10 c #Conflicts: 2136000 | #Constraints: 57879
3600.05/3631.10 c #Conflicts: 2137000 | #Constraints: 58879
3600.05/3631.10 c INPROCESSING
3600.05/3631.10 c GARBAGE COLLECT
3600.05/3631.10 c #Conflicts: 2138000 | #Constraints: 30873
3600.05/3631.10 c #Conflicts: 2139000 | #Constraints: 31873
3600.05/3631.10 c #Conflicts: 2140000 | #Constraints: 32873
3600.05/3631.10 c #Conflicts: 2141000 | #Constraints: 33873
3600.05/3631.10 c #Conflicts: 2142000 | #Constraints: 34873
3600.05/3631.10 c #Conflicts: 2143000 | #Constraints: 35873
3600.05/3631.10 c #Conflicts: 2144000 | #Constraints: 36873
3600.05/3631.10 c #Conflicts: 2145000 | #Constraints: 37873
3600.05/3631.10 c #Conflicts: 2146000 | #Constraints: 38873
3600.05/3631.10 c #Conflicts: 2147000 | #Constraints: 39873
3600.05/3631.10 c #Conflicts: 2148000 | #Constraints: 40873
3600.05/3631.10 c #Conflicts: 2149000 | #Constraints: 41873
3600.05/3631.10 c #Conflicts: 2150000 | #Constraints: 42873
3600.05/3631.10 c #Conflicts: 2151000 | #Constraints: 43873
3600.05/3631.10 c #Conflicts: 2152000 | #Constraints: 44873
3600.05/3631.10 c #Conflicts: 2153000 | #Constraints: 45873
3600.05/3631.10 c #Conflicts: 2154000 | #Constraints: 46873
3600.05/3631.10 c #Conflicts: 2155000 | #Constraints: 47873
3600.05/3631.10 c #Conflicts: 2156000 | #Constraints: 48873
3600.05/3631.10 c #Conflicts: 2157000 | #Constraints: 49873
3600.05/3631.10 c #Conflicts: 2158000 | #Constraints: 50873
3600.05/3631.10 c #Conflicts: 2159000 | #Constraints: 51873
3600.05/3631.10 c #Conflicts: 2160000 | #Constraints: 52873
3600.05/3631.10 c #Conflicts: 2161000 | #Constraints: 53873
3600.05/3631.10 c #Conflicts: 2162000 | #Constraints: 54873
3600.05/3631.10 c #Conflicts: 2163000 | #Constraints: 55873
3600.05/3631.10 c #Conflicts: 2164000 | #Constraints: 56873
3600.05/3631.10 c #Conflicts: 2165000 | #Constraints: 57873
3600.05/3631.10 c #Conflicts: 2166000 | #Constraints: 58873
3600.05/3631.10 c INPROCESSING
3600.05/3631.10 c GARBAGE COLLECT
3600.05/3631.10 c #Conflicts: 2167000 | #Constraints: 30669
3600.05/3631.10 c #Conflicts: 2168000 | #Constraints: 31669
3600.05/3631.10 c #Conflicts: 2169000 | #Constraints: 32669
3600.05/3631.10 c #Conflicts: 2170000 | #Constraints: 33669
3600.05/3631.10 c #Conflicts: 2171000 | #Constraints: 34669
3600.05/3631.10 c #Conflicts: 2172000 | #Constraints: 35669
3600.05/3631.10 c #Conflicts: 2173000 | #Constraints: 36669
3600.05/3631.10 c #Conflicts: 2174000 | #Constraints: 37669
3600.05/3631.10 c #Conflicts: 2175000 | #Constraints: 38669
3600.05/3631.10 c #Conflicts: 2176000 | #Constraints: 39669
3600.05/3631.10 c cpu time 3588 s
3600.05/3631.10 c deterministic time 1 1.00e+00
3600.05/3631.10 c optimization time 3588 s
3600.05/3631.10 c total solve time 0 s
3600.05/3631.10 c core-guided solve time 0 s
3600.05/3631.10 c propagation time 0.000238 s
3600.05/3631.10 c conflict analysis time 0 s
3600.05/3631.10 c propagations 0
3600.05/3631.10 c resolve steps 0
3600.05/3631.10 c decisions 0
3600.05/3631.10 c conflicts 0
3600.05/3631.10 c restarts 0
3600.05/3631.10 c inprocessing phases 0
3600.05/3631.10 c garbage collections 0 ,( -nan )
3600.05/3631.10 c input clauses 1012 ,( 100.00 )
3600.05/3631.10 c input cardinalities 0 ,( 0.00 )
3600.05/3631.10 c input general constraints 0 ,( 0.00 )
3600.05/3631.10 c input average constraint length 2.00
3600.05/3631.10 c input average constraint degree 1.00
3600.05/3631.10 c learned clauses 0 ,( 0.00 )
3600.05/3631.10 c learned cardinalities 0 ,( 0.00 )
3600.05/3631.10 c learned general constraints 0 ,( 0.00 )
3600.05/3631.10 c learned average constraint length 0.00
3600.05/3631.10 c learned average constraint degree 0.00
3600.05/3631.10 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3631.10 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.05/3631.10 c watched constraints 0 ,( -nan )
3600.05/3631.10 c counting constraints 0 ,( -nan )
3600.05/3631.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3631.10 c gcd simplifications 0
3600.05/3631.10 c detected cardinalities 0
3600.05/3631.10 c weakened non-implied lits 0
3600.05/3631.10 c weakened non-implying lits 0
3600.05/3631.10 c original variables 506
3600.05/3631.10 c clausal propagations 0
3600.05/3631.10 c cardinality propagations 0
3600.05/3631.10 c watched propagations 0
3600.05/3631.10 c counting propagations 0
3600.05/3631.10 c watch lookups 0
3600.05/3631.10 c watch backjump lookups 0
3600.05/3631.10 c watch checks 0
3600.05/3631.10 c propagation checks 0
3600.05/3631.10 c constraint additions 0
3600.05/3631.10 c trail pops 0
3600.05/3631.10 c formula constraints 1012
3600.05/3631.10 c learned constraints 0
3600.05/3631.10 c bound constraints 0
3600.05/3631.10 c core-guided constraints 0
3600.05/3631.10 c encountered formula constraints 0
3600.05/3631.10 c encountered learned constraints 0
3600.05/3631.10 c encountered bound constraints 0
3600.05/3631.10 c encountered core-guided constraints 0
3600.05/3631.10 c LP total time 0 s
3600.05/3631.10 c LP solve time 0 s
3600.05/3631.10 c LP constraints added 0
3600.05/3631.10 c LP constraints removed 0
3600.05/3631.10 c LP pivots internal 0
3600.05/3631.10 c LP pivots root 0
3600.05/3631.10 c LP calls 0
3600.05/3631.10 c LP optimalities 0
3600.05/3631.10 c LP no pivot count 0
3600.05/3631.10 c LP infeasibilities 0
3600.05/3631.10 c LP valid Farkas constraints 0
3600.05/3631.10 c LP learned Farkas constraints 0
3600.05/3631.10 c LP basis resets 0
3600.05/3631.10 c LP cycling count 0
3600.05/3631.10 c LP singular count 0
3600.05/3631.10 c LP no primal count 0
3600.05/3631.10 c LP no farkas count 0
3600.05/3631.10 c LP other issue count 0
3600.05/3631.10 c LP Gomory cuts 0
3600.05/3631.10 c LP learned cuts 0
3600.05/3631.10 c LP deleted cuts 0
3600.05/3631.10 c LP encountered Gomory constraints 0
3600.05/3631.10 c LP encountered Farkas constraints 0
3600.05/3631.10 c LP encountered learned Farkas constraints 0
3600.05/3631.10 c CG auxiliary variables introduced 0
3600.05/3631.10 c CG solutions found 0
3600.05/3631.10 c CG cores constructed 0
3600.05/3631.10 c CG core cardinality constraints returned 0
3600.05/3631.10 c CG unit cores 0
3600.05/3631.10 c CG single cores 0
3600.05/3631.10 c CG blocks removed during cardinality reduction 0
3600.05/3631.10 c CG first core best 0
3600.05/3631.10 c CG decision core best 0
3600.05/3631.10 c CG core reduction tie 0
3600.05/3631.10 c CG core degree average 0.00
3600.05/3631.10 c CG core slack average 0.00
3600.05/3631.10 c CG core upper bound improvements 0
3600.05/3631.10 c STR number of successful calls 0
3600.05/3631.10 c STR number of unsuccessful calls 0
3600.05/3631.10 c STR number of inconclusive calls 0
3600.05/3631.10 c STR number of successful attempts 0
3600.05/3631.10 c STR number of unsuccessful attempts 0
3600.05/3631.10 c STR number of inconclusive attempts 0
3600.05/3631.10 c STR average degree increase per successful call inf
3600.05/3631.10 c STR average degree increase per successful attempt inf
3600.05/3631.10 c STR total number of conflicts for successful attempts 0
3600.05/3631.10 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3631.10 c STR total number of conflicts for inconclusive attempts 0
3600.05/3631.10 c STR average number of conflicts per successful attempt inf
3600.05/3631.10 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3631.10 c STR average number of conflicts per inconclusive attempt inf
3600.05/3631.10 c AVG.sumWPerc -nan
3600.05/3631.10 c bigint constraints 0
3600.05/3631.10 s UNKNOWN
3600.05/3631.10 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (41716 MiB free)
memory of node 1: 64465 MiB (63809 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521631-1751586287/watcher-4521631-1751586287 -o /tmp/evaluation-result-4521631-1751586287/solver-4521631-1751586287 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751579055-83034 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521631-1751586287.opb PROOFDIR/proof-4521631-1751586287
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=83867, runsolver pid=83864
[startup+0.100061 s]*
/proc/loadavg: 4.11 4.13 4.10 3/273 83869
/proc/meminfo: memFree=108055260/131249988 swapFree=33010160/33010684
[pid=83867] ppid=83864 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83867/stat : 83867 (run-opt-log.sh) S 83864 83867 83021 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74306251 4292608 768 18446744073709551615 94530374946816 94530375841349 140731731757376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94530376080400 94530376128144 94530384060416 140731731761441 140731731761636 140731731761636 140731731767238 0
/proc/83867/statm: 1048 768 704 219 0 110 0
[pid=83869] ppid=83867 vsize=50796 memory=7680 CPUtime=0 cores=5,7
/proc/83869/stat : 83869 (roundingsat) D 83867 83867 83021 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 74306252 52015104 1920 18446744073709551615 4227072 8923433 140721362805424 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 30773248 140721362811218 140721362811432 140721362811432 140721362817002 0
/proc/83869/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10752 KiB
[startup+0.205507 s]*
/proc/loadavg: 4.11 4.13 4.10 3/273 83869
/proc/meminfo: memFree=108047196/131249988 swapFree=33010160/33010684
[pid=83867] ppid=83864 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83867/stat : 83867 (run-opt-log.sh) S 83864 83867 83021 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74306251 4292608 768 18446744073709551615 94530374946816 94530375841349 140731731757376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94530376080400 94530376128144 94530384060416 140731731761441 140731731761636 140731731761636 140731731767238 0
/proc/83867/statm: 1048 768 704 219 0 110 0
[pid=83869] ppid=83867 vsize=50796 memory=7680 CPUtime=0 cores=5,7
/proc/83869/stat : 83869 (roundingsat) D 83867 83867 83021 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 74306252 52015104 1920 18446744073709551615 4227072 8923433 140721362805424 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 30773248 140721362811218 140721362811432 140721362811432 140721362817002 0
/proc/83869/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10752 KiB
[startup+0.30484 s]*
/proc/loadavg: 4.11 4.13 4.10 3/273 83869
/proc/meminfo: memFree=108047196/131249988 swapFree=33010160/33010684
[pid=83867] ppid=83864 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83867/stat : 83867 (run-opt-log.sh) S 83864 83867 83021 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74306251 4292608 768 18446744073709551615 94530374946816 94530375841349 140731731757376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94530376080400 94530376128144 94530384060416 140731731761441 140731731761636 140731731761636 140731731767238 0
/proc/83867/statm: 1048 768 704 219 0 110 0
[pid=83869] ppid=83867 vsize=50796 memory=7680 CPUtime=0 cores=5,7
/proc/83869/stat : 83869 (roundingsat) D 83867 83867 83021 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 74306252 52015104 1920 18446744073709551615 4227072 8923433 140721362805424 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 30773248 140721362811218 140721362811432 140721362811432 140721362817002 0
/proc/83869/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10752 KiB
[startup+0.700169 s]
/proc/loadavg: 4.11 4.13 4.10 3/273 83869
/proc/meminfo: memFree=108046956/131249988 swapFree=33010160/33010684
[pid=83867] ppid=83864 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83867/stat : 83867 (run-opt-log.sh) S 83864 83867 83021 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74306251 4292608 768 18446744073709551615 94530374946816 94530375841349 140731731757376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94530376080400 94530376128144 94530384060416 140731731761441 140731731761636 140731731761636 140731731767238 0
/proc/83867/statm: 1048 768 704 219 0 110 0
[pid=83869] ppid=83867 vsize=50796 memory=7680 CPUtime=0 cores=5,7
/proc/83869/stat : 83869 (roundingsat) D 83867 83867 83021 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 74306252 52015104 1920 18446744073709551615 4227072 8923433 140721362805424 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 30773248 140721362811218 140721362811432 140721362811432 140721362817002 0
/proc/83869/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10752 KiB
[startup+1.50023 s]
/proc/loadavg: 4.11 4.13 4.10 3/273 83869
/proc/meminfo: memFree=108046956/131249988 swapFree=33010160/33010684
[pid=83867] ppid=83864 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83867/stat : 83867 (run-opt-log.sh) S 83864 83867 83021 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74306251 4292608 768 18446744073709551615 94530374946816 94530375841349 140731731757376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94530376080400 94530376128144 94530384060416 140731731761441 140731731761636 140731731761636 140731731767238 0
/proc/83867/statm: 1048 768 704 219 0 110 0
[pid=83869] ppid=83867 vsize=50796 memory=7680 CPUtime=0 cores=5,7
/proc/83869/stat : 83869 (roundingsat) D 83867 83867 83021 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 74306252 52015104 1920 18446744073709551615 4227072 8923433 140721362805424 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 30773248 140721362811218 140721362811432 140721362811432 140721362817002 0
/proc/83869/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10752 KiB
[startup+3.10482 s]
/proc/loadavg: 4.10 4.13 4.10 2/267 83895
/proc/meminfo: memFree=108642048/131249988 swapFree=33010160/33010684
[pid=83867] ppid=83864 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83867/stat : 83867 (run-opt-log.sh) S 83864 83867 83021 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74306251 4292608 768 18446744073709551615 94530374946816 94530375841349 140731731757376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94530376080400 94530376128144 94530384060416 140731731761441 140731731761636 140731731761636 140731731767238 0
/proc/83867/statm: 1048 768 704 219 0 110 0
[pid=83869] ppid=83867 vsize=50796 memory=7680 CPUtime=0 cores=5,7
/proc/83869/stat : 83869 (roundingsat) D 83867 83867 83021 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 74306252 52015104 1920 18446744073709551615 4227072 8923433 140721362805424 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 30773248 140721362811218 140721362811432 140721362811432 140721362817002 0
/proc/83869/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10752 KiB
heavy processes:
[startup+6.30021 s]
/proc/loadavg: 4.10 4.13 4.10 2/267 83895
/proc/meminfo: memFree=108640744/131249988 swapFree=33010160/33010684
[pid=83867] ppid=83864 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83867/stat : 83867 (run-opt-log.sh) S 83864 83867 83021 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74306251 4292608 768 18446744073709551615 94530374946816 94530375841349 140731731757376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94530376080400 94530376128144 94530384060416 140731731761441 140731731761636 140731731761636 140731731767238 0
/proc/83867/statm: 1048 768 704 219 0 110 0
[pid=83869] ppid=83867 vsize=50796 memory=7680 CPUtime=0 cores=5,7
/proc/83869/stat : 83869 (roundingsat) D 83867 83867 83021 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 74306252 52015104 1920 18446744073709551615 4227072 8923433 140721362805424 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 30773248 140721362811218 140721362811432 140721362811432 140721362817002 0
/proc/83869/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10752 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 4.16 4.14 4.11 1/265 83895
/proc/meminfo: memFree=108639560/131249988 swapFree=33010160/33010684
[pid=83867] ppid=83864 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83867/stat : 83867 (run-opt-log.sh) S 83864 83867 83021 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74306251 4292608 768 18446744073709551615 94530374946816 94530375841349 140731731757376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94530376080400 94530376128144 94530384060416 140731731761441 140731731761636 140731731761636 140731731767238 0
/proc/83867/statm: 1048 768 704 219 0 110 0
[pid=83869] ppid=83867 vsize=50796 memory=7680 CPUtime=0 cores=5,7
/proc/83869/stat : 83869 (roundingsat) D 83867 83867 83021 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 74306252 52015104 1920 18446744073709551615 4227072 8923433 140721362805424 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 30773248 140721362811218 140721362811432 140721362811432 140721362817002 0
/proc/83869/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10752 KiB
heavy processes:
[startup+25.5002 s]
/proc/loadavg: 4.14 4.14 4.11 5/273 83962
/proc/meminfo: memFree=129271520/131249988 swapFree=33010160/33010684
[pid=83867] ppid=83864 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83867/stat : 83867 (run-opt-log.sh) S 83864 83867 83021 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74306251 4292608 768 18446744073709551615 94530374946816 94530375841349 140731731757376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94530376080400 94530376128144 94530384060416 140731731761441 140731731761636 140731731761636 140731731767238 0
/proc/83867/statm: 1048 768 704 219 0 110 0
[pid=83869] ppid=83867 vsize=82548 memory=34760 CPUtime=5.33 cores=5,7
/proc/83869/stat : 83869 (roundingsat) R 83867 83867 83021 0 -1 4194304 6129 0 0 0 522 11 0 0 20 0 1 0 74306252 84529152 8690 18446744073709551615 4227072 8923433 140721362805424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30773248 140721362811218 140721362811432 140721362811432 140721362817002 0
/proc/83869/statm: 20637 8690 2400 1147 0 8064 0
Current children cumulated CPU time: 5.33 s
Current children cumulated vsize: 86740 KiB
Current children cumulated memory: 37832 KiB
heavy processes:
[startup+51.1061 s]
/proc/loadavg: 4.16 4.14 4.11 5/273 83962
/proc/meminfo: memFree=128638512/131249988 swapFree=33010160/33010684
[pid=83867] ppid=83864 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83867/stat : 83867 (run-opt-log.sh) S 83864 83867 83021 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74306251 4292608 768 18446744073709551615 94530374946816 94530375841349 140731731757376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94530376080400 94530376128144 94530384060416 140731731761441 140731731761636 140731731761636 140731731767238 0
/proc/83867/statm: 1048 768 704 219 0 110 0
[pid=83869] ppid=83867 vsize=93760 memory=44560 CPUtime=30.86 cores=5,7
/proc/83869/stat : 83869 (roundingsat) R 83867 83867 83021 0 -1 4194304 8059 0 0 0 3038 48 0 0 20 0 1 0 74306252 96010240 11140 18446744073709551615 4227072 8923433 140721362805424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30773248 140721362811218 140721362811432 140721362811432 140721362817002 0
/proc/83869/statm: 23440 11140 2400 1147 0 10867 0
Current children cumulated CPU time: 30.86 s
Current children cumulated vsize: 97952 KiB
Current children cumulated memory: 47632 KiB
heavy processes:
[startup+102.3 s]
/proc/loadavg: 4.41 4.20 4.12 5/273 83964
/proc/meminfo: memFree=127932588/131249988 swapFree=33010160/33010684
[pid=83867] ppid=83864 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83867/stat : 83867 (run-opt-log.sh) S 83864 83867 83021 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74306251 4292608 768 18446744073709551615 94530374946816 94530375841349 140731731757376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94530376080400 94530376128144 94530384060416 140731731761441 140731731761636 140731731761636 140731731767238 0
/proc/83867/statm: 1048 768 704 219 0 110 0
[pid=83869] ppid=83867 vsize=111344 memory=55056 CPUtime=81.89 cores=5,7
/proc/83869/stat : 83869 (roundingsat) R 83867 83867 83021 0 -1 4194304 10674 0 0 0 8088 101 0 0 20 0 1 0 74306252 114016256 13764 18446744073709551615 4227072 8923433 140721362805424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30773248 140721362811218 140721362811432 140721362811432 140721362817002 0
/proc/83869/statm: 27836 13764 2400 1147 0 15263 0
Current children cumulated CPU time: 81.89 s
Current children cumulated vsize: 115536 KiB
Current children cumulated memory: 58128 KiB
[startup+162.3 s]
/proc/loadavg: 4.23 4.19 4.12 5/272 83972
/proc/meminfo: memFree=127253120/131249988 swapFree=33010160/33010684
[pid=83867] ppid=83864 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83867/stat : 83867 (run-opt-log.sh) S 83864 83867 83021 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74306251 4292608 768 18446744073709551615 94530374946816 94530375841349 140731731757376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94530376080400 94530376128144 94530384060416 140731731761441 140731731761636 140731731761636 140731731767238 0
/proc/83867/statm: 1048 768 704 219 0 110 0
[pid=83869] ppid=83867 vsize=121956 memory=67912 CPUtime=141.69 cores=5,7
/proc/83869/stat : 83869 (roundingsat) R 83867 83867 83021 0 -1 4194304 12893 0 0 0 14028 141 0 0 20 0 1 0 74306252 124882944 16978 18446744073709551615 4227072 8923433 140721362805424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30773248 140721362811218 140721362811432 140721362811432 140721362817002 0
/proc/83869/statm: 30489 16978 2400 1147 0 17916 0
Current children cumulated CPU time: 141.69 s
Current children cumulated vsize: 126148 KiB
Current children cumulated memory: 70984 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/271 83974
/proc/meminfo: memFree=126745240/131249988 swapFree=33010160/33010684
################
# More data... #
################
/proc/83869/statm: 54482 38464 2400 1147 0 41909 0
Current children cumulated CPU time: 3072.83 s
Current children cumulated vsize: 222120 KiB
Current children cumulated memory: 156928 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/271 84133
/proc/meminfo: memFree=108138840/131249988 swapFree=33010160/33010684
[pid=83867] ppid=83864 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83867/stat : 83867 (run-opt-log.sh) S 83864 83867 83021 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74306251 4292608 768 18446744073709551615 94530374946816 94530375841349 140731731757376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94530376080400 94530376128144 94530384060416 140731731761441 140731731761636 140731731761636 140731731767238 0
/proc/83867/statm: 1048 768 704 219 0 110 0
[pid=83869] ppid=83867 vsize=218440 memory=153888 CPUtime=3132.65 cores=5,7
/proc/83869/stat : 83869 (roundingsat) R 83867 83867 83021 0 -1 4194304 30948 0 0 0 312168 1097 0 0 20 0 1 0 74306252 223682560 38472 18446744073709551615 4227072 8923433 140721362805424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30773248 140721362811218 140721362811432 140721362811432 140721362817002 0
/proc/83869/statm: 54610 38472 2400 1147 0 42037 0
Current children cumulated CPU time: 3132.65 s
Current children cumulated vsize: 222632 KiB
Current children cumulated memory: 156960 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/271 84135
/proc/meminfo: memFree=107799452/131249988 swapFree=33010160/33010684
[pid=83867] ppid=83864 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83867/stat : 83867 (run-opt-log.sh) S 83864 83867 83021 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74306251 4292608 768 18446744073709551615 94530374946816 94530375841349 140731731757376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94530376080400 94530376128144 94530384060416 140731731761441 140731731761636 140731731761636 140731731767238 0
/proc/83867/statm: 1048 768 704 219 0 110 0
[pid=83869] ppid=83867 vsize=218440 memory=154016 CPUtime=3192.47 cores=5,7
/proc/83869/stat : 83869 (roundingsat) R 83867 83867 83021 0 -1 4194304 30955 0 0 0 318136 1111 0 0 20 0 1 0 74306252 223682560 38504 18446744073709551615 4227072 8923433 140721362805424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30773248 140721362811218 140721362811432 140721362811432 140721362817002 0
/proc/83869/statm: 54610 38504 2400 1147 0 42037 0
Current children cumulated CPU time: 3192.47 s
Current children cumulated vsize: 222632 KiB
Current children cumulated memory: 157088 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/271 84137
/proc/meminfo: memFree=107563452/131249988 swapFree=33010160/33010684
[pid=83867] ppid=83864 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83867/stat : 83867 (run-opt-log.sh) S 83864 83867 83021 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74306251 4292608 768 18446744073709551615 94530374946816 94530375841349 140731731757376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94530376080400 94530376128144 94530384060416 140731731761441 140731731761636 140731731761636 140731731767238 0
/proc/83867/statm: 1048 768 704 219 0 110 0
[pid=83869] ppid=83867 vsize=218952 memory=156148 CPUtime=3252.29 cores=5,7
/proc/83869/stat : 83869 (roundingsat) R 83867 83867 83021 0 -1 4194304 31128 0 0 0 324108 1121 0 0 20 0 1 0 74306252 224206848 39037 18446744073709551615 4227072 8923433 140721362805424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30773248 140721362811218 140721362811432 140721362811432 140721362817002 0
/proc/83869/statm: 54738 39037 2400 1147 0 42165 0
Current children cumulated CPU time: 3252.29 s
Current children cumulated vsize: 223144 KiB
Current children cumulated memory: 159220 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/271 84139
/proc/meminfo: memFree=107226340/131249988 swapFree=33010160/33010684
[pid=83867] ppid=83864 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83867/stat : 83867 (run-opt-log.sh) S 83864 83867 83021 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74306251 4292608 768 18446744073709551615 94530374946816 94530375841349 140731731757376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94530376080400 94530376128144 94530384060416 140731731761441 140731731761636 140731731761636 140731731767238 0
/proc/83867/statm: 1048 768 704 219 0 110 0
[pid=83869] ppid=83867 vsize=219488 memory=156660 CPUtime=3312.11 cores=5,7
/proc/83869/stat : 83869 (roundingsat) R 83867 83867 83021 0 -1 4194304 31257 0 0 0 330077 1134 0 0 20 0 1 0 74306252 224755712 39165 18446744073709551615 4227072 8923433 140721362805424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30773248 140721362811218 140721362811432 140721362811432 140721362817002 0
/proc/83869/statm: 54872 39165 2400 1147 0 42299 0
Current children cumulated CPU time: 3312.11 s
Current children cumulated vsize: 223680 KiB
Current children cumulated memory: 159732 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/270 84141
/proc/meminfo: memFree=106962240/131249988 swapFree=33010160/33010684
[pid=83867] ppid=83864 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83867/stat : 83867 (run-opt-log.sh) S 83864 83867 83021 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74306251 4292608 768 18446744073709551615 94530374946816 94530375841349 140731731757376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94530376080400 94530376128144 94530384060416 140731731761441 140731731761636 140731731761636 140731731767238 0
/proc/83867/statm: 1048 768 704 219 0 110 0
[pid=83869] ppid=83867 vsize=220000 memory=156828 CPUtime=3371.93 cores=5,7
/proc/83869/stat : 83869 (roundingsat) R 83867 83867 83021 0 -1 4194304 31412 0 0 0 336044 1149 0 0 20 0 1 0 74306252 225280000 39207 18446744073709551615 4227072 8923433 140721362805424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30773248 140721362811218 140721362811432 140721362811432 140721362817002 0
/proc/83869/statm: 55000 39207 2400 1147 0 42427 0
Current children cumulated CPU time: 3371.93 s
Current children cumulated vsize: 224192 KiB
Current children cumulated memory: 159900 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/271 84144
/proc/meminfo: memFree=106630928/131249988 swapFree=33010160/33010684
[pid=83867] ppid=83864 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83867/stat : 83867 (run-opt-log.sh) S 83864 83867 83021 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74306251 4292608 768 18446744073709551615 94530374946816 94530375841349 140731731757376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94530376080400 94530376128144 94530384060416 140731731761441 140731731761636 140731731761636 140731731767238 0
/proc/83867/statm: 1048 768 704 219 0 110 0
[pid=83869] ppid=83867 vsize=223592 memory=162928 CPUtime=3431.76 cores=5,7
/proc/83869/stat : 83869 (roundingsat) R 83867 83867 83021 0 -1 4194304 32050 0 0 0 342010 1166 0 0 20 0 1 0 74306252 228958208 40732 18446744073709551615 4227072 8923433 140721362805424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30773248 140721362811218 140721362811432 140721362811432 140721362817002 0
/proc/83869/statm: 55898 40732 2400 1147 0 43325 0
Current children cumulated CPU time: 3431.76 s
Current children cumulated vsize: 227784 KiB
Current children cumulated memory: 166000 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 84148
/proc/meminfo: memFree=106401504/131249988 swapFree=33010160/33010684
[pid=83867] ppid=83864 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83867/stat : 83867 (run-opt-log.sh) S 83864 83867 83021 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74306251 4292608 768 18446744073709551615 94530374946816 94530375841349 140731731757376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94530376080400 94530376128144 94530384060416 140731731761441 140731731761636 140731731761636 140731731767238 0
/proc/83867/statm: 1048 768 704 219 0 110 0
[pid=83869] ppid=83867 vsize=223592 memory=162928 CPUtime=3491.57 cores=5,7
/proc/83869/stat : 83869 (roundingsat) R 83867 83867 83021 0 -1 4194304 32053 0 0 0 347980 1177 0 0 20 0 1 0 74306252 228958208 40732 18446744073709551615 4227072 8923433 140721362805424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30773248 140721362811218 140721362811432 140721362811432 140721362817002 0
/proc/83869/statm: 55898 40732 2400 1147 0 43325 0
Current children cumulated CPU time: 3491.57 s
Current children cumulated vsize: 227784 KiB
Current children cumulated memory: 166000 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/272 84150
/proc/meminfo: memFree=106109168/131249988 swapFree=33010160/33010684
[pid=83867] ppid=83864 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83867/stat : 83867 (run-opt-log.sh) S 83864 83867 83021 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74306251 4292608 768 18446744073709551615 94530374946816 94530375841349 140731731757376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94530376080400 94530376128144 94530384060416 140731731761441 140731731761636 140731731761636 140731731767238 0
/proc/83867/statm: 1048 768 704 219 0 110 0
[pid=83869] ppid=83867 vsize=224368 memory=163824 CPUtime=3551.39 cores=5,7
/proc/83869/stat : 83869 (roundingsat) R 83867 83867 83021 0 -1 4194304 32272 0 0 0 353946 1193 0 0 20 0 1 0 74306252 229752832 40956 18446744073709551615 4227072 8923433 140721362805424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30773248 140721362811218 140721362811432 140721362811432 140721362817002 0
/proc/83869/statm: 56092 40956 2400 1147 0 43519 0
Current children cumulated CPU time: 3551.39 s
Current children cumulated vsize: 228560 KiB
Current children cumulated memory: 166896 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3631.11 s]
/proc/loadavg: 4.13 4.12 4.09 5/266 84177
/proc/meminfo: memFree=109060100/131249988 swapFree=33010160/33010684
[pid=83867] ppid=83864 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83867/stat : 83867 (run-opt-log.sh) S 83864 83867 83021 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74306251 4292608 768 18446744073709551615 94530374946816 94530375841349 140731731757376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94530376080400 94530376128144 94530384060416 140731731761441 140731731761636 140731731761636 140731731767238 0
/proc/83867/statm: 1048 768 704 219 0 110 0
[pid=83869] ppid=83867 vsize=224624 memory=164208 CPUtime=3600.05 cores=5,7
/proc/83869/stat : 83869 (roundingsat) R 83867 83867 83021 0 -1 4194304 32357 0 0 0 358800 1205 0 0 20 0 1 0 74306252 230014976 41052 18446744073709551615 4227072 8923433 140721362805424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30773248 140721362811218 140721362811432 140721362811432 140721362817002 0
/proc/83869/statm: 56156 41052 2400 1147 0 43583 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 228816 KiB
Current children cumulated memory: 167280 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3631.11 s]
# the end of solver process 83867 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002462 s
[startup+3631.13 s]
# the end of solver process 83869 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3588.01 s, system=12.0644 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3631.11 s]
/proc/loadavg: 4.13 4.12 4.09 5/266 84177
/proc/meminfo: memFree=109060100/131249988 swapFree=33010160/33010684
[pid=83867] ppid=83864 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83867/stat : 83867 (run-opt-log.sh) S 83864 83867 83021 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74306251 4292608 768 18446744073709551615 94530374946816 94530375841349 140731731757376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94530376080400 94530376128144 94530384060416 140731731761441 140731731761636 140731731761636 140731731767238 0
/proc/83867/statm: 1048 768 704 219 0 110 0
[pid=83869] ppid=83867 vsize=224624 memory=164208 CPUtime=3600.05 cores=5,7
/proc/83869/stat : 83869 (roundingsat) R 83867 83867 83021 0 -1 4194304 32357 0 0 0 358800 1205 0 0 20 0 1 0 74306252 230014976 41052 18446744073709551615 4227072 8923433 140721362805424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30773248 140721362811218 140721362811432 140721362811432 140721362817002 0
/proc/83869/statm: 56156 41052 2400 1147 0 43583 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 228816 KiB
Current children cumulated memory: 167280 KiB
Child status: 2
Real time (s): 3631.13
CPU time (s): 3600.07
CPU user time (s): 3588.01
CPU system time (s): 12.0644
CPU usage (%): 99.1448
Max. virtual memory (cumulated for all children) (KiB): 228816
Max. memory (cumulated for all children) (KiB): 167280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.01
system time used= 12.0644
maximum resident set size= 164464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32584
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3036784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 345
involuntary context switches= 4893
# summary of solver processes directly reported to runsolver:
# pid: 83867,83869
# total CPU time (s): 3600.07
# total CPU user time (s): 3588.01
# total CPU system time (s): 12.0644
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.74687 second user time and 16.7077 second system time
The end
Begin job on nodeC020 at 2025-07-04 01:44:47
IDJOB=4521631
IDBENCH=178397
IDSOLVER=3351
FILE ID=nodeC020/4521631-1751586287
RUNJOBID= nodeC020-1751579055-83034
SLURM_JOB_ID= 9598813
Free space on /tmp= 431744 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_022.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521631-1751586287/watcher-4521631-1751586287 -o /tmp/evaluation-result-4521631-1751586287/solver-4521631-1751586287 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751579055-83034 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521631-1751586287.opb PROOFDIR/proof-4521631-1751586287
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8e50416028301376aa06deda864f0965
RANDOM SEED=824096274
nodeC020 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 : 0xb00002a
cpu MHz : 3599.848
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.231
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.159
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.958
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3527.136
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.844
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.118
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 108059284 kB
MemAvailable: 128903844 kB
Buffers: 2128 kB
Cached: 21617004 kB
SwapCached: 8 kB
Active: 1495416 kB
Inactive: 21051540 kB
Active(anon): 921348 kB
Inactive(anon): 24568 kB
Active(file): 574068 kB
Inactive(file): 21026972 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 46856 kB
Writeback: 0 kB
AnonPages: 928828 kB
Mapped: 115212 kB
Shmem: 18044 kB
KReclaimable: 165516 kB
Slab: 259016 kB
SReclaimable: 165516 kB
SUnreclaim: 93500 kB
KernelStack: 4384 kB
PageTables: 5016 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1443080 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 772096 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431748 MiB
End job on nodeC020 at 2025-07-04 02:45:18