0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.14 c #variables 9632 #constraints 29620
0.08/0.14 c objective is ce32
0.08/0.14 c initial watched CF 32, 64, 128, Arb: 868 , 0 , 0 , 0
0.08/0.14 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
0.08/0.14 c GLOBAL bounds - >= 0 @ 0.092272
0.08/0.15 c GLOBAL bounds - >= 0 @ 0.094367
6.66/6.76 c #Conflicts: 1000 | #Constraints: 30619
6.66/6.76 c #Conflicts: 2000 | #Constraints: 31619
6.66/6.76 c INPROCESSING
6.66/6.76 c #Conflicts: 3000 | #Constraints: 31625
6.66/6.76 c #Conflicts: 4000 | #Constraints: 32625
6.66/6.76 c INPROCESSING
6.66/6.76 c GARBAGE COLLECT
6.66/6.76 c #Conflicts: 5000 | #Constraints: 32032
6.66/6.76 c #Conflicts: 6000 | #Constraints: 33032
6.66/6.76 c INPROCESSING
6.66/6.76 c GARBAGE COLLECT
6.66/6.76 c #Conflicts: 7000 | #Constraints: 32034
6.66/6.76 c GLOBAL bounds - >= 0 @ 6.58302
6.66/6.77 c GLOBAL bounds - >= 0 @ 6.58534
6.76/6.87 c #Conflicts: 8000 | #Constraints: 33035
6.76/6.87 c #Conflicts: 9000 | #Constraints: 34035
6.76/6.87 c INPROCESSING
6.76/6.87 c GARBAGE COLLECT
6.76/6.87 c rational objective 0
10.45/10.58 c #Conflicts: 10000 | #Constraints: 32830
10.45/10.58 c #Conflicts: 11000 | #Constraints: 33830
10.45/10.58 c #Conflicts: 12000 | #Constraints: 34830
10.45/10.58 c INPROCESSING
10.45/10.58 c GARBAGE COLLECT
10.45/10.58 c rational objective 0
32.79/32.96 c #Conflicts: 13000 | #Constraints: 33327
32.79/32.96 c #Conflicts: 14000 | #Constraints: 34327
32.79/32.96 c #Conflicts: 15000 | #Constraints: 35327
32.79/32.96 c INPROCESSING
32.79/32.96 c GARBAGE COLLECT
32.79/32.96 c #Conflicts: 16000 | #Constraints: 33488
32.79/32.96 c #Conflicts: 17000 | #Constraints: 34488
32.79/32.96 c #Conflicts: 18000 | #Constraints: 35488
32.79/32.96 c INPROCESSING
32.79/32.96 c GARBAGE COLLECT
32.79/32.96 WSVECS04 Frhs2[7828]: 6 -20.0001 0 shouldn't be
67.30/67.53 c #Conflicts: 19000 | #Constraints: 33466
67.30/67.53 c #Conflicts: 20000 | #Constraints: 34466
67.30/67.53 c #Conflicts: 21000 | #Constraints: 35466
67.30/67.53 c INPROCESSING
67.30/67.53 c GARBAGE COLLECT
67.30/67.53 c #Conflicts: 22000 | #Constraints: 33253
67.30/67.53 c #Conflicts: 23000 | #Constraints: 34253
67.30/67.53 c #Conflicts: 24000 | #Constraints: 35253
67.30/67.53 c #Conflicts: 25000 | #Constraints: 36253
67.30/67.53 c INPROCESSING
67.30/67.53 c GARBAGE COLLECT
67.30/67.53 c #Conflicts: 26000 | #Constraints: 33851
67.30/67.53 c #Conflicts: 27000 | #Constraints: 34851
67.30/67.53 c #Conflicts: 28000 | #Constraints: 35851
67.30/67.53 c #Conflicts: 29000 | #Constraints: 36851
67.30/67.53 c INPROCESSING
67.30/67.53 c GARBAGE COLLECT
67.30/67.53 c #Conflicts: 30000 | #Constraints: 34251
67.30/67.53 c #Conflicts: 31000 | #Constraints: 35252
67.30/67.53 c #Conflicts: 32000 | #Constraints: 36252
67.30/67.53 c #Conflicts: 33000 | #Constraints: 37253
67.30/67.53 c INPROCESSING
67.30/67.53 c GARBAGE COLLECT
67.30/67.53 c #Conflicts: 34000 | #Constraints: 34497
67.30/67.53 c #Conflicts: 35000 | #Constraints: 36089
67.30/67.53 c #Conflicts: 36000 | #Constraints: 37638
67.30/67.53 c #Conflicts: 37000 | #Constraints: 39185
67.30/67.53 c INPROCESSING
67.30/67.53 c GARBAGE COLLECT
67.30/67.53 WSVECS04 Frhs2[7828]: 6 -20.0001 0 shouldn't be
78.96/79.21 c #Conflicts: 38000 | #Constraints: 35372
78.96/79.21 c #Conflicts: 39000 | #Constraints: 36372
78.96/79.21 c #Conflicts: 40000 | #Constraints: 37372
78.96/79.21 c #Conflicts: 41000 | #Constraints: 38372
78.96/79.21 c INPROCESSING
78.96/79.21 c GARBAGE COLLECT
78.96/79.21 c GLOBAL bounds - >= 0 @ 78.4462
78.96/79.22 c GLOBAL bounds - >= 0 @ 78.4505
79.55/79.81 c #Conflicts: 42000 | #Constraints: 34716
79.55/79.81 c #Conflicts: 43000 | #Constraints: 35716
79.55/79.81 c #Conflicts: 44000 | #Constraints: 36716
79.55/79.81 c #Conflicts: 45000 | #Constraints: 37716
79.55/79.81 c #Conflicts: 46000 | #Constraints: 38716
79.55/79.81 c INPROCESSING
79.55/79.81 c GARBAGE COLLECT
79.55/79.81 c #Conflicts: 47000 | #Constraints: 35119
79.55/79.81 c #Conflicts: 48000 | #Constraints: 36119
79.55/79.81 c #Conflicts: 49000 | #Constraints: 37119
79.55/79.81 c #Conflicts: 50000 | #Constraints: 38119
79.55/79.81 c #Conflicts: 51000 | #Constraints: 39119
79.55/79.81 c INPROCESSING
79.55/79.81 c GARBAGE COLLECT
79.55/79.81 c rational objective 0
95.42/95.73 c #Conflicts: 52000 | #Constraints: 35516
95.42/95.73 c #Conflicts: 53000 | #Constraints: 36517
95.42/95.73 c #Conflicts: 54000 | #Constraints: 37517
95.42/95.73 c #Conflicts: 55000 | #Constraints: 38517
95.42/95.73 c #Conflicts: 56000 | #Constraints: 39517
95.42/95.73 c INPROCESSING
95.42/95.73 c GARBAGE COLLECT
95.42/95.73 c rational objective 0
172.41/172.99 c #Conflicts: 57000 | #Constraints: 35714
172.41/172.99 c #Conflicts: 58000 | #Constraints: 36714
172.41/172.99 c #Conflicts: 59000 | #Constraints: 37714
172.41/172.99 c #Conflicts: 60000 | #Constraints: 38714
172.41/172.99 c #Conflicts: 61000 | #Constraints: 39714
172.41/172.99 c INPROCESSING
172.41/172.99 c GARBAGE COLLECT
172.41/172.99 c #Conflicts: 62000 | #Constraints: 35623
172.41/172.99 c #Conflicts: 63000 | #Constraints: 36623
172.41/172.99 c #Conflicts: 64000 | #Constraints: 37623
172.41/172.99 c #Conflicts: 65000 | #Constraints: 38623
172.41/172.99 c #Conflicts: 66000 | #Constraints: 39623
172.41/172.99 c INPROCESSING
172.41/172.99 c GARBAGE COLLECT
172.41/172.99 c #Conflicts: 67000 | #Constraints: 35380
172.41/172.99 c #Conflicts: 68000 | #Constraints: 36380
172.41/172.99 c #Conflicts: 69000 | #Constraints: 37380
172.41/172.99 c #Conflicts: 70000 | #Constraints: 38380
172.41/172.99 c #Conflicts: 71000 | #Constraints: 39381
172.41/172.99 c #Conflicts: 72000 | #Constraints: 40381
172.41/172.99 c INPROCESSING
172.41/172.99 c GARBAGE COLLECT
172.41/172.99 c #Conflicts: 73000 | #Constraints: 35962
172.41/172.99 c #Conflicts: 74000 | #Constraints: 36962
172.41/172.99 c #Conflicts: 75000 | #Constraints: 38097
172.41/172.99 c #Conflicts: 76000 | #Constraints: 39097
172.41/172.99 c #Conflicts: 77000 | #Constraints: 40097
172.41/172.99 c #Conflicts: 78000 | #Constraints: 41097
172.41/172.99 c INPROCESSING
172.41/172.99 c GARBAGE COLLECT
172.41/172.99 c #Conflicts: 79000 | #Constraints: 36428
172.41/172.99 c #Conflicts: 80000 | #Constraints: 37428
172.41/172.99 c #Conflicts: 81000 | #Constraints: 38428
172.41/172.99 c #Conflicts: 82000 | #Constraints: 39428
172.41/172.99 c #Conflicts: 83000 | #Constraints: 40428
172.41/172.99 c #Conflicts: 84000 | #Constraints: 41428
172.41/172.99 c INPROCESSING
172.41/172.99 c GARBAGE COLLECT
172.41/172.99 c #Conflicts: 85000 | #Constraints: 36985
172.41/172.99 c #Conflicts: 86000 | #Constraints: 38469
172.41/172.99 c #Conflicts: 87000 | #Constraints: 39935
172.41/172.99 c #Conflicts: 88000 | #Constraints: 41428
172.41/172.99 c #Conflicts: 89000 | #Constraints: 42901
172.41/172.99 c #Conflicts: 90000 | #Constraints: 44357
172.41/172.99 c INPROCESSING
172.41/172.99 c GARBAGE COLLECT
172.41/172.99 WSVECS04 Frhs2[6714]: 6 0 14.6668 shouldn't be
172.41/172.99 WSVECS04 Frhs2[6809]: 6 -11.0001 0 shouldn't be
172.41/172.99 WSVECS04 Frhs2[6834]: 6 -25.6667 0 shouldn't be
172.41/172.99 WSVECS04 Frhs2[6840]: 6 0 40.3334 shouldn't be
172.41/172.99 WSVECS04 Frhs2[7840]: 6 -126 0 shouldn't be
212.10/212.71 c #Conflicts: 91000 | #Constraints: 38008
212.10/212.71 c #Conflicts: 92000 | #Constraints: 39008
212.10/212.71 c #Conflicts: 93000 | #Constraints: 40008
212.10/212.71 c #Conflicts: 94000 | #Constraints: 41008
212.10/212.71 c #Conflicts: 95000 | #Constraints: 42008
212.10/212.71 c #Conflicts: 96000 | #Constraints: 43008
212.10/212.71 c INPROCESSING
212.10/212.71 c GARBAGE COLLECT
212.10/212.71 c #Conflicts: 97000 | #Constraints: 37078
212.10/212.71 c #Conflicts: 98000 | #Constraints: 38078
212.10/212.71 c #Conflicts: 99000 | #Constraints: 39078
212.10/212.71 c #Conflicts: 100000 | #Constraints: 40079
212.10/212.71 c #Conflicts: 101000 | #Constraints: 41256
212.10/212.71 c #Conflicts: 102000 | #Constraints: 42748
212.10/212.71 c #Conflicts: 103000 | #Constraints: 44020
212.10/212.71 c INPROCESSING
212.10/212.71 c GARBAGE COLLECT
212.10/212.71 c #Conflicts: 104000 | #Constraints: 37776
212.10/212.71 c #Conflicts: 105000 | #Constraints: 38776
212.10/212.71 c #Conflicts: 106000 | #Constraints: 39778
212.10/212.71 c #Conflicts: 107000 | #Constraints: 40779
212.10/212.71 c #Conflicts: 108000 | #Constraints: 41780
212.10/212.71 c #Conflicts: 109000 | #Constraints: 42780
212.10/212.71 c #Conflicts: 110000 | #Constraints: 43780
212.10/212.71 c INPROCESSING
212.10/212.71 c GARBAGE COLLECT
212.10/212.71 c #Conflicts: 111000 | #Constraints: 37842
212.10/212.71 c #Conflicts: 112000 | #Constraints: 38846
212.10/212.71 c #Conflicts: 113000 | #Constraints: 39846
212.10/212.71 c #Conflicts: 114000 | #Constraints: 40846
212.10/212.71 c #Conflicts: 115000 | #Constraints: 41846
212.10/212.71 c #Conflicts: 116000 | #Constraints: 42846
212.10/212.71 c #Conflicts: 117000 | #Constraints: 43846
212.10/212.71 c INPROCESSING
212.10/212.71 c GARBAGE COLLECT
212.10/212.71 c #Conflicts: 118000 | #Constraints: 37798
212.10/212.71 c #Conflicts: 119000 | #Constraints: 38798
212.10/212.71 c #Conflicts: 120000 | #Constraints: 39798
212.10/212.71 c #Conflicts: 121000 | #Constraints: 40798
212.10/212.71 c #Conflicts: 122000 | #Constraints: 41799
212.10/212.71 c #Conflicts: 123000 | #Constraints: 42816
212.10/212.71 c #Conflicts: 124000 | #Constraints: 43986
212.10/212.71 c INPROCESSING
212.10/212.71 c GARBAGE COLLECT
212.10/212.71 c #Conflicts: 125000 | #Constraints: 37768
212.10/212.71 c #Conflicts: 126000 | #Constraints: 38768
212.10/212.71 c #Conflicts: 127000 | #Constraints: 39768
212.10/212.71 c #Conflicts: 128000 | #Constraints: 40768
212.10/212.71 c #Conflicts: 129000 | #Constraints: 41769
212.10/212.71 c #Conflicts: 130000 | #Constraints: 42813
212.10/212.71 c #Conflicts: 131000 | #Constraints: 43813
212.10/212.71 c INPROCESSING
212.10/212.71 c GARBAGE COLLECT
212.10/212.71 c rational objective 0
249.00/249.78 c #Conflicts: 132000 | #Constraints: 37569
249.00/249.78 c #Conflicts: 133000 | #Constraints: 38569
249.00/249.78 c #Conflicts: 134000 | #Constraints: 39569
249.00/249.78 c #Conflicts: 135000 | #Constraints: 40569
249.00/249.78 c #Conflicts: 136000 | #Constraints: 41570
249.00/249.78 c #Conflicts: 137000 | #Constraints: 42570
249.00/249.78 c #Conflicts: 138000 | #Constraints: 43570
249.00/249.78 c #Conflicts: 139000 | #Constraints: 44570
249.00/249.78 c INPROCESSING
249.00/249.78 c GARBAGE COLLECT
249.00/249.78 c #Conflicts: 140000 | #Constraints: 38058
249.00/249.78 c #Conflicts: 141000 | #Constraints: 39058
249.00/249.78 c #Conflicts: 142000 | #Constraints: 40058
249.00/249.78 c #Conflicts: 143000 | #Constraints: 41058
249.00/249.78 c #Conflicts: 144000 | #Constraints: 42058
249.00/249.78 c #Conflicts: 145000 | #Constraints: 43058
249.00/249.78 c #Conflicts: 146000 | #Constraints: 44058
249.00/249.78 c #Conflicts: 147000 | #Constraints: 45058
249.00/249.78 c INPROCESSING
249.00/249.78 c GARBAGE COLLECT
249.00/249.78 c rational objective 0
271.23/272.06 c #Conflicts: 148000 | #Constraints: 38470
271.23/272.06 c #Conflicts: 149000 | #Constraints: 39471
271.23/272.06 c #Conflicts: 150000 | #Constraints: 40471
271.23/272.06 c #Conflicts: 151000 | #Constraints: 41471
271.23/272.06 c #Conflicts: 152000 | #Constraints: 42471
271.23/272.06 c #Conflicts: 153000 | #Constraints: 43471
271.23/272.06 c #Conflicts: 154000 | #Constraints: 44471
271.23/272.06 c #Conflicts: 155000 | #Constraints: 45471
271.23/272.06 c INPROCESSING
271.23/272.06 c GARBAGE COLLECT
271.23/272.06 c #Conflicts: 156000 | #Constraints: 38617
271.23/272.06 c #Conflicts: 157000 | #Constraints: 39617
271.23/272.06 c #Conflicts: 158000 | #Constraints: 40617
271.23/272.06 c #Conflicts: 159000 | #Constraints: 41617
271.23/272.06 c #Conflicts: 160000 | #Constraints: 42617
271.23/272.06 c #Conflicts: 161000 | #Constraints: 43617
271.23/272.06 c #Conflicts: 162000 | #Constraints: 44622
271.23/272.06 c #Conflicts: 163000 | #Constraints: 45967
271.23/272.06 c INPROCESSING
271.23/272.06 c GARBAGE COLLECT
271.23/272.06 WSVECS04 Frhs2[7828]: 6 -20.0001 0 shouldn't be
271.23/272.06 WSVECS04 Frhs2[7840]: 6 -5.00005 0 shouldn't be
287.38/288.29 c #Conflicts: 164000 | #Constraints: 38812
287.38/288.29 c #Conflicts: 165000 | #Constraints: 39812
287.38/288.29 c #Conflicts: 166000 | #Constraints: 40812
287.38/288.29 c #Conflicts: 167000 | #Constraints: 41812
287.38/288.29 c #Conflicts: 168000 | #Constraints: 42812
287.38/288.29 c #Conflicts: 169000 | #Constraints: 43812
287.38/288.29 c #Conflicts: 170000 | #Constraints: 44812
287.38/288.29 c #Conflicts: 171000 | #Constraints: 45812
287.38/288.29 c INPROCESSING
287.38/288.29 c GARBAGE COLLECT
287.38/288.29 c #Conflicts: 172000 | #Constraints: 38485
287.38/288.29 c #Conflicts: 173000 | #Constraints: 39485
287.38/288.29 c #Conflicts: 174000 | #Constraints: 40485
287.38/288.29 c #Conflicts: 175000 | #Constraints: 41485
287.38/288.29 c #Conflicts: 176000 | #Constraints: 42485
287.38/288.29 c #Conflicts: 177000 | #Constraints: 43485
287.38/288.29 c #Conflicts: 178000 | #Constraints: 44485
287.38/288.29 c #Conflicts: 179000 | #Constraints: 45485
287.38/288.29 c #Conflicts: 180000 | #Constraints: 46485
287.38/288.29 c INPROCESSING
287.38/288.29 c GARBAGE COLLECT
287.38/288.29 c rational objective 0
526.45/527.92 c #Conflicts: 181000 | #Constraints: 39088
526.45/527.92 c #Conflicts: 182000 | #Constraints: 40088
526.45/527.92 c #Conflicts: 183000 | #Constraints: 41088
526.45/527.92 c #Conflicts: 184000 | #Constraints: 42088
526.45/527.92 c #Conflicts: 185000 | #Constraints: 43088
526.45/527.92 c #Conflicts: 186000 | #Constraints: 44088
526.45/527.92 c #Conflicts: 187000 | #Constraints: 45088
526.45/527.92 c #Conflicts: 188000 | #Constraints: 46088
526.45/527.92 c #Conflicts: 189000 | #Constraints: 47088
526.45/527.92 c INPROCESSING
526.45/527.92 c GARBAGE COLLECT
526.45/527.92 c #Conflicts: 190000 | #Constraints: 39423
526.45/527.92 c #Conflicts: 191000 | #Constraints: 40423
526.45/527.92 c #Conflicts: 192000 | #Constraints: 41423
526.45/527.92 c #Conflicts: 193000 | #Constraints: 42691
526.45/527.92 c #Conflicts: 194000 | #Constraints: 44232
526.45/527.92 c #Conflicts: 195000 | #Constraints: 45774
526.45/527.92 c #Conflicts: 196000 | #Constraints: 47304
526.45/527.92 c #Conflicts: 197000 | #Constraints: 48821
526.45/527.92 c #Conflicts: 198000 | #Constraints: 50294
526.45/527.92 c INPROCESSING
526.45/527.92 c GARBAGE COLLECT
526.45/527.92 c #Conflicts: 199000 | #Constraints: 41528
526.45/527.92 c #Conflicts: 200000 | #Constraints: 43016
526.45/527.92 c #Conflicts: 201000 | #Constraints: 44499
526.45/527.92 c #Conflicts: 202000 | #Constraints: 45999
526.45/527.92 c #Conflicts: 203000 | #Constraints: 47505
526.45/527.92 c #Conflicts: 204000 | #Constraints: 48988
526.45/527.92 c #Conflicts: 205000 | #Constraints: 50446
526.45/527.92 c #Conflicts: 206000 | #Constraints: 51938
526.45/527.92 c #Conflicts: 207000 | #Constraints: 53424
526.45/527.92 c INPROCESSING
526.45/527.92 c GARBAGE COLLECT
526.45/527.92 c #Conflicts: 208000 | #Constraints: 42973
526.45/527.92 c #Conflicts: 209000 | #Constraints: 44457
526.45/527.92 c #Conflicts: 210000 | #Constraints: 45965
526.45/527.92 c #Conflicts: 211000 | #Constraints: 47472
526.45/527.92 c #Conflicts: 212000 | #Constraints: 48939
526.45/527.92 c #Conflicts: 213000 | #Constraints: 50394
526.45/527.92 c #Conflicts: 214000 | #Constraints: 51876
526.45/527.92 c #Conflicts: 215000 | #Constraints: 53343
526.45/527.92 c #Conflicts: 216000 | #Constraints: 54899
526.45/527.92 c INPROCESSING
526.45/527.92 c GARBAGE COLLECT
526.45/527.92 c #Conflicts: 217000 | #Constraints: 43401
526.45/527.92 c #Conflicts: 218000 | #Constraints: 44888
526.45/527.92 c #Conflicts: 219000 | #Constraints: 46399
526.45/527.92 c #Conflicts: 220000 | #Constraints: 47902
526.45/527.92 c #Conflicts: 221000 | #Constraints: 49402
526.45/527.92 c #Conflicts: 222000 | #Constraints: 50899
526.45/527.92 c #Conflicts: 223000 | #Constraints: 52374
526.45/527.92 c #Conflicts: 224000 | #Constraints: 53860
526.45/527.92 c #Conflicts: 225000 | #Constraints: 55302
526.45/527.92 c #Conflicts: 226000 | #Constraints: 56736
526.45/527.92 c INPROCESSING
526.45/527.92 c GARBAGE COLLECT
526.45/527.92 c #Conflicts: 227000 | #Constraints: 44549
526.45/527.92 c #Conflicts: 228000 | #Constraints: 46046
526.45/527.92 c #Conflicts: 229000 | #Constraints: 47523
526.45/527.92 c #Conflicts: 230000 | #Constraints: 49000
526.45/527.92 c #Conflicts: 231000 | #Constraints: 50501
526.45/527.92 c #Conflicts: 232000 | #Constraints: 52063
526.45/527.92 c #Conflicts: 233000 | #Constraints: 53543
526.45/527.92 c #Conflicts: 234000 | #Constraints: 55009
526.45/527.92 c #Conflicts: 235000 | #Constraints: 56496
526.45/527.92 c #Conflicts: 236000 | #Constraints: 57996
526.45/527.92 c INPROCESSING
526.45/527.92 c GARBAGE COLLECT
526.45/527.92 c #Conflicts: 237000 | #Constraints: 45351
526.45/527.92 c #Conflicts: 238000 | #Constraints: 46836
526.45/527.92 c #Conflicts: 239000 | #Constraints: 48324
526.45/527.92 c #Conflicts: 240000 | #Constraints: 49833
526.45/527.92 c #Conflicts: 241000 | #Constraints: 51329
526.45/527.92 c #Conflicts: 242000 | #Constraints: 52856
526.45/527.92 c #Conflicts: 243000 | #Constraints: 54373
526.45/527.92 c #Conflicts: 244000 | #Constraints: 55934
526.45/527.92 c #Conflicts: 245000 | #Constraints: 57392
526.45/527.92 c #Conflicts: 246000 | #Constraints: 58866
526.45/527.92 c INPROCESSING
526.45/527.92 c GARBAGE COLLECT
526.45/527.92 c #Conflicts: 247000 | #Constraints: 45879
526.45/527.92 c #Conflicts: 248000 | #Constraints: 47490
526.45/527.92 c #Conflicts: 249000 | #Constraints: 49091
526.45/527.92 c #Conflicts: 250000 | #Constraints: 50670
526.45/527.92 c #Conflicts: 251000 | #Constraints: 52186
526.45/527.92 c #Conflicts: 252000 | #Constraints: 53692
526.45/527.92 c #Conflicts: 253000 | #Constraints: 55230
526.45/527.92 c #Conflicts: 254000 | #Constraints: 56742
526.45/527.92 c #Conflicts: 255000 | #Constraints: 58248
670.91/672.88 c #Conflicts: 256000 | #Constraints: 59774
670.91/672.88 c INPROCESSING
670.91/672.88 c GARBAGE COLLECT
670.91/672.88 c #Conflicts: 257000 | #Constraints: 46118
670.91/672.88 c #Conflicts: 258000 | #Constraints: 47607
670.91/672.88 c #Conflicts: 259000 | #Constraints: 49182
670.91/672.88 c #Conflicts: 260000 | #Constraints: 50657
670.91/672.88 c #Conflicts: 261000 | #Constraints: 52104
670.91/672.88 c #Conflicts: 262000 | #Constraints: 53554
670.91/672.88 c #Conflicts: 263000 | #Constraints: 55028
670.91/672.88 c #Conflicts: 264000 | #Constraints: 56532
670.91/672.88 c #Conflicts: 265000 | #Constraints: 57998
670.91/672.88 c #Conflicts: 266000 | #Constraints: 59473
670.91/672.88 c INPROCESSING
670.91/672.88 c GARBAGE COLLECT
670.91/672.88 c #Conflicts: 267000 | #Constraints: 45650
670.91/672.88 c #Conflicts: 268000 | #Constraints: 47110
670.91/672.88 c #Conflicts: 269000 | #Constraints: 48545
670.91/672.88 c #Conflicts: 270000 | #Constraints: 50055
670.91/672.88 c #Conflicts: 271000 | #Constraints: 51544
670.91/672.88 c #Conflicts: 272000 | #Constraints: 53023
670.91/672.88 c #Conflicts: 273000 | #Constraints: 54542
670.91/672.88 c #Conflicts: 274000 | #Constraints: 56055
670.91/672.88 c #Conflicts: 275000 | #Constraints: 57547
670.91/672.88 c #Conflicts: 276000 | #Constraints: 59013
670.91/672.88 c #Conflicts: 277000 | #Constraints: 60565
670.91/672.88 c INPROCESSING
670.91/672.88 c GARBAGE COLLECT
670.91/672.88 c #Conflicts: 278000 | #Constraints: 46512
670.91/672.88 c #Conflicts: 279000 | #Constraints: 48030
670.91/672.88 c #Conflicts: 280000 | #Constraints: 49544
670.91/672.88 c #Conflicts: 281000 | #Constraints: 51027
670.91/672.88 c #Conflicts: 282000 | #Constraints: 52567
670.91/672.88 c #Conflicts: 283000 | #Constraints: 54028
670.91/672.88 c #Conflicts: 284000 | #Constraints: 55506
670.91/672.88 c #Conflicts: 285000 | #Constraints: 57033
670.91/672.88 c #Conflicts: 286000 | #Constraints: 58532
670.91/672.88 c #Conflicts: 287000 | #Constraints: 59997
670.91/672.88 c #Conflicts: 288000 | #Constraints: 61527
670.91/672.88 c INPROCESSING
670.91/672.88 c GARBAGE COLLECT
670.91/672.88 c #Conflicts: 289000 | #Constraints: 47144
670.91/672.88 c #Conflicts: 290000 | #Constraints: 48664
670.91/672.88 c #Conflicts: 291000 | #Constraints: 50136
670.91/672.88 c #Conflicts: 292000 | #Constraints: 51631
670.91/672.88 c #Conflicts: 293000 | #Constraints: 53146
670.91/672.88 c #Conflicts: 294000 | #Constraints: 54643
670.91/672.88 c #Conflicts: 295000 | #Constraints: 56153
670.91/672.88 c #Conflicts: 296000 | #Constraints: 57676
670.91/672.88 c #Conflicts: 297000 | #Constraints: 59177
670.91/672.88 c #Conflicts: 298000 | #Constraints: 60661
670.91/672.88 c #Conflicts: 299000 | #Constraints: 62156
670.91/672.88 c INPROCESSING
670.91/672.88 c GARBAGE COLLECT
670.91/672.88 c #Conflicts: 300000 | #Constraints: 47471
670.91/672.88 c #Conflicts: 301000 | #Constraints: 48955
670.91/672.88 c #Conflicts: 302000 | #Constraints: 50455
670.91/672.88 c #Conflicts: 303000 | #Constraints: 51938
670.91/672.88 c #Conflicts: 304000 | #Constraints: 53459
670.91/672.88 c #Conflicts: 305000 | #Constraints: 54943
670.91/672.88 c #Conflicts: 306000 | #Constraints: 56466
670.91/672.88 c #Conflicts: 307000 | #Constraints: 57952
670.91/672.88 c #Conflicts: 308000 | #Constraints: 59458
670.91/672.88 c #Conflicts: 309000 | #Constraints: 60941
670.91/672.88 c #Conflicts: 310000 | #Constraints: 62435
670.91/672.88 c INPROCESSING
670.91/672.88 c GARBAGE COLLECT
670.91/672.88 c #Conflicts: 311000 | #Constraints: 47451
670.91/672.88 c #Conflicts: 312000 | #Constraints: 48928
670.91/672.88 c #Conflicts: 313000 | #Constraints: 50403
670.91/672.88 c #Conflicts: 314000 | #Constraints: 51886
670.91/672.88 c #Conflicts: 315000 | #Constraints: 53396
670.91/672.88 c #Conflicts: 316000 | #Constraints: 54915
670.91/672.88 c #Conflicts: 317000 | #Constraints: 56443
670.91/672.88 c #Conflicts: 318000 | #Constraints: 57949
670.91/672.88 c #Conflicts: 319000 | #Constraints: 59451
670.91/672.88 c #Conflicts: 320000 | #Constraints: 60960
670.91/672.88 c #Conflicts: 321000 | #Constraints: 62448
670.91/672.88 c INPROCESSING
670.91/672.88 c GARBAGE COLLECT
670.91/672.88 c #Conflicts: 322000 | #Constraints: 47171
670.91/672.88 c #Conflicts: 323000 | #Constraints: 48640
670.91/672.88 c #Conflicts: 324000 | #Constraints: 50133
670.91/672.88 c #Conflicts: 325000 | #Constraints: 51629
670.91/672.88 c #Conflicts: 326000 | #Constraints: 53114
670.91/672.88 c #Conflicts: 327000 | #Constraints: 54548
670.91/672.88 c #Conflicts: 328000 | #Constraints: 55948
670.91/672.88 c #Conflicts: 329000 | #Constraints: 57358
819.30/821.62 c #Conflicts: 330000 | #Constraints: 58778
819.30/821.62 c #Conflicts: 331000 | #Constraints: 60189
819.30/821.62 c #Conflicts: 332000 | #Constraints: 61593
819.30/821.62 c #Conflicts: 333000 | #Constraints: 63016
819.30/821.62 c INPROCESSING
819.30/821.62 c GARBAGE COLLECT
819.30/821.62 c #Conflicts: 334000 | #Constraints: 47750
819.30/821.62 c #Conflicts: 335000 | #Constraints: 49256
819.30/821.62 c #Conflicts: 336000 | #Constraints: 50719
819.30/821.62 c #Conflicts: 337000 | #Constraints: 52218
819.30/821.62 c #Conflicts: 338000 | #Constraints: 53736
819.30/821.62 c #Conflicts: 339000 | #Constraints: 55223
819.30/821.62 c #Conflicts: 340000 | #Constraints: 56708
819.30/821.62 c #Conflicts: 341000 | #Constraints: 58296
819.30/821.62 c #Conflicts: 342000 | #Constraints: 59815
819.30/821.62 c #Conflicts: 343000 | #Constraints: 61340
819.30/821.62 c #Conflicts: 344000 | #Constraints: 62830
819.30/821.62 c #Conflicts: 345000 | #Constraints: 64354
819.30/821.62 c INPROCESSING
819.30/821.62 c GARBAGE COLLECT
819.30/821.62 c #Conflicts: 346000 | #Constraints: 48564
819.30/821.62 c #Conflicts: 347000 | #Constraints: 50053
819.30/821.62 c #Conflicts: 348000 | #Constraints: 51561
819.30/821.62 c #Conflicts: 349000 | #Constraints: 53029
819.30/821.62 c #Conflicts: 350000 | #Constraints: 54446
819.30/821.62 c #Conflicts: 351000 | #Constraints: 55872
819.30/821.62 c #Conflicts: 352000 | #Constraints: 57347
819.30/821.62 c #Conflicts: 353000 | #Constraints: 58819
819.30/821.62 c #Conflicts: 354000 | #Constraints: 60300
819.30/821.62 c #Conflicts: 355000 | #Constraints: 61792
819.30/821.62 c #Conflicts: 356000 | #Constraints: 63274
819.30/821.62 c #Conflicts: 357000 | #Constraints: 64742
819.30/821.62 c INPROCESSING
819.30/821.62 c GARBAGE COLLECT
819.30/821.62 c #Conflicts: 358000 | #Constraints: 48738
819.30/821.62 c #Conflicts: 359000 | #Constraints: 50192
819.30/821.62 c #Conflicts: 360000 | #Constraints: 51694
819.30/821.62 c #Conflicts: 361000 | #Constraints: 53187
819.30/821.62 c #Conflicts: 362000 | #Constraints: 54709
819.30/821.62 c #Conflicts: 363000 | #Constraints: 56210
819.30/821.62 c #Conflicts: 364000 | #Constraints: 57746
819.30/821.62 c #Conflicts: 365000 | #Constraints: 59283
819.30/821.62 c #Conflicts: 366000 | #Constraints: 60774
819.30/821.62 c #Conflicts: 367000 | #Constraints: 62253
819.30/821.62 c #Conflicts: 368000 | #Constraints: 63743
819.30/821.62 c #Conflicts: 369000 | #Constraints: 65233
819.30/821.62 c INPROCESSING
819.30/821.62 c GARBAGE COLLECT
819.30/821.62 c #Conflicts: 370000 | #Constraints: 48981
819.30/821.62 c #Conflicts: 371000 | #Constraints: 50596
819.30/821.62 c #Conflicts: 372000 | #Constraints: 52129
819.30/821.62 c #Conflicts: 373000 | #Constraints: 53614
819.30/821.62 c #Conflicts: 374000 | #Constraints: 55096
819.30/821.62 c #Conflicts: 375000 | #Constraints: 56579
819.30/821.62 c #Conflicts: 376000 | #Constraints: 58060
819.30/821.62 c #Conflicts: 377000 | #Constraints: 59558
819.30/821.62 c #Conflicts: 378000 | #Constraints: 61050
819.30/821.62 c #Conflicts: 379000 | #Constraints: 62556
819.30/821.62 c #Conflicts: 380000 | #Constraints: 64033
819.30/821.62 c #Conflicts: 381000 | #Constraints: 65537
819.30/821.62 c INPROCESSING
819.30/821.62 c GARBAGE COLLECT
819.30/821.62 c #Conflicts: 382000 | #Constraints: 48705
819.30/821.62 c #Conflicts: 383000 | #Constraints: 50218
819.30/821.62 c #Conflicts: 384000 | #Constraints: 51765
819.30/821.62 c #Conflicts: 385000 | #Constraints: 53271
819.30/821.62 c #Conflicts: 386000 | #Constraints: 54778
819.30/821.62 c #Conflicts: 387000 | #Constraints: 56288
819.30/821.62 c #Conflicts: 388000 | #Constraints: 57786
819.30/821.62 c #Conflicts: 389000 | #Constraints: 59297
819.30/821.62 c #Conflicts: 390000 | #Constraints: 60795
819.30/821.62 c #Conflicts: 391000 | #Constraints: 62310
819.30/821.62 c #Conflicts: 392000 | #Constraints: 63813
819.30/821.62 c #Conflicts: 393000 | #Constraints: 65349
819.30/821.62 c #Conflicts: 394000 | #Constraints: 66817
819.30/821.62 c INPROCESSING
819.30/821.62 c GARBAGE COLLECT
819.30/821.62 c #Conflicts: 395000 | #Constraints: 49637
819.30/821.62 c #Conflicts: 396000 | #Constraints: 51128
819.30/821.62 c #Conflicts: 397000 | #Constraints: 52615
819.30/821.62 c #Conflicts: 398000 | #Constraints: 54095
819.30/821.62 c #Conflicts: 399000 | #Constraints: 55592
819.30/821.62 c #Conflicts: 400000 | #Constraints: 57109
819.30/821.62 c #Conflicts: 401000 | #Constraints: 58631
819.30/821.62 c #Conflicts: 402000 | #Constraints: 60135
819.30/821.62 c #Conflicts: 403000 | #Constraints: 61638
819.30/821.62 c #Conflicts: 404000 | #Constraints: 63142
970.60/973.39 c #Conflicts: 405000 | #Constraints: 64633
970.60/973.39 c #Conflicts: 406000 | #Constraints: 66130
970.60/973.39 c #Conflicts: 407000 | #Constraints: 67619
970.60/973.39 c INPROCESSING
970.60/973.39 c GARBAGE COLLECT
970.60/973.39 c #Conflicts: 408000 | #Constraints: 50173
970.60/973.39 c #Conflicts: 409000 | #Constraints: 51670
970.60/973.39 c #Conflicts: 410000 | #Constraints: 53163
970.60/973.39 c #Conflicts: 411000 | #Constraints: 54691
970.60/973.39 c #Conflicts: 412000 | #Constraints: 56191
970.60/973.39 c #Conflicts: 413000 | #Constraints: 57788
970.60/973.39 c #Conflicts: 414000 | #Constraints: 59356
970.60/973.39 c #Conflicts: 415000 | #Constraints: 60848
970.60/973.39 c #Conflicts: 416000 | #Constraints: 62318
970.60/973.39 c #Conflicts: 417000 | #Constraints: 63765
970.60/973.39 c #Conflicts: 418000 | #Constraints: 65272
970.60/973.39 c #Conflicts: 419000 | #Constraints: 66790
970.60/973.39 c #Conflicts: 420000 | #Constraints: 68301
970.60/973.39 c INPROCESSING
970.60/973.39 c GARBAGE COLLECT
970.60/973.39 c #Conflicts: 421000 | #Constraints: 50465
970.60/973.39 c #Conflicts: 422000 | #Constraints: 51895
970.60/973.39 c #Conflicts: 423000 | #Constraints: 53341
970.60/973.39 c #Conflicts: 424000 | #Constraints: 54884
970.60/973.39 c #Conflicts: 425000 | #Constraints: 56458
970.60/973.39 c #Conflicts: 426000 | #Constraints: 58006
970.60/973.39 c #Conflicts: 427000 | #Constraints: 59590
970.60/973.39 c #Conflicts: 428000 | #Constraints: 61154
970.60/973.39 c #Conflicts: 429000 | #Constraints: 62698
970.60/973.39 c #Conflicts: 430000 | #Constraints: 64256
970.60/973.39 c #Conflicts: 431000 | #Constraints: 65774
970.60/973.39 c #Conflicts: 432000 | #Constraints: 67324
970.60/973.39 c #Conflicts: 433000 | #Constraints: 68816
970.60/973.39 c INPROCESSING
970.60/973.39 c GARBAGE COLLECT
970.60/973.39 c #Conflicts: 434000 | #Constraints: 50670
970.60/973.39 c #Conflicts: 435000 | #Constraints: 52172
970.60/973.39 c #Conflicts: 436000 | #Constraints: 53667
970.60/973.39 c #Conflicts: 437000 | #Constraints: 55153
970.60/973.39 c #Conflicts: 438000 | #Constraints: 56632
970.60/973.39 c #Conflicts: 439000 | #Constraints: 58089
970.60/973.39 c #Conflicts: 440000 | #Constraints: 59582
970.60/973.39 c #Conflicts: 441000 | #Constraints: 61057
970.60/973.39 c #Conflicts: 442000 | #Constraints: 62543
970.60/973.39 c #Conflicts: 443000 | #Constraints: 64024
970.60/973.39 c #Conflicts: 444000 | #Constraints: 65510
970.60/973.39 c #Conflicts: 445000 | #Constraints: 66985
970.60/973.39 c #Conflicts: 446000 | #Constraints: 68452
970.60/973.39 c INPROCESSING
970.60/973.39 c GARBAGE COLLECT
970.60/973.39 c #Conflicts: 447000 | #Constraints: 50170
970.60/973.39 c #Conflicts: 448000 | #Constraints: 51673
970.60/973.39 c #Conflicts: 449000 | #Constraints: 53167
970.60/973.39 c #Conflicts: 450000 | #Constraints: 54659
970.60/973.39 c #Conflicts: 451000 | #Constraints: 56160
970.60/973.39 c #Conflicts: 452000 | #Constraints: 57646
970.60/973.39 c #Conflicts: 453000 | #Constraints: 59128
970.60/973.39 c #Conflicts: 454000 | #Constraints: 60596
970.60/973.39 c #Conflicts: 455000 | #Constraints: 62078
970.60/973.39 c #Conflicts: 456000 | #Constraints: 63545
970.60/973.39 c #Conflicts: 457000 | #Constraints: 65041
970.60/973.39 c #Conflicts: 458000 | #Constraints: 66515
970.60/973.39 c #Conflicts: 459000 | #Constraints: 68016
970.60/973.39 c #Conflicts: 460000 | #Constraints: 69500
970.60/973.39 c INPROCESSING
970.60/973.39 c GARBAGE COLLECT
970.60/973.39 c #Conflicts: 461000 | #Constraints: 51046
970.60/973.39 c #Conflicts: 462000 | #Constraints: 52575
970.60/973.39 c #Conflicts: 463000 | #Constraints: 54062
970.60/973.39 c #Conflicts: 464000 | #Constraints: 55557
970.60/973.39 c #Conflicts: 465000 | #Constraints: 57036
970.60/973.39 c #Conflicts: 466000 | #Constraints: 58542
970.60/973.39 c #Conflicts: 467000 | #Constraints: 60015
970.60/973.39 c #Conflicts: 468000 | #Constraints: 61506
970.60/973.39 c #Conflicts: 469000 | #Constraints: 62997
970.60/973.39 c #Conflicts: 470000 | #Constraints: 64484
970.60/973.39 c #Conflicts: 471000 | #Constraints: 65969
970.60/973.39 c #Conflicts: 472000 | #Constraints: 67512
970.60/973.39 c #Conflicts: 473000 | #Constraints: 69020
970.60/973.39 c #Conflicts: 474000 | #Constraints: 70558
970.60/973.39 c INPROCESSING
970.60/973.39 c GARBAGE COLLECT
970.60/973.39 c #Conflicts: 475000 | #Constraints: 51676
970.60/973.39 c #Conflicts: 476000 | #Constraints: 53172
970.60/973.39 c #Conflicts: 477000 | #Constraints: 54660
970.60/973.39 c #Conflicts: 478000 | #Constraints: 56154
970.60/973.39 c #Conflicts: 479000 | #Constraints: 57670
1122.40/1125.54 c #Conflicts: 480000 | #Constraints: 59178
1122.40/1125.54 c #Conflicts: 481000 | #Constraints: 60702
1122.40/1125.54 c #Conflicts: 482000 | #Constraints: 62221
1122.40/1125.54 c #Conflicts: 483000 | #Constraints: 63719
1122.40/1125.54 c #Conflicts: 484000 | #Constraints: 65237
1122.40/1125.54 c #Conflicts: 485000 | #Constraints: 66734
1122.40/1125.54 c #Conflicts: 486000 | #Constraints: 68267
1122.40/1125.54 c #Conflicts: 487000 | #Constraints: 69789
1122.40/1125.54 c #Conflicts: 488000 | #Constraints: 71310
1122.40/1125.54 c INPROCESSING
1122.40/1125.54 c GARBAGE COLLECT
1122.40/1125.54 c #Conflicts: 489000 | #Constraints: 52049
1122.40/1125.54 c #Conflicts: 490000 | #Constraints: 53564
1122.40/1125.54 c #Conflicts: 491000 | #Constraints: 55115
1122.40/1125.54 c #Conflicts: 492000 | #Constraints: 56632
1122.40/1125.54 c #Conflicts: 493000 | #Constraints: 58149
1122.40/1125.54 c #Conflicts: 494000 | #Constraints: 59665
1122.40/1125.54 c #Conflicts: 495000 | #Constraints: 61155
1122.40/1125.54 c #Conflicts: 496000 | #Constraints: 62672
1122.40/1125.54 c #Conflicts: 497000 | #Constraints: 64210
1122.40/1125.54 c #Conflicts: 498000 | #Constraints: 65744
1122.40/1125.54 c #Conflicts: 499000 | #Constraints: 67294
1122.40/1125.54 c #Conflicts: 500000 | #Constraints: 68832
1122.40/1125.54 c #Conflicts: 501000 | #Constraints: 70309
1122.40/1125.54 c #Conflicts: 502000 | #Constraints: 71823
1122.40/1125.54 c INPROCESSING
1122.40/1125.54 c GARBAGE COLLECT
1122.40/1125.54 c #Conflicts: 503000 | #Constraints: 52174
1122.40/1125.54 c #Conflicts: 504000 | #Constraints: 53691
1122.40/1125.54 c #Conflicts: 505000 | #Constraints: 55194
1122.40/1125.54 c #Conflicts: 506000 | #Constraints: 56686
1122.40/1125.54 c #Conflicts: 507000 | #Constraints: 58166
1122.40/1125.54 c #Conflicts: 508000 | #Constraints: 59672
1122.40/1125.54 c #Conflicts: 509000 | #Constraints: 61158
1122.40/1125.54 c #Conflicts: 510000 | #Constraints: 62652
1122.40/1125.54 c #Conflicts: 511000 | #Constraints: 64149
1122.40/1125.54 c #Conflicts: 512000 | #Constraints: 65634
1122.40/1125.54 c #Conflicts: 513000 | #Constraints: 67120
1122.40/1125.54 c #Conflicts: 514000 | #Constraints: 68597
1122.40/1125.54 c #Conflicts: 515000 | #Constraints: 70105
1122.40/1125.54 c #Conflicts: 516000 | #Constraints: 71626
1122.40/1125.54 c INPROCESSING
1122.40/1125.54 c GARBAGE COLLECT
1122.40/1125.54 c #Conflicts: 517000 | #Constraints: 51752
1122.40/1125.54 c #Conflicts: 518000 | #Constraints: 53251
1122.40/1125.54 c #Conflicts: 519000 | #Constraints: 54750
1122.40/1125.54 c #Conflicts: 520000 | #Constraints: 56233
1122.40/1125.54 c #Conflicts: 521000 | #Constraints: 57723
1122.40/1125.54 c #Conflicts: 522000 | #Constraints: 59217
1122.40/1125.54 c #Conflicts: 523000 | #Constraints: 60725
1122.40/1125.54 c #Conflicts: 524000 | #Constraints: 62229
1122.40/1125.54 c #Conflicts: 525000 | #Constraints: 63768
1122.40/1125.54 c #Conflicts: 526000 | #Constraints: 65276
1122.40/1125.54 c #Conflicts: 527000 | #Constraints: 66752
1122.40/1125.54 c #Conflicts: 528000 | #Constraints: 68228
1122.40/1125.54 c #Conflicts: 529000 | #Constraints: 69711
1122.40/1125.54 c #Conflicts: 530000 | #Constraints: 71249
1122.40/1125.54 c #Conflicts: 531000 | #Constraints: 72765
1122.40/1125.54 c INPROCESSING
1122.40/1125.54 c GARBAGE COLLECT
1122.40/1125.54 c #Conflicts: 532000 | #Constraints: 52608
1122.40/1125.54 c #Conflicts: 533000 | #Constraints: 54075
1122.40/1125.54 c #Conflicts: 534000 | #Constraints: 55566
1122.40/1125.54 c #Conflicts: 535000 | #Constraints: 57057
1122.40/1125.54 c #Conflicts: 536000 | #Constraints: 58563
1122.40/1125.54 c #Conflicts: 537000 | #Constraints: 60097
1122.40/1125.54 c #Conflicts: 538000 | #Constraints: 61576
1122.40/1125.54 c #Conflicts: 539000 | #Constraints: 63105
1122.40/1125.54 c #Conflicts: 540000 | #Constraints: 64660
1122.40/1125.54 c #Conflicts: 541000 | #Constraints: 66129
1122.40/1125.54 c #Conflicts: 542000 | #Constraints: 67637
1122.40/1125.54 c #Conflicts: 543000 | #Constraints: 69161
1122.40/1125.54 c #Conflicts: 544000 | #Constraints: 70667
1122.40/1125.54 c #Conflicts: 545000 | #Constraints: 72168
1122.40/1125.54 c #Conflicts: 546000 | #Constraints: 73657
1122.40/1125.54 c INPROCESSING
1122.40/1125.54 c GARBAGE COLLECT
1122.40/1125.54 c #Conflicts: 547000 | #Constraints: 53213
1122.40/1125.54 c #Conflicts: 548000 | #Constraints: 54699
1122.40/1125.54 c #Conflicts: 549000 | #Constraints: 56199
1122.40/1125.54 c #Conflicts: 550000 | #Constraints: 57693
1122.40/1125.54 c #Conflicts: 551000 | #Constraints: 59186
1122.40/1125.54 c #Conflicts: 552000 | #Constraints: 60666
1122.40/1125.54 c #Conflicts: 553000 | #Constraints: 62165
1122.40/1125.54 c #Conflicts: 554000 | #Constraints: 63639
1122.40/1125.54 c #Conflicts: 555000 | #Constraints: 65122
1273.39/1276.94 c #Conflicts: 556000 | #Constraints: 66598
1273.39/1276.94 c #Conflicts: 557000 | #Constraints: 68092
1273.39/1276.94 c #Conflicts: 558000 | #Constraints: 69583
1273.39/1276.94 c #Conflicts: 559000 | #Constraints: 71088
1273.39/1276.94 c #Conflicts: 560000 | #Constraints: 72618
1273.39/1276.94 c #Conflicts: 561000 | #Constraints: 74118
1273.39/1276.94 c INPROCESSING
1273.39/1276.94 c GARBAGE COLLECT
1273.39/1276.94 c #Conflicts: 562000 | #Constraints: 53421
1273.39/1276.94 c #Conflicts: 563000 | #Constraints: 54921
1273.39/1276.94 c #Conflicts: 564000 | #Constraints: 56458
1273.39/1276.94 c #Conflicts: 565000 | #Constraints: 57934
1273.39/1276.94 c #Conflicts: 566000 | #Constraints: 59439
1273.39/1276.94 c #Conflicts: 567000 | #Constraints: 60939
1273.39/1276.94 c #Conflicts: 568000 | #Constraints: 62456
1273.39/1276.94 c #Conflicts: 569000 | #Constraints: 64022
1273.39/1276.94 c #Conflicts: 570000 | #Constraints: 65529
1273.39/1276.94 c #Conflicts: 571000 | #Constraints: 67054
1273.39/1276.94 c #Conflicts: 572000 | #Constraints: 68607
1273.39/1276.94 c #Conflicts: 573000 | #Constraints: 70102
1273.39/1276.94 c #Conflicts: 574000 | #Constraints: 71600
1273.39/1276.94 c #Conflicts: 575000 | #Constraints: 73095
1273.39/1276.94 c #Conflicts: 576000 | #Constraints: 74583
1273.39/1276.94 c INPROCESSING
1273.39/1276.94 c GARBAGE COLLECT
1273.39/1276.94 c #Conflicts: 577000 | #Constraints: 53534
1273.39/1276.94 c #Conflicts: 578000 | #Constraints: 55049
1273.39/1276.94 c #Conflicts: 579000 | #Constraints: 56587
1273.39/1276.94 c #Conflicts: 580000 | #Constraints: 58093
1273.39/1276.94 c #Conflicts: 581000 | #Constraints: 59610
1273.39/1276.94 c #Conflicts: 582000 | #Constraints: 61117
1273.39/1276.94 c #Conflicts: 583000 | #Constraints: 62566
1273.39/1276.94 c #Conflicts: 584000 | #Constraints: 64034
1273.39/1276.94 c #Conflicts: 585000 | #Constraints: 65549
1273.39/1276.94 c #Conflicts: 586000 | #Constraints: 67038
1273.39/1276.94 c #Conflicts: 587000 | #Constraints: 68554
1273.39/1276.94 c #Conflicts: 588000 | #Constraints: 70052
1273.39/1276.94 c #Conflicts: 589000 | #Constraints: 71569
1273.39/1276.94 c #Conflicts: 590000 | #Constraints: 73038
1273.39/1276.94 c #Conflicts: 591000 | #Constraints: 74599
1273.39/1276.94 c INPROCESSING
1273.39/1276.94 c GARBAGE COLLECT
1273.39/1276.94 c #Conflicts: 592000 | #Constraints: 53235
1273.39/1276.94 c #Conflicts: 593000 | #Constraints: 54697
1273.39/1276.94 c #Conflicts: 594000 | #Constraints: 56166
1273.39/1276.94 c #Conflicts: 595000 | #Constraints: 57643
1273.39/1276.94 c #Conflicts: 596000 | #Constraints: 59123
1273.39/1276.94 c #Conflicts: 597000 | #Constraints: 60589
1273.39/1276.94 c #Conflicts: 598000 | #Constraints: 62066
1273.39/1276.94 c #Conflicts: 599000 | #Constraints: 63572
1273.39/1276.94 c #Conflicts: 600000 | #Constraints: 65076
1273.39/1276.94 c #Conflicts: 601000 | #Constraints: 66575
1273.39/1276.94 c #Conflicts: 602000 | #Constraints: 68065
1273.39/1276.94 c #Conflicts: 603000 | #Constraints: 69570
1273.39/1276.94 c #Conflicts: 604000 | #Constraints: 71068
1273.39/1276.94 c #Conflicts: 605000 | #Constraints: 72554
1273.39/1276.94 c #Conflicts: 606000 | #Constraints: 74056
1273.39/1276.94 c #Conflicts: 607000 | #Constraints: 75533
1273.39/1276.94 c INPROCESSING
1273.39/1276.94 c GARBAGE COLLECT
1273.39/1276.94 c #Conflicts: 608000 | #Constraints: 53980
1273.39/1276.94 c #Conflicts: 609000 | #Constraints: 55455
1273.39/1276.94 c #Conflicts: 610000 | #Constraints: 56931
1273.39/1276.94 c #Conflicts: 611000 | #Constraints: 58429
1273.39/1276.94 c #Conflicts: 612000 | #Constraints: 59906
1273.39/1276.94 c #Conflicts: 613000 | #Constraints: 61393
1273.39/1276.94 c #Conflicts: 614000 | #Constraints: 62885
1273.39/1276.94 c #Conflicts: 615000 | #Constraints: 64366
1273.39/1276.94 c #Conflicts: 616000 | #Constraints: 65874
1273.39/1276.94 c #Conflicts: 617000 | #Constraints: 67369
1273.39/1276.94 c #Conflicts: 618000 | #Constraints: 68885
1273.39/1276.94 c #Conflicts: 619000 | #Constraints: 70374
1273.39/1276.94 c #Conflicts: 620000 | #Constraints: 71866
1273.39/1276.94 c #Conflicts: 621000 | #Constraints: 73369
1273.39/1276.94 c #Conflicts: 622000 | #Constraints: 74863
1273.39/1276.94 c #Conflicts: 623000 | #Constraints: 76384
1273.39/1276.94 c INPROCESSING
1273.39/1276.94 c GARBAGE COLLECT
1273.39/1276.94 c #Conflicts: 624000 | #Constraints: 54614
1273.39/1276.94 c #Conflicts: 625000 | #Constraints: 56090
1273.39/1276.94 c #Conflicts: 626000 | #Constraints: 57570
1273.39/1276.94 c #Conflicts: 627000 | #Constraints: 59063
1273.39/1276.94 c #Conflicts: 628000 | #Constraints: 60589
1273.39/1276.94 c #Conflicts: 629000 | #Constraints: 62144
1273.39/1276.94 c #Conflicts: 630000 | #Constraints: 63650
1429.78/1433.74 c #Conflicts: 631000 | #Constraints: 65162
1429.78/1433.74 c #Conflicts: 632000 | #Constraints: 66670
1429.78/1433.74 c #Conflicts: 633000 | #Constraints: 68196
1429.78/1433.74 c #Conflicts: 634000 | #Constraints: 69693
1429.78/1433.74 c #Conflicts: 635000 | #Constraints: 71216
1429.78/1433.74 c #Conflicts: 636000 | #Constraints: 72724
1429.78/1433.74 c #Conflicts: 637000 | #Constraints: 74249
1429.78/1433.74 c #Conflicts: 638000 | #Constraints: 75751
1429.78/1433.74 c #Conflicts: 639000 | #Constraints: 77228
1429.78/1433.74 c INPROCESSING
1429.78/1433.74 c GARBAGE COLLECT
1429.78/1433.74 c #Conflicts: 640000 | #Constraints: 55020
1429.78/1433.74 c #Conflicts: 641000 | #Constraints: 56454
1429.78/1433.74 c #Conflicts: 642000 | #Constraints: 57964
1429.78/1433.74 c #Conflicts: 643000 | #Constraints: 59452
1429.78/1433.74 c #Conflicts: 644000 | #Constraints: 60922
1429.78/1433.74 c #Conflicts: 645000 | #Constraints: 62411
1429.78/1433.74 c #Conflicts: 646000 | #Constraints: 63960
1429.78/1433.74 c #Conflicts: 647000 | #Constraints: 65426
1429.78/1433.74 c #Conflicts: 648000 | #Constraints: 66899
1429.78/1433.74 c #Conflicts: 649000 | #Constraints: 68374
1429.78/1433.74 c #Conflicts: 650000 | #Constraints: 69881
1429.78/1433.74 c #Conflicts: 651000 | #Constraints: 71417
1429.78/1433.74 c #Conflicts: 652000 | #Constraints: 72945
1429.78/1433.74 c #Conflicts: 653000 | #Constraints: 74449
1429.78/1433.74 c #Conflicts: 654000 | #Constraints: 75943
1429.78/1433.74 c #Conflicts: 655000 | #Constraints: 77474
1429.78/1433.74 c INPROCESSING
1429.78/1433.74 c GARBAGE COLLECT
1429.78/1433.74 c #Conflicts: 656000 | #Constraints: 54931
1429.78/1433.74 c #Conflicts: 657000 | #Constraints: 56451
1429.78/1433.74 c #Conflicts: 658000 | #Constraints: 58039
1429.78/1433.74 c #Conflicts: 659000 | #Constraints: 59568
1429.78/1433.74 c #Conflicts: 660000 | #Constraints: 61093
1429.78/1433.74 c #Conflicts: 661000 | #Constraints: 62594
1429.78/1433.74 c #Conflicts: 662000 | #Constraints: 64099
1429.78/1433.74 c #Conflicts: 663000 | #Constraints: 65627
1429.78/1433.74 c #Conflicts: 664000 | #Constraints: 67134
1429.78/1433.74 c #Conflicts: 665000 | #Constraints: 68619
1429.78/1433.74 c #Conflicts: 666000 | #Constraints: 70115
1429.78/1433.74 c #Conflicts: 667000 | #Constraints: 71655
1429.78/1433.74 c #Conflicts: 668000 | #Constraints: 73213
1429.78/1433.74 c #Conflicts: 669000 | #Constraints: 74712
1429.78/1433.74 c #Conflicts: 670000 | #Constraints: 76201
1429.78/1433.74 c #Conflicts: 671000 | #Constraints: 77699
1429.78/1433.74 c INPROCESSING
1429.78/1433.74 c GARBAGE COLLECT
1429.78/1433.74 c #Conflicts: 672000 | #Constraints: 54807
1429.78/1433.74 c #Conflicts: 673000 | #Constraints: 56314
1429.78/1433.74 c #Conflicts: 674000 | #Constraints: 57797
1429.78/1433.74 c #Conflicts: 675000 | #Constraints: 59338
1429.78/1433.74 c #Conflicts: 676000 | #Constraints: 60852
1429.78/1433.74 c #Conflicts: 677000 | #Constraints: 62365
1429.78/1433.74 c #Conflicts: 678000 | #Constraints: 63883
1429.78/1433.74 c #Conflicts: 679000 | #Constraints: 65416
1429.78/1433.74 c #Conflicts: 680000 | #Constraints: 66953
1429.78/1433.74 c #Conflicts: 681000 | #Constraints: 68485
1429.78/1433.74 c #Conflicts: 682000 | #Constraints: 70013
1429.78/1433.74 c #Conflicts: 683000 | #Constraints: 71556
1429.78/1433.74 c #Conflicts: 684000 | #Constraints: 73051
1429.78/1433.74 c #Conflicts: 685000 | #Constraints: 74558
1429.78/1433.74 c #Conflicts: 686000 | #Constraints: 76053
1429.78/1433.74 c #Conflicts: 687000 | #Constraints: 77537
1429.78/1433.74 c #Conflicts: 688000 | #Constraints: 79047
1429.78/1433.74 c INPROCESSING
1429.78/1433.74 c GARBAGE COLLECT
1429.78/1433.74 c #Conflicts: 689000 | #Constraints: 55767
1429.78/1433.74 c #Conflicts: 690000 | #Constraints: 57273
1429.78/1433.74 c #Conflicts: 691000 | #Constraints: 58753
1429.78/1433.74 c #Conflicts: 692000 | #Constraints: 60250
1429.78/1433.74 c #Conflicts: 693000 | #Constraints: 61713
1429.78/1433.74 c #Conflicts: 694000 | #Constraints: 63193
1429.78/1433.74 c #Conflicts: 695000 | #Constraints: 64711
1429.78/1433.74 c #Conflicts: 696000 | #Constraints: 66208
1429.78/1433.74 c #Conflicts: 697000 | #Constraints: 67691
1429.78/1433.74 c #Conflicts: 698000 | #Constraints: 69191
1429.78/1433.74 c #Conflicts: 699000 | #Constraints: 70702
1429.78/1433.74 c #Conflicts: 700000 | #Constraints: 72236
1429.78/1433.74 c #Conflicts: 701000 | #Constraints: 73780
1429.78/1433.74 c #Conflicts: 702000 | #Constraints: 75314
1429.78/1433.74 c #Conflicts: 703000 | #Constraints: 76860
1429.78/1433.74 c #Conflicts: 704000 | #Constraints: 78445
1429.78/1433.74 c #Conflicts: 705000 | #Constraints: 80012
1429.78/1433.74 c INPROCESSING
1429.78/1433.74 c GARBAGE COLLECT
1429.78/1433.74 c #Conflicts: 706000 | #Constraints: 56383
1585.57/1589.96 c #Conflicts: 707000 | #Constraints: 57858
1585.57/1589.96 c #Conflicts: 708000 | #Constraints: 59344
1585.57/1589.96 c #Conflicts: 709000 | #Constraints: 60870
1585.57/1589.96 c #Conflicts: 710000 | #Constraints: 62376
1585.57/1589.96 c #Conflicts: 711000 | #Constraints: 63847
1585.57/1589.96 c #Conflicts: 712000 | #Constraints: 65333
1585.57/1589.96 c #Conflicts: 713000 | #Constraints: 66843
1585.57/1589.96 c #Conflicts: 714000 | #Constraints: 68370
1585.57/1589.96 c #Conflicts: 715000 | #Constraints: 69914
1585.57/1589.96 c #Conflicts: 716000 | #Constraints: 71453
1585.57/1589.96 c #Conflicts: 717000 | #Constraints: 73047
1585.57/1589.96 c #Conflicts: 718000 | #Constraints: 74638
1585.57/1589.96 c #Conflicts: 719000 | #Constraints: 76244
1585.57/1589.96 c #Conflicts: 720000 | #Constraints: 77778
1585.57/1589.96 c #Conflicts: 721000 | #Constraints: 79346
1585.57/1589.96 c #Conflicts: 722000 | #Constraints: 80864
1585.57/1589.96 c INPROCESSING
1585.57/1589.96 c GARBAGE COLLECT
1585.57/1589.96 c #Conflicts: 723000 | #Constraints: 56796
1585.57/1589.96 c #Conflicts: 724000 | #Constraints: 58286
1585.57/1589.96 c #Conflicts: 725000 | #Constraints: 59769
1585.57/1589.96 c #Conflicts: 726000 | #Constraints: 61240
1585.57/1589.96 c #Conflicts: 727000 | #Constraints: 62723
1585.57/1589.96 c #Conflicts: 728000 | #Constraints: 64222
1585.57/1589.96 c #Conflicts: 729000 | #Constraints: 65699
1585.57/1589.96 c #Conflicts: 730000 | #Constraints: 67186
1585.57/1589.96 c #Conflicts: 731000 | #Constraints: 68659
1585.57/1589.96 c #Conflicts: 732000 | #Constraints: 70148
1585.57/1589.96 c #Conflicts: 733000 | #Constraints: 71673
1585.57/1589.96 c #Conflicts: 734000 | #Constraints: 73137
1585.57/1589.96 c #Conflicts: 735000 | #Constraints: 74638
1585.57/1589.96 c #Conflicts: 736000 | #Constraints: 76137
1585.57/1589.96 c #Conflicts: 737000 | #Constraints: 77605
1585.57/1589.96 c #Conflicts: 738000 | #Constraints: 79092
1585.57/1589.96 c #Conflicts: 739000 | #Constraints: 80561
1585.57/1589.96 c INPROCESSING
1585.57/1589.96 c GARBAGE COLLECT
1585.57/1589.96 c #Conflicts: 740000 | #Constraints: 56518
1585.57/1589.96 c #Conflicts: 741000 | #Constraints: 58036
1585.57/1589.96 c #Conflicts: 742000 | #Constraints: 59528
1585.57/1589.96 c #Conflicts: 743000 | #Constraints: 61021
1585.57/1589.96 c #Conflicts: 744000 | #Constraints: 62525
1585.57/1589.96 c #Conflicts: 745000 | #Constraints: 64073
1585.57/1589.96 c #Conflicts: 746000 | #Constraints: 65627
1585.57/1589.96 c #Conflicts: 747000 | #Constraints: 67133
1585.57/1589.96 c #Conflicts: 748000 | #Constraints: 68667
1585.57/1589.96 c #Conflicts: 749000 | #Constraints: 70178
1585.57/1589.96 c #Conflicts: 750000 | #Constraints: 71698
1585.57/1589.96 c #Conflicts: 751000 | #Constraints: 73204
1585.57/1589.96 c #Conflicts: 752000 | #Constraints: 74716
1585.57/1589.96 c #Conflicts: 753000 | #Constraints: 76205
1585.57/1589.96 c #Conflicts: 754000 | #Constraints: 77753
1585.57/1589.96 c #Conflicts: 755000 | #Constraints: 79235
1585.57/1589.96 c #Conflicts: 756000 | #Constraints: 80727
1585.57/1589.96 c INPROCESSING
1585.57/1589.96 c GARBAGE COLLECT
1585.57/1589.96 c #Conflicts: 757000 | #Constraints: 56309
1585.57/1589.96 c #Conflicts: 758000 | #Constraints: 57810
1585.57/1589.96 c #Conflicts: 759000 | #Constraints: 59311
1585.57/1589.96 c #Conflicts: 760000 | #Constraints: 60823
1585.57/1589.96 c #Conflicts: 761000 | #Constraints: 62347
1585.57/1589.96 c #Conflicts: 762000 | #Constraints: 63883
1585.57/1589.96 c #Conflicts: 763000 | #Constraints: 65408
1585.57/1589.96 c #Conflicts: 764000 | #Constraints: 66901
1585.57/1589.96 c #Conflicts: 765000 | #Constraints: 68412
1585.57/1589.96 c #Conflicts: 766000 | #Constraints: 69945
1585.57/1589.96 c #Conflicts: 767000 | #Constraints: 71418
1585.57/1589.96 c #Conflicts: 768000 | #Constraints: 72983
1585.57/1589.96 c #Conflicts: 769000 | #Constraints: 74491
1585.57/1589.96 c #Conflicts: 770000 | #Constraints: 75980
1585.57/1589.96 c #Conflicts: 771000 | #Constraints: 77476
1585.57/1589.96 c #Conflicts: 772000 | #Constraints: 79055
1585.57/1589.96 c #Conflicts: 773000 | #Constraints: 80523
1585.57/1589.96 c #Conflicts: 774000 | #Constraints: 82013
1585.57/1589.96 c INPROCESSING
1585.57/1589.96 c GARBAGE COLLECT
1585.57/1589.96 c #Conflicts: 775000 | #Constraints: 57242
1585.57/1589.96 c #Conflicts: 776000 | #Constraints: 58723
1585.57/1589.96 c #Conflicts: 777000 | #Constraints: 60277
1585.57/1589.96 c #Conflicts: 778000 | #Constraints: 61771
1585.57/1589.96 c #Conflicts: 779000 | #Constraints: 63268
1585.57/1589.96 c #Conflicts: 780000 | #Constraints: 64674
1585.57/1589.96 c #Conflicts: 781000 | #Constraints: 66044
1585.57/1589.96 c #Conflicts: 782000 | #Constraints: 67407
1743.85/1748.65 c #Conflicts: 783000 | #Constraints: 68934
1743.85/1748.65 c #Conflicts: 784000 | #Constraints: 70451
1743.85/1748.65 c #Conflicts: 785000 | #Constraints: 71998
1743.85/1748.65 c #Conflicts: 786000 | #Constraints: 73595
1743.85/1748.65 c #Conflicts: 787000 | #Constraints: 75168
1743.85/1748.65 c #Conflicts: 788000 | #Constraints: 76758
1743.85/1748.65 c #Conflicts: 789000 | #Constraints: 78278
1743.85/1748.65 c #Conflicts: 790000 | #Constraints: 79818
1743.85/1748.65 c #Conflicts: 791000 | #Constraints: 81359
1743.85/1748.65 c #Conflicts: 792000 | #Constraints: 82870
1743.85/1748.65 c INPROCESSING
1743.85/1748.65 c GARBAGE COLLECT
1743.85/1748.65 c #Conflicts: 793000 | #Constraints: 57881
1743.85/1748.65 c #Conflicts: 794000 | #Constraints: 59351
1743.85/1748.65 c #Conflicts: 795000 | #Constraints: 60908
1743.85/1748.65 c #Conflicts: 796000 | #Constraints: 62522
1743.85/1748.65 c #Conflicts: 797000 | #Constraints: 64097
1743.85/1748.65 c #Conflicts: 798000 | #Constraints: 65586
1743.85/1748.65 c #Conflicts: 799000 | #Constraints: 67066
1743.85/1748.65 c #Conflicts: 800000 | #Constraints: 68578
1743.85/1748.65 c #Conflicts: 801000 | #Constraints: 70064
1743.85/1748.65 c #Conflicts: 802000 | #Constraints: 71528
1743.85/1748.65 c #Conflicts: 803000 | #Constraints: 73003
1743.85/1748.65 c #Conflicts: 804000 | #Constraints: 74523
1743.85/1748.65 c #Conflicts: 805000 | #Constraints: 76054
1743.85/1748.65 c #Conflicts: 806000 | #Constraints: 77525
1743.85/1748.65 c #Conflicts: 807000 | #Constraints: 78993
1743.85/1748.65 c #Conflicts: 808000 | #Constraints: 80476
1743.85/1748.65 c #Conflicts: 809000 | #Constraints: 81966
1743.85/1748.65 c #Conflicts: 810000 | #Constraints: 83458
1743.85/1748.65 c INPROCESSING
1743.85/1748.65 c GARBAGE COLLECT
1743.85/1748.65 c #Conflicts: 811000 | #Constraints: 58098
1743.85/1748.65 c #Conflicts: 812000 | #Constraints: 59588
1743.85/1748.65 c #Conflicts: 813000 | #Constraints: 61097
1743.85/1748.65 c #Conflicts: 814000 | #Constraints: 62581
1743.85/1748.65 c #Conflicts: 815000 | #Constraints: 64112
1743.85/1748.65 c #Conflicts: 816000 | #Constraints: 65664
1743.85/1748.65 c #Conflicts: 817000 | #Constraints: 67227
1743.85/1748.65 c #Conflicts: 818000 | #Constraints: 68746
1743.85/1748.65 c #Conflicts: 819000 | #Constraints: 70335
1743.85/1748.65 c #Conflicts: 820000 | #Constraints: 71853
1743.85/1748.65 c #Conflicts: 821000 | #Constraints: 73352
1743.85/1748.65 c #Conflicts: 822000 | #Constraints: 74838
1743.85/1748.65 c #Conflicts: 823000 | #Constraints: 76339
1743.85/1748.65 c #Conflicts: 824000 | #Constraints: 77859
1743.85/1748.65 c #Conflicts: 825000 | #Constraints: 79425
1743.85/1748.65 c #Conflicts: 826000 | #Constraints: 81000
1743.85/1748.65 c #Conflicts: 827000 | #Constraints: 82528
1743.85/1748.65 c #Conflicts: 828000 | #Constraints: 84050
1743.85/1748.65 c INPROCESSING
1743.85/1748.65 c GARBAGE COLLECT
1743.85/1748.65 c #Conflicts: 829000 | #Constraints: 58279
1743.85/1748.65 c #Conflicts: 830000 | #Constraints: 59787
1743.85/1748.65 c #Conflicts: 831000 | #Constraints: 61314
1743.85/1748.65 c #Conflicts: 832000 | #Constraints: 62838
1743.85/1748.65 c #Conflicts: 833000 | #Constraints: 64365
1743.85/1748.65 c #Conflicts: 834000 | #Constraints: 65849
1743.85/1748.65 c #Conflicts: 835000 | #Constraints: 67334
1743.85/1748.65 c #Conflicts: 836000 | #Constraints: 68810
1743.85/1748.65 c #Conflicts: 837000 | #Constraints: 70307
1743.85/1748.65 c #Conflicts: 838000 | #Constraints: 71794
1743.85/1748.65 c #Conflicts: 839000 | #Constraints: 73282
1743.85/1748.65 c #Conflicts: 840000 | #Constraints: 74776
1743.85/1748.65 c #Conflicts: 841000 | #Constraints: 76277
1743.85/1748.65 c #Conflicts: 842000 | #Constraints: 77763
1743.85/1748.65 c #Conflicts: 843000 | #Constraints: 79242
1743.85/1748.65 c #Conflicts: 844000 | #Constraints: 80718
1743.85/1748.65 c #Conflicts: 845000 | #Constraints: 82198
1743.85/1748.65 c #Conflicts: 846000 | #Constraints: 83669
1743.85/1748.65 c INPROCESSING
1743.85/1748.65 c GARBAGE COLLECT
1743.85/1748.65 c #Conflicts: 847000 | #Constraints: 57782
1743.85/1748.65 c #Conflicts: 848000 | #Constraints: 59239
1743.85/1748.65 c #Conflicts: 849000 | #Constraints: 60733
1743.85/1748.65 c #Conflicts: 850000 | #Constraints: 62234
1743.85/1748.65 c #Conflicts: 851000 | #Constraints: 63744
1743.85/1748.65 c #Conflicts: 852000 | #Constraints: 65225
1743.85/1748.65 c #Conflicts: 853000 | #Constraints: 66724
1743.85/1748.65 c #Conflicts: 854000 | #Constraints: 68262
1743.85/1748.65 c #Conflicts: 855000 | #Constraints: 69762
1743.85/1748.65 c #Conflicts: 856000 | #Constraints: 71304
1743.85/1748.65 c #Conflicts: 857000 | #Constraints: 72844
1743.85/1748.65 c #Conflicts: 858000 | #Constraints: 74363
1900.95/1906.17 c #Conflicts: 859000 | #Constraints: 75877
1900.95/1906.17 c #Conflicts: 860000 | #Constraints: 77377
1900.95/1906.17 c #Conflicts: 861000 | #Constraints: 78890
1900.95/1906.17 c #Conflicts: 862000 | #Constraints: 80432
1900.95/1906.17 c #Conflicts: 863000 | #Constraints: 81943
1900.95/1906.17 c #Conflicts: 864000 | #Constraints: 83460
1900.95/1906.17 c #Conflicts: 865000 | #Constraints: 84969
1900.95/1906.17 c INPROCESSING
1900.95/1906.17 c GARBAGE COLLECT
1900.95/1906.17 c #Conflicts: 866000 | #Constraints: 58743
1900.95/1906.17 c #Conflicts: 867000 | #Constraints: 60270
1900.95/1906.17 c #Conflicts: 868000 | #Constraints: 61792
1900.95/1906.17 c #Conflicts: 869000 | #Constraints: 63292
1900.95/1906.17 c #Conflicts: 870000 | #Constraints: 64775
1900.95/1906.17 c #Conflicts: 871000 | #Constraints: 66306
1900.95/1906.17 c #Conflicts: 872000 | #Constraints: 67728
1900.95/1906.17 c #Conflicts: 873000 | #Constraints: 69214
1900.95/1906.17 c #Conflicts: 874000 | #Constraints: 70722
1900.95/1906.17 c #Conflicts: 875000 | #Constraints: 72228
1900.95/1906.17 c #Conflicts: 876000 | #Constraints: 73699
1900.95/1906.17 c #Conflicts: 877000 | #Constraints: 75154
1900.95/1906.17 c #Conflicts: 878000 | #Constraints: 76644
1900.95/1906.17 c #Conflicts: 879000 | #Constraints: 78152
1900.95/1906.17 c #Conflicts: 880000 | #Constraints: 79712
1900.95/1906.17 c #Conflicts: 881000 | #Constraints: 81207
1900.95/1906.17 c #Conflicts: 882000 | #Constraints: 82700
1900.95/1906.17 c #Conflicts: 883000 | #Constraints: 84204
1900.95/1906.17 c #Conflicts: 884000 | #Constraints: 85783
1900.95/1906.17 c INPROCESSING
1900.95/1906.17 c GARBAGE COLLECT
1900.95/1906.17 c #Conflicts: 885000 | #Constraints: 59282
1900.95/1906.17 c #Conflicts: 886000 | #Constraints: 60768
1900.95/1906.17 c #Conflicts: 887000 | #Constraints: 62246
1900.95/1906.17 c #Conflicts: 888000 | #Constraints: 63745
1900.95/1906.17 c #Conflicts: 889000 | #Constraints: 65230
1900.95/1906.17 c #Conflicts: 890000 | #Constraints: 66702
1900.95/1906.17 c #Conflicts: 891000 | #Constraints: 68179
1900.95/1906.17 c #Conflicts: 892000 | #Constraints: 69665
1900.95/1906.17 c #Conflicts: 893000 | #Constraints: 71156
1900.95/1906.17 c #Conflicts: 894000 | #Constraints: 72646
1900.95/1906.17 c #Conflicts: 895000 | #Constraints: 74127
1900.95/1906.17 c #Conflicts: 896000 | #Constraints: 75625
1900.95/1906.17 c #Conflicts: 897000 | #Constraints: 77074
1900.95/1906.17 c #Conflicts: 898000 | #Constraints: 78567
1900.95/1906.17 c #Conflicts: 899000 | #Constraints: 80092
1900.95/1906.17 c #Conflicts: 900000 | #Constraints: 81580
1900.95/1906.17 c #Conflicts: 901000 | #Constraints: 83061
1900.95/1906.17 c #Conflicts: 902000 | #Constraints: 84549
1900.95/1906.17 c #Conflicts: 903000 | #Constraints: 86053
1900.95/1906.17 c INPROCESSING
1900.95/1906.17 c GARBAGE COLLECT
1900.95/1906.17 c #Conflicts: 904000 | #Constraints: 59465
1900.95/1906.17 c #Conflicts: 905000 | #Constraints: 60993
1900.95/1906.17 c #Conflicts: 906000 | #Constraints: 62488
1900.95/1906.17 c #Conflicts: 907000 | #Constraints: 63956
1900.95/1906.17 c #Conflicts: 908000 | #Constraints: 65449
1900.95/1906.17 c #Conflicts: 909000 | #Constraints: 66975
1900.95/1906.17 c #Conflicts: 910000 | #Constraints: 68480
1900.95/1906.17 c #Conflicts: 911000 | #Constraints: 69984
1900.95/1906.17 c #Conflicts: 912000 | #Constraints: 71555
1900.95/1906.17 c #Conflicts: 913000 | #Constraints: 73077
1900.95/1906.17 c #Conflicts: 914000 | #Constraints: 74590
1900.95/1906.17 c #Conflicts: 915000 | #Constraints: 76101
1900.95/1906.17 c #Conflicts: 916000 | #Constraints: 77590
1900.95/1906.17 c #Conflicts: 917000 | #Constraints: 79116
1900.95/1906.17 c #Conflicts: 918000 | #Constraints: 80615
1900.95/1906.17 c #Conflicts: 919000 | #Constraints: 82110
1900.95/1906.17 c #Conflicts: 920000 | #Constraints: 83644
1900.95/1906.17 c #Conflicts: 921000 | #Constraints: 85186
1900.95/1906.17 c #Conflicts: 922000 | #Constraints: 86701
1900.95/1906.17 c INPROCESSING
1900.95/1906.17 c GARBAGE COLLECT
1900.95/1906.17 c #Conflicts: 923000 | #Constraints: 59576
1900.95/1906.17 c #Conflicts: 924000 | #Constraints: 61052
1900.95/1906.17 c #Conflicts: 925000 | #Constraints: 62560
1900.95/1906.17 c #Conflicts: 926000 | #Constraints: 64089
1900.95/1906.17 c #Conflicts: 927000 | #Constraints: 65612
1900.95/1906.17 c #Conflicts: 928000 | #Constraints: 67104
1900.95/1906.17 c #Conflicts: 929000 | #Constraints: 68579
1900.95/1906.17 c #Conflicts: 930000 | #Constraints: 70104
1900.95/1906.17 c #Conflicts: 931000 | #Constraints: 71647
1900.95/1906.17 c #Conflicts: 932000 | #Constraints: 73172
1900.95/1906.17 c #Conflicts: 933000 | #Constraints: 74706
1900.95/1906.17 c #Conflicts: 934000 | #Constraints: 76215
1900.95/1906.17 c #Conflicts: 935000 | #Constraints: 77717
2058.12/2063.78 c #Conflicts: 936000 | #Constraints: 79229
2058.12/2063.78 c #Conflicts: 937000 | #Constraints: 80690
2058.12/2063.78 c #Conflicts: 938000 | #Constraints: 82210
2058.12/2063.78 c #Conflicts: 939000 | #Constraints: 83731
2058.12/2063.78 c #Conflicts: 940000 | #Constraints: 85263
2058.12/2063.78 c #Conflicts: 941000 | #Constraints: 86787
2058.12/2063.78 c INPROCESSING
2058.12/2063.78 c GARBAGE COLLECT
2058.12/2063.78 c #Conflicts: 942000 | #Constraints: 59360
2058.12/2063.78 c #Conflicts: 943000 | #Constraints: 60890
2058.12/2063.78 c #Conflicts: 944000 | #Constraints: 62461
2058.12/2063.78 c #Conflicts: 945000 | #Constraints: 64096
2058.12/2063.78 c #Conflicts: 946000 | #Constraints: 65734
2058.12/2063.78 c #Conflicts: 947000 | #Constraints: 67353
2058.12/2063.78 c #Conflicts: 948000 | #Constraints: 68948
2058.12/2063.78 c #Conflicts: 949000 | #Constraints: 70459
2058.12/2063.78 c #Conflicts: 950000 | #Constraints: 71964
2058.12/2063.78 c #Conflicts: 951000 | #Constraints: 73490
2058.12/2063.78 c #Conflicts: 952000 | #Constraints: 74991
2058.12/2063.78 c #Conflicts: 953000 | #Constraints: 76471
2058.12/2063.78 c #Conflicts: 954000 | #Constraints: 77957
2058.12/2063.78 c #Conflicts: 955000 | #Constraints: 79403
2058.12/2063.78 c #Conflicts: 956000 | #Constraints: 80818
2058.12/2063.78 c #Conflicts: 957000 | #Constraints: 82303
2058.12/2063.78 c #Conflicts: 958000 | #Constraints: 83721
2058.12/2063.78 c #Conflicts: 959000 | #Constraints: 85155
2058.12/2063.78 c #Conflicts: 960000 | #Constraints: 86587
2058.12/2063.78 c #Conflicts: 961000 | #Constraints: 88038
2058.12/2063.78 c INPROCESSING
2058.12/2063.78 c GARBAGE COLLECT
2058.12/2063.78 c #Conflicts: 962000 | #Constraints: 60268
2058.12/2063.78 c #Conflicts: 963000 | #Constraints: 61778
2058.12/2063.78 c #Conflicts: 964000 | #Constraints: 63299
2058.12/2063.78 c #Conflicts: 965000 | #Constraints: 64779
2058.12/2063.78 c #Conflicts: 966000 | #Constraints: 66268
2058.12/2063.78 c #Conflicts: 967000 | #Constraints: 67794
2058.12/2063.78 c #Conflicts: 968000 | #Constraints: 69304
2058.12/2063.78 c #Conflicts: 969000 | #Constraints: 70827
2058.12/2063.78 c #Conflicts: 970000 | #Constraints: 72399
2058.12/2063.78 c #Conflicts: 971000 | #Constraints: 73949
2058.12/2063.78 c #Conflicts: 972000 | #Constraints: 75475
2058.12/2063.78 c #Conflicts: 973000 | #Constraints: 77010
2058.12/2063.78 c #Conflicts: 974000 | #Constraints: 78541
2058.12/2063.78 c #Conflicts: 975000 | #Constraints: 80022
2058.12/2063.78 c #Conflicts: 976000 | #Constraints: 81505
2058.12/2063.78 c #Conflicts: 977000 | #Constraints: 82996
2058.12/2063.78 c #Conflicts: 978000 | #Constraints: 84474
2058.12/2063.78 c #Conflicts: 979000 | #Constraints: 85958
2058.12/2063.78 c #Conflicts: 980000 | #Constraints: 87451
2058.12/2063.78 c #Conflicts: 981000 | #Constraints: 88953
2058.12/2063.78 c INPROCESSING
2058.12/2063.78 c GARBAGE COLLECT
2058.12/2063.78 c #Conflicts: 982000 | #Constraints: 60868
2058.12/2063.78 c #Conflicts: 983000 | #Constraints: 62363
2058.12/2063.78 c #Conflicts: 984000 | #Constraints: 63856
2058.12/2063.78 c #Conflicts: 985000 | #Constraints: 65334
2058.12/2063.78 c #Conflicts: 986000 | #Constraints: 66825
2058.12/2063.78 c #Conflicts: 987000 | #Constraints: 68342
2058.12/2063.78 c #Conflicts: 988000 | #Constraints: 69818
2058.12/2063.78 c #Conflicts: 989000 | #Constraints: 71321
2058.12/2063.78 c #Conflicts: 990000 | #Constraints: 72819
2058.12/2063.78 c #Conflicts: 991000 | #Constraints: 74321
2058.12/2063.78 c #Conflicts: 992000 | #Constraints: 75784
2058.12/2063.78 c #Conflicts: 993000 | #Constraints: 77276
2058.12/2063.78 c #Conflicts: 994000 | #Constraints: 78751
2058.12/2063.78 c #Conflicts: 995000 | #Constraints: 80244
2058.12/2063.78 c #Conflicts: 996000 | #Constraints: 81755
2058.12/2063.78 c #Conflicts: 997000 | #Constraints: 83268
2058.12/2063.78 c #Conflicts: 998000 | #Constraints: 84757
2058.12/2063.78 c #Conflicts: 999000 | #Constraints: 86251
2058.12/2063.78 c #Conflicts: 1000000 | #Constraints: 87736
2058.12/2063.78 c #Conflicts: 1001000 | #Constraints: 89217
2058.12/2063.78 c INPROCESSING
2058.12/2063.78 c GARBAGE COLLECT
2058.12/2063.78 c #Conflicts: 1002000 | #Constraints: 60997
2058.12/2063.78 c #Conflicts: 1003000 | #Constraints: 62487
2058.12/2063.78 c #Conflicts: 1004000 | #Constraints: 63957
2058.12/2063.78 c #Conflicts: 1005000 | #Constraints: 65403
2058.12/2063.78 c #Conflicts: 1006000 | #Constraints: 66892
2058.12/2063.78 c #Conflicts: 1007000 | #Constraints: 68317
2058.12/2063.78 c #Conflicts: 1008000 | #Constraints: 69753
2058.12/2063.78 c #Conflicts: 1009000 | #Constraints: 71223
2058.12/2063.78 c #Conflicts: 1010000 | #Constraints: 72674
2058.12/2063.78 c #Conflicts: 1011000 | #Constraints: 74137
2200.04/2206.08 c #Conflicts: 1012000 | #Constraints: 75605
2200.04/2206.08 c #Conflicts: 1013000 | #Constraints: 77118
2200.04/2206.08 c #Conflicts: 1014000 | #Constraints: 78608
2200.04/2206.08 c #Conflicts: 1015000 | #Constraints: 80087
2200.04/2206.08 c #Conflicts: 1016000 | #Constraints: 81548
2200.04/2206.08 c #Conflicts: 1017000 | #Constraints: 82975
2200.04/2206.08 c #Conflicts: 1018000 | #Constraints: 84458
2200.04/2206.08 c #Conflicts: 1019000 | #Constraints: 85899
2200.04/2206.08 c #Conflicts: 1020000 | #Constraints: 87418
2200.04/2206.08 c #Conflicts: 1021000 | #Constraints: 88888
2200.04/2206.08 c INPROCESSING
2200.04/2206.08 c GARBAGE COLLECT
2200.04/2206.08 c #Conflicts: 1022000 | #Constraints: 60671
2200.04/2206.08 c #Conflicts: 1023000 | #Constraints: 62151
2200.04/2206.08 c #Conflicts: 1024000 | #Constraints: 63623
2200.04/2206.08 c #Conflicts: 1025000 | #Constraints: 65136
2200.04/2206.08 c #Conflicts: 1026000 | #Constraints: 66630
2200.04/2206.08 c #Conflicts: 1027000 | #Constraints: 68118
2200.04/2206.08 c #Conflicts: 1028000 | #Constraints: 69614
2200.04/2206.08 c #Conflicts: 1029000 | #Constraints: 71131
2200.04/2206.08 c #Conflicts: 1030000 | #Constraints: 72658
2200.04/2206.08 c #Conflicts: 1031000 | #Constraints: 74158
2200.04/2206.08 c #Conflicts: 1032000 | #Constraints: 75662
2200.04/2206.08 c #Conflicts: 1033000 | #Constraints: 77163
2200.04/2206.08 c #Conflicts: 1034000 | #Constraints: 78674
2200.04/2206.08 c #Conflicts: 1035000 | #Constraints: 80179
2200.04/2206.08 c #Conflicts: 1036000 | #Constraints: 81674
2200.04/2206.08 c #Conflicts: 1037000 | #Constraints: 83162
2200.04/2206.08 c #Conflicts: 1038000 | #Constraints: 84661
2200.04/2206.08 c #Conflicts: 1039000 | #Constraints: 86164
2200.04/2206.08 c #Conflicts: 1040000 | #Constraints: 87672
2200.04/2206.08 c #Conflicts: 1041000 | #Constraints: 89170
2200.04/2206.08 c INPROCESSING
2200.04/2206.08 c GARBAGE COLLECT
2200.04/2206.08 c #Conflicts: 1042000 | #Constraints: 60559
2200.04/2206.08 c #Conflicts: 1043000 | #Constraints: 62098
2200.04/2206.08 c #Conflicts: 1044000 | #Constraints: 63614
2200.04/2206.08 c #Conflicts: 1045000 | #Constraints: 65116
2200.04/2206.08 c #Conflicts: 1046000 | #Constraints: 66623
2200.04/2206.08 c #Conflicts: 1047000 | #Constraints: 68145
2200.04/2206.08 c #Conflicts: 1048000 | #Constraints: 69650
2200.04/2206.08 c #Conflicts: 1049000 | #Constraints: 71112
2200.04/2206.08 c #Conflicts: 1050000 | #Constraints: 72593
2200.04/2206.08 c #Conflicts: 1051000 | #Constraints: 74089
2200.04/2206.08 c #Conflicts: 1052000 | #Constraints: 75579
2200.04/2206.08 c #Conflicts: 1053000 | #Constraints: 77099
2200.04/2206.08 c #Conflicts: 1054000 | #Constraints: 78575
2200.04/2206.08 c #Conflicts: 1055000 | #Constraints: 80064
2200.04/2206.08 c #Conflicts: 1056000 | #Constraints: 81560
2200.04/2206.08 c #Conflicts: 1057000 | #Constraints: 83042
2200.04/2206.08 c #Conflicts: 1058000 | #Constraints: 84529
2200.04/2206.08 c #Conflicts: 1059000 | #Constraints: 86021
2200.04/2206.08 c #Conflicts: 1060000 | #Constraints: 87506
2200.04/2206.08 c #Conflicts: 1061000 | #Constraints: 89003
2200.04/2206.08 c #Conflicts: 1062000 | #Constraints: 90528
2200.04/2206.08 c INPROCESSING
2200.04/2206.08 c GARBAGE COLLECT
2200.04/2206.08 c #Conflicts: 1063000 | #Constraints: 61509
2200.04/2206.08 c #Conflicts: 1064000 | #Constraints: 62974
2200.04/2206.08 c #Conflicts: 1065000 | #Constraints: 64469
2200.04/2206.08 c #Conflicts: 1066000 | #Constraints: 65961
2200.04/2206.08 c #Conflicts: 1067000 | #Constraints: 67483
2200.04/2206.08 c #Conflicts: 1068000 | #Constraints: 68986
2200.04/2206.08 c #Conflicts: 1069000 | #Constraints: 70467
2200.04/2206.08 c #Conflicts: 1070000 | #Constraints: 71992
2200.04/2206.08 c #Conflicts: 1071000 | #Constraints: 73480
2200.04/2206.08 c #Conflicts: 1072000 | #Constraints: 74957
2200.04/2206.08 c #Conflicts: 1073000 | #Constraints: 76456
2200.04/2206.08 c #Conflicts: 1074000 | #Constraints: 77943
2200.04/2206.08 c #Conflicts: 1075000 | #Constraints: 79425
2200.04/2206.08 c #Conflicts: 1076000 | #Constraints: 80924
2200.04/2206.08 c #Conflicts: 1077000 | #Constraints: 82432
2200.04/2206.08 c #Conflicts: 1078000 | #Constraints: 83942
2200.04/2206.08 c #Conflicts: 1079000 | #Constraints: 85463
2200.04/2206.08 c #Conflicts: 1080000 | #Constraints: 86996
2200.04/2206.08 c #Conflicts: 1081000 | #Constraints: 88524
2200.04/2206.08 c #Conflicts: 1082000 | #Constraints: 90035
2200.04/2206.08 c #Conflicts: 1083000 | #Constraints: 91555
2200.04/2206.08 c INPROCESSING
2200.04/2206.08 c GARBAGE COLLECT
2200.04/2206.08 c #Conflicts: 1084000 | #Constraints: 62168
2200.04/2206.08 c #Conflicts: 1085000 | #Constraints: 63685
2200.04/2206.08 c #Conflicts: 1086000 | #Constraints: 65193
2200.04/2206.08 c #Conflicts: 1087000 | #Constraints: 66715
2343.46/2349.83 c #Conflicts: 1088000 | #Constraints: 68233
2343.46/2349.83 c #Conflicts: 1089000 | #Constraints: 69745
2343.46/2349.83 c #Conflicts: 1090000 | #Constraints: 71257
2343.46/2349.83 c #Conflicts: 1091000 | #Constraints: 72745
2343.46/2349.83 c #Conflicts: 1092000 | #Constraints: 74227
2343.46/2349.83 c #Conflicts: 1093000 | #Constraints: 75704
2343.46/2349.83 c #Conflicts: 1094000 | #Constraints: 77182
2343.46/2349.83 c #Conflicts: 1095000 | #Constraints: 78657
2343.46/2349.83 c #Conflicts: 1096000 | #Constraints: 80149
2343.46/2349.83 c #Conflicts: 1097000 | #Constraints: 81635
2343.46/2349.83 c #Conflicts: 1098000 | #Constraints: 83128
2343.46/2349.83 c #Conflicts: 1099000 | #Constraints: 84617
2343.46/2349.83 c #Conflicts: 1100000 | #Constraints: 86103
2343.46/2349.83 c #Conflicts: 1101000 | #Constraints: 87587
2343.46/2349.83 c #Conflicts: 1102000 | #Constraints: 89070
2343.46/2349.83 c #Conflicts: 1103000 | #Constraints: 90556
2343.46/2349.83 c #Conflicts: 1104000 | #Constraints: 92043
2343.46/2349.83 c INPROCESSING
2343.46/2349.83 c GARBAGE COLLECT
2343.46/2349.83 c #Conflicts: 1105000 | #Constraints: 62415
2343.46/2349.83 c #Conflicts: 1106000 | #Constraints: 63891
2343.46/2349.83 c #Conflicts: 1107000 | #Constraints: 65400
2343.46/2349.83 c #Conflicts: 1108000 | #Constraints: 66875
2343.46/2349.83 c #Conflicts: 1109000 | #Constraints: 68362
2343.46/2349.83 c #Conflicts: 1110000 | #Constraints: 69864
2343.46/2349.83 c #Conflicts: 1111000 | #Constraints: 71337
2343.46/2349.83 c #Conflicts: 1112000 | #Constraints: 72828
2343.46/2349.83 c #Conflicts: 1113000 | #Constraints: 74331
2343.46/2349.83 c #Conflicts: 1114000 | #Constraints: 75864
2343.46/2349.83 c #Conflicts: 1115000 | #Constraints: 77395
2343.46/2349.83 c #Conflicts: 1116000 | #Constraints: 78927
2343.46/2349.83 c #Conflicts: 1117000 | #Constraints: 80444
2343.46/2349.83 c #Conflicts: 1118000 | #Constraints: 82022
2343.46/2349.83 c #Conflicts: 1119000 | #Constraints: 83606
2343.46/2349.83 c #Conflicts: 1120000 | #Constraints: 85202
2343.46/2349.83 c #Conflicts: 1121000 | #Constraints: 86767
2343.46/2349.83 c #Conflicts: 1122000 | #Constraints: 88340
2343.46/2349.83 c #Conflicts: 1123000 | #Constraints: 89913
2343.46/2349.83 c #Conflicts: 1124000 | #Constraints: 91479
2343.46/2349.83 c #Conflicts: 1125000 | #Constraints: 93038
2343.46/2349.83 c INPROCESSING
2343.46/2349.83 c GARBAGE COLLECT
2343.46/2349.83 c #Conflicts: 1126000 | #Constraints: 62759
2343.46/2349.83 c #Conflicts: 1127000 | #Constraints: 64218
2343.46/2349.83 c #Conflicts: 1128000 | #Constraints: 65706
2343.46/2349.83 c #Conflicts: 1129000 | #Constraints: 67222
2343.46/2349.83 c #Conflicts: 1130000 | #Constraints: 68742
2343.46/2349.83 c #Conflicts: 1131000 | #Constraints: 70223
2343.46/2349.83 c #Conflicts: 1132000 | #Constraints: 71740
2343.46/2349.83 c #Conflicts: 1133000 | #Constraints: 73278
2343.46/2349.83 c #Conflicts: 1134000 | #Constraints: 74751
2343.46/2349.83 c #Conflicts: 1135000 | #Constraints: 76281
2343.46/2349.83 c #Conflicts: 1136000 | #Constraints: 77815
2343.46/2349.83 c #Conflicts: 1137000 | #Constraints: 79310
2343.46/2349.83 c #Conflicts: 1138000 | #Constraints: 80830
2343.46/2349.83 c #Conflicts: 1139000 | #Constraints: 82339
2343.46/2349.83 c #Conflicts: 1140000 | #Constraints: 83857
2343.46/2349.83 c #Conflicts: 1141000 | #Constraints: 85362
2343.46/2349.83 c #Conflicts: 1142000 | #Constraints: 86848
2343.46/2349.83 c #Conflicts: 1143000 | #Constraints: 88361
2343.46/2349.83 c #Conflicts: 1144000 | #Constraints: 89858
2343.46/2349.83 c #Conflicts: 1145000 | #Constraints: 91379
2343.46/2349.83 c #Conflicts: 1146000 | #Constraints: 92893
2343.46/2349.83 c INPROCESSING
2343.46/2349.83 c GARBAGE COLLECT
2343.46/2349.83 c #Conflicts: 1147000 | #Constraints: 62394
2343.46/2349.83 c #Conflicts: 1148000 | #Constraints: 63901
2343.46/2349.83 c #Conflicts: 1149000 | #Constraints: 65447
2343.46/2349.83 c #Conflicts: 1150000 | #Constraints: 66956
2343.46/2349.83 c #Conflicts: 1151000 | #Constraints: 68462
2343.46/2349.83 c #Conflicts: 1152000 | #Constraints: 69980
2343.46/2349.83 c #Conflicts: 1153000 | #Constraints: 71552
2343.46/2349.83 c #Conflicts: 1154000 | #Constraints: 73096
2343.46/2349.83 c #Conflicts: 1155000 | #Constraints: 74602
2343.46/2349.83 c #Conflicts: 1156000 | #Constraints: 76092
2343.46/2349.83 c #Conflicts: 1157000 | #Constraints: 77576
2343.46/2349.83 c #Conflicts: 1158000 | #Constraints: 79094
2343.46/2349.83 c #Conflicts: 1159000 | #Constraints: 80600
2343.46/2349.83 c #Conflicts: 1160000 | #Constraints: 82122
2343.46/2349.83 c #Conflicts: 1161000 | #Constraints: 83646
2343.46/2349.83 c #Conflicts: 1162000 | #Constraints: 85152
2343.46/2349.83 c #Conflicts: 1163000 | #Constraints: 86637
2343.46/2349.83 c #Conflicts: 1164000 | #Constraints: 88130
2484.60/2491.37 c #Conflicts: 1165000 | #Constraints: 89654
2484.60/2491.37 c #Conflicts: 1166000 | #Constraints: 91200
2484.60/2491.37 c #Conflicts: 1167000 | #Constraints: 92761
2484.60/2491.37 c #Conflicts: 1168000 | #Constraints: 94394
2484.60/2491.37 c INPROCESSING
2484.60/2491.37 c GARBAGE COLLECT
2484.60/2491.37 c #Conflicts: 1169000 | #Constraints: 63395
2484.60/2491.37 c #Conflicts: 1170000 | #Constraints: 64901
2484.60/2491.37 c #Conflicts: 1171000 | #Constraints: 66383
2484.60/2491.37 c #Conflicts: 1172000 | #Constraints: 67886
2484.60/2491.37 c #Conflicts: 1173000 | #Constraints: 69385
2484.60/2491.37 c #Conflicts: 1174000 | #Constraints: 70892
2484.60/2491.37 c #Conflicts: 1175000 | #Constraints: 72405
2484.60/2491.37 c #Conflicts: 1176000 | #Constraints: 73905
2484.60/2491.37 c #Conflicts: 1177000 | #Constraints: 75387
2484.60/2491.37 c #Conflicts: 1178000 | #Constraints: 76907
2484.60/2491.37 c #Conflicts: 1179000 | #Constraints: 78496
2484.60/2491.37 c #Conflicts: 1180000 | #Constraints: 80000
2484.60/2491.37 c #Conflicts: 1181000 | #Constraints: 81504
2484.60/2491.37 c #Conflicts: 1182000 | #Constraints: 83016
2484.60/2491.37 c #Conflicts: 1183000 | #Constraints: 84513
2484.60/2491.37 c #Conflicts: 1184000 | #Constraints: 86038
2484.60/2491.37 c #Conflicts: 1185000 | #Constraints: 87524
2484.60/2491.37 c #Conflicts: 1186000 | #Constraints: 89008
2484.60/2491.37 c #Conflicts: 1187000 | #Constraints: 90509
2484.60/2491.37 c #Conflicts: 1188000 | #Constraints: 92008
2484.60/2491.37 c #Conflicts: 1189000 | #Constraints: 93498
2484.60/2491.37 c #Conflicts: 1190000 | #Constraints: 95017
2484.60/2491.37 c INPROCESSING
2484.60/2491.37 c GARBAGE COLLECT
2484.60/2491.37 c #Conflicts: 1191000 | #Constraints: 63941
2484.60/2491.37 c #Conflicts: 1192000 | #Constraints: 65491
2484.60/2491.37 c #Conflicts: 1193000 | #Constraints: 67013
2484.60/2491.37 c #Conflicts: 1194000 | #Constraints: 68497
2484.60/2491.37 c #Conflicts: 1195000 | #Constraints: 69978
2484.60/2491.37 c #Conflicts: 1196000 | #Constraints: 71461
2484.60/2491.37 c #Conflicts: 1197000 | #Constraints: 73001
2484.60/2491.37 c #Conflicts: 1198000 | #Constraints: 74467
2484.60/2491.37 c #Conflicts: 1199000 | #Constraints: 75987
2484.60/2491.37 c #Conflicts: 1200000 | #Constraints: 77525
2484.60/2491.37 c #Conflicts: 1201000 | #Constraints: 78996
2484.60/2491.37 c #Conflicts: 1202000 | #Constraints: 80507
2484.60/2491.37 c #Conflicts: 1203000 | #Constraints: 81980
2484.60/2491.37 c #Conflicts: 1204000 | #Constraints: 83516
2484.60/2491.37 c #Conflicts: 1205000 | #Constraints: 85001
2484.60/2491.37 c #Conflicts: 1206000 | #Constraints: 86506
2484.60/2491.37 c #Conflicts: 1207000 | #Constraints: 88043
2484.60/2491.37 c #Conflicts: 1208000 | #Constraints: 89572
2484.60/2491.37 c #Conflicts: 1209000 | #Constraints: 91055
2484.60/2491.37 c #Conflicts: 1210000 | #Constraints: 92561
2484.60/2491.37 c #Conflicts: 1211000 | #Constraints: 94055
2484.60/2491.37 c #Conflicts: 1212000 | #Constraints: 95546
2484.60/2491.37 c INPROCESSING
2484.60/2491.37 c GARBAGE COLLECT
2484.60/2491.37 c #Conflicts: 1213000 | #Constraints: 64138
2484.60/2491.37 c #Conflicts: 1214000 | #Constraints: 65573
2484.60/2491.37 c #Conflicts: 1215000 | #Constraints: 66998
2484.60/2491.37 c #Conflicts: 1216000 | #Constraints: 68464
2484.60/2491.37 c #Conflicts: 1217000 | #Constraints: 69856
2484.60/2491.37 c #Conflicts: 1218000 | #Constraints: 71346
2484.60/2491.37 c #Conflicts: 1219000 | #Constraints: 72916
2484.60/2491.37 c #Conflicts: 1220000 | #Constraints: 74484
2484.60/2491.37 c #Conflicts: 1221000 | #Constraints: 75994
2484.60/2491.37 c #Conflicts: 1222000 | #Constraints: 77551
2484.60/2491.37 c #Conflicts: 1223000 | #Constraints: 79089
2484.60/2491.37 c #Conflicts: 1224000 | #Constraints: 80608
2484.60/2491.37 c #Conflicts: 1225000 | #Constraints: 82157
2484.60/2491.37 c #Conflicts: 1226000 | #Constraints: 83700
2484.60/2491.37 c #Conflicts: 1227000 | #Constraints: 85253
2484.60/2491.37 c #Conflicts: 1228000 | #Constraints: 86817
2484.60/2491.37 c #Conflicts: 1229000 | #Constraints: 88387
2484.60/2491.37 c #Conflicts: 1230000 | #Constraints: 89916
2484.60/2491.37 c #Conflicts: 1231000 | #Constraints: 91445
2484.60/2491.37 c #Conflicts: 1232000 | #Constraints: 92930
2484.60/2491.37 c #Conflicts: 1233000 | #Constraints: 94466
2484.60/2491.37 c #Conflicts: 1234000 | #Constraints: 95964
2484.60/2491.37 c INPROCESSING
2484.60/2491.37 c GARBAGE COLLECT
2484.60/2491.37 c #Conflicts: 1235000 | #Constraints: 64237
2484.60/2491.37 c #Conflicts: 1236000 | #Constraints: 65737
2484.60/2491.37 c #Conflicts: 1237000 | #Constraints: 67233
2484.60/2491.37 c #Conflicts: 1238000 | #Constraints: 68704
2484.60/2491.37 c #Conflicts: 1239000 | #Constraints: 70231
2484.60/2491.37 c #Conflicts: 1240000 | #Constraints: 71741
2633.31/2640.49 c #Conflicts: 1241000 | #Constraints: 73275
2633.31/2640.49 c #Conflicts: 1242000 | #Constraints: 74823
2633.31/2640.49 c #Conflicts: 1243000 | #Constraints: 76369
2633.31/2640.49 c #Conflicts: 1244000 | #Constraints: 77933
2633.31/2640.49 c #Conflicts: 1245000 | #Constraints: 79442
2633.31/2640.49 c #Conflicts: 1246000 | #Constraints: 80947
2633.31/2640.49 c #Conflicts: 1247000 | #Constraints: 82470
2633.31/2640.49 c #Conflicts: 1248000 | #Constraints: 84035
2633.31/2640.49 c #Conflicts: 1249000 | #Constraints: 85569
2633.31/2640.49 c #Conflicts: 1250000 | #Constraints: 87067
2633.31/2640.49 c #Conflicts: 1251000 | #Constraints: 88588
2633.31/2640.49 c #Conflicts: 1252000 | #Constraints: 90097
2633.31/2640.49 c #Conflicts: 1253000 | #Constraints: 91599
2633.31/2640.49 c #Conflicts: 1254000 | #Constraints: 93082
2633.31/2640.49 c #Conflicts: 1255000 | #Constraints: 94585
2633.31/2640.49 c #Conflicts: 1256000 | #Constraints: 96157
2633.31/2640.49 c INPROCESSING
2633.31/2640.49 c GARBAGE COLLECT
2633.31/2640.49 c #Conflicts: 1257000 | #Constraints: 64068
2633.31/2640.49 c #Conflicts: 1258000 | #Constraints: 65607
2633.31/2640.49 c #Conflicts: 1259000 | #Constraints: 67108
2633.31/2640.49 c #Conflicts: 1260000 | #Constraints: 68613
2633.31/2640.49 c #Conflicts: 1261000 | #Constraints: 70195
2633.31/2640.49 c #Conflicts: 1262000 | #Constraints: 71693
2633.31/2640.49 c #Conflicts: 1263000 | #Constraints: 73184
2633.31/2640.49 c #Conflicts: 1264000 | #Constraints: 74673
2633.31/2640.49 c #Conflicts: 1265000 | #Constraints: 76189
2633.31/2640.49 c #Conflicts: 1266000 | #Constraints: 77776
2633.31/2640.49 c #Conflicts: 1267000 | #Constraints: 79405
2633.31/2640.49 c #Conflicts: 1268000 | #Constraints: 80974
2633.31/2640.49 c #Conflicts: 1269000 | #Constraints: 82552
2633.31/2640.49 c #Conflicts: 1270000 | #Constraints: 84074
2633.31/2640.49 c #Conflicts: 1271000 | #Constraints: 85613
2633.31/2640.49 c #Conflicts: 1272000 | #Constraints: 87163
2633.31/2640.49 c #Conflicts: 1273000 | #Constraints: 88643
2633.31/2640.49 c #Conflicts: 1274000 | #Constraints: 90141
2633.31/2640.49 c #Conflicts: 1275000 | #Constraints: 91626
2633.31/2640.49 c #Conflicts: 1276000 | #Constraints: 93150
2633.31/2640.49 c #Conflicts: 1277000 | #Constraints: 94664
2633.31/2640.49 c #Conflicts: 1278000 | #Constraints: 96223
2633.31/2640.49 c #Conflicts: 1279000 | #Constraints: 97755
2633.31/2640.49 c INPROCESSING
2633.31/2640.49 c GARBAGE COLLECT
2633.31/2640.49 c #Conflicts: 1280000 | #Constraints: 65110
2633.31/2640.49 c #Conflicts: 1281000 | #Constraints: 66639
2633.31/2640.49 c #Conflicts: 1282000 | #Constraints: 68121
2633.31/2640.49 c #Conflicts: 1283000 | #Constraints: 69623
2633.31/2640.49 c #Conflicts: 1284000 | #Constraints: 71134
2633.31/2640.49 c #Conflicts: 1285000 | #Constraints: 72648
2633.31/2640.49 c #Conflicts: 1286000 | #Constraints: 74162
2633.31/2640.49 c #Conflicts: 1287000 | #Constraints: 75687
2633.31/2640.49 c #Conflicts: 1288000 | #Constraints: 77188
2633.31/2640.49 c #Conflicts: 1289000 | #Constraints: 78713
2633.31/2640.49 c #Conflicts: 1290000 | #Constraints: 80220
2633.31/2640.49 c #Conflicts: 1291000 | #Constraints: 81810
2633.31/2640.49 c #Conflicts: 1292000 | #Constraints: 83375
2633.31/2640.49 c #Conflicts: 1293000 | #Constraints: 84939
2633.31/2640.49 c #Conflicts: 1294000 | #Constraints: 86514
2633.31/2640.49 c #Conflicts: 1295000 | #Constraints: 88051
2633.31/2640.49 c #Conflicts: 1296000 | #Constraints: 89538
2633.31/2640.49 c #Conflicts: 1297000 | #Constraints: 91068
2633.31/2640.49 c #Conflicts: 1298000 | #Constraints: 92561
2633.31/2640.49 c #Conflicts: 1299000 | #Constraints: 94096
2633.31/2640.49 c #Conflicts: 1300000 | #Constraints: 95588
2633.31/2640.49 c #Conflicts: 1301000 | #Constraints: 97091
2633.31/2640.49 c #Conflicts: 1302000 | #Constraints: 98661
2633.31/2640.49 c INPROCESSING
2633.31/2640.49 c GARBAGE COLLECT
2633.31/2640.49 c #Conflicts: 1303000 | #Constraints: 65738
2633.31/2640.49 c #Conflicts: 1304000 | #Constraints: 67276
2633.31/2640.49 c #Conflicts: 1305000 | #Constraints: 68750
2633.31/2640.49 c #Conflicts: 1306000 | #Constraints: 70220
2633.31/2640.49 c #Conflicts: 1307000 | #Constraints: 71729
2633.31/2640.49 c #Conflicts: 1308000 | #Constraints: 73253
2633.31/2640.49 c #Conflicts: 1309000 | #Constraints: 74741
2633.31/2640.49 c #Conflicts: 1310000 | #Constraints: 76247
2633.31/2640.49 c #Conflicts: 1311000 | #Constraints: 77764
2633.31/2640.49 c #Conflicts: 1312000 | #Constraints: 79286
2633.31/2640.49 c #Conflicts: 1313000 | #Constraints: 80806
2633.31/2640.49 c #Conflicts: 1314000 | #Constraints: 82325
2633.31/2640.49 c #Conflicts: 1315000 | #Constraints: 83841
2633.31/2640.49 c #Conflicts: 1316000 | #Constraints: 85332
2633.31/2640.49 c #Conflicts: 1317000 | #Constraints: 86823
2784.81/2792.32 c #Conflicts: 1318000 | #Constraints: 88308
2784.81/2792.32 c #Conflicts: 1319000 | #Constraints: 89788
2784.81/2792.32 c #Conflicts: 1320000 | #Constraints: 91294
2784.81/2792.32 c #Conflicts: 1321000 | #Constraints: 92821
2784.81/2792.32 c #Conflicts: 1322000 | #Constraints: 94327
2784.81/2792.32 c #Conflicts: 1323000 | #Constraints: 95850
2784.81/2792.32 c #Conflicts: 1324000 | #Constraints: 97358
2784.81/2792.32 c #Conflicts: 1325000 | #Constraints: 98905
2784.81/2792.32 c INPROCESSING
2784.81/2792.32 c GARBAGE COLLECT
2784.81/2792.32 c #Conflicts: 1326000 | #Constraints: 65832
2784.81/2792.32 c #Conflicts: 1327000 | #Constraints: 67346
2784.81/2792.32 c #Conflicts: 1328000 | #Constraints: 68853
2784.81/2792.32 c #Conflicts: 1329000 | #Constraints: 70350
2784.81/2792.32 c #Conflicts: 1330000 | #Constraints: 71846
2784.81/2792.32 c #Conflicts: 1331000 | #Constraints: 73356
2784.81/2792.32 c #Conflicts: 1332000 | #Constraints: 74851
2784.81/2792.32 c #Conflicts: 1333000 | #Constraints: 76351
2784.81/2792.32 c #Conflicts: 1334000 | #Constraints: 77884
2784.81/2792.32 c #Conflicts: 1335000 | #Constraints: 79400
2784.81/2792.32 c #Conflicts: 1336000 | #Constraints: 80962
2784.81/2792.32 c #Conflicts: 1337000 | #Constraints: 82526
2784.81/2792.32 c #Conflicts: 1338000 | #Constraints: 84046
2784.81/2792.32 c #Conflicts: 1339000 | #Constraints: 85572
2784.81/2792.32 c #Conflicts: 1340000 | #Constraints: 87097
2784.81/2792.32 c #Conflicts: 1341000 | #Constraints: 88629
2784.81/2792.32 c #Conflicts: 1342000 | #Constraints: 90134
2784.81/2792.32 c #Conflicts: 1343000 | #Constraints: 91635
2784.81/2792.32 c #Conflicts: 1344000 | #Constraints: 93163
2784.81/2792.32 c #Conflicts: 1345000 | #Constraints: 94681
2784.81/2792.32 c #Conflicts: 1346000 | #Constraints: 96208
2784.81/2792.32 c #Conflicts: 1347000 | #Constraints: 97741
2784.81/2792.32 c #Conflicts: 1348000 | #Constraints: 99272
2784.81/2792.32 c INPROCESSING
2784.81/2792.32 c GARBAGE COLLECT
2784.81/2792.32 c #Conflicts: 1349000 | #Constraints: 65897
2784.81/2792.32 c #Conflicts: 1350000 | #Constraints: 67447
2784.81/2792.32 c #Conflicts: 1351000 | #Constraints: 68982
2784.81/2792.32 c #Conflicts: 1352000 | #Constraints: 70530
2784.81/2792.32 c #Conflicts: 1353000 | #Constraints: 72065
2784.81/2792.32 c #Conflicts: 1354000 | #Constraints: 73623
2784.81/2792.32 c #Conflicts: 1355000 | #Constraints: 75213
2784.81/2792.32 c #Conflicts: 1356000 | #Constraints: 76779
2784.81/2792.32 c #Conflicts: 1357000 | #Constraints: 78337
2784.81/2792.32 c #Conflicts: 1358000 | #Constraints: 79896
2784.81/2792.32 c #Conflicts: 1359000 | #Constraints: 81388
2784.81/2792.32 c #Conflicts: 1360000 | #Constraints: 82913
2784.81/2792.32 c #Conflicts: 1361000 | #Constraints: 84420
2784.81/2792.32 c #Conflicts: 1362000 | #Constraints: 85937
2784.81/2792.32 c #Conflicts: 1363000 | #Constraints: 87441
2784.81/2792.32 c #Conflicts: 1364000 | #Constraints: 88987
2784.81/2792.32 c #Conflicts: 1365000 | #Constraints: 90514
2784.81/2792.32 c #Conflicts: 1366000 | #Constraints: 92096
2784.81/2792.32 c #Conflicts: 1367000 | #Constraints: 93677
2784.81/2792.32 c #Conflicts: 1368000 | #Constraints: 95160
2784.81/2792.32 c #Conflicts: 1369000 | #Constraints: 96637
2784.81/2792.32 c #Conflicts: 1370000 | #Constraints: 98158
2784.81/2792.32 c #Conflicts: 1371000 | #Constraints: 99657
2784.81/2792.32 c INPROCESSING
2784.81/2792.32 c GARBAGE COLLECT
2784.81/2792.32 c #Conflicts: 1372000 | #Constraints: 65815
2784.81/2792.32 c #Conflicts: 1373000 | #Constraints: 67347
2784.81/2792.32 c #Conflicts: 1374000 | #Constraints: 68820
2784.81/2792.32 c #Conflicts: 1375000 | #Constraints: 70362
2784.81/2792.32 c #Conflicts: 1376000 | #Constraints: 71899
2784.81/2792.32 c #Conflicts: 1377000 | #Constraints: 73383
2784.81/2792.32 c #Conflicts: 1378000 | #Constraints: 74884
2784.81/2792.32 c #Conflicts: 1379000 | #Constraints: 76423
2784.81/2792.32 c #Conflicts: 1380000 | #Constraints: 77943
2784.81/2792.32 c #Conflicts: 1381000 | #Constraints: 79386
2784.81/2792.32 c #Conflicts: 1382000 | #Constraints: 80938
2784.81/2792.32 c #Conflicts: 1383000 | #Constraints: 82436
2784.81/2792.32 c #Conflicts: 1384000 | #Constraints: 83965
2784.81/2792.32 c #Conflicts: 1385000 | #Constraints: 85458
2784.81/2792.32 c #Conflicts: 1386000 | #Constraints: 86967
2784.81/2792.32 c #Conflicts: 1387000 | #Constraints: 88515
2784.81/2792.32 c #Conflicts: 1388000 | #Constraints: 90018
2784.81/2792.32 c #Conflicts: 1389000 | #Constraints: 91513
2784.81/2792.32 c #Conflicts: 1390000 | #Constraints: 93033
2784.81/2792.32 c #Conflicts: 1391000 | #Constraints: 94559
2784.81/2792.32 c #Conflicts: 1392000 | #Constraints: 96054
2784.81/2792.32 c #Conflicts: 1393000 | #Constraints: 97552
2784.81/2792.32 c #Conflicts: 1394000 | #Constraints: 99032
2927.03/2934.92 c #Conflicts: 1395000 | #Constraints: 100604
2927.03/2934.92 c INPROCESSING
2927.03/2934.92 c GARBAGE COLLECT
2927.03/2934.92 c #Conflicts: 1396000 | #Constraints: 66650
2927.03/2934.92 c #Conflicts: 1397000 | #Constraints: 68154
2927.03/2934.92 c #Conflicts: 1398000 | #Constraints: 69692
2927.03/2934.92 c #Conflicts: 1399000 | #Constraints: 71256
2927.03/2934.92 c #Conflicts: 1400000 | #Constraints: 72881
2927.03/2934.92 c #Conflicts: 1401000 | #Constraints: 74470
2927.03/2934.92 c #Conflicts: 1402000 | #Constraints: 75996
2927.03/2934.92 c #Conflicts: 1403000 | #Constraints: 77563
2927.03/2934.92 c #Conflicts: 1404000 | #Constraints: 79095
2927.03/2934.92 c #Conflicts: 1405000 | #Constraints: 80593
2927.03/2934.92 c #Conflicts: 1406000 | #Constraints: 82078
2927.03/2934.92 c #Conflicts: 1407000 | #Constraints: 83500
2927.03/2934.92 c #Conflicts: 1408000 | #Constraints: 84989
2927.03/2934.92 c #Conflicts: 1409000 | #Constraints: 86543
2927.03/2934.92 c #Conflicts: 1410000 | #Constraints: 88068
2927.03/2934.92 c #Conflicts: 1411000 | #Constraints: 89569
2927.03/2934.92 c #Conflicts: 1412000 | #Constraints: 91119
2927.03/2934.92 c #Conflicts: 1413000 | #Constraints: 92594
2927.03/2934.92 c #Conflicts: 1414000 | #Constraints: 94080
2927.03/2934.92 c #Conflicts: 1415000 | #Constraints: 95546
2927.03/2934.92 c #Conflicts: 1416000 | #Constraints: 97036
2927.03/2934.92 c #Conflicts: 1417000 | #Constraints: 98527
2927.03/2934.92 c #Conflicts: 1418000 | #Constraints: 100038
2927.03/2934.92 c #Conflicts: 1419000 | #Constraints: 101531
2927.03/2934.92 c INPROCESSING
2927.03/2934.92 c GARBAGE COLLECT
2927.03/2934.92 c #Conflicts: 1420000 | #Constraints: 67162
2927.03/2934.92 c #Conflicts: 1421000 | #Constraints: 68638
2927.03/2934.92 c #Conflicts: 1422000 | #Constraints: 70139
2927.03/2934.92 c #Conflicts: 1423000 | #Constraints: 71629
2927.03/2934.92 c #Conflicts: 1424000 | #Constraints: 73109
2927.03/2934.92 c #Conflicts: 1425000 | #Constraints: 74641
2927.03/2934.92 c #Conflicts: 1426000 | #Constraints: 76161
2927.03/2934.92 c #Conflicts: 1427000 | #Constraints: 77671
2927.03/2934.92 c #Conflicts: 1428000 | #Constraints: 79199
2927.03/2934.92 c #Conflicts: 1429000 | #Constraints: 80697
2927.03/2934.92 c #Conflicts: 1430000 | #Constraints: 82169
2927.03/2934.92 c #Conflicts: 1431000 | #Constraints: 83621
2927.03/2934.92 c #Conflicts: 1432000 | #Constraints: 85127
2927.03/2934.92 c #Conflicts: 1433000 | #Constraints: 86611
2927.03/2934.92 c #Conflicts: 1434000 | #Constraints: 88170
2927.03/2934.92 c #Conflicts: 1435000 | #Constraints: 89694
2927.03/2934.92 c #Conflicts: 1436000 | #Constraints: 91224
2927.03/2934.92 c #Conflicts: 1437000 | #Constraints: 92745
2927.03/2934.92 c #Conflicts: 1438000 | #Constraints: 94206
2927.03/2934.92 c #Conflicts: 1439000 | #Constraints: 95663
2927.03/2934.92 c #Conflicts: 1440000 | #Constraints: 97193
2927.03/2934.92 c #Conflicts: 1441000 | #Constraints: 98716
2927.03/2934.92 c #Conflicts: 1442000 | #Constraints: 100216
2927.03/2934.92 c #Conflicts: 1443000 | #Constraints: 101677
2927.03/2934.92 c INPROCESSING
2927.03/2934.92 c GARBAGE COLLECT
2927.03/2934.92 c #Conflicts: 1444000 | #Constraints: 67243
2927.03/2934.92 c #Conflicts: 1445000 | #Constraints: 68740
2927.03/2934.92 c #Conflicts: 1446000 | #Constraints: 70228
2927.03/2934.92 c #Conflicts: 1447000 | #Constraints: 71722
2927.03/2934.92 c #Conflicts: 1448000 | #Constraints: 73212
2927.03/2934.92 c #Conflicts: 1449000 | #Constraints: 74722
2927.03/2934.92 c #Conflicts: 1450000 | #Constraints: 76225
2927.03/2934.92 c #Conflicts: 1451000 | #Constraints: 77743
2927.03/2934.92 c #Conflicts: 1452000 | #Constraints: 79249
2927.03/2934.92 c #Conflicts: 1453000 | #Constraints: 80747
2927.03/2934.92 c #Conflicts: 1454000 | #Constraints: 82245
2927.03/2934.92 c #Conflicts: 1455000 | #Constraints: 83760
2927.03/2934.92 c #Conflicts: 1456000 | #Constraints: 85263
2927.03/2934.92 c #Conflicts: 1457000 | #Constraints: 86756
2927.03/2934.92 c #Conflicts: 1458000 | #Constraints: 88246
2927.03/2934.92 c #Conflicts: 1459000 | #Constraints: 89727
2927.03/2934.92 c #Conflicts: 1460000 | #Constraints: 91258
2927.03/2934.92 c #Conflicts: 1461000 | #Constraints: 92776
2927.03/2934.92 c #Conflicts: 1462000 | #Constraints: 94296
2927.03/2934.92 c #Conflicts: 1463000 | #Constraints: 95818
2927.03/2934.92 c #Conflicts: 1464000 | #Constraints: 97386
2927.03/2934.92 c #Conflicts: 1465000 | #Constraints: 98915
2927.03/2934.92 c #Conflicts: 1466000 | #Constraints: 100435
2927.03/2934.92 c #Conflicts: 1467000 | #Constraints: 101940
2927.03/2934.92 c INPROCESSING
2927.03/2934.92 c GARBAGE COLLECT
2927.03/2934.92 c #Conflicts: 1468000 | #Constraints: 67228
2927.03/2934.92 c #Conflicts: 1469000 | #Constraints: 68739
2927.03/2934.92 c #Conflicts: 1470000 | #Constraints: 70238
3070.74/3079.09 c #Conflicts: 1471000 | #Constraints: 71757
3070.74/3079.09 c #Conflicts: 1472000 | #Constraints: 73285
3070.74/3079.09 c #Conflicts: 1473000 | #Constraints: 74814
3070.74/3079.09 c #Conflicts: 1474000 | #Constraints: 76336
3070.74/3079.09 c #Conflicts: 1475000 | #Constraints: 77844
3070.74/3079.09 c #Conflicts: 1476000 | #Constraints: 79367
3070.74/3079.09 c #Conflicts: 1477000 | #Constraints: 80875
3070.74/3079.09 c #Conflicts: 1478000 | #Constraints: 82386
3070.74/3079.09 c #Conflicts: 1479000 | #Constraints: 83875
3070.74/3079.09 c #Conflicts: 1480000 | #Constraints: 85393
3070.74/3079.09 c #Conflicts: 1481000 | #Constraints: 86901
3070.74/3079.09 c #Conflicts: 1482000 | #Constraints: 88436
3070.74/3079.09 c #Conflicts: 1483000 | #Constraints: 89927
3070.74/3079.09 c #Conflicts: 1484000 | #Constraints: 91450
3070.74/3079.09 c #Conflicts: 1485000 | #Constraints: 92928
3070.74/3079.09 c #Conflicts: 1486000 | #Constraints: 94464
3070.74/3079.09 c #Conflicts: 1487000 | #Constraints: 95939
3070.74/3079.09 c #Conflicts: 1488000 | #Constraints: 97422
3070.74/3079.09 c #Conflicts: 1489000 | #Constraints: 98980
3070.74/3079.09 c #Conflicts: 1490000 | #Constraints: 100472
3070.74/3079.09 c #Conflicts: 1491000 | #Constraints: 101989
3070.74/3079.09 c INPROCESSING
3070.74/3079.09 c GARBAGE COLLECT
3070.74/3079.09 c #Conflicts: 1492000 | #Constraints: 66942
3070.74/3079.09 c #Conflicts: 1493000 | #Constraints: 68497
3070.74/3079.09 c #Conflicts: 1494000 | #Constraints: 69960
3070.74/3079.09 c #Conflicts: 1495000 | #Constraints: 71582
3070.74/3079.09 c #Conflicts: 1496000 | #Constraints: 73197
3070.74/3079.09 c #Conflicts: 1497000 | #Constraints: 74697
3070.74/3079.09 c #Conflicts: 1498000 | #Constraints: 76197
3070.74/3079.09 c #Conflicts: 1499000 | #Constraints: 77706
3070.74/3079.09 c #Conflicts: 1500000 | #Constraints: 79232
3070.74/3079.09 c #Conflicts: 1501000 | #Constraints: 80740
3070.74/3079.09 c #Conflicts: 1502000 | #Constraints: 82250
3070.74/3079.09 c #Conflicts: 1503000 | #Constraints: 83772
3070.74/3079.09 c #Conflicts: 1504000 | #Constraints: 85300
3070.74/3079.09 c #Conflicts: 1505000 | #Constraints: 86830
3070.74/3079.09 c #Conflicts: 1506000 | #Constraints: 88315
3070.74/3079.09 c #Conflicts: 1507000 | #Constraints: 89836
3070.74/3079.09 c #Conflicts: 1508000 | #Constraints: 91358
3070.74/3079.09 c #Conflicts: 1509000 | #Constraints: 92868
3070.74/3079.09 c #Conflicts: 1510000 | #Constraints: 94375
3070.74/3079.09 c #Conflicts: 1511000 | #Constraints: 95938
3070.74/3079.09 c #Conflicts: 1512000 | #Constraints: 97431
3070.74/3079.09 c #Conflicts: 1513000 | #Constraints: 98948
3070.74/3079.09 c #Conflicts: 1514000 | #Constraints: 100445
3070.74/3079.09 c #Conflicts: 1515000 | #Constraints: 101943
3070.74/3079.09 c #Conflicts: 1516000 | #Constraints: 103460
3070.74/3079.09 c INPROCESSING
3070.74/3079.09 c GARBAGE COLLECT
3070.74/3079.09 c #Conflicts: 1517000 | #Constraints: 67989
3070.74/3079.09 c #Conflicts: 1518000 | #Constraints: 69534
3070.74/3079.09 c #Conflicts: 1519000 | #Constraints: 71048
3070.74/3079.09 c #Conflicts: 1520000 | #Constraints: 72602
3070.74/3079.09 c #Conflicts: 1521000 | #Constraints: 74103
3070.74/3079.09 c #Conflicts: 1522000 | #Constraints: 75633
3070.74/3079.09 c #Conflicts: 1523000 | #Constraints: 77123
3070.74/3079.09 c #Conflicts: 1524000 | #Constraints: 78573
3070.74/3079.09 c #Conflicts: 1525000 | #Constraints: 80041
3070.74/3079.09 c #Conflicts: 1526000 | #Constraints: 81537
3070.74/3079.09 c #Conflicts: 1527000 | #Constraints: 83038
3070.74/3079.09 c #Conflicts: 1528000 | #Constraints: 84584
3070.74/3079.09 c #Conflicts: 1529000 | #Constraints: 86142
3070.74/3079.09 c #Conflicts: 1530000 | #Constraints: 87628
3070.74/3079.09 c #Conflicts: 1531000 | #Constraints: 89192
3070.74/3079.09 c #Conflicts: 1532000 | #Constraints: 90695
3070.74/3079.09 c #Conflicts: 1533000 | #Constraints: 92192
3070.74/3079.09 c #Conflicts: 1534000 | #Constraints: 93697
3070.74/3079.09 c #Conflicts: 1535000 | #Constraints: 95202
3070.74/3079.09 c #Conflicts: 1536000 | #Constraints: 96706
3070.74/3079.09 c #Conflicts: 1537000 | #Constraints: 98182
3070.74/3079.09 c #Conflicts: 1538000 | #Constraints: 99705
3070.74/3079.09 c #Conflicts: 1539000 | #Constraints: 101193
3070.74/3079.09 c #Conflicts: 1540000 | #Constraints: 102738
3070.74/3079.09 c #Conflicts: 1541000 | #Constraints: 104310
3070.74/3079.09 c INPROCESSING
3070.74/3079.09 c GARBAGE COLLECT
3070.74/3079.09 c #Conflicts: 1542000 | #Constraints: 68553
3070.74/3079.09 c #Conflicts: 1543000 | #Constraints: 70033
3070.74/3079.09 c #Conflicts: 1544000 | #Constraints: 71522
3070.74/3079.09 c #Conflicts: 1545000 | #Constraints: 73021
3070.74/3079.09 c #Conflicts: 1546000 | #Constraints: 74517
3070.74/3079.09 c #Conflicts: 1547000 | #Constraints: 76017
3222.02/3230.72 c #Conflicts: 1548000 | #Constraints: 77537
3222.02/3230.72 c #Conflicts: 1549000 | #Constraints: 79016
3222.02/3230.72 c #Conflicts: 1550000 | #Constraints: 80500
3222.02/3230.72 c #Conflicts: 1551000 | #Constraints: 82000
3222.02/3230.72 c #Conflicts: 1552000 | #Constraints: 83492
3222.02/3230.72 c #Conflicts: 1553000 | #Constraints: 84992
3222.02/3230.72 c #Conflicts: 1554000 | #Constraints: 86486
3222.02/3230.72 c #Conflicts: 1555000 | #Constraints: 87970
3222.02/3230.72 c #Conflicts: 1556000 | #Constraints: 89444
3222.02/3230.72 c #Conflicts: 1557000 | #Constraints: 90904
3222.02/3230.72 c #Conflicts: 1558000 | #Constraints: 92377
3222.02/3230.72 c #Conflicts: 1559000 | #Constraints: 93851
3222.02/3230.72 c #Conflicts: 1560000 | #Constraints: 95324
3222.02/3230.72 c #Conflicts: 1561000 | #Constraints: 96786
3222.02/3230.72 c #Conflicts: 1562000 | #Constraints: 98260
3222.02/3230.72 c #Conflicts: 1563000 | #Constraints: 99738
3222.02/3230.72 c #Conflicts: 1564000 | #Constraints: 101218
3222.02/3230.72 c #Conflicts: 1565000 | #Constraints: 102814
3222.02/3230.72 c #Conflicts: 1566000 | #Constraints: 104357
3222.02/3230.72 c INPROCESSING
3222.02/3230.72 c GARBAGE COLLECT
3222.02/3230.72 c #Conflicts: 1567000 | #Constraints: 68574
3222.02/3230.72 c #Conflicts: 1568000 | #Constraints: 70059
3222.02/3230.72 c #Conflicts: 1569000 | #Constraints: 71535
3222.02/3230.72 c #Conflicts: 1570000 | #Constraints: 73009
3222.02/3230.72 c #Conflicts: 1571000 | #Constraints: 74484
3222.02/3230.72 c #Conflicts: 1572000 | #Constraints: 75952
3222.02/3230.72 c #Conflicts: 1573000 | #Constraints: 77430
3222.02/3230.72 c #Conflicts: 1574000 | #Constraints: 78925
3222.02/3230.72 c #Conflicts: 1575000 | #Constraints: 80415
3222.02/3230.72 c #Conflicts: 1576000 | #Constraints: 81916
3222.02/3230.72 c #Conflicts: 1577000 | #Constraints: 83413
3222.02/3230.72 c #Conflicts: 1578000 | #Constraints: 84884
3222.02/3230.72 c #Conflicts: 1579000 | #Constraints: 86388
3222.02/3230.72 c #Conflicts: 1580000 | #Constraints: 87871
3222.02/3230.72 c #Conflicts: 1581000 | #Constraints: 89378
3222.02/3230.72 c #Conflicts: 1582000 | #Constraints: 90892
3222.02/3230.72 c #Conflicts: 1583000 | #Constraints: 92437
3222.02/3230.72 c #Conflicts: 1584000 | #Constraints: 93905
3222.02/3230.72 c #Conflicts: 1585000 | #Constraints: 95390
3222.02/3230.72 c #Conflicts: 1586000 | #Constraints: 96892
3222.02/3230.72 c #Conflicts: 1587000 | #Constraints: 98401
3222.02/3230.72 c #Conflicts: 1588000 | #Constraints: 99914
3222.02/3230.72 c #Conflicts: 1589000 | #Constraints: 101411
3222.02/3230.72 c #Conflicts: 1590000 | #Constraints: 102949
3222.02/3230.72 c #Conflicts: 1591000 | #Constraints: 104522
3222.02/3230.72 c INPROCESSING
3222.02/3230.72 c GARBAGE COLLECT
3222.02/3230.72 c #Conflicts: 1592000 | #Constraints: 68510
3222.02/3230.72 c #Conflicts: 1593000 | #Constraints: 69972
3222.02/3230.72 c #Conflicts: 1594000 | #Constraints: 71445
3222.02/3230.72 c #Conflicts: 1595000 | #Constraints: 72938
3222.02/3230.72 c #Conflicts: 1596000 | #Constraints: 74452
3222.02/3230.72 c #Conflicts: 1597000 | #Constraints: 75949
3222.02/3230.72 c #Conflicts: 1598000 | #Constraints: 77478
3222.02/3230.72 c #Conflicts: 1599000 | #Constraints: 79000
3222.02/3230.72 c #Conflicts: 1600000 | #Constraints: 80522
3222.02/3230.72 c #Conflicts: 1601000 | #Constraints: 82034
3222.02/3230.72 c #Conflicts: 1602000 | #Constraints: 83536
3222.02/3230.72 c #Conflicts: 1603000 | #Constraints: 85053
3222.02/3230.72 c #Conflicts: 1604000 | #Constraints: 86600
3222.02/3230.72 c #Conflicts: 1605000 | #Constraints: 88123
3222.02/3230.72 c #Conflicts: 1606000 | #Constraints: 89673
3222.02/3230.72 c #Conflicts: 1607000 | #Constraints: 91223
3222.02/3230.72 c #Conflicts: 1608000 | #Constraints: 92764
3222.02/3230.72 c #Conflicts: 1609000 | #Constraints: 94356
3222.02/3230.72 c #Conflicts: 1610000 | #Constraints: 95925
3222.02/3230.72 c #Conflicts: 1611000 | #Constraints: 97451
3222.02/3230.72 c #Conflicts: 1612000 | #Constraints: 99005
3222.02/3230.72 c #Conflicts: 1613000 | #Constraints: 100564
3222.02/3230.72 c #Conflicts: 1614000 | #Constraints: 102127
3222.02/3230.72 c #Conflicts: 1615000 | #Constraints: 103694
3222.02/3230.72 c #Conflicts: 1616000 | #Constraints: 105249
3222.02/3230.72 c INPROCESSING
3222.02/3230.72 c GARBAGE COLLECT
3222.02/3230.72 c #Conflicts: 1617000 | #Constraints: 68619
3222.02/3230.72 c #Conflicts: 1618000 | #Constraints: 70207
3222.02/3230.72 c #Conflicts: 1619000 | #Constraints: 71755
3222.02/3230.72 c #Conflicts: 1620000 | #Constraints: 73322
3222.02/3230.72 c #Conflicts: 1621000 | #Constraints: 74862
3222.02/3230.72 c #Conflicts: 1622000 | #Constraints: 76412
3222.02/3230.72 c #Conflicts: 1623000 | #Constraints: 77928
3222.02/3230.72 c #Conflicts: 1624000 | #Constraints: 79422
3363.91/3373.01 c #Conflicts: 1625000 | #Constraints: 80889
3363.91/3373.01 c #Conflicts: 1626000 | #Constraints: 82367
3363.91/3373.01 c #Conflicts: 1627000 | #Constraints: 83835
3363.91/3373.01 c #Conflicts: 1628000 | #Constraints: 85322
3363.91/3373.01 c #Conflicts: 1629000 | #Constraints: 86806
3363.91/3373.01 c #Conflicts: 1630000 | #Constraints: 88284
3363.91/3373.01 c #Conflicts: 1631000 | #Constraints: 89789
3363.91/3373.01 c #Conflicts: 1632000 | #Constraints: 91294
3363.91/3373.01 c #Conflicts: 1633000 | #Constraints: 92797
3363.91/3373.01 c #Conflicts: 1634000 | #Constraints: 94293
3363.91/3373.01 c #Conflicts: 1635000 | #Constraints: 95820
3363.91/3373.01 c #Conflicts: 1636000 | #Constraints: 97334
3363.91/3373.01 c #Conflicts: 1637000 | #Constraints: 98874
3363.91/3373.01 c #Conflicts: 1638000 | #Constraints: 100345
3363.91/3373.01 c #Conflicts: 1639000 | #Constraints: 101822
3363.91/3373.01 c #Conflicts: 1640000 | #Constraints: 103318
3363.91/3373.01 c #Conflicts: 1641000 | #Constraints: 104837
3363.91/3373.01 c #Conflicts: 1642000 | #Constraints: 106362
3363.91/3373.01 c INPROCESSING
3363.91/3373.01 c GARBAGE COLLECT
3363.91/3373.01 c #Conflicts: 1643000 | #Constraints: 69429
3363.91/3373.01 c #Conflicts: 1644000 | #Constraints: 70911
3363.91/3373.01 c #Conflicts: 1645000 | #Constraints: 72442
3363.91/3373.01 c #Conflicts: 1646000 | #Constraints: 73947
3363.91/3373.01 c #Conflicts: 1647000 | #Constraints: 75450
3363.91/3373.01 c #Conflicts: 1648000 | #Constraints: 76947
3363.91/3373.01 c #Conflicts: 1649000 | #Constraints: 78494
3363.91/3373.01 c #Conflicts: 1650000 | #Constraints: 80006
3363.91/3373.01 c #Conflicts: 1651000 | #Constraints: 81522
3363.91/3373.01 c #Conflicts: 1652000 | #Constraints: 83120
3363.91/3373.01 c #Conflicts: 1653000 | #Constraints: 84642
3363.91/3373.01 c #Conflicts: 1654000 | #Constraints: 86164
3363.91/3373.01 c #Conflicts: 1655000 | #Constraints: 87645
3363.91/3373.01 c #Conflicts: 1656000 | #Constraints: 89212
3363.91/3373.01 c #Conflicts: 1657000 | #Constraints: 90716
3363.91/3373.01 c #Conflicts: 1658000 | #Constraints: 92182
3363.91/3373.01 c #Conflicts: 1659000 | #Constraints: 93657
3363.91/3373.01 c #Conflicts: 1660000 | #Constraints: 95130
3363.91/3373.01 c #Conflicts: 1661000 | #Constraints: 96682
3363.91/3373.01 c #Conflicts: 1662000 | #Constraints: 98179
3363.91/3373.01 c #Conflicts: 1663000 | #Constraints: 99671
3363.91/3373.01 c #Conflicts: 1664000 | #Constraints: 101193
3363.91/3373.01 c #Conflicts: 1665000 | #Constraints: 102698
3363.91/3373.01 c #Conflicts: 1666000 | #Constraints: 104192
3363.91/3373.01 c #Conflicts: 1667000 | #Constraints: 105655
3363.91/3373.01 c #Conflicts: 1668000 | #Constraints: 107160
3363.91/3373.01 c INPROCESSING
3363.91/3373.01 c GARBAGE COLLECT
3363.91/3373.01 c #Conflicts: 1669000 | #Constraints: 69946
3363.91/3373.01 c #Conflicts: 1670000 | #Constraints: 71487
3363.91/3373.01 c #Conflicts: 1671000 | #Constraints: 73069
3363.91/3373.01 c #Conflicts: 1672000 | #Constraints: 74599
3363.91/3373.01 c #Conflicts: 1673000 | #Constraints: 76102
3363.91/3373.01 c #Conflicts: 1674000 | #Constraints: 77688
3363.91/3373.01 c #Conflicts: 1675000 | #Constraints: 79246
3363.91/3373.01 c #Conflicts: 1676000 | #Constraints: 80796
3363.91/3373.01 c #Conflicts: 1677000 | #Constraints: 82290
3363.91/3373.01 c #Conflicts: 1678000 | #Constraints: 83761
3363.91/3373.01 c #Conflicts: 1679000 | #Constraints: 85214
3363.91/3373.01 c #Conflicts: 1680000 | #Constraints: 86727
3363.91/3373.01 c #Conflicts: 1681000 | #Constraints: 88270
3363.91/3373.01 c #Conflicts: 1682000 | #Constraints: 89802
3363.91/3373.01 c #Conflicts: 1683000 | #Constraints: 91350
3363.91/3373.01 c #Conflicts: 1684000 | #Constraints: 92894
3363.91/3373.01 c #Conflicts: 1685000 | #Constraints: 94401
3363.91/3373.01 c #Conflicts: 1686000 | #Constraints: 95927
3363.91/3373.01 c #Conflicts: 1687000 | #Constraints: 97465
3363.91/3373.01 c #Conflicts: 1688000 | #Constraints: 98998
3363.91/3373.01 c #Conflicts: 1689000 | #Constraints: 100545
3363.91/3373.01 c #Conflicts: 1690000 | #Constraints: 102093
3363.91/3373.01 c #Conflicts: 1691000 | #Constraints: 103578
3363.91/3373.01 c #Conflicts: 1692000 | #Constraints: 105188
3363.91/3373.01 c #Conflicts: 1693000 | #Constraints: 106670
3363.91/3373.01 c #Conflicts: 1694000 | #Constraints: 108174
3363.91/3373.01 c INPROCESSING
3363.91/3373.01 c GARBAGE COLLECT
3363.91/3373.01 c #Conflicts: 1695000 | #Constraints: 70493
3363.91/3373.01 c #Conflicts: 1696000 | #Constraints: 72031
3363.91/3373.01 c #Conflicts: 1697000 | #Constraints: 73519
3363.91/3373.01 c #Conflicts: 1698000 | #Constraints: 75018
3363.91/3373.01 c #Conflicts: 1699000 | #Constraints: 76505
3363.91/3373.01 c #Conflicts: 1700000 | #Constraints: 78023
3363.91/3373.01 c #Conflicts: 1701000 | #Constraints: 79468
3508.27/3517.86 c #Conflicts: 1702000 | #Constraints: 80958
3508.27/3517.86 c #Conflicts: 1703000 | #Constraints: 82451
3508.27/3517.86 c #Conflicts: 1704000 | #Constraints: 83965
3508.27/3517.86 c #Conflicts: 1705000 | #Constraints: 85482
3508.27/3517.86 c #Conflicts: 1706000 | #Constraints: 86985
3508.27/3517.86 c #Conflicts: 1707000 | #Constraints: 88499
3508.27/3517.86 c #Conflicts: 1708000 | #Constraints: 90015
3508.27/3517.86 c #Conflicts: 1709000 | #Constraints: 91521
3508.27/3517.86 c #Conflicts: 1710000 | #Constraints: 93061
3508.27/3517.86 c #Conflicts: 1711000 | #Constraints: 94546
3508.27/3517.86 c #Conflicts: 1712000 | #Constraints: 96132
3508.27/3517.86 c #Conflicts: 1713000 | #Constraints: 97677
3508.27/3517.86 c #Conflicts: 1714000 | #Constraints: 99185
3508.27/3517.86 c #Conflicts: 1715000 | #Constraints: 100695
3508.27/3517.86 c #Conflicts: 1716000 | #Constraints: 102187
3508.27/3517.86 c #Conflicts: 1717000 | #Constraints: 103715
3508.27/3517.86 c #Conflicts: 1718000 | #Constraints: 105215
3508.27/3517.86 c #Conflicts: 1719000 | #Constraints: 106723
3508.27/3517.86 c #Conflicts: 1720000 | #Constraints: 108217
3508.27/3517.86 c INPROCESSING
3508.27/3517.86 c GARBAGE COLLECT
3508.27/3517.86 c #Conflicts: 1721000 | #Constraints: 70381
3508.27/3517.86 c #Conflicts: 1722000 | #Constraints: 71963
3508.27/3517.86 c #Conflicts: 1723000 | #Constraints: 73515
3508.27/3517.86 c #Conflicts: 1724000 | #Constraints: 74990
3508.27/3517.86 c #Conflicts: 1725000 | #Constraints: 76491
3508.27/3517.86 c #Conflicts: 1726000 | #Constraints: 77995
3508.27/3517.86 c #Conflicts: 1727000 | #Constraints: 79495
3508.27/3517.86 c #Conflicts: 1728000 | #Constraints: 81007
3508.27/3517.86 c #Conflicts: 1729000 | #Constraints: 82499
3508.27/3517.86 c #Conflicts: 1730000 | #Constraints: 83997
3508.27/3517.86 c #Conflicts: 1731000 | #Constraints: 85534
3508.27/3517.86 c #Conflicts: 1732000 | #Constraints: 87105
3508.27/3517.86 c #Conflicts: 1733000 | #Constraints: 88683
3508.27/3517.86 c #Conflicts: 1734000 | #Constraints: 90232
3508.27/3517.86 c #Conflicts: 1735000 | #Constraints: 91831
3508.27/3517.86 c #Conflicts: 1736000 | #Constraints: 93376
3508.27/3517.86 c #Conflicts: 1737000 | #Constraints: 94902
3508.27/3517.86 c #Conflicts: 1738000 | #Constraints: 96423
3508.27/3517.86 c #Conflicts: 1739000 | #Constraints: 97960
3508.27/3517.86 c #Conflicts: 1740000 | #Constraints: 99544
3508.27/3517.86 c #Conflicts: 1741000 | #Constraints: 101106
3508.27/3517.86 c #Conflicts: 1742000 | #Constraints: 102669
3508.27/3517.86 c #Conflicts: 1743000 | #Constraints: 104185
3508.27/3517.86 c #Conflicts: 1744000 | #Constraints: 105691
3508.27/3517.86 c #Conflicts: 1745000 | #Constraints: 107170
3508.27/3517.86 c #Conflicts: 1746000 | #Constraints: 108711
3508.27/3517.86 c INPROCESSING
3508.27/3517.86 c GARBAGE COLLECT
3508.27/3517.86 c #Conflicts: 1747000 | #Constraints: 70285
3508.27/3517.86 c #Conflicts: 1748000 | #Constraints: 71746
3508.27/3517.86 c #Conflicts: 1749000 | #Constraints: 73235
3508.27/3517.86 c #Conflicts: 1750000 | #Constraints: 74718
3508.27/3517.86 c #Conflicts: 1751000 | #Constraints: 76209
3508.27/3517.86 c #Conflicts: 1752000 | #Constraints: 77713
3508.27/3517.86 c #Conflicts: 1753000 | #Constraints: 79227
3508.27/3517.86 c #Conflicts: 1754000 | #Constraints: 80753
3508.27/3517.86 c #Conflicts: 1755000 | #Constraints: 82279
3508.27/3517.86 c #Conflicts: 1756000 | #Constraints: 83794
3508.27/3517.86 c #Conflicts: 1757000 | #Constraints: 85288
3508.27/3517.86 c #Conflicts: 1758000 | #Constraints: 86768
3508.27/3517.86 c #Conflicts: 1759000 | #Constraints: 88333
3508.27/3517.86 c #Conflicts: 1760000 | #Constraints: 89860
3508.27/3517.86 c #Conflicts: 1761000 | #Constraints: 91445
3508.27/3517.86 c #Conflicts: 1762000 | #Constraints: 93023
3508.27/3517.86 c #Conflicts: 1763000 | #Constraints: 94546
3508.27/3517.86 c #Conflicts: 1764000 | #Constraints: 96029
3508.27/3517.86 c #Conflicts: 1765000 | #Constraints: 97535
3508.27/3517.86 c #Conflicts: 1766000 | #Constraints: 99037
3508.27/3517.86 c #Conflicts: 1767000 | #Constraints: 100529
3508.27/3517.86 c #Conflicts: 1768000 | #Constraints: 102060
3508.27/3517.86 c #Conflicts: 1769000 | #Constraints: 103566
3508.27/3517.86 c #Conflicts: 1770000 | #Constraints: 105146
3508.27/3517.86 c #Conflicts: 1771000 | #Constraints: 106657
3508.27/3517.86 c #Conflicts: 1772000 | #Constraints: 108182
3508.27/3517.86 c #Conflicts: 1773000 | #Constraints: 109658
3508.27/3517.86 c INPROCESSING
3508.27/3517.86 c GARBAGE COLLECT
3508.27/3517.86 c #Conflicts: 1774000 | #Constraints: 71091
3508.27/3517.86 c #Conflicts: 1775000 | #Constraints: 72603
3508.27/3517.86 c #Conflicts: 1776000 | #Constraints: 74109
3508.27/3517.86 c #Conflicts: 1777000 | #Constraints: 75604
3508.27/3517.86 c #Conflicts: 1778000 | #Constraints: 77096
3600.09/3609.90 c #Conflicts: 1779000 | #Constraints: 78631
3600.09/3609.90 c #Conflicts: 1780000 | #Constraints: 80149
3600.09/3609.90 c #Conflicts: 1781000 | #Constraints: 81643
3600.09/3609.90 c #Conflicts: 1782000 | #Constraints: 83139
3600.09/3609.90 c #Conflicts: 1783000 | #Constraints: 84693
3600.09/3609.90 c #Conflicts: 1784000 | #Constraints: 86197
3600.09/3609.90 c #Conflicts: 1785000 | #Constraints: 87709
3600.09/3609.90 c #Conflicts: 1786000 | #Constraints: 89189
3600.09/3609.90 c #Conflicts: 1787000 | #Constraints: 90663
3600.09/3609.90 c #Conflicts: 1788000 | #Constraints: 92149
3600.09/3609.90 c #Conflicts: 1789000 | #Constraints: 93698
3600.09/3609.90 c #Conflicts: 1790000 | #Constraints: 95234
3600.09/3609.90 c #Conflicts: 1791000 | #Constraints: 96746
3600.09/3609.90 c #Conflicts: 1792000 | #Constraints: 98254
3600.09/3609.90 c #Conflicts: 1793000 | #Constraints: 99782
3600.09/3609.90 c #Conflicts: 1794000 | #Constraints: 101325
3600.09/3609.90 c #Conflicts: 1795000 | #Constraints: 102776
3600.09/3609.90 c #Conflicts: 1796000 | #Constraints: 104239
3600.09/3609.90 c #Conflicts: 1797000 | #Constraints: 105758
3600.09/3609.90 c #Conflicts: 1798000 | #Constraints: 107290
3600.09/3609.90 c #Conflicts: 1799000 | #Constraints: 108808
3600.09/3609.90 c #Conflicts: 1800000 | #Constraints: 110310
3600.09/3609.90 c INPROCESSING
3600.09/3609.90 c GARBAGE COLLECT
3600.09/3609.90 c #Conflicts: 1801000 | #Constraints: 71537
3600.09/3609.90 c #Conflicts: 1802000 | #Constraints: 73021
3600.09/3609.90 c #Conflicts: 1803000 | #Constraints: 74527
3600.09/3609.90 c #Conflicts: 1804000 | #Constraints: 76056
3600.09/3609.90 c #Conflicts: 1805000 | #Constraints: 77654
3600.09/3609.90 c #Conflicts: 1806000 | #Constraints: 79229
3600.09/3609.90 c #Conflicts: 1807000 | #Constraints: 80789
3600.09/3609.90 c #Conflicts: 1808000 | #Constraints: 82348
3600.09/3609.90 c #Conflicts: 1809000 | #Constraints: 83884
3600.09/3609.90 c #Conflicts: 1810000 | #Constraints: 85414
3600.09/3609.90 c #Conflicts: 1811000 | #Constraints: 86953
3600.09/3609.90 c #Conflicts: 1812000 | #Constraints: 88501
3600.09/3609.90 c #Conflicts: 1813000 | #Constraints: 90029
3600.09/3609.90 c #Conflicts: 1814000 | #Constraints: 91605
3600.09/3609.90 c #Conflicts: 1815000 | #Constraints: 93180
3600.09/3609.90 c #Conflicts: 1816000 | #Constraints: 94705
3600.09/3609.90 c #Conflicts: 1817000 | #Constraints: 96208
3600.09/3609.90 c #Conflicts: 1818000 | #Constraints: 97708
3600.09/3609.90 c #Conflicts: 1819000 | #Constraints: 99224
3600.09/3609.90 c #Conflicts: 1820000 | #Constraints: 100718
3600.09/3609.90 c #Conflicts: 1821000 | #Constraints: 102185
3600.09/3609.90 c #Conflicts: 1822000 | #Constraints: 103663
3600.09/3609.90 c #Conflicts: 1823000 | #Constraints: 105152
3600.09/3609.90 c #Conflicts: 1824000 | #Constraints: 106642
3600.09/3609.90 c #Conflicts: 1825000 | #Constraints: 108144
3600.09/3609.90 c #Conflicts: 1826000 | #Constraints: 109619
3600.09/3609.90 c #Conflicts: 1827000 | #Constraints: 111101
3600.09/3609.90 c INPROCESSING
3600.09/3609.90 c GARBAGE COLLECT
3600.09/3609.90 c Disabling crashed LP
3600.09/3609.90 c cpu time 3585.83 s
3600.09/3609.90 c deterministic time 10693520507 1.07e+10
3600.09/3609.90 c optimization time 0.322377 s
3600.09/3609.90 c total solve time 3585.41 s
3600.09/3609.90 c core-guided solve time 0 s
3600.09/3609.90 c propagation time 3302.01 s
3600.09/3609.90 c conflict analysis time 45.7581 s
3600.09/3609.90 c propagations 81479843
3600.09/3609.90 c resolve steps 17835605
3600.09/3609.90 c decisions 3265127
3600.09/3609.90 c conflicts 1827182
3600.09/3609.90 c restarts 3578
3600.09/3609.90 c inprocessing phases 126
3600.09/3609.90 c garbage collections 125 ,( 99.21 )
3600.09/3609.90 c input clauses 28425 ,( 95.96 )
3600.09/3609.90 c input cardinalities 301 ,( 1.02 )
3600.09/3609.90 c input general constraints 896 ,( 3.02 )
3600.09/3609.90 c input average constraint length 3.52
3600.09/3609.90 c input average constraint degree 1.54
3600.09/3609.90 c learned clauses 1395964 ,( 52.39 )
3600.09/3609.90 c learned cardinalities 130440 ,( 4.90 )
3600.09/3609.90 c learned general constraints 1138207 ,( 42.72 )
3600.09/3609.90 c learned average constraint length 94.12
3600.09/3609.90 c learned average constraint degree 1259762615.33
3600.09/3609.90 c watched CF 32, 64, 128, Arb: 304283 , 0 , 0 , 0
3600.09/3609.90 c counting CF 32, 64, 128, Arb: 834821 , 0 , 0 , 0
3600.09/3609.90 c watched constraints 304283 ,( 26.71 )
3600.09/3609.90 c counting constraints 834820 ,( 73.29 )
3600.09/3609.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 464502436 , 595435162 , 141345502 ,( 141144688 , 200814 )
3600.09/3609.90 c gcd simplifications 15876
3600.09/3609.90 c detected cardinalities 9577
3600.09/3609.90 c weakened non-implied lits 9719122
3600.09/3609.90 c weakened non-implying lits 628
3600.09/3609.90 c original variables 9632
3600.09/3609.90 c clausal propagations 71018666
3600.09/3609.90 c cardinality propagations 7280538
3600.09/3609.90 c watched propagations 1085994
3600.09/3609.90 c counting propagations 60521
3600.09/3609.90 c watch lookups 3372250896
3600.09/3609.90 c watch backjump lookups 0
3600.09/3609.90 c watch checks 6029583383
3600.09/3609.90 c propagation checks 787537224
3600.09/3609.90 c constraint additions 332384144
3600.09/3609.90 c trail pops 86567827
3600.09/3609.90 c formula constraints 29620
3600.09/3609.90 c learned constraints 1827182
3600.09/3609.90 c bound constraints 0
3600.09/3609.90 c core-guided constraints 0
3600.09/3609.90 c encountered formula constraints 13644537
3600.09/3609.90 c encountered learned constraints 5883827
3600.09/3609.90 c encountered bound constraints 0
3600.09/3609.90 c encountered core-guided constraints 0
3600.09/3609.90 c LP total time 3328.32 s
3600.09/3609.90 c LP solve time 2424.47 s
3600.09/3609.90 c LP constraints added 30483
3600.09/3609.90 c LP constraints removed 705
3600.09/3609.90 c LP pivots internal 196848
3600.09/3609.90 c LP pivots root 255214
3600.09/3609.90 c LP calls 836847
3600.09/3609.90 c LP optimalities 14
3600.09/3609.90 c LP no pivot count 3
3600.09/3609.90 c LP infeasibilities 836826
3600.09/3609.90 c LP valid Farkas constraints 836826
3600.09/3609.90 c LP learned Farkas constraints 0
3600.09/3609.90 c LP basis resets 0
3600.09/3609.90 c LP cycling count 0
3600.09/3609.90 c LP singular count 0
3600.09/3609.90 c LP no primal count 0
3600.09/3609.90 c LP no farkas count 0
3600.09/3609.90 c LP other issue count 0
3600.09/3609.90 c LP Gomory cuts 603
3600.09/3609.90 c LP learned cuts 260
3600.09/3609.90 c LP deleted cuts 705
3600.09/3609.90 c LP encountered Gomory constraints 134423
3600.09/3609.90 c LP encountered Farkas constraints 0
3600.09/3609.90 c LP encountered learned Farkas constraints 0
3600.09/3609.90 c CG auxiliary variables introduced 3
3600.09/3609.90 c CG solutions found 0
3600.09/3609.90 c CG cores constructed 2
3600.09/3609.90 c CG core cardinality constraints returned 0
3600.09/3609.90 c CG unit cores 0
3600.09/3609.90 c CG single cores 0
3600.09/3609.90 c CG blocks removed during cardinality reduction 0
3600.09/3609.90 c CG first core best 0
3600.09/3609.90 c CG decision core best 0
3600.09/3609.90 c CG core reduction tie 0
3600.09/3609.90 c CG core degree average 0.00
3600.09/3609.90 c CG core slack average 0.00
3600.09/3609.90 c CG core upper bound improvements 0
3600.09/3609.90 c STR number of successful calls 0
3600.09/3609.90 c STR number of unsuccessful calls 0
3600.09/3609.90 c STR number of inconclusive calls 0
3600.09/3609.90 c STR number of successful attempts 0
3600.09/3609.90 c STR number of unsuccessful attempts 0
3600.09/3609.90 c STR number of inconclusive attempts 0
3600.09/3609.90 c STR average degree increase per successful call inf
3600.09/3609.90 c STR average degree increase per successful attempt inf
3600.09/3609.90 c STR total number of conflicts for successful attempts 0
3600.09/3609.90 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3609.90 c STR total number of conflicts for inconclusive attempts 0
3600.09/3609.90 c STR average number of conflicts per successful attempt inf
3600.09/3609.90 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3609.90 c STR average number of conflicts per inconclusive attempt inf
3600.09/3609.90 c AVG.sumWPerc 37.25
3600.09/3609.90 c bigint constraints 0
3600.09/3609.90 s UNKNOWN
3600.09/3609.90 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 (62127 MiB free)
memory of node 1: 64465 MiB (63801 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508136-1751512042/watcher-4508136-1751512042 -o /tmp/evaluation-result-4508136-1751512042/solver-4508136-1751512042 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751510521-81227 --watchdog 3760 run-opt.sh HOME/instance-4508136-1751512042.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=81461, runsolver pid=81458
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 4.12 4.09 3.74 5/268 81463
/proc/meminfo: memFree=128958304/131249992 swapFree=33010160/33010684
[pid=81461] ppid=81458 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/81461/stat : 81461 (run-opt.sh) S 81458 81461 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66882945 4292608 704 18446744073709551615 94151664148480 94151665043013 140735209451104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94151665282064 94151665329808 94151680278528 140735209458029 140735209458152 140735209458152 140735209463754 0
/proc/81461/statm: 1048 704 672 219 0 110 0
[pid=81463] ppid=81461 vsize=67544 memory=21888 CPUtime=0.08 cores=0,2
/proc/81463/stat : 81463 (roundingsat) R 81461 81461 81217 0 -1 4194304 3946 0 0 0 6 2 0 0 20 0 1 0 66882946 69165056 5472 18446744073709551615 4227072 8923433 140721528961792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22130688 140721528969634 140721528969768 140721528969768 140721528975338 0
/proc/81463/statm: 16886 5472 2208 1147 0 4313 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 71736 KiB
Current children cumulated memory: 24704 KiB
[startup+0.205588 s]*
/proc/loadavg: 4.12 4.09 3.74 5/268 81463
/proc/meminfo: memFree=128933336/131249992 swapFree=33010160/33010684
[pid=81461] ppid=81458 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/81461/stat : 81461 (run-opt.sh) S 81458 81461 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66882945 4292608 704 18446744073709551615 94151664148480 94151665043013 140735209451104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94151665282064 94151665329808 94151680278528 140735209458029 140735209458152 140735209458152 140735209463754 0
/proc/81461/statm: 1048 704 672 219 0 110 0
[pid=81463] ppid=81461 vsize=103948 memory=53124 CPUtime=0.19 cores=0,2
/proc/81463/stat : 81463 (roundingsat) R 81461 81461 81217 0 -1 4194304 9475 0 0 0 14 5 0 0 20 0 1 0 66882946 106442752 13281 18446744073709551615 4227072 8923433 140721528961792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22130688 140721528969634 140721528969768 140721528969768 140721528975338 0
/proc/81463/statm: 25987 13281 2336 1147 0 13414 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 108140 KiB
Current children cumulated memory: 55940 KiB
[startup+0.305469 s]*
/proc/loadavg: 4.12 4.09 3.74 5/268 81463
/proc/meminfo: memFree=128932832/131249992 swapFree=33010160/33010684
[pid=81461] ppid=81458 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/81461/stat : 81461 (run-opt.sh) S 81458 81461 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66882945 4292608 704 18446744073709551615 94151664148480 94151665043013 140735209451104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94151665282064 94151665329808 94151680278528 140735209458029 140735209458152 140735209458152 140735209463754 0
/proc/81461/statm: 1048 704 672 219 0 110 0
[pid=81463] ppid=81461 vsize=103948 memory=53124 CPUtime=0.28 cores=0,2
/proc/81463/stat : 81463 (roundingsat) R 81461 81461 81217 0 -1 4194304 9476 0 0 0 23 5 0 0 20 0 1 0 66882946 106442752 13281 18446744073709551615 4227072 8923433 140721528961792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22130688 140721528969634 140721528969768 140721528969768 140721528975338 0
/proc/81463/statm: 25987 13281 2336 1147 0 13414 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 108140 KiB
Current children cumulated memory: 55940 KiB
[startup+0.700219 s]
/proc/loadavg: 4.12 4.09 3.74 5/268 81463
/proc/meminfo: memFree=128932928/131249992 swapFree=33010160/33010684
[pid=81461] ppid=81458 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/81461/stat : 81461 (run-opt.sh) S 81458 81461 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66882945 4292608 704 18446744073709551615 94151664148480 94151665043013 140735209451104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94151665282064 94151665329808 94151680278528 140735209458029 140735209458152 140735209458152 140735209463754 0
/proc/81461/statm: 1048 704 672 219 0 110 0
[pid=81463] ppid=81461 vsize=106008 memory=54916 CPUtime=0.68 cores=0,2
/proc/81463/stat : 81463 (roundingsat) R 81461 81461 81217 0 -1 4194304 9879 0 0 0 61 7 0 0 20 0 1 0 66882946 108552192 13729 18446744073709551615 4227072 8923433 140721528961792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22130688 140721528969634 140721528969768 140721528969768 140721528975338 0
/proc/81463/statm: 26502 13729 2368 1147 0 13929 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 110200 KiB
Current children cumulated memory: 57732 KiB
[startup+1.5002 s]
/proc/loadavg: 4.12 4.09 3.74 5/268 81463
/proc/meminfo: memFree=128932928/131249992 swapFree=33010160/33010684
[pid=81461] ppid=81458 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/81461/stat : 81461 (run-opt.sh) S 81458 81461 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66882945 4292608 704 18446744073709551615 94151664148480 94151665043013 140735209451104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94151665282064 94151665329808 94151680278528 140735209458029 140735209458152 140735209458152 140735209463754 0
/proc/81461/statm: 1048 704 672 219 0 110 0
[pid=81463] ppid=81461 vsize=106596 memory=55940 CPUtime=1.47 cores=0,2
/proc/81463/stat : 81463 (roundingsat) R 81461 81461 81217 0 -1 4194304 10154 0 0 0 139 8 0 0 20 0 1 0 66882946 109154304 13985 18446744073709551615 4227072 8923433 140721528961792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22130688 140721528969634 140721528969768 140721528969768 140721528975338 0
/proc/81463/statm: 26649 13985 2368 1147 0 14076 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 110788 KiB
Current children cumulated memory: 58756 KiB
[startup+3.10534 s]
/proc/loadavg: 4.12 4.09 3.74 5/268 81463
/proc/meminfo: memFree=128925156/131249992 swapFree=33010160/33010684
[pid=81461] ppid=81458 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/81461/stat : 81461 (run-opt.sh) S 81458 81461 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66882945 4292608 704 18446744073709551615 94151664148480 94151665043013 140735209451104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94151665282064 94151665329808 94151680278528 140735209458029 140735209458152 140735209458152 140735209463754 0
/proc/81461/statm: 1048 704 672 219 0 110 0
[pid=81463] ppid=81461 vsize=109072 memory=58244 CPUtime=3.08 cores=0,2
/proc/81463/stat : 81463 (roundingsat) R 81461 81461 81217 0 -1 4194304 10722 0 0 0 298 10 0 0 20 0 1 0 66882946 111689728 14561 18446744073709551615 4227072 8923433 140721528961792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22130688 140721528969634 140721528969768 140721528969768 140721528975338 0
/proc/81463/statm: 27268 14561 2368 1147 0 14695 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 113264 KiB
Current children cumulated memory: 61060 KiB
[startup+6.3002 s]
/proc/loadavg: 4.11 4.09 3.75 5/267 81463
/proc/meminfo: memFree=128921368/131249992 swapFree=33010160/33010684
[pid=81461] ppid=81458 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/81461/stat : 81461 (run-opt.sh) S 81458 81461 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66882945 4292608 704 18446744073709551615 94151664148480 94151665043013 140735209451104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94151665282064 94151665329808 94151680278528 140735209458029 140735209458152 140735209458152 140735209463754 0
/proc/81461/statm: 1048 704 672 219 0 110 0
[pid=81463] ppid=81461 vsize=109724 memory=61212 CPUtime=6.26 cores=0,2
/proc/81463/stat : 81463 (roundingsat) R 81461 81461 81217 0 -1 4194304 11023 0 0 0 613 13 0 0 20 0 1 0 66882946 112357376 15303 18446744073709551615 4227072 8923433 140721528961792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22130688 140721528969634 140721528969768 140721528969768 140721528975338 0
/proc/81463/statm: 27431 15303 2368 1147 0 14858 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 113916 KiB
Current children cumulated memory: 64028 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.08 3.75 5/267 81463
/proc/meminfo: memFree=128904256/131249992 swapFree=33010160/33010684
[pid=81461] ppid=81458 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/81461/stat : 81461 (run-opt.sh) S 81458 81461 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66882945 4292608 704 18446744073709551615 94151664148480 94151665043013 140735209451104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94151665282064 94151665329808 94151680278528 140735209458029 140735209458152 140735209458152 140735209463754 0
/proc/81461/statm: 1048 704 672 219 0 110 0
[pid=81463] ppid=81461 vsize=125476 memory=76060 CPUtime=12.64 cores=0,2
/proc/81463/stat : 81463 (roundingsat) R 81461 81461 81217 0 -1 4194304 14769 0 0 0 1242 22 0 0 20 0 1 0 66882946 128487424 19015 18446744073709551615 4227072 8923433 140721528961792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22130688 140721528969634 140721528969768 140721528969768 140721528975338 0
/proc/81463/statm: 31369 19015 2368 1147 0 18796 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 129668 KiB
Current children cumulated memory: 78876 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.08 3.75 5/267 81464
/proc/meminfo: memFree=128902600/131249992 swapFree=33010160/33010684
[pid=81461] ppid=81458 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/81461/stat : 81461 (run-opt.sh) S 81458 81461 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66882945 4292608 704 18446744073709551615 94151664148480 94151665043013 140735209451104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94151665282064 94151665329808 94151680278528 140735209458029 140735209458152 140735209458152 140735209463754 0
/proc/81461/statm: 1048 704 672 219 0 110 0
[pid=81463] ppid=81461 vsize=129428 memory=80284 CPUtime=25.41 cores=0,2
/proc/81463/stat : 81463 (roundingsat) R 81461 81461 81217 0 -1 4194304 15824 0 0 0 2510 31 0 0 20 0 1 0 66882946 132534272 20071 18446744073709551615 4227072 8923433 140721528961792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22130688 140721528969634 140721528969768 140721528969768 140721528975338 0
/proc/81463/statm: 32357 20071 2368 1147 0 19784 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 133620 KiB
Current children cumulated memory: 83100 KiB
[startup+51.1054 s]
/proc/loadavg: 4.12 4.09 3.76 5/267 81464
/proc/meminfo: memFree=128895952/131249992 swapFree=33010160/33010684
[pid=81461] ppid=81458 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/81461/stat : 81461 (run-opt.sh) S 81458 81461 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66882945 4292608 704 18446744073709551615 94151664148480 94151665043013 140735209451104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94151665282064 94151665329808 94151680278528 140735209458029 140735209458152 140735209458152 140735209463754 0
/proc/81461/statm: 1048 704 672 219 0 110 0
[pid=81463] ppid=81461 vsize=129428 memory=80284 CPUtime=50.94 cores=0,2
/proc/81463/stat : 81463 (roundingsat) R 81461 81461 81217 0 -1 4194304 15824 0 0 0 5058 36 0 0 20 0 1 0 66882946 132534272 20071 18446744073709551615 4227072 8923433 140721528961792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22130688 140721528969634 140721528969768 140721528969768 140721528975338 0
/proc/81463/statm: 32357 20071 2368 1147 0 19784 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 133620 KiB
Current children cumulated memory: 83100 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.09 3.78 5/268 81467
/proc/meminfo: memFree=128886996/131249992 swapFree=33010160/33010684
[pid=81461] ppid=81458 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/81461/stat : 81461 (run-opt.sh) S 81458 81461 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66882945 4292608 704 18446744073709551615 94151664148480 94151665043013 140735209451104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94151665282064 94151665329808 94151680278528 140735209458029 140735209458152 140735209458152 140735209463754 0
/proc/81461/statm: 1048 704 672 219 0 110 0
[pid=81463] ppid=81461 vsize=135552 memory=84636 CPUtime=102 cores=0,2
/proc/81463/stat : 81463 (roundingsat) R 81461 81461 81217 0 -1 4194304 16952 0 0 0 10122 78 0 0 20 0 1 0 66882946 138805248 21159 18446744073709551615 4227072 8923433 140721528961792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22130688 140721528969634 140721528969768 140721528969768 140721528975338 0
/proc/81463/statm: 33888 21159 2368 1147 0 21315 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 139744 KiB
Current children cumulated memory: 87452 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 3.81 5/268 81469
/proc/meminfo: memFree=128883516/131249992 swapFree=33010160/33010684
[pid=81461] ppid=81458 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/81461/stat : 81461 (run-opt.sh) S 81458 81461 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66882945 4292608 704 18446744073709551615 94151664148480 94151665043013 140735209451104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94151665282064 94151665329808 94151680278528 140735209458029 140735209458152 140735209458152 140735209463754 0
/proc/81461/statm: 1048 704 672 219 0 110 0
[pid=81463] ppid=81461 vsize=135856 memory=85276 CPUtime=161.83 cores=0,2
/proc/81463/stat : 81463 (roundingsat) R 81461 81461 81217 0 -1 4194304 17102 0 0 0 16072 111 0 0 20 0 1 0 66882946 139116544 21319 18446744073709551615 4227072 8923433 140721528961792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22130688 140721528969634 140721528969768 140721528969768 140721528975338 0
/proc/81463/statm: 33964 21319 2368 1147 0 21391 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 140048 KiB
Current children cumulated memory: 88092 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.09 3.83 5/268 81472
/proc/meminfo: memFree=128861128/131249992 swapFree=33010160/33010684
[pid=81461] ppid=81458 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/81461/stat : 81461 (run-opt.sh) S 81458 81461 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66882945 4292608 704 18446744073709551615 94151664148480 94151665043013 140735209451104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94151665282064 94151665329808 94151680278528 140735209458029 140735209458152 140735209458152 140735209463754 0
/proc/81461/statm: 1048 704 672 219 0 110 0
[pid=81463] ppid=81461 vsize=155108 memory=103404 CPUtime=221.67 cores=0,2
/proc/81463/stat : 81463 (roundingsat) R 81461 81461 81217 0 -1 4194304 21123 0 0 0 22000 167 0 0 20 0 1 0 66882946 158830592 25851 18446744073709551615 4227072 8923433 140721528961792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22130688 140721528969634 140721528969768 140721528969768 140721528975338 0
/proc/81463/statm: 38777 25851 2368 1147 0 26204 0
################
# More data... #
################
/proc/loadavg: 4.15 4.11 4.07 5/268 81752
/proc/meminfo: memFree=128860368/131249992 swapFree=33010160/33010684
[pid=81461] ppid=81458 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/81461/stat : 81461 (run-opt.sh) S 81458 81461 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66882945 4292608 704 18446744073709551615 94151664148480 94151665043013 140735209451104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94151665282064 94151665329808 94151680278528 140735209458029 140735209458152 140735209458152 140735209463754 0
/proc/81461/statm: 1048 704 672 219 0 110 0
[pid=81463] ppid=81461 vsize=269752 memory=212464 CPUtime=3093.96 cores=0,2
/proc/81463/stat : 81463 (roundingsat) R 81461 81461 81217 0 -1 4194304 37629 0 0 0 308158 1238 0 0 20 0 1 0 66882946 276226048 53116 18446744073709551615 4227072 8923433 140721528961792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22130688 140721528969634 140721528969768 140721528969768 140721528975338 0
/proc/81463/statm: 67438 53116 2368 1147 0 54865 0
Current children cumulated CPU time: 3093.96 s
Current children cumulated vsize: 273944 KiB
Current children cumulated memory: 215280 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.07 5/268 81754
/proc/meminfo: memFree=128851424/131249992 swapFree=33010160/33010684
[pid=81461] ppid=81458 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/81461/stat : 81461 (run-opt.sh) S 81458 81461 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66882945 4292608 704 18446744073709551615 94151664148480 94151665043013 140735209451104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94151665282064 94151665329808 94151680278528 140735209458029 140735209458152 140735209458152 140735209463754 0
/proc/81461/statm: 1048 704 672 219 0 110 0
[pid=81463] ppid=81461 vsize=269752 memory=212464 CPUtime=3153.81 cores=0,2
/proc/81463/stat : 81463 (roundingsat) R 81461 81461 81217 0 -1 4194304 37629 0 0 0 314121 1260 0 0 20 0 1 0 66882946 276226048 53116 18446744073709551615 4227072 8923433 140721528961792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22130688 140721528969634 140721528969768 140721528969768 140721528975338 0
/proc/81463/statm: 67438 53116 2368 1147 0 54865 0
Current children cumulated CPU time: 3153.81 s
Current children cumulated vsize: 273944 KiB
Current children cumulated memory: 215280 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.07 5/268 81767
/proc/meminfo: memFree=128853976/131249992 swapFree=33010160/33010684
[pid=81461] ppid=81458 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/81461/stat : 81461 (run-opt.sh) S 81458 81461 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66882945 4292608 704 18446744073709551615 94151664148480 94151665043013 140735209451104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94151665282064 94151665329808 94151680278528 140735209458029 140735209458152 140735209458152 140735209463754 0
/proc/81461/statm: 1048 704 672 219 0 110 0
[pid=81463] ppid=81461 vsize=272564 memory=215152 CPUtime=3213.65 cores=0,2
/proc/81463/stat : 81463 (roundingsat) R 81461 81461 81217 0 -1 4194304 38274 0 0 0 320083 1282 0 0 20 0 1 0 66882946 279105536 53788 18446744073709551615 4227072 8923433 140721528961792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22130688 140721528969634 140721528969768 140721528969768 140721528975338 0
/proc/81463/statm: 68141 53788 2368 1147 0 55568 0
Current children cumulated CPU time: 3213.65 s
Current children cumulated vsize: 276756 KiB
Current children cumulated memory: 217968 KiB
[startup+3282.3 s]
/proc/loadavg: 4.44 4.20 4.11 5/268 81769
/proc/meminfo: memFree=128832484/131249992 swapFree=33010160/33010684
[pid=81461] ppid=81458 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/81461/stat : 81461 (run-opt.sh) S 81458 81461 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66882945 4292608 704 18446744073709551615 94151664148480 94151665043013 140735209451104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94151665282064 94151665329808 94151680278528 140735209458029 140735209458152 140735209458152 140735209463754 0
/proc/81461/statm: 1048 704 672 219 0 110 0
[pid=81463] ppid=81461 vsize=272564 memory=217216 CPUtime=3273.47 cores=0,2
/proc/81463/stat : 81463 (roundingsat) R 81461 81461 81217 0 -1 4194304 38278 0 0 0 326044 1303 0 0 20 0 1 0 66882946 279105536 54304 18446744073709551615 4227072 8923433 140721528961792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22130688 140721528969634 140721528969768 140721528969768 140721528975338 0
/proc/81463/statm: 68141 54304 2368 1147 0 55568 0
Current children cumulated CPU time: 3273.47 s
Current children cumulated vsize: 276756 KiB
Current children cumulated memory: 220032 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.18 4.11 5/269 81774
/proc/meminfo: memFree=128848324/131249992 swapFree=33010160/33010684
[pid=81461] ppid=81458 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/81461/stat : 81461 (run-opt.sh) S 81458 81461 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66882945 4292608 704 18446744073709551615 94151664148480 94151665043013 140735209451104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94151665282064 94151665329808 94151680278528 140735209458029 140735209458152 140735209458152 140735209463754 0
/proc/81461/statm: 1048 704 672 219 0 110 0
[pid=81463] ppid=81461 vsize=272564 memory=217216 CPUtime=3333.29 cores=0,2
/proc/81463/stat : 81463 (roundingsat) R 81461 81461 81217 0 -1 4194304 38352 0 0 0 332004 1325 0 0 20 0 1 0 66882946 279105536 54304 18446744073709551615 4227072 8923433 140721528961792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22130688 140721528969634 140721528969768 140721528969768 140721528975338 0
/proc/81463/statm: 68141 54304 2368 1147 0 55568 0
Current children cumulated CPU time: 3333.29 s
Current children cumulated vsize: 276756 KiB
Current children cumulated memory: 220032 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.16 4.10 5/269 81781
/proc/meminfo: memFree=128846628/131249992 swapFree=33010160/33010684
[pid=81461] ppid=81458 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/81461/stat : 81461 (run-opt.sh) S 81458 81461 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66882945 4292608 704 18446744073709551615 94151664148480 94151665043013 140735209451104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94151665282064 94151665329808 94151680278528 140735209458029 140735209458152 140735209458152 140735209463754 0
/proc/81461/statm: 1048 704 672 219 0 110 0
[pid=81463] ppid=81461 vsize=272564 memory=217344 CPUtime=3393.11 cores=0,2
/proc/81463/stat : 81463 (roundingsat) R 81461 81461 81217 0 -1 4194304 38399 0 0 0 337966 1345 0 0 20 0 1 0 66882946 279105536 54336 18446744073709551615 4227072 8923433 140721528961792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22130688 140721528969634 140721528969768 140721528969768 140721528975338 0
/proc/81463/statm: 68141 54336 2368 1147 0 55568 0
Current children cumulated CPU time: 3393.11 s
Current children cumulated vsize: 276756 KiB
Current children cumulated memory: 220160 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.14 4.09 5/269 81783
/proc/meminfo: memFree=128835704/131249992 swapFree=33010160/33010684
[pid=81461] ppid=81458 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/81461/stat : 81461 (run-opt.sh) S 81458 81461 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66882945 4292608 704 18446744073709551615 94151664148480 94151665043013 140735209451104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94151665282064 94151665329808 94151680278528 140735209458029 140735209458152 140735209458152 140735209463754 0
/proc/81461/statm: 1048 704 672 219 0 110 0
[pid=81463] ppid=81461 vsize=273024 memory=217856 CPUtime=3452.93 cores=0,2
/proc/81463/stat : 81463 (roundingsat) R 81461 81461 81217 0 -1 4194304 38536 0 0 0 343924 1369 0 0 20 0 1 0 66882946 279576576 54464 18446744073709551615 4227072 8923433 140721528961792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22130688 140721528969634 140721528969768 140721528969768 140721528975338 0
/proc/81463/statm: 68256 54464 2368 1147 0 55683 0
Current children cumulated CPU time: 3452.93 s
Current children cumulated vsize: 277216 KiB
Current children cumulated memory: 220672 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/269 81785
/proc/meminfo: memFree=128831620/131249992 swapFree=33010160/33010684
[pid=81461] ppid=81458 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/81461/stat : 81461 (run-opt.sh) S 81458 81461 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66882945 4292608 704 18446744073709551615 94151664148480 94151665043013 140735209451104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94151665282064 94151665329808 94151680278528 140735209458029 140735209458152 140735209458152 140735209463754 0
/proc/81461/statm: 1048 704 672 219 0 110 0
[pid=81463] ppid=81461 vsize=273024 memory=217856 CPUtime=3512.75 cores=0,2
/proc/81463/stat : 81463 (roundingsat) R 81461 81461 81217 0 -1 4194304 38538 0 0 0 349882 1393 0 0 20 0 1 0 66882946 279576576 54464 18446744073709551615 4227072 8923433 140721528961792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22130688 140721528969634 140721528969768 140721528969768 140721528975338 0
/proc/81463/statm: 68256 54464 2368 1147 0 55683 0
Current children cumulated CPU time: 3512.75 s
Current children cumulated vsize: 277216 KiB
Current children cumulated memory: 220672 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/269 81787
/proc/meminfo: memFree=128833840/131249992 swapFree=33010160/33010684
[pid=81461] ppid=81458 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/81461/stat : 81461 (run-opt.sh) S 81458 81461 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66882945 4292608 704 18446744073709551615 94151664148480 94151665043013 140735209451104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94151665282064 94151665329808 94151680278528 140735209458029 140735209458152 140735209458152 140735209463754 0
/proc/81461/statm: 1048 704 672 219 0 110 0
[pid=81463] ppid=81461 vsize=273300 memory=218112 CPUtime=3572.57 cores=0,2
/proc/81463/stat : 81463 (roundingsat) R 81461 81461 81217 0 -1 4194304 38606 0 0 0 355843 1414 0 0 20 0 1 0 66882946 279859200 54528 18446744073709551615 4227072 8923433 140721528961792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22130688 140721528969634 140721528969768 140721528969768 140721528975338 0
/proc/81463/statm: 68325 54528 2368 1147 0 55752 0
Current children cumulated CPU time: 3572.57 s
Current children cumulated vsize: 277492 KiB
Current children cumulated memory: 220928 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.10 4.13 4.09 5/268 81788
/proc/meminfo: memFree=128822644/131249992 swapFree=33010160/33010684
[pid=81461] ppid=81458 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/81461/stat : 81461 (run-opt.sh) S 81458 81461 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66882945 4292608 704 18446744073709551615 94151664148480 94151665043013 140735209451104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94151665282064 94151665329808 94151680278528 140735209458029 140735209458152 140735209458152 140735209463754 0
/proc/81461/statm: 1048 704 672 219 0 110 0
[pid=81463] ppid=81461 vsize=273300 memory=218112 CPUtime=3600.09 cores=0,2
/proc/81463/stat : 81463 (roundingsat) R 81461 81461 81217 0 -1 4194304 38609 0 0 0 358582 1427 0 0 20 0 1 0 66882946 279859200 54528 18446744073709551615 4227072 8923433 140721528961792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22130688 140721528969634 140721528969768 140721528969768 140721528975338 0
/proc/81463/statm: 68325 54528 2368 1147 0 55752 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 277492 KiB
Current children cumulated memory: 220928 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.9 s]
# the end of solver process 81461 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3585.83 s, system=14.2752 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.10 4.13 4.09 5/268 81788
/proc/meminfo: memFree=128822644/131249992 swapFree=33010160/33010684
[pid=81461] ppid=81458 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/81461/stat : 81461 (run-opt.sh) S 81458 81461 81217 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 66882945 4292608 704 18446744073709551615 94151664148480 94151665043013 140735209451104 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94151665282064 94151665329808 94151680278528 140735209458029 140735209458152 140735209458152 140735209463754 0
/proc/81461/statm: 1048 704 672 219 0 110 0
[pid=81463] ppid=81461 vsize=273300 memory=218112 CPUtime=3600.09 cores=0,2
/proc/81463/stat : 81463 (roundingsat) R 81461 81461 81217 0 -1 4194304 38609 0 0 0 358582 1427 0 0 20 0 1 0 66882946 279859200 54528 18446744073709551615 4227072 8923433 140721528961792 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22130688 140721528969634 140721528969768 140721528969768 140721528975338 0
/proc/81463/statm: 68325 54528 2368 1147 0 55752 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 277492 KiB
Current children cumulated memory: 220928 KiB
Child status: 2
Real time (s): 3609.9
CPU time (s): 3600.1
CPU user time (s): 3585.83
CPU system time (s): 14.2752
CPU usage (%): 99.7285
Max. virtual memory (cumulated for all children) (KiB): 277492
Max. memory (cumulated for all children) (KiB): 220928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.83
system time used= 14.2752
maximum resident set size= 218496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38846
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= 183
involuntary context switches= 4613
# summary of solver processes directly reported to runsolver:
# pid: 81461
# total CPU time (s): 3600.1
# total CPU user time (s): 3585.83
# total CPU system time (s): 14.2752
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.32141 second user time and 16.8613 second system time
The end
Begin job on nodeC025 at 2025-07-03 05:07:22
IDJOB=4508136
IDBENCH=158395
IDSOLVER=3350
FILE ID=nodeC025/4508136-1751512042
RUNJOBID= nodeC025-1751510521-81227
SLURM_JOB_ID= 9598611
Free space on /tmp= 432952 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-aug6.5.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508136-1751512042/watcher-4508136-1751512042 -o /tmp/evaluation-result-4508136-1751512042/solver-4508136-1751512042 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751510521-81227 --watchdog 3760 run-opt.sh HOME/instance-4508136-1751512042.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 83ba36613360d6ce9be489830858dbc7
RANDOM SEED=2064845611
nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.835
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.841
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3605.454
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3600.442
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.835
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.843
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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.655
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 128950768 kB
MemAvailable: 129420736 kB
Buffers: 2128 kB
Cached: 1261828 kB
SwapCached: 200 kB
Active: 658884 kB
Inactive: 1015252 kB
Active(anon): 406412 kB
Inactive(anon): 21624 kB
Active(file): 252472 kB
Inactive(file): 993628 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8432 kB
Writeback: 0 kB
AnonPages: 410456 kB
Mapped: 117360 kB
Shmem: 17856 kB
KReclaimable: 126216 kB
Slab: 215340 kB
SReclaimable: 126216 kB
SUnreclaim: 89124 kB
KernelStack: 4320 kB
PageTables: 4016 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 756352 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 321536 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432948 MiB
End job on nodeC025 at 2025-07-03 06:07:32