0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.07 c #variables 5476 #constraints 10952
0.00/0.07 c objective is ce32
0.00/0.09 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.09 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.09 c GLOBAL bounds - >= 0 @ 0.041966
0.06/0.10 c GLOBAL bounds - >= 0 @ 0.04248
50.31/50.59 c #Conflicts: 1000 | #Constraints: 11952
50.31/50.59 c #Conflicts: 2000 | #Constraints: 12952
50.31/50.59 c INPROCESSING
50.31/50.59 c #Conflicts: 3000 | #Constraints: 13856
50.31/50.59 c #Conflicts: 4000 | #Constraints: 14856
50.31/50.59 c #Conflicts: 5000 | #Constraints: 15856
50.31/50.59 c INPROCESSING
50.31/50.59 c GARBAGE COLLECT
50.31/50.59 c #Conflicts: 6000 | #Constraints: 15030
50.31/50.59 c #Conflicts: 7000 | #Constraints: 16030
50.31/50.59 c #Conflicts: 8000 | #Constraints: 17030
50.31/50.59 c INPROCESSING
50.31/50.59 c GARBAGE COLLECT
50.31/50.59 c #Conflicts: 9000 | #Constraints: 15604
50.31/50.59 c #Conflicts: 10000 | #Constraints: 16604
50.31/50.59 c #Conflicts: 11000 | #Constraints: 17604
50.31/50.59 c INPROCESSING
50.31/50.59 c GARBAGE COLLECT
50.31/50.59 c #Conflicts: 12000 | #Constraints: 15709
50.31/50.59 c #Conflicts: 13000 | #Constraints: 16709
50.31/50.59 c #Conflicts: 14000 | #Constraints: 17709
50.31/50.59 c #Conflicts: 15000 | #Constraints: 18709
50.31/50.59 c INPROCESSING
50.31/50.59 c #Conflicts: 16000 | #Constraints: 16570
50.31/50.59 c #Conflicts: 17000 | #Constraints: 17570
50.31/50.59 c #Conflicts: 18000 | #Constraints: 18570
50.31/50.59 c INPROCESSING
50.31/50.59 c GARBAGE COLLECT
50.31/50.59 c #Conflicts: 19000 | #Constraints: 16194
50.31/50.59 c #Conflicts: 20000 | #Constraints: 17194
50.31/50.59 c #Conflicts: 21000 | #Constraints: 18194
50.31/50.59 c #Conflicts: 22000 | #Constraints: 19194
50.31/50.59 c INPROCESSING
50.31/50.59 c GARBAGE COLLECT
50.31/50.59 c #Conflicts: 23000 | #Constraints: 16590
50.31/50.59 c #Conflicts: 24000 | #Constraints: 17590
50.31/50.59 c #Conflicts: 25000 | #Constraints: 18590
50.31/50.59 c #Conflicts: 26000 | #Constraints: 19590
50.31/50.59 c INPROCESSING
50.31/50.59 c GARBAGE COLLECT
50.31/50.59 c #Conflicts: 27000 | #Constraints: 16794
50.31/50.59 c #Conflicts: 28000 | #Constraints: 17794
50.31/50.59 c #Conflicts: 29000 | #Constraints: 18794
50.31/50.59 c #Conflicts: 30000 | #Constraints: 19794
50.31/50.59 c INPROCESSING
50.31/50.59 c GARBAGE COLLECT
50.31/50.59 c #Conflicts: 31000 | #Constraints: 16816
50.31/50.59 c #Conflicts: 32000 | #Constraints: 17816
50.31/50.59 c #Conflicts: 33000 | #Constraints: 18816
50.31/50.59 c #Conflicts: 34000 | #Constraints: 19816
50.31/50.59 c #Conflicts: 35000 | #Constraints: 20816
50.31/50.59 c INPROCESSING
50.31/50.59 c GARBAGE COLLECT
50.31/50.59 c #Conflicts: 36000 | #Constraints: 17636
50.31/50.59 c #Conflicts: 37000 | #Constraints: 18636
50.31/50.59 c #Conflicts: 38000 | #Constraints: 19636
50.31/50.59 c #Conflicts: 39000 | #Constraints: 20636
50.31/50.59 c INPROCESSING
50.31/50.59 c #Conflicts: 40000 | #Constraints: 17246
50.31/50.59 c #Conflicts: 41000 | #Constraints: 18246
50.31/50.59 c #Conflicts: 42000 | #Constraints: 19246
50.31/50.59 c #Conflicts: 43000 | #Constraints: 20246
50.31/50.59 c #Conflicts: 44000 | #Constraints: 21246
50.31/50.59 c INPROCESSING
50.31/50.59 c GARBAGE COLLECT
50.31/50.59 c #Conflicts: 45000 | #Constraints: 17642
50.31/50.59 c #Conflicts: 46000 | #Constraints: 18642
50.31/50.59 c #Conflicts: 47000 | #Constraints: 19642
50.31/50.59 c #Conflicts: 48000 | #Constraints: 20642
50.31/50.59 c #Conflicts: 49000 | #Constraints: 21642
50.31/50.59 c INPROCESSING
50.31/50.59 c GARBAGE COLLECT
50.31/50.59 c #Conflicts: 50000 | #Constraints: 17807
50.31/50.59 c #Conflicts: 51000 | #Constraints: 18807
50.31/50.59 c #Conflicts: 52000 | #Constraints: 19807
50.31/50.59 c #Conflicts: 53000 | #Constraints: 20807
50.31/50.59 c #Conflicts: 54000 | #Constraints: 21807
50.31/50.59 c INPROCESSING
50.31/50.59 c GARBAGE COLLECT
50.31/50.59 c #Conflicts: 55000 | #Constraints: 17765
50.31/50.59 c #Conflicts: 56000 | #Constraints: 18765
50.31/50.59 c #Conflicts: 57000 | #Constraints: 19765
50.31/50.59 c #Conflicts: 58000 | #Constraints: 20765
50.31/50.59 c #Conflicts: 59000 | #Constraints: 21765
50.31/50.59 c #Conflicts: 60000 | #Constraints: 22765
50.31/50.59 c INPROCESSING
50.31/50.59 c GARBAGE COLLECT
50.31/50.59 c #Conflicts: 61000 | #Constraints: 18595
50.31/50.59 c #Conflicts: 62000 | #Constraints: 19595
50.31/50.59 c #Conflicts: 63000 | #Constraints: 20595
50.31/50.59 c #Conflicts: 64000 | #Constraints: 21595
50.31/50.59 c #Conflicts: 65000 | #Constraints: 22595
50.31/50.59 c INPROCESSING
50.31/50.59 c GARBAGE COLLECT
50.31/50.59 c #Conflicts: 66000 | #Constraints: 18176
50.31/50.59 c #Conflicts: 67000 | #Constraints: 19176
50.31/50.59 c #Conflicts: 68000 | #Constraints: 20176
50.31/50.59 c #Conflicts: 69000 | #Constraints: 21176
50.31/50.59 c #Conflicts: 70000 | #Constraints: 22176
132.21/132.61 c #Conflicts: 71000 | #Constraints: 23176
132.21/132.61 c INPROCESSING
132.21/132.61 c GARBAGE COLLECT
132.21/132.61 c #Conflicts: 72000 | #Constraints: 18578
132.21/132.61 c #Conflicts: 73000 | #Constraints: 19578
132.21/132.61 c #Conflicts: 74000 | #Constraints: 20578
132.21/132.61 c #Conflicts: 75000 | #Constraints: 21578
132.21/132.61 c #Conflicts: 76000 | #Constraints: 22578
132.21/132.61 c #Conflicts: 77000 | #Constraints: 23578
132.21/132.61 c INPROCESSING
132.21/132.61 c GARBAGE COLLECT
132.21/132.61 c #Conflicts: 78000 | #Constraints: 18776
132.21/132.61 c #Conflicts: 79000 | #Constraints: 19776
132.21/132.61 c #Conflicts: 80000 | #Constraints: 20776
132.21/132.61 c #Conflicts: 81000 | #Constraints: 21776
132.21/132.61 c #Conflicts: 82000 | #Constraints: 22776
132.21/132.61 c #Conflicts: 83000 | #Constraints: 23776
132.21/132.61 c INPROCESSING
132.21/132.61 c GARBAGE COLLECT
132.21/132.61 c #Conflicts: 84000 | #Constraints: 18759
132.21/132.61 c #Conflicts: 85000 | #Constraints: 19759
132.21/132.61 c #Conflicts: 86000 | #Constraints: 20759
132.21/132.61 c #Conflicts: 87000 | #Constraints: 21759
132.21/132.61 c #Conflicts: 88000 | #Constraints: 22759
132.21/132.61 c #Conflicts: 89000 | #Constraints: 23759
132.21/132.61 c #Conflicts: 90000 | #Constraints: 24759
132.21/132.61 c INPROCESSING
132.21/132.61 c GARBAGE COLLECT
132.21/132.61 c #Conflicts: 91000 | #Constraints: 19550
132.21/132.61 c #Conflicts: 92000 | #Constraints: 20550
132.21/132.61 c #Conflicts: 93000 | #Constraints: 21550
132.21/132.61 c #Conflicts: 94000 | #Constraints: 22550
132.21/132.61 c #Conflicts: 95000 | #Constraints: 23550
132.21/132.61 c #Conflicts: 96000 | #Constraints: 24550
132.21/132.61 c INPROCESSING
132.21/132.61 c GARBAGE COLLECT
132.21/132.61 c #Conflicts: 97000 | #Constraints: 19155
132.21/132.61 c #Conflicts: 98000 | #Constraints: 20155
132.21/132.61 c #Conflicts: 99000 | #Constraints: 21155
132.21/132.61 c #Conflicts: 100000 | #Constraints: 22155
132.21/132.61 c #Conflicts: 101000 | #Constraints: 23155
132.21/132.61 c #Conflicts: 102000 | #Constraints: 24155
132.21/132.61 c #Conflicts: 103000 | #Constraints: 25155
132.21/132.61 c INPROCESSING
132.21/132.61 c GARBAGE COLLECT
132.21/132.61 c #Conflicts: 104000 | #Constraints: 19557
132.21/132.61 c #Conflicts: 105000 | #Constraints: 20557
132.21/132.61 c #Conflicts: 106000 | #Constraints: 21557
132.21/132.61 c #Conflicts: 107000 | #Constraints: 22557
132.21/132.61 c #Conflicts: 108000 | #Constraints: 23557
132.21/132.61 c #Conflicts: 109000 | #Constraints: 24557
132.21/132.61 c #Conflicts: 110000 | #Constraints: 25557
132.21/132.61 c INPROCESSING
132.21/132.61 c GARBAGE COLLECT
132.21/132.61 c #Conflicts: 111000 | #Constraints: 19774
132.21/132.61 c #Conflicts: 112000 | #Constraints: 20774
132.21/132.61 c #Conflicts: 113000 | #Constraints: 21774
132.21/132.61 c #Conflicts: 114000 | #Constraints: 22774
132.21/132.61 c #Conflicts: 115000 | #Constraints: 23774
132.21/132.61 c #Conflicts: 116000 | #Constraints: 24774
132.21/132.61 c #Conflicts: 117000 | #Constraints: 25774
132.21/132.61 c INPROCESSING
132.21/132.61 c GARBAGE COLLECT
132.21/132.61 c #Conflicts: 118000 | #Constraints: 19779
132.21/132.61 c #Conflicts: 119000 | #Constraints: 20779
132.21/132.61 c #Conflicts: 120000 | #Constraints: 21779
132.21/132.61 c #Conflicts: 121000 | #Constraints: 22779
132.21/132.61 c #Conflicts: 122000 | #Constraints: 23779
132.21/132.61 c #Conflicts: 123000 | #Constraints: 24779
132.21/132.61 c #Conflicts: 124000 | #Constraints: 25779
132.21/132.61 c #Conflicts: 125000 | #Constraints: 26779
132.21/132.61 c INPROCESSING
132.21/132.61 c GARBAGE COLLECT
132.21/132.61 c #Conflicts: 126000 | #Constraints: 20596
132.21/132.61 c #Conflicts: 127000 | #Constraints: 21596
132.21/132.61 c #Conflicts: 128000 | #Constraints: 22596
132.21/132.61 c #Conflicts: 129000 | #Constraints: 23596
132.21/132.61 c #Conflicts: 130000 | #Constraints: 24596
132.21/132.61 c #Conflicts: 131000 | #Constraints: 25596
132.21/132.61 c #Conflicts: 132000 | #Constraints: 26596
132.21/132.61 c INPROCESSING
132.21/132.61 c GARBAGE COLLECT
132.21/132.61 c #Conflicts: 133000 | #Constraints: 20196
132.21/132.61 c #Conflicts: 134000 | #Constraints: 21196
132.21/132.61 c #Conflicts: 135000 | #Constraints: 22196
132.21/132.61 c #Conflicts: 136000 | #Constraints: 23196
132.21/132.61 c #Conflicts: 137000 | #Constraints: 24196
132.21/132.61 c #Conflicts: 138000 | #Constraints: 25196
132.21/132.61 c #Conflicts: 139000 | #Constraints: 26196
132.21/132.61 c #Conflicts: 140000 | #Constraints: 27196
132.21/132.61 c INPROCESSING
132.21/132.61 c GARBAGE COLLECT
132.21/132.61 c #Conflicts: 141000 | #Constraints: 20592
132.21/132.61 c #Conflicts: 142000 | #Constraints: 21592
228.26/228.92 c #Conflicts: 143000 | #Constraints: 22592
228.26/228.92 c #Conflicts: 144000 | #Constraints: 23592
228.26/228.92 c #Conflicts: 145000 | #Constraints: 24592
228.26/228.92 c #Conflicts: 146000 | #Constraints: 25592
228.26/228.92 c #Conflicts: 147000 | #Constraints: 26592
228.26/228.92 c #Conflicts: 148000 | #Constraints: 27592
228.26/228.92 c INPROCESSING
228.26/228.92 c GARBAGE COLLECT
228.26/228.92 c #Conflicts: 149000 | #Constraints: 20783
228.26/228.92 c #Conflicts: 150000 | #Constraints: 21783
228.26/228.92 c #Conflicts: 151000 | #Constraints: 22783
228.26/228.92 c #Conflicts: 152000 | #Constraints: 23783
228.26/228.92 c #Conflicts: 153000 | #Constraints: 24783
228.26/228.92 c #Conflicts: 154000 | #Constraints: 25783
228.26/228.92 c #Conflicts: 155000 | #Constraints: 26783
228.26/228.92 c #Conflicts: 156000 | #Constraints: 27783
228.26/228.92 c INPROCESSING
228.26/228.92 c GARBAGE COLLECT
228.26/228.92 c #Conflicts: 157000 | #Constraints: 20797
228.26/228.92 c #Conflicts: 158000 | #Constraints: 21797
228.26/228.92 c #Conflicts: 159000 | #Constraints: 22797
228.26/228.92 c #Conflicts: 160000 | #Constraints: 23797
228.26/228.92 c #Conflicts: 161000 | #Constraints: 24797
228.26/228.92 c #Conflicts: 162000 | #Constraints: 25797
228.26/228.92 c #Conflicts: 163000 | #Constraints: 26797
228.26/228.92 c #Conflicts: 164000 | #Constraints: 27797
228.26/228.92 c #Conflicts: 165000 | #Constraints: 28797
228.26/228.92 c INPROCESSING
228.26/228.92 c GARBAGE COLLECT
228.26/228.92 c #Conflicts: 166000 | #Constraints: 21600
228.26/228.92 c #Conflicts: 167000 | #Constraints: 22600
228.26/228.92 c #Conflicts: 168000 | #Constraints: 23600
228.26/228.92 c #Conflicts: 169000 | #Constraints: 24600
228.26/228.92 c #Conflicts: 170000 | #Constraints: 25600
228.26/228.92 c #Conflicts: 171000 | #Constraints: 26600
228.26/228.92 c #Conflicts: 172000 | #Constraints: 27600
228.26/228.92 c #Conflicts: 173000 | #Constraints: 28600
228.26/228.92 c INPROCESSING
228.26/228.92 c GARBAGE COLLECT
228.26/228.92 c #Conflicts: 174000 | #Constraints: 21210
228.26/228.92 c #Conflicts: 175000 | #Constraints: 22210
228.26/228.92 c #Conflicts: 176000 | #Constraints: 23210
228.26/228.92 c #Conflicts: 177000 | #Constraints: 24210
228.26/228.92 c #Conflicts: 178000 | #Constraints: 25210
228.26/228.92 c #Conflicts: 179000 | #Constraints: 26210
228.26/228.92 c #Conflicts: 180000 | #Constraints: 27210
228.26/228.92 c #Conflicts: 181000 | #Constraints: 28210
228.26/228.92 c #Conflicts: 182000 | #Constraints: 29210
228.26/228.92 c INPROCESSING
228.26/228.92 c GARBAGE COLLECT
228.26/228.92 c #Conflicts: 183000 | #Constraints: 21601
228.26/228.92 c #Conflicts: 184000 | #Constraints: 22601
228.26/228.92 c #Conflicts: 185000 | #Constraints: 23601
228.26/228.92 c #Conflicts: 186000 | #Constraints: 24601
228.26/228.92 c #Conflicts: 187000 | #Constraints: 25601
228.26/228.92 c #Conflicts: 188000 | #Constraints: 26601
228.26/228.92 c #Conflicts: 189000 | #Constraints: 27601
228.26/228.92 c #Conflicts: 190000 | #Constraints: 28601
228.26/228.92 c #Conflicts: 191000 | #Constraints: 29601
228.26/228.92 c INPROCESSING
228.26/228.92 c GARBAGE COLLECT
228.26/228.92 c #Conflicts: 192000 | #Constraints: 21790
228.26/228.92 c #Conflicts: 193000 | #Constraints: 22790
228.26/228.92 c #Conflicts: 194000 | #Constraints: 23790
228.26/228.92 c #Conflicts: 195000 | #Constraints: 24790
228.26/228.92 c #Conflicts: 196000 | #Constraints: 25790
228.26/228.92 c #Conflicts: 197000 | #Constraints: 26790
228.26/228.92 c #Conflicts: 198000 | #Constraints: 27790
228.26/228.92 c #Conflicts: 199000 | #Constraints: 28790
228.26/228.92 c #Conflicts: 200000 | #Constraints: 29790
228.26/228.92 c INPROCESSING
228.26/228.92 c GARBAGE COLLECT
228.26/228.92 c #Conflicts: 201000 | #Constraints: 21785
228.26/228.92 c #Conflicts: 202000 | #Constraints: 22785
228.26/228.92 c #Conflicts: 203000 | #Constraints: 23785
228.26/228.92 c #Conflicts: 204000 | #Constraints: 24785
228.26/228.92 c #Conflicts: 205000 | #Constraints: 25785
228.26/228.92 c #Conflicts: 206000 | #Constraints: 26785
228.26/228.92 c #Conflicts: 207000 | #Constraints: 27785
228.26/228.92 c #Conflicts: 208000 | #Constraints: 28785
228.26/228.92 c #Conflicts: 209000 | #Constraints: 29785
228.26/228.92 c #Conflicts: 210000 | #Constraints: 30785
228.26/228.92 c INPROCESSING
228.26/228.92 c GARBAGE COLLECT
228.26/228.92 c #Conflicts: 211000 | #Constraints: 22582
228.26/228.92 c #Conflicts: 212000 | #Constraints: 23582
228.26/228.92 c #Conflicts: 213000 | #Constraints: 24582
228.26/228.92 c #Conflicts: 214000 | #Constraints: 25582
228.26/228.92 c #Conflicts: 215000 | #Constraints: 26582
228.26/228.92 c #Conflicts: 216000 | #Constraints: 27582
337.08/338.03 c #Conflicts: 217000 | #Constraints: 28582
337.08/338.03 c #Conflicts: 218000 | #Constraints: 29582
337.08/338.03 c #Conflicts: 219000 | #Constraints: 30582
337.08/338.03 c INPROCESSING
337.08/338.03 c GARBAGE COLLECT
337.08/338.03 c #Conflicts: 220000 | #Constraints: 22185
337.08/338.03 c #Conflicts: 221000 | #Constraints: 23185
337.08/338.03 c #Conflicts: 222000 | #Constraints: 24185
337.08/338.03 c #Conflicts: 223000 | #Constraints: 25185
337.08/338.03 c #Conflicts: 224000 | #Constraints: 26185
337.08/338.03 c #Conflicts: 225000 | #Constraints: 27185
337.08/338.03 c #Conflicts: 226000 | #Constraints: 28185
337.08/338.03 c #Conflicts: 227000 | #Constraints: 29185
337.08/338.03 c #Conflicts: 228000 | #Constraints: 30185
337.08/338.03 c #Conflicts: 229000 | #Constraints: 31185
337.08/338.03 c INPROCESSING
337.08/338.03 c GARBAGE COLLECT
337.08/338.03 c #Conflicts: 230000 | #Constraints: 22584
337.08/338.03 c #Conflicts: 231000 | #Constraints: 23584
337.08/338.03 c #Conflicts: 232000 | #Constraints: 24584
337.08/338.03 c #Conflicts: 233000 | #Constraints: 25584
337.08/338.03 c #Conflicts: 234000 | #Constraints: 26584
337.08/338.03 c #Conflicts: 235000 | #Constraints: 27584
337.08/338.03 c #Conflicts: 236000 | #Constraints: 28584
337.08/338.03 c #Conflicts: 237000 | #Constraints: 29584
337.08/338.03 c #Conflicts: 238000 | #Constraints: 30584
337.08/338.03 c #Conflicts: 239000 | #Constraints: 31584
337.08/338.03 c INPROCESSING
337.08/338.03 c GARBAGE COLLECT
337.08/338.03 c #Conflicts: 240000 | #Constraints: 22803
337.08/338.03 c #Conflicts: 241000 | #Constraints: 23803
337.08/338.03 c #Conflicts: 242000 | #Constraints: 24803
337.08/338.03 c #Conflicts: 243000 | #Constraints: 25803
337.08/338.03 c #Conflicts: 244000 | #Constraints: 26803
337.08/338.03 c #Conflicts: 245000 | #Constraints: 27803
337.08/338.03 c #Conflicts: 246000 | #Constraints: 28803
337.08/338.03 c #Conflicts: 247000 | #Constraints: 29803
337.08/338.03 c #Conflicts: 248000 | #Constraints: 30803
337.08/338.03 c #Conflicts: 249000 | #Constraints: 31803
337.08/338.03 c INPROCESSING
337.08/338.03 c GARBAGE COLLECT
337.08/338.03 c #Conflicts: 250000 | #Constraints: 22800
337.08/338.03 c #Conflicts: 251000 | #Constraints: 23800
337.08/338.03 c #Conflicts: 252000 | #Constraints: 24800
337.08/338.03 c #Conflicts: 253000 | #Constraints: 25800
337.08/338.03 c #Conflicts: 254000 | #Constraints: 26800
337.08/338.03 c #Conflicts: 255000 | #Constraints: 27800
337.08/338.03 c #Conflicts: 256000 | #Constraints: 28800
337.08/338.03 c #Conflicts: 257000 | #Constraints: 29800
337.08/338.03 c #Conflicts: 258000 | #Constraints: 30800
337.08/338.03 c #Conflicts: 259000 | #Constraints: 31800
337.08/338.03 c #Conflicts: 260000 | #Constraints: 32800
337.08/338.03 c INPROCESSING
337.08/338.03 c GARBAGE COLLECT
337.08/338.03 c #Conflicts: 261000 | #Constraints: 23605
337.08/338.03 c #Conflicts: 262000 | #Constraints: 24605
337.08/338.03 c #Conflicts: 263000 | #Constraints: 25605
337.08/338.03 c #Conflicts: 264000 | #Constraints: 26605
337.08/338.03 c #Conflicts: 265000 | #Constraints: 27605
337.08/338.03 c #Conflicts: 266000 | #Constraints: 28605
337.08/338.03 c #Conflicts: 267000 | #Constraints: 29605
337.08/338.03 c #Conflicts: 268000 | #Constraints: 30605
337.08/338.03 c #Conflicts: 269000 | #Constraints: 31605
337.08/338.03 c #Conflicts: 270000 | #Constraints: 32605
337.08/338.03 c INPROCESSING
337.08/338.03 c GARBAGE COLLECT
337.08/338.03 c #Conflicts: 271000 | #Constraints: 23220
337.08/338.03 c #Conflicts: 272000 | #Constraints: 24220
337.08/338.03 c #Conflicts: 273000 | #Constraints: 25220
337.08/338.03 c #Conflicts: 274000 | #Constraints: 26220
337.08/338.03 c #Conflicts: 275000 | #Constraints: 27220
337.08/338.03 c #Conflicts: 276000 | #Constraints: 28220
337.08/338.03 c #Conflicts: 277000 | #Constraints: 29220
337.08/338.03 c #Conflicts: 278000 | #Constraints: 30220
337.08/338.03 c #Conflicts: 279000 | #Constraints: 31220
337.08/338.03 c #Conflicts: 280000 | #Constraints: 32220
337.08/338.03 c #Conflicts: 281000 | #Constraints: 33220
337.08/338.03 c INPROCESSING
337.08/338.03 c GARBAGE COLLECT
337.08/338.03 c #Conflicts: 282000 | #Constraints: 23625
337.08/338.03 c #Conflicts: 283000 | #Constraints: 24625
337.08/338.03 c #Conflicts: 284000 | #Constraints: 25625
337.08/338.03 c #Conflicts: 285000 | #Constraints: 26625
337.08/338.03 c #Conflicts: 286000 | #Constraints: 27625
337.08/338.03 c #Conflicts: 287000 | #Constraints: 28625
337.08/338.03 c #Conflicts: 288000 | #Constraints: 29625
337.08/338.03 c #Conflicts: 289000 | #Constraints: 30625
337.08/338.03 c #Conflicts: 290000 | #Constraints: 31625
433.24/434.40 c #Conflicts: 291000 | #Constraints: 32625
433.24/434.40 c #Conflicts: 292000 | #Constraints: 33625
433.24/434.40 c INPROCESSING
433.24/434.40 c GARBAGE COLLECT
433.24/434.40 c #Conflicts: 293000 | #Constraints: 23827
433.24/434.40 c #Conflicts: 294000 | #Constraints: 24827
433.24/434.40 c #Conflicts: 295000 | #Constraints: 25827
433.24/434.40 c #Conflicts: 296000 | #Constraints: 26827
433.24/434.40 c #Conflicts: 297000 | #Constraints: 27827
433.24/434.40 c #Conflicts: 298000 | #Constraints: 28827
433.24/434.40 c #Conflicts: 299000 | #Constraints: 29827
433.24/434.40 c #Conflicts: 300000 | #Constraints: 30827
433.24/434.40 c #Conflicts: 301000 | #Constraints: 31827
433.24/434.40 c #Conflicts: 302000 | #Constraints: 32827
433.24/434.40 c #Conflicts: 303000 | #Constraints: 33827
433.24/434.40 c INPROCESSING
433.24/434.40 c GARBAGE COLLECT
433.24/434.40 c #Conflicts: 304000 | #Constraints: 23845
433.24/434.40 c #Conflicts: 305000 | #Constraints: 24845
433.24/434.40 c #Conflicts: 306000 | #Constraints: 25845
433.24/434.40 c #Conflicts: 307000 | #Constraints: 26845
433.24/434.40 c #Conflicts: 308000 | #Constraints: 27845
433.24/434.40 c #Conflicts: 309000 | #Constraints: 28845
433.24/434.40 c #Conflicts: 310000 | #Constraints: 29845
433.24/434.40 c #Conflicts: 311000 | #Constraints: 30845
433.24/434.40 c #Conflicts: 312000 | #Constraints: 31845
433.24/434.40 c #Conflicts: 313000 | #Constraints: 32845
433.24/434.40 c #Conflicts: 314000 | #Constraints: 33845
433.24/434.40 c #Conflicts: 315000 | #Constraints: 34845
433.24/434.40 c INPROCESSING
433.24/434.40 c GARBAGE COLLECT
433.24/434.40 c #Conflicts: 316000 | #Constraints: 24631
433.24/434.40 c #Conflicts: 317000 | #Constraints: 25631
433.24/434.40 c #Conflicts: 318000 | #Constraints: 26631
433.24/434.40 c #Conflicts: 319000 | #Constraints: 27631
433.24/434.40 c #Conflicts: 320000 | #Constraints: 28631
433.24/434.40 c #Conflicts: 321000 | #Constraints: 29631
433.24/434.40 c #Conflicts: 322000 | #Constraints: 30631
433.24/434.40 c #Conflicts: 323000 | #Constraints: 31631
433.24/434.40 c #Conflicts: 324000 | #Constraints: 32631
433.24/434.40 c #Conflicts: 325000 | #Constraints: 33631
433.24/434.40 c #Conflicts: 326000 | #Constraints: 34631
433.24/434.40 c INPROCESSING
433.24/434.40 c GARBAGE COLLECT
433.24/434.40 c #Conflicts: 327000 | #Constraints: 24234
433.24/434.40 c #Conflicts: 328000 | #Constraints: 25234
433.24/434.40 c #Conflicts: 329000 | #Constraints: 26234
433.24/434.40 c #Conflicts: 330000 | #Constraints: 27234
433.24/434.40 c #Conflicts: 331000 | #Constraints: 28234
433.24/434.40 c #Conflicts: 332000 | #Constraints: 29234
433.24/434.40 c #Conflicts: 333000 | #Constraints: 30234
433.24/434.40 c #Conflicts: 334000 | #Constraints: 31234
433.24/434.40 c #Conflicts: 335000 | #Constraints: 32234
433.24/434.40 c #Conflicts: 336000 | #Constraints: 33234
433.24/434.40 c #Conflicts: 337000 | #Constraints: 34234
433.24/434.40 c #Conflicts: 338000 | #Constraints: 35234
433.24/434.40 c INPROCESSING
433.24/434.40 c GARBAGE COLLECT
433.24/434.40 c #Conflicts: 339000 | #Constraints: 24645
433.24/434.40 c #Conflicts: 340000 | #Constraints: 25645
433.24/434.40 c #Conflicts: 341000 | #Constraints: 26645
433.24/434.40 c #Conflicts: 342000 | #Constraints: 27645
433.24/434.40 c #Conflicts: 343000 | #Constraints: 28645
433.24/434.40 c #Conflicts: 344000 | #Constraints: 29645
433.24/434.40 c #Conflicts: 345000 | #Constraints: 30645
433.24/434.40 c #Conflicts: 346000 | #Constraints: 31645
433.24/434.40 c #Conflicts: 347000 | #Constraints: 32645
433.24/434.40 c #Conflicts: 348000 | #Constraints: 33645
433.24/434.40 c #Conflicts: 349000 | #Constraints: 34645
433.24/434.40 c #Conflicts: 350000 | #Constraints: 35645
433.24/434.40 c INPROCESSING
433.24/434.40 c GARBAGE COLLECT
433.24/434.40 c #Conflicts: 351000 | #Constraints: 24843
433.24/434.40 c #Conflicts: 352000 | #Constraints: 25843
433.24/434.40 c #Conflicts: 353000 | #Constraints: 26843
433.24/434.40 c #Conflicts: 354000 | #Constraints: 27843
433.24/434.40 c #Conflicts: 355000 | #Constraints: 28843
433.24/434.40 c #Conflicts: 356000 | #Constraints: 29843
433.24/434.40 c #Conflicts: 357000 | #Constraints: 30843
433.24/434.40 c #Conflicts: 358000 | #Constraints: 31843
433.24/434.40 c #Conflicts: 359000 | #Constraints: 32843
433.24/434.40 c #Conflicts: 360000 | #Constraints: 33843
433.24/434.40 c #Conflicts: 361000 | #Constraints: 34843
433.24/434.40 c #Conflicts: 362000 | #Constraints: 35843
433.24/434.40 c INPROCESSING
433.24/434.40 c GARBAGE COLLECT
433.24/434.40 c #Conflicts: 363000 | #Constraints: 24848
433.24/434.40 c #Conflicts: 364000 | #Constraints: 25848
537.16/538.63 c #Conflicts: 365000 | #Constraints: 26848
537.16/538.63 c #Conflicts: 366000 | #Constraints: 27848
537.16/538.63 c #Conflicts: 367000 | #Constraints: 28848
537.16/538.63 c #Conflicts: 368000 | #Constraints: 29848
537.16/538.63 c #Conflicts: 369000 | #Constraints: 30848
537.16/538.63 c #Conflicts: 370000 | #Constraints: 31848
537.16/538.63 c #Conflicts: 371000 | #Constraints: 32848
537.16/538.63 c #Conflicts: 372000 | #Constraints: 33848
537.16/538.63 c #Conflicts: 373000 | #Constraints: 34848
537.16/538.63 c #Conflicts: 374000 | #Constraints: 35848
537.16/538.63 c #Conflicts: 375000 | #Constraints: 36848
537.16/538.63 c INPROCESSING
537.16/538.63 c GARBAGE COLLECT
537.16/538.63 c #Conflicts: 376000 | #Constraints: 25635
537.16/538.63 c #Conflicts: 377000 | #Constraints: 26635
537.16/538.63 c #Conflicts: 378000 | #Constraints: 27635
537.16/538.63 c #Conflicts: 379000 | #Constraints: 28635
537.16/538.63 c #Conflicts: 380000 | #Constraints: 29635
537.16/538.63 c #Conflicts: 381000 | #Constraints: 30635
537.16/538.63 c #Conflicts: 382000 | #Constraints: 31635
537.16/538.63 c #Conflicts: 383000 | #Constraints: 32635
537.16/538.63 c #Conflicts: 384000 | #Constraints: 33635
537.16/538.63 c #Conflicts: 385000 | #Constraints: 34635
537.16/538.63 c #Conflicts: 386000 | #Constraints: 35635
537.16/538.63 c #Conflicts: 387000 | #Constraints: 36635
537.16/538.63 c INPROCESSING
537.16/538.63 c GARBAGE COLLECT
537.16/538.63 c #Conflicts: 388000 | #Constraints: 25241
537.16/538.63 c #Conflicts: 389000 | #Constraints: 26241
537.16/538.63 c #Conflicts: 390000 | #Constraints: 27241
537.16/538.63 c #Conflicts: 391000 | #Constraints: 28241
537.16/538.63 c #Conflicts: 392000 | #Constraints: 29241
537.16/538.63 c #Conflicts: 393000 | #Constraints: 30241
537.16/538.63 c #Conflicts: 394000 | #Constraints: 31241
537.16/538.63 c #Conflicts: 395000 | #Constraints: 32241
537.16/538.63 c #Conflicts: 396000 | #Constraints: 33241
537.16/538.63 c #Conflicts: 397000 | #Constraints: 34241
537.16/538.63 c #Conflicts: 398000 | #Constraints: 35241
537.16/538.63 c #Conflicts: 399000 | #Constraints: 36241
537.16/538.63 c #Conflicts: 400000 | #Constraints: 37241
537.16/538.63 c INPROCESSING
537.16/538.63 c GARBAGE COLLECT
537.16/538.63 c #Conflicts: 401000 | #Constraints: 25639
537.16/538.63 c #Conflicts: 402000 | #Constraints: 26639
537.16/538.63 c #Conflicts: 403000 | #Constraints: 27639
537.16/538.63 c #Conflicts: 404000 | #Constraints: 28639
537.16/538.63 c #Conflicts: 405000 | #Constraints: 29639
537.16/538.63 c #Conflicts: 406000 | #Constraints: 30639
537.16/538.63 c #Conflicts: 407000 | #Constraints: 31639
537.16/538.63 c #Conflicts: 408000 | #Constraints: 32639
537.16/538.63 c #Conflicts: 409000 | #Constraints: 33639
537.16/538.63 c #Conflicts: 410000 | #Constraints: 34639
537.16/538.63 c #Conflicts: 411000 | #Constraints: 35639
537.16/538.63 c #Conflicts: 412000 | #Constraints: 36639
537.16/538.63 c #Conflicts: 413000 | #Constraints: 37639
537.16/538.63 c INPROCESSING
537.16/538.63 c GARBAGE COLLECT
537.16/538.63 c #Conflicts: 414000 | #Constraints: 25856
537.16/538.63 c #Conflicts: 415000 | #Constraints: 26856
537.16/538.63 c #Conflicts: 416000 | #Constraints: 27856
537.16/538.63 c #Conflicts: 417000 | #Constraints: 28856
537.16/538.63 c #Conflicts: 418000 | #Constraints: 29856
537.16/538.63 c #Conflicts: 419000 | #Constraints: 30856
537.16/538.63 c #Conflicts: 420000 | #Constraints: 31856
537.16/538.63 c #Conflicts: 421000 | #Constraints: 32856
537.16/538.63 c #Conflicts: 422000 | #Constraints: 33856
537.16/538.63 c #Conflicts: 423000 | #Constraints: 34856
537.16/538.63 c #Conflicts: 424000 | #Constraints: 35856
537.16/538.63 c #Conflicts: 425000 | #Constraints: 36856
537.16/538.63 c #Conflicts: 426000 | #Constraints: 37856
537.16/538.63 c INPROCESSING
537.16/538.63 c GARBAGE COLLECT
537.16/538.63 c #Conflicts: 427000 | #Constraints: 25851
537.16/538.63 c #Conflicts: 428000 | #Constraints: 26851
537.16/538.63 c #Conflicts: 429000 | #Constraints: 27851
537.16/538.63 c #Conflicts: 430000 | #Constraints: 28851
537.16/538.63 c #Conflicts: 431000 | #Constraints: 29851
537.16/538.63 c #Conflicts: 432000 | #Constraints: 30851
537.16/538.63 c #Conflicts: 433000 | #Constraints: 31851
537.16/538.63 c #Conflicts: 434000 | #Constraints: 32851
537.16/538.63 c #Conflicts: 435000 | #Constraints: 33851
537.16/538.63 c #Conflicts: 436000 | #Constraints: 34851
537.16/538.63 c #Conflicts: 437000 | #Constraints: 35851
537.16/538.63 c #Conflicts: 438000 | #Constraints: 36851
537.16/538.63 c #Conflicts: 439000 | #Constraints: 37851
537.16/538.63 c #Conflicts: 440000 | #Constraints: 38851
633.10/634.80 c INPROCESSING
633.10/634.80 c GARBAGE COLLECT
633.10/634.80 c #Conflicts: 441000 | #Constraints: 26658
633.10/634.80 c #Conflicts: 442000 | #Constraints: 27658
633.10/634.80 c #Conflicts: 443000 | #Constraints: 28658
633.10/634.80 c #Conflicts: 444000 | #Constraints: 29658
633.10/634.80 c #Conflicts: 445000 | #Constraints: 30658
633.10/634.80 c #Conflicts: 446000 | #Constraints: 31658
633.10/634.80 c #Conflicts: 447000 | #Constraints: 32658
633.10/634.80 c #Conflicts: 448000 | #Constraints: 33658
633.10/634.80 c #Conflicts: 449000 | #Constraints: 34658
633.10/634.80 c #Conflicts: 450000 | #Constraints: 35658
633.10/634.80 c #Conflicts: 451000 | #Constraints: 36658
633.10/634.80 c #Conflicts: 452000 | #Constraints: 37658
633.10/634.80 c #Conflicts: 453000 | #Constraints: 38658
633.10/634.80 c INPROCESSING
633.10/634.80 c GARBAGE COLLECT
633.10/634.80 c #Conflicts: 454000 | #Constraints: 26253
633.10/634.80 c #Conflicts: 455000 | #Constraints: 27253
633.10/634.80 c #Conflicts: 456000 | #Constraints: 28253
633.10/634.80 c #Conflicts: 457000 | #Constraints: 29253
633.10/634.80 c #Conflicts: 458000 | #Constraints: 30253
633.10/634.80 c #Conflicts: 459000 | #Constraints: 31253
633.10/634.80 c #Conflicts: 460000 | #Constraints: 32253
633.10/634.80 c #Conflicts: 461000 | #Constraints: 33253
633.10/634.80 c #Conflicts: 462000 | #Constraints: 34253
633.10/634.80 c #Conflicts: 463000 | #Constraints: 35253
633.10/634.80 c #Conflicts: 464000 | #Constraints: 36253
633.10/634.80 c #Conflicts: 465000 | #Constraints: 37253
633.10/634.80 c #Conflicts: 466000 | #Constraints: 38253
633.10/634.80 c #Conflicts: 467000 | #Constraints: 39253
633.10/634.80 c INPROCESSING
633.10/634.80 c GARBAGE COLLECT
633.10/634.80 c #Conflicts: 468000 | #Constraints: 26639
633.10/634.80 c #Conflicts: 469000 | #Constraints: 27639
633.10/634.80 c #Conflicts: 470000 | #Constraints: 28639
633.10/634.80 c #Conflicts: 471000 | #Constraints: 29639
633.10/634.80 c #Conflicts: 472000 | #Constraints: 30639
633.10/634.80 c #Conflicts: 473000 | #Constraints: 31639
633.10/634.80 c #Conflicts: 474000 | #Constraints: 32639
633.10/634.80 c #Conflicts: 475000 | #Constraints: 33639
633.10/634.80 c #Conflicts: 476000 | #Constraints: 34639
633.10/634.80 c #Conflicts: 477000 | #Constraints: 35639
633.10/634.80 c #Conflicts: 478000 | #Constraints: 36639
633.10/634.80 c #Conflicts: 479000 | #Constraints: 37639
633.10/634.80 c #Conflicts: 480000 | #Constraints: 38639
633.10/634.80 c #Conflicts: 481000 | #Constraints: 39639
633.10/634.80 c INPROCESSING
633.10/634.80 c GARBAGE COLLECT
633.10/634.80 c #Conflicts: 482000 | #Constraints: 26844
633.10/634.80 c #Conflicts: 483000 | #Constraints: 27844
633.10/634.80 c #Conflicts: 484000 | #Constraints: 28844
633.10/634.80 c #Conflicts: 485000 | #Constraints: 29844
633.10/634.80 c #Conflicts: 486000 | #Constraints: 30844
633.10/634.80 c #Conflicts: 487000 | #Constraints: 31844
633.10/634.80 c #Conflicts: 488000 | #Constraints: 32844
633.10/634.80 c #Conflicts: 489000 | #Constraints: 33844
633.10/634.80 c #Conflicts: 490000 | #Constraints: 34844
633.10/634.80 c #Conflicts: 491000 | #Constraints: 35844
633.10/634.80 c #Conflicts: 492000 | #Constraints: 36844
633.10/634.80 c #Conflicts: 493000 | #Constraints: 37844
633.10/634.80 c #Conflicts: 494000 | #Constraints: 38844
633.10/634.80 c #Conflicts: 495000 | #Constraints: 39844
633.10/634.80 c INPROCESSING
633.10/634.80 c GARBAGE COLLECT
633.10/634.80 c #Conflicts: 496000 | #Constraints: 26826
633.10/634.80 c #Conflicts: 497000 | #Constraints: 27826
633.10/634.80 c #Conflicts: 498000 | #Constraints: 28826
633.10/634.80 c #Conflicts: 499000 | #Constraints: 29826
633.10/634.80 c #Conflicts: 500000 | #Constraints: 30826
633.10/634.80 c #Conflicts: 501000 | #Constraints: 31826
633.10/634.80 c #Conflicts: 502000 | #Constraints: 32826
633.10/634.80 c #Conflicts: 503000 | #Constraints: 33826
633.10/634.80 c #Conflicts: 504000 | #Constraints: 34826
633.10/634.80 c #Conflicts: 505000 | #Constraints: 35826
633.10/634.80 c #Conflicts: 506000 | #Constraints: 36826
633.10/634.80 c #Conflicts: 507000 | #Constraints: 37826
633.10/634.80 c #Conflicts: 508000 | #Constraints: 38826
633.10/634.80 c #Conflicts: 509000 | #Constraints: 39826
633.10/634.80 c #Conflicts: 510000 | #Constraints: 40826
633.10/634.80 c INPROCESSING
633.10/634.80 c GARBAGE COLLECT
633.10/634.80 c #Conflicts: 511000 | #Constraints: 27623
633.10/634.80 c #Conflicts: 512000 | #Constraints: 28623
633.10/634.80 c #Conflicts: 513000 | #Constraints: 29623
633.10/634.80 c #Conflicts: 514000 | #Constraints: 30623
633.10/634.80 c #Conflicts: 515000 | #Constraints: 31623
743.19/745.27 c #Conflicts: 516000 | #Constraints: 32623
743.19/745.27 c #Conflicts: 517000 | #Constraints: 33623
743.19/745.27 c #Conflicts: 518000 | #Constraints: 34623
743.19/745.27 c #Conflicts: 519000 | #Constraints: 35623
743.19/745.27 c #Conflicts: 520000 | #Constraints: 36623
743.19/745.27 c #Conflicts: 521000 | #Constraints: 37623
743.19/745.27 c #Conflicts: 522000 | #Constraints: 38623
743.19/745.27 c #Conflicts: 523000 | #Constraints: 39623
743.19/745.27 c #Conflicts: 524000 | #Constraints: 40623
743.19/745.27 c INPROCESSING
743.19/745.27 c GARBAGE COLLECT
743.19/745.27 c #Conflicts: 525000 | #Constraints: 27239
743.19/745.27 c #Conflicts: 526000 | #Constraints: 28239
743.19/745.27 c #Conflicts: 527000 | #Constraints: 29239
743.19/745.27 c #Conflicts: 528000 | #Constraints: 30239
743.19/745.27 c #Conflicts: 529000 | #Constraints: 31239
743.19/745.27 c #Conflicts: 530000 | #Constraints: 32239
743.19/745.27 c #Conflicts: 531000 | #Constraints: 33239
743.19/745.27 c #Conflicts: 532000 | #Constraints: 34239
743.19/745.27 c #Conflicts: 533000 | #Constraints: 35239
743.19/745.27 c #Conflicts: 534000 | #Constraints: 36239
743.19/745.27 c #Conflicts: 535000 | #Constraints: 37239
743.19/745.27 c #Conflicts: 536000 | #Constraints: 38239
743.19/745.27 c #Conflicts: 537000 | #Constraints: 39239
743.19/745.27 c #Conflicts: 538000 | #Constraints: 40239
743.19/745.27 c #Conflicts: 539000 | #Constraints: 41239
743.19/745.27 c INPROCESSING
743.19/745.27 c GARBAGE COLLECT
743.19/745.27 c #Conflicts: 540000 | #Constraints: 27632
743.19/745.27 c #Conflicts: 541000 | #Constraints: 28632
743.19/745.27 c #Conflicts: 542000 | #Constraints: 29632
743.19/745.27 c #Conflicts: 543000 | #Constraints: 30632
743.19/745.27 c #Conflicts: 544000 | #Constraints: 31632
743.19/745.27 c #Conflicts: 545000 | #Constraints: 32632
743.19/745.27 c #Conflicts: 546000 | #Constraints: 33632
743.19/745.27 c #Conflicts: 547000 | #Constraints: 34632
743.19/745.27 c #Conflicts: 548000 | #Constraints: 35632
743.19/745.27 c #Conflicts: 549000 | #Constraints: 36632
743.19/745.27 c #Conflicts: 550000 | #Constraints: 37632
743.19/745.27 c #Conflicts: 551000 | #Constraints: 38632
743.19/745.27 c #Conflicts: 552000 | #Constraints: 39632
743.19/745.27 c #Conflicts: 553000 | #Constraints: 40632
743.19/745.27 c #Conflicts: 554000 | #Constraints: 41632
743.19/745.27 c INPROCESSING
743.19/745.27 c GARBAGE COLLECT
743.19/745.27 c #Conflicts: 555000 | #Constraints: 27829
743.19/745.27 c #Conflicts: 556000 | #Constraints: 28829
743.19/745.27 c #Conflicts: 557000 | #Constraints: 29829
743.19/745.27 c #Conflicts: 558000 | #Constraints: 30829
743.19/745.27 c #Conflicts: 559000 | #Constraints: 31829
743.19/745.27 c #Conflicts: 560000 | #Constraints: 32829
743.19/745.27 c #Conflicts: 561000 | #Constraints: 33829
743.19/745.27 c #Conflicts: 562000 | #Constraints: 34829
743.19/745.27 c #Conflicts: 563000 | #Constraints: 35829
743.19/745.27 c #Conflicts: 564000 | #Constraints: 36829
743.19/745.27 c #Conflicts: 565000 | #Constraints: 37829
743.19/745.27 c #Conflicts: 566000 | #Constraints: 38829
743.19/745.27 c #Conflicts: 567000 | #Constraints: 39829
743.19/745.27 c #Conflicts: 568000 | #Constraints: 40829
743.19/745.27 c #Conflicts: 569000 | #Constraints: 41829
743.19/745.27 c INPROCESSING
743.19/745.27 c GARBAGE COLLECT
743.19/745.27 c #Conflicts: 570000 | #Constraints: 27829
743.19/745.27 c #Conflicts: 571000 | #Constraints: 28829
743.19/745.27 c #Conflicts: 572000 | #Constraints: 29829
743.19/745.27 c #Conflicts: 573000 | #Constraints: 30829
743.19/745.27 c #Conflicts: 574000 | #Constraints: 31829
743.19/745.27 c #Conflicts: 575000 | #Constraints: 32829
743.19/745.27 c #Conflicts: 576000 | #Constraints: 33829
743.19/745.27 c #Conflicts: 577000 | #Constraints: 34829
743.19/745.27 c #Conflicts: 578000 | #Constraints: 35829
743.19/745.27 c #Conflicts: 579000 | #Constraints: 36829
743.19/745.27 c #Conflicts: 580000 | #Constraints: 37829
743.19/745.27 c #Conflicts: 581000 | #Constraints: 38829
743.19/745.27 c #Conflicts: 582000 | #Constraints: 39829
743.19/745.27 c #Conflicts: 583000 | #Constraints: 40829
743.19/745.27 c #Conflicts: 584000 | #Constraints: 41829
743.19/745.27 c #Conflicts: 585000 | #Constraints: 42829
743.19/745.27 c INPROCESSING
743.19/745.27 c GARBAGE COLLECT
743.19/745.27 c #Conflicts: 586000 | #Constraints: 28625
743.19/745.27 c #Conflicts: 587000 | #Constraints: 29625
743.19/745.27 c #Conflicts: 588000 | #Constraints: 30625
743.19/745.27 c #Conflicts: 589000 | #Constraints: 31625
743.19/745.27 c #Conflicts: 590000 | #Constraints: 32625
866.77/869.13 c #Conflicts: 591000 | #Constraints: 33625
866.77/869.13 c #Conflicts: 592000 | #Constraints: 34625
866.77/869.13 c #Conflicts: 593000 | #Constraints: 35625
866.77/869.13 c #Conflicts: 594000 | #Constraints: 36625
866.77/869.13 c #Conflicts: 595000 | #Constraints: 37625
866.77/869.13 c #Conflicts: 596000 | #Constraints: 38625
866.77/869.13 c #Conflicts: 597000 | #Constraints: 39625
866.77/869.13 c #Conflicts: 598000 | #Constraints: 40625
866.77/869.13 c #Conflicts: 599000 | #Constraints: 41625
866.77/869.13 c #Conflicts: 600000 | #Constraints: 42625
866.77/869.13 c INPROCESSING
866.77/869.13 c GARBAGE COLLECT
866.77/869.13 c #Conflicts: 601000 | #Constraints: 28220
866.77/869.13 c #Conflicts: 602000 | #Constraints: 29220
866.77/869.13 c #Conflicts: 603000 | #Constraints: 30220
866.77/869.13 c #Conflicts: 604000 | #Constraints: 31220
866.77/869.13 c #Conflicts: 605000 | #Constraints: 32220
866.77/869.13 c #Conflicts: 606000 | #Constraints: 33220
866.77/869.13 c #Conflicts: 607000 | #Constraints: 34220
866.77/869.13 c #Conflicts: 608000 | #Constraints: 35220
866.77/869.13 c #Conflicts: 609000 | #Constraints: 36220
866.77/869.13 c #Conflicts: 610000 | #Constraints: 37220
866.77/869.13 c #Conflicts: 611000 | #Constraints: 38220
866.77/869.13 c #Conflicts: 612000 | #Constraints: 39220
866.77/869.13 c #Conflicts: 613000 | #Constraints: 40220
866.77/869.13 c #Conflicts: 614000 | #Constraints: 41220
866.77/869.13 c #Conflicts: 615000 | #Constraints: 42220
866.77/869.13 c #Conflicts: 616000 | #Constraints: 43220
866.77/869.13 c INPROCESSING
866.77/869.13 c GARBAGE COLLECT
866.77/869.13 c #Conflicts: 617000 | #Constraints: 28610
866.77/869.13 c #Conflicts: 618000 | #Constraints: 29610
866.77/869.13 c #Conflicts: 619000 | #Constraints: 30610
866.77/869.13 c #Conflicts: 620000 | #Constraints: 31610
866.77/869.13 c #Conflicts: 621000 | #Constraints: 32610
866.77/869.13 c #Conflicts: 622000 | #Constraints: 33610
866.77/869.13 c #Conflicts: 623000 | #Constraints: 34610
866.77/869.13 c #Conflicts: 624000 | #Constraints: 35610
866.77/869.13 c #Conflicts: 625000 | #Constraints: 36610
866.77/869.13 c #Conflicts: 626000 | #Constraints: 37610
866.77/869.13 c #Conflicts: 627000 | #Constraints: 38610
866.77/869.13 c #Conflicts: 628000 | #Constraints: 39610
866.77/869.13 c #Conflicts: 629000 | #Constraints: 40610
866.77/869.13 c #Conflicts: 630000 | #Constraints: 41610
866.77/869.13 c #Conflicts: 631000 | #Constraints: 42610
866.77/869.13 c #Conflicts: 632000 | #Constraints: 43610
866.77/869.13 c INPROCESSING
866.77/869.13 c GARBAGE COLLECT
866.77/869.13 c #Conflicts: 633000 | #Constraints: 28817
866.77/869.13 c #Conflicts: 634000 | #Constraints: 29817
866.77/869.13 c #Conflicts: 635000 | #Constraints: 30817
866.77/869.13 c #Conflicts: 636000 | #Constraints: 31817
866.77/869.13 c #Conflicts: 637000 | #Constraints: 32817
866.77/869.13 c #Conflicts: 638000 | #Constraints: 33817
866.77/869.13 c #Conflicts: 639000 | #Constraints: 34817
866.77/869.13 c #Conflicts: 640000 | #Constraints: 35817
866.77/869.13 c #Conflicts: 641000 | #Constraints: 36817
866.77/869.13 c #Conflicts: 642000 | #Constraints: 37817
866.77/869.13 c #Conflicts: 643000 | #Constraints: 38817
866.77/869.13 c #Conflicts: 644000 | #Constraints: 39817
866.77/869.13 c #Conflicts: 645000 | #Constraints: 40817
866.77/869.13 c #Conflicts: 646000 | #Constraints: 41817
866.77/869.13 c #Conflicts: 647000 | #Constraints: 42817
866.77/869.13 c #Conflicts: 648000 | #Constraints: 43817
866.77/869.13 c INPROCESSING
866.77/869.13 c GARBAGE COLLECT
866.77/869.13 c #Conflicts: 649000 | #Constraints: 28811
866.77/869.13 c #Conflicts: 650000 | #Constraints: 29811
866.77/869.13 c #Conflicts: 651000 | #Constraints: 30811
866.77/869.13 c #Conflicts: 652000 | #Constraints: 31811
866.77/869.13 c #Conflicts: 653000 | #Constraints: 32811
866.77/869.13 c #Conflicts: 654000 | #Constraints: 33811
866.77/869.13 c #Conflicts: 655000 | #Constraints: 34811
866.77/869.13 c #Conflicts: 656000 | #Constraints: 35811
866.77/869.13 c #Conflicts: 657000 | #Constraints: 36811
866.77/869.13 c #Conflicts: 658000 | #Constraints: 37811
866.77/869.13 c #Conflicts: 659000 | #Constraints: 38811
866.77/869.13 c #Conflicts: 660000 | #Constraints: 39811
866.77/869.13 c #Conflicts: 661000 | #Constraints: 40811
866.77/869.13 c #Conflicts: 662000 | #Constraints: 41811
866.77/869.13 c #Conflicts: 663000 | #Constraints: 42811
866.77/869.13 c #Conflicts: 664000 | #Constraints: 43811
866.77/869.13 c #Conflicts: 665000 | #Constraints: 44811
866.77/869.13 c INPROCESSING
866.77/869.13 c GARBAGE COLLECT
866.77/869.13 c #Conflicts: 666000 | #Constraints: 29621
990.63/993.38 c #Conflicts: 667000 | #Constraints: 30621
990.63/993.38 c #Conflicts: 668000 | #Constraints: 31621
990.63/993.38 c #Conflicts: 669000 | #Constraints: 32621
990.63/993.38 c #Conflicts: 670000 | #Constraints: 33621
990.63/993.38 c #Conflicts: 671000 | #Constraints: 34621
990.63/993.38 c #Conflicts: 672000 | #Constraints: 35621
990.63/993.38 c #Conflicts: 673000 | #Constraints: 36621
990.63/993.38 c #Conflicts: 674000 | #Constraints: 37621
990.63/993.38 c #Conflicts: 675000 | #Constraints: 38621
990.63/993.38 c #Conflicts: 676000 | #Constraints: 39621
990.63/993.38 c #Conflicts: 677000 | #Constraints: 40621
990.63/993.38 c #Conflicts: 678000 | #Constraints: 41621
990.63/993.38 c #Conflicts: 679000 | #Constraints: 42621
990.63/993.38 c #Conflicts: 680000 | #Constraints: 43621
990.63/993.38 c #Conflicts: 681000 | #Constraints: 44621
990.63/993.38 c INPROCESSING
990.63/993.38 c GARBAGE COLLECT
990.63/993.38 c #Conflicts: 682000 | #Constraints: 29206
990.63/993.38 c #Conflicts: 683000 | #Constraints: 30206
990.63/993.38 c #Conflicts: 684000 | #Constraints: 31206
990.63/993.38 c #Conflicts: 685000 | #Constraints: 32206
990.63/993.38 c #Conflicts: 686000 | #Constraints: 33206
990.63/993.38 c #Conflicts: 687000 | #Constraints: 34206
990.63/993.38 c #Conflicts: 688000 | #Constraints: 35206
990.63/993.38 c #Conflicts: 689000 | #Constraints: 36206
990.63/993.38 c #Conflicts: 690000 | #Constraints: 37206
990.63/993.38 c #Conflicts: 691000 | #Constraints: 38206
990.63/993.38 c #Conflicts: 692000 | #Constraints: 39206
990.63/993.38 c #Conflicts: 693000 | #Constraints: 40206
990.63/993.38 c #Conflicts: 694000 | #Constraints: 41206
990.63/993.38 c #Conflicts: 695000 | #Constraints: 42206
990.63/993.38 c #Conflicts: 696000 | #Constraints: 43206
990.63/993.38 c #Conflicts: 697000 | #Constraints: 44206
990.63/993.38 c #Conflicts: 698000 | #Constraints: 45206
990.63/993.38 c INPROCESSING
990.63/993.38 c GARBAGE COLLECT
990.63/993.38 c #Conflicts: 699000 | #Constraints: 29613
990.63/993.38 c #Conflicts: 700000 | #Constraints: 30613
990.63/993.38 c #Conflicts: 701000 | #Constraints: 31613
990.63/993.38 c #Conflicts: 702000 | #Constraints: 32613
990.63/993.38 c #Conflicts: 703000 | #Constraints: 33613
990.63/993.38 c #Conflicts: 704000 | #Constraints: 34613
990.63/993.38 c #Conflicts: 705000 | #Constraints: 35613
990.63/993.38 c #Conflicts: 706000 | #Constraints: 36613
990.63/993.38 c #Conflicts: 707000 | #Constraints: 37613
990.63/993.38 c #Conflicts: 708000 | #Constraints: 38613
990.63/993.38 c #Conflicts: 709000 | #Constraints: 39613
990.63/993.38 c #Conflicts: 710000 | #Constraints: 40613
990.63/993.38 c #Conflicts: 711000 | #Constraints: 41613
990.63/993.38 c #Conflicts: 712000 | #Constraints: 42613
990.63/993.38 c #Conflicts: 713000 | #Constraints: 43613
990.63/993.38 c #Conflicts: 714000 | #Constraints: 44613
990.63/993.38 c #Conflicts: 715000 | #Constraints: 45613
990.63/993.38 c INPROCESSING
990.63/993.38 c GARBAGE COLLECT
990.63/993.38 c #Conflicts: 716000 | #Constraints: 29805
990.63/993.38 c #Conflicts: 717000 | #Constraints: 30805
990.63/993.38 c #Conflicts: 718000 | #Constraints: 31805
990.63/993.38 c #Conflicts: 719000 | #Constraints: 32805
990.63/993.38 c #Conflicts: 720000 | #Constraints: 33805
990.63/993.38 c #Conflicts: 721000 | #Constraints: 34805
990.63/993.38 c #Conflicts: 722000 | #Constraints: 35805
990.63/993.38 c #Conflicts: 723000 | #Constraints: 36805
990.63/993.38 c #Conflicts: 724000 | #Constraints: 37805
990.63/993.38 c #Conflicts: 725000 | #Constraints: 38805
990.63/993.38 c #Conflicts: 726000 | #Constraints: 39805
990.63/993.38 c #Conflicts: 727000 | #Constraints: 40805
990.63/993.38 c #Conflicts: 728000 | #Constraints: 41805
990.63/993.38 c #Conflicts: 729000 | #Constraints: 42805
990.63/993.38 c #Conflicts: 730000 | #Constraints: 43805
990.63/993.38 c #Conflicts: 731000 | #Constraints: 44805
990.63/993.38 c #Conflicts: 732000 | #Constraints: 45805
990.63/993.38 c INPROCESSING
990.63/993.38 c GARBAGE COLLECT
990.63/993.38 c #Conflicts: 733000 | #Constraints: 29803
990.63/993.38 c #Conflicts: 734000 | #Constraints: 30803
990.63/993.38 c #Conflicts: 735000 | #Constraints: 31803
990.63/993.38 c #Conflicts: 736000 | #Constraints: 32803
990.63/993.38 c #Conflicts: 737000 | #Constraints: 33803
990.63/993.38 c #Conflicts: 738000 | #Constraints: 34803
990.63/993.38 c #Conflicts: 739000 | #Constraints: 35803
990.63/993.38 c #Conflicts: 740000 | #Constraints: 36803
990.63/993.38 c #Conflicts: 741000 | #Constraints: 37803
990.63/993.38 c #Conflicts: 742000 | #Constraints: 38803
1088.96/1091.90 c #Conflicts: 743000 | #Constraints: 39803
1088.96/1091.90 c #Conflicts: 744000 | #Constraints: 40803
1088.96/1091.90 c #Conflicts: 745000 | #Constraints: 41803
1088.96/1091.90 c #Conflicts: 746000 | #Constraints: 42803
1088.96/1091.90 c #Conflicts: 747000 | #Constraints: 43803
1088.96/1091.90 c #Conflicts: 748000 | #Constraints: 44803
1088.96/1091.90 c #Conflicts: 749000 | #Constraints: 45803
1088.96/1091.90 c #Conflicts: 750000 | #Constraints: 46803
1088.96/1091.90 c INPROCESSING
1088.96/1091.90 c GARBAGE COLLECT
1088.96/1091.90 c #Conflicts: 751000 | #Constraints: 30625
1088.96/1091.90 c #Conflicts: 752000 | #Constraints: 31625
1088.96/1091.90 c #Conflicts: 753000 | #Constraints: 32625
1088.96/1091.90 c #Conflicts: 754000 | #Constraints: 33625
1088.96/1091.90 c #Conflicts: 755000 | #Constraints: 34625
1088.96/1091.90 c #Conflicts: 756000 | #Constraints: 35625
1088.96/1091.90 c #Conflicts: 757000 | #Constraints: 36625
1088.96/1091.90 c #Conflicts: 758000 | #Constraints: 37625
1088.96/1091.90 c #Conflicts: 759000 | #Constraints: 38625
1088.96/1091.90 c #Conflicts: 760000 | #Constraints: 39625
1088.96/1091.90 c #Conflicts: 761000 | #Constraints: 40625
1088.96/1091.90 c #Conflicts: 762000 | #Constraints: 41625
1088.96/1091.90 c #Conflicts: 763000 | #Constraints: 42625
1088.96/1091.90 c #Conflicts: 764000 | #Constraints: 43625
1088.96/1091.90 c #Conflicts: 765000 | #Constraints: 44625
1088.96/1091.90 c #Conflicts: 766000 | #Constraints: 45625
1088.96/1091.90 c #Conflicts: 767000 | #Constraints: 46625
1088.96/1091.90 c INPROCESSING
1088.96/1091.90 c GARBAGE COLLECT
1088.96/1091.90 c #Conflicts: 768000 | #Constraints: 30227
1088.96/1091.90 c #Conflicts: 769000 | #Constraints: 31227
1088.96/1091.90 c #Conflicts: 770000 | #Constraints: 32227
1088.96/1091.90 c #Conflicts: 771000 | #Constraints: 33227
1088.96/1091.90 c #Conflicts: 772000 | #Constraints: 34227
1088.96/1091.90 c #Conflicts: 773000 | #Constraints: 35227
1088.96/1091.90 c #Conflicts: 774000 | #Constraints: 36227
1088.96/1091.90 c #Conflicts: 775000 | #Constraints: 37227
1088.96/1091.90 c #Conflicts: 776000 | #Constraints: 38227
1088.96/1091.90 c #Conflicts: 777000 | #Constraints: 39227
1088.96/1091.90 c #Conflicts: 778000 | #Constraints: 40227
1088.96/1091.90 c #Conflicts: 779000 | #Constraints: 41227
1088.96/1091.90 c #Conflicts: 780000 | #Constraints: 42227
1088.96/1091.90 c #Conflicts: 781000 | #Constraints: 43227
1088.96/1091.90 c #Conflicts: 782000 | #Constraints: 44227
1088.96/1091.90 c #Conflicts: 783000 | #Constraints: 45227
1088.96/1091.90 c #Conflicts: 784000 | #Constraints: 46227
1088.96/1091.90 c #Conflicts: 785000 | #Constraints: 47227
1088.96/1091.90 c INPROCESSING
1088.96/1091.90 c GARBAGE COLLECT
1088.96/1091.90 c #Conflicts: 786000 | #Constraints: 30621
1088.96/1091.90 c #Conflicts: 787000 | #Constraints: 31621
1088.96/1091.90 c #Conflicts: 788000 | #Constraints: 32621
1088.96/1091.90 c #Conflicts: 789000 | #Constraints: 33621
1088.96/1091.90 c #Conflicts: 790000 | #Constraints: 34621
1088.96/1091.90 c #Conflicts: 791000 | #Constraints: 35621
1088.96/1091.90 c #Conflicts: 792000 | #Constraints: 36621
1088.96/1091.90 c #Conflicts: 793000 | #Constraints: 37621
1088.96/1091.90 c #Conflicts: 794000 | #Constraints: 38621
1088.96/1091.90 c #Conflicts: 795000 | #Constraints: 39621
1088.96/1091.90 c #Conflicts: 796000 | #Constraints: 40621
1088.96/1091.90 c #Conflicts: 797000 | #Constraints: 41621
1088.96/1091.90 c #Conflicts: 798000 | #Constraints: 42621
1088.96/1091.90 c #Conflicts: 799000 | #Constraints: 43621
1088.96/1091.90 c #Conflicts: 800000 | #Constraints: 44621
1088.96/1091.90 c #Conflicts: 801000 | #Constraints: 45621
1088.96/1091.90 c #Conflicts: 802000 | #Constraints: 46621
1088.96/1091.90 c #Conflicts: 803000 | #Constraints: 47621
1088.96/1091.90 c INPROCESSING
1088.96/1091.90 c GARBAGE COLLECT
1088.96/1091.90 c #Conflicts: 804000 | #Constraints: 30809
1088.96/1091.90 c #Conflicts: 805000 | #Constraints: 31809
1088.96/1091.90 c #Conflicts: 806000 | #Constraints: 32809
1088.96/1091.90 c #Conflicts: 807000 | #Constraints: 33809
1088.96/1091.90 c #Conflicts: 808000 | #Constraints: 34809
1088.96/1091.90 c #Conflicts: 809000 | #Constraints: 35809
1088.96/1091.90 c #Conflicts: 810000 | #Constraints: 36809
1088.96/1091.90 c #Conflicts: 811000 | #Constraints: 37809
1088.96/1091.90 c #Conflicts: 812000 | #Constraints: 38809
1088.96/1091.90 c #Conflicts: 813000 | #Constraints: 39809
1088.96/1091.90 c #Conflicts: 814000 | #Constraints: 40809
1088.96/1091.90 c #Conflicts: 815000 | #Constraints: 41809
1088.96/1091.90 c #Conflicts: 816000 | #Constraints: 42809
1088.96/1091.90 c #Conflicts: 817000 | #Constraints: 43809
1088.96/1091.90 c #Conflicts: 818000 | #Constraints: 44809
1197.26/1200.54 c #Conflicts: 819000 | #Constraints: 45809
1197.26/1200.54 c #Conflicts: 820000 | #Constraints: 46809
1197.26/1200.54 c #Conflicts: 821000 | #Constraints: 47809
1197.26/1200.54 c INPROCESSING
1197.26/1200.54 c GARBAGE COLLECT
1197.26/1200.54 c #Conflicts: 822000 | #Constraints: 30814
1197.26/1200.54 c #Conflicts: 823000 | #Constraints: 31814
1197.26/1200.54 c #Conflicts: 824000 | #Constraints: 32814
1197.26/1200.54 c #Conflicts: 825000 | #Constraints: 33814
1197.26/1200.54 c #Conflicts: 826000 | #Constraints: 34814
1197.26/1200.54 c #Conflicts: 827000 | #Constraints: 35814
1197.26/1200.54 c #Conflicts: 828000 | #Constraints: 36814
1197.26/1200.54 c #Conflicts: 829000 | #Constraints: 37814
1197.26/1200.54 c #Conflicts: 830000 | #Constraints: 38814
1197.26/1200.54 c #Conflicts: 831000 | #Constraints: 39814
1197.26/1200.54 c #Conflicts: 832000 | #Constraints: 40814
1197.26/1200.54 c #Conflicts: 833000 | #Constraints: 41814
1197.26/1200.54 c #Conflicts: 834000 | #Constraints: 42814
1197.26/1200.54 c #Conflicts: 835000 | #Constraints: 43814
1197.26/1200.54 c #Conflicts: 836000 | #Constraints: 44814
1197.26/1200.54 c #Conflicts: 837000 | #Constraints: 45814
1197.26/1200.54 c #Conflicts: 838000 | #Constraints: 46814
1197.26/1200.54 c #Conflicts: 839000 | #Constraints: 47814
1197.26/1200.54 c #Conflicts: 840000 | #Constraints: 48814
1197.26/1200.54 c INPROCESSING
1197.26/1200.54 c GARBAGE COLLECT
1197.26/1200.54 c #Conflicts: 841000 | #Constraints: 31606
1197.26/1200.54 c #Conflicts: 842000 | #Constraints: 32606
1197.26/1200.54 c #Conflicts: 843000 | #Constraints: 33606
1197.26/1200.54 c #Conflicts: 844000 | #Constraints: 34606
1197.26/1200.54 c #Conflicts: 845000 | #Constraints: 35606
1197.26/1200.54 c #Conflicts: 846000 | #Constraints: 36606
1197.26/1200.54 c #Conflicts: 847000 | #Constraints: 37606
1197.26/1200.54 c #Conflicts: 848000 | #Constraints: 38606
1197.26/1200.54 c #Conflicts: 849000 | #Constraints: 39606
1197.26/1200.54 c #Conflicts: 850000 | #Constraints: 40606
1197.26/1200.54 c #Conflicts: 851000 | #Constraints: 41606
1197.26/1200.54 c #Conflicts: 852000 | #Constraints: 42606
1197.26/1200.54 c #Conflicts: 853000 | #Constraints: 43606
1197.26/1200.54 c #Conflicts: 854000 | #Constraints: 44606
1197.26/1200.54 c #Conflicts: 855000 | #Constraints: 45606
1197.26/1200.54 c #Conflicts: 856000 | #Constraints: 46606
1197.26/1200.54 c #Conflicts: 857000 | #Constraints: 47606
1197.26/1200.54 c #Conflicts: 858000 | #Constraints: 48606
1197.26/1200.54 c INPROCESSING
1197.26/1200.54 c GARBAGE COLLECT
1197.26/1200.54 c #Conflicts: 859000 | #Constraints: 31212
1197.26/1200.54 c #Conflicts: 860000 | #Constraints: 32212
1197.26/1200.54 c #Conflicts: 861000 | #Constraints: 33212
1197.26/1200.54 c #Conflicts: 862000 | #Constraints: 34212
1197.26/1200.54 c #Conflicts: 863000 | #Constraints: 35212
1197.26/1200.54 c #Conflicts: 864000 | #Constraints: 36212
1197.26/1200.54 c #Conflicts: 865000 | #Constraints: 37212
1197.26/1200.54 c #Conflicts: 866000 | #Constraints: 38212
1197.26/1200.54 c #Conflicts: 867000 | #Constraints: 39212
1197.26/1200.54 c #Conflicts: 868000 | #Constraints: 40212
1197.26/1200.54 c #Conflicts: 869000 | #Constraints: 41212
1197.26/1200.54 c #Conflicts: 870000 | #Constraints: 42212
1197.26/1200.54 c #Conflicts: 871000 | #Constraints: 43212
1197.26/1200.54 c #Conflicts: 872000 | #Constraints: 44212
1197.26/1200.54 c #Conflicts: 873000 | #Constraints: 45212
1197.26/1200.54 c #Conflicts: 874000 | #Constraints: 46212
1197.26/1200.54 c #Conflicts: 875000 | #Constraints: 47212
1197.26/1200.54 c #Conflicts: 876000 | #Constraints: 48212
1197.26/1200.54 c #Conflicts: 877000 | #Constraints: 49212
1197.26/1200.54 c INPROCESSING
1197.26/1200.54 c GARBAGE COLLECT
1197.26/1200.54 c #Conflicts: 878000 | #Constraints: 31620
1197.26/1200.54 c #Conflicts: 879000 | #Constraints: 32620
1197.26/1200.54 c #Conflicts: 880000 | #Constraints: 33620
1197.26/1200.54 c #Conflicts: 881000 | #Constraints: 34620
1197.26/1200.54 c #Conflicts: 882000 | #Constraints: 35620
1197.26/1200.54 c #Conflicts: 883000 | #Constraints: 36620
1197.26/1200.54 c #Conflicts: 884000 | #Constraints: 37620
1197.26/1200.54 c #Conflicts: 885000 | #Constraints: 38620
1197.26/1200.54 c #Conflicts: 886000 | #Constraints: 39620
1197.26/1200.54 c #Conflicts: 887000 | #Constraints: 40620
1197.26/1200.54 c #Conflicts: 888000 | #Constraints: 41620
1197.26/1200.54 c #Conflicts: 889000 | #Constraints: 42620
1197.26/1200.54 c #Conflicts: 890000 | #Constraints: 43620
1197.26/1200.54 c #Conflicts: 891000 | #Constraints: 44620
1197.26/1200.54 c #Conflicts: 892000 | #Constraints: 45620
1197.26/1200.54 c #Conflicts: 893000 | #Constraints: 46620
1197.26/1200.54 c #Conflicts: 894000 | #Constraints: 47620
1197.26/1200.54 c #Conflicts: 895000 | #Constraints: 48620
1334.57/1338.20 c #Conflicts: 896000 | #Constraints: 49620
1334.57/1338.20 c INPROCESSING
1334.57/1338.20 c GARBAGE COLLECT
1334.57/1338.20 c #Conflicts: 897000 | #Constraints: 31822
1334.57/1338.20 c #Conflicts: 898000 | #Constraints: 32822
1334.57/1338.20 c #Conflicts: 899000 | #Constraints: 33822
1334.57/1338.20 c #Conflicts: 900000 | #Constraints: 34822
1334.57/1338.20 c #Conflicts: 901000 | #Constraints: 35822
1334.57/1338.20 c #Conflicts: 902000 | #Constraints: 36822
1334.57/1338.20 c #Conflicts: 903000 | #Constraints: 37822
1334.57/1338.20 c #Conflicts: 904000 | #Constraints: 38822
1334.57/1338.20 c #Conflicts: 905000 | #Constraints: 39822
1334.57/1338.20 c #Conflicts: 906000 | #Constraints: 40822
1334.57/1338.20 c #Conflicts: 907000 | #Constraints: 41822
1334.57/1338.20 c #Conflicts: 908000 | #Constraints: 42822
1334.57/1338.20 c #Conflicts: 909000 | #Constraints: 43822
1334.57/1338.20 c #Conflicts: 910000 | #Constraints: 44822
1334.57/1338.20 c #Conflicts: 911000 | #Constraints: 45822
1334.57/1338.20 c #Conflicts: 912000 | #Constraints: 46822
1334.57/1338.20 c #Conflicts: 913000 | #Constraints: 47822
1334.57/1338.20 c #Conflicts: 914000 | #Constraints: 48822
1334.57/1338.20 c #Conflicts: 915000 | #Constraints: 49822
1334.57/1338.20 c INPROCESSING
1334.57/1338.20 c GARBAGE COLLECT
1334.57/1338.20 c #Conflicts: 916000 | #Constraints: 31830
1334.57/1338.20 c #Conflicts: 917000 | #Constraints: 32830
1334.57/1338.20 c #Conflicts: 918000 | #Constraints: 33830
1334.57/1338.20 c #Conflicts: 919000 | #Constraints: 34830
1334.57/1338.20 c #Conflicts: 920000 | #Constraints: 35830
1334.57/1338.20 c #Conflicts: 921000 | #Constraints: 36830
1334.57/1338.20 c #Conflicts: 922000 | #Constraints: 37830
1334.57/1338.20 c #Conflicts: 923000 | #Constraints: 38830
1334.57/1338.20 c #Conflicts: 924000 | #Constraints: 39830
1334.57/1338.20 c #Conflicts: 925000 | #Constraints: 40830
1334.57/1338.20 c #Conflicts: 926000 | #Constraints: 41830
1334.57/1338.20 c #Conflicts: 927000 | #Constraints: 42830
1334.57/1338.20 c #Conflicts: 928000 | #Constraints: 43830
1334.57/1338.20 c #Conflicts: 929000 | #Constraints: 44830
1334.57/1338.20 c #Conflicts: 930000 | #Constraints: 45830
1334.57/1338.20 c #Conflicts: 931000 | #Constraints: 46830
1334.57/1338.20 c #Conflicts: 932000 | #Constraints: 47830
1334.57/1338.20 c #Conflicts: 933000 | #Constraints: 48830
1334.57/1338.20 c #Conflicts: 934000 | #Constraints: 49830
1334.57/1338.20 c #Conflicts: 935000 | #Constraints: 50830
1334.57/1338.20 c INPROCESSING
1334.57/1338.20 c GARBAGE COLLECT
1334.57/1338.20 c #Conflicts: 936000 | #Constraints: 32615
1334.57/1338.20 c #Conflicts: 937000 | #Constraints: 33615
1334.57/1338.20 c #Conflicts: 938000 | #Constraints: 34615
1334.57/1338.20 c #Conflicts: 939000 | #Constraints: 35615
1334.57/1338.20 c #Conflicts: 940000 | #Constraints: 36615
1334.57/1338.20 c #Conflicts: 941000 | #Constraints: 37615
1334.57/1338.20 c #Conflicts: 942000 | #Constraints: 38615
1334.57/1338.20 c #Conflicts: 943000 | #Constraints: 39615
1334.57/1338.20 c #Conflicts: 944000 | #Constraints: 40615
1334.57/1338.20 c #Conflicts: 945000 | #Constraints: 41615
1334.57/1338.20 c #Conflicts: 946000 | #Constraints: 42615
1334.57/1338.20 c #Conflicts: 947000 | #Constraints: 43615
1334.57/1338.20 c #Conflicts: 948000 | #Constraints: 44615
1334.57/1338.20 c #Conflicts: 949000 | #Constraints: 45615
1334.57/1338.20 c #Conflicts: 950000 | #Constraints: 46615
1334.57/1338.20 c #Conflicts: 951000 | #Constraints: 47615
1334.57/1338.20 c #Conflicts: 952000 | #Constraints: 48615
1334.57/1338.20 c #Conflicts: 953000 | #Constraints: 49615
1334.57/1338.20 c #Conflicts: 954000 | #Constraints: 50615
1334.57/1338.20 c INPROCESSING
1334.57/1338.20 c GARBAGE COLLECT
1334.57/1338.20 c #Conflicts: 955000 | #Constraints: 32219
1334.57/1338.20 c #Conflicts: 956000 | #Constraints: 33219
1334.57/1338.20 c #Conflicts: 957000 | #Constraints: 34219
1334.57/1338.20 c #Conflicts: 958000 | #Constraints: 35219
1334.57/1338.20 c #Conflicts: 959000 | #Constraints: 36219
1334.57/1338.20 c #Conflicts: 960000 | #Constraints: 37219
1334.57/1338.20 c #Conflicts: 961000 | #Constraints: 38219
1334.57/1338.20 c #Conflicts: 962000 | #Constraints: 39219
1334.57/1338.20 c #Conflicts: 963000 | #Constraints: 40219
1334.57/1338.20 c #Conflicts: 964000 | #Constraints: 41219
1334.57/1338.20 c #Conflicts: 965000 | #Constraints: 42219
1334.57/1338.20 c #Conflicts: 966000 | #Constraints: 43219
1334.57/1338.20 c #Conflicts: 967000 | #Constraints: 44219
1334.57/1338.20 c #Conflicts: 968000 | #Constraints: 45219
1334.57/1338.20 c #Conflicts: 969000 | #Constraints: 46219
1334.57/1338.20 c #Conflicts: 970000 | #Constraints: 47219
1334.57/1338.20 c #Conflicts: 971000 | #Constraints: 48219
1459.83/1463.81 c #Conflicts: 972000 | #Constraints: 49219
1459.83/1463.81 c #Conflicts: 973000 | #Constraints: 50219
1459.83/1463.81 c #Conflicts: 974000 | #Constraints: 51219
1459.83/1463.81 c INPROCESSING
1459.83/1463.81 c GARBAGE COLLECT
1459.83/1463.81 c #Conflicts: 975000 | #Constraints: 32609
1459.83/1463.81 c #Conflicts: 976000 | #Constraints: 33609
1459.83/1463.81 c #Conflicts: 977000 | #Constraints: 34609
1459.83/1463.81 c #Conflicts: 978000 | #Constraints: 35609
1459.83/1463.81 c #Conflicts: 979000 | #Constraints: 36609
1459.83/1463.81 c #Conflicts: 980000 | #Constraints: 37609
1459.83/1463.81 c #Conflicts: 981000 | #Constraints: 38609
1459.83/1463.81 c #Conflicts: 982000 | #Constraints: 39609
1459.83/1463.81 c #Conflicts: 983000 | #Constraints: 40609
1459.83/1463.81 c #Conflicts: 984000 | #Constraints: 41609
1459.83/1463.81 c #Conflicts: 985000 | #Constraints: 42609
1459.83/1463.81 c #Conflicts: 986000 | #Constraints: 43609
1459.83/1463.81 c #Conflicts: 987000 | #Constraints: 44609
1459.83/1463.81 c #Conflicts: 988000 | #Constraints: 45609
1459.83/1463.81 c #Conflicts: 989000 | #Constraints: 46609
1459.83/1463.81 c #Conflicts: 990000 | #Constraints: 47609
1459.83/1463.81 c #Conflicts: 991000 | #Constraints: 48609
1459.83/1463.81 c #Conflicts: 992000 | #Constraints: 49609
1459.83/1463.81 c #Conflicts: 993000 | #Constraints: 50609
1459.83/1463.81 c #Conflicts: 994000 | #Constraints: 51609
1459.83/1463.81 c INPROCESSING
1459.83/1463.81 c GARBAGE COLLECT
1459.83/1463.81 c #Conflicts: 995000 | #Constraints: 32815
1459.83/1463.81 c #Conflicts: 996000 | #Constraints: 33815
1459.83/1463.81 c #Conflicts: 997000 | #Constraints: 34815
1459.83/1463.81 c #Conflicts: 998000 | #Constraints: 35815
1459.83/1463.81 c #Conflicts: 999000 | #Constraints: 36815
1459.83/1463.81 c #Conflicts: 1000000 | #Constraints: 37815
1459.83/1463.81 c #Conflicts: 1001000 | #Constraints: 38815
1459.83/1463.81 c #Conflicts: 1002000 | #Constraints: 39815
1459.83/1463.81 c #Conflicts: 1003000 | #Constraints: 40815
1459.83/1463.81 c #Conflicts: 1004000 | #Constraints: 41815
1459.83/1463.81 c #Conflicts: 1005000 | #Constraints: 42815
1459.83/1463.81 c #Conflicts: 1006000 | #Constraints: 43815
1459.83/1463.81 c #Conflicts: 1007000 | #Constraints: 44815
1459.83/1463.81 c #Conflicts: 1008000 | #Constraints: 45815
1459.83/1463.81 c #Conflicts: 1009000 | #Constraints: 46815
1459.83/1463.81 c #Conflicts: 1010000 | #Constraints: 47815
1459.83/1463.81 c #Conflicts: 1011000 | #Constraints: 48815
1459.83/1463.81 c #Conflicts: 1012000 | #Constraints: 49815
1459.83/1463.81 c #Conflicts: 1013000 | #Constraints: 50815
1459.83/1463.81 c #Conflicts: 1014000 | #Constraints: 51815
1459.83/1463.81 c INPROCESSING
1459.83/1463.81 c GARBAGE COLLECT
1459.83/1463.81 c #Conflicts: 1015000 | #Constraints: 32803
1459.83/1463.81 c #Conflicts: 1016000 | #Constraints: 33803
1459.83/1463.81 c #Conflicts: 1017000 | #Constraints: 34803
1459.83/1463.81 c #Conflicts: 1018000 | #Constraints: 35803
1459.83/1463.81 c #Conflicts: 1019000 | #Constraints: 36803
1459.83/1463.81 c #Conflicts: 1020000 | #Constraints: 37803
1459.83/1463.81 c #Conflicts: 1021000 | #Constraints: 38803
1459.83/1463.81 c #Conflicts: 1022000 | #Constraints: 39803
1459.83/1463.81 c #Conflicts: 1023000 | #Constraints: 40803
1459.83/1463.81 c #Conflicts: 1024000 | #Constraints: 41803
1459.83/1463.81 c #Conflicts: 1025000 | #Constraints: 42803
1459.83/1463.81 c #Conflicts: 1026000 | #Constraints: 43803
1459.83/1463.81 c #Conflicts: 1027000 | #Constraints: 44803
1459.83/1463.81 c #Conflicts: 1028000 | #Constraints: 45803
1459.83/1463.81 c #Conflicts: 1029000 | #Constraints: 46803
1459.83/1463.81 c #Conflicts: 1030000 | #Constraints: 47803
1459.83/1463.81 c #Conflicts: 1031000 | #Constraints: 48803
1459.83/1463.81 c #Conflicts: 1032000 | #Constraints: 49803
1459.83/1463.81 c #Conflicts: 1033000 | #Constraints: 50803
1459.83/1463.81 c #Conflicts: 1034000 | #Constraints: 51803
1459.83/1463.81 c #Conflicts: 1035000 | #Constraints: 52803
1459.83/1463.81 c INPROCESSING
1459.83/1463.81 c GARBAGE COLLECT
1459.83/1463.81 c #Conflicts: 1036000 | #Constraints: 33606
1459.83/1463.81 c #Conflicts: 1037000 | #Constraints: 34606
1459.83/1463.81 c #Conflicts: 1038000 | #Constraints: 35606
1459.83/1463.81 c #Conflicts: 1039000 | #Constraints: 36606
1459.83/1463.81 c #Conflicts: 1040000 | #Constraints: 37606
1459.83/1463.81 c #Conflicts: 1041000 | #Constraints: 38606
1459.83/1463.81 c #Conflicts: 1042000 | #Constraints: 39606
1459.83/1463.81 c #Conflicts: 1043000 | #Constraints: 40606
1459.83/1463.81 c #Conflicts: 1044000 | #Constraints: 41606
1459.83/1463.81 c #Conflicts: 1045000 | #Constraints: 42606
1459.83/1463.81 c #Conflicts: 1046000 | #Constraints: 43606
1459.83/1463.81 c #Conflicts: 1047000 | #Constraints: 44606
1601.64/1606.05 c #Conflicts: 1048000 | #Constraints: 45606
1601.64/1606.05 c #Conflicts: 1049000 | #Constraints: 46606
1601.64/1606.05 c #Conflicts: 1050000 | #Constraints: 47606
1601.64/1606.05 c #Conflicts: 1051000 | #Constraints: 48606
1601.64/1606.05 c #Conflicts: 1052000 | #Constraints: 49606
1601.64/1606.05 c #Conflicts: 1053000 | #Constraints: 50606
1601.64/1606.05 c #Conflicts: 1054000 | #Constraints: 51606
1601.64/1606.05 c #Conflicts: 1055000 | #Constraints: 52606
1601.64/1606.05 c INPROCESSING
1601.64/1606.05 c GARBAGE COLLECT
1601.64/1606.05 c #Conflicts: 1056000 | #Constraints: 33197
1601.64/1606.05 c #Conflicts: 1057000 | #Constraints: 34197
1601.64/1606.05 c #Conflicts: 1058000 | #Constraints: 35197
1601.64/1606.05 c #Conflicts: 1059000 | #Constraints: 36197
1601.64/1606.05 c #Conflicts: 1060000 | #Constraints: 37197
1601.64/1606.05 c #Conflicts: 1061000 | #Constraints: 38197
1601.64/1606.05 c #Conflicts: 1062000 | #Constraints: 39197
1601.64/1606.05 c #Conflicts: 1063000 | #Constraints: 40197
1601.64/1606.05 c #Conflicts: 1064000 | #Constraints: 41197
1601.64/1606.05 c #Conflicts: 1065000 | #Constraints: 42197
1601.64/1606.05 c #Conflicts: 1066000 | #Constraints: 43197
1601.64/1606.05 c #Conflicts: 1067000 | #Constraints: 44197
1601.64/1606.05 c #Conflicts: 1068000 | #Constraints: 45197
1601.64/1606.05 c #Conflicts: 1069000 | #Constraints: 46197
1601.64/1606.05 c #Conflicts: 1070000 | #Constraints: 47197
1601.64/1606.05 c #Conflicts: 1071000 | #Constraints: 48197
1601.64/1606.05 c #Conflicts: 1072000 | #Constraints: 49197
1601.64/1606.05 c #Conflicts: 1073000 | #Constraints: 50197
1601.64/1606.05 c #Conflicts: 1074000 | #Constraints: 51197
1601.64/1606.05 c #Conflicts: 1075000 | #Constraints: 52197
1601.64/1606.05 c #Conflicts: 1076000 | #Constraints: 53197
1601.64/1606.05 c INPROCESSING
1601.64/1606.05 c GARBAGE COLLECT
1601.64/1606.05 c #Conflicts: 1077000 | #Constraints: 33580
1601.64/1606.05 c #Conflicts: 1078000 | #Constraints: 34580
1601.64/1606.05 c #Conflicts: 1079000 | #Constraints: 35580
1601.64/1606.05 c #Conflicts: 1080000 | #Constraints: 36580
1601.64/1606.05 c #Conflicts: 1081000 | #Constraints: 37580
1601.64/1606.05 c #Conflicts: 1082000 | #Constraints: 38580
1601.64/1606.05 c #Conflicts: 1083000 | #Constraints: 39580
1601.64/1606.05 c #Conflicts: 1084000 | #Constraints: 40580
1601.64/1606.05 c #Conflicts: 1085000 | #Constraints: 41580
1601.64/1606.05 c #Conflicts: 1086000 | #Constraints: 42580
1601.64/1606.05 c #Conflicts: 1087000 | #Constraints: 43580
1601.64/1606.05 c #Conflicts: 1088000 | #Constraints: 44580
1601.64/1606.05 c #Conflicts: 1089000 | #Constraints: 45580
1601.64/1606.05 c #Conflicts: 1090000 | #Constraints: 46580
1601.64/1606.05 c #Conflicts: 1091000 | #Constraints: 47580
1601.64/1606.05 c #Conflicts: 1092000 | #Constraints: 48580
1601.64/1606.05 c #Conflicts: 1093000 | #Constraints: 49580
1601.64/1606.05 c #Conflicts: 1094000 | #Constraints: 50580
1601.64/1606.05 c #Conflicts: 1095000 | #Constraints: 51580
1601.64/1606.05 c #Conflicts: 1096000 | #Constraints: 52580
1601.64/1606.05 c #Conflicts: 1097000 | #Constraints: 53580
1601.64/1606.05 c INPROCESSING
1601.64/1606.05 c GARBAGE COLLECT
1601.64/1606.05 c #Conflicts: 1098000 | #Constraints: 33804
1601.64/1606.05 c #Conflicts: 1099000 | #Constraints: 34804
1601.64/1606.05 c #Conflicts: 1100000 | #Constraints: 35804
1601.64/1606.05 c #Conflicts: 1101000 | #Constraints: 36804
1601.64/1606.05 c #Conflicts: 1102000 | #Constraints: 37804
1601.64/1606.05 c #Conflicts: 1103000 | #Constraints: 38804
1601.64/1606.05 c #Conflicts: 1104000 | #Constraints: 39804
1601.64/1606.05 c #Conflicts: 1105000 | #Constraints: 40804
1601.64/1606.05 c #Conflicts: 1106000 | #Constraints: 41804
1601.64/1606.05 c #Conflicts: 1107000 | #Constraints: 42804
1601.64/1606.05 c #Conflicts: 1108000 | #Constraints: 43804
1601.64/1606.05 c #Conflicts: 1109000 | #Constraints: 44804
1601.64/1606.05 c #Conflicts: 1110000 | #Constraints: 45804
1601.64/1606.05 c #Conflicts: 1111000 | #Constraints: 46804
1601.64/1606.05 c #Conflicts: 1112000 | #Constraints: 47804
1601.64/1606.05 c #Conflicts: 1113000 | #Constraints: 48804
1601.64/1606.05 c #Conflicts: 1114000 | #Constraints: 49804
1601.64/1606.05 c #Conflicts: 1115000 | #Constraints: 50804
1601.64/1606.05 c #Conflicts: 1116000 | #Constraints: 51804
1601.64/1606.05 c #Conflicts: 1117000 | #Constraints: 52804
1601.64/1606.05 c #Conflicts: 1118000 | #Constraints: 53804
1601.64/1606.05 c INPROCESSING
1601.64/1606.05 c GARBAGE COLLECT
1601.64/1606.05 c #Conflicts: 1119000 | #Constraints: 33791
1601.64/1606.05 c #Conflicts: 1120000 | #Constraints: 34791
1601.64/1606.05 c #Conflicts: 1121000 | #Constraints: 35791
1601.64/1606.05 c #Conflicts: 1122000 | #Constraints: 36791
1601.64/1606.05 c #Conflicts: 1123000 | #Constraints: 37791
1761.39/1766.27 c #Conflicts: 1124000 | #Constraints: 38791
1761.39/1766.27 c #Conflicts: 1125000 | #Constraints: 39791
1761.39/1766.27 c #Conflicts: 1126000 | #Constraints: 40791
1761.39/1766.27 c #Conflicts: 1127000 | #Constraints: 41791
1761.39/1766.27 c #Conflicts: 1128000 | #Constraints: 42791
1761.39/1766.27 c #Conflicts: 1129000 | #Constraints: 43791
1761.39/1766.27 c #Conflicts: 1130000 | #Constraints: 44791
1761.39/1766.27 c #Conflicts: 1131000 | #Constraints: 45791
1761.39/1766.27 c #Conflicts: 1132000 | #Constraints: 46791
1761.39/1766.27 c #Conflicts: 1133000 | #Constraints: 47791
1761.39/1766.27 c #Conflicts: 1134000 | #Constraints: 48791
1761.39/1766.27 c #Conflicts: 1135000 | #Constraints: 49791
1761.39/1766.27 c #Conflicts: 1136000 | #Constraints: 50791
1761.39/1766.27 c #Conflicts: 1137000 | #Constraints: 51791
1761.39/1766.27 c #Conflicts: 1138000 | #Constraints: 52791
1761.39/1766.27 c #Conflicts: 1139000 | #Constraints: 53791
1761.39/1766.27 c #Conflicts: 1140000 | #Constraints: 54791
1761.39/1766.27 c INPROCESSING
1761.39/1766.27 c GARBAGE COLLECT
1761.39/1766.27 c #Conflicts: 1141000 | #Constraints: 34599
1761.39/1766.27 c #Conflicts: 1142000 | #Constraints: 35599
1761.39/1766.27 c #Conflicts: 1143000 | #Constraints: 36599
1761.39/1766.27 c #Conflicts: 1144000 | #Constraints: 37599
1761.39/1766.27 c #Conflicts: 1145000 | #Constraints: 38599
1761.39/1766.27 c #Conflicts: 1146000 | #Constraints: 39599
1761.39/1766.27 c #Conflicts: 1147000 | #Constraints: 40599
1761.39/1766.27 c #Conflicts: 1148000 | #Constraints: 41599
1761.39/1766.27 c #Conflicts: 1149000 | #Constraints: 42599
1761.39/1766.27 c #Conflicts: 1150000 | #Constraints: 43599
1761.39/1766.27 c #Conflicts: 1151000 | #Constraints: 44599
1761.39/1766.27 c #Conflicts: 1152000 | #Constraints: 45599
1761.39/1766.27 c #Conflicts: 1153000 | #Constraints: 46599
1761.39/1766.27 c #Conflicts: 1154000 | #Constraints: 47599
1761.39/1766.27 c #Conflicts: 1155000 | #Constraints: 48599
1761.39/1766.27 c #Conflicts: 1156000 | #Constraints: 49599
1761.39/1766.27 c #Conflicts: 1157000 | #Constraints: 50599
1761.39/1766.27 c #Conflicts: 1158000 | #Constraints: 51599
1761.39/1766.27 c #Conflicts: 1159000 | #Constraints: 52599
1761.39/1766.27 c #Conflicts: 1160000 | #Constraints: 53599
1761.39/1766.27 c #Conflicts: 1161000 | #Constraints: 54599
1761.39/1766.27 c INPROCESSING
1761.39/1766.27 c GARBAGE COLLECT
1761.39/1766.27 c #Conflicts: 1162000 | #Constraints: 34205
1761.39/1766.27 c #Conflicts: 1163000 | #Constraints: 35205
1761.39/1766.27 c #Conflicts: 1164000 | #Constraints: 36205
1761.39/1766.27 c #Conflicts: 1165000 | #Constraints: 37205
1761.39/1766.27 c #Conflicts: 1166000 | #Constraints: 38205
1761.39/1766.27 c #Conflicts: 1167000 | #Constraints: 39205
1761.39/1766.27 c #Conflicts: 1168000 | #Constraints: 40205
1761.39/1766.27 c #Conflicts: 1169000 | #Constraints: 41205
1761.39/1766.27 c #Conflicts: 1170000 | #Constraints: 42205
1761.39/1766.27 c #Conflicts: 1171000 | #Constraints: 43205
1761.39/1766.27 c #Conflicts: 1172000 | #Constraints: 44205
1761.39/1766.27 c #Conflicts: 1173000 | #Constraints: 45205
1761.39/1766.27 c #Conflicts: 1174000 | #Constraints: 46205
1761.39/1766.27 c #Conflicts: 1175000 | #Constraints: 47205
1761.39/1766.27 c #Conflicts: 1176000 | #Constraints: 48205
1761.39/1766.27 c #Conflicts: 1177000 | #Constraints: 49205
1761.39/1766.27 c #Conflicts: 1178000 | #Constraints: 50205
1761.39/1766.27 c #Conflicts: 1179000 | #Constraints: 51205
1761.39/1766.27 c #Conflicts: 1180000 | #Constraints: 52205
1761.39/1766.27 c #Conflicts: 1181000 | #Constraints: 53205
1761.39/1766.27 c #Conflicts: 1182000 | #Constraints: 54205
1761.39/1766.27 c #Conflicts: 1183000 | #Constraints: 55205
1761.39/1766.27 c INPROCESSING
1761.39/1766.27 c GARBAGE COLLECT
1761.39/1766.27 c #Conflicts: 1184000 | #Constraints: 34596
1761.39/1766.27 c #Conflicts: 1185000 | #Constraints: 35596
1761.39/1766.27 c #Conflicts: 1186000 | #Constraints: 36596
1761.39/1766.27 c #Conflicts: 1187000 | #Constraints: 37596
1761.39/1766.27 c #Conflicts: 1188000 | #Constraints: 38596
1761.39/1766.27 c #Conflicts: 1189000 | #Constraints: 39596
1761.39/1766.27 c #Conflicts: 1190000 | #Constraints: 40596
1761.39/1766.27 c #Conflicts: 1191000 | #Constraints: 41596
1761.39/1766.27 c #Conflicts: 1192000 | #Constraints: 42596
1761.39/1766.27 c #Conflicts: 1193000 | #Constraints: 43596
1761.39/1766.27 c #Conflicts: 1194000 | #Constraints: 44596
1761.39/1766.27 c #Conflicts: 1195000 | #Constraints: 45596
1761.39/1766.27 c #Conflicts: 1196000 | #Constraints: 46596
1761.39/1766.27 c #Conflicts: 1197000 | #Constraints: 47596
1761.39/1766.27 c #Conflicts: 1198000 | #Constraints: 48596
1761.39/1766.27 c #Conflicts: 1199000 | #Constraints: 49596
1761.39/1766.27 c #Conflicts: 1200000 | #Constraints: 50596
1874.79/1879.92 c #Conflicts: 1201000 | #Constraints: 51596
1874.79/1879.92 c #Conflicts: 1202000 | #Constraints: 52596
1874.79/1879.92 c #Conflicts: 1203000 | #Constraints: 53596
1874.79/1879.92 c #Conflicts: 1204000 | #Constraints: 54596
1874.79/1879.92 c #Conflicts: 1205000 | #Constraints: 55596
1874.79/1879.92 c INPROCESSING
1874.79/1879.92 c GARBAGE COLLECT
1874.79/1879.92 c #Conflicts: 1206000 | #Constraints: 34802
1874.79/1879.92 c #Conflicts: 1207000 | #Constraints: 35802
1874.79/1879.92 c #Conflicts: 1208000 | #Constraints: 36802
1874.79/1879.92 c #Conflicts: 1209000 | #Constraints: 37802
1874.79/1879.92 c #Conflicts: 1210000 | #Constraints: 38802
1874.79/1879.92 c #Conflicts: 1211000 | #Constraints: 39802
1874.79/1879.92 c #Conflicts: 1212000 | #Constraints: 40802
1874.79/1879.92 c #Conflicts: 1213000 | #Constraints: 41802
1874.79/1879.92 c #Conflicts: 1214000 | #Constraints: 42802
1874.79/1879.92 c #Conflicts: 1215000 | #Constraints: 43802
1874.79/1879.92 c #Conflicts: 1216000 | #Constraints: 44802
1874.79/1879.92 c #Conflicts: 1217000 | #Constraints: 45802
1874.79/1879.92 c #Conflicts: 1218000 | #Constraints: 46802
1874.79/1879.92 c #Conflicts: 1219000 | #Constraints: 47802
1874.79/1879.92 c #Conflicts: 1220000 | #Constraints: 48802
1874.79/1879.92 c #Conflicts: 1221000 | #Constraints: 49802
1874.79/1879.92 c #Conflicts: 1222000 | #Constraints: 50802
1874.79/1879.92 c #Conflicts: 1223000 | #Constraints: 51802
1874.79/1879.92 c #Conflicts: 1224000 | #Constraints: 52802
1874.79/1879.92 c #Conflicts: 1225000 | #Constraints: 53802
1874.79/1879.92 c #Conflicts: 1226000 | #Constraints: 54802
1874.79/1879.92 c #Conflicts: 1227000 | #Constraints: 55802
1874.79/1879.92 c INPROCESSING
1874.79/1879.92 c GARBAGE COLLECT
1874.79/1879.92 c #Conflicts: 1228000 | #Constraints: 34802
1874.79/1879.92 c #Conflicts: 1229000 | #Constraints: 35802
1874.79/1879.92 c #Conflicts: 1230000 | #Constraints: 36802
1874.79/1879.92 c #Conflicts: 1231000 | #Constraints: 37802
1874.79/1879.92 c #Conflicts: 1232000 | #Constraints: 38802
1874.79/1879.92 c #Conflicts: 1233000 | #Constraints: 39802
1874.79/1879.92 c #Conflicts: 1234000 | #Constraints: 40802
1874.79/1879.92 c #Conflicts: 1235000 | #Constraints: 41802
1874.79/1879.92 c #Conflicts: 1236000 | #Constraints: 42802
1874.79/1879.92 c #Conflicts: 1237000 | #Constraints: 43802
1874.79/1879.92 c #Conflicts: 1238000 | #Constraints: 44802
1874.79/1879.92 c #Conflicts: 1239000 | #Constraints: 45802
1874.79/1879.92 c #Conflicts: 1240000 | #Constraints: 46802
1874.79/1879.92 c #Conflicts: 1241000 | #Constraints: 47802
1874.79/1879.92 c #Conflicts: 1242000 | #Constraints: 48802
1874.79/1879.92 c #Conflicts: 1243000 | #Constraints: 49802
1874.79/1879.92 c #Conflicts: 1244000 | #Constraints: 50802
1874.79/1879.92 c #Conflicts: 1245000 | #Constraints: 51802
1874.79/1879.92 c #Conflicts: 1246000 | #Constraints: 52802
1874.79/1879.92 c #Conflicts: 1247000 | #Constraints: 53802
1874.79/1879.92 c #Conflicts: 1248000 | #Constraints: 54802
1874.79/1879.92 c #Conflicts: 1249000 | #Constraints: 55802
1874.79/1879.92 c #Conflicts: 1250000 | #Constraints: 56802
1874.79/1879.92 c INPROCESSING
1874.79/1879.92 c GARBAGE COLLECT
1874.79/1879.92 c #Conflicts: 1251000 | #Constraints: 35591
1874.79/1879.92 c #Conflicts: 1252000 | #Constraints: 36591
1874.79/1879.92 c #Conflicts: 1253000 | #Constraints: 37591
1874.79/1879.92 c #Conflicts: 1254000 | #Constraints: 38591
1874.79/1879.92 c #Conflicts: 1255000 | #Constraints: 39591
1874.79/1879.92 c #Conflicts: 1256000 | #Constraints: 40591
1874.79/1879.92 c #Conflicts: 1257000 | #Constraints: 41591
1874.79/1879.92 c #Conflicts: 1258000 | #Constraints: 42591
1874.79/1879.92 c #Conflicts: 1259000 | #Constraints: 43591
1874.79/1879.92 c #Conflicts: 1260000 | #Constraints: 44591
1874.79/1879.92 c #Conflicts: 1261000 | #Constraints: 45591
1874.79/1879.92 c #Conflicts: 1262000 | #Constraints: 46591
1874.79/1879.92 c #Conflicts: 1263000 | #Constraints: 47591
1874.79/1879.92 c #Conflicts: 1264000 | #Constraints: 48591
1874.79/1879.92 c #Conflicts: 1265000 | #Constraints: 49591
1874.79/1879.92 c #Conflicts: 1266000 | #Constraints: 50591
1874.79/1879.92 c #Conflicts: 1267000 | #Constraints: 51591
1874.79/1879.92 c #Conflicts: 1268000 | #Constraints: 52591
1874.79/1879.92 c #Conflicts: 1269000 | #Constraints: 53591
1874.79/1879.92 c #Conflicts: 1270000 | #Constraints: 54591
1874.79/1879.92 c #Conflicts: 1271000 | #Constraints: 55591
1874.79/1879.92 c #Conflicts: 1272000 | #Constraints: 56591
1874.79/1879.92 c INPROCESSING
1874.79/1879.92 c GARBAGE COLLECT
1874.79/1879.92 c #Conflicts: 1273000 | #Constraints: 35192
1874.79/1879.92 c #Conflicts: 1274000 | #Constraints: 36192
1874.79/1879.92 c #Conflicts: 1275000 | #Constraints: 37192
1874.79/1879.92 c #Conflicts: 1276000 | #Constraints: 38192
1874.79/1879.92 c #Conflicts: 1277000 | #Constraints: 39192
1980.50/1985.98 c #Conflicts: 1278000 | #Constraints: 40192
1980.50/1985.98 c #Conflicts: 1279000 | #Constraints: 41192
1980.50/1985.98 c #Conflicts: 1280000 | #Constraints: 42192
1980.50/1985.98 c #Conflicts: 1281000 | #Constraints: 43192
1980.50/1985.98 c #Conflicts: 1282000 | #Constraints: 44192
1980.50/1985.98 c #Conflicts: 1283000 | #Constraints: 45192
1980.50/1985.98 c #Conflicts: 1284000 | #Constraints: 46192
1980.50/1985.98 c #Conflicts: 1285000 | #Constraints: 47192
1980.50/1985.98 c #Conflicts: 1286000 | #Constraints: 48192
1980.50/1985.98 c #Conflicts: 1287000 | #Constraints: 49192
1980.50/1985.98 c #Conflicts: 1288000 | #Constraints: 50192
1980.50/1985.98 c #Conflicts: 1289000 | #Constraints: 51192
1980.50/1985.98 c #Conflicts: 1290000 | #Constraints: 52192
1980.50/1985.98 c #Conflicts: 1291000 | #Constraints: 53192
1980.50/1985.98 c #Conflicts: 1292000 | #Constraints: 54192
1980.50/1985.98 c #Conflicts: 1293000 | #Constraints: 55192
1980.50/1985.98 c #Conflicts: 1294000 | #Constraints: 56192
1980.50/1985.98 c #Conflicts: 1295000 | #Constraints: 57192
1980.50/1985.98 c INPROCESSING
1980.50/1985.98 c GARBAGE COLLECT
1980.50/1985.98 c #Conflicts: 1296000 | #Constraints: 35587
1980.50/1985.98 c #Conflicts: 1297000 | #Constraints: 36587
1980.50/1985.98 c #Conflicts: 1298000 | #Constraints: 37587
1980.50/1985.98 c #Conflicts: 1299000 | #Constraints: 38587
1980.50/1985.98 c #Conflicts: 1300000 | #Constraints: 39587
1980.50/1985.98 c #Conflicts: 1301000 | #Constraints: 40587
1980.50/1985.98 c #Conflicts: 1302000 | #Constraints: 41587
1980.50/1985.98 c #Conflicts: 1303000 | #Constraints: 42587
1980.50/1985.98 c #Conflicts: 1304000 | #Constraints: 43587
1980.50/1985.98 c #Conflicts: 1305000 | #Constraints: 44587
1980.50/1985.98 c #Conflicts: 1306000 | #Constraints: 45587
1980.50/1985.98 c #Conflicts: 1307000 | #Constraints: 46587
1980.50/1985.98 c #Conflicts: 1308000 | #Constraints: 47587
1980.50/1985.98 c #Conflicts: 1309000 | #Constraints: 48587
1980.50/1985.98 c #Conflicts: 1310000 | #Constraints: 49587
1980.50/1985.98 c #Conflicts: 1311000 | #Constraints: 50587
1980.50/1985.98 c #Conflicts: 1312000 | #Constraints: 51587
1980.50/1985.98 c #Conflicts: 1313000 | #Constraints: 52587
1980.50/1985.98 c #Conflicts: 1314000 | #Constraints: 53587
1980.50/1985.98 c #Conflicts: 1315000 | #Constraints: 54587
1980.50/1985.98 c #Conflicts: 1316000 | #Constraints: 55587
1980.50/1985.98 c #Conflicts: 1317000 | #Constraints: 56587
1980.50/1985.98 c #Conflicts: 1318000 | #Constraints: 57587
1980.50/1985.98 c INPROCESSING
1980.50/1985.98 c GARBAGE COLLECT
1980.50/1985.98 c #Conflicts: 1319000 | #Constraints: 35788
1980.50/1985.98 c #Conflicts: 1320000 | #Constraints: 36788
1980.50/1985.98 c #Conflicts: 1321000 | #Constraints: 37788
1980.50/1985.98 c #Conflicts: 1322000 | #Constraints: 38788
1980.50/1985.98 c #Conflicts: 1323000 | #Constraints: 39788
1980.50/1985.98 c #Conflicts: 1324000 | #Constraints: 40788
1980.50/1985.98 c #Conflicts: 1325000 | #Constraints: 41788
1980.50/1985.98 c #Conflicts: 1326000 | #Constraints: 42788
1980.50/1985.98 c #Conflicts: 1327000 | #Constraints: 43788
1980.50/1985.98 c #Conflicts: 1328000 | #Constraints: 44788
1980.50/1985.98 c #Conflicts: 1329000 | #Constraints: 45788
1980.50/1985.98 c #Conflicts: 1330000 | #Constraints: 46788
1980.50/1985.98 c #Conflicts: 1331000 | #Constraints: 47788
1980.50/1985.98 c #Conflicts: 1332000 | #Constraints: 48788
1980.50/1985.98 c #Conflicts: 1333000 | #Constraints: 49788
1980.50/1985.98 c #Conflicts: 1334000 | #Constraints: 50788
1980.50/1985.98 c #Conflicts: 1335000 | #Constraints: 51788
1980.50/1985.98 c #Conflicts: 1336000 | #Constraints: 52788
1980.50/1985.98 c #Conflicts: 1337000 | #Constraints: 53788
1980.50/1985.98 c #Conflicts: 1338000 | #Constraints: 54788
1980.50/1985.98 c #Conflicts: 1339000 | #Constraints: 55788
1980.50/1985.98 c #Conflicts: 1340000 | #Constraints: 56788
1980.50/1985.98 c #Conflicts: 1341000 | #Constraints: 57788
1980.50/1985.98 c INPROCESSING
1980.50/1985.98 c GARBAGE COLLECT
1980.50/1985.98 c #Conflicts: 1342000 | #Constraints: 35783
1980.50/1985.98 c #Conflicts: 1343000 | #Constraints: 36783
1980.50/1985.98 c #Conflicts: 1344000 | #Constraints: 37783
1980.50/1985.98 c #Conflicts: 1345000 | #Constraints: 38783
1980.50/1985.98 c #Conflicts: 1346000 | #Constraints: 39783
1980.50/1985.98 c #Conflicts: 1347000 | #Constraints: 40783
1980.50/1985.98 c #Conflicts: 1348000 | #Constraints: 41783
1980.50/1985.98 c #Conflicts: 1349000 | #Constraints: 42783
1980.50/1985.98 c #Conflicts: 1350000 | #Constraints: 43783
1980.50/1985.98 c #Conflicts: 1351000 | #Constraints: 44783
1980.50/1985.98 c #Conflicts: 1352000 | #Constraints: 45783
1980.50/1985.98 c #Conflicts: 1353000 | #Constraints: 46783
2106.15/2111.96 c #Conflicts: 1354000 | #Constraints: 47783
2106.15/2111.96 c #Conflicts: 1355000 | #Constraints: 48783
2106.15/2111.96 c #Conflicts: 1356000 | #Constraints: 49783
2106.15/2111.96 c #Conflicts: 1357000 | #Constraints: 50783
2106.15/2111.96 c #Conflicts: 1358000 | #Constraints: 51783
2106.15/2111.96 c #Conflicts: 1359000 | #Constraints: 52783
2106.15/2111.96 c #Conflicts: 1360000 | #Constraints: 53783
2106.15/2111.96 c #Conflicts: 1361000 | #Constraints: 54783
2106.15/2111.96 c #Conflicts: 1362000 | #Constraints: 55783
2106.15/2111.96 c #Conflicts: 1363000 | #Constraints: 56783
2106.15/2111.96 c #Conflicts: 1364000 | #Constraints: 57783
2106.15/2111.96 c #Conflicts: 1365000 | #Constraints: 58783
2106.15/2111.96 c INPROCESSING
2106.15/2111.96 c GARBAGE COLLECT
2106.15/2111.96 c #Conflicts: 1366000 | #Constraints: 36584
2106.15/2111.96 c #Conflicts: 1367000 | #Constraints: 37584
2106.15/2111.96 c #Conflicts: 1368000 | #Constraints: 38584
2106.15/2111.96 c #Conflicts: 1369000 | #Constraints: 39584
2106.15/2111.96 c #Conflicts: 1370000 | #Constraints: 40584
2106.15/2111.96 c #Conflicts: 1371000 | #Constraints: 41584
2106.15/2111.96 c #Conflicts: 1372000 | #Constraints: 42584
2106.15/2111.96 c #Conflicts: 1373000 | #Constraints: 43584
2106.15/2111.96 c #Conflicts: 1374000 | #Constraints: 44584
2106.15/2111.96 c #Conflicts: 1375000 | #Constraints: 45584
2106.15/2111.96 c #Conflicts: 1376000 | #Constraints: 46584
2106.15/2111.96 c #Conflicts: 1377000 | #Constraints: 47584
2106.15/2111.96 c #Conflicts: 1378000 | #Constraints: 48584
2106.15/2111.96 c #Conflicts: 1379000 | #Constraints: 49584
2106.15/2111.96 c #Conflicts: 1380000 | #Constraints: 50584
2106.15/2111.96 c #Conflicts: 1381000 | #Constraints: 51584
2106.15/2111.96 c #Conflicts: 1382000 | #Constraints: 52584
2106.15/2111.96 c #Conflicts: 1383000 | #Constraints: 53584
2106.15/2111.96 c #Conflicts: 1384000 | #Constraints: 54584
2106.15/2111.96 c #Conflicts: 1385000 | #Constraints: 55584
2106.15/2111.96 c #Conflicts: 1386000 | #Constraints: 56584
2106.15/2111.96 c #Conflicts: 1387000 | #Constraints: 57584
2106.15/2111.96 c #Conflicts: 1388000 | #Constraints: 58584
2106.15/2111.96 c INPROCESSING
2106.15/2111.96 c GARBAGE COLLECT
2106.15/2111.96 c #Conflicts: 1389000 | #Constraints: 36203
2106.15/2111.96 c #Conflicts: 1390000 | #Constraints: 37203
2106.15/2111.96 c #Conflicts: 1391000 | #Constraints: 38203
2106.15/2111.96 c #Conflicts: 1392000 | #Constraints: 39203
2106.15/2111.96 c #Conflicts: 1393000 | #Constraints: 40203
2106.15/2111.96 c #Conflicts: 1394000 | #Constraints: 41203
2106.15/2111.96 c #Conflicts: 1395000 | #Constraints: 42203
2106.15/2111.96 c #Conflicts: 1396000 | #Constraints: 43203
2106.15/2111.96 c #Conflicts: 1397000 | #Constraints: 44203
2106.15/2111.96 c #Conflicts: 1398000 | #Constraints: 45203
2106.15/2111.96 c #Conflicts: 1399000 | #Constraints: 46203
2106.15/2111.96 c #Conflicts: 1400000 | #Constraints: 47203
2106.15/2111.96 c #Conflicts: 1401000 | #Constraints: 48203
2106.15/2111.96 c #Conflicts: 1402000 | #Constraints: 49203
2106.15/2111.96 c #Conflicts: 1403000 | #Constraints: 50203
2106.15/2111.96 c #Conflicts: 1404000 | #Constraints: 51203
2106.15/2111.96 c #Conflicts: 1405000 | #Constraints: 52203
2106.15/2111.96 c #Conflicts: 1406000 | #Constraints: 53203
2106.15/2111.96 c #Conflicts: 1407000 | #Constraints: 54203
2106.15/2111.96 c #Conflicts: 1408000 | #Constraints: 55203
2106.15/2111.96 c #Conflicts: 1409000 | #Constraints: 56203
2106.15/2111.96 c #Conflicts: 1410000 | #Constraints: 57203
2106.15/2111.96 c #Conflicts: 1411000 | #Constraints: 58203
2106.15/2111.96 c #Conflicts: 1412000 | #Constraints: 59203
2106.15/2111.96 c INPROCESSING
2106.15/2111.96 c GARBAGE COLLECT
2106.15/2111.96 c #Conflicts: 1413000 | #Constraints: 36612
2106.15/2111.96 c #Conflicts: 1414000 | #Constraints: 37612
2106.15/2111.96 c #Conflicts: 1415000 | #Constraints: 38612
2106.15/2111.96 c #Conflicts: 1416000 | #Constraints: 39612
2106.15/2111.96 c #Conflicts: 1417000 | #Constraints: 40612
2106.15/2111.96 c #Conflicts: 1418000 | #Constraints: 41612
2106.15/2111.96 c #Conflicts: 1419000 | #Constraints: 42612
2106.15/2111.96 c #Conflicts: 1420000 | #Constraints: 43612
2106.15/2111.96 c #Conflicts: 1421000 | #Constraints: 44612
2106.15/2111.96 c #Conflicts: 1422000 | #Constraints: 45612
2106.15/2111.96 c #Conflicts: 1423000 | #Constraints: 46612
2106.15/2111.96 c #Conflicts: 1424000 | #Constraints: 47612
2106.15/2111.96 c #Conflicts: 1425000 | #Constraints: 48612
2106.15/2111.96 c #Conflicts: 1426000 | #Constraints: 49612
2106.15/2111.96 c #Conflicts: 1427000 | #Constraints: 50612
2106.15/2111.96 c #Conflicts: 1428000 | #Constraints: 51612
2106.15/2111.96 c #Conflicts: 1429000 | #Constraints: 52612
2106.15/2111.96 c #Conflicts: 1430000 | #Constraints: 53612
2258.82/2265.03 c #Conflicts: 1431000 | #Constraints: 54612
2258.82/2265.03 c #Conflicts: 1432000 | #Constraints: 55612
2258.82/2265.03 c #Conflicts: 1433000 | #Constraints: 56612
2258.82/2265.03 c #Conflicts: 1434000 | #Constraints: 57612
2258.82/2265.03 c #Conflicts: 1435000 | #Constraints: 58612
2258.82/2265.03 c #Conflicts: 1436000 | #Constraints: 59612
2258.82/2265.03 c INPROCESSING
2258.82/2265.03 c GARBAGE COLLECT
2258.82/2265.03 c #Conflicts: 1437000 | #Constraints: 36819
2258.82/2265.03 c #Conflicts: 1438000 | #Constraints: 37819
2258.82/2265.03 c #Conflicts: 1439000 | #Constraints: 38819
2258.82/2265.03 c #Conflicts: 1440000 | #Constraints: 39819
2258.82/2265.03 c #Conflicts: 1441000 | #Constraints: 40819
2258.82/2265.03 c #Conflicts: 1442000 | #Constraints: 41819
2258.82/2265.03 c #Conflicts: 1443000 | #Constraints: 42819
2258.82/2265.03 c #Conflicts: 1444000 | #Constraints: 43819
2258.82/2265.03 c #Conflicts: 1445000 | #Constraints: 44819
2258.82/2265.03 c #Conflicts: 1446000 | #Constraints: 45819
2258.82/2265.03 c #Conflicts: 1447000 | #Constraints: 46819
2258.82/2265.03 c #Conflicts: 1448000 | #Constraints: 47819
2258.82/2265.03 c #Conflicts: 1449000 | #Constraints: 48819
2258.82/2265.03 c #Conflicts: 1450000 | #Constraints: 49819
2258.82/2265.03 c #Conflicts: 1451000 | #Constraints: 50819
2258.82/2265.03 c #Conflicts: 1452000 | #Constraints: 51819
2258.82/2265.03 c #Conflicts: 1453000 | #Constraints: 52819
2258.82/2265.03 c #Conflicts: 1454000 | #Constraints: 53819
2258.82/2265.03 c #Conflicts: 1455000 | #Constraints: 54819
2258.82/2265.03 c #Conflicts: 1456000 | #Constraints: 55819
2258.82/2265.03 c #Conflicts: 1457000 | #Constraints: 56819
2258.82/2265.03 c #Conflicts: 1458000 | #Constraints: 57819
2258.82/2265.03 c #Conflicts: 1459000 | #Constraints: 58819
2258.82/2265.03 c #Conflicts: 1460000 | #Constraints: 59819
2258.82/2265.03 c INPROCESSING
2258.82/2265.03 c GARBAGE COLLECT
2258.82/2265.03 c #Conflicts: 1461000 | #Constraints: 36805
2258.82/2265.03 c #Conflicts: 1462000 | #Constraints: 37805
2258.82/2265.03 c #Conflicts: 1463000 | #Constraints: 38805
2258.82/2265.03 c #Conflicts: 1464000 | #Constraints: 39805
2258.82/2265.03 c #Conflicts: 1465000 | #Constraints: 40805
2258.82/2265.03 c #Conflicts: 1466000 | #Constraints: 41805
2258.82/2265.03 c #Conflicts: 1467000 | #Constraints: 42805
2258.82/2265.03 c #Conflicts: 1468000 | #Constraints: 43805
2258.82/2265.03 c #Conflicts: 1469000 | #Constraints: 44805
2258.82/2265.03 c #Conflicts: 1470000 | #Constraints: 45805
2258.82/2265.03 c #Conflicts: 1471000 | #Constraints: 46805
2258.82/2265.03 c #Conflicts: 1472000 | #Constraints: 47805
2258.82/2265.03 c #Conflicts: 1473000 | #Constraints: 48805
2258.82/2265.03 c #Conflicts: 1474000 | #Constraints: 49805
2258.82/2265.03 c #Conflicts: 1475000 | #Constraints: 50805
2258.82/2265.03 c #Conflicts: 1476000 | #Constraints: 51805
2258.82/2265.03 c #Conflicts: 1477000 | #Constraints: 52805
2258.82/2265.03 c #Conflicts: 1478000 | #Constraints: 53805
2258.82/2265.03 c #Conflicts: 1479000 | #Constraints: 54805
2258.82/2265.03 c #Conflicts: 1480000 | #Constraints: 55805
2258.82/2265.03 c #Conflicts: 1481000 | #Constraints: 56805
2258.82/2265.03 c #Conflicts: 1482000 | #Constraints: 57805
2258.82/2265.03 c #Conflicts: 1483000 | #Constraints: 58805
2258.82/2265.03 c #Conflicts: 1484000 | #Constraints: 59805
2258.82/2265.03 c #Conflicts: 1485000 | #Constraints: 60805
2258.82/2265.03 c INPROCESSING
2258.82/2265.03 c GARBAGE COLLECT
2258.82/2265.03 c #Conflicts: 1486000 | #Constraints: 37596
2258.82/2265.03 c #Conflicts: 1487000 | #Constraints: 38596
2258.82/2265.03 c #Conflicts: 1488000 | #Constraints: 39596
2258.82/2265.03 c #Conflicts: 1489000 | #Constraints: 40596
2258.82/2265.03 c #Conflicts: 1490000 | #Constraints: 41596
2258.82/2265.03 c #Conflicts: 1491000 | #Constraints: 42596
2258.82/2265.03 c #Conflicts: 1492000 | #Constraints: 43596
2258.82/2265.03 c #Conflicts: 1493000 | #Constraints: 44596
2258.82/2265.03 c #Conflicts: 1494000 | #Constraints: 45596
2258.82/2265.03 c #Conflicts: 1495000 | #Constraints: 46596
2258.82/2265.03 c #Conflicts: 1496000 | #Constraints: 47596
2258.82/2265.03 c #Conflicts: 1497000 | #Constraints: 48596
2258.82/2265.03 c #Conflicts: 1498000 | #Constraints: 49596
2258.82/2265.03 c #Conflicts: 1499000 | #Constraints: 50596
2258.82/2265.03 c #Conflicts: 1500000 | #Constraints: 51596
2258.82/2265.03 c #Conflicts: 1501000 | #Constraints: 52596
2258.82/2265.03 c #Conflicts: 1502000 | #Constraints: 53596
2258.82/2265.03 c #Conflicts: 1503000 | #Constraints: 54596
2258.82/2265.03 c #Conflicts: 1504000 | #Constraints: 55596
2258.82/2265.03 c #Conflicts: 1505000 | #Constraints: 56596
2258.82/2265.03 c #Conflicts: 1506000 | #Constraints: 57596
2258.82/2265.03 c #Conflicts: 1507000 | #Constraints: 58596
2440.79/2447.59 c #Conflicts: 1508000 | #Constraints: 59596
2440.79/2447.59 c #Conflicts: 1509000 | #Constraints: 60596
2440.79/2447.59 c INPROCESSING
2440.79/2447.59 c GARBAGE COLLECT
2440.79/2447.59 c #Conflicts: 1510000 | #Constraints: 37195
2440.79/2447.59 c #Conflicts: 1511000 | #Constraints: 38195
2440.79/2447.59 c #Conflicts: 1512000 | #Constraints: 39195
2440.79/2447.59 c #Conflicts: 1513000 | #Constraints: 40195
2440.79/2447.59 c #Conflicts: 1514000 | #Constraints: 41195
2440.79/2447.59 c #Conflicts: 1515000 | #Constraints: 42195
2440.79/2447.59 c #Conflicts: 1516000 | #Constraints: 43195
2440.79/2447.59 c #Conflicts: 1517000 | #Constraints: 44195
2440.79/2447.59 c #Conflicts: 1518000 | #Constraints: 45195
2440.79/2447.59 c #Conflicts: 1519000 | #Constraints: 46195
2440.79/2447.59 c #Conflicts: 1520000 | #Constraints: 47195
2440.79/2447.59 c #Conflicts: 1521000 | #Constraints: 48195
2440.79/2447.59 c #Conflicts: 1522000 | #Constraints: 49195
2440.79/2447.59 c #Conflicts: 1523000 | #Constraints: 50195
2440.79/2447.59 c #Conflicts: 1524000 | #Constraints: 51195
2440.79/2447.59 c #Conflicts: 1525000 | #Constraints: 52195
2440.79/2447.59 c #Conflicts: 1526000 | #Constraints: 53195
2440.79/2447.59 c #Conflicts: 1527000 | #Constraints: 54195
2440.79/2447.59 c #Conflicts: 1528000 | #Constraints: 55195
2440.79/2447.59 c #Conflicts: 1529000 | #Constraints: 56195
2440.79/2447.59 c #Conflicts: 1530000 | #Constraints: 57195
2440.79/2447.59 c #Conflicts: 1531000 | #Constraints: 58195
2440.79/2447.59 c #Conflicts: 1532000 | #Constraints: 59195
2440.79/2447.59 c #Conflicts: 1533000 | #Constraints: 60195
2440.79/2447.59 c #Conflicts: 1534000 | #Constraints: 61195
2440.79/2447.59 c INPROCESSING
2440.79/2447.59 c GARBAGE COLLECT
2440.79/2447.59 c #Conflicts: 1535000 | #Constraints: 37604
2440.79/2447.59 c #Conflicts: 1536000 | #Constraints: 38604
2440.79/2447.59 c #Conflicts: 1537000 | #Constraints: 39604
2440.79/2447.59 c #Conflicts: 1538000 | #Constraints: 40604
2440.79/2447.59 c #Conflicts: 1539000 | #Constraints: 41604
2440.79/2447.59 c #Conflicts: 1540000 | #Constraints: 42604
2440.79/2447.59 c #Conflicts: 1541000 | #Constraints: 43604
2440.79/2447.59 c #Conflicts: 1542000 | #Constraints: 44604
2440.79/2447.59 c #Conflicts: 1543000 | #Constraints: 45604
2440.79/2447.59 c #Conflicts: 1544000 | #Constraints: 46604
2440.79/2447.59 c #Conflicts: 1545000 | #Constraints: 47604
2440.79/2447.59 c #Conflicts: 1546000 | #Constraints: 48604
2440.79/2447.59 c #Conflicts: 1547000 | #Constraints: 49604
2440.79/2447.59 c #Conflicts: 1548000 | #Constraints: 50604
2440.79/2447.59 c #Conflicts: 1549000 | #Constraints: 51604
2440.79/2447.59 c #Conflicts: 1550000 | #Constraints: 52604
2440.79/2447.59 c #Conflicts: 1551000 | #Constraints: 53604
2440.79/2447.59 c #Conflicts: 1552000 | #Constraints: 54604
2440.79/2447.59 c #Conflicts: 1553000 | #Constraints: 55604
2440.79/2447.59 c #Conflicts: 1554000 | #Constraints: 56604
2440.79/2447.59 c #Conflicts: 1555000 | #Constraints: 57604
2440.79/2447.59 c #Conflicts: 1556000 | #Constraints: 58604
2440.79/2447.59 c #Conflicts: 1557000 | #Constraints: 59604
2440.79/2447.59 c #Conflicts: 1558000 | #Constraints: 60604
2440.79/2447.59 c #Conflicts: 1559000 | #Constraints: 61604
2440.79/2447.59 c INPROCESSING
2440.79/2447.59 c GARBAGE COLLECT
2440.79/2447.59 c #Conflicts: 1560000 | #Constraints: 37801
2440.79/2447.59 c #Conflicts: 1561000 | #Constraints: 38801
2440.79/2447.59 c #Conflicts: 1562000 | #Constraints: 39801
2440.79/2447.59 c #Conflicts: 1563000 | #Constraints: 40801
2440.79/2447.59 c #Conflicts: 1564000 | #Constraints: 41801
2440.79/2447.59 c #Conflicts: 1565000 | #Constraints: 42801
2440.79/2447.59 c #Conflicts: 1566000 | #Constraints: 43801
2440.79/2447.59 c #Conflicts: 1567000 | #Constraints: 44801
2440.79/2447.59 c #Conflicts: 1568000 | #Constraints: 45801
2440.79/2447.59 c #Conflicts: 1569000 | #Constraints: 46801
2440.79/2447.59 c #Conflicts: 1570000 | #Constraints: 47801
2440.79/2447.59 c #Conflicts: 1571000 | #Constraints: 48801
2440.79/2447.59 c #Conflicts: 1572000 | #Constraints: 49801
2440.79/2447.59 c #Conflicts: 1573000 | #Constraints: 50801
2440.79/2447.59 c #Conflicts: 1574000 | #Constraints: 51801
2440.79/2447.59 c #Conflicts: 1575000 | #Constraints: 52801
2440.79/2447.59 c #Conflicts: 1576000 | #Constraints: 53801
2440.79/2447.59 c #Conflicts: 1577000 | #Constraints: 54801
2440.79/2447.59 c #Conflicts: 1578000 | #Constraints: 55801
2440.79/2447.59 c #Conflicts: 1579000 | #Constraints: 56801
2440.79/2447.59 c #Conflicts: 1580000 | #Constraints: 57801
2440.79/2447.59 c #Conflicts: 1581000 | #Constraints: 58801
2440.79/2447.59 c #Conflicts: 1582000 | #Constraints: 59801
2440.79/2447.59 c #Conflicts: 1583000 | #Constraints: 60801
2440.79/2447.59 c #Conflicts: 1584000 | #Constraints: 61801
2601.23/2608.48 c INPROCESSING
2601.23/2608.48 c GARBAGE COLLECT
2601.23/2608.48 c #Conflicts: 1585000 | #Constraints: 37792
2601.23/2608.48 c #Conflicts: 1586000 | #Constraints: 38792
2601.23/2608.48 c #Conflicts: 1587000 | #Constraints: 39792
2601.23/2608.48 c #Conflicts: 1588000 | #Constraints: 40792
2601.23/2608.48 c #Conflicts: 1589000 | #Constraints: 41792
2601.23/2608.48 c #Conflicts: 1590000 | #Constraints: 42792
2601.23/2608.48 c #Conflicts: 1591000 | #Constraints: 43792
2601.23/2608.48 c #Conflicts: 1592000 | #Constraints: 44792
2601.23/2608.48 c #Conflicts: 1593000 | #Constraints: 45792
2601.23/2608.48 c #Conflicts: 1594000 | #Constraints: 46792
2601.23/2608.48 c #Conflicts: 1595000 | #Constraints: 47792
2601.23/2608.48 c #Conflicts: 1596000 | #Constraints: 48792
2601.23/2608.48 c #Conflicts: 1597000 | #Constraints: 49792
2601.23/2608.48 c #Conflicts: 1598000 | #Constraints: 50792
2601.23/2608.48 c #Conflicts: 1599000 | #Constraints: 51792
2601.23/2608.48 c #Conflicts: 1600000 | #Constraints: 52792
2601.23/2608.48 c #Conflicts: 1601000 | #Constraints: 53792
2601.23/2608.48 c #Conflicts: 1602000 | #Constraints: 54792
2601.23/2608.48 c #Conflicts: 1603000 | #Constraints: 55792
2601.23/2608.48 c #Conflicts: 1604000 | #Constraints: 56792
2601.23/2608.48 c #Conflicts: 1605000 | #Constraints: 57792
2601.23/2608.48 c #Conflicts: 1606000 | #Constraints: 58792
2601.23/2608.48 c #Conflicts: 1607000 | #Constraints: 59792
2601.23/2608.48 c #Conflicts: 1608000 | #Constraints: 60792
2601.23/2608.48 c #Conflicts: 1609000 | #Constraints: 61792
2601.23/2608.48 c #Conflicts: 1610000 | #Constraints: 62792
2601.23/2608.48 c INPROCESSING
2601.23/2608.48 c GARBAGE COLLECT
2601.23/2608.48 c #Conflicts: 1611000 | #Constraints: 38593
2601.23/2608.48 c #Conflicts: 1612000 | #Constraints: 39593
2601.23/2608.48 c #Conflicts: 1613000 | #Constraints: 40593
2601.23/2608.48 c #Conflicts: 1614000 | #Constraints: 41593
2601.23/2608.48 c #Conflicts: 1615000 | #Constraints: 42593
2601.23/2608.48 c #Conflicts: 1616000 | #Constraints: 43593
2601.23/2608.48 c #Conflicts: 1617000 | #Constraints: 44593
2601.23/2608.48 c #Conflicts: 1618000 | #Constraints: 45593
2601.23/2608.48 c #Conflicts: 1619000 | #Constraints: 46593
2601.23/2608.48 c #Conflicts: 1620000 | #Constraints: 47593
2601.23/2608.48 c #Conflicts: 1621000 | #Constraints: 48593
2601.23/2608.48 c #Conflicts: 1622000 | #Constraints: 49593
2601.23/2608.48 c #Conflicts: 1623000 | #Constraints: 50593
2601.23/2608.48 c #Conflicts: 1624000 | #Constraints: 51593
2601.23/2608.48 c #Conflicts: 1625000 | #Constraints: 52593
2601.23/2608.48 c #Conflicts: 1626000 | #Constraints: 53593
2601.23/2608.48 c #Conflicts: 1627000 | #Constraints: 54593
2601.23/2608.48 c #Conflicts: 1628000 | #Constraints: 55593
2601.23/2608.48 c #Conflicts: 1629000 | #Constraints: 56593
2601.23/2608.48 c #Conflicts: 1630000 | #Constraints: 57593
2601.23/2608.48 c #Conflicts: 1631000 | #Constraints: 58593
2601.23/2608.48 c #Conflicts: 1632000 | #Constraints: 59593
2601.23/2608.48 c #Conflicts: 1633000 | #Constraints: 60593
2601.23/2608.48 c #Conflicts: 1634000 | #Constraints: 61593
2601.23/2608.48 c #Conflicts: 1635000 | #Constraints: 62593
2601.23/2608.48 c INPROCESSING
2601.23/2608.48 c GARBAGE COLLECT
2601.23/2608.48 c #Conflicts: 1636000 | #Constraints: 38200
2601.23/2608.48 c #Conflicts: 1637000 | #Constraints: 39200
2601.23/2608.48 c #Conflicts: 1638000 | #Constraints: 40200
2601.23/2608.48 c #Conflicts: 1639000 | #Constraints: 41200
2601.23/2608.48 c #Conflicts: 1640000 | #Constraints: 42200
2601.23/2608.48 c #Conflicts: 1641000 | #Constraints: 43200
2601.23/2608.48 c #Conflicts: 1642000 | #Constraints: 44200
2601.23/2608.48 c #Conflicts: 1643000 | #Constraints: 45200
2601.23/2608.48 c #Conflicts: 1644000 | #Constraints: 46200
2601.23/2608.48 c #Conflicts: 1645000 | #Constraints: 47200
2601.23/2608.48 c #Conflicts: 1646000 | #Constraints: 48200
2601.23/2608.48 c #Conflicts: 1647000 | #Constraints: 49200
2601.23/2608.48 c #Conflicts: 1648000 | #Constraints: 50200
2601.23/2608.48 c #Conflicts: 1649000 | #Constraints: 51200
2601.23/2608.48 c #Conflicts: 1650000 | #Constraints: 52200
2601.23/2608.48 c #Conflicts: 1651000 | #Constraints: 53200
2601.23/2608.48 c #Conflicts: 1652000 | #Constraints: 54200
2601.23/2608.48 c #Conflicts: 1653000 | #Constraints: 55200
2601.23/2608.48 c #Conflicts: 1654000 | #Constraints: 56200
2601.23/2608.48 c #Conflicts: 1655000 | #Constraints: 57200
2601.23/2608.48 c #Conflicts: 1656000 | #Constraints: 58200
2601.23/2608.48 c #Conflicts: 1657000 | #Constraints: 59200
2601.23/2608.48 c #Conflicts: 1658000 | #Constraints: 60200
2601.23/2608.48 c #Conflicts: 1659000 | #Constraints: 61200
2601.23/2608.48 c #Conflicts: 1660000 | #Constraints: 62200
2601.23/2608.48 c #Conflicts: 1661000 | #Constraints: 63200
2708.22/2715.79 c INPROCESSING
2708.22/2715.79 c GARBAGE COLLECT
2708.22/2715.79 c #Conflicts: 1662000 | #Constraints: 38596
2708.22/2715.79 c #Conflicts: 1663000 | #Constraints: 39596
2708.22/2715.79 c #Conflicts: 1664000 | #Constraints: 40596
2708.22/2715.79 c #Conflicts: 1665000 | #Constraints: 41596
2708.22/2715.79 c #Conflicts: 1666000 | #Constraints: 42596
2708.22/2715.79 c #Conflicts: 1667000 | #Constraints: 43596
2708.22/2715.79 c #Conflicts: 1668000 | #Constraints: 44596
2708.22/2715.79 c #Conflicts: 1669000 | #Constraints: 45596
2708.22/2715.79 c #Conflicts: 1670000 | #Constraints: 46596
2708.22/2715.79 c #Conflicts: 1671000 | #Constraints: 47596
2708.22/2715.79 c #Conflicts: 1672000 | #Constraints: 48596
2708.22/2715.79 c #Conflicts: 1673000 | #Constraints: 49596
2708.22/2715.79 c #Conflicts: 1674000 | #Constraints: 50596
2708.22/2715.79 c #Conflicts: 1675000 | #Constraints: 51596
2708.22/2715.79 c #Conflicts: 1676000 | #Constraints: 52596
2708.22/2715.79 c #Conflicts: 1677000 | #Constraints: 53596
2708.22/2715.79 c #Conflicts: 1678000 | #Constraints: 54596
2708.22/2715.79 c #Conflicts: 1679000 | #Constraints: 55596
2708.22/2715.79 c #Conflicts: 1680000 | #Constraints: 56596
2708.22/2715.79 c #Conflicts: 1681000 | #Constraints: 57596
2708.22/2715.79 c #Conflicts: 1682000 | #Constraints: 58596
2708.22/2715.79 c #Conflicts: 1683000 | #Constraints: 59596
2708.22/2715.79 c #Conflicts: 1684000 | #Constraints: 60596
2708.22/2715.79 c #Conflicts: 1685000 | #Constraints: 61596
2708.22/2715.79 c #Conflicts: 1686000 | #Constraints: 62596
2708.22/2715.79 c #Conflicts: 1687000 | #Constraints: 63596
2708.22/2715.79 c INPROCESSING
2708.22/2715.79 c GARBAGE COLLECT
2708.22/2715.79 c #Conflicts: 1688000 | #Constraints: 38787
2708.22/2715.79 c #Conflicts: 1689000 | #Constraints: 39787
2708.22/2715.79 c #Conflicts: 1690000 | #Constraints: 40787
2708.22/2715.79 c #Conflicts: 1691000 | #Constraints: 41787
2708.22/2715.79 c #Conflicts: 1692000 | #Constraints: 42787
2708.22/2715.79 c #Conflicts: 1693000 | #Constraints: 43787
2708.22/2715.79 c #Conflicts: 1694000 | #Constraints: 44787
2708.22/2715.79 c #Conflicts: 1695000 | #Constraints: 45787
2708.22/2715.79 c #Conflicts: 1696000 | #Constraints: 46787
2708.22/2715.79 c #Conflicts: 1697000 | #Constraints: 47787
2708.22/2715.79 c #Conflicts: 1698000 | #Constraints: 48787
2708.22/2715.79 c #Conflicts: 1699000 | #Constraints: 49787
2708.22/2715.79 c #Conflicts: 1700000 | #Constraints: 50787
2708.22/2715.79 c #Conflicts: 1701000 | #Constraints: 51787
2708.22/2715.79 c #Conflicts: 1702000 | #Constraints: 52787
2708.22/2715.79 c #Conflicts: 1703000 | #Constraints: 53787
2708.22/2715.79 c #Conflicts: 1704000 | #Constraints: 54787
2708.22/2715.79 c #Conflicts: 1705000 | #Constraints: 55787
2708.22/2715.79 c #Conflicts: 1706000 | #Constraints: 56787
2708.22/2715.79 c #Conflicts: 1707000 | #Constraints: 57787
2708.22/2715.79 c #Conflicts: 1708000 | #Constraints: 58787
2708.22/2715.79 c #Conflicts: 1709000 | #Constraints: 59787
2708.22/2715.79 c #Conflicts: 1710000 | #Constraints: 60787
2708.22/2715.79 c #Conflicts: 1711000 | #Constraints: 61787
2708.22/2715.79 c #Conflicts: 1712000 | #Constraints: 62787
2708.22/2715.79 c #Conflicts: 1713000 | #Constraints: 63787
2708.22/2715.79 c INPROCESSING
2708.22/2715.79 c GARBAGE COLLECT
2708.22/2715.79 c #Conflicts: 1714000 | #Constraints: 38157
2708.22/2715.79 c #Conflicts: 1715000 | #Constraints: 39157
2708.22/2715.79 c #Conflicts: 1716000 | #Constraints: 40157
2708.22/2715.79 c #Conflicts: 1717000 | #Constraints: 41157
2708.22/2715.79 c #Conflicts: 1718000 | #Constraints: 42157
2708.22/2715.79 c #Conflicts: 1719000 | #Constraints: 43157
2708.22/2715.79 c #Conflicts: 1720000 | #Constraints: 44157
2708.22/2715.79 c #Conflicts: 1721000 | #Constraints: 45157
2708.22/2715.79 c #Conflicts: 1722000 | #Constraints: 46157
2708.22/2715.79 c #Conflicts: 1723000 | #Constraints: 47157
2708.22/2715.79 c #Conflicts: 1724000 | #Constraints: 48157
2708.22/2715.79 c #Conflicts: 1725000 | #Constraints: 49157
2708.22/2715.79 c #Conflicts: 1726000 | #Constraints: 50157
2708.22/2715.79 c #Conflicts: 1727000 | #Constraints: 51157
2708.22/2715.79 c #Conflicts: 1728000 | #Constraints: 52157
2708.22/2715.79 c #Conflicts: 1729000 | #Constraints: 53157
2708.22/2715.79 c #Conflicts: 1730000 | #Constraints: 54157
2708.22/2715.79 c #Conflicts: 1731000 | #Constraints: 55157
2708.22/2715.79 c #Conflicts: 1732000 | #Constraints: 56157
2708.22/2715.79 c #Conflicts: 1733000 | #Constraints: 57157
2708.22/2715.79 c #Conflicts: 1734000 | #Constraints: 58157
2708.22/2715.79 c #Conflicts: 1735000 | #Constraints: 59157
2708.22/2715.79 c #Conflicts: 1736000 | #Constraints: 60157
2708.22/2715.79 c #Conflicts: 1737000 | #Constraints: 61157
2708.22/2715.79 c #Conflicts: 1738000 | #Constraints: 62157
2817.62/2825.49 c #Conflicts: 1739000 | #Constraints: 63157
2817.62/2825.49 c #Conflicts: 1740000 | #Constraints: 64157
2817.62/2825.49 c INPROCESSING
2817.62/2825.49 c GARBAGE COLLECT
2817.62/2825.49 c #Conflicts: 1741000 | #Constraints: 38662
2817.62/2825.49 c #Conflicts: 1742000 | #Constraints: 39662
2817.62/2825.49 c #Conflicts: 1743000 | #Constraints: 40662
2817.62/2825.49 c #Conflicts: 1744000 | #Constraints: 41662
2817.62/2825.49 c #Conflicts: 1745000 | #Constraints: 42662
2817.62/2825.49 c #Conflicts: 1746000 | #Constraints: 43662
2817.62/2825.49 c #Conflicts: 1747000 | #Constraints: 44662
2817.62/2825.49 c #Conflicts: 1748000 | #Constraints: 45662
2817.62/2825.49 c #Conflicts: 1749000 | #Constraints: 46662
2817.62/2825.49 c #Conflicts: 1750000 | #Constraints: 47662
2817.62/2825.49 c #Conflicts: 1751000 | #Constraints: 48662
2817.62/2825.49 c #Conflicts: 1752000 | #Constraints: 49662
2817.62/2825.49 c #Conflicts: 1753000 | #Constraints: 50662
2817.62/2825.49 c #Conflicts: 1754000 | #Constraints: 51662
2817.62/2825.49 c #Conflicts: 1755000 | #Constraints: 52662
2817.62/2825.49 c #Conflicts: 1756000 | #Constraints: 53662
2817.62/2825.49 c #Conflicts: 1757000 | #Constraints: 54662
2817.62/2825.49 c #Conflicts: 1758000 | #Constraints: 55662
2817.62/2825.49 c #Conflicts: 1759000 | #Constraints: 56662
2817.62/2825.49 c #Conflicts: 1760000 | #Constraints: 57662
2817.62/2825.49 c #Conflicts: 1761000 | #Constraints: 58662
2817.62/2825.49 c #Conflicts: 1762000 | #Constraints: 59662
2817.62/2825.49 c #Conflicts: 1763000 | #Constraints: 60662
2817.62/2825.49 c #Conflicts: 1764000 | #Constraints: 61662
2817.62/2825.49 c #Conflicts: 1765000 | #Constraints: 62662
2817.62/2825.49 c #Conflicts: 1766000 | #Constraints: 63662
2817.62/2825.49 c INPROCESSING
2817.62/2825.49 c GARBAGE COLLECT
2817.62/2825.49 c #Conflicts: 1767000 | #Constraints: 38094
2817.62/2825.49 c #Conflicts: 1768000 | #Constraints: 39094
2817.62/2825.49 c #Conflicts: 1769000 | #Constraints: 40094
2817.62/2825.49 c #Conflicts: 1770000 | #Constraints: 41094
2817.62/2825.49 c #Conflicts: 1771000 | #Constraints: 42094
2817.62/2825.49 c #Conflicts: 1772000 | #Constraints: 43094
2817.62/2825.49 c #Conflicts: 1773000 | #Constraints: 44094
2817.62/2825.49 c #Conflicts: 1774000 | #Constraints: 45094
2817.62/2825.49 c #Conflicts: 1775000 | #Constraints: 46094
2817.62/2825.49 c #Conflicts: 1776000 | #Constraints: 47094
2817.62/2825.49 c #Conflicts: 1777000 | #Constraints: 48094
2817.62/2825.49 c #Conflicts: 1778000 | #Constraints: 49094
2817.62/2825.49 c #Conflicts: 1779000 | #Constraints: 50094
2817.62/2825.49 c #Conflicts: 1780000 | #Constraints: 51094
2817.62/2825.49 c #Conflicts: 1781000 | #Constraints: 52094
2817.62/2825.49 c #Conflicts: 1782000 | #Constraints: 53094
2817.62/2825.49 c #Conflicts: 1783000 | #Constraints: 54094
2817.62/2825.49 c #Conflicts: 1784000 | #Constraints: 55094
2817.62/2825.49 c #Conflicts: 1785000 | #Constraints: 56094
2817.62/2825.49 c #Conflicts: 1786000 | #Constraints: 57094
2817.62/2825.49 c #Conflicts: 1787000 | #Constraints: 58094
2817.62/2825.49 c #Conflicts: 1788000 | #Constraints: 59094
2817.62/2825.49 c #Conflicts: 1789000 | #Constraints: 60094
2817.62/2825.49 c #Conflicts: 1790000 | #Constraints: 61094
2817.62/2825.49 c #Conflicts: 1791000 | #Constraints: 62094
2817.62/2825.49 c #Conflicts: 1792000 | #Constraints: 63094
2817.62/2825.49 c #Conflicts: 1793000 | #Constraints: 64094
2817.62/2825.49 c INPROCESSING
2817.62/2825.49 c GARBAGE COLLECT
2817.62/2825.49 c #Conflicts: 1794000 | #Constraints: 38408
2817.62/2825.49 c #Conflicts: 1795000 | #Constraints: 39408
2817.62/2825.49 c #Conflicts: 1796000 | #Constraints: 40408
2817.62/2825.49 c #Conflicts: 1797000 | #Constraints: 41408
2817.62/2825.49 c #Conflicts: 1798000 | #Constraints: 42408
2817.62/2825.49 c #Conflicts: 1799000 | #Constraints: 43408
2817.62/2825.49 c #Conflicts: 1800000 | #Constraints: 44408
2817.62/2825.49 c #Conflicts: 1801000 | #Constraints: 45408
2817.62/2825.49 c #Conflicts: 1802000 | #Constraints: 46408
2817.62/2825.49 c #Conflicts: 1803000 | #Constraints: 47408
2817.62/2825.49 c #Conflicts: 1804000 | #Constraints: 48408
2817.62/2825.49 c #Conflicts: 1805000 | #Constraints: 49408
2817.62/2825.49 c #Conflicts: 1806000 | #Constraints: 50408
2817.62/2825.49 c #Conflicts: 1807000 | #Constraints: 51408
2817.62/2825.49 c #Conflicts: 1808000 | #Constraints: 52408
2817.62/2825.49 c #Conflicts: 1809000 | #Constraints: 53408
2817.62/2825.49 c #Conflicts: 1810000 | #Constraints: 54408
2817.62/2825.49 c #Conflicts: 1811000 | #Constraints: 55408
2817.62/2825.49 c #Conflicts: 1812000 | #Constraints: 56408
2817.62/2825.49 c #Conflicts: 1813000 | #Constraints: 57408
2817.62/2825.49 c #Conflicts: 1814000 | #Constraints: 58408
2817.62/2825.49 c #Conflicts: 1815000 | #Constraints: 59408
2948.05/2956.21 c #Conflicts: 1816000 | #Constraints: 60408
2948.05/2956.21 c #Conflicts: 1817000 | #Constraints: 61408
2948.05/2956.21 c #Conflicts: 1818000 | #Constraints: 62408
2948.05/2956.21 c #Conflicts: 1819000 | #Constraints: 63408
2948.05/2956.21 c #Conflicts: 1820000 | #Constraints: 64408
2948.05/2956.21 c INPROCESSING
2948.05/2956.21 c GARBAGE COLLECT
2948.05/2956.21 c #Conflicts: 1821000 | #Constraints: 38586
2948.05/2956.21 c #Conflicts: 1822000 | #Constraints: 39586
2948.05/2956.21 c #Conflicts: 1823000 | #Constraints: 40586
2948.05/2956.21 c #Conflicts: 1824000 | #Constraints: 41586
2948.05/2956.21 c #Conflicts: 1825000 | #Constraints: 42586
2948.05/2956.21 c #Conflicts: 1826000 | #Constraints: 43586
2948.05/2956.21 c #Conflicts: 1827000 | #Constraints: 44586
2948.05/2956.21 c #Conflicts: 1828000 | #Constraints: 45586
2948.05/2956.21 c #Conflicts: 1829000 | #Constraints: 46586
2948.05/2956.21 c #Conflicts: 1830000 | #Constraints: 47586
2948.05/2956.21 c #Conflicts: 1831000 | #Constraints: 48586
2948.05/2956.21 c #Conflicts: 1832000 | #Constraints: 49586
2948.05/2956.21 c #Conflicts: 1833000 | #Constraints: 50586
2948.05/2956.21 c #Conflicts: 1834000 | #Constraints: 51586
2948.05/2956.21 c #Conflicts: 1835000 | #Constraints: 52586
2948.05/2956.21 c #Conflicts: 1836000 | #Constraints: 53586
2948.05/2956.21 c #Conflicts: 1837000 | #Constraints: 54586
2948.05/2956.21 c #Conflicts: 1838000 | #Constraints: 55586
2948.05/2956.21 c #Conflicts: 1839000 | #Constraints: 56586
2948.05/2956.21 c #Conflicts: 1840000 | #Constraints: 57586
2948.05/2956.21 c #Conflicts: 1841000 | #Constraints: 58586
2948.05/2956.21 c #Conflicts: 1842000 | #Constraints: 59586
2948.05/2956.21 c #Conflicts: 1843000 | #Constraints: 60586
2948.05/2956.21 c #Conflicts: 1844000 | #Constraints: 61586
2948.05/2956.21 c #Conflicts: 1845000 | #Constraints: 62586
2948.05/2956.21 c #Conflicts: 1846000 | #Constraints: 63586
2948.05/2956.21 c #Conflicts: 1847000 | #Constraints: 64586
2948.05/2956.21 c INPROCESSING
2948.05/2956.21 c GARBAGE COLLECT
2948.05/2956.21 c #Conflicts: 1848000 | #Constraints: 38547
2948.05/2956.21 c #Conflicts: 1849000 | #Constraints: 39547
2948.05/2956.21 c #Conflicts: 1850000 | #Constraints: 40547
2948.05/2956.21 c #Conflicts: 1851000 | #Constraints: 41547
2948.05/2956.21 c #Conflicts: 1852000 | #Constraints: 42547
2948.05/2956.21 c #Conflicts: 1853000 | #Constraints: 43547
2948.05/2956.21 c #Conflicts: 1854000 | #Constraints: 44547
2948.05/2956.21 c #Conflicts: 1855000 | #Constraints: 45547
2948.05/2956.21 c #Conflicts: 1856000 | #Constraints: 46547
2948.05/2956.21 c #Conflicts: 1857000 | #Constraints: 47547
2948.05/2956.21 c #Conflicts: 1858000 | #Constraints: 48547
2948.05/2956.21 c #Conflicts: 1859000 | #Constraints: 49547
2948.05/2956.21 c #Conflicts: 1860000 | #Constraints: 50547
2948.05/2956.21 c #Conflicts: 1861000 | #Constraints: 51547
2948.05/2956.21 c #Conflicts: 1862000 | #Constraints: 52547
2948.05/2956.21 c #Conflicts: 1863000 | #Constraints: 53547
2948.05/2956.21 c #Conflicts: 1864000 | #Constraints: 54547
2948.05/2956.21 c #Conflicts: 1865000 | #Constraints: 55547
2948.05/2956.21 c #Conflicts: 1866000 | #Constraints: 56547
2948.05/2956.21 c #Conflicts: 1867000 | #Constraints: 57547
2948.05/2956.21 c #Conflicts: 1868000 | #Constraints: 58547
2948.05/2956.21 c #Conflicts: 1869000 | #Constraints: 59547
2948.05/2956.21 c #Conflicts: 1870000 | #Constraints: 60547
2948.05/2956.21 c #Conflicts: 1871000 | #Constraints: 61547
2948.05/2956.21 c #Conflicts: 1872000 | #Constraints: 62547
2948.05/2956.21 c #Conflicts: 1873000 | #Constraints: 63547
2948.05/2956.21 c #Conflicts: 1874000 | #Constraints: 64547
2948.05/2956.21 c #Conflicts: 1875000 | #Constraints: 65547
2948.05/2956.21 c INPROCESSING
2948.05/2956.21 c GARBAGE COLLECT
2948.05/2956.21 c #Conflicts: 1876000 | #Constraints: 39345
2948.05/2956.21 c #Conflicts: 1877000 | #Constraints: 40345
2948.05/2956.21 c #Conflicts: 1878000 | #Constraints: 41345
2948.05/2956.21 c #Conflicts: 1879000 | #Constraints: 42345
2948.05/2956.21 c #Conflicts: 1880000 | #Constraints: 43345
2948.05/2956.21 c #Conflicts: 1881000 | #Constraints: 44345
2948.05/2956.21 c #Conflicts: 1882000 | #Constraints: 45345
2948.05/2956.21 c #Conflicts: 1883000 | #Constraints: 46345
2948.05/2956.21 c #Conflicts: 1884000 | #Constraints: 47345
2948.05/2956.21 c #Conflicts: 1885000 | #Constraints: 48345
2948.05/2956.21 c #Conflicts: 1886000 | #Constraints: 49345
2948.05/2956.21 c #Conflicts: 1887000 | #Constraints: 50345
2948.05/2956.21 c #Conflicts: 1888000 | #Constraints: 51345
2948.05/2956.21 c #Conflicts: 1889000 | #Constraints: 52345
2948.05/2956.21 c #Conflicts: 1890000 | #Constraints: 53345
2948.05/2956.21 c #Conflicts: 1891000 | #Constraints: 54345
3048.67/3057.13 c #Conflicts: 1892000 | #Constraints: 55345
3048.67/3057.13 c #Conflicts: 1893000 | #Constraints: 56345
3048.67/3057.13 c #Conflicts: 1894000 | #Constraints: 57345
3048.67/3057.13 c #Conflicts: 1895000 | #Constraints: 58345
3048.67/3057.13 c #Conflicts: 1896000 | #Constraints: 59345
3048.67/3057.13 c #Conflicts: 1897000 | #Constraints: 60345
3048.67/3057.13 c #Conflicts: 1898000 | #Constraints: 61345
3048.67/3057.13 c #Conflicts: 1899000 | #Constraints: 62345
3048.67/3057.13 c #Conflicts: 1900000 | #Constraints: 63345
3048.67/3057.13 c #Conflicts: 1901000 | #Constraints: 64345
3048.67/3057.13 c #Conflicts: 1902000 | #Constraints: 65345
3048.67/3057.13 c INPROCESSING
3048.67/3057.13 c GARBAGE COLLECT
3048.67/3057.13 c #Conflicts: 1903000 | #Constraints: 38937
3048.67/3057.13 c #Conflicts: 1904000 | #Constraints: 39937
3048.67/3057.13 c #Conflicts: 1905000 | #Constraints: 40937
3048.67/3057.13 c #Conflicts: 1906000 | #Constraints: 41937
3048.67/3057.13 c #Conflicts: 1907000 | #Constraints: 42937
3048.67/3057.13 c #Conflicts: 1908000 | #Constraints: 43937
3048.67/3057.13 c #Conflicts: 1909000 | #Constraints: 44937
3048.67/3057.13 c #Conflicts: 1910000 | #Constraints: 45937
3048.67/3057.13 c #Conflicts: 1911000 | #Constraints: 46937
3048.67/3057.13 c #Conflicts: 1912000 | #Constraints: 47937
3048.67/3057.13 c #Conflicts: 1913000 | #Constraints: 48937
3048.67/3057.13 c #Conflicts: 1914000 | #Constraints: 49937
3048.67/3057.13 c #Conflicts: 1915000 | #Constraints: 50937
3048.67/3057.13 c #Conflicts: 1916000 | #Constraints: 51937
3048.67/3057.13 c #Conflicts: 1917000 | #Constraints: 52937
3048.67/3057.13 c #Conflicts: 1918000 | #Constraints: 53937
3048.67/3057.13 c #Conflicts: 1919000 | #Constraints: 54937
3048.67/3057.13 c #Conflicts: 1920000 | #Constraints: 55937
3048.67/3057.13 c #Conflicts: 1921000 | #Constraints: 56937
3048.67/3057.13 c #Conflicts: 1922000 | #Constraints: 57937
3048.67/3057.13 c #Conflicts: 1923000 | #Constraints: 58937
3048.67/3057.13 c #Conflicts: 1924000 | #Constraints: 59937
3048.67/3057.13 c #Conflicts: 1925000 | #Constraints: 60937
3048.67/3057.13 c #Conflicts: 1926000 | #Constraints: 61937
3048.67/3057.13 c #Conflicts: 1927000 | #Constraints: 62937
3048.67/3057.13 c #Conflicts: 1928000 | #Constraints: 63937
3048.67/3057.13 c #Conflicts: 1929000 | #Constraints: 64937
3048.67/3057.13 c #Conflicts: 1930000 | #Constraints: 65937
3048.67/3057.13 c INPROCESSING
3048.67/3057.13 c GARBAGE COLLECT
3048.67/3057.13 c #Conflicts: 1931000 | #Constraints: 39337
3048.67/3057.13 c #Conflicts: 1932000 | #Constraints: 40337
3048.67/3057.13 c #Conflicts: 1933000 | #Constraints: 41337
3048.67/3057.13 c #Conflicts: 1934000 | #Constraints: 42337
3048.67/3057.13 c #Conflicts: 1935000 | #Constraints: 43337
3048.67/3057.13 c #Conflicts: 1936000 | #Constraints: 44337
3048.67/3057.13 c #Conflicts: 1937000 | #Constraints: 45337
3048.67/3057.13 c #Conflicts: 1938000 | #Constraints: 46337
3048.67/3057.13 c #Conflicts: 1939000 | #Constraints: 47337
3048.67/3057.13 c #Conflicts: 1940000 | #Constraints: 48337
3048.67/3057.13 c #Conflicts: 1941000 | #Constraints: 49337
3048.67/3057.13 c #Conflicts: 1942000 | #Constraints: 50337
3048.67/3057.13 c #Conflicts: 1943000 | #Constraints: 51337
3048.67/3057.13 c #Conflicts: 1944000 | #Constraints: 52337
3048.67/3057.13 c #Conflicts: 1945000 | #Constraints: 53337
3048.67/3057.13 c #Conflicts: 1946000 | #Constraints: 54337
3048.67/3057.13 c #Conflicts: 1947000 | #Constraints: 55337
3048.67/3057.13 c #Conflicts: 1948000 | #Constraints: 56337
3048.67/3057.13 c #Conflicts: 1949000 | #Constraints: 57337
3048.67/3057.13 c #Conflicts: 1950000 | #Constraints: 58337
3048.67/3057.13 c #Conflicts: 1951000 | #Constraints: 59337
3048.67/3057.13 c #Conflicts: 1952000 | #Constraints: 60337
3048.67/3057.13 c #Conflicts: 1953000 | #Constraints: 61337
3048.67/3057.13 c #Conflicts: 1954000 | #Constraints: 62337
3048.67/3057.13 c #Conflicts: 1955000 | #Constraints: 63337
3048.67/3057.13 c #Conflicts: 1956000 | #Constraints: 64337
3048.67/3057.13 c #Conflicts: 1957000 | #Constraints: 65337
3048.67/3057.13 c #Conflicts: 1958000 | #Constraints: 66337
3048.67/3057.13 c INPROCESSING
3048.67/3057.13 c GARBAGE COLLECT
3048.67/3057.13 c #Conflicts: 1959000 | #Constraints: 39541
3048.67/3057.13 c #Conflicts: 1960000 | #Constraints: 40541
3048.67/3057.13 c #Conflicts: 1961000 | #Constraints: 41541
3048.67/3057.13 c #Conflicts: 1962000 | #Constraints: 42541
3048.67/3057.13 c #Conflicts: 1963000 | #Constraints: 43541
3048.67/3057.13 c #Conflicts: 1964000 | #Constraints: 44541
3048.67/3057.13 c #Conflicts: 1965000 | #Constraints: 45541
3048.67/3057.13 c #Conflicts: 1966000 | #Constraints: 46541
3048.67/3057.13 c #Conflicts: 1967000 | #Constraints: 47541
3048.67/3057.13 c #Conflicts: 1968000 | #Constraints: 48541
3203.63/3212.53 c #Conflicts: 1969000 | #Constraints: 49541
3203.63/3212.53 c #Conflicts: 1970000 | #Constraints: 50541
3203.63/3212.53 c #Conflicts: 1971000 | #Constraints: 51541
3203.63/3212.53 c #Conflicts: 1972000 | #Constraints: 52541
3203.63/3212.53 c #Conflicts: 1973000 | #Constraints: 53541
3203.63/3212.53 c #Conflicts: 1974000 | #Constraints: 54541
3203.63/3212.53 c #Conflicts: 1975000 | #Constraints: 55541
3203.63/3212.53 c #Conflicts: 1976000 | #Constraints: 56541
3203.63/3212.53 c #Conflicts: 1977000 | #Constraints: 57541
3203.63/3212.53 c #Conflicts: 1978000 | #Constraints: 58541
3203.63/3212.53 c #Conflicts: 1979000 | #Constraints: 59541
3203.63/3212.53 c #Conflicts: 1980000 | #Constraints: 60541
3203.63/3212.53 c #Conflicts: 1981000 | #Constraints: 61541
3203.63/3212.53 c #Conflicts: 1982000 | #Constraints: 62541
3203.63/3212.53 c #Conflicts: 1983000 | #Constraints: 63541
3203.63/3212.53 c #Conflicts: 1984000 | #Constraints: 64541
3203.63/3212.53 c #Conflicts: 1985000 | #Constraints: 65541
3203.63/3212.53 c #Conflicts: 1986000 | #Constraints: 66541
3203.63/3212.53 c INPROCESSING
3203.63/3212.53 c GARBAGE COLLECT
3203.63/3212.53 c #Conflicts: 1987000 | #Constraints: 39528
3203.63/3212.53 c #Conflicts: 1988000 | #Constraints: 40528
3203.63/3212.53 c #Conflicts: 1989000 | #Constraints: 41528
3203.63/3212.53 c #Conflicts: 1990000 | #Constraints: 42528
3203.63/3212.53 c #Conflicts: 1991000 | #Constraints: 43528
3203.63/3212.53 c #Conflicts: 1992000 | #Constraints: 44528
3203.63/3212.53 c #Conflicts: 1993000 | #Constraints: 45528
3203.63/3212.53 c #Conflicts: 1994000 | #Constraints: 46528
3203.63/3212.53 c #Conflicts: 1995000 | #Constraints: 47528
3203.63/3212.53 c #Conflicts: 1996000 | #Constraints: 48528
3203.63/3212.53 c #Conflicts: 1997000 | #Constraints: 49528
3203.63/3212.53 c #Conflicts: 1998000 | #Constraints: 50528
3203.63/3212.53 c #Conflicts: 1999000 | #Constraints: 51528
3203.63/3212.53 c #Conflicts: 2000000 | #Constraints: 52528
3203.63/3212.53 c #Conflicts: 2001000 | #Constraints: 53528
3203.63/3212.53 c #Conflicts: 2002000 | #Constraints: 54528
3203.63/3212.53 c #Conflicts: 2003000 | #Constraints: 55528
3203.63/3212.53 c #Conflicts: 2004000 | #Constraints: 56528
3203.63/3212.53 c #Conflicts: 2005000 | #Constraints: 57528
3203.63/3212.53 c #Conflicts: 2006000 | #Constraints: 58528
3203.63/3212.53 c #Conflicts: 2007000 | #Constraints: 59528
3203.63/3212.53 c #Conflicts: 2008000 | #Constraints: 60528
3203.63/3212.53 c #Conflicts: 2009000 | #Constraints: 61528
3203.63/3212.53 c #Conflicts: 2010000 | #Constraints: 62528
3203.63/3212.53 c #Conflicts: 2011000 | #Constraints: 63528
3203.63/3212.53 c #Conflicts: 2012000 | #Constraints: 64528
3203.63/3212.53 c #Conflicts: 2013000 | #Constraints: 65528
3203.63/3212.53 c #Conflicts: 2014000 | #Constraints: 66528
3203.63/3212.53 c #Conflicts: 2015000 | #Constraints: 67528
3203.63/3212.53 c INPROCESSING
3203.63/3212.53 c GARBAGE COLLECT
3203.63/3212.53 c #Conflicts: 2016000 | #Constraints: 40325
3203.63/3212.53 c #Conflicts: 2017000 | #Constraints: 41325
3203.63/3212.53 c #Conflicts: 2018000 | #Constraints: 42325
3203.63/3212.53 c #Conflicts: 2019000 | #Constraints: 43325
3203.63/3212.53 c #Conflicts: 2020000 | #Constraints: 44325
3203.63/3212.53 c #Conflicts: 2021000 | #Constraints: 45325
3203.63/3212.53 c #Conflicts: 2022000 | #Constraints: 46325
3203.63/3212.53 c #Conflicts: 2023000 | #Constraints: 47325
3203.63/3212.53 c #Conflicts: 2024000 | #Constraints: 48325
3203.63/3212.53 c #Conflicts: 2025000 | #Constraints: 49325
3203.63/3212.53 c #Conflicts: 2026000 | #Constraints: 50325
3203.63/3212.53 c #Conflicts: 2027000 | #Constraints: 51325
3203.63/3212.53 c #Conflicts: 2028000 | #Constraints: 52325
3203.63/3212.53 c #Conflicts: 2029000 | #Constraints: 53325
3203.63/3212.53 c #Conflicts: 2030000 | #Constraints: 54325
3203.63/3212.53 c #Conflicts: 2031000 | #Constraints: 55325
3203.63/3212.53 c #Conflicts: 2032000 | #Constraints: 56325
3203.63/3212.53 c #Conflicts: 2033000 | #Constraints: 57325
3203.63/3212.53 c #Conflicts: 2034000 | #Constraints: 58325
3203.63/3212.53 c #Conflicts: 2035000 | #Constraints: 59325
3203.63/3212.53 c #Conflicts: 2036000 | #Constraints: 60325
3203.63/3212.53 c #Conflicts: 2037000 | #Constraints: 61325
3203.63/3212.53 c #Conflicts: 2038000 | #Constraints: 62325
3203.63/3212.53 c #Conflicts: 2039000 | #Constraints: 63325
3203.63/3212.53 c #Conflicts: 2040000 | #Constraints: 64325
3203.63/3212.53 c #Conflicts: 2041000 | #Constraints: 65325
3203.63/3212.53 c #Conflicts: 2042000 | #Constraints: 66325
3203.63/3212.53 c #Conflicts: 2043000 | #Constraints: 67325
3203.63/3212.53 c INPROCESSING
3203.63/3212.53 c GARBAGE COLLECT
3203.63/3212.53 c #Conflicts: 2044000 | #Constraints: 39929
3203.63/3212.53 c #Conflicts: 2045000 | #Constraints: 40929
3375.75/3385.14 c #Conflicts: 2046000 | #Constraints: 41929
3375.75/3385.14 c #Conflicts: 2047000 | #Constraints: 42929
3375.75/3385.14 c #Conflicts: 2048000 | #Constraints: 43929
3375.75/3385.14 c #Conflicts: 2049000 | #Constraints: 44929
3375.75/3385.14 c #Conflicts: 2050000 | #Constraints: 45929
3375.75/3385.14 c #Conflicts: 2051000 | #Constraints: 46929
3375.75/3385.14 c #Conflicts: 2052000 | #Constraints: 47929
3375.75/3385.14 c #Conflicts: 2053000 | #Constraints: 48929
3375.75/3385.14 c #Conflicts: 2054000 | #Constraints: 49929
3375.75/3385.14 c #Conflicts: 2055000 | #Constraints: 50929
3375.75/3385.14 c #Conflicts: 2056000 | #Constraints: 51929
3375.75/3385.14 c #Conflicts: 2057000 | #Constraints: 52929
3375.75/3385.14 c #Conflicts: 2058000 | #Constraints: 53929
3375.75/3385.14 c #Conflicts: 2059000 | #Constraints: 54929
3375.75/3385.14 c #Conflicts: 2060000 | #Constraints: 55929
3375.75/3385.14 c #Conflicts: 2061000 | #Constraints: 56929
3375.75/3385.14 c #Conflicts: 2062000 | #Constraints: 57929
3375.75/3385.14 c #Conflicts: 2063000 | #Constraints: 58929
3375.75/3385.14 c #Conflicts: 2064000 | #Constraints: 59929
3375.75/3385.14 c #Conflicts: 2065000 | #Constraints: 60929
3375.75/3385.14 c #Conflicts: 2066000 | #Constraints: 61929
3375.75/3385.14 c #Conflicts: 2067000 | #Constraints: 62929
3375.75/3385.14 c #Conflicts: 2068000 | #Constraints: 63929
3375.75/3385.14 c #Conflicts: 2069000 | #Constraints: 64929
3375.75/3385.14 c #Conflicts: 2070000 | #Constraints: 65929
3375.75/3385.14 c #Conflicts: 2071000 | #Constraints: 66929
3375.75/3385.14 c #Conflicts: 2072000 | #Constraints: 67929
3375.75/3385.14 c INPROCESSING
3375.75/3385.14 c GARBAGE COLLECT
3375.75/3385.14 c #Conflicts: 2073000 | #Constraints: 40317
3375.75/3385.14 c #Conflicts: 2074000 | #Constraints: 41317
3375.75/3385.14 c #Conflicts: 2075000 | #Constraints: 42317
3375.75/3385.14 c #Conflicts: 2076000 | #Constraints: 43317
3375.75/3385.14 c #Conflicts: 2077000 | #Constraints: 44317
3375.75/3385.14 c #Conflicts: 2078000 | #Constraints: 45317
3375.75/3385.14 c #Conflicts: 2079000 | #Constraints: 46317
3375.75/3385.14 c #Conflicts: 2080000 | #Constraints: 47317
3375.75/3385.14 c #Conflicts: 2081000 | #Constraints: 48317
3375.75/3385.14 c #Conflicts: 2082000 | #Constraints: 49317
3375.75/3385.14 c #Conflicts: 2083000 | #Constraints: 50317
3375.75/3385.14 c #Conflicts: 2084000 | #Constraints: 51317
3375.75/3385.14 c #Conflicts: 2085000 | #Constraints: 52317
3375.75/3385.14 c #Conflicts: 2086000 | #Constraints: 53317
3375.75/3385.14 c #Conflicts: 2087000 | #Constraints: 54317
3375.75/3385.14 c #Conflicts: 2088000 | #Constraints: 55317
3375.75/3385.14 c #Conflicts: 2089000 | #Constraints: 56317
3375.75/3385.14 c #Conflicts: 2090000 | #Constraints: 57317
3375.75/3385.14 c #Conflicts: 2091000 | #Constraints: 58317
3375.75/3385.14 c #Conflicts: 2092000 | #Constraints: 59317
3375.75/3385.14 c #Conflicts: 2093000 | #Constraints: 60317
3375.75/3385.14 c #Conflicts: 2094000 | #Constraints: 61317
3375.75/3385.14 c #Conflicts: 2095000 | #Constraints: 62317
3375.75/3385.14 c #Conflicts: 2096000 | #Constraints: 63317
3375.75/3385.14 c #Conflicts: 2097000 | #Constraints: 64317
3375.75/3385.14 c #Conflicts: 2098000 | #Constraints: 65317
3375.75/3385.14 c #Conflicts: 2099000 | #Constraints: 66317
3375.75/3385.14 c #Conflicts: 2100000 | #Constraints: 67317
3375.75/3385.14 c #Conflicts: 2101000 | #Constraints: 68317
3375.75/3385.14 c INPROCESSING
3375.75/3385.14 c GARBAGE COLLECT
3375.75/3385.14 c #Conflicts: 2102000 | #Constraints: 40510
3375.75/3385.14 c #Conflicts: 2103000 | #Constraints: 41510
3375.75/3385.14 c #Conflicts: 2104000 | #Constraints: 42510
3375.75/3385.14 c #Conflicts: 2105000 | #Constraints: 43510
3375.75/3385.14 c #Conflicts: 2106000 | #Constraints: 44510
3375.75/3385.14 c #Conflicts: 2107000 | #Constraints: 45510
3375.75/3385.14 c #Conflicts: 2108000 | #Constraints: 46510
3375.75/3385.14 c #Conflicts: 2109000 | #Constraints: 47510
3375.75/3385.14 c #Conflicts: 2110000 | #Constraints: 48510
3375.75/3385.14 c #Conflicts: 2111000 | #Constraints: 49510
3375.75/3385.14 c #Conflicts: 2112000 | #Constraints: 50510
3375.75/3385.14 c #Conflicts: 2113000 | #Constraints: 51510
3375.75/3385.14 c #Conflicts: 2114000 | #Constraints: 52510
3375.75/3385.14 c #Conflicts: 2115000 | #Constraints: 53510
3375.75/3385.14 c #Conflicts: 2116000 | #Constraints: 54510
3375.75/3385.14 c #Conflicts: 2117000 | #Constraints: 55510
3375.75/3385.14 c #Conflicts: 2118000 | #Constraints: 56510
3375.75/3385.14 c #Conflicts: 2119000 | #Constraints: 57510
3375.75/3385.14 c #Conflicts: 2120000 | #Constraints: 58510
3375.75/3385.14 c #Conflicts: 2121000 | #Constraints: 59510
3375.75/3385.14 c #Conflicts: 2122000 | #Constraints: 60510
3375.75/3385.14 c #Conflicts: 2123000 | #Constraints: 61510
3485.96/3495.67 c #Conflicts: 2124000 | #Constraints: 62510
3485.96/3495.67 c #Conflicts: 2125000 | #Constraints: 63510
3485.96/3495.67 c #Conflicts: 2126000 | #Constraints: 64510
3485.96/3495.67 c #Conflicts: 2127000 | #Constraints: 65510
3485.96/3495.67 c #Conflicts: 2128000 | #Constraints: 66510
3485.96/3495.67 c #Conflicts: 2129000 | #Constraints: 67510
3485.96/3495.67 c #Conflicts: 2130000 | #Constraints: 68510
3485.96/3495.67 c INPROCESSING
3485.96/3495.67 c GARBAGE COLLECT
3485.96/3495.67 c #Conflicts: 2131000 | #Constraints: 40527
3485.96/3495.67 c #Conflicts: 2132000 | #Constraints: 41527
3485.96/3495.67 c #Conflicts: 2133000 | #Constraints: 42527
3485.96/3495.67 c #Conflicts: 2134000 | #Constraints: 43527
3485.96/3495.67 c #Conflicts: 2135000 | #Constraints: 44527
3485.96/3495.67 c #Conflicts: 2136000 | #Constraints: 45527
3485.96/3495.67 c #Conflicts: 2137000 | #Constraints: 46527
3485.96/3495.67 c #Conflicts: 2138000 | #Constraints: 47527
3485.96/3495.67 c #Conflicts: 2139000 | #Constraints: 48527
3485.96/3495.67 c #Conflicts: 2140000 | #Constraints: 49527
3485.96/3495.67 c #Conflicts: 2141000 | #Constraints: 50527
3485.96/3495.67 c #Conflicts: 2142000 | #Constraints: 51527
3485.96/3495.67 c #Conflicts: 2143000 | #Constraints: 52527
3485.96/3495.67 c #Conflicts: 2144000 | #Constraints: 53527
3485.96/3495.67 c #Conflicts: 2145000 | #Constraints: 54527
3485.96/3495.67 c #Conflicts: 2146000 | #Constraints: 55527
3485.96/3495.67 c #Conflicts: 2147000 | #Constraints: 56527
3485.96/3495.67 c #Conflicts: 2148000 | #Constraints: 57527
3485.96/3495.67 c #Conflicts: 2149000 | #Constraints: 58527
3485.96/3495.67 c #Conflicts: 2150000 | #Constraints: 59527
3485.96/3495.67 c #Conflicts: 2151000 | #Constraints: 60527
3485.96/3495.67 c #Conflicts: 2152000 | #Constraints: 61527
3485.96/3495.67 c #Conflicts: 2153000 | #Constraints: 62527
3485.96/3495.67 c #Conflicts: 2154000 | #Constraints: 63527
3485.96/3495.67 c #Conflicts: 2155000 | #Constraints: 64527
3485.96/3495.67 c #Conflicts: 2156000 | #Constraints: 65527
3485.96/3495.67 c #Conflicts: 2157000 | #Constraints: 66527
3485.96/3495.67 c #Conflicts: 2158000 | #Constraints: 67527
3485.96/3495.67 c #Conflicts: 2159000 | #Constraints: 68527
3485.96/3495.67 c #Conflicts: 2160000 | #Constraints: 69527
3485.96/3495.67 c INPROCESSING
3485.96/3495.67 c GARBAGE COLLECT
3485.96/3495.67 c #Conflicts: 2161000 | #Constraints: 41329
3485.96/3495.67 c #Conflicts: 2162000 | #Constraints: 42329
3485.96/3495.67 c #Conflicts: 2163000 | #Constraints: 43329
3485.96/3495.67 c #Conflicts: 2164000 | #Constraints: 44329
3485.96/3495.67 c #Conflicts: 2165000 | #Constraints: 45329
3485.96/3495.67 c #Conflicts: 2166000 | #Constraints: 46329
3485.96/3495.67 c #Conflicts: 2167000 | #Constraints: 47329
3485.96/3495.67 c #Conflicts: 2168000 | #Constraints: 48329
3485.96/3495.67 c #Conflicts: 2169000 | #Constraints: 49329
3485.96/3495.67 c #Conflicts: 2170000 | #Constraints: 50329
3485.96/3495.67 c #Conflicts: 2171000 | #Constraints: 51329
3485.96/3495.67 c #Conflicts: 2172000 | #Constraints: 52329
3485.96/3495.67 c #Conflicts: 2173000 | #Constraints: 53329
3485.96/3495.67 c #Conflicts: 2174000 | #Constraints: 54329
3485.96/3495.67 c #Conflicts: 2175000 | #Constraints: 55329
3485.96/3495.67 c #Conflicts: 2176000 | #Constraints: 56329
3485.96/3495.67 c #Conflicts: 2177000 | #Constraints: 57329
3485.96/3495.67 c #Conflicts: 2178000 | #Constraints: 58329
3485.96/3495.67 c #Conflicts: 2179000 | #Constraints: 59329
3485.96/3495.67 c #Conflicts: 2180000 | #Constraints: 60329
3485.96/3495.67 c #Conflicts: 2181000 | #Constraints: 61329
3485.96/3495.67 c #Conflicts: 2182000 | #Constraints: 62329
3485.96/3495.67 c #Conflicts: 2183000 | #Constraints: 63329
3485.96/3495.67 c #Conflicts: 2184000 | #Constraints: 64329
3485.96/3495.67 c #Conflicts: 2185000 | #Constraints: 65329
3485.96/3495.67 c #Conflicts: 2186000 | #Constraints: 66329
3485.96/3495.67 c #Conflicts: 2187000 | #Constraints: 67329
3485.96/3495.67 c #Conflicts: 2188000 | #Constraints: 68329
3485.96/3495.67 c #Conflicts: 2189000 | #Constraints: 69329
3485.96/3495.67 c INPROCESSING
3485.96/3495.67 c GARBAGE COLLECT
3485.96/3495.67 c #Conflicts: 2190000 | #Constraints: 40939
3485.96/3495.67 c #Conflicts: 2191000 | #Constraints: 41939
3485.96/3495.67 c #Conflicts: 2192000 | #Constraints: 42939
3485.96/3495.67 c #Conflicts: 2193000 | #Constraints: 43939
3485.96/3495.67 c #Conflicts: 2194000 | #Constraints: 44939
3485.96/3495.67 c #Conflicts: 2195000 | #Constraints: 45939
3485.96/3495.67 c #Conflicts: 2196000 | #Constraints: 46939
3485.96/3495.67 c #Conflicts: 2197000 | #Constraints: 47939
3485.96/3495.67 c #Conflicts: 2198000 | #Constraints: 48939
3485.96/3495.67 c #Conflicts: 2199000 | #Constraints: 49939
3485.96/3495.67 c #Conflicts: 2200000 | #Constraints: 50939
3600.05/3610.07 c #Conflicts: 2201000 | #Constraints: 51939
3600.05/3610.07 c #Conflicts: 2202000 | #Constraints: 52939
3600.05/3610.07 c #Conflicts: 2203000 | #Constraints: 53939
3600.05/3610.07 c #Conflicts: 2204000 | #Constraints: 54939
3600.05/3610.07 c #Conflicts: 2205000 | #Constraints: 55939
3600.05/3610.07 c #Conflicts: 2206000 | #Constraints: 56939
3600.05/3610.07 c #Conflicts: 2207000 | #Constraints: 57939
3600.05/3610.07 c #Conflicts: 2208000 | #Constraints: 58939
3600.05/3610.07 c #Conflicts: 2209000 | #Constraints: 59939
3600.05/3610.07 c #Conflicts: 2210000 | #Constraints: 60939
3600.05/3610.07 c #Conflicts: 2211000 | #Constraints: 61939
3600.05/3610.07 c #Conflicts: 2212000 | #Constraints: 62939
3600.05/3610.07 c #Conflicts: 2213000 | #Constraints: 63939
3600.05/3610.07 c #Conflicts: 2214000 | #Constraints: 64939
3600.05/3610.07 c #Conflicts: 2215000 | #Constraints: 65939
3600.05/3610.07 c #Conflicts: 2216000 | #Constraints: 66939
3600.05/3610.07 c #Conflicts: 2217000 | #Constraints: 67939
3600.05/3610.07 c #Conflicts: 2218000 | #Constraints: 68939
3600.05/3610.07 c #Conflicts: 2219000 | #Constraints: 69939
3600.05/3610.07 c INPROCESSING
3600.05/3610.07 c GARBAGE COLLECT
3600.05/3610.07 c #Conflicts: 2220000 | #Constraints: 41330
3600.05/3610.07 c #Conflicts: 2221000 | #Constraints: 42330
3600.05/3610.07 c #Conflicts: 2222000 | #Constraints: 43330
3600.05/3610.07 c #Conflicts: 2223000 | #Constraints: 44330
3600.05/3610.07 c #Conflicts: 2224000 | #Constraints: 45330
3600.05/3610.07 c #Conflicts: 2225000 | #Constraints: 46330
3600.05/3610.07 c #Conflicts: 2226000 | #Constraints: 47330
3600.05/3610.07 c #Conflicts: 2227000 | #Constraints: 48330
3600.05/3610.07 c #Conflicts: 2228000 | #Constraints: 49330
3600.05/3610.07 c #Conflicts: 2229000 | #Constraints: 50330
3600.05/3610.07 c #Conflicts: 2230000 | #Constraints: 51330
3600.05/3610.07 c #Conflicts: 2231000 | #Constraints: 52330
3600.05/3610.07 c #Conflicts: 2232000 | #Constraints: 53330
3600.05/3610.07 c #Conflicts: 2233000 | #Constraints: 54330
3600.05/3610.07 c #Conflicts: 2234000 | #Constraints: 55330
3600.05/3610.07 c #Conflicts: 2235000 | #Constraints: 56330
3600.05/3610.07 c #Conflicts: 2236000 | #Constraints: 57330
3600.05/3610.07 c #Conflicts: 2237000 | #Constraints: 58330
3600.05/3610.07 c #Conflicts: 2238000 | #Constraints: 59330
3600.05/3610.07 c #Conflicts: 2239000 | #Constraints: 60330
3600.05/3610.07 c #Conflicts: 2240000 | #Constraints: 61330
3600.05/3610.07 c #Conflicts: 2241000 | #Constraints: 62330
3600.05/3610.07 c #Conflicts: 2242000 | #Constraints: 63330
3600.05/3610.07 c #Conflicts: 2243000 | #Constraints: 64330
3600.05/3610.07 c #Conflicts: 2244000 | #Constraints: 65330
3600.05/3610.07 c #Conflicts: 2245000 | #Constraints: 66330
3600.05/3610.07 c #Conflicts: 2246000 | #Constraints: 67330
3600.05/3610.07 c #Conflicts: 2247000 | #Constraints: 68330
3600.05/3610.07 c #Conflicts: 2248000 | #Constraints: 69330
3600.05/3610.07 c #Conflicts: 2249000 | #Constraints: 70330
3600.05/3610.07 c INPROCESSING
3600.05/3610.07 c GARBAGE COLLECT
3600.05/3610.07 c cpu time 3589.58 s
3600.05/3610.07 c deterministic time 1 1.00e+00
3600.05/3610.07 c optimization time 3589.55 s
3600.05/3610.07 c total solve time 0 s
3600.05/3610.07 c core-guided solve time 0 s
3600.05/3610.07 c propagation time 0.003048 s
3600.05/3610.07 c conflict analysis time 0 s
3600.05/3610.07 c propagations 0
3600.05/3610.07 c resolve steps 0
3600.05/3610.07 c decisions 0
3600.05/3610.07 c conflicts 0
3600.05/3610.07 c restarts 0
3600.05/3610.07 c inprocessing phases 0
3600.05/3610.07 c garbage collections 0 ,( -nan )
3600.05/3610.07 c input clauses 10952 ,( 100.00 )
3600.05/3610.07 c input cardinalities 0 ,( 0.00 )
3600.05/3610.07 c input general constraints 0 ,( 0.00 )
3600.05/3610.07 c input average constraint length 2.00
3600.05/3610.07 c input average constraint degree 1.00
3600.05/3610.07 c learned clauses 0 ,( 0.00 )
3600.05/3610.07 c learned cardinalities 0 ,( 0.00 )
3600.05/3610.07 c learned general constraints 0 ,( 0.00 )
3600.05/3610.07 c learned average constraint length 0.00
3600.05/3610.07 c learned average constraint degree 0.00
3600.05/3610.07 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3610.07 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.05/3610.07 c watched constraints 0 ,( -nan )
3600.05/3610.07 c counting constraints 0 ,( -nan )
3600.05/3610.07 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3610.07 c gcd simplifications 0
3600.05/3610.07 c detected cardinalities 0
3600.05/3610.07 c weakened non-implied lits 0
3600.05/3610.07 c weakened non-implying lits 0
3600.05/3610.07 c original variables 5476
3600.05/3610.07 c clausal propagations 0
3600.05/3610.07 c cardinality propagations 0
3600.05/3610.07 c watched propagations 0
3600.05/3610.07 c counting propagations 0
3600.05/3610.07 c watch lookups 0
3600.05/3610.07 c watch backjump lookups 0
3600.05/3610.07 c watch checks 0
3600.05/3610.07 c propagation checks 0
3600.05/3610.07 c constraint additions 0
3600.05/3610.07 c trail pops 0
3600.05/3610.07 c formula constraints 10952
3600.05/3610.07 c learned constraints 0
3600.05/3610.07 c bound constraints 0
3600.05/3610.07 c core-guided constraints 0
3600.05/3610.07 c encountered formula constraints 0
3600.05/3610.07 c encountered learned constraints 0
3600.05/3610.07 c encountered bound constraints 0
3600.05/3610.07 c encountered core-guided constraints 0
3600.05/3610.07 c LP total time 0 s
3600.05/3610.07 c LP solve time 0 s
3600.05/3610.07 c LP constraints added 0
3600.05/3610.07 c LP constraints removed 0
3600.05/3610.07 c LP pivots internal 0
3600.05/3610.07 c LP pivots root 0
3600.05/3610.07 c LP calls 0
3600.05/3610.07 c LP optimalities 0
3600.05/3610.07 c LP no pivot count 0
3600.05/3610.07 c LP infeasibilities 0
3600.05/3610.07 c LP valid Farkas constraints 0
3600.05/3610.07 c LP learned Farkas constraints 0
3600.05/3610.07 c LP basis resets 0
3600.05/3610.07 c LP cycling count 0
3600.05/3610.07 c LP singular count 0
3600.05/3610.07 c LP no primal count 0
3600.05/3610.07 c LP no farkas count 0
3600.05/3610.07 c LP other issue count 0
3600.05/3610.07 c LP Gomory cuts 0
3600.05/3610.07 c LP learned cuts 0
3600.05/3610.07 c LP deleted cuts 0
3600.05/3610.07 c LP encountered Gomory constraints 0
3600.05/3610.07 c LP encountered Farkas constraints 0
3600.05/3610.07 c LP encountered learned Farkas constraints 0
3600.05/3610.07 c CG auxiliary variables introduced 0
3600.05/3610.07 c CG solutions found 0
3600.05/3610.07 c CG cores constructed 0
3600.05/3610.07 c CG core cardinality constraints returned 0
3600.05/3610.07 c CG unit cores 0
3600.05/3610.07 c CG single cores 0
3600.05/3610.07 c CG blocks removed during cardinality reduction 0
3600.05/3610.07 c CG first core best 0
3600.05/3610.07 c CG decision core best 0
3600.05/3610.07 c CG core reduction tie 0
3600.05/3610.07 c CG core degree average 0.00
3600.05/3610.07 c CG core slack average 0.00
3600.05/3610.07 c CG core upper bound improvements 0
3600.05/3610.07 c STR number of successful calls 0
3600.05/3610.07 c STR number of unsuccessful calls 0
3600.05/3610.07 c STR number of inconclusive calls 0
3600.05/3610.07 c STR number of successful attempts 0
3600.05/3610.07 c STR number of unsuccessful attempts 0
3600.05/3610.07 c STR number of inconclusive attempts 0
3600.05/3610.07 c STR average degree increase per successful call inf
3600.05/3610.07 c STR average degree increase per successful attempt inf
3600.05/3610.07 c STR total number of conflicts for successful attempts 0
3600.05/3610.07 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.07 c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.07 c STR average number of conflicts per successful attempt inf
3600.05/3610.07 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.07 c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.07 c AVG.sumWPerc -nan
3600.05/3610.07 c bigint constraints 0
3600.05/3610.07 s UNKNOWN
3600.05/3610.07 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (57089 MiB free)
memory of node 1: 64465 MiB (63771 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521400-1751586076/watcher-4521400-1751586076 -o /tmp/evaluation-result-4521400-1751586076/solver-4521400-1751586076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751586076-87392 --watchdog 3760 run-opt.sh HOME/instance-4521400-1751586076.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=87441, runsolver pid=87432
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 1.04 2.32 3.37 6/269 87454
/proc/meminfo: memFree=123714712/131250000 swapFree=33009904/33010684
[pid=87441] ppid=87432 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/87441/stat : 87441 (run-opt.sh) S 87432 87441 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287022 4292608 736 18446744073709551615 94708889878528 94708890773061 140730854100320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708891012112 94708891059856 94708902543360 140730854107501 140730854107624 140730854107624 140730854113226 0
/proc/87441/statm: 1048 736 672 219 0 110 0
[pid=87452] ppid=87441 vsize=79508 memory=29608 CPUtime=0.06 cores=4,6
/proc/87452/stat : 87452 (roundingsat) R 87441 87441 87381 0 -1 4194304 5497 0 0 0 4 2 0 0 20 0 1 0 74287024 81416192 7402 18446744073709551615 4227072 8923433 140730051519232 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 16605184 140730051525026 140730051525160 140730051525160 140730051530730 0
/proc/87452/statm: 19877 7402 2336 1147 0 7304 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 83700 KiB
Current children cumulated memory: 32552 KiB
[startup+0.205243 s]*
/proc/loadavg: 1.04 2.32 3.37 6/269 87454
/proc/meminfo: memFree=123647596/131250000 swapFree=33009904/33010684
[pid=87441] ppid=87432 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/87441/stat : 87441 (run-opt.sh) S 87432 87441 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287022 4292608 736 18446744073709551615 94708889878528 94708890773061 140730854100320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708891012112 94708891059856 94708902543360 140730854107501 140730854107624 140730854107624 140730854113226 0
/proc/87441/statm: 1048 736 672 219 0 110 0
[pid=87452] ppid=87441 vsize=86408 memory=40236 CPUtime=0.17 cores=4,6
/proc/87452/stat : 87452 (roundingsat) R 87441 87441 87381 0 -1 4194304 7647 0 0 0 14 3 0 0 20 0 1 0 74287024 88481792 10059 18446744073709551615 4227072 8923433 140730051519232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16605184 140730051525026 140730051525160 140730051525160 140730051530730 0
/proc/87452/statm: 21602 10059 2336 1147 0 9029 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 90600 KiB
Current children cumulated memory: 43180 KiB
[startup+0.305748 s]*
/proc/loadavg: 1.04 2.32 3.37 6/269 87454
/proc/meminfo: memFree=123635184/131250000 swapFree=33009904/33010684
[pid=87441] ppid=87432 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/87441/stat : 87441 (run-opt.sh) S 87432 87441 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287022 4292608 736 18446744073709551615 94708889878528 94708890773061 140730854100320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708891012112 94708891059856 94708902543360 140730854107501 140730854107624 140730854107624 140730854113226 0
/proc/87441/statm: 1048 736 672 219 0 110 0
[pid=87452] ppid=87441 vsize=104904 memory=54984 CPUtime=0.26 cores=4,6
/proc/87452/stat : 87452 (roundingsat) R 87441 87441 87381 0 -1 4194304 10823 0 0 0 23 3 0 0 20 0 1 0 74287024 107421696 13746 18446744073709551615 4227072 8923433 140730051519232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16605184 140730051525026 140730051525160 140730051525160 140730051530730 0
/proc/87452/statm: 26226 13746 2336 1147 0 13653 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 109096 KiB
Current children cumulated memory: 57928 KiB
[startup+0.700178 s]
/proc/loadavg: 1.04 2.32 3.37 6/269 87454
/proc/meminfo: memFree=123599084/131250000 swapFree=33009904/33010684
[pid=87441] ppid=87432 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/87441/stat : 87441 (run-opt.sh) S 87432 87441 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287022 4292608 736 18446744073709551615 94708889878528 94708890773061 140730854100320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708891012112 94708891059856 94708902543360 140730854107501 140730854107624 140730854107624 140730854113226 0
/proc/87441/statm: 1048 736 672 219 0 110 0
[pid=87452] ppid=87441 vsize=168068 memory=106488 CPUtime=0.66 cores=4,6
/proc/87452/stat : 87452 (roundingsat) R 87441 87441 87381 0 -1 4194304 21660 0 0 0 61 5 0 0 20 0 1 0 74287024 172101632 26622 18446744073709551615 4227072 8923433 140730051519232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16605184 140730051525026 140730051525160 140730051525160 140730051530730 0
/proc/87452/statm: 42017 26622 2336 1147 0 29444 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 172260 KiB
Current children cumulated memory: 109432 KiB
[startup+1.50015 s]
/proc/loadavg: 1.04 2.32 3.37 6/269 87454
/proc/meminfo: memFree=123457828/131250000 swapFree=33009904/33010684
[pid=87441] ppid=87432 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/87441/stat : 87441 (run-opt.sh) S 87432 87441 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287022 4292608 736 18446744073709551615 94708889878528 94708890773061 140730854100320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708891012112 94708891059856 94708902543360 140730854107501 140730854107624 140730854107624 140730854113226 0
/proc/87441/statm: 1048 736 672 219 0 110 0
[pid=87452] ppid=87441 vsize=267820 memory=207508 CPUtime=1.45 cores=4,6
/proc/87452/stat : 87452 (roundingsat) R 87441 87441 87381 0 -1 4194304 40779 0 0 0 137 8 0 0 20 0 1 0 74287024 274247680 51877 18446744073709551615 4227072 8923433 140730051519232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16605184 140730051525026 140730051525160 140730051525160 140730051530730 0
/proc/87452/statm: 66955 51877 2336 1147 0 54382 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 272012 KiB
Current children cumulated memory: 210452 KiB
[startup+3.10502 s]
/proc/loadavg: 1.04 2.32 3.37 6/269 87454
/proc/meminfo: memFree=123027084/131250000 swapFree=33009904/33010684
[pid=87441] ppid=87432 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/87441/stat : 87441 (run-opt.sh) S 87432 87441 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287022 4292608 736 18446744073709551615 94708889878528 94708890773061 140730854100320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708891012112 94708891059856 94708902543360 140730854107501 140730854107624 140730854107624 140730854113226 0
/proc/87441/statm: 1048 736 672 219 0 110 0
[pid=87452] ppid=87441 vsize=371104 memory=299088 CPUtime=3.05 cores=4,6
/proc/87452/stat : 87452 (roundingsat) R 87441 87441 87381 0 -1 4194304 57544 0 0 0 293 12 0 0 20 0 1 0 74287024 380010496 74772 18446744073709551615 4227072 8923433 140730051519232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16605184 140730051525026 140730051525160 140730051525160 140730051530730 0
/proc/87452/statm: 92776 74772 2368 1147 0 80203 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 375296 KiB
Current children cumulated memory: 302032 KiB
[startup+6.30014 s]
/proc/loadavg: 1.27 2.35 3.38 6/269 87500
/proc/meminfo: memFree=122610232/131250000 swapFree=33009904/33010684
[pid=87441] ppid=87432 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/87441/stat : 87441 (run-opt.sh) S 87432 87441 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287022 4292608 736 18446744073709551615 94708889878528 94708890773061 140730854100320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708891012112 94708891059856 94708902543360 140730854107501 140730854107624 140730854107624 140730854113226 0
/proc/87441/statm: 1048 736 672 219 0 110 0
[pid=87452] ppid=87441 vsize=420872 memory=339208 CPUtime=6.21 cores=4,6
/proc/87452/stat : 87452 (roundingsat) R 87441 87441 87381 0 -1 4194304 66546 0 0 0 602 19 0 0 20 0 1 0 74287024 430972928 84802 18446744073709551615 4227072 8923433 140730051519232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16605184 140730051525026 140730051525160 140730051525160 140730051530730 0
/proc/87452/statm: 105218 84802 2368 1147 0 92645 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 425064 KiB
Current children cumulated memory: 342152 KiB
[startup+12.7001 s]
/proc/loadavg: 1.49 2.38 3.38 6/269 87500
/proc/meminfo: memFree=121310940/131250000 swapFree=33009904/33010684
[pid=87441] ppid=87432 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/87441/stat : 87441 (run-opt.sh) S 87432 87441 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287022 4292608 736 18446744073709551615 94708889878528 94708890773061 140730854100320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708891012112 94708891059856 94708902543360 140730854107501 140730854107624 140730854107624 140730854113226 0
/proc/87441/statm: 1048 736 672 219 0 110 0
[pid=87452] ppid=87441 vsize=420872 memory=341768 CPUtime=12.6 cores=4,6
/proc/87452/stat : 87452 (roundingsat) R 87441 87441 87381 0 -1 4194304 67210 0 0 0 1235 25 0 0 20 0 1 0 74287024 430972928 85442 18446744073709551615 4227072 8923433 140730051519232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16605184 140730051525026 140730051525160 140730051525160 140730051530730 0
/proc/87452/statm: 105218 85442 2368 1147 0 92645 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 425064 KiB
Current children cumulated memory: 344712 KiB
[startup+25.5002 s]
/proc/loadavg: 2.05 2.46 3.39 6/269 87501
/proc/meminfo: memFree=118590864/131250000 swapFree=33009904/33010684
[pid=87441] ppid=87432 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/87441/stat : 87441 (run-opt.sh) S 87432 87441 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287022 4292608 736 18446744073709551615 94708889878528 94708890773061 140730854100320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708891012112 94708891059856 94708902543360 140730854107501 140730854107624 140730854107624 140730854113226 0
/proc/87441/statm: 1048 736 672 219 0 110 0
[pid=87452] ppid=87441 vsize=420872 memory=343816 CPUtime=25.37 cores=4,6
/proc/87452/stat : 87452 (roundingsat) R 87441 87441 87381 0 -1 4194304 67741 0 0 0 2502 35 0 0 20 0 1 0 74287024 430972928 85954 18446744073709551615 4227072 8923433 140730051519232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16605184 140730051525026 140730051525160 140730051525160 140730051530730 0
/proc/87452/statm: 105218 85954 2368 1147 0 92645 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 425064 KiB
Current children cumulated memory: 346760 KiB
[startup+51.1051 s]
/proc/loadavg: 2.78 2.60 3.41 6/269 87501
/proc/meminfo: memFree=117824180/131250000 swapFree=33009904/33010684
[pid=87441] ppid=87432 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/87441/stat : 87441 (run-opt.sh) S 87432 87441 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287022 4292608 736 18446744073709551615 94708889878528 94708890773061 140730854100320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708891012112 94708891059856 94708902543360 140730854107501 140730854107624 140730854107624 140730854113226 0
/proc/87441/statm: 1048 736 672 219 0 110 0
[pid=87452] ppid=87441 vsize=452712 memory=365064 CPUtime=50.92 cores=4,6
/proc/87452/stat : 87452 (roundingsat) R 87441 87441 87381 0 -1 4194304 73042 0 0 0 5041 51 0 0 20 0 1 0 74287024 463577088 91266 18446744073709551615 4227072 8923433 140730051519232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16605184 140730051525026 140730051525160 140730051525160 140730051530730 0
/proc/87452/statm: 113178 91266 2368 1147 0 100605 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 456904 KiB
Current children cumulated memory: 368008 KiB
[startup+102.3 s]
/proc/loadavg: 3.53 2.83 3.45 6/269 87507
/proc/meminfo: memFree=117764540/131250000 swapFree=33009904/33010684
[pid=87441] ppid=87432 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/87441/stat : 87441 (run-opt.sh) S 87432 87441 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287022 4292608 736 18446744073709551615 94708889878528 94708890773061 140730854100320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708891012112 94708891059856 94708902543360 140730854107501 140730854107624 140730854107624 140730854113226 0
/proc/87441/statm: 1048 736 672 219 0 110 0
[pid=87452] ppid=87441 vsize=461004 memory=371976 CPUtime=101.98 cores=4,6
/proc/87452/stat : 87452 (roundingsat) R 87441 87441 87381 0 -1 4194304 74813 0 0 0 10125 73 0 0 20 0 1 0 74287024 472068096 92994 18446744073709551615 4227072 8923433 140730051519232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16605184 140730051525026 140730051525160 140730051525160 140730051530730 0
/proc/87452/statm: 115251 92994 2368 1147 0 102678 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 465196 KiB
Current children cumulated memory: 374920 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 3.06 3.49 5/269 87554
/proc/meminfo: memFree=117274068/131250000 swapFree=33009904/33010684
[pid=87441] ppid=87432 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/87441/stat : 87441 (run-opt.sh) S 87432 87441 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287022 4292608 736 18446744073709551615 94708889878528 94708890773061 140730854100320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708891012112 94708891059856 94708902543360 140730854107501 140730854107624 140730854107624 140730854113226 0
/proc/87441/statm: 1048 736 672 219 0 110 0
[pid=87452] ppid=87441 vsize=472300 memory=389896 CPUtime=161.84 cores=4,6
/proc/87452/stat : 87452 (roundingsat) R 87441 87441 87381 0 -1 4194304 77831 0 0 0 16087 97 0 0 20 0 1 0 74287024 483635200 97474 18446744073709551615 4227072 8923433 140730051519232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16605184 140730051525026 140730051525160 140730051525160 140730051530730 0
/proc/87452/statm: 118075 97474 2368 1147 0 105502 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 476492 KiB
Current children cumulated memory: 392840 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 3.25 3.53 5/270 87558
/proc/meminfo: memFree=117044620/131250000 swapFree=33009904/33010684
[pid=87441] ppid=87432 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/87441/stat : 87441 (run-opt.sh) S 87432 87441 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287022 4292608 736 18446744073709551615 94708889878528 94708890773061 140730854100320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708891012112 94708891059856 94708902543360 140730854107501 140730854107624 140730854107624 140730854113226 0
/proc/87441/statm: 1048 736 672 219 0 110 0
[pid=87452] ppid=87441 vsize=477340 memory=404744 CPUtime=221.68 cores=4,6
/proc/87452/stat : 87452 (roundingsat) R 87441 87441 87381 0 -1 4194304 79422 0 0 0 22045 123 0 0 20 0 1 0 74287024 488796160 101186 18446744073709551615 4227072 8923433 140730051519232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16605184 140730051525026 140730051525160 140730051525160 140730051530730 0
/proc/87452/statm: 119335 101186 2368 1147 0 106762 0
Current children cumulated CPU time: 221.68 s
################
# More data... #
################
/proc/87452/statm: 234851 187096 2368 1147 0 222278 0
Current children cumulated CPU time: 3033.91 s
Current children cumulated vsize: 943596 KiB
Current children cumulated memory: 751328 KiB
[startup+3102.3 s]
/proc/loadavg: 4.38 4.19 4.10 5/267 87713
/proc/meminfo: memFree=115059652/131250000 swapFree=33009904/33010684
[pid=87441] ppid=87432 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/87441/stat : 87441 (run-opt.sh) S 87432 87441 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287022 4292608 736 18446744073709551615 94708889878528 94708890773061 140730854100320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708891012112 94708891059856 94708902543360 140730854107501 140730854107624 140730854107624 140730854113226 0
/proc/87441/statm: 1048 736 672 219 0 110 0
[pid=87452] ppid=87441 vsize=939404 memory=748384 CPUtime=3093.74 cores=4,6
/proc/87452/stat : 87452 (roundingsat) R 87441 87441 87381 0 -1 4194304 142820 0 0 0 308440 934 0 0 20 0 1 0 74287024 961949696 187096 18446744073709551615 4227072 8923433 140730051519232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16605184 140730051525026 140730051525160 140730051525160 140730051530730 0
/proc/87452/statm: 234851 187096 2368 1147 0 222278 0
Current children cumulated CPU time: 3093.74 s
Current children cumulated vsize: 943596 KiB
Current children cumulated memory: 751328 KiB
[startup+3162.3 s]
/proc/loadavg: 4.65 4.31 4.15 5/268 87720
/proc/meminfo: memFree=115051236/131250000 swapFree=33009904/33010684
[pid=87441] ppid=87432 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/87441/stat : 87441 (run-opt.sh) S 87432 87441 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287022 4292608 736 18446744073709551615 94708889878528 94708890773061 140730854100320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708891012112 94708891059856 94708902543360 140730854107501 140730854107624 140730854107624 140730854113226 0
/proc/87441/statm: 1048 736 672 219 0 110 0
[pid=87452] ppid=87441 vsize=940428 memory=749280 CPUtime=3153.57 cores=4,6
/proc/87452/stat : 87452 (roundingsat) R 87441 87441 87381 0 -1 4194304 143055 0 0 0 314404 953 0 0 20 0 1 0 74287024 962998272 187320 18446744073709551615 4227072 8923433 140730051519232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16605184 140730051525026 140730051525160 140730051525160 140730051530730 0
/proc/87452/statm: 235107 187320 2368 1147 0 222534 0
Current children cumulated CPU time: 3153.57 s
Current children cumulated vsize: 944620 KiB
Current children cumulated memory: 752224 KiB
[startup+3222.3 s]
/proc/loadavg: 4.38 4.31 4.16 5/268 87722
/proc/meminfo: memFree=115043568/131250000 swapFree=33009904/33010684
[pid=87441] ppid=87432 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/87441/stat : 87441 (run-opt.sh) S 87432 87441 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287022 4292608 736 18446744073709551615 94708889878528 94708890773061 140730854100320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708891012112 94708891059856 94708902543360 140730854107501 140730854107624 140730854107624 140730854113226 0
/proc/87441/statm: 1048 736 672 219 0 110 0
[pid=87452] ppid=87441 vsize=944524 memory=752224 CPUtime=3213.4 cores=4,6
/proc/87452/stat : 87452 (roundingsat) R 87441 87441 87381 0 -1 4194304 143783 0 0 0 320368 972 0 0 20 0 1 0 74287024 967192576 188056 18446744073709551615 4227072 8923433 140730051519232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16605184 140730051525026 140730051525160 140730051525160 140730051530730 0
/proc/87452/statm: 236131 188056 2368 1147 0 223558 0
Current children cumulated CPU time: 3213.4 s
Current children cumulated vsize: 948716 KiB
Current children cumulated memory: 755168 KiB
[startup+3282.3 s]
/proc/loadavg: 4.23 4.28 4.16 5/269 87725
/proc/meminfo: memFree=115042604/131250000 swapFree=33009904/33010684
[pid=87441] ppid=87432 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/87441/stat : 87441 (run-opt.sh) S 87432 87441 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287022 4292608 736 18446744073709551615 94708889878528 94708890773061 140730854100320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708891012112 94708891059856 94708902543360 140730854107501 140730854107624 140730854107624 140730854113226 0
/proc/87441/statm: 1048 736 672 219 0 110 0
[pid=87452] ppid=87441 vsize=944524 memory=752224 CPUtime=3273.24 cores=4,6
/proc/87452/stat : 87452 (roundingsat) R 87441 87441 87381 0 -1 4194304 143836 0 0 0 326338 986 0 0 20 0 1 0 74287024 967192576 188056 18446744073709551615 4227072 8923433 140730051519232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16605184 140730051525026 140730051525160 140730051525160 140730051530730 0
/proc/87452/statm: 236131 188056 2368 1147 0 223558 0
Current children cumulated CPU time: 3273.24 s
Current children cumulated vsize: 948716 KiB
Current children cumulated memory: 755168 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.24 4.15 5/268 87727
/proc/meminfo: memFree=115030468/131250000 swapFree=33009904/33010684
[pid=87441] ppid=87432 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/87441/stat : 87441 (run-opt.sh) S 87432 87441 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287022 4292608 736 18446744073709551615 94708889878528 94708890773061 140730854100320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708891012112 94708891059856 94708902543360 140730854107501 140730854107624 140730854107624 140730854113226 0
/proc/87441/statm: 1048 736 672 219 0 110 0
[pid=87452] ppid=87441 vsize=944524 memory=752224 CPUtime=3333.07 cores=4,6
/proc/87452/stat : 87452 (roundingsat) R 87441 87441 87381 0 -1 4194304 143843 0 0 0 332315 992 0 0 20 0 1 0 74287024 967192576 188056 18446744073709551615 4227072 8923433 140730051519232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16605184 140730051525026 140730051525160 140730051525160 140730051530730 0
/proc/87452/statm: 236131 188056 2368 1147 0 223558 0
Current children cumulated CPU time: 3333.07 s
Current children cumulated vsize: 948716 KiB
Current children cumulated memory: 755168 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.23 4.15 5/269 87730
/proc/meminfo: memFree=115018752/131250000 swapFree=33009904/33010684
[pid=87441] ppid=87432 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/87441/stat : 87441 (run-opt.sh) S 87432 87441 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287022 4292608 736 18446744073709551615 94708889878528 94708890773061 140730854100320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708891012112 94708891059856 94708902543360 140730854107501 140730854107624 140730854107624 140730854113226 0
/proc/87441/statm: 1048 736 672 219 0 110 0
[pid=87452] ppid=87441 vsize=944524 memory=753120 CPUtime=3392.9 cores=4,6
/proc/87452/stat : 87452 (roundingsat) R 87441 87441 87381 0 -1 4194304 144076 0 0 0 338286 1004 0 0 20 0 1 0 74287024 967192576 188280 18446744073709551615 4227072 8923433 140730051519232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16605184 140730051525026 140730051525160 140730051525160 140730051530730 0
/proc/87452/statm: 236131 188280 2368 1147 0 223558 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 948716 KiB
Current children cumulated memory: 756064 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.20 4.15 5/268 87732
/proc/meminfo: memFree=114926792/131250000 swapFree=33009904/33010684
[pid=87441] ppid=87432 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/87441/stat : 87441 (run-opt.sh) S 87432 87441 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287022 4292608 736 18446744073709551615 94708889878528 94708890773061 140730854100320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708891012112 94708891059856 94708902543360 140730854107501 140730854107624 140730854107624 140730854113226 0
/proc/87441/statm: 1048 736 672 219 0 110 0
[pid=87452] ppid=87441 vsize=944524 memory=753248 CPUtime=3452.74 cores=4,6
/proc/87452/stat : 87452 (roundingsat) R 87441 87441 87381 0 -1 4194304 144092 0 0 0 344252 1022 0 0 20 0 1 0 74287024 967192576 188312 18446744073709551615 4227072 8923433 140730051519232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16605184 140730051525026 140730051525160 140730051525160 140730051530730 0
/proc/87452/statm: 236131 188312 2368 1147 0 223558 0
Current children cumulated CPU time: 3452.74 s
Current children cumulated vsize: 948716 KiB
Current children cumulated memory: 756192 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.19 4.15 5/269 87735
/proc/meminfo: memFree=114916548/131250000 swapFree=33009904/33010684
[pid=87441] ppid=87432 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/87441/stat : 87441 (run-opt.sh) S 87432 87441 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287022 4292608 736 18446744073709551615 94708889878528 94708890773061 140730854100320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708891012112 94708891059856 94708902543360 140730854107501 140730854107624 140730854107624 140730854113226 0
/proc/87441/statm: 1048 736 672 219 0 110 0
[pid=87452] ppid=87441 vsize=959372 memory=761312 CPUtime=3512.58 cores=4,6
/proc/87452/stat : 87452 (roundingsat) R 87441 87441 87381 0 -1 4194304 146137 0 0 0 350217 1041 0 0 20 0 1 0 74287024 982396928 190328 18446744073709551615 4227072 8923433 140730051519232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16605184 140730051525026 140730051525160 140730051525160 140730051530730 0
/proc/87452/statm: 239843 190328 2368 1147 0 227270 0
Current children cumulated CPU time: 3512.58 s
Current children cumulated vsize: 963564 KiB
Current children cumulated memory: 764256 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.17 4.14 5/269 87737
/proc/meminfo: memFree=114923004/131250000 swapFree=33009904/33010684
[pid=87441] ppid=87432 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/87441/stat : 87441 (run-opt.sh) S 87432 87441 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287022 4292608 736 18446744073709551615 94708889878528 94708890773061 140730854100320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708891012112 94708891059856 94708902543360 140730854107501 140730854107624 140730854107624 140730854113226 0
/proc/87441/statm: 1048 736 672 219 0 110 0
[pid=87452] ppid=87441 vsize=959372 memory=761312 CPUtime=3572.42 cores=4,6
/proc/87452/stat : 87452 (roundingsat) R 87441 87441 87381 0 -1 4194304 146137 0 0 0 356191 1051 0 0 20 0 1 0 74287024 982396928 190328 18446744073709551615 4227072 8923433 140730051519232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16605184 140730051525026 140730051525160 140730051525160 140730051530730 0
/proc/87452/statm: 239843 190328 2368 1147 0 227270 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 963564 KiB
Current children cumulated memory: 764256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.15 4.17 4.14 5/269 87741
/proc/meminfo: memFree=114914016/131250000 swapFree=33009904/33010684
[pid=87441] ppid=87432 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/87441/stat : 87441 (run-opt.sh) S 87432 87441 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74287022 4292608 736 18446744073709551615 94708889878528 94708890773061 140730854100320 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94708891012112 94708891059856 94708902543360 140730854107501 140730854107624 140730854107624 140730854113226 0
/proc/87441/statm: 1048 736 672 219 0 110 0
[pid=87452] ppid=87441 vsize=959372 memory=761312 CPUtime=3600.05 cores=4,6
/proc/87452/stat : 87452 (roundingsat) R 87441 87441 87381 0 -1 4194304 146138 0 0 0 358950 1055 0 0 20 0 1 0 74287024 982396928 190328 18446744073709551615 4227072 8923433 140730051519232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16605184 140730051525026 140730051525160 140730051525160 140730051530730 0
/proc/87452/statm: 239843 190328 2368 1147 0 227270 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 963564 KiB
Current children cumulated memory: 764256 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.01 s]
# the end of solver process 87441 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002409 s
Sleeping 2 seconds
[startup+3610.1 s]
# the end of solver process 87452 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3589.58 s, system=10.5746 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.1
CPU time (s): 3600.15
CPU user time (s): 3589.58
CPU system time (s): 10.5746
CPU usage (%): 99.7246
Max. virtual memory (cumulated for all children) (KiB): 963564
Max. memory (cumulated for all children) (KiB): 764256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.58
system time used= 10.5746
maximum resident set size= 761568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146367
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= 302
involuntary context switches= 1911
# summary of solver processes directly reported to runsolver:
# pid: 87441,87452
# total CPU time (s): 3600.15
# total CPU user time (s): 3589.58
# total CPU system time (s): 10.5746
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39302 second user time and 17.2775 second system time
The end
Begin job on nodeC033 at 2025-07-04 01:41:16
IDJOB=4521400
IDBENCH=178282
IDSOLVER=3350
FILE ID=nodeC033/4521400-1751586076
RUNJOBID= nodeC033-1751586076-87392
SLURM_JOB_ID= 9598834
Free space on /tmp= 429904 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_074.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521400-1751586076/watcher-4521400-1751586076 -o /tmp/evaluation-result-4521400-1751586076/solver-4521400-1751586076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751586076-87392 --watchdog 3760 run-opt.sh HOME/instance-4521400-1751586076.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f2397fb1ec09cdbd6a88fec17aa9b337
RANDOM SEED=362757271
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 : 3681.308
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.072
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 : 3600.068
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 : 3600.040
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.066
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 : 3653.915
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 : 3685.907
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.097
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: 123767016 kB
MemAvailable: 129735368 kB
Buffers: 2128 kB
Cached: 6720936 kB
SwapCached: 68 kB
Active: 645528 kB
Inactive: 6139780 kB
Active(anon): 75072 kB
Inactive(anon): 5524 kB
Active(file): 570456 kB
Inactive(file): 6134256 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30360 kB
Writeback: 12 kB
AnonPages: 63984 kB
Mapped: 104268 kB
Shmem: 18028 kB
KReclaimable: 205760 kB
Slab: 298624 kB
SReclaimable: 205760 kB
SUnreclaim: 92864 kB
KernelStack: 4064 kB
PageTables: 2868 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 329568 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 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= 429876 MiB
End job on nodeC033 at 2025-07-04 02:41:26