0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.07 c [STEP] solving
0.00/0.07 c #variables 11744 #constraints 797
0.00/0.07 c SMALL=int, LARGE=long long
66.08/66.34 c bounds - >= 32 @ 0.055818
66.08/66.34 c #Conflicts: 1000 | #Constraints: 1796
66.08/66.34 c #Conflicts: 2000 | #Constraints: 2796
66.08/66.34 c INPROCESSING
66.08/66.34 c GARBAGE COLLECT
66.08/66.34 c #Conflicts: 3000 | #Constraints: 2810
66.08/66.34 c #Conflicts: 4000 | #Constraints: 3810
66.08/66.34 c INPROCESSING
66.08/66.34 c GARBAGE COLLECT
66.08/66.34 c #Conflicts: 5000 | #Constraints: 3212
66.08/66.34 c #Conflicts: 6000 | #Constraints: 4212
66.08/66.34 c INPROCESSING
66.08/66.34 c GARBAGE COLLECT
66.08/66.34 c #Conflicts: 7000 | #Constraints: 3213
66.08/66.34 c #Conflicts: 8000 | #Constraints: 4213
66.08/66.34 c #Conflicts: 9000 | #Constraints: 5213
66.08/66.34 c INPROCESSING
66.08/66.34 c GARBAGE COLLECT
66.08/66.34 c #Conflicts: 10000 | #Constraints: 3914
66.08/66.34 c #Conflicts: 11000 | #Constraints: 4914
66.08/66.34 c #Conflicts: 12000 | #Constraints: 5914
66.08/66.34 c INPROCESSING
66.08/66.34 c GARBAGE COLLECT
66.08/66.34 c #Conflicts: 13000 | #Constraints: 4365
66.08/66.34 c #Conflicts: 14000 | #Constraints: 5365
66.08/66.34 c #Conflicts: 15000 | #Constraints: 6365
66.08/66.34 c INPROCESSING
66.08/66.34 c GARBAGE COLLECT
66.08/66.34 c #Conflicts: 16000 | #Constraints: 4595
66.08/66.34 c #Conflicts: 17000 | #Constraints: 5595
66.08/66.34 c #Conflicts: 18000 | #Constraints: 6595
66.08/66.34 c INPROCESSING
66.08/66.34 c GARBAGE COLLECT
66.08/66.34 c #Conflicts: 19000 | #Constraints: 4615
66.08/66.34 c #Conflicts: 20000 | #Constraints: 5615
66.08/66.34 c #Conflicts: 21000 | #Constraints: 6615
66.08/66.34 c INPROCESSING
66.08/66.34 c GARBAGE COLLECT
66.08/66.34 c #Conflicts: 22000 | #Constraints: 4414
66.08/66.34 c #Conflicts: 23000 | #Constraints: 5414
66.08/66.34 c #Conflicts: 24000 | #Constraints: 6414
66.08/66.34 c #Conflicts: 25000 | #Constraints: 7414
66.08/66.34 c INPROCESSING
66.08/66.34 c GARBAGE COLLECT
66.08/66.34 c #Conflicts: 26000 | #Constraints: 5017
66.08/66.34 c #Conflicts: 27000 | #Constraints: 6017
66.08/66.34 c #Conflicts: 28000 | #Constraints: 7017
66.08/66.34 c #Conflicts: 29000 | #Constraints: 8017
66.08/66.34 c INPROCESSING
66.08/66.34 c GARBAGE COLLECT
66.08/66.34 c #Conflicts: 30000 | #Constraints: 5418
66.08/66.34 c #Conflicts: 31000 | #Constraints: 6418
66.08/66.34 c #Conflicts: 32000 | #Constraints: 7418
66.08/66.34 c #Conflicts: 33000 | #Constraints: 8418
66.08/66.34 c INPROCESSING
66.08/66.34 c GARBAGE COLLECT
66.08/66.34 c #Conflicts: 34000 | #Constraints: 5617
66.08/66.34 c #Conflicts: 35000 | #Constraints: 6617
66.08/66.34 c #Conflicts: 36000 | #Constraints: 7617
66.08/66.34 c #Conflicts: 37000 | #Constraints: 8617
66.08/66.34 c INPROCESSING
66.08/66.34 c GARBAGE COLLECT
66.08/66.34 c #Conflicts: 38000 | #Constraints: 5624
66.08/66.34 c #Conflicts: 39000 | #Constraints: 6624
66.08/66.34 c #Conflicts: 40000 | #Constraints: 7624
66.08/66.34 c #Conflicts: 41000 | #Constraints: 8624
66.08/66.34 c INPROCESSING
66.08/66.34 c GARBAGE COLLECT
66.08/66.34 c #Conflicts: 42000 | #Constraints: 5429
66.08/66.34 c #Conflicts: 43000 | #Constraints: 6429
66.08/66.34 c #Conflicts: 44000 | #Constraints: 7429
66.08/66.34 c #Conflicts: 45000 | #Constraints: 8429
66.08/66.34 c #Conflicts: 46000 | #Constraints: 9429
66.08/66.34 c INPROCESSING
66.08/66.34 c GARBAGE COLLECT
66.08/66.34 c #Conflicts: 47000 | #Constraints: 6020
66.08/66.34 c #Conflicts: 48000 | #Constraints: 7020
66.08/66.34 c #Conflicts: 49000 | #Constraints: 8020
66.08/66.34 c #Conflicts: 50000 | #Constraints: 9020
66.08/66.34 c #Conflicts: 51000 | #Constraints: 10020
66.08/66.34 c INPROCESSING
66.08/66.34 c GARBAGE COLLECT
66.08/66.34 c #Conflicts: 52000 | #Constraints: 6420
66.08/66.34 c #Conflicts: 53000 | #Constraints: 7420
66.08/66.34 c #Conflicts: 54000 | #Constraints: 8420
66.08/66.34 c #Conflicts: 55000 | #Constraints: 9420
66.08/66.34 c #Conflicts: 56000 | #Constraints: 10420
66.08/66.34 c INPROCESSING
66.08/66.34 c GARBAGE COLLECT
66.08/66.34 c #Conflicts: 57000 | #Constraints: 6612
66.08/66.34 c #Conflicts: 58000 | #Constraints: 7612
66.08/66.34 c #Conflicts: 59000 | #Constraints: 8612
66.08/66.34 c #Conflicts: 60000 | #Constraints: 9612
66.08/66.34 c #Conflicts: 61000 | #Constraints: 10612
66.08/66.34 c INPROCESSING
66.08/66.34 c GARBAGE COLLECT
66.08/66.34 c #Conflicts: 62000 | #Constraints: 6615
66.08/66.34 c #Conflicts: 63000 | #Constraints: 7615
66.08/66.34 c #Conflicts: 64000 | #Constraints: 8615
66.08/66.34 c #Conflicts: 65000 | #Constraints: 9615
66.08/66.34 c #Conflicts: 66000 | #Constraints: 10615
66.08/66.34 c INPROCESSING
66.08/66.34 c GARBAGE COLLECT
66.08/66.34 c #Conflicts: 67000 | #Constraints: 6416
148.92/149.45 c #Conflicts: 68000 | #Constraints: 7416
148.92/149.45 c #Conflicts: 69000 | #Constraints: 8416
148.92/149.45 c #Conflicts: 70000 | #Constraints: 9416
148.92/149.45 c #Conflicts: 71000 | #Constraints: 10416
148.92/149.45 c #Conflicts: 72000 | #Constraints: 11416
148.92/149.45 c INPROCESSING
148.92/149.45 c GARBAGE COLLECT
148.92/149.45 c #Conflicts: 73000 | #Constraints: 7019
148.92/149.45 c #Conflicts: 74000 | #Constraints: 8019
148.92/149.45 c #Conflicts: 75000 | #Constraints: 9019
148.92/149.45 c #Conflicts: 76000 | #Constraints: 10019
148.92/149.45 c #Conflicts: 77000 | #Constraints: 11019
148.92/149.45 c #Conflicts: 78000 | #Constraints: 12019
148.92/149.45 c INPROCESSING
148.92/149.45 c GARBAGE COLLECT
148.92/149.45 c #Conflicts: 79000 | #Constraints: 7423
148.92/149.45 c #Conflicts: 80000 | #Constraints: 8423
148.92/149.45 c #Conflicts: 81000 | #Constraints: 9423
148.92/149.45 c #Conflicts: 82000 | #Constraints: 10423
148.92/149.45 c #Conflicts: 83000 | #Constraints: 11423
148.92/149.45 c #Conflicts: 84000 | #Constraints: 12423
148.92/149.45 c INPROCESSING
148.92/149.45 c GARBAGE COLLECT
148.92/149.45 c #Conflicts: 85000 | #Constraints: 7623
148.92/149.45 c #Conflicts: 86000 | #Constraints: 8623
148.92/149.45 c #Conflicts: 87000 | #Constraints: 9623
148.92/149.45 c #Conflicts: 88000 | #Constraints: 10623
148.92/149.45 c #Conflicts: 89000 | #Constraints: 11623
148.92/149.45 c #Conflicts: 90000 | #Constraints: 12623
148.92/149.45 c INPROCESSING
148.92/149.45 c GARBAGE COLLECT
148.92/149.45 c #Conflicts: 91000 | #Constraints: 7622
148.92/149.45 c #Conflicts: 92000 | #Constraints: 8622
148.92/149.45 c #Conflicts: 93000 | #Constraints: 9622
148.92/149.45 c #Conflicts: 94000 | #Constraints: 10622
148.92/149.45 c #Conflicts: 95000 | #Constraints: 11622
148.92/149.45 c #Conflicts: 96000 | #Constraints: 12622
148.92/149.45 c INPROCESSING
148.92/149.45 c GARBAGE COLLECT
148.92/149.45 c #Conflicts: 97000 | #Constraints: 7427
148.92/149.45 c #Conflicts: 98000 | #Constraints: 8427
148.92/149.45 c #Conflicts: 99000 | #Constraints: 9427
148.92/149.45 c #Conflicts: 100000 | #Constraints: 10427
148.92/149.45 c #Conflicts: 101000 | #Constraints: 11427
148.92/149.45 c #Conflicts: 102000 | #Constraints: 12427
148.92/149.45 c #Conflicts: 103000 | #Constraints: 13427
148.92/149.45 c INPROCESSING
148.92/149.45 c GARBAGE COLLECT
148.92/149.45 c #Conflicts: 104000 | #Constraints: 8015
148.92/149.45 c #Conflicts: 105000 | #Constraints: 9015
148.92/149.45 c #Conflicts: 106000 | #Constraints: 10015
148.92/149.45 c #Conflicts: 107000 | #Constraints: 11015
148.92/149.45 c #Conflicts: 108000 | #Constraints: 12015
148.92/149.45 c #Conflicts: 109000 | #Constraints: 13015
148.92/149.45 c #Conflicts: 110000 | #Constraints: 14015
148.92/149.45 c INPROCESSING
148.92/149.45 c GARBAGE COLLECT
148.92/149.45 c #Conflicts: 111000 | #Constraints: 8421
148.92/149.45 c #Conflicts: 112000 | #Constraints: 9421
148.92/149.45 c #Conflicts: 113000 | #Constraints: 10421
148.92/149.45 c #Conflicts: 114000 | #Constraints: 11421
148.92/149.45 c #Conflicts: 115000 | #Constraints: 12421
148.92/149.45 c #Conflicts: 116000 | #Constraints: 13421
148.92/149.45 c #Conflicts: 117000 | #Constraints: 14421
148.92/149.45 c INPROCESSING
148.92/149.45 c GARBAGE COLLECT
148.92/149.45 c #Conflicts: 118000 | #Constraints: 8615
148.92/149.45 c #Conflicts: 119000 | #Constraints: 9615
148.92/149.45 c #Conflicts: 120000 | #Constraints: 10615
148.92/149.45 c #Conflicts: 121000 | #Constraints: 11615
148.92/149.45 c #Conflicts: 122000 | #Constraints: 12615
148.92/149.45 c #Conflicts: 123000 | #Constraints: 13615
148.92/149.45 c #Conflicts: 124000 | #Constraints: 14615
148.92/149.45 c INPROCESSING
148.92/149.45 c GARBAGE COLLECT
148.92/149.45 c #Conflicts: 125000 | #Constraints: 8612
148.92/149.45 c #Conflicts: 126000 | #Constraints: 9612
148.92/149.45 c #Conflicts: 127000 | #Constraints: 10612
148.92/149.45 c #Conflicts: 128000 | #Constraints: 11612
148.92/149.45 c #Conflicts: 129000 | #Constraints: 12612
148.92/149.45 c #Conflicts: 130000 | #Constraints: 13612
148.92/149.45 c #Conflicts: 131000 | #Constraints: 14612
148.92/149.45 c INPROCESSING
148.92/149.45 c GARBAGE COLLECT
148.92/149.45 c #Conflicts: 132000 | #Constraints: 8413
148.92/149.45 c #Conflicts: 133000 | #Constraints: 9413
148.92/149.45 c #Conflicts: 134000 | #Constraints: 10413
148.92/149.45 c #Conflicts: 135000 | #Constraints: 11413
148.92/149.45 c #Conflicts: 136000 | #Constraints: 12413
148.92/149.45 c #Conflicts: 137000 | #Constraints: 13413
148.92/149.45 c #Conflicts: 138000 | #Constraints: 14413
148.92/149.45 c #Conflicts: 139000 | #Constraints: 15413
148.92/149.45 c INPROCESSING
242.83/243.65 c GARBAGE COLLECT
242.83/243.65 c #Conflicts: 140000 | #Constraints: 9020
242.83/243.65 c #Conflicts: 141000 | #Constraints: 10020
242.83/243.65 c #Conflicts: 142000 | #Constraints: 11020
242.83/243.65 c #Conflicts: 143000 | #Constraints: 12020
242.83/243.65 c #Conflicts: 144000 | #Constraints: 13020
242.83/243.65 c #Conflicts: 145000 | #Constraints: 14020
242.83/243.65 c #Conflicts: 146000 | #Constraints: 15020
242.83/243.65 c #Conflicts: 147000 | #Constraints: 16020
242.83/243.65 c INPROCESSING
242.83/243.65 c GARBAGE COLLECT
242.83/243.65 c #Conflicts: 148000 | #Constraints: 9425
242.83/243.65 c #Conflicts: 149000 | #Constraints: 10425
242.83/243.65 c #Conflicts: 150000 | #Constraints: 11425
242.83/243.65 c #Conflicts: 151000 | #Constraints: 12425
242.83/243.65 c #Conflicts: 152000 | #Constraints: 13425
242.83/243.65 c #Conflicts: 153000 | #Constraints: 14425
242.83/243.65 c #Conflicts: 154000 | #Constraints: 15425
242.83/243.65 c #Conflicts: 155000 | #Constraints: 16425
242.83/243.65 c INPROCESSING
242.83/243.65 c GARBAGE COLLECT
242.83/243.65 c #Conflicts: 156000 | #Constraints: 9626
242.83/243.65 c #Conflicts: 157000 | #Constraints: 10626
242.83/243.65 c #Conflicts: 158000 | #Constraints: 11626
242.83/243.65 c #Conflicts: 159000 | #Constraints: 12626
242.83/243.65 c #Conflicts: 160000 | #Constraints: 13626
242.83/243.65 c #Conflicts: 161000 | #Constraints: 14626
242.83/243.65 c #Conflicts: 162000 | #Constraints: 15626
242.83/243.65 c #Conflicts: 163000 | #Constraints: 16626
242.83/243.65 c INPROCESSING
242.83/243.65 c GARBAGE COLLECT
242.83/243.65 c #Conflicts: 164000 | #Constraints: 9633
242.83/243.65 c #Conflicts: 165000 | #Constraints: 10633
242.83/243.65 c #Conflicts: 166000 | #Constraints: 11633
242.83/243.65 c #Conflicts: 167000 | #Constraints: 12633
242.83/243.65 c #Conflicts: 168000 | #Constraints: 13633
242.83/243.65 c #Conflicts: 169000 | #Constraints: 14633
242.83/243.65 c #Conflicts: 170000 | #Constraints: 15633
242.83/243.65 c #Conflicts: 171000 | #Constraints: 16633
242.83/243.65 c INPROCESSING
242.83/243.65 c GARBAGE COLLECT
242.83/243.65 c #Conflicts: 172000 | #Constraints: 9426
242.83/243.65 c #Conflicts: 173000 | #Constraints: 10426
242.83/243.65 c #Conflicts: 174000 | #Constraints: 11426
242.83/243.65 c #Conflicts: 175000 | #Constraints: 12426
242.83/243.65 c #Conflicts: 176000 | #Constraints: 13426
242.83/243.65 c #Conflicts: 177000 | #Constraints: 14426
242.83/243.65 c #Conflicts: 178000 | #Constraints: 15426
242.83/243.65 c #Conflicts: 179000 | #Constraints: 16426
242.83/243.65 c #Conflicts: 180000 | #Constraints: 17426
242.83/243.65 c INPROCESSING
242.83/243.65 c GARBAGE COLLECT
242.83/243.65 c #Conflicts: 181000 | #Constraints: 10023
242.83/243.65 c #Conflicts: 182000 | #Constraints: 11023
242.83/243.65 c #Conflicts: 183000 | #Constraints: 12023
242.83/243.65 c #Conflicts: 184000 | #Constraints: 13023
242.83/243.65 c #Conflicts: 185000 | #Constraints: 14023
242.83/243.65 c #Conflicts: 186000 | #Constraints: 15023
242.83/243.65 c #Conflicts: 187000 | #Constraints: 16023
242.83/243.65 c #Conflicts: 188000 | #Constraints: 17023
242.83/243.65 c #Conflicts: 189000 | #Constraints: 18023
242.83/243.65 c INPROCESSING
242.83/243.65 c GARBAGE COLLECT
242.83/243.65 c #Conflicts: 190000 | #Constraints: 10427
242.83/243.65 c #Conflicts: 191000 | #Constraints: 11427
242.83/243.65 c #Conflicts: 192000 | #Constraints: 12427
242.83/243.65 c #Conflicts: 193000 | #Constraints: 13427
242.83/243.65 c #Conflicts: 194000 | #Constraints: 14427
242.83/243.65 c #Conflicts: 195000 | #Constraints: 15427
242.83/243.65 c #Conflicts: 196000 | #Constraints: 16427
242.83/243.65 c #Conflicts: 197000 | #Constraints: 17427
242.83/243.65 c #Conflicts: 198000 | #Constraints: 18427
242.83/243.65 c INPROCESSING
242.83/243.65 c GARBAGE COLLECT
242.83/243.65 c #Conflicts: 199000 | #Constraints: 10627
242.83/243.65 c #Conflicts: 200000 | #Constraints: 11627
242.83/243.65 c #Conflicts: 201000 | #Constraints: 12627
242.83/243.65 c #Conflicts: 202000 | #Constraints: 13627
242.83/243.65 c #Conflicts: 203000 | #Constraints: 14627
242.83/243.65 c #Conflicts: 204000 | #Constraints: 15627
242.83/243.65 c #Conflicts: 205000 | #Constraints: 16627
242.83/243.65 c #Conflicts: 206000 | #Constraints: 17627
242.83/243.65 c #Conflicts: 207000 | #Constraints: 18627
242.83/243.65 c INPROCESSING
242.83/243.65 c GARBAGE COLLECT
242.83/243.65 c #Conflicts: 208000 | #Constraints: 10634
242.83/243.65 c #Conflicts: 209000 | #Constraints: 11634
242.83/243.65 c #Conflicts: 210000 | #Constraints: 12634
242.83/243.65 c #Conflicts: 211000 | #Constraints: 13634
242.83/243.65 c #Conflicts: 212000 | #Constraints: 14634
242.83/243.65 c #Conflicts: 213000 | #Constraints: 15634
366.45/367.66 c #Conflicts: 214000 | #Constraints: 16634
366.45/367.66 c #Conflicts: 215000 | #Constraints: 17634
366.45/367.66 c #Conflicts: 216000 | #Constraints: 18634
366.45/367.66 c INPROCESSING
366.45/367.66 c GARBAGE COLLECT
366.45/367.66 c #Conflicts: 217000 | #Constraints: 10432
366.45/367.66 c #Conflicts: 218000 | #Constraints: 11432
366.45/367.66 c #Conflicts: 219000 | #Constraints: 12432
366.45/367.66 c #Conflicts: 220000 | #Constraints: 13432
366.45/367.66 c #Conflicts: 221000 | #Constraints: 14432
366.45/367.66 c #Conflicts: 222000 | #Constraints: 15432
366.45/367.66 c #Conflicts: 223000 | #Constraints: 16432
366.45/367.66 c #Conflicts: 224000 | #Constraints: 17432
366.45/367.66 c #Conflicts: 225000 | #Constraints: 18432
366.45/367.66 c #Conflicts: 226000 | #Constraints: 19432
366.45/367.66 c INPROCESSING
366.45/367.66 c GARBAGE COLLECT
366.45/367.66 c #Conflicts: 227000 | #Constraints: 11034
366.45/367.66 c #Conflicts: 228000 | #Constraints: 12034
366.45/367.66 c #Conflicts: 229000 | #Constraints: 13034
366.45/367.66 c #Conflicts: 230000 | #Constraints: 14034
366.45/367.66 c #Conflicts: 231000 | #Constraints: 15034
366.45/367.66 c #Conflicts: 232000 | #Constraints: 16034
366.45/367.66 c #Conflicts: 233000 | #Constraints: 17034
366.45/367.66 c #Conflicts: 234000 | #Constraints: 18034
366.45/367.66 c #Conflicts: 235000 | #Constraints: 19034
366.45/367.66 c #Conflicts: 236000 | #Constraints: 20034
366.45/367.66 c INPROCESSING
366.45/367.66 c GARBAGE COLLECT
366.45/367.66 c #Conflicts: 237000 | #Constraints: 11427
366.45/367.66 c #Conflicts: 238000 | #Constraints: 12427
366.45/367.66 c #Conflicts: 239000 | #Constraints: 13427
366.45/367.66 c #Conflicts: 240000 | #Constraints: 14427
366.45/367.66 c #Conflicts: 241000 | #Constraints: 15427
366.45/367.66 c #Conflicts: 242000 | #Constraints: 16427
366.45/367.66 c #Conflicts: 243000 | #Constraints: 17427
366.45/367.66 c #Conflicts: 244000 | #Constraints: 18427
366.45/367.66 c #Conflicts: 245000 | #Constraints: 19427
366.45/367.66 c #Conflicts: 246000 | #Constraints: 20427
366.45/367.66 c INPROCESSING
366.45/367.66 c GARBAGE COLLECT
366.45/367.66 c #Conflicts: 247000 | #Constraints: 11626
366.45/367.66 c #Conflicts: 248000 | #Constraints: 12626
366.45/367.66 c #Conflicts: 249000 | #Constraints: 13626
366.45/367.66 c #Conflicts: 250000 | #Constraints: 14626
366.45/367.66 c #Conflicts: 251000 | #Constraints: 15626
366.45/367.66 c #Conflicts: 252000 | #Constraints: 16626
366.45/367.66 c #Conflicts: 253000 | #Constraints: 17626
366.45/367.66 c #Conflicts: 254000 | #Constraints: 18626
366.45/367.66 c #Conflicts: 255000 | #Constraints: 19626
366.45/367.66 c #Conflicts: 256000 | #Constraints: 20626
366.45/367.66 c INPROCESSING
366.45/367.66 c GARBAGE COLLECT
366.45/367.66 c #Conflicts: 257000 | #Constraints: 11618
366.45/367.66 c #Conflicts: 258000 | #Constraints: 12618
366.45/367.66 c #Conflicts: 259000 | #Constraints: 13618
366.45/367.66 c #Conflicts: 260000 | #Constraints: 14618
366.45/367.66 c #Conflicts: 261000 | #Constraints: 15618
366.45/367.66 c #Conflicts: 262000 | #Constraints: 16618
366.45/367.66 c #Conflicts: 263000 | #Constraints: 17618
366.45/367.66 c #Conflicts: 264000 | #Constraints: 18618
366.45/367.66 c #Conflicts: 265000 | #Constraints: 19618
366.45/367.66 c #Conflicts: 266000 | #Constraints: 20618
366.45/367.66 c INPROCESSING
366.45/367.66 c GARBAGE COLLECT
366.45/367.66 c #Conflicts: 267000 | #Constraints: 11423
366.45/367.66 c #Conflicts: 268000 | #Constraints: 12423
366.45/367.66 c #Conflicts: 269000 | #Constraints: 13423
366.45/367.66 c #Conflicts: 270000 | #Constraints: 14423
366.45/367.66 c #Conflicts: 271000 | #Constraints: 15423
366.45/367.66 c #Conflicts: 272000 | #Constraints: 16423
366.45/367.66 c #Conflicts: 273000 | #Constraints: 17423
366.45/367.66 c #Conflicts: 274000 | #Constraints: 18423
366.45/367.66 c #Conflicts: 275000 | #Constraints: 19423
366.45/367.66 c #Conflicts: 276000 | #Constraints: 20423
366.45/367.66 c #Conflicts: 277000 | #Constraints: 21423
366.45/367.66 c INPROCESSING
366.45/367.66 c GARBAGE COLLECT
366.45/367.66 c #Conflicts: 278000 | #Constraints: 12018
366.45/367.66 c #Conflicts: 279000 | #Constraints: 13018
366.45/367.66 c #Conflicts: 280000 | #Constraints: 14018
366.45/367.66 c #Conflicts: 281000 | #Constraints: 15018
366.45/367.66 c #Conflicts: 282000 | #Constraints: 16018
366.45/367.66 c #Conflicts: 283000 | #Constraints: 17018
366.45/367.66 c #Conflicts: 284000 | #Constraints: 18018
366.45/367.66 c #Conflicts: 285000 | #Constraints: 19018
366.45/367.66 c #Conflicts: 286000 | #Constraints: 20018
366.45/367.66 c #Conflicts: 287000 | #Constraints: 21018
527.65/529.39 c #Conflicts: 288000 | #Constraints: 22018
527.65/529.39 c INPROCESSING
527.65/529.39 c GARBAGE COLLECT
527.65/529.39 c #Conflicts: 289000 | #Constraints: 12414
527.65/529.39 c #Conflicts: 290000 | #Constraints: 13414
527.65/529.39 c #Conflicts: 291000 | #Constraints: 14414
527.65/529.39 c #Conflicts: 292000 | #Constraints: 15414
527.65/529.39 c #Conflicts: 293000 | #Constraints: 16414
527.65/529.39 c #Conflicts: 294000 | #Constraints: 17414
527.65/529.39 c #Conflicts: 295000 | #Constraints: 18414
527.65/529.39 c #Conflicts: 296000 | #Constraints: 19414
527.65/529.39 c #Conflicts: 297000 | #Constraints: 20414
527.65/529.39 c #Conflicts: 298000 | #Constraints: 21414
527.65/529.39 c #Conflicts: 299000 | #Constraints: 22414
527.65/529.39 c INPROCESSING
527.65/529.39 c GARBAGE COLLECT
527.65/529.39 c #Conflicts: 300000 | #Constraints: 12619
527.65/529.39 c #Conflicts: 301000 | #Constraints: 13619
527.65/529.39 c #Conflicts: 302000 | #Constraints: 14619
527.65/529.39 c #Conflicts: 303000 | #Constraints: 15619
527.65/529.39 c #Conflicts: 304000 | #Constraints: 16619
527.65/529.39 c #Conflicts: 305000 | #Constraints: 17619
527.65/529.39 c #Conflicts: 306000 | #Constraints: 18619
527.65/529.39 c #Conflicts: 307000 | #Constraints: 19619
527.65/529.39 c #Conflicts: 308000 | #Constraints: 20619
527.65/529.39 c #Conflicts: 309000 | #Constraints: 21619
527.65/529.39 c #Conflicts: 310000 | #Constraints: 22619
527.65/529.39 c INPROCESSING
527.65/529.39 c GARBAGE COLLECT
527.65/529.39 c #Conflicts: 311000 | #Constraints: 12618
527.65/529.39 c #Conflicts: 312000 | #Constraints: 13618
527.65/529.39 c #Conflicts: 313000 | #Constraints: 14618
527.65/529.39 c #Conflicts: 314000 | #Constraints: 15618
527.65/529.39 c #Conflicts: 315000 | #Constraints: 16618
527.65/529.39 c #Conflicts: 316000 | #Constraints: 17618
527.65/529.39 c #Conflicts: 317000 | #Constraints: 18618
527.65/529.39 c #Conflicts: 318000 | #Constraints: 19618
527.65/529.39 c #Conflicts: 319000 | #Constraints: 20618
527.65/529.39 c #Conflicts: 320000 | #Constraints: 21618
527.65/529.39 c #Conflicts: 321000 | #Constraints: 22618
527.65/529.39 c INPROCESSING
527.65/529.39 c GARBAGE COLLECT
527.65/529.39 c #Conflicts: 322000 | #Constraints: 12424
527.65/529.39 c #Conflicts: 323000 | #Constraints: 13424
527.65/529.39 c #Conflicts: 324000 | #Constraints: 14424
527.65/529.39 c #Conflicts: 325000 | #Constraints: 15424
527.65/529.39 c #Conflicts: 326000 | #Constraints: 16424
527.65/529.39 c #Conflicts: 327000 | #Constraints: 17424
527.65/529.39 c #Conflicts: 328000 | #Constraints: 18424
527.65/529.39 c #Conflicts: 329000 | #Constraints: 19424
527.65/529.39 c #Conflicts: 330000 | #Constraints: 20424
527.65/529.39 c #Conflicts: 331000 | #Constraints: 21424
527.65/529.39 c #Conflicts: 332000 | #Constraints: 22424
527.65/529.39 c #Conflicts: 333000 | #Constraints: 23424
527.65/529.39 c INPROCESSING
527.65/529.39 c GARBAGE COLLECT
527.65/529.39 c #Conflicts: 334000 | #Constraints: 13018
527.65/529.39 c #Conflicts: 335000 | #Constraints: 14018
527.65/529.39 c #Conflicts: 336000 | #Constraints: 15018
527.65/529.39 c #Conflicts: 337000 | #Constraints: 16018
527.65/529.39 c #Conflicts: 338000 | #Constraints: 17018
527.65/529.39 c #Conflicts: 339000 | #Constraints: 18018
527.65/529.39 c #Conflicts: 340000 | #Constraints: 19018
527.65/529.39 c #Conflicts: 341000 | #Constraints: 20018
527.65/529.39 c #Conflicts: 342000 | #Constraints: 21018
527.65/529.39 c #Conflicts: 343000 | #Constraints: 22018
527.65/529.39 c #Conflicts: 344000 | #Constraints: 23018
527.65/529.39 c #Conflicts: 345000 | #Constraints: 24018
527.65/529.39 c INPROCESSING
527.65/529.39 c GARBAGE COLLECT
527.65/529.39 c #Conflicts: 346000 | #Constraints: 13415
527.65/529.39 c #Conflicts: 347000 | #Constraints: 14415
527.65/529.39 c #Conflicts: 348000 | #Constraints: 15415
527.65/529.39 c #Conflicts: 349000 | #Constraints: 16415
527.65/529.39 c #Conflicts: 350000 | #Constraints: 17415
527.65/529.39 c #Conflicts: 351000 | #Constraints: 18415
527.65/529.39 c #Conflicts: 352000 | #Constraints: 19415
527.65/529.39 c #Conflicts: 353000 | #Constraints: 20415
527.65/529.39 c #Conflicts: 354000 | #Constraints: 21415
527.65/529.39 c #Conflicts: 355000 | #Constraints: 22415
527.65/529.39 c #Conflicts: 356000 | #Constraints: 23415
527.65/529.39 c #Conflicts: 357000 | #Constraints: 24415
527.65/529.39 c INPROCESSING
527.65/529.39 c GARBAGE COLLECT
527.65/529.39 c #Conflicts: 358000 | #Constraints: 13613
527.65/529.39 c #Conflicts: 359000 | #Constraints: 14613
527.65/529.39 c #Conflicts: 360000 | #Constraints: 15613
527.65/529.39 c #Conflicts: 361000 | #Constraints: 16613
681.68/683.86 c #Conflicts: 362000 | #Constraints: 17613
681.68/683.86 c #Conflicts: 363000 | #Constraints: 18613
681.68/683.86 c #Conflicts: 364000 | #Constraints: 19613
681.68/683.86 c #Conflicts: 365000 | #Constraints: 20613
681.68/683.86 c #Conflicts: 366000 | #Constraints: 21613
681.68/683.86 c #Conflicts: 367000 | #Constraints: 22613
681.68/683.86 c #Conflicts: 368000 | #Constraints: 23613
681.68/683.86 c #Conflicts: 369000 | #Constraints: 24613
681.68/683.86 c INPROCESSING
681.68/683.86 c GARBAGE COLLECT
681.68/683.86 c #Conflicts: 370000 | #Constraints: 13617
681.68/683.86 c #Conflicts: 371000 | #Constraints: 14617
681.68/683.86 c #Conflicts: 372000 | #Constraints: 15617
681.68/683.86 c #Conflicts: 373000 | #Constraints: 16617
681.68/683.86 c #Conflicts: 374000 | #Constraints: 17617
681.68/683.86 c #Conflicts: 375000 | #Constraints: 18617
681.68/683.86 c #Conflicts: 376000 | #Constraints: 19617
681.68/683.86 c #Conflicts: 377000 | #Constraints: 20617
681.68/683.86 c #Conflicts: 378000 | #Constraints: 21617
681.68/683.86 c #Conflicts: 379000 | #Constraints: 22617
681.68/683.86 c #Conflicts: 380000 | #Constraints: 23617
681.68/683.86 c #Conflicts: 381000 | #Constraints: 24617
681.68/683.86 c INPROCESSING
681.68/683.86 c GARBAGE COLLECT
681.68/683.86 c #Conflicts: 382000 | #Constraints: 13416
681.68/683.86 c #Conflicts: 383000 | #Constraints: 14416
681.68/683.86 c #Conflicts: 384000 | #Constraints: 15416
681.68/683.86 c #Conflicts: 385000 | #Constraints: 16416
681.68/683.86 c #Conflicts: 386000 | #Constraints: 17416
681.68/683.86 c #Conflicts: 387000 | #Constraints: 18416
681.68/683.86 c #Conflicts: 388000 | #Constraints: 19416
681.68/683.86 c #Conflicts: 389000 | #Constraints: 20416
681.68/683.86 c #Conflicts: 390000 | #Constraints: 21416
681.68/683.86 c #Conflicts: 391000 | #Constraints: 22416
681.68/683.86 c #Conflicts: 392000 | #Constraints: 23416
681.68/683.86 c #Conflicts: 393000 | #Constraints: 24416
681.68/683.86 c #Conflicts: 394000 | #Constraints: 25416
681.68/683.86 c INPROCESSING
681.68/683.86 c GARBAGE COLLECT
681.68/683.86 c #Conflicts: 395000 | #Constraints: 14022
681.68/683.86 c #Conflicts: 396000 | #Constraints: 15022
681.68/683.86 c #Conflicts: 397000 | #Constraints: 16022
681.68/683.86 c #Conflicts: 398000 | #Constraints: 17022
681.68/683.86 c #Conflicts: 399000 | #Constraints: 18022
681.68/683.86 c #Conflicts: 400000 | #Constraints: 19022
681.68/683.86 c #Conflicts: 401000 | #Constraints: 20022
681.68/683.86 c #Conflicts: 402000 | #Constraints: 21022
681.68/683.86 c #Conflicts: 403000 | #Constraints: 22022
681.68/683.86 c #Conflicts: 404000 | #Constraints: 23022
681.68/683.86 c #Conflicts: 405000 | #Constraints: 24022
681.68/683.86 c #Conflicts: 406000 | #Constraints: 25022
681.68/683.86 c #Conflicts: 407000 | #Constraints: 26022
681.68/683.86 c INPROCESSING
681.68/683.86 c GARBAGE COLLECT
681.68/683.86 c #Conflicts: 408000 | #Constraints: 14420
681.68/683.86 c #Conflicts: 409000 | #Constraints: 15420
681.68/683.86 c #Conflicts: 410000 | #Constraints: 16420
681.68/683.86 c #Conflicts: 411000 | #Constraints: 17420
681.68/683.86 c #Conflicts: 412000 | #Constraints: 18420
681.68/683.86 c #Conflicts: 413000 | #Constraints: 19420
681.68/683.86 c #Conflicts: 414000 | #Constraints: 20420
681.68/683.86 c #Conflicts: 415000 | #Constraints: 21420
681.68/683.86 c #Conflicts: 416000 | #Constraints: 22420
681.68/683.86 c #Conflicts: 417000 | #Constraints: 23420
681.68/683.86 c #Conflicts: 418000 | #Constraints: 24420
681.68/683.86 c #Conflicts: 419000 | #Constraints: 25420
681.68/683.86 c #Conflicts: 420000 | #Constraints: 26420
681.68/683.86 c INPROCESSING
681.68/683.86 c GARBAGE COLLECT
681.68/683.86 c #Conflicts: 421000 | #Constraints: 14631
681.68/683.86 c #Conflicts: 422000 | #Constraints: 15631
681.68/683.86 c #Conflicts: 423000 | #Constraints: 16631
681.68/683.86 c #Conflicts: 424000 | #Constraints: 17631
681.68/683.86 c #Conflicts: 425000 | #Constraints: 18631
681.68/683.86 c #Conflicts: 426000 | #Constraints: 19631
681.68/683.86 c #Conflicts: 427000 | #Constraints: 20631
681.68/683.86 c #Conflicts: 428000 | #Constraints: 21631
681.68/683.86 c #Conflicts: 429000 | #Constraints: 22631
681.68/683.86 c #Conflicts: 430000 | #Constraints: 23631
681.68/683.86 c #Conflicts: 431000 | #Constraints: 24631
681.68/683.86 c #Conflicts: 432000 | #Constraints: 25631
681.68/683.86 c #Conflicts: 433000 | #Constraints: 26631
681.68/683.86 c INPROCESSING
681.68/683.86 c GARBAGE COLLECT
681.68/683.86 c #Conflicts: 434000 | #Constraints: 14639
681.68/683.86 c #Conflicts: 435000 | #Constraints: 15639
681.68/683.86 c #Conflicts: 436000 | #Constraints: 16639
965.30/968.36 c #Conflicts: 437000 | #Constraints: 17639
965.30/968.36 c #Conflicts: 438000 | #Constraints: 18639
965.30/968.36 c #Conflicts: 439000 | #Constraints: 19639
965.30/968.36 c #Conflicts: 440000 | #Constraints: 20639
965.30/968.36 c #Conflicts: 441000 | #Constraints: 21639
965.30/968.36 c #Conflicts: 442000 | #Constraints: 22639
965.30/968.36 c #Conflicts: 443000 | #Constraints: 23639
965.30/968.36 c #Conflicts: 444000 | #Constraints: 24639
965.30/968.36 c #Conflicts: 445000 | #Constraints: 25639
965.30/968.36 c #Conflicts: 446000 | #Constraints: 26639
965.30/968.36 c INPROCESSING
965.30/968.36 c GARBAGE COLLECT
965.30/968.36 c #Conflicts: 447000 | #Constraints: 14439
965.30/968.36 c #Conflicts: 448000 | #Constraints: 15439
965.30/968.36 c #Conflicts: 449000 | #Constraints: 16439
965.30/968.36 c #Conflicts: 450000 | #Constraints: 17439
965.30/968.36 c #Conflicts: 451000 | #Constraints: 18439
965.30/968.36 c #Conflicts: 452000 | #Constraints: 19439
965.30/968.36 c #Conflicts: 453000 | #Constraints: 20439
965.30/968.36 c #Conflicts: 454000 | #Constraints: 21439
965.30/968.36 c #Conflicts: 455000 | #Constraints: 22439
965.30/968.36 c #Conflicts: 456000 | #Constraints: 23439
965.30/968.36 c #Conflicts: 457000 | #Constraints: 24439
965.30/968.36 c #Conflicts: 458000 | #Constraints: 25439
965.30/968.36 c #Conflicts: 459000 | #Constraints: 26439
965.30/968.36 c #Conflicts: 460000 | #Constraints: 27439
965.30/968.36 c INPROCESSING
965.30/968.36 c GARBAGE COLLECT
965.30/968.36 c #Conflicts: 461000 | #Constraints: 15033
965.30/968.36 c #Conflicts: 462000 | #Constraints: 16033
965.30/968.36 c #Conflicts: 463000 | #Constraints: 17033
965.30/968.36 c #Conflicts: 464000 | #Constraints: 18033
965.30/968.36 c #Conflicts: 465000 | #Constraints: 19033
965.30/968.36 c #Conflicts: 466000 | #Constraints: 20033
965.30/968.36 c #Conflicts: 467000 | #Constraints: 21033
965.30/968.36 c #Conflicts: 468000 | #Constraints: 22033
965.30/968.36 c #Conflicts: 469000 | #Constraints: 23033
965.30/968.36 c #Conflicts: 470000 | #Constraints: 24033
965.30/968.36 c #Conflicts: 471000 | #Constraints: 25033
965.30/968.36 c #Conflicts: 472000 | #Constraints: 26033
965.30/968.36 c #Conflicts: 473000 | #Constraints: 27033
965.30/968.36 c #Conflicts: 474000 | #Constraints: 28033
965.30/968.36 c INPROCESSING
965.30/968.36 c GARBAGE COLLECT
965.30/968.36 c #Conflicts: 475000 | #Constraints: 15439
965.30/968.36 c #Conflicts: 476000 | #Constraints: 16439
965.30/968.36 c #Conflicts: 477000 | #Constraints: 17439
965.30/968.36 c #Conflicts: 478000 | #Constraints: 18439
965.30/968.36 c #Conflicts: 479000 | #Constraints: 19439
965.30/968.36 c #Conflicts: 480000 | #Constraints: 20439
965.30/968.36 c #Conflicts: 481000 | #Constraints: 21439
965.30/968.36 c #Conflicts: 482000 | #Constraints: 22439
965.30/968.36 c #Conflicts: 483000 | #Constraints: 23439
965.30/968.36 c #Conflicts: 484000 | #Constraints: 24439
965.30/968.36 c #Conflicts: 485000 | #Constraints: 25439
965.30/968.36 c #Conflicts: 486000 | #Constraints: 26439
965.30/968.36 c #Conflicts: 487000 | #Constraints: 27439
965.30/968.36 c #Conflicts: 488000 | #Constraints: 28439
965.30/968.36 c INPROCESSING
965.30/968.36 c GARBAGE COLLECT
965.30/968.36 c #Conflicts: 489000 | #Constraints: 15637
965.30/968.36 c #Conflicts: 490000 | #Constraints: 16637
965.30/968.36 c #Conflicts: 491000 | #Constraints: 17637
965.30/968.36 c #Conflicts: 492000 | #Constraints: 18637
965.30/968.36 c #Conflicts: 493000 | #Constraints: 19637
965.30/968.36 c #Conflicts: 494000 | #Constraints: 20637
965.30/968.36 c #Conflicts: 495000 | #Constraints: 21637
965.30/968.36 c #Conflicts: 496000 | #Constraints: 22637
965.30/968.36 c #Conflicts: 497000 | #Constraints: 23637
965.30/968.36 c #Conflicts: 498000 | #Constraints: 24637
965.30/968.36 c #Conflicts: 499000 | #Constraints: 25637
965.30/968.36 c #Conflicts: 500000 | #Constraints: 26637
965.30/968.36 c #Conflicts: 501000 | #Constraints: 27637
965.30/968.36 c #Conflicts: 502000 | #Constraints: 28637
965.30/968.36 c INPROCESSING
965.30/968.36 c GARBAGE COLLECT
965.30/968.36 c #Conflicts: 503000 | #Constraints: 15640
965.30/968.36 c #Conflicts: 504000 | #Constraints: 16640
965.30/968.36 c #Conflicts: 505000 | #Constraints: 17640
965.30/968.36 c #Conflicts: 506000 | #Constraints: 18640
965.30/968.36 c #Conflicts: 507000 | #Constraints: 19640
965.30/968.36 c #Conflicts: 508000 | #Constraints: 20640
965.30/968.36 c #Conflicts: 509000 | #Constraints: 21640
965.30/968.36 c #Conflicts: 510000 | #Constraints: 22640
965.30/968.36 c #Conflicts: 511000 | #Constraints: 23640
965.30/968.36 c #Conflicts: 512000 | #Constraints: 24640
1092.04/1095.41 c #Conflicts: 513000 | #Constraints: 25640
1092.04/1095.41 c #Conflicts: 514000 | #Constraints: 26640
1092.04/1095.41 c #Conflicts: 515000 | #Constraints: 27640
1092.04/1095.41 c #Conflicts: 516000 | #Constraints: 28640
1092.04/1095.41 c INPROCESSING
1092.04/1095.41 c GARBAGE COLLECT
1092.04/1095.41 c #Conflicts: 517000 | #Constraints: 15432
1092.04/1095.41 c #Conflicts: 518000 | #Constraints: 16432
1092.04/1095.41 c #Conflicts: 519000 | #Constraints: 17432
1092.04/1095.41 c #Conflicts: 520000 | #Constraints: 18432
1092.04/1095.41 c #Conflicts: 521000 | #Constraints: 19432
1092.04/1095.41 c #Conflicts: 522000 | #Constraints: 20432
1092.04/1095.41 c #Conflicts: 523000 | #Constraints: 21432
1092.04/1095.41 c #Conflicts: 524000 | #Constraints: 22432
1092.04/1095.41 c #Conflicts: 525000 | #Constraints: 23432
1092.04/1095.41 c #Conflicts: 526000 | #Constraints: 24432
1092.04/1095.41 c #Conflicts: 527000 | #Constraints: 25432
1092.04/1095.41 c #Conflicts: 528000 | #Constraints: 26432
1092.04/1095.41 c #Conflicts: 529000 | #Constraints: 27432
1092.04/1095.41 c #Conflicts: 530000 | #Constraints: 28432
1092.04/1095.41 c #Conflicts: 531000 | #Constraints: 29432
1092.04/1095.41 c INPROCESSING
1092.04/1095.41 c GARBAGE COLLECT
1092.04/1095.41 c #Conflicts: 532000 | #Constraints: 16030
1092.04/1095.41 c #Conflicts: 533000 | #Constraints: 17030
1092.04/1095.41 c #Conflicts: 534000 | #Constraints: 18030
1092.04/1095.41 c #Conflicts: 535000 | #Constraints: 19030
1092.04/1095.41 c #Conflicts: 536000 | #Constraints: 20030
1092.04/1095.41 c #Conflicts: 537000 | #Constraints: 21030
1092.04/1095.41 c #Conflicts: 538000 | #Constraints: 22030
1092.04/1095.41 c #Conflicts: 539000 | #Constraints: 23030
1092.04/1095.41 c #Conflicts: 540000 | #Constraints: 24030
1092.04/1095.41 c #Conflicts: 541000 | #Constraints: 25030
1092.04/1095.41 c #Conflicts: 542000 | #Constraints: 26030
1092.04/1095.41 c #Conflicts: 543000 | #Constraints: 27030
1092.04/1095.41 c #Conflicts: 544000 | #Constraints: 28030
1092.04/1095.41 c #Conflicts: 545000 | #Constraints: 29030
1092.04/1095.41 c #Conflicts: 546000 | #Constraints: 30030
1092.04/1095.41 c INPROCESSING
1092.04/1095.41 c GARBAGE COLLECT
1092.04/1095.41 c #Conflicts: 547000 | #Constraints: 16423
1092.04/1095.41 c #Conflicts: 548000 | #Constraints: 17423
1092.04/1095.41 c #Conflicts: 549000 | #Constraints: 18423
1092.04/1095.41 c #Conflicts: 550000 | #Constraints: 19423
1092.04/1095.41 c #Conflicts: 551000 | #Constraints: 20423
1092.04/1095.41 c #Conflicts: 552000 | #Constraints: 21423
1092.04/1095.41 c #Conflicts: 553000 | #Constraints: 22423
1092.04/1095.41 c #Conflicts: 554000 | #Constraints: 23423
1092.04/1095.41 c #Conflicts: 555000 | #Constraints: 24423
1092.04/1095.41 c #Conflicts: 556000 | #Constraints: 25423
1092.04/1095.41 c #Conflicts: 557000 | #Constraints: 26423
1092.04/1095.41 c #Conflicts: 558000 | #Constraints: 27423
1092.04/1095.41 c #Conflicts: 559000 | #Constraints: 28423
1092.04/1095.41 c #Conflicts: 560000 | #Constraints: 29423
1092.04/1095.41 c #Conflicts: 561000 | #Constraints: 30423
1092.04/1095.41 c INPROCESSING
1092.04/1095.41 c GARBAGE COLLECT
1092.04/1095.41 c #Conflicts: 562000 | #Constraints: 16618
1092.04/1095.41 c #Conflicts: 563000 | #Constraints: 17618
1092.04/1095.41 c #Conflicts: 564000 | #Constraints: 18618
1092.04/1095.41 c #Conflicts: 565000 | #Constraints: 19618
1092.04/1095.41 c #Conflicts: 566000 | #Constraints: 20618
1092.04/1095.41 c #Conflicts: 567000 | #Constraints: 21618
1092.04/1095.41 c #Conflicts: 568000 | #Constraints: 22618
1092.04/1095.41 c #Conflicts: 569000 | #Constraints: 23618
1092.04/1095.41 c #Conflicts: 570000 | #Constraints: 24618
1092.04/1095.41 c #Conflicts: 571000 | #Constraints: 25618
1092.04/1095.41 c #Conflicts: 572000 | #Constraints: 26618
1092.04/1095.41 c #Conflicts: 573000 | #Constraints: 27618
1092.04/1095.41 c #Conflicts: 574000 | #Constraints: 28618
1092.04/1095.41 c #Conflicts: 575000 | #Constraints: 29618
1092.04/1095.41 c #Conflicts: 576000 | #Constraints: 30618
1092.04/1095.41 c INPROCESSING
1092.04/1095.41 c GARBAGE COLLECT
1092.04/1095.41 c #Conflicts: 577000 | #Constraints: 16623
1092.04/1095.41 c #Conflicts: 578000 | #Constraints: 17623
1092.04/1095.41 c #Conflicts: 579000 | #Constraints: 18623
1092.04/1095.41 c #Conflicts: 580000 | #Constraints: 19623
1092.04/1095.41 c #Conflicts: 581000 | #Constraints: 20623
1092.04/1095.41 c #Conflicts: 582000 | #Constraints: 21623
1092.04/1095.41 c #Conflicts: 583000 | #Constraints: 22623
1092.04/1095.41 c #Conflicts: 584000 | #Constraints: 23623
1092.04/1095.41 c #Conflicts: 585000 | #Constraints: 24623
1092.04/1095.41 c #Conflicts: 586000 | #Constraints: 25623
1092.04/1095.41 c #Conflicts: 587000 | #Constraints: 26623
1092.04/1095.41 c #Conflicts: 588000 | #Constraints: 27623
1223.94/1227.79 c #Conflicts: 589000 | #Constraints: 28623
1223.94/1227.79 c #Conflicts: 590000 | #Constraints: 29623
1223.94/1227.79 c #Conflicts: 591000 | #Constraints: 30623
1223.94/1227.79 c INPROCESSING
1223.94/1227.79 c GARBAGE COLLECT
1223.94/1227.79 c #Conflicts: 592000 | #Constraints: 16424
1223.94/1227.79 c #Conflicts: 593000 | #Constraints: 17424
1223.94/1227.79 c #Conflicts: 594000 | #Constraints: 18424
1223.94/1227.79 c #Conflicts: 595000 | #Constraints: 19424
1223.94/1227.79 c #Conflicts: 596000 | #Constraints: 20424
1223.94/1227.79 c #Conflicts: 597000 | #Constraints: 21424
1223.94/1227.79 c #Conflicts: 598000 | #Constraints: 22424
1223.94/1227.79 c #Conflicts: 599000 | #Constraints: 23424
1223.94/1227.79 c #Conflicts: 600000 | #Constraints: 24424
1223.94/1227.79 c #Conflicts: 601000 | #Constraints: 25424
1223.94/1227.79 c #Conflicts: 602000 | #Constraints: 26424
1223.94/1227.79 c #Conflicts: 603000 | #Constraints: 27424
1223.94/1227.79 c #Conflicts: 604000 | #Constraints: 28424
1223.94/1227.79 c #Conflicts: 605000 | #Constraints: 29424
1223.94/1227.79 c #Conflicts: 606000 | #Constraints: 30424
1223.94/1227.79 c #Conflicts: 607000 | #Constraints: 31424
1223.94/1227.79 c INPROCESSING
1223.94/1227.79 c GARBAGE COLLECT
1223.94/1227.79 c #Conflicts: 608000 | #Constraints: 17037
1223.94/1227.79 c #Conflicts: 609000 | #Constraints: 18037
1223.94/1227.79 c #Conflicts: 610000 | #Constraints: 19037
1223.94/1227.79 c #Conflicts: 611000 | #Constraints: 20037
1223.94/1227.79 c #Conflicts: 612000 | #Constraints: 21037
1223.94/1227.79 c #Conflicts: 613000 | #Constraints: 22037
1223.94/1227.79 c #Conflicts: 614000 | #Constraints: 23037
1223.94/1227.79 c #Conflicts: 615000 | #Constraints: 24037
1223.94/1227.79 c #Conflicts: 616000 | #Constraints: 25037
1223.94/1227.79 c #Conflicts: 617000 | #Constraints: 26037
1223.94/1227.79 c #Conflicts: 618000 | #Constraints: 27037
1223.94/1227.79 c #Conflicts: 619000 | #Constraints: 28037
1223.94/1227.79 c #Conflicts: 620000 | #Constraints: 29037
1223.94/1227.79 c #Conflicts: 621000 | #Constraints: 30037
1223.94/1227.79 c #Conflicts: 622000 | #Constraints: 31037
1223.94/1227.79 c #Conflicts: 623000 | #Constraints: 32037
1223.94/1227.79 c INPROCESSING
1223.94/1227.79 c GARBAGE COLLECT
1223.94/1227.79 c #Conflicts: 624000 | #Constraints: 17428
1223.94/1227.79 c #Conflicts: 625000 | #Constraints: 18428
1223.94/1227.79 c #Conflicts: 626000 | #Constraints: 19428
1223.94/1227.79 c #Conflicts: 627000 | #Constraints: 20428
1223.94/1227.79 c #Conflicts: 628000 | #Constraints: 21428
1223.94/1227.79 c #Conflicts: 629000 | #Constraints: 22428
1223.94/1227.79 c #Conflicts: 630000 | #Constraints: 23428
1223.94/1227.79 c #Conflicts: 631000 | #Constraints: 24428
1223.94/1227.79 c #Conflicts: 632000 | #Constraints: 25428
1223.94/1227.79 c #Conflicts: 633000 | #Constraints: 26428
1223.94/1227.79 c #Conflicts: 634000 | #Constraints: 27428
1223.94/1227.79 c #Conflicts: 635000 | #Constraints: 28428
1223.94/1227.79 c #Conflicts: 636000 | #Constraints: 29428
1223.94/1227.79 c #Conflicts: 637000 | #Constraints: 30428
1223.94/1227.79 c #Conflicts: 638000 | #Constraints: 31428
1223.94/1227.79 c #Conflicts: 639000 | #Constraints: 32428
1223.94/1227.79 c INPROCESSING
1223.94/1227.79 c GARBAGE COLLECT
1223.94/1227.79 c #Conflicts: 640000 | #Constraints: 17622
1223.94/1227.79 c #Conflicts: 641000 | #Constraints: 18622
1223.94/1227.79 c #Conflicts: 642000 | #Constraints: 19622
1223.94/1227.79 c #Conflicts: 643000 | #Constraints: 20622
1223.94/1227.79 c #Conflicts: 644000 | #Constraints: 21622
1223.94/1227.79 c #Conflicts: 645000 | #Constraints: 22622
1223.94/1227.79 c #Conflicts: 646000 | #Constraints: 23622
1223.94/1227.79 c #Conflicts: 647000 | #Constraints: 24622
1223.94/1227.79 c #Conflicts: 648000 | #Constraints: 25622
1223.94/1227.79 c #Conflicts: 649000 | #Constraints: 26622
1223.94/1227.79 c #Conflicts: 650000 | #Constraints: 27622
1223.94/1227.79 c #Conflicts: 651000 | #Constraints: 28622
1223.94/1227.79 c #Conflicts: 652000 | #Constraints: 29622
1223.94/1227.79 c #Conflicts: 653000 | #Constraints: 30622
1223.94/1227.79 c #Conflicts: 654000 | #Constraints: 31622
1223.94/1227.79 c #Conflicts: 655000 | #Constraints: 32622
1223.94/1227.79 c INPROCESSING
1223.94/1227.79 c GARBAGE COLLECT
1223.94/1227.79 c #Conflicts: 656000 | #Constraints: 17619
1223.94/1227.79 c #Conflicts: 657000 | #Constraints: 18619
1223.94/1227.79 c #Conflicts: 658000 | #Constraints: 19619
1223.94/1227.79 c #Conflicts: 659000 | #Constraints: 20619
1223.94/1227.79 c #Conflicts: 660000 | #Constraints: 21619
1223.94/1227.79 c #Conflicts: 661000 | #Constraints: 22619
1223.94/1227.79 c #Conflicts: 662000 | #Constraints: 23619
1223.94/1227.79 c #Conflicts: 663000 | #Constraints: 24619
1429.49/1433.99 c #Conflicts: 664000 | #Constraints: 25619
1429.49/1433.99 c #Conflicts: 665000 | #Constraints: 26619
1429.49/1433.99 c #Conflicts: 666000 | #Constraints: 27619
1429.49/1433.99 c #Conflicts: 667000 | #Constraints: 28619
1429.49/1433.99 c #Conflicts: 668000 | #Constraints: 29619
1429.49/1433.99 c #Conflicts: 669000 | #Constraints: 30619
1429.49/1433.99 c #Conflicts: 670000 | #Constraints: 31619
1429.49/1433.99 c #Conflicts: 671000 | #Constraints: 32619
1429.49/1433.99 c INPROCESSING
1429.49/1433.99 c GARBAGE COLLECT
1429.49/1433.99 c #Conflicts: 672000 | #Constraints: 17413
1429.49/1433.99 c #Conflicts: 673000 | #Constraints: 18413
1429.49/1433.99 c #Conflicts: 674000 | #Constraints: 19413
1429.49/1433.99 c #Conflicts: 675000 | #Constraints: 20413
1429.49/1433.99 c #Conflicts: 676000 | #Constraints: 21413
1429.49/1433.99 c #Conflicts: 677000 | #Constraints: 22413
1429.49/1433.99 c #Conflicts: 678000 | #Constraints: 23413
1429.49/1433.99 c #Conflicts: 679000 | #Constraints: 24413
1429.49/1433.99 c #Conflicts: 680000 | #Constraints: 25413
1429.49/1433.99 c #Conflicts: 681000 | #Constraints: 26413
1429.49/1433.99 c #Conflicts: 682000 | #Constraints: 27413
1429.49/1433.99 c #Conflicts: 683000 | #Constraints: 28413
1429.49/1433.99 c #Conflicts: 684000 | #Constraints: 29413
1429.49/1433.99 c #Conflicts: 685000 | #Constraints: 30413
1429.49/1433.99 c #Conflicts: 686000 | #Constraints: 31413
1429.49/1433.99 c #Conflicts: 687000 | #Constraints: 32413
1429.49/1433.99 c #Conflicts: 688000 | #Constraints: 33413
1429.49/1433.99 c INPROCESSING
1429.49/1433.99 c GARBAGE COLLECT
1429.49/1433.99 c #Conflicts: 689000 | #Constraints: 18013
1429.49/1433.99 c #Conflicts: 690000 | #Constraints: 19013
1429.49/1433.99 c #Conflicts: 691000 | #Constraints: 20013
1429.49/1433.99 c #Conflicts: 692000 | #Constraints: 21013
1429.49/1433.99 c #Conflicts: 693000 | #Constraints: 22013
1429.49/1433.99 c #Conflicts: 694000 | #Constraints: 23013
1429.49/1433.99 c #Conflicts: 695000 | #Constraints: 24013
1429.49/1433.99 c #Conflicts: 696000 | #Constraints: 25013
1429.49/1433.99 c #Conflicts: 697000 | #Constraints: 26013
1429.49/1433.99 c #Conflicts: 698000 | #Constraints: 27013
1429.49/1433.99 c #Conflicts: 699000 | #Constraints: 28013
1429.49/1433.99 c #Conflicts: 700000 | #Constraints: 29013
1429.49/1433.99 c #Conflicts: 701000 | #Constraints: 30013
1429.49/1433.99 c #Conflicts: 702000 | #Constraints: 31013
1429.49/1433.99 c #Conflicts: 703000 | #Constraints: 32013
1429.49/1433.99 c #Conflicts: 704000 | #Constraints: 33013
1429.49/1433.99 c #Conflicts: 705000 | #Constraints: 34013
1429.49/1433.99 c INPROCESSING
1429.49/1433.99 c GARBAGE COLLECT
1429.49/1433.99 c #Conflicts: 706000 | #Constraints: 18414
1429.49/1433.99 c #Conflicts: 707000 | #Constraints: 19414
1429.49/1433.99 c #Conflicts: 708000 | #Constraints: 20414
1429.49/1433.99 c #Conflicts: 709000 | #Constraints: 21414
1429.49/1433.99 c #Conflicts: 710000 | #Constraints: 22414
1429.49/1433.99 c #Conflicts: 711000 | #Constraints: 23414
1429.49/1433.99 c #Conflicts: 712000 | #Constraints: 24414
1429.49/1433.99 c #Conflicts: 713000 | #Constraints: 25414
1429.49/1433.99 c #Conflicts: 714000 | #Constraints: 26414
1429.49/1433.99 c #Conflicts: 715000 | #Constraints: 27414
1429.49/1433.99 c #Conflicts: 716000 | #Constraints: 28414
1429.49/1433.99 c #Conflicts: 717000 | #Constraints: 29414
1429.49/1433.99 c #Conflicts: 718000 | #Constraints: 30414
1429.49/1433.99 c #Conflicts: 719000 | #Constraints: 31414
1429.49/1433.99 c #Conflicts: 720000 | #Constraints: 32414
1429.49/1433.99 c #Conflicts: 721000 | #Constraints: 33414
1429.49/1433.99 c #Conflicts: 722000 | #Constraints: 34414
1429.49/1433.99 c INPROCESSING
1429.49/1433.99 c GARBAGE COLLECT
1429.49/1433.99 c #Conflicts: 723000 | #Constraints: 18627
1429.49/1433.99 c #Conflicts: 724000 | #Constraints: 19627
1429.49/1433.99 c #Conflicts: 725000 | #Constraints: 20627
1429.49/1433.99 c #Conflicts: 726000 | #Constraints: 21627
1429.49/1433.99 c #Conflicts: 727000 | #Constraints: 22627
1429.49/1433.99 c #Conflicts: 728000 | #Constraints: 23627
1429.49/1433.99 c #Conflicts: 729000 | #Constraints: 24627
1429.49/1433.99 c #Conflicts: 730000 | #Constraints: 25627
1429.49/1433.99 c #Conflicts: 731000 | #Constraints: 26627
1429.49/1433.99 c #Conflicts: 732000 | #Constraints: 27627
1429.49/1433.99 c #Conflicts: 733000 | #Constraints: 28627
1429.49/1433.99 c #Conflicts: 734000 | #Constraints: 29627
1429.49/1433.99 c #Conflicts: 735000 | #Constraints: 30627
1429.49/1433.99 c #Conflicts: 736000 | #Constraints: 31627
1429.49/1433.99 c #Conflicts: 737000 | #Constraints: 32627
1429.49/1433.99 c #Conflicts: 738000 | #Constraints: 33627
1429.49/1433.99 c #Conflicts: 739000 | #Constraints: 34627
1599.85/1604.82 c INPROCESSING
1599.85/1604.82 c GARBAGE COLLECT
1599.85/1604.82 c #Conflicts: 740000 | #Constraints: 18637
1599.85/1604.82 c #Conflicts: 741000 | #Constraints: 19637
1599.85/1604.82 c #Conflicts: 742000 | #Constraints: 20637
1599.85/1604.82 c #Conflicts: 743000 | #Constraints: 21637
1599.85/1604.82 c #Conflicts: 744000 | #Constraints: 22637
1599.85/1604.82 c #Conflicts: 745000 | #Constraints: 23637
1599.85/1604.82 c #Conflicts: 746000 | #Constraints: 24637
1599.85/1604.82 c #Conflicts: 747000 | #Constraints: 25637
1599.85/1604.82 c #Conflicts: 748000 | #Constraints: 26637
1599.85/1604.82 c #Conflicts: 749000 | #Constraints: 27637
1599.85/1604.82 c #Conflicts: 750000 | #Constraints: 28637
1599.85/1604.82 c #Conflicts: 751000 | #Constraints: 29637
1599.85/1604.82 c #Conflicts: 752000 | #Constraints: 30637
1599.85/1604.82 c #Conflicts: 753000 | #Constraints: 31637
1599.85/1604.82 c #Conflicts: 754000 | #Constraints: 32637
1599.85/1604.82 c #Conflicts: 755000 | #Constraints: 33637
1599.85/1604.82 c #Conflicts: 756000 | #Constraints: 34637
1599.85/1604.82 c INPROCESSING
1599.85/1604.82 c GARBAGE COLLECT
1599.85/1604.82 c #Conflicts: 757000 | #Constraints: 18428
1599.85/1604.82 c #Conflicts: 758000 | #Constraints: 19428
1599.85/1604.82 c #Conflicts: 759000 | #Constraints: 20428
1599.85/1604.82 c #Conflicts: 760000 | #Constraints: 21428
1599.85/1604.82 c #Conflicts: 761000 | #Constraints: 22428
1599.85/1604.82 c #Conflicts: 762000 | #Constraints: 23428
1599.85/1604.82 c #Conflicts: 763000 | #Constraints: 24428
1599.85/1604.82 c #Conflicts: 764000 | #Constraints: 25428
1599.85/1604.82 c #Conflicts: 765000 | #Constraints: 26428
1599.85/1604.82 c #Conflicts: 766000 | #Constraints: 27428
1599.85/1604.82 c #Conflicts: 767000 | #Constraints: 28428
1599.85/1604.82 c #Conflicts: 768000 | #Constraints: 29428
1599.85/1604.82 c #Conflicts: 769000 | #Constraints: 30428
1599.85/1604.82 c #Conflicts: 770000 | #Constraints: 31428
1599.85/1604.82 c #Conflicts: 771000 | #Constraints: 32428
1599.85/1604.82 c #Conflicts: 772000 | #Constraints: 33428
1599.85/1604.82 c #Conflicts: 773000 | #Constraints: 34428
1599.85/1604.82 c #Conflicts: 774000 | #Constraints: 35428
1599.85/1604.82 c INPROCESSING
1599.85/1604.82 c GARBAGE COLLECT
1599.85/1604.82 c #Conflicts: 775000 | #Constraints: 19024
1599.85/1604.82 c #Conflicts: 776000 | #Constraints: 20024
1599.85/1604.82 c #Conflicts: 777000 | #Constraints: 21024
1599.85/1604.82 c #Conflicts: 778000 | #Constraints: 22024
1599.85/1604.82 c #Conflicts: 779000 | #Constraints: 23024
1599.85/1604.82 c #Conflicts: 780000 | #Constraints: 24024
1599.85/1604.82 c #Conflicts: 781000 | #Constraints: 25024
1599.85/1604.82 c #Conflicts: 782000 | #Constraints: 26024
1599.85/1604.82 c #Conflicts: 783000 | #Constraints: 27024
1599.85/1604.82 c #Conflicts: 784000 | #Constraints: 28024
1599.85/1604.82 c #Conflicts: 785000 | #Constraints: 29024
1599.85/1604.82 c #Conflicts: 786000 | #Constraints: 30024
1599.85/1604.82 c #Conflicts: 787000 | #Constraints: 31024
1599.85/1604.82 c #Conflicts: 788000 | #Constraints: 32024
1599.85/1604.82 c #Conflicts: 789000 | #Constraints: 33024
1599.85/1604.82 c #Conflicts: 790000 | #Constraints: 34024
1599.85/1604.82 c #Conflicts: 791000 | #Constraints: 35024
1599.85/1604.82 c #Conflicts: 792000 | #Constraints: 36024
1599.85/1604.82 c INPROCESSING
1599.85/1604.82 c GARBAGE COLLECT
1599.85/1604.82 c #Conflicts: 793000 | #Constraints: 19422
1599.85/1604.82 c #Conflicts: 794000 | #Constraints: 20422
1599.85/1604.82 c #Conflicts: 795000 | #Constraints: 21422
1599.85/1604.82 c #Conflicts: 796000 | #Constraints: 22422
1599.85/1604.82 c #Conflicts: 797000 | #Constraints: 23422
1599.85/1604.82 c #Conflicts: 798000 | #Constraints: 24422
1599.85/1604.82 c #Conflicts: 799000 | #Constraints: 25422
1599.85/1604.82 c #Conflicts: 800000 | #Constraints: 26422
1599.85/1604.82 c #Conflicts: 801000 | #Constraints: 27422
1599.85/1604.82 c #Conflicts: 802000 | #Constraints: 28422
1599.85/1604.82 c #Conflicts: 803000 | #Constraints: 29422
1599.85/1604.82 c #Conflicts: 804000 | #Constraints: 30422
1599.85/1604.82 c #Conflicts: 805000 | #Constraints: 31422
1599.85/1604.82 c #Conflicts: 806000 | #Constraints: 32422
1599.85/1604.82 c #Conflicts: 807000 | #Constraints: 33422
1599.85/1604.82 c #Conflicts: 808000 | #Constraints: 34422
1599.85/1604.82 c #Conflicts: 809000 | #Constraints: 35422
1599.85/1604.82 c #Conflicts: 810000 | #Constraints: 36422
1599.85/1604.82 c INPROCESSING
1599.85/1604.82 c GARBAGE COLLECT
1599.85/1604.82 c #Conflicts: 811000 | #Constraints: 19628
1599.85/1604.82 c #Conflicts: 812000 | #Constraints: 20628
1599.85/1604.82 c #Conflicts: 813000 | #Constraints: 21628
1599.85/1604.82 c #Conflicts: 814000 | #Constraints: 22628
1599.85/1604.82 c #Conflicts: 815000 | #Constraints: 23628
1823.21/1828.97 c #Conflicts: 816000 | #Constraints: 24628
1823.21/1828.97 c #Conflicts: 817000 | #Constraints: 25628
1823.21/1828.97 c #Conflicts: 818000 | #Constraints: 26628
1823.21/1828.97 c #Conflicts: 819000 | #Constraints: 27628
1823.21/1828.97 c #Conflicts: 820000 | #Constraints: 28628
1823.21/1828.97 c #Conflicts: 821000 | #Constraints: 29628
1823.21/1828.97 c #Conflicts: 822000 | #Constraints: 30628
1823.21/1828.97 c #Conflicts: 823000 | #Constraints: 31628
1823.21/1828.97 c #Conflicts: 824000 | #Constraints: 32628
1823.21/1828.97 c #Conflicts: 825000 | #Constraints: 33628
1823.21/1828.97 c #Conflicts: 826000 | #Constraints: 34628
1823.21/1828.97 c #Conflicts: 827000 | #Constraints: 35628
1823.21/1828.97 c #Conflicts: 828000 | #Constraints: 36628
1823.21/1828.97 c INPROCESSING
1823.21/1828.97 c GARBAGE COLLECT
1823.21/1828.97 c #Conflicts: 829000 | #Constraints: 19628
1823.21/1828.97 c #Conflicts: 830000 | #Constraints: 20628
1823.21/1828.97 c #Conflicts: 831000 | #Constraints: 21628
1823.21/1828.97 c #Conflicts: 832000 | #Constraints: 22628
1823.21/1828.97 c #Conflicts: 833000 | #Constraints: 23628
1823.21/1828.97 c #Conflicts: 834000 | #Constraints: 24628
1823.21/1828.97 c #Conflicts: 835000 | #Constraints: 25628
1823.21/1828.97 c #Conflicts: 836000 | #Constraints: 26628
1823.21/1828.97 c #Conflicts: 837000 | #Constraints: 27628
1823.21/1828.97 c #Conflicts: 838000 | #Constraints: 28628
1823.21/1828.97 c #Conflicts: 839000 | #Constraints: 29628
1823.21/1828.97 c #Conflicts: 840000 | #Constraints: 30628
1823.21/1828.97 c #Conflicts: 841000 | #Constraints: 31628
1823.21/1828.97 c #Conflicts: 842000 | #Constraints: 32628
1823.21/1828.97 c #Conflicts: 843000 | #Constraints: 33628
1823.21/1828.97 c #Conflicts: 844000 | #Constraints: 34628
1823.21/1828.97 c #Conflicts: 845000 | #Constraints: 35628
1823.21/1828.97 c #Conflicts: 846000 | #Constraints: 36628
1823.21/1828.97 c INPROCESSING
1823.21/1828.97 c GARBAGE COLLECT
1823.21/1828.97 c #Conflicts: 847000 | #Constraints: 19420
1823.21/1828.97 c #Conflicts: 848000 | #Constraints: 20420
1823.21/1828.97 c #Conflicts: 849000 | #Constraints: 21420
1823.21/1828.97 c #Conflicts: 850000 | #Constraints: 22420
1823.21/1828.97 c #Conflicts: 851000 | #Constraints: 23420
1823.21/1828.97 c #Conflicts: 852000 | #Constraints: 24420
1823.21/1828.97 c #Conflicts: 853000 | #Constraints: 25420
1823.21/1828.97 c #Conflicts: 854000 | #Constraints: 26420
1823.21/1828.97 c #Conflicts: 855000 | #Constraints: 27420
1823.21/1828.97 c #Conflicts: 856000 | #Constraints: 28420
1823.21/1828.97 c #Conflicts: 857000 | #Constraints: 29420
1823.21/1828.97 c #Conflicts: 858000 | #Constraints: 30420
1823.21/1828.97 c #Conflicts: 859000 | #Constraints: 31420
1823.21/1828.97 c #Conflicts: 860000 | #Constraints: 32420
1823.21/1828.97 c #Conflicts: 861000 | #Constraints: 33420
1823.21/1828.97 c #Conflicts: 862000 | #Constraints: 34420
1823.21/1828.97 c #Conflicts: 863000 | #Constraints: 35420
1823.21/1828.97 c #Conflicts: 864000 | #Constraints: 36420
1823.21/1828.97 c #Conflicts: 865000 | #Constraints: 37420
1823.21/1828.97 c INPROCESSING
1823.21/1828.97 c GARBAGE COLLECT
1823.21/1828.97 c #Conflicts: 866000 | #Constraints: 20017
1823.21/1828.97 c #Conflicts: 867000 | #Constraints: 21017
1823.21/1828.97 c #Conflicts: 868000 | #Constraints: 22017
1823.21/1828.97 c #Conflicts: 869000 | #Constraints: 23017
1823.21/1828.97 c #Conflicts: 870000 | #Constraints: 24017
1823.21/1828.97 c #Conflicts: 871000 | #Constraints: 25017
1823.21/1828.97 c #Conflicts: 872000 | #Constraints: 26017
1823.21/1828.97 c #Conflicts: 873000 | #Constraints: 27017
1823.21/1828.97 c #Conflicts: 874000 | #Constraints: 28017
1823.21/1828.97 c #Conflicts: 875000 | #Constraints: 29017
1823.21/1828.97 c #Conflicts: 876000 | #Constraints: 30017
1823.21/1828.97 c #Conflicts: 877000 | #Constraints: 31017
1823.21/1828.97 c #Conflicts: 878000 | #Constraints: 32017
1823.21/1828.97 c #Conflicts: 879000 | #Constraints: 33017
1823.21/1828.97 c #Conflicts: 880000 | #Constraints: 34017
1823.21/1828.97 c #Conflicts: 881000 | #Constraints: 35017
1823.21/1828.97 c #Conflicts: 882000 | #Constraints: 36017
1823.21/1828.97 c #Conflicts: 883000 | #Constraints: 37017
1823.21/1828.97 c #Conflicts: 884000 | #Constraints: 38017
1823.21/1828.97 c INPROCESSING
1823.21/1828.97 c GARBAGE COLLECT
1823.21/1828.97 c #Conflicts: 885000 | #Constraints: 20419
1823.21/1828.97 c #Conflicts: 886000 | #Constraints: 21419
1823.21/1828.97 c #Conflicts: 887000 | #Constraints: 22419
1823.21/1828.97 c #Conflicts: 888000 | #Constraints: 23419
1823.21/1828.97 c #Conflicts: 889000 | #Constraints: 24419
1823.21/1828.97 c #Conflicts: 890000 | #Constraints: 25419
1823.21/1828.97 c #Conflicts: 891000 | #Constraints: 26419
2038.78/2045.27 c #Conflicts: 892000 | #Constraints: 27419
2038.78/2045.27 c #Conflicts: 893000 | #Constraints: 28419
2038.78/2045.27 c #Conflicts: 894000 | #Constraints: 29419
2038.78/2045.27 c #Conflicts: 895000 | #Constraints: 30419
2038.78/2045.27 c #Conflicts: 896000 | #Constraints: 31419
2038.78/2045.27 c #Conflicts: 897000 | #Constraints: 32419
2038.78/2045.27 c #Conflicts: 898000 | #Constraints: 33419
2038.78/2045.27 c #Conflicts: 899000 | #Constraints: 34419
2038.78/2045.27 c #Conflicts: 900000 | #Constraints: 35419
2038.78/2045.27 c #Conflicts: 901000 | #Constraints: 36419
2038.78/2045.27 c #Conflicts: 902000 | #Constraints: 37419
2038.78/2045.27 c #Conflicts: 903000 | #Constraints: 38419
2038.78/2045.27 c INPROCESSING
2038.78/2045.27 c GARBAGE COLLECT
2038.78/2045.27 c #Conflicts: 904000 | #Constraints: 20616
2038.78/2045.27 c #Conflicts: 905000 | #Constraints: 21616
2038.78/2045.27 c #Conflicts: 906000 | #Constraints: 22616
2038.78/2045.27 c #Conflicts: 907000 | #Constraints: 23616
2038.78/2045.27 c #Conflicts: 908000 | #Constraints: 24616
2038.78/2045.27 c #Conflicts: 909000 | #Constraints: 25616
2038.78/2045.27 c #Conflicts: 910000 | #Constraints: 26616
2038.78/2045.27 c #Conflicts: 911000 | #Constraints: 27616
2038.78/2045.27 c #Conflicts: 912000 | #Constraints: 28616
2038.78/2045.27 c #Conflicts: 913000 | #Constraints: 29616
2038.78/2045.27 c #Conflicts: 914000 | #Constraints: 30616
2038.78/2045.27 c #Conflicts: 915000 | #Constraints: 31616
2038.78/2045.27 c #Conflicts: 916000 | #Constraints: 32616
2038.78/2045.27 c #Conflicts: 917000 | #Constraints: 33616
2038.78/2045.27 c #Conflicts: 918000 | #Constraints: 34616
2038.78/2045.27 c #Conflicts: 919000 | #Constraints: 35616
2038.78/2045.27 c #Conflicts: 920000 | #Constraints: 36616
2038.78/2045.27 c #Conflicts: 921000 | #Constraints: 37616
2038.78/2045.27 c #Conflicts: 922000 | #Constraints: 38616
2038.78/2045.27 c INPROCESSING
2038.78/2045.27 c GARBAGE COLLECT
2038.78/2045.27 c #Conflicts: 923000 | #Constraints: 20621
2038.78/2045.27 c #Conflicts: 924000 | #Constraints: 21621
2038.78/2045.27 c #Conflicts: 925000 | #Constraints: 22621
2038.78/2045.27 c #Conflicts: 926000 | #Constraints: 23621
2038.78/2045.27 c #Conflicts: 927000 | #Constraints: 24621
2038.78/2045.27 c #Conflicts: 928000 | #Constraints: 25621
2038.78/2045.27 c #Conflicts: 929000 | #Constraints: 26621
2038.78/2045.27 c #Conflicts: 930000 | #Constraints: 27621
2038.78/2045.27 c #Conflicts: 931000 | #Constraints: 28621
2038.78/2045.27 c #Conflicts: 932000 | #Constraints: 29621
2038.78/2045.27 c #Conflicts: 933000 | #Constraints: 30621
2038.78/2045.27 c #Conflicts: 934000 | #Constraints: 31621
2038.78/2045.27 c #Conflicts: 935000 | #Constraints: 32621
2038.78/2045.27 c #Conflicts: 936000 | #Constraints: 33621
2038.78/2045.27 c #Conflicts: 937000 | #Constraints: 34621
2038.78/2045.27 c #Conflicts: 938000 | #Constraints: 35621
2038.78/2045.27 c #Conflicts: 939000 | #Constraints: 36621
2038.78/2045.27 c #Conflicts: 940000 | #Constraints: 37621
2038.78/2045.27 c #Conflicts: 941000 | #Constraints: 38621
2038.78/2045.27 c INPROCESSING
2038.78/2045.27 c GARBAGE COLLECT
2038.78/2045.27 c #Conflicts: 942000 | #Constraints: 20431
2038.78/2045.27 c #Conflicts: 943000 | #Constraints: 21431
2038.78/2045.27 c #Conflicts: 944000 | #Constraints: 22431
2038.78/2045.27 c #Conflicts: 945000 | #Constraints: 23431
2038.78/2045.27 c #Conflicts: 946000 | #Constraints: 24431
2038.78/2045.27 c #Conflicts: 947000 | #Constraints: 25431
2038.78/2045.27 c #Conflicts: 948000 | #Constraints: 26431
2038.78/2045.27 c #Conflicts: 949000 | #Constraints: 27431
2038.78/2045.27 c #Conflicts: 950000 | #Constraints: 28431
2038.78/2045.27 c #Conflicts: 951000 | #Constraints: 29431
2038.78/2045.27 c #Conflicts: 952000 | #Constraints: 30431
2038.78/2045.27 c #Conflicts: 953000 | #Constraints: 31431
2038.78/2045.27 c #Conflicts: 954000 | #Constraints: 32431
2038.78/2045.27 c #Conflicts: 955000 | #Constraints: 33431
2038.78/2045.27 c #Conflicts: 956000 | #Constraints: 34431
2038.78/2045.27 c #Conflicts: 957000 | #Constraints: 35431
2038.78/2045.27 c #Conflicts: 958000 | #Constraints: 36431
2038.78/2045.27 c #Conflicts: 959000 | #Constraints: 37431
2038.78/2045.27 c #Conflicts: 960000 | #Constraints: 38431
2038.78/2045.27 c #Conflicts: 961000 | #Constraints: 39431
2038.78/2045.27 c INPROCESSING
2038.78/2045.27 c GARBAGE COLLECT
2038.78/2045.27 c #Conflicts: 962000 | #Constraints: 21038
2038.78/2045.27 c #Conflicts: 963000 | #Constraints: 22038
2038.78/2045.27 c #Conflicts: 964000 | #Constraints: 23038
2038.78/2045.27 c #Conflicts: 965000 | #Constraints: 24038
2038.78/2045.27 c #Conflicts: 966000 | #Constraints: 25038
2038.78/2045.27 c #Conflicts: 967000 | #Constraints: 26038
2372.28/2379.86 c #Conflicts: 968000 | #Constraints: 27038
2372.28/2379.86 c #Conflicts: 969000 | #Constraints: 28038
2372.28/2379.86 c #Conflicts: 970000 | #Constraints: 29038
2372.28/2379.86 c #Conflicts: 971000 | #Constraints: 30038
2372.28/2379.86 c #Conflicts: 972000 | #Constraints: 31038
2372.28/2379.86 c #Conflicts: 973000 | #Constraints: 32038
2372.28/2379.86 c #Conflicts: 974000 | #Constraints: 33038
2372.28/2379.86 c #Conflicts: 975000 | #Constraints: 34038
2372.28/2379.86 c #Conflicts: 976000 | #Constraints: 35038
2372.28/2379.86 c #Conflicts: 977000 | #Constraints: 36038
2372.28/2379.86 c #Conflicts: 978000 | #Constraints: 37038
2372.28/2379.86 c #Conflicts: 979000 | #Constraints: 38038
2372.28/2379.86 c #Conflicts: 980000 | #Constraints: 39038
2372.28/2379.86 c #Conflicts: 981000 | #Constraints: 40038
2372.28/2379.86 c INPROCESSING
2372.28/2379.86 c GARBAGE COLLECT
2372.28/2379.86 c #Conflicts: 982000 | #Constraints: 21436
2372.28/2379.86 c #Conflicts: 983000 | #Constraints: 22436
2372.28/2379.86 c #Conflicts: 984000 | #Constraints: 23436
2372.28/2379.86 c #Conflicts: 985000 | #Constraints: 24436
2372.28/2379.86 c #Conflicts: 986000 | #Constraints: 25436
2372.28/2379.86 c #Conflicts: 987000 | #Constraints: 26436
2372.28/2379.86 c #Conflicts: 988000 | #Constraints: 27436
2372.28/2379.86 c #Conflicts: 989000 | #Constraints: 28436
2372.28/2379.86 c #Conflicts: 990000 | #Constraints: 29436
2372.28/2379.86 c #Conflicts: 991000 | #Constraints: 30436
2372.28/2379.86 c #Conflicts: 992000 | #Constraints: 31436
2372.28/2379.86 c #Conflicts: 993000 | #Constraints: 32436
2372.28/2379.86 c #Conflicts: 994000 | #Constraints: 33436
2372.28/2379.86 c #Conflicts: 995000 | #Constraints: 34436
2372.28/2379.86 c #Conflicts: 996000 | #Constraints: 35436
2372.28/2379.86 c #Conflicts: 997000 | #Constraints: 36436
2372.28/2379.86 c #Conflicts: 998000 | #Constraints: 37436
2372.28/2379.86 c #Conflicts: 999000 | #Constraints: 38436
2372.28/2379.86 c #Conflicts: 1000000 | #Constraints: 39436
2372.28/2379.86 c #Conflicts: 1001000 | #Constraints: 40436
2372.28/2379.86 c INPROCESSING
2372.28/2379.86 c GARBAGE COLLECT
2372.28/2379.86 c #Conflicts: 1002000 | #Constraints: 21640
2372.28/2379.86 c #Conflicts: 1003000 | #Constraints: 22640
2372.28/2379.86 c #Conflicts: 1004000 | #Constraints: 23640
2372.28/2379.86 c #Conflicts: 1005000 | #Constraints: 24640
2372.28/2379.86 c #Conflicts: 1006000 | #Constraints: 25640
2372.28/2379.86 c #Conflicts: 1007000 | #Constraints: 26640
2372.28/2379.86 c #Conflicts: 1008000 | #Constraints: 27640
2372.28/2379.86 c #Conflicts: 1009000 | #Constraints: 28640
2372.28/2379.86 c #Conflicts: 1010000 | #Constraints: 29640
2372.28/2379.86 c #Conflicts: 1011000 | #Constraints: 30640
2372.28/2379.86 c #Conflicts: 1012000 | #Constraints: 31640
2372.28/2379.86 c #Conflicts: 1013000 | #Constraints: 32640
2372.28/2379.86 c #Conflicts: 1014000 | #Constraints: 33640
2372.28/2379.86 c #Conflicts: 1015000 | #Constraints: 34640
2372.28/2379.86 c #Conflicts: 1016000 | #Constraints: 35640
2372.28/2379.86 c #Conflicts: 1017000 | #Constraints: 36640
2372.28/2379.86 c #Conflicts: 1018000 | #Constraints: 37640
2372.28/2379.86 c #Conflicts: 1019000 | #Constraints: 38640
2372.28/2379.86 c #Conflicts: 1020000 | #Constraints: 39640
2372.28/2379.86 c #Conflicts: 1021000 | #Constraints: 40640
2372.28/2379.86 c INPROCESSING
2372.28/2379.86 c GARBAGE COLLECT
2372.28/2379.86 c #Conflicts: 1022000 | #Constraints: 21641
2372.28/2379.86 c #Conflicts: 1023000 | #Constraints: 22641
2372.28/2379.86 c #Conflicts: 1024000 | #Constraints: 23641
2372.28/2379.86 c #Conflicts: 1025000 | #Constraints: 24641
2372.28/2379.87 c #Conflicts: 1026000 | #Constraints: 25641
2372.28/2379.87 c #Conflicts: 1027000 | #Constraints: 26641
2372.28/2379.87 c #Conflicts: 1028000 | #Constraints: 27641
2372.28/2379.87 c #Conflicts: 1029000 | #Constraints: 28641
2372.28/2379.87 c #Conflicts: 1030000 | #Constraints: 29641
2372.28/2379.87 c #Conflicts: 1031000 | #Constraints: 30641
2372.28/2379.87 c #Conflicts: 1032000 | #Constraints: 31641
2372.28/2379.87 c #Conflicts: 1033000 | #Constraints: 32641
2372.28/2379.87 c #Conflicts: 1034000 | #Constraints: 33641
2372.28/2379.87 c #Conflicts: 1035000 | #Constraints: 34641
2372.28/2379.87 c #Conflicts: 1036000 | #Constraints: 35641
2372.28/2379.87 c #Conflicts: 1037000 | #Constraints: 36641
2372.28/2379.87 c #Conflicts: 1038000 | #Constraints: 37641
2372.28/2379.87 c #Conflicts: 1039000 | #Constraints: 38641
2372.28/2379.87 c #Conflicts: 1040000 | #Constraints: 39641
2372.28/2379.87 c #Conflicts: 1041000 | #Constraints: 40641
2372.28/2379.87 c INPROCESSING
2372.28/2379.87 c GARBAGE COLLECT
2372.28/2379.87 c #Conflicts: 1042000 | #Constraints: 21446
2372.28/2379.87 c #Conflicts: 1043000 | #Constraints: 22446
2372.28/2379.87 c #Conflicts: 1044000 | #Constraints: 23446
2868.78/2877.82 c #Conflicts: 1045000 | #Constraints: 24446
2868.78/2877.82 c #Conflicts: 1046000 | #Constraints: 25446
2868.78/2877.82 c #Conflicts: 1047000 | #Constraints: 26446
2868.78/2877.82 c #Conflicts: 1048000 | #Constraints: 27446
2868.78/2877.82 c #Conflicts: 1049000 | #Constraints: 28446
2868.78/2877.82 c #Conflicts: 1050000 | #Constraints: 29446
2868.78/2877.82 c #Conflicts: 1051000 | #Constraints: 30446
2868.78/2877.82 c #Conflicts: 1052000 | #Constraints: 31446
2868.78/2877.82 c #Conflicts: 1053000 | #Constraints: 32446
2868.78/2877.82 c #Conflicts: 1054000 | #Constraints: 33446
2868.78/2877.82 c #Conflicts: 1055000 | #Constraints: 34446
2868.78/2877.82 c #Conflicts: 1056000 | #Constraints: 35446
2868.78/2877.82 c #Conflicts: 1057000 | #Constraints: 36446
2868.78/2877.82 c #Conflicts: 1058000 | #Constraints: 37446
2868.78/2877.82 c #Conflicts: 1059000 | #Constraints: 38446
2868.78/2877.82 c #Conflicts: 1060000 | #Constraints: 39446
2868.78/2877.82 c #Conflicts: 1061000 | #Constraints: 40446
2868.78/2877.82 c #Conflicts: 1062000 | #Constraints: 41446
2868.78/2877.82 c INPROCESSING
2868.78/2877.82 c GARBAGE COLLECT
2868.78/2877.82 c #Conflicts: 1063000 | #Constraints: 22046
2868.78/2877.82 c #Conflicts: 1064000 | #Constraints: 23046
2868.78/2877.82 c #Conflicts: 1065000 | #Constraints: 24046
2868.78/2877.82 c #Conflicts: 1066000 | #Constraints: 25046
2868.78/2877.82 c #Conflicts: 1067000 | #Constraints: 26046
2868.78/2877.82 c #Conflicts: 1068000 | #Constraints: 27046
2868.78/2877.82 c #Conflicts: 1069000 | #Constraints: 28046
2868.78/2877.82 c #Conflicts: 1070000 | #Constraints: 29046
2868.78/2877.82 c #Conflicts: 1071000 | #Constraints: 30046
2868.78/2877.82 c #Conflicts: 1072000 | #Constraints: 31046
2868.78/2877.82 c #Conflicts: 1073000 | #Constraints: 32046
2868.78/2877.82 c #Conflicts: 1074000 | #Constraints: 33046
2868.78/2877.82 c #Conflicts: 1075000 | #Constraints: 34046
2868.78/2877.82 c #Conflicts: 1076000 | #Constraints: 35046
2868.78/2877.82 c #Conflicts: 1077000 | #Constraints: 36046
2868.78/2877.82 c #Conflicts: 1078000 | #Constraints: 37046
2868.78/2877.82 c #Conflicts: 1079000 | #Constraints: 38046
2868.78/2877.82 c #Conflicts: 1080000 | #Constraints: 39046
2868.78/2877.82 c #Conflicts: 1081000 | #Constraints: 40046
2868.78/2877.82 c #Conflicts: 1082000 | #Constraints: 41046
2868.78/2877.82 c #Conflicts: 1083000 | #Constraints: 42046
2868.78/2877.82 c INPROCESSING
2868.78/2877.82 c GARBAGE COLLECT
2868.78/2877.82 c #Conflicts: 1084000 | #Constraints: 22443
2868.78/2877.82 c #Conflicts: 1085000 | #Constraints: 23443
2868.78/2877.82 c #Conflicts: 1086000 | #Constraints: 24443
2868.78/2877.82 c #Conflicts: 1087000 | #Constraints: 25443
2868.78/2877.82 c #Conflicts: 1088000 | #Constraints: 26443
2868.78/2877.82 c #Conflicts: 1089000 | #Constraints: 27443
2868.78/2877.82 c #Conflicts: 1090000 | #Constraints: 28443
2868.78/2877.82 c #Conflicts: 1091000 | #Constraints: 29443
2868.78/2877.82 c #Conflicts: 1092000 | #Constraints: 30443
2868.78/2877.82 c #Conflicts: 1093000 | #Constraints: 31443
2868.78/2877.82 c #Conflicts: 1094000 | #Constraints: 32443
2868.78/2877.82 c #Conflicts: 1095000 | #Constraints: 33443
2868.78/2877.82 c #Conflicts: 1096000 | #Constraints: 34443
2868.78/2877.82 c #Conflicts: 1097000 | #Constraints: 35443
2868.78/2877.82 c #Conflicts: 1098000 | #Constraints: 36443
2868.78/2877.82 c #Conflicts: 1099000 | #Constraints: 37443
2868.78/2877.82 c #Conflicts: 1100000 | #Constraints: 38443
2868.78/2877.82 c #Conflicts: 1101000 | #Constraints: 39443
2868.78/2877.82 c #Conflicts: 1102000 | #Constraints: 40443
2868.78/2877.82 c #Conflicts: 1103000 | #Constraints: 41443
2868.78/2877.82 c #Conflicts: 1104000 | #Constraints: 42443
2868.78/2877.82 c INPROCESSING
2868.78/2877.82 c GARBAGE COLLECT
2868.78/2877.82 c #Conflicts: 1105000 | #Constraints: 22643
2868.78/2877.82 c #Conflicts: 1106000 | #Constraints: 23643
2868.78/2877.82 c #Conflicts: 1107000 | #Constraints: 24643
2868.78/2877.82 c #Conflicts: 1108000 | #Constraints: 25643
2868.78/2877.82 c #Conflicts: 1109000 | #Constraints: 26643
2868.78/2877.82 c #Conflicts: 1110000 | #Constraints: 27643
2868.78/2877.82 c #Conflicts: 1111000 | #Constraints: 28643
2868.78/2877.82 c #Conflicts: 1112000 | #Constraints: 29643
2868.78/2877.82 c #Conflicts: 1113000 | #Constraints: 30643
2868.78/2877.82 c #Conflicts: 1114000 | #Constraints: 31643
2868.78/2877.82 c #Conflicts: 1115000 | #Constraints: 32643
2868.78/2877.82 c #Conflicts: 1116000 | #Constraints: 33643
2868.78/2877.82 c #Conflicts: 1117000 | #Constraints: 34643
2868.78/2877.82 c #Conflicts: 1118000 | #Constraints: 35643
2868.78/2877.82 c #Conflicts: 1119000 | #Constraints: 36643
2868.78/2877.82 c #Conflicts: 1120000 | #Constraints: 37643
2868.78/2877.82 c #Conflicts: 1121000 | #Constraints: 38643
3126.96/3136.84 c #Conflicts: 1122000 | #Constraints: 39643
3126.96/3136.84 c #Conflicts: 1123000 | #Constraints: 40643
3126.96/3136.84 c #Conflicts: 1124000 | #Constraints: 41643
3126.96/3136.84 c #Conflicts: 1125000 | #Constraints: 42643
3126.96/3136.84 c INPROCESSING
3126.96/3136.84 c GARBAGE COLLECT
3126.96/3136.84 c #Conflicts: 1126000 | #Constraints: 22648
3126.96/3136.84 c #Conflicts: 1127000 | #Constraints: 23648
3126.96/3136.84 c #Conflicts: 1128000 | #Constraints: 24648
3126.96/3136.84 c #Conflicts: 1129000 | #Constraints: 25648
3126.96/3136.84 c #Conflicts: 1130000 | #Constraints: 26648
3126.96/3136.84 c #Conflicts: 1131000 | #Constraints: 27648
3126.96/3136.84 c #Conflicts: 1132000 | #Constraints: 28648
3126.96/3136.84 c #Conflicts: 1133000 | #Constraints: 29648
3126.96/3136.84 c #Conflicts: 1134000 | #Constraints: 30648
3126.96/3136.84 c #Conflicts: 1135000 | #Constraints: 31648
3126.96/3136.84 c #Conflicts: 1136000 | #Constraints: 32648
3126.96/3136.84 c #Conflicts: 1137000 | #Constraints: 33648
3126.96/3136.84 c #Conflicts: 1138000 | #Constraints: 34648
3126.96/3136.84 c #Conflicts: 1139000 | #Constraints: 35648
3126.96/3136.84 c #Conflicts: 1140000 | #Constraints: 36648
3126.96/3136.84 c #Conflicts: 1141000 | #Constraints: 37648
3126.96/3136.84 c #Conflicts: 1142000 | #Constraints: 38648
3126.96/3136.84 c #Conflicts: 1143000 | #Constraints: 39648
3126.96/3136.84 c #Conflicts: 1144000 | #Constraints: 40648
3126.96/3136.84 c #Conflicts: 1145000 | #Constraints: 41648
3126.96/3136.84 c #Conflicts: 1146000 | #Constraints: 42648
3126.96/3136.84 c INPROCESSING
3126.96/3136.84 c GARBAGE COLLECT
3126.96/3136.84 c #Conflicts: 1147000 | #Constraints: 22433
3126.96/3136.84 c #Conflicts: 1148000 | #Constraints: 23433
3126.96/3136.84 c #Conflicts: 1149000 | #Constraints: 24433
3126.96/3136.84 c #Conflicts: 1150000 | #Constraints: 25433
3126.96/3136.84 c #Conflicts: 1151000 | #Constraints: 26433
3126.96/3136.84 c #Conflicts: 1152000 | #Constraints: 27433
3126.96/3136.84 c #Conflicts: 1153000 | #Constraints: 28433
3126.96/3136.84 c #Conflicts: 1154000 | #Constraints: 29433
3126.96/3136.84 c #Conflicts: 1155000 | #Constraints: 30433
3126.96/3136.84 c #Conflicts: 1156000 | #Constraints: 31433
3126.96/3136.84 c #Conflicts: 1157000 | #Constraints: 32433
3126.96/3136.84 c #Conflicts: 1158000 | #Constraints: 33433
3126.96/3136.84 c #Conflicts: 1159000 | #Constraints: 34433
3126.96/3136.84 c #Conflicts: 1160000 | #Constraints: 35433
3126.96/3136.84 c #Conflicts: 1161000 | #Constraints: 36433
3126.96/3136.84 c #Conflicts: 1162000 | #Constraints: 37433
3126.96/3136.84 c #Conflicts: 1163000 | #Constraints: 38433
3126.96/3136.84 c #Conflicts: 1164000 | #Constraints: 39433
3126.96/3136.84 c #Conflicts: 1165000 | #Constraints: 40433
3126.96/3136.84 c #Conflicts: 1166000 | #Constraints: 41433
3126.96/3136.84 c #Conflicts: 1167000 | #Constraints: 42433
3126.96/3136.84 c #Conflicts: 1168000 | #Constraints: 43433
3126.96/3136.84 c INPROCESSING
3126.96/3136.84 c GARBAGE COLLECT
3126.96/3136.84 c #Conflicts: 1169000 | #Constraints: 23030
3126.96/3136.84 c #Conflicts: 1170000 | #Constraints: 24030
3126.96/3136.84 c #Conflicts: 1171000 | #Constraints: 25030
3126.96/3136.84 c #Conflicts: 1172000 | #Constraints: 26030
3126.96/3136.84 c #Conflicts: 1173000 | #Constraints: 27030
3126.96/3136.84 c #Conflicts: 1174000 | #Constraints: 28030
3126.96/3136.84 c #Conflicts: 1175000 | #Constraints: 29030
3126.96/3136.84 c #Conflicts: 1176000 | #Constraints: 30030
3126.96/3136.84 c #Conflicts: 1177000 | #Constraints: 31030
3126.96/3136.84 c #Conflicts: 1178000 | #Constraints: 32030
3126.96/3136.84 c #Conflicts: 1179000 | #Constraints: 33030
3126.96/3136.84 c #Conflicts: 1180000 | #Constraints: 34030
3126.96/3136.84 c #Conflicts: 1181000 | #Constraints: 35030
3126.96/3136.84 c #Conflicts: 1182000 | #Constraints: 36030
3126.96/3136.84 c #Conflicts: 1183000 | #Constraints: 37030
3126.96/3136.84 c #Conflicts: 1184000 | #Constraints: 38030
3126.96/3136.84 c #Conflicts: 1185000 | #Constraints: 39030
3126.96/3136.84 c #Conflicts: 1186000 | #Constraints: 40030
3126.96/3136.84 c #Conflicts: 1187000 | #Constraints: 41030
3126.96/3136.84 c #Conflicts: 1188000 | #Constraints: 42030
3126.96/3136.84 c #Conflicts: 1189000 | #Constraints: 43030
3126.96/3136.84 c #Conflicts: 1190000 | #Constraints: 44030
3126.96/3136.84 c INPROCESSING
3126.96/3136.84 c GARBAGE COLLECT
3126.96/3136.84 c #Conflicts: 1191000 | #Constraints: 23428
3126.96/3136.84 c #Conflicts: 1192000 | #Constraints: 24428
3126.96/3136.84 c #Conflicts: 1193000 | #Constraints: 25428
3126.96/3136.84 c #Conflicts: 1194000 | #Constraints: 26428
3126.96/3136.84 c #Conflicts: 1195000 | #Constraints: 27428
3126.96/3136.84 c #Conflicts: 1196000 | #Constraints: 28428
3126.96/3136.84 c #Conflicts: 1197000 | #Constraints: 29428
3393.45/3404.27 c #Conflicts: 1198000 | #Constraints: 30428
3393.45/3404.27 c #Conflicts: 1199000 | #Constraints: 31428
3393.45/3404.27 c #Conflicts: 1200000 | #Constraints: 32428
3393.45/3404.27 c #Conflicts: 1201000 | #Constraints: 33428
3393.45/3404.27 c #Conflicts: 1202000 | #Constraints: 34428
3393.45/3404.27 c #Conflicts: 1203000 | #Constraints: 35428
3393.45/3404.27 c #Conflicts: 1204000 | #Constraints: 36428
3393.45/3404.27 c #Conflicts: 1205000 | #Constraints: 37428
3393.45/3404.27 c #Conflicts: 1206000 | #Constraints: 38428
3393.45/3404.27 c #Conflicts: 1207000 | #Constraints: 39428
3393.45/3404.27 c #Conflicts: 1208000 | #Constraints: 40428
3393.45/3404.27 c #Conflicts: 1209000 | #Constraints: 41428
3393.45/3404.27 c #Conflicts: 1210000 | #Constraints: 42428
3393.45/3404.27 c #Conflicts: 1211000 | #Constraints: 43428
3393.45/3404.27 c #Conflicts: 1212000 | #Constraints: 44428
3393.45/3404.27 c INPROCESSING
3393.45/3404.27 c GARBAGE COLLECT
3393.45/3404.27 c #Conflicts: 1213000 | #Constraints: 23625
3393.45/3404.27 c #Conflicts: 1214000 | #Constraints: 24625
3393.45/3404.27 c #Conflicts: 1215000 | #Constraints: 25625
3393.45/3404.27 c #Conflicts: 1216000 | #Constraints: 26625
3393.45/3404.27 c #Conflicts: 1217000 | #Constraints: 27625
3393.45/3404.27 c #Conflicts: 1218000 | #Constraints: 28625
3393.45/3404.27 c #Conflicts: 1219000 | #Constraints: 29625
3393.45/3404.27 c #Conflicts: 1220000 | #Constraints: 30625
3393.45/3404.27 c #Conflicts: 1221000 | #Constraints: 31625
3393.45/3404.27 c #Conflicts: 1222000 | #Constraints: 32625
3393.45/3404.27 c #Conflicts: 1223000 | #Constraints: 33625
3393.45/3404.27 c #Conflicts: 1224000 | #Constraints: 34625
3393.45/3404.27 c #Conflicts: 1225000 | #Constraints: 35625
3393.45/3404.27 c #Conflicts: 1226000 | #Constraints: 36625
3393.45/3404.27 c #Conflicts: 1227000 | #Constraints: 37625
3393.45/3404.27 c #Conflicts: 1228000 | #Constraints: 38625
3393.45/3404.27 c #Conflicts: 1229000 | #Constraints: 39625
3393.45/3404.27 c #Conflicts: 1230000 | #Constraints: 40625
3393.45/3404.27 c #Conflicts: 1231000 | #Constraints: 41625
3393.45/3404.27 c #Conflicts: 1232000 | #Constraints: 42625
3393.45/3404.27 c #Conflicts: 1233000 | #Constraints: 43625
3393.45/3404.27 c #Conflicts: 1234000 | #Constraints: 44625
3393.45/3404.27 c INPROCESSING
3393.45/3404.27 c GARBAGE COLLECT
3393.45/3404.27 c #Conflicts: 1235000 | #Constraints: 23616
3393.45/3404.27 c #Conflicts: 1236000 | #Constraints: 24616
3393.45/3404.27 c #Conflicts: 1237000 | #Constraints: 25616
3393.45/3404.27 c #Conflicts: 1238000 | #Constraints: 26616
3393.45/3404.27 c #Conflicts: 1239000 | #Constraints: 27616
3393.45/3404.27 c #Conflicts: 1240000 | #Constraints: 28616
3393.45/3404.27 c #Conflicts: 1241000 | #Constraints: 29616
3393.45/3404.27 c #Conflicts: 1242000 | #Constraints: 30616
3393.45/3404.27 c #Conflicts: 1243000 | #Constraints: 31616
3393.45/3404.27 c #Conflicts: 1244000 | #Constraints: 32616
3393.45/3404.27 c #Conflicts: 1245000 | #Constraints: 33616
3393.45/3404.27 c #Conflicts: 1246000 | #Constraints: 34616
3393.45/3404.27 c #Conflicts: 1247000 | #Constraints: 35616
3393.45/3404.27 c #Conflicts: 1248000 | #Constraints: 36616
3393.45/3404.27 c #Conflicts: 1249000 | #Constraints: 37616
3393.45/3404.27 c #Conflicts: 1250000 | #Constraints: 38616
3393.45/3404.27 c #Conflicts: 1251000 | #Constraints: 39616
3393.45/3404.27 c #Conflicts: 1252000 | #Constraints: 40616
3393.45/3404.27 c #Conflicts: 1253000 | #Constraints: 41616
3393.45/3404.27 c #Conflicts: 1254000 | #Constraints: 42616
3393.45/3404.27 c #Conflicts: 1255000 | #Constraints: 43616
3393.45/3404.27 c #Conflicts: 1256000 | #Constraints: 44616
3393.45/3404.27 c INPROCESSING
3393.45/3404.27 c GARBAGE COLLECT
3393.45/3404.27 c #Conflicts: 1257000 | #Constraints: 23428
3393.45/3404.27 c #Conflicts: 1258000 | #Constraints: 24428
3393.45/3404.27 c #Conflicts: 1259000 | #Constraints: 25428
3393.45/3404.27 c #Conflicts: 1260000 | #Constraints: 26428
3393.45/3404.27 c #Conflicts: 1261000 | #Constraints: 27428
3393.45/3404.27 c #Conflicts: 1262000 | #Constraints: 28428
3393.45/3404.27 c #Conflicts: 1263000 | #Constraints: 29428
3393.45/3404.27 c #Conflicts: 1264000 | #Constraints: 30428
3393.45/3404.27 c #Conflicts: 1265000 | #Constraints: 31428
3393.45/3404.27 c #Conflicts: 1266000 | #Constraints: 32428
3393.45/3404.27 c #Conflicts: 1267000 | #Constraints: 33428
3393.45/3404.27 c #Conflicts: 1268000 | #Constraints: 34428
3393.45/3404.27 c #Conflicts: 1269000 | #Constraints: 35428
3393.45/3404.27 c #Conflicts: 1270000 | #Constraints: 36428
3393.45/3404.27 c #Conflicts: 1271000 | #Constraints: 37428
3393.45/3404.27 c #Conflicts: 1272000 | #Constraints: 38428
3393.45/3404.27 c #Conflicts: 1273000 | #Constraints: 39428
3393.45/3404.27 c #Conflicts: 1274000 | #Constraints: 40428
3600.06/3611.50 c #Conflicts: 1275000 | #Constraints: 41428
3600.06/3611.50 c #Conflicts: 1276000 | #Constraints: 42428
3600.06/3611.50 c #Conflicts: 1277000 | #Constraints: 43428
3600.06/3611.50 c #Conflicts: 1278000 | #Constraints: 44428
3600.06/3611.50 c #Conflicts: 1279000 | #Constraints: 45428
3600.06/3611.50 c INPROCESSING
3600.06/3611.50 c GARBAGE COLLECT
3600.06/3611.50 c #Conflicts: 1280000 | #Constraints: 24018
3600.06/3611.50 c #Conflicts: 1281000 | #Constraints: 25018
3600.06/3611.50 c #Conflicts: 1282000 | #Constraints: 26018
3600.06/3611.50 c #Conflicts: 1283000 | #Constraints: 27018
3600.06/3611.50 c #Conflicts: 1284000 | #Constraints: 28018
3600.06/3611.50 c #Conflicts: 1285000 | #Constraints: 29018
3600.06/3611.50 c #Conflicts: 1286000 | #Constraints: 30018
3600.06/3611.50 c #Conflicts: 1287000 | #Constraints: 31018
3600.06/3611.50 c #Conflicts: 1288000 | #Constraints: 32018
3600.06/3611.50 c #Conflicts: 1289000 | #Constraints: 33018
3600.06/3611.50 c #Conflicts: 1290000 | #Constraints: 34018
3600.06/3611.50 c #Conflicts: 1291000 | #Constraints: 35018
3600.06/3611.50 c #Conflicts: 1292000 | #Constraints: 36018
3600.06/3611.50 c #Conflicts: 1293000 | #Constraints: 37018
3600.06/3611.50 c #Conflicts: 1294000 | #Constraints: 38018
3600.06/3611.50 c #Conflicts: 1295000 | #Constraints: 39018
3600.06/3611.50 c #Conflicts: 1296000 | #Constraints: 40018
3600.06/3611.50 c #Conflicts: 1297000 | #Constraints: 41018
3600.06/3611.50 c #Conflicts: 1298000 | #Constraints: 42018
3600.06/3611.50 c #Conflicts: 1299000 | #Constraints: 43018
3600.06/3611.50 c #Conflicts: 1300000 | #Constraints: 44018
3600.06/3611.50 c #Conflicts: 1301000 | #Constraints: 45018
3600.06/3611.50 c #Conflicts: 1302000 | #Constraints: 46018
3600.06/3611.50 c INPROCESSING
3600.06/3611.50 c GARBAGE COLLECT
3600.06/3611.50 c #Conflicts: 1303000 | #Constraints: 24416
3600.06/3611.50 c #Conflicts: 1304000 | #Constraints: 25416
3600.06/3611.50 c #Conflicts: 1305000 | #Constraints: 26416
3600.06/3611.50 c #Conflicts: 1306000 | #Constraints: 27416
3600.06/3611.50 c #Conflicts: 1307000 | #Constraints: 28416
3600.06/3611.50 c #Conflicts: 1308000 | #Constraints: 29416
3600.06/3611.50 c #Conflicts: 1309000 | #Constraints: 30416
3600.06/3611.50 c #Conflicts: 1310000 | #Constraints: 31416
3600.06/3611.50 c #Conflicts: 1311000 | #Constraints: 32416
3600.06/3611.50 c #Conflicts: 1312000 | #Constraints: 33416
3600.06/3611.50 c #Conflicts: 1313000 | #Constraints: 34416
3600.06/3611.50 c #Conflicts: 1314000 | #Constraints: 35416
3600.06/3611.50 c #Conflicts: 1315000 | #Constraints: 36416
3600.06/3611.50 c #Conflicts: 1316000 | #Constraints: 37416
3600.06/3611.50 c #Conflicts: 1317000 | #Constraints: 38416
3600.06/3611.50 c #Conflicts: 1318000 | #Constraints: 39416
3600.06/3611.50 c #Conflicts: 1319000 | #Constraints: 40416
3600.06/3611.50 c #Conflicts: 1320000 | #Constraints: 41416
3600.06/3611.50 c #Conflicts: 1321000 | #Constraints: 42416
3600.06/3611.50 c #Conflicts: 1322000 | #Constraints: 43416
3600.06/3611.50 c #Conflicts: 1323000 | #Constraints: 44416
3600.06/3611.50 c #Conflicts: 1324000 | #Constraints: 45416
3600.06/3611.50 c #Conflicts: 1325000 | #Constraints: 46416
3600.06/3611.50 c INPROCESSING
3600.06/3611.50 c GARBAGE COLLECT
3600.06/3611.50 c #Conflicts: 1326000 | #Constraints: 24635
3600.06/3611.50 c #Conflicts: 1327000 | #Constraints: 25635
3600.06/3611.50 c #Conflicts: 1328000 | #Constraints: 26635
3600.06/3611.50 c #Conflicts: 1329000 | #Constraints: 27635
3600.06/3611.50 c #Conflicts: 1330000 | #Constraints: 28635
3600.06/3611.50 c Program interrupted by user.
3600.06/3611.50 c cpu time 3577.23 s
3600.06/3611.50 c deterministic time 670952867223 6.71e+11
3600.06/3611.50 c optimization time 12.1468 s
3600.06/3611.50 c total solve time 3565.03 s
3600.06/3611.50 c core-guided solve time 3565.03 s
3600.06/3611.50 c propagation time 2628.84 s
3600.06/3611.50 c conflict analysis time 742.573 s
3600.06/3611.50 c propagations 187891856
3600.06/3611.50 c resolve steps 7433934
3600.06/3611.50 c decisions 17890020
3600.06/3611.50 c conflicts 1330752
3600.06/3611.50 c restarts 2556
3600.06/3611.50 c inprocessing phases 106
3600.06/3611.50 c input clauses 366
3600.06/3611.50 c input cardinalities 367
3600.06/3611.50 c input general constraints 64
3600.06/3611.50 c input average constraint length 58.82
3600.06/3611.50 c input average constraint degree 11723.44
3600.06/3611.50 c learned clauses 155946
3600.06/3611.50 c learned cardinalities 2146
3600.06/3611.50 c learned general constraints 1172659
3600.06/3611.50 c learned average constraint length 1371.58
3600.06/3611.50 c learned average constraint degree 14814677.24
3600.06/3611.50 c watched constraints 661615
3600.06/3611.50 c counting constraints 511108
3600.06/3611.50 c gcd simplifications 65040
3600.06/3611.50 c detected cardinalities 93
3600.06/3611.50 c weakened non-implied lits 345044769
3600.06/3611.50 c weakened non-implying lits 277912
3600.06/3611.50 c original variables 11744
3600.06/3611.50 c clausal propagations 4509155
3600.06/3611.50 c cardinality propagations 15014321
3600.06/3611.50 c watched propagations 8400955
3600.06/3611.50 c counting propagations 158411895
3600.06/3611.50 c watch lookups 33807631220
3600.06/3611.50 c watch backjump lookups 32994376641
3600.06/3611.50 c watch checks 431351844256
3600.06/3611.50 c propagation checks 166586996666
3600.06/3611.50 c constraint additions 5799134938
3600.06/3611.50 c trail pops 207101625
3600.06/3611.50 c formula constraints 797
3600.06/3611.50 c learned constraints 1330751
3600.06/3611.50 c bound constraints 0
3600.06/3611.50 c core-guided constraints 0
3600.06/3611.50 c encountered formula constraints 4965866
3600.06/3611.50 c encountered learned constraints 3798820
3600.06/3611.50 c encountered bound constraints 0
3600.06/3611.50 c encountered core-guided constraints 0
3600.06/3611.50 c LP total time 0 s
3600.06/3611.50 c LP solve time 0 s
3600.06/3611.50 c LP constraints added 0
3600.06/3611.50 c LP constraints removed 0
3600.06/3611.50 c LP pivots internal 0
3600.06/3611.50 c LP pivots root 0
3600.06/3611.50 c LP calls 0
3600.06/3611.50 c LP optimalities 0
3600.06/3611.50 c LP no pivot count 0
3600.06/3611.50 c LP infeasibilities 0
3600.06/3611.50 c LP valid Farkas constraints 0
3600.06/3611.50 c LP learned Farkas constraints 0
3600.06/3611.50 c LP basis resets 0
3600.06/3611.50 c LP cycling count 0
3600.06/3611.50 c LP singular count 0
3600.06/3611.50 c LP no primal count 0
3600.06/3611.50 c LP no farkas count 0
3600.06/3611.50 c LP other issue count 0
3600.06/3611.50 c LP Gomory cuts 0
3600.06/3611.50 c LP learned cuts 0
3600.06/3611.50 c LP deleted cuts 0
3600.06/3611.50 c LP encountered Gomory constraints 0
3600.06/3611.50 c LP encountered Farkas constraints 0
3600.06/3611.50 c LP encountered learned Farkas constraints 0
3600.06/3611.50 c CG auxiliary variables introduced 0
3600.06/3611.50 c CG solutions found 0
3600.06/3611.50 c CG cores constructed 0
3600.06/3611.50 c CG core cardinality constraints returned 0
3600.06/3611.50 c CG unit cores 0
3600.06/3611.50 c CG single cores 0
3600.06/3611.50 c CG blocks removed during cardinality reduction 0
3600.06/3611.50 c CG first core best 0
3600.06/3611.50 c CG decision core best 0
3600.06/3611.50 c CG core reduction tie 0
3600.06/3611.50 c CG core degree average 0.00
3600.06/3611.50 c CG core slack average 0.00
3600.06/3611.50 c CG exhausted 0
3600.06/3611.50 c CG exhaust time 0 s
3600.06/3611.50 c CG trimmed 0
3600.06/3611.50 c CG trim time 0 s
3600.06/3611.50 c CG minimized 0
3600.06/3611.50 c CG minimize time 0 s
3600.06/3611.50 c CG am1 prop time 0 s
3600.06/3611.50 c CG # am1s reformulated 0
3600.06/3611.50 c CG lower bound derived from am1s 0
3600.06/3611.50 c CG # clausal cores 0
3600.06/3611.50 c CG # cardinality cores 0
3600.06/3611.50 c CG # pb cores 0
3600.06/3611.50 c CG # pb reforms 0
3600.06/3611.50 c CG # cores discarded because of pb reform 0
3600.06/3611.50 d LOWERBOUND 0
3600.06/3611.50 d NCORES 0
3600.06/3611.50 d NPBCORES 0
3600.06/3611.50 d NPBREFORM 0
3600.06/3611.50 d NTRIMMED 0
3600.06/3611.50 d NEXHAUSTED 0
3600.06/3611.50 d NAM1S 0
3600.06/3611.50 d AM1LB 0
3600.06/3611.52 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: 63794 MiB (62198 MiB free)
memory of node 1: 64507 MiB (62401 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509604-1751526224/watcher-4509604-1751526224 -o /tmp/evaluation-result-4509604-1751526224/solver-4509604-1751526224 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751518082-70845 --watchdog 3760 pb-oll-rs HOME/instance-4509604-1751526224.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=71814, runsolver pid=71811
[startup+0.100078 s]*
/proc/loadavg: 4.18 4.13 4.13 5/250 71815
/proc/meminfo: memFree=127590180/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=23968 memory=9856 CPUtime=0.09 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 1343 0 0 0 7 2 0 0 20 0 1 0 68302072 24543232 2464 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 5992 2464 1312 243 0 2241 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23968 KiB
Current children cumulated memory: 9856 KiB
[startup+0.213227 s]*
/proc/loadavg: 4.18 4.13 4.13 5/250 71815
/proc/meminfo: memFree=127589680/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=24096 memory=10496 CPUtime=0.2 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 1529 0 0 0 18 2 0 0 20 0 1 0 68302072 24674304 2624 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 6024 2624 1312 243 0 2273 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 24096 KiB
Current children cumulated memory: 10496 KiB
[startup+0.313125 s]*
/proc/loadavg: 4.18 4.13 4.13 5/250 71815
/proc/meminfo: memFree=127589680/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=24480 memory=13236 CPUtime=0.31 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 1695 0 0 0 27 4 0 0 20 0 1 0 68302072 25067520 3309 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 6120 3309 1312 243 0 2369 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 24480 KiB
Current children cumulated memory: 13236 KiB
[startup+0.700306 s]
/proc/loadavg: 4.18 4.13 4.13 5/250 71815
/proc/meminfo: memFree=127589680/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=26104 memory=15284 CPUtime=0.68 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 2190 0 0 0 61 7 0 0 20 0 1 0 68302072 26730496 3821 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 6526 3821 1312 243 0 2775 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 26104 KiB
Current children cumulated memory: 15284 KiB
[startup+1.50028 s]
/proc/loadavg: 4.17 4.13 4.13 5/250 71815
/proc/meminfo: memFree=127589680/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=38216 memory=27604 CPUtime=1.47 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 4789 0 0 0 138 9 0 0 20 0 1 0 68302072 39133184 6901 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 9554 6901 1312 243 0 5803 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 38216 KiB
Current children cumulated memory: 27604 KiB
[startup+3.11291 s]
/proc/loadavg: 4.17 4.13 4.13 5/250 71815
/proc/meminfo: memFree=127554040/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=63860 memory=53348 CPUtime=3.08 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 10193 0 0 0 292 16 0 0 20 0 1 0 68302072 65392640 13337 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 15965 13337 1312 243 0 12214 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 63860 KiB
Current children cumulated memory: 53348 KiB
[startup+6.30027 s]
/proc/loadavg: 4.15 4.13 4.13 5/250 71815
/proc/meminfo: memFree=127521696/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=106960 memory=95832 CPUtime=6.25 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 18256 0 0 0 599 26 0 0 20 0 1 0 68302072 109527040 23958 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 26740 23958 1312 243 0 22989 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 106960 KiB
Current children cumulated memory: 95832 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.12 4.13 5/250 71815
/proc/meminfo: memFree=127456924/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=154568 memory=141444 CPUtime=12.64 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 25592 0 0 0 1217 47 0 0 20 0 1 0 68302072 158277632 35361 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 38642 35361 1312 243 0 34891 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 154568 KiB
Current children cumulated memory: 141444 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.12 4.12 5/251 71816
/proc/meminfo: memFree=127368592/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=259304 memory=216536 CPUtime=25.4 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 43342 0 0 0 2465 75 0 0 20 0 1 0 68302072 265527296 54134 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 64826 54134 1312 243 0 61075 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 259304 KiB
Current children cumulated memory: 216536 KiB
[startup+51.1131 s]
/proc/loadavg: 4.13 4.12 4.12 5/251 71817
/proc/meminfo: memFree=127320024/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=298448 memory=259512 CPUtime=50.93 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 52046 0 0 0 4968 125 0 0 20 0 1 0 68302072 305610752 64878 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 74612 64878 1312 243 0 70861 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 298448 KiB
Current children cumulated memory: 259512 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/250 71818
/proc/meminfo: memFree=127201380/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=415044 memory=350556 CPUtime=101.96 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 67205 0 0 0 10000 196 0 0 20 0 1 0 68302072 425005056 87639 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 103761 87639 1312 243 0 100010 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 415044 KiB
Current children cumulated memory: 350556 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.13 4.12 5/250 71820
/proc/meminfo: memFree=127101376/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=452640 memory=385616 CPUtime=161.77 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 75560 0 0 0 15884 293 0 0 20 0 1 0 68302072 463503360 96404 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 113160 96404 1312 243 0 109409 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 452640 KiB
Current children cumulated memory: 385616 KiB
[startup+222.3 s]
/proc/loadavg: 4.26 4.15 4.13 5/251 71872
/proc/meminfo: memFree=127931736/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=500572 memory=439696 CPUtime=221.59 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 86139 0 0 0 21786 373 0 0 20 0 1 0 68302072 512585728 109924 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 125143 109924 1312 243 0 121392 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 500572 KiB
Current children cumulated memory: 439696 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/252 71875
/proc/meminfo: memFree=127680148/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=607208 memory=549552 CPUtime=281.4 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 108550 0 0 0 27732 408 0 0 20 0 1 0 68302072 621780992 137388 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 151802 137388 1312 243 0 148051 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 607208 KiB
Current children cumulated memory: 549552 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.14 4.12 5/252 71878
/proc/meminfo: memFree=127329616/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=703628 memory=572936 CPUtime=341.22 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 112459 0 0 0 33635 487 0 0 20 0 1 0 68302072 720515072 143234 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 175907 143234 1312 243 0 172156 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 703628 KiB
Current children cumulated memory: 572936 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.15 4.12 5/252 71882
/proc/meminfo: memFree=127260240/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=711804 memory=579960 CPUtime=401.04 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 114376 0 0 0 39541 563 0 0 20 0 1 0 68302072 728887296 144990 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 177951 144990 1312 243 0 174200 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 711804 KiB
Current children cumulated memory: 579960 KiB
[startup+462.3 s]
/proc/loadavg: 4.75 4.32 4.18 5/252 71884
/proc/meminfo: memFree=127110468/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=766916 memory=646376 CPUtime=460.86 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 125428 0 0 0 45497 589 0 0 20 0 1 0 68302072 785321984 161594 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 191729 161594 1312 243 0 187978 0
################
# More data... #
################
Current children cumulated memory: 2247584 KiB
[startup+2922.3 s]
/proc/loadavg: 3.17 3.56 3.87 4/245 72028
/proc/meminfo: memFree=126257312/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=2823652 memory=2390860 CPUtime=2913.15 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 395499 0 0 0 289426 1889 0 0 20 0 1 0 68302072 2891419648 597715 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 705913 597715 1312 243 0 702162 0
Current children cumulated CPU time: 2913.15 s
Current children cumulated vsize: 2823652 KiB
Current children cumulated memory: 2390860 KiB
[startup+2982.3 s]
/proc/loadavg: 2.84 3.41 3.79 3/239 72061
/proc/meminfo: memFree=126807368/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=2999792 memory=2612080 CPUtime=2972.97 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 428813 0 0 0 295388 1909 0 0 20 0 1 0 68302072 3071787008 653020 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 749948 653020 1312 243 0 746197 0
Current children cumulated CPU time: 2972.97 s
Current children cumulated vsize: 2999792 KiB
Current children cumulated memory: 2612080 KiB
[startup+3042.3 s]
/proc/loadavg: 2.35 3.16 3.68 3/239 72063
/proc/meminfo: memFree=126809916/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=3001656 memory=2615888 CPUtime=3032.77 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 429263 0 0 0 301315 1962 0 0 20 0 1 0 68302072 3073695744 653972 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 750414 653972 1312 243 0 746663 0
Current children cumulated CPU time: 3032.77 s
Current children cumulated vsize: 3001656 KiB
Current children cumulated memory: 2615888 KiB
[startup+3102.3 s]
/proc/loadavg: 2.23 2.98 3.59 3/239 72065
/proc/meminfo: memFree=126810660/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=3001656 memory=2615888 CPUtime=3092.57 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 429263 0 0 0 307248 2009 0 0 20 0 1 0 68302072 3073695744 653972 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 750414 653972 1312 243 0 746663 0
Current children cumulated CPU time: 3092.57 s
Current children cumulated vsize: 3001656 KiB
Current children cumulated memory: 2615888 KiB
[startup+3162.3 s]
/proc/loadavg: 2.13 2.81 3.49 3/239 72068
/proc/meminfo: memFree=126808900/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=3001656 memory=2615888 CPUtime=3152.37 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 429263 0 0 0 313177 2060 0 0 20 0 1 0 68302072 3073695744 653972 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 750414 653972 1312 243 0 746663 0
Current children cumulated CPU time: 3152.37 s
Current children cumulated vsize: 3001656 KiB
Current children cumulated memory: 2615888 KiB
[startup+3222.3 s]
/proc/loadavg: 2.16 2.69 3.40 3/239 72070
/proc/meminfo: memFree=126811080/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=3001656 memory=2615888 CPUtime=3212.16 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 429263 0 0 0 319128 2088 0 0 20 0 1 0 68302072 3073695744 653972 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 750414 653972 1312 243 0 746663 0
Current children cumulated CPU time: 3212.16 s
Current children cumulated vsize: 3001656 KiB
Current children cumulated memory: 2615888 KiB
[startup+3282.3 s]
/proc/loadavg: 2.12 2.58 3.32 3/239 72076
/proc/meminfo: memFree=126821700/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=3001656 memory=2615888 CPUtime=3271.96 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 429938 0 0 0 325052 2144 0 0 20 0 1 0 68302072 3073695744 653972 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 750414 653972 1312 243 0 746663 0
Current children cumulated CPU time: 3271.96 s
Current children cumulated vsize: 3001656 KiB
Current children cumulated memory: 2615888 KiB
[startup+3342.3 s]
/proc/loadavg: 2.09 2.49 3.24 3/239 72078
/proc/meminfo: memFree=126822960/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=3001656 memory=2615888 CPUtime=3331.76 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 429938 0 0 0 330998 2178 0 0 20 0 1 0 68302072 3073695744 653972 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 750414 653972 1312 243 0 746663 0
Current children cumulated CPU time: 3331.76 s
Current children cumulated vsize: 3001656 KiB
Current children cumulated memory: 2615888 KiB
[startup+3402.3 s]
/proc/loadavg: 2.14 2.43 3.17 3/239 72080
/proc/meminfo: memFree=126808344/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=3023092 memory=2628176 CPUtime=3391.56 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 433011 0 0 0 336971 2185 0 0 20 0 1 0 68302072 3095646208 657044 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 755773 657044 1312 243 0 752022 0
Current children cumulated CPU time: 3391.56 s
Current children cumulated vsize: 3023092 KiB
Current children cumulated memory: 2628176 KiB
[startup+3462.3 s]
/proc/loadavg: 2.10 2.36 3.10 3/239 72096
/proc/meminfo: memFree=126810036/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=3024884 memory=2629456 CPUtime=3451.35 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 433451 0 0 0 342940 2195 0 0 20 0 1 0 68302072 3097481216 657364 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 756221 657364 1312 243 0 752470 0
Current children cumulated CPU time: 3451.35 s
Current children cumulated vsize: 3024884 KiB
Current children cumulated memory: 2629456 KiB
[startup+3522.3 s]
/proc/loadavg: 2.15 2.32 3.04 3/239 72098
/proc/meminfo: memFree=126812252/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=3025516 memory=2630096 CPUtime=3511.15 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 434161 0 0 0 348888 2227 0 0 20 0 1 0 68302072 3098128384 657524 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 756379 657524 1312 243 0 752628 0
Current children cumulated CPU time: 3511.15 s
Current children cumulated vsize: 3025516 KiB
Current children cumulated memory: 2630096 KiB
[startup+3582.3 s]
/proc/loadavg: 2.12 2.28 2.97 3/239 72100
/proc/meminfo: memFree=126814240/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=3025516 memory=2630096 CPUtime=3570.96 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 434162 0 0 0 354822 2274 0 0 20 0 1 0 68302072 3098128384 657524 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 756379 657524 1312 243 0 752628 0
Current children cumulated CPU time: 3570.96 s
Current children cumulated vsize: 3025516 KiB
Current children cumulated memory: 2630096 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 2.08 2.26 2.95 3/238 72101
/proc/meminfo: memFree=126814996/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=3025516 memory=2630096 CPUtime=3600.06 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 434162 0 0 0 357723 2283 0 0 20 0 1 0 68302072 3098128384 657524 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 756379 657524 1312 243 0 752628 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3025516 KiB
Current children cumulated memory: 2630096 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.55 s]
# the end of solver process 71814 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3577.24 s, system=22.8776 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.5 s]
/proc/loadavg: 2.08 2.26 2.95 3/238 72101
/proc/meminfo: memFree=126814996/131382112 swapFree=33010416/33010684
[pid=71814] ppid=71811 vsize=3025516 memory=2630096 CPUtime=3600.06 cores=0,2
/proc/71814/stat : 71814 (pb-oll-rs) R 71811 71814 70835 0 -1 4194304 434162 0 0 0 357723 2283 0 0 20 0 1 0 68302072 3098128384 657524 18446744073709551615 4218880 5211445 140729946652528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 36081664 140729946659228 140729946659305 140729946659305 140729946664907 0
/proc/71814/statm: 756379 657524 1312 243 0 752628 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3025516 KiB
Current children cumulated memory: 2630096 KiB
Child status: 0
Real time (s): 3611.55
CPU time (s): 3600.11
CPU user time (s): 3577.24
CPU system time (s): 22.8776
CPU usage (%): 99.6834
Max. virtual memory (cumulated for all children) (KiB): 3025516
Max. memory (cumulated for all children) (KiB): 2630096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.24
system time used= 22.8776
maximum resident set size= 2630480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 434177
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= 254
involuntary context switches= 8031
# summary of solver processes directly reported to runsolver:
# pid: 71814
# total CPU time (s): 3600.11
# total CPU user time (s): 3577.24
# total CPU system time (s): 22.8776
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1797 second user time and 34.0015 second system time
The end
Begin job on nodeC012 at 2025-07-03 09:03:44
IDJOB=4509604
IDBENCH=158625
IDSOLVER=3345
FILE ID=nodeC012/4509604-1751526224
RUNJOBID= nodeC012-1751518082-70845
SLURM_JOB_ID= 9598636
Free space on /tmp= 431880 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
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 -w /tmp/evaluation-result-4509604-1751526224/watcher-4509604-1751526224 -o /tmp/evaluation-result-4509604-1751526224/solver-4509604-1751526224 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751518082-70845 --watchdog 3760 pb-oll-rs HOME/instance-4509604-1751526224.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3f10ffbf957f8216a1934b9362956d36
RANDOM SEED=1048132310
nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.329
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.694
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.158
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.625
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.368
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3522.861
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.022
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.915
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 127589796 kB
MemAvailable: 127602340 kB
Buffers: 2136 kB
Cached: 813996 kB
SwapCached: 16 kB
Active: 3038980 kB
Inactive: 196292 kB
Active(anon): 2430088 kB
Inactive(anon): 6996 kB
Active(file): 608892 kB
Inactive(file): 189296 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 2100 kB
Writeback: 68 kB
AnonPages: 2422316 kB
Mapped: 107356 kB
Shmem: 17944 kB
KReclaimable: 107584 kB
Slab: 192848 kB
SReclaimable: 107584 kB
SUnreclaim: 85264 kB
KernelStack: 4064 kB
PageTables: 8280 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 3202840 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 204800 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431872 MiB
End job on nodeC012 at 2025-07-03 10:03:55