0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.02 c #variables 792 #constraints 1188
0.00/0.02 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.006905
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.009133
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.009133
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.009395
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.010028
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.010613
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.011337
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.012081
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.012709
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.013482
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.01431
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.017107
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.017107
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.019102
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.019361
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.020481
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.021061
0.08/0.11 c GLOBAL bounds - >= 0 @ 0.084729
0.08/0.20 c GLOBAL bounds - >= 0 @ 0.169172
0.29/0.36 c #Conflicts: 1000 | #Constraints: 2096
0.29/0.36 c GLOBAL bounds - >= 0 @ 0.326603
1.37/1.46 c #Conflicts: 2000 | #Constraints: 3098
1.37/1.46 c INPROCESSING
1.37/1.46 c GARBAGE COLLECT
1.37/1.46 c #Conflicts: 3000 | #Constraints: 3104
1.37/1.46 c #Conflicts: 4000 | #Constraints: 4104
1.37/1.46 c INPROCESSING
1.37/1.46 c GARBAGE COLLECT
1.37/1.46 c #Conflicts: 5000 | #Constraints: 3508
1.37/1.46 c GLOBAL bounds - >= 0 @ 1.37763
1.37/1.46 c GLOBAL bounds - >= 0 @ 1.37943
1.37/1.46 c GLOBAL bounds - >= 0 @ 1.38175
1.78/1.84 c #Conflicts: 6000 | #Constraints: 4514
1.78/1.84 c GLOBAL bounds - >= 0 @ 1.74355
33.15/33.37 c INPROCESSING
33.15/33.37 c GARBAGE COLLECT
33.15/33.37 c #Conflicts: 7000 | #Constraints: 3517
33.15/33.37 c #Conflicts: 8000 | #Constraints: 4517
33.15/33.37 c #Conflicts: 9000 | #Constraints: 5517
33.15/33.37 c INPROCESSING
33.15/33.37 c GARBAGE COLLECT
33.15/33.37 c #Conflicts: 10000 | #Constraints: 4218
33.15/33.37 c #Conflicts: 11000 | #Constraints: 5218
33.15/33.37 c #Conflicts: 12000 | #Constraints: 6218
33.15/33.37 c INPROCESSING
33.15/33.37 c GARBAGE COLLECT
33.15/33.37 c #Conflicts: 13000 | #Constraints: 4671
33.15/33.37 c #Conflicts: 14000 | #Constraints: 5671
33.15/33.37 c #Conflicts: 15000 | #Constraints: 6671
33.15/33.37 c INPROCESSING
33.15/33.37 c GARBAGE COLLECT
33.15/33.37 c #Conflicts: 16000 | #Constraints: 4898
33.15/33.37 c #Conflicts: 17000 | #Constraints: 5898
33.15/33.37 c #Conflicts: 18000 | #Constraints: 6898
33.15/33.37 c INPROCESSING
33.15/33.37 c GARBAGE COLLECT
33.15/33.37 c #Conflicts: 19000 | #Constraints: 4930
33.15/33.37 c #Conflicts: 20000 | #Constraints: 5930
33.15/33.37 c #Conflicts: 21000 | #Constraints: 6930
33.15/33.37 c INPROCESSING
33.15/33.37 c GARBAGE COLLECT
33.15/33.37 c #Conflicts: 22000 | #Constraints: 4737
33.15/33.37 c #Conflicts: 23000 | #Constraints: 5737
33.15/33.37 c #Conflicts: 24000 | #Constraints: 6737
33.15/33.37 c #Conflicts: 25000 | #Constraints: 7737
33.15/33.37 c INPROCESSING
33.15/33.37 c GARBAGE COLLECT
33.15/33.37 c #Conflicts: 26000 | #Constraints: 5338
33.15/33.37 c #Conflicts: 27000 | #Constraints: 6338
33.15/33.37 c #Conflicts: 28000 | #Constraints: 7338
33.15/33.37 c #Conflicts: 29000 | #Constraints: 8338
33.15/33.37 c INPROCESSING
33.15/33.37 c GARBAGE COLLECT
33.15/33.37 c #Conflicts: 30000 | #Constraints: 5740
33.15/33.37 c #Conflicts: 31000 | #Constraints: 6740
33.15/33.37 c #Conflicts: 32000 | #Constraints: 7740
33.15/33.37 c #Conflicts: 33000 | #Constraints: 8740
33.15/33.37 c INPROCESSING
33.15/33.37 c GARBAGE COLLECT
33.15/33.37 c #Conflicts: 34000 | #Constraints: 5937
33.15/33.37 c #Conflicts: 35000 | #Constraints: 6937
33.15/33.37 c #Conflicts: 36000 | #Constraints: 7937
33.15/33.37 c #Conflicts: 37000 | #Constraints: 8937
33.15/33.37 c INPROCESSING
33.15/33.37 c GARBAGE COLLECT
33.15/33.37 c #Conflicts: 38000 | #Constraints: 5932
33.15/33.37 c #Conflicts: 39000 | #Constraints: 6932
33.15/33.37 c #Conflicts: 40000 | #Constraints: 7932
33.15/33.37 c #Conflicts: 41000 | #Constraints: 8932
33.15/33.37 c INPROCESSING
33.15/33.37 c GARBAGE COLLECT
33.15/33.37 c #Conflicts: 42000 | #Constraints: 5728
33.15/33.37 c #Conflicts: 43000 | #Constraints: 6728
33.15/33.37 c #Conflicts: 44000 | #Constraints: 7728
33.15/33.37 c #Conflicts: 45000 | #Constraints: 8728
33.15/33.37 c #Conflicts: 46000 | #Constraints: 9728
33.15/33.37 c INPROCESSING
33.15/33.37 c GARBAGE COLLECT
33.15/33.37 c #Conflicts: 47000 | #Constraints: 6330
33.15/33.37 c #Conflicts: 48000 | #Constraints: 7330
33.15/33.37 c #Conflicts: 49000 | #Constraints: 8330
33.15/33.37 c #Conflicts: 50000 | #Constraints: 9330
33.15/33.37 c #Conflicts: 51000 | #Constraints: 10330
33.15/33.37 c INPROCESSING
33.15/33.37 c GARBAGE COLLECT
33.15/33.37 c #Conflicts: 52000 | #Constraints: 6740
33.15/33.37 c #Conflicts: 53000 | #Constraints: 7740
33.15/33.37 c #Conflicts: 54000 | #Constraints: 8740
33.15/33.37 c #Conflicts: 55000 | #Constraints: 9740
33.15/33.37 c #Conflicts: 56000 | #Constraints: 10740
33.15/33.37 c INPROCESSING
33.15/33.37 c GARBAGE COLLECT
33.15/33.37 c #Conflicts: 57000 | #Constraints: 6952
33.15/33.37 c #Conflicts: 58000 | #Constraints: 7952
33.15/33.37 c #Conflicts: 59000 | #Constraints: 8952
33.15/33.37 c #Conflicts: 60000 | #Constraints: 9952
33.15/33.37 c #Conflicts: 61000 | #Constraints: 10952
33.15/33.37 c INPROCESSING
33.15/33.37 c GARBAGE COLLECT
33.15/33.37 c #Conflicts: 62000 | #Constraints: 6954
33.15/33.37 c #Conflicts: 63000 | #Constraints: 7954
33.15/33.37 c #Conflicts: 64000 | #Constraints: 8954
33.15/33.37 c #Conflicts: 65000 | #Constraints: 9954
33.15/33.37 c #Conflicts: 66000 | #Constraints: 10954
33.15/33.37 c INPROCESSING
33.15/33.37 c GARBAGE COLLECT
33.15/33.37 c #Conflicts: 67000 | #Constraints: 6746
33.15/33.37 c #Conflicts: 68000 | #Constraints: 7746
33.15/33.37 c #Conflicts: 69000 | #Constraints: 8746
33.15/33.37 c #Conflicts: 70000 | #Constraints: 9746
33.15/33.37 c #Conflicts: 71000 | #Constraints: 10746
33.15/33.37 c #Conflicts: 72000 | #Constraints: 11746
33.15/33.37 c INPROCESSING
33.15/33.37 c GARBAGE COLLECT
33.15/33.37 c #Conflicts: 73000 | #Constraints: 7341
33.15/33.37 c #Conflicts: 74000 | #Constraints: 8341
77.86/78.45 c #Conflicts: 75000 | #Constraints: 9341
77.86/78.45 c #Conflicts: 76000 | #Constraints: 10341
77.86/78.45 c #Conflicts: 77000 | #Constraints: 11341
77.86/78.45 c #Conflicts: 78000 | #Constraints: 12341
77.86/78.45 c INPROCESSING
77.86/78.45 c GARBAGE COLLECT
77.86/78.45 c #Conflicts: 79000 | #Constraints: 7737
77.86/78.45 c #Conflicts: 80000 | #Constraints: 8737
77.86/78.45 c #Conflicts: 81000 | #Constraints: 9737
77.86/78.45 c #Conflicts: 82000 | #Constraints: 10737
77.86/78.45 c #Conflicts: 83000 | #Constraints: 11737
77.86/78.45 c #Conflicts: 84000 | #Constraints: 12737
77.86/78.45 c INPROCESSING
77.86/78.45 c GARBAGE COLLECT
77.86/78.45 c #Conflicts: 85000 | #Constraints: 7943
77.86/78.45 c #Conflicts: 86000 | #Constraints: 8943
77.86/78.45 c #Conflicts: 87000 | #Constraints: 9943
77.86/78.45 c #Conflicts: 88000 | #Constraints: 10943
77.86/78.45 c #Conflicts: 89000 | #Constraints: 11943
77.86/78.45 c #Conflicts: 90000 | #Constraints: 12943
77.86/78.45 c INPROCESSING
77.86/78.45 c GARBAGE COLLECT
77.86/78.45 c #Conflicts: 91000 | #Constraints: 7957
77.86/78.45 c #Conflicts: 92000 | #Constraints: 8957
77.86/78.45 c #Conflicts: 93000 | #Constraints: 9957
77.86/78.45 c #Conflicts: 94000 | #Constraints: 10957
77.86/78.45 c #Conflicts: 95000 | #Constraints: 11957
77.86/78.45 c #Conflicts: 96000 | #Constraints: 12957
77.86/78.45 c INPROCESSING
77.86/78.45 c GARBAGE COLLECT
77.86/78.45 c #Conflicts: 97000 | #Constraints: 7762
77.86/78.45 c #Conflicts: 98000 | #Constraints: 8762
77.86/78.45 c #Conflicts: 99000 | #Constraints: 9762
77.86/78.45 c #Conflicts: 100000 | #Constraints: 10762
77.86/78.45 c #Conflicts: 101000 | #Constraints: 11762
77.86/78.45 c #Conflicts: 102000 | #Constraints: 12762
77.86/78.45 c #Conflicts: 103000 | #Constraints: 13762
77.86/78.45 c INPROCESSING
77.86/78.45 c GARBAGE COLLECT
77.86/78.45 c #Conflicts: 104000 | #Constraints: 8356
77.86/78.45 c #Conflicts: 105000 | #Constraints: 9356
77.86/78.45 c #Conflicts: 106000 | #Constraints: 10356
77.86/78.45 c #Conflicts: 107000 | #Constraints: 11356
77.86/78.45 c #Conflicts: 108000 | #Constraints: 12356
77.86/78.45 c #Conflicts: 109000 | #Constraints: 13356
77.86/78.45 c #Conflicts: 110000 | #Constraints: 14356
77.86/78.45 c INPROCESSING
77.86/78.45 c GARBAGE COLLECT
77.86/78.45 c #Conflicts: 111000 | #Constraints: 8748
77.86/78.45 c #Conflicts: 112000 | #Constraints: 9748
77.86/78.45 c #Conflicts: 113000 | #Constraints: 10748
77.86/78.45 c #Conflicts: 114000 | #Constraints: 11748
77.86/78.45 c #Conflicts: 115000 | #Constraints: 12748
77.86/78.45 c #Conflicts: 116000 | #Constraints: 13748
77.86/78.45 c #Conflicts: 117000 | #Constraints: 14748
77.86/78.45 c INPROCESSING
77.86/78.45 c GARBAGE COLLECT
77.86/78.45 c #Conflicts: 118000 | #Constraints: 8943
77.86/78.45 c #Conflicts: 119000 | #Constraints: 9943
77.86/78.45 c #Conflicts: 120000 | #Constraints: 10943
77.86/78.45 c #Conflicts: 121000 | #Constraints: 11943
77.86/78.45 c #Conflicts: 122000 | #Constraints: 12943
77.86/78.45 c #Conflicts: 123000 | #Constraints: 13943
77.86/78.45 c #Conflicts: 124000 | #Constraints: 14943
77.86/78.45 c INPROCESSING
77.86/78.45 c GARBAGE COLLECT
77.86/78.45 c #Conflicts: 125000 | #Constraints: 8940
77.86/78.45 c #Conflicts: 126000 | #Constraints: 9940
77.86/78.45 c #Conflicts: 127000 | #Constraints: 10940
77.86/78.45 c #Conflicts: 128000 | #Constraints: 11940
77.86/78.45 c #Conflicts: 129000 | #Constraints: 12940
77.86/78.45 c #Conflicts: 130000 | #Constraints: 13940
77.86/78.45 c #Conflicts: 131000 | #Constraints: 14940
77.86/78.45 c INPROCESSING
77.86/78.45 c GARBAGE COLLECT
77.86/78.45 c #Conflicts: 132000 | #Constraints: 8742
77.86/78.45 c #Conflicts: 133000 | #Constraints: 9742
77.86/78.45 c #Conflicts: 134000 | #Constraints: 10742
77.86/78.45 c #Conflicts: 135000 | #Constraints: 11742
77.86/78.45 c #Conflicts: 136000 | #Constraints: 12742
77.86/78.45 c #Conflicts: 137000 | #Constraints: 13742
77.86/78.45 c #Conflicts: 138000 | #Constraints: 14742
77.86/78.45 c #Conflicts: 139000 | #Constraints: 15742
77.86/78.45 c INPROCESSING
77.86/78.45 c GARBAGE COLLECT
77.86/78.45 c #Conflicts: 140000 | #Constraints: 9349
77.86/78.45 c #Conflicts: 141000 | #Constraints: 10349
77.86/78.45 c #Conflicts: 142000 | #Constraints: 11349
77.86/78.45 c #Conflicts: 143000 | #Constraints: 12349
77.86/78.45 c #Conflicts: 144000 | #Constraints: 13349
77.86/78.45 c #Conflicts: 145000 | #Constraints: 14349
77.86/78.45 c #Conflicts: 146000 | #Constraints: 15349
77.86/78.45 c #Conflicts: 147000 | #Constraints: 16349
128.27/129.03 c INPROCESSING
128.27/129.03 c GARBAGE COLLECT
128.27/129.03 c #Conflicts: 148000 | #Constraints: 9752
128.27/129.03 c #Conflicts: 149000 | #Constraints: 10752
128.27/129.03 c #Conflicts: 150000 | #Constraints: 11752
128.27/129.03 c #Conflicts: 151000 | #Constraints: 12752
128.27/129.03 c #Conflicts: 152000 | #Constraints: 13752
128.27/129.03 c #Conflicts: 153000 | #Constraints: 14752
128.27/129.03 c #Conflicts: 154000 | #Constraints: 15752
128.27/129.03 c #Conflicts: 155000 | #Constraints: 16752
128.27/129.03 c INPROCESSING
128.27/129.03 c GARBAGE COLLECT
128.27/129.03 c #Conflicts: 156000 | #Constraints: 9951
128.27/129.03 c #Conflicts: 157000 | #Constraints: 10951
128.27/129.03 c #Conflicts: 158000 | #Constraints: 11951
128.27/129.03 c #Conflicts: 159000 | #Constraints: 12951
128.27/129.03 c #Conflicts: 160000 | #Constraints: 13951
128.27/129.03 c #Conflicts: 161000 | #Constraints: 14951
128.27/129.03 c #Conflicts: 162000 | #Constraints: 15951
128.27/129.03 c #Conflicts: 163000 | #Constraints: 16951
128.27/129.03 c INPROCESSING
128.27/129.03 c GARBAGE COLLECT
128.27/129.03 c #Conflicts: 164000 | #Constraints: 9947
128.27/129.03 c #Conflicts: 165000 | #Constraints: 10947
128.27/129.03 c #Conflicts: 166000 | #Constraints: 11947
128.27/129.03 c #Conflicts: 167000 | #Constraints: 12947
128.27/129.03 c #Conflicts: 168000 | #Constraints: 13947
128.27/129.03 c #Conflicts: 169000 | #Constraints: 14947
128.27/129.03 c #Conflicts: 170000 | #Constraints: 15947
128.27/129.03 c #Conflicts: 171000 | #Constraints: 16947
128.27/129.03 c INPROCESSING
128.27/129.03 c GARBAGE COLLECT
128.27/129.03 c #Conflicts: 172000 | #Constraints: 9743
128.27/129.03 c #Conflicts: 173000 | #Constraints: 10743
128.27/129.03 c #Conflicts: 174000 | #Constraints: 11743
128.27/129.03 c #Conflicts: 175000 | #Constraints: 12743
128.27/129.03 c #Conflicts: 176000 | #Constraints: 13743
128.27/129.03 c #Conflicts: 177000 | #Constraints: 14743
128.27/129.03 c #Conflicts: 178000 | #Constraints: 15743
128.27/129.03 c #Conflicts: 179000 | #Constraints: 16743
128.27/129.03 c #Conflicts: 180000 | #Constraints: 17743
128.27/129.03 c INPROCESSING
128.27/129.03 c GARBAGE COLLECT
128.27/129.03 c #Conflicts: 181000 | #Constraints: 10351
128.27/129.03 c #Conflicts: 182000 | #Constraints: 11351
128.27/129.03 c #Conflicts: 183000 | #Constraints: 12351
128.27/129.03 c #Conflicts: 184000 | #Constraints: 13351
128.27/129.03 c #Conflicts: 185000 | #Constraints: 14351
128.27/129.03 c #Conflicts: 186000 | #Constraints: 15351
128.27/129.03 c #Conflicts: 187000 | #Constraints: 16351
128.27/129.03 c #Conflicts: 188000 | #Constraints: 17351
128.27/129.03 c #Conflicts: 189000 | #Constraints: 18351
128.27/129.03 c INPROCESSING
128.27/129.03 c GARBAGE COLLECT
128.27/129.03 c #Conflicts: 190000 | #Constraints: 10752
128.27/129.03 c #Conflicts: 191000 | #Constraints: 11752
128.27/129.03 c #Conflicts: 192000 | #Constraints: 12752
128.27/129.03 c #Conflicts: 193000 | #Constraints: 13752
128.27/129.03 c #Conflicts: 194000 | #Constraints: 14752
128.27/129.03 c #Conflicts: 195000 | #Constraints: 15752
128.27/129.03 c #Conflicts: 196000 | #Constraints: 16752
128.27/129.03 c #Conflicts: 197000 | #Constraints: 17752
128.27/129.03 c #Conflicts: 198000 | #Constraints: 18752
128.27/129.03 c INPROCESSING
128.27/129.03 c GARBAGE COLLECT
128.27/129.03 c #Conflicts: 199000 | #Constraints: 10967
128.27/129.03 c #Conflicts: 200000 | #Constraints: 11967
128.27/129.03 c #Conflicts: 201000 | #Constraints: 12967
128.27/129.03 c #Conflicts: 202000 | #Constraints: 13967
128.27/129.03 c #Conflicts: 203000 | #Constraints: 14967
128.27/129.03 c #Conflicts: 204000 | #Constraints: 15967
128.27/129.03 c #Conflicts: 205000 | #Constraints: 16967
128.27/129.03 c #Conflicts: 206000 | #Constraints: 17967
128.27/129.03 c #Conflicts: 207000 | #Constraints: 18967
128.27/129.03 c INPROCESSING
128.27/129.03 c GARBAGE COLLECT
128.27/129.03 c #Conflicts: 208000 | #Constraints: 10961
128.27/129.03 c #Conflicts: 209000 | #Constraints: 11961
128.27/129.03 c #Conflicts: 210000 | #Constraints: 12961
128.27/129.03 c #Conflicts: 211000 | #Constraints: 13961
128.27/129.03 c #Conflicts: 212000 | #Constraints: 14961
128.27/129.03 c #Conflicts: 213000 | #Constraints: 15961
128.27/129.03 c #Conflicts: 214000 | #Constraints: 16961
128.27/129.03 c #Conflicts: 215000 | #Constraints: 17961
128.27/129.03 c #Conflicts: 216000 | #Constraints: 18961
128.27/129.03 c INPROCESSING
128.27/129.03 c GARBAGE COLLECT
128.27/129.03 c #Conflicts: 217000 | #Constraints: 10756
128.27/129.03 c #Conflicts: 218000 | #Constraints: 11756
128.27/129.03 c #Conflicts: 219000 | #Constraints: 12756
128.27/129.03 c #Conflicts: 220000 | #Constraints: 13756
191.93/192.92 c #Conflicts: 221000 | #Constraints: 14756
191.93/192.92 c #Conflicts: 222000 | #Constraints: 15756
191.93/192.92 c #Conflicts: 223000 | #Constraints: 16756
191.93/192.92 c #Conflicts: 224000 | #Constraints: 17756
191.93/192.92 c #Conflicts: 225000 | #Constraints: 18756
191.93/192.92 c #Conflicts: 226000 | #Constraints: 19756
191.93/192.92 c INPROCESSING
191.93/192.92 c GARBAGE COLLECT
191.93/192.92 c #Conflicts: 227000 | #Constraints: 11361
191.93/192.92 c #Conflicts: 228000 | #Constraints: 12361
191.93/192.92 c #Conflicts: 229000 | #Constraints: 13361
191.93/192.92 c #Conflicts: 230000 | #Constraints: 14361
191.93/192.92 c #Conflicts: 231000 | #Constraints: 15361
191.93/192.92 c #Conflicts: 232000 | #Constraints: 16361
191.93/192.92 c #Conflicts: 233000 | #Constraints: 17361
191.93/192.92 c #Conflicts: 234000 | #Constraints: 18361
191.93/192.92 c #Conflicts: 235000 | #Constraints: 19361
191.93/192.92 c #Conflicts: 236000 | #Constraints: 20361
191.93/192.92 c INPROCESSING
191.93/192.92 c GARBAGE COLLECT
191.93/192.92 c #Conflicts: 237000 | #Constraints: 11756
191.93/192.92 c #Conflicts: 238000 | #Constraints: 12756
191.93/192.92 c #Conflicts: 239000 | #Constraints: 13756
191.93/192.92 c #Conflicts: 240000 | #Constraints: 14756
191.93/192.92 c #Conflicts: 241000 | #Constraints: 15756
191.93/192.92 c #Conflicts: 242000 | #Constraints: 16756
191.93/192.92 c #Conflicts: 243000 | #Constraints: 17756
191.93/192.92 c #Conflicts: 244000 | #Constraints: 18756
191.93/192.92 c #Conflicts: 245000 | #Constraints: 19756
191.93/192.92 c #Conflicts: 246000 | #Constraints: 20756
191.93/192.92 c INPROCESSING
191.93/192.92 c GARBAGE COLLECT
191.93/192.92 c #Conflicts: 247000 | #Constraints: 11949
191.93/192.92 c #Conflicts: 248000 | #Constraints: 12949
191.93/192.92 c #Conflicts: 249000 | #Constraints: 13949
191.93/192.92 c #Conflicts: 250000 | #Constraints: 14949
191.93/192.92 c #Conflicts: 251000 | #Constraints: 15949
191.93/192.92 c #Conflicts: 252000 | #Constraints: 16949
191.93/192.92 c #Conflicts: 253000 | #Constraints: 17949
191.93/192.92 c #Conflicts: 254000 | #Constraints: 18949
191.93/192.92 c #Conflicts: 255000 | #Constraints: 19949
191.93/192.92 c #Conflicts: 256000 | #Constraints: 20949
191.93/192.92 c INPROCESSING
191.93/192.92 c GARBAGE COLLECT
191.93/192.92 c #Conflicts: 257000 | #Constraints: 11952
191.93/192.92 c #Conflicts: 258000 | #Constraints: 12952
191.93/192.92 c #Conflicts: 259000 | #Constraints: 13952
191.93/192.92 c #Conflicts: 260000 | #Constraints: 14952
191.93/192.92 c #Conflicts: 261000 | #Constraints: 15952
191.93/192.92 c #Conflicts: 262000 | #Constraints: 16952
191.93/192.92 c #Conflicts: 263000 | #Constraints: 17952
191.93/192.92 c #Conflicts: 264000 | #Constraints: 18952
191.93/192.92 c #Conflicts: 265000 | #Constraints: 19952
191.93/192.92 c #Conflicts: 266000 | #Constraints: 20952
191.93/192.92 c INPROCESSING
191.93/192.92 c GARBAGE COLLECT
191.93/192.92 c #Conflicts: 267000 | #Constraints: 11749
191.93/192.92 c #Conflicts: 268000 | #Constraints: 12749
191.93/192.92 c #Conflicts: 269000 | #Constraints: 13749
191.93/192.92 c #Conflicts: 270000 | #Constraints: 14749
191.93/192.92 c #Conflicts: 271000 | #Constraints: 15749
191.93/192.92 c #Conflicts: 272000 | #Constraints: 16749
191.93/192.92 c #Conflicts: 273000 | #Constraints: 17749
191.93/192.92 c #Conflicts: 274000 | #Constraints: 18749
191.93/192.92 c #Conflicts: 275000 | #Constraints: 19749
191.93/192.92 c #Conflicts: 276000 | #Constraints: 20749
191.93/192.92 c #Conflicts: 277000 | #Constraints: 21749
191.93/192.92 c INPROCESSING
191.93/192.92 c GARBAGE COLLECT
191.93/192.92 c #Conflicts: 278000 | #Constraints: 12352
191.93/192.92 c #Conflicts: 279000 | #Constraints: 13352
191.93/192.92 c #Conflicts: 280000 | #Constraints: 14352
191.93/192.92 c #Conflicts: 281000 | #Constraints: 15352
191.93/192.92 c #Conflicts: 282000 | #Constraints: 16352
191.93/192.92 c #Conflicts: 283000 | #Constraints: 17352
191.93/192.92 c #Conflicts: 284000 | #Constraints: 18352
191.93/192.92 c #Conflicts: 285000 | #Constraints: 19352
191.93/192.92 c #Conflicts: 286000 | #Constraints: 20352
191.93/192.92 c #Conflicts: 287000 | #Constraints: 21352
191.93/192.92 c #Conflicts: 288000 | #Constraints: 22352
191.93/192.92 c INPROCESSING
191.93/192.92 c GARBAGE COLLECT
191.93/192.92 c #Conflicts: 289000 | #Constraints: 12765
191.93/192.92 c #Conflicts: 290000 | #Constraints: 13765
191.93/192.92 c #Conflicts: 291000 | #Constraints: 14765
191.93/192.92 c #Conflicts: 292000 | #Constraints: 15765
191.93/192.92 c #Conflicts: 293000 | #Constraints: 16765
191.93/192.92 c #Conflicts: 294000 | #Constraints: 17765
261.67/262.99 c #Conflicts: 295000 | #Constraints: 18765
261.67/262.99 c #Conflicts: 296000 | #Constraints: 19765
261.67/262.99 c #Conflicts: 297000 | #Constraints: 20765
261.67/262.99 c #Conflicts: 298000 | #Constraints: 21765
261.67/262.99 c #Conflicts: 299000 | #Constraints: 22765
261.67/262.99 c INPROCESSING
261.67/262.99 c GARBAGE COLLECT
261.67/262.99 c #Conflicts: 300000 | #Constraints: 12961
261.67/262.99 c #Conflicts: 301000 | #Constraints: 13961
261.67/262.99 c #Conflicts: 302000 | #Constraints: 14961
261.67/262.99 c #Conflicts: 303000 | #Constraints: 15961
261.67/262.99 c #Conflicts: 304000 | #Constraints: 16961
261.67/262.99 c #Conflicts: 305000 | #Constraints: 17961
261.67/262.99 c #Conflicts: 306000 | #Constraints: 18961
261.67/262.99 c #Conflicts: 307000 | #Constraints: 19961
261.67/262.99 c #Conflicts: 308000 | #Constraints: 20961
261.67/262.99 c #Conflicts: 309000 | #Constraints: 21961
261.67/262.99 c #Conflicts: 310000 | #Constraints: 22961
261.67/262.99 c INPROCESSING
261.67/262.99 c GARBAGE COLLECT
261.67/262.99 c #Conflicts: 311000 | #Constraints: 12967
261.67/262.99 c #Conflicts: 312000 | #Constraints: 13967
261.67/262.99 c #Conflicts: 313000 | #Constraints: 14967
261.67/262.99 c #Conflicts: 314000 | #Constraints: 15967
261.67/262.99 c #Conflicts: 315000 | #Constraints: 16967
261.67/262.99 c #Conflicts: 316000 | #Constraints: 17967
261.67/262.99 c #Conflicts: 317000 | #Constraints: 18967
261.67/262.99 c #Conflicts: 318000 | #Constraints: 19967
261.67/262.99 c #Conflicts: 319000 | #Constraints: 20967
261.67/262.99 c #Conflicts: 320000 | #Constraints: 21967
261.67/262.99 c #Conflicts: 321000 | #Constraints: 22967
261.67/262.99 c INPROCESSING
261.67/262.99 c GARBAGE COLLECT
261.67/262.99 c #Conflicts: 322000 | #Constraints: 12772
261.67/262.99 c #Conflicts: 323000 | #Constraints: 13772
261.67/262.99 c #Conflicts: 324000 | #Constraints: 14772
261.67/262.99 c #Conflicts: 325000 | #Constraints: 15772
261.67/262.99 c #Conflicts: 326000 | #Constraints: 16772
261.67/262.99 c #Conflicts: 327000 | #Constraints: 17772
261.67/262.99 c #Conflicts: 328000 | #Constraints: 18772
261.67/262.99 c #Conflicts: 329000 | #Constraints: 19772
261.67/262.99 c #Conflicts: 330000 | #Constraints: 20772
261.67/262.99 c #Conflicts: 331000 | #Constraints: 21772
261.67/262.99 c #Conflicts: 332000 | #Constraints: 22772
261.67/262.99 c #Conflicts: 333000 | #Constraints: 23772
261.67/262.99 c INPROCESSING
261.67/262.99 c GARBAGE COLLECT
261.67/262.99 c #Conflicts: 334000 | #Constraints: 13375
261.67/262.99 c #Conflicts: 335000 | #Constraints: 14375
261.67/262.99 c #Conflicts: 336000 | #Constraints: 15375
261.67/262.99 c #Conflicts: 337000 | #Constraints: 16375
261.67/262.99 c #Conflicts: 338000 | #Constraints: 17375
261.67/262.99 c #Conflicts: 339000 | #Constraints: 18375
261.67/262.99 c #Conflicts: 340000 | #Constraints: 19375
261.67/262.99 c #Conflicts: 341000 | #Constraints: 20375
261.67/262.99 c #Conflicts: 342000 | #Constraints: 21375
261.67/262.99 c #Conflicts: 343000 | #Constraints: 22375
261.67/262.99 c #Conflicts: 344000 | #Constraints: 23375
261.67/262.99 c #Conflicts: 345000 | #Constraints: 24375
261.67/262.99 c INPROCESSING
261.67/262.99 c GARBAGE COLLECT
261.67/262.99 c #Conflicts: 346000 | #Constraints: 13771
261.67/262.99 c #Conflicts: 347000 | #Constraints: 14771
261.67/262.99 c #Conflicts: 348000 | #Constraints: 15771
261.67/262.99 c #Conflicts: 349000 | #Constraints: 16771
261.67/262.99 c #Conflicts: 350000 | #Constraints: 17771
261.67/262.99 c #Conflicts: 351000 | #Constraints: 18771
261.67/262.99 c #Conflicts: 352000 | #Constraints: 19771
261.67/262.99 c #Conflicts: 353000 | #Constraints: 20771
261.67/262.99 c #Conflicts: 354000 | #Constraints: 21771
261.67/262.99 c #Conflicts: 355000 | #Constraints: 22771
261.67/262.99 c #Conflicts: 356000 | #Constraints: 23771
261.67/262.99 c #Conflicts: 357000 | #Constraints: 24771
261.67/262.99 c INPROCESSING
261.67/262.99 c GARBAGE COLLECT
261.67/262.99 c #Conflicts: 358000 | #Constraints: 13972
261.67/262.99 c #Conflicts: 359000 | #Constraints: 14972
261.67/262.99 c #Conflicts: 360000 | #Constraints: 15972
261.67/262.99 c #Conflicts: 361000 | #Constraints: 16972
261.67/262.99 c #Conflicts: 362000 | #Constraints: 17972
261.67/262.99 c #Conflicts: 363000 | #Constraints: 18972
261.67/262.99 c #Conflicts: 364000 | #Constraints: 19972
261.67/262.99 c #Conflicts: 365000 | #Constraints: 20972
261.67/262.99 c #Conflicts: 366000 | #Constraints: 21972
261.67/262.99 c #Conflicts: 367000 | #Constraints: 22972
261.67/262.99 c #Conflicts: 368000 | #Constraints: 23972
261.67/262.99 c #Conflicts: 369000 | #Constraints: 24972
332.40/333.93 c INPROCESSING
332.40/333.93 c GARBAGE COLLECT
332.40/333.93 c #Conflicts: 370000 | #Constraints: 13970
332.40/333.93 c #Conflicts: 371000 | #Constraints: 14970
332.40/333.93 c #Conflicts: 372000 | #Constraints: 15970
332.40/333.93 c #Conflicts: 373000 | #Constraints: 16970
332.40/333.93 c #Conflicts: 374000 | #Constraints: 17970
332.40/333.93 c #Conflicts: 375000 | #Constraints: 18970
332.40/333.93 c #Conflicts: 376000 | #Constraints: 19970
332.40/333.93 c #Conflicts: 377000 | #Constraints: 20970
332.40/333.93 c #Conflicts: 378000 | #Constraints: 21970
332.40/333.93 c #Conflicts: 379000 | #Constraints: 22970
332.40/333.93 c #Conflicts: 380000 | #Constraints: 23970
332.40/333.93 c #Conflicts: 381000 | #Constraints: 24970
332.40/333.93 c INPROCESSING
332.40/333.93 c GARBAGE COLLECT
332.40/333.93 c #Conflicts: 382000 | #Constraints: 13763
332.40/333.93 c #Conflicts: 383000 | #Constraints: 14763
332.40/333.93 c #Conflicts: 384000 | #Constraints: 15763
332.40/333.93 c #Conflicts: 385000 | #Constraints: 16763
332.40/333.93 c #Conflicts: 386000 | #Constraints: 17763
332.40/333.93 c #Conflicts: 387000 | #Constraints: 18763
332.40/333.93 c #Conflicts: 388000 | #Constraints: 19763
332.40/333.93 c #Conflicts: 389000 | #Constraints: 20763
332.40/333.93 c #Conflicts: 390000 | #Constraints: 21763
332.40/333.93 c #Conflicts: 391000 | #Constraints: 22763
332.40/333.93 c #Conflicts: 392000 | #Constraints: 23763
332.40/333.93 c #Conflicts: 393000 | #Constraints: 24763
332.40/333.93 c #Conflicts: 394000 | #Constraints: 25763
332.40/333.93 c INPROCESSING
332.40/333.93 c GARBAGE COLLECT
332.40/333.93 c #Conflicts: 395000 | #Constraints: 14373
332.40/333.93 c #Conflicts: 396000 | #Constraints: 15373
332.40/333.93 c #Conflicts: 397000 | #Constraints: 16373
332.40/333.93 c #Conflicts: 398000 | #Constraints: 17373
332.40/333.93 c #Conflicts: 399000 | #Constraints: 18373
332.40/333.93 c #Conflicts: 400000 | #Constraints: 19373
332.40/333.93 c #Conflicts: 401000 | #Constraints: 20373
332.40/333.93 c #Conflicts: 402000 | #Constraints: 21373
332.40/333.93 c #Conflicts: 403000 | #Constraints: 22373
332.40/333.93 c #Conflicts: 404000 | #Constraints: 23373
332.40/333.93 c #Conflicts: 405000 | #Constraints: 24373
332.40/333.93 c #Conflicts: 406000 | #Constraints: 25373
332.40/333.93 c #Conflicts: 407000 | #Constraints: 26373
332.40/333.93 c INPROCESSING
332.40/333.93 c GARBAGE COLLECT
332.40/333.93 c #Conflicts: 408000 | #Constraints: 14776
332.40/333.93 c #Conflicts: 409000 | #Constraints: 15776
332.40/333.93 c #Conflicts: 410000 | #Constraints: 16776
332.40/333.93 c #Conflicts: 411000 | #Constraints: 17776
332.40/333.93 c #Conflicts: 412000 | #Constraints: 18776
332.40/333.93 c #Conflicts: 413000 | #Constraints: 19776
332.40/333.93 c #Conflicts: 414000 | #Constraints: 20776
332.40/333.93 c #Conflicts: 415000 | #Constraints: 21776
332.40/333.93 c #Conflicts: 416000 | #Constraints: 22776
332.40/333.93 c #Conflicts: 417000 | #Constraints: 23776
332.40/333.93 c #Conflicts: 418000 | #Constraints: 24776
332.40/333.93 c #Conflicts: 419000 | #Constraints: 25776
332.40/333.93 c #Conflicts: 420000 | #Constraints: 26776
332.40/333.93 c INPROCESSING
332.40/333.93 c GARBAGE COLLECT
332.40/333.93 c #Conflicts: 421000 | #Constraints: 14963
332.40/333.93 c #Conflicts: 422000 | #Constraints: 15963
332.40/333.93 c #Conflicts: 423000 | #Constraints: 16963
332.40/333.93 c #Conflicts: 424000 | #Constraints: 17963
332.40/333.93 c #Conflicts: 425000 | #Constraints: 18963
332.40/333.93 c #Conflicts: 426000 | #Constraints: 19963
332.40/333.93 c #Conflicts: 427000 | #Constraints: 20963
332.40/333.93 c #Conflicts: 428000 | #Constraints: 21963
332.40/333.93 c #Conflicts: 429000 | #Constraints: 22963
332.40/333.93 c #Conflicts: 430000 | #Constraints: 23963
332.40/333.93 c #Conflicts: 431000 | #Constraints: 24963
332.40/333.93 c #Conflicts: 432000 | #Constraints: 25963
332.40/333.93 c #Conflicts: 433000 | #Constraints: 26963
332.40/333.93 c INPROCESSING
332.40/333.93 c GARBAGE COLLECT
332.40/333.93 c #Conflicts: 434000 | #Constraints: 14965
332.40/333.93 c #Conflicts: 435000 | #Constraints: 15965
332.40/333.93 c #Conflicts: 436000 | #Constraints: 16965
332.40/333.93 c #Conflicts: 437000 | #Constraints: 17965
332.40/333.93 c #Conflicts: 438000 | #Constraints: 18965
332.40/333.93 c #Conflicts: 439000 | #Constraints: 19965
332.40/333.93 c #Conflicts: 440000 | #Constraints: 20965
332.40/333.93 c #Conflicts: 441000 | #Constraints: 21965
332.40/333.93 c #Conflicts: 442000 | #Constraints: 22965
332.40/333.93 c #Conflicts: 443000 | #Constraints: 23965
332.40/333.93 c #Conflicts: 444000 | #Constraints: 24965
407.95/409.79 c #Conflicts: 445000 | #Constraints: 25965
407.95/409.79 c #Conflicts: 446000 | #Constraints: 26965
407.95/409.79 c INPROCESSING
407.95/409.79 c GARBAGE COLLECT
407.95/409.79 c #Conflicts: 447000 | #Constraints: 14775
407.95/409.79 c #Conflicts: 448000 | #Constraints: 15775
407.95/409.79 c #Conflicts: 449000 | #Constraints: 16775
407.95/409.79 c #Conflicts: 450000 | #Constraints: 17775
407.95/409.79 c #Conflicts: 451000 | #Constraints: 18775
407.95/409.79 c #Conflicts: 452000 | #Constraints: 19775
407.95/409.79 c #Conflicts: 453000 | #Constraints: 20775
407.95/409.79 c #Conflicts: 454000 | #Constraints: 21775
407.95/409.79 c #Conflicts: 455000 | #Constraints: 22775
407.95/409.79 c #Conflicts: 456000 | #Constraints: 23775
407.95/409.79 c #Conflicts: 457000 | #Constraints: 24775
407.95/409.79 c #Conflicts: 458000 | #Constraints: 25775
407.95/409.79 c #Conflicts: 459000 | #Constraints: 26775
407.95/409.79 c #Conflicts: 460000 | #Constraints: 27775
407.95/409.79 c INPROCESSING
407.95/409.79 c GARBAGE COLLECT
407.95/409.79 c #Conflicts: 461000 | #Constraints: 15389
407.95/409.79 c #Conflicts: 462000 | #Constraints: 16389
407.95/409.79 c #Conflicts: 463000 | #Constraints: 17389
407.95/409.79 c #Conflicts: 464000 | #Constraints: 18389
407.95/409.79 c #Conflicts: 465000 | #Constraints: 19389
407.95/409.79 c #Conflicts: 466000 | #Constraints: 20389
407.95/409.79 c #Conflicts: 467000 | #Constraints: 21389
407.95/409.79 c #Conflicts: 468000 | #Constraints: 22389
407.95/409.79 c #Conflicts: 469000 | #Constraints: 23389
407.95/409.79 c #Conflicts: 470000 | #Constraints: 24389
407.95/409.79 c #Conflicts: 471000 | #Constraints: 25389
407.95/409.79 c #Conflicts: 472000 | #Constraints: 26389
407.95/409.79 c #Conflicts: 473000 | #Constraints: 27389
407.95/409.79 c #Conflicts: 474000 | #Constraints: 28389
407.95/409.79 c INPROCESSING
407.95/409.79 c GARBAGE COLLECT
407.95/409.79 c #Conflicts: 475000 | #Constraints: 15782
407.95/409.79 c #Conflicts: 476000 | #Constraints: 16782
407.95/409.79 c #Conflicts: 477000 | #Constraints: 17782
407.95/409.79 c #Conflicts: 478000 | #Constraints: 18782
407.95/409.79 c #Conflicts: 479000 | #Constraints: 19782
407.95/409.79 c #Conflicts: 480000 | #Constraints: 20782
407.95/409.79 c #Conflicts: 481000 | #Constraints: 21782
407.95/409.79 c #Conflicts: 482000 | #Constraints: 22782
407.95/409.79 c #Conflicts: 483000 | #Constraints: 23782
407.95/409.79 c #Conflicts: 484000 | #Constraints: 24782
407.95/409.79 c #Conflicts: 485000 | #Constraints: 25782
407.95/409.79 c #Conflicts: 486000 | #Constraints: 26782
407.95/409.79 c #Conflicts: 487000 | #Constraints: 27782
407.95/409.79 c #Conflicts: 488000 | #Constraints: 28782
407.95/409.79 c INPROCESSING
407.95/409.79 c GARBAGE COLLECT
407.95/409.79 c #Conflicts: 489000 | #Constraints: 15976
407.95/409.79 c #Conflicts: 490000 | #Constraints: 16976
407.95/409.79 c #Conflicts: 491000 | #Constraints: 17976
407.95/409.79 c #Conflicts: 492000 | #Constraints: 18976
407.95/409.79 c #Conflicts: 493000 | #Constraints: 19976
407.95/409.79 c #Conflicts: 494000 | #Constraints: 20976
407.95/409.79 c #Conflicts: 495000 | #Constraints: 21976
407.95/409.79 c #Conflicts: 496000 | #Constraints: 22976
407.95/409.79 c #Conflicts: 497000 | #Constraints: 23976
407.95/409.79 c #Conflicts: 498000 | #Constraints: 24976
407.95/409.79 c #Conflicts: 499000 | #Constraints: 25976
407.95/409.79 c #Conflicts: 500000 | #Constraints: 26976
407.95/409.79 c #Conflicts: 501000 | #Constraints: 27976
407.95/409.79 c #Conflicts: 502000 | #Constraints: 28976
407.95/409.79 c INPROCESSING
407.95/409.79 c GARBAGE COLLECT
407.95/409.79 c #Conflicts: 503000 | #Constraints: 15972
407.95/409.79 c #Conflicts: 504000 | #Constraints: 16972
407.95/409.79 c #Conflicts: 505000 | #Constraints: 17972
407.95/409.79 c #Conflicts: 506000 | #Constraints: 18972
407.95/409.79 c #Conflicts: 507000 | #Constraints: 19972
407.95/409.79 c #Conflicts: 508000 | #Constraints: 20972
407.95/409.79 c #Conflicts: 509000 | #Constraints: 21972
407.95/409.79 c #Conflicts: 510000 | #Constraints: 22972
407.95/409.79 c #Conflicts: 511000 | #Constraints: 23972
407.95/409.79 c #Conflicts: 512000 | #Constraints: 24972
407.95/409.79 c #Conflicts: 513000 | #Constraints: 25972
407.95/409.79 c #Conflicts: 514000 | #Constraints: 26972
407.95/409.79 c #Conflicts: 515000 | #Constraints: 27972
407.95/409.79 c #Conflicts: 516000 | #Constraints: 28972
407.95/409.79 c INPROCESSING
407.95/409.79 c GARBAGE COLLECT
407.95/409.79 c #Conflicts: 517000 | #Constraints: 15765
407.95/409.79 c #Conflicts: 518000 | #Constraints: 16765
407.95/409.79 c #Conflicts: 519000 | #Constraints: 17765
487.50/489.54 c #Conflicts: 520000 | #Constraints: 18765
487.50/489.54 c #Conflicts: 521000 | #Constraints: 19765
487.50/489.54 c #Conflicts: 522000 | #Constraints: 20765
487.50/489.54 c #Conflicts: 523000 | #Constraints: 21765
487.50/489.54 c #Conflicts: 524000 | #Constraints: 22765
487.50/489.54 c #Conflicts: 525000 | #Constraints: 23765
487.50/489.54 c #Conflicts: 526000 | #Constraints: 24765
487.50/489.54 c #Conflicts: 527000 | #Constraints: 25765
487.50/489.54 c #Conflicts: 528000 | #Constraints: 26765
487.50/489.54 c #Conflicts: 529000 | #Constraints: 27765
487.50/489.54 c #Conflicts: 530000 | #Constraints: 28765
487.50/489.54 c #Conflicts: 531000 | #Constraints: 29765
487.50/489.54 c INPROCESSING
487.50/489.54 c GARBAGE COLLECT
487.50/489.54 c #Conflicts: 532000 | #Constraints: 16370
487.50/489.54 c #Conflicts: 533000 | #Constraints: 17370
487.50/489.54 c #Conflicts: 534000 | #Constraints: 18370
487.50/489.54 c #Conflicts: 535000 | #Constraints: 19370
487.50/489.54 c #Conflicts: 536000 | #Constraints: 20370
487.50/489.54 c #Conflicts: 537000 | #Constraints: 21370
487.50/489.54 c #Conflicts: 538000 | #Constraints: 22370
487.50/489.54 c #Conflicts: 539000 | #Constraints: 23370
487.50/489.54 c #Conflicts: 540000 | #Constraints: 24370
487.50/489.54 c #Conflicts: 541000 | #Constraints: 25370
487.50/489.54 c #Conflicts: 542000 | #Constraints: 26370
487.50/489.54 c #Conflicts: 543000 | #Constraints: 27370
487.50/489.54 c #Conflicts: 544000 | #Constraints: 28370
487.50/489.54 c #Conflicts: 545000 | #Constraints: 29370
487.50/489.54 c #Conflicts: 546000 | #Constraints: 30370
487.50/489.54 c INPROCESSING
487.50/489.54 c GARBAGE COLLECT
487.50/489.54 c #Conflicts: 547000 | #Constraints: 16769
487.50/489.54 c #Conflicts: 548000 | #Constraints: 17769
487.50/489.54 c #Conflicts: 549000 | #Constraints: 18769
487.50/489.54 c #Conflicts: 550000 | #Constraints: 19769
487.50/489.54 c #Conflicts: 551000 | #Constraints: 20769
487.50/489.54 c #Conflicts: 552000 | #Constraints: 21769
487.50/489.54 c #Conflicts: 553000 | #Constraints: 22769
487.50/489.54 c #Conflicts: 554000 | #Constraints: 23769
487.50/489.54 c #Conflicts: 555000 | #Constraints: 24769
487.50/489.54 c #Conflicts: 556000 | #Constraints: 25769
487.50/489.54 c #Conflicts: 557000 | #Constraints: 26769
487.50/489.54 c #Conflicts: 558000 | #Constraints: 27769
487.50/489.54 c #Conflicts: 559000 | #Constraints: 28769
487.50/489.54 c #Conflicts: 560000 | #Constraints: 29769
487.50/489.54 c #Conflicts: 561000 | #Constraints: 30769
487.50/489.54 c INPROCESSING
487.50/489.54 c GARBAGE COLLECT
487.50/489.54 c #Conflicts: 562000 | #Constraints: 16974
487.50/489.54 c #Conflicts: 563000 | #Constraints: 17974
487.50/489.54 c #Conflicts: 564000 | #Constraints: 18974
487.50/489.54 c #Conflicts: 565000 | #Constraints: 19974
487.50/489.54 c #Conflicts: 566000 | #Constraints: 20974
487.50/489.54 c #Conflicts: 567000 | #Constraints: 21974
487.50/489.54 c #Conflicts: 568000 | #Constraints: 22974
487.50/489.54 c #Conflicts: 569000 | #Constraints: 23974
487.50/489.54 c #Conflicts: 570000 | #Constraints: 24974
487.50/489.54 c #Conflicts: 571000 | #Constraints: 25974
487.50/489.54 c #Conflicts: 572000 | #Constraints: 26974
487.50/489.54 c #Conflicts: 573000 | #Constraints: 27974
487.50/489.54 c #Conflicts: 574000 | #Constraints: 28974
487.50/489.54 c #Conflicts: 575000 | #Constraints: 29974
487.50/489.54 c #Conflicts: 576000 | #Constraints: 30974
487.50/489.54 c INPROCESSING
487.50/489.54 c GARBAGE COLLECT
487.50/489.54 c #Conflicts: 577000 | #Constraints: 16968
487.50/489.54 c #Conflicts: 578000 | #Constraints: 17968
487.50/489.54 c #Conflicts: 579000 | #Constraints: 18968
487.50/489.54 c #Conflicts: 580000 | #Constraints: 19968
487.50/489.54 c #Conflicts: 581000 | #Constraints: 20968
487.50/489.54 c #Conflicts: 582000 | #Constraints: 21968
487.50/489.54 c #Conflicts: 583000 | #Constraints: 22968
487.50/489.54 c #Conflicts: 584000 | #Constraints: 23968
487.50/489.54 c #Conflicts: 585000 | #Constraints: 24968
487.50/489.54 c #Conflicts: 586000 | #Constraints: 25968
487.50/489.54 c #Conflicts: 587000 | #Constraints: 26968
487.50/489.54 c #Conflicts: 588000 | #Constraints: 27968
487.50/489.54 c #Conflicts: 589000 | #Constraints: 28968
487.50/489.54 c #Conflicts: 590000 | #Constraints: 29968
487.50/489.54 c #Conflicts: 591000 | #Constraints: 30968
487.50/489.54 c INPROCESSING
487.50/489.54 c GARBAGE COLLECT
487.50/489.54 c #Conflicts: 592000 | #Constraints: 16760
487.50/489.54 c #Conflicts: 593000 | #Constraints: 17760
487.50/489.54 c #Conflicts: 594000 | #Constraints: 18760
487.50/489.54 c #Conflicts: 595000 | #Constraints: 19760
574.02/576.30 c #Conflicts: 596000 | #Constraints: 20760
574.02/576.30 c #Conflicts: 597000 | #Constraints: 21760
574.02/576.30 c #Conflicts: 598000 | #Constraints: 22760
574.02/576.30 c #Conflicts: 599000 | #Constraints: 23760
574.02/576.30 c #Conflicts: 600000 | #Constraints: 24760
574.02/576.30 c #Conflicts: 601000 | #Constraints: 25760
574.02/576.30 c #Conflicts: 602000 | #Constraints: 26760
574.02/576.30 c #Conflicts: 603000 | #Constraints: 27760
574.02/576.30 c #Conflicts: 604000 | #Constraints: 28760
574.02/576.30 c #Conflicts: 605000 | #Constraints: 29760
574.02/576.30 c #Conflicts: 606000 | #Constraints: 30760
574.02/576.30 c #Conflicts: 607000 | #Constraints: 31760
574.02/576.30 c INPROCESSING
574.02/576.30 c GARBAGE COLLECT
574.02/576.30 c #Conflicts: 608000 | #Constraints: 17360
574.02/576.30 c #Conflicts: 609000 | #Constraints: 18360
574.02/576.30 c #Conflicts: 610000 | #Constraints: 19360
574.02/576.30 c #Conflicts: 611000 | #Constraints: 20360
574.02/576.30 c #Conflicts: 612000 | #Constraints: 21360
574.02/576.30 c #Conflicts: 613000 | #Constraints: 22360
574.02/576.30 c #Conflicts: 614000 | #Constraints: 23360
574.02/576.30 c #Conflicts: 615000 | #Constraints: 24360
574.02/576.30 c #Conflicts: 616000 | #Constraints: 25360
574.02/576.30 c #Conflicts: 617000 | #Constraints: 26360
574.02/576.30 c #Conflicts: 618000 | #Constraints: 27360
574.02/576.30 c #Conflicts: 619000 | #Constraints: 28360
574.02/576.30 c #Conflicts: 620000 | #Constraints: 29360
574.02/576.30 c #Conflicts: 621000 | #Constraints: 30360
574.02/576.30 c #Conflicts: 622000 | #Constraints: 31360
574.02/576.30 c #Conflicts: 623000 | #Constraints: 32360
574.02/576.30 c INPROCESSING
574.02/576.30 c GARBAGE COLLECT
574.02/576.30 c #Conflicts: 624000 | #Constraints: 17752
574.02/576.30 c #Conflicts: 625000 | #Constraints: 18752
574.02/576.30 c #Conflicts: 626000 | #Constraints: 19752
574.02/576.30 c #Conflicts: 627000 | #Constraints: 20752
574.02/576.30 c #Conflicts: 628000 | #Constraints: 21752
574.02/576.30 c #Conflicts: 629000 | #Constraints: 22752
574.02/576.30 c #Conflicts: 630000 | #Constraints: 23752
574.02/576.30 c #Conflicts: 631000 | #Constraints: 24752
574.02/576.30 c #Conflicts: 632000 | #Constraints: 25752
574.02/576.30 c #Conflicts: 633000 | #Constraints: 26752
574.02/576.30 c #Conflicts: 634000 | #Constraints: 27752
574.02/576.30 c #Conflicts: 635000 | #Constraints: 28752
574.02/576.30 c #Conflicts: 636000 | #Constraints: 29752
574.02/576.30 c #Conflicts: 637000 | #Constraints: 30752
574.02/576.30 c #Conflicts: 638000 | #Constraints: 31752
574.02/576.30 c #Conflicts: 639000 | #Constraints: 32752
574.02/576.30 c INPROCESSING
574.02/576.30 c GARBAGE COLLECT
574.02/576.30 c #Conflicts: 640000 | #Constraints: 17963
574.02/576.30 c #Conflicts: 641000 | #Constraints: 18963
574.02/576.30 c #Conflicts: 642000 | #Constraints: 19963
574.02/576.30 c #Conflicts: 643000 | #Constraints: 20963
574.02/576.30 c #Conflicts: 644000 | #Constraints: 21963
574.02/576.30 c #Conflicts: 645000 | #Constraints: 22963
574.02/576.30 c #Conflicts: 646000 | #Constraints: 23963
574.02/576.30 c #Conflicts: 647000 | #Constraints: 24963
574.02/576.30 c #Conflicts: 648000 | #Constraints: 25963
574.02/576.30 c #Conflicts: 649000 | #Constraints: 26963
574.02/576.30 c #Conflicts: 650000 | #Constraints: 27963
574.02/576.30 c #Conflicts: 651000 | #Constraints: 28963
574.02/576.30 c #Conflicts: 652000 | #Constraints: 29963
574.02/576.30 c #Conflicts: 653000 | #Constraints: 30963
574.02/576.30 c #Conflicts: 654000 | #Constraints: 31963
574.02/576.30 c #Conflicts: 655000 | #Constraints: 32963
574.02/576.30 c INPROCESSING
574.02/576.30 c GARBAGE COLLECT
574.02/576.30 c #Conflicts: 656000 | #Constraints: 17971
574.02/576.30 c #Conflicts: 657000 | #Constraints: 18971
574.02/576.30 c #Conflicts: 658000 | #Constraints: 19971
574.02/576.30 c #Conflicts: 659000 | #Constraints: 20971
574.02/576.30 c #Conflicts: 660000 | #Constraints: 21971
574.02/576.30 c #Conflicts: 661000 | #Constraints: 22971
574.02/576.30 c #Conflicts: 662000 | #Constraints: 23971
574.02/576.30 c #Conflicts: 663000 | #Constraints: 24971
574.02/576.30 c #Conflicts: 664000 | #Constraints: 25971
574.02/576.30 c #Conflicts: 665000 | #Constraints: 26971
574.02/576.30 c #Conflicts: 666000 | #Constraints: 27971
574.02/576.30 c #Conflicts: 667000 | #Constraints: 28971
574.02/576.30 c #Conflicts: 668000 | #Constraints: 29971
574.02/576.30 c #Conflicts: 669000 | #Constraints: 30971
574.02/576.30 c #Conflicts: 670000 | #Constraints: 31971
574.02/576.30 c #Conflicts: 671000 | #Constraints: 32971
660.58/663.13 c INPROCESSING
660.58/663.13 c GARBAGE COLLECT
660.58/663.13 c #Conflicts: 672000 | #Constraints: 17764
660.58/663.13 c #Conflicts: 673000 | #Constraints: 18764
660.58/663.13 c #Conflicts: 674000 | #Constraints: 19764
660.58/663.13 c #Conflicts: 675000 | #Constraints: 20764
660.58/663.13 c #Conflicts: 676000 | #Constraints: 21764
660.58/663.13 c #Conflicts: 677000 | #Constraints: 22764
660.58/663.13 c #Conflicts: 678000 | #Constraints: 23764
660.58/663.13 c #Conflicts: 679000 | #Constraints: 24764
660.58/663.13 c #Conflicts: 680000 | #Constraints: 25764
660.58/663.13 c #Conflicts: 681000 | #Constraints: 26764
660.58/663.13 c #Conflicts: 682000 | #Constraints: 27764
660.58/663.13 c #Conflicts: 683000 | #Constraints: 28764
660.58/663.13 c #Conflicts: 684000 | #Constraints: 29764
660.58/663.13 c #Conflicts: 685000 | #Constraints: 30764
660.58/663.13 c #Conflicts: 686000 | #Constraints: 31764
660.58/663.13 c #Conflicts: 687000 | #Constraints: 32764
660.58/663.13 c #Conflicts: 688000 | #Constraints: 33764
660.58/663.13 c INPROCESSING
660.58/663.13 c GARBAGE COLLECT
660.58/663.13 c #Conflicts: 689000 | #Constraints: 18363
660.58/663.13 c #Conflicts: 690000 | #Constraints: 19363
660.58/663.13 c #Conflicts: 691000 | #Constraints: 20363
660.58/663.13 c #Conflicts: 692000 | #Constraints: 21363
660.58/663.13 c #Conflicts: 693000 | #Constraints: 22363
660.58/663.13 c #Conflicts: 694000 | #Constraints: 23363
660.58/663.13 c #Conflicts: 695000 | #Constraints: 24363
660.58/663.13 c #Conflicts: 696000 | #Constraints: 25363
660.58/663.13 c #Conflicts: 697000 | #Constraints: 26363
660.58/663.13 c #Conflicts: 698000 | #Constraints: 27363
660.58/663.13 c #Conflicts: 699000 | #Constraints: 28363
660.58/663.13 c #Conflicts: 700000 | #Constraints: 29363
660.58/663.13 c #Conflicts: 701000 | #Constraints: 30363
660.58/663.13 c #Conflicts: 702000 | #Constraints: 31363
660.58/663.13 c #Conflicts: 703000 | #Constraints: 32363
660.58/663.13 c #Conflicts: 704000 | #Constraints: 33363
660.58/663.13 c #Conflicts: 705000 | #Constraints: 34363
660.58/663.13 c INPROCESSING
660.58/663.13 c GARBAGE COLLECT
660.58/663.13 c #Conflicts: 706000 | #Constraints: 18767
660.58/663.13 c #Conflicts: 707000 | #Constraints: 19767
660.58/663.13 c #Conflicts: 708000 | #Constraints: 20767
660.58/663.13 c #Conflicts: 709000 | #Constraints: 21767
660.58/663.13 c #Conflicts: 710000 | #Constraints: 22767
660.58/663.13 c #Conflicts: 711000 | #Constraints: 23767
660.58/663.13 c #Conflicts: 712000 | #Constraints: 24767
660.58/663.13 c #Conflicts: 713000 | #Constraints: 25767
660.58/663.13 c #Conflicts: 714000 | #Constraints: 26767
660.58/663.13 c #Conflicts: 715000 | #Constraints: 27767
660.58/663.13 c #Conflicts: 716000 | #Constraints: 28767
660.58/663.13 c #Conflicts: 717000 | #Constraints: 29767
660.58/663.13 c #Conflicts: 718000 | #Constraints: 30767
660.58/663.13 c #Conflicts: 719000 | #Constraints: 31767
660.58/663.13 c #Conflicts: 720000 | #Constraints: 32767
660.58/663.13 c #Conflicts: 721000 | #Constraints: 33767
660.58/663.13 c #Conflicts: 722000 | #Constraints: 34767
660.58/663.13 c INPROCESSING
660.58/663.13 c GARBAGE COLLECT
660.58/663.13 c #Conflicts: 723000 | #Constraints: 18973
660.58/663.13 c #Conflicts: 724000 | #Constraints: 19973
660.58/663.13 c #Conflicts: 725000 | #Constraints: 20973
660.58/663.13 c #Conflicts: 726000 | #Constraints: 21973
660.58/663.13 c #Conflicts: 727000 | #Constraints: 22973
660.58/663.13 c #Conflicts: 728000 | #Constraints: 23973
660.58/663.13 c #Conflicts: 729000 | #Constraints: 24973
660.58/663.13 c #Conflicts: 730000 | #Constraints: 25973
660.58/663.13 c #Conflicts: 731000 | #Constraints: 26973
660.58/663.13 c #Conflicts: 732000 | #Constraints: 27973
660.58/663.13 c #Conflicts: 733000 | #Constraints: 28973
660.58/663.13 c #Conflicts: 734000 | #Constraints: 29973
660.58/663.13 c #Conflicts: 735000 | #Constraints: 30973
660.58/663.13 c #Conflicts: 736000 | #Constraints: 31973
660.58/663.13 c #Conflicts: 737000 | #Constraints: 32973
660.58/663.13 c #Conflicts: 738000 | #Constraints: 33973
660.58/663.13 c #Conflicts: 739000 | #Constraints: 34973
660.58/663.13 c INPROCESSING
660.58/663.13 c GARBAGE COLLECT
660.58/663.13 c #Conflicts: 740000 | #Constraints: 18965
660.58/663.13 c #Conflicts: 741000 | #Constraints: 19965
660.58/663.13 c #Conflicts: 742000 | #Constraints: 20965
660.58/663.13 c #Conflicts: 743000 | #Constraints: 21965
660.58/663.13 c #Conflicts: 744000 | #Constraints: 22965
660.58/663.13 c #Conflicts: 745000 | #Constraints: 23965
660.58/663.13 c #Conflicts: 746000 | #Constraints: 24965
660.58/663.13 c #Conflicts: 747000 | #Constraints: 25965
753.22/756.01 c #Conflicts: 748000 | #Constraints: 26965
753.22/756.01 c #Conflicts: 749000 | #Constraints: 27965
753.22/756.01 c #Conflicts: 750000 | #Constraints: 28965
753.22/756.01 c #Conflicts: 751000 | #Constraints: 29965
753.22/756.01 c #Conflicts: 752000 | #Constraints: 30965
753.22/756.01 c #Conflicts: 753000 | #Constraints: 31965
753.22/756.01 c #Conflicts: 754000 | #Constraints: 32965
753.22/756.01 c #Conflicts: 755000 | #Constraints: 33965
753.22/756.01 c #Conflicts: 756000 | #Constraints: 34965
753.22/756.01 c INPROCESSING
753.22/756.01 c GARBAGE COLLECT
753.22/756.01 c #Conflicts: 757000 | #Constraints: 18779
753.22/756.01 c #Conflicts: 758000 | #Constraints: 19779
753.22/756.01 c #Conflicts: 759000 | #Constraints: 20779
753.22/756.01 c #Conflicts: 760000 | #Constraints: 21779
753.22/756.01 c #Conflicts: 761000 | #Constraints: 22779
753.22/756.01 c #Conflicts: 762000 | #Constraints: 23779
753.22/756.01 c #Conflicts: 763000 | #Constraints: 24779
753.22/756.01 c #Conflicts: 764000 | #Constraints: 25779
753.22/756.01 c #Conflicts: 765000 | #Constraints: 26779
753.22/756.01 c #Conflicts: 766000 | #Constraints: 27779
753.22/756.01 c #Conflicts: 767000 | #Constraints: 28779
753.22/756.01 c #Conflicts: 768000 | #Constraints: 29779
753.22/756.01 c #Conflicts: 769000 | #Constraints: 30779
753.22/756.01 c #Conflicts: 770000 | #Constraints: 31779
753.22/756.01 c #Conflicts: 771000 | #Constraints: 32779
753.22/756.01 c #Conflicts: 772000 | #Constraints: 33779
753.22/756.01 c #Conflicts: 773000 | #Constraints: 34779
753.22/756.01 c #Conflicts: 774000 | #Constraints: 35779
753.22/756.01 c INPROCESSING
753.22/756.01 c GARBAGE COLLECT
753.22/756.01 c #Conflicts: 775000 | #Constraints: 19361
753.22/756.01 c #Conflicts: 776000 | #Constraints: 20361
753.22/756.01 c #Conflicts: 777000 | #Constraints: 21361
753.22/756.01 c #Conflicts: 778000 | #Constraints: 22361
753.22/756.01 c #Conflicts: 779000 | #Constraints: 23361
753.22/756.01 c #Conflicts: 780000 | #Constraints: 24361
753.22/756.01 c #Conflicts: 781000 | #Constraints: 25361
753.22/756.01 c #Conflicts: 782000 | #Constraints: 26361
753.22/756.01 c #Conflicts: 783000 | #Constraints: 27361
753.22/756.01 c #Conflicts: 784000 | #Constraints: 28361
753.22/756.01 c #Conflicts: 785000 | #Constraints: 29361
753.22/756.01 c #Conflicts: 786000 | #Constraints: 30361
753.22/756.01 c #Conflicts: 787000 | #Constraints: 31361
753.22/756.01 c #Conflicts: 788000 | #Constraints: 32361
753.22/756.01 c #Conflicts: 789000 | #Constraints: 33361
753.22/756.01 c #Conflicts: 790000 | #Constraints: 34361
753.22/756.01 c #Conflicts: 791000 | #Constraints: 35361
753.22/756.01 c #Conflicts: 792000 | #Constraints: 36361
753.22/756.01 c INPROCESSING
753.22/756.01 c GARBAGE COLLECT
753.22/756.01 c #Conflicts: 793000 | #Constraints: 19775
753.22/756.01 c #Conflicts: 794000 | #Constraints: 20775
753.22/756.01 c #Conflicts: 795000 | #Constraints: 21775
753.22/756.01 c #Conflicts: 796000 | #Constraints: 22775
753.22/756.01 c #Conflicts: 797000 | #Constraints: 23775
753.22/756.01 c #Conflicts: 798000 | #Constraints: 24775
753.22/756.01 c #Conflicts: 799000 | #Constraints: 25775
753.22/756.01 c #Conflicts: 800000 | #Constraints: 26775
753.22/756.01 c #Conflicts: 801000 | #Constraints: 27775
753.22/756.01 c #Conflicts: 802000 | #Constraints: 28775
753.22/756.01 c #Conflicts: 803000 | #Constraints: 29775
753.22/756.01 c #Conflicts: 804000 | #Constraints: 30775
753.22/756.01 c #Conflicts: 805000 | #Constraints: 31775
753.22/756.01 c #Conflicts: 806000 | #Constraints: 32775
753.22/756.01 c #Conflicts: 807000 | #Constraints: 33775
753.22/756.01 c #Conflicts: 808000 | #Constraints: 34775
753.22/756.01 c #Conflicts: 809000 | #Constraints: 35775
753.22/756.01 c #Conflicts: 810000 | #Constraints: 36775
753.22/756.01 c INPROCESSING
753.22/756.01 c GARBAGE COLLECT
753.22/756.01 c #Conflicts: 811000 | #Constraints: 19986
753.22/756.01 c #Conflicts: 812000 | #Constraints: 20986
753.22/756.01 c #Conflicts: 813000 | #Constraints: 21986
753.22/756.01 c #Conflicts: 814000 | #Constraints: 22986
753.22/756.01 c #Conflicts: 815000 | #Constraints: 23986
753.22/756.01 c #Conflicts: 816000 | #Constraints: 24986
753.22/756.01 c #Conflicts: 817000 | #Constraints: 25986
753.22/756.01 c #Conflicts: 818000 | #Constraints: 26986
753.22/756.01 c #Conflicts: 819000 | #Constraints: 27986
753.22/756.01 c #Conflicts: 820000 | #Constraints: 28986
753.22/756.01 c #Conflicts: 821000 | #Constraints: 29986
753.22/756.01 c #Conflicts: 822000 | #Constraints: 30986
753.22/756.01 c #Conflicts: 823000 | #Constraints: 31986
846.75/849.85 c #Conflicts: 824000 | #Constraints: 32986
846.75/849.85 c #Conflicts: 825000 | #Constraints: 33986
846.75/849.85 c #Conflicts: 826000 | #Constraints: 34986
846.75/849.85 c #Conflicts: 827000 | #Constraints: 35986
846.75/849.85 c #Conflicts: 828000 | #Constraints: 36986
846.75/849.85 c INPROCESSING
846.75/849.85 c GARBAGE COLLECT
846.75/849.85 c #Conflicts: 829000 | #Constraints: 19972
846.75/849.85 c #Conflicts: 830000 | #Constraints: 20972
846.75/849.85 c #Conflicts: 831000 | #Constraints: 21972
846.75/849.85 c #Conflicts: 832000 | #Constraints: 22972
846.75/849.85 c #Conflicts: 833000 | #Constraints: 23972
846.75/849.85 c #Conflicts: 834000 | #Constraints: 24972
846.75/849.85 c #Conflicts: 835000 | #Constraints: 25972
846.75/849.85 c #Conflicts: 836000 | #Constraints: 26972
846.75/849.85 c #Conflicts: 837000 | #Constraints: 27972
846.75/849.85 c #Conflicts: 838000 | #Constraints: 28972
846.75/849.85 c #Conflicts: 839000 | #Constraints: 29972
846.75/849.85 c #Conflicts: 840000 | #Constraints: 30972
846.75/849.85 c #Conflicts: 841000 | #Constraints: 31972
846.75/849.85 c #Conflicts: 842000 | #Constraints: 32972
846.75/849.85 c #Conflicts: 843000 | #Constraints: 33972
846.75/849.85 c #Conflicts: 844000 | #Constraints: 34972
846.75/849.85 c #Conflicts: 845000 | #Constraints: 35972
846.75/849.85 c #Conflicts: 846000 | #Constraints: 36972
846.75/849.85 c INPROCESSING
846.75/849.85 c GARBAGE COLLECT
846.75/849.85 c #Conflicts: 847000 | #Constraints: 19765
846.75/849.85 c #Conflicts: 848000 | #Constraints: 20765
846.75/849.85 c #Conflicts: 849000 | #Constraints: 21765
846.75/849.85 c #Conflicts: 850000 | #Constraints: 22765
846.75/849.85 c #Conflicts: 851000 | #Constraints: 23765
846.75/849.85 c #Conflicts: 852000 | #Constraints: 24765
846.75/849.85 c #Conflicts: 853000 | #Constraints: 25765
846.75/849.85 c #Conflicts: 854000 | #Constraints: 26765
846.75/849.85 c #Conflicts: 855000 | #Constraints: 27765
846.75/849.85 c #Conflicts: 856000 | #Constraints: 28765
846.75/849.85 c #Conflicts: 857000 | #Constraints: 29765
846.75/849.85 c #Conflicts: 858000 | #Constraints: 30765
846.75/849.85 c #Conflicts: 859000 | #Constraints: 31765
846.75/849.85 c #Conflicts: 860000 | #Constraints: 32765
846.75/849.85 c #Conflicts: 861000 | #Constraints: 33765
846.75/849.85 c #Conflicts: 862000 | #Constraints: 34765
846.75/849.85 c #Conflicts: 863000 | #Constraints: 35765
846.75/849.85 c #Conflicts: 864000 | #Constraints: 36765
846.75/849.85 c #Conflicts: 865000 | #Constraints: 37765
846.75/849.85 c INPROCESSING
846.75/849.85 c GARBAGE COLLECT
846.75/849.85 c #Conflicts: 866000 | #Constraints: 20371
846.75/849.85 c #Conflicts: 867000 | #Constraints: 21371
846.75/849.85 c #Conflicts: 868000 | #Constraints: 22371
846.75/849.85 c #Conflicts: 869000 | #Constraints: 23371
846.75/849.85 c #Conflicts: 870000 | #Constraints: 24371
846.75/849.85 c #Conflicts: 871000 | #Constraints: 25371
846.75/849.85 c #Conflicts: 872000 | #Constraints: 26371
846.75/849.85 c #Conflicts: 873000 | #Constraints: 27371
846.75/849.85 c #Conflicts: 874000 | #Constraints: 28371
846.75/849.85 c #Conflicts: 875000 | #Constraints: 29371
846.75/849.85 c #Conflicts: 876000 | #Constraints: 30371
846.75/849.85 c #Conflicts: 877000 | #Constraints: 31371
846.75/849.85 c #Conflicts: 878000 | #Constraints: 32371
846.75/849.85 c #Conflicts: 879000 | #Constraints: 33371
846.75/849.85 c #Conflicts: 880000 | #Constraints: 34371
846.75/849.85 c #Conflicts: 881000 | #Constraints: 35371
846.75/849.85 c #Conflicts: 882000 | #Constraints: 36371
846.75/849.85 c #Conflicts: 883000 | #Constraints: 37371
846.75/849.85 c #Conflicts: 884000 | #Constraints: 38371
846.75/849.85 c INPROCESSING
846.75/849.85 c GARBAGE COLLECT
846.75/849.85 c #Conflicts: 885000 | #Constraints: 20772
846.75/849.85 c #Conflicts: 886000 | #Constraints: 21772
846.75/849.85 c #Conflicts: 887000 | #Constraints: 22772
846.75/849.85 c #Conflicts: 888000 | #Constraints: 23772
846.75/849.85 c #Conflicts: 889000 | #Constraints: 24772
846.75/849.85 c #Conflicts: 890000 | #Constraints: 25772
846.75/849.85 c #Conflicts: 891000 | #Constraints: 26772
846.75/849.85 c #Conflicts: 892000 | #Constraints: 27772
846.75/849.85 c #Conflicts: 893000 | #Constraints: 28772
846.75/849.85 c #Conflicts: 894000 | #Constraints: 29772
846.75/849.85 c #Conflicts: 895000 | #Constraints: 30772
846.75/849.85 c #Conflicts: 896000 | #Constraints: 31772
846.75/849.85 c #Conflicts: 897000 | #Constraints: 32772
846.75/849.85 c #Conflicts: 898000 | #Constraints: 33772
846.75/849.85 c #Conflicts: 899000 | #Constraints: 34772
949.16/952.56 c #Conflicts: 900000 | #Constraints: 35772
949.16/952.56 c #Conflicts: 901000 | #Constraints: 36772
949.16/952.56 c #Conflicts: 902000 | #Constraints: 37772
949.16/952.56 c #Conflicts: 903000 | #Constraints: 38772
949.16/952.56 c INPROCESSING
949.16/952.56 c GARBAGE COLLECT
949.16/952.56 c #Conflicts: 904000 | #Constraints: 20974
949.16/952.56 c #Conflicts: 905000 | #Constraints: 21974
949.16/952.56 c #Conflicts: 906000 | #Constraints: 22974
949.16/952.56 c #Conflicts: 907000 | #Constraints: 23974
949.16/952.56 c #Conflicts: 908000 | #Constraints: 24974
949.16/952.56 c #Conflicts: 909000 | #Constraints: 25974
949.16/952.56 c #Conflicts: 910000 | #Constraints: 26974
949.16/952.56 c #Conflicts: 911000 | #Constraints: 27974
949.16/952.56 c #Conflicts: 912000 | #Constraints: 28974
949.16/952.56 c #Conflicts: 913000 | #Constraints: 29974
949.16/952.56 c #Conflicts: 914000 | #Constraints: 30974
949.16/952.56 c #Conflicts: 915000 | #Constraints: 31974
949.16/952.56 c #Conflicts: 916000 | #Constraints: 32974
949.16/952.56 c #Conflicts: 917000 | #Constraints: 33974
949.16/952.56 c #Conflicts: 918000 | #Constraints: 34974
949.16/952.56 c #Conflicts: 919000 | #Constraints: 35974
949.16/952.56 c #Conflicts: 920000 | #Constraints: 36974
949.16/952.56 c #Conflicts: 921000 | #Constraints: 37974
949.16/952.56 c #Conflicts: 922000 | #Constraints: 38974
949.16/952.56 c INPROCESSING
949.16/952.56 c GARBAGE COLLECT
949.16/952.56 c #Conflicts: 923000 | #Constraints: 20961
949.16/952.56 c #Conflicts: 924000 | #Constraints: 21961
949.16/952.56 c #Conflicts: 925000 | #Constraints: 22961
949.16/952.56 c #Conflicts: 926000 | #Constraints: 23961
949.16/952.56 c #Conflicts: 927000 | #Constraints: 24961
949.16/952.56 c #Conflicts: 928000 | #Constraints: 25961
949.16/952.56 c #Conflicts: 929000 | #Constraints: 26961
949.16/952.56 c #Conflicts: 930000 | #Constraints: 27961
949.16/952.56 c #Conflicts: 931000 | #Constraints: 28961
949.16/952.56 c #Conflicts: 932000 | #Constraints: 29961
949.16/952.56 c #Conflicts: 933000 | #Constraints: 30961
949.16/952.56 c #Conflicts: 934000 | #Constraints: 31961
949.16/952.56 c #Conflicts: 935000 | #Constraints: 32961
949.16/952.56 c #Conflicts: 936000 | #Constraints: 33961
949.16/952.56 c #Conflicts: 937000 | #Constraints: 34961
949.16/952.56 c #Conflicts: 938000 | #Constraints: 35961
949.16/952.56 c #Conflicts: 939000 | #Constraints: 36961
949.16/952.56 c #Conflicts: 940000 | #Constraints: 37961
949.16/952.56 c #Conflicts: 941000 | #Constraints: 38961
949.16/952.56 c INPROCESSING
949.16/952.56 c GARBAGE COLLECT
949.16/952.56 c #Conflicts: 942000 | #Constraints: 20763
949.16/952.56 c #Conflicts: 943000 | #Constraints: 21763
949.16/952.56 c #Conflicts: 944000 | #Constraints: 22763
949.16/952.56 c #Conflicts: 945000 | #Constraints: 23763
949.16/952.56 c #Conflicts: 946000 | #Constraints: 24763
949.16/952.56 c #Conflicts: 947000 | #Constraints: 25763
949.16/952.56 c #Conflicts: 948000 | #Constraints: 26763
949.16/952.56 c #Conflicts: 949000 | #Constraints: 27763
949.16/952.56 c #Conflicts: 950000 | #Constraints: 28763
949.16/952.56 c #Conflicts: 951000 | #Constraints: 29763
949.16/952.56 c #Conflicts: 952000 | #Constraints: 30763
949.16/952.56 c #Conflicts: 953000 | #Constraints: 31763
949.16/952.56 c #Conflicts: 954000 | #Constraints: 32763
949.16/952.56 c #Conflicts: 955000 | #Constraints: 33763
949.16/952.56 c #Conflicts: 956000 | #Constraints: 34763
949.16/952.56 c #Conflicts: 957000 | #Constraints: 35763
949.16/952.56 c #Conflicts: 958000 | #Constraints: 36763
949.16/952.56 c #Conflicts: 959000 | #Constraints: 37763
949.16/952.56 c #Conflicts: 960000 | #Constraints: 38763
949.16/952.56 c #Conflicts: 961000 | #Constraints: 39763
949.16/952.56 c INPROCESSING
949.16/952.56 c GARBAGE COLLECT
949.16/952.56 c #Conflicts: 962000 | #Constraints: 21379
949.16/952.56 c #Conflicts: 963000 | #Constraints: 22379
949.16/952.56 c #Conflicts: 964000 | #Constraints: 23379
949.16/952.56 c #Conflicts: 965000 | #Constraints: 24379
949.16/952.56 c #Conflicts: 966000 | #Constraints: 25379
949.16/952.56 c #Conflicts: 967000 | #Constraints: 26379
949.16/952.56 c #Conflicts: 968000 | #Constraints: 27379
949.16/952.56 c #Conflicts: 969000 | #Constraints: 28379
949.16/952.56 c #Conflicts: 970000 | #Constraints: 29379
949.16/952.56 c #Conflicts: 971000 | #Constraints: 30379
949.16/952.56 c #Conflicts: 972000 | #Constraints: 31379
949.16/952.56 c #Conflicts: 973000 | #Constraints: 32379
949.16/952.56 c #Conflicts: 974000 | #Constraints: 33379
949.16/952.56 c #Conflicts: 975000 | #Constraints: 34379
1076.34/1080.19 c #Conflicts: 976000 | #Constraints: 35379
1076.34/1080.19 c #Conflicts: 977000 | #Constraints: 36379
1076.34/1080.19 c #Conflicts: 978000 | #Constraints: 37379
1076.34/1080.19 c #Conflicts: 979000 | #Constraints: 38379
1076.34/1080.19 c #Conflicts: 980000 | #Constraints: 39379
1076.34/1080.19 c #Conflicts: 981000 | #Constraints: 40379
1076.34/1080.19 c INPROCESSING
1076.34/1080.19 c GARBAGE COLLECT
1076.34/1080.19 c #Conflicts: 982000 | #Constraints: 21788
1076.34/1080.19 c #Conflicts: 983000 | #Constraints: 22788
1076.34/1080.19 c #Conflicts: 984000 | #Constraints: 23788
1076.34/1080.19 c #Conflicts: 985000 | #Constraints: 24788
1076.34/1080.19 c #Conflicts: 986000 | #Constraints: 25788
1076.34/1080.19 c #Conflicts: 987000 | #Constraints: 26788
1076.34/1080.19 c #Conflicts: 988000 | #Constraints: 27788
1076.34/1080.19 c #Conflicts: 989000 | #Constraints: 28788
1076.34/1080.19 c #Conflicts: 990000 | #Constraints: 29788
1076.34/1080.19 c #Conflicts: 991000 | #Constraints: 30788
1076.34/1080.19 c #Conflicts: 992000 | #Constraints: 31788
1076.34/1080.19 c #Conflicts: 993000 | #Constraints: 32788
1076.34/1080.19 c #Conflicts: 994000 | #Constraints: 33788
1076.34/1080.19 c #Conflicts: 995000 | #Constraints: 34788
1076.34/1080.19 c #Conflicts: 996000 | #Constraints: 35788
1076.34/1080.19 c #Conflicts: 997000 | #Constraints: 36788
1076.34/1080.19 c #Conflicts: 998000 | #Constraints: 37788
1076.34/1080.19 c #Conflicts: 999000 | #Constraints: 38788
1076.34/1080.19 c #Conflicts: 1000000 | #Constraints: 39788
1076.34/1080.19 c #Conflicts: 1001000 | #Constraints: 40788
1076.34/1080.19 c INPROCESSING
1076.34/1080.19 c GARBAGE COLLECT
1076.34/1080.19 c #Conflicts: 1002000 | #Constraints: 21976
1076.34/1080.19 c #Conflicts: 1003000 | #Constraints: 22976
1076.34/1080.19 c #Conflicts: 1004000 | #Constraints: 23976
1076.34/1080.19 c #Conflicts: 1005000 | #Constraints: 24976
1076.34/1080.19 c #Conflicts: 1006000 | #Constraints: 25976
1076.34/1080.19 c #Conflicts: 1007000 | #Constraints: 26976
1076.34/1080.19 c #Conflicts: 1008000 | #Constraints: 27976
1076.34/1080.19 c #Conflicts: 1009000 | #Constraints: 28976
1076.34/1080.19 c #Conflicts: 1010000 | #Constraints: 29976
1076.34/1080.19 c #Conflicts: 1011000 | #Constraints: 30976
1076.34/1080.19 c #Conflicts: 1012000 | #Constraints: 31976
1076.34/1080.19 c #Conflicts: 1013000 | #Constraints: 32976
1076.34/1080.19 c #Conflicts: 1014000 | #Constraints: 33976
1076.34/1080.19 c #Conflicts: 1015000 | #Constraints: 34976
1076.34/1080.19 c #Conflicts: 1016000 | #Constraints: 35976
1076.34/1080.19 c #Conflicts: 1017000 | #Constraints: 36976
1076.34/1080.19 c #Conflicts: 1018000 | #Constraints: 37976
1076.34/1080.19 c #Conflicts: 1019000 | #Constraints: 38976
1076.34/1080.19 c #Conflicts: 1020000 | #Constraints: 39976
1076.34/1080.19 c #Conflicts: 1021000 | #Constraints: 40976
1076.34/1080.19 c INPROCESSING
1076.34/1080.19 c GARBAGE COLLECT
1076.34/1080.19 c #Conflicts: 1022000 | #Constraints: 21980
1076.34/1080.19 c #Conflicts: 1023000 | #Constraints: 22980
1076.34/1080.19 c #Conflicts: 1024000 | #Constraints: 23980
1076.34/1080.19 c #Conflicts: 1025000 | #Constraints: 24980
1076.34/1080.19 c #Conflicts: 1026000 | #Constraints: 25980
1076.34/1080.19 c #Conflicts: 1027000 | #Constraints: 26980
1076.34/1080.19 c #Conflicts: 1028000 | #Constraints: 27980
1076.34/1080.19 c #Conflicts: 1029000 | #Constraints: 28980
1076.34/1080.19 c #Conflicts: 1030000 | #Constraints: 29980
1076.34/1080.19 c #Conflicts: 1031000 | #Constraints: 30980
1076.34/1080.19 c #Conflicts: 1032000 | #Constraints: 31980
1076.34/1080.19 c #Conflicts: 1033000 | #Constraints: 32980
1076.34/1080.19 c #Conflicts: 1034000 | #Constraints: 33980
1076.34/1080.19 c #Conflicts: 1035000 | #Constraints: 34980
1076.34/1080.19 c #Conflicts: 1036000 | #Constraints: 35980
1076.34/1080.19 c #Conflicts: 1037000 | #Constraints: 36980
1076.34/1080.19 c #Conflicts: 1038000 | #Constraints: 37980
1076.34/1080.19 c #Conflicts: 1039000 | #Constraints: 38980
1076.34/1080.19 c #Conflicts: 1040000 | #Constraints: 39980
1076.34/1080.19 c #Conflicts: 1041000 | #Constraints: 40980
1076.34/1080.19 c INPROCESSING
1076.34/1080.19 c GARBAGE COLLECT
1076.34/1080.19 c #Conflicts: 1042000 | #Constraints: 21799
1076.34/1080.19 c #Conflicts: 1043000 | #Constraints: 22799
1076.34/1080.19 c #Conflicts: 1044000 | #Constraints: 23799
1076.34/1080.19 c #Conflicts: 1045000 | #Constraints: 24799
1076.34/1080.19 c #Conflicts: 1046000 | #Constraints: 25799
1076.34/1080.19 c #Conflicts: 1047000 | #Constraints: 26799
1076.34/1080.19 c #Conflicts: 1048000 | #Constraints: 27799
1076.34/1080.19 c #Conflicts: 1049000 | #Constraints: 28799
1076.34/1080.19 c #Conflicts: 1050000 | #Constraints: 29799
1076.34/1080.19 c #Conflicts: 1051000 | #Constraints: 30799
1076.34/1080.19 c #Conflicts: 1052000 | #Constraints: 31799
1181.88/1186.02 c #Conflicts: 1053000 | #Constraints: 32799
1181.88/1186.02 c #Conflicts: 1054000 | #Constraints: 33799
1181.88/1186.02 c #Conflicts: 1055000 | #Constraints: 34799
1181.88/1186.02 c #Conflicts: 1056000 | #Constraints: 35799
1181.88/1186.02 c #Conflicts: 1057000 | #Constraints: 36799
1181.88/1186.02 c #Conflicts: 1058000 | #Constraints: 37799
1181.88/1186.02 c #Conflicts: 1059000 | #Constraints: 38799
1181.88/1186.02 c #Conflicts: 1060000 | #Constraints: 39799
1181.88/1186.02 c #Conflicts: 1061000 | #Constraints: 40799
1181.88/1186.02 c #Conflicts: 1062000 | #Constraints: 41799
1181.88/1186.02 c INPROCESSING
1181.88/1186.02 c GARBAGE COLLECT
1181.88/1186.02 c #Conflicts: 1063000 | #Constraints: 22387
1181.88/1186.02 c #Conflicts: 1064000 | #Constraints: 23387
1181.88/1186.02 c #Conflicts: 1065000 | #Constraints: 24387
1181.88/1186.02 c #Conflicts: 1066000 | #Constraints: 25387
1181.88/1186.02 c #Conflicts: 1067000 | #Constraints: 26387
1181.88/1186.02 c #Conflicts: 1068000 | #Constraints: 27387
1181.88/1186.02 c #Conflicts: 1069000 | #Constraints: 28387
1181.88/1186.02 c #Conflicts: 1070000 | #Constraints: 29387
1181.88/1186.02 c #Conflicts: 1071000 | #Constraints: 30387
1181.88/1186.02 c #Conflicts: 1072000 | #Constraints: 31387
1181.88/1186.02 c #Conflicts: 1073000 | #Constraints: 32387
1181.88/1186.02 c #Conflicts: 1074000 | #Constraints: 33387
1181.88/1186.02 c #Conflicts: 1075000 | #Constraints: 34387
1181.88/1186.02 c #Conflicts: 1076000 | #Constraints: 35387
1181.88/1186.02 c #Conflicts: 1077000 | #Constraints: 36387
1181.88/1186.02 c #Conflicts: 1078000 | #Constraints: 37387
1181.88/1186.02 c #Conflicts: 1079000 | #Constraints: 38387
1181.88/1186.02 c #Conflicts: 1080000 | #Constraints: 39387
1181.88/1186.02 c #Conflicts: 1081000 | #Constraints: 40387
1181.88/1186.02 c #Conflicts: 1082000 | #Constraints: 41387
1181.88/1186.02 c #Conflicts: 1083000 | #Constraints: 42387
1181.88/1186.02 c INPROCESSING
1181.88/1186.02 c GARBAGE COLLECT
1181.88/1186.02 c #Conflicts: 1084000 | #Constraints: 22782
1181.88/1186.02 c #Conflicts: 1085000 | #Constraints: 23782
1181.88/1186.02 c #Conflicts: 1086000 | #Constraints: 24782
1181.88/1186.02 c #Conflicts: 1087000 | #Constraints: 25782
1181.88/1186.02 c #Conflicts: 1088000 | #Constraints: 26782
1181.88/1186.02 c #Conflicts: 1089000 | #Constraints: 27782
1181.88/1186.02 c #Conflicts: 1090000 | #Constraints: 28782
1181.88/1186.02 c #Conflicts: 1091000 | #Constraints: 29782
1181.88/1186.02 c #Conflicts: 1092000 | #Constraints: 30782
1181.88/1186.02 c #Conflicts: 1093000 | #Constraints: 31782
1181.88/1186.02 c #Conflicts: 1094000 | #Constraints: 32782
1181.88/1186.02 c #Conflicts: 1095000 | #Constraints: 33782
1181.88/1186.02 c #Conflicts: 1096000 | #Constraints: 34782
1181.88/1186.02 c #Conflicts: 1097000 | #Constraints: 35782
1181.88/1186.02 c #Conflicts: 1098000 | #Constraints: 36782
1181.88/1186.02 c #Conflicts: 1099000 | #Constraints: 37782
1181.88/1186.02 c #Conflicts: 1100000 | #Constraints: 38782
1181.88/1186.02 c #Conflicts: 1101000 | #Constraints: 39782
1181.88/1186.02 c #Conflicts: 1102000 | #Constraints: 40782
1181.88/1186.02 c #Conflicts: 1103000 | #Constraints: 41782
1181.88/1186.02 c #Conflicts: 1104000 | #Constraints: 42782
1181.88/1186.02 c INPROCESSING
1181.88/1186.02 c GARBAGE COLLECT
1181.88/1186.02 c #Conflicts: 1105000 | #Constraints: 22972
1181.88/1186.02 c #Conflicts: 1106000 | #Constraints: 23972
1181.88/1186.02 c #Conflicts: 1107000 | #Constraints: 24972
1181.88/1186.02 c #Conflicts: 1108000 | #Constraints: 25972
1181.88/1186.02 c #Conflicts: 1109000 | #Constraints: 26972
1181.88/1186.02 c #Conflicts: 1110000 | #Constraints: 27972
1181.88/1186.02 c #Conflicts: 1111000 | #Constraints: 28972
1181.88/1186.02 c #Conflicts: 1112000 | #Constraints: 29972
1181.88/1186.02 c #Conflicts: 1113000 | #Constraints: 30972
1181.88/1186.02 c #Conflicts: 1114000 | #Constraints: 31972
1181.88/1186.02 c #Conflicts: 1115000 | #Constraints: 32972
1181.88/1186.02 c #Conflicts: 1116000 | #Constraints: 33972
1181.88/1186.02 c #Conflicts: 1117000 | #Constraints: 34972
1181.88/1186.02 c #Conflicts: 1118000 | #Constraints: 35972
1181.88/1186.02 c #Conflicts: 1119000 | #Constraints: 36972
1181.88/1186.02 c #Conflicts: 1120000 | #Constraints: 37972
1181.88/1186.02 c #Conflicts: 1121000 | #Constraints: 38972
1181.88/1186.02 c #Conflicts: 1122000 | #Constraints: 39972
1181.88/1186.02 c #Conflicts: 1123000 | #Constraints: 40972
1181.88/1186.02 c #Conflicts: 1124000 | #Constraints: 41972
1181.88/1186.02 c #Conflicts: 1125000 | #Constraints: 42972
1181.88/1186.02 c INPROCESSING
1181.88/1186.02 c GARBAGE COLLECT
1181.88/1186.02 c #Conflicts: 1126000 | #Constraints: 22977
1181.88/1186.02 c #Conflicts: 1127000 | #Constraints: 23977
1181.88/1186.02 c #Conflicts: 1128000 | #Constraints: 24977
1297.42/1301.99 c #Conflicts: 1129000 | #Constraints: 25977
1297.42/1301.99 c #Conflicts: 1130000 | #Constraints: 26977
1297.42/1301.99 c #Conflicts: 1131000 | #Constraints: 27977
1297.42/1301.99 c #Conflicts: 1132000 | #Constraints: 28977
1297.42/1301.99 c #Conflicts: 1133000 | #Constraints: 29977
1297.42/1301.99 c #Conflicts: 1134000 | #Constraints: 30977
1297.42/1301.99 c #Conflicts: 1135000 | #Constraints: 31977
1297.42/1301.99 c #Conflicts: 1136000 | #Constraints: 32977
1297.42/1301.99 c #Conflicts: 1137000 | #Constraints: 33977
1297.42/1301.99 c #Conflicts: 1138000 | #Constraints: 34977
1297.42/1301.99 c #Conflicts: 1139000 | #Constraints: 35977
1297.42/1301.99 c #Conflicts: 1140000 | #Constraints: 36977
1297.42/1301.99 c #Conflicts: 1141000 | #Constraints: 37977
1297.42/1301.99 c #Conflicts: 1142000 | #Constraints: 38977
1297.42/1301.99 c #Conflicts: 1143000 | #Constraints: 39977
1297.42/1301.99 c #Conflicts: 1144000 | #Constraints: 40977
1297.42/1301.99 c #Conflicts: 1145000 | #Constraints: 41977
1297.42/1301.99 c #Conflicts: 1146000 | #Constraints: 42977
1297.42/1301.99 c INPROCESSING
1297.42/1301.99 c GARBAGE COLLECT
1297.42/1301.99 c #Conflicts: 1147000 | #Constraints: 22767
1297.42/1301.99 c #Conflicts: 1148000 | #Constraints: 23767
1297.42/1301.99 c #Conflicts: 1149000 | #Constraints: 24767
1297.42/1301.99 c #Conflicts: 1150000 | #Constraints: 25767
1297.42/1301.99 c #Conflicts: 1151000 | #Constraints: 26767
1297.42/1301.99 c #Conflicts: 1152000 | #Constraints: 27767
1297.42/1301.99 c #Conflicts: 1153000 | #Constraints: 28767
1297.42/1301.99 c #Conflicts: 1154000 | #Constraints: 29767
1297.42/1301.99 c #Conflicts: 1155000 | #Constraints: 30767
1297.42/1301.99 c #Conflicts: 1156000 | #Constraints: 31767
1297.42/1301.99 c #Conflicts: 1157000 | #Constraints: 32767
1297.42/1301.99 c #Conflicts: 1158000 | #Constraints: 33767
1297.42/1301.99 c #Conflicts: 1159000 | #Constraints: 34767
1297.42/1301.99 c #Conflicts: 1160000 | #Constraints: 35767
1297.42/1301.99 c #Conflicts: 1161000 | #Constraints: 36767
1297.42/1301.99 c #Conflicts: 1162000 | #Constraints: 37767
1297.42/1301.99 c #Conflicts: 1163000 | #Constraints: 38767
1297.42/1301.99 c #Conflicts: 1164000 | #Constraints: 39767
1297.42/1301.99 c #Conflicts: 1165000 | #Constraints: 40767
1297.42/1301.99 c #Conflicts: 1166000 | #Constraints: 41767
1297.42/1301.99 c #Conflicts: 1167000 | #Constraints: 42767
1297.42/1301.99 c #Conflicts: 1168000 | #Constraints: 43767
1297.42/1301.99 c INPROCESSING
1297.42/1301.99 c GARBAGE COLLECT
1297.42/1301.99 c #Conflicts: 1169000 | #Constraints: 23366
1297.42/1301.99 c #Conflicts: 1170000 | #Constraints: 24366
1297.42/1301.99 c #Conflicts: 1171000 | #Constraints: 25366
1297.42/1301.99 c #Conflicts: 1172000 | #Constraints: 26366
1297.42/1301.99 c #Conflicts: 1173000 | #Constraints: 27366
1297.42/1301.99 c #Conflicts: 1174000 | #Constraints: 28366
1297.42/1301.99 c #Conflicts: 1175000 | #Constraints: 29366
1297.42/1301.99 c #Conflicts: 1176000 | #Constraints: 30366
1297.42/1301.99 c #Conflicts: 1177000 | #Constraints: 31366
1297.42/1301.99 c #Conflicts: 1178000 | #Constraints: 32366
1297.42/1301.99 c #Conflicts: 1179000 | #Constraints: 33366
1297.42/1301.99 c #Conflicts: 1180000 | #Constraints: 34366
1297.42/1301.99 c #Conflicts: 1181000 | #Constraints: 35366
1297.42/1301.99 c #Conflicts: 1182000 | #Constraints: 36366
1297.42/1301.99 c #Conflicts: 1183000 | #Constraints: 37366
1297.42/1301.99 c #Conflicts: 1184000 | #Constraints: 38366
1297.42/1301.99 c #Conflicts: 1185000 | #Constraints: 39366
1297.42/1301.99 c #Conflicts: 1186000 | #Constraints: 40366
1297.42/1301.99 c #Conflicts: 1187000 | #Constraints: 41366
1297.42/1301.99 c #Conflicts: 1188000 | #Constraints: 42366
1297.42/1301.99 c #Conflicts: 1189000 | #Constraints: 43366
1297.42/1301.99 c #Conflicts: 1190000 | #Constraints: 44366
1297.42/1301.99 c INPROCESSING
1297.42/1301.99 c GARBAGE COLLECT
1297.42/1301.99 c #Conflicts: 1191000 | #Constraints: 23764
1297.42/1301.99 c #Conflicts: 1192000 | #Constraints: 24764
1297.42/1301.99 c #Conflicts: 1193000 | #Constraints: 25764
1297.42/1301.99 c #Conflicts: 1194000 | #Constraints: 26764
1297.42/1301.99 c #Conflicts: 1195000 | #Constraints: 27764
1297.42/1301.99 c #Conflicts: 1196000 | #Constraints: 28764
1297.42/1301.99 c #Conflicts: 1197000 | #Constraints: 29764
1297.42/1301.99 c #Conflicts: 1198000 | #Constraints: 30764
1297.42/1301.99 c #Conflicts: 1199000 | #Constraints: 31764
1297.42/1301.99 c #Conflicts: 1200000 | #Constraints: 32764
1297.42/1301.99 c #Conflicts: 1201000 | #Constraints: 33764
1297.42/1301.99 c #Conflicts: 1202000 | #Constraints: 34764
1297.42/1301.99 c #Conflicts: 1203000 | #Constraints: 35764
1297.42/1301.99 c #Conflicts: 1204000 | #Constraints: 36764
1297.42/1301.99 c #Conflicts: 1205000 | #Constraints: 37764
1422.70/1427.62 c #Conflicts: 1206000 | #Constraints: 38764
1422.70/1427.62 c #Conflicts: 1207000 | #Constraints: 39764
1422.70/1427.62 c #Conflicts: 1208000 | #Constraints: 40764
1422.70/1427.62 c #Conflicts: 1209000 | #Constraints: 41764
1422.70/1427.62 c #Conflicts: 1210000 | #Constraints: 42764
1422.70/1427.62 c #Conflicts: 1211000 | #Constraints: 43764
1422.70/1427.62 c #Conflicts: 1212000 | #Constraints: 44764
1422.70/1427.62 c INPROCESSING
1422.70/1427.62 c GARBAGE COLLECT
1422.70/1427.62 c #Conflicts: 1213000 | #Constraints: 23973
1422.70/1427.62 c #Conflicts: 1214000 | #Constraints: 24973
1422.70/1427.62 c #Conflicts: 1215000 | #Constraints: 25973
1422.70/1427.62 c #Conflicts: 1216000 | #Constraints: 26973
1422.70/1427.62 c #Conflicts: 1217000 | #Constraints: 27973
1422.70/1427.62 c #Conflicts: 1218000 | #Constraints: 28973
1422.70/1427.62 c #Conflicts: 1219000 | #Constraints: 29973
1422.70/1427.62 c #Conflicts: 1220000 | #Constraints: 30973
1422.70/1427.62 c #Conflicts: 1221000 | #Constraints: 31973
1422.70/1427.62 c #Conflicts: 1222000 | #Constraints: 32973
1422.70/1427.62 c #Conflicts: 1223000 | #Constraints: 33973
1422.70/1427.62 c #Conflicts: 1224000 | #Constraints: 34973
1422.70/1427.62 c #Conflicts: 1225000 | #Constraints: 35973
1422.70/1427.62 c #Conflicts: 1226000 | #Constraints: 36973
1422.70/1427.62 c #Conflicts: 1227000 | #Constraints: 37973
1422.70/1427.62 c #Conflicts: 1228000 | #Constraints: 38973
1422.70/1427.62 c #Conflicts: 1229000 | #Constraints: 39973
1422.70/1427.62 c #Conflicts: 1230000 | #Constraints: 40973
1422.70/1427.62 c #Conflicts: 1231000 | #Constraints: 41973
1422.70/1427.62 c #Conflicts: 1232000 | #Constraints: 42973
1422.70/1427.62 c #Conflicts: 1233000 | #Constraints: 43973
1422.70/1427.62 c #Conflicts: 1234000 | #Constraints: 44973
1422.70/1427.62 c INPROCESSING
1422.70/1427.62 c GARBAGE COLLECT
1422.70/1427.62 c #Conflicts: 1235000 | #Constraints: 23966
1422.70/1427.62 c #Conflicts: 1236000 | #Constraints: 24966
1422.70/1427.62 c #Conflicts: 1237000 | #Constraints: 25966
1422.70/1427.62 c #Conflicts: 1238000 | #Constraints: 26966
1422.70/1427.62 c #Conflicts: 1239000 | #Constraints: 27966
1422.70/1427.62 c #Conflicts: 1240000 | #Constraints: 28966
1422.70/1427.62 c #Conflicts: 1241000 | #Constraints: 29966
1422.70/1427.62 c #Conflicts: 1242000 | #Constraints: 30966
1422.70/1427.62 c #Conflicts: 1243000 | #Constraints: 31966
1422.70/1427.62 c #Conflicts: 1244000 | #Constraints: 32966
1422.70/1427.62 c #Conflicts: 1245000 | #Constraints: 33966
1422.70/1427.62 c #Conflicts: 1246000 | #Constraints: 34966
1422.70/1427.62 c #Conflicts: 1247000 | #Constraints: 35966
1422.70/1427.62 c #Conflicts: 1248000 | #Constraints: 36966
1422.70/1427.62 c #Conflicts: 1249000 | #Constraints: 37966
1422.70/1427.62 c #Conflicts: 1250000 | #Constraints: 38966
1422.70/1427.62 c #Conflicts: 1251000 | #Constraints: 39966
1422.70/1427.62 c #Conflicts: 1252000 | #Constraints: 40966
1422.70/1427.62 c #Conflicts: 1253000 | #Constraints: 41966
1422.70/1427.62 c #Conflicts: 1254000 | #Constraints: 42966
1422.70/1427.62 c #Conflicts: 1255000 | #Constraints: 43966
1422.70/1427.62 c #Conflicts: 1256000 | #Constraints: 44966
1422.70/1427.62 c INPROCESSING
1422.70/1427.62 c GARBAGE COLLECT
1422.70/1427.62 c #Conflicts: 1257000 | #Constraints: 23764
1422.70/1427.62 c #Conflicts: 1258000 | #Constraints: 24764
1422.70/1427.62 c #Conflicts: 1259000 | #Constraints: 25764
1422.70/1427.62 c #Conflicts: 1260000 | #Constraints: 26764
1422.70/1427.62 c #Conflicts: 1261000 | #Constraints: 27764
1422.70/1427.62 c #Conflicts: 1262000 | #Constraints: 28764
1422.70/1427.62 c #Conflicts: 1263000 | #Constraints: 29764
1422.70/1427.62 c #Conflicts: 1264000 | #Constraints: 30764
1422.70/1427.62 c #Conflicts: 1265000 | #Constraints: 31764
1422.70/1427.62 c #Conflicts: 1266000 | #Constraints: 32764
1422.70/1427.62 c #Conflicts: 1267000 | #Constraints: 33764
1422.70/1427.62 c #Conflicts: 1268000 | #Constraints: 34764
1422.70/1427.62 c #Conflicts: 1269000 | #Constraints: 35764
1422.70/1427.62 c #Conflicts: 1270000 | #Constraints: 36764
1422.70/1427.62 c #Conflicts: 1271000 | #Constraints: 37764
1422.70/1427.62 c #Conflicts: 1272000 | #Constraints: 38764
1422.70/1427.62 c #Conflicts: 1273000 | #Constraints: 39764
1422.70/1427.62 c #Conflicts: 1274000 | #Constraints: 40764
1422.70/1427.62 c #Conflicts: 1275000 | #Constraints: 41764
1422.70/1427.62 c #Conflicts: 1276000 | #Constraints: 42764
1422.70/1427.62 c #Conflicts: 1277000 | #Constraints: 43764
1422.70/1427.62 c #Conflicts: 1278000 | #Constraints: 44764
1422.70/1427.62 c #Conflicts: 1279000 | #Constraints: 45764
1422.70/1427.62 c INPROCESSING
1422.70/1427.62 c GARBAGE COLLECT
1422.70/1427.62 c #Conflicts: 1280000 | #Constraints: 24366
1422.70/1427.62 c #Conflicts: 1281000 | #Constraints: 25366
1533.08/1538.37 c #Conflicts: 1282000 | #Constraints: 26366
1533.08/1538.37 c #Conflicts: 1283000 | #Constraints: 27366
1533.08/1538.37 c #Conflicts: 1284000 | #Constraints: 28366
1533.08/1538.37 c #Conflicts: 1285000 | #Constraints: 29366
1533.08/1538.37 c #Conflicts: 1286000 | #Constraints: 30366
1533.08/1538.37 c #Conflicts: 1287000 | #Constraints: 31366
1533.08/1538.37 c #Conflicts: 1288000 | #Constraints: 32366
1533.08/1538.37 c #Conflicts: 1289000 | #Constraints: 33366
1533.08/1538.37 c #Conflicts: 1290000 | #Constraints: 34366
1533.08/1538.37 c #Conflicts: 1291000 | #Constraints: 35366
1533.08/1538.37 c #Conflicts: 1292000 | #Constraints: 36366
1533.08/1538.37 c #Conflicts: 1293000 | #Constraints: 37366
1533.08/1538.37 c #Conflicts: 1294000 | #Constraints: 38366
1533.08/1538.37 c #Conflicts: 1295000 | #Constraints: 39366
1533.08/1538.37 c #Conflicts: 1296000 | #Constraints: 40366
1533.08/1538.37 c #Conflicts: 1297000 | #Constraints: 41366
1533.08/1538.37 c #Conflicts: 1298000 | #Constraints: 42366
1533.08/1538.37 c #Conflicts: 1299000 | #Constraints: 43366
1533.08/1538.37 c #Conflicts: 1300000 | #Constraints: 44366
1533.08/1538.37 c #Conflicts: 1301000 | #Constraints: 45366
1533.08/1538.37 c #Conflicts: 1302000 | #Constraints: 46366
1533.08/1538.37 c INPROCESSING
1533.08/1538.37 c GARBAGE COLLECT
1533.08/1538.37 c #Conflicts: 1303000 | #Constraints: 24768
1533.08/1538.37 c #Conflicts: 1304000 | #Constraints: 25768
1533.08/1538.37 c #Conflicts: 1305000 | #Constraints: 26768
1533.08/1538.37 c #Conflicts: 1306000 | #Constraints: 27768
1533.08/1538.37 c #Conflicts: 1307000 | #Constraints: 28768
1533.08/1538.37 c #Conflicts: 1308000 | #Constraints: 29768
1533.08/1538.37 c #Conflicts: 1309000 | #Constraints: 30768
1533.08/1538.37 c #Conflicts: 1310000 | #Constraints: 31768
1533.08/1538.37 c #Conflicts: 1311000 | #Constraints: 32768
1533.08/1538.37 c #Conflicts: 1312000 | #Constraints: 33768
1533.08/1538.37 c #Conflicts: 1313000 | #Constraints: 34768
1533.08/1538.37 c #Conflicts: 1314000 | #Constraints: 35768
1533.08/1538.37 c #Conflicts: 1315000 | #Constraints: 36768
1533.08/1538.37 c #Conflicts: 1316000 | #Constraints: 37768
1533.08/1538.37 c #Conflicts: 1317000 | #Constraints: 38768
1533.08/1538.37 c #Conflicts: 1318000 | #Constraints: 39768
1533.08/1538.37 c #Conflicts: 1319000 | #Constraints: 40768
1533.08/1538.37 c #Conflicts: 1320000 | #Constraints: 41768
1533.08/1538.37 c #Conflicts: 1321000 | #Constraints: 42768
1533.08/1538.37 c #Conflicts: 1322000 | #Constraints: 43768
1533.08/1538.37 c #Conflicts: 1323000 | #Constraints: 44768
1533.08/1538.37 c #Conflicts: 1324000 | #Constraints: 45768
1533.08/1538.37 c #Conflicts: 1325000 | #Constraints: 46768
1533.08/1538.37 c INPROCESSING
1533.08/1538.37 c GARBAGE COLLECT
1533.08/1538.37 c #Conflicts: 1326000 | #Constraints: 24981
1533.08/1538.37 c #Conflicts: 1327000 | #Constraints: 25981
1533.08/1538.37 c #Conflicts: 1328000 | #Constraints: 26981
1533.08/1538.37 c #Conflicts: 1329000 | #Constraints: 27981
1533.08/1538.37 c #Conflicts: 1330000 | #Constraints: 28981
1533.08/1538.37 c #Conflicts: 1331000 | #Constraints: 29981
1533.08/1538.37 c #Conflicts: 1332000 | #Constraints: 30981
1533.08/1538.37 c #Conflicts: 1333000 | #Constraints: 31981
1533.08/1538.37 c #Conflicts: 1334000 | #Constraints: 32981
1533.08/1538.37 c #Conflicts: 1335000 | #Constraints: 33981
1533.08/1538.37 c #Conflicts: 1336000 | #Constraints: 34981
1533.08/1538.37 c #Conflicts: 1337000 | #Constraints: 35981
1533.08/1538.37 c #Conflicts: 1338000 | #Constraints: 36981
1533.08/1538.37 c #Conflicts: 1339000 | #Constraints: 37981
1533.08/1538.37 c #Conflicts: 1340000 | #Constraints: 38981
1533.08/1538.37 c #Conflicts: 1341000 | #Constraints: 39981
1533.08/1538.37 c #Conflicts: 1342000 | #Constraints: 40981
1533.08/1538.37 c #Conflicts: 1343000 | #Constraints: 41981
1533.08/1538.37 c #Conflicts: 1344000 | #Constraints: 42981
1533.08/1538.37 c #Conflicts: 1345000 | #Constraints: 43981
1533.08/1538.37 c #Conflicts: 1346000 | #Constraints: 44981
1533.08/1538.37 c #Conflicts: 1347000 | #Constraints: 45981
1533.08/1538.37 c #Conflicts: 1348000 | #Constraints: 46981
1533.08/1538.37 c INPROCESSING
1533.08/1538.37 c GARBAGE COLLECT
1533.08/1538.37 c #Conflicts: 1349000 | #Constraints: 24974
1533.08/1538.37 c #Conflicts: 1350000 | #Constraints: 25974
1533.08/1538.37 c #Conflicts: 1351000 | #Constraints: 26974
1533.08/1538.37 c #Conflicts: 1352000 | #Constraints: 27974
1533.08/1538.37 c #Conflicts: 1353000 | #Constraints: 28974
1533.08/1538.37 c #Conflicts: 1354000 | #Constraints: 29974
1533.08/1538.37 c #Conflicts: 1355000 | #Constraints: 30974
1533.08/1538.37 c #Conflicts: 1356000 | #Constraints: 31974
1533.08/1538.37 c #Conflicts: 1357000 | #Constraints: 32974
1533.08/1538.37 c #Conflicts: 1358000 | #Constraints: 33974
1647.68/1653.27 c #Conflicts: 1359000 | #Constraints: 34974
1647.68/1653.27 c #Conflicts: 1360000 | #Constraints: 35974
1647.68/1653.27 c #Conflicts: 1361000 | #Constraints: 36974
1647.68/1653.27 c #Conflicts: 1362000 | #Constraints: 37974
1647.68/1653.27 c #Conflicts: 1363000 | #Constraints: 38974
1647.68/1653.27 c #Conflicts: 1364000 | #Constraints: 39974
1647.68/1653.27 c #Conflicts: 1365000 | #Constraints: 40974
1647.68/1653.27 c #Conflicts: 1366000 | #Constraints: 41974
1647.68/1653.27 c #Conflicts: 1367000 | #Constraints: 42974
1647.68/1653.27 c #Conflicts: 1368000 | #Constraints: 43974
1647.68/1653.27 c #Conflicts: 1369000 | #Constraints: 44974
1647.68/1653.27 c #Conflicts: 1370000 | #Constraints: 45974
1647.68/1653.27 c #Conflicts: 1371000 | #Constraints: 46974
1647.68/1653.27 c INPROCESSING
1647.68/1653.27 c GARBAGE COLLECT
1647.68/1653.27 c #Conflicts: 1372000 | #Constraints: 24761
1647.68/1653.27 c #Conflicts: 1373000 | #Constraints: 25761
1647.68/1653.27 c #Conflicts: 1374000 | #Constraints: 26761
1647.68/1653.27 c #Conflicts: 1375000 | #Constraints: 27761
1647.68/1653.27 c #Conflicts: 1376000 | #Constraints: 28761
1647.68/1653.27 c #Conflicts: 1377000 | #Constraints: 29761
1647.68/1653.27 c #Conflicts: 1378000 | #Constraints: 30761
1647.68/1653.27 c #Conflicts: 1379000 | #Constraints: 31761
1647.68/1653.27 c #Conflicts: 1380000 | #Constraints: 32761
1647.68/1653.27 c #Conflicts: 1381000 | #Constraints: 33761
1647.68/1653.27 c #Conflicts: 1382000 | #Constraints: 34761
1647.68/1653.27 c #Conflicts: 1383000 | #Constraints: 35761
1647.68/1653.27 c #Conflicts: 1384000 | #Constraints: 36761
1647.68/1653.27 c #Conflicts: 1385000 | #Constraints: 37761
1647.68/1653.27 c #Conflicts: 1386000 | #Constraints: 38761
1647.68/1653.27 c #Conflicts: 1387000 | #Constraints: 39761
1647.68/1653.27 c #Conflicts: 1388000 | #Constraints: 40761
1647.68/1653.27 c #Conflicts: 1389000 | #Constraints: 41761
1647.68/1653.27 c #Conflicts: 1390000 | #Constraints: 42761
1647.68/1653.27 c #Conflicts: 1391000 | #Constraints: 43761
1647.68/1653.27 c #Conflicts: 1392000 | #Constraints: 44761
1647.68/1653.27 c #Conflicts: 1393000 | #Constraints: 45761
1647.68/1653.27 c #Conflicts: 1394000 | #Constraints: 46761
1647.68/1653.27 c #Conflicts: 1395000 | #Constraints: 47761
1647.68/1653.27 c INPROCESSING
1647.68/1653.27 c GARBAGE COLLECT
1647.68/1653.27 c #Conflicts: 1396000 | #Constraints: 25369
1647.68/1653.27 c #Conflicts: 1397000 | #Constraints: 26369
1647.68/1653.27 c #Conflicts: 1398000 | #Constraints: 27369
1647.68/1653.27 c #Conflicts: 1399000 | #Constraints: 28369
1647.68/1653.27 c #Conflicts: 1400000 | #Constraints: 29369
1647.68/1653.27 c #Conflicts: 1401000 | #Constraints: 30369
1647.68/1653.27 c #Conflicts: 1402000 | #Constraints: 31369
1647.68/1653.27 c #Conflicts: 1403000 | #Constraints: 32369
1647.68/1653.27 c #Conflicts: 1404000 | #Constraints: 33369
1647.68/1653.27 c #Conflicts: 1405000 | #Constraints: 34369
1647.68/1653.27 c #Conflicts: 1406000 | #Constraints: 35369
1647.68/1653.27 c #Conflicts: 1407000 | #Constraints: 36369
1647.68/1653.27 c #Conflicts: 1408000 | #Constraints: 37369
1647.68/1653.27 c #Conflicts: 1409000 | #Constraints: 38369
1647.68/1653.27 c #Conflicts: 1410000 | #Constraints: 39369
1647.68/1653.27 c #Conflicts: 1411000 | #Constraints: 40369
1647.68/1653.27 c #Conflicts: 1412000 | #Constraints: 41369
1647.68/1653.27 c #Conflicts: 1413000 | #Constraints: 42369
1647.68/1653.27 c #Conflicts: 1414000 | #Constraints: 43369
1647.68/1653.27 c #Conflicts: 1415000 | #Constraints: 44369
1647.68/1653.27 c #Conflicts: 1416000 | #Constraints: 45369
1647.68/1653.27 c #Conflicts: 1417000 | #Constraints: 46369
1647.68/1653.27 c #Conflicts: 1418000 | #Constraints: 47369
1647.68/1653.27 c #Conflicts: 1419000 | #Constraints: 48369
1647.68/1653.27 c INPROCESSING
1647.68/1653.27 c GARBAGE COLLECT
1647.68/1653.27 c #Conflicts: 1420000 | #Constraints: 25757
1647.68/1653.27 c #Conflicts: 1421000 | #Constraints: 26757
1647.68/1653.27 c #Conflicts: 1422000 | #Constraints: 27757
1647.68/1653.27 c #Conflicts: 1423000 | #Constraints: 28757
1647.68/1653.27 c #Conflicts: 1424000 | #Constraints: 29757
1647.68/1653.27 c #Conflicts: 1425000 | #Constraints: 30757
1647.68/1653.27 c #Conflicts: 1426000 | #Constraints: 31757
1647.68/1653.27 c #Conflicts: 1427000 | #Constraints: 32757
1647.68/1653.27 c #Conflicts: 1428000 | #Constraints: 33757
1647.68/1653.27 c #Conflicts: 1429000 | #Constraints: 34757
1647.68/1653.27 c #Conflicts: 1430000 | #Constraints: 35757
1647.68/1653.27 c #Conflicts: 1431000 | #Constraints: 36757
1647.68/1653.27 c #Conflicts: 1432000 | #Constraints: 37757
1647.68/1653.27 c #Conflicts: 1433000 | #Constraints: 38757
1647.68/1653.27 c #Conflicts: 1434000 | #Constraints: 39757
1647.68/1653.27 c #Conflicts: 1435000 | #Constraints: 40757
1766.68/1772.56 c #Conflicts: 1436000 | #Constraints: 41757
1766.68/1772.56 c #Conflicts: 1437000 | #Constraints: 42757
1766.68/1772.56 c #Conflicts: 1438000 | #Constraints: 43757
1766.68/1772.56 c #Conflicts: 1439000 | #Constraints: 44757
1766.68/1772.56 c #Conflicts: 1440000 | #Constraints: 45757
1766.68/1772.56 c #Conflicts: 1441000 | #Constraints: 46757
1766.68/1772.56 c #Conflicts: 1442000 | #Constraints: 47757
1766.68/1772.56 c #Conflicts: 1443000 | #Constraints: 48757
1766.68/1772.56 c INPROCESSING
1766.68/1772.56 c GARBAGE COLLECT
1766.68/1772.56 c #Conflicts: 1444000 | #Constraints: 25965
1766.68/1772.56 c #Conflicts: 1445000 | #Constraints: 26965
1766.68/1772.56 c #Conflicts: 1446000 | #Constraints: 27965
1766.68/1772.56 c #Conflicts: 1447000 | #Constraints: 28965
1766.68/1772.56 c #Conflicts: 1448000 | #Constraints: 29965
1766.68/1772.56 c #Conflicts: 1449000 | #Constraints: 30965
1766.68/1772.56 c #Conflicts: 1450000 | #Constraints: 31965
1766.68/1772.56 c #Conflicts: 1451000 | #Constraints: 32965
1766.68/1772.56 c #Conflicts: 1452000 | #Constraints: 33965
1766.68/1772.56 c #Conflicts: 1453000 | #Constraints: 34965
1766.68/1772.56 c #Conflicts: 1454000 | #Constraints: 35965
1766.68/1772.56 c #Conflicts: 1455000 | #Constraints: 36965
1766.68/1772.56 c #Conflicts: 1456000 | #Constraints: 37965
1766.68/1772.56 c #Conflicts: 1457000 | #Constraints: 38965
1766.68/1772.56 c #Conflicts: 1458000 | #Constraints: 39965
1766.68/1772.56 c #Conflicts: 1459000 | #Constraints: 40965
1766.68/1772.56 c #Conflicts: 1460000 | #Constraints: 41965
1766.68/1772.56 c #Conflicts: 1461000 | #Constraints: 42965
1766.68/1772.56 c #Conflicts: 1462000 | #Constraints: 43965
1766.68/1772.56 c #Conflicts: 1463000 | #Constraints: 44965
1766.68/1772.56 c #Conflicts: 1464000 | #Constraints: 45965
1766.68/1772.56 c #Conflicts: 1465000 | #Constraints: 46965
1766.68/1772.56 c #Conflicts: 1466000 | #Constraints: 47965
1766.68/1772.56 c #Conflicts: 1467000 | #Constraints: 48965
1766.68/1772.56 c INPROCESSING
1766.68/1772.56 c GARBAGE COLLECT
1766.68/1772.56 c #Conflicts: 1468000 | #Constraints: 25960
1766.68/1772.56 c #Conflicts: 1469000 | #Constraints: 26960
1766.68/1772.56 c #Conflicts: 1470000 | #Constraints: 27960
1766.68/1772.56 c #Conflicts: 1471000 | #Constraints: 28960
1766.68/1772.56 c #Conflicts: 1472000 | #Constraints: 29960
1766.68/1772.56 c #Conflicts: 1473000 | #Constraints: 30960
1766.68/1772.56 c #Conflicts: 1474000 | #Constraints: 31960
1766.68/1772.56 c #Conflicts: 1475000 | #Constraints: 32960
1766.68/1772.56 c #Conflicts: 1476000 | #Constraints: 33960
1766.68/1772.56 c #Conflicts: 1477000 | #Constraints: 34960
1766.68/1772.56 c #Conflicts: 1478000 | #Constraints: 35960
1766.68/1772.56 c #Conflicts: 1479000 | #Constraints: 36960
1766.68/1772.56 c #Conflicts: 1480000 | #Constraints: 37960
1766.68/1772.56 c #Conflicts: 1481000 | #Constraints: 38960
1766.68/1772.56 c #Conflicts: 1482000 | #Constraints: 39960
1766.68/1772.56 c #Conflicts: 1483000 | #Constraints: 40960
1766.68/1772.56 c #Conflicts: 1484000 | #Constraints: 41960
1766.68/1772.56 c #Conflicts: 1485000 | #Constraints: 42960
1766.68/1772.56 c #Conflicts: 1486000 | #Constraints: 43960
1766.68/1772.56 c #Conflicts: 1487000 | #Constraints: 44960
1766.68/1772.56 c #Conflicts: 1488000 | #Constraints: 45960
1766.68/1772.56 c #Conflicts: 1489000 | #Constraints: 46960
1766.68/1772.56 c #Conflicts: 1490000 | #Constraints: 47960
1766.68/1772.56 c #Conflicts: 1491000 | #Constraints: 48960
1766.68/1772.56 c INPROCESSING
1766.68/1772.56 c GARBAGE COLLECT
1766.68/1772.56 c #Conflicts: 1492000 | #Constraints: 25769
1766.68/1772.56 c #Conflicts: 1493000 | #Constraints: 26769
1766.68/1772.56 c #Conflicts: 1494000 | #Constraints: 27769
1766.68/1772.56 c #Conflicts: 1495000 | #Constraints: 28769
1766.68/1772.56 c #Conflicts: 1496000 | #Constraints: 29769
1766.68/1772.56 c #Conflicts: 1497000 | #Constraints: 30769
1766.68/1772.56 c #Conflicts: 1498000 | #Constraints: 31769
1766.68/1772.56 c #Conflicts: 1499000 | #Constraints: 32769
1766.68/1772.56 c #Conflicts: 1500000 | #Constraints: 33769
1766.68/1772.56 c #Conflicts: 1501000 | #Constraints: 34769
1766.68/1772.56 c #Conflicts: 1502000 | #Constraints: 35769
1766.68/1772.56 c #Conflicts: 1503000 | #Constraints: 36769
1766.68/1772.56 c #Conflicts: 1504000 | #Constraints: 37769
1766.68/1772.56 c #Conflicts: 1505000 | #Constraints: 38769
1766.68/1772.56 c #Conflicts: 1506000 | #Constraints: 39769
1766.68/1772.56 c #Conflicts: 1507000 | #Constraints: 40769
1766.68/1772.56 c #Conflicts: 1508000 | #Constraints: 41769
1766.68/1772.56 c #Conflicts: 1509000 | #Constraints: 42769
1766.68/1772.56 c #Conflicts: 1510000 | #Constraints: 43769
1766.68/1772.56 c #Conflicts: 1511000 | #Constraints: 44769
1878.07/1884.23 c #Conflicts: 1512000 | #Constraints: 45769
1878.07/1884.23 c #Conflicts: 1513000 | #Constraints: 46769
1878.07/1884.23 c #Conflicts: 1514000 | #Constraints: 47769
1878.07/1884.23 c #Conflicts: 1515000 | #Constraints: 48769
1878.07/1884.23 c #Conflicts: 1516000 | #Constraints: 49769
1878.07/1884.23 c INPROCESSING
1878.07/1884.23 c GARBAGE COLLECT
1878.07/1884.23 c #Conflicts: 1517000 | #Constraints: 26360
1878.07/1884.23 c #Conflicts: 1518000 | #Constraints: 27360
1878.07/1884.23 c #Conflicts: 1519000 | #Constraints: 28360
1878.07/1884.23 c #Conflicts: 1520000 | #Constraints: 29360
1878.07/1884.23 c #Conflicts: 1521000 | #Constraints: 30360
1878.07/1884.23 c #Conflicts: 1522000 | #Constraints: 31360
1878.07/1884.23 c #Conflicts: 1523000 | #Constraints: 32360
1878.07/1884.23 c #Conflicts: 1524000 | #Constraints: 33360
1878.07/1884.23 c #Conflicts: 1525000 | #Constraints: 34360
1878.07/1884.23 c #Conflicts: 1526000 | #Constraints: 35360
1878.07/1884.23 c #Conflicts: 1527000 | #Constraints: 36360
1878.07/1884.23 c #Conflicts: 1528000 | #Constraints: 37360
1878.07/1884.23 c #Conflicts: 1529000 | #Constraints: 38360
1878.07/1884.23 c #Conflicts: 1530000 | #Constraints: 39360
1878.07/1884.23 c #Conflicts: 1531000 | #Constraints: 40360
1878.07/1884.23 c #Conflicts: 1532000 | #Constraints: 41360
1878.07/1884.23 c #Conflicts: 1533000 | #Constraints: 42360
1878.07/1884.23 c #Conflicts: 1534000 | #Constraints: 43360
1878.07/1884.23 c #Conflicts: 1535000 | #Constraints: 44360
1878.07/1884.23 c #Conflicts: 1536000 | #Constraints: 45360
1878.07/1884.23 c #Conflicts: 1537000 | #Constraints: 46360
1878.07/1884.23 c #Conflicts: 1538000 | #Constraints: 47360
1878.07/1884.23 c #Conflicts: 1539000 | #Constraints: 48360
1878.07/1884.23 c #Conflicts: 1540000 | #Constraints: 49360
1878.07/1884.23 c #Conflicts: 1541000 | #Constraints: 50360
1878.07/1884.23 c INPROCESSING
1878.07/1884.23 c GARBAGE COLLECT
1878.07/1884.23 c #Conflicts: 1542000 | #Constraints: 26759
1878.07/1884.23 c #Conflicts: 1543000 | #Constraints: 27759
1878.07/1884.23 c #Conflicts: 1544000 | #Constraints: 28759
1878.07/1884.23 c #Conflicts: 1545000 | #Constraints: 29759
1878.07/1884.23 c #Conflicts: 1546000 | #Constraints: 30759
1878.07/1884.23 c #Conflicts: 1547000 | #Constraints: 31759
1878.07/1884.23 c #Conflicts: 1548000 | #Constraints: 32759
1878.07/1884.23 c #Conflicts: 1549000 | #Constraints: 33759
1878.07/1884.23 c #Conflicts: 1550000 | #Constraints: 34759
1878.07/1884.23 c #Conflicts: 1551000 | #Constraints: 35759
1878.07/1884.23 c #Conflicts: 1552000 | #Constraints: 36759
1878.07/1884.23 c #Conflicts: 1553000 | #Constraints: 37759
1878.07/1884.23 c #Conflicts: 1554000 | #Constraints: 38759
1878.07/1884.23 c #Conflicts: 1555000 | #Constraints: 39759
1878.07/1884.23 c #Conflicts: 1556000 | #Constraints: 40759
1878.07/1884.23 c #Conflicts: 1557000 | #Constraints: 41759
1878.07/1884.23 c #Conflicts: 1558000 | #Constraints: 42759
1878.07/1884.23 c #Conflicts: 1559000 | #Constraints: 43759
1878.07/1884.23 c #Conflicts: 1560000 | #Constraints: 44759
1878.07/1884.23 c #Conflicts: 1561000 | #Constraints: 45759
1878.07/1884.23 c #Conflicts: 1562000 | #Constraints: 46759
1878.07/1884.23 c #Conflicts: 1563000 | #Constraints: 47759
1878.07/1884.23 c #Conflicts: 1564000 | #Constraints: 48759
1878.07/1884.23 c #Conflicts: 1565000 | #Constraints: 49759
1878.07/1884.23 c #Conflicts: 1566000 | #Constraints: 50759
1878.07/1884.23 c INPROCESSING
1878.07/1884.23 c GARBAGE COLLECT
1878.07/1884.23 c #Conflicts: 1567000 | #Constraints: 26968
1878.07/1884.23 c #Conflicts: 1568000 | #Constraints: 27968
1878.07/1884.23 c #Conflicts: 1569000 | #Constraints: 28968
1878.07/1884.23 c #Conflicts: 1570000 | #Constraints: 29968
1878.07/1884.23 c #Conflicts: 1571000 | #Constraints: 30968
1878.07/1884.23 c #Conflicts: 1572000 | #Constraints: 31968
1878.07/1884.23 c #Conflicts: 1573000 | #Constraints: 32968
1878.07/1884.23 c #Conflicts: 1574000 | #Constraints: 33968
1878.07/1884.23 c #Conflicts: 1575000 | #Constraints: 34968
1878.07/1884.23 c #Conflicts: 1576000 | #Constraints: 35968
1878.07/1884.23 c #Conflicts: 1577000 | #Constraints: 36968
1878.07/1884.23 c #Conflicts: 1578000 | #Constraints: 37968
1878.07/1884.23 c #Conflicts: 1579000 | #Constraints: 38968
1878.07/1884.23 c #Conflicts: 1580000 | #Constraints: 39968
1878.07/1884.23 c #Conflicts: 1581000 | #Constraints: 40968
1878.07/1884.23 c #Conflicts: 1582000 | #Constraints: 41968
1878.07/1884.23 c #Conflicts: 1583000 | #Constraints: 42968
1878.07/1884.23 c #Conflicts: 1584000 | #Constraints: 43968
1878.07/1884.23 c #Conflicts: 1585000 | #Constraints: 44968
1878.07/1884.23 c #Conflicts: 1586000 | #Constraints: 45968
1878.07/1884.23 c #Conflicts: 1587000 | #Constraints: 46968
1878.07/1884.23 c #Conflicts: 1588000 | #Constraints: 47968
2006.01/2012.50 c #Conflicts: 1589000 | #Constraints: 48968
2006.01/2012.50 c #Conflicts: 1590000 | #Constraints: 49968
2006.01/2012.50 c #Conflicts: 1591000 | #Constraints: 50968
2006.01/2012.50 c INPROCESSING
2006.01/2012.50 c GARBAGE COLLECT
2006.01/2012.50 c #Conflicts: 1592000 | #Constraints: 26973
2006.01/2012.50 c #Conflicts: 1593000 | #Constraints: 27973
2006.01/2012.50 c #Conflicts: 1594000 | #Constraints: 28973
2006.01/2012.50 c #Conflicts: 1595000 | #Constraints: 29973
2006.01/2012.50 c #Conflicts: 1596000 | #Constraints: 30973
2006.01/2012.50 c #Conflicts: 1597000 | #Constraints: 31973
2006.01/2012.50 c #Conflicts: 1598000 | #Constraints: 32973
2006.01/2012.50 c #Conflicts: 1599000 | #Constraints: 33973
2006.01/2012.50 c #Conflicts: 1600000 | #Constraints: 34973
2006.01/2012.50 c #Conflicts: 1601000 | #Constraints: 35973
2006.01/2012.50 c #Conflicts: 1602000 | #Constraints: 36973
2006.01/2012.50 c #Conflicts: 1603000 | #Constraints: 37973
2006.01/2012.50 c #Conflicts: 1604000 | #Constraints: 38973
2006.01/2012.50 c #Conflicts: 1605000 | #Constraints: 39973
2006.01/2012.50 c #Conflicts: 1606000 | #Constraints: 40973
2006.01/2012.50 c #Conflicts: 1607000 | #Constraints: 41973
2006.01/2012.50 c #Conflicts: 1608000 | #Constraints: 42973
2006.01/2012.50 c #Conflicts: 1609000 | #Constraints: 43973
2006.01/2012.50 c #Conflicts: 1610000 | #Constraints: 44973
2006.01/2012.50 c #Conflicts: 1611000 | #Constraints: 45973
2006.01/2012.50 c #Conflicts: 1612000 | #Constraints: 46973
2006.01/2012.50 c #Conflicts: 1613000 | #Constraints: 47973
2006.01/2012.50 c #Conflicts: 1614000 | #Constraints: 48973
2006.01/2012.50 c #Conflicts: 1615000 | #Constraints: 49973
2006.01/2012.50 c #Conflicts: 1616000 | #Constraints: 50973
2006.01/2012.50 c INPROCESSING
2006.01/2012.50 c GARBAGE COLLECT
2006.01/2012.50 c #Conflicts: 1617000 | #Constraints: 26768
2006.01/2012.50 c #Conflicts: 1618000 | #Constraints: 27768
2006.01/2012.50 c #Conflicts: 1619000 | #Constraints: 28768
2006.01/2012.50 c #Conflicts: 1620000 | #Constraints: 29768
2006.01/2012.50 c #Conflicts: 1621000 | #Constraints: 30768
2006.01/2012.50 c #Conflicts: 1622000 | #Constraints: 31768
2006.01/2012.50 c #Conflicts: 1623000 | #Constraints: 32768
2006.01/2012.50 c #Conflicts: 1624000 | #Constraints: 33768
2006.01/2012.50 c #Conflicts: 1625000 | #Constraints: 34768
2006.01/2012.50 c #Conflicts: 1626000 | #Constraints: 35768
2006.01/2012.50 c #Conflicts: 1627000 | #Constraints: 36768
2006.01/2012.50 c #Conflicts: 1628000 | #Constraints: 37768
2006.01/2012.50 c #Conflicts: 1629000 | #Constraints: 38768
2006.01/2012.50 c #Conflicts: 1630000 | #Constraints: 39768
2006.01/2012.50 c #Conflicts: 1631000 | #Constraints: 40768
2006.01/2012.50 c #Conflicts: 1632000 | #Constraints: 41768
2006.01/2012.50 c #Conflicts: 1633000 | #Constraints: 42768
2006.01/2012.50 c #Conflicts: 1634000 | #Constraints: 43768
2006.01/2012.50 c #Conflicts: 1635000 | #Constraints: 44768
2006.01/2012.50 c #Conflicts: 1636000 | #Constraints: 45768
2006.01/2012.50 c #Conflicts: 1637000 | #Constraints: 46768
2006.01/2012.50 c #Conflicts: 1638000 | #Constraints: 47768
2006.01/2012.50 c #Conflicts: 1639000 | #Constraints: 48768
2006.01/2012.50 c #Conflicts: 1640000 | #Constraints: 49768
2006.01/2012.50 c #Conflicts: 1641000 | #Constraints: 50768
2006.01/2012.50 c #Conflicts: 1642000 | #Constraints: 51768
2006.01/2012.50 c INPROCESSING
2006.01/2012.50 c GARBAGE COLLECT
2006.01/2012.50 c #Conflicts: 1643000 | #Constraints: 27376
2006.01/2012.50 c #Conflicts: 1644000 | #Constraints: 28376
2006.01/2012.50 c #Conflicts: 1645000 | #Constraints: 29376
2006.01/2012.50 c #Conflicts: 1646000 | #Constraints: 30376
2006.01/2012.50 c #Conflicts: 1647000 | #Constraints: 31376
2006.01/2012.50 c #Conflicts: 1648000 | #Constraints: 32376
2006.01/2012.50 c #Conflicts: 1649000 | #Constraints: 33376
2006.01/2012.50 c #Conflicts: 1650000 | #Constraints: 34376
2006.01/2012.50 c #Conflicts: 1651000 | #Constraints: 35376
2006.01/2012.50 c #Conflicts: 1652000 | #Constraints: 36376
2006.01/2012.50 c #Conflicts: 1653000 | #Constraints: 37376
2006.01/2012.50 c #Conflicts: 1654000 | #Constraints: 38376
2006.01/2012.50 c #Conflicts: 1655000 | #Constraints: 39376
2006.01/2012.50 c #Conflicts: 1656000 | #Constraints: 40376
2006.01/2012.50 c #Conflicts: 1657000 | #Constraints: 41376
2006.01/2012.50 c #Conflicts: 1658000 | #Constraints: 42376
2006.01/2012.50 c #Conflicts: 1659000 | #Constraints: 43376
2006.01/2012.50 c #Conflicts: 1660000 | #Constraints: 44376
2006.01/2012.50 c #Conflicts: 1661000 | #Constraints: 45376
2006.01/2012.50 c #Conflicts: 1662000 | #Constraints: 46376
2006.01/2012.50 c #Conflicts: 1663000 | #Constraints: 47376
2006.01/2012.50 c #Conflicts: 1664000 | #Constraints: 48376
2006.01/2012.50 c #Conflicts: 1665000 | #Constraints: 49376
2133.35/2140.24 c #Conflicts: 1666000 | #Constraints: 50376
2133.35/2140.24 c #Conflicts: 1667000 | #Constraints: 51376
2133.35/2140.24 c #Conflicts: 1668000 | #Constraints: 52376
2133.35/2140.24 c INPROCESSING
2133.35/2140.24 c GARBAGE COLLECT
2133.35/2140.24 c #Conflicts: 1669000 | #Constraints: 27781
2133.35/2140.24 c #Conflicts: 1670000 | #Constraints: 28781
2133.35/2140.24 c #Conflicts: 1671000 | #Constraints: 29781
2133.35/2140.24 c #Conflicts: 1672000 | #Constraints: 30781
2133.35/2140.24 c #Conflicts: 1673000 | #Constraints: 31781
2133.35/2140.24 c #Conflicts: 1674000 | #Constraints: 32781
2133.35/2140.24 c #Conflicts: 1675000 | #Constraints: 33781
2133.35/2140.24 c #Conflicts: 1676000 | #Constraints: 34781
2133.35/2140.24 c #Conflicts: 1677000 | #Constraints: 35781
2133.35/2140.24 c #Conflicts: 1678000 | #Constraints: 36781
2133.35/2140.24 c #Conflicts: 1679000 | #Constraints: 37781
2133.35/2140.24 c #Conflicts: 1680000 | #Constraints: 38781
2133.35/2140.24 c #Conflicts: 1681000 | #Constraints: 39781
2133.35/2140.24 c #Conflicts: 1682000 | #Constraints: 40781
2133.35/2140.24 c #Conflicts: 1683000 | #Constraints: 41781
2133.35/2140.24 c #Conflicts: 1684000 | #Constraints: 42781
2133.35/2140.24 c #Conflicts: 1685000 | #Constraints: 43781
2133.35/2140.24 c #Conflicts: 1686000 | #Constraints: 44781
2133.35/2140.24 c #Conflicts: 1687000 | #Constraints: 45781
2133.35/2140.24 c #Conflicts: 1688000 | #Constraints: 46781
2133.35/2140.24 c #Conflicts: 1689000 | #Constraints: 47781
2133.35/2140.24 c #Conflicts: 1690000 | #Constraints: 48781
2133.35/2140.24 c #Conflicts: 1691000 | #Constraints: 49781
2133.35/2140.24 c #Conflicts: 1692000 | #Constraints: 50781
2133.35/2140.24 c #Conflicts: 1693000 | #Constraints: 51781
2133.35/2140.24 c #Conflicts: 1694000 | #Constraints: 52781
2133.35/2140.24 c INPROCESSING
2133.35/2140.24 c GARBAGE COLLECT
2133.35/2140.24 c #Conflicts: 1695000 | #Constraints: 27977
2133.35/2140.24 c #Conflicts: 1696000 | #Constraints: 28977
2133.35/2140.24 c #Conflicts: 1697000 | #Constraints: 29977
2133.35/2140.24 c #Conflicts: 1698000 | #Constraints: 30977
2133.35/2140.24 c #Conflicts: 1699000 | #Constraints: 31977
2133.35/2140.24 c #Conflicts: 1700000 | #Constraints: 32977
2133.35/2140.24 c #Conflicts: 1701000 | #Constraints: 33977
2133.35/2140.24 c #Conflicts: 1702000 | #Constraints: 34977
2133.35/2140.24 c #Conflicts: 1703000 | #Constraints: 35977
2133.35/2140.24 c #Conflicts: 1704000 | #Constraints: 36977
2133.35/2140.24 c #Conflicts: 1705000 | #Constraints: 37977
2133.35/2140.24 c #Conflicts: 1706000 | #Constraints: 38977
2133.35/2140.24 c #Conflicts: 1707000 | #Constraints: 39977
2133.35/2140.24 c #Conflicts: 1708000 | #Constraints: 40977
2133.35/2140.24 c #Conflicts: 1709000 | #Constraints: 41977
2133.35/2140.24 c #Conflicts: 1710000 | #Constraints: 42977
2133.35/2140.24 c #Conflicts: 1711000 | #Constraints: 43977
2133.35/2140.24 c #Conflicts: 1712000 | #Constraints: 44977
2133.35/2140.24 c #Conflicts: 1713000 | #Constraints: 45977
2133.35/2140.24 c #Conflicts: 1714000 | #Constraints: 46977
2133.35/2140.24 c #Conflicts: 1715000 | #Constraints: 47977
2133.35/2140.24 c #Conflicts: 1716000 | #Constraints: 48977
2133.35/2140.24 c #Conflicts: 1717000 | #Constraints: 49977
2133.35/2140.24 c #Conflicts: 1718000 | #Constraints: 50977
2133.35/2140.24 c #Conflicts: 1719000 | #Constraints: 51977
2133.35/2140.24 c #Conflicts: 1720000 | #Constraints: 52977
2133.35/2140.24 c INPROCESSING
2133.35/2140.24 c GARBAGE COLLECT
2133.35/2140.24 c #Conflicts: 1721000 | #Constraints: 27966
2133.35/2140.24 c #Conflicts: 1722000 | #Constraints: 28966
2133.35/2140.24 c #Conflicts: 1723000 | #Constraints: 29966
2133.35/2140.24 c #Conflicts: 1724000 | #Constraints: 30966
2133.35/2140.24 c #Conflicts: 1725000 | #Constraints: 31966
2133.35/2140.24 c #Conflicts: 1726000 | #Constraints: 32966
2133.35/2140.24 c #Conflicts: 1727000 | #Constraints: 33966
2133.35/2140.24 c #Conflicts: 1728000 | #Constraints: 34966
2133.35/2140.24 c #Conflicts: 1729000 | #Constraints: 35966
2133.35/2140.24 c #Conflicts: 1730000 | #Constraints: 36966
2133.35/2140.24 c #Conflicts: 1731000 | #Constraints: 37966
2133.35/2140.24 c #Conflicts: 1732000 | #Constraints: 38966
2133.35/2140.24 c #Conflicts: 1733000 | #Constraints: 39966
2133.35/2140.24 c #Conflicts: 1734000 | #Constraints: 40966
2133.35/2140.24 c #Conflicts: 1735000 | #Constraints: 41966
2133.35/2140.24 c #Conflicts: 1736000 | #Constraints: 42966
2133.35/2140.24 c #Conflicts: 1737000 | #Constraints: 43966
2133.35/2140.24 c #Conflicts: 1738000 | #Constraints: 44966
2133.35/2140.24 c #Conflicts: 1739000 | #Constraints: 45966
2133.35/2140.24 c #Conflicts: 1740000 | #Constraints: 46966
2133.35/2140.24 c #Conflicts: 1741000 | #Constraints: 47966
2133.35/2140.24 c #Conflicts: 1742000 | #Constraints: 48966
2265.91/2273.19 c #Conflicts: 1743000 | #Constraints: 49966
2265.91/2273.19 c #Conflicts: 1744000 | #Constraints: 50966
2265.91/2273.19 c #Conflicts: 1745000 | #Constraints: 51966
2265.91/2273.19 c #Conflicts: 1746000 | #Constraints: 52966
2265.91/2273.19 c INPROCESSING
2265.91/2273.19 c GARBAGE COLLECT
2265.91/2273.19 c #Conflicts: 1747000 | #Constraints: 27772
2265.91/2273.19 c #Conflicts: 1748000 | #Constraints: 28772
2265.91/2273.19 c #Conflicts: 1749000 | #Constraints: 29772
2265.91/2273.19 c #Conflicts: 1750000 | #Constraints: 30772
2265.91/2273.19 c #Conflicts: 1751000 | #Constraints: 31772
2265.91/2273.19 c #Conflicts: 1752000 | #Constraints: 32772
2265.91/2273.19 c #Conflicts: 1753000 | #Constraints: 33772
2265.91/2273.19 c #Conflicts: 1754000 | #Constraints: 34772
2265.91/2273.19 c #Conflicts: 1755000 | #Constraints: 35772
2265.91/2273.19 c #Conflicts: 1756000 | #Constraints: 36772
2265.91/2273.19 c #Conflicts: 1757000 | #Constraints: 37772
2265.91/2273.19 c #Conflicts: 1758000 | #Constraints: 38772
2265.91/2273.19 c #Conflicts: 1759000 | #Constraints: 39772
2265.91/2273.19 c #Conflicts: 1760000 | #Constraints: 40772
2265.91/2273.19 c #Conflicts: 1761000 | #Constraints: 41772
2265.91/2273.19 c #Conflicts: 1762000 | #Constraints: 42772
2265.91/2273.19 c #Conflicts: 1763000 | #Constraints: 43772
2265.91/2273.19 c #Conflicts: 1764000 | #Constraints: 44772
2265.91/2273.19 c #Conflicts: 1765000 | #Constraints: 45772
2265.91/2273.19 c #Conflicts: 1766000 | #Constraints: 46772
2265.91/2273.19 c #Conflicts: 1767000 | #Constraints: 47772
2265.91/2273.19 c #Conflicts: 1768000 | #Constraints: 48772
2265.91/2273.19 c #Conflicts: 1769000 | #Constraints: 49772
2265.91/2273.19 c #Conflicts: 1770000 | #Constraints: 50772
2265.91/2273.19 c #Conflicts: 1771000 | #Constraints: 51772
2265.91/2273.19 c #Conflicts: 1772000 | #Constraints: 52772
2265.91/2273.19 c #Conflicts: 1773000 | #Constraints: 53772
2265.91/2273.19 c INPROCESSING
2265.91/2273.19 c GARBAGE COLLECT
2265.91/2273.19 c #Conflicts: 1774000 | #Constraints: 28385
2265.91/2273.19 c #Conflicts: 1775000 | #Constraints: 29385
2265.91/2273.19 c #Conflicts: 1776000 | #Constraints: 30385
2265.91/2273.19 c #Conflicts: 1777000 | #Constraints: 31385
2265.91/2273.19 c #Conflicts: 1778000 | #Constraints: 32385
2265.91/2273.19 c #Conflicts: 1779000 | #Constraints: 33385
2265.91/2273.19 c #Conflicts: 1780000 | #Constraints: 34385
2265.91/2273.19 c #Conflicts: 1781000 | #Constraints: 35385
2265.91/2273.19 c #Conflicts: 1782000 | #Constraints: 36385
2265.91/2273.19 c #Conflicts: 1783000 | #Constraints: 37385
2265.91/2273.19 c #Conflicts: 1784000 | #Constraints: 38385
2265.91/2273.19 c #Conflicts: 1785000 | #Constraints: 39385
2265.91/2273.19 c #Conflicts: 1786000 | #Constraints: 40385
2265.91/2273.19 c #Conflicts: 1787000 | #Constraints: 41385
2265.91/2273.19 c #Conflicts: 1788000 | #Constraints: 42385
2265.91/2273.19 c #Conflicts: 1789000 | #Constraints: 43385
2265.91/2273.19 c #Conflicts: 1790000 | #Constraints: 44385
2265.91/2273.19 c #Conflicts: 1791000 | #Constraints: 45385
2265.91/2273.19 c #Conflicts: 1792000 | #Constraints: 46385
2265.91/2273.19 c #Conflicts: 1793000 | #Constraints: 47385
2265.91/2273.19 c #Conflicts: 1794000 | #Constraints: 48385
2265.91/2273.19 c #Conflicts: 1795000 | #Constraints: 49385
2265.91/2273.19 c #Conflicts: 1796000 | #Constraints: 50385
2265.91/2273.19 c #Conflicts: 1797000 | #Constraints: 51385
2265.91/2273.19 c #Conflicts: 1798000 | #Constraints: 52385
2265.91/2273.19 c #Conflicts: 1799000 | #Constraints: 53385
2265.91/2273.19 c #Conflicts: 1800000 | #Constraints: 54385
2265.91/2273.19 c INPROCESSING
2265.91/2273.19 c GARBAGE COLLECT
2265.91/2273.19 c #Conflicts: 1801000 | #Constraints: 28776
2265.91/2273.19 c #Conflicts: 1802000 | #Constraints: 29776
2265.91/2273.19 c #Conflicts: 1803000 | #Constraints: 30776
2265.91/2273.19 c #Conflicts: 1804000 | #Constraints: 31776
2265.91/2273.19 c #Conflicts: 1805000 | #Constraints: 32776
2265.91/2273.19 c #Conflicts: 1806000 | #Constraints: 33776
2265.91/2273.19 c #Conflicts: 1807000 | #Constraints: 34776
2265.91/2273.19 c #Conflicts: 1808000 | #Constraints: 35776
2265.91/2273.19 c #Conflicts: 1809000 | #Constraints: 36776
2265.91/2273.19 c #Conflicts: 1810000 | #Constraints: 37776
2265.91/2273.19 c #Conflicts: 1811000 | #Constraints: 38776
2265.91/2273.19 c #Conflicts: 1812000 | #Constraints: 39776
2265.91/2273.19 c #Conflicts: 1813000 | #Constraints: 40776
2265.91/2273.19 c #Conflicts: 1814000 | #Constraints: 41776
2265.91/2273.19 c #Conflicts: 1815000 | #Constraints: 42776
2265.91/2273.19 c #Conflicts: 1816000 | #Constraints: 43776
2265.91/2273.19 c #Conflicts: 1817000 | #Constraints: 44776
2265.91/2273.19 c #Conflicts: 1818000 | #Constraints: 45776
2265.91/2273.19 c #Conflicts: 1819000 | #Constraints: 46776
2403.42/2411.05 c #Conflicts: 1820000 | #Constraints: 47776
2403.42/2411.05 c #Conflicts: 1821000 | #Constraints: 48776
2403.42/2411.05 c #Conflicts: 1822000 | #Constraints: 49776
2403.42/2411.05 c #Conflicts: 1823000 | #Constraints: 50776
2403.42/2411.05 c #Conflicts: 1824000 | #Constraints: 51776
2403.42/2411.05 c #Conflicts: 1825000 | #Constraints: 52776
2403.42/2411.05 c #Conflicts: 1826000 | #Constraints: 53776
2403.42/2411.05 c #Conflicts: 1827000 | #Constraints: 54776
2403.42/2411.05 c INPROCESSING
2403.42/2411.05 c GARBAGE COLLECT
2403.42/2411.05 c #Conflicts: 1828000 | #Constraints: 28971
2403.42/2411.05 c #Conflicts: 1829000 | #Constraints: 29971
2403.42/2411.05 c #Conflicts: 1830000 | #Constraints: 30971
2403.42/2411.05 c #Conflicts: 1831000 | #Constraints: 31971
2403.42/2411.05 c #Conflicts: 1832000 | #Constraints: 32971
2403.42/2411.05 c #Conflicts: 1833000 | #Constraints: 33971
2403.42/2411.05 c #Conflicts: 1834000 | #Constraints: 34971
2403.42/2411.05 c #Conflicts: 1835000 | #Constraints: 35971
2403.42/2411.05 c #Conflicts: 1836000 | #Constraints: 36971
2403.42/2411.05 c #Conflicts: 1837000 | #Constraints: 37971
2403.42/2411.05 c #Conflicts: 1838000 | #Constraints: 38971
2403.42/2411.05 c #Conflicts: 1839000 | #Constraints: 39971
2403.42/2411.05 c #Conflicts: 1840000 | #Constraints: 40971
2403.42/2411.05 c #Conflicts: 1841000 | #Constraints: 41971
2403.42/2411.05 c #Conflicts: 1842000 | #Constraints: 42971
2403.42/2411.05 c #Conflicts: 1843000 | #Constraints: 43971
2403.42/2411.05 c #Conflicts: 1844000 | #Constraints: 44971
2403.42/2411.05 c #Conflicts: 1845000 | #Constraints: 45971
2403.42/2411.05 c #Conflicts: 1846000 | #Constraints: 46971
2403.42/2411.05 c #Conflicts: 1847000 | #Constraints: 47971
2403.42/2411.05 c #Conflicts: 1848000 | #Constraints: 48971
2403.42/2411.05 c #Conflicts: 1849000 | #Constraints: 49971
2403.42/2411.05 c #Conflicts: 1850000 | #Constraints: 50971
2403.42/2411.05 c #Conflicts: 1851000 | #Constraints: 51971
2403.42/2411.05 c #Conflicts: 1852000 | #Constraints: 52971
2403.42/2411.05 c #Conflicts: 1853000 | #Constraints: 53971
2403.42/2411.05 c #Conflicts: 1854000 | #Constraints: 54971
2403.42/2411.05 c INPROCESSING
2403.42/2411.05 c GARBAGE COLLECT
2403.42/2411.05 c #Conflicts: 1855000 | #Constraints: 28978
2403.42/2411.05 c #Conflicts: 1856000 | #Constraints: 29978
2403.42/2411.05 c #Conflicts: 1857000 | #Constraints: 30978
2403.42/2411.05 c #Conflicts: 1858000 | #Constraints: 31978
2403.42/2411.05 c #Conflicts: 1859000 | #Constraints: 32978
2403.42/2411.05 c #Conflicts: 1860000 | #Constraints: 33978
2403.42/2411.05 c #Conflicts: 1861000 | #Constraints: 34978
2403.42/2411.05 c #Conflicts: 1862000 | #Constraints: 35978
2403.42/2411.05 c #Conflicts: 1863000 | #Constraints: 36978
2403.42/2411.05 c #Conflicts: 1864000 | #Constraints: 37978
2403.42/2411.05 c #Conflicts: 1865000 | #Constraints: 38978
2403.42/2411.05 c #Conflicts: 1866000 | #Constraints: 39978
2403.42/2411.05 c #Conflicts: 1867000 | #Constraints: 40978
2403.42/2411.05 c #Conflicts: 1868000 | #Constraints: 41978
2403.42/2411.05 c #Conflicts: 1869000 | #Constraints: 42978
2403.42/2411.05 c #Conflicts: 1870000 | #Constraints: 43978
2403.42/2411.05 c #Conflicts: 1871000 | #Constraints: 44978
2403.42/2411.05 c #Conflicts: 1872000 | #Constraints: 45978
2403.42/2411.05 c #Conflicts: 1873000 | #Constraints: 46978
2403.42/2411.05 c #Conflicts: 1874000 | #Constraints: 47978
2403.42/2411.05 c #Conflicts: 1875000 | #Constraints: 48978
2403.42/2411.05 c #Conflicts: 1876000 | #Constraints: 49978
2403.42/2411.05 c #Conflicts: 1877000 | #Constraints: 50978
2403.42/2411.05 c #Conflicts: 1878000 | #Constraints: 51978
2403.42/2411.05 c #Conflicts: 1879000 | #Constraints: 52978
2403.42/2411.05 c #Conflicts: 1880000 | #Constraints: 53978
2403.42/2411.05 c #Conflicts: 1881000 | #Constraints: 54978
2403.42/2411.05 c INPROCESSING
2403.42/2411.05 c GARBAGE COLLECT
2403.42/2411.05 c #Conflicts: 1882000 | #Constraints: 28775
2403.42/2411.05 c #Conflicts: 1883000 | #Constraints: 29775
2403.42/2411.05 c #Conflicts: 1884000 | #Constraints: 30775
2403.42/2411.05 c #Conflicts: 1885000 | #Constraints: 31775
2403.42/2411.05 c #Conflicts: 1886000 | #Constraints: 32775
2403.42/2411.05 c #Conflicts: 1887000 | #Constraints: 33775
2403.42/2411.05 c #Conflicts: 1888000 | #Constraints: 34775
2403.42/2411.05 c #Conflicts: 1889000 | #Constraints: 35775
2403.42/2411.05 c #Conflicts: 1890000 | #Constraints: 36775
2403.42/2411.05 c #Conflicts: 1891000 | #Constraints: 37775
2403.42/2411.05 c #Conflicts: 1892000 | #Constraints: 38775
2403.42/2411.05 c #Conflicts: 1893000 | #Constraints: 39775
2403.42/2411.05 c #Conflicts: 1894000 | #Constraints: 40775
2403.42/2411.05 c #Conflicts: 1895000 | #Constraints: 41775
2403.42/2411.05 c #Conflicts: 1896000 | #Constraints: 42775
2545.89/2553.95 c #Conflicts: 1897000 | #Constraints: 43775
2545.89/2553.95 c #Conflicts: 1898000 | #Constraints: 44775
2545.89/2553.95 c #Conflicts: 1899000 | #Constraints: 45775
2545.89/2553.95 c #Conflicts: 1900000 | #Constraints: 46775
2545.89/2553.95 c #Conflicts: 1901000 | #Constraints: 47775
2545.89/2553.95 c #Conflicts: 1902000 | #Constraints: 48775
2545.89/2553.95 c #Conflicts: 1903000 | #Constraints: 49775
2545.89/2553.95 c #Conflicts: 1904000 | #Constraints: 50775
2545.89/2553.95 c #Conflicts: 1905000 | #Constraints: 51775
2545.89/2553.95 c #Conflicts: 1906000 | #Constraints: 52775
2545.89/2553.95 c #Conflicts: 1907000 | #Constraints: 53775
2545.89/2553.95 c #Conflicts: 1908000 | #Constraints: 54775
2545.89/2553.95 c #Conflicts: 1909000 | #Constraints: 55775
2545.89/2553.95 c INPROCESSING
2545.89/2553.95 c GARBAGE COLLECT
2545.89/2553.95 c #Conflicts: 1910000 | #Constraints: 29367
2545.89/2553.95 c #Conflicts: 1911000 | #Constraints: 30367
2545.89/2553.95 c #Conflicts: 1912000 | #Constraints: 31367
2545.89/2553.95 c #Conflicts: 1913000 | #Constraints: 32367
2545.89/2553.95 c #Conflicts: 1914000 | #Constraints: 33367
2545.89/2553.95 c #Conflicts: 1915000 | #Constraints: 34367
2545.89/2553.95 c #Conflicts: 1916000 | #Constraints: 35367
2545.89/2553.95 c #Conflicts: 1917000 | #Constraints: 36367
2545.89/2553.95 c #Conflicts: 1918000 | #Constraints: 37367
2545.89/2553.95 c #Conflicts: 1919000 | #Constraints: 38367
2545.89/2553.95 c #Conflicts: 1920000 | #Constraints: 39367
2545.89/2553.95 c #Conflicts: 1921000 | #Constraints: 40367
2545.89/2553.95 c #Conflicts: 1922000 | #Constraints: 41367
2545.89/2553.95 c #Conflicts: 1923000 | #Constraints: 42367
2545.89/2553.95 c #Conflicts: 1924000 | #Constraints: 43367
2545.89/2553.95 c #Conflicts: 1925000 | #Constraints: 44367
2545.89/2553.95 c #Conflicts: 1926000 | #Constraints: 45367
2545.89/2553.95 c #Conflicts: 1927000 | #Constraints: 46367
2545.89/2553.95 c #Conflicts: 1928000 | #Constraints: 47367
2545.89/2553.95 c #Conflicts: 1929000 | #Constraints: 48367
2545.89/2553.95 c #Conflicts: 1930000 | #Constraints: 49367
2545.89/2553.95 c #Conflicts: 1931000 | #Constraints: 50367
2545.89/2553.95 c #Conflicts: 1932000 | #Constraints: 51367
2545.89/2553.95 c #Conflicts: 1933000 | #Constraints: 52367
2545.89/2553.95 c #Conflicts: 1934000 | #Constraints: 53367
2545.89/2553.95 c #Conflicts: 1935000 | #Constraints: 54367
2545.89/2553.95 c #Conflicts: 1936000 | #Constraints: 55367
2545.89/2553.95 c #Conflicts: 1937000 | #Constraints: 56367
2545.89/2553.95 c INPROCESSING
2545.89/2553.95 c GARBAGE COLLECT
2545.89/2553.95 c #Conflicts: 1938000 | #Constraints: 29763
2545.89/2553.95 c #Conflicts: 1939000 | #Constraints: 30763
2545.89/2553.95 c #Conflicts: 1940000 | #Constraints: 31763
2545.89/2553.95 c #Conflicts: 1941000 | #Constraints: 32763
2545.89/2553.95 c #Conflicts: 1942000 | #Constraints: 33763
2545.89/2553.95 c #Conflicts: 1943000 | #Constraints: 34763
2545.89/2553.95 c #Conflicts: 1944000 | #Constraints: 35763
2545.89/2553.95 c #Conflicts: 1945000 | #Constraints: 36763
2545.89/2553.95 c #Conflicts: 1946000 | #Constraints: 37763
2545.89/2553.95 c #Conflicts: 1947000 | #Constraints: 38763
2545.89/2553.95 c #Conflicts: 1948000 | #Constraints: 39763
2545.89/2553.95 c #Conflicts: 1949000 | #Constraints: 40763
2545.89/2553.95 c #Conflicts: 1950000 | #Constraints: 41763
2545.89/2553.95 c #Conflicts: 1951000 | #Constraints: 42763
2545.89/2553.95 c #Conflicts: 1952000 | #Constraints: 43763
2545.89/2553.95 c #Conflicts: 1953000 | #Constraints: 44763
2545.89/2553.95 c #Conflicts: 1954000 | #Constraints: 45763
2545.89/2553.95 c #Conflicts: 1955000 | #Constraints: 46763
2545.89/2553.95 c #Conflicts: 1956000 | #Constraints: 47763
2545.89/2553.95 c #Conflicts: 1957000 | #Constraints: 48763
2545.89/2553.95 c #Conflicts: 1958000 | #Constraints: 49763
2545.89/2553.95 c #Conflicts: 1959000 | #Constraints: 50763
2545.89/2553.95 c #Conflicts: 1960000 | #Constraints: 51763
2545.89/2553.95 c #Conflicts: 1961000 | #Constraints: 52763
2545.89/2553.95 c #Conflicts: 1962000 | #Constraints: 53763
2545.89/2553.95 c #Conflicts: 1963000 | #Constraints: 54763
2545.89/2553.95 c #Conflicts: 1964000 | #Constraints: 55763
2545.89/2553.95 c #Conflicts: 1965000 | #Constraints: 56763
2545.89/2553.95 c INPROCESSING
2545.89/2553.95 c GARBAGE COLLECT
2545.89/2553.95 c #Conflicts: 1966000 | #Constraints: 29965
2545.89/2553.95 c #Conflicts: 1967000 | #Constraints: 30965
2545.89/2553.95 c #Conflicts: 1968000 | #Constraints: 31965
2545.89/2553.95 c #Conflicts: 1969000 | #Constraints: 32965
2545.89/2553.95 c #Conflicts: 1970000 | #Constraints: 33965
2545.89/2553.95 c #Conflicts: 1971000 | #Constraints: 34965
2545.89/2553.95 c #Conflicts: 1972000 | #Constraints: 35965
2545.89/2553.95 c #Conflicts: 1973000 | #Constraints: 36965
2702.24/2710.75 c #Conflicts: 1974000 | #Constraints: 37965
2702.24/2710.75 c #Conflicts: 1975000 | #Constraints: 38965
2702.24/2710.75 c #Conflicts: 1976000 | #Constraints: 39965
2702.24/2710.75 c #Conflicts: 1977000 | #Constraints: 40965
2702.24/2710.75 c #Conflicts: 1978000 | #Constraints: 41965
2702.24/2710.75 c #Conflicts: 1979000 | #Constraints: 42965
2702.24/2710.75 c #Conflicts: 1980000 | #Constraints: 43965
2702.24/2710.75 c #Conflicts: 1981000 | #Constraints: 44965
2702.24/2710.75 c #Conflicts: 1982000 | #Constraints: 45965
2702.24/2710.75 c #Conflicts: 1983000 | #Constraints: 46965
2702.24/2710.75 c #Conflicts: 1984000 | #Constraints: 47965
2702.24/2710.75 c #Conflicts: 1985000 | #Constraints: 48965
2702.24/2710.75 c #Conflicts: 1986000 | #Constraints: 49965
2702.24/2710.75 c #Conflicts: 1987000 | #Constraints: 50965
2702.24/2710.75 c #Conflicts: 1988000 | #Constraints: 51965
2702.24/2710.75 c #Conflicts: 1989000 | #Constraints: 52965
2702.24/2710.75 c #Conflicts: 1990000 | #Constraints: 53965
2702.24/2710.75 c #Conflicts: 1991000 | #Constraints: 54965
2702.24/2710.75 c #Conflicts: 1992000 | #Constraints: 55965
2702.24/2710.75 c #Conflicts: 1993000 | #Constraints: 56965
2702.24/2710.75 c INPROCESSING
2702.24/2710.75 c GARBAGE COLLECT
2702.24/2710.75 c #Conflicts: 1994000 | #Constraints: 29980
2702.24/2710.75 c #Conflicts: 1995000 | #Constraints: 30980
2702.24/2710.75 c #Conflicts: 1996000 | #Constraints: 31980
2702.24/2710.75 c #Conflicts: 1997000 | #Constraints: 32980
2702.24/2710.75 c #Conflicts: 1998000 | #Constraints: 33980
2702.24/2710.75 c #Conflicts: 1999000 | #Constraints: 34980
2702.24/2710.75 c #Conflicts: 2000000 | #Constraints: 35980
2702.24/2710.75 c #Conflicts: 2001000 | #Constraints: 36980
2702.24/2710.75 c #Conflicts: 2002000 | #Constraints: 37980
2702.24/2710.75 c #Conflicts: 2003000 | #Constraints: 38980
2702.24/2710.75 c #Conflicts: 2004000 | #Constraints: 39980
2702.24/2710.75 c #Conflicts: 2005000 | #Constraints: 40980
2702.24/2710.75 c #Conflicts: 2006000 | #Constraints: 41980
2702.24/2710.75 c #Conflicts: 2007000 | #Constraints: 42980
2702.24/2710.75 c #Conflicts: 2008000 | #Constraints: 43980
2702.24/2710.75 c #Conflicts: 2009000 | #Constraints: 44980
2702.24/2710.75 c #Conflicts: 2010000 | #Constraints: 45980
2702.24/2710.75 c #Conflicts: 2011000 | #Constraints: 46980
2702.24/2710.75 c #Conflicts: 2012000 | #Constraints: 47980
2702.24/2710.75 c #Conflicts: 2013000 | #Constraints: 48980
2702.24/2710.75 c #Conflicts: 2014000 | #Constraints: 49980
2702.24/2710.75 c #Conflicts: 2015000 | #Constraints: 50980
2702.24/2710.75 c #Conflicts: 2016000 | #Constraints: 51980
2702.24/2710.75 c #Conflicts: 2017000 | #Constraints: 52980
2702.24/2710.75 c #Conflicts: 2018000 | #Constraints: 53980
2702.24/2710.75 c #Conflicts: 2019000 | #Constraints: 54980
2702.24/2710.75 c #Conflicts: 2020000 | #Constraints: 55980
2702.24/2710.75 c #Conflicts: 2021000 | #Constraints: 56980
2702.24/2710.75 c INPROCESSING
2702.24/2710.75 c GARBAGE COLLECT
2702.24/2710.75 c #Conflicts: 2022000 | #Constraints: 29776
2702.24/2710.75 c #Conflicts: 2023000 | #Constraints: 30776
2702.24/2710.75 c #Conflicts: 2024000 | #Constraints: 31776
2702.24/2710.75 c #Conflicts: 2025000 | #Constraints: 32776
2702.24/2710.75 c #Conflicts: 2026000 | #Constraints: 33776
2702.24/2710.75 c #Conflicts: 2027000 | #Constraints: 34776
2702.24/2710.75 c #Conflicts: 2028000 | #Constraints: 35776
2702.24/2710.75 c #Conflicts: 2029000 | #Constraints: 36776
2702.24/2710.75 c #Conflicts: 2030000 | #Constraints: 37776
2702.24/2710.75 c #Conflicts: 2031000 | #Constraints: 38776
2702.24/2710.75 c #Conflicts: 2032000 | #Constraints: 39776
2702.24/2710.75 c #Conflicts: 2033000 | #Constraints: 40776
2702.24/2710.75 c #Conflicts: 2034000 | #Constraints: 41776
2702.24/2710.75 c #Conflicts: 2035000 | #Constraints: 42776
2702.24/2710.75 c #Conflicts: 2036000 | #Constraints: 43776
2702.24/2710.75 c #Conflicts: 2037000 | #Constraints: 44776
2702.24/2710.75 c #Conflicts: 2038000 | #Constraints: 45776
2702.24/2710.75 c #Conflicts: 2039000 | #Constraints: 46776
2702.24/2710.75 c #Conflicts: 2040000 | #Constraints: 47776
2702.24/2710.75 c #Conflicts: 2041000 | #Constraints: 48776
2702.24/2710.75 c #Conflicts: 2042000 | #Constraints: 49776
2702.24/2710.75 c #Conflicts: 2043000 | #Constraints: 50776
2702.24/2710.75 c #Conflicts: 2044000 | #Constraints: 51776
2702.24/2710.75 c #Conflicts: 2045000 | #Constraints: 52776
2702.24/2710.75 c #Conflicts: 2046000 | #Constraints: 53776
2702.24/2710.75 c #Conflicts: 2047000 | #Constraints: 54776
2702.24/2710.75 c #Conflicts: 2048000 | #Constraints: 55776
2702.24/2710.75 c #Conflicts: 2049000 | #Constraints: 56776
2702.24/2710.75 c #Conflicts: 2050000 | #Constraints: 57776
2840.86/2849.79 c INPROCESSING
2840.86/2849.79 c GARBAGE COLLECT
2840.86/2849.79 c #Conflicts: 2051000 | #Constraints: 30370
2840.86/2849.79 c #Conflicts: 2052000 | #Constraints: 31370
2840.86/2849.79 c #Conflicts: 2053000 | #Constraints: 32370
2840.86/2849.79 c #Conflicts: 2054000 | #Constraints: 33370
2840.86/2849.79 c #Conflicts: 2055000 | #Constraints: 34370
2840.86/2849.79 c #Conflicts: 2056000 | #Constraints: 35370
2840.86/2849.79 c #Conflicts: 2057000 | #Constraints: 36370
2840.86/2849.79 c #Conflicts: 2058000 | #Constraints: 37370
2840.86/2849.79 c #Conflicts: 2059000 | #Constraints: 38370
2840.86/2849.79 c #Conflicts: 2060000 | #Constraints: 39370
2840.86/2849.79 c #Conflicts: 2061000 | #Constraints: 40370
2840.86/2849.79 c #Conflicts: 2062000 | #Constraints: 41370
2840.86/2849.79 c #Conflicts: 2063000 | #Constraints: 42370
2840.86/2849.79 c #Conflicts: 2064000 | #Constraints: 43370
2840.86/2849.79 c #Conflicts: 2065000 | #Constraints: 44370
2840.86/2849.79 c #Conflicts: 2066000 | #Constraints: 45370
2840.86/2849.79 c #Conflicts: 2067000 | #Constraints: 46370
2840.86/2849.79 c #Conflicts: 2068000 | #Constraints: 47370
2840.86/2849.79 c #Conflicts: 2069000 | #Constraints: 48370
2840.86/2849.79 c #Conflicts: 2070000 | #Constraints: 49370
2840.86/2849.79 c #Conflicts: 2071000 | #Constraints: 50370
2840.86/2849.79 c #Conflicts: 2072000 | #Constraints: 51370
2840.86/2849.79 c #Conflicts: 2073000 | #Constraints: 52370
2840.86/2849.79 c #Conflicts: 2074000 | #Constraints: 53370
2840.86/2849.79 c #Conflicts: 2075000 | #Constraints: 54370
2840.86/2849.79 c #Conflicts: 2076000 | #Constraints: 55370
2840.86/2849.79 c #Conflicts: 2077000 | #Constraints: 56370
2840.86/2849.79 c #Conflicts: 2078000 | #Constraints: 57370
2840.86/2849.79 c #Conflicts: 2079000 | #Constraints: 58370
2840.86/2849.79 c INPROCESSING
2840.86/2849.79 c GARBAGE COLLECT
2840.86/2849.79 c #Conflicts: 2080000 | #Constraints: 30787
2840.86/2849.79 c #Conflicts: 2081000 | #Constraints: 31787
2840.86/2849.79 c #Conflicts: 2082000 | #Constraints: 32787
2840.86/2849.79 c #Conflicts: 2083000 | #Constraints: 33787
2840.86/2849.79 c #Conflicts: 2084000 | #Constraints: 34787
2840.86/2849.79 c #Conflicts: 2085000 | #Constraints: 35787
2840.86/2849.79 c #Conflicts: 2086000 | #Constraints: 36787
2840.86/2849.79 c #Conflicts: 2087000 | #Constraints: 37787
2840.86/2849.79 c #Conflicts: 2088000 | #Constraints: 38787
2840.86/2849.79 c #Conflicts: 2089000 | #Constraints: 39787
2840.86/2849.79 c #Conflicts: 2090000 | #Constraints: 40787
2840.86/2849.79 c #Conflicts: 2091000 | #Constraints: 41787
2840.86/2849.79 c #Conflicts: 2092000 | #Constraints: 42787
2840.86/2849.79 c #Conflicts: 2093000 | #Constraints: 43787
2840.86/2849.79 c #Conflicts: 2094000 | #Constraints: 44787
2840.86/2849.79 c #Conflicts: 2095000 | #Constraints: 45787
2840.86/2849.79 c #Conflicts: 2096000 | #Constraints: 46787
2840.86/2849.79 c #Conflicts: 2097000 | #Constraints: 47787
2840.86/2849.79 c #Conflicts: 2098000 | #Constraints: 48787
2840.86/2849.79 c #Conflicts: 2099000 | #Constraints: 49787
2840.86/2849.79 c #Conflicts: 2100000 | #Constraints: 50787
2840.86/2849.79 c #Conflicts: 2101000 | #Constraints: 51787
2840.86/2849.79 c #Conflicts: 2102000 | #Constraints: 52787
2840.86/2849.79 c #Conflicts: 2103000 | #Constraints: 53787
2840.86/2849.79 c #Conflicts: 2104000 | #Constraints: 54787
2840.86/2849.79 c #Conflicts: 2105000 | #Constraints: 55787
2840.86/2849.79 c #Conflicts: 2106000 | #Constraints: 56787
2840.86/2849.79 c #Conflicts: 2107000 | #Constraints: 57787
2840.86/2849.79 c #Conflicts: 2108000 | #Constraints: 58787
2840.86/2849.79 c INPROCESSING
2840.86/2849.79 c GARBAGE COLLECT
2840.86/2849.79 c #Conflicts: 2109000 | #Constraints: 31008
2840.86/2849.79 c #Conflicts: 2110000 | #Constraints: 32008
2840.86/2849.79 c #Conflicts: 2111000 | #Constraints: 33008
2840.86/2849.79 c #Conflicts: 2112000 | #Constraints: 34008
2840.86/2849.79 c #Conflicts: 2113000 | #Constraints: 35008
2840.86/2849.79 c #Conflicts: 2114000 | #Constraints: 36008
2840.86/2849.79 c #Conflicts: 2115000 | #Constraints: 37008
2840.86/2849.79 c #Conflicts: 2116000 | #Constraints: 38008
2840.86/2849.79 c #Conflicts: 2117000 | #Constraints: 39008
2840.86/2849.79 c #Conflicts: 2118000 | #Constraints: 40008
2840.86/2849.79 c #Conflicts: 2119000 | #Constraints: 41008
2840.86/2849.79 c #Conflicts: 2120000 | #Constraints: 42008
2840.86/2849.79 c #Conflicts: 2121000 | #Constraints: 43008
2840.86/2849.79 c #Conflicts: 2122000 | #Constraints: 44008
2840.86/2849.79 c #Conflicts: 2123000 | #Constraints: 45008
2840.86/2849.79 c #Conflicts: 2124000 | #Constraints: 46008
2840.86/2849.79 c #Conflicts: 2125000 | #Constraints: 47008
2840.86/2849.79 c #Conflicts: 2126000 | #Constraints: 48008
2840.86/2849.79 c #Conflicts: 2127000 | #Constraints: 49008
2999.74/3009.07 c #Conflicts: 2128000 | #Constraints: 50008
2999.74/3009.07 c #Conflicts: 2129000 | #Constraints: 51008
2999.74/3009.07 c #Conflicts: 2130000 | #Constraints: 52008
2999.74/3009.07 c #Conflicts: 2131000 | #Constraints: 53008
2999.74/3009.07 c #Conflicts: 2132000 | #Constraints: 54008
2999.74/3009.07 c #Conflicts: 2133000 | #Constraints: 55008
2999.74/3009.07 c #Conflicts: 2134000 | #Constraints: 56008
2999.74/3009.07 c #Conflicts: 2135000 | #Constraints: 57008
2999.74/3009.07 c #Conflicts: 2136000 | #Constraints: 58008
2999.74/3009.07 c #Conflicts: 2137000 | #Constraints: 59008
2999.74/3009.07 c INPROCESSING
2999.74/3009.07 c GARBAGE COLLECT
2999.74/3009.07 c #Conflicts: 2138000 | #Constraints: 30993
2999.74/3009.07 c #Conflicts: 2139000 | #Constraints: 31993
2999.74/3009.07 c #Conflicts: 2140000 | #Constraints: 32993
2999.74/3009.07 c #Conflicts: 2141000 | #Constraints: 33993
2999.74/3009.07 c #Conflicts: 2142000 | #Constraints: 34993
2999.74/3009.07 c #Conflicts: 2143000 | #Constraints: 35993
2999.74/3009.07 c #Conflicts: 2144000 | #Constraints: 36993
2999.74/3009.07 c #Conflicts: 2145000 | #Constraints: 37993
2999.74/3009.07 c #Conflicts: 2146000 | #Constraints: 38993
2999.74/3009.07 c #Conflicts: 2147000 | #Constraints: 39993
2999.74/3009.07 c #Conflicts: 2148000 | #Constraints: 40993
2999.74/3009.07 c #Conflicts: 2149000 | #Constraints: 41993
2999.74/3009.07 c #Conflicts: 2150000 | #Constraints: 42993
2999.74/3009.07 c #Conflicts: 2151000 | #Constraints: 43993
2999.74/3009.07 c #Conflicts: 2152000 | #Constraints: 44993
2999.74/3009.07 c #Conflicts: 2153000 | #Constraints: 45993
2999.74/3009.07 c #Conflicts: 2154000 | #Constraints: 46993
2999.74/3009.07 c #Conflicts: 2155000 | #Constraints: 47993
2999.74/3009.07 c #Conflicts: 2156000 | #Constraints: 48993
2999.74/3009.07 c #Conflicts: 2157000 | #Constraints: 49993
2999.74/3009.07 c #Conflicts: 2158000 | #Constraints: 50993
2999.74/3009.07 c #Conflicts: 2159000 | #Constraints: 51993
2999.74/3009.07 c #Conflicts: 2160000 | #Constraints: 52993
2999.74/3009.07 c #Conflicts: 2161000 | #Constraints: 53993
2999.74/3009.07 c #Conflicts: 2162000 | #Constraints: 54993
2999.74/3009.07 c #Conflicts: 2163000 | #Constraints: 55993
2999.74/3009.07 c #Conflicts: 2164000 | #Constraints: 56993
2999.74/3009.07 c #Conflicts: 2165000 | #Constraints: 57993
2999.74/3009.07 c #Conflicts: 2166000 | #Constraints: 58993
2999.74/3009.07 c INPROCESSING
2999.74/3009.07 c GARBAGE COLLECT
2999.74/3009.07 c #Conflicts: 2167000 | #Constraints: 30808
2999.74/3009.07 c #Conflicts: 2168000 | #Constraints: 31808
2999.74/3009.07 c #Conflicts: 2169000 | #Constraints: 32808
2999.74/3009.07 c #Conflicts: 2170000 | #Constraints: 33808
2999.74/3009.07 c #Conflicts: 2171000 | #Constraints: 34808
2999.74/3009.07 c #Conflicts: 2172000 | #Constraints: 35808
2999.74/3009.07 c #Conflicts: 2173000 | #Constraints: 36808
2999.74/3009.07 c #Conflicts: 2174000 | #Constraints: 37808
2999.74/3009.07 c #Conflicts: 2175000 | #Constraints: 38808
2999.74/3009.07 c #Conflicts: 2176000 | #Constraints: 39808
2999.74/3009.07 c #Conflicts: 2177000 | #Constraints: 40808
2999.74/3009.07 c #Conflicts: 2178000 | #Constraints: 41808
2999.74/3009.07 c #Conflicts: 2179000 | #Constraints: 42808
2999.74/3009.07 c #Conflicts: 2180000 | #Constraints: 43808
2999.74/3009.07 c #Conflicts: 2181000 | #Constraints: 44808
2999.74/3009.07 c #Conflicts: 2182000 | #Constraints: 45808
2999.74/3009.07 c #Conflicts: 2183000 | #Constraints: 46808
2999.74/3009.07 c #Conflicts: 2184000 | #Constraints: 47808
2999.74/3009.07 c #Conflicts: 2185000 | #Constraints: 48808
2999.74/3009.07 c #Conflicts: 2186000 | #Constraints: 49808
2999.74/3009.07 c #Conflicts: 2187000 | #Constraints: 50808
2999.74/3009.07 c #Conflicts: 2188000 | #Constraints: 51808
2999.74/3009.07 c #Conflicts: 2189000 | #Constraints: 52808
2999.74/3009.07 c #Conflicts: 2190000 | #Constraints: 53808
2999.74/3009.07 c #Conflicts: 2191000 | #Constraints: 54808
2999.74/3009.07 c #Conflicts: 2192000 | #Constraints: 55808
2999.74/3009.07 c #Conflicts: 2193000 | #Constraints: 56808
2999.74/3009.07 c #Conflicts: 2194000 | #Constraints: 57808
2999.74/3009.07 c #Conflicts: 2195000 | #Constraints: 58808
2999.74/3009.07 c #Conflicts: 2196000 | #Constraints: 59808
2999.74/3009.07 c INPROCESSING
2999.74/3009.07 c GARBAGE COLLECT
2999.74/3009.07 c #Conflicts: 2197000 | #Constraints: 31398
2999.74/3009.07 c #Conflicts: 2198000 | #Constraints: 32398
2999.74/3009.07 c #Conflicts: 2199000 | #Constraints: 33398
2999.74/3009.07 c #Conflicts: 2200000 | #Constraints: 34398
2999.74/3009.07 c #Conflicts: 2201000 | #Constraints: 35398
2999.74/3009.07 c #Conflicts: 2202000 | #Constraints: 36398
2999.74/3009.07 c #Conflicts: 2203000 | #Constraints: 37398
2999.74/3009.07 c #Conflicts: 2204000 | #Constraints: 38398
3146.75/3156.44 c #Conflicts: 2205000 | #Constraints: 39398
3146.75/3156.44 c #Conflicts: 2206000 | #Constraints: 40398
3146.75/3156.44 c #Conflicts: 2207000 | #Constraints: 41398
3146.75/3156.44 c #Conflicts: 2208000 | #Constraints: 42398
3146.75/3156.44 c #Conflicts: 2209000 | #Constraints: 43398
3146.75/3156.44 c #Conflicts: 2210000 | #Constraints: 44398
3146.75/3156.44 c #Conflicts: 2211000 | #Constraints: 45398
3146.75/3156.44 c #Conflicts: 2212000 | #Constraints: 46398
3146.75/3156.44 c #Conflicts: 2213000 | #Constraints: 47398
3146.75/3156.44 c #Conflicts: 2214000 | #Constraints: 48398
3146.75/3156.44 c #Conflicts: 2215000 | #Constraints: 49398
3146.75/3156.44 c #Conflicts: 2216000 | #Constraints: 50398
3146.75/3156.44 c #Conflicts: 2217000 | #Constraints: 51398
3146.75/3156.44 c #Conflicts: 2218000 | #Constraints: 52398
3146.75/3156.44 c #Conflicts: 2219000 | #Constraints: 53398
3146.75/3156.44 c #Conflicts: 2220000 | #Constraints: 54398
3146.75/3156.44 c #Conflicts: 2221000 | #Constraints: 55398
3146.75/3156.44 c #Conflicts: 2222000 | #Constraints: 56398
3146.75/3156.44 c #Conflicts: 2223000 | #Constraints: 57398
3146.75/3156.44 c #Conflicts: 2224000 | #Constraints: 58398
3146.75/3156.45 c #Conflicts: 2225000 | #Constraints: 59398
3146.75/3156.45 c #Conflicts: 2226000 | #Constraints: 60398
3146.75/3156.45 c INPROCESSING
3146.75/3156.45 c GARBAGE COLLECT
3146.75/3156.45 c #Conflicts: 2227000 | #Constraints: 31789
3146.75/3156.45 c #Conflicts: 2228000 | #Constraints: 32789
3146.75/3156.45 c #Conflicts: 2229000 | #Constraints: 33789
3146.75/3156.45 c #Conflicts: 2230000 | #Constraints: 34789
3146.75/3156.45 c #Conflicts: 2231000 | #Constraints: 35789
3146.75/3156.45 c #Conflicts: 2232000 | #Constraints: 36789
3146.75/3156.45 c #Conflicts: 2233000 | #Constraints: 37789
3146.75/3156.45 c #Conflicts: 2234000 | #Constraints: 38789
3146.75/3156.45 c #Conflicts: 2235000 | #Constraints: 39789
3146.75/3156.45 c #Conflicts: 2236000 | #Constraints: 40789
3146.75/3156.45 c #Conflicts: 2237000 | #Constraints: 41789
3146.75/3156.45 c #Conflicts: 2238000 | #Constraints: 42789
3146.75/3156.45 c #Conflicts: 2239000 | #Constraints: 43789
3146.75/3156.45 c #Conflicts: 2240000 | #Constraints: 44789
3146.75/3156.45 c #Conflicts: 2241000 | #Constraints: 45789
3146.75/3156.45 c #Conflicts: 2242000 | #Constraints: 46789
3146.75/3156.45 c #Conflicts: 2243000 | #Constraints: 47789
3146.75/3156.45 c #Conflicts: 2244000 | #Constraints: 48789
3146.75/3156.45 c #Conflicts: 2245000 | #Constraints: 49789
3146.75/3156.45 c #Conflicts: 2246000 | #Constraints: 50789
3146.75/3156.45 c #Conflicts: 2247000 | #Constraints: 51789
3146.75/3156.45 c #Conflicts: 2248000 | #Constraints: 52789
3146.75/3156.45 c #Conflicts: 2249000 | #Constraints: 53789
3146.75/3156.45 c #Conflicts: 2250000 | #Constraints: 54789
3146.75/3156.45 c #Conflicts: 2251000 | #Constraints: 55789
3146.75/3156.45 c #Conflicts: 2252000 | #Constraints: 56789
3146.75/3156.45 c #Conflicts: 2253000 | #Constraints: 57789
3146.75/3156.45 c #Conflicts: 2254000 | #Constraints: 58789
3146.75/3156.45 c #Conflicts: 2255000 | #Constraints: 59789
3146.75/3156.45 c #Conflicts: 2256000 | #Constraints: 60789
3146.75/3156.45 c INPROCESSING
3146.75/3156.45 c GARBAGE COLLECT
3146.75/3156.45 c #Conflicts: 2257000 | #Constraints: 31986
3146.75/3156.45 c #Conflicts: 2258000 | #Constraints: 32986
3146.75/3156.45 c #Conflicts: 2259000 | #Constraints: 33986
3146.75/3156.45 c #Conflicts: 2260000 | #Constraints: 34986
3146.75/3156.45 c #Conflicts: 2261000 | #Constraints: 35986
3146.75/3156.45 c #Conflicts: 2262000 | #Constraints: 36986
3146.75/3156.45 c #Conflicts: 2263000 | #Constraints: 37986
3146.75/3156.45 c #Conflicts: 2264000 | #Constraints: 38986
3146.75/3156.45 c #Conflicts: 2265000 | #Constraints: 39986
3146.75/3156.45 c #Conflicts: 2266000 | #Constraints: 40986
3146.75/3156.45 c #Conflicts: 2267000 | #Constraints: 41986
3146.75/3156.45 c #Conflicts: 2268000 | #Constraints: 42986
3146.75/3156.45 c #Conflicts: 2269000 | #Constraints: 43986
3146.75/3156.45 c #Conflicts: 2270000 | #Constraints: 44986
3146.75/3156.45 c #Conflicts: 2271000 | #Constraints: 45986
3146.75/3156.45 c #Conflicts: 2272000 | #Constraints: 46986
3146.75/3156.45 c #Conflicts: 2273000 | #Constraints: 47986
3146.75/3156.45 c #Conflicts: 2274000 | #Constraints: 48986
3146.75/3156.45 c #Conflicts: 2275000 | #Constraints: 49986
3146.75/3156.45 c #Conflicts: 2276000 | #Constraints: 50986
3146.75/3156.45 c #Conflicts: 2277000 | #Constraints: 51986
3146.75/3156.45 c #Conflicts: 2278000 | #Constraints: 52986
3146.75/3156.45 c #Conflicts: 2279000 | #Constraints: 53986
3146.75/3156.45 c #Conflicts: 2280000 | #Constraints: 54986
3146.75/3156.45 c #Conflicts: 2281000 | #Constraints: 55986
3304.98/3315.18 c #Conflicts: 2282000 | #Constraints: 56986
3304.98/3315.18 c #Conflicts: 2283000 | #Constraints: 57986
3304.98/3315.18 c #Conflicts: 2284000 | #Constraints: 58986
3304.98/3315.18 c #Conflicts: 2285000 | #Constraints: 59986
3304.98/3315.18 c #Conflicts: 2286000 | #Constraints: 60986
3304.98/3315.18 c INPROCESSING
3304.98/3315.18 c GARBAGE COLLECT
3304.98/3315.18 c #Conflicts: 2287000 | #Constraints: 31975
3304.98/3315.18 c #Conflicts: 2288000 | #Constraints: 32975
3304.98/3315.18 c #Conflicts: 2289000 | #Constraints: 33975
3304.98/3315.18 c #Conflicts: 2290000 | #Constraints: 34975
3304.98/3315.18 c #Conflicts: 2291000 | #Constraints: 35975
3304.98/3315.18 c #Conflicts: 2292000 | #Constraints: 36975
3304.98/3315.18 c #Conflicts: 2293000 | #Constraints: 37975
3304.98/3315.18 c #Conflicts: 2294000 | #Constraints: 38975
3304.98/3315.18 c #Conflicts: 2295000 | #Constraints: 39975
3304.98/3315.18 c #Conflicts: 2296000 | #Constraints: 40975
3304.98/3315.18 c #Conflicts: 2297000 | #Constraints: 41975
3304.98/3315.18 c #Conflicts: 2298000 | #Constraints: 42975
3304.98/3315.18 c #Conflicts: 2299000 | #Constraints: 43975
3304.98/3315.18 c #Conflicts: 2300000 | #Constraints: 44975
3304.98/3315.18 c #Conflicts: 2301000 | #Constraints: 45975
3304.98/3315.18 c #Conflicts: 2302000 | #Constraints: 46975
3304.98/3315.18 c #Conflicts: 2303000 | #Constraints: 47975
3304.98/3315.18 c #Conflicts: 2304000 | #Constraints: 48975
3304.98/3315.18 c #Conflicts: 2305000 | #Constraints: 49975
3304.98/3315.18 c #Conflicts: 2306000 | #Constraints: 50975
3304.98/3315.18 c #Conflicts: 2307000 | #Constraints: 51975
3304.98/3315.18 c #Conflicts: 2308000 | #Constraints: 52975
3304.98/3315.18 c #Conflicts: 2309000 | #Constraints: 53975
3304.98/3315.18 c #Conflicts: 2310000 | #Constraints: 54975
3304.98/3315.18 c #Conflicts: 2311000 | #Constraints: 55975
3304.98/3315.18 c #Conflicts: 2312000 | #Constraints: 56975
3304.98/3315.18 c #Conflicts: 2313000 | #Constraints: 57975
3304.98/3315.18 c #Conflicts: 2314000 | #Constraints: 58975
3304.98/3315.18 c #Conflicts: 2315000 | #Constraints: 59975
3304.98/3315.18 c #Conflicts: 2316000 | #Constraints: 60975
3304.98/3315.18 c INPROCESSING
3304.98/3315.18 c GARBAGE COLLECT
3304.98/3315.18 c #Conflicts: 2317000 | #Constraints: 31772
3304.98/3315.18 c #Conflicts: 2318000 | #Constraints: 32772
3304.98/3315.18 c #Conflicts: 2319000 | #Constraints: 33772
3304.98/3315.18 c #Conflicts: 2320000 | #Constraints: 34772
3304.98/3315.18 c #Conflicts: 2321000 | #Constraints: 35772
3304.98/3315.18 c #Conflicts: 2322000 | #Constraints: 36772
3304.98/3315.18 c #Conflicts: 2323000 | #Constraints: 37772
3304.98/3315.18 c #Conflicts: 2324000 | #Constraints: 38772
3304.98/3315.18 c #Conflicts: 2325000 | #Constraints: 39772
3304.98/3315.18 c #Conflicts: 2326000 | #Constraints: 40772
3304.98/3315.18 c #Conflicts: 2327000 | #Constraints: 41772
3304.98/3315.18 c #Conflicts: 2328000 | #Constraints: 42772
3304.98/3315.18 c #Conflicts: 2329000 | #Constraints: 43772
3304.98/3315.18 c #Conflicts: 2330000 | #Constraints: 44772
3304.98/3315.18 c #Conflicts: 2331000 | #Constraints: 45772
3304.98/3315.18 c #Conflicts: 2332000 | #Constraints: 46772
3304.98/3315.18 c #Conflicts: 2333000 | #Constraints: 47772
3304.98/3315.18 c #Conflicts: 2334000 | #Constraints: 48772
3304.98/3315.18 c #Conflicts: 2335000 | #Constraints: 49772
3304.98/3315.18 c #Conflicts: 2336000 | #Constraints: 50772
3304.98/3315.18 c #Conflicts: 2337000 | #Constraints: 51772
3304.98/3315.18 c #Conflicts: 2338000 | #Constraints: 52772
3304.98/3315.18 c #Conflicts: 2339000 | #Constraints: 53772
3304.98/3315.18 c #Conflicts: 2340000 | #Constraints: 54772
3304.98/3315.18 c #Conflicts: 2341000 | #Constraints: 55772
3304.98/3315.18 c #Conflicts: 2342000 | #Constraints: 56772
3304.98/3315.18 c #Conflicts: 2343000 | #Constraints: 57772
3304.98/3315.18 c #Conflicts: 2344000 | #Constraints: 58772
3304.98/3315.18 c #Conflicts: 2345000 | #Constraints: 59772
3304.98/3315.18 c #Conflicts: 2346000 | #Constraints: 60772
3304.98/3315.18 c #Conflicts: 2347000 | #Constraints: 61772
3304.98/3315.18 c INPROCESSING
3304.98/3315.18 c GARBAGE COLLECT
3304.98/3315.18 c #Conflicts: 2348000 | #Constraints: 32382
3304.98/3315.18 c #Conflicts: 2349000 | #Constraints: 33382
3304.98/3315.18 c #Conflicts: 2350000 | #Constraints: 34382
3304.98/3315.18 c #Conflicts: 2351000 | #Constraints: 35382
3304.98/3315.18 c #Conflicts: 2352000 | #Constraints: 36382
3304.98/3315.18 c #Conflicts: 2353000 | #Constraints: 37382
3304.98/3315.18 c #Conflicts: 2354000 | #Constraints: 38382
3304.98/3315.18 c #Conflicts: 2355000 | #Constraints: 39382
3304.98/3315.18 c #Conflicts: 2356000 | #Constraints: 40382
3304.98/3315.18 c #Conflicts: 2357000 | #Constraints: 41382
3304.98/3315.18 c #Conflicts: 2358000 | #Constraints: 42382
3449.78/3460.41 c #Conflicts: 2359000 | #Constraints: 43382
3449.78/3460.41 c #Conflicts: 2360000 | #Constraints: 44382
3449.78/3460.41 c #Conflicts: 2361000 | #Constraints: 45382
3449.78/3460.41 c #Conflicts: 2362000 | #Constraints: 46382
3449.78/3460.41 c #Conflicts: 2363000 | #Constraints: 47382
3449.78/3460.41 c #Conflicts: 2364000 | #Constraints: 48382
3449.78/3460.41 c #Conflicts: 2365000 | #Constraints: 49382
3449.78/3460.41 c #Conflicts: 2366000 | #Constraints: 50382
3449.78/3460.41 c #Conflicts: 2367000 | #Constraints: 51382
3449.78/3460.41 c #Conflicts: 2368000 | #Constraints: 52382
3449.78/3460.41 c #Conflicts: 2369000 | #Constraints: 53382
3449.78/3460.41 c #Conflicts: 2370000 | #Constraints: 54382
3449.78/3460.41 c #Conflicts: 2371000 | #Constraints: 55382
3449.78/3460.41 c #Conflicts: 2372000 | #Constraints: 56382
3449.78/3460.41 c #Conflicts: 2373000 | #Constraints: 57382
3449.78/3460.41 c #Conflicts: 2374000 | #Constraints: 58382
3449.78/3460.41 c #Conflicts: 2375000 | #Constraints: 59382
3449.78/3460.41 c #Conflicts: 2376000 | #Constraints: 60382
3449.78/3460.41 c #Conflicts: 2377000 | #Constraints: 61382
3449.78/3460.41 c #Conflicts: 2378000 | #Constraints: 62382
3449.78/3460.41 c INPROCESSING
3449.78/3460.41 c GARBAGE COLLECT
3449.78/3460.41 c #Conflicts: 2379000 | #Constraints: 32792
3449.78/3460.41 c #Conflicts: 2380000 | #Constraints: 33792
3449.78/3460.41 c #Conflicts: 2381000 | #Constraints: 34792
3449.78/3460.41 c #Conflicts: 2382000 | #Constraints: 35792
3449.78/3460.41 c #Conflicts: 2383000 | #Constraints: 36792
3449.78/3460.41 c #Conflicts: 2384000 | #Constraints: 37792
3449.78/3460.41 c #Conflicts: 2385000 | #Constraints: 38792
3449.78/3460.41 c #Conflicts: 2386000 | #Constraints: 39792
3449.78/3460.41 c #Conflicts: 2387000 | #Constraints: 40792
3449.78/3460.41 c #Conflicts: 2388000 | #Constraints: 41792
3449.78/3460.41 c #Conflicts: 2389000 | #Constraints: 42792
3449.78/3460.41 c #Conflicts: 2390000 | #Constraints: 43792
3449.78/3460.41 c #Conflicts: 2391000 | #Constraints: 44792
3449.78/3460.41 c #Conflicts: 2392000 | #Constraints: 45792
3449.78/3460.41 c #Conflicts: 2393000 | #Constraints: 46792
3449.78/3460.41 c #Conflicts: 2394000 | #Constraints: 47792
3449.78/3460.41 c #Conflicts: 2395000 | #Constraints: 48792
3449.78/3460.41 c #Conflicts: 2396000 | #Constraints: 49792
3449.78/3460.41 c #Conflicts: 2397000 | #Constraints: 50792
3449.78/3460.41 c #Conflicts: 2398000 | #Constraints: 51792
3449.78/3460.41 c #Conflicts: 2399000 | #Constraints: 52792
3449.78/3460.41 c #Conflicts: 2400000 | #Constraints: 53792
3449.78/3460.41 c #Conflicts: 2401000 | #Constraints: 54792
3449.78/3460.41 c #Conflicts: 2402000 | #Constraints: 55792
3449.78/3460.41 c #Conflicts: 2403000 | #Constraints: 56792
3449.78/3460.41 c #Conflicts: 2404000 | #Constraints: 57792
3449.78/3460.41 c #Conflicts: 2405000 | #Constraints: 58792
3449.78/3460.41 c #Conflicts: 2406000 | #Constraints: 59792
3449.78/3460.41 c #Conflicts: 2407000 | #Constraints: 60792
3449.78/3460.41 c #Conflicts: 2408000 | #Constraints: 61792
3449.78/3460.41 c #Conflicts: 2409000 | #Constraints: 62792
3449.78/3460.41 c INPROCESSING
3449.78/3460.41 c GARBAGE COLLECT
3449.78/3460.41 c #Conflicts: 2410000 | #Constraints: 32993
3449.78/3460.41 c #Conflicts: 2411000 | #Constraints: 33993
3449.78/3460.41 c #Conflicts: 2412000 | #Constraints: 34993
3449.78/3460.41 c #Conflicts: 2413000 | #Constraints: 35993
3449.78/3460.41 c #Conflicts: 2414000 | #Constraints: 36993
3449.78/3460.41 c #Conflicts: 2415000 | #Constraints: 37993
3449.78/3460.41 c #Conflicts: 2416000 | #Constraints: 38993
3449.78/3460.41 c #Conflicts: 2417000 | #Constraints: 39993
3449.78/3460.41 c #Conflicts: 2418000 | #Constraints: 40993
3449.78/3460.41 c #Conflicts: 2419000 | #Constraints: 41993
3449.78/3460.41 c #Conflicts: 2420000 | #Constraints: 42993
3449.78/3460.41 c #Conflicts: 2421000 | #Constraints: 43993
3449.78/3460.41 c #Conflicts: 2422000 | #Constraints: 44993
3449.78/3460.41 c #Conflicts: 2423000 | #Constraints: 45993
3449.78/3460.41 c #Conflicts: 2424000 | #Constraints: 46993
3449.78/3460.41 c #Conflicts: 2425000 | #Constraints: 47993
3449.78/3460.41 c #Conflicts: 2426000 | #Constraints: 48993
3449.78/3460.41 c #Conflicts: 2427000 | #Constraints: 49993
3449.78/3460.41 c #Conflicts: 2428000 | #Constraints: 50993
3449.78/3460.41 c #Conflicts: 2429000 | #Constraints: 51993
3449.78/3460.41 c #Conflicts: 2430000 | #Constraints: 52993
3449.78/3460.41 c #Conflicts: 2431000 | #Constraints: 53993
3449.78/3460.41 c #Conflicts: 2432000 | #Constraints: 54993
3449.78/3460.41 c #Conflicts: 2433000 | #Constraints: 55993
3449.78/3460.41 c #Conflicts: 2434000 | #Constraints: 56993
3449.78/3460.41 c #Conflicts: 2435000 | #Constraints: 57993
3449.78/3460.41 c #Conflicts: 2436000 | #Constraints: 58993
3600.00/3611.30 c #Conflicts: 2437000 | #Constraints: 59993
3600.00/3611.30 c #Conflicts: 2438000 | #Constraints: 60993
3600.00/3611.30 c #Conflicts: 2439000 | #Constraints: 61993
3600.00/3611.30 c #Conflicts: 2440000 | #Constraints: 62993
3600.00/3611.30 c INPROCESSING
3600.00/3611.30 c GARBAGE COLLECT
3600.00/3611.30 c #Conflicts: 2441000 | #Constraints: 32990
3600.00/3611.30 c #Conflicts: 2442000 | #Constraints: 33990
3600.00/3611.30 c #Conflicts: 2443000 | #Constraints: 34990
3600.00/3611.30 c #Conflicts: 2444000 | #Constraints: 35990
3600.00/3611.30 c #Conflicts: 2445000 | #Constraints: 36990
3600.00/3611.30 c #Conflicts: 2446000 | #Constraints: 37990
3600.00/3611.30 c #Conflicts: 2447000 | #Constraints: 38990
3600.00/3611.30 c #Conflicts: 2448000 | #Constraints: 39990
3600.00/3611.30 c #Conflicts: 2449000 | #Constraints: 40990
3600.00/3611.30 c #Conflicts: 2450000 | #Constraints: 41990
3600.00/3611.30 c #Conflicts: 2451000 | #Constraints: 42990
3600.00/3611.30 c #Conflicts: 2452000 | #Constraints: 43990
3600.00/3611.30 c #Conflicts: 2453000 | #Constraints: 44990
3600.00/3611.30 c #Conflicts: 2454000 | #Constraints: 45990
3600.00/3611.30 c #Conflicts: 2455000 | #Constraints: 46990
3600.00/3611.30 c #Conflicts: 2456000 | #Constraints: 47990
3600.00/3611.30 c #Conflicts: 2457000 | #Constraints: 48990
3600.00/3611.30 c #Conflicts: 2458000 | #Constraints: 49990
3600.00/3611.30 c #Conflicts: 2459000 | #Constraints: 50990
3600.00/3611.30 c #Conflicts: 2460000 | #Constraints: 51990
3600.00/3611.30 c #Conflicts: 2461000 | #Constraints: 52990
3600.00/3611.30 c #Conflicts: 2462000 | #Constraints: 53990
3600.00/3611.30 c #Conflicts: 2463000 | #Constraints: 54990
3600.00/3611.30 c #Conflicts: 2464000 | #Constraints: 55990
3600.00/3611.30 c #Conflicts: 2465000 | #Constraints: 56990
3600.00/3611.30 c #Conflicts: 2466000 | #Constraints: 57990
3600.00/3611.30 c #Conflicts: 2467000 | #Constraints: 58990
3600.00/3611.30 c #Conflicts: 2468000 | #Constraints: 59990
3600.00/3611.30 c #Conflicts: 2469000 | #Constraints: 60990
3600.00/3611.30 c #Conflicts: 2470000 | #Constraints: 61990
3600.00/3611.30 c #Conflicts: 2471000 | #Constraints: 62990
3600.00/3611.30 c INPROCESSING
3600.00/3611.30 c GARBAGE COLLECT
3600.00/3611.30 c #Conflicts: 2472000 | #Constraints: 32788
3600.00/3611.30 c #Conflicts: 2473000 | #Constraints: 33788
3600.00/3611.30 c #Conflicts: 2474000 | #Constraints: 34788
3600.00/3611.30 c #Conflicts: 2475000 | #Constraints: 35788
3600.00/3611.30 c #Conflicts: 2476000 | #Constraints: 36788
3600.00/3611.30 c #Conflicts: 2477000 | #Constraints: 37788
3600.00/3611.30 c #Conflicts: 2478000 | #Constraints: 38788
3600.00/3611.30 c #Conflicts: 2479000 | #Constraints: 39788
3600.00/3611.30 c #Conflicts: 2480000 | #Constraints: 40788
3600.00/3611.30 c #Conflicts: 2481000 | #Constraints: 41788
3600.00/3611.30 c #Conflicts: 2482000 | #Constraints: 42788
3600.00/3611.30 c #Conflicts: 2483000 | #Constraints: 43788
3600.00/3611.30 c #Conflicts: 2484000 | #Constraints: 44788
3600.00/3611.30 c #Conflicts: 2485000 | #Constraints: 45788
3600.00/3611.30 c #Conflicts: 2486000 | #Constraints: 46788
3600.00/3611.30 c #Conflicts: 2487000 | #Constraints: 47788
3600.00/3611.30 c #Conflicts: 2488000 | #Constraints: 48788
3600.00/3611.30 c #Conflicts: 2489000 | #Constraints: 49788
3600.00/3611.30 c #Conflicts: 2490000 | #Constraints: 50788
3600.00/3611.30 c #Conflicts: 2491000 | #Constraints: 51788
3600.00/3611.30 c #Conflicts: 2492000 | #Constraints: 52788
3600.00/3611.30 c #Conflicts: 2493000 | #Constraints: 53788
3600.00/3611.30 c #Conflicts: 2494000 | #Constraints: 54788
3600.00/3611.30 c #Conflicts: 2495000 | #Constraints: 55788
3600.00/3611.30 c #Conflicts: 2496000 | #Constraints: 56788
3600.00/3611.30 c #Conflicts: 2497000 | #Constraints: 57788
3600.00/3611.30 c #Conflicts: 2498000 | #Constraints: 58788
3600.00/3611.30 c #Conflicts: 2499000 | #Constraints: 59788
3600.00/3611.30 c cpu time 3569.04 s
3600.00/3611.30 c deterministic time 1 1.00e+00
3600.00/3611.30 c optimization time 3569.04 s
3600.00/3611.30 c total solve time 0 s
3600.00/3611.30 c core-guided solve time 0 s
3600.00/3611.30 c propagation time 0.000384 s
3600.00/3611.30 c conflict analysis time 0 s
3600.00/3611.30 c propagations 0
3600.00/3611.30 c resolve steps 0
3600.00/3611.30 c decisions 0
3600.00/3611.30 c conflicts 0
3600.00/3611.30 c restarts 0
3600.00/3611.30 c inprocessing phases 0
3600.00/3611.30 c garbage collections 0 ,( -nan )
3600.00/3611.30 c input clauses 1161 ,( 97.73 )
3600.00/3611.30 c input cardinalities 27 ,( 2.27 )
3600.00/3611.30 c input general constraints 0 ,( 0.00 )
3600.00/3611.30 c input average constraint length 3.41
3600.00/3611.30 c input average constraint degree 1.22
3600.00/3611.30 c learned clauses 0 ,( 0.00 )
3600.00/3611.30 c learned cardinalities 0 ,( 0.00 )
3600.00/3611.30 c learned general constraints 0 ,( 0.00 )
3600.00/3611.30 c learned average constraint length 0.00
3600.00/3611.30 c learned average constraint degree 0.00
3600.00/3611.30 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.00/3611.30 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.00/3611.30 c watched constraints 0 ,( -nan )
3600.00/3611.30 c counting constraints 0 ,( -nan )
3600.00/3611.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.00/3611.30 c gcd simplifications 0
3600.00/3611.30 c detected cardinalities 0
3600.00/3611.30 c weakened non-implied lits 0
3600.00/3611.30 c weakened non-implying lits 0
3600.00/3611.30 c original variables 792
3600.00/3611.30 c clausal propagations 0
3600.00/3611.30 c cardinality propagations 0
3600.00/3611.30 c watched propagations 0
3600.00/3611.30 c counting propagations 0
3600.00/3611.30 c watch lookups 0
3600.00/3611.30 c watch backjump lookups 0
3600.00/3611.30 c watch checks 0
3600.00/3611.30 c propagation checks 0
3600.00/3611.30 c constraint additions 0
3600.00/3611.30 c trail pops 0
3600.00/3611.30 c formula constraints 1188
3600.00/3611.30 c learned constraints 0
3600.00/3611.30 c bound constraints 0
3600.00/3611.30 c core-guided constraints 0
3600.00/3611.30 c encountered formula constraints 0
3600.00/3611.30 c encountered learned constraints 0
3600.00/3611.30 c encountered bound constraints 0
3600.00/3611.30 c encountered core-guided constraints 0
3600.00/3611.30 c LP total time 0 s
3600.00/3611.30 c LP solve time 0 s
3600.00/3611.30 c LP constraints added 0
3600.00/3611.30 c LP constraints removed 0
3600.00/3611.30 c LP pivots internal 0
3600.00/3611.30 c LP pivots root 0
3600.00/3611.30 c LP calls 0
3600.00/3611.30 c LP optimalities 0
3600.00/3611.30 c LP no pivot count 0
3600.00/3611.30 c LP infeasibilities 0
3600.00/3611.30 c LP valid Farkas constraints 0
3600.00/3611.30 c LP learned Farkas constraints 0
3600.00/3611.30 c LP basis resets 0
3600.00/3611.30 c LP cycling count 0
3600.00/3611.30 c LP singular count 0
3600.00/3611.30 c LP no primal count 0
3600.00/3611.30 c LP no farkas count 0
3600.00/3611.30 c LP other issue count 0
3600.00/3611.30 c LP Gomory cuts 0
3600.00/3611.30 c LP learned cuts 0
3600.00/3611.30 c LP deleted cuts 0
3600.00/3611.30 c LP encountered Gomory constraints 0
3600.00/3611.30 c LP encountered Farkas constraints 0
3600.00/3611.30 c LP encountered learned Farkas constraints 0
3600.00/3611.30 c CG auxiliary variables introduced 0
3600.00/3611.30 c CG solutions found 0
3600.00/3611.30 c CG cores constructed 0
3600.00/3611.30 c CG core cardinality constraints returned 0
3600.00/3611.30 c CG unit cores 0
3600.00/3611.30 c CG single cores 0
3600.00/3611.30 c CG blocks removed during cardinality reduction 0
3600.00/3611.30 c CG first core best 0
3600.00/3611.30 c CG decision core best 0
3600.00/3611.30 c CG core reduction tie 0
3600.00/3611.30 c CG core degree average 0.00
3600.00/3611.30 c CG core slack average 0.00
3600.00/3611.30 c CG core upper bound improvements 0
3600.00/3611.30 c STR number of successful calls 0
3600.00/3611.30 c STR number of unsuccessful calls 0
3600.00/3611.30 c STR number of inconclusive calls 0
3600.00/3611.30 c STR number of successful attempts 0
3600.00/3611.30 c STR number of unsuccessful attempts 0
3600.00/3611.30 c STR number of inconclusive attempts 0
3600.00/3611.30 c STR average degree increase per successful call inf
3600.00/3611.30 c STR average degree increase per successful attempt inf
3600.00/3611.30 c STR total number of conflicts for successful attempts 0
3600.00/3611.30 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3611.30 c STR total number of conflicts for inconclusive attempts 0
3600.00/3611.30 c STR average number of conflicts per successful attempt inf
3600.00/3611.30 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3611.30 c STR average number of conflicts per inconclusive attempt inf
3600.00/3611.30 c AVG.sumWPerc -nan
3600.00/3611.30 c bigint constraints 0
3600.00/3611.30 s UNKNOWN
3600.00/3611.30 c Program interrupted by user.
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: 63665 MiB (24361 MiB free)
memory of node 1: 64507 MiB (35368 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502601-1751442779/watcher-4502601-1751442779 -o /tmp/evaluation-result-4502601-1751442779/solver-4502601-1751442779 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751439163-67590 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4502601-1751442779.opb PROOFDIR/proof-4502601-1751442779
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=68137, runsolver pid=68134
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 3.93 4.06 4.08 5/272 68139
/proc/meminfo: memFree=61158208/131250000 swapFree=33010416/33010684
[pid=68137] ppid=68134 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68137/stat : 68137 (run-opt-log.sh) S 68134 68137 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955756 4292608 736 18446744073709551615 94903130566656 94903131461189 140733829464880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94903131700240 94903131747984 94903157223424 140733829470497 140733829470692 140733829470692 140733829476294 0
/proc/68137/statm: 1048 736 672 219 0 110 0
[pid=68139] ppid=68137 vsize=62396 memory=12524 CPUtime=0.08 cores=4,6
/proc/68139/stat : 68139 (roundingsat) R 68137 68137 67579 0 -1 4194304 1285 0 0 0 7 1 0 0 20 0 1 0 59955757 63893504 3131 18446744073709551615 4227072 8923433 140730416713840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16154624 140730416716114 140730416716328 140730416716328 140730416721898 0
/proc/68139/statm: 15599 3131 2336 1147 0 3026 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 66588 KiB
Current children cumulated memory: 15468 KiB
[startup+0.205942 s]*
/proc/loadavg: 3.93 4.06 4.08 5/272 68139
/proc/meminfo: memFree=61147056/131250000 swapFree=33010416/33010684
[pid=68137] ppid=68134 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68137/stat : 68137 (run-opt-log.sh) S 68134 68137 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955756 4292608 736 18446744073709551615 94903130566656 94903131461189 140733829464880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94903131700240 94903131747984 94903157223424 140733829470497 140733829470692 140733829470692 140733829476294 0
/proc/68137/statm: 1048 736 672 219 0 110 0
[pid=68139] ppid=68137 vsize=62792 memory=13036 CPUtime=0.19 cores=4,6
/proc/68139/stat : 68139 (roundingsat) R 68137 68137 67579 0 -1 4194304 1406 0 0 0 17 2 0 0 20 0 1 0 59955757 64299008 3259 18446744073709551615 4227072 8923433 140730416713840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16154624 140730416716114 140730416716328 140730416716328 140730416721898 0
/proc/68139/statm: 15698 3259 2336 1147 0 3125 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 66984 KiB
Current children cumulated memory: 15980 KiB
[startup+0.305952 s]*
/proc/loadavg: 3.93 4.06 4.08 5/272 68139
/proc/meminfo: memFree=61132120/131250000 swapFree=33010416/33010684
[pid=68137] ppid=68134 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68137/stat : 68137 (run-opt-log.sh) S 68134 68137 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955756 4292608 736 18446744073709551615 94903130566656 94903131461189 140733829464880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94903131700240 94903131747984 94903157223424 140733829470497 140733829470692 140733829470692 140733829476294 0
/proc/68137/statm: 1048 736 672 219 0 110 0
[pid=68139] ppid=68137 vsize=63320 memory=13804 CPUtime=0.29 cores=4,6
/proc/68139/stat : 68139 (roundingsat) R 68137 68137 67579 0 -1 4194304 1612 0 0 0 27 2 0 0 20 0 1 0 59955757 64839680 3451 18446744073709551615 4227072 8923433 140730416713840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16154624 140730416716114 140730416716328 140730416716328 140730416721898 0
/proc/68139/statm: 15830 3451 2336 1147 0 3257 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 67512 KiB
Current children cumulated memory: 16748 KiB
[startup+0.700194 s]
/proc/loadavg: 3.93 4.06 4.08 5/272 68139
/proc/meminfo: memFree=61124056/131250000 swapFree=33010416/33010684
[pid=68137] ppid=68134 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68137/stat : 68137 (run-opt-log.sh) S 68134 68137 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955756 4292608 736 18446744073709551615 94903130566656 94903131461189 140733829464880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94903131700240 94903131747984 94903157223424 140733829470497 140733829470692 140733829470692 140733829476294 0
/proc/68137/statm: 1048 736 672 219 0 110 0
[pid=68139] ppid=68137 vsize=64800 memory=15980 CPUtime=0.68 cores=4,6
/proc/68139/stat : 68139 (roundingsat) R 68137 68137 67579 0 -1 4194304 2136 0 0 0 64 4 0 0 20 0 1 0 59955757 66355200 3995 18446744073709551615 4227072 8923433 140730416713840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16154624 140730416716114 140730416716328 140730416716328 140730416721898 0
/proc/68139/statm: 16200 3995 2336 1147 0 3627 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 68992 KiB
Current children cumulated memory: 18924 KiB
[startup+1.50019 s]
/proc/loadavg: 3.93 4.06 4.08 5/272 68139
/proc/meminfo: memFree=61079392/131250000 swapFree=33010416/33010684
[pid=68137] ppid=68134 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68137/stat : 68137 (run-opt-log.sh) S 68134 68137 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955756 4292608 736 18446744073709551615 94903130566656 94903131461189 140733829464880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94903131700240 94903131747984 94903157223424 140733829470497 140733829470692 140733829470692 140733829476294 0
/proc/68137/statm: 1048 736 672 219 0 110 0
[pid=68139] ppid=68137 vsize=67512 memory=20676 CPUtime=1.47 cores=4,6
/proc/68139/stat : 68139 (roundingsat) R 68137 68137 67579 0 -1 4194304 2791 0 0 0 141 6 0 0 20 0 1 0 59955757 69132288 5169 18446744073709551615 4227072 8923433 140730416713840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16154624 140730416716114 140730416716328 140730416716328 140730416721898 0
/proc/68139/statm: 16878 5169 2336 1147 0 4305 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 71704 KiB
Current children cumulated memory: 23620 KiB
[startup+3.10583 s]
/proc/loadavg: 3.93 4.06 4.08 5/272 68139
/proc/meminfo: memFree=60912340/131250000 swapFree=33010416/33010684
[pid=68137] ppid=68134 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68137/stat : 68137 (run-opt-log.sh) S 68134 68137 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955756 4292608 736 18446744073709551615 94903130566656 94903131461189 140733829464880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94903131700240 94903131747984 94903157223424 140733829470497 140733829470692 140733829470692 140733829476294 0
/proc/68137/statm: 1048 736 672 219 0 110 0
[pid=68139] ppid=68137 vsize=72420 memory=25412 CPUtime=3.07 cores=4,6
/proc/68139/stat : 68139 (roundingsat) R 68137 68137 67579 0 -1 4194304 3997 0 0 0 296 11 0 0 20 0 1 0 59955757 74158080 6353 18446744073709551615 4227072 8923433 140730416713840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16154624 140730416716114 140730416716328 140730416716328 140730416721898 0
/proc/68139/statm: 18105 6353 2336 1147 0 5532 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 76612 KiB
Current children cumulated memory: 28356 KiB
[startup+6.30017 s]
/proc/loadavg: 3.93 4.06 4.08 5/272 68139
/proc/meminfo: memFree=60725744/131250000 swapFree=33010416/33010684
[pid=68137] ppid=68134 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68137/stat : 68137 (run-opt-log.sh) S 68134 68137 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955756 4292608 736 18446744073709551615 94903130566656 94903131461189 140733829464880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94903131700240 94903131747984 94903157223424 140733829470497 140733829470692 140733829470692 140733829476294 0
/proc/68137/statm: 1048 736 672 219 0 110 0
[pid=68139] ppid=68137 vsize=83584 memory=34632 CPUtime=6.26 cores=4,6
/proc/68139/stat : 68139 (roundingsat) R 68137 68137 67579 0 -1 4194304 5788 0 0 0 606 20 0 0 20 0 1 0 59955757 85590016 8658 18446744073709551615 4227072 8923433 140730416713840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16154624 140730416716114 140730416716328 140730416716328 140730416721898 0
/proc/68139/statm: 20896 8658 2336 1147 0 8323 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 87776 KiB
Current children cumulated memory: 37576 KiB
[startup+12.7002 s]
/proc/loadavg: 3.94 4.06 4.08 5/272 68139
/proc/meminfo: memFree=60342084/131250000 swapFree=33010416/33010684
[pid=68137] ppid=68134 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68137/stat : 68137 (run-opt-log.sh) S 68134 68137 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955756 4292608 736 18446744073709551615 94903130566656 94903131461189 140733829464880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94903131700240 94903131747984 94903157223424 140733829470497 140733829470692 140733829470692 140733829476294 0
/proc/68137/statm: 1048 736 672 219 0 110 0
[pid=68139] ppid=68137 vsize=90492 memory=41044 CPUtime=12.62 cores=4,6
/proc/68139/stat : 68139 (roundingsat) R 68137 68137 67579 0 -1 4194304 6887 0 0 0 1222 40 0 0 20 0 1 0 59955757 92663808 10261 18446744073709551615 4227072 8923433 140730416713840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16154624 140730416716114 140730416716328 140730416716328 140730416721898 0
/proc/68139/statm: 22623 10261 2336 1147 0 10050 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 94684 KiB
Current children cumulated memory: 43988 KiB
[startup+25.5002 s]
/proc/loadavg: 4.02 4.07 4.08 5/272 68139
/proc/meminfo: memFree=59532088/131250000 swapFree=33010416/33010684
[pid=68137] ppid=68134 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68137/stat : 68137 (run-opt-log.sh) S 68134 68137 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955756 4292608 736 18446744073709551615 94903130566656 94903131461189 140733829464880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94903131700240 94903131747984 94903157223424 140733829470497 140733829470692 140733829470692 140733829476294 0
/proc/68137/statm: 1048 736 672 219 0 110 0
[pid=68139] ppid=68137 vsize=99580 memory=49108 CPUtime=25.38 cores=4,6
/proc/68139/stat : 68139 (roundingsat) R 68137 68137 67579 0 -1 4194304 8899 0 0 0 2466 72 0 0 20 0 1 0 59955757 101969920 12277 18446744073709551615 4227072 8923433 140730416713840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16154624 140730416716114 140730416716328 140730416716328 140730416721898 0
/proc/68139/statm: 24895 12277 2336 1147 0 12322 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 103772 KiB
Current children cumulated memory: 52052 KiB
[startup+51.1056 s]
/proc/loadavg: 4.24 4.12 4.10 4/267 68149
/proc/meminfo: memFree=63898716/131250000 swapFree=33010416/33010684
[pid=68137] ppid=68134 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68137/stat : 68137 (run-opt-log.sh) S 68134 68137 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955756 4292608 736 18446744073709551615 94903130566656 94903131461189 140733829464880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94903131700240 94903131747984 94903157223424 140733829470497 140733829470692 140733829470692 140733829476294 0
/proc/68137/statm: 1048 736 672 219 0 110 0
[pid=68139] ppid=68137 vsize=120320 memory=69492 CPUtime=50.71 cores=4,6
/proc/68139/stat : 68139 (roundingsat) R 68137 68137 67579 0 -1 4194304 12466 0 0 0 4927 144 0 0 20 0 1 0 59955757 123207680 17373 18446744073709551615 4227072 8923433 140730416713840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16154624 140730416716114 140730416716328 140730416716328 140730416721898 0
/proc/68139/statm: 30080 17373 2336 1147 0 17507 0
Current children cumulated CPU time: 50.71 s
Current children cumulated vsize: 124512 KiB
Current children cumulated memory: 72436 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.11 4.09 6/271 68281
/proc/meminfo: memFree=125830720/131250000 swapFree=33010416/33010684
[pid=68137] ppid=68134 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68137/stat : 68137 (run-opt-log.sh) S 68134 68137 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955756 4292608 736 18446744073709551615 94903130566656 94903131461189 140733829464880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94903131700240 94903131747984 94903157223424 140733829470497 140733829470692 140733829470692 140733829476294 0
/proc/68137/statm: 1048 736 672 219 0 110 0
[pid=68139] ppid=68137 vsize=148060 memory=85028 CPUtime=101.66 cores=4,6
/proc/68139/stat : 68139 (roundingsat) R 68137 68137 67579 0 -1 4194304 15854 0 0 0 9928 238 0 0 20 0 1 0 59955757 151613440 21257 18446744073709551615 4227072 8923433 140730416713840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16154624 140730416716114 140730416716328 140730416716328 140730416721898 0
/proc/68139/statm: 37015 21257 2336 1147 0 24442 0
Current children cumulated CPU time: 101.66 s
Current children cumulated vsize: 152252 KiB
Current children cumulated memory: 87972 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/272 68284
/proc/meminfo: memFree=123834616/131250000 swapFree=33010416/33010684
[pid=68137] ppid=68134 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68137/stat : 68137 (run-opt-log.sh) S 68134 68137 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955756 4292608 736 18446744073709551615 94903130566656 94903131461189 140733829464880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94903131700240 94903131747984 94903157223424 140733829470497 140733829470692 140733829470692 140733829476294 0
/proc/68137/statm: 1048 736 672 219 0 110 0
[pid=68139] ppid=68137 vsize=163608 memory=101612 CPUtime=161.45 cores=4,6
/proc/68139/stat : 68139 (roundingsat) R 68137 68137 67579 0 -1 4194304 18995 0 0 0 15817 328 0 0 20 0 1 0 59955757 167534592 25403 18446744073709551615 4227072 8923433 140730416713840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16154624 140730416716114 140730416716328 140730416716328 140730416721898 0
/proc/68139/statm: 40902 25403 2336 1147 0 28329 0
Current children cumulated CPU time: 161.45 s
Current children cumulated vsize: 167800 KiB
Current children cumulated memory: 104556 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/272 68286
/proc/meminfo: memFree=122275676/131250000 swapFree=33010416/33010684
[pid=68137] ppid=68134 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68137/stat : 68137 (run-opt-log.sh) S 68134 68137 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955756 4292608 736 18446744073709551615 94903130566656 94903131461189 140733829464880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94903131700240 94903131747984 94903157223424 140733829470497 140733829470692 140733829470692 140733829476294 0
/proc/68137/statm: 1048 736 672 219 0 110 0
[pid=68139] ppid=68137 vsize=163848 memory=107244 CPUtime=221.22 cores=4,6
/proc/68139/stat : 68139 (roundingsat) R 68137 68137 67579 0 -1 4194304 19893 0 0 0 21714 408 0 0 20 0 1 0 59955757 167780352 26811 18446744073709551615 4227072 8923433 140730416713840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16154624 140730416716114 140730416716328 140730416716328 140730416721898 0
################
# More data... #
################
[pid=68139] ppid=68137 vsize=357020 memory=301936 CPUtime=3092.79 cores=4,6
/proc/68139/stat : 68139 (roundingsat) R 68137 68137 67579 0 -1 4194304 51070 0 0 0 306516 2763 0 0 20 0 1 0 59955757 365588480 75484 18446744073709551615 4227072 8923433 140730416713840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16154624 140730416716114 140730416716328 140730416716328 140730416721898 0
/proc/68139/statm: 89255 75484 2336 1147 0 76682 0
Current children cumulated CPU time: 3092.79 s
Current children cumulated vsize: 361212 KiB
Current children cumulated memory: 304880 KiB
[startup+3162.3 s]
/proc/loadavg: 4.23 4.17 4.12 6/273 68459
/proc/meminfo: memFree=68962420/131250000 swapFree=33010416/33010684
[pid=68137] ppid=68134 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68137/stat : 68137 (run-opt-log.sh) S 68134 68137 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955756 4292608 736 18446744073709551615 94903130566656 94903131461189 140733829464880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94903131700240 94903131747984 94903157223424 140733829470497 140733829470692 140733829470692 140733829476294 0
/proc/68137/statm: 1048 736 672 219 0 110 0
[pid=68139] ppid=68137 vsize=370872 memory=309360 CPUtime=3152.63 cores=4,6
/proc/68139/stat : 68139 (roundingsat) R 68137 68137 67579 0 -1 4194304 52939 0 0 0 312462 2801 0 0 20 0 1 0 59955757 379772928 77340 18446744073709551615 4227072 8923433 140730416713840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16154624 140730416716114 140730416716328 140730416716328 140730416721898 0
/proc/68139/statm: 92718 77340 2336 1147 0 80145 0
Current children cumulated CPU time: 3152.63 s
Current children cumulated vsize: 375064 KiB
Current children cumulated memory: 312304 KiB
[startup+3222.3 s]
/proc/loadavg: 4.42 4.22 4.13 6/273 68461
/proc/meminfo: memFree=67615548/131250000 swapFree=33010416/33010684
[pid=68137] ppid=68134 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68137/stat : 68137 (run-opt-log.sh) S 68134 68137 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955756 4292608 736 18446744073709551615 94903130566656 94903131461189 140733829464880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94903131700240 94903131747984 94903157223424 140733829470497 140733829470692 140733829470692 140733829476294 0
/proc/68137/statm: 1048 736 672 219 0 110 0
[pid=68139] ppid=68137 vsize=377040 memory=314988 CPUtime=3212.47 cores=4,6
/proc/68139/stat : 68139 (roundingsat) R 68137 68137 67579 0 -1 4194304 53824 0 0 0 318412 2835 0 0 20 0 1 0 59955757 386088960 78747 18446744073709551615 4227072 8923433 140730416713840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16154624 140730416716114 140730416716328 140730416716328 140730416721898 0
/proc/68139/statm: 94260 78747 2336 1147 0 81687 0
Current children cumulated CPU time: 3212.47 s
Current children cumulated vsize: 381232 KiB
Current children cumulated memory: 317932 KiB
[startup+3282.3 s]
/proc/loadavg: 4.23 4.20 4.13 6/274 68467
/proc/meminfo: memFree=66644804/131250000 swapFree=33010416/33010684
[pid=68137] ppid=68134 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68137/stat : 68137 (run-opt-log.sh) S 68134 68137 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955756 4292608 736 18446744073709551615 94903130566656 94903131461189 140733829464880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94903131700240 94903131747984 94903157223424 140733829470497 140733829470692 140733829470692 140733829476294 0
/proc/68137/statm: 1048 736 672 219 0 110 0
[pid=68139] ppid=68137 vsize=377040 memory=317048 CPUtime=3272.29 cores=4,6
/proc/68139/stat : 68139 (roundingsat) R 68137 68137 67579 0 -1 4194304 53828 0 0 0 324360 2869 0 0 20 0 1 0 59955757 386088960 79262 18446744073709551615 4227072 8923433 140730416713840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16154624 140730416716114 140730416716328 140730416716328 140730416721898 0
/proc/68139/statm: 94260 79262 2336 1147 0 81687 0
Current children cumulated CPU time: 3272.29 s
Current children cumulated vsize: 381232 KiB
Current children cumulated memory: 319992 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.18 4.13 6/274 68469
/proc/meminfo: memFree=65723044/131250000 swapFree=33010416/33010684
[pid=68137] ppid=68134 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68137/stat : 68137 (run-opt-log.sh) S 68134 68137 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955756 4292608 736 18446744073709551615 94903130566656 94903131461189 140733829464880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94903131700240 94903131747984 94903157223424 140733829470497 140733829470692 140733829470692 140733829476294 0
/proc/68137/statm: 1048 736 672 219 0 110 0
[pid=68139] ppid=68137 vsize=377040 memory=319108 CPUtime=3332.09 cores=4,6
/proc/68139/stat : 68139 (roundingsat) R 68137 68137 67579 0 -1 4194304 53830 0 0 0 330306 2903 0 0 20 0 1 0 59955757 386088960 79777 18446744073709551615 4227072 8923433 140730416713840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16154624 140730416716114 140730416716328 140730416716328 140730416721898 0
/proc/68139/statm: 94260 79777 2336 1147 0 81687 0
Current children cumulated CPU time: 3332.09 s
Current children cumulated vsize: 381232 KiB
Current children cumulated memory: 322052 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.16 4.12 6/274 68477
/proc/meminfo: memFree=64872184/131250000 swapFree=33010416/33010684
[pid=68137] ppid=68134 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68137/stat : 68137 (run-opt-log.sh) S 68134 68137 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955756 4292608 736 18446744073709551615 94903130566656 94903131461189 140733829464880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94903131700240 94903131747984 94903157223424 140733829470497 140733829470692 140733829470692 140733829476294 0
/proc/68137/statm: 1048 736 672 219 0 110 0
[pid=68139] ppid=68137 vsize=377040 memory=319108 CPUtime=3391.87 cores=4,6
/proc/68139/stat : 68139 (roundingsat) R 68137 68137 67579 0 -1 4194304 53830 0 0 0 336239 2948 0 0 20 0 1 0 59955757 386088960 79777 18446744073709551615 4227072 8923433 140730416713840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16154624 140730416716114 140730416716328 140730416716328 140730416721898 0
/proc/68139/statm: 94260 79777 2336 1147 0 81687 0
Current children cumulated CPU time: 3391.87 s
Current children cumulated vsize: 381232 KiB
Current children cumulated memory: 322052 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.16 4.12 6/274 68479
/proc/meminfo: memFree=64171372/131250000 swapFree=33010416/33010684
[pid=68137] ppid=68134 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68137/stat : 68137 (run-opt-log.sh) S 68134 68137 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955756 4292608 736 18446744073709551615 94903130566656 94903131461189 140733829464880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94903131700240 94903131747984 94903157223424 140733829470497 140733829470692 140733829470692 140733829476294 0
/proc/68137/statm: 1048 736 672 219 0 110 0
[pid=68139] ppid=68137 vsize=377040 memory=319108 CPUtime=3451.67 cores=4,6
/proc/68139/stat : 68139 (roundingsat) R 68137 68137 67579 0 -1 4194304 53830 0 0 0 342180 2987 0 0 20 0 1 0 59955757 386088960 79777 18446744073709551615 4227072 8923433 140730416713840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16154624 140730416716114 140730416716328 140730416716328 140730416721898 0
/proc/68139/statm: 94260 79777 2336 1147 0 81687 0
Current children cumulated CPU time: 3451.67 s
Current children cumulated vsize: 381232 KiB
Current children cumulated memory: 322052 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.12 6/274 68482
/proc/meminfo: memFree=63392580/131250000 swapFree=33010416/33010684
[pid=68137] ppid=68134 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68137/stat : 68137 (run-opt-log.sh) S 68134 68137 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955756 4292608 736 18446744073709551615 94903130566656 94903131461189 140733829464880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94903131700240 94903131747984 94903157223424 140733829470497 140733829470692 140733829470692 140733829476294 0
/proc/68137/statm: 1048 736 672 219 0 110 0
[pid=68139] ppid=68137 vsize=377040 memory=319108 CPUtime=3511.46 cores=4,6
/proc/68139/stat : 68139 (roundingsat) R 68137 68137 67579 0 -1 4194304 53830 0 0 0 348120 3026 0 0 20 0 1 0 59955757 386088960 79777 18446744073709551615 4227072 8923433 140730416713840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16154624 140730416716114 140730416716328 140730416716328 140730416721898 0
/proc/68139/statm: 94260 79777 2336 1147 0 81687 0
Current children cumulated CPU time: 3511.46 s
Current children cumulated vsize: 381232 KiB
Current children cumulated memory: 322052 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.15 4.12 6/272 68484
/proc/meminfo: memFree=62664020/131250000 swapFree=33010416/33010684
[pid=68137] ppid=68134 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68137/stat : 68137 (run-opt-log.sh) S 68134 68137 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955756 4292608 736 18446744073709551615 94903130566656 94903131461189 140733829464880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94903131700240 94903131747984 94903157223424 140733829470497 140733829470692 140733829470692 140733829476294 0
/proc/68137/statm: 1048 736 672 219 0 110 0
[pid=68139] ppid=68137 vsize=432236 memory=325540 CPUtime=3571.23 cores=4,6
/proc/68139/stat : 68139 (roundingsat) R 68137 68137 67579 0 -1 4194304 54958 0 0 0 354059 3064 0 0 20 0 1 0 59955757 442609664 81385 18446744073709551615 4227072 8923433 140730416713840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16154624 140730416716114 140730416716328 140730416716328 140730416721898 0
/proc/68139/statm: 108059 81385 2336 1147 0 95486 0
Current children cumulated CPU time: 3571.23 s
Current children cumulated vsize: 436428 KiB
Current children cumulated memory: 328484 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 4.09 4.13 4.11 3/270 68487
/proc/meminfo: memFree=62284536/131250000 swapFree=33010416/33010684
[pid=68137] ppid=68134 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68137/stat : 68137 (run-opt-log.sh) S 68134 68137 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955756 4292608 736 18446744073709551615 94903130566656 94903131461189 140733829464880 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94903131700240 94903131747984 94903157223424 140733829470497 140733829470692 140733829470692 140733829476294 0
/proc/68137/statm: 1048 736 672 219 0 110 0
[pid=68139] ppid=68137 vsize=432236 memory=325540 CPUtime=3600 cores=4,6
/proc/68139/stat : 68139 (roundingsat) R 68137 68137 67579 0 -1 4194304 54961 0 0 0 356904 3096 0 0 20 0 1 0 59955757 442609664 81385 18446744073709551615 4227072 8923433 140730416713840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16154624 140730416716114 140730416716328 140730416716328 140730416721898 0
/proc/68139/statm: 108059 81385 2336 1147 0 95486 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 436428 KiB
Current children cumulated memory: 328484 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.3 s]
# the end of solver process 68137 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.001968 s
[startup+3611.48 s]
# the end of solver process 68139 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3569.05 s, system=30.9723 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.4 s]*
/proc/loadavg: 4.09 4.13 4.11 2/268 68487
/proc/meminfo: memFree=62289532/131250000 swapFree=33010416/33010684
[pid=68139] ppid=68134 vsize=432236 memory=325924 CPUtime=3600 cores=4,6
/proc/68139/stat : 68139 (roundingsat) D 68134 68137 67579 0 -1 4194304 54968 0 0 0 356904 3096 0 0 20 0 1 0 59955757 442609664 81481 18446744073709551615 4227072 8923433 140730416713840 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 16154624 140730416716114 140730416716328 140730416716328 140730416721898 0
/proc/68139/statm: 108059 81481 2432 1147 0 95486 0
Current cumulated CPU time of completed processes: 0.001968 s
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 432236 KiB
Current children cumulated memory: 325924 KiB
Child status: 2
Real time (s): 3611.48
CPU time (s): 3600.02
CPU user time (s): 3569.05
CPU system time (s): 30.9723
CPU usage (%): 99.6826
Max. virtual memory (cumulated for all children) (KiB): 436428
Max. memory (cumulated for all children) (KiB): 328484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.05
system time used= 30.9723
maximum resident set size= 325924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55193
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24177928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1257
involuntary context switches= 6447
# summary of solver processes directly reported to runsolver:
# pid: 68137,68139
# total CPU time (s): 3600.02
# total CPU user time (s): 3569.05
# total CPU system time (s): 30.9723
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1757 second user time and 16.4351 second system time
The end
Begin job on nodeC018 at 2025-07-02 09:52:59
IDJOB=4502601
IDBENCH=155354
IDSOLVER=3351
FILE ID=nodeC018/4502601-1751442779
RUNJOBID= nodeC018-1751439163-67590
SLURM_JOB_ID= 9598397
Free space on /tmp= 432904 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-538867.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502601-1751442779/watcher-4502601-1751442779 -o /tmp/evaluation-result-4502601-1751442779/solver-4502601-1751442779 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751439163-67590 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4502601-1751442779.opb PROOFDIR/proof-4502601-1751442779
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fe13d2dbd64f41a692445fbdcafba3bd
RANDOM SEED=266975307
nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.827
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.047
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3596.039
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.567
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.818
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.830
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.446
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 61189332 kB
MemAvailable: 124024132 kB
Buffers: 2128 kB
Cached: 63541804 kB
SwapCached: 32 kB
Active: 5754436 kB
Inactive: 63121136 kB
Active(anon): 5349468 kB
Inactive(anon): 288 kB
Active(file): 404968 kB
Inactive(file): 63120848 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 11035992 kB
Writeback: 12 kB
AnonPages: 5334224 kB
Mapped: 117156 kB
Shmem: 18044 kB
KReclaimable: 296044 kB
Slab: 732740 kB
SReclaimable: 296044 kB
SUnreclaim: 436696 kB
KernelStack: 4352 kB
PageTables: 14512 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 6381228 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 466944 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432900 MiB
End job on nodeC018 at 2025-07-02 10:53:11