0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.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.03/46.27 c bounds - >= 9 @ 0.039752
46.03/46.27 c #Conflicts: 1000 | #Constraints: 10185
46.03/46.27 c #Conflicts: 2000 | #Constraints: 11185
46.03/46.27 c INPROCESSING
46.03/46.27 c GARBAGE COLLECT
46.03/46.27 c #Conflicts: 3000 | #Constraints: 2788
46.03/46.27 c #Conflicts: 4000 | #Constraints: 3788
46.03/46.27 c INPROCESSING
46.03/46.27 c GARBAGE COLLECT
46.03/46.27 c #Conflicts: 5000 | #Constraints: 3193
46.03/46.27 c #Conflicts: 6000 | #Constraints: 4193
46.03/46.27 c INPROCESSING
46.03/46.27 c GARBAGE COLLECT
46.03/46.27 c #Conflicts: 7000 | #Constraints: 3202
46.03/46.27 c #Conflicts: 8000 | #Constraints: 4202
46.03/46.27 c #Conflicts: 9000 | #Constraints: 5202
46.03/46.27 c INPROCESSING
46.03/46.27 c GARBAGE COLLECT
46.03/46.27 c #Conflicts: 10000 | #Constraints: 3899
46.03/46.27 c #Conflicts: 11000 | #Constraints: 4899
46.03/46.27 c #Conflicts: 12000 | #Constraints: 5899
46.03/46.27 c INPROCESSING
46.03/46.27 c GARBAGE COLLECT
46.03/46.27 c #Conflicts: 13000 | #Constraints: 4350
46.03/46.27 c #Conflicts: 14000 | #Constraints: 5350
46.03/46.27 c #Conflicts: 15000 | #Constraints: 6350
46.03/46.27 c INPROCESSING
46.03/46.27 c GARBAGE COLLECT
46.03/46.27 c #Conflicts: 16000 | #Constraints: 4580
46.03/46.27 c #Conflicts: 17000 | #Constraints: 5580
46.03/46.27 c #Conflicts: 18000 | #Constraints: 6580
46.03/46.27 c INPROCESSING
46.03/46.27 c GARBAGE COLLECT
46.03/46.27 c #Conflicts: 19000 | #Constraints: 4595
46.03/46.27 c #Conflicts: 20000 | #Constraints: 5595
46.03/46.27 c #Conflicts: 21000 | #Constraints: 6595
46.03/46.27 c INPROCESSING
46.03/46.27 c GARBAGE COLLECT
46.03/46.27 c #Conflicts: 22000 | #Constraints: 4391
46.03/46.27 c #Conflicts: 23000 | #Constraints: 5391
46.03/46.27 c #Conflicts: 24000 | #Constraints: 6391
46.03/46.27 c #Conflicts: 25000 | #Constraints: 7391
46.03/46.27 c INPROCESSING
46.03/46.27 c GARBAGE COLLECT
46.03/46.27 c #Conflicts: 26000 | #Constraints: 4993
46.03/46.27 c #Conflicts: 27000 | #Constraints: 5993
46.03/46.27 c #Conflicts: 28000 | #Constraints: 6993
46.03/46.27 c #Conflicts: 29000 | #Constraints: 7993
46.03/46.27 c INPROCESSING
46.03/46.27 c GARBAGE COLLECT
46.03/46.27 c #Conflicts: 30000 | #Constraints: 5390
46.03/46.27 c #Conflicts: 31000 | #Constraints: 6390
46.03/46.27 c #Conflicts: 32000 | #Constraints: 7390
46.03/46.27 c #Conflicts: 33000 | #Constraints: 8390
46.03/46.27 c INPROCESSING
46.03/46.27 c GARBAGE COLLECT
46.03/46.27 c #Conflicts: 34000 | #Constraints: 5599
46.03/46.27 c #Conflicts: 35000 | #Constraints: 6599
46.03/46.27 c #Conflicts: 36000 | #Constraints: 7599
46.03/46.27 c #Conflicts: 37000 | #Constraints: 8599
46.03/46.27 c INPROCESSING
46.03/46.27 c GARBAGE COLLECT
46.03/46.27 c #Conflicts: 38000 | #Constraints: 5604
46.03/46.27 c #Conflicts: 39000 | #Constraints: 6604
46.03/46.27 c #Conflicts: 40000 | #Constraints: 7604
46.03/46.27 c #Conflicts: 41000 | #Constraints: 8604
46.03/46.27 c INPROCESSING
46.03/46.27 c GARBAGE COLLECT
46.03/46.27 c #Conflicts: 42000 | #Constraints: 5418
46.03/46.27 c #Conflicts: 43000 | #Constraints: 6418
46.03/46.27 c #Conflicts: 44000 | #Constraints: 7418
46.03/46.27 c #Conflicts: 45000 | #Constraints: 8418
46.03/46.27 c #Conflicts: 46000 | #Constraints: 9418
46.03/46.27 c INPROCESSING
46.03/46.27 c GARBAGE COLLECT
46.03/46.27 c #Conflicts: 47000 | #Constraints: 6004
46.03/46.27 c #Conflicts: 48000 | #Constraints: 7004
46.03/46.27 c #Conflicts: 49000 | #Constraints: 8004
46.03/46.27 c #Conflicts: 50000 | #Constraints: 9004
46.03/46.27 c #Conflicts: 51000 | #Constraints: 10004
46.03/46.27 c INPROCESSING
46.03/46.27 c GARBAGE COLLECT
46.03/46.27 c #Conflicts: 52000 | #Constraints: 6418
46.03/46.27 c #Conflicts: 53000 | #Constraints: 7418
46.03/46.27 c #Conflicts: 54000 | #Constraints: 8418
46.03/46.27 c #Conflicts: 55000 | #Constraints: 9418
46.03/46.27 c #Conflicts: 56000 | #Constraints: 10418
46.03/46.27 c INPROCESSING
46.03/46.27 c GARBAGE COLLECT
46.03/46.27 c #Conflicts: 57000 | #Constraints: 6608
46.03/46.27 c #Conflicts: 58000 | #Constraints: 7608
46.03/46.27 c #Conflicts: 59000 | #Constraints: 8608
46.03/46.27 c #Conflicts: 60000 | #Constraints: 9608
46.03/46.27 c #Conflicts: 61000 | #Constraints: 10608
46.03/46.27 c INPROCESSING
46.03/46.27 c GARBAGE COLLECT
46.03/46.27 c #Conflicts: 62000 | #Constraints: 6613
46.03/46.27 c #Conflicts: 63000 | #Constraints: 7613
46.03/46.27 c #Conflicts: 64000 | #Constraints: 8613
46.03/46.27 c #Conflicts: 65000 | #Constraints: 9613
46.03/46.27 c #Conflicts: 66000 | #Constraints: 10613
46.03/46.27 c INPROCESSING
46.03/46.27 c GARBAGE COLLECT
46.03/46.27 c #Conflicts: 67000 | #Constraints: 6410
138.31/138.88 c #Conflicts: 68000 | #Constraints: 7410
138.31/138.88 c #Conflicts: 69000 | #Constraints: 8410
138.31/138.88 c #Conflicts: 70000 | #Constraints: 9410
138.31/138.88 c #Conflicts: 71000 | #Constraints: 10410
138.31/138.88 c #Conflicts: 72000 | #Constraints: 11410
138.31/138.88 c INPROCESSING
138.31/138.88 c GARBAGE COLLECT
138.31/138.88 c #Conflicts: 73000 | #Constraints: 6998
138.31/138.88 c #Conflicts: 74000 | #Constraints: 7998
138.31/138.88 c #Conflicts: 75000 | #Constraints: 8998
138.31/138.88 c #Conflicts: 76000 | #Constraints: 9998
138.31/138.88 c #Conflicts: 77000 | #Constraints: 10998
138.31/138.88 c #Conflicts: 78000 | #Constraints: 11998
138.31/138.88 c INPROCESSING
138.31/138.88 c GARBAGE COLLECT
138.31/138.88 c #Conflicts: 79000 | #Constraints: 7406
138.31/138.88 c #Conflicts: 80000 | #Constraints: 8406
138.31/138.88 c #Conflicts: 81000 | #Constraints: 9406
138.31/138.88 c #Conflicts: 82000 | #Constraints: 10406
138.31/138.88 c #Conflicts: 83000 | #Constraints: 11406
138.31/138.88 c #Conflicts: 84000 | #Constraints: 12406
138.31/138.88 c INPROCESSING
138.31/138.88 c GARBAGE COLLECT
138.31/138.88 c #Conflicts: 85000 | #Constraints: 7609
138.31/138.88 c #Conflicts: 86000 | #Constraints: 8609
138.31/138.88 c #Conflicts: 87000 | #Constraints: 9609
138.31/138.88 c #Conflicts: 88000 | #Constraints: 10609
138.31/138.88 c #Conflicts: 89000 | #Constraints: 11609
138.31/138.88 c #Conflicts: 90000 | #Constraints: 12609
138.31/138.88 c INPROCESSING
138.31/138.88 c GARBAGE COLLECT
138.31/138.88 c #Conflicts: 91000 | #Constraints: 7610
138.31/138.88 c #Conflicts: 92000 | #Constraints: 8610
138.31/138.88 c #Conflicts: 93000 | #Constraints: 9610
138.31/138.88 c #Conflicts: 94000 | #Constraints: 10610
138.31/138.88 c #Conflicts: 95000 | #Constraints: 11610
138.31/138.88 c #Conflicts: 96000 | #Constraints: 12610
138.31/138.88 c INPROCESSING
138.31/138.88 c GARBAGE COLLECT
138.31/138.88 c #Conflicts: 97000 | #Constraints: 7428
138.31/138.88 c #Conflicts: 98000 | #Constraints: 8428
138.31/138.88 c #Conflicts: 99000 | #Constraints: 9428
138.31/138.88 c #Conflicts: 100000 | #Constraints: 10428
138.31/138.88 c #Conflicts: 101000 | #Constraints: 11428
138.31/138.88 c #Conflicts: 102000 | #Constraints: 12428
138.31/138.88 c #Conflicts: 103000 | #Constraints: 13428
138.31/138.88 c INPROCESSING
138.31/138.88 c GARBAGE COLLECT
138.31/138.88 c #Conflicts: 104000 | #Constraints: 8009
138.31/138.88 c #Conflicts: 105000 | #Constraints: 9009
138.31/138.88 c #Conflicts: 106000 | #Constraints: 10009
138.31/138.88 c #Conflicts: 107000 | #Constraints: 11009
138.31/138.88 c #Conflicts: 108000 | #Constraints: 12009
138.31/138.88 c #Conflicts: 109000 | #Constraints: 13009
138.31/138.88 c #Conflicts: 110000 | #Constraints: 14009
138.31/138.88 c INPROCESSING
138.31/138.88 c GARBAGE COLLECT
138.31/138.88 c #Conflicts: 111000 | #Constraints: 8408
138.31/138.88 c #Conflicts: 112000 | #Constraints: 9408
138.31/138.88 c #Conflicts: 113000 | #Constraints: 10408
138.31/138.88 c #Conflicts: 114000 | #Constraints: 11408
138.31/138.88 c #Conflicts: 115000 | #Constraints: 12408
138.31/138.88 c #Conflicts: 116000 | #Constraints: 13408
138.31/138.88 c #Conflicts: 117000 | #Constraints: 14408
138.31/138.88 c INPROCESSING
138.31/138.88 c GARBAGE COLLECT
138.31/138.88 c #Conflicts: 118000 | #Constraints: 8609
138.31/138.88 c #Conflicts: 119000 | #Constraints: 9609
138.31/138.88 c #Conflicts: 120000 | #Constraints: 10609
138.31/138.88 c #Conflicts: 121000 | #Constraints: 11609
138.31/138.88 c #Conflicts: 122000 | #Constraints: 12609
138.31/138.88 c #Conflicts: 123000 | #Constraints: 13609
138.31/138.88 c #Conflicts: 124000 | #Constraints: 14609
138.31/138.88 c INPROCESSING
138.31/138.88 c GARBAGE COLLECT
138.31/138.88 c #Conflicts: 125000 | #Constraints: 8618
138.31/138.88 c #Conflicts: 126000 | #Constraints: 9618
138.31/138.88 c #Conflicts: 127000 | #Constraints: 10618
138.31/138.88 c #Conflicts: 128000 | #Constraints: 11618
138.31/138.88 c #Conflicts: 129000 | #Constraints: 12618
138.31/138.88 c #Conflicts: 130000 | #Constraints: 13618
138.31/138.88 c #Conflicts: 131000 | #Constraints: 14618
138.31/138.88 c INPROCESSING
138.31/138.88 c GARBAGE COLLECT
138.31/138.88 c #Conflicts: 132000 | #Constraints: 8414
138.31/138.88 c #Conflicts: 133000 | #Constraints: 9414
138.31/138.88 c #Conflicts: 134000 | #Constraints: 10414
138.31/138.88 c #Conflicts: 135000 | #Constraints: 11414
138.31/138.88 c #Conflicts: 136000 | #Constraints: 12414
138.31/138.88 c #Conflicts: 137000 | #Constraints: 13414
138.31/138.88 c #Conflicts: 138000 | #Constraints: 14414
138.31/138.88 c #Conflicts: 139000 | #Constraints: 15414
138.31/138.88 c INPROCESSING
272.33/273.32 c GARBAGE COLLECT
272.33/273.32 c #Conflicts: 140000 | #Constraints: 9013
272.33/273.32 c #Conflicts: 141000 | #Constraints: 10013
272.33/273.32 c #Conflicts: 142000 | #Constraints: 11013
272.33/273.32 c #Conflicts: 143000 | #Constraints: 12013
272.33/273.32 c #Conflicts: 144000 | #Constraints: 13013
272.33/273.32 c #Conflicts: 145000 | #Constraints: 14013
272.33/273.32 c #Conflicts: 146000 | #Constraints: 15013
272.33/273.32 c #Conflicts: 147000 | #Constraints: 16013
272.33/273.32 c INPROCESSING
272.33/273.32 c GARBAGE COLLECT
272.33/273.32 c #Conflicts: 148000 | #Constraints: 9434
272.33/273.32 c #Conflicts: 149000 | #Constraints: 10434
272.33/273.32 c #Conflicts: 150000 | #Constraints: 11434
272.33/273.32 c #Conflicts: 151000 | #Constraints: 12434
272.33/273.32 c #Conflicts: 152000 | #Constraints: 13434
272.33/273.32 c #Conflicts: 153000 | #Constraints: 14434
272.33/273.32 c #Conflicts: 154000 | #Constraints: 15434
272.33/273.32 c #Conflicts: 155000 | #Constraints: 16434
272.33/273.32 c INPROCESSING
272.33/273.32 c GARBAGE COLLECT
272.33/273.32 c #Conflicts: 156000 | #Constraints: 9620
272.33/273.32 c #Conflicts: 157000 | #Constraints: 10620
272.33/273.32 c #Conflicts: 158000 | #Constraints: 11620
272.33/273.32 c #Conflicts: 159000 | #Constraints: 12620
272.33/273.32 c #Conflicts: 160000 | #Constraints: 13620
272.33/273.32 c #Conflicts: 161000 | #Constraints: 14620
272.33/273.32 c #Conflicts: 162000 | #Constraints: 15620
272.33/273.32 c #Conflicts: 163000 | #Constraints: 16620
272.33/273.32 c INPROCESSING
272.33/273.32 c GARBAGE COLLECT
272.33/273.32 c #Conflicts: 164000 | #Constraints: 9619
272.33/273.32 c #Conflicts: 165000 | #Constraints: 10619
272.33/273.32 c #Conflicts: 166000 | #Constraints: 11619
272.33/273.32 c #Conflicts: 167000 | #Constraints: 12619
272.33/273.32 c #Conflicts: 168000 | #Constraints: 13619
272.33/273.32 c #Conflicts: 169000 | #Constraints: 14619
272.33/273.32 c #Conflicts: 170000 | #Constraints: 15619
272.33/273.32 c #Conflicts: 171000 | #Constraints: 16619
272.33/273.32 c INPROCESSING
272.33/273.32 c GARBAGE COLLECT
272.33/273.32 c #Conflicts: 172000 | #Constraints: 9409
272.33/273.32 c #Conflicts: 173000 | #Constraints: 10409
272.33/273.32 c #Conflicts: 174000 | #Constraints: 11409
272.33/273.32 c #Conflicts: 175000 | #Constraints: 12409
272.33/273.32 c #Conflicts: 176000 | #Constraints: 13409
272.33/273.32 c #Conflicts: 177000 | #Constraints: 14409
272.33/273.32 c #Conflicts: 178000 | #Constraints: 15409
272.33/273.32 c #Conflicts: 179000 | #Constraints: 16409
272.33/273.32 c #Conflicts: 180000 | #Constraints: 17409
272.33/273.32 c INPROCESSING
272.33/273.32 c GARBAGE COLLECT
272.33/273.32 c #Conflicts: 181000 | #Constraints: 10015
272.33/273.32 c #Conflicts: 182000 | #Constraints: 11015
272.33/273.32 c #Conflicts: 183000 | #Constraints: 12015
272.33/273.32 c #Conflicts: 184000 | #Constraints: 13015
272.33/273.32 c #Conflicts: 185000 | #Constraints: 14015
272.33/273.32 c #Conflicts: 186000 | #Constraints: 15015
272.33/273.32 c #Conflicts: 187000 | #Constraints: 16015
272.33/273.32 c #Conflicts: 188000 | #Constraints: 17015
272.33/273.32 c #Conflicts: 189000 | #Constraints: 18015
272.33/273.32 c INPROCESSING
272.33/273.32 c GARBAGE COLLECT
272.33/273.32 c #Conflicts: 190000 | #Constraints: 10425
272.33/273.32 c #Conflicts: 191000 | #Constraints: 11425
272.33/273.32 c #Conflicts: 192000 | #Constraints: 12425
272.33/273.32 c #Conflicts: 193000 | #Constraints: 13425
272.33/273.32 c #Conflicts: 194000 | #Constraints: 14425
272.33/273.32 c #Conflicts: 195000 | #Constraints: 15425
272.33/273.32 c #Conflicts: 196000 | #Constraints: 16425
272.33/273.32 c #Conflicts: 197000 | #Constraints: 17425
272.33/273.32 c #Conflicts: 198000 | #Constraints: 18425
272.33/273.32 c INPROCESSING
272.33/273.32 c GARBAGE COLLECT
272.33/273.32 c #Conflicts: 199000 | #Constraints: 10641
272.33/273.32 c #Conflicts: 200000 | #Constraints: 11641
272.33/273.32 c #Conflicts: 201000 | #Constraints: 12641
272.33/273.32 c #Conflicts: 202000 | #Constraints: 13641
272.33/273.32 c #Conflicts: 203000 | #Constraints: 14641
272.33/273.32 c #Conflicts: 204000 | #Constraints: 15641
272.33/273.32 c #Conflicts: 205000 | #Constraints: 16641
272.33/273.32 c #Conflicts: 206000 | #Constraints: 17641
272.33/273.32 c #Conflicts: 207000 | #Constraints: 18641
272.33/273.32 c INPROCESSING
272.33/273.32 c GARBAGE COLLECT
272.33/273.32 c #Conflicts: 208000 | #Constraints: 10639
272.33/273.32 c #Conflicts: 209000 | #Constraints: 11639
272.33/273.32 c #Conflicts: 210000 | #Constraints: 12639
272.33/273.32 c #Conflicts: 211000 | #Constraints: 13639
272.33/273.32 c #Conflicts: 212000 | #Constraints: 14639
272.33/273.32 c #Conflicts: 213000 | #Constraints: 15639
405.95/407.47 c #Conflicts: 214000 | #Constraints: 16639
405.95/407.47 c #Conflicts: 215000 | #Constraints: 17639
405.95/407.47 c #Conflicts: 216000 | #Constraints: 18639
405.95/407.47 c INPROCESSING
405.95/407.47 c GARBAGE COLLECT
405.95/407.47 c #Conflicts: 217000 | #Constraints: 10441
405.95/407.47 c #Conflicts: 218000 | #Constraints: 11441
405.95/407.47 c #Conflicts: 219000 | #Constraints: 12441
405.95/407.47 c #Conflicts: 220000 | #Constraints: 13441
405.95/407.47 c #Conflicts: 221000 | #Constraints: 14441
405.95/407.47 c #Conflicts: 222000 | #Constraints: 15441
405.95/407.47 c #Conflicts: 223000 | #Constraints: 16441
405.95/407.47 c #Conflicts: 224000 | #Constraints: 17441
405.95/407.47 c #Conflicts: 225000 | #Constraints: 18441
405.95/407.47 c #Conflicts: 226000 | #Constraints: 19441
405.95/407.47 c INPROCESSING
405.95/407.47 c GARBAGE COLLECT
405.95/407.47 c #Conflicts: 227000 | #Constraints: 11067
405.95/407.47 c #Conflicts: 228000 | #Constraints: 12067
405.95/407.47 c #Conflicts: 229000 | #Constraints: 13067
405.95/407.47 c #Conflicts: 230000 | #Constraints: 14067
405.95/407.47 c #Conflicts: 231000 | #Constraints: 15067
405.95/407.47 c #Conflicts: 232000 | #Constraints: 16067
405.95/407.47 c #Conflicts: 233000 | #Constraints: 17067
405.95/407.47 c #Conflicts: 234000 | #Constraints: 18067
405.95/407.47 c #Conflicts: 235000 | #Constraints: 19067
405.95/407.47 c #Conflicts: 236000 | #Constraints: 20067
405.95/407.47 c INPROCESSING
405.95/407.47 c GARBAGE COLLECT
405.95/407.47 c #Conflicts: 237000 | #Constraints: 11440
405.95/407.47 c #Conflicts: 238000 | #Constraints: 12440
405.95/407.47 c #Conflicts: 239000 | #Constraints: 13440
405.95/407.47 c #Conflicts: 240000 | #Constraints: 14440
405.95/407.47 c #Conflicts: 241000 | #Constraints: 15440
405.95/407.47 c #Conflicts: 242000 | #Constraints: 16440
405.95/407.47 c #Conflicts: 243000 | #Constraints: 17440
405.95/407.47 c #Conflicts: 244000 | #Constraints: 18440
405.95/407.47 c #Conflicts: 245000 | #Constraints: 19440
405.95/407.47 c #Conflicts: 246000 | #Constraints: 20440
405.95/407.47 c INPROCESSING
405.95/407.47 c GARBAGE COLLECT
405.95/407.47 c #Conflicts: 247000 | #Constraints: 11622
405.95/407.47 c #Conflicts: 248000 | #Constraints: 12622
405.95/407.47 c #Conflicts: 249000 | #Constraints: 13622
405.95/407.47 c #Conflicts: 250000 | #Constraints: 14622
405.95/407.47 c #Conflicts: 251000 | #Constraints: 15622
405.95/407.47 c #Conflicts: 252000 | #Constraints: 16622
405.95/407.47 c #Conflicts: 253000 | #Constraints: 17622
405.95/407.47 c #Conflicts: 254000 | #Constraints: 18622
405.95/407.47 c #Conflicts: 255000 | #Constraints: 19622
405.95/407.47 c #Conflicts: 256000 | #Constraints: 20622
405.95/407.47 c INPROCESSING
405.95/407.47 c GARBAGE COLLECT
405.95/407.47 c #Conflicts: 257000 | #Constraints: 11616
405.95/407.47 c #Conflicts: 258000 | #Constraints: 12616
405.95/407.47 c #Conflicts: 259000 | #Constraints: 13616
405.95/407.47 c #Conflicts: 260000 | #Constraints: 14616
405.95/407.47 c #Conflicts: 261000 | #Constraints: 15616
405.95/407.47 c #Conflicts: 262000 | #Constraints: 16616
405.95/407.47 c #Conflicts: 263000 | #Constraints: 17616
405.95/407.47 c #Conflicts: 264000 | #Constraints: 18616
405.95/407.47 c #Conflicts: 265000 | #Constraints: 19616
405.95/407.47 c #Conflicts: 266000 | #Constraints: 20616
405.95/407.47 c INPROCESSING
405.95/407.47 c GARBAGE COLLECT
405.95/407.47 c #Conflicts: 267000 | #Constraints: 11409
405.95/407.47 c #Conflicts: 268000 | #Constraints: 12409
405.95/407.47 c #Conflicts: 269000 | #Constraints: 13409
405.95/407.47 c #Conflicts: 270000 | #Constraints: 14409
405.95/407.47 c #Conflicts: 271000 | #Constraints: 15409
405.95/407.47 c #Conflicts: 272000 | #Constraints: 16409
405.95/407.47 c #Conflicts: 273000 | #Constraints: 17409
405.95/407.47 c #Conflicts: 274000 | #Constraints: 18409
405.95/407.47 c #Conflicts: 275000 | #Constraints: 19409
405.95/407.47 c #Conflicts: 276000 | #Constraints: 20409
405.95/407.47 c #Conflicts: 277000 | #Constraints: 21409
405.95/407.47 c INPROCESSING
405.95/407.47 c GARBAGE COLLECT
405.95/407.47 c #Conflicts: 278000 | #Constraints: 12001
405.95/407.47 c #Conflicts: 279000 | #Constraints: 13001
405.95/407.47 c #Conflicts: 280000 | #Constraints: 14001
405.95/407.47 c #Conflicts: 281000 | #Constraints: 15001
405.95/407.47 c #Conflicts: 282000 | #Constraints: 16001
405.95/407.47 c #Conflicts: 283000 | #Constraints: 17001
405.95/407.47 c #Conflicts: 284000 | #Constraints: 18001
405.95/407.47 c #Conflicts: 285000 | #Constraints: 19001
405.95/407.47 c #Conflicts: 286000 | #Constraints: 20001
405.95/407.47 c #Conflicts: 287000 | #Constraints: 21001
509.90/511.71 c #Conflicts: 288000 | #Constraints: 22001
509.90/511.71 c INPROCESSING
509.90/511.71 c GARBAGE COLLECT
509.90/511.71 c #Conflicts: 289000 | #Constraints: 12401
509.90/511.71 c #Conflicts: 290000 | #Constraints: 13401
509.90/511.71 c #Conflicts: 291000 | #Constraints: 14401
509.90/511.71 c #Conflicts: 292000 | #Constraints: 15401
509.90/511.71 c #Conflicts: 293000 | #Constraints: 16401
509.90/511.71 c #Conflicts: 294000 | #Constraints: 17401
509.90/511.71 c #Conflicts: 295000 | #Constraints: 18401
509.90/511.71 c #Conflicts: 296000 | #Constraints: 19401
509.90/511.71 c #Conflicts: 297000 | #Constraints: 20401
509.90/511.71 c #Conflicts: 298000 | #Constraints: 21401
509.90/511.71 c #Conflicts: 299000 | #Constraints: 22401
509.90/511.71 c INPROCESSING
509.90/511.71 c GARBAGE COLLECT
509.90/511.71 c #Conflicts: 300000 | #Constraints: 12610
509.90/511.71 c #Conflicts: 301000 | #Constraints: 13610
509.90/511.71 c #Conflicts: 302000 | #Constraints: 14610
509.90/511.71 c #Conflicts: 303000 | #Constraints: 15610
509.90/511.71 c #Conflicts: 304000 | #Constraints: 16610
509.90/511.71 c #Conflicts: 305000 | #Constraints: 17610
509.90/511.71 c #Conflicts: 306000 | #Constraints: 18610
509.90/511.71 c #Conflicts: 307000 | #Constraints: 19610
509.90/511.71 c #Conflicts: 308000 | #Constraints: 20610
509.90/511.71 c #Conflicts: 309000 | #Constraints: 21610
509.90/511.71 c #Conflicts: 310000 | #Constraints: 22610
509.90/511.71 c INPROCESSING
509.90/511.71 c GARBAGE COLLECT
509.90/511.71 c #Conflicts: 311000 | #Constraints: 12615
509.90/511.71 c #Conflicts: 312000 | #Constraints: 13615
509.90/511.71 c #Conflicts: 313000 | #Constraints: 14615
509.90/511.71 c #Conflicts: 314000 | #Constraints: 15615
509.90/511.71 c #Conflicts: 315000 | #Constraints: 16615
509.90/511.71 c #Conflicts: 316000 | #Constraints: 17615
509.90/511.71 c #Conflicts: 317000 | #Constraints: 18615
509.90/511.71 c #Conflicts: 318000 | #Constraints: 19615
509.90/511.71 c #Conflicts: 319000 | #Constraints: 20615
509.90/511.71 c #Conflicts: 320000 | #Constraints: 21615
509.90/511.71 c #Conflicts: 321000 | #Constraints: 22615
509.90/511.71 c INPROCESSING
509.90/511.71 c GARBAGE COLLECT
509.90/511.71 c #Conflicts: 322000 | #Constraints: 12420
509.90/511.71 c #Conflicts: 323000 | #Constraints: 13420
509.90/511.71 c #Conflicts: 324000 | #Constraints: 14420
509.90/511.71 c #Conflicts: 325000 | #Constraints: 15420
509.90/511.71 c #Conflicts: 326000 | #Constraints: 16420
509.90/511.71 c #Conflicts: 327000 | #Constraints: 17420
509.90/511.71 c #Conflicts: 328000 | #Constraints: 18420
509.90/511.71 c #Conflicts: 329000 | #Constraints: 19420
509.90/511.71 c #Conflicts: 330000 | #Constraints: 20420
509.90/511.71 c #Conflicts: 331000 | #Constraints: 21420
509.90/511.71 c #Conflicts: 332000 | #Constraints: 22420
509.90/511.71 c #Conflicts: 333000 | #Constraints: 23420
509.90/511.71 c INPROCESSING
509.90/511.71 c GARBAGE COLLECT
509.90/511.71 c #Conflicts: 334000 | #Constraints: 13004
509.90/511.71 c #Conflicts: 335000 | #Constraints: 14004
509.90/511.71 c #Conflicts: 336000 | #Constraints: 15004
509.90/511.71 c #Conflicts: 337000 | #Constraints: 16004
509.90/511.71 c #Conflicts: 338000 | #Constraints: 17004
509.90/511.71 c #Conflicts: 339000 | #Constraints: 18004
509.90/511.71 c #Conflicts: 340000 | #Constraints: 19004
509.90/511.71 c #Conflicts: 341000 | #Constraints: 20004
509.90/511.71 c #Conflicts: 342000 | #Constraints: 21004
509.90/511.71 c #Conflicts: 343000 | #Constraints: 22004
509.90/511.71 c #Conflicts: 344000 | #Constraints: 23004
509.90/511.71 c #Conflicts: 345000 | #Constraints: 24004
509.90/511.71 c INPROCESSING
509.90/511.71 c GARBAGE COLLECT
509.90/511.71 c #Conflicts: 346000 | #Constraints: 13409
509.90/511.71 c #Conflicts: 347000 | #Constraints: 14409
509.90/511.71 c #Conflicts: 348000 | #Constraints: 15409
509.90/511.71 c #Conflicts: 349000 | #Constraints: 16409
509.90/511.71 c #Conflicts: 350000 | #Constraints: 17409
509.90/511.71 c #Conflicts: 351000 | #Constraints: 18409
509.90/511.71 c #Conflicts: 352000 | #Constraints: 19409
509.90/511.71 c #Conflicts: 353000 | #Constraints: 20409
509.90/511.71 c #Conflicts: 354000 | #Constraints: 21409
509.90/511.71 c #Conflicts: 355000 | #Constraints: 22409
509.90/511.71 c #Conflicts: 356000 | #Constraints: 23409
509.90/511.71 c #Conflicts: 357000 | #Constraints: 24409
509.90/511.71 c INPROCESSING
509.90/511.71 c GARBAGE COLLECT
509.90/511.71 c #Conflicts: 358000 | #Constraints: 13605
509.90/511.71 c #Conflicts: 359000 | #Constraints: 14605
509.90/511.71 c #Conflicts: 360000 | #Constraints: 15605
509.90/511.71 c #Conflicts: 361000 | #Constraints: 16605
690.89/693.32 c #Conflicts: 362000 | #Constraints: 17605
690.89/693.32 c #Conflicts: 363000 | #Constraints: 18605
690.89/693.32 c #Conflicts: 364000 | #Constraints: 19605
690.89/693.32 c #Conflicts: 365000 | #Constraints: 20605
690.89/693.32 c #Conflicts: 366000 | #Constraints: 21605
690.89/693.32 c #Conflicts: 367000 | #Constraints: 22605
690.89/693.32 c #Conflicts: 368000 | #Constraints: 23605
690.89/693.32 c #Conflicts: 369000 | #Constraints: 24605
690.89/693.32 c INPROCESSING
690.89/693.32 c GARBAGE COLLECT
690.89/693.32 c #Conflicts: 370000 | #Constraints: 13606
690.89/693.32 c #Conflicts: 371000 | #Constraints: 14606
690.89/693.32 c #Conflicts: 372000 | #Constraints: 15606
690.89/693.32 c #Conflicts: 373000 | #Constraints: 16606
690.89/693.32 c #Conflicts: 374000 | #Constraints: 17606
690.89/693.32 c #Conflicts: 375000 | #Constraints: 18606
690.89/693.32 c #Conflicts: 376000 | #Constraints: 19606
690.89/693.32 c #Conflicts: 377000 | #Constraints: 20606
690.89/693.32 c #Conflicts: 378000 | #Constraints: 21606
690.89/693.32 c #Conflicts: 379000 | #Constraints: 22606
690.89/693.32 c #Conflicts: 380000 | #Constraints: 23606
690.89/693.32 c #Conflicts: 381000 | #Constraints: 24606
690.89/693.32 c INPROCESSING
690.89/693.32 c GARBAGE COLLECT
690.89/693.32 c #Conflicts: 382000 | #Constraints: 13408
690.89/693.32 c #Conflicts: 383000 | #Constraints: 14408
690.89/693.32 c #Conflicts: 384000 | #Constraints: 15408
690.89/693.32 c #Conflicts: 385000 | #Constraints: 16408
690.89/693.32 c #Conflicts: 386000 | #Constraints: 17408
690.89/693.32 c #Conflicts: 387000 | #Constraints: 18408
690.89/693.32 c #Conflicts: 388000 | #Constraints: 19408
690.89/693.32 c #Conflicts: 389000 | #Constraints: 20408
690.89/693.32 c #Conflicts: 390000 | #Constraints: 21408
690.89/693.32 c #Conflicts: 391000 | #Constraints: 22408
690.89/693.32 c #Conflicts: 392000 | #Constraints: 23408
690.89/693.32 c #Conflicts: 393000 | #Constraints: 24408
690.89/693.32 c #Conflicts: 394000 | #Constraints: 25408
690.89/693.32 c INPROCESSING
690.89/693.32 c GARBAGE COLLECT
690.89/693.32 c #Conflicts: 395000 | #Constraints: 14000
690.89/693.32 c #Conflicts: 396000 | #Constraints: 15000
690.89/693.32 c #Conflicts: 397000 | #Constraints: 16000
690.89/693.32 c #Conflicts: 398000 | #Constraints: 17000
690.89/693.32 c #Conflicts: 399000 | #Constraints: 18000
690.89/693.32 c #Conflicts: 400000 | #Constraints: 19000
690.89/693.32 c #Conflicts: 401000 | #Constraints: 20000
690.89/693.32 c #Conflicts: 402000 | #Constraints: 21000
690.89/693.32 c #Conflicts: 403000 | #Constraints: 22000
690.89/693.32 c #Conflicts: 404000 | #Constraints: 23000
690.89/693.32 c #Conflicts: 405000 | #Constraints: 24000
690.89/693.32 c #Conflicts: 406000 | #Constraints: 25000
690.89/693.32 c #Conflicts: 407000 | #Constraints: 26000
690.89/693.32 c INPROCESSING
690.89/693.32 c GARBAGE COLLECT
690.89/693.32 c #Conflicts: 408000 | #Constraints: 14400
690.89/693.32 c #Conflicts: 409000 | #Constraints: 15400
690.89/693.32 c #Conflicts: 410000 | #Constraints: 16400
690.89/693.32 c #Conflicts: 411000 | #Constraints: 17400
690.89/693.32 c #Conflicts: 412000 | #Constraints: 18400
690.89/693.32 c #Conflicts: 413000 | #Constraints: 19400
690.89/693.32 c #Conflicts: 414000 | #Constraints: 20400
690.89/693.32 c #Conflicts: 415000 | #Constraints: 21400
690.89/693.32 c #Conflicts: 416000 | #Constraints: 22400
690.89/693.32 c #Conflicts: 417000 | #Constraints: 23400
690.89/693.32 c #Conflicts: 418000 | #Constraints: 24400
690.89/693.32 c #Conflicts: 419000 | #Constraints: 25400
690.89/693.32 c #Conflicts: 420000 | #Constraints: 26400
690.89/693.32 c INPROCESSING
690.89/693.32 c GARBAGE COLLECT
690.89/693.32 c #Conflicts: 421000 | #Constraints: 14636
690.89/693.32 c #Conflicts: 422000 | #Constraints: 15636
690.89/693.32 c #Conflicts: 423000 | #Constraints: 16636
690.89/693.32 c #Conflicts: 424000 | #Constraints: 17636
690.89/693.32 c #Conflicts: 425000 | #Constraints: 18636
690.89/693.32 c #Conflicts: 426000 | #Constraints: 19636
690.89/693.32 c #Conflicts: 427000 | #Constraints: 20636
690.89/693.32 c #Conflicts: 428000 | #Constraints: 21636
690.89/693.32 c #Conflicts: 429000 | #Constraints: 22636
690.89/693.32 c #Conflicts: 430000 | #Constraints: 23636
690.89/693.32 c #Conflicts: 431000 | #Constraints: 24636
690.89/693.32 c #Conflicts: 432000 | #Constraints: 25636
690.89/693.32 c #Conflicts: 433000 | #Constraints: 26636
690.89/693.32 c INPROCESSING
690.89/693.32 c GARBAGE COLLECT
690.89/693.32 c #Conflicts: 434000 | #Constraints: 14682
690.89/693.32 c #Conflicts: 435000 | #Constraints: 15682
690.89/693.32 c #Conflicts: 436000 | #Constraints: 16682
1066.43/1070.16 c #Conflicts: 437000 | #Constraints: 17682
1066.43/1070.16 c #Conflicts: 438000 | #Constraints: 18682
1066.43/1070.16 c #Conflicts: 439000 | #Constraints: 19682
1066.43/1070.16 c #Conflicts: 440000 | #Constraints: 20682
1066.43/1070.16 c #Conflicts: 441000 | #Constraints: 21682
1066.43/1070.16 c #Conflicts: 442000 | #Constraints: 22682
1066.43/1070.16 c #Conflicts: 443000 | #Constraints: 23682
1066.43/1070.16 c #Conflicts: 444000 | #Constraints: 24682
1066.43/1070.16 c #Conflicts: 445000 | #Constraints: 25682
1066.43/1070.16 c #Conflicts: 446000 | #Constraints: 26682
1066.43/1070.16 c INPROCESSING
1066.43/1070.16 c GARBAGE COLLECT
1066.43/1070.16 c #Conflicts: 447000 | #Constraints: 14480
1066.43/1070.16 c #Conflicts: 448000 | #Constraints: 15480
1066.43/1070.16 c #Conflicts: 449000 | #Constraints: 16480
1066.43/1070.16 c #Conflicts: 450000 | #Constraints: 17480
1066.43/1070.16 c #Conflicts: 451000 | #Constraints: 18480
1066.43/1070.16 c #Conflicts: 452000 | #Constraints: 19480
1066.43/1070.16 c #Conflicts: 453000 | #Constraints: 20480
1066.43/1070.16 c #Conflicts: 454000 | #Constraints: 21480
1066.43/1070.16 c #Conflicts: 455000 | #Constraints: 22480
1066.43/1070.16 c #Conflicts: 456000 | #Constraints: 23480
1066.43/1070.16 c #Conflicts: 457000 | #Constraints: 24480
1066.43/1070.16 c #Conflicts: 458000 | #Constraints: 25480
1066.43/1070.16 c #Conflicts: 459000 | #Constraints: 26480
1066.43/1070.16 c #Conflicts: 460000 | #Constraints: 27480
1066.43/1070.16 c INPROCESSING
1066.43/1070.16 c GARBAGE COLLECT
1066.43/1070.16 c #Conflicts: 461000 | #Constraints: 15072
1066.43/1070.16 c #Conflicts: 462000 | #Constraints: 16072
1066.43/1070.16 c #Conflicts: 463000 | #Constraints: 17072
1066.43/1070.16 c #Conflicts: 464000 | #Constraints: 18072
1066.43/1070.16 c #Conflicts: 465000 | #Constraints: 19072
1066.43/1070.16 c #Conflicts: 466000 | #Constraints: 20072
1066.43/1070.16 c #Conflicts: 467000 | #Constraints: 21072
1066.43/1070.16 c #Conflicts: 468000 | #Constraints: 22072
1066.43/1070.16 c #Conflicts: 469000 | #Constraints: 23072
1066.43/1070.16 c #Conflicts: 470000 | #Constraints: 24072
1066.43/1070.16 c #Conflicts: 471000 | #Constraints: 25072
1066.43/1070.16 c #Conflicts: 472000 | #Constraints: 26072
1066.43/1070.16 c #Conflicts: 473000 | #Constraints: 27072
1066.43/1070.16 c #Conflicts: 474000 | #Constraints: 28072
1066.43/1070.16 c INPROCESSING
1066.43/1070.16 c GARBAGE COLLECT
1066.43/1070.16 c #Conflicts: 475000 | #Constraints: 15489
1066.43/1070.16 c #Conflicts: 476000 | #Constraints: 16489
1066.43/1070.16 c #Conflicts: 477000 | #Constraints: 17489
1066.43/1070.16 c #Conflicts: 478000 | #Constraints: 18489
1066.43/1070.16 c #Conflicts: 479000 | #Constraints: 19489
1066.43/1070.16 c #Conflicts: 480000 | #Constraints: 20489
1066.43/1070.16 c #Conflicts: 481000 | #Constraints: 21489
1066.43/1070.16 c #Conflicts: 482000 | #Constraints: 22489
1066.43/1070.16 c #Conflicts: 483000 | #Constraints: 23489
1066.43/1070.16 c #Conflicts: 484000 | #Constraints: 24489
1066.43/1070.16 c #Conflicts: 485000 | #Constraints: 25489
1066.43/1070.16 c #Conflicts: 486000 | #Constraints: 26489
1066.43/1070.16 c #Conflicts: 487000 | #Constraints: 27489
1066.43/1070.16 c #Conflicts: 488000 | #Constraints: 28489
1066.43/1070.16 c INPROCESSING
1066.43/1070.16 c GARBAGE COLLECT
1066.43/1070.16 c #Conflicts: 489000 | #Constraints: 15667
1066.43/1070.16 c #Conflicts: 490000 | #Constraints: 16667
1066.43/1070.16 c #Conflicts: 491000 | #Constraints: 17667
1066.43/1070.16 c #Conflicts: 492000 | #Constraints: 18667
1066.43/1070.16 c #Conflicts: 493000 | #Constraints: 19667
1066.43/1070.16 c #Conflicts: 494000 | #Constraints: 20667
1066.43/1070.16 c #Conflicts: 495000 | #Constraints: 21667
1066.43/1070.16 c #Conflicts: 496000 | #Constraints: 22667
1066.43/1070.16 c #Conflicts: 497000 | #Constraints: 23667
1066.43/1070.16 c #Conflicts: 498000 | #Constraints: 24667
1066.43/1070.16 c #Conflicts: 499000 | #Constraints: 25667
1066.43/1070.16 c #Conflicts: 500000 | #Constraints: 26667
1066.43/1070.16 c #Conflicts: 501000 | #Constraints: 27667
1066.43/1070.16 c #Conflicts: 502000 | #Constraints: 28667
1066.43/1070.16 c INPROCESSING
1066.43/1070.16 c GARBAGE COLLECT
1066.43/1070.16 c #Conflicts: 503000 | #Constraints: 15692
1066.43/1070.16 c #Conflicts: 504000 | #Constraints: 16692
1066.43/1070.16 c #Conflicts: 505000 | #Constraints: 17692
1066.43/1070.16 c #Conflicts: 506000 | #Constraints: 18692
1066.43/1070.16 c #Conflicts: 507000 | #Constraints: 19692
1066.43/1070.16 c #Conflicts: 508000 | #Constraints: 20692
1066.43/1070.16 c #Conflicts: 509000 | #Constraints: 21692
1066.43/1070.16 c #Conflicts: 510000 | #Constraints: 22692
1066.43/1070.16 c #Conflicts: 511000 | #Constraints: 23692
1066.43/1070.16 c #Conflicts: 512000 | #Constraints: 24692
1205.75/1209.94 c #Conflicts: 513000 | #Constraints: 25692
1205.75/1209.94 c #Conflicts: 514000 | #Constraints: 26692
1205.75/1209.94 c #Conflicts: 515000 | #Constraints: 27692
1205.75/1209.94 c #Conflicts: 516000 | #Constraints: 28692
1205.75/1209.94 c INPROCESSING
1205.75/1209.94 c GARBAGE COLLECT
1205.75/1209.94 c #Conflicts: 517000 | #Constraints: 15454
1205.75/1209.94 c #Conflicts: 518000 | #Constraints: 16454
1205.75/1209.94 c #Conflicts: 519000 | #Constraints: 17454
1205.75/1209.94 c #Conflicts: 520000 | #Constraints: 18454
1205.75/1209.94 c #Conflicts: 521000 | #Constraints: 19454
1205.75/1209.94 c #Conflicts: 522000 | #Constraints: 20454
1205.75/1209.94 c #Conflicts: 523000 | #Constraints: 21454
1205.75/1209.94 c #Conflicts: 524000 | #Constraints: 22454
1205.75/1209.94 c #Conflicts: 525000 | #Constraints: 23454
1205.75/1209.94 c #Conflicts: 526000 | #Constraints: 24454
1205.75/1209.94 c #Conflicts: 527000 | #Constraints: 25454
1205.75/1209.94 c #Conflicts: 528000 | #Constraints: 26454
1205.75/1209.94 c #Conflicts: 529000 | #Constraints: 27454
1205.75/1209.94 c #Conflicts: 530000 | #Constraints: 28454
1205.75/1209.94 c #Conflicts: 531000 | #Constraints: 29454
1205.75/1209.94 c INPROCESSING
1205.75/1209.94 c GARBAGE COLLECT
1205.75/1209.94 c #Conflicts: 532000 | #Constraints: 16058
1205.75/1209.94 c #Conflicts: 533000 | #Constraints: 17058
1205.75/1209.94 c #Conflicts: 534000 | #Constraints: 18058
1205.75/1209.94 c #Conflicts: 535000 | #Constraints: 19058
1205.75/1209.94 c #Conflicts: 536000 | #Constraints: 20058
1205.75/1209.94 c #Conflicts: 537000 | #Constraints: 21058
1205.75/1209.94 c #Conflicts: 538000 | #Constraints: 22058
1205.75/1209.94 c #Conflicts: 539000 | #Constraints: 23058
1205.75/1209.94 c #Conflicts: 540000 | #Constraints: 24058
1205.75/1209.94 c #Conflicts: 541000 | #Constraints: 25058
1205.75/1209.94 c #Conflicts: 542000 | #Constraints: 26058
1205.75/1209.94 c #Conflicts: 543000 | #Constraints: 27058
1205.75/1209.94 c #Conflicts: 544000 | #Constraints: 28058
1205.75/1209.94 c #Conflicts: 545000 | #Constraints: 29058
1205.75/1209.94 c #Conflicts: 546000 | #Constraints: 30058
1205.75/1209.94 c INPROCESSING
1205.75/1209.94 c GARBAGE COLLECT
1205.75/1209.94 c #Conflicts: 547000 | #Constraints: 16434
1205.75/1209.94 c #Conflicts: 548000 | #Constraints: 17434
1205.75/1209.94 c #Conflicts: 549000 | #Constraints: 18434
1205.75/1209.94 c #Conflicts: 550000 | #Constraints: 19434
1205.75/1209.94 c #Conflicts: 551000 | #Constraints: 20434
1205.75/1209.94 c #Conflicts: 552000 | #Constraints: 21434
1205.75/1209.94 c #Conflicts: 553000 | #Constraints: 22434
1205.75/1209.94 c #Conflicts: 554000 | #Constraints: 23434
1205.75/1209.94 c #Conflicts: 555000 | #Constraints: 24434
1205.75/1209.94 c #Conflicts: 556000 | #Constraints: 25434
1205.75/1209.94 c #Conflicts: 557000 | #Constraints: 26434
1205.75/1209.94 c #Conflicts: 558000 | #Constraints: 27434
1205.75/1209.94 c #Conflicts: 559000 | #Constraints: 28434
1205.75/1209.94 c #Conflicts: 560000 | #Constraints: 29434
1205.75/1209.94 c #Conflicts: 561000 | #Constraints: 30434
1205.75/1209.94 c INPROCESSING
1205.75/1209.94 c GARBAGE COLLECT
1205.75/1209.94 c #Conflicts: 562000 | #Constraints: 16622
1205.75/1209.94 c #Conflicts: 563000 | #Constraints: 17622
1205.75/1209.94 c #Conflicts: 564000 | #Constraints: 18622
1205.75/1209.94 c #Conflicts: 565000 | #Constraints: 19622
1205.75/1209.94 c #Conflicts: 566000 | #Constraints: 20622
1205.75/1209.94 c #Conflicts: 567000 | #Constraints: 21622
1205.75/1209.94 c #Conflicts: 568000 | #Constraints: 22622
1205.75/1209.94 c #Conflicts: 569000 | #Constraints: 23622
1205.75/1209.94 c #Conflicts: 570000 | #Constraints: 24622
1205.75/1209.94 c #Conflicts: 571000 | #Constraints: 25622
1205.75/1209.94 c #Conflicts: 572000 | #Constraints: 26622
1205.75/1209.94 c #Conflicts: 573000 | #Constraints: 27622
1205.75/1209.94 c #Conflicts: 574000 | #Constraints: 28622
1205.75/1209.94 c #Conflicts: 575000 | #Constraints: 29622
1205.75/1209.94 c #Conflicts: 576000 | #Constraints: 30622
1205.75/1209.94 c INPROCESSING
1205.75/1209.94 c GARBAGE COLLECT
1205.75/1209.94 c #Conflicts: 577000 | #Constraints: 16622
1205.75/1209.94 c #Conflicts: 578000 | #Constraints: 17622
1205.75/1209.94 c #Conflicts: 579000 | #Constraints: 18622
1205.75/1209.94 c #Conflicts: 580000 | #Constraints: 19622
1205.75/1209.94 c #Conflicts: 581000 | #Constraints: 20622
1205.75/1209.94 c #Conflicts: 582000 | #Constraints: 21622
1205.75/1209.94 c #Conflicts: 583000 | #Constraints: 22622
1205.75/1209.94 c #Conflicts: 584000 | #Constraints: 23622
1205.75/1209.94 c #Conflicts: 585000 | #Constraints: 24622
1205.75/1209.94 c #Conflicts: 586000 | #Constraints: 25622
1205.75/1209.94 c #Conflicts: 587000 | #Constraints: 26622
1205.75/1209.94 c #Conflicts: 588000 | #Constraints: 27622
1381.54/1386.40 c #Conflicts: 589000 | #Constraints: 28622
1381.54/1386.40 c #Conflicts: 590000 | #Constraints: 29622
1381.54/1386.40 c #Conflicts: 591000 | #Constraints: 30622
1381.54/1386.40 c INPROCESSING
1381.54/1386.40 c GARBAGE COLLECT
1381.54/1386.40 c #Conflicts: 592000 | #Constraints: 16432
1381.54/1386.40 c #Conflicts: 593000 | #Constraints: 17432
1381.54/1386.40 c #Conflicts: 594000 | #Constraints: 18432
1381.54/1386.40 c #Conflicts: 595000 | #Constraints: 19432
1381.54/1386.40 c #Conflicts: 596000 | #Constraints: 20432
1381.54/1386.40 c #Conflicts: 597000 | #Constraints: 21432
1381.54/1386.40 c #Conflicts: 598000 | #Constraints: 22432
1381.54/1386.40 c #Conflicts: 599000 | #Constraints: 23432
1381.54/1386.40 c #Conflicts: 600000 | #Constraints: 24432
1381.54/1386.40 c #Conflicts: 601000 | #Constraints: 25432
1381.54/1386.40 c #Conflicts: 602000 | #Constraints: 26432
1381.54/1386.40 c #Conflicts: 603000 | #Constraints: 27432
1381.54/1386.40 c #Conflicts: 604000 | #Constraints: 28432
1381.54/1386.40 c #Conflicts: 605000 | #Constraints: 29432
1381.54/1386.40 c #Conflicts: 606000 | #Constraints: 30432
1381.54/1386.40 c #Conflicts: 607000 | #Constraints: 31432
1381.54/1386.40 c INPROCESSING
1381.54/1386.40 c GARBAGE COLLECT
1381.54/1386.40 c #Conflicts: 608000 | #Constraints: 17029
1381.54/1386.40 c #Conflicts: 609000 | #Constraints: 18029
1381.54/1386.40 c #Conflicts: 610000 | #Constraints: 19029
1381.54/1386.40 c #Conflicts: 611000 | #Constraints: 20029
1381.54/1386.40 c #Conflicts: 612000 | #Constraints: 21029
1381.54/1386.40 c #Conflicts: 613000 | #Constraints: 22029
1381.54/1386.40 c #Conflicts: 614000 | #Constraints: 23029
1381.54/1386.40 c #Conflicts: 615000 | #Constraints: 24029
1381.54/1386.40 c #Conflicts: 616000 | #Constraints: 25029
1381.54/1386.40 c #Conflicts: 617000 | #Constraints: 26029
1381.54/1386.40 c #Conflicts: 618000 | #Constraints: 27029
1381.54/1386.40 c #Conflicts: 619000 | #Constraints: 28029
1381.54/1386.40 c #Conflicts: 620000 | #Constraints: 29029
1381.54/1386.40 c #Conflicts: 621000 | #Constraints: 30029
1381.54/1386.40 c #Conflicts: 622000 | #Constraints: 31029
1381.54/1386.40 c #Conflicts: 623000 | #Constraints: 32029
1381.54/1386.40 c INPROCESSING
1381.54/1386.40 c GARBAGE COLLECT
1381.54/1386.40 c #Conflicts: 624000 | #Constraints: 17418
1381.54/1386.40 c #Conflicts: 625000 | #Constraints: 18418
1381.54/1386.40 c #Conflicts: 626000 | #Constraints: 19418
1381.54/1386.40 c #Conflicts: 627000 | #Constraints: 20418
1381.54/1386.40 c #Conflicts: 628000 | #Constraints: 21418
1381.54/1386.40 c #Conflicts: 629000 | #Constraints: 22418
1381.54/1386.40 c #Conflicts: 630000 | #Constraints: 23418
1381.54/1386.40 c #Conflicts: 631000 | #Constraints: 24418
1381.54/1386.40 c #Conflicts: 632000 | #Constraints: 25418
1381.54/1386.40 c #Conflicts: 633000 | #Constraints: 26418
1381.54/1386.40 c #Conflicts: 634000 | #Constraints: 27418
1381.54/1386.40 c #Conflicts: 635000 | #Constraints: 28418
1381.54/1386.40 c #Conflicts: 636000 | #Constraints: 29418
1381.54/1386.40 c #Conflicts: 637000 | #Constraints: 30418
1381.54/1386.40 c #Conflicts: 638000 | #Constraints: 31418
1381.54/1386.40 c #Conflicts: 639000 | #Constraints: 32418
1381.54/1386.40 c INPROCESSING
1381.54/1386.40 c GARBAGE COLLECT
1381.54/1386.40 c #Conflicts: 640000 | #Constraints: 17618
1381.54/1386.40 c #Conflicts: 641000 | #Constraints: 18618
1381.54/1386.40 c #Conflicts: 642000 | #Constraints: 19618
1381.54/1386.40 c #Conflicts: 643000 | #Constraints: 20618
1381.54/1386.40 c #Conflicts: 644000 | #Constraints: 21618
1381.54/1386.40 c #Conflicts: 645000 | #Constraints: 22618
1381.54/1386.40 c #Conflicts: 646000 | #Constraints: 23618
1381.54/1386.40 c #Conflicts: 647000 | #Constraints: 24618
1381.54/1386.40 c #Conflicts: 648000 | #Constraints: 25618
1381.54/1386.40 c #Conflicts: 649000 | #Constraints: 26618
1381.54/1386.40 c #Conflicts: 650000 | #Constraints: 27618
1381.54/1386.40 c #Conflicts: 651000 | #Constraints: 28618
1381.54/1386.40 c #Conflicts: 652000 | #Constraints: 29618
1381.54/1386.40 c #Conflicts: 653000 | #Constraints: 30618
1381.54/1386.40 c #Conflicts: 654000 | #Constraints: 31618
1381.54/1386.40 c #Conflicts: 655000 | #Constraints: 32618
1381.54/1386.40 c INPROCESSING
1381.54/1386.40 c GARBAGE COLLECT
1381.54/1386.40 c #Conflicts: 656000 | #Constraints: 17628
1381.54/1386.40 c #Conflicts: 657000 | #Constraints: 18628
1381.54/1386.40 c #Conflicts: 658000 | #Constraints: 19628
1381.54/1386.40 c #Conflicts: 659000 | #Constraints: 20628
1381.54/1386.40 c #Conflicts: 660000 | #Constraints: 21628
1381.54/1386.40 c #Conflicts: 661000 | #Constraints: 22628
1381.54/1386.40 c #Conflicts: 662000 | #Constraints: 23628
1381.54/1386.40 c #Conflicts: 663000 | #Constraints: 24628
1704.65/1710.56 c #Conflicts: 664000 | #Constraints: 25628
1704.65/1710.56 c #Conflicts: 665000 | #Constraints: 26628
1704.65/1710.56 c #Conflicts: 666000 | #Constraints: 27628
1704.65/1710.56 c #Conflicts: 667000 | #Constraints: 28628
1704.65/1710.56 c #Conflicts: 668000 | #Constraints: 29628
1704.65/1710.56 c #Conflicts: 669000 | #Constraints: 30628
1704.65/1710.56 c #Conflicts: 670000 | #Constraints: 31628
1704.65/1710.56 c #Conflicts: 671000 | #Constraints: 32628
1704.65/1710.56 c INPROCESSING
1704.65/1710.56 c GARBAGE COLLECT
1704.65/1710.56 c #Conflicts: 672000 | #Constraints: 17411
1704.65/1710.56 c #Conflicts: 673000 | #Constraints: 18411
1704.65/1710.56 c #Conflicts: 674000 | #Constraints: 19411
1704.65/1710.56 c #Conflicts: 675000 | #Constraints: 20411
1704.65/1710.56 c #Conflicts: 676000 | #Constraints: 21411
1704.65/1710.56 c #Conflicts: 677000 | #Constraints: 22411
1704.65/1710.56 c #Conflicts: 678000 | #Constraints: 23411
1704.65/1710.56 c #Conflicts: 679000 | #Constraints: 24411
1704.65/1710.56 c #Conflicts: 680000 | #Constraints: 25411
1704.65/1710.56 c #Conflicts: 681000 | #Constraints: 26411
1704.65/1710.56 c #Conflicts: 682000 | #Constraints: 27411
1704.65/1710.56 c #Conflicts: 683000 | #Constraints: 28411
1704.65/1710.56 c #Conflicts: 684000 | #Constraints: 29411
1704.65/1710.56 c #Conflicts: 685000 | #Constraints: 30411
1704.65/1710.56 c #Conflicts: 686000 | #Constraints: 31411
1704.65/1710.56 c #Conflicts: 687000 | #Constraints: 32411
1704.65/1710.56 c #Conflicts: 688000 | #Constraints: 33411
1704.65/1710.56 c INPROCESSING
1704.65/1710.56 c GARBAGE COLLECT
1704.65/1710.56 c #Conflicts: 689000 | #Constraints: 18020
1704.65/1710.56 c #Conflicts: 690000 | #Constraints: 19020
1704.65/1710.56 c #Conflicts: 691000 | #Constraints: 20020
1704.65/1710.56 c #Conflicts: 692000 | #Constraints: 21020
1704.65/1710.56 c #Conflicts: 693000 | #Constraints: 22020
1704.65/1710.56 c #Conflicts: 694000 | #Constraints: 23020
1704.65/1710.56 c #Conflicts: 695000 | #Constraints: 24020
1704.65/1710.56 c #Conflicts: 696000 | #Constraints: 25020
1704.65/1710.56 c #Conflicts: 697000 | #Constraints: 26020
1704.65/1710.56 c #Conflicts: 698000 | #Constraints: 27020
1704.65/1710.56 c #Conflicts: 699000 | #Constraints: 28020
1704.65/1710.56 c #Conflicts: 700000 | #Constraints: 29020
1704.65/1710.56 c #Conflicts: 701000 | #Constraints: 30020
1704.65/1710.56 c #Conflicts: 702000 | #Constraints: 31020
1704.65/1710.56 c #Conflicts: 703000 | #Constraints: 32020
1704.65/1710.56 c #Conflicts: 704000 | #Constraints: 33020
1704.65/1710.56 c #Conflicts: 705000 | #Constraints: 34020
1704.65/1710.56 c INPROCESSING
1704.65/1710.56 c GARBAGE COLLECT
1704.65/1710.56 c #Conflicts: 706000 | #Constraints: 18449
1704.65/1710.56 c #Conflicts: 707000 | #Constraints: 19449
1704.65/1710.56 c #Conflicts: 708000 | #Constraints: 20449
1704.65/1710.56 c #Conflicts: 709000 | #Constraints: 21449
1704.65/1710.56 c #Conflicts: 710000 | #Constraints: 22449
1704.65/1710.56 c #Conflicts: 711000 | #Constraints: 23449
1704.65/1710.56 c #Conflicts: 712000 | #Constraints: 24449
1704.65/1710.56 c #Conflicts: 713000 | #Constraints: 25449
1704.65/1710.56 c #Conflicts: 714000 | #Constraints: 26449
1704.65/1710.56 c #Conflicts: 715000 | #Constraints: 27449
1704.65/1710.56 c #Conflicts: 716000 | #Constraints: 28449
1704.65/1710.56 c #Conflicts: 717000 | #Constraints: 29449
1704.65/1710.56 c #Conflicts: 718000 | #Constraints: 30449
1704.65/1710.56 c #Conflicts: 719000 | #Constraints: 31449
1704.65/1710.56 c #Conflicts: 720000 | #Constraints: 32449
1704.65/1710.56 c #Conflicts: 721000 | #Constraints: 33449
1704.65/1710.56 c #Conflicts: 722000 | #Constraints: 34449
1704.65/1710.56 c INPROCESSING
1704.65/1710.56 c GARBAGE COLLECT
1704.65/1710.56 c #Conflicts: 723000 | #Constraints: 18633
1704.65/1710.56 c #Conflicts: 724000 | #Constraints: 19633
1704.65/1710.56 c #Conflicts: 725000 | #Constraints: 20633
1704.65/1710.56 c #Conflicts: 726000 | #Constraints: 21633
1704.65/1710.56 c #Conflicts: 727000 | #Constraints: 22633
1704.65/1710.56 c #Conflicts: 728000 | #Constraints: 23633
1704.65/1710.56 c #Conflicts: 729000 | #Constraints: 24633
1704.65/1710.56 c #Conflicts: 730000 | #Constraints: 25633
1704.65/1710.56 c #Conflicts: 731000 | #Constraints: 26633
1704.65/1710.56 c #Conflicts: 732000 | #Constraints: 27633
1704.65/1710.56 c #Conflicts: 733000 | #Constraints: 28633
1704.65/1710.56 c #Conflicts: 734000 | #Constraints: 29633
1704.65/1710.56 c #Conflicts: 735000 | #Constraints: 30633
1704.65/1710.56 c #Conflicts: 736000 | #Constraints: 31633
1704.65/1710.56 c #Conflicts: 737000 | #Constraints: 32633
1704.65/1710.56 c #Conflicts: 738000 | #Constraints: 33633
1704.65/1710.56 c #Conflicts: 739000 | #Constraints: 34633
1866.50/1872.98 c INPROCESSING
1866.50/1872.98 c GARBAGE COLLECT
1866.50/1872.98 c #Conflicts: 740000 | #Constraints: 18662
1866.50/1872.98 c #Conflicts: 741000 | #Constraints: 19662
1866.50/1872.98 c #Conflicts: 742000 | #Constraints: 20662
1866.50/1872.98 c #Conflicts: 743000 | #Constraints: 21662
1866.50/1872.98 c #Conflicts: 744000 | #Constraints: 22662
1866.50/1872.98 c #Conflicts: 745000 | #Constraints: 23662
1866.50/1872.98 c #Conflicts: 746000 | #Constraints: 24662
1866.50/1872.98 c #Conflicts: 747000 | #Constraints: 25662
1866.50/1872.98 c #Conflicts: 748000 | #Constraints: 26662
1866.50/1872.98 c #Conflicts: 749000 | #Constraints: 27662
1866.50/1872.98 c #Conflicts: 750000 | #Constraints: 28662
1866.50/1872.98 c #Conflicts: 751000 | #Constraints: 29662
1866.50/1872.98 c #Conflicts: 752000 | #Constraints: 30662
1866.50/1872.98 c #Conflicts: 753000 | #Constraints: 31662
1866.50/1872.98 c #Conflicts: 754000 | #Constraints: 32662
1866.50/1872.98 c #Conflicts: 755000 | #Constraints: 33662
1866.50/1872.98 c #Conflicts: 756000 | #Constraints: 34662
1866.50/1872.98 c INPROCESSING
1866.50/1872.98 c GARBAGE COLLECT
1866.50/1872.98 c #Conflicts: 757000 | #Constraints: 18436
1866.50/1872.98 c #Conflicts: 758000 | #Constraints: 19436
1866.50/1872.98 c #Conflicts: 759000 | #Constraints: 20436
1866.50/1872.98 c #Conflicts: 760000 | #Constraints: 21436
1866.50/1872.98 c #Conflicts: 761000 | #Constraints: 22436
1866.50/1872.98 c #Conflicts: 762000 | #Constraints: 23436
1866.50/1872.98 c #Conflicts: 763000 | #Constraints: 24436
1866.50/1872.98 c #Conflicts: 764000 | #Constraints: 25436
1866.50/1872.98 c #Conflicts: 765000 | #Constraints: 26436
1866.50/1872.98 c #Conflicts: 766000 | #Constraints: 27436
1866.50/1872.98 c #Conflicts: 767000 | #Constraints: 28436
1866.50/1872.98 c #Conflicts: 768000 | #Constraints: 29436
1866.50/1872.98 c #Conflicts: 769000 | #Constraints: 30436
1866.50/1872.98 c #Conflicts: 770000 | #Constraints: 31436
1866.50/1872.98 c #Conflicts: 771000 | #Constraints: 32436
1866.50/1872.98 c #Conflicts: 772000 | #Constraints: 33436
1866.50/1872.98 c #Conflicts: 773000 | #Constraints: 34436
1866.50/1872.98 c #Conflicts: 774000 | #Constraints: 35436
1866.50/1872.98 c INPROCESSING
1866.50/1872.98 c GARBAGE COLLECT
1866.50/1872.98 c #Conflicts: 775000 | #Constraints: 19029
1866.50/1872.98 c #Conflicts: 776000 | #Constraints: 20029
1866.50/1872.98 c #Conflicts: 777000 | #Constraints: 21029
1866.50/1872.98 c #Conflicts: 778000 | #Constraints: 22029
1866.50/1872.98 c #Conflicts: 779000 | #Constraints: 23029
1866.50/1872.98 c #Conflicts: 780000 | #Constraints: 24029
1866.50/1872.98 c #Conflicts: 781000 | #Constraints: 25029
1866.50/1872.98 c #Conflicts: 782000 | #Constraints: 26029
1866.50/1872.98 c #Conflicts: 783000 | #Constraints: 27029
1866.50/1872.98 c #Conflicts: 784000 | #Constraints: 28029
1866.50/1872.98 c #Conflicts: 785000 | #Constraints: 29029
1866.50/1872.98 c #Conflicts: 786000 | #Constraints: 30029
1866.50/1872.98 c #Conflicts: 787000 | #Constraints: 31029
1866.50/1872.98 c #Conflicts: 788000 | #Constraints: 32029
1866.50/1872.98 c #Conflicts: 789000 | #Constraints: 33029
1866.50/1872.98 c #Conflicts: 790000 | #Constraints: 34029
1866.50/1872.98 c #Conflicts: 791000 | #Constraints: 35029
1866.50/1872.98 c #Conflicts: 792000 | #Constraints: 36029
1866.50/1872.98 c INPROCESSING
1866.50/1872.98 c GARBAGE COLLECT
1866.50/1872.98 c #Conflicts: 793000 | #Constraints: 19417
1866.50/1872.98 c #Conflicts: 794000 | #Constraints: 20417
1866.50/1872.98 c #Conflicts: 795000 | #Constraints: 21417
1866.50/1872.98 c #Conflicts: 796000 | #Constraints: 22417
1866.50/1872.98 c #Conflicts: 797000 | #Constraints: 23417
1866.50/1872.98 c #Conflicts: 798000 | #Constraints: 24417
1866.50/1872.98 c #Conflicts: 799000 | #Constraints: 25417
1866.50/1872.98 c #Conflicts: 800000 | #Constraints: 26417
1866.50/1872.98 c #Conflicts: 801000 | #Constraints: 27417
1866.50/1872.98 c #Conflicts: 802000 | #Constraints: 28417
1866.50/1872.98 c #Conflicts: 803000 | #Constraints: 29417
1866.50/1872.98 c #Conflicts: 804000 | #Constraints: 30417
1866.50/1872.98 c #Conflicts: 805000 | #Constraints: 31417
1866.50/1872.98 c #Conflicts: 806000 | #Constraints: 32417
1866.50/1872.98 c #Conflicts: 807000 | #Constraints: 33417
1866.50/1872.98 c #Conflicts: 808000 | #Constraints: 34417
1866.50/1872.98 c #Conflicts: 809000 | #Constraints: 35417
1866.50/1872.98 c #Conflicts: 810000 | #Constraints: 36417
1866.50/1872.98 c INPROCESSING
1866.50/1872.98 c GARBAGE COLLECT
1866.50/1872.98 c #Conflicts: 811000 | #Constraints: 19623
1866.50/1872.98 c #Conflicts: 812000 | #Constraints: 20623
1866.50/1872.98 c #Conflicts: 813000 | #Constraints: 21623
1866.50/1872.98 c #Conflicts: 814000 | #Constraints: 22623
1866.50/1872.98 c #Conflicts: 815000 | #Constraints: 23623
2098.51/2105.72 c #Conflicts: 816000 | #Constraints: 24623
2098.51/2105.72 c #Conflicts: 817000 | #Constraints: 25623
2098.51/2105.72 c #Conflicts: 818000 | #Constraints: 26623
2098.51/2105.72 c #Conflicts: 819000 | #Constraints: 27623
2098.51/2105.72 c #Conflicts: 820000 | #Constraints: 28623
2098.51/2105.72 c #Conflicts: 821000 | #Constraints: 29623
2098.51/2105.72 c #Conflicts: 822000 | #Constraints: 30623
2098.51/2105.72 c #Conflicts: 823000 | #Constraints: 31623
2098.51/2105.72 c #Conflicts: 824000 | #Constraints: 32623
2098.51/2105.72 c #Conflicts: 825000 | #Constraints: 33623
2098.51/2105.72 c #Conflicts: 826000 | #Constraints: 34623
2098.51/2105.72 c #Conflicts: 827000 | #Constraints: 35623
2098.51/2105.72 c #Conflicts: 828000 | #Constraints: 36623
2098.51/2105.72 c INPROCESSING
2098.51/2105.72 c GARBAGE COLLECT
2098.51/2105.72 c #Conflicts: 829000 | #Constraints: 19623
2098.51/2105.72 c #Conflicts: 830000 | #Constraints: 20623
2098.51/2105.72 c #Conflicts: 831000 | #Constraints: 21623
2098.51/2105.72 c #Conflicts: 832000 | #Constraints: 22623
2098.51/2105.72 c #Conflicts: 833000 | #Constraints: 23623
2098.51/2105.72 c #Conflicts: 834000 | #Constraints: 24623
2098.51/2105.72 c #Conflicts: 835000 | #Constraints: 25623
2098.51/2105.72 c #Conflicts: 836000 | #Constraints: 26623
2098.51/2105.72 c #Conflicts: 837000 | #Constraints: 27623
2098.51/2105.72 c #Conflicts: 838000 | #Constraints: 28623
2098.51/2105.72 c #Conflicts: 839000 | #Constraints: 29623
2098.51/2105.72 c #Conflicts: 840000 | #Constraints: 30623
2098.51/2105.72 c #Conflicts: 841000 | #Constraints: 31623
2098.51/2105.72 c #Conflicts: 842000 | #Constraints: 32623
2098.51/2105.72 c #Conflicts: 843000 | #Constraints: 33623
2098.51/2105.72 c #Conflicts: 844000 | #Constraints: 34623
2098.51/2105.72 c #Conflicts: 845000 | #Constraints: 35623
2098.51/2105.72 c #Conflicts: 846000 | #Constraints: 36623
2098.51/2105.72 c INPROCESSING
2098.51/2105.72 c GARBAGE COLLECT
2098.51/2105.72 c #Conflicts: 847000 | #Constraints: 19415
2098.51/2105.72 c #Conflicts: 848000 | #Constraints: 20415
2098.51/2105.72 c #Conflicts: 849000 | #Constraints: 21415
2098.51/2105.72 c #Conflicts: 850000 | #Constraints: 22415
2098.51/2105.72 c #Conflicts: 851000 | #Constraints: 23415
2098.51/2105.72 c #Conflicts: 852000 | #Constraints: 24415
2098.51/2105.72 c #Conflicts: 853000 | #Constraints: 25415
2098.51/2105.72 c #Conflicts: 854000 | #Constraints: 26415
2098.51/2105.72 c #Conflicts: 855000 | #Constraints: 27415
2098.51/2105.72 c #Conflicts: 856000 | #Constraints: 28415
2098.51/2105.72 c #Conflicts: 857000 | #Constraints: 29415
2098.51/2105.72 c #Conflicts: 858000 | #Constraints: 30415
2098.51/2105.72 c #Conflicts: 859000 | #Constraints: 31415
2098.51/2105.72 c #Conflicts: 860000 | #Constraints: 32415
2098.51/2105.72 c #Conflicts: 861000 | #Constraints: 33415
2098.51/2105.72 c #Conflicts: 862000 | #Constraints: 34415
2098.51/2105.72 c #Conflicts: 863000 | #Constraints: 35415
2098.51/2105.72 c #Conflicts: 864000 | #Constraints: 36415
2098.51/2105.72 c #Conflicts: 865000 | #Constraints: 37415
2098.51/2105.72 c INPROCESSING
2098.51/2105.72 c GARBAGE COLLECT
2098.51/2105.72 c #Conflicts: 866000 | #Constraints: 20010
2098.51/2105.72 c #Conflicts: 867000 | #Constraints: 21010
2098.51/2105.72 c #Conflicts: 868000 | #Constraints: 22010
2098.51/2105.72 c #Conflicts: 869000 | #Constraints: 23010
2098.51/2105.72 c #Conflicts: 870000 | #Constraints: 24010
2098.51/2105.72 c #Conflicts: 871000 | #Constraints: 25010
2098.51/2105.72 c #Conflicts: 872000 | #Constraints: 26010
2098.51/2105.72 c #Conflicts: 873000 | #Constraints: 27010
2098.51/2105.72 c #Conflicts: 874000 | #Constraints: 28010
2098.51/2105.72 c #Conflicts: 875000 | #Constraints: 29010
2098.51/2105.72 c #Conflicts: 876000 | #Constraints: 30010
2098.51/2105.72 c #Conflicts: 877000 | #Constraints: 31010
2098.51/2105.72 c #Conflicts: 878000 | #Constraints: 32010
2098.51/2105.72 c #Conflicts: 879000 | #Constraints: 33010
2098.51/2105.72 c #Conflicts: 880000 | #Constraints: 34010
2098.51/2105.72 c #Conflicts: 881000 | #Constraints: 35010
2098.51/2105.72 c #Conflicts: 882000 | #Constraints: 36010
2098.51/2105.72 c #Conflicts: 883000 | #Constraints: 37010
2098.51/2105.72 c #Conflicts: 884000 | #Constraints: 38010
2098.51/2105.72 c INPROCESSING
2098.51/2105.72 c GARBAGE COLLECT
2098.51/2105.72 c #Conflicts: 885000 | #Constraints: 20413
2098.51/2105.72 c #Conflicts: 886000 | #Constraints: 21413
2098.51/2105.72 c #Conflicts: 887000 | #Constraints: 22413
2098.51/2105.72 c #Conflicts: 888000 | #Constraints: 23413
2098.51/2105.72 c #Conflicts: 889000 | #Constraints: 24413
2098.51/2105.72 c #Conflicts: 890000 | #Constraints: 25413
2098.51/2105.72 c #Conflicts: 891000 | #Constraints: 26413
2363.21/2371.33 c #Conflicts: 892000 | #Constraints: 27413
2363.21/2371.33 c #Conflicts: 893000 | #Constraints: 28413
2363.21/2371.33 c #Conflicts: 894000 | #Constraints: 29413
2363.21/2371.33 c #Conflicts: 895000 | #Constraints: 30413
2363.21/2371.33 c #Conflicts: 896000 | #Constraints: 31413
2363.21/2371.33 c #Conflicts: 897000 | #Constraints: 32413
2363.21/2371.33 c #Conflicts: 898000 | #Constraints: 33413
2363.21/2371.33 c #Conflicts: 899000 | #Constraints: 34413
2363.21/2371.33 c #Conflicts: 900000 | #Constraints: 35413
2363.21/2371.33 c #Conflicts: 901000 | #Constraints: 36413
2363.21/2371.33 c #Conflicts: 902000 | #Constraints: 37413
2363.21/2371.33 c #Conflicts: 903000 | #Constraints: 38413
2363.21/2371.33 c INPROCESSING
2363.21/2371.33 c GARBAGE COLLECT
2363.21/2371.33 c #Conflicts: 904000 | #Constraints: 20615
2363.21/2371.33 c #Conflicts: 905000 | #Constraints: 21615
2363.21/2371.33 c #Conflicts: 906000 | #Constraints: 22615
2363.21/2371.33 c #Conflicts: 907000 | #Constraints: 23615
2363.21/2371.33 c #Conflicts: 908000 | #Constraints: 24615
2363.21/2371.33 c #Conflicts: 909000 | #Constraints: 25615
2363.21/2371.33 c #Conflicts: 910000 | #Constraints: 26615
2363.21/2371.33 c #Conflicts: 911000 | #Constraints: 27615
2363.21/2371.33 c #Conflicts: 912000 | #Constraints: 28615
2363.21/2371.33 c #Conflicts: 913000 | #Constraints: 29615
2363.21/2371.33 c #Conflicts: 914000 | #Constraints: 30615
2363.21/2371.33 c #Conflicts: 915000 | #Constraints: 31615
2363.21/2371.33 c #Conflicts: 916000 | #Constraints: 32615
2363.21/2371.33 c #Conflicts: 917000 | #Constraints: 33615
2363.21/2371.33 c #Conflicts: 918000 | #Constraints: 34615
2363.21/2371.33 c #Conflicts: 919000 | #Constraints: 35615
2363.21/2371.33 c #Conflicts: 920000 | #Constraints: 36615
2363.21/2371.33 c #Conflicts: 921000 | #Constraints: 37615
2363.21/2371.33 c #Conflicts: 922000 | #Constraints: 38615
2363.21/2371.33 c INPROCESSING
2363.21/2371.33 c GARBAGE COLLECT
2363.21/2371.33 c #Conflicts: 923000 | #Constraints: 20611
2363.21/2371.33 c #Conflicts: 924000 | #Constraints: 21611
2363.21/2371.33 c #Conflicts: 925000 | #Constraints: 22611
2363.21/2371.33 c #Conflicts: 926000 | #Constraints: 23611
2363.21/2371.33 c #Conflicts: 927000 | #Constraints: 24611
2363.21/2371.33 c #Conflicts: 928000 | #Constraints: 25611
2363.21/2371.33 c #Conflicts: 929000 | #Constraints: 26611
2363.21/2371.33 c #Conflicts: 930000 | #Constraints: 27611
2363.21/2371.33 c #Conflicts: 931000 | #Constraints: 28611
2363.21/2371.33 c #Conflicts: 932000 | #Constraints: 29611
2363.21/2371.33 c #Conflicts: 933000 | #Constraints: 30611
2363.21/2371.33 c #Conflicts: 934000 | #Constraints: 31611
2363.21/2371.33 c #Conflicts: 935000 | #Constraints: 32611
2363.21/2371.33 c #Conflicts: 936000 | #Constraints: 33611
2363.21/2371.33 c #Conflicts: 937000 | #Constraints: 34611
2363.21/2371.33 c #Conflicts: 938000 | #Constraints: 35611
2363.21/2371.33 c #Conflicts: 939000 | #Constraints: 36611
2363.21/2371.33 c #Conflicts: 940000 | #Constraints: 37611
2363.21/2371.33 c #Conflicts: 941000 | #Constraints: 38611
2363.21/2371.33 c INPROCESSING
2363.21/2371.33 c GARBAGE COLLECT
2363.21/2371.33 c #Conflicts: 942000 | #Constraints: 20457
2363.21/2371.33 c #Conflicts: 943000 | #Constraints: 21457
2363.21/2371.33 c #Conflicts: 944000 | #Constraints: 22457
2363.21/2371.33 c #Conflicts: 945000 | #Constraints: 23457
2363.21/2371.33 c #Conflicts: 946000 | #Constraints: 24457
2363.21/2371.33 c #Conflicts: 947000 | #Constraints: 25457
2363.21/2371.33 c #Conflicts: 948000 | #Constraints: 26457
2363.21/2371.33 c #Conflicts: 949000 | #Constraints: 27457
2363.21/2371.33 c #Conflicts: 950000 | #Constraints: 28457
2363.21/2371.33 c #Conflicts: 951000 | #Constraints: 29457
2363.21/2371.33 c #Conflicts: 952000 | #Constraints: 30457
2363.21/2371.33 c #Conflicts: 953000 | #Constraints: 31457
2363.21/2371.33 c #Conflicts: 954000 | #Constraints: 32457
2363.21/2371.33 c #Conflicts: 955000 | #Constraints: 33457
2363.21/2371.33 c #Conflicts: 956000 | #Constraints: 34457
2363.21/2371.33 c #Conflicts: 957000 | #Constraints: 35457
2363.21/2371.33 c #Conflicts: 958000 | #Constraints: 36457
2363.21/2371.33 c #Conflicts: 959000 | #Constraints: 37457
2363.21/2371.33 c #Conflicts: 960000 | #Constraints: 38457
2363.21/2371.33 c #Conflicts: 961000 | #Constraints: 39457
2363.21/2371.33 c INPROCESSING
2363.21/2371.33 c GARBAGE COLLECT
2363.21/2371.33 c #Conflicts: 962000 | #Constraints: 21053
2363.21/2371.33 c #Conflicts: 963000 | #Constraints: 22053
2363.21/2371.33 c #Conflicts: 964000 | #Constraints: 23053
2363.21/2371.33 c #Conflicts: 965000 | #Constraints: 24053
2363.21/2371.33 c #Conflicts: 966000 | #Constraints: 25053
2363.21/2371.33 c #Conflicts: 967000 | #Constraints: 26053
2799.24/2808.83 c #Conflicts: 968000 | #Constraints: 27053
2799.24/2808.83 c #Conflicts: 969000 | #Constraints: 28053
2799.24/2808.83 c #Conflicts: 970000 | #Constraints: 29053
2799.24/2808.83 c #Conflicts: 971000 | #Constraints: 30053
2799.24/2808.83 c #Conflicts: 972000 | #Constraints: 31053
2799.24/2808.83 c #Conflicts: 973000 | #Constraints: 32053
2799.24/2808.83 c #Conflicts: 974000 | #Constraints: 33053
2799.24/2808.83 c #Conflicts: 975000 | #Constraints: 34053
2799.24/2808.83 c #Conflicts: 976000 | #Constraints: 35053
2799.24/2808.83 c #Conflicts: 977000 | #Constraints: 36053
2799.24/2808.83 c #Conflicts: 978000 | #Constraints: 37053
2799.24/2808.83 c #Conflicts: 979000 | #Constraints: 38053
2799.24/2808.83 c #Conflicts: 980000 | #Constraints: 39053
2799.24/2808.83 c #Conflicts: 981000 | #Constraints: 40053
2799.24/2808.83 c INPROCESSING
2799.24/2808.83 c GARBAGE COLLECT
2799.24/2808.83 c #Conflicts: 982000 | #Constraints: 21463
2799.24/2808.83 c #Conflicts: 983000 | #Constraints: 22463
2799.24/2808.83 c #Conflicts: 984000 | #Constraints: 23463
2799.24/2808.83 c #Conflicts: 985000 | #Constraints: 24463
2799.24/2808.83 c #Conflicts: 986000 | #Constraints: 25463
2799.24/2808.83 c #Conflicts: 987000 | #Constraints: 26463
2799.24/2808.83 c #Conflicts: 988000 | #Constraints: 27463
2799.24/2808.83 c #Conflicts: 989000 | #Constraints: 28463
2799.24/2808.83 c #Conflicts: 990000 | #Constraints: 29463
2799.24/2808.83 c #Conflicts: 991000 | #Constraints: 30463
2799.24/2808.83 c #Conflicts: 992000 | #Constraints: 31463
2799.24/2808.83 c #Conflicts: 993000 | #Constraints: 32463
2799.24/2808.83 c #Conflicts: 994000 | #Constraints: 33463
2799.24/2808.83 c #Conflicts: 995000 | #Constraints: 34463
2799.24/2808.83 c #Conflicts: 996000 | #Constraints: 35463
2799.24/2808.83 c #Conflicts: 997000 | #Constraints: 36463
2799.24/2808.83 c #Conflicts: 998000 | #Constraints: 37463
2799.24/2808.83 c #Conflicts: 999000 | #Constraints: 38463
2799.24/2808.83 c #Conflicts: 1000000 | #Constraints: 39463
2799.24/2808.83 c #Conflicts: 1001000 | #Constraints: 40463
2799.24/2808.83 c INPROCESSING
2799.24/2808.83 c GARBAGE COLLECT
2799.24/2808.83 c #Conflicts: 1002000 | #Constraints: 21641
2799.24/2808.83 c #Conflicts: 1003000 | #Constraints: 22641
2799.24/2808.83 c #Conflicts: 1004000 | #Constraints: 23641
2799.24/2808.83 c #Conflicts: 1005000 | #Constraints: 24641
2799.24/2808.83 c #Conflicts: 1006000 | #Constraints: 25641
2799.24/2808.83 c #Conflicts: 1007000 | #Constraints: 26641
2799.24/2808.83 c #Conflicts: 1008000 | #Constraints: 27641
2799.24/2808.83 c #Conflicts: 1009000 | #Constraints: 28641
2799.24/2808.83 c #Conflicts: 1010000 | #Constraints: 29641
2799.24/2808.83 c #Conflicts: 1011000 | #Constraints: 30641
2799.24/2808.83 c #Conflicts: 1012000 | #Constraints: 31641
2799.24/2808.83 c #Conflicts: 1013000 | #Constraints: 32641
2799.24/2808.83 c #Conflicts: 1014000 | #Constraints: 33641
2799.24/2808.83 c #Conflicts: 1015000 | #Constraints: 34641
2799.24/2808.83 c #Conflicts: 1016000 | #Constraints: 35641
2799.24/2808.83 c #Conflicts: 1017000 | #Constraints: 36641
2799.24/2808.83 c #Conflicts: 1018000 | #Constraints: 37641
2799.24/2808.83 c #Conflicts: 1019000 | #Constraints: 38641
2799.24/2808.83 c #Conflicts: 1020000 | #Constraints: 39641
2799.24/2808.83 c #Conflicts: 1021000 | #Constraints: 40641
2799.24/2808.83 c INPROCESSING
2799.24/2808.83 c GARBAGE COLLECT
2799.24/2808.83 c #Conflicts: 1022000 | #Constraints: 21645
2799.24/2808.83 c #Conflicts: 1023000 | #Constraints: 22645
2799.24/2808.83 c #Conflicts: 1024000 | #Constraints: 23645
2799.24/2808.83 c #Conflicts: 1025000 | #Constraints: 24645
2799.24/2808.83 c #Conflicts: 1026000 | #Constraints: 25645
2799.24/2808.83 c #Conflicts: 1027000 | #Constraints: 26645
2799.24/2808.83 c #Conflicts: 1028000 | #Constraints: 27645
2799.24/2808.83 c #Conflicts: 1029000 | #Constraints: 28645
2799.24/2808.83 c #Conflicts: 1030000 | #Constraints: 29645
2799.24/2808.83 c #Conflicts: 1031000 | #Constraints: 30645
2799.24/2808.83 c #Conflicts: 1032000 | #Constraints: 31645
2799.24/2808.83 c #Conflicts: 1033000 | #Constraints: 32645
2799.24/2808.83 c #Conflicts: 1034000 | #Constraints: 33645
2799.24/2808.83 c #Conflicts: 1035000 | #Constraints: 34645
2799.24/2808.83 c #Conflicts: 1036000 | #Constraints: 35645
2799.24/2808.83 c #Conflicts: 1037000 | #Constraints: 36645
2799.24/2808.83 c #Conflicts: 1038000 | #Constraints: 37645
2799.24/2808.83 c #Conflicts: 1039000 | #Constraints: 38645
2799.24/2808.83 c #Conflicts: 1040000 | #Constraints: 39645
2799.24/2808.83 c #Conflicts: 1041000 | #Constraints: 40645
2799.24/2808.83 c INPROCESSING
2799.24/2808.83 c GARBAGE COLLECT
2799.24/2808.83 c #Conflicts: 1042000 | #Constraints: 21438
2799.24/2808.83 c #Conflicts: 1043000 | #Constraints: 22438
2799.24/2808.83 c #Conflicts: 1044000 | #Constraints: 23438
3554.72/3566.80 c #Conflicts: 1045000 | #Constraints: 24438
3554.72/3566.80 c #Conflicts: 1046000 | #Constraints: 25438
3554.72/3566.80 c #Conflicts: 1047000 | #Constraints: 26438
3554.72/3566.80 c #Conflicts: 1048000 | #Constraints: 27438
3554.72/3566.80 c #Conflicts: 1049000 | #Constraints: 28438
3554.72/3566.80 c #Conflicts: 1050000 | #Constraints: 29438
3554.72/3566.80 c #Conflicts: 1051000 | #Constraints: 30438
3554.72/3566.80 c #Conflicts: 1052000 | #Constraints: 31438
3554.72/3566.80 c #Conflicts: 1053000 | #Constraints: 32438
3554.72/3566.80 c #Conflicts: 1054000 | #Constraints: 33438
3554.72/3566.80 c #Conflicts: 1055000 | #Constraints: 34438
3554.72/3566.80 c #Conflicts: 1056000 | #Constraints: 35438
3554.72/3566.80 c #Conflicts: 1057000 | #Constraints: 36438
3554.72/3566.80 c #Conflicts: 1058000 | #Constraints: 37438
3554.72/3566.80 c #Conflicts: 1059000 | #Constraints: 38438
3554.72/3566.80 c #Conflicts: 1060000 | #Constraints: 39438
3554.72/3566.80 c #Conflicts: 1061000 | #Constraints: 40438
3554.72/3566.80 c #Conflicts: 1062000 | #Constraints: 41438
3554.72/3566.80 c INPROCESSING
3554.72/3566.80 c GARBAGE COLLECT
3554.72/3566.80 c #Conflicts: 1063000 | #Constraints: 22047
3554.72/3566.81 c #Conflicts: 1064000 | #Constraints: 23047
3554.72/3566.81 c #Conflicts: 1065000 | #Constraints: 24047
3554.72/3566.81 c #Conflicts: 1066000 | #Constraints: 25047
3554.72/3566.81 c #Conflicts: 1067000 | #Constraints: 26047
3554.72/3566.81 c #Conflicts: 1068000 | #Constraints: 27047
3554.72/3566.81 c #Conflicts: 1069000 | #Constraints: 28047
3554.72/3566.81 c #Conflicts: 1070000 | #Constraints: 29047
3554.72/3566.81 c #Conflicts: 1071000 | #Constraints: 30047
3554.72/3566.81 c #Conflicts: 1072000 | #Constraints: 31047
3554.72/3566.81 c #Conflicts: 1073000 | #Constraints: 32047
3554.72/3566.81 c #Conflicts: 1074000 | #Constraints: 33047
3554.72/3566.81 c #Conflicts: 1075000 | #Constraints: 34047
3554.72/3566.81 c #Conflicts: 1076000 | #Constraints: 35047
3554.72/3566.81 c #Conflicts: 1077000 | #Constraints: 36047
3554.72/3566.81 c #Conflicts: 1078000 | #Constraints: 37047
3554.72/3566.81 c #Conflicts: 1079000 | #Constraints: 38047
3554.72/3566.81 c #Conflicts: 1080000 | #Constraints: 39047
3554.72/3566.81 c #Conflicts: 1081000 | #Constraints: 40047
3554.72/3566.81 c #Conflicts: 1082000 | #Constraints: 41047
3554.72/3566.81 c #Conflicts: 1083000 | #Constraints: 42047
3554.72/3566.81 c INPROCESSING
3554.72/3566.81 c GARBAGE COLLECT
3554.72/3566.81 c #Conflicts: 1084000 | #Constraints: 22460
3554.72/3566.81 c #Conflicts: 1085000 | #Constraints: 23460
3554.72/3566.81 c #Conflicts: 1086000 | #Constraints: 24460
3554.72/3566.81 c #Conflicts: 1087000 | #Constraints: 25460
3554.72/3566.81 c #Conflicts: 1088000 | #Constraints: 26460
3554.72/3566.81 c #Conflicts: 1089000 | #Constraints: 27460
3554.72/3566.81 c #Conflicts: 1090000 | #Constraints: 28460
3554.72/3566.81 c #Conflicts: 1091000 | #Constraints: 29460
3554.72/3566.81 c #Conflicts: 1092000 | #Constraints: 30460
3554.72/3566.81 c #Conflicts: 1093000 | #Constraints: 31460
3554.72/3566.81 c #Conflicts: 1094000 | #Constraints: 32460
3554.72/3566.81 c #Conflicts: 1095000 | #Constraints: 33460
3554.72/3566.81 c #Conflicts: 1096000 | #Constraints: 34460
3554.72/3566.81 c #Conflicts: 1097000 | #Constraints: 35460
3554.72/3566.81 c #Conflicts: 1098000 | #Constraints: 36460
3554.72/3566.81 c #Conflicts: 1099000 | #Constraints: 37460
3554.72/3566.81 c #Conflicts: 1100000 | #Constraints: 38460
3554.72/3566.81 c #Conflicts: 1101000 | #Constraints: 39460
3554.72/3566.81 c #Conflicts: 1102000 | #Constraints: 40460
3554.72/3566.81 c #Conflicts: 1103000 | #Constraints: 41460
3554.72/3566.81 c #Conflicts: 1104000 | #Constraints: 42460
3554.72/3566.81 c INPROCESSING
3554.72/3566.81 c GARBAGE COLLECT
3554.72/3566.81 c #Conflicts: 1105000 | #Constraints: 22690
3554.72/3566.81 c #Conflicts: 1106000 | #Constraints: 23690
3554.72/3566.81 c #Conflicts: 1107000 | #Constraints: 24690
3554.72/3566.81 c #Conflicts: 1108000 | #Constraints: 25690
3554.72/3566.81 c #Conflicts: 1109000 | #Constraints: 26690
3554.72/3566.81 c #Conflicts: 1110000 | #Constraints: 27690
3554.72/3566.81 c #Conflicts: 1111000 | #Constraints: 28690
3554.72/3566.81 c #Conflicts: 1112000 | #Constraints: 29690
3554.72/3566.81 c #Conflicts: 1113000 | #Constraints: 30690
3554.72/3566.81 c #Conflicts: 1114000 | #Constraints: 31690
3554.72/3566.81 c #Conflicts: 1115000 | #Constraints: 32690
3554.72/3566.81 c #Conflicts: 1116000 | #Constraints: 33690
3554.72/3566.81 c #Conflicts: 1117000 | #Constraints: 34690
3554.72/3566.81 c #Conflicts: 1118000 | #Constraints: 35690
3554.72/3566.81 c #Conflicts: 1119000 | #Constraints: 36690
3554.72/3566.81 c #Conflicts: 1120000 | #Constraints: 37690
3554.72/3566.81 c #Conflicts: 1121000 | #Constraints: 38690
3600.08/3612.30 c #Conflicts: 1122000 | #Constraints: 39690
3600.08/3612.30 c Program interrupted by user.
3600.08/3612.30 c cpu time 3585.08 s
3600.08/3612.30 c deterministic time 835263954664 8.35e+11
3600.08/3612.30 c optimization time 238.293 s
3600.08/3612.30 c total solve time 3346.75 s
3600.08/3612.30 c core-guided solve time 3346.75 s
3600.08/3612.30 c propagation time 2936.72 s
3600.08/3612.30 c conflict analysis time 566.456 s
3600.08/3612.30 c propagations 459717255
3600.08/3612.30 c resolve steps 9980513
3600.08/3612.30 c decisions 9785517
3600.08/3612.30 c conflicts 1122776
3600.08/3612.30 c restarts 2046
3600.08/3612.30 c inprocessing phases 96
3600.08/3612.30 c input clauses 8512
3600.08/3612.30 c input cardinalities 98
3600.08/3612.30 c input general constraints 576
3600.08/3612.30 c input average constraint length 9.75
3600.08/3612.30 c input average constraint degree 71.75
3600.08/3612.30 c learned clauses 130314
3600.08/3612.30 c learned cardinalities 16726
3600.08/3612.30 c learned general constraints 975736
3600.08/3612.30 c learned average constraint length 917.49
3600.08/3612.30 c learned average constraint degree 60031950.26
3600.08/3612.30 c watched constraints 776878
3600.08/3612.30 c counting constraints 199434
3600.08/3612.30 c gcd simplifications 79042
3600.08/3612.30 c detected cardinalities 425
3600.08/3612.30 c weakened non-implied lits 135059776
3600.08/3612.30 c weakened non-implying lits 128660
3600.08/3612.30 c original variables 8424
3600.08/3612.30 c clausal propagations 1481956
3600.08/3612.30 c cardinality propagations 8362188
3600.08/3612.30 c watched propagations 23678596
3600.08/3612.30 c counting propagations 424095427
3600.08/3612.30 c watch lookups 23847709364
3600.08/3612.30 c watch backjump lookups 21065655792
3600.08/3612.30 c watch checks 699547097063
3600.08/3612.30 c propagation checks 86185875944
3600.08/3612.30 c constraint additions 3677494859
3600.08/3612.30 c trail pops 470618869
3600.08/3612.30 c formula constraints 9186
3600.08/3612.30 c learned constraints 1122776
3600.08/3612.30 c bound constraints 0
3600.08/3612.30 c core-guided constraints 0
3600.08/3612.30 c encountered formula constraints 6126622
3600.08/3612.30 c encountered learned constraints 4976667
3600.08/3612.30 c encountered bound constraints 0
3600.08/3612.30 c encountered core-guided constraints 0
3600.08/3612.30 c LP total time 0 s
3600.08/3612.30 c LP solve time 0 s
3600.08/3612.30 c LP constraints added 0
3600.08/3612.30 c LP constraints removed 0
3600.08/3612.30 c LP pivots internal 0
3600.08/3612.30 c LP pivots root 0
3600.08/3612.30 c LP calls 0
3600.08/3612.30 c LP optimalities 0
3600.08/3612.30 c LP no pivot count 0
3600.08/3612.30 c LP infeasibilities 0
3600.08/3612.30 c LP valid Farkas constraints 0
3600.08/3612.30 c LP learned Farkas constraints 0
3600.08/3612.30 c LP basis resets 0
3600.08/3612.30 c LP cycling count 0
3600.08/3612.30 c LP singular count 0
3600.08/3612.30 c LP no primal count 0
3600.08/3612.30 c LP no farkas count 0
3600.08/3612.30 c LP other issue count 0
3600.08/3612.30 c LP Gomory cuts 0
3600.08/3612.30 c LP learned cuts 0
3600.08/3612.30 c LP deleted cuts 0
3600.08/3612.30 c LP encountered Gomory constraints 0
3600.08/3612.30 c LP encountered Farkas constraints 0
3600.08/3612.30 c LP encountered learned Farkas constraints 0
3600.08/3612.30 c CG auxiliary variables introduced 0
3600.08/3612.30 c CG solutions found 0
3600.08/3612.30 c CG cores constructed 0
3600.08/3612.30 c CG core cardinality constraints returned 0
3600.08/3612.30 c CG unit cores 0
3600.08/3612.30 c CG single cores 0
3600.08/3612.30 c CG blocks removed during cardinality reduction 0
3600.08/3612.30 c CG first core best 0
3600.08/3612.30 c CG decision core best 0
3600.08/3612.30 c CG core reduction tie 0
3600.08/3612.30 c CG core degree average 0.00
3600.08/3612.30 c CG core slack average 0.00
3600.08/3612.30 c CG exhausted 0
3600.08/3612.30 c CG exhaust time 0 s
3600.08/3612.30 c CG trimmed 0
3600.08/3612.30 c CG trim time 0 s
3600.08/3612.30 c CG minimized 0
3600.08/3612.30 c CG minimize time 0 s
3600.08/3612.30 c CG am1 prop time 0 s
3600.08/3612.30 c CG # am1s reformulated 0
3600.08/3612.30 c CG lower bound derived from am1s 0
3600.08/3612.30 c CG # clausal cores 0
3600.08/3612.30 c CG # cardinality cores 0
3600.08/3612.30 c CG # pb cores 0
3600.08/3612.30 c CG # pb reforms 0
3600.08/3612.30 c CG # cores discarded because of pb reform 0
3600.08/3612.30 d LOWERBOUND 0
3600.08/3612.30 d NCORES 0
3600.08/3612.30 d NPBCORES 0
3600.08/3612.30 d NPBREFORM 0
3600.08/3612.30 d NTRIMMED 0
3600.08/3612.30 d NEXHAUSTED 0
3600.08/3612.30 d NAM1S 0
3600.08/3612.30 d AM1LB 0
3600.08/3612.32 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: 64096 MiB (62937 MiB free)
memory of node 1: 64473 MiB (61207 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454450-1721472921/watcher-4454450-1721472921 -o /tmp/evaluation-result-4454450-1721472921/solver-4454450-1721472921 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721469315-1062594 --watchdog 3760 pb-oll-rs HOME/instance-4454450-1721472921.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1064680, runsolver pid=1064677
[startup+0.100106 s]*
/proc/loadavg: 4.02 4.11 4.08 5/245 1064681
/proc/meminfo: memFree=127108372/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=42944 memory=11436 CPUtime=0.11 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 1665 0 0 0 9 2 0 0 20 0 1 0 199450825 43974656 2859 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 10736 2859 1376 291 0 2270 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 42944 KiB
Current children cumulated memory: 11436 KiB
[startup+0.212997 s]*
/proc/loadavg: 4.02 4.11 4.08 5/245 1064681
/proc/meminfo: memFree=127100492/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=44108 memory=14592 CPUtime=0.21 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 1969 0 0 0 19 2 0 0 20 0 1 0 199450825 45166592 3648 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 11027 3648 1376 291 0 2561 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44108 KiB
Current children cumulated memory: 14592 KiB
[startup+0.312811 s]*
/proc/loadavg: 4.02 4.11 4.08 5/245 1064681
/proc/meminfo: memFree=127094300/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=45140 memory=16080 CPUtime=0.32 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 2286 0 0 0 29 3 0 0 20 0 1 0 199450825 46223360 4020 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 11285 4020 1392 291 0 2819 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 45140 KiB
Current children cumulated memory: 16080 KiB
[startup+0.70033 s]
/proc/loadavg: 4.02 4.11 4.08 5/245 1064681
/proc/meminfo: memFree=127076192/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=49392 memory=20116 CPUtime=0.69 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 2845 0 0 0 64 5 0 0 20 0 1 0 199450825 50577408 5029 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 12348 5029 1392 291 0 3882 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49392 KiB
Current children cumulated memory: 20116 KiB
[startup+1.50032 s]
/proc/loadavg: 4.02 4.10 4.08 5/245 1064681
/proc/meminfo: memFree=126990264/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=64180 memory=29012 CPUtime=1.48 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 4441 0 0 0 141 7 0 0 20 0 1 0 199450825 65720320 7253 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 16045 7253 1454 291 0 7579 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 64180 KiB
Current children cumulated memory: 29012 KiB
[startup+3.11286 s]
/proc/loadavg: 4.02 4.10 4.08 5/245 1064681
/proc/meminfo: memFree=126790148/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=67468 memory=36468 CPUtime=3.09 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 5306 0 0 0 299 10 0 0 20 0 1 0 199450825 69087232 9117 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 16867 9117 1454 291 0 8401 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 67468 KiB
Current children cumulated memory: 36468 KiB
[startup+6.30029 s]
/proc/loadavg: 4.10 4.12 4.09 5/245 1064681
/proc/meminfo: memFree=126715680/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=71312 memory=40296 CPUtime=6.27 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 6267 0 0 0 611 16 0 0 20 0 1 0 199450825 73023488 10074 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 17828 10074 1454 291 0 9362 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 71312 KiB
Current children cumulated memory: 40296 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.13 4.09 5/246 1065065
/proc/meminfo: memFree=126339444/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=93284 memory=57788 CPUtime=12.65 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 9096 0 0 0 1235 30 0 0 20 0 1 0 199450825 95522816 14447 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 23321 14447 1454 291 0 14855 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 93284 KiB
Current children cumulated memory: 57788 KiB
[startup+25.5003 s]
/proc/loadavg: 4.37 4.18 4.11 5/244 1065068
/proc/meminfo: memFree=125943244/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=103376 memory=72956 CPUtime=25.4 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 11407 0 0 0 2491 49 0 0 20 0 1 0 199450825 105857024 18239 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 25844 18239 1454 291 0 17378 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 103376 KiB
Current children cumulated memory: 72956 KiB
[startup+51.1133 s]
/proc/loadavg: 4.70 4.28 4.14 5/244 1065164
/proc/meminfo: memFree=125603668/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=140264 memory=101580 CPUtime=50.92 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 16059 0 0 0 5002 90 0 0 20 0 1 0 199450825 143630336 25395 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 35066 25395 1454 291 0 26600 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 140264 KiB
Current children cumulated memory: 101580 KiB
[startup+102.3 s]
/proc/loadavg: 4.53 4.31 4.16 5/244 1065173
/proc/meminfo: memFree=124774812/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=268020 memory=197572 CPUtime=101.94 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 27371 0 0 0 10076 118 0 0 20 0 1 0 199450825 274452480 49393 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 67005 49393 1454 291 0 58539 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 268020 KiB
Current children cumulated memory: 197572 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.26 4.16 5/244 1065183
/proc/meminfo: memFree=123783044/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=274360 memory=204920 CPUtime=161.72 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 29851 0 0 0 15998 174 0 0 20 0 1 0 199450825 280944640 51230 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 68590 51230 1454 291 0 60124 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 274360 KiB
Current children cumulated memory: 204920 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.24 4.16 5/245 1065364
/proc/meminfo: memFree=123431164/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=283976 memory=213736 CPUtime=221.51 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 32155 0 0 0 21922 229 0 0 20 0 1 0 199450825 290791424 53434 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 70994 53434 1454 291 0 62528 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 283976 KiB
Current children cumulated memory: 213736 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.21 4.15 5/245 1065374
/proc/meminfo: memFree=122811492/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=302064 memory=228384 CPUtime=281.29 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 35885 0 0 0 27871 258 0 0 20 0 1 0 199450825 309313536 57096 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 75516 57096 1454 291 0 67050 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 302064 KiB
Current children cumulated memory: 228384 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.18 4.14 5/243 1065397
/proc/meminfo: memFree=122342944/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=311080 memory=236372 CPUtime=341.08 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 37933 0 0 0 33813 295 0 0 20 0 1 0 199450825 318545920 59093 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 77770 59093 1454 291 0 69304 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 311080 KiB
Current children cumulated memory: 236372 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.18 4.14 5/243 1065407
/proc/meminfo: memFree=122065900/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=318948 memory=243188 CPUtime=400.87 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 39800 0 0 0 39748 339 0 0 20 0 1 0 199450825 326602752 60797 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 79737 60797 1454 291 0 71271 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 318948 KiB
Current children cumulated memory: 243188 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.16 4.14 5/243 1065512
/proc/meminfo: memFree=123367496/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=325096 memory=247984 CPUtime=460.66 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 41132 0 0 0 45676 390 0 0 20 0 1 0 199450825 332898304 61996 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 81274 61996 1454 291 0 72808 0
################
# More data... #
################
Current children cumulated memory: 685588 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/242 1066566
/proc/meminfo: memFree=118834800/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=850032 memory=687280 CPUtime=2912.35 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 111073 0 0 0 289833 1402 0 0 20 0 1 0 199450825 870432768 171820 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 212508 171820 1454 291 0 204042 0
Current children cumulated CPU time: 2912.35 s
Current children cumulated vsize: 850032 KiB
Current children cumulated memory: 687280 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/242 1066577
/proc/meminfo: memFree=118584904/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=855600 memory=692904 CPUtime=2972.14 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 112671 0 0 0 295798 1416 0 0 20 0 1 0 199450825 876134400 173226 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 213900 173226 1454 291 0 205434 0
Current children cumulated CPU time: 2972.14 s
Current children cumulated vsize: 855600 KiB
Current children cumulated memory: 692904 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/241 1066588
/proc/meminfo: memFree=118556220/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=856116 memory=693152 CPUtime=3031.94 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 112766 0 0 0 301766 1428 0 0 20 0 1 0 199450825 876662784 173288 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 214029 173288 1454 291 0 205563 0
Current children cumulated CPU time: 3031.94 s
Current children cumulated vsize: 856116 KiB
Current children cumulated memory: 693152 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.14 4.17 5/241 1066598
/proc/meminfo: memFree=118486792/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=861748 memory=697028 CPUtime=3091.75 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 113786 0 0 0 307739 1436 0 0 20 0 1 0 199450825 882429952 174257 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 215437 174257 1454 291 0 206971 0
Current children cumulated CPU time: 3091.75 s
Current children cumulated vsize: 861748 KiB
Current children cumulated memory: 697028 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/241 1066608
/proc/meminfo: memFree=118230900/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=866100 memory=701308 CPUtime=3151.55 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 114867 0 0 0 313713 1442 0 0 20 0 1 0 199450825 886886400 175327 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 216525 175327 1454 291 0 208059 0
Current children cumulated CPU time: 3151.55 s
Current children cumulated vsize: 866100 KiB
Current children cumulated memory: 701308 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/241 1066619
/proc/meminfo: memFree=118201840/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=869684 memory=705088 CPUtime=3211.36 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 115895 0 0 0 319688 1448 0 0 20 0 1 0 199450825 890556416 176272 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 217421 176272 1454 291 0 208955 0
Current children cumulated CPU time: 3211.36 s
Current children cumulated vsize: 869684 KiB
Current children cumulated memory: 705088 KiB
[startup+3282.3 s]
/proc/loadavg: 4.23 4.17 4.17 5/241 1066629
/proc/meminfo: memFree=118171440/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=875316 memory=710248 CPUtime=3271.17 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 117274 0 0 0 325663 1454 0 0 20 0 1 0 199450825 896323584 177562 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 218829 177562 1454 291 0 210363 0
Current children cumulated CPU time: 3271.17 s
Current children cumulated vsize: 875316 KiB
Current children cumulated memory: 710248 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.16 4.17 5/243 1066643
/proc/meminfo: memFree=118136180/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=884788 memory=717384 CPUtime=3330.97 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 119109 0 0 0 331639 1458 0 0 20 0 1 0 199450825 906022912 179346 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 221197 179346 1454 291 0 212731 0
Current children cumulated CPU time: 3330.97 s
Current children cumulated vsize: 884788 KiB
Current children cumulated memory: 717384 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/243 1066653
/proc/meminfo: memFree=118105244/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=891320 memory=722144 CPUtime=3390.77 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 120466 0 0 0 337604 1473 0 0 20 0 1 0 199450825 912711680 180536 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 222830 180536 1454 291 0 214364 0
Current children cumulated CPU time: 3390.77 s
Current children cumulated vsize: 891320 KiB
Current children cumulated memory: 722144 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/243 1066664
/proc/meminfo: memFree=118078264/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=891768 memory=722468 CPUtime=3450.57 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 120596 0 0 0 343575 1482 0 0 20 0 1 0 199450825 913170432 180617 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 222942 180617 1454 291 0 214476 0
Current children cumulated CPU time: 3450.57 s
Current children cumulated vsize: 891768 KiB
Current children cumulated memory: 722468 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/243 1066674
/proc/meminfo: memFree=118031024/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=895224 memory=724920 CPUtime=3510.37 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 121334 0 0 0 349549 1488 0 0 20 0 1 0 199450825 916709376 181230 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 223806 181230 1454 291 0 215340 0
Current children cumulated CPU time: 3510.37 s
Current children cumulated vsize: 895224 KiB
Current children cumulated memory: 724920 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/243 1066686
/proc/meminfo: memFree=117901412/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=899320 memory=742796 CPUtime=3570.17 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 122309 0 0 0 355522 1495 0 0 20 0 1 0 199450825 920903680 185699 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 224830 185699 1454 291 0 216364 0
Current children cumulated CPU time: 3570.17 s
Current children cumulated vsize: 899320 KiB
Current children cumulated memory: 742796 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/244 1067123
/proc/meminfo: memFree=125735844/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=907640 memory=767008 CPUtime=3600.08 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 123893 0 0 0 358508 1500 0 0 20 0 1 0 199450825 929423360 191752 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 226910 191752 1454 291 0 218444 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 907640 KiB
Current children cumulated memory: 767008 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.33 s]
# the end of solver process 1064680 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.09 s, system=15.0296 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/244 1067123
/proc/meminfo: memFree=125735844/131655788 swapFree=131071996/131071996
[pid=1064680] ppid=1064677 vsize=907640 memory=767008 CPUtime=3600.08 cores=0,2
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064677 1064680 1062548 0 -1 4194304 123893 0 0 0 358508 1500 0 0 20 0 1 0 199450825 929423360 191752 134679101440 4194304 5384485 140726049515968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10166272 140726049518613 140726049518690 140726049518690 140726049525707 0
/proc/1064680/statm: 226910 191752 1454 291 0 218444 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 907640 KiB
Current children cumulated memory: 767008 KiB
Child status: 0
Real time (s): 3612.33
CPU time (s): 3600.12
CPU user time (s): 3585.09
CPU system time (s): 15.0296
CPU usage (%): 99.6618
Max. virtual memory (cumulated for all children) (KiB): 907640
Max. memory (cumulated for all children) (KiB): 767008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.09
system time used= 15.0296
maximum resident set size= 767256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123973
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= 6
involuntary context switches= 25291
# summary of solver processes directly reported to runsolver:
# pid: 1064680
# total CPU time (s): 3600.12
# total CPU user time (s): 3585.09
# total CPU system time (s): 15.0296
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.293 second user time and 35.5234 second system time
The end
Begin job on nodeC005 at 2024-07-20 12:55:32
IDJOB=4454450
IDBENCH=148768
IDSOLVER=3082
FILE ID=nodeC005/4454450-1721472921
RUNJOBID= nodeC005-1721469315-1062594
SLURM_JOB_ID= 7545729
Free space on /tmp= 723772 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454450-1721472921/watcher-4454450-1721472921 -o /tmp/evaluation-result-4454450-1721472921/solver-4454450-1721472921 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721469315-1062594 --watchdog 3760 pb-oll-rs HOME/instance-4454450-1721472921.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=1283018418
nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3630.859
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3600.516
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.178
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.363
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3656.250
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.048
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.407
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.319
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127125152 kB
MemAvailable: 129320708 kB
Buffers: 568204 kB
Cached: 2453616 kB
SwapCached: 0 kB
Active: 1193824 kB
Inactive: 2734088 kB
Active(anon): 3472 kB
Inactive(anon): 948184 kB
Active(file): 1190352 kB
Inactive(file): 1785904 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 11660 kB
Writeback: 0 kB
AnonPages: 904968 kB
Mapped: 112832 kB
Shmem: 45896 kB
KReclaimable: 118996 kB
Slab: 229204 kB
SReclaimable: 118996 kB
SUnreclaim: 110208 kB
KernelStack: 3900 kB
PageTables: 11568 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1322064 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62720 kB
HardwareCorrupted: 0 kB
AnonHugePages: 266240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 303944 kB
DirectMap2M: 40495104 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723736 MiB
End job on nodeC005 at 2024-07-20 13:55:45