0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.07/0.11 c #variables 5476 #constraints 10952
0.07/0.11 c objective is ce32
0.07/0.15 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.07/0.15 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.07/0.15 c GLOBAL bounds - >= 0 @ 0.089218
0.07/0.15 c GLOBAL bounds - >= 0 @ 0.093416
54.00/54.29 c #Conflicts: 1000 | #Constraints: 11952
54.00/54.29 c #Conflicts: 2000 | #Constraints: 12952
54.00/54.29 c INPROCESSING
54.00/54.29 c #Conflicts: 3000 | #Constraints: 13856
54.00/54.29 c #Conflicts: 4000 | #Constraints: 14856
54.00/54.29 c #Conflicts: 5000 | #Constraints: 15856
54.00/54.29 c INPROCESSING
54.00/54.29 c GARBAGE COLLECT
54.00/54.29 c #Conflicts: 6000 | #Constraints: 15030
54.00/54.29 c #Conflicts: 7000 | #Constraints: 16030
54.00/54.29 c #Conflicts: 8000 | #Constraints: 17030
54.00/54.29 c INPROCESSING
54.00/54.29 c GARBAGE COLLECT
54.00/54.29 c #Conflicts: 9000 | #Constraints: 15604
54.00/54.29 c #Conflicts: 10000 | #Constraints: 16604
54.00/54.29 c #Conflicts: 11000 | #Constraints: 17604
54.00/54.29 c INPROCESSING
54.00/54.29 c GARBAGE COLLECT
54.00/54.29 c #Conflicts: 12000 | #Constraints: 15709
54.00/54.29 c #Conflicts: 13000 | #Constraints: 16709
54.00/54.29 c #Conflicts: 14000 | #Constraints: 17709
54.00/54.29 c #Conflicts: 15000 | #Constraints: 18709
54.00/54.29 c INPROCESSING
54.00/54.29 c #Conflicts: 16000 | #Constraints: 16570
54.00/54.29 c #Conflicts: 17000 | #Constraints: 17570
54.00/54.29 c #Conflicts: 18000 | #Constraints: 18570
54.00/54.29 c INPROCESSING
54.00/54.29 c GARBAGE COLLECT
54.00/54.29 c #Conflicts: 19000 | #Constraints: 16194
54.00/54.29 c #Conflicts: 20000 | #Constraints: 17194
54.00/54.29 c #Conflicts: 21000 | #Constraints: 18194
54.00/54.29 c #Conflicts: 22000 | #Constraints: 19194
54.00/54.29 c INPROCESSING
54.00/54.29 c GARBAGE COLLECT
54.00/54.29 c #Conflicts: 23000 | #Constraints: 16590
54.00/54.29 c #Conflicts: 24000 | #Constraints: 17590
54.00/54.29 c #Conflicts: 25000 | #Constraints: 18590
54.00/54.29 c #Conflicts: 26000 | #Constraints: 19590
54.00/54.29 c INPROCESSING
54.00/54.29 c GARBAGE COLLECT
54.00/54.29 c #Conflicts: 27000 | #Constraints: 16794
54.00/54.29 c #Conflicts: 28000 | #Constraints: 17794
54.00/54.29 c #Conflicts: 29000 | #Constraints: 18794
54.00/54.29 c #Conflicts: 30000 | #Constraints: 19794
54.00/54.29 c INPROCESSING
54.00/54.29 c GARBAGE COLLECT
54.00/54.29 c #Conflicts: 31000 | #Constraints: 16816
54.00/54.29 c #Conflicts: 32000 | #Constraints: 17816
54.00/54.29 c #Conflicts: 33000 | #Constraints: 18816
54.00/54.29 c #Conflicts: 34000 | #Constraints: 19816
54.00/54.29 c #Conflicts: 35000 | #Constraints: 20816
54.00/54.29 c INPROCESSING
54.00/54.29 c GARBAGE COLLECT
54.00/54.29 c #Conflicts: 36000 | #Constraints: 17636
54.00/54.29 c #Conflicts: 37000 | #Constraints: 18636
54.00/54.29 c #Conflicts: 38000 | #Constraints: 19636
54.00/54.29 c #Conflicts: 39000 | #Constraints: 20636
54.00/54.29 c INPROCESSING
54.00/54.29 c #Conflicts: 40000 | #Constraints: 17246
54.00/54.29 c #Conflicts: 41000 | #Constraints: 18246
54.00/54.29 c #Conflicts: 42000 | #Constraints: 19246
54.00/54.29 c #Conflicts: 43000 | #Constraints: 20246
54.00/54.29 c #Conflicts: 44000 | #Constraints: 21246
54.00/54.29 c INPROCESSING
54.00/54.29 c GARBAGE COLLECT
54.00/54.29 c #Conflicts: 45000 | #Constraints: 17642
54.00/54.29 c #Conflicts: 46000 | #Constraints: 18642
54.00/54.29 c #Conflicts: 47000 | #Constraints: 19642
54.00/54.29 c #Conflicts: 48000 | #Constraints: 20642
54.00/54.29 c #Conflicts: 49000 | #Constraints: 21642
54.00/54.29 c INPROCESSING
54.00/54.29 c GARBAGE COLLECT
54.00/54.29 c #Conflicts: 50000 | #Constraints: 17807
54.00/54.29 c #Conflicts: 51000 | #Constraints: 18807
54.00/54.29 c #Conflicts: 52000 | #Constraints: 19807
54.00/54.29 c #Conflicts: 53000 | #Constraints: 20807
54.00/54.29 c #Conflicts: 54000 | #Constraints: 21807
54.00/54.29 c INPROCESSING
54.00/54.29 c GARBAGE COLLECT
54.00/54.29 c #Conflicts: 55000 | #Constraints: 17765
54.00/54.29 c #Conflicts: 56000 | #Constraints: 18765
54.00/54.29 c #Conflicts: 57000 | #Constraints: 19765
54.00/54.29 c #Conflicts: 58000 | #Constraints: 20765
54.00/54.29 c #Conflicts: 59000 | #Constraints: 21765
54.00/54.29 c #Conflicts: 60000 | #Constraints: 22765
54.00/54.29 c INPROCESSING
54.00/54.29 c GARBAGE COLLECT
54.00/54.29 c #Conflicts: 61000 | #Constraints: 18595
54.00/54.29 c #Conflicts: 62000 | #Constraints: 19595
54.00/54.29 c #Conflicts: 63000 | #Constraints: 20595
54.00/54.29 c #Conflicts: 64000 | #Constraints: 21595
54.00/54.29 c #Conflicts: 65000 | #Constraints: 22595
54.00/54.29 c INPROCESSING
54.00/54.29 c GARBAGE COLLECT
54.00/54.29 c #Conflicts: 66000 | #Constraints: 18176
54.00/54.29 c #Conflicts: 67000 | #Constraints: 19176
54.00/54.29 c #Conflicts: 68000 | #Constraints: 20176
54.00/54.29 c #Conflicts: 69000 | #Constraints: 21176
54.00/54.29 c #Conflicts: 70000 | #Constraints: 22176
139.92/140.43 c #Conflicts: 71000 | #Constraints: 23176
139.92/140.43 c INPROCESSING
139.92/140.43 c GARBAGE COLLECT
139.92/140.43 c #Conflicts: 72000 | #Constraints: 18578
139.92/140.43 c #Conflicts: 73000 | #Constraints: 19578
139.92/140.43 c #Conflicts: 74000 | #Constraints: 20578
139.92/140.43 c #Conflicts: 75000 | #Constraints: 21578
139.92/140.43 c #Conflicts: 76000 | #Constraints: 22578
139.92/140.43 c #Conflicts: 77000 | #Constraints: 23578
139.92/140.43 c INPROCESSING
139.92/140.43 c GARBAGE COLLECT
139.92/140.43 c #Conflicts: 78000 | #Constraints: 18776
139.92/140.43 c #Conflicts: 79000 | #Constraints: 19776
139.92/140.43 c #Conflicts: 80000 | #Constraints: 20776
139.92/140.43 c #Conflicts: 81000 | #Constraints: 21776
139.92/140.43 c #Conflicts: 82000 | #Constraints: 22776
139.92/140.43 c #Conflicts: 83000 | #Constraints: 23776
139.92/140.43 c INPROCESSING
139.92/140.43 c GARBAGE COLLECT
139.92/140.43 c #Conflicts: 84000 | #Constraints: 18759
139.92/140.43 c #Conflicts: 85000 | #Constraints: 19759
139.92/140.43 c #Conflicts: 86000 | #Constraints: 20759
139.92/140.43 c #Conflicts: 87000 | #Constraints: 21759
139.92/140.43 c #Conflicts: 88000 | #Constraints: 22759
139.92/140.43 c #Conflicts: 89000 | #Constraints: 23759
139.92/140.43 c #Conflicts: 90000 | #Constraints: 24759
139.92/140.43 c INPROCESSING
139.92/140.43 c GARBAGE COLLECT
139.92/140.43 c #Conflicts: 91000 | #Constraints: 19550
139.92/140.43 c #Conflicts: 92000 | #Constraints: 20550
139.92/140.43 c #Conflicts: 93000 | #Constraints: 21550
139.92/140.43 c #Conflicts: 94000 | #Constraints: 22550
139.92/140.43 c #Conflicts: 95000 | #Constraints: 23550
139.92/140.43 c #Conflicts: 96000 | #Constraints: 24550
139.92/140.43 c INPROCESSING
139.92/140.43 c GARBAGE COLLECT
139.92/140.43 c #Conflicts: 97000 | #Constraints: 19155
139.92/140.43 c #Conflicts: 98000 | #Constraints: 20155
139.92/140.43 c #Conflicts: 99000 | #Constraints: 21155
139.92/140.43 c #Conflicts: 100000 | #Constraints: 22155
139.92/140.43 c #Conflicts: 101000 | #Constraints: 23155
139.92/140.43 c #Conflicts: 102000 | #Constraints: 24155
139.92/140.43 c #Conflicts: 103000 | #Constraints: 25155
139.92/140.43 c INPROCESSING
139.92/140.43 c GARBAGE COLLECT
139.92/140.43 c #Conflicts: 104000 | #Constraints: 19557
139.92/140.43 c #Conflicts: 105000 | #Constraints: 20557
139.92/140.43 c #Conflicts: 106000 | #Constraints: 21557
139.92/140.43 c #Conflicts: 107000 | #Constraints: 22557
139.92/140.43 c #Conflicts: 108000 | #Constraints: 23557
139.92/140.43 c #Conflicts: 109000 | #Constraints: 24557
139.92/140.43 c #Conflicts: 110000 | #Constraints: 25557
139.92/140.43 c INPROCESSING
139.92/140.43 c GARBAGE COLLECT
139.92/140.43 c #Conflicts: 111000 | #Constraints: 19774
139.92/140.43 c #Conflicts: 112000 | #Constraints: 20774
139.92/140.43 c #Conflicts: 113000 | #Constraints: 21774
139.92/140.43 c #Conflicts: 114000 | #Constraints: 22774
139.92/140.43 c #Conflicts: 115000 | #Constraints: 23774
139.92/140.43 c #Conflicts: 116000 | #Constraints: 24774
139.92/140.43 c #Conflicts: 117000 | #Constraints: 25774
139.92/140.43 c INPROCESSING
139.92/140.43 c GARBAGE COLLECT
139.92/140.43 c #Conflicts: 118000 | #Constraints: 19779
139.92/140.43 c #Conflicts: 119000 | #Constraints: 20779
139.92/140.43 c #Conflicts: 120000 | #Constraints: 21779
139.92/140.43 c #Conflicts: 121000 | #Constraints: 22779
139.92/140.43 c #Conflicts: 122000 | #Constraints: 23779
139.92/140.43 c #Conflicts: 123000 | #Constraints: 24779
139.92/140.43 c #Conflicts: 124000 | #Constraints: 25779
139.92/140.43 c #Conflicts: 125000 | #Constraints: 26779
139.92/140.43 c INPROCESSING
139.92/140.43 c GARBAGE COLLECT
139.92/140.43 c #Conflicts: 126000 | #Constraints: 20596
139.92/140.43 c #Conflicts: 127000 | #Constraints: 21596
139.92/140.43 c #Conflicts: 128000 | #Constraints: 22596
139.92/140.43 c #Conflicts: 129000 | #Constraints: 23596
139.92/140.43 c #Conflicts: 130000 | #Constraints: 24596
139.92/140.43 c #Conflicts: 131000 | #Constraints: 25596
139.92/140.43 c #Conflicts: 132000 | #Constraints: 26596
139.92/140.43 c INPROCESSING
139.92/140.43 c GARBAGE COLLECT
139.92/140.43 c #Conflicts: 133000 | #Constraints: 20196
139.92/140.43 c #Conflicts: 134000 | #Constraints: 21196
139.92/140.43 c #Conflicts: 135000 | #Constraints: 22196
139.92/140.43 c #Conflicts: 136000 | #Constraints: 23196
139.92/140.43 c #Conflicts: 137000 | #Constraints: 24196
139.92/140.43 c #Conflicts: 138000 | #Constraints: 25196
139.92/140.43 c #Conflicts: 139000 | #Constraints: 26196
139.92/140.43 c #Conflicts: 140000 | #Constraints: 27196
139.92/140.43 c INPROCESSING
139.92/140.43 c GARBAGE COLLECT
139.92/140.43 c #Conflicts: 141000 | #Constraints: 20592
139.92/140.43 c #Conflicts: 142000 | #Constraints: 21592
240.59/241.44 c #Conflicts: 143000 | #Constraints: 22592
240.59/241.44 c #Conflicts: 144000 | #Constraints: 23592
240.59/241.44 c #Conflicts: 145000 | #Constraints: 24592
240.59/241.44 c #Conflicts: 146000 | #Constraints: 25592
240.59/241.44 c #Conflicts: 147000 | #Constraints: 26592
240.59/241.44 c #Conflicts: 148000 | #Constraints: 27592
240.59/241.44 c INPROCESSING
240.59/241.44 c GARBAGE COLLECT
240.59/241.44 c #Conflicts: 149000 | #Constraints: 20783
240.59/241.44 c #Conflicts: 150000 | #Constraints: 21783
240.59/241.44 c #Conflicts: 151000 | #Constraints: 22783
240.59/241.44 c #Conflicts: 152000 | #Constraints: 23783
240.59/241.44 c #Conflicts: 153000 | #Constraints: 24783
240.59/241.44 c #Conflicts: 154000 | #Constraints: 25783
240.59/241.44 c #Conflicts: 155000 | #Constraints: 26783
240.59/241.44 c #Conflicts: 156000 | #Constraints: 27783
240.59/241.44 c INPROCESSING
240.59/241.44 c GARBAGE COLLECT
240.59/241.44 c #Conflicts: 157000 | #Constraints: 20797
240.59/241.44 c #Conflicts: 158000 | #Constraints: 21797
240.59/241.44 c #Conflicts: 159000 | #Constraints: 22797
240.59/241.44 c #Conflicts: 160000 | #Constraints: 23797
240.59/241.44 c #Conflicts: 161000 | #Constraints: 24797
240.59/241.44 c #Conflicts: 162000 | #Constraints: 25797
240.59/241.44 c #Conflicts: 163000 | #Constraints: 26797
240.59/241.44 c #Conflicts: 164000 | #Constraints: 27797
240.59/241.44 c #Conflicts: 165000 | #Constraints: 28797
240.59/241.44 c INPROCESSING
240.59/241.44 c GARBAGE COLLECT
240.59/241.44 c #Conflicts: 166000 | #Constraints: 21600
240.59/241.44 c #Conflicts: 167000 | #Constraints: 22600
240.59/241.44 c #Conflicts: 168000 | #Constraints: 23600
240.59/241.44 c #Conflicts: 169000 | #Constraints: 24600
240.59/241.44 c #Conflicts: 170000 | #Constraints: 25600
240.59/241.44 c #Conflicts: 171000 | #Constraints: 26600
240.59/241.44 c #Conflicts: 172000 | #Constraints: 27600
240.59/241.44 c #Conflicts: 173000 | #Constraints: 28600
240.59/241.44 c INPROCESSING
240.59/241.44 c GARBAGE COLLECT
240.59/241.44 c #Conflicts: 174000 | #Constraints: 21210
240.59/241.44 c #Conflicts: 175000 | #Constraints: 22210
240.59/241.44 c #Conflicts: 176000 | #Constraints: 23210
240.59/241.44 c #Conflicts: 177000 | #Constraints: 24210
240.59/241.44 c #Conflicts: 178000 | #Constraints: 25210
240.59/241.44 c #Conflicts: 179000 | #Constraints: 26210
240.59/241.44 c #Conflicts: 180000 | #Constraints: 27210
240.59/241.44 c #Conflicts: 181000 | #Constraints: 28210
240.59/241.44 c #Conflicts: 182000 | #Constraints: 29210
240.59/241.44 c INPROCESSING
240.59/241.44 c GARBAGE COLLECT
240.59/241.44 c #Conflicts: 183000 | #Constraints: 21601
240.59/241.44 c #Conflicts: 184000 | #Constraints: 22601
240.59/241.44 c #Conflicts: 185000 | #Constraints: 23601
240.59/241.44 c #Conflicts: 186000 | #Constraints: 24601
240.59/241.44 c #Conflicts: 187000 | #Constraints: 25601
240.59/241.44 c #Conflicts: 188000 | #Constraints: 26601
240.59/241.44 c #Conflicts: 189000 | #Constraints: 27601
240.59/241.44 c #Conflicts: 190000 | #Constraints: 28601
240.59/241.44 c #Conflicts: 191000 | #Constraints: 29601
240.59/241.44 c INPROCESSING
240.59/241.44 c GARBAGE COLLECT
240.59/241.44 c #Conflicts: 192000 | #Constraints: 21790
240.59/241.44 c #Conflicts: 193000 | #Constraints: 22790
240.59/241.44 c #Conflicts: 194000 | #Constraints: 23790
240.59/241.44 c #Conflicts: 195000 | #Constraints: 24790
240.59/241.44 c #Conflicts: 196000 | #Constraints: 25790
240.59/241.44 c #Conflicts: 197000 | #Constraints: 26790
240.59/241.44 c #Conflicts: 198000 | #Constraints: 27790
240.59/241.44 c #Conflicts: 199000 | #Constraints: 28790
240.59/241.44 c #Conflicts: 200000 | #Constraints: 29790
240.59/241.44 c INPROCESSING
240.59/241.44 c GARBAGE COLLECT
240.59/241.44 c #Conflicts: 201000 | #Constraints: 21785
240.59/241.44 c #Conflicts: 202000 | #Constraints: 22785
240.59/241.44 c #Conflicts: 203000 | #Constraints: 23785
240.59/241.44 c #Conflicts: 204000 | #Constraints: 24785
240.59/241.44 c #Conflicts: 205000 | #Constraints: 25785
240.59/241.44 c #Conflicts: 206000 | #Constraints: 26785
240.59/241.44 c #Conflicts: 207000 | #Constraints: 27785
240.59/241.44 c #Conflicts: 208000 | #Constraints: 28785
240.59/241.44 c #Conflicts: 209000 | #Constraints: 29785
240.59/241.44 c #Conflicts: 210000 | #Constraints: 30785
240.59/241.44 c INPROCESSING
240.59/241.44 c GARBAGE COLLECT
240.59/241.44 c #Conflicts: 211000 | #Constraints: 22582
240.59/241.44 c #Conflicts: 212000 | #Constraints: 23582
240.59/241.44 c #Conflicts: 213000 | #Constraints: 24582
240.59/241.44 c #Conflicts: 214000 | #Constraints: 25582
240.59/241.44 c #Conflicts: 215000 | #Constraints: 26582
240.59/241.44 c #Conflicts: 216000 | #Constraints: 27582
351.33/352.59 c #Conflicts: 217000 | #Constraints: 28582
351.33/352.59 c #Conflicts: 218000 | #Constraints: 29582
351.33/352.59 c #Conflicts: 219000 | #Constraints: 30582
351.33/352.59 c INPROCESSING
351.33/352.59 c GARBAGE COLLECT
351.33/352.59 c #Conflicts: 220000 | #Constraints: 22185
351.33/352.59 c #Conflicts: 221000 | #Constraints: 23185
351.33/352.59 c #Conflicts: 222000 | #Constraints: 24185
351.33/352.59 c #Conflicts: 223000 | #Constraints: 25185
351.33/352.59 c #Conflicts: 224000 | #Constraints: 26185
351.33/352.59 c #Conflicts: 225000 | #Constraints: 27185
351.33/352.59 c #Conflicts: 226000 | #Constraints: 28185
351.33/352.59 c #Conflicts: 227000 | #Constraints: 29185
351.33/352.59 c #Conflicts: 228000 | #Constraints: 30185
351.33/352.59 c #Conflicts: 229000 | #Constraints: 31185
351.33/352.59 c INPROCESSING
351.33/352.59 c GARBAGE COLLECT
351.33/352.59 c #Conflicts: 230000 | #Constraints: 22584
351.33/352.59 c #Conflicts: 231000 | #Constraints: 23584
351.33/352.59 c #Conflicts: 232000 | #Constraints: 24584
351.33/352.59 c #Conflicts: 233000 | #Constraints: 25584
351.33/352.59 c #Conflicts: 234000 | #Constraints: 26584
351.33/352.59 c #Conflicts: 235000 | #Constraints: 27584
351.33/352.59 c #Conflicts: 236000 | #Constraints: 28584
351.33/352.59 c #Conflicts: 237000 | #Constraints: 29584
351.33/352.59 c #Conflicts: 238000 | #Constraints: 30584
351.33/352.59 c #Conflicts: 239000 | #Constraints: 31584
351.33/352.59 c INPROCESSING
351.33/352.59 c GARBAGE COLLECT
351.33/352.59 c #Conflicts: 240000 | #Constraints: 22803
351.33/352.59 c #Conflicts: 241000 | #Constraints: 23803
351.33/352.59 c #Conflicts: 242000 | #Constraints: 24803
351.33/352.59 c #Conflicts: 243000 | #Constraints: 25803
351.33/352.59 c #Conflicts: 244000 | #Constraints: 26803
351.33/352.59 c #Conflicts: 245000 | #Constraints: 27803
351.33/352.59 c #Conflicts: 246000 | #Constraints: 28803
351.33/352.59 c #Conflicts: 247000 | #Constraints: 29803
351.33/352.59 c #Conflicts: 248000 | #Constraints: 30803
351.33/352.59 c #Conflicts: 249000 | #Constraints: 31803
351.33/352.59 c INPROCESSING
351.33/352.59 c GARBAGE COLLECT
351.33/352.59 c #Conflicts: 250000 | #Constraints: 22800
351.33/352.59 c #Conflicts: 251000 | #Constraints: 23800
351.33/352.59 c #Conflicts: 252000 | #Constraints: 24800
351.33/352.59 c #Conflicts: 253000 | #Constraints: 25800
351.33/352.59 c #Conflicts: 254000 | #Constraints: 26800
351.33/352.59 c #Conflicts: 255000 | #Constraints: 27800
351.33/352.59 c #Conflicts: 256000 | #Constraints: 28800
351.33/352.59 c #Conflicts: 257000 | #Constraints: 29800
351.33/352.59 c #Conflicts: 258000 | #Constraints: 30800
351.33/352.59 c #Conflicts: 259000 | #Constraints: 31800
351.33/352.59 c #Conflicts: 260000 | #Constraints: 32800
351.33/352.59 c INPROCESSING
351.33/352.59 c GARBAGE COLLECT
351.33/352.59 c #Conflicts: 261000 | #Constraints: 23605
351.33/352.59 c #Conflicts: 262000 | #Constraints: 24605
351.33/352.59 c #Conflicts: 263000 | #Constraints: 25605
351.33/352.59 c #Conflicts: 264000 | #Constraints: 26605
351.33/352.59 c #Conflicts: 265000 | #Constraints: 27605
351.33/352.59 c #Conflicts: 266000 | #Constraints: 28605
351.33/352.59 c #Conflicts: 267000 | #Constraints: 29605
351.33/352.59 c #Conflicts: 268000 | #Constraints: 30605
351.33/352.59 c #Conflicts: 269000 | #Constraints: 31605
351.33/352.59 c #Conflicts: 270000 | #Constraints: 32605
351.33/352.59 c INPROCESSING
351.33/352.59 c GARBAGE COLLECT
351.33/352.59 c #Conflicts: 271000 | #Constraints: 23220
351.33/352.59 c #Conflicts: 272000 | #Constraints: 24220
351.33/352.59 c #Conflicts: 273000 | #Constraints: 25220
351.33/352.59 c #Conflicts: 274000 | #Constraints: 26220
351.33/352.59 c #Conflicts: 275000 | #Constraints: 27220
351.33/352.59 c #Conflicts: 276000 | #Constraints: 28220
351.33/352.59 c #Conflicts: 277000 | #Constraints: 29220
351.33/352.59 c #Conflicts: 278000 | #Constraints: 30220
351.33/352.59 c #Conflicts: 279000 | #Constraints: 31220
351.33/352.59 c #Conflicts: 280000 | #Constraints: 32220
351.33/352.59 c #Conflicts: 281000 | #Constraints: 33220
351.33/352.59 c INPROCESSING
351.33/352.59 c GARBAGE COLLECT
351.33/352.59 c #Conflicts: 282000 | #Constraints: 23625
351.33/352.59 c #Conflicts: 283000 | #Constraints: 24625
351.33/352.59 c #Conflicts: 284000 | #Constraints: 25625
351.33/352.59 c #Conflicts: 285000 | #Constraints: 26625
351.33/352.59 c #Conflicts: 286000 | #Constraints: 27625
351.33/352.59 c #Conflicts: 287000 | #Constraints: 28625
351.33/352.59 c #Conflicts: 288000 | #Constraints: 29625
351.33/352.59 c #Conflicts: 289000 | #Constraints: 30625
351.33/352.59 c #Conflicts: 290000 | #Constraints: 31625
450.42/451.93 c #Conflicts: 291000 | #Constraints: 32625
450.42/451.93 c #Conflicts: 292000 | #Constraints: 33625
450.42/451.93 c INPROCESSING
450.42/451.93 c GARBAGE COLLECT
450.42/451.93 c #Conflicts: 293000 | #Constraints: 23827
450.42/451.93 c #Conflicts: 294000 | #Constraints: 24827
450.42/451.93 c #Conflicts: 295000 | #Constraints: 25827
450.42/451.93 c #Conflicts: 296000 | #Constraints: 26827
450.42/451.93 c #Conflicts: 297000 | #Constraints: 27827
450.42/451.93 c #Conflicts: 298000 | #Constraints: 28827
450.42/451.93 c #Conflicts: 299000 | #Constraints: 29827
450.42/451.93 c #Conflicts: 300000 | #Constraints: 30827
450.42/451.93 c #Conflicts: 301000 | #Constraints: 31827
450.42/451.93 c #Conflicts: 302000 | #Constraints: 32827
450.42/451.93 c #Conflicts: 303000 | #Constraints: 33827
450.42/451.93 c INPROCESSING
450.42/451.93 c GARBAGE COLLECT
450.42/451.93 c #Conflicts: 304000 | #Constraints: 23845
450.42/451.93 c #Conflicts: 305000 | #Constraints: 24845
450.42/451.93 c #Conflicts: 306000 | #Constraints: 25845
450.42/451.93 c #Conflicts: 307000 | #Constraints: 26845
450.42/451.93 c #Conflicts: 308000 | #Constraints: 27845
450.42/451.93 c #Conflicts: 309000 | #Constraints: 28845
450.42/451.93 c #Conflicts: 310000 | #Constraints: 29845
450.42/451.93 c #Conflicts: 311000 | #Constraints: 30845
450.42/451.93 c #Conflicts: 312000 | #Constraints: 31845
450.42/451.93 c #Conflicts: 313000 | #Constraints: 32845
450.42/451.93 c #Conflicts: 314000 | #Constraints: 33845
450.42/451.93 c #Conflicts: 315000 | #Constraints: 34845
450.42/451.93 c INPROCESSING
450.42/451.93 c GARBAGE COLLECT
450.42/451.93 c #Conflicts: 316000 | #Constraints: 24631
450.42/451.93 c #Conflicts: 317000 | #Constraints: 25631
450.42/451.93 c #Conflicts: 318000 | #Constraints: 26631
450.42/451.93 c #Conflicts: 319000 | #Constraints: 27631
450.42/451.93 c #Conflicts: 320000 | #Constraints: 28631
450.42/451.93 c #Conflicts: 321000 | #Constraints: 29631
450.42/451.93 c #Conflicts: 322000 | #Constraints: 30631
450.42/451.93 c #Conflicts: 323000 | #Constraints: 31631
450.42/451.93 c #Conflicts: 324000 | #Constraints: 32631
450.42/451.93 c #Conflicts: 325000 | #Constraints: 33631
450.42/451.93 c #Conflicts: 326000 | #Constraints: 34631
450.42/451.93 c INPROCESSING
450.42/451.93 c GARBAGE COLLECT
450.42/451.93 c #Conflicts: 327000 | #Constraints: 24234
450.42/451.93 c #Conflicts: 328000 | #Constraints: 25234
450.42/451.93 c #Conflicts: 329000 | #Constraints: 26234
450.42/451.93 c #Conflicts: 330000 | #Constraints: 27234
450.42/451.93 c #Conflicts: 331000 | #Constraints: 28234
450.42/451.93 c #Conflicts: 332000 | #Constraints: 29234
450.42/451.93 c #Conflicts: 333000 | #Constraints: 30234
450.42/451.93 c #Conflicts: 334000 | #Constraints: 31234
450.42/451.93 c #Conflicts: 335000 | #Constraints: 32234
450.42/451.93 c #Conflicts: 336000 | #Constraints: 33234
450.42/451.93 c #Conflicts: 337000 | #Constraints: 34234
450.42/451.93 c #Conflicts: 338000 | #Constraints: 35234
450.42/451.93 c INPROCESSING
450.42/451.93 c GARBAGE COLLECT
450.42/451.93 c #Conflicts: 339000 | #Constraints: 24645
450.42/451.93 c #Conflicts: 340000 | #Constraints: 25645
450.42/451.93 c #Conflicts: 341000 | #Constraints: 26645
450.42/451.93 c #Conflicts: 342000 | #Constraints: 27645
450.42/451.93 c #Conflicts: 343000 | #Constraints: 28645
450.42/451.93 c #Conflicts: 344000 | #Constraints: 29645
450.42/451.93 c #Conflicts: 345000 | #Constraints: 30645
450.42/451.93 c #Conflicts: 346000 | #Constraints: 31645
450.42/451.93 c #Conflicts: 347000 | #Constraints: 32645
450.42/451.93 c #Conflicts: 348000 | #Constraints: 33645
450.42/451.93 c #Conflicts: 349000 | #Constraints: 34645
450.42/451.93 c #Conflicts: 350000 | #Constraints: 35645
450.42/451.93 c INPROCESSING
450.42/451.93 c GARBAGE COLLECT
450.42/451.93 c #Conflicts: 351000 | #Constraints: 24843
450.42/451.93 c #Conflicts: 352000 | #Constraints: 25843
450.42/451.93 c #Conflicts: 353000 | #Constraints: 26843
450.42/451.93 c #Conflicts: 354000 | #Constraints: 27843
450.42/451.93 c #Conflicts: 355000 | #Constraints: 28843
450.42/451.93 c #Conflicts: 356000 | #Constraints: 29843
450.42/451.93 c #Conflicts: 357000 | #Constraints: 30843
450.42/451.93 c #Conflicts: 358000 | #Constraints: 31843
450.42/451.93 c #Conflicts: 359000 | #Constraints: 32843
450.42/451.93 c #Conflicts: 360000 | #Constraints: 33843
450.42/451.93 c #Conflicts: 361000 | #Constraints: 34843
450.42/451.93 c #Conflicts: 362000 | #Constraints: 35843
450.42/451.93 c INPROCESSING
450.42/451.93 c GARBAGE COLLECT
450.42/451.93 c #Conflicts: 363000 | #Constraints: 24848
450.42/451.93 c #Conflicts: 364000 | #Constraints: 25848
558.07/559.97 c #Conflicts: 365000 | #Constraints: 26848
558.07/559.97 c #Conflicts: 366000 | #Constraints: 27848
558.07/559.97 c #Conflicts: 367000 | #Constraints: 28848
558.07/559.97 c #Conflicts: 368000 | #Constraints: 29848
558.07/559.97 c #Conflicts: 369000 | #Constraints: 30848
558.07/559.97 c #Conflicts: 370000 | #Constraints: 31848
558.07/559.97 c #Conflicts: 371000 | #Constraints: 32848
558.07/559.97 c #Conflicts: 372000 | #Constraints: 33848
558.07/559.97 c #Conflicts: 373000 | #Constraints: 34848
558.07/559.97 c #Conflicts: 374000 | #Constraints: 35848
558.07/559.97 c #Conflicts: 375000 | #Constraints: 36848
558.07/559.97 c INPROCESSING
558.07/559.97 c GARBAGE COLLECT
558.07/559.97 c #Conflicts: 376000 | #Constraints: 25635
558.07/559.97 c #Conflicts: 377000 | #Constraints: 26635
558.07/559.97 c #Conflicts: 378000 | #Constraints: 27635
558.07/559.97 c #Conflicts: 379000 | #Constraints: 28635
558.07/559.97 c #Conflicts: 380000 | #Constraints: 29635
558.07/559.97 c #Conflicts: 381000 | #Constraints: 30635
558.07/559.97 c #Conflicts: 382000 | #Constraints: 31635
558.07/559.97 c #Conflicts: 383000 | #Constraints: 32635
558.07/559.97 c #Conflicts: 384000 | #Constraints: 33635
558.07/559.97 c #Conflicts: 385000 | #Constraints: 34635
558.07/559.97 c #Conflicts: 386000 | #Constraints: 35635
558.07/559.97 c #Conflicts: 387000 | #Constraints: 36635
558.07/559.97 c INPROCESSING
558.07/559.97 c GARBAGE COLLECT
558.07/559.97 c #Conflicts: 388000 | #Constraints: 25241
558.07/559.97 c #Conflicts: 389000 | #Constraints: 26241
558.07/559.97 c #Conflicts: 390000 | #Constraints: 27241
558.07/559.97 c #Conflicts: 391000 | #Constraints: 28241
558.07/559.97 c #Conflicts: 392000 | #Constraints: 29241
558.07/559.97 c #Conflicts: 393000 | #Constraints: 30241
558.07/559.97 c #Conflicts: 394000 | #Constraints: 31241
558.07/559.97 c #Conflicts: 395000 | #Constraints: 32241
558.07/559.97 c #Conflicts: 396000 | #Constraints: 33241
558.07/559.97 c #Conflicts: 397000 | #Constraints: 34241
558.07/559.97 c #Conflicts: 398000 | #Constraints: 35241
558.07/559.97 c #Conflicts: 399000 | #Constraints: 36241
558.07/559.97 c #Conflicts: 400000 | #Constraints: 37241
558.07/559.97 c INPROCESSING
558.07/559.97 c GARBAGE COLLECT
558.07/559.97 c #Conflicts: 401000 | #Constraints: 25639
558.07/559.97 c #Conflicts: 402000 | #Constraints: 26639
558.07/559.97 c #Conflicts: 403000 | #Constraints: 27639
558.07/559.97 c #Conflicts: 404000 | #Constraints: 28639
558.07/559.97 c #Conflicts: 405000 | #Constraints: 29639
558.07/559.97 c #Conflicts: 406000 | #Constraints: 30639
558.07/559.97 c #Conflicts: 407000 | #Constraints: 31639
558.07/559.97 c #Conflicts: 408000 | #Constraints: 32639
558.07/559.97 c #Conflicts: 409000 | #Constraints: 33639
558.07/559.97 c #Conflicts: 410000 | #Constraints: 34639
558.07/559.97 c #Conflicts: 411000 | #Constraints: 35639
558.07/559.97 c #Conflicts: 412000 | #Constraints: 36639
558.07/559.97 c #Conflicts: 413000 | #Constraints: 37639
558.07/559.97 c INPROCESSING
558.07/559.97 c GARBAGE COLLECT
558.07/559.97 c #Conflicts: 414000 | #Constraints: 25856
558.07/559.97 c #Conflicts: 415000 | #Constraints: 26856
558.07/559.97 c #Conflicts: 416000 | #Constraints: 27856
558.07/559.97 c #Conflicts: 417000 | #Constraints: 28856
558.07/559.97 c #Conflicts: 418000 | #Constraints: 29856
558.07/559.97 c #Conflicts: 419000 | #Constraints: 30856
558.07/559.97 c #Conflicts: 420000 | #Constraints: 31856
558.07/559.97 c #Conflicts: 421000 | #Constraints: 32856
558.07/559.97 c #Conflicts: 422000 | #Constraints: 33856
558.07/559.97 c #Conflicts: 423000 | #Constraints: 34856
558.07/559.97 c #Conflicts: 424000 | #Constraints: 35856
558.07/559.97 c #Conflicts: 425000 | #Constraints: 36856
558.07/559.97 c #Conflicts: 426000 | #Constraints: 37856
558.07/559.97 c INPROCESSING
558.07/559.97 c GARBAGE COLLECT
558.07/559.97 c #Conflicts: 427000 | #Constraints: 25851
558.07/559.97 c #Conflicts: 428000 | #Constraints: 26851
558.07/559.97 c #Conflicts: 429000 | #Constraints: 27851
558.07/559.97 c #Conflicts: 430000 | #Constraints: 28851
558.07/559.97 c #Conflicts: 431000 | #Constraints: 29851
558.07/559.97 c #Conflicts: 432000 | #Constraints: 30851
558.07/559.97 c #Conflicts: 433000 | #Constraints: 31851
558.07/559.97 c #Conflicts: 434000 | #Constraints: 32851
558.07/559.97 c #Conflicts: 435000 | #Constraints: 33851
558.07/559.97 c #Conflicts: 436000 | #Constraints: 34851
558.07/559.97 c #Conflicts: 437000 | #Constraints: 35851
558.07/559.97 c #Conflicts: 438000 | #Constraints: 36851
558.07/559.97 c #Conflicts: 439000 | #Constraints: 37851
558.07/559.97 c #Conflicts: 440000 | #Constraints: 38851
658.96/661.11 c INPROCESSING
658.96/661.11 c GARBAGE COLLECT
658.96/661.11 c #Conflicts: 441000 | #Constraints: 26658
658.96/661.11 c #Conflicts: 442000 | #Constraints: 27658
658.96/661.11 c #Conflicts: 443000 | #Constraints: 28658
658.96/661.11 c #Conflicts: 444000 | #Constraints: 29658
658.96/661.11 c #Conflicts: 445000 | #Constraints: 30658
658.96/661.11 c #Conflicts: 446000 | #Constraints: 31658
658.96/661.11 c #Conflicts: 447000 | #Constraints: 32658
658.96/661.11 c #Conflicts: 448000 | #Constraints: 33658
658.96/661.11 c #Conflicts: 449000 | #Constraints: 34658
658.96/661.11 c #Conflicts: 450000 | #Constraints: 35658
658.96/661.11 c #Conflicts: 451000 | #Constraints: 36658
658.96/661.11 c #Conflicts: 452000 | #Constraints: 37658
658.96/661.11 c #Conflicts: 453000 | #Constraints: 38658
658.96/661.11 c INPROCESSING
658.96/661.11 c GARBAGE COLLECT
658.96/661.11 c #Conflicts: 454000 | #Constraints: 26253
658.96/661.11 c #Conflicts: 455000 | #Constraints: 27253
658.96/661.11 c #Conflicts: 456000 | #Constraints: 28253
658.96/661.11 c #Conflicts: 457000 | #Constraints: 29253
658.96/661.11 c #Conflicts: 458000 | #Constraints: 30253
658.96/661.11 c #Conflicts: 459000 | #Constraints: 31253
658.96/661.11 c #Conflicts: 460000 | #Constraints: 32253
658.96/661.11 c #Conflicts: 461000 | #Constraints: 33253
658.96/661.11 c #Conflicts: 462000 | #Constraints: 34253
658.96/661.11 c #Conflicts: 463000 | #Constraints: 35253
658.96/661.11 c #Conflicts: 464000 | #Constraints: 36253
658.96/661.11 c #Conflicts: 465000 | #Constraints: 37253
658.96/661.11 c #Conflicts: 466000 | #Constraints: 38253
658.96/661.11 c #Conflicts: 467000 | #Constraints: 39253
658.96/661.11 c INPROCESSING
658.96/661.11 c GARBAGE COLLECT
658.96/661.11 c #Conflicts: 468000 | #Constraints: 26639
658.96/661.11 c #Conflicts: 469000 | #Constraints: 27639
658.96/661.11 c #Conflicts: 470000 | #Constraints: 28639
658.96/661.11 c #Conflicts: 471000 | #Constraints: 29639
658.96/661.11 c #Conflicts: 472000 | #Constraints: 30639
658.96/661.11 c #Conflicts: 473000 | #Constraints: 31639
658.96/661.11 c #Conflicts: 474000 | #Constraints: 32639
658.96/661.11 c #Conflicts: 475000 | #Constraints: 33639
658.96/661.11 c #Conflicts: 476000 | #Constraints: 34639
658.96/661.11 c #Conflicts: 477000 | #Constraints: 35639
658.96/661.11 c #Conflicts: 478000 | #Constraints: 36639
658.96/661.11 c #Conflicts: 479000 | #Constraints: 37639
658.96/661.11 c #Conflicts: 480000 | #Constraints: 38639
658.96/661.11 c #Conflicts: 481000 | #Constraints: 39639
658.96/661.11 c INPROCESSING
658.96/661.11 c GARBAGE COLLECT
658.96/661.11 c #Conflicts: 482000 | #Constraints: 26844
658.96/661.11 c #Conflicts: 483000 | #Constraints: 27844
658.96/661.11 c #Conflicts: 484000 | #Constraints: 28844
658.96/661.11 c #Conflicts: 485000 | #Constraints: 29844
658.96/661.11 c #Conflicts: 486000 | #Constraints: 30844
658.96/661.11 c #Conflicts: 487000 | #Constraints: 31844
658.96/661.11 c #Conflicts: 488000 | #Constraints: 32844
658.96/661.11 c #Conflicts: 489000 | #Constraints: 33844
658.96/661.11 c #Conflicts: 490000 | #Constraints: 34844
658.96/661.11 c #Conflicts: 491000 | #Constraints: 35844
658.96/661.11 c #Conflicts: 492000 | #Constraints: 36844
658.96/661.11 c #Conflicts: 493000 | #Constraints: 37844
658.96/661.11 c #Conflicts: 494000 | #Constraints: 38844
658.96/661.11 c #Conflicts: 495000 | #Constraints: 39844
658.96/661.11 c INPROCESSING
658.96/661.11 c GARBAGE COLLECT
658.96/661.11 c #Conflicts: 496000 | #Constraints: 26826
658.96/661.11 c #Conflicts: 497000 | #Constraints: 27826
658.96/661.11 c #Conflicts: 498000 | #Constraints: 28826
658.96/661.11 c #Conflicts: 499000 | #Constraints: 29826
658.96/661.11 c #Conflicts: 500000 | #Constraints: 30826
658.96/661.11 c #Conflicts: 501000 | #Constraints: 31826
658.96/661.11 c #Conflicts: 502000 | #Constraints: 32826
658.96/661.11 c #Conflicts: 503000 | #Constraints: 33826
658.96/661.11 c #Conflicts: 504000 | #Constraints: 34826
658.96/661.11 c #Conflicts: 505000 | #Constraints: 35826
658.96/661.11 c #Conflicts: 506000 | #Constraints: 36826
658.96/661.11 c #Conflicts: 507000 | #Constraints: 37826
658.96/661.11 c #Conflicts: 508000 | #Constraints: 38826
658.96/661.11 c #Conflicts: 509000 | #Constraints: 39826
658.96/661.11 c #Conflicts: 510000 | #Constraints: 40826
658.96/661.11 c INPROCESSING
658.96/661.11 c GARBAGE COLLECT
658.96/661.11 c #Conflicts: 511000 | #Constraints: 27623
658.96/661.11 c #Conflicts: 512000 | #Constraints: 28623
658.96/661.11 c #Conflicts: 513000 | #Constraints: 29623
658.96/661.11 c #Conflicts: 514000 | #Constraints: 30623
658.96/661.11 c #Conflicts: 515000 | #Constraints: 31623
773.79/776.30 c #Conflicts: 516000 | #Constraints: 32623
773.79/776.30 c #Conflicts: 517000 | #Constraints: 33623
773.79/776.30 c #Conflicts: 518000 | #Constraints: 34623
773.79/776.30 c #Conflicts: 519000 | #Constraints: 35623
773.79/776.30 c #Conflicts: 520000 | #Constraints: 36623
773.79/776.30 c #Conflicts: 521000 | #Constraints: 37623
773.79/776.30 c #Conflicts: 522000 | #Constraints: 38623
773.79/776.30 c #Conflicts: 523000 | #Constraints: 39623
773.79/776.30 c #Conflicts: 524000 | #Constraints: 40623
773.79/776.30 c INPROCESSING
773.79/776.30 c GARBAGE COLLECT
773.79/776.30 c #Conflicts: 525000 | #Constraints: 27239
773.79/776.30 c #Conflicts: 526000 | #Constraints: 28239
773.79/776.30 c #Conflicts: 527000 | #Constraints: 29239
773.79/776.30 c #Conflicts: 528000 | #Constraints: 30239
773.79/776.30 c #Conflicts: 529000 | #Constraints: 31239
773.79/776.30 c #Conflicts: 530000 | #Constraints: 32239
773.79/776.30 c #Conflicts: 531000 | #Constraints: 33239
773.79/776.30 c #Conflicts: 532000 | #Constraints: 34239
773.79/776.30 c #Conflicts: 533000 | #Constraints: 35239
773.79/776.30 c #Conflicts: 534000 | #Constraints: 36239
773.79/776.30 c #Conflicts: 535000 | #Constraints: 37239
773.79/776.30 c #Conflicts: 536000 | #Constraints: 38239
773.79/776.30 c #Conflicts: 537000 | #Constraints: 39239
773.79/776.30 c #Conflicts: 538000 | #Constraints: 40239
773.79/776.30 c #Conflicts: 539000 | #Constraints: 41239
773.79/776.30 c INPROCESSING
773.79/776.30 c GARBAGE COLLECT
773.79/776.30 c #Conflicts: 540000 | #Constraints: 27632
773.79/776.30 c #Conflicts: 541000 | #Constraints: 28632
773.79/776.30 c #Conflicts: 542000 | #Constraints: 29632
773.79/776.30 c #Conflicts: 543000 | #Constraints: 30632
773.79/776.30 c #Conflicts: 544000 | #Constraints: 31632
773.79/776.30 c #Conflicts: 545000 | #Constraints: 32632
773.79/776.30 c #Conflicts: 546000 | #Constraints: 33632
773.79/776.30 c #Conflicts: 547000 | #Constraints: 34632
773.79/776.30 c #Conflicts: 548000 | #Constraints: 35632
773.79/776.30 c #Conflicts: 549000 | #Constraints: 36632
773.79/776.30 c #Conflicts: 550000 | #Constraints: 37632
773.79/776.30 c #Conflicts: 551000 | #Constraints: 38632
773.79/776.30 c #Conflicts: 552000 | #Constraints: 39632
773.79/776.30 c #Conflicts: 553000 | #Constraints: 40632
773.79/776.30 c #Conflicts: 554000 | #Constraints: 41632
773.79/776.30 c INPROCESSING
773.79/776.30 c GARBAGE COLLECT
773.79/776.30 c #Conflicts: 555000 | #Constraints: 27829
773.79/776.30 c #Conflicts: 556000 | #Constraints: 28829
773.79/776.30 c #Conflicts: 557000 | #Constraints: 29829
773.79/776.30 c #Conflicts: 558000 | #Constraints: 30829
773.79/776.30 c #Conflicts: 559000 | #Constraints: 31829
773.79/776.30 c #Conflicts: 560000 | #Constraints: 32829
773.79/776.30 c #Conflicts: 561000 | #Constraints: 33829
773.79/776.30 c #Conflicts: 562000 | #Constraints: 34829
773.79/776.30 c #Conflicts: 563000 | #Constraints: 35829
773.79/776.30 c #Conflicts: 564000 | #Constraints: 36829
773.79/776.30 c #Conflicts: 565000 | #Constraints: 37829
773.79/776.30 c #Conflicts: 566000 | #Constraints: 38829
773.79/776.30 c #Conflicts: 567000 | #Constraints: 39829
773.79/776.30 c #Conflicts: 568000 | #Constraints: 40829
773.79/776.30 c #Conflicts: 569000 | #Constraints: 41829
773.79/776.30 c INPROCESSING
773.79/776.30 c GARBAGE COLLECT
773.79/776.30 c #Conflicts: 570000 | #Constraints: 27829
773.79/776.30 c #Conflicts: 571000 | #Constraints: 28829
773.79/776.30 c #Conflicts: 572000 | #Constraints: 29829
773.79/776.30 c #Conflicts: 573000 | #Constraints: 30829
773.79/776.30 c #Conflicts: 574000 | #Constraints: 31829
773.79/776.30 c #Conflicts: 575000 | #Constraints: 32829
773.79/776.30 c #Conflicts: 576000 | #Constraints: 33829
773.79/776.30 c #Conflicts: 577000 | #Constraints: 34829
773.79/776.30 c #Conflicts: 578000 | #Constraints: 35829
773.79/776.30 c #Conflicts: 579000 | #Constraints: 36829
773.79/776.30 c #Conflicts: 580000 | #Constraints: 37829
773.79/776.30 c #Conflicts: 581000 | #Constraints: 38829
773.79/776.30 c #Conflicts: 582000 | #Constraints: 39829
773.79/776.30 c #Conflicts: 583000 | #Constraints: 40829
773.79/776.30 c #Conflicts: 584000 | #Constraints: 41829
773.79/776.30 c #Conflicts: 585000 | #Constraints: 42829
773.79/776.30 c INPROCESSING
773.79/776.30 c GARBAGE COLLECT
773.79/776.30 c #Conflicts: 586000 | #Constraints: 28625
773.79/776.30 c #Conflicts: 587000 | #Constraints: 29625
773.79/776.30 c #Conflicts: 588000 | #Constraints: 30625
773.79/776.30 c #Conflicts: 589000 | #Constraints: 31625
773.79/776.30 c #Conflicts: 590000 | #Constraints: 32625
902.67/905.69 c #Conflicts: 591000 | #Constraints: 33625
902.67/905.69 c #Conflicts: 592000 | #Constraints: 34625
902.67/905.69 c #Conflicts: 593000 | #Constraints: 35625
902.67/905.69 c #Conflicts: 594000 | #Constraints: 36625
902.67/905.69 c #Conflicts: 595000 | #Constraints: 37625
902.67/905.69 c #Conflicts: 596000 | #Constraints: 38625
902.67/905.69 c #Conflicts: 597000 | #Constraints: 39625
902.67/905.69 c #Conflicts: 598000 | #Constraints: 40625
902.67/905.69 c #Conflicts: 599000 | #Constraints: 41625
902.67/905.69 c #Conflicts: 600000 | #Constraints: 42625
902.67/905.69 c INPROCESSING
902.67/905.69 c GARBAGE COLLECT
902.67/905.69 c #Conflicts: 601000 | #Constraints: 28220
902.67/905.69 c #Conflicts: 602000 | #Constraints: 29220
902.67/905.69 c #Conflicts: 603000 | #Constraints: 30220
902.67/905.69 c #Conflicts: 604000 | #Constraints: 31220
902.67/905.69 c #Conflicts: 605000 | #Constraints: 32220
902.67/905.69 c #Conflicts: 606000 | #Constraints: 33220
902.67/905.69 c #Conflicts: 607000 | #Constraints: 34220
902.67/905.69 c #Conflicts: 608000 | #Constraints: 35220
902.67/905.69 c #Conflicts: 609000 | #Constraints: 36220
902.67/905.69 c #Conflicts: 610000 | #Constraints: 37220
902.67/905.69 c #Conflicts: 611000 | #Constraints: 38220
902.67/905.69 c #Conflicts: 612000 | #Constraints: 39220
902.67/905.69 c #Conflicts: 613000 | #Constraints: 40220
902.67/905.69 c #Conflicts: 614000 | #Constraints: 41220
902.67/905.69 c #Conflicts: 615000 | #Constraints: 42220
902.67/905.69 c #Conflicts: 616000 | #Constraints: 43220
902.67/905.69 c INPROCESSING
902.67/905.69 c GARBAGE COLLECT
902.67/905.69 c #Conflicts: 617000 | #Constraints: 28610
902.67/905.69 c #Conflicts: 618000 | #Constraints: 29610
902.67/905.69 c #Conflicts: 619000 | #Constraints: 30610
902.67/905.69 c #Conflicts: 620000 | #Constraints: 31610
902.67/905.69 c #Conflicts: 621000 | #Constraints: 32610
902.67/905.69 c #Conflicts: 622000 | #Constraints: 33610
902.67/905.69 c #Conflicts: 623000 | #Constraints: 34610
902.67/905.69 c #Conflicts: 624000 | #Constraints: 35610
902.67/905.69 c #Conflicts: 625000 | #Constraints: 36610
902.67/905.69 c #Conflicts: 626000 | #Constraints: 37610
902.67/905.69 c #Conflicts: 627000 | #Constraints: 38610
902.67/905.69 c #Conflicts: 628000 | #Constraints: 39610
902.67/905.69 c #Conflicts: 629000 | #Constraints: 40610
902.67/905.69 c #Conflicts: 630000 | #Constraints: 41610
902.67/905.69 c #Conflicts: 631000 | #Constraints: 42610
902.67/905.69 c #Conflicts: 632000 | #Constraints: 43610
902.67/905.69 c INPROCESSING
902.67/905.69 c GARBAGE COLLECT
902.67/905.69 c #Conflicts: 633000 | #Constraints: 28817
902.67/905.69 c #Conflicts: 634000 | #Constraints: 29817
902.67/905.69 c #Conflicts: 635000 | #Constraints: 30817
902.67/905.69 c #Conflicts: 636000 | #Constraints: 31817
902.67/905.69 c #Conflicts: 637000 | #Constraints: 32817
902.67/905.69 c #Conflicts: 638000 | #Constraints: 33817
902.67/905.69 c #Conflicts: 639000 | #Constraints: 34817
902.67/905.69 c #Conflicts: 640000 | #Constraints: 35817
902.67/905.69 c #Conflicts: 641000 | #Constraints: 36817
902.67/905.69 c #Conflicts: 642000 | #Constraints: 37817
902.67/905.69 c #Conflicts: 643000 | #Constraints: 38817
902.67/905.69 c #Conflicts: 644000 | #Constraints: 39817
902.67/905.69 c #Conflicts: 645000 | #Constraints: 40817
902.67/905.69 c #Conflicts: 646000 | #Constraints: 41817
902.67/905.69 c #Conflicts: 647000 | #Constraints: 42817
902.67/905.69 c #Conflicts: 648000 | #Constraints: 43817
902.67/905.69 c INPROCESSING
902.67/905.69 c GARBAGE COLLECT
902.67/905.69 c #Conflicts: 649000 | #Constraints: 28811
902.67/905.69 c #Conflicts: 650000 | #Constraints: 29811
902.67/905.69 c #Conflicts: 651000 | #Constraints: 30811
902.67/905.69 c #Conflicts: 652000 | #Constraints: 31811
902.67/905.69 c #Conflicts: 653000 | #Constraints: 32811
902.67/905.69 c #Conflicts: 654000 | #Constraints: 33811
902.67/905.69 c #Conflicts: 655000 | #Constraints: 34811
902.67/905.69 c #Conflicts: 656000 | #Constraints: 35811
902.67/905.69 c #Conflicts: 657000 | #Constraints: 36811
902.67/905.69 c #Conflicts: 658000 | #Constraints: 37811
902.67/905.69 c #Conflicts: 659000 | #Constraints: 38811
902.67/905.69 c #Conflicts: 660000 | #Constraints: 39811
902.67/905.69 c #Conflicts: 661000 | #Constraints: 40811
902.67/905.69 c #Conflicts: 662000 | #Constraints: 41811
902.67/905.69 c #Conflicts: 663000 | #Constraints: 42811
902.67/905.69 c #Conflicts: 664000 | #Constraints: 43811
902.67/905.69 c #Conflicts: 665000 | #Constraints: 44811
902.67/905.69 c INPROCESSING
902.67/905.69 c GARBAGE COLLECT
902.67/905.69 c #Conflicts: 666000 | #Constraints: 29621
1033.27/1036.60 c #Conflicts: 667000 | #Constraints: 30621
1033.27/1036.60 c #Conflicts: 668000 | #Constraints: 31621
1033.27/1036.60 c #Conflicts: 669000 | #Constraints: 32621
1033.27/1036.60 c #Conflicts: 670000 | #Constraints: 33621
1033.27/1036.60 c #Conflicts: 671000 | #Constraints: 34621
1033.27/1036.60 c #Conflicts: 672000 | #Constraints: 35621
1033.27/1036.60 c #Conflicts: 673000 | #Constraints: 36621
1033.27/1036.60 c #Conflicts: 674000 | #Constraints: 37621
1033.27/1036.60 c #Conflicts: 675000 | #Constraints: 38621
1033.27/1036.60 c #Conflicts: 676000 | #Constraints: 39621
1033.27/1036.60 c #Conflicts: 677000 | #Constraints: 40621
1033.27/1036.60 c #Conflicts: 678000 | #Constraints: 41621
1033.27/1036.60 c #Conflicts: 679000 | #Constraints: 42621
1033.27/1036.60 c #Conflicts: 680000 | #Constraints: 43621
1033.27/1036.60 c #Conflicts: 681000 | #Constraints: 44621
1033.27/1036.60 c INPROCESSING
1033.27/1036.60 c GARBAGE COLLECT
1033.27/1036.60 c #Conflicts: 682000 | #Constraints: 29206
1033.27/1036.60 c #Conflicts: 683000 | #Constraints: 30206
1033.27/1036.60 c #Conflicts: 684000 | #Constraints: 31206
1033.27/1036.60 c #Conflicts: 685000 | #Constraints: 32206
1033.27/1036.60 c #Conflicts: 686000 | #Constraints: 33206
1033.27/1036.60 c #Conflicts: 687000 | #Constraints: 34206
1033.27/1036.60 c #Conflicts: 688000 | #Constraints: 35206
1033.27/1036.60 c #Conflicts: 689000 | #Constraints: 36206
1033.27/1036.60 c #Conflicts: 690000 | #Constraints: 37206
1033.27/1036.60 c #Conflicts: 691000 | #Constraints: 38206
1033.27/1036.60 c #Conflicts: 692000 | #Constraints: 39206
1033.27/1036.60 c #Conflicts: 693000 | #Constraints: 40206
1033.27/1036.60 c #Conflicts: 694000 | #Constraints: 41206
1033.27/1036.60 c #Conflicts: 695000 | #Constraints: 42206
1033.27/1036.60 c #Conflicts: 696000 | #Constraints: 43206
1033.27/1036.60 c #Conflicts: 697000 | #Constraints: 44206
1033.27/1036.60 c #Conflicts: 698000 | #Constraints: 45206
1033.27/1036.60 c INPROCESSING
1033.27/1036.60 c GARBAGE COLLECT
1033.27/1036.60 c #Conflicts: 699000 | #Constraints: 29613
1033.27/1036.60 c #Conflicts: 700000 | #Constraints: 30613
1033.27/1036.60 c #Conflicts: 701000 | #Constraints: 31613
1033.27/1036.60 c #Conflicts: 702000 | #Constraints: 32613
1033.27/1036.60 c #Conflicts: 703000 | #Constraints: 33613
1033.27/1036.60 c #Conflicts: 704000 | #Constraints: 34613
1033.27/1036.60 c #Conflicts: 705000 | #Constraints: 35613
1033.27/1036.60 c #Conflicts: 706000 | #Constraints: 36613
1033.27/1036.60 c #Conflicts: 707000 | #Constraints: 37613
1033.27/1036.60 c #Conflicts: 708000 | #Constraints: 38613
1033.27/1036.60 c #Conflicts: 709000 | #Constraints: 39613
1033.27/1036.60 c #Conflicts: 710000 | #Constraints: 40613
1033.27/1036.60 c #Conflicts: 711000 | #Constraints: 41613
1033.27/1036.60 c #Conflicts: 712000 | #Constraints: 42613
1033.27/1036.60 c #Conflicts: 713000 | #Constraints: 43613
1033.27/1036.60 c #Conflicts: 714000 | #Constraints: 44613
1033.27/1036.60 c #Conflicts: 715000 | #Constraints: 45613
1033.27/1036.60 c INPROCESSING
1033.27/1036.60 c GARBAGE COLLECT
1033.27/1036.60 c #Conflicts: 716000 | #Constraints: 29805
1033.27/1036.60 c #Conflicts: 717000 | #Constraints: 30805
1033.27/1036.60 c #Conflicts: 718000 | #Constraints: 31805
1033.27/1036.60 c #Conflicts: 719000 | #Constraints: 32805
1033.27/1036.60 c #Conflicts: 720000 | #Constraints: 33805
1033.27/1036.60 c #Conflicts: 721000 | #Constraints: 34805
1033.27/1036.60 c #Conflicts: 722000 | #Constraints: 35805
1033.27/1036.60 c #Conflicts: 723000 | #Constraints: 36805
1033.27/1036.60 c #Conflicts: 724000 | #Constraints: 37805
1033.27/1036.60 c #Conflicts: 725000 | #Constraints: 38805
1033.27/1036.60 c #Conflicts: 726000 | #Constraints: 39805
1033.27/1036.60 c #Conflicts: 727000 | #Constraints: 40805
1033.27/1036.60 c #Conflicts: 728000 | #Constraints: 41805
1033.27/1036.60 c #Conflicts: 729000 | #Constraints: 42805
1033.27/1036.60 c #Conflicts: 730000 | #Constraints: 43805
1033.27/1036.60 c #Conflicts: 731000 | #Constraints: 44805
1033.27/1036.60 c #Conflicts: 732000 | #Constraints: 45805
1033.27/1036.60 c INPROCESSING
1033.27/1036.60 c GARBAGE COLLECT
1033.27/1036.60 c #Conflicts: 733000 | #Constraints: 29803
1033.27/1036.60 c #Conflicts: 734000 | #Constraints: 30803
1033.27/1036.60 c #Conflicts: 735000 | #Constraints: 31803
1033.27/1036.60 c #Conflicts: 736000 | #Constraints: 32803
1033.27/1036.60 c #Conflicts: 737000 | #Constraints: 33803
1033.27/1036.60 c #Conflicts: 738000 | #Constraints: 34803
1033.27/1036.60 c #Conflicts: 739000 | #Constraints: 35803
1033.27/1036.60 c #Conflicts: 740000 | #Constraints: 36803
1033.27/1036.60 c #Conflicts: 741000 | #Constraints: 37803
1033.27/1036.60 c #Conflicts: 742000 | #Constraints: 38803
1136.47/1140.12 c #Conflicts: 743000 | #Constraints: 39803
1136.47/1140.12 c #Conflicts: 744000 | #Constraints: 40803
1136.47/1140.12 c #Conflicts: 745000 | #Constraints: 41803
1136.47/1140.12 c #Conflicts: 746000 | #Constraints: 42803
1136.47/1140.12 c #Conflicts: 747000 | #Constraints: 43803
1136.47/1140.12 c #Conflicts: 748000 | #Constraints: 44803
1136.47/1140.12 c #Conflicts: 749000 | #Constraints: 45803
1136.47/1140.12 c #Conflicts: 750000 | #Constraints: 46803
1136.47/1140.12 c INPROCESSING
1136.47/1140.12 c GARBAGE COLLECT
1136.47/1140.12 c #Conflicts: 751000 | #Constraints: 30625
1136.47/1140.12 c #Conflicts: 752000 | #Constraints: 31625
1136.47/1140.12 c #Conflicts: 753000 | #Constraints: 32625
1136.47/1140.12 c #Conflicts: 754000 | #Constraints: 33625
1136.47/1140.12 c #Conflicts: 755000 | #Constraints: 34625
1136.47/1140.12 c #Conflicts: 756000 | #Constraints: 35625
1136.47/1140.12 c #Conflicts: 757000 | #Constraints: 36625
1136.47/1140.12 c #Conflicts: 758000 | #Constraints: 37625
1136.47/1140.12 c #Conflicts: 759000 | #Constraints: 38625
1136.47/1140.12 c #Conflicts: 760000 | #Constraints: 39625
1136.47/1140.12 c #Conflicts: 761000 | #Constraints: 40625
1136.47/1140.12 c #Conflicts: 762000 | #Constraints: 41625
1136.47/1140.12 c #Conflicts: 763000 | #Constraints: 42625
1136.47/1140.12 c #Conflicts: 764000 | #Constraints: 43625
1136.47/1140.12 c #Conflicts: 765000 | #Constraints: 44625
1136.47/1140.12 c #Conflicts: 766000 | #Constraints: 45625
1136.47/1140.12 c #Conflicts: 767000 | #Constraints: 46625
1136.47/1140.12 c INPROCESSING
1136.47/1140.12 c GARBAGE COLLECT
1136.47/1140.12 c #Conflicts: 768000 | #Constraints: 30227
1136.47/1140.12 c #Conflicts: 769000 | #Constraints: 31227
1136.47/1140.12 c #Conflicts: 770000 | #Constraints: 32227
1136.47/1140.12 c #Conflicts: 771000 | #Constraints: 33227
1136.47/1140.12 c #Conflicts: 772000 | #Constraints: 34227
1136.47/1140.12 c #Conflicts: 773000 | #Constraints: 35227
1136.47/1140.12 c #Conflicts: 774000 | #Constraints: 36227
1136.47/1140.12 c #Conflicts: 775000 | #Constraints: 37227
1136.47/1140.12 c #Conflicts: 776000 | #Constraints: 38227
1136.47/1140.12 c #Conflicts: 777000 | #Constraints: 39227
1136.47/1140.12 c #Conflicts: 778000 | #Constraints: 40227
1136.47/1140.12 c #Conflicts: 779000 | #Constraints: 41227
1136.47/1140.12 c #Conflicts: 780000 | #Constraints: 42227
1136.47/1140.12 c #Conflicts: 781000 | #Constraints: 43227
1136.47/1140.12 c #Conflicts: 782000 | #Constraints: 44227
1136.47/1140.12 c #Conflicts: 783000 | #Constraints: 45227
1136.47/1140.12 c #Conflicts: 784000 | #Constraints: 46227
1136.47/1140.12 c #Conflicts: 785000 | #Constraints: 47227
1136.47/1140.12 c INPROCESSING
1136.47/1140.12 c GARBAGE COLLECT
1136.47/1140.12 c #Conflicts: 786000 | #Constraints: 30621
1136.47/1140.12 c #Conflicts: 787000 | #Constraints: 31621
1136.47/1140.12 c #Conflicts: 788000 | #Constraints: 32621
1136.47/1140.12 c #Conflicts: 789000 | #Constraints: 33621
1136.47/1140.12 c #Conflicts: 790000 | #Constraints: 34621
1136.47/1140.12 c #Conflicts: 791000 | #Constraints: 35621
1136.47/1140.12 c #Conflicts: 792000 | #Constraints: 36621
1136.47/1140.12 c #Conflicts: 793000 | #Constraints: 37621
1136.47/1140.12 c #Conflicts: 794000 | #Constraints: 38621
1136.47/1140.12 c #Conflicts: 795000 | #Constraints: 39621
1136.47/1140.12 c #Conflicts: 796000 | #Constraints: 40621
1136.47/1140.12 c #Conflicts: 797000 | #Constraints: 41621
1136.47/1140.12 c #Conflicts: 798000 | #Constraints: 42621
1136.47/1140.12 c #Conflicts: 799000 | #Constraints: 43621
1136.47/1140.12 c #Conflicts: 800000 | #Constraints: 44621
1136.47/1140.12 c #Conflicts: 801000 | #Constraints: 45621
1136.47/1140.12 c #Conflicts: 802000 | #Constraints: 46621
1136.47/1140.12 c #Conflicts: 803000 | #Constraints: 47621
1136.47/1140.12 c INPROCESSING
1136.47/1140.12 c GARBAGE COLLECT
1136.47/1140.12 c #Conflicts: 804000 | #Constraints: 30809
1136.47/1140.12 c #Conflicts: 805000 | #Constraints: 31809
1136.47/1140.12 c #Conflicts: 806000 | #Constraints: 32809
1136.47/1140.12 c #Conflicts: 807000 | #Constraints: 33809
1136.47/1140.12 c #Conflicts: 808000 | #Constraints: 34809
1136.47/1140.12 c #Conflicts: 809000 | #Constraints: 35809
1136.47/1140.12 c #Conflicts: 810000 | #Constraints: 36809
1136.47/1140.12 c #Conflicts: 811000 | #Constraints: 37809
1136.47/1140.12 c #Conflicts: 812000 | #Constraints: 38809
1136.47/1140.12 c #Conflicts: 813000 | #Constraints: 39809
1136.47/1140.12 c #Conflicts: 814000 | #Constraints: 40809
1136.47/1140.12 c #Conflicts: 815000 | #Constraints: 41809
1136.47/1140.12 c #Conflicts: 816000 | #Constraints: 42809
1136.47/1140.12 c #Conflicts: 817000 | #Constraints: 43809
1136.47/1140.12 c #Conflicts: 818000 | #Constraints: 44809
1250.59/1254.62 c #Conflicts: 819000 | #Constraints: 45809
1250.59/1254.62 c #Conflicts: 820000 | #Constraints: 46809
1250.59/1254.62 c #Conflicts: 821000 | #Constraints: 47809
1250.59/1254.62 c INPROCESSING
1250.59/1254.62 c GARBAGE COLLECT
1250.59/1254.62 c #Conflicts: 822000 | #Constraints: 30814
1250.59/1254.62 c #Conflicts: 823000 | #Constraints: 31814
1250.59/1254.62 c #Conflicts: 824000 | #Constraints: 32814
1250.59/1254.62 c #Conflicts: 825000 | #Constraints: 33814
1250.59/1254.62 c #Conflicts: 826000 | #Constraints: 34814
1250.59/1254.62 c #Conflicts: 827000 | #Constraints: 35814
1250.59/1254.62 c #Conflicts: 828000 | #Constraints: 36814
1250.59/1254.62 c #Conflicts: 829000 | #Constraints: 37814
1250.59/1254.62 c #Conflicts: 830000 | #Constraints: 38814
1250.59/1254.62 c #Conflicts: 831000 | #Constraints: 39814
1250.59/1254.62 c #Conflicts: 832000 | #Constraints: 40814
1250.59/1254.62 c #Conflicts: 833000 | #Constraints: 41814
1250.59/1254.62 c #Conflicts: 834000 | #Constraints: 42814
1250.59/1254.62 c #Conflicts: 835000 | #Constraints: 43814
1250.59/1254.62 c #Conflicts: 836000 | #Constraints: 44814
1250.59/1254.62 c #Conflicts: 837000 | #Constraints: 45814
1250.59/1254.62 c #Conflicts: 838000 | #Constraints: 46814
1250.59/1254.62 c #Conflicts: 839000 | #Constraints: 47814
1250.59/1254.62 c #Conflicts: 840000 | #Constraints: 48814
1250.59/1254.62 c INPROCESSING
1250.59/1254.62 c GARBAGE COLLECT
1250.59/1254.62 c #Conflicts: 841000 | #Constraints: 31606
1250.59/1254.62 c #Conflicts: 842000 | #Constraints: 32606
1250.59/1254.62 c #Conflicts: 843000 | #Constraints: 33606
1250.59/1254.62 c #Conflicts: 844000 | #Constraints: 34606
1250.59/1254.62 c #Conflicts: 845000 | #Constraints: 35606
1250.59/1254.62 c #Conflicts: 846000 | #Constraints: 36606
1250.59/1254.62 c #Conflicts: 847000 | #Constraints: 37606
1250.59/1254.62 c #Conflicts: 848000 | #Constraints: 38606
1250.59/1254.62 c #Conflicts: 849000 | #Constraints: 39606
1250.59/1254.62 c #Conflicts: 850000 | #Constraints: 40606
1250.59/1254.62 c #Conflicts: 851000 | #Constraints: 41606
1250.59/1254.62 c #Conflicts: 852000 | #Constraints: 42606
1250.59/1254.62 c #Conflicts: 853000 | #Constraints: 43606
1250.59/1254.62 c #Conflicts: 854000 | #Constraints: 44606
1250.59/1254.62 c #Conflicts: 855000 | #Constraints: 45606
1250.59/1254.62 c #Conflicts: 856000 | #Constraints: 46606
1250.59/1254.62 c #Conflicts: 857000 | #Constraints: 47606
1250.59/1254.62 c #Conflicts: 858000 | #Constraints: 48606
1250.59/1254.62 c INPROCESSING
1250.59/1254.62 c GARBAGE COLLECT
1250.59/1254.62 c #Conflicts: 859000 | #Constraints: 31212
1250.59/1254.62 c #Conflicts: 860000 | #Constraints: 32212
1250.59/1254.62 c #Conflicts: 861000 | #Constraints: 33212
1250.59/1254.62 c #Conflicts: 862000 | #Constraints: 34212
1250.59/1254.62 c #Conflicts: 863000 | #Constraints: 35212
1250.59/1254.62 c #Conflicts: 864000 | #Constraints: 36212
1250.59/1254.62 c #Conflicts: 865000 | #Constraints: 37212
1250.59/1254.62 c #Conflicts: 866000 | #Constraints: 38212
1250.59/1254.62 c #Conflicts: 867000 | #Constraints: 39212
1250.59/1254.62 c #Conflicts: 868000 | #Constraints: 40212
1250.59/1254.62 c #Conflicts: 869000 | #Constraints: 41212
1250.59/1254.62 c #Conflicts: 870000 | #Constraints: 42212
1250.59/1254.62 c #Conflicts: 871000 | #Constraints: 43212
1250.59/1254.62 c #Conflicts: 872000 | #Constraints: 44212
1250.59/1254.62 c #Conflicts: 873000 | #Constraints: 45212
1250.59/1254.62 c #Conflicts: 874000 | #Constraints: 46212
1250.59/1254.62 c #Conflicts: 875000 | #Constraints: 47212
1250.59/1254.62 c #Conflicts: 876000 | #Constraints: 48212
1250.59/1254.62 c #Conflicts: 877000 | #Constraints: 49212
1250.59/1254.62 c INPROCESSING
1250.59/1254.62 c GARBAGE COLLECT
1250.59/1254.62 c #Conflicts: 878000 | #Constraints: 31620
1250.59/1254.62 c #Conflicts: 879000 | #Constraints: 32620
1250.59/1254.62 c #Conflicts: 880000 | #Constraints: 33620
1250.59/1254.62 c #Conflicts: 881000 | #Constraints: 34620
1250.59/1254.62 c #Conflicts: 882000 | #Constraints: 35620
1250.59/1254.62 c #Conflicts: 883000 | #Constraints: 36620
1250.59/1254.62 c #Conflicts: 884000 | #Constraints: 37620
1250.59/1254.62 c #Conflicts: 885000 | #Constraints: 38620
1250.59/1254.62 c #Conflicts: 886000 | #Constraints: 39620
1250.59/1254.62 c #Conflicts: 887000 | #Constraints: 40620
1250.59/1254.62 c #Conflicts: 888000 | #Constraints: 41620
1250.59/1254.62 c #Conflicts: 889000 | #Constraints: 42620
1250.59/1254.62 c #Conflicts: 890000 | #Constraints: 43620
1250.59/1254.62 c #Conflicts: 891000 | #Constraints: 44620
1250.59/1254.62 c #Conflicts: 892000 | #Constraints: 45620
1250.59/1254.62 c #Conflicts: 893000 | #Constraints: 46620
1250.59/1254.62 c #Conflicts: 894000 | #Constraints: 47620
1250.59/1254.62 c #Conflicts: 895000 | #Constraints: 48620
1394.35/1398.83 c #Conflicts: 896000 | #Constraints: 49620
1394.35/1398.83 c INPROCESSING
1394.35/1398.83 c GARBAGE COLLECT
1394.35/1398.83 c #Conflicts: 897000 | #Constraints: 31822
1394.35/1398.83 c #Conflicts: 898000 | #Constraints: 32822
1394.35/1398.83 c #Conflicts: 899000 | #Constraints: 33822
1394.35/1398.83 c #Conflicts: 900000 | #Constraints: 34822
1394.35/1398.83 c #Conflicts: 901000 | #Constraints: 35822
1394.35/1398.83 c #Conflicts: 902000 | #Constraints: 36822
1394.35/1398.83 c #Conflicts: 903000 | #Constraints: 37822
1394.35/1398.83 c #Conflicts: 904000 | #Constraints: 38822
1394.35/1398.83 c #Conflicts: 905000 | #Constraints: 39822
1394.35/1398.83 c #Conflicts: 906000 | #Constraints: 40822
1394.35/1398.83 c #Conflicts: 907000 | #Constraints: 41822
1394.35/1398.83 c #Conflicts: 908000 | #Constraints: 42822
1394.35/1398.83 c #Conflicts: 909000 | #Constraints: 43822
1394.35/1398.83 c #Conflicts: 910000 | #Constraints: 44822
1394.35/1398.83 c #Conflicts: 911000 | #Constraints: 45822
1394.35/1398.83 c #Conflicts: 912000 | #Constraints: 46822
1394.35/1398.83 c #Conflicts: 913000 | #Constraints: 47822
1394.35/1398.83 c #Conflicts: 914000 | #Constraints: 48822
1394.35/1398.83 c #Conflicts: 915000 | #Constraints: 49822
1394.35/1398.83 c INPROCESSING
1394.35/1398.83 c GARBAGE COLLECT
1394.35/1398.83 c #Conflicts: 916000 | #Constraints: 31830
1394.35/1398.83 c #Conflicts: 917000 | #Constraints: 32830
1394.35/1398.83 c #Conflicts: 918000 | #Constraints: 33830
1394.35/1398.83 c #Conflicts: 919000 | #Constraints: 34830
1394.35/1398.83 c #Conflicts: 920000 | #Constraints: 35830
1394.35/1398.83 c #Conflicts: 921000 | #Constraints: 36830
1394.35/1398.83 c #Conflicts: 922000 | #Constraints: 37830
1394.35/1398.83 c #Conflicts: 923000 | #Constraints: 38830
1394.35/1398.83 c #Conflicts: 924000 | #Constraints: 39830
1394.35/1398.83 c #Conflicts: 925000 | #Constraints: 40830
1394.35/1398.83 c #Conflicts: 926000 | #Constraints: 41830
1394.35/1398.83 c #Conflicts: 927000 | #Constraints: 42830
1394.35/1398.83 c #Conflicts: 928000 | #Constraints: 43830
1394.35/1398.83 c #Conflicts: 929000 | #Constraints: 44830
1394.35/1398.83 c #Conflicts: 930000 | #Constraints: 45830
1394.35/1398.83 c #Conflicts: 931000 | #Constraints: 46830
1394.35/1398.83 c #Conflicts: 932000 | #Constraints: 47830
1394.35/1398.83 c #Conflicts: 933000 | #Constraints: 48830
1394.35/1398.83 c #Conflicts: 934000 | #Constraints: 49830
1394.35/1398.83 c #Conflicts: 935000 | #Constraints: 50830
1394.35/1398.83 c INPROCESSING
1394.35/1398.83 c GARBAGE COLLECT
1394.35/1398.83 c #Conflicts: 936000 | #Constraints: 32615
1394.35/1398.83 c #Conflicts: 937000 | #Constraints: 33615
1394.35/1398.83 c #Conflicts: 938000 | #Constraints: 34615
1394.35/1398.83 c #Conflicts: 939000 | #Constraints: 35615
1394.35/1398.83 c #Conflicts: 940000 | #Constraints: 36615
1394.35/1398.83 c #Conflicts: 941000 | #Constraints: 37615
1394.35/1398.83 c #Conflicts: 942000 | #Constraints: 38615
1394.35/1398.83 c #Conflicts: 943000 | #Constraints: 39615
1394.35/1398.83 c #Conflicts: 944000 | #Constraints: 40615
1394.35/1398.83 c #Conflicts: 945000 | #Constraints: 41615
1394.35/1398.83 c #Conflicts: 946000 | #Constraints: 42615
1394.35/1398.83 c #Conflicts: 947000 | #Constraints: 43615
1394.35/1398.83 c #Conflicts: 948000 | #Constraints: 44615
1394.35/1398.83 c #Conflicts: 949000 | #Constraints: 45615
1394.35/1398.83 c #Conflicts: 950000 | #Constraints: 46615
1394.35/1398.83 c #Conflicts: 951000 | #Constraints: 47615
1394.35/1398.83 c #Conflicts: 952000 | #Constraints: 48615
1394.35/1398.83 c #Conflicts: 953000 | #Constraints: 49615
1394.35/1398.83 c #Conflicts: 954000 | #Constraints: 50615
1394.35/1398.83 c INPROCESSING
1394.35/1398.83 c GARBAGE COLLECT
1394.35/1398.83 c #Conflicts: 955000 | #Constraints: 32219
1394.35/1398.83 c #Conflicts: 956000 | #Constraints: 33219
1394.35/1398.83 c #Conflicts: 957000 | #Constraints: 34219
1394.35/1398.83 c #Conflicts: 958000 | #Constraints: 35219
1394.35/1398.83 c #Conflicts: 959000 | #Constraints: 36219
1394.35/1398.83 c #Conflicts: 960000 | #Constraints: 37219
1394.35/1398.83 c #Conflicts: 961000 | #Constraints: 38219
1394.35/1398.83 c #Conflicts: 962000 | #Constraints: 39219
1394.35/1398.83 c #Conflicts: 963000 | #Constraints: 40219
1394.35/1398.83 c #Conflicts: 964000 | #Constraints: 41219
1394.35/1398.83 c #Conflicts: 965000 | #Constraints: 42219
1394.35/1398.83 c #Conflicts: 966000 | #Constraints: 43219
1394.35/1398.83 c #Conflicts: 967000 | #Constraints: 44219
1394.35/1398.83 c #Conflicts: 968000 | #Constraints: 45219
1394.35/1398.83 c #Conflicts: 969000 | #Constraints: 46219
1394.35/1398.83 c #Conflicts: 970000 | #Constraints: 47219
1394.35/1398.83 c #Conflicts: 971000 | #Constraints: 48219
1527.14/1532.04 c #Conflicts: 972000 | #Constraints: 49219
1527.14/1532.04 c #Conflicts: 973000 | #Constraints: 50219
1527.14/1532.04 c #Conflicts: 974000 | #Constraints: 51219
1527.14/1532.04 c INPROCESSING
1527.14/1532.04 c GARBAGE COLLECT
1527.14/1532.04 c #Conflicts: 975000 | #Constraints: 32609
1527.14/1532.04 c #Conflicts: 976000 | #Constraints: 33609
1527.14/1532.04 c #Conflicts: 977000 | #Constraints: 34609
1527.14/1532.04 c #Conflicts: 978000 | #Constraints: 35609
1527.14/1532.04 c #Conflicts: 979000 | #Constraints: 36609
1527.14/1532.04 c #Conflicts: 980000 | #Constraints: 37609
1527.14/1532.04 c #Conflicts: 981000 | #Constraints: 38609
1527.14/1532.04 c #Conflicts: 982000 | #Constraints: 39609
1527.14/1532.04 c #Conflicts: 983000 | #Constraints: 40609
1527.14/1532.04 c #Conflicts: 984000 | #Constraints: 41609
1527.14/1532.04 c #Conflicts: 985000 | #Constraints: 42609
1527.14/1532.04 c #Conflicts: 986000 | #Constraints: 43609
1527.14/1532.04 c #Conflicts: 987000 | #Constraints: 44609
1527.14/1532.04 c #Conflicts: 988000 | #Constraints: 45609
1527.14/1532.04 c #Conflicts: 989000 | #Constraints: 46609
1527.14/1532.04 c #Conflicts: 990000 | #Constraints: 47609
1527.14/1532.04 c #Conflicts: 991000 | #Constraints: 48609
1527.14/1532.04 c #Conflicts: 992000 | #Constraints: 49609
1527.14/1532.04 c #Conflicts: 993000 | #Constraints: 50609
1527.14/1532.04 c #Conflicts: 994000 | #Constraints: 51609
1527.14/1532.04 c INPROCESSING
1527.14/1532.04 c GARBAGE COLLECT
1527.14/1532.04 c #Conflicts: 995000 | #Constraints: 32815
1527.14/1532.04 c #Conflicts: 996000 | #Constraints: 33815
1527.14/1532.04 c #Conflicts: 997000 | #Constraints: 34815
1527.14/1532.04 c #Conflicts: 998000 | #Constraints: 35815
1527.14/1532.04 c #Conflicts: 999000 | #Constraints: 36815
1527.14/1532.04 c #Conflicts: 1000000 | #Constraints: 37815
1527.14/1532.04 c #Conflicts: 1001000 | #Constraints: 38815
1527.14/1532.04 c #Conflicts: 1002000 | #Constraints: 39815
1527.14/1532.04 c #Conflicts: 1003000 | #Constraints: 40815
1527.14/1532.04 c #Conflicts: 1004000 | #Constraints: 41815
1527.14/1532.04 c #Conflicts: 1005000 | #Constraints: 42815
1527.14/1532.04 c #Conflicts: 1006000 | #Constraints: 43815
1527.14/1532.04 c #Conflicts: 1007000 | #Constraints: 44815
1527.14/1532.04 c #Conflicts: 1008000 | #Constraints: 45815
1527.14/1532.04 c #Conflicts: 1009000 | #Constraints: 46815
1527.14/1532.04 c #Conflicts: 1010000 | #Constraints: 47815
1527.14/1532.04 c #Conflicts: 1011000 | #Constraints: 48815
1527.14/1532.04 c #Conflicts: 1012000 | #Constraints: 49815
1527.14/1532.04 c #Conflicts: 1013000 | #Constraints: 50815
1527.14/1532.04 c #Conflicts: 1014000 | #Constraints: 51815
1527.14/1532.04 c INPROCESSING
1527.14/1532.04 c GARBAGE COLLECT
1527.14/1532.04 c #Conflicts: 1015000 | #Constraints: 32803
1527.14/1532.04 c #Conflicts: 1016000 | #Constraints: 33803
1527.14/1532.04 c #Conflicts: 1017000 | #Constraints: 34803
1527.14/1532.04 c #Conflicts: 1018000 | #Constraints: 35803
1527.14/1532.04 c #Conflicts: 1019000 | #Constraints: 36803
1527.14/1532.04 c #Conflicts: 1020000 | #Constraints: 37803
1527.14/1532.04 c #Conflicts: 1021000 | #Constraints: 38803
1527.14/1532.04 c #Conflicts: 1022000 | #Constraints: 39803
1527.14/1532.04 c #Conflicts: 1023000 | #Constraints: 40803
1527.14/1532.04 c #Conflicts: 1024000 | #Constraints: 41803
1527.14/1532.04 c #Conflicts: 1025000 | #Constraints: 42803
1527.14/1532.04 c #Conflicts: 1026000 | #Constraints: 43803
1527.14/1532.04 c #Conflicts: 1027000 | #Constraints: 44803
1527.14/1532.04 c #Conflicts: 1028000 | #Constraints: 45803
1527.14/1532.04 c #Conflicts: 1029000 | #Constraints: 46803
1527.14/1532.04 c #Conflicts: 1030000 | #Constraints: 47803
1527.14/1532.04 c #Conflicts: 1031000 | #Constraints: 48803
1527.14/1532.04 c #Conflicts: 1032000 | #Constraints: 49803
1527.14/1532.04 c #Conflicts: 1033000 | #Constraints: 50803
1527.14/1532.04 c #Conflicts: 1034000 | #Constraints: 51803
1527.14/1532.04 c #Conflicts: 1035000 | #Constraints: 52803
1527.14/1532.04 c INPROCESSING
1527.14/1532.04 c GARBAGE COLLECT
1527.14/1532.04 c #Conflicts: 1036000 | #Constraints: 33606
1527.14/1532.04 c #Conflicts: 1037000 | #Constraints: 34606
1527.14/1532.04 c #Conflicts: 1038000 | #Constraints: 35606
1527.14/1532.04 c #Conflicts: 1039000 | #Constraints: 36606
1527.14/1532.04 c #Conflicts: 1040000 | #Constraints: 37606
1527.14/1532.04 c #Conflicts: 1041000 | #Constraints: 38606
1527.14/1532.04 c #Conflicts: 1042000 | #Constraints: 39606
1527.14/1532.04 c #Conflicts: 1043000 | #Constraints: 40606
1527.14/1532.04 c #Conflicts: 1044000 | #Constraints: 41606
1527.14/1532.04 c #Conflicts: 1045000 | #Constraints: 42606
1527.14/1532.04 c #Conflicts: 1046000 | #Constraints: 43606
1527.14/1532.04 c #Conflicts: 1047000 | #Constraints: 44606
1679.44/1684.80 c #Conflicts: 1048000 | #Constraints: 45606
1679.44/1684.80 c #Conflicts: 1049000 | #Constraints: 46606
1679.44/1684.80 c #Conflicts: 1050000 | #Constraints: 47606
1679.44/1684.80 c #Conflicts: 1051000 | #Constraints: 48606
1679.44/1684.80 c #Conflicts: 1052000 | #Constraints: 49606
1679.44/1684.80 c #Conflicts: 1053000 | #Constraints: 50606
1679.44/1684.80 c #Conflicts: 1054000 | #Constraints: 51606
1679.44/1684.80 c #Conflicts: 1055000 | #Constraints: 52606
1679.44/1684.80 c INPROCESSING
1679.44/1684.80 c GARBAGE COLLECT
1679.44/1684.80 c #Conflicts: 1056000 | #Constraints: 33197
1679.44/1684.80 c #Conflicts: 1057000 | #Constraints: 34197
1679.44/1684.80 c #Conflicts: 1058000 | #Constraints: 35197
1679.44/1684.80 c #Conflicts: 1059000 | #Constraints: 36197
1679.44/1684.80 c #Conflicts: 1060000 | #Constraints: 37197
1679.44/1684.80 c #Conflicts: 1061000 | #Constraints: 38197
1679.44/1684.80 c #Conflicts: 1062000 | #Constraints: 39197
1679.44/1684.80 c #Conflicts: 1063000 | #Constraints: 40197
1679.44/1684.80 c #Conflicts: 1064000 | #Constraints: 41197
1679.44/1684.80 c #Conflicts: 1065000 | #Constraints: 42197
1679.44/1684.80 c #Conflicts: 1066000 | #Constraints: 43197
1679.44/1684.80 c #Conflicts: 1067000 | #Constraints: 44197
1679.44/1684.80 c #Conflicts: 1068000 | #Constraints: 45197
1679.44/1684.80 c #Conflicts: 1069000 | #Constraints: 46197
1679.44/1684.80 c #Conflicts: 1070000 | #Constraints: 47197
1679.44/1684.80 c #Conflicts: 1071000 | #Constraints: 48197
1679.44/1684.80 c #Conflicts: 1072000 | #Constraints: 49197
1679.44/1684.80 c #Conflicts: 1073000 | #Constraints: 50197
1679.44/1684.80 c #Conflicts: 1074000 | #Constraints: 51197
1679.44/1684.80 c #Conflicts: 1075000 | #Constraints: 52197
1679.44/1684.80 c #Conflicts: 1076000 | #Constraints: 53197
1679.44/1684.80 c INPROCESSING
1679.44/1684.80 c GARBAGE COLLECT
1679.44/1684.80 c #Conflicts: 1077000 | #Constraints: 33580
1679.44/1684.80 c #Conflicts: 1078000 | #Constraints: 34580
1679.44/1684.80 c #Conflicts: 1079000 | #Constraints: 35580
1679.44/1684.80 c #Conflicts: 1080000 | #Constraints: 36580
1679.44/1684.80 c #Conflicts: 1081000 | #Constraints: 37580
1679.44/1684.80 c #Conflicts: 1082000 | #Constraints: 38580
1679.44/1684.80 c #Conflicts: 1083000 | #Constraints: 39580
1679.44/1684.80 c #Conflicts: 1084000 | #Constraints: 40580
1679.44/1684.80 c #Conflicts: 1085000 | #Constraints: 41580
1679.44/1684.80 c #Conflicts: 1086000 | #Constraints: 42580
1679.44/1684.80 c #Conflicts: 1087000 | #Constraints: 43580
1679.44/1684.80 c #Conflicts: 1088000 | #Constraints: 44580
1679.44/1684.80 c #Conflicts: 1089000 | #Constraints: 45580
1679.44/1684.80 c #Conflicts: 1090000 | #Constraints: 46580
1679.44/1684.80 c #Conflicts: 1091000 | #Constraints: 47580
1679.44/1684.80 c #Conflicts: 1092000 | #Constraints: 48580
1679.44/1684.80 c #Conflicts: 1093000 | #Constraints: 49580
1679.44/1684.80 c #Conflicts: 1094000 | #Constraints: 50580
1679.44/1684.80 c #Conflicts: 1095000 | #Constraints: 51580
1679.44/1684.80 c #Conflicts: 1096000 | #Constraints: 52580
1679.44/1684.80 c #Conflicts: 1097000 | #Constraints: 53580
1679.44/1684.80 c INPROCESSING
1679.44/1684.80 c GARBAGE COLLECT
1679.44/1684.80 c #Conflicts: 1098000 | #Constraints: 33804
1679.44/1684.80 c #Conflicts: 1099000 | #Constraints: 34804
1679.44/1684.80 c #Conflicts: 1100000 | #Constraints: 35804
1679.44/1684.80 c #Conflicts: 1101000 | #Constraints: 36804
1679.44/1684.80 c #Conflicts: 1102000 | #Constraints: 37804
1679.44/1684.80 c #Conflicts: 1103000 | #Constraints: 38804
1679.44/1684.80 c #Conflicts: 1104000 | #Constraints: 39804
1679.44/1684.80 c #Conflicts: 1105000 | #Constraints: 40804
1679.44/1684.80 c #Conflicts: 1106000 | #Constraints: 41804
1679.44/1684.80 c #Conflicts: 1107000 | #Constraints: 42804
1679.44/1684.80 c #Conflicts: 1108000 | #Constraints: 43804
1679.44/1684.80 c #Conflicts: 1109000 | #Constraints: 44804
1679.44/1684.80 c #Conflicts: 1110000 | #Constraints: 45804
1679.44/1684.80 c #Conflicts: 1111000 | #Constraints: 46804
1679.44/1684.80 c #Conflicts: 1112000 | #Constraints: 47804
1679.44/1684.80 c #Conflicts: 1113000 | #Constraints: 48804
1679.44/1684.80 c #Conflicts: 1114000 | #Constraints: 49804
1679.44/1684.80 c #Conflicts: 1115000 | #Constraints: 50804
1679.44/1684.80 c #Conflicts: 1116000 | #Constraints: 51804
1679.44/1684.80 c #Conflicts: 1117000 | #Constraints: 52804
1679.44/1684.80 c #Conflicts: 1118000 | #Constraints: 53804
1679.44/1684.80 c INPROCESSING
1679.44/1684.80 c GARBAGE COLLECT
1679.44/1684.80 c #Conflicts: 1119000 | #Constraints: 33791
1679.44/1684.80 c #Conflicts: 1120000 | #Constraints: 34791
1679.44/1684.80 c #Conflicts: 1121000 | #Constraints: 35791
1679.44/1684.80 c #Conflicts: 1122000 | #Constraints: 36791
1679.44/1684.80 c #Conflicts: 1123000 | #Constraints: 37791
1847.23/1853.14 c #Conflicts: 1124000 | #Constraints: 38791
1847.23/1853.14 c #Conflicts: 1125000 | #Constraints: 39791
1847.23/1853.14 c #Conflicts: 1126000 | #Constraints: 40791
1847.23/1853.14 c #Conflicts: 1127000 | #Constraints: 41791
1847.23/1853.14 c #Conflicts: 1128000 | #Constraints: 42791
1847.23/1853.14 c #Conflicts: 1129000 | #Constraints: 43791
1847.23/1853.14 c #Conflicts: 1130000 | #Constraints: 44791
1847.23/1853.14 c #Conflicts: 1131000 | #Constraints: 45791
1847.23/1853.14 c #Conflicts: 1132000 | #Constraints: 46791
1847.23/1853.14 c #Conflicts: 1133000 | #Constraints: 47791
1847.23/1853.14 c #Conflicts: 1134000 | #Constraints: 48791
1847.23/1853.14 c #Conflicts: 1135000 | #Constraints: 49791
1847.23/1853.14 c #Conflicts: 1136000 | #Constraints: 50791
1847.23/1853.14 c #Conflicts: 1137000 | #Constraints: 51791
1847.23/1853.14 c #Conflicts: 1138000 | #Constraints: 52791
1847.23/1853.14 c #Conflicts: 1139000 | #Constraints: 53791
1847.23/1853.14 c #Conflicts: 1140000 | #Constraints: 54791
1847.23/1853.14 c INPROCESSING
1847.23/1853.14 c GARBAGE COLLECT
1847.23/1853.14 c #Conflicts: 1141000 | #Constraints: 34599
1847.23/1853.14 c #Conflicts: 1142000 | #Constraints: 35599
1847.23/1853.14 c #Conflicts: 1143000 | #Constraints: 36599
1847.23/1853.14 c #Conflicts: 1144000 | #Constraints: 37599
1847.23/1853.14 c #Conflicts: 1145000 | #Constraints: 38599
1847.23/1853.14 c #Conflicts: 1146000 | #Constraints: 39599
1847.23/1853.14 c #Conflicts: 1147000 | #Constraints: 40599
1847.23/1853.14 c #Conflicts: 1148000 | #Constraints: 41599
1847.23/1853.14 c #Conflicts: 1149000 | #Constraints: 42599
1847.23/1853.14 c #Conflicts: 1150000 | #Constraints: 43599
1847.23/1853.14 c #Conflicts: 1151000 | #Constraints: 44599
1847.23/1853.14 c #Conflicts: 1152000 | #Constraints: 45599
1847.23/1853.14 c #Conflicts: 1153000 | #Constraints: 46599
1847.23/1853.14 c #Conflicts: 1154000 | #Constraints: 47599
1847.23/1853.14 c #Conflicts: 1155000 | #Constraints: 48599
1847.23/1853.14 c #Conflicts: 1156000 | #Constraints: 49599
1847.23/1853.14 c #Conflicts: 1157000 | #Constraints: 50599
1847.23/1853.14 c #Conflicts: 1158000 | #Constraints: 51599
1847.23/1853.14 c #Conflicts: 1159000 | #Constraints: 52599
1847.23/1853.14 c #Conflicts: 1160000 | #Constraints: 53599
1847.23/1853.14 c #Conflicts: 1161000 | #Constraints: 54599
1847.23/1853.14 c INPROCESSING
1847.23/1853.14 c GARBAGE COLLECT
1847.23/1853.14 c #Conflicts: 1162000 | #Constraints: 34205
1847.23/1853.14 c #Conflicts: 1163000 | #Constraints: 35205
1847.23/1853.14 c #Conflicts: 1164000 | #Constraints: 36205
1847.23/1853.14 c #Conflicts: 1165000 | #Constraints: 37205
1847.23/1853.14 c #Conflicts: 1166000 | #Constraints: 38205
1847.23/1853.14 c #Conflicts: 1167000 | #Constraints: 39205
1847.23/1853.14 c #Conflicts: 1168000 | #Constraints: 40205
1847.23/1853.14 c #Conflicts: 1169000 | #Constraints: 41205
1847.23/1853.14 c #Conflicts: 1170000 | #Constraints: 42205
1847.23/1853.14 c #Conflicts: 1171000 | #Constraints: 43205
1847.23/1853.14 c #Conflicts: 1172000 | #Constraints: 44205
1847.23/1853.14 c #Conflicts: 1173000 | #Constraints: 45205
1847.23/1853.14 c #Conflicts: 1174000 | #Constraints: 46205
1847.23/1853.14 c #Conflicts: 1175000 | #Constraints: 47205
1847.23/1853.14 c #Conflicts: 1176000 | #Constraints: 48205
1847.23/1853.14 c #Conflicts: 1177000 | #Constraints: 49205
1847.23/1853.14 c #Conflicts: 1178000 | #Constraints: 50205
1847.23/1853.14 c #Conflicts: 1179000 | #Constraints: 51205
1847.23/1853.14 c #Conflicts: 1180000 | #Constraints: 52205
1847.23/1853.14 c #Conflicts: 1181000 | #Constraints: 53205
1847.23/1853.14 c #Conflicts: 1182000 | #Constraints: 54205
1847.23/1853.14 c #Conflicts: 1183000 | #Constraints: 55205
1847.23/1853.14 c INPROCESSING
1847.23/1853.14 c GARBAGE COLLECT
1847.23/1853.14 c #Conflicts: 1184000 | #Constraints: 34596
1847.23/1853.14 c #Conflicts: 1185000 | #Constraints: 35596
1847.23/1853.14 c #Conflicts: 1186000 | #Constraints: 36596
1847.23/1853.14 c #Conflicts: 1187000 | #Constraints: 37596
1847.23/1853.14 c #Conflicts: 1188000 | #Constraints: 38596
1847.23/1853.14 c #Conflicts: 1189000 | #Constraints: 39596
1847.23/1853.14 c #Conflicts: 1190000 | #Constraints: 40596
1847.23/1853.14 c #Conflicts: 1191000 | #Constraints: 41596
1847.23/1853.14 c #Conflicts: 1192000 | #Constraints: 42596
1847.23/1853.14 c #Conflicts: 1193000 | #Constraints: 43596
1847.23/1853.14 c #Conflicts: 1194000 | #Constraints: 44596
1847.23/1853.14 c #Conflicts: 1195000 | #Constraints: 45596
1847.23/1853.14 c #Conflicts: 1196000 | #Constraints: 46596
1847.23/1853.14 c #Conflicts: 1197000 | #Constraints: 47596
1847.23/1853.14 c #Conflicts: 1198000 | #Constraints: 48596
1847.23/1853.14 c #Conflicts: 1199000 | #Constraints: 49596
1847.23/1853.14 c #Conflicts: 1200000 | #Constraints: 50596
1967.44/1973.70 c #Conflicts: 1201000 | #Constraints: 51596
1967.44/1973.70 c #Conflicts: 1202000 | #Constraints: 52596
1967.44/1973.70 c #Conflicts: 1203000 | #Constraints: 53596
1967.44/1973.70 c #Conflicts: 1204000 | #Constraints: 54596
1967.44/1973.70 c #Conflicts: 1205000 | #Constraints: 55596
1967.44/1973.70 c INPROCESSING
1967.44/1973.70 c GARBAGE COLLECT
1967.44/1973.70 c #Conflicts: 1206000 | #Constraints: 34802
1967.44/1973.70 c #Conflicts: 1207000 | #Constraints: 35802
1967.44/1973.70 c #Conflicts: 1208000 | #Constraints: 36802
1967.44/1973.70 c #Conflicts: 1209000 | #Constraints: 37802
1967.44/1973.70 c #Conflicts: 1210000 | #Constraints: 38802
1967.44/1973.70 c #Conflicts: 1211000 | #Constraints: 39802
1967.44/1973.70 c #Conflicts: 1212000 | #Constraints: 40802
1967.44/1973.70 c #Conflicts: 1213000 | #Constraints: 41802
1967.44/1973.70 c #Conflicts: 1214000 | #Constraints: 42802
1967.44/1973.70 c #Conflicts: 1215000 | #Constraints: 43802
1967.44/1973.70 c #Conflicts: 1216000 | #Constraints: 44802
1967.44/1973.70 c #Conflicts: 1217000 | #Constraints: 45802
1967.44/1973.70 c #Conflicts: 1218000 | #Constraints: 46802
1967.44/1973.70 c #Conflicts: 1219000 | #Constraints: 47802
1967.44/1973.70 c #Conflicts: 1220000 | #Constraints: 48802
1967.44/1973.70 c #Conflicts: 1221000 | #Constraints: 49802
1967.44/1973.70 c #Conflicts: 1222000 | #Constraints: 50802
1967.44/1973.70 c #Conflicts: 1223000 | #Constraints: 51802
1967.44/1973.70 c #Conflicts: 1224000 | #Constraints: 52802
1967.44/1973.70 c #Conflicts: 1225000 | #Constraints: 53802
1967.44/1973.70 c #Conflicts: 1226000 | #Constraints: 54802
1967.44/1973.70 c #Conflicts: 1227000 | #Constraints: 55802
1967.44/1973.70 c INPROCESSING
1967.44/1973.70 c GARBAGE COLLECT
1967.44/1973.70 c #Conflicts: 1228000 | #Constraints: 34802
1967.44/1973.70 c #Conflicts: 1229000 | #Constraints: 35802
1967.44/1973.70 c #Conflicts: 1230000 | #Constraints: 36802
1967.44/1973.70 c #Conflicts: 1231000 | #Constraints: 37802
1967.44/1973.70 c #Conflicts: 1232000 | #Constraints: 38802
1967.44/1973.70 c #Conflicts: 1233000 | #Constraints: 39802
1967.44/1973.70 c #Conflicts: 1234000 | #Constraints: 40802
1967.44/1973.70 c #Conflicts: 1235000 | #Constraints: 41802
1967.44/1973.70 c #Conflicts: 1236000 | #Constraints: 42802
1967.44/1973.70 c #Conflicts: 1237000 | #Constraints: 43802
1967.44/1973.70 c #Conflicts: 1238000 | #Constraints: 44802
1967.44/1973.70 c #Conflicts: 1239000 | #Constraints: 45802
1967.44/1973.70 c #Conflicts: 1240000 | #Constraints: 46802
1967.44/1973.70 c #Conflicts: 1241000 | #Constraints: 47802
1967.44/1973.70 c #Conflicts: 1242000 | #Constraints: 48802
1967.44/1973.70 c #Conflicts: 1243000 | #Constraints: 49802
1967.44/1973.70 c #Conflicts: 1244000 | #Constraints: 50802
1967.44/1973.70 c #Conflicts: 1245000 | #Constraints: 51802
1967.44/1973.70 c #Conflicts: 1246000 | #Constraints: 52802
1967.44/1973.70 c #Conflicts: 1247000 | #Constraints: 53802
1967.44/1973.70 c #Conflicts: 1248000 | #Constraints: 54802
1967.44/1973.70 c #Conflicts: 1249000 | #Constraints: 55802
1967.44/1973.70 c #Conflicts: 1250000 | #Constraints: 56802
1967.44/1973.70 c INPROCESSING
1967.44/1973.70 c GARBAGE COLLECT
1967.44/1973.70 c #Conflicts: 1251000 | #Constraints: 35591
1967.44/1973.70 c #Conflicts: 1252000 | #Constraints: 36591
1967.44/1973.70 c #Conflicts: 1253000 | #Constraints: 37591
1967.44/1973.70 c #Conflicts: 1254000 | #Constraints: 38591
1967.44/1973.70 c #Conflicts: 1255000 | #Constraints: 39591
1967.44/1973.70 c #Conflicts: 1256000 | #Constraints: 40591
1967.44/1973.70 c #Conflicts: 1257000 | #Constraints: 41591
1967.44/1973.70 c #Conflicts: 1258000 | #Constraints: 42591
1967.44/1973.70 c #Conflicts: 1259000 | #Constraints: 43591
1967.44/1973.70 c #Conflicts: 1260000 | #Constraints: 44591
1967.44/1973.70 c #Conflicts: 1261000 | #Constraints: 45591
1967.44/1973.70 c #Conflicts: 1262000 | #Constraints: 46591
1967.44/1973.70 c #Conflicts: 1263000 | #Constraints: 47591
1967.44/1973.70 c #Conflicts: 1264000 | #Constraints: 48591
1967.44/1973.70 c #Conflicts: 1265000 | #Constraints: 49591
1967.44/1973.70 c #Conflicts: 1266000 | #Constraints: 50591
1967.44/1973.70 c #Conflicts: 1267000 | #Constraints: 51591
1967.44/1973.70 c #Conflicts: 1268000 | #Constraints: 52591
1967.44/1973.70 c #Conflicts: 1269000 | #Constraints: 53591
1967.44/1973.70 c #Conflicts: 1270000 | #Constraints: 54591
1967.44/1973.70 c #Conflicts: 1271000 | #Constraints: 55591
1967.44/1973.70 c #Conflicts: 1272000 | #Constraints: 56591
1967.44/1973.70 c INPROCESSING
1967.44/1973.70 c GARBAGE COLLECT
1967.44/1973.70 c #Conflicts: 1273000 | #Constraints: 35192
1967.44/1973.70 c #Conflicts: 1274000 | #Constraints: 36192
1967.44/1973.70 c #Conflicts: 1275000 | #Constraints: 37192
1967.44/1973.70 c #Conflicts: 1276000 | #Constraints: 38192
1967.44/1973.70 c #Conflicts: 1277000 | #Constraints: 39192
2079.57/2086.22 c #Conflicts: 1278000 | #Constraints: 40192
2079.57/2086.22 c #Conflicts: 1279000 | #Constraints: 41192
2079.57/2086.22 c #Conflicts: 1280000 | #Constraints: 42192
2079.57/2086.22 c #Conflicts: 1281000 | #Constraints: 43192
2079.57/2086.22 c #Conflicts: 1282000 | #Constraints: 44192
2079.57/2086.22 c #Conflicts: 1283000 | #Constraints: 45192
2079.57/2086.22 c #Conflicts: 1284000 | #Constraints: 46192
2079.57/2086.22 c #Conflicts: 1285000 | #Constraints: 47192
2079.57/2086.22 c #Conflicts: 1286000 | #Constraints: 48192
2079.57/2086.22 c #Conflicts: 1287000 | #Constraints: 49192
2079.57/2086.22 c #Conflicts: 1288000 | #Constraints: 50192
2079.57/2086.22 c #Conflicts: 1289000 | #Constraints: 51192
2079.57/2086.22 c #Conflicts: 1290000 | #Constraints: 52192
2079.57/2086.22 c #Conflicts: 1291000 | #Constraints: 53192
2079.57/2086.22 c #Conflicts: 1292000 | #Constraints: 54192
2079.57/2086.22 c #Conflicts: 1293000 | #Constraints: 55192
2079.57/2086.22 c #Conflicts: 1294000 | #Constraints: 56192
2079.57/2086.22 c #Conflicts: 1295000 | #Constraints: 57192
2079.57/2086.22 c INPROCESSING
2079.57/2086.22 c GARBAGE COLLECT
2079.57/2086.22 c #Conflicts: 1296000 | #Constraints: 35587
2079.57/2086.22 c #Conflicts: 1297000 | #Constraints: 36587
2079.57/2086.22 c #Conflicts: 1298000 | #Constraints: 37587
2079.57/2086.22 c #Conflicts: 1299000 | #Constraints: 38587
2079.57/2086.22 c #Conflicts: 1300000 | #Constraints: 39587
2079.57/2086.22 c #Conflicts: 1301000 | #Constraints: 40587
2079.57/2086.22 c #Conflicts: 1302000 | #Constraints: 41587
2079.57/2086.22 c #Conflicts: 1303000 | #Constraints: 42587
2079.57/2086.22 c #Conflicts: 1304000 | #Constraints: 43587
2079.57/2086.22 c #Conflicts: 1305000 | #Constraints: 44587
2079.57/2086.22 c #Conflicts: 1306000 | #Constraints: 45587
2079.57/2086.22 c #Conflicts: 1307000 | #Constraints: 46587
2079.57/2086.22 c #Conflicts: 1308000 | #Constraints: 47587
2079.57/2086.22 c #Conflicts: 1309000 | #Constraints: 48587
2079.57/2086.22 c #Conflicts: 1310000 | #Constraints: 49587
2079.57/2086.22 c #Conflicts: 1311000 | #Constraints: 50587
2079.57/2086.22 c #Conflicts: 1312000 | #Constraints: 51587
2079.57/2086.22 c #Conflicts: 1313000 | #Constraints: 52587
2079.57/2086.22 c #Conflicts: 1314000 | #Constraints: 53587
2079.57/2086.22 c #Conflicts: 1315000 | #Constraints: 54587
2079.57/2086.22 c #Conflicts: 1316000 | #Constraints: 55587
2079.57/2086.22 c #Conflicts: 1317000 | #Constraints: 56587
2079.57/2086.22 c #Conflicts: 1318000 | #Constraints: 57587
2079.57/2086.22 c INPROCESSING
2079.57/2086.22 c GARBAGE COLLECT
2079.57/2086.22 c #Conflicts: 1319000 | #Constraints: 35788
2079.57/2086.22 c #Conflicts: 1320000 | #Constraints: 36788
2079.57/2086.22 c #Conflicts: 1321000 | #Constraints: 37788
2079.57/2086.22 c #Conflicts: 1322000 | #Constraints: 38788
2079.57/2086.22 c #Conflicts: 1323000 | #Constraints: 39788
2079.57/2086.22 c #Conflicts: 1324000 | #Constraints: 40788
2079.57/2086.22 c #Conflicts: 1325000 | #Constraints: 41788
2079.57/2086.22 c #Conflicts: 1326000 | #Constraints: 42788
2079.57/2086.22 c #Conflicts: 1327000 | #Constraints: 43788
2079.57/2086.22 c #Conflicts: 1328000 | #Constraints: 44788
2079.57/2086.22 c #Conflicts: 1329000 | #Constraints: 45788
2079.57/2086.22 c #Conflicts: 1330000 | #Constraints: 46788
2079.57/2086.22 c #Conflicts: 1331000 | #Constraints: 47788
2079.57/2086.22 c #Conflicts: 1332000 | #Constraints: 48788
2079.57/2086.22 c #Conflicts: 1333000 | #Constraints: 49788
2079.57/2086.22 c #Conflicts: 1334000 | #Constraints: 50788
2079.57/2086.22 c #Conflicts: 1335000 | #Constraints: 51788
2079.57/2086.22 c #Conflicts: 1336000 | #Constraints: 52788
2079.57/2086.22 c #Conflicts: 1337000 | #Constraints: 53788
2079.57/2086.22 c #Conflicts: 1338000 | #Constraints: 54788
2079.57/2086.22 c #Conflicts: 1339000 | #Constraints: 55788
2079.57/2086.22 c #Conflicts: 1340000 | #Constraints: 56788
2079.57/2086.22 c #Conflicts: 1341000 | #Constraints: 57788
2079.57/2086.22 c INPROCESSING
2079.57/2086.22 c GARBAGE COLLECT
2079.57/2086.22 c #Conflicts: 1342000 | #Constraints: 35783
2079.57/2086.22 c #Conflicts: 1343000 | #Constraints: 36783
2079.57/2086.22 c #Conflicts: 1344000 | #Constraints: 37783
2079.57/2086.22 c #Conflicts: 1345000 | #Constraints: 38783
2079.57/2086.22 c #Conflicts: 1346000 | #Constraints: 39783
2079.57/2086.22 c #Conflicts: 1347000 | #Constraints: 40783
2079.57/2086.22 c #Conflicts: 1348000 | #Constraints: 41783
2079.57/2086.22 c #Conflicts: 1349000 | #Constraints: 42783
2079.57/2086.22 c #Conflicts: 1350000 | #Constraints: 43783
2079.57/2086.22 c #Conflicts: 1351000 | #Constraints: 44783
2079.57/2086.22 c #Conflicts: 1352000 | #Constraints: 45783
2079.57/2086.22 c #Conflicts: 1353000 | #Constraints: 46783
2212.54/2219.62 c #Conflicts: 1354000 | #Constraints: 47783
2212.54/2219.62 c #Conflicts: 1355000 | #Constraints: 48783
2212.54/2219.62 c #Conflicts: 1356000 | #Constraints: 49783
2212.54/2219.62 c #Conflicts: 1357000 | #Constraints: 50783
2212.54/2219.62 c #Conflicts: 1358000 | #Constraints: 51783
2212.54/2219.62 c #Conflicts: 1359000 | #Constraints: 52783
2212.54/2219.62 c #Conflicts: 1360000 | #Constraints: 53783
2212.54/2219.62 c #Conflicts: 1361000 | #Constraints: 54783
2212.54/2219.62 c #Conflicts: 1362000 | #Constraints: 55783
2212.54/2219.62 c #Conflicts: 1363000 | #Constraints: 56783
2212.54/2219.62 c #Conflicts: 1364000 | #Constraints: 57783
2212.54/2219.62 c #Conflicts: 1365000 | #Constraints: 58783
2212.54/2219.62 c INPROCESSING
2212.54/2219.62 c GARBAGE COLLECT
2212.54/2219.62 c #Conflicts: 1366000 | #Constraints: 36584
2212.54/2219.62 c #Conflicts: 1367000 | #Constraints: 37584
2212.54/2219.62 c #Conflicts: 1368000 | #Constraints: 38584
2212.54/2219.62 c #Conflicts: 1369000 | #Constraints: 39584
2212.54/2219.62 c #Conflicts: 1370000 | #Constraints: 40584
2212.54/2219.62 c #Conflicts: 1371000 | #Constraints: 41584
2212.54/2219.62 c #Conflicts: 1372000 | #Constraints: 42584
2212.54/2219.62 c #Conflicts: 1373000 | #Constraints: 43584
2212.54/2219.62 c #Conflicts: 1374000 | #Constraints: 44584
2212.54/2219.62 c #Conflicts: 1375000 | #Constraints: 45584
2212.54/2219.62 c #Conflicts: 1376000 | #Constraints: 46584
2212.54/2219.62 c #Conflicts: 1377000 | #Constraints: 47584
2212.54/2219.62 c #Conflicts: 1378000 | #Constraints: 48584
2212.54/2219.62 c #Conflicts: 1379000 | #Constraints: 49584
2212.54/2219.62 c #Conflicts: 1380000 | #Constraints: 50584
2212.54/2219.62 c #Conflicts: 1381000 | #Constraints: 51584
2212.54/2219.62 c #Conflicts: 1382000 | #Constraints: 52584
2212.54/2219.62 c #Conflicts: 1383000 | #Constraints: 53584
2212.54/2219.62 c #Conflicts: 1384000 | #Constraints: 54584
2212.54/2219.62 c #Conflicts: 1385000 | #Constraints: 55584
2212.54/2219.62 c #Conflicts: 1386000 | #Constraints: 56584
2212.54/2219.62 c #Conflicts: 1387000 | #Constraints: 57584
2212.54/2219.62 c #Conflicts: 1388000 | #Constraints: 58584
2212.54/2219.62 c INPROCESSING
2212.54/2219.62 c GARBAGE COLLECT
2212.54/2219.62 c #Conflicts: 1389000 | #Constraints: 36203
2212.54/2219.62 c #Conflicts: 1390000 | #Constraints: 37203
2212.54/2219.62 c #Conflicts: 1391000 | #Constraints: 38203
2212.54/2219.62 c #Conflicts: 1392000 | #Constraints: 39203
2212.54/2219.62 c #Conflicts: 1393000 | #Constraints: 40203
2212.54/2219.62 c #Conflicts: 1394000 | #Constraints: 41203
2212.54/2219.62 c #Conflicts: 1395000 | #Constraints: 42203
2212.54/2219.62 c #Conflicts: 1396000 | #Constraints: 43203
2212.54/2219.62 c #Conflicts: 1397000 | #Constraints: 44203
2212.54/2219.62 c #Conflicts: 1398000 | #Constraints: 45203
2212.54/2219.62 c #Conflicts: 1399000 | #Constraints: 46203
2212.54/2219.62 c #Conflicts: 1400000 | #Constraints: 47203
2212.54/2219.62 c #Conflicts: 1401000 | #Constraints: 48203
2212.54/2219.62 c #Conflicts: 1402000 | #Constraints: 49203
2212.54/2219.62 c #Conflicts: 1403000 | #Constraints: 50203
2212.54/2219.62 c #Conflicts: 1404000 | #Constraints: 51203
2212.54/2219.62 c #Conflicts: 1405000 | #Constraints: 52203
2212.54/2219.62 c #Conflicts: 1406000 | #Constraints: 53203
2212.54/2219.62 c #Conflicts: 1407000 | #Constraints: 54203
2212.54/2219.62 c #Conflicts: 1408000 | #Constraints: 55203
2212.54/2219.62 c #Conflicts: 1409000 | #Constraints: 56203
2212.54/2219.62 c #Conflicts: 1410000 | #Constraints: 57203
2212.54/2219.62 c #Conflicts: 1411000 | #Constraints: 58203
2212.54/2219.62 c #Conflicts: 1412000 | #Constraints: 59203
2212.54/2219.62 c INPROCESSING
2212.54/2219.62 c GARBAGE COLLECT
2212.54/2219.62 c #Conflicts: 1413000 | #Constraints: 36612
2212.54/2219.62 c #Conflicts: 1414000 | #Constraints: 37612
2212.54/2219.62 c #Conflicts: 1415000 | #Constraints: 38612
2212.54/2219.62 c #Conflicts: 1416000 | #Constraints: 39612
2212.54/2219.62 c #Conflicts: 1417000 | #Constraints: 40612
2212.54/2219.62 c #Conflicts: 1418000 | #Constraints: 41612
2212.54/2219.62 c #Conflicts: 1419000 | #Constraints: 42612
2212.54/2219.62 c #Conflicts: 1420000 | #Constraints: 43612
2212.54/2219.62 c #Conflicts: 1421000 | #Constraints: 44612
2212.54/2219.62 c #Conflicts: 1422000 | #Constraints: 45612
2212.54/2219.62 c #Conflicts: 1423000 | #Constraints: 46612
2212.54/2219.62 c #Conflicts: 1424000 | #Constraints: 47612
2212.54/2219.62 c #Conflicts: 1425000 | #Constraints: 48612
2212.54/2219.62 c #Conflicts: 1426000 | #Constraints: 49612
2212.54/2219.62 c #Conflicts: 1427000 | #Constraints: 50612
2212.54/2219.62 c #Conflicts: 1428000 | #Constraints: 51612
2212.54/2219.62 c #Conflicts: 1429000 | #Constraints: 52612
2212.54/2219.62 c #Conflicts: 1430000 | #Constraints: 53612
2374.00/2381.60 c #Conflicts: 1431000 | #Constraints: 54612
2374.00/2381.60 c #Conflicts: 1432000 | #Constraints: 55612
2374.00/2381.60 c #Conflicts: 1433000 | #Constraints: 56612
2374.00/2381.60 c #Conflicts: 1434000 | #Constraints: 57612
2374.00/2381.60 c #Conflicts: 1435000 | #Constraints: 58612
2374.00/2381.60 c #Conflicts: 1436000 | #Constraints: 59612
2374.00/2381.60 c INPROCESSING
2374.00/2381.60 c GARBAGE COLLECT
2374.00/2381.60 c #Conflicts: 1437000 | #Constraints: 36819
2374.00/2381.60 c #Conflicts: 1438000 | #Constraints: 37819
2374.00/2381.60 c #Conflicts: 1439000 | #Constraints: 38819
2374.00/2381.60 c #Conflicts: 1440000 | #Constraints: 39819
2374.00/2381.60 c #Conflicts: 1441000 | #Constraints: 40819
2374.00/2381.60 c #Conflicts: 1442000 | #Constraints: 41819
2374.00/2381.60 c #Conflicts: 1443000 | #Constraints: 42819
2374.00/2381.60 c #Conflicts: 1444000 | #Constraints: 43819
2374.00/2381.60 c #Conflicts: 1445000 | #Constraints: 44819
2374.00/2381.60 c #Conflicts: 1446000 | #Constraints: 45819
2374.00/2381.60 c #Conflicts: 1447000 | #Constraints: 46819
2374.00/2381.60 c #Conflicts: 1448000 | #Constraints: 47819
2374.00/2381.60 c #Conflicts: 1449000 | #Constraints: 48819
2374.00/2381.60 c #Conflicts: 1450000 | #Constraints: 49819
2374.00/2381.60 c #Conflicts: 1451000 | #Constraints: 50819
2374.00/2381.60 c #Conflicts: 1452000 | #Constraints: 51819
2374.00/2381.60 c #Conflicts: 1453000 | #Constraints: 52819
2374.00/2381.60 c #Conflicts: 1454000 | #Constraints: 53819
2374.00/2381.60 c #Conflicts: 1455000 | #Constraints: 54819
2374.00/2381.60 c #Conflicts: 1456000 | #Constraints: 55819
2374.00/2381.60 c #Conflicts: 1457000 | #Constraints: 56819
2374.00/2381.60 c #Conflicts: 1458000 | #Constraints: 57819
2374.00/2381.60 c #Conflicts: 1459000 | #Constraints: 58819
2374.00/2381.60 c #Conflicts: 1460000 | #Constraints: 59819
2374.00/2381.60 c INPROCESSING
2374.00/2381.60 c GARBAGE COLLECT
2374.00/2381.60 c #Conflicts: 1461000 | #Constraints: 36805
2374.00/2381.60 c #Conflicts: 1462000 | #Constraints: 37805
2374.00/2381.60 c #Conflicts: 1463000 | #Constraints: 38805
2374.00/2381.60 c #Conflicts: 1464000 | #Constraints: 39805
2374.00/2381.60 c #Conflicts: 1465000 | #Constraints: 40805
2374.00/2381.60 c #Conflicts: 1466000 | #Constraints: 41805
2374.00/2381.60 c #Conflicts: 1467000 | #Constraints: 42805
2374.00/2381.60 c #Conflicts: 1468000 | #Constraints: 43805
2374.00/2381.60 c #Conflicts: 1469000 | #Constraints: 44805
2374.00/2381.60 c #Conflicts: 1470000 | #Constraints: 45805
2374.00/2381.60 c #Conflicts: 1471000 | #Constraints: 46805
2374.00/2381.60 c #Conflicts: 1472000 | #Constraints: 47805
2374.00/2381.60 c #Conflicts: 1473000 | #Constraints: 48805
2374.00/2381.60 c #Conflicts: 1474000 | #Constraints: 49805
2374.00/2381.60 c #Conflicts: 1475000 | #Constraints: 50805
2374.00/2381.60 c #Conflicts: 1476000 | #Constraints: 51805
2374.00/2381.60 c #Conflicts: 1477000 | #Constraints: 52805
2374.00/2381.60 c #Conflicts: 1478000 | #Constraints: 53805
2374.00/2381.60 c #Conflicts: 1479000 | #Constraints: 54805
2374.00/2381.60 c #Conflicts: 1480000 | #Constraints: 55805
2374.00/2381.60 c #Conflicts: 1481000 | #Constraints: 56805
2374.00/2381.60 c #Conflicts: 1482000 | #Constraints: 57805
2374.00/2381.60 c #Conflicts: 1483000 | #Constraints: 58805
2374.00/2381.60 c #Conflicts: 1484000 | #Constraints: 59805
2374.00/2381.60 c #Conflicts: 1485000 | #Constraints: 60805
2374.00/2381.60 c INPROCESSING
2374.00/2381.60 c GARBAGE COLLECT
2374.00/2381.60 c #Conflicts: 1486000 | #Constraints: 37596
2374.00/2381.60 c #Conflicts: 1487000 | #Constraints: 38596
2374.00/2381.60 c #Conflicts: 1488000 | #Constraints: 39596
2374.00/2381.60 c #Conflicts: 1489000 | #Constraints: 40596
2374.00/2381.60 c #Conflicts: 1490000 | #Constraints: 41596
2374.00/2381.60 c #Conflicts: 1491000 | #Constraints: 42596
2374.00/2381.60 c #Conflicts: 1492000 | #Constraints: 43596
2374.00/2381.60 c #Conflicts: 1493000 | #Constraints: 44596
2374.00/2381.60 c #Conflicts: 1494000 | #Constraints: 45596
2374.00/2381.60 c #Conflicts: 1495000 | #Constraints: 46596
2374.00/2381.60 c #Conflicts: 1496000 | #Constraints: 47596
2374.00/2381.60 c #Conflicts: 1497000 | #Constraints: 48596
2374.00/2381.60 c #Conflicts: 1498000 | #Constraints: 49596
2374.00/2381.60 c #Conflicts: 1499000 | #Constraints: 50596
2374.00/2381.60 c #Conflicts: 1500000 | #Constraints: 51596
2374.00/2381.60 c #Conflicts: 1501000 | #Constraints: 52596
2374.00/2381.60 c #Conflicts: 1502000 | #Constraints: 53596
2374.00/2381.60 c #Conflicts: 1503000 | #Constraints: 54596
2374.00/2381.60 c #Conflicts: 1504000 | #Constraints: 55596
2374.00/2381.60 c #Conflicts: 1505000 | #Constraints: 56596
2374.00/2381.60 c #Conflicts: 1506000 | #Constraints: 57596
2374.00/2381.60 c #Conflicts: 1507000 | #Constraints: 58596
2567.07/2575.32 c #Conflicts: 1508000 | #Constraints: 59596
2567.07/2575.32 c #Conflicts: 1509000 | #Constraints: 60596
2567.07/2575.32 c INPROCESSING
2567.07/2575.32 c GARBAGE COLLECT
2567.07/2575.32 c #Conflicts: 1510000 | #Constraints: 37195
2567.07/2575.32 c #Conflicts: 1511000 | #Constraints: 38195
2567.07/2575.32 c #Conflicts: 1512000 | #Constraints: 39195
2567.07/2575.32 c #Conflicts: 1513000 | #Constraints: 40195
2567.07/2575.32 c #Conflicts: 1514000 | #Constraints: 41195
2567.07/2575.32 c #Conflicts: 1515000 | #Constraints: 42195
2567.07/2575.32 c #Conflicts: 1516000 | #Constraints: 43195
2567.07/2575.32 c #Conflicts: 1517000 | #Constraints: 44195
2567.07/2575.32 c #Conflicts: 1518000 | #Constraints: 45195
2567.07/2575.32 c #Conflicts: 1519000 | #Constraints: 46195
2567.07/2575.32 c #Conflicts: 1520000 | #Constraints: 47195
2567.07/2575.32 c #Conflicts: 1521000 | #Constraints: 48195
2567.07/2575.32 c #Conflicts: 1522000 | #Constraints: 49195
2567.07/2575.32 c #Conflicts: 1523000 | #Constraints: 50195
2567.07/2575.32 c #Conflicts: 1524000 | #Constraints: 51195
2567.07/2575.32 c #Conflicts: 1525000 | #Constraints: 52195
2567.07/2575.32 c #Conflicts: 1526000 | #Constraints: 53195
2567.07/2575.32 c #Conflicts: 1527000 | #Constraints: 54195
2567.07/2575.32 c #Conflicts: 1528000 | #Constraints: 55195
2567.07/2575.32 c #Conflicts: 1529000 | #Constraints: 56195
2567.07/2575.32 c #Conflicts: 1530000 | #Constraints: 57195
2567.07/2575.32 c #Conflicts: 1531000 | #Constraints: 58195
2567.07/2575.32 c #Conflicts: 1532000 | #Constraints: 59195
2567.07/2575.32 c #Conflicts: 1533000 | #Constraints: 60195
2567.07/2575.32 c #Conflicts: 1534000 | #Constraints: 61195
2567.07/2575.32 c INPROCESSING
2567.07/2575.32 c GARBAGE COLLECT
2567.07/2575.32 c #Conflicts: 1535000 | #Constraints: 37604
2567.07/2575.32 c #Conflicts: 1536000 | #Constraints: 38604
2567.07/2575.32 c #Conflicts: 1537000 | #Constraints: 39604
2567.07/2575.32 c #Conflicts: 1538000 | #Constraints: 40604
2567.07/2575.32 c #Conflicts: 1539000 | #Constraints: 41604
2567.07/2575.32 c #Conflicts: 1540000 | #Constraints: 42604
2567.07/2575.32 c #Conflicts: 1541000 | #Constraints: 43604
2567.07/2575.32 c #Conflicts: 1542000 | #Constraints: 44604
2567.07/2575.32 c #Conflicts: 1543000 | #Constraints: 45604
2567.07/2575.32 c #Conflicts: 1544000 | #Constraints: 46604
2567.07/2575.32 c #Conflicts: 1545000 | #Constraints: 47604
2567.07/2575.32 c #Conflicts: 1546000 | #Constraints: 48604
2567.07/2575.32 c #Conflicts: 1547000 | #Constraints: 49604
2567.07/2575.32 c #Conflicts: 1548000 | #Constraints: 50604
2567.07/2575.32 c #Conflicts: 1549000 | #Constraints: 51604
2567.07/2575.32 c #Conflicts: 1550000 | #Constraints: 52604
2567.07/2575.32 c #Conflicts: 1551000 | #Constraints: 53604
2567.07/2575.32 c #Conflicts: 1552000 | #Constraints: 54604
2567.07/2575.32 c #Conflicts: 1553000 | #Constraints: 55604
2567.07/2575.32 c #Conflicts: 1554000 | #Constraints: 56604
2567.07/2575.32 c #Conflicts: 1555000 | #Constraints: 57604
2567.07/2575.32 c #Conflicts: 1556000 | #Constraints: 58604
2567.07/2575.32 c #Conflicts: 1557000 | #Constraints: 59604
2567.07/2575.32 c #Conflicts: 1558000 | #Constraints: 60604
2567.07/2575.32 c #Conflicts: 1559000 | #Constraints: 61604
2567.07/2575.32 c INPROCESSING
2567.07/2575.32 c GARBAGE COLLECT
2567.07/2575.32 c #Conflicts: 1560000 | #Constraints: 37801
2567.07/2575.32 c #Conflicts: 1561000 | #Constraints: 38801
2567.07/2575.32 c #Conflicts: 1562000 | #Constraints: 39801
2567.07/2575.32 c #Conflicts: 1563000 | #Constraints: 40801
2567.07/2575.32 c #Conflicts: 1564000 | #Constraints: 41801
2567.07/2575.32 c #Conflicts: 1565000 | #Constraints: 42801
2567.07/2575.32 c #Conflicts: 1566000 | #Constraints: 43801
2567.07/2575.32 c #Conflicts: 1567000 | #Constraints: 44801
2567.07/2575.32 c #Conflicts: 1568000 | #Constraints: 45801
2567.07/2575.32 c #Conflicts: 1569000 | #Constraints: 46801
2567.07/2575.32 c #Conflicts: 1570000 | #Constraints: 47801
2567.07/2575.32 c #Conflicts: 1571000 | #Constraints: 48801
2567.07/2575.32 c #Conflicts: 1572000 | #Constraints: 49801
2567.07/2575.32 c #Conflicts: 1573000 | #Constraints: 50801
2567.07/2575.32 c #Conflicts: 1574000 | #Constraints: 51801
2567.07/2575.32 c #Conflicts: 1575000 | #Constraints: 52801
2567.07/2575.32 c #Conflicts: 1576000 | #Constraints: 53801
2567.07/2575.32 c #Conflicts: 1577000 | #Constraints: 54801
2567.07/2575.32 c #Conflicts: 1578000 | #Constraints: 55801
2567.07/2575.32 c #Conflicts: 1579000 | #Constraints: 56801
2567.07/2575.32 c #Conflicts: 1580000 | #Constraints: 57801
2567.07/2575.32 c #Conflicts: 1581000 | #Constraints: 58801
2567.07/2575.32 c #Conflicts: 1582000 | #Constraints: 59801
2567.07/2575.32 c #Conflicts: 1583000 | #Constraints: 60801
2567.07/2575.32 c #Conflicts: 1584000 | #Constraints: 61801
2737.63/2746.41 c INPROCESSING
2737.63/2746.41 c GARBAGE COLLECT
2737.63/2746.41 c #Conflicts: 1585000 | #Constraints: 37792
2737.63/2746.41 c #Conflicts: 1586000 | #Constraints: 38792
2737.63/2746.41 c #Conflicts: 1587000 | #Constraints: 39792
2737.63/2746.41 c #Conflicts: 1588000 | #Constraints: 40792
2737.63/2746.41 c #Conflicts: 1589000 | #Constraints: 41792
2737.63/2746.41 c #Conflicts: 1590000 | #Constraints: 42792
2737.63/2746.41 c #Conflicts: 1591000 | #Constraints: 43792
2737.63/2746.41 c #Conflicts: 1592000 | #Constraints: 44792
2737.63/2746.41 c #Conflicts: 1593000 | #Constraints: 45792
2737.63/2746.41 c #Conflicts: 1594000 | #Constraints: 46792
2737.63/2746.41 c #Conflicts: 1595000 | #Constraints: 47792
2737.63/2746.41 c #Conflicts: 1596000 | #Constraints: 48792
2737.63/2746.41 c #Conflicts: 1597000 | #Constraints: 49792
2737.63/2746.41 c #Conflicts: 1598000 | #Constraints: 50792
2737.63/2746.41 c #Conflicts: 1599000 | #Constraints: 51792
2737.63/2746.41 c #Conflicts: 1600000 | #Constraints: 52792
2737.63/2746.41 c #Conflicts: 1601000 | #Constraints: 53792
2737.63/2746.41 c #Conflicts: 1602000 | #Constraints: 54792
2737.63/2746.41 c #Conflicts: 1603000 | #Constraints: 55792
2737.63/2746.41 c #Conflicts: 1604000 | #Constraints: 56792
2737.63/2746.41 c #Conflicts: 1605000 | #Constraints: 57792
2737.63/2746.41 c #Conflicts: 1606000 | #Constraints: 58792
2737.63/2746.41 c #Conflicts: 1607000 | #Constraints: 59792
2737.63/2746.41 c #Conflicts: 1608000 | #Constraints: 60792
2737.63/2746.41 c #Conflicts: 1609000 | #Constraints: 61792
2737.63/2746.41 c #Conflicts: 1610000 | #Constraints: 62792
2737.63/2746.41 c INPROCESSING
2737.63/2746.41 c GARBAGE COLLECT
2737.63/2746.41 c #Conflicts: 1611000 | #Constraints: 38593
2737.63/2746.41 c #Conflicts: 1612000 | #Constraints: 39593
2737.63/2746.41 c #Conflicts: 1613000 | #Constraints: 40593
2737.63/2746.41 c #Conflicts: 1614000 | #Constraints: 41593
2737.63/2746.41 c #Conflicts: 1615000 | #Constraints: 42593
2737.63/2746.41 c #Conflicts: 1616000 | #Constraints: 43593
2737.63/2746.41 c #Conflicts: 1617000 | #Constraints: 44593
2737.63/2746.41 c #Conflicts: 1618000 | #Constraints: 45593
2737.63/2746.41 c #Conflicts: 1619000 | #Constraints: 46593
2737.63/2746.41 c #Conflicts: 1620000 | #Constraints: 47593
2737.63/2746.41 c #Conflicts: 1621000 | #Constraints: 48593
2737.63/2746.41 c #Conflicts: 1622000 | #Constraints: 49593
2737.63/2746.41 c #Conflicts: 1623000 | #Constraints: 50593
2737.63/2746.41 c #Conflicts: 1624000 | #Constraints: 51593
2737.63/2746.41 c #Conflicts: 1625000 | #Constraints: 52593
2737.63/2746.41 c #Conflicts: 1626000 | #Constraints: 53593
2737.63/2746.41 c #Conflicts: 1627000 | #Constraints: 54593
2737.63/2746.41 c #Conflicts: 1628000 | #Constraints: 55593
2737.63/2746.41 c #Conflicts: 1629000 | #Constraints: 56593
2737.63/2746.41 c #Conflicts: 1630000 | #Constraints: 57593
2737.63/2746.41 c #Conflicts: 1631000 | #Constraints: 58593
2737.63/2746.41 c #Conflicts: 1632000 | #Constraints: 59593
2737.63/2746.41 c #Conflicts: 1633000 | #Constraints: 60593
2737.63/2746.41 c #Conflicts: 1634000 | #Constraints: 61593
2737.63/2746.41 c #Conflicts: 1635000 | #Constraints: 62593
2737.63/2746.41 c INPROCESSING
2737.63/2746.41 c GARBAGE COLLECT
2737.63/2746.41 c #Conflicts: 1636000 | #Constraints: 38200
2737.63/2746.41 c #Conflicts: 1637000 | #Constraints: 39200
2737.63/2746.41 c #Conflicts: 1638000 | #Constraints: 40200
2737.63/2746.41 c #Conflicts: 1639000 | #Constraints: 41200
2737.63/2746.41 c #Conflicts: 1640000 | #Constraints: 42200
2737.63/2746.41 c #Conflicts: 1641000 | #Constraints: 43200
2737.63/2746.41 c #Conflicts: 1642000 | #Constraints: 44200
2737.63/2746.41 c #Conflicts: 1643000 | #Constraints: 45200
2737.63/2746.41 c #Conflicts: 1644000 | #Constraints: 46200
2737.63/2746.41 c #Conflicts: 1645000 | #Constraints: 47200
2737.63/2746.41 c #Conflicts: 1646000 | #Constraints: 48200
2737.63/2746.41 c #Conflicts: 1647000 | #Constraints: 49200
2737.63/2746.41 c #Conflicts: 1648000 | #Constraints: 50200
2737.63/2746.41 c #Conflicts: 1649000 | #Constraints: 51200
2737.63/2746.41 c #Conflicts: 1650000 | #Constraints: 52200
2737.63/2746.41 c #Conflicts: 1651000 | #Constraints: 53200
2737.63/2746.41 c #Conflicts: 1652000 | #Constraints: 54200
2737.63/2746.41 c #Conflicts: 1653000 | #Constraints: 55200
2737.63/2746.41 c #Conflicts: 1654000 | #Constraints: 56200
2737.63/2746.41 c #Conflicts: 1655000 | #Constraints: 57200
2737.63/2746.41 c #Conflicts: 1656000 | #Constraints: 58200
2737.63/2746.41 c #Conflicts: 1657000 | #Constraints: 59200
2737.63/2746.41 c #Conflicts: 1658000 | #Constraints: 60200
2737.63/2746.41 c #Conflicts: 1659000 | #Constraints: 61200
2737.63/2746.41 c #Conflicts: 1660000 | #Constraints: 62200
2737.63/2746.41 c #Conflicts: 1661000 | #Constraints: 63200
2851.15/2860.31 c INPROCESSING
2851.15/2860.31 c GARBAGE COLLECT
2851.15/2860.31 c #Conflicts: 1662000 | #Constraints: 38596
2851.15/2860.31 c #Conflicts: 1663000 | #Constraints: 39596
2851.15/2860.31 c #Conflicts: 1664000 | #Constraints: 40596
2851.15/2860.31 c #Conflicts: 1665000 | #Constraints: 41596
2851.15/2860.31 c #Conflicts: 1666000 | #Constraints: 42596
2851.15/2860.31 c #Conflicts: 1667000 | #Constraints: 43596
2851.15/2860.31 c #Conflicts: 1668000 | #Constraints: 44596
2851.15/2860.31 c #Conflicts: 1669000 | #Constraints: 45596
2851.15/2860.31 c #Conflicts: 1670000 | #Constraints: 46596
2851.15/2860.31 c #Conflicts: 1671000 | #Constraints: 47596
2851.15/2860.31 c #Conflicts: 1672000 | #Constraints: 48596
2851.15/2860.31 c #Conflicts: 1673000 | #Constraints: 49596
2851.15/2860.31 c #Conflicts: 1674000 | #Constraints: 50596
2851.15/2860.31 c #Conflicts: 1675000 | #Constraints: 51596
2851.15/2860.31 c #Conflicts: 1676000 | #Constraints: 52596
2851.15/2860.31 c #Conflicts: 1677000 | #Constraints: 53596
2851.15/2860.31 c #Conflicts: 1678000 | #Constraints: 54596
2851.15/2860.31 c #Conflicts: 1679000 | #Constraints: 55596
2851.15/2860.31 c #Conflicts: 1680000 | #Constraints: 56596
2851.15/2860.31 c #Conflicts: 1681000 | #Constraints: 57596
2851.15/2860.31 c #Conflicts: 1682000 | #Constraints: 58596
2851.15/2860.31 c #Conflicts: 1683000 | #Constraints: 59596
2851.15/2860.31 c #Conflicts: 1684000 | #Constraints: 60596
2851.15/2860.31 c #Conflicts: 1685000 | #Constraints: 61596
2851.15/2860.31 c #Conflicts: 1686000 | #Constraints: 62596
2851.15/2860.31 c #Conflicts: 1687000 | #Constraints: 63596
2851.15/2860.31 c INPROCESSING
2851.15/2860.31 c GARBAGE COLLECT
2851.15/2860.31 c #Conflicts: 1688000 | #Constraints: 38787
2851.15/2860.31 c #Conflicts: 1689000 | #Constraints: 39787
2851.15/2860.31 c #Conflicts: 1690000 | #Constraints: 40787
2851.15/2860.31 c #Conflicts: 1691000 | #Constraints: 41787
2851.15/2860.31 c #Conflicts: 1692000 | #Constraints: 42787
2851.15/2860.31 c #Conflicts: 1693000 | #Constraints: 43787
2851.15/2860.31 c #Conflicts: 1694000 | #Constraints: 44787
2851.15/2860.31 c #Conflicts: 1695000 | #Constraints: 45787
2851.15/2860.31 c #Conflicts: 1696000 | #Constraints: 46787
2851.15/2860.31 c #Conflicts: 1697000 | #Constraints: 47787
2851.15/2860.31 c #Conflicts: 1698000 | #Constraints: 48787
2851.15/2860.31 c #Conflicts: 1699000 | #Constraints: 49787
2851.15/2860.31 c #Conflicts: 1700000 | #Constraints: 50787
2851.15/2860.31 c #Conflicts: 1701000 | #Constraints: 51787
2851.15/2860.31 c #Conflicts: 1702000 | #Constraints: 52787
2851.15/2860.31 c #Conflicts: 1703000 | #Constraints: 53787
2851.15/2860.31 c #Conflicts: 1704000 | #Constraints: 54787
2851.15/2860.31 c #Conflicts: 1705000 | #Constraints: 55787
2851.15/2860.31 c #Conflicts: 1706000 | #Constraints: 56787
2851.15/2860.31 c #Conflicts: 1707000 | #Constraints: 57787
2851.15/2860.31 c #Conflicts: 1708000 | #Constraints: 58787
2851.15/2860.31 c #Conflicts: 1709000 | #Constraints: 59787
2851.15/2860.31 c #Conflicts: 1710000 | #Constraints: 60787
2851.15/2860.31 c #Conflicts: 1711000 | #Constraints: 61787
2851.15/2860.31 c #Conflicts: 1712000 | #Constraints: 62787
2851.15/2860.31 c #Conflicts: 1713000 | #Constraints: 63787
2851.15/2860.31 c INPROCESSING
2851.15/2860.31 c GARBAGE COLLECT
2851.15/2860.31 c #Conflicts: 1714000 | #Constraints: 38157
2851.15/2860.31 c #Conflicts: 1715000 | #Constraints: 39157
2851.15/2860.31 c #Conflicts: 1716000 | #Constraints: 40157
2851.15/2860.31 c #Conflicts: 1717000 | #Constraints: 41157
2851.15/2860.31 c #Conflicts: 1718000 | #Constraints: 42157
2851.15/2860.31 c #Conflicts: 1719000 | #Constraints: 43157
2851.15/2860.31 c #Conflicts: 1720000 | #Constraints: 44157
2851.15/2860.31 c #Conflicts: 1721000 | #Constraints: 45157
2851.15/2860.31 c #Conflicts: 1722000 | #Constraints: 46157
2851.15/2860.31 c #Conflicts: 1723000 | #Constraints: 47157
2851.15/2860.31 c #Conflicts: 1724000 | #Constraints: 48157
2851.15/2860.31 c #Conflicts: 1725000 | #Constraints: 49157
2851.15/2860.31 c #Conflicts: 1726000 | #Constraints: 50157
2851.15/2860.31 c #Conflicts: 1727000 | #Constraints: 51157
2851.15/2860.31 c #Conflicts: 1728000 | #Constraints: 52157
2851.15/2860.31 c #Conflicts: 1729000 | #Constraints: 53157
2851.15/2860.31 c #Conflicts: 1730000 | #Constraints: 54157
2851.15/2860.31 c #Conflicts: 1731000 | #Constraints: 55157
2851.15/2860.31 c #Conflicts: 1732000 | #Constraints: 56157
2851.15/2860.31 c #Conflicts: 1733000 | #Constraints: 57157
2851.15/2860.31 c #Conflicts: 1734000 | #Constraints: 58157
2851.15/2860.31 c #Conflicts: 1735000 | #Constraints: 59157
2851.15/2860.31 c #Conflicts: 1736000 | #Constraints: 60157
2851.15/2860.31 c #Conflicts: 1737000 | #Constraints: 61157
2851.15/2860.31 c #Conflicts: 1738000 | #Constraints: 62157
2967.08/2976.63 c #Conflicts: 1739000 | #Constraints: 63157
2967.08/2976.63 c #Conflicts: 1740000 | #Constraints: 64157
2967.08/2976.63 c INPROCESSING
2967.08/2976.63 c GARBAGE COLLECT
2967.08/2976.63 c #Conflicts: 1741000 | #Constraints: 38662
2967.08/2976.63 c #Conflicts: 1742000 | #Constraints: 39662
2967.08/2976.63 c #Conflicts: 1743000 | #Constraints: 40662
2967.08/2976.63 c #Conflicts: 1744000 | #Constraints: 41662
2967.08/2976.63 c #Conflicts: 1745000 | #Constraints: 42662
2967.08/2976.63 c #Conflicts: 1746000 | #Constraints: 43662
2967.08/2976.63 c #Conflicts: 1747000 | #Constraints: 44662
2967.08/2976.63 c #Conflicts: 1748000 | #Constraints: 45662
2967.08/2976.63 c #Conflicts: 1749000 | #Constraints: 46662
2967.08/2976.63 c #Conflicts: 1750000 | #Constraints: 47662
2967.08/2976.63 c #Conflicts: 1751000 | #Constraints: 48662
2967.08/2976.63 c #Conflicts: 1752000 | #Constraints: 49662
2967.08/2976.63 c #Conflicts: 1753000 | #Constraints: 50662
2967.08/2976.63 c #Conflicts: 1754000 | #Constraints: 51662
2967.08/2976.63 c #Conflicts: 1755000 | #Constraints: 52662
2967.08/2976.63 c #Conflicts: 1756000 | #Constraints: 53662
2967.08/2976.63 c #Conflicts: 1757000 | #Constraints: 54662
2967.08/2976.63 c #Conflicts: 1758000 | #Constraints: 55662
2967.08/2976.63 c #Conflicts: 1759000 | #Constraints: 56662
2967.08/2976.63 c #Conflicts: 1760000 | #Constraints: 57662
2967.08/2976.63 c #Conflicts: 1761000 | #Constraints: 58662
2967.08/2976.63 c #Conflicts: 1762000 | #Constraints: 59662
2967.08/2976.63 c #Conflicts: 1763000 | #Constraints: 60662
2967.08/2976.63 c #Conflicts: 1764000 | #Constraints: 61662
2967.08/2976.63 c #Conflicts: 1765000 | #Constraints: 62662
2967.08/2976.63 c #Conflicts: 1766000 | #Constraints: 63662
2967.08/2976.63 c INPROCESSING
2967.08/2976.63 c GARBAGE COLLECT
2967.08/2976.63 c #Conflicts: 1767000 | #Constraints: 38094
2967.08/2976.63 c #Conflicts: 1768000 | #Constraints: 39094
2967.08/2976.63 c #Conflicts: 1769000 | #Constraints: 40094
2967.08/2976.63 c #Conflicts: 1770000 | #Constraints: 41094
2967.08/2976.63 c #Conflicts: 1771000 | #Constraints: 42094
2967.08/2976.63 c #Conflicts: 1772000 | #Constraints: 43094
2967.08/2976.63 c #Conflicts: 1773000 | #Constraints: 44094
2967.08/2976.63 c #Conflicts: 1774000 | #Constraints: 45094
2967.08/2976.63 c #Conflicts: 1775000 | #Constraints: 46094
2967.08/2976.63 c #Conflicts: 1776000 | #Constraints: 47094
2967.08/2976.63 c #Conflicts: 1777000 | #Constraints: 48094
2967.08/2976.63 c #Conflicts: 1778000 | #Constraints: 49094
2967.08/2976.63 c #Conflicts: 1779000 | #Constraints: 50094
2967.08/2976.63 c #Conflicts: 1780000 | #Constraints: 51094
2967.08/2976.63 c #Conflicts: 1781000 | #Constraints: 52094
2967.08/2976.63 c #Conflicts: 1782000 | #Constraints: 53094
2967.08/2976.63 c #Conflicts: 1783000 | #Constraints: 54094
2967.08/2976.63 c #Conflicts: 1784000 | #Constraints: 55094
2967.08/2976.63 c #Conflicts: 1785000 | #Constraints: 56094
2967.08/2976.63 c #Conflicts: 1786000 | #Constraints: 57094
2967.08/2976.63 c #Conflicts: 1787000 | #Constraints: 58094
2967.08/2976.63 c #Conflicts: 1788000 | #Constraints: 59094
2967.08/2976.63 c #Conflicts: 1789000 | #Constraints: 60094
2967.08/2976.63 c #Conflicts: 1790000 | #Constraints: 61094
2967.08/2976.63 c #Conflicts: 1791000 | #Constraints: 62094
2967.08/2976.63 c #Conflicts: 1792000 | #Constraints: 63094
2967.08/2976.63 c #Conflicts: 1793000 | #Constraints: 64094
2967.08/2976.63 c INPROCESSING
2967.08/2976.63 c GARBAGE COLLECT
2967.08/2976.63 c #Conflicts: 1794000 | #Constraints: 38408
2967.08/2976.63 c #Conflicts: 1795000 | #Constraints: 39408
2967.08/2976.63 c #Conflicts: 1796000 | #Constraints: 40408
2967.08/2976.63 c #Conflicts: 1797000 | #Constraints: 41408
2967.08/2976.63 c #Conflicts: 1798000 | #Constraints: 42408
2967.08/2976.63 c #Conflicts: 1799000 | #Constraints: 43408
2967.08/2976.63 c #Conflicts: 1800000 | #Constraints: 44408
2967.08/2976.63 c #Conflicts: 1801000 | #Constraints: 45408
2967.08/2976.63 c #Conflicts: 1802000 | #Constraints: 46408
2967.08/2976.63 c #Conflicts: 1803000 | #Constraints: 47408
2967.08/2976.63 c #Conflicts: 1804000 | #Constraints: 48408
2967.08/2976.63 c #Conflicts: 1805000 | #Constraints: 49408
2967.08/2976.63 c #Conflicts: 1806000 | #Constraints: 50408
2967.08/2976.63 c #Conflicts: 1807000 | #Constraints: 51408
2967.08/2976.63 c #Conflicts: 1808000 | #Constraints: 52408
2967.08/2976.63 c #Conflicts: 1809000 | #Constraints: 53408
2967.08/2976.63 c #Conflicts: 1810000 | #Constraints: 54408
2967.08/2976.63 c #Conflicts: 1811000 | #Constraints: 55408
2967.08/2976.63 c #Conflicts: 1812000 | #Constraints: 56408
2967.08/2976.63 c #Conflicts: 1813000 | #Constraints: 57408
2967.08/2976.63 c #Conflicts: 1814000 | #Constraints: 58408
2967.08/2976.63 c #Conflicts: 1815000 | #Constraints: 59408
3105.83/3115.87 c #Conflicts: 1816000 | #Constraints: 60408
3105.83/3115.87 c #Conflicts: 1817000 | #Constraints: 61408
3105.83/3115.87 c #Conflicts: 1818000 | #Constraints: 62408
3105.83/3115.87 c #Conflicts: 1819000 | #Constraints: 63408
3105.83/3115.87 c #Conflicts: 1820000 | #Constraints: 64408
3105.83/3115.87 c INPROCESSING
3105.83/3115.87 c GARBAGE COLLECT
3105.83/3115.87 c #Conflicts: 1821000 | #Constraints: 38586
3105.83/3115.87 c #Conflicts: 1822000 | #Constraints: 39586
3105.83/3115.87 c #Conflicts: 1823000 | #Constraints: 40586
3105.83/3115.87 c #Conflicts: 1824000 | #Constraints: 41586
3105.83/3115.87 c #Conflicts: 1825000 | #Constraints: 42586
3105.83/3115.87 c #Conflicts: 1826000 | #Constraints: 43586
3105.83/3115.87 c #Conflicts: 1827000 | #Constraints: 44586
3105.83/3115.87 c #Conflicts: 1828000 | #Constraints: 45586
3105.83/3115.87 c #Conflicts: 1829000 | #Constraints: 46586
3105.83/3115.87 c #Conflicts: 1830000 | #Constraints: 47586
3105.83/3115.87 c #Conflicts: 1831000 | #Constraints: 48586
3105.83/3115.87 c #Conflicts: 1832000 | #Constraints: 49586
3105.83/3115.87 c #Conflicts: 1833000 | #Constraints: 50586
3105.83/3115.87 c #Conflicts: 1834000 | #Constraints: 51586
3105.83/3115.87 c #Conflicts: 1835000 | #Constraints: 52586
3105.83/3115.87 c #Conflicts: 1836000 | #Constraints: 53586
3105.83/3115.87 c #Conflicts: 1837000 | #Constraints: 54586
3105.83/3115.87 c #Conflicts: 1838000 | #Constraints: 55586
3105.83/3115.87 c #Conflicts: 1839000 | #Constraints: 56586
3105.83/3115.87 c #Conflicts: 1840000 | #Constraints: 57586
3105.83/3115.87 c #Conflicts: 1841000 | #Constraints: 58586
3105.83/3115.87 c #Conflicts: 1842000 | #Constraints: 59586
3105.83/3115.87 c #Conflicts: 1843000 | #Constraints: 60586
3105.83/3115.87 c #Conflicts: 1844000 | #Constraints: 61586
3105.83/3115.87 c #Conflicts: 1845000 | #Constraints: 62586
3105.83/3115.87 c #Conflicts: 1846000 | #Constraints: 63586
3105.83/3115.87 c #Conflicts: 1847000 | #Constraints: 64586
3105.83/3115.87 c INPROCESSING
3105.83/3115.87 c GARBAGE COLLECT
3105.83/3115.87 c #Conflicts: 1848000 | #Constraints: 38547
3105.83/3115.87 c #Conflicts: 1849000 | #Constraints: 39547
3105.83/3115.87 c #Conflicts: 1850000 | #Constraints: 40547
3105.83/3115.87 c #Conflicts: 1851000 | #Constraints: 41547
3105.83/3115.87 c #Conflicts: 1852000 | #Constraints: 42547
3105.83/3115.87 c #Conflicts: 1853000 | #Constraints: 43547
3105.83/3115.87 c #Conflicts: 1854000 | #Constraints: 44547
3105.83/3115.87 c #Conflicts: 1855000 | #Constraints: 45547
3105.83/3115.87 c #Conflicts: 1856000 | #Constraints: 46547
3105.83/3115.87 c #Conflicts: 1857000 | #Constraints: 47547
3105.83/3115.87 c #Conflicts: 1858000 | #Constraints: 48547
3105.83/3115.87 c #Conflicts: 1859000 | #Constraints: 49547
3105.83/3115.87 c #Conflicts: 1860000 | #Constraints: 50547
3105.83/3115.87 c #Conflicts: 1861000 | #Constraints: 51547
3105.83/3115.87 c #Conflicts: 1862000 | #Constraints: 52547
3105.83/3115.87 c #Conflicts: 1863000 | #Constraints: 53547
3105.83/3115.87 c #Conflicts: 1864000 | #Constraints: 54547
3105.83/3115.87 c #Conflicts: 1865000 | #Constraints: 55547
3105.83/3115.87 c #Conflicts: 1866000 | #Constraints: 56547
3105.83/3115.87 c #Conflicts: 1867000 | #Constraints: 57547
3105.83/3115.87 c #Conflicts: 1868000 | #Constraints: 58547
3105.83/3115.87 c #Conflicts: 1869000 | #Constraints: 59547
3105.83/3115.87 c #Conflicts: 1870000 | #Constraints: 60547
3105.83/3115.87 c #Conflicts: 1871000 | #Constraints: 61547
3105.83/3115.87 c #Conflicts: 1872000 | #Constraints: 62547
3105.83/3115.87 c #Conflicts: 1873000 | #Constraints: 63547
3105.83/3115.87 c #Conflicts: 1874000 | #Constraints: 64547
3105.83/3115.87 c #Conflicts: 1875000 | #Constraints: 65547
3105.83/3115.87 c INPROCESSING
3105.83/3115.87 c GARBAGE COLLECT
3105.83/3115.87 c #Conflicts: 1876000 | #Constraints: 39345
3105.83/3115.87 c #Conflicts: 1877000 | #Constraints: 40345
3105.83/3115.87 c #Conflicts: 1878000 | #Constraints: 41345
3105.83/3115.87 c #Conflicts: 1879000 | #Constraints: 42345
3105.83/3115.87 c #Conflicts: 1880000 | #Constraints: 43345
3105.83/3115.87 c #Conflicts: 1881000 | #Constraints: 44345
3105.83/3115.87 c #Conflicts: 1882000 | #Constraints: 45345
3105.83/3115.87 c #Conflicts: 1883000 | #Constraints: 46345
3105.83/3115.87 c #Conflicts: 1884000 | #Constraints: 47345
3105.83/3115.87 c #Conflicts: 1885000 | #Constraints: 48345
3105.83/3115.87 c #Conflicts: 1886000 | #Constraints: 49345
3105.83/3115.87 c #Conflicts: 1887000 | #Constraints: 50345
3105.83/3115.87 c #Conflicts: 1888000 | #Constraints: 51345
3105.83/3115.87 c #Conflicts: 1889000 | #Constraints: 52345
3105.83/3115.87 c #Conflicts: 1890000 | #Constraints: 53345
3105.83/3115.87 c #Conflicts: 1891000 | #Constraints: 54345
3212.80/3223.12 c #Conflicts: 1892000 | #Constraints: 55345
3212.80/3223.12 c #Conflicts: 1893000 | #Constraints: 56345
3212.80/3223.12 c #Conflicts: 1894000 | #Constraints: 57345
3212.80/3223.12 c #Conflicts: 1895000 | #Constraints: 58345
3212.80/3223.12 c #Conflicts: 1896000 | #Constraints: 59345
3212.80/3223.12 c #Conflicts: 1897000 | #Constraints: 60345
3212.80/3223.12 c #Conflicts: 1898000 | #Constraints: 61345
3212.80/3223.12 c #Conflicts: 1899000 | #Constraints: 62345
3212.80/3223.12 c #Conflicts: 1900000 | #Constraints: 63345
3212.80/3223.12 c #Conflicts: 1901000 | #Constraints: 64345
3212.80/3223.12 c #Conflicts: 1902000 | #Constraints: 65345
3212.80/3223.12 c INPROCESSING
3212.80/3223.12 c GARBAGE COLLECT
3212.80/3223.12 c #Conflicts: 1903000 | #Constraints: 38937
3212.80/3223.12 c #Conflicts: 1904000 | #Constraints: 39937
3212.80/3223.12 c #Conflicts: 1905000 | #Constraints: 40937
3212.80/3223.12 c #Conflicts: 1906000 | #Constraints: 41937
3212.80/3223.12 c #Conflicts: 1907000 | #Constraints: 42937
3212.80/3223.12 c #Conflicts: 1908000 | #Constraints: 43937
3212.80/3223.12 c #Conflicts: 1909000 | #Constraints: 44937
3212.80/3223.12 c #Conflicts: 1910000 | #Constraints: 45937
3212.80/3223.12 c #Conflicts: 1911000 | #Constraints: 46937
3212.80/3223.12 c #Conflicts: 1912000 | #Constraints: 47937
3212.80/3223.12 c #Conflicts: 1913000 | #Constraints: 48937
3212.80/3223.12 c #Conflicts: 1914000 | #Constraints: 49937
3212.80/3223.12 c #Conflicts: 1915000 | #Constraints: 50937
3212.80/3223.12 c #Conflicts: 1916000 | #Constraints: 51937
3212.80/3223.12 c #Conflicts: 1917000 | #Constraints: 52937
3212.80/3223.12 c #Conflicts: 1918000 | #Constraints: 53937
3212.80/3223.12 c #Conflicts: 1919000 | #Constraints: 54937
3212.80/3223.12 c #Conflicts: 1920000 | #Constraints: 55937
3212.80/3223.12 c #Conflicts: 1921000 | #Constraints: 56937
3212.80/3223.12 c #Conflicts: 1922000 | #Constraints: 57937
3212.80/3223.12 c #Conflicts: 1923000 | #Constraints: 58937
3212.80/3223.12 c #Conflicts: 1924000 | #Constraints: 59937
3212.80/3223.12 c #Conflicts: 1925000 | #Constraints: 60937
3212.80/3223.12 c #Conflicts: 1926000 | #Constraints: 61937
3212.80/3223.12 c #Conflicts: 1927000 | #Constraints: 62937
3212.80/3223.12 c #Conflicts: 1928000 | #Constraints: 63937
3212.80/3223.12 c #Conflicts: 1929000 | #Constraints: 64937
3212.80/3223.12 c #Conflicts: 1930000 | #Constraints: 65937
3212.80/3223.12 c INPROCESSING
3212.80/3223.12 c GARBAGE COLLECT
3212.80/3223.12 c #Conflicts: 1931000 | #Constraints: 39337
3212.80/3223.12 c #Conflicts: 1932000 | #Constraints: 40337
3212.80/3223.12 c #Conflicts: 1933000 | #Constraints: 41337
3212.80/3223.12 c #Conflicts: 1934000 | #Constraints: 42337
3212.80/3223.12 c #Conflicts: 1935000 | #Constraints: 43337
3212.80/3223.12 c #Conflicts: 1936000 | #Constraints: 44337
3212.80/3223.12 c #Conflicts: 1937000 | #Constraints: 45337
3212.80/3223.12 c #Conflicts: 1938000 | #Constraints: 46337
3212.80/3223.12 c #Conflicts: 1939000 | #Constraints: 47337
3212.80/3223.12 c #Conflicts: 1940000 | #Constraints: 48337
3212.80/3223.12 c #Conflicts: 1941000 | #Constraints: 49337
3212.80/3223.12 c #Conflicts: 1942000 | #Constraints: 50337
3212.80/3223.12 c #Conflicts: 1943000 | #Constraints: 51337
3212.80/3223.12 c #Conflicts: 1944000 | #Constraints: 52337
3212.80/3223.12 c #Conflicts: 1945000 | #Constraints: 53337
3212.80/3223.12 c #Conflicts: 1946000 | #Constraints: 54337
3212.80/3223.12 c #Conflicts: 1947000 | #Constraints: 55337
3212.80/3223.12 c #Conflicts: 1948000 | #Constraints: 56337
3212.80/3223.12 c #Conflicts: 1949000 | #Constraints: 57337
3212.80/3223.12 c #Conflicts: 1950000 | #Constraints: 58337
3212.80/3223.12 c #Conflicts: 1951000 | #Constraints: 59337
3212.80/3223.12 c #Conflicts: 1952000 | #Constraints: 60337
3212.80/3223.12 c #Conflicts: 1953000 | #Constraints: 61337
3212.80/3223.12 c #Conflicts: 1954000 | #Constraints: 62337
3212.80/3223.12 c #Conflicts: 1955000 | #Constraints: 63337
3212.80/3223.12 c #Conflicts: 1956000 | #Constraints: 64337
3212.80/3223.12 c #Conflicts: 1957000 | #Constraints: 65337
3212.80/3223.12 c #Conflicts: 1958000 | #Constraints: 66337
3212.80/3223.12 c INPROCESSING
3212.80/3223.12 c GARBAGE COLLECT
3212.80/3223.12 c #Conflicts: 1959000 | #Constraints: 39541
3212.80/3223.12 c #Conflicts: 1960000 | #Constraints: 40541
3212.80/3223.12 c #Conflicts: 1961000 | #Constraints: 41541
3212.80/3223.12 c #Conflicts: 1962000 | #Constraints: 42541
3212.80/3223.12 c #Conflicts: 1963000 | #Constraints: 43541
3212.80/3223.12 c #Conflicts: 1964000 | #Constraints: 44541
3212.80/3223.12 c #Conflicts: 1965000 | #Constraints: 45541
3212.80/3223.12 c #Conflicts: 1966000 | #Constraints: 46541
3212.80/3223.12 c #Conflicts: 1967000 | #Constraints: 47541
3212.80/3223.12 c #Conflicts: 1968000 | #Constraints: 48541
3376.16/3387.04 c #Conflicts: 1969000 | #Constraints: 49541
3376.16/3387.04 c #Conflicts: 1970000 | #Constraints: 50541
3376.16/3387.04 c #Conflicts: 1971000 | #Constraints: 51541
3376.16/3387.04 c #Conflicts: 1972000 | #Constraints: 52541
3376.16/3387.04 c #Conflicts: 1973000 | #Constraints: 53541
3376.16/3387.04 c #Conflicts: 1974000 | #Constraints: 54541
3376.16/3387.04 c #Conflicts: 1975000 | #Constraints: 55541
3376.16/3387.04 c #Conflicts: 1976000 | #Constraints: 56541
3376.16/3387.04 c #Conflicts: 1977000 | #Constraints: 57541
3376.16/3387.04 c #Conflicts: 1978000 | #Constraints: 58541
3376.16/3387.04 c #Conflicts: 1979000 | #Constraints: 59541
3376.16/3387.04 c #Conflicts: 1980000 | #Constraints: 60541
3376.16/3387.04 c #Conflicts: 1981000 | #Constraints: 61541
3376.16/3387.04 c #Conflicts: 1982000 | #Constraints: 62541
3376.16/3387.04 c #Conflicts: 1983000 | #Constraints: 63541
3376.16/3387.04 c #Conflicts: 1984000 | #Constraints: 64541
3376.16/3387.04 c #Conflicts: 1985000 | #Constraints: 65541
3376.16/3387.04 c #Conflicts: 1986000 | #Constraints: 66541
3376.16/3387.04 c INPROCESSING
3376.16/3387.04 c GARBAGE COLLECT
3376.16/3387.04 c #Conflicts: 1987000 | #Constraints: 39528
3376.16/3387.04 c #Conflicts: 1988000 | #Constraints: 40528
3376.16/3387.04 c #Conflicts: 1989000 | #Constraints: 41528
3376.16/3387.04 c #Conflicts: 1990000 | #Constraints: 42528
3376.16/3387.04 c #Conflicts: 1991000 | #Constraints: 43528
3376.16/3387.04 c #Conflicts: 1992000 | #Constraints: 44528
3376.16/3387.04 c #Conflicts: 1993000 | #Constraints: 45528
3376.16/3387.04 c #Conflicts: 1994000 | #Constraints: 46528
3376.16/3387.04 c #Conflicts: 1995000 | #Constraints: 47528
3376.16/3387.04 c #Conflicts: 1996000 | #Constraints: 48528
3376.16/3387.04 c #Conflicts: 1997000 | #Constraints: 49528
3376.16/3387.04 c #Conflicts: 1998000 | #Constraints: 50528
3376.16/3387.04 c #Conflicts: 1999000 | #Constraints: 51528
3376.16/3387.04 c #Conflicts: 2000000 | #Constraints: 52528
3376.16/3387.04 c #Conflicts: 2001000 | #Constraints: 53528
3376.16/3387.04 c #Conflicts: 2002000 | #Constraints: 54528
3376.16/3387.04 c #Conflicts: 2003000 | #Constraints: 55528
3376.16/3387.04 c #Conflicts: 2004000 | #Constraints: 56528
3376.16/3387.04 c #Conflicts: 2005000 | #Constraints: 57528
3376.16/3387.04 c #Conflicts: 2006000 | #Constraints: 58528
3376.16/3387.04 c #Conflicts: 2007000 | #Constraints: 59528
3376.16/3387.04 c #Conflicts: 2008000 | #Constraints: 60528
3376.16/3387.04 c #Conflicts: 2009000 | #Constraints: 61528
3376.16/3387.04 c #Conflicts: 2010000 | #Constraints: 62528
3376.16/3387.04 c #Conflicts: 2011000 | #Constraints: 63528
3376.16/3387.04 c #Conflicts: 2012000 | #Constraints: 64528
3376.16/3387.04 c #Conflicts: 2013000 | #Constraints: 65528
3376.16/3387.04 c #Conflicts: 2014000 | #Constraints: 66528
3376.16/3387.04 c #Conflicts: 2015000 | #Constraints: 67528
3376.16/3387.04 c INPROCESSING
3376.16/3387.04 c GARBAGE COLLECT
3376.16/3387.04 c #Conflicts: 2016000 | #Constraints: 40325
3376.16/3387.04 c #Conflicts: 2017000 | #Constraints: 41325
3376.16/3387.04 c #Conflicts: 2018000 | #Constraints: 42325
3376.16/3387.04 c #Conflicts: 2019000 | #Constraints: 43325
3376.16/3387.04 c #Conflicts: 2020000 | #Constraints: 44325
3376.16/3387.04 c #Conflicts: 2021000 | #Constraints: 45325
3376.16/3387.04 c #Conflicts: 2022000 | #Constraints: 46325
3376.16/3387.04 c #Conflicts: 2023000 | #Constraints: 47325
3376.16/3387.04 c #Conflicts: 2024000 | #Constraints: 48325
3376.16/3387.04 c #Conflicts: 2025000 | #Constraints: 49325
3376.16/3387.04 c #Conflicts: 2026000 | #Constraints: 50325
3376.16/3387.04 c #Conflicts: 2027000 | #Constraints: 51325
3376.16/3387.04 c #Conflicts: 2028000 | #Constraints: 52325
3376.16/3387.04 c #Conflicts: 2029000 | #Constraints: 53325
3376.16/3387.04 c #Conflicts: 2030000 | #Constraints: 54325
3376.16/3387.04 c #Conflicts: 2031000 | #Constraints: 55325
3376.16/3387.04 c #Conflicts: 2032000 | #Constraints: 56325
3376.16/3387.04 c #Conflicts: 2033000 | #Constraints: 57325
3376.16/3387.04 c #Conflicts: 2034000 | #Constraints: 58325
3376.16/3387.04 c #Conflicts: 2035000 | #Constraints: 59325
3376.16/3387.04 c #Conflicts: 2036000 | #Constraints: 60325
3376.16/3387.04 c #Conflicts: 2037000 | #Constraints: 61325
3376.16/3387.04 c #Conflicts: 2038000 | #Constraints: 62325
3376.16/3387.04 c #Conflicts: 2039000 | #Constraints: 63325
3376.16/3387.04 c #Conflicts: 2040000 | #Constraints: 64325
3376.16/3387.04 c #Conflicts: 2041000 | #Constraints: 65325
3376.16/3387.04 c #Conflicts: 2042000 | #Constraints: 66325
3376.16/3387.04 c #Conflicts: 2043000 | #Constraints: 67325
3376.16/3387.04 c INPROCESSING
3376.16/3387.04 c GARBAGE COLLECT
3376.16/3387.04 c #Conflicts: 2044000 | #Constraints: 39929
3376.16/3387.04 c #Conflicts: 2045000 | #Constraints: 40929
3558.65/3570.18 c #Conflicts: 2046000 | #Constraints: 41929
3558.65/3570.18 c #Conflicts: 2047000 | #Constraints: 42929
3558.65/3570.18 c #Conflicts: 2048000 | #Constraints: 43929
3558.65/3570.18 c #Conflicts: 2049000 | #Constraints: 44929
3558.65/3570.18 c #Conflicts: 2050000 | #Constraints: 45929
3558.65/3570.18 c #Conflicts: 2051000 | #Constraints: 46929
3558.65/3570.18 c #Conflicts: 2052000 | #Constraints: 47929
3558.65/3570.18 c #Conflicts: 2053000 | #Constraints: 48929
3558.65/3570.18 c #Conflicts: 2054000 | #Constraints: 49929
3558.65/3570.18 c #Conflicts: 2055000 | #Constraints: 50929
3558.65/3570.18 c #Conflicts: 2056000 | #Constraints: 51929
3558.65/3570.18 c #Conflicts: 2057000 | #Constraints: 52929
3558.65/3570.18 c #Conflicts: 2058000 | #Constraints: 53929
3558.65/3570.18 c #Conflicts: 2059000 | #Constraints: 54929
3558.65/3570.18 c #Conflicts: 2060000 | #Constraints: 55929
3558.65/3570.18 c #Conflicts: 2061000 | #Constraints: 56929
3558.65/3570.18 c #Conflicts: 2062000 | #Constraints: 57929
3558.65/3570.18 c #Conflicts: 2063000 | #Constraints: 58929
3558.65/3570.18 c #Conflicts: 2064000 | #Constraints: 59929
3558.65/3570.18 c #Conflicts: 2065000 | #Constraints: 60929
3558.65/3570.18 c #Conflicts: 2066000 | #Constraints: 61929
3558.65/3570.18 c #Conflicts: 2067000 | #Constraints: 62929
3558.65/3570.18 c #Conflicts: 2068000 | #Constraints: 63929
3558.65/3570.18 c #Conflicts: 2069000 | #Constraints: 64929
3558.65/3570.18 c #Conflicts: 2070000 | #Constraints: 65929
3558.65/3570.18 c #Conflicts: 2071000 | #Constraints: 66929
3558.65/3570.18 c #Conflicts: 2072000 | #Constraints: 67929
3558.65/3570.18 c INPROCESSING
3558.65/3570.18 c GARBAGE COLLECT
3558.65/3570.18 c #Conflicts: 2073000 | #Constraints: 40317
3558.65/3570.18 c #Conflicts: 2074000 | #Constraints: 41317
3558.65/3570.18 c #Conflicts: 2075000 | #Constraints: 42317
3558.65/3570.18 c #Conflicts: 2076000 | #Constraints: 43317
3558.65/3570.18 c #Conflicts: 2077000 | #Constraints: 44317
3558.65/3570.18 c #Conflicts: 2078000 | #Constraints: 45317
3558.65/3570.18 c #Conflicts: 2079000 | #Constraints: 46317
3558.65/3570.18 c #Conflicts: 2080000 | #Constraints: 47317
3558.65/3570.18 c #Conflicts: 2081000 | #Constraints: 48317
3558.65/3570.18 c #Conflicts: 2082000 | #Constraints: 49317
3558.65/3570.18 c #Conflicts: 2083000 | #Constraints: 50317
3558.65/3570.18 c #Conflicts: 2084000 | #Constraints: 51317
3558.65/3570.18 c #Conflicts: 2085000 | #Constraints: 52317
3558.65/3570.18 c #Conflicts: 2086000 | #Constraints: 53317
3558.65/3570.18 c #Conflicts: 2087000 | #Constraints: 54317
3558.65/3570.18 c #Conflicts: 2088000 | #Constraints: 55317
3558.65/3570.18 c #Conflicts: 2089000 | #Constraints: 56317
3558.65/3570.18 c #Conflicts: 2090000 | #Constraints: 57317
3558.65/3570.18 c #Conflicts: 2091000 | #Constraints: 58317
3558.65/3570.18 c #Conflicts: 2092000 | #Constraints: 59317
3558.65/3570.18 c #Conflicts: 2093000 | #Constraints: 60317
3558.65/3570.18 c #Conflicts: 2094000 | #Constraints: 61317
3558.65/3570.18 c #Conflicts: 2095000 | #Constraints: 62317
3558.65/3570.18 c #Conflicts: 2096000 | #Constraints: 63317
3558.65/3570.18 c #Conflicts: 2097000 | #Constraints: 64317
3558.65/3570.18 c #Conflicts: 2098000 | #Constraints: 65317
3558.65/3570.18 c #Conflicts: 2099000 | #Constraints: 66317
3558.65/3570.18 c #Conflicts: 2100000 | #Constraints: 67317
3558.65/3570.18 c #Conflicts: 2101000 | #Constraints: 68317
3558.65/3570.18 c INPROCESSING
3558.65/3570.18 c GARBAGE COLLECT
3558.65/3570.18 c #Conflicts: 2102000 | #Constraints: 40510
3558.65/3570.18 c #Conflicts: 2103000 | #Constraints: 41510
3558.65/3570.18 c #Conflicts: 2104000 | #Constraints: 42510
3558.65/3570.18 c #Conflicts: 2105000 | #Constraints: 43510
3558.65/3570.18 c #Conflicts: 2106000 | #Constraints: 44510
3558.65/3570.18 c #Conflicts: 2107000 | #Constraints: 45510
3558.65/3570.18 c #Conflicts: 2108000 | #Constraints: 46510
3558.65/3570.18 c #Conflicts: 2109000 | #Constraints: 47510
3558.65/3570.18 c #Conflicts: 2110000 | #Constraints: 48510
3558.65/3570.18 c #Conflicts: 2111000 | #Constraints: 49510
3558.65/3570.18 c #Conflicts: 2112000 | #Constraints: 50510
3558.65/3570.18 c #Conflicts: 2113000 | #Constraints: 51510
3558.65/3570.18 c #Conflicts: 2114000 | #Constraints: 52510
3558.65/3570.18 c #Conflicts: 2115000 | #Constraints: 53510
3558.65/3570.18 c #Conflicts: 2116000 | #Constraints: 54510
3558.65/3570.18 c #Conflicts: 2117000 | #Constraints: 55510
3558.65/3570.18 c #Conflicts: 2118000 | #Constraints: 56510
3558.65/3570.18 c #Conflicts: 2119000 | #Constraints: 57510
3558.65/3570.18 c #Conflicts: 2120000 | #Constraints: 58510
3558.65/3570.18 c #Conflicts: 2121000 | #Constraints: 59510
3558.65/3570.18 c #Conflicts: 2122000 | #Constraints: 60510
3558.65/3570.18 c #Conflicts: 2123000 | #Constraints: 61510
3600.00/3611.60 c #Conflicts: 2124000 | #Constraints: 62510
3600.00/3611.60 c #Conflicts: 2125000 | #Constraints: 63510
3600.00/3611.60 c #Conflicts: 2126000 | #Constraints: 64510
3600.00/3611.60 c #Conflicts: 2127000 | #Constraints: 65510
3600.00/3611.60 c #Conflicts: 2128000 | #Constraints: 66510
3600.00/3611.60 c #Conflicts: 2129000 | #Constraints: 67510
3600.00/3611.60 c #Conflicts: 2130000 | #Constraints: 68510
3600.00/3611.60 c INPROCESSING
3600.00/3611.60 c GARBAGE COLLECT
3600.00/3611.60 c #Conflicts: 2131000 | #Constraints: 40527
3600.00/3611.60 c #Conflicts: 2132000 | #Constraints: 41527
3600.00/3611.60 c #Conflicts: 2133000 | #Constraints: 42527
3600.00/3611.60 c #Conflicts: 2134000 | #Constraints: 43527
3600.00/3611.60 c #Conflicts: 2135000 | #Constraints: 44527
3600.00/3611.60 c #Conflicts: 2136000 | #Constraints: 45527
3600.00/3611.60 c #Conflicts: 2137000 | #Constraints: 46527
3600.00/3611.60 c #Conflicts: 2138000 | #Constraints: 47527
3600.00/3611.60 c #Conflicts: 2139000 | #Constraints: 48527
3600.00/3611.60 c #Conflicts: 2140000 | #Constraints: 49527
3600.00/3611.60 c #Conflicts: 2141000 | #Constraints: 50527
3600.00/3611.60 c #Conflicts: 2142000 | #Constraints: 51527
3600.00/3611.60 c #Conflicts: 2143000 | #Constraints: 52527
3600.00/3611.60 c #Conflicts: 2144000 | #Constraints: 53527
3600.00/3611.60 c #Conflicts: 2145000 | #Constraints: 54527
3600.00/3611.60 c #Conflicts: 2146000 | #Constraints: 55527
3600.00/3611.60 c #Conflicts: 2147000 | #Constraints: 56527
3600.00/3611.60 c #Conflicts: 2148000 | #Constraints: 57527
3600.00/3611.60 c #Conflicts: 2149000 | #Constraints: 58527
3600.00/3611.60 c #Conflicts: 2150000 | #Constraints: 59527
3600.00/3611.60 c #Conflicts: 2151000 | #Constraints: 60527
3600.00/3611.60 c cpu time 3583.61 s
3600.00/3611.60 c deterministic time 1 1.00e+00
3600.00/3611.60 c optimization time 3583.55 s
3600.00/3611.60 c total solve time 0 s
3600.00/3611.60 c core-guided solve time 0 s
3600.00/3611.60 c propagation time 0.005199 s
3600.00/3611.60 c conflict analysis time 0 s
3600.00/3611.60 c propagations 0
3600.00/3611.60 c resolve steps 0
3600.00/3611.60 c decisions 0
3600.00/3611.60 c conflicts 0
3600.00/3611.60 c restarts 0
3600.00/3611.60 c inprocessing phases 0
3600.00/3611.60 c garbage collections 0 ,( -nan )
3600.00/3611.60 c input clauses 10952 ,( 100.00 )
3600.00/3611.60 c input cardinalities 0 ,( 0.00 )
3600.00/3611.60 c input general constraints 0 ,( 0.00 )
3600.00/3611.60 c input average constraint length 2.00
3600.00/3611.60 c input average constraint degree 1.00
3600.00/3611.60 c learned clauses 0 ,( 0.00 )
3600.00/3611.60 c learned cardinalities 0 ,( 0.00 )
3600.00/3611.60 c learned general constraints 0 ,( 0.00 )
3600.00/3611.60 c learned average constraint length 0.00
3600.00/3611.60 c learned average constraint degree 0.00
3600.00/3611.60 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.00/3611.60 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.00/3611.60 c watched constraints 0 ,( -nan )
3600.00/3611.60 c counting constraints 0 ,( -nan )
3600.00/3611.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.00/3611.60 c gcd simplifications 0
3600.00/3611.60 c detected cardinalities 0
3600.00/3611.60 c weakened non-implied lits 0
3600.00/3611.60 c weakened non-implying lits 0
3600.00/3611.60 c original variables 5476
3600.00/3611.60 c clausal propagations 0
3600.00/3611.60 c cardinality propagations 0
3600.00/3611.60 c watched propagations 0
3600.00/3611.60 c counting propagations 0
3600.00/3611.60 c watch lookups 0
3600.00/3611.60 c watch backjump lookups 0
3600.00/3611.60 c watch checks 0
3600.00/3611.60 c propagation checks 0
3600.00/3611.60 c constraint additions 0
3600.00/3611.60 c trail pops 0
3600.00/3611.60 c formula constraints 10952
3600.00/3611.60 c learned constraints 0
3600.00/3611.60 c bound constraints 0
3600.00/3611.60 c core-guided constraints 0
3600.00/3611.60 c encountered formula constraints 0
3600.00/3611.60 c encountered learned constraints 0
3600.00/3611.60 c encountered bound constraints 0
3600.00/3611.60 c encountered core-guided constraints 0
3600.00/3611.60 c LP total time 0 s
3600.00/3611.60 c LP solve time 0 s
3600.00/3611.60 c LP constraints added 0
3600.00/3611.60 c LP constraints removed 0
3600.00/3611.60 c LP pivots internal 0
3600.00/3611.60 c LP pivots root 0
3600.00/3611.60 c LP calls 0
3600.00/3611.60 c LP optimalities 0
3600.00/3611.60 c LP no pivot count 0
3600.00/3611.60 c LP infeasibilities 0
3600.00/3611.60 c LP valid Farkas constraints 0
3600.00/3611.60 c LP learned Farkas constraints 0
3600.00/3611.60 c LP basis resets 0
3600.00/3611.60 c LP cycling count 0
3600.00/3611.60 c LP singular count 0
3600.00/3611.60 c LP no primal count 0
3600.00/3611.60 c LP no farkas count 0
3600.00/3611.60 c LP other issue count 0
3600.00/3611.60 c LP Gomory cuts 0
3600.00/3611.60 c LP learned cuts 0
3600.00/3611.60 c LP deleted cuts 0
3600.00/3611.60 c LP encountered Gomory constraints 0
3600.00/3611.60 c LP encountered Farkas constraints 0
3600.00/3611.60 c LP encountered learned Farkas constraints 0
3600.00/3611.60 c CG auxiliary variables introduced 0
3600.00/3611.60 c CG solutions found 0
3600.00/3611.60 c CG cores constructed 0
3600.00/3611.60 c CG core cardinality constraints returned 0
3600.00/3611.60 c CG unit cores 0
3600.00/3611.60 c CG single cores 0
3600.00/3611.60 c CG blocks removed during cardinality reduction 0
3600.00/3611.60 c CG first core best 0
3600.00/3611.60 c CG decision core best 0
3600.00/3611.60 c CG core reduction tie 0
3600.00/3611.60 c CG core degree average 0.00
3600.00/3611.60 c CG core slack average 0.00
3600.00/3611.60 c CG core upper bound improvements 0
3600.00/3611.60 c STR number of successful calls 0
3600.00/3611.60 c STR number of unsuccessful calls 0
3600.00/3611.60 c STR number of inconclusive calls 0
3600.00/3611.60 c STR number of successful attempts 0
3600.00/3611.60 c STR number of unsuccessful attempts 0
3600.00/3611.60 c STR number of inconclusive attempts 0
3600.00/3611.60 c STR average degree increase per successful call inf
3600.00/3611.60 c STR average degree increase per successful attempt inf
3600.00/3611.60 c STR total number of conflicts for successful attempts 0
3600.00/3611.60 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3611.60 c STR total number of conflicts for inconclusive attempts 0
3600.00/3611.60 c STR average number of conflicts per successful attempt inf
3600.00/3611.60 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3611.60 c STR average number of conflicts per inconclusive attempt inf
3600.00/3611.60 c AVG.sumWPerc -nan
3600.00/3611.60 c bigint constraints 0
3600.00/3611.60 s UNKNOWN
3600.00/3611.60 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: 63794 MiB (62159 MiB free)
memory of node 1: 64507 MiB (63630 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521401-1751583518/watcher-4521401-1751583518 -o /tmp/evaluation-result-4521401-1751583518/solver-4521401-1751583518 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751579896-82756 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521401-1751583518.opb PROOFDIR/proof-4521401-1751583518
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=83194, runsolver pid=83191
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.10 4.14 4.10 4/255 83197
/proc/meminfo: memFree=129708888/131382112 swapFree=33010416/33010684
[pid=83194] ppid=83191 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/83194/stat : 83194 (run-opt-log.sh) S 83191 83194 82743 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74031537 4292608 704 18446744073709551615 94320859041792 94320859936325 140729558053264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94320860175376 94320860223120 94320880959488 140729558055201 140729558055396 140729558055396 140729558060998 0
/proc/83194/statm: 1048 704 672 219 0 110 0
[pid=83196] ppid=83194 vsize=68108 memory=22036 CPUtime=0.07 cores=5,7
/proc/83196/stat : 83196 (roundingsat) R 83194 83194 82743 0 -1 4194304 3602 0 0 0 6 1 0 0 20 0 1 0 74031538 69742592 5509 18446744073709551615 4227072 8923433 140723837922960 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 36241408 140723837925714 140723837925928 140723837925928 140723837931498 0
/proc/83196/statm: 17027 5509 2304 1147 0 4454 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 72300 KiB
Current children cumulated memory: 24852 KiB
[startup+0.207845 s]*
/proc/loadavg: 4.10 4.14 4.10 4/254 83201
/proc/meminfo: memFree=129708024/131382112 swapFree=33010416/33010684
[pid=83194] ppid=83191 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/83194/stat : 83194 (run-opt-log.sh) S 83191 83194 82743 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74031537 4292608 704 18446744073709551615 94320859041792 94320859936325 140729558053264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94320860175376 94320860223120 94320880959488 140729558055201 140729558055396 140729558055396 140729558060998 0
/proc/83194/statm: 1048 704 672 219 0 110 0
[pid=83196] ppid=83194 vsize=80092 memory=32332 CPUtime=0.17 cores=5,7
/proc/83196/stat : 83196 (roundingsat) R 83194 83194 82743 0 -1 4194304 5648 0 0 0 14 3 0 0 20 0 1 0 74031538 82014208 8083 18446744073709551615 4227072 8923433 140723837922960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36241408 140723837925714 140723837925928 140723837925928 140723837931498 0
/proc/83196/statm: 20023 8083 2368 1147 0 7450 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 84284 KiB
Current children cumulated memory: 35148 KiB
[startup+0.30757 s]*
/proc/loadavg: 4.10 4.14 4.10 5/254 83205
/proc/meminfo: memFree=129701448/131382112 swapFree=33010416/33010684
[pid=83194] ppid=83191 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/83194/stat : 83194 (run-opt-log.sh) S 83191 83194 82743 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74031537 4292608 704 18446744073709551615 94320859041792 94320859936325 140729558053264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94320860175376 94320860223120 94320880959488 140729558055201 140729558055396 140729558055396 140729558060998 0
/proc/83194/statm: 1048 704 672 219 0 110 0
[pid=83196] ppid=83194 vsize=81148 memory=33868 CPUtime=0.27 cores=5,7
/proc/83196/stat : 83196 (roundingsat) R 83194 83194 82743 0 -1 4194304 6042 0 0 0 24 3 0 0 20 0 1 0 74031538 83095552 8467 18446744073709551615 4227072 8923433 140723837922960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36241408 140723837925714 140723837925928 140723837925928 140723837931498 0
/proc/83196/statm: 20287 8467 2368 1147 0 7714 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 85340 KiB
Current children cumulated memory: 36684 KiB
[startup+0.700319 s]
/proc/loadavg: 4.10 4.14 4.10 4/259 83215
/proc/meminfo: memFree=129696256/131382112 swapFree=33010416/33010684
[pid=83194] ppid=83191 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/83194/stat : 83194 (run-opt-log.sh) S 83191 83194 82743 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74031537 4292608 704 18446744073709551615 94320859041792 94320859936325 140729558053264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94320860175376 94320860223120 94320880959488 140729558055201 140729558055396 140729558055396 140729558060998 0
/proc/83194/statm: 1048 704 672 219 0 110 0
[pid=83196] ppid=83194 vsize=101172 memory=55320 CPUtime=0.66 cores=5,7
/proc/83196/stat : 83196 (roundingsat) R 83194 83194 82743 0 -1 4194304 10896 0 0 0 61 5 0 0 20 0 1 0 74031538 103600128 13830 18446744073709551615 4227072 8923433 140723837922960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36241408 140723837925714 140723837925928 140723837925928 140723837931498 0
/proc/83196/statm: 25293 13830 2368 1147 0 12720 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 105364 KiB
Current children cumulated memory: 58136 KiB
[startup+1.50035 s]
/proc/loadavg: 4.10 4.14 4.10 6/260 83216
/proc/meminfo: memFree=129657480/131382112 swapFree=33010416/33010684
[pid=83194] ppid=83191 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/83194/stat : 83194 (run-opt-log.sh) S 83191 83194 82743 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74031537 4292608 704 18446744073709551615 94320859041792 94320859936325 140729558053264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94320860175376 94320860223120 94320880959488 140729558055201 140729558055396 140729558055396 140729558060998 0
/proc/83194/statm: 1048 704 672 219 0 110 0
[pid=83196] ppid=83194 vsize=146432 memory=89952 CPUtime=1.46 cores=5,7
/proc/83196/stat : 83196 (roundingsat) R 83194 83194 82743 0 -1 4194304 17514 0 0 0 138 8 0 0 20 0 1 0 74031538 149946368 22488 18446744073709551615 4227072 8923433 140723837922960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36241408 140723837925714 140723837925928 140723837925928 140723837931498 0
/proc/83196/statm: 36608 22488 2368 1147 0 24035 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 150624 KiB
Current children cumulated memory: 92768 KiB
[startup+3.1135 s]
/proc/loadavg: 4.09 4.14 4.09 5/260 83216
/proc/meminfo: memFree=129271696/131382112 swapFree=33010416/33010684
[pid=83194] ppid=83191 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/83194/stat : 83194 (run-opt-log.sh) S 83191 83194 82743 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74031537 4292608 704 18446744073709551615 94320859041792 94320859936325 140729558053264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94320860175376 94320860223120 94320880959488 140729558055201 140729558055396 140729558055396 140729558060998 0
/proc/83194/statm: 1048 704 672 219 0 110 0
[pid=83196] ppid=83194 vsize=361808 memory=267032 CPUtime=3.06 cores=5,7
/proc/83196/stat : 83196 (roundingsat) R 83194 83194 82743 0 -1 4194304 53080 0 0 0 291 15 0 0 20 0 1 0 74031538 370491392 66758 18446744073709551615 4227072 8923433 140723837922960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36241408 140723837925714 140723837925928 140723837925928 140723837931498 0
/proc/83196/statm: 90452 66758 2368 1147 0 77879 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 366000 KiB
Current children cumulated memory: 269848 KiB
[startup+6.30041 s]
/proc/loadavg: 4.09 4.14 4.09 4/255 83234
/proc/meminfo: memFree=128840884/131382112 swapFree=33010416/33010684
[pid=83194] ppid=83191 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/83194/stat : 83194 (run-opt-log.sh) S 83191 83194 82743 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74031537 4292608 704 18446744073709551615 94320859041792 94320859936325 140729558053264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94320860175376 94320860223120 94320880959488 140729558055201 140729558055396 140729558055396 140729558060998 0
/proc/83194/statm: 1048 704 672 219 0 110 0
[pid=83196] ppid=83194 vsize=423632 memory=338288 CPUtime=6.23 cores=5,7
/proc/83196/stat : 83196 (roundingsat) R 83194 83194 82743 0 -1 4194304 66327 0 0 0 601 22 0 0 20 0 1 0 74031538 433799168 84572 18446744073709551615 4227072 8923433 140723837922960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36241408 140723837925714 140723837925928 140723837925928 140723837931498 0
/proc/83196/statm: 105908 84572 2368 1147 0 93335 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 427824 KiB
Current children cumulated memory: 341104 KiB
[startup+12.7004 s]
/proc/loadavg: 4.08 4.14 4.09 5/260 83265
/proc/meminfo: memFree=127784272/131382112 swapFree=33010416/33010684
[pid=83194] ppid=83191 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/83194/stat : 83194 (run-opt-log.sh) S 83191 83194 82743 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74031537 4292608 704 18446744073709551615 94320859041792 94320859936325 140729558053264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94320860175376 94320860223120 94320880959488 140729558055201 140729558055396 140729558055396 140729558060998 0
/proc/83194/statm: 1048 704 672 219 0 110 0
[pid=83196] ppid=83194 vsize=423888 memory=343408 CPUtime=12.6 cores=5,7
/proc/83196/stat : 83196 (roundingsat) R 83194 83194 82743 0 -1 4194304 67629 0 0 0 1234 26 0 0 20 0 1 0 74031538 434061312 85852 18446744073709551615 4227072 8923433 140723837922960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36241408 140723837925714 140723837925928 140723837925928 140723837931498 0
/proc/83196/statm: 105972 85852 2368 1147 0 93399 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 428080 KiB
Current children cumulated memory: 346224 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.15 4.10 5/260 83265
/proc/meminfo: memFree=125207220/131382112 swapFree=33010416/33010684
[pid=83194] ppid=83191 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/83194/stat : 83194 (run-opt-log.sh) S 83191 83194 82743 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74031537 4292608 704 18446744073709551615 94320859041792 94320859936325 140729558053264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94320860175376 94320860223120 94320880959488 140729558055201 140729558055396 140729558055396 140729558060998 0
/proc/83194/statm: 1048 704 672 219 0 110 0
[pid=83196] ppid=83194 vsize=424056 memory=346992 CPUtime=25.38 cores=5,7
/proc/83196/stat : 83196 (roundingsat) R 83194 83194 82743 0 -1 4194304 68510 0 0 0 2499 39 0 0 20 0 1 0 74031538 434233344 86748 18446744073709551615 4227072 8923433 140723837922960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36241408 140723837925714 140723837925928 140723837925928 140723837931498 0
/proc/83196/statm: 106014 86748 2368 1147 0 93441 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 428248 KiB
Current children cumulated memory: 349808 KiB
[startup+51.1137 s]
/proc/loadavg: 4.09 4.14 4.09 5/260 83265
/proc/meminfo: memFree=123647484/131382112 swapFree=33010416/33010684
[pid=83194] ppid=83191 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/83194/stat : 83194 (run-opt-log.sh) S 83191 83194 82743 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74031537 4292608 704 18446744073709551615 94320859041792 94320859936325 140729558053264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94320860175376 94320860223120 94320880959488 140729558055201 140729558055396 140729558055396 140729558060998 0
/proc/83194/statm: 1048 704 672 219 0 110 0
[pid=83196] ppid=83194 vsize=457208 memory=369008 CPUtime=50.92 cores=5,7
/proc/83196/stat : 83196 (roundingsat) R 83194 83194 82743 0 -1 4194304 74025 0 0 0 5033 59 0 0 20 0 1 0 74031538 468180992 92252 18446744073709551615 4227072 8923433 140723837922960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36241408 140723837925714 140723837925928 140723837925928 140723837931498 0
/proc/83196/statm: 114302 92252 2368 1147 0 101729 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 461400 KiB
Current children cumulated memory: 371824 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/260 83267
/proc/meminfo: memFree=123251228/131382112 swapFree=33010416/33010684
[pid=83194] ppid=83191 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/83194/stat : 83194 (run-opt-log.sh) S 83191 83194 82743 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74031537 4292608 704 18446744073709551615 94320859041792 94320859936325 140729558053264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94320860175376 94320860223120 94320880959488 140729558055201 140729558055396 140729558055396 140729558060998 0
/proc/83194/statm: 1048 704 672 219 0 110 0
[pid=83196] ppid=83194 vsize=465376 memory=375792 CPUtime=101.95 cores=5,7
/proc/83196/stat : 83196 (roundingsat) R 83194 83194 82743 0 -1 4194304 75754 0 0 0 10103 92 0 0 20 0 1 0 74031538 476545024 93948 18446744073709551615 4227072 8923433 140723837922960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36241408 140723837925714 140723837925928 140723837925928 140723837931498 0
/proc/83196/statm: 116344 93948 2368 1147 0 103771 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 469568 KiB
Current children cumulated memory: 378608 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/260 83331
/proc/meminfo: memFree=122778284/131382112 swapFree=33010416/33010684
[pid=83194] ppid=83191 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/83194/stat : 83194 (run-opt-log.sh) S 83191 83194 82743 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74031537 4292608 704 18446744073709551615 94320859041792 94320859936325 140729558053264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94320860175376 94320860223120 94320880959488 140729558055201 140729558055396 140729558055396 140729558060998 0
/proc/83194/statm: 1048 704 672 219 0 110 0
[pid=83196] ppid=83194 vsize=473556 memory=388592 CPUtime=161.75 cores=5,7
/proc/83196/stat : 83196 (roundingsat) R 83194 83194 82743 0 -1 4194304 78190 0 0 0 16043 132 0 0 20 0 1 0 74031538 484921344 97148 18446744073709551615 4227072 8923433 140723837922960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36241408 140723837925714 140723837925928 140723837925928 140723837931498 0
/proc/83196/statm: 118389 97148 2368 1147 0 105816 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 477748 KiB
Current children cumulated memory: 391408 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/260 83333
/proc/meminfo: memFree=122308288/131382112 swapFree=33010416/33010684
[pid=83194] ppid=83191 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/83194/stat : 83194 (run-opt-log.sh) S 83191 83194 82743 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74031537 4292608 704 18446744073709551615 94320859041792 94320859936325 140729558053264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94320860175376 94320860223120 94320880959488 140729558055201 140729558055396 140729558055396 140729558060998 0
/proc/83194/statm: 1048 704 672 219 0 110 0
[pid=83196] ppid=83194 vsize=481068 memory=403824 CPUtime=221.55 cores=5,7
/proc/83196/stat : 83196 (roundingsat) R 83194 83194 82743 0 -1 4194304 80341 0 0 0 21985 170 0 0 20 0 1 0 74031538 492613632 100956 18446744073709551615 4227072 8923433 140723837922960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36241408 140723837925714 140723837925928 140723837925928 140723837931498 0
/proc/83196/statm: 120267 100956 2368 1147 0 107694 0
################
# More data... #
################
/proc/83196/statm: 235597 187929 2368 1147 0 223024 0
Current children cumulated CPU time: 3032.57 s
Current children cumulated vsize: 946580 KiB
Current children cumulated memory: 754532 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.10 4.12 5/258 83480
/proc/meminfo: memFree=104698748/131382112 swapFree=33010416/33010684
[pid=83194] ppid=83191 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/83194/stat : 83194 (run-opt-log.sh) S 83191 83194 82743 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74031537 4292608 704 18446744073709551615 94320859041792 94320859936325 140729558053264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94320860175376 94320860223120 94320880959488 140729558055201 140729558055396 140729558055396 140729558060998 0
/proc/83194/statm: 1048 704 672 219 0 110 0
[pid=83196] ppid=83194 vsize=943412 memory=752228 CPUtime=3092.37 cores=5,7
/proc/83196/stat : 83196 (roundingsat) R 83194 83194 82743 0 -1 4194304 143690 0 0 0 307808 1429 0 0 20 0 1 0 74031538 966053888 188057 18446744073709551615 4227072 8923433 140723837922960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36241408 140723837925714 140723837925928 140723837925928 140723837931498 0
/proc/83196/statm: 235853 188057 2368 1147 0 223280 0
Current children cumulated CPU time: 3092.37 s
Current children cumulated vsize: 947604 KiB
Current children cumulated memory: 755044 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.12 5/258 83483
/proc/meminfo: memFree=104364668/131382112 swapFree=33010416/33010684
[pid=83194] ppid=83191 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/83194/stat : 83194 (run-opt-log.sh) S 83191 83194 82743 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74031537 4292608 704 18446744073709551615 94320859041792 94320859936325 140729558053264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94320860175376 94320860223120 94320880959488 140729558055201 140729558055396 140729558055396 140729558060998 0
/proc/83194/statm: 1048 704 672 219 0 110 0
[pid=83196] ppid=83194 vsize=943412 memory=752228 CPUtime=3152.19 cores=5,7
/proc/83196/stat : 83196 (roundingsat) R 83194 83194 82743 0 -1 4194304 143691 0 0 0 313755 1464 0 0 20 0 1 0 74031538 966053888 188057 18446744073709551615 4227072 8923433 140723837922960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36241408 140723837925714 140723837925928 140723837925928 140723837931498 0
/proc/83196/statm: 235853 188057 2368 1147 0 223280 0
Current children cumulated CPU time: 3152.19 s
Current children cumulated vsize: 947604 KiB
Current children cumulated memory: 755044 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.11 5/258 83485
/proc/meminfo: memFree=104009804/131382112 swapFree=33010416/33010684
[pid=83194] ppid=83191 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/83194/stat : 83194 (run-opt-log.sh) S 83191 83194 82743 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74031537 4292608 704 18446744073709551615 94320859041792 94320859936325 140729558053264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94320860175376 94320860223120 94320880959488 140729558055201 140729558055396 140729558055396 140729558060998 0
/proc/83194/statm: 1048 704 672 219 0 110 0
[pid=83196] ppid=83194 vsize=943412 memory=752228 CPUtime=3211.99 cores=5,7
/proc/83196/stat : 83196 (roundingsat) R 83194 83194 82743 0 -1 4194304 143693 0 0 0 319708 1491 0 0 20 0 1 0 74031538 966053888 188057 18446744073709551615 4227072 8923433 140723837922960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36241408 140723837925714 140723837925928 140723837925928 140723837931498 0
/proc/83196/statm: 235853 188057 2368 1147 0 223280 0
Current children cumulated CPU time: 3211.99 s
Current children cumulated vsize: 947604 KiB
Current children cumulated memory: 755044 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.11 5/258 83487
/proc/meminfo: memFree=103702332/131382112 swapFree=33010416/33010684
[pid=83194] ppid=83191 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/83194/stat : 83194 (run-opt-log.sh) S 83191 83194 82743 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74031537 4292608 704 18446744073709551615 94320859041792 94320859936325 140729558053264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94320860175376 94320860223120 94320880959488 140729558055201 140729558055396 140729558055396 140729558060998 0
/proc/83194/statm: 1048 704 672 219 0 110 0
[pid=83196] ppid=83194 vsize=944436 memory=752740 CPUtime=3271.79 cores=5,7
/proc/83196/stat : 83196 (roundingsat) R 83194 83194 82743 0 -1 4194304 143822 0 0 0 325670 1509 0 0 20 0 1 0 74031538 967102464 188185 18446744073709551615 4227072 8923433 140723837922960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36241408 140723837925714 140723837925928 140723837925928 140723837931498 0
/proc/83196/statm: 236109 188185 2368 1147 0 223536 0
Current children cumulated CPU time: 3271.79 s
Current children cumulated vsize: 948628 KiB
Current children cumulated memory: 755556 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.11 5/259 83490
/proc/meminfo: memFree=103432812/131382112 swapFree=33010416/33010684
[pid=83194] ppid=83191 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/83194/stat : 83194 (run-opt-log.sh) S 83191 83194 82743 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74031537 4292608 704 18446744073709551615 94320859041792 94320859936325 140729558053264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94320860175376 94320860223120 94320880959488 140729558055201 140729558055396 140729558055396 140729558060998 0
/proc/83194/statm: 1048 704 672 219 0 110 0
[pid=83196] ppid=83194 vsize=944436 memory=753124 CPUtime=3331.59 cores=5,7
/proc/83196/stat : 83196 (roundingsat) R 83194 83194 82743 0 -1 4194304 143962 0 0 0 331628 1531 0 0 20 0 1 0 74031538 967102464 188281 18446744073709551615 4227072 8923433 140723837922960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36241408 140723837925714 140723837925928 140723837925928 140723837931498 0
/proc/83196/statm: 236109 188281 2368 1147 0 223536 0
Current children cumulated CPU time: 3331.59 s
Current children cumulated vsize: 948628 KiB
Current children cumulated memory: 755940 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.11 5/259 83493
/proc/meminfo: memFree=103082196/131382112 swapFree=33010416/33010684
[pid=83194] ppid=83191 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/83194/stat : 83194 (run-opt-log.sh) S 83191 83194 82743 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74031537 4292608 704 18446744073709551615 94320859041792 94320859936325 140729558053264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94320860175376 94320860223120 94320880959488 140729558055201 140729558055396 140729558055396 140729558060998 0
/proc/83194/statm: 1048 704 672 219 0 110 0
[pid=83196] ppid=83194 vsize=948532 memory=756068 CPUtime=3391.39 cores=5,7
/proc/83196/stat : 83196 (roundingsat) R 83194 83194 82743 0 -1 4194304 144703 0 0 0 337579 1560 0 0 20 0 1 0 74031538 971296768 189017 18446744073709551615 4227072 8923433 140723837922960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36241408 140723837925714 140723837925928 140723837925928 140723837931498 0
/proc/83196/statm: 237133 189017 2368 1147 0 224560 0
Current children cumulated CPU time: 3391.39 s
Current children cumulated vsize: 952724 KiB
Current children cumulated memory: 758884 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.10 5/259 83495
/proc/meminfo: memFree=102728712/131382112 swapFree=33010416/33010684
[pid=83194] ppid=83191 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/83194/stat : 83194 (run-opt-log.sh) S 83191 83194 82743 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74031537 4292608 704 18446744073709551615 94320859041792 94320859936325 140729558053264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94320860175376 94320860223120 94320880959488 140729558055201 140729558055396 140729558055396 140729558060998 0
/proc/83194/statm: 1048 704 672 219 0 110 0
[pid=83196] ppid=83194 vsize=948532 memory=756068 CPUtime=3451.2 cores=5,7
/proc/83196/stat : 83196 (roundingsat) R 83194 83194 82743 0 -1 4194304 144704 0 0 0 343539 1581 0 0 20 0 1 0 74031538 971296768 189017 18446744073709551615 4227072 8923433 140723837922960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36241408 140723837925714 140723837925928 140723837925928 140723837931498 0
/proc/83196/statm: 237133 189017 2368 1147 0 224560 0
Current children cumulated CPU time: 3451.2 s
Current children cumulated vsize: 952724 KiB
Current children cumulated memory: 758884 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/260 83504
/proc/meminfo: memFree=102439488/131382112 swapFree=33010416/33010684
[pid=83194] ppid=83191 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/83194/stat : 83194 (run-opt-log.sh) S 83191 83194 82743 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74031537 4292608 704 18446744073709551615 94320859041792 94320859936325 140729558053264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94320860175376 94320860223120 94320880959488 140729558055201 140729558055396 140729558055396 140729558060998 0
/proc/83194/statm: 1048 704 672 219 0 110 0
[pid=83196] ppid=83194 vsize=948532 memory=756068 CPUtime=3511 cores=5,7
/proc/83196/stat : 83196 (roundingsat) R 83194 83194 82743 0 -1 4194304 144712 0 0 0 349506 1594 0 0 20 0 1 0 74031538 971296768 189017 18446744073709551615 4227072 8923433 140723837922960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36241408 140723837925714 140723837925928 140723837925928 140723837931498 0
/proc/83196/statm: 237133 189017 2368 1147 0 224560 0
Current children cumulated CPU time: 3511 s
Current children cumulated vsize: 952724 KiB
Current children cumulated memory: 758884 KiB
[startup+3582.3 s]
/proc/loadavg: 4.53 4.20 4.13 5/260 83506
/proc/meminfo: memFree=102161904/131382112 swapFree=33010416/33010684
[pid=83194] ppid=83191 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/83194/stat : 83194 (run-opt-log.sh) S 83191 83194 82743 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74031537 4292608 704 18446744073709551615 94320859041792 94320859936325 140729558053264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94320860175376 94320860223120 94320880959488 140729558055201 140729558055396 140729558055396 140729558060998 0
/proc/83194/statm: 1048 704 672 219 0 110 0
[pid=83196] ppid=83194 vsize=948532 memory=757092 CPUtime=3570.8 cores=5,7
/proc/83196/stat : 83196 (roundingsat) R 83194 83194 82743 0 -1 4194304 144964 0 0 0 355460 1620 0 0 20 0 1 0 74031538 971296768 189273 18446744073709551615 4227072 8923433 140723837922960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36241408 140723837925714 140723837925928 140723837925928 140723837931498 0
/proc/83196/statm: 237133 189273 2368 1147 0 224560 0
Current children cumulated CPU time: 3570.8 s
Current children cumulated vsize: 952724 KiB
Current children cumulated memory: 759908 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 4.78 4.30 4.16 5/260 83506
/proc/meminfo: memFree=102012476/131382112 swapFree=33010416/33010684
[pid=83194] ppid=83191 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/83194/stat : 83194 (run-opt-log.sh) S 83191 83194 82743 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74031537 4292608 704 18446744073709551615 94320859041792 94320859936325 140729558053264 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94320860175376 94320860223120 94320880959488 140729558055201 140729558055396 140729558055396 140729558060998 0
/proc/83194/statm: 1048 704 672 219 0 110 0
[pid=83196] ppid=83194 vsize=948532 memory=757092 CPUtime=3600 cores=5,7
/proc/83196/stat : 83196 (roundingsat) R 83194 83194 82743 0 -1 4194304 144969 0 0 0 358361 1639 0 0 20 0 1 0 74031538 971296768 189273 18446744073709551615 4227072 8923433 140723837922960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36241408 140723837925714 140723837925928 140723837925928 140723837931498 0
/proc/83196/statm: 237133 189273 2368 1147 0 224560 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 952724 KiB
Current children cumulated memory: 759908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.61 s]
# the end of solver process 83194 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001024 s, system=0.003066 s
[startup+3611.68 s]
# the end of solver process 83196 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3583.62 s, system=16.4221 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): 3611.68
CPU time (s): 3600.05
CPU user time (s): 3583.62
CPU system time (s): 16.4221
CPU usage (%): 99.6779
Max. virtual memory (cumulated for all children) (KiB): 952724
Max. memory (cumulated for all children) (KiB): 759908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.62
system time used= 16.4221
maximum resident set size= 757476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145198
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9643888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1928
involuntary context switches= 5195
# summary of solver processes directly reported to runsolver:
# pid: 83194,83196
# total CPU time (s): 3600.05
# total CPU user time (s): 3583.62
# total CPU system time (s): 16.4221
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.6458 second user time and 36.5171 second system time
The end
Begin job on nodeC012 at 2025-07-04 00:58:38
IDJOB=4521401
IDBENCH=178282
IDSOLVER=3351
FILE ID=nodeC012/4521401-1751583518
RUNJOBID= nodeC012-1751579896-82756
SLURM_JOB_ID= 9598818
Free space on /tmp= 431836 MiB
SOLVER NAME= roundingsat-ihs-log 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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521401-1751583518/watcher-4521401-1751583518 -o /tmp/evaluation-result-4521401-1751583518/solver-4521401-1751583518 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751579896-82756 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521401-1751583518.opb PROOFDIR/proof-4521401-1751583518
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f2397fb1ec09cdbd6a88fec17aa9b337
RANDOM SEED=1269229531
nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.444
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1596.226
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1895.464
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.101
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.322
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.150
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2593.828
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 128053672 kB
MemAvailable: 129925416 kB
Buffers: 2136 kB
Cached: 2669876 kB
SwapCached: 16 kB
Active: 710512 kB
Inactive: 2051688 kB
Active(anon): 101144 kB
Inactive(anon): 6996 kB
Active(file): 609368 kB
Inactive(file): 2044692 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 23552 kB
Writeback: 16 kB
AnonPages: 93272 kB
Mapped: 112976 kB
Shmem: 17944 kB
KReclaimable: 114236 kB
Slab: 200676 kB
SReclaimable: 114236 kB
SUnreclaim: 86440 kB
KernelStack: 3968 kB
PageTables: 2992 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 421792 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 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: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431832 MiB
End job on nodeC012 at 2025-07-04 01:58:50