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.02 c [STEP] solving
0.00/0.02 c #variables 11744 #constraints 797
0.00/0.02 c SMALL=int, LARGE=long long
59.28/59.53 c bounds - >= 32 @ 0.017095
59.28/59.53 c #Conflicts: 1000 | #Constraints: 1796
59.28/59.53 c #Conflicts: 2000 | #Constraints: 2796
59.28/59.53 c INPROCESSING
59.28/59.53 c GARBAGE COLLECT
59.28/59.53 c #Conflicts: 3000 | #Constraints: 2810
59.28/59.53 c #Conflicts: 4000 | #Constraints: 3810
59.28/59.53 c INPROCESSING
59.28/59.53 c GARBAGE COLLECT
59.28/59.53 c #Conflicts: 5000 | #Constraints: 3212
59.28/59.53 c #Conflicts: 6000 | #Constraints: 4212
59.28/59.53 c INPROCESSING
59.28/59.53 c GARBAGE COLLECT
59.28/59.53 c #Conflicts: 7000 | #Constraints: 3213
59.28/59.53 c #Conflicts: 8000 | #Constraints: 4213
59.28/59.53 c #Conflicts: 9000 | #Constraints: 5213
59.28/59.53 c INPROCESSING
59.28/59.53 c GARBAGE COLLECT
59.28/59.53 c #Conflicts: 10000 | #Constraints: 3914
59.28/59.53 c #Conflicts: 11000 | #Constraints: 4914
59.28/59.53 c #Conflicts: 12000 | #Constraints: 5914
59.28/59.53 c INPROCESSING
59.28/59.53 c GARBAGE COLLECT
59.28/59.53 c #Conflicts: 13000 | #Constraints: 4365
59.28/59.53 c #Conflicts: 14000 | #Constraints: 5365
59.28/59.53 c #Conflicts: 15000 | #Constraints: 6365
59.28/59.53 c INPROCESSING
59.28/59.53 c GARBAGE COLLECT
59.28/59.53 c #Conflicts: 16000 | #Constraints: 4595
59.28/59.53 c #Conflicts: 17000 | #Constraints: 5595
59.28/59.53 c #Conflicts: 18000 | #Constraints: 6595
59.28/59.53 c INPROCESSING
59.28/59.53 c GARBAGE COLLECT
59.28/59.53 c #Conflicts: 19000 | #Constraints: 4615
59.28/59.53 c #Conflicts: 20000 | #Constraints: 5615
59.28/59.53 c #Conflicts: 21000 | #Constraints: 6615
59.28/59.53 c INPROCESSING
59.28/59.53 c GARBAGE COLLECT
59.28/59.53 c #Conflicts: 22000 | #Constraints: 4414
59.28/59.53 c #Conflicts: 23000 | #Constraints: 5414
59.28/59.53 c #Conflicts: 24000 | #Constraints: 6414
59.28/59.53 c #Conflicts: 25000 | #Constraints: 7414
59.28/59.53 c INPROCESSING
59.28/59.53 c GARBAGE COLLECT
59.28/59.53 c #Conflicts: 26000 | #Constraints: 5017
59.28/59.53 c #Conflicts: 27000 | #Constraints: 6017
59.28/59.53 c #Conflicts: 28000 | #Constraints: 7017
59.28/59.53 c #Conflicts: 29000 | #Constraints: 8017
59.28/59.53 c INPROCESSING
59.28/59.53 c GARBAGE COLLECT
59.28/59.53 c #Conflicts: 30000 | #Constraints: 5418
59.28/59.53 c #Conflicts: 31000 | #Constraints: 6418
59.28/59.53 c #Conflicts: 32000 | #Constraints: 7418
59.28/59.53 c #Conflicts: 33000 | #Constraints: 8418
59.28/59.53 c INPROCESSING
59.28/59.53 c GARBAGE COLLECT
59.28/59.53 c #Conflicts: 34000 | #Constraints: 5617
59.28/59.53 c #Conflicts: 35000 | #Constraints: 6617
59.28/59.53 c #Conflicts: 36000 | #Constraints: 7617
59.28/59.53 c #Conflicts: 37000 | #Constraints: 8617
59.28/59.53 c INPROCESSING
59.28/59.53 c GARBAGE COLLECT
59.28/59.53 c #Conflicts: 38000 | #Constraints: 5624
59.28/59.53 c #Conflicts: 39000 | #Constraints: 6624
59.28/59.53 c #Conflicts: 40000 | #Constraints: 7624
59.28/59.53 c #Conflicts: 41000 | #Constraints: 8624
59.28/59.53 c INPROCESSING
59.28/59.53 c GARBAGE COLLECT
59.28/59.53 c #Conflicts: 42000 | #Constraints: 5429
59.28/59.53 c #Conflicts: 43000 | #Constraints: 6429
59.28/59.53 c #Conflicts: 44000 | #Constraints: 7429
59.28/59.53 c #Conflicts: 45000 | #Constraints: 8429
59.28/59.53 c #Conflicts: 46000 | #Constraints: 9429
59.28/59.53 c INPROCESSING
59.28/59.53 c GARBAGE COLLECT
59.28/59.53 c #Conflicts: 47000 | #Constraints: 6020
59.28/59.53 c #Conflicts: 48000 | #Constraints: 7020
59.28/59.53 c #Conflicts: 49000 | #Constraints: 8020
59.28/59.53 c #Conflicts: 50000 | #Constraints: 9020
59.28/59.53 c #Conflicts: 51000 | #Constraints: 10020
59.28/59.53 c INPROCESSING
59.28/59.53 c GARBAGE COLLECT
59.28/59.53 c #Conflicts: 52000 | #Constraints: 6420
59.28/59.53 c #Conflicts: 53000 | #Constraints: 7420
59.28/59.53 c #Conflicts: 54000 | #Constraints: 8420
59.28/59.53 c #Conflicts: 55000 | #Constraints: 9420
59.28/59.53 c #Conflicts: 56000 | #Constraints: 10420
59.28/59.53 c INPROCESSING
59.28/59.53 c GARBAGE COLLECT
59.28/59.53 c #Conflicts: 57000 | #Constraints: 6612
59.28/59.53 c #Conflicts: 58000 | #Constraints: 7612
59.28/59.53 c #Conflicts: 59000 | #Constraints: 8612
59.28/59.53 c #Conflicts: 60000 | #Constraints: 9612
59.28/59.53 c #Conflicts: 61000 | #Constraints: 10612
59.28/59.53 c INPROCESSING
59.28/59.53 c GARBAGE COLLECT
59.28/59.53 c #Conflicts: 62000 | #Constraints: 6615
59.28/59.53 c #Conflicts: 63000 | #Constraints: 7615
59.28/59.53 c #Conflicts: 64000 | #Constraints: 8615
59.28/59.53 c #Conflicts: 65000 | #Constraints: 9615
59.28/59.53 c #Conflicts: 66000 | #Constraints: 10615
59.28/59.53 c INPROCESSING
59.28/59.53 c GARBAGE COLLECT
59.28/59.53 c #Conflicts: 67000 | #Constraints: 6416
135.41/135.93 c #Conflicts: 68000 | #Constraints: 7416
135.41/135.93 c #Conflicts: 69000 | #Constraints: 8416
135.41/135.93 c #Conflicts: 70000 | #Constraints: 9416
135.41/135.93 c #Conflicts: 71000 | #Constraints: 10416
135.41/135.93 c #Conflicts: 72000 | #Constraints: 11416
135.41/135.93 c INPROCESSING
135.41/135.93 c GARBAGE COLLECT
135.41/135.93 c #Conflicts: 73000 | #Constraints: 7019
135.41/135.93 c #Conflicts: 74000 | #Constraints: 8019
135.41/135.93 c #Conflicts: 75000 | #Constraints: 9019
135.41/135.93 c #Conflicts: 76000 | #Constraints: 10019
135.41/135.93 c #Conflicts: 77000 | #Constraints: 11019
135.41/135.93 c #Conflicts: 78000 | #Constraints: 12019
135.41/135.93 c INPROCESSING
135.41/135.93 c GARBAGE COLLECT
135.41/135.93 c #Conflicts: 79000 | #Constraints: 7423
135.41/135.93 c #Conflicts: 80000 | #Constraints: 8423
135.41/135.93 c #Conflicts: 81000 | #Constraints: 9423
135.41/135.93 c #Conflicts: 82000 | #Constraints: 10423
135.41/135.93 c #Conflicts: 83000 | #Constraints: 11423
135.41/135.93 c #Conflicts: 84000 | #Constraints: 12423
135.41/135.93 c INPROCESSING
135.41/135.93 c GARBAGE COLLECT
135.41/135.93 c #Conflicts: 85000 | #Constraints: 7623
135.41/135.93 c #Conflicts: 86000 | #Constraints: 8623
135.41/135.93 c #Conflicts: 87000 | #Constraints: 9623
135.41/135.93 c #Conflicts: 88000 | #Constraints: 10623
135.41/135.93 c #Conflicts: 89000 | #Constraints: 11623
135.41/135.93 c #Conflicts: 90000 | #Constraints: 12623
135.41/135.93 c INPROCESSING
135.41/135.93 c GARBAGE COLLECT
135.41/135.93 c #Conflicts: 91000 | #Constraints: 7622
135.41/135.93 c #Conflicts: 92000 | #Constraints: 8622
135.41/135.93 c #Conflicts: 93000 | #Constraints: 9622
135.41/135.93 c #Conflicts: 94000 | #Constraints: 10622
135.41/135.93 c #Conflicts: 95000 | #Constraints: 11622
135.41/135.93 c #Conflicts: 96000 | #Constraints: 12622
135.41/135.93 c INPROCESSING
135.41/135.93 c GARBAGE COLLECT
135.41/135.93 c #Conflicts: 97000 | #Constraints: 7427
135.41/135.93 c #Conflicts: 98000 | #Constraints: 8427
135.41/135.93 c #Conflicts: 99000 | #Constraints: 9427
135.41/135.93 c #Conflicts: 100000 | #Constraints: 10427
135.41/135.93 c #Conflicts: 101000 | #Constraints: 11427
135.41/135.93 c #Conflicts: 102000 | #Constraints: 12427
135.41/135.93 c #Conflicts: 103000 | #Constraints: 13427
135.41/135.93 c INPROCESSING
135.41/135.93 c GARBAGE COLLECT
135.41/135.93 c #Conflicts: 104000 | #Constraints: 8015
135.41/135.93 c #Conflicts: 105000 | #Constraints: 9015
135.41/135.93 c #Conflicts: 106000 | #Constraints: 10015
135.41/135.93 c #Conflicts: 107000 | #Constraints: 11015
135.41/135.93 c #Conflicts: 108000 | #Constraints: 12015
135.41/135.93 c #Conflicts: 109000 | #Constraints: 13015
135.41/135.93 c #Conflicts: 110000 | #Constraints: 14015
135.41/135.93 c INPROCESSING
135.41/135.93 c GARBAGE COLLECT
135.41/135.93 c #Conflicts: 111000 | #Constraints: 8421
135.41/135.93 c #Conflicts: 112000 | #Constraints: 9421
135.41/135.93 c #Conflicts: 113000 | #Constraints: 10421
135.41/135.93 c #Conflicts: 114000 | #Constraints: 11421
135.41/135.93 c #Conflicts: 115000 | #Constraints: 12421
135.41/135.93 c #Conflicts: 116000 | #Constraints: 13421
135.41/135.93 c #Conflicts: 117000 | #Constraints: 14421
135.41/135.93 c INPROCESSING
135.41/135.93 c GARBAGE COLLECT
135.41/135.93 c #Conflicts: 118000 | #Constraints: 8615
135.41/135.93 c #Conflicts: 119000 | #Constraints: 9615
135.41/135.93 c #Conflicts: 120000 | #Constraints: 10615
135.41/135.93 c #Conflicts: 121000 | #Constraints: 11615
135.41/135.93 c #Conflicts: 122000 | #Constraints: 12615
135.41/135.93 c #Conflicts: 123000 | #Constraints: 13615
135.41/135.93 c #Conflicts: 124000 | #Constraints: 14615
135.41/135.93 c INPROCESSING
135.41/135.93 c GARBAGE COLLECT
135.41/135.93 c #Conflicts: 125000 | #Constraints: 8612
135.41/135.93 c #Conflicts: 126000 | #Constraints: 9612
135.41/135.93 c #Conflicts: 127000 | #Constraints: 10612
135.41/135.93 c #Conflicts: 128000 | #Constraints: 11612
135.41/135.93 c #Conflicts: 129000 | #Constraints: 12612
135.41/135.93 c #Conflicts: 130000 | #Constraints: 13612
135.41/135.93 c #Conflicts: 131000 | #Constraints: 14612
135.41/135.93 c INPROCESSING
135.41/135.93 c GARBAGE COLLECT
135.41/135.93 c #Conflicts: 132000 | #Constraints: 8413
135.41/135.93 c #Conflicts: 133000 | #Constraints: 9413
135.41/135.93 c #Conflicts: 134000 | #Constraints: 10413
135.41/135.93 c #Conflicts: 135000 | #Constraints: 11413
135.41/135.93 c #Conflicts: 136000 | #Constraints: 12413
135.41/135.93 c #Conflicts: 137000 | #Constraints: 13413
135.41/135.93 c #Conflicts: 138000 | #Constraints: 14413
135.41/135.93 c #Conflicts: 139000 | #Constraints: 15413
135.41/135.93 c INPROCESSING
221.20/222.10 c GARBAGE COLLECT
221.20/222.10 c #Conflicts: 140000 | #Constraints: 9020
221.20/222.10 c #Conflicts: 141000 | #Constraints: 10020
221.20/222.10 c #Conflicts: 142000 | #Constraints: 11020
221.20/222.10 c #Conflicts: 143000 | #Constraints: 12020
221.20/222.10 c #Conflicts: 144000 | #Constraints: 13020
221.20/222.10 c #Conflicts: 145000 | #Constraints: 14020
221.20/222.10 c #Conflicts: 146000 | #Constraints: 15020
221.20/222.10 c #Conflicts: 147000 | #Constraints: 16020
221.20/222.10 c INPROCESSING
221.20/222.10 c GARBAGE COLLECT
221.20/222.10 c #Conflicts: 148000 | #Constraints: 9425
221.20/222.10 c #Conflicts: 149000 | #Constraints: 10425
221.20/222.10 c #Conflicts: 150000 | #Constraints: 11425
221.20/222.10 c #Conflicts: 151000 | #Constraints: 12425
221.20/222.10 c #Conflicts: 152000 | #Constraints: 13425
221.20/222.10 c #Conflicts: 153000 | #Constraints: 14425
221.20/222.10 c #Conflicts: 154000 | #Constraints: 15425
221.20/222.10 c #Conflicts: 155000 | #Constraints: 16425
221.20/222.10 c INPROCESSING
221.20/222.10 c GARBAGE COLLECT
221.20/222.10 c #Conflicts: 156000 | #Constraints: 9626
221.20/222.10 c #Conflicts: 157000 | #Constraints: 10626
221.20/222.10 c #Conflicts: 158000 | #Constraints: 11626
221.20/222.10 c #Conflicts: 159000 | #Constraints: 12626
221.20/222.10 c #Conflicts: 160000 | #Constraints: 13626
221.20/222.10 c #Conflicts: 161000 | #Constraints: 14626
221.20/222.10 c #Conflicts: 162000 | #Constraints: 15626
221.20/222.10 c #Conflicts: 163000 | #Constraints: 16626
221.20/222.10 c INPROCESSING
221.20/222.10 c GARBAGE COLLECT
221.20/222.10 c #Conflicts: 164000 | #Constraints: 9633
221.20/222.10 c #Conflicts: 165000 | #Constraints: 10633
221.20/222.10 c #Conflicts: 166000 | #Constraints: 11633
221.20/222.10 c #Conflicts: 167000 | #Constraints: 12633
221.20/222.10 c #Conflicts: 168000 | #Constraints: 13633
221.20/222.10 c #Conflicts: 169000 | #Constraints: 14633
221.20/222.10 c #Conflicts: 170000 | #Constraints: 15633
221.20/222.10 c #Conflicts: 171000 | #Constraints: 16633
221.20/222.10 c INPROCESSING
221.20/222.10 c GARBAGE COLLECT
221.20/222.10 c #Conflicts: 172000 | #Constraints: 9426
221.20/222.10 c #Conflicts: 173000 | #Constraints: 10426
221.20/222.10 c #Conflicts: 174000 | #Constraints: 11426
221.20/222.10 c #Conflicts: 175000 | #Constraints: 12426
221.20/222.10 c #Conflicts: 176000 | #Constraints: 13426
221.20/222.10 c #Conflicts: 177000 | #Constraints: 14426
221.20/222.10 c #Conflicts: 178000 | #Constraints: 15426
221.20/222.10 c #Conflicts: 179000 | #Constraints: 16426
221.20/222.10 c #Conflicts: 180000 | #Constraints: 17426
221.20/222.10 c INPROCESSING
221.20/222.10 c GARBAGE COLLECT
221.20/222.10 c #Conflicts: 181000 | #Constraints: 10023
221.20/222.10 c #Conflicts: 182000 | #Constraints: 11023
221.20/222.10 c #Conflicts: 183000 | #Constraints: 12023
221.20/222.10 c #Conflicts: 184000 | #Constraints: 13023
221.20/222.10 c #Conflicts: 185000 | #Constraints: 14023
221.20/222.10 c #Conflicts: 186000 | #Constraints: 15023
221.20/222.10 c #Conflicts: 187000 | #Constraints: 16023
221.20/222.10 c #Conflicts: 188000 | #Constraints: 17023
221.20/222.10 c #Conflicts: 189000 | #Constraints: 18023
221.20/222.10 c INPROCESSING
221.20/222.10 c GARBAGE COLLECT
221.20/222.10 c #Conflicts: 190000 | #Constraints: 10427
221.20/222.10 c #Conflicts: 191000 | #Constraints: 11427
221.20/222.10 c #Conflicts: 192000 | #Constraints: 12427
221.20/222.10 c #Conflicts: 193000 | #Constraints: 13427
221.20/222.10 c #Conflicts: 194000 | #Constraints: 14427
221.20/222.10 c #Conflicts: 195000 | #Constraints: 15427
221.20/222.10 c #Conflicts: 196000 | #Constraints: 16427
221.20/222.10 c #Conflicts: 197000 | #Constraints: 17427
221.20/222.10 c #Conflicts: 198000 | #Constraints: 18427
221.20/222.10 c INPROCESSING
221.20/222.10 c GARBAGE COLLECT
221.20/222.10 c #Conflicts: 199000 | #Constraints: 10627
221.20/222.10 c #Conflicts: 200000 | #Constraints: 11627
221.20/222.10 c #Conflicts: 201000 | #Constraints: 12627
221.20/222.10 c #Conflicts: 202000 | #Constraints: 13627
221.20/222.10 c #Conflicts: 203000 | #Constraints: 14627
221.20/222.10 c #Conflicts: 204000 | #Constraints: 15627
221.20/222.10 c #Conflicts: 205000 | #Constraints: 16627
221.20/222.10 c #Conflicts: 206000 | #Constraints: 17627
221.20/222.10 c #Conflicts: 207000 | #Constraints: 18627
221.20/222.10 c INPROCESSING
221.20/222.10 c GARBAGE COLLECT
221.20/222.10 c #Conflicts: 208000 | #Constraints: 10634
221.20/222.10 c #Conflicts: 209000 | #Constraints: 11634
221.20/222.10 c #Conflicts: 210000 | #Constraints: 12634
221.20/222.10 c #Conflicts: 211000 | #Constraints: 13634
221.20/222.10 c #Conflicts: 212000 | #Constraints: 14634
221.20/222.10 c #Conflicts: 213000 | #Constraints: 15634
337.86/339.14 c #Conflicts: 214000 | #Constraints: 16634
337.86/339.14 c #Conflicts: 215000 | #Constraints: 17634
337.86/339.14 c #Conflicts: 216000 | #Constraints: 18634
337.86/339.14 c INPROCESSING
337.86/339.14 c GARBAGE COLLECT
337.86/339.14 c #Conflicts: 217000 | #Constraints: 10432
337.86/339.14 c #Conflicts: 218000 | #Constraints: 11432
337.86/339.14 c #Conflicts: 219000 | #Constraints: 12432
337.86/339.14 c #Conflicts: 220000 | #Constraints: 13432
337.86/339.14 c #Conflicts: 221000 | #Constraints: 14432
337.86/339.14 c #Conflicts: 222000 | #Constraints: 15432
337.86/339.14 c #Conflicts: 223000 | #Constraints: 16432
337.86/339.14 c #Conflicts: 224000 | #Constraints: 17432
337.86/339.14 c #Conflicts: 225000 | #Constraints: 18432
337.86/339.14 c #Conflicts: 226000 | #Constraints: 19432
337.86/339.14 c INPROCESSING
337.86/339.14 c GARBAGE COLLECT
337.86/339.14 c #Conflicts: 227000 | #Constraints: 11034
337.86/339.14 c #Conflicts: 228000 | #Constraints: 12034
337.86/339.14 c #Conflicts: 229000 | #Constraints: 13034
337.86/339.14 c #Conflicts: 230000 | #Constraints: 14034
337.86/339.14 c #Conflicts: 231000 | #Constraints: 15034
337.86/339.14 c #Conflicts: 232000 | #Constraints: 16034
337.86/339.14 c #Conflicts: 233000 | #Constraints: 17034
337.86/339.14 c #Conflicts: 234000 | #Constraints: 18034
337.86/339.14 c #Conflicts: 235000 | #Constraints: 19034
337.86/339.14 c #Conflicts: 236000 | #Constraints: 20034
337.86/339.14 c INPROCESSING
337.86/339.14 c GARBAGE COLLECT
337.86/339.14 c #Conflicts: 237000 | #Constraints: 11427
337.86/339.14 c #Conflicts: 238000 | #Constraints: 12427
337.86/339.14 c #Conflicts: 239000 | #Constraints: 13427
337.86/339.14 c #Conflicts: 240000 | #Constraints: 14427
337.86/339.14 c #Conflicts: 241000 | #Constraints: 15427
337.86/339.14 c #Conflicts: 242000 | #Constraints: 16427
337.86/339.14 c #Conflicts: 243000 | #Constraints: 17427
337.86/339.14 c #Conflicts: 244000 | #Constraints: 18427
337.86/339.14 c #Conflicts: 245000 | #Constraints: 19427
337.86/339.14 c #Conflicts: 246000 | #Constraints: 20427
337.86/339.14 c INPROCESSING
337.86/339.14 c GARBAGE COLLECT
337.86/339.14 c #Conflicts: 247000 | #Constraints: 11626
337.86/339.14 c #Conflicts: 248000 | #Constraints: 12626
337.86/339.14 c #Conflicts: 249000 | #Constraints: 13626
337.86/339.14 c #Conflicts: 250000 | #Constraints: 14626
337.86/339.14 c #Conflicts: 251000 | #Constraints: 15626
337.86/339.14 c #Conflicts: 252000 | #Constraints: 16626
337.86/339.14 c #Conflicts: 253000 | #Constraints: 17626
337.86/339.14 c #Conflicts: 254000 | #Constraints: 18626
337.86/339.14 c #Conflicts: 255000 | #Constraints: 19626
337.86/339.14 c #Conflicts: 256000 | #Constraints: 20626
337.86/339.14 c INPROCESSING
337.86/339.14 c GARBAGE COLLECT
337.86/339.14 c #Conflicts: 257000 | #Constraints: 11618
337.86/339.14 c #Conflicts: 258000 | #Constraints: 12618
337.86/339.14 c #Conflicts: 259000 | #Constraints: 13618
337.86/339.14 c #Conflicts: 260000 | #Constraints: 14618
337.86/339.14 c #Conflicts: 261000 | #Constraints: 15618
337.86/339.14 c #Conflicts: 262000 | #Constraints: 16618
337.86/339.14 c #Conflicts: 263000 | #Constraints: 17618
337.86/339.14 c #Conflicts: 264000 | #Constraints: 18618
337.86/339.14 c #Conflicts: 265000 | #Constraints: 19618
337.86/339.14 c #Conflicts: 266000 | #Constraints: 20618
337.86/339.14 c INPROCESSING
337.86/339.14 c GARBAGE COLLECT
337.86/339.14 c #Conflicts: 267000 | #Constraints: 11423
337.86/339.14 c #Conflicts: 268000 | #Constraints: 12423
337.86/339.14 c #Conflicts: 269000 | #Constraints: 13423
337.86/339.14 c #Conflicts: 270000 | #Constraints: 14423
337.86/339.14 c #Conflicts: 271000 | #Constraints: 15423
337.86/339.14 c #Conflicts: 272000 | #Constraints: 16423
337.86/339.14 c #Conflicts: 273000 | #Constraints: 17423
337.86/339.14 c #Conflicts: 274000 | #Constraints: 18423
337.86/339.14 c #Conflicts: 275000 | #Constraints: 19423
337.86/339.14 c #Conflicts: 276000 | #Constraints: 20423
337.86/339.14 c #Conflicts: 277000 | #Constraints: 21423
337.86/339.14 c INPROCESSING
337.86/339.14 c GARBAGE COLLECT
337.86/339.14 c #Conflicts: 278000 | #Constraints: 12018
337.86/339.14 c #Conflicts: 279000 | #Constraints: 13018
337.86/339.14 c #Conflicts: 280000 | #Constraints: 14018
337.86/339.14 c #Conflicts: 281000 | #Constraints: 15018
337.86/339.14 c #Conflicts: 282000 | #Constraints: 16018
337.86/339.14 c #Conflicts: 283000 | #Constraints: 17018
337.86/339.14 c #Conflicts: 284000 | #Constraints: 18018
337.86/339.14 c #Conflicts: 285000 | #Constraints: 19018
337.86/339.14 c #Conflicts: 286000 | #Constraints: 20018
337.86/339.14 c #Conflicts: 287000 | #Constraints: 21018
489.41/491.27 c #Conflicts: 288000 | #Constraints: 22018
489.41/491.27 c INPROCESSING
489.41/491.27 c GARBAGE COLLECT
489.41/491.27 c #Conflicts: 289000 | #Constraints: 12414
489.41/491.27 c #Conflicts: 290000 | #Constraints: 13414
489.41/491.27 c #Conflicts: 291000 | #Constraints: 14414
489.41/491.27 c #Conflicts: 292000 | #Constraints: 15414
489.41/491.27 c #Conflicts: 293000 | #Constraints: 16414
489.41/491.27 c #Conflicts: 294000 | #Constraints: 17414
489.41/491.27 c #Conflicts: 295000 | #Constraints: 18414
489.41/491.27 c #Conflicts: 296000 | #Constraints: 19414
489.41/491.27 c #Conflicts: 297000 | #Constraints: 20414
489.41/491.27 c #Conflicts: 298000 | #Constraints: 21414
489.41/491.27 c #Conflicts: 299000 | #Constraints: 22414
489.41/491.27 c INPROCESSING
489.41/491.27 c GARBAGE COLLECT
489.41/491.27 c #Conflicts: 300000 | #Constraints: 12619
489.41/491.27 c #Conflicts: 301000 | #Constraints: 13619
489.41/491.27 c #Conflicts: 302000 | #Constraints: 14619
489.41/491.27 c #Conflicts: 303000 | #Constraints: 15619
489.41/491.27 c #Conflicts: 304000 | #Constraints: 16619
489.41/491.27 c #Conflicts: 305000 | #Constraints: 17619
489.41/491.27 c #Conflicts: 306000 | #Constraints: 18619
489.41/491.27 c #Conflicts: 307000 | #Constraints: 19619
489.41/491.27 c #Conflicts: 308000 | #Constraints: 20619
489.41/491.27 c #Conflicts: 309000 | #Constraints: 21619
489.41/491.27 c #Conflicts: 310000 | #Constraints: 22619
489.41/491.27 c INPROCESSING
489.41/491.27 c GARBAGE COLLECT
489.41/491.27 c #Conflicts: 311000 | #Constraints: 12618
489.41/491.27 c #Conflicts: 312000 | #Constraints: 13618
489.41/491.27 c #Conflicts: 313000 | #Constraints: 14618
489.41/491.27 c #Conflicts: 314000 | #Constraints: 15618
489.41/491.27 c #Conflicts: 315000 | #Constraints: 16618
489.41/491.27 c #Conflicts: 316000 | #Constraints: 17618
489.41/491.27 c #Conflicts: 317000 | #Constraints: 18618
489.41/491.27 c #Conflicts: 318000 | #Constraints: 19618
489.41/491.27 c #Conflicts: 319000 | #Constraints: 20618
489.41/491.27 c #Conflicts: 320000 | #Constraints: 21618
489.41/491.27 c #Conflicts: 321000 | #Constraints: 22618
489.41/491.27 c INPROCESSING
489.41/491.27 c GARBAGE COLLECT
489.41/491.27 c #Conflicts: 322000 | #Constraints: 12424
489.41/491.27 c #Conflicts: 323000 | #Constraints: 13424
489.41/491.27 c #Conflicts: 324000 | #Constraints: 14424
489.41/491.27 c #Conflicts: 325000 | #Constraints: 15424
489.41/491.27 c #Conflicts: 326000 | #Constraints: 16424
489.41/491.27 c #Conflicts: 327000 | #Constraints: 17424
489.41/491.27 c #Conflicts: 328000 | #Constraints: 18424
489.41/491.27 c #Conflicts: 329000 | #Constraints: 19424
489.41/491.27 c #Conflicts: 330000 | #Constraints: 20424
489.41/491.27 c #Conflicts: 331000 | #Constraints: 21424
489.41/491.27 c #Conflicts: 332000 | #Constraints: 22424
489.41/491.27 c #Conflicts: 333000 | #Constraints: 23424
489.41/491.27 c INPROCESSING
489.41/491.27 c GARBAGE COLLECT
489.41/491.27 c #Conflicts: 334000 | #Constraints: 13018
489.41/491.27 c #Conflicts: 335000 | #Constraints: 14018
489.41/491.27 c #Conflicts: 336000 | #Constraints: 15018
489.41/491.27 c #Conflicts: 337000 | #Constraints: 16018
489.41/491.27 c #Conflicts: 338000 | #Constraints: 17018
489.41/491.27 c #Conflicts: 339000 | #Constraints: 18018
489.41/491.27 c #Conflicts: 340000 | #Constraints: 19018
489.41/491.27 c #Conflicts: 341000 | #Constraints: 20018
489.41/491.27 c #Conflicts: 342000 | #Constraints: 21018
489.41/491.27 c #Conflicts: 343000 | #Constraints: 22018
489.41/491.27 c #Conflicts: 344000 | #Constraints: 23018
489.41/491.27 c #Conflicts: 345000 | #Constraints: 24018
489.41/491.27 c INPROCESSING
489.41/491.27 c GARBAGE COLLECT
489.41/491.27 c #Conflicts: 346000 | #Constraints: 13415
489.41/491.27 c #Conflicts: 347000 | #Constraints: 14415
489.41/491.27 c #Conflicts: 348000 | #Constraints: 15415
489.41/491.27 c #Conflicts: 349000 | #Constraints: 16415
489.41/491.27 c #Conflicts: 350000 | #Constraints: 17415
489.41/491.27 c #Conflicts: 351000 | #Constraints: 18415
489.41/491.27 c #Conflicts: 352000 | #Constraints: 19415
489.41/491.27 c #Conflicts: 353000 | #Constraints: 20415
489.41/491.27 c #Conflicts: 354000 | #Constraints: 21415
489.41/491.27 c #Conflicts: 355000 | #Constraints: 22415
489.41/491.27 c #Conflicts: 356000 | #Constraints: 23415
489.41/491.27 c #Conflicts: 357000 | #Constraints: 24415
489.41/491.27 c INPROCESSING
489.41/491.27 c GARBAGE COLLECT
489.41/491.27 c #Conflicts: 358000 | #Constraints: 13613
489.41/491.27 c #Conflicts: 359000 | #Constraints: 14613
489.41/491.27 c #Conflicts: 360000 | #Constraints: 15613
489.41/491.27 c #Conflicts: 361000 | #Constraints: 16613
632.11/634.44 c #Conflicts: 362000 | #Constraints: 17613
632.11/634.44 c #Conflicts: 363000 | #Constraints: 18613
632.11/634.44 c #Conflicts: 364000 | #Constraints: 19613
632.11/634.44 c #Conflicts: 365000 | #Constraints: 20613
632.11/634.44 c #Conflicts: 366000 | #Constraints: 21613
632.11/634.44 c #Conflicts: 367000 | #Constraints: 22613
632.11/634.44 c #Conflicts: 368000 | #Constraints: 23613
632.11/634.44 c #Conflicts: 369000 | #Constraints: 24613
632.11/634.44 c INPROCESSING
632.11/634.44 c GARBAGE COLLECT
632.11/634.44 c #Conflicts: 370000 | #Constraints: 13617
632.11/634.44 c #Conflicts: 371000 | #Constraints: 14617
632.11/634.44 c #Conflicts: 372000 | #Constraints: 15617
632.11/634.44 c #Conflicts: 373000 | #Constraints: 16617
632.11/634.44 c #Conflicts: 374000 | #Constraints: 17617
632.11/634.44 c #Conflicts: 375000 | #Constraints: 18617
632.11/634.44 c #Conflicts: 376000 | #Constraints: 19617
632.11/634.44 c #Conflicts: 377000 | #Constraints: 20617
632.11/634.44 c #Conflicts: 378000 | #Constraints: 21617
632.11/634.44 c #Conflicts: 379000 | #Constraints: 22617
632.11/634.44 c #Conflicts: 380000 | #Constraints: 23617
632.11/634.44 c #Conflicts: 381000 | #Constraints: 24617
632.11/634.44 c INPROCESSING
632.11/634.44 c GARBAGE COLLECT
632.11/634.44 c #Conflicts: 382000 | #Constraints: 13416
632.11/634.44 c #Conflicts: 383000 | #Constraints: 14416
632.11/634.44 c #Conflicts: 384000 | #Constraints: 15416
632.11/634.44 c #Conflicts: 385000 | #Constraints: 16416
632.11/634.44 c #Conflicts: 386000 | #Constraints: 17416
632.11/634.44 c #Conflicts: 387000 | #Constraints: 18416
632.11/634.44 c #Conflicts: 388000 | #Constraints: 19416
632.11/634.44 c #Conflicts: 389000 | #Constraints: 20416
632.11/634.44 c #Conflicts: 390000 | #Constraints: 21416
632.11/634.44 c #Conflicts: 391000 | #Constraints: 22416
632.11/634.44 c #Conflicts: 392000 | #Constraints: 23416
632.11/634.44 c #Conflicts: 393000 | #Constraints: 24416
632.11/634.44 c #Conflicts: 394000 | #Constraints: 25416
632.11/634.44 c INPROCESSING
632.11/634.44 c GARBAGE COLLECT
632.11/634.44 c #Conflicts: 395000 | #Constraints: 14022
632.11/634.44 c #Conflicts: 396000 | #Constraints: 15022
632.11/634.44 c #Conflicts: 397000 | #Constraints: 16022
632.11/634.44 c #Conflicts: 398000 | #Constraints: 17022
632.11/634.44 c #Conflicts: 399000 | #Constraints: 18022
632.11/634.44 c #Conflicts: 400000 | #Constraints: 19022
632.11/634.44 c #Conflicts: 401000 | #Constraints: 20022
632.11/634.44 c #Conflicts: 402000 | #Constraints: 21022
632.11/634.44 c #Conflicts: 403000 | #Constraints: 22022
632.11/634.44 c #Conflicts: 404000 | #Constraints: 23022
632.11/634.44 c #Conflicts: 405000 | #Constraints: 24022
632.11/634.44 c #Conflicts: 406000 | #Constraints: 25022
632.11/634.44 c #Conflicts: 407000 | #Constraints: 26022
632.11/634.44 c INPROCESSING
632.11/634.44 c GARBAGE COLLECT
632.11/634.44 c #Conflicts: 408000 | #Constraints: 14420
632.11/634.44 c #Conflicts: 409000 | #Constraints: 15420
632.11/634.44 c #Conflicts: 410000 | #Constraints: 16420
632.11/634.44 c #Conflicts: 411000 | #Constraints: 17420
632.11/634.44 c #Conflicts: 412000 | #Constraints: 18420
632.11/634.44 c #Conflicts: 413000 | #Constraints: 19420
632.11/634.44 c #Conflicts: 414000 | #Constraints: 20420
632.11/634.44 c #Conflicts: 415000 | #Constraints: 21420
632.11/634.44 c #Conflicts: 416000 | #Constraints: 22420
632.11/634.44 c #Conflicts: 417000 | #Constraints: 23420
632.11/634.44 c #Conflicts: 418000 | #Constraints: 24420
632.11/634.44 c #Conflicts: 419000 | #Constraints: 25420
632.11/634.44 c #Conflicts: 420000 | #Constraints: 26420
632.11/634.44 c INPROCESSING
632.11/634.44 c GARBAGE COLLECT
632.11/634.44 c #Conflicts: 421000 | #Constraints: 14631
632.11/634.44 c #Conflicts: 422000 | #Constraints: 15631
632.11/634.44 c #Conflicts: 423000 | #Constraints: 16631
632.11/634.44 c #Conflicts: 424000 | #Constraints: 17631
632.11/634.44 c #Conflicts: 425000 | #Constraints: 18631
632.11/634.44 c #Conflicts: 426000 | #Constraints: 19631
632.11/634.44 c #Conflicts: 427000 | #Constraints: 20631
632.11/634.44 c #Conflicts: 428000 | #Constraints: 21631
632.11/634.44 c #Conflicts: 429000 | #Constraints: 22631
632.11/634.44 c #Conflicts: 430000 | #Constraints: 23631
632.11/634.44 c #Conflicts: 431000 | #Constraints: 24631
632.11/634.44 c #Conflicts: 432000 | #Constraints: 25631
632.11/634.44 c #Conflicts: 433000 | #Constraints: 26631
632.11/634.44 c INPROCESSING
632.11/634.44 c GARBAGE COLLECT
632.11/634.44 c #Conflicts: 434000 | #Constraints: 14639
632.11/634.44 c #Conflicts: 435000 | #Constraints: 15639
632.11/634.44 c #Conflicts: 436000 | #Constraints: 16639
907.54/910.84 c #Conflicts: 437000 | #Constraints: 17639
907.54/910.84 c #Conflicts: 438000 | #Constraints: 18639
907.54/910.84 c #Conflicts: 439000 | #Constraints: 19639
907.54/910.84 c #Conflicts: 440000 | #Constraints: 20639
907.54/910.84 c #Conflicts: 441000 | #Constraints: 21639
907.54/910.84 c #Conflicts: 442000 | #Constraints: 22639
907.54/910.84 c #Conflicts: 443000 | #Constraints: 23639
907.54/910.84 c #Conflicts: 444000 | #Constraints: 24639
907.54/910.84 c #Conflicts: 445000 | #Constraints: 25639
907.54/910.84 c #Conflicts: 446000 | #Constraints: 26639
907.54/910.84 c INPROCESSING
907.54/910.84 c GARBAGE COLLECT
907.54/910.84 c #Conflicts: 447000 | #Constraints: 14439
907.54/910.84 c #Conflicts: 448000 | #Constraints: 15439
907.54/910.84 c #Conflicts: 449000 | #Constraints: 16439
907.54/910.84 c #Conflicts: 450000 | #Constraints: 17439
907.54/910.84 c #Conflicts: 451000 | #Constraints: 18439
907.54/910.84 c #Conflicts: 452000 | #Constraints: 19439
907.54/910.84 c #Conflicts: 453000 | #Constraints: 20439
907.54/910.84 c #Conflicts: 454000 | #Constraints: 21439
907.54/910.84 c #Conflicts: 455000 | #Constraints: 22439
907.54/910.84 c #Conflicts: 456000 | #Constraints: 23439
907.54/910.84 c #Conflicts: 457000 | #Constraints: 24439
907.54/910.84 c #Conflicts: 458000 | #Constraints: 25439
907.54/910.84 c #Conflicts: 459000 | #Constraints: 26439
907.54/910.84 c #Conflicts: 460000 | #Constraints: 27439
907.54/910.84 c INPROCESSING
907.54/910.84 c GARBAGE COLLECT
907.54/910.84 c #Conflicts: 461000 | #Constraints: 15033
907.54/910.84 c #Conflicts: 462000 | #Constraints: 16033
907.54/910.84 c #Conflicts: 463000 | #Constraints: 17033
907.54/910.84 c #Conflicts: 464000 | #Constraints: 18033
907.54/910.84 c #Conflicts: 465000 | #Constraints: 19033
907.54/910.84 c #Conflicts: 466000 | #Constraints: 20033
907.54/910.84 c #Conflicts: 467000 | #Constraints: 21033
907.54/910.84 c #Conflicts: 468000 | #Constraints: 22033
907.54/910.84 c #Conflicts: 469000 | #Constraints: 23033
907.54/910.84 c #Conflicts: 470000 | #Constraints: 24033
907.54/910.84 c #Conflicts: 471000 | #Constraints: 25033
907.54/910.84 c #Conflicts: 472000 | #Constraints: 26033
907.54/910.84 c #Conflicts: 473000 | #Constraints: 27033
907.54/910.84 c #Conflicts: 474000 | #Constraints: 28033
907.54/910.84 c INPROCESSING
907.54/910.84 c GARBAGE COLLECT
907.54/910.84 c #Conflicts: 475000 | #Constraints: 15439
907.54/910.84 c #Conflicts: 476000 | #Constraints: 16439
907.54/910.84 c #Conflicts: 477000 | #Constraints: 17439
907.54/910.84 c #Conflicts: 478000 | #Constraints: 18439
907.54/910.84 c #Conflicts: 479000 | #Constraints: 19439
907.54/910.84 c #Conflicts: 480000 | #Constraints: 20439
907.54/910.84 c #Conflicts: 481000 | #Constraints: 21439
907.54/910.84 c #Conflicts: 482000 | #Constraints: 22439
907.54/910.84 c #Conflicts: 483000 | #Constraints: 23439
907.54/910.84 c #Conflicts: 484000 | #Constraints: 24439
907.54/910.84 c #Conflicts: 485000 | #Constraints: 25439
907.54/910.84 c #Conflicts: 486000 | #Constraints: 26439
907.54/910.84 c #Conflicts: 487000 | #Constraints: 27439
907.54/910.84 c #Conflicts: 488000 | #Constraints: 28439
907.54/910.84 c INPROCESSING
907.54/910.84 c GARBAGE COLLECT
907.54/910.84 c #Conflicts: 489000 | #Constraints: 15637
907.54/910.84 c #Conflicts: 490000 | #Constraints: 16637
907.54/910.84 c #Conflicts: 491000 | #Constraints: 17637
907.54/910.84 c #Conflicts: 492000 | #Constraints: 18637
907.54/910.84 c #Conflicts: 493000 | #Constraints: 19637
907.54/910.84 c #Conflicts: 494000 | #Constraints: 20637
907.54/910.84 c #Conflicts: 495000 | #Constraints: 21637
907.54/910.84 c #Conflicts: 496000 | #Constraints: 22637
907.54/910.84 c #Conflicts: 497000 | #Constraints: 23637
907.54/910.84 c #Conflicts: 498000 | #Constraints: 24637
907.54/910.84 c #Conflicts: 499000 | #Constraints: 25637
907.54/910.84 c #Conflicts: 500000 | #Constraints: 26637
907.54/910.84 c #Conflicts: 501000 | #Constraints: 27637
907.54/910.84 c #Conflicts: 502000 | #Constraints: 28637
907.54/910.84 c INPROCESSING
907.54/910.84 c GARBAGE COLLECT
907.54/910.84 c #Conflicts: 503000 | #Constraints: 15640
907.54/910.84 c #Conflicts: 504000 | #Constraints: 16640
907.54/910.84 c #Conflicts: 505000 | #Constraints: 17640
907.54/910.84 c #Conflicts: 506000 | #Constraints: 18640
907.54/910.84 c #Conflicts: 507000 | #Constraints: 19640
907.54/910.84 c #Conflicts: 508000 | #Constraints: 20640
907.54/910.84 c #Conflicts: 509000 | #Constraints: 21640
907.54/910.84 c #Conflicts: 510000 | #Constraints: 22640
907.54/910.84 c #Conflicts: 511000 | #Constraints: 23640
907.54/910.84 c #Conflicts: 512000 | #Constraints: 24640
1007.22/1010.82 c #Conflicts: 513000 | #Constraints: 25640
1007.22/1010.82 c #Conflicts: 514000 | #Constraints: 26640
1007.22/1010.82 c #Conflicts: 515000 | #Constraints: 27640
1007.22/1010.82 c #Conflicts: 516000 | #Constraints: 28640
1007.22/1010.82 c INPROCESSING
1007.22/1010.82 c GARBAGE COLLECT
1007.22/1010.82 c #Conflicts: 517000 | #Constraints: 15432
1007.22/1010.82 c #Conflicts: 518000 | #Constraints: 16432
1007.22/1010.82 c #Conflicts: 519000 | #Constraints: 17432
1007.22/1010.82 c #Conflicts: 520000 | #Constraints: 18432
1007.22/1010.82 c #Conflicts: 521000 | #Constraints: 19432
1007.22/1010.82 c #Conflicts: 522000 | #Constraints: 20432
1007.22/1010.82 c #Conflicts: 523000 | #Constraints: 21432
1007.22/1010.82 c #Conflicts: 524000 | #Constraints: 22432
1007.22/1010.82 c #Conflicts: 525000 | #Constraints: 23432
1007.22/1010.82 c #Conflicts: 526000 | #Constraints: 24432
1007.22/1010.82 c #Conflicts: 527000 | #Constraints: 25432
1007.22/1010.82 c #Conflicts: 528000 | #Constraints: 26432
1007.22/1010.82 c #Conflicts: 529000 | #Constraints: 27432
1007.22/1010.82 c #Conflicts: 530000 | #Constraints: 28432
1007.22/1010.82 c #Conflicts: 531000 | #Constraints: 29432
1007.22/1010.82 c INPROCESSING
1007.22/1010.82 c GARBAGE COLLECT
1007.22/1010.82 c #Conflicts: 532000 | #Constraints: 16030
1007.22/1010.82 c #Conflicts: 533000 | #Constraints: 17030
1007.22/1010.82 c #Conflicts: 534000 | #Constraints: 18030
1007.22/1010.82 c #Conflicts: 535000 | #Constraints: 19030
1007.22/1010.82 c #Conflicts: 536000 | #Constraints: 20030
1007.22/1010.82 c #Conflicts: 537000 | #Constraints: 21030
1007.22/1010.82 c #Conflicts: 538000 | #Constraints: 22030
1007.22/1010.82 c #Conflicts: 539000 | #Constraints: 23030
1007.22/1010.82 c #Conflicts: 540000 | #Constraints: 24030
1007.22/1010.82 c #Conflicts: 541000 | #Constraints: 25030
1007.22/1010.82 c #Conflicts: 542000 | #Constraints: 26030
1007.22/1010.82 c #Conflicts: 543000 | #Constraints: 27030
1007.22/1010.82 c #Conflicts: 544000 | #Constraints: 28030
1007.22/1010.82 c #Conflicts: 545000 | #Constraints: 29030
1007.22/1010.82 c #Conflicts: 546000 | #Constraints: 30030
1007.22/1010.82 c INPROCESSING
1007.22/1010.82 c GARBAGE COLLECT
1007.22/1010.82 c #Conflicts: 547000 | #Constraints: 16423
1007.22/1010.82 c #Conflicts: 548000 | #Constraints: 17423
1007.22/1010.82 c #Conflicts: 549000 | #Constraints: 18423
1007.22/1010.82 c #Conflicts: 550000 | #Constraints: 19423
1007.22/1010.82 c #Conflicts: 551000 | #Constraints: 20423
1007.22/1010.82 c #Conflicts: 552000 | #Constraints: 21423
1007.22/1010.82 c #Conflicts: 553000 | #Constraints: 22423
1007.22/1010.82 c #Conflicts: 554000 | #Constraints: 23423
1007.22/1010.82 c #Conflicts: 555000 | #Constraints: 24423
1007.22/1010.82 c #Conflicts: 556000 | #Constraints: 25423
1007.22/1010.82 c #Conflicts: 557000 | #Constraints: 26423
1007.22/1010.82 c #Conflicts: 558000 | #Constraints: 27423
1007.22/1010.82 c #Conflicts: 559000 | #Constraints: 28423
1007.22/1010.82 c #Conflicts: 560000 | #Constraints: 29423
1007.22/1010.82 c #Conflicts: 561000 | #Constraints: 30423
1007.22/1010.82 c INPROCESSING
1007.22/1010.82 c GARBAGE COLLECT
1007.22/1010.82 c #Conflicts: 562000 | #Constraints: 16618
1007.22/1010.82 c #Conflicts: 563000 | #Constraints: 17618
1007.22/1010.82 c #Conflicts: 564000 | #Constraints: 18618
1007.22/1010.82 c #Conflicts: 565000 | #Constraints: 19618
1007.22/1010.82 c #Conflicts: 566000 | #Constraints: 20618
1007.22/1010.82 c #Conflicts: 567000 | #Constraints: 21618
1007.22/1010.82 c #Conflicts: 568000 | #Constraints: 22618
1007.22/1010.82 c #Conflicts: 569000 | #Constraints: 23618
1007.22/1010.82 c #Conflicts: 570000 | #Constraints: 24618
1007.22/1010.82 c #Conflicts: 571000 | #Constraints: 25618
1007.22/1010.82 c #Conflicts: 572000 | #Constraints: 26618
1007.22/1010.82 c #Conflicts: 573000 | #Constraints: 27618
1007.22/1010.82 c #Conflicts: 574000 | #Constraints: 28618
1007.22/1010.82 c #Conflicts: 575000 | #Constraints: 29618
1007.22/1010.82 c #Conflicts: 576000 | #Constraints: 30618
1007.22/1010.82 c INPROCESSING
1007.22/1010.82 c GARBAGE COLLECT
1007.22/1010.82 c #Conflicts: 577000 | #Constraints: 16623
1007.22/1010.82 c #Conflicts: 578000 | #Constraints: 17623
1007.22/1010.82 c #Conflicts: 579000 | #Constraints: 18623
1007.22/1010.82 c #Conflicts: 580000 | #Constraints: 19623
1007.22/1010.82 c #Conflicts: 581000 | #Constraints: 20623
1007.22/1010.82 c #Conflicts: 582000 | #Constraints: 21623
1007.22/1010.82 c #Conflicts: 583000 | #Constraints: 22623
1007.22/1010.82 c #Conflicts: 584000 | #Constraints: 23623
1007.22/1010.82 c #Conflicts: 585000 | #Constraints: 24623
1007.22/1010.82 c #Conflicts: 586000 | #Constraints: 25623
1007.22/1010.82 c #Conflicts: 587000 | #Constraints: 26623
1007.22/1010.82 c #Conflicts: 588000 | #Constraints: 27623
1113.87/1117.84 c #Conflicts: 589000 | #Constraints: 28623
1113.87/1117.84 c #Conflicts: 590000 | #Constraints: 29623
1113.87/1117.84 c #Conflicts: 591000 | #Constraints: 30623
1113.87/1117.84 c INPROCESSING
1113.87/1117.84 c GARBAGE COLLECT
1113.87/1117.84 c #Conflicts: 592000 | #Constraints: 16424
1113.87/1117.84 c #Conflicts: 593000 | #Constraints: 17424
1113.87/1117.84 c #Conflicts: 594000 | #Constraints: 18424
1113.87/1117.84 c #Conflicts: 595000 | #Constraints: 19424
1113.87/1117.84 c #Conflicts: 596000 | #Constraints: 20424
1113.87/1117.84 c #Conflicts: 597000 | #Constraints: 21424
1113.87/1117.84 c #Conflicts: 598000 | #Constraints: 22424
1113.87/1117.84 c #Conflicts: 599000 | #Constraints: 23424
1113.87/1117.84 c #Conflicts: 600000 | #Constraints: 24424
1113.87/1117.84 c #Conflicts: 601000 | #Constraints: 25424
1113.87/1117.84 c #Conflicts: 602000 | #Constraints: 26424
1113.87/1117.84 c #Conflicts: 603000 | #Constraints: 27424
1113.87/1117.84 c #Conflicts: 604000 | #Constraints: 28424
1113.87/1117.84 c #Conflicts: 605000 | #Constraints: 29424
1113.87/1117.84 c #Conflicts: 606000 | #Constraints: 30424
1113.87/1117.84 c #Conflicts: 607000 | #Constraints: 31424
1113.87/1117.84 c INPROCESSING
1113.87/1117.84 c GARBAGE COLLECT
1113.87/1117.84 c #Conflicts: 608000 | #Constraints: 17037
1113.87/1117.84 c #Conflicts: 609000 | #Constraints: 18037
1113.87/1117.84 c #Conflicts: 610000 | #Constraints: 19037
1113.87/1117.84 c #Conflicts: 611000 | #Constraints: 20037
1113.87/1117.84 c #Conflicts: 612000 | #Constraints: 21037
1113.87/1117.84 c #Conflicts: 613000 | #Constraints: 22037
1113.87/1117.84 c #Conflicts: 614000 | #Constraints: 23037
1113.87/1117.84 c #Conflicts: 615000 | #Constraints: 24037
1113.87/1117.84 c #Conflicts: 616000 | #Constraints: 25037
1113.87/1117.84 c #Conflicts: 617000 | #Constraints: 26037
1113.87/1117.84 c #Conflicts: 618000 | #Constraints: 27037
1113.87/1117.84 c #Conflicts: 619000 | #Constraints: 28037
1113.87/1117.84 c #Conflicts: 620000 | #Constraints: 29037
1113.87/1117.84 c #Conflicts: 621000 | #Constraints: 30037
1113.87/1117.84 c #Conflicts: 622000 | #Constraints: 31037
1113.87/1117.84 c #Conflicts: 623000 | #Constraints: 32037
1113.87/1117.84 c INPROCESSING
1113.87/1117.84 c GARBAGE COLLECT
1113.87/1117.84 c #Conflicts: 624000 | #Constraints: 17428
1113.87/1117.84 c #Conflicts: 625000 | #Constraints: 18428
1113.87/1117.84 c #Conflicts: 626000 | #Constraints: 19428
1113.87/1117.84 c #Conflicts: 627000 | #Constraints: 20428
1113.87/1117.84 c #Conflicts: 628000 | #Constraints: 21428
1113.87/1117.84 c #Conflicts: 629000 | #Constraints: 22428
1113.87/1117.84 c #Conflicts: 630000 | #Constraints: 23428
1113.87/1117.84 c #Conflicts: 631000 | #Constraints: 24428
1113.87/1117.84 c #Conflicts: 632000 | #Constraints: 25428
1113.87/1117.84 c #Conflicts: 633000 | #Constraints: 26428
1113.87/1117.84 c #Conflicts: 634000 | #Constraints: 27428
1113.87/1117.84 c #Conflicts: 635000 | #Constraints: 28428
1113.87/1117.84 c #Conflicts: 636000 | #Constraints: 29428
1113.87/1117.84 c #Conflicts: 637000 | #Constraints: 30428
1113.87/1117.84 c #Conflicts: 638000 | #Constraints: 31428
1113.87/1117.84 c #Conflicts: 639000 | #Constraints: 32428
1113.87/1117.84 c INPROCESSING
1113.87/1117.84 c GARBAGE COLLECT
1113.87/1117.84 c #Conflicts: 640000 | #Constraints: 17622
1113.87/1117.84 c #Conflicts: 641000 | #Constraints: 18622
1113.87/1117.84 c #Conflicts: 642000 | #Constraints: 19622
1113.87/1117.84 c #Conflicts: 643000 | #Constraints: 20622
1113.87/1117.84 c #Conflicts: 644000 | #Constraints: 21622
1113.87/1117.84 c #Conflicts: 645000 | #Constraints: 22622
1113.87/1117.84 c #Conflicts: 646000 | #Constraints: 23622
1113.87/1117.84 c #Conflicts: 647000 | #Constraints: 24622
1113.87/1117.84 c #Conflicts: 648000 | #Constraints: 25622
1113.87/1117.84 c #Conflicts: 649000 | #Constraints: 26622
1113.87/1117.84 c #Conflicts: 650000 | #Constraints: 27622
1113.87/1117.84 c #Conflicts: 651000 | #Constraints: 28622
1113.87/1117.84 c #Conflicts: 652000 | #Constraints: 29622
1113.87/1117.84 c #Conflicts: 653000 | #Constraints: 30622
1113.87/1117.84 c #Conflicts: 654000 | #Constraints: 31622
1113.87/1117.84 c #Conflicts: 655000 | #Constraints: 32622
1113.87/1117.84 c INPROCESSING
1113.87/1117.84 c GARBAGE COLLECT
1113.87/1117.84 c #Conflicts: 656000 | #Constraints: 17619
1113.87/1117.84 c #Conflicts: 657000 | #Constraints: 18619
1113.87/1117.84 c #Conflicts: 658000 | #Constraints: 19619
1113.87/1117.84 c #Conflicts: 659000 | #Constraints: 20619
1113.87/1117.84 c #Conflicts: 660000 | #Constraints: 21619
1113.87/1117.84 c #Conflicts: 661000 | #Constraints: 22619
1113.87/1117.84 c #Conflicts: 662000 | #Constraints: 23619
1113.87/1117.84 c #Conflicts: 663000 | #Constraints: 24619
1287.11/1291.65 c #Conflicts: 664000 | #Constraints: 25619
1287.11/1291.65 c #Conflicts: 665000 | #Constraints: 26619
1287.11/1291.65 c #Conflicts: 666000 | #Constraints: 27619
1287.11/1291.65 c #Conflicts: 667000 | #Constraints: 28619
1287.11/1291.65 c #Conflicts: 668000 | #Constraints: 29619
1287.11/1291.65 c #Conflicts: 669000 | #Constraints: 30619
1287.11/1291.65 c #Conflicts: 670000 | #Constraints: 31619
1287.11/1291.65 c #Conflicts: 671000 | #Constraints: 32619
1287.11/1291.65 c INPROCESSING
1287.11/1291.65 c GARBAGE COLLECT
1287.11/1291.65 c #Conflicts: 672000 | #Constraints: 17413
1287.11/1291.65 c #Conflicts: 673000 | #Constraints: 18413
1287.11/1291.65 c #Conflicts: 674000 | #Constraints: 19413
1287.11/1291.65 c #Conflicts: 675000 | #Constraints: 20413
1287.11/1291.65 c #Conflicts: 676000 | #Constraints: 21413
1287.11/1291.65 c #Conflicts: 677000 | #Constraints: 22413
1287.11/1291.65 c #Conflicts: 678000 | #Constraints: 23413
1287.11/1291.65 c #Conflicts: 679000 | #Constraints: 24413
1287.11/1291.65 c #Conflicts: 680000 | #Constraints: 25413
1287.11/1291.65 c #Conflicts: 681000 | #Constraints: 26413
1287.11/1291.65 c #Conflicts: 682000 | #Constraints: 27413
1287.11/1291.65 c #Conflicts: 683000 | #Constraints: 28413
1287.11/1291.65 c #Conflicts: 684000 | #Constraints: 29413
1287.11/1291.65 c #Conflicts: 685000 | #Constraints: 30413
1287.11/1291.65 c #Conflicts: 686000 | #Constraints: 31413
1287.11/1291.65 c #Conflicts: 687000 | #Constraints: 32413
1287.11/1291.65 c #Conflicts: 688000 | #Constraints: 33413
1287.11/1291.65 c INPROCESSING
1287.11/1291.65 c GARBAGE COLLECT
1287.11/1291.65 c #Conflicts: 689000 | #Constraints: 18013
1287.11/1291.65 c #Conflicts: 690000 | #Constraints: 19013
1287.11/1291.65 c #Conflicts: 691000 | #Constraints: 20013
1287.11/1291.65 c #Conflicts: 692000 | #Constraints: 21013
1287.11/1291.65 c #Conflicts: 693000 | #Constraints: 22013
1287.11/1291.65 c #Conflicts: 694000 | #Constraints: 23013
1287.11/1291.65 c #Conflicts: 695000 | #Constraints: 24013
1287.11/1291.65 c #Conflicts: 696000 | #Constraints: 25013
1287.11/1291.65 c #Conflicts: 697000 | #Constraints: 26013
1287.11/1291.65 c #Conflicts: 698000 | #Constraints: 27013
1287.11/1291.65 c #Conflicts: 699000 | #Constraints: 28013
1287.11/1291.65 c #Conflicts: 700000 | #Constraints: 29013
1287.11/1291.65 c #Conflicts: 701000 | #Constraints: 30013
1287.11/1291.65 c #Conflicts: 702000 | #Constraints: 31013
1287.11/1291.65 c #Conflicts: 703000 | #Constraints: 32013
1287.11/1291.65 c #Conflicts: 704000 | #Constraints: 33013
1287.11/1291.65 c #Conflicts: 705000 | #Constraints: 34013
1287.11/1291.65 c INPROCESSING
1287.11/1291.65 c GARBAGE COLLECT
1287.11/1291.65 c #Conflicts: 706000 | #Constraints: 18414
1287.11/1291.65 c #Conflicts: 707000 | #Constraints: 19414
1287.11/1291.65 c #Conflicts: 708000 | #Constraints: 20414
1287.11/1291.65 c #Conflicts: 709000 | #Constraints: 21414
1287.11/1291.65 c #Conflicts: 710000 | #Constraints: 22414
1287.11/1291.65 c #Conflicts: 711000 | #Constraints: 23414
1287.11/1291.65 c #Conflicts: 712000 | #Constraints: 24414
1287.11/1291.65 c #Conflicts: 713000 | #Constraints: 25414
1287.11/1291.65 c #Conflicts: 714000 | #Constraints: 26414
1287.11/1291.65 c #Conflicts: 715000 | #Constraints: 27414
1287.11/1291.65 c #Conflicts: 716000 | #Constraints: 28414
1287.11/1291.65 c #Conflicts: 717000 | #Constraints: 29414
1287.11/1291.65 c #Conflicts: 718000 | #Constraints: 30414
1287.11/1291.65 c #Conflicts: 719000 | #Constraints: 31414
1287.11/1291.65 c #Conflicts: 720000 | #Constraints: 32414
1287.11/1291.65 c #Conflicts: 721000 | #Constraints: 33414
1287.11/1291.65 c #Conflicts: 722000 | #Constraints: 34414
1287.11/1291.65 c INPROCESSING
1287.11/1291.65 c GARBAGE COLLECT
1287.11/1291.65 c #Conflicts: 723000 | #Constraints: 18627
1287.11/1291.65 c #Conflicts: 724000 | #Constraints: 19627
1287.11/1291.65 c #Conflicts: 725000 | #Constraints: 20627
1287.11/1291.65 c #Conflicts: 726000 | #Constraints: 21627
1287.11/1291.65 c #Conflicts: 727000 | #Constraints: 22627
1287.11/1291.65 c #Conflicts: 728000 | #Constraints: 23627
1287.11/1291.65 c #Conflicts: 729000 | #Constraints: 24627
1287.11/1291.65 c #Conflicts: 730000 | #Constraints: 25627
1287.11/1291.65 c #Conflicts: 731000 | #Constraints: 26627
1287.11/1291.65 c #Conflicts: 732000 | #Constraints: 27627
1287.11/1291.65 c #Conflicts: 733000 | #Constraints: 28627
1287.11/1291.65 c #Conflicts: 734000 | #Constraints: 29627
1287.11/1291.65 c #Conflicts: 735000 | #Constraints: 30627
1287.11/1291.65 c #Conflicts: 736000 | #Constraints: 31627
1287.11/1291.65 c #Conflicts: 737000 | #Constraints: 32627
1287.11/1291.65 c #Conflicts: 738000 | #Constraints: 33627
1287.11/1291.65 c #Conflicts: 739000 | #Constraints: 34627
1418.28/1423.28 c INPROCESSING
1418.28/1423.28 c GARBAGE COLLECT
1418.28/1423.28 c #Conflicts: 740000 | #Constraints: 18637
1418.28/1423.28 c #Conflicts: 741000 | #Constraints: 19637
1418.28/1423.28 c #Conflicts: 742000 | #Constraints: 20637
1418.28/1423.28 c #Conflicts: 743000 | #Constraints: 21637
1418.28/1423.28 c #Conflicts: 744000 | #Constraints: 22637
1418.28/1423.28 c #Conflicts: 745000 | #Constraints: 23637
1418.28/1423.28 c #Conflicts: 746000 | #Constraints: 24637
1418.28/1423.28 c #Conflicts: 747000 | #Constraints: 25637
1418.28/1423.28 c #Conflicts: 748000 | #Constraints: 26637
1418.28/1423.28 c #Conflicts: 749000 | #Constraints: 27637
1418.28/1423.28 c #Conflicts: 750000 | #Constraints: 28637
1418.28/1423.28 c #Conflicts: 751000 | #Constraints: 29637
1418.28/1423.28 c #Conflicts: 752000 | #Constraints: 30637
1418.28/1423.28 c #Conflicts: 753000 | #Constraints: 31637
1418.28/1423.28 c #Conflicts: 754000 | #Constraints: 32637
1418.28/1423.28 c #Conflicts: 755000 | #Constraints: 33637
1418.28/1423.28 c #Conflicts: 756000 | #Constraints: 34637
1418.28/1423.28 c INPROCESSING
1418.28/1423.28 c GARBAGE COLLECT
1418.28/1423.28 c #Conflicts: 757000 | #Constraints: 18428
1418.28/1423.28 c #Conflicts: 758000 | #Constraints: 19428
1418.28/1423.28 c #Conflicts: 759000 | #Constraints: 20428
1418.28/1423.28 c #Conflicts: 760000 | #Constraints: 21428
1418.28/1423.28 c #Conflicts: 761000 | #Constraints: 22428
1418.28/1423.28 c #Conflicts: 762000 | #Constraints: 23428
1418.28/1423.28 c #Conflicts: 763000 | #Constraints: 24428
1418.28/1423.28 c #Conflicts: 764000 | #Constraints: 25428
1418.28/1423.28 c #Conflicts: 765000 | #Constraints: 26428
1418.28/1423.28 c #Conflicts: 766000 | #Constraints: 27428
1418.28/1423.28 c #Conflicts: 767000 | #Constraints: 28428
1418.28/1423.28 c #Conflicts: 768000 | #Constraints: 29428
1418.28/1423.28 c #Conflicts: 769000 | #Constraints: 30428
1418.28/1423.28 c #Conflicts: 770000 | #Constraints: 31428
1418.28/1423.28 c #Conflicts: 771000 | #Constraints: 32428
1418.28/1423.28 c #Conflicts: 772000 | #Constraints: 33428
1418.28/1423.28 c #Conflicts: 773000 | #Constraints: 34428
1418.28/1423.28 c #Conflicts: 774000 | #Constraints: 35428
1418.28/1423.28 c INPROCESSING
1418.28/1423.28 c GARBAGE COLLECT
1418.28/1423.28 c #Conflicts: 775000 | #Constraints: 19024
1418.28/1423.28 c #Conflicts: 776000 | #Constraints: 20024
1418.28/1423.28 c #Conflicts: 777000 | #Constraints: 21024
1418.28/1423.28 c #Conflicts: 778000 | #Constraints: 22024
1418.28/1423.28 c #Conflicts: 779000 | #Constraints: 23024
1418.28/1423.28 c #Conflicts: 780000 | #Constraints: 24024
1418.28/1423.28 c #Conflicts: 781000 | #Constraints: 25024
1418.28/1423.28 c #Conflicts: 782000 | #Constraints: 26024
1418.28/1423.28 c #Conflicts: 783000 | #Constraints: 27024
1418.28/1423.28 c #Conflicts: 784000 | #Constraints: 28024
1418.28/1423.28 c #Conflicts: 785000 | #Constraints: 29024
1418.28/1423.28 c #Conflicts: 786000 | #Constraints: 30024
1418.28/1423.28 c #Conflicts: 787000 | #Constraints: 31024
1418.28/1423.28 c #Conflicts: 788000 | #Constraints: 32024
1418.28/1423.28 c #Conflicts: 789000 | #Constraints: 33024
1418.28/1423.28 c #Conflicts: 790000 | #Constraints: 34024
1418.28/1423.28 c #Conflicts: 791000 | #Constraints: 35024
1418.28/1423.28 c #Conflicts: 792000 | #Constraints: 36024
1418.28/1423.28 c INPROCESSING
1418.28/1423.28 c GARBAGE COLLECT
1418.28/1423.28 c #Conflicts: 793000 | #Constraints: 19422
1418.28/1423.28 c #Conflicts: 794000 | #Constraints: 20422
1418.28/1423.28 c #Conflicts: 795000 | #Constraints: 21422
1418.28/1423.28 c #Conflicts: 796000 | #Constraints: 22422
1418.28/1423.28 c #Conflicts: 797000 | #Constraints: 23422
1418.28/1423.28 c #Conflicts: 798000 | #Constraints: 24422
1418.28/1423.28 c #Conflicts: 799000 | #Constraints: 25422
1418.28/1423.28 c #Conflicts: 800000 | #Constraints: 26422
1418.28/1423.28 c #Conflicts: 801000 | #Constraints: 27422
1418.28/1423.28 c #Conflicts: 802000 | #Constraints: 28422
1418.28/1423.28 c #Conflicts: 803000 | #Constraints: 29422
1418.28/1423.28 c #Conflicts: 804000 | #Constraints: 30422
1418.28/1423.28 c #Conflicts: 805000 | #Constraints: 31422
1418.28/1423.28 c #Conflicts: 806000 | #Constraints: 32422
1418.28/1423.28 c #Conflicts: 807000 | #Constraints: 33422
1418.28/1423.28 c #Conflicts: 808000 | #Constraints: 34422
1418.28/1423.28 c #Conflicts: 809000 | #Constraints: 35422
1418.28/1423.28 c #Conflicts: 810000 | #Constraints: 36422
1418.28/1423.28 c INPROCESSING
1418.28/1423.28 c GARBAGE COLLECT
1418.28/1423.28 c #Conflicts: 811000 | #Constraints: 19628
1418.28/1423.28 c #Conflicts: 812000 | #Constraints: 20628
1418.28/1423.28 c #Conflicts: 813000 | #Constraints: 21628
1418.28/1423.28 c #Conflicts: 814000 | #Constraints: 22628
1418.28/1423.28 c #Conflicts: 815000 | #Constraints: 23628
1608.94/1614.58 c #Conflicts: 816000 | #Constraints: 24628
1608.94/1614.58 c #Conflicts: 817000 | #Constraints: 25628
1608.94/1614.58 c #Conflicts: 818000 | #Constraints: 26628
1608.94/1614.58 c #Conflicts: 819000 | #Constraints: 27628
1608.94/1614.58 c #Conflicts: 820000 | #Constraints: 28628
1608.94/1614.58 c #Conflicts: 821000 | #Constraints: 29628
1608.94/1614.58 c #Conflicts: 822000 | #Constraints: 30628
1608.94/1614.58 c #Conflicts: 823000 | #Constraints: 31628
1608.94/1614.58 c #Conflicts: 824000 | #Constraints: 32628
1608.94/1614.58 c #Conflicts: 825000 | #Constraints: 33628
1608.94/1614.58 c #Conflicts: 826000 | #Constraints: 34628
1608.94/1614.58 c #Conflicts: 827000 | #Constraints: 35628
1608.94/1614.58 c #Conflicts: 828000 | #Constraints: 36628
1608.94/1614.58 c INPROCESSING
1608.94/1614.58 c GARBAGE COLLECT
1608.94/1614.58 c #Conflicts: 829000 | #Constraints: 19628
1608.94/1614.58 c #Conflicts: 830000 | #Constraints: 20628
1608.94/1614.58 c #Conflicts: 831000 | #Constraints: 21628
1608.94/1614.58 c #Conflicts: 832000 | #Constraints: 22628
1608.94/1614.58 c #Conflicts: 833000 | #Constraints: 23628
1608.94/1614.58 c #Conflicts: 834000 | #Constraints: 24628
1608.94/1614.58 c #Conflicts: 835000 | #Constraints: 25628
1608.94/1614.58 c #Conflicts: 836000 | #Constraints: 26628
1608.94/1614.58 c #Conflicts: 837000 | #Constraints: 27628
1608.94/1614.58 c #Conflicts: 838000 | #Constraints: 28628
1608.94/1614.58 c #Conflicts: 839000 | #Constraints: 29628
1608.94/1614.58 c #Conflicts: 840000 | #Constraints: 30628
1608.94/1614.58 c #Conflicts: 841000 | #Constraints: 31628
1608.94/1614.58 c #Conflicts: 842000 | #Constraints: 32628
1608.94/1614.58 c #Conflicts: 843000 | #Constraints: 33628
1608.94/1614.58 c #Conflicts: 844000 | #Constraints: 34628
1608.94/1614.58 c #Conflicts: 845000 | #Constraints: 35628
1608.94/1614.58 c #Conflicts: 846000 | #Constraints: 36628
1608.94/1614.58 c INPROCESSING
1608.94/1614.58 c GARBAGE COLLECT
1608.94/1614.58 c #Conflicts: 847000 | #Constraints: 19420
1608.94/1614.58 c #Conflicts: 848000 | #Constraints: 20420
1608.94/1614.58 c #Conflicts: 849000 | #Constraints: 21420
1608.94/1614.58 c #Conflicts: 850000 | #Constraints: 22420
1608.94/1614.58 c #Conflicts: 851000 | #Constraints: 23420
1608.94/1614.58 c #Conflicts: 852000 | #Constraints: 24420
1608.94/1614.58 c #Conflicts: 853000 | #Constraints: 25420
1608.94/1614.58 c #Conflicts: 854000 | #Constraints: 26420
1608.94/1614.58 c #Conflicts: 855000 | #Constraints: 27420
1608.94/1614.58 c #Conflicts: 856000 | #Constraints: 28420
1608.94/1614.58 c #Conflicts: 857000 | #Constraints: 29420
1608.94/1614.58 c #Conflicts: 858000 | #Constraints: 30420
1608.94/1614.58 c #Conflicts: 859000 | #Constraints: 31420
1608.94/1614.58 c #Conflicts: 860000 | #Constraints: 32420
1608.94/1614.58 c #Conflicts: 861000 | #Constraints: 33420
1608.94/1614.58 c #Conflicts: 862000 | #Constraints: 34420
1608.94/1614.58 c #Conflicts: 863000 | #Constraints: 35420
1608.94/1614.58 c #Conflicts: 864000 | #Constraints: 36420
1608.94/1614.58 c #Conflicts: 865000 | #Constraints: 37420
1608.94/1614.58 c INPROCESSING
1608.94/1614.58 c GARBAGE COLLECT
1608.94/1614.58 c #Conflicts: 866000 | #Constraints: 20017
1608.94/1614.58 c #Conflicts: 867000 | #Constraints: 21017
1608.94/1614.58 c #Conflicts: 868000 | #Constraints: 22017
1608.94/1614.58 c #Conflicts: 869000 | #Constraints: 23017
1608.94/1614.58 c #Conflicts: 870000 | #Constraints: 24017
1608.94/1614.58 c #Conflicts: 871000 | #Constraints: 25017
1608.94/1614.58 c #Conflicts: 872000 | #Constraints: 26017
1608.94/1614.58 c #Conflicts: 873000 | #Constraints: 27017
1608.94/1614.58 c #Conflicts: 874000 | #Constraints: 28017
1608.94/1614.58 c #Conflicts: 875000 | #Constraints: 29017
1608.94/1614.58 c #Conflicts: 876000 | #Constraints: 30017
1608.94/1614.58 c #Conflicts: 877000 | #Constraints: 31017
1608.94/1614.58 c #Conflicts: 878000 | #Constraints: 32017
1608.94/1614.58 c #Conflicts: 879000 | #Constraints: 33017
1608.94/1614.58 c #Conflicts: 880000 | #Constraints: 34017
1608.94/1614.58 c #Conflicts: 881000 | #Constraints: 35017
1608.94/1614.58 c #Conflicts: 882000 | #Constraints: 36017
1608.94/1614.58 c #Conflicts: 883000 | #Constraints: 37017
1608.94/1614.58 c #Conflicts: 884000 | #Constraints: 38017
1608.94/1614.58 c INPROCESSING
1608.94/1614.58 c GARBAGE COLLECT
1608.94/1614.58 c #Conflicts: 885000 | #Constraints: 20419
1608.94/1614.58 c #Conflicts: 886000 | #Constraints: 21419
1608.94/1614.58 c #Conflicts: 887000 | #Constraints: 22419
1608.94/1614.58 c #Conflicts: 888000 | #Constraints: 23419
1608.94/1614.58 c #Conflicts: 889000 | #Constraints: 24419
1608.94/1614.58 c #Conflicts: 890000 | #Constraints: 25419
1608.94/1614.58 c #Conflicts: 891000 | #Constraints: 26419
1784.67/1790.88 c #Conflicts: 892000 | #Constraints: 27419
1784.67/1790.88 c #Conflicts: 893000 | #Constraints: 28419
1784.67/1790.88 c #Conflicts: 894000 | #Constraints: 29419
1784.67/1790.88 c #Conflicts: 895000 | #Constraints: 30419
1784.67/1790.88 c #Conflicts: 896000 | #Constraints: 31419
1784.67/1790.88 c #Conflicts: 897000 | #Constraints: 32419
1784.67/1790.88 c #Conflicts: 898000 | #Constraints: 33419
1784.67/1790.88 c #Conflicts: 899000 | #Constraints: 34419
1784.67/1790.88 c #Conflicts: 900000 | #Constraints: 35419
1784.67/1790.88 c #Conflicts: 901000 | #Constraints: 36419
1784.67/1790.88 c #Conflicts: 902000 | #Constraints: 37419
1784.67/1790.88 c #Conflicts: 903000 | #Constraints: 38419
1784.67/1790.88 c INPROCESSING
1784.67/1790.88 c GARBAGE COLLECT
1784.67/1790.88 c #Conflicts: 904000 | #Constraints: 20616
1784.67/1790.88 c #Conflicts: 905000 | #Constraints: 21616
1784.67/1790.88 c #Conflicts: 906000 | #Constraints: 22616
1784.67/1790.88 c #Conflicts: 907000 | #Constraints: 23616
1784.67/1790.88 c #Conflicts: 908000 | #Constraints: 24616
1784.67/1790.88 c #Conflicts: 909000 | #Constraints: 25616
1784.67/1790.88 c #Conflicts: 910000 | #Constraints: 26616
1784.67/1790.88 c #Conflicts: 911000 | #Constraints: 27616
1784.67/1790.88 c #Conflicts: 912000 | #Constraints: 28616
1784.67/1790.88 c #Conflicts: 913000 | #Constraints: 29616
1784.67/1790.88 c #Conflicts: 914000 | #Constraints: 30616
1784.67/1790.88 c #Conflicts: 915000 | #Constraints: 31616
1784.67/1790.88 c #Conflicts: 916000 | #Constraints: 32616
1784.67/1790.88 c #Conflicts: 917000 | #Constraints: 33616
1784.67/1790.88 c #Conflicts: 918000 | #Constraints: 34616
1784.67/1790.88 c #Conflicts: 919000 | #Constraints: 35616
1784.67/1790.88 c #Conflicts: 920000 | #Constraints: 36616
1784.67/1790.88 c #Conflicts: 921000 | #Constraints: 37616
1784.67/1790.88 c #Conflicts: 922000 | #Constraints: 38616
1784.67/1790.88 c INPROCESSING
1784.67/1790.88 c GARBAGE COLLECT
1784.67/1790.88 c #Conflicts: 923000 | #Constraints: 20621
1784.67/1790.88 c #Conflicts: 924000 | #Constraints: 21621
1784.67/1790.88 c #Conflicts: 925000 | #Constraints: 22621
1784.67/1790.88 c #Conflicts: 926000 | #Constraints: 23621
1784.67/1790.88 c #Conflicts: 927000 | #Constraints: 24621
1784.67/1790.88 c #Conflicts: 928000 | #Constraints: 25621
1784.67/1790.88 c #Conflicts: 929000 | #Constraints: 26621
1784.67/1790.88 c #Conflicts: 930000 | #Constraints: 27621
1784.67/1790.88 c #Conflicts: 931000 | #Constraints: 28621
1784.67/1790.88 c #Conflicts: 932000 | #Constraints: 29621
1784.67/1790.88 c #Conflicts: 933000 | #Constraints: 30621
1784.67/1790.88 c #Conflicts: 934000 | #Constraints: 31621
1784.67/1790.88 c #Conflicts: 935000 | #Constraints: 32621
1784.67/1790.88 c #Conflicts: 936000 | #Constraints: 33621
1784.67/1790.88 c #Conflicts: 937000 | #Constraints: 34621
1784.67/1790.88 c #Conflicts: 938000 | #Constraints: 35621
1784.67/1790.88 c #Conflicts: 939000 | #Constraints: 36621
1784.67/1790.88 c #Conflicts: 940000 | #Constraints: 37621
1784.67/1790.88 c #Conflicts: 941000 | #Constraints: 38621
1784.67/1790.88 c INPROCESSING
1784.67/1790.88 c GARBAGE COLLECT
1784.67/1790.88 c #Conflicts: 942000 | #Constraints: 20431
1784.67/1790.88 c #Conflicts: 943000 | #Constraints: 21431
1784.67/1790.88 c #Conflicts: 944000 | #Constraints: 22431
1784.67/1790.88 c #Conflicts: 945000 | #Constraints: 23431
1784.67/1790.88 c #Conflicts: 946000 | #Constraints: 24431
1784.67/1790.88 c #Conflicts: 947000 | #Constraints: 25431
1784.67/1790.88 c #Conflicts: 948000 | #Constraints: 26431
1784.67/1790.88 c #Conflicts: 949000 | #Constraints: 27431
1784.67/1790.88 c #Conflicts: 950000 | #Constraints: 28431
1784.67/1790.88 c #Conflicts: 951000 | #Constraints: 29431
1784.67/1790.88 c #Conflicts: 952000 | #Constraints: 30431
1784.67/1790.88 c #Conflicts: 953000 | #Constraints: 31431
1784.67/1790.88 c #Conflicts: 954000 | #Constraints: 32431
1784.67/1790.88 c #Conflicts: 955000 | #Constraints: 33431
1784.67/1790.88 c #Conflicts: 956000 | #Constraints: 34431
1784.67/1790.88 c #Conflicts: 957000 | #Constraints: 35431
1784.67/1790.88 c #Conflicts: 958000 | #Constraints: 36431
1784.67/1790.88 c #Conflicts: 959000 | #Constraints: 37431
1784.67/1790.88 c #Conflicts: 960000 | #Constraints: 38431
1784.67/1790.88 c #Conflicts: 961000 | #Constraints: 39431
1784.67/1790.88 c INPROCESSING
1784.67/1790.88 c GARBAGE COLLECT
1784.67/1790.88 c #Conflicts: 962000 | #Constraints: 21038
1784.67/1790.88 c #Conflicts: 963000 | #Constraints: 22038
1784.67/1790.88 c #Conflicts: 964000 | #Constraints: 23038
1784.67/1790.88 c #Conflicts: 965000 | #Constraints: 24038
1784.67/1790.88 c #Conflicts: 966000 | #Constraints: 25038
1784.67/1790.88 c #Conflicts: 967000 | #Constraints: 26038
2076.80/2084.00 c #Conflicts: 968000 | #Constraints: 27038
2076.80/2084.00 c #Conflicts: 969000 | #Constraints: 28038
2076.80/2084.00 c #Conflicts: 970000 | #Constraints: 29038
2076.80/2084.00 c #Conflicts: 971000 | #Constraints: 30038
2076.80/2084.00 c #Conflicts: 972000 | #Constraints: 31038
2076.80/2084.00 c #Conflicts: 973000 | #Constraints: 32038
2076.80/2084.00 c #Conflicts: 974000 | #Constraints: 33038
2076.80/2084.00 c #Conflicts: 975000 | #Constraints: 34038
2076.80/2084.00 c #Conflicts: 976000 | #Constraints: 35038
2076.80/2084.00 c #Conflicts: 977000 | #Constraints: 36038
2076.80/2084.00 c #Conflicts: 978000 | #Constraints: 37038
2076.80/2084.00 c #Conflicts: 979000 | #Constraints: 38038
2076.80/2084.00 c #Conflicts: 980000 | #Constraints: 39038
2076.80/2084.00 c #Conflicts: 981000 | #Constraints: 40038
2076.80/2084.00 c INPROCESSING
2076.80/2084.00 c GARBAGE COLLECT
2076.80/2084.00 c #Conflicts: 982000 | #Constraints: 21436
2076.80/2084.00 c #Conflicts: 983000 | #Constraints: 22436
2076.80/2084.00 c #Conflicts: 984000 | #Constraints: 23436
2076.80/2084.00 c #Conflicts: 985000 | #Constraints: 24436
2076.80/2084.00 c #Conflicts: 986000 | #Constraints: 25436
2076.80/2084.00 c #Conflicts: 987000 | #Constraints: 26436
2076.80/2084.00 c #Conflicts: 988000 | #Constraints: 27436
2076.80/2084.00 c #Conflicts: 989000 | #Constraints: 28436
2076.80/2084.00 c #Conflicts: 990000 | #Constraints: 29436
2076.80/2084.00 c #Conflicts: 991000 | #Constraints: 30436
2076.80/2084.00 c #Conflicts: 992000 | #Constraints: 31436
2076.80/2084.00 c #Conflicts: 993000 | #Constraints: 32436
2076.80/2084.00 c #Conflicts: 994000 | #Constraints: 33436
2076.80/2084.00 c #Conflicts: 995000 | #Constraints: 34436
2076.80/2084.00 c #Conflicts: 996000 | #Constraints: 35436
2076.80/2084.00 c #Conflicts: 997000 | #Constraints: 36436
2076.80/2084.00 c #Conflicts: 998000 | #Constraints: 37436
2076.80/2084.00 c #Conflicts: 999000 | #Constraints: 38436
2076.80/2084.00 c #Conflicts: 1000000 | #Constraints: 39436
2076.80/2084.00 c #Conflicts: 1001000 | #Constraints: 40436
2076.80/2084.00 c INPROCESSING
2076.80/2084.00 c GARBAGE COLLECT
2076.80/2084.00 c #Conflicts: 1002000 | #Constraints: 21640
2076.80/2084.00 c #Conflicts: 1003000 | #Constraints: 22640
2076.80/2084.00 c #Conflicts: 1004000 | #Constraints: 23640
2076.80/2084.00 c #Conflicts: 1005000 | #Constraints: 24640
2076.80/2084.00 c #Conflicts: 1006000 | #Constraints: 25640
2076.80/2084.00 c #Conflicts: 1007000 | #Constraints: 26640
2076.80/2084.00 c #Conflicts: 1008000 | #Constraints: 27640
2076.80/2084.00 c #Conflicts: 1009000 | #Constraints: 28640
2076.80/2084.00 c #Conflicts: 1010000 | #Constraints: 29640
2076.80/2084.00 c #Conflicts: 1011000 | #Constraints: 30640
2076.80/2084.00 c #Conflicts: 1012000 | #Constraints: 31640
2076.80/2084.00 c #Conflicts: 1013000 | #Constraints: 32640
2076.80/2084.00 c #Conflicts: 1014000 | #Constraints: 33640
2076.80/2084.00 c #Conflicts: 1015000 | #Constraints: 34640
2076.80/2084.00 c #Conflicts: 1016000 | #Constraints: 35640
2076.80/2084.00 c #Conflicts: 1017000 | #Constraints: 36640
2076.80/2084.00 c #Conflicts: 1018000 | #Constraints: 37640
2076.80/2084.00 c #Conflicts: 1019000 | #Constraints: 38640
2076.80/2084.00 c #Conflicts: 1020000 | #Constraints: 39640
2076.80/2084.00 c #Conflicts: 1021000 | #Constraints: 40640
2076.80/2084.00 c INPROCESSING
2076.80/2084.00 c GARBAGE COLLECT
2076.80/2084.00 c #Conflicts: 1022000 | #Constraints: 21641
2076.80/2084.00 c #Conflicts: 1023000 | #Constraints: 22641
2076.80/2084.00 c #Conflicts: 1024000 | #Constraints: 23641
2076.80/2084.00 c #Conflicts: 1025000 | #Constraints: 24641
2076.80/2084.00 c #Conflicts: 1026000 | #Constraints: 25641
2076.80/2084.00 c #Conflicts: 1027000 | #Constraints: 26641
2076.80/2084.00 c #Conflicts: 1028000 | #Constraints: 27641
2076.80/2084.00 c #Conflicts: 1029000 | #Constraints: 28641
2076.80/2084.00 c #Conflicts: 1030000 | #Constraints: 29641
2076.80/2084.00 c #Conflicts: 1031000 | #Constraints: 30641
2076.80/2084.00 c #Conflicts: 1032000 | #Constraints: 31641
2076.80/2084.00 c #Conflicts: 1033000 | #Constraints: 32641
2076.80/2084.00 c #Conflicts: 1034000 | #Constraints: 33641
2076.80/2084.00 c #Conflicts: 1035000 | #Constraints: 34641
2076.80/2084.00 c #Conflicts: 1036000 | #Constraints: 35641
2076.80/2084.00 c #Conflicts: 1037000 | #Constraints: 36641
2076.80/2084.00 c #Conflicts: 1038000 | #Constraints: 37641
2076.80/2084.00 c #Conflicts: 1039000 | #Constraints: 38641
2076.80/2084.00 c #Conflicts: 1040000 | #Constraints: 39641
2076.80/2084.00 c #Conflicts: 1041000 | #Constraints: 40641
2076.80/2084.00 c INPROCESSING
2076.80/2084.00 c GARBAGE COLLECT
2076.80/2084.00 c #Conflicts: 1042000 | #Constraints: 21446
2076.80/2084.00 c #Conflicts: 1043000 | #Constraints: 22446
2076.80/2084.00 c #Conflicts: 1044000 | #Constraints: 23446
2541.22/2549.94 c #Conflicts: 1045000 | #Constraints: 24446
2541.22/2549.94 c #Conflicts: 1046000 | #Constraints: 25446
2541.22/2549.94 c #Conflicts: 1047000 | #Constraints: 26446
2541.22/2549.94 c #Conflicts: 1048000 | #Constraints: 27446
2541.22/2549.94 c #Conflicts: 1049000 | #Constraints: 28446
2541.22/2549.94 c #Conflicts: 1050000 | #Constraints: 29446
2541.22/2549.94 c #Conflicts: 1051000 | #Constraints: 30446
2541.22/2549.94 c #Conflicts: 1052000 | #Constraints: 31446
2541.22/2549.94 c #Conflicts: 1053000 | #Constraints: 32446
2541.22/2549.94 c #Conflicts: 1054000 | #Constraints: 33446
2541.22/2549.94 c #Conflicts: 1055000 | #Constraints: 34446
2541.22/2549.94 c #Conflicts: 1056000 | #Constraints: 35446
2541.22/2549.94 c #Conflicts: 1057000 | #Constraints: 36446
2541.22/2549.94 c #Conflicts: 1058000 | #Constraints: 37446
2541.22/2549.94 c #Conflicts: 1059000 | #Constraints: 38446
2541.22/2549.94 c #Conflicts: 1060000 | #Constraints: 39446
2541.22/2549.94 c #Conflicts: 1061000 | #Constraints: 40446
2541.22/2549.94 c #Conflicts: 1062000 | #Constraints: 41446
2541.22/2549.94 c INPROCESSING
2541.22/2549.94 c GARBAGE COLLECT
2541.22/2549.94 c #Conflicts: 1063000 | #Constraints: 22046
2541.22/2549.94 c #Conflicts: 1064000 | #Constraints: 23046
2541.22/2549.94 c #Conflicts: 1065000 | #Constraints: 24046
2541.22/2549.94 c #Conflicts: 1066000 | #Constraints: 25046
2541.22/2549.94 c #Conflicts: 1067000 | #Constraints: 26046
2541.22/2549.94 c #Conflicts: 1068000 | #Constraints: 27046
2541.22/2549.94 c #Conflicts: 1069000 | #Constraints: 28046
2541.22/2549.94 c #Conflicts: 1070000 | #Constraints: 29046
2541.22/2549.94 c #Conflicts: 1071000 | #Constraints: 30046
2541.22/2549.94 c #Conflicts: 1072000 | #Constraints: 31046
2541.22/2549.94 c #Conflicts: 1073000 | #Constraints: 32046
2541.22/2549.94 c #Conflicts: 1074000 | #Constraints: 33046
2541.22/2549.94 c #Conflicts: 1075000 | #Constraints: 34046
2541.22/2549.94 c #Conflicts: 1076000 | #Constraints: 35046
2541.22/2549.94 c #Conflicts: 1077000 | #Constraints: 36046
2541.22/2549.94 c #Conflicts: 1078000 | #Constraints: 37046
2541.22/2549.94 c #Conflicts: 1079000 | #Constraints: 38046
2541.22/2549.94 c #Conflicts: 1080000 | #Constraints: 39046
2541.22/2549.94 c #Conflicts: 1081000 | #Constraints: 40046
2541.22/2549.94 c #Conflicts: 1082000 | #Constraints: 41046
2541.22/2549.94 c #Conflicts: 1083000 | #Constraints: 42046
2541.22/2549.94 c INPROCESSING
2541.22/2549.94 c GARBAGE COLLECT
2541.22/2549.94 c #Conflicts: 1084000 | #Constraints: 22443
2541.22/2549.94 c #Conflicts: 1085000 | #Constraints: 23443
2541.22/2549.94 c #Conflicts: 1086000 | #Constraints: 24443
2541.22/2549.94 c #Conflicts: 1087000 | #Constraints: 25443
2541.22/2549.94 c #Conflicts: 1088000 | #Constraints: 26443
2541.22/2549.94 c #Conflicts: 1089000 | #Constraints: 27443
2541.22/2549.94 c #Conflicts: 1090000 | #Constraints: 28443
2541.22/2549.94 c #Conflicts: 1091000 | #Constraints: 29443
2541.22/2549.94 c #Conflicts: 1092000 | #Constraints: 30443
2541.22/2549.94 c #Conflicts: 1093000 | #Constraints: 31443
2541.22/2549.94 c #Conflicts: 1094000 | #Constraints: 32443
2541.22/2549.94 c #Conflicts: 1095000 | #Constraints: 33443
2541.22/2549.94 c #Conflicts: 1096000 | #Constraints: 34443
2541.22/2549.94 c #Conflicts: 1097000 | #Constraints: 35443
2541.22/2549.94 c #Conflicts: 1098000 | #Constraints: 36443
2541.22/2549.94 c #Conflicts: 1099000 | #Constraints: 37443
2541.22/2549.94 c #Conflicts: 1100000 | #Constraints: 38443
2541.22/2549.94 c #Conflicts: 1101000 | #Constraints: 39443
2541.22/2549.94 c #Conflicts: 1102000 | #Constraints: 40443
2541.22/2549.94 c #Conflicts: 1103000 | #Constraints: 41443
2541.22/2549.94 c #Conflicts: 1104000 | #Constraints: 42443
2541.22/2549.94 c INPROCESSING
2541.22/2549.94 c GARBAGE COLLECT
2541.22/2549.94 c #Conflicts: 1105000 | #Constraints: 22643
2541.22/2549.94 c #Conflicts: 1106000 | #Constraints: 23643
2541.22/2549.94 c #Conflicts: 1107000 | #Constraints: 24643
2541.22/2549.94 c #Conflicts: 1108000 | #Constraints: 25643
2541.22/2549.94 c #Conflicts: 1109000 | #Constraints: 26643
2541.22/2549.94 c #Conflicts: 1110000 | #Constraints: 27643
2541.22/2549.94 c #Conflicts: 1111000 | #Constraints: 28643
2541.22/2549.94 c #Conflicts: 1112000 | #Constraints: 29643
2541.22/2549.94 c #Conflicts: 1113000 | #Constraints: 30643
2541.22/2549.94 c #Conflicts: 1114000 | #Constraints: 31643
2541.22/2549.94 c #Conflicts: 1115000 | #Constraints: 32643
2541.22/2549.94 c #Conflicts: 1116000 | #Constraints: 33643
2541.22/2549.94 c #Conflicts: 1117000 | #Constraints: 34643
2541.22/2549.94 c #Conflicts: 1118000 | #Constraints: 35643
2541.22/2549.94 c #Conflicts: 1119000 | #Constraints: 36643
2541.22/2549.94 c #Conflicts: 1120000 | #Constraints: 37643
2541.22/2549.94 c #Conflicts: 1121000 | #Constraints: 38643
2826.64/2836.37 c #Conflicts: 1122000 | #Constraints: 39643
2826.64/2836.37 c #Conflicts: 1123000 | #Constraints: 40643
2826.64/2836.37 c #Conflicts: 1124000 | #Constraints: 41643
2826.64/2836.37 c #Conflicts: 1125000 | #Constraints: 42643
2826.64/2836.37 c INPROCESSING
2826.64/2836.37 c GARBAGE COLLECT
2826.64/2836.37 c #Conflicts: 1126000 | #Constraints: 22648
2826.64/2836.37 c #Conflicts: 1127000 | #Constraints: 23648
2826.64/2836.37 c #Conflicts: 1128000 | #Constraints: 24648
2826.64/2836.37 c #Conflicts: 1129000 | #Constraints: 25648
2826.64/2836.37 c #Conflicts: 1130000 | #Constraints: 26648
2826.64/2836.37 c #Conflicts: 1131000 | #Constraints: 27648
2826.64/2836.37 c #Conflicts: 1132000 | #Constraints: 28648
2826.64/2836.37 c #Conflicts: 1133000 | #Constraints: 29648
2826.64/2836.37 c #Conflicts: 1134000 | #Constraints: 30648
2826.64/2836.37 c #Conflicts: 1135000 | #Constraints: 31648
2826.64/2836.37 c #Conflicts: 1136000 | #Constraints: 32648
2826.64/2836.37 c #Conflicts: 1137000 | #Constraints: 33648
2826.64/2836.37 c #Conflicts: 1138000 | #Constraints: 34648
2826.64/2836.37 c #Conflicts: 1139000 | #Constraints: 35648
2826.64/2836.37 c #Conflicts: 1140000 | #Constraints: 36648
2826.64/2836.37 c #Conflicts: 1141000 | #Constraints: 37648
2826.64/2836.37 c #Conflicts: 1142000 | #Constraints: 38648
2826.64/2836.37 c #Conflicts: 1143000 | #Constraints: 39648
2826.64/2836.37 c #Conflicts: 1144000 | #Constraints: 40648
2826.64/2836.37 c #Conflicts: 1145000 | #Constraints: 41648
2826.64/2836.37 c #Conflicts: 1146000 | #Constraints: 42648
2826.64/2836.37 c INPROCESSING
2826.64/2836.37 c GARBAGE COLLECT
2826.64/2836.37 c #Conflicts: 1147000 | #Constraints: 22433
2826.64/2836.37 c #Conflicts: 1148000 | #Constraints: 23433
2826.64/2836.37 c #Conflicts: 1149000 | #Constraints: 24433
2826.64/2836.37 c #Conflicts: 1150000 | #Constraints: 25433
2826.64/2836.37 c #Conflicts: 1151000 | #Constraints: 26433
2826.64/2836.37 c #Conflicts: 1152000 | #Constraints: 27433
2826.64/2836.37 c #Conflicts: 1153000 | #Constraints: 28433
2826.64/2836.37 c #Conflicts: 1154000 | #Constraints: 29433
2826.64/2836.37 c #Conflicts: 1155000 | #Constraints: 30433
2826.64/2836.37 c #Conflicts: 1156000 | #Constraints: 31433
2826.64/2836.37 c #Conflicts: 1157000 | #Constraints: 32433
2826.64/2836.37 c #Conflicts: 1158000 | #Constraints: 33433
2826.64/2836.37 c #Conflicts: 1159000 | #Constraints: 34433
2826.64/2836.37 c #Conflicts: 1160000 | #Constraints: 35433
2826.64/2836.37 c #Conflicts: 1161000 | #Constraints: 36433
2826.64/2836.37 c #Conflicts: 1162000 | #Constraints: 37433
2826.64/2836.37 c #Conflicts: 1163000 | #Constraints: 38433
2826.64/2836.37 c #Conflicts: 1164000 | #Constraints: 39433
2826.64/2836.37 c #Conflicts: 1165000 | #Constraints: 40433
2826.64/2836.37 c #Conflicts: 1166000 | #Constraints: 41433
2826.64/2836.37 c #Conflicts: 1167000 | #Constraints: 42433
2826.64/2836.37 c #Conflicts: 1168000 | #Constraints: 43433
2826.64/2836.37 c INPROCESSING
2826.64/2836.37 c GARBAGE COLLECT
2826.64/2836.37 c #Conflicts: 1169000 | #Constraints: 23030
2826.64/2836.37 c #Conflicts: 1170000 | #Constraints: 24030
2826.64/2836.37 c #Conflicts: 1171000 | #Constraints: 25030
2826.64/2836.37 c #Conflicts: 1172000 | #Constraints: 26030
2826.64/2836.37 c #Conflicts: 1173000 | #Constraints: 27030
2826.64/2836.37 c #Conflicts: 1174000 | #Constraints: 28030
2826.64/2836.37 c #Conflicts: 1175000 | #Constraints: 29030
2826.64/2836.37 c #Conflicts: 1176000 | #Constraints: 30030
2826.64/2836.37 c #Conflicts: 1177000 | #Constraints: 31030
2826.64/2836.37 c #Conflicts: 1178000 | #Constraints: 32030
2826.64/2836.37 c #Conflicts: 1179000 | #Constraints: 33030
2826.64/2836.37 c #Conflicts: 1180000 | #Constraints: 34030
2826.64/2836.37 c #Conflicts: 1181000 | #Constraints: 35030
2826.64/2836.37 c #Conflicts: 1182000 | #Constraints: 36030
2826.64/2836.37 c #Conflicts: 1183000 | #Constraints: 37030
2826.64/2836.37 c #Conflicts: 1184000 | #Constraints: 38030
2826.64/2836.37 c #Conflicts: 1185000 | #Constraints: 39030
2826.64/2836.37 c #Conflicts: 1186000 | #Constraints: 40030
2826.64/2836.37 c #Conflicts: 1187000 | #Constraints: 41030
2826.64/2836.37 c #Conflicts: 1188000 | #Constraints: 42030
2826.64/2836.37 c #Conflicts: 1189000 | #Constraints: 43030
2826.64/2836.37 c #Conflicts: 1190000 | #Constraints: 44030
2826.64/2836.37 c INPROCESSING
2826.64/2836.37 c GARBAGE COLLECT
2826.64/2836.37 c #Conflicts: 1191000 | #Constraints: 23428
2826.64/2836.37 c #Conflicts: 1192000 | #Constraints: 24428
2826.64/2836.37 c #Conflicts: 1193000 | #Constraints: 25428
2826.64/2836.37 c #Conflicts: 1194000 | #Constraints: 26428
2826.64/2836.37 c #Conflicts: 1195000 | #Constraints: 27428
2826.64/2836.37 c #Conflicts: 1196000 | #Constraints: 28428
2826.64/2836.37 c #Conflicts: 1197000 | #Constraints: 29428
3126.54/3137.29 c #Conflicts: 1198000 | #Constraints: 30428
3126.54/3137.29 c #Conflicts: 1199000 | #Constraints: 31428
3126.54/3137.29 c #Conflicts: 1200000 | #Constraints: 32428
3126.54/3137.29 c #Conflicts: 1201000 | #Constraints: 33428
3126.54/3137.29 c #Conflicts: 1202000 | #Constraints: 34428
3126.54/3137.29 c #Conflicts: 1203000 | #Constraints: 35428
3126.54/3137.29 c #Conflicts: 1204000 | #Constraints: 36428
3126.54/3137.29 c #Conflicts: 1205000 | #Constraints: 37428
3126.54/3137.29 c #Conflicts: 1206000 | #Constraints: 38428
3126.54/3137.29 c #Conflicts: 1207000 | #Constraints: 39428
3126.54/3137.29 c #Conflicts: 1208000 | #Constraints: 40428
3126.54/3137.29 c #Conflicts: 1209000 | #Constraints: 41428
3126.54/3137.29 c #Conflicts: 1210000 | #Constraints: 42428
3126.54/3137.29 c #Conflicts: 1211000 | #Constraints: 43428
3126.54/3137.29 c #Conflicts: 1212000 | #Constraints: 44428
3126.54/3137.29 c INPROCESSING
3126.54/3137.29 c GARBAGE COLLECT
3126.54/3137.29 c #Conflicts: 1213000 | #Constraints: 23625
3126.54/3137.29 c #Conflicts: 1214000 | #Constraints: 24625
3126.54/3137.29 c #Conflicts: 1215000 | #Constraints: 25625
3126.54/3137.29 c #Conflicts: 1216000 | #Constraints: 26625
3126.54/3137.29 c #Conflicts: 1217000 | #Constraints: 27625
3126.54/3137.29 c #Conflicts: 1218000 | #Constraints: 28625
3126.54/3137.29 c #Conflicts: 1219000 | #Constraints: 29625
3126.54/3137.29 c #Conflicts: 1220000 | #Constraints: 30625
3126.54/3137.29 c #Conflicts: 1221000 | #Constraints: 31625
3126.54/3137.29 c #Conflicts: 1222000 | #Constraints: 32625
3126.54/3137.29 c #Conflicts: 1223000 | #Constraints: 33625
3126.54/3137.29 c #Conflicts: 1224000 | #Constraints: 34625
3126.54/3137.29 c #Conflicts: 1225000 | #Constraints: 35625
3126.54/3137.29 c #Conflicts: 1226000 | #Constraints: 36625
3126.54/3137.29 c #Conflicts: 1227000 | #Constraints: 37625
3126.54/3137.29 c #Conflicts: 1228000 | #Constraints: 38625
3126.54/3137.29 c #Conflicts: 1229000 | #Constraints: 39625
3126.54/3137.29 c #Conflicts: 1230000 | #Constraints: 40625
3126.54/3137.29 c #Conflicts: 1231000 | #Constraints: 41625
3126.54/3137.29 c #Conflicts: 1232000 | #Constraints: 42625
3126.54/3137.29 c #Conflicts: 1233000 | #Constraints: 43625
3126.54/3137.29 c #Conflicts: 1234000 | #Constraints: 44625
3126.54/3137.29 c INPROCESSING
3126.54/3137.29 c GARBAGE COLLECT
3126.54/3137.29 c #Conflicts: 1235000 | #Constraints: 23616
3126.54/3137.29 c #Conflicts: 1236000 | #Constraints: 24616
3126.54/3137.29 c #Conflicts: 1237000 | #Constraints: 25616
3126.54/3137.29 c #Conflicts: 1238000 | #Constraints: 26616
3126.54/3137.29 c #Conflicts: 1239000 | #Constraints: 27616
3126.54/3137.29 c #Conflicts: 1240000 | #Constraints: 28616
3126.54/3137.29 c #Conflicts: 1241000 | #Constraints: 29616
3126.54/3137.29 c #Conflicts: 1242000 | #Constraints: 30616
3126.54/3137.29 c #Conflicts: 1243000 | #Constraints: 31616
3126.54/3137.29 c #Conflicts: 1244000 | #Constraints: 32616
3126.54/3137.29 c #Conflicts: 1245000 | #Constraints: 33616
3126.54/3137.29 c #Conflicts: 1246000 | #Constraints: 34616
3126.54/3137.29 c #Conflicts: 1247000 | #Constraints: 35616
3126.54/3137.29 c #Conflicts: 1248000 | #Constraints: 36616
3126.54/3137.29 c #Conflicts: 1249000 | #Constraints: 37616
3126.54/3137.29 c #Conflicts: 1250000 | #Constraints: 38616
3126.54/3137.29 c #Conflicts: 1251000 | #Constraints: 39616
3126.54/3137.29 c #Conflicts: 1252000 | #Constraints: 40616
3126.54/3137.29 c #Conflicts: 1253000 | #Constraints: 41616
3126.54/3137.29 c #Conflicts: 1254000 | #Constraints: 42616
3126.54/3137.29 c #Conflicts: 1255000 | #Constraints: 43616
3126.54/3137.29 c #Conflicts: 1256000 | #Constraints: 44616
3126.54/3137.29 c INPROCESSING
3126.54/3137.29 c GARBAGE COLLECT
3126.54/3137.29 c #Conflicts: 1257000 | #Constraints: 23428
3126.54/3137.29 c #Conflicts: 1258000 | #Constraints: 24428
3126.54/3137.29 c #Conflicts: 1259000 | #Constraints: 25428
3126.54/3137.29 c #Conflicts: 1260000 | #Constraints: 26428
3126.54/3137.29 c #Conflicts: 1261000 | #Constraints: 27428
3126.54/3137.29 c #Conflicts: 1262000 | #Constraints: 28428
3126.54/3137.29 c #Conflicts: 1263000 | #Constraints: 29428
3126.54/3137.29 c #Conflicts: 1264000 | #Constraints: 30428
3126.54/3137.29 c #Conflicts: 1265000 | #Constraints: 31428
3126.54/3137.29 c #Conflicts: 1266000 | #Constraints: 32428
3126.54/3137.29 c #Conflicts: 1267000 | #Constraints: 33428
3126.54/3137.29 c #Conflicts: 1268000 | #Constraints: 34428
3126.54/3137.29 c #Conflicts: 1269000 | #Constraints: 35428
3126.54/3137.29 c #Conflicts: 1270000 | #Constraints: 36428
3126.54/3137.29 c #Conflicts: 1271000 | #Constraints: 37428
3126.54/3137.29 c #Conflicts: 1272000 | #Constraints: 38428
3126.54/3137.29 c #Conflicts: 1273000 | #Constraints: 39428
3126.54/3137.29 c #Conflicts: 1274000 | #Constraints: 40428
3429.11/3440.87 c #Conflicts: 1275000 | #Constraints: 41428
3429.11/3440.87 c #Conflicts: 1276000 | #Constraints: 42428
3429.11/3440.87 c #Conflicts: 1277000 | #Constraints: 43428
3429.11/3440.87 c #Conflicts: 1278000 | #Constraints: 44428
3429.11/3440.87 c #Conflicts: 1279000 | #Constraints: 45428
3429.11/3440.87 c INPROCESSING
3429.11/3440.87 c GARBAGE COLLECT
3429.11/3440.87 c #Conflicts: 1280000 | #Constraints: 24018
3429.11/3440.87 c #Conflicts: 1281000 | #Constraints: 25018
3429.11/3440.87 c #Conflicts: 1282000 | #Constraints: 26018
3429.11/3440.87 c #Conflicts: 1283000 | #Constraints: 27018
3429.11/3440.87 c #Conflicts: 1284000 | #Constraints: 28018
3429.11/3440.87 c #Conflicts: 1285000 | #Constraints: 29018
3429.11/3440.87 c #Conflicts: 1286000 | #Constraints: 30018
3429.11/3440.87 c #Conflicts: 1287000 | #Constraints: 31018
3429.11/3440.87 c #Conflicts: 1288000 | #Constraints: 32018
3429.11/3440.87 c #Conflicts: 1289000 | #Constraints: 33018
3429.11/3440.87 c #Conflicts: 1290000 | #Constraints: 34018
3429.11/3440.87 c #Conflicts: 1291000 | #Constraints: 35018
3429.11/3440.87 c #Conflicts: 1292000 | #Constraints: 36018
3429.11/3440.87 c #Conflicts: 1293000 | #Constraints: 37018
3429.11/3440.87 c #Conflicts: 1294000 | #Constraints: 38018
3429.11/3440.87 c #Conflicts: 1295000 | #Constraints: 39018
3429.11/3440.87 c #Conflicts: 1296000 | #Constraints: 40018
3429.11/3440.87 c #Conflicts: 1297000 | #Constraints: 41018
3429.11/3440.87 c #Conflicts: 1298000 | #Constraints: 42018
3429.11/3440.87 c #Conflicts: 1299000 | #Constraints: 43018
3429.11/3440.87 c #Conflicts: 1300000 | #Constraints: 44018
3429.11/3440.87 c #Conflicts: 1301000 | #Constraints: 45018
3429.11/3440.87 c #Conflicts: 1302000 | #Constraints: 46018
3429.11/3440.87 c INPROCESSING
3429.11/3440.87 c GARBAGE COLLECT
3429.11/3440.87 c #Conflicts: 1303000 | #Constraints: 24416
3429.11/3440.87 c #Conflicts: 1304000 | #Constraints: 25416
3429.11/3440.87 c #Conflicts: 1305000 | #Constraints: 26416
3429.11/3440.87 c #Conflicts: 1306000 | #Constraints: 27416
3429.11/3440.87 c #Conflicts: 1307000 | #Constraints: 28416
3429.11/3440.87 c #Conflicts: 1308000 | #Constraints: 29416
3429.11/3440.87 c #Conflicts: 1309000 | #Constraints: 30416
3429.11/3440.87 c #Conflicts: 1310000 | #Constraints: 31416
3429.11/3440.87 c #Conflicts: 1311000 | #Constraints: 32416
3429.11/3440.87 c #Conflicts: 1312000 | #Constraints: 33416
3429.11/3440.87 c #Conflicts: 1313000 | #Constraints: 34416
3429.11/3440.87 c #Conflicts: 1314000 | #Constraints: 35416
3429.11/3440.87 c #Conflicts: 1315000 | #Constraints: 36416
3429.11/3440.87 c #Conflicts: 1316000 | #Constraints: 37416
3429.11/3440.87 c #Conflicts: 1317000 | #Constraints: 38416
3429.11/3440.87 c #Conflicts: 1318000 | #Constraints: 39416
3429.11/3440.87 c #Conflicts: 1319000 | #Constraints: 40416
3429.11/3440.87 c #Conflicts: 1320000 | #Constraints: 41416
3429.11/3440.87 c #Conflicts: 1321000 | #Constraints: 42416
3429.11/3440.87 c #Conflicts: 1322000 | #Constraints: 43416
3429.11/3440.87 c #Conflicts: 1323000 | #Constraints: 44416
3429.11/3440.87 c #Conflicts: 1324000 | #Constraints: 45416
3429.11/3440.87 c #Conflicts: 1325000 | #Constraints: 46416
3429.11/3440.87 c INPROCESSING
3429.11/3440.87 c GARBAGE COLLECT
3429.11/3440.87 c #Conflicts: 1326000 | #Constraints: 24635
3429.11/3440.87 c #Conflicts: 1327000 | #Constraints: 25635
3429.11/3440.87 c #Conflicts: 1328000 | #Constraints: 26635
3429.11/3440.87 c #Conflicts: 1329000 | #Constraints: 27635
3429.11/3440.87 c #Conflicts: 1330000 | #Constraints: 28635
3429.11/3440.87 c #Conflicts: 1331000 | #Constraints: 29635
3429.11/3440.87 c #Conflicts: 1332000 | #Constraints: 30635
3429.11/3440.87 c #Conflicts: 1333000 | #Constraints: 31635
3429.11/3440.87 c #Conflicts: 1334000 | #Constraints: 32635
3429.11/3440.87 c #Conflicts: 1335000 | #Constraints: 33635
3429.11/3440.87 c #Conflicts: 1336000 | #Constraints: 34635
3429.11/3440.87 c #Conflicts: 1337000 | #Constraints: 35635
3429.11/3440.87 c #Conflicts: 1338000 | #Constraints: 36635
3429.11/3440.87 c #Conflicts: 1339000 | #Constraints: 37635
3429.11/3440.87 c #Conflicts: 1340000 | #Constraints: 38635
3429.11/3440.87 c #Conflicts: 1341000 | #Constraints: 39635
3429.11/3440.87 c #Conflicts: 1342000 | #Constraints: 40635
3429.11/3440.87 c #Conflicts: 1343000 | #Constraints: 41635
3429.11/3440.87 c #Conflicts: 1344000 | #Constraints: 42635
3429.11/3440.87 c #Conflicts: 1345000 | #Constraints: 43635
3429.11/3440.87 c #Conflicts: 1346000 | #Constraints: 44635
3429.11/3440.87 c #Conflicts: 1347000 | #Constraints: 45635
3429.11/3440.87 c #Conflicts: 1348000 | #Constraints: 46635
3429.11/3440.87 c INPROCESSING
3429.11/3440.87 c GARBAGE COLLECT
3429.11/3440.87 c #Conflicts: 1349000 | #Constraints: 24632
3429.11/3440.87 c #Conflicts: 1350000 | #Constraints: 25632
3600.05/3612.30 c #Conflicts: 1351000 | #Constraints: 26632
3600.05/3612.30 c #Conflicts: 1352000 | #Constraints: 27632
3600.05/3612.30 c #Conflicts: 1353000 | #Constraints: 28632
3600.05/3612.30 c #Conflicts: 1354000 | #Constraints: 29632
3600.05/3612.30 c #Conflicts: 1355000 | #Constraints: 30632
3600.05/3612.30 c #Conflicts: 1356000 | #Constraints: 31632
3600.05/3612.30 c #Conflicts: 1357000 | #Constraints: 32632
3600.05/3612.30 c #Conflicts: 1358000 | #Constraints: 33632
3600.05/3612.30 c #Conflicts: 1359000 | #Constraints: 34632
3600.05/3612.30 c #Conflicts: 1360000 | #Constraints: 35632
3600.05/3612.30 c #Conflicts: 1361000 | #Constraints: 36632
3600.05/3612.30 c #Conflicts: 1362000 | #Constraints: 37632
3600.05/3612.30 c #Conflicts: 1363000 | #Constraints: 38632
3600.05/3612.30 c #Conflicts: 1364000 | #Constraints: 39632
3600.05/3612.30 c #Conflicts: 1365000 | #Constraints: 40632
3600.05/3612.30 c #Conflicts: 1366000 | #Constraints: 41632
3600.05/3612.30 c #Conflicts: 1367000 | #Constraints: 42632
3600.05/3612.30 c #Conflicts: 1368000 | #Constraints: 43632
3600.05/3612.30 c #Conflicts: 1369000 | #Constraints: 44632
3600.05/3612.30 c #Conflicts: 1370000 | #Constraints: 45632
3600.05/3612.30 c #Conflicts: 1371000 | #Constraints: 46632
3600.05/3612.30 c INPROCESSING
3600.05/3612.30 c GARBAGE COLLECT
3600.05/3612.30 c #Conflicts: 1372000 | #Constraints: 24422
3600.05/3612.30 c #Conflicts: 1373000 | #Constraints: 25422
3600.05/3612.30 c #Conflicts: 1374000 | #Constraints: 26422
3600.05/3612.30 c #Conflicts: 1375000 | #Constraints: 27422
3600.05/3612.30 c #Conflicts: 1376000 | #Constraints: 28422
3600.05/3612.30 c #Conflicts: 1377000 | #Constraints: 29422
3600.05/3612.30 c #Conflicts: 1378000 | #Constraints: 30422
3600.05/3612.30 c #Conflicts: 1379000 | #Constraints: 31422
3600.05/3612.30 c #Conflicts: 1380000 | #Constraints: 32422
3600.05/3612.30 c #Conflicts: 1381000 | #Constraints: 33422
3600.05/3612.30 c #Conflicts: 1382000 | #Constraints: 34422
3600.05/3612.30 c #Conflicts: 1383000 | #Constraints: 35422
3600.05/3612.30 c #Conflicts: 1384000 | #Constraints: 36422
3600.05/3612.30 c #Conflicts: 1385000 | #Constraints: 37422
3600.05/3612.30 c #Conflicts: 1386000 | #Constraints: 38422
3600.05/3612.30 c #Conflicts: 1387000 | #Constraints: 39422
3600.05/3612.30 c #Conflicts: 1388000 | #Constraints: 40422
3600.05/3612.30 c #Conflicts: 1389000 | #Constraints: 41422
3600.05/3612.30 c #Conflicts: 1390000 | #Constraints: 42422
3600.05/3612.30 c #Conflicts: 1391000 | #Constraints: 43422
3600.05/3612.30 c #Conflicts: 1392000 | #Constraints: 44422
3600.05/3612.30 c #Conflicts: 1393000 | #Constraints: 45422
3600.05/3612.30 c #Conflicts: 1394000 | #Constraints: 46422
3600.05/3612.30 c #Conflicts: 1395000 | #Constraints: 47422
3600.05/3612.30 c INPROCESSING
3600.05/3612.30 c GARBAGE COLLECT
3600.05/3612.30 c #Conflicts: 1396000 | #Constraints: 25019
3600.05/3612.30 c #Conflicts: 1397000 | #Constraints: 26019
3600.05/3612.30 c #Conflicts: 1398000 | #Constraints: 27019
3600.05/3612.30 c #Conflicts: 1399000 | #Constraints: 28019
3600.05/3612.30 c #Conflicts: 1400000 | #Constraints: 29019
3600.05/3612.30 c #Conflicts: 1401000 | #Constraints: 30019
3600.05/3612.30 c #Conflicts: 1402000 | #Constraints: 31019
3600.05/3612.30 c #Conflicts: 1403000 | #Constraints: 32019
3600.05/3612.30 c #Conflicts: 1404000 | #Constraints: 33019
3600.05/3612.30 c #Conflicts: 1405000 | #Constraints: 34019
3600.05/3612.30 c #Conflicts: 1406000 | #Constraints: 35019
3600.05/3612.30 c #Conflicts: 1407000 | #Constraints: 36019
3600.05/3612.30 c #Conflicts: 1408000 | #Constraints: 37019
3600.05/3612.30 c #Conflicts: 1409000 | #Constraints: 38019
3600.05/3612.30 c #Conflicts: 1410000 | #Constraints: 39019
3600.05/3612.30 c #Conflicts: 1411000 | #Constraints: 40019
3600.05/3612.30 c #Conflicts: 1412000 | #Constraints: 41019
3600.05/3612.30 c Program interrupted by user.
3600.05/3612.30 c cpu time 3575.99 s
3600.05/3612.30 c deterministic time 711931102812 7.12e+11
3600.05/3612.30 c optimization time 33.6093 s
3600.05/3612.30 c total solve time 3542.36 s
3600.05/3612.30 c core-guided solve time 3542.36 s
3600.05/3612.30 c propagation time 2707.98 s
3600.05/3612.30 c conflict analysis time 663.788 s
3600.05/3612.30 c propagations 198470034
3600.05/3612.30 c resolve steps 7910577
3600.05/3612.30 c decisions 18937314
3600.05/3612.30 c conflicts 1412762
3600.05/3612.30 c restarts 2730
3600.05/3612.30 c inprocessing phases 109
3600.05/3612.30 c input clauses 366
3600.05/3612.30 c input cardinalities 367
3600.05/3612.30 c input general constraints 64
3600.05/3612.30 c input average constraint length 58.82
3600.05/3612.30 c input average constraint degree 11723.44
3600.05/3612.30 c learned clauses 165252
3600.05/3612.30 c learned cardinalities 2207
3600.05/3612.30 c learned general constraints 1245303
3600.05/3612.30 c learned average constraint length 1373.01
3600.05/3612.30 c learned average constraint degree 14683339.12
3600.05/3612.30 c watched constraints 702339
3600.05/3612.30 c counting constraints 543028
3600.05/3612.30 c gcd simplifications 68816
3600.05/3612.30 c detected cardinalities 95
3600.05/3612.30 c weakened non-implied lits 368438854
3600.05/3612.30 c weakened non-implying lits 298466
3600.05/3612.30 c original variables 11744
3600.05/3612.30 c clausal propagations 4786643
3600.05/3612.30 c cardinality propagations 16007167
3600.05/3612.30 c watched propagations 8686639
3600.05/3612.30 c counting propagations 167347197
3600.05/3612.30 c watch lookups 36495033584
3600.05/3612.30 c watch backjump lookups 35620256640
3600.05/3612.30 c watch checks 460017755268
3600.05/3612.30 c propagation checks 173182358071
3600.05/3612.30 c constraint additions 6179475435
3600.05/3612.30 c trail pops 218816465
3600.05/3612.30 c formula constraints 797
3600.05/3612.30 c learned constraints 1412762
3600.05/3612.30 c bound constraints 0
3600.05/3612.30 c core-guided constraints 0
3600.05/3612.30 c encountered formula constraints 5282645
3600.05/3612.30 c encountered learned constraints 4040694
3600.05/3612.30 c encountered bound constraints 0
3600.05/3612.30 c encountered core-guided constraints 0
3600.05/3612.30 c LP total time 0 s
3600.05/3612.30 c LP solve time 0 s
3600.05/3612.30 c LP constraints added 0
3600.05/3612.30 c LP constraints removed 0
3600.05/3612.30 c LP pivots internal 0
3600.05/3612.30 c LP pivots root 0
3600.05/3612.30 c LP calls 0
3600.05/3612.30 c LP optimalities 0
3600.05/3612.30 c LP no pivot count 0
3600.05/3612.30 c LP infeasibilities 0
3600.05/3612.30 c LP valid Farkas constraints 0
3600.05/3612.30 c LP learned Farkas constraints 0
3600.05/3612.30 c LP basis resets 0
3600.05/3612.30 c LP cycling count 0
3600.05/3612.30 c LP singular count 0
3600.05/3612.30 c LP no primal count 0
3600.05/3612.30 c LP no farkas count 0
3600.05/3612.30 c LP other issue count 0
3600.05/3612.30 c LP Gomory cuts 0
3600.05/3612.30 c LP learned cuts 0
3600.05/3612.30 c LP deleted cuts 0
3600.05/3612.30 c LP encountered Gomory constraints 0
3600.05/3612.30 c LP encountered Farkas constraints 0
3600.05/3612.30 c LP encountered learned Farkas constraints 0
3600.05/3612.30 c CG auxiliary variables introduced 0
3600.05/3612.30 c CG solutions found 0
3600.05/3612.30 c CG cores constructed 0
3600.05/3612.30 c CG core cardinality constraints returned 0
3600.05/3612.30 c CG unit cores 0
3600.05/3612.30 c CG single cores 0
3600.05/3612.30 c CG blocks removed during cardinality reduction 0
3600.05/3612.30 c CG first core best 0
3600.05/3612.30 c CG decision core best 0
3600.05/3612.30 c CG core reduction tie 0
3600.05/3612.30 c CG core degree average 0.00
3600.05/3612.30 c CG core slack average 0.00
3600.05/3612.30 c CG exhausted 0
3600.05/3612.30 c CG exhaust time 0 s
3600.05/3612.30 c CG trimmed 0
3600.05/3612.30 c CG trim time 0 s
3600.05/3612.30 c CG minimized 0
3600.05/3612.30 c CG minimize time 0 s
3600.05/3612.30 c CG am1 prop time 0 s
3600.05/3612.30 c CG # am1s reformulated 0
3600.05/3612.30 c CG lower bound derived from am1s 0
3600.05/3612.30 c CG # clausal cores 0
3600.05/3612.30 c CG # cardinality cores 0
3600.05/3612.30 c CG # pb cores 0
3600.05/3612.30 c CG # pb reforms 0
3600.05/3612.30 c CG # cores discarded because of pb reform 0
3600.05/3612.30 d LOWERBOUND 0
3600.05/3612.30 d NCORES 0
3600.05/3612.30 d NPBCORES 0
3600.05/3612.30 d NPBREFORM 0
3600.05/3612.30 d NTRIMMED 0
3600.05/3612.30 d NEXHAUSTED 0
3600.05/3612.30 d NAM1S 0
3600.05/3612.30 d AM1LB 0
3600.05/3612.32 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61029 MiB free)
memory of node 1: 64473 MiB (62368 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436162-1721172460/watcher-4436162-1721172460 -o /tmp/evaluation-result-4436162-1721172460/solver-4436162-1721172460 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721165209-878133 --watchdog 3760 pb-oll-rs HOME/instance-4436162-1721172460.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=883055, runsolver pid=883052
[startup+0.100091 s]*
/proc/loadavg: 4.08 4.15 4.11 5/259 883056
/proc/meminfo: memFree=126351428/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=43560 memory=13360 CPUtime=0.09 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 1583 0 0 0 8 1 0 0 20 0 1 0 169412202 44605440 3340 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 10890 3340 1407 291 0 2424 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43560 KiB
Current children cumulated memory: 13360 KiB
[startup+0.205531 s]*
/proc/loadavg: 4.08 4.15 4.11 5/259 883056
/proc/meminfo: memFree=126348572/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=44816 memory=15252 CPUtime=0.2 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 2092 0 0 0 18 2 0 0 20 0 1 0 169412202 45891584 3813 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 11204 3813 1407 291 0 2738 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44816 KiB
Current children cumulated memory: 15252 KiB
[startup+0.305488 s]*
/proc/loadavg: 4.08 4.15 4.11 5/259 883056
/proc/meminfo: memFree=126345408/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=48388 memory=17876 CPUtime=0.3 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 2743 0 0 0 27 3 0 0 20 0 1 0 169412202 49549312 4469 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 12097 4469 1407 291 0 3631 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48388 KiB
Current children cumulated memory: 17876 KiB
[startup+0.700235 s]
/proc/loadavg: 4.08 4.15 4.11 5/259 883056
/proc/meminfo: memFree=126338488/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=65252 memory=31576 CPUtime=0.69 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 4643 0 0 0 64 5 0 0 20 0 1 0 169412202 66818048 7894 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 16313 7894 1407 291 0 7847 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 65252 KiB
Current children cumulated memory: 31576 KiB
[startup+1.50023 s]
/proc/loadavg: 4.08 4.15 4.11 5/259 883056
/proc/meminfo: memFree=126319112/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=79056 memory=50200 CPUtime=1.49 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 8230 0 0 0 140 9 0 0 20 0 1 0 169412202 80953344 12550 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 19764 12550 1470 291 0 11298 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 79056 KiB
Current children cumulated memory: 50200 KiB
[startup+3.10547 s]
/proc/loadavg: 4.08 4.14 4.11 5/259 883056
/proc/meminfo: memFree=126290448/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=101136 memory=66116 CPUtime=3.08 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 11158 0 0 0 291 17 0 0 20 0 1 0 169412202 103563264 16529 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 25284 16529 1470 291 0 16818 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 101136 KiB
Current children cumulated memory: 66116 KiB
[startup+6.30021 s]
/proc/loadavg: 4.08 4.14 4.11 5/259 883058
/proc/meminfo: memFree=126201648/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=165660 memory=132712 CPUtime=6.27 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 22741 0 0 0 598 29 0 0 20 0 1 0 169412202 169635840 33178 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 41415 33178 1470 291 0 32949 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 165660 KiB
Current children cumulated memory: 132712 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.15 4.11 5/259 883058
/proc/meminfo: memFree=126003196/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=196916 memory=165404 CPUtime=12.65 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 30376 0 0 0 1217 48 0 0 20 0 1 0 169412202 201641984 41351 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 49229 41351 1470 291 0 40763 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 196916 KiB
Current children cumulated memory: 165404 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.15 4.11 5/259 883229
/proc/meminfo: memFree=125922516/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=281216 memory=220268 CPUtime=25.4 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 43115 0 0 0 2456 84 0 0 20 0 1 0 169412202 287965184 55067 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 70304 55067 1470 291 0 61838 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 281216 KiB
Current children cumulated memory: 220268 KiB
[startup+51.1051 s]
/proc/loadavg: 4.08 4.14 4.11 5/260 883693
/proc/meminfo: memFree=127528952/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=318004 memory=261048 CPUtime=50.92 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 51267 0 0 0 4958 134 0 0 20 0 1 0 169412202 325636096 65262 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 79501 65262 1470 291 0 71035 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 318004 KiB
Current children cumulated memory: 261048 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/260 883701
/proc/meminfo: memFree=127109068/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=445060 memory=360708 CPUtime=101.92 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 68573 0 0 0 9996 196 0 0 20 0 1 0 169412202 455741440 90177 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 111265 90177 1470 291 0 102799 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 445060 KiB
Current children cumulated memory: 360708 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/257 883767
/proc/meminfo: memFree=126443288/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=481504 memory=397524 CPUtime=161.71 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 77753 0 0 0 15852 319 0 0 20 0 1 0 169412202 493060096 99381 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 120376 99381 1470 291 0 111910 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 481504 KiB
Current children cumulated memory: 397524 KiB
[startup+222.3 s]
/proc/loadavg: 4.23 4.15 4.11 5/257 883778
/proc/meminfo: memFree=126261012/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=557672 memory=485764 CPUtime=221.49 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 93885 0 0 0 21762 387 0 0 20 0 1 0 169412202 571056128 121441 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 139418 121441 1470 291 0 130952 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 557672 KiB
Current children cumulated memory: 485764 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/256 883788
/proc/meminfo: memFree=126033928/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=713060 memory=554892 CPUtime=281.27 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 109771 0 0 0 27679 448 0 0 20 0 1 0 169412202 730173440 138723 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 178265 138723 1470 291 0 169799 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 713060 KiB
Current children cumulated memory: 554892 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/255 883800
/proc/meminfo: memFree=125943980/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=726360 memory=576040 CPUtime=341.04 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 113212 0 0 0 33576 528 0 0 20 0 1 0 169412202 743792640 144010 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 181590 144010 1470 291 0 173124 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 726360 KiB
Current children cumulated memory: 576040 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 883812
/proc/meminfo: memFree=125754536/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=755708 memory=621720 CPUtime=400.82 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 119174 0 0 0 39492 590 0 0 20 0 1 0 169412202 773844992 155430 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 188927 155430 1470 291 0 180461 0
Current children cumulated CPU time: 400.82 s
Current children cumulated vsize: 755708 KiB
Current children cumulated memory: 621720 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 883822
/proc/meminfo: memFree=125521088/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=806808 memory=688820 CPUtime=460.61 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 130403 0 0 0 45436 625 0 0 20 0 1 0 169412202 826171392 172205 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 201702 172205 1470 291 0 193236 0
################
# More data... #
################
Current children cumulated memory: 2518696 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 884850
/proc/meminfo: memFree=119942288/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=3017308 memory=2518760 CPUtime=2912.35 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 451130 0 0 0 289225 2010 0 0 20 0 1 0 169412202 3089723392 629690 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 754327 629690 1470 291 0 745861 0
Current children cumulated CPU time: 2912.35 s
Current children cumulated vsize: 3017308 KiB
Current children cumulated memory: 2518760 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/254 884863
/proc/meminfo: memFree=119914172/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=3017308 memory=2518760 CPUtime=2972.15 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 451849 0 0 0 295149 2066 0 0 20 0 1 0 169412202 3089723392 629690 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 754327 629690 1470 291 0 745861 0
Current children cumulated CPU time: 2972.15 s
Current children cumulated vsize: 3017308 KiB
Current children cumulated memory: 2518760 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/254 884873
/proc/meminfo: memFree=119904856/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=3017308 memory=2519020 CPUtime=3031.95 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 452601 0 0 0 301077 2118 0 0 20 0 1 0 169412202 3089723392 629755 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 754327 629755 1470 291 0 745861 0
Current children cumulated CPU time: 3031.95 s
Current children cumulated vsize: 3017308 KiB
Current children cumulated memory: 2519020 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/255 884885
/proc/meminfo: memFree=119866936/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=3017308 memory=2520924 CPUtime=3091.75 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 453739 0 0 0 307041 2134 0 0 20 0 1 0 169412202 3089723392 630231 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 754327 630231 1470 291 0 745861 0
Current children cumulated CPU time: 3091.75 s
Current children cumulated vsize: 3017308 KiB
Current children cumulated memory: 2520924 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 884899
/proc/meminfo: memFree=119844188/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=3044248 memory=2538216 CPUtime=3151.55 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 458739 0 0 0 313007 2148 0 0 20 0 1 0 169412202 3117309952 634554 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 761062 634554 1470 291 0 752596 0
Current children cumulated CPU time: 3151.55 s
Current children cumulated vsize: 3044248 KiB
Current children cumulated memory: 2538216 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 884910
/proc/meminfo: memFree=119837936/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=3044248 memory=2538640 CPUtime=3211.35 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 459475 0 0 0 318975 2160 0 0 20 0 1 0 169412202 3117309952 634660 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 761062 634660 1470 291 0 752596 0
Current children cumulated CPU time: 3211.35 s
Current children cumulated vsize: 3044248 KiB
Current children cumulated memory: 2538640 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 884921
/proc/meminfo: memFree=119836716/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=3044376 memory=2538892 CPUtime=3271.14 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 460339 0 0 0 324912 2202 0 0 20 0 1 0 169412202 3117441024 634723 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 761094 634723 1470 291 0 752628 0
Current children cumulated CPU time: 3271.14 s
Current children cumulated vsize: 3044376 KiB
Current children cumulated memory: 2538892 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/257 884933
/proc/meminfo: memFree=119836224/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=3044864 memory=2539260 CPUtime=3330.94 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 461116 0 0 0 330849 2245 0 0 20 0 1 0 169412202 3117940736 634815 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 761216 634815 1470 291 0 752750 0
Current children cumulated CPU time: 3330.94 s
Current children cumulated vsize: 3044864 KiB
Current children cumulated memory: 2539260 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 884944
/proc/meminfo: memFree=119835364/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=3044864 memory=2539460 CPUtime=3390.75 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 461851 0 0 0 336809 2266 0 0 20 0 1 0 169412202 3117940736 634865 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 761216 634865 1470 291 0 752750 0
Current children cumulated CPU time: 3390.75 s
Current children cumulated vsize: 3044864 KiB
Current children cumulated memory: 2539460 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 885337
/proc/meminfo: memFree=119816908/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=3046296 memory=2540920 CPUtime=3450.54 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 463027 0 0 0 342774 2280 0 0 20 0 1 0 169412202 3119407104 635230 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 761574 635230 1470 291 0 753108 0
Current children cumulated CPU time: 3450.54 s
Current children cumulated vsize: 3046296 KiB
Current children cumulated memory: 2540920 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 885348
/proc/meminfo: memFree=119793216/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=3046296 memory=2540936 CPUtime=3510.34 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 463780 0 0 0 348711 2323 0 0 20 0 1 0 169412202 3119407104 635234 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 761574 635234 1470 291 0 753108 0
Current children cumulated CPU time: 3510.34 s
Current children cumulated vsize: 3046296 KiB
Current children cumulated memory: 2540936 KiB
[startup+3582.3 s]
/proc/loadavg: 3.73 4.02 4.06 3/243 885421
/proc/meminfo: memFree=125610624/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=3046784 memory=2541300 CPUtime=3570.15 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 464840 0 0 0 354637 2378 0 0 20 0 1 0 169412202 3119906816 635325 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 761696 635325 1470 291 0 753230 0
Current children cumulated CPU time: 3570.15 s
Current children cumulated vsize: 3046784 KiB
Current children cumulated memory: 2541300 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.3 s]
/proc/loadavg: 3.05 3.83 4.00 3/243 885426
/proc/meminfo: memFree=125610552/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=3046784 memory=2541300 CPUtime=3600.05 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 465192 0 0 0 357598 2407 0 0 20 0 1 0 169412202 3119906816 635325 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 761696 635325 1470 291 0 753230 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 3046784 KiB
Current children cumulated memory: 2541300 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.37 s]
# the end of solver process 883055 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3575.99 s, system=24.1345 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.3 s]
/proc/loadavg: 3.05 3.83 4.00 3/243 885426
/proc/meminfo: memFree=125610552/131524600 swapFree=131071996/131071996
[pid=883055] ppid=883052 vsize=3046784 memory=2541300 CPUtime=3600.05 cores=0,2
/proc/883055/stat : 883055 (pb-oll-rs) R 883052 883055 878123 0 -1 4194304 465192 0 0 0 357598 2407 0 0 20 0 1 0 169412202 3119906816 635325 134679101440 4194304 5384005 140728010981952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 38465536 140728010990615 140728010990692 140728010990692 140728010997707 0
/proc/883055/statm: 761696 635325 1470 291 0 753230 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 3046784 KiB
Current children cumulated memory: 2541300 KiB
Child status: 0
Real time (s): 3612.37
CPU time (s): 3600.13
CPU user time (s): 3575.99
CPU system time (s): 24.1345
CPU usage (%): 99.6612
Max. virtual memory (cumulated for all children) (KiB): 3046968
Max. memory (cumulated for all children) (KiB): 2541444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.99
system time used= 24.1345
maximum resident set size= 2541544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 465209
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= 130
involuntary context switches= 25302
# summary of solver processes directly reported to runsolver:
# pid: 883055
# total CPU time (s): 3600.13
# total CPU user time (s): 3575.99
# total CPU system time (s): 24.1345
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.86399 second user time and 17.4512 second system time
The end
Begin job on nodeC026 at 2024-07-17 01:27:53
IDJOB=4436162
IDBENCH=158625
IDSOLVER=3067
FILE ID=nodeC026/4436162-1721172460
RUNJOBID= nodeC026-1721165209-878133
SLURM_JOB_ID= 7505787
Free space on /tmp= 890072 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
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-4436162-1721172460/watcher-4436162-1721172460 -o /tmp/evaluation-result-4436162-1721172460/solver-4436162-1721172460 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721165209-878133 --watchdog 3760 pb-oll-rs HOME/instance-4436162-1721172460.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3f10ffbf957f8216a1934b9362956d36
RANDOM SEED=1001380814
nodeC026.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 : 0xb00002a
cpu MHz : 3645.443
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3686.403
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3642.353
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.187
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.307
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3686.458
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3637.550
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.019
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126359816 kB
MemAvailable: 127453868 kB
Buffers: 447096 kB
Cached: 1477636 kB
SwapCached: 0 kB
Active: 835968 kB
Inactive: 3713556 kB
Active(anon): 1548 kB
Inactive(anon): 2660960 kB
Active(file): 834420 kB
Inactive(file): 1052596 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 2360 kB
Writeback: 0 kB
AnonPages: 2621900 kB
Mapped: 108836 kB
Shmem: 37720 kB
KReclaimable: 93720 kB
Slab: 201560 kB
SReclaimable: 93720 kB
SUnreclaim: 107840 kB
KernelStack: 4176 kB
PageTables: 14616 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3362676 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 64256 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2009088 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: 232148 kB
DirectMap2M: 20512768 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 890068 MiB
End job on nodeC026 at 2024-07-17 02:28:05