0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.30/0.38 c #variables 9632 #constraints 29620
0.30/0.38 c objective is ce32
0.30/0.40 c initial watched CF 32, 64, 128, Arb: 868 , 0 , 0 , 0
0.30/0.40 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
0.30/0.40 c GLOBAL bounds - >= 0 @ 0.307304
0.39/0.43 c GLOBAL bounds - >= 0 @ 0.31894
7.75/7.89 c #Conflicts: 1000 | #Constraints: 30619
7.75/7.89 c #Conflicts: 2000 | #Constraints: 31619
7.75/7.89 c INPROCESSING
7.75/7.89 c #Conflicts: 3000 | #Constraints: 31625
7.75/7.89 c #Conflicts: 4000 | #Constraints: 32625
7.75/7.89 c INPROCESSING
7.75/7.89 c GARBAGE COLLECT
7.75/7.89 c #Conflicts: 5000 | #Constraints: 32032
7.75/7.89 c #Conflicts: 6000 | #Constraints: 33032
7.75/7.89 c INPROCESSING
7.75/7.89 c GARBAGE COLLECT
7.75/7.89 c #Conflicts: 7000 | #Constraints: 32034
7.75/7.89 c GLOBAL bounds - >= 0 @ 7.63555
7.85/7.90 c GLOBAL bounds - >= 0 @ 7.63931
7.96/8.02 c #Conflicts: 8000 | #Constraints: 33035
7.96/8.02 c #Conflicts: 9000 | #Constraints: 34035
7.96/8.02 c INPROCESSING
7.96/8.02 c GARBAGE COLLECT
7.96/8.02 c rational objective 0
11.73/11.83 c #Conflicts: 10000 | #Constraints: 32830
11.73/11.83 c #Conflicts: 11000 | #Constraints: 33830
11.73/11.83 c #Conflicts: 12000 | #Constraints: 34830
11.73/11.83 c INPROCESSING
11.73/11.83 c GARBAGE COLLECT
11.73/11.83 c rational objective 0
34.77/34.90 c #Conflicts: 13000 | #Constraints: 33327
34.77/34.90 c #Conflicts: 14000 | #Constraints: 34327
34.77/34.90 c #Conflicts: 15000 | #Constraints: 35327
34.77/34.90 c INPROCESSING
34.77/34.90 c GARBAGE COLLECT
34.77/34.90 c #Conflicts: 16000 | #Constraints: 33488
34.77/34.90 c #Conflicts: 17000 | #Constraints: 34488
34.77/34.90 c #Conflicts: 18000 | #Constraints: 35488
34.77/34.90 c INPROCESSING
34.77/34.90 c GARBAGE COLLECT
34.77/34.90 WSVECS04 Frhs2[7828]: 6 -20.0001 0 shouldn't be
70.56/70.87 c #Conflicts: 19000 | #Constraints: 33466
70.56/70.87 c #Conflicts: 20000 | #Constraints: 34466
70.56/70.87 c #Conflicts: 21000 | #Constraints: 35466
70.56/70.87 c INPROCESSING
70.56/70.87 c GARBAGE COLLECT
70.56/70.87 c #Conflicts: 22000 | #Constraints: 33253
70.56/70.87 c #Conflicts: 23000 | #Constraints: 34253
70.56/70.87 c #Conflicts: 24000 | #Constraints: 35253
70.56/70.87 c #Conflicts: 25000 | #Constraints: 36253
70.56/70.87 c INPROCESSING
70.56/70.87 c GARBAGE COLLECT
70.56/70.87 c #Conflicts: 26000 | #Constraints: 33851
70.56/70.87 c #Conflicts: 27000 | #Constraints: 34851
70.56/70.87 c #Conflicts: 28000 | #Constraints: 35851
70.56/70.87 c #Conflicts: 29000 | #Constraints: 36851
70.56/70.87 c INPROCESSING
70.56/70.87 c GARBAGE COLLECT
70.56/70.87 c #Conflicts: 30000 | #Constraints: 34251
70.56/70.87 c #Conflicts: 31000 | #Constraints: 35252
70.56/70.87 c #Conflicts: 32000 | #Constraints: 36252
70.56/70.87 c #Conflicts: 33000 | #Constraints: 37253
70.56/70.87 c INPROCESSING
70.56/70.87 c GARBAGE COLLECT
70.56/70.87 c #Conflicts: 34000 | #Constraints: 34497
70.56/70.87 c #Conflicts: 35000 | #Constraints: 36089
70.56/70.87 c #Conflicts: 36000 | #Constraints: 37638
70.56/70.87 c #Conflicts: 37000 | #Constraints: 39185
70.56/70.87 c INPROCESSING
70.56/70.87 c GARBAGE COLLECT
70.56/70.87 WSVECS04 Frhs2[7828]: 6 -20.0001 0 shouldn't be
82.52/82.89 c #Conflicts: 38000 | #Constraints: 35372
82.52/82.89 c #Conflicts: 39000 | #Constraints: 36372
82.52/82.89 c #Conflicts: 40000 | #Constraints: 37372
82.52/82.89 c #Conflicts: 41000 | #Constraints: 38372
82.52/82.89 c INPROCESSING
82.52/82.89 c GARBAGE COLLECT
82.52/82.89 c GLOBAL bounds - >= 0 @ 81.9475
82.63/82.90 c GLOBAL bounds - >= 0 @ 81.95
83.22/83.59 c #Conflicts: 42000 | #Constraints: 34716
83.22/83.59 c #Conflicts: 43000 | #Constraints: 35716
83.22/83.59 c #Conflicts: 44000 | #Constraints: 36716
83.22/83.59 c #Conflicts: 45000 | #Constraints: 37716
83.22/83.59 c #Conflicts: 46000 | #Constraints: 38716
83.22/83.59 c INPROCESSING
83.22/83.59 c GARBAGE COLLECT
83.22/83.59 c #Conflicts: 47000 | #Constraints: 35119
83.22/83.59 c #Conflicts: 48000 | #Constraints: 36119
83.22/83.59 c #Conflicts: 49000 | #Constraints: 37119
83.22/83.59 c #Conflicts: 50000 | #Constraints: 38119
83.22/83.59 c #Conflicts: 51000 | #Constraints: 39119
83.22/83.59 c INPROCESSING
83.22/83.59 c GARBAGE COLLECT
83.22/83.59 c rational objective 0
99.47/99.86 c #Conflicts: 52000 | #Constraints: 35516
99.47/99.86 c #Conflicts: 53000 | #Constraints: 36517
99.47/99.86 c #Conflicts: 54000 | #Constraints: 37517
99.47/99.86 c #Conflicts: 55000 | #Constraints: 38517
99.47/99.86 c #Conflicts: 56000 | #Constraints: 39517
99.47/99.86 c INPROCESSING
99.47/99.86 c GARBAGE COLLECT
99.47/99.86 c rational objective 0
179.13/179.70 c #Conflicts: 57000 | #Constraints: 35714
179.13/179.70 c #Conflicts: 58000 | #Constraints: 36714
179.13/179.70 c #Conflicts: 59000 | #Constraints: 37714
179.13/179.70 c #Conflicts: 60000 | #Constraints: 38714
179.13/179.70 c #Conflicts: 61000 | #Constraints: 39714
179.13/179.70 c INPROCESSING
179.13/179.70 c GARBAGE COLLECT
179.13/179.70 c #Conflicts: 62000 | #Constraints: 35623
179.13/179.70 c #Conflicts: 63000 | #Constraints: 36623
179.13/179.70 c #Conflicts: 64000 | #Constraints: 37623
179.13/179.70 c #Conflicts: 65000 | #Constraints: 38623
179.13/179.70 c #Conflicts: 66000 | #Constraints: 39623
179.13/179.70 c INPROCESSING
179.13/179.70 c GARBAGE COLLECT
179.13/179.70 c #Conflicts: 67000 | #Constraints: 35380
179.13/179.70 c #Conflicts: 68000 | #Constraints: 36380
179.13/179.70 c #Conflicts: 69000 | #Constraints: 37380
179.13/179.70 c #Conflicts: 70000 | #Constraints: 38380
179.13/179.70 c #Conflicts: 71000 | #Constraints: 39381
179.13/179.70 c #Conflicts: 72000 | #Constraints: 40381
179.13/179.70 c INPROCESSING
179.13/179.70 c GARBAGE COLLECT
179.13/179.70 c #Conflicts: 73000 | #Constraints: 35962
179.13/179.70 c #Conflicts: 74000 | #Constraints: 36962
179.13/179.70 c #Conflicts: 75000 | #Constraints: 38097
179.13/179.70 c #Conflicts: 76000 | #Constraints: 39097
179.13/179.70 c #Conflicts: 77000 | #Constraints: 40097
179.13/179.70 c #Conflicts: 78000 | #Constraints: 41097
179.13/179.70 c INPROCESSING
179.13/179.70 c GARBAGE COLLECT
179.13/179.70 c #Conflicts: 79000 | #Constraints: 36428
179.13/179.70 c #Conflicts: 80000 | #Constraints: 37428
179.13/179.70 c #Conflicts: 81000 | #Constraints: 38428
179.13/179.70 c #Conflicts: 82000 | #Constraints: 39428
179.13/179.70 c #Conflicts: 83000 | #Constraints: 40428
179.13/179.70 c #Conflicts: 84000 | #Constraints: 41428
179.13/179.70 c INPROCESSING
179.13/179.70 c GARBAGE COLLECT
179.13/179.70 c #Conflicts: 85000 | #Constraints: 36985
179.13/179.70 c #Conflicts: 86000 | #Constraints: 38469
179.13/179.70 c #Conflicts: 87000 | #Constraints: 39935
179.13/179.70 c #Conflicts: 88000 | #Constraints: 41428
179.13/179.70 c #Conflicts: 89000 | #Constraints: 42901
179.13/179.70 c #Conflicts: 90000 | #Constraints: 44357
179.13/179.70 c INPROCESSING
179.13/179.70 c GARBAGE COLLECT
179.13/179.70 WSVECS04 Frhs2[6714]: 6 0 14.6668 shouldn't be
179.13/179.70 WSVECS04 Frhs2[6809]: 6 -11.0001 0 shouldn't be
179.13/179.70 WSVECS04 Frhs2[6834]: 6 -25.6667 0 shouldn't be
179.13/179.70 WSVECS04 Frhs2[6840]: 6 0 40.3334 shouldn't be
179.13/179.70 WSVECS04 Frhs2[7840]: 6 -126 0 shouldn't be
220.01/220.77 c #Conflicts: 91000 | #Constraints: 38008
220.01/220.77 c #Conflicts: 92000 | #Constraints: 39008
220.01/220.77 c #Conflicts: 93000 | #Constraints: 40008
220.01/220.77 c #Conflicts: 94000 | #Constraints: 41008
220.01/220.77 c #Conflicts: 95000 | #Constraints: 42008
220.01/220.77 c #Conflicts: 96000 | #Constraints: 43008
220.01/220.77 c INPROCESSING
220.01/220.77 c GARBAGE COLLECT
220.01/220.77 c #Conflicts: 97000 | #Constraints: 37078
220.01/220.77 c #Conflicts: 98000 | #Constraints: 38078
220.01/220.77 c #Conflicts: 99000 | #Constraints: 39078
220.01/220.77 c #Conflicts: 100000 | #Constraints: 40079
220.01/220.77 c #Conflicts: 101000 | #Constraints: 41256
220.01/220.77 c #Conflicts: 102000 | #Constraints: 42748
220.01/220.77 c #Conflicts: 103000 | #Constraints: 44020
220.01/220.77 c INPROCESSING
220.01/220.77 c GARBAGE COLLECT
220.01/220.77 c #Conflicts: 104000 | #Constraints: 37776
220.01/220.77 c #Conflicts: 105000 | #Constraints: 38776
220.01/220.77 c #Conflicts: 106000 | #Constraints: 39778
220.01/220.77 c #Conflicts: 107000 | #Constraints: 40779
220.01/220.77 c #Conflicts: 108000 | #Constraints: 41780
220.01/220.77 c #Conflicts: 109000 | #Constraints: 42780
220.01/220.77 c #Conflicts: 110000 | #Constraints: 43780
220.01/220.77 c INPROCESSING
220.01/220.77 c GARBAGE COLLECT
220.01/220.77 c #Conflicts: 111000 | #Constraints: 37842
220.01/220.77 c #Conflicts: 112000 | #Constraints: 38846
220.01/220.77 c #Conflicts: 113000 | #Constraints: 39846
220.01/220.77 c #Conflicts: 114000 | #Constraints: 40846
220.01/220.77 c #Conflicts: 115000 | #Constraints: 41846
220.01/220.77 c #Conflicts: 116000 | #Constraints: 42846
220.01/220.77 c #Conflicts: 117000 | #Constraints: 43846
220.01/220.77 c INPROCESSING
220.01/220.77 c GARBAGE COLLECT
220.01/220.77 c #Conflicts: 118000 | #Constraints: 37798
220.01/220.77 c #Conflicts: 119000 | #Constraints: 38798
220.01/220.77 c #Conflicts: 120000 | #Constraints: 39798
220.01/220.77 c #Conflicts: 121000 | #Constraints: 40798
220.01/220.77 c #Conflicts: 122000 | #Constraints: 41799
220.01/220.77 c #Conflicts: 123000 | #Constraints: 42816
220.01/220.77 c #Conflicts: 124000 | #Constraints: 43986
220.01/220.77 c INPROCESSING
220.01/220.77 c GARBAGE COLLECT
220.01/220.77 c #Conflicts: 125000 | #Constraints: 37768
220.01/220.77 c #Conflicts: 126000 | #Constraints: 38768
220.01/220.77 c #Conflicts: 127000 | #Constraints: 39768
220.01/220.77 c #Conflicts: 128000 | #Constraints: 40768
220.01/220.77 c #Conflicts: 129000 | #Constraints: 41769
220.01/220.77 c #Conflicts: 130000 | #Constraints: 42813
220.01/220.77 c #Conflicts: 131000 | #Constraints: 43813
220.01/220.77 c INPROCESSING
220.01/220.77 c GARBAGE COLLECT
220.01/220.77 c rational objective 0
258.20/259.01 c #Conflicts: 132000 | #Constraints: 37569
258.20/259.01 c #Conflicts: 133000 | #Constraints: 38569
258.20/259.01 c #Conflicts: 134000 | #Constraints: 39569
258.20/259.01 c #Conflicts: 135000 | #Constraints: 40569
258.20/259.01 c #Conflicts: 136000 | #Constraints: 41570
258.20/259.01 c #Conflicts: 137000 | #Constraints: 42570
258.20/259.01 c #Conflicts: 138000 | #Constraints: 43570
258.20/259.01 c #Conflicts: 139000 | #Constraints: 44570
258.20/259.01 c INPROCESSING
258.20/259.01 c GARBAGE COLLECT
258.20/259.01 c #Conflicts: 140000 | #Constraints: 38058
258.20/259.01 c #Conflicts: 141000 | #Constraints: 39058
258.20/259.01 c #Conflicts: 142000 | #Constraints: 40058
258.20/259.01 c #Conflicts: 143000 | #Constraints: 41058
258.20/259.01 c #Conflicts: 144000 | #Constraints: 42058
258.20/259.01 c #Conflicts: 145000 | #Constraints: 43058
258.20/259.01 c #Conflicts: 146000 | #Constraints: 44058
258.20/259.01 c #Conflicts: 147000 | #Constraints: 45058
258.20/259.01 c INPROCESSING
258.20/259.01 c GARBAGE COLLECT
258.20/259.01 c rational objective 0
280.91/281.82 c #Conflicts: 148000 | #Constraints: 38470
280.91/281.82 c #Conflicts: 149000 | #Constraints: 39471
280.91/281.82 c #Conflicts: 150000 | #Constraints: 40471
280.91/281.82 c #Conflicts: 151000 | #Constraints: 41471
280.91/281.82 c #Conflicts: 152000 | #Constraints: 42471
280.91/281.82 c #Conflicts: 153000 | #Constraints: 43471
280.91/281.82 c #Conflicts: 154000 | #Constraints: 44471
280.91/281.82 c #Conflicts: 155000 | #Constraints: 45471
280.91/281.82 c INPROCESSING
280.91/281.82 c GARBAGE COLLECT
280.91/281.82 c #Conflicts: 156000 | #Constraints: 38617
280.91/281.82 c #Conflicts: 157000 | #Constraints: 39617
280.91/281.82 c #Conflicts: 158000 | #Constraints: 40617
280.91/281.82 c #Conflicts: 159000 | #Constraints: 41617
280.91/281.82 c #Conflicts: 160000 | #Constraints: 42617
280.91/281.82 c #Conflicts: 161000 | #Constraints: 43617
280.91/281.82 c #Conflicts: 162000 | #Constraints: 44622
280.91/281.82 c #Conflicts: 163000 | #Constraints: 45967
280.91/281.82 c INPROCESSING
280.91/281.82 c GARBAGE COLLECT
280.91/281.82 WSVECS04 Frhs2[7828]: 6 -20.0001 0 shouldn't be
280.91/281.82 WSVECS04 Frhs2[7840]: 6 -5.00005 0 shouldn't be
297.46/298.47 c #Conflicts: 164000 | #Constraints: 38812
297.46/298.47 c #Conflicts: 165000 | #Constraints: 39812
297.46/298.47 c #Conflicts: 166000 | #Constraints: 40812
297.46/298.47 c #Conflicts: 167000 | #Constraints: 41812
297.46/298.47 c #Conflicts: 168000 | #Constraints: 42812
297.46/298.47 c #Conflicts: 169000 | #Constraints: 43812
297.46/298.47 c #Conflicts: 170000 | #Constraints: 44812
297.46/298.47 c #Conflicts: 171000 | #Constraints: 45812
297.46/298.47 c INPROCESSING
297.46/298.47 c GARBAGE COLLECT
297.46/298.47 c #Conflicts: 172000 | #Constraints: 38485
297.46/298.47 c #Conflicts: 173000 | #Constraints: 39485
297.46/298.47 c #Conflicts: 174000 | #Constraints: 40485
297.46/298.47 c #Conflicts: 175000 | #Constraints: 41485
297.46/298.47 c #Conflicts: 176000 | #Constraints: 42485
297.46/298.47 c #Conflicts: 177000 | #Constraints: 43485
297.46/298.47 c #Conflicts: 178000 | #Constraints: 44485
297.46/298.47 c #Conflicts: 179000 | #Constraints: 45485
297.46/298.47 c #Conflicts: 180000 | #Constraints: 46485
297.46/298.47 c INPROCESSING
297.46/298.47 c GARBAGE COLLECT
297.46/298.47 c rational objective 0
562.58/564.35 c #Conflicts: 181000 | #Constraints: 39088
562.58/564.35 c #Conflicts: 182000 | #Constraints: 40088
562.58/564.35 c #Conflicts: 183000 | #Constraints: 41088
562.58/564.35 c #Conflicts: 184000 | #Constraints: 42088
562.58/564.35 c #Conflicts: 185000 | #Constraints: 43088
562.58/564.35 c #Conflicts: 186000 | #Constraints: 44088
562.58/564.35 c #Conflicts: 187000 | #Constraints: 45088
562.58/564.35 c #Conflicts: 188000 | #Constraints: 46088
562.58/564.35 c #Conflicts: 189000 | #Constraints: 47088
562.58/564.35 c INPROCESSING
562.58/564.35 c GARBAGE COLLECT
562.58/564.35 c #Conflicts: 190000 | #Constraints: 39423
562.58/564.35 c #Conflicts: 191000 | #Constraints: 40423
562.58/564.35 c #Conflicts: 192000 | #Constraints: 41423
562.58/564.35 c #Conflicts: 193000 | #Constraints: 42691
562.58/564.35 c #Conflicts: 194000 | #Constraints: 44232
562.58/564.35 c #Conflicts: 195000 | #Constraints: 45774
562.58/564.35 c #Conflicts: 196000 | #Constraints: 47304
562.58/564.35 c #Conflicts: 197000 | #Constraints: 48821
562.58/564.35 c #Conflicts: 198000 | #Constraints: 50294
562.58/564.35 c INPROCESSING
562.58/564.35 c GARBAGE COLLECT
562.58/564.35 c #Conflicts: 199000 | #Constraints: 41528
562.58/564.35 c #Conflicts: 200000 | #Constraints: 43016
562.58/564.35 c #Conflicts: 201000 | #Constraints: 44499
562.58/564.35 c #Conflicts: 202000 | #Constraints: 45999
562.58/564.35 c #Conflicts: 203000 | #Constraints: 47505
562.58/564.35 c #Conflicts: 204000 | #Constraints: 48988
562.58/564.35 c #Conflicts: 205000 | #Constraints: 50446
562.58/564.35 c #Conflicts: 206000 | #Constraints: 51938
562.58/564.35 c #Conflicts: 207000 | #Constraints: 53424
562.58/564.35 c INPROCESSING
562.58/564.35 c GARBAGE COLLECT
562.58/564.35 c #Conflicts: 208000 | #Constraints: 42973
562.58/564.35 c #Conflicts: 209000 | #Constraints: 44457
562.58/564.35 c #Conflicts: 210000 | #Constraints: 45965
562.58/564.35 c #Conflicts: 211000 | #Constraints: 47472
562.58/564.35 c #Conflicts: 212000 | #Constraints: 48939
562.58/564.35 c #Conflicts: 213000 | #Constraints: 50394
562.58/564.35 c #Conflicts: 214000 | #Constraints: 51876
562.58/564.35 c #Conflicts: 215000 | #Constraints: 53343
562.58/564.35 c #Conflicts: 216000 | #Constraints: 54899
562.58/564.35 c INPROCESSING
562.58/564.35 c GARBAGE COLLECT
562.58/564.35 c #Conflicts: 217000 | #Constraints: 43401
562.58/564.35 c #Conflicts: 218000 | #Constraints: 44888
562.58/564.35 c #Conflicts: 219000 | #Constraints: 46399
562.58/564.35 c #Conflicts: 220000 | #Constraints: 47902
562.58/564.35 c #Conflicts: 221000 | #Constraints: 49402
562.58/564.35 c #Conflicts: 222000 | #Constraints: 50899
562.58/564.35 c #Conflicts: 223000 | #Constraints: 52374
562.58/564.35 c #Conflicts: 224000 | #Constraints: 53860
562.58/564.35 c #Conflicts: 225000 | #Constraints: 55302
562.58/564.35 c #Conflicts: 226000 | #Constraints: 56736
562.58/564.35 c INPROCESSING
562.58/564.35 c GARBAGE COLLECT
562.58/564.35 c #Conflicts: 227000 | #Constraints: 44549
562.58/564.35 c #Conflicts: 228000 | #Constraints: 46046
562.58/564.35 c #Conflicts: 229000 | #Constraints: 47523
562.58/564.35 c #Conflicts: 230000 | #Constraints: 49000
562.58/564.35 c #Conflicts: 231000 | #Constraints: 50501
562.58/564.35 c #Conflicts: 232000 | #Constraints: 52063
562.58/564.35 c #Conflicts: 233000 | #Constraints: 53543
562.58/564.35 c #Conflicts: 234000 | #Constraints: 55009
562.58/564.35 c #Conflicts: 235000 | #Constraints: 56496
562.58/564.35 c #Conflicts: 236000 | #Constraints: 57996
562.58/564.35 c INPROCESSING
562.58/564.35 c GARBAGE COLLECT
562.58/564.35 c #Conflicts: 237000 | #Constraints: 45351
562.58/564.35 c #Conflicts: 238000 | #Constraints: 46836
562.58/564.35 c #Conflicts: 239000 | #Constraints: 48324
562.58/564.35 c #Conflicts: 240000 | #Constraints: 49833
562.58/564.35 c #Conflicts: 241000 | #Constraints: 51329
562.58/564.35 c #Conflicts: 242000 | #Constraints: 52856
562.58/564.35 c #Conflicts: 243000 | #Constraints: 54373
562.58/564.35 c #Conflicts: 244000 | #Constraints: 55934
562.58/564.35 c #Conflicts: 245000 | #Constraints: 57392
562.58/564.35 c #Conflicts: 246000 | #Constraints: 58866
562.58/564.35 c INPROCESSING
562.58/564.35 c GARBAGE COLLECT
562.58/564.35 c #Conflicts: 247000 | #Constraints: 45879
562.58/564.35 c #Conflicts: 248000 | #Constraints: 47490
562.58/564.35 c #Conflicts: 249000 | #Constraints: 49091
562.58/564.35 c #Conflicts: 250000 | #Constraints: 50670
562.58/564.35 c #Conflicts: 251000 | #Constraints: 52186
562.58/564.35 c #Conflicts: 252000 | #Constraints: 53692
562.58/564.35 c #Conflicts: 253000 | #Constraints: 55230
562.58/564.35 c #Conflicts: 254000 | #Constraints: 56742
562.58/564.35 c #Conflicts: 255000 | #Constraints: 58248
718.92/721.18 c #Conflicts: 256000 | #Constraints: 59774
718.92/721.18 c INPROCESSING
718.92/721.18 c GARBAGE COLLECT
718.92/721.18 c #Conflicts: 257000 | #Constraints: 46118
718.92/721.18 c #Conflicts: 258000 | #Constraints: 47607
718.92/721.18 c #Conflicts: 259000 | #Constraints: 49182
718.92/721.18 c #Conflicts: 260000 | #Constraints: 50657
718.92/721.18 c #Conflicts: 261000 | #Constraints: 52104
718.92/721.18 c #Conflicts: 262000 | #Constraints: 53554
718.92/721.18 c #Conflicts: 263000 | #Constraints: 55028
718.92/721.18 c #Conflicts: 264000 | #Constraints: 56532
718.92/721.18 c #Conflicts: 265000 | #Constraints: 57998
718.92/721.18 c #Conflicts: 266000 | #Constraints: 59473
718.92/721.18 c INPROCESSING
718.92/721.18 c GARBAGE COLLECT
718.92/721.18 c #Conflicts: 267000 | #Constraints: 45650
718.92/721.18 c #Conflicts: 268000 | #Constraints: 47110
718.92/721.18 c #Conflicts: 269000 | #Constraints: 48545
718.92/721.18 c #Conflicts: 270000 | #Constraints: 50055
718.92/721.18 c #Conflicts: 271000 | #Constraints: 51544
718.92/721.18 c #Conflicts: 272000 | #Constraints: 53023
718.92/721.18 c #Conflicts: 273000 | #Constraints: 54542
718.92/721.18 c #Conflicts: 274000 | #Constraints: 56055
718.92/721.18 c #Conflicts: 275000 | #Constraints: 57547
718.92/721.18 c #Conflicts: 276000 | #Constraints: 59013
718.92/721.18 c #Conflicts: 277000 | #Constraints: 60565
718.92/721.18 c INPROCESSING
718.92/721.18 c GARBAGE COLLECT
718.92/721.18 c #Conflicts: 278000 | #Constraints: 46512
718.92/721.18 c #Conflicts: 279000 | #Constraints: 48030
718.92/721.18 c #Conflicts: 280000 | #Constraints: 49544
718.92/721.18 c #Conflicts: 281000 | #Constraints: 51027
718.92/721.18 c #Conflicts: 282000 | #Constraints: 52567
718.92/721.18 c #Conflicts: 283000 | #Constraints: 54028
718.92/721.18 c #Conflicts: 284000 | #Constraints: 55506
718.92/721.18 c #Conflicts: 285000 | #Constraints: 57033
718.92/721.18 c #Conflicts: 286000 | #Constraints: 58532
718.92/721.18 c #Conflicts: 287000 | #Constraints: 59997
718.92/721.18 c #Conflicts: 288000 | #Constraints: 61527
718.92/721.18 c INPROCESSING
718.92/721.18 c GARBAGE COLLECT
718.92/721.18 c #Conflicts: 289000 | #Constraints: 47144
718.92/721.18 c #Conflicts: 290000 | #Constraints: 48664
718.92/721.18 c #Conflicts: 291000 | #Constraints: 50136
718.92/721.18 c #Conflicts: 292000 | #Constraints: 51631
718.92/721.18 c #Conflicts: 293000 | #Constraints: 53146
718.92/721.18 c #Conflicts: 294000 | #Constraints: 54643
718.92/721.18 c #Conflicts: 295000 | #Constraints: 56153
718.92/721.18 c #Conflicts: 296000 | #Constraints: 57676
718.92/721.18 c #Conflicts: 297000 | #Constraints: 59177
718.92/721.18 c #Conflicts: 298000 | #Constraints: 60661
718.92/721.18 c #Conflicts: 299000 | #Constraints: 62156
718.92/721.18 c INPROCESSING
718.92/721.18 c GARBAGE COLLECT
718.92/721.18 c #Conflicts: 300000 | #Constraints: 47471
718.92/721.18 c #Conflicts: 301000 | #Constraints: 48955
718.92/721.18 c #Conflicts: 302000 | #Constraints: 50455
718.92/721.18 c #Conflicts: 303000 | #Constraints: 51938
718.92/721.18 c #Conflicts: 304000 | #Constraints: 53459
718.92/721.18 c #Conflicts: 305000 | #Constraints: 54943
718.92/721.18 c #Conflicts: 306000 | #Constraints: 56466
718.92/721.18 c #Conflicts: 307000 | #Constraints: 57952
718.92/721.18 c #Conflicts: 308000 | #Constraints: 59458
718.92/721.18 c #Conflicts: 309000 | #Constraints: 60941
718.92/721.18 c #Conflicts: 310000 | #Constraints: 62435
718.92/721.18 c INPROCESSING
718.92/721.18 c GARBAGE COLLECT
718.92/721.18 c #Conflicts: 311000 | #Constraints: 47451
718.92/721.18 c #Conflicts: 312000 | #Constraints: 48928
718.92/721.18 c #Conflicts: 313000 | #Constraints: 50403
718.92/721.18 c #Conflicts: 314000 | #Constraints: 51886
718.92/721.18 c #Conflicts: 315000 | #Constraints: 53396
718.92/721.18 c #Conflicts: 316000 | #Constraints: 54915
718.92/721.18 c #Conflicts: 317000 | #Constraints: 56443
718.92/721.18 c #Conflicts: 318000 | #Constraints: 57949
718.92/721.18 c #Conflicts: 319000 | #Constraints: 59451
718.92/721.18 c #Conflicts: 320000 | #Constraints: 60960
718.92/721.18 c #Conflicts: 321000 | #Constraints: 62448
718.92/721.18 c INPROCESSING
718.92/721.18 c GARBAGE COLLECT
718.92/721.18 c #Conflicts: 322000 | #Constraints: 47171
718.92/721.18 c #Conflicts: 323000 | #Constraints: 48640
718.92/721.18 c #Conflicts: 324000 | #Constraints: 50133
718.92/721.18 c #Conflicts: 325000 | #Constraints: 51629
718.92/721.18 c #Conflicts: 326000 | #Constraints: 53114
718.92/721.18 c #Conflicts: 327000 | #Constraints: 54548
718.92/721.18 c #Conflicts: 328000 | #Constraints: 55948
718.92/721.18 c #Conflicts: 329000 | #Constraints: 57358
879.02/881.79 c #Conflicts: 330000 | #Constraints: 58778
879.02/881.79 c #Conflicts: 331000 | #Constraints: 60189
879.02/881.79 c #Conflicts: 332000 | #Constraints: 61593
879.02/881.79 c #Conflicts: 333000 | #Constraints: 63016
879.02/881.79 c INPROCESSING
879.02/881.79 c GARBAGE COLLECT
879.02/881.79 c #Conflicts: 334000 | #Constraints: 47750
879.02/881.79 c #Conflicts: 335000 | #Constraints: 49256
879.02/881.79 c #Conflicts: 336000 | #Constraints: 50719
879.02/881.79 c #Conflicts: 337000 | #Constraints: 52218
879.02/881.79 c #Conflicts: 338000 | #Constraints: 53736
879.02/881.79 c #Conflicts: 339000 | #Constraints: 55223
879.02/881.79 c #Conflicts: 340000 | #Constraints: 56708
879.02/881.79 c #Conflicts: 341000 | #Constraints: 58296
879.02/881.79 c #Conflicts: 342000 | #Constraints: 59815
879.02/881.79 c #Conflicts: 343000 | #Constraints: 61340
879.02/881.79 c #Conflicts: 344000 | #Constraints: 62830
879.02/881.79 c #Conflicts: 345000 | #Constraints: 64354
879.02/881.79 c INPROCESSING
879.02/881.79 c GARBAGE COLLECT
879.02/881.79 c #Conflicts: 346000 | #Constraints: 48564
879.02/881.79 c #Conflicts: 347000 | #Constraints: 50053
879.02/881.79 c #Conflicts: 348000 | #Constraints: 51561
879.02/881.79 c #Conflicts: 349000 | #Constraints: 53029
879.02/881.79 c #Conflicts: 350000 | #Constraints: 54446
879.02/881.79 c #Conflicts: 351000 | #Constraints: 55872
879.02/881.79 c #Conflicts: 352000 | #Constraints: 57347
879.02/881.79 c #Conflicts: 353000 | #Constraints: 58819
879.02/881.79 c #Conflicts: 354000 | #Constraints: 60300
879.02/881.79 c #Conflicts: 355000 | #Constraints: 61792
879.02/881.79 c #Conflicts: 356000 | #Constraints: 63274
879.02/881.79 c #Conflicts: 357000 | #Constraints: 64742
879.02/881.79 c INPROCESSING
879.02/881.79 c GARBAGE COLLECT
879.02/881.79 c #Conflicts: 358000 | #Constraints: 48738
879.02/881.79 c #Conflicts: 359000 | #Constraints: 50192
879.02/881.79 c #Conflicts: 360000 | #Constraints: 51694
879.02/881.79 c #Conflicts: 361000 | #Constraints: 53187
879.02/881.79 c #Conflicts: 362000 | #Constraints: 54709
879.02/881.79 c #Conflicts: 363000 | #Constraints: 56210
879.02/881.79 c #Conflicts: 364000 | #Constraints: 57746
879.02/881.79 c #Conflicts: 365000 | #Constraints: 59283
879.02/881.79 c #Conflicts: 366000 | #Constraints: 60774
879.02/881.79 c #Conflicts: 367000 | #Constraints: 62253
879.02/881.79 c #Conflicts: 368000 | #Constraints: 63743
879.02/881.79 c #Conflicts: 369000 | #Constraints: 65233
879.02/881.79 c INPROCESSING
879.02/881.79 c GARBAGE COLLECT
879.02/881.79 c #Conflicts: 370000 | #Constraints: 48981
879.02/881.79 c #Conflicts: 371000 | #Constraints: 50596
879.02/881.79 c #Conflicts: 372000 | #Constraints: 52129
879.02/881.79 c #Conflicts: 373000 | #Constraints: 53614
879.02/881.79 c #Conflicts: 374000 | #Constraints: 55096
879.02/881.79 c #Conflicts: 375000 | #Constraints: 56579
879.02/881.79 c #Conflicts: 376000 | #Constraints: 58060
879.02/881.79 c #Conflicts: 377000 | #Constraints: 59558
879.02/881.79 c #Conflicts: 378000 | #Constraints: 61050
879.02/881.79 c #Conflicts: 379000 | #Constraints: 62556
879.02/881.79 c #Conflicts: 380000 | #Constraints: 64033
879.02/881.79 c #Conflicts: 381000 | #Constraints: 65537
879.02/881.79 c INPROCESSING
879.02/881.79 c GARBAGE COLLECT
879.02/881.79 c #Conflicts: 382000 | #Constraints: 48705
879.02/881.79 c #Conflicts: 383000 | #Constraints: 50218
879.02/881.79 c #Conflicts: 384000 | #Constraints: 51765
879.02/881.79 c #Conflicts: 385000 | #Constraints: 53271
879.02/881.79 c #Conflicts: 386000 | #Constraints: 54778
879.02/881.79 c #Conflicts: 387000 | #Constraints: 56288
879.02/881.79 c #Conflicts: 388000 | #Constraints: 57786
879.02/881.79 c #Conflicts: 389000 | #Constraints: 59297
879.02/881.79 c #Conflicts: 390000 | #Constraints: 60795
879.02/881.79 c #Conflicts: 391000 | #Constraints: 62310
879.02/881.79 c #Conflicts: 392000 | #Constraints: 63813
879.02/881.79 c #Conflicts: 393000 | #Constraints: 65349
879.02/881.79 c #Conflicts: 394000 | #Constraints: 66817
879.02/881.79 c INPROCESSING
879.02/881.79 c GARBAGE COLLECT
879.02/881.79 c #Conflicts: 395000 | #Constraints: 49637
879.02/881.79 c #Conflicts: 396000 | #Constraints: 51128
879.02/881.79 c #Conflicts: 397000 | #Constraints: 52615
879.02/881.79 c #Conflicts: 398000 | #Constraints: 54095
879.02/881.79 c #Conflicts: 399000 | #Constraints: 55592
879.02/881.79 c #Conflicts: 400000 | #Constraints: 57109
879.02/881.79 c #Conflicts: 401000 | #Constraints: 58631
879.02/881.79 c #Conflicts: 402000 | #Constraints: 60135
879.02/881.79 c #Conflicts: 403000 | #Constraints: 61638
879.02/881.79 c #Conflicts: 404000 | #Constraints: 63142
1042.52/1045.76 c #Conflicts: 405000 | #Constraints: 64633
1042.52/1045.76 c #Conflicts: 406000 | #Constraints: 66130
1042.52/1045.76 c #Conflicts: 407000 | #Constraints: 67619
1042.52/1045.76 c INPROCESSING
1042.52/1045.76 c GARBAGE COLLECT
1042.52/1045.76 c #Conflicts: 408000 | #Constraints: 50173
1042.52/1045.76 c #Conflicts: 409000 | #Constraints: 51670
1042.52/1045.76 c #Conflicts: 410000 | #Constraints: 53163
1042.52/1045.76 c #Conflicts: 411000 | #Constraints: 54691
1042.52/1045.76 c #Conflicts: 412000 | #Constraints: 56191
1042.52/1045.76 c #Conflicts: 413000 | #Constraints: 57788
1042.52/1045.76 c #Conflicts: 414000 | #Constraints: 59356
1042.52/1045.76 c #Conflicts: 415000 | #Constraints: 60848
1042.52/1045.76 c #Conflicts: 416000 | #Constraints: 62318
1042.52/1045.76 c #Conflicts: 417000 | #Constraints: 63765
1042.52/1045.76 c #Conflicts: 418000 | #Constraints: 65272
1042.52/1045.76 c #Conflicts: 419000 | #Constraints: 66790
1042.52/1045.76 c #Conflicts: 420000 | #Constraints: 68301
1042.52/1045.76 c INPROCESSING
1042.52/1045.76 c GARBAGE COLLECT
1042.52/1045.76 c #Conflicts: 421000 | #Constraints: 50465
1042.52/1045.76 c #Conflicts: 422000 | #Constraints: 51895
1042.52/1045.76 c #Conflicts: 423000 | #Constraints: 53341
1042.52/1045.76 c #Conflicts: 424000 | #Constraints: 54884
1042.52/1045.76 c #Conflicts: 425000 | #Constraints: 56458
1042.52/1045.76 c #Conflicts: 426000 | #Constraints: 58006
1042.52/1045.76 c #Conflicts: 427000 | #Constraints: 59590
1042.52/1045.76 c #Conflicts: 428000 | #Constraints: 61154
1042.52/1045.76 c #Conflicts: 429000 | #Constraints: 62698
1042.52/1045.76 c #Conflicts: 430000 | #Constraints: 64256
1042.52/1045.76 c #Conflicts: 431000 | #Constraints: 65774
1042.52/1045.76 c #Conflicts: 432000 | #Constraints: 67324
1042.52/1045.76 c #Conflicts: 433000 | #Constraints: 68816
1042.52/1045.76 c INPROCESSING
1042.52/1045.76 c GARBAGE COLLECT
1042.52/1045.76 c #Conflicts: 434000 | #Constraints: 50670
1042.52/1045.76 c #Conflicts: 435000 | #Constraints: 52172
1042.52/1045.76 c #Conflicts: 436000 | #Constraints: 53667
1042.52/1045.76 c #Conflicts: 437000 | #Constraints: 55153
1042.52/1045.76 c #Conflicts: 438000 | #Constraints: 56632
1042.52/1045.76 c #Conflicts: 439000 | #Constraints: 58089
1042.52/1045.76 c #Conflicts: 440000 | #Constraints: 59582
1042.52/1045.76 c #Conflicts: 441000 | #Constraints: 61057
1042.52/1045.76 c #Conflicts: 442000 | #Constraints: 62543
1042.52/1045.76 c #Conflicts: 443000 | #Constraints: 64024
1042.52/1045.76 c #Conflicts: 444000 | #Constraints: 65510
1042.52/1045.76 c #Conflicts: 445000 | #Constraints: 66985
1042.52/1045.76 c #Conflicts: 446000 | #Constraints: 68452
1042.52/1045.76 c INPROCESSING
1042.52/1045.76 c GARBAGE COLLECT
1042.52/1045.76 c #Conflicts: 447000 | #Constraints: 50170
1042.52/1045.76 c #Conflicts: 448000 | #Constraints: 51673
1042.52/1045.76 c #Conflicts: 449000 | #Constraints: 53167
1042.52/1045.76 c #Conflicts: 450000 | #Constraints: 54659
1042.52/1045.76 c #Conflicts: 451000 | #Constraints: 56160
1042.52/1045.76 c #Conflicts: 452000 | #Constraints: 57646
1042.52/1045.76 c #Conflicts: 453000 | #Constraints: 59128
1042.52/1045.76 c #Conflicts: 454000 | #Constraints: 60596
1042.52/1045.76 c #Conflicts: 455000 | #Constraints: 62078
1042.52/1045.76 c #Conflicts: 456000 | #Constraints: 63545
1042.52/1045.76 c #Conflicts: 457000 | #Constraints: 65041
1042.52/1045.76 c #Conflicts: 458000 | #Constraints: 66515
1042.52/1045.76 c #Conflicts: 459000 | #Constraints: 68016
1042.52/1045.76 c #Conflicts: 460000 | #Constraints: 69500
1042.52/1045.76 c INPROCESSING
1042.52/1045.76 c GARBAGE COLLECT
1042.52/1045.76 c #Conflicts: 461000 | #Constraints: 51046
1042.52/1045.76 c #Conflicts: 462000 | #Constraints: 52575
1042.52/1045.76 c #Conflicts: 463000 | #Constraints: 54062
1042.52/1045.76 c #Conflicts: 464000 | #Constraints: 55557
1042.52/1045.76 c #Conflicts: 465000 | #Constraints: 57036
1042.52/1045.76 c #Conflicts: 466000 | #Constraints: 58542
1042.52/1045.76 c #Conflicts: 467000 | #Constraints: 60015
1042.52/1045.76 c #Conflicts: 468000 | #Constraints: 61506
1042.52/1045.76 c #Conflicts: 469000 | #Constraints: 62997
1042.52/1045.76 c #Conflicts: 470000 | #Constraints: 64484
1042.52/1045.76 c #Conflicts: 471000 | #Constraints: 65969
1042.52/1045.76 c #Conflicts: 472000 | #Constraints: 67512
1042.52/1045.76 c #Conflicts: 473000 | #Constraints: 69020
1042.52/1045.76 c #Conflicts: 474000 | #Constraints: 70558
1042.52/1045.76 c INPROCESSING
1042.52/1045.76 c GARBAGE COLLECT
1042.52/1045.76 c #Conflicts: 475000 | #Constraints: 51676
1042.52/1045.76 c #Conflicts: 476000 | #Constraints: 53172
1042.52/1045.76 c #Conflicts: 477000 | #Constraints: 54660
1042.52/1045.76 c #Conflicts: 478000 | #Constraints: 56154
1042.52/1045.76 c #Conflicts: 479000 | #Constraints: 57670
1208.34/1212.04 c #Conflicts: 480000 | #Constraints: 59178
1208.34/1212.04 c #Conflicts: 481000 | #Constraints: 60702
1208.34/1212.04 c #Conflicts: 482000 | #Constraints: 62221
1208.34/1212.04 c #Conflicts: 483000 | #Constraints: 63719
1208.34/1212.04 c #Conflicts: 484000 | #Constraints: 65237
1208.34/1212.04 c #Conflicts: 485000 | #Constraints: 66734
1208.34/1212.04 c #Conflicts: 486000 | #Constraints: 68267
1208.34/1212.04 c #Conflicts: 487000 | #Constraints: 69789
1208.34/1212.04 c #Conflicts: 488000 | #Constraints: 71310
1208.34/1212.04 c INPROCESSING
1208.34/1212.04 c GARBAGE COLLECT
1208.34/1212.04 c #Conflicts: 489000 | #Constraints: 52049
1208.34/1212.04 c #Conflicts: 490000 | #Constraints: 53564
1208.34/1212.04 c #Conflicts: 491000 | #Constraints: 55115
1208.34/1212.04 c #Conflicts: 492000 | #Constraints: 56632
1208.34/1212.04 c #Conflicts: 493000 | #Constraints: 58149
1208.34/1212.04 c #Conflicts: 494000 | #Constraints: 59665
1208.34/1212.04 c #Conflicts: 495000 | #Constraints: 61155
1208.34/1212.04 c #Conflicts: 496000 | #Constraints: 62672
1208.34/1212.04 c #Conflicts: 497000 | #Constraints: 64210
1208.34/1212.04 c #Conflicts: 498000 | #Constraints: 65744
1208.34/1212.04 c #Conflicts: 499000 | #Constraints: 67294
1208.34/1212.04 c #Conflicts: 500000 | #Constraints: 68832
1208.34/1212.04 c #Conflicts: 501000 | #Constraints: 70309
1208.34/1212.04 c #Conflicts: 502000 | #Constraints: 71823
1208.34/1212.04 c INPROCESSING
1208.34/1212.04 c GARBAGE COLLECT
1208.34/1212.04 c #Conflicts: 503000 | #Constraints: 52174
1208.34/1212.04 c #Conflicts: 504000 | #Constraints: 53691
1208.34/1212.04 c #Conflicts: 505000 | #Constraints: 55194
1208.34/1212.04 c #Conflicts: 506000 | #Constraints: 56686
1208.34/1212.04 c #Conflicts: 507000 | #Constraints: 58166
1208.34/1212.04 c #Conflicts: 508000 | #Constraints: 59672
1208.34/1212.04 c #Conflicts: 509000 | #Constraints: 61158
1208.34/1212.04 c #Conflicts: 510000 | #Constraints: 62652
1208.34/1212.04 c #Conflicts: 511000 | #Constraints: 64149
1208.34/1212.04 c #Conflicts: 512000 | #Constraints: 65634
1208.34/1212.04 c #Conflicts: 513000 | #Constraints: 67120
1208.34/1212.04 c #Conflicts: 514000 | #Constraints: 68597
1208.34/1212.04 c #Conflicts: 515000 | #Constraints: 70105
1208.34/1212.04 c #Conflicts: 516000 | #Constraints: 71626
1208.34/1212.04 c INPROCESSING
1208.34/1212.04 c GARBAGE COLLECT
1208.34/1212.04 c #Conflicts: 517000 | #Constraints: 51752
1208.34/1212.04 c #Conflicts: 518000 | #Constraints: 53251
1208.34/1212.04 c #Conflicts: 519000 | #Constraints: 54750
1208.34/1212.04 c #Conflicts: 520000 | #Constraints: 56233
1208.34/1212.04 c #Conflicts: 521000 | #Constraints: 57723
1208.34/1212.04 c #Conflicts: 522000 | #Constraints: 59217
1208.34/1212.04 c #Conflicts: 523000 | #Constraints: 60725
1208.34/1212.04 c #Conflicts: 524000 | #Constraints: 62229
1208.34/1212.04 c #Conflicts: 525000 | #Constraints: 63768
1208.34/1212.04 c #Conflicts: 526000 | #Constraints: 65276
1208.34/1212.04 c #Conflicts: 527000 | #Constraints: 66752
1208.34/1212.04 c #Conflicts: 528000 | #Constraints: 68228
1208.34/1212.04 c #Conflicts: 529000 | #Constraints: 69711
1208.34/1212.04 c #Conflicts: 530000 | #Constraints: 71249
1208.34/1212.04 c #Conflicts: 531000 | #Constraints: 72765
1208.34/1212.04 c INPROCESSING
1208.34/1212.04 c GARBAGE COLLECT
1208.34/1212.04 c #Conflicts: 532000 | #Constraints: 52608
1208.34/1212.04 c #Conflicts: 533000 | #Constraints: 54075
1208.34/1212.04 c #Conflicts: 534000 | #Constraints: 55566
1208.34/1212.04 c #Conflicts: 535000 | #Constraints: 57057
1208.34/1212.04 c #Conflicts: 536000 | #Constraints: 58563
1208.34/1212.04 c #Conflicts: 537000 | #Constraints: 60097
1208.34/1212.04 c #Conflicts: 538000 | #Constraints: 61576
1208.34/1212.04 c #Conflicts: 539000 | #Constraints: 63105
1208.34/1212.04 c #Conflicts: 540000 | #Constraints: 64660
1208.34/1212.04 c #Conflicts: 541000 | #Constraints: 66129
1208.34/1212.04 c #Conflicts: 542000 | #Constraints: 67637
1208.34/1212.04 c #Conflicts: 543000 | #Constraints: 69161
1208.34/1212.04 c #Conflicts: 544000 | #Constraints: 70667
1208.34/1212.04 c #Conflicts: 545000 | #Constraints: 72168
1208.34/1212.04 c #Conflicts: 546000 | #Constraints: 73657
1208.34/1212.04 c INPROCESSING
1208.34/1212.04 c GARBAGE COLLECT
1208.34/1212.04 c #Conflicts: 547000 | #Constraints: 53213
1208.34/1212.04 c #Conflicts: 548000 | #Constraints: 54699
1208.34/1212.04 c #Conflicts: 549000 | #Constraints: 56199
1208.34/1212.04 c #Conflicts: 550000 | #Constraints: 57693
1208.34/1212.04 c #Conflicts: 551000 | #Constraints: 59186
1208.34/1212.04 c #Conflicts: 552000 | #Constraints: 60666
1208.34/1212.04 c #Conflicts: 553000 | #Constraints: 62165
1208.34/1212.04 c #Conflicts: 554000 | #Constraints: 63639
1208.34/1212.04 c #Conflicts: 555000 | #Constraints: 65122
1368.95/1373.15 c #Conflicts: 556000 | #Constraints: 66598
1368.95/1373.15 c #Conflicts: 557000 | #Constraints: 68092
1368.95/1373.15 c #Conflicts: 558000 | #Constraints: 69583
1368.95/1373.15 c #Conflicts: 559000 | #Constraints: 71088
1368.95/1373.15 c #Conflicts: 560000 | #Constraints: 72618
1368.95/1373.15 c #Conflicts: 561000 | #Constraints: 74118
1368.95/1373.15 c INPROCESSING
1368.95/1373.15 c GARBAGE COLLECT
1368.95/1373.15 c #Conflicts: 562000 | #Constraints: 53421
1368.95/1373.15 c #Conflicts: 563000 | #Constraints: 54921
1368.95/1373.15 c #Conflicts: 564000 | #Constraints: 56458
1368.95/1373.15 c #Conflicts: 565000 | #Constraints: 57934
1368.95/1373.15 c #Conflicts: 566000 | #Constraints: 59439
1368.95/1373.15 c #Conflicts: 567000 | #Constraints: 60939
1368.95/1373.15 c #Conflicts: 568000 | #Constraints: 62456
1368.95/1373.15 c #Conflicts: 569000 | #Constraints: 64022
1368.95/1373.15 c #Conflicts: 570000 | #Constraints: 65529
1368.95/1373.15 c #Conflicts: 571000 | #Constraints: 67054
1368.95/1373.15 c #Conflicts: 572000 | #Constraints: 68607
1368.95/1373.15 c #Conflicts: 573000 | #Constraints: 70102
1368.95/1373.15 c #Conflicts: 574000 | #Constraints: 71600
1368.95/1373.15 c #Conflicts: 575000 | #Constraints: 73095
1368.95/1373.15 c #Conflicts: 576000 | #Constraints: 74583
1368.95/1373.15 c INPROCESSING
1368.95/1373.15 c GARBAGE COLLECT
1368.95/1373.15 c #Conflicts: 577000 | #Constraints: 53534
1368.95/1373.15 c #Conflicts: 578000 | #Constraints: 55049
1368.95/1373.15 c #Conflicts: 579000 | #Constraints: 56587
1368.95/1373.15 c #Conflicts: 580000 | #Constraints: 58093
1368.95/1373.15 c #Conflicts: 581000 | #Constraints: 59610
1368.95/1373.15 c #Conflicts: 582000 | #Constraints: 61117
1368.95/1373.15 c #Conflicts: 583000 | #Constraints: 62566
1368.95/1373.15 c #Conflicts: 584000 | #Constraints: 64034
1368.95/1373.15 c #Conflicts: 585000 | #Constraints: 65549
1368.95/1373.15 c #Conflicts: 586000 | #Constraints: 67038
1368.95/1373.15 c #Conflicts: 587000 | #Constraints: 68554
1368.95/1373.15 c #Conflicts: 588000 | #Constraints: 70052
1368.95/1373.15 c #Conflicts: 589000 | #Constraints: 71569
1368.95/1373.15 c #Conflicts: 590000 | #Constraints: 73038
1368.95/1373.15 c #Conflicts: 591000 | #Constraints: 74599
1368.95/1373.15 c INPROCESSING
1368.95/1373.15 c GARBAGE COLLECT
1368.95/1373.15 c #Conflicts: 592000 | #Constraints: 53235
1368.95/1373.15 c #Conflicts: 593000 | #Constraints: 54697
1368.95/1373.15 c #Conflicts: 594000 | #Constraints: 56166
1368.95/1373.15 c #Conflicts: 595000 | #Constraints: 57643
1368.95/1373.15 c #Conflicts: 596000 | #Constraints: 59123
1368.95/1373.15 c #Conflicts: 597000 | #Constraints: 60589
1368.95/1373.15 c #Conflicts: 598000 | #Constraints: 62066
1368.95/1373.15 c #Conflicts: 599000 | #Constraints: 63572
1368.95/1373.15 c #Conflicts: 600000 | #Constraints: 65076
1368.95/1373.15 c #Conflicts: 601000 | #Constraints: 66575
1368.95/1373.15 c #Conflicts: 602000 | #Constraints: 68065
1368.95/1373.15 c #Conflicts: 603000 | #Constraints: 69570
1368.95/1373.15 c #Conflicts: 604000 | #Constraints: 71068
1368.95/1373.15 c #Conflicts: 605000 | #Constraints: 72554
1368.95/1373.15 c #Conflicts: 606000 | #Constraints: 74056
1368.95/1373.15 c #Conflicts: 607000 | #Constraints: 75533
1368.95/1373.15 c INPROCESSING
1368.95/1373.15 c GARBAGE COLLECT
1368.95/1373.15 c #Conflicts: 608000 | #Constraints: 53980
1368.95/1373.15 c #Conflicts: 609000 | #Constraints: 55455
1368.95/1373.15 c #Conflicts: 610000 | #Constraints: 56931
1368.95/1373.15 c #Conflicts: 611000 | #Constraints: 58429
1368.95/1373.15 c #Conflicts: 612000 | #Constraints: 59906
1368.95/1373.15 c #Conflicts: 613000 | #Constraints: 61393
1368.95/1373.15 c #Conflicts: 614000 | #Constraints: 62885
1368.95/1373.15 c #Conflicts: 615000 | #Constraints: 64366
1368.95/1373.15 c #Conflicts: 616000 | #Constraints: 65874
1368.95/1373.15 c #Conflicts: 617000 | #Constraints: 67369
1368.95/1373.15 c #Conflicts: 618000 | #Constraints: 68885
1368.95/1373.15 c #Conflicts: 619000 | #Constraints: 70374
1368.95/1373.15 c #Conflicts: 620000 | #Constraints: 71866
1368.95/1373.15 c #Conflicts: 621000 | #Constraints: 73369
1368.95/1373.15 c #Conflicts: 622000 | #Constraints: 74863
1368.95/1373.15 c #Conflicts: 623000 | #Constraints: 76384
1368.95/1373.15 c INPROCESSING
1368.95/1373.15 c GARBAGE COLLECT
1368.95/1373.15 c #Conflicts: 624000 | #Constraints: 54614
1368.95/1373.15 c #Conflicts: 625000 | #Constraints: 56090
1368.95/1373.15 c #Conflicts: 626000 | #Constraints: 57570
1368.95/1373.15 c #Conflicts: 627000 | #Constraints: 59063
1368.95/1373.15 c #Conflicts: 628000 | #Constraints: 60589
1368.95/1373.15 c #Conflicts: 629000 | #Constraints: 62144
1368.95/1373.15 c #Conflicts: 630000 | #Constraints: 63650
1537.13/1541.82 c #Conflicts: 631000 | #Constraints: 65162
1537.13/1541.82 c #Conflicts: 632000 | #Constraints: 66670
1537.13/1541.82 c #Conflicts: 633000 | #Constraints: 68196
1537.13/1541.82 c #Conflicts: 634000 | #Constraints: 69693
1537.13/1541.82 c #Conflicts: 635000 | #Constraints: 71216
1537.13/1541.82 c #Conflicts: 636000 | #Constraints: 72724
1537.13/1541.82 c #Conflicts: 637000 | #Constraints: 74249
1537.13/1541.82 c #Conflicts: 638000 | #Constraints: 75751
1537.13/1541.82 c #Conflicts: 639000 | #Constraints: 77228
1537.13/1541.82 c INPROCESSING
1537.13/1541.82 c GARBAGE COLLECT
1537.13/1541.82 c #Conflicts: 640000 | #Constraints: 55020
1537.13/1541.82 c #Conflicts: 641000 | #Constraints: 56454
1537.13/1541.82 c #Conflicts: 642000 | #Constraints: 57964
1537.13/1541.82 c #Conflicts: 643000 | #Constraints: 59452
1537.13/1541.82 c #Conflicts: 644000 | #Constraints: 60922
1537.13/1541.82 c #Conflicts: 645000 | #Constraints: 62411
1537.13/1541.82 c #Conflicts: 646000 | #Constraints: 63960
1537.13/1541.82 c #Conflicts: 647000 | #Constraints: 65426
1537.13/1541.82 c #Conflicts: 648000 | #Constraints: 66899
1537.13/1541.82 c #Conflicts: 649000 | #Constraints: 68374
1537.13/1541.82 c #Conflicts: 650000 | #Constraints: 69881
1537.13/1541.82 c #Conflicts: 651000 | #Constraints: 71417
1537.13/1541.82 c #Conflicts: 652000 | #Constraints: 72945
1537.13/1541.82 c #Conflicts: 653000 | #Constraints: 74449
1537.13/1541.82 c #Conflicts: 654000 | #Constraints: 75943
1537.13/1541.82 c #Conflicts: 655000 | #Constraints: 77474
1537.13/1541.82 c INPROCESSING
1537.13/1541.82 c GARBAGE COLLECT
1537.13/1541.82 c #Conflicts: 656000 | #Constraints: 54931
1537.13/1541.82 c #Conflicts: 657000 | #Constraints: 56451
1537.13/1541.82 c #Conflicts: 658000 | #Constraints: 58039
1537.13/1541.82 c #Conflicts: 659000 | #Constraints: 59568
1537.13/1541.82 c #Conflicts: 660000 | #Constraints: 61093
1537.13/1541.82 c #Conflicts: 661000 | #Constraints: 62594
1537.13/1541.82 c #Conflicts: 662000 | #Constraints: 64099
1537.13/1541.82 c #Conflicts: 663000 | #Constraints: 65627
1537.13/1541.82 c #Conflicts: 664000 | #Constraints: 67134
1537.13/1541.82 c #Conflicts: 665000 | #Constraints: 68619
1537.13/1541.82 c #Conflicts: 666000 | #Constraints: 70115
1537.13/1541.82 c #Conflicts: 667000 | #Constraints: 71655
1537.13/1541.82 c #Conflicts: 668000 | #Constraints: 73213
1537.13/1541.82 c #Conflicts: 669000 | #Constraints: 74712
1537.13/1541.82 c #Conflicts: 670000 | #Constraints: 76201
1537.13/1541.82 c #Conflicts: 671000 | #Constraints: 77699
1537.13/1541.82 c INPROCESSING
1537.13/1541.82 c GARBAGE COLLECT
1537.13/1541.82 c #Conflicts: 672000 | #Constraints: 54807
1537.13/1541.82 c #Conflicts: 673000 | #Constraints: 56314
1537.13/1541.82 c #Conflicts: 674000 | #Constraints: 57797
1537.13/1541.82 c #Conflicts: 675000 | #Constraints: 59338
1537.13/1541.82 c #Conflicts: 676000 | #Constraints: 60852
1537.13/1541.82 c #Conflicts: 677000 | #Constraints: 62365
1537.13/1541.82 c #Conflicts: 678000 | #Constraints: 63883
1537.13/1541.82 c #Conflicts: 679000 | #Constraints: 65416
1537.13/1541.82 c #Conflicts: 680000 | #Constraints: 66953
1537.13/1541.82 c #Conflicts: 681000 | #Constraints: 68485
1537.13/1541.82 c #Conflicts: 682000 | #Constraints: 70013
1537.13/1541.82 c #Conflicts: 683000 | #Constraints: 71556
1537.13/1541.82 c #Conflicts: 684000 | #Constraints: 73051
1537.13/1541.82 c #Conflicts: 685000 | #Constraints: 74558
1537.13/1541.82 c #Conflicts: 686000 | #Constraints: 76053
1537.13/1541.82 c #Conflicts: 687000 | #Constraints: 77537
1537.13/1541.82 c #Conflicts: 688000 | #Constraints: 79047
1537.13/1541.82 c INPROCESSING
1537.13/1541.82 c GARBAGE COLLECT
1537.13/1541.82 c #Conflicts: 689000 | #Constraints: 55767
1537.13/1541.82 c #Conflicts: 690000 | #Constraints: 57273
1537.13/1541.82 c #Conflicts: 691000 | #Constraints: 58753
1537.13/1541.82 c #Conflicts: 692000 | #Constraints: 60250
1537.13/1541.82 c #Conflicts: 693000 | #Constraints: 61713
1537.13/1541.82 c #Conflicts: 694000 | #Constraints: 63193
1537.13/1541.82 c #Conflicts: 695000 | #Constraints: 64711
1537.13/1541.82 c #Conflicts: 696000 | #Constraints: 66208
1537.13/1541.82 c #Conflicts: 697000 | #Constraints: 67691
1537.13/1541.82 c #Conflicts: 698000 | #Constraints: 69191
1537.13/1541.82 c #Conflicts: 699000 | #Constraints: 70702
1537.13/1541.82 c #Conflicts: 700000 | #Constraints: 72236
1537.13/1541.82 c #Conflicts: 701000 | #Constraints: 73780
1537.13/1541.82 c #Conflicts: 702000 | #Constraints: 75314
1537.13/1541.82 c #Conflicts: 703000 | #Constraints: 76860
1537.13/1541.82 c #Conflicts: 704000 | #Constraints: 78445
1537.13/1541.82 c #Conflicts: 705000 | #Constraints: 80012
1537.13/1541.82 c INPROCESSING
1537.13/1541.82 c GARBAGE COLLECT
1537.13/1541.82 c #Conflicts: 706000 | #Constraints: 56383
1704.52/1709.74 c #Conflicts: 707000 | #Constraints: 57858
1704.52/1709.74 c #Conflicts: 708000 | #Constraints: 59344
1704.52/1709.74 c #Conflicts: 709000 | #Constraints: 60870
1704.52/1709.74 c #Conflicts: 710000 | #Constraints: 62376
1704.52/1709.74 c #Conflicts: 711000 | #Constraints: 63847
1704.52/1709.74 c #Conflicts: 712000 | #Constraints: 65333
1704.52/1709.74 c #Conflicts: 713000 | #Constraints: 66843
1704.52/1709.74 c #Conflicts: 714000 | #Constraints: 68370
1704.52/1709.74 c #Conflicts: 715000 | #Constraints: 69914
1704.52/1709.74 c #Conflicts: 716000 | #Constraints: 71453
1704.52/1709.74 c #Conflicts: 717000 | #Constraints: 73047
1704.52/1709.74 c #Conflicts: 718000 | #Constraints: 74638
1704.52/1709.74 c #Conflicts: 719000 | #Constraints: 76244
1704.52/1709.74 c #Conflicts: 720000 | #Constraints: 77778
1704.52/1709.74 c #Conflicts: 721000 | #Constraints: 79346
1704.52/1709.74 c #Conflicts: 722000 | #Constraints: 80864
1704.52/1709.74 c INPROCESSING
1704.52/1709.74 c GARBAGE COLLECT
1704.52/1709.74 c #Conflicts: 723000 | #Constraints: 56796
1704.52/1709.74 c #Conflicts: 724000 | #Constraints: 58286
1704.52/1709.74 c #Conflicts: 725000 | #Constraints: 59769
1704.52/1709.74 c #Conflicts: 726000 | #Constraints: 61240
1704.52/1709.74 c #Conflicts: 727000 | #Constraints: 62723
1704.52/1709.74 c #Conflicts: 728000 | #Constraints: 64222
1704.52/1709.74 c #Conflicts: 729000 | #Constraints: 65699
1704.52/1709.74 c #Conflicts: 730000 | #Constraints: 67186
1704.52/1709.74 c #Conflicts: 731000 | #Constraints: 68659
1704.52/1709.74 c #Conflicts: 732000 | #Constraints: 70148
1704.52/1709.74 c #Conflicts: 733000 | #Constraints: 71673
1704.52/1709.74 c #Conflicts: 734000 | #Constraints: 73137
1704.52/1709.74 c #Conflicts: 735000 | #Constraints: 74638
1704.52/1709.74 c #Conflicts: 736000 | #Constraints: 76137
1704.52/1709.74 c #Conflicts: 737000 | #Constraints: 77605
1704.52/1709.74 c #Conflicts: 738000 | #Constraints: 79092
1704.52/1709.74 c #Conflicts: 739000 | #Constraints: 80561
1704.52/1709.74 c INPROCESSING
1704.52/1709.74 c GARBAGE COLLECT
1704.52/1709.74 c #Conflicts: 740000 | #Constraints: 56518
1704.52/1709.74 c #Conflicts: 741000 | #Constraints: 58036
1704.52/1709.74 c #Conflicts: 742000 | #Constraints: 59528
1704.52/1709.74 c #Conflicts: 743000 | #Constraints: 61021
1704.52/1709.74 c #Conflicts: 744000 | #Constraints: 62525
1704.52/1709.74 c #Conflicts: 745000 | #Constraints: 64073
1704.52/1709.74 c #Conflicts: 746000 | #Constraints: 65627
1704.52/1709.74 c #Conflicts: 747000 | #Constraints: 67133
1704.52/1709.74 c #Conflicts: 748000 | #Constraints: 68667
1704.52/1709.74 c #Conflicts: 749000 | #Constraints: 70178
1704.52/1709.74 c #Conflicts: 750000 | #Constraints: 71698
1704.52/1709.74 c #Conflicts: 751000 | #Constraints: 73204
1704.52/1709.74 c #Conflicts: 752000 | #Constraints: 74716
1704.52/1709.74 c #Conflicts: 753000 | #Constraints: 76205
1704.52/1709.74 c #Conflicts: 754000 | #Constraints: 77753
1704.52/1709.74 c #Conflicts: 755000 | #Constraints: 79235
1704.52/1709.74 c #Conflicts: 756000 | #Constraints: 80727
1704.52/1709.74 c INPROCESSING
1704.52/1709.74 c GARBAGE COLLECT
1704.52/1709.74 c #Conflicts: 757000 | #Constraints: 56309
1704.52/1709.74 c #Conflicts: 758000 | #Constraints: 57810
1704.52/1709.74 c #Conflicts: 759000 | #Constraints: 59311
1704.52/1709.74 c #Conflicts: 760000 | #Constraints: 60823
1704.52/1709.74 c #Conflicts: 761000 | #Constraints: 62347
1704.52/1709.74 c #Conflicts: 762000 | #Constraints: 63883
1704.52/1709.74 c #Conflicts: 763000 | #Constraints: 65408
1704.52/1709.74 c #Conflicts: 764000 | #Constraints: 66901
1704.52/1709.74 c #Conflicts: 765000 | #Constraints: 68412
1704.52/1709.74 c #Conflicts: 766000 | #Constraints: 69945
1704.52/1709.74 c #Conflicts: 767000 | #Constraints: 71418
1704.52/1709.74 c #Conflicts: 768000 | #Constraints: 72983
1704.52/1709.74 c #Conflicts: 769000 | #Constraints: 74491
1704.52/1709.74 c #Conflicts: 770000 | #Constraints: 75980
1704.52/1709.74 c #Conflicts: 771000 | #Constraints: 77476
1704.52/1709.74 c #Conflicts: 772000 | #Constraints: 79055
1704.52/1709.74 c #Conflicts: 773000 | #Constraints: 80523
1704.52/1709.74 c #Conflicts: 774000 | #Constraints: 82013
1704.52/1709.74 c INPROCESSING
1704.52/1709.74 c GARBAGE COLLECT
1704.52/1709.74 c #Conflicts: 775000 | #Constraints: 57242
1704.52/1709.74 c #Conflicts: 776000 | #Constraints: 58723
1704.52/1709.74 c #Conflicts: 777000 | #Constraints: 60277
1704.52/1709.74 c #Conflicts: 778000 | #Constraints: 61771
1704.52/1709.74 c #Conflicts: 779000 | #Constraints: 63268
1704.52/1709.74 c #Conflicts: 780000 | #Constraints: 64674
1704.52/1709.74 c #Conflicts: 781000 | #Constraints: 66044
1704.52/1709.74 c #Conflicts: 782000 | #Constraints: 67407
1874.80/1880.50 c #Conflicts: 783000 | #Constraints: 68934
1874.80/1880.50 c #Conflicts: 784000 | #Constraints: 70451
1874.80/1880.50 c #Conflicts: 785000 | #Constraints: 71998
1874.80/1880.50 c #Conflicts: 786000 | #Constraints: 73595
1874.80/1880.50 c #Conflicts: 787000 | #Constraints: 75168
1874.80/1880.50 c #Conflicts: 788000 | #Constraints: 76758
1874.80/1880.50 c #Conflicts: 789000 | #Constraints: 78278
1874.80/1880.50 c #Conflicts: 790000 | #Constraints: 79818
1874.80/1880.50 c #Conflicts: 791000 | #Constraints: 81359
1874.80/1880.50 c #Conflicts: 792000 | #Constraints: 82870
1874.80/1880.50 c INPROCESSING
1874.80/1880.50 c GARBAGE COLLECT
1874.80/1880.50 c #Conflicts: 793000 | #Constraints: 57881
1874.80/1880.50 c #Conflicts: 794000 | #Constraints: 59351
1874.80/1880.50 c #Conflicts: 795000 | #Constraints: 60908
1874.80/1880.50 c #Conflicts: 796000 | #Constraints: 62522
1874.80/1880.50 c #Conflicts: 797000 | #Constraints: 64097
1874.80/1880.50 c #Conflicts: 798000 | #Constraints: 65586
1874.80/1880.50 c #Conflicts: 799000 | #Constraints: 67066
1874.80/1880.50 c #Conflicts: 800000 | #Constraints: 68578
1874.80/1880.50 c #Conflicts: 801000 | #Constraints: 70064
1874.80/1880.50 c #Conflicts: 802000 | #Constraints: 71528
1874.80/1880.50 c #Conflicts: 803000 | #Constraints: 73003
1874.80/1880.50 c #Conflicts: 804000 | #Constraints: 74523
1874.80/1880.50 c #Conflicts: 805000 | #Constraints: 76054
1874.80/1880.50 c #Conflicts: 806000 | #Constraints: 77525
1874.80/1880.50 c #Conflicts: 807000 | #Constraints: 78993
1874.80/1880.50 c #Conflicts: 808000 | #Constraints: 80476
1874.80/1880.50 c #Conflicts: 809000 | #Constraints: 81966
1874.80/1880.50 c #Conflicts: 810000 | #Constraints: 83458
1874.80/1880.50 c INPROCESSING
1874.80/1880.50 c GARBAGE COLLECT
1874.80/1880.50 c #Conflicts: 811000 | #Constraints: 58098
1874.80/1880.50 c #Conflicts: 812000 | #Constraints: 59588
1874.80/1880.50 c #Conflicts: 813000 | #Constraints: 61097
1874.80/1880.50 c #Conflicts: 814000 | #Constraints: 62581
1874.80/1880.50 c #Conflicts: 815000 | #Constraints: 64112
1874.80/1880.50 c #Conflicts: 816000 | #Constraints: 65664
1874.80/1880.50 c #Conflicts: 817000 | #Constraints: 67227
1874.80/1880.50 c #Conflicts: 818000 | #Constraints: 68746
1874.80/1880.50 c #Conflicts: 819000 | #Constraints: 70335
1874.80/1880.50 c #Conflicts: 820000 | #Constraints: 71853
1874.80/1880.50 c #Conflicts: 821000 | #Constraints: 73352
1874.80/1880.50 c #Conflicts: 822000 | #Constraints: 74838
1874.80/1880.50 c #Conflicts: 823000 | #Constraints: 76339
1874.80/1880.50 c #Conflicts: 824000 | #Constraints: 77859
1874.80/1880.50 c #Conflicts: 825000 | #Constraints: 79425
1874.80/1880.50 c #Conflicts: 826000 | #Constraints: 81000
1874.80/1880.50 c #Conflicts: 827000 | #Constraints: 82528
1874.80/1880.50 c #Conflicts: 828000 | #Constraints: 84050
1874.80/1880.50 c INPROCESSING
1874.80/1880.50 c GARBAGE COLLECT
1874.80/1880.50 c #Conflicts: 829000 | #Constraints: 58279
1874.80/1880.50 c #Conflicts: 830000 | #Constraints: 59787
1874.80/1880.50 c #Conflicts: 831000 | #Constraints: 61314
1874.80/1880.50 c #Conflicts: 832000 | #Constraints: 62838
1874.80/1880.50 c #Conflicts: 833000 | #Constraints: 64365
1874.80/1880.50 c #Conflicts: 834000 | #Constraints: 65849
1874.80/1880.50 c #Conflicts: 835000 | #Constraints: 67334
1874.80/1880.50 c #Conflicts: 836000 | #Constraints: 68810
1874.80/1880.50 c #Conflicts: 837000 | #Constraints: 70307
1874.80/1880.50 c #Conflicts: 838000 | #Constraints: 71794
1874.80/1880.50 c #Conflicts: 839000 | #Constraints: 73282
1874.80/1880.50 c #Conflicts: 840000 | #Constraints: 74776
1874.80/1880.50 c #Conflicts: 841000 | #Constraints: 76277
1874.80/1880.50 c #Conflicts: 842000 | #Constraints: 77763
1874.80/1880.50 c #Conflicts: 843000 | #Constraints: 79242
1874.80/1880.50 c #Conflicts: 844000 | #Constraints: 80718
1874.80/1880.50 c #Conflicts: 845000 | #Constraints: 82198
1874.80/1880.50 c #Conflicts: 846000 | #Constraints: 83669
1874.80/1880.50 c INPROCESSING
1874.80/1880.50 c GARBAGE COLLECT
1874.80/1880.50 c #Conflicts: 847000 | #Constraints: 57782
1874.80/1880.50 c #Conflicts: 848000 | #Constraints: 59239
1874.80/1880.50 c #Conflicts: 849000 | #Constraints: 60733
1874.80/1880.50 c #Conflicts: 850000 | #Constraints: 62234
1874.80/1880.50 c #Conflicts: 851000 | #Constraints: 63744
1874.80/1880.50 c #Conflicts: 852000 | #Constraints: 65225
1874.80/1880.50 c #Conflicts: 853000 | #Constraints: 66724
1874.80/1880.50 c #Conflicts: 854000 | #Constraints: 68262
1874.80/1880.50 c #Conflicts: 855000 | #Constraints: 69762
1874.80/1880.50 c #Conflicts: 856000 | #Constraints: 71304
1874.80/1880.50 c #Conflicts: 857000 | #Constraints: 72844
1874.80/1880.50 c #Conflicts: 858000 | #Constraints: 74363
2043.69/2049.96 c #Conflicts: 859000 | #Constraints: 75877
2043.69/2049.96 c #Conflicts: 860000 | #Constraints: 77377
2043.69/2049.96 c #Conflicts: 861000 | #Constraints: 78890
2043.69/2049.96 c #Conflicts: 862000 | #Constraints: 80432
2043.69/2049.96 c #Conflicts: 863000 | #Constraints: 81943
2043.69/2049.96 c #Conflicts: 864000 | #Constraints: 83460
2043.69/2049.96 c #Conflicts: 865000 | #Constraints: 84969
2043.69/2049.96 c INPROCESSING
2043.69/2049.96 c GARBAGE COLLECT
2043.69/2049.96 c #Conflicts: 866000 | #Constraints: 58743
2043.69/2049.96 c #Conflicts: 867000 | #Constraints: 60270
2043.69/2049.96 c #Conflicts: 868000 | #Constraints: 61792
2043.69/2049.96 c #Conflicts: 869000 | #Constraints: 63292
2043.69/2049.96 c #Conflicts: 870000 | #Constraints: 64775
2043.69/2049.96 c #Conflicts: 871000 | #Constraints: 66306
2043.69/2049.96 c #Conflicts: 872000 | #Constraints: 67728
2043.69/2049.96 c #Conflicts: 873000 | #Constraints: 69214
2043.69/2049.96 c #Conflicts: 874000 | #Constraints: 70722
2043.69/2049.96 c #Conflicts: 875000 | #Constraints: 72228
2043.69/2049.96 c #Conflicts: 876000 | #Constraints: 73699
2043.69/2049.96 c #Conflicts: 877000 | #Constraints: 75154
2043.69/2049.96 c #Conflicts: 878000 | #Constraints: 76644
2043.69/2049.96 c #Conflicts: 879000 | #Constraints: 78152
2043.69/2049.96 c #Conflicts: 880000 | #Constraints: 79712
2043.69/2049.96 c #Conflicts: 881000 | #Constraints: 81207
2043.69/2049.96 c #Conflicts: 882000 | #Constraints: 82700
2043.69/2049.96 c #Conflicts: 883000 | #Constraints: 84204
2043.69/2049.96 c #Conflicts: 884000 | #Constraints: 85783
2043.69/2049.96 c INPROCESSING
2043.69/2049.96 c GARBAGE COLLECT
2043.69/2049.96 c #Conflicts: 885000 | #Constraints: 59282
2043.69/2049.96 c #Conflicts: 886000 | #Constraints: 60768
2043.69/2049.96 c #Conflicts: 887000 | #Constraints: 62246
2043.69/2049.96 c #Conflicts: 888000 | #Constraints: 63745
2043.69/2049.96 c #Conflicts: 889000 | #Constraints: 65230
2043.69/2049.96 c #Conflicts: 890000 | #Constraints: 66702
2043.69/2049.96 c #Conflicts: 891000 | #Constraints: 68179
2043.69/2049.96 c #Conflicts: 892000 | #Constraints: 69665
2043.69/2049.96 c #Conflicts: 893000 | #Constraints: 71156
2043.69/2049.96 c #Conflicts: 894000 | #Constraints: 72646
2043.69/2049.96 c #Conflicts: 895000 | #Constraints: 74127
2043.69/2049.96 c #Conflicts: 896000 | #Constraints: 75625
2043.69/2049.96 c #Conflicts: 897000 | #Constraints: 77074
2043.69/2049.96 c #Conflicts: 898000 | #Constraints: 78567
2043.69/2049.96 c #Conflicts: 899000 | #Constraints: 80092
2043.69/2049.96 c #Conflicts: 900000 | #Constraints: 81580
2043.69/2049.96 c #Conflicts: 901000 | #Constraints: 83061
2043.69/2049.96 c #Conflicts: 902000 | #Constraints: 84549
2043.69/2049.96 c #Conflicts: 903000 | #Constraints: 86053
2043.69/2049.96 c INPROCESSING
2043.69/2049.96 c GARBAGE COLLECT
2043.69/2049.96 c #Conflicts: 904000 | #Constraints: 59465
2043.69/2049.96 c #Conflicts: 905000 | #Constraints: 60993
2043.69/2049.96 c #Conflicts: 906000 | #Constraints: 62488
2043.69/2049.96 c #Conflicts: 907000 | #Constraints: 63956
2043.69/2049.96 c #Conflicts: 908000 | #Constraints: 65449
2043.69/2049.96 c #Conflicts: 909000 | #Constraints: 66975
2043.69/2049.96 c #Conflicts: 910000 | #Constraints: 68480
2043.69/2049.96 c #Conflicts: 911000 | #Constraints: 69984
2043.69/2049.96 c #Conflicts: 912000 | #Constraints: 71555
2043.69/2049.96 c #Conflicts: 913000 | #Constraints: 73077
2043.69/2049.96 c #Conflicts: 914000 | #Constraints: 74590
2043.69/2049.96 c #Conflicts: 915000 | #Constraints: 76101
2043.69/2049.96 c #Conflicts: 916000 | #Constraints: 77590
2043.69/2049.96 c #Conflicts: 917000 | #Constraints: 79116
2043.69/2049.96 c #Conflicts: 918000 | #Constraints: 80615
2043.69/2049.96 c #Conflicts: 919000 | #Constraints: 82110
2043.69/2049.96 c #Conflicts: 920000 | #Constraints: 83644
2043.69/2049.96 c #Conflicts: 921000 | #Constraints: 85186
2043.69/2049.96 c #Conflicts: 922000 | #Constraints: 86701
2043.69/2049.96 c INPROCESSING
2043.69/2049.96 c GARBAGE COLLECT
2043.69/2049.96 c #Conflicts: 923000 | #Constraints: 59576
2043.69/2049.96 c #Conflicts: 924000 | #Constraints: 61052
2043.69/2049.96 c #Conflicts: 925000 | #Constraints: 62560
2043.69/2049.96 c #Conflicts: 926000 | #Constraints: 64089
2043.69/2049.96 c #Conflicts: 927000 | #Constraints: 65612
2043.69/2049.96 c #Conflicts: 928000 | #Constraints: 67104
2043.69/2049.96 c #Conflicts: 929000 | #Constraints: 68579
2043.69/2049.96 c #Conflicts: 930000 | #Constraints: 70104
2043.69/2049.96 c #Conflicts: 931000 | #Constraints: 71647
2043.69/2049.96 c #Conflicts: 932000 | #Constraints: 73172
2043.69/2049.96 c #Conflicts: 933000 | #Constraints: 74706
2043.69/2049.96 c #Conflicts: 934000 | #Constraints: 76215
2043.69/2049.96 c #Conflicts: 935000 | #Constraints: 77717
2177.10/2183.75 c #Conflicts: 936000 | #Constraints: 79229
2177.10/2183.75 c #Conflicts: 937000 | #Constraints: 80690
2177.10/2183.75 c #Conflicts: 938000 | #Constraints: 82210
2177.10/2183.75 c #Conflicts: 939000 | #Constraints: 83731
2177.10/2183.75 c #Conflicts: 940000 | #Constraints: 85263
2177.10/2183.75 c #Conflicts: 941000 | #Constraints: 86787
2177.10/2183.75 c INPROCESSING
2177.10/2183.75 c GARBAGE COLLECT
2177.10/2183.75 c #Conflicts: 942000 | #Constraints: 59360
2177.10/2183.75 c #Conflicts: 943000 | #Constraints: 60890
2177.10/2183.75 c #Conflicts: 944000 | #Constraints: 62461
2177.10/2183.75 c #Conflicts: 945000 | #Constraints: 64096
2177.10/2183.75 c #Conflicts: 946000 | #Constraints: 65734
2177.10/2183.75 c #Conflicts: 947000 | #Constraints: 67353
2177.10/2183.75 c #Conflicts: 948000 | #Constraints: 68948
2177.10/2183.75 c #Conflicts: 949000 | #Constraints: 70459
2177.10/2183.75 c #Conflicts: 950000 | #Constraints: 71964
2177.10/2183.75 c #Conflicts: 951000 | #Constraints: 73490
2177.10/2183.75 c #Conflicts: 952000 | #Constraints: 74991
2177.10/2183.75 c #Conflicts: 953000 | #Constraints: 76471
2177.10/2183.75 c #Conflicts: 954000 | #Constraints: 77957
2177.10/2183.75 c #Conflicts: 955000 | #Constraints: 79403
2177.10/2183.75 c #Conflicts: 956000 | #Constraints: 80818
2177.10/2183.75 c #Conflicts: 957000 | #Constraints: 82303
2177.10/2183.75 c #Conflicts: 958000 | #Constraints: 83721
2177.10/2183.75 c #Conflicts: 959000 | #Constraints: 85155
2177.10/2183.75 c #Conflicts: 960000 | #Constraints: 86587
2177.10/2183.75 c #Conflicts: 961000 | #Constraints: 88038
2177.10/2183.75 c INPROCESSING
2177.10/2183.75 c GARBAGE COLLECT
2177.10/2183.75 c #Conflicts: 962000 | #Constraints: 60268
2177.10/2183.75 c #Conflicts: 963000 | #Constraints: 61778
2177.10/2183.75 c #Conflicts: 964000 | #Constraints: 63299
2177.10/2183.75 c #Conflicts: 965000 | #Constraints: 64779
2177.10/2183.75 c #Conflicts: 966000 | #Constraints: 66268
2177.10/2183.75 c #Conflicts: 967000 | #Constraints: 67794
2177.10/2183.75 c #Conflicts: 968000 | #Constraints: 69304
2177.10/2183.75 c #Conflicts: 969000 | #Constraints: 70827
2177.10/2183.75 c #Conflicts: 970000 | #Constraints: 72399
2177.10/2183.75 c #Conflicts: 971000 | #Constraints: 73949
2177.10/2183.75 c #Conflicts: 972000 | #Constraints: 75475
2177.10/2183.75 c #Conflicts: 973000 | #Constraints: 77010
2177.10/2183.75 c #Conflicts: 974000 | #Constraints: 78541
2177.10/2183.75 c #Conflicts: 975000 | #Constraints: 80022
2177.10/2183.75 c #Conflicts: 976000 | #Constraints: 81505
2177.10/2183.75 c #Conflicts: 977000 | #Constraints: 82996
2177.10/2183.75 c #Conflicts: 978000 | #Constraints: 84474
2177.10/2183.75 c #Conflicts: 979000 | #Constraints: 85958
2177.10/2183.75 c #Conflicts: 980000 | #Constraints: 87451
2177.10/2183.75 c #Conflicts: 981000 | #Constraints: 88953
2177.10/2183.75 c INPROCESSING
2177.10/2183.75 c GARBAGE COLLECT
2177.10/2183.75 c #Conflicts: 982000 | #Constraints: 60868
2177.10/2183.75 c #Conflicts: 983000 | #Constraints: 62363
2177.10/2183.75 c #Conflicts: 984000 | #Constraints: 63856
2177.10/2183.75 c #Conflicts: 985000 | #Constraints: 65334
2177.10/2183.75 c #Conflicts: 986000 | #Constraints: 66825
2177.10/2183.75 c #Conflicts: 987000 | #Constraints: 68342
2177.10/2183.75 c #Conflicts: 988000 | #Constraints: 69818
2177.10/2183.75 c #Conflicts: 989000 | #Constraints: 71321
2177.10/2183.75 c #Conflicts: 990000 | #Constraints: 72819
2177.10/2183.75 c #Conflicts: 991000 | #Constraints: 74321
2177.10/2183.75 c #Conflicts: 992000 | #Constraints: 75784
2177.10/2183.75 c #Conflicts: 993000 | #Constraints: 77276
2177.10/2183.75 c #Conflicts: 994000 | #Constraints: 78751
2177.10/2183.75 c #Conflicts: 995000 | #Constraints: 80244
2177.10/2183.75 c #Conflicts: 996000 | #Constraints: 81755
2177.10/2183.75 c #Conflicts: 997000 | #Constraints: 83268
2177.10/2183.75 c #Conflicts: 998000 | #Constraints: 84757
2177.10/2183.75 c #Conflicts: 999000 | #Constraints: 86251
2177.10/2183.75 c #Conflicts: 1000000 | #Constraints: 87736
2177.10/2183.75 c #Conflicts: 1001000 | #Constraints: 89217
2177.10/2183.75 c INPROCESSING
2177.10/2183.75 c GARBAGE COLLECT
2177.10/2183.75 c #Conflicts: 1002000 | #Constraints: 60997
2177.10/2183.75 c #Conflicts: 1003000 | #Constraints: 62487
2177.10/2183.75 c #Conflicts: 1004000 | #Constraints: 63957
2177.10/2183.75 c #Conflicts: 1005000 | #Constraints: 65403
2177.10/2183.75 c #Conflicts: 1006000 | #Constraints: 66892
2177.10/2183.75 c #Conflicts: 1007000 | #Constraints: 68317
2177.10/2183.75 c #Conflicts: 1008000 | #Constraints: 69753
2177.10/2183.75 c #Conflicts: 1009000 | #Constraints: 71223
2177.10/2183.75 c #Conflicts: 1010000 | #Constraints: 72674
2177.10/2183.75 c #Conflicts: 1011000 | #Constraints: 74137
2309.60/2316.67 c #Conflicts: 1012000 | #Constraints: 75605
2309.60/2316.67 c #Conflicts: 1013000 | #Constraints: 77118
2309.60/2316.67 c #Conflicts: 1014000 | #Constraints: 78608
2309.60/2316.67 c #Conflicts: 1015000 | #Constraints: 80087
2309.60/2316.67 c #Conflicts: 1016000 | #Constraints: 81548
2309.60/2316.67 c #Conflicts: 1017000 | #Constraints: 82975
2309.60/2316.67 c #Conflicts: 1018000 | #Constraints: 84458
2309.60/2316.67 c #Conflicts: 1019000 | #Constraints: 85899
2309.60/2316.67 c #Conflicts: 1020000 | #Constraints: 87418
2309.60/2316.67 c #Conflicts: 1021000 | #Constraints: 88888
2309.60/2316.67 c INPROCESSING
2309.60/2316.67 c GARBAGE COLLECT
2309.60/2316.67 c #Conflicts: 1022000 | #Constraints: 60671
2309.60/2316.67 c #Conflicts: 1023000 | #Constraints: 62151
2309.60/2316.67 c #Conflicts: 1024000 | #Constraints: 63623
2309.60/2316.67 c #Conflicts: 1025000 | #Constraints: 65136
2309.60/2316.67 c #Conflicts: 1026000 | #Constraints: 66630
2309.60/2316.67 c #Conflicts: 1027000 | #Constraints: 68118
2309.60/2316.67 c #Conflicts: 1028000 | #Constraints: 69614
2309.60/2316.67 c #Conflicts: 1029000 | #Constraints: 71131
2309.60/2316.67 c #Conflicts: 1030000 | #Constraints: 72658
2309.60/2316.67 c #Conflicts: 1031000 | #Constraints: 74158
2309.60/2316.67 c #Conflicts: 1032000 | #Constraints: 75662
2309.60/2316.67 c #Conflicts: 1033000 | #Constraints: 77163
2309.60/2316.67 c #Conflicts: 1034000 | #Constraints: 78674
2309.60/2316.67 c #Conflicts: 1035000 | #Constraints: 80179
2309.60/2316.67 c #Conflicts: 1036000 | #Constraints: 81674
2309.60/2316.67 c #Conflicts: 1037000 | #Constraints: 83162
2309.60/2316.67 c #Conflicts: 1038000 | #Constraints: 84661
2309.60/2316.67 c #Conflicts: 1039000 | #Constraints: 86164
2309.60/2316.67 c #Conflicts: 1040000 | #Constraints: 87672
2309.60/2316.67 c #Conflicts: 1041000 | #Constraints: 89170
2309.60/2316.67 c INPROCESSING
2309.60/2316.67 c GARBAGE COLLECT
2309.60/2316.67 c #Conflicts: 1042000 | #Constraints: 60559
2309.60/2316.67 c #Conflicts: 1043000 | #Constraints: 62098
2309.60/2316.67 c #Conflicts: 1044000 | #Constraints: 63614
2309.60/2316.67 c #Conflicts: 1045000 | #Constraints: 65116
2309.60/2316.67 c #Conflicts: 1046000 | #Constraints: 66623
2309.60/2316.67 c #Conflicts: 1047000 | #Constraints: 68145
2309.60/2316.67 c #Conflicts: 1048000 | #Constraints: 69650
2309.60/2316.67 c #Conflicts: 1049000 | #Constraints: 71112
2309.60/2316.67 c #Conflicts: 1050000 | #Constraints: 72593
2309.60/2316.67 c #Conflicts: 1051000 | #Constraints: 74089
2309.60/2316.67 c #Conflicts: 1052000 | #Constraints: 75579
2309.60/2316.67 c #Conflicts: 1053000 | #Constraints: 77099
2309.60/2316.67 c #Conflicts: 1054000 | #Constraints: 78575
2309.60/2316.67 c #Conflicts: 1055000 | #Constraints: 80064
2309.60/2316.67 c #Conflicts: 1056000 | #Constraints: 81560
2309.60/2316.67 c #Conflicts: 1057000 | #Constraints: 83042
2309.60/2316.67 c #Conflicts: 1058000 | #Constraints: 84529
2309.60/2316.67 c #Conflicts: 1059000 | #Constraints: 86021
2309.60/2316.67 c #Conflicts: 1060000 | #Constraints: 87506
2309.60/2316.67 c #Conflicts: 1061000 | #Constraints: 89003
2309.60/2316.67 c #Conflicts: 1062000 | #Constraints: 90528
2309.60/2316.67 c INPROCESSING
2309.60/2316.67 c GARBAGE COLLECT
2309.60/2316.67 c #Conflicts: 1063000 | #Constraints: 61509
2309.60/2316.67 c #Conflicts: 1064000 | #Constraints: 62974
2309.60/2316.67 c #Conflicts: 1065000 | #Constraints: 64469
2309.60/2316.67 c #Conflicts: 1066000 | #Constraints: 65961
2309.60/2316.67 c #Conflicts: 1067000 | #Constraints: 67483
2309.60/2316.67 c #Conflicts: 1068000 | #Constraints: 68986
2309.60/2316.67 c #Conflicts: 1069000 | #Constraints: 70467
2309.60/2316.67 c #Conflicts: 1070000 | #Constraints: 71992
2309.60/2316.67 c #Conflicts: 1071000 | #Constraints: 73480
2309.60/2316.67 c #Conflicts: 1072000 | #Constraints: 74957
2309.60/2316.67 c #Conflicts: 1073000 | #Constraints: 76456
2309.60/2316.67 c #Conflicts: 1074000 | #Constraints: 77943
2309.60/2316.67 c #Conflicts: 1075000 | #Constraints: 79425
2309.60/2316.67 c #Conflicts: 1076000 | #Constraints: 80924
2309.60/2316.67 c #Conflicts: 1077000 | #Constraints: 82432
2309.60/2316.67 c #Conflicts: 1078000 | #Constraints: 83942
2309.60/2316.67 c #Conflicts: 1079000 | #Constraints: 85463
2309.60/2316.67 c #Conflicts: 1080000 | #Constraints: 86996
2309.60/2316.67 c #Conflicts: 1081000 | #Constraints: 88524
2309.60/2316.67 c #Conflicts: 1082000 | #Constraints: 90035
2309.60/2316.67 c #Conflicts: 1083000 | #Constraints: 91555
2309.60/2316.67 c INPROCESSING
2309.60/2316.67 c GARBAGE COLLECT
2309.60/2316.67 c #Conflicts: 1084000 | #Constraints: 62168
2309.60/2316.67 c #Conflicts: 1085000 | #Constraints: 63685
2309.60/2316.67 c #Conflicts: 1086000 | #Constraints: 65193
2309.60/2316.67 c #Conflicts: 1087000 | #Constraints: 66715
2446.14/2453.54 c #Conflicts: 1088000 | #Constraints: 68233
2446.14/2453.54 c #Conflicts: 1089000 | #Constraints: 69745
2446.14/2453.54 c #Conflicts: 1090000 | #Constraints: 71257
2446.14/2453.54 c #Conflicts: 1091000 | #Constraints: 72745
2446.14/2453.54 c #Conflicts: 1092000 | #Constraints: 74227
2446.14/2453.54 c #Conflicts: 1093000 | #Constraints: 75704
2446.14/2453.54 c #Conflicts: 1094000 | #Constraints: 77182
2446.14/2453.54 c #Conflicts: 1095000 | #Constraints: 78657
2446.14/2453.54 c #Conflicts: 1096000 | #Constraints: 80149
2446.14/2453.54 c #Conflicts: 1097000 | #Constraints: 81635
2446.14/2453.54 c #Conflicts: 1098000 | #Constraints: 83128
2446.14/2453.54 c #Conflicts: 1099000 | #Constraints: 84617
2446.14/2453.54 c #Conflicts: 1100000 | #Constraints: 86103
2446.14/2453.54 c #Conflicts: 1101000 | #Constraints: 87587
2446.14/2453.54 c #Conflicts: 1102000 | #Constraints: 89070
2446.14/2453.54 c #Conflicts: 1103000 | #Constraints: 90556
2446.14/2453.54 c #Conflicts: 1104000 | #Constraints: 92043
2446.14/2453.54 c INPROCESSING
2446.14/2453.54 c GARBAGE COLLECT
2446.14/2453.54 c #Conflicts: 1105000 | #Constraints: 62415
2446.14/2453.54 c #Conflicts: 1106000 | #Constraints: 63891
2446.14/2453.54 c #Conflicts: 1107000 | #Constraints: 65400
2446.14/2453.54 c #Conflicts: 1108000 | #Constraints: 66875
2446.14/2453.54 c #Conflicts: 1109000 | #Constraints: 68362
2446.14/2453.54 c #Conflicts: 1110000 | #Constraints: 69864
2446.14/2453.54 c #Conflicts: 1111000 | #Constraints: 71337
2446.14/2453.54 c #Conflicts: 1112000 | #Constraints: 72828
2446.14/2453.54 c #Conflicts: 1113000 | #Constraints: 74331
2446.14/2453.54 c #Conflicts: 1114000 | #Constraints: 75864
2446.14/2453.54 c #Conflicts: 1115000 | #Constraints: 77395
2446.14/2453.54 c #Conflicts: 1116000 | #Constraints: 78927
2446.14/2453.54 c #Conflicts: 1117000 | #Constraints: 80444
2446.14/2453.54 c #Conflicts: 1118000 | #Constraints: 82022
2446.14/2453.54 c #Conflicts: 1119000 | #Constraints: 83606
2446.14/2453.54 c #Conflicts: 1120000 | #Constraints: 85202
2446.14/2453.54 c #Conflicts: 1121000 | #Constraints: 86767
2446.14/2453.54 c #Conflicts: 1122000 | #Constraints: 88340
2446.14/2453.54 c #Conflicts: 1123000 | #Constraints: 89913
2446.14/2453.54 c #Conflicts: 1124000 | #Constraints: 91479
2446.14/2453.54 c #Conflicts: 1125000 | #Constraints: 93038
2446.14/2453.54 c INPROCESSING
2446.14/2453.54 c GARBAGE COLLECT
2446.14/2453.54 c #Conflicts: 1126000 | #Constraints: 62759
2446.14/2453.54 c #Conflicts: 1127000 | #Constraints: 64218
2446.14/2453.54 c #Conflicts: 1128000 | #Constraints: 65706
2446.14/2453.54 c #Conflicts: 1129000 | #Constraints: 67222
2446.14/2453.54 c #Conflicts: 1130000 | #Constraints: 68742
2446.14/2453.54 c #Conflicts: 1131000 | #Constraints: 70223
2446.14/2453.54 c #Conflicts: 1132000 | #Constraints: 71740
2446.14/2453.54 c #Conflicts: 1133000 | #Constraints: 73278
2446.14/2453.54 c #Conflicts: 1134000 | #Constraints: 74751
2446.14/2453.54 c #Conflicts: 1135000 | #Constraints: 76281
2446.14/2453.54 c #Conflicts: 1136000 | #Constraints: 77815
2446.14/2453.54 c #Conflicts: 1137000 | #Constraints: 79310
2446.14/2453.54 c #Conflicts: 1138000 | #Constraints: 80830
2446.14/2453.54 c #Conflicts: 1139000 | #Constraints: 82339
2446.14/2453.54 c #Conflicts: 1140000 | #Constraints: 83857
2446.14/2453.54 c #Conflicts: 1141000 | #Constraints: 85362
2446.14/2453.54 c #Conflicts: 1142000 | #Constraints: 86848
2446.14/2453.54 c #Conflicts: 1143000 | #Constraints: 88361
2446.14/2453.54 c #Conflicts: 1144000 | #Constraints: 89858
2446.14/2453.54 c #Conflicts: 1145000 | #Constraints: 91379
2446.14/2453.54 c #Conflicts: 1146000 | #Constraints: 92893
2446.14/2453.54 c INPROCESSING
2446.14/2453.54 c GARBAGE COLLECT
2446.14/2453.54 c #Conflicts: 1147000 | #Constraints: 62394
2446.14/2453.54 c #Conflicts: 1148000 | #Constraints: 63901
2446.14/2453.54 c #Conflicts: 1149000 | #Constraints: 65447
2446.14/2453.54 c #Conflicts: 1150000 | #Constraints: 66956
2446.14/2453.54 c #Conflicts: 1151000 | #Constraints: 68462
2446.14/2453.54 c #Conflicts: 1152000 | #Constraints: 69980
2446.14/2453.54 c #Conflicts: 1153000 | #Constraints: 71552
2446.14/2453.54 c #Conflicts: 1154000 | #Constraints: 73096
2446.14/2453.54 c #Conflicts: 1155000 | #Constraints: 74602
2446.14/2453.54 c #Conflicts: 1156000 | #Constraints: 76092
2446.14/2453.54 c #Conflicts: 1157000 | #Constraints: 77576
2446.14/2453.54 c #Conflicts: 1158000 | #Constraints: 79094
2446.14/2453.54 c #Conflicts: 1159000 | #Constraints: 80600
2446.14/2453.54 c #Conflicts: 1160000 | #Constraints: 82122
2446.14/2453.54 c #Conflicts: 1161000 | #Constraints: 83646
2446.14/2453.54 c #Conflicts: 1162000 | #Constraints: 85152
2446.14/2453.54 c #Conflicts: 1163000 | #Constraints: 86637
2446.14/2453.54 c #Conflicts: 1164000 | #Constraints: 88130
2580.29/2588.08 c #Conflicts: 1165000 | #Constraints: 89654
2580.29/2588.08 c #Conflicts: 1166000 | #Constraints: 91200
2580.29/2588.08 c #Conflicts: 1167000 | #Constraints: 92761
2580.29/2588.08 c #Conflicts: 1168000 | #Constraints: 94394
2580.29/2588.08 c INPROCESSING
2580.29/2588.08 c GARBAGE COLLECT
2580.29/2588.08 c #Conflicts: 1169000 | #Constraints: 63395
2580.29/2588.08 c #Conflicts: 1170000 | #Constraints: 64901
2580.29/2588.08 c #Conflicts: 1171000 | #Constraints: 66383
2580.29/2588.08 c #Conflicts: 1172000 | #Constraints: 67886
2580.29/2588.08 c #Conflicts: 1173000 | #Constraints: 69385
2580.29/2588.08 c #Conflicts: 1174000 | #Constraints: 70892
2580.29/2588.08 c #Conflicts: 1175000 | #Constraints: 72405
2580.29/2588.08 c #Conflicts: 1176000 | #Constraints: 73905
2580.29/2588.08 c #Conflicts: 1177000 | #Constraints: 75387
2580.29/2588.08 c #Conflicts: 1178000 | #Constraints: 76907
2580.29/2588.08 c #Conflicts: 1179000 | #Constraints: 78496
2580.29/2588.08 c #Conflicts: 1180000 | #Constraints: 80000
2580.29/2588.08 c #Conflicts: 1181000 | #Constraints: 81504
2580.29/2588.08 c #Conflicts: 1182000 | #Constraints: 83016
2580.29/2588.08 c #Conflicts: 1183000 | #Constraints: 84513
2580.29/2588.08 c #Conflicts: 1184000 | #Constraints: 86038
2580.29/2588.08 c #Conflicts: 1185000 | #Constraints: 87524
2580.29/2588.08 c #Conflicts: 1186000 | #Constraints: 89008
2580.29/2588.08 c #Conflicts: 1187000 | #Constraints: 90509
2580.29/2588.08 c #Conflicts: 1188000 | #Constraints: 92008
2580.29/2588.08 c #Conflicts: 1189000 | #Constraints: 93498
2580.29/2588.08 c #Conflicts: 1190000 | #Constraints: 95017
2580.29/2588.08 c INPROCESSING
2580.29/2588.08 c GARBAGE COLLECT
2580.29/2588.08 c #Conflicts: 1191000 | #Constraints: 63941
2580.29/2588.08 c #Conflicts: 1192000 | #Constraints: 65491
2580.29/2588.08 c #Conflicts: 1193000 | #Constraints: 67013
2580.29/2588.08 c #Conflicts: 1194000 | #Constraints: 68497
2580.29/2588.08 c #Conflicts: 1195000 | #Constraints: 69978
2580.29/2588.08 c #Conflicts: 1196000 | #Constraints: 71461
2580.29/2588.08 c #Conflicts: 1197000 | #Constraints: 73001
2580.29/2588.08 c #Conflicts: 1198000 | #Constraints: 74467
2580.29/2588.08 c #Conflicts: 1199000 | #Constraints: 75987
2580.29/2588.08 c #Conflicts: 1200000 | #Constraints: 77525
2580.29/2588.08 c #Conflicts: 1201000 | #Constraints: 78996
2580.29/2588.08 c #Conflicts: 1202000 | #Constraints: 80507
2580.29/2588.08 c #Conflicts: 1203000 | #Constraints: 81980
2580.29/2588.08 c #Conflicts: 1204000 | #Constraints: 83516
2580.29/2588.08 c #Conflicts: 1205000 | #Constraints: 85001
2580.29/2588.08 c #Conflicts: 1206000 | #Constraints: 86506
2580.29/2588.08 c #Conflicts: 1207000 | #Constraints: 88043
2580.29/2588.08 c #Conflicts: 1208000 | #Constraints: 89572
2580.29/2588.08 c #Conflicts: 1209000 | #Constraints: 91055
2580.29/2588.08 c #Conflicts: 1210000 | #Constraints: 92561
2580.29/2588.08 c #Conflicts: 1211000 | #Constraints: 94055
2580.29/2588.08 c #Conflicts: 1212000 | #Constraints: 95546
2580.29/2588.08 c INPROCESSING
2580.29/2588.08 c GARBAGE COLLECT
2580.29/2588.08 c #Conflicts: 1213000 | #Constraints: 64138
2580.29/2588.08 c #Conflicts: 1214000 | #Constraints: 65573
2580.29/2588.08 c #Conflicts: 1215000 | #Constraints: 66998
2580.29/2588.08 c #Conflicts: 1216000 | #Constraints: 68464
2580.29/2588.08 c #Conflicts: 1217000 | #Constraints: 69856
2580.29/2588.08 c #Conflicts: 1218000 | #Constraints: 71346
2580.29/2588.08 c #Conflicts: 1219000 | #Constraints: 72916
2580.29/2588.08 c #Conflicts: 1220000 | #Constraints: 74484
2580.29/2588.08 c #Conflicts: 1221000 | #Constraints: 75994
2580.29/2588.08 c #Conflicts: 1222000 | #Constraints: 77551
2580.29/2588.08 c #Conflicts: 1223000 | #Constraints: 79089
2580.29/2588.08 c #Conflicts: 1224000 | #Constraints: 80608
2580.29/2588.08 c #Conflicts: 1225000 | #Constraints: 82157
2580.29/2588.08 c #Conflicts: 1226000 | #Constraints: 83700
2580.29/2588.08 c #Conflicts: 1227000 | #Constraints: 85253
2580.29/2588.08 c #Conflicts: 1228000 | #Constraints: 86817
2580.29/2588.08 c #Conflicts: 1229000 | #Constraints: 88387
2580.29/2588.08 c #Conflicts: 1230000 | #Constraints: 89916
2580.29/2588.08 c #Conflicts: 1231000 | #Constraints: 91445
2580.29/2588.08 c #Conflicts: 1232000 | #Constraints: 92930
2580.29/2588.08 c #Conflicts: 1233000 | #Constraints: 94466
2580.29/2588.08 c #Conflicts: 1234000 | #Constraints: 95964
2580.29/2588.08 c INPROCESSING
2580.29/2588.08 c GARBAGE COLLECT
2580.29/2588.08 c #Conflicts: 1235000 | #Constraints: 64237
2580.29/2588.08 c #Conflicts: 1236000 | #Constraints: 65737
2580.29/2588.08 c #Conflicts: 1237000 | #Constraints: 67233
2580.29/2588.08 c #Conflicts: 1238000 | #Constraints: 68704
2580.29/2588.08 c #Conflicts: 1239000 | #Constraints: 70231
2580.29/2588.08 c #Conflicts: 1240000 | #Constraints: 71741
2718.71/2726.81 c #Conflicts: 1241000 | #Constraints: 73275
2718.71/2726.81 c #Conflicts: 1242000 | #Constraints: 74823
2718.71/2726.81 c #Conflicts: 1243000 | #Constraints: 76369
2718.71/2726.81 c #Conflicts: 1244000 | #Constraints: 77933
2718.71/2726.81 c #Conflicts: 1245000 | #Constraints: 79442
2718.71/2726.81 c #Conflicts: 1246000 | #Constraints: 80947
2718.71/2726.81 c #Conflicts: 1247000 | #Constraints: 82470
2718.71/2726.81 c #Conflicts: 1248000 | #Constraints: 84035
2718.71/2726.81 c #Conflicts: 1249000 | #Constraints: 85569
2718.71/2726.81 c #Conflicts: 1250000 | #Constraints: 87067
2718.71/2726.81 c #Conflicts: 1251000 | #Constraints: 88588
2718.71/2726.81 c #Conflicts: 1252000 | #Constraints: 90097
2718.71/2726.81 c #Conflicts: 1253000 | #Constraints: 91599
2718.71/2726.81 c #Conflicts: 1254000 | #Constraints: 93082
2718.71/2726.81 c #Conflicts: 1255000 | #Constraints: 94585
2718.71/2726.81 c #Conflicts: 1256000 | #Constraints: 96157
2718.71/2726.81 c INPROCESSING
2718.71/2726.81 c GARBAGE COLLECT
2718.71/2726.81 c #Conflicts: 1257000 | #Constraints: 64068
2718.71/2726.81 c #Conflicts: 1258000 | #Constraints: 65607
2718.71/2726.81 c #Conflicts: 1259000 | #Constraints: 67108
2718.71/2726.81 c #Conflicts: 1260000 | #Constraints: 68613
2718.71/2726.81 c #Conflicts: 1261000 | #Constraints: 70195
2718.71/2726.81 c #Conflicts: 1262000 | #Constraints: 71693
2718.71/2726.81 c #Conflicts: 1263000 | #Constraints: 73184
2718.71/2726.81 c #Conflicts: 1264000 | #Constraints: 74673
2718.71/2726.81 c #Conflicts: 1265000 | #Constraints: 76189
2718.71/2726.81 c #Conflicts: 1266000 | #Constraints: 77776
2718.71/2726.81 c #Conflicts: 1267000 | #Constraints: 79405
2718.71/2726.81 c #Conflicts: 1268000 | #Constraints: 80974
2718.71/2726.81 c #Conflicts: 1269000 | #Constraints: 82552
2718.71/2726.81 c #Conflicts: 1270000 | #Constraints: 84074
2718.71/2726.81 c #Conflicts: 1271000 | #Constraints: 85613
2718.71/2726.81 c #Conflicts: 1272000 | #Constraints: 87163
2718.71/2726.81 c #Conflicts: 1273000 | #Constraints: 88643
2718.71/2726.81 c #Conflicts: 1274000 | #Constraints: 90141
2718.71/2726.81 c #Conflicts: 1275000 | #Constraints: 91626
2718.71/2726.81 c #Conflicts: 1276000 | #Constraints: 93150
2718.71/2726.81 c #Conflicts: 1277000 | #Constraints: 94664
2718.71/2726.81 c #Conflicts: 1278000 | #Constraints: 96223
2718.71/2726.81 c #Conflicts: 1279000 | #Constraints: 97755
2718.71/2726.81 c INPROCESSING
2718.71/2726.81 c GARBAGE COLLECT
2718.71/2726.81 c #Conflicts: 1280000 | #Constraints: 65110
2718.71/2726.81 c #Conflicts: 1281000 | #Constraints: 66639
2718.71/2726.81 c #Conflicts: 1282000 | #Constraints: 68121
2718.71/2726.81 c #Conflicts: 1283000 | #Constraints: 69623
2718.71/2726.81 c #Conflicts: 1284000 | #Constraints: 71134
2718.71/2726.81 c #Conflicts: 1285000 | #Constraints: 72648
2718.71/2726.81 c #Conflicts: 1286000 | #Constraints: 74162
2718.71/2726.81 c #Conflicts: 1287000 | #Constraints: 75687
2718.71/2726.81 c #Conflicts: 1288000 | #Constraints: 77188
2718.71/2726.81 c #Conflicts: 1289000 | #Constraints: 78713
2718.71/2726.81 c #Conflicts: 1290000 | #Constraints: 80220
2718.71/2726.81 c #Conflicts: 1291000 | #Constraints: 81810
2718.71/2726.81 c #Conflicts: 1292000 | #Constraints: 83375
2718.71/2726.81 c #Conflicts: 1293000 | #Constraints: 84939
2718.71/2726.81 c #Conflicts: 1294000 | #Constraints: 86514
2718.71/2726.81 c #Conflicts: 1295000 | #Constraints: 88051
2718.71/2726.81 c #Conflicts: 1296000 | #Constraints: 89538
2718.71/2726.81 c #Conflicts: 1297000 | #Constraints: 91068
2718.71/2726.81 c #Conflicts: 1298000 | #Constraints: 92561
2718.71/2726.81 c #Conflicts: 1299000 | #Constraints: 94096
2718.71/2726.81 c #Conflicts: 1300000 | #Constraints: 95588
2718.71/2726.81 c #Conflicts: 1301000 | #Constraints: 97091
2718.71/2726.81 c #Conflicts: 1302000 | #Constraints: 98661
2718.71/2726.81 c INPROCESSING
2718.71/2726.81 c GARBAGE COLLECT
2718.71/2726.81 c #Conflicts: 1303000 | #Constraints: 65738
2718.71/2726.81 c #Conflicts: 1304000 | #Constraints: 67276
2718.71/2726.81 c #Conflicts: 1305000 | #Constraints: 68750
2718.71/2726.81 c #Conflicts: 1306000 | #Constraints: 70220
2718.71/2726.81 c #Conflicts: 1307000 | #Constraints: 71729
2718.71/2726.81 c #Conflicts: 1308000 | #Constraints: 73253
2718.71/2726.81 c #Conflicts: 1309000 | #Constraints: 74741
2718.71/2726.81 c #Conflicts: 1310000 | #Constraints: 76247
2718.71/2726.81 c #Conflicts: 1311000 | #Constraints: 77764
2718.71/2726.81 c #Conflicts: 1312000 | #Constraints: 79286
2718.71/2726.81 c #Conflicts: 1313000 | #Constraints: 80806
2718.71/2726.81 c #Conflicts: 1314000 | #Constraints: 82325
2718.71/2726.81 c #Conflicts: 1315000 | #Constraints: 83841
2718.71/2726.81 c #Conflicts: 1316000 | #Constraints: 85332
2718.71/2726.81 c #Conflicts: 1317000 | #Constraints: 86823
2857.33/2865.82 c #Conflicts: 1318000 | #Constraints: 88308
2857.33/2865.82 c #Conflicts: 1319000 | #Constraints: 89788
2857.33/2865.82 c #Conflicts: 1320000 | #Constraints: 91294
2857.33/2865.82 c #Conflicts: 1321000 | #Constraints: 92821
2857.33/2865.82 c #Conflicts: 1322000 | #Constraints: 94327
2857.33/2865.82 c #Conflicts: 1323000 | #Constraints: 95850
2857.33/2865.82 c #Conflicts: 1324000 | #Constraints: 97358
2857.33/2865.82 c #Conflicts: 1325000 | #Constraints: 98905
2857.33/2865.82 c INPROCESSING
2857.33/2865.82 c GARBAGE COLLECT
2857.33/2865.82 c #Conflicts: 1326000 | #Constraints: 65832
2857.33/2865.82 c #Conflicts: 1327000 | #Constraints: 67346
2857.33/2865.82 c #Conflicts: 1328000 | #Constraints: 68853
2857.33/2865.82 c #Conflicts: 1329000 | #Constraints: 70350
2857.33/2865.82 c #Conflicts: 1330000 | #Constraints: 71846
2857.33/2865.82 c #Conflicts: 1331000 | #Constraints: 73356
2857.33/2865.82 c #Conflicts: 1332000 | #Constraints: 74851
2857.33/2865.82 c #Conflicts: 1333000 | #Constraints: 76351
2857.33/2865.82 c #Conflicts: 1334000 | #Constraints: 77884
2857.33/2865.82 c #Conflicts: 1335000 | #Constraints: 79400
2857.33/2865.82 c #Conflicts: 1336000 | #Constraints: 80962
2857.33/2865.82 c #Conflicts: 1337000 | #Constraints: 82526
2857.33/2865.82 c #Conflicts: 1338000 | #Constraints: 84046
2857.33/2865.82 c #Conflicts: 1339000 | #Constraints: 85572
2857.33/2865.82 c #Conflicts: 1340000 | #Constraints: 87097
2857.33/2865.82 c #Conflicts: 1341000 | #Constraints: 88629
2857.33/2865.82 c #Conflicts: 1342000 | #Constraints: 90134
2857.33/2865.82 c #Conflicts: 1343000 | #Constraints: 91635
2857.33/2865.82 c #Conflicts: 1344000 | #Constraints: 93163
2857.33/2865.82 c #Conflicts: 1345000 | #Constraints: 94681
2857.33/2865.82 c #Conflicts: 1346000 | #Constraints: 96208
2857.33/2865.82 c #Conflicts: 1347000 | #Constraints: 97741
2857.33/2865.82 c #Conflicts: 1348000 | #Constraints: 99272
2857.33/2865.82 c INPROCESSING
2857.33/2865.82 c GARBAGE COLLECT
2857.33/2865.82 c #Conflicts: 1349000 | #Constraints: 65897
2857.33/2865.82 c #Conflicts: 1350000 | #Constraints: 67447
2857.33/2865.82 c #Conflicts: 1351000 | #Constraints: 68982
2857.33/2865.82 c #Conflicts: 1352000 | #Constraints: 70530
2857.33/2865.82 c #Conflicts: 1353000 | #Constraints: 72065
2857.33/2865.82 c #Conflicts: 1354000 | #Constraints: 73623
2857.33/2865.82 c #Conflicts: 1355000 | #Constraints: 75213
2857.33/2865.82 c #Conflicts: 1356000 | #Constraints: 76779
2857.33/2865.82 c #Conflicts: 1357000 | #Constraints: 78337
2857.33/2865.82 c #Conflicts: 1358000 | #Constraints: 79896
2857.33/2865.82 c #Conflicts: 1359000 | #Constraints: 81388
2857.33/2865.82 c #Conflicts: 1360000 | #Constraints: 82913
2857.33/2865.82 c #Conflicts: 1361000 | #Constraints: 84420
2857.33/2865.82 c #Conflicts: 1362000 | #Constraints: 85937
2857.33/2865.82 c #Conflicts: 1363000 | #Constraints: 87441
2857.33/2865.82 c #Conflicts: 1364000 | #Constraints: 88987
2857.33/2865.82 c #Conflicts: 1365000 | #Constraints: 90514
2857.33/2865.82 c #Conflicts: 1366000 | #Constraints: 92096
2857.33/2865.82 c #Conflicts: 1367000 | #Constraints: 93677
2857.33/2865.82 c #Conflicts: 1368000 | #Constraints: 95160
2857.33/2865.82 c #Conflicts: 1369000 | #Constraints: 96637
2857.33/2865.82 c #Conflicts: 1370000 | #Constraints: 98158
2857.33/2865.82 c #Conflicts: 1371000 | #Constraints: 99657
2857.33/2865.82 c INPROCESSING
2857.33/2865.82 c GARBAGE COLLECT
2857.33/2865.82 c #Conflicts: 1372000 | #Constraints: 65815
2857.33/2865.82 c #Conflicts: 1373000 | #Constraints: 67347
2857.33/2865.82 c #Conflicts: 1374000 | #Constraints: 68820
2857.33/2865.82 c #Conflicts: 1375000 | #Constraints: 70362
2857.33/2865.82 c #Conflicts: 1376000 | #Constraints: 71899
2857.33/2865.82 c #Conflicts: 1377000 | #Constraints: 73383
2857.33/2865.82 c #Conflicts: 1378000 | #Constraints: 74884
2857.33/2865.82 c #Conflicts: 1379000 | #Constraints: 76423
2857.33/2865.82 c #Conflicts: 1380000 | #Constraints: 77943
2857.33/2865.82 c #Conflicts: 1381000 | #Constraints: 79386
2857.33/2865.82 c #Conflicts: 1382000 | #Constraints: 80938
2857.33/2865.82 c #Conflicts: 1383000 | #Constraints: 82436
2857.33/2865.82 c #Conflicts: 1384000 | #Constraints: 83965
2857.33/2865.82 c #Conflicts: 1385000 | #Constraints: 85458
2857.33/2865.82 c #Conflicts: 1386000 | #Constraints: 86967
2857.33/2865.82 c #Conflicts: 1387000 | #Constraints: 88515
2857.33/2865.82 c #Conflicts: 1388000 | #Constraints: 90018
2857.33/2865.82 c #Conflicts: 1389000 | #Constraints: 91513
2857.33/2865.82 c #Conflicts: 1390000 | #Constraints: 93033
2857.33/2865.82 c #Conflicts: 1391000 | #Constraints: 94559
2857.33/2865.82 c #Conflicts: 1392000 | #Constraints: 96054
2857.33/2865.82 c #Conflicts: 1393000 | #Constraints: 97552
2857.33/2865.82 c #Conflicts: 1394000 | #Constraints: 99032
2991.98/3000.82 c #Conflicts: 1395000 | #Constraints: 100604
2991.98/3000.82 c INPROCESSING
2991.98/3000.82 c GARBAGE COLLECT
2991.98/3000.82 c #Conflicts: 1396000 | #Constraints: 66650
2991.98/3000.82 c #Conflicts: 1397000 | #Constraints: 68154
2991.98/3000.82 c #Conflicts: 1398000 | #Constraints: 69692
2991.98/3000.82 c #Conflicts: 1399000 | #Constraints: 71256
2991.98/3000.82 c #Conflicts: 1400000 | #Constraints: 72881
2991.98/3000.82 c #Conflicts: 1401000 | #Constraints: 74470
2991.98/3000.82 c #Conflicts: 1402000 | #Constraints: 75996
2991.98/3000.82 c #Conflicts: 1403000 | #Constraints: 77563
2991.98/3000.82 c #Conflicts: 1404000 | #Constraints: 79095
2991.98/3000.82 c #Conflicts: 1405000 | #Constraints: 80593
2991.98/3000.82 c #Conflicts: 1406000 | #Constraints: 82078
2991.98/3000.82 c #Conflicts: 1407000 | #Constraints: 83500
2991.98/3000.82 c #Conflicts: 1408000 | #Constraints: 84989
2991.98/3000.82 c #Conflicts: 1409000 | #Constraints: 86543
2991.98/3000.82 c #Conflicts: 1410000 | #Constraints: 88068
2991.98/3000.82 c #Conflicts: 1411000 | #Constraints: 89569
2991.98/3000.82 c #Conflicts: 1412000 | #Constraints: 91119
2991.98/3000.82 c #Conflicts: 1413000 | #Constraints: 92594
2991.98/3000.82 c #Conflicts: 1414000 | #Constraints: 94080
2991.98/3000.82 c #Conflicts: 1415000 | #Constraints: 95546
2991.98/3000.82 c #Conflicts: 1416000 | #Constraints: 97036
2991.98/3000.82 c #Conflicts: 1417000 | #Constraints: 98527
2991.98/3000.82 c #Conflicts: 1418000 | #Constraints: 100038
2991.98/3000.82 c #Conflicts: 1419000 | #Constraints: 101531
2991.98/3000.82 c INPROCESSING
2991.98/3000.82 c GARBAGE COLLECT
2991.98/3000.82 c #Conflicts: 1420000 | #Constraints: 67162
2991.98/3000.82 c #Conflicts: 1421000 | #Constraints: 68638
2991.98/3000.82 c #Conflicts: 1422000 | #Constraints: 70139
2991.98/3000.82 c #Conflicts: 1423000 | #Constraints: 71629
2991.98/3000.82 c #Conflicts: 1424000 | #Constraints: 73109
2991.98/3000.82 c #Conflicts: 1425000 | #Constraints: 74641
2991.98/3000.82 c #Conflicts: 1426000 | #Constraints: 76161
2991.98/3000.82 c #Conflicts: 1427000 | #Constraints: 77671
2991.98/3000.82 c #Conflicts: 1428000 | #Constraints: 79199
2991.98/3000.82 c #Conflicts: 1429000 | #Constraints: 80697
2991.98/3000.82 c #Conflicts: 1430000 | #Constraints: 82169
2991.98/3000.82 c #Conflicts: 1431000 | #Constraints: 83621
2991.98/3000.82 c #Conflicts: 1432000 | #Constraints: 85127
2991.98/3000.82 c #Conflicts: 1433000 | #Constraints: 86611
2991.98/3000.82 c #Conflicts: 1434000 | #Constraints: 88170
2991.98/3000.82 c #Conflicts: 1435000 | #Constraints: 89694
2991.98/3000.82 c #Conflicts: 1436000 | #Constraints: 91224
2991.98/3000.82 c #Conflicts: 1437000 | #Constraints: 92745
2991.98/3000.82 c #Conflicts: 1438000 | #Constraints: 94206
2991.98/3000.82 c #Conflicts: 1439000 | #Constraints: 95663
2991.98/3000.82 c #Conflicts: 1440000 | #Constraints: 97193
2991.98/3000.82 c #Conflicts: 1441000 | #Constraints: 98716
2991.98/3000.82 c #Conflicts: 1442000 | #Constraints: 100216
2991.98/3000.82 c #Conflicts: 1443000 | #Constraints: 101677
2991.98/3000.82 c INPROCESSING
2991.98/3000.82 c GARBAGE COLLECT
2991.98/3000.82 c #Conflicts: 1444000 | #Constraints: 67243
2991.98/3000.82 c #Conflicts: 1445000 | #Constraints: 68740
2991.98/3000.82 c #Conflicts: 1446000 | #Constraints: 70228
2991.98/3000.82 c #Conflicts: 1447000 | #Constraints: 71722
2991.98/3000.82 c #Conflicts: 1448000 | #Constraints: 73212
2991.98/3000.82 c #Conflicts: 1449000 | #Constraints: 74722
2991.98/3000.82 c #Conflicts: 1450000 | #Constraints: 76225
2991.98/3000.82 c #Conflicts: 1451000 | #Constraints: 77743
2991.98/3000.82 c #Conflicts: 1452000 | #Constraints: 79249
2991.98/3000.82 c #Conflicts: 1453000 | #Constraints: 80747
2991.98/3000.82 c #Conflicts: 1454000 | #Constraints: 82245
2991.98/3000.82 c #Conflicts: 1455000 | #Constraints: 83760
2991.98/3000.82 c #Conflicts: 1456000 | #Constraints: 85263
2991.98/3000.82 c #Conflicts: 1457000 | #Constraints: 86756
2991.98/3000.82 c #Conflicts: 1458000 | #Constraints: 88246
2991.98/3000.82 c #Conflicts: 1459000 | #Constraints: 89727
2991.98/3000.82 c #Conflicts: 1460000 | #Constraints: 91258
2991.98/3000.82 c #Conflicts: 1461000 | #Constraints: 92776
2991.98/3000.82 c #Conflicts: 1462000 | #Constraints: 94296
2991.98/3000.82 c #Conflicts: 1463000 | #Constraints: 95818
2991.98/3000.82 c #Conflicts: 1464000 | #Constraints: 97386
2991.98/3000.82 c #Conflicts: 1465000 | #Constraints: 98915
2991.98/3000.82 c #Conflicts: 1466000 | #Constraints: 100435
2991.98/3000.82 c #Conflicts: 1467000 | #Constraints: 101940
2991.98/3000.82 c INPROCESSING
2991.98/3000.82 c GARBAGE COLLECT
2991.98/3000.82 c #Conflicts: 1468000 | #Constraints: 67228
2991.98/3000.82 c #Conflicts: 1469000 | #Constraints: 68739
2991.98/3000.82 c #Conflicts: 1470000 | #Constraints: 70238
3129.26/3138.57 c #Conflicts: 1471000 | #Constraints: 71757
3129.26/3138.57 c #Conflicts: 1472000 | #Constraints: 73285
3129.26/3138.57 c #Conflicts: 1473000 | #Constraints: 74814
3129.26/3138.57 c #Conflicts: 1474000 | #Constraints: 76336
3129.26/3138.57 c #Conflicts: 1475000 | #Constraints: 77844
3129.26/3138.57 c #Conflicts: 1476000 | #Constraints: 79367
3129.26/3138.57 c #Conflicts: 1477000 | #Constraints: 80875
3129.26/3138.57 c #Conflicts: 1478000 | #Constraints: 82386
3129.26/3138.57 c #Conflicts: 1479000 | #Constraints: 83875
3129.26/3138.57 c #Conflicts: 1480000 | #Constraints: 85393
3129.26/3138.57 c #Conflicts: 1481000 | #Constraints: 86901
3129.26/3138.57 c #Conflicts: 1482000 | #Constraints: 88436
3129.26/3138.57 c #Conflicts: 1483000 | #Constraints: 89927
3129.26/3138.57 c #Conflicts: 1484000 | #Constraints: 91450
3129.26/3138.57 c #Conflicts: 1485000 | #Constraints: 92928
3129.26/3138.57 c #Conflicts: 1486000 | #Constraints: 94464
3129.26/3138.57 c #Conflicts: 1487000 | #Constraints: 95939
3129.26/3138.57 c #Conflicts: 1488000 | #Constraints: 97422
3129.26/3138.57 c #Conflicts: 1489000 | #Constraints: 98980
3129.26/3138.57 c #Conflicts: 1490000 | #Constraints: 100472
3129.26/3138.57 c #Conflicts: 1491000 | #Constraints: 101989
3129.26/3138.57 c INPROCESSING
3129.26/3138.57 c GARBAGE COLLECT
3129.26/3138.57 c #Conflicts: 1492000 | #Constraints: 66942
3129.26/3138.57 c #Conflicts: 1493000 | #Constraints: 68497
3129.26/3138.57 c #Conflicts: 1494000 | #Constraints: 69960
3129.26/3138.57 c #Conflicts: 1495000 | #Constraints: 71582
3129.26/3138.57 c #Conflicts: 1496000 | #Constraints: 73197
3129.26/3138.57 c #Conflicts: 1497000 | #Constraints: 74697
3129.26/3138.57 c #Conflicts: 1498000 | #Constraints: 76197
3129.26/3138.57 c #Conflicts: 1499000 | #Constraints: 77706
3129.26/3138.57 c #Conflicts: 1500000 | #Constraints: 79232
3129.26/3138.57 c #Conflicts: 1501000 | #Constraints: 80740
3129.26/3138.57 c #Conflicts: 1502000 | #Constraints: 82250
3129.26/3138.57 c #Conflicts: 1503000 | #Constraints: 83772
3129.26/3138.57 c #Conflicts: 1504000 | #Constraints: 85300
3129.26/3138.57 c #Conflicts: 1505000 | #Constraints: 86830
3129.26/3138.57 c #Conflicts: 1506000 | #Constraints: 88315
3129.26/3138.57 c #Conflicts: 1507000 | #Constraints: 89836
3129.26/3138.57 c #Conflicts: 1508000 | #Constraints: 91358
3129.26/3138.57 c #Conflicts: 1509000 | #Constraints: 92868
3129.26/3138.57 c #Conflicts: 1510000 | #Constraints: 94375
3129.26/3138.57 c #Conflicts: 1511000 | #Constraints: 95938
3129.26/3138.57 c #Conflicts: 1512000 | #Constraints: 97431
3129.26/3138.57 c #Conflicts: 1513000 | #Constraints: 98948
3129.26/3138.57 c #Conflicts: 1514000 | #Constraints: 100445
3129.26/3138.57 c #Conflicts: 1515000 | #Constraints: 101943
3129.26/3138.57 c #Conflicts: 1516000 | #Constraints: 103460
3129.26/3138.57 c INPROCESSING
3129.26/3138.57 c GARBAGE COLLECT
3129.26/3138.57 c #Conflicts: 1517000 | #Constraints: 67989
3129.26/3138.57 c #Conflicts: 1518000 | #Constraints: 69534
3129.26/3138.57 c #Conflicts: 1519000 | #Constraints: 71048
3129.26/3138.57 c #Conflicts: 1520000 | #Constraints: 72602
3129.26/3138.57 c #Conflicts: 1521000 | #Constraints: 74103
3129.26/3138.57 c #Conflicts: 1522000 | #Constraints: 75633
3129.26/3138.57 c #Conflicts: 1523000 | #Constraints: 77123
3129.26/3138.57 c #Conflicts: 1524000 | #Constraints: 78573
3129.26/3138.57 c #Conflicts: 1525000 | #Constraints: 80041
3129.26/3138.57 c #Conflicts: 1526000 | #Constraints: 81537
3129.26/3138.57 c #Conflicts: 1527000 | #Constraints: 83038
3129.26/3138.57 c #Conflicts: 1528000 | #Constraints: 84584
3129.26/3138.57 c #Conflicts: 1529000 | #Constraints: 86142
3129.26/3138.57 c #Conflicts: 1530000 | #Constraints: 87628
3129.26/3138.57 c #Conflicts: 1531000 | #Constraints: 89192
3129.26/3138.57 c #Conflicts: 1532000 | #Constraints: 90695
3129.26/3138.57 c #Conflicts: 1533000 | #Constraints: 92192
3129.26/3138.57 c #Conflicts: 1534000 | #Constraints: 93697
3129.26/3138.57 c #Conflicts: 1535000 | #Constraints: 95202
3129.26/3138.57 c #Conflicts: 1536000 | #Constraints: 96706
3129.26/3138.57 c #Conflicts: 1537000 | #Constraints: 98182
3129.26/3138.57 c #Conflicts: 1538000 | #Constraints: 99705
3129.26/3138.57 c #Conflicts: 1539000 | #Constraints: 101193
3129.26/3138.57 c #Conflicts: 1540000 | #Constraints: 102738
3129.26/3138.57 c #Conflicts: 1541000 | #Constraints: 104310
3129.26/3138.57 c INPROCESSING
3129.26/3138.57 c GARBAGE COLLECT
3129.26/3138.57 c #Conflicts: 1542000 | #Constraints: 68553
3129.26/3138.57 c #Conflicts: 1543000 | #Constraints: 70033
3129.26/3138.57 c #Conflicts: 1544000 | #Constraints: 71522
3129.26/3138.57 c #Conflicts: 1545000 | #Constraints: 73021
3129.26/3138.57 c #Conflicts: 1546000 | #Constraints: 74517
3129.26/3138.57 c #Conflicts: 1547000 | #Constraints: 76017
3268.79/3278.58 c #Conflicts: 1548000 | #Constraints: 77537
3268.79/3278.58 c #Conflicts: 1549000 | #Constraints: 79016
3268.79/3278.58 c #Conflicts: 1550000 | #Constraints: 80500
3268.79/3278.58 c #Conflicts: 1551000 | #Constraints: 82000
3268.79/3278.58 c #Conflicts: 1552000 | #Constraints: 83492
3268.79/3278.58 c #Conflicts: 1553000 | #Constraints: 84992
3268.79/3278.58 c #Conflicts: 1554000 | #Constraints: 86486
3268.79/3278.58 c #Conflicts: 1555000 | #Constraints: 87970
3268.79/3278.58 c #Conflicts: 1556000 | #Constraints: 89444
3268.79/3278.58 c #Conflicts: 1557000 | #Constraints: 90904
3268.79/3278.58 c #Conflicts: 1558000 | #Constraints: 92377
3268.79/3278.58 c #Conflicts: 1559000 | #Constraints: 93851
3268.79/3278.58 c #Conflicts: 1560000 | #Constraints: 95324
3268.79/3278.58 c #Conflicts: 1561000 | #Constraints: 96786
3268.79/3278.58 c #Conflicts: 1562000 | #Constraints: 98260
3268.79/3278.58 c #Conflicts: 1563000 | #Constraints: 99738
3268.79/3278.58 c #Conflicts: 1564000 | #Constraints: 101218
3268.79/3278.58 c #Conflicts: 1565000 | #Constraints: 102814
3268.79/3278.58 c #Conflicts: 1566000 | #Constraints: 104357
3268.79/3278.58 c INPROCESSING
3268.79/3278.58 c GARBAGE COLLECT
3268.79/3278.58 c #Conflicts: 1567000 | #Constraints: 68574
3268.79/3278.58 c #Conflicts: 1568000 | #Constraints: 70059
3268.79/3278.58 c #Conflicts: 1569000 | #Constraints: 71535
3268.79/3278.58 c #Conflicts: 1570000 | #Constraints: 73009
3268.79/3278.58 c #Conflicts: 1571000 | #Constraints: 74484
3268.79/3278.58 c #Conflicts: 1572000 | #Constraints: 75952
3268.79/3278.58 c #Conflicts: 1573000 | #Constraints: 77430
3268.79/3278.58 c #Conflicts: 1574000 | #Constraints: 78925
3268.79/3278.58 c #Conflicts: 1575000 | #Constraints: 80415
3268.79/3278.58 c #Conflicts: 1576000 | #Constraints: 81916
3268.79/3278.58 c #Conflicts: 1577000 | #Constraints: 83413
3268.79/3278.58 c #Conflicts: 1578000 | #Constraints: 84884
3268.79/3278.58 c #Conflicts: 1579000 | #Constraints: 86388
3268.79/3278.58 c #Conflicts: 1580000 | #Constraints: 87871
3268.79/3278.58 c #Conflicts: 1581000 | #Constraints: 89378
3268.79/3278.58 c #Conflicts: 1582000 | #Constraints: 90892
3268.79/3278.58 c #Conflicts: 1583000 | #Constraints: 92437
3268.79/3278.58 c #Conflicts: 1584000 | #Constraints: 93905
3268.79/3278.58 c #Conflicts: 1585000 | #Constraints: 95390
3268.79/3278.58 c #Conflicts: 1586000 | #Constraints: 96892
3268.79/3278.58 c #Conflicts: 1587000 | #Constraints: 98401
3268.79/3278.58 c #Conflicts: 1588000 | #Constraints: 99914
3268.79/3278.58 c #Conflicts: 1589000 | #Constraints: 101411
3268.79/3278.58 c #Conflicts: 1590000 | #Constraints: 102949
3268.79/3278.58 c #Conflicts: 1591000 | #Constraints: 104522
3268.79/3278.58 c INPROCESSING
3268.79/3278.58 c GARBAGE COLLECT
3268.79/3278.58 c #Conflicts: 1592000 | #Constraints: 68510
3268.79/3278.58 c #Conflicts: 1593000 | #Constraints: 69972
3268.79/3278.58 c #Conflicts: 1594000 | #Constraints: 71445
3268.79/3278.58 c #Conflicts: 1595000 | #Constraints: 72938
3268.79/3278.58 c #Conflicts: 1596000 | #Constraints: 74452
3268.79/3278.58 c #Conflicts: 1597000 | #Constraints: 75949
3268.79/3278.58 c #Conflicts: 1598000 | #Constraints: 77478
3268.79/3278.58 c #Conflicts: 1599000 | #Constraints: 79000
3268.79/3278.58 c #Conflicts: 1600000 | #Constraints: 80522
3268.79/3278.58 c #Conflicts: 1601000 | #Constraints: 82034
3268.79/3278.58 c #Conflicts: 1602000 | #Constraints: 83536
3268.79/3278.58 c #Conflicts: 1603000 | #Constraints: 85053
3268.79/3278.58 c #Conflicts: 1604000 | #Constraints: 86600
3268.79/3278.58 c #Conflicts: 1605000 | #Constraints: 88123
3268.79/3278.58 c #Conflicts: 1606000 | #Constraints: 89673
3268.79/3278.58 c #Conflicts: 1607000 | #Constraints: 91223
3268.79/3278.58 c #Conflicts: 1608000 | #Constraints: 92764
3268.79/3278.58 c #Conflicts: 1609000 | #Constraints: 94356
3268.79/3278.58 c #Conflicts: 1610000 | #Constraints: 95925
3268.79/3278.58 c #Conflicts: 1611000 | #Constraints: 97451
3268.79/3278.58 c #Conflicts: 1612000 | #Constraints: 99005
3268.79/3278.58 c #Conflicts: 1613000 | #Constraints: 100564
3268.79/3278.58 c #Conflicts: 1614000 | #Constraints: 102127
3268.79/3278.58 c #Conflicts: 1615000 | #Constraints: 103694
3268.79/3278.58 c #Conflicts: 1616000 | #Constraints: 105249
3268.79/3278.58 c INPROCESSING
3268.79/3278.58 c GARBAGE COLLECT
3268.79/3278.58 c #Conflicts: 1617000 | #Constraints: 68619
3268.79/3278.58 c #Conflicts: 1618000 | #Constraints: 70207
3268.79/3278.58 c #Conflicts: 1619000 | #Constraints: 71755
3268.79/3278.58 c #Conflicts: 1620000 | #Constraints: 73322
3268.79/3278.58 c #Conflicts: 1621000 | #Constraints: 74862
3268.79/3278.58 c #Conflicts: 1622000 | #Constraints: 76412
3268.79/3278.58 c #Conflicts: 1623000 | #Constraints: 77928
3268.79/3278.58 c #Conflicts: 1624000 | #Constraints: 79422
3405.34/3415.53 c #Conflicts: 1625000 | #Constraints: 80889
3405.34/3415.53 c #Conflicts: 1626000 | #Constraints: 82367
3405.34/3415.53 c #Conflicts: 1627000 | #Constraints: 83835
3405.34/3415.53 c #Conflicts: 1628000 | #Constraints: 85322
3405.34/3415.53 c #Conflicts: 1629000 | #Constraints: 86806
3405.34/3415.53 c #Conflicts: 1630000 | #Constraints: 88284
3405.34/3415.53 c #Conflicts: 1631000 | #Constraints: 89789
3405.34/3415.53 c #Conflicts: 1632000 | #Constraints: 91294
3405.34/3415.53 c #Conflicts: 1633000 | #Constraints: 92797
3405.34/3415.53 c #Conflicts: 1634000 | #Constraints: 94293
3405.34/3415.53 c #Conflicts: 1635000 | #Constraints: 95820
3405.34/3415.53 c #Conflicts: 1636000 | #Constraints: 97334
3405.34/3415.53 c #Conflicts: 1637000 | #Constraints: 98874
3405.34/3415.53 c #Conflicts: 1638000 | #Constraints: 100345
3405.34/3415.53 c #Conflicts: 1639000 | #Constraints: 101822
3405.34/3415.53 c #Conflicts: 1640000 | #Constraints: 103318
3405.34/3415.53 c #Conflicts: 1641000 | #Constraints: 104837
3405.34/3415.53 c #Conflicts: 1642000 | #Constraints: 106362
3405.34/3415.53 c INPROCESSING
3405.34/3415.53 c GARBAGE COLLECT
3405.34/3415.53 c #Conflicts: 1643000 | #Constraints: 69429
3405.34/3415.53 c #Conflicts: 1644000 | #Constraints: 70911
3405.34/3415.53 c #Conflicts: 1645000 | #Constraints: 72442
3405.34/3415.53 c #Conflicts: 1646000 | #Constraints: 73947
3405.34/3415.53 c #Conflicts: 1647000 | #Constraints: 75450
3405.34/3415.53 c #Conflicts: 1648000 | #Constraints: 76947
3405.34/3415.53 c #Conflicts: 1649000 | #Constraints: 78494
3405.34/3415.53 c #Conflicts: 1650000 | #Constraints: 80006
3405.34/3415.53 c #Conflicts: 1651000 | #Constraints: 81522
3405.34/3415.53 c #Conflicts: 1652000 | #Constraints: 83120
3405.34/3415.53 c #Conflicts: 1653000 | #Constraints: 84642
3405.34/3415.53 c #Conflicts: 1654000 | #Constraints: 86164
3405.34/3415.53 c #Conflicts: 1655000 | #Constraints: 87645
3405.34/3415.53 c #Conflicts: 1656000 | #Constraints: 89212
3405.34/3415.53 c #Conflicts: 1657000 | #Constraints: 90716
3405.34/3415.53 c #Conflicts: 1658000 | #Constraints: 92182
3405.34/3415.53 c #Conflicts: 1659000 | #Constraints: 93657
3405.34/3415.53 c #Conflicts: 1660000 | #Constraints: 95130
3405.34/3415.53 c #Conflicts: 1661000 | #Constraints: 96682
3405.34/3415.53 c #Conflicts: 1662000 | #Constraints: 98179
3405.34/3415.53 c #Conflicts: 1663000 | #Constraints: 99671
3405.34/3415.53 c #Conflicts: 1664000 | #Constraints: 101193
3405.34/3415.53 c #Conflicts: 1665000 | #Constraints: 102698
3405.34/3415.53 c #Conflicts: 1666000 | #Constraints: 104192
3405.34/3415.53 c #Conflicts: 1667000 | #Constraints: 105655
3405.34/3415.53 c #Conflicts: 1668000 | #Constraints: 107160
3405.34/3415.53 c INPROCESSING
3405.34/3415.53 c GARBAGE COLLECT
3405.34/3415.53 c #Conflicts: 1669000 | #Constraints: 69946
3405.34/3415.53 c #Conflicts: 1670000 | #Constraints: 71487
3405.34/3415.53 c #Conflicts: 1671000 | #Constraints: 73069
3405.34/3415.53 c #Conflicts: 1672000 | #Constraints: 74599
3405.34/3415.53 c #Conflicts: 1673000 | #Constraints: 76102
3405.34/3415.53 c #Conflicts: 1674000 | #Constraints: 77688
3405.34/3415.53 c #Conflicts: 1675000 | #Constraints: 79246
3405.34/3415.53 c #Conflicts: 1676000 | #Constraints: 80796
3405.34/3415.53 c #Conflicts: 1677000 | #Constraints: 82290
3405.34/3415.53 c #Conflicts: 1678000 | #Constraints: 83761
3405.34/3415.53 c #Conflicts: 1679000 | #Constraints: 85214
3405.34/3415.53 c #Conflicts: 1680000 | #Constraints: 86727
3405.34/3415.53 c #Conflicts: 1681000 | #Constraints: 88270
3405.34/3415.53 c #Conflicts: 1682000 | #Constraints: 89802
3405.34/3415.53 c #Conflicts: 1683000 | #Constraints: 91350
3405.34/3415.53 c #Conflicts: 1684000 | #Constraints: 92894
3405.34/3415.53 c #Conflicts: 1685000 | #Constraints: 94401
3405.34/3415.53 c #Conflicts: 1686000 | #Constraints: 95927
3405.34/3415.53 c #Conflicts: 1687000 | #Constraints: 97465
3405.34/3415.53 c #Conflicts: 1688000 | #Constraints: 98998
3405.34/3415.53 c #Conflicts: 1689000 | #Constraints: 100545
3405.34/3415.53 c #Conflicts: 1690000 | #Constraints: 102093
3405.34/3415.53 c #Conflicts: 1691000 | #Constraints: 103578
3405.34/3415.53 c #Conflicts: 1692000 | #Constraints: 105188
3405.34/3415.53 c #Conflicts: 1693000 | #Constraints: 106670
3405.34/3415.53 c #Conflicts: 1694000 | #Constraints: 108174
3405.34/3415.53 c INPROCESSING
3405.34/3415.53 c GARBAGE COLLECT
3405.34/3415.53 c #Conflicts: 1695000 | #Constraints: 70493
3405.34/3415.53 c #Conflicts: 1696000 | #Constraints: 72031
3405.34/3415.53 c #Conflicts: 1697000 | #Constraints: 73519
3405.34/3415.53 c #Conflicts: 1698000 | #Constraints: 75018
3405.34/3415.53 c #Conflicts: 1699000 | #Constraints: 76505
3405.34/3415.53 c #Conflicts: 1700000 | #Constraints: 78023
3405.34/3415.53 c #Conflicts: 1701000 | #Constraints: 79468
3543.88/3554.52 c #Conflicts: 1702000 | #Constraints: 80958
3543.88/3554.52 c #Conflicts: 1703000 | #Constraints: 82451
3543.88/3554.52 c #Conflicts: 1704000 | #Constraints: 83965
3543.88/3554.52 c #Conflicts: 1705000 | #Constraints: 85482
3543.88/3554.52 c #Conflicts: 1706000 | #Constraints: 86985
3543.88/3554.52 c #Conflicts: 1707000 | #Constraints: 88499
3543.88/3554.52 c #Conflicts: 1708000 | #Constraints: 90015
3543.88/3554.52 c #Conflicts: 1709000 | #Constraints: 91521
3543.88/3554.52 c #Conflicts: 1710000 | #Constraints: 93061
3543.88/3554.52 c #Conflicts: 1711000 | #Constraints: 94546
3543.88/3554.52 c #Conflicts: 1712000 | #Constraints: 96132
3543.88/3554.52 c #Conflicts: 1713000 | #Constraints: 97677
3543.88/3554.52 c #Conflicts: 1714000 | #Constraints: 99185
3543.88/3554.52 c #Conflicts: 1715000 | #Constraints: 100695
3543.88/3554.52 c #Conflicts: 1716000 | #Constraints: 102187
3543.88/3554.52 c #Conflicts: 1717000 | #Constraints: 103715
3543.88/3554.52 c #Conflicts: 1718000 | #Constraints: 105215
3543.88/3554.52 c #Conflicts: 1719000 | #Constraints: 106723
3543.88/3554.52 c #Conflicts: 1720000 | #Constraints: 108217
3543.88/3554.52 c INPROCESSING
3543.88/3554.52 c GARBAGE COLLECT
3543.88/3554.52 c #Conflicts: 1721000 | #Constraints: 70381
3543.88/3554.52 c #Conflicts: 1722000 | #Constraints: 71963
3543.88/3554.52 c #Conflicts: 1723000 | #Constraints: 73515
3543.88/3554.52 c #Conflicts: 1724000 | #Constraints: 74990
3543.88/3554.52 c #Conflicts: 1725000 | #Constraints: 76491
3543.88/3554.52 c #Conflicts: 1726000 | #Constraints: 77995
3543.88/3554.52 c #Conflicts: 1727000 | #Constraints: 79495
3543.88/3554.52 c #Conflicts: 1728000 | #Constraints: 81007
3543.88/3554.52 c #Conflicts: 1729000 | #Constraints: 82499
3543.88/3554.52 c #Conflicts: 1730000 | #Constraints: 83997
3543.88/3554.52 c #Conflicts: 1731000 | #Constraints: 85534
3543.88/3554.52 c #Conflicts: 1732000 | #Constraints: 87105
3543.88/3554.52 c #Conflicts: 1733000 | #Constraints: 88683
3543.88/3554.52 c #Conflicts: 1734000 | #Constraints: 90232
3543.88/3554.52 c #Conflicts: 1735000 | #Constraints: 91831
3543.88/3554.52 c #Conflicts: 1736000 | #Constraints: 93376
3543.88/3554.52 c #Conflicts: 1737000 | #Constraints: 94902
3543.88/3554.52 c #Conflicts: 1738000 | #Constraints: 96423
3543.88/3554.52 c #Conflicts: 1739000 | #Constraints: 97960
3543.88/3554.52 c #Conflicts: 1740000 | #Constraints: 99544
3543.88/3554.52 c #Conflicts: 1741000 | #Constraints: 101106
3543.88/3554.52 c #Conflicts: 1742000 | #Constraints: 102669
3543.88/3554.52 c #Conflicts: 1743000 | #Constraints: 104185
3543.88/3554.52 c #Conflicts: 1744000 | #Constraints: 105691
3543.88/3554.52 c #Conflicts: 1745000 | #Constraints: 107170
3543.88/3554.52 c #Conflicts: 1746000 | #Constraints: 108711
3543.88/3554.52 c INPROCESSING
3543.88/3554.52 c GARBAGE COLLECT
3543.88/3554.52 c #Conflicts: 1747000 | #Constraints: 70285
3543.88/3554.52 c #Conflicts: 1748000 | #Constraints: 71746
3543.88/3554.52 c #Conflicts: 1749000 | #Constraints: 73235
3543.88/3554.52 c #Conflicts: 1750000 | #Constraints: 74718
3543.88/3554.52 c #Conflicts: 1751000 | #Constraints: 76209
3543.88/3554.52 c #Conflicts: 1752000 | #Constraints: 77713
3543.88/3554.52 c #Conflicts: 1753000 | #Constraints: 79227
3543.88/3554.52 c #Conflicts: 1754000 | #Constraints: 80753
3543.88/3554.52 c #Conflicts: 1755000 | #Constraints: 82279
3543.88/3554.52 c #Conflicts: 1756000 | #Constraints: 83794
3543.88/3554.52 c #Conflicts: 1757000 | #Constraints: 85288
3543.88/3554.52 c #Conflicts: 1758000 | #Constraints: 86768
3543.88/3554.52 c #Conflicts: 1759000 | #Constraints: 88333
3543.88/3554.52 c #Conflicts: 1760000 | #Constraints: 89860
3543.88/3554.52 c #Conflicts: 1761000 | #Constraints: 91445
3543.88/3554.52 c #Conflicts: 1762000 | #Constraints: 93023
3543.88/3554.52 c #Conflicts: 1763000 | #Constraints: 94546
3543.88/3554.52 c #Conflicts: 1764000 | #Constraints: 96029
3543.88/3554.52 c #Conflicts: 1765000 | #Constraints: 97535
3543.88/3554.52 c #Conflicts: 1766000 | #Constraints: 99037
3543.88/3554.52 c #Conflicts: 1767000 | #Constraints: 100529
3543.88/3554.52 c #Conflicts: 1768000 | #Constraints: 102060
3543.88/3554.52 c #Conflicts: 1769000 | #Constraints: 103566
3543.88/3554.52 c #Conflicts: 1770000 | #Constraints: 105146
3543.88/3554.52 c #Conflicts: 1771000 | #Constraints: 106657
3543.88/3554.52 c #Conflicts: 1772000 | #Constraints: 108182
3543.88/3554.52 c #Conflicts: 1773000 | #Constraints: 109658
3543.88/3554.52 c INPROCESSING
3543.88/3554.52 c GARBAGE COLLECT
3543.88/3554.52 c #Conflicts: 1774000 | #Constraints: 71091
3543.88/3554.52 c #Conflicts: 1775000 | #Constraints: 72603
3543.88/3554.52 c #Conflicts: 1776000 | #Constraints: 74109
3543.88/3554.52 c #Conflicts: 1777000 | #Constraints: 75604
3543.88/3554.52 c #Conflicts: 1778000 | #Constraints: 77096
3600.00/3610.80 c #Conflicts: 1779000 | #Constraints: 78631
3600.00/3610.80 c #Conflicts: 1780000 | #Constraints: 80149
3600.00/3610.80 c #Conflicts: 1781000 | #Constraints: 81643
3600.00/3610.80 c #Conflicts: 1782000 | #Constraints: 83139
3600.00/3610.80 c #Conflicts: 1783000 | #Constraints: 84693
3600.00/3610.80 c #Conflicts: 1784000 | #Constraints: 86197
3600.00/3610.80 c #Conflicts: 1785000 | #Constraints: 87709
3600.00/3610.80 c #Conflicts: 1786000 | #Constraints: 89189
3600.00/3610.80 c #Conflicts: 1787000 | #Constraints: 90663
3600.00/3610.80 c #Conflicts: 1788000 | #Constraints: 92149
3600.00/3610.80 c #Conflicts: 1789000 | #Constraints: 93698
3600.00/3610.80 c #Conflicts: 1790000 | #Constraints: 95234
3600.00/3610.80 c #Conflicts: 1791000 | #Constraints: 96746
3600.00/3610.80 c #Conflicts: 1792000 | #Constraints: 98254
3600.00/3610.80 c #Conflicts: 1793000 | #Constraints: 99782
3600.00/3610.80 c #Conflicts: 1794000 | #Constraints: 101325
3600.00/3610.80 c #Conflicts: 1795000 | #Constraints: 102776
3600.00/3610.80 c #Conflicts: 1796000 | #Constraints: 104239
3600.00/3610.80 c #Conflicts: 1797000 | #Constraints: 105758
3600.00/3610.80 c #Conflicts: 1798000 | #Constraints: 107290
3600.00/3610.80 c #Conflicts: 1799000 | #Constraints: 108808
3600.00/3610.80 c #Conflicts: 1800000 | #Constraints: 110310
3600.00/3610.80 c INPROCESSING
3600.00/3610.80 c GARBAGE COLLECT
3600.00/3610.80 c #Conflicts: 1801000 | #Constraints: 71537
3600.00/3610.80 c #Conflicts: 1802000 | #Constraints: 73021
3600.00/3610.80 c #Conflicts: 1803000 | #Constraints: 74527
3600.00/3610.80 c #Conflicts: 1804000 | #Constraints: 76056
3600.00/3610.80 c #Conflicts: 1805000 | #Constraints: 77654
3600.00/3610.80 c #Conflicts: 1806000 | #Constraints: 79229
3600.00/3610.80 c #Conflicts: 1807000 | #Constraints: 80789
3600.00/3610.80 c #Conflicts: 1808000 | #Constraints: 82348
3600.00/3610.80 c #Conflicts: 1809000 | #Constraints: 83884
3600.00/3610.80 c Disabling crashed LP
3600.00/3610.80 c cpu time 3576.1 s
3600.00/3610.80 c deterministic time 10588727134 1.06e+10
3600.00/3610.80 c optimization time 16.8215 s
3600.00/3610.80 c total solve time 3558.99 s
3600.00/3610.80 c core-guided solve time 0 s
3600.00/3610.80 c propagation time 3281.17 s
3600.00/3610.80 c conflict analysis time 50.1242 s
3600.00/3610.80 c propagations 80583730
3600.00/3610.80 c resolve steps 17660752
3600.00/3610.80 c decisions 3228858
3600.00/3610.80 c conflicts 1809257
3600.00/3610.80 c restarts 3527
3600.00/3610.80 c inprocessing phases 125
3600.00/3610.80 c garbage collections 124 ,( 99.20 )
3600.00/3610.80 c input clauses 28425 ,( 95.96 )
3600.00/3610.80 c input cardinalities 301 ,( 1.02 )
3600.00/3610.80 c input general constraints 896 ,( 3.02 )
3600.00/3610.80 c input average constraint length 3.52
3600.00/3610.80 c input average constraint degree 1.54
3600.00/3610.80 c learned clauses 1382231 ,( 52.41 )
3600.00/3610.80 c learned cardinalities 128926 ,( 4.89 )
3600.00/3610.80 c learned general constraints 1126347 ,( 42.71 )
3600.00/3610.80 c learned average constraint length 94.09
3600.00/3610.80 c learned average constraint degree 1258938132.06
3600.00/3610.80 c watched CF 32, 64, 128, Arb: 301605 , 0 , 0 , 0
3600.00/3610.80 c counting CF 32, 64, 128, Arb: 825639 , 0 , 0 , 0
3600.00/3610.80 c watched constraints 301605 ,( 26.76 )
3600.00/3610.80 c counting constraints 825638 ,( 73.24 )
3600.00/3610.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 459352824 , 589054714 , 140375182 ,( 140175790 , 199392 )
3600.00/3610.80 c gcd simplifications 15786
3600.00/3610.80 c detected cardinalities 9508
3600.00/3610.80 c weakened non-implied lits 9629804
3600.00/3610.80 c weakened non-implying lits 614
3600.00/3610.80 c original variables 9632
3600.00/3610.80 c clausal propagations 70228012
3600.00/3610.80 c cardinality propagations 7202147
3600.00/3610.80 c watched propagations 1078894
3600.00/3610.80 c counting propagations 60450
3600.00/3610.80 c watch lookups 3328917878
3600.00/3610.80 c watch backjump lookups 0
3600.00/3610.80 c watch checks 5978260316
3600.00/3610.80 c propagation checks 782411733
3600.00/3610.80 c constraint additions 329255029
3600.00/3610.80 c trail pops 85617527
3600.00/3610.80 c formula constraints 29620
3600.00/3610.80 c learned constraints 1809257
3600.00/3610.80 c bound constraints 0
3600.00/3610.80 c core-guided constraints 0
3600.00/3610.80 c encountered formula constraints 13512507
3600.00/3610.80 c encountered learned constraints 5824558
3600.00/3610.80 c encountered bound constraints 0
3600.00/3610.80 c encountered core-guided constraints 0
3600.00/3610.80 c LP total time 3321.16 s
3600.00/3610.80 c LP solve time 2334.33 s
3600.00/3610.80 c LP constraints added 30483
3600.00/3610.80 c LP constraints removed 705
3600.00/3610.80 c LP pivots internal 196848
3600.00/3610.80 c LP pivots root 255214
3600.00/3610.80 c LP calls 827665
3600.00/3610.80 c LP optimalities 14
3600.00/3610.80 c LP no pivot count 3
3600.00/3610.80 c LP infeasibilities 827644
3600.00/3610.80 c LP valid Farkas constraints 827644
3600.00/3610.80 c LP learned Farkas constraints 0
3600.00/3610.80 c LP basis resets 0
3600.00/3610.80 c LP cycling count 0
3600.00/3610.80 c LP singular count 0
3600.00/3610.80 c LP no primal count 0
3600.00/3610.80 c LP no farkas count 0
3600.00/3610.80 c LP other issue count 0
3600.00/3610.80 c LP Gomory cuts 603
3600.00/3610.80 c LP learned cuts 260
3600.00/3610.80 c LP deleted cuts 705
3600.00/3610.80 c LP encountered Gomory constraints 132944
3600.00/3610.80 c LP encountered Farkas constraints 0
3600.00/3610.80 c LP encountered learned Farkas constraints 0
3600.00/3610.80 c CG auxiliary variables introduced 3
3600.00/3610.80 c CG solutions found 0
3600.00/3610.80 c CG cores constructed 2
3600.00/3610.80 c CG core cardinality constraints returned 0
3600.00/3610.80 c CG unit cores 0
3600.00/3610.80 c CG single cores 0
3600.00/3610.80 c CG blocks removed during cardinality reduction 0
3600.00/3610.80 c CG first core best 0
3600.00/3610.80 c CG decision core best 0
3600.00/3610.80 c CG core reduction tie 0
3600.00/3610.80 c CG core degree average 0.00
3600.00/3610.80 c CG core slack average 0.00
3600.00/3610.80 c CG core upper bound improvements 0
3600.00/3610.80 c STR number of successful calls 0
3600.00/3610.80 c STR number of unsuccessful calls 0
3600.00/3610.80 c STR number of inconclusive calls 0
3600.00/3610.80 c STR number of successful attempts 0
3600.00/3610.80 c STR number of unsuccessful attempts 0
3600.00/3610.80 c STR number of inconclusive attempts 0
3600.00/3610.80 c STR average degree increase per successful call inf
3600.00/3610.80 c STR average degree increase per successful attempt inf
3600.00/3610.80 c STR total number of conflicts for successful attempts 0
3600.00/3610.80 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3610.80 c STR total number of conflicts for inconclusive attempts 0
3600.00/3610.80 c STR average number of conflicts per successful attempt inf
3600.00/3610.80 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3610.80 c STR average number of conflicts per inconclusive attempt inf
3600.00/3610.80 c AVG.sumWPerc 37.24
3600.00/3610.80 c bigint constraints 0
3600.00/3610.80 s UNKNOWN
3600.00/3610.80 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: 63837 MiB (60532 MiB free)
memory of node 1: 64465 MiB (63293 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508137-1751510213/watcher-4508137-1751510213 -o /tmp/evaluation-result-4508137-1751510213/solver-4508137-1751510213 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751501401-69614 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4508137-1751510213.opb PROOFDIR/proof-4508137-1751510213
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=70703, runsolver pid=70700
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.16 4.17 4.21 5/258 70705
/proc/meminfo: memFree=126797948/131382120 swapFree=33010160/33010684
[pid=70703] ppid=70700 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70703/stat : 70703 (run-opt-log.sh) S 70700 70703 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66700372 4292608 768 18446744073709551615 94909001949184 94909002843717 140731588867088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94909003082768 94909003130512 94909025873920 140731588872481 140731588872676 140731588872676 140731588878278 0
/proc/70703/statm: 1048 768 704 219 0 110 0
[pid=70705] ppid=70703 vsize=59448 memory=13184 CPUtime=0.08 cores=0,2
/proc/70705/stat : 70705 (roundingsat) R 70703 70703 69604 0 -1 4194304 1547 0 0 0 6 2 0 0 20 0 1 0 66700373 60874752 3296 18446744073709551615 4227072 8923433 140732462314960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20975616 140732462319954 140732462320168 140732462320168 140732462325738 0
/proc/70705/statm: 14862 3296 1984 1147 0 2289 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 63640 KiB
Current children cumulated memory: 16256 KiB
[startup+0.207929 s]*
/proc/loadavg: 4.16 4.17 4.21 5/258 70705
/proc/meminfo: memFree=126796552/131382120 swapFree=33010160/33010684
[pid=70703] ppid=70700 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70703/stat : 70703 (run-opt-log.sh) S 70700 70703 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66700372 4292608 768 18446744073709551615 94909001949184 94909002843717 140731588867088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94909003082768 94909003130512 94909025873920 140731588872481 140731588872676 140731588872676 140731588878278 0
/proc/70703/statm: 1048 768 704 219 0 110 0
[pid=70705] ppid=70703 vsize=60408 memory=14816 CPUtime=0.19 cores=0,2
/proc/70705/stat : 70705 (roundingsat) R 70703 70703 69604 0 -1 4194304 2028 0 0 0 14 5 0 0 20 0 1 0 66700373 61857792 3704 18446744073709551615 4227072 8923433 140732462314960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20975616 140732462319954 140732462320168 140732462320168 140732462325738 0
/proc/70705/statm: 15102 3704 1984 1147 0 2529 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 64600 KiB
Current children cumulated memory: 17888 KiB
[startup+0.307854 s]*
/proc/loadavg: 4.16 4.17 4.21 5/258 70705
/proc/meminfo: memFree=126784140/131382120 swapFree=33010160/33010684
[pid=70703] ppid=70700 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70703/stat : 70703 (run-opt-log.sh) S 70700 70703 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66700372 4292608 768 18446744073709551615 94909001949184 94909002843717 140731588867088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94909003082768 94909003130512 94909025873920 140731588872481 140731588872676 140731588872676 140731588878278 0
/proc/70703/statm: 1048 768 704 219 0 110 0
[pid=70705] ppid=70703 vsize=89916 memory=33740 CPUtime=0.3 cores=0,2
/proc/70705/stat : 70705 (roundingsat) R 70703 70703 69604 0 -1 4194304 4871 0 0 0 23 7 0 0 20 0 1 0 66700373 92073984 8435 18446744073709551615 4227072 8923433 140732462314960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20975616 140732462319954 140732462320168 140732462320168 140732462325738 0
/proc/70705/statm: 22479 8435 2272 1147 0 9906 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 94108 KiB
Current children cumulated memory: 36812 KiB
[startup+0.70039 s]
/proc/loadavg: 4.16 4.17 4.21 5/258 70705
/proc/meminfo: memFree=126759064/131382120 swapFree=33010160/33010684
[pid=70703] ppid=70700 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70703/stat : 70703 (run-opt-log.sh) S 70700 70703 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66700372 4292608 768 18446744073709551615 94909001949184 94909002843717 140731588867088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94909003082768 94909003130512 94909025873920 140731588872481 140731588872676 140731588872676 140731588878278 0
/proc/70703/statm: 1048 768 704 219 0 110 0
[pid=70705] ppid=70703 vsize=106952 memory=55348 CPUtime=0.67 cores=0,2
/proc/70705/stat : 70705 (roundingsat) R 70703 70703 69604 0 -1 4194304 9500 0 0 0 57 10 0 0 20 0 1 0 66700373 109518848 13837 18446744073709551615 4227072 8923433 140732462314960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20975616 140732462319954 140732462320168 140732462320168 140732462325738 0
/proc/70705/statm: 26738 13837 2368 1147 0 14165 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 111144 KiB
Current children cumulated memory: 58420 KiB
[startup+1.50041 s]
/proc/loadavg: 4.16 4.17 4.21 5/258 70705
/proc/meminfo: memFree=126755032/131382120 swapFree=33010160/33010684
[pid=70703] ppid=70700 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70703/stat : 70703 (run-opt-log.sh) S 70700 70703 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66700372 4292608 768 18446744073709551615 94909001949184 94909002843717 140731588867088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94909003082768 94909003130512 94909025873920 140731588872481 140731588872676 140731588872676 140731588878278 0
/proc/70703/statm: 1048 768 704 219 0 110 0
[pid=70705] ppid=70703 vsize=107556 memory=56244 CPUtime=1.46 cores=0,2
/proc/70705/stat : 70705 (roundingsat) R 70703 70703 69604 0 -1 4194304 9714 0 0 0 134 12 0 0 20 0 1 0 66700373 110137344 14061 18446744073709551615 4227072 8923433 140732462314960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20975616 140732462319954 140732462320168 140732462320168 140732462325738 0
/proc/70705/statm: 26889 14061 2400 1147 0 14316 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 111748 KiB
Current children cumulated memory: 59316 KiB
[startup+3.11337 s]
/proc/loadavg: 4.16 4.17 4.21 5/258 70705
/proc/meminfo: memFree=126762908/131382120 swapFree=33010160/33010684
[pid=70703] ppid=70700 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70703/stat : 70703 (run-opt-log.sh) S 70700 70703 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66700372 4292608 768 18446744073709551615 94909001949184 94909002843717 140731588867088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94909003082768 94909003130512 94909025873920 140731588872481 140731588872676 140731588872676 140731588878278 0
/proc/70703/statm: 1048 768 704 219 0 110 0
[pid=70705] ppid=70703 vsize=109548 memory=58676 CPUtime=3.07 cores=0,2
/proc/70705/stat : 70705 (roundingsat) R 70703 70703 69604 0 -1 4194304 10326 0 0 0 292 15 0 0 20 0 1 0 66700373 112177152 14669 18446744073709551615 4227072 8923433 140732462314960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20975616 140732462319954 140732462320168 140732462320168 140732462325738 0
/proc/70705/statm: 27387 14669 2400 1147 0 14814 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 113740 KiB
Current children cumulated memory: 61748 KiB
[startup+6.3004 s]
/proc/loadavg: 4.15 4.17 4.20 5/258 70705
/proc/meminfo: memFree=126768036/131382120 swapFree=33010160/33010684
[pid=70703] ppid=70700 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70703/stat : 70703 (run-opt-log.sh) S 70700 70703 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66700372 4292608 768 18446744073709551615 94909001949184 94909002843717 140731588867088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94909003082768 94909003130512 94909025873920 140731588872481 140731588872676 140731588872676 140731588878278 0
/proc/70703/statm: 1048 768 704 219 0 110 0
[pid=70705] ppid=70703 vsize=113720 memory=64448 CPUtime=6.25 cores=0,2
/proc/70705/stat : 70705 (roundingsat) R 70703 70703 69604 0 -1 4194304 11314 0 0 0 606 19 0 0 20 0 1 0 66700373 116449280 16112 18446744073709551615 4227072 8923433 140732462314960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20975616 140732462319954 140732462320168 140732462320168 140732462325738 0
/proc/70705/statm: 28430 16112 2400 1147 0 15857 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 117912 KiB
Current children cumulated memory: 67520 KiB
[startup+12.7004 s]
/proc/loadavg: 4.14 4.17 4.20 5/258 70705
/proc/meminfo: memFree=126797188/131382120 swapFree=33010160/33010684
[pid=70703] ppid=70700 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70703/stat : 70703 (run-opt-log.sh) S 70700 70703 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66700372 4292608 768 18446744073709551615 94909001949184 94909002843717 140731588867088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94909003082768 94909003130512 94909025873920 140731588872481 140731588872676 140731588872676 140731588878278 0
/proc/70703/statm: 1048 768 704 219 0 110 0
[pid=70705] ppid=70703 vsize=127780 memory=78016 CPUtime=12.64 cores=0,2
/proc/70705/stat : 70705 (roundingsat) R 70703 70703 69604 0 -1 4194304 14870 0 0 0 1236 28 0 0 20 0 1 0 66700373 130846720 19504 18446744073709551615 4227072 8923433 140732462314960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20975616 140732462319954 140732462320168 140732462320168 140732462325738 0
/proc/70705/statm: 31945 19504 2400 1147 0 19372 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 131972 KiB
Current children cumulated memory: 81088 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 4.16 4.20 5/258 70706
/proc/meminfo: memFree=126761084/131382120 swapFree=33010160/33010684
[pid=70703] ppid=70700 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70703/stat : 70703 (run-opt-log.sh) S 70700 70703 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66700372 4292608 768 18446744073709551615 94909001949184 94909002843717 140731588867088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94909003082768 94909003130512 94909025873920 140731588872481 140731588872676 140731588872676 140731588878278 0
/proc/70703/statm: 1048 768 704 219 0 110 0
[pid=70705] ppid=70703 vsize=131788 memory=82496 CPUtime=25.4 cores=0,2
/proc/70705/stat : 70705 (roundingsat) R 70703 70703 69604 0 -1 4194304 15977 0 0 0 2500 40 0 0 20 0 1 0 66700373 134950912 20624 18446744073709551615 4227072 8923433 140732462314960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20975616 140732462319954 140732462320168 140732462320168 140732462325738 0
/proc/70705/statm: 32947 20624 2400 1147 0 20374 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 135980 KiB
Current children cumulated memory: 85568 KiB
[startup+51.1135 s]
/proc/loadavg: 4.15 4.16 4.20 5/258 70706
/proc/meminfo: memFree=126709132/131382120 swapFree=33010160/33010684
[pid=70703] ppid=70700 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70703/stat : 70703 (run-opt-log.sh) S 70700 70703 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66700372 4292608 768 18446744073709551615 94909001949184 94909002843717 140731588867088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94909003082768 94909003130512 94909025873920 140731588872481 140731588872676 140731588872676 140731588878278 0
/proc/70703/statm: 1048 768 704 219 0 110 0
[pid=70705] ppid=70703 vsize=131788 memory=82496 CPUtime=50.94 cores=0,2
/proc/70705/stat : 70705 (roundingsat) R 70703 70703 69604 0 -1 4194304 15977 0 0 0 5047 47 0 0 20 0 1 0 66700373 134950912 20624 18446744073709551615 4227072 8923433 140732462314960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20975616 140732462319954 140732462320168 140732462320168 140732462325738 0
/proc/70705/statm: 32947 20624 2400 1147 0 20374 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 135980 KiB
Current children cumulated memory: 85568 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.19 5/260 70710
/proc/meminfo: memFree=126569544/131382120 swapFree=33010160/33010684
[pid=70703] ppid=70700 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70703/stat : 70703 (run-opt-log.sh) S 70700 70703 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66700372 4292608 768 18446744073709551615 94909001949184 94909002843717 140731588867088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94909003082768 94909003130512 94909025873920 140731588872481 140731588872676 140731588872676 140731588878278 0
/proc/70703/statm: 1048 768 704 219 0 110 0
[pid=70705] ppid=70703 vsize=138832 memory=89320 CPUtime=101.97 cores=0,2
/proc/70705/stat : 70705 (roundingsat) R 70703 70703 69604 0 -1 4194304 17170 0 0 0 10100 97 0 0 20 0 1 0 66700373 142163968 22330 18446744073709551615 4227072 8923433 140732462314960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20975616 140732462319954 140732462320168 140732462320168 140732462325738 0
/proc/70705/statm: 34708 22330 2400 1147 0 22135 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 143024 KiB
Current children cumulated memory: 92392 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.18 5/260 70712
/proc/meminfo: memFree=126423612/131382120 swapFree=33010160/33010684
[pid=70703] ppid=70700 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70703/stat : 70703 (run-opt-log.sh) S 70700 70703 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66700372 4292608 768 18446744073709551615 94909001949184 94909002843717 140731588867088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94909003082768 94909003130512 94909025873920 140731588872481 140731588872676 140731588872676 140731588878278 0
/proc/70703/statm: 1048 768 704 219 0 110 0
[pid=70705] ppid=70703 vsize=140640 memory=91240 CPUtime=161.79 cores=0,2
/proc/70705/stat : 70705 (roundingsat) R 70703 70703 69604 0 -1 4194304 17657 0 0 0 16048 131 0 0 20 0 1 0 66700373 144015360 22810 18446744073709551615 4227072 8923433 140732462314960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20975616 140732462319954 140732462320168 140732462320168 140732462325738 0
/proc/70705/statm: 35160 22810 2400 1147 0 22587 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 144832 KiB
Current children cumulated memory: 94312 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.17 5/260 70715
/proc/meminfo: memFree=126245432/131382120 swapFree=33010160/33010684
[pid=70703] ppid=70700 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70703/stat : 70703 (run-opt-log.sh) S 70700 70703 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66700372 4292608 768 18446744073709551615 94909001949184 94909002843717 140731588867088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94909003082768 94909003130512 94909025873920 140731588872481 140731588872676 140731588872676 140731588878278 0
/proc/70703/statm: 1048 768 704 219 0 110 0
[pid=70705] ppid=70703 vsize=157980 memory=105016 CPUtime=221.6 cores=0,2
/proc/70705/stat : 70705 (roundingsat) R 70703 70703 69604 0 -1 4194304 20678 0 0 0 21975 185 0 0 20 0 1 0 66700373 161771520 26254 18446744073709551615 4227072 8923433 140732462314960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20975616 140732462319954 140732462320168 140732462320168 140732462325738 0
/proc/70705/statm: 39495 26254 2400 1147 0 26922 0
################
# More data... #
################
[pid=70705] ppid=70703 vsize=276004 memory=216828 CPUtime=3093.18 cores=0,2
/proc/70705/stat : 70705 (roundingsat) R 70703 70703 69604 0 -1 4194304 39544 0 0 0 307238 2080 0 0 20 0 1 0 66700373 282628096 54207 18446744073709551615 4227072 8923433 140732462314960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20975616 140732462319954 140732462320168 140732462320168 140732462325738 0
/proc/70705/statm: 69001 54207 2400 1147 0 56428 0
Current children cumulated CPU time: 3093.18 s
Current children cumulated vsize: 280196 KiB
Current children cumulated memory: 219900 KiB
[startup+3162.3 s]
/proc/loadavg: 1.27 1.85 2.60 2/237 70964
/proc/meminfo: memFree=124165128/131382120 swapFree=33010160/33010684
[pid=70703] ppid=70700 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70703/stat : 70703 (run-opt-log.sh) S 70700 70703 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66700372 4292608 768 18446744073709551615 94909001949184 94909002843717 140731588867088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94909003082768 94909003130512 94909025873920 140731588872481 140731588872676 140731588872676 140731588878278 0
/proc/70703/statm: 1048 768 704 219 0 110 0
[pid=70705] ppid=70703 vsize=276256 memory=217084 CPUtime=3152.98 cores=0,2
/proc/70705/stat : 70705 (roundingsat) R 70703 70703 69604 0 -1 4194304 39607 0 0 0 313184 2114 0 0 20 0 1 0 66700373 282886144 54271 18446744073709551615 4227072 8923433 140732462314960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20975616 140732462319954 140732462320168 140732462320168 140732462325738 0
/proc/70705/statm: 69064 54271 2400 1147 0 56491 0
Current children cumulated CPU time: 3152.98 s
Current children cumulated vsize: 280448 KiB
Current children cumulated memory: 220156 KiB
[startup+3222.3 s]
/proc/loadavg: 1.15 1.71 2.50 2/237 70966
/proc/meminfo: memFree=124045292/131382120 swapFree=33010160/33010684
[pid=70703] ppid=70700 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70703/stat : 70703 (run-opt-log.sh) S 70700 70703 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66700372 4292608 768 18446744073709551615 94909001949184 94909002843717 140731588867088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94909003082768 94909003130512 94909025873920 140731588872481 140731588872676 140731588872676 140731588878278 0
/proc/70703/statm: 1048 768 704 219 0 110 0
[pid=70705] ppid=70703 vsize=277160 memory=217980 CPUtime=3212.78 cores=0,2
/proc/70705/stat : 70705 (roundingsat) R 70703 70703 69604 0 -1 4194304 39833 0 0 0 319125 2153 0 0 20 0 1 0 66700373 283811840 54495 18446744073709551615 4227072 8923433 140732462314960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20975616 140732462319954 140732462320168 140732462320168 140732462325738 0
/proc/70705/statm: 69290 54495 2400 1147 0 56717 0
Current children cumulated CPU time: 3212.78 s
Current children cumulated vsize: 281352 KiB
Current children cumulated memory: 221052 KiB
[startup+3282.3 s]
/proc/loadavg: 1.10 1.59 2.41 2/237 70968
/proc/meminfo: memFree=123923416/131382120 swapFree=33010160/33010684
[pid=70703] ppid=70700 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70703/stat : 70703 (run-opt-log.sh) S 70700 70703 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66700372 4292608 768 18446744073709551615 94909001949184 94909002843717 140731588867088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94909003082768 94909003130512 94909025873920 140731588872481 140731588872676 140731588872676 140731588878278 0
/proc/70703/statm: 1048 768 704 219 0 110 0
[pid=70705] ppid=70703 vsize=279200 memory=219772 CPUtime=3272.58 cores=0,2
/proc/70705/stat : 70705 (roundingsat) R 70703 70703 69604 0 -1 4194304 40285 0 0 0 325073 2185 0 0 20 0 1 0 66700373 285900800 54943 18446744073709551615 4227072 8923433 140732462314960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20975616 140732462319954 140732462320168 140732462320168 140732462325738 0
/proc/70705/statm: 69800 54943 2400 1147 0 57227 0
Current children cumulated CPU time: 3272.58 s
Current children cumulated vsize: 283392 KiB
Current children cumulated memory: 222844 KiB
[startup+3342.3 s]
/proc/loadavg: 1.09 1.50 2.32 2/236 70975
/proc/meminfo: memFree=123792716/131382120 swapFree=33010160/33010684
[pid=70703] ppid=70700 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70703/stat : 70703 (run-opt-log.sh) S 70700 70703 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66700372 4292608 768 18446744073709551615 94909001949184 94909002843717 140731588867088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94909003082768 94909003130512 94909025873920 140731588872481 140731588872676 140731588872676 140731588878278 0
/proc/70703/statm: 1048 768 704 219 0 110 0
[pid=70705] ppid=70703 vsize=279200 memory=223904 CPUtime=3332.38 cores=0,2
/proc/70705/stat : 70705 (roundingsat) R 70703 70703 69604 0 -1 4194304 40290 0 0 0 331016 2222 0 0 20 0 1 0 66700373 285900800 55976 18446744073709551615 4227072 8923433 140732462314960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20975616 140732462319954 140732462320168 140732462320168 140732462325738 0
/proc/70705/statm: 69800 55976 2400 1147 0 57227 0
Current children cumulated CPU time: 3332.38 s
Current children cumulated vsize: 283392 KiB
Current children cumulated memory: 226976 KiB
[startup+3402.3 s]
/proc/loadavg: 1.12 1.43 2.25 2/237 70978
/proc/meminfo: memFree=123660336/131382120 swapFree=33010160/33010684
[pid=70703] ppid=70700 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70703/stat : 70703 (run-opt-log.sh) S 70700 70703 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66700372 4292608 768 18446744073709551615 94909001949184 94909002843717 140731588867088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94909003082768 94909003130512 94909025873920 140731588872481 140731588872676 140731588872676 140731588878278 0
/proc/70703/statm: 1048 768 704 219 0 110 0
[pid=70705] ppid=70703 vsize=279200 memory=223904 CPUtime=3392.18 cores=0,2
/proc/70705/stat : 70705 (roundingsat) R 70703 70703 69604 0 -1 4194304 40367 0 0 0 336961 2257 0 0 20 0 1 0 66700373 285900800 55976 18446744073709551615 4227072 8923433 140732462314960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20975616 140732462319954 140732462320168 140732462320168 140732462325738 0
/proc/70705/statm: 69800 55976 2400 1147 0 57227 0
Current children cumulated CPU time: 3392.18 s
Current children cumulated vsize: 283392 KiB
Current children cumulated memory: 226976 KiB
[startup+3462.3 s]
/proc/loadavg: 1.15 1.38 2.18 2/237 70980
/proc/meminfo: memFree=123544884/131382120 swapFree=33010160/33010684
[pid=70703] ppid=70700 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70703/stat : 70703 (run-opt-log.sh) S 70700 70703 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66700372 4292608 768 18446744073709551615 94909001949184 94909002843717 140731588867088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94909003082768 94909003130512 94909025873920 140731588872481 140731588872676 140731588872676 140731588878278 0
/proc/70703/statm: 1048 768 704 219 0 110 0
[pid=70705] ppid=70703 vsize=279200 memory=224032 CPUtime=3451.98 cores=0,2
/proc/70705/stat : 70705 (roundingsat) R 70703 70703 69604 0 -1 4194304 40411 0 0 0 342902 2296 0 0 20 0 1 0 66700373 285900800 56008 18446744073709551615 4227072 8923433 140732462314960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20975616 140732462319954 140732462320168 140732462320168 140732462325738 0
/proc/70705/statm: 69800 56008 2400 1147 0 57227 0
Current children cumulated CPU time: 3451.98 s
Current children cumulated vsize: 283392 KiB
Current children cumulated memory: 227104 KiB
[startup+3522.3 s]
/proc/loadavg: 1.12 1.33 2.11 2/237 70982
/proc/meminfo: memFree=123419616/131382120 swapFree=33010160/33010684
[pid=70703] ppid=70700 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70703/stat : 70703 (run-opt-log.sh) S 70700 70703 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66700372 4292608 768 18446744073709551615 94909001949184 94909002843717 140731588867088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94909003082768 94909003130512 94909025873920 140731588872481 140731588872676 140731588872676 140731588878278 0
/proc/70703/statm: 1048 768 704 219 0 110 0
[pid=70705] ppid=70703 vsize=279400 memory=224032 CPUtime=3511.78 cores=0,2
/proc/70705/stat : 70705 (roundingsat) R 70703 70703 69604 0 -1 4194304 40432 0 0 0 348845 2333 0 0 20 0 1 0 66700373 286105600 56008 18446744073709551615 4227072 8923433 140732462314960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20975616 140732462319954 140732462320168 140732462320168 140732462325738 0
/proc/70705/statm: 69850 56008 2400 1147 0 57277 0
Current children cumulated CPU time: 3511.78 s
Current children cumulated vsize: 283592 KiB
Current children cumulated memory: 227104 KiB
[startup+3582.3 s]
/proc/loadavg: 1.16 1.30 2.04 2/237 70984
/proc/meminfo: memFree=123292264/131382120 swapFree=33010160/33010684
[pid=70703] ppid=70700 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70703/stat : 70703 (run-opt-log.sh) S 70700 70703 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66700372 4292608 768 18446744073709551615 94909001949184 94909002843717 140731588867088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94909003082768 94909003130512 94909025873920 140731588872481 140731588872676 140731588872676 140731588878278 0
/proc/70703/statm: 1048 768 704 219 0 110 0
[pid=70705] ppid=70703 vsize=279400 memory=224032 CPUtime=3571.59 cores=0,2
/proc/70705/stat : 70705 (roundingsat) R 70703 70703 69604 0 -1 4194304 40433 0 0 0 354787 2372 0 0 20 0 1 0 66700373 286105600 56008 18446744073709551615 4227072 8923433 140732462314960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20975616 140732462319954 140732462320168 140732462320168 140732462325738 0
/proc/70705/statm: 69850 56008 2400 1147 0 57277 0
Current children cumulated CPU time: 3571.59 s
Current children cumulated vsize: 283592 KiB
Current children cumulated memory: 227104 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 1.10 1.27 2.02 2/236 70985
/proc/meminfo: memFree=123238800/131382120 swapFree=33010160/33010684
[pid=70703] ppid=70700 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/70703/stat : 70703 (run-opt-log.sh) S 70700 70703 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66700372 4292608 768 18446744073709551615 94909001949184 94909002843717 140731588867088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94909003082768 94909003130512 94909025873920 140731588872481 140731588872676 140731588872676 140731588878278 0
/proc/70703/statm: 1048 768 704 219 0 110 0
[pid=70705] ppid=70703 vsize=279676 memory=224288 CPUtime=3600 cores=0,2
/proc/70705/stat : 70705 (roundingsat) R 70703 70703 69604 0 -1 4194304 40501 0 0 0 357610 2390 0 0 20 0 1 0 66700373 286388224 56072 18446744073709551615 4227072 8923433 140732462314960 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20975616 140732462319954 140732462320168 140732462320168 140732462325738 0
/proc/70705/statm: 69919 56072 2400 1147 0 57346 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 283868 KiB
Current children cumulated memory: 227360 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.81 s]
# the end of solver process 70703 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.005192 s
[startup+3610.96 s]
# the end of solver process 70705 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3576.11 s, system=23.9145 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]*
/proc/loadavg: 1.10 1.27 2.01 1/235 70985
/proc/meminfo: memFree=123234968/131382120 swapFree=33010160/33010684
[pid=70705] ppid=70700 vsize=262396 memory=209084 CPUtime=3600 cores=0,2
/proc/70705/stat : 70705 (roundingsat) D 70700 70703 69604 0 -1 4194304 40507 0 0 0 357610 2390 0 0 20 0 1 0 66700373 268693504 52271 18446744073709551615 4227072 8923433 140732462314960 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 20975616 140732462319954 140732462320168 140732462320168 140732462325738 0
/proc/70705/statm: 65599 52271 2496 1147 0 53026 0
Current cumulated CPU time of completed processes: 0.005192 s
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 262396 KiB
Current children cumulated memory: 209084 KiB
Child status: 2
Real time (s): 3610.96
CPU time (s): 3600.03
CPU user time (s): 3576.11
CPU system time (s): 23.9145
CPU usage (%): 99.6972
Max. virtual memory (cumulated for all children) (KiB): 283868
Max. memory (cumulated for all children) (KiB): 227360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.11
system time used= 23.9145
maximum resident set size= 224544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40733
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13124640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 909
involuntary context switches= 8136
# summary of solver processes directly reported to runsolver:
# pid: 70703,70705
# total CPU time (s): 3600.03
# total CPU user time (s): 3576.11
# total CPU system time (s): 23.9145
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7921 second user time and 38.4109 second system time
The end
Begin job on nodeC008 at 2025-07-03 04:36:53
IDJOB=4508137
IDBENCH=158395
IDSOLVER=3351
FILE ID=nodeC008/4508137-1751510213
RUNJOBID= nodeC008-1751501401-69614
SLURM_JOB_ID= 9598586
Free space on /tmp= 432800 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-aug6.5.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508137-1751510213/watcher-4508137-1751510213 -o /tmp/evaluation-result-4508137-1751510213/solver-4508137-1751510213 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751501401-69614 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4508137-1751510213.opb PROOFDIR/proof-4508137-1751510213
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 83ba36613360d6ce9be489830858dbc7
RANDOM SEED=1507705810
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.216
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.389
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2294.937
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.796
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.486
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.276
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.774
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 126797548 kB
MemAvailable: 129501168 kB
Buffers: 2128 kB
Cached: 3499588 kB
SwapCached: 16 kB
Active: 957656 kB
Inactive: 2980804 kB
Active(anon): 418208 kB
Inactive(anon): 36544 kB
Active(file): 539448 kB
Inactive(file): 2944260 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 44452 kB
Writeback: 36 kB
AnonPages: 437424 kB
Mapped: 117756 kB
Shmem: 17920 kB
KReclaimable: 119080 kB
Slab: 204608 kB
SReclaimable: 119080 kB
SUnreclaim: 85528 kB
KernelStack: 4064 kB
PageTables: 4104 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 777192 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149480 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 342016 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432816 MiB
End job on nodeC008 at 2025-07-03 05:37:04