0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.09/0.11 c [STEP] solving
0.09/0.11 c #variables 35169 #constraints 28953
0.09/0.11 c SMALL=int, LARGE=long long
0.09/0.11 c bounds - >= 0 @ 0.083664
0.09/0.11 c stratification level: 16
81.87/82.14 c #Conflicts: 1000 | #Constraints: 29952
81.87/82.14 c #Conflicts: 2000 | #Constraints: 30952
81.87/82.14 c INPROCESSING
81.87/82.14 c GARBAGE COLLECT
81.87/82.14 c #Conflicts: 3000 | #Constraints: 30979
81.87/82.14 c #Conflicts: 4000 | #Constraints: 31979
81.87/82.14 c INPROCESSING
81.87/82.14 c GARBAGE COLLECT
81.87/82.14 c #Conflicts: 5000 | #Constraints: 31403
81.87/82.14 c #Conflicts: 6000 | #Constraints: 32403
81.87/82.14 c INPROCESSING
81.87/82.14 c GARBAGE COLLECT
81.87/82.14 c #Conflicts: 7000 | #Constraints: 31428
81.87/82.14 c #Conflicts: 8000 | #Constraints: 32428
81.87/82.14 c #Conflicts: 9000 | #Constraints: 33428
81.87/82.14 c INPROCESSING
81.87/82.14 c GARBAGE COLLECT
81.87/82.14 c #Conflicts: 10000 | #Constraints: 32146
81.87/82.14 c #Conflicts: 11000 | #Constraints: 33146
81.87/82.14 c #Conflicts: 12000 | #Constraints: 34146
81.87/82.14 c INPROCESSING
81.87/82.14 c GARBAGE COLLECT
81.87/82.14 c #Conflicts: 13000 | #Constraints: 32593
81.87/82.14 c #Conflicts: 14000 | #Constraints: 33593
81.87/82.14 c #Conflicts: 15000 | #Constraints: 34593
81.87/82.14 c INPROCESSING
81.87/82.14 c GARBAGE COLLECT
81.87/82.14 c #Conflicts: 16000 | #Constraints: 32829
81.87/82.14 c #Conflicts: 17000 | #Constraints: 33829
81.87/82.14 c #Conflicts: 18000 | #Constraints: 34829
81.87/82.14 c INPROCESSING
81.87/82.14 c GARBAGE COLLECT
81.87/82.14 c #Conflicts: 19000 | #Constraints: 32866
81.87/82.14 c #Conflicts: 20000 | #Constraints: 33866
81.87/82.14 c #Conflicts: 21000 | #Constraints: 34866
81.87/82.14 c INPROCESSING
81.87/82.14 c GARBAGE COLLECT
81.87/82.14 c #Conflicts: 22000 | #Constraints: 32689
81.87/82.14 c #Conflicts: 23000 | #Constraints: 33689
81.87/82.14 c #Conflicts: 24000 | #Constraints: 34689
81.87/82.14 c #Conflicts: 25000 | #Constraints: 35689
81.87/82.14 c INPROCESSING
81.87/82.14 c GARBAGE COLLECT
81.87/82.14 c #Conflicts: 26000 | #Constraints: 33305
81.87/82.14 c #Conflicts: 27000 | #Constraints: 34305
81.87/82.14 c #Conflicts: 28000 | #Constraints: 35305
81.87/82.14 c #Conflicts: 29000 | #Constraints: 36305
81.87/82.14 c INPROCESSING
81.87/82.14 c GARBAGE COLLECT
81.87/82.14 c #Conflicts: 30000 | #Constraints: 33704
81.87/82.14 c #Conflicts: 31000 | #Constraints: 34704
81.87/82.14 c #Conflicts: 32000 | #Constraints: 35704
81.87/82.14 c #Conflicts: 33000 | #Constraints: 36704
81.87/82.14 c INPROCESSING
81.87/82.14 c GARBAGE COLLECT
81.87/82.14 c #Conflicts: 34000 | #Constraints: 33896
81.87/82.14 c #Conflicts: 35000 | #Constraints: 34896
81.87/82.14 c #Conflicts: 36000 | #Constraints: 35896
81.87/82.14 c #Conflicts: 37000 | #Constraints: 36896
81.87/82.14 c INPROCESSING
81.87/82.14 c GARBAGE COLLECT
81.87/82.14 c #Conflicts: 38000 | #Constraints: 33921
81.87/82.14 c #Conflicts: 39000 | #Constraints: 34921
81.87/82.14 c #Conflicts: 40000 | #Constraints: 35921
81.87/82.14 c #Conflicts: 41000 | #Constraints: 36921
81.87/82.14 c INPROCESSING
81.87/82.14 c GARBAGE COLLECT
81.87/82.14 c #Conflicts: 42000 | #Constraints: 33748
81.87/82.14 c #Conflicts: 43000 | #Constraints: 34748
81.87/82.14 c #Conflicts: 44000 | #Constraints: 35748
81.87/82.14 c #Conflicts: 45000 | #Constraints: 36748
81.87/82.14 c #Conflicts: 46000 | #Constraints: 37748
81.87/82.14 c INPROCESSING
81.87/82.14 c GARBAGE COLLECT
81.87/82.14 c #Conflicts: 47000 | #Constraints: 34330
81.87/82.14 c #Conflicts: 48000 | #Constraints: 35330
81.87/82.14 c #Conflicts: 49000 | #Constraints: 36330
81.87/82.14 c #Conflicts: 50000 | #Constraints: 37330
81.87/82.14 c #Conflicts: 51000 | #Constraints: 38330
81.87/82.14 c INPROCESSING
81.87/82.14 c GARBAGE COLLECT
81.87/82.14 c #Conflicts: 52000 | #Constraints: 34729
81.87/82.14 c #Conflicts: 53000 | #Constraints: 35729
81.87/82.14 c #Conflicts: 54000 | #Constraints: 36729
81.87/82.14 c #Conflicts: 55000 | #Constraints: 37729
81.87/82.14 c #Conflicts: 56000 | #Constraints: 38729
81.87/82.14 c INPROCESSING
81.87/82.14 c GARBAGE COLLECT
81.87/82.14 c #Conflicts: 57000 | #Constraints: 34934
81.87/82.14 c #Conflicts: 58000 | #Constraints: 35934
81.87/82.14 c #Conflicts: 59000 | #Constraints: 36934
81.87/82.14 c #Conflicts: 60000 | #Constraints: 37934
81.87/82.14 c #Conflicts: 61000 | #Constraints: 38934
81.87/82.14 c INPROCESSING
81.87/82.14 c GARBAGE COLLECT
81.87/82.14 c #Conflicts: 62000 | #Constraints: 34927
81.87/82.14 c #Conflicts: 63000 | #Constraints: 35927
81.87/82.14 c #Conflicts: 64000 | #Constraints: 36927
81.87/82.14 c #Conflicts: 65000 | #Constraints: 37927
81.87/82.14 c #Conflicts: 66000 | #Constraints: 38927
81.87/82.14 c INPROCESSING
81.87/82.14 c GARBAGE COLLECT
81.87/82.14 c #Conflicts: 67000 | #Constraints: 34718
81.87/82.14 c #Conflicts: 68000 | #Constraints: 35718
171.84/172.34 c #Conflicts: 69000 | #Constraints: 36718
171.84/172.34 c #Conflicts: 70000 | #Constraints: 37718
171.84/172.34 c #Conflicts: 71000 | #Constraints: 38718
171.84/172.34 c #Conflicts: 72000 | #Constraints: 39718
171.84/172.34 c INPROCESSING
171.84/172.34 c GARBAGE COLLECT
171.84/172.34 c #Conflicts: 73000 | #Constraints: 35319
171.84/172.34 c #Conflicts: 74000 | #Constraints: 36319
171.84/172.34 c #Conflicts: 75000 | #Constraints: 37319
171.84/172.34 c #Conflicts: 76000 | #Constraints: 38319
171.84/172.34 c #Conflicts: 77000 | #Constraints: 39319
171.84/172.34 c #Conflicts: 78000 | #Constraints: 40319
171.84/172.34 c INPROCESSING
171.84/172.34 c GARBAGE COLLECT
171.84/172.34 c #Conflicts: 79000 | #Constraints: 35740
171.84/172.34 c #Conflicts: 80000 | #Constraints: 36740
171.84/172.34 c #Conflicts: 81000 | #Constraints: 37740
171.84/172.34 c #Conflicts: 82000 | #Constraints: 38740
171.84/172.34 c #Conflicts: 83000 | #Constraints: 39740
171.84/172.34 c #Conflicts: 84000 | #Constraints: 40740
171.84/172.34 c INPROCESSING
171.84/172.34 c GARBAGE COLLECT
171.84/172.34 c #Conflicts: 85000 | #Constraints: 35938
171.84/172.34 c #Conflicts: 86000 | #Constraints: 36938
171.84/172.34 c #Conflicts: 87000 | #Constraints: 37938
171.84/172.34 c #Conflicts: 88000 | #Constraints: 38938
171.84/172.34 c #Conflicts: 89000 | #Constraints: 39938
171.84/172.34 c #Conflicts: 90000 | #Constraints: 40938
171.84/172.34 c INPROCESSING
171.84/172.34 c GARBAGE COLLECT
171.84/172.34 c #Conflicts: 91000 | #Constraints: 35952
171.84/172.34 c #Conflicts: 92000 | #Constraints: 36952
171.84/172.34 c #Conflicts: 93000 | #Constraints: 37952
171.84/172.34 c #Conflicts: 94000 | #Constraints: 38952
171.84/172.34 c #Conflicts: 95000 | #Constraints: 39952
171.84/172.34 c #Conflicts: 96000 | #Constraints: 40952
171.84/172.34 c INPROCESSING
171.84/172.34 c GARBAGE COLLECT
171.84/172.34 c #Conflicts: 97000 | #Constraints: 35772
171.84/172.34 c #Conflicts: 98000 | #Constraints: 36772
171.84/172.34 c #Conflicts: 99000 | #Constraints: 37772
171.84/172.34 c #Conflicts: 100000 | #Constraints: 38772
171.84/172.34 c #Conflicts: 101000 | #Constraints: 39772
171.84/172.34 c #Conflicts: 102000 | #Constraints: 40772
171.84/172.34 c #Conflicts: 103000 | #Constraints: 41772
171.84/172.34 c INPROCESSING
171.84/172.34 c GARBAGE COLLECT
171.84/172.34 c #Conflicts: 104000 | #Constraints: 36354
171.84/172.34 c #Conflicts: 105000 | #Constraints: 37354
171.84/172.34 c #Conflicts: 106000 | #Constraints: 38354
171.84/172.34 c #Conflicts: 107000 | #Constraints: 39354
171.84/172.34 c #Conflicts: 108000 | #Constraints: 40354
171.84/172.34 c #Conflicts: 109000 | #Constraints: 41354
171.84/172.34 c #Conflicts: 110000 | #Constraints: 42354
171.84/172.34 c INPROCESSING
171.84/172.34 c GARBAGE COLLECT
171.84/172.34 c #Conflicts: 111000 | #Constraints: 36766
171.84/172.34 c #Conflicts: 112000 | #Constraints: 37766
171.84/172.34 c #Conflicts: 113000 | #Constraints: 38766
171.84/172.34 c #Conflicts: 114000 | #Constraints: 39766
171.84/172.34 c #Conflicts: 115000 | #Constraints: 40766
171.84/172.34 c #Conflicts: 116000 | #Constraints: 41766
171.84/172.34 c #Conflicts: 117000 | #Constraints: 42766
171.84/172.34 c INPROCESSING
171.84/172.34 c GARBAGE COLLECT
171.84/172.34 c #Conflicts: 118000 | #Constraints: 36975
171.84/172.34 c #Conflicts: 119000 | #Constraints: 37975
171.84/172.34 c #Conflicts: 120000 | #Constraints: 38975
171.84/172.34 c #Conflicts: 121000 | #Constraints: 39975
171.84/172.34 c #Conflicts: 122000 | #Constraints: 40975
171.84/172.34 c #Conflicts: 123000 | #Constraints: 41975
171.84/172.34 c #Conflicts: 124000 | #Constraints: 42975
171.84/172.34 c INPROCESSING
171.84/172.34 c GARBAGE COLLECT
171.84/172.34 c #Conflicts: 125000 | #Constraints: 36952
171.84/172.34 c #Conflicts: 126000 | #Constraints: 37952
171.84/172.34 c #Conflicts: 127000 | #Constraints: 38952
171.84/172.34 c #Conflicts: 128000 | #Constraints: 39952
171.84/172.34 c #Conflicts: 129000 | #Constraints: 40952
171.84/172.34 c #Conflicts: 130000 | #Constraints: 41952
171.84/172.34 c #Conflicts: 131000 | #Constraints: 42952
171.84/172.34 c INPROCESSING
171.84/172.34 c GARBAGE COLLECT
171.84/172.34 c #Conflicts: 132000 | #Constraints: 36752
171.84/172.34 c #Conflicts: 133000 | #Constraints: 37752
171.84/172.34 c #Conflicts: 134000 | #Constraints: 38752
171.84/172.34 c #Conflicts: 135000 | #Constraints: 39752
171.84/172.34 c #Conflicts: 136000 | #Constraints: 40752
171.84/172.34 c #Conflicts: 137000 | #Constraints: 41752
171.84/172.34 c #Conflicts: 138000 | #Constraints: 42752
171.84/172.34 c #Conflicts: 139000 | #Constraints: 43752
171.84/172.34 c INPROCESSING
171.84/172.34 c GARBAGE COLLECT
171.84/172.34 c #Conflicts: 140000 | #Constraints: 37387
291.83/292.62 c #Conflicts: 141000 | #Constraints: 38387
291.83/292.62 c #Conflicts: 142000 | #Constraints: 39387
291.83/292.62 c #Conflicts: 143000 | #Constraints: 40387
291.83/292.62 c #Conflicts: 144000 | #Constraints: 41387
291.83/292.62 c #Conflicts: 145000 | #Constraints: 42387
291.83/292.62 c #Conflicts: 146000 | #Constraints: 43387
291.83/292.62 c #Conflicts: 147000 | #Constraints: 44387
291.83/292.62 c INPROCESSING
291.83/292.62 c GARBAGE COLLECT
291.83/292.62 c #Conflicts: 148000 | #Constraints: 37798
291.83/292.62 c #Conflicts: 149000 | #Constraints: 38798
291.83/292.62 c #Conflicts: 150000 | #Constraints: 39798
291.83/292.62 c #Conflicts: 151000 | #Constraints: 40798
291.83/292.62 c #Conflicts: 152000 | #Constraints: 41798
291.83/292.62 c #Conflicts: 153000 | #Constraints: 42798
291.83/292.62 c #Conflicts: 154000 | #Constraints: 43798
291.83/292.62 c #Conflicts: 155000 | #Constraints: 44798
291.83/292.62 c INPROCESSING
291.83/292.62 c GARBAGE COLLECT
291.83/292.62 c #Conflicts: 156000 | #Constraints: 37997
291.83/292.62 c #Conflicts: 157000 | #Constraints: 38997
291.83/292.62 c #Conflicts: 158000 | #Constraints: 39997
291.83/292.62 c #Conflicts: 159000 | #Constraints: 40997
291.83/292.62 c #Conflicts: 160000 | #Constraints: 41997
291.83/292.62 c #Conflicts: 161000 | #Constraints: 42997
291.83/292.62 c #Conflicts: 162000 | #Constraints: 43997
291.83/292.62 c #Conflicts: 163000 | #Constraints: 44997
291.83/292.62 c INPROCESSING
291.83/292.62 c GARBAGE COLLECT
291.83/292.62 c #Conflicts: 164000 | #Constraints: 38020
291.83/292.62 c #Conflicts: 165000 | #Constraints: 39020
291.83/292.62 c #Conflicts: 166000 | #Constraints: 40020
291.83/292.62 c #Conflicts: 167000 | #Constraints: 41020
291.83/292.62 c #Conflicts: 168000 | #Constraints: 42020
291.83/292.62 c #Conflicts: 169000 | #Constraints: 43020
291.83/292.62 c #Conflicts: 170000 | #Constraints: 44020
291.83/292.62 c #Conflicts: 171000 | #Constraints: 45020
291.83/292.62 c INPROCESSING
291.83/292.62 c GARBAGE COLLECT
291.83/292.62 c #Conflicts: 172000 | #Constraints: 37810
291.83/292.62 c #Conflicts: 173000 | #Constraints: 38810
291.83/292.62 c #Conflicts: 174000 | #Constraints: 39810
291.83/292.62 c #Conflicts: 175000 | #Constraints: 40810
291.83/292.62 c #Conflicts: 176000 | #Constraints: 41810
291.83/292.62 c #Conflicts: 177000 | #Constraints: 42810
291.83/292.62 c #Conflicts: 178000 | #Constraints: 43810
291.83/292.62 c #Conflicts: 179000 | #Constraints: 44810
291.83/292.62 c #Conflicts: 180000 | #Constraints: 45810
291.83/292.62 c INPROCESSING
291.83/292.62 c GARBAGE COLLECT
291.83/292.62 c #Conflicts: 181000 | #Constraints: 38424
291.83/292.62 c #Conflicts: 182000 | #Constraints: 39424
291.83/292.62 c #Conflicts: 183000 | #Constraints: 40424
291.83/292.62 c #Conflicts: 184000 | #Constraints: 41424
291.83/292.62 c #Conflicts: 185000 | #Constraints: 42424
291.83/292.62 c #Conflicts: 186000 | #Constraints: 43424
291.83/292.62 c #Conflicts: 187000 | #Constraints: 44424
291.83/292.62 c #Conflicts: 188000 | #Constraints: 45424
291.83/292.62 c #Conflicts: 189000 | #Constraints: 46424
291.83/292.62 c INPROCESSING
291.83/292.62 c GARBAGE COLLECT
291.83/292.62 c #Conflicts: 190000 | #Constraints: 38854
291.83/292.62 c #Conflicts: 191000 | #Constraints: 39854
291.83/292.62 c #Conflicts: 192000 | #Constraints: 40854
291.83/292.62 c #Conflicts: 193000 | #Constraints: 41854
291.83/292.62 c #Conflicts: 194000 | #Constraints: 42854
291.83/292.62 c #Conflicts: 195000 | #Constraints: 43854
291.83/292.62 c #Conflicts: 196000 | #Constraints: 44854
291.83/292.62 c #Conflicts: 197000 | #Constraints: 45854
291.83/292.62 c #Conflicts: 198000 | #Constraints: 46854
291.83/292.62 c INPROCESSING
291.83/292.62 c GARBAGE COLLECT
291.83/292.62 c #Conflicts: 199000 | #Constraints: 39056
291.83/292.62 c #Conflicts: 200000 | #Constraints: 40056
291.83/292.62 c #Conflicts: 201000 | #Constraints: 41056
291.83/292.62 c #Conflicts: 202000 | #Constraints: 42056
291.83/292.62 c #Conflicts: 203000 | #Constraints: 43056
291.83/292.62 c #Conflicts: 204000 | #Constraints: 44056
291.83/292.62 c #Conflicts: 205000 | #Constraints: 45056
291.83/292.62 c #Conflicts: 206000 | #Constraints: 46056
291.83/292.62 c #Conflicts: 207000 | #Constraints: 47056
291.83/292.62 c INPROCESSING
291.83/292.62 c GARBAGE COLLECT
291.83/292.62 c #Conflicts: 208000 | #Constraints: 39033
291.83/292.62 c #Conflicts: 209000 | #Constraints: 40033
291.83/292.62 c #Conflicts: 210000 | #Constraints: 41033
291.83/292.62 c #Conflicts: 211000 | #Constraints: 42033
291.83/292.62 c #Conflicts: 212000 | #Constraints: 43033
291.83/292.62 c #Conflicts: 213000 | #Constraints: 44033
432.08/433.27 c #Conflicts: 214000 | #Constraints: 45033
432.08/433.27 c #Conflicts: 215000 | #Constraints: 46033
432.08/433.27 c #Conflicts: 216000 | #Constraints: 47033
432.08/433.27 c INPROCESSING
432.08/433.27 c GARBAGE COLLECT
432.08/433.27 c #Conflicts: 217000 | #Constraints: 38829
432.08/433.27 c #Conflicts: 218000 | #Constraints: 39829
432.08/433.27 c #Conflicts: 219000 | #Constraints: 40829
432.08/433.27 c #Conflicts: 220000 | #Constraints: 41829
432.08/433.27 c #Conflicts: 221000 | #Constraints: 42829
432.08/433.27 c #Conflicts: 222000 | #Constraints: 43829
432.08/433.27 c #Conflicts: 223000 | #Constraints: 44829
432.08/433.27 c #Conflicts: 224000 | #Constraints: 45829
432.08/433.27 c #Conflicts: 225000 | #Constraints: 46829
432.08/433.27 c #Conflicts: 226000 | #Constraints: 47829
432.08/433.27 c INPROCESSING
432.08/433.27 c GARBAGE COLLECT
432.08/433.27 c #Conflicts: 227000 | #Constraints: 39431
432.08/433.27 c #Conflicts: 228000 | #Constraints: 40431
432.08/433.27 c #Conflicts: 229000 | #Constraints: 41431
432.08/433.27 c #Conflicts: 230000 | #Constraints: 42431
432.08/433.27 c #Conflicts: 231000 | #Constraints: 43431
432.08/433.27 c #Conflicts: 232000 | #Constraints: 44431
432.08/433.27 c #Conflicts: 233000 | #Constraints: 45431
432.08/433.27 c #Conflicts: 234000 | #Constraints: 46431
432.08/433.27 c #Conflicts: 235000 | #Constraints: 47431
432.08/433.27 c #Conflicts: 236000 | #Constraints: 48431
432.08/433.27 c INPROCESSING
432.08/433.27 c GARBAGE COLLECT
432.08/433.27 c #Conflicts: 237000 | #Constraints: 39838
432.08/433.27 c #Conflicts: 238000 | #Constraints: 40838
432.08/433.27 c #Conflicts: 239000 | #Constraints: 41838
432.08/433.27 c #Conflicts: 240000 | #Constraints: 42838
432.08/433.27 c #Conflicts: 241000 | #Constraints: 43838
432.08/433.27 c #Conflicts: 242000 | #Constraints: 44838
432.08/433.27 c #Conflicts: 243000 | #Constraints: 45838
432.08/433.27 c #Conflicts: 244000 | #Constraints: 46838
432.08/433.27 c #Conflicts: 245000 | #Constraints: 47838
432.08/433.27 c #Conflicts: 246000 | #Constraints: 48838
432.08/433.27 c INPROCESSING
432.08/433.27 c GARBAGE COLLECT
432.08/433.27 c #Conflicts: 247000 | #Constraints: 40058
432.08/433.27 c #Conflicts: 248000 | #Constraints: 41058
432.08/433.27 c #Conflicts: 249000 | #Constraints: 42058
432.08/433.27 c #Conflicts: 250000 | #Constraints: 43058
432.08/433.27 c #Conflicts: 251000 | #Constraints: 44058
432.08/433.27 c #Conflicts: 252000 | #Constraints: 45058
432.08/433.27 c #Conflicts: 253000 | #Constraints: 46058
432.08/433.27 c #Conflicts: 254000 | #Constraints: 47058
432.08/433.27 c #Conflicts: 255000 | #Constraints: 48058
432.08/433.27 c #Conflicts: 256000 | #Constraints: 49058
432.08/433.27 c INPROCESSING
432.08/433.27 c GARBAGE COLLECT
432.08/433.27 c #Conflicts: 257000 | #Constraints: 40054
432.08/433.27 c #Conflicts: 258000 | #Constraints: 41054
432.08/433.27 c #Conflicts: 259000 | #Constraints: 42054
432.08/433.27 c #Conflicts: 260000 | #Constraints: 43054
432.08/433.27 c #Conflicts: 261000 | #Constraints: 44054
432.08/433.27 c #Conflicts: 262000 | #Constraints: 45054
432.08/433.27 c #Conflicts: 263000 | #Constraints: 46054
432.08/433.27 c #Conflicts: 264000 | #Constraints: 47054
432.08/433.27 c #Conflicts: 265000 | #Constraints: 48054
432.08/433.27 c #Conflicts: 266000 | #Constraints: 49054
432.08/433.27 c INPROCESSING
432.08/433.27 c GARBAGE COLLECT
432.08/433.27 c #Conflicts: 267000 | #Constraints: 39869
432.08/433.27 c #Conflicts: 268000 | #Constraints: 40869
432.08/433.27 c #Conflicts: 269000 | #Constraints: 41869
432.08/433.27 c #Conflicts: 270000 | #Constraints: 42869
432.08/433.27 c #Conflicts: 271000 | #Constraints: 43869
432.08/433.27 c #Conflicts: 272000 | #Constraints: 44869
432.08/433.27 c #Conflicts: 273000 | #Constraints: 45869
432.08/433.27 c #Conflicts: 274000 | #Constraints: 46869
432.08/433.27 c #Conflicts: 275000 | #Constraints: 47869
432.08/433.27 c #Conflicts: 276000 | #Constraints: 48869
432.08/433.27 c #Conflicts: 277000 | #Constraints: 49869
432.08/433.27 c INPROCESSING
432.08/433.27 c GARBAGE COLLECT
432.08/433.27 c #Conflicts: 278000 | #Constraints: 40474
432.08/433.27 c #Conflicts: 279000 | #Constraints: 41474
432.08/433.27 c #Conflicts: 280000 | #Constraints: 42474
432.08/433.27 c #Conflicts: 281000 | #Constraints: 43474
432.08/433.27 c #Conflicts: 282000 | #Constraints: 44474
432.08/433.27 c #Conflicts: 283000 | #Constraints: 45474
432.08/433.27 c #Conflicts: 284000 | #Constraints: 46474
432.08/433.27 c #Conflicts: 285000 | #Constraints: 47474
432.08/433.27 c #Conflicts: 286000 | #Constraints: 48474
432.08/433.27 c #Conflicts: 287000 | #Constraints: 49474
432.08/433.27 c #Conflicts: 288000 | #Constraints: 50474
546.70/548.18 c INPROCESSING
546.70/548.18 c GARBAGE COLLECT
546.70/548.18 c #Conflicts: 289000 | #Constraints: 40894
546.70/548.18 c #Conflicts: 290000 | #Constraints: 41894
546.70/548.18 c #Conflicts: 291000 | #Constraints: 42894
546.70/548.18 c #Conflicts: 292000 | #Constraints: 43894
546.70/548.18 c #Conflicts: 293000 | #Constraints: 44894
546.70/548.18 c #Conflicts: 294000 | #Constraints: 45894
546.70/548.18 c #Conflicts: 295000 | #Constraints: 46894
546.70/548.18 c #Conflicts: 296000 | #Constraints: 47894
546.70/548.18 c #Conflicts: 297000 | #Constraints: 48894
546.70/548.18 c #Conflicts: 298000 | #Constraints: 49894
546.70/548.18 c #Conflicts: 299000 | #Constraints: 50894
546.70/548.18 c INPROCESSING
546.70/548.18 c GARBAGE COLLECT
546.70/548.18 c #Conflicts: 300000 | #Constraints: 41087
546.70/548.18 c #Conflicts: 301000 | #Constraints: 42087
546.70/548.18 c #Conflicts: 302000 | #Constraints: 43087
546.70/548.18 c #Conflicts: 303000 | #Constraints: 44087
546.70/548.18 c #Conflicts: 304000 | #Constraints: 45087
546.70/548.18 c #Conflicts: 305000 | #Constraints: 46087
546.70/548.18 c #Conflicts: 306000 | #Constraints: 47087
546.70/548.18 c #Conflicts: 307000 | #Constraints: 48087
546.70/548.18 c #Conflicts: 308000 | #Constraints: 49087
546.70/548.18 c #Conflicts: 309000 | #Constraints: 50087
546.70/548.18 c #Conflicts: 310000 | #Constraints: 51087
546.70/548.18 c INPROCESSING
546.70/548.18 c GARBAGE COLLECT
546.70/548.18 c #Conflicts: 311000 | #Constraints: 41073
546.70/548.18 c #Conflicts: 312000 | #Constraints: 42073
546.70/548.18 c #Conflicts: 313000 | #Constraints: 43073
546.70/548.18 c #Conflicts: 314000 | #Constraints: 44073
546.70/548.18 c #Conflicts: 315000 | #Constraints: 45073
546.70/548.18 c #Conflicts: 316000 | #Constraints: 46073
546.70/548.18 c #Conflicts: 317000 | #Constraints: 47073
546.70/548.18 c #Conflicts: 318000 | #Constraints: 48073
546.70/548.18 c #Conflicts: 319000 | #Constraints: 49073
546.70/548.18 c #Conflicts: 320000 | #Constraints: 50073
546.70/548.18 c #Conflicts: 321000 | #Constraints: 51073
546.70/548.18 c INPROCESSING
546.70/548.18 c GARBAGE COLLECT
546.70/548.18 c #Conflicts: 322000 | #Constraints: 40914
546.70/548.18 c #Conflicts: 323000 | #Constraints: 41914
546.70/548.18 c #Conflicts: 324000 | #Constraints: 42914
546.70/548.18 c #Conflicts: 325000 | #Constraints: 43914
546.70/548.18 c #Conflicts: 326000 | #Constraints: 44914
546.70/548.18 c #Conflicts: 327000 | #Constraints: 45914
546.70/548.18 c #Conflicts: 328000 | #Constraints: 46914
546.70/548.18 c #Conflicts: 329000 | #Constraints: 47914
546.70/548.18 c #Conflicts: 330000 | #Constraints: 48914
546.70/548.18 c #Conflicts: 331000 | #Constraints: 49914
546.70/548.18 c #Conflicts: 332000 | #Constraints: 50914
546.70/548.18 c #Conflicts: 333000 | #Constraints: 51914
546.70/548.18 c INPROCESSING
546.70/548.18 c GARBAGE COLLECT
546.70/548.18 c #Conflicts: 334000 | #Constraints: 41552
546.70/548.18 c #Conflicts: 335000 | #Constraints: 42552
546.70/548.18 c #Conflicts: 336000 | #Constraints: 43552
546.70/548.18 c #Conflicts: 337000 | #Constraints: 44552
546.70/548.18 c #Conflicts: 338000 | #Constraints: 45552
546.70/548.18 c #Conflicts: 339000 | #Constraints: 46552
546.70/548.18 c #Conflicts: 340000 | #Constraints: 47552
546.70/548.18 c #Conflicts: 341000 | #Constraints: 48552
546.70/548.18 c #Conflicts: 342000 | #Constraints: 49552
546.70/548.18 c #Conflicts: 343000 | #Constraints: 50552
546.70/548.18 c #Conflicts: 344000 | #Constraints: 51552
546.70/548.18 c #Conflicts: 345000 | #Constraints: 52552
546.70/548.18 c INPROCESSING
546.70/548.18 c GARBAGE COLLECT
546.70/548.18 c #Conflicts: 346000 | #Constraints: 41956
546.70/548.18 c #Conflicts: 347000 | #Constraints: 42956
546.70/548.18 c #Conflicts: 348000 | #Constraints: 43956
546.70/548.18 c #Conflicts: 349000 | #Constraints: 44956
546.70/548.18 c #Conflicts: 350000 | #Constraints: 45956
546.70/548.18 c #Conflicts: 351000 | #Constraints: 46956
546.70/548.18 c #Conflicts: 352000 | #Constraints: 47956
546.70/548.18 c #Conflicts: 353000 | #Constraints: 48956
546.70/548.18 c #Conflicts: 354000 | #Constraints: 49956
546.70/548.18 c #Conflicts: 355000 | #Constraints: 50956
546.70/548.18 c #Conflicts: 356000 | #Constraints: 51956
546.70/548.18 c #Conflicts: 357000 | #Constraints: 52956
546.70/548.18 c INPROCESSING
546.70/548.18 c GARBAGE COLLECT
546.70/548.18 c #Conflicts: 358000 | #Constraints: 42158
546.70/548.18 c #Conflicts: 359000 | #Constraints: 43158
546.70/548.18 c #Conflicts: 360000 | #Constraints: 44158
546.70/548.18 c #Conflicts: 361000 | #Constraints: 45158
546.70/548.18 c #Conflicts: 362000 | #Constraints: 46158
652.33/654.07 c #Conflicts: 363000 | #Constraints: 47158
652.33/654.07 c #Conflicts: 364000 | #Constraints: 48158
652.33/654.07 c #Conflicts: 365000 | #Constraints: 49158
652.33/654.07 c #Conflicts: 366000 | #Constraints: 50158
652.33/654.07 c #Conflicts: 367000 | #Constraints: 51158
652.33/654.07 c #Conflicts: 368000 | #Constraints: 52158
652.33/654.07 c #Conflicts: 369000 | #Constraints: 53158
652.33/654.07 c INPROCESSING
652.33/654.07 c GARBAGE COLLECT
652.33/654.07 c #Conflicts: 370000 | #Constraints: 42172
652.33/654.07 c #Conflicts: 371000 | #Constraints: 43172
652.33/654.07 c #Conflicts: 372000 | #Constraints: 44172
652.33/654.07 c #Conflicts: 373000 | #Constraints: 45172
652.33/654.07 c #Conflicts: 374000 | #Constraints: 46172
652.33/654.07 c #Conflicts: 375000 | #Constraints: 47172
652.33/654.07 c #Conflicts: 376000 | #Constraints: 48172
652.33/654.07 c #Conflicts: 377000 | #Constraints: 49172
652.33/654.07 c #Conflicts: 378000 | #Constraints: 50172
652.33/654.07 c #Conflicts: 379000 | #Constraints: 51172
652.33/654.07 c #Conflicts: 380000 | #Constraints: 52172
652.33/654.07 c #Conflicts: 381000 | #Constraints: 53172
652.33/654.07 c INPROCESSING
652.33/654.07 c GARBAGE COLLECT
652.33/654.07 c #Conflicts: 382000 | #Constraints: 41957
652.33/654.07 c #Conflicts: 383000 | #Constraints: 42957
652.33/654.07 c #Conflicts: 384000 | #Constraints: 43957
652.33/654.07 c #Conflicts: 385000 | #Constraints: 44957
652.33/654.07 c #Conflicts: 386000 | #Constraints: 45957
652.33/654.07 c #Conflicts: 387000 | #Constraints: 46957
652.33/654.07 c #Conflicts: 388000 | #Constraints: 47957
652.33/654.07 c #Conflicts: 389000 | #Constraints: 48957
652.33/654.07 c #Conflicts: 390000 | #Constraints: 49957
652.33/654.07 c #Conflicts: 391000 | #Constraints: 50957
652.33/654.07 c #Conflicts: 392000 | #Constraints: 51957
652.33/654.07 c #Conflicts: 393000 | #Constraints: 52957
652.33/654.07 c #Conflicts: 394000 | #Constraints: 53957
652.33/654.07 c INPROCESSING
652.33/654.07 c GARBAGE COLLECT
652.33/654.07 c #Conflicts: 395000 | #Constraints: 42567
652.33/654.07 c #Conflicts: 396000 | #Constraints: 43567
652.33/654.07 c #Conflicts: 397000 | #Constraints: 44567
652.33/654.07 c #Conflicts: 398000 | #Constraints: 45567
652.33/654.07 c #Conflicts: 399000 | #Constraints: 46567
652.33/654.07 c #Conflicts: 400000 | #Constraints: 47567
652.33/654.07 c #Conflicts: 401000 | #Constraints: 48567
652.33/654.07 c #Conflicts: 402000 | #Constraints: 49567
652.33/654.07 c #Conflicts: 403000 | #Constraints: 50567
652.33/654.07 c #Conflicts: 404000 | #Constraints: 51567
652.33/654.07 c #Conflicts: 405000 | #Constraints: 52567
652.33/654.07 c #Conflicts: 406000 | #Constraints: 53567
652.33/654.07 c #Conflicts: 407000 | #Constraints: 54567
652.33/654.07 c INPROCESSING
652.33/654.07 c GARBAGE COLLECT
652.33/654.07 c #Conflicts: 408000 | #Constraints: 42948
652.33/654.07 c #Conflicts: 409000 | #Constraints: 43948
652.33/654.07 c #Conflicts: 410000 | #Constraints: 44948
652.33/654.07 c #Conflicts: 411000 | #Constraints: 45948
652.33/654.07 c #Conflicts: 412000 | #Constraints: 46948
652.33/654.07 c #Conflicts: 413000 | #Constraints: 47948
652.33/654.07 c #Conflicts: 414000 | #Constraints: 48948
652.33/654.07 c #Conflicts: 415000 | #Constraints: 49948
652.33/654.07 c #Conflicts: 416000 | #Constraints: 50948
652.33/654.07 c #Conflicts: 417000 | #Constraints: 51948
652.33/654.07 c #Conflicts: 418000 | #Constraints: 52948
652.33/654.07 c #Conflicts: 419000 | #Constraints: 53948
652.33/654.07 c #Conflicts: 420000 | #Constraints: 54948
652.33/654.07 c INPROCESSING
652.33/654.07 c GARBAGE COLLECT
652.33/654.07 c #Conflicts: 421000 | #Constraints: 43162
652.33/654.07 c #Conflicts: 422000 | #Constraints: 44162
652.33/654.07 c #Conflicts: 423000 | #Constraints: 45162
652.33/654.07 c #Conflicts: 424000 | #Constraints: 46162
652.33/654.07 c #Conflicts: 425000 | #Constraints: 47162
652.33/654.07 c #Conflicts: 426000 | #Constraints: 48162
652.33/654.07 c #Conflicts: 427000 | #Constraints: 49162
652.33/654.07 c #Conflicts: 428000 | #Constraints: 50162
652.33/654.07 c #Conflicts: 429000 | #Constraints: 51162
652.33/654.07 c #Conflicts: 430000 | #Constraints: 52162
652.33/654.07 c #Conflicts: 431000 | #Constraints: 53162
652.33/654.07 c #Conflicts: 432000 | #Constraints: 54162
652.33/654.07 c #Conflicts: 433000 | #Constraints: 55162
652.33/654.07 c INPROCESSING
652.33/654.07 c GARBAGE COLLECT
652.33/654.07 c #Conflicts: 434000 | #Constraints: 43207
652.33/654.07 c #Conflicts: 435000 | #Constraints: 44207
652.33/654.07 c #Conflicts: 436000 | #Constraints: 45207
652.33/654.07 c #Conflicts: 437000 | #Constraints: 46207
858.38/860.66 c #Conflicts: 438000 | #Constraints: 47207
858.38/860.66 c #Conflicts: 439000 | #Constraints: 48207
858.38/860.66 c #Conflicts: 440000 | #Constraints: 49207
858.38/860.66 c #Conflicts: 441000 | #Constraints: 50207
858.38/860.66 c #Conflicts: 442000 | #Constraints: 51207
858.38/860.66 c #Conflicts: 443000 | #Constraints: 52207
858.38/860.66 c #Conflicts: 444000 | #Constraints: 53207
858.38/860.66 c #Conflicts: 445000 | #Constraints: 54207
858.38/860.66 c #Conflicts: 446000 | #Constraints: 55207
858.38/860.66 c INPROCESSING
858.38/860.66 c GARBAGE COLLECT
858.38/860.66 c #Conflicts: 447000 | #Constraints: 43011
858.38/860.66 c #Conflicts: 448000 | #Constraints: 44011
858.38/860.66 c #Conflicts: 449000 | #Constraints: 45011
858.38/860.66 c #Conflicts: 450000 | #Constraints: 46011
858.38/860.66 c #Conflicts: 451000 | #Constraints: 47011
858.38/860.66 c #Conflicts: 452000 | #Constraints: 48011
858.38/860.66 c #Conflicts: 453000 | #Constraints: 49011
858.38/860.66 c #Conflicts: 454000 | #Constraints: 50011
858.38/860.66 c #Conflicts: 455000 | #Constraints: 51011
858.38/860.66 c #Conflicts: 456000 | #Constraints: 52011
858.38/860.66 c #Conflicts: 457000 | #Constraints: 53011
858.38/860.66 c #Conflicts: 458000 | #Constraints: 54011
858.38/860.66 c #Conflicts: 459000 | #Constraints: 55011
858.38/860.66 c #Conflicts: 460000 | #Constraints: 56011
858.38/860.66 c INPROCESSING
858.38/860.66 c GARBAGE COLLECT
858.38/860.66 c #Conflicts: 461000 | #Constraints: 43617
858.38/860.66 c #Conflicts: 462000 | #Constraints: 44617
858.38/860.66 c #Conflicts: 463000 | #Constraints: 45617
858.38/860.66 c #Conflicts: 464000 | #Constraints: 46617
858.38/860.66 c #Conflicts: 465000 | #Constraints: 47617
858.38/860.66 c #Conflicts: 466000 | #Constraints: 48617
858.38/860.66 c #Conflicts: 467000 | #Constraints: 49617
858.38/860.66 c #Conflicts: 468000 | #Constraints: 50617
858.38/860.66 c #Conflicts: 469000 | #Constraints: 51617
858.38/860.66 c #Conflicts: 470000 | #Constraints: 52617
858.38/860.66 c #Conflicts: 471000 | #Constraints: 53617
858.38/860.66 c #Conflicts: 472000 | #Constraints: 54617
858.38/860.66 c #Conflicts: 473000 | #Constraints: 55617
858.38/860.66 c #Conflicts: 474000 | #Constraints: 56617
858.38/860.66 c INPROCESSING
858.38/860.66 c GARBAGE COLLECT
858.38/860.66 c #Conflicts: 475000 | #Constraints: 44031
858.38/860.66 c #Conflicts: 476000 | #Constraints: 45031
858.38/860.66 c #Conflicts: 477000 | #Constraints: 46031
858.38/860.66 c #Conflicts: 478000 | #Constraints: 47031
858.38/860.66 c #Conflicts: 479000 | #Constraints: 48031
858.38/860.66 c #Conflicts: 480000 | #Constraints: 49031
858.38/860.66 c #Conflicts: 481000 | #Constraints: 50031
858.38/860.66 c #Conflicts: 482000 | #Constraints: 51031
858.38/860.66 c #Conflicts: 483000 | #Constraints: 52031
858.38/860.66 c #Conflicts: 484000 | #Constraints: 53031
858.38/860.66 c #Conflicts: 485000 | #Constraints: 54031
858.38/860.66 c #Conflicts: 486000 | #Constraints: 55031
858.38/860.66 c #Conflicts: 487000 | #Constraints: 56031
858.38/860.66 c #Conflicts: 488000 | #Constraints: 57031
858.38/860.66 c INPROCESSING
858.38/860.66 c GARBAGE COLLECT
858.38/860.66 c #Conflicts: 489000 | #Constraints: 44248
858.38/860.66 c #Conflicts: 490000 | #Constraints: 45248
858.38/860.66 c #Conflicts: 491000 | #Constraints: 46248
858.38/860.66 c #Conflicts: 492000 | #Constraints: 47248
858.38/860.66 c #Conflicts: 493000 | #Constraints: 48248
858.38/860.66 c #Conflicts: 494000 | #Constraints: 49248
858.38/860.66 c #Conflicts: 495000 | #Constraints: 50248
858.38/860.66 c #Conflicts: 496000 | #Constraints: 51248
858.38/860.66 c #Conflicts: 497000 | #Constraints: 52248
858.38/860.66 c #Conflicts: 498000 | #Constraints: 53248
858.38/860.66 c #Conflicts: 499000 | #Constraints: 54248
858.38/860.66 c #Conflicts: 500000 | #Constraints: 55248
858.38/860.66 c #Conflicts: 501000 | #Constraints: 56248
858.38/860.66 c #Conflicts: 502000 | #Constraints: 57248
858.38/860.66 c INPROCESSING
858.38/860.66 c GARBAGE COLLECT
858.38/860.66 c #Conflicts: 503000 | #Constraints: 44211
858.38/860.66 c #Conflicts: 504000 | #Constraints: 45211
858.38/860.66 c #Conflicts: 505000 | #Constraints: 46211
858.38/860.66 c #Conflicts: 506000 | #Constraints: 47211
858.38/860.66 c #Conflicts: 507000 | #Constraints: 48211
858.38/860.66 c #Conflicts: 508000 | #Constraints: 49211
858.38/860.66 c #Conflicts: 509000 | #Constraints: 50211
858.38/860.66 c #Conflicts: 510000 | #Constraints: 51211
858.38/860.66 c #Conflicts: 511000 | #Constraints: 52211
858.38/860.66 c #Conflicts: 512000 | #Constraints: 53211
858.38/860.66 c #Conflicts: 513000 | #Constraints: 54211
979.96/982.54 c #Conflicts: 514000 | #Constraints: 55211
979.96/982.54 c #Conflicts: 515000 | #Constraints: 56211
979.96/982.54 c #Conflicts: 516000 | #Constraints: 57211
979.96/982.54 c INPROCESSING
979.96/982.54 c GARBAGE COLLECT
979.96/982.54 c #Conflicts: 517000 | #Constraints: 43977
979.96/982.54 c #Conflicts: 518000 | #Constraints: 44977
979.96/982.54 c #Conflicts: 519000 | #Constraints: 45977
979.96/982.54 c #Conflicts: 520000 | #Constraints: 46977
979.96/982.54 c #Conflicts: 521000 | #Constraints: 47977
979.96/982.54 c #Conflicts: 522000 | #Constraints: 48977
979.96/982.54 c #Conflicts: 523000 | #Constraints: 49977
979.96/982.54 c #Conflicts: 524000 | #Constraints: 50977
979.96/982.54 c #Conflicts: 525000 | #Constraints: 51977
979.96/982.54 c #Conflicts: 526000 | #Constraints: 52977
979.96/982.54 c #Conflicts: 527000 | #Constraints: 53977
979.96/982.54 c #Conflicts: 528000 | #Constraints: 54977
979.96/982.54 c #Conflicts: 529000 | #Constraints: 55977
979.96/982.54 c #Conflicts: 530000 | #Constraints: 56977
979.96/982.54 c #Conflicts: 531000 | #Constraints: 57977
979.96/982.54 c INPROCESSING
979.96/982.54 c GARBAGE COLLECT
979.96/982.54 c #Conflicts: 532000 | #Constraints: 44609
979.96/982.54 c #Conflicts: 533000 | #Constraints: 45609
979.96/982.54 c #Conflicts: 534000 | #Constraints: 46609
979.96/982.54 c #Conflicts: 535000 | #Constraints: 47609
979.96/982.54 c #Conflicts: 536000 | #Constraints: 48609
979.96/982.54 c #Conflicts: 537000 | #Constraints: 49609
979.96/982.54 c #Conflicts: 538000 | #Constraints: 50609
979.96/982.54 c #Conflicts: 539000 | #Constraints: 51609
979.96/982.54 c #Conflicts: 540000 | #Constraints: 52609
979.96/982.54 c #Conflicts: 541000 | #Constraints: 53609
979.96/982.54 c #Conflicts: 542000 | #Constraints: 54609
979.96/982.54 c #Conflicts: 543000 | #Constraints: 55609
979.96/982.54 c #Conflicts: 544000 | #Constraints: 56609
979.96/982.54 c #Conflicts: 545000 | #Constraints: 57609
979.96/982.54 c #Conflicts: 546000 | #Constraints: 58609
979.96/982.54 c INPROCESSING
979.96/982.54 c GARBAGE COLLECT
979.96/982.54 c #Conflicts: 547000 | #Constraints: 45017
979.96/982.54 c #Conflicts: 548000 | #Constraints: 46017
979.96/982.54 c #Conflicts: 549000 | #Constraints: 47017
979.96/982.54 c #Conflicts: 550000 | #Constraints: 48017
979.96/982.54 c #Conflicts: 551000 | #Constraints: 49017
979.96/982.54 c #Conflicts: 552000 | #Constraints: 50017
979.96/982.54 c #Conflicts: 553000 | #Constraints: 51017
979.96/982.54 c #Conflicts: 554000 | #Constraints: 52017
979.96/982.54 c #Conflicts: 555000 | #Constraints: 53017
979.96/982.54 c #Conflicts: 556000 | #Constraints: 54017
979.96/982.54 c #Conflicts: 557000 | #Constraints: 55017
979.96/982.54 c #Conflicts: 558000 | #Constraints: 56017
979.96/982.54 c #Conflicts: 559000 | #Constraints: 57017
979.96/982.54 c #Conflicts: 560000 | #Constraints: 58017
979.96/982.54 c #Conflicts: 561000 | #Constraints: 59017
979.96/982.54 c INPROCESSING
979.96/982.54 c GARBAGE COLLECT
979.96/982.54 c #Conflicts: 562000 | #Constraints: 45182
979.96/982.54 c #Conflicts: 563000 | #Constraints: 46182
979.96/982.54 c #Conflicts: 564000 | #Constraints: 47182
979.96/982.54 c #Conflicts: 565000 | #Constraints: 48182
979.96/982.54 c #Conflicts: 566000 | #Constraints: 49182
979.96/982.54 c #Conflicts: 567000 | #Constraints: 50182
979.96/982.54 c #Conflicts: 568000 | #Constraints: 51182
979.96/982.54 c #Conflicts: 569000 | #Constraints: 52182
979.96/982.54 c #Conflicts: 570000 | #Constraints: 53182
979.96/982.54 c #Conflicts: 571000 | #Constraints: 54182
979.96/982.54 c #Conflicts: 572000 | #Constraints: 55182
979.96/982.54 c #Conflicts: 573000 | #Constraints: 56182
979.96/982.54 c #Conflicts: 574000 | #Constraints: 57182
979.96/982.54 c #Conflicts: 575000 | #Constraints: 58182
979.96/982.54 c #Conflicts: 576000 | #Constraints: 59182
979.96/982.54 c INPROCESSING
979.96/982.54 c GARBAGE COLLECT
979.96/982.54 c #Conflicts: 577000 | #Constraints: 45213
979.96/982.54 c #Conflicts: 578000 | #Constraints: 46213
979.96/982.54 c #Conflicts: 579000 | #Constraints: 47213
979.96/982.54 c #Conflicts: 580000 | #Constraints: 48213
979.96/982.54 c #Conflicts: 581000 | #Constraints: 49213
979.96/982.54 c #Conflicts: 582000 | #Constraints: 50213
979.96/982.54 c #Conflicts: 583000 | #Constraints: 51213
979.96/982.54 c #Conflicts: 584000 | #Constraints: 52213
979.96/982.54 c #Conflicts: 585000 | #Constraints: 53213
979.96/982.54 c #Conflicts: 586000 | #Constraints: 54213
979.96/982.54 c #Conflicts: 587000 | #Constraints: 55213
979.96/982.54 c #Conflicts: 588000 | #Constraints: 56213
1114.13/1117.06 c #Conflicts: 589000 | #Constraints: 57213
1114.13/1117.06 c #Conflicts: 590000 | #Constraints: 58213
1114.13/1117.06 c #Conflicts: 591000 | #Constraints: 59213
1114.13/1117.06 c INPROCESSING
1114.13/1117.06 c GARBAGE COLLECT
1114.13/1117.06 c #Conflicts: 592000 | #Constraints: 44976
1114.13/1117.06 c #Conflicts: 593000 | #Constraints: 45976
1114.13/1117.06 c #Conflicts: 594000 | #Constraints: 46976
1114.13/1117.06 c #Conflicts: 595000 | #Constraints: 47976
1114.13/1117.06 c #Conflicts: 596000 | #Constraints: 48976
1114.13/1117.06 c #Conflicts: 597000 | #Constraints: 49976
1114.13/1117.06 c #Conflicts: 598000 | #Constraints: 50976
1114.13/1117.06 c #Conflicts: 599000 | #Constraints: 51976
1114.13/1117.06 c #Conflicts: 600000 | #Constraints: 52976
1114.13/1117.06 c #Conflicts: 601000 | #Constraints: 53976
1114.13/1117.06 c #Conflicts: 602000 | #Constraints: 54976
1114.13/1117.06 c #Conflicts: 603000 | #Constraints: 55976
1114.13/1117.06 c #Conflicts: 604000 | #Constraints: 56976
1114.13/1117.06 c #Conflicts: 605000 | #Constraints: 57976
1114.13/1117.06 c #Conflicts: 606000 | #Constraints: 58976
1114.13/1117.06 c #Conflicts: 607000 | #Constraints: 59976
1114.13/1117.06 c INPROCESSING
1114.13/1117.06 c GARBAGE COLLECT
1114.13/1117.06 c #Conflicts: 608000 | #Constraints: 45570
1114.13/1117.06 c #Conflicts: 609000 | #Constraints: 46570
1114.13/1117.06 c #Conflicts: 610000 | #Constraints: 47570
1114.13/1117.06 c #Conflicts: 611000 | #Constraints: 48570
1114.13/1117.06 c #Conflicts: 612000 | #Constraints: 49570
1114.13/1117.06 c #Conflicts: 613000 | #Constraints: 50570
1114.13/1117.06 c #Conflicts: 614000 | #Constraints: 51570
1114.13/1117.06 c #Conflicts: 615000 | #Constraints: 52570
1114.13/1117.06 c #Conflicts: 616000 | #Constraints: 53570
1114.13/1117.06 c #Conflicts: 617000 | #Constraints: 54570
1114.13/1117.06 c #Conflicts: 618000 | #Constraints: 55570
1114.13/1117.06 c #Conflicts: 619000 | #Constraints: 56570
1114.13/1117.06 c #Conflicts: 620000 | #Constraints: 57570
1114.13/1117.06 c #Conflicts: 621000 | #Constraints: 58570
1114.13/1117.06 c #Conflicts: 622000 | #Constraints: 59570
1114.13/1117.06 c #Conflicts: 623000 | #Constraints: 60570
1114.13/1117.06 c INPROCESSING
1114.13/1117.06 c GARBAGE COLLECT
1114.13/1117.06 c #Conflicts: 624000 | #Constraints: 45972
1114.13/1117.06 c #Conflicts: 625000 | #Constraints: 46972
1114.13/1117.06 c #Conflicts: 626000 | #Constraints: 47972
1114.13/1117.06 c #Conflicts: 627000 | #Constraints: 48972
1114.13/1117.06 c #Conflicts: 628000 | #Constraints: 49972
1114.13/1117.06 c #Conflicts: 629000 | #Constraints: 50972
1114.13/1117.06 c #Conflicts: 630000 | #Constraints: 51972
1114.13/1117.06 c #Conflicts: 631000 | #Constraints: 52972
1114.13/1117.06 c #Conflicts: 632000 | #Constraints: 53972
1114.13/1117.06 c #Conflicts: 633000 | #Constraints: 54972
1114.13/1117.06 c #Conflicts: 634000 | #Constraints: 55972
1114.13/1117.06 c #Conflicts: 635000 | #Constraints: 56972
1114.13/1117.06 c #Conflicts: 636000 | #Constraints: 57972
1114.13/1117.06 c #Conflicts: 637000 | #Constraints: 58972
1114.13/1117.06 c #Conflicts: 638000 | #Constraints: 59972
1114.13/1117.06 c #Conflicts: 639000 | #Constraints: 60972
1114.13/1117.06 c INPROCESSING
1114.13/1117.06 c GARBAGE COLLECT
1114.13/1117.06 c #Conflicts: 640000 | #Constraints: 46207
1114.13/1117.06 c #Conflicts: 641000 | #Constraints: 47207
1114.13/1117.06 c #Conflicts: 642000 | #Constraints: 48207
1114.13/1117.06 c #Conflicts: 643000 | #Constraints: 49207
1114.13/1117.06 c #Conflicts: 644000 | #Constraints: 50207
1114.13/1117.06 c #Conflicts: 645000 | #Constraints: 51207
1114.13/1117.06 c #Conflicts: 646000 | #Constraints: 52207
1114.13/1117.06 c #Conflicts: 647000 | #Constraints: 53207
1114.13/1117.06 c #Conflicts: 648000 | #Constraints: 54207
1114.13/1117.06 c #Conflicts: 649000 | #Constraints: 55207
1114.13/1117.06 c #Conflicts: 650000 | #Constraints: 56207
1114.13/1117.06 c #Conflicts: 651000 | #Constraints: 57207
1114.13/1117.06 c #Conflicts: 652000 | #Constraints: 58207
1114.13/1117.06 c #Conflicts: 653000 | #Constraints: 59207
1114.13/1117.06 c #Conflicts: 654000 | #Constraints: 60207
1114.13/1117.06 c #Conflicts: 655000 | #Constraints: 61207
1114.13/1117.06 c INPROCESSING
1114.13/1117.06 c GARBAGE COLLECT
1114.13/1117.06 c #Conflicts: 656000 | #Constraints: 46191
1114.13/1117.06 c #Conflicts: 657000 | #Constraints: 47191
1114.13/1117.06 c #Conflicts: 658000 | #Constraints: 48191
1114.13/1117.06 c #Conflicts: 659000 | #Constraints: 49191
1114.13/1117.06 c #Conflicts: 660000 | #Constraints: 50191
1114.13/1117.06 c #Conflicts: 661000 | #Constraints: 51191
1114.13/1117.06 c #Conflicts: 662000 | #Constraints: 52191
1114.13/1117.06 c #Conflicts: 663000 | #Constraints: 53191
1114.13/1117.06 c #Conflicts: 664000 | #Constraints: 54191
1269.52/1272.89 c #Conflicts: 665000 | #Constraints: 55191
1269.52/1272.89 c #Conflicts: 666000 | #Constraints: 56191
1269.52/1272.89 c #Conflicts: 667000 | #Constraints: 57191
1269.52/1272.89 c #Conflicts: 668000 | #Constraints: 58191
1269.52/1272.89 c #Conflicts: 669000 | #Constraints: 59191
1269.52/1272.89 c #Conflicts: 670000 | #Constraints: 60191
1269.52/1272.89 c #Conflicts: 671000 | #Constraints: 61191
1269.52/1272.89 c INPROCESSING
1269.52/1272.89 c GARBAGE COLLECT
1269.52/1272.89 c #Conflicts: 672000 | #Constraints: 45966
1269.52/1272.89 c #Conflicts: 673000 | #Constraints: 46966
1269.52/1272.89 c #Conflicts: 674000 | #Constraints: 47966
1269.52/1272.89 c #Conflicts: 675000 | #Constraints: 48966
1269.52/1272.89 c #Conflicts: 676000 | #Constraints: 49966
1269.52/1272.89 c #Conflicts: 677000 | #Constraints: 50966
1269.52/1272.89 c #Conflicts: 678000 | #Constraints: 51966
1269.52/1272.89 c #Conflicts: 679000 | #Constraints: 52966
1269.52/1272.89 c #Conflicts: 680000 | #Constraints: 53966
1269.52/1272.89 c #Conflicts: 681000 | #Constraints: 54966
1269.52/1272.89 c #Conflicts: 682000 | #Constraints: 55966
1269.52/1272.89 c #Conflicts: 683000 | #Constraints: 56966
1269.52/1272.89 c #Conflicts: 684000 | #Constraints: 57966
1269.52/1272.89 c #Conflicts: 685000 | #Constraints: 58966
1269.52/1272.89 c #Conflicts: 686000 | #Constraints: 59966
1269.52/1272.89 c #Conflicts: 687000 | #Constraints: 60966
1269.52/1272.89 c #Conflicts: 688000 | #Constraints: 61966
1269.52/1272.89 c INPROCESSING
1269.52/1272.89 c GARBAGE COLLECT
1269.52/1272.89 c #Conflicts: 689000 | #Constraints: 46611
1269.52/1272.89 c #Conflicts: 690000 | #Constraints: 47611
1269.52/1272.89 c #Conflicts: 691000 | #Constraints: 48611
1269.52/1272.89 c #Conflicts: 692000 | #Constraints: 49611
1269.52/1272.89 c #Conflicts: 693000 | #Constraints: 50611
1269.52/1272.89 c #Conflicts: 694000 | #Constraints: 51611
1269.52/1272.89 c #Conflicts: 695000 | #Constraints: 52611
1269.52/1272.89 c #Conflicts: 696000 | #Constraints: 53611
1269.52/1272.89 c #Conflicts: 697000 | #Constraints: 54611
1269.52/1272.89 c #Conflicts: 698000 | #Constraints: 55611
1269.52/1272.89 c #Conflicts: 699000 | #Constraints: 56611
1269.52/1272.89 c #Conflicts: 700000 | #Constraints: 57611
1269.52/1272.89 c #Conflicts: 701000 | #Constraints: 58611
1269.52/1272.89 c #Conflicts: 702000 | #Constraints: 59611
1269.52/1272.89 c #Conflicts: 703000 | #Constraints: 60611
1269.52/1272.89 c #Conflicts: 704000 | #Constraints: 61611
1269.52/1272.89 c #Conflicts: 705000 | #Constraints: 62611
1269.52/1272.89 c INPROCESSING
1269.52/1272.89 c GARBAGE COLLECT
1269.52/1272.89 c #Conflicts: 706000 | #Constraints: 47095
1269.52/1272.89 c #Conflicts: 707000 | #Constraints: 48095
1269.52/1272.89 c #Conflicts: 708000 | #Constraints: 49095
1269.52/1272.89 c #Conflicts: 709000 | #Constraints: 50095
1269.52/1272.89 c #Conflicts: 710000 | #Constraints: 51095
1269.52/1272.89 c #Conflicts: 711000 | #Constraints: 52095
1269.52/1272.89 c #Conflicts: 712000 | #Constraints: 53095
1269.52/1272.89 c #Conflicts: 713000 | #Constraints: 54095
1269.52/1272.89 c #Conflicts: 714000 | #Constraints: 55095
1269.52/1272.89 c #Conflicts: 715000 | #Constraints: 56095
1269.52/1272.89 c #Conflicts: 716000 | #Constraints: 57095
1269.52/1272.89 c #Conflicts: 717000 | #Constraints: 58095
1269.52/1272.89 c #Conflicts: 718000 | #Constraints: 59095
1269.52/1272.89 c #Conflicts: 719000 | #Constraints: 60095
1269.52/1272.89 c #Conflicts: 720000 | #Constraints: 61095
1269.52/1272.89 c #Conflicts: 721000 | #Constraints: 62095
1269.52/1272.89 c #Conflicts: 722000 | #Constraints: 63095
1269.52/1272.89 c INPROCESSING
1269.52/1272.89 c GARBAGE COLLECT
1269.52/1272.89 c #Conflicts: 723000 | #Constraints: 47300
1269.52/1272.89 c #Conflicts: 724000 | #Constraints: 48300
1269.52/1272.89 c #Conflicts: 725000 | #Constraints: 49300
1269.52/1272.89 c #Conflicts: 726000 | #Constraints: 50300
1269.52/1272.89 c #Conflicts: 727000 | #Constraints: 51300
1269.52/1272.89 c #Conflicts: 728000 | #Constraints: 52300
1269.52/1272.89 c #Conflicts: 729000 | #Constraints: 53300
1269.52/1272.89 c #Conflicts: 730000 | #Constraints: 54300
1269.52/1272.89 c #Conflicts: 731000 | #Constraints: 55300
1269.52/1272.89 c #Conflicts: 732000 | #Constraints: 56300
1269.52/1272.89 c #Conflicts: 733000 | #Constraints: 57300
1269.52/1272.89 c #Conflicts: 734000 | #Constraints: 58300
1269.52/1272.89 c #Conflicts: 735000 | #Constraints: 59300
1269.52/1272.89 c #Conflicts: 736000 | #Constraints: 60300
1269.52/1272.89 c #Conflicts: 737000 | #Constraints: 61300
1269.52/1272.89 c #Conflicts: 738000 | #Constraints: 62300
1269.52/1272.89 c #Conflicts: 739000 | #Constraints: 63300
1269.52/1272.89 c INPROCESSING
1269.52/1272.89 c GARBAGE COLLECT
1403.68/1407.36 c #Conflicts: 740000 | #Constraints: 47294
1403.68/1407.36 c #Conflicts: 741000 | #Constraints: 48294
1403.68/1407.36 c #Conflicts: 742000 | #Constraints: 49294
1403.68/1407.36 c #Conflicts: 743000 | #Constraints: 50294
1403.68/1407.36 c #Conflicts: 744000 | #Constraints: 51294
1403.68/1407.36 c #Conflicts: 745000 | #Constraints: 52294
1403.68/1407.36 c #Conflicts: 746000 | #Constraints: 53294
1403.68/1407.36 c #Conflicts: 747000 | #Constraints: 54294
1403.68/1407.36 c #Conflicts: 748000 | #Constraints: 55294
1403.68/1407.36 c #Conflicts: 749000 | #Constraints: 56294
1403.68/1407.36 c #Conflicts: 750000 | #Constraints: 57294
1403.68/1407.36 c #Conflicts: 751000 | #Constraints: 58294
1403.68/1407.36 c #Conflicts: 752000 | #Constraints: 59294
1403.68/1407.36 c #Conflicts: 753000 | #Constraints: 60294
1403.68/1407.36 c #Conflicts: 754000 | #Constraints: 61294
1403.68/1407.36 c #Conflicts: 755000 | #Constraints: 62294
1403.68/1407.36 c #Conflicts: 756000 | #Constraints: 63294
1403.68/1407.36 c INPROCESSING
1403.68/1407.36 c GARBAGE COLLECT
1403.68/1407.36 c #Conflicts: 757000 | #Constraints: 47048
1403.68/1407.36 c #Conflicts: 758000 | #Constraints: 48048
1403.68/1407.36 c #Conflicts: 759000 | #Constraints: 49048
1403.68/1407.36 c #Conflicts: 760000 | #Constraints: 50048
1403.68/1407.36 c #Conflicts: 761000 | #Constraints: 51048
1403.68/1407.36 c #Conflicts: 762000 | #Constraints: 52048
1403.68/1407.36 c #Conflicts: 763000 | #Constraints: 53048
1403.68/1407.36 c #Conflicts: 764000 | #Constraints: 54048
1403.68/1407.36 c #Conflicts: 765000 | #Constraints: 55048
1403.68/1407.36 c #Conflicts: 766000 | #Constraints: 56048
1403.68/1407.36 c #Conflicts: 767000 | #Constraints: 57048
1403.68/1407.36 c #Conflicts: 768000 | #Constraints: 58048
1403.68/1407.36 c #Conflicts: 769000 | #Constraints: 59048
1403.68/1407.36 c #Conflicts: 770000 | #Constraints: 60048
1403.68/1407.36 c #Conflicts: 771000 | #Constraints: 61048
1403.68/1407.36 c #Conflicts: 772000 | #Constraints: 62048
1403.68/1407.36 c #Conflicts: 773000 | #Constraints: 63048
1403.68/1407.36 c #Conflicts: 774000 | #Constraints: 64048
1403.68/1407.36 c INPROCESSING
1403.68/1407.36 c GARBAGE COLLECT
1403.68/1407.36 c #Conflicts: 775000 | #Constraints: 47631
1403.68/1407.36 c #Conflicts: 776000 | #Constraints: 48631
1403.68/1407.36 c #Conflicts: 777000 | #Constraints: 49631
1403.68/1407.36 c #Conflicts: 778000 | #Constraints: 50631
1403.68/1407.36 c #Conflicts: 779000 | #Constraints: 51631
1403.68/1407.36 c #Conflicts: 780000 | #Constraints: 52631
1403.68/1407.36 c #Conflicts: 781000 | #Constraints: 53631
1403.68/1407.36 c #Conflicts: 782000 | #Constraints: 54631
1403.68/1407.36 c #Conflicts: 783000 | #Constraints: 55631
1403.68/1407.36 c #Conflicts: 784000 | #Constraints: 56631
1403.68/1407.36 c #Conflicts: 785000 | #Constraints: 57631
1403.68/1407.36 c #Conflicts: 786000 | #Constraints: 58631
1403.68/1407.36 c #Conflicts: 787000 | #Constraints: 59631
1403.68/1407.36 c #Conflicts: 788000 | #Constraints: 60631
1403.68/1407.36 c #Conflicts: 789000 | #Constraints: 61631
1403.68/1407.36 c #Conflicts: 790000 | #Constraints: 62631
1403.68/1407.36 c #Conflicts: 791000 | #Constraints: 63631
1403.68/1407.36 c #Conflicts: 792000 | #Constraints: 64631
1403.68/1407.36 c INPROCESSING
1403.68/1407.36 c GARBAGE COLLECT
1403.68/1407.36 c #Conflicts: 793000 | #Constraints: 48019
1403.68/1407.36 c #Conflicts: 794000 | #Constraints: 49019
1403.68/1407.36 c #Conflicts: 795000 | #Constraints: 50019
1403.68/1407.36 c #Conflicts: 796000 | #Constraints: 51019
1403.68/1407.36 c #Conflicts: 797000 | #Constraints: 52019
1403.68/1407.36 c #Conflicts: 798000 | #Constraints: 53019
1403.68/1407.36 c #Conflicts: 799000 | #Constraints: 54019
1403.68/1407.36 c #Conflicts: 800000 | #Constraints: 55019
1403.68/1407.36 c #Conflicts: 801000 | #Constraints: 56019
1403.68/1407.36 c #Conflicts: 802000 | #Constraints: 57019
1403.68/1407.36 c #Conflicts: 803000 | #Constraints: 58019
1403.68/1407.36 c #Conflicts: 804000 | #Constraints: 59019
1403.68/1407.36 c #Conflicts: 805000 | #Constraints: 60019
1403.68/1407.36 c #Conflicts: 806000 | #Constraints: 61019
1403.68/1407.36 c #Conflicts: 807000 | #Constraints: 62019
1403.68/1407.36 c #Conflicts: 808000 | #Constraints: 63019
1403.68/1407.36 c #Conflicts: 809000 | #Constraints: 64019
1403.68/1407.36 c #Conflicts: 810000 | #Constraints: 65019
1403.68/1407.36 c INPROCESSING
1403.68/1407.36 c GARBAGE COLLECT
1403.68/1407.36 c #Conflicts: 811000 | #Constraints: 48249
1403.68/1407.36 c #Conflicts: 812000 | #Constraints: 49249
1403.68/1407.36 c #Conflicts: 813000 | #Constraints: 50249
1403.68/1407.36 c #Conflicts: 814000 | #Constraints: 51249
1403.68/1407.36 c #Conflicts: 815000 | #Constraints: 52249
1403.68/1407.36 c #Conflicts: 816000 | #Constraints: 53249
1982.78/1988.12 c #Conflicts: 817000 | #Constraints: 54249
1982.78/1988.12 c #Conflicts: 818000 | #Constraints: 55249
1982.78/1988.12 c #Conflicts: 819000 | #Constraints: 56249
1982.78/1988.12 c #Conflicts: 820000 | #Constraints: 57249
1982.78/1988.12 c #Conflicts: 821000 | #Constraints: 58249
1982.78/1988.12 c #Conflicts: 822000 | #Constraints: 59249
1982.78/1988.12 c #Conflicts: 823000 | #Constraints: 60249
1982.78/1988.12 c #Conflicts: 824000 | #Constraints: 61249
1982.78/1988.12 c #Conflicts: 825000 | #Constraints: 62249
1982.78/1988.12 c #Conflicts: 826000 | #Constraints: 63249
1982.78/1988.12 c #Conflicts: 827000 | #Constraints: 64249
1982.78/1988.12 c #Conflicts: 828000 | #Constraints: 65249
1982.78/1988.12 c #Conflicts: 829000 | #Constraints: 66249
1982.78/1988.12 c #Conflicts: 830000 | #Constraints: 67249
1982.78/1988.12 c #Conflicts: 831000 | #Constraints: 68249
1982.78/1988.12 c #Conflicts: 832000 | #Constraints: 69249
1982.78/1988.12 c #Conflicts: 833000 | #Constraints: 70249
1982.78/1988.12 c #Conflicts: 834000 | #Constraints: 71249
1982.78/1988.12 c #Conflicts: 835000 | #Constraints: 72249
1982.78/1988.12 c #Conflicts: 836000 | #Constraints: 73249
1982.78/1988.12 c #Conflicts: 837000 | #Constraints: 74249
1982.78/1988.12 c #Conflicts: 838000 | #Constraints: 75249
1982.78/1988.12 c #Conflicts: 839000 | #Constraints: 76249
1982.78/1988.12 c #Conflicts: 840000 | #Constraints: 77249
1982.78/1988.12 c #Conflicts: 841000 | #Constraints: 78249
1982.78/1988.12 c #Conflicts: 842000 | #Constraints: 79249
1982.78/1988.12 c #Conflicts: 843000 | #Constraints: 80249
1982.78/1988.12 c #Conflicts: 844000 | #Constraints: 81249
1982.78/1988.12 c #Conflicts: 845000 | #Constraints: 82249
1982.78/1988.12 c #Conflicts: 846000 | #Constraints: 83249
1982.78/1988.12 c #Conflicts: 847000 | #Constraints: 84249
1982.78/1988.12 c #Conflicts: 848000 | #Constraints: 85249
1982.78/1988.12 c #Conflicts: 849000 | #Constraints: 86249
1982.78/1988.12 c #Conflicts: 850000 | #Constraints: 87249
1982.78/1988.12 c #Conflicts: 851000 | #Constraints: 88249
1982.78/1988.12 c #Conflicts: 852000 | #Constraints: 89249
1982.78/1988.12 c #Conflicts: 853000 | #Constraints: 90249
1982.78/1988.12 c #Conflicts: 854000 | #Constraints: 91249
1982.78/1988.12 c #Conflicts: 855000 | #Constraints: 92249
1982.78/1988.12 c #Conflicts: 856000 | #Constraints: 93249
1982.78/1988.12 c #Conflicts: 857000 | #Constraints: 94249
1982.78/1988.12 c #Conflicts: 858000 | #Constraints: 95249
1982.78/1988.12 c #Conflicts: 859000 | #Constraints: 96249
1982.78/1988.12 c #Conflicts: 860000 | #Constraints: 97249
1982.78/1988.12 c #Conflicts: 861000 | #Constraints: 98249
1982.78/1988.12 c #Conflicts: 862000 | #Constraints: 99249
1982.78/1988.12 c #Conflicts: 863000 | #Constraints: 100249
1982.78/1988.12 c #Conflicts: 864000 | #Constraints: 101249
1982.78/1988.12 c #Conflicts: 865000 | #Constraints: 102249
1982.78/1988.12 c #Conflicts: 866000 | #Constraints: 103249
1982.78/1988.12 c #Conflicts: 867000 | #Constraints: 104249
1982.78/1988.12 c #Conflicts: 868000 | #Constraints: 105249
1982.78/1988.12 c #Conflicts: 869000 | #Constraints: 106249
1982.78/1988.12 c #Conflicts: 870000 | #Constraints: 107249
1982.78/1988.12 c #Conflicts: 871000 | #Constraints: 108249
1982.78/1988.12 c #Conflicts: 872000 | #Constraints: 109249
1982.78/1988.12 c #Conflicts: 873000 | #Constraints: 110249
1982.78/1988.12 c #Conflicts: 874000 | #Constraints: 111249
1982.78/1988.12 c #Conflicts: 875000 | #Constraints: 112249
1982.78/1988.12 c #Conflicts: 876000 | #Constraints: 113249
1982.78/1988.12 c #Conflicts: 877000 | #Constraints: 114249
1982.78/1988.12 c #Conflicts: 878000 | #Constraints: 115249
1982.78/1988.12 c #Conflicts: 879000 | #Constraints: 116249
1982.78/1988.12 c #Conflicts: 880000 | #Constraints: 117249
1982.78/1988.12 c #Conflicts: 881000 | #Constraints: 118249
1982.78/1988.12 c #Conflicts: 882000 | #Constraints: 119249
1982.78/1988.12 c #Conflicts: 883000 | #Constraints: 120249
1982.78/1988.12 c #Conflicts: 884000 | #Constraints: 121249
1982.78/1988.12 c #Conflicts: 885000 | #Constraints: 122249
1982.78/1988.12 c #Conflicts: 886000 | #Constraints: 123249
1982.78/1988.12 c #Conflicts: 887000 | #Constraints: 124249
1982.78/1988.12 c #Conflicts: 888000 | #Constraints: 125249
1982.78/1988.12 c #Conflicts: 889000 | #Constraints: 126249
1982.78/1988.12 c #Conflicts: 890000 | #Constraints: 127249
1982.78/1988.12 c #Conflicts: 891000 | #Constraints: 128249
1982.78/1988.12 c #Conflicts: 892000 | #Constraints: 129249
1982.78/1988.12 c #Conflicts: 893000 | #Constraints: 130249
1982.78/1988.12 c #Conflicts: 894000 | #Constraints: 131249
2327.41/2333.71 c #Conflicts: 895000 | #Constraints: 132249
2327.41/2333.71 c #Conflicts: 896000 | #Constraints: 133249
2327.41/2333.71 c #Conflicts: 897000 | #Constraints: 134249
2327.41/2333.71 c #Conflicts: 898000 | #Constraints: 135249
2327.41/2333.71 c #Conflicts: 899000 | #Constraints: 136249
2327.41/2333.71 c #Conflicts: 900000 | #Constraints: 137249
2327.41/2333.71 c #Conflicts: 901000 | #Constraints: 138249
2327.41/2333.71 c #Conflicts: 902000 | #Constraints: 139249
2327.41/2333.71 c INPROCESSING
2327.41/2333.71 c GARBAGE COLLECT
2327.41/2333.71 c #Conflicts: 903000 | #Constraints: 85354
2327.41/2333.71 c #Conflicts: 904000 | #Constraints: 86354
2327.41/2333.71 c #Conflicts: 905000 | #Constraints: 87354
2327.41/2333.71 c #Conflicts: 906000 | #Constraints: 88354
2327.41/2333.71 c #Conflicts: 907000 | #Constraints: 89354
2327.41/2333.71 c #Conflicts: 908000 | #Constraints: 90354
2327.41/2333.71 c #Conflicts: 909000 | #Constraints: 91354
2327.41/2333.71 c #Conflicts: 910000 | #Constraints: 92354
2327.41/2333.71 c #Conflicts: 911000 | #Constraints: 93354
2327.41/2333.71 c #Conflicts: 912000 | #Constraints: 94354
2327.41/2333.71 c #Conflicts: 913000 | #Constraints: 95354
2327.41/2333.71 c #Conflicts: 914000 | #Constraints: 96354
2327.41/2333.71 c #Conflicts: 915000 | #Constraints: 97354
2327.41/2333.71 c #Conflicts: 916000 | #Constraints: 98354
2327.41/2333.71 c #Conflicts: 917000 | #Constraints: 99354
2327.41/2333.71 c #Conflicts: 918000 | #Constraints: 100354
2327.41/2333.71 c #Conflicts: 919000 | #Constraints: 101354
2327.41/2333.71 c #Conflicts: 920000 | #Constraints: 102354
2327.41/2333.71 c #Conflicts: 921000 | #Constraints: 103354
2327.41/2333.71 c INPROCESSING
2327.41/2333.71 c GARBAGE COLLECT
2327.41/2333.71 c #Conflicts: 922000 | #Constraints: 67268
2327.41/2333.71 c #Conflicts: 923000 | #Constraints: 68268
2327.41/2333.71 c #Conflicts: 924000 | #Constraints: 69268
2327.41/2333.71 c #Conflicts: 925000 | #Constraints: 70268
2327.41/2333.71 c #Conflicts: 926000 | #Constraints: 71268
2327.41/2333.71 c #Conflicts: 927000 | #Constraints: 72268
2327.41/2333.71 c #Conflicts: 928000 | #Constraints: 73268
2327.41/2333.71 c #Conflicts: 929000 | #Constraints: 74268
2327.41/2333.71 c #Conflicts: 930000 | #Constraints: 75268
2327.41/2333.71 c #Conflicts: 931000 | #Constraints: 76268
2327.41/2333.71 c #Conflicts: 932000 | #Constraints: 77268
2327.41/2333.71 c #Conflicts: 933000 | #Constraints: 78268
2327.41/2333.71 c #Conflicts: 934000 | #Constraints: 79268
2327.41/2333.71 c #Conflicts: 935000 | #Constraints: 80268
2327.41/2333.71 c #Conflicts: 936000 | #Constraints: 81268
2327.41/2333.71 c #Conflicts: 937000 | #Constraints: 82268
2327.41/2333.71 c #Conflicts: 938000 | #Constraints: 83268
2327.41/2333.71 c #Conflicts: 939000 | #Constraints: 84268
2327.41/2333.71 c #Conflicts: 940000 | #Constraints: 85268
2327.41/2333.71 c INPROCESSING
2327.41/2333.71 c GARBAGE COLLECT
2327.41/2333.71 c #Conflicts: 941000 | #Constraints: 57968
2327.41/2333.71 c #Conflicts: 942000 | #Constraints: 58968
2327.41/2333.71 c #Conflicts: 943000 | #Constraints: 59968
2327.41/2333.71 c #Conflicts: 944000 | #Constraints: 60968
2327.41/2333.71 c #Conflicts: 945000 | #Constraints: 61968
2327.41/2333.71 c #Conflicts: 946000 | #Constraints: 62968
2327.41/2333.71 c #Conflicts: 947000 | #Constraints: 63968
2327.41/2333.71 c #Conflicts: 948000 | #Constraints: 64968
2327.41/2333.71 c #Conflicts: 949000 | #Constraints: 65968
2327.41/2333.71 c #Conflicts: 950000 | #Constraints: 66968
2327.41/2333.71 c #Conflicts: 951000 | #Constraints: 67968
2327.41/2333.71 c #Conflicts: 952000 | #Constraints: 68968
2327.41/2333.71 c #Conflicts: 953000 | #Constraints: 69968
2327.41/2333.71 c #Conflicts: 954000 | #Constraints: 70968
2327.41/2333.71 c #Conflicts: 955000 | #Constraints: 71968
2327.41/2333.71 c #Conflicts: 956000 | #Constraints: 72968
2327.41/2333.71 c #Conflicts: 957000 | #Constraints: 73968
2327.41/2333.71 c #Conflicts: 958000 | #Constraints: 74968
2327.41/2333.71 c #Conflicts: 959000 | #Constraints: 75968
2327.41/2333.71 c #Conflicts: 960000 | #Constraints: 76968
2327.41/2333.71 c INPROCESSING
2327.41/2333.71 c GARBAGE COLLECT
2327.41/2333.71 c #Conflicts: 961000 | #Constraints: 54009
2327.41/2333.71 c #Conflicts: 962000 | #Constraints: 55009
2327.41/2333.71 c #Conflicts: 963000 | #Constraints: 56009
2327.41/2333.71 c #Conflicts: 964000 | #Constraints: 57009
2327.41/2333.71 c #Conflicts: 965000 | #Constraints: 58009
2327.41/2333.71 c #Conflicts: 966000 | #Constraints: 59009
2327.41/2333.71 c #Conflicts: 967000 | #Constraints: 60009
2327.41/2333.71 c #Conflicts: 968000 | #Constraints: 61009
2327.41/2333.71 c #Conflicts: 969000 | #Constraints: 62009
2327.41/2333.71 c #Conflicts: 970000 | #Constraints: 63009
2327.41/2333.71 c #Conflicts: 971000 | #Constraints: 64009
2559.44/2566.46 c #Conflicts: 972000 | #Constraints: 65009
2559.44/2566.46 c #Conflicts: 973000 | #Constraints: 66009
2559.44/2566.46 c #Conflicts: 974000 | #Constraints: 67009
2559.44/2566.46 c #Conflicts: 975000 | #Constraints: 68009
2559.44/2566.46 c #Conflicts: 976000 | #Constraints: 69009
2559.44/2566.46 c #Conflicts: 977000 | #Constraints: 70009
2559.44/2566.46 c #Conflicts: 978000 | #Constraints: 71009
2559.44/2566.46 c #Conflicts: 979000 | #Constraints: 72009
2559.44/2566.46 c #Conflicts: 980000 | #Constraints: 73009
2559.44/2566.46 c INPROCESSING
2559.44/2566.46 c GARBAGE COLLECT
2559.44/2566.46 c #Conflicts: 981000 | #Constraints: 52091
2559.44/2566.46 c #Conflicts: 982000 | #Constraints: 53091
2559.44/2566.46 c #Conflicts: 983000 | #Constraints: 54091
2559.44/2566.46 c #Conflicts: 984000 | #Constraints: 55091
2559.44/2566.46 c #Conflicts: 985000 | #Constraints: 56091
2559.44/2566.46 c #Conflicts: 986000 | #Constraints: 57091
2559.44/2566.46 c #Conflicts: 987000 | #Constraints: 58091
2559.44/2566.46 c #Conflicts: 988000 | #Constraints: 59091
2559.44/2566.46 c #Conflicts: 989000 | #Constraints: 60091
2559.44/2566.46 c #Conflicts: 990000 | #Constraints: 61091
2559.44/2566.46 c #Conflicts: 991000 | #Constraints: 62091
2559.44/2566.46 c #Conflicts: 992000 | #Constraints: 63091
2559.44/2566.46 c #Conflicts: 993000 | #Constraints: 64091
2559.44/2566.46 c #Conflicts: 994000 | #Constraints: 65091
2559.44/2566.46 c #Conflicts: 995000 | #Constraints: 66091
2559.44/2566.46 c #Conflicts: 996000 | #Constraints: 67091
2559.44/2566.46 c #Conflicts: 997000 | #Constraints: 68091
2559.44/2566.46 c #Conflicts: 998000 | #Constraints: 69091
2559.44/2566.46 c #Conflicts: 999000 | #Constraints: 70091
2559.44/2566.46 c #Conflicts: 1000000 | #Constraints: 71091
2559.44/2566.46 c INPROCESSING
2559.44/2566.46 c GARBAGE COLLECT
2559.44/2566.46 c #Conflicts: 1001000 | #Constraints: 51108
2559.44/2566.46 c #Conflicts: 1002000 | #Constraints: 52108
2559.44/2566.46 c #Conflicts: 1003000 | #Constraints: 53108
2559.44/2566.46 c #Conflicts: 1004000 | #Constraints: 54108
2559.44/2566.46 c #Conflicts: 1005000 | #Constraints: 55108
2559.44/2566.46 c #Conflicts: 1006000 | #Constraints: 56108
2559.44/2566.46 c #Conflicts: 1007000 | #Constraints: 57108
2559.44/2566.46 c #Conflicts: 1008000 | #Constraints: 58108
2559.44/2566.46 c #Conflicts: 1009000 | #Constraints: 59108
2559.44/2566.46 c #Conflicts: 1010000 | #Constraints: 60108
2559.44/2566.46 c #Conflicts: 1011000 | #Constraints: 61108
2559.44/2566.46 c #Conflicts: 1012000 | #Constraints: 62108
2559.44/2566.46 c #Conflicts: 1013000 | #Constraints: 63108
2559.44/2566.46 c #Conflicts: 1014000 | #Constraints: 64108
2559.44/2566.46 c #Conflicts: 1015000 | #Constraints: 65108
2559.44/2566.46 c #Conflicts: 1016000 | #Constraints: 66108
2559.44/2566.46 c #Conflicts: 1017000 | #Constraints: 67108
2559.44/2566.46 c #Conflicts: 1018000 | #Constraints: 68108
2559.44/2566.46 c #Conflicts: 1019000 | #Constraints: 69108
2559.44/2566.46 c #Conflicts: 1020000 | #Constraints: 70108
2559.44/2566.46 c INPROCESSING
2559.44/2566.46 c GARBAGE COLLECT
2559.44/2566.46 c #Conflicts: 1021000 | #Constraints: 50422
2559.44/2566.46 c #Conflicts: 1022000 | #Constraints: 51422
2559.44/2566.46 c #Conflicts: 1023000 | #Constraints: 52422
2559.44/2566.46 c #Conflicts: 1024000 | #Constraints: 53422
2559.44/2566.46 c #Conflicts: 1025000 | #Constraints: 54422
2559.44/2566.46 c #Conflicts: 1026000 | #Constraints: 55422
2559.44/2566.46 c #Conflicts: 1027000 | #Constraints: 56422
2559.44/2566.46 c #Conflicts: 1028000 | #Constraints: 57422
2559.44/2566.46 c #Conflicts: 1029000 | #Constraints: 58422
2559.44/2566.46 c #Conflicts: 1030000 | #Constraints: 59422
2559.44/2566.46 c #Conflicts: 1031000 | #Constraints: 60422
2559.44/2566.46 c #Conflicts: 1032000 | #Constraints: 61422
2559.44/2566.46 c #Conflicts: 1033000 | #Constraints: 62422
2559.44/2566.46 c #Conflicts: 1034000 | #Constraints: 63422
2559.44/2566.46 c #Conflicts: 1035000 | #Constraints: 64422
2559.44/2566.46 c #Conflicts: 1036000 | #Constraints: 65422
2559.44/2566.46 c #Conflicts: 1037000 | #Constraints: 66422
2559.44/2566.46 c #Conflicts: 1038000 | #Constraints: 67422
2559.44/2566.46 c #Conflicts: 1039000 | #Constraints: 68422
2559.44/2566.46 c #Conflicts: 1040000 | #Constraints: 69422
2559.44/2566.46 c #Conflicts: 1041000 | #Constraints: 70422
2559.44/2566.46 c INPROCESSING
2559.44/2566.46 c GARBAGE COLLECT
2559.44/2566.46 c #Conflicts: 1042000 | #Constraints: 50840
2559.44/2566.46 c #Conflicts: 1043000 | #Constraints: 51840
2559.44/2566.46 c #Conflicts: 1044000 | #Constraints: 52840
2559.44/2566.46 c #Conflicts: 1045000 | #Constraints: 53840
2559.44/2566.46 c #Conflicts: 1046000 | #Constraints: 54840
2559.44/2566.46 c #Conflicts: 1047000 | #Constraints: 55840
3098.20/3107.10 c #Conflicts: 1048000 | #Constraints: 56840
3098.20/3107.10 c #Conflicts: 1049000 | #Constraints: 57840
3098.20/3107.10 c #Conflicts: 1050000 | #Constraints: 58840
3098.20/3107.10 c #Conflicts: 1051000 | #Constraints: 59840
3098.20/3107.10 c #Conflicts: 1052000 | #Constraints: 60840
3098.20/3107.10 c #Conflicts: 1053000 | #Constraints: 61840
3098.20/3107.10 c #Conflicts: 1054000 | #Constraints: 62840
3098.20/3107.10 c #Conflicts: 1055000 | #Constraints: 63840
3098.20/3107.10 c #Conflicts: 1056000 | #Constraints: 64840
3098.20/3107.10 c #Conflicts: 1057000 | #Constraints: 65840
3098.20/3107.10 c #Conflicts: 1058000 | #Constraints: 66840
3098.20/3107.10 c #Conflicts: 1059000 | #Constraints: 67840
3098.20/3107.10 c #Conflicts: 1060000 | #Constraints: 68840
3098.20/3107.10 c #Conflicts: 1061000 | #Constraints: 69840
3098.20/3107.10 c #Conflicts: 1062000 | #Constraints: 70840
3098.20/3107.10 c INPROCESSING
3098.20/3107.10 c GARBAGE COLLECT
3098.20/3107.10 c #Conflicts: 1063000 | #Constraints: 51172
3098.20/3107.10 c #Conflicts: 1064000 | #Constraints: 52172
3098.20/3107.10 c #Conflicts: 1065000 | #Constraints: 53172
3098.20/3107.10 c #Conflicts: 1066000 | #Constraints: 54172
3098.20/3107.10 c #Conflicts: 1067000 | #Constraints: 55172
3098.20/3107.10 c #Conflicts: 1068000 | #Constraints: 56172
3098.20/3107.10 c #Conflicts: 1069000 | #Constraints: 57172
3098.20/3107.10 c #Conflicts: 1070000 | #Constraints: 58172
3098.20/3107.10 c #Conflicts: 1071000 | #Constraints: 59172
3098.20/3107.10 c #Conflicts: 1072000 | #Constraints: 60172
3098.20/3107.10 c #Conflicts: 1073000 | #Constraints: 61172
3098.20/3107.10 c #Conflicts: 1074000 | #Constraints: 62172
3098.20/3107.10 c #Conflicts: 1075000 | #Constraints: 63172
3098.20/3107.10 c #Conflicts: 1076000 | #Constraints: 64172
3098.20/3107.10 c #Conflicts: 1077000 | #Constraints: 65172
3098.20/3107.10 c #Conflicts: 1078000 | #Constraints: 66172
3098.20/3107.10 c #Conflicts: 1079000 | #Constraints: 67172
3098.20/3107.10 c #Conflicts: 1080000 | #Constraints: 68172
3098.20/3107.10 c #Conflicts: 1081000 | #Constraints: 69172
3098.20/3107.10 c #Conflicts: 1082000 | #Constraints: 70172
3098.20/3107.10 c #Conflicts: 1083000 | #Constraints: 71172
3098.20/3107.10 c #Conflicts: 1084000 | #Constraints: 72172
3098.20/3107.10 c #Conflicts: 1085000 | #Constraints: 73172
3098.20/3107.10 c #Conflicts: 1086000 | #Constraints: 74172
3098.20/3107.10 c #Conflicts: 1087000 | #Constraints: 75172
3098.20/3107.10 c #Conflicts: 1088000 | #Constraints: 76172
3098.20/3107.10 c #Conflicts: 1089000 | #Constraints: 77172
3098.20/3107.10 c #Conflicts: 1090000 | #Constraints: 78172
3098.20/3107.10 c #Conflicts: 1091000 | #Constraints: 79172
3098.20/3107.10 c #Conflicts: 1092000 | #Constraints: 80172
3098.20/3107.10 c #Conflicts: 1093000 | #Constraints: 81172
3098.20/3107.10 c #Conflicts: 1094000 | #Constraints: 82172
3098.20/3107.10 c #Conflicts: 1095000 | #Constraints: 83172
3098.20/3107.10 c #Conflicts: 1096000 | #Constraints: 84172
3098.20/3107.10 c #Conflicts: 1097000 | #Constraints: 85172
3098.20/3107.10 c #Conflicts: 1098000 | #Constraints: 86172
3098.20/3107.10 c #Conflicts: 1099000 | #Constraints: 87172
3098.20/3107.10 c #Conflicts: 1100000 | #Constraints: 88172
3098.20/3107.10 c #Conflicts: 1101000 | #Constraints: 89172
3098.20/3107.10 c #Conflicts: 1102000 | #Constraints: 90172
3098.20/3107.10 c #Conflicts: 1103000 | #Constraints: 91172
3098.20/3107.10 c #Conflicts: 1104000 | #Constraints: 92172
3098.20/3107.10 c #Conflicts: 1105000 | #Constraints: 93172
3098.20/3107.10 c #Conflicts: 1106000 | #Constraints: 94172
3098.20/3107.10 c #Conflicts: 1107000 | #Constraints: 95172
3098.20/3107.10 c #Conflicts: 1108000 | #Constraints: 96172
3098.20/3107.10 c #Conflicts: 1109000 | #Constraints: 97172
3098.20/3107.10 c #Conflicts: 1110000 | #Constraints: 98172
3098.20/3107.10 c #Conflicts: 1111000 | #Constraints: 99172
3098.20/3107.10 c #Conflicts: 1112000 | #Constraints: 100172
3098.20/3107.10 c #Conflicts: 1113000 | #Constraints: 101172
3098.20/3107.10 c #Conflicts: 1114000 | #Constraints: 102172
3098.20/3107.10 c #Conflicts: 1115000 | #Constraints: 103172
3098.20/3107.10 c #Conflicts: 1116000 | #Constraints: 104172
3098.20/3107.10 c #Conflicts: 1117000 | #Constraints: 105172
3098.20/3107.10 c #Conflicts: 1118000 | #Constraints: 106172
3098.20/3107.10 c #Conflicts: 1119000 | #Constraints: 107172
3098.20/3107.10 c #Conflicts: 1120000 | #Constraints: 108172
3098.20/3107.10 c #Conflicts: 1121000 | #Constraints: 109172
3098.20/3107.10 c #Conflicts: 1122000 | #Constraints: 110172
3098.20/3107.10 c #Conflicts: 1123000 | #Constraints: 111172
3098.20/3107.10 c #Conflicts: 1124000 | #Constraints: 112172
3098.20/3107.10 c #Conflicts: 1125000 | #Constraints: 113172
3509.69/3519.90 c #Conflicts: 1126000 | #Constraints: 114172
3509.69/3519.90 c #Conflicts: 1127000 | #Constraints: 115172
3509.69/3519.90 c #Conflicts: 1128000 | #Constraints: 116172
3509.69/3519.90 c #Conflicts: 1129000 | #Constraints: 117172
3509.69/3519.90 c #Conflicts: 1130000 | #Constraints: 118172
3509.69/3519.90 c #Conflicts: 1131000 | #Constraints: 119172
3509.69/3519.90 c #Conflicts: 1132000 | #Constraints: 120172
3509.69/3519.90 c #Conflicts: 1133000 | #Constraints: 121172
3509.69/3519.90 c #Conflicts: 1134000 | #Constraints: 122172
3509.69/3519.90 c #Conflicts: 1135000 | #Constraints: 123172
3509.69/3519.90 c #Conflicts: 1136000 | #Constraints: 124172
3509.69/3519.90 c #Conflicts: 1137000 | #Constraints: 125172
3509.69/3519.90 c #Conflicts: 1138000 | #Constraints: 126172
3509.69/3519.90 c #Conflicts: 1139000 | #Constraints: 127172
3509.69/3519.90 c #Conflicts: 1140000 | #Constraints: 128172
3509.69/3519.90 c #Conflicts: 1141000 | #Constraints: 129172
3509.69/3519.90 c #Conflicts: 1142000 | #Constraints: 130172
3509.69/3519.90 c #Conflicts: 1143000 | #Constraints: 131172
3509.69/3519.90 c #Conflicts: 1144000 | #Constraints: 132172
3509.69/3519.90 c #Conflicts: 1145000 | #Constraints: 133172
3509.69/3519.90 c #Conflicts: 1146000 | #Constraints: 134172
3509.69/3519.90 c #Conflicts: 1147000 | #Constraints: 135172
3509.69/3519.90 c #Conflicts: 1148000 | #Constraints: 136172
3509.69/3519.90 c #Conflicts: 1149000 | #Constraints: 137172
3509.69/3519.90 c #Conflicts: 1150000 | #Constraints: 138172
3509.69/3519.90 c #Conflicts: 1151000 | #Constraints: 139172
3509.69/3519.90 c #Conflicts: 1152000 | #Constraints: 140172
3509.69/3519.90 c #Conflicts: 1153000 | #Constraints: 141172
3509.69/3519.90 c #Conflicts: 1154000 | #Constraints: 142172
3509.69/3519.90 c #Conflicts: 1155000 | #Constraints: 143172
3509.69/3519.90 c #Conflicts: 1156000 | #Constraints: 144172
3509.69/3519.90 c #Conflicts: 1157000 | #Constraints: 145172
3509.69/3519.90 c #Conflicts: 1158000 | #Constraints: 146172
3509.69/3519.90 c #Conflicts: 1159000 | #Constraints: 147172
3509.69/3519.90 c #Conflicts: 1160000 | #Constraints: 148172
3509.69/3519.90 c #Conflicts: 1161000 | #Constraints: 149172
3509.69/3519.90 c #Conflicts: 1162000 | #Constraints: 150172
3509.69/3519.90 c #Conflicts: 1163000 | #Constraints: 151172
3509.69/3519.90 c #Conflicts: 1164000 | #Constraints: 152172
3509.69/3519.90 c INPROCESSING
3509.69/3519.90 c GARBAGE COLLECT
3509.69/3519.90 c #Conflicts: 1165000 | #Constraints: 91446
3509.69/3519.90 c #Conflicts: 1166000 | #Constraints: 92446
3509.69/3519.90 c #Conflicts: 1167000 | #Constraints: 93446
3509.69/3519.90 c #Conflicts: 1168000 | #Constraints: 94446
3509.69/3519.90 c #Conflicts: 1169000 | #Constraints: 95446
3509.69/3519.90 c #Conflicts: 1170000 | #Constraints: 96446
3509.69/3519.90 c #Conflicts: 1171000 | #Constraints: 97446
3509.69/3519.90 c #Conflicts: 1172000 | #Constraints: 98446
3509.69/3519.90 c #Conflicts: 1173000 | #Constraints: 99446
3509.69/3519.90 c #Conflicts: 1174000 | #Constraints: 100446
3509.69/3519.90 c #Conflicts: 1175000 | #Constraints: 101446
3509.69/3519.90 c #Conflicts: 1176000 | #Constraints: 102446
3509.69/3519.90 c #Conflicts: 1177000 | #Constraints: 103446
3509.69/3519.90 c #Conflicts: 1178000 | #Constraints: 104446
3509.69/3519.90 c #Conflicts: 1179000 | #Constraints: 105446
3509.69/3519.90 c #Conflicts: 1180000 | #Constraints: 106446
3509.69/3519.90 c #Conflicts: 1181000 | #Constraints: 107446
3509.69/3519.90 c #Conflicts: 1182000 | #Constraints: 108446
3509.69/3519.90 c #Conflicts: 1183000 | #Constraints: 109446
3509.69/3519.90 c #Conflicts: 1184000 | #Constraints: 110446
3509.69/3519.90 c #Conflicts: 1185000 | #Constraints: 111446
3509.69/3519.90 c #Conflicts: 1186000 | #Constraints: 112446
3509.69/3519.90 c INPROCESSING
3509.69/3519.90 c GARBAGE COLLECT
3509.69/3519.90 c #Conflicts: 1187000 | #Constraints: 71581
3509.69/3519.90 c #Conflicts: 1188000 | #Constraints: 72581
3509.69/3519.90 c #Conflicts: 1189000 | #Constraints: 73581
3509.69/3519.90 c #Conflicts: 1190000 | #Constraints: 74581
3509.69/3519.90 c #Conflicts: 1191000 | #Constraints: 75581
3509.69/3519.90 c #Conflicts: 1192000 | #Constraints: 76581
3509.69/3519.90 c #Conflicts: 1193000 | #Constraints: 77581
3509.69/3519.90 c #Conflicts: 1194000 | #Constraints: 78581
3509.69/3519.90 c #Conflicts: 1195000 | #Constraints: 79581
3509.69/3519.90 c #Conflicts: 1196000 | #Constraints: 80581
3509.69/3519.90 c #Conflicts: 1197000 | #Constraints: 81581
3509.69/3519.90 c #Conflicts: 1198000 | #Constraints: 82581
3509.69/3519.90 c #Conflicts: 1199000 | #Constraints: 83581
3509.69/3519.90 c #Conflicts: 1200000 | #Constraints: 84581
3509.69/3519.90 c #Conflicts: 1201000 | #Constraints: 85581
3509.69/3519.90 c #Conflicts: 1202000 | #Constraints: 86581
3600.04/3610.50 c #Conflicts: 1203000 | #Constraints: 87581
3600.04/3610.50 c #Conflicts: 1204000 | #Constraints: 88581
3600.04/3610.50 c #Conflicts: 1205000 | #Constraints: 89581
3600.04/3610.50 c #Conflicts: 1206000 | #Constraints: 90581
3600.04/3610.50 c #Conflicts: 1207000 | #Constraints: 91581
3600.04/3610.50 c #Conflicts: 1208000 | #Constraints: 92581
3600.04/3610.50 c #Conflicts: 1209000 | #Constraints: 93581
3600.04/3610.50 c INPROCESSING
3600.04/3610.50 c GARBAGE COLLECT
3600.04/3610.50 c #Conflicts: 1210000 | #Constraints: 62559
3600.04/3610.50 c #Conflicts: 1211000 | #Constraints: 63559
3600.04/3610.50 c #Conflicts: 1212000 | #Constraints: 64559
3600.04/3610.50 c #Conflicts: 1213000 | #Constraints: 65559
3600.04/3610.50 c #Conflicts: 1214000 | #Constraints: 66559
3600.04/3610.50 c #Conflicts: 1215000 | #Constraints: 67559
3600.04/3610.50 c #Conflicts: 1216000 | #Constraints: 68559
3600.04/3610.50 c #Conflicts: 1217000 | #Constraints: 69559
3600.04/3610.50 c #Conflicts: 1218000 | #Constraints: 70559
3600.04/3610.50 c #Conflicts: 1219000 | #Constraints: 71559
3600.04/3610.50 c #Conflicts: 1220000 | #Constraints: 72559
3600.04/3610.50 c #Conflicts: 1221000 | #Constraints: 73559
3600.04/3610.50 c #Conflicts: 1222000 | #Constraints: 74559
3600.04/3610.50 c #Conflicts: 1223000 | #Constraints: 75559
3600.04/3610.50 c #Conflicts: 1224000 | #Constraints: 76559
3600.04/3610.50 c #Conflicts: 1225000 | #Constraints: 77559
3600.04/3610.50 c #Conflicts: 1226000 | #Constraints: 78559
3600.04/3610.50 c #Conflicts: 1227000 | #Constraints: 79559
3600.04/3610.50 c #Conflicts: 1228000 | #Constraints: 80559
3600.04/3610.50 c #Conflicts: 1229000 | #Constraints: 81559
3600.04/3610.50 c #Conflicts: 1230000 | #Constraints: 82559
3600.04/3610.50 c #Conflicts: 1231000 | #Constraints: 83559
3600.04/3610.50 c INPROCESSING
3600.04/3610.50 c GARBAGE COLLECT
3600.04/3610.50 c #Conflicts: 1232000 | #Constraints: 57388
3600.04/3610.50 c #Conflicts: 1233000 | #Constraints: 58388
3600.04/3610.50 c #Conflicts: 1234000 | #Constraints: 59388
3600.04/3610.50 c Program interrupted by user.
3600.04/3610.50 c cpu time 3583.57 s
3600.04/3610.50 c deterministic time 848339794608 8.48e+11
3600.04/3610.50 c optimization time 4.05513 s
3600.04/3610.50 c total solve time 3579.44 s
3600.04/3610.50 c core-guided solve time 3579.44 s
3600.04/3610.50 c propagation time 2430.51 s
3600.04/3610.50 c conflict analysis time 1067.73 s
3600.04/3610.50 c propagations 789830290
3600.04/3610.50 c resolve steps 60771583
3600.04/3610.50 c decisions 15922248
3600.04/3610.50 c conflicts 1234629
3600.04/3610.50 c restarts 2308
3600.04/3610.50 c inprocessing phases 94
3600.04/3610.50 c input clauses 6553
3600.04/3610.50 c input cardinalities 112
3600.04/3610.50 c input general constraints 22288
3600.04/3610.50 c input average constraint length 4.61
3600.04/3610.50 c input average constraint degree 8.19
3600.04/3610.50 c learned clauses 573707
3600.04/3610.50 c learned cardinalities 73106
3600.04/3610.50 c learned general constraints 587815
3600.04/3610.50 c learned average constraint length 1823.13
3600.04/3610.50 c learned average constraint degree 653212.60
3600.04/3610.50 c watched constraints 577402
3600.04/3610.50 c counting constraints 32701
3600.04/3610.50 c gcd simplifications 77222
3600.04/3610.50 c detected cardinalities 1241
3600.04/3610.50 c weakened non-implied lits 157657232
3600.04/3610.50 c weakened non-implying lits 70866
3600.04/3610.50 c original variables 35169
3600.04/3610.50 c clausal propagations 142469785
3600.04/3610.50 c cardinality propagations 126468202
3600.04/3610.50 c watched propagations 81513458
3600.04/3610.50 c counting propagations 429103848
3600.04/3610.50 c watch lookups 11821133759
3600.04/3610.50 c watch backjump lookups 7448153764
3600.04/3610.50 c watch checks 778352257663
3600.04/3610.50 c propagation checks 44148057793
3600.04/3610.50 c constraint additions 4957482680
3600.04/3610.50 c trail pops 806956410
3600.04/3610.50 c formula constraints 28953
3600.04/3610.50 c learned constraints 1234628
3600.04/3610.50 c bound constraints 0
3600.04/3610.50 c core-guided constraints 0
3600.04/3610.50 c encountered formula constraints 56861320
3600.04/3610.50 c encountered learned constraints 5144892
3600.04/3610.50 c encountered bound constraints 0
3600.04/3610.50 c encountered core-guided constraints 0
3600.04/3610.50 c LP total time 0 s
3600.04/3610.50 c LP solve time 0 s
3600.04/3610.50 c LP constraints added 0
3600.04/3610.50 c LP constraints removed 0
3600.04/3610.50 c LP pivots internal 0
3600.04/3610.50 c LP pivots root 0
3600.04/3610.50 c LP calls 0
3600.04/3610.50 c LP optimalities 0
3600.04/3610.50 c LP no pivot count 0
3600.04/3610.50 c LP infeasibilities 0
3600.04/3610.50 c LP valid Farkas constraints 0
3600.04/3610.50 c LP learned Farkas constraints 0
3600.04/3610.50 c LP basis resets 0
3600.04/3610.50 c LP cycling count 0
3600.04/3610.50 c LP singular count 0
3600.04/3610.50 c LP no primal count 0
3600.04/3610.50 c LP no farkas count 0
3600.04/3610.50 c LP other issue count 0
3600.04/3610.50 c LP Gomory cuts 0
3600.04/3610.50 c LP learned cuts 0
3600.04/3610.50 c LP deleted cuts 0
3600.04/3610.50 c LP encountered Gomory constraints 0
3600.04/3610.50 c LP encountered Farkas constraints 0
3600.04/3610.50 c LP encountered learned Farkas constraints 0
3600.04/3610.50 c CG auxiliary variables introduced 0
3600.04/3610.50 c CG solutions found 0
3600.04/3610.50 c CG cores constructed 0
3600.04/3610.50 c CG core cardinality constraints returned 0
3600.04/3610.50 c CG unit cores 0
3600.04/3610.50 c CG single cores 0
3600.04/3610.50 c CG blocks removed during cardinality reduction 0
3600.04/3610.50 c CG first core best 0
3600.04/3610.50 c CG decision core best 0
3600.04/3610.50 c CG core reduction tie 0
3600.04/3610.50 c CG core degree average 0.00
3600.04/3610.50 c CG core slack average 0.00
3600.04/3610.50 c CG exhausted 0
3600.04/3610.50 c CG exhaust time 0 s
3600.04/3610.50 c CG trimmed 0
3600.04/3610.50 c CG trim time 0 s
3600.04/3610.50 c CG minimized 0
3600.04/3610.50 c CG minimize time 0 s
3600.04/3610.50 c CG am1 prop time 0.000735 s
3600.04/3610.50 c CG # am1s reformulated 0
3600.04/3610.50 c CG lower bound derived from am1s 0
3600.04/3610.50 c CG # clausal cores 0
3600.04/3610.50 c CG # cardinality cores 0
3600.04/3610.50 c CG # pb cores 0
3600.04/3610.50 c CG # pb reforms 0
3600.04/3610.50 c CG # cores discarded because of pb reform 0
3600.04/3610.50 d LOWERBOUND 0
3600.04/3610.50 d NCORES 0
3600.04/3610.50 d NPBCORES 0
3600.04/3610.50 d NPBREFORM 0
3600.04/3610.50 d NTRIMMED 0
3600.04/3610.50 d NEXHAUSTED 0
3600.04/3610.50 d NAM1S 0
3600.04/3610.50 d AM1LB 0
3600.04/3610.53 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (58571 MiB free)
memory of node 1: 64465 MiB (61660 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523972-1751599882/watcher-4523972-1751599882 -o /tmp/evaluation-result-4523972-1751599882/solver-4523972-1751599882 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751590160-82257 --watchdog 3760 pb-oll-rs HOME/instance-4523972-1751599882.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=83830, runsolver pid=83827
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.10 4.14 4.12 5/266 83831
/proc/meminfo: memFree=123124744/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=30568 memory=18752 CPUtime=0.09 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 2732 0 0 0 8 1 0 0 20 0 1 0 75666883 31301632 4688 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 7642 4688 1120 243 0 3891 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30568 KiB
Current children cumulated memory: 18752 KiB
[startup+0.205735 s]*
/proc/loadavg: 4.10 4.14 4.12 5/266 83831
/proc/meminfo: memFree=123125112/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=33280 memory=22112 CPUtime=0.2 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 3435 0 0 0 17 3 0 0 20 0 1 0 75666883 34078720 5528 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 8320 5528 1344 243 0 4569 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 22112 KiB
[startup+0.305596 s]*
/proc/loadavg: 4.10 4.14 4.12 5/266 83831
/proc/meminfo: memFree=123125112/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=33280 memory=22240 CPUtime=0.3 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 3460 0 0 0 27 3 0 0 20 0 1 0 75666883 34078720 5560 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 8320 5560 1344 243 0 4569 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 22240 KiB
[startup+0.70018 s]
/proc/loadavg: 4.10 4.14 4.12 5/266 83831
/proc/meminfo: memFree=123125112/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=41772 memory=28512 CPUtime=0.68 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 5031 0 0 0 64 4 0 0 20 0 1 0 75666883 42774528 7128 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 10443 7128 1344 243 0 6692 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41772 KiB
Current children cumulated memory: 28512 KiB
[startup+1.50017 s]
/proc/loadavg: 4.10 4.14 4.12 5/266 83831
/proc/meminfo: memFree=123121088/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=52724 memory=38704 CPUtime=1.48 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 6636 0 0 0 141 7 0 0 20 0 1 0 75666883 53989376 9676 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 13181 9676 1344 243 0 9430 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52724 KiB
Current children cumulated memory: 38704 KiB
[startup+3.10548 s]
/proc/loadavg: 4.10 4.14 4.12 5/265 83831
/proc/meminfo: memFree=123138248/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=52724 memory=41068 CPUtime=3.08 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 6734 0 0 0 299 9 0 0 20 0 1 0 75666883 53989376 10267 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 13181 10267 1344 243 0 9430 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 52724 KiB
Current children cumulated memory: 41068 KiB
[startup+6.30017 s]
/proc/loadavg: 4.10 4.14 4.12 5/265 83831
/proc/meminfo: memFree=123142944/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=68956 memory=58252 CPUtime=6.27 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 8482 0 0 0 611 16 0 0 20 0 1 0 75666883 70610944 14563 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 17239 14563 1344 243 0 13488 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 68956 KiB
Current children cumulated memory: 58252 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.13 4.12 5/265 83831
/proc/meminfo: memFree=123046096/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=93468 memory=71396 CPUtime=12.65 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 10258 0 0 0 1239 26 0 0 20 0 1 0 75666883 95711232 17849 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 23367 17849 1344 243 0 19616 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 93468 KiB
Current children cumulated memory: 71396 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.13 4.12 5/265 83831
/proc/meminfo: memFree=122989004/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=99080 memory=83228 CPUtime=25.42 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 11670 0 0 0 2498 44 0 0 20 0 1 0 75666883 101457920 20807 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 24770 20807 1344 243 0 21019 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 99080 KiB
Current children cumulated memory: 83228 KiB
[startup+51.1055 s]
/proc/loadavg: 4.10 4.13 4.12 5/265 83832
/proc/meminfo: memFree=122881640/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=142712 memory=104236 CPUtime=50.96 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 15394 0 0 0 5020 76 0 0 20 0 1 0 75666883 146137088 26059 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 35678 26059 1344 243 0 31927 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 142712 KiB
Current children cumulated memory: 104236 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/265 83879
/proc/meminfo: memFree=124617732/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=165152 memory=148992 CPUtime=102.01 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 21838 0 0 0 10058 143 0 0 20 0 1 0 75666883 169115648 37248 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 41288 37248 1344 243 0 37537 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 165152 KiB
Current children cumulated memory: 148992 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.11 4.11 5/266 83882
/proc/meminfo: memFree=124029912/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=232256 memory=181200 CPUtime=161.87 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 27590 0 0 0 15982 205 0 0 20 0 1 0 75666883 237830144 45300 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 58064 45300 1344 243 0 54313 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 232256 KiB
Current children cumulated memory: 181200 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/266 83884
/proc/meminfo: memFree=123633060/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=244656 memory=201708 CPUtime=221.72 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 31451 0 0 0 21892 280 0 0 20 0 1 0 75666883 250527744 50427 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 61164 50427 1344 243 0 57413 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 244656 KiB
Current children cumulated memory: 201708 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/266 83890
/proc/meminfo: memFree=122798956/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=261360 memory=246508 CPUtime=281.56 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 36033 0 0 0 27849 307 0 0 20 0 1 0 75666883 267632640 61627 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 65340 61627 1344 243 0 61589 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 261360 KiB
Current children cumulated memory: 246508 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/264 83891
/proc/meminfo: memFree=122368088/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=484884 memory=352388 CPUtime=341.41 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 39758 0 0 0 33817 324 0 0 20 0 1 0 75666883 496521216 88097 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 121221 88097 1344 243 0 117470 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 484884 KiB
Current children cumulated memory: 352388 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/264 83893
/proc/meminfo: memFree=122317408/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=492856 memory=360076 CPUtime=401.25 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 42173 0 0 0 39742 383 0 0 20 0 1 0 75666883 504684544 90019 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 123214 90019 1344 243 0 119463 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 492856 KiB
Current children cumulated memory: 360076 KiB
[startup+462.3 s]
/proc/loadavg: 3.67 4.00 4.06 4/257 83925
/proc/meminfo: memFree=122866440/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=499736 memory=366856 CPUtime=461.1 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 44253 0 0 0 45662 448 0 0 20 0 1 0 75666883 511729664 91714 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 124934 91714 1344 243 0 121183 0
Current children cumulated CPU time: 461.1 s
################
# More data... #
################
Current children cumulated memory: 1590244 KiB
[startup+2922.3 s]
/proc/loadavg: 2.13 2.10 2.32 3/251 84080
/proc/meminfo: memFree=111043820/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=1981640 memory=1592932 CPUtime=2914.13 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 133782 0 0 0 289955 1458 0 0 20 0 1 0 75666883 2029199360 398233 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 495410 398233 1344 243 0 491659 0
Current children cumulated CPU time: 2914.13 s
Current children cumulated vsize: 1981640 KiB
Current children cumulated memory: 1592932 KiB
[startup+2982.3 s]
/proc/loadavg: 2.10 2.10 2.30 3/251 84082
/proc/meminfo: memFree=110654476/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=1987144 memory=1597412 CPUtime=2973.92 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 134901 0 0 0 295930 1462 0 0 20 0 1 0 75666883 2034835456 399353 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 496786 399353 1344 243 0 493035 0
Current children cumulated CPU time: 2973.92 s
Current children cumulated vsize: 1987144 KiB
Current children cumulated memory: 1597412 KiB
[startup+3042.3 s]
/proc/loadavg: 2.12 2.09 2.28 3/252 84087
/proc/meminfo: memFree=109840680/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=1996748 memory=1604580 CPUtime=3033.72 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 136698 0 0 0 301903 1469 0 0 20 0 1 0 75666883 2044669952 401145 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 499187 401145 1344 243 0 495436 0
Current children cumulated CPU time: 3033.72 s
Current children cumulated vsize: 1996748 KiB
Current children cumulated memory: 1604580 KiB
[startup+3102.3 s]
/proc/loadavg: 2.10 2.09 2.27 3/251 84089
/proc/meminfo: memFree=109621968/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=2007052 memory=1612516 CPUtime=3093.51 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 138699 0 0 0 307872 1479 0 0 20 0 1 0 75666883 2055221248 403129 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 501763 403129 1344 243 0 498012 0
Current children cumulated CPU time: 3093.51 s
Current children cumulated vsize: 2007052 KiB
Current children cumulated memory: 1612516 KiB
[startup+3162.3 s]
/proc/loadavg: 2.08 2.09 2.26 3/251 84091
/proc/meminfo: memFree=109384124/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=2016592 memory=1620196 CPUtime=3153.31 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 140620 0 0 0 313841 1490 0 0 20 0 1 0 75666883 2064990208 405049 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 504148 405049 1344 243 0 500397 0
Current children cumulated CPU time: 3153.31 s
Current children cumulated vsize: 2016592 KiB
Current children cumulated memory: 1620196 KiB
[startup+3222.3 s]
/proc/loadavg: 2.15 2.10 2.25 3/251 84093
/proc/meminfo: memFree=109137240/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=2049492 memory=1646692 CPUtime=3213.11 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 147240 0 0 0 319800 1511 0 0 20 0 1 0 75666883 2098679808 411673 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 512373 411673 1344 243 0 508622 0
Current children cumulated CPU time: 3213.11 s
Current children cumulated vsize: 2049492 KiB
Current children cumulated memory: 1646692 KiB
[startup+3282.3 s]
/proc/loadavg: 2.10 2.09 2.24 3/251 84095
/proc/meminfo: memFree=108993540/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=2070360 memory=1663204 CPUtime=3272.9 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 151387 0 0 0 325762 1528 0 0 20 0 1 0 75666883 2120048640 415801 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 517590 415801 1344 243 0 513839 0
Current children cumulated CPU time: 3272.9 s
Current children cumulated vsize: 2070360 KiB
Current children cumulated memory: 1663204 KiB
[startup+3342.3 s]
/proc/loadavg: 2.08 2.09 2.23 3/252 84102
/proc/meminfo: memFree=108707712/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=2089116 memory=1678308 CPUtime=3332.69 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 155217 0 0 0 331724 1545 0 0 20 0 1 0 75666883 2139254784 419577 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 522279 419577 1344 243 0 518528 0
Current children cumulated CPU time: 3332.69 s
Current children cumulated vsize: 2089116 KiB
Current children cumulated memory: 1678308 KiB
[startup+3402.3 s]
/proc/loadavg: 2.13 2.10 2.22 3/251 84104
/proc/meminfo: memFree=108470680/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=2099776 memory=1687264 CPUtime=3392.48 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 157780 0 0 0 337689 1559 0 0 20 0 1 0 75666883 2150170624 421816 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 524944 421816 1344 243 0 521193 0
Current children cumulated CPU time: 3392.48 s
Current children cumulated vsize: 2099776 KiB
Current children cumulated memory: 1687264 KiB
[startup+3462.3 s]
/proc/loadavg: 2.10 2.09 2.21 3/251 84106
/proc/meminfo: memFree=108475232/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=2099776 memory=1687264 CPUtime=3452.29 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 157787 0 0 0 343647 1582 0 0 20 0 1 0 75666883 2150170624 421816 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 524944 421816 1344 243 0 521193 0
Current children cumulated CPU time: 3452.29 s
Current children cumulated vsize: 2099776 KiB
Current children cumulated memory: 1687264 KiB
[startup+3522.3 s]
/proc/loadavg: 2.14 2.10 2.20 3/251 84108
/proc/meminfo: memFree=108471396/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=2100088 memory=1687520 CPUtime=3512.09 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 157903 0 0 0 349594 1615 0 0 20 0 1 0 75666883 2150490112 421880 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 525022 421880 1344 243 0 521271 0
Current children cumulated CPU time: 3512.09 s
Current children cumulated vsize: 2100088 KiB
Current children cumulated memory: 1687520 KiB
[startup+3582.3 s]
/proc/loadavg: 1.62 1.97 2.15 2/245 84141
/proc/meminfo: memFree=124757624/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=2100088 memory=1687520 CPUtime=3571.92 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 157926 0 0 0 355552 1640 0 0 20 0 1 0 75666883 2150490112 421880 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 525022 421880 1344 243 0 521271 0
Current children cumulated CPU time: 3571.92 s
Current children cumulated vsize: 2100088 KiB
Current children cumulated memory: 1687520 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 1.45 1.90 2.12 2/246 84144
/proc/meminfo: memFree=124753648/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=2100088 memory=1687904 CPUtime=3600.04 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 157935 0 0 0 358357 1647 0 0 20 0 1 0 75666883 2150490112 421976 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 525022 421976 1344 243 0 521271 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2100088 KiB
Current children cumulated memory: 1687904 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.55 s]
# the end of solver process 83830 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.58 s, system=16.5207 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 1.45 1.90 2.12 2/246 84144
/proc/meminfo: memFree=124753648/131250000 swapFree=33010672/33010684
[pid=83830] ppid=83827 vsize=2100088 memory=1687904 CPUtime=3600.04 cores=0,2
/proc/83830/stat : 83830 (pb-oll-rs) R 83827 83830 82247 0 -1 4194304 157935 0 0 0 358357 1647 0 0 20 0 1 0 75666883 2150490112 421976 18446744073709551615 4218880 5211445 140732151270736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26411008 140732151277980 140732151278057 140732151278057 140732151283659 0
/proc/83830/statm: 525022 421976 1344 243 0 521271 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2100088 KiB
Current children cumulated memory: 1687904 KiB
Child status: 0
Real time (s): 3610.55
CPU time (s): 3600.1
CPU user time (s): 3583.58
CPU system time (s): 16.5207
CPU usage (%): 99.7107
Max. virtual memory (cumulated for all children) (KiB): 2100088
Max. memory (cumulated for all children) (KiB): 1687904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.58
system time used= 16.5207
maximum resident set size= 1688420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157951
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111
involuntary context switches= 8059
# summary of solver processes directly reported to runsolver:
# pid: 83830
# total CPU time (s): 3600.1
# total CPU user time (s): 3583.58
# total CPU system time (s): 16.5207
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.87472 second user time and 15.0768 second system time
The end
Begin job on nodeC026 at 2025-07-04 05:31:22
IDJOB=4523972
IDBENCH=180463
IDSOLVER=3345
FILE ID=nodeC026/4523972-1751599882
RUNJOBID= nodeC026-1751590160-82257
SLURM_JOB_ID= 9598846
Free space on /tmp= 429816 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-AztecDiamondSym-mini-07_c24.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523972-1751599882/watcher-4523972-1751599882 -o /tmp/evaluation-result-4523972-1751599882/solver-4523972-1751599882 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751590160-82257 --watchdog 3760 pb-oll-rs HOME/instance-4523972-1751599882.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7b7d352a7105ac7993395b7f6c3b04bc
RANDOM SEED=1029923627
nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.814
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.782
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3777.089
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3571.087
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.727
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.795
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.657
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.999
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 123116680 kB
MemAvailable: 126203128 kB
Buffers: 2128 kB
Cached: 3714128 kB
SwapCached: 4 kB
Active: 3953944 kB
Inactive: 3044012 kB
Active(anon): 3290088 kB
Inactive(anon): 9688 kB
Active(file): 663856 kB
Inactive(file): 3034324 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 2972 kB
Writeback: 0 kB
AnonPages: 3284808 kB
Mapped: 108384 kB
Shmem: 18076 kB
KReclaimable: 449068 kB
Slab: 549684 kB
SReclaimable: 449068 kB
SUnreclaim: 100616 kB
KernelStack: 4304 kB
PageTables: 9960 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 4515356 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1507328 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 429840 MiB
End job on nodeC026 at 2025-07-04 06:31:33