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.06 c [STEP] solving
0.00/0.06 c #variables 11744 #constraints 797
0.00/0.06 c SMALL=int, LARGE=long long
58.85/59.10 c bounds - >= 32 @ 0.053527
58.85/59.10 c #Conflicts: 1000 | #Constraints: 1796
58.85/59.10 c #Conflicts: 2000 | #Constraints: 2796
58.85/59.10 c INPROCESSING
58.85/59.10 c GARBAGE COLLECT
58.85/59.10 c #Conflicts: 3000 | #Constraints: 2810
58.85/59.10 c #Conflicts: 4000 | #Constraints: 3810
58.85/59.10 c INPROCESSING
58.85/59.10 c GARBAGE COLLECT
58.85/59.10 c #Conflicts: 5000 | #Constraints: 3212
58.85/59.10 c #Conflicts: 6000 | #Constraints: 4212
58.85/59.10 c INPROCESSING
58.85/59.10 c GARBAGE COLLECT
58.85/59.10 c #Conflicts: 7000 | #Constraints: 3213
58.85/59.10 c #Conflicts: 8000 | #Constraints: 4213
58.85/59.10 c #Conflicts: 9000 | #Constraints: 5213
58.85/59.10 c INPROCESSING
58.85/59.10 c GARBAGE COLLECT
58.85/59.10 c #Conflicts: 10000 | #Constraints: 3914
58.85/59.10 c #Conflicts: 11000 | #Constraints: 4914
58.85/59.10 c #Conflicts: 12000 | #Constraints: 5914
58.85/59.10 c INPROCESSING
58.85/59.10 c GARBAGE COLLECT
58.85/59.10 c #Conflicts: 13000 | #Constraints: 4365
58.85/59.10 c #Conflicts: 14000 | #Constraints: 5365
58.85/59.10 c #Conflicts: 15000 | #Constraints: 6365
58.85/59.10 c INPROCESSING
58.85/59.10 c GARBAGE COLLECT
58.85/59.10 c #Conflicts: 16000 | #Constraints: 4595
58.85/59.10 c #Conflicts: 17000 | #Constraints: 5595
58.85/59.10 c #Conflicts: 18000 | #Constraints: 6595
58.85/59.10 c INPROCESSING
58.85/59.10 c GARBAGE COLLECT
58.85/59.10 c #Conflicts: 19000 | #Constraints: 4615
58.85/59.10 c #Conflicts: 20000 | #Constraints: 5615
58.85/59.10 c #Conflicts: 21000 | #Constraints: 6615
58.85/59.10 c INPROCESSING
58.85/59.10 c GARBAGE COLLECT
58.85/59.10 c #Conflicts: 22000 | #Constraints: 4414
58.85/59.10 c #Conflicts: 23000 | #Constraints: 5414
58.85/59.10 c #Conflicts: 24000 | #Constraints: 6414
58.85/59.10 c #Conflicts: 25000 | #Constraints: 7414
58.85/59.10 c INPROCESSING
58.85/59.10 c GARBAGE COLLECT
58.85/59.10 c #Conflicts: 26000 | #Constraints: 5017
58.85/59.10 c #Conflicts: 27000 | #Constraints: 6017
58.85/59.10 c #Conflicts: 28000 | #Constraints: 7017
58.85/59.10 c #Conflicts: 29000 | #Constraints: 8017
58.85/59.10 c INPROCESSING
58.85/59.10 c GARBAGE COLLECT
58.85/59.10 c #Conflicts: 30000 | #Constraints: 5418
58.85/59.10 c #Conflicts: 31000 | #Constraints: 6418
58.85/59.10 c #Conflicts: 32000 | #Constraints: 7418
58.85/59.10 c #Conflicts: 33000 | #Constraints: 8418
58.85/59.10 c INPROCESSING
58.85/59.10 c GARBAGE COLLECT
58.85/59.10 c #Conflicts: 34000 | #Constraints: 5617
58.85/59.10 c #Conflicts: 35000 | #Constraints: 6617
58.85/59.10 c #Conflicts: 36000 | #Constraints: 7617
58.85/59.10 c #Conflicts: 37000 | #Constraints: 8617
58.85/59.10 c INPROCESSING
58.85/59.10 c GARBAGE COLLECT
58.85/59.10 c #Conflicts: 38000 | #Constraints: 5624
58.85/59.10 c #Conflicts: 39000 | #Constraints: 6624
58.85/59.10 c #Conflicts: 40000 | #Constraints: 7624
58.85/59.10 c #Conflicts: 41000 | #Constraints: 8624
58.85/59.10 c INPROCESSING
58.85/59.10 c GARBAGE COLLECT
58.85/59.10 c #Conflicts: 42000 | #Constraints: 5429
58.85/59.10 c #Conflicts: 43000 | #Constraints: 6429
58.85/59.10 c #Conflicts: 44000 | #Constraints: 7429
58.85/59.10 c #Conflicts: 45000 | #Constraints: 8429
58.85/59.10 c #Conflicts: 46000 | #Constraints: 9429
58.85/59.10 c INPROCESSING
58.85/59.10 c GARBAGE COLLECT
58.85/59.10 c #Conflicts: 47000 | #Constraints: 6020
58.85/59.10 c #Conflicts: 48000 | #Constraints: 7020
58.85/59.10 c #Conflicts: 49000 | #Constraints: 8020
58.85/59.10 c #Conflicts: 50000 | #Constraints: 9020
58.85/59.10 c #Conflicts: 51000 | #Constraints: 10020
58.85/59.10 c INPROCESSING
58.85/59.10 c GARBAGE COLLECT
58.85/59.10 c #Conflicts: 52000 | #Constraints: 6420
58.85/59.10 c #Conflicts: 53000 | #Constraints: 7420
58.85/59.10 c #Conflicts: 54000 | #Constraints: 8420
58.85/59.10 c #Conflicts: 55000 | #Constraints: 9420
58.85/59.10 c #Conflicts: 56000 | #Constraints: 10420
58.85/59.10 c INPROCESSING
58.85/59.10 c GARBAGE COLLECT
58.85/59.10 c #Conflicts: 57000 | #Constraints: 6612
58.85/59.10 c #Conflicts: 58000 | #Constraints: 7612
58.85/59.10 c #Conflicts: 59000 | #Constraints: 8612
58.85/59.10 c #Conflicts: 60000 | #Constraints: 9612
58.85/59.10 c #Conflicts: 61000 | #Constraints: 10612
58.85/59.10 c INPROCESSING
58.85/59.10 c GARBAGE COLLECT
58.85/59.10 c #Conflicts: 62000 | #Constraints: 6615
58.85/59.10 c #Conflicts: 63000 | #Constraints: 7615
58.85/59.10 c #Conflicts: 64000 | #Constraints: 8615
58.85/59.10 c #Conflicts: 65000 | #Constraints: 9615
58.85/59.10 c #Conflicts: 66000 | #Constraints: 10615
58.85/59.10 c INPROCESSING
58.85/59.10 c GARBAGE COLLECT
58.85/59.10 c #Conflicts: 67000 | #Constraints: 6416
135.54/135.90 c #Conflicts: 68000 | #Constraints: 7416
135.54/135.90 c #Conflicts: 69000 | #Constraints: 8416
135.54/135.90 c #Conflicts: 70000 | #Constraints: 9416
135.54/135.90 c #Conflicts: 71000 | #Constraints: 10416
135.54/135.90 c #Conflicts: 72000 | #Constraints: 11416
135.54/135.90 c INPROCESSING
135.54/135.90 c GARBAGE COLLECT
135.54/135.90 c #Conflicts: 73000 | #Constraints: 7019
135.54/135.90 c #Conflicts: 74000 | #Constraints: 8019
135.54/135.90 c #Conflicts: 75000 | #Constraints: 9019
135.54/135.90 c #Conflicts: 76000 | #Constraints: 10019
135.54/135.90 c #Conflicts: 77000 | #Constraints: 11019
135.54/135.90 c #Conflicts: 78000 | #Constraints: 12019
135.54/135.90 c INPROCESSING
135.54/135.90 c GARBAGE COLLECT
135.54/135.90 c #Conflicts: 79000 | #Constraints: 7423
135.54/135.90 c #Conflicts: 80000 | #Constraints: 8423
135.54/135.90 c #Conflicts: 81000 | #Constraints: 9423
135.54/135.90 c #Conflicts: 82000 | #Constraints: 10423
135.54/135.90 c #Conflicts: 83000 | #Constraints: 11423
135.54/135.90 c #Conflicts: 84000 | #Constraints: 12423
135.54/135.90 c INPROCESSING
135.54/135.90 c GARBAGE COLLECT
135.54/135.90 c #Conflicts: 85000 | #Constraints: 7623
135.54/135.90 c #Conflicts: 86000 | #Constraints: 8623
135.54/135.90 c #Conflicts: 87000 | #Constraints: 9623
135.54/135.90 c #Conflicts: 88000 | #Constraints: 10623
135.54/135.90 c #Conflicts: 89000 | #Constraints: 11623
135.54/135.90 c #Conflicts: 90000 | #Constraints: 12623
135.54/135.90 c INPROCESSING
135.54/135.90 c GARBAGE COLLECT
135.54/135.90 c #Conflicts: 91000 | #Constraints: 7622
135.54/135.90 c #Conflicts: 92000 | #Constraints: 8622
135.54/135.90 c #Conflicts: 93000 | #Constraints: 9622
135.54/135.90 c #Conflicts: 94000 | #Constraints: 10622
135.54/135.90 c #Conflicts: 95000 | #Constraints: 11622
135.54/135.90 c #Conflicts: 96000 | #Constraints: 12622
135.54/135.90 c INPROCESSING
135.54/135.90 c GARBAGE COLLECT
135.54/135.90 c #Conflicts: 97000 | #Constraints: 7427
135.54/135.90 c #Conflicts: 98000 | #Constraints: 8427
135.54/135.90 c #Conflicts: 99000 | #Constraints: 9427
135.54/135.90 c #Conflicts: 100000 | #Constraints: 10427
135.54/135.90 c #Conflicts: 101000 | #Constraints: 11427
135.54/135.90 c #Conflicts: 102000 | #Constraints: 12427
135.54/135.90 c #Conflicts: 103000 | #Constraints: 13427
135.54/135.90 c INPROCESSING
135.54/135.90 c GARBAGE COLLECT
135.54/135.90 c #Conflicts: 104000 | #Constraints: 8015
135.54/135.90 c #Conflicts: 105000 | #Constraints: 9015
135.54/135.90 c #Conflicts: 106000 | #Constraints: 10015
135.54/135.90 c #Conflicts: 107000 | #Constraints: 11015
135.54/135.90 c #Conflicts: 108000 | #Constraints: 12015
135.54/135.90 c #Conflicts: 109000 | #Constraints: 13015
135.54/135.90 c #Conflicts: 110000 | #Constraints: 14015
135.54/135.90 c INPROCESSING
135.54/135.90 c GARBAGE COLLECT
135.54/135.90 c #Conflicts: 111000 | #Constraints: 8421
135.54/135.90 c #Conflicts: 112000 | #Constraints: 9421
135.54/135.90 c #Conflicts: 113000 | #Constraints: 10421
135.54/135.90 c #Conflicts: 114000 | #Constraints: 11421
135.54/135.90 c #Conflicts: 115000 | #Constraints: 12421
135.54/135.90 c #Conflicts: 116000 | #Constraints: 13421
135.54/135.90 c #Conflicts: 117000 | #Constraints: 14421
135.54/135.90 c INPROCESSING
135.54/135.90 c GARBAGE COLLECT
135.54/135.90 c #Conflicts: 118000 | #Constraints: 8615
135.54/135.90 c #Conflicts: 119000 | #Constraints: 9615
135.54/135.90 c #Conflicts: 120000 | #Constraints: 10615
135.54/135.90 c #Conflicts: 121000 | #Constraints: 11615
135.54/135.90 c #Conflicts: 122000 | #Constraints: 12615
135.54/135.90 c #Conflicts: 123000 | #Constraints: 13615
135.54/135.90 c #Conflicts: 124000 | #Constraints: 14615
135.54/135.90 c INPROCESSING
135.54/135.90 c GARBAGE COLLECT
135.54/135.90 c #Conflicts: 125000 | #Constraints: 8612
135.54/135.90 c #Conflicts: 126000 | #Constraints: 9612
135.54/135.90 c #Conflicts: 127000 | #Constraints: 10612
135.54/135.90 c #Conflicts: 128000 | #Constraints: 11612
135.54/135.90 c #Conflicts: 129000 | #Constraints: 12612
135.54/135.90 c #Conflicts: 130000 | #Constraints: 13612
135.54/135.90 c #Conflicts: 131000 | #Constraints: 14612
135.54/135.90 c INPROCESSING
135.54/135.90 c GARBAGE COLLECT
135.54/135.90 c #Conflicts: 132000 | #Constraints: 8413
135.54/135.90 c #Conflicts: 133000 | #Constraints: 9413
135.54/135.90 c #Conflicts: 134000 | #Constraints: 10413
135.54/135.90 c #Conflicts: 135000 | #Constraints: 11413
135.54/135.90 c #Conflicts: 136000 | #Constraints: 12413
135.54/135.90 c #Conflicts: 137000 | #Constraints: 13413
135.54/135.90 c #Conflicts: 138000 | #Constraints: 14413
135.54/135.90 c #Conflicts: 139000 | #Constraints: 15413
135.54/135.90 c INPROCESSING
220.54/221.13 c GARBAGE COLLECT
220.54/221.13 c #Conflicts: 140000 | #Constraints: 9020
220.54/221.13 c #Conflicts: 141000 | #Constraints: 10020
220.54/221.13 c #Conflicts: 142000 | #Constraints: 11020
220.54/221.13 c #Conflicts: 143000 | #Constraints: 12020
220.54/221.13 c #Conflicts: 144000 | #Constraints: 13020
220.54/221.13 c #Conflicts: 145000 | #Constraints: 14020
220.54/221.13 c #Conflicts: 146000 | #Constraints: 15020
220.54/221.13 c #Conflicts: 147000 | #Constraints: 16020
220.54/221.13 c INPROCESSING
220.54/221.13 c GARBAGE COLLECT
220.54/221.13 c #Conflicts: 148000 | #Constraints: 9425
220.54/221.13 c #Conflicts: 149000 | #Constraints: 10425
220.54/221.13 c #Conflicts: 150000 | #Constraints: 11425
220.54/221.13 c #Conflicts: 151000 | #Constraints: 12425
220.54/221.13 c #Conflicts: 152000 | #Constraints: 13425
220.54/221.13 c #Conflicts: 153000 | #Constraints: 14425
220.54/221.13 c #Conflicts: 154000 | #Constraints: 15425
220.54/221.13 c #Conflicts: 155000 | #Constraints: 16425
220.54/221.13 c INPROCESSING
220.54/221.13 c GARBAGE COLLECT
220.54/221.13 c #Conflicts: 156000 | #Constraints: 9626
220.54/221.13 c #Conflicts: 157000 | #Constraints: 10626
220.54/221.13 c #Conflicts: 158000 | #Constraints: 11626
220.54/221.13 c #Conflicts: 159000 | #Constraints: 12626
220.54/221.13 c #Conflicts: 160000 | #Constraints: 13626
220.54/221.13 c #Conflicts: 161000 | #Constraints: 14626
220.54/221.13 c #Conflicts: 162000 | #Constraints: 15626
220.54/221.13 c #Conflicts: 163000 | #Constraints: 16626
220.54/221.13 c INPROCESSING
220.54/221.13 c GARBAGE COLLECT
220.54/221.13 c #Conflicts: 164000 | #Constraints: 9633
220.54/221.13 c #Conflicts: 165000 | #Constraints: 10633
220.54/221.13 c #Conflicts: 166000 | #Constraints: 11633
220.54/221.13 c #Conflicts: 167000 | #Constraints: 12633
220.54/221.13 c #Conflicts: 168000 | #Constraints: 13633
220.54/221.13 c #Conflicts: 169000 | #Constraints: 14633
220.54/221.13 c #Conflicts: 170000 | #Constraints: 15633
220.54/221.13 c #Conflicts: 171000 | #Constraints: 16633
220.54/221.13 c INPROCESSING
220.54/221.13 c GARBAGE COLLECT
220.54/221.13 c #Conflicts: 172000 | #Constraints: 9426
220.54/221.13 c #Conflicts: 173000 | #Constraints: 10426
220.54/221.13 c #Conflicts: 174000 | #Constraints: 11426
220.54/221.13 c #Conflicts: 175000 | #Constraints: 12426
220.54/221.13 c #Conflicts: 176000 | #Constraints: 13426
220.54/221.13 c #Conflicts: 177000 | #Constraints: 14426
220.54/221.13 c #Conflicts: 178000 | #Constraints: 15426
220.54/221.13 c #Conflicts: 179000 | #Constraints: 16426
220.54/221.13 c #Conflicts: 180000 | #Constraints: 17426
220.54/221.13 c INPROCESSING
220.54/221.13 c GARBAGE COLLECT
220.54/221.13 c #Conflicts: 181000 | #Constraints: 10023
220.54/221.13 c #Conflicts: 182000 | #Constraints: 11023
220.54/221.13 c #Conflicts: 183000 | #Constraints: 12023
220.54/221.13 c #Conflicts: 184000 | #Constraints: 13023
220.54/221.13 c #Conflicts: 185000 | #Constraints: 14023
220.54/221.13 c #Conflicts: 186000 | #Constraints: 15023
220.54/221.13 c #Conflicts: 187000 | #Constraints: 16023
220.54/221.13 c #Conflicts: 188000 | #Constraints: 17023
220.54/221.13 c #Conflicts: 189000 | #Constraints: 18023
220.54/221.13 c INPROCESSING
220.54/221.13 c GARBAGE COLLECT
220.54/221.13 c #Conflicts: 190000 | #Constraints: 10427
220.54/221.13 c #Conflicts: 191000 | #Constraints: 11427
220.54/221.13 c #Conflicts: 192000 | #Constraints: 12427
220.54/221.13 c #Conflicts: 193000 | #Constraints: 13427
220.54/221.13 c #Conflicts: 194000 | #Constraints: 14427
220.54/221.13 c #Conflicts: 195000 | #Constraints: 15427
220.54/221.13 c #Conflicts: 196000 | #Constraints: 16427
220.54/221.13 c #Conflicts: 197000 | #Constraints: 17427
220.54/221.13 c #Conflicts: 198000 | #Constraints: 18427
220.54/221.13 c INPROCESSING
220.54/221.13 c GARBAGE COLLECT
220.54/221.13 c #Conflicts: 199000 | #Constraints: 10627
220.54/221.13 c #Conflicts: 200000 | #Constraints: 11627
220.54/221.13 c #Conflicts: 201000 | #Constraints: 12627
220.54/221.13 c #Conflicts: 202000 | #Constraints: 13627
220.54/221.13 c #Conflicts: 203000 | #Constraints: 14627
220.54/221.13 c #Conflicts: 204000 | #Constraints: 15627
220.54/221.13 c #Conflicts: 205000 | #Constraints: 16627
220.54/221.13 c #Conflicts: 206000 | #Constraints: 17627
220.54/221.13 c #Conflicts: 207000 | #Constraints: 18627
220.54/221.13 c INPROCESSING
220.54/221.13 c GARBAGE COLLECT
220.54/221.13 c #Conflicts: 208000 | #Constraints: 10634
220.54/221.13 c #Conflicts: 209000 | #Constraints: 11634
220.54/221.13 c #Conflicts: 210000 | #Constraints: 12634
220.54/221.13 c #Conflicts: 211000 | #Constraints: 13634
220.54/221.13 c #Conflicts: 212000 | #Constraints: 14634
220.54/221.13 c #Conflicts: 213000 | #Constraints: 15634
334.63/335.53 c #Conflicts: 214000 | #Constraints: 16634
334.63/335.53 c #Conflicts: 215000 | #Constraints: 17634
334.63/335.53 c #Conflicts: 216000 | #Constraints: 18634
334.63/335.53 c INPROCESSING
334.63/335.53 c GARBAGE COLLECT
334.63/335.53 c #Conflicts: 217000 | #Constraints: 10432
334.63/335.53 c #Conflicts: 218000 | #Constraints: 11432
334.63/335.53 c #Conflicts: 219000 | #Constraints: 12432
334.63/335.53 c #Conflicts: 220000 | #Constraints: 13432
334.63/335.53 c #Conflicts: 221000 | #Constraints: 14432
334.63/335.53 c #Conflicts: 222000 | #Constraints: 15432
334.63/335.53 c #Conflicts: 223000 | #Constraints: 16432
334.63/335.53 c #Conflicts: 224000 | #Constraints: 17432
334.63/335.53 c #Conflicts: 225000 | #Constraints: 18432
334.63/335.53 c #Conflicts: 226000 | #Constraints: 19432
334.63/335.53 c INPROCESSING
334.63/335.53 c GARBAGE COLLECT
334.63/335.53 c #Conflicts: 227000 | #Constraints: 11034
334.63/335.53 c #Conflicts: 228000 | #Constraints: 12034
334.63/335.53 c #Conflicts: 229000 | #Constraints: 13034
334.63/335.53 c #Conflicts: 230000 | #Constraints: 14034
334.63/335.53 c #Conflicts: 231000 | #Constraints: 15034
334.63/335.53 c #Conflicts: 232000 | #Constraints: 16034
334.63/335.53 c #Conflicts: 233000 | #Constraints: 17034
334.63/335.53 c #Conflicts: 234000 | #Constraints: 18034
334.63/335.53 c #Conflicts: 235000 | #Constraints: 19034
334.63/335.53 c #Conflicts: 236000 | #Constraints: 20034
334.63/335.53 c INPROCESSING
334.63/335.53 c GARBAGE COLLECT
334.63/335.53 c #Conflicts: 237000 | #Constraints: 11427
334.63/335.53 c #Conflicts: 238000 | #Constraints: 12427
334.63/335.53 c #Conflicts: 239000 | #Constraints: 13427
334.63/335.53 c #Conflicts: 240000 | #Constraints: 14427
334.63/335.53 c #Conflicts: 241000 | #Constraints: 15427
334.63/335.53 c #Conflicts: 242000 | #Constraints: 16427
334.63/335.53 c #Conflicts: 243000 | #Constraints: 17427
334.63/335.53 c #Conflicts: 244000 | #Constraints: 18427
334.63/335.53 c #Conflicts: 245000 | #Constraints: 19427
334.63/335.53 c #Conflicts: 246000 | #Constraints: 20427
334.63/335.53 c INPROCESSING
334.63/335.53 c GARBAGE COLLECT
334.63/335.53 c #Conflicts: 247000 | #Constraints: 11626
334.63/335.53 c #Conflicts: 248000 | #Constraints: 12626
334.63/335.53 c #Conflicts: 249000 | #Constraints: 13626
334.63/335.53 c #Conflicts: 250000 | #Constraints: 14626
334.63/335.53 c #Conflicts: 251000 | #Constraints: 15626
334.63/335.53 c #Conflicts: 252000 | #Constraints: 16626
334.63/335.53 c #Conflicts: 253000 | #Constraints: 17626
334.63/335.53 c #Conflicts: 254000 | #Constraints: 18626
334.63/335.53 c #Conflicts: 255000 | #Constraints: 19626
334.63/335.53 c #Conflicts: 256000 | #Constraints: 20626
334.63/335.53 c INPROCESSING
334.63/335.53 c GARBAGE COLLECT
334.63/335.53 c #Conflicts: 257000 | #Constraints: 11618
334.63/335.53 c #Conflicts: 258000 | #Constraints: 12618
334.63/335.53 c #Conflicts: 259000 | #Constraints: 13618
334.63/335.53 c #Conflicts: 260000 | #Constraints: 14618
334.63/335.53 c #Conflicts: 261000 | #Constraints: 15618
334.63/335.53 c #Conflicts: 262000 | #Constraints: 16618
334.63/335.53 c #Conflicts: 263000 | #Constraints: 17618
334.63/335.53 c #Conflicts: 264000 | #Constraints: 18618
334.63/335.53 c #Conflicts: 265000 | #Constraints: 19618
334.63/335.53 c #Conflicts: 266000 | #Constraints: 20618
334.63/335.53 c INPROCESSING
334.63/335.53 c GARBAGE COLLECT
334.63/335.53 c #Conflicts: 267000 | #Constraints: 11423
334.63/335.53 c #Conflicts: 268000 | #Constraints: 12423
334.63/335.53 c #Conflicts: 269000 | #Constraints: 13423
334.63/335.53 c #Conflicts: 270000 | #Constraints: 14423
334.63/335.53 c #Conflicts: 271000 | #Constraints: 15423
334.63/335.53 c #Conflicts: 272000 | #Constraints: 16423
334.63/335.53 c #Conflicts: 273000 | #Constraints: 17423
334.63/335.53 c #Conflicts: 274000 | #Constraints: 18423
334.63/335.53 c #Conflicts: 275000 | #Constraints: 19423
334.63/335.53 c #Conflicts: 276000 | #Constraints: 20423
334.63/335.53 c #Conflicts: 277000 | #Constraints: 21423
334.63/335.53 c INPROCESSING
334.63/335.53 c GARBAGE COLLECT
334.63/335.53 c #Conflicts: 278000 | #Constraints: 12018
334.63/335.53 c #Conflicts: 279000 | #Constraints: 13018
334.63/335.53 c #Conflicts: 280000 | #Constraints: 14018
334.63/335.53 c #Conflicts: 281000 | #Constraints: 15018
334.63/335.53 c #Conflicts: 282000 | #Constraints: 16018
334.63/335.53 c #Conflicts: 283000 | #Constraints: 17018
334.63/335.53 c #Conflicts: 284000 | #Constraints: 18018
334.63/335.53 c #Conflicts: 285000 | #Constraints: 19018
334.63/335.53 c #Conflicts: 286000 | #Constraints: 20018
334.63/335.53 c #Conflicts: 287000 | #Constraints: 21018
485.56/486.84 c #Conflicts: 288000 | #Constraints: 22018
485.56/486.84 c INPROCESSING
485.56/486.84 c GARBAGE COLLECT
485.56/486.84 c #Conflicts: 289000 | #Constraints: 12414
485.56/486.84 c #Conflicts: 290000 | #Constraints: 13414
485.56/486.84 c #Conflicts: 291000 | #Constraints: 14414
485.56/486.84 c #Conflicts: 292000 | #Constraints: 15414
485.56/486.84 c #Conflicts: 293000 | #Constraints: 16414
485.56/486.84 c #Conflicts: 294000 | #Constraints: 17414
485.56/486.84 c #Conflicts: 295000 | #Constraints: 18414
485.56/486.84 c #Conflicts: 296000 | #Constraints: 19414
485.56/486.84 c #Conflicts: 297000 | #Constraints: 20414
485.56/486.84 c #Conflicts: 298000 | #Constraints: 21414
485.56/486.84 c #Conflicts: 299000 | #Constraints: 22414
485.56/486.84 c INPROCESSING
485.56/486.84 c GARBAGE COLLECT
485.56/486.84 c #Conflicts: 300000 | #Constraints: 12619
485.56/486.84 c #Conflicts: 301000 | #Constraints: 13619
485.56/486.84 c #Conflicts: 302000 | #Constraints: 14619
485.56/486.84 c #Conflicts: 303000 | #Constraints: 15619
485.56/486.84 c #Conflicts: 304000 | #Constraints: 16619
485.56/486.84 c #Conflicts: 305000 | #Constraints: 17619
485.56/486.84 c #Conflicts: 306000 | #Constraints: 18619
485.56/486.84 c #Conflicts: 307000 | #Constraints: 19619
485.56/486.84 c #Conflicts: 308000 | #Constraints: 20619
485.56/486.84 c #Conflicts: 309000 | #Constraints: 21619
485.56/486.84 c #Conflicts: 310000 | #Constraints: 22619
485.56/486.84 c INPROCESSING
485.56/486.84 c GARBAGE COLLECT
485.56/486.84 c #Conflicts: 311000 | #Constraints: 12618
485.56/486.84 c #Conflicts: 312000 | #Constraints: 13618
485.56/486.84 c #Conflicts: 313000 | #Constraints: 14618
485.56/486.84 c #Conflicts: 314000 | #Constraints: 15618
485.56/486.84 c #Conflicts: 315000 | #Constraints: 16618
485.56/486.84 c #Conflicts: 316000 | #Constraints: 17618
485.56/486.84 c #Conflicts: 317000 | #Constraints: 18618
485.56/486.84 c #Conflicts: 318000 | #Constraints: 19618
485.56/486.84 c #Conflicts: 319000 | #Constraints: 20618
485.56/486.84 c #Conflicts: 320000 | #Constraints: 21618
485.56/486.84 c #Conflicts: 321000 | #Constraints: 22618
485.56/486.84 c INPROCESSING
485.56/486.84 c GARBAGE COLLECT
485.56/486.84 c #Conflicts: 322000 | #Constraints: 12424
485.56/486.84 c #Conflicts: 323000 | #Constraints: 13424
485.56/486.84 c #Conflicts: 324000 | #Constraints: 14424
485.56/486.84 c #Conflicts: 325000 | #Constraints: 15424
485.56/486.84 c #Conflicts: 326000 | #Constraints: 16424
485.56/486.84 c #Conflicts: 327000 | #Constraints: 17424
485.56/486.84 c #Conflicts: 328000 | #Constraints: 18424
485.56/486.84 c #Conflicts: 329000 | #Constraints: 19424
485.56/486.84 c #Conflicts: 330000 | #Constraints: 20424
485.56/486.84 c #Conflicts: 331000 | #Constraints: 21424
485.56/486.84 c #Conflicts: 332000 | #Constraints: 22424
485.56/486.84 c #Conflicts: 333000 | #Constraints: 23424
485.56/486.84 c INPROCESSING
485.56/486.84 c GARBAGE COLLECT
485.56/486.84 c #Conflicts: 334000 | #Constraints: 13018
485.56/486.84 c #Conflicts: 335000 | #Constraints: 14018
485.56/486.84 c #Conflicts: 336000 | #Constraints: 15018
485.56/486.84 c #Conflicts: 337000 | #Constraints: 16018
485.56/486.84 c #Conflicts: 338000 | #Constraints: 17018
485.56/486.84 c #Conflicts: 339000 | #Constraints: 18018
485.56/486.84 c #Conflicts: 340000 | #Constraints: 19018
485.56/486.84 c #Conflicts: 341000 | #Constraints: 20018
485.56/486.84 c #Conflicts: 342000 | #Constraints: 21018
485.56/486.84 c #Conflicts: 343000 | #Constraints: 22018
485.56/486.84 c #Conflicts: 344000 | #Constraints: 23018
485.56/486.84 c #Conflicts: 345000 | #Constraints: 24018
485.56/486.84 c INPROCESSING
485.56/486.84 c GARBAGE COLLECT
485.56/486.84 c #Conflicts: 346000 | #Constraints: 13415
485.56/486.84 c #Conflicts: 347000 | #Constraints: 14415
485.56/486.84 c #Conflicts: 348000 | #Constraints: 15415
485.56/486.84 c #Conflicts: 349000 | #Constraints: 16415
485.56/486.84 c #Conflicts: 350000 | #Constraints: 17415
485.56/486.84 c #Conflicts: 351000 | #Constraints: 18415
485.56/486.84 c #Conflicts: 352000 | #Constraints: 19415
485.56/486.84 c #Conflicts: 353000 | #Constraints: 20415
485.56/486.84 c #Conflicts: 354000 | #Constraints: 21415
485.56/486.84 c #Conflicts: 355000 | #Constraints: 22415
485.56/486.84 c #Conflicts: 356000 | #Constraints: 23415
485.56/486.84 c #Conflicts: 357000 | #Constraints: 24415
485.56/486.84 c INPROCESSING
485.56/486.84 c GARBAGE COLLECT
485.56/486.84 c #Conflicts: 358000 | #Constraints: 13613
485.56/486.84 c #Conflicts: 359000 | #Constraints: 14613
485.56/486.84 c #Conflicts: 360000 | #Constraints: 15613
485.56/486.84 c #Conflicts: 361000 | #Constraints: 16613
628.09/629.74 c #Conflicts: 362000 | #Constraints: 17613
628.09/629.74 c #Conflicts: 363000 | #Constraints: 18613
628.09/629.74 c #Conflicts: 364000 | #Constraints: 19613
628.09/629.74 c #Conflicts: 365000 | #Constraints: 20613
628.09/629.74 c #Conflicts: 366000 | #Constraints: 21613
628.09/629.74 c #Conflicts: 367000 | #Constraints: 22613
628.09/629.74 c #Conflicts: 368000 | #Constraints: 23613
628.09/629.74 c #Conflicts: 369000 | #Constraints: 24613
628.09/629.74 c INPROCESSING
628.09/629.74 c GARBAGE COLLECT
628.09/629.74 c #Conflicts: 370000 | #Constraints: 13617
628.09/629.74 c #Conflicts: 371000 | #Constraints: 14617
628.09/629.74 c #Conflicts: 372000 | #Constraints: 15617
628.09/629.74 c #Conflicts: 373000 | #Constraints: 16617
628.09/629.74 c #Conflicts: 374000 | #Constraints: 17617
628.09/629.74 c #Conflicts: 375000 | #Constraints: 18617
628.09/629.74 c #Conflicts: 376000 | #Constraints: 19617
628.09/629.74 c #Conflicts: 377000 | #Constraints: 20617
628.09/629.74 c #Conflicts: 378000 | #Constraints: 21617
628.09/629.74 c #Conflicts: 379000 | #Constraints: 22617
628.09/629.74 c #Conflicts: 380000 | #Constraints: 23617
628.09/629.74 c #Conflicts: 381000 | #Constraints: 24617
628.09/629.74 c INPROCESSING
628.09/629.74 c GARBAGE COLLECT
628.09/629.74 c #Conflicts: 382000 | #Constraints: 13416
628.09/629.74 c #Conflicts: 383000 | #Constraints: 14416
628.09/629.74 c #Conflicts: 384000 | #Constraints: 15416
628.09/629.74 c #Conflicts: 385000 | #Constraints: 16416
628.09/629.74 c #Conflicts: 386000 | #Constraints: 17416
628.09/629.74 c #Conflicts: 387000 | #Constraints: 18416
628.09/629.74 c #Conflicts: 388000 | #Constraints: 19416
628.09/629.74 c #Conflicts: 389000 | #Constraints: 20416
628.09/629.74 c #Conflicts: 390000 | #Constraints: 21416
628.09/629.74 c #Conflicts: 391000 | #Constraints: 22416
628.09/629.74 c #Conflicts: 392000 | #Constraints: 23416
628.09/629.74 c #Conflicts: 393000 | #Constraints: 24416
628.09/629.74 c #Conflicts: 394000 | #Constraints: 25416
628.09/629.74 c INPROCESSING
628.09/629.74 c GARBAGE COLLECT
628.09/629.74 c #Conflicts: 395000 | #Constraints: 14022
628.09/629.74 c #Conflicts: 396000 | #Constraints: 15022
628.09/629.74 c #Conflicts: 397000 | #Constraints: 16022
628.09/629.74 c #Conflicts: 398000 | #Constraints: 17022
628.09/629.74 c #Conflicts: 399000 | #Constraints: 18022
628.09/629.75 c #Conflicts: 400000 | #Constraints: 19022
628.09/629.75 c #Conflicts: 401000 | #Constraints: 20022
628.09/629.75 c #Conflicts: 402000 | #Constraints: 21022
628.09/629.75 c #Conflicts: 403000 | #Constraints: 22022
628.09/629.75 c #Conflicts: 404000 | #Constraints: 23022
628.09/629.75 c #Conflicts: 405000 | #Constraints: 24022
628.09/629.75 c #Conflicts: 406000 | #Constraints: 25022
628.09/629.75 c #Conflicts: 407000 | #Constraints: 26022
628.09/629.75 c INPROCESSING
628.09/629.75 c GARBAGE COLLECT
628.09/629.75 c #Conflicts: 408000 | #Constraints: 14420
628.09/629.75 c #Conflicts: 409000 | #Constraints: 15420
628.09/629.75 c #Conflicts: 410000 | #Constraints: 16420
628.09/629.75 c #Conflicts: 411000 | #Constraints: 17420
628.09/629.75 c #Conflicts: 412000 | #Constraints: 18420
628.09/629.75 c #Conflicts: 413000 | #Constraints: 19420
628.09/629.75 c #Conflicts: 414000 | #Constraints: 20420
628.09/629.75 c #Conflicts: 415000 | #Constraints: 21420
628.09/629.75 c #Conflicts: 416000 | #Constraints: 22420
628.09/629.75 c #Conflicts: 417000 | #Constraints: 23420
628.09/629.75 c #Conflicts: 418000 | #Constraints: 24420
628.09/629.75 c #Conflicts: 419000 | #Constraints: 25420
628.09/629.75 c #Conflicts: 420000 | #Constraints: 26420
628.09/629.75 c INPROCESSING
628.09/629.75 c GARBAGE COLLECT
628.09/629.75 c #Conflicts: 421000 | #Constraints: 14631
628.09/629.75 c #Conflicts: 422000 | #Constraints: 15631
628.09/629.75 c #Conflicts: 423000 | #Constraints: 16631
628.09/629.75 c #Conflicts: 424000 | #Constraints: 17631
628.09/629.75 c #Conflicts: 425000 | #Constraints: 18631
628.09/629.75 c #Conflicts: 426000 | #Constraints: 19631
628.09/629.75 c #Conflicts: 427000 | #Constraints: 20631
628.09/629.75 c #Conflicts: 428000 | #Constraints: 21631
628.09/629.75 c #Conflicts: 429000 | #Constraints: 22631
628.09/629.75 c #Conflicts: 430000 | #Constraints: 23631
628.09/629.75 c #Conflicts: 431000 | #Constraints: 24631
628.09/629.75 c #Conflicts: 432000 | #Constraints: 25631
628.09/629.75 c #Conflicts: 433000 | #Constraints: 26631
628.09/629.75 c INPROCESSING
628.09/629.75 c GARBAGE COLLECT
628.09/629.75 c #Conflicts: 434000 | #Constraints: 14639
628.09/629.75 c #Conflicts: 435000 | #Constraints: 15639
628.09/629.75 c #Conflicts: 436000 | #Constraints: 16639
904.98/907.37 c #Conflicts: 437000 | #Constraints: 17639
904.98/907.37 c #Conflicts: 438000 | #Constraints: 18639
904.98/907.37 c #Conflicts: 439000 | #Constraints: 19639
904.98/907.37 c #Conflicts: 440000 | #Constraints: 20639
904.98/907.37 c #Conflicts: 441000 | #Constraints: 21639
904.98/907.37 c #Conflicts: 442000 | #Constraints: 22639
904.98/907.37 c #Conflicts: 443000 | #Constraints: 23639
904.98/907.37 c #Conflicts: 444000 | #Constraints: 24639
904.98/907.37 c #Conflicts: 445000 | #Constraints: 25639
904.98/907.37 c #Conflicts: 446000 | #Constraints: 26639
904.98/907.37 c INPROCESSING
904.98/907.37 c GARBAGE COLLECT
904.98/907.37 c #Conflicts: 447000 | #Constraints: 14439
904.98/907.37 c #Conflicts: 448000 | #Constraints: 15439
904.98/907.37 c #Conflicts: 449000 | #Constraints: 16439
904.98/907.37 c #Conflicts: 450000 | #Constraints: 17439
904.98/907.37 c #Conflicts: 451000 | #Constraints: 18439
904.98/907.37 c #Conflicts: 452000 | #Constraints: 19439
904.98/907.37 c #Conflicts: 453000 | #Constraints: 20439
904.98/907.37 c #Conflicts: 454000 | #Constraints: 21439
904.98/907.37 c #Conflicts: 455000 | #Constraints: 22439
904.98/907.37 c #Conflicts: 456000 | #Constraints: 23439
904.98/907.37 c #Conflicts: 457000 | #Constraints: 24439
904.98/907.37 c #Conflicts: 458000 | #Constraints: 25439
904.98/907.37 c #Conflicts: 459000 | #Constraints: 26439
904.98/907.37 c #Conflicts: 460000 | #Constraints: 27439
904.98/907.37 c INPROCESSING
904.98/907.37 c GARBAGE COLLECT
904.98/907.37 c #Conflicts: 461000 | #Constraints: 15033
904.98/907.37 c #Conflicts: 462000 | #Constraints: 16033
904.98/907.37 c #Conflicts: 463000 | #Constraints: 17033
904.98/907.37 c #Conflicts: 464000 | #Constraints: 18033
904.98/907.37 c #Conflicts: 465000 | #Constraints: 19033
904.98/907.37 c #Conflicts: 466000 | #Constraints: 20033
904.98/907.37 c #Conflicts: 467000 | #Constraints: 21033
904.98/907.37 c #Conflicts: 468000 | #Constraints: 22033
904.98/907.37 c #Conflicts: 469000 | #Constraints: 23033
904.98/907.37 c #Conflicts: 470000 | #Constraints: 24033
904.98/907.37 c #Conflicts: 471000 | #Constraints: 25033
904.98/907.37 c #Conflicts: 472000 | #Constraints: 26033
904.98/907.37 c #Conflicts: 473000 | #Constraints: 27033
904.98/907.37 c #Conflicts: 474000 | #Constraints: 28033
904.98/907.37 c INPROCESSING
904.98/907.37 c GARBAGE COLLECT
904.98/907.37 c #Conflicts: 475000 | #Constraints: 15439
904.98/907.37 c #Conflicts: 476000 | #Constraints: 16439
904.98/907.37 c #Conflicts: 477000 | #Constraints: 17439
904.98/907.37 c #Conflicts: 478000 | #Constraints: 18439
904.98/907.37 c #Conflicts: 479000 | #Constraints: 19439
904.98/907.37 c #Conflicts: 480000 | #Constraints: 20439
904.98/907.37 c #Conflicts: 481000 | #Constraints: 21439
904.98/907.37 c #Conflicts: 482000 | #Constraints: 22439
904.98/907.37 c #Conflicts: 483000 | #Constraints: 23439
904.98/907.37 c #Conflicts: 484000 | #Constraints: 24439
904.98/907.37 c #Conflicts: 485000 | #Constraints: 25439
904.98/907.37 c #Conflicts: 486000 | #Constraints: 26439
904.98/907.37 c #Conflicts: 487000 | #Constraints: 27439
904.98/907.37 c #Conflicts: 488000 | #Constraints: 28439
904.98/907.37 c INPROCESSING
904.98/907.37 c GARBAGE COLLECT
904.98/907.37 c #Conflicts: 489000 | #Constraints: 15637
904.98/907.37 c #Conflicts: 490000 | #Constraints: 16637
904.98/907.37 c #Conflicts: 491000 | #Constraints: 17637
904.98/907.37 c #Conflicts: 492000 | #Constraints: 18637
904.98/907.37 c #Conflicts: 493000 | #Constraints: 19637
904.98/907.37 c #Conflicts: 494000 | #Constraints: 20637
904.98/907.37 c #Conflicts: 495000 | #Constraints: 21637
904.98/907.37 c #Conflicts: 496000 | #Constraints: 22637
904.98/907.37 c #Conflicts: 497000 | #Constraints: 23637
904.98/907.37 c #Conflicts: 498000 | #Constraints: 24637
904.98/907.37 c #Conflicts: 499000 | #Constraints: 25637
904.98/907.37 c #Conflicts: 500000 | #Constraints: 26637
904.98/907.37 c #Conflicts: 501000 | #Constraints: 27637
904.98/907.37 c #Conflicts: 502000 | #Constraints: 28637
904.98/907.37 c INPROCESSING
904.98/907.37 c GARBAGE COLLECT
904.98/907.37 c #Conflicts: 503000 | #Constraints: 15640
904.98/907.37 c #Conflicts: 504000 | #Constraints: 16640
904.98/907.37 c #Conflicts: 505000 | #Constraints: 17640
904.98/907.37 c #Conflicts: 506000 | #Constraints: 18640
904.98/907.37 c #Conflicts: 507000 | #Constraints: 19640
904.98/907.37 c #Conflicts: 508000 | #Constraints: 20640
904.98/907.37 c #Conflicts: 509000 | #Constraints: 21640
904.98/907.37 c #Conflicts: 510000 | #Constraints: 22640
904.98/907.37 c #Conflicts: 511000 | #Constraints: 23640
904.98/907.37 c #Conflicts: 512000 | #Constraints: 24640
1016.51/1019.15 c #Conflicts: 513000 | #Constraints: 25640
1016.51/1019.15 c #Conflicts: 514000 | #Constraints: 26640
1016.51/1019.15 c #Conflicts: 515000 | #Constraints: 27640
1016.51/1019.15 c #Conflicts: 516000 | #Constraints: 28640
1016.51/1019.15 c INPROCESSING
1016.51/1019.15 c GARBAGE COLLECT
1016.51/1019.15 c #Conflicts: 517000 | #Constraints: 15432
1016.51/1019.15 c #Conflicts: 518000 | #Constraints: 16432
1016.51/1019.15 c #Conflicts: 519000 | #Constraints: 17432
1016.51/1019.15 c #Conflicts: 520000 | #Constraints: 18432
1016.51/1019.15 c #Conflicts: 521000 | #Constraints: 19432
1016.51/1019.15 c #Conflicts: 522000 | #Constraints: 20432
1016.51/1019.15 c #Conflicts: 523000 | #Constraints: 21432
1016.51/1019.15 c #Conflicts: 524000 | #Constraints: 22432
1016.51/1019.15 c #Conflicts: 525000 | #Constraints: 23432
1016.51/1019.15 c #Conflicts: 526000 | #Constraints: 24432
1016.51/1019.15 c #Conflicts: 527000 | #Constraints: 25432
1016.51/1019.15 c #Conflicts: 528000 | #Constraints: 26432
1016.51/1019.15 c #Conflicts: 529000 | #Constraints: 27432
1016.51/1019.15 c #Conflicts: 530000 | #Constraints: 28432
1016.51/1019.15 c #Conflicts: 531000 | #Constraints: 29432
1016.51/1019.15 c INPROCESSING
1016.51/1019.15 c GARBAGE COLLECT
1016.51/1019.15 c #Conflicts: 532000 | #Constraints: 16030
1016.51/1019.15 c #Conflicts: 533000 | #Constraints: 17030
1016.51/1019.15 c #Conflicts: 534000 | #Constraints: 18030
1016.51/1019.15 c #Conflicts: 535000 | #Constraints: 19030
1016.51/1019.15 c #Conflicts: 536000 | #Constraints: 20030
1016.51/1019.15 c #Conflicts: 537000 | #Constraints: 21030
1016.51/1019.15 c #Conflicts: 538000 | #Constraints: 22030
1016.51/1019.15 c #Conflicts: 539000 | #Constraints: 23030
1016.51/1019.15 c #Conflicts: 540000 | #Constraints: 24030
1016.51/1019.15 c #Conflicts: 541000 | #Constraints: 25030
1016.51/1019.15 c #Conflicts: 542000 | #Constraints: 26030
1016.51/1019.15 c #Conflicts: 543000 | #Constraints: 27030
1016.51/1019.15 c #Conflicts: 544000 | #Constraints: 28030
1016.51/1019.15 c #Conflicts: 545000 | #Constraints: 29030
1016.51/1019.15 c #Conflicts: 546000 | #Constraints: 30030
1016.51/1019.15 c INPROCESSING
1016.51/1019.15 c GARBAGE COLLECT
1016.51/1019.15 c #Conflicts: 547000 | #Constraints: 16423
1016.51/1019.15 c #Conflicts: 548000 | #Constraints: 17423
1016.51/1019.15 c #Conflicts: 549000 | #Constraints: 18423
1016.51/1019.15 c #Conflicts: 550000 | #Constraints: 19423
1016.51/1019.15 c #Conflicts: 551000 | #Constraints: 20423
1016.51/1019.15 c #Conflicts: 552000 | #Constraints: 21423
1016.51/1019.15 c #Conflicts: 553000 | #Constraints: 22423
1016.51/1019.15 c #Conflicts: 554000 | #Constraints: 23423
1016.51/1019.15 c #Conflicts: 555000 | #Constraints: 24423
1016.51/1019.15 c #Conflicts: 556000 | #Constraints: 25423
1016.51/1019.15 c #Conflicts: 557000 | #Constraints: 26423
1016.51/1019.15 c #Conflicts: 558000 | #Constraints: 27423
1016.51/1019.15 c #Conflicts: 559000 | #Constraints: 28423
1016.51/1019.15 c #Conflicts: 560000 | #Constraints: 29423
1016.51/1019.15 c #Conflicts: 561000 | #Constraints: 30423
1016.51/1019.15 c INPROCESSING
1016.51/1019.15 c GARBAGE COLLECT
1016.51/1019.15 c #Conflicts: 562000 | #Constraints: 16618
1016.51/1019.15 c #Conflicts: 563000 | #Constraints: 17618
1016.51/1019.15 c #Conflicts: 564000 | #Constraints: 18618
1016.51/1019.15 c #Conflicts: 565000 | #Constraints: 19618
1016.51/1019.15 c #Conflicts: 566000 | #Constraints: 20618
1016.51/1019.15 c #Conflicts: 567000 | #Constraints: 21618
1016.51/1019.15 c #Conflicts: 568000 | #Constraints: 22618
1016.51/1019.15 c #Conflicts: 569000 | #Constraints: 23618
1016.51/1019.15 c #Conflicts: 570000 | #Constraints: 24618
1016.51/1019.15 c #Conflicts: 571000 | #Constraints: 25618
1016.51/1019.15 c #Conflicts: 572000 | #Constraints: 26618
1016.51/1019.15 c #Conflicts: 573000 | #Constraints: 27618
1016.51/1019.15 c #Conflicts: 574000 | #Constraints: 28618
1016.51/1019.15 c #Conflicts: 575000 | #Constraints: 29618
1016.51/1019.15 c #Conflicts: 576000 | #Constraints: 30618
1016.51/1019.15 c INPROCESSING
1016.51/1019.15 c GARBAGE COLLECT
1016.51/1019.15 c #Conflicts: 577000 | #Constraints: 16623
1016.51/1019.15 c #Conflicts: 578000 | #Constraints: 17623
1016.51/1019.15 c #Conflicts: 579000 | #Constraints: 18623
1016.51/1019.15 c #Conflicts: 580000 | #Constraints: 19623
1016.51/1019.15 c #Conflicts: 581000 | #Constraints: 20623
1016.51/1019.15 c #Conflicts: 582000 | #Constraints: 21623
1016.51/1019.15 c #Conflicts: 583000 | #Constraints: 22623
1016.51/1019.15 c #Conflicts: 584000 | #Constraints: 23623
1016.51/1019.15 c #Conflicts: 585000 | #Constraints: 24623
1016.51/1019.15 c #Conflicts: 586000 | #Constraints: 25623
1016.51/1019.15 c #Conflicts: 587000 | #Constraints: 26623
1016.51/1019.15 c #Conflicts: 588000 | #Constraints: 27623
1126.31/1129.26 c #Conflicts: 589000 | #Constraints: 28623
1126.31/1129.26 c #Conflicts: 590000 | #Constraints: 29623
1126.31/1129.26 c #Conflicts: 591000 | #Constraints: 30623
1126.31/1129.26 c INPROCESSING
1126.31/1129.26 c GARBAGE COLLECT
1126.31/1129.26 c #Conflicts: 592000 | #Constraints: 16424
1126.31/1129.26 c #Conflicts: 593000 | #Constraints: 17424
1126.31/1129.26 c #Conflicts: 594000 | #Constraints: 18424
1126.31/1129.26 c #Conflicts: 595000 | #Constraints: 19424
1126.31/1129.26 c #Conflicts: 596000 | #Constraints: 20424
1126.31/1129.26 c #Conflicts: 597000 | #Constraints: 21424
1126.31/1129.26 c #Conflicts: 598000 | #Constraints: 22424
1126.31/1129.26 c #Conflicts: 599000 | #Constraints: 23424
1126.31/1129.26 c #Conflicts: 600000 | #Constraints: 24424
1126.31/1129.26 c #Conflicts: 601000 | #Constraints: 25424
1126.31/1129.26 c #Conflicts: 602000 | #Constraints: 26424
1126.31/1129.26 c #Conflicts: 603000 | #Constraints: 27424
1126.31/1129.26 c #Conflicts: 604000 | #Constraints: 28424
1126.31/1129.26 c #Conflicts: 605000 | #Constraints: 29424
1126.31/1129.26 c #Conflicts: 606000 | #Constraints: 30424
1126.31/1129.26 c #Conflicts: 607000 | #Constraints: 31424
1126.31/1129.26 c INPROCESSING
1126.31/1129.26 c GARBAGE COLLECT
1126.31/1129.26 c #Conflicts: 608000 | #Constraints: 17037
1126.31/1129.26 c #Conflicts: 609000 | #Constraints: 18037
1126.31/1129.26 c #Conflicts: 610000 | #Constraints: 19037
1126.31/1129.26 c #Conflicts: 611000 | #Constraints: 20037
1126.31/1129.26 c #Conflicts: 612000 | #Constraints: 21037
1126.31/1129.26 c #Conflicts: 613000 | #Constraints: 22037
1126.31/1129.26 c #Conflicts: 614000 | #Constraints: 23037
1126.31/1129.26 c #Conflicts: 615000 | #Constraints: 24037
1126.31/1129.26 c #Conflicts: 616000 | #Constraints: 25037
1126.31/1129.26 c #Conflicts: 617000 | #Constraints: 26037
1126.31/1129.26 c #Conflicts: 618000 | #Constraints: 27037
1126.31/1129.26 c #Conflicts: 619000 | #Constraints: 28037
1126.31/1129.26 c #Conflicts: 620000 | #Constraints: 29037
1126.31/1129.26 c #Conflicts: 621000 | #Constraints: 30037
1126.31/1129.26 c #Conflicts: 622000 | #Constraints: 31037
1126.31/1129.26 c #Conflicts: 623000 | #Constraints: 32037
1126.31/1129.26 c INPROCESSING
1126.31/1129.26 c GARBAGE COLLECT
1126.31/1129.26 c #Conflicts: 624000 | #Constraints: 17428
1126.31/1129.26 c #Conflicts: 625000 | #Constraints: 18428
1126.31/1129.26 c #Conflicts: 626000 | #Constraints: 19428
1126.31/1129.26 c #Conflicts: 627000 | #Constraints: 20428
1126.31/1129.26 c #Conflicts: 628000 | #Constraints: 21428
1126.31/1129.26 c #Conflicts: 629000 | #Constraints: 22428
1126.31/1129.26 c #Conflicts: 630000 | #Constraints: 23428
1126.31/1129.26 c #Conflicts: 631000 | #Constraints: 24428
1126.31/1129.26 c #Conflicts: 632000 | #Constraints: 25428
1126.31/1129.26 c #Conflicts: 633000 | #Constraints: 26428
1126.31/1129.26 c #Conflicts: 634000 | #Constraints: 27428
1126.31/1129.26 c #Conflicts: 635000 | #Constraints: 28428
1126.31/1129.26 c #Conflicts: 636000 | #Constraints: 29428
1126.31/1129.26 c #Conflicts: 637000 | #Constraints: 30428
1126.31/1129.26 c #Conflicts: 638000 | #Constraints: 31428
1126.31/1129.26 c #Conflicts: 639000 | #Constraints: 32428
1126.31/1129.26 c INPROCESSING
1126.31/1129.26 c GARBAGE COLLECT
1126.31/1129.26 c #Conflicts: 640000 | #Constraints: 17622
1126.31/1129.26 c #Conflicts: 641000 | #Constraints: 18622
1126.31/1129.26 c #Conflicts: 642000 | #Constraints: 19622
1126.31/1129.26 c #Conflicts: 643000 | #Constraints: 20622
1126.31/1129.26 c #Conflicts: 644000 | #Constraints: 21622
1126.31/1129.26 c #Conflicts: 645000 | #Constraints: 22622
1126.31/1129.26 c #Conflicts: 646000 | #Constraints: 23622
1126.31/1129.26 c #Conflicts: 647000 | #Constraints: 24622
1126.31/1129.26 c #Conflicts: 648000 | #Constraints: 25622
1126.31/1129.26 c #Conflicts: 649000 | #Constraints: 26622
1126.31/1129.26 c #Conflicts: 650000 | #Constraints: 27622
1126.31/1129.26 c #Conflicts: 651000 | #Constraints: 28622
1126.31/1129.26 c #Conflicts: 652000 | #Constraints: 29622
1126.31/1129.26 c #Conflicts: 653000 | #Constraints: 30622
1126.31/1129.26 c #Conflicts: 654000 | #Constraints: 31622
1126.31/1129.26 c #Conflicts: 655000 | #Constraints: 32622
1126.31/1129.26 c INPROCESSING
1126.31/1129.26 c GARBAGE COLLECT
1126.31/1129.26 c #Conflicts: 656000 | #Constraints: 17619
1126.31/1129.26 c #Conflicts: 657000 | #Constraints: 18619
1126.31/1129.26 c #Conflicts: 658000 | #Constraints: 19619
1126.31/1129.26 c #Conflicts: 659000 | #Constraints: 20619
1126.31/1129.26 c #Conflicts: 660000 | #Constraints: 21619
1126.31/1129.26 c #Conflicts: 661000 | #Constraints: 22619
1126.31/1129.26 c #Conflicts: 662000 | #Constraints: 23619
1126.31/1129.26 c #Conflicts: 663000 | #Constraints: 24619
1299.87/1303.33 c #Conflicts: 664000 | #Constraints: 25619
1299.87/1303.33 c #Conflicts: 665000 | #Constraints: 26619
1299.87/1303.33 c #Conflicts: 666000 | #Constraints: 27619
1299.87/1303.33 c #Conflicts: 667000 | #Constraints: 28619
1299.87/1303.33 c #Conflicts: 668000 | #Constraints: 29619
1299.87/1303.33 c #Conflicts: 669000 | #Constraints: 30619
1299.87/1303.33 c #Conflicts: 670000 | #Constraints: 31619
1299.87/1303.33 c #Conflicts: 671000 | #Constraints: 32619
1299.87/1303.33 c INPROCESSING
1299.87/1303.33 c GARBAGE COLLECT
1299.87/1303.33 c #Conflicts: 672000 | #Constraints: 17413
1299.87/1303.33 c #Conflicts: 673000 | #Constraints: 18413
1299.87/1303.33 c #Conflicts: 674000 | #Constraints: 19413
1299.87/1303.33 c #Conflicts: 675000 | #Constraints: 20413
1299.87/1303.33 c #Conflicts: 676000 | #Constraints: 21413
1299.87/1303.33 c #Conflicts: 677000 | #Constraints: 22413
1299.87/1303.33 c #Conflicts: 678000 | #Constraints: 23413
1299.87/1303.33 c #Conflicts: 679000 | #Constraints: 24413
1299.87/1303.33 c #Conflicts: 680000 | #Constraints: 25413
1299.87/1303.33 c #Conflicts: 681000 | #Constraints: 26413
1299.87/1303.33 c #Conflicts: 682000 | #Constraints: 27413
1299.87/1303.33 c #Conflicts: 683000 | #Constraints: 28413
1299.87/1303.33 c #Conflicts: 684000 | #Constraints: 29413
1299.87/1303.33 c #Conflicts: 685000 | #Constraints: 30413
1299.87/1303.33 c #Conflicts: 686000 | #Constraints: 31413
1299.87/1303.33 c #Conflicts: 687000 | #Constraints: 32413
1299.87/1303.33 c #Conflicts: 688000 | #Constraints: 33413
1299.87/1303.33 c INPROCESSING
1299.87/1303.33 c GARBAGE COLLECT
1299.87/1303.33 c #Conflicts: 689000 | #Constraints: 18013
1299.87/1303.33 c #Conflicts: 690000 | #Constraints: 19013
1299.87/1303.33 c #Conflicts: 691000 | #Constraints: 20013
1299.87/1303.33 c #Conflicts: 692000 | #Constraints: 21013
1299.87/1303.33 c #Conflicts: 693000 | #Constraints: 22013
1299.87/1303.33 c #Conflicts: 694000 | #Constraints: 23013
1299.87/1303.33 c #Conflicts: 695000 | #Constraints: 24013
1299.87/1303.33 c #Conflicts: 696000 | #Constraints: 25013
1299.87/1303.33 c #Conflicts: 697000 | #Constraints: 26013
1299.87/1303.33 c #Conflicts: 698000 | #Constraints: 27013
1299.87/1303.33 c #Conflicts: 699000 | #Constraints: 28013
1299.87/1303.33 c #Conflicts: 700000 | #Constraints: 29013
1299.87/1303.33 c #Conflicts: 701000 | #Constraints: 30013
1299.87/1303.33 c #Conflicts: 702000 | #Constraints: 31013
1299.87/1303.33 c #Conflicts: 703000 | #Constraints: 32013
1299.87/1303.33 c #Conflicts: 704000 | #Constraints: 33013
1299.87/1303.33 c #Conflicts: 705000 | #Constraints: 34013
1299.87/1303.33 c INPROCESSING
1299.87/1303.33 c GARBAGE COLLECT
1299.87/1303.33 c #Conflicts: 706000 | #Constraints: 18414
1299.87/1303.33 c #Conflicts: 707000 | #Constraints: 19414
1299.87/1303.33 c #Conflicts: 708000 | #Constraints: 20414
1299.87/1303.33 c #Conflicts: 709000 | #Constraints: 21414
1299.87/1303.33 c #Conflicts: 710000 | #Constraints: 22414
1299.87/1303.33 c #Conflicts: 711000 | #Constraints: 23414
1299.87/1303.33 c #Conflicts: 712000 | #Constraints: 24414
1299.87/1303.33 c #Conflicts: 713000 | #Constraints: 25414
1299.87/1303.33 c #Conflicts: 714000 | #Constraints: 26414
1299.87/1303.33 c #Conflicts: 715000 | #Constraints: 27414
1299.87/1303.33 c #Conflicts: 716000 | #Constraints: 28414
1299.87/1303.33 c #Conflicts: 717000 | #Constraints: 29414
1299.87/1303.33 c #Conflicts: 718000 | #Constraints: 30414
1299.87/1303.33 c #Conflicts: 719000 | #Constraints: 31414
1299.87/1303.33 c #Conflicts: 720000 | #Constraints: 32414
1299.87/1303.33 c #Conflicts: 721000 | #Constraints: 33414
1299.87/1303.33 c #Conflicts: 722000 | #Constraints: 34414
1299.87/1303.33 c INPROCESSING
1299.87/1303.33 c GARBAGE COLLECT
1299.87/1303.33 c #Conflicts: 723000 | #Constraints: 18627
1299.87/1303.33 c #Conflicts: 724000 | #Constraints: 19627
1299.87/1303.33 c #Conflicts: 725000 | #Constraints: 20627
1299.87/1303.33 c #Conflicts: 726000 | #Constraints: 21627
1299.87/1303.33 c #Conflicts: 727000 | #Constraints: 22627
1299.87/1303.33 c #Conflicts: 728000 | #Constraints: 23627
1299.87/1303.33 c #Conflicts: 729000 | #Constraints: 24627
1299.87/1303.33 c #Conflicts: 730000 | #Constraints: 25627
1299.87/1303.33 c #Conflicts: 731000 | #Constraints: 26627
1299.87/1303.33 c #Conflicts: 732000 | #Constraints: 27627
1299.87/1303.33 c #Conflicts: 733000 | #Constraints: 28627
1299.87/1303.33 c #Conflicts: 734000 | #Constraints: 29627
1299.87/1303.33 c #Conflicts: 735000 | #Constraints: 30627
1299.87/1303.33 c #Conflicts: 736000 | #Constraints: 31627
1299.87/1303.33 c #Conflicts: 737000 | #Constraints: 32627
1299.87/1303.33 c #Conflicts: 738000 | #Constraints: 33627
1299.87/1303.33 c #Conflicts: 739000 | #Constraints: 34627
1435.76/1439.68 c INPROCESSING
1435.76/1439.68 c GARBAGE COLLECT
1435.76/1439.68 c #Conflicts: 740000 | #Constraints: 18637
1435.76/1439.68 c #Conflicts: 741000 | #Constraints: 19637
1435.76/1439.68 c #Conflicts: 742000 | #Constraints: 20637
1435.76/1439.68 c #Conflicts: 743000 | #Constraints: 21637
1435.76/1439.68 c #Conflicts: 744000 | #Constraints: 22637
1435.76/1439.68 c #Conflicts: 745000 | #Constraints: 23637
1435.76/1439.68 c #Conflicts: 746000 | #Constraints: 24637
1435.76/1439.68 c #Conflicts: 747000 | #Constraints: 25637
1435.76/1439.68 c #Conflicts: 748000 | #Constraints: 26637
1435.76/1439.68 c #Conflicts: 749000 | #Constraints: 27637
1435.76/1439.68 c #Conflicts: 750000 | #Constraints: 28637
1435.76/1439.68 c #Conflicts: 751000 | #Constraints: 29637
1435.76/1439.68 c #Conflicts: 752000 | #Constraints: 30637
1435.76/1439.68 c #Conflicts: 753000 | #Constraints: 31637
1435.76/1439.68 c #Conflicts: 754000 | #Constraints: 32637
1435.76/1439.68 c #Conflicts: 755000 | #Constraints: 33637
1435.76/1439.68 c #Conflicts: 756000 | #Constraints: 34637
1435.76/1439.68 c INPROCESSING
1435.76/1439.68 c GARBAGE COLLECT
1435.76/1439.68 c #Conflicts: 757000 | #Constraints: 18428
1435.76/1439.68 c #Conflicts: 758000 | #Constraints: 19428
1435.76/1439.68 c #Conflicts: 759000 | #Constraints: 20428
1435.76/1439.68 c #Conflicts: 760000 | #Constraints: 21428
1435.76/1439.68 c #Conflicts: 761000 | #Constraints: 22428
1435.76/1439.68 c #Conflicts: 762000 | #Constraints: 23428
1435.76/1439.68 c #Conflicts: 763000 | #Constraints: 24428
1435.76/1439.68 c #Conflicts: 764000 | #Constraints: 25428
1435.76/1439.68 c #Conflicts: 765000 | #Constraints: 26428
1435.76/1439.68 c #Conflicts: 766000 | #Constraints: 27428
1435.76/1439.68 c #Conflicts: 767000 | #Constraints: 28428
1435.76/1439.68 c #Conflicts: 768000 | #Constraints: 29428
1435.76/1439.68 c #Conflicts: 769000 | #Constraints: 30428
1435.76/1439.68 c #Conflicts: 770000 | #Constraints: 31428
1435.76/1439.68 c #Conflicts: 771000 | #Constraints: 32428
1435.76/1439.68 c #Conflicts: 772000 | #Constraints: 33428
1435.76/1439.68 c #Conflicts: 773000 | #Constraints: 34428
1435.76/1439.68 c #Conflicts: 774000 | #Constraints: 35428
1435.76/1439.68 c INPROCESSING
1435.76/1439.68 c GARBAGE COLLECT
1435.76/1439.68 c #Conflicts: 775000 | #Constraints: 19024
1435.76/1439.68 c #Conflicts: 776000 | #Constraints: 20024
1435.76/1439.68 c #Conflicts: 777000 | #Constraints: 21024
1435.76/1439.68 c #Conflicts: 778000 | #Constraints: 22024
1435.76/1439.68 c #Conflicts: 779000 | #Constraints: 23024
1435.76/1439.68 c #Conflicts: 780000 | #Constraints: 24024
1435.76/1439.68 c #Conflicts: 781000 | #Constraints: 25024
1435.76/1439.68 c #Conflicts: 782000 | #Constraints: 26024
1435.76/1439.68 c #Conflicts: 783000 | #Constraints: 27024
1435.76/1439.68 c #Conflicts: 784000 | #Constraints: 28024
1435.76/1439.68 c #Conflicts: 785000 | #Constraints: 29024
1435.76/1439.68 c #Conflicts: 786000 | #Constraints: 30024
1435.76/1439.68 c #Conflicts: 787000 | #Constraints: 31024
1435.76/1439.68 c #Conflicts: 788000 | #Constraints: 32024
1435.76/1439.68 c #Conflicts: 789000 | #Constraints: 33024
1435.76/1439.68 c #Conflicts: 790000 | #Constraints: 34024
1435.76/1439.68 c #Conflicts: 791000 | #Constraints: 35024
1435.76/1439.68 c #Conflicts: 792000 | #Constraints: 36024
1435.76/1439.68 c INPROCESSING
1435.76/1439.68 c GARBAGE COLLECT
1435.76/1439.68 c #Conflicts: 793000 | #Constraints: 19422
1435.76/1439.68 c #Conflicts: 794000 | #Constraints: 20422
1435.76/1439.68 c #Conflicts: 795000 | #Constraints: 21422
1435.76/1439.68 c #Conflicts: 796000 | #Constraints: 22422
1435.76/1439.68 c #Conflicts: 797000 | #Constraints: 23422
1435.76/1439.68 c #Conflicts: 798000 | #Constraints: 24422
1435.76/1439.68 c #Conflicts: 799000 | #Constraints: 25422
1435.76/1439.68 c #Conflicts: 800000 | #Constraints: 26422
1435.76/1439.68 c #Conflicts: 801000 | #Constraints: 27422
1435.76/1439.68 c #Conflicts: 802000 | #Constraints: 28422
1435.76/1439.68 c #Conflicts: 803000 | #Constraints: 29422
1435.76/1439.68 c #Conflicts: 804000 | #Constraints: 30422
1435.76/1439.68 c #Conflicts: 805000 | #Constraints: 31422
1435.76/1439.68 c #Conflicts: 806000 | #Constraints: 32422
1435.76/1439.68 c #Conflicts: 807000 | #Constraints: 33422
1435.76/1439.68 c #Conflicts: 808000 | #Constraints: 34422
1435.76/1439.68 c #Conflicts: 809000 | #Constraints: 35422
1435.76/1439.68 c #Conflicts: 810000 | #Constraints: 36422
1435.76/1439.68 c INPROCESSING
1435.76/1439.68 c GARBAGE COLLECT
1435.76/1439.68 c #Conflicts: 811000 | #Constraints: 19628
1435.76/1439.68 c #Conflicts: 812000 | #Constraints: 20628
1435.76/1439.68 c #Conflicts: 813000 | #Constraints: 21628
1435.76/1439.68 c #Conflicts: 814000 | #Constraints: 22628
1435.76/1439.68 c #Conflicts: 815000 | #Constraints: 23628
1625.71/1630.11 c #Conflicts: 816000 | #Constraints: 24628
1625.71/1630.11 c #Conflicts: 817000 | #Constraints: 25628
1625.71/1630.11 c #Conflicts: 818000 | #Constraints: 26628
1625.71/1630.11 c #Conflicts: 819000 | #Constraints: 27628
1625.71/1630.11 c #Conflicts: 820000 | #Constraints: 28628
1625.71/1630.11 c #Conflicts: 821000 | #Constraints: 29628
1625.71/1630.11 c #Conflicts: 822000 | #Constraints: 30628
1625.71/1630.11 c #Conflicts: 823000 | #Constraints: 31628
1625.71/1630.11 c #Conflicts: 824000 | #Constraints: 32628
1625.71/1630.11 c #Conflicts: 825000 | #Constraints: 33628
1625.71/1630.11 c #Conflicts: 826000 | #Constraints: 34628
1625.71/1630.11 c #Conflicts: 827000 | #Constraints: 35628
1625.71/1630.11 c #Conflicts: 828000 | #Constraints: 36628
1625.71/1630.11 c INPROCESSING
1625.71/1630.11 c GARBAGE COLLECT
1625.71/1630.11 c #Conflicts: 829000 | #Constraints: 19628
1625.71/1630.11 c #Conflicts: 830000 | #Constraints: 20628
1625.71/1630.11 c #Conflicts: 831000 | #Constraints: 21628
1625.71/1630.11 c #Conflicts: 832000 | #Constraints: 22628
1625.71/1630.11 c #Conflicts: 833000 | #Constraints: 23628
1625.71/1630.11 c #Conflicts: 834000 | #Constraints: 24628
1625.71/1630.11 c #Conflicts: 835000 | #Constraints: 25628
1625.71/1630.11 c #Conflicts: 836000 | #Constraints: 26628
1625.71/1630.11 c #Conflicts: 837000 | #Constraints: 27628
1625.71/1630.11 c #Conflicts: 838000 | #Constraints: 28628
1625.71/1630.11 c #Conflicts: 839000 | #Constraints: 29628
1625.71/1630.11 c #Conflicts: 840000 | #Constraints: 30628
1625.71/1630.11 c #Conflicts: 841000 | #Constraints: 31628
1625.71/1630.11 c #Conflicts: 842000 | #Constraints: 32628
1625.71/1630.11 c #Conflicts: 843000 | #Constraints: 33628
1625.71/1630.11 c #Conflicts: 844000 | #Constraints: 34628
1625.71/1630.11 c #Conflicts: 845000 | #Constraints: 35628
1625.71/1630.11 c #Conflicts: 846000 | #Constraints: 36628
1625.71/1630.11 c INPROCESSING
1625.71/1630.11 c GARBAGE COLLECT
1625.71/1630.11 c #Conflicts: 847000 | #Constraints: 19420
1625.71/1630.11 c #Conflicts: 848000 | #Constraints: 20420
1625.71/1630.11 c #Conflicts: 849000 | #Constraints: 21420
1625.71/1630.11 c #Conflicts: 850000 | #Constraints: 22420
1625.71/1630.11 c #Conflicts: 851000 | #Constraints: 23420
1625.71/1630.11 c #Conflicts: 852000 | #Constraints: 24420
1625.71/1630.11 c #Conflicts: 853000 | #Constraints: 25420
1625.71/1630.11 c #Conflicts: 854000 | #Constraints: 26420
1625.71/1630.11 c #Conflicts: 855000 | #Constraints: 27420
1625.71/1630.11 c #Conflicts: 856000 | #Constraints: 28420
1625.71/1630.11 c #Conflicts: 857000 | #Constraints: 29420
1625.71/1630.11 c #Conflicts: 858000 | #Constraints: 30420
1625.71/1630.11 c #Conflicts: 859000 | #Constraints: 31420
1625.71/1630.11 c #Conflicts: 860000 | #Constraints: 32420
1625.71/1630.11 c #Conflicts: 861000 | #Constraints: 33420
1625.71/1630.11 c #Conflicts: 862000 | #Constraints: 34420
1625.71/1630.11 c #Conflicts: 863000 | #Constraints: 35420
1625.71/1630.11 c #Conflicts: 864000 | #Constraints: 36420
1625.71/1630.11 c #Conflicts: 865000 | #Constraints: 37420
1625.71/1630.11 c INPROCESSING
1625.71/1630.11 c GARBAGE COLLECT
1625.71/1630.11 c #Conflicts: 866000 | #Constraints: 20017
1625.71/1630.11 c #Conflicts: 867000 | #Constraints: 21017
1625.71/1630.11 c #Conflicts: 868000 | #Constraints: 22017
1625.71/1630.11 c #Conflicts: 869000 | #Constraints: 23017
1625.71/1630.11 c #Conflicts: 870000 | #Constraints: 24017
1625.71/1630.11 c #Conflicts: 871000 | #Constraints: 25017
1625.71/1630.11 c #Conflicts: 872000 | #Constraints: 26017
1625.71/1630.11 c #Conflicts: 873000 | #Constraints: 27017
1625.71/1630.11 c #Conflicts: 874000 | #Constraints: 28017
1625.71/1630.11 c #Conflicts: 875000 | #Constraints: 29017
1625.71/1630.11 c #Conflicts: 876000 | #Constraints: 30017
1625.71/1630.11 c #Conflicts: 877000 | #Constraints: 31017
1625.71/1630.11 c #Conflicts: 878000 | #Constraints: 32017
1625.71/1630.11 c #Conflicts: 879000 | #Constraints: 33017
1625.71/1630.11 c #Conflicts: 880000 | #Constraints: 34017
1625.71/1630.11 c #Conflicts: 881000 | #Constraints: 35017
1625.71/1630.11 c #Conflicts: 882000 | #Constraints: 36017
1625.71/1630.11 c #Conflicts: 883000 | #Constraints: 37017
1625.71/1630.11 c #Conflicts: 884000 | #Constraints: 38017
1625.71/1630.11 c INPROCESSING
1625.71/1630.11 c GARBAGE COLLECT
1625.71/1630.11 c #Conflicts: 885000 | #Constraints: 20419
1625.71/1630.11 c #Conflicts: 886000 | #Constraints: 21419
1625.71/1630.11 c #Conflicts: 887000 | #Constraints: 22419
1625.71/1630.11 c #Conflicts: 888000 | #Constraints: 23419
1625.71/1630.11 c #Conflicts: 889000 | #Constraints: 24419
1625.71/1630.11 c #Conflicts: 890000 | #Constraints: 25419
1625.71/1630.11 c #Conflicts: 891000 | #Constraints: 26419
1799.14/1804.05 c #Conflicts: 892000 | #Constraints: 27419
1799.14/1804.05 c #Conflicts: 893000 | #Constraints: 28419
1799.14/1804.05 c #Conflicts: 894000 | #Constraints: 29419
1799.14/1804.05 c #Conflicts: 895000 | #Constraints: 30419
1799.14/1804.05 c #Conflicts: 896000 | #Constraints: 31419
1799.14/1804.05 c #Conflicts: 897000 | #Constraints: 32419
1799.14/1804.05 c #Conflicts: 898000 | #Constraints: 33419
1799.14/1804.05 c #Conflicts: 899000 | #Constraints: 34419
1799.14/1804.05 c #Conflicts: 900000 | #Constraints: 35419
1799.14/1804.05 c #Conflicts: 901000 | #Constraints: 36419
1799.14/1804.05 c #Conflicts: 902000 | #Constraints: 37419
1799.14/1804.05 c #Conflicts: 903000 | #Constraints: 38419
1799.14/1804.05 c INPROCESSING
1799.14/1804.05 c GARBAGE COLLECT
1799.14/1804.05 c #Conflicts: 904000 | #Constraints: 20616
1799.14/1804.05 c #Conflicts: 905000 | #Constraints: 21616
1799.14/1804.05 c #Conflicts: 906000 | #Constraints: 22616
1799.14/1804.05 c #Conflicts: 907000 | #Constraints: 23616
1799.14/1804.05 c #Conflicts: 908000 | #Constraints: 24616
1799.14/1804.05 c #Conflicts: 909000 | #Constraints: 25616
1799.14/1804.05 c #Conflicts: 910000 | #Constraints: 26616
1799.14/1804.05 c #Conflicts: 911000 | #Constraints: 27616
1799.14/1804.05 c #Conflicts: 912000 | #Constraints: 28616
1799.14/1804.05 c #Conflicts: 913000 | #Constraints: 29616
1799.14/1804.05 c #Conflicts: 914000 | #Constraints: 30616
1799.14/1804.05 c #Conflicts: 915000 | #Constraints: 31616
1799.14/1804.05 c #Conflicts: 916000 | #Constraints: 32616
1799.14/1804.05 c #Conflicts: 917000 | #Constraints: 33616
1799.14/1804.05 c #Conflicts: 918000 | #Constraints: 34616
1799.14/1804.05 c #Conflicts: 919000 | #Constraints: 35616
1799.14/1804.05 c #Conflicts: 920000 | #Constraints: 36616
1799.14/1804.05 c #Conflicts: 921000 | #Constraints: 37616
1799.14/1804.05 c #Conflicts: 922000 | #Constraints: 38616
1799.14/1804.05 c INPROCESSING
1799.14/1804.05 c GARBAGE COLLECT
1799.14/1804.05 c #Conflicts: 923000 | #Constraints: 20621
1799.14/1804.05 c #Conflicts: 924000 | #Constraints: 21621
1799.14/1804.05 c #Conflicts: 925000 | #Constraints: 22621
1799.14/1804.05 c #Conflicts: 926000 | #Constraints: 23621
1799.14/1804.05 c #Conflicts: 927000 | #Constraints: 24621
1799.14/1804.05 c #Conflicts: 928000 | #Constraints: 25621
1799.14/1804.05 c #Conflicts: 929000 | #Constraints: 26621
1799.14/1804.06 c #Conflicts: 930000 | #Constraints: 27621
1799.14/1804.06 c #Conflicts: 931000 | #Constraints: 28621
1799.14/1804.06 c #Conflicts: 932000 | #Constraints: 29621
1799.14/1804.06 c #Conflicts: 933000 | #Constraints: 30621
1799.14/1804.06 c #Conflicts: 934000 | #Constraints: 31621
1799.14/1804.06 c #Conflicts: 935000 | #Constraints: 32621
1799.14/1804.06 c #Conflicts: 936000 | #Constraints: 33621
1799.14/1804.06 c #Conflicts: 937000 | #Constraints: 34621
1799.14/1804.06 c #Conflicts: 938000 | #Constraints: 35621
1799.14/1804.06 c #Conflicts: 939000 | #Constraints: 36621
1799.14/1804.06 c #Conflicts: 940000 | #Constraints: 37621
1799.14/1804.06 c #Conflicts: 941000 | #Constraints: 38621
1799.14/1804.06 c INPROCESSING
1799.14/1804.06 c GARBAGE COLLECT
1799.14/1804.06 c #Conflicts: 942000 | #Constraints: 20431
1799.14/1804.06 c #Conflicts: 943000 | #Constraints: 21431
1799.14/1804.06 c #Conflicts: 944000 | #Constraints: 22431
1799.14/1804.06 c #Conflicts: 945000 | #Constraints: 23431
1799.14/1804.06 c #Conflicts: 946000 | #Constraints: 24431
1799.14/1804.06 c #Conflicts: 947000 | #Constraints: 25431
1799.14/1804.06 c #Conflicts: 948000 | #Constraints: 26431
1799.14/1804.06 c #Conflicts: 949000 | #Constraints: 27431
1799.14/1804.06 c #Conflicts: 950000 | #Constraints: 28431
1799.14/1804.06 c #Conflicts: 951000 | #Constraints: 29431
1799.14/1804.06 c #Conflicts: 952000 | #Constraints: 30431
1799.14/1804.06 c #Conflicts: 953000 | #Constraints: 31431
1799.14/1804.06 c #Conflicts: 954000 | #Constraints: 32431
1799.14/1804.06 c #Conflicts: 955000 | #Constraints: 33431
1799.14/1804.06 c #Conflicts: 956000 | #Constraints: 34431
1799.14/1804.06 c #Conflicts: 957000 | #Constraints: 35431
1799.14/1804.06 c #Conflicts: 958000 | #Constraints: 36431
1799.14/1804.06 c #Conflicts: 959000 | #Constraints: 37431
1799.14/1804.06 c #Conflicts: 960000 | #Constraints: 38431
1799.14/1804.06 c #Conflicts: 961000 | #Constraints: 39431
1799.14/1804.06 c INPROCESSING
1799.14/1804.06 c GARBAGE COLLECT
1799.14/1804.06 c #Conflicts: 962000 | #Constraints: 21038
1799.14/1804.06 c #Conflicts: 963000 | #Constraints: 22038
1799.14/1804.06 c #Conflicts: 964000 | #Constraints: 23038
1799.14/1804.06 c #Conflicts: 965000 | #Constraints: 24038
1799.14/1804.06 c #Conflicts: 966000 | #Constraints: 25038
1799.14/1804.06 c #Conflicts: 967000 | #Constraints: 26038
2086.15/2091.83 c #Conflicts: 968000 | #Constraints: 27038
2086.15/2091.83 c #Conflicts: 969000 | #Constraints: 28038
2086.15/2091.83 c #Conflicts: 970000 | #Constraints: 29038
2086.15/2091.83 c #Conflicts: 971000 | #Constraints: 30038
2086.15/2091.83 c #Conflicts: 972000 | #Constraints: 31038
2086.15/2091.83 c #Conflicts: 973000 | #Constraints: 32038
2086.15/2091.83 c #Conflicts: 974000 | #Constraints: 33038
2086.15/2091.83 c #Conflicts: 975000 | #Constraints: 34038
2086.15/2091.83 c #Conflicts: 976000 | #Constraints: 35038
2086.15/2091.83 c #Conflicts: 977000 | #Constraints: 36038
2086.15/2091.83 c #Conflicts: 978000 | #Constraints: 37038
2086.15/2091.83 c #Conflicts: 979000 | #Constraints: 38038
2086.15/2091.83 c #Conflicts: 980000 | #Constraints: 39038
2086.15/2091.83 c #Conflicts: 981000 | #Constraints: 40038
2086.15/2091.83 c INPROCESSING
2086.15/2091.83 c GARBAGE COLLECT
2086.15/2091.83 c #Conflicts: 982000 | #Constraints: 21436
2086.15/2091.83 c #Conflicts: 983000 | #Constraints: 22436
2086.15/2091.83 c #Conflicts: 984000 | #Constraints: 23436
2086.15/2091.83 c #Conflicts: 985000 | #Constraints: 24436
2086.15/2091.83 c #Conflicts: 986000 | #Constraints: 25436
2086.15/2091.83 c #Conflicts: 987000 | #Constraints: 26436
2086.15/2091.83 c #Conflicts: 988000 | #Constraints: 27436
2086.15/2091.83 c #Conflicts: 989000 | #Constraints: 28436
2086.15/2091.83 c #Conflicts: 990000 | #Constraints: 29436
2086.15/2091.83 c #Conflicts: 991000 | #Constraints: 30436
2086.15/2091.83 c #Conflicts: 992000 | #Constraints: 31436
2086.15/2091.83 c #Conflicts: 993000 | #Constraints: 32436
2086.15/2091.83 c #Conflicts: 994000 | #Constraints: 33436
2086.15/2091.83 c #Conflicts: 995000 | #Constraints: 34436
2086.15/2091.83 c #Conflicts: 996000 | #Constraints: 35436
2086.15/2091.83 c #Conflicts: 997000 | #Constraints: 36436
2086.15/2091.83 c #Conflicts: 998000 | #Constraints: 37436
2086.15/2091.83 c #Conflicts: 999000 | #Constraints: 38436
2086.15/2091.83 c #Conflicts: 1000000 | #Constraints: 39436
2086.15/2091.83 c #Conflicts: 1001000 | #Constraints: 40436
2086.15/2091.83 c INPROCESSING
2086.15/2091.83 c GARBAGE COLLECT
2086.15/2091.83 c #Conflicts: 1002000 | #Constraints: 21640
2086.15/2091.83 c #Conflicts: 1003000 | #Constraints: 22640
2086.15/2091.83 c #Conflicts: 1004000 | #Constraints: 23640
2086.15/2091.83 c #Conflicts: 1005000 | #Constraints: 24640
2086.15/2091.83 c #Conflicts: 1006000 | #Constraints: 25640
2086.15/2091.83 c #Conflicts: 1007000 | #Constraints: 26640
2086.15/2091.83 c #Conflicts: 1008000 | #Constraints: 27640
2086.15/2091.83 c #Conflicts: 1009000 | #Constraints: 28640
2086.15/2091.83 c #Conflicts: 1010000 | #Constraints: 29640
2086.15/2091.83 c #Conflicts: 1011000 | #Constraints: 30640
2086.15/2091.83 c #Conflicts: 1012000 | #Constraints: 31640
2086.15/2091.83 c #Conflicts: 1013000 | #Constraints: 32640
2086.15/2091.83 c #Conflicts: 1014000 | #Constraints: 33640
2086.15/2091.83 c #Conflicts: 1015000 | #Constraints: 34640
2086.15/2091.83 c #Conflicts: 1016000 | #Constraints: 35640
2086.15/2091.83 c #Conflicts: 1017000 | #Constraints: 36640
2086.15/2091.83 c #Conflicts: 1018000 | #Constraints: 37640
2086.15/2091.83 c #Conflicts: 1019000 | #Constraints: 38640
2086.15/2091.83 c #Conflicts: 1020000 | #Constraints: 39640
2086.15/2091.83 c #Conflicts: 1021000 | #Constraints: 40640
2086.15/2091.83 c INPROCESSING
2086.15/2091.83 c GARBAGE COLLECT
2086.15/2091.83 c #Conflicts: 1022000 | #Constraints: 21641
2086.15/2091.83 c #Conflicts: 1023000 | #Constraints: 22641
2086.15/2091.83 c #Conflicts: 1024000 | #Constraints: 23641
2086.15/2091.83 c #Conflicts: 1025000 | #Constraints: 24641
2086.15/2091.84 c #Conflicts: 1026000 | #Constraints: 25641
2086.15/2091.84 c #Conflicts: 1027000 | #Constraints: 26641
2086.15/2091.84 c #Conflicts: 1028000 | #Constraints: 27641
2086.15/2091.84 c #Conflicts: 1029000 | #Constraints: 28641
2086.15/2091.84 c #Conflicts: 1030000 | #Constraints: 29641
2086.15/2091.84 c #Conflicts: 1031000 | #Constraints: 30641
2086.15/2091.84 c #Conflicts: 1032000 | #Constraints: 31641
2086.15/2091.84 c #Conflicts: 1033000 | #Constraints: 32641
2086.15/2091.84 c #Conflicts: 1034000 | #Constraints: 33641
2086.15/2091.84 c #Conflicts: 1035000 | #Constraints: 34641
2086.15/2091.84 c #Conflicts: 1036000 | #Constraints: 35641
2086.15/2091.84 c #Conflicts: 1037000 | #Constraints: 36641
2086.15/2091.84 c #Conflicts: 1038000 | #Constraints: 37641
2086.15/2091.84 c #Conflicts: 1039000 | #Constraints: 38641
2086.15/2091.84 c #Conflicts: 1040000 | #Constraints: 39641
2086.15/2091.84 c #Conflicts: 1041000 | #Constraints: 40641
2086.15/2091.84 c INPROCESSING
2086.15/2091.84 c GARBAGE COLLECT
2086.15/2091.84 c #Conflicts: 1042000 | #Constraints: 21446
2086.15/2091.84 c #Conflicts: 1043000 | #Constraints: 22446
2086.15/2091.84 c #Conflicts: 1044000 | #Constraints: 23446
2541.58/2548.44 c #Conflicts: 1045000 | #Constraints: 24446
2541.58/2548.44 c #Conflicts: 1046000 | #Constraints: 25446
2541.58/2548.44 c #Conflicts: 1047000 | #Constraints: 26446
2541.58/2548.44 c #Conflicts: 1048000 | #Constraints: 27446
2541.58/2548.44 c #Conflicts: 1049000 | #Constraints: 28446
2541.58/2548.44 c #Conflicts: 1050000 | #Constraints: 29446
2541.58/2548.44 c #Conflicts: 1051000 | #Constraints: 30446
2541.58/2548.44 c #Conflicts: 1052000 | #Constraints: 31446
2541.58/2548.44 c #Conflicts: 1053000 | #Constraints: 32446
2541.58/2548.44 c #Conflicts: 1054000 | #Constraints: 33446
2541.58/2548.44 c #Conflicts: 1055000 | #Constraints: 34446
2541.58/2548.44 c #Conflicts: 1056000 | #Constraints: 35446
2541.58/2548.44 c #Conflicts: 1057000 | #Constraints: 36446
2541.58/2548.44 c #Conflicts: 1058000 | #Constraints: 37446
2541.58/2548.44 c #Conflicts: 1059000 | #Constraints: 38446
2541.58/2548.44 c #Conflicts: 1060000 | #Constraints: 39446
2541.58/2548.44 c #Conflicts: 1061000 | #Constraints: 40446
2541.58/2548.44 c #Conflicts: 1062000 | #Constraints: 41446
2541.58/2548.44 c INPROCESSING
2541.58/2548.44 c GARBAGE COLLECT
2541.58/2548.44 c #Conflicts: 1063000 | #Constraints: 22046
2541.58/2548.44 c #Conflicts: 1064000 | #Constraints: 23046
2541.58/2548.44 c #Conflicts: 1065000 | #Constraints: 24046
2541.58/2548.44 c #Conflicts: 1066000 | #Constraints: 25046
2541.58/2548.44 c #Conflicts: 1067000 | #Constraints: 26046
2541.58/2548.44 c #Conflicts: 1068000 | #Constraints: 27046
2541.58/2548.44 c #Conflicts: 1069000 | #Constraints: 28046
2541.58/2548.44 c #Conflicts: 1070000 | #Constraints: 29046
2541.58/2548.44 c #Conflicts: 1071000 | #Constraints: 30046
2541.58/2548.44 c #Conflicts: 1072000 | #Constraints: 31046
2541.58/2548.44 c #Conflicts: 1073000 | #Constraints: 32046
2541.58/2548.44 c #Conflicts: 1074000 | #Constraints: 33046
2541.58/2548.44 c #Conflicts: 1075000 | #Constraints: 34046
2541.58/2548.44 c #Conflicts: 1076000 | #Constraints: 35046
2541.58/2548.44 c #Conflicts: 1077000 | #Constraints: 36046
2541.58/2548.44 c #Conflicts: 1078000 | #Constraints: 37046
2541.58/2548.44 c #Conflicts: 1079000 | #Constraints: 38046
2541.58/2548.44 c #Conflicts: 1080000 | #Constraints: 39046
2541.58/2548.44 c #Conflicts: 1081000 | #Constraints: 40046
2541.58/2548.44 c #Conflicts: 1082000 | #Constraints: 41046
2541.58/2548.44 c #Conflicts: 1083000 | #Constraints: 42046
2541.58/2548.44 c INPROCESSING
2541.58/2548.44 c GARBAGE COLLECT
2541.58/2548.44 c #Conflicts: 1084000 | #Constraints: 22443
2541.58/2548.44 c #Conflicts: 1085000 | #Constraints: 23443
2541.58/2548.44 c #Conflicts: 1086000 | #Constraints: 24443
2541.58/2548.44 c #Conflicts: 1087000 | #Constraints: 25443
2541.58/2548.44 c #Conflicts: 1088000 | #Constraints: 26443
2541.58/2548.44 c #Conflicts: 1089000 | #Constraints: 27443
2541.58/2548.44 c #Conflicts: 1090000 | #Constraints: 28443
2541.58/2548.44 c #Conflicts: 1091000 | #Constraints: 29443
2541.58/2548.44 c #Conflicts: 1092000 | #Constraints: 30443
2541.58/2548.44 c #Conflicts: 1093000 | #Constraints: 31443
2541.58/2548.44 c #Conflicts: 1094000 | #Constraints: 32443
2541.58/2548.44 c #Conflicts: 1095000 | #Constraints: 33443
2541.58/2548.44 c #Conflicts: 1096000 | #Constraints: 34443
2541.58/2548.44 c #Conflicts: 1097000 | #Constraints: 35443
2541.58/2548.44 c #Conflicts: 1098000 | #Constraints: 36443
2541.58/2548.44 c #Conflicts: 1099000 | #Constraints: 37443
2541.58/2548.44 c #Conflicts: 1100000 | #Constraints: 38443
2541.58/2548.44 c #Conflicts: 1101000 | #Constraints: 39443
2541.58/2548.44 c #Conflicts: 1102000 | #Constraints: 40443
2541.58/2548.44 c #Conflicts: 1103000 | #Constraints: 41443
2541.58/2548.44 c #Conflicts: 1104000 | #Constraints: 42443
2541.58/2548.44 c INPROCESSING
2541.58/2548.44 c GARBAGE COLLECT
2541.58/2548.44 c #Conflicts: 1105000 | #Constraints: 22643
2541.58/2548.44 c #Conflicts: 1106000 | #Constraints: 23643
2541.58/2548.44 c #Conflicts: 1107000 | #Constraints: 24643
2541.58/2548.44 c #Conflicts: 1108000 | #Constraints: 25643
2541.58/2548.44 c #Conflicts: 1109000 | #Constraints: 26643
2541.58/2548.44 c #Conflicts: 1110000 | #Constraints: 27643
2541.58/2548.44 c #Conflicts: 1111000 | #Constraints: 28643
2541.58/2548.44 c #Conflicts: 1112000 | #Constraints: 29643
2541.58/2548.44 c #Conflicts: 1113000 | #Constraints: 30643
2541.58/2548.44 c #Conflicts: 1114000 | #Constraints: 31643
2541.58/2548.44 c #Conflicts: 1115000 | #Constraints: 32643
2541.58/2548.44 c #Conflicts: 1116000 | #Constraints: 33643
2541.58/2548.44 c #Conflicts: 1117000 | #Constraints: 34643
2541.58/2548.44 c #Conflicts: 1118000 | #Constraints: 35643
2541.58/2548.44 c #Conflicts: 1119000 | #Constraints: 36643
2541.58/2548.44 c #Conflicts: 1120000 | #Constraints: 37643
2541.58/2548.44 c #Conflicts: 1121000 | #Constraints: 38643
2795.96/2803.42 c #Conflicts: 1122000 | #Constraints: 39643
2795.96/2803.42 c #Conflicts: 1123000 | #Constraints: 40643
2795.96/2803.42 c #Conflicts: 1124000 | #Constraints: 41643
2795.96/2803.42 c #Conflicts: 1125000 | #Constraints: 42643
2795.96/2803.42 c INPROCESSING
2795.96/2803.42 c GARBAGE COLLECT
2795.96/2803.42 c #Conflicts: 1126000 | #Constraints: 22648
2795.96/2803.42 c #Conflicts: 1127000 | #Constraints: 23648
2795.96/2803.42 c #Conflicts: 1128000 | #Constraints: 24648
2795.96/2803.42 c #Conflicts: 1129000 | #Constraints: 25648
2795.96/2803.42 c #Conflicts: 1130000 | #Constraints: 26648
2795.96/2803.42 c #Conflicts: 1131000 | #Constraints: 27648
2795.96/2803.42 c #Conflicts: 1132000 | #Constraints: 28648
2795.96/2803.42 c #Conflicts: 1133000 | #Constraints: 29648
2795.96/2803.42 c #Conflicts: 1134000 | #Constraints: 30648
2795.96/2803.42 c #Conflicts: 1135000 | #Constraints: 31648
2795.96/2803.42 c #Conflicts: 1136000 | #Constraints: 32648
2795.96/2803.42 c #Conflicts: 1137000 | #Constraints: 33648
2795.96/2803.42 c #Conflicts: 1138000 | #Constraints: 34648
2795.96/2803.42 c #Conflicts: 1139000 | #Constraints: 35648
2795.96/2803.42 c #Conflicts: 1140000 | #Constraints: 36648
2795.96/2803.42 c #Conflicts: 1141000 | #Constraints: 37648
2795.96/2803.42 c #Conflicts: 1142000 | #Constraints: 38648
2795.96/2803.42 c #Conflicts: 1143000 | #Constraints: 39648
2795.96/2803.42 c #Conflicts: 1144000 | #Constraints: 40648
2795.96/2803.42 c #Conflicts: 1145000 | #Constraints: 41648
2795.96/2803.42 c #Conflicts: 1146000 | #Constraints: 42648
2795.96/2803.42 c INPROCESSING
2795.96/2803.42 c GARBAGE COLLECT
2795.96/2803.42 c #Conflicts: 1147000 | #Constraints: 22433
2795.96/2803.42 c #Conflicts: 1148000 | #Constraints: 23433
2795.96/2803.42 c #Conflicts: 1149000 | #Constraints: 24433
2795.96/2803.42 c #Conflicts: 1150000 | #Constraints: 25433
2795.96/2803.42 c #Conflicts: 1151000 | #Constraints: 26433
2795.96/2803.42 c #Conflicts: 1152000 | #Constraints: 27433
2795.96/2803.42 c #Conflicts: 1153000 | #Constraints: 28433
2795.96/2803.42 c #Conflicts: 1154000 | #Constraints: 29433
2795.96/2803.42 c #Conflicts: 1155000 | #Constraints: 30433
2795.96/2803.42 c #Conflicts: 1156000 | #Constraints: 31433
2795.96/2803.42 c #Conflicts: 1157000 | #Constraints: 32433
2795.96/2803.42 c #Conflicts: 1158000 | #Constraints: 33433
2795.96/2803.42 c #Conflicts: 1159000 | #Constraints: 34433
2795.96/2803.42 c #Conflicts: 1160000 | #Constraints: 35433
2795.96/2803.42 c #Conflicts: 1161000 | #Constraints: 36433
2795.96/2803.42 c #Conflicts: 1162000 | #Constraints: 37433
2795.96/2803.42 c #Conflicts: 1163000 | #Constraints: 38433
2795.96/2803.42 c #Conflicts: 1164000 | #Constraints: 39433
2795.96/2803.42 c #Conflicts: 1165000 | #Constraints: 40433
2795.96/2803.42 c #Conflicts: 1166000 | #Constraints: 41433
2795.96/2803.42 c #Conflicts: 1167000 | #Constraints: 42433
2795.96/2803.42 c #Conflicts: 1168000 | #Constraints: 43433
2795.96/2803.42 c INPROCESSING
2795.96/2803.42 c GARBAGE COLLECT
2795.96/2803.42 c #Conflicts: 1169000 | #Constraints: 23030
2795.96/2803.42 c #Conflicts: 1170000 | #Constraints: 24030
2795.96/2803.42 c #Conflicts: 1171000 | #Constraints: 25030
2795.96/2803.42 c #Conflicts: 1172000 | #Constraints: 26030
2795.96/2803.42 c #Conflicts: 1173000 | #Constraints: 27030
2795.96/2803.42 c #Conflicts: 1174000 | #Constraints: 28030
2795.96/2803.42 c #Conflicts: 1175000 | #Constraints: 29030
2795.96/2803.42 c #Conflicts: 1176000 | #Constraints: 30030
2795.96/2803.42 c #Conflicts: 1177000 | #Constraints: 31030
2795.96/2803.42 c #Conflicts: 1178000 | #Constraints: 32030
2795.96/2803.42 c #Conflicts: 1179000 | #Constraints: 33030
2795.96/2803.42 c #Conflicts: 1180000 | #Constraints: 34030
2795.96/2803.42 c #Conflicts: 1181000 | #Constraints: 35030
2795.96/2803.42 c #Conflicts: 1182000 | #Constraints: 36030
2795.96/2803.42 c #Conflicts: 1183000 | #Constraints: 37030
2795.96/2803.42 c #Conflicts: 1184000 | #Constraints: 38030
2795.96/2803.42 c #Conflicts: 1185000 | #Constraints: 39030
2795.96/2803.42 c #Conflicts: 1186000 | #Constraints: 40030
2795.96/2803.42 c #Conflicts: 1187000 | #Constraints: 41030
2795.96/2803.42 c #Conflicts: 1188000 | #Constraints: 42030
2795.96/2803.42 c #Conflicts: 1189000 | #Constraints: 43030
2795.96/2803.42 c #Conflicts: 1190000 | #Constraints: 44030
2795.96/2803.42 c INPROCESSING
2795.96/2803.42 c GARBAGE COLLECT
2795.96/2803.42 c #Conflicts: 1191000 | #Constraints: 23428
2795.96/2803.42 c #Conflicts: 1192000 | #Constraints: 24428
2795.96/2803.42 c #Conflicts: 1193000 | #Constraints: 25428
2795.96/2803.42 c #Conflicts: 1194000 | #Constraints: 26428
2795.96/2803.42 c #Conflicts: 1195000 | #Constraints: 27428
2795.96/2803.42 c #Conflicts: 1196000 | #Constraints: 28428
2795.96/2803.42 c #Conflicts: 1197000 | #Constraints: 29428
3060.09/3068.24 c #Conflicts: 1198000 | #Constraints: 30428
3060.09/3068.24 c #Conflicts: 1199000 | #Constraints: 31428
3060.09/3068.24 c #Conflicts: 1200000 | #Constraints: 32428
3060.09/3068.24 c #Conflicts: 1201000 | #Constraints: 33428
3060.09/3068.24 c #Conflicts: 1202000 | #Constraints: 34428
3060.09/3068.24 c #Conflicts: 1203000 | #Constraints: 35428
3060.09/3068.24 c #Conflicts: 1204000 | #Constraints: 36428
3060.09/3068.24 c #Conflicts: 1205000 | #Constraints: 37428
3060.09/3068.24 c #Conflicts: 1206000 | #Constraints: 38428
3060.09/3068.24 c #Conflicts: 1207000 | #Constraints: 39428
3060.09/3068.24 c #Conflicts: 1208000 | #Constraints: 40428
3060.09/3068.24 c #Conflicts: 1209000 | #Constraints: 41428
3060.09/3068.24 c #Conflicts: 1210000 | #Constraints: 42428
3060.09/3068.24 c #Conflicts: 1211000 | #Constraints: 43428
3060.09/3068.24 c #Conflicts: 1212000 | #Constraints: 44428
3060.09/3068.24 c INPROCESSING
3060.09/3068.24 c GARBAGE COLLECT
3060.09/3068.24 c #Conflicts: 1213000 | #Constraints: 23625
3060.09/3068.24 c #Conflicts: 1214000 | #Constraints: 24625
3060.09/3068.24 c #Conflicts: 1215000 | #Constraints: 25625
3060.09/3068.24 c #Conflicts: 1216000 | #Constraints: 26625
3060.09/3068.24 c #Conflicts: 1217000 | #Constraints: 27625
3060.09/3068.24 c #Conflicts: 1218000 | #Constraints: 28625
3060.09/3068.24 c #Conflicts: 1219000 | #Constraints: 29625
3060.09/3068.24 c #Conflicts: 1220000 | #Constraints: 30625
3060.09/3068.24 c #Conflicts: 1221000 | #Constraints: 31625
3060.09/3068.24 c #Conflicts: 1222000 | #Constraints: 32625
3060.09/3068.24 c #Conflicts: 1223000 | #Constraints: 33625
3060.09/3068.24 c #Conflicts: 1224000 | #Constraints: 34625
3060.09/3068.24 c #Conflicts: 1225000 | #Constraints: 35625
3060.09/3068.24 c #Conflicts: 1226000 | #Constraints: 36625
3060.09/3068.24 c #Conflicts: 1227000 | #Constraints: 37625
3060.09/3068.24 c #Conflicts: 1228000 | #Constraints: 38625
3060.09/3068.24 c #Conflicts: 1229000 | #Constraints: 39625
3060.09/3068.24 c #Conflicts: 1230000 | #Constraints: 40625
3060.09/3068.24 c #Conflicts: 1231000 | #Constraints: 41625
3060.09/3068.24 c #Conflicts: 1232000 | #Constraints: 42625
3060.09/3068.24 c #Conflicts: 1233000 | #Constraints: 43625
3060.09/3068.24 c #Conflicts: 1234000 | #Constraints: 44625
3060.09/3068.24 c INPROCESSING
3060.09/3068.24 c GARBAGE COLLECT
3060.09/3068.24 c #Conflicts: 1235000 | #Constraints: 23616
3060.09/3068.24 c #Conflicts: 1236000 | #Constraints: 24616
3060.09/3068.24 c #Conflicts: 1237000 | #Constraints: 25616
3060.09/3068.24 c #Conflicts: 1238000 | #Constraints: 26616
3060.09/3068.24 c #Conflicts: 1239000 | #Constraints: 27616
3060.09/3068.24 c #Conflicts: 1240000 | #Constraints: 28616
3060.09/3068.24 c #Conflicts: 1241000 | #Constraints: 29616
3060.09/3068.24 c #Conflicts: 1242000 | #Constraints: 30616
3060.09/3068.24 c #Conflicts: 1243000 | #Constraints: 31616
3060.09/3068.24 c #Conflicts: 1244000 | #Constraints: 32616
3060.09/3068.24 c #Conflicts: 1245000 | #Constraints: 33616
3060.09/3068.24 c #Conflicts: 1246000 | #Constraints: 34616
3060.09/3068.24 c #Conflicts: 1247000 | #Constraints: 35616
3060.09/3068.24 c #Conflicts: 1248000 | #Constraints: 36616
3060.09/3068.24 c #Conflicts: 1249000 | #Constraints: 37616
3060.09/3068.24 c #Conflicts: 1250000 | #Constraints: 38616
3060.09/3068.24 c #Conflicts: 1251000 | #Constraints: 39616
3060.09/3068.24 c #Conflicts: 1252000 | #Constraints: 40616
3060.09/3068.24 c #Conflicts: 1253000 | #Constraints: 41616
3060.09/3068.24 c #Conflicts: 1254000 | #Constraints: 42616
3060.09/3068.24 c #Conflicts: 1255000 | #Constraints: 43616
3060.09/3068.24 c #Conflicts: 1256000 | #Constraints: 44616
3060.09/3068.24 c INPROCESSING
3060.09/3068.24 c GARBAGE COLLECT
3060.09/3068.24 c #Conflicts: 1257000 | #Constraints: 23428
3060.09/3068.24 c #Conflicts: 1258000 | #Constraints: 24428
3060.09/3068.24 c #Conflicts: 1259000 | #Constraints: 25428
3060.09/3068.24 c #Conflicts: 1260000 | #Constraints: 26428
3060.09/3068.24 c #Conflicts: 1261000 | #Constraints: 27428
3060.09/3068.24 c #Conflicts: 1262000 | #Constraints: 28428
3060.09/3068.24 c #Conflicts: 1263000 | #Constraints: 29428
3060.09/3068.24 c #Conflicts: 1264000 | #Constraints: 30428
3060.09/3068.24 c #Conflicts: 1265000 | #Constraints: 31428
3060.09/3068.24 c #Conflicts: 1266000 | #Constraints: 32428
3060.09/3068.24 c #Conflicts: 1267000 | #Constraints: 33428
3060.09/3068.24 c #Conflicts: 1268000 | #Constraints: 34428
3060.09/3068.24 c #Conflicts: 1269000 | #Constraints: 35428
3060.09/3068.24 c #Conflicts: 1270000 | #Constraints: 36428
3060.09/3068.24 c #Conflicts: 1271000 | #Constraints: 37428
3060.09/3068.24 c #Conflicts: 1272000 | #Constraints: 38428
3060.09/3068.24 c #Conflicts: 1273000 | #Constraints: 39428
3060.09/3068.24 c #Conflicts: 1274000 | #Constraints: 40428
3330.81/3339.76 c #Conflicts: 1275000 | #Constraints: 41428
3330.81/3339.76 c #Conflicts: 1276000 | #Constraints: 42428
3330.81/3339.76 c #Conflicts: 1277000 | #Constraints: 43428
3330.81/3339.76 c #Conflicts: 1278000 | #Constraints: 44428
3330.81/3339.76 c #Conflicts: 1279000 | #Constraints: 45428
3330.81/3339.76 c INPROCESSING
3330.81/3339.76 c GARBAGE COLLECT
3330.81/3339.76 c #Conflicts: 1280000 | #Constraints: 24018
3330.81/3339.76 c #Conflicts: 1281000 | #Constraints: 25018
3330.81/3339.76 c #Conflicts: 1282000 | #Constraints: 26018
3330.81/3339.76 c #Conflicts: 1283000 | #Constraints: 27018
3330.81/3339.76 c #Conflicts: 1284000 | #Constraints: 28018
3330.81/3339.76 c #Conflicts: 1285000 | #Constraints: 29018
3330.81/3339.76 c #Conflicts: 1286000 | #Constraints: 30018
3330.81/3339.76 c #Conflicts: 1287000 | #Constraints: 31018
3330.81/3339.76 c #Conflicts: 1288000 | #Constraints: 32018
3330.81/3339.76 c #Conflicts: 1289000 | #Constraints: 33018
3330.81/3339.76 c #Conflicts: 1290000 | #Constraints: 34018
3330.81/3339.76 c #Conflicts: 1291000 | #Constraints: 35018
3330.81/3339.76 c #Conflicts: 1292000 | #Constraints: 36018
3330.81/3339.76 c #Conflicts: 1293000 | #Constraints: 37018
3330.81/3339.76 c #Conflicts: 1294000 | #Constraints: 38018
3330.81/3339.76 c #Conflicts: 1295000 | #Constraints: 39018
3330.81/3339.76 c #Conflicts: 1296000 | #Constraints: 40018
3330.81/3339.76 c #Conflicts: 1297000 | #Constraints: 41018
3330.81/3339.76 c #Conflicts: 1298000 | #Constraints: 42018
3330.81/3339.76 c #Conflicts: 1299000 | #Constraints: 43018
3330.81/3339.76 c #Conflicts: 1300000 | #Constraints: 44018
3330.81/3339.76 c #Conflicts: 1301000 | #Constraints: 45018
3330.81/3339.76 c #Conflicts: 1302000 | #Constraints: 46018
3330.81/3339.76 c INPROCESSING
3330.81/3339.76 c GARBAGE COLLECT
3330.81/3339.76 c #Conflicts: 1303000 | #Constraints: 24416
3330.81/3339.76 c #Conflicts: 1304000 | #Constraints: 25416
3330.81/3339.76 c #Conflicts: 1305000 | #Constraints: 26416
3330.81/3339.76 c #Conflicts: 1306000 | #Constraints: 27416
3330.81/3339.76 c #Conflicts: 1307000 | #Constraints: 28416
3330.81/3339.76 c #Conflicts: 1308000 | #Constraints: 29416
3330.81/3339.76 c #Conflicts: 1309000 | #Constraints: 30416
3330.81/3339.76 c #Conflicts: 1310000 | #Constraints: 31416
3330.81/3339.76 c #Conflicts: 1311000 | #Constraints: 32416
3330.81/3339.76 c #Conflicts: 1312000 | #Constraints: 33416
3330.81/3339.76 c #Conflicts: 1313000 | #Constraints: 34416
3330.81/3339.76 c #Conflicts: 1314000 | #Constraints: 35416
3330.81/3339.76 c #Conflicts: 1315000 | #Constraints: 36416
3330.81/3339.76 c #Conflicts: 1316000 | #Constraints: 37416
3330.81/3339.76 c #Conflicts: 1317000 | #Constraints: 38416
3330.81/3339.76 c #Conflicts: 1318000 | #Constraints: 39416
3330.81/3339.76 c #Conflicts: 1319000 | #Constraints: 40416
3330.81/3339.76 c #Conflicts: 1320000 | #Constraints: 41416
3330.81/3339.76 c #Conflicts: 1321000 | #Constraints: 42416
3330.81/3339.76 c #Conflicts: 1322000 | #Constraints: 43416
3330.81/3339.76 c #Conflicts: 1323000 | #Constraints: 44416
3330.81/3339.76 c #Conflicts: 1324000 | #Constraints: 45416
3330.81/3339.76 c #Conflicts: 1325000 | #Constraints: 46416
3330.81/3339.76 c INPROCESSING
3330.81/3339.76 c GARBAGE COLLECT
3330.81/3339.76 c #Conflicts: 1326000 | #Constraints: 24635
3330.81/3339.76 c #Conflicts: 1327000 | #Constraints: 25635
3330.81/3339.76 c #Conflicts: 1328000 | #Constraints: 26635
3330.81/3339.76 c #Conflicts: 1329000 | #Constraints: 27635
3330.81/3339.76 c #Conflicts: 1330000 | #Constraints: 28635
3330.81/3339.76 c #Conflicts: 1331000 | #Constraints: 29635
3330.81/3339.76 c #Conflicts: 1332000 | #Constraints: 30635
3330.81/3339.76 c #Conflicts: 1333000 | #Constraints: 31635
3330.81/3339.76 c #Conflicts: 1334000 | #Constraints: 32635
3330.81/3339.76 c #Conflicts: 1335000 | #Constraints: 33635
3330.81/3339.76 c #Conflicts: 1336000 | #Constraints: 34635
3330.81/3339.76 c #Conflicts: 1337000 | #Constraints: 35635
3330.81/3339.76 c #Conflicts: 1338000 | #Constraints: 36635
3330.81/3339.76 c #Conflicts: 1339000 | #Constraints: 37635
3330.81/3339.76 c #Conflicts: 1340000 | #Constraints: 38635
3330.81/3339.76 c #Conflicts: 1341000 | #Constraints: 39635
3330.81/3339.76 c #Conflicts: 1342000 | #Constraints: 40635
3330.81/3339.76 c #Conflicts: 1343000 | #Constraints: 41635
3330.81/3339.76 c #Conflicts: 1344000 | #Constraints: 42635
3330.81/3339.76 c #Conflicts: 1345000 | #Constraints: 43635
3330.81/3339.76 c #Conflicts: 1346000 | #Constraints: 44635
3330.81/3339.76 c #Conflicts: 1347000 | #Constraints: 45635
3330.81/3339.76 c #Conflicts: 1348000 | #Constraints: 46635
3330.81/3339.76 c INPROCESSING
3330.81/3339.76 c GARBAGE COLLECT
3330.81/3339.76 c #Conflicts: 1349000 | #Constraints: 24632
3330.81/3339.76 c #Conflicts: 1350000 | #Constraints: 25632
3514.78/3524.28 c #Conflicts: 1351000 | #Constraints: 26632
3514.78/3524.28 c #Conflicts: 1352000 | #Constraints: 27632
3514.78/3524.28 c #Conflicts: 1353000 | #Constraints: 28632
3514.78/3524.28 c #Conflicts: 1354000 | #Constraints: 29632
3514.78/3524.28 c #Conflicts: 1355000 | #Constraints: 30632
3514.78/3524.28 c #Conflicts: 1356000 | #Constraints: 31632
3514.78/3524.28 c #Conflicts: 1357000 | #Constraints: 32632
3514.78/3524.28 c #Conflicts: 1358000 | #Constraints: 33632
3514.78/3524.28 c #Conflicts: 1359000 | #Constraints: 34632
3514.78/3524.28 c #Conflicts: 1360000 | #Constraints: 35632
3514.78/3524.28 c #Conflicts: 1361000 | #Constraints: 36632
3514.78/3524.28 c #Conflicts: 1362000 | #Constraints: 37632
3514.78/3524.28 c #Conflicts: 1363000 | #Constraints: 38632
3514.78/3524.28 c #Conflicts: 1364000 | #Constraints: 39632
3514.78/3524.28 c #Conflicts: 1365000 | #Constraints: 40632
3514.78/3524.28 c #Conflicts: 1366000 | #Constraints: 41632
3514.78/3524.28 c #Conflicts: 1367000 | #Constraints: 42632
3514.78/3524.28 c #Conflicts: 1368000 | #Constraints: 43632
3514.78/3524.28 c #Conflicts: 1369000 | #Constraints: 44632
3514.78/3524.28 c #Conflicts: 1370000 | #Constraints: 45632
3514.78/3524.28 c #Conflicts: 1371000 | #Constraints: 46632
3514.78/3524.28 c INPROCESSING
3514.78/3524.28 c GARBAGE COLLECT
3514.78/3524.28 c #Conflicts: 1372000 | #Constraints: 24422
3514.78/3524.28 c #Conflicts: 1373000 | #Constraints: 25422
3514.78/3524.28 c #Conflicts: 1374000 | #Constraints: 26422
3514.78/3524.28 c #Conflicts: 1375000 | #Constraints: 27422
3514.78/3524.28 c #Conflicts: 1376000 | #Constraints: 28422
3514.78/3524.28 c #Conflicts: 1377000 | #Constraints: 29422
3514.78/3524.28 c #Conflicts: 1378000 | #Constraints: 30422
3514.78/3524.28 c #Conflicts: 1379000 | #Constraints: 31422
3514.78/3524.28 c #Conflicts: 1380000 | #Constraints: 32422
3514.78/3524.28 c #Conflicts: 1381000 | #Constraints: 33422
3514.78/3524.28 c #Conflicts: 1382000 | #Constraints: 34422
3514.78/3524.28 c #Conflicts: 1383000 | #Constraints: 35422
3514.78/3524.28 c #Conflicts: 1384000 | #Constraints: 36422
3514.78/3524.28 c #Conflicts: 1385000 | #Constraints: 37422
3514.78/3524.28 c #Conflicts: 1386000 | #Constraints: 38422
3514.78/3524.28 c #Conflicts: 1387000 | #Constraints: 39422
3514.78/3524.28 c #Conflicts: 1388000 | #Constraints: 40422
3514.78/3524.28 c #Conflicts: 1389000 | #Constraints: 41422
3514.78/3524.28 c #Conflicts: 1390000 | #Constraints: 42422
3514.78/3524.28 c #Conflicts: 1391000 | #Constraints: 43422
3514.78/3524.28 c #Conflicts: 1392000 | #Constraints: 44422
3514.78/3524.28 c #Conflicts: 1393000 | #Constraints: 45422
3514.78/3524.28 c #Conflicts: 1394000 | #Constraints: 46422
3514.78/3524.28 c #Conflicts: 1395000 | #Constraints: 47422
3514.78/3524.28 c INPROCESSING
3514.78/3524.28 c GARBAGE COLLECT
3514.78/3524.28 c #Conflicts: 1396000 | #Constraints: 25019
3514.78/3524.28 c #Conflicts: 1397000 | #Constraints: 26019
3514.78/3524.28 c #Conflicts: 1398000 | #Constraints: 27019
3514.78/3524.28 c #Conflicts: 1399000 | #Constraints: 28019
3514.78/3524.28 c #Conflicts: 1400000 | #Constraints: 29019
3514.78/3524.28 c #Conflicts: 1401000 | #Constraints: 30019
3514.78/3524.28 c #Conflicts: 1402000 | #Constraints: 31019
3514.78/3524.28 c #Conflicts: 1403000 | #Constraints: 32019
3514.78/3524.28 c #Conflicts: 1404000 | #Constraints: 33019
3514.78/3524.28 c #Conflicts: 1405000 | #Constraints: 34019
3514.78/3524.28 c #Conflicts: 1406000 | #Constraints: 35019
3514.78/3524.28 c #Conflicts: 1407000 | #Constraints: 36019
3514.78/3524.28 c #Conflicts: 1408000 | #Constraints: 37019
3514.78/3524.28 c #Conflicts: 1409000 | #Constraints: 38019
3514.78/3524.28 c #Conflicts: 1410000 | #Constraints: 39019
3514.78/3524.28 c #Conflicts: 1411000 | #Constraints: 40019
3514.78/3524.28 c #Conflicts: 1412000 | #Constraints: 41019
3514.78/3524.28 c #Conflicts: 1413000 | #Constraints: 42019
3514.78/3524.28 c #Conflicts: 1414000 | #Constraints: 43019
3514.78/3524.28 c #Conflicts: 1415000 | #Constraints: 44019
3514.78/3524.28 c #Conflicts: 1416000 | #Constraints: 45019
3514.78/3524.28 c #Conflicts: 1417000 | #Constraints: 46019
3514.78/3524.28 c #Conflicts: 1418000 | #Constraints: 47019
3514.78/3524.28 c #Conflicts: 1419000 | #Constraints: 48019
3514.78/3524.28 c INPROCESSING
3514.78/3524.28 c GARBAGE COLLECT
3514.78/3524.28 c #Conflicts: 1420000 | #Constraints: 25420
3514.78/3524.28 c #Conflicts: 1421000 | #Constraints: 26420
3514.78/3524.28 c #Conflicts: 1422000 | #Constraints: 27420
3514.78/3524.28 c #Conflicts: 1423000 | #Constraints: 28420
3514.78/3524.28 c #Conflicts: 1424000 | #Constraints: 29420
3514.78/3524.28 c #Conflicts: 1425000 | #Constraints: 30420
3514.78/3524.28 c #Conflicts: 1426000 | #Constraints: 31420
3514.78/3524.28 c #Conflicts: 1427000 | #Constraints: 32420
3600.05/3609.70 c #Conflicts: 1428000 | #Constraints: 33420
3600.05/3609.70 c #Conflicts: 1429000 | #Constraints: 34420
3600.05/3609.70 c #Conflicts: 1430000 | #Constraints: 35420
3600.05/3609.70 c #Conflicts: 1431000 | #Constraints: 36420
3600.05/3609.70 c #Conflicts: 1432000 | #Constraints: 37420
3600.05/3609.70 c #Conflicts: 1433000 | #Constraints: 38420
3600.05/3609.70 c #Conflicts: 1434000 | #Constraints: 39420
3600.05/3609.70 c #Conflicts: 1435000 | #Constraints: 40420
3600.05/3609.70 c #Conflicts: 1436000 | #Constraints: 41420
3600.05/3609.70 c #Conflicts: 1437000 | #Constraints: 42420
3600.05/3609.70 c #Conflicts: 1438000 | #Constraints: 43420
3600.05/3609.70 c #Conflicts: 1439000 | #Constraints: 44420
3600.05/3609.70 c #Conflicts: 1440000 | #Constraints: 45420
3600.05/3609.70 c #Conflicts: 1441000 | #Constraints: 46420
3600.05/3609.70 c #Conflicts: 1442000 | #Constraints: 47420
3600.05/3609.70 c #Conflicts: 1443000 | #Constraints: 48420
3600.05/3609.70 c INPROCESSING
3600.05/3609.70 c GARBAGE COLLECT
3600.05/3609.70 c #Conflicts: 1444000 | #Constraints: 25619
3600.05/3609.70 c #Conflicts: 1445000 | #Constraints: 26619
3600.05/3609.70 c #Conflicts: 1446000 | #Constraints: 27619
3600.05/3609.70 c #Conflicts: 1447000 | #Constraints: 28619
3600.05/3609.70 c #Conflicts: 1448000 | #Constraints: 29619
3600.05/3609.70 c #Conflicts: 1449000 | #Constraints: 30619
3600.05/3609.70 c #Conflicts: 1450000 | #Constraints: 31619
3600.05/3609.70 c #Conflicts: 1451000 | #Constraints: 32619
3600.05/3609.70 c #Conflicts: 1452000 | #Constraints: 33619
3600.05/3609.70 c #Conflicts: 1453000 | #Constraints: 34619
3600.05/3609.70 c #Conflicts: 1454000 | #Constraints: 35619
3600.05/3609.70 c #Conflicts: 1455000 | #Constraints: 36619
3600.05/3609.70 c Program interrupted by user.
3600.05/3609.70 c cpu time 3573.9 s
3600.05/3609.70 c deterministic time 728402427612 7.28e+11
3600.05/3609.70 c optimization time 32.3109 s
3600.05/3609.70 c total solve time 3541.53 s
3600.05/3609.70 c core-guided solve time 3541.53 s
3600.05/3609.70 c propagation time 2684.61 s
3600.05/3609.70 c conflict analysis time 672.531 s
3600.05/3609.70 c propagations 206235865
3600.05/3609.70 c resolve steps 8158368
3600.05/3609.70 c decisions 19548360
3600.05/3609.70 c conflicts 1455746
3600.05/3609.70 c restarts 2812
3600.05/3609.70 c inprocessing phases 111
3600.05/3609.70 c input clauses 366
3600.05/3609.70 c input cardinalities 367
3600.05/3609.70 c input general constraints 64
3600.05/3609.70 c input average constraint length 58.82
3600.05/3609.70 c input average constraint degree 11723.44
3600.05/3609.70 c learned clauses 169194
3600.05/3609.70 c learned cardinalities 2246
3600.05/3609.70 c learned general constraints 1284305
3600.05/3609.70 c learned average constraint length 1377.11
3600.05/3609.70 c learned average constraint degree 14488162.64
3600.05/3609.70 c watched constraints 721639
3600.05/3609.70 c counting constraints 562730
3600.05/3609.70 c gcd simplifications 70646
3600.05/3609.70 c detected cardinalities 96
3600.05/3609.70 c weakened non-implied lits 379724489
3600.05/3609.70 c weakened non-implying lits 306963
3600.05/3609.70 c original variables 11744
3600.05/3609.70 c clausal propagations 4933159
3600.05/3609.70 c cardinality propagations 16569119
3600.05/3609.70 c watched propagations 8931924
3600.05/3609.70 c counting propagations 174099556
3600.05/3609.70 c watch lookups 38481600421
3600.05/3609.70 c watch backjump lookups 37583238087
3600.05/3609.70 c watch checks 468868167031
3600.05/3609.70 c propagation checks 176636315579
3600.05/3609.70 c constraint additions 6380093122
3600.05/3609.70 c trail pops 227229146
3600.05/3609.70 c formula constraints 797
3600.05/3609.70 c learned constraints 1455745
3600.05/3609.70 c bound constraints 0
3600.05/3609.70 c core-guided constraints 0
3600.05/3609.70 c encountered formula constraints 5445875
3600.05/3609.70 c encountered learned constraints 4168239
3600.05/3609.70 c encountered bound constraints 0
3600.05/3609.70 c encountered core-guided constraints 0
3600.05/3609.70 c LP total time 0 s
3600.05/3609.70 c LP solve time 0 s
3600.05/3609.70 c LP constraints added 0
3600.05/3609.70 c LP constraints removed 0
3600.05/3609.70 c LP pivots internal 0
3600.05/3609.70 c LP pivots root 0
3600.05/3609.70 c LP calls 0
3600.05/3609.70 c LP optimalities 0
3600.05/3609.70 c LP no pivot count 0
3600.05/3609.70 c LP infeasibilities 0
3600.05/3609.70 c LP valid Farkas constraints 0
3600.05/3609.70 c LP learned Farkas constraints 0
3600.05/3609.70 c LP basis resets 0
3600.05/3609.70 c LP cycling count 0
3600.05/3609.70 c LP singular count 0
3600.05/3609.70 c LP no primal count 0
3600.05/3609.70 c LP no farkas count 0
3600.05/3609.70 c LP other issue count 0
3600.05/3609.70 c LP Gomory cuts 0
3600.05/3609.70 c LP learned cuts 0
3600.05/3609.70 c LP deleted cuts 0
3600.05/3609.70 c LP encountered Gomory constraints 0
3600.05/3609.70 c LP encountered Farkas constraints 0
3600.05/3609.70 c LP encountered learned Farkas constraints 0
3600.05/3609.70 c CG auxiliary variables introduced 0
3600.05/3609.70 c CG solutions found 0
3600.05/3609.70 c CG cores constructed 0
3600.05/3609.70 c CG core cardinality constraints returned 0
3600.05/3609.70 c CG unit cores 0
3600.05/3609.70 c CG single cores 0
3600.05/3609.70 c CG blocks removed during cardinality reduction 0
3600.05/3609.70 c CG first core best 0
3600.05/3609.70 c CG decision core best 0
3600.05/3609.70 c CG core reduction tie 0
3600.05/3609.70 c CG core degree average 0.00
3600.05/3609.70 c CG core slack average 0.00
3600.05/3609.70 c CG exhausted 0
3600.05/3609.70 c CG exhaust time 0 s
3600.05/3609.70 c CG trimmed 0
3600.05/3609.70 c CG trim time 0 s
3600.05/3609.70 c CG minimized 0
3600.05/3609.70 c CG minimize time 0 s
3600.05/3609.70 c CG am1 prop time 0 s
3600.05/3609.70 c CG # am1s reformulated 0
3600.05/3609.70 c CG lower bound derived from am1s 0
3600.05/3609.70 c CG # clausal cores 0
3600.05/3609.70 c CG # cardinality cores 0
3600.05/3609.70 c CG # pb cores 0
3600.05/3609.70 c CG # pb reforms 0
3600.05/3609.70 c CG # cores discarded because of pb reform 0
3600.05/3609.70 d LOWERBOUND 0
3600.05/3609.70 d NCORES 0
3600.05/3609.70 d NPBCORES 0
3600.05/3609.70 d NPBREFORM 0
3600.05/3609.70 d NTRIMMED 0
3600.05/3609.70 d NEXHAUSTED 0
3600.05/3609.70 d NAM1S 0
3600.05/3609.70 d AM1LB 0
3600.05/3609.73 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61712 MiB free)
memory of node 1: 64510 MiB (56963 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454604-1721478912/watcher-4454604-1721478912 -o /tmp/evaluation-result-4454604-1721478912/solver-4454604-1721478912 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721471663-1051932 --watchdog 3760 pb-oll-rs HOME/instance-4454604-1721478912.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=1056677, runsolver pid=1056674
[startup+0.100412 s]*
/proc/loadavg: 4.15 4.16 4.17 5/244 1056678
/proc/meminfo: memFree=121519492/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=42804 memory=10368 CPUtime=0.09 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 1379 0 0 0 7 2 0 0 20 0 1 0 200048184 43831296 2592 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 10701 2592 1410 291 0 2235 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42804 KiB
Current children cumulated memory: 10368 KiB
[startup+0.212969 s]*
/proc/loadavg: 4.15 4.16 4.17 5/244 1056678
/proc/meminfo: memFree=121514812/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=44208 memory=15096 CPUtime=0.2 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 2037 0 0 0 17 3 0 0 20 0 1 0 200048184 45268992 3774 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 11052 3774 1410 291 0 2586 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44208 KiB
Current children cumulated memory: 15096 KiB
[startup+0.312961 s]*
/proc/loadavg: 4.15 4.16 4.17 5/244 1056678
/proc/meminfo: memFree=121513356/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=45164 memory=16304 CPUtime=0.31 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 2345 0 0 0 27 4 0 0 20 0 1 0 200048184 46247936 4076 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 11291 4076 1410 291 0 2825 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45164 KiB
Current children cumulated memory: 16304 KiB
[startup+0.700301 s]
/proc/loadavg: 4.15 4.16 4.17 5/244 1056678
/proc/meminfo: memFree=121508480/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=56744 memory=27416 CPUtime=0.69 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 4081 0 0 0 63 6 0 0 20 0 1 0 200048184 58105856 6854 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 14220 6854 1410 291 0 5754 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 56744 KiB
Current children cumulated memory: 27416 KiB
[startup+1.50035 s]
/proc/loadavg: 4.15 4.16 4.17 5/244 1056678
/proc/meminfo: memFree=121487400/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=77504 memory=48668 CPUtime=1.48 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 8332 0 0 0 137 11 0 0 20 0 1 0 200048184 79364096 12167 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 19376 12167 1473 291 0 10910 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 77504 KiB
Current children cumulated memory: 48668 KiB
[startup+3.11317 s]
/proc/loadavg: 4.15 4.16 4.17 5/244 1056678
/proc/meminfo: memFree=121456868/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=100500 memory=66568 CPUtime=3.09 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 11272 0 0 0 291 18 0 0 20 0 1 0 200048184 102912000 16642 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 25125 16642 1473 291 0 16659 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 100500 KiB
Current children cumulated memory: 66568 KiB
[startup+6.30034 s]
/proc/loadavg: 4.14 4.15 4.16 5/244 1056680
/proc/meminfo: memFree=121381364/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=165660 memory=131756 CPUtime=6.27 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 23007 0 0 0 599 28 0 0 20 0 1 0 200048184 169635840 32939 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 41415 32939 1473 291 0 32949 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 165660 KiB
Current children cumulated memory: 131756 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.15 4.16 5/244 1056680
/proc/meminfo: memFree=121333808/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=197320 memory=164800 CPUtime=12.65 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 30737 0 0 0 1219 46 0 0 20 0 1 0 200048184 202055680 41200 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 49330 41200 1473 291 0 40864 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 197320 KiB
Current children cumulated memory: 164800 KiB
[startup+25.5004 s]
/proc/loadavg: 4.10 4.14 4.16 5/244 1056681
/proc/meminfo: memFree=121271908/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=281216 memory=219320 CPUtime=25.42 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 43389 0 0 0 2457 85 0 0 20 0 1 0 200048184 287965184 54830 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 70304 54830 1473 291 0 61838 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 281216 KiB
Current children cumulated memory: 219320 KiB
[startup+51.113 s]
/proc/loadavg: 4.13 4.15 4.16 5/242 1056686
/proc/meminfo: memFree=121210476/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=320288 memory=262260 CPUtime=50.97 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 52108 0 0 0 4961 136 0 0 20 0 1 0 200048184 327974912 65565 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 80072 65565 1473 291 0 71606 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 320288 KiB
Current children cumulated memory: 262260 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/242 1056694
/proc/meminfo: memFree=120813788/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=445060 memory=359756 CPUtime=102.02 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 69352 0 0 0 9998 204 0 0 20 0 1 0 200048184 455741440 89939 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 111265 89939 1473 291 0 102799 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 445060 KiB
Current children cumulated memory: 359756 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.16 4.16 5/242 1056705
/proc/meminfo: memFree=120434184/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=481504 memory=396588 CPUtime=161.87 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 77685 0 0 0 15866 321 0 0 20 0 1 0 200048184 493060096 99147 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 120376 99147 1473 291 0 111910 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 481504 KiB
Current children cumulated memory: 396588 KiB
[startup+222.3 s]
/proc/loadavg: 4.23 4.17 4.17 5/241 1056715
/proc/meminfo: memFree=120161216/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=561288 memory=487380 CPUtime=221.72 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 94467 0 0 0 21783 389 0 0 20 0 1 0 200048184 574758912 121845 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 140322 121845 1473 291 0 131856 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 561288 KiB
Current children cumulated memory: 487380 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/241 1056725
/proc/meminfo: memFree=119909512/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=713196 memory=554904 CPUtime=281.57 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 110167 0 0 0 27705 452 0 0 20 0 1 0 200048184 730312704 138726 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 178299 138726 1473 291 0 169833 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 713196 KiB
Current children cumulated memory: 554904 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/243 1056740
/proc/meminfo: memFree=119763800/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=726360 memory=575088 CPUtime=341.42 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 113470 0 0 0 33611 531 0 0 20 0 1 0 200048184 743792640 143772 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 181590 143772 1473 291 0 173124 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 726360 KiB
Current children cumulated memory: 575088 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/244 1056751
/proc/meminfo: memFree=119493848/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=761668 memory=626492 CPUtime=401.27 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 120401 0 0 0 39529 598 0 0 20 0 1 0 200048184 779948032 156623 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 190417 156623 1473 291 0 181951 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 761668 KiB
Current children cumulated memory: 626492 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/244 1056762
/proc/meminfo: memFree=119226780/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=806808 memory=687572 CPUtime=461.11 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 130654 0 0 0 45469 642 0 0 20 0 1 0 200048184 826171392 171893 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 201702 171893 1473 291 0 193236 0
################
# More data... #
################
Current children cumulated memory: 2667048 KiB
[startup+2922.3 s]
/proc/loadavg: 2.08 2.24 2.71 3/229 1057838
/proc/meminfo: memFree=123803912/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=3017308 memory=2667048 CPUtime=2914.58 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 446872 0 0 0 289241 2217 0 0 20 0 1 0 200048184 3089723392 666762 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 754327 666762 1473 291 0 745861 0
Current children cumulated CPU time: 2914.58 s
Current children cumulated vsize: 3017308 KiB
Current children cumulated memory: 2667048 KiB
[startup+2982.3 s]
/proc/loadavg: 2.13 2.22 2.67 3/229 1057850
/proc/meminfo: memFree=123801500/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=3017308 memory=2667048 CPUtime=2974.44 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 448073 0 0 0 295171 2273 0 0 20 0 1 0 200048184 3089723392 666762 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 754327 666762 1473 291 0 745861 0
Current children cumulated CPU time: 2974.44 s
Current children cumulated vsize: 3017308 KiB
Current children cumulated memory: 2667048 KiB
[startup+3042.3 s]
/proc/loadavg: 2.10 2.20 2.63 3/231 1058244
/proc/meminfo: memFree=123771960/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=3017308 memory=2667104 CPUtime=3034.27 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 449057 0 0 0 301142 2285 0 0 20 0 1 0 200048184 3089723392 666776 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 754327 666776 1473 291 0 745861 0
Current children cumulated CPU time: 3034.27 s
Current children cumulated vsize: 3017308 KiB
Current children cumulated memory: 2667104 KiB
[startup+3102.3 s]
/proc/loadavg: 2.14 2.19 2.60 3/229 1058254
/proc/meminfo: memFree=123725100/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=3044248 memory=2682744 CPUtime=3094.1 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 454233 0 0 0 307110 2300 0 0 20 0 1 0 200048184 3117309952 670686 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 761062 670686 1473 291 0 752596 0
Current children cumulated CPU time: 3094.1 s
Current children cumulated vsize: 3044248 KiB
Current children cumulated memory: 2682744 KiB
[startup+3162.3 s]
/proc/loadavg: 2.11 2.17 2.57 3/229 1058265
/proc/meminfo: memFree=123724364/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=3044376 memory=2683080 CPUtime=3153.92 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 455581 0 0 0 313075 2317 0 0 20 0 1 0 200048184 3117441024 670770 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 761094 670770 1473 291 0 752628 0
Current children cumulated CPU time: 3153.92 s
Current children cumulated vsize: 3044376 KiB
Current children cumulated memory: 2683080 KiB
[startup+3222.3 s]
/proc/loadavg: 2.12 2.16 2.54 3/230 1058444
/proc/meminfo: memFree=123723512/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=3044864 memory=2683440 CPUtime=3213.75 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 456893 0 0 0 319008 2367 0 0 20 0 1 0 200048184 3117940736 670860 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 761216 670860 1473 291 0 752750 0
Current children cumulated CPU time: 3213.75 s
Current children cumulated vsize: 3044864 KiB
Current children cumulated memory: 2683440 KiB
[startup+3282.3 s]
/proc/loadavg: 2.10 2.15 2.51 3/230 1058454
/proc/meminfo: memFree=123723416/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=3044864 memory=2683440 CPUtime=3273.58 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 458041 0 0 0 324957 2401 0 0 20 0 1 0 200048184 3117940736 670860 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 761216 670860 1473 291 0 752750 0
Current children cumulated CPU time: 3273.58 s
Current children cumulated vsize: 3044864 KiB
Current children cumulated memory: 2683440 KiB
[startup+3342.3 s]
/proc/loadavg: 2.08 2.13 2.48 3/231 1058523
/proc/meminfo: memFree=123721632/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=3046296 memory=2684336 CPUtime=3333.4 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 459582 0 0 0 330925 2415 0 0 20 0 1 0 200048184 3119407104 671084 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 761574 671084 1473 291 0 753108 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 3046296 KiB
Current children cumulated memory: 2684336 KiB
[startup+3402.3 s]
/proc/loadavg: 2.15 2.14 2.46 3/231 1058533
/proc/meminfo: memFree=123721472/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=3046296 memory=2684336 CPUtime=3393.23 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 460721 0 0 0 336873 2450 0 0 20 0 1 0 200048184 3119407104 671084 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 761574 671084 1473 291 0 753108 0
Current children cumulated CPU time: 3393.23 s
Current children cumulated vsize: 3046296 KiB
Current children cumulated memory: 2684336 KiB
[startup+3462.3 s]
/proc/loadavg: 2.05 2.11 2.43 3/231 1058543
/proc/meminfo: memFree=123720952/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=3046784 memory=2684592 CPUtime=3453.06 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 462194 0 0 0 342803 2503 0 0 20 0 1 0 200048184 3119906816 671148 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 761696 671148 1473 291 0 753230 0
Current children cumulated CPU time: 3453.06 s
Current children cumulated vsize: 3046784 KiB
Current children cumulated memory: 2684592 KiB
[startup+3522.3 s]
/proc/loadavg: 2.06 2.10 2.40 3/230 1058553
/proc/meminfo: memFree=123720252/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=3046784 memory=2684696 CPUtime=3512.89 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 463311 0 0 0 348724 2565 0 0 20 0 1 0 200048184 3119906816 671174 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 761696 671174 1473 291 0 753230 0
Current children cumulated CPU time: 3512.89 s
Current children cumulated vsize: 3046784 KiB
Current children cumulated memory: 2684696 KiB
[startup+3582.3 s]
/proc/loadavg: 2.01 2.09 2.38 2/223 1058596
/proc/meminfo: memFree=124563784/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=3046784 memory=2684696 CPUtime=3572.72 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 464632 0 0 0 354664 2608 0 0 20 0 1 0 200048184 3119906816 671174 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 761696 671174 1473 291 0 753230 0
Current children cumulated CPU time: 3572.72 s
Current children cumulated vsize: 3046784 KiB
Current children cumulated memory: 2684696 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 1.61 1.99 2.34 2/223 1058601
/proc/meminfo: memFree=124563844/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=3046784 memory=2684696 CPUtime=3600.05 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 465166 0 0 0 357389 2616 0 0 20 0 1 0 200048184 3119906816 671174 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 761696 671174 1473 291 0 753230 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 3046784 KiB
Current children cumulated memory: 2684696 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.74 s]
# the end of solver process 1056677 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3573.9 s, system=26.2038 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 1.61 1.99 2.34 2/223 1058601
/proc/meminfo: memFree=124563844/131655788 swapFree=131071996/131071996
[pid=1056677] ppid=1056674 vsize=3046784 memory=2684696 CPUtime=3600.05 cores=1,3
/proc/1056677/stat : 1056677 (pb-oll-rs) R 1056674 1056677 1051920 0 -1 4194304 465166 0 0 0 357389 2616 0 0 20 0 1 0 200048184 3119906816 671174 134679101440 4194304 5384485 140724773890592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 17973248 140724773897237 140724773897314 140724773897314 140724773904331 0
/proc/1056677/statm: 761696 671174 1473 291 0 753230 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 3046784 KiB
Current children cumulated memory: 2684696 KiB
Child status: 0
Real time (s): 3609.74
CPU time (s): 3600.11
CPU user time (s): 3573.9
CPU system time (s): 26.2038
CPU usage (%): 99.733
Max. virtual memory (cumulated for all children) (KiB): 3046968
Max. memory (cumulated for all children) (KiB): 2684796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.9
system time used= 26.2038
maximum resident set size= 2684988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 465205
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= 267
involuntary context switches= 3256
# summary of solver processes directly reported to runsolver:
# pid: 1056677
# total CPU time (s): 3600.11
# total CPU user time (s): 3573.9
# total CPU system time (s): 26.2038
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.1581 second user time and 31.2707 second system time
The end
Begin job on nodeC012 at 2024-07-20 14:35:25
IDJOB=4454604
IDBENCH=158625
IDSOLVER=3082
FILE ID=nodeC012/4454604-1721478912
RUNJOBID= nodeC012-1721471663-1051932
SLURM_JOB_ID= 7545738
Free space on /tmp= 723740 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454604-1721478912/watcher-4454604-1721478912 -o /tmp/evaluation-result-4454604-1721478912/solver-4454604-1721478912 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721471663-1051932 --watchdog 3760 pb-oll-rs HOME/instance-4454604-1721478912.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3f10ffbf957f8216a1934b9362956d36
RANDOM SEED=1517047619
nodeC012.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 : 3676.017
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 : 6984.37
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 : 3654.701
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.32
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.486
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 : 6984.37
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.327
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.32
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 : 3676.201
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 : 6984.37
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 : 3588.464
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.32
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.552
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 : 6984.37
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.489
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 121524784 kB
MemAvailable: 124189080 kB
Buffers: 564792 kB
Cached: 2926504 kB
SwapCached: 0 kB
Active: 1168660 kB
Inactive: 8354556 kB
Active(anon): 1448 kB
Inactive(anon): 6076404 kB
Active(file): 1167212 kB
Inactive(file): 2278152 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 2404 kB
Writeback: 4 kB
AnonPages: 6032036 kB
Mapped: 111648 kB
Shmem: 45896 kB
KReclaimable: 117928 kB
Slab: 224716 kB
SReclaimable: 117928 kB
SUnreclaim: 106788 kB
KernelStack: 3936 kB
PageTables: 22344 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 7385904 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62656 kB
HardwareCorrupted: 0 kB
AnonHugePages: 995328 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: 312136 kB
DirectMap2M: 33146880 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723772 MiB
End job on nodeC012 at 2024-07-20 15:35:35