0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.09/0.15 c [STEP] solving
0.09/0.15 c #variables 8424 #constraints 9186
0.09/0.15 c SMALL=int, LARGE=long long
46.53/46.74 c bounds - >= 9 @ 0.119901
46.53/46.74 c #Conflicts: 1000 | #Constraints: 10185
46.53/46.74 c #Conflicts: 2000 | #Constraints: 11185
46.53/46.74 c INPROCESSING
46.53/46.74 c GARBAGE COLLECT
46.53/46.74 c #Conflicts: 3000 | #Constraints: 2788
46.53/46.74 c #Conflicts: 4000 | #Constraints: 3788
46.53/46.74 c INPROCESSING
46.53/46.74 c GARBAGE COLLECT
46.53/46.74 c #Conflicts: 5000 | #Constraints: 3193
46.53/46.74 c #Conflicts: 6000 | #Constraints: 4193
46.53/46.74 c INPROCESSING
46.53/46.74 c GARBAGE COLLECT
46.53/46.74 c #Conflicts: 7000 | #Constraints: 3202
46.53/46.74 c #Conflicts: 8000 | #Constraints: 4202
46.53/46.74 c #Conflicts: 9000 | #Constraints: 5202
46.53/46.74 c INPROCESSING
46.53/46.74 c GARBAGE COLLECT
46.53/46.74 c #Conflicts: 10000 | #Constraints: 3899
46.53/46.74 c #Conflicts: 11000 | #Constraints: 4899
46.53/46.74 c #Conflicts: 12000 | #Constraints: 5899
46.53/46.74 c INPROCESSING
46.53/46.74 c GARBAGE COLLECT
46.53/46.74 c #Conflicts: 13000 | #Constraints: 4350
46.53/46.74 c #Conflicts: 14000 | #Constraints: 5350
46.53/46.74 c #Conflicts: 15000 | #Constraints: 6350
46.53/46.74 c INPROCESSING
46.53/46.74 c GARBAGE COLLECT
46.53/46.74 c #Conflicts: 16000 | #Constraints: 4580
46.53/46.74 c #Conflicts: 17000 | #Constraints: 5580
46.53/46.74 c #Conflicts: 18000 | #Constraints: 6580
46.53/46.74 c INPROCESSING
46.53/46.74 c GARBAGE COLLECT
46.53/46.74 c #Conflicts: 19000 | #Constraints: 4595
46.53/46.74 c #Conflicts: 20000 | #Constraints: 5595
46.53/46.74 c #Conflicts: 21000 | #Constraints: 6595
46.53/46.74 c INPROCESSING
46.53/46.74 c GARBAGE COLLECT
46.53/46.74 c #Conflicts: 22000 | #Constraints: 4391
46.53/46.74 c #Conflicts: 23000 | #Constraints: 5391
46.53/46.74 c #Conflicts: 24000 | #Constraints: 6391
46.53/46.74 c #Conflicts: 25000 | #Constraints: 7391
46.53/46.74 c INPROCESSING
46.53/46.74 c GARBAGE COLLECT
46.53/46.74 c #Conflicts: 26000 | #Constraints: 4993
46.53/46.74 c #Conflicts: 27000 | #Constraints: 5993
46.53/46.74 c #Conflicts: 28000 | #Constraints: 6993
46.53/46.74 c #Conflicts: 29000 | #Constraints: 7993
46.53/46.74 c INPROCESSING
46.53/46.74 c GARBAGE COLLECT
46.53/46.74 c #Conflicts: 30000 | #Constraints: 5390
46.53/46.74 c #Conflicts: 31000 | #Constraints: 6390
46.53/46.74 c #Conflicts: 32000 | #Constraints: 7390
46.53/46.74 c #Conflicts: 33000 | #Constraints: 8390
46.53/46.74 c INPROCESSING
46.53/46.74 c GARBAGE COLLECT
46.53/46.74 c #Conflicts: 34000 | #Constraints: 5599
46.53/46.74 c #Conflicts: 35000 | #Constraints: 6599
46.53/46.74 c #Conflicts: 36000 | #Constraints: 7599
46.53/46.74 c #Conflicts: 37000 | #Constraints: 8599
46.53/46.74 c INPROCESSING
46.53/46.74 c GARBAGE COLLECT
46.53/46.74 c #Conflicts: 38000 | #Constraints: 5604
46.53/46.74 c #Conflicts: 39000 | #Constraints: 6604
46.53/46.74 c #Conflicts: 40000 | #Constraints: 7604
46.53/46.74 c #Conflicts: 41000 | #Constraints: 8604
46.53/46.74 c INPROCESSING
46.53/46.74 c GARBAGE COLLECT
46.53/46.74 c #Conflicts: 42000 | #Constraints: 5418
46.53/46.74 c #Conflicts: 43000 | #Constraints: 6418
46.53/46.74 c #Conflicts: 44000 | #Constraints: 7418
46.53/46.74 c #Conflicts: 45000 | #Constraints: 8418
46.53/46.74 c #Conflicts: 46000 | #Constraints: 9418
46.53/46.74 c INPROCESSING
46.53/46.74 c GARBAGE COLLECT
46.53/46.74 c #Conflicts: 47000 | #Constraints: 6004
46.53/46.74 c #Conflicts: 48000 | #Constraints: 7004
46.53/46.74 c #Conflicts: 49000 | #Constraints: 8004
46.53/46.74 c #Conflicts: 50000 | #Constraints: 9004
46.53/46.74 c #Conflicts: 51000 | #Constraints: 10004
46.53/46.74 c INPROCESSING
46.53/46.74 c GARBAGE COLLECT
46.53/46.74 c #Conflicts: 52000 | #Constraints: 6418
46.53/46.74 c #Conflicts: 53000 | #Constraints: 7418
46.53/46.74 c #Conflicts: 54000 | #Constraints: 8418
46.53/46.74 c #Conflicts: 55000 | #Constraints: 9418
46.53/46.74 c #Conflicts: 56000 | #Constraints: 10418
46.53/46.74 c INPROCESSING
46.53/46.74 c GARBAGE COLLECT
46.53/46.74 c #Conflicts: 57000 | #Constraints: 6608
46.53/46.74 c #Conflicts: 58000 | #Constraints: 7608
46.53/46.74 c #Conflicts: 59000 | #Constraints: 8608
46.53/46.74 c #Conflicts: 60000 | #Constraints: 9608
46.53/46.74 c #Conflicts: 61000 | #Constraints: 10608
46.53/46.74 c INPROCESSING
46.53/46.74 c GARBAGE COLLECT
46.53/46.74 c #Conflicts: 62000 | #Constraints: 6613
46.53/46.74 c #Conflicts: 63000 | #Constraints: 7613
46.53/46.74 c #Conflicts: 64000 | #Constraints: 8613
46.53/46.74 c #Conflicts: 65000 | #Constraints: 9613
46.53/46.74 c #Conflicts: 66000 | #Constraints: 10613
46.53/46.74 c INPROCESSING
46.53/46.74 c GARBAGE COLLECT
46.53/46.74 c #Conflicts: 67000 | #Constraints: 6410
135.78/136.27 c #Conflicts: 68000 | #Constraints: 7410
135.78/136.27 c #Conflicts: 69000 | #Constraints: 8410
135.78/136.27 c #Conflicts: 70000 | #Constraints: 9410
135.78/136.27 c #Conflicts: 71000 | #Constraints: 10410
135.78/136.27 c #Conflicts: 72000 | #Constraints: 11410
135.78/136.27 c INPROCESSING
135.78/136.27 c GARBAGE COLLECT
135.78/136.27 c #Conflicts: 73000 | #Constraints: 6998
135.78/136.27 c #Conflicts: 74000 | #Constraints: 7998
135.78/136.27 c #Conflicts: 75000 | #Constraints: 8998
135.78/136.27 c #Conflicts: 76000 | #Constraints: 9998
135.78/136.27 c #Conflicts: 77000 | #Constraints: 10998
135.78/136.27 c #Conflicts: 78000 | #Constraints: 11998
135.78/136.27 c INPROCESSING
135.78/136.27 c GARBAGE COLLECT
135.78/136.27 c #Conflicts: 79000 | #Constraints: 7406
135.78/136.27 c #Conflicts: 80000 | #Constraints: 8406
135.78/136.27 c #Conflicts: 81000 | #Constraints: 9406
135.78/136.27 c #Conflicts: 82000 | #Constraints: 10406
135.78/136.27 c #Conflicts: 83000 | #Constraints: 11406
135.78/136.27 c #Conflicts: 84000 | #Constraints: 12406
135.78/136.27 c INPROCESSING
135.78/136.27 c GARBAGE COLLECT
135.78/136.27 c #Conflicts: 85000 | #Constraints: 7609
135.78/136.27 c #Conflicts: 86000 | #Constraints: 8609
135.78/136.27 c #Conflicts: 87000 | #Constraints: 9609
135.78/136.27 c #Conflicts: 88000 | #Constraints: 10609
135.78/136.27 c #Conflicts: 89000 | #Constraints: 11609
135.78/136.27 c #Conflicts: 90000 | #Constraints: 12609
135.78/136.27 c INPROCESSING
135.78/136.27 c GARBAGE COLLECT
135.78/136.27 c #Conflicts: 91000 | #Constraints: 7610
135.78/136.27 c #Conflicts: 92000 | #Constraints: 8610
135.78/136.27 c #Conflicts: 93000 | #Constraints: 9610
135.78/136.27 c #Conflicts: 94000 | #Constraints: 10610
135.78/136.27 c #Conflicts: 95000 | #Constraints: 11610
135.78/136.27 c #Conflicts: 96000 | #Constraints: 12610
135.78/136.27 c INPROCESSING
135.78/136.27 c GARBAGE COLLECT
135.78/136.27 c #Conflicts: 97000 | #Constraints: 7428
135.78/136.27 c #Conflicts: 98000 | #Constraints: 8428
135.78/136.27 c #Conflicts: 99000 | #Constraints: 9428
135.78/136.27 c #Conflicts: 100000 | #Constraints: 10428
135.78/136.27 c #Conflicts: 101000 | #Constraints: 11428
135.78/136.27 c #Conflicts: 102000 | #Constraints: 12428
135.78/136.27 c #Conflicts: 103000 | #Constraints: 13428
135.78/136.27 c INPROCESSING
135.78/136.27 c GARBAGE COLLECT
135.78/136.27 c #Conflicts: 104000 | #Constraints: 8009
135.78/136.27 c #Conflicts: 105000 | #Constraints: 9009
135.78/136.27 c #Conflicts: 106000 | #Constraints: 10009
135.78/136.27 c #Conflicts: 107000 | #Constraints: 11009
135.78/136.27 c #Conflicts: 108000 | #Constraints: 12009
135.78/136.27 c #Conflicts: 109000 | #Constraints: 13009
135.78/136.27 c #Conflicts: 110000 | #Constraints: 14009
135.78/136.27 c INPROCESSING
135.78/136.27 c GARBAGE COLLECT
135.78/136.27 c #Conflicts: 111000 | #Constraints: 8408
135.78/136.27 c #Conflicts: 112000 | #Constraints: 9408
135.78/136.27 c #Conflicts: 113000 | #Constraints: 10408
135.78/136.27 c #Conflicts: 114000 | #Constraints: 11408
135.78/136.27 c #Conflicts: 115000 | #Constraints: 12408
135.78/136.27 c #Conflicts: 116000 | #Constraints: 13408
135.78/136.27 c #Conflicts: 117000 | #Constraints: 14408
135.78/136.27 c INPROCESSING
135.78/136.27 c GARBAGE COLLECT
135.78/136.27 c #Conflicts: 118000 | #Constraints: 8609
135.78/136.27 c #Conflicts: 119000 | #Constraints: 9609
135.78/136.27 c #Conflicts: 120000 | #Constraints: 10609
135.78/136.27 c #Conflicts: 121000 | #Constraints: 11609
135.78/136.27 c #Conflicts: 122000 | #Constraints: 12609
135.78/136.27 c #Conflicts: 123000 | #Constraints: 13609
135.78/136.27 c #Conflicts: 124000 | #Constraints: 14609
135.78/136.27 c INPROCESSING
135.78/136.27 c GARBAGE COLLECT
135.78/136.27 c #Conflicts: 125000 | #Constraints: 8618
135.78/136.27 c #Conflicts: 126000 | #Constraints: 9618
135.78/136.27 c #Conflicts: 127000 | #Constraints: 10618
135.78/136.27 c #Conflicts: 128000 | #Constraints: 11618
135.78/136.27 c #Conflicts: 129000 | #Constraints: 12618
135.78/136.27 c #Conflicts: 130000 | #Constraints: 13618
135.78/136.27 c #Conflicts: 131000 | #Constraints: 14618
135.78/136.27 c INPROCESSING
135.78/136.27 c GARBAGE COLLECT
135.78/136.27 c #Conflicts: 132000 | #Constraints: 8414
135.78/136.27 c #Conflicts: 133000 | #Constraints: 9414
135.78/136.27 c #Conflicts: 134000 | #Constraints: 10414
135.78/136.27 c #Conflicts: 135000 | #Constraints: 11414
135.78/136.27 c #Conflicts: 136000 | #Constraints: 12414
135.78/136.27 c #Conflicts: 137000 | #Constraints: 13414
135.78/136.27 c #Conflicts: 138000 | #Constraints: 14414
135.78/136.27 c #Conflicts: 139000 | #Constraints: 15414
135.78/136.27 c INPROCESSING
266.03/266.83 c GARBAGE COLLECT
266.03/266.83 c #Conflicts: 140000 | #Constraints: 9013
266.03/266.83 c #Conflicts: 141000 | #Constraints: 10013
266.03/266.83 c #Conflicts: 142000 | #Constraints: 11013
266.03/266.83 c #Conflicts: 143000 | #Constraints: 12013
266.03/266.83 c #Conflicts: 144000 | #Constraints: 13013
266.03/266.83 c #Conflicts: 145000 | #Constraints: 14013
266.03/266.83 c #Conflicts: 146000 | #Constraints: 15013
266.03/266.83 c #Conflicts: 147000 | #Constraints: 16013
266.03/266.83 c INPROCESSING
266.03/266.83 c GARBAGE COLLECT
266.03/266.83 c #Conflicts: 148000 | #Constraints: 9434
266.03/266.83 c #Conflicts: 149000 | #Constraints: 10434
266.03/266.83 c #Conflicts: 150000 | #Constraints: 11434
266.03/266.83 c #Conflicts: 151000 | #Constraints: 12434
266.03/266.83 c #Conflicts: 152000 | #Constraints: 13434
266.03/266.83 c #Conflicts: 153000 | #Constraints: 14434
266.03/266.83 c #Conflicts: 154000 | #Constraints: 15434
266.03/266.83 c #Conflicts: 155000 | #Constraints: 16434
266.03/266.83 c INPROCESSING
266.03/266.83 c GARBAGE COLLECT
266.03/266.83 c #Conflicts: 156000 | #Constraints: 9620
266.03/266.83 c #Conflicts: 157000 | #Constraints: 10620
266.03/266.83 c #Conflicts: 158000 | #Constraints: 11620
266.03/266.83 c #Conflicts: 159000 | #Constraints: 12620
266.03/266.83 c #Conflicts: 160000 | #Constraints: 13620
266.03/266.83 c #Conflicts: 161000 | #Constraints: 14620
266.03/266.83 c #Conflicts: 162000 | #Constraints: 15620
266.03/266.83 c #Conflicts: 163000 | #Constraints: 16620
266.03/266.83 c INPROCESSING
266.03/266.83 c GARBAGE COLLECT
266.03/266.83 c #Conflicts: 164000 | #Constraints: 9619
266.03/266.83 c #Conflicts: 165000 | #Constraints: 10619
266.03/266.83 c #Conflicts: 166000 | #Constraints: 11619
266.03/266.83 c #Conflicts: 167000 | #Constraints: 12619
266.03/266.83 c #Conflicts: 168000 | #Constraints: 13619
266.03/266.83 c #Conflicts: 169000 | #Constraints: 14619
266.03/266.83 c #Conflicts: 170000 | #Constraints: 15619
266.03/266.83 c #Conflicts: 171000 | #Constraints: 16619
266.03/266.83 c INPROCESSING
266.03/266.83 c GARBAGE COLLECT
266.03/266.83 c #Conflicts: 172000 | #Constraints: 9409
266.03/266.83 c #Conflicts: 173000 | #Constraints: 10409
266.03/266.83 c #Conflicts: 174000 | #Constraints: 11409
266.03/266.83 c #Conflicts: 175000 | #Constraints: 12409
266.03/266.83 c #Conflicts: 176000 | #Constraints: 13409
266.03/266.83 c #Conflicts: 177000 | #Constraints: 14409
266.03/266.83 c #Conflicts: 178000 | #Constraints: 15409
266.03/266.83 c #Conflicts: 179000 | #Constraints: 16409
266.03/266.83 c #Conflicts: 180000 | #Constraints: 17409
266.03/266.83 c INPROCESSING
266.03/266.83 c GARBAGE COLLECT
266.03/266.83 c #Conflicts: 181000 | #Constraints: 10015
266.03/266.83 c #Conflicts: 182000 | #Constraints: 11015
266.03/266.83 c #Conflicts: 183000 | #Constraints: 12015
266.03/266.83 c #Conflicts: 184000 | #Constraints: 13015
266.03/266.83 c #Conflicts: 185000 | #Constraints: 14015
266.03/266.83 c #Conflicts: 186000 | #Constraints: 15015
266.03/266.83 c #Conflicts: 187000 | #Constraints: 16015
266.03/266.83 c #Conflicts: 188000 | #Constraints: 17015
266.03/266.83 c #Conflicts: 189000 | #Constraints: 18015
266.03/266.83 c INPROCESSING
266.03/266.83 c GARBAGE COLLECT
266.03/266.83 c #Conflicts: 190000 | #Constraints: 10425
266.03/266.83 c #Conflicts: 191000 | #Constraints: 11425
266.03/266.83 c #Conflicts: 192000 | #Constraints: 12425
266.03/266.83 c #Conflicts: 193000 | #Constraints: 13425
266.03/266.83 c #Conflicts: 194000 | #Constraints: 14425
266.03/266.83 c #Conflicts: 195000 | #Constraints: 15425
266.03/266.83 c #Conflicts: 196000 | #Constraints: 16425
266.03/266.83 c #Conflicts: 197000 | #Constraints: 17425
266.03/266.83 c #Conflicts: 198000 | #Constraints: 18425
266.03/266.83 c INPROCESSING
266.03/266.83 c GARBAGE COLLECT
266.03/266.83 c #Conflicts: 199000 | #Constraints: 10641
266.03/266.83 c #Conflicts: 200000 | #Constraints: 11641
266.03/266.83 c #Conflicts: 201000 | #Constraints: 12641
266.03/266.83 c #Conflicts: 202000 | #Constraints: 13641
266.03/266.83 c #Conflicts: 203000 | #Constraints: 14641
266.03/266.83 c #Conflicts: 204000 | #Constraints: 15641
266.03/266.83 c #Conflicts: 205000 | #Constraints: 16641
266.03/266.83 c #Conflicts: 206000 | #Constraints: 17641
266.03/266.83 c #Conflicts: 207000 | #Constraints: 18641
266.03/266.83 c INPROCESSING
266.03/266.83 c GARBAGE COLLECT
266.03/266.83 c #Conflicts: 208000 | #Constraints: 10639
266.03/266.83 c #Conflicts: 209000 | #Constraints: 11639
266.03/266.83 c #Conflicts: 210000 | #Constraints: 12639
266.03/266.83 c #Conflicts: 211000 | #Constraints: 13639
266.03/266.83 c #Conflicts: 212000 | #Constraints: 14639
266.03/266.83 c #Conflicts: 213000 | #Constraints: 15639
395.69/396.89 c #Conflicts: 214000 | #Constraints: 16639
395.69/396.89 c #Conflicts: 215000 | #Constraints: 17639
395.69/396.89 c #Conflicts: 216000 | #Constraints: 18639
395.69/396.89 c INPROCESSING
395.69/396.89 c GARBAGE COLLECT
395.69/396.89 c #Conflicts: 217000 | #Constraints: 10441
395.69/396.89 c #Conflicts: 218000 | #Constraints: 11441
395.69/396.89 c #Conflicts: 219000 | #Constraints: 12441
395.69/396.89 c #Conflicts: 220000 | #Constraints: 13441
395.69/396.89 c #Conflicts: 221000 | #Constraints: 14441
395.69/396.89 c #Conflicts: 222000 | #Constraints: 15441
395.69/396.89 c #Conflicts: 223000 | #Constraints: 16441
395.69/396.89 c #Conflicts: 224000 | #Constraints: 17441
395.69/396.89 c #Conflicts: 225000 | #Constraints: 18441
395.69/396.89 c #Conflicts: 226000 | #Constraints: 19441
395.69/396.89 c INPROCESSING
395.69/396.89 c GARBAGE COLLECT
395.69/396.89 c #Conflicts: 227000 | #Constraints: 11067
395.69/396.89 c #Conflicts: 228000 | #Constraints: 12067
395.69/396.89 c #Conflicts: 229000 | #Constraints: 13067
395.69/396.89 c #Conflicts: 230000 | #Constraints: 14067
395.69/396.89 c #Conflicts: 231000 | #Constraints: 15067
395.69/396.89 c #Conflicts: 232000 | #Constraints: 16067
395.69/396.89 c #Conflicts: 233000 | #Constraints: 17067
395.69/396.89 c #Conflicts: 234000 | #Constraints: 18067
395.69/396.89 c #Conflicts: 235000 | #Constraints: 19067
395.69/396.89 c #Conflicts: 236000 | #Constraints: 20067
395.69/396.89 c INPROCESSING
395.69/396.89 c GARBAGE COLLECT
395.69/396.89 c #Conflicts: 237000 | #Constraints: 11440
395.69/396.89 c #Conflicts: 238000 | #Constraints: 12440
395.69/396.89 c #Conflicts: 239000 | #Constraints: 13440
395.69/396.89 c #Conflicts: 240000 | #Constraints: 14440
395.69/396.89 c #Conflicts: 241000 | #Constraints: 15440
395.69/396.89 c #Conflicts: 242000 | #Constraints: 16440
395.69/396.89 c #Conflicts: 243000 | #Constraints: 17440
395.69/396.89 c #Conflicts: 244000 | #Constraints: 18440
395.69/396.89 c #Conflicts: 245000 | #Constraints: 19440
395.69/396.89 c #Conflicts: 246000 | #Constraints: 20440
395.69/396.89 c INPROCESSING
395.69/396.89 c GARBAGE COLLECT
395.69/396.89 c #Conflicts: 247000 | #Constraints: 11622
395.69/396.89 c #Conflicts: 248000 | #Constraints: 12622
395.69/396.89 c #Conflicts: 249000 | #Constraints: 13622
395.69/396.89 c #Conflicts: 250000 | #Constraints: 14622
395.69/396.89 c #Conflicts: 251000 | #Constraints: 15622
395.69/396.89 c #Conflicts: 252000 | #Constraints: 16622
395.69/396.89 c #Conflicts: 253000 | #Constraints: 17622
395.69/396.89 c #Conflicts: 254000 | #Constraints: 18622
395.69/396.89 c #Conflicts: 255000 | #Constraints: 19622
395.69/396.89 c #Conflicts: 256000 | #Constraints: 20622
395.69/396.89 c INPROCESSING
395.69/396.89 c GARBAGE COLLECT
395.69/396.89 c #Conflicts: 257000 | #Constraints: 11616
395.69/396.89 c #Conflicts: 258000 | #Constraints: 12616
395.69/396.89 c #Conflicts: 259000 | #Constraints: 13616
395.69/396.89 c #Conflicts: 260000 | #Constraints: 14616
395.69/396.89 c #Conflicts: 261000 | #Constraints: 15616
395.69/396.89 c #Conflicts: 262000 | #Constraints: 16616
395.69/396.89 c #Conflicts: 263000 | #Constraints: 17616
395.69/396.89 c #Conflicts: 264000 | #Constraints: 18616
395.69/396.89 c #Conflicts: 265000 | #Constraints: 19616
395.69/396.89 c #Conflicts: 266000 | #Constraints: 20616
395.69/396.89 c INPROCESSING
395.69/396.89 c GARBAGE COLLECT
395.69/396.89 c #Conflicts: 267000 | #Constraints: 11409
395.69/396.89 c #Conflicts: 268000 | #Constraints: 12409
395.69/396.89 c #Conflicts: 269000 | #Constraints: 13409
395.69/396.89 c #Conflicts: 270000 | #Constraints: 14409
395.69/396.89 c #Conflicts: 271000 | #Constraints: 15409
395.69/396.89 c #Conflicts: 272000 | #Constraints: 16409
395.69/396.89 c #Conflicts: 273000 | #Constraints: 17409
395.69/396.89 c #Conflicts: 274000 | #Constraints: 18409
395.69/396.89 c #Conflicts: 275000 | #Constraints: 19409
395.69/396.89 c #Conflicts: 276000 | #Constraints: 20409
395.69/396.89 c #Conflicts: 277000 | #Constraints: 21409
395.69/396.89 c INPROCESSING
395.69/396.89 c GARBAGE COLLECT
395.69/396.89 c #Conflicts: 278000 | #Constraints: 12001
395.69/396.89 c #Conflicts: 279000 | #Constraints: 13001
395.69/396.89 c #Conflicts: 280000 | #Constraints: 14001
395.69/396.89 c #Conflicts: 281000 | #Constraints: 15001
395.69/396.89 c #Conflicts: 282000 | #Constraints: 16001
395.69/396.89 c #Conflicts: 283000 | #Constraints: 17001
395.69/396.89 c #Conflicts: 284000 | #Constraints: 18001
395.69/396.89 c #Conflicts: 285000 | #Constraints: 19001
395.69/396.89 c #Conflicts: 286000 | #Constraints: 20001
395.69/396.89 c #Conflicts: 287000 | #Constraints: 21001
503.00/504.42 c #Conflicts: 288000 | #Constraints: 22001
503.00/504.42 c INPROCESSING
503.00/504.42 c GARBAGE COLLECT
503.00/504.42 c #Conflicts: 289000 | #Constraints: 12401
503.00/504.42 c #Conflicts: 290000 | #Constraints: 13401
503.00/504.42 c #Conflicts: 291000 | #Constraints: 14401
503.00/504.42 c #Conflicts: 292000 | #Constraints: 15401
503.00/504.42 c #Conflicts: 293000 | #Constraints: 16401
503.00/504.42 c #Conflicts: 294000 | #Constraints: 17401
503.00/504.42 c #Conflicts: 295000 | #Constraints: 18401
503.00/504.42 c #Conflicts: 296000 | #Constraints: 19401
503.00/504.42 c #Conflicts: 297000 | #Constraints: 20401
503.00/504.42 c #Conflicts: 298000 | #Constraints: 21401
503.00/504.42 c #Conflicts: 299000 | #Constraints: 22401
503.00/504.42 c INPROCESSING
503.00/504.42 c GARBAGE COLLECT
503.00/504.42 c #Conflicts: 300000 | #Constraints: 12610
503.00/504.42 c #Conflicts: 301000 | #Constraints: 13610
503.00/504.42 c #Conflicts: 302000 | #Constraints: 14610
503.00/504.42 c #Conflicts: 303000 | #Constraints: 15610
503.00/504.42 c #Conflicts: 304000 | #Constraints: 16610
503.00/504.42 c #Conflicts: 305000 | #Constraints: 17610
503.00/504.42 c #Conflicts: 306000 | #Constraints: 18610
503.00/504.42 c #Conflicts: 307000 | #Constraints: 19610
503.00/504.42 c #Conflicts: 308000 | #Constraints: 20610
503.00/504.42 c #Conflicts: 309000 | #Constraints: 21610
503.00/504.42 c #Conflicts: 310000 | #Constraints: 22610
503.00/504.42 c INPROCESSING
503.00/504.42 c GARBAGE COLLECT
503.00/504.42 c #Conflicts: 311000 | #Constraints: 12615
503.00/504.42 c #Conflicts: 312000 | #Constraints: 13615
503.00/504.42 c #Conflicts: 313000 | #Constraints: 14615
503.00/504.42 c #Conflicts: 314000 | #Constraints: 15615
503.00/504.42 c #Conflicts: 315000 | #Constraints: 16615
503.00/504.42 c #Conflicts: 316000 | #Constraints: 17615
503.00/504.42 c #Conflicts: 317000 | #Constraints: 18615
503.00/504.42 c #Conflicts: 318000 | #Constraints: 19615
503.00/504.42 c #Conflicts: 319000 | #Constraints: 20615
503.00/504.42 c #Conflicts: 320000 | #Constraints: 21615
503.00/504.42 c #Conflicts: 321000 | #Constraints: 22615
503.00/504.42 c INPROCESSING
503.00/504.42 c GARBAGE COLLECT
503.00/504.42 c #Conflicts: 322000 | #Constraints: 12420
503.00/504.42 c #Conflicts: 323000 | #Constraints: 13420
503.00/504.42 c #Conflicts: 324000 | #Constraints: 14420
503.00/504.42 c #Conflicts: 325000 | #Constraints: 15420
503.00/504.42 c #Conflicts: 326000 | #Constraints: 16420
503.00/504.42 c #Conflicts: 327000 | #Constraints: 17420
503.00/504.42 c #Conflicts: 328000 | #Constraints: 18420
503.00/504.42 c #Conflicts: 329000 | #Constraints: 19420
503.00/504.42 c #Conflicts: 330000 | #Constraints: 20420
503.00/504.42 c #Conflicts: 331000 | #Constraints: 21420
503.00/504.42 c #Conflicts: 332000 | #Constraints: 22420
503.00/504.42 c #Conflicts: 333000 | #Constraints: 23420
503.00/504.42 c INPROCESSING
503.00/504.42 c GARBAGE COLLECT
503.00/504.42 c #Conflicts: 334000 | #Constraints: 13004
503.00/504.42 c #Conflicts: 335000 | #Constraints: 14004
503.00/504.42 c #Conflicts: 336000 | #Constraints: 15004
503.00/504.42 c #Conflicts: 337000 | #Constraints: 16004
503.00/504.42 c #Conflicts: 338000 | #Constraints: 17004
503.00/504.42 c #Conflicts: 339000 | #Constraints: 18004
503.00/504.42 c #Conflicts: 340000 | #Constraints: 19004
503.00/504.42 c #Conflicts: 341000 | #Constraints: 20004
503.00/504.42 c #Conflicts: 342000 | #Constraints: 21004
503.00/504.42 c #Conflicts: 343000 | #Constraints: 22004
503.00/504.42 c #Conflicts: 344000 | #Constraints: 23004
503.00/504.42 c #Conflicts: 345000 | #Constraints: 24004
503.00/504.42 c INPROCESSING
503.00/504.42 c GARBAGE COLLECT
503.00/504.42 c #Conflicts: 346000 | #Constraints: 13409
503.00/504.42 c #Conflicts: 347000 | #Constraints: 14409
503.00/504.42 c #Conflicts: 348000 | #Constraints: 15409
503.00/504.42 c #Conflicts: 349000 | #Constraints: 16409
503.00/504.42 c #Conflicts: 350000 | #Constraints: 17409
503.00/504.42 c #Conflicts: 351000 | #Constraints: 18409
503.00/504.42 c #Conflicts: 352000 | #Constraints: 19409
503.00/504.42 c #Conflicts: 353000 | #Constraints: 20409
503.00/504.42 c #Conflicts: 354000 | #Constraints: 21409
503.00/504.42 c #Conflicts: 355000 | #Constraints: 22409
503.00/504.42 c #Conflicts: 356000 | #Constraints: 23409
503.00/504.42 c #Conflicts: 357000 | #Constraints: 24409
503.00/504.42 c INPROCESSING
503.00/504.42 c GARBAGE COLLECT
503.00/504.42 c #Conflicts: 358000 | #Constraints: 13605
503.00/504.42 c #Conflicts: 359000 | #Constraints: 14605
503.00/504.42 c #Conflicts: 360000 | #Constraints: 15605
503.00/504.42 c #Conflicts: 361000 | #Constraints: 16605
698.98/700.97 c #Conflicts: 362000 | #Constraints: 17605
698.98/700.97 c #Conflicts: 363000 | #Constraints: 18605
698.98/700.97 c #Conflicts: 364000 | #Constraints: 19605
698.98/700.97 c #Conflicts: 365000 | #Constraints: 20605
698.98/700.97 c #Conflicts: 366000 | #Constraints: 21605
698.98/700.97 c #Conflicts: 367000 | #Constraints: 22605
698.98/700.97 c #Conflicts: 368000 | #Constraints: 23605
698.98/700.97 c #Conflicts: 369000 | #Constraints: 24605
698.98/700.97 c INPROCESSING
698.98/700.97 c GARBAGE COLLECT
698.98/700.97 c #Conflicts: 370000 | #Constraints: 13606
698.98/700.97 c #Conflicts: 371000 | #Constraints: 14606
698.98/700.97 c #Conflicts: 372000 | #Constraints: 15606
698.98/700.97 c #Conflicts: 373000 | #Constraints: 16606
698.98/700.97 c #Conflicts: 374000 | #Constraints: 17606
698.98/700.97 c #Conflicts: 375000 | #Constraints: 18606
698.98/700.97 c #Conflicts: 376000 | #Constraints: 19606
698.98/700.97 c #Conflicts: 377000 | #Constraints: 20606
698.98/700.97 c #Conflicts: 378000 | #Constraints: 21606
698.98/700.97 c #Conflicts: 379000 | #Constraints: 22606
698.98/700.97 c #Conflicts: 380000 | #Constraints: 23606
698.98/700.97 c #Conflicts: 381000 | #Constraints: 24606
698.98/700.97 c INPROCESSING
698.98/700.97 c GARBAGE COLLECT
698.98/700.97 c #Conflicts: 382000 | #Constraints: 13408
698.98/700.97 c #Conflicts: 383000 | #Constraints: 14408
698.98/700.97 c #Conflicts: 384000 | #Constraints: 15408
698.98/700.97 c #Conflicts: 385000 | #Constraints: 16408
698.98/700.97 c #Conflicts: 386000 | #Constraints: 17408
698.98/700.97 c #Conflicts: 387000 | #Constraints: 18408
698.98/700.97 c #Conflicts: 388000 | #Constraints: 19408
698.98/700.97 c #Conflicts: 389000 | #Constraints: 20408
698.98/700.97 c #Conflicts: 390000 | #Constraints: 21408
698.98/700.97 c #Conflicts: 391000 | #Constraints: 22408
698.98/700.97 c #Conflicts: 392000 | #Constraints: 23408
698.98/700.97 c #Conflicts: 393000 | #Constraints: 24408
698.98/700.97 c #Conflicts: 394000 | #Constraints: 25408
698.98/700.97 c INPROCESSING
698.98/700.97 c GARBAGE COLLECT
698.98/700.97 c #Conflicts: 395000 | #Constraints: 14000
698.98/700.97 c #Conflicts: 396000 | #Constraints: 15000
698.98/700.97 c #Conflicts: 397000 | #Constraints: 16000
698.98/700.97 c #Conflicts: 398000 | #Constraints: 17000
698.98/700.97 c #Conflicts: 399000 | #Constraints: 18000
698.98/700.97 c #Conflicts: 400000 | #Constraints: 19000
698.98/700.97 c #Conflicts: 401000 | #Constraints: 20000
698.98/700.97 c #Conflicts: 402000 | #Constraints: 21000
698.98/700.97 c #Conflicts: 403000 | #Constraints: 22000
698.98/700.97 c #Conflicts: 404000 | #Constraints: 23000
698.98/700.97 c #Conflicts: 405000 | #Constraints: 24000
698.98/700.97 c #Conflicts: 406000 | #Constraints: 25000
698.98/700.97 c #Conflicts: 407000 | #Constraints: 26000
698.98/700.97 c INPROCESSING
698.98/700.97 c GARBAGE COLLECT
698.98/700.97 c #Conflicts: 408000 | #Constraints: 14400
698.98/700.97 c #Conflicts: 409000 | #Constraints: 15400
698.98/700.97 c #Conflicts: 410000 | #Constraints: 16400
698.98/700.97 c #Conflicts: 411000 | #Constraints: 17400
698.98/700.97 c #Conflicts: 412000 | #Constraints: 18400
698.98/700.97 c #Conflicts: 413000 | #Constraints: 19400
698.98/700.97 c #Conflicts: 414000 | #Constraints: 20400
698.98/700.97 c #Conflicts: 415000 | #Constraints: 21400
698.98/700.97 c #Conflicts: 416000 | #Constraints: 22400
698.98/700.97 c #Conflicts: 417000 | #Constraints: 23400
698.98/700.97 c #Conflicts: 418000 | #Constraints: 24400
698.98/700.97 c #Conflicts: 419000 | #Constraints: 25400
698.98/700.97 c #Conflicts: 420000 | #Constraints: 26400
698.98/700.97 c INPROCESSING
698.98/700.97 c GARBAGE COLLECT
698.98/700.97 c #Conflicts: 421000 | #Constraints: 14636
698.98/700.97 c #Conflicts: 422000 | #Constraints: 15636
698.98/700.97 c #Conflicts: 423000 | #Constraints: 16636
698.98/700.97 c #Conflicts: 424000 | #Constraints: 17636
698.98/700.97 c #Conflicts: 425000 | #Constraints: 18636
698.98/700.97 c #Conflicts: 426000 | #Constraints: 19636
698.98/700.97 c #Conflicts: 427000 | #Constraints: 20636
698.98/700.97 c #Conflicts: 428000 | #Constraints: 21636
698.98/700.97 c #Conflicts: 429000 | #Constraints: 22636
698.98/700.97 c #Conflicts: 430000 | #Constraints: 23636
698.98/700.97 c #Conflicts: 431000 | #Constraints: 24636
698.98/700.97 c #Conflicts: 432000 | #Constraints: 25636
698.98/700.97 c #Conflicts: 433000 | #Constraints: 26636
698.98/700.97 c INPROCESSING
698.98/700.97 c GARBAGE COLLECT
698.98/700.97 c #Conflicts: 434000 | #Constraints: 14682
698.98/700.97 c #Conflicts: 435000 | #Constraints: 15682
698.98/700.97 c #Conflicts: 436000 | #Constraints: 16682
1082.32/1085.35 c #Conflicts: 437000 | #Constraints: 17682
1082.32/1085.35 c #Conflicts: 438000 | #Constraints: 18682
1082.32/1085.35 c #Conflicts: 439000 | #Constraints: 19682
1082.32/1085.35 c #Conflicts: 440000 | #Constraints: 20682
1082.32/1085.35 c #Conflicts: 441000 | #Constraints: 21682
1082.32/1085.35 c #Conflicts: 442000 | #Constraints: 22682
1082.32/1085.35 c #Conflicts: 443000 | #Constraints: 23682
1082.32/1085.35 c #Conflicts: 444000 | #Constraints: 24682
1082.32/1085.35 c #Conflicts: 445000 | #Constraints: 25682
1082.32/1085.35 c #Conflicts: 446000 | #Constraints: 26682
1082.32/1085.35 c INPROCESSING
1082.32/1085.35 c GARBAGE COLLECT
1082.32/1085.35 c #Conflicts: 447000 | #Constraints: 14480
1082.32/1085.35 c #Conflicts: 448000 | #Constraints: 15480
1082.32/1085.35 c #Conflicts: 449000 | #Constraints: 16480
1082.32/1085.35 c #Conflicts: 450000 | #Constraints: 17480
1082.32/1085.35 c #Conflicts: 451000 | #Constraints: 18480
1082.32/1085.35 c #Conflicts: 452000 | #Constraints: 19480
1082.32/1085.35 c #Conflicts: 453000 | #Constraints: 20480
1082.32/1085.35 c #Conflicts: 454000 | #Constraints: 21480
1082.32/1085.35 c #Conflicts: 455000 | #Constraints: 22480
1082.32/1085.35 c #Conflicts: 456000 | #Constraints: 23480
1082.32/1085.35 c #Conflicts: 457000 | #Constraints: 24480
1082.32/1085.35 c #Conflicts: 458000 | #Constraints: 25480
1082.32/1085.35 c #Conflicts: 459000 | #Constraints: 26480
1082.32/1085.35 c #Conflicts: 460000 | #Constraints: 27480
1082.32/1085.35 c INPROCESSING
1082.32/1085.35 c GARBAGE COLLECT
1082.32/1085.35 c #Conflicts: 461000 | #Constraints: 15072
1082.32/1085.35 c #Conflicts: 462000 | #Constraints: 16072
1082.32/1085.35 c #Conflicts: 463000 | #Constraints: 17072
1082.32/1085.35 c #Conflicts: 464000 | #Constraints: 18072
1082.32/1085.35 c #Conflicts: 465000 | #Constraints: 19072
1082.32/1085.35 c #Conflicts: 466000 | #Constraints: 20072
1082.32/1085.35 c #Conflicts: 467000 | #Constraints: 21072
1082.32/1085.35 c #Conflicts: 468000 | #Constraints: 22072
1082.32/1085.35 c #Conflicts: 469000 | #Constraints: 23072
1082.32/1085.35 c #Conflicts: 470000 | #Constraints: 24072
1082.32/1085.35 c #Conflicts: 471000 | #Constraints: 25072
1082.32/1085.35 c #Conflicts: 472000 | #Constraints: 26072
1082.32/1085.35 c #Conflicts: 473000 | #Constraints: 27072
1082.32/1085.35 c #Conflicts: 474000 | #Constraints: 28072
1082.32/1085.35 c INPROCESSING
1082.32/1085.35 c GARBAGE COLLECT
1082.32/1085.35 c #Conflicts: 475000 | #Constraints: 15489
1082.32/1085.35 c #Conflicts: 476000 | #Constraints: 16489
1082.32/1085.35 c #Conflicts: 477000 | #Constraints: 17489
1082.32/1085.35 c #Conflicts: 478000 | #Constraints: 18489
1082.32/1085.35 c #Conflicts: 479000 | #Constraints: 19489
1082.32/1085.35 c #Conflicts: 480000 | #Constraints: 20489
1082.32/1085.35 c #Conflicts: 481000 | #Constraints: 21489
1082.32/1085.35 c #Conflicts: 482000 | #Constraints: 22489
1082.32/1085.35 c #Conflicts: 483000 | #Constraints: 23489
1082.32/1085.35 c #Conflicts: 484000 | #Constraints: 24489
1082.32/1085.35 c #Conflicts: 485000 | #Constraints: 25489
1082.32/1085.35 c #Conflicts: 486000 | #Constraints: 26489
1082.32/1085.35 c #Conflicts: 487000 | #Constraints: 27489
1082.32/1085.35 c #Conflicts: 488000 | #Constraints: 28489
1082.32/1085.35 c INPROCESSING
1082.32/1085.35 c GARBAGE COLLECT
1082.32/1085.35 c #Conflicts: 489000 | #Constraints: 15667
1082.32/1085.35 c #Conflicts: 490000 | #Constraints: 16667
1082.32/1085.35 c #Conflicts: 491000 | #Constraints: 17667
1082.32/1085.35 c #Conflicts: 492000 | #Constraints: 18667
1082.32/1085.35 c #Conflicts: 493000 | #Constraints: 19667
1082.32/1085.35 c #Conflicts: 494000 | #Constraints: 20667
1082.32/1085.35 c #Conflicts: 495000 | #Constraints: 21667
1082.32/1085.35 c #Conflicts: 496000 | #Constraints: 22667
1082.32/1085.35 c #Conflicts: 497000 | #Constraints: 23667
1082.32/1085.35 c #Conflicts: 498000 | #Constraints: 24667
1082.32/1085.35 c #Conflicts: 499000 | #Constraints: 25667
1082.32/1085.35 c #Conflicts: 500000 | #Constraints: 26667
1082.32/1085.35 c #Conflicts: 501000 | #Constraints: 27667
1082.32/1085.35 c #Conflicts: 502000 | #Constraints: 28667
1082.32/1085.35 c INPROCESSING
1082.32/1085.35 c GARBAGE COLLECT
1082.32/1085.35 c #Conflicts: 503000 | #Constraints: 15692
1082.32/1085.35 c #Conflicts: 504000 | #Constraints: 16692
1082.32/1085.35 c #Conflicts: 505000 | #Constraints: 17692
1082.32/1085.35 c #Conflicts: 506000 | #Constraints: 18692
1082.32/1085.35 c #Conflicts: 507000 | #Constraints: 19692
1082.32/1085.35 c #Conflicts: 508000 | #Constraints: 20692
1082.32/1085.35 c #Conflicts: 509000 | #Constraints: 21692
1082.32/1085.35 c #Conflicts: 510000 | #Constraints: 22692
1082.32/1085.35 c #Conflicts: 511000 | #Constraints: 23692
1082.32/1085.35 c #Conflicts: 512000 | #Constraints: 24692
1220.38/1223.75 c #Conflicts: 513000 | #Constraints: 25692
1220.38/1223.75 c #Conflicts: 514000 | #Constraints: 26692
1220.38/1223.75 c #Conflicts: 515000 | #Constraints: 27692
1220.38/1223.75 c #Conflicts: 516000 | #Constraints: 28692
1220.38/1223.75 c INPROCESSING
1220.38/1223.75 c GARBAGE COLLECT
1220.38/1223.75 c #Conflicts: 517000 | #Constraints: 15454
1220.38/1223.75 c #Conflicts: 518000 | #Constraints: 16454
1220.38/1223.75 c #Conflicts: 519000 | #Constraints: 17454
1220.38/1223.75 c #Conflicts: 520000 | #Constraints: 18454
1220.38/1223.75 c #Conflicts: 521000 | #Constraints: 19454
1220.38/1223.75 c #Conflicts: 522000 | #Constraints: 20454
1220.38/1223.75 c #Conflicts: 523000 | #Constraints: 21454
1220.38/1223.75 c #Conflicts: 524000 | #Constraints: 22454
1220.38/1223.75 c #Conflicts: 525000 | #Constraints: 23454
1220.38/1223.75 c #Conflicts: 526000 | #Constraints: 24454
1220.38/1223.75 c #Conflicts: 527000 | #Constraints: 25454
1220.38/1223.75 c #Conflicts: 528000 | #Constraints: 26454
1220.38/1223.75 c #Conflicts: 529000 | #Constraints: 27454
1220.38/1223.75 c #Conflicts: 530000 | #Constraints: 28454
1220.38/1223.75 c #Conflicts: 531000 | #Constraints: 29454
1220.38/1223.75 c INPROCESSING
1220.38/1223.75 c GARBAGE COLLECT
1220.38/1223.75 c #Conflicts: 532000 | #Constraints: 16058
1220.38/1223.75 c #Conflicts: 533000 | #Constraints: 17058
1220.38/1223.75 c #Conflicts: 534000 | #Constraints: 18058
1220.38/1223.75 c #Conflicts: 535000 | #Constraints: 19058
1220.38/1223.75 c #Conflicts: 536000 | #Constraints: 20058
1220.38/1223.75 c #Conflicts: 537000 | #Constraints: 21058
1220.38/1223.75 c #Conflicts: 538000 | #Constraints: 22058
1220.38/1223.75 c #Conflicts: 539000 | #Constraints: 23058
1220.38/1223.75 c #Conflicts: 540000 | #Constraints: 24058
1220.38/1223.75 c #Conflicts: 541000 | #Constraints: 25058
1220.38/1223.75 c #Conflicts: 542000 | #Constraints: 26058
1220.38/1223.75 c #Conflicts: 543000 | #Constraints: 27058
1220.38/1223.75 c #Conflicts: 544000 | #Constraints: 28058
1220.38/1223.75 c #Conflicts: 545000 | #Constraints: 29058
1220.38/1223.75 c #Conflicts: 546000 | #Constraints: 30058
1220.38/1223.75 c INPROCESSING
1220.38/1223.75 c GARBAGE COLLECT
1220.38/1223.75 c #Conflicts: 547000 | #Constraints: 16434
1220.38/1223.75 c #Conflicts: 548000 | #Constraints: 17434
1220.38/1223.75 c #Conflicts: 549000 | #Constraints: 18434
1220.38/1223.75 c #Conflicts: 550000 | #Constraints: 19434
1220.38/1223.75 c #Conflicts: 551000 | #Constraints: 20434
1220.38/1223.75 c #Conflicts: 552000 | #Constraints: 21434
1220.38/1223.75 c #Conflicts: 553000 | #Constraints: 22434
1220.38/1223.75 c #Conflicts: 554000 | #Constraints: 23434
1220.38/1223.75 c #Conflicts: 555000 | #Constraints: 24434
1220.38/1223.75 c #Conflicts: 556000 | #Constraints: 25434
1220.38/1223.75 c #Conflicts: 557000 | #Constraints: 26434
1220.38/1223.75 c #Conflicts: 558000 | #Constraints: 27434
1220.38/1223.75 c #Conflicts: 559000 | #Constraints: 28434
1220.38/1223.75 c #Conflicts: 560000 | #Constraints: 29434
1220.38/1223.75 c #Conflicts: 561000 | #Constraints: 30434
1220.38/1223.75 c INPROCESSING
1220.38/1223.75 c GARBAGE COLLECT
1220.38/1223.75 c #Conflicts: 562000 | #Constraints: 16622
1220.38/1223.75 c #Conflicts: 563000 | #Constraints: 17622
1220.38/1223.75 c #Conflicts: 564000 | #Constraints: 18622
1220.38/1223.75 c #Conflicts: 565000 | #Constraints: 19622
1220.38/1223.75 c #Conflicts: 566000 | #Constraints: 20622
1220.38/1223.75 c #Conflicts: 567000 | #Constraints: 21622
1220.38/1223.75 c #Conflicts: 568000 | #Constraints: 22622
1220.38/1223.75 c #Conflicts: 569000 | #Constraints: 23622
1220.38/1223.75 c #Conflicts: 570000 | #Constraints: 24622
1220.38/1223.75 c #Conflicts: 571000 | #Constraints: 25622
1220.38/1223.75 c #Conflicts: 572000 | #Constraints: 26622
1220.38/1223.75 c #Conflicts: 573000 | #Constraints: 27622
1220.38/1223.75 c #Conflicts: 574000 | #Constraints: 28622
1220.38/1223.75 c #Conflicts: 575000 | #Constraints: 29622
1220.38/1223.75 c #Conflicts: 576000 | #Constraints: 30622
1220.38/1223.75 c INPROCESSING
1220.38/1223.75 c GARBAGE COLLECT
1220.38/1223.75 c #Conflicts: 577000 | #Constraints: 16622
1220.38/1223.75 c #Conflicts: 578000 | #Constraints: 17622
1220.38/1223.75 c #Conflicts: 579000 | #Constraints: 18622
1220.38/1223.75 c #Conflicts: 580000 | #Constraints: 19622
1220.38/1223.75 c #Conflicts: 581000 | #Constraints: 20622
1220.38/1223.75 c #Conflicts: 582000 | #Constraints: 21622
1220.38/1223.75 c #Conflicts: 583000 | #Constraints: 22622
1220.38/1223.75 c #Conflicts: 584000 | #Constraints: 23622
1220.38/1223.75 c #Conflicts: 585000 | #Constraints: 24622
1220.38/1223.75 c #Conflicts: 586000 | #Constraints: 25622
1220.38/1223.75 c #Conflicts: 587000 | #Constraints: 26622
1220.38/1223.75 c #Conflicts: 588000 | #Constraints: 27622
1393.96/1397.78 c #Conflicts: 589000 | #Constraints: 28622
1393.96/1397.78 c #Conflicts: 590000 | #Constraints: 29622
1393.96/1397.78 c #Conflicts: 591000 | #Constraints: 30622
1393.96/1397.78 c INPROCESSING
1393.96/1397.78 c GARBAGE COLLECT
1393.96/1397.78 c #Conflicts: 592000 | #Constraints: 16432
1393.96/1397.78 c #Conflicts: 593000 | #Constraints: 17432
1393.96/1397.78 c #Conflicts: 594000 | #Constraints: 18432
1393.96/1397.78 c #Conflicts: 595000 | #Constraints: 19432
1393.96/1397.78 c #Conflicts: 596000 | #Constraints: 20432
1393.96/1397.78 c #Conflicts: 597000 | #Constraints: 21432
1393.96/1397.78 c #Conflicts: 598000 | #Constraints: 22432
1393.96/1397.78 c #Conflicts: 599000 | #Constraints: 23432
1393.96/1397.78 c #Conflicts: 600000 | #Constraints: 24432
1393.96/1397.78 c #Conflicts: 601000 | #Constraints: 25432
1393.96/1397.78 c #Conflicts: 602000 | #Constraints: 26432
1393.96/1397.78 c #Conflicts: 603000 | #Constraints: 27432
1393.96/1397.78 c #Conflicts: 604000 | #Constraints: 28432
1393.96/1397.78 c #Conflicts: 605000 | #Constraints: 29432
1393.96/1397.78 c #Conflicts: 606000 | #Constraints: 30432
1393.96/1397.78 c #Conflicts: 607000 | #Constraints: 31432
1393.96/1397.78 c INPROCESSING
1393.96/1397.78 c GARBAGE COLLECT
1393.96/1397.78 c #Conflicts: 608000 | #Constraints: 17029
1393.96/1397.78 c #Conflicts: 609000 | #Constraints: 18029
1393.96/1397.78 c #Conflicts: 610000 | #Constraints: 19029
1393.96/1397.78 c #Conflicts: 611000 | #Constraints: 20029
1393.96/1397.78 c #Conflicts: 612000 | #Constraints: 21029
1393.96/1397.78 c #Conflicts: 613000 | #Constraints: 22029
1393.96/1397.78 c #Conflicts: 614000 | #Constraints: 23029
1393.96/1397.78 c #Conflicts: 615000 | #Constraints: 24029
1393.96/1397.78 c #Conflicts: 616000 | #Constraints: 25029
1393.96/1397.78 c #Conflicts: 617000 | #Constraints: 26029
1393.96/1397.78 c #Conflicts: 618000 | #Constraints: 27029
1393.96/1397.78 c #Conflicts: 619000 | #Constraints: 28029
1393.96/1397.78 c #Conflicts: 620000 | #Constraints: 29029
1393.96/1397.78 c #Conflicts: 621000 | #Constraints: 30029
1393.96/1397.78 c #Conflicts: 622000 | #Constraints: 31029
1393.96/1397.78 c #Conflicts: 623000 | #Constraints: 32029
1393.96/1397.78 c INPROCESSING
1393.96/1397.78 c GARBAGE COLLECT
1393.96/1397.78 c #Conflicts: 624000 | #Constraints: 17418
1393.96/1397.78 c #Conflicts: 625000 | #Constraints: 18418
1393.96/1397.78 c #Conflicts: 626000 | #Constraints: 19418
1393.96/1397.78 c #Conflicts: 627000 | #Constraints: 20418
1393.96/1397.78 c #Conflicts: 628000 | #Constraints: 21418
1393.96/1397.78 c #Conflicts: 629000 | #Constraints: 22418
1393.96/1397.78 c #Conflicts: 630000 | #Constraints: 23418
1393.96/1397.78 c #Conflicts: 631000 | #Constraints: 24418
1393.96/1397.78 c #Conflicts: 632000 | #Constraints: 25418
1393.96/1397.78 c #Conflicts: 633000 | #Constraints: 26418
1393.96/1397.78 c #Conflicts: 634000 | #Constraints: 27418
1393.96/1397.78 c #Conflicts: 635000 | #Constraints: 28418
1393.96/1397.78 c #Conflicts: 636000 | #Constraints: 29418
1393.96/1397.78 c #Conflicts: 637000 | #Constraints: 30418
1393.96/1397.78 c #Conflicts: 638000 | #Constraints: 31418
1393.96/1397.78 c #Conflicts: 639000 | #Constraints: 32418
1393.96/1397.78 c INPROCESSING
1393.96/1397.78 c GARBAGE COLLECT
1393.96/1397.78 c #Conflicts: 640000 | #Constraints: 17618
1393.96/1397.78 c #Conflicts: 641000 | #Constraints: 18618
1393.96/1397.78 c #Conflicts: 642000 | #Constraints: 19618
1393.96/1397.78 c #Conflicts: 643000 | #Constraints: 20618
1393.96/1397.78 c #Conflicts: 644000 | #Constraints: 21618
1393.96/1397.78 c #Conflicts: 645000 | #Constraints: 22618
1393.96/1397.78 c #Conflicts: 646000 | #Constraints: 23618
1393.96/1397.78 c #Conflicts: 647000 | #Constraints: 24618
1393.96/1397.78 c #Conflicts: 648000 | #Constraints: 25618
1393.96/1397.78 c #Conflicts: 649000 | #Constraints: 26618
1393.96/1397.78 c #Conflicts: 650000 | #Constraints: 27618
1393.96/1397.78 c #Conflicts: 651000 | #Constraints: 28618
1393.96/1397.78 c #Conflicts: 652000 | #Constraints: 29618
1393.96/1397.78 c #Conflicts: 653000 | #Constraints: 30618
1393.96/1397.78 c #Conflicts: 654000 | #Constraints: 31618
1393.96/1397.78 c #Conflicts: 655000 | #Constraints: 32618
1393.96/1397.78 c INPROCESSING
1393.96/1397.78 c GARBAGE COLLECT
1393.96/1397.78 c #Conflicts: 656000 | #Constraints: 17628
1393.96/1397.78 c #Conflicts: 657000 | #Constraints: 18628
1393.96/1397.78 c #Conflicts: 658000 | #Constraints: 19628
1393.96/1397.78 c #Conflicts: 659000 | #Constraints: 20628
1393.96/1397.78 c #Conflicts: 660000 | #Constraints: 21628
1393.96/1397.78 c #Conflicts: 661000 | #Constraints: 22628
1393.96/1397.78 c #Conflicts: 662000 | #Constraints: 23628
1393.96/1397.78 c #Conflicts: 663000 | #Constraints: 24628
1708.78/1713.33 c #Conflicts: 664000 | #Constraints: 25628
1708.78/1713.33 c #Conflicts: 665000 | #Constraints: 26628
1708.78/1713.33 c #Conflicts: 666000 | #Constraints: 27628
1708.78/1713.33 c #Conflicts: 667000 | #Constraints: 28628
1708.78/1713.33 c #Conflicts: 668000 | #Constraints: 29628
1708.78/1713.33 c #Conflicts: 669000 | #Constraints: 30628
1708.78/1713.33 c #Conflicts: 670000 | #Constraints: 31628
1708.78/1713.33 c #Conflicts: 671000 | #Constraints: 32628
1708.78/1713.33 c INPROCESSING
1708.78/1713.33 c GARBAGE COLLECT
1708.78/1713.33 c #Conflicts: 672000 | #Constraints: 17411
1708.78/1713.33 c #Conflicts: 673000 | #Constraints: 18411
1708.78/1713.33 c #Conflicts: 674000 | #Constraints: 19411
1708.78/1713.33 c #Conflicts: 675000 | #Constraints: 20411
1708.78/1713.33 c #Conflicts: 676000 | #Constraints: 21411
1708.78/1713.33 c #Conflicts: 677000 | #Constraints: 22411
1708.78/1713.33 c #Conflicts: 678000 | #Constraints: 23411
1708.78/1713.33 c #Conflicts: 679000 | #Constraints: 24411
1708.78/1713.33 c #Conflicts: 680000 | #Constraints: 25411
1708.78/1713.33 c #Conflicts: 681000 | #Constraints: 26411
1708.78/1713.33 c #Conflicts: 682000 | #Constraints: 27411
1708.78/1713.33 c #Conflicts: 683000 | #Constraints: 28411
1708.78/1713.33 c #Conflicts: 684000 | #Constraints: 29411
1708.78/1713.33 c #Conflicts: 685000 | #Constraints: 30411
1708.78/1713.33 c #Conflicts: 686000 | #Constraints: 31411
1708.78/1713.33 c #Conflicts: 687000 | #Constraints: 32411
1708.78/1713.33 c #Conflicts: 688000 | #Constraints: 33411
1708.78/1713.33 c INPROCESSING
1708.78/1713.33 c GARBAGE COLLECT
1708.78/1713.33 c #Conflicts: 689000 | #Constraints: 18020
1708.78/1713.33 c #Conflicts: 690000 | #Constraints: 19020
1708.78/1713.33 c #Conflicts: 691000 | #Constraints: 20020
1708.78/1713.33 c #Conflicts: 692000 | #Constraints: 21020
1708.78/1713.33 c #Conflicts: 693000 | #Constraints: 22020
1708.78/1713.33 c #Conflicts: 694000 | #Constraints: 23020
1708.78/1713.33 c #Conflicts: 695000 | #Constraints: 24020
1708.78/1713.33 c #Conflicts: 696000 | #Constraints: 25020
1708.78/1713.33 c #Conflicts: 697000 | #Constraints: 26020
1708.78/1713.33 c #Conflicts: 698000 | #Constraints: 27020
1708.78/1713.33 c #Conflicts: 699000 | #Constraints: 28020
1708.78/1713.33 c #Conflicts: 700000 | #Constraints: 29020
1708.78/1713.33 c #Conflicts: 701000 | #Constraints: 30020
1708.78/1713.33 c #Conflicts: 702000 | #Constraints: 31020
1708.78/1713.33 c #Conflicts: 703000 | #Constraints: 32020
1708.78/1713.33 c #Conflicts: 704000 | #Constraints: 33020
1708.78/1713.33 c #Conflicts: 705000 | #Constraints: 34020
1708.78/1713.33 c INPROCESSING
1708.78/1713.33 c GARBAGE COLLECT
1708.78/1713.33 c #Conflicts: 706000 | #Constraints: 18449
1708.78/1713.33 c #Conflicts: 707000 | #Constraints: 19449
1708.78/1713.33 c #Conflicts: 708000 | #Constraints: 20449
1708.78/1713.33 c #Conflicts: 709000 | #Constraints: 21449
1708.78/1713.33 c #Conflicts: 710000 | #Constraints: 22449
1708.78/1713.33 c #Conflicts: 711000 | #Constraints: 23449
1708.78/1713.33 c #Conflicts: 712000 | #Constraints: 24449
1708.78/1713.33 c #Conflicts: 713000 | #Constraints: 25449
1708.78/1713.33 c #Conflicts: 714000 | #Constraints: 26449
1708.78/1713.33 c #Conflicts: 715000 | #Constraints: 27449
1708.78/1713.33 c #Conflicts: 716000 | #Constraints: 28449
1708.78/1713.33 c #Conflicts: 717000 | #Constraints: 29449
1708.78/1713.33 c #Conflicts: 718000 | #Constraints: 30449
1708.78/1713.33 c #Conflicts: 719000 | #Constraints: 31449
1708.78/1713.33 c #Conflicts: 720000 | #Constraints: 32449
1708.78/1713.33 c #Conflicts: 721000 | #Constraints: 33449
1708.78/1713.33 c #Conflicts: 722000 | #Constraints: 34449
1708.78/1713.33 c INPROCESSING
1708.78/1713.33 c GARBAGE COLLECT
1708.78/1713.33 c #Conflicts: 723000 | #Constraints: 18633
1708.78/1713.33 c #Conflicts: 724000 | #Constraints: 19633
1708.78/1713.33 c #Conflicts: 725000 | #Constraints: 20633
1708.78/1713.33 c #Conflicts: 726000 | #Constraints: 21633
1708.78/1713.33 c #Conflicts: 727000 | #Constraints: 22633
1708.78/1713.33 c #Conflicts: 728000 | #Constraints: 23633
1708.78/1713.33 c #Conflicts: 729000 | #Constraints: 24633
1708.78/1713.33 c #Conflicts: 730000 | #Constraints: 25633
1708.78/1713.33 c #Conflicts: 731000 | #Constraints: 26633
1708.78/1713.33 c #Conflicts: 732000 | #Constraints: 27633
1708.78/1713.33 c #Conflicts: 733000 | #Constraints: 28633
1708.78/1713.33 c #Conflicts: 734000 | #Constraints: 29633
1708.78/1713.33 c #Conflicts: 735000 | #Constraints: 30633
1708.78/1713.33 c #Conflicts: 736000 | #Constraints: 31633
1708.78/1713.33 c #Conflicts: 737000 | #Constraints: 32633
1708.78/1713.33 c #Conflicts: 738000 | #Constraints: 33633
1708.78/1713.33 c #Conflicts: 739000 | #Constraints: 34633
1866.19/1871.15 c INPROCESSING
1866.19/1871.15 c GARBAGE COLLECT
1866.19/1871.15 c #Conflicts: 740000 | #Constraints: 18662
1866.19/1871.15 c #Conflicts: 741000 | #Constraints: 19662
1866.19/1871.15 c #Conflicts: 742000 | #Constraints: 20662
1866.19/1871.15 c #Conflicts: 743000 | #Constraints: 21662
1866.19/1871.15 c #Conflicts: 744000 | #Constraints: 22662
1866.19/1871.15 c #Conflicts: 745000 | #Constraints: 23662
1866.19/1871.15 c #Conflicts: 746000 | #Constraints: 24662
1866.19/1871.15 c #Conflicts: 747000 | #Constraints: 25662
1866.19/1871.15 c #Conflicts: 748000 | #Constraints: 26662
1866.19/1871.15 c #Conflicts: 749000 | #Constraints: 27662
1866.19/1871.15 c #Conflicts: 750000 | #Constraints: 28662
1866.19/1871.15 c #Conflicts: 751000 | #Constraints: 29662
1866.19/1871.15 c #Conflicts: 752000 | #Constraints: 30662
1866.19/1871.15 c #Conflicts: 753000 | #Constraints: 31662
1866.19/1871.15 c #Conflicts: 754000 | #Constraints: 32662
1866.19/1871.15 c #Conflicts: 755000 | #Constraints: 33662
1866.19/1871.15 c #Conflicts: 756000 | #Constraints: 34662
1866.19/1871.15 c INPROCESSING
1866.19/1871.15 c GARBAGE COLLECT
1866.19/1871.15 c #Conflicts: 757000 | #Constraints: 18436
1866.19/1871.15 c #Conflicts: 758000 | #Constraints: 19436
1866.19/1871.15 c #Conflicts: 759000 | #Constraints: 20436
1866.19/1871.15 c #Conflicts: 760000 | #Constraints: 21436
1866.19/1871.15 c #Conflicts: 761000 | #Constraints: 22436
1866.19/1871.15 c #Conflicts: 762000 | #Constraints: 23436
1866.19/1871.15 c #Conflicts: 763000 | #Constraints: 24436
1866.19/1871.15 c #Conflicts: 764000 | #Constraints: 25436
1866.19/1871.15 c #Conflicts: 765000 | #Constraints: 26436
1866.19/1871.15 c #Conflicts: 766000 | #Constraints: 27436
1866.19/1871.15 c #Conflicts: 767000 | #Constraints: 28436
1866.19/1871.15 c #Conflicts: 768000 | #Constraints: 29436
1866.19/1871.15 c #Conflicts: 769000 | #Constraints: 30436
1866.19/1871.15 c #Conflicts: 770000 | #Constraints: 31436
1866.19/1871.15 c #Conflicts: 771000 | #Constraints: 32436
1866.19/1871.15 c #Conflicts: 772000 | #Constraints: 33436
1866.19/1871.15 c #Conflicts: 773000 | #Constraints: 34436
1866.19/1871.15 c #Conflicts: 774000 | #Constraints: 35436
1866.19/1871.15 c INPROCESSING
1866.19/1871.15 c GARBAGE COLLECT
1866.19/1871.15 c #Conflicts: 775000 | #Constraints: 19029
1866.19/1871.15 c #Conflicts: 776000 | #Constraints: 20029
1866.19/1871.15 c #Conflicts: 777000 | #Constraints: 21029
1866.19/1871.15 c #Conflicts: 778000 | #Constraints: 22029
1866.19/1871.15 c #Conflicts: 779000 | #Constraints: 23029
1866.19/1871.15 c #Conflicts: 780000 | #Constraints: 24029
1866.19/1871.15 c #Conflicts: 781000 | #Constraints: 25029
1866.19/1871.15 c #Conflicts: 782000 | #Constraints: 26029
1866.19/1871.15 c #Conflicts: 783000 | #Constraints: 27029
1866.19/1871.15 c #Conflicts: 784000 | #Constraints: 28029
1866.19/1871.15 c #Conflicts: 785000 | #Constraints: 29029
1866.19/1871.15 c #Conflicts: 786000 | #Constraints: 30029
1866.19/1871.15 c #Conflicts: 787000 | #Constraints: 31029
1866.19/1871.15 c #Conflicts: 788000 | #Constraints: 32029
1866.19/1871.15 c #Conflicts: 789000 | #Constraints: 33029
1866.19/1871.15 c #Conflicts: 790000 | #Constraints: 34029
1866.19/1871.15 c #Conflicts: 791000 | #Constraints: 35029
1866.19/1871.15 c #Conflicts: 792000 | #Constraints: 36029
1866.19/1871.15 c INPROCESSING
1866.19/1871.15 c GARBAGE COLLECT
1866.19/1871.15 c #Conflicts: 793000 | #Constraints: 19417
1866.19/1871.15 c #Conflicts: 794000 | #Constraints: 20417
1866.19/1871.15 c #Conflicts: 795000 | #Constraints: 21417
1866.19/1871.15 c #Conflicts: 796000 | #Constraints: 22417
1866.19/1871.15 c #Conflicts: 797000 | #Constraints: 23417
1866.19/1871.15 c #Conflicts: 798000 | #Constraints: 24417
1866.19/1871.15 c #Conflicts: 799000 | #Constraints: 25417
1866.19/1871.15 c #Conflicts: 800000 | #Constraints: 26417
1866.19/1871.15 c #Conflicts: 801000 | #Constraints: 27417
1866.19/1871.15 c #Conflicts: 802000 | #Constraints: 28417
1866.19/1871.15 c #Conflicts: 803000 | #Constraints: 29417
1866.19/1871.15 c #Conflicts: 804000 | #Constraints: 30417
1866.19/1871.15 c #Conflicts: 805000 | #Constraints: 31417
1866.19/1871.15 c #Conflicts: 806000 | #Constraints: 32417
1866.19/1871.15 c #Conflicts: 807000 | #Constraints: 33417
1866.19/1871.15 c #Conflicts: 808000 | #Constraints: 34417
1866.19/1871.15 c #Conflicts: 809000 | #Constraints: 35417
1866.19/1871.15 c #Conflicts: 810000 | #Constraints: 36417
1866.19/1871.15 c INPROCESSING
1866.19/1871.15 c GARBAGE COLLECT
1866.19/1871.15 c #Conflicts: 811000 | #Constraints: 19623
1866.19/1871.15 c #Conflicts: 812000 | #Constraints: 20623
1866.19/1871.15 c #Conflicts: 813000 | #Constraints: 21623
1866.19/1871.15 c #Conflicts: 814000 | #Constraints: 22623
1866.19/1871.15 c #Conflicts: 815000 | #Constraints: 23623
2092.21/2097.77 c #Conflicts: 816000 | #Constraints: 24623
2092.21/2097.77 c #Conflicts: 817000 | #Constraints: 25623
2092.21/2097.77 c #Conflicts: 818000 | #Constraints: 26623
2092.21/2097.77 c #Conflicts: 819000 | #Constraints: 27623
2092.21/2097.77 c #Conflicts: 820000 | #Constraints: 28623
2092.21/2097.77 c #Conflicts: 821000 | #Constraints: 29623
2092.21/2097.77 c #Conflicts: 822000 | #Constraints: 30623
2092.21/2097.77 c #Conflicts: 823000 | #Constraints: 31623
2092.21/2097.77 c #Conflicts: 824000 | #Constraints: 32623
2092.21/2097.77 c #Conflicts: 825000 | #Constraints: 33623
2092.21/2097.77 c #Conflicts: 826000 | #Constraints: 34623
2092.21/2097.77 c #Conflicts: 827000 | #Constraints: 35623
2092.21/2097.77 c #Conflicts: 828000 | #Constraints: 36623
2092.21/2097.77 c INPROCESSING
2092.21/2097.77 c GARBAGE COLLECT
2092.21/2097.77 c #Conflicts: 829000 | #Constraints: 19623
2092.21/2097.77 c #Conflicts: 830000 | #Constraints: 20623
2092.21/2097.77 c #Conflicts: 831000 | #Constraints: 21623
2092.21/2097.77 c #Conflicts: 832000 | #Constraints: 22623
2092.21/2097.77 c #Conflicts: 833000 | #Constraints: 23623
2092.21/2097.77 c #Conflicts: 834000 | #Constraints: 24623
2092.21/2097.77 c #Conflicts: 835000 | #Constraints: 25623
2092.21/2097.77 c #Conflicts: 836000 | #Constraints: 26623
2092.21/2097.77 c #Conflicts: 837000 | #Constraints: 27623
2092.21/2097.77 c #Conflicts: 838000 | #Constraints: 28623
2092.21/2097.77 c #Conflicts: 839000 | #Constraints: 29623
2092.21/2097.77 c #Conflicts: 840000 | #Constraints: 30623
2092.21/2097.77 c #Conflicts: 841000 | #Constraints: 31623
2092.21/2097.77 c #Conflicts: 842000 | #Constraints: 32623
2092.21/2097.77 c #Conflicts: 843000 | #Constraints: 33623
2092.21/2097.77 c #Conflicts: 844000 | #Constraints: 34623
2092.21/2097.77 c #Conflicts: 845000 | #Constraints: 35623
2092.21/2097.77 c #Conflicts: 846000 | #Constraints: 36623
2092.21/2097.77 c INPROCESSING
2092.21/2097.77 c GARBAGE COLLECT
2092.21/2097.77 c #Conflicts: 847000 | #Constraints: 19415
2092.21/2097.77 c #Conflicts: 848000 | #Constraints: 20415
2092.21/2097.77 c #Conflicts: 849000 | #Constraints: 21415
2092.21/2097.77 c #Conflicts: 850000 | #Constraints: 22415
2092.21/2097.77 c #Conflicts: 851000 | #Constraints: 23415
2092.21/2097.77 c #Conflicts: 852000 | #Constraints: 24415
2092.21/2097.77 c #Conflicts: 853000 | #Constraints: 25415
2092.21/2097.77 c #Conflicts: 854000 | #Constraints: 26415
2092.21/2097.77 c #Conflicts: 855000 | #Constraints: 27415
2092.21/2097.77 c #Conflicts: 856000 | #Constraints: 28415
2092.21/2097.77 c #Conflicts: 857000 | #Constraints: 29415
2092.21/2097.77 c #Conflicts: 858000 | #Constraints: 30415
2092.21/2097.77 c #Conflicts: 859000 | #Constraints: 31415
2092.21/2097.77 c #Conflicts: 860000 | #Constraints: 32415
2092.21/2097.77 c #Conflicts: 861000 | #Constraints: 33415
2092.21/2097.77 c #Conflicts: 862000 | #Constraints: 34415
2092.21/2097.77 c #Conflicts: 863000 | #Constraints: 35415
2092.21/2097.77 c #Conflicts: 864000 | #Constraints: 36415
2092.21/2097.77 c #Conflicts: 865000 | #Constraints: 37415
2092.21/2097.77 c INPROCESSING
2092.21/2097.77 c GARBAGE COLLECT
2092.21/2097.77 c #Conflicts: 866000 | #Constraints: 20010
2092.21/2097.77 c #Conflicts: 867000 | #Constraints: 21010
2092.21/2097.77 c #Conflicts: 868000 | #Constraints: 22010
2092.21/2097.77 c #Conflicts: 869000 | #Constraints: 23010
2092.21/2097.77 c #Conflicts: 870000 | #Constraints: 24010
2092.21/2097.77 c #Conflicts: 871000 | #Constraints: 25010
2092.21/2097.77 c #Conflicts: 872000 | #Constraints: 26010
2092.21/2097.77 c #Conflicts: 873000 | #Constraints: 27010
2092.21/2097.77 c #Conflicts: 874000 | #Constraints: 28010
2092.21/2097.77 c #Conflicts: 875000 | #Constraints: 29010
2092.21/2097.77 c #Conflicts: 876000 | #Constraints: 30010
2092.21/2097.77 c #Conflicts: 877000 | #Constraints: 31010
2092.21/2097.77 c #Conflicts: 878000 | #Constraints: 32010
2092.21/2097.77 c #Conflicts: 879000 | #Constraints: 33010
2092.21/2097.77 c #Conflicts: 880000 | #Constraints: 34010
2092.21/2097.77 c #Conflicts: 881000 | #Constraints: 35010
2092.21/2097.77 c #Conflicts: 882000 | #Constraints: 36010
2092.21/2097.77 c #Conflicts: 883000 | #Constraints: 37010
2092.21/2097.77 c #Conflicts: 884000 | #Constraints: 38010
2092.21/2097.77 c INPROCESSING
2092.21/2097.77 c GARBAGE COLLECT
2092.21/2097.77 c #Conflicts: 885000 | #Constraints: 20413
2092.21/2097.77 c #Conflicts: 886000 | #Constraints: 21413
2092.21/2097.77 c #Conflicts: 887000 | #Constraints: 22413
2092.21/2097.77 c #Conflicts: 888000 | #Constraints: 23413
2092.21/2097.77 c #Conflicts: 889000 | #Constraints: 24413
2092.21/2097.77 c #Conflicts: 890000 | #Constraints: 25413
2092.21/2097.77 c #Conflicts: 891000 | #Constraints: 26413
2352.15/2358.39 c #Conflicts: 892000 | #Constraints: 27413
2352.15/2358.39 c #Conflicts: 893000 | #Constraints: 28413
2352.15/2358.39 c #Conflicts: 894000 | #Constraints: 29413
2352.15/2358.39 c #Conflicts: 895000 | #Constraints: 30413
2352.15/2358.39 c #Conflicts: 896000 | #Constraints: 31413
2352.15/2358.39 c #Conflicts: 897000 | #Constraints: 32413
2352.15/2358.39 c #Conflicts: 898000 | #Constraints: 33413
2352.15/2358.39 c #Conflicts: 899000 | #Constraints: 34413
2352.15/2358.39 c #Conflicts: 900000 | #Constraints: 35413
2352.15/2358.39 c #Conflicts: 901000 | #Constraints: 36413
2352.15/2358.39 c #Conflicts: 902000 | #Constraints: 37413
2352.15/2358.39 c #Conflicts: 903000 | #Constraints: 38413
2352.15/2358.39 c INPROCESSING
2352.15/2358.39 c GARBAGE COLLECT
2352.15/2358.39 c #Conflicts: 904000 | #Constraints: 20615
2352.15/2358.39 c #Conflicts: 905000 | #Constraints: 21615
2352.15/2358.39 c #Conflicts: 906000 | #Constraints: 22615
2352.15/2358.39 c #Conflicts: 907000 | #Constraints: 23615
2352.15/2358.39 c #Conflicts: 908000 | #Constraints: 24615
2352.15/2358.39 c #Conflicts: 909000 | #Constraints: 25615
2352.15/2358.39 c #Conflicts: 910000 | #Constraints: 26615
2352.15/2358.39 c #Conflicts: 911000 | #Constraints: 27615
2352.15/2358.39 c #Conflicts: 912000 | #Constraints: 28615
2352.15/2358.39 c #Conflicts: 913000 | #Constraints: 29615
2352.15/2358.39 c #Conflicts: 914000 | #Constraints: 30615
2352.15/2358.39 c #Conflicts: 915000 | #Constraints: 31615
2352.15/2358.39 c #Conflicts: 916000 | #Constraints: 32615
2352.15/2358.39 c #Conflicts: 917000 | #Constraints: 33615
2352.15/2358.39 c #Conflicts: 918000 | #Constraints: 34615
2352.15/2358.39 c #Conflicts: 919000 | #Constraints: 35615
2352.15/2358.39 c #Conflicts: 920000 | #Constraints: 36615
2352.15/2358.39 c #Conflicts: 921000 | #Constraints: 37615
2352.15/2358.39 c #Conflicts: 922000 | #Constraints: 38615
2352.15/2358.39 c INPROCESSING
2352.15/2358.39 c GARBAGE COLLECT
2352.15/2358.39 c #Conflicts: 923000 | #Constraints: 20611
2352.15/2358.39 c #Conflicts: 924000 | #Constraints: 21611
2352.15/2358.39 c #Conflicts: 925000 | #Constraints: 22611
2352.15/2358.39 c #Conflicts: 926000 | #Constraints: 23611
2352.15/2358.39 c #Conflicts: 927000 | #Constraints: 24611
2352.15/2358.39 c #Conflicts: 928000 | #Constraints: 25611
2352.15/2358.39 c #Conflicts: 929000 | #Constraints: 26611
2352.15/2358.39 c #Conflicts: 930000 | #Constraints: 27611
2352.15/2358.39 c #Conflicts: 931000 | #Constraints: 28611
2352.15/2358.39 c #Conflicts: 932000 | #Constraints: 29611
2352.15/2358.39 c #Conflicts: 933000 | #Constraints: 30611
2352.15/2358.39 c #Conflicts: 934000 | #Constraints: 31611
2352.15/2358.39 c #Conflicts: 935000 | #Constraints: 32611
2352.15/2358.39 c #Conflicts: 936000 | #Constraints: 33611
2352.15/2358.39 c #Conflicts: 937000 | #Constraints: 34611
2352.15/2358.39 c #Conflicts: 938000 | #Constraints: 35611
2352.15/2358.39 c #Conflicts: 939000 | #Constraints: 36611
2352.15/2358.39 c #Conflicts: 940000 | #Constraints: 37611
2352.15/2358.39 c #Conflicts: 941000 | #Constraints: 38611
2352.15/2358.39 c INPROCESSING
2352.15/2358.39 c GARBAGE COLLECT
2352.15/2358.39 c #Conflicts: 942000 | #Constraints: 20457
2352.15/2358.39 c #Conflicts: 943000 | #Constraints: 21457
2352.15/2358.39 c #Conflicts: 944000 | #Constraints: 22457
2352.15/2358.39 c #Conflicts: 945000 | #Constraints: 23457
2352.15/2358.39 c #Conflicts: 946000 | #Constraints: 24457
2352.15/2358.39 c #Conflicts: 947000 | #Constraints: 25457
2352.15/2358.39 c #Conflicts: 948000 | #Constraints: 26457
2352.15/2358.39 c #Conflicts: 949000 | #Constraints: 27457
2352.15/2358.39 c #Conflicts: 950000 | #Constraints: 28457
2352.15/2358.39 c #Conflicts: 951000 | #Constraints: 29457
2352.15/2358.39 c #Conflicts: 952000 | #Constraints: 30457
2352.15/2358.39 c #Conflicts: 953000 | #Constraints: 31457
2352.15/2358.39 c #Conflicts: 954000 | #Constraints: 32457
2352.15/2358.39 c #Conflicts: 955000 | #Constraints: 33457
2352.15/2358.39 c #Conflicts: 956000 | #Constraints: 34457
2352.15/2358.39 c #Conflicts: 957000 | #Constraints: 35457
2352.15/2358.39 c #Conflicts: 958000 | #Constraints: 36457
2352.15/2358.39 c #Conflicts: 959000 | #Constraints: 37457
2352.15/2358.39 c #Conflicts: 960000 | #Constraints: 38457
2352.15/2358.39 c #Conflicts: 961000 | #Constraints: 39457
2352.15/2358.39 c INPROCESSING
2352.15/2358.39 c GARBAGE COLLECT
2352.15/2358.39 c #Conflicts: 962000 | #Constraints: 21053
2352.15/2358.39 c #Conflicts: 963000 | #Constraints: 22053
2352.15/2358.39 c #Conflicts: 964000 | #Constraints: 23053
2352.15/2358.39 c #Conflicts: 965000 | #Constraints: 24053
2352.15/2358.39 c #Conflicts: 966000 | #Constraints: 25053
2352.15/2358.39 c #Conflicts: 967000 | #Constraints: 26053
2750.90/2758.09 c #Conflicts: 968000 | #Constraints: 27053
2750.90/2758.09 c #Conflicts: 969000 | #Constraints: 28053
2750.90/2758.09 c #Conflicts: 970000 | #Constraints: 29053
2750.90/2758.09 c #Conflicts: 971000 | #Constraints: 30053
2750.90/2758.09 c #Conflicts: 972000 | #Constraints: 31053
2750.90/2758.09 c #Conflicts: 973000 | #Constraints: 32053
2750.90/2758.09 c #Conflicts: 974000 | #Constraints: 33053
2750.90/2758.09 c #Conflicts: 975000 | #Constraints: 34053
2750.90/2758.09 c #Conflicts: 976000 | #Constraints: 35053
2750.90/2758.09 c #Conflicts: 977000 | #Constraints: 36053
2750.90/2758.09 c #Conflicts: 978000 | #Constraints: 37053
2750.90/2758.09 c #Conflicts: 979000 | #Constraints: 38053
2750.90/2758.09 c #Conflicts: 980000 | #Constraints: 39053
2750.90/2758.09 c #Conflicts: 981000 | #Constraints: 40053
2750.90/2758.09 c INPROCESSING
2750.90/2758.09 c GARBAGE COLLECT
2750.90/2758.09 c #Conflicts: 982000 | #Constraints: 21463
2750.90/2758.09 c #Conflicts: 983000 | #Constraints: 22463
2750.90/2758.09 c #Conflicts: 984000 | #Constraints: 23463
2750.90/2758.09 c #Conflicts: 985000 | #Constraints: 24463
2750.90/2758.09 c #Conflicts: 986000 | #Constraints: 25463
2750.90/2758.09 c #Conflicts: 987000 | #Constraints: 26463
2750.90/2758.09 c #Conflicts: 988000 | #Constraints: 27463
2750.90/2758.09 c #Conflicts: 989000 | #Constraints: 28463
2750.90/2758.09 c #Conflicts: 990000 | #Constraints: 29463
2750.90/2758.09 c #Conflicts: 991000 | #Constraints: 30463
2750.90/2758.09 c #Conflicts: 992000 | #Constraints: 31463
2750.90/2758.09 c #Conflicts: 993000 | #Constraints: 32463
2750.90/2758.09 c #Conflicts: 994000 | #Constraints: 33463
2750.90/2758.09 c #Conflicts: 995000 | #Constraints: 34463
2750.90/2758.09 c #Conflicts: 996000 | #Constraints: 35463
2750.90/2758.09 c #Conflicts: 997000 | #Constraints: 36463
2750.90/2758.09 c #Conflicts: 998000 | #Constraints: 37463
2750.90/2758.09 c #Conflicts: 999000 | #Constraints: 38463
2750.90/2758.09 c #Conflicts: 1000000 | #Constraints: 39463
2750.90/2758.09 c #Conflicts: 1001000 | #Constraints: 40463
2750.90/2758.09 c INPROCESSING
2750.90/2758.09 c GARBAGE COLLECT
2750.90/2758.09 c #Conflicts: 1002000 | #Constraints: 21641
2750.90/2758.09 c #Conflicts: 1003000 | #Constraints: 22641
2750.90/2758.09 c #Conflicts: 1004000 | #Constraints: 23641
2750.90/2758.09 c #Conflicts: 1005000 | #Constraints: 24641
2750.90/2758.09 c #Conflicts: 1006000 | #Constraints: 25641
2750.90/2758.09 c #Conflicts: 1007000 | #Constraints: 26641
2750.90/2758.09 c #Conflicts: 1008000 | #Constraints: 27641
2750.90/2758.09 c #Conflicts: 1009000 | #Constraints: 28641
2750.90/2758.09 c #Conflicts: 1010000 | #Constraints: 29641
2750.90/2758.09 c #Conflicts: 1011000 | #Constraints: 30641
2750.90/2758.09 c #Conflicts: 1012000 | #Constraints: 31641
2750.90/2758.09 c #Conflicts: 1013000 | #Constraints: 32641
2750.90/2758.09 c #Conflicts: 1014000 | #Constraints: 33641
2750.90/2758.09 c #Conflicts: 1015000 | #Constraints: 34641
2750.90/2758.09 c #Conflicts: 1016000 | #Constraints: 35641
2750.90/2758.09 c #Conflicts: 1017000 | #Constraints: 36641
2750.90/2758.09 c #Conflicts: 1018000 | #Constraints: 37641
2750.90/2758.09 c #Conflicts: 1019000 | #Constraints: 38641
2750.90/2758.09 c #Conflicts: 1020000 | #Constraints: 39641
2750.90/2758.09 c #Conflicts: 1021000 | #Constraints: 40641
2750.90/2758.09 c INPROCESSING
2750.90/2758.09 c GARBAGE COLLECT
2750.90/2758.09 c #Conflicts: 1022000 | #Constraints: 21645
2750.90/2758.09 c #Conflicts: 1023000 | #Constraints: 22645
2750.90/2758.09 c #Conflicts: 1024000 | #Constraints: 23645
2750.90/2758.09 c #Conflicts: 1025000 | #Constraints: 24645
2750.90/2758.09 c #Conflicts: 1026000 | #Constraints: 25645
2750.90/2758.09 c #Conflicts: 1027000 | #Constraints: 26645
2750.90/2758.09 c #Conflicts: 1028000 | #Constraints: 27645
2750.90/2758.09 c #Conflicts: 1029000 | #Constraints: 28645
2750.90/2758.09 c #Conflicts: 1030000 | #Constraints: 29645
2750.90/2758.09 c #Conflicts: 1031000 | #Constraints: 30645
2750.90/2758.09 c #Conflicts: 1032000 | #Constraints: 31645
2750.90/2758.09 c #Conflicts: 1033000 | #Constraints: 32645
2750.90/2758.09 c #Conflicts: 1034000 | #Constraints: 33645
2750.90/2758.09 c #Conflicts: 1035000 | #Constraints: 34645
2750.90/2758.09 c #Conflicts: 1036000 | #Constraints: 35645
2750.90/2758.09 c #Conflicts: 1037000 | #Constraints: 36645
2750.90/2758.09 c #Conflicts: 1038000 | #Constraints: 37645
2750.90/2758.09 c #Conflicts: 1039000 | #Constraints: 38645
2750.90/2758.09 c #Conflicts: 1040000 | #Constraints: 39645
2750.90/2758.09 c #Conflicts: 1041000 | #Constraints: 40645
2750.90/2758.09 c INPROCESSING
2750.90/2758.09 c GARBAGE COLLECT
2750.90/2758.09 c #Conflicts: 1042000 | #Constraints: 21438
2750.90/2758.09 c #Conflicts: 1043000 | #Constraints: 22438
2750.90/2758.09 c #Conflicts: 1044000 | #Constraints: 23438
3428.17/3437.10 c #Conflicts: 1045000 | #Constraints: 24438
3428.17/3437.10 c #Conflicts: 1046000 | #Constraints: 25438
3428.17/3437.10 c #Conflicts: 1047000 | #Constraints: 26438
3428.17/3437.10 c #Conflicts: 1048000 | #Constraints: 27438
3428.17/3437.10 c #Conflicts: 1049000 | #Constraints: 28438
3428.17/3437.10 c #Conflicts: 1050000 | #Constraints: 29438
3428.17/3437.10 c #Conflicts: 1051000 | #Constraints: 30438
3428.17/3437.10 c #Conflicts: 1052000 | #Constraints: 31438
3428.17/3437.10 c #Conflicts: 1053000 | #Constraints: 32438
3428.17/3437.10 c #Conflicts: 1054000 | #Constraints: 33438
3428.17/3437.10 c #Conflicts: 1055000 | #Constraints: 34438
3428.17/3437.10 c #Conflicts: 1056000 | #Constraints: 35438
3428.17/3437.10 c #Conflicts: 1057000 | #Constraints: 36438
3428.17/3437.10 c #Conflicts: 1058000 | #Constraints: 37438
3428.17/3437.10 c #Conflicts: 1059000 | #Constraints: 38438
3428.17/3437.10 c #Conflicts: 1060000 | #Constraints: 39438
3428.17/3437.10 c #Conflicts: 1061000 | #Constraints: 40438
3428.17/3437.10 c #Conflicts: 1062000 | #Constraints: 41438
3428.17/3437.10 c INPROCESSING
3428.17/3437.10 c GARBAGE COLLECT
3428.17/3437.10 c #Conflicts: 1063000 | #Constraints: 22047
3428.17/3437.10 c #Conflicts: 1064000 | #Constraints: 23047
3428.17/3437.10 c #Conflicts: 1065000 | #Constraints: 24047
3428.17/3437.10 c #Conflicts: 1066000 | #Constraints: 25047
3428.17/3437.10 c #Conflicts: 1067000 | #Constraints: 26047
3428.17/3437.10 c #Conflicts: 1068000 | #Constraints: 27047
3428.17/3437.10 c #Conflicts: 1069000 | #Constraints: 28047
3428.17/3437.10 c #Conflicts: 1070000 | #Constraints: 29047
3428.17/3437.10 c #Conflicts: 1071000 | #Constraints: 30047
3428.17/3437.10 c #Conflicts: 1072000 | #Constraints: 31047
3428.17/3437.10 c #Conflicts: 1073000 | #Constraints: 32047
3428.17/3437.10 c #Conflicts: 1074000 | #Constraints: 33047
3428.17/3437.10 c #Conflicts: 1075000 | #Constraints: 34047
3428.17/3437.10 c #Conflicts: 1076000 | #Constraints: 35047
3428.17/3437.10 c #Conflicts: 1077000 | #Constraints: 36047
3428.17/3437.10 c #Conflicts: 1078000 | #Constraints: 37047
3428.17/3437.10 c #Conflicts: 1079000 | #Constraints: 38047
3428.17/3437.10 c #Conflicts: 1080000 | #Constraints: 39047
3428.17/3437.10 c #Conflicts: 1081000 | #Constraints: 40047
3428.17/3437.10 c #Conflicts: 1082000 | #Constraints: 41047
3428.17/3437.10 c #Conflicts: 1083000 | #Constraints: 42047
3428.17/3437.10 c INPROCESSING
3428.17/3437.10 c GARBAGE COLLECT
3428.17/3437.10 c #Conflicts: 1084000 | #Constraints: 22460
3428.17/3437.10 c #Conflicts: 1085000 | #Constraints: 23460
3428.17/3437.10 c #Conflicts: 1086000 | #Constraints: 24460
3428.17/3437.10 c #Conflicts: 1087000 | #Constraints: 25460
3428.17/3437.10 c #Conflicts: 1088000 | #Constraints: 26460
3428.17/3437.10 c #Conflicts: 1089000 | #Constraints: 27460
3428.17/3437.10 c #Conflicts: 1090000 | #Constraints: 28460
3428.17/3437.10 c #Conflicts: 1091000 | #Constraints: 29460
3428.17/3437.10 c #Conflicts: 1092000 | #Constraints: 30460
3428.17/3437.10 c #Conflicts: 1093000 | #Constraints: 31460
3428.17/3437.10 c #Conflicts: 1094000 | #Constraints: 32460
3428.17/3437.10 c #Conflicts: 1095000 | #Constraints: 33460
3428.17/3437.10 c #Conflicts: 1096000 | #Constraints: 34460
3428.17/3437.10 c #Conflicts: 1097000 | #Constraints: 35460
3428.17/3437.10 c #Conflicts: 1098000 | #Constraints: 36460
3428.17/3437.10 c #Conflicts: 1099000 | #Constraints: 37460
3428.17/3437.10 c #Conflicts: 1100000 | #Constraints: 38460
3428.17/3437.10 c #Conflicts: 1101000 | #Constraints: 39460
3428.17/3437.10 c #Conflicts: 1102000 | #Constraints: 40460
3428.17/3437.10 c #Conflicts: 1103000 | #Constraints: 41460
3428.17/3437.10 c #Conflicts: 1104000 | #Constraints: 42460
3428.17/3437.10 c INPROCESSING
3428.17/3437.10 c GARBAGE COLLECT
3428.17/3437.10 c #Conflicts: 1105000 | #Constraints: 22690
3428.17/3437.10 c #Conflicts: 1106000 | #Constraints: 23690
3428.17/3437.10 c #Conflicts: 1107000 | #Constraints: 24690
3428.17/3437.10 c #Conflicts: 1108000 | #Constraints: 25690
3428.17/3437.10 c #Conflicts: 1109000 | #Constraints: 26690
3428.17/3437.10 c #Conflicts: 1110000 | #Constraints: 27690
3428.17/3437.10 c #Conflicts: 1111000 | #Constraints: 28690
3428.17/3437.10 c #Conflicts: 1112000 | #Constraints: 29690
3428.17/3437.10 c #Conflicts: 1113000 | #Constraints: 30690
3428.17/3437.10 c #Conflicts: 1114000 | #Constraints: 31690
3428.17/3437.10 c #Conflicts: 1115000 | #Constraints: 32690
3428.17/3437.10 c #Conflicts: 1116000 | #Constraints: 33690
3428.17/3437.10 c #Conflicts: 1117000 | #Constraints: 34690
3428.17/3437.10 c #Conflicts: 1118000 | #Constraints: 35690
3428.17/3437.10 c #Conflicts: 1119000 | #Constraints: 36690
3428.17/3437.10 c #Conflicts: 1120000 | #Constraints: 37690
3428.17/3437.10 c #Conflicts: 1121000 | #Constraints: 38690
3600.08/3609.40 c #Conflicts: 1122000 | #Constraints: 39690
3600.08/3609.40 c #Conflicts: 1123000 | #Constraints: 40690
3600.08/3609.40 c #Conflicts: 1124000 | #Constraints: 41690
3600.08/3609.40 c #Conflicts: 1125000 | #Constraints: 42690
3600.08/3609.40 c INPROCESSING
3600.08/3609.40 c GARBAGE COLLECT
3600.08/3609.40 c #Conflicts: 1126000 | #Constraints: 22686
3600.08/3609.40 c #Conflicts: 1127000 | #Constraints: 23686
3600.08/3609.40 c #Conflicts: 1128000 | #Constraints: 24686
3600.08/3609.40 c #Conflicts: 1129000 | #Constraints: 25686
3600.08/3609.40 c #Conflicts: 1130000 | #Constraints: 26686
3600.08/3609.40 c #Conflicts: 1131000 | #Constraints: 27686
3600.08/3609.40 c #Conflicts: 1132000 | #Constraints: 28686
3600.08/3609.40 c #Conflicts: 1133000 | #Constraints: 29686
3600.08/3609.40 c #Conflicts: 1134000 | #Constraints: 30686
3600.08/3609.40 c #Conflicts: 1135000 | #Constraints: 31686
3600.08/3609.40 c #Conflicts: 1136000 | #Constraints: 32686
3600.08/3609.40 c #Conflicts: 1137000 | #Constraints: 33686
3600.08/3609.40 c #Conflicts: 1138000 | #Constraints: 34686
3600.08/3609.40 c #Conflicts: 1139000 | #Constraints: 35686
3600.08/3609.40 c #Conflicts: 1140000 | #Constraints: 36686
3600.08/3609.40 c #Conflicts: 1141000 | #Constraints: 37686
3600.08/3609.40 c #Conflicts: 1142000 | #Constraints: 38686
3600.08/3609.40 c #Conflicts: 1143000 | #Constraints: 39686
3600.08/3609.40 c #Conflicts: 1144000 | #Constraints: 40686
3600.08/3609.40 c #Conflicts: 1145000 | #Constraints: 41686
3600.08/3609.40 c #Conflicts: 1146000 | #Constraints: 42686
3600.08/3609.40 c INPROCESSING
3600.08/3609.40 c GARBAGE COLLECT
3600.08/3609.40 c #Conflicts: 1147000 | #Constraints: 22450
3600.08/3609.40 c #Conflicts: 1148000 | #Constraints: 23450
3600.08/3609.40 c #Conflicts: 1149000 | #Constraints: 24450
3600.08/3609.40 c #Conflicts: 1150000 | #Constraints: 25450
3600.08/3609.40 c #Conflicts: 1151000 | #Constraints: 26450
3600.08/3609.40 c #Conflicts: 1152000 | #Constraints: 27450
3600.08/3609.40 c #Conflicts: 1153000 | #Constraints: 28450
3600.08/3609.40 c #Conflicts: 1154000 | #Constraints: 29450
3600.08/3609.40 c #Conflicts: 1155000 | #Constraints: 30450
3600.08/3609.40 c #Conflicts: 1156000 | #Constraints: 31450
3600.08/3609.40 c #Conflicts: 1157000 | #Constraints: 32450
3600.08/3609.40 c #Conflicts: 1158000 | #Constraints: 33450
3600.08/3609.40 c #Conflicts: 1159000 | #Constraints: 34450
3600.08/3609.40 c #Conflicts: 1160000 | #Constraints: 35450
3600.08/3609.40 c #Conflicts: 1161000 | #Constraints: 36450
3600.08/3609.40 c #Conflicts: 1162000 | #Constraints: 37450
3600.08/3609.40 c #Conflicts: 1163000 | #Constraints: 38450
3600.08/3609.40 c #Conflicts: 1164000 | #Constraints: 39450
3600.08/3609.40 c #Conflicts: 1165000 | #Constraints: 40450
3600.08/3609.40 c Program interrupted by user.
3600.08/3609.40 c cpu time 3586.44 s
3600.08/3609.40 c deterministic time 868495007998 8.68e+11
3600.08/3609.40 c optimization time 29.7616 s
3600.08/3609.40 c total solve time 3556.56 s
3600.08/3609.40 c core-guided solve time 3556.56 s
3600.08/3609.40 c propagation time 2953.23 s
3600.08/3609.40 c conflict analysis time 553.747 s
3600.08/3609.40 c propagations 477389713
3600.08/3609.40 c resolve steps 10257475
3600.08/3609.40 c decisions 10182064
3600.08/3609.40 c conflicts 1165282
3600.08/3609.40 c restarts 2172
3600.08/3609.40 c inprocessing phases 98
3600.08/3609.40 c input clauses 8512
3600.08/3609.40 c input cardinalities 98
3600.08/3609.40 c input general constraints 576
3600.08/3609.40 c input average constraint length 9.75
3600.08/3609.40 c input average constraint degree 71.75
3600.08/3609.40 c learned clauses 135750
3600.08/3609.40 c learned cardinalities 17538
3600.08/3609.40 c learned general constraints 1011994
3600.08/3609.40 c learned average constraint length 911.07
3600.08/3609.40 c learned average constraint degree 58821004.28
3600.08/3609.40 c watched constraints 805392
3600.08/3609.40 c counting constraints 207178
3600.08/3609.40 c gcd simplifications 82459
3600.08/3609.40 c detected cardinalities 469
3600.08/3609.40 c weakened non-implied lits 139295800
3600.08/3609.40 c weakened non-implying lits 133171
3600.08/3609.40 c original variables 8424
3600.08/3609.40 c clausal propagations 1537963
3600.08/3609.40 c cardinality propagations 8674483
3600.08/3609.40 c watched propagations 24449169
3600.08/3609.40 c counting propagations 440547529
3600.08/3609.40 c watch lookups 25124905681
3600.08/3609.40 c watch backjump lookups 22212138918
3600.08/3609.40 c watch checks 727438772457
3600.08/3609.40 c propagation checks 88960973858
3600.08/3609.40 c constraint additions 3781914555
3600.08/3609.40 c trail pops 488730751
3600.08/3609.40 c formula constraints 9186
3600.08/3609.40 c learned constraints 1165282
3600.08/3609.40 c bound constraints 0
3600.08/3609.40 c core-guided constraints 0
3600.08/3609.40 c encountered formula constraints 6287222
3600.08/3609.40 c encountered learned constraints 5135535
3600.08/3609.40 c encountered bound constraints 0
3600.08/3609.40 c encountered core-guided constraints 0
3600.08/3609.40 c LP total time 0 s
3600.08/3609.40 c LP solve time 0 s
3600.08/3609.40 c LP constraints added 0
3600.08/3609.40 c LP constraints removed 0
3600.08/3609.40 c LP pivots internal 0
3600.08/3609.40 c LP pivots root 0
3600.08/3609.40 c LP calls 0
3600.08/3609.40 c LP optimalities 0
3600.08/3609.40 c LP no pivot count 0
3600.08/3609.40 c LP infeasibilities 0
3600.08/3609.40 c LP valid Farkas constraints 0
3600.08/3609.40 c LP learned Farkas constraints 0
3600.08/3609.40 c LP basis resets 0
3600.08/3609.40 c LP cycling count 0
3600.08/3609.40 c LP singular count 0
3600.08/3609.40 c LP no primal count 0
3600.08/3609.40 c LP no farkas count 0
3600.08/3609.40 c LP other issue count 0
3600.08/3609.40 c LP Gomory cuts 0
3600.08/3609.40 c LP learned cuts 0
3600.08/3609.40 c LP deleted cuts 0
3600.08/3609.40 c LP encountered Gomory constraints 0
3600.08/3609.40 c LP encountered Farkas constraints 0
3600.08/3609.40 c LP encountered learned Farkas constraints 0
3600.08/3609.40 c CG auxiliary variables introduced 0
3600.08/3609.40 c CG solutions found 0
3600.08/3609.40 c CG cores constructed 0
3600.08/3609.40 c CG core cardinality constraints returned 0
3600.08/3609.40 c CG unit cores 0
3600.08/3609.40 c CG single cores 0
3600.08/3609.40 c CG blocks removed during cardinality reduction 0
3600.08/3609.40 c CG first core best 0
3600.08/3609.40 c CG decision core best 0
3600.08/3609.40 c CG core reduction tie 0
3600.08/3609.40 c CG core degree average 0.00
3600.08/3609.40 c CG core slack average 0.00
3600.08/3609.40 c CG exhausted 0
3600.08/3609.40 c CG exhaust time 0 s
3600.08/3609.40 c CG trimmed 0
3600.08/3609.40 c CG trim time 0 s
3600.08/3609.40 c CG minimized 0
3600.08/3609.40 c CG minimize time 0 s
3600.08/3609.40 c CG am1 prop time 0 s
3600.08/3609.40 c CG # am1s reformulated 0
3600.08/3609.40 c CG lower bound derived from am1s 0
3600.08/3609.40 c CG # clausal cores 0
3600.08/3609.40 c CG # cardinality cores 0
3600.08/3609.40 c CG # pb cores 0
3600.08/3609.40 c CG # pb reforms 0
3600.08/3609.40 c CG # cores discarded because of pb reform 0
3600.08/3609.40 d LOWERBOUND 0
3600.08/3609.40 d NCORES 0
3600.08/3609.40 d NPBCORES 0
3600.08/3609.40 d NPBREFORM 0
3600.08/3609.40 d NTRIMMED 0
3600.08/3609.40 d NEXHAUSTED 0
3600.08/3609.40 d NAM1S 0
3600.08/3609.40 d AM1LB 0
3600.08/3609.40 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62336 MiB free)
memory of node 1: 64510 MiB (62917 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436008-1721112662/watcher-4436008-1721112662 -o /tmp/evaluation-result-4436008-1721112662/solver-4436008-1721112662 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721103905-828398 --watchdog 3760 pb-oll-rs HOME/instance-4436008-1721112662.opb
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 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=833962, runsolver pid=833959
[startup+0.10037 s]*
/proc/loadavg: 4.27 4.20 4.15 5/243 833963
/proc/meminfo: memFree=128256120/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=41560 memory=8352 CPUtime=0.09 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 1075 0 0 0 7 2 0 0 20 0 1 0 163422582 42557440 2088 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 10390 2088 1186 291 0 1924 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41560 KiB
Current children cumulated memory: 8352 KiB
[startup+0.21336 s]*
/proc/loadavg: 4.27 4.20 4.15 5/243 833963
/proc/meminfo: memFree=128254104/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=42816 memory=10752 CPUtime=0.18 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 1519 0 0 0 15 3 0 0 20 0 1 0 163422582 43843584 2688 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 10704 2688 1376 291 0 2238 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 42816 KiB
Current children cumulated memory: 10752 KiB
[startup+0.312359 s]*
/proc/loadavg: 4.27 4.20 4.15 5/243 833963
/proc/meminfo: memFree=128253432/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=42944 memory=11436 CPUtime=0.27 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 1656 0 0 0 23 4 0 0 20 0 1 0 163422582 43974656 2859 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 10736 2859 1376 291 0 2270 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 42944 KiB
Current children cumulated memory: 11436 KiB
[startup+0.700325 s]
/proc/loadavg: 4.27 4.20 4.15 5/243 833964
/proc/meminfo: memFree=128250652/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=44360 memory=15156 CPUtime=0.65 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 2072 0 0 0 58 7 0 0 20 0 1 0 163422582 45424640 3789 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 11090 3789 1376 291 0 2624 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 44360 KiB
Current children cumulated memory: 15156 KiB
[startup+1.50036 s]
/proc/loadavg: 4.25 4.19 4.15 5/243 833964
/proc/meminfo: memFree=128247972/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=49128 memory=20228 CPUtime=1.44 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 2823 0 0 0 133 11 0 0 20 0 1 0 163422582 50307072 5057 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 12282 5057 1376 291 0 3816 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 49128 KiB
Current children cumulated memory: 20228 KiB
[startup+3.11271 s]
/proc/loadavg: 4.25 4.19 4.15 5/243 833964
/proc/meminfo: memFree=128234416/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=64944 memory=29800 CPUtime=3.04 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 4699 0 0 0 288 16 0 0 20 0 1 0 163422582 66502656 7450 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 16236 7450 1431 291 0 7770 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 64944 KiB
Current children cumulated memory: 29800 KiB
[startup+6.30033 s]
/proc/loadavg: 4.31 4.21 4.15 5/243 833964
/proc/meminfo: memFree=128226692/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=71028 memory=40124 CPUtime=6.23 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 6218 0 0 0 600 23 0 0 20 0 1 0 163422582 72732672 10031 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 17757 10031 1431 291 0 9291 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 71028 KiB
Current children cumulated memory: 40124 KiB
[startup+12.7003 s]
/proc/loadavg: 4.36 4.22 4.16 5/243 833966
/proc/meminfo: memFree=128203016/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=92636 memory=57348 CPUtime=12.61 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 8989 0 0 0 1226 35 0 0 20 0 1 0 163422582 94859264 14337 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 23159 14337 1431 291 0 14693 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 92636 KiB
Current children cumulated memory: 57348 KiB
[startup+25.5004 s]
/proc/loadavg: 4.31 4.21 4.16 5/243 833967
/proc/meminfo: memFree=128184664/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=102572 memory=72376 CPUtime=25.38 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 11259 0 0 0 2483 55 0 0 20 0 1 0 163422582 105033728 18094 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 25643 18094 1431 291 0 17177 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 102572 KiB
Current children cumulated memory: 72376 KiB
[startup+51.1127 s]
/proc/loadavg: 4.26 4.21 4.16 5/243 833972
/proc/meminfo: memFree=128142556/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=140264 memory=101664 CPUtime=50.92 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 16097 0 0 0 4999 93 0 0 20 0 1 0 163422582 143630336 25416 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 35066 25416 1431 291 0 26600 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 140264 KiB
Current children cumulated memory: 101664 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.19 4.15 5/243 833981
/proc/meminfo: memFree=128031196/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=268212 memory=197916 CPUtime=101.98 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 27440 0 0 0 10074 124 0 0 20 0 1 0 163422582 274649088 49479 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 67053 49479 1431 291 0 58587 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 268212 KiB
Current children cumulated memory: 197916 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.17 4.15 5/243 833991
/proc/meminfo: memFree=128003100/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=275200 memory=203856 CPUtime=161.81 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 29055 0 0 0 16006 175 0 0 20 0 1 0 163422582 281804800 50964 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 68800 50964 1431 291 0 60334 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 275200 KiB
Current children cumulated memory: 203856 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.17 4.15 5/243 834002
/proc/meminfo: memFree=127934396/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=285048 memory=213004 CPUtime=221.65 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 31448 0 0 0 21937 228 0 0 20 0 1 0 163422582 291889152 53251 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 71262 53251 1431 291 0 62796 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 285048 KiB
Current children cumulated memory: 213004 KiB
[startup+282.3 s]
/proc/loadavg: 4.64 4.29 4.19 5/243 834398
/proc/meminfo: memFree=127897212/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=303792 memory=228224 CPUtime=281.49 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 35311 0 0 0 27892 257 0 0 20 0 1 0 163422582 311083008 57056 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 75948 57056 1431 291 0 67482 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 303792 KiB
Current children cumulated memory: 228224 KiB
[startup+342.3 s]
/proc/loadavg: 4.61 4.37 4.23 5/243 834408
/proc/meminfo: memFree=127851160/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=312068 memory=235248 CPUtime=341.34 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 37205 0 0 0 33835 299 0 0 20 0 1 0 163422582 319557632 58812 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 78017 58812 1431 291 0 69551 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 312068 KiB
Current children cumulated memory: 235248 KiB
[startup+402.3 s]
/proc/loadavg: 4.33 4.33 4.22 5/243 834418
/proc/meminfo: memFree=127806824/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=319048 memory=241344 CPUtime=401.17 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 38868 0 0 0 39771 346 0 0 20 0 1 0 163422582 326705152 60336 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 79762 60336 1431 291 0 71296 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 319048 KiB
Current children cumulated memory: 241344 KiB
[startup+462.3 s]
/proc/loadavg: 4.23 4.30 4.21 5/245 834690
/proc/meminfo: memFree=128253136/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=326468 memory=251820 CPUtime=461.02 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 40600 0 0 0 45713 389 0 0 20 0 1 0 163422582 334303232 62955 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 81617 62955 1431 291 0 73151 0
################
# More data... #
################
Current children cumulated memory: 752988 KiB
[startup+2862.3 s]
/proc/loadavg: 2.14 2.60 3.39 3/227 835806
/proc/meminfo: memFree=128806852/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=851504 memory=755144 CPUtime=2854.96 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 109328 0 0 0 284259 1237 0 0 20 0 1 0 163422582 871940096 188786 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 212876 188786 1431 291 0 204410 0
Current children cumulated CPU time: 2854.96 s
Current children cumulated vsize: 851504 KiB
Current children cumulated memory: 755144 KiB
[startup+2922.3 s]
/proc/loadavg: 2.10 2.50 3.31 3/227 835817
/proc/meminfo: memFree=128803408/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=855600 memory=758288 CPUtime=2914.83 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 110496 0 0 0 290233 1250 0 0 20 0 1 0 163422582 876134400 189572 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 213900 189572 1431 291 0 205434 0
Current children cumulated CPU time: 2914.83 s
Current children cumulated vsize: 855600 KiB
Current children cumulated memory: 758288 KiB
[startup+2982.3 s]
/proc/loadavg: 2.14 2.44 3.23 3/230 835832
/proc/meminfo: memFree=128800484/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=857844 memory=759508 CPUtime=2974.69 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 111093 0 0 0 296212 1257 0 0 20 0 1 0 163422582 878432256 189877 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 214461 189877 1431 291 0 205995 0
Current children cumulated CPU time: 2974.69 s
Current children cumulated vsize: 857844 KiB
Current children cumulated memory: 759508 KiB
[startup+3042.3 s]
/proc/loadavg: 2.11 2.37 3.16 3/230 835842
/proc/meminfo: memFree=128785932/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=864244 memory=763764 CPUtime=3034.55 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 112356 0 0 0 302190 1265 0 0 20 0 1 0 163422582 884985856 190941 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 216061 190941 1431 291 0 207595 0
Current children cumulated CPU time: 3034.55 s
Current children cumulated vsize: 864244 KiB
Current children cumulated memory: 763764 KiB
[startup+3102.3 s]
/proc/loadavg: 2.16 2.33 3.09 3/230 835853
/proc/meminfo: memFree=128779568/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=868660 memory=767188 CPUtime=3094.38 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 113409 0 0 0 308168 1270 0 0 20 0 1 0 163422582 889507840 191797 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 217165 191797 1431 291 0 208699 0
Current children cumulated CPU time: 3094.38 s
Current children cumulated vsize: 868660 KiB
Current children cumulated memory: 767188 KiB
[startup+3162.3 s]
/proc/loadavg: 2.12 2.29 3.03 3/230 835865
/proc/meminfo: memFree=128775300/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=873268 memory=770844 CPUtime=3154.21 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 114691 0 0 0 314146 1275 0 0 20 0 1 0 163422582 894226432 192711 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 218317 192711 1431 291 0 209851 0
Current children cumulated CPU time: 3154.21 s
Current children cumulated vsize: 873268 KiB
Current children cumulated memory: 770844 KiB
[startup+3222.3 s]
/proc/loadavg: 2.09 2.25 2.97 3/230 835876
/proc/meminfo: memFree=128768400/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=882228 memory=776992 CPUtime=3214.04 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 116486 0 0 0 320125 1279 0 0 20 0 1 0 163422582 903401472 194248 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 220557 194248 1431 291 0 212091 0
Current children cumulated CPU time: 3214.04 s
Current children cumulated vsize: 882228 KiB
Current children cumulated memory: 776992 KiB
[startup+3282.3 s]
/proc/loadavg: 2.20 2.25 2.92 3/230 835887
/proc/meminfo: memFree=128751928/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=891320 memory=783276 CPUtime=3273.87 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 118370 0 0 0 326098 1289 0 0 20 0 1 0 163422582 912711680 195819 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 222830 195819 1431 291 0 214364 0
Current children cumulated CPU time: 3273.87 s
Current children cumulated vsize: 891320 KiB
Current children cumulated memory: 783276 KiB
[startup+3342.3 s]
/proc/loadavg: 2.12 2.21 2.87 3/228 835897
/proc/meminfo: memFree=128749800/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=891768 memory=783332 CPUtime=3333.71 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 118602 0 0 0 332074 1297 0 0 20 0 1 0 163422582 913170432 195833 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 222942 195833 1431 291 0 214476 0
Current children cumulated CPU time: 3333.71 s
Current children cumulated vsize: 891768 KiB
Current children cumulated memory: 783332 KiB
[startup+3402.3 s]
/proc/loadavg: 2.08 2.19 2.81 3/228 835907
/proc/meminfo: memFree=128746992/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=895480 memory=785600 CPUtime=3393.54 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 119555 0 0 0 338051 1303 0 0 20 0 1 0 163422582 916971520 196400 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 223870 196400 1431 291 0 215404 0
Current children cumulated CPU time: 3393.54 s
Current children cumulated vsize: 895480 KiB
Current children cumulated memory: 785600 KiB
[startup+3462.3 s]
/proc/loadavg: 2.13 2.18 2.77 3/228 835917
/proc/meminfo: memFree=128720016/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=905592 memory=812388 CPUtime=3453.38 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 121333 0 0 0 344030 1308 0 0 20 0 1 0 163422582 927326208 203097 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 226398 203097 1431 291 0 217932 0
Current children cumulated CPU time: 3453.38 s
Current children cumulated vsize: 905592 KiB
Current children cumulated memory: 812388 KiB
[startup+3522.3 s]
/proc/loadavg: 2.10 2.16 2.72 3/227 835928
/proc/meminfo: memFree=128670080/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=918392 memory=861856 CPUtime=3513.21 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 123855 0 0 0 350008 1313 0 0 20 0 1 0 163422582 940433408 215464 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 229598 215464 1431 291 0 221132 0
Current children cumulated CPU time: 3513.21 s
Current children cumulated vsize: 918392 KiB
Current children cumulated memory: 861856 KiB
[startup+3582.3 s]
/proc/loadavg: 2.14 2.16 2.69 3/230 835943
/proc/meminfo: memFree=128641880/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=1137392 memory=888384 CPUtime=3573.04 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 125502 0 0 0 355958 1346 0 0 20 0 1 0 163422582 1164689408 222096 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 284348 222096 1431 291 0 275882 0
Current children cumulated CPU time: 3573.04 s
Current children cumulated vsize: 1137392 KiB
Current children cumulated memory: 888384 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 2.09 2.15 2.67 3/230 835946
/proc/meminfo: memFree=128629188/131655788 swapFree=131071996/131071996
[pid=833962] ppid=833959 vsize=1137392 memory=901056 CPUtime=3600.08 cores=5,7
/proc/833962/stat : 833962 (pb-oll-rs) R 833959 833962 828344 0 -1 4194304 125659 0 0 0 358644 1364 0 0 20 0 1 0 163422582 1164689408 225264 134679101440 4194304 5384005 140724385331280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 25817088 140724385334295 140724385334372 140724385334372 140724385341387 0
/proc/833962/statm: 284348 225264 1431 291 0 275882 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1137392 KiB
Current children cumulated memory: 901056 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.41 s]
# the end of solver process 833962 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.45 s, system=13.6603 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.41
CPU time (s): 3600.11
CPU user time (s): 3586.45
CPU system time (s): 13.6603
CPU usage (%): 99.7422
Max. virtual memory (cumulated for all children) (KiB): 1137392
Max. memory (cumulated for all children) (KiB): 901056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.45
system time used= 13.6603
maximum resident set size= 901176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125690
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 157
involuntary context switches= 3696
# summary of solver processes directly reported to runsolver:
# pid: 833962
# total CPU time (s): 3600.11
# total CPU user time (s): 3586.45
# total CPU system time (s): 13.6603
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7078 second user time and 37.665 second system time
The end
Begin job on nodeC008 at 2024-07-16 08:51:14
IDJOB=4436008
IDBENCH=148768
IDSOLVER=3067
FILE ID=nodeC008/4436008-1721112662
RUNJOBID= nodeC008-1721103905-828398
SLURM_JOB_ID= 7505622
Free space on /tmp= 723760 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436008-1721112662/watcher-4436008-1721112662 -o /tmp/evaluation-result-4436008-1721112662/solver-4436008-1721112662 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721103905-828398 --watchdog 3760 pb-oll-rs HOME/instance-4436008-1721112662.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=959508628
nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3537.466
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
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 : 3589.971
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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 : 1197.440
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
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.364
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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 : 3553.551
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
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 : 3491.979
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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.365
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
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 : 1197.244
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128260416 kB
MemAvailable: 128458240 kB
Buffers: 414508 kB
Cached: 627028 kB
SwapCached: 0 kB
Active: 648208 kB
Inactive: 2224648 kB
Active(anon): 1492 kB
Inactive(anon): 1867200 kB
Active(file): 646716 kB
Inactive(file): 357448 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 2696 kB
Writeback: 0 kB
AnonPages: 1830788 kB
Mapped: 107900 kB
Shmem: 37704 kB
KReclaimable: 67380 kB
Slab: 161048 kB
SReclaimable: 67380 kB
SUnreclaim: 93668 kB
KernelStack: 3984 kB
PageTables: 12916 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2410200 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52064 kB
HardwareCorrupted: 0 kB
AnonHugePages: 985088 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 170824 kB
DirectMap2M: 19656704 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723764 MiB
End job on nodeC008 at 2024-07-16 09:51:23