0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.01 c #variables 506 #constraints 1012
0.00/0.01 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.003836
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.004184
21.22/21.31 c #Conflicts: 1000 | #Constraints: 2012
21.22/21.31 c #Conflicts: 2000 | #Constraints: 3012
21.22/21.31 c INPROCESSING
21.22/21.31 c GARBAGE COLLECT
21.22/21.31 c #Conflicts: 3000 | #Constraints: 3047
21.22/21.31 c #Conflicts: 4000 | #Constraints: 4047
21.22/21.31 c INPROCESSING
21.22/21.31 c GARBAGE COLLECT
21.22/21.31 c #Conflicts: 5000 | #Constraints: 3453
21.22/21.31 c #Conflicts: 6000 | #Constraints: 4453
21.22/21.31 c INPROCESSING
21.22/21.31 c GARBAGE COLLECT
21.22/21.31 c #Conflicts: 7000 | #Constraints: 3452
21.22/21.31 c #Conflicts: 8000 | #Constraints: 4452
21.22/21.31 c #Conflicts: 9000 | #Constraints: 5452
21.22/21.31 c INPROCESSING
21.22/21.31 c GARBAGE COLLECT
21.22/21.31 c #Conflicts: 10000 | #Constraints: 4158
21.22/21.31 c #Conflicts: 11000 | #Constraints: 5158
21.22/21.31 c #Conflicts: 12000 | #Constraints: 6158
21.22/21.31 c INPROCESSING
21.22/21.31 c GARBAGE COLLECT
21.22/21.31 c #Conflicts: 13000 | #Constraints: 4610
21.22/21.31 c #Conflicts: 14000 | #Constraints: 5610
21.22/21.31 c #Conflicts: 15000 | #Constraints: 6610
21.22/21.31 c INPROCESSING
21.22/21.31 c GARBAGE COLLECT
21.22/21.31 c #Conflicts: 16000 | #Constraints: 4830
21.22/21.31 c #Conflicts: 17000 | #Constraints: 5830
21.22/21.31 c #Conflicts: 18000 | #Constraints: 6830
21.22/21.31 c INPROCESSING
21.22/21.31 c GARBAGE COLLECT
21.22/21.31 c #Conflicts: 19000 | #Constraints: 4840
21.22/21.31 c #Conflicts: 20000 | #Constraints: 5840
21.22/21.31 c #Conflicts: 21000 | #Constraints: 6840
21.22/21.31 c INPROCESSING
21.22/21.31 c GARBAGE COLLECT
21.22/21.31 c #Conflicts: 22000 | #Constraints: 4649
21.22/21.31 c #Conflicts: 23000 | #Constraints: 5649
21.22/21.31 c #Conflicts: 24000 | #Constraints: 6649
21.22/21.31 c #Conflicts: 25000 | #Constraints: 7649
21.22/21.31 c INPROCESSING
21.22/21.31 c GARBAGE COLLECT
21.22/21.31 c #Conflicts: 26000 | #Constraints: 5252
21.22/21.31 c #Conflicts: 27000 | #Constraints: 6252
21.22/21.31 c #Conflicts: 28000 | #Constraints: 7252
21.22/21.31 c #Conflicts: 29000 | #Constraints: 8252
21.22/21.31 c INPROCESSING
21.22/21.31 c GARBAGE COLLECT
21.22/21.31 c #Conflicts: 30000 | #Constraints: 5656
21.22/21.31 c #Conflicts: 31000 | #Constraints: 6656
21.22/21.31 c #Conflicts: 32000 | #Constraints: 7656
21.22/21.31 c #Conflicts: 33000 | #Constraints: 8656
21.22/21.31 c INPROCESSING
21.22/21.31 c GARBAGE COLLECT
21.22/21.31 c #Conflicts: 34000 | #Constraints: 5864
21.22/21.31 c #Conflicts: 35000 | #Constraints: 6864
21.22/21.31 c #Conflicts: 36000 | #Constraints: 7864
21.22/21.31 c #Conflicts: 37000 | #Constraints: 8864
21.22/21.31 c INPROCESSING
21.22/21.31 c GARBAGE COLLECT
21.22/21.31 c #Conflicts: 38000 | #Constraints: 5856
21.22/21.31 c #Conflicts: 39000 | #Constraints: 6856
21.22/21.31 c #Conflicts: 40000 | #Constraints: 7856
21.22/21.31 c #Conflicts: 41000 | #Constraints: 8856
21.22/21.31 c INPROCESSING
21.22/21.31 c GARBAGE COLLECT
21.22/21.31 c #Conflicts: 42000 | #Constraints: 5647
21.22/21.31 c #Conflicts: 43000 | #Constraints: 6647
21.22/21.31 c #Conflicts: 44000 | #Constraints: 7647
21.22/21.31 c #Conflicts: 45000 | #Constraints: 8647
21.22/21.31 c #Conflicts: 46000 | #Constraints: 9647
21.22/21.31 c INPROCESSING
21.22/21.31 c GARBAGE COLLECT
21.22/21.31 c #Conflicts: 47000 | #Constraints: 6250
21.22/21.31 c #Conflicts: 48000 | #Constraints: 7250
21.22/21.31 c #Conflicts: 49000 | #Constraints: 8250
21.22/21.31 c #Conflicts: 50000 | #Constraints: 9250
21.22/21.31 c #Conflicts: 51000 | #Constraints: 10250
21.22/21.31 c INPROCESSING
21.22/21.31 c GARBAGE COLLECT
21.22/21.31 c #Conflicts: 52000 | #Constraints: 6656
21.22/21.31 c #Conflicts: 53000 | #Constraints: 7656
21.22/21.31 c #Conflicts: 54000 | #Constraints: 8656
21.22/21.31 c #Conflicts: 55000 | #Constraints: 9656
21.22/21.31 c #Conflicts: 56000 | #Constraints: 10656
21.22/21.31 c INPROCESSING
21.22/21.31 c GARBAGE COLLECT
21.22/21.31 c #Conflicts: 57000 | #Constraints: 6857
21.22/21.31 c #Conflicts: 58000 | #Constraints: 7857
21.22/21.31 c #Conflicts: 59000 | #Constraints: 8857
21.22/21.31 c #Conflicts: 60000 | #Constraints: 9857
21.22/21.31 c #Conflicts: 61000 | #Constraints: 10857
21.22/21.31 c INPROCESSING
21.22/21.31 c GARBAGE COLLECT
21.22/21.31 c #Conflicts: 62000 | #Constraints: 6860
21.22/21.31 c #Conflicts: 63000 | #Constraints: 7860
21.22/21.31 c #Conflicts: 64000 | #Constraints: 8860
21.22/21.31 c #Conflicts: 65000 | #Constraints: 9860
21.22/21.31 c #Conflicts: 66000 | #Constraints: 10860
21.22/21.31 c INPROCESSING
21.22/21.31 c GARBAGE COLLECT
21.22/21.31 c #Conflicts: 67000 | #Constraints: 6667
21.22/21.31 c #Conflicts: 68000 | #Constraints: 7667
50.03/50.22 c #Conflicts: 69000 | #Constraints: 8667
50.03/50.22 c #Conflicts: 70000 | #Constraints: 9667
50.03/50.22 c #Conflicts: 71000 | #Constraints: 10667
50.03/50.22 c #Conflicts: 72000 | #Constraints: 11667
50.03/50.22 c INPROCESSING
50.03/50.22 c GARBAGE COLLECT
50.03/50.22 c #Conflicts: 73000 | #Constraints: 7254
50.03/50.22 c #Conflicts: 74000 | #Constraints: 8254
50.03/50.22 c #Conflicts: 75000 | #Constraints: 9254
50.03/50.22 c #Conflicts: 76000 | #Constraints: 10254
50.03/50.22 c #Conflicts: 77000 | #Constraints: 11254
50.03/50.22 c #Conflicts: 78000 | #Constraints: 12254
50.03/50.22 c INPROCESSING
50.03/50.22 c GARBAGE COLLECT
50.03/50.22 c #Conflicts: 79000 | #Constraints: 7664
50.03/50.22 c #Conflicts: 80000 | #Constraints: 8664
50.03/50.22 c #Conflicts: 81000 | #Constraints: 9664
50.03/50.22 c #Conflicts: 82000 | #Constraints: 10664
50.03/50.22 c #Conflicts: 83000 | #Constraints: 11664
50.03/50.22 c #Conflicts: 84000 | #Constraints: 12664
50.03/50.22 c INPROCESSING
50.03/50.22 c GARBAGE COLLECT
50.03/50.22 c #Conflicts: 85000 | #Constraints: 7850
50.03/50.22 c #Conflicts: 86000 | #Constraints: 8850
50.03/50.22 c #Conflicts: 87000 | #Constraints: 9850
50.03/50.22 c #Conflicts: 88000 | #Constraints: 10850
50.03/50.22 c #Conflicts: 89000 | #Constraints: 11850
50.03/50.22 c #Conflicts: 90000 | #Constraints: 12850
50.03/50.22 c INPROCESSING
50.03/50.22 c GARBAGE COLLECT
50.03/50.22 c #Conflicts: 91000 | #Constraints: 7854
50.03/50.22 c #Conflicts: 92000 | #Constraints: 8854
50.03/50.22 c #Conflicts: 93000 | #Constraints: 9854
50.03/50.22 c #Conflicts: 94000 | #Constraints: 10854
50.03/50.22 c #Conflicts: 95000 | #Constraints: 11854
50.03/50.22 c #Conflicts: 96000 | #Constraints: 12854
50.03/50.22 c INPROCESSING
50.03/50.22 c GARBAGE COLLECT
50.03/50.22 c #Conflicts: 97000 | #Constraints: 7654
50.03/50.22 c #Conflicts: 98000 | #Constraints: 8654
50.03/50.22 c #Conflicts: 99000 | #Constraints: 9654
50.03/50.22 c #Conflicts: 100000 | #Constraints: 10654
50.03/50.22 c #Conflicts: 101000 | #Constraints: 11654
50.03/50.22 c #Conflicts: 102000 | #Constraints: 12654
50.03/50.22 c #Conflicts: 103000 | #Constraints: 13654
50.03/50.22 c INPROCESSING
50.03/50.22 c GARBAGE COLLECT
50.03/50.22 c #Conflicts: 104000 | #Constraints: 8255
50.03/50.22 c #Conflicts: 105000 | #Constraints: 9255
50.03/50.22 c #Conflicts: 106000 | #Constraints: 10255
50.03/50.22 c #Conflicts: 107000 | #Constraints: 11255
50.03/50.22 c #Conflicts: 108000 | #Constraints: 12255
50.03/50.22 c #Conflicts: 109000 | #Constraints: 13255
50.03/50.22 c #Conflicts: 110000 | #Constraints: 14255
50.03/50.22 c INPROCESSING
50.03/50.22 c GARBAGE COLLECT
50.03/50.22 c #Conflicts: 111000 | #Constraints: 8654
50.03/50.22 c #Conflicts: 112000 | #Constraints: 9654
50.03/50.22 c #Conflicts: 113000 | #Constraints: 10654
50.03/50.22 c #Conflicts: 114000 | #Constraints: 11654
50.03/50.22 c #Conflicts: 115000 | #Constraints: 12654
50.03/50.22 c #Conflicts: 116000 | #Constraints: 13654
50.03/50.22 c #Conflicts: 117000 | #Constraints: 14654
50.03/50.22 c INPROCESSING
50.03/50.22 c GARBAGE COLLECT
50.03/50.22 c #Conflicts: 118000 | #Constraints: 8856
50.03/50.22 c #Conflicts: 119000 | #Constraints: 9856
50.03/50.22 c #Conflicts: 120000 | #Constraints: 10856
50.03/50.22 c #Conflicts: 121000 | #Constraints: 11856
50.03/50.22 c #Conflicts: 122000 | #Constraints: 12856
50.03/50.22 c #Conflicts: 123000 | #Constraints: 13856
50.03/50.22 c #Conflicts: 124000 | #Constraints: 14856
50.03/50.22 c INPROCESSING
50.03/50.22 c GARBAGE COLLECT
50.03/50.22 c #Conflicts: 125000 | #Constraints: 8847
50.03/50.22 c #Conflicts: 126000 | #Constraints: 9847
50.03/50.22 c #Conflicts: 127000 | #Constraints: 10847
50.03/50.22 c #Conflicts: 128000 | #Constraints: 11847
50.03/50.22 c #Conflicts: 129000 | #Constraints: 12847
50.03/50.22 c #Conflicts: 130000 | #Constraints: 13847
50.03/50.22 c #Conflicts: 131000 | #Constraints: 14847
50.03/50.22 c INPROCESSING
50.03/50.22 c GARBAGE COLLECT
50.03/50.22 c #Conflicts: 132000 | #Constraints: 8659
50.03/50.22 c #Conflicts: 133000 | #Constraints: 9659
50.03/50.22 c #Conflicts: 134000 | #Constraints: 10659
50.03/50.22 c #Conflicts: 135000 | #Constraints: 11659
50.03/50.22 c #Conflicts: 136000 | #Constraints: 12659
50.03/50.22 c #Conflicts: 137000 | #Constraints: 13659
50.03/50.22 c #Conflicts: 138000 | #Constraints: 14659
50.03/50.22 c #Conflicts: 139000 | #Constraints: 15659
50.03/50.22 c INPROCESSING
50.03/50.22 c GARBAGE COLLECT
50.03/50.22 c #Conflicts: 140000 | #Constraints: 9261
94.19/94.51 c #Conflicts: 141000 | #Constraints: 10261
94.19/94.51 c #Conflicts: 142000 | #Constraints: 11261
94.19/94.51 c #Conflicts: 143000 | #Constraints: 12261
94.19/94.51 c #Conflicts: 144000 | #Constraints: 13261
94.19/94.51 c #Conflicts: 145000 | #Constraints: 14261
94.19/94.51 c #Conflicts: 146000 | #Constraints: 15261
94.19/94.51 c #Conflicts: 147000 | #Constraints: 16261
94.19/94.51 c INPROCESSING
94.19/94.51 c GARBAGE COLLECT
94.19/94.51 c #Conflicts: 148000 | #Constraints: 9666
94.19/94.51 c #Conflicts: 149000 | #Constraints: 10666
94.19/94.51 c #Conflicts: 150000 | #Constraints: 11666
94.19/94.51 c #Conflicts: 151000 | #Constraints: 12666
94.19/94.51 c #Conflicts: 152000 | #Constraints: 13666
94.19/94.51 c #Conflicts: 153000 | #Constraints: 14666
94.19/94.51 c #Conflicts: 154000 | #Constraints: 15666
94.19/94.51 c #Conflicts: 155000 | #Constraints: 16666
94.19/94.51 c INPROCESSING
94.19/94.51 c GARBAGE COLLECT
94.19/94.51 c #Conflicts: 156000 | #Constraints: 9863
94.19/94.51 c #Conflicts: 157000 | #Constraints: 10863
94.19/94.51 c #Conflicts: 158000 | #Constraints: 11863
94.19/94.51 c #Conflicts: 159000 | #Constraints: 12863
94.19/94.51 c #Conflicts: 160000 | #Constraints: 13863
94.19/94.51 c #Conflicts: 161000 | #Constraints: 14863
94.19/94.51 c #Conflicts: 162000 | #Constraints: 15863
94.19/94.51 c #Conflicts: 163000 | #Constraints: 16863
94.19/94.51 c INPROCESSING
94.19/94.51 c GARBAGE COLLECT
94.19/94.51 c #Conflicts: 164000 | #Constraints: 9860
94.19/94.51 c #Conflicts: 165000 | #Constraints: 10860
94.19/94.51 c #Conflicts: 166000 | #Constraints: 11860
94.19/94.51 c #Conflicts: 167000 | #Constraints: 12860
94.19/94.51 c #Conflicts: 168000 | #Constraints: 13860
94.19/94.51 c #Conflicts: 169000 | #Constraints: 14860
94.19/94.51 c #Conflicts: 170000 | #Constraints: 15860
94.19/94.51 c #Conflicts: 171000 | #Constraints: 16860
94.19/94.51 c INPROCESSING
94.19/94.51 c GARBAGE COLLECT
94.19/94.51 c #Conflicts: 172000 | #Constraints: 9661
94.19/94.51 c #Conflicts: 173000 | #Constraints: 10661
94.19/94.51 c #Conflicts: 174000 | #Constraints: 11661
94.19/94.51 c #Conflicts: 175000 | #Constraints: 12661
94.19/94.51 c #Conflicts: 176000 | #Constraints: 13661
94.19/94.51 c #Conflicts: 177000 | #Constraints: 14661
94.19/94.51 c #Conflicts: 178000 | #Constraints: 15661
94.19/94.51 c #Conflicts: 179000 | #Constraints: 16661
94.19/94.51 c #Conflicts: 180000 | #Constraints: 17661
94.19/94.51 c INPROCESSING
94.19/94.51 c GARBAGE COLLECT
94.19/94.51 c #Conflicts: 181000 | #Constraints: 10265
94.19/94.51 c #Conflicts: 182000 | #Constraints: 11265
94.19/94.51 c #Conflicts: 183000 | #Constraints: 12265
94.19/94.51 c #Conflicts: 184000 | #Constraints: 13265
94.19/94.51 c #Conflicts: 185000 | #Constraints: 14265
94.19/94.51 c #Conflicts: 186000 | #Constraints: 15265
94.19/94.51 c #Conflicts: 187000 | #Constraints: 16265
94.19/94.51 c #Conflicts: 188000 | #Constraints: 17265
94.19/94.51 c #Conflicts: 189000 | #Constraints: 18265
94.19/94.51 c INPROCESSING
94.19/94.51 c GARBAGE COLLECT
94.19/94.51 c #Conflicts: 190000 | #Constraints: 10663
94.19/94.51 c #Conflicts: 191000 | #Constraints: 11663
94.19/94.51 c #Conflicts: 192000 | #Constraints: 12663
94.19/94.51 c #Conflicts: 193000 | #Constraints: 13663
94.19/94.51 c #Conflicts: 194000 | #Constraints: 14663
94.19/94.51 c #Conflicts: 195000 | #Constraints: 15663
94.19/94.51 c #Conflicts: 196000 | #Constraints: 16663
94.19/94.51 c #Conflicts: 197000 | #Constraints: 17663
94.19/94.51 c #Conflicts: 198000 | #Constraints: 18663
94.19/94.51 c INPROCESSING
94.19/94.51 c GARBAGE COLLECT
94.19/94.51 c #Conflicts: 199000 | #Constraints: 10862
94.19/94.51 c #Conflicts: 200000 | #Constraints: 11862
94.19/94.51 c #Conflicts: 201000 | #Constraints: 12862
94.19/94.51 c #Conflicts: 202000 | #Constraints: 13862
94.19/94.51 c #Conflicts: 203000 | #Constraints: 14862
94.19/94.51 c #Conflicts: 204000 | #Constraints: 15862
94.19/94.51 c #Conflicts: 205000 | #Constraints: 16862
94.19/94.51 c #Conflicts: 206000 | #Constraints: 17862
94.19/94.51 c #Conflicts: 207000 | #Constraints: 18862
94.19/94.51 c INPROCESSING
94.19/94.51 c GARBAGE COLLECT
94.19/94.51 c #Conflicts: 208000 | #Constraints: 10864
94.19/94.51 c #Conflicts: 209000 | #Constraints: 11864
94.19/94.51 c #Conflicts: 210000 | #Constraints: 12864
94.19/94.51 c #Conflicts: 211000 | #Constraints: 13864
94.19/94.51 c #Conflicts: 212000 | #Constraints: 14864
94.19/94.51 c #Conflicts: 213000 | #Constraints: 15864
161.27/161.82 c #Conflicts: 214000 | #Constraints: 16864
161.27/161.82 c #Conflicts: 215000 | #Constraints: 17864
161.27/161.82 c #Conflicts: 216000 | #Constraints: 18864
161.27/161.82 c INPROCESSING
161.27/161.82 c GARBAGE COLLECT
161.27/161.82 c #Conflicts: 217000 | #Constraints: 10661
161.27/161.82 c #Conflicts: 218000 | #Constraints: 11661
161.27/161.82 c #Conflicts: 219000 | #Constraints: 12661
161.27/161.82 c #Conflicts: 220000 | #Constraints: 13661
161.27/161.82 c #Conflicts: 221000 | #Constraints: 14661
161.27/161.82 c #Conflicts: 222000 | #Constraints: 15661
161.27/161.82 c #Conflicts: 223000 | #Constraints: 16661
161.27/161.82 c #Conflicts: 224000 | #Constraints: 17661
161.27/161.82 c #Conflicts: 225000 | #Constraints: 18661
161.27/161.82 c #Conflicts: 226000 | #Constraints: 19661
161.27/161.82 c INPROCESSING
161.27/161.82 c GARBAGE COLLECT
161.27/161.82 c #Conflicts: 227000 | #Constraints: 11261
161.27/161.82 c #Conflicts: 228000 | #Constraints: 12261
161.27/161.82 c #Conflicts: 229000 | #Constraints: 13261
161.27/161.82 c #Conflicts: 230000 | #Constraints: 14261
161.27/161.82 c #Conflicts: 231000 | #Constraints: 15261
161.27/161.82 c #Conflicts: 232000 | #Constraints: 16261
161.27/161.82 c #Conflicts: 233000 | #Constraints: 17261
161.27/161.82 c #Conflicts: 234000 | #Constraints: 18261
161.27/161.82 c #Conflicts: 235000 | #Constraints: 19261
161.27/161.82 c #Conflicts: 236000 | #Constraints: 20261
161.27/161.82 c INPROCESSING
161.27/161.82 c GARBAGE COLLECT
161.27/161.82 c #Conflicts: 237000 | #Constraints: 11665
161.27/161.82 c #Conflicts: 238000 | #Constraints: 12665
161.27/161.82 c #Conflicts: 239000 | #Constraints: 13665
161.27/161.82 c #Conflicts: 240000 | #Constraints: 14665
161.27/161.82 c #Conflicts: 241000 | #Constraints: 15665
161.27/161.82 c #Conflicts: 242000 | #Constraints: 16665
161.27/161.82 c #Conflicts: 243000 | #Constraints: 17665
161.27/161.82 c #Conflicts: 244000 | #Constraints: 18665
161.27/161.82 c #Conflicts: 245000 | #Constraints: 19665
161.27/161.82 c #Conflicts: 246000 | #Constraints: 20665
161.27/161.82 c INPROCESSING
161.27/161.82 c GARBAGE COLLECT
161.27/161.82 c #Conflicts: 247000 | #Constraints: 11865
161.27/161.82 c #Conflicts: 248000 | #Constraints: 12865
161.27/161.82 c #Conflicts: 249000 | #Constraints: 13865
161.27/161.82 c #Conflicts: 250000 | #Constraints: 14865
161.27/161.82 c #Conflicts: 251000 | #Constraints: 15865
161.27/161.82 c #Conflicts: 252000 | #Constraints: 16865
161.27/161.82 c #Conflicts: 253000 | #Constraints: 17865
161.27/161.82 c #Conflicts: 254000 | #Constraints: 18865
161.27/161.82 c #Conflicts: 255000 | #Constraints: 19865
161.27/161.82 c #Conflicts: 256000 | #Constraints: 20865
161.27/161.82 c INPROCESSING
161.27/161.82 c GARBAGE COLLECT
161.27/161.82 c #Conflicts: 257000 | #Constraints: 11867
161.27/161.82 c #Conflicts: 258000 | #Constraints: 12867
161.27/161.82 c #Conflicts: 259000 | #Constraints: 13867
161.27/161.82 c #Conflicts: 260000 | #Constraints: 14867
161.27/161.82 c #Conflicts: 261000 | #Constraints: 15867
161.27/161.82 c #Conflicts: 262000 | #Constraints: 16867
161.27/161.82 c #Conflicts: 263000 | #Constraints: 17867
161.27/161.82 c #Conflicts: 264000 | #Constraints: 18867
161.27/161.82 c #Conflicts: 265000 | #Constraints: 19867
161.27/161.82 c #Conflicts: 266000 | #Constraints: 20867
161.27/161.82 c INPROCESSING
161.27/161.82 c GARBAGE COLLECT
161.27/161.82 c #Conflicts: 267000 | #Constraints: 11673
161.27/161.82 c #Conflicts: 268000 | #Constraints: 12673
161.27/161.82 c #Conflicts: 269000 | #Constraints: 13673
161.27/161.82 c #Conflicts: 270000 | #Constraints: 14673
161.27/161.82 c #Conflicts: 271000 | #Constraints: 15673
161.27/161.82 c #Conflicts: 272000 | #Constraints: 16673
161.27/161.82 c #Conflicts: 273000 | #Constraints: 17673
161.27/161.82 c #Conflicts: 274000 | #Constraints: 18673
161.27/161.82 c #Conflicts: 275000 | #Constraints: 19673
161.27/161.82 c #Conflicts: 276000 | #Constraints: 20673
161.27/161.82 c #Conflicts: 277000 | #Constraints: 21673
161.27/161.82 c INPROCESSING
161.27/161.82 c GARBAGE COLLECT
161.27/161.82 c #Conflicts: 278000 | #Constraints: 12270
161.27/161.82 c #Conflicts: 279000 | #Constraints: 13270
161.27/161.82 c #Conflicts: 280000 | #Constraints: 14270
161.27/161.82 c #Conflicts: 281000 | #Constraints: 15270
161.27/161.82 c #Conflicts: 282000 | #Constraints: 16270
161.27/161.82 c #Conflicts: 283000 | #Constraints: 17270
161.27/161.82 c #Conflicts: 284000 | #Constraints: 18270
161.27/161.82 c #Conflicts: 285000 | #Constraints: 19270
161.27/161.82 c #Conflicts: 286000 | #Constraints: 20270
161.27/161.82 c #Conflicts: 287000 | #Constraints: 21270
161.27/161.82 c #Conflicts: 288000 | #Constraints: 22270
237.93/238.75 c INPROCESSING
237.93/238.75 c GARBAGE COLLECT
237.93/238.75 c #Conflicts: 289000 | #Constraints: 12676
237.93/238.75 c #Conflicts: 290000 | #Constraints: 13676
237.93/238.75 c #Conflicts: 291000 | #Constraints: 14676
237.93/238.75 c #Conflicts: 292000 | #Constraints: 15676
237.93/238.75 c #Conflicts: 293000 | #Constraints: 16676
237.93/238.75 c #Conflicts: 294000 | #Constraints: 17676
237.93/238.75 c #Conflicts: 295000 | #Constraints: 18676
237.93/238.75 c #Conflicts: 296000 | #Constraints: 19676
237.93/238.75 c #Conflicts: 297000 | #Constraints: 20676
237.93/238.75 c #Conflicts: 298000 | #Constraints: 21676
237.93/238.75 c #Conflicts: 299000 | #Constraints: 22676
237.93/238.75 c INPROCESSING
237.93/238.75 c GARBAGE COLLECT
237.93/238.75 c #Conflicts: 300000 | #Constraints: 12878
237.93/238.75 c #Conflicts: 301000 | #Constraints: 13878
237.93/238.75 c #Conflicts: 302000 | #Constraints: 14878
237.93/238.75 c #Conflicts: 303000 | #Constraints: 15878
237.93/238.75 c #Conflicts: 304000 | #Constraints: 16878
237.93/238.75 c #Conflicts: 305000 | #Constraints: 17878
237.93/238.75 c #Conflicts: 306000 | #Constraints: 18878
237.93/238.75 c #Conflicts: 307000 | #Constraints: 19878
237.93/238.75 c #Conflicts: 308000 | #Constraints: 20878
237.93/238.75 c #Conflicts: 309000 | #Constraints: 21878
237.93/238.75 c #Conflicts: 310000 | #Constraints: 22878
237.93/238.75 c INPROCESSING
237.93/238.75 c GARBAGE COLLECT
237.93/238.75 c #Conflicts: 311000 | #Constraints: 12871
237.93/238.75 c #Conflicts: 312000 | #Constraints: 13871
237.93/238.75 c #Conflicts: 313000 | #Constraints: 14871
237.93/238.75 c #Conflicts: 314000 | #Constraints: 15871
237.93/238.75 c #Conflicts: 315000 | #Constraints: 16871
237.93/238.75 c #Conflicts: 316000 | #Constraints: 17871
237.93/238.75 c #Conflicts: 317000 | #Constraints: 18871
237.93/238.75 c #Conflicts: 318000 | #Constraints: 19871
237.93/238.75 c #Conflicts: 319000 | #Constraints: 20871
237.93/238.75 c #Conflicts: 320000 | #Constraints: 21871
237.93/238.75 c #Conflicts: 321000 | #Constraints: 22871
237.93/238.75 c INPROCESSING
237.93/238.75 c GARBAGE COLLECT
237.93/238.75 c #Conflicts: 322000 | #Constraints: 12657
237.93/238.75 c #Conflicts: 323000 | #Constraints: 13657
237.93/238.75 c #Conflicts: 324000 | #Constraints: 14657
237.93/238.75 c #Conflicts: 325000 | #Constraints: 15657
237.93/238.75 c #Conflicts: 326000 | #Constraints: 16657
237.93/238.75 c #Conflicts: 327000 | #Constraints: 17657
237.93/238.75 c #Conflicts: 328000 | #Constraints: 18657
237.93/238.75 c #Conflicts: 329000 | #Constraints: 19657
237.93/238.75 c #Conflicts: 330000 | #Constraints: 20657
237.93/238.75 c #Conflicts: 331000 | #Constraints: 21657
237.93/238.75 c #Conflicts: 332000 | #Constraints: 22657
237.93/238.75 c #Conflicts: 333000 | #Constraints: 23657
237.93/238.75 c INPROCESSING
237.93/238.75 c GARBAGE COLLECT
237.93/238.75 c #Conflicts: 334000 | #Constraints: 13260
237.93/238.75 c #Conflicts: 335000 | #Constraints: 14260
237.93/238.75 c #Conflicts: 336000 | #Constraints: 15260
237.93/238.75 c #Conflicts: 337000 | #Constraints: 16260
237.93/238.75 c #Conflicts: 338000 | #Constraints: 17260
237.93/238.75 c #Conflicts: 339000 | #Constraints: 18260
237.93/238.75 c #Conflicts: 340000 | #Constraints: 19260
237.93/238.75 c #Conflicts: 341000 | #Constraints: 20260
237.93/238.75 c #Conflicts: 342000 | #Constraints: 21260
237.93/238.75 c #Conflicts: 343000 | #Constraints: 22260
237.93/238.75 c #Conflicts: 344000 | #Constraints: 23260
237.93/238.75 c #Conflicts: 345000 | #Constraints: 24260
237.93/238.75 c INPROCESSING
237.93/238.75 c GARBAGE COLLECT
237.93/238.75 c #Conflicts: 346000 | #Constraints: 13671
237.93/238.75 c #Conflicts: 347000 | #Constraints: 14671
237.93/238.75 c #Conflicts: 348000 | #Constraints: 15671
237.93/238.75 c #Conflicts: 349000 | #Constraints: 16671
237.93/238.75 c #Conflicts: 350000 | #Constraints: 17671
237.93/238.75 c #Conflicts: 351000 | #Constraints: 18671
237.93/238.75 c #Conflicts: 352000 | #Constraints: 19671
237.93/238.75 c #Conflicts: 353000 | #Constraints: 20671
237.93/238.75 c #Conflicts: 354000 | #Constraints: 21671
237.93/238.75 c #Conflicts: 355000 | #Constraints: 22671
237.93/238.75 c #Conflicts: 356000 | #Constraints: 23671
237.93/238.75 c #Conflicts: 357000 | #Constraints: 24671
237.93/238.75 c INPROCESSING
237.93/238.75 c GARBAGE COLLECT
237.93/238.75 c #Conflicts: 358000 | #Constraints: 13872
237.93/238.75 c #Conflicts: 359000 | #Constraints: 14872
237.93/238.75 c #Conflicts: 360000 | #Constraints: 15872
237.93/238.75 c #Conflicts: 361000 | #Constraints: 16872
237.93/238.75 c #Conflicts: 362000 | #Constraints: 17872
313.50/314.52 c #Conflicts: 363000 | #Constraints: 18872
313.50/314.52 c #Conflicts: 364000 | #Constraints: 19872
313.50/314.52 c #Conflicts: 365000 | #Constraints: 20872
313.50/314.52 c #Conflicts: 366000 | #Constraints: 21872
313.50/314.52 c #Conflicts: 367000 | #Constraints: 22872
313.50/314.52 c #Conflicts: 368000 | #Constraints: 23872
313.50/314.52 c #Conflicts: 369000 | #Constraints: 24872
313.50/314.52 c INPROCESSING
313.50/314.52 c GARBAGE COLLECT
313.50/314.52 c #Conflicts: 370000 | #Constraints: 13882
313.50/314.52 c #Conflicts: 371000 | #Constraints: 14882
313.50/314.52 c #Conflicts: 372000 | #Constraints: 15882
313.50/314.52 c #Conflicts: 373000 | #Constraints: 16882
313.50/314.52 c #Conflicts: 374000 | #Constraints: 17882
313.50/314.52 c #Conflicts: 375000 | #Constraints: 18882
313.50/314.52 c #Conflicts: 376000 | #Constraints: 19882
313.50/314.52 c #Conflicts: 377000 | #Constraints: 20882
313.50/314.52 c #Conflicts: 378000 | #Constraints: 21882
313.50/314.52 c #Conflicts: 379000 | #Constraints: 22882
313.50/314.52 c #Conflicts: 380000 | #Constraints: 23882
313.50/314.52 c #Conflicts: 381000 | #Constraints: 24882
313.50/314.52 c INPROCESSING
313.50/314.52 c GARBAGE COLLECT
313.50/314.52 c #Conflicts: 382000 | #Constraints: 13673
313.50/314.52 c #Conflicts: 383000 | #Constraints: 14673
313.50/314.52 c #Conflicts: 384000 | #Constraints: 15673
313.50/314.52 c #Conflicts: 385000 | #Constraints: 16673
313.50/314.52 c #Conflicts: 386000 | #Constraints: 17673
313.50/314.52 c #Conflicts: 387000 | #Constraints: 18673
313.50/314.52 c #Conflicts: 388000 | #Constraints: 19673
313.50/314.52 c #Conflicts: 389000 | #Constraints: 20673
313.50/314.52 c #Conflicts: 390000 | #Constraints: 21673
313.50/314.52 c #Conflicts: 391000 | #Constraints: 22673
313.50/314.52 c #Conflicts: 392000 | #Constraints: 23673
313.50/314.52 c #Conflicts: 393000 | #Constraints: 24673
313.50/314.52 c #Conflicts: 394000 | #Constraints: 25673
313.50/314.52 c INPROCESSING
313.50/314.52 c GARBAGE COLLECT
313.50/314.52 c #Conflicts: 395000 | #Constraints: 14277
313.50/314.52 c #Conflicts: 396000 | #Constraints: 15277
313.50/314.52 c #Conflicts: 397000 | #Constraints: 16277
313.50/314.52 c #Conflicts: 398000 | #Constraints: 17277
313.50/314.52 c #Conflicts: 399000 | #Constraints: 18277
313.50/314.52 c #Conflicts: 400000 | #Constraints: 19277
313.50/314.52 c #Conflicts: 401000 | #Constraints: 20277
313.50/314.52 c #Conflicts: 402000 | #Constraints: 21277
313.50/314.52 c #Conflicts: 403000 | #Constraints: 22277
313.50/314.52 c #Conflicts: 404000 | #Constraints: 23277
313.50/314.52 c #Conflicts: 405000 | #Constraints: 24277
313.50/314.52 c #Conflicts: 406000 | #Constraints: 25277
313.50/314.52 c #Conflicts: 407000 | #Constraints: 26277
313.50/314.52 c INPROCESSING
313.50/314.52 c GARBAGE COLLECT
313.50/314.52 c #Conflicts: 408000 | #Constraints: 14672
313.50/314.52 c #Conflicts: 409000 | #Constraints: 15672
313.50/314.52 c #Conflicts: 410000 | #Constraints: 16672
313.50/314.52 c #Conflicts: 411000 | #Constraints: 17672
313.50/314.52 c #Conflicts: 412000 | #Constraints: 18672
313.50/314.52 c #Conflicts: 413000 | #Constraints: 19672
313.50/314.52 c #Conflicts: 414000 | #Constraints: 20672
313.50/314.52 c #Conflicts: 415000 | #Constraints: 21672
313.50/314.52 c #Conflicts: 416000 | #Constraints: 22672
313.50/314.52 c #Conflicts: 417000 | #Constraints: 23672
313.50/314.52 c #Conflicts: 418000 | #Constraints: 24672
313.50/314.52 c #Conflicts: 419000 | #Constraints: 25672
313.50/314.52 c #Conflicts: 420000 | #Constraints: 26672
313.50/314.52 c INPROCESSING
313.50/314.52 c GARBAGE COLLECT
313.50/314.52 c #Conflicts: 421000 | #Constraints: 14879
313.50/314.52 c #Conflicts: 422000 | #Constraints: 15879
313.50/314.52 c #Conflicts: 423000 | #Constraints: 16879
313.50/314.52 c #Conflicts: 424000 | #Constraints: 17879
313.50/314.52 c #Conflicts: 425000 | #Constraints: 18879
313.50/314.52 c #Conflicts: 426000 | #Constraints: 19879
313.50/314.52 c #Conflicts: 427000 | #Constraints: 20879
313.50/314.52 c #Conflicts: 428000 | #Constraints: 21879
313.50/314.52 c #Conflicts: 429000 | #Constraints: 22879
313.50/314.52 c #Conflicts: 430000 | #Constraints: 23879
313.50/314.52 c #Conflicts: 431000 | #Constraints: 24879
313.50/314.52 c #Conflicts: 432000 | #Constraints: 25879
313.50/314.52 c #Conflicts: 433000 | #Constraints: 26879
313.50/314.52 c INPROCESSING
313.50/314.52 c GARBAGE COLLECT
313.50/314.52 c #Conflicts: 434000 | #Constraints: 14880
313.50/314.52 c #Conflicts: 435000 | #Constraints: 15880
313.50/314.52 c #Conflicts: 436000 | #Constraints: 16880
313.50/314.52 c #Conflicts: 437000 | #Constraints: 17880
379.54/380.71 c #Conflicts: 438000 | #Constraints: 18880
379.54/380.71 c #Conflicts: 439000 | #Constraints: 19880
379.54/380.71 c #Conflicts: 440000 | #Constraints: 20880
379.54/380.71 c #Conflicts: 441000 | #Constraints: 21880
379.54/380.71 c #Conflicts: 442000 | #Constraints: 22880
379.54/380.71 c #Conflicts: 443000 | #Constraints: 23880
379.54/380.71 c #Conflicts: 444000 | #Constraints: 24880
379.54/380.71 c #Conflicts: 445000 | #Constraints: 25880
379.54/380.71 c #Conflicts: 446000 | #Constraints: 26880
379.54/380.71 c INPROCESSING
379.54/380.71 c GARBAGE COLLECT
379.54/380.71 c #Conflicts: 447000 | #Constraints: 14680
379.54/380.71 c #Conflicts: 448000 | #Constraints: 15680
379.54/380.71 c #Conflicts: 449000 | #Constraints: 16680
379.54/380.71 c #Conflicts: 450000 | #Constraints: 17680
379.54/380.71 c #Conflicts: 451000 | #Constraints: 18680
379.54/380.71 c #Conflicts: 452000 | #Constraints: 19680
379.54/380.71 c #Conflicts: 453000 | #Constraints: 20680
379.54/380.71 c #Conflicts: 454000 | #Constraints: 21680
379.54/380.71 c #Conflicts: 455000 | #Constraints: 22680
379.54/380.71 c #Conflicts: 456000 | #Constraints: 23680
379.54/380.71 c #Conflicts: 457000 | #Constraints: 24680
379.54/380.71 c #Conflicts: 458000 | #Constraints: 25680
379.54/380.71 c #Conflicts: 459000 | #Constraints: 26680
379.54/380.71 c #Conflicts: 460000 | #Constraints: 27680
379.54/380.71 c INPROCESSING
379.54/380.71 c GARBAGE COLLECT
379.54/380.71 c #Conflicts: 461000 | #Constraints: 15285
379.54/380.71 c #Conflicts: 462000 | #Constraints: 16285
379.54/380.71 c #Conflicts: 463000 | #Constraints: 17285
379.54/380.71 c #Conflicts: 464000 | #Constraints: 18285
379.54/380.71 c #Conflicts: 465000 | #Constraints: 19285
379.54/380.71 c #Conflicts: 466000 | #Constraints: 20285
379.54/380.71 c #Conflicts: 467000 | #Constraints: 21285
379.54/380.71 c #Conflicts: 468000 | #Constraints: 22285
379.54/380.71 c #Conflicts: 469000 | #Constraints: 23285
379.54/380.71 c #Conflicts: 470000 | #Constraints: 24285
379.54/380.71 c #Conflicts: 471000 | #Constraints: 25285
379.54/380.71 c #Conflicts: 472000 | #Constraints: 26285
379.54/380.71 c #Conflicts: 473000 | #Constraints: 27285
379.54/380.71 c #Conflicts: 474000 | #Constraints: 28285
379.54/380.71 c INPROCESSING
379.54/380.71 c GARBAGE COLLECT
379.54/380.71 c #Conflicts: 475000 | #Constraints: 15676
379.54/380.71 c #Conflicts: 476000 | #Constraints: 16676
379.54/380.71 c #Conflicts: 477000 | #Constraints: 17676
379.54/380.71 c #Conflicts: 478000 | #Constraints: 18676
379.54/380.71 c #Conflicts: 479000 | #Constraints: 19676
379.54/380.71 c #Conflicts: 480000 | #Constraints: 20676
379.54/380.71 c #Conflicts: 481000 | #Constraints: 21676
379.54/380.71 c #Conflicts: 482000 | #Constraints: 22676
379.54/380.71 c #Conflicts: 483000 | #Constraints: 23676
379.54/380.71 c #Conflicts: 484000 | #Constraints: 24676
379.54/380.71 c #Conflicts: 485000 | #Constraints: 25676
379.54/380.71 c #Conflicts: 486000 | #Constraints: 26676
379.54/380.71 c #Conflicts: 487000 | #Constraints: 27676
379.54/380.71 c #Conflicts: 488000 | #Constraints: 28676
379.54/380.71 c INPROCESSING
379.54/380.71 c GARBAGE COLLECT
379.54/380.71 c #Conflicts: 489000 | #Constraints: 15875
379.54/380.71 c #Conflicts: 490000 | #Constraints: 16875
379.54/380.71 c #Conflicts: 491000 | #Constraints: 17875
379.54/380.71 c #Conflicts: 492000 | #Constraints: 18875
379.54/380.71 c #Conflicts: 493000 | #Constraints: 19875
379.54/380.71 c #Conflicts: 494000 | #Constraints: 20875
379.54/380.71 c #Conflicts: 495000 | #Constraints: 21875
379.54/380.71 c #Conflicts: 496000 | #Constraints: 22875
379.54/380.71 c #Conflicts: 497000 | #Constraints: 23875
379.54/380.71 c #Conflicts: 498000 | #Constraints: 24875
379.54/380.71 c #Conflicts: 499000 | #Constraints: 25875
379.54/380.71 c #Conflicts: 500000 | #Constraints: 26875
379.54/380.71 c #Conflicts: 501000 | #Constraints: 27875
379.54/380.71 c #Conflicts: 502000 | #Constraints: 28875
379.54/380.71 c INPROCESSING
379.54/380.71 c GARBAGE COLLECT
379.54/380.71 c #Conflicts: 503000 | #Constraints: 15871
379.54/380.71 c #Conflicts: 504000 | #Constraints: 16871
379.54/380.71 c #Conflicts: 505000 | #Constraints: 17871
379.54/380.71 c #Conflicts: 506000 | #Constraints: 18871
379.54/380.71 c #Conflicts: 507000 | #Constraints: 19871
379.54/380.71 c #Conflicts: 508000 | #Constraints: 20871
379.54/380.71 c #Conflicts: 509000 | #Constraints: 21871
379.54/380.71 c #Conflicts: 510000 | #Constraints: 22871
379.54/380.71 c #Conflicts: 511000 | #Constraints: 23871
379.54/380.71 c #Conflicts: 512000 | #Constraints: 24871
379.54/380.71 c #Conflicts: 513000 | #Constraints: 25871
474.98/476.43 c #Conflicts: 514000 | #Constraints: 26871
474.98/476.43 c #Conflicts: 515000 | #Constraints: 27871
474.98/476.43 c #Conflicts: 516000 | #Constraints: 28871
474.98/476.43 c INPROCESSING
474.98/476.43 c GARBAGE COLLECT
474.98/476.43 c #Conflicts: 517000 | #Constraints: 15673
474.98/476.43 c #Conflicts: 518000 | #Constraints: 16673
474.98/476.43 c #Conflicts: 519000 | #Constraints: 17673
474.98/476.43 c #Conflicts: 520000 | #Constraints: 18673
474.98/476.43 c #Conflicts: 521000 | #Constraints: 19673
474.98/476.43 c #Conflicts: 522000 | #Constraints: 20673
474.98/476.43 c #Conflicts: 523000 | #Constraints: 21673
474.98/476.43 c #Conflicts: 524000 | #Constraints: 22673
474.98/476.43 c #Conflicts: 525000 | #Constraints: 23673
474.98/476.43 c #Conflicts: 526000 | #Constraints: 24673
474.98/476.43 c #Conflicts: 527000 | #Constraints: 25673
474.98/476.43 c #Conflicts: 528000 | #Constraints: 26673
474.98/476.43 c #Conflicts: 529000 | #Constraints: 27673
474.98/476.43 c #Conflicts: 530000 | #Constraints: 28673
474.98/476.43 c #Conflicts: 531000 | #Constraints: 29673
474.98/476.43 c INPROCESSING
474.98/476.43 c GARBAGE COLLECT
474.98/476.43 c #Conflicts: 532000 | #Constraints: 16274
474.98/476.43 c #Conflicts: 533000 | #Constraints: 17274
474.98/476.43 c #Conflicts: 534000 | #Constraints: 18274
474.98/476.43 c #Conflicts: 535000 | #Constraints: 19274
474.98/476.43 c #Conflicts: 536000 | #Constraints: 20274
474.98/476.43 c #Conflicts: 537000 | #Constraints: 21274
474.98/476.43 c #Conflicts: 538000 | #Constraints: 22274
474.98/476.43 c #Conflicts: 539000 | #Constraints: 23274
474.98/476.43 c #Conflicts: 540000 | #Constraints: 24274
474.98/476.43 c #Conflicts: 541000 | #Constraints: 25274
474.98/476.43 c #Conflicts: 542000 | #Constraints: 26274
474.98/476.43 c #Conflicts: 543000 | #Constraints: 27274
474.98/476.43 c #Conflicts: 544000 | #Constraints: 28274
474.98/476.43 c #Conflicts: 545000 | #Constraints: 29274
474.98/476.43 c #Conflicts: 546000 | #Constraints: 30274
474.98/476.43 c INPROCESSING
474.98/476.43 c GARBAGE COLLECT
474.98/476.43 c #Conflicts: 547000 | #Constraints: 16684
474.98/476.43 c #Conflicts: 548000 | #Constraints: 17684
474.98/476.43 c #Conflicts: 549000 | #Constraints: 18684
474.98/476.43 c #Conflicts: 550000 | #Constraints: 19684
474.98/476.43 c #Conflicts: 551000 | #Constraints: 20684
474.98/476.43 c #Conflicts: 552000 | #Constraints: 21684
474.98/476.43 c #Conflicts: 553000 | #Constraints: 22684
474.98/476.43 c #Conflicts: 554000 | #Constraints: 23684
474.98/476.43 c #Conflicts: 555000 | #Constraints: 24684
474.98/476.43 c #Conflicts: 556000 | #Constraints: 25684
474.98/476.43 c #Conflicts: 557000 | #Constraints: 26684
474.98/476.43 c #Conflicts: 558000 | #Constraints: 27684
474.98/476.43 c #Conflicts: 559000 | #Constraints: 28684
474.98/476.43 c #Conflicts: 560000 | #Constraints: 29684
474.98/476.43 c #Conflicts: 561000 | #Constraints: 30684
474.98/476.43 c INPROCESSING
474.98/476.43 c GARBAGE COLLECT
474.98/476.43 c #Conflicts: 562000 | #Constraints: 16882
474.98/476.43 c #Conflicts: 563000 | #Constraints: 17882
474.98/476.43 c #Conflicts: 564000 | #Constraints: 18882
474.98/476.43 c #Conflicts: 565000 | #Constraints: 19882
474.98/476.43 c #Conflicts: 566000 | #Constraints: 20882
474.98/476.43 c #Conflicts: 567000 | #Constraints: 21882
474.98/476.43 c #Conflicts: 568000 | #Constraints: 22882
474.98/476.43 c #Conflicts: 569000 | #Constraints: 23882
474.98/476.43 c #Conflicts: 570000 | #Constraints: 24882
474.98/476.43 c #Conflicts: 571000 | #Constraints: 25882
474.98/476.43 c #Conflicts: 572000 | #Constraints: 26882
474.98/476.43 c #Conflicts: 573000 | #Constraints: 27882
474.98/476.43 c #Conflicts: 574000 | #Constraints: 28882
474.98/476.43 c #Conflicts: 575000 | #Constraints: 29882
474.98/476.43 c #Conflicts: 576000 | #Constraints: 30882
474.98/476.43 c INPROCESSING
474.98/476.43 c GARBAGE COLLECT
474.98/476.43 c #Conflicts: 577000 | #Constraints: 16875
474.98/476.43 c #Conflicts: 578000 | #Constraints: 17875
474.98/476.43 c #Conflicts: 579000 | #Constraints: 18875
474.98/476.43 c #Conflicts: 580000 | #Constraints: 19875
474.98/476.43 c #Conflicts: 581000 | #Constraints: 20875
474.98/476.43 c #Conflicts: 582000 | #Constraints: 21875
474.98/476.43 c #Conflicts: 583000 | #Constraints: 22875
474.98/476.43 c #Conflicts: 584000 | #Constraints: 23875
474.98/476.43 c #Conflicts: 585000 | #Constraints: 24875
474.98/476.43 c #Conflicts: 586000 | #Constraints: 25875
474.98/476.43 c #Conflicts: 587000 | #Constraints: 26875
474.98/476.43 c #Conflicts: 588000 | #Constraints: 27875
564.34/566.02 c #Conflicts: 589000 | #Constraints: 28875
564.34/566.02 c #Conflicts: 590000 | #Constraints: 29875
564.34/566.02 c #Conflicts: 591000 | #Constraints: 30875
564.34/566.02 c INPROCESSING
564.34/566.02 c GARBAGE COLLECT
564.34/566.02 c #Conflicts: 592000 | #Constraints: 16672
564.34/566.02 c #Conflicts: 593000 | #Constraints: 17672
564.34/566.02 c #Conflicts: 594000 | #Constraints: 18672
564.34/566.02 c #Conflicts: 595000 | #Constraints: 19672
564.34/566.02 c #Conflicts: 596000 | #Constraints: 20672
564.34/566.02 c #Conflicts: 597000 | #Constraints: 21672
564.34/566.02 c #Conflicts: 598000 | #Constraints: 22672
564.34/566.02 c #Conflicts: 599000 | #Constraints: 23672
564.34/566.02 c #Conflicts: 600000 | #Constraints: 24672
564.34/566.02 c #Conflicts: 601000 | #Constraints: 25672
564.34/566.02 c #Conflicts: 602000 | #Constraints: 26672
564.34/566.02 c #Conflicts: 603000 | #Constraints: 27672
564.34/566.02 c #Conflicts: 604000 | #Constraints: 28672
564.34/566.02 c #Conflicts: 605000 | #Constraints: 29672
564.34/566.02 c #Conflicts: 606000 | #Constraints: 30672
564.34/566.02 c #Conflicts: 607000 | #Constraints: 31672
564.34/566.02 c INPROCESSING
564.34/566.02 c GARBAGE COLLECT
564.34/566.02 c #Conflicts: 608000 | #Constraints: 17276
564.34/566.02 c #Conflicts: 609000 | #Constraints: 18276
564.34/566.02 c #Conflicts: 610000 | #Constraints: 19276
564.34/566.02 c #Conflicts: 611000 | #Constraints: 20276
564.34/566.02 c #Conflicts: 612000 | #Constraints: 21276
564.34/566.02 c #Conflicts: 613000 | #Constraints: 22276
564.34/566.02 c #Conflicts: 614000 | #Constraints: 23276
564.34/566.02 c #Conflicts: 615000 | #Constraints: 24276
564.34/566.02 c #Conflicts: 616000 | #Constraints: 25276
564.34/566.02 c #Conflicts: 617000 | #Constraints: 26276
564.34/566.02 c #Conflicts: 618000 | #Constraints: 27276
564.34/566.02 c #Conflicts: 619000 | #Constraints: 28276
564.34/566.02 c #Conflicts: 620000 | #Constraints: 29276
564.34/566.02 c #Conflicts: 621000 | #Constraints: 30276
564.34/566.02 c #Conflicts: 622000 | #Constraints: 31276
564.34/566.02 c #Conflicts: 623000 | #Constraints: 32276
564.34/566.02 c INPROCESSING
564.34/566.02 c GARBAGE COLLECT
564.34/566.02 c #Conflicts: 624000 | #Constraints: 17668
564.34/566.02 c #Conflicts: 625000 | #Constraints: 18668
564.34/566.02 c #Conflicts: 626000 | #Constraints: 19668
564.34/566.02 c #Conflicts: 627000 | #Constraints: 20668
564.34/566.02 c #Conflicts: 628000 | #Constraints: 21668
564.34/566.02 c #Conflicts: 629000 | #Constraints: 22668
564.34/566.02 c #Conflicts: 630000 | #Constraints: 23668
564.34/566.02 c #Conflicts: 631000 | #Constraints: 24668
564.34/566.02 c #Conflicts: 632000 | #Constraints: 25668
564.34/566.02 c #Conflicts: 633000 | #Constraints: 26668
564.34/566.02 c #Conflicts: 634000 | #Constraints: 27668
564.34/566.02 c #Conflicts: 635000 | #Constraints: 28668
564.34/566.02 c #Conflicts: 636000 | #Constraints: 29668
564.34/566.02 c #Conflicts: 637000 | #Constraints: 30668
564.34/566.02 c #Conflicts: 638000 | #Constraints: 31668
564.34/566.02 c #Conflicts: 639000 | #Constraints: 32668
564.34/566.02 c INPROCESSING
564.34/566.02 c GARBAGE COLLECT
564.34/566.02 c #Conflicts: 640000 | #Constraints: 17870
564.34/566.02 c #Conflicts: 641000 | #Constraints: 18870
564.34/566.02 c #Conflicts: 642000 | #Constraints: 19870
564.34/566.02 c #Conflicts: 643000 | #Constraints: 20870
564.34/566.02 c #Conflicts: 644000 | #Constraints: 21870
564.34/566.02 c #Conflicts: 645000 | #Constraints: 22870
564.34/566.02 c #Conflicts: 646000 | #Constraints: 23870
564.34/566.02 c #Conflicts: 647000 | #Constraints: 24870
564.34/566.02 c #Conflicts: 648000 | #Constraints: 25870
564.34/566.02 c #Conflicts: 649000 | #Constraints: 26870
564.34/566.02 c #Conflicts: 650000 | #Constraints: 27870
564.34/566.02 c #Conflicts: 651000 | #Constraints: 28870
564.34/566.02 c #Conflicts: 652000 | #Constraints: 29870
564.34/566.02 c #Conflicts: 653000 | #Constraints: 30870
564.34/566.02 c #Conflicts: 654000 | #Constraints: 31870
564.34/566.02 c #Conflicts: 655000 | #Constraints: 32870
564.34/566.02 c INPROCESSING
564.34/566.02 c GARBAGE COLLECT
564.34/566.02 c #Conflicts: 656000 | #Constraints: 17872
564.34/566.02 c #Conflicts: 657000 | #Constraints: 18872
564.34/566.02 c #Conflicts: 658000 | #Constraints: 19872
564.34/566.02 c #Conflicts: 659000 | #Constraints: 20872
564.34/566.02 c #Conflicts: 660000 | #Constraints: 21872
564.34/566.02 c #Conflicts: 661000 | #Constraints: 22872
564.34/566.02 c #Conflicts: 662000 | #Constraints: 23872
564.34/566.02 c #Conflicts: 663000 | #Constraints: 24872
564.34/566.02 c #Conflicts: 664000 | #Constraints: 25872
663.27/665.25 c #Conflicts: 665000 | #Constraints: 26872
663.27/665.25 c #Conflicts: 666000 | #Constraints: 27872
663.27/665.25 c #Conflicts: 667000 | #Constraints: 28872
663.27/665.25 c #Conflicts: 668000 | #Constraints: 29872
663.27/665.25 c #Conflicts: 669000 | #Constraints: 30872
663.27/665.25 c #Conflicts: 670000 | #Constraints: 31872
663.27/665.25 c #Conflicts: 671000 | #Constraints: 32872
663.27/665.25 c INPROCESSING
663.27/665.25 c GARBAGE COLLECT
663.27/665.25 c #Conflicts: 672000 | #Constraints: 17672
663.27/665.25 c #Conflicts: 673000 | #Constraints: 18672
663.27/665.25 c #Conflicts: 674000 | #Constraints: 19672
663.27/665.25 c #Conflicts: 675000 | #Constraints: 20672
663.27/665.25 c #Conflicts: 676000 | #Constraints: 21672
663.27/665.25 c #Conflicts: 677000 | #Constraints: 22672
663.27/665.25 c #Conflicts: 678000 | #Constraints: 23672
663.27/665.25 c #Conflicts: 679000 | #Constraints: 24672
663.27/665.25 c #Conflicts: 680000 | #Constraints: 25672
663.27/665.25 c #Conflicts: 681000 | #Constraints: 26672
663.27/665.25 c #Conflicts: 682000 | #Constraints: 27672
663.27/665.25 c #Conflicts: 683000 | #Constraints: 28672
663.27/665.25 c #Conflicts: 684000 | #Constraints: 29672
663.27/665.25 c #Conflicts: 685000 | #Constraints: 30672
663.27/665.25 c #Conflicts: 686000 | #Constraints: 31672
663.27/665.25 c #Conflicts: 687000 | #Constraints: 32672
663.27/665.25 c #Conflicts: 688000 | #Constraints: 33672
663.27/665.25 c INPROCESSING
663.27/665.25 c GARBAGE COLLECT
663.27/665.25 c #Conflicts: 689000 | #Constraints: 18274
663.27/665.25 c #Conflicts: 690000 | #Constraints: 19274
663.27/665.25 c #Conflicts: 691000 | #Constraints: 20274
663.27/665.25 c #Conflicts: 692000 | #Constraints: 21274
663.27/665.25 c #Conflicts: 693000 | #Constraints: 22274
663.27/665.25 c #Conflicts: 694000 | #Constraints: 23274
663.27/665.25 c #Conflicts: 695000 | #Constraints: 24274
663.27/665.25 c #Conflicts: 696000 | #Constraints: 25274
663.27/665.25 c #Conflicts: 697000 | #Constraints: 26274
663.27/665.25 c #Conflicts: 698000 | #Constraints: 27274
663.27/665.25 c #Conflicts: 699000 | #Constraints: 28274
663.27/665.25 c #Conflicts: 700000 | #Constraints: 29274
663.27/665.25 c #Conflicts: 701000 | #Constraints: 30274
663.27/665.25 c #Conflicts: 702000 | #Constraints: 31274
663.27/665.25 c #Conflicts: 703000 | #Constraints: 32274
663.27/665.25 c #Conflicts: 704000 | #Constraints: 33274
663.27/665.25 c #Conflicts: 705000 | #Constraints: 34274
663.27/665.25 c INPROCESSING
663.27/665.25 c GARBAGE COLLECT
663.27/665.25 c #Conflicts: 706000 | #Constraints: 18674
663.27/665.25 c #Conflicts: 707000 | #Constraints: 19674
663.27/665.25 c #Conflicts: 708000 | #Constraints: 20674
663.27/665.25 c #Conflicts: 709000 | #Constraints: 21674
663.27/665.25 c #Conflicts: 710000 | #Constraints: 22674
663.27/665.25 c #Conflicts: 711000 | #Constraints: 23674
663.27/665.25 c #Conflicts: 712000 | #Constraints: 24674
663.27/665.25 c #Conflicts: 713000 | #Constraints: 25674
663.27/665.25 c #Conflicts: 714000 | #Constraints: 26674
663.27/665.25 c #Conflicts: 715000 | #Constraints: 27674
663.27/665.25 c #Conflicts: 716000 | #Constraints: 28674
663.27/665.25 c #Conflicts: 717000 | #Constraints: 29674
663.27/665.25 c #Conflicts: 718000 | #Constraints: 30674
663.27/665.25 c #Conflicts: 719000 | #Constraints: 31674
663.27/665.25 c #Conflicts: 720000 | #Constraints: 32674
663.27/665.25 c #Conflicts: 721000 | #Constraints: 33674
663.27/665.25 c #Conflicts: 722000 | #Constraints: 34674
663.27/665.25 c INPROCESSING
663.27/665.25 c GARBAGE COLLECT
663.27/665.25 c #Conflicts: 723000 | #Constraints: 18875
663.27/665.25 c #Conflicts: 724000 | #Constraints: 19875
663.27/665.25 c #Conflicts: 725000 | #Constraints: 20875
663.27/665.25 c #Conflicts: 726000 | #Constraints: 21875
663.27/665.25 c #Conflicts: 727000 | #Constraints: 22875
663.27/665.25 c #Conflicts: 728000 | #Constraints: 23875
663.27/665.25 c #Conflicts: 729000 | #Constraints: 24875
663.27/665.25 c #Conflicts: 730000 | #Constraints: 25875
663.27/665.25 c #Conflicts: 731000 | #Constraints: 26875
663.27/665.25 c #Conflicts: 732000 | #Constraints: 27875
663.27/665.25 c #Conflicts: 733000 | #Constraints: 28875
663.27/665.25 c #Conflicts: 734000 | #Constraints: 29875
663.27/665.25 c #Conflicts: 735000 | #Constraints: 30875
663.27/665.25 c #Conflicts: 736000 | #Constraints: 31875
663.27/665.25 c #Conflicts: 737000 | #Constraints: 32875
663.27/665.25 c #Conflicts: 738000 | #Constraints: 33875
663.27/665.25 c #Conflicts: 739000 | #Constraints: 34875
663.27/665.25 c INPROCESSING
663.27/665.25 c GARBAGE COLLECT
766.29/768.58 c #Conflicts: 740000 | #Constraints: 18872
766.29/768.58 c #Conflicts: 741000 | #Constraints: 19872
766.29/768.58 c #Conflicts: 742000 | #Constraints: 20872
766.29/768.58 c #Conflicts: 743000 | #Constraints: 21872
766.29/768.58 c #Conflicts: 744000 | #Constraints: 22872
766.29/768.58 c #Conflicts: 745000 | #Constraints: 23872
766.29/768.58 c #Conflicts: 746000 | #Constraints: 24872
766.29/768.58 c #Conflicts: 747000 | #Constraints: 25872
766.29/768.58 c #Conflicts: 748000 | #Constraints: 26872
766.29/768.58 c #Conflicts: 749000 | #Constraints: 27872
766.29/768.58 c #Conflicts: 750000 | #Constraints: 28872
766.29/768.58 c #Conflicts: 751000 | #Constraints: 29872
766.29/768.58 c #Conflicts: 752000 | #Constraints: 30872
766.29/768.58 c #Conflicts: 753000 | #Constraints: 31872
766.29/768.58 c #Conflicts: 754000 | #Constraints: 32872
766.29/768.58 c #Conflicts: 755000 | #Constraints: 33872
766.29/768.58 c #Conflicts: 756000 | #Constraints: 34872
766.29/768.58 c INPROCESSING
766.29/768.58 c GARBAGE COLLECT
766.29/768.58 c #Conflicts: 757000 | #Constraints: 18669
766.29/768.58 c #Conflicts: 758000 | #Constraints: 19669
766.29/768.58 c #Conflicts: 759000 | #Constraints: 20669
766.29/768.58 c #Conflicts: 760000 | #Constraints: 21669
766.29/768.58 c #Conflicts: 761000 | #Constraints: 22669
766.29/768.58 c #Conflicts: 762000 | #Constraints: 23669
766.29/768.58 c #Conflicts: 763000 | #Constraints: 24669
766.29/768.58 c #Conflicts: 764000 | #Constraints: 25669
766.29/768.58 c #Conflicts: 765000 | #Constraints: 26669
766.29/768.58 c #Conflicts: 766000 | #Constraints: 27669
766.29/768.58 c #Conflicts: 767000 | #Constraints: 28669
766.29/768.58 c #Conflicts: 768000 | #Constraints: 29669
766.29/768.58 c #Conflicts: 769000 | #Constraints: 30669
766.29/768.58 c #Conflicts: 770000 | #Constraints: 31669
766.29/768.58 c #Conflicts: 771000 | #Constraints: 32669
766.29/768.58 c #Conflicts: 772000 | #Constraints: 33669
766.29/768.58 c #Conflicts: 773000 | #Constraints: 34669
766.29/768.58 c #Conflicts: 774000 | #Constraints: 35669
766.29/768.58 c INPROCESSING
766.29/768.58 c GARBAGE COLLECT
766.29/768.58 c #Conflicts: 775000 | #Constraints: 19276
766.29/768.58 c #Conflicts: 776000 | #Constraints: 20276
766.29/768.58 c #Conflicts: 777000 | #Constraints: 21276
766.29/768.58 c #Conflicts: 778000 | #Constraints: 22276
766.29/768.58 c #Conflicts: 779000 | #Constraints: 23276
766.29/768.58 c #Conflicts: 780000 | #Constraints: 24276
766.29/768.58 c #Conflicts: 781000 | #Constraints: 25276
766.29/768.58 c #Conflicts: 782000 | #Constraints: 26276
766.29/768.58 c #Conflicts: 783000 | #Constraints: 27276
766.29/768.58 c #Conflicts: 784000 | #Constraints: 28276
766.29/768.58 c #Conflicts: 785000 | #Constraints: 29276
766.29/768.58 c #Conflicts: 786000 | #Constraints: 30276
766.29/768.58 c #Conflicts: 787000 | #Constraints: 31276
766.29/768.58 c #Conflicts: 788000 | #Constraints: 32276
766.29/768.58 c #Conflicts: 789000 | #Constraints: 33276
766.29/768.58 c #Conflicts: 790000 | #Constraints: 34276
766.29/768.58 c #Conflicts: 791000 | #Constraints: 35276
766.29/768.58 c #Conflicts: 792000 | #Constraints: 36276
766.29/768.58 c INPROCESSING
766.29/768.58 c GARBAGE COLLECT
766.29/768.58 c #Conflicts: 793000 | #Constraints: 19680
766.29/768.58 c #Conflicts: 794000 | #Constraints: 20680
766.29/768.58 c #Conflicts: 795000 | #Constraints: 21680
766.29/768.58 c #Conflicts: 796000 | #Constraints: 22680
766.29/768.58 c #Conflicts: 797000 | #Constraints: 23680
766.29/768.58 c #Conflicts: 798000 | #Constraints: 24680
766.29/768.58 c #Conflicts: 799000 | #Constraints: 25680
766.29/768.58 c #Conflicts: 800000 | #Constraints: 26680
766.29/768.58 c #Conflicts: 801000 | #Constraints: 27680
766.29/768.58 c #Conflicts: 802000 | #Constraints: 28680
766.29/768.58 c #Conflicts: 803000 | #Constraints: 29680
766.29/768.58 c #Conflicts: 804000 | #Constraints: 30680
766.29/768.58 c #Conflicts: 805000 | #Constraints: 31680
766.29/768.58 c #Conflicts: 806000 | #Constraints: 32680
766.29/768.58 c #Conflicts: 807000 | #Constraints: 33680
766.29/768.58 c #Conflicts: 808000 | #Constraints: 34680
766.29/768.58 c #Conflicts: 809000 | #Constraints: 35680
766.29/768.58 c #Conflicts: 810000 | #Constraints: 36680
766.29/768.58 c INPROCESSING
766.29/768.58 c GARBAGE COLLECT
766.29/768.58 c #Conflicts: 811000 | #Constraints: 19883
766.29/768.58 c #Conflicts: 812000 | #Constraints: 20883
766.29/768.58 c #Conflicts: 813000 | #Constraints: 21883
766.29/768.58 c #Conflicts: 814000 | #Constraints: 22883
766.29/768.58 c #Conflicts: 815000 | #Constraints: 23883
766.29/768.58 c #Conflicts: 816000 | #Constraints: 24883
883.59/886.18 c #Conflicts: 817000 | #Constraints: 25883
883.59/886.18 c #Conflicts: 818000 | #Constraints: 26883
883.59/886.18 c #Conflicts: 819000 | #Constraints: 27883
883.59/886.18 c #Conflicts: 820000 | #Constraints: 28883
883.59/886.18 c #Conflicts: 821000 | #Constraints: 29883
883.59/886.18 c #Conflicts: 822000 | #Constraints: 30883
883.59/886.18 c #Conflicts: 823000 | #Constraints: 31883
883.59/886.18 c #Conflicts: 824000 | #Constraints: 32883
883.59/886.18 c #Conflicts: 825000 | #Constraints: 33883
883.59/886.18 c #Conflicts: 826000 | #Constraints: 34883
883.59/886.18 c #Conflicts: 827000 | #Constraints: 35883
883.59/886.18 c #Conflicts: 828000 | #Constraints: 36883
883.59/886.18 c INPROCESSING
883.59/886.18 c GARBAGE COLLECT
883.59/886.18 c #Conflicts: 829000 | #Constraints: 19880
883.59/886.18 c #Conflicts: 830000 | #Constraints: 20880
883.59/886.18 c #Conflicts: 831000 | #Constraints: 21880
883.59/886.18 c #Conflicts: 832000 | #Constraints: 22880
883.59/886.18 c #Conflicts: 833000 | #Constraints: 23880
883.59/886.18 c #Conflicts: 834000 | #Constraints: 24880
883.59/886.18 c #Conflicts: 835000 | #Constraints: 25880
883.59/886.18 c #Conflicts: 836000 | #Constraints: 26880
883.59/886.18 c #Conflicts: 837000 | #Constraints: 27880
883.59/886.18 c #Conflicts: 838000 | #Constraints: 28880
883.59/886.18 c #Conflicts: 839000 | #Constraints: 29880
883.59/886.18 c #Conflicts: 840000 | #Constraints: 30880
883.59/886.18 c #Conflicts: 841000 | #Constraints: 31880
883.59/886.18 c #Conflicts: 842000 | #Constraints: 32880
883.59/886.18 c #Conflicts: 843000 | #Constraints: 33880
883.59/886.18 c #Conflicts: 844000 | #Constraints: 34880
883.59/886.18 c #Conflicts: 845000 | #Constraints: 35880
883.59/886.18 c #Conflicts: 846000 | #Constraints: 36880
883.59/886.18 c INPROCESSING
883.59/886.18 c GARBAGE COLLECT
883.59/886.18 c #Conflicts: 847000 | #Constraints: 19681
883.59/886.18 c #Conflicts: 848000 | #Constraints: 20681
883.59/886.18 c #Conflicts: 849000 | #Constraints: 21681
883.59/886.18 c #Conflicts: 850000 | #Constraints: 22681
883.59/886.18 c #Conflicts: 851000 | #Constraints: 23681
883.59/886.18 c #Conflicts: 852000 | #Constraints: 24681
883.59/886.18 c #Conflicts: 853000 | #Constraints: 25681
883.59/886.18 c #Conflicts: 854000 | #Constraints: 26681
883.59/886.18 c #Conflicts: 855000 | #Constraints: 27681
883.59/886.18 c #Conflicts: 856000 | #Constraints: 28681
883.59/886.18 c #Conflicts: 857000 | #Constraints: 29681
883.59/886.18 c #Conflicts: 858000 | #Constraints: 30681
883.59/886.18 c #Conflicts: 859000 | #Constraints: 31681
883.59/886.18 c #Conflicts: 860000 | #Constraints: 32681
883.59/886.18 c #Conflicts: 861000 | #Constraints: 33681
883.59/886.18 c #Conflicts: 862000 | #Constraints: 34681
883.59/886.18 c #Conflicts: 863000 | #Constraints: 35681
883.59/886.18 c #Conflicts: 864000 | #Constraints: 36681
883.59/886.18 c #Conflicts: 865000 | #Constraints: 37681
883.59/886.18 c INPROCESSING
883.59/886.18 c GARBAGE COLLECT
883.59/886.18 c #Conflicts: 866000 | #Constraints: 20285
883.59/886.18 c #Conflicts: 867000 | #Constraints: 21285
883.59/886.18 c #Conflicts: 868000 | #Constraints: 22285
883.59/886.18 c #Conflicts: 869000 | #Constraints: 23285
883.59/886.18 c #Conflicts: 870000 | #Constraints: 24285
883.59/886.18 c #Conflicts: 871000 | #Constraints: 25285
883.59/886.18 c #Conflicts: 872000 | #Constraints: 26285
883.59/886.18 c #Conflicts: 873000 | #Constraints: 27285
883.59/886.18 c #Conflicts: 874000 | #Constraints: 28285
883.59/886.18 c #Conflicts: 875000 | #Constraints: 29285
883.59/886.18 c #Conflicts: 876000 | #Constraints: 30285
883.59/886.18 c #Conflicts: 877000 | #Constraints: 31285
883.59/886.18 c #Conflicts: 878000 | #Constraints: 32285
883.59/886.18 c #Conflicts: 879000 | #Constraints: 33285
883.59/886.18 c #Conflicts: 880000 | #Constraints: 34285
883.59/886.18 c #Conflicts: 881000 | #Constraints: 35285
883.59/886.18 c #Conflicts: 882000 | #Constraints: 36285
883.59/886.18 c #Conflicts: 883000 | #Constraints: 37285
883.59/886.18 c #Conflicts: 884000 | #Constraints: 38285
883.59/886.18 c INPROCESSING
883.59/886.18 c GARBAGE COLLECT
883.59/886.18 c #Conflicts: 885000 | #Constraints: 20683
883.59/886.18 c #Conflicts: 886000 | #Constraints: 21683
883.59/886.18 c #Conflicts: 887000 | #Constraints: 22683
883.59/886.18 c #Conflicts: 888000 | #Constraints: 23683
883.59/886.18 c #Conflicts: 889000 | #Constraints: 24683
883.59/886.18 c #Conflicts: 890000 | #Constraints: 25683
883.59/886.18 c #Conflicts: 891000 | #Constraints: 26683
883.59/886.18 c #Conflicts: 892000 | #Constraints: 27683
1011.54/1014.48 c #Conflicts: 893000 | #Constraints: 28683
1011.54/1014.48 c #Conflicts: 894000 | #Constraints: 29683
1011.54/1014.48 c #Conflicts: 895000 | #Constraints: 30683
1011.54/1014.48 c #Conflicts: 896000 | #Constraints: 31683
1011.54/1014.48 c #Conflicts: 897000 | #Constraints: 32683
1011.54/1014.48 c #Conflicts: 898000 | #Constraints: 33683
1011.54/1014.48 c #Conflicts: 899000 | #Constraints: 34683
1011.54/1014.48 c #Conflicts: 900000 | #Constraints: 35683
1011.54/1014.48 c #Conflicts: 901000 | #Constraints: 36683
1011.54/1014.48 c #Conflicts: 902000 | #Constraints: 37683
1011.54/1014.48 c #Conflicts: 903000 | #Constraints: 38683
1011.54/1014.48 c INPROCESSING
1011.54/1014.48 c GARBAGE COLLECT
1011.54/1014.48 c #Conflicts: 904000 | #Constraints: 20874
1011.54/1014.48 c #Conflicts: 905000 | #Constraints: 21874
1011.54/1014.48 c #Conflicts: 906000 | #Constraints: 22874
1011.54/1014.48 c #Conflicts: 907000 | #Constraints: 23874
1011.54/1014.48 c #Conflicts: 908000 | #Constraints: 24874
1011.54/1014.48 c #Conflicts: 909000 | #Constraints: 25874
1011.54/1014.48 c #Conflicts: 910000 | #Constraints: 26874
1011.54/1014.48 c #Conflicts: 911000 | #Constraints: 27874
1011.54/1014.48 c #Conflicts: 912000 | #Constraints: 28874
1011.54/1014.48 c #Conflicts: 913000 | #Constraints: 29874
1011.54/1014.48 c #Conflicts: 914000 | #Constraints: 30874
1011.54/1014.48 c #Conflicts: 915000 | #Constraints: 31874
1011.54/1014.48 c #Conflicts: 916000 | #Constraints: 32874
1011.54/1014.48 c #Conflicts: 917000 | #Constraints: 33874
1011.54/1014.48 c #Conflicts: 918000 | #Constraints: 34874
1011.54/1014.48 c #Conflicts: 919000 | #Constraints: 35874
1011.54/1014.48 c #Conflicts: 920000 | #Constraints: 36874
1011.54/1014.48 c #Conflicts: 921000 | #Constraints: 37874
1011.54/1014.48 c #Conflicts: 922000 | #Constraints: 38874
1011.54/1014.48 c INPROCESSING
1011.54/1014.48 c GARBAGE COLLECT
1011.54/1014.48 c #Conflicts: 923000 | #Constraints: 20883
1011.54/1014.48 c #Conflicts: 924000 | #Constraints: 21883
1011.54/1014.48 c #Conflicts: 925000 | #Constraints: 22883
1011.54/1014.48 c #Conflicts: 926000 | #Constraints: 23883
1011.54/1014.48 c #Conflicts: 927000 | #Constraints: 24883
1011.54/1014.48 c #Conflicts: 928000 | #Constraints: 25883
1011.54/1014.48 c #Conflicts: 929000 | #Constraints: 26883
1011.54/1014.48 c #Conflicts: 930000 | #Constraints: 27883
1011.54/1014.48 c #Conflicts: 931000 | #Constraints: 28883
1011.54/1014.48 c #Conflicts: 932000 | #Constraints: 29883
1011.54/1014.48 c #Conflicts: 933000 | #Constraints: 30883
1011.54/1014.48 c #Conflicts: 934000 | #Constraints: 31883
1011.54/1014.48 c #Conflicts: 935000 | #Constraints: 32883
1011.54/1014.48 c #Conflicts: 936000 | #Constraints: 33883
1011.54/1014.48 c #Conflicts: 937000 | #Constraints: 34883
1011.54/1014.48 c #Conflicts: 938000 | #Constraints: 35883
1011.54/1014.48 c #Conflicts: 939000 | #Constraints: 36883
1011.54/1014.48 c #Conflicts: 940000 | #Constraints: 37883
1011.54/1014.48 c #Conflicts: 941000 | #Constraints: 38883
1011.54/1014.48 c INPROCESSING
1011.54/1014.48 c GARBAGE COLLECT
1011.54/1014.48 c #Conflicts: 942000 | #Constraints: 20680
1011.54/1014.48 c #Conflicts: 943000 | #Constraints: 21680
1011.54/1014.48 c #Conflicts: 944000 | #Constraints: 22680
1011.54/1014.48 c #Conflicts: 945000 | #Constraints: 23680
1011.54/1014.48 c #Conflicts: 946000 | #Constraints: 24680
1011.54/1014.48 c #Conflicts: 947000 | #Constraints: 25680
1011.54/1014.48 c #Conflicts: 948000 | #Constraints: 26680
1011.54/1014.48 c #Conflicts: 949000 | #Constraints: 27680
1011.54/1014.48 c #Conflicts: 950000 | #Constraints: 28680
1011.54/1014.48 c #Conflicts: 951000 | #Constraints: 29680
1011.54/1014.48 c #Conflicts: 952000 | #Constraints: 30680
1011.54/1014.48 c #Conflicts: 953000 | #Constraints: 31680
1011.54/1014.48 c #Conflicts: 954000 | #Constraints: 32680
1011.54/1014.48 c #Conflicts: 955000 | #Constraints: 33680
1011.54/1014.48 c #Conflicts: 956000 | #Constraints: 34680
1011.54/1014.48 c #Conflicts: 957000 | #Constraints: 35680
1011.54/1014.48 c #Conflicts: 958000 | #Constraints: 36680
1011.54/1014.48 c #Conflicts: 959000 | #Constraints: 37680
1011.54/1014.48 c #Conflicts: 960000 | #Constraints: 38680
1011.54/1014.48 c #Conflicts: 961000 | #Constraints: 39680
1011.54/1014.48 c INPROCESSING
1011.54/1014.48 c GARBAGE COLLECT
1011.54/1014.48 c #Conflicts: 962000 | #Constraints: 21279
1011.54/1014.48 c #Conflicts: 963000 | #Constraints: 22279
1011.54/1014.48 c #Conflicts: 964000 | #Constraints: 23279
1011.54/1014.48 c #Conflicts: 965000 | #Constraints: 24279
1011.54/1014.48 c #Conflicts: 966000 | #Constraints: 25279
1011.54/1014.48 c #Conflicts: 967000 | #Constraints: 26279
1011.54/1014.48 c #Conflicts: 968000 | #Constraints: 27279
1130.12/1133.39 c #Conflicts: 969000 | #Constraints: 28279
1130.12/1133.39 c #Conflicts: 970000 | #Constraints: 29279
1130.12/1133.39 c #Conflicts: 971000 | #Constraints: 30279
1130.12/1133.39 c #Conflicts: 972000 | #Constraints: 31279
1130.12/1133.39 c #Conflicts: 973000 | #Constraints: 32279
1130.12/1133.39 c #Conflicts: 974000 | #Constraints: 33279
1130.12/1133.39 c #Conflicts: 975000 | #Constraints: 34279
1130.12/1133.39 c #Conflicts: 976000 | #Constraints: 35279
1130.12/1133.39 c #Conflicts: 977000 | #Constraints: 36279
1130.12/1133.39 c #Conflicts: 978000 | #Constraints: 37279
1130.12/1133.39 c #Conflicts: 979000 | #Constraints: 38279
1130.12/1133.39 c #Conflicts: 980000 | #Constraints: 39279
1130.12/1133.39 c #Conflicts: 981000 | #Constraints: 40279
1130.12/1133.39 c INPROCESSING
1130.12/1133.39 c GARBAGE COLLECT
1130.12/1133.39 c #Conflicts: 982000 | #Constraints: 21684
1130.12/1133.39 c #Conflicts: 983000 | #Constraints: 22684
1130.12/1133.39 c #Conflicts: 984000 | #Constraints: 23684
1130.12/1133.39 c #Conflicts: 985000 | #Constraints: 24684
1130.12/1133.39 c #Conflicts: 986000 | #Constraints: 25684
1130.12/1133.39 c #Conflicts: 987000 | #Constraints: 26684
1130.12/1133.39 c #Conflicts: 988000 | #Constraints: 27684
1130.12/1133.39 c #Conflicts: 989000 | #Constraints: 28684
1130.12/1133.39 c #Conflicts: 990000 | #Constraints: 29684
1130.12/1133.39 c #Conflicts: 991000 | #Constraints: 30684
1130.12/1133.39 c #Conflicts: 992000 | #Constraints: 31684
1130.12/1133.39 c #Conflicts: 993000 | #Constraints: 32684
1130.12/1133.39 c #Conflicts: 994000 | #Constraints: 33684
1130.12/1133.39 c #Conflicts: 995000 | #Constraints: 34684
1130.12/1133.39 c #Conflicts: 996000 | #Constraints: 35684
1130.12/1133.39 c #Conflicts: 997000 | #Constraints: 36684
1130.12/1133.39 c #Conflicts: 998000 | #Constraints: 37684
1130.12/1133.39 c #Conflicts: 999000 | #Constraints: 38684
1130.12/1133.39 c #Conflicts: 1000000 | #Constraints: 39684
1130.12/1133.39 c #Conflicts: 1001000 | #Constraints: 40684
1130.12/1133.39 c INPROCESSING
1130.12/1133.39 c GARBAGE COLLECT
1130.12/1133.39 c #Conflicts: 1002000 | #Constraints: 21880
1130.12/1133.39 c #Conflicts: 1003000 | #Constraints: 22880
1130.12/1133.39 c #Conflicts: 1004000 | #Constraints: 23880
1130.12/1133.39 c #Conflicts: 1005000 | #Constraints: 24880
1130.12/1133.39 c #Conflicts: 1006000 | #Constraints: 25880
1130.12/1133.39 c #Conflicts: 1007000 | #Constraints: 26880
1130.12/1133.39 c #Conflicts: 1008000 | #Constraints: 27880
1130.12/1133.39 c #Conflicts: 1009000 | #Constraints: 28880
1130.12/1133.39 c #Conflicts: 1010000 | #Constraints: 29880
1130.12/1133.39 c #Conflicts: 1011000 | #Constraints: 30880
1130.12/1133.39 c #Conflicts: 1012000 | #Constraints: 31880
1130.12/1133.39 c #Conflicts: 1013000 | #Constraints: 32880
1130.12/1133.39 c #Conflicts: 1014000 | #Constraints: 33880
1130.12/1133.39 c #Conflicts: 1015000 | #Constraints: 34880
1130.12/1133.39 c #Conflicts: 1016000 | #Constraints: 35880
1130.12/1133.39 c #Conflicts: 1017000 | #Constraints: 36880
1130.12/1133.39 c #Conflicts: 1018000 | #Constraints: 37880
1130.12/1133.39 c #Conflicts: 1019000 | #Constraints: 38880
1130.12/1133.39 c #Conflicts: 1020000 | #Constraints: 39880
1130.12/1133.39 c #Conflicts: 1021000 | #Constraints: 40880
1130.12/1133.39 c INPROCESSING
1130.12/1133.39 c GARBAGE COLLECT
1130.12/1133.39 c #Conflicts: 1022000 | #Constraints: 21878
1130.12/1133.39 c #Conflicts: 1023000 | #Constraints: 22878
1130.12/1133.39 c #Conflicts: 1024000 | #Constraints: 23878
1130.12/1133.39 c #Conflicts: 1025000 | #Constraints: 24878
1130.12/1133.39 c #Conflicts: 1026000 | #Constraints: 25878
1130.12/1133.39 c #Conflicts: 1027000 | #Constraints: 26878
1130.12/1133.39 c #Conflicts: 1028000 | #Constraints: 27878
1130.12/1133.39 c #Conflicts: 1029000 | #Constraints: 28878
1130.12/1133.39 c #Conflicts: 1030000 | #Constraints: 29878
1130.12/1133.39 c #Conflicts: 1031000 | #Constraints: 30878
1130.12/1133.39 c #Conflicts: 1032000 | #Constraints: 31878
1130.12/1133.39 c #Conflicts: 1033000 | #Constraints: 32878
1130.12/1133.39 c #Conflicts: 1034000 | #Constraints: 33878
1130.12/1133.39 c #Conflicts: 1035000 | #Constraints: 34878
1130.12/1133.39 c #Conflicts: 1036000 | #Constraints: 35878
1130.12/1133.39 c #Conflicts: 1037000 | #Constraints: 36878
1130.12/1133.39 c #Conflicts: 1038000 | #Constraints: 37878
1130.12/1133.39 c #Conflicts: 1039000 | #Constraints: 38878
1130.12/1133.39 c #Conflicts: 1040000 | #Constraints: 39878
1130.12/1133.39 c #Conflicts: 1041000 | #Constraints: 40878
1130.12/1133.39 c INPROCESSING
1130.12/1133.39 c GARBAGE COLLECT
1130.12/1133.39 c #Conflicts: 1042000 | #Constraints: 21672
1130.12/1133.39 c #Conflicts: 1043000 | #Constraints: 22672
1130.12/1133.39 c #Conflicts: 1044000 | #Constraints: 23672
1271.95/1275.59 c #Conflicts: 1045000 | #Constraints: 24672
1271.95/1275.59 c #Conflicts: 1046000 | #Constraints: 25672
1271.95/1275.59 c #Conflicts: 1047000 | #Constraints: 26672
1271.95/1275.59 c #Conflicts: 1048000 | #Constraints: 27672
1271.95/1275.59 c #Conflicts: 1049000 | #Constraints: 28672
1271.95/1275.59 c #Conflicts: 1050000 | #Constraints: 29672
1271.95/1275.59 c #Conflicts: 1051000 | #Constraints: 30672
1271.95/1275.59 c #Conflicts: 1052000 | #Constraints: 31672
1271.95/1275.59 c #Conflicts: 1053000 | #Constraints: 32672
1271.95/1275.59 c #Conflicts: 1054000 | #Constraints: 33672
1271.95/1275.59 c #Conflicts: 1055000 | #Constraints: 34672
1271.95/1275.59 c #Conflicts: 1056000 | #Constraints: 35672
1271.95/1275.59 c #Conflicts: 1057000 | #Constraints: 36672
1271.95/1275.59 c #Conflicts: 1058000 | #Constraints: 37672
1271.95/1275.59 c #Conflicts: 1059000 | #Constraints: 38672
1271.95/1275.59 c #Conflicts: 1060000 | #Constraints: 39672
1271.95/1275.59 c #Conflicts: 1061000 | #Constraints: 40672
1271.95/1275.59 c #Conflicts: 1062000 | #Constraints: 41672
1271.95/1275.59 c INPROCESSING
1271.95/1275.59 c GARBAGE COLLECT
1271.95/1275.59 c #Conflicts: 1063000 | #Constraints: 22281
1271.95/1275.59 c #Conflicts: 1064000 | #Constraints: 23281
1271.95/1275.59 c #Conflicts: 1065000 | #Constraints: 24281
1271.95/1275.59 c #Conflicts: 1066000 | #Constraints: 25281
1271.95/1275.59 c #Conflicts: 1067000 | #Constraints: 26281
1271.95/1275.59 c #Conflicts: 1068000 | #Constraints: 27281
1271.95/1275.59 c #Conflicts: 1069000 | #Constraints: 28281
1271.95/1275.59 c #Conflicts: 1070000 | #Constraints: 29281
1271.95/1275.59 c #Conflicts: 1071000 | #Constraints: 30281
1271.95/1275.59 c #Conflicts: 1072000 | #Constraints: 31281
1271.95/1275.59 c #Conflicts: 1073000 | #Constraints: 32281
1271.95/1275.59 c #Conflicts: 1074000 | #Constraints: 33281
1271.95/1275.59 c #Conflicts: 1075000 | #Constraints: 34281
1271.95/1275.59 c #Conflicts: 1076000 | #Constraints: 35281
1271.95/1275.59 c #Conflicts: 1077000 | #Constraints: 36281
1271.95/1275.59 c #Conflicts: 1078000 | #Constraints: 37281
1271.95/1275.59 c #Conflicts: 1079000 | #Constraints: 38281
1271.95/1275.59 c #Conflicts: 1080000 | #Constraints: 39281
1271.95/1275.59 c #Conflicts: 1081000 | #Constraints: 40281
1271.95/1275.59 c #Conflicts: 1082000 | #Constraints: 41281
1271.95/1275.59 c #Conflicts: 1083000 | #Constraints: 42281
1271.95/1275.59 c INPROCESSING
1271.95/1275.59 c GARBAGE COLLECT
1271.95/1275.59 c #Conflicts: 1084000 | #Constraints: 22668
1271.95/1275.59 c #Conflicts: 1085000 | #Constraints: 23668
1271.95/1275.59 c #Conflicts: 1086000 | #Constraints: 24668
1271.95/1275.59 c #Conflicts: 1087000 | #Constraints: 25668
1271.95/1275.59 c #Conflicts: 1088000 | #Constraints: 26668
1271.95/1275.59 c #Conflicts: 1089000 | #Constraints: 27668
1271.95/1275.59 c #Conflicts: 1090000 | #Constraints: 28668
1271.95/1275.59 c #Conflicts: 1091000 | #Constraints: 29668
1271.95/1275.59 c #Conflicts: 1092000 | #Constraints: 30668
1271.95/1275.59 c #Conflicts: 1093000 | #Constraints: 31668
1271.95/1275.59 c #Conflicts: 1094000 | #Constraints: 32668
1271.95/1275.59 c #Conflicts: 1095000 | #Constraints: 33668
1271.95/1275.59 c #Conflicts: 1096000 | #Constraints: 34668
1271.95/1275.59 c #Conflicts: 1097000 | #Constraints: 35668
1271.95/1275.59 c #Conflicts: 1098000 | #Constraints: 36668
1271.95/1275.59 c #Conflicts: 1099000 | #Constraints: 37668
1271.95/1275.59 c #Conflicts: 1100000 | #Constraints: 38668
1271.95/1275.59 c #Conflicts: 1101000 | #Constraints: 39668
1271.95/1275.59 c #Conflicts: 1102000 | #Constraints: 40668
1271.95/1275.59 c #Conflicts: 1103000 | #Constraints: 41668
1271.95/1275.59 c #Conflicts: 1104000 | #Constraints: 42668
1271.95/1275.59 c INPROCESSING
1271.95/1275.59 c GARBAGE COLLECT
1271.95/1275.59 c #Conflicts: 1105000 | #Constraints: 22876
1271.95/1275.59 c #Conflicts: 1106000 | #Constraints: 23876
1271.95/1275.59 c #Conflicts: 1107000 | #Constraints: 24876
1271.95/1275.59 c #Conflicts: 1108000 | #Constraints: 25876
1271.95/1275.59 c #Conflicts: 1109000 | #Constraints: 26876
1271.95/1275.59 c #Conflicts: 1110000 | #Constraints: 27876
1271.95/1275.59 c #Conflicts: 1111000 | #Constraints: 28876
1271.95/1275.59 c #Conflicts: 1112000 | #Constraints: 29876
1271.95/1275.59 c #Conflicts: 1113000 | #Constraints: 30876
1271.95/1275.59 c #Conflicts: 1114000 | #Constraints: 31876
1271.95/1275.59 c #Conflicts: 1115000 | #Constraints: 32876
1271.95/1275.59 c #Conflicts: 1116000 | #Constraints: 33876
1271.95/1275.59 c #Conflicts: 1117000 | #Constraints: 34876
1271.95/1275.59 c #Conflicts: 1118000 | #Constraints: 35876
1271.95/1275.59 c #Conflicts: 1119000 | #Constraints: 36876
1271.95/1275.59 c #Conflicts: 1120000 | #Constraints: 37876
1271.95/1275.59 c #Conflicts: 1121000 | #Constraints: 38876
1427.75/1431.70 c #Conflicts: 1122000 | #Constraints: 39876
1427.75/1431.70 c #Conflicts: 1123000 | #Constraints: 40876
1427.75/1431.70 c #Conflicts: 1124000 | #Constraints: 41876
1427.75/1431.70 c #Conflicts: 1125000 | #Constraints: 42876
1427.75/1431.70 c INPROCESSING
1427.75/1431.70 c GARBAGE COLLECT
1427.75/1431.70 c #Conflicts: 1126000 | #Constraints: 22888
1427.75/1431.70 c #Conflicts: 1127000 | #Constraints: 23888
1427.75/1431.70 c #Conflicts: 1128000 | #Constraints: 24888
1427.75/1431.70 c #Conflicts: 1129000 | #Constraints: 25888
1427.75/1431.70 c #Conflicts: 1130000 | #Constraints: 26888
1427.75/1431.70 c #Conflicts: 1131000 | #Constraints: 27888
1427.75/1431.70 c #Conflicts: 1132000 | #Constraints: 28888
1427.75/1431.70 c #Conflicts: 1133000 | #Constraints: 29888
1427.75/1431.70 c #Conflicts: 1134000 | #Constraints: 30888
1427.75/1431.70 c #Conflicts: 1135000 | #Constraints: 31888
1427.75/1431.70 c #Conflicts: 1136000 | #Constraints: 32888
1427.75/1431.70 c #Conflicts: 1137000 | #Constraints: 33888
1427.75/1431.70 c #Conflicts: 1138000 | #Constraints: 34888
1427.75/1431.70 c #Conflicts: 1139000 | #Constraints: 35888
1427.75/1431.70 c #Conflicts: 1140000 | #Constraints: 36888
1427.75/1431.70 c #Conflicts: 1141000 | #Constraints: 37888
1427.75/1431.70 c #Conflicts: 1142000 | #Constraints: 38888
1427.75/1431.70 c #Conflicts: 1143000 | #Constraints: 39888
1427.75/1431.70 c #Conflicts: 1144000 | #Constraints: 40888
1427.75/1431.70 c #Conflicts: 1145000 | #Constraints: 41888
1427.75/1431.70 c #Conflicts: 1146000 | #Constraints: 42888
1427.75/1431.70 c INPROCESSING
1427.75/1431.70 c GARBAGE COLLECT
1427.75/1431.70 c #Conflicts: 1147000 | #Constraints: 22688
1427.75/1431.70 c #Conflicts: 1148000 | #Constraints: 23688
1427.75/1431.70 c #Conflicts: 1149000 | #Constraints: 24688
1427.75/1431.70 c #Conflicts: 1150000 | #Constraints: 25688
1427.75/1431.70 c #Conflicts: 1151000 | #Constraints: 26688
1427.75/1431.70 c #Conflicts: 1152000 | #Constraints: 27688
1427.75/1431.70 c #Conflicts: 1153000 | #Constraints: 28688
1427.75/1431.70 c #Conflicts: 1154000 | #Constraints: 29688
1427.75/1431.70 c #Conflicts: 1155000 | #Constraints: 30688
1427.75/1431.70 c #Conflicts: 1156000 | #Constraints: 31688
1427.75/1431.70 c #Conflicts: 1157000 | #Constraints: 32688
1427.75/1431.70 c #Conflicts: 1158000 | #Constraints: 33688
1427.75/1431.70 c #Conflicts: 1159000 | #Constraints: 34688
1427.75/1431.70 c #Conflicts: 1160000 | #Constraints: 35688
1427.75/1431.70 c #Conflicts: 1161000 | #Constraints: 36688
1427.75/1431.70 c #Conflicts: 1162000 | #Constraints: 37688
1427.75/1431.70 c #Conflicts: 1163000 | #Constraints: 38688
1427.75/1431.70 c #Conflicts: 1164000 | #Constraints: 39688
1427.75/1431.70 c #Conflicts: 1165000 | #Constraints: 40688
1427.75/1431.70 c #Conflicts: 1166000 | #Constraints: 41688
1427.75/1431.70 c #Conflicts: 1167000 | #Constraints: 42688
1427.75/1431.70 c #Conflicts: 1168000 | #Constraints: 43688
1427.75/1431.70 c INPROCESSING
1427.75/1431.70 c GARBAGE COLLECT
1427.75/1431.70 c #Conflicts: 1169000 | #Constraints: 23289
1427.75/1431.70 c #Conflicts: 1170000 | #Constraints: 24289
1427.75/1431.70 c #Conflicts: 1171000 | #Constraints: 25289
1427.75/1431.70 c #Conflicts: 1172000 | #Constraints: 26289
1427.75/1431.70 c #Conflicts: 1173000 | #Constraints: 27289
1427.75/1431.70 c #Conflicts: 1174000 | #Constraints: 28289
1427.75/1431.70 c #Conflicts: 1175000 | #Constraints: 29289
1427.75/1431.70 c #Conflicts: 1176000 | #Constraints: 30289
1427.75/1431.70 c #Conflicts: 1177000 | #Constraints: 31289
1427.75/1431.70 c #Conflicts: 1178000 | #Constraints: 32289
1427.75/1431.70 c #Conflicts: 1179000 | #Constraints: 33289
1427.75/1431.70 c #Conflicts: 1180000 | #Constraints: 34289
1427.75/1431.70 c #Conflicts: 1181000 | #Constraints: 35289
1427.75/1431.70 c #Conflicts: 1182000 | #Constraints: 36289
1427.75/1431.70 c #Conflicts: 1183000 | #Constraints: 37289
1427.75/1431.70 c #Conflicts: 1184000 | #Constraints: 38289
1427.75/1431.70 c #Conflicts: 1185000 | #Constraints: 39289
1427.75/1431.70 c #Conflicts: 1186000 | #Constraints: 40289
1427.75/1431.70 c #Conflicts: 1187000 | #Constraints: 41289
1427.75/1431.70 c #Conflicts: 1188000 | #Constraints: 42289
1427.75/1431.70 c #Conflicts: 1189000 | #Constraints: 43289
1427.75/1431.70 c #Conflicts: 1190000 | #Constraints: 44289
1427.75/1431.70 c INPROCESSING
1427.75/1431.70 c GARBAGE COLLECT
1427.75/1431.70 c #Conflicts: 1191000 | #Constraints: 23689
1427.75/1431.70 c #Conflicts: 1192000 | #Constraints: 24689
1427.75/1431.70 c #Conflicts: 1193000 | #Constraints: 25689
1427.75/1431.70 c #Conflicts: 1194000 | #Constraints: 26689
1427.75/1431.70 c #Conflicts: 1195000 | #Constraints: 27689
1427.75/1431.70 c #Conflicts: 1196000 | #Constraints: 28689
1427.75/1431.70 c #Conflicts: 1197000 | #Constraints: 29689
1575.46/1579.84 c #Conflicts: 1198000 | #Constraints: 30689
1575.46/1579.84 c #Conflicts: 1199000 | #Constraints: 31689
1575.46/1579.84 c #Conflicts: 1200000 | #Constraints: 32689
1575.46/1579.84 c #Conflicts: 1201000 | #Constraints: 33689
1575.46/1579.84 c #Conflicts: 1202000 | #Constraints: 34689
1575.46/1579.84 c #Conflicts: 1203000 | #Constraints: 35689
1575.46/1579.84 c #Conflicts: 1204000 | #Constraints: 36689
1575.46/1579.84 c #Conflicts: 1205000 | #Constraints: 37689
1575.46/1579.84 c #Conflicts: 1206000 | #Constraints: 38689
1575.46/1579.84 c #Conflicts: 1207000 | #Constraints: 39689
1575.46/1579.84 c #Conflicts: 1208000 | #Constraints: 40689
1575.46/1579.84 c #Conflicts: 1209000 | #Constraints: 41689
1575.46/1579.84 c #Conflicts: 1210000 | #Constraints: 42689
1575.46/1579.84 c #Conflicts: 1211000 | #Constraints: 43689
1575.46/1579.84 c #Conflicts: 1212000 | #Constraints: 44689
1575.46/1579.84 c INPROCESSING
1575.46/1579.84 c GARBAGE COLLECT
1575.46/1579.84 c #Conflicts: 1213000 | #Constraints: 23885
1575.46/1579.84 c #Conflicts: 1214000 | #Constraints: 24885
1575.46/1579.84 c #Conflicts: 1215000 | #Constraints: 25885
1575.46/1579.84 c #Conflicts: 1216000 | #Constraints: 26885
1575.46/1579.84 c #Conflicts: 1217000 | #Constraints: 27885
1575.46/1579.84 c #Conflicts: 1218000 | #Constraints: 28885
1575.46/1579.84 c #Conflicts: 1219000 | #Constraints: 29885
1575.46/1579.84 c #Conflicts: 1220000 | #Constraints: 30885
1575.46/1579.84 c #Conflicts: 1221000 | #Constraints: 31885
1575.46/1579.84 c #Conflicts: 1222000 | #Constraints: 32885
1575.46/1579.84 c #Conflicts: 1223000 | #Constraints: 33885
1575.46/1579.84 c #Conflicts: 1224000 | #Constraints: 34885
1575.46/1579.84 c #Conflicts: 1225000 | #Constraints: 35885
1575.46/1579.84 c #Conflicts: 1226000 | #Constraints: 36885
1575.46/1579.84 c #Conflicts: 1227000 | #Constraints: 37885
1575.46/1579.84 c #Conflicts: 1228000 | #Constraints: 38885
1575.46/1579.84 c #Conflicts: 1229000 | #Constraints: 39885
1575.46/1579.84 c #Conflicts: 1230000 | #Constraints: 40885
1575.46/1579.84 c #Conflicts: 1231000 | #Constraints: 41885
1575.46/1579.84 c #Conflicts: 1232000 | #Constraints: 42885
1575.46/1579.84 c #Conflicts: 1233000 | #Constraints: 43885
1575.46/1579.84 c #Conflicts: 1234000 | #Constraints: 44885
1575.46/1579.84 c INPROCESSING
1575.46/1579.84 c GARBAGE COLLECT
1575.46/1579.84 c #Conflicts: 1235000 | #Constraints: 23891
1575.46/1579.84 c #Conflicts: 1236000 | #Constraints: 24891
1575.46/1579.84 c #Conflicts: 1237000 | #Constraints: 25891
1575.46/1579.84 c #Conflicts: 1238000 | #Constraints: 26891
1575.46/1579.84 c #Conflicts: 1239000 | #Constraints: 27891
1575.46/1579.84 c #Conflicts: 1240000 | #Constraints: 28891
1575.46/1579.84 c #Conflicts: 1241000 | #Constraints: 29891
1575.46/1579.84 c #Conflicts: 1242000 | #Constraints: 30891
1575.46/1579.84 c #Conflicts: 1243000 | #Constraints: 31891
1575.46/1579.84 c #Conflicts: 1244000 | #Constraints: 32891
1575.46/1579.84 c #Conflicts: 1245000 | #Constraints: 33891
1575.46/1579.84 c #Conflicts: 1246000 | #Constraints: 34891
1575.46/1579.84 c #Conflicts: 1247000 | #Constraints: 35891
1575.46/1579.84 c #Conflicts: 1248000 | #Constraints: 36891
1575.46/1579.84 c #Conflicts: 1249000 | #Constraints: 37891
1575.46/1579.84 c #Conflicts: 1250000 | #Constraints: 38891
1575.46/1579.84 c #Conflicts: 1251000 | #Constraints: 39891
1575.46/1579.84 c #Conflicts: 1252000 | #Constraints: 40891
1575.46/1579.84 c #Conflicts: 1253000 | #Constraints: 41891
1575.46/1579.84 c #Conflicts: 1254000 | #Constraints: 42891
1575.46/1579.84 c #Conflicts: 1255000 | #Constraints: 43891
1575.46/1579.84 c #Conflicts: 1256000 | #Constraints: 44891
1575.46/1579.84 c INPROCESSING
1575.46/1579.84 c GARBAGE COLLECT
1575.46/1579.84 c #Conflicts: 1257000 | #Constraints: 23681
1575.46/1579.84 c #Conflicts: 1258000 | #Constraints: 24681
1575.46/1579.84 c #Conflicts: 1259000 | #Constraints: 25681
1575.46/1579.84 c #Conflicts: 1260000 | #Constraints: 26681
1575.46/1579.84 c #Conflicts: 1261000 | #Constraints: 27681
1575.46/1579.84 c #Conflicts: 1262000 | #Constraints: 28681
1575.46/1579.84 c #Conflicts: 1263000 | #Constraints: 29681
1575.46/1579.84 c #Conflicts: 1264000 | #Constraints: 30681
1575.46/1579.84 c #Conflicts: 1265000 | #Constraints: 31681
1575.46/1579.84 c #Conflicts: 1266000 | #Constraints: 32681
1575.46/1579.84 c #Conflicts: 1267000 | #Constraints: 33681
1575.46/1579.84 c #Conflicts: 1268000 | #Constraints: 34681
1575.46/1579.84 c #Conflicts: 1269000 | #Constraints: 35681
1575.46/1579.84 c #Conflicts: 1270000 | #Constraints: 36681
1575.46/1579.84 c #Conflicts: 1271000 | #Constraints: 37681
1575.46/1579.84 c #Conflicts: 1272000 | #Constraints: 38681
1575.46/1579.84 c #Conflicts: 1273000 | #Constraints: 39681
1575.46/1579.84 c #Conflicts: 1274000 | #Constraints: 40681
1719.48/1724.25 c #Conflicts: 1275000 | #Constraints: 41681
1719.48/1724.25 c #Conflicts: 1276000 | #Constraints: 42681
1719.48/1724.25 c #Conflicts: 1277000 | #Constraints: 43681
1719.48/1724.25 c #Conflicts: 1278000 | #Constraints: 44681
1719.48/1724.25 c #Conflicts: 1279000 | #Constraints: 45681
1719.48/1724.25 c INPROCESSING
1719.48/1724.25 c GARBAGE COLLECT
1719.48/1724.25 c #Conflicts: 1280000 | #Constraints: 24282
1719.48/1724.25 c #Conflicts: 1281000 | #Constraints: 25282
1719.48/1724.25 c #Conflicts: 1282000 | #Constraints: 26282
1719.48/1724.25 c #Conflicts: 1283000 | #Constraints: 27282
1719.48/1724.25 c #Conflicts: 1284000 | #Constraints: 28282
1719.48/1724.25 c #Conflicts: 1285000 | #Constraints: 29282
1719.48/1724.25 c #Conflicts: 1286000 | #Constraints: 30282
1719.48/1724.25 c #Conflicts: 1287000 | #Constraints: 31282
1719.48/1724.25 c #Conflicts: 1288000 | #Constraints: 32282
1719.48/1724.25 c #Conflicts: 1289000 | #Constraints: 33282
1719.48/1724.25 c #Conflicts: 1290000 | #Constraints: 34282
1719.48/1724.25 c #Conflicts: 1291000 | #Constraints: 35282
1719.48/1724.25 c #Conflicts: 1292000 | #Constraints: 36282
1719.48/1724.25 c #Conflicts: 1293000 | #Constraints: 37282
1719.48/1724.25 c #Conflicts: 1294000 | #Constraints: 38282
1719.48/1724.25 c #Conflicts: 1295000 | #Constraints: 39282
1719.48/1724.25 c #Conflicts: 1296000 | #Constraints: 40282
1719.48/1724.25 c #Conflicts: 1297000 | #Constraints: 41282
1719.48/1724.25 c #Conflicts: 1298000 | #Constraints: 42282
1719.48/1724.25 c #Conflicts: 1299000 | #Constraints: 43282
1719.48/1724.25 c #Conflicts: 1300000 | #Constraints: 44282
1719.48/1724.25 c #Conflicts: 1301000 | #Constraints: 45282
1719.48/1724.25 c #Conflicts: 1302000 | #Constraints: 46282
1719.48/1724.25 c INPROCESSING
1719.48/1724.25 c GARBAGE COLLECT
1719.48/1724.25 c #Conflicts: 1303000 | #Constraints: 24677
1719.48/1724.25 c #Conflicts: 1304000 | #Constraints: 25677
1719.48/1724.25 c #Conflicts: 1305000 | #Constraints: 26677
1719.48/1724.25 c #Conflicts: 1306000 | #Constraints: 27677
1719.48/1724.25 c #Conflicts: 1307000 | #Constraints: 28677
1719.48/1724.25 c #Conflicts: 1308000 | #Constraints: 29677
1719.48/1724.25 c #Conflicts: 1309000 | #Constraints: 30677
1719.48/1724.25 c #Conflicts: 1310000 | #Constraints: 31677
1719.48/1724.25 c #Conflicts: 1311000 | #Constraints: 32677
1719.48/1724.25 c #Conflicts: 1312000 | #Constraints: 33677
1719.48/1724.25 c #Conflicts: 1313000 | #Constraints: 34677
1719.48/1724.25 c #Conflicts: 1314000 | #Constraints: 35677
1719.48/1724.25 c #Conflicts: 1315000 | #Constraints: 36677
1719.48/1724.25 c #Conflicts: 1316000 | #Constraints: 37677
1719.48/1724.25 c #Conflicts: 1317000 | #Constraints: 38677
1719.48/1724.25 c #Conflicts: 1318000 | #Constraints: 39677
1719.48/1724.25 c #Conflicts: 1319000 | #Constraints: 40677
1719.48/1724.25 c #Conflicts: 1320000 | #Constraints: 41677
1719.48/1724.25 c #Conflicts: 1321000 | #Constraints: 42677
1719.48/1724.25 c #Conflicts: 1322000 | #Constraints: 43677
1719.48/1724.25 c #Conflicts: 1323000 | #Constraints: 44677
1719.48/1724.25 c #Conflicts: 1324000 | #Constraints: 45677
1719.48/1724.25 c #Conflicts: 1325000 | #Constraints: 46677
1719.48/1724.25 c INPROCESSING
1719.48/1724.25 c GARBAGE COLLECT
1719.48/1724.25 c #Conflicts: 1326000 | #Constraints: 24882
1719.48/1724.25 c #Conflicts: 1327000 | #Constraints: 25882
1719.48/1724.25 c #Conflicts: 1328000 | #Constraints: 26882
1719.48/1724.25 c #Conflicts: 1329000 | #Constraints: 27882
1719.48/1724.25 c #Conflicts: 1330000 | #Constraints: 28882
1719.48/1724.25 c #Conflicts: 1331000 | #Constraints: 29882
1719.48/1724.25 c #Conflicts: 1332000 | #Constraints: 30882
1719.48/1724.25 c #Conflicts: 1333000 | #Constraints: 31882
1719.48/1724.25 c #Conflicts: 1334000 | #Constraints: 32882
1719.48/1724.25 c #Conflicts: 1335000 | #Constraints: 33882
1719.48/1724.25 c #Conflicts: 1336000 | #Constraints: 34882
1719.48/1724.25 c #Conflicts: 1337000 | #Constraints: 35882
1719.48/1724.25 c #Conflicts: 1338000 | #Constraints: 36882
1719.48/1724.25 c #Conflicts: 1339000 | #Constraints: 37882
1719.48/1724.25 c #Conflicts: 1340000 | #Constraints: 38882
1719.48/1724.25 c #Conflicts: 1341000 | #Constraints: 39882
1719.48/1724.25 c #Conflicts: 1342000 | #Constraints: 40882
1719.48/1724.25 c #Conflicts: 1343000 | #Constraints: 41882
1719.48/1724.25 c #Conflicts: 1344000 | #Constraints: 42882
1719.48/1724.25 c #Conflicts: 1345000 | #Constraints: 43882
1719.48/1724.25 c #Conflicts: 1346000 | #Constraints: 44882
1719.48/1724.25 c #Conflicts: 1347000 | #Constraints: 45882
1719.48/1724.25 c #Conflicts: 1348000 | #Constraints: 46882
1719.48/1724.25 c INPROCESSING
1719.48/1724.25 c GARBAGE COLLECT
1719.48/1724.25 c #Conflicts: 1349000 | #Constraints: 24887
1719.48/1724.25 c #Conflicts: 1350000 | #Constraints: 25887
1888.96/1894.15 c #Conflicts: 1351000 | #Constraints: 26887
1888.96/1894.15 c #Conflicts: 1352000 | #Constraints: 27887
1888.96/1894.15 c #Conflicts: 1353000 | #Constraints: 28887
1888.96/1894.15 c #Conflicts: 1354000 | #Constraints: 29887
1888.96/1894.15 c #Conflicts: 1355000 | #Constraints: 30887
1888.96/1894.15 c #Conflicts: 1356000 | #Constraints: 31887
1888.96/1894.15 c #Conflicts: 1357000 | #Constraints: 32887
1888.96/1894.15 c #Conflicts: 1358000 | #Constraints: 33887
1888.96/1894.15 c #Conflicts: 1359000 | #Constraints: 34887
1888.96/1894.15 c #Conflicts: 1360000 | #Constraints: 35887
1888.96/1894.15 c #Conflicts: 1361000 | #Constraints: 36887
1888.96/1894.15 c #Conflicts: 1362000 | #Constraints: 37887
1888.96/1894.15 c #Conflicts: 1363000 | #Constraints: 38887
1888.96/1894.15 c #Conflicts: 1364000 | #Constraints: 39887
1888.96/1894.15 c #Conflicts: 1365000 | #Constraints: 40887
1888.96/1894.15 c #Conflicts: 1366000 | #Constraints: 41887
1888.96/1894.15 c #Conflicts: 1367000 | #Constraints: 42887
1888.96/1894.15 c #Conflicts: 1368000 | #Constraints: 43887
1888.96/1894.15 c #Conflicts: 1369000 | #Constraints: 44887
1888.96/1894.15 c #Conflicts: 1370000 | #Constraints: 45887
1888.96/1894.15 c #Conflicts: 1371000 | #Constraints: 46887
1888.96/1894.15 c INPROCESSING
1888.96/1894.15 c GARBAGE COLLECT
1888.96/1894.15 c #Conflicts: 1372000 | #Constraints: 24676
1888.96/1894.15 c #Conflicts: 1373000 | #Constraints: 25676
1888.96/1894.15 c #Conflicts: 1374000 | #Constraints: 26676
1888.96/1894.15 c #Conflicts: 1375000 | #Constraints: 27676
1888.96/1894.15 c #Conflicts: 1376000 | #Constraints: 28676
1888.96/1894.15 c #Conflicts: 1377000 | #Constraints: 29676
1888.96/1894.15 c #Conflicts: 1378000 | #Constraints: 30676
1888.96/1894.15 c #Conflicts: 1379000 | #Constraints: 31676
1888.96/1894.15 c #Conflicts: 1380000 | #Constraints: 32676
1888.96/1894.15 c #Conflicts: 1381000 | #Constraints: 33676
1888.96/1894.15 c #Conflicts: 1382000 | #Constraints: 34676
1888.96/1894.15 c #Conflicts: 1383000 | #Constraints: 35676
1888.96/1894.15 c #Conflicts: 1384000 | #Constraints: 36676
1888.96/1894.15 c #Conflicts: 1385000 | #Constraints: 37676
1888.96/1894.15 c #Conflicts: 1386000 | #Constraints: 38676
1888.96/1894.15 c #Conflicts: 1387000 | #Constraints: 39676
1888.96/1894.15 c #Conflicts: 1388000 | #Constraints: 40676
1888.96/1894.15 c #Conflicts: 1389000 | #Constraints: 41676
1888.96/1894.15 c #Conflicts: 1390000 | #Constraints: 42676
1888.96/1894.15 c #Conflicts: 1391000 | #Constraints: 43676
1888.96/1894.15 c #Conflicts: 1392000 | #Constraints: 44676
1888.96/1894.15 c #Conflicts: 1393000 | #Constraints: 45676
1888.96/1894.15 c #Conflicts: 1394000 | #Constraints: 46676
1888.96/1894.15 c #Conflicts: 1395000 | #Constraints: 47676
1888.96/1894.15 c INPROCESSING
1888.96/1894.15 c GARBAGE COLLECT
1888.96/1894.15 c #Conflicts: 1396000 | #Constraints: 25282
1888.96/1894.15 c #Conflicts: 1397000 | #Constraints: 26282
1888.96/1894.15 c #Conflicts: 1398000 | #Constraints: 27282
1888.96/1894.15 c #Conflicts: 1399000 | #Constraints: 28282
1888.96/1894.15 c #Conflicts: 1400000 | #Constraints: 29282
1888.96/1894.15 c #Conflicts: 1401000 | #Constraints: 30282
1888.96/1894.15 c #Conflicts: 1402000 | #Constraints: 31282
1888.96/1894.15 c #Conflicts: 1403000 | #Constraints: 32282
1888.96/1894.15 c #Conflicts: 1404000 | #Constraints: 33282
1888.96/1894.15 c #Conflicts: 1405000 | #Constraints: 34282
1888.96/1894.15 c #Conflicts: 1406000 | #Constraints: 35282
1888.96/1894.15 c #Conflicts: 1407000 | #Constraints: 36282
1888.96/1894.15 c #Conflicts: 1408000 | #Constraints: 37282
1888.96/1894.15 c #Conflicts: 1409000 | #Constraints: 38282
1888.96/1894.15 c #Conflicts: 1410000 | #Constraints: 39282
1888.96/1894.15 c #Conflicts: 1411000 | #Constraints: 40282
1888.96/1894.15 c #Conflicts: 1412000 | #Constraints: 41282
1888.96/1894.15 c #Conflicts: 1413000 | #Constraints: 42282
1888.96/1894.15 c #Conflicts: 1414000 | #Constraints: 43282
1888.96/1894.15 c #Conflicts: 1415000 | #Constraints: 44282
1888.96/1894.15 c #Conflicts: 1416000 | #Constraints: 45282
1888.96/1894.15 c #Conflicts: 1417000 | #Constraints: 46282
1888.96/1894.15 c #Conflicts: 1418000 | #Constraints: 47282
1888.96/1894.15 c #Conflicts: 1419000 | #Constraints: 48282
1888.96/1894.15 c INPROCESSING
1888.96/1894.15 c GARBAGE COLLECT
1888.96/1894.15 c #Conflicts: 1420000 | #Constraints: 25679
1888.96/1894.15 c #Conflicts: 1421000 | #Constraints: 26679
1888.96/1894.15 c #Conflicts: 1422000 | #Constraints: 27679
1888.96/1894.15 c #Conflicts: 1423000 | #Constraints: 28679
1888.96/1894.15 c #Conflicts: 1424000 | #Constraints: 29679
1888.96/1894.15 c #Conflicts: 1425000 | #Constraints: 30679
1888.96/1894.15 c #Conflicts: 1426000 | #Constraints: 31679
1888.96/1894.15 c #Conflicts: 1427000 | #Constraints: 32679
2054.66/2060.28 c #Conflicts: 1428000 | #Constraints: 33679
2054.66/2060.28 c #Conflicts: 1429000 | #Constraints: 34679
2054.66/2060.28 c #Conflicts: 1430000 | #Constraints: 35679
2054.66/2060.28 c #Conflicts: 1431000 | #Constraints: 36679
2054.66/2060.28 c #Conflicts: 1432000 | #Constraints: 37679
2054.66/2060.28 c #Conflicts: 1433000 | #Constraints: 38679
2054.66/2060.28 c #Conflicts: 1434000 | #Constraints: 39679
2054.66/2060.28 c #Conflicts: 1435000 | #Constraints: 40679
2054.66/2060.28 c #Conflicts: 1436000 | #Constraints: 41679
2054.66/2060.28 c #Conflicts: 1437000 | #Constraints: 42679
2054.66/2060.28 c #Conflicts: 1438000 | #Constraints: 43679
2054.66/2060.28 c #Conflicts: 1439000 | #Constraints: 44679
2054.66/2060.28 c #Conflicts: 1440000 | #Constraints: 45679
2054.66/2060.28 c #Conflicts: 1441000 | #Constraints: 46679
2054.66/2060.28 c #Conflicts: 1442000 | #Constraints: 47679
2054.66/2060.28 c #Conflicts: 1443000 | #Constraints: 48679
2054.66/2060.28 c INPROCESSING
2054.66/2060.28 c GARBAGE COLLECT
2054.66/2060.28 c #Conflicts: 1444000 | #Constraints: 25873
2054.66/2060.28 c #Conflicts: 1445000 | #Constraints: 26873
2054.66/2060.28 c #Conflicts: 1446000 | #Constraints: 27873
2054.66/2060.28 c #Conflicts: 1447000 | #Constraints: 28873
2054.66/2060.28 c #Conflicts: 1448000 | #Constraints: 29873
2054.66/2060.28 c #Conflicts: 1449000 | #Constraints: 30873
2054.66/2060.28 c #Conflicts: 1450000 | #Constraints: 31873
2054.66/2060.28 c #Conflicts: 1451000 | #Constraints: 32873
2054.66/2060.28 c #Conflicts: 1452000 | #Constraints: 33873
2054.66/2060.28 c #Conflicts: 1453000 | #Constraints: 34873
2054.66/2060.28 c #Conflicts: 1454000 | #Constraints: 35873
2054.66/2060.28 c #Conflicts: 1455000 | #Constraints: 36873
2054.66/2060.28 c #Conflicts: 1456000 | #Constraints: 37873
2054.66/2060.28 c #Conflicts: 1457000 | #Constraints: 38873
2054.66/2060.28 c #Conflicts: 1458000 | #Constraints: 39873
2054.66/2060.28 c #Conflicts: 1459000 | #Constraints: 40873
2054.66/2060.28 c #Conflicts: 1460000 | #Constraints: 41873
2054.66/2060.28 c #Conflicts: 1461000 | #Constraints: 42873
2054.66/2060.28 c #Conflicts: 1462000 | #Constraints: 43873
2054.66/2060.28 c #Conflicts: 1463000 | #Constraints: 44873
2054.66/2060.28 c #Conflicts: 1464000 | #Constraints: 45873
2054.66/2060.28 c #Conflicts: 1465000 | #Constraints: 46873
2054.66/2060.28 c #Conflicts: 1466000 | #Constraints: 47873
2054.66/2060.28 c #Conflicts: 1467000 | #Constraints: 48873
2054.66/2060.28 c INPROCESSING
2054.66/2060.28 c GARBAGE COLLECT
2054.66/2060.28 c #Conflicts: 1468000 | #Constraints: 25875
2054.66/2060.28 c #Conflicts: 1469000 | #Constraints: 26875
2054.66/2060.28 c #Conflicts: 1470000 | #Constraints: 27875
2054.66/2060.28 c #Conflicts: 1471000 | #Constraints: 28875
2054.66/2060.28 c #Conflicts: 1472000 | #Constraints: 29875
2054.66/2060.28 c #Conflicts: 1473000 | #Constraints: 30875
2054.66/2060.28 c #Conflicts: 1474000 | #Constraints: 31875
2054.66/2060.28 c #Conflicts: 1475000 | #Constraints: 32875
2054.66/2060.28 c #Conflicts: 1476000 | #Constraints: 33875
2054.66/2060.28 c #Conflicts: 1477000 | #Constraints: 34875
2054.66/2060.28 c #Conflicts: 1478000 | #Constraints: 35875
2054.66/2060.28 c #Conflicts: 1479000 | #Constraints: 36875
2054.66/2060.28 c #Conflicts: 1480000 | #Constraints: 37875
2054.66/2060.28 c #Conflicts: 1481000 | #Constraints: 38875
2054.66/2060.28 c #Conflicts: 1482000 | #Constraints: 39875
2054.66/2060.28 c #Conflicts: 1483000 | #Constraints: 40875
2054.66/2060.28 c #Conflicts: 1484000 | #Constraints: 41875
2054.66/2060.28 c #Conflicts: 1485000 | #Constraints: 42875
2054.66/2060.28 c #Conflicts: 1486000 | #Constraints: 43875
2054.66/2060.28 c #Conflicts: 1487000 | #Constraints: 44875
2054.66/2060.28 c #Conflicts: 1488000 | #Constraints: 45875
2054.66/2060.28 c #Conflicts: 1489000 | #Constraints: 46875
2054.66/2060.28 c #Conflicts: 1490000 | #Constraints: 47875
2054.66/2060.28 c #Conflicts: 1491000 | #Constraints: 48875
2054.66/2060.28 c INPROCESSING
2054.66/2060.28 c GARBAGE COLLECT
2054.66/2060.28 c #Conflicts: 1492000 | #Constraints: 25674
2054.66/2060.28 c #Conflicts: 1493000 | #Constraints: 26674
2054.66/2060.28 c #Conflicts: 1494000 | #Constraints: 27674
2054.66/2060.28 c #Conflicts: 1495000 | #Constraints: 28674
2054.66/2060.28 c #Conflicts: 1496000 | #Constraints: 29674
2054.66/2060.28 c #Conflicts: 1497000 | #Constraints: 30674
2054.66/2060.28 c #Conflicts: 1498000 | #Constraints: 31674
2054.66/2060.28 c #Conflicts: 1499000 | #Constraints: 32674
2054.66/2060.28 c #Conflicts: 1500000 | #Constraints: 33674
2054.66/2060.28 c #Conflicts: 1501000 | #Constraints: 34674
2054.66/2060.28 c #Conflicts: 1502000 | #Constraints: 35674
2054.66/2060.28 c #Conflicts: 1503000 | #Constraints: 36674
2054.66/2060.28 c #Conflicts: 1504000 | #Constraints: 37674
2210.89/2216.85 c #Conflicts: 1505000 | #Constraints: 38674
2210.89/2216.85 c #Conflicts: 1506000 | #Constraints: 39674
2210.89/2216.85 c #Conflicts: 1507000 | #Constraints: 40674
2210.89/2216.85 c #Conflicts: 1508000 | #Constraints: 41674
2210.89/2216.85 c #Conflicts: 1509000 | #Constraints: 42674
2210.89/2216.85 c #Conflicts: 1510000 | #Constraints: 43674
2210.89/2216.85 c #Conflicts: 1511000 | #Constraints: 44674
2210.89/2216.85 c #Conflicts: 1512000 | #Constraints: 45674
2210.89/2216.85 c #Conflicts: 1513000 | #Constraints: 46674
2210.89/2216.85 c #Conflicts: 1514000 | #Constraints: 47674
2210.89/2216.85 c #Conflicts: 1515000 | #Constraints: 48674
2210.89/2216.85 c #Conflicts: 1516000 | #Constraints: 49674
2210.89/2216.85 c INPROCESSING
2210.89/2216.85 c GARBAGE COLLECT
2210.89/2216.85 c #Conflicts: 1517000 | #Constraints: 26281
2210.89/2216.85 c #Conflicts: 1518000 | #Constraints: 27281
2210.89/2216.85 c #Conflicts: 1519000 | #Constraints: 28281
2210.89/2216.85 c #Conflicts: 1520000 | #Constraints: 29281
2210.89/2216.85 c #Conflicts: 1521000 | #Constraints: 30281
2210.89/2216.85 c #Conflicts: 1522000 | #Constraints: 31281
2210.89/2216.85 c #Conflicts: 1523000 | #Constraints: 32281
2210.89/2216.85 c #Conflicts: 1524000 | #Constraints: 33281
2210.89/2216.85 c #Conflicts: 1525000 | #Constraints: 34281
2210.89/2216.85 c #Conflicts: 1526000 | #Constraints: 35281
2210.89/2216.85 c #Conflicts: 1527000 | #Constraints: 36281
2210.89/2216.85 c #Conflicts: 1528000 | #Constraints: 37281
2210.89/2216.85 c #Conflicts: 1529000 | #Constraints: 38281
2210.89/2216.85 c #Conflicts: 1530000 | #Constraints: 39281
2210.89/2216.85 c #Conflicts: 1531000 | #Constraints: 40281
2210.89/2216.85 c #Conflicts: 1532000 | #Constraints: 41281
2210.89/2216.85 c #Conflicts: 1533000 | #Constraints: 42281
2210.89/2216.85 c #Conflicts: 1534000 | #Constraints: 43281
2210.89/2216.85 c #Conflicts: 1535000 | #Constraints: 44281
2210.89/2216.85 c #Conflicts: 1536000 | #Constraints: 45281
2210.89/2216.85 c #Conflicts: 1537000 | #Constraints: 46281
2210.89/2216.85 c #Conflicts: 1538000 | #Constraints: 47281
2210.89/2216.85 c #Conflicts: 1539000 | #Constraints: 48281
2210.89/2216.85 c #Conflicts: 1540000 | #Constraints: 49281
2210.89/2216.85 c #Conflicts: 1541000 | #Constraints: 50281
2210.89/2216.85 c INPROCESSING
2210.89/2216.85 c GARBAGE COLLECT
2210.89/2216.85 c #Conflicts: 1542000 | #Constraints: 26676
2210.89/2216.85 c #Conflicts: 1543000 | #Constraints: 27676
2210.89/2216.85 c #Conflicts: 1544000 | #Constraints: 28676
2210.89/2216.85 c #Conflicts: 1545000 | #Constraints: 29676
2210.89/2216.85 c #Conflicts: 1546000 | #Constraints: 30676
2210.89/2216.85 c #Conflicts: 1547000 | #Constraints: 31676
2210.89/2216.85 c #Conflicts: 1548000 | #Constraints: 32676
2210.89/2216.85 c #Conflicts: 1549000 | #Constraints: 33676
2210.89/2216.85 c #Conflicts: 1550000 | #Constraints: 34676
2210.89/2216.85 c #Conflicts: 1551000 | #Constraints: 35676
2210.89/2216.85 c #Conflicts: 1552000 | #Constraints: 36676
2210.89/2216.85 c #Conflicts: 1553000 | #Constraints: 37676
2210.89/2216.85 c #Conflicts: 1554000 | #Constraints: 38676
2210.89/2216.85 c #Conflicts: 1555000 | #Constraints: 39676
2210.89/2216.85 c #Conflicts: 1556000 | #Constraints: 40676
2210.89/2216.85 c #Conflicts: 1557000 | #Constraints: 41676
2210.89/2216.85 c #Conflicts: 1558000 | #Constraints: 42676
2210.89/2216.85 c #Conflicts: 1559000 | #Constraints: 43676
2210.89/2216.85 c #Conflicts: 1560000 | #Constraints: 44676
2210.89/2216.85 c #Conflicts: 1561000 | #Constraints: 45676
2210.89/2216.85 c #Conflicts: 1562000 | #Constraints: 46676
2210.89/2216.85 c #Conflicts: 1563000 | #Constraints: 47676
2210.89/2216.85 c #Conflicts: 1564000 | #Constraints: 48676
2210.89/2216.85 c #Conflicts: 1565000 | #Constraints: 49676
2210.89/2216.85 c #Conflicts: 1566000 | #Constraints: 50676
2210.89/2216.85 c INPROCESSING
2210.89/2216.85 c GARBAGE COLLECT
2210.89/2216.85 c #Conflicts: 1567000 | #Constraints: 26874
2210.89/2216.85 c #Conflicts: 1568000 | #Constraints: 27874
2210.89/2216.85 c #Conflicts: 1569000 | #Constraints: 28874
2210.89/2216.85 c #Conflicts: 1570000 | #Constraints: 29874
2210.89/2216.85 c #Conflicts: 1571000 | #Constraints: 30874
2210.89/2216.85 c #Conflicts: 1572000 | #Constraints: 31874
2210.89/2216.85 c #Conflicts: 1573000 | #Constraints: 32874
2210.89/2216.85 c #Conflicts: 1574000 | #Constraints: 33874
2210.89/2216.85 c #Conflicts: 1575000 | #Constraints: 34874
2210.89/2216.85 c #Conflicts: 1576000 | #Constraints: 35874
2210.89/2216.85 c #Conflicts: 1577000 | #Constraints: 36874
2210.89/2216.85 c #Conflicts: 1578000 | #Constraints: 37874
2210.89/2216.85 c #Conflicts: 1579000 | #Constraints: 38874
2210.89/2216.85 c #Conflicts: 1580000 | #Constraints: 39874
2210.89/2216.85 c #Conflicts: 1581000 | #Constraints: 40874
2352.73/2359.03 c #Conflicts: 1582000 | #Constraints: 41874
2352.73/2359.03 c #Conflicts: 1583000 | #Constraints: 42874
2352.73/2359.03 c #Conflicts: 1584000 | #Constraints: 43874
2352.73/2359.03 c #Conflicts: 1585000 | #Constraints: 44874
2352.73/2359.03 c #Conflicts: 1586000 | #Constraints: 45874
2352.73/2359.03 c #Conflicts: 1587000 | #Constraints: 46874
2352.73/2359.03 c #Conflicts: 1588000 | #Constraints: 47874
2352.73/2359.03 c #Conflicts: 1589000 | #Constraints: 48874
2352.73/2359.03 c #Conflicts: 1590000 | #Constraints: 49874
2352.73/2359.03 c #Conflicts: 1591000 | #Constraints: 50874
2352.73/2359.03 c INPROCESSING
2352.73/2359.03 c GARBAGE COLLECT
2352.73/2359.03 c #Conflicts: 1592000 | #Constraints: 26878
2352.73/2359.03 c #Conflicts: 1593000 | #Constraints: 27878
2352.73/2359.03 c #Conflicts: 1594000 | #Constraints: 28878
2352.73/2359.03 c #Conflicts: 1595000 | #Constraints: 29878
2352.73/2359.03 c #Conflicts: 1596000 | #Constraints: 30878
2352.73/2359.03 c #Conflicts: 1597000 | #Constraints: 31878
2352.73/2359.03 c #Conflicts: 1598000 | #Constraints: 32878
2352.73/2359.03 c #Conflicts: 1599000 | #Constraints: 33878
2352.73/2359.03 c #Conflicts: 1600000 | #Constraints: 34878
2352.73/2359.03 c #Conflicts: 1601000 | #Constraints: 35878
2352.73/2359.03 c #Conflicts: 1602000 | #Constraints: 36878
2352.73/2359.03 c #Conflicts: 1603000 | #Constraints: 37878
2352.73/2359.03 c #Conflicts: 1604000 | #Constraints: 38878
2352.73/2359.03 c #Conflicts: 1605000 | #Constraints: 39878
2352.73/2359.03 c #Conflicts: 1606000 | #Constraints: 40878
2352.73/2359.03 c #Conflicts: 1607000 | #Constraints: 41878
2352.73/2359.03 c #Conflicts: 1608000 | #Constraints: 42878
2352.73/2359.03 c #Conflicts: 1609000 | #Constraints: 43878
2352.73/2359.03 c #Conflicts: 1610000 | #Constraints: 44878
2352.73/2359.03 c #Conflicts: 1611000 | #Constraints: 45878
2352.73/2359.03 c #Conflicts: 1612000 | #Constraints: 46878
2352.73/2359.03 c #Conflicts: 1613000 | #Constraints: 47878
2352.73/2359.03 c #Conflicts: 1614000 | #Constraints: 48878
2352.73/2359.03 c #Conflicts: 1615000 | #Constraints: 49878
2352.73/2359.03 c #Conflicts: 1616000 | #Constraints: 50878
2352.73/2359.03 c INPROCESSING
2352.73/2359.03 c GARBAGE COLLECT
2352.73/2359.03 c #Conflicts: 1617000 | #Constraints: 26676
2352.73/2359.03 c #Conflicts: 1618000 | #Constraints: 27676
2352.73/2359.03 c #Conflicts: 1619000 | #Constraints: 28676
2352.73/2359.03 c #Conflicts: 1620000 | #Constraints: 29676
2352.73/2359.03 c #Conflicts: 1621000 | #Constraints: 30676
2352.73/2359.03 c #Conflicts: 1622000 | #Constraints: 31676
2352.73/2359.03 c #Conflicts: 1623000 | #Constraints: 32676
2352.73/2359.03 c #Conflicts: 1624000 | #Constraints: 33676
2352.73/2359.03 c #Conflicts: 1625000 | #Constraints: 34676
2352.73/2359.03 c #Conflicts: 1626000 | #Constraints: 35676
2352.73/2359.03 c #Conflicts: 1627000 | #Constraints: 36676
2352.73/2359.03 c #Conflicts: 1628000 | #Constraints: 37676
2352.73/2359.03 c #Conflicts: 1629000 | #Constraints: 38676
2352.73/2359.03 c #Conflicts: 1630000 | #Constraints: 39676
2352.73/2359.03 c #Conflicts: 1631000 | #Constraints: 40676
2352.73/2359.03 c #Conflicts: 1632000 | #Constraints: 41676
2352.73/2359.03 c #Conflicts: 1633000 | #Constraints: 42676
2352.73/2359.03 c #Conflicts: 1634000 | #Constraints: 43676
2352.73/2359.03 c #Conflicts: 1635000 | #Constraints: 44676
2352.73/2359.03 c #Conflicts: 1636000 | #Constraints: 45676
2352.73/2359.03 c #Conflicts: 1637000 | #Constraints: 46676
2352.73/2359.03 c #Conflicts: 1638000 | #Constraints: 47676
2352.73/2359.03 c #Conflicts: 1639000 | #Constraints: 48676
2352.73/2359.03 c #Conflicts: 1640000 | #Constraints: 49676
2352.73/2359.03 c #Conflicts: 1641000 | #Constraints: 50676
2352.73/2359.03 c #Conflicts: 1642000 | #Constraints: 51676
2352.73/2359.03 c INPROCESSING
2352.73/2359.03 c GARBAGE COLLECT
2352.73/2359.03 c #Conflicts: 1643000 | #Constraints: 27278
2352.73/2359.03 c #Conflicts: 1644000 | #Constraints: 28278
2352.73/2359.03 c #Conflicts: 1645000 | #Constraints: 29278
2352.73/2359.03 c #Conflicts: 1646000 | #Constraints: 30278
2352.73/2359.03 c #Conflicts: 1647000 | #Constraints: 31278
2352.73/2359.03 c #Conflicts: 1648000 | #Constraints: 32278
2352.73/2359.03 c #Conflicts: 1649000 | #Constraints: 33278
2352.73/2359.03 c #Conflicts: 1650000 | #Constraints: 34278
2352.73/2359.03 c #Conflicts: 1651000 | #Constraints: 35278
2352.73/2359.03 c #Conflicts: 1652000 | #Constraints: 36278
2352.73/2359.03 c #Conflicts: 1653000 | #Constraints: 37278
2352.73/2359.03 c #Conflicts: 1654000 | #Constraints: 38278
2352.73/2359.03 c #Conflicts: 1655000 | #Constraints: 39278
2352.73/2359.03 c #Conflicts: 1656000 | #Constraints: 40278
2352.73/2359.03 c #Conflicts: 1657000 | #Constraints: 41278
2352.73/2359.03 c #Conflicts: 1658000 | #Constraints: 42278
2531.60/2538.42 c #Conflicts: 1659000 | #Constraints: 43278
2531.60/2538.42 c #Conflicts: 1660000 | #Constraints: 44278
2531.60/2538.42 c #Conflicts: 1661000 | #Constraints: 45278
2531.60/2538.42 c #Conflicts: 1662000 | #Constraints: 46278
2531.60/2538.42 c #Conflicts: 1663000 | #Constraints: 47278
2531.60/2538.42 c #Conflicts: 1664000 | #Constraints: 48278
2531.60/2538.42 c #Conflicts: 1665000 | #Constraints: 49278
2531.60/2538.42 c #Conflicts: 1666000 | #Constraints: 50278
2531.60/2538.42 c #Conflicts: 1667000 | #Constraints: 51278
2531.60/2538.42 c #Conflicts: 1668000 | #Constraints: 52278
2531.60/2538.42 c INPROCESSING
2531.60/2538.42 c GARBAGE COLLECT
2531.60/2538.42 c #Conflicts: 1669000 | #Constraints: 27671
2531.60/2538.42 c #Conflicts: 1670000 | #Constraints: 28671
2531.60/2538.42 c #Conflicts: 1671000 | #Constraints: 29671
2531.60/2538.42 c #Conflicts: 1672000 | #Constraints: 30671
2531.60/2538.42 c #Conflicts: 1673000 | #Constraints: 31671
2531.60/2538.42 c #Conflicts: 1674000 | #Constraints: 32671
2531.60/2538.42 c #Conflicts: 1675000 | #Constraints: 33671
2531.60/2538.42 c #Conflicts: 1676000 | #Constraints: 34671
2531.60/2538.42 c #Conflicts: 1677000 | #Constraints: 35671
2531.60/2538.42 c #Conflicts: 1678000 | #Constraints: 36671
2531.60/2538.42 c #Conflicts: 1679000 | #Constraints: 37671
2531.60/2538.42 c #Conflicts: 1680000 | #Constraints: 38671
2531.60/2538.42 c #Conflicts: 1681000 | #Constraints: 39671
2531.60/2538.42 c #Conflicts: 1682000 | #Constraints: 40671
2531.60/2538.42 c #Conflicts: 1683000 | #Constraints: 41671
2531.60/2538.42 c #Conflicts: 1684000 | #Constraints: 42671
2531.60/2538.42 c #Conflicts: 1685000 | #Constraints: 43671
2531.60/2538.42 c #Conflicts: 1686000 | #Constraints: 44671
2531.60/2538.42 c #Conflicts: 1687000 | #Constraints: 45671
2531.60/2538.42 c #Conflicts: 1688000 | #Constraints: 46671
2531.60/2538.42 c #Conflicts: 1689000 | #Constraints: 47671
2531.60/2538.42 c #Conflicts: 1690000 | #Constraints: 48671
2531.60/2538.42 c #Conflicts: 1691000 | #Constraints: 49671
2531.60/2538.42 c #Conflicts: 1692000 | #Constraints: 50671
2531.60/2538.42 c #Conflicts: 1693000 | #Constraints: 51671
2531.60/2538.42 c #Conflicts: 1694000 | #Constraints: 52671
2531.60/2538.42 c INPROCESSING
2531.60/2538.42 c GARBAGE COLLECT
2531.60/2538.42 c #Conflicts: 1695000 | #Constraints: 27872
2531.60/2538.42 c #Conflicts: 1696000 | #Constraints: 28872
2531.60/2538.42 c #Conflicts: 1697000 | #Constraints: 29872
2531.60/2538.42 c #Conflicts: 1698000 | #Constraints: 30872
2531.60/2538.42 c #Conflicts: 1699000 | #Constraints: 31872
2531.60/2538.42 c #Conflicts: 1700000 | #Constraints: 32872
2531.60/2538.42 c #Conflicts: 1701000 | #Constraints: 33872
2531.60/2538.42 c #Conflicts: 1702000 | #Constraints: 34872
2531.60/2538.42 c #Conflicts: 1703000 | #Constraints: 35872
2531.60/2538.42 c #Conflicts: 1704000 | #Constraints: 36872
2531.60/2538.42 c #Conflicts: 1705000 | #Constraints: 37872
2531.60/2538.42 c #Conflicts: 1706000 | #Constraints: 38872
2531.60/2538.42 c #Conflicts: 1707000 | #Constraints: 39872
2531.60/2538.42 c #Conflicts: 1708000 | #Constraints: 40872
2531.60/2538.42 c #Conflicts: 1709000 | #Constraints: 41872
2531.60/2538.42 c #Conflicts: 1710000 | #Constraints: 42872
2531.60/2538.42 c #Conflicts: 1711000 | #Constraints: 43872
2531.60/2538.42 c #Conflicts: 1712000 | #Constraints: 44872
2531.60/2538.42 c #Conflicts: 1713000 | #Constraints: 45872
2531.60/2538.42 c #Conflicts: 1714000 | #Constraints: 46872
2531.60/2538.42 c #Conflicts: 1715000 | #Constraints: 47872
2531.60/2538.42 c #Conflicts: 1716000 | #Constraints: 48872
2531.60/2538.42 c #Conflicts: 1717000 | #Constraints: 49872
2531.60/2538.42 c #Conflicts: 1718000 | #Constraints: 50872
2531.60/2538.42 c #Conflicts: 1719000 | #Constraints: 51872
2531.60/2538.42 c #Conflicts: 1720000 | #Constraints: 52872
2531.60/2538.42 c INPROCESSING
2531.60/2538.42 c GARBAGE COLLECT
2531.60/2538.42 c #Conflicts: 1721000 | #Constraints: 27875
2531.60/2538.42 c #Conflicts: 1722000 | #Constraints: 28875
2531.60/2538.42 c #Conflicts: 1723000 | #Constraints: 29875
2531.60/2538.42 c #Conflicts: 1724000 | #Constraints: 30875
2531.60/2538.42 c #Conflicts: 1725000 | #Constraints: 31875
2531.60/2538.42 c #Conflicts: 1726000 | #Constraints: 32875
2531.60/2538.42 c #Conflicts: 1727000 | #Constraints: 33875
2531.60/2538.42 c #Conflicts: 1728000 | #Constraints: 34875
2531.60/2538.42 c #Conflicts: 1729000 | #Constraints: 35875
2531.60/2538.42 c #Conflicts: 1730000 | #Constraints: 36875
2531.60/2538.42 c #Conflicts: 1731000 | #Constraints: 37875
2531.60/2538.42 c #Conflicts: 1732000 | #Constraints: 38875
2531.60/2538.42 c #Conflicts: 1733000 | #Constraints: 39875
2531.60/2538.42 c #Conflicts: 1734000 | #Constraints: 40875
2531.60/2538.42 c #Conflicts: 1735000 | #Constraints: 41875
2703.80/2711.16 c #Conflicts: 1736000 | #Constraints: 42875
2703.80/2711.16 c #Conflicts: 1737000 | #Constraints: 43875
2703.80/2711.16 c #Conflicts: 1738000 | #Constraints: 44875
2703.80/2711.16 c #Conflicts: 1739000 | #Constraints: 45875
2703.80/2711.16 c #Conflicts: 1740000 | #Constraints: 46875
2703.80/2711.16 c #Conflicts: 1741000 | #Constraints: 47875
2703.80/2711.16 c #Conflicts: 1742000 | #Constraints: 48875
2703.80/2711.16 c #Conflicts: 1743000 | #Constraints: 49875
2703.80/2711.16 c #Conflicts: 1744000 | #Constraints: 50875
2703.80/2711.16 c #Conflicts: 1745000 | #Constraints: 51875
2703.80/2711.16 c #Conflicts: 1746000 | #Constraints: 52875
2703.80/2711.16 c INPROCESSING
2703.80/2711.16 c GARBAGE COLLECT
2703.80/2711.16 c #Conflicts: 1747000 | #Constraints: 27680
2703.80/2711.16 c #Conflicts: 1748000 | #Constraints: 28680
2703.80/2711.16 c #Conflicts: 1749000 | #Constraints: 29680
2703.80/2711.16 c #Conflicts: 1750000 | #Constraints: 30680
2703.80/2711.16 c #Conflicts: 1751000 | #Constraints: 31680
2703.80/2711.16 c #Conflicts: 1752000 | #Constraints: 32680
2703.80/2711.16 c #Conflicts: 1753000 | #Constraints: 33680
2703.80/2711.16 c #Conflicts: 1754000 | #Constraints: 34680
2703.80/2711.16 c #Conflicts: 1755000 | #Constraints: 35680
2703.80/2711.16 c #Conflicts: 1756000 | #Constraints: 36680
2703.80/2711.16 c #Conflicts: 1757000 | #Constraints: 37680
2703.80/2711.16 c #Conflicts: 1758000 | #Constraints: 38680
2703.80/2711.16 c #Conflicts: 1759000 | #Constraints: 39680
2703.80/2711.16 c #Conflicts: 1760000 | #Constraints: 40680
2703.80/2711.16 c #Conflicts: 1761000 | #Constraints: 41680
2703.80/2711.16 c #Conflicts: 1762000 | #Constraints: 42680
2703.80/2711.16 c #Conflicts: 1763000 | #Constraints: 43680
2703.80/2711.16 c #Conflicts: 1764000 | #Constraints: 44680
2703.80/2711.16 c #Conflicts: 1765000 | #Constraints: 45680
2703.80/2711.16 c #Conflicts: 1766000 | #Constraints: 46680
2703.80/2711.16 c #Conflicts: 1767000 | #Constraints: 47680
2703.80/2711.16 c #Conflicts: 1768000 | #Constraints: 48680
2703.80/2711.16 c #Conflicts: 1769000 | #Constraints: 49680
2703.80/2711.16 c #Conflicts: 1770000 | #Constraints: 50680
2703.80/2711.16 c #Conflicts: 1771000 | #Constraints: 51680
2703.80/2711.16 c #Conflicts: 1772000 | #Constraints: 52680
2703.80/2711.16 c #Conflicts: 1773000 | #Constraints: 53680
2703.80/2711.16 c INPROCESSING
2703.80/2711.16 c GARBAGE COLLECT
2703.80/2711.16 c #Conflicts: 1774000 | #Constraints: 28270
2703.80/2711.16 c #Conflicts: 1775000 | #Constraints: 29270
2703.80/2711.16 c #Conflicts: 1776000 | #Constraints: 30270
2703.80/2711.16 c #Conflicts: 1777000 | #Constraints: 31270
2703.80/2711.16 c #Conflicts: 1778000 | #Constraints: 32270
2703.80/2711.16 c #Conflicts: 1779000 | #Constraints: 33270
2703.80/2711.16 c #Conflicts: 1780000 | #Constraints: 34270
2703.80/2711.16 c #Conflicts: 1781000 | #Constraints: 35270
2703.80/2711.16 c #Conflicts: 1782000 | #Constraints: 36270
2703.80/2711.16 c #Conflicts: 1783000 | #Constraints: 37270
2703.80/2711.16 c #Conflicts: 1784000 | #Constraints: 38270
2703.80/2711.16 c #Conflicts: 1785000 | #Constraints: 39270
2703.80/2711.16 c #Conflicts: 1786000 | #Constraints: 40270
2703.80/2711.16 c #Conflicts: 1787000 | #Constraints: 41270
2703.80/2711.16 c #Conflicts: 1788000 | #Constraints: 42270
2703.80/2711.16 c #Conflicts: 1789000 | #Constraints: 43270
2703.80/2711.16 c #Conflicts: 1790000 | #Constraints: 44270
2703.80/2711.16 c #Conflicts: 1791000 | #Constraints: 45270
2703.80/2711.16 c #Conflicts: 1792000 | #Constraints: 46270
2703.80/2711.16 c #Conflicts: 1793000 | #Constraints: 47270
2703.80/2711.16 c #Conflicts: 1794000 | #Constraints: 48270
2703.80/2711.16 c #Conflicts: 1795000 | #Constraints: 49270
2703.80/2711.16 c #Conflicts: 1796000 | #Constraints: 50270
2703.80/2711.16 c #Conflicts: 1797000 | #Constraints: 51270
2703.80/2711.16 c #Conflicts: 1798000 | #Constraints: 52270
2703.80/2711.16 c #Conflicts: 1799000 | #Constraints: 53270
2703.80/2711.16 c #Conflicts: 1800000 | #Constraints: 54270
2703.80/2711.16 c INPROCESSING
2703.80/2711.16 c GARBAGE COLLECT
2703.80/2711.16 c #Conflicts: 1801000 | #Constraints: 28677
2703.80/2711.16 c #Conflicts: 1802000 | #Constraints: 29677
2703.80/2711.16 c #Conflicts: 1803000 | #Constraints: 30677
2703.80/2711.16 c #Conflicts: 1804000 | #Constraints: 31677
2703.80/2711.16 c #Conflicts: 1805000 | #Constraints: 32677
2703.80/2711.16 c #Conflicts: 1806000 | #Constraints: 33677
2703.80/2711.16 c #Conflicts: 1807000 | #Constraints: 34677
2703.80/2711.16 c #Conflicts: 1808000 | #Constraints: 35677
2703.80/2711.16 c #Conflicts: 1809000 | #Constraints: 36677
2703.80/2711.16 c #Conflicts: 1810000 | #Constraints: 37677
2703.80/2711.16 c #Conflicts: 1811000 | #Constraints: 38677
2703.80/2711.16 c #Conflicts: 1812000 | #Constraints: 39677
2876.30/2884.14 c #Conflicts: 1813000 | #Constraints: 40677
2876.30/2884.14 c #Conflicts: 1814000 | #Constraints: 41677
2876.30/2884.14 c #Conflicts: 1815000 | #Constraints: 42677
2876.30/2884.14 c #Conflicts: 1816000 | #Constraints: 43677
2876.30/2884.14 c #Conflicts: 1817000 | #Constraints: 44677
2876.30/2884.14 c #Conflicts: 1818000 | #Constraints: 45677
2876.30/2884.14 c #Conflicts: 1819000 | #Constraints: 46677
2876.30/2884.14 c #Conflicts: 1820000 | #Constraints: 47677
2876.30/2884.14 c #Conflicts: 1821000 | #Constraints: 48677
2876.30/2884.14 c #Conflicts: 1822000 | #Constraints: 49677
2876.30/2884.14 c #Conflicts: 1823000 | #Constraints: 50677
2876.30/2884.14 c #Conflicts: 1824000 | #Constraints: 51677
2876.30/2884.14 c #Conflicts: 1825000 | #Constraints: 52677
2876.30/2884.14 c #Conflicts: 1826000 | #Constraints: 53677
2876.30/2884.14 c #Conflicts: 1827000 | #Constraints: 54677
2876.30/2884.14 c INPROCESSING
2876.30/2884.14 c GARBAGE COLLECT
2876.30/2884.14 c #Conflicts: 1828000 | #Constraints: 28884
2876.30/2884.14 c #Conflicts: 1829000 | #Constraints: 29884
2876.30/2884.14 c #Conflicts: 1830000 | #Constraints: 30884
2876.30/2884.14 c #Conflicts: 1831000 | #Constraints: 31884
2876.30/2884.14 c #Conflicts: 1832000 | #Constraints: 32884
2876.30/2884.14 c #Conflicts: 1833000 | #Constraints: 33884
2876.30/2884.14 c #Conflicts: 1834000 | #Constraints: 34884
2876.30/2884.14 c #Conflicts: 1835000 | #Constraints: 35884
2876.30/2884.14 c #Conflicts: 1836000 | #Constraints: 36884
2876.30/2884.14 c #Conflicts: 1837000 | #Constraints: 37884
2876.30/2884.14 c #Conflicts: 1838000 | #Constraints: 38884
2876.30/2884.14 c #Conflicts: 1839000 | #Constraints: 39884
2876.30/2884.14 c #Conflicts: 1840000 | #Constraints: 40884
2876.30/2884.14 c #Conflicts: 1841000 | #Constraints: 41884
2876.30/2884.14 c #Conflicts: 1842000 | #Constraints: 42884
2876.30/2884.14 c #Conflicts: 1843000 | #Constraints: 43884
2876.30/2884.14 c #Conflicts: 1844000 | #Constraints: 44884
2876.30/2884.14 c #Conflicts: 1845000 | #Constraints: 45884
2876.30/2884.14 c #Conflicts: 1846000 | #Constraints: 46884
2876.30/2884.14 c #Conflicts: 1847000 | #Constraints: 47884
2876.30/2884.14 c #Conflicts: 1848000 | #Constraints: 48884
2876.30/2884.14 c #Conflicts: 1849000 | #Constraints: 49884
2876.30/2884.14 c #Conflicts: 1850000 | #Constraints: 50884
2876.30/2884.14 c #Conflicts: 1851000 | #Constraints: 51884
2876.30/2884.14 c #Conflicts: 1852000 | #Constraints: 52884
2876.30/2884.14 c #Conflicts: 1853000 | #Constraints: 53884
2876.30/2884.14 c #Conflicts: 1854000 | #Constraints: 54884
2876.30/2884.14 c INPROCESSING
2876.30/2884.14 c GARBAGE COLLECT
2876.30/2884.14 c #Conflicts: 1855000 | #Constraints: 28880
2876.30/2884.14 c #Conflicts: 1856000 | #Constraints: 29880
2876.30/2884.14 c #Conflicts: 1857000 | #Constraints: 30880
2876.30/2884.14 c #Conflicts: 1858000 | #Constraints: 31880
2876.30/2884.14 c #Conflicts: 1859000 | #Constraints: 32880
2876.30/2884.14 c #Conflicts: 1860000 | #Constraints: 33880
2876.30/2884.14 c #Conflicts: 1861000 | #Constraints: 34880
2876.30/2884.14 c #Conflicts: 1862000 | #Constraints: 35880
2876.30/2884.14 c #Conflicts: 1863000 | #Constraints: 36880
2876.30/2884.14 c #Conflicts: 1864000 | #Constraints: 37880
2876.30/2884.14 c #Conflicts: 1865000 | #Constraints: 38880
2876.30/2884.14 c #Conflicts: 1866000 | #Constraints: 39880
2876.30/2884.14 c #Conflicts: 1867000 | #Constraints: 40880
2876.30/2884.14 c #Conflicts: 1868000 | #Constraints: 41880
2876.30/2884.14 c #Conflicts: 1869000 | #Constraints: 42880
2876.30/2884.14 c #Conflicts: 1870000 | #Constraints: 43880
2876.30/2884.14 c #Conflicts: 1871000 | #Constraints: 44880
2876.30/2884.14 c #Conflicts: 1872000 | #Constraints: 45880
2876.30/2884.14 c #Conflicts: 1873000 | #Constraints: 46880
2876.30/2884.14 c #Conflicts: 1874000 | #Constraints: 47880
2876.30/2884.14 c #Conflicts: 1875000 | #Constraints: 48880
2876.30/2884.14 c #Conflicts: 1876000 | #Constraints: 49880
2876.30/2884.14 c #Conflicts: 1877000 | #Constraints: 50880
2876.30/2884.14 c #Conflicts: 1878000 | #Constraints: 51880
2876.30/2884.14 c #Conflicts: 1879000 | #Constraints: 52880
2876.30/2884.14 c #Conflicts: 1880000 | #Constraints: 53880
2876.30/2884.14 c #Conflicts: 1881000 | #Constraints: 54880
2876.30/2884.14 c INPROCESSING
2876.30/2884.14 c GARBAGE COLLECT
2876.30/2884.14 c #Conflicts: 1882000 | #Constraints: 28675
2876.30/2884.14 c #Conflicts: 1883000 | #Constraints: 29675
2876.30/2884.14 c #Conflicts: 1884000 | #Constraints: 30675
2876.30/2884.14 c #Conflicts: 1885000 | #Constraints: 31675
2876.30/2884.14 c #Conflicts: 1886000 | #Constraints: 32675
2876.30/2884.14 c #Conflicts: 1887000 | #Constraints: 33675
2876.30/2884.14 c #Conflicts: 1888000 | #Constraints: 34675
3068.33/3076.75 c #Conflicts: 1889000 | #Constraints: 35675
3068.33/3076.75 c #Conflicts: 1890000 | #Constraints: 36675
3068.33/3076.75 c #Conflicts: 1891000 | #Constraints: 37675
3068.33/3076.75 c #Conflicts: 1892000 | #Constraints: 38675
3068.33/3076.75 c #Conflicts: 1893000 | #Constraints: 39675
3068.33/3076.75 c #Conflicts: 1894000 | #Constraints: 40675
3068.33/3076.75 c #Conflicts: 1895000 | #Constraints: 41675
3068.33/3076.75 c #Conflicts: 1896000 | #Constraints: 42675
3068.33/3076.75 c #Conflicts: 1897000 | #Constraints: 43675
3068.33/3076.75 c #Conflicts: 1898000 | #Constraints: 44675
3068.33/3076.75 c #Conflicts: 1899000 | #Constraints: 45675
3068.33/3076.75 c #Conflicts: 1900000 | #Constraints: 46675
3068.33/3076.75 c #Conflicts: 1901000 | #Constraints: 47675
3068.33/3076.75 c #Conflicts: 1902000 | #Constraints: 48675
3068.33/3076.75 c #Conflicts: 1903000 | #Constraints: 49675
3068.33/3076.75 c #Conflicts: 1904000 | #Constraints: 50675
3068.33/3076.75 c #Conflicts: 1905000 | #Constraints: 51675
3068.33/3076.75 c #Conflicts: 1906000 | #Constraints: 52675
3068.33/3076.75 c #Conflicts: 1907000 | #Constraints: 53675
3068.33/3076.75 c #Conflicts: 1908000 | #Constraints: 54675
3068.33/3076.75 c #Conflicts: 1909000 | #Constraints: 55675
3068.33/3076.75 c INPROCESSING
3068.33/3076.75 c GARBAGE COLLECT
3068.33/3076.75 c #Conflicts: 1910000 | #Constraints: 29291
3068.33/3076.75 c #Conflicts: 1911000 | #Constraints: 30291
3068.33/3076.75 c #Conflicts: 1912000 | #Constraints: 31291
3068.33/3076.75 c #Conflicts: 1913000 | #Constraints: 32291
3068.33/3076.75 c #Conflicts: 1914000 | #Constraints: 33291
3068.33/3076.75 c #Conflicts: 1915000 | #Constraints: 34291
3068.33/3076.75 c #Conflicts: 1916000 | #Constraints: 35291
3068.33/3076.75 c #Conflicts: 1917000 | #Constraints: 36291
3068.33/3076.75 c #Conflicts: 1918000 | #Constraints: 37291
3068.33/3076.75 c #Conflicts: 1919000 | #Constraints: 38291
3068.33/3076.75 c #Conflicts: 1920000 | #Constraints: 39291
3068.33/3076.75 c #Conflicts: 1921000 | #Constraints: 40291
3068.33/3076.75 c #Conflicts: 1922000 | #Constraints: 41291
3068.33/3076.75 c #Conflicts: 1923000 | #Constraints: 42291
3068.33/3076.75 c #Conflicts: 1924000 | #Constraints: 43291
3068.33/3076.75 c #Conflicts: 1925000 | #Constraints: 44291
3068.33/3076.75 c #Conflicts: 1926000 | #Constraints: 45291
3068.33/3076.75 c #Conflicts: 1927000 | #Constraints: 46291
3068.33/3076.75 c #Conflicts: 1928000 | #Constraints: 47291
3068.33/3076.75 c #Conflicts: 1929000 | #Constraints: 48291
3068.33/3076.75 c #Conflicts: 1930000 | #Constraints: 49291
3068.33/3076.75 c #Conflicts: 1931000 | #Constraints: 50291
3068.33/3076.75 c #Conflicts: 1932000 | #Constraints: 51291
3068.33/3076.75 c #Conflicts: 1933000 | #Constraints: 52291
3068.33/3076.75 c #Conflicts: 1934000 | #Constraints: 53291
3068.33/3076.75 c #Conflicts: 1935000 | #Constraints: 54291
3068.33/3076.75 c #Conflicts: 1936000 | #Constraints: 55291
3068.33/3076.75 c #Conflicts: 1937000 | #Constraints: 56291
3068.33/3076.75 c INPROCESSING
3068.33/3076.75 c GARBAGE COLLECT
3068.33/3076.75 c #Conflicts: 1938000 | #Constraints: 29686
3068.33/3076.75 c #Conflicts: 1939000 | #Constraints: 30686
3068.33/3076.75 c #Conflicts: 1940000 | #Constraints: 31686
3068.33/3076.75 c #Conflicts: 1941000 | #Constraints: 32686
3068.33/3076.75 c #Conflicts: 1942000 | #Constraints: 33686
3068.33/3076.75 c #Conflicts: 1943000 | #Constraints: 34686
3068.33/3076.75 c #Conflicts: 1944000 | #Constraints: 35686
3068.33/3076.75 c #Conflicts: 1945000 | #Constraints: 36686
3068.33/3076.75 c #Conflicts: 1946000 | #Constraints: 37686
3068.33/3076.75 c #Conflicts: 1947000 | #Constraints: 38686
3068.33/3076.75 c #Conflicts: 1948000 | #Constraints: 39686
3068.33/3076.75 c #Conflicts: 1949000 | #Constraints: 40686
3068.33/3076.75 c #Conflicts: 1950000 | #Constraints: 41686
3068.33/3076.75 c #Conflicts: 1951000 | #Constraints: 42686
3068.33/3076.75 c #Conflicts: 1952000 | #Constraints: 43686
3068.33/3076.75 c #Conflicts: 1953000 | #Constraints: 44686
3068.33/3076.75 c #Conflicts: 1954000 | #Constraints: 45686
3068.33/3076.75 c #Conflicts: 1955000 | #Constraints: 46686
3068.33/3076.75 c #Conflicts: 1956000 | #Constraints: 47686
3068.33/3076.75 c #Conflicts: 1957000 | #Constraints: 48686
3068.33/3076.75 c #Conflicts: 1958000 | #Constraints: 49686
3068.33/3076.75 c #Conflicts: 1959000 | #Constraints: 50686
3068.33/3076.75 c #Conflicts: 1960000 | #Constraints: 51686
3068.33/3076.75 c #Conflicts: 1961000 | #Constraints: 52686
3068.33/3076.75 c #Conflicts: 1962000 | #Constraints: 53686
3068.33/3076.75 c #Conflicts: 1963000 | #Constraints: 54686
3068.33/3076.75 c #Conflicts: 1964000 | #Constraints: 55686
3068.33/3076.75 c #Conflicts: 1965000 | #Constraints: 56686
3068.33/3076.75 c INPROCESSING
3068.33/3076.75 c GARBAGE COLLECT
3253.69/3262.68 c #Conflicts: 1966000 | #Constraints: 29876
3253.69/3262.68 c #Conflicts: 1967000 | #Constraints: 30876
3253.69/3262.68 c #Conflicts: 1968000 | #Constraints: 31876
3253.69/3262.68 c #Conflicts: 1969000 | #Constraints: 32876
3253.69/3262.68 c #Conflicts: 1970000 | #Constraints: 33876
3253.69/3262.68 c #Conflicts: 1971000 | #Constraints: 34876
3253.69/3262.68 c #Conflicts: 1972000 | #Constraints: 35876
3253.69/3262.68 c #Conflicts: 1973000 | #Constraints: 36876
3253.69/3262.68 c #Conflicts: 1974000 | #Constraints: 37876
3253.69/3262.68 c #Conflicts: 1975000 | #Constraints: 38876
3253.69/3262.68 c #Conflicts: 1976000 | #Constraints: 39876
3253.69/3262.68 c #Conflicts: 1977000 | #Constraints: 40876
3253.69/3262.68 c #Conflicts: 1978000 | #Constraints: 41876
3253.69/3262.68 c #Conflicts: 1979000 | #Constraints: 42876
3253.69/3262.68 c #Conflicts: 1980000 | #Constraints: 43876
3253.69/3262.68 c #Conflicts: 1981000 | #Constraints: 44876
3253.69/3262.68 c #Conflicts: 1982000 | #Constraints: 45876
3253.69/3262.68 c #Conflicts: 1983000 | #Constraints: 46876
3253.69/3262.68 c #Conflicts: 1984000 | #Constraints: 47876
3253.69/3262.68 c #Conflicts: 1985000 | #Constraints: 48876
3253.69/3262.68 c #Conflicts: 1986000 | #Constraints: 49876
3253.69/3262.68 c #Conflicts: 1987000 | #Constraints: 50876
3253.69/3262.68 c #Conflicts: 1988000 | #Constraints: 51876
3253.69/3262.68 c #Conflicts: 1989000 | #Constraints: 52876
3253.69/3262.68 c #Conflicts: 1990000 | #Constraints: 53876
3253.69/3262.68 c #Conflicts: 1991000 | #Constraints: 54876
3253.69/3262.68 c #Conflicts: 1992000 | #Constraints: 55876
3253.69/3262.68 c #Conflicts: 1993000 | #Constraints: 56876
3253.69/3262.68 c INPROCESSING
3253.69/3262.68 c GARBAGE COLLECT
3253.69/3262.68 c #Conflicts: 1994000 | #Constraints: 29876
3253.69/3262.68 c #Conflicts: 1995000 | #Constraints: 30876
3253.69/3262.68 c #Conflicts: 1996000 | #Constraints: 31876
3253.69/3262.68 c #Conflicts: 1997000 | #Constraints: 32876
3253.69/3262.68 c #Conflicts: 1998000 | #Constraints: 33876
3253.69/3262.68 c #Conflicts: 1999000 | #Constraints: 34876
3253.69/3262.68 c #Conflicts: 2000000 | #Constraints: 35876
3253.69/3262.68 c #Conflicts: 2001000 | #Constraints: 36876
3253.69/3262.68 c #Conflicts: 2002000 | #Constraints: 37876
3253.69/3262.68 c #Conflicts: 2003000 | #Constraints: 38876
3253.69/3262.68 c #Conflicts: 2004000 | #Constraints: 39876
3253.69/3262.68 c #Conflicts: 2005000 | #Constraints: 40876
3253.69/3262.68 c #Conflicts: 2006000 | #Constraints: 41876
3253.69/3262.68 c #Conflicts: 2007000 | #Constraints: 42876
3253.69/3262.68 c #Conflicts: 2008000 | #Constraints: 43876
3253.69/3262.68 c #Conflicts: 2009000 | #Constraints: 44876
3253.69/3262.68 c #Conflicts: 2010000 | #Constraints: 45876
3253.69/3262.68 c #Conflicts: 2011000 | #Constraints: 46876
3253.69/3262.68 c #Conflicts: 2012000 | #Constraints: 47876
3253.69/3262.68 c #Conflicts: 2013000 | #Constraints: 48876
3253.69/3262.68 c #Conflicts: 2014000 | #Constraints: 49876
3253.69/3262.68 c #Conflicts: 2015000 | #Constraints: 50876
3253.69/3262.68 c #Conflicts: 2016000 | #Constraints: 51876
3253.69/3262.68 c #Conflicts: 2017000 | #Constraints: 52876
3253.69/3262.68 c #Conflicts: 2018000 | #Constraints: 53876
3253.69/3262.68 c #Conflicts: 2019000 | #Constraints: 54876
3253.69/3262.68 c #Conflicts: 2020000 | #Constraints: 55876
3253.69/3262.68 c #Conflicts: 2021000 | #Constraints: 56876
3253.69/3262.68 c INPROCESSING
3253.69/3262.68 c GARBAGE COLLECT
3253.69/3262.68 c #Conflicts: 2022000 | #Constraints: 29685
3253.69/3262.68 c #Conflicts: 2023000 | #Constraints: 30685
3253.69/3262.68 c #Conflicts: 2024000 | #Constraints: 31685
3253.69/3262.68 c #Conflicts: 2025000 | #Constraints: 32685
3253.69/3262.68 c #Conflicts: 2026000 | #Constraints: 33685
3253.69/3262.68 c #Conflicts: 2027000 | #Constraints: 34685
3253.69/3262.68 c #Conflicts: 2028000 | #Constraints: 35685
3253.69/3262.68 c #Conflicts: 2029000 | #Constraints: 36685
3253.69/3262.68 c #Conflicts: 2030000 | #Constraints: 37685
3253.69/3262.68 c #Conflicts: 2031000 | #Constraints: 38685
3253.69/3262.68 c #Conflicts: 2032000 | #Constraints: 39685
3253.69/3262.68 c #Conflicts: 2033000 | #Constraints: 40685
3253.69/3262.68 c #Conflicts: 2034000 | #Constraints: 41685
3253.69/3262.68 c #Conflicts: 2035000 | #Constraints: 42685
3253.69/3262.68 c #Conflicts: 2036000 | #Constraints: 43685
3253.69/3262.68 c #Conflicts: 2037000 | #Constraints: 44685
3253.69/3262.68 c #Conflicts: 2038000 | #Constraints: 45685
3253.69/3262.68 c #Conflicts: 2039000 | #Constraints: 46685
3253.69/3262.68 c #Conflicts: 2040000 | #Constraints: 47685
3253.69/3262.68 c #Conflicts: 2041000 | #Constraints: 48685
3253.69/3262.68 c #Conflicts: 2042000 | #Constraints: 49685
3253.69/3262.68 c #Conflicts: 2043000 | #Constraints: 50685
3422.29/3431.75 c #Conflicts: 2044000 | #Constraints: 51685
3422.29/3431.75 c #Conflicts: 2045000 | #Constraints: 52685
3422.29/3431.75 c #Conflicts: 2046000 | #Constraints: 53685
3422.29/3431.75 c #Conflicts: 2047000 | #Constraints: 54685
3422.29/3431.75 c #Conflicts: 2048000 | #Constraints: 55685
3422.29/3431.75 c #Conflicts: 2049000 | #Constraints: 56685
3422.29/3431.75 c #Conflicts: 2050000 | #Constraints: 57685
3422.29/3431.75 c INPROCESSING
3422.29/3431.75 c GARBAGE COLLECT
3422.29/3431.75 c #Conflicts: 2051000 | #Constraints: 30267
3422.29/3431.75 c #Conflicts: 2052000 | #Constraints: 31267
3422.29/3431.75 c #Conflicts: 2053000 | #Constraints: 32267
3422.29/3431.75 c #Conflicts: 2054000 | #Constraints: 33267
3422.29/3431.75 c #Conflicts: 2055000 | #Constraints: 34267
3422.29/3431.75 c #Conflicts: 2056000 | #Constraints: 35267
3422.29/3431.75 c #Conflicts: 2057000 | #Constraints: 36267
3422.29/3431.75 c #Conflicts: 2058000 | #Constraints: 37267
3422.29/3431.75 c #Conflicts: 2059000 | #Constraints: 38267
3422.29/3431.75 c #Conflicts: 2060000 | #Constraints: 39267
3422.29/3431.75 c #Conflicts: 2061000 | #Constraints: 40267
3422.29/3431.75 c #Conflicts: 2062000 | #Constraints: 41267
3422.29/3431.76 c #Conflicts: 2063000 | #Constraints: 42267
3422.29/3431.76 c #Conflicts: 2064000 | #Constraints: 43267
3422.29/3431.76 c #Conflicts: 2065000 | #Constraints: 44267
3422.29/3431.76 c #Conflicts: 2066000 | #Constraints: 45267
3422.29/3431.76 c #Conflicts: 2067000 | #Constraints: 46267
3422.29/3431.76 c #Conflicts: 2068000 | #Constraints: 47267
3422.29/3431.76 c #Conflicts: 2069000 | #Constraints: 48267
3422.29/3431.76 c #Conflicts: 2070000 | #Constraints: 49267
3422.29/3431.76 c #Conflicts: 2071000 | #Constraints: 50267
3422.29/3431.76 c #Conflicts: 2072000 | #Constraints: 51267
3422.29/3431.76 c #Conflicts: 2073000 | #Constraints: 52267
3422.29/3431.76 c #Conflicts: 2074000 | #Constraints: 53267
3422.29/3431.76 c #Conflicts: 2075000 | #Constraints: 54267
3422.29/3431.76 c #Conflicts: 2076000 | #Constraints: 55267
3422.29/3431.76 c #Conflicts: 2077000 | #Constraints: 56267
3422.29/3431.76 c #Conflicts: 2078000 | #Constraints: 57267
3422.29/3431.76 c #Conflicts: 2079000 | #Constraints: 58267
3422.29/3431.76 c INPROCESSING
3422.29/3431.76 c GARBAGE COLLECT
3422.29/3431.76 c #Conflicts: 2080000 | #Constraints: 30672
3422.29/3431.76 c #Conflicts: 2081000 | #Constraints: 31672
3422.29/3431.76 c #Conflicts: 2082000 | #Constraints: 32672
3422.29/3431.76 c #Conflicts: 2083000 | #Constraints: 33672
3422.29/3431.76 c #Conflicts: 2084000 | #Constraints: 34672
3422.29/3431.76 c #Conflicts: 2085000 | #Constraints: 35672
3422.29/3431.76 c #Conflicts: 2086000 | #Constraints: 36672
3422.29/3431.76 c #Conflicts: 2087000 | #Constraints: 37672
3422.29/3431.76 c #Conflicts: 2088000 | #Constraints: 38672
3422.29/3431.76 c #Conflicts: 2089000 | #Constraints: 39672
3422.29/3431.76 c #Conflicts: 2090000 | #Constraints: 40672
3422.29/3431.76 c #Conflicts: 2091000 | #Constraints: 41672
3422.29/3431.76 c #Conflicts: 2092000 | #Constraints: 42672
3422.29/3431.76 c #Conflicts: 2093000 | #Constraints: 43672
3422.29/3431.76 c #Conflicts: 2094000 | #Constraints: 44672
3422.29/3431.76 c #Conflicts: 2095000 | #Constraints: 45672
3422.29/3431.76 c #Conflicts: 2096000 | #Constraints: 46672
3422.29/3431.76 c #Conflicts: 2097000 | #Constraints: 47672
3422.29/3431.76 c #Conflicts: 2098000 | #Constraints: 48672
3422.29/3431.76 c #Conflicts: 2099000 | #Constraints: 49672
3422.29/3431.76 c #Conflicts: 2100000 | #Constraints: 50672
3422.29/3431.76 c #Conflicts: 2101000 | #Constraints: 51672
3422.29/3431.76 c #Conflicts: 2102000 | #Constraints: 52672
3422.29/3431.76 c #Conflicts: 2103000 | #Constraints: 53672
3422.29/3431.76 c #Conflicts: 2104000 | #Constraints: 54672
3422.29/3431.76 c #Conflicts: 2105000 | #Constraints: 55672
3422.29/3431.76 c #Conflicts: 2106000 | #Constraints: 56672
3422.29/3431.76 c #Conflicts: 2107000 | #Constraints: 57672
3422.29/3431.76 c #Conflicts: 2108000 | #Constraints: 58672
3422.29/3431.76 c INPROCESSING
3422.29/3431.76 c GARBAGE COLLECT
3422.29/3431.76 c #Conflicts: 2109000 | #Constraints: 30879
3422.29/3431.76 c #Conflicts: 2110000 | #Constraints: 31879
3422.29/3431.76 c #Conflicts: 2111000 | #Constraints: 32879
3422.29/3431.76 c #Conflicts: 2112000 | #Constraints: 33879
3422.29/3431.76 c #Conflicts: 2113000 | #Constraints: 34879
3422.29/3431.76 c #Conflicts: 2114000 | #Constraints: 35879
3422.29/3431.76 c #Conflicts: 2115000 | #Constraints: 36879
3422.29/3431.76 c #Conflicts: 2116000 | #Constraints: 37879
3422.29/3431.76 c #Conflicts: 2117000 | #Constraints: 38879
3422.29/3431.76 c #Conflicts: 2118000 | #Constraints: 39879
3422.29/3431.76 c #Conflicts: 2119000 | #Constraints: 40879
3422.29/3431.76 c #Conflicts: 2120000 | #Constraints: 41879
3600.06/3610.00 c #Conflicts: 2121000 | #Constraints: 42879
3600.06/3610.00 c #Conflicts: 2122000 | #Constraints: 43879
3600.06/3610.00 c #Conflicts: 2123000 | #Constraints: 44879
3600.06/3610.00 c #Conflicts: 2124000 | #Constraints: 45879
3600.06/3610.00 c #Conflicts: 2125000 | #Constraints: 46879
3600.06/3610.00 c #Conflicts: 2126000 | #Constraints: 47879
3600.06/3610.00 c #Conflicts: 2127000 | #Constraints: 48879
3600.06/3610.00 c #Conflicts: 2128000 | #Constraints: 49879
3600.06/3610.00 c #Conflicts: 2129000 | #Constraints: 50879
3600.06/3610.00 c #Conflicts: 2130000 | #Constraints: 51879
3600.06/3610.00 c #Conflicts: 2131000 | #Constraints: 52879
3600.06/3610.00 c #Conflicts: 2132000 | #Constraints: 53879
3600.06/3610.00 c #Conflicts: 2133000 | #Constraints: 54879
3600.06/3610.00 c #Conflicts: 2134000 | #Constraints: 55879
3600.06/3610.00 c #Conflicts: 2135000 | #Constraints: 56879
3600.06/3610.00 c #Conflicts: 2136000 | #Constraints: 57879
3600.06/3610.00 c #Conflicts: 2137000 | #Constraints: 58879
3600.06/3610.00 c INPROCESSING
3600.06/3610.00 c GARBAGE COLLECT
3600.06/3610.00 c #Conflicts: 2138000 | #Constraints: 30873
3600.06/3610.00 c #Conflicts: 2139000 | #Constraints: 31873
3600.06/3610.00 c #Conflicts: 2140000 | #Constraints: 32873
3600.06/3610.00 c #Conflicts: 2141000 | #Constraints: 33873
3600.06/3610.00 c #Conflicts: 2142000 | #Constraints: 34873
3600.06/3610.00 c #Conflicts: 2143000 | #Constraints: 35873
3600.06/3610.00 c #Conflicts: 2144000 | #Constraints: 36873
3600.06/3610.00 c #Conflicts: 2145000 | #Constraints: 37873
3600.06/3610.00 c #Conflicts: 2146000 | #Constraints: 38873
3600.06/3610.00 c #Conflicts: 2147000 | #Constraints: 39873
3600.06/3610.00 c #Conflicts: 2148000 | #Constraints: 40873
3600.06/3610.00 c #Conflicts: 2149000 | #Constraints: 41873
3600.06/3610.00 c #Conflicts: 2150000 | #Constraints: 42873
3600.06/3610.00 c #Conflicts: 2151000 | #Constraints: 43873
3600.06/3610.00 c #Conflicts: 2152000 | #Constraints: 44873
3600.06/3610.00 c #Conflicts: 2153000 | #Constraints: 45873
3600.06/3610.00 c #Conflicts: 2154000 | #Constraints: 46873
3600.06/3610.00 c #Conflicts: 2155000 | #Constraints: 47873
3600.06/3610.00 c #Conflicts: 2156000 | #Constraints: 48873
3600.06/3610.00 c #Conflicts: 2157000 | #Constraints: 49873
3600.06/3610.00 c #Conflicts: 2158000 | #Constraints: 50873
3600.06/3610.00 c #Conflicts: 2159000 | #Constraints: 51873
3600.06/3610.00 c #Conflicts: 2160000 | #Constraints: 52873
3600.06/3610.00 c #Conflicts: 2161000 | #Constraints: 53873
3600.06/3610.00 c #Conflicts: 2162000 | #Constraints: 54873
3600.06/3610.00 c #Conflicts: 2163000 | #Constraints: 55873
3600.06/3610.00 c #Conflicts: 2164000 | #Constraints: 56873
3600.06/3610.00 c #Conflicts: 2165000 | #Constraints: 57873
3600.06/3610.00 c #Conflicts: 2166000 | #Constraints: 58873
3600.06/3610.00 c INPROCESSING
3600.06/3610.00 c GARBAGE COLLECT
3600.06/3610.00 c #Conflicts: 2167000 | #Constraints: 30669
3600.06/3610.00 c #Conflicts: 2168000 | #Constraints: 31669
3600.06/3610.00 c #Conflicts: 2169000 | #Constraints: 32669
3600.06/3610.00 c #Conflicts: 2170000 | #Constraints: 33669
3600.06/3610.00 c #Conflicts: 2171000 | #Constraints: 34669
3600.06/3610.00 c #Conflicts: 2172000 | #Constraints: 35669
3600.06/3610.00 c #Conflicts: 2173000 | #Constraints: 36669
3600.06/3610.00 c #Conflicts: 2174000 | #Constraints: 37669
3600.06/3610.00 c #Conflicts: 2175000 | #Constraints: 38669
3600.06/3610.00 c #Conflicts: 2176000 | #Constraints: 39669
3600.06/3610.00 c #Conflicts: 2177000 | #Constraints: 40669
3600.06/3610.00 c #Conflicts: 2178000 | #Constraints: 41669
3600.06/3610.00 c #Conflicts: 2179000 | #Constraints: 42669
3600.06/3610.00 c #Conflicts: 2180000 | #Constraints: 43669
3600.06/3610.00 c #Conflicts: 2181000 | #Constraints: 44669
3600.06/3610.00 c #Conflicts: 2182000 | #Constraints: 45669
3600.06/3610.00 c #Conflicts: 2183000 | #Constraints: 46669
3600.06/3610.00 c #Conflicts: 2184000 | #Constraints: 47669
3600.06/3610.00 c #Conflicts: 2185000 | #Constraints: 48669
3600.06/3610.00 c #Conflicts: 2186000 | #Constraints: 49669
3600.06/3610.00 c #Conflicts: 2187000 | #Constraints: 50669
3600.06/3610.00 c #Conflicts: 2188000 | #Constraints: 51669
3600.06/3610.00 c #Conflicts: 2189000 | #Constraints: 52669
3600.06/3610.00 c #Conflicts: 2190000 | #Constraints: 53669
3600.06/3610.00 c #Conflicts: 2191000 | #Constraints: 54669
3600.06/3610.00 c #Conflicts: 2192000 | #Constraints: 55669
3600.06/3610.00 c cpu time 3590.11 s
3600.06/3610.00 c deterministic time 1 1.00e+00
3600.06/3610.00 c optimization time 3590.11 s
3600.06/3610.00 c total solve time 0 s
3600.06/3610.00 c core-guided solve time 0 s
3600.06/3610.00 c propagation time 0.000176 s
3600.06/3610.00 c conflict analysis time 0 s
3600.06/3610.00 c propagations 0
3600.06/3610.00 c resolve steps 0
3600.06/3610.00 c decisions 0
3600.06/3610.00 c conflicts 0
3600.06/3610.00 c restarts 0
3600.06/3610.00 c inprocessing phases 0
3600.06/3610.00 c garbage collections 0 ,( -nan )
3600.06/3610.00 c input clauses 1012 ,( 100.00 )
3600.06/3610.00 c input cardinalities 0 ,( 0.00 )
3600.06/3610.00 c input general constraints 0 ,( 0.00 )
3600.06/3610.00 c input average constraint length 2.00
3600.06/3610.00 c input average constraint degree 1.00
3600.06/3610.00 c learned clauses 0 ,( 0.00 )
3600.06/3610.00 c learned cardinalities 0 ,( 0.00 )
3600.06/3610.00 c learned general constraints 0 ,( 0.00 )
3600.06/3610.00 c learned average constraint length 0.00
3600.06/3610.00 c learned average constraint degree 0.00
3600.06/3610.00 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.06/3610.00 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.06/3610.00 c watched constraints 0 ,( -nan )
3600.06/3610.00 c counting constraints 0 ,( -nan )
3600.06/3610.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.06/3610.00 c gcd simplifications 0
3600.06/3610.00 c detected cardinalities 0
3600.06/3610.00 c weakened non-implied lits 0
3600.06/3610.00 c weakened non-implying lits 0
3600.06/3610.00 c original variables 506
3600.06/3610.00 c clausal propagations 0
3600.06/3610.00 c cardinality propagations 0
3600.06/3610.00 c watched propagations 0
3600.06/3610.00 c counting propagations 0
3600.06/3610.00 c watch lookups 0
3600.06/3610.00 c watch backjump lookups 0
3600.06/3610.00 c watch checks 0
3600.06/3610.00 c propagation checks 0
3600.06/3610.00 c constraint additions 0
3600.06/3610.00 c trail pops 0
3600.06/3610.00 c formula constraints 1012
3600.06/3610.00 c learned constraints 0
3600.06/3610.00 c bound constraints 0
3600.06/3610.00 c core-guided constraints 0
3600.06/3610.00 c encountered formula constraints 0
3600.06/3610.00 c encountered learned constraints 0
3600.06/3610.00 c encountered bound constraints 0
3600.06/3610.00 c encountered core-guided constraints 0
3600.06/3610.00 c LP total time 0 s
3600.06/3610.00 c LP solve time 0 s
3600.06/3610.00 c LP constraints added 0
3600.06/3610.00 c LP constraints removed 0
3600.06/3610.00 c LP pivots internal 0
3600.06/3610.00 c LP pivots root 0
3600.06/3610.00 c LP calls 0
3600.06/3610.00 c LP optimalities 0
3600.06/3610.00 c LP no pivot count 0
3600.06/3610.00 c LP infeasibilities 0
3600.06/3610.00 c LP valid Farkas constraints 0
3600.06/3610.00 c LP learned Farkas constraints 0
3600.06/3610.00 c LP basis resets 0
3600.06/3610.00 c LP cycling count 0
3600.06/3610.00 c LP singular count 0
3600.06/3610.00 c LP no primal count 0
3600.06/3610.00 c LP no farkas count 0
3600.06/3610.00 c LP other issue count 0
3600.06/3610.00 c LP Gomory cuts 0
3600.06/3610.00 c LP learned cuts 0
3600.06/3610.00 c LP deleted cuts 0
3600.06/3610.00 c LP encountered Gomory constraints 0
3600.06/3610.00 c LP encountered Farkas constraints 0
3600.06/3610.00 c LP encountered learned Farkas constraints 0
3600.06/3610.00 c CG auxiliary variables introduced 0
3600.06/3610.00 c CG solutions found 0
3600.06/3610.00 c CG cores constructed 0
3600.06/3610.00 c CG core cardinality constraints returned 0
3600.06/3610.00 c CG unit cores 0
3600.06/3610.00 c CG single cores 0
3600.06/3610.00 c CG blocks removed during cardinality reduction 0
3600.06/3610.00 c CG first core best 0
3600.06/3610.00 c CG decision core best 0
3600.06/3610.00 c CG core reduction tie 0
3600.06/3610.00 c CG core degree average 0.00
3600.06/3610.00 c CG core slack average 0.00
3600.06/3610.00 c CG core upper bound improvements 0
3600.06/3610.00 c STR number of successful calls 0
3600.06/3610.00 c STR number of unsuccessful calls 0
3600.06/3610.00 c STR number of inconclusive calls 0
3600.06/3610.00 c STR number of successful attempts 0
3600.06/3610.00 c STR number of unsuccessful attempts 0
3600.06/3610.00 c STR number of inconclusive attempts 0
3600.06/3610.00 c STR average degree increase per successful call inf
3600.06/3610.00 c STR average degree increase per successful attempt inf
3600.06/3610.00 c STR total number of conflicts for successful attempts 0
3600.06/3610.00 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3610.00 c STR total number of conflicts for inconclusive attempts 0
3600.06/3610.00 c STR average number of conflicts per successful attempt inf
3600.06/3610.00 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3610.00 c STR average number of conflicts per inconclusive attempt inf
3600.06/3610.00 c AVG.sumWPerc -nan
3600.06/3610.00 c bigint constraints 0
3600.06/3610.00 s UNKNOWN
3600.06/3610.00 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 (61180 MiB free)
memory of node 1: 64465 MiB (62849 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521630-1751589206/watcher-4521630-1751589206 -o /tmp/evaluation-result-4521630-1751589206/solver-4521630-1751589206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751585596-84120 --watchdog 3760 run-opt.sh HOME/instance-4521630-1751589206.opb
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 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=84547, runsolver pid=84539
[startup+0.100061 s]*
/proc/loadavg: 4.14 4.11 4.05 5/268 84549
/proc/meminfo: memFree=126989884/131250000 swapFree=33010684/33010684
[pid=84547] ppid=84539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84547/stat : 84547 (run-opt.sh) S 84539 84547 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543141 4292608 736 18446744073709551615 94077103697920 94077104592453 140730314010336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94077104831504 94077104879248 94077137604608 140730314013037 140730314013160 140730314013160 140730314018762 0
/proc/84547/statm: 1048 736 672 219 0 110 0
[pid=84549] ppid=84547 vsize=65572 memory=18160 CPUtime=0.08 cores=5,7
/proc/84549/stat : 84549 (roundingsat) R 84547 84547 84107 0 -1 4194304 1967 0 0 0 8 0 0 0 20 0 1 0 74543141 67145728 4540 18446744073709551615 4227072 8923433 140728066558976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33517568 140728066562466 140728066562600 140728066562600 140728066568170 0
/proc/84549/statm: 16393 4540 2400 1147 0 3820 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 69764 KiB
Current children cumulated memory: 21104 KiB
[startup+0.205072 s]*
/proc/loadavg: 4.14 4.11 4.05 5/268 84549
/proc/meminfo: memFree=126981820/131250000 swapFree=33010684/33010684
[pid=84547] ppid=84539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84547/stat : 84547 (run-opt.sh) S 84539 84547 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543141 4292608 736 18446744073709551615 94077103697920 94077104592453 140730314010336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94077104831504 94077104879248 94077137604608 140730314013037 140730314013160 140730314013160 140730314018762 0
/proc/84547/statm: 1048 736 672 219 0 110 0
[pid=84549] ppid=84547 vsize=66436 memory=19312 CPUtime=0.18 cores=5,7
/proc/84549/stat : 84549 (roundingsat) R 84547 84547 84107 0 -1 4194304 2253 0 0 0 18 0 0 0 20 0 1 0 74543141 68030464 4828 18446744073709551615 4227072 8923433 140728066558976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33517568 140728066562466 140728066562600 140728066562600 140728066568170 0
/proc/84549/statm: 16609 4828 2400 1147 0 4036 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 70628 KiB
Current children cumulated memory: 22256 KiB
[startup+0.305118 s]*
/proc/loadavg: 4.14 4.11 4.05 5/268 84549
/proc/meminfo: memFree=126962668/131250000 swapFree=33010684/33010684
[pid=84547] ppid=84539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84547/stat : 84547 (run-opt.sh) S 84539 84547 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543141 4292608 736 18446744073709551615 94077103697920 94077104592453 140730314010336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94077104831504 94077104879248 94077137604608 140730314013037 140730314013160 140730314013160 140730314018762 0
/proc/84547/statm: 1048 736 672 219 0 110 0
[pid=84549] ppid=84547 vsize=69576 memory=22640 CPUtime=0.29 cores=5,7
/proc/84549/stat : 84549 (roundingsat) R 84547 84547 84107 0 -1 4194304 3072 0 0 0 28 1 0 0 20 0 1 0 74543141 71245824 5660 18446744073709551615 4227072 8923433 140728066558976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33517568 140728066562466 140728066562600 140728066562600 140728066568170 0
/proc/84549/statm: 17394 5660 2400 1147 0 4821 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 73768 KiB
Current children cumulated memory: 25584 KiB
[startup+0.7002 s]
/proc/loadavg: 4.14 4.11 4.05 5/268 84549
/proc/meminfo: memFree=126947768/131250000 swapFree=33010684/33010684
[pid=84547] ppid=84539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84547/stat : 84547 (run-opt.sh) S 84539 84547 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543141 4292608 736 18446744073709551615 94077103697920 94077104592453 140730314010336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94077104831504 94077104879248 94077137604608 140730314013037 140730314013160 140730314013160 140730314018762 0
/proc/84547/statm: 1048 736 672 219 0 110 0
[pid=84549] ppid=84547 vsize=75176 memory=26608 CPUtime=0.68 cores=5,7
/proc/84549/stat : 84549 (roundingsat) R 84547 84547 84107 0 -1 4194304 4069 0 0 0 66 2 0 0 20 0 1 0 74543141 76980224 6652 18446744073709551615 4227072 8923433 140728066558976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33517568 140728066562466 140728066562600 140728066562600 140728066568170 0
/proc/84549/statm: 18794 6652 2400 1147 0 6221 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 79368 KiB
Current children cumulated memory: 29552 KiB
[startup+1.50016 s]
/proc/loadavg: 4.14 4.11 4.05 4/263 84557
/proc/meminfo: memFree=127496720/131250000 swapFree=33010684/33010684
[pid=84547] ppid=84539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84547/stat : 84547 (run-opt.sh) S 84539 84547 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543141 4292608 736 18446744073709551615 94077103697920 94077104592453 140730314010336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94077104831504 94077104879248 94077137604608 140730314013037 140730314013160 140730314013160 140730314018762 0
/proc/84547/statm: 1048 736 672 219 0 110 0
[pid=84549] ppid=84547 vsize=79112 memory=31344 CPUtime=1.47 cores=5,7
/proc/84549/stat : 84549 (roundingsat) R 84547 84547 84107 0 -1 4194304 5257 0 0 0 144 3 0 0 20 0 1 0 74543141 81010688 7836 18446744073709551615 4227072 8923433 140728066558976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33517568 140728066562466 140728066562600 140728066562600 140728066568170 0
/proc/84549/statm: 19778 7836 2400 1147 0 7205 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 83304 KiB
Current children cumulated memory: 34288 KiB
[startup+3.10537 s]
/proc/loadavg: 4.13 4.11 4.05 5/268 84641
/proc/meminfo: memFree=127564204/131250000 swapFree=33010684/33010684
[pid=84547] ppid=84539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84547/stat : 84547 (run-opt.sh) S 84539 84547 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543141 4292608 736 18446744073709551615 94077103697920 94077104592453 140730314010336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94077104831504 94077104879248 94077137604608 140730314013037 140730314013160 140730314013160 140730314018762 0
/proc/84547/statm: 1048 736 672 219 0 110 0
[pid=84549] ppid=84547 vsize=82184 memory=33904 CPUtime=3.07 cores=5,7
/proc/84549/stat : 84549 (roundingsat) R 84547 84547 84107 0 -1 4194304 5892 0 0 0 302 5 0 0 20 0 1 0 74543141 84156416 8476 18446744073709551615 4227072 8923433 140728066558976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33517568 140728066562466 140728066562600 140728066562600 140728066568170 0
/proc/84549/statm: 20546 8476 2400 1147 0 7973 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 86376 KiB
Current children cumulated memory: 36848 KiB
[startup+6.30015 s]
/proc/loadavg: 4.13 4.11 4.05 5/268 84641
/proc/meminfo: memFree=127389812/131250000 swapFree=33010684/33010684
[pid=84547] ppid=84539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84547/stat : 84547 (run-opt.sh) S 84539 84547 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543141 4292608 736 18446744073709551615 94077103697920 94077104592453 140730314010336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94077104831504 94077104879248 94077137604608 140730314013037 140730314013160 140730314013160 140730314018762 0
/proc/84547/statm: 1048 736 672 219 0 110 0
[pid=84549] ppid=84547 vsize=87948 memory=36336 CPUtime=6.26 cores=5,7
/proc/84549/stat : 84549 (roundingsat) R 84547 84547 84107 0 -1 4194304 6521 0 0 0 616 10 0 0 20 0 1 0 74543141 90058752 9084 18446744073709551615 4227072 8923433 140728066558976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33517568 140728066562466 140728066562600 140728066562600 140728066568170 0
/proc/84549/statm: 21987 9084 2400 1147 0 9414 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 92140 KiB
Current children cumulated memory: 39280 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 4.05 5/268 84642
/proc/meminfo: memFree=127358188/131250000 swapFree=33010684/33010684
[pid=84547] ppid=84539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84547/stat : 84547 (run-opt.sh) S 84539 84547 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543141 4292608 736 18446744073709551615 94077103697920 94077104592453 140730314010336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94077104831504 94077104879248 94077137604608 140730314013037 140730314013160 140730314013160 140730314018762 0
/proc/84547/statm: 1048 736 672 219 0 110 0
[pid=84549] ppid=84547 vsize=90504 memory=41600 CPUtime=12.64 cores=5,7
/proc/84549/stat : 84549 (roundingsat) R 84547 84547 84107 0 -1 4194304 7307 0 0 0 1247 17 0 0 20 0 1 0 74543141 92676096 10400 18446744073709551615 4227072 8923433 140728066558976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33517568 140728066562466 140728066562600 140728066562600 140728066568170 0
/proc/84549/statm: 22626 10400 2400 1147 0 10053 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 94696 KiB
Current children cumulated memory: 44544 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.05 5/268 84642
/proc/meminfo: memFree=127181728/131250000 swapFree=33010684/33010684
[pid=84547] ppid=84539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84547/stat : 84547 (run-opt.sh) S 84539 84547 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543141 4292608 736 18446744073709551615 94077103697920 94077104592453 140730314010336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94077104831504 94077104879248 94077137604608 140730314013037 140730314013160 140730314013160 140730314018762 0
/proc/84547/statm: 1048 736 672 219 0 110 0
[pid=84549] ppid=84547 vsize=92784 memory=43776 CPUtime=25.4 cores=5,7
/proc/84549/stat : 84549 (roundingsat) R 84547 84547 84107 0 -1 4194304 7848 0 0 0 2508 32 0 0 20 0 1 0 74543141 95010816 10944 18446744073709551615 4227072 8923433 140728066558976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33517568 140728066562466 140728066562600 140728066562600 140728066568170 0
/proc/84549/statm: 23196 10944 2400 1147 0 10623 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 96976 KiB
Current children cumulated memory: 46720 KiB
[startup+51.1053 s]
/proc/loadavg: 4.06 4.10 4.04 5/268 84642
/proc/meminfo: memFree=126959128/131250000 swapFree=33010684/33010684
[pid=84547] ppid=84539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84547/stat : 84547 (run-opt.sh) S 84539 84547 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543141 4292608 736 18446744073709551615 94077103697920 94077104592453 140730314010336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94077104831504 94077104879248 94077137604608 140730314013037 140730314013160 140730314013160 140730314018762 0
/proc/84547/statm: 1048 736 672 219 0 110 0
[pid=84549] ppid=84547 vsize=105912 memory=50560 CPUtime=50.93 cores=5,7
/proc/84549/stat : 84549 (roundingsat) R 84547 84547 84107 0 -1 4194304 9563 0 0 0 5034 59 0 0 20 0 1 0 74543141 108453888 12640 18446744073709551615 4227072 8923433 140728066558976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33517568 140728066562466 140728066562600 140728066562600 140728066568170 0
/proc/84549/statm: 26478 12640 2400 1147 0 13905 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 110104 KiB
Current children cumulated memory: 53504 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/269 84645
/proc/meminfo: memFree=126789460/131250000 swapFree=33010684/33010684
[pid=84547] ppid=84539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84547/stat : 84547 (run-opt.sh) S 84539 84547 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543141 4292608 736 18446744073709551615 94077103697920 94077104592453 140730314010336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94077104831504 94077104879248 94077137604608 140730314013037 140730314013160 140730314013160 140730314018762 0
/proc/84547/statm: 1048 736 672 219 0 110 0
[pid=84549] ppid=84547 vsize=116564 memory=61244 CPUtime=101.96 cores=5,7
/proc/84549/stat : 84549 (roundingsat) R 84547 84547 84107 0 -1 4194304 11720 0 0 0 10098 98 0 0 20 0 1 0 74543141 119361536 15311 18446744073709551615 4227072 8923433 140728066558976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33517568 140728066562466 140728066562600 140728066562600 140728066568170 0
/proc/84549/statm: 29141 15311 2400 1147 0 16568 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 120756 KiB
Current children cumulated memory: 64188 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.04 5/269 84647
/proc/meminfo: memFree=126582548/131250000 swapFree=33010684/33010684
[pid=84547] ppid=84539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84547/stat : 84547 (run-opt.sh) S 84539 84547 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543141 4292608 736 18446744073709551615 94077103697920 94077104592453 140730314010336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94077104831504 94077104879248 94077137604608 140730314013037 140730314013160 140730314013160 140730314018762 0
/proc/84547/statm: 1048 736 672 219 0 110 0
[pid=84549] ppid=84547 vsize=126176 memory=71544 CPUtime=161.77 cores=5,7
/proc/84549/stat : 84549 (roundingsat) R 84547 84547 84107 0 -1 4194304 13777 0 0 0 16048 129 0 0 20 0 1 0 74543141 129204224 17886 18446744073709551615 4227072 8923433 140728066558976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33517568 140728066562466 140728066562600 140728066562600 140728066568170 0
/proc/84549/statm: 31544 17886 2400 1147 0 18971 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 130368 KiB
Current children cumulated memory: 74488 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/269 84649
/proc/meminfo: memFree=126547724/131250000 swapFree=33010684/33010684
[pid=84547] ppid=84539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84547/stat : 84547 (run-opt.sh) S 84539 84547 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543141 4292608 736 18446744073709551615 94077103697920 94077104592453 140730314010336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94077104831504 94077104879248 94077137604608 140730314013037 140730314013160 140730314013160 140730314018762 0
/proc/84547/statm: 1048 736 672 219 0 110 0
[pid=84549] ppid=84547 vsize=128536 memory=75256 CPUtime=221.58 cores=5,7
/proc/84549/stat : 84549 (roundingsat) R 84547 84547 84107 0 -1 4194304 14726 0 0 0 22001 157 0 0 20 0 1 0 74543141 131620864 18814 18446744073709551615 4227072 8923433 140728066558976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33517568 140728066562466 140728066562600 140728066562600 140728066568170 0
/proc/84549/statm: 32134 18814 2400 1147 0 19561 0
################
# More data... #
################
/proc/loadavg: 4.08 4.10 4.09 5/268 84799
/proc/meminfo: memFree=124858448/131250000 swapFree=33010684/33010684
[pid=84547] ppid=84539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84547/stat : 84547 (run-opt.sh) S 84539 84547 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543141 4292608 736 18446744073709551615 94077103697920 94077104592453 140730314010336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94077104831504 94077104879248 94077137604608 140730314013037 140730314013160 140730314013160 140730314018762 0
/proc/84547/statm: 1048 736 672 219 0 110 0
[pid=84549] ppid=84547 vsize=215084 memory=152348 CPUtime=3034.03 cores=5,7
/proc/84549/stat : 84549 (roundingsat) R 84547 84547 84107 0 -1 4194304 30375 0 0 0 302500 903 0 0 20 0 1 0 74543141 220246016 38087 18446744073709551615 4227072 8923433 140728066558976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33517568 140728066562466 140728066562600 140728066562600 140728066568170 0
/proc/84549/statm: 53771 38087 2400 1147 0 41198 0
Current children cumulated CPU time: 3034.03 s
Current children cumulated vsize: 219276 KiB
Current children cumulated memory: 155292 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/268 84801
/proc/meminfo: memFree=124859348/131250000 swapFree=33010684/33010684
[pid=84547] ppid=84539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84547/stat : 84547 (run-opt.sh) S 84539 84547 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543141 4292608 736 18446744073709551615 94077103697920 94077104592453 140730314010336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94077104831504 94077104879248 94077137604608 140730314013037 140730314013160 140730314013160 140730314018762 0
/proc/84547/statm: 1048 736 672 219 0 110 0
[pid=84549] ppid=84547 vsize=215596 memory=152372 CPUtime=3093.86 cores=5,7
/proc/84549/stat : 84549 (roundingsat) R 84547 84547 84107 0 -1 4194304 30528 0 0 0 308475 911 0 0 20 0 1 0 74543141 220770304 38093 18446744073709551615 4227072 8923433 140728066558976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33517568 140728066562466 140728066562600 140728066562600 140728066568170 0
/proc/84549/statm: 53899 38093 2400 1147 0 41326 0
Current children cumulated CPU time: 3093.86 s
Current children cumulated vsize: 219788 KiB
Current children cumulated memory: 155316 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 84804
/proc/meminfo: memFree=124829236/131250000 swapFree=33010684/33010684
[pid=84547] ppid=84539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84547/stat : 84547 (run-opt.sh) S 84539 84547 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543141 4292608 736 18446744073709551615 94077103697920 94077104592453 140730314010336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94077104831504 94077104879248 94077137604608 140730314013037 140730314013160 140730314013160 140730314018762 0
/proc/84547/statm: 1048 736 672 219 0 110 0
[pid=84549] ppid=84547 vsize=215596 memory=152372 CPUtime=3153.68 cores=5,7
/proc/84549/stat : 84549 (roundingsat) R 84547 84547 84107 0 -1 4194304 30551 0 0 0 314446 922 0 0 20 0 1 0 74543141 220770304 38093 18446744073709551615 4227072 8923433 140728066558976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33517568 140728066562466 140728066562600 140728066562600 140728066568170 0
/proc/84549/statm: 53899 38093 2400 1147 0 41326 0
Current children cumulated CPU time: 3153.68 s
Current children cumulated vsize: 219788 KiB
Current children cumulated memory: 155316 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/269 84806
/proc/meminfo: memFree=124827404/131250000 swapFree=33010684/33010684
[pid=84547] ppid=84539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84547/stat : 84547 (run-opt.sh) S 84539 84547 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543141 4292608 736 18446744073709551615 94077103697920 94077104592453 140730314010336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94077104831504 94077104879248 94077137604608 140730314013037 140730314013160 140730314013160 140730314018762 0
/proc/84547/statm: 1048 736 672 219 0 110 0
[pid=84549] ppid=84547 vsize=216644 memory=153012 CPUtime=3213.5 cores=5,7
/proc/84549/stat : 84549 (roundingsat) R 84547 84547 84107 0 -1 4194304 30839 0 0 0 320420 930 0 0 20 0 1 0 74543141 221843456 38253 18446744073709551615 4227072 8923433 140728066558976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33517568 140728066562466 140728066562600 140728066562600 140728066568170 0
/proc/84549/statm: 54161 38253 2400 1147 0 41588 0
Current children cumulated CPU time: 3213.5 s
Current children cumulated vsize: 220836 KiB
Current children cumulated memory: 155956 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/269 84808
/proc/meminfo: memFree=124830880/131250000 swapFree=33010684/33010684
[pid=84547] ppid=84539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84547/stat : 84547 (run-opt.sh) S 84539 84547 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543141 4292608 736 18446744073709551615 94077103697920 94077104592453 140730314010336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94077104831504 94077104879248 94077137604608 140730314013037 140730314013160 140730314013160 140730314018762 0
/proc/84547/statm: 1048 736 672 219 0 110 0
[pid=84549] ppid=84547 vsize=216644 memory=153012 CPUtime=3273.32 cores=5,7
/proc/84549/stat : 84549 (roundingsat) R 84547 84547 84107 0 -1 4194304 30843 0 0 0 326394 938 0 0 20 0 1 0 74543141 221843456 38253 18446744073709551615 4227072 8923433 140728066558976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33517568 140728066562466 140728066562600 140728066562600 140728066568170 0
/proc/84549/statm: 54161 38253 2400 1147 0 41588 0
Current children cumulated CPU time: 3273.32 s
Current children cumulated vsize: 220836 KiB
Current children cumulated memory: 155956 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/269 84810
/proc/meminfo: memFree=124831700/131250000 swapFree=33010684/33010684
[pid=84547] ppid=84539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84547/stat : 84547 (run-opt.sh) S 84539 84547 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543141 4292608 736 18446744073709551615 94077103697920 94077104592453 140730314010336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94077104831504 94077104879248 94077137604608 140730314013037 140730314013160 140730314013160 140730314018762 0
/proc/84547/statm: 1048 736 672 219 0 110 0
[pid=84549] ppid=84547 vsize=217156 memory=155308 CPUtime=3333.15 cores=5,7
/proc/84549/stat : 84549 (roundingsat) R 84547 84547 84107 0 -1 4194304 31004 0 0 0 332366 949 0 0 20 0 1 0 74543141 222367744 38827 18446744073709551615 4227072 8923433 140728066558976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33517568 140728066562466 140728066562600 140728066562600 140728066568170 0
/proc/84549/statm: 54289 38827 2400 1147 0 41716 0
Current children cumulated CPU time: 3333.15 s
Current children cumulated vsize: 221348 KiB
Current children cumulated memory: 158252 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 84812
/proc/meminfo: memFree=124829220/131250000 swapFree=33010684/33010684
[pid=84547] ppid=84539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84547/stat : 84547 (run-opt.sh) S 84539 84547 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543141 4292608 736 18446744073709551615 94077103697920 94077104592453 140730314010336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94077104831504 94077104879248 94077137604608 140730314013037 140730314013160 140730314013160 140730314018762 0
/proc/84547/statm: 1048 736 672 219 0 110 0
[pid=84549] ppid=84547 vsize=220744 memory=161240 CPUtime=3392.97 cores=5,7
/proc/84549/stat : 84549 (roundingsat) R 84547 84547 84107 0 -1 4194304 31612 0 0 0 338336 961 0 0 20 0 1 0 74543141 226041856 40310 18446744073709551615 4227072 8923433 140728066558976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33517568 140728066562466 140728066562600 140728066562600 140728066568170 0
/proc/84549/statm: 55186 40310 2400 1147 0 42613 0
Current children cumulated CPU time: 3392.97 s
Current children cumulated vsize: 224936 KiB
Current children cumulated memory: 164184 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 84815
/proc/meminfo: memFree=124830104/131250000 swapFree=33010684/33010684
[pid=84547] ppid=84539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84547/stat : 84547 (run-opt.sh) S 84539 84547 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543141 4292608 736 18446744073709551615 94077103697920 94077104592453 140730314010336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94077104831504 94077104879248 94077137604608 140730314013037 140730314013160 140730314013160 140730314018762 0
/proc/84547/statm: 1048 736 672 219 0 110 0
[pid=84549] ppid=84547 vsize=220744 memory=161240 CPUtime=3452.8 cores=5,7
/proc/84549/stat : 84549 (roundingsat) R 84547 84547 84107 0 -1 4194304 31615 0 0 0 344308 972 0 0 20 0 1 0 74543141 226041856 40310 18446744073709551615 4227072 8923433 140728066558976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33517568 140728066562466 140728066562600 140728066562600 140728066568170 0
/proc/84549/statm: 55186 40310 2400 1147 0 42613 0
Current children cumulated CPU time: 3452.8 s
Current children cumulated vsize: 224936 KiB
Current children cumulated memory: 164184 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 84820
/proc/meminfo: memFree=124836796/131250000 swapFree=33010684/33010684
[pid=84547] ppid=84539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84547/stat : 84547 (run-opt.sh) S 84539 84547 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543141 4292608 736 18446744073709551615 94077103697920 94077104592453 140730314010336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94077104831504 94077104879248 94077137604608 140730314013037 140730314013160 140730314013160 140730314018762 0
/proc/84547/statm: 1048 736 672 219 0 110 0
[pid=84549] ppid=84547 vsize=221592 memory=162136 CPUtime=3512.62 cores=5,7
/proc/84549/stat : 84549 (roundingsat) R 84547 84547 84107 0 -1 4194304 31832 0 0 0 350278 984 0 0 20 0 1 0 74543141 226910208 40534 18446744073709551615 4227072 8923433 140728066558976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33517568 140728066562466 140728066562600 140728066562600 140728066568170 0
/proc/84549/statm: 55398 40534 2400 1147 0 42825 0
Current children cumulated CPU time: 3512.62 s
Current children cumulated vsize: 225784 KiB
Current children cumulated memory: 165080 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 84827
/proc/meminfo: memFree=124789216/131250000 swapFree=33010684/33010684
[pid=84547] ppid=84539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84547/stat : 84547 (run-opt.sh) S 84539 84547 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543141 4292608 736 18446744073709551615 94077103697920 94077104592453 140730314010336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94077104831504 94077104879248 94077137604608 140730314013037 140730314013160 140730314013160 140730314018762 0
/proc/84547/statm: 1048 736 672 219 0 110 0
[pid=84549] ppid=84547 vsize=221060 memory=161876 CPUtime=3572.45 cores=5,7
/proc/84549/stat : 84549 (roundingsat) R 84547 84547 84107 0 -1 4194304 31976 0 0 0 356252 993 0 0 20 0 1 0 74543141 226365440 40469 18446744073709551615 4227072 8923433 140728066558976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33517568 140728066562466 140728066562600 140728066562600 140728066568170 0
/proc/84549/statm: 55265 40469 2400 1147 0 42692 0
Current children cumulated CPU time: 3572.45 s
Current children cumulated vsize: 225252 KiB
Current children cumulated memory: 164820 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.12 4.09 4.09 4/264 84837
/proc/meminfo: memFree=125669964/131250000 swapFree=33010684/33010684
[pid=84547] ppid=84539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84547/stat : 84547 (run-opt.sh) S 84539 84547 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543141 4292608 736 18446744073709551615 94077103697920 94077104592453 140730314010336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94077104831504 94077104879248 94077137604608 140730314013037 140730314013160 140730314013160 140730314018762 0
/proc/84547/statm: 1048 736 672 219 0 110 0
[pid=84549] ppid=84547 vsize=221572 memory=161876 CPUtime=3600.06 cores=5,7
/proc/84549/stat : 84549 (roundingsat) R 84547 84547 84107 0 -1 4194304 32120 0 0 0 359010 996 0 0 20 0 1 0 74543141 226889728 40469 18446744073709551615 4227072 8923433 140728066558976 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 33517568 140728066562466 140728066562600 140728066562600 140728066568170 0
/proc/84549/statm: 55393 40469 2400 1147 0 42820 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 225764 KiB
Current children cumulated memory: 164820 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.01 s]
# the end of solver process 84547 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3590.11 s, system=9.97151 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.01
CPU time (s): 3600.08
CPU user time (s): 3590.11
CPU system time (s): 9.97151
CPU usage (%): 99.7251
Max. virtual memory (cumulated for all children) (KiB): 225784
Max. memory (cumulated for all children) (KiB): 165208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.11
system time used= 9.97151
maximum resident set size= 162648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32355
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 189
involuntary context switches= 2296
# summary of solver processes directly reported to runsolver:
# pid: 84547
# total CPU time (s): 3600.08
# total CPU user time (s): 3590.11
# total CPU system time (s): 9.97151
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.48866 second user time and 15.9854 second system time
The end
Begin job on nodeC028 at 2025-07-04 02:33:26
IDJOB=4521630
IDBENCH=178397
IDSOLVER=3350
FILE ID=nodeC028/4521630-1751589206
RUNJOBID= nodeC028-1751585596-84120
SLURM_JOB_ID= 9598831
Free space on /tmp= 431452 MiB
SOLVER NAME= roundingsat-ihs 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521630-1751589206/watcher-4521630-1751589206 -o /tmp/evaluation-result-4521630-1751589206/solver-4521630-1751589206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751585596-84120 --watchdog 3760 run-opt.sh HOME/instance-4521630-1751589206.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8e50416028301376aa06deda864f0965
RANDOM SEED=1337679129
nodeC028 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 : 3600.079
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 : 7000.16
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 : 3600.219
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 : 7000.16
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 : 3598.374
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 : 7000.16
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 : 3599.650
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 : 7000.16
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 : 3600.067
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 : 7000.16
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 : 3600.224
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 : 7000.16
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.554
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 : 7000.16
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.081
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 : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127007044 kB
MemAvailable: 128926748 kB
Buffers: 3280 kB
Cached: 2720884 kB
SwapCached: 0 kB
Active: 1214852 kB
Inactive: 2411608 kB
Active(anon): 920384 kB
Inactive(anon): 0 kB
Active(file): 294468 kB
Inactive(file): 2411608 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14424 kB
Writeback: 60 kB
AnonPages: 901744 kB
Mapped: 113912 kB
Shmem: 18068 kB
KReclaimable: 105736 kB
Slab: 195352 kB
SReclaimable: 105736 kB
SUnreclaim: 89616 kB
KernelStack: 4296 kB
PageTables: 4772 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1385608 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 827392 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= 431452 MiB
End job on nodeC028 at 2025-07-04 03:33:36