0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.04 c [STEP] preprocessing with Papilo
0.00/0.06 c [STEP] solving with SCIP
299.33/300.25 c [STEP] preprocessing done, loading into solver
299.33/300.28 c [STEP] solving
299.33/300.28 c #variables 4308 #constraints 15096
299.33/300.28 c SMALL=int, LARGE=long long
299.33/300.28 d SCIPUB 13
299.33/300.28 c bounds - >= 0 @ 299.242
299.33/300.28 c stratification level: 0
350.40/351.44 c bounds - >= 1 @ 299.284
350.40/351.44 c bounds - >= 2 @ 299.285
350.40/351.44 c bounds - >= 3 @ 299.285
350.40/351.44 c bounds - >= 4 @ 299.285
350.40/351.44 c bounds - >= 5 @ 299.286
350.40/351.44 c bounds - >= 6 @ 299.286
350.40/351.44 c #Conflicts: 1000 | #Constraints: 16107
350.40/351.44 c #Conflicts: 2000 | #Constraints: 17107
350.40/351.44 c INPROCESSING
350.40/351.44 c GARBAGE COLLECT
350.40/351.44 c #Conflicts: 3000 | #Constraints: 17106
350.40/351.44 c #Conflicts: 4000 | #Constraints: 18106
350.40/351.44 c INPROCESSING
350.40/351.44 c GARBAGE COLLECT
350.40/351.44 c #Conflicts: 5000 | #Constraints: 17515
350.40/351.44 c #Conflicts: 6000 | #Constraints: 18515
350.40/351.44 c INPROCESSING
350.40/351.44 c GARBAGE COLLECT
350.40/351.44 c #Conflicts: 7000 | #Constraints: 17528
350.40/351.44 c #Conflicts: 8000 | #Constraints: 18528
350.40/351.44 c #Conflicts: 9000 | #Constraints: 19528
350.40/351.44 c INPROCESSING
350.40/351.44 c GARBAGE COLLECT
350.40/351.44 c #Conflicts: 10000 | #Constraints: 18226
350.40/351.44 c #Conflicts: 11000 | #Constraints: 19226
350.40/351.44 c #Conflicts: 12000 | #Constraints: 20226
350.40/351.44 c INPROCESSING
350.40/351.44 c GARBAGE COLLECT
350.40/351.44 c #Conflicts: 13000 | #Constraints: 18680
350.40/351.44 c #Conflicts: 14000 | #Constraints: 19680
350.40/351.44 c #Conflicts: 15000 | #Constraints: 20680
350.40/351.44 c INPROCESSING
350.40/351.44 c GARBAGE COLLECT
350.40/351.44 c #Conflicts: 16000 | #Constraints: 18910
350.40/351.44 c #Conflicts: 17000 | #Constraints: 19910
350.40/351.44 c #Conflicts: 18000 | #Constraints: 20910
350.40/351.44 c INPROCESSING
350.40/351.44 c GARBAGE COLLECT
350.40/351.44 c #Conflicts: 19000 | #Constraints: 18932
350.40/351.44 c #Conflicts: 20000 | #Constraints: 19932
350.40/351.44 c #Conflicts: 21000 | #Constraints: 20932
350.40/351.44 c INPROCESSING
350.40/351.44 c GARBAGE COLLECT
350.40/351.44 c #Conflicts: 22000 | #Constraints: 18741
350.40/351.44 c #Conflicts: 23000 | #Constraints: 19741
350.40/351.44 c #Conflicts: 24000 | #Constraints: 20741
350.40/351.44 c #Conflicts: 25000 | #Constraints: 21741
350.40/351.44 c INPROCESSING
350.40/351.44 c GARBAGE COLLECT
350.40/351.44 c #Conflicts: 26000 | #Constraints: 19349
350.40/351.44 c #Conflicts: 27000 | #Constraints: 20349
350.40/351.44 c #Conflicts: 28000 | #Constraints: 21349
350.40/351.44 c #Conflicts: 29000 | #Constraints: 22349
350.40/351.44 c INPROCESSING
350.40/351.44 c GARBAGE COLLECT
350.40/351.44 c #Conflicts: 30000 | #Constraints: 19742
350.40/351.44 c #Conflicts: 31000 | #Constraints: 20742
350.40/351.44 c #Conflicts: 32000 | #Constraints: 21742
350.40/351.44 c #Conflicts: 33000 | #Constraints: 22742
350.40/351.44 c INPROCESSING
350.40/351.44 c GARBAGE COLLECT
350.40/351.44 c #Conflicts: 34000 | #Constraints: 19968
350.40/351.44 c #Conflicts: 35000 | #Constraints: 20968
350.40/351.44 c #Conflicts: 36000 | #Constraints: 21968
350.40/351.44 c #Conflicts: 37000 | #Constraints: 22968
350.40/351.44 c INPROCESSING
350.40/351.44 c GARBAGE COLLECT
350.40/351.44 c #Conflicts: 38000 | #Constraints: 19958
350.40/351.44 c #Conflicts: 39000 | #Constraints: 20958
350.40/351.44 c #Conflicts: 40000 | #Constraints: 21958
350.40/351.44 c #Conflicts: 41000 | #Constraints: 22958
350.40/351.44 c INPROCESSING
350.40/351.44 c GARBAGE COLLECT
350.40/351.44 c #Conflicts: 42000 | #Constraints: 19755
350.40/351.44 c #Conflicts: 43000 | #Constraints: 20755
350.40/351.44 c #Conflicts: 44000 | #Constraints: 21755
350.40/351.44 c #Conflicts: 45000 | #Constraints: 22755
350.40/351.44 c #Conflicts: 46000 | #Constraints: 23755
350.40/351.44 c INPROCESSING
350.40/351.44 c GARBAGE COLLECT
350.40/351.44 c #Conflicts: 47000 | #Constraints: 20348
350.40/351.44 c #Conflicts: 48000 | #Constraints: 21348
350.40/351.44 c #Conflicts: 49000 | #Constraints: 22348
350.40/351.44 c #Conflicts: 50000 | #Constraints: 23348
350.40/351.44 c #Conflicts: 51000 | #Constraints: 24348
350.40/351.44 c INPROCESSING
350.40/351.44 c GARBAGE COLLECT
350.40/351.44 c #Conflicts: 52000 | #Constraints: 20760
350.40/351.44 c #Conflicts: 53000 | #Constraints: 21760
350.40/351.44 c #Conflicts: 54000 | #Constraints: 22760
350.40/351.44 c #Conflicts: 55000 | #Constraints: 23760
350.40/351.44 c #Conflicts: 56000 | #Constraints: 24760
350.40/351.44 c INPROCESSING
350.40/351.44 c GARBAGE COLLECT
350.40/351.44 c #Conflicts: 57000 | #Constraints: 20951
350.40/351.44 c #Conflicts: 58000 | #Constraints: 21951
350.40/351.44 c #Conflicts: 59000 | #Constraints: 22951
350.40/351.44 c #Conflicts: 60000 | #Constraints: 23951
350.40/351.44 c #Conflicts: 61000 | #Constraints: 24951
350.40/351.44 c INPROCESSING
350.40/351.44 c GARBAGE COLLECT
350.40/351.44 c #Conflicts: 62000 | #Constraints: 20964
350.40/351.44 c #Conflicts: 63000 | #Constraints: 21964
350.40/351.44 c #Conflicts: 64000 | #Constraints: 22964
350.40/351.44 c #Conflicts: 65000 | #Constraints: 23964
412.13/413.31 c #Conflicts: 66000 | #Constraints: 24964
412.13/413.31 c INPROCESSING
412.13/413.31 c GARBAGE COLLECT
412.13/413.31 c #Conflicts: 67000 | #Constraints: 20745
412.13/413.31 c #Conflicts: 68000 | #Constraints: 21745
412.13/413.31 c #Conflicts: 69000 | #Constraints: 22745
412.13/413.31 c #Conflicts: 70000 | #Constraints: 23745
412.13/413.31 c #Conflicts: 71000 | #Constraints: 24745
412.13/413.31 c #Conflicts: 72000 | #Constraints: 25745
412.13/413.31 c INPROCESSING
412.13/413.31 c GARBAGE COLLECT
412.13/413.31 c #Conflicts: 73000 | #Constraints: 21346
412.13/413.31 c #Conflicts: 74000 | #Constraints: 22346
412.13/413.31 c #Conflicts: 75000 | #Constraints: 23346
412.13/413.31 c #Conflicts: 76000 | #Constraints: 24346
412.13/413.31 c #Conflicts: 77000 | #Constraints: 25346
412.13/413.31 c #Conflicts: 78000 | #Constraints: 26346
412.13/413.31 c INPROCESSING
412.13/413.31 c GARBAGE COLLECT
412.13/413.31 c #Conflicts: 79000 | #Constraints: 21749
412.13/413.31 c #Conflicts: 80000 | #Constraints: 22749
412.13/413.31 c #Conflicts: 81000 | #Constraints: 23749
412.13/413.31 c #Conflicts: 82000 | #Constraints: 24749
412.13/413.31 c #Conflicts: 83000 | #Constraints: 25749
412.13/413.31 c #Conflicts: 84000 | #Constraints: 26749
412.13/413.31 c INPROCESSING
412.13/413.31 c GARBAGE COLLECT
412.13/413.31 c #Conflicts: 85000 | #Constraints: 21955
412.13/413.31 c #Conflicts: 86000 | #Constraints: 22955
412.13/413.31 c #Conflicts: 87000 | #Constraints: 23955
412.13/413.31 c #Conflicts: 88000 | #Constraints: 24955
412.13/413.31 c #Conflicts: 89000 | #Constraints: 25955
412.13/413.31 c #Conflicts: 90000 | #Constraints: 26955
412.13/413.31 c INPROCESSING
412.13/413.31 c GARBAGE COLLECT
412.13/413.31 c #Conflicts: 91000 | #Constraints: 21961
412.13/413.31 c #Conflicts: 92000 | #Constraints: 22961
412.13/413.31 c #Conflicts: 93000 | #Constraints: 23961
412.13/413.31 c #Conflicts: 94000 | #Constraints: 24961
412.13/413.31 c #Conflicts: 95000 | #Constraints: 25961
412.13/413.31 c #Conflicts: 96000 | #Constraints: 26961
412.13/413.31 c INPROCESSING
412.13/413.31 c GARBAGE COLLECT
412.13/413.31 c #Conflicts: 97000 | #Constraints: 21763
412.13/413.31 c #Conflicts: 98000 | #Constraints: 22763
412.13/413.31 c #Conflicts: 99000 | #Constraints: 23763
412.13/413.31 c #Conflicts: 100000 | #Constraints: 24763
412.13/413.31 c #Conflicts: 101000 | #Constraints: 25763
412.13/413.31 c #Conflicts: 102000 | #Constraints: 26763
412.13/413.31 c #Conflicts: 103000 | #Constraints: 27763
412.13/413.31 c INPROCESSING
412.13/413.31 c GARBAGE COLLECT
412.13/413.31 c #Conflicts: 104000 | #Constraints: 22369
412.13/413.31 c #Conflicts: 105000 | #Constraints: 23369
412.13/413.31 c #Conflicts: 106000 | #Constraints: 24369
412.13/413.31 c #Conflicts: 107000 | #Constraints: 25369
412.13/413.31 c #Conflicts: 108000 | #Constraints: 26369
412.13/413.31 c #Conflicts: 109000 | #Constraints: 27369
412.13/413.31 c #Conflicts: 110000 | #Constraints: 28369
412.13/413.31 c INPROCESSING
412.13/413.31 c GARBAGE COLLECT
412.13/413.31 c #Conflicts: 111000 | #Constraints: 22762
412.13/413.31 c #Conflicts: 112000 | #Constraints: 23762
412.13/413.31 c #Conflicts: 113000 | #Constraints: 24762
412.13/413.31 c #Conflicts: 114000 | #Constraints: 25762
412.13/413.31 c #Conflicts: 115000 | #Constraints: 26762
412.13/413.31 c #Conflicts: 116000 | #Constraints: 27762
412.13/413.31 c #Conflicts: 117000 | #Constraints: 28762
412.13/413.31 c INPROCESSING
412.13/413.31 c GARBAGE COLLECT
412.13/413.31 c #Conflicts: 118000 | #Constraints: 22969
412.13/413.31 c #Conflicts: 119000 | #Constraints: 23969
412.13/413.31 c #Conflicts: 120000 | #Constraints: 24969
412.13/413.31 c #Conflicts: 121000 | #Constraints: 25969
412.13/413.31 c #Conflicts: 122000 | #Constraints: 26969
412.13/413.31 c #Conflicts: 123000 | #Constraints: 27969
412.13/413.31 c #Conflicts: 124000 | #Constraints: 28969
412.13/413.31 c INPROCESSING
412.13/413.31 c GARBAGE COLLECT
412.13/413.31 c #Conflicts: 125000 | #Constraints: 22973
412.13/413.31 c #Conflicts: 126000 | #Constraints: 23973
412.13/413.31 c #Conflicts: 127000 | #Constraints: 24973
412.13/413.31 c #Conflicts: 128000 | #Constraints: 25973
412.13/413.31 c #Conflicts: 129000 | #Constraints: 26973
412.13/413.31 c #Conflicts: 130000 | #Constraints: 27973
412.13/413.31 c #Conflicts: 131000 | #Constraints: 28973
412.13/413.31 c INPROCESSING
412.13/413.31 c GARBAGE COLLECT
412.13/413.31 c #Conflicts: 132000 | #Constraints: 22777
412.13/413.31 c #Conflicts: 133000 | #Constraints: 23777
412.13/413.31 c #Conflicts: 134000 | #Constraints: 24777
412.13/413.31 c #Conflicts: 135000 | #Constraints: 25777
412.13/413.31 c #Conflicts: 136000 | #Constraints: 26777
412.13/413.31 c #Conflicts: 137000 | #Constraints: 27777
488.12/489.59 c #Conflicts: 138000 | #Constraints: 28777
488.12/489.59 c #Conflicts: 139000 | #Constraints: 29777
488.12/489.59 c INPROCESSING
488.12/489.59 c GARBAGE COLLECT
488.12/489.59 c #Conflicts: 140000 | #Constraints: 23382
488.12/489.59 c #Conflicts: 141000 | #Constraints: 24382
488.12/489.59 c #Conflicts: 142000 | #Constraints: 25382
488.12/489.59 c #Conflicts: 143000 | #Constraints: 26382
488.12/489.59 c #Conflicts: 144000 | #Constraints: 27382
488.12/489.59 c #Conflicts: 145000 | #Constraints: 28382
488.12/489.59 c #Conflicts: 146000 | #Constraints: 29382
488.12/489.59 c #Conflicts: 147000 | #Constraints: 30382
488.12/489.59 c INPROCESSING
488.12/489.59 c GARBAGE COLLECT
488.12/489.59 c #Conflicts: 148000 | #Constraints: 23778
488.12/489.59 c #Conflicts: 149000 | #Constraints: 24778
488.12/489.59 c #Conflicts: 150000 | #Constraints: 25778
488.12/489.59 c #Conflicts: 151000 | #Constraints: 26778
488.12/489.59 c #Conflicts: 152000 | #Constraints: 27778
488.12/489.59 c #Conflicts: 153000 | #Constraints: 28778
488.12/489.59 c #Conflicts: 154000 | #Constraints: 29778
488.12/489.59 c #Conflicts: 155000 | #Constraints: 30778
488.12/489.59 c INPROCESSING
488.12/489.59 c GARBAGE COLLECT
488.12/489.59 c #Conflicts: 156000 | #Constraints: 23976
488.12/489.59 c #Conflicts: 157000 | #Constraints: 24976
488.12/489.59 c #Conflicts: 158000 | #Constraints: 25976
488.12/489.59 c #Conflicts: 159000 | #Constraints: 26976
488.12/489.59 c #Conflicts: 160000 | #Constraints: 27976
488.12/489.59 c #Conflicts: 161000 | #Constraints: 28976
488.12/489.59 c #Conflicts: 162000 | #Constraints: 29976
488.12/489.59 c #Conflicts: 163000 | #Constraints: 30976
488.12/489.59 c INPROCESSING
488.12/489.59 c GARBAGE COLLECT
488.12/489.59 c #Conflicts: 164000 | #Constraints: 23971
488.12/489.59 c #Conflicts: 165000 | #Constraints: 24971
488.12/489.59 c #Conflicts: 166000 | #Constraints: 25971
488.12/489.59 c #Conflicts: 167000 | #Constraints: 26971
488.12/489.59 c #Conflicts: 168000 | #Constraints: 27971
488.12/489.59 c #Conflicts: 169000 | #Constraints: 28971
488.12/489.59 c #Conflicts: 170000 | #Constraints: 29971
488.12/489.59 c #Conflicts: 171000 | #Constraints: 30971
488.12/489.59 c INPROCESSING
488.12/489.59 c GARBAGE COLLECT
488.12/489.59 c #Conflicts: 172000 | #Constraints: 23764
488.12/489.59 c #Conflicts: 173000 | #Constraints: 24764
488.12/489.59 c #Conflicts: 174000 | #Constraints: 25764
488.12/489.59 c #Conflicts: 175000 | #Constraints: 26764
488.12/489.59 c #Conflicts: 176000 | #Constraints: 27764
488.12/489.59 c #Conflicts: 177000 | #Constraints: 28764
488.12/489.59 c #Conflicts: 178000 | #Constraints: 29764
488.12/489.59 c #Conflicts: 179000 | #Constraints: 30764
488.12/489.59 c #Conflicts: 180000 | #Constraints: 31764
488.12/489.59 c INPROCESSING
488.12/489.59 c GARBAGE COLLECT
488.12/489.59 c #Conflicts: 181000 | #Constraints: 24362
488.12/489.59 c #Conflicts: 182000 | #Constraints: 25362
488.12/489.59 c #Conflicts: 183000 | #Constraints: 26362
488.12/489.59 c #Conflicts: 184000 | #Constraints: 27362
488.12/489.59 c #Conflicts: 185000 | #Constraints: 28362
488.12/489.59 c #Conflicts: 186000 | #Constraints: 29362
488.12/489.59 c #Conflicts: 187000 | #Constraints: 30362
488.12/489.59 c #Conflicts: 188000 | #Constraints: 31362
488.12/489.59 c #Conflicts: 189000 | #Constraints: 32362
488.12/489.59 c INPROCESSING
488.12/489.59 c GARBAGE COLLECT
488.12/489.59 c #Conflicts: 190000 | #Constraints: 24765
488.12/489.59 c #Conflicts: 191000 | #Constraints: 25765
488.12/489.59 c #Conflicts: 192000 | #Constraints: 26765
488.12/489.59 c #Conflicts: 193000 | #Constraints: 27765
488.12/489.59 c #Conflicts: 194000 | #Constraints: 28765
488.12/489.59 c #Conflicts: 195000 | #Constraints: 29765
488.12/489.59 c #Conflicts: 196000 | #Constraints: 30765
488.12/489.59 c #Conflicts: 197000 | #Constraints: 31765
488.12/489.59 c #Conflicts: 198000 | #Constraints: 32765
488.12/489.59 c INPROCESSING
488.12/489.59 c GARBAGE COLLECT
488.12/489.59 c #Conflicts: 199000 | #Constraints: 24978
488.12/489.59 c #Conflicts: 200000 | #Constraints: 25978
488.12/489.59 c #Conflicts: 201000 | #Constraints: 26978
488.12/489.59 c #Conflicts: 202000 | #Constraints: 27978
488.12/489.59 c #Conflicts: 203000 | #Constraints: 28978
488.12/489.59 c #Conflicts: 204000 | #Constraints: 29978
488.12/489.59 c #Conflicts: 205000 | #Constraints: 30978
488.12/489.59 c #Conflicts: 206000 | #Constraints: 31978
488.12/489.59 c #Conflicts: 207000 | #Constraints: 32978
488.12/489.59 c INPROCESSING
488.12/489.59 c GARBAGE COLLECT
488.12/489.59 c #Conflicts: 208000 | #Constraints: 24971
488.12/489.59 c #Conflicts: 209000 | #Constraints: 25971
488.12/489.59 c #Conflicts: 210000 | #Constraints: 26971
563.52/565.12 c #Conflicts: 211000 | #Constraints: 27971
563.52/565.12 c #Conflicts: 212000 | #Constraints: 28971
563.52/565.12 c #Conflicts: 213000 | #Constraints: 29971
563.52/565.12 c #Conflicts: 214000 | #Constraints: 30971
563.52/565.12 c #Conflicts: 215000 | #Constraints: 31971
563.52/565.12 c #Conflicts: 216000 | #Constraints: 32971
563.52/565.12 c INPROCESSING
563.52/565.12 c GARBAGE COLLECT
563.52/565.12 c #Conflicts: 217000 | #Constraints: 24772
563.52/565.12 c #Conflicts: 218000 | #Constraints: 25772
563.52/565.12 c #Conflicts: 219000 | #Constraints: 26772
563.52/565.12 c #Conflicts: 220000 | #Constraints: 27772
563.52/565.12 c #Conflicts: 221000 | #Constraints: 28772
563.52/565.12 c #Conflicts: 222000 | #Constraints: 29772
563.52/565.12 c #Conflicts: 223000 | #Constraints: 30772
563.52/565.12 c #Conflicts: 224000 | #Constraints: 31772
563.52/565.12 c #Conflicts: 225000 | #Constraints: 32772
563.52/565.12 c #Conflicts: 226000 | #Constraints: 33772
563.52/565.12 c INPROCESSING
563.52/565.12 c GARBAGE COLLECT
563.52/565.12 c #Conflicts: 227000 | #Constraints: 25383
563.52/565.12 c #Conflicts: 228000 | #Constraints: 26383
563.52/565.12 c #Conflicts: 229000 | #Constraints: 27383
563.52/565.12 c #Conflicts: 230000 | #Constraints: 28383
563.52/565.12 c #Conflicts: 231000 | #Constraints: 29383
563.52/565.12 c #Conflicts: 232000 | #Constraints: 30383
563.52/565.12 c #Conflicts: 233000 | #Constraints: 31383
563.52/565.12 c #Conflicts: 234000 | #Constraints: 32383
563.52/565.12 c #Conflicts: 235000 | #Constraints: 33383
563.52/565.12 c #Conflicts: 236000 | #Constraints: 34383
563.52/565.12 c INPROCESSING
563.52/565.12 c GARBAGE COLLECT
563.52/565.12 c #Conflicts: 237000 | #Constraints: 25777
563.52/565.12 c #Conflicts: 238000 | #Constraints: 26777
563.52/565.12 c #Conflicts: 239000 | #Constraints: 27777
563.52/565.12 c #Conflicts: 240000 | #Constraints: 28777
563.52/565.12 c #Conflicts: 241000 | #Constraints: 29777
563.52/565.12 c #Conflicts: 242000 | #Constraints: 30777
563.52/565.12 c #Conflicts: 243000 | #Constraints: 31777
563.52/565.12 c #Conflicts: 244000 | #Constraints: 32777
563.52/565.12 c #Conflicts: 245000 | #Constraints: 33777
563.52/565.12 c #Conflicts: 246000 | #Constraints: 34777
563.52/565.12 c INPROCESSING
563.52/565.12 c GARBAGE COLLECT
563.52/565.12 c #Conflicts: 247000 | #Constraints: 25965
563.52/565.12 c #Conflicts: 248000 | #Constraints: 26965
563.52/565.12 c #Conflicts: 249000 | #Constraints: 27965
563.52/565.12 c #Conflicts: 250000 | #Constraints: 28965
563.52/565.12 c #Conflicts: 251000 | #Constraints: 29965
563.52/565.12 c #Conflicts: 252000 | #Constraints: 30965
563.52/565.12 c #Conflicts: 253000 | #Constraints: 31965
563.52/565.12 c #Conflicts: 254000 | #Constraints: 32965
563.52/565.12 c #Conflicts: 255000 | #Constraints: 33965
563.52/565.12 c #Conflicts: 256000 | #Constraints: 34965
563.52/565.12 c INPROCESSING
563.52/565.12 c GARBAGE COLLECT
563.52/565.12 c #Conflicts: 257000 | #Constraints: 25970
563.52/565.12 c #Conflicts: 258000 | #Constraints: 26970
563.52/565.12 c #Conflicts: 259000 | #Constraints: 27970
563.52/565.12 c #Conflicts: 260000 | #Constraints: 28970
563.52/565.12 c #Conflicts: 261000 | #Constraints: 29970
563.52/565.12 c #Conflicts: 262000 | #Constraints: 30970
563.52/565.12 c #Conflicts: 263000 | #Constraints: 31970
563.52/565.12 c #Conflicts: 264000 | #Constraints: 32970
563.52/565.12 c #Conflicts: 265000 | #Constraints: 33970
563.52/565.12 c #Conflicts: 266000 | #Constraints: 34970
563.52/565.12 c INPROCESSING
563.52/565.12 c GARBAGE COLLECT
563.52/565.12 c #Conflicts: 267000 | #Constraints: 25781
563.52/565.12 c #Conflicts: 268000 | #Constraints: 26781
563.52/565.12 c #Conflicts: 269000 | #Constraints: 27781
563.52/565.12 c #Conflicts: 270000 | #Constraints: 28781
563.52/565.12 c #Conflicts: 271000 | #Constraints: 29781
563.52/565.12 c #Conflicts: 272000 | #Constraints: 30781
563.52/565.12 c #Conflicts: 273000 | #Constraints: 31781
563.52/565.12 c #Conflicts: 274000 | #Constraints: 32781
563.52/565.12 c #Conflicts: 275000 | #Constraints: 33781
563.52/565.12 c #Conflicts: 276000 | #Constraints: 34781
563.52/565.12 c #Conflicts: 277000 | #Constraints: 35781
563.52/565.12 c INPROCESSING
563.52/565.12 c GARBAGE COLLECT
563.52/565.12 c #Conflicts: 278000 | #Constraints: 26367
563.52/565.12 c #Conflicts: 279000 | #Constraints: 27367
563.52/565.12 c #Conflicts: 280000 | #Constraints: 28367
563.52/565.12 c #Conflicts: 281000 | #Constraints: 29367
563.52/565.12 c #Conflicts: 282000 | #Constraints: 30367
563.52/565.12 c #Conflicts: 283000 | #Constraints: 31367
563.52/565.12 c #Conflicts: 284000 | #Constraints: 32367
563.52/565.12 c #Conflicts: 285000 | #Constraints: 33367
636.00/637.84 c #Conflicts: 286000 | #Constraints: 34367
636.00/637.84 c #Conflicts: 287000 | #Constraints: 35367
636.00/637.84 c #Conflicts: 288000 | #Constraints: 36367
636.00/637.84 c INPROCESSING
636.00/637.84 c GARBAGE COLLECT
636.00/637.84 c #Conflicts: 289000 | #Constraints: 26782
636.00/637.84 c #Conflicts: 290000 | #Constraints: 27782
636.00/637.84 c #Conflicts: 291000 | #Constraints: 28782
636.00/637.84 c #Conflicts: 292000 | #Constraints: 29782
636.00/637.84 c #Conflicts: 293000 | #Constraints: 30782
636.00/637.84 c #Conflicts: 294000 | #Constraints: 31782
636.00/637.84 c #Conflicts: 295000 | #Constraints: 32782
636.00/637.84 c #Conflicts: 296000 | #Constraints: 33782
636.00/637.84 c #Conflicts: 297000 | #Constraints: 34782
636.00/637.84 c #Conflicts: 298000 | #Constraints: 35782
636.00/637.84 c #Conflicts: 299000 | #Constraints: 36782
636.00/637.84 c INPROCESSING
636.00/637.84 c GARBAGE COLLECT
636.00/637.84 c #Conflicts: 300000 | #Constraints: 26973
636.00/637.84 c #Conflicts: 301000 | #Constraints: 27973
636.00/637.84 c #Conflicts: 302000 | #Constraints: 28973
636.00/637.84 c #Conflicts: 303000 | #Constraints: 29973
636.00/637.84 c #Conflicts: 304000 | #Constraints: 30973
636.00/637.84 c #Conflicts: 305000 | #Constraints: 31973
636.00/637.84 c #Conflicts: 306000 | #Constraints: 32973
636.00/637.84 c #Conflicts: 307000 | #Constraints: 33973
636.00/637.84 c #Conflicts: 308000 | #Constraints: 34973
636.00/637.84 c #Conflicts: 309000 | #Constraints: 35973
636.00/637.84 c #Conflicts: 310000 | #Constraints: 36973
636.00/637.84 c INPROCESSING
636.00/637.84 c GARBAGE COLLECT
636.00/637.84 c #Conflicts: 311000 | #Constraints: 26990
636.00/637.84 c #Conflicts: 312000 | #Constraints: 27990
636.00/637.84 c #Conflicts: 313000 | #Constraints: 28990
636.00/637.84 c #Conflicts: 314000 | #Constraints: 29990
636.00/637.84 c #Conflicts: 315000 | #Constraints: 30990
636.00/637.84 c #Conflicts: 316000 | #Constraints: 31990
636.00/637.84 c #Conflicts: 317000 | #Constraints: 32990
636.00/637.84 c #Conflicts: 318000 | #Constraints: 33990
636.00/637.84 c #Conflicts: 319000 | #Constraints: 34990
636.00/637.84 c #Conflicts: 320000 | #Constraints: 35990
636.00/637.84 c #Conflicts: 321000 | #Constraints: 36990
636.00/637.84 c INPROCESSING
636.00/637.84 c GARBAGE COLLECT
636.00/637.84 c #Conflicts: 322000 | #Constraints: 26800
636.00/637.84 c #Conflicts: 323000 | #Constraints: 27800
636.00/637.84 c #Conflicts: 324000 | #Constraints: 28800
636.00/637.84 c #Conflicts: 325000 | #Constraints: 29800
636.00/637.84 c #Conflicts: 326000 | #Constraints: 30800
636.00/637.84 c #Conflicts: 327000 | #Constraints: 31800
636.00/637.84 c #Conflicts: 328000 | #Constraints: 32800
636.00/637.84 c #Conflicts: 329000 | #Constraints: 33800
636.00/637.84 c #Conflicts: 330000 | #Constraints: 34800
636.00/637.84 c #Conflicts: 331000 | #Constraints: 35800
636.00/637.84 c #Conflicts: 332000 | #Constraints: 36800
636.00/637.84 c #Conflicts: 333000 | #Constraints: 37800
636.00/637.84 c INPROCESSING
636.00/637.84 c GARBAGE COLLECT
636.00/637.84 c #Conflicts: 334000 | #Constraints: 27380
636.00/637.84 c #Conflicts: 335000 | #Constraints: 28380
636.00/637.84 c #Conflicts: 336000 | #Constraints: 29380
636.00/637.84 c #Conflicts: 337000 | #Constraints: 30380
636.00/637.84 c #Conflicts: 338000 | #Constraints: 31380
636.00/637.84 c #Conflicts: 339000 | #Constraints: 32380
636.00/637.84 c #Conflicts: 340000 | #Constraints: 33380
636.00/637.84 c #Conflicts: 341000 | #Constraints: 34380
636.00/637.84 c #Conflicts: 342000 | #Constraints: 35380
636.00/637.84 c #Conflicts: 343000 | #Constraints: 36380
636.00/637.84 c #Conflicts: 344000 | #Constraints: 37380
636.00/637.84 c #Conflicts: 345000 | #Constraints: 38380
636.00/637.84 c INPROCESSING
636.00/637.84 c GARBAGE COLLECT
636.00/637.84 c #Conflicts: 346000 | #Constraints: 27780
636.00/637.84 c #Conflicts: 347000 | #Constraints: 28780
636.00/637.84 c #Conflicts: 348000 | #Constraints: 29780
636.00/637.84 c #Conflicts: 349000 | #Constraints: 30780
636.00/637.84 c #Conflicts: 350000 | #Constraints: 31780
636.00/637.84 c #Conflicts: 351000 | #Constraints: 32780
636.00/637.84 c #Conflicts: 352000 | #Constraints: 33780
636.00/637.84 c #Conflicts: 353000 | #Constraints: 34780
636.00/637.84 c #Conflicts: 354000 | #Constraints: 35780
636.00/637.84 c #Conflicts: 355000 | #Constraints: 36780
636.00/637.84 c #Conflicts: 356000 | #Constraints: 37780
636.00/637.84 c #Conflicts: 357000 | #Constraints: 38780
636.00/637.84 c INPROCESSING
636.00/637.84 c GARBAGE COLLECT
636.00/637.84 c #Conflicts: 358000 | #Constraints: 27972
636.00/637.84 c #Conflicts: 359000 | #Constraints: 28972
717.38/719.50 c #Conflicts: 360000 | #Constraints: 29972
717.38/719.50 c #Conflicts: 361000 | #Constraints: 30972
717.38/719.50 c #Conflicts: 362000 | #Constraints: 31972
717.38/719.50 c #Conflicts: 363000 | #Constraints: 32972
717.38/719.50 c #Conflicts: 364000 | #Constraints: 33972
717.38/719.50 c #Conflicts: 365000 | #Constraints: 34972
717.38/719.50 c #Conflicts: 366000 | #Constraints: 35972
717.38/719.50 c #Conflicts: 367000 | #Constraints: 36972
717.38/719.50 c #Conflicts: 368000 | #Constraints: 37972
717.38/719.50 c #Conflicts: 369000 | #Constraints: 38972
717.38/719.50 c INPROCESSING
717.38/719.50 c GARBAGE COLLECT
717.38/719.50 c #Conflicts: 370000 | #Constraints: 27969
717.38/719.50 c #Conflicts: 371000 | #Constraints: 28969
717.38/719.50 c #Conflicts: 372000 | #Constraints: 29969
717.38/719.50 c #Conflicts: 373000 | #Constraints: 30969
717.38/719.50 c #Conflicts: 374000 | #Constraints: 31969
717.38/719.50 c #Conflicts: 375000 | #Constraints: 32969
717.38/719.50 c #Conflicts: 376000 | #Constraints: 33969
717.38/719.50 c #Conflicts: 377000 | #Constraints: 34969
717.38/719.50 c #Conflicts: 378000 | #Constraints: 35969
717.38/719.50 c #Conflicts: 379000 | #Constraints: 36969
717.38/719.50 c #Conflicts: 380000 | #Constraints: 37969
717.38/719.50 c #Conflicts: 381000 | #Constraints: 38969
717.38/719.50 c INPROCESSING
717.38/719.50 c GARBAGE COLLECT
717.38/719.50 c #Conflicts: 382000 | #Constraints: 27778
717.38/719.50 c #Conflicts: 383000 | #Constraints: 28778
717.38/719.50 c #Conflicts: 384000 | #Constraints: 29778
717.38/719.50 c #Conflicts: 385000 | #Constraints: 30778
717.38/719.50 c #Conflicts: 386000 | #Constraints: 31778
717.38/719.50 c #Conflicts: 387000 | #Constraints: 32778
717.38/719.50 c #Conflicts: 388000 | #Constraints: 33778
717.38/719.50 c #Conflicts: 389000 | #Constraints: 34778
717.38/719.50 c #Conflicts: 390000 | #Constraints: 35778
717.38/719.50 c #Conflicts: 391000 | #Constraints: 36778
717.38/719.50 c #Conflicts: 392000 | #Constraints: 37778
717.38/719.50 c #Conflicts: 393000 | #Constraints: 38778
717.38/719.50 c #Conflicts: 394000 | #Constraints: 39778
717.38/719.50 c INPROCESSING
717.38/719.50 c GARBAGE COLLECT
717.38/719.50 c #Conflicts: 395000 | #Constraints: 28374
717.38/719.50 c #Conflicts: 396000 | #Constraints: 29374
717.38/719.50 c #Conflicts: 397000 | #Constraints: 30374
717.38/719.50 c #Conflicts: 398000 | #Constraints: 31374
717.38/719.50 c #Conflicts: 399000 | #Constraints: 32374
717.38/719.50 c #Conflicts: 400000 | #Constraints: 33374
717.38/719.50 c #Conflicts: 401000 | #Constraints: 34374
717.38/719.50 c #Conflicts: 402000 | #Constraints: 35374
717.38/719.50 c #Conflicts: 403000 | #Constraints: 36374
717.38/719.50 c #Conflicts: 404000 | #Constraints: 37374
717.38/719.50 c #Conflicts: 405000 | #Constraints: 38374
717.38/719.50 c #Conflicts: 406000 | #Constraints: 39374
717.38/719.50 c #Conflicts: 407000 | #Constraints: 40374
717.38/719.50 c INPROCESSING
717.38/719.50 c GARBAGE COLLECT
717.38/719.50 c #Conflicts: 408000 | #Constraints: 28763
717.38/719.50 c #Conflicts: 409000 | #Constraints: 29763
717.38/719.50 c #Conflicts: 410000 | #Constraints: 30763
717.38/719.50 c #Conflicts: 411000 | #Constraints: 31763
717.38/719.50 c #Conflicts: 412000 | #Constraints: 32763
717.38/719.50 c #Conflicts: 413000 | #Constraints: 33763
717.38/719.50 c #Conflicts: 414000 | #Constraints: 34763
717.38/719.50 c #Conflicts: 415000 | #Constraints: 35763
717.38/719.50 c #Conflicts: 416000 | #Constraints: 36763
717.38/719.50 c #Conflicts: 417000 | #Constraints: 37763
717.38/719.50 c #Conflicts: 418000 | #Constraints: 38763
717.38/719.50 c #Conflicts: 419000 | #Constraints: 39763
717.38/719.50 c #Conflicts: 420000 | #Constraints: 40763
717.38/719.50 c INPROCESSING
717.38/719.50 c GARBAGE COLLECT
717.38/719.50 c #Conflicts: 421000 | #Constraints: 28970
717.38/719.50 c #Conflicts: 422000 | #Constraints: 29970
717.38/719.50 c #Conflicts: 423000 | #Constraints: 30970
717.38/719.50 c #Conflicts: 424000 | #Constraints: 31970
717.38/719.50 c #Conflicts: 425000 | #Constraints: 32970
717.38/719.50 c #Conflicts: 426000 | #Constraints: 33970
717.38/719.50 c #Conflicts: 427000 | #Constraints: 34970
717.38/719.50 c #Conflicts: 428000 | #Constraints: 35970
717.38/719.50 c #Conflicts: 429000 | #Constraints: 36970
717.38/719.50 c #Conflicts: 430000 | #Constraints: 37970
717.38/719.50 c #Conflicts: 431000 | #Constraints: 38970
717.38/719.50 c #Conflicts: 432000 | #Constraints: 39970
717.38/719.50 c #Conflicts: 433000 | #Constraints: 40970
717.38/719.50 c INPROCESSING
717.38/719.50 c GARBAGE COLLECT
717.38/719.50 c #Conflicts: 434000 | #Constraints: 28993
821.30/823.62 c #Conflicts: 435000 | #Constraints: 29993
821.30/823.62 c #Conflicts: 436000 | #Constraints: 30993
821.30/823.62 c #Conflicts: 437000 | #Constraints: 31993
821.30/823.62 c #Conflicts: 438000 | #Constraints: 32993
821.30/823.62 c #Conflicts: 439000 | #Constraints: 33993
821.30/823.62 c #Conflicts: 440000 | #Constraints: 34993
821.30/823.62 c #Conflicts: 441000 | #Constraints: 35993
821.30/823.62 c #Conflicts: 442000 | #Constraints: 36993
821.30/823.62 c #Conflicts: 443000 | #Constraints: 37993
821.30/823.62 c #Conflicts: 444000 | #Constraints: 38993
821.30/823.62 c #Conflicts: 445000 | #Constraints: 39993
821.30/823.62 c #Conflicts: 446000 | #Constraints: 40993
821.30/823.62 c INPROCESSING
821.30/823.62 c GARBAGE COLLECT
821.30/823.62 c #Conflicts: 447000 | #Constraints: 28801
821.30/823.62 c #Conflicts: 448000 | #Constraints: 29801
821.30/823.62 c #Conflicts: 449000 | #Constraints: 30801
821.30/823.62 c #Conflicts: 450000 | #Constraints: 31801
821.30/823.62 c #Conflicts: 451000 | #Constraints: 32801
821.30/823.62 c #Conflicts: 452000 | #Constraints: 33801
821.30/823.62 c #Conflicts: 453000 | #Constraints: 34801
821.30/823.62 c #Conflicts: 454000 | #Constraints: 35801
821.30/823.62 c #Conflicts: 455000 | #Constraints: 36801
821.30/823.62 c #Conflicts: 456000 | #Constraints: 37801
821.30/823.62 c #Conflicts: 457000 | #Constraints: 38801
821.30/823.62 c #Conflicts: 458000 | #Constraints: 39801
821.30/823.62 c #Conflicts: 459000 | #Constraints: 40801
821.30/823.62 c #Conflicts: 460000 | #Constraints: 41801
821.30/823.62 c INPROCESSING
821.30/823.62 c GARBAGE COLLECT
821.30/823.62 c #Conflicts: 461000 | #Constraints: 29403
821.30/823.62 c #Conflicts: 462000 | #Constraints: 30403
821.30/823.62 c #Conflicts: 463000 | #Constraints: 31403
821.30/823.62 c #Conflicts: 464000 | #Constraints: 32403
821.30/823.62 c #Conflicts: 465000 | #Constraints: 33403
821.30/823.62 c #Conflicts: 466000 | #Constraints: 34403
821.30/823.62 c #Conflicts: 467000 | #Constraints: 35403
821.30/823.62 c #Conflicts: 468000 | #Constraints: 36403
821.30/823.62 c #Conflicts: 469000 | #Constraints: 37403
821.30/823.62 c #Conflicts: 470000 | #Constraints: 38403
821.30/823.62 c #Conflicts: 471000 | #Constraints: 39403
821.30/823.62 c #Conflicts: 472000 | #Constraints: 40403
821.30/823.62 c #Conflicts: 473000 | #Constraints: 41403
821.30/823.62 c #Conflicts: 474000 | #Constraints: 42403
821.30/823.62 c INPROCESSING
821.30/823.62 c GARBAGE COLLECT
821.30/823.62 c #Conflicts: 475000 | #Constraints: 29826
821.30/823.62 c #Conflicts: 476000 | #Constraints: 30826
821.30/823.62 c #Conflicts: 477000 | #Constraints: 31826
821.30/823.62 c #Conflicts: 478000 | #Constraints: 32826
821.30/823.62 c #Conflicts: 479000 | #Constraints: 33826
821.30/823.62 c #Conflicts: 480000 | #Constraints: 34826
821.30/823.62 c #Conflicts: 481000 | #Constraints: 35826
821.30/823.62 c #Conflicts: 482000 | #Constraints: 36826
821.30/823.62 c #Conflicts: 483000 | #Constraints: 37826
821.30/823.62 c #Conflicts: 484000 | #Constraints: 38826
821.30/823.62 c #Conflicts: 485000 | #Constraints: 39826
821.30/823.62 c #Conflicts: 486000 | #Constraints: 40826
821.30/823.62 c #Conflicts: 487000 | #Constraints: 41826
821.30/823.62 c #Conflicts: 488000 | #Constraints: 42826
821.30/823.62 c INPROCESSING
821.30/823.62 c GARBAGE COLLECT
821.30/823.62 c #Conflicts: 489000 | #Constraints: 30021
821.30/823.62 c #Conflicts: 490000 | #Constraints: 31021
821.30/823.62 c #Conflicts: 491000 | #Constraints: 32021
821.30/823.62 c #Conflicts: 492000 | #Constraints: 33021
821.30/823.62 c #Conflicts: 493000 | #Constraints: 34021
821.30/823.62 c #Conflicts: 494000 | #Constraints: 35021
821.30/823.62 c #Conflicts: 495000 | #Constraints: 36021
821.30/823.62 c #Conflicts: 496000 | #Constraints: 37021
821.30/823.62 c #Conflicts: 497000 | #Constraints: 38021
821.30/823.62 c #Conflicts: 498000 | #Constraints: 39021
821.30/823.62 c #Conflicts: 499000 | #Constraints: 40021
821.30/823.62 c #Conflicts: 500000 | #Constraints: 41021
821.30/823.62 c #Conflicts: 501000 | #Constraints: 42021
821.30/823.62 c #Conflicts: 502000 | #Constraints: 43021
821.30/823.62 c INPROCESSING
821.30/823.62 c GARBAGE COLLECT
821.30/823.62 c #Conflicts: 503000 | #Constraints: 30028
821.30/823.62 c #Conflicts: 504000 | #Constraints: 31028
821.30/823.62 c #Conflicts: 505000 | #Constraints: 32028
821.30/823.62 c #Conflicts: 506000 | #Constraints: 33028
821.30/823.62 c #Conflicts: 507000 | #Constraints: 34028
821.30/823.62 c #Conflicts: 508000 | #Constraints: 35028
821.30/823.62 c #Conflicts: 509000 | #Constraints: 36028
821.30/823.62 c #Conflicts: 510000 | #Constraints: 37028
920.62/923.21 c #Conflicts: 511000 | #Constraints: 38028
920.62/923.21 c #Conflicts: 512000 | #Constraints: 39028
920.62/923.21 c #Conflicts: 513000 | #Constraints: 40028
920.62/923.21 c #Conflicts: 514000 | #Constraints: 41028
920.62/923.21 c #Conflicts: 515000 | #Constraints: 42028
920.62/923.21 c #Conflicts: 516000 | #Constraints: 43028
920.62/923.21 c INPROCESSING
920.62/923.21 c GARBAGE COLLECT
920.62/923.21 c #Conflicts: 517000 | #Constraints: 29810
920.62/923.21 c #Conflicts: 518000 | #Constraints: 30810
920.62/923.21 c #Conflicts: 519000 | #Constraints: 31810
920.62/923.21 c #Conflicts: 520000 | #Constraints: 32810
920.62/923.21 c #Conflicts: 521000 | #Constraints: 33810
920.62/923.21 c #Conflicts: 522000 | #Constraints: 34810
920.62/923.21 c #Conflicts: 523000 | #Constraints: 35810
920.62/923.21 c #Conflicts: 524000 | #Constraints: 36810
920.62/923.21 c #Conflicts: 525000 | #Constraints: 37810
920.62/923.21 c #Conflicts: 526000 | #Constraints: 38810
920.62/923.21 c #Conflicts: 527000 | #Constraints: 39810
920.62/923.21 c #Conflicts: 528000 | #Constraints: 40810
920.62/923.21 c #Conflicts: 529000 | #Constraints: 41810
920.62/923.21 c #Conflicts: 530000 | #Constraints: 42810
920.62/923.21 c #Conflicts: 531000 | #Constraints: 43810
920.62/923.21 c INPROCESSING
920.62/923.21 c GARBAGE COLLECT
920.62/923.21 c #Conflicts: 532000 | #Constraints: 30418
920.62/923.21 c #Conflicts: 533000 | #Constraints: 31418
920.62/923.21 c #Conflicts: 534000 | #Constraints: 32418
920.62/923.21 c #Conflicts: 535000 | #Constraints: 33418
920.62/923.21 c #Conflicts: 536000 | #Constraints: 34418
920.62/923.21 c #Conflicts: 537000 | #Constraints: 35418
920.62/923.21 c #Conflicts: 538000 | #Constraints: 36418
920.62/923.21 c #Conflicts: 539000 | #Constraints: 37418
920.62/923.21 c #Conflicts: 540000 | #Constraints: 38418
920.62/923.21 c #Conflicts: 541000 | #Constraints: 39418
920.62/923.21 c #Conflicts: 542000 | #Constraints: 40418
920.62/923.21 c #Conflicts: 543000 | #Constraints: 41418
920.62/923.21 c #Conflicts: 544000 | #Constraints: 42418
920.62/923.21 c #Conflicts: 545000 | #Constraints: 43418
920.62/923.21 c #Conflicts: 546000 | #Constraints: 44418
920.62/923.21 c INPROCESSING
920.62/923.21 c GARBAGE COLLECT
920.62/923.21 c #Conflicts: 547000 | #Constraints: 30800
920.62/923.21 c #Conflicts: 548000 | #Constraints: 31800
920.62/923.21 c #Conflicts: 549000 | #Constraints: 32800
920.62/923.21 c #Conflicts: 550000 | #Constraints: 33800
920.62/923.21 c #Conflicts: 551000 | #Constraints: 34800
920.62/923.21 c #Conflicts: 552000 | #Constraints: 35800
920.62/923.21 c #Conflicts: 553000 | #Constraints: 36800
920.62/923.21 c #Conflicts: 554000 | #Constraints: 37800
920.62/923.21 c #Conflicts: 555000 | #Constraints: 38800
920.62/923.21 c #Conflicts: 556000 | #Constraints: 39800
920.62/923.21 c #Conflicts: 557000 | #Constraints: 40800
920.62/923.21 c #Conflicts: 558000 | #Constraints: 41800
920.62/923.21 c #Conflicts: 559000 | #Constraints: 42800
920.62/923.21 c #Conflicts: 560000 | #Constraints: 43800
920.62/923.21 c #Conflicts: 561000 | #Constraints: 44800
920.62/923.21 c INPROCESSING
920.62/923.21 c GARBAGE COLLECT
920.62/923.21 c #Conflicts: 562000 | #Constraints: 31037
920.62/923.21 c #Conflicts: 563000 | #Constraints: 32037
920.62/923.21 c #Conflicts: 564000 | #Constraints: 33037
920.62/923.21 c #Conflicts: 565000 | #Constraints: 34037
920.62/923.21 c #Conflicts: 566000 | #Constraints: 35037
920.62/923.21 c #Conflicts: 567000 | #Constraints: 36037
920.62/923.21 c #Conflicts: 568000 | #Constraints: 37037
920.62/923.21 c #Conflicts: 569000 | #Constraints: 38037
920.62/923.21 c #Conflicts: 570000 | #Constraints: 39037
920.62/923.21 c #Conflicts: 571000 | #Constraints: 40037
920.62/923.21 c #Conflicts: 572000 | #Constraints: 41037
920.62/923.21 c #Conflicts: 573000 | #Constraints: 42037
920.62/923.21 c #Conflicts: 574000 | #Constraints: 43037
920.62/923.21 c #Conflicts: 575000 | #Constraints: 44037
920.62/923.21 c #Conflicts: 576000 | #Constraints: 45037
920.62/923.21 c INPROCESSING
920.62/923.21 c GARBAGE COLLECT
920.62/923.21 c #Conflicts: 577000 | #Constraints: 31029
920.62/923.21 c #Conflicts: 578000 | #Constraints: 32029
920.62/923.21 c #Conflicts: 579000 | #Constraints: 33029
920.62/923.21 c #Conflicts: 580000 | #Constraints: 34029
920.62/923.21 c #Conflicts: 581000 | #Constraints: 35029
920.62/923.21 c #Conflicts: 582000 | #Constraints: 36029
920.62/923.21 c #Conflicts: 583000 | #Constraints: 37029
920.62/923.21 c #Conflicts: 584000 | #Constraints: 38029
920.62/923.21 c #Conflicts: 585000 | #Constraints: 39029
1033.92/1036.84 c #Conflicts: 586000 | #Constraints: 40029
1033.92/1036.84 c #Conflicts: 587000 | #Constraints: 41029
1033.92/1036.84 c #Conflicts: 588000 | #Constraints: 42029
1033.92/1036.84 c #Conflicts: 589000 | #Constraints: 43029
1033.92/1036.84 c #Conflicts: 590000 | #Constraints: 44029
1033.92/1036.84 c #Conflicts: 591000 | #Constraints: 45029
1033.92/1036.84 c INPROCESSING
1033.92/1036.84 c GARBAGE COLLECT
1033.92/1036.84 c #Conflicts: 592000 | #Constraints: 30832
1033.92/1036.84 c #Conflicts: 593000 | #Constraints: 31832
1033.92/1036.84 c #Conflicts: 594000 | #Constraints: 32832
1033.92/1036.84 c #Conflicts: 595000 | #Constraints: 33832
1033.92/1036.84 c #Conflicts: 596000 | #Constraints: 34832
1033.92/1036.84 c #Conflicts: 597000 | #Constraints: 35832
1033.92/1036.84 c #Conflicts: 598000 | #Constraints: 36832
1033.92/1036.84 c #Conflicts: 599000 | #Constraints: 37832
1033.92/1036.84 c #Conflicts: 600000 | #Constraints: 38832
1033.92/1036.84 c #Conflicts: 601000 | #Constraints: 39832
1033.92/1036.84 c #Conflicts: 602000 | #Constraints: 40832
1033.92/1036.84 c #Conflicts: 603000 | #Constraints: 41832
1033.92/1036.84 c #Conflicts: 604000 | #Constraints: 42832
1033.92/1036.84 c #Conflicts: 605000 | #Constraints: 43832
1033.92/1036.84 c #Conflicts: 606000 | #Constraints: 44832
1033.92/1036.84 c #Conflicts: 607000 | #Constraints: 45832
1033.92/1036.84 c INPROCESSING
1033.92/1036.84 c GARBAGE COLLECT
1033.92/1036.84 c #Conflicts: 608000 | #Constraints: 31418
1033.92/1036.84 c #Conflicts: 609000 | #Constraints: 32418
1033.92/1036.84 c #Conflicts: 610000 | #Constraints: 33418
1033.92/1036.84 c #Conflicts: 611000 | #Constraints: 34418
1033.92/1036.84 c #Conflicts: 612000 | #Constraints: 35418
1033.92/1036.84 c #Conflicts: 613000 | #Constraints: 36418
1033.92/1036.84 c #Conflicts: 614000 | #Constraints: 37418
1033.92/1036.84 c #Conflicts: 615000 | #Constraints: 38418
1033.92/1036.84 c #Conflicts: 616000 | #Constraints: 39418
1033.92/1036.84 c #Conflicts: 617000 | #Constraints: 40418
1033.92/1036.84 c #Conflicts: 618000 | #Constraints: 41418
1033.92/1036.84 c #Conflicts: 619000 | #Constraints: 42418
1033.92/1036.84 c #Conflicts: 620000 | #Constraints: 43418
1033.92/1036.84 c #Conflicts: 621000 | #Constraints: 44418
1033.92/1036.84 c #Conflicts: 622000 | #Constraints: 45418
1033.92/1036.84 c #Conflicts: 623000 | #Constraints: 46418
1033.92/1036.84 c INPROCESSING
1033.92/1036.84 c GARBAGE COLLECT
1033.92/1036.84 c #Conflicts: 624000 | #Constraints: 31840
1033.92/1036.84 c #Conflicts: 625000 | #Constraints: 32840
1033.92/1036.84 c #Conflicts: 626000 | #Constraints: 33840
1033.92/1036.84 c #Conflicts: 627000 | #Constraints: 34840
1033.92/1036.84 c #Conflicts: 628000 | #Constraints: 35840
1033.92/1036.84 c #Conflicts: 629000 | #Constraints: 36840
1033.92/1036.84 c #Conflicts: 630000 | #Constraints: 37840
1033.92/1036.84 c #Conflicts: 631000 | #Constraints: 38840
1033.92/1036.84 c #Conflicts: 632000 | #Constraints: 39840
1033.92/1036.84 c #Conflicts: 633000 | #Constraints: 40840
1033.92/1036.84 c #Conflicts: 634000 | #Constraints: 41840
1033.92/1036.84 c #Conflicts: 635000 | #Constraints: 42840
1033.92/1036.84 c #Conflicts: 636000 | #Constraints: 43840
1033.92/1036.84 c #Conflicts: 637000 | #Constraints: 44840
1033.92/1036.84 c #Conflicts: 638000 | #Constraints: 45840
1033.92/1036.84 c #Conflicts: 639000 | #Constraints: 46840
1033.92/1036.84 c INPROCESSING
1033.92/1036.84 c GARBAGE COLLECT
1033.92/1036.84 c #Conflicts: 640000 | #Constraints: 32023
1033.92/1036.84 c #Conflicts: 641000 | #Constraints: 33023
1033.92/1036.84 c #Conflicts: 642000 | #Constraints: 34023
1033.92/1036.84 c #Conflicts: 643000 | #Constraints: 35023
1033.92/1036.84 c #Conflicts: 644000 | #Constraints: 36023
1033.92/1036.84 c #Conflicts: 645000 | #Constraints: 37023
1033.92/1036.84 c #Conflicts: 646000 | #Constraints: 38023
1033.92/1036.84 c #Conflicts: 647000 | #Constraints: 39023
1033.92/1036.84 c #Conflicts: 648000 | #Constraints: 40023
1033.92/1036.84 c #Conflicts: 649000 | #Constraints: 41023
1033.92/1036.84 c #Conflicts: 650000 | #Constraints: 42023
1033.92/1036.84 c #Conflicts: 651000 | #Constraints: 43023
1033.92/1036.84 c #Conflicts: 652000 | #Constraints: 44023
1033.92/1036.84 c #Conflicts: 653000 | #Constraints: 45023
1033.92/1036.84 c #Conflicts: 654000 | #Constraints: 46023
1033.92/1036.84 c #Conflicts: 655000 | #Constraints: 47023
1033.92/1036.84 c INPROCESSING
1033.92/1036.84 c GARBAGE COLLECT
1033.92/1036.84 c #Conflicts: 656000 | #Constraints: 32015
1033.92/1036.84 c #Conflicts: 657000 | #Constraints: 33015
1033.92/1036.84 c #Conflicts: 658000 | #Constraints: 34015
1033.92/1036.84 c #Conflicts: 659000 | #Constraints: 35015
1033.92/1036.84 c #Conflicts: 660000 | #Constraints: 36015
1033.92/1036.84 c #Conflicts: 661000 | #Constraints: 37015
1156.39/1159.61 c #Conflicts: 662000 | #Constraints: 38015
1156.39/1159.61 c #Conflicts: 663000 | #Constraints: 39015
1156.39/1159.61 c #Conflicts: 664000 | #Constraints: 40015
1156.39/1159.61 c #Conflicts: 665000 | #Constraints: 41015
1156.39/1159.61 c #Conflicts: 666000 | #Constraints: 42015
1156.39/1159.61 c #Conflicts: 667000 | #Constraints: 43015
1156.39/1159.61 c #Conflicts: 668000 | #Constraints: 44015
1156.39/1159.61 c #Conflicts: 669000 | #Constraints: 45015
1156.39/1159.61 c #Conflicts: 670000 | #Constraints: 46015
1156.39/1159.61 c #Conflicts: 671000 | #Constraints: 47015
1156.39/1159.61 c INPROCESSING
1156.39/1159.61 c GARBAGE COLLECT
1156.39/1159.61 c #Conflicts: 672000 | #Constraints: 31811
1156.39/1159.61 c #Conflicts: 673000 | #Constraints: 32811
1156.39/1159.61 c #Conflicts: 674000 | #Constraints: 33811
1156.39/1159.61 c #Conflicts: 675000 | #Constraints: 34811
1156.39/1159.61 c #Conflicts: 676000 | #Constraints: 35811
1156.39/1159.61 c #Conflicts: 677000 | #Constraints: 36811
1156.39/1159.61 c #Conflicts: 678000 | #Constraints: 37811
1156.39/1159.61 c #Conflicts: 679000 | #Constraints: 38811
1156.39/1159.61 c #Conflicts: 680000 | #Constraints: 39811
1156.39/1159.61 c #Conflicts: 681000 | #Constraints: 40811
1156.39/1159.61 c #Conflicts: 682000 | #Constraints: 41811
1156.39/1159.61 c #Conflicts: 683000 | #Constraints: 42811
1156.39/1159.61 c #Conflicts: 684000 | #Constraints: 43811
1156.39/1159.61 c #Conflicts: 685000 | #Constraints: 44811
1156.39/1159.61 c #Conflicts: 686000 | #Constraints: 45811
1156.39/1159.61 c #Conflicts: 687000 | #Constraints: 46811
1156.39/1159.61 c #Conflicts: 688000 | #Constraints: 47811
1156.39/1159.61 c INPROCESSING
1156.39/1159.61 c GARBAGE COLLECT
1156.39/1159.61 c #Conflicts: 689000 | #Constraints: 32415
1156.39/1159.61 c #Conflicts: 690000 | #Constraints: 33415
1156.39/1159.61 c #Conflicts: 691000 | #Constraints: 34415
1156.39/1159.61 c #Conflicts: 692000 | #Constraints: 35415
1156.39/1159.61 c #Conflicts: 693000 | #Constraints: 36415
1156.39/1159.61 c #Conflicts: 694000 | #Constraints: 37415
1156.39/1159.61 c #Conflicts: 695000 | #Constraints: 38415
1156.39/1159.61 c #Conflicts: 696000 | #Constraints: 39415
1156.39/1159.61 c #Conflicts: 697000 | #Constraints: 40415
1156.39/1159.61 c #Conflicts: 698000 | #Constraints: 41415
1156.39/1159.61 c #Conflicts: 699000 | #Constraints: 42415
1156.39/1159.61 c #Conflicts: 700000 | #Constraints: 43415
1156.39/1159.61 c #Conflicts: 701000 | #Constraints: 44415
1156.39/1159.61 c #Conflicts: 702000 | #Constraints: 45415
1156.39/1159.61 c #Conflicts: 703000 | #Constraints: 46415
1156.39/1159.61 c #Conflicts: 704000 | #Constraints: 47415
1156.39/1159.61 c #Conflicts: 705000 | #Constraints: 48415
1156.39/1159.61 c INPROCESSING
1156.39/1159.61 c GARBAGE COLLECT
1156.39/1159.61 c #Conflicts: 706000 | #Constraints: 32814
1156.39/1159.61 c #Conflicts: 707000 | #Constraints: 33814
1156.39/1159.61 c #Conflicts: 708000 | #Constraints: 34814
1156.39/1159.61 c #Conflicts: 709000 | #Constraints: 35814
1156.39/1159.61 c #Conflicts: 710000 | #Constraints: 36814
1156.39/1159.61 c #Conflicts: 711000 | #Constraints: 37814
1156.39/1159.61 c #Conflicts: 712000 | #Constraints: 38814
1156.39/1159.61 c #Conflicts: 713000 | #Constraints: 39814
1156.39/1159.61 c #Conflicts: 714000 | #Constraints: 40814
1156.39/1159.61 c #Conflicts: 715000 | #Constraints: 41814
1156.39/1159.61 c #Conflicts: 716000 | #Constraints: 42814
1156.39/1159.61 c #Conflicts: 717000 | #Constraints: 43814
1156.39/1159.61 c #Conflicts: 718000 | #Constraints: 44814
1156.39/1159.61 c #Conflicts: 719000 | #Constraints: 45814
1156.39/1159.61 c #Conflicts: 720000 | #Constraints: 46814
1156.39/1159.61 c #Conflicts: 721000 | #Constraints: 47814
1156.39/1159.61 c #Conflicts: 722000 | #Constraints: 48814
1156.39/1159.61 c INPROCESSING
1156.39/1159.61 c GARBAGE COLLECT
1156.39/1159.61 c #Conflicts: 723000 | #Constraints: 32991
1156.39/1159.61 c #Conflicts: 724000 | #Constraints: 33991
1156.39/1159.61 c #Conflicts: 725000 | #Constraints: 34991
1156.39/1159.61 c #Conflicts: 726000 | #Constraints: 35991
1156.39/1159.61 c #Conflicts: 727000 | #Constraints: 36991
1156.39/1159.61 c #Conflicts: 728000 | #Constraints: 37991
1156.39/1159.61 c #Conflicts: 729000 | #Constraints: 38991
1156.39/1159.61 c #Conflicts: 730000 | #Constraints: 39991
1156.39/1159.61 c #Conflicts: 731000 | #Constraints: 40991
1156.39/1159.61 c #Conflicts: 732000 | #Constraints: 41991
1156.39/1159.61 c #Conflicts: 733000 | #Constraints: 42991
1156.39/1159.61 c #Conflicts: 734000 | #Constraints: 43991
1156.39/1159.61 c #Conflicts: 735000 | #Constraints: 44991
1156.39/1159.61 c #Conflicts: 736000 | #Constraints: 45991
1156.39/1159.61 c #Conflicts: 737000 | #Constraints: 46991
1286.04/1289.63 c #Conflicts: 738000 | #Constraints: 47991
1286.04/1289.63 c #Conflicts: 739000 | #Constraints: 48991
1286.04/1289.63 c INPROCESSING
1286.04/1289.63 c GARBAGE COLLECT
1286.04/1289.63 c #Conflicts: 740000 | #Constraints: 33000
1286.04/1289.63 c #Conflicts: 741000 | #Constraints: 34000
1286.04/1289.63 c #Conflicts: 742000 | #Constraints: 35000
1286.04/1289.63 c #Conflicts: 743000 | #Constraints: 36000
1286.04/1289.63 c #Conflicts: 744000 | #Constraints: 37000
1286.04/1289.63 c #Conflicts: 745000 | #Constraints: 38000
1286.04/1289.63 c #Conflicts: 746000 | #Constraints: 39000
1286.04/1289.63 c #Conflicts: 747000 | #Constraints: 40000
1286.04/1289.63 c #Conflicts: 748000 | #Constraints: 41000
1286.04/1289.63 c #Conflicts: 749000 | #Constraints: 42000
1286.04/1289.63 c #Conflicts: 750000 | #Constraints: 43000
1286.04/1289.63 c #Conflicts: 751000 | #Constraints: 44000
1286.04/1289.63 c #Conflicts: 752000 | #Constraints: 45000
1286.04/1289.63 c #Conflicts: 753000 | #Constraints: 46000
1286.04/1289.63 c #Conflicts: 754000 | #Constraints: 47000
1286.04/1289.63 c #Conflicts: 755000 | #Constraints: 48000
1286.04/1289.63 c #Conflicts: 756000 | #Constraints: 49000
1286.04/1289.63 c INPROCESSING
1286.04/1289.63 c GARBAGE COLLECT
1286.04/1289.63 c #Conflicts: 757000 | #Constraints: 32809
1286.04/1289.63 c #Conflicts: 758000 | #Constraints: 33809
1286.04/1289.63 c #Conflicts: 759000 | #Constraints: 34809
1286.04/1289.63 c #Conflicts: 760000 | #Constraints: 35809
1286.04/1289.63 c #Conflicts: 761000 | #Constraints: 36809
1286.04/1289.63 c #Conflicts: 762000 | #Constraints: 37809
1286.04/1289.63 c #Conflicts: 763000 | #Constraints: 38809
1286.04/1289.63 c #Conflicts: 764000 | #Constraints: 39809
1286.04/1289.63 c #Conflicts: 765000 | #Constraints: 40809
1286.04/1289.63 c #Conflicts: 766000 | #Constraints: 41809
1286.04/1289.63 c #Conflicts: 767000 | #Constraints: 42809
1286.04/1289.63 c #Conflicts: 768000 | #Constraints: 43809
1286.04/1289.63 c #Conflicts: 769000 | #Constraints: 44809
1286.04/1289.63 c #Conflicts: 770000 | #Constraints: 45809
1286.04/1289.63 c #Conflicts: 771000 | #Constraints: 46809
1286.04/1289.63 c #Conflicts: 772000 | #Constraints: 47809
1286.04/1289.63 c #Conflicts: 773000 | #Constraints: 48809
1286.04/1289.63 c #Conflicts: 774000 | #Constraints: 49809
1286.04/1289.63 c INPROCESSING
1286.04/1289.63 c GARBAGE COLLECT
1286.04/1289.63 c #Conflicts: 775000 | #Constraints: 33405
1286.04/1289.63 c #Conflicts: 776000 | #Constraints: 34405
1286.04/1289.63 c #Conflicts: 777000 | #Constraints: 35405
1286.04/1289.63 c #Conflicts: 778000 | #Constraints: 36405
1286.04/1289.63 c #Conflicts: 779000 | #Constraints: 37405
1286.04/1289.63 c #Conflicts: 780000 | #Constraints: 38405
1286.04/1289.63 c #Conflicts: 781000 | #Constraints: 39405
1286.04/1289.63 c #Conflicts: 782000 | #Constraints: 40405
1286.04/1289.63 c #Conflicts: 783000 | #Constraints: 41405
1286.04/1289.63 c #Conflicts: 784000 | #Constraints: 42405
1286.04/1289.63 c #Conflicts: 785000 | #Constraints: 43405
1286.04/1289.63 c #Conflicts: 786000 | #Constraints: 44405
1286.04/1289.63 c #Conflicts: 787000 | #Constraints: 45405
1286.04/1289.63 c #Conflicts: 788000 | #Constraints: 46405
1286.04/1289.63 c #Conflicts: 789000 | #Constraints: 47405
1286.04/1289.63 c #Conflicts: 790000 | #Constraints: 48405
1286.04/1289.63 c #Conflicts: 791000 | #Constraints: 49405
1286.04/1289.63 c #Conflicts: 792000 | #Constraints: 50405
1286.04/1289.63 c INPROCESSING
1286.04/1289.63 c GARBAGE COLLECT
1286.04/1289.63 c #Conflicts: 793000 | #Constraints: 33803
1286.04/1289.63 c #Conflicts: 794000 | #Constraints: 34803
1286.04/1289.63 c #Conflicts: 795000 | #Constraints: 35803
1286.04/1289.63 c #Conflicts: 796000 | #Constraints: 36803
1286.04/1289.63 c #Conflicts: 797000 | #Constraints: 37803
1286.04/1289.63 c #Conflicts: 798000 | #Constraints: 38803
1286.04/1289.63 c #Conflicts: 799000 | #Constraints: 39803
1286.04/1289.63 c #Conflicts: 800000 | #Constraints: 40803
1286.04/1289.63 c #Conflicts: 801000 | #Constraints: 41803
1286.04/1289.63 c #Conflicts: 802000 | #Constraints: 42803
1286.04/1289.63 c #Conflicts: 803000 | #Constraints: 43803
1286.04/1289.63 c #Conflicts: 804000 | #Constraints: 44803
1286.04/1289.63 c #Conflicts: 805000 | #Constraints: 45803
1286.04/1289.63 c #Conflicts: 806000 | #Constraints: 46803
1286.04/1289.63 c #Conflicts: 807000 | #Constraints: 47803
1286.04/1289.63 c #Conflicts: 808000 | #Constraints: 48803
1286.04/1289.63 c #Conflicts: 809000 | #Constraints: 49803
1286.04/1289.63 c #Conflicts: 810000 | #Constraints: 50803
1286.04/1289.63 c INPROCESSING
1286.04/1289.63 c GARBAGE COLLECT
1286.04/1289.63 c #Conflicts: 811000 | #Constraints: 34004
1286.04/1289.63 c #Conflicts: 812000 | #Constraints: 35004
1286.04/1289.63 c #Conflicts: 813000 | #Constraints: 36004
1413.48/1417.45 c #Conflicts: 814000 | #Constraints: 37004
1413.48/1417.45 c #Conflicts: 815000 | #Constraints: 38004
1413.48/1417.45 c #Conflicts: 816000 | #Constraints: 39004
1413.48/1417.45 c #Conflicts: 817000 | #Constraints: 40004
1413.48/1417.45 c #Conflicts: 818000 | #Constraints: 41004
1413.48/1417.45 c #Conflicts: 819000 | #Constraints: 42004
1413.48/1417.45 c #Conflicts: 820000 | #Constraints: 43004
1413.48/1417.45 c #Conflicts: 821000 | #Constraints: 44004
1413.48/1417.45 c #Conflicts: 822000 | #Constraints: 45004
1413.48/1417.45 c #Conflicts: 823000 | #Constraints: 46004
1413.48/1417.45 c #Conflicts: 824000 | #Constraints: 47004
1413.48/1417.45 c #Conflicts: 825000 | #Constraints: 48004
1413.48/1417.45 c #Conflicts: 826000 | #Constraints: 49004
1413.48/1417.45 c #Conflicts: 827000 | #Constraints: 50004
1413.48/1417.45 c #Conflicts: 828000 | #Constraints: 51004
1413.48/1417.45 c INPROCESSING
1413.48/1417.45 c GARBAGE COLLECT
1413.48/1417.45 c #Conflicts: 829000 | #Constraints: 34011
1413.48/1417.45 c #Conflicts: 830000 | #Constraints: 35011
1413.48/1417.45 c #Conflicts: 831000 | #Constraints: 36011
1413.48/1417.45 c #Conflicts: 832000 | #Constraints: 37011
1413.48/1417.45 c #Conflicts: 833000 | #Constraints: 38011
1413.48/1417.45 c #Conflicts: 834000 | #Constraints: 39011
1413.48/1417.45 c #Conflicts: 835000 | #Constraints: 40011
1413.48/1417.45 c #Conflicts: 836000 | #Constraints: 41011
1413.48/1417.45 c #Conflicts: 837000 | #Constraints: 42011
1413.48/1417.45 c #Conflicts: 838000 | #Constraints: 43011
1413.48/1417.45 c #Conflicts: 839000 | #Constraints: 44011
1413.48/1417.45 c #Conflicts: 840000 | #Constraints: 45011
1413.48/1417.45 c #Conflicts: 841000 | #Constraints: 46011
1413.48/1417.45 c #Conflicts: 842000 | #Constraints: 47011
1413.48/1417.45 c #Conflicts: 843000 | #Constraints: 48011
1413.48/1417.45 c #Conflicts: 844000 | #Constraints: 49011
1413.48/1417.45 c #Conflicts: 845000 | #Constraints: 50011
1413.48/1417.45 c #Conflicts: 846000 | #Constraints: 51011
1413.48/1417.45 c INPROCESSING
1413.48/1417.45 c GARBAGE COLLECT
1413.48/1417.45 c #Conflicts: 847000 | #Constraints: 33841
1413.48/1417.45 c #Conflicts: 848000 | #Constraints: 34841
1413.48/1417.45 c #Conflicts: 849000 | #Constraints: 35841
1413.48/1417.45 c #Conflicts: 850000 | #Constraints: 36841
1413.48/1417.45 c #Conflicts: 851000 | #Constraints: 37841
1413.48/1417.45 c #Conflicts: 852000 | #Constraints: 38841
1413.48/1417.45 c #Conflicts: 853000 | #Constraints: 39841
1413.48/1417.45 c #Conflicts: 854000 | #Constraints: 40841
1413.48/1417.45 c #Conflicts: 855000 | #Constraints: 41841
1413.48/1417.45 c #Conflicts: 856000 | #Constraints: 42841
1413.48/1417.45 c #Conflicts: 857000 | #Constraints: 43841
1413.48/1417.45 c #Conflicts: 858000 | #Constraints: 44841
1413.48/1417.45 c #Conflicts: 859000 | #Constraints: 45841
1413.48/1417.45 c #Conflicts: 860000 | #Constraints: 46841
1413.48/1417.45 c #Conflicts: 861000 | #Constraints: 47841
1413.48/1417.45 c #Conflicts: 862000 | #Constraints: 48841
1413.48/1417.45 c #Conflicts: 863000 | #Constraints: 49841
1413.48/1417.45 c #Conflicts: 864000 | #Constraints: 50841
1413.48/1417.45 c #Conflicts: 865000 | #Constraints: 51841
1413.48/1417.45 c INPROCESSING
1413.48/1417.45 c GARBAGE COLLECT
1413.48/1417.45 c #Conflicts: 866000 | #Constraints: 34429
1413.48/1417.45 c #Conflicts: 867000 | #Constraints: 35429
1413.48/1417.45 c #Conflicts: 868000 | #Constraints: 36429
1413.48/1417.45 c #Conflicts: 869000 | #Constraints: 37429
1413.48/1417.45 c #Conflicts: 870000 | #Constraints: 38429
1413.48/1417.45 c #Conflicts: 871000 | #Constraints: 39429
1413.48/1417.45 c #Conflicts: 872000 | #Constraints: 40429
1413.48/1417.45 c #Conflicts: 873000 | #Constraints: 41429
1413.48/1417.45 c #Conflicts: 874000 | #Constraints: 42429
1413.48/1417.45 c #Conflicts: 875000 | #Constraints: 43429
1413.48/1417.45 c #Conflicts: 876000 | #Constraints: 44429
1413.48/1417.45 c #Conflicts: 877000 | #Constraints: 45429
1413.48/1417.45 c #Conflicts: 878000 | #Constraints: 46429
1413.48/1417.45 c #Conflicts: 879000 | #Constraints: 47429
1413.48/1417.45 c #Conflicts: 880000 | #Constraints: 48429
1413.48/1417.45 c #Conflicts: 881000 | #Constraints: 49429
1413.48/1417.45 c #Conflicts: 882000 | #Constraints: 50429
1413.48/1417.45 c #Conflicts: 883000 | #Constraints: 51429
1413.48/1417.45 c #Conflicts: 884000 | #Constraints: 52429
1413.48/1417.45 c INPROCESSING
1413.48/1417.45 c GARBAGE COLLECT
1413.48/1417.45 c #Conflicts: 885000 | #Constraints: 34793
1413.48/1417.45 c #Conflicts: 886000 | #Constraints: 35793
1413.48/1417.45 c #Conflicts: 887000 | #Constraints: 36793
1413.48/1417.45 c #Conflicts: 888000 | #Constraints: 37793
1413.48/1417.45 c #Conflicts: 889000 | #Constraints: 38793
1517.40/1521.67 c #Conflicts: 890000 | #Constraints: 39793
1517.40/1521.67 c #Conflicts: 891000 | #Constraints: 40793
1517.40/1521.67 c #Conflicts: 892000 | #Constraints: 41793
1517.40/1521.67 c #Conflicts: 893000 | #Constraints: 42793
1517.40/1521.67 c #Conflicts: 894000 | #Constraints: 43793
1517.40/1521.67 c #Conflicts: 895000 | #Constraints: 44793
1517.40/1521.67 c #Conflicts: 896000 | #Constraints: 45793
1517.40/1521.67 c #Conflicts: 897000 | #Constraints: 46793
1517.40/1521.67 c #Conflicts: 898000 | #Constraints: 47793
1517.40/1521.67 c #Conflicts: 899000 | #Constraints: 48793
1517.40/1521.67 c #Conflicts: 900000 | #Constraints: 49793
1517.40/1521.67 c #Conflicts: 901000 | #Constraints: 50793
1517.40/1521.67 c #Conflicts: 902000 | #Constraints: 51793
1517.40/1521.67 c #Conflicts: 903000 | #Constraints: 52793
1517.40/1521.67 c INPROCESSING
1517.40/1521.67 c GARBAGE COLLECT
1517.40/1521.67 c #Conflicts: 904000 | #Constraints: 34987
1517.40/1521.67 c #Conflicts: 905000 | #Constraints: 35987
1517.40/1521.67 c #Conflicts: 906000 | #Constraints: 36987
1517.40/1521.67 c #Conflicts: 907000 | #Constraints: 37987
1517.40/1521.67 c #Conflicts: 908000 | #Constraints: 38987
1517.40/1521.67 c #Conflicts: 909000 | #Constraints: 39987
1517.40/1521.67 c #Conflicts: 910000 | #Constraints: 40987
1517.40/1521.67 c #Conflicts: 911000 | #Constraints: 41987
1517.40/1521.67 c #Conflicts: 912000 | #Constraints: 42987
1517.40/1521.67 c #Conflicts: 913000 | #Constraints: 43987
1517.40/1521.67 c #Conflicts: 914000 | #Constraints: 44987
1517.40/1521.67 c #Conflicts: 915000 | #Constraints: 45987
1517.40/1521.67 c #Conflicts: 916000 | #Constraints: 46987
1517.40/1521.67 c #Conflicts: 917000 | #Constraints: 47987
1517.40/1521.67 c #Conflicts: 918000 | #Constraints: 48987
1517.40/1521.67 c #Conflicts: 919000 | #Constraints: 49987
1517.40/1521.67 c #Conflicts: 920000 | #Constraints: 50987
1517.40/1521.67 c #Conflicts: 921000 | #Constraints: 51987
1517.40/1521.67 c #Conflicts: 922000 | #Constraints: 52987
1517.40/1521.67 c INPROCESSING
1517.40/1521.67 c GARBAGE COLLECT
1517.40/1521.67 c #Conflicts: 923000 | #Constraints: 34970
1517.40/1521.67 c #Conflicts: 924000 | #Constraints: 35970
1517.40/1521.67 c #Conflicts: 925000 | #Constraints: 36970
1517.40/1521.67 c #Conflicts: 926000 | #Constraints: 37970
1517.40/1521.67 c #Conflicts: 927000 | #Constraints: 38970
1517.40/1521.67 c #Conflicts: 928000 | #Constraints: 39970
1517.40/1521.67 c #Conflicts: 929000 | #Constraints: 40970
1517.40/1521.67 c #Conflicts: 930000 | #Constraints: 41970
1517.40/1521.67 c #Conflicts: 931000 | #Constraints: 42970
1517.40/1521.67 c #Conflicts: 932000 | #Constraints: 43970
1517.40/1521.67 c #Conflicts: 933000 | #Constraints: 44970
1517.40/1521.67 c #Conflicts: 934000 | #Constraints: 45970
1517.40/1521.67 c #Conflicts: 935000 | #Constraints: 46970
1517.40/1521.67 c #Conflicts: 936000 | #Constraints: 47970
1517.40/1521.67 c #Conflicts: 937000 | #Constraints: 48970
1517.40/1521.67 c #Conflicts: 938000 | #Constraints: 49970
1517.40/1521.67 c #Conflicts: 939000 | #Constraints: 50970
1517.40/1521.67 c #Conflicts: 940000 | #Constraints: 51970
1517.40/1521.67 c #Conflicts: 941000 | #Constraints: 52970
1517.40/1521.67 c INPROCESSING
1517.40/1521.67 c GARBAGE COLLECT
1517.40/1521.67 c #Conflicts: 942000 | #Constraints: 34781
1517.40/1521.67 c #Conflicts: 943000 | #Constraints: 35781
1517.40/1521.67 c #Conflicts: 944000 | #Constraints: 36781
1517.40/1521.67 c #Conflicts: 945000 | #Constraints: 37781
1517.40/1521.67 c #Conflicts: 946000 | #Constraints: 38781
1517.40/1521.67 c #Conflicts: 947000 | #Constraints: 39781
1517.40/1521.67 c #Conflicts: 948000 | #Constraints: 40781
1517.40/1521.67 c #Conflicts: 949000 | #Constraints: 41781
1517.40/1521.67 c #Conflicts: 950000 | #Constraints: 42781
1517.40/1521.67 c #Conflicts: 951000 | #Constraints: 43781
1517.40/1521.67 c #Conflicts: 952000 | #Constraints: 44781
1517.40/1521.67 c #Conflicts: 953000 | #Constraints: 45781
1517.40/1521.67 c #Conflicts: 954000 | #Constraints: 46781
1517.40/1521.67 c #Conflicts: 955000 | #Constraints: 47781
1517.40/1521.67 c #Conflicts: 956000 | #Constraints: 48781
1517.40/1521.67 c #Conflicts: 957000 | #Constraints: 49781
1517.40/1521.67 c #Conflicts: 958000 | #Constraints: 50781
1517.40/1521.67 c #Conflicts: 959000 | #Constraints: 51781
1517.40/1521.67 c #Conflicts: 960000 | #Constraints: 52781
1517.40/1521.67 c #Conflicts: 961000 | #Constraints: 53781
1517.40/1521.67 c INPROCESSING
1517.40/1521.67 c GARBAGE COLLECT
1517.40/1521.67 c #Conflicts: 962000 | #Constraints: 35397
1517.40/1521.67 c #Conflicts: 963000 | #Constraints: 36397
1517.40/1521.67 c #Conflicts: 964000 | #Constraints: 37397
1517.40/1521.67 c #Conflicts: 965000 | #Constraints: 38397
1645.36/1649.97 c #Conflicts: 966000 | #Constraints: 39397
1645.36/1649.97 c #Conflicts: 967000 | #Constraints: 40397
1645.36/1649.97 c #Conflicts: 968000 | #Constraints: 41397
1645.36/1649.97 c #Conflicts: 969000 | #Constraints: 42397
1645.36/1649.97 c #Conflicts: 970000 | #Constraints: 43397
1645.36/1649.97 c #Conflicts: 971000 | #Constraints: 44397
1645.36/1649.97 c #Conflicts: 972000 | #Constraints: 45397
1645.36/1649.97 c #Conflicts: 973000 | #Constraints: 46397
1645.36/1649.97 c #Conflicts: 974000 | #Constraints: 47397
1645.36/1649.97 c #Conflicts: 975000 | #Constraints: 48397
1645.36/1649.97 c #Conflicts: 976000 | #Constraints: 49397
1645.36/1649.97 c #Conflicts: 977000 | #Constraints: 50397
1645.36/1649.97 c #Conflicts: 978000 | #Constraints: 51397
1645.36/1649.97 c #Conflicts: 979000 | #Constraints: 52397
1645.36/1649.97 c #Conflicts: 980000 | #Constraints: 53397
1645.36/1649.97 c #Conflicts: 981000 | #Constraints: 54397
1645.36/1649.97 c INPROCESSING
1645.36/1649.97 c GARBAGE COLLECT
1645.36/1649.97 c #Conflicts: 982000 | #Constraints: 35801
1645.36/1649.97 c #Conflicts: 983000 | #Constraints: 36801
1645.36/1649.97 c #Conflicts: 984000 | #Constraints: 37801
1645.36/1649.97 c #Conflicts: 985000 | #Constraints: 38801
1645.36/1649.97 c #Conflicts: 986000 | #Constraints: 39801
1645.36/1649.97 c #Conflicts: 987000 | #Constraints: 40801
1645.36/1649.97 c #Conflicts: 988000 | #Constraints: 41801
1645.36/1649.97 c #Conflicts: 989000 | #Constraints: 42801
1645.36/1649.97 c #Conflicts: 990000 | #Constraints: 43801
1645.36/1649.97 c #Conflicts: 991000 | #Constraints: 44801
1645.36/1649.97 c #Conflicts: 992000 | #Constraints: 45801
1645.36/1649.97 c #Conflicts: 993000 | #Constraints: 46801
1645.36/1649.97 c #Conflicts: 994000 | #Constraints: 47801
1645.36/1649.97 c #Conflicts: 995000 | #Constraints: 48801
1645.36/1649.97 c #Conflicts: 996000 | #Constraints: 49801
1645.36/1649.97 c #Conflicts: 997000 | #Constraints: 50801
1645.36/1649.97 c #Conflicts: 998000 | #Constraints: 51801
1645.36/1649.97 c #Conflicts: 999000 | #Constraints: 52801
1645.36/1649.97 c #Conflicts: 1000000 | #Constraints: 53801
1645.36/1649.97 c #Conflicts: 1001000 | #Constraints: 54801
1645.36/1649.97 c INPROCESSING
1645.36/1649.97 c GARBAGE COLLECT
1645.36/1649.97 c #Conflicts: 1002000 | #Constraints: 35998
1645.36/1649.97 c #Conflicts: 1003000 | #Constraints: 36998
1645.36/1649.97 c #Conflicts: 1004000 | #Constraints: 37998
1645.36/1649.97 c #Conflicts: 1005000 | #Constraints: 38998
1645.36/1649.97 c #Conflicts: 1006000 | #Constraints: 39998
1645.36/1649.97 c #Conflicts: 1007000 | #Constraints: 40998
1645.36/1649.97 c #Conflicts: 1008000 | #Constraints: 41998
1645.36/1649.97 c #Conflicts: 1009000 | #Constraints: 42998
1645.36/1649.97 c #Conflicts: 1010000 | #Constraints: 43998
1645.36/1649.97 c #Conflicts: 1011000 | #Constraints: 44998
1645.36/1649.97 c #Conflicts: 1012000 | #Constraints: 45998
1645.36/1649.97 c #Conflicts: 1013000 | #Constraints: 46998
1645.36/1649.97 c #Conflicts: 1014000 | #Constraints: 47998
1645.36/1649.97 c #Conflicts: 1015000 | #Constraints: 48998
1645.36/1649.97 c #Conflicts: 1016000 | #Constraints: 49998
1645.36/1649.97 c #Conflicts: 1017000 | #Constraints: 50998
1645.36/1649.97 c #Conflicts: 1018000 | #Constraints: 51998
1645.36/1649.97 c #Conflicts: 1019000 | #Constraints: 52998
1645.36/1649.97 c #Conflicts: 1020000 | #Constraints: 53998
1645.36/1649.97 c #Conflicts: 1021000 | #Constraints: 54998
1645.36/1649.97 c INPROCESSING
1645.36/1649.97 c GARBAGE COLLECT
1645.36/1649.97 c #Conflicts: 1022000 | #Constraints: 35990
1645.36/1649.97 c #Conflicts: 1023000 | #Constraints: 36990
1645.36/1649.97 c #Conflicts: 1024000 | #Constraints: 37990
1645.36/1649.97 c #Conflicts: 1025000 | #Constraints: 38990
1645.36/1649.97 c #Conflicts: 1026000 | #Constraints: 39990
1645.36/1649.97 c #Conflicts: 1027000 | #Constraints: 40990
1645.36/1649.97 c #Conflicts: 1028000 | #Constraints: 41990
1645.36/1649.97 c #Conflicts: 1029000 | #Constraints: 42990
1645.36/1649.97 c #Conflicts: 1030000 | #Constraints: 43990
1645.36/1649.97 c #Conflicts: 1031000 | #Constraints: 44990
1645.36/1649.97 c #Conflicts: 1032000 | #Constraints: 45990
1645.36/1649.97 c #Conflicts: 1033000 | #Constraints: 46990
1645.36/1649.97 c #Conflicts: 1034000 | #Constraints: 47990
1645.36/1649.97 c #Conflicts: 1035000 | #Constraints: 48990
1645.36/1649.97 c #Conflicts: 1036000 | #Constraints: 49990
1645.36/1649.97 c #Conflicts: 1037000 | #Constraints: 50990
1645.36/1649.97 c #Conflicts: 1038000 | #Constraints: 51990
1645.36/1649.97 c #Conflicts: 1039000 | #Constraints: 52990
1645.36/1649.97 c #Conflicts: 1040000 | #Constraints: 53990
1645.36/1649.97 c #Conflicts: 1041000 | #Constraints: 54990
1645.36/1649.97 c INPROCESSING
1645.36/1649.97 c GARBAGE COLLECT
1811.70/1816.72 c #Conflicts: 1042000 | #Constraints: 35806
1811.70/1816.72 c #Conflicts: 1043000 | #Constraints: 36806
1811.70/1816.72 c #Conflicts: 1044000 | #Constraints: 37806
1811.70/1816.72 c #Conflicts: 1045000 | #Constraints: 38806
1811.70/1816.72 c #Conflicts: 1046000 | #Constraints: 39806
1811.70/1816.72 c #Conflicts: 1047000 | #Constraints: 40806
1811.70/1816.72 c #Conflicts: 1048000 | #Constraints: 41806
1811.70/1816.72 c #Conflicts: 1049000 | #Constraints: 42806
1811.70/1816.72 c #Conflicts: 1050000 | #Constraints: 43806
1811.70/1816.72 c #Conflicts: 1051000 | #Constraints: 44806
1811.70/1816.72 c #Conflicts: 1052000 | #Constraints: 45806
1811.70/1816.72 c #Conflicts: 1053000 | #Constraints: 46806
1811.70/1816.72 c #Conflicts: 1054000 | #Constraints: 47806
1811.70/1816.72 c #Conflicts: 1055000 | #Constraints: 48806
1811.70/1816.72 c #Conflicts: 1056000 | #Constraints: 49806
1811.70/1816.72 c #Conflicts: 1057000 | #Constraints: 50806
1811.70/1816.72 c #Conflicts: 1058000 | #Constraints: 51806
1811.70/1816.72 c #Conflicts: 1059000 | #Constraints: 52806
1811.70/1816.72 c #Conflicts: 1060000 | #Constraints: 53806
1811.70/1816.72 c #Conflicts: 1061000 | #Constraints: 54806
1811.70/1816.72 c #Conflicts: 1062000 | #Constraints: 55806
1811.70/1816.72 c INPROCESSING
1811.70/1816.72 c GARBAGE COLLECT
1811.70/1816.72 c #Conflicts: 1063000 | #Constraints: 36403
1811.70/1816.72 c #Conflicts: 1064000 | #Constraints: 37403
1811.70/1816.72 c #Conflicts: 1065000 | #Constraints: 38403
1811.70/1816.72 c #Conflicts: 1066000 | #Constraints: 39403
1811.70/1816.72 c #Conflicts: 1067000 | #Constraints: 40403
1811.70/1816.72 c #Conflicts: 1068000 | #Constraints: 41403
1811.70/1816.72 c #Conflicts: 1069000 | #Constraints: 42403
1811.70/1816.72 c #Conflicts: 1070000 | #Constraints: 43403
1811.70/1816.72 c #Conflicts: 1071000 | #Constraints: 44403
1811.70/1816.72 c #Conflicts: 1072000 | #Constraints: 45403
1811.70/1816.72 c #Conflicts: 1073000 | #Constraints: 46403
1811.70/1816.72 c #Conflicts: 1074000 | #Constraints: 47403
1811.70/1816.72 c #Conflicts: 1075000 | #Constraints: 48403
1811.70/1816.72 c #Conflicts: 1076000 | #Constraints: 49403
1811.70/1816.72 c #Conflicts: 1077000 | #Constraints: 50403
1811.70/1816.72 c #Conflicts: 1078000 | #Constraints: 51403
1811.70/1816.72 c #Conflicts: 1079000 | #Constraints: 52403
1811.70/1816.72 c #Conflicts: 1080000 | #Constraints: 53403
1811.70/1816.72 c #Conflicts: 1081000 | #Constraints: 54403
1811.70/1816.72 c #Conflicts: 1082000 | #Constraints: 55403
1811.70/1816.72 c #Conflicts: 1083000 | #Constraints: 56403
1811.70/1816.72 c INPROCESSING
1811.70/1816.72 c GARBAGE COLLECT
1811.70/1816.72 c #Conflicts: 1084000 | #Constraints: 36790
1811.70/1816.72 c #Conflicts: 1085000 | #Constraints: 37790
1811.70/1816.72 c #Conflicts: 1086000 | #Constraints: 38790
1811.70/1816.72 c #Conflicts: 1087000 | #Constraints: 39790
1811.70/1816.72 c #Conflicts: 1088000 | #Constraints: 40790
1811.70/1816.72 c #Conflicts: 1089000 | #Constraints: 41790
1811.70/1816.72 c #Conflicts: 1090000 | #Constraints: 42790
1811.70/1816.72 c #Conflicts: 1091000 | #Constraints: 43790
1811.70/1816.72 c #Conflicts: 1092000 | #Constraints: 44790
1811.70/1816.72 c #Conflicts: 1093000 | #Constraints: 45790
1811.70/1816.72 c #Conflicts: 1094000 | #Constraints: 46790
1811.70/1816.72 c #Conflicts: 1095000 | #Constraints: 47790
1811.70/1816.72 c #Conflicts: 1096000 | #Constraints: 48790
1811.70/1816.72 c #Conflicts: 1097000 | #Constraints: 49790
1811.70/1816.72 c #Conflicts: 1098000 | #Constraints: 50790
1811.70/1816.72 c #Conflicts: 1099000 | #Constraints: 51790
1811.70/1816.72 c #Conflicts: 1100000 | #Constraints: 52790
1811.70/1816.72 c #Conflicts: 1101000 | #Constraints: 53790
1811.70/1816.72 c #Conflicts: 1102000 | #Constraints: 54790
1811.70/1816.72 c #Conflicts: 1103000 | #Constraints: 55790
1811.70/1816.72 c #Conflicts: 1104000 | #Constraints: 56790
1811.70/1816.72 c INPROCESSING
1811.70/1816.72 c GARBAGE COLLECT
1811.70/1816.72 c #Conflicts: 1105000 | #Constraints: 36985
1811.70/1816.72 c #Conflicts: 1106000 | #Constraints: 37985
1811.70/1816.72 c #Conflicts: 1107000 | #Constraints: 38985
1811.70/1816.72 c #Conflicts: 1108000 | #Constraints: 39985
1811.70/1816.72 c #Conflicts: 1109000 | #Constraints: 40985
1811.70/1816.72 c #Conflicts: 1110000 | #Constraints: 41985
1811.70/1816.72 c #Conflicts: 1111000 | #Constraints: 42985
1811.70/1816.72 c #Conflicts: 1112000 | #Constraints: 43985
1811.70/1816.72 c #Conflicts: 1113000 | #Constraints: 44985
1811.70/1816.72 c #Conflicts: 1114000 | #Constraints: 45985
1811.70/1816.72 c #Conflicts: 1115000 | #Constraints: 46985
1811.70/1816.72 c #Conflicts: 1116000 | #Constraints: 47985
1811.70/1816.72 c #Conflicts: 1117000 | #Constraints: 48985
1811.70/1816.72 c #Conflicts: 1118000 | #Constraints: 49985
1955.81/1961.26 c #Conflicts: 1119000 | #Constraints: 50985
1955.81/1961.26 c #Conflicts: 1120000 | #Constraints: 51985
1955.81/1961.26 c #Conflicts: 1121000 | #Constraints: 52985
1955.81/1961.26 c #Conflicts: 1122000 | #Constraints: 53985
1955.81/1961.26 c #Conflicts: 1123000 | #Constraints: 54985
1955.81/1961.26 c #Conflicts: 1124000 | #Constraints: 55985
1955.81/1961.26 c #Conflicts: 1125000 | #Constraints: 56985
1955.81/1961.26 c INPROCESSING
1955.81/1961.26 c GARBAGE COLLECT
1955.81/1961.26 c #Conflicts: 1126000 | #Constraints: 37018
1955.81/1961.26 c #Conflicts: 1127000 | #Constraints: 38018
1955.81/1961.26 c #Conflicts: 1128000 | #Constraints: 39018
1955.81/1961.26 c #Conflicts: 1129000 | #Constraints: 40018
1955.81/1961.26 c #Conflicts: 1130000 | #Constraints: 41018
1955.81/1961.26 c #Conflicts: 1131000 | #Constraints: 42018
1955.81/1961.26 c #Conflicts: 1132000 | #Constraints: 43018
1955.81/1961.26 c #Conflicts: 1133000 | #Constraints: 44018
1955.81/1961.26 c #Conflicts: 1134000 | #Constraints: 45018
1955.81/1961.26 c #Conflicts: 1135000 | #Constraints: 46018
1955.81/1961.26 c #Conflicts: 1136000 | #Constraints: 47018
1955.81/1961.26 c #Conflicts: 1137000 | #Constraints: 48018
1955.81/1961.26 c #Conflicts: 1138000 | #Constraints: 49018
1955.81/1961.26 c #Conflicts: 1139000 | #Constraints: 50018
1955.81/1961.26 c #Conflicts: 1140000 | #Constraints: 51018
1955.81/1961.26 c #Conflicts: 1141000 | #Constraints: 52018
1955.81/1961.26 c #Conflicts: 1142000 | #Constraints: 53018
1955.81/1961.26 c #Conflicts: 1143000 | #Constraints: 54018
1955.81/1961.26 c #Conflicts: 1144000 | #Constraints: 55018
1955.81/1961.26 c #Conflicts: 1145000 | #Constraints: 56018
1955.81/1961.26 c #Conflicts: 1146000 | #Constraints: 57018
1955.81/1961.26 c INPROCESSING
1955.81/1961.26 c GARBAGE COLLECT
1955.81/1961.26 c #Conflicts: 1147000 | #Constraints: 36821
1955.81/1961.26 c #Conflicts: 1148000 | #Constraints: 37821
1955.81/1961.26 c #Conflicts: 1149000 | #Constraints: 38821
1955.81/1961.26 c #Conflicts: 1150000 | #Constraints: 39821
1955.81/1961.26 c #Conflicts: 1151000 | #Constraints: 40821
1955.81/1961.26 c #Conflicts: 1152000 | #Constraints: 41821
1955.81/1961.26 c #Conflicts: 1153000 | #Constraints: 42821
1955.81/1961.26 c #Conflicts: 1154000 | #Constraints: 43821
1955.81/1961.26 c #Conflicts: 1155000 | #Constraints: 44821
1955.81/1961.26 c #Conflicts: 1156000 | #Constraints: 45821
1955.81/1961.26 c #Conflicts: 1157000 | #Constraints: 46821
1955.81/1961.26 c #Conflicts: 1158000 | #Constraints: 47821
1955.81/1961.26 c #Conflicts: 1159000 | #Constraints: 48821
1955.81/1961.26 c #Conflicts: 1160000 | #Constraints: 49821
1955.81/1961.26 c #Conflicts: 1161000 | #Constraints: 50821
1955.81/1961.26 c #Conflicts: 1162000 | #Constraints: 51821
1955.81/1961.26 c #Conflicts: 1163000 | #Constraints: 52821
1955.81/1961.26 c #Conflicts: 1164000 | #Constraints: 53821
1955.81/1961.26 c #Conflicts: 1165000 | #Constraints: 54821
1955.81/1961.26 c #Conflicts: 1166000 | #Constraints: 55821
1955.81/1961.26 c #Conflicts: 1167000 | #Constraints: 56821
1955.81/1961.26 c #Conflicts: 1168000 | #Constraints: 57821
1955.81/1961.26 c INPROCESSING
1955.81/1961.26 c GARBAGE COLLECT
1955.81/1961.26 c #Conflicts: 1169000 | #Constraints: 37399
1955.81/1961.26 c #Conflicts: 1170000 | #Constraints: 38399
1955.81/1961.26 c #Conflicts: 1171000 | #Constraints: 39399
1955.81/1961.26 c #Conflicts: 1172000 | #Constraints: 40399
1955.81/1961.26 c #Conflicts: 1173000 | #Constraints: 41399
1955.81/1961.26 c #Conflicts: 1174000 | #Constraints: 42399
1955.81/1961.26 c #Conflicts: 1175000 | #Constraints: 43399
1955.81/1961.26 c #Conflicts: 1176000 | #Constraints: 44399
1955.81/1961.26 c #Conflicts: 1177000 | #Constraints: 45399
1955.81/1961.26 c #Conflicts: 1178000 | #Constraints: 46399
1955.81/1961.26 c #Conflicts: 1179000 | #Constraints: 47399
1955.81/1961.26 c #Conflicts: 1180000 | #Constraints: 48399
1955.81/1961.26 c #Conflicts: 1181000 | #Constraints: 49399
1955.81/1961.26 c #Conflicts: 1182000 | #Constraints: 50399
1955.81/1961.26 c #Conflicts: 1183000 | #Constraints: 51399
1955.81/1961.26 c #Conflicts: 1184000 | #Constraints: 52399
1955.81/1961.26 c #Conflicts: 1185000 | #Constraints: 53399
1955.81/1961.26 c #Conflicts: 1186000 | #Constraints: 54399
1955.81/1961.26 c #Conflicts: 1187000 | #Constraints: 55399
1955.81/1961.26 c #Conflicts: 1188000 | #Constraints: 56399
1955.81/1961.26 c #Conflicts: 1189000 | #Constraints: 57399
1955.81/1961.26 c #Conflicts: 1190000 | #Constraints: 58399
1955.81/1961.26 c INPROCESSING
1955.81/1961.26 c GARBAGE COLLECT
1955.81/1961.26 c #Conflicts: 1191000 | #Constraints: 37804
1955.81/1961.26 c #Conflicts: 1192000 | #Constraints: 38804
1955.81/1961.26 c #Conflicts: 1193000 | #Constraints: 39804
1955.81/1961.26 c #Conflicts: 1194000 | #Constraints: 40804
2086.16/2091.92 c #Conflicts: 1195000 | #Constraints: 41804
2086.16/2091.92 c #Conflicts: 1196000 | #Constraints: 42804
2086.16/2091.92 c #Conflicts: 1197000 | #Constraints: 43804
2086.16/2091.92 c #Conflicts: 1198000 | #Constraints: 44804
2086.16/2091.92 c #Conflicts: 1199000 | #Constraints: 45804
2086.16/2091.92 c #Conflicts: 1200000 | #Constraints: 46804
2086.16/2091.92 c #Conflicts: 1201000 | #Constraints: 47804
2086.16/2091.92 c #Conflicts: 1202000 | #Constraints: 48804
2086.16/2091.92 c #Conflicts: 1203000 | #Constraints: 49804
2086.16/2091.92 c #Conflicts: 1204000 | #Constraints: 50804
2086.16/2091.92 c #Conflicts: 1205000 | #Constraints: 51804
2086.16/2091.92 c #Conflicts: 1206000 | #Constraints: 52804
2086.16/2091.92 c #Conflicts: 1207000 | #Constraints: 53804
2086.16/2091.92 c #Conflicts: 1208000 | #Constraints: 54804
2086.16/2091.92 c #Conflicts: 1209000 | #Constraints: 55804
2086.16/2091.92 c #Conflicts: 1210000 | #Constraints: 56804
2086.16/2091.92 c #Conflicts: 1211000 | #Constraints: 57804
2086.16/2091.92 c #Conflicts: 1212000 | #Constraints: 58804
2086.16/2091.92 c INPROCESSING
2086.16/2091.92 c GARBAGE COLLECT
2086.16/2091.92 c #Conflicts: 1213000 | #Constraints: 37998
2086.16/2091.92 c #Conflicts: 1214000 | #Constraints: 38998
2086.16/2091.92 c #Conflicts: 1215000 | #Constraints: 39998
2086.16/2091.92 c #Conflicts: 1216000 | #Constraints: 40998
2086.16/2091.92 c #Conflicts: 1217000 | #Constraints: 41998
2086.16/2091.92 c #Conflicts: 1218000 | #Constraints: 42998
2086.16/2091.92 c #Conflicts: 1219000 | #Constraints: 43998
2086.16/2091.92 c #Conflicts: 1220000 | #Constraints: 44998
2086.16/2091.92 c #Conflicts: 1221000 | #Constraints: 45998
2086.16/2091.92 c #Conflicts: 1222000 | #Constraints: 46998
2086.16/2091.92 c #Conflicts: 1223000 | #Constraints: 47998
2086.16/2091.92 c #Conflicts: 1224000 | #Constraints: 48998
2086.16/2091.92 c #Conflicts: 1225000 | #Constraints: 49998
2086.16/2091.92 c #Conflicts: 1226000 | #Constraints: 50998
2086.16/2091.92 c #Conflicts: 1227000 | #Constraints: 51998
2086.16/2091.92 c #Conflicts: 1228000 | #Constraints: 52998
2086.16/2091.92 c #Conflicts: 1229000 | #Constraints: 53998
2086.16/2091.92 c #Conflicts: 1230000 | #Constraints: 54998
2086.16/2091.92 c #Conflicts: 1231000 | #Constraints: 55998
2086.16/2091.92 c #Conflicts: 1232000 | #Constraints: 56998
2086.16/2091.92 c #Conflicts: 1233000 | #Constraints: 57998
2086.16/2091.92 c #Conflicts: 1234000 | #Constraints: 58998
2086.16/2091.92 c INPROCESSING
2086.16/2091.92 c GARBAGE COLLECT
2086.16/2091.92 c #Conflicts: 1235000 | #Constraints: 38006
2086.16/2091.92 c #Conflicts: 1236000 | #Constraints: 39006
2086.16/2091.92 c #Conflicts: 1237000 | #Constraints: 40006
2086.16/2091.92 c #Conflicts: 1238000 | #Constraints: 41006
2086.16/2091.92 c #Conflicts: 1239000 | #Constraints: 42006
2086.16/2091.92 c #Conflicts: 1240000 | #Constraints: 43006
2086.16/2091.92 c #Conflicts: 1241000 | #Constraints: 44006
2086.16/2091.92 c #Conflicts: 1242000 | #Constraints: 45006
2086.16/2091.92 c #Conflicts: 1243000 | #Constraints: 46006
2086.16/2091.92 c #Conflicts: 1244000 | #Constraints: 47006
2086.16/2091.92 c #Conflicts: 1245000 | #Constraints: 48006
2086.16/2091.92 c #Conflicts: 1246000 | #Constraints: 49006
2086.16/2091.92 c #Conflicts: 1247000 | #Constraints: 50006
2086.16/2091.92 c #Conflicts: 1248000 | #Constraints: 51006
2086.16/2091.92 c #Conflicts: 1249000 | #Constraints: 52006
2086.16/2091.92 c #Conflicts: 1250000 | #Constraints: 53006
2086.16/2091.92 c #Conflicts: 1251000 | #Constraints: 54006
2086.16/2091.92 c #Conflicts: 1252000 | #Constraints: 55006
2086.16/2091.92 c #Conflicts: 1253000 | #Constraints: 56006
2086.16/2091.92 c #Conflicts: 1254000 | #Constraints: 57006
2086.16/2091.92 c #Conflicts: 1255000 | #Constraints: 58006
2086.16/2091.92 c #Conflicts: 1256000 | #Constraints: 59006
2086.16/2091.92 c INPROCESSING
2086.16/2091.92 c GARBAGE COLLECT
2086.16/2091.92 c #Conflicts: 1257000 | #Constraints: 37801
2086.16/2091.92 c #Conflicts: 1258000 | #Constraints: 38801
2086.16/2091.92 c #Conflicts: 1259000 | #Constraints: 39801
2086.16/2091.92 c #Conflicts: 1260000 | #Constraints: 40801
2086.16/2091.92 c #Conflicts: 1261000 | #Constraints: 41801
2086.16/2091.92 c #Conflicts: 1262000 | #Constraints: 42801
2086.16/2091.92 c #Conflicts: 1263000 | #Constraints: 43801
2086.16/2091.92 c #Conflicts: 1264000 | #Constraints: 44801
2086.16/2091.92 c #Conflicts: 1265000 | #Constraints: 45801
2086.16/2091.92 c #Conflicts: 1266000 | #Constraints: 46801
2086.16/2091.92 c #Conflicts: 1267000 | #Constraints: 47801
2086.16/2091.92 c #Conflicts: 1268000 | #Constraints: 48801
2086.16/2091.92 c #Conflicts: 1269000 | #Constraints: 49801
2086.16/2091.92 c #Conflicts: 1270000 | #Constraints: 50801
2086.16/2091.92 c #Conflicts: 1271000 | #Constraints: 51801
2219.59/2225.78 c #Conflicts: 1272000 | #Constraints: 52801
2219.59/2225.78 c #Conflicts: 1273000 | #Constraints: 53801
2219.59/2225.78 c #Conflicts: 1274000 | #Constraints: 54801
2219.59/2225.78 c #Conflicts: 1275000 | #Constraints: 55801
2219.59/2225.78 c #Conflicts: 1276000 | #Constraints: 56801
2219.59/2225.78 c #Conflicts: 1277000 | #Constraints: 57801
2219.59/2225.78 c #Conflicts: 1278000 | #Constraints: 58801
2219.59/2225.78 c #Conflicts: 1279000 | #Constraints: 59801
2219.59/2225.78 c INPROCESSING
2219.59/2225.78 c GARBAGE COLLECT
2219.59/2225.78 c #Conflicts: 1280000 | #Constraints: 38394
2219.59/2225.78 c #Conflicts: 1281000 | #Constraints: 39394
2219.59/2225.78 c #Conflicts: 1282000 | #Constraints: 40394
2219.59/2225.78 c #Conflicts: 1283000 | #Constraints: 41394
2219.59/2225.78 c #Conflicts: 1284000 | #Constraints: 42394
2219.59/2225.78 c #Conflicts: 1285000 | #Constraints: 43394
2219.59/2225.78 c #Conflicts: 1286000 | #Constraints: 44394
2219.59/2225.78 c #Conflicts: 1287000 | #Constraints: 45394
2219.59/2225.78 c #Conflicts: 1288000 | #Constraints: 46394
2219.59/2225.78 c #Conflicts: 1289000 | #Constraints: 47394
2219.59/2225.78 c #Conflicts: 1290000 | #Constraints: 48394
2219.59/2225.78 c #Conflicts: 1291000 | #Constraints: 49394
2219.59/2225.78 c #Conflicts: 1292000 | #Constraints: 50394
2219.59/2225.78 c #Conflicts: 1293000 | #Constraints: 51394
2219.59/2225.78 c #Conflicts: 1294000 | #Constraints: 52394
2219.59/2225.78 c #Conflicts: 1295000 | #Constraints: 53394
2219.59/2225.78 c #Conflicts: 1296000 | #Constraints: 54394
2219.59/2225.78 c #Conflicts: 1297000 | #Constraints: 55394
2219.59/2225.78 c #Conflicts: 1298000 | #Constraints: 56394
2219.59/2225.78 c #Conflicts: 1299000 | #Constraints: 57394
2219.59/2225.78 c #Conflicts: 1300000 | #Constraints: 58394
2219.59/2225.78 c #Conflicts: 1301000 | #Constraints: 59394
2219.59/2225.78 c #Conflicts: 1302000 | #Constraints: 60394
2219.59/2225.78 c INPROCESSING
2219.59/2225.78 c GARBAGE COLLECT
2219.59/2225.78 c #Conflicts: 1303000 | #Constraints: 38776
2219.59/2225.78 c #Conflicts: 1304000 | #Constraints: 39776
2219.59/2225.78 c #Conflicts: 1305000 | #Constraints: 40776
2219.59/2225.78 c #Conflicts: 1306000 | #Constraints: 41776
2219.59/2225.78 c #Conflicts: 1307000 | #Constraints: 42776
2219.59/2225.78 c #Conflicts: 1308000 | #Constraints: 43776
2219.59/2225.78 c #Conflicts: 1309000 | #Constraints: 44776
2219.59/2225.78 c #Conflicts: 1310000 | #Constraints: 45776
2219.59/2225.78 c #Conflicts: 1311000 | #Constraints: 46776
2219.59/2225.78 c #Conflicts: 1312000 | #Constraints: 47776
2219.59/2225.78 c #Conflicts: 1313000 | #Constraints: 48776
2219.59/2225.78 c #Conflicts: 1314000 | #Constraints: 49776
2219.59/2225.78 c #Conflicts: 1315000 | #Constraints: 50776
2219.59/2225.78 c #Conflicts: 1316000 | #Constraints: 51776
2219.59/2225.78 c #Conflicts: 1317000 | #Constraints: 52776
2219.59/2225.78 c #Conflicts: 1318000 | #Constraints: 53776
2219.59/2225.78 c #Conflicts: 1319000 | #Constraints: 54776
2219.59/2225.78 c #Conflicts: 1320000 | #Constraints: 55776
2219.59/2225.78 c #Conflicts: 1321000 | #Constraints: 56776
2219.59/2225.78 c #Conflicts: 1322000 | #Constraints: 57776
2219.59/2225.78 c #Conflicts: 1323000 | #Constraints: 58776
2219.59/2225.78 c #Conflicts: 1324000 | #Constraints: 59776
2219.59/2225.78 c #Conflicts: 1325000 | #Constraints: 60776
2219.59/2225.78 c INPROCESSING
2219.59/2225.78 c GARBAGE COLLECT
2219.59/2225.78 c #Conflicts: 1326000 | #Constraints: 38971
2219.59/2225.78 c #Conflicts: 1327000 | #Constraints: 39971
2219.59/2225.78 c #Conflicts: 1328000 | #Constraints: 40971
2219.59/2225.78 c #Conflicts: 1329000 | #Constraints: 41971
2219.59/2225.78 c #Conflicts: 1330000 | #Constraints: 42971
2219.59/2225.78 c #Conflicts: 1331000 | #Constraints: 43971
2219.59/2225.78 c #Conflicts: 1332000 | #Constraints: 44971
2219.59/2225.78 c #Conflicts: 1333000 | #Constraints: 45971
2219.59/2225.78 c #Conflicts: 1334000 | #Constraints: 46971
2219.59/2225.78 c #Conflicts: 1335000 | #Constraints: 47971
2219.59/2225.78 c #Conflicts: 1336000 | #Constraints: 48971
2219.59/2225.78 c #Conflicts: 1337000 | #Constraints: 49971
2219.59/2225.78 c #Conflicts: 1338000 | #Constraints: 50971
2219.59/2225.78 c #Conflicts: 1339000 | #Constraints: 51971
2219.59/2225.78 c #Conflicts: 1340000 | #Constraints: 52971
2219.59/2225.78 c #Conflicts: 1341000 | #Constraints: 53971
2219.59/2225.78 c #Conflicts: 1342000 | #Constraints: 54971
2219.59/2225.78 c #Conflicts: 1343000 | #Constraints: 55971
2219.59/2225.78 c #Conflicts: 1344000 | #Constraints: 56971
2219.59/2225.78 c #Conflicts: 1345000 | #Constraints: 57971
2219.59/2225.78 c #Conflicts: 1346000 | #Constraints: 58971
2219.59/2225.78 c #Conflicts: 1347000 | #Constraints: 59971
2219.59/2225.78 c #Conflicts: 1348000 | #Constraints: 60971
2344.66/2351.14 c INPROCESSING
2344.66/2351.14 c GARBAGE COLLECT
2344.66/2351.14 c #Conflicts: 1349000 | #Constraints: 39006
2344.66/2351.14 c #Conflicts: 1350000 | #Constraints: 40006
2344.66/2351.14 c #Conflicts: 1351000 | #Constraints: 41006
2344.66/2351.14 c #Conflicts: 1352000 | #Constraints: 42006
2344.66/2351.14 c #Conflicts: 1353000 | #Constraints: 43006
2344.66/2351.14 c #Conflicts: 1354000 | #Constraints: 44006
2344.66/2351.14 c #Conflicts: 1355000 | #Constraints: 45006
2344.66/2351.14 c #Conflicts: 1356000 | #Constraints: 46006
2344.66/2351.14 c #Conflicts: 1357000 | #Constraints: 47006
2344.66/2351.14 c #Conflicts: 1358000 | #Constraints: 48006
2344.66/2351.14 c #Conflicts: 1359000 | #Constraints: 49006
2344.66/2351.14 c #Conflicts: 1360000 | #Constraints: 50006
2344.66/2351.14 c #Conflicts: 1361000 | #Constraints: 51006
2344.66/2351.14 c #Conflicts: 1362000 | #Constraints: 52006
2344.66/2351.14 c #Conflicts: 1363000 | #Constraints: 53006
2344.66/2351.14 c #Conflicts: 1364000 | #Constraints: 54006
2344.66/2351.14 c #Conflicts: 1365000 | #Constraints: 55006
2344.66/2351.14 c #Conflicts: 1366000 | #Constraints: 56006
2344.66/2351.14 c #Conflicts: 1367000 | #Constraints: 57006
2344.66/2351.14 c #Conflicts: 1368000 | #Constraints: 58006
2344.66/2351.14 c #Conflicts: 1369000 | #Constraints: 59006
2344.66/2351.14 c #Conflicts: 1370000 | #Constraints: 60006
2344.66/2351.14 c #Conflicts: 1371000 | #Constraints: 61006
2344.66/2351.14 c INPROCESSING
2344.66/2351.14 c GARBAGE COLLECT
2344.66/2351.14 c #Conflicts: 1372000 | #Constraints: 38812
2344.66/2351.14 c #Conflicts: 1373000 | #Constraints: 39812
2344.66/2351.14 c #Conflicts: 1374000 | #Constraints: 40812
2344.66/2351.14 c #Conflicts: 1375000 | #Constraints: 41812
2344.66/2351.14 c #Conflicts: 1376000 | #Constraints: 42812
2344.66/2351.14 c #Conflicts: 1377000 | #Constraints: 43812
2344.66/2351.14 c #Conflicts: 1378000 | #Constraints: 44812
2344.66/2351.14 c #Conflicts: 1379000 | #Constraints: 45812
2344.66/2351.14 c #Conflicts: 1380000 | #Constraints: 46812
2344.66/2351.14 c #Conflicts: 1381000 | #Constraints: 47812
2344.66/2351.14 c #Conflicts: 1382000 | #Constraints: 48812
2344.66/2351.14 c #Conflicts: 1383000 | #Constraints: 49812
2344.66/2351.14 c #Conflicts: 1384000 | #Constraints: 50812
2344.66/2351.14 c #Conflicts: 1385000 | #Constraints: 51812
2344.66/2351.14 c #Conflicts: 1386000 | #Constraints: 52812
2344.66/2351.14 c #Conflicts: 1387000 | #Constraints: 53812
2344.66/2351.14 c #Conflicts: 1388000 | #Constraints: 54812
2344.66/2351.14 c #Conflicts: 1389000 | #Constraints: 55812
2344.66/2351.14 c #Conflicts: 1390000 | #Constraints: 56812
2344.66/2351.14 c #Conflicts: 1391000 | #Constraints: 57812
2344.66/2351.14 c #Conflicts: 1392000 | #Constraints: 58812
2344.66/2351.14 c #Conflicts: 1393000 | #Constraints: 59812
2344.66/2351.14 c #Conflicts: 1394000 | #Constraints: 60812
2344.66/2351.14 c #Conflicts: 1395000 | #Constraints: 61812
2344.66/2351.14 c INPROCESSING
2344.66/2351.14 c GARBAGE COLLECT
2344.66/2351.14 c #Conflicts: 1396000 | #Constraints: 39406
2344.66/2351.14 c #Conflicts: 1397000 | #Constraints: 40406
2344.66/2351.14 c #Conflicts: 1398000 | #Constraints: 41406
2344.66/2351.14 c #Conflicts: 1399000 | #Constraints: 42406
2344.66/2351.14 c #Conflicts: 1400000 | #Constraints: 43406
2344.66/2351.14 c #Conflicts: 1401000 | #Constraints: 44406
2344.66/2351.14 c #Conflicts: 1402000 | #Constraints: 45406
2344.66/2351.14 c #Conflicts: 1403000 | #Constraints: 46406
2344.66/2351.14 c #Conflicts: 1404000 | #Constraints: 47406
2344.66/2351.14 c #Conflicts: 1405000 | #Constraints: 48406
2344.66/2351.14 c #Conflicts: 1406000 | #Constraints: 49406
2344.66/2351.14 c #Conflicts: 1407000 | #Constraints: 50406
2344.66/2351.14 c #Conflicts: 1408000 | #Constraints: 51406
2344.66/2351.14 c #Conflicts: 1409000 | #Constraints: 52406
2344.66/2351.14 c #Conflicts: 1410000 | #Constraints: 53406
2344.66/2351.14 c #Conflicts: 1411000 | #Constraints: 54406
2344.66/2351.14 c #Conflicts: 1412000 | #Constraints: 55406
2344.66/2351.14 c #Conflicts: 1413000 | #Constraints: 56406
2344.66/2351.14 c #Conflicts: 1414000 | #Constraints: 57406
2344.66/2351.14 c #Conflicts: 1415000 | #Constraints: 58406
2344.66/2351.14 c #Conflicts: 1416000 | #Constraints: 59406
2344.66/2351.14 c #Conflicts: 1417000 | #Constraints: 60406
2344.66/2351.14 c #Conflicts: 1418000 | #Constraints: 61406
2344.66/2351.14 c #Conflicts: 1419000 | #Constraints: 62406
2344.66/2351.14 c INPROCESSING
2344.66/2351.14 c GARBAGE COLLECT
2344.66/2351.14 c #Conflicts: 1420000 | #Constraints: 39813
2344.66/2351.14 c #Conflicts: 1421000 | #Constraints: 40813
2344.66/2351.14 c #Conflicts: 1422000 | #Constraints: 41813
2344.66/2351.14 c #Conflicts: 1423000 | #Constraints: 42813
2344.66/2351.14 c #Conflicts: 1424000 | #Constraints: 43813
2464.13/2470.90 c #Conflicts: 1425000 | #Constraints: 44813
2464.13/2470.90 c #Conflicts: 1426000 | #Constraints: 45813
2464.13/2470.90 c #Conflicts: 1427000 | #Constraints: 46813
2464.13/2470.90 c #Conflicts: 1428000 | #Constraints: 47813
2464.13/2470.90 c #Conflicts: 1429000 | #Constraints: 48813
2464.13/2470.90 c #Conflicts: 1430000 | #Constraints: 49813
2464.13/2470.90 c #Conflicts: 1431000 | #Constraints: 50813
2464.13/2470.90 c #Conflicts: 1432000 | #Constraints: 51813
2464.13/2470.90 c #Conflicts: 1433000 | #Constraints: 52813
2464.13/2470.90 c #Conflicts: 1434000 | #Constraints: 53813
2464.13/2470.90 c #Conflicts: 1435000 | #Constraints: 54813
2464.13/2470.90 c #Conflicts: 1436000 | #Constraints: 55813
2464.13/2470.90 c #Conflicts: 1437000 | #Constraints: 56813
2464.13/2470.90 c #Conflicts: 1438000 | #Constraints: 57813
2464.13/2470.90 c #Conflicts: 1439000 | #Constraints: 58813
2464.13/2470.90 c #Conflicts: 1440000 | #Constraints: 59813
2464.13/2470.90 c #Conflicts: 1441000 | #Constraints: 60813
2464.13/2470.90 c #Conflicts: 1442000 | #Constraints: 61813
2464.13/2470.90 c #Conflicts: 1443000 | #Constraints: 62813
2464.13/2470.90 c INPROCESSING
2464.13/2470.90 c GARBAGE COLLECT
2464.13/2470.90 c #Conflicts: 1444000 | #Constraints: 40014
2464.13/2470.90 c #Conflicts: 1445000 | #Constraints: 41014
2464.13/2470.90 c #Conflicts: 1446000 | #Constraints: 42014
2464.13/2470.90 c #Conflicts: 1447000 | #Constraints: 43014
2464.13/2470.90 c #Conflicts: 1448000 | #Constraints: 44014
2464.13/2470.90 c #Conflicts: 1449000 | #Constraints: 45014
2464.13/2470.90 c #Conflicts: 1450000 | #Constraints: 46014
2464.13/2470.90 c #Conflicts: 1451000 | #Constraints: 47014
2464.13/2470.90 c #Conflicts: 1452000 | #Constraints: 48014
2464.13/2470.90 c #Conflicts: 1453000 | #Constraints: 49014
2464.13/2470.90 c #Conflicts: 1454000 | #Constraints: 50014
2464.13/2470.90 c #Conflicts: 1455000 | #Constraints: 51014
2464.13/2470.90 c #Conflicts: 1456000 | #Constraints: 52014
2464.13/2470.90 c #Conflicts: 1457000 | #Constraints: 53014
2464.13/2470.90 c #Conflicts: 1458000 | #Constraints: 54014
2464.13/2470.90 c #Conflicts: 1459000 | #Constraints: 55014
2464.13/2470.90 c #Conflicts: 1460000 | #Constraints: 56014
2464.13/2470.90 c #Conflicts: 1461000 | #Constraints: 57014
2464.13/2470.90 c #Conflicts: 1462000 | #Constraints: 58014
2464.13/2470.90 c #Conflicts: 1463000 | #Constraints: 59014
2464.13/2470.90 c #Conflicts: 1464000 | #Constraints: 60014
2464.13/2470.90 c #Conflicts: 1465000 | #Constraints: 61014
2464.13/2470.90 c #Conflicts: 1466000 | #Constraints: 62014
2464.13/2470.90 c #Conflicts: 1467000 | #Constraints: 63014
2464.13/2470.90 c INPROCESSING
2464.13/2470.90 c GARBAGE COLLECT
2464.13/2470.90 c #Conflicts: 1468000 | #Constraints: 40004
2464.13/2470.90 c #Conflicts: 1469000 | #Constraints: 41004
2464.13/2470.90 c #Conflicts: 1470000 | #Constraints: 42004
2464.13/2470.90 c #Conflicts: 1471000 | #Constraints: 43004
2464.13/2470.90 c #Conflicts: 1472000 | #Constraints: 44004
2464.13/2470.90 c #Conflicts: 1473000 | #Constraints: 45004
2464.13/2470.90 c #Conflicts: 1474000 | #Constraints: 46004
2464.13/2470.90 c #Conflicts: 1475000 | #Constraints: 47004
2464.13/2470.90 c #Conflicts: 1476000 | #Constraints: 48004
2464.13/2470.90 c #Conflicts: 1477000 | #Constraints: 49004
2464.13/2470.90 c #Conflicts: 1478000 | #Constraints: 50004
2464.13/2470.90 c #Conflicts: 1479000 | #Constraints: 51004
2464.13/2470.90 c #Conflicts: 1480000 | #Constraints: 52004
2464.13/2470.90 c #Conflicts: 1481000 | #Constraints: 53004
2464.13/2470.90 c #Conflicts: 1482000 | #Constraints: 54004
2464.13/2470.90 c #Conflicts: 1483000 | #Constraints: 55004
2464.13/2470.90 c #Conflicts: 1484000 | #Constraints: 56004
2464.13/2470.90 c #Conflicts: 1485000 | #Constraints: 57004
2464.13/2470.90 c #Conflicts: 1486000 | #Constraints: 58004
2464.13/2470.90 c #Conflicts: 1487000 | #Constraints: 59004
2464.13/2470.90 c #Conflicts: 1488000 | #Constraints: 60004
2464.13/2470.90 c #Conflicts: 1489000 | #Constraints: 61004
2464.13/2470.90 c #Conflicts: 1490000 | #Constraints: 62004
2464.13/2470.90 c #Conflicts: 1491000 | #Constraints: 63004
2464.13/2470.90 c INPROCESSING
2464.13/2470.90 c GARBAGE COLLECT
2464.13/2470.90 c #Conflicts: 1492000 | #Constraints: 39827
2464.13/2470.90 c #Conflicts: 1493000 | #Constraints: 40827
2464.13/2470.90 c #Conflicts: 1494000 | #Constraints: 41827
2464.13/2470.90 c #Conflicts: 1495000 | #Constraints: 42827
2464.13/2470.90 c #Conflicts: 1496000 | #Constraints: 43827
2464.13/2470.90 c #Conflicts: 1497000 | #Constraints: 44827
2464.13/2470.90 c #Conflicts: 1498000 | #Constraints: 45827
2464.13/2470.90 c #Conflicts: 1499000 | #Constraints: 46827
2464.13/2470.90 c #Conflicts: 1500000 | #Constraints: 47827
2464.13/2470.90 c #Conflicts: 1501000 | #Constraints: 48827
2588.19/2595.38 c #Conflicts: 1502000 | #Constraints: 49827
2588.19/2595.38 c #Conflicts: 1503000 | #Constraints: 50827
2588.19/2595.38 c #Conflicts: 1504000 | #Constraints: 51827
2588.19/2595.38 c #Conflicts: 1505000 | #Constraints: 52827
2588.19/2595.38 c #Conflicts: 1506000 | #Constraints: 53827
2588.19/2595.38 c #Conflicts: 1507000 | #Constraints: 54827
2588.19/2595.38 c #Conflicts: 1508000 | #Constraints: 55827
2588.19/2595.38 c #Conflicts: 1509000 | #Constraints: 56827
2588.19/2595.38 c #Conflicts: 1510000 | #Constraints: 57827
2588.19/2595.38 c #Conflicts: 1511000 | #Constraints: 58827
2588.19/2595.38 c #Conflicts: 1512000 | #Constraints: 59827
2588.19/2595.38 c #Conflicts: 1513000 | #Constraints: 60827
2588.19/2595.38 c #Conflicts: 1514000 | #Constraints: 61827
2588.19/2595.38 c #Conflicts: 1515000 | #Constraints: 62827
2588.19/2595.38 c #Conflicts: 1516000 | #Constraints: 63827
2588.19/2595.38 c INPROCESSING
2588.19/2595.38 c GARBAGE COLLECT
2588.19/2595.38 c #Conflicts: 1517000 | #Constraints: 40432
2588.19/2595.38 c #Conflicts: 1518000 | #Constraints: 41432
2588.19/2595.38 c #Conflicts: 1519000 | #Constraints: 42432
2588.19/2595.38 c #Conflicts: 1520000 | #Constraints: 43432
2588.19/2595.38 c #Conflicts: 1521000 | #Constraints: 44432
2588.19/2595.38 c #Conflicts: 1522000 | #Constraints: 45432
2588.19/2595.38 c #Conflicts: 1523000 | #Constraints: 46432
2588.19/2595.38 c #Conflicts: 1524000 | #Constraints: 47432
2588.19/2595.38 c #Conflicts: 1525000 | #Constraints: 48432
2588.19/2595.38 c #Conflicts: 1526000 | #Constraints: 49432
2588.19/2595.38 c #Conflicts: 1527000 | #Constraints: 50432
2588.19/2595.38 c #Conflicts: 1528000 | #Constraints: 51432
2588.19/2595.38 c #Conflicts: 1529000 | #Constraints: 52432
2588.19/2595.38 c #Conflicts: 1530000 | #Constraints: 53432
2588.19/2595.38 c #Conflicts: 1531000 | #Constraints: 54432
2588.19/2595.38 c #Conflicts: 1532000 | #Constraints: 55432
2588.19/2595.38 c #Conflicts: 1533000 | #Constraints: 56432
2588.19/2595.38 c #Conflicts: 1534000 | #Constraints: 57432
2588.19/2595.38 c #Conflicts: 1535000 | #Constraints: 58432
2588.19/2595.38 c #Conflicts: 1536000 | #Constraints: 59432
2588.19/2595.38 c #Conflicts: 1537000 | #Constraints: 60432
2588.19/2595.38 c #Conflicts: 1538000 | #Constraints: 61432
2588.19/2595.38 c #Conflicts: 1539000 | #Constraints: 62432
2588.19/2595.38 c #Conflicts: 1540000 | #Constraints: 63432
2588.19/2595.38 c #Conflicts: 1541000 | #Constraints: 64432
2588.19/2595.38 c INPROCESSING
2588.19/2595.38 c GARBAGE COLLECT
2588.19/2595.38 c #Conflicts: 1542000 | #Constraints: 40844
2588.19/2595.38 c #Conflicts: 1543000 | #Constraints: 41844
2588.19/2595.38 c #Conflicts: 1544000 | #Constraints: 42844
2588.19/2595.38 c #Conflicts: 1545000 | #Constraints: 43844
2588.19/2595.38 c #Conflicts: 1546000 | #Constraints: 44844
2588.19/2595.38 c #Conflicts: 1547000 | #Constraints: 45844
2588.19/2595.38 c #Conflicts: 1548000 | #Constraints: 46844
2588.19/2595.38 c #Conflicts: 1549000 | #Constraints: 47844
2588.19/2595.38 c #Conflicts: 1550000 | #Constraints: 48844
2588.19/2595.38 c #Conflicts: 1551000 | #Constraints: 49844
2588.19/2595.38 c #Conflicts: 1552000 | #Constraints: 50844
2588.19/2595.38 c #Conflicts: 1553000 | #Constraints: 51844
2588.19/2595.38 c #Conflicts: 1554000 | #Constraints: 52844
2588.19/2595.38 c #Conflicts: 1555000 | #Constraints: 53844
2588.19/2595.38 c #Conflicts: 1556000 | #Constraints: 54844
2588.19/2595.38 c #Conflicts: 1557000 | #Constraints: 55844
2588.19/2595.38 c #Conflicts: 1558000 | #Constraints: 56844
2588.19/2595.38 c #Conflicts: 1559000 | #Constraints: 57844
2588.19/2595.38 c #Conflicts: 1560000 | #Constraints: 58844
2588.19/2595.38 c #Conflicts: 1561000 | #Constraints: 59844
2588.19/2595.38 c #Conflicts: 1562000 | #Constraints: 60844
2588.19/2595.38 c #Conflicts: 1563000 | #Constraints: 61844
2588.19/2595.38 c #Conflicts: 1564000 | #Constraints: 62844
2588.19/2595.38 c #Conflicts: 1565000 | #Constraints: 63844
2588.19/2595.38 c #Conflicts: 1566000 | #Constraints: 64844
2588.19/2595.38 c INPROCESSING
2588.19/2595.38 c GARBAGE COLLECT
2588.19/2595.38 c #Conflicts: 1567000 | #Constraints: 41032
2588.19/2595.38 c #Conflicts: 1568000 | #Constraints: 42032
2588.19/2595.38 c #Conflicts: 1569000 | #Constraints: 43032
2588.19/2595.38 c #Conflicts: 1570000 | #Constraints: 44032
2588.19/2595.38 c #Conflicts: 1571000 | #Constraints: 45032
2588.19/2595.38 c #Conflicts: 1572000 | #Constraints: 46032
2588.19/2595.38 c #Conflicts: 1573000 | #Constraints: 47032
2588.19/2595.38 c #Conflicts: 1574000 | #Constraints: 48032
2588.19/2595.38 c #Conflicts: 1575000 | #Constraints: 49032
2588.19/2595.38 c #Conflicts: 1576000 | #Constraints: 50032
2588.19/2595.38 c #Conflicts: 1577000 | #Constraints: 51032
2588.19/2595.38 c #Conflicts: 1578000 | #Constraints: 52032
2740.89/2748.44 c #Conflicts: 1579000 | #Constraints: 53032
2740.89/2748.44 c #Conflicts: 1580000 | #Constraints: 54032
2740.89/2748.44 c #Conflicts: 1581000 | #Constraints: 55032
2740.89/2748.44 c #Conflicts: 1582000 | #Constraints: 56032
2740.89/2748.44 c #Conflicts: 1583000 | #Constraints: 57032
2740.89/2748.44 c #Conflicts: 1584000 | #Constraints: 58032
2740.89/2748.44 c #Conflicts: 1585000 | #Constraints: 59032
2740.89/2748.44 c #Conflicts: 1586000 | #Constraints: 60032
2740.89/2748.44 c #Conflicts: 1587000 | #Constraints: 61032
2740.89/2748.44 c #Conflicts: 1588000 | #Constraints: 62032
2740.89/2748.44 c #Conflicts: 1589000 | #Constraints: 63032
2740.89/2748.44 c #Conflicts: 1590000 | #Constraints: 64032
2740.89/2748.44 c #Conflicts: 1591000 | #Constraints: 65032
2740.89/2748.44 c INPROCESSING
2740.89/2748.44 c GARBAGE COLLECT
2740.89/2748.44 c #Conflicts: 1592000 | #Constraints: 41026
2740.89/2748.44 c #Conflicts: 1593000 | #Constraints: 42026
2740.89/2748.44 c #Conflicts: 1594000 | #Constraints: 43026
2740.89/2748.44 c #Conflicts: 1595000 | #Constraints: 44026
2740.89/2748.44 c #Conflicts: 1596000 | #Constraints: 45026
2740.89/2748.44 c #Conflicts: 1597000 | #Constraints: 46026
2740.89/2748.44 c #Conflicts: 1598000 | #Constraints: 47026
2740.89/2748.44 c #Conflicts: 1599000 | #Constraints: 48026
2740.89/2748.44 c #Conflicts: 1600000 | #Constraints: 49026
2740.89/2748.44 c #Conflicts: 1601000 | #Constraints: 50026
2740.89/2748.44 c #Conflicts: 1602000 | #Constraints: 51026
2740.89/2748.44 c #Conflicts: 1603000 | #Constraints: 52026
2740.89/2748.44 c #Conflicts: 1604000 | #Constraints: 53026
2740.89/2748.44 c #Conflicts: 1605000 | #Constraints: 54026
2740.89/2748.44 c #Conflicts: 1606000 | #Constraints: 55026
2740.89/2748.44 c #Conflicts: 1607000 | #Constraints: 56026
2740.89/2748.44 c #Conflicts: 1608000 | #Constraints: 57026
2740.89/2748.44 c #Conflicts: 1609000 | #Constraints: 58026
2740.89/2748.44 c #Conflicts: 1610000 | #Constraints: 59026
2740.89/2748.44 c #Conflicts: 1611000 | #Constraints: 60026
2740.89/2748.44 c #Conflicts: 1612000 | #Constraints: 61026
2740.89/2748.44 c #Conflicts: 1613000 | #Constraints: 62026
2740.89/2748.44 c #Conflicts: 1614000 | #Constraints: 63026
2740.89/2748.44 c #Conflicts: 1615000 | #Constraints: 64026
2740.89/2748.44 c #Conflicts: 1616000 | #Constraints: 65026
2740.89/2748.44 c INPROCESSING
2740.89/2748.44 c GARBAGE COLLECT
2740.89/2748.44 c #Conflicts: 1617000 | #Constraints: 40815
2740.89/2748.44 c #Conflicts: 1618000 | #Constraints: 41815
2740.89/2748.44 c #Conflicts: 1619000 | #Constraints: 42815
2740.89/2748.44 c #Conflicts: 1620000 | #Constraints: 43815
2740.89/2748.44 c #Conflicts: 1621000 | #Constraints: 44815
2740.89/2748.44 c #Conflicts: 1622000 | #Constraints: 45815
2740.89/2748.44 c #Conflicts: 1623000 | #Constraints: 46815
2740.89/2748.44 c #Conflicts: 1624000 | #Constraints: 47815
2740.89/2748.44 c #Conflicts: 1625000 | #Constraints: 48815
2740.89/2748.44 c #Conflicts: 1626000 | #Constraints: 49815
2740.89/2748.44 c #Conflicts: 1627000 | #Constraints: 50815
2740.89/2748.44 c #Conflicts: 1628000 | #Constraints: 51815
2740.89/2748.44 c #Conflicts: 1629000 | #Constraints: 52815
2740.89/2748.44 c #Conflicts: 1630000 | #Constraints: 53815
2740.89/2748.44 c #Conflicts: 1631000 | #Constraints: 54815
2740.89/2748.44 c #Conflicts: 1632000 | #Constraints: 55815
2740.89/2748.44 c #Conflicts: 1633000 | #Constraints: 56815
2740.89/2748.44 c #Conflicts: 1634000 | #Constraints: 57815
2740.89/2748.44 c #Conflicts: 1635000 | #Constraints: 58815
2740.89/2748.44 c #Conflicts: 1636000 | #Constraints: 59815
2740.89/2748.44 c #Conflicts: 1637000 | #Constraints: 60815
2740.89/2748.44 c #Conflicts: 1638000 | #Constraints: 61815
2740.89/2748.44 c #Conflicts: 1639000 | #Constraints: 62815
2740.89/2748.44 c #Conflicts: 1640000 | #Constraints: 63815
2740.89/2748.44 c #Conflicts: 1641000 | #Constraints: 64815
2740.89/2748.44 c #Conflicts: 1642000 | #Constraints: 65815
2740.89/2748.44 c INPROCESSING
2740.89/2748.44 c GARBAGE COLLECT
2740.89/2748.44 c #Conflicts: 1643000 | #Constraints: 41428
2740.89/2748.44 c #Conflicts: 1644000 | #Constraints: 42428
2740.89/2748.44 c #Conflicts: 1645000 | #Constraints: 43428
2740.89/2748.44 c #Conflicts: 1646000 | #Constraints: 44428
2740.89/2748.44 c #Conflicts: 1647000 | #Constraints: 45428
2740.89/2748.44 c #Conflicts: 1648000 | #Constraints: 46428
2740.89/2748.44 c #Conflicts: 1649000 | #Constraints: 47428
2740.89/2748.44 c #Conflicts: 1650000 | #Constraints: 48428
2740.89/2748.44 c #Conflicts: 1651000 | #Constraints: 49428
2740.89/2748.44 c #Conflicts: 1652000 | #Constraints: 50428
2740.89/2748.44 c #Conflicts: 1653000 | #Constraints: 51428
2740.89/2748.44 c #Conflicts: 1654000 | #Constraints: 52428
2740.89/2748.44 c #Conflicts: 1655000 | #Constraints: 53428
2864.66/2872.55 c #Conflicts: 1656000 | #Constraints: 54428
2864.66/2872.55 c #Conflicts: 1657000 | #Constraints: 55428
2864.66/2872.55 c #Conflicts: 1658000 | #Constraints: 56428
2864.66/2872.55 c #Conflicts: 1659000 | #Constraints: 57428
2864.66/2872.55 c #Conflicts: 1660000 | #Constraints: 58428
2864.66/2872.55 c #Conflicts: 1661000 | #Constraints: 59428
2864.66/2872.55 c #Conflicts: 1662000 | #Constraints: 60428
2864.66/2872.55 c #Conflicts: 1663000 | #Constraints: 61428
2864.66/2872.55 c #Conflicts: 1664000 | #Constraints: 62428
2864.66/2872.55 c #Conflicts: 1665000 | #Constraints: 63428
2864.66/2872.55 c #Conflicts: 1666000 | #Constraints: 64428
2864.66/2872.55 c #Conflicts: 1667000 | #Constraints: 65428
2864.66/2872.55 c #Conflicts: 1668000 | #Constraints: 66428
2864.66/2872.55 c INPROCESSING
2864.66/2872.55 c GARBAGE COLLECT
2864.66/2872.55 c #Conflicts: 1669000 | #Constraints: 41820
2864.66/2872.55 c #Conflicts: 1670000 | #Constraints: 42820
2864.66/2872.55 c #Conflicts: 1671000 | #Constraints: 43820
2864.66/2872.55 c #Conflicts: 1672000 | #Constraints: 44820
2864.66/2872.55 c #Conflicts: 1673000 | #Constraints: 45820
2864.66/2872.55 c #Conflicts: 1674000 | #Constraints: 46820
2864.66/2872.55 c #Conflicts: 1675000 | #Constraints: 47820
2864.66/2872.55 c #Conflicts: 1676000 | #Constraints: 48820
2864.66/2872.55 c #Conflicts: 1677000 | #Constraints: 49820
2864.66/2872.55 c #Conflicts: 1678000 | #Constraints: 50820
2864.66/2872.55 c #Conflicts: 1679000 | #Constraints: 51820
2864.66/2872.55 c #Conflicts: 1680000 | #Constraints: 52820
2864.66/2872.55 c #Conflicts: 1681000 | #Constraints: 53820
2864.66/2872.55 c #Conflicts: 1682000 | #Constraints: 54820
2864.66/2872.55 c #Conflicts: 1683000 | #Constraints: 55820
2864.66/2872.55 c #Conflicts: 1684000 | #Constraints: 56820
2864.66/2872.55 c #Conflicts: 1685000 | #Constraints: 57820
2864.66/2872.55 c #Conflicts: 1686000 | #Constraints: 58820
2864.66/2872.55 c #Conflicts: 1687000 | #Constraints: 59820
2864.66/2872.55 c #Conflicts: 1688000 | #Constraints: 60820
2864.66/2872.55 c #Conflicts: 1689000 | #Constraints: 61820
2864.66/2872.55 c #Conflicts: 1690000 | #Constraints: 62820
2864.66/2872.55 c #Conflicts: 1691000 | #Constraints: 63820
2864.66/2872.55 c #Conflicts: 1692000 | #Constraints: 64820
2864.66/2872.55 c #Conflicts: 1693000 | #Constraints: 65820
2864.66/2872.55 c #Conflicts: 1694000 | #Constraints: 66820
2864.66/2872.55 c INPROCESSING
2864.66/2872.55 c GARBAGE COLLECT
2864.66/2872.55 c #Conflicts: 1695000 | #Constraints: 42014
2864.66/2872.55 c #Conflicts: 1696000 | #Constraints: 43014
2864.66/2872.55 c #Conflicts: 1697000 | #Constraints: 44014
2864.66/2872.55 c #Conflicts: 1698000 | #Constraints: 45014
2864.66/2872.55 c #Conflicts: 1699000 | #Constraints: 46014
2864.66/2872.55 c #Conflicts: 1700000 | #Constraints: 47014
2864.66/2872.55 c #Conflicts: 1701000 | #Constraints: 48014
2864.66/2872.55 c #Conflicts: 1702000 | #Constraints: 49014
2864.66/2872.55 c #Conflicts: 1703000 | #Constraints: 50014
2864.66/2872.55 c #Conflicts: 1704000 | #Constraints: 51014
2864.66/2872.55 c #Conflicts: 1705000 | #Constraints: 52014
2864.66/2872.55 c #Conflicts: 1706000 | #Constraints: 53014
2864.66/2872.55 c #Conflicts: 1707000 | #Constraints: 54014
2864.66/2872.55 c #Conflicts: 1708000 | #Constraints: 55014
2864.66/2872.55 c #Conflicts: 1709000 | #Constraints: 56014
2864.66/2872.55 c #Conflicts: 1710000 | #Constraints: 57014
2864.66/2872.55 c #Conflicts: 1711000 | #Constraints: 58014
2864.66/2872.55 c #Conflicts: 1712000 | #Constraints: 59014
2864.66/2872.55 c #Conflicts: 1713000 | #Constraints: 60014
2864.66/2872.55 c #Conflicts: 1714000 | #Constraints: 61014
2864.66/2872.55 c #Conflicts: 1715000 | #Constraints: 62014
2864.66/2872.55 c #Conflicts: 1716000 | #Constraints: 63014
2864.66/2872.55 c #Conflicts: 1717000 | #Constraints: 64014
2864.66/2872.55 c #Conflicts: 1718000 | #Constraints: 65014
2864.66/2872.55 c #Conflicts: 1719000 | #Constraints: 66014
2864.66/2872.55 c #Conflicts: 1720000 | #Constraints: 67014
2864.66/2872.55 c INPROCESSING
2864.66/2872.55 c GARBAGE COLLECT
2864.66/2872.55 c #Conflicts: 1721000 | #Constraints: 42015
2864.66/2872.55 c #Conflicts: 1722000 | #Constraints: 43015
2864.66/2872.55 c #Conflicts: 1723000 | #Constraints: 44015
2864.66/2872.55 c #Conflicts: 1724000 | #Constraints: 45015
2864.66/2872.55 c #Conflicts: 1725000 | #Constraints: 46015
2864.66/2872.55 c #Conflicts: 1726000 | #Constraints: 47015
2864.66/2872.55 c #Conflicts: 1727000 | #Constraints: 48015
2864.66/2872.55 c #Conflicts: 1728000 | #Constraints: 49015
2864.66/2872.55 c #Conflicts: 1729000 | #Constraints: 50015
2864.66/2872.55 c #Conflicts: 1730000 | #Constraints: 51015
2864.66/2872.55 c #Conflicts: 1731000 | #Constraints: 52015
2864.66/2872.55 c #Conflicts: 1732000 | #Constraints: 53015
3005.58/3013.83 c #Conflicts: 1733000 | #Constraints: 54015
3005.58/3013.83 c #Conflicts: 1734000 | #Constraints: 55015
3005.58/3013.83 c #Conflicts: 1735000 | #Constraints: 56015
3005.58/3013.83 c #Conflicts: 1736000 | #Constraints: 57015
3005.58/3013.83 c #Conflicts: 1737000 | #Constraints: 58015
3005.58/3013.83 c #Conflicts: 1738000 | #Constraints: 59015
3005.58/3013.83 c #Conflicts: 1739000 | #Constraints: 60015
3005.58/3013.83 c #Conflicts: 1740000 | #Constraints: 61015
3005.58/3013.83 c #Conflicts: 1741000 | #Constraints: 62015
3005.58/3013.83 c #Conflicts: 1742000 | #Constraints: 63015
3005.58/3013.83 c #Conflicts: 1743000 | #Constraints: 64015
3005.58/3013.83 c #Conflicts: 1744000 | #Constraints: 65015
3005.58/3013.83 c #Conflicts: 1745000 | #Constraints: 66015
3005.58/3013.83 c #Conflicts: 1746000 | #Constraints: 67015
3005.58/3013.83 c INPROCESSING
3005.58/3013.83 c GARBAGE COLLECT
3005.58/3013.83 c #Conflicts: 1747000 | #Constraints: 41789
3005.58/3013.83 c #Conflicts: 1748000 | #Constraints: 42789
3005.58/3013.83 c #Conflicts: 1749000 | #Constraints: 43789
3005.58/3013.83 c #Conflicts: 1750000 | #Constraints: 44789
3005.58/3013.83 c #Conflicts: 1751000 | #Constraints: 45789
3005.58/3013.83 c #Conflicts: 1752000 | #Constraints: 46789
3005.58/3013.83 c #Conflicts: 1753000 | #Constraints: 47789
3005.58/3013.83 c #Conflicts: 1754000 | #Constraints: 48789
3005.58/3013.83 c #Conflicts: 1755000 | #Constraints: 49789
3005.58/3013.83 c #Conflicts: 1756000 | #Constraints: 50789
3005.58/3013.83 c #Conflicts: 1757000 | #Constraints: 51789
3005.58/3013.83 c #Conflicts: 1758000 | #Constraints: 52789
3005.58/3013.83 c #Conflicts: 1759000 | #Constraints: 53789
3005.58/3013.83 c #Conflicts: 1760000 | #Constraints: 54789
3005.58/3013.83 c #Conflicts: 1761000 | #Constraints: 55789
3005.58/3013.83 c #Conflicts: 1762000 | #Constraints: 56789
3005.58/3013.83 c #Conflicts: 1763000 | #Constraints: 57789
3005.58/3013.83 c #Conflicts: 1764000 | #Constraints: 58789
3005.58/3013.83 c #Conflicts: 1765000 | #Constraints: 59789
3005.58/3013.83 c #Conflicts: 1766000 | #Constraints: 60789
3005.58/3013.83 c #Conflicts: 1767000 | #Constraints: 61789
3005.58/3013.83 c #Conflicts: 1768000 | #Constraints: 62789
3005.58/3013.83 c #Conflicts: 1769000 | #Constraints: 63789
3005.58/3013.83 c #Conflicts: 1770000 | #Constraints: 64789
3005.58/3013.83 c #Conflicts: 1771000 | #Constraints: 65789
3005.58/3013.83 c #Conflicts: 1772000 | #Constraints: 66789
3005.58/3013.83 c #Conflicts: 1773000 | #Constraints: 67789
3005.58/3013.83 c INPROCESSING
3005.58/3013.83 c GARBAGE COLLECT
3005.58/3013.83 c #Conflicts: 1774000 | #Constraints: 42420
3005.58/3013.83 c #Conflicts: 1775000 | #Constraints: 43420
3005.58/3013.83 c #Conflicts: 1776000 | #Constraints: 44420
3005.58/3013.83 c #Conflicts: 1777000 | #Constraints: 45420
3005.58/3013.83 c #Conflicts: 1778000 | #Constraints: 46420
3005.58/3013.83 c #Conflicts: 1779000 | #Constraints: 47420
3005.58/3013.83 c #Conflicts: 1780000 | #Constraints: 48420
3005.58/3013.83 c #Conflicts: 1781000 | #Constraints: 49420
3005.58/3013.83 c #Conflicts: 1782000 | #Constraints: 50420
3005.58/3013.83 c #Conflicts: 1783000 | #Constraints: 51420
3005.58/3013.83 c #Conflicts: 1784000 | #Constraints: 52420
3005.58/3013.83 c #Conflicts: 1785000 | #Constraints: 53420
3005.58/3013.83 c #Conflicts: 1786000 | #Constraints: 54420
3005.58/3013.83 c #Conflicts: 1787000 | #Constraints: 55420
3005.58/3013.83 c #Conflicts: 1788000 | #Constraints: 56420
3005.58/3013.83 c #Conflicts: 1789000 | #Constraints: 57420
3005.58/3013.83 c #Conflicts: 1790000 | #Constraints: 58420
3005.58/3013.83 c #Conflicts: 1791000 | #Constraints: 59420
3005.58/3013.83 c #Conflicts: 1792000 | #Constraints: 60420
3005.58/3013.83 c #Conflicts: 1793000 | #Constraints: 61420
3005.58/3013.83 c #Conflicts: 1794000 | #Constraints: 62420
3005.58/3013.83 c #Conflicts: 1795000 | #Constraints: 63420
3005.58/3013.83 c #Conflicts: 1796000 | #Constraints: 64420
3005.58/3013.83 c #Conflicts: 1797000 | #Constraints: 65420
3005.58/3013.83 c #Conflicts: 1798000 | #Constraints: 66420
3005.58/3013.83 c #Conflicts: 1799000 | #Constraints: 67420
3005.58/3013.83 c #Conflicts: 1800000 | #Constraints: 68420
3005.58/3013.83 c INPROCESSING
3005.58/3013.83 c GARBAGE COLLECT
3005.58/3013.83 c #Conflicts: 1801000 | #Constraints: 42831
3005.58/3013.83 c #Conflicts: 1802000 | #Constraints: 43831
3005.58/3013.83 c #Conflicts: 1803000 | #Constraints: 44831
3005.58/3013.83 c #Conflicts: 1804000 | #Constraints: 45831
3005.58/3013.83 c #Conflicts: 1805000 | #Constraints: 46831
3005.58/3013.83 c #Conflicts: 1806000 | #Constraints: 47831
3005.58/3013.83 c #Conflicts: 1807000 | #Constraints: 48831
3005.58/3013.83 c #Conflicts: 1808000 | #Constraints: 49831
3005.58/3013.83 c #Conflicts: 1809000 | #Constraints: 50831
3148.88/3157.59 c #Conflicts: 1810000 | #Constraints: 51831
3148.88/3157.59 c #Conflicts: 1811000 | #Constraints: 52831
3148.88/3157.59 c #Conflicts: 1812000 | #Constraints: 53831
3148.88/3157.59 c #Conflicts: 1813000 | #Constraints: 54831
3148.88/3157.59 c #Conflicts: 1814000 | #Constraints: 55831
3148.88/3157.59 c #Conflicts: 1815000 | #Constraints: 56831
3148.88/3157.59 c #Conflicts: 1816000 | #Constraints: 57831
3148.88/3157.59 c #Conflicts: 1817000 | #Constraints: 58831
3148.88/3157.59 c #Conflicts: 1818000 | #Constraints: 59831
3148.88/3157.59 c #Conflicts: 1819000 | #Constraints: 60831
3148.88/3157.59 c #Conflicts: 1820000 | #Constraints: 61831
3148.88/3157.59 c #Conflicts: 1821000 | #Constraints: 62831
3148.88/3157.59 c #Conflicts: 1822000 | #Constraints: 63831
3148.88/3157.59 c #Conflicts: 1823000 | #Constraints: 64831
3148.88/3157.59 c #Conflicts: 1824000 | #Constraints: 65831
3148.88/3157.59 c #Conflicts: 1825000 | #Constraints: 66831
3148.88/3157.59 c #Conflicts: 1826000 | #Constraints: 67831
3148.88/3157.59 c #Conflicts: 1827000 | #Constraints: 68831
3148.88/3157.59 c INPROCESSING
3148.88/3157.59 c GARBAGE COLLECT
3148.88/3157.59 c #Conflicts: 1828000 | #Constraints: 43026
3148.88/3157.59 c #Conflicts: 1829000 | #Constraints: 44026
3148.88/3157.59 c #Conflicts: 1830000 | #Constraints: 45026
3148.88/3157.59 c #Conflicts: 1831000 | #Constraints: 46026
3148.88/3157.59 c #Conflicts: 1832000 | #Constraints: 47026
3148.88/3157.59 c #Conflicts: 1833000 | #Constraints: 48026
3148.88/3157.59 c #Conflicts: 1834000 | #Constraints: 49026
3148.88/3157.59 c #Conflicts: 1835000 | #Constraints: 50026
3148.88/3157.59 c #Conflicts: 1836000 | #Constraints: 51026
3148.88/3157.59 c #Conflicts: 1837000 | #Constraints: 52026
3148.88/3157.59 c #Conflicts: 1838000 | #Constraints: 53026
3148.88/3157.59 c #Conflicts: 1839000 | #Constraints: 54026
3148.88/3157.59 c #Conflicts: 1840000 | #Constraints: 55026
3148.88/3157.59 c #Conflicts: 1841000 | #Constraints: 56026
3148.88/3157.59 c #Conflicts: 1842000 | #Constraints: 57026
3148.88/3157.59 c #Conflicts: 1843000 | #Constraints: 58026
3148.88/3157.59 c #Conflicts: 1844000 | #Constraints: 59026
3148.88/3157.59 c #Conflicts: 1845000 | #Constraints: 60026
3148.88/3157.59 c #Conflicts: 1846000 | #Constraints: 61026
3148.88/3157.59 c #Conflicts: 1847000 | #Constraints: 62026
3148.88/3157.59 c #Conflicts: 1848000 | #Constraints: 63026
3148.88/3157.59 c #Conflicts: 1849000 | #Constraints: 64026
3148.88/3157.59 c #Conflicts: 1850000 | #Constraints: 65026
3148.88/3157.59 c #Conflicts: 1851000 | #Constraints: 66026
3148.88/3157.59 c #Conflicts: 1852000 | #Constraints: 67026
3148.88/3157.59 c #Conflicts: 1853000 | #Constraints: 68026
3148.88/3157.59 c #Conflicts: 1854000 | #Constraints: 69026
3148.88/3157.59 c INPROCESSING
3148.88/3157.59 c GARBAGE COLLECT
3148.88/3157.59 c #Conflicts: 1855000 | #Constraints: 43018
3148.88/3157.59 c #Conflicts: 1856000 | #Constraints: 44018
3148.88/3157.59 c #Conflicts: 1857000 | #Constraints: 45018
3148.88/3157.59 c #Conflicts: 1858000 | #Constraints: 46018
3148.88/3157.59 c #Conflicts: 1859000 | #Constraints: 47018
3148.88/3157.59 c #Conflicts: 1860000 | #Constraints: 48018
3148.88/3157.59 c #Conflicts: 1861000 | #Constraints: 49018
3148.88/3157.59 c #Conflicts: 1862000 | #Constraints: 50018
3148.88/3157.59 c #Conflicts: 1863000 | #Constraints: 51018
3148.88/3157.59 c #Conflicts: 1864000 | #Constraints: 52018
3148.88/3157.59 c #Conflicts: 1865000 | #Constraints: 53018
3148.88/3157.59 c #Conflicts: 1866000 | #Constraints: 54018
3148.88/3157.59 c #Conflicts: 1867000 | #Constraints: 55018
3148.88/3157.59 c #Conflicts: 1868000 | #Constraints: 56018
3148.88/3157.59 c #Conflicts: 1869000 | #Constraints: 57018
3148.88/3157.59 c #Conflicts: 1870000 | #Constraints: 58018
3148.88/3157.59 c #Conflicts: 1871000 | #Constraints: 59018
3148.88/3157.59 c #Conflicts: 1872000 | #Constraints: 60018
3148.88/3157.59 c #Conflicts: 1873000 | #Constraints: 61018
3148.88/3157.59 c #Conflicts: 1874000 | #Constraints: 62018
3148.88/3157.59 c #Conflicts: 1875000 | #Constraints: 63018
3148.88/3157.59 c #Conflicts: 1876000 | #Constraints: 64018
3148.88/3157.59 c #Conflicts: 1877000 | #Constraints: 65018
3148.88/3157.59 c #Conflicts: 1878000 | #Constraints: 66018
3148.88/3157.59 c #Conflicts: 1879000 | #Constraints: 67018
3148.88/3157.59 c #Conflicts: 1880000 | #Constraints: 68018
3148.88/3157.59 c #Conflicts: 1881000 | #Constraints: 69018
3148.88/3157.59 c INPROCESSING
3148.88/3157.59 c GARBAGE COLLECT
3148.88/3157.59 c #Conflicts: 1882000 | #Constraints: 42818
3148.88/3157.59 c #Conflicts: 1883000 | #Constraints: 43818
3148.88/3157.59 c #Conflicts: 1884000 | #Constraints: 44818
3148.88/3157.59 c #Conflicts: 1885000 | #Constraints: 45818
3286.50/3295.52 c #Conflicts: 1886000 | #Constraints: 46818
3286.50/3295.52 c #Conflicts: 1887000 | #Constraints: 47818
3286.50/3295.52 c #Conflicts: 1888000 | #Constraints: 48818
3286.50/3295.52 c #Conflicts: 1889000 | #Constraints: 49818
3286.50/3295.52 c #Conflicts: 1890000 | #Constraints: 50818
3286.50/3295.52 c #Conflicts: 1891000 | #Constraints: 51818
3286.50/3295.52 c #Conflicts: 1892000 | #Constraints: 52818
3286.50/3295.52 c #Conflicts: 1893000 | #Constraints: 53818
3286.50/3295.52 c #Conflicts: 1894000 | #Constraints: 54818
3286.50/3295.52 c #Conflicts: 1895000 | #Constraints: 55818
3286.50/3295.52 c #Conflicts: 1896000 | #Constraints: 56818
3286.50/3295.52 c #Conflicts: 1897000 | #Constraints: 57818
3286.50/3295.52 c #Conflicts: 1898000 | #Constraints: 58818
3286.50/3295.52 c #Conflicts: 1899000 | #Constraints: 59818
3286.50/3295.52 c #Conflicts: 1900000 | #Constraints: 60818
3286.50/3295.52 c #Conflicts: 1901000 | #Constraints: 61818
3286.50/3295.52 c #Conflicts: 1902000 | #Constraints: 62818
3286.50/3295.52 c #Conflicts: 1903000 | #Constraints: 63818
3286.50/3295.52 c #Conflicts: 1904000 | #Constraints: 64818
3286.50/3295.52 c #Conflicts: 1905000 | #Constraints: 65818
3286.50/3295.52 c #Conflicts: 1906000 | #Constraints: 66818
3286.50/3295.52 c #Conflicts: 1907000 | #Constraints: 67818
3286.50/3295.52 c #Conflicts: 1908000 | #Constraints: 68818
3286.50/3295.52 c #Conflicts: 1909000 | #Constraints: 69818
3286.50/3295.52 c INPROCESSING
3286.50/3295.52 c GARBAGE COLLECT
3286.50/3295.52 c #Conflicts: 1910000 | #Constraints: 43453
3286.50/3295.52 c #Conflicts: 1911000 | #Constraints: 44453
3286.50/3295.52 c #Conflicts: 1912000 | #Constraints: 45453
3286.50/3295.52 c #Conflicts: 1913000 | #Constraints: 46453
3286.50/3295.52 c #Conflicts: 1914000 | #Constraints: 47453
3286.50/3295.52 c #Conflicts: 1915000 | #Constraints: 48453
3286.50/3295.52 c #Conflicts: 1916000 | #Constraints: 49453
3286.50/3295.52 c #Conflicts: 1917000 | #Constraints: 50453
3286.50/3295.52 c #Conflicts: 1918000 | #Constraints: 51453
3286.50/3295.52 c #Conflicts: 1919000 | #Constraints: 52453
3286.50/3295.52 c #Conflicts: 1920000 | #Constraints: 53453
3286.50/3295.52 c #Conflicts: 1921000 | #Constraints: 54453
3286.50/3295.52 c #Conflicts: 1922000 | #Constraints: 55453
3286.50/3295.52 c #Conflicts: 1923000 | #Constraints: 56453
3286.50/3295.52 c #Conflicts: 1924000 | #Constraints: 57453
3286.50/3295.52 c #Conflicts: 1925000 | #Constraints: 58453
3286.50/3295.52 c #Conflicts: 1926000 | #Constraints: 59453
3286.50/3295.52 c #Conflicts: 1927000 | #Constraints: 60453
3286.50/3295.52 c #Conflicts: 1928000 | #Constraints: 61453
3286.50/3295.52 c #Conflicts: 1929000 | #Constraints: 62453
3286.50/3295.52 c #Conflicts: 1930000 | #Constraints: 63453
3286.50/3295.52 c #Conflicts: 1931000 | #Constraints: 64453
3286.50/3295.52 c #Conflicts: 1932000 | #Constraints: 65453
3286.50/3295.52 c #Conflicts: 1933000 | #Constraints: 66453
3286.50/3295.52 c #Conflicts: 1934000 | #Constraints: 67453
3286.50/3295.52 c #Conflicts: 1935000 | #Constraints: 68453
3286.50/3295.52 c #Conflicts: 1936000 | #Constraints: 69453
3286.50/3295.52 c #Conflicts: 1937000 | #Constraints: 70453
3286.50/3295.52 c INPROCESSING
3286.50/3295.52 c GARBAGE COLLECT
3286.50/3295.52 c #Conflicts: 1938000 | #Constraints: 43838
3286.50/3295.52 c #Conflicts: 1939000 | #Constraints: 44838
3286.50/3295.52 c #Conflicts: 1940000 | #Constraints: 45838
3286.50/3295.52 c #Conflicts: 1941000 | #Constraints: 46838
3286.50/3295.52 c #Conflicts: 1942000 | #Constraints: 47838
3286.50/3295.52 c #Conflicts: 1943000 | #Constraints: 48838
3286.50/3295.52 c #Conflicts: 1944000 | #Constraints: 49838
3286.50/3295.52 c #Conflicts: 1945000 | #Constraints: 50838
3286.50/3295.52 c #Conflicts: 1946000 | #Constraints: 51838
3286.50/3295.52 c #Conflicts: 1947000 | #Constraints: 52838
3286.50/3295.52 c #Conflicts: 1948000 | #Constraints: 53838
3286.50/3295.52 c #Conflicts: 1949000 | #Constraints: 54838
3286.50/3295.52 c #Conflicts: 1950000 | #Constraints: 55838
3286.50/3295.52 c #Conflicts: 1951000 | #Constraints: 56838
3286.50/3295.52 c #Conflicts: 1952000 | #Constraints: 57838
3286.50/3295.52 c #Conflicts: 1953000 | #Constraints: 58838
3286.50/3295.52 c #Conflicts: 1954000 | #Constraints: 59838
3286.50/3295.52 c #Conflicts: 1955000 | #Constraints: 60838
3286.50/3295.52 c #Conflicts: 1956000 | #Constraints: 61838
3286.50/3295.52 c #Conflicts: 1957000 | #Constraints: 62838
3286.50/3295.52 c #Conflicts: 1958000 | #Constraints: 63838
3286.50/3295.52 c #Conflicts: 1959000 | #Constraints: 64838
3286.50/3295.52 c #Conflicts: 1960000 | #Constraints: 65838
3286.50/3295.52 c #Conflicts: 1961000 | #Constraints: 66838
3286.50/3295.52 c #Conflicts: 1962000 | #Constraints: 67838
3286.50/3295.52 c #Conflicts: 1963000 | #Constraints: 68838
3422.76/3432.12 c #Conflicts: 1964000 | #Constraints: 69838
3422.76/3432.12 c #Conflicts: 1965000 | #Constraints: 70838
3422.76/3432.12 c INPROCESSING
3422.76/3432.12 c GARBAGE COLLECT
3422.76/3432.12 c #Conflicts: 1966000 | #Constraints: 44057
3422.76/3432.12 c #Conflicts: 1967000 | #Constraints: 45057
3422.76/3432.12 c #Conflicts: 1968000 | #Constraints: 46057
3422.76/3432.12 c #Conflicts: 1969000 | #Constraints: 47057
3422.76/3432.12 c #Conflicts: 1970000 | #Constraints: 48057
3422.76/3432.12 c #Conflicts: 1971000 | #Constraints: 49057
3422.76/3432.12 c #Conflicts: 1972000 | #Constraints: 50057
3422.76/3432.12 c #Conflicts: 1973000 | #Constraints: 51057
3422.76/3432.12 c #Conflicts: 1974000 | #Constraints: 52057
3422.76/3432.12 c #Conflicts: 1975000 | #Constraints: 53057
3422.76/3432.12 c #Conflicts: 1976000 | #Constraints: 54057
3422.76/3432.12 c #Conflicts: 1977000 | #Constraints: 55057
3422.76/3432.12 c #Conflicts: 1978000 | #Constraints: 56057
3422.76/3432.12 c #Conflicts: 1979000 | #Constraints: 57057
3422.76/3432.12 c #Conflicts: 1980000 | #Constraints: 58057
3422.76/3432.12 c #Conflicts: 1981000 | #Constraints: 59057
3422.76/3432.12 c #Conflicts: 1982000 | #Constraints: 60057
3422.76/3432.12 c #Conflicts: 1983000 | #Constraints: 61057
3422.76/3432.12 c #Conflicts: 1984000 | #Constraints: 62057
3422.76/3432.12 c #Conflicts: 1985000 | #Constraints: 63057
3422.76/3432.12 c #Conflicts: 1986000 | #Constraints: 64057
3422.76/3432.12 c #Conflicts: 1987000 | #Constraints: 65057
3422.76/3432.12 c #Conflicts: 1988000 | #Constraints: 66057
3422.76/3432.12 c #Conflicts: 1989000 | #Constraints: 67057
3422.76/3432.12 c #Conflicts: 1990000 | #Constraints: 68057
3422.76/3432.12 c #Conflicts: 1991000 | #Constraints: 69057
3422.76/3432.12 c #Conflicts: 1992000 | #Constraints: 70057
3422.76/3432.12 c #Conflicts: 1993000 | #Constraints: 71057
3422.76/3432.12 c INPROCESSING
3422.76/3432.12 c GARBAGE COLLECT
3422.76/3432.12 c #Conflicts: 1994000 | #Constraints: 44068
3422.76/3432.12 c #Conflicts: 1995000 | #Constraints: 45068
3422.76/3432.12 c #Conflicts: 1996000 | #Constraints: 46068
3422.76/3432.12 c #Conflicts: 1997000 | #Constraints: 47068
3422.76/3432.12 c #Conflicts: 1998000 | #Constraints: 48068
3422.76/3432.12 c #Conflicts: 1999000 | #Constraints: 49068
3422.76/3432.12 c #Conflicts: 2000000 | #Constraints: 50068
3422.76/3432.12 c #Conflicts: 2001000 | #Constraints: 51068
3422.76/3432.12 c #Conflicts: 2002000 | #Constraints: 52068
3422.76/3432.12 c #Conflicts: 2003000 | #Constraints: 53068
3422.76/3432.12 c #Conflicts: 2004000 | #Constraints: 54068
3422.76/3432.12 c #Conflicts: 2005000 | #Constraints: 55068
3422.76/3432.12 c #Conflicts: 2006000 | #Constraints: 56068
3422.76/3432.12 c #Conflicts: 2007000 | #Constraints: 57068
3422.76/3432.12 c #Conflicts: 2008000 | #Constraints: 58068
3422.76/3432.12 c #Conflicts: 2009000 | #Constraints: 59068
3422.76/3432.12 c #Conflicts: 2010000 | #Constraints: 60068
3422.76/3432.12 c #Conflicts: 2011000 | #Constraints: 61068
3422.76/3432.12 c #Conflicts: 2012000 | #Constraints: 62068
3422.76/3432.12 c #Conflicts: 2013000 | #Constraints: 63068
3422.76/3432.12 c #Conflicts: 2014000 | #Constraints: 64068
3422.76/3432.12 c #Conflicts: 2015000 | #Constraints: 65068
3422.76/3432.12 c #Conflicts: 2016000 | #Constraints: 66068
3422.76/3432.12 c #Conflicts: 2017000 | #Constraints: 67068
3422.76/3432.12 c #Conflicts: 2018000 | #Constraints: 68068
3422.76/3432.12 c #Conflicts: 2019000 | #Constraints: 69068
3422.76/3432.12 c #Conflicts: 2020000 | #Constraints: 70068
3422.76/3432.12 c #Conflicts: 2021000 | #Constraints: 71068
3422.76/3432.12 c INPROCESSING
3422.76/3432.12 c GARBAGE COLLECT
3422.76/3432.12 c #Conflicts: 2022000 | #Constraints: 43896
3422.76/3432.12 c #Conflicts: 2023000 | #Constraints: 44896
3422.76/3432.12 c #Conflicts: 2024000 | #Constraints: 45896
3422.76/3432.12 c #Conflicts: 2025000 | #Constraints: 46896
3422.76/3432.12 c #Conflicts: 2026000 | #Constraints: 47896
3422.76/3432.12 c #Conflicts: 2027000 | #Constraints: 48896
3422.76/3432.12 c #Conflicts: 2028000 | #Constraints: 49896
3422.76/3432.12 c #Conflicts: 2029000 | #Constraints: 50896
3422.76/3432.12 c #Conflicts: 2030000 | #Constraints: 51896
3422.76/3432.12 c #Conflicts: 2031000 | #Constraints: 52896
3422.76/3432.12 c #Conflicts: 2032000 | #Constraints: 53896
3422.76/3432.12 c #Conflicts: 2033000 | #Constraints: 54896
3422.76/3432.12 c #Conflicts: 2034000 | #Constraints: 55896
3422.76/3432.12 c #Conflicts: 2035000 | #Constraints: 56896
3422.76/3432.12 c #Conflicts: 2036000 | #Constraints: 57896
3422.76/3432.12 c #Conflicts: 2037000 | #Constraints: 58896
3422.76/3432.12 c #Conflicts: 2038000 | #Constraints: 59896
3422.76/3432.12 c #Conflicts: 2039000 | #Constraints: 60896
3422.76/3432.12 c #Conflicts: 2040000 | #Constraints: 61896
3569.68/3579.46 c #Conflicts: 2041000 | #Constraints: 62896
3569.68/3579.46 c #Conflicts: 2042000 | #Constraints: 63896
3569.68/3579.46 c #Conflicts: 2043000 | #Constraints: 64896
3569.68/3579.46 c #Conflicts: 2044000 | #Constraints: 65896
3569.68/3579.46 c #Conflicts: 2045000 | #Constraints: 66896
3569.68/3579.46 c #Conflicts: 2046000 | #Constraints: 67896
3569.68/3579.46 c #Conflicts: 2047000 | #Constraints: 68896
3569.68/3579.46 c #Conflicts: 2048000 | #Constraints: 69896
3569.68/3579.46 c #Conflicts: 2049000 | #Constraints: 70896
3569.68/3579.46 c #Conflicts: 2050000 | #Constraints: 71896
3569.68/3579.46 c INPROCESSING
3569.68/3579.46 c GARBAGE COLLECT
3569.68/3579.46 c #Conflicts: 2051000 | #Constraints: 44492
3569.68/3579.46 c #Conflicts: 2052000 | #Constraints: 45492
3569.68/3579.46 c #Conflicts: 2053000 | #Constraints: 46492
3569.68/3579.46 c #Conflicts: 2054000 | #Constraints: 47492
3569.68/3579.46 c #Conflicts: 2055000 | #Constraints: 48492
3569.68/3579.46 c #Conflicts: 2056000 | #Constraints: 49492
3569.68/3579.46 c #Conflicts: 2057000 | #Constraints: 50492
3569.68/3579.46 c #Conflicts: 2058000 | #Constraints: 51492
3569.68/3579.46 c #Conflicts: 2059000 | #Constraints: 52492
3569.68/3579.46 c #Conflicts: 2060000 | #Constraints: 53492
3569.68/3579.46 c #Conflicts: 2061000 | #Constraints: 54492
3569.68/3579.46 c #Conflicts: 2062000 | #Constraints: 55492
3569.68/3579.46 c #Conflicts: 2063000 | #Constraints: 56492
3569.68/3579.46 c #Conflicts: 2064000 | #Constraints: 57492
3569.68/3579.46 c #Conflicts: 2065000 | #Constraints: 58492
3569.68/3579.46 c #Conflicts: 2066000 | #Constraints: 59492
3569.68/3579.46 c #Conflicts: 2067000 | #Constraints: 60492
3569.68/3579.46 c #Conflicts: 2068000 | #Constraints: 61492
3569.68/3579.46 c #Conflicts: 2069000 | #Constraints: 62492
3569.68/3579.46 c #Conflicts: 2070000 | #Constraints: 63492
3569.68/3579.46 c #Conflicts: 2071000 | #Constraints: 64492
3569.68/3579.46 c #Conflicts: 2072000 | #Constraints: 65492
3569.68/3579.46 c #Conflicts: 2073000 | #Constraints: 66492
3569.68/3579.46 c #Conflicts: 2074000 | #Constraints: 67492
3569.68/3579.46 c #Conflicts: 2075000 | #Constraints: 68492
3569.68/3579.46 c #Conflicts: 2076000 | #Constraints: 69492
3569.68/3579.46 c #Conflicts: 2077000 | #Constraints: 70492
3569.68/3579.46 c #Conflicts: 2078000 | #Constraints: 71492
3569.68/3579.46 c #Conflicts: 2079000 | #Constraints: 72492
3569.68/3579.46 c INPROCESSING
3569.68/3579.46 c GARBAGE COLLECT
3569.68/3579.46 c #Conflicts: 2080000 | #Constraints: 44887
3569.68/3579.46 c #Conflicts: 2081000 | #Constraints: 45887
3569.68/3579.46 c #Conflicts: 2082000 | #Constraints: 46887
3569.68/3579.46 c #Conflicts: 2083000 | #Constraints: 47887
3569.68/3579.46 c #Conflicts: 2084000 | #Constraints: 48887
3569.68/3579.46 c #Conflicts: 2085000 | #Constraints: 49887
3569.68/3579.46 c #Conflicts: 2086000 | #Constraints: 50887
3569.68/3579.46 c #Conflicts: 2087000 | #Constraints: 51887
3569.68/3579.46 c #Conflicts: 2088000 | #Constraints: 52887
3569.68/3579.46 c #Conflicts: 2089000 | #Constraints: 53887
3569.68/3579.46 c #Conflicts: 2090000 | #Constraints: 54887
3569.68/3579.46 c #Conflicts: 2091000 | #Constraints: 55887
3569.68/3579.46 c #Conflicts: 2092000 | #Constraints: 56887
3569.68/3579.46 c #Conflicts: 2093000 | #Constraints: 57887
3569.68/3579.46 c #Conflicts: 2094000 | #Constraints: 58887
3569.68/3579.46 c #Conflicts: 2095000 | #Constraints: 59887
3569.68/3579.46 c #Conflicts: 2096000 | #Constraints: 60887
3569.68/3579.46 c #Conflicts: 2097000 | #Constraints: 61887
3569.68/3579.46 c #Conflicts: 2098000 | #Constraints: 62887
3569.68/3579.46 c #Conflicts: 2099000 | #Constraints: 63887
3569.68/3579.46 c #Conflicts: 2100000 | #Constraints: 64887
3569.68/3579.46 c #Conflicts: 2101000 | #Constraints: 65887
3569.68/3579.46 c #Conflicts: 2102000 | #Constraints: 66887
3569.68/3579.46 c #Conflicts: 2103000 | #Constraints: 67887
3569.68/3579.46 c #Conflicts: 2104000 | #Constraints: 68887
3569.68/3579.46 c #Conflicts: 2105000 | #Constraints: 69887
3569.68/3579.46 c #Conflicts: 2106000 | #Constraints: 70887
3569.68/3579.46 c #Conflicts: 2107000 | #Constraints: 71887
3569.68/3579.46 c #Conflicts: 2108000 | #Constraints: 72887
3569.68/3579.46 c INPROCESSING
3569.68/3579.46 c GARBAGE COLLECT
3569.68/3579.46 c #Conflicts: 2109000 | #Constraints: 45061
3569.68/3579.46 c #Conflicts: 2110000 | #Constraints: 46061
3569.68/3579.46 c #Conflicts: 2111000 | #Constraints: 47061
3569.68/3579.46 c #Conflicts: 2112000 | #Constraints: 48061
3569.68/3579.46 c #Conflicts: 2113000 | #Constraints: 49061
3569.68/3579.46 c #Conflicts: 2114000 | #Constraints: 50061
3569.68/3579.46 c #Conflicts: 2115000 | #Constraints: 51061
3569.68/3579.46 c #Conflicts: 2116000 | #Constraints: 52061
3569.68/3579.46 c #Conflicts: 2117000 | #Constraints: 53061
3600.01/3609.80 c #Conflicts: 2118000 | #Constraints: 54061
3600.01/3609.80 c #Conflicts: 2119000 | #Constraints: 55061
3600.01/3609.80 c #Conflicts: 2120000 | #Constraints: 56061
3600.01/3609.80 c #Conflicts: 2121000 | #Constraints: 57061
3600.01/3609.80 c #Conflicts: 2122000 | #Constraints: 58061
3600.01/3609.80 c #Conflicts: 2123000 | #Constraints: 59061
3600.01/3609.80 c #Conflicts: 2124000 | #Constraints: 60061
3600.01/3609.80 c #Conflicts: 2125000 | #Constraints: 61061
3600.01/3609.80 c #Conflicts: 2126000 | #Constraints: 62061
3600.01/3609.80 c #Conflicts: 2127000 | #Constraints: 63061
3600.01/3609.80 c #Conflicts: 2128000 | #Constraints: 64061
3600.01/3609.80 c #Conflicts: 2129000 | #Constraints: 65061
3600.01/3609.80 c #Conflicts: 2130000 | #Constraints: 66061
3600.01/3609.80 c #Conflicts: 2131000 | #Constraints: 67061
3600.01/3609.80 c #Conflicts: 2132000 | #Constraints: 68061
3600.01/3609.80 c #Conflicts: 2133000 | #Constraints: 69061
3600.01/3609.80 c Program interrupted by user.
3600.01/3609.80 c cpu time 3583.69 s
3600.01/3609.80 c deterministic time 924443579402 9.24e+11
3600.01/3609.80 c optimization time 40.2045 s
3600.01/3609.80 c total solve time 3244.24 s
3600.01/3609.80 c core-guided solve time 3244.24 s
3600.01/3609.80 c propagation time 2468.74 s
3600.01/3609.80 c conflict analysis time 739.537 s
3600.01/3609.80 c propagations 985646174
3600.01/3609.80 c resolve steps 56018035
3600.01/3609.80 c decisions 11321021
3600.01/3609.80 c conflicts 2133887
3600.01/3609.80 c restarts 4092
3600.01/3609.80 c inprocessing phases 136
3600.01/3609.80 c input clauses 15096
3600.01/3609.80 c input cardinalities 7
3600.01/3609.80 c input general constraints 0
3600.01/3609.80 c input average constraint length 2.77
3600.01/3609.80 c input average constraint degree 1.06
3600.01/3609.80 c learned clauses 1594647
3600.01/3609.80 c learned cardinalities 6042
3600.01/3609.80 c learned general constraints 533202
3600.01/3609.80 c learned average constraint length 888.45
3600.01/3609.80 c learned average constraint degree 7010.67
3600.01/3609.80 c watched constraints 439456
3600.01/3609.80 c counting constraints 93746
3600.01/3609.80 c gcd simplifications 6801
3600.01/3609.80 c detected cardinalities 52
3600.01/3609.80 c weakened non-implied lits 403474875
3600.01/3609.80 c weakened non-implying lits 29662
3600.01/3609.80 c original variables 4318
3600.01/3609.80 c clausal propagations 841400510
3600.01/3609.80 c cardinality propagations 12537968
3600.01/3609.80 c watched propagations 9854294
3600.01/3609.80 c counting propagations 118162084
3600.01/3609.80 c watch lookups 12590653528
3600.01/3609.80 c watch backjump lookups 6613843004
3600.01/3609.80 c watch checks 822176521080
3600.01/3609.80 c propagation checks 75049225419
3600.01/3609.80 c constraint additions 6017270924
3600.01/3609.80 c trail pops 999098251
3600.01/3609.80 c formula constraints 15096
3600.01/3609.80 c learned constraints 2133891
3600.01/3609.80 c bound constraints 7
3600.01/3609.80 c core-guided constraints 0
3600.01/3609.80 c encountered formula constraints 47869549
3600.01/3609.80 c encountered learned constraints 10282363
3600.01/3609.80 c encountered bound constraints 10
3600.01/3609.80 c encountered core-guided constraints 0
3600.01/3609.80 c LP total time 0 s
3600.01/3609.80 c LP solve time 0 s
3600.01/3609.80 c LP constraints added 0
3600.01/3609.80 c LP constraints removed 0
3600.01/3609.80 c LP pivots internal 0
3600.01/3609.80 c LP pivots root 0
3600.01/3609.80 c LP calls 0
3600.01/3609.80 c LP optimalities 0
3600.01/3609.80 c LP no pivot count 0
3600.01/3609.80 c LP infeasibilities 0
3600.01/3609.80 c LP valid Farkas constraints 0
3600.01/3609.80 c LP learned Farkas constraints 0
3600.01/3609.80 c LP basis resets 0
3600.01/3609.80 c LP cycling count 0
3600.01/3609.80 c LP singular count 0
3600.01/3609.80 c LP no primal count 0
3600.01/3609.80 c LP no farkas count 0
3600.01/3609.80 c LP other issue count 0
3600.01/3609.80 c LP Gomory cuts 0
3600.01/3609.80 c LP learned cuts 0
3600.01/3609.80 c LP deleted cuts 0
3600.01/3609.80 c LP encountered Gomory constraints 0
3600.01/3609.80 c LP encountered Farkas constraints 0
3600.01/3609.80 c LP encountered learned Farkas constraints 0
3600.01/3609.80 c CG auxiliary variables introduced 0
3600.01/3609.80 c CG solutions found 0
3600.01/3609.80 c CG cores constructed 6
3600.01/3609.80 c CG core cardinality constraints returned 0
3600.01/3609.80 c CG unit cores 0
3600.01/3609.80 c CG single cores 6
3600.01/3609.80 c CG blocks removed during cardinality reduction 0
3600.01/3609.80 c CG first core best 0
3600.01/3609.80 c CG decision core best 0
3600.01/3609.80 c CG core reduction tie 0
3600.01/3609.80 c CG core degree average 1.00
3600.01/3609.80 c CG core slack average 47.50
3600.01/3609.80 c CG exhausted 0
3600.01/3609.80 c CG exhaust time 0 s
3600.01/3609.80 c CG trimmed 0
3600.01/3609.80 c CG trim time 0.000668 s
3600.01/3609.80 c CG minimized 0
3600.01/3609.80 c CG minimize time 0 s
3600.01/3609.80 c CG am1 prop time 0.00048 s
3600.01/3609.80 c CG # am1s reformulated 0
3600.01/3609.80 c CG lower bound derived from am1s 0
3600.01/3609.80 c CG # clausal cores 6
3600.01/3609.80 c CG # cardinality cores 0
3600.01/3609.80 c CG # pb cores 0
3600.01/3609.80 c CG # pb reforms 0
3600.01/3609.80 c CG # cores discarded because of pb reform 0
3600.01/3609.80 d LOWERBOUND 6
3600.01/3609.80 d NCORES 6
3600.01/3609.80 d NPBCORES 0
3600.01/3609.80 d NPBREFORM 0
3600.01/3609.80 d NTRIMMED 0
3600.01/3609.80 d NEXHAUSTED 0
3600.01/3609.80 d NAM1S 0
3600.01/3609.80 d AM1LB 0
3600.01/3609.80 c [Papilo Statistics]
3600.01/3609.80 c prepro time 0.0156822s
3600.01/3609.80 c # tsx applied 20
3600.01/3609.80 c # tsx conflicts 0
3600.01/3609.80 c # bound changes 5
3600.01/3609.80 c # side changes 12
3600.01/3609.80 c # coef changes 43
3600.01/3609.80 c # rounds 2
3600.01/3609.80 c # deted vars 11
3600.01/3609.80 c # deted constrs 24
3600.01/3609.80 c # consecutive rounds of only bound changes 0
3600.01/3609.80 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 (58919 MiB free)
memory of node 1: 64465 MiB (58599 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529021-1752258622/watcher-4529021-1752258622 -o /tmp/evaluation-result-4529021-1752258622/solver-4529021-1752258622 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752255008-118202 --watchdog 3760 mixed-bag HOME/instance-4529021-1752258622.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=118623, runsolver pid=118620
[startup+0.100064 s]*
/proc/loadavg: 4.13 4.12 4.09 5/264 118624
/proc/meminfo: memFree=120283628/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=127084 memory=53556 CPUtime=0.09 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 10865 0 0 0 6 3 0 0 20 0 1 0 141541623 130134016 13389 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 31771 13389 3936 2834 0 13976 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 127084 KiB
Current children cumulated memory: 53556 KiB
[startup+0.20556 s]*
/proc/loadavg: 4.13 4.12 4.09 5/264 118624
/proc/meminfo: memFree=120251372/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=141208 memory=67348 CPUtime=0.18 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 15515 0 0 0 15 3 0 0 20 0 1 0 141541623 144596992 16837 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 35302 16837 4000 2834 0 17507 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 141208 KiB
Current children cumulated memory: 67348 KiB
[startup+0.305558 s]*
/proc/loadavg: 4.13 4.12 4.09 5/264 118624
/proc/meminfo: memFree=120187112/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=163784 memory=84372 CPUtime=0.28 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 19695 0 0 0 24 4 0 0 20 0 1 0 141541623 167714816 21093 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 40946 21093 4096 2834 0 23151 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 163784 KiB
Current children cumulated memory: 84372 KiB
[startup+0.700169 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 118624
/proc/meminfo: memFree=120114788/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=204460 memory=123668 CPUtime=0.67 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 29398 0 0 0 61 6 0 0 20 0 1 0 141541623 209367040 30917 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 51115 30917 4224 2834 0 33320 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 204460 KiB
Current children cumulated memory: 123668 KiB
[startup+1.50016 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 118624
/proc/meminfo: memFree=119623168/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=215696 memory=134932 CPUtime=1.47 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 32266 0 0 0 141 6 0 0 20 0 1 0 141541623 220872704 33733 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 53924 33733 4224 2834 0 36129 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 215696 KiB
Current children cumulated memory: 134932 KiB
[startup+3.10526 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 118624
/proc/meminfo: memFree=118963388/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=243784 memory=157972 CPUtime=3.06 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 38016 0 0 0 299 7 0 0 20 0 1 0 141541623 249634816 39493 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 60946 39493 4224 2834 0 43151 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 243784 KiB
Current children cumulated memory: 157972 KiB
[startup+6.30015 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 118625
/proc/meminfo: memFree=118764432/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=251508 memory=160404 CPUtime=6.25 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 38627 0 0 0 618 7 0 0 20 0 1 0 141541623 257544192 40101 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 62877 40101 4224 2834 0 45082 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 251508 KiB
Current children cumulated memory: 160404 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.13 4.10 5/264 118625
/proc/meminfo: memFree=118436308/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=279180 memory=187796 CPUtime=12.63 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 45491 0 0 0 1255 8 0 0 20 0 1 0 141541623 285880320 46949 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 69795 46949 4224 2834 0 52000 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 279180 KiB
Current children cumulated memory: 187796 KiB
[startup+25.5002 s]
/proc/loadavg: 4.23 4.14 4.10 5/265 118626
/proc/meminfo: memFree=118278976/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=279180 memory=188436 CPUtime=25.4 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 45651 0 0 0 2531 9 0 0 20 0 1 0 141541623 285880320 47109 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 69795 47109 4224 2834 0 52000 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 279180 KiB
Current children cumulated memory: 188436 KiB
[startup+51.1053 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 118626
/proc/meminfo: memFree=117522236/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=310624 memory=210452 CPUtime=50.93 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 51159 0 0 0 5083 10 0 0 20 0 1 0 141541623 318078976 52613 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 77656 52613 4224 2834 0 59861 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 310624 KiB
Current children cumulated memory: 210452 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 118628
/proc/meminfo: memFree=117500040/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=364480 memory=252308 CPUtime=101.97 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 61628 0 0 0 10186 11 0 0 20 0 1 0 141541623 373227520 63077 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 91120 63077 4224 2834 0 73325 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 364480 KiB
Current children cumulated memory: 252308 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 4.16 4.10 5/265 118630
/proc/meminfo: memFree=117415144/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=441792 memory=324124 CPUtime=161.8 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 81334 0 0 0 16164 16 0 0 20 0 1 0 141541623 452395008 81031 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 110448 81031 4224 2834 0 92653 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 441792 KiB
Current children cumulated memory: 324124 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/265 118632
/proc/meminfo: memFree=117212344/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=458612 memory=342812 CPUtime=221.64 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 86041 0 0 0 22148 16 0 0 20 0 1 0 141541623 469618688 85703 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 114653 85703 4224 2834 0 96858 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 458612 KiB
Current children cumulated memory: 342812 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/265 118634
/proc/meminfo: memFree=117177664/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=467032 memory=343708 CPUtime=281.48 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 86257 0 0 0 28132 16 0 0 20 0 1 0 141541623 478240768 85927 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 116758 85927 4224 2834 0 98963 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 467032 KiB
Current children cumulated memory: 343708 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/262 118636
/proc/meminfo: memFree=117046140/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=474556 memory=369452 CPUtime=341.32 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 88435 0 0 0 34081 51 0 0 20 0 1 0 141541623 485945344 92363 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 118639 92363 4384 2834 0 100844 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 474556 KiB
Current children cumulated memory: 369452 KiB
[startup+402.3 s]
/proc/loadavg: 4.04 4.11 4.09 5/262 118638
/proc/meminfo: memFree=116897552/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=493524 memory=383828 CPUtime=401.16 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 88938 0 0 0 40021 95 0 0 20 0 1 0 141541623 505368576 95957 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 123381 95957 4384 2834 0 105586 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 493524 KiB
Current children cumulated memory: 383828 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 118641
/proc/meminfo: memFree=116851812/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=524344 memory=389588 CPUtime=461 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 89378 0 0 0 45966 134 0 0 20 0 1 0 141541623 536928256 97397 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 131086 97397 4384 2834 0 113291 0
Current children cumulated CPU time: 461 s
################
# More data... #
################
Current children cumulated memory: 496084 KiB
[startup+2862.3 s]
/proc/loadavg: 4.22 4.22 4.14 5/263 118770
/proc/meminfo: memFree=115570448/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=655820 memory=496084 CPUtime=2854.48 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 91084 0 0 0 284137 1311 0 0 20 0 1 0 141541623 671559680 124021 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 163955 124021 4384 2834 0 146160 0
Current children cumulated CPU time: 2854.48 s
Current children cumulated vsize: 655820 KiB
Current children cumulated memory: 496084 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.21 4.14 5/262 118772
/proc/meminfo: memFree=115573152/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=655820 memory=496084 CPUtime=2914.33 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 91097 0 0 0 290095 1338 0 0 20 0 1 0 141541623 671559680 124021 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 163955 124021 4384 2834 0 146160 0
Current children cumulated CPU time: 2914.33 s
Current children cumulated vsize: 655820 KiB
Current children cumulated memory: 496084 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.18 4.13 5/262 118774
/proc/meminfo: memFree=115572808/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=655820 memory=496084 CPUtime=2974.17 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 91097 0 0 0 296050 1367 0 0 20 0 1 0 141541623 671559680 124021 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 163955 124021 4384 2834 0 146160 0
Current children cumulated CPU time: 2974.17 s
Current children cumulated vsize: 655820 KiB
Current children cumulated memory: 496084 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.19 4.14 5/264 118784
/proc/meminfo: memFree=115543592/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=655820 memory=497492 CPUtime=3034 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 91111 0 0 0 301999 1401 0 0 20 0 1 0 141541623 671559680 124373 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 163955 124373 4384 2834 0 146160 0
Current children cumulated CPU time: 3034 s
Current children cumulated vsize: 655820 KiB
Current children cumulated memory: 497492 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.17 4.13 5/265 118787
/proc/meminfo: memFree=115532540/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=655820 memory=507988 CPUtime=3093.83 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 91130 0 0 0 307960 1423 0 0 20 0 1 0 141541623 671559680 126997 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 163955 126997 4384 2834 0 146160 0
Current children cumulated CPU time: 3093.83 s
Current children cumulated vsize: 655820 KiB
Current children cumulated memory: 507988 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.15 4.13 5/265 118789
/proc/meminfo: memFree=115454264/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=655820 memory=531796 CPUtime=3153.67 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 91134 0 0 0 313913 1454 0 0 20 0 1 0 141541623 671559680 132949 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 163955 132949 4384 2834 0 146160 0
Current children cumulated CPU time: 3153.67 s
Current children cumulated vsize: 655820 KiB
Current children cumulated memory: 531796 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.15 4.13 5/265 118792
/proc/meminfo: memFree=115450160/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=655820 memory=534484 CPUtime=3213.5 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 91149 0 0 0 319862 1488 0 0 20 0 1 0 141541623 671559680 133621 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 163955 133621 4384 2834 0 146160 0
Current children cumulated CPU time: 3213.5 s
Current children cumulated vsize: 655820 KiB
Current children cumulated memory: 534484 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.12 5/265 118794
/proc/meminfo: memFree=115453060/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=655820 memory=534484 CPUtime=3273.34 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 91171 0 0 0 325820 1514 0 0 20 0 1 0 141541623 671559680 133621 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 163955 133621 4384 2834 0 146160 0
Current children cumulated CPU time: 3273.34 s
Current children cumulated vsize: 655820 KiB
Current children cumulated memory: 534484 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/263 118796
/proc/meminfo: memFree=115429948/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=655820 memory=534484 CPUtime=3333.18 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 91171 0 0 0 331784 1534 0 0 20 0 1 0 141541623 671559680 133621 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 163955 133621 4384 2834 0 146160 0
Current children cumulated CPU time: 3333.18 s
Current children cumulated vsize: 655820 KiB
Current children cumulated memory: 534484 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/262 118798
/proc/meminfo: memFree=115427656/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=655820 memory=536532 CPUtime=3393.03 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 91171 0 0 0 337746 1557 0 0 20 0 1 0 141541623 671559680 134133 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 163955 134133 4384 2834 0 146160 0
Current children cumulated CPU time: 3393.03 s
Current children cumulated vsize: 655820 KiB
Current children cumulated memory: 536532 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/263 118801
/proc/meminfo: memFree=115424964/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=655820 memory=536532 CPUtime=3452.88 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 91171 0 0 0 343703 1585 0 0 20 0 1 0 141541623 671559680 134133 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 163955 134133 4384 2834 0 146160 0
Current children cumulated CPU time: 3452.88 s
Current children cumulated vsize: 655820 KiB
Current children cumulated memory: 536532 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.14 4.12 5/263 118803
/proc/meminfo: memFree=115427116/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=655820 memory=536532 CPUtime=3512.73 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 91171 0 0 0 349666 1607 0 0 20 0 1 0 141541623 671559680 134133 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 163955 134133 4384 2834 0 146160 0
Current children cumulated CPU time: 3512.73 s
Current children cumulated vsize: 655820 KiB
Current children cumulated memory: 536532 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/263 118805
/proc/meminfo: memFree=115426988/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=655820 memory=536532 CPUtime=3572.58 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 91171 0 0 0 355633 1625 0 0 20 0 1 0 141541623 671559680 134133 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 163955 134133 4384 2834 0 146160 0
Current children cumulated CPU time: 3572.58 s
Current children cumulated vsize: 655820 KiB
Current children cumulated memory: 536532 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.14 4.13 4.11 3/256 118829
/proc/meminfo: memFree=119736916/131250000 swapFree=33009904/33010684
[pid=118623] ppid=118620 vsize=655820 memory=536532 CPUtime=3600.01 cores=5,7
/proc/118623/stat : 118623 (mixed-bag) R 118620 118623 118184 0 -1 4194304 91171 0 0 0 358368 1633 0 0 20 0 1 0 141541623 671559680 134133 18446744073709551615 4235264 15840557 140734651104880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 35823616 140734651107738 140734651107815 140734651107815 140734651113419 0
/proc/118623/statm: 163955 134133 4384 2834 0 146160 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 655820 KiB
Current children cumulated memory: 536532 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 118623 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.69 s, system=16.3371 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.8
CPU time (s): 3600.02
CPU user time (s): 3583.69
CPU system time (s): 16.3371
CPU usage (%): 99.7291
Max. virtual memory (cumulated for all children) (KiB): 655820
Max. memory (cumulated for all children) (KiB): 536532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.69
system time used= 16.3371
maximum resident set size= 537556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91199
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= 173
involuntary context switches= 3117
# summary of solver processes directly reported to runsolver:
# pid: 118623
# total CPU time (s): 3600.02
# total CPU user time (s): 3583.69
# total CPU system time (s): 16.3371
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.30471 second user time and 15.3919 second system time
The end
Begin job on nodeC033 at 2025-07-11 20:30:22
IDJOB=4529021
IDBENCH=148191
IDSOLVER=3386
FILE ID=nodeC033/4529021-1752258622
RUNJOBID= nodeC033-1752255008-118202
SLURM_JOB_ID= 9682592
Free space on /tmp= 429708 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529021-1752258622/watcher-4529021-1752258622 -o /tmp/evaluation-result-4529021-1752258622/solver-4529021-1752258622 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752255008-118202 --watchdog 3760 mixed-bag HOME/instance-4529021-1752258622.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=2074152350
nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.070
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.073
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3617.307
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3604.608
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.025
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3602.130
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3597.191
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.052
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 120340300 kB
MemAvailable: 128966792 kB
Buffers: 2128 kB
Cached: 9347796 kB
SwapCached: 68 kB
Active: 1531488 kB
Inactive: 8625920 kB
Active(anon): 820136 kB
Inactive(anon): 5388 kB
Active(file): 711352 kB
Inactive(file): 8620532 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 78152 kB
Writeback: 0 kB
AnonPages: 810492 kB
Mapped: 130208 kB
Shmem: 18028 kB
KReclaimable: 267692 kB
Slab: 363608 kB
SReclaimable: 267692 kB
SUnreclaim: 95916 kB
KernelStack: 4240 kB
PageTables: 4816 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1231732 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 237568 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 429704 MiB
End job on nodeC033 at 2025-07-11 21:30:32