0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.05 c [STEP] solving
0.00/0.05 c #variables 8424 #constraints 9186
0.00/0.05 c SMALL=int, LARGE=long long
46.65/46.86 c bounds - >= 9 @ 0.04306
46.65/46.86 c #Conflicts: 1000 | #Constraints: 10185
46.65/46.86 c #Conflicts: 2000 | #Constraints: 11185
46.65/46.86 c INPROCESSING
46.65/46.86 c GARBAGE COLLECT
46.65/46.86 c #Conflicts: 3000 | #Constraints: 2788
46.65/46.86 c #Conflicts: 4000 | #Constraints: 3788
46.65/46.86 c INPROCESSING
46.65/46.86 c GARBAGE COLLECT
46.65/46.86 c #Conflicts: 5000 | #Constraints: 3193
46.65/46.86 c #Conflicts: 6000 | #Constraints: 4193
46.65/46.86 c INPROCESSING
46.65/46.86 c GARBAGE COLLECT
46.65/46.86 c #Conflicts: 7000 | #Constraints: 3202
46.65/46.86 c #Conflicts: 8000 | #Constraints: 4202
46.65/46.86 c #Conflicts: 9000 | #Constraints: 5202
46.65/46.86 c INPROCESSING
46.65/46.86 c GARBAGE COLLECT
46.65/46.86 c #Conflicts: 10000 | #Constraints: 3899
46.65/46.86 c #Conflicts: 11000 | #Constraints: 4899
46.65/46.86 c #Conflicts: 12000 | #Constraints: 5899
46.65/46.86 c INPROCESSING
46.65/46.86 c GARBAGE COLLECT
46.65/46.86 c #Conflicts: 13000 | #Constraints: 4350
46.65/46.86 c #Conflicts: 14000 | #Constraints: 5350
46.65/46.86 c #Conflicts: 15000 | #Constraints: 6350
46.65/46.86 c INPROCESSING
46.65/46.86 c GARBAGE COLLECT
46.65/46.86 c #Conflicts: 16000 | #Constraints: 4580
46.65/46.86 c #Conflicts: 17000 | #Constraints: 5580
46.65/46.86 c #Conflicts: 18000 | #Constraints: 6580
46.65/46.86 c INPROCESSING
46.65/46.86 c GARBAGE COLLECT
46.65/46.86 c #Conflicts: 19000 | #Constraints: 4595
46.65/46.86 c #Conflicts: 20000 | #Constraints: 5595
46.65/46.86 c #Conflicts: 21000 | #Constraints: 6595
46.65/46.86 c INPROCESSING
46.65/46.86 c GARBAGE COLLECT
46.65/46.86 c #Conflicts: 22000 | #Constraints: 4391
46.65/46.86 c #Conflicts: 23000 | #Constraints: 5391
46.65/46.86 c #Conflicts: 24000 | #Constraints: 6391
46.65/46.86 c #Conflicts: 25000 | #Constraints: 7391
46.65/46.86 c INPROCESSING
46.65/46.86 c GARBAGE COLLECT
46.65/46.86 c #Conflicts: 26000 | #Constraints: 4993
46.65/46.86 c #Conflicts: 27000 | #Constraints: 5993
46.65/46.86 c #Conflicts: 28000 | #Constraints: 6993
46.65/46.86 c #Conflicts: 29000 | #Constraints: 7993
46.65/46.86 c INPROCESSING
46.65/46.86 c GARBAGE COLLECT
46.65/46.86 c #Conflicts: 30000 | #Constraints: 5390
46.65/46.86 c #Conflicts: 31000 | #Constraints: 6390
46.65/46.86 c #Conflicts: 32000 | #Constraints: 7390
46.65/46.86 c #Conflicts: 33000 | #Constraints: 8390
46.65/46.86 c INPROCESSING
46.65/46.86 c GARBAGE COLLECT
46.65/46.86 c #Conflicts: 34000 | #Constraints: 5599
46.65/46.86 c #Conflicts: 35000 | #Constraints: 6599
46.65/46.86 c #Conflicts: 36000 | #Constraints: 7599
46.65/46.86 c #Conflicts: 37000 | #Constraints: 8599
46.65/46.86 c INPROCESSING
46.65/46.86 c GARBAGE COLLECT
46.65/46.86 c #Conflicts: 38000 | #Constraints: 5604
46.65/46.86 c #Conflicts: 39000 | #Constraints: 6604
46.65/46.86 c #Conflicts: 40000 | #Constraints: 7604
46.65/46.86 c #Conflicts: 41000 | #Constraints: 8604
46.65/46.86 c INPROCESSING
46.65/46.86 c GARBAGE COLLECT
46.65/46.86 c #Conflicts: 42000 | #Constraints: 5418
46.65/46.86 c #Conflicts: 43000 | #Constraints: 6418
46.65/46.86 c #Conflicts: 44000 | #Constraints: 7418
46.65/46.86 c #Conflicts: 45000 | #Constraints: 8418
46.65/46.86 c #Conflicts: 46000 | #Constraints: 9418
46.65/46.86 c INPROCESSING
46.65/46.86 c GARBAGE COLLECT
46.65/46.86 c #Conflicts: 47000 | #Constraints: 6004
46.65/46.86 c #Conflicts: 48000 | #Constraints: 7004
46.65/46.86 c #Conflicts: 49000 | #Constraints: 8004
46.65/46.86 c #Conflicts: 50000 | #Constraints: 9004
46.65/46.86 c #Conflicts: 51000 | #Constraints: 10004
46.65/46.86 c INPROCESSING
46.65/46.86 c GARBAGE COLLECT
46.65/46.86 c #Conflicts: 52000 | #Constraints: 6418
46.65/46.86 c #Conflicts: 53000 | #Constraints: 7418
46.65/46.86 c #Conflicts: 54000 | #Constraints: 8418
46.65/46.86 c #Conflicts: 55000 | #Constraints: 9418
46.65/46.86 c #Conflicts: 56000 | #Constraints: 10418
46.65/46.86 c INPROCESSING
46.65/46.86 c GARBAGE COLLECT
46.65/46.86 c #Conflicts: 57000 | #Constraints: 6608
46.65/46.86 c #Conflicts: 58000 | #Constraints: 7608
46.65/46.86 c #Conflicts: 59000 | #Constraints: 8608
46.65/46.86 c #Conflicts: 60000 | #Constraints: 9608
46.65/46.86 c #Conflicts: 61000 | #Constraints: 10608
46.65/46.86 c INPROCESSING
46.65/46.86 c GARBAGE COLLECT
46.65/46.86 c #Conflicts: 62000 | #Constraints: 6613
46.65/46.86 c #Conflicts: 63000 | #Constraints: 7613
46.65/46.86 c #Conflicts: 64000 | #Constraints: 8613
46.65/46.86 c #Conflicts: 65000 | #Constraints: 9613
46.65/46.86 c #Conflicts: 66000 | #Constraints: 10613
46.65/46.86 c INPROCESSING
46.65/46.86 c GARBAGE COLLECT
46.65/46.86 c #Conflicts: 67000 | #Constraints: 6410
131.89/132.35 c #Conflicts: 68000 | #Constraints: 7410
131.89/132.35 c #Conflicts: 69000 | #Constraints: 8410
131.89/132.35 c #Conflicts: 70000 | #Constraints: 9410
131.89/132.35 c #Conflicts: 71000 | #Constraints: 10410
131.89/132.35 c #Conflicts: 72000 | #Constraints: 11410
131.89/132.35 c INPROCESSING
131.89/132.35 c GARBAGE COLLECT
131.89/132.35 c #Conflicts: 73000 | #Constraints: 6998
131.89/132.35 c #Conflicts: 74000 | #Constraints: 7998
131.89/132.35 c #Conflicts: 75000 | #Constraints: 8998
131.89/132.35 c #Conflicts: 76000 | #Constraints: 9998
131.89/132.35 c #Conflicts: 77000 | #Constraints: 10998
131.89/132.35 c #Conflicts: 78000 | #Constraints: 11998
131.89/132.35 c INPROCESSING
131.89/132.35 c GARBAGE COLLECT
131.89/132.35 c #Conflicts: 79000 | #Constraints: 7406
131.89/132.35 c #Conflicts: 80000 | #Constraints: 8406
131.89/132.35 c #Conflicts: 81000 | #Constraints: 9406
131.89/132.35 c #Conflicts: 82000 | #Constraints: 10406
131.89/132.35 c #Conflicts: 83000 | #Constraints: 11406
131.89/132.35 c #Conflicts: 84000 | #Constraints: 12406
131.89/132.35 c INPROCESSING
131.89/132.35 c GARBAGE COLLECT
131.89/132.35 c #Conflicts: 85000 | #Constraints: 7609
131.89/132.35 c #Conflicts: 86000 | #Constraints: 8609
131.89/132.35 c #Conflicts: 87000 | #Constraints: 9609
131.89/132.35 c #Conflicts: 88000 | #Constraints: 10609
131.89/132.35 c #Conflicts: 89000 | #Constraints: 11609
131.89/132.35 c #Conflicts: 90000 | #Constraints: 12609
131.89/132.35 c INPROCESSING
131.89/132.35 c GARBAGE COLLECT
131.89/132.35 c #Conflicts: 91000 | #Constraints: 7610
131.89/132.35 c #Conflicts: 92000 | #Constraints: 8610
131.89/132.35 c #Conflicts: 93000 | #Constraints: 9610
131.89/132.35 c #Conflicts: 94000 | #Constraints: 10610
131.89/132.35 c #Conflicts: 95000 | #Constraints: 11610
131.89/132.35 c #Conflicts: 96000 | #Constraints: 12610
131.89/132.35 c INPROCESSING
131.89/132.35 c GARBAGE COLLECT
131.89/132.35 c #Conflicts: 97000 | #Constraints: 7428
131.89/132.35 c #Conflicts: 98000 | #Constraints: 8428
131.89/132.35 c #Conflicts: 99000 | #Constraints: 9428
131.89/132.35 c #Conflicts: 100000 | #Constraints: 10428
131.89/132.35 c #Conflicts: 101000 | #Constraints: 11428
131.89/132.35 c #Conflicts: 102000 | #Constraints: 12428
131.89/132.35 c #Conflicts: 103000 | #Constraints: 13428
131.89/132.35 c INPROCESSING
131.89/132.35 c GARBAGE COLLECT
131.89/132.35 c #Conflicts: 104000 | #Constraints: 8009
131.89/132.35 c #Conflicts: 105000 | #Constraints: 9009
131.89/132.35 c #Conflicts: 106000 | #Constraints: 10009
131.89/132.35 c #Conflicts: 107000 | #Constraints: 11009
131.89/132.35 c #Conflicts: 108000 | #Constraints: 12009
131.89/132.35 c #Conflicts: 109000 | #Constraints: 13009
131.89/132.35 c #Conflicts: 110000 | #Constraints: 14009
131.89/132.35 c INPROCESSING
131.89/132.35 c GARBAGE COLLECT
131.89/132.35 c #Conflicts: 111000 | #Constraints: 8408
131.89/132.35 c #Conflicts: 112000 | #Constraints: 9408
131.89/132.35 c #Conflicts: 113000 | #Constraints: 10408
131.89/132.35 c #Conflicts: 114000 | #Constraints: 11408
131.89/132.35 c #Conflicts: 115000 | #Constraints: 12408
131.89/132.35 c #Conflicts: 116000 | #Constraints: 13408
131.89/132.35 c #Conflicts: 117000 | #Constraints: 14408
131.89/132.35 c INPROCESSING
131.89/132.35 c GARBAGE COLLECT
131.89/132.35 c #Conflicts: 118000 | #Constraints: 8609
131.89/132.35 c #Conflicts: 119000 | #Constraints: 9609
131.89/132.35 c #Conflicts: 120000 | #Constraints: 10609
131.89/132.35 c #Conflicts: 121000 | #Constraints: 11609
131.89/132.35 c #Conflicts: 122000 | #Constraints: 12609
131.89/132.35 c #Conflicts: 123000 | #Constraints: 13609
131.89/132.35 c #Conflicts: 124000 | #Constraints: 14609
131.89/132.35 c INPROCESSING
131.89/132.35 c GARBAGE COLLECT
131.89/132.35 c #Conflicts: 125000 | #Constraints: 8618
131.89/132.35 c #Conflicts: 126000 | #Constraints: 9618
131.89/132.35 c #Conflicts: 127000 | #Constraints: 10618
131.89/132.35 c #Conflicts: 128000 | #Constraints: 11618
131.89/132.35 c #Conflicts: 129000 | #Constraints: 12618
131.89/132.35 c #Conflicts: 130000 | #Constraints: 13618
131.89/132.35 c #Conflicts: 131000 | #Constraints: 14618
131.89/132.35 c INPROCESSING
131.89/132.35 c GARBAGE COLLECT
131.89/132.35 c #Conflicts: 132000 | #Constraints: 8414
131.89/132.35 c #Conflicts: 133000 | #Constraints: 9414
131.89/132.35 c #Conflicts: 134000 | #Constraints: 10414
131.89/132.35 c #Conflicts: 135000 | #Constraints: 11414
131.89/132.35 c #Conflicts: 136000 | #Constraints: 12414
131.89/132.35 c #Conflicts: 137000 | #Constraints: 13414
131.89/132.35 c #Conflicts: 138000 | #Constraints: 14414
131.89/132.35 c #Conflicts: 139000 | #Constraints: 15414
131.89/132.35 c INPROCESSING
251.03/251.81 c GARBAGE COLLECT
251.03/251.81 c #Conflicts: 140000 | #Constraints: 9013
251.03/251.81 c #Conflicts: 141000 | #Constraints: 10013
251.03/251.81 c #Conflicts: 142000 | #Constraints: 11013
251.03/251.81 c #Conflicts: 143000 | #Constraints: 12013
251.03/251.81 c #Conflicts: 144000 | #Constraints: 13013
251.03/251.81 c #Conflicts: 145000 | #Constraints: 14013
251.03/251.81 c #Conflicts: 146000 | #Constraints: 15013
251.03/251.81 c #Conflicts: 147000 | #Constraints: 16013
251.03/251.81 c INPROCESSING
251.03/251.81 c GARBAGE COLLECT
251.03/251.81 c #Conflicts: 148000 | #Constraints: 9434
251.03/251.81 c #Conflicts: 149000 | #Constraints: 10434
251.03/251.81 c #Conflicts: 150000 | #Constraints: 11434
251.03/251.81 c #Conflicts: 151000 | #Constraints: 12434
251.03/251.81 c #Conflicts: 152000 | #Constraints: 13434
251.03/251.81 c #Conflicts: 153000 | #Constraints: 14434
251.03/251.81 c #Conflicts: 154000 | #Constraints: 15434
251.03/251.81 c #Conflicts: 155000 | #Constraints: 16434
251.03/251.81 c INPROCESSING
251.03/251.81 c GARBAGE COLLECT
251.03/251.81 c #Conflicts: 156000 | #Constraints: 9620
251.03/251.81 c #Conflicts: 157000 | #Constraints: 10620
251.03/251.81 c #Conflicts: 158000 | #Constraints: 11620
251.03/251.81 c #Conflicts: 159000 | #Constraints: 12620
251.03/251.81 c #Conflicts: 160000 | #Constraints: 13620
251.03/251.81 c #Conflicts: 161000 | #Constraints: 14620
251.03/251.81 c #Conflicts: 162000 | #Constraints: 15620
251.03/251.81 c #Conflicts: 163000 | #Constraints: 16620
251.03/251.81 c INPROCESSING
251.03/251.81 c GARBAGE COLLECT
251.03/251.81 c #Conflicts: 164000 | #Constraints: 9619
251.03/251.81 c #Conflicts: 165000 | #Constraints: 10619
251.03/251.81 c #Conflicts: 166000 | #Constraints: 11619
251.03/251.81 c #Conflicts: 167000 | #Constraints: 12619
251.03/251.81 c #Conflicts: 168000 | #Constraints: 13619
251.03/251.81 c #Conflicts: 169000 | #Constraints: 14619
251.03/251.81 c #Conflicts: 170000 | #Constraints: 15619
251.03/251.81 c #Conflicts: 171000 | #Constraints: 16619
251.03/251.81 c INPROCESSING
251.03/251.81 c GARBAGE COLLECT
251.03/251.81 c #Conflicts: 172000 | #Constraints: 9409
251.03/251.81 c #Conflicts: 173000 | #Constraints: 10409
251.03/251.81 c #Conflicts: 174000 | #Constraints: 11409
251.03/251.81 c #Conflicts: 175000 | #Constraints: 12409
251.03/251.81 c #Conflicts: 176000 | #Constraints: 13409
251.03/251.81 c #Conflicts: 177000 | #Constraints: 14409
251.03/251.81 c #Conflicts: 178000 | #Constraints: 15409
251.03/251.81 c #Conflicts: 179000 | #Constraints: 16409
251.03/251.81 c #Conflicts: 180000 | #Constraints: 17409
251.03/251.81 c INPROCESSING
251.03/251.81 c GARBAGE COLLECT
251.03/251.81 c #Conflicts: 181000 | #Constraints: 10015
251.03/251.81 c #Conflicts: 182000 | #Constraints: 11015
251.03/251.81 c #Conflicts: 183000 | #Constraints: 12015
251.03/251.81 c #Conflicts: 184000 | #Constraints: 13015
251.03/251.81 c #Conflicts: 185000 | #Constraints: 14015
251.03/251.81 c #Conflicts: 186000 | #Constraints: 15015
251.03/251.81 c #Conflicts: 187000 | #Constraints: 16015
251.03/251.81 c #Conflicts: 188000 | #Constraints: 17015
251.03/251.81 c #Conflicts: 189000 | #Constraints: 18015
251.03/251.81 c INPROCESSING
251.03/251.81 c GARBAGE COLLECT
251.03/251.81 c #Conflicts: 190000 | #Constraints: 10425
251.03/251.81 c #Conflicts: 191000 | #Constraints: 11425
251.03/251.81 c #Conflicts: 192000 | #Constraints: 12425
251.03/251.81 c #Conflicts: 193000 | #Constraints: 13425
251.03/251.81 c #Conflicts: 194000 | #Constraints: 14425
251.03/251.81 c #Conflicts: 195000 | #Constraints: 15425
251.03/251.81 c #Conflicts: 196000 | #Constraints: 16425
251.03/251.81 c #Conflicts: 197000 | #Constraints: 17425
251.03/251.81 c #Conflicts: 198000 | #Constraints: 18425
251.03/251.81 c INPROCESSING
251.03/251.81 c GARBAGE COLLECT
251.03/251.81 c #Conflicts: 199000 | #Constraints: 10641
251.03/251.81 c #Conflicts: 200000 | #Constraints: 11641
251.03/251.81 c #Conflicts: 201000 | #Constraints: 12641
251.03/251.81 c #Conflicts: 202000 | #Constraints: 13641
251.03/251.81 c #Conflicts: 203000 | #Constraints: 14641
251.03/251.81 c #Conflicts: 204000 | #Constraints: 15641
251.03/251.81 c #Conflicts: 205000 | #Constraints: 16641
251.03/251.81 c #Conflicts: 206000 | #Constraints: 17641
251.03/251.81 c #Conflicts: 207000 | #Constraints: 18641
251.03/251.81 c INPROCESSING
251.03/251.81 c GARBAGE COLLECT
251.03/251.81 c #Conflicts: 208000 | #Constraints: 10639
251.03/251.81 c #Conflicts: 209000 | #Constraints: 11639
251.03/251.81 c #Conflicts: 210000 | #Constraints: 12639
251.03/251.81 c #Conflicts: 211000 | #Constraints: 13639
251.03/251.81 c #Conflicts: 212000 | #Constraints: 14639
251.03/251.81 c #Conflicts: 213000 | #Constraints: 15639
368.91/370.04 c #Conflicts: 214000 | #Constraints: 16639
368.91/370.04 c #Conflicts: 215000 | #Constraints: 17639
368.91/370.04 c #Conflicts: 216000 | #Constraints: 18639
368.91/370.04 c INPROCESSING
368.91/370.04 c GARBAGE COLLECT
368.91/370.04 c #Conflicts: 217000 | #Constraints: 10441
368.91/370.04 c #Conflicts: 218000 | #Constraints: 11441
368.91/370.04 c #Conflicts: 219000 | #Constraints: 12441
368.91/370.04 c #Conflicts: 220000 | #Constraints: 13441
368.91/370.04 c #Conflicts: 221000 | #Constraints: 14441
368.91/370.04 c #Conflicts: 222000 | #Constraints: 15441
368.91/370.04 c #Conflicts: 223000 | #Constraints: 16441
368.91/370.04 c #Conflicts: 224000 | #Constraints: 17441
368.91/370.04 c #Conflicts: 225000 | #Constraints: 18441
368.91/370.04 c #Conflicts: 226000 | #Constraints: 19441
368.91/370.04 c INPROCESSING
368.91/370.04 c GARBAGE COLLECT
368.91/370.04 c #Conflicts: 227000 | #Constraints: 11067
368.91/370.04 c #Conflicts: 228000 | #Constraints: 12067
368.91/370.04 c #Conflicts: 229000 | #Constraints: 13067
368.91/370.04 c #Conflicts: 230000 | #Constraints: 14067
368.91/370.04 c #Conflicts: 231000 | #Constraints: 15067
368.91/370.04 c #Conflicts: 232000 | #Constraints: 16067
368.91/370.04 c #Conflicts: 233000 | #Constraints: 17067
368.91/370.04 c #Conflicts: 234000 | #Constraints: 18067
368.91/370.04 c #Conflicts: 235000 | #Constraints: 19067
368.91/370.04 c #Conflicts: 236000 | #Constraints: 20067
368.91/370.04 c INPROCESSING
368.91/370.04 c GARBAGE COLLECT
368.91/370.04 c #Conflicts: 237000 | #Constraints: 11440
368.91/370.04 c #Conflicts: 238000 | #Constraints: 12440
368.91/370.04 c #Conflicts: 239000 | #Constraints: 13440
368.91/370.04 c #Conflicts: 240000 | #Constraints: 14440
368.91/370.04 c #Conflicts: 241000 | #Constraints: 15440
368.91/370.04 c #Conflicts: 242000 | #Constraints: 16440
368.91/370.04 c #Conflicts: 243000 | #Constraints: 17440
368.91/370.04 c #Conflicts: 244000 | #Constraints: 18440
368.91/370.04 c #Conflicts: 245000 | #Constraints: 19440
368.91/370.04 c #Conflicts: 246000 | #Constraints: 20440
368.91/370.04 c INPROCESSING
368.91/370.04 c GARBAGE COLLECT
368.91/370.04 c #Conflicts: 247000 | #Constraints: 11622
368.91/370.04 c #Conflicts: 248000 | #Constraints: 12622
368.91/370.04 c #Conflicts: 249000 | #Constraints: 13622
368.91/370.04 c #Conflicts: 250000 | #Constraints: 14622
368.91/370.04 c #Conflicts: 251000 | #Constraints: 15622
368.91/370.04 c #Conflicts: 252000 | #Constraints: 16622
368.91/370.04 c #Conflicts: 253000 | #Constraints: 17622
368.91/370.04 c #Conflicts: 254000 | #Constraints: 18622
368.91/370.04 c #Conflicts: 255000 | #Constraints: 19622
368.91/370.04 c #Conflicts: 256000 | #Constraints: 20622
368.91/370.04 c INPROCESSING
368.91/370.04 c GARBAGE COLLECT
368.91/370.04 c #Conflicts: 257000 | #Constraints: 11616
368.91/370.04 c #Conflicts: 258000 | #Constraints: 12616
368.91/370.04 c #Conflicts: 259000 | #Constraints: 13616
368.91/370.04 c #Conflicts: 260000 | #Constraints: 14616
368.91/370.04 c #Conflicts: 261000 | #Constraints: 15616
368.91/370.04 c #Conflicts: 262000 | #Constraints: 16616
368.91/370.04 c #Conflicts: 263000 | #Constraints: 17616
368.91/370.04 c #Conflicts: 264000 | #Constraints: 18616
368.91/370.04 c #Conflicts: 265000 | #Constraints: 19616
368.91/370.04 c #Conflicts: 266000 | #Constraints: 20616
368.91/370.04 c INPROCESSING
368.91/370.04 c GARBAGE COLLECT
368.91/370.04 c #Conflicts: 267000 | #Constraints: 11409
368.91/370.04 c #Conflicts: 268000 | #Constraints: 12409
368.91/370.04 c #Conflicts: 269000 | #Constraints: 13409
368.91/370.04 c #Conflicts: 270000 | #Constraints: 14409
368.91/370.04 c #Conflicts: 271000 | #Constraints: 15409
368.91/370.04 c #Conflicts: 272000 | #Constraints: 16409
368.91/370.04 c #Conflicts: 273000 | #Constraints: 17409
368.91/370.04 c #Conflicts: 274000 | #Constraints: 18409
368.91/370.04 c #Conflicts: 275000 | #Constraints: 19409
368.91/370.04 c #Conflicts: 276000 | #Constraints: 20409
368.91/370.04 c #Conflicts: 277000 | #Constraints: 21409
368.91/370.04 c INPROCESSING
368.91/370.04 c GARBAGE COLLECT
368.91/370.04 c #Conflicts: 278000 | #Constraints: 12001
368.91/370.04 c #Conflicts: 279000 | #Constraints: 13001
368.91/370.04 c #Conflicts: 280000 | #Constraints: 14001
368.91/370.04 c #Conflicts: 281000 | #Constraints: 15001
368.91/370.04 c #Conflicts: 282000 | #Constraints: 16001
368.91/370.04 c #Conflicts: 283000 | #Constraints: 17001
368.91/370.04 c #Conflicts: 284000 | #Constraints: 18001
368.91/370.04 c #Conflicts: 285000 | #Constraints: 19001
368.91/370.04 c #Conflicts: 286000 | #Constraints: 20001
368.91/370.04 c #Conflicts: 287000 | #Constraints: 21001
466.24/467.67 c #Conflicts: 288000 | #Constraints: 22001
466.24/467.67 c INPROCESSING
466.24/467.67 c GARBAGE COLLECT
466.24/467.67 c #Conflicts: 289000 | #Constraints: 12401
466.24/467.67 c #Conflicts: 290000 | #Constraints: 13401
466.24/467.67 c #Conflicts: 291000 | #Constraints: 14401
466.24/467.67 c #Conflicts: 292000 | #Constraints: 15401
466.24/467.67 c #Conflicts: 293000 | #Constraints: 16401
466.24/467.67 c #Conflicts: 294000 | #Constraints: 17401
466.24/467.67 c #Conflicts: 295000 | #Constraints: 18401
466.24/467.67 c #Conflicts: 296000 | #Constraints: 19401
466.24/467.67 c #Conflicts: 297000 | #Constraints: 20401
466.24/467.67 c #Conflicts: 298000 | #Constraints: 21401
466.24/467.67 c #Conflicts: 299000 | #Constraints: 22401
466.24/467.67 c INPROCESSING
466.24/467.67 c GARBAGE COLLECT
466.24/467.67 c #Conflicts: 300000 | #Constraints: 12610
466.24/467.67 c #Conflicts: 301000 | #Constraints: 13610
466.24/467.67 c #Conflicts: 302000 | #Constraints: 14610
466.24/467.67 c #Conflicts: 303000 | #Constraints: 15610
466.24/467.67 c #Conflicts: 304000 | #Constraints: 16610
466.24/467.67 c #Conflicts: 305000 | #Constraints: 17610
466.24/467.67 c #Conflicts: 306000 | #Constraints: 18610
466.24/467.67 c #Conflicts: 307000 | #Constraints: 19610
466.24/467.67 c #Conflicts: 308000 | #Constraints: 20610
466.24/467.67 c #Conflicts: 309000 | #Constraints: 21610
466.24/467.67 c #Conflicts: 310000 | #Constraints: 22610
466.24/467.67 c INPROCESSING
466.24/467.67 c GARBAGE COLLECT
466.24/467.67 c #Conflicts: 311000 | #Constraints: 12615
466.24/467.67 c #Conflicts: 312000 | #Constraints: 13615
466.24/467.67 c #Conflicts: 313000 | #Constraints: 14615
466.24/467.67 c #Conflicts: 314000 | #Constraints: 15615
466.24/467.67 c #Conflicts: 315000 | #Constraints: 16615
466.24/467.67 c #Conflicts: 316000 | #Constraints: 17615
466.24/467.67 c #Conflicts: 317000 | #Constraints: 18615
466.24/467.67 c #Conflicts: 318000 | #Constraints: 19615
466.24/467.67 c #Conflicts: 319000 | #Constraints: 20615
466.24/467.67 c #Conflicts: 320000 | #Constraints: 21615
466.24/467.67 c #Conflicts: 321000 | #Constraints: 22615
466.24/467.67 c INPROCESSING
466.24/467.67 c GARBAGE COLLECT
466.24/467.67 c #Conflicts: 322000 | #Constraints: 12420
466.24/467.67 c #Conflicts: 323000 | #Constraints: 13420
466.24/467.67 c #Conflicts: 324000 | #Constraints: 14420
466.24/467.67 c #Conflicts: 325000 | #Constraints: 15420
466.24/467.67 c #Conflicts: 326000 | #Constraints: 16420
466.24/467.67 c #Conflicts: 327000 | #Constraints: 17420
466.24/467.67 c #Conflicts: 328000 | #Constraints: 18420
466.24/467.67 c #Conflicts: 329000 | #Constraints: 19420
466.24/467.67 c #Conflicts: 330000 | #Constraints: 20420
466.24/467.67 c #Conflicts: 331000 | #Constraints: 21420
466.24/467.67 c #Conflicts: 332000 | #Constraints: 22420
466.24/467.67 c #Conflicts: 333000 | #Constraints: 23420
466.24/467.67 c INPROCESSING
466.24/467.67 c GARBAGE COLLECT
466.24/467.67 c #Conflicts: 334000 | #Constraints: 13004
466.24/467.67 c #Conflicts: 335000 | #Constraints: 14004
466.24/467.67 c #Conflicts: 336000 | #Constraints: 15004
466.24/467.67 c #Conflicts: 337000 | #Constraints: 16004
466.24/467.67 c #Conflicts: 338000 | #Constraints: 17004
466.24/467.67 c #Conflicts: 339000 | #Constraints: 18004
466.24/467.67 c #Conflicts: 340000 | #Constraints: 19004
466.24/467.67 c #Conflicts: 341000 | #Constraints: 20004
466.24/467.67 c #Conflicts: 342000 | #Constraints: 21004
466.24/467.67 c #Conflicts: 343000 | #Constraints: 22004
466.24/467.67 c #Conflicts: 344000 | #Constraints: 23004
466.24/467.67 c #Conflicts: 345000 | #Constraints: 24004
466.24/467.67 c INPROCESSING
466.24/467.67 c GARBAGE COLLECT
466.24/467.67 c #Conflicts: 346000 | #Constraints: 13409
466.24/467.67 c #Conflicts: 347000 | #Constraints: 14409
466.24/467.67 c #Conflicts: 348000 | #Constraints: 15409
466.24/467.67 c #Conflicts: 349000 | #Constraints: 16409
466.24/467.67 c #Conflicts: 350000 | #Constraints: 17409
466.24/467.67 c #Conflicts: 351000 | #Constraints: 18409
466.24/467.67 c #Conflicts: 352000 | #Constraints: 19409
466.24/467.67 c #Conflicts: 353000 | #Constraints: 20409
466.24/467.67 c #Conflicts: 354000 | #Constraints: 21409
466.24/467.67 c #Conflicts: 355000 | #Constraints: 22409
466.24/467.67 c #Conflicts: 356000 | #Constraints: 23409
466.24/467.67 c #Conflicts: 357000 | #Constraints: 24409
466.24/467.67 c INPROCESSING
466.24/467.67 c GARBAGE COLLECT
466.24/467.67 c #Conflicts: 358000 | #Constraints: 13605
466.24/467.67 c #Conflicts: 359000 | #Constraints: 14605
466.24/467.67 c #Conflicts: 360000 | #Constraints: 15605
466.24/467.67 c #Conflicts: 361000 | #Constraints: 16605
640.44/642.39 c #Conflicts: 362000 | #Constraints: 17605
640.44/642.39 c #Conflicts: 363000 | #Constraints: 18605
640.44/642.39 c #Conflicts: 364000 | #Constraints: 19605
640.44/642.39 c #Conflicts: 365000 | #Constraints: 20605
640.44/642.39 c #Conflicts: 366000 | #Constraints: 21605
640.44/642.39 c #Conflicts: 367000 | #Constraints: 22605
640.44/642.39 c #Conflicts: 368000 | #Constraints: 23605
640.44/642.39 c #Conflicts: 369000 | #Constraints: 24605
640.44/642.39 c INPROCESSING
640.44/642.39 c GARBAGE COLLECT
640.44/642.39 c #Conflicts: 370000 | #Constraints: 13606
640.44/642.39 c #Conflicts: 371000 | #Constraints: 14606
640.44/642.39 c #Conflicts: 372000 | #Constraints: 15606
640.44/642.39 c #Conflicts: 373000 | #Constraints: 16606
640.44/642.39 c #Conflicts: 374000 | #Constraints: 17606
640.44/642.39 c #Conflicts: 375000 | #Constraints: 18606
640.44/642.39 c #Conflicts: 376000 | #Constraints: 19606
640.44/642.39 c #Conflicts: 377000 | #Constraints: 20606
640.44/642.39 c #Conflicts: 378000 | #Constraints: 21606
640.44/642.39 c #Conflicts: 379000 | #Constraints: 22606
640.44/642.39 c #Conflicts: 380000 | #Constraints: 23606
640.44/642.39 c #Conflicts: 381000 | #Constraints: 24606
640.44/642.39 c INPROCESSING
640.44/642.39 c GARBAGE COLLECT
640.44/642.39 c #Conflicts: 382000 | #Constraints: 13408
640.44/642.39 c #Conflicts: 383000 | #Constraints: 14408
640.44/642.39 c #Conflicts: 384000 | #Constraints: 15408
640.44/642.39 c #Conflicts: 385000 | #Constraints: 16408
640.44/642.39 c #Conflicts: 386000 | #Constraints: 17408
640.44/642.39 c #Conflicts: 387000 | #Constraints: 18408
640.44/642.39 c #Conflicts: 388000 | #Constraints: 19408
640.44/642.39 c #Conflicts: 389000 | #Constraints: 20408
640.44/642.39 c #Conflicts: 390000 | #Constraints: 21408
640.44/642.39 c #Conflicts: 391000 | #Constraints: 22408
640.44/642.39 c #Conflicts: 392000 | #Constraints: 23408
640.44/642.39 c #Conflicts: 393000 | #Constraints: 24408
640.44/642.39 c #Conflicts: 394000 | #Constraints: 25408
640.44/642.39 c INPROCESSING
640.44/642.39 c GARBAGE COLLECT
640.44/642.39 c #Conflicts: 395000 | #Constraints: 14000
640.44/642.39 c #Conflicts: 396000 | #Constraints: 15000
640.44/642.39 c #Conflicts: 397000 | #Constraints: 16000
640.44/642.39 c #Conflicts: 398000 | #Constraints: 17000
640.44/642.39 c #Conflicts: 399000 | #Constraints: 18000
640.44/642.39 c #Conflicts: 400000 | #Constraints: 19000
640.44/642.39 c #Conflicts: 401000 | #Constraints: 20000
640.44/642.39 c #Conflicts: 402000 | #Constraints: 21000
640.44/642.39 c #Conflicts: 403000 | #Constraints: 22000
640.44/642.39 c #Conflicts: 404000 | #Constraints: 23000
640.44/642.39 c #Conflicts: 405000 | #Constraints: 24000
640.44/642.39 c #Conflicts: 406000 | #Constraints: 25000
640.44/642.39 c #Conflicts: 407000 | #Constraints: 26000
640.44/642.39 c INPROCESSING
640.44/642.39 c GARBAGE COLLECT
640.44/642.39 c #Conflicts: 408000 | #Constraints: 14400
640.44/642.39 c #Conflicts: 409000 | #Constraints: 15400
640.44/642.39 c #Conflicts: 410000 | #Constraints: 16400
640.44/642.39 c #Conflicts: 411000 | #Constraints: 17400
640.44/642.39 c #Conflicts: 412000 | #Constraints: 18400
640.44/642.39 c #Conflicts: 413000 | #Constraints: 19400
640.44/642.39 c #Conflicts: 414000 | #Constraints: 20400
640.44/642.39 c #Conflicts: 415000 | #Constraints: 21400
640.44/642.39 c #Conflicts: 416000 | #Constraints: 22400
640.44/642.39 c #Conflicts: 417000 | #Constraints: 23400
640.44/642.39 c #Conflicts: 418000 | #Constraints: 24400
640.44/642.39 c #Conflicts: 419000 | #Constraints: 25400
640.44/642.39 c #Conflicts: 420000 | #Constraints: 26400
640.44/642.39 c INPROCESSING
640.44/642.39 c GARBAGE COLLECT
640.44/642.39 c #Conflicts: 421000 | #Constraints: 14636
640.44/642.39 c #Conflicts: 422000 | #Constraints: 15636
640.44/642.39 c #Conflicts: 423000 | #Constraints: 16636
640.44/642.39 c #Conflicts: 424000 | #Constraints: 17636
640.44/642.39 c #Conflicts: 425000 | #Constraints: 18636
640.44/642.39 c #Conflicts: 426000 | #Constraints: 19636
640.44/642.39 c #Conflicts: 427000 | #Constraints: 20636
640.44/642.39 c #Conflicts: 428000 | #Constraints: 21636
640.44/642.39 c #Conflicts: 429000 | #Constraints: 22636
640.44/642.39 c #Conflicts: 430000 | #Constraints: 23636
640.44/642.39 c #Conflicts: 431000 | #Constraints: 24636
640.44/642.39 c #Conflicts: 432000 | #Constraints: 25636
640.44/642.39 c #Conflicts: 433000 | #Constraints: 26636
640.44/642.39 c INPROCESSING
640.44/642.39 c GARBAGE COLLECT
640.44/642.39 c #Conflicts: 434000 | #Constraints: 14682
640.44/642.39 c #Conflicts: 435000 | #Constraints: 15682
640.44/642.39 c #Conflicts: 436000 | #Constraints: 16682
1013.29/1016.45 c #Conflicts: 437000 | #Constraints: 17682
1013.29/1016.45 c #Conflicts: 438000 | #Constraints: 18682
1013.29/1016.45 c #Conflicts: 439000 | #Constraints: 19682
1013.29/1016.45 c #Conflicts: 440000 | #Constraints: 20682
1013.29/1016.45 c #Conflicts: 441000 | #Constraints: 21682
1013.29/1016.45 c #Conflicts: 442000 | #Constraints: 22682
1013.29/1016.45 c #Conflicts: 443000 | #Constraints: 23682
1013.29/1016.45 c #Conflicts: 444000 | #Constraints: 24682
1013.29/1016.45 c #Conflicts: 445000 | #Constraints: 25682
1013.29/1016.45 c #Conflicts: 446000 | #Constraints: 26682
1013.29/1016.45 c INPROCESSING
1013.29/1016.45 c GARBAGE COLLECT
1013.29/1016.45 c #Conflicts: 447000 | #Constraints: 14480
1013.29/1016.45 c #Conflicts: 448000 | #Constraints: 15480
1013.29/1016.45 c #Conflicts: 449000 | #Constraints: 16480
1013.29/1016.45 c #Conflicts: 450000 | #Constraints: 17480
1013.29/1016.45 c #Conflicts: 451000 | #Constraints: 18480
1013.29/1016.45 c #Conflicts: 452000 | #Constraints: 19480
1013.29/1016.45 c #Conflicts: 453000 | #Constraints: 20480
1013.29/1016.45 c #Conflicts: 454000 | #Constraints: 21480
1013.29/1016.45 c #Conflicts: 455000 | #Constraints: 22480
1013.29/1016.45 c #Conflicts: 456000 | #Constraints: 23480
1013.29/1016.45 c #Conflicts: 457000 | #Constraints: 24480
1013.29/1016.45 c #Conflicts: 458000 | #Constraints: 25480
1013.29/1016.45 c #Conflicts: 459000 | #Constraints: 26480
1013.29/1016.45 c #Conflicts: 460000 | #Constraints: 27480
1013.29/1016.45 c INPROCESSING
1013.29/1016.45 c GARBAGE COLLECT
1013.29/1016.45 c #Conflicts: 461000 | #Constraints: 15072
1013.29/1016.45 c #Conflicts: 462000 | #Constraints: 16072
1013.29/1016.45 c #Conflicts: 463000 | #Constraints: 17072
1013.29/1016.45 c #Conflicts: 464000 | #Constraints: 18072
1013.29/1016.45 c #Conflicts: 465000 | #Constraints: 19072
1013.29/1016.45 c #Conflicts: 466000 | #Constraints: 20072
1013.29/1016.45 c #Conflicts: 467000 | #Constraints: 21072
1013.29/1016.45 c #Conflicts: 468000 | #Constraints: 22072
1013.29/1016.45 c #Conflicts: 469000 | #Constraints: 23072
1013.29/1016.45 c #Conflicts: 470000 | #Constraints: 24072
1013.29/1016.45 c #Conflicts: 471000 | #Constraints: 25072
1013.29/1016.45 c #Conflicts: 472000 | #Constraints: 26072
1013.29/1016.45 c #Conflicts: 473000 | #Constraints: 27072
1013.29/1016.45 c #Conflicts: 474000 | #Constraints: 28072
1013.29/1016.45 c INPROCESSING
1013.29/1016.45 c GARBAGE COLLECT
1013.29/1016.45 c #Conflicts: 475000 | #Constraints: 15489
1013.29/1016.45 c #Conflicts: 476000 | #Constraints: 16489
1013.29/1016.45 c #Conflicts: 477000 | #Constraints: 17489
1013.29/1016.45 c #Conflicts: 478000 | #Constraints: 18489
1013.29/1016.45 c #Conflicts: 479000 | #Constraints: 19489
1013.29/1016.45 c #Conflicts: 480000 | #Constraints: 20489
1013.29/1016.45 c #Conflicts: 481000 | #Constraints: 21489
1013.29/1016.45 c #Conflicts: 482000 | #Constraints: 22489
1013.29/1016.45 c #Conflicts: 483000 | #Constraints: 23489
1013.29/1016.45 c #Conflicts: 484000 | #Constraints: 24489
1013.29/1016.45 c #Conflicts: 485000 | #Constraints: 25489
1013.29/1016.45 c #Conflicts: 486000 | #Constraints: 26489
1013.29/1016.45 c #Conflicts: 487000 | #Constraints: 27489
1013.29/1016.45 c #Conflicts: 488000 | #Constraints: 28489
1013.29/1016.45 c INPROCESSING
1013.29/1016.45 c GARBAGE COLLECT
1013.29/1016.45 c #Conflicts: 489000 | #Constraints: 15667
1013.29/1016.45 c #Conflicts: 490000 | #Constraints: 16667
1013.29/1016.45 c #Conflicts: 491000 | #Constraints: 17667
1013.29/1016.45 c #Conflicts: 492000 | #Constraints: 18667
1013.29/1016.45 c #Conflicts: 493000 | #Constraints: 19667
1013.29/1016.45 c #Conflicts: 494000 | #Constraints: 20667
1013.29/1016.45 c #Conflicts: 495000 | #Constraints: 21667
1013.29/1016.45 c #Conflicts: 496000 | #Constraints: 22667
1013.29/1016.45 c #Conflicts: 497000 | #Constraints: 23667
1013.29/1016.45 c #Conflicts: 498000 | #Constraints: 24667
1013.29/1016.45 c #Conflicts: 499000 | #Constraints: 25667
1013.29/1016.45 c #Conflicts: 500000 | #Constraints: 26667
1013.29/1016.45 c #Conflicts: 501000 | #Constraints: 27667
1013.29/1016.45 c #Conflicts: 502000 | #Constraints: 28667
1013.29/1016.45 c INPROCESSING
1013.29/1016.45 c GARBAGE COLLECT
1013.29/1016.45 c #Conflicts: 503000 | #Constraints: 15692
1013.29/1016.45 c #Conflicts: 504000 | #Constraints: 16692
1013.29/1016.45 c #Conflicts: 505000 | #Constraints: 17692
1013.29/1016.45 c #Conflicts: 506000 | #Constraints: 18692
1013.29/1016.45 c #Conflicts: 507000 | #Constraints: 19692
1013.29/1016.45 c #Conflicts: 508000 | #Constraints: 20692
1013.29/1016.45 c #Conflicts: 509000 | #Constraints: 21692
1013.29/1016.45 c #Conflicts: 510000 | #Constraints: 22692
1013.29/1016.45 c #Conflicts: 511000 | #Constraints: 23692
1013.29/1016.45 c #Conflicts: 512000 | #Constraints: 24692
1152.88/1156.47 c #Conflicts: 513000 | #Constraints: 25692
1152.88/1156.47 c #Conflicts: 514000 | #Constraints: 26692
1152.88/1156.47 c #Conflicts: 515000 | #Constraints: 27692
1152.88/1156.47 c #Conflicts: 516000 | #Constraints: 28692
1152.88/1156.47 c INPROCESSING
1152.88/1156.47 c GARBAGE COLLECT
1152.88/1156.47 c #Conflicts: 517000 | #Constraints: 15454
1152.88/1156.47 c #Conflicts: 518000 | #Constraints: 16454
1152.88/1156.47 c #Conflicts: 519000 | #Constraints: 17454
1152.88/1156.47 c #Conflicts: 520000 | #Constraints: 18454
1152.88/1156.47 c #Conflicts: 521000 | #Constraints: 19454
1152.88/1156.47 c #Conflicts: 522000 | #Constraints: 20454
1152.88/1156.47 c #Conflicts: 523000 | #Constraints: 21454
1152.88/1156.47 c #Conflicts: 524000 | #Constraints: 22454
1152.88/1156.47 c #Conflicts: 525000 | #Constraints: 23454
1152.88/1156.47 c #Conflicts: 526000 | #Constraints: 24454
1152.88/1156.47 c #Conflicts: 527000 | #Constraints: 25454
1152.88/1156.47 c #Conflicts: 528000 | #Constraints: 26454
1152.88/1156.47 c #Conflicts: 529000 | #Constraints: 27454
1152.88/1156.47 c #Conflicts: 530000 | #Constraints: 28454
1152.88/1156.47 c #Conflicts: 531000 | #Constraints: 29454
1152.88/1156.47 c INPROCESSING
1152.88/1156.47 c GARBAGE COLLECT
1152.88/1156.47 c #Conflicts: 532000 | #Constraints: 16058
1152.88/1156.47 c #Conflicts: 533000 | #Constraints: 17058
1152.88/1156.47 c #Conflicts: 534000 | #Constraints: 18058
1152.88/1156.47 c #Conflicts: 535000 | #Constraints: 19058
1152.88/1156.47 c #Conflicts: 536000 | #Constraints: 20058
1152.88/1156.47 c #Conflicts: 537000 | #Constraints: 21058
1152.88/1156.47 c #Conflicts: 538000 | #Constraints: 22058
1152.88/1156.47 c #Conflicts: 539000 | #Constraints: 23058
1152.88/1156.47 c #Conflicts: 540000 | #Constraints: 24058
1152.88/1156.47 c #Conflicts: 541000 | #Constraints: 25058
1152.88/1156.47 c #Conflicts: 542000 | #Constraints: 26058
1152.88/1156.47 c #Conflicts: 543000 | #Constraints: 27058
1152.88/1156.47 c #Conflicts: 544000 | #Constraints: 28058
1152.88/1156.47 c #Conflicts: 545000 | #Constraints: 29058
1152.88/1156.47 c #Conflicts: 546000 | #Constraints: 30058
1152.88/1156.47 c INPROCESSING
1152.88/1156.47 c GARBAGE COLLECT
1152.88/1156.47 c #Conflicts: 547000 | #Constraints: 16434
1152.88/1156.47 c #Conflicts: 548000 | #Constraints: 17434
1152.88/1156.47 c #Conflicts: 549000 | #Constraints: 18434
1152.88/1156.47 c #Conflicts: 550000 | #Constraints: 19434
1152.88/1156.47 c #Conflicts: 551000 | #Constraints: 20434
1152.88/1156.47 c #Conflicts: 552000 | #Constraints: 21434
1152.88/1156.47 c #Conflicts: 553000 | #Constraints: 22434
1152.88/1156.47 c #Conflicts: 554000 | #Constraints: 23434
1152.88/1156.47 c #Conflicts: 555000 | #Constraints: 24434
1152.88/1156.47 c #Conflicts: 556000 | #Constraints: 25434
1152.88/1156.47 c #Conflicts: 557000 | #Constraints: 26434
1152.88/1156.47 c #Conflicts: 558000 | #Constraints: 27434
1152.88/1156.47 c #Conflicts: 559000 | #Constraints: 28434
1152.88/1156.47 c #Conflicts: 560000 | #Constraints: 29434
1152.88/1156.47 c #Conflicts: 561000 | #Constraints: 30434
1152.88/1156.47 c INPROCESSING
1152.88/1156.47 c GARBAGE COLLECT
1152.88/1156.47 c #Conflicts: 562000 | #Constraints: 16622
1152.88/1156.47 c #Conflicts: 563000 | #Constraints: 17622
1152.88/1156.47 c #Conflicts: 564000 | #Constraints: 18622
1152.88/1156.47 c #Conflicts: 565000 | #Constraints: 19622
1152.88/1156.47 c #Conflicts: 566000 | #Constraints: 20622
1152.88/1156.47 c #Conflicts: 567000 | #Constraints: 21622
1152.88/1156.47 c #Conflicts: 568000 | #Constraints: 22622
1152.88/1156.47 c #Conflicts: 569000 | #Constraints: 23622
1152.88/1156.47 c #Conflicts: 570000 | #Constraints: 24622
1152.88/1156.47 c #Conflicts: 571000 | #Constraints: 25622
1152.88/1156.47 c #Conflicts: 572000 | #Constraints: 26622
1152.88/1156.47 c #Conflicts: 573000 | #Constraints: 27622
1152.88/1156.47 c #Conflicts: 574000 | #Constraints: 28622
1152.88/1156.47 c #Conflicts: 575000 | #Constraints: 29622
1152.88/1156.47 c #Conflicts: 576000 | #Constraints: 30622
1152.88/1156.47 c INPROCESSING
1152.88/1156.47 c GARBAGE COLLECT
1152.88/1156.47 c #Conflicts: 577000 | #Constraints: 16622
1152.88/1156.47 c #Conflicts: 578000 | #Constraints: 17622
1152.88/1156.47 c #Conflicts: 579000 | #Constraints: 18622
1152.88/1156.47 c #Conflicts: 580000 | #Constraints: 19622
1152.88/1156.47 c #Conflicts: 581000 | #Constraints: 20622
1152.88/1156.47 c #Conflicts: 582000 | #Constraints: 21622
1152.88/1156.47 c #Conflicts: 583000 | #Constraints: 22622
1152.88/1156.47 c #Conflicts: 584000 | #Constraints: 23622
1152.88/1156.47 c #Conflicts: 585000 | #Constraints: 24622
1152.88/1156.47 c #Conflicts: 586000 | #Constraints: 25622
1152.88/1156.47 c #Conflicts: 587000 | #Constraints: 26622
1152.88/1156.47 c #Conflicts: 588000 | #Constraints: 27622
1320.65/1324.76 c #Conflicts: 589000 | #Constraints: 28622
1320.65/1324.76 c #Conflicts: 590000 | #Constraints: 29622
1320.65/1324.76 c #Conflicts: 591000 | #Constraints: 30622
1320.65/1324.76 c INPROCESSING
1320.65/1324.76 c GARBAGE COLLECT
1320.65/1324.76 c #Conflicts: 592000 | #Constraints: 16432
1320.65/1324.76 c #Conflicts: 593000 | #Constraints: 17432
1320.65/1324.76 c #Conflicts: 594000 | #Constraints: 18432
1320.65/1324.76 c #Conflicts: 595000 | #Constraints: 19432
1320.65/1324.76 c #Conflicts: 596000 | #Constraints: 20432
1320.65/1324.76 c #Conflicts: 597000 | #Constraints: 21432
1320.65/1324.76 c #Conflicts: 598000 | #Constraints: 22432
1320.65/1324.76 c #Conflicts: 599000 | #Constraints: 23432
1320.65/1324.76 c #Conflicts: 600000 | #Constraints: 24432
1320.65/1324.76 c #Conflicts: 601000 | #Constraints: 25432
1320.65/1324.76 c #Conflicts: 602000 | #Constraints: 26432
1320.65/1324.76 c #Conflicts: 603000 | #Constraints: 27432
1320.65/1324.76 c #Conflicts: 604000 | #Constraints: 28432
1320.65/1324.76 c #Conflicts: 605000 | #Constraints: 29432
1320.65/1324.76 c #Conflicts: 606000 | #Constraints: 30432
1320.65/1324.76 c #Conflicts: 607000 | #Constraints: 31432
1320.65/1324.76 c INPROCESSING
1320.65/1324.76 c GARBAGE COLLECT
1320.65/1324.76 c #Conflicts: 608000 | #Constraints: 17029
1320.65/1324.76 c #Conflicts: 609000 | #Constraints: 18029
1320.65/1324.76 c #Conflicts: 610000 | #Constraints: 19029
1320.65/1324.76 c #Conflicts: 611000 | #Constraints: 20029
1320.65/1324.76 c #Conflicts: 612000 | #Constraints: 21029
1320.65/1324.76 c #Conflicts: 613000 | #Constraints: 22029
1320.65/1324.76 c #Conflicts: 614000 | #Constraints: 23029
1320.65/1324.76 c #Conflicts: 615000 | #Constraints: 24029
1320.65/1324.76 c #Conflicts: 616000 | #Constraints: 25029
1320.65/1324.76 c #Conflicts: 617000 | #Constraints: 26029
1320.65/1324.76 c #Conflicts: 618000 | #Constraints: 27029
1320.65/1324.76 c #Conflicts: 619000 | #Constraints: 28029
1320.65/1324.76 c #Conflicts: 620000 | #Constraints: 29029
1320.65/1324.76 c #Conflicts: 621000 | #Constraints: 30029
1320.65/1324.76 c #Conflicts: 622000 | #Constraints: 31029
1320.65/1324.76 c #Conflicts: 623000 | #Constraints: 32029
1320.65/1324.76 c INPROCESSING
1320.65/1324.76 c GARBAGE COLLECT
1320.65/1324.76 c #Conflicts: 624000 | #Constraints: 17418
1320.65/1324.76 c #Conflicts: 625000 | #Constraints: 18418
1320.65/1324.76 c #Conflicts: 626000 | #Constraints: 19418
1320.65/1324.76 c #Conflicts: 627000 | #Constraints: 20418
1320.65/1324.76 c #Conflicts: 628000 | #Constraints: 21418
1320.65/1324.76 c #Conflicts: 629000 | #Constraints: 22418
1320.65/1324.76 c #Conflicts: 630000 | #Constraints: 23418
1320.65/1324.76 c #Conflicts: 631000 | #Constraints: 24418
1320.65/1324.76 c #Conflicts: 632000 | #Constraints: 25418
1320.65/1324.76 c #Conflicts: 633000 | #Constraints: 26418
1320.65/1324.76 c #Conflicts: 634000 | #Constraints: 27418
1320.65/1324.76 c #Conflicts: 635000 | #Constraints: 28418
1320.65/1324.76 c #Conflicts: 636000 | #Constraints: 29418
1320.65/1324.76 c #Conflicts: 637000 | #Constraints: 30418
1320.65/1324.76 c #Conflicts: 638000 | #Constraints: 31418
1320.65/1324.76 c #Conflicts: 639000 | #Constraints: 32418
1320.65/1324.76 c INPROCESSING
1320.65/1324.76 c GARBAGE COLLECT
1320.65/1324.76 c #Conflicts: 640000 | #Constraints: 17618
1320.65/1324.76 c #Conflicts: 641000 | #Constraints: 18618
1320.65/1324.76 c #Conflicts: 642000 | #Constraints: 19618
1320.65/1324.76 c #Conflicts: 643000 | #Constraints: 20618
1320.65/1324.76 c #Conflicts: 644000 | #Constraints: 21618
1320.65/1324.76 c #Conflicts: 645000 | #Constraints: 22618
1320.65/1324.76 c #Conflicts: 646000 | #Constraints: 23618
1320.65/1324.76 c #Conflicts: 647000 | #Constraints: 24618
1320.65/1324.76 c #Conflicts: 648000 | #Constraints: 25618
1320.65/1324.76 c #Conflicts: 649000 | #Constraints: 26618
1320.65/1324.76 c #Conflicts: 650000 | #Constraints: 27618
1320.65/1324.76 c #Conflicts: 651000 | #Constraints: 28618
1320.65/1324.76 c #Conflicts: 652000 | #Constraints: 29618
1320.65/1324.76 c #Conflicts: 653000 | #Constraints: 30618
1320.65/1324.76 c #Conflicts: 654000 | #Constraints: 31618
1320.65/1324.76 c #Conflicts: 655000 | #Constraints: 32618
1320.65/1324.76 c INPROCESSING
1320.65/1324.76 c GARBAGE COLLECT
1320.65/1324.76 c #Conflicts: 656000 | #Constraints: 17628
1320.65/1324.76 c #Conflicts: 657000 | #Constraints: 18628
1320.65/1324.76 c #Conflicts: 658000 | #Constraints: 19628
1320.65/1324.76 c #Conflicts: 659000 | #Constraints: 20628
1320.65/1324.76 c #Conflicts: 660000 | #Constraints: 21628
1320.65/1324.76 c #Conflicts: 661000 | #Constraints: 22628
1320.65/1324.76 c #Conflicts: 662000 | #Constraints: 23628
1320.65/1324.76 c #Conflicts: 663000 | #Constraints: 24628
1617.29/1622.36 c #Conflicts: 664000 | #Constraints: 25628
1617.29/1622.36 c #Conflicts: 665000 | #Constraints: 26628
1617.29/1622.36 c #Conflicts: 666000 | #Constraints: 27628
1617.29/1622.36 c #Conflicts: 667000 | #Constraints: 28628
1617.29/1622.36 c #Conflicts: 668000 | #Constraints: 29628
1617.29/1622.36 c #Conflicts: 669000 | #Constraints: 30628
1617.29/1622.36 c #Conflicts: 670000 | #Constraints: 31628
1617.29/1622.36 c #Conflicts: 671000 | #Constraints: 32628
1617.29/1622.36 c INPROCESSING
1617.29/1622.36 c GARBAGE COLLECT
1617.29/1622.36 c #Conflicts: 672000 | #Constraints: 17411
1617.29/1622.36 c #Conflicts: 673000 | #Constraints: 18411
1617.29/1622.36 c #Conflicts: 674000 | #Constraints: 19411
1617.29/1622.36 c #Conflicts: 675000 | #Constraints: 20411
1617.29/1622.36 c #Conflicts: 676000 | #Constraints: 21411
1617.29/1622.36 c #Conflicts: 677000 | #Constraints: 22411
1617.29/1622.36 c #Conflicts: 678000 | #Constraints: 23411
1617.29/1622.36 c #Conflicts: 679000 | #Constraints: 24411
1617.29/1622.36 c #Conflicts: 680000 | #Constraints: 25411
1617.29/1622.36 c #Conflicts: 681000 | #Constraints: 26411
1617.29/1622.36 c #Conflicts: 682000 | #Constraints: 27411
1617.29/1622.36 c #Conflicts: 683000 | #Constraints: 28411
1617.29/1622.36 c #Conflicts: 684000 | #Constraints: 29411
1617.29/1622.36 c #Conflicts: 685000 | #Constraints: 30411
1617.29/1622.36 c #Conflicts: 686000 | #Constraints: 31411
1617.29/1622.36 c #Conflicts: 687000 | #Constraints: 32411
1617.29/1622.36 c #Conflicts: 688000 | #Constraints: 33411
1617.29/1622.36 c INPROCESSING
1617.29/1622.36 c GARBAGE COLLECT
1617.29/1622.36 c #Conflicts: 689000 | #Constraints: 18020
1617.29/1622.36 c #Conflicts: 690000 | #Constraints: 19020
1617.29/1622.36 c #Conflicts: 691000 | #Constraints: 20020
1617.29/1622.36 c #Conflicts: 692000 | #Constraints: 21020
1617.29/1622.36 c #Conflicts: 693000 | #Constraints: 22020
1617.29/1622.36 c #Conflicts: 694000 | #Constraints: 23020
1617.29/1622.36 c #Conflicts: 695000 | #Constraints: 24020
1617.29/1622.36 c #Conflicts: 696000 | #Constraints: 25020
1617.29/1622.36 c #Conflicts: 697000 | #Constraints: 26020
1617.29/1622.36 c #Conflicts: 698000 | #Constraints: 27020
1617.29/1622.36 c #Conflicts: 699000 | #Constraints: 28020
1617.29/1622.36 c #Conflicts: 700000 | #Constraints: 29020
1617.29/1622.36 c #Conflicts: 701000 | #Constraints: 30020
1617.29/1622.36 c #Conflicts: 702000 | #Constraints: 31020
1617.29/1622.36 c #Conflicts: 703000 | #Constraints: 32020
1617.29/1622.36 c #Conflicts: 704000 | #Constraints: 33020
1617.29/1622.36 c #Conflicts: 705000 | #Constraints: 34020
1617.29/1622.36 c INPROCESSING
1617.29/1622.36 c GARBAGE COLLECT
1617.29/1622.36 c #Conflicts: 706000 | #Constraints: 18449
1617.29/1622.36 c #Conflicts: 707000 | #Constraints: 19449
1617.29/1622.36 c #Conflicts: 708000 | #Constraints: 20449
1617.29/1622.36 c #Conflicts: 709000 | #Constraints: 21449
1617.29/1622.36 c #Conflicts: 710000 | #Constraints: 22449
1617.29/1622.36 c #Conflicts: 711000 | #Constraints: 23449
1617.29/1622.36 c #Conflicts: 712000 | #Constraints: 24449
1617.29/1622.36 c #Conflicts: 713000 | #Constraints: 25449
1617.29/1622.36 c #Conflicts: 714000 | #Constraints: 26449
1617.29/1622.36 c #Conflicts: 715000 | #Constraints: 27449
1617.29/1622.36 c #Conflicts: 716000 | #Constraints: 28449
1617.29/1622.36 c #Conflicts: 717000 | #Constraints: 29449
1617.29/1622.36 c #Conflicts: 718000 | #Constraints: 30449
1617.29/1622.36 c #Conflicts: 719000 | #Constraints: 31449
1617.29/1622.36 c #Conflicts: 720000 | #Constraints: 32449
1617.29/1622.36 c #Conflicts: 721000 | #Constraints: 33449
1617.29/1622.36 c #Conflicts: 722000 | #Constraints: 34449
1617.29/1622.36 c INPROCESSING
1617.29/1622.36 c GARBAGE COLLECT
1617.29/1622.36 c #Conflicts: 723000 | #Constraints: 18633
1617.29/1622.36 c #Conflicts: 724000 | #Constraints: 19633
1617.29/1622.36 c #Conflicts: 725000 | #Constraints: 20633
1617.29/1622.36 c #Conflicts: 726000 | #Constraints: 21633
1617.29/1622.36 c #Conflicts: 727000 | #Constraints: 22633
1617.29/1622.36 c #Conflicts: 728000 | #Constraints: 23633
1617.29/1622.36 c #Conflicts: 729000 | #Constraints: 24633
1617.29/1622.36 c #Conflicts: 730000 | #Constraints: 25633
1617.29/1622.36 c #Conflicts: 731000 | #Constraints: 26633
1617.29/1622.36 c #Conflicts: 732000 | #Constraints: 27633
1617.29/1622.36 c #Conflicts: 733000 | #Constraints: 28633
1617.29/1622.36 c #Conflicts: 734000 | #Constraints: 29633
1617.29/1622.36 c #Conflicts: 735000 | #Constraints: 30633
1617.29/1622.36 c #Conflicts: 736000 | #Constraints: 31633
1617.29/1622.36 c #Conflicts: 737000 | #Constraints: 32633
1617.29/1622.36 c #Conflicts: 738000 | #Constraints: 33633
1617.29/1622.36 c #Conflicts: 739000 | #Constraints: 34633
1771.08/1776.61 c INPROCESSING
1771.08/1776.61 c GARBAGE COLLECT
1771.08/1776.61 c #Conflicts: 740000 | #Constraints: 18662
1771.08/1776.61 c #Conflicts: 741000 | #Constraints: 19662
1771.08/1776.61 c #Conflicts: 742000 | #Constraints: 20662
1771.08/1776.61 c #Conflicts: 743000 | #Constraints: 21662
1771.08/1776.61 c #Conflicts: 744000 | #Constraints: 22662
1771.08/1776.61 c #Conflicts: 745000 | #Constraints: 23662
1771.08/1776.61 c #Conflicts: 746000 | #Constraints: 24662
1771.08/1776.61 c #Conflicts: 747000 | #Constraints: 25662
1771.08/1776.61 c #Conflicts: 748000 | #Constraints: 26662
1771.08/1776.61 c #Conflicts: 749000 | #Constraints: 27662
1771.08/1776.61 c #Conflicts: 750000 | #Constraints: 28662
1771.08/1776.61 c #Conflicts: 751000 | #Constraints: 29662
1771.08/1776.61 c #Conflicts: 752000 | #Constraints: 30662
1771.08/1776.61 c #Conflicts: 753000 | #Constraints: 31662
1771.08/1776.61 c #Conflicts: 754000 | #Constraints: 32662
1771.08/1776.61 c #Conflicts: 755000 | #Constraints: 33662
1771.08/1776.61 c #Conflicts: 756000 | #Constraints: 34662
1771.08/1776.61 c INPROCESSING
1771.08/1776.61 c GARBAGE COLLECT
1771.08/1776.61 c #Conflicts: 757000 | #Constraints: 18436
1771.08/1776.61 c #Conflicts: 758000 | #Constraints: 19436
1771.08/1776.61 c #Conflicts: 759000 | #Constraints: 20436
1771.08/1776.61 c #Conflicts: 760000 | #Constraints: 21436
1771.08/1776.61 c #Conflicts: 761000 | #Constraints: 22436
1771.08/1776.61 c #Conflicts: 762000 | #Constraints: 23436
1771.08/1776.61 c #Conflicts: 763000 | #Constraints: 24436
1771.08/1776.61 c #Conflicts: 764000 | #Constraints: 25436
1771.08/1776.61 c #Conflicts: 765000 | #Constraints: 26436
1771.08/1776.61 c #Conflicts: 766000 | #Constraints: 27436
1771.08/1776.61 c #Conflicts: 767000 | #Constraints: 28436
1771.08/1776.61 c #Conflicts: 768000 | #Constraints: 29436
1771.08/1776.61 c #Conflicts: 769000 | #Constraints: 30436
1771.08/1776.61 c #Conflicts: 770000 | #Constraints: 31436
1771.08/1776.61 c #Conflicts: 771000 | #Constraints: 32436
1771.08/1776.61 c #Conflicts: 772000 | #Constraints: 33436
1771.08/1776.61 c #Conflicts: 773000 | #Constraints: 34436
1771.08/1776.61 c #Conflicts: 774000 | #Constraints: 35436
1771.08/1776.61 c INPROCESSING
1771.08/1776.61 c GARBAGE COLLECT
1771.08/1776.61 c #Conflicts: 775000 | #Constraints: 19029
1771.08/1776.61 c #Conflicts: 776000 | #Constraints: 20029
1771.08/1776.61 c #Conflicts: 777000 | #Constraints: 21029
1771.08/1776.61 c #Conflicts: 778000 | #Constraints: 22029
1771.08/1776.61 c #Conflicts: 779000 | #Constraints: 23029
1771.08/1776.61 c #Conflicts: 780000 | #Constraints: 24029
1771.08/1776.61 c #Conflicts: 781000 | #Constraints: 25029
1771.08/1776.61 c #Conflicts: 782000 | #Constraints: 26029
1771.08/1776.61 c #Conflicts: 783000 | #Constraints: 27029
1771.08/1776.61 c #Conflicts: 784000 | #Constraints: 28029
1771.08/1776.61 c #Conflicts: 785000 | #Constraints: 29029
1771.08/1776.61 c #Conflicts: 786000 | #Constraints: 30029
1771.08/1776.61 c #Conflicts: 787000 | #Constraints: 31029
1771.08/1776.61 c #Conflicts: 788000 | #Constraints: 32029
1771.08/1776.61 c #Conflicts: 789000 | #Constraints: 33029
1771.08/1776.61 c #Conflicts: 790000 | #Constraints: 34029
1771.08/1776.61 c #Conflicts: 791000 | #Constraints: 35029
1771.08/1776.61 c #Conflicts: 792000 | #Constraints: 36029
1771.08/1776.61 c INPROCESSING
1771.08/1776.61 c GARBAGE COLLECT
1771.08/1776.61 c #Conflicts: 793000 | #Constraints: 19417
1771.08/1776.61 c #Conflicts: 794000 | #Constraints: 20417
1771.08/1776.61 c #Conflicts: 795000 | #Constraints: 21417
1771.08/1776.61 c #Conflicts: 796000 | #Constraints: 22417
1771.08/1776.61 c #Conflicts: 797000 | #Constraints: 23417
1771.08/1776.61 c #Conflicts: 798000 | #Constraints: 24417
1771.08/1776.61 c #Conflicts: 799000 | #Constraints: 25417
1771.08/1776.61 c #Conflicts: 800000 | #Constraints: 26417
1771.08/1776.61 c #Conflicts: 801000 | #Constraints: 27417
1771.08/1776.61 c #Conflicts: 802000 | #Constraints: 28417
1771.08/1776.61 c #Conflicts: 803000 | #Constraints: 29417
1771.08/1776.61 c #Conflicts: 804000 | #Constraints: 30417
1771.08/1776.61 c #Conflicts: 805000 | #Constraints: 31417
1771.08/1776.61 c #Conflicts: 806000 | #Constraints: 32417
1771.08/1776.61 c #Conflicts: 807000 | #Constraints: 33417
1771.08/1776.61 c #Conflicts: 808000 | #Constraints: 34417
1771.08/1776.61 c #Conflicts: 809000 | #Constraints: 35417
1771.08/1776.61 c #Conflicts: 810000 | #Constraints: 36417
1771.08/1776.61 c INPROCESSING
1771.08/1776.61 c GARBAGE COLLECT
1771.08/1776.61 c #Conflicts: 811000 | #Constraints: 19623
1771.08/1776.61 c #Conflicts: 812000 | #Constraints: 20623
1771.08/1776.61 c #Conflicts: 813000 | #Constraints: 21623
1771.08/1776.61 c #Conflicts: 814000 | #Constraints: 22623
1771.08/1776.61 c #Conflicts: 815000 | #Constraints: 23623
1989.81/1996.04 c #Conflicts: 816000 | #Constraints: 24623
1989.81/1996.04 c #Conflicts: 817000 | #Constraints: 25623
1989.81/1996.04 c #Conflicts: 818000 | #Constraints: 26623
1989.81/1996.04 c #Conflicts: 819000 | #Constraints: 27623
1989.81/1996.04 c #Conflicts: 820000 | #Constraints: 28623
1989.81/1996.04 c #Conflicts: 821000 | #Constraints: 29623
1989.81/1996.04 c #Conflicts: 822000 | #Constraints: 30623
1989.81/1996.04 c #Conflicts: 823000 | #Constraints: 31623
1989.81/1996.04 c #Conflicts: 824000 | #Constraints: 32623
1989.81/1996.04 c #Conflicts: 825000 | #Constraints: 33623
1989.81/1996.04 c #Conflicts: 826000 | #Constraints: 34623
1989.81/1996.04 c #Conflicts: 827000 | #Constraints: 35623
1989.81/1996.04 c #Conflicts: 828000 | #Constraints: 36623
1989.81/1996.04 c INPROCESSING
1989.81/1996.04 c GARBAGE COLLECT
1989.81/1996.04 c #Conflicts: 829000 | #Constraints: 19623
1989.81/1996.04 c #Conflicts: 830000 | #Constraints: 20623
1989.81/1996.04 c #Conflicts: 831000 | #Constraints: 21623
1989.81/1996.04 c #Conflicts: 832000 | #Constraints: 22623
1989.81/1996.04 c #Conflicts: 833000 | #Constraints: 23623
1989.81/1996.04 c #Conflicts: 834000 | #Constraints: 24623
1989.81/1996.04 c #Conflicts: 835000 | #Constraints: 25623
1989.81/1996.04 c #Conflicts: 836000 | #Constraints: 26623
1989.81/1996.04 c #Conflicts: 837000 | #Constraints: 27623
1989.81/1996.04 c #Conflicts: 838000 | #Constraints: 28623
1989.81/1996.04 c #Conflicts: 839000 | #Constraints: 29623
1989.81/1996.04 c #Conflicts: 840000 | #Constraints: 30623
1989.81/1996.04 c #Conflicts: 841000 | #Constraints: 31623
1989.81/1996.04 c #Conflicts: 842000 | #Constraints: 32623
1989.81/1996.04 c #Conflicts: 843000 | #Constraints: 33623
1989.81/1996.04 c #Conflicts: 844000 | #Constraints: 34623
1989.81/1996.04 c #Conflicts: 845000 | #Constraints: 35623
1989.81/1996.04 c #Conflicts: 846000 | #Constraints: 36623
1989.81/1996.04 c INPROCESSING
1989.81/1996.04 c GARBAGE COLLECT
1989.81/1996.04 c #Conflicts: 847000 | #Constraints: 19415
1989.81/1996.04 c #Conflicts: 848000 | #Constraints: 20415
1989.81/1996.04 c #Conflicts: 849000 | #Constraints: 21415
1989.81/1996.04 c #Conflicts: 850000 | #Constraints: 22415
1989.81/1996.04 c #Conflicts: 851000 | #Constraints: 23415
1989.81/1996.04 c #Conflicts: 852000 | #Constraints: 24415
1989.81/1996.04 c #Conflicts: 853000 | #Constraints: 25415
1989.81/1996.04 c #Conflicts: 854000 | #Constraints: 26415
1989.81/1996.04 c #Conflicts: 855000 | #Constraints: 27415
1989.81/1996.04 c #Conflicts: 856000 | #Constraints: 28415
1989.81/1996.04 c #Conflicts: 857000 | #Constraints: 29415
1989.81/1996.04 c #Conflicts: 858000 | #Constraints: 30415
1989.81/1996.04 c #Conflicts: 859000 | #Constraints: 31415
1989.81/1996.04 c #Conflicts: 860000 | #Constraints: 32415
1989.81/1996.04 c #Conflicts: 861000 | #Constraints: 33415
1989.81/1996.04 c #Conflicts: 862000 | #Constraints: 34415
1989.81/1996.04 c #Conflicts: 863000 | #Constraints: 35415
1989.81/1996.04 c #Conflicts: 864000 | #Constraints: 36415
1989.81/1996.04 c #Conflicts: 865000 | #Constraints: 37415
1989.81/1996.04 c INPROCESSING
1989.81/1996.04 c GARBAGE COLLECT
1989.81/1996.04 c #Conflicts: 866000 | #Constraints: 20010
1989.81/1996.04 c #Conflicts: 867000 | #Constraints: 21010
1989.81/1996.04 c #Conflicts: 868000 | #Constraints: 22010
1989.81/1996.04 c #Conflicts: 869000 | #Constraints: 23010
1989.81/1996.04 c #Conflicts: 870000 | #Constraints: 24010
1989.81/1996.04 c #Conflicts: 871000 | #Constraints: 25010
1989.81/1996.04 c #Conflicts: 872000 | #Constraints: 26010
1989.81/1996.04 c #Conflicts: 873000 | #Constraints: 27010
1989.81/1996.04 c #Conflicts: 874000 | #Constraints: 28010
1989.81/1996.04 c #Conflicts: 875000 | #Constraints: 29010
1989.81/1996.04 c #Conflicts: 876000 | #Constraints: 30010
1989.81/1996.04 c #Conflicts: 877000 | #Constraints: 31010
1989.81/1996.04 c #Conflicts: 878000 | #Constraints: 32010
1989.81/1996.04 c #Conflicts: 879000 | #Constraints: 33010
1989.81/1996.04 c #Conflicts: 880000 | #Constraints: 34010
1989.81/1996.04 c #Conflicts: 881000 | #Constraints: 35010
1989.81/1996.04 c #Conflicts: 882000 | #Constraints: 36010
1989.81/1996.04 c #Conflicts: 883000 | #Constraints: 37010
1989.81/1996.04 c #Conflicts: 884000 | #Constraints: 38010
1989.81/1996.04 c INPROCESSING
1989.81/1996.04 c GARBAGE COLLECT
1989.81/1996.04 c #Conflicts: 885000 | #Constraints: 20413
1989.81/1996.04 c #Conflicts: 886000 | #Constraints: 21413
1989.81/1996.04 c #Conflicts: 887000 | #Constraints: 22413
1989.81/1996.04 c #Conflicts: 888000 | #Constraints: 23413
1989.81/1996.04 c #Conflicts: 889000 | #Constraints: 24413
1989.81/1996.04 c #Conflicts: 890000 | #Constraints: 25413
1989.81/1996.04 c #Conflicts: 891000 | #Constraints: 26413
2239.84/2246.71 c #Conflicts: 892000 | #Constraints: 27413
2239.84/2246.71 c #Conflicts: 893000 | #Constraints: 28413
2239.84/2246.71 c #Conflicts: 894000 | #Constraints: 29413
2239.84/2246.71 c #Conflicts: 895000 | #Constraints: 30413
2239.84/2246.71 c #Conflicts: 896000 | #Constraints: 31413
2239.84/2246.71 c #Conflicts: 897000 | #Constraints: 32413
2239.84/2246.71 c #Conflicts: 898000 | #Constraints: 33413
2239.84/2246.71 c #Conflicts: 899000 | #Constraints: 34413
2239.84/2246.71 c #Conflicts: 900000 | #Constraints: 35413
2239.84/2246.71 c #Conflicts: 901000 | #Constraints: 36413
2239.84/2246.71 c #Conflicts: 902000 | #Constraints: 37413
2239.84/2246.71 c #Conflicts: 903000 | #Constraints: 38413
2239.84/2246.71 c INPROCESSING
2239.84/2246.71 c GARBAGE COLLECT
2239.84/2246.71 c #Conflicts: 904000 | #Constraints: 20615
2239.84/2246.71 c #Conflicts: 905000 | #Constraints: 21615
2239.84/2246.71 c #Conflicts: 906000 | #Constraints: 22615
2239.84/2246.71 c #Conflicts: 907000 | #Constraints: 23615
2239.84/2246.71 c #Conflicts: 908000 | #Constraints: 24615
2239.84/2246.71 c #Conflicts: 909000 | #Constraints: 25615
2239.84/2246.71 c #Conflicts: 910000 | #Constraints: 26615
2239.84/2246.71 c #Conflicts: 911000 | #Constraints: 27615
2239.84/2246.71 c #Conflicts: 912000 | #Constraints: 28615
2239.84/2246.71 c #Conflicts: 913000 | #Constraints: 29615
2239.84/2246.71 c #Conflicts: 914000 | #Constraints: 30615
2239.84/2246.71 c #Conflicts: 915000 | #Constraints: 31615
2239.84/2246.71 c #Conflicts: 916000 | #Constraints: 32615
2239.84/2246.71 c #Conflicts: 917000 | #Constraints: 33615
2239.84/2246.71 c #Conflicts: 918000 | #Constraints: 34615
2239.84/2246.71 c #Conflicts: 919000 | #Constraints: 35615
2239.84/2246.71 c #Conflicts: 920000 | #Constraints: 36615
2239.84/2246.71 c #Conflicts: 921000 | #Constraints: 37615
2239.84/2246.71 c #Conflicts: 922000 | #Constraints: 38615
2239.84/2246.71 c INPROCESSING
2239.84/2246.71 c GARBAGE COLLECT
2239.84/2246.71 c #Conflicts: 923000 | #Constraints: 20611
2239.84/2246.71 c #Conflicts: 924000 | #Constraints: 21611
2239.84/2246.71 c #Conflicts: 925000 | #Constraints: 22611
2239.84/2246.71 c #Conflicts: 926000 | #Constraints: 23611
2239.84/2246.71 c #Conflicts: 927000 | #Constraints: 24611
2239.84/2246.71 c #Conflicts: 928000 | #Constraints: 25611
2239.84/2246.71 c #Conflicts: 929000 | #Constraints: 26611
2239.84/2246.71 c #Conflicts: 930000 | #Constraints: 27611
2239.84/2246.71 c #Conflicts: 931000 | #Constraints: 28611
2239.84/2246.71 c #Conflicts: 932000 | #Constraints: 29611
2239.84/2246.71 c #Conflicts: 933000 | #Constraints: 30611
2239.84/2246.71 c #Conflicts: 934000 | #Constraints: 31611
2239.84/2246.71 c #Conflicts: 935000 | #Constraints: 32611
2239.84/2246.71 c #Conflicts: 936000 | #Constraints: 33611
2239.84/2246.71 c #Conflicts: 937000 | #Constraints: 34611
2239.84/2246.71 c #Conflicts: 938000 | #Constraints: 35611
2239.84/2246.71 c #Conflicts: 939000 | #Constraints: 36611
2239.84/2246.71 c #Conflicts: 940000 | #Constraints: 37611
2239.84/2246.71 c #Conflicts: 941000 | #Constraints: 38611
2239.84/2246.71 c INPROCESSING
2239.84/2246.71 c GARBAGE COLLECT
2239.84/2246.71 c #Conflicts: 942000 | #Constraints: 20457
2239.84/2246.71 c #Conflicts: 943000 | #Constraints: 21457
2239.84/2246.71 c #Conflicts: 944000 | #Constraints: 22457
2239.84/2246.71 c #Conflicts: 945000 | #Constraints: 23457
2239.84/2246.71 c #Conflicts: 946000 | #Constraints: 24457
2239.84/2246.71 c #Conflicts: 947000 | #Constraints: 25457
2239.84/2246.71 c #Conflicts: 948000 | #Constraints: 26457
2239.84/2246.71 c #Conflicts: 949000 | #Constraints: 27457
2239.84/2246.71 c #Conflicts: 950000 | #Constraints: 28457
2239.84/2246.71 c #Conflicts: 951000 | #Constraints: 29457
2239.84/2246.71 c #Conflicts: 952000 | #Constraints: 30457
2239.84/2246.71 c #Conflicts: 953000 | #Constraints: 31457
2239.84/2246.71 c #Conflicts: 954000 | #Constraints: 32457
2239.84/2246.71 c #Conflicts: 955000 | #Constraints: 33457
2239.84/2246.71 c #Conflicts: 956000 | #Constraints: 34457
2239.84/2246.71 c #Conflicts: 957000 | #Constraints: 35457
2239.84/2246.71 c #Conflicts: 958000 | #Constraints: 36457
2239.84/2246.71 c #Conflicts: 959000 | #Constraints: 37457
2239.84/2246.71 c #Conflicts: 960000 | #Constraints: 38457
2239.84/2246.71 c #Conflicts: 961000 | #Constraints: 39457
2239.84/2246.71 c INPROCESSING
2239.84/2246.71 c GARBAGE COLLECT
2239.84/2246.71 c #Conflicts: 962000 | #Constraints: 21053
2239.84/2246.71 c #Conflicts: 963000 | #Constraints: 22053
2239.84/2246.71 c #Conflicts: 964000 | #Constraints: 23053
2239.84/2246.71 c #Conflicts: 965000 | #Constraints: 24053
2239.84/2246.71 c #Conflicts: 966000 | #Constraints: 25053
2239.84/2246.71 c #Conflicts: 967000 | #Constraints: 26053
2239.84/2246.71 c #Conflicts: 968000 | #Constraints: 27053
2643.74/2651.82 c #Conflicts: 969000 | #Constraints: 28053
2643.74/2651.82 c #Conflicts: 970000 | #Constraints: 29053
2643.74/2651.82 c #Conflicts: 971000 | #Constraints: 30053
2643.74/2651.82 c #Conflicts: 972000 | #Constraints: 31053
2643.74/2651.82 c #Conflicts: 973000 | #Constraints: 32053
2643.74/2651.82 c #Conflicts: 974000 | #Constraints: 33053
2643.74/2651.82 c #Conflicts: 975000 | #Constraints: 34053
2643.74/2651.82 c #Conflicts: 976000 | #Constraints: 35053
2643.74/2651.82 c #Conflicts: 977000 | #Constraints: 36053
2643.74/2651.82 c #Conflicts: 978000 | #Constraints: 37053
2643.74/2651.82 c #Conflicts: 979000 | #Constraints: 38053
2643.74/2651.82 c #Conflicts: 980000 | #Constraints: 39053
2643.74/2651.82 c #Conflicts: 981000 | #Constraints: 40053
2643.74/2651.82 c INPROCESSING
2643.74/2651.82 c GARBAGE COLLECT
2643.74/2651.82 c #Conflicts: 982000 | #Constraints: 21463
2643.74/2651.82 c #Conflicts: 983000 | #Constraints: 22463
2643.74/2651.82 c #Conflicts: 984000 | #Constraints: 23463
2643.74/2651.82 c #Conflicts: 985000 | #Constraints: 24463
2643.74/2651.82 c #Conflicts: 986000 | #Constraints: 25463
2643.74/2651.82 c #Conflicts: 987000 | #Constraints: 26463
2643.74/2651.82 c #Conflicts: 988000 | #Constraints: 27463
2643.74/2651.82 c #Conflicts: 989000 | #Constraints: 28463
2643.74/2651.82 c #Conflicts: 990000 | #Constraints: 29463
2643.74/2651.82 c #Conflicts: 991000 | #Constraints: 30463
2643.74/2651.82 c #Conflicts: 992000 | #Constraints: 31463
2643.74/2651.82 c #Conflicts: 993000 | #Constraints: 32463
2643.74/2651.82 c #Conflicts: 994000 | #Constraints: 33463
2643.74/2651.82 c #Conflicts: 995000 | #Constraints: 34463
2643.74/2651.82 c #Conflicts: 996000 | #Constraints: 35463
2643.74/2651.82 c #Conflicts: 997000 | #Constraints: 36463
2643.74/2651.82 c #Conflicts: 998000 | #Constraints: 37463
2643.74/2651.82 c #Conflicts: 999000 | #Constraints: 38463
2643.74/2651.82 c #Conflicts: 1000000 | #Constraints: 39463
2643.74/2651.82 c #Conflicts: 1001000 | #Constraints: 40463
2643.74/2651.82 c INPROCESSING
2643.74/2651.82 c GARBAGE COLLECT
2643.74/2651.82 c #Conflicts: 1002000 | #Constraints: 21641
2643.74/2651.82 c #Conflicts: 1003000 | #Constraints: 22641
2643.74/2651.82 c #Conflicts: 1004000 | #Constraints: 23641
2643.74/2651.82 c #Conflicts: 1005000 | #Constraints: 24641
2643.74/2651.82 c #Conflicts: 1006000 | #Constraints: 25641
2643.74/2651.82 c #Conflicts: 1007000 | #Constraints: 26641
2643.74/2651.82 c #Conflicts: 1008000 | #Constraints: 27641
2643.74/2651.82 c #Conflicts: 1009000 | #Constraints: 28641
2643.74/2651.82 c #Conflicts: 1010000 | #Constraints: 29641
2643.74/2651.82 c #Conflicts: 1011000 | #Constraints: 30641
2643.74/2651.82 c #Conflicts: 1012000 | #Constraints: 31641
2643.74/2651.82 c #Conflicts: 1013000 | #Constraints: 32641
2643.74/2651.82 c #Conflicts: 1014000 | #Constraints: 33641
2643.74/2651.82 c #Conflicts: 1015000 | #Constraints: 34641
2643.74/2651.82 c #Conflicts: 1016000 | #Constraints: 35641
2643.74/2651.82 c #Conflicts: 1017000 | #Constraints: 36641
2643.74/2651.82 c #Conflicts: 1018000 | #Constraints: 37641
2643.74/2651.82 c #Conflicts: 1019000 | #Constraints: 38641
2643.74/2651.82 c #Conflicts: 1020000 | #Constraints: 39641
2643.74/2651.82 c #Conflicts: 1021000 | #Constraints: 40641
2643.74/2651.82 c INPROCESSING
2643.74/2651.82 c GARBAGE COLLECT
2643.74/2651.82 c #Conflicts: 1022000 | #Constraints: 21645
2643.74/2651.82 c #Conflicts: 1023000 | #Constraints: 22645
2643.74/2651.82 c #Conflicts: 1024000 | #Constraints: 23645
2643.74/2651.82 c #Conflicts: 1025000 | #Constraints: 24645
2643.74/2651.82 c #Conflicts: 1026000 | #Constraints: 25645
2643.74/2651.82 c #Conflicts: 1027000 | #Constraints: 26645
2643.74/2651.82 c #Conflicts: 1028000 | #Constraints: 27645
2643.74/2651.82 c #Conflicts: 1029000 | #Constraints: 28645
2643.74/2651.82 c #Conflicts: 1030000 | #Constraints: 29645
2643.74/2651.82 c #Conflicts: 1031000 | #Constraints: 30645
2643.74/2651.82 c #Conflicts: 1032000 | #Constraints: 31645
2643.74/2651.82 c #Conflicts: 1033000 | #Constraints: 32645
2643.74/2651.82 c #Conflicts: 1034000 | #Constraints: 33645
2643.74/2651.82 c #Conflicts: 1035000 | #Constraints: 34645
2643.74/2651.82 c #Conflicts: 1036000 | #Constraints: 35645
2643.74/2651.82 c #Conflicts: 1037000 | #Constraints: 36645
2643.74/2651.82 c #Conflicts: 1038000 | #Constraints: 37645
2643.74/2651.82 c #Conflicts: 1039000 | #Constraints: 38645
2643.74/2651.82 c #Conflicts: 1040000 | #Constraints: 39645
2643.74/2651.82 c #Conflicts: 1041000 | #Constraints: 40645
2643.74/2651.82 c INPROCESSING
2643.74/2651.82 c GARBAGE COLLECT
2643.74/2651.82 c #Conflicts: 1042000 | #Constraints: 21438
2643.74/2651.82 c #Conflicts: 1043000 | #Constraints: 22438
2643.74/2651.82 c #Conflicts: 1044000 | #Constraints: 23438
3333.32/3343.40 c #Conflicts: 1045000 | #Constraints: 24438
3333.32/3343.40 c #Conflicts: 1046000 | #Constraints: 25438
3333.32/3343.40 c #Conflicts: 1047000 | #Constraints: 26438
3333.32/3343.40 c #Conflicts: 1048000 | #Constraints: 27438
3333.32/3343.40 c #Conflicts: 1049000 | #Constraints: 28438
3333.32/3343.40 c #Conflicts: 1050000 | #Constraints: 29438
3333.32/3343.40 c #Conflicts: 1051000 | #Constraints: 30438
3333.32/3343.40 c #Conflicts: 1052000 | #Constraints: 31438
3333.32/3343.40 c #Conflicts: 1053000 | #Constraints: 32438
3333.32/3343.40 c #Conflicts: 1054000 | #Constraints: 33438
3333.32/3343.40 c #Conflicts: 1055000 | #Constraints: 34438
3333.32/3343.40 c #Conflicts: 1056000 | #Constraints: 35438
3333.32/3343.40 c #Conflicts: 1057000 | #Constraints: 36438
3333.32/3343.40 c #Conflicts: 1058000 | #Constraints: 37438
3333.32/3343.40 c #Conflicts: 1059000 | #Constraints: 38438
3333.32/3343.40 c #Conflicts: 1060000 | #Constraints: 39438
3333.32/3343.40 c #Conflicts: 1061000 | #Constraints: 40438
3333.32/3343.40 c #Conflicts: 1062000 | #Constraints: 41438
3333.32/3343.40 c INPROCESSING
3333.32/3343.40 c GARBAGE COLLECT
3333.32/3343.40 c #Conflicts: 1063000 | #Constraints: 22047
3333.32/3343.40 c #Conflicts: 1064000 | #Constraints: 23047
3333.32/3343.40 c #Conflicts: 1065000 | #Constraints: 24047
3333.32/3343.40 c #Conflicts: 1066000 | #Constraints: 25047
3333.32/3343.40 c #Conflicts: 1067000 | #Constraints: 26047
3333.32/3343.40 c #Conflicts: 1068000 | #Constraints: 27047
3333.32/3343.40 c #Conflicts: 1069000 | #Constraints: 28047
3333.32/3343.40 c #Conflicts: 1070000 | #Constraints: 29047
3333.32/3343.40 c #Conflicts: 1071000 | #Constraints: 30047
3333.32/3343.40 c #Conflicts: 1072000 | #Constraints: 31047
3333.32/3343.40 c #Conflicts: 1073000 | #Constraints: 32047
3333.32/3343.40 c #Conflicts: 1074000 | #Constraints: 33047
3333.32/3343.40 c #Conflicts: 1075000 | #Constraints: 34047
3333.32/3343.40 c #Conflicts: 1076000 | #Constraints: 35047
3333.32/3343.40 c #Conflicts: 1077000 | #Constraints: 36047
3333.32/3343.40 c #Conflicts: 1078000 | #Constraints: 37047
3333.32/3343.40 c #Conflicts: 1079000 | #Constraints: 38047
3333.32/3343.40 c #Conflicts: 1080000 | #Constraints: 39047
3333.32/3343.40 c #Conflicts: 1081000 | #Constraints: 40047
3333.32/3343.40 c #Conflicts: 1082000 | #Constraints: 41047
3333.32/3343.40 c #Conflicts: 1083000 | #Constraints: 42047
3333.32/3343.40 c INPROCESSING
3333.32/3343.40 c GARBAGE COLLECT
3333.32/3343.40 c #Conflicts: 1084000 | #Constraints: 22460
3333.32/3343.40 c #Conflicts: 1085000 | #Constraints: 23460
3333.32/3343.40 c #Conflicts: 1086000 | #Constraints: 24460
3333.32/3343.40 c #Conflicts: 1087000 | #Constraints: 25460
3333.32/3343.40 c #Conflicts: 1088000 | #Constraints: 26460
3333.32/3343.40 c #Conflicts: 1089000 | #Constraints: 27460
3333.32/3343.40 c #Conflicts: 1090000 | #Constraints: 28460
3333.32/3343.40 c #Conflicts: 1091000 | #Constraints: 29460
3333.32/3343.40 c #Conflicts: 1092000 | #Constraints: 30460
3333.32/3343.40 c #Conflicts: 1093000 | #Constraints: 31460
3333.32/3343.40 c #Conflicts: 1094000 | #Constraints: 32460
3333.32/3343.40 c #Conflicts: 1095000 | #Constraints: 33460
3333.32/3343.40 c #Conflicts: 1096000 | #Constraints: 34460
3333.32/3343.40 c #Conflicts: 1097000 | #Constraints: 35460
3333.32/3343.40 c #Conflicts: 1098000 | #Constraints: 36460
3333.32/3343.40 c #Conflicts: 1099000 | #Constraints: 37460
3333.32/3343.40 c #Conflicts: 1100000 | #Constraints: 38460
3333.32/3343.40 c #Conflicts: 1101000 | #Constraints: 39460
3333.32/3343.40 c #Conflicts: 1102000 | #Constraints: 40460
3333.32/3343.40 c #Conflicts: 1103000 | #Constraints: 41460
3333.32/3343.40 c #Conflicts: 1104000 | #Constraints: 42460
3333.32/3343.40 c INPROCESSING
3333.32/3343.40 c GARBAGE COLLECT
3333.32/3343.40 c #Conflicts: 1105000 | #Constraints: 22690
3333.32/3343.40 c #Conflicts: 1106000 | #Constraints: 23690
3333.32/3343.40 c #Conflicts: 1107000 | #Constraints: 24690
3333.32/3343.40 c #Conflicts: 1108000 | #Constraints: 25690
3333.32/3343.40 c #Conflicts: 1109000 | #Constraints: 26690
3333.32/3343.40 c #Conflicts: 1110000 | #Constraints: 27690
3333.32/3343.40 c #Conflicts: 1111000 | #Constraints: 28690
3333.32/3343.40 c #Conflicts: 1112000 | #Constraints: 29690
3333.32/3343.40 c #Conflicts: 1113000 | #Constraints: 30690
3333.32/3343.40 c #Conflicts: 1114000 | #Constraints: 31690
3333.32/3343.40 c #Conflicts: 1115000 | #Constraints: 32690
3333.32/3343.40 c #Conflicts: 1116000 | #Constraints: 33690
3333.32/3343.40 c #Conflicts: 1117000 | #Constraints: 34690
3333.32/3343.40 c #Conflicts: 1118000 | #Constraints: 35690
3333.32/3343.40 c #Conflicts: 1119000 | #Constraints: 36690
3333.32/3343.40 c #Conflicts: 1120000 | #Constraints: 37690
3333.32/3343.40 c #Conflicts: 1121000 | #Constraints: 38690
3578.21/3589.05 c #Conflicts: 1122000 | #Constraints: 39690
3578.21/3589.05 c #Conflicts: 1123000 | #Constraints: 40690
3578.21/3589.05 c #Conflicts: 1124000 | #Constraints: 41690
3578.21/3589.05 c #Conflicts: 1125000 | #Constraints: 42690
3578.21/3589.05 c INPROCESSING
3578.21/3589.05 c GARBAGE COLLECT
3578.21/3589.05 c #Conflicts: 1126000 | #Constraints: 22686
3578.21/3589.05 c #Conflicts: 1127000 | #Constraints: 23686
3578.21/3589.05 c #Conflicts: 1128000 | #Constraints: 24686
3578.21/3589.05 c #Conflicts: 1129000 | #Constraints: 25686
3578.21/3589.05 c #Conflicts: 1130000 | #Constraints: 26686
3578.21/3589.05 c #Conflicts: 1131000 | #Constraints: 27686
3578.21/3589.05 c #Conflicts: 1132000 | #Constraints: 28686
3578.21/3589.05 c #Conflicts: 1133000 | #Constraints: 29686
3578.21/3589.05 c #Conflicts: 1134000 | #Constraints: 30686
3578.21/3589.05 c #Conflicts: 1135000 | #Constraints: 31686
3578.21/3589.05 c #Conflicts: 1136000 | #Constraints: 32686
3578.21/3589.05 c #Conflicts: 1137000 | #Constraints: 33686
3578.21/3589.05 c #Conflicts: 1138000 | #Constraints: 34686
3578.21/3589.05 c #Conflicts: 1139000 | #Constraints: 35686
3578.21/3589.05 c #Conflicts: 1140000 | #Constraints: 36686
3578.21/3589.05 c #Conflicts: 1141000 | #Constraints: 37686
3578.21/3589.05 c #Conflicts: 1142000 | #Constraints: 38686
3578.21/3589.05 c #Conflicts: 1143000 | #Constraints: 39686
3578.21/3589.05 c #Conflicts: 1144000 | #Constraints: 40686
3578.21/3589.05 c #Conflicts: 1145000 | #Constraints: 41686
3578.21/3589.05 c #Conflicts: 1146000 | #Constraints: 42686
3578.21/3589.05 c INPROCESSING
3578.21/3589.05 c GARBAGE COLLECT
3578.21/3589.05 c #Conflicts: 1147000 | #Constraints: 22450
3578.21/3589.05 c #Conflicts: 1148000 | #Constraints: 23450
3578.21/3589.05 c #Conflicts: 1149000 | #Constraints: 24450
3578.21/3589.05 c #Conflicts: 1150000 | #Constraints: 25450
3578.21/3589.05 c #Conflicts: 1151000 | #Constraints: 26450
3578.21/3589.05 c #Conflicts: 1152000 | #Constraints: 27450
3578.21/3589.05 c #Conflicts: 1153000 | #Constraints: 28450
3578.21/3589.05 c #Conflicts: 1154000 | #Constraints: 29450
3578.21/3589.05 c #Conflicts: 1155000 | #Constraints: 30450
3578.21/3589.05 c #Conflicts: 1156000 | #Constraints: 31450
3578.21/3589.05 c #Conflicts: 1157000 | #Constraints: 32450
3578.21/3589.05 c #Conflicts: 1158000 | #Constraints: 33450
3578.21/3589.05 c #Conflicts: 1159000 | #Constraints: 34450
3578.21/3589.05 c #Conflicts: 1160000 | #Constraints: 35450
3578.21/3589.05 c #Conflicts: 1161000 | #Constraints: 36450
3578.21/3589.05 c #Conflicts: 1162000 | #Constraints: 37450
3578.21/3589.05 c #Conflicts: 1163000 | #Constraints: 38450
3578.21/3589.05 c #Conflicts: 1164000 | #Constraints: 39450
3578.21/3589.05 c #Conflicts: 1165000 | #Constraints: 40450
3578.21/3589.05 c #Conflicts: 1166000 | #Constraints: 41450
3578.21/3589.05 c #Conflicts: 1167000 | #Constraints: 42450
3578.21/3589.05 c #Conflicts: 1168000 | #Constraints: 43450
3578.21/3589.05 c INPROCESSING
3578.21/3589.05 c GARBAGE COLLECT
3578.21/3589.05 c #Conflicts: 1169000 | #Constraints: 23051
3578.21/3589.05 c #Conflicts: 1170000 | #Constraints: 24051
3578.21/3589.05 c #Conflicts: 1171000 | #Constraints: 25051
3578.21/3589.05 c #Conflicts: 1172000 | #Constraints: 26051
3578.21/3589.05 c #Conflicts: 1173000 | #Constraints: 27051
3578.21/3589.05 c #Conflicts: 1174000 | #Constraints: 28051
3578.21/3589.05 c #Conflicts: 1175000 | #Constraints: 29051
3578.21/3589.05 c #Conflicts: 1176000 | #Constraints: 30051
3578.21/3589.05 c #Conflicts: 1177000 | #Constraints: 31051
3578.21/3589.05 c #Conflicts: 1178000 | #Constraints: 32051
3578.21/3589.05 c #Conflicts: 1179000 | #Constraints: 33051
3578.21/3589.05 c #Conflicts: 1180000 | #Constraints: 34051
3578.21/3589.05 c #Conflicts: 1181000 | #Constraints: 35051
3578.21/3589.05 c #Conflicts: 1182000 | #Constraints: 36051
3578.21/3589.05 c #Conflicts: 1183000 | #Constraints: 37051
3578.21/3589.05 c #Conflicts: 1184000 | #Constraints: 38051
3578.21/3589.05 c #Conflicts: 1185000 | #Constraints: 39051
3578.21/3589.05 c #Conflicts: 1186000 | #Constraints: 40051
3578.21/3589.05 c #Conflicts: 1187000 | #Constraints: 41051
3578.21/3589.05 c #Conflicts: 1188000 | #Constraints: 42051
3578.21/3589.05 c #Conflicts: 1189000 | #Constraints: 43051
3578.21/3589.05 c #Conflicts: 1190000 | #Constraints: 44051
3578.21/3589.05 c INPROCESSING
3578.21/3589.05 c GARBAGE COLLECT
3578.21/3589.05 c #Conflicts: 1191000 | #Constraints: 23436
3578.21/3589.05 c #Conflicts: 1192000 | #Constraints: 24436
3578.21/3589.05 c #Conflicts: 1193000 | #Constraints: 25436
3578.21/3589.05 c #Conflicts: 1194000 | #Constraints: 26436
3578.21/3589.05 c #Conflicts: 1195000 | #Constraints: 27436
3578.21/3589.05 c #Conflicts: 1196000 | #Constraints: 28436
3578.21/3589.05 c #Conflicts: 1197000 | #Constraints: 29436
3600.02/3610.90 c #Conflicts: 1198000 | #Constraints: 30436
3600.02/3610.90 c #Conflicts: 1199000 | #Constraints: 31436
3600.02/3610.90 c #Conflicts: 1200000 | #Constraints: 32436
3600.02/3610.90 c #Conflicts: 1201000 | #Constraints: 33436
3600.02/3610.90 c #Conflicts: 1202000 | #Constraints: 34436
3600.02/3610.90 c #Conflicts: 1203000 | #Constraints: 35436
3600.02/3610.90 c #Conflicts: 1204000 | #Constraints: 36436
3600.02/3610.90 c #Conflicts: 1205000 | #Constraints: 37436
3600.02/3610.90 c #Conflicts: 1206000 | #Constraints: 38436
3600.02/3610.90 c #Conflicts: 1207000 | #Constraints: 39436
3600.02/3610.90 c #Conflicts: 1208000 | #Constraints: 40436
3600.02/3610.90 c #Conflicts: 1209000 | #Constraints: 41436
3600.02/3610.90 c Program interrupted by user.
3600.02/3610.90 c cpu time 3587.58 s
3600.02/3610.90 c deterministic time 879868002288 8.80e+11
3600.02/3610.90 c optimization time 28.7247 s
3600.02/3610.90 c total solve time 3558.81 s
3600.02/3610.90 c core-guided solve time 3558.81 s
3600.02/3610.90 c propagation time 2877.49 s
3600.02/3610.90 c conflict analysis time 627.248 s
3600.02/3610.90 c propagations 495722235
3600.02/3610.90 c resolve steps 10570599
3600.02/3610.90 c decisions 10590557
3600.02/3610.90 c conflicts 1209243
3600.02/3610.90 c restarts 2299
3600.02/3610.90 c inprocessing phases 100
3600.02/3610.90 c input clauses 8512
3600.02/3610.90 c input cardinalities 98
3600.02/3610.90 c input general constraints 576
3600.02/3610.90 c input average constraint length 9.75
3600.02/3610.90 c input average constraint degree 71.75
3600.02/3610.90 c learned clauses 142718
3600.02/3610.90 c learned cardinalities 18411
3600.02/3610.90 c learned general constraints 1048113
3600.02/3610.90 c learned average constraint length 903.60
3600.02/3610.90 c learned average constraint degree 58529912.55
3600.02/3610.90 c watched constraints 831353
3600.02/3610.90 c counting constraints 217336
3600.02/3610.90 c gcd simplifications 86119
3600.02/3610.90 c detected cardinalities 491
3600.02/3610.90 c weakened non-implied lits 144257484
3600.02/3610.90 c weakened non-implying lits 138274
3600.02/3610.90 c original variables 8424
3600.02/3610.90 c clausal propagations 1598236
3600.02/3610.90 c cardinality propagations 8975940
3600.02/3610.90 c watched propagations 25038209
3600.02/3610.90 c counting propagations 457828627
3600.02/3610.90 c watch lookups 26212684363
3600.02/3610.90 c watch backjump lookups 23225340392
3600.02/3610.90 c watch checks 734520336698
3600.02/3610.90 c propagation checks 91016409758
3600.02/3610.90 c constraint additions 3879402246
3600.02/3610.90 c trail pops 507516038
3600.02/3610.90 c formula constraints 9186
3600.02/3610.90 c learned constraints 1209242
3600.02/3610.90 c bound constraints 0
3600.02/3610.90 c core-guided constraints 0
3600.02/3610.90 c encountered formula constraints 6493853
3600.02/3610.90 c encountered learned constraints 5285989
3600.02/3610.90 c encountered bound constraints 0
3600.02/3610.90 c encountered core-guided constraints 0
3600.02/3610.90 c LP total time 0 s
3600.02/3610.90 c LP solve time 0 s
3600.02/3610.90 c LP constraints added 0
3600.02/3610.90 c LP constraints removed 0
3600.02/3610.90 c LP pivots internal 0
3600.02/3610.90 c LP pivots root 0
3600.02/3610.90 c LP calls 0
3600.02/3610.90 c LP optimalities 0
3600.02/3610.90 c LP no pivot count 0
3600.02/3610.90 c LP infeasibilities 0
3600.02/3610.90 c LP valid Farkas constraints 0
3600.02/3610.90 c LP learned Farkas constraints 0
3600.02/3610.90 c LP basis resets 0
3600.02/3610.90 c LP cycling count 0
3600.02/3610.90 c LP singular count 0
3600.02/3610.90 c LP no primal count 0
3600.02/3610.90 c LP no farkas count 0
3600.02/3610.90 c LP other issue count 0
3600.02/3610.90 c LP Gomory cuts 0
3600.02/3610.90 c LP learned cuts 0
3600.02/3610.90 c LP deleted cuts 0
3600.02/3610.90 c LP encountered Gomory constraints 0
3600.02/3610.90 c LP encountered Farkas constraints 0
3600.02/3610.90 c LP encountered learned Farkas constraints 0
3600.02/3610.90 c CG auxiliary variables introduced 0
3600.02/3610.90 c CG solutions found 0
3600.02/3610.90 c CG cores constructed 0
3600.02/3610.90 c CG core cardinality constraints returned 0
3600.02/3610.90 c CG unit cores 0
3600.02/3610.90 c CG single cores 0
3600.02/3610.90 c CG blocks removed during cardinality reduction 0
3600.02/3610.90 c CG first core best 0
3600.02/3610.90 c CG decision core best 0
3600.02/3610.90 c CG core reduction tie 0
3600.02/3610.90 c CG core degree average 0.00
3600.02/3610.90 c CG core slack average 0.00
3600.02/3610.90 c CG exhausted 0
3600.02/3610.90 c CG exhaust time 0 s
3600.02/3610.90 c CG trimmed 0
3600.02/3610.90 c CG trim time 0 s
3600.02/3610.90 c CG minimized 0
3600.02/3610.90 c CG minimize time 0 s
3600.02/3610.90 c CG am1 prop time 0 s
3600.02/3610.90 c CG # am1s reformulated 0
3600.02/3610.90 c CG lower bound derived from am1s 0
3600.02/3610.90 c CG # clausal cores 0
3600.02/3610.90 c CG # cardinality cores 0
3600.02/3610.90 c CG # pb cores 0
3600.02/3610.90 c CG # pb reforms 0
3600.02/3610.90 c CG # cores discarded because of pb reform 0
3600.02/3610.90 d LOWERBOUND 0
3600.02/3610.90 d NCORES 0
3600.02/3610.90 d NPBCORES 0
3600.02/3610.90 d NPBREFORM 0
3600.02/3610.90 d NTRIMMED 0
3600.02/3610.90 d NEXHAUSTED 0
3600.02/3610.90 d NAM1S 0
3600.02/3610.90 d AM1LB 0
3600.02/3610.90 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62300 MiB free)
memory of node 1: 64465 MiB (41525 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498978-1751408202/watcher-4498978-1751408202 -o /tmp/evaluation-result-4498978-1751408202/solver-4498978-1751408202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751399181-58043 --watchdog 3760 pb-oll-rs HOME/instance-4498978-1751408202.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=59155, runsolver pid=59152
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.09 4.12 4.10 5/268 59156
/proc/meminfo: memFree=106325472/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=24108 memory=12980 CPUtime=0.09 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 1649 0 0 0 8 1 0 0 20 0 1 0 56498069 24686592 3245 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 6027 3245 1344 243 0 2276 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 12980 KiB
[startup+0.206093 s]*
/proc/loadavg: 4.09 4.12 4.10 5/268 59156
/proc/meminfo: memFree=106325344/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=24748 memory=13620 CPUtime=0.2 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 1806 0 0 0 18 2 0 0 20 0 1 0 56498069 25341952 3405 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 6187 3405 1344 243 0 2436 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 24748 KiB
Current children cumulated memory: 13620 KiB
[startup+0.30587 s]*
/proc/loadavg: 4.09 4.12 4.10 5/268 59156
/proc/meminfo: memFree=106325092/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=26304 memory=15540 CPUtime=0.29 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 2272 0 0 0 27 2 0 0 20 0 1 0 56498069 26935296 3885 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 6576 3885 1344 243 0 2825 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26304 KiB
Current children cumulated memory: 15540 KiB
[startup+0.700173 s]
/proc/loadavg: 4.09 4.12 4.10 5/268 59156
/proc/meminfo: memFree=106325092/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=30424 memory=19764 CPUtime=0.68 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 3348 0 0 0 65 3 0 0 20 0 1 0 56498069 31154176 4941 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 7606 4941 1344 243 0 3855 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 30424 KiB
Current children cumulated memory: 19764 KiB
[startup+1.50017 s]
/proc/loadavg: 4.09 4.12 4.10 5/268 59156
/proc/meminfo: memFree=106320996/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=38164 memory=28096 CPUtime=1.48 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 4894 0 0 0 142 6 0 0 20 0 1 0 56498069 39079936 7024 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 9541 7024 1344 243 0 5790 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38164 KiB
Current children cumulated memory: 28096 KiB
[startup+3.1057 s]
/proc/loadavg: 4.08 4.12 4.10 5/267 59156
/proc/meminfo: memFree=106329372/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=48500 memory=34876 CPUtime=3.08 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 6108 0 0 0 300 8 0 0 20 0 1 0 56498069 49664000 8719 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 12125 8719 1344 243 0 8374 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 48500 KiB
Current children cumulated memory: 34876 KiB
[startup+6.30016 s]
/proc/loadavg: 4.08 4.12 4.10 5/267 59156
/proc/meminfo: memFree=106329100/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=52356 memory=40820 CPUtime=6.26 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 7064 0 0 0 611 15 0 0 20 0 1 0 56498069 53612544 10205 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 13089 10205 1344 243 0 9338 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 52356 KiB
Current children cumulated memory: 40820 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.11 4.10 5/267 59156
/proc/meminfo: memFree=105049512/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=73936 memory=56144 CPUtime=12.64 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 9891 0 0 0 1241 23 0 0 20 0 1 0 56498069 75710464 14036 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 18484 14036 1344 243 0 14733 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 73936 KiB
Current children cumulated memory: 56144 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.11 4.09 5/267 59156
/proc/meminfo: memFree=104141636/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=83864 memory=71632 CPUtime=25.41 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 12207 0 0 0 2500 41 0 0 20 0 1 0 56498069 85876736 17908 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 20966 17908 1344 243 0 17215 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 83864 KiB
Current children cumulated memory: 71632 KiB
[startup+51.1057 s]
/proc/loadavg: 4.12 4.12 4.10 5/267 59157
/proc/meminfo: memFree=102733764/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=121432 memory=100724 CPUtime=50.93 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 17031 0 0 0 5014 79 0 0 20 0 1 0 56498069 124346368 25181 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 30358 25181 1344 243 0 26607 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 121432 KiB
Current children cumulated memory: 100724 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/267 59256
/proc/meminfo: memFree=128366720/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=249536 memory=198052 CPUtime=101.99 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 28621 0 0 0 10088 111 0 0 20 0 1 0 56498069 255524864 49513 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 62384 49513 1344 243 0 58633 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 249536 KiB
Current children cumulated memory: 198052 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 59258
/proc/meminfo: memFree=128340928/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=257224 memory=211492 CPUtime=161.8 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 30374 0 0 0 16023 157 0 0 20 0 1 0 56498069 263397376 52873 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 64306 52873 1344 243 0 60555 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 257224 KiB
Current children cumulated memory: 211492 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 59260
/proc/meminfo: memFree=128319728/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=267476 memory=223524 CPUtime=221.61 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 32653 0 0 0 21953 208 0 0 20 0 1 0 56498069 273895424 55881 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 66869 55881 1344 243 0 63118 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 267476 KiB
Current children cumulated memory: 223524 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/267 59351
/proc/meminfo: memFree=128514612/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=286172 memory=237988 CPUtime=281.44 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 36327 0 0 0 27919 225 0 0 20 0 1 0 56498069 293040128 59497 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 71543 59497 1344 243 0 67792 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 286172 KiB
Current children cumulated memory: 237988 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/262 59357
/proc/meminfo: memFree=128464400/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=294700 memory=244768 CPUtime=341.27 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 38269 0 0 0 33857 270 0 0 20 0 1 0 56498069 301772800 61192 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 73675 61192 1344 243 0 69924 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 294700 KiB
Current children cumulated memory: 244768 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/262 59359
/proc/meminfo: memFree=128422656/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=302008 memory=250912 CPUtime=401.11 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 39926 0 0 0 39796 315 0 0 20 0 1 0 56498069 309256192 62728 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 75502 62728 1344 243 0 71751 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 302008 KiB
Current children cumulated memory: 250912 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/262 59361
/proc/meminfo: memFree=128403592/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=310292 memory=261484 CPUtime=460.95 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 41727 0 0 0 45746 349 0 0 20 0 1 0 56498069 317739008 65371 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 77573 65371 1344 243 0 73822 0
################
# More data... #
################
Current children cumulated memory: 720748 KiB
[startup+2922.3 s]
/proc/loadavg: 3.07 3.08 3.24 4/257 59524
/proc/meminfo: memFree=127903692/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=843424 memory=729452 CPUtime=2913.37 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 104979 0 0 0 290226 1111 0 0 20 0 1 0 56498069 863666176 182363 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 210856 182363 1344 243 0 207105 0
Current children cumulated CPU time: 2913.37 s
Current children cumulated vsize: 843424 KiB
Current children cumulated memory: 729452 KiB
[startup+2982.3 s]
/proc/loadavg: 3.14 3.10 3.23 4/257 59526
/proc/meminfo: memFree=127886100/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=847776 memory=748396 CPUtime=2973.2 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 105767 0 0 0 296205 1115 0 0 20 0 1 0 56498069 868122624 187099 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 211944 187099 1344 243 0 208193 0
Current children cumulated CPU time: 2973.2 s
Current children cumulated vsize: 847776 KiB
Current children cumulated memory: 748396 KiB
[startup+3042.3 s]
/proc/loadavg: 3.11 3.09 3.22 4/258 59531
/proc/meminfo: memFree=127881744/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=852640 memory=751340 CPUtime=3033.04 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 106478 0 0 0 302186 1118 0 0 20 0 1 0 56498069 873103360 187835 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 213160 187835 1344 243 0 209409 0
Current children cumulated CPU time: 3033.04 s
Current children cumulated vsize: 852640 KiB
Current children cumulated memory: 751340 KiB
[startup+3102.3 s]
/proc/loadavg: 3.04 3.07 3.20 4/258 59533
/proc/meminfo: memFree=127874084/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=859680 memory=755820 CPUtime=3092.88 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 107601 0 0 0 308167 1121 0 0 20 0 1 0 56498069 880312320 188955 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 214920 188955 1344 243 0 211169 0
Current children cumulated CPU time: 3092.88 s
Current children cumulated vsize: 859680 KiB
Current children cumulated memory: 755820 KiB
[startup+3162.3 s]
/proc/loadavg: 3.11 3.09 3.20 4/258 59535
/proc/meminfo: memFree=127891896/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=871972 memory=763116 CPUtime=3152.71 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 109579 0 0 0 314148 1123 0 0 20 0 1 0 56498069 892899328 190779 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 217993 190779 1344 243 0 214242 0
Current children cumulated CPU time: 3152.71 s
Current children cumulated vsize: 871972 KiB
Current children cumulated memory: 763116 KiB
[startup+3222.3 s]
/proc/loadavg: 3.09 3.09 3.19 4/257 59537
/proc/meminfo: memFree=127840552/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=872484 memory=787988 CPUtime=3212.55 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 109820 0 0 0 320122 1133 0 0 20 0 1 0 56498069 893423616 196997 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 218121 196997 1344 243 0 214370 0
Current children cumulated CPU time: 3212.55 s
Current children cumulated vsize: 872484 KiB
Current children cumulated memory: 787988 KiB
[startup+3282.3 s]
/proc/loadavg: 3.36 3.15 3.20 4/258 59541
/proc/meminfo: memFree=127865344/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=875364 memory=789524 CPUtime=3272.39 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 110231 0 0 0 326101 1138 0 0 20 0 1 0 56498069 896372736 197381 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 218841 197381 1344 243 0 215090 0
Current children cumulated CPU time: 3272.39 s
Current children cumulated vsize: 875364 KiB
Current children cumulated memory: 789524 KiB
[startup+3342.3 s]
/proc/loadavg: 3.25 3.16 3.20 4/257 59543
/proc/meminfo: memFree=127848828/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=879972 memory=794496 CPUtime=3332.22 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 110952 0 0 0 332080 1142 0 0 20 0 1 0 56498069 901091328 198624 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 219993 198624 1344 243 0 216242 0
Current children cumulated CPU time: 3332.22 s
Current children cumulated vsize: 879972 KiB
Current children cumulated memory: 794496 KiB
[startup+3402.3 s]
/proc/loadavg: 3.14 3.15 3.19 4/258 59550
/proc/meminfo: memFree=127799924/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=892900 memory=845584 CPUtime=3392.06 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 112996 0 0 0 338060 1146 0 0 20 0 1 0 56498069 914329600 211396 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 223225 211396 1344 243 0 219474 0
Current children cumulated CPU time: 3392.06 s
Current children cumulated vsize: 892900 KiB
Current children cumulated memory: 845584 KiB
[startup+3462.3 s]
/proc/loadavg: 3.16 3.15 3.18 4/259 59554
/proc/meminfo: memFree=127751208/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=1118556 memory=882820 CPUtime=3451.89 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 115176 0 0 0 344026 1163 0 0 20 0 1 0 56498069 1145401344 220705 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 279639 220705 1344 243 0 275888 0
Current children cumulated CPU time: 3451.89 s
Current children cumulated vsize: 1118556 KiB
Current children cumulated memory: 882820 KiB
[startup+3522.3 s]
/proc/loadavg: 3.06 3.12 3.17 4/260 59557
/proc/meminfo: memFree=127788588/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=1118556 memory=882820 CPUtime=3511.72 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 115177 0 0 0 349977 1195 0 0 20 0 1 0 56498069 1145401344 220705 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 279639 220705 1344 243 0 275888 0
Current children cumulated CPU time: 3511.72 s
Current children cumulated vsize: 1118556 KiB
Current children cumulated memory: 882820 KiB
[startup+3582.3 s]
/proc/loadavg: 3.14 3.13 3.17 4/260 59559
/proc/meminfo: memFree=127752256/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=1118556 memory=882820 CPUtime=3571.53 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 115178 0 0 0 355928 1225 0 0 20 0 1 0 56498069 1145401344 220705 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 279639 220705 1344 243 0 275888 0
Current children cumulated CPU time: 3571.53 s
Current children cumulated vsize: 1118556 KiB
Current children cumulated memory: 882820 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 3.08 3.11 3.16 4/260 59563
/proc/meminfo: memFree=127752640/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=1118556 memory=882820 CPUtime=3600.02 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 115178 0 0 0 358757 1245 0 0 20 0 1 0 56498069 1145401344 220705 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 279639 220705 1344 243 0 275888 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1118556 KiB
Current children cumulated memory: 882820 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.91 s]
# the end of solver process 59155 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.58 s, system=12.4698 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 3.08 3.11 3.16 4/260 59563
/proc/meminfo: memFree=127752640/131249996 swapFree=33005272/33010684
[pid=59155] ppid=59152 vsize=1118556 memory=882820 CPUtime=3600.02 cores=5,7
/proc/59155/stat : 59155 (pb-oll-rs) R 59152 59155 58030 0 -1 4194304 115178 0 0 0 358757 1245 0 0 20 0 1 0 56498069 1145401344 220705 18446744073709551615 4218880 5211445 140722600744752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25227264 140722600753564 140722600753641 140722600753641 140722600759243 0
/proc/59155/statm: 279639 220705 1344 243 0 275888 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1118556 KiB
Current children cumulated memory: 882820 KiB
Child status: 0
Real time (s): 3610.91
CPU time (s): 3600.05
CPU user time (s): 3587.58
CPU system time (s): 12.4698
CPU usage (%): 99.6991
Max. virtual memory (cumulated for all children) (KiB): 1118556
Max. memory (cumulated for all children) (KiB): 882820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.58
system time used= 12.4698
maximum resident set size= 883204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115194
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= 217
involuntary context switches= 20886
# summary of solver processes directly reported to runsolver:
# pid: 59155
# total CPU time (s): 3600.05
# total CPU user time (s): 3587.58
# total CPU system time (s): 12.4698
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.35929 second user time and 16.1285 second system time
The end
Begin job on nodeC023 at 2025-07-02 00:16:42
IDJOB=4498978
IDBENCH=148768
IDSOLVER=3345
FILE ID=nodeC023/4498978-1751408202
RUNJOBID= nodeC023-1751399181-58043
SLURM_JOB_ID= 9598285
Free space on /tmp= 432620 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498978-1751408202/watcher-4498978-1751408202 -o /tmp/evaluation-result-4498978-1751408202/solver-4498978-1751408202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751399181-58043 --watchdog 3760 pb-oll-rs HOME/instance-4498978-1751408202.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=1769819740
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.854
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.901
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3570.838
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.896
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.959
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.866
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.348
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3640.796
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 106318096 kB
MemAvailable: 106509452 kB
Buffers: 1328 kB
Cached: 989536 kB
SwapCached: 372 kB
Active: 22963536 kB
Inactive: 820708 kB
Active(anon): 22752244 kB
Inactive(anon): 54572 kB
Active(file): 211292 kB
Inactive(file): 766136 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005272 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 2412 kB
Writeback: 4 kB
AnonPages: 22794928 kB
Mapped: 103188 kB
Shmem: 13436 kB
KReclaimable: 106332 kB
Slab: 194560 kB
SReclaimable: 106332 kB
SUnreclaim: 88228 kB
KernelStack: 4336 kB
PageTables: 48936 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 25089128 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6631424 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432428 MiB
End job on nodeC023 at 2025-07-02 01:16:53