0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.04 c #variables 2340 #constraints 390
0.00/0.04 c objective is ce32
0.00/0.04 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.04 c initial counting CF 32, 64, 128, Arb: 371 , 0 , 0 , 0
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.017769
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.020507
57.28/57.61 c #Conflicts: 1000 | #Constraints: 1390
57.28/57.61 c #Conflicts: 2000 | #Constraints: 2390
57.28/57.61 c INPROCESSING
57.28/57.61 c GARBAGE COLLECT
57.28/57.61 c #Conflicts: 3000 | #Constraints: 2411
57.28/57.61 c #Conflicts: 4000 | #Constraints: 3411
57.28/57.61 c INPROCESSING
57.28/57.61 c GARBAGE COLLECT
57.28/57.61 c #Conflicts: 5000 | #Constraints: 2830
57.28/57.61 c #Conflicts: 6000 | #Constraints: 3830
57.28/57.61 c INPROCESSING
57.28/57.61 c GARBAGE COLLECT
57.28/57.61 c #Conflicts: 7000 | #Constraints: 2845
57.28/57.61 c #Conflicts: 8000 | #Constraints: 3845
57.28/57.61 c #Conflicts: 9000 | #Constraints: 4845
57.28/57.61 c INPROCESSING
57.28/57.61 c GARBAGE COLLECT
57.28/57.61 c #Conflicts: 10000 | #Constraints: 3547
57.28/57.61 c #Conflicts: 11000 | #Constraints: 4547
57.28/57.61 c #Conflicts: 12000 | #Constraints: 5547
57.28/57.61 c INPROCESSING
57.28/57.61 c GARBAGE COLLECT
57.28/57.61 c #Conflicts: 13000 | #Constraints: 4006
57.28/57.61 c #Conflicts: 14000 | #Constraints: 5006
57.28/57.61 c #Conflicts: 15000 | #Constraints: 6006
57.28/57.61 c INPROCESSING
57.28/57.61 c GARBAGE COLLECT
57.28/57.61 c #Conflicts: 16000 | #Constraints: 4246
57.28/57.61 c #Conflicts: 17000 | #Constraints: 5246
57.28/57.61 c #Conflicts: 18000 | #Constraints: 6246
57.28/57.61 c INPROCESSING
57.28/57.61 c GARBAGE COLLECT
57.28/57.61 c #Conflicts: 19000 | #Constraints: 4256
57.28/57.61 c #Conflicts: 20000 | #Constraints: 5256
57.28/57.61 c #Conflicts: 21000 | #Constraints: 6256
57.28/57.61 c INPROCESSING
57.28/57.61 c GARBAGE COLLECT
57.28/57.61 c #Conflicts: 22000 | #Constraints: 4064
57.28/57.61 c #Conflicts: 23000 | #Constraints: 5064
57.28/57.61 c #Conflicts: 24000 | #Constraints: 6064
57.28/57.61 c #Conflicts: 25000 | #Constraints: 7064
57.28/57.61 c INPROCESSING
57.28/57.61 c GARBAGE COLLECT
57.28/57.61 c #Conflicts: 26000 | #Constraints: 4673
57.28/57.61 c #Conflicts: 27000 | #Constraints: 5673
57.28/57.61 c #Conflicts: 28000 | #Constraints: 6673
57.28/57.61 c #Conflicts: 29000 | #Constraints: 7673
57.28/57.61 c INPROCESSING
57.28/57.61 c GARBAGE COLLECT
57.28/57.61 c #Conflicts: 30000 | #Constraints: 5078
57.28/57.61 c #Conflicts: 31000 | #Constraints: 6078
57.28/57.61 c #Conflicts: 32000 | #Constraints: 7078
57.28/57.61 c #Conflicts: 33000 | #Constraints: 8078
57.28/57.61 c INPROCESSING
57.28/57.61 c GARBAGE COLLECT
57.28/57.61 c #Conflicts: 34000 | #Constraints: 5285
57.28/57.61 c #Conflicts: 35000 | #Constraints: 6285
57.28/57.61 c #Conflicts: 36000 | #Constraints: 7285
57.28/57.61 c #Conflicts: 37000 | #Constraints: 8285
57.28/57.61 c INPROCESSING
57.28/57.61 c GARBAGE COLLECT
57.28/57.61 c #Conflicts: 38000 | #Constraints: 5264
57.28/57.61 c #Conflicts: 39000 | #Constraints: 6264
57.28/57.61 c #Conflicts: 40000 | #Constraints: 7264
57.28/57.61 c #Conflicts: 41000 | #Constraints: 8264
57.28/57.61 c INPROCESSING
57.28/57.61 c GARBAGE COLLECT
57.28/57.61 c #Conflicts: 42000 | #Constraints: 5078
57.28/57.61 c #Conflicts: 43000 | #Constraints: 6078
57.28/57.61 c #Conflicts: 44000 | #Constraints: 7078
57.28/57.61 c #Conflicts: 45000 | #Constraints: 8078
57.28/57.61 c #Conflicts: 46000 | #Constraints: 9078
57.28/57.61 c INPROCESSING
57.28/57.61 c GARBAGE COLLECT
57.28/57.61 c #Conflicts: 47000 | #Constraints: 5688
57.28/57.61 c #Conflicts: 48000 | #Constraints: 6688
57.28/57.61 c #Conflicts: 49000 | #Constraints: 7688
57.28/57.61 c #Conflicts: 50000 | #Constraints: 8688
57.28/57.61 c #Conflicts: 51000 | #Constraints: 9688
57.28/57.61 c INPROCESSING
57.28/57.61 c GARBAGE COLLECT
57.28/57.61 c #Conflicts: 52000 | #Constraints: 6088
57.28/57.61 c #Conflicts: 53000 | #Constraints: 7088
57.28/57.61 c #Conflicts: 54000 | #Constraints: 8088
57.28/57.61 c #Conflicts: 55000 | #Constraints: 9088
57.28/57.61 c #Conflicts: 56000 | #Constraints: 10088
57.28/57.61 c INPROCESSING
57.28/57.61 c GARBAGE COLLECT
57.28/57.61 c #Conflicts: 57000 | #Constraints: 6282
57.28/57.61 c #Conflicts: 58000 | #Constraints: 7282
57.28/57.61 c #Conflicts: 59000 | #Constraints: 8282
57.28/57.61 c #Conflicts: 60000 | #Constraints: 9282
57.28/57.61 c #Conflicts: 61000 | #Constraints: 10282
57.28/57.61 c INPROCESSING
57.28/57.61 c GARBAGE COLLECT
57.28/57.61 c #Conflicts: 62000 | #Constraints: 6276
57.28/57.61 c #Conflicts: 63000 | #Constraints: 7276
57.28/57.61 c #Conflicts: 64000 | #Constraints: 8276
57.28/57.61 c #Conflicts: 65000 | #Constraints: 9276
57.28/57.61 c #Conflicts: 66000 | #Constraints: 10276
57.28/57.61 c INPROCESSING
57.28/57.61 c GARBAGE COLLECT
57.28/57.61 c #Conflicts: 67000 | #Constraints: 6082
57.28/57.61 c #Conflicts: 68000 | #Constraints: 7082
119.27/119.83 c #Conflicts: 69000 | #Constraints: 8082
119.27/119.83 c #Conflicts: 70000 | #Constraints: 9082
119.27/119.83 c #Conflicts: 71000 | #Constraints: 10082
119.27/119.83 c #Conflicts: 72000 | #Constraints: 11082
119.27/119.83 c INPROCESSING
119.27/119.83 c GARBAGE COLLECT
119.27/119.83 c #Conflicts: 73000 | #Constraints: 6683
119.27/119.83 c #Conflicts: 74000 | #Constraints: 7683
119.27/119.83 c #Conflicts: 75000 | #Constraints: 8683
119.27/119.83 c #Conflicts: 76000 | #Constraints: 9683
119.27/119.83 c #Conflicts: 77000 | #Constraints: 10683
119.27/119.83 c #Conflicts: 78000 | #Constraints: 11683
119.27/119.83 c INPROCESSING
119.27/119.83 c GARBAGE COLLECT
119.27/119.83 c #Conflicts: 79000 | #Constraints: 7085
119.27/119.83 c #Conflicts: 80000 | #Constraints: 8085
119.27/119.83 c #Conflicts: 81000 | #Constraints: 9085
119.27/119.83 c #Conflicts: 82000 | #Constraints: 10085
119.27/119.83 c #Conflicts: 83000 | #Constraints: 11085
119.27/119.83 c #Conflicts: 84000 | #Constraints: 12085
119.27/119.83 c INPROCESSING
119.27/119.83 c GARBAGE COLLECT
119.27/119.83 c #Conflicts: 85000 | #Constraints: 7303
119.27/119.83 c #Conflicts: 86000 | #Constraints: 8303
119.27/119.83 c #Conflicts: 87000 | #Constraints: 9303
119.27/119.83 c #Conflicts: 88000 | #Constraints: 10303
119.27/119.83 c #Conflicts: 89000 | #Constraints: 11303
119.27/119.83 c #Conflicts: 90000 | #Constraints: 12303
119.27/119.83 c INPROCESSING
119.27/119.83 c GARBAGE COLLECT
119.27/119.83 c #Conflicts: 91000 | #Constraints: 7299
119.27/119.83 c #Conflicts: 92000 | #Constraints: 8299
119.27/119.83 c #Conflicts: 93000 | #Constraints: 9299
119.27/119.83 c #Conflicts: 94000 | #Constraints: 10299
119.27/119.83 c #Conflicts: 95000 | #Constraints: 11299
119.27/119.83 c #Conflicts: 96000 | #Constraints: 12299
119.27/119.83 c INPROCESSING
119.27/119.83 c GARBAGE COLLECT
119.27/119.83 c #Conflicts: 97000 | #Constraints: 7101
119.27/119.83 c #Conflicts: 98000 | #Constraints: 8101
119.27/119.83 c #Conflicts: 99000 | #Constraints: 9101
119.27/119.83 c #Conflicts: 100000 | #Constraints: 10101
119.27/119.83 c #Conflicts: 101000 | #Constraints: 11101
119.27/119.83 c #Conflicts: 102000 | #Constraints: 12101
119.27/119.83 c #Conflicts: 103000 | #Constraints: 13101
119.27/119.83 c INPROCESSING
119.27/119.83 c GARBAGE COLLECT
119.27/119.83 c #Conflicts: 104000 | #Constraints: 7683
119.27/119.83 c #Conflicts: 105000 | #Constraints: 8683
119.27/119.83 c #Conflicts: 106000 | #Constraints: 9683
119.27/119.83 c #Conflicts: 107000 | #Constraints: 10683
119.27/119.83 c #Conflicts: 108000 | #Constraints: 11683
119.27/119.83 c #Conflicts: 109000 | #Constraints: 12683
119.27/119.83 c #Conflicts: 110000 | #Constraints: 13683
119.27/119.83 c INPROCESSING
119.27/119.83 c GARBAGE COLLECT
119.27/119.83 c #Conflicts: 111000 | #Constraints: 8079
119.27/119.83 c #Conflicts: 112000 | #Constraints: 9079
119.27/119.83 c #Conflicts: 113000 | #Constraints: 10079
119.27/119.83 c #Conflicts: 114000 | #Constraints: 11079
119.27/119.83 c #Conflicts: 115000 | #Constraints: 12079
119.27/119.83 c #Conflicts: 116000 | #Constraints: 13079
119.27/119.83 c #Conflicts: 117000 | #Constraints: 14079
119.27/119.83 c INPROCESSING
119.27/119.83 c GARBAGE COLLECT
119.27/119.83 c #Conflicts: 118000 | #Constraints: 8298
119.27/119.83 c #Conflicts: 119000 | #Constraints: 9298
119.27/119.83 c #Conflicts: 120000 | #Constraints: 10298
119.27/119.83 c #Conflicts: 121000 | #Constraints: 11298
119.27/119.83 c #Conflicts: 122000 | #Constraints: 12298
119.27/119.83 c #Conflicts: 123000 | #Constraints: 13298
119.27/119.83 c #Conflicts: 124000 | #Constraints: 14298
119.27/119.83 c INPROCESSING
119.27/119.83 c GARBAGE COLLECT
119.27/119.83 c #Conflicts: 125000 | #Constraints: 8298
119.27/119.83 c #Conflicts: 126000 | #Constraints: 9298
119.27/119.83 c #Conflicts: 127000 | #Constraints: 10298
119.27/119.83 c #Conflicts: 128000 | #Constraints: 11298
119.27/119.83 c #Conflicts: 129000 | #Constraints: 12298
119.27/119.83 c #Conflicts: 130000 | #Constraints: 13298
119.27/119.83 c #Conflicts: 131000 | #Constraints: 14298
119.27/119.83 c INPROCESSING
119.27/119.83 c GARBAGE COLLECT
119.27/119.83 c #Conflicts: 132000 | #Constraints: 8099
119.27/119.83 c #Conflicts: 133000 | #Constraints: 9099
119.27/119.83 c #Conflicts: 134000 | #Constraints: 10099
119.27/119.83 c #Conflicts: 135000 | #Constraints: 11099
119.27/119.83 c #Conflicts: 136000 | #Constraints: 12099
119.27/119.83 c #Conflicts: 137000 | #Constraints: 13099
119.27/119.83 c #Conflicts: 138000 | #Constraints: 14099
119.27/119.83 c #Conflicts: 139000 | #Constraints: 15099
119.27/119.83 c INPROCESSING
119.27/119.83 c GARBAGE COLLECT
119.27/119.83 c #Conflicts: 140000 | #Constraints: 8703
190.53/191.37 c #Conflicts: 141000 | #Constraints: 9703
190.53/191.37 c #Conflicts: 142000 | #Constraints: 10703
190.53/191.37 c #Conflicts: 143000 | #Constraints: 11703
190.53/191.37 c #Conflicts: 144000 | #Constraints: 12703
190.53/191.37 c #Conflicts: 145000 | #Constraints: 13703
190.53/191.37 c #Conflicts: 146000 | #Constraints: 14703
190.53/191.37 c #Conflicts: 147000 | #Constraints: 15703
190.53/191.37 c INPROCESSING
190.53/191.37 c GARBAGE COLLECT
190.53/191.37 c #Conflicts: 148000 | #Constraints: 9109
190.53/191.37 c #Conflicts: 149000 | #Constraints: 10109
190.53/191.37 c #Conflicts: 150000 | #Constraints: 11109
190.53/191.37 c #Conflicts: 151000 | #Constraints: 12109
190.53/191.37 c #Conflicts: 152000 | #Constraints: 13109
190.53/191.37 c #Conflicts: 153000 | #Constraints: 14109
190.53/191.37 c #Conflicts: 154000 | #Constraints: 15109
190.53/191.37 c #Conflicts: 155000 | #Constraints: 16109
190.53/191.37 c INPROCESSING
190.53/191.37 c GARBAGE COLLECT
190.53/191.37 c #Conflicts: 156000 | #Constraints: 9318
190.53/191.37 c #Conflicts: 157000 | #Constraints: 10318
190.53/191.37 c #Conflicts: 158000 | #Constraints: 11318
190.53/191.37 c #Conflicts: 159000 | #Constraints: 12318
190.53/191.37 c #Conflicts: 160000 | #Constraints: 13318
190.53/191.37 c #Conflicts: 161000 | #Constraints: 14318
190.53/191.37 c #Conflicts: 162000 | #Constraints: 15318
190.53/191.37 c #Conflicts: 163000 | #Constraints: 16318
190.53/191.37 c INPROCESSING
190.53/191.37 c GARBAGE COLLECT
190.53/191.37 c #Conflicts: 164000 | #Constraints: 9307
190.53/191.37 c #Conflicts: 165000 | #Constraints: 10307
190.53/191.37 c #Conflicts: 166000 | #Constraints: 11307
190.53/191.37 c #Conflicts: 167000 | #Constraints: 12307
190.53/191.37 c #Conflicts: 168000 | #Constraints: 13307
190.53/191.37 c #Conflicts: 169000 | #Constraints: 14307
190.53/191.37 c #Conflicts: 170000 | #Constraints: 15307
190.53/191.37 c #Conflicts: 171000 | #Constraints: 16307
190.53/191.37 c INPROCESSING
190.53/191.37 c GARBAGE COLLECT
190.53/191.37 c #Conflicts: 172000 | #Constraints: 9106
190.53/191.37 c #Conflicts: 173000 | #Constraints: 10106
190.53/191.37 c #Conflicts: 174000 | #Constraints: 11106
190.53/191.37 c #Conflicts: 175000 | #Constraints: 12106
190.53/191.37 c #Conflicts: 176000 | #Constraints: 13106
190.53/191.37 c #Conflicts: 177000 | #Constraints: 14106
190.53/191.37 c #Conflicts: 178000 | #Constraints: 15106
190.53/191.37 c #Conflicts: 179000 | #Constraints: 16106
190.53/191.37 c #Conflicts: 180000 | #Constraints: 17106
190.53/191.37 c INPROCESSING
190.53/191.37 c GARBAGE COLLECT
190.53/191.37 c #Conflicts: 181000 | #Constraints: 9712
190.53/191.37 c #Conflicts: 182000 | #Constraints: 10712
190.53/191.37 c #Conflicts: 183000 | #Constraints: 11712
190.53/191.37 c #Conflicts: 184000 | #Constraints: 12712
190.53/191.37 c #Conflicts: 185000 | #Constraints: 13712
190.53/191.37 c #Conflicts: 186000 | #Constraints: 14712
190.53/191.37 c #Conflicts: 187000 | #Constraints: 15712
190.53/191.37 c #Conflicts: 188000 | #Constraints: 16712
190.53/191.37 c #Conflicts: 189000 | #Constraints: 17712
190.53/191.37 c INPROCESSING
190.53/191.37 c GARBAGE COLLECT
190.53/191.37 c #Conflicts: 190000 | #Constraints: 10089
190.53/191.37 c #Conflicts: 191000 | #Constraints: 11089
190.53/191.37 c #Conflicts: 192000 | #Constraints: 12089
190.53/191.37 c #Conflicts: 193000 | #Constraints: 13089
190.53/191.37 c #Conflicts: 194000 | #Constraints: 14089
190.53/191.37 c #Conflicts: 195000 | #Constraints: 15089
190.53/191.37 c #Conflicts: 196000 | #Constraints: 16089
190.53/191.37 c #Conflicts: 197000 | #Constraints: 17089
190.53/191.37 c #Conflicts: 198000 | #Constraints: 18089
190.53/191.37 c INPROCESSING
190.53/191.37 c GARBAGE COLLECT
190.53/191.37 c #Conflicts: 199000 | #Constraints: 10289
190.53/191.37 c #Conflicts: 200000 | #Constraints: 11289
190.53/191.37 c #Conflicts: 201000 | #Constraints: 12289
190.53/191.37 c #Conflicts: 202000 | #Constraints: 13289
190.53/191.37 c #Conflicts: 203000 | #Constraints: 14289
190.53/191.37 c #Conflicts: 204000 | #Constraints: 15289
190.53/191.37 c #Conflicts: 205000 | #Constraints: 16289
190.53/191.37 c #Conflicts: 206000 | #Constraints: 17289
190.53/191.37 c #Conflicts: 207000 | #Constraints: 18289
190.53/191.37 c INPROCESSING
190.53/191.37 c GARBAGE COLLECT
190.53/191.37 c #Conflicts: 208000 | #Constraints: 10283
190.53/191.37 c #Conflicts: 209000 | #Constraints: 11283
190.53/191.37 c #Conflicts: 210000 | #Constraints: 12283
190.53/191.37 c #Conflicts: 211000 | #Constraints: 13283
190.53/191.37 c #Conflicts: 212000 | #Constraints: 14283
190.53/191.37 c #Conflicts: 213000 | #Constraints: 15283
274.24/275.39 c #Conflicts: 214000 | #Constraints: 16283
274.24/275.39 c #Conflicts: 215000 | #Constraints: 17283
274.24/275.39 c #Conflicts: 216000 | #Constraints: 18283
274.24/275.39 c INPROCESSING
274.24/275.39 c GARBAGE COLLECT
274.24/275.39 c #Conflicts: 217000 | #Constraints: 10086
274.24/275.39 c #Conflicts: 218000 | #Constraints: 11086
274.24/275.39 c #Conflicts: 219000 | #Constraints: 12086
274.24/275.39 c #Conflicts: 220000 | #Constraints: 13086
274.24/275.39 c #Conflicts: 221000 | #Constraints: 14086
274.24/275.39 c #Conflicts: 222000 | #Constraints: 15086
274.24/275.39 c #Conflicts: 223000 | #Constraints: 16086
274.24/275.39 c #Conflicts: 224000 | #Constraints: 17086
274.24/275.39 c #Conflicts: 225000 | #Constraints: 18086
274.24/275.39 c #Conflicts: 226000 | #Constraints: 19086
274.24/275.39 c INPROCESSING
274.24/275.39 c GARBAGE COLLECT
274.24/275.39 c #Conflicts: 227000 | #Constraints: 10690
274.24/275.39 c #Conflicts: 228000 | #Constraints: 11690
274.24/275.39 c #Conflicts: 229000 | #Constraints: 12690
274.24/275.39 c #Conflicts: 230000 | #Constraints: 13690
274.24/275.39 c #Conflicts: 231000 | #Constraints: 14690
274.24/275.39 c #Conflicts: 232000 | #Constraints: 15690
274.24/275.39 c #Conflicts: 233000 | #Constraints: 16690
274.24/275.39 c #Conflicts: 234000 | #Constraints: 17690
274.24/275.39 c #Conflicts: 235000 | #Constraints: 18690
274.24/275.39 c #Conflicts: 236000 | #Constraints: 19690
274.24/275.39 c INPROCESSING
274.24/275.39 c GARBAGE COLLECT
274.24/275.39 c #Conflicts: 237000 | #Constraints: 11091
274.24/275.39 c #Conflicts: 238000 | #Constraints: 12091
274.24/275.39 c #Conflicts: 239000 | #Constraints: 13091
274.24/275.39 c #Conflicts: 240000 | #Constraints: 14091
274.24/275.39 c #Conflicts: 241000 | #Constraints: 15091
274.24/275.39 c #Conflicts: 242000 | #Constraints: 16091
274.24/275.39 c #Conflicts: 243000 | #Constraints: 17091
274.24/275.39 c #Conflicts: 244000 | #Constraints: 18091
274.24/275.39 c #Conflicts: 245000 | #Constraints: 19091
274.24/275.39 c #Conflicts: 246000 | #Constraints: 20091
274.24/275.39 c INPROCESSING
274.24/275.39 c GARBAGE COLLECT
274.24/275.39 c #Conflicts: 247000 | #Constraints: 11301
274.24/275.39 c #Conflicts: 248000 | #Constraints: 12301
274.24/275.39 c #Conflicts: 249000 | #Constraints: 13301
274.24/275.39 c #Conflicts: 250000 | #Constraints: 14301
274.24/275.39 c #Conflicts: 251000 | #Constraints: 15301
274.24/275.39 c #Conflicts: 252000 | #Constraints: 16301
274.24/275.39 c #Conflicts: 253000 | #Constraints: 17301
274.24/275.39 c #Conflicts: 254000 | #Constraints: 18301
274.24/275.39 c #Conflicts: 255000 | #Constraints: 19301
274.24/275.39 c #Conflicts: 256000 | #Constraints: 20301
274.24/275.39 c INPROCESSING
274.24/275.39 c GARBAGE COLLECT
274.24/275.39 c #Conflicts: 257000 | #Constraints: 11311
274.24/275.39 c #Conflicts: 258000 | #Constraints: 12311
274.24/275.39 c #Conflicts: 259000 | #Constraints: 13311
274.24/275.39 c #Conflicts: 260000 | #Constraints: 14311
274.24/275.39 c #Conflicts: 261000 | #Constraints: 15311
274.24/275.39 c #Conflicts: 262000 | #Constraints: 16311
274.24/275.39 c #Conflicts: 263000 | #Constraints: 17311
274.24/275.39 c #Conflicts: 264000 | #Constraints: 18311
274.24/275.39 c #Conflicts: 265000 | #Constraints: 19311
274.24/275.39 c #Conflicts: 266000 | #Constraints: 20311
274.24/275.39 c INPROCESSING
274.24/275.39 c GARBAGE COLLECT
274.24/275.39 c #Conflicts: 267000 | #Constraints: 11110
274.24/275.39 c #Conflicts: 268000 | #Constraints: 12110
274.24/275.39 c #Conflicts: 269000 | #Constraints: 13110
274.24/275.39 c #Conflicts: 270000 | #Constraints: 14110
274.24/275.39 c #Conflicts: 271000 | #Constraints: 15110
274.24/275.39 c #Conflicts: 272000 | #Constraints: 16110
274.24/275.39 c #Conflicts: 273000 | #Constraints: 17110
274.24/275.39 c #Conflicts: 274000 | #Constraints: 18110
274.24/275.39 c #Conflicts: 275000 | #Constraints: 19110
274.24/275.39 c #Conflicts: 276000 | #Constraints: 20110
274.24/275.39 c #Conflicts: 277000 | #Constraints: 21110
274.24/275.39 c INPROCESSING
274.24/275.39 c GARBAGE COLLECT
274.24/275.39 c #Conflicts: 278000 | #Constraints: 11713
274.24/275.39 c #Conflicts: 279000 | #Constraints: 12713
274.24/275.39 c #Conflicts: 280000 | #Constraints: 13713
274.24/275.39 c #Conflicts: 281000 | #Constraints: 14713
274.24/275.39 c #Conflicts: 282000 | #Constraints: 15713
274.24/275.39 c #Conflicts: 283000 | #Constraints: 16713
274.24/275.39 c #Conflicts: 284000 | #Constraints: 17713
274.24/275.39 c #Conflicts: 285000 | #Constraints: 18713
274.24/275.39 c #Conflicts: 286000 | #Constraints: 19713
274.24/275.39 c #Conflicts: 287000 | #Constraints: 20713
274.24/275.39 c #Conflicts: 288000 | #Constraints: 21713
362.94/364.35 c INPROCESSING
362.94/364.35 c GARBAGE COLLECT
362.94/364.35 c #Conflicts: 289000 | #Constraints: 12117
362.94/364.35 c #Conflicts: 290000 | #Constraints: 13117
362.94/364.35 c #Conflicts: 291000 | #Constraints: 14117
362.94/364.35 c #Conflicts: 292000 | #Constraints: 15117
362.94/364.35 c #Conflicts: 293000 | #Constraints: 16117
362.94/364.35 c #Conflicts: 294000 | #Constraints: 17117
362.94/364.35 c #Conflicts: 295000 | #Constraints: 18117
362.94/364.35 c #Conflicts: 296000 | #Constraints: 19117
362.94/364.35 c #Conflicts: 297000 | #Constraints: 20117
362.94/364.35 c #Conflicts: 298000 | #Constraints: 21117
362.94/364.35 c #Conflicts: 299000 | #Constraints: 22117
362.94/364.35 c INPROCESSING
362.94/364.35 c GARBAGE COLLECT
362.94/364.35 c #Conflicts: 300000 | #Constraints: 12332
362.94/364.35 c #Conflicts: 301000 | #Constraints: 13332
362.94/364.35 c #Conflicts: 302000 | #Constraints: 14332
362.94/364.35 c #Conflicts: 303000 | #Constraints: 15332
362.94/364.35 c #Conflicts: 304000 | #Constraints: 16332
362.94/364.35 c #Conflicts: 305000 | #Constraints: 17332
362.94/364.35 c #Conflicts: 306000 | #Constraints: 18332
362.94/364.35 c #Conflicts: 307000 | #Constraints: 19332
362.94/364.35 c #Conflicts: 308000 | #Constraints: 20332
362.94/364.35 c #Conflicts: 309000 | #Constraints: 21332
362.94/364.35 c #Conflicts: 310000 | #Constraints: 22332
362.94/364.35 c INPROCESSING
362.94/364.35 c GARBAGE COLLECT
362.94/364.35 c #Conflicts: 311000 | #Constraints: 12331
362.94/364.35 c #Conflicts: 312000 | #Constraints: 13331
362.94/364.35 c #Conflicts: 313000 | #Constraints: 14331
362.94/364.35 c #Conflicts: 314000 | #Constraints: 15331
362.94/364.35 c #Conflicts: 315000 | #Constraints: 16331
362.94/364.35 c #Conflicts: 316000 | #Constraints: 17331
362.94/364.35 c #Conflicts: 317000 | #Constraints: 18331
362.94/364.35 c #Conflicts: 318000 | #Constraints: 19331
362.94/364.35 c #Conflicts: 319000 | #Constraints: 20331
362.94/364.35 c #Conflicts: 320000 | #Constraints: 21331
362.94/364.35 c #Conflicts: 321000 | #Constraints: 22331
362.94/364.35 c INPROCESSING
362.94/364.35 c GARBAGE COLLECT
362.94/364.35 c #Conflicts: 322000 | #Constraints: 12096
362.94/364.35 c #Conflicts: 323000 | #Constraints: 13096
362.94/364.35 c #Conflicts: 324000 | #Constraints: 14096
362.94/364.35 c #Conflicts: 325000 | #Constraints: 15096
362.94/364.35 c #Conflicts: 326000 | #Constraints: 16096
362.94/364.35 c #Conflicts: 327000 | #Constraints: 17096
362.94/364.35 c #Conflicts: 328000 | #Constraints: 18096
362.94/364.35 c #Conflicts: 329000 | #Constraints: 19096
362.94/364.35 c #Conflicts: 330000 | #Constraints: 20096
362.94/364.35 c #Conflicts: 331000 | #Constraints: 21096
362.94/364.35 c #Conflicts: 332000 | #Constraints: 22096
362.94/364.35 c #Conflicts: 333000 | #Constraints: 23096
362.94/364.35 c INPROCESSING
362.94/364.35 c GARBAGE COLLECT
362.94/364.35 c #Conflicts: 334000 | #Constraints: 12703
362.94/364.35 c #Conflicts: 335000 | #Constraints: 13703
362.94/364.35 c #Conflicts: 336000 | #Constraints: 14703
362.94/364.35 c #Conflicts: 337000 | #Constraints: 15703
362.94/364.35 c #Conflicts: 338000 | #Constraints: 16703
362.94/364.35 c #Conflicts: 339000 | #Constraints: 17703
362.94/364.35 c #Conflicts: 340000 | #Constraints: 18703
362.94/364.35 c #Conflicts: 341000 | #Constraints: 19703
362.94/364.35 c #Conflicts: 342000 | #Constraints: 20703
362.94/364.35 c #Conflicts: 343000 | #Constraints: 21703
362.94/364.35 c #Conflicts: 344000 | #Constraints: 22703
362.94/364.35 c #Conflicts: 345000 | #Constraints: 23703
362.94/364.35 c INPROCESSING
362.94/364.35 c GARBAGE COLLECT
362.94/364.35 c #Conflicts: 346000 | #Constraints: 13110
362.94/364.35 c #Conflicts: 347000 | #Constraints: 14110
362.94/364.35 c #Conflicts: 348000 | #Constraints: 15110
362.94/364.35 c #Conflicts: 349000 | #Constraints: 16110
362.94/364.35 c #Conflicts: 350000 | #Constraints: 17110
362.94/364.35 c #Conflicts: 351000 | #Constraints: 18110
362.94/364.35 c #Conflicts: 352000 | #Constraints: 19110
362.94/364.35 c #Conflicts: 353000 | #Constraints: 20110
362.94/364.35 c #Conflicts: 354000 | #Constraints: 21110
362.94/364.35 c #Conflicts: 355000 | #Constraints: 22110
362.94/364.35 c #Conflicts: 356000 | #Constraints: 23110
362.94/364.35 c #Conflicts: 357000 | #Constraints: 24110
362.94/364.35 c INPROCESSING
362.94/364.35 c GARBAGE COLLECT
362.94/364.35 c #Conflicts: 358000 | #Constraints: 13327
362.94/364.35 c #Conflicts: 359000 | #Constraints: 14327
362.94/364.35 c #Conflicts: 360000 | #Constraints: 15327
362.94/364.35 c #Conflicts: 361000 | #Constraints: 16327
362.94/364.35 c #Conflicts: 362000 | #Constraints: 17327
457.02/458.73 c #Conflicts: 363000 | #Constraints: 18327
457.02/458.73 c #Conflicts: 364000 | #Constraints: 19327
457.02/458.73 c #Conflicts: 365000 | #Constraints: 20327
457.02/458.73 c #Conflicts: 366000 | #Constraints: 21327
457.02/458.73 c #Conflicts: 367000 | #Constraints: 22327
457.02/458.73 c #Conflicts: 368000 | #Constraints: 23327
457.02/458.73 c #Conflicts: 369000 | #Constraints: 24327
457.02/458.73 c INPROCESSING
457.02/458.73 c GARBAGE COLLECT
457.02/458.73 c #Conflicts: 370000 | #Constraints: 13326
457.02/458.73 c #Conflicts: 371000 | #Constraints: 14326
457.02/458.73 c #Conflicts: 372000 | #Constraints: 15326
457.02/458.73 c #Conflicts: 373000 | #Constraints: 16326
457.02/458.73 c #Conflicts: 374000 | #Constraints: 17326
457.02/458.73 c #Conflicts: 375000 | #Constraints: 18326
457.02/458.73 c #Conflicts: 376000 | #Constraints: 19326
457.02/458.73 c #Conflicts: 377000 | #Constraints: 20326
457.02/458.73 c #Conflicts: 378000 | #Constraints: 21326
457.02/458.73 c #Conflicts: 379000 | #Constraints: 22326
457.02/458.73 c #Conflicts: 380000 | #Constraints: 23326
457.02/458.73 c #Conflicts: 381000 | #Constraints: 24326
457.02/458.73 c INPROCESSING
457.02/458.73 c GARBAGE COLLECT
457.02/458.73 c #Conflicts: 382000 | #Constraints: 13127
457.02/458.73 c #Conflicts: 383000 | #Constraints: 14127
457.02/458.73 c #Conflicts: 384000 | #Constraints: 15127
457.02/458.73 c #Conflicts: 385000 | #Constraints: 16127
457.02/458.73 c #Conflicts: 386000 | #Constraints: 17127
457.02/458.73 c #Conflicts: 387000 | #Constraints: 18127
457.02/458.73 c #Conflicts: 388000 | #Constraints: 19127
457.02/458.73 c #Conflicts: 389000 | #Constraints: 20127
457.02/458.73 c #Conflicts: 390000 | #Constraints: 21127
457.02/458.73 c #Conflicts: 391000 | #Constraints: 22127
457.02/458.73 c #Conflicts: 392000 | #Constraints: 23127
457.02/458.73 c #Conflicts: 393000 | #Constraints: 24127
457.02/458.73 c #Conflicts: 394000 | #Constraints: 25127
457.02/458.73 c INPROCESSING
457.02/458.73 c GARBAGE COLLECT
457.02/458.73 c #Conflicts: 395000 | #Constraints: 13726
457.02/458.73 c #Conflicts: 396000 | #Constraints: 14726
457.02/458.73 c #Conflicts: 397000 | #Constraints: 15726
457.02/458.73 c #Conflicts: 398000 | #Constraints: 16726
457.02/458.73 c #Conflicts: 399000 | #Constraints: 17726
457.02/458.73 c #Conflicts: 400000 | #Constraints: 18726
457.02/458.73 c #Conflicts: 401000 | #Constraints: 19726
457.02/458.73 c #Conflicts: 402000 | #Constraints: 20726
457.02/458.73 c #Conflicts: 403000 | #Constraints: 21726
457.02/458.73 c #Conflicts: 404000 | #Constraints: 22726
457.02/458.73 c #Conflicts: 405000 | #Constraints: 23726
457.02/458.73 c #Conflicts: 406000 | #Constraints: 24726
457.02/458.73 c #Conflicts: 407000 | #Constraints: 25726
457.02/458.73 c INPROCESSING
457.02/458.73 c GARBAGE COLLECT
457.02/458.73 c #Conflicts: 408000 | #Constraints: 14115
457.02/458.73 c #Conflicts: 409000 | #Constraints: 15115
457.02/458.73 c #Conflicts: 410000 | #Constraints: 16115
457.02/458.73 c #Conflicts: 411000 | #Constraints: 17115
457.02/458.73 c #Conflicts: 412000 | #Constraints: 18115
457.02/458.73 c #Conflicts: 413000 | #Constraints: 19115
457.02/458.73 c #Conflicts: 414000 | #Constraints: 20115
457.02/458.73 c #Conflicts: 415000 | #Constraints: 21115
457.02/458.73 c #Conflicts: 416000 | #Constraints: 22115
457.02/458.73 c #Conflicts: 417000 | #Constraints: 23115
457.02/458.73 c #Conflicts: 418000 | #Constraints: 24115
457.02/458.73 c #Conflicts: 419000 | #Constraints: 25115
457.02/458.73 c #Conflicts: 420000 | #Constraints: 26115
457.02/458.73 c INPROCESSING
457.02/458.73 c GARBAGE COLLECT
457.02/458.73 c #Conflicts: 421000 | #Constraints: 14306
457.02/458.73 c #Conflicts: 422000 | #Constraints: 15306
457.02/458.73 c #Conflicts: 423000 | #Constraints: 16306
457.02/458.73 c #Conflicts: 424000 | #Constraints: 17306
457.02/458.73 c #Conflicts: 425000 | #Constraints: 18306
457.02/458.73 c #Conflicts: 426000 | #Constraints: 19306
457.02/458.73 c #Conflicts: 427000 | #Constraints: 20306
457.02/458.73 c #Conflicts: 428000 | #Constraints: 21306
457.02/458.73 c #Conflicts: 429000 | #Constraints: 22306
457.02/458.73 c #Conflicts: 430000 | #Constraints: 23306
457.02/458.73 c #Conflicts: 431000 | #Constraints: 24306
457.02/458.73 c #Conflicts: 432000 | #Constraints: 25306
457.02/458.73 c #Conflicts: 433000 | #Constraints: 26306
457.02/458.73 c INPROCESSING
457.02/458.73 c GARBAGE COLLECT
457.02/458.73 c #Conflicts: 434000 | #Constraints: 14316
457.02/458.73 c #Conflicts: 435000 | #Constraints: 15316
457.02/458.73 c #Conflicts: 436000 | #Constraints: 16316
457.02/458.73 c #Conflicts: 437000 | #Constraints: 17316
537.15/539.19 c #Conflicts: 438000 | #Constraints: 18316
537.15/539.19 c #Conflicts: 439000 | #Constraints: 19316
537.15/539.19 c #Conflicts: 440000 | #Constraints: 20316
537.15/539.19 c #Conflicts: 441000 | #Constraints: 21316
537.15/539.19 c #Conflicts: 442000 | #Constraints: 22316
537.15/539.19 c #Conflicts: 443000 | #Constraints: 23316
537.15/539.19 c #Conflicts: 444000 | #Constraints: 24316
537.15/539.19 c #Conflicts: 445000 | #Constraints: 25316
537.15/539.19 c #Conflicts: 446000 | #Constraints: 26316
537.15/539.19 c INPROCESSING
537.15/539.19 c GARBAGE COLLECT
537.15/539.19 c #Conflicts: 447000 | #Constraints: 14119
537.15/539.19 c #Conflicts: 448000 | #Constraints: 15119
537.15/539.19 c #Conflicts: 449000 | #Constraints: 16119
537.15/539.19 c #Conflicts: 450000 | #Constraints: 17119
537.15/539.19 c #Conflicts: 451000 | #Constraints: 18119
537.15/539.19 c #Conflicts: 452000 | #Constraints: 19119
537.15/539.19 c #Conflicts: 453000 | #Constraints: 20119
537.15/539.19 c #Conflicts: 454000 | #Constraints: 21119
537.15/539.19 c #Conflicts: 455000 | #Constraints: 22119
537.15/539.19 c #Conflicts: 456000 | #Constraints: 23119
537.15/539.19 c #Conflicts: 457000 | #Constraints: 24119
537.15/539.19 c #Conflicts: 458000 | #Constraints: 25119
537.15/539.19 c #Conflicts: 459000 | #Constraints: 26119
537.15/539.19 c #Conflicts: 460000 | #Constraints: 27119
537.15/539.19 c INPROCESSING
537.15/539.19 c GARBAGE COLLECT
537.15/539.19 c #Conflicts: 461000 | #Constraints: 14720
537.15/539.19 c #Conflicts: 462000 | #Constraints: 15720
537.15/539.19 c #Conflicts: 463000 | #Constraints: 16720
537.15/539.19 c #Conflicts: 464000 | #Constraints: 17720
537.15/539.19 c #Conflicts: 465000 | #Constraints: 18720
537.15/539.19 c #Conflicts: 466000 | #Constraints: 19720
537.15/539.19 c #Conflicts: 467000 | #Constraints: 20720
537.15/539.19 c #Conflicts: 468000 | #Constraints: 21720
537.15/539.19 c #Conflicts: 469000 | #Constraints: 22720
537.15/539.19 c #Conflicts: 470000 | #Constraints: 23720
537.15/539.19 c #Conflicts: 471000 | #Constraints: 24720
537.15/539.19 c #Conflicts: 472000 | #Constraints: 25720
537.15/539.19 c #Conflicts: 473000 | #Constraints: 26720
537.15/539.19 c #Conflicts: 474000 | #Constraints: 27720
537.15/539.19 c INPROCESSING
537.15/539.19 c GARBAGE COLLECT
537.15/539.19 c #Conflicts: 475000 | #Constraints: 15129
537.15/539.19 c #Conflicts: 476000 | #Constraints: 16129
537.15/539.19 c #Conflicts: 477000 | #Constraints: 17129
537.15/539.19 c #Conflicts: 478000 | #Constraints: 18129
537.15/539.19 c #Conflicts: 479000 | #Constraints: 19129
537.15/539.19 c #Conflicts: 480000 | #Constraints: 20129
537.15/539.19 c #Conflicts: 481000 | #Constraints: 21129
537.15/539.19 c #Conflicts: 482000 | #Constraints: 22129
537.15/539.19 c #Conflicts: 483000 | #Constraints: 23129
537.15/539.19 c #Conflicts: 484000 | #Constraints: 24129
537.15/539.19 c #Conflicts: 485000 | #Constraints: 25129
537.15/539.19 c #Conflicts: 486000 | #Constraints: 26129
537.15/539.19 c #Conflicts: 487000 | #Constraints: 27129
537.15/539.19 c #Conflicts: 488000 | #Constraints: 28129
537.15/539.19 c INPROCESSING
537.15/539.19 c GARBAGE COLLECT
537.15/539.19 c #Conflicts: 489000 | #Constraints: 15337
537.15/539.19 c #Conflicts: 490000 | #Constraints: 16337
537.15/539.19 c #Conflicts: 491000 | #Constraints: 17337
537.15/539.19 c #Conflicts: 492000 | #Constraints: 18337
537.15/539.19 c #Conflicts: 493000 | #Constraints: 19337
537.15/539.19 c #Conflicts: 494000 | #Constraints: 20337
537.15/539.19 c #Conflicts: 495000 | #Constraints: 21337
537.15/539.19 c #Conflicts: 496000 | #Constraints: 22337
537.15/539.19 c #Conflicts: 497000 | #Constraints: 23337
537.15/539.19 c #Conflicts: 498000 | #Constraints: 24337
537.15/539.19 c #Conflicts: 499000 | #Constraints: 25337
537.15/539.19 c #Conflicts: 500000 | #Constraints: 26337
537.15/539.19 c #Conflicts: 501000 | #Constraints: 27337
537.15/539.19 c #Conflicts: 502000 | #Constraints: 28337
537.15/539.19 c INPROCESSING
537.15/539.19 c GARBAGE COLLECT
537.15/539.19 c #Conflicts: 503000 | #Constraints: 15327
537.15/539.19 c #Conflicts: 504000 | #Constraints: 16327
537.15/539.19 c #Conflicts: 505000 | #Constraints: 17327
537.15/539.19 c #Conflicts: 506000 | #Constraints: 18327
537.15/539.19 c #Conflicts: 507000 | #Constraints: 19327
537.15/539.19 c #Conflicts: 508000 | #Constraints: 20327
537.15/539.19 c #Conflicts: 509000 | #Constraints: 21327
537.15/539.19 c #Conflicts: 510000 | #Constraints: 22327
537.15/539.19 c #Conflicts: 511000 | #Constraints: 23327
537.15/539.19 c #Conflicts: 512000 | #Constraints: 24327
537.15/539.19 c #Conflicts: 513000 | #Constraints: 25327
649.66/652.08 c #Conflicts: 514000 | #Constraints: 26327
649.66/652.08 c #Conflicts: 515000 | #Constraints: 27327
649.66/652.08 c #Conflicts: 516000 | #Constraints: 28327
649.66/652.08 c INPROCESSING
649.66/652.08 c GARBAGE COLLECT
649.66/652.08 c #Conflicts: 517000 | #Constraints: 15126
649.66/652.08 c #Conflicts: 518000 | #Constraints: 16126
649.66/652.08 c #Conflicts: 519000 | #Constraints: 17126
649.66/652.08 c #Conflicts: 520000 | #Constraints: 18126
649.66/652.08 c #Conflicts: 521000 | #Constraints: 19126
649.66/652.08 c #Conflicts: 522000 | #Constraints: 20126
649.66/652.08 c #Conflicts: 523000 | #Constraints: 21126
649.66/652.08 c #Conflicts: 524000 | #Constraints: 22126
649.66/652.08 c #Conflicts: 525000 | #Constraints: 23126
649.66/652.08 c #Conflicts: 526000 | #Constraints: 24126
649.66/652.08 c #Conflicts: 527000 | #Constraints: 25126
649.66/652.08 c #Conflicts: 528000 | #Constraints: 26126
649.66/652.08 c #Conflicts: 529000 | #Constraints: 27126
649.66/652.08 c #Conflicts: 530000 | #Constraints: 28126
649.66/652.08 c #Conflicts: 531000 | #Constraints: 29126
649.66/652.08 c INPROCESSING
649.66/652.08 c GARBAGE COLLECT
649.66/652.08 c #Conflicts: 532000 | #Constraints: 15721
649.66/652.08 c #Conflicts: 533000 | #Constraints: 16721
649.66/652.08 c #Conflicts: 534000 | #Constraints: 17721
649.66/652.08 c #Conflicts: 535000 | #Constraints: 18721
649.66/652.08 c #Conflicts: 536000 | #Constraints: 19721
649.66/652.08 c #Conflicts: 537000 | #Constraints: 20721
649.66/652.08 c #Conflicts: 538000 | #Constraints: 21721
649.66/652.08 c #Conflicts: 539000 | #Constraints: 22721
649.66/652.08 c #Conflicts: 540000 | #Constraints: 23721
649.66/652.08 c #Conflicts: 541000 | #Constraints: 24721
649.66/652.08 c #Conflicts: 542000 | #Constraints: 25721
649.66/652.08 c #Conflicts: 543000 | #Constraints: 26721
649.66/652.08 c #Conflicts: 544000 | #Constraints: 27721
649.66/652.08 c #Conflicts: 545000 | #Constraints: 28721
649.66/652.08 c #Conflicts: 546000 | #Constraints: 29721
649.66/652.08 c INPROCESSING
649.66/652.08 c GARBAGE COLLECT
649.66/652.08 c #Conflicts: 547000 | #Constraints: 16118
649.66/652.08 c #Conflicts: 548000 | #Constraints: 17118
649.66/652.08 c #Conflicts: 549000 | #Constraints: 18118
649.66/652.08 c #Conflicts: 550000 | #Constraints: 19118
649.66/652.08 c #Conflicts: 551000 | #Constraints: 20118
649.66/652.08 c #Conflicts: 552000 | #Constraints: 21118
649.66/652.08 c #Conflicts: 553000 | #Constraints: 22118
649.66/652.08 c #Conflicts: 554000 | #Constraints: 23118
649.66/652.08 c #Conflicts: 555000 | #Constraints: 24118
649.66/652.08 c #Conflicts: 556000 | #Constraints: 25118
649.66/652.08 c #Conflicts: 557000 | #Constraints: 26118
649.66/652.08 c #Conflicts: 558000 | #Constraints: 27118
649.66/652.08 c #Conflicts: 559000 | #Constraints: 28118
649.66/652.08 c #Conflicts: 560000 | #Constraints: 29118
649.66/652.08 c #Conflicts: 561000 | #Constraints: 30118
649.66/652.08 c INPROCESSING
649.66/652.08 c GARBAGE COLLECT
649.66/652.08 c #Conflicts: 562000 | #Constraints: 16337
649.66/652.08 c #Conflicts: 563000 | #Constraints: 17337
649.66/652.08 c #Conflicts: 564000 | #Constraints: 18337
649.66/652.08 c #Conflicts: 565000 | #Constraints: 19337
649.66/652.08 c #Conflicts: 566000 | #Constraints: 20337
649.66/652.08 c #Conflicts: 567000 | #Constraints: 21337
649.66/652.08 c #Conflicts: 568000 | #Constraints: 22337
649.66/652.08 c #Conflicts: 569000 | #Constraints: 23337
649.66/652.08 c #Conflicts: 570000 | #Constraints: 24337
649.66/652.08 c #Conflicts: 571000 | #Constraints: 25337
649.66/652.08 c #Conflicts: 572000 | #Constraints: 26337
649.66/652.08 c #Conflicts: 573000 | #Constraints: 27337
649.66/652.08 c #Conflicts: 574000 | #Constraints: 28337
649.66/652.08 c #Conflicts: 575000 | #Constraints: 29337
649.66/652.08 c #Conflicts: 576000 | #Constraints: 30337
649.66/652.08 c INPROCESSING
649.66/652.08 c GARBAGE COLLECT
649.66/652.08 c #Conflicts: 577000 | #Constraints: 16332
649.66/652.08 c #Conflicts: 578000 | #Constraints: 17332
649.66/652.08 c #Conflicts: 579000 | #Constraints: 18332
649.66/652.08 c #Conflicts: 580000 | #Constraints: 19332
649.66/652.08 c #Conflicts: 581000 | #Constraints: 20332
649.66/652.08 c #Conflicts: 582000 | #Constraints: 21332
649.66/652.08 c #Conflicts: 583000 | #Constraints: 22332
649.66/652.08 c #Conflicts: 584000 | #Constraints: 23332
649.66/652.08 c #Conflicts: 585000 | #Constraints: 24332
649.66/652.08 c #Conflicts: 586000 | #Constraints: 25332
649.66/652.08 c #Conflicts: 587000 | #Constraints: 26332
649.66/652.08 c #Conflicts: 588000 | #Constraints: 27332
766.85/769.69 c #Conflicts: 589000 | #Constraints: 28332
766.85/769.69 c #Conflicts: 590000 | #Constraints: 29332
766.85/769.69 c #Conflicts: 591000 | #Constraints: 30332
766.85/769.69 c INPROCESSING
766.85/769.69 c GARBAGE COLLECT
766.85/769.69 c #Conflicts: 592000 | #Constraints: 16134
766.85/769.69 c #Conflicts: 593000 | #Constraints: 17134
766.85/769.69 c #Conflicts: 594000 | #Constraints: 18134
766.85/769.69 c #Conflicts: 595000 | #Constraints: 19134
766.85/769.69 c #Conflicts: 596000 | #Constraints: 20134
766.85/769.69 c #Conflicts: 597000 | #Constraints: 21134
766.85/769.69 c #Conflicts: 598000 | #Constraints: 22134
766.85/769.69 c #Conflicts: 599000 | #Constraints: 23134
766.85/769.69 c #Conflicts: 600000 | #Constraints: 24134
766.85/769.69 c #Conflicts: 601000 | #Constraints: 25134
766.85/769.69 c #Conflicts: 602000 | #Constraints: 26134
766.85/769.69 c #Conflicts: 603000 | #Constraints: 27134
766.85/769.69 c #Conflicts: 604000 | #Constraints: 28134
766.85/769.69 c #Conflicts: 605000 | #Constraints: 29134
766.85/769.69 c #Conflicts: 606000 | #Constraints: 30134
766.85/769.69 c #Conflicts: 607000 | #Constraints: 31134
766.85/769.69 c INPROCESSING
766.85/769.69 c GARBAGE COLLECT
766.85/769.69 c #Conflicts: 608000 | #Constraints: 16722
766.85/769.69 c #Conflicts: 609000 | #Constraints: 17722
766.85/769.69 c #Conflicts: 610000 | #Constraints: 18722
766.85/769.69 c #Conflicts: 611000 | #Constraints: 19722
766.85/769.69 c #Conflicts: 612000 | #Constraints: 20722
766.85/769.69 c #Conflicts: 613000 | #Constraints: 21722
766.85/769.69 c #Conflicts: 614000 | #Constraints: 22722
766.85/769.69 c #Conflicts: 615000 | #Constraints: 23722
766.85/769.69 c #Conflicts: 616000 | #Constraints: 24722
766.85/769.69 c #Conflicts: 617000 | #Constraints: 25722
766.85/769.69 c #Conflicts: 618000 | #Constraints: 26722
766.85/769.69 c #Conflicts: 619000 | #Constraints: 27722
766.85/769.69 c #Conflicts: 620000 | #Constraints: 28722
766.85/769.69 c #Conflicts: 621000 | #Constraints: 29722
766.85/769.69 c #Conflicts: 622000 | #Constraints: 30722
766.85/769.69 c #Conflicts: 623000 | #Constraints: 31722
766.85/769.69 c INPROCESSING
766.85/769.69 c GARBAGE COLLECT
766.85/769.69 c #Conflicts: 624000 | #Constraints: 17120
766.85/769.69 c #Conflicts: 625000 | #Constraints: 18120
766.85/769.69 c #Conflicts: 626000 | #Constraints: 19120
766.85/769.69 c #Conflicts: 627000 | #Constraints: 20120
766.85/769.69 c #Conflicts: 628000 | #Constraints: 21120
766.85/769.69 c #Conflicts: 629000 | #Constraints: 22120
766.85/769.69 c #Conflicts: 630000 | #Constraints: 23120
766.85/769.69 c #Conflicts: 631000 | #Constraints: 24120
766.85/769.69 c #Conflicts: 632000 | #Constraints: 25120
766.85/769.69 c #Conflicts: 633000 | #Constraints: 26120
766.85/769.69 c #Conflicts: 634000 | #Constraints: 27120
766.85/769.69 c #Conflicts: 635000 | #Constraints: 28120
766.85/769.69 c #Conflicts: 636000 | #Constraints: 29120
766.85/769.69 c #Conflicts: 637000 | #Constraints: 30120
766.85/769.69 c #Conflicts: 638000 | #Constraints: 31120
766.85/769.69 c #Conflicts: 639000 | #Constraints: 32120
766.85/769.69 c INPROCESSING
766.85/769.69 c GARBAGE COLLECT
766.85/769.69 c #Conflicts: 640000 | #Constraints: 17303
766.85/769.69 c #Conflicts: 641000 | #Constraints: 18303
766.85/769.69 c #Conflicts: 642000 | #Constraints: 19303
766.85/769.69 c #Conflicts: 643000 | #Constraints: 20303
766.85/769.69 c #Conflicts: 644000 | #Constraints: 21303
766.85/769.69 c #Conflicts: 645000 | #Constraints: 22303
766.85/769.69 c #Conflicts: 646000 | #Constraints: 23303
766.85/769.69 c #Conflicts: 647000 | #Constraints: 24303
766.85/769.69 c #Conflicts: 648000 | #Constraints: 25303
766.85/769.69 c #Conflicts: 649000 | #Constraints: 26303
766.85/769.69 c #Conflicts: 650000 | #Constraints: 27303
766.85/769.69 c #Conflicts: 651000 | #Constraints: 28303
766.85/769.69 c #Conflicts: 652000 | #Constraints: 29303
766.85/769.69 c #Conflicts: 653000 | #Constraints: 30303
766.85/769.69 c #Conflicts: 654000 | #Constraints: 31303
766.85/769.69 c #Conflicts: 655000 | #Constraints: 32303
766.85/769.69 c INPROCESSING
766.85/769.69 c GARBAGE COLLECT
766.85/769.69 c #Conflicts: 656000 | #Constraints: 17292
766.85/769.69 c #Conflicts: 657000 | #Constraints: 18292
766.85/769.69 c #Conflicts: 658000 | #Constraints: 19292
766.85/769.69 c #Conflicts: 659000 | #Constraints: 20292
766.85/769.69 c #Conflicts: 660000 | #Constraints: 21292
766.85/769.69 c #Conflicts: 661000 | #Constraints: 22292
766.85/769.69 c #Conflicts: 662000 | #Constraints: 23292
766.85/769.69 c #Conflicts: 663000 | #Constraints: 24292
766.85/769.69 c #Conflicts: 664000 | #Constraints: 25292
877.17/880.34 c #Conflicts: 665000 | #Constraints: 26292
877.17/880.34 c #Conflicts: 666000 | #Constraints: 27292
877.17/880.34 c #Conflicts: 667000 | #Constraints: 28292
877.17/880.34 c #Conflicts: 668000 | #Constraints: 29292
877.17/880.34 c #Conflicts: 669000 | #Constraints: 30292
877.17/880.34 c #Conflicts: 670000 | #Constraints: 31292
877.17/880.34 c #Conflicts: 671000 | #Constraints: 32292
877.17/880.34 c INPROCESSING
877.17/880.34 c GARBAGE COLLECT
877.17/880.34 c #Conflicts: 672000 | #Constraints: 17092
877.17/880.34 c #Conflicts: 673000 | #Constraints: 18092
877.17/880.34 c #Conflicts: 674000 | #Constraints: 19092
877.17/880.34 c #Conflicts: 675000 | #Constraints: 20092
877.17/880.34 c #Conflicts: 676000 | #Constraints: 21092
877.17/880.34 c #Conflicts: 677000 | #Constraints: 22092
877.17/880.34 c #Conflicts: 678000 | #Constraints: 23092
877.17/880.34 c #Conflicts: 679000 | #Constraints: 24092
877.17/880.34 c #Conflicts: 680000 | #Constraints: 25092
877.17/880.34 c #Conflicts: 681000 | #Constraints: 26092
877.17/880.34 c #Conflicts: 682000 | #Constraints: 27092
877.17/880.34 c #Conflicts: 683000 | #Constraints: 28092
877.17/880.34 c #Conflicts: 684000 | #Constraints: 29092
877.17/880.34 c #Conflicts: 685000 | #Constraints: 30092
877.17/880.34 c #Conflicts: 686000 | #Constraints: 31092
877.17/880.34 c #Conflicts: 687000 | #Constraints: 32092
877.17/880.34 c #Conflicts: 688000 | #Constraints: 33092
877.17/880.34 c INPROCESSING
877.17/880.34 c GARBAGE COLLECT
877.17/880.34 c #Conflicts: 689000 | #Constraints: 17708
877.17/880.34 c #Conflicts: 690000 | #Constraints: 18708
877.17/880.34 c #Conflicts: 691000 | #Constraints: 19708
877.17/880.34 c #Conflicts: 692000 | #Constraints: 20708
877.17/880.34 c #Conflicts: 693000 | #Constraints: 21708
877.17/880.34 c #Conflicts: 694000 | #Constraints: 22708
877.17/880.34 c #Conflicts: 695000 | #Constraints: 23708
877.17/880.34 c #Conflicts: 696000 | #Constraints: 24708
877.17/880.34 c #Conflicts: 697000 | #Constraints: 25708
877.17/880.34 c #Conflicts: 698000 | #Constraints: 26708
877.17/880.34 c #Conflicts: 699000 | #Constraints: 27708
877.17/880.34 c #Conflicts: 700000 | #Constraints: 28708
877.17/880.34 c #Conflicts: 701000 | #Constraints: 29708
877.17/880.34 c #Conflicts: 702000 | #Constraints: 30708
877.17/880.34 c #Conflicts: 703000 | #Constraints: 31708
877.17/880.34 c #Conflicts: 704000 | #Constraints: 32708
877.17/880.34 c #Conflicts: 705000 | #Constraints: 33708
877.17/880.34 c INPROCESSING
877.17/880.34 c GARBAGE COLLECT
877.17/880.34 c #Conflicts: 706000 | #Constraints: 18118
877.17/880.34 c #Conflicts: 707000 | #Constraints: 19118
877.17/880.34 c #Conflicts: 708000 | #Constraints: 20118
877.17/880.34 c #Conflicts: 709000 | #Constraints: 21118
877.17/880.34 c #Conflicts: 710000 | #Constraints: 22118
877.17/880.34 c #Conflicts: 711000 | #Constraints: 23118
877.17/880.34 c #Conflicts: 712000 | #Constraints: 24118
877.17/880.34 c #Conflicts: 713000 | #Constraints: 25118
877.17/880.34 c #Conflicts: 714000 | #Constraints: 26118
877.17/880.34 c #Conflicts: 715000 | #Constraints: 27118
877.17/880.34 c #Conflicts: 716000 | #Constraints: 28118
877.17/880.34 c #Conflicts: 717000 | #Constraints: 29118
877.17/880.34 c #Conflicts: 718000 | #Constraints: 30118
877.17/880.34 c #Conflicts: 719000 | #Constraints: 31118
877.17/880.34 c #Conflicts: 720000 | #Constraints: 32118
877.17/880.34 c #Conflicts: 721000 | #Constraints: 33118
877.17/880.34 c #Conflicts: 722000 | #Constraints: 34118
877.17/880.34 c INPROCESSING
877.17/880.34 c GARBAGE COLLECT
877.17/880.34 c #Conflicts: 723000 | #Constraints: 18323
877.17/880.34 c #Conflicts: 724000 | #Constraints: 19323
877.17/880.34 c #Conflicts: 725000 | #Constraints: 20323
877.17/880.34 c #Conflicts: 726000 | #Constraints: 21323
877.17/880.34 c #Conflicts: 727000 | #Constraints: 22323
877.17/880.34 c #Conflicts: 728000 | #Constraints: 23323
877.17/880.34 c #Conflicts: 729000 | #Constraints: 24323
877.17/880.34 c #Conflicts: 730000 | #Constraints: 25323
877.17/880.34 c #Conflicts: 731000 | #Constraints: 26323
877.17/880.34 c #Conflicts: 732000 | #Constraints: 27323
877.17/880.34 c #Conflicts: 733000 | #Constraints: 28323
877.17/880.34 c #Conflicts: 734000 | #Constraints: 29323
877.17/880.34 c #Conflicts: 735000 | #Constraints: 30323
877.17/880.34 c #Conflicts: 736000 | #Constraints: 31323
877.17/880.34 c #Conflicts: 737000 | #Constraints: 32323
877.17/880.34 c #Conflicts: 738000 | #Constraints: 33323
877.17/880.34 c #Conflicts: 739000 | #Constraints: 34323
877.17/880.34 c INPROCESSING
877.17/880.34 c GARBAGE COLLECT
1003.13/1006.77 c #Conflicts: 740000 | #Constraints: 18321
1003.13/1006.77 c #Conflicts: 741000 | #Constraints: 19321
1003.13/1006.77 c #Conflicts: 742000 | #Constraints: 20321
1003.13/1006.77 c #Conflicts: 743000 | #Constraints: 21321
1003.13/1006.77 c #Conflicts: 744000 | #Constraints: 22321
1003.13/1006.77 c #Conflicts: 745000 | #Constraints: 23321
1003.13/1006.77 c #Conflicts: 746000 | #Constraints: 24321
1003.13/1006.77 c #Conflicts: 747000 | #Constraints: 25321
1003.13/1006.77 c #Conflicts: 748000 | #Constraints: 26321
1003.13/1006.77 c #Conflicts: 749000 | #Constraints: 27321
1003.13/1006.77 c #Conflicts: 750000 | #Constraints: 28321
1003.13/1006.77 c #Conflicts: 751000 | #Constraints: 29321
1003.13/1006.77 c #Conflicts: 752000 | #Constraints: 30321
1003.13/1006.77 c #Conflicts: 753000 | #Constraints: 31321
1003.13/1006.77 c #Conflicts: 754000 | #Constraints: 32321
1003.13/1006.77 c #Conflicts: 755000 | #Constraints: 33321
1003.13/1006.77 c #Conflicts: 756000 | #Constraints: 34321
1003.13/1006.77 c INPROCESSING
1003.13/1006.77 c GARBAGE COLLECT
1003.13/1006.77 c #Conflicts: 757000 | #Constraints: 18119
1003.13/1006.77 c #Conflicts: 758000 | #Constraints: 19119
1003.13/1006.77 c #Conflicts: 759000 | #Constraints: 20119
1003.13/1006.77 c #Conflicts: 760000 | #Constraints: 21119
1003.13/1006.77 c #Conflicts: 761000 | #Constraints: 22119
1003.13/1006.77 c #Conflicts: 762000 | #Constraints: 23119
1003.13/1006.77 c #Conflicts: 763000 | #Constraints: 24119
1003.13/1006.77 c #Conflicts: 764000 | #Constraints: 25119
1003.13/1006.77 c #Conflicts: 765000 | #Constraints: 26119
1003.13/1006.77 c #Conflicts: 766000 | #Constraints: 27119
1003.13/1006.77 c #Conflicts: 767000 | #Constraints: 28119
1003.13/1006.77 c #Conflicts: 768000 | #Constraints: 29119
1003.13/1006.77 c #Conflicts: 769000 | #Constraints: 30119
1003.13/1006.77 c #Conflicts: 770000 | #Constraints: 31119
1003.13/1006.77 c #Conflicts: 771000 | #Constraints: 32119
1003.13/1006.77 c #Conflicts: 772000 | #Constraints: 33119
1003.13/1006.77 c #Conflicts: 773000 | #Constraints: 34119
1003.13/1006.77 c #Conflicts: 774000 | #Constraints: 35119
1003.13/1006.77 c INPROCESSING
1003.13/1006.77 c GARBAGE COLLECT
1003.13/1006.77 c #Conflicts: 775000 | #Constraints: 18710
1003.13/1006.77 c #Conflicts: 776000 | #Constraints: 19710
1003.13/1006.77 c #Conflicts: 777000 | #Constraints: 20710
1003.13/1006.77 c #Conflicts: 778000 | #Constraints: 21710
1003.13/1006.77 c #Conflicts: 779000 | #Constraints: 22710
1003.13/1006.77 c #Conflicts: 780000 | #Constraints: 23710
1003.13/1006.77 c #Conflicts: 781000 | #Constraints: 24710
1003.13/1006.77 c #Conflicts: 782000 | #Constraints: 25710
1003.13/1006.77 c #Conflicts: 783000 | #Constraints: 26710
1003.13/1006.77 c #Conflicts: 784000 | #Constraints: 27710
1003.13/1006.77 c #Conflicts: 785000 | #Constraints: 28710
1003.13/1006.77 c #Conflicts: 786000 | #Constraints: 29710
1003.13/1006.77 c #Conflicts: 787000 | #Constraints: 30710
1003.13/1006.77 c #Conflicts: 788000 | #Constraints: 31710
1003.13/1006.77 c #Conflicts: 789000 | #Constraints: 32710
1003.13/1006.77 c #Conflicts: 790000 | #Constraints: 33710
1003.13/1006.77 c #Conflicts: 791000 | #Constraints: 34710
1003.13/1006.77 c #Conflicts: 792000 | #Constraints: 35710
1003.13/1006.77 c INPROCESSING
1003.13/1006.77 c GARBAGE COLLECT
1003.13/1006.77 c #Conflicts: 793000 | #Constraints: 19118
1003.13/1006.77 c #Conflicts: 794000 | #Constraints: 20118
1003.13/1006.77 c #Conflicts: 795000 | #Constraints: 21118
1003.13/1006.77 c #Conflicts: 796000 | #Constraints: 22118
1003.13/1006.77 c #Conflicts: 797000 | #Constraints: 23118
1003.13/1006.77 c #Conflicts: 798000 | #Constraints: 24118
1003.13/1006.77 c #Conflicts: 799000 | #Constraints: 25118
1003.13/1006.77 c #Conflicts: 800000 | #Constraints: 26118
1003.13/1006.77 c #Conflicts: 801000 | #Constraints: 27118
1003.13/1006.77 c #Conflicts: 802000 | #Constraints: 28118
1003.13/1006.77 c #Conflicts: 803000 | #Constraints: 29118
1003.13/1006.77 c #Conflicts: 804000 | #Constraints: 30118
1003.13/1006.77 c #Conflicts: 805000 | #Constraints: 31118
1003.13/1006.77 c #Conflicts: 806000 | #Constraints: 32118
1003.13/1006.77 c #Conflicts: 807000 | #Constraints: 33118
1003.13/1006.77 c #Conflicts: 808000 | #Constraints: 34118
1003.13/1006.77 c #Conflicts: 809000 | #Constraints: 35118
1003.13/1006.77 c #Conflicts: 810000 | #Constraints: 36118
1003.13/1006.77 c INPROCESSING
1003.13/1006.77 c GARBAGE COLLECT
1003.13/1006.77 c #Conflicts: 811000 | #Constraints: 19319
1003.13/1006.77 c #Conflicts: 812000 | #Constraints: 20319
1003.13/1006.77 c #Conflicts: 813000 | #Constraints: 21319
1003.13/1006.77 c #Conflicts: 814000 | #Constraints: 22319
1003.13/1006.77 c #Conflicts: 815000 | #Constraints: 23319
1003.13/1006.77 c #Conflicts: 816000 | #Constraints: 24319
1126.21/1130.24 c #Conflicts: 817000 | #Constraints: 25319
1126.21/1130.24 c #Conflicts: 818000 | #Constraints: 26319
1126.21/1130.24 c #Conflicts: 819000 | #Constraints: 27319
1126.21/1130.24 c #Conflicts: 820000 | #Constraints: 28319
1126.21/1130.24 c #Conflicts: 821000 | #Constraints: 29319
1126.21/1130.24 c #Conflicts: 822000 | #Constraints: 30319
1126.21/1130.24 c #Conflicts: 823000 | #Constraints: 31319
1126.21/1130.24 c #Conflicts: 824000 | #Constraints: 32319
1126.21/1130.24 c #Conflicts: 825000 | #Constraints: 33319
1126.21/1130.24 c #Conflicts: 826000 | #Constraints: 34319
1126.21/1130.24 c #Conflicts: 827000 | #Constraints: 35319
1126.21/1130.24 c #Conflicts: 828000 | #Constraints: 36319
1126.21/1130.24 c INPROCESSING
1126.21/1130.24 c GARBAGE COLLECT
1126.21/1130.24 c #Conflicts: 829000 | #Constraints: 19321
1126.21/1130.24 c #Conflicts: 830000 | #Constraints: 20321
1126.21/1130.24 c #Conflicts: 831000 | #Constraints: 21321
1126.21/1130.24 c #Conflicts: 832000 | #Constraints: 22321
1126.21/1130.24 c #Conflicts: 833000 | #Constraints: 23321
1126.21/1130.24 c #Conflicts: 834000 | #Constraints: 24321
1126.21/1130.24 c #Conflicts: 835000 | #Constraints: 25321
1126.21/1130.24 c #Conflicts: 836000 | #Constraints: 26321
1126.21/1130.24 c #Conflicts: 837000 | #Constraints: 27321
1126.21/1130.24 c #Conflicts: 838000 | #Constraints: 28321
1126.21/1130.24 c #Conflicts: 839000 | #Constraints: 29321
1126.21/1130.24 c #Conflicts: 840000 | #Constraints: 30321
1126.21/1130.24 c #Conflicts: 841000 | #Constraints: 31321
1126.21/1130.24 c #Conflicts: 842000 | #Constraints: 32321
1126.21/1130.24 c #Conflicts: 843000 | #Constraints: 33321
1126.21/1130.24 c #Conflicts: 844000 | #Constraints: 34321
1126.21/1130.24 c #Conflicts: 845000 | #Constraints: 35321
1126.21/1130.24 c #Conflicts: 846000 | #Constraints: 36321
1126.21/1130.24 c INPROCESSING
1126.21/1130.24 c GARBAGE COLLECT
1126.21/1130.24 c #Conflicts: 847000 | #Constraints: 19131
1126.21/1130.24 c #Conflicts: 848000 | #Constraints: 20131
1126.21/1130.24 c #Conflicts: 849000 | #Constraints: 21131
1126.21/1130.24 c #Conflicts: 850000 | #Constraints: 22131
1126.21/1130.24 c #Conflicts: 851000 | #Constraints: 23131
1126.21/1130.24 c #Conflicts: 852000 | #Constraints: 24131
1126.21/1130.24 c #Conflicts: 853000 | #Constraints: 25131
1126.21/1130.24 c #Conflicts: 854000 | #Constraints: 26131
1126.21/1130.24 c #Conflicts: 855000 | #Constraints: 27131
1126.21/1130.24 c #Conflicts: 856000 | #Constraints: 28131
1126.21/1130.24 c #Conflicts: 857000 | #Constraints: 29131
1126.21/1130.24 c #Conflicts: 858000 | #Constraints: 30131
1126.21/1130.24 c #Conflicts: 859000 | #Constraints: 31131
1126.21/1130.24 c #Conflicts: 860000 | #Constraints: 32131
1126.21/1130.24 c #Conflicts: 861000 | #Constraints: 33131
1126.21/1130.24 c #Conflicts: 862000 | #Constraints: 34131
1126.21/1130.24 c #Conflicts: 863000 | #Constraints: 35131
1126.21/1130.24 c #Conflicts: 864000 | #Constraints: 36131
1126.21/1130.24 c #Conflicts: 865000 | #Constraints: 37131
1126.21/1130.24 c INPROCESSING
1126.21/1130.24 c GARBAGE COLLECT
1126.21/1130.24 c #Conflicts: 866000 | #Constraints: 19726
1126.21/1130.24 c #Conflicts: 867000 | #Constraints: 20726
1126.21/1130.24 c #Conflicts: 868000 | #Constraints: 21726
1126.21/1130.24 c #Conflicts: 869000 | #Constraints: 22726
1126.21/1130.24 c #Conflicts: 870000 | #Constraints: 23726
1126.21/1130.24 c #Conflicts: 871000 | #Constraints: 24726
1126.21/1130.24 c #Conflicts: 872000 | #Constraints: 25726
1126.21/1130.24 c #Conflicts: 873000 | #Constraints: 26726
1126.21/1130.24 c #Conflicts: 874000 | #Constraints: 27726
1126.21/1130.24 c #Conflicts: 875000 | #Constraints: 28726
1126.21/1130.24 c #Conflicts: 876000 | #Constraints: 29726
1126.21/1130.24 c #Conflicts: 877000 | #Constraints: 30726
1126.21/1130.24 c #Conflicts: 878000 | #Constraints: 31726
1126.21/1130.24 c #Conflicts: 879000 | #Constraints: 32726
1126.21/1130.24 c #Conflicts: 880000 | #Constraints: 33726
1126.21/1130.24 c #Conflicts: 881000 | #Constraints: 34726
1126.21/1130.24 c #Conflicts: 882000 | #Constraints: 35726
1126.21/1130.24 c #Conflicts: 883000 | #Constraints: 36726
1126.21/1130.24 c #Conflicts: 884000 | #Constraints: 37726
1126.21/1130.24 c INPROCESSING
1126.21/1130.24 c GARBAGE COLLECT
1126.21/1130.24 c #Conflicts: 885000 | #Constraints: 20136
1126.21/1130.24 c #Conflicts: 886000 | #Constraints: 21136
1126.21/1130.24 c #Conflicts: 887000 | #Constraints: 22136
1126.21/1130.24 c #Conflicts: 888000 | #Constraints: 23136
1126.21/1130.24 c #Conflicts: 889000 | #Constraints: 24136
1126.21/1130.24 c #Conflicts: 890000 | #Constraints: 25136
1126.21/1130.24 c #Conflicts: 891000 | #Constraints: 26136
1126.21/1130.24 c #Conflicts: 892000 | #Constraints: 27136
1250.98/1255.47 c #Conflicts: 893000 | #Constraints: 28136
1250.98/1255.47 c #Conflicts: 894000 | #Constraints: 29136
1250.98/1255.47 c #Conflicts: 895000 | #Constraints: 30136
1250.98/1255.47 c #Conflicts: 896000 | #Constraints: 31136
1250.98/1255.47 c #Conflicts: 897000 | #Constraints: 32136
1250.98/1255.47 c #Conflicts: 898000 | #Constraints: 33136
1250.98/1255.47 c #Conflicts: 899000 | #Constraints: 34136
1250.98/1255.47 c #Conflicts: 900000 | #Constraints: 35136
1250.98/1255.47 c #Conflicts: 901000 | #Constraints: 36136
1250.98/1255.47 c #Conflicts: 902000 | #Constraints: 37136
1250.98/1255.47 c #Conflicts: 903000 | #Constraints: 38136
1250.98/1255.47 c INPROCESSING
1250.98/1255.47 c GARBAGE COLLECT
1250.98/1255.47 c #Conflicts: 904000 | #Constraints: 20344
1250.98/1255.47 c #Conflicts: 905000 | #Constraints: 21344
1250.98/1255.47 c #Conflicts: 906000 | #Constraints: 22344
1250.98/1255.47 c #Conflicts: 907000 | #Constraints: 23344
1250.98/1255.47 c #Conflicts: 908000 | #Constraints: 24344
1250.98/1255.47 c #Conflicts: 909000 | #Constraints: 25344
1250.98/1255.47 c #Conflicts: 910000 | #Constraints: 26344
1250.98/1255.47 c #Conflicts: 911000 | #Constraints: 27344
1250.98/1255.47 c #Conflicts: 912000 | #Constraints: 28344
1250.98/1255.47 c #Conflicts: 913000 | #Constraints: 29344
1250.98/1255.47 c #Conflicts: 914000 | #Constraints: 30344
1250.98/1255.47 c #Conflicts: 915000 | #Constraints: 31344
1250.98/1255.47 c #Conflicts: 916000 | #Constraints: 32344
1250.98/1255.47 c #Conflicts: 917000 | #Constraints: 33344
1250.98/1255.47 c #Conflicts: 918000 | #Constraints: 34344
1250.98/1255.47 c #Conflicts: 919000 | #Constraints: 35344
1250.98/1255.47 c #Conflicts: 920000 | #Constraints: 36344
1250.98/1255.47 c #Conflicts: 921000 | #Constraints: 37344
1250.98/1255.47 c #Conflicts: 922000 | #Constraints: 38344
1250.98/1255.47 c INPROCESSING
1250.98/1255.47 c GARBAGE COLLECT
1250.98/1255.47 c #Conflicts: 923000 | #Constraints: 20333
1250.98/1255.47 c #Conflicts: 924000 | #Constraints: 21333
1250.98/1255.47 c #Conflicts: 925000 | #Constraints: 22333
1250.98/1255.47 c #Conflicts: 926000 | #Constraints: 23333
1250.98/1255.47 c #Conflicts: 927000 | #Constraints: 24333
1250.98/1255.47 c #Conflicts: 928000 | #Constraints: 25333
1250.98/1255.47 c #Conflicts: 929000 | #Constraints: 26333
1250.98/1255.47 c #Conflicts: 930000 | #Constraints: 27333
1250.98/1255.47 c #Conflicts: 931000 | #Constraints: 28333
1250.98/1255.47 c #Conflicts: 932000 | #Constraints: 29333
1250.98/1255.47 c #Conflicts: 933000 | #Constraints: 30333
1250.98/1255.47 c #Conflicts: 934000 | #Constraints: 31333
1250.98/1255.47 c #Conflicts: 935000 | #Constraints: 32333
1250.98/1255.47 c #Conflicts: 936000 | #Constraints: 33333
1250.98/1255.47 c #Conflicts: 937000 | #Constraints: 34333
1250.98/1255.47 c #Conflicts: 938000 | #Constraints: 35333
1250.98/1255.47 c #Conflicts: 939000 | #Constraints: 36333
1250.98/1255.47 c #Conflicts: 940000 | #Constraints: 37333
1250.98/1255.47 c #Conflicts: 941000 | #Constraints: 38333
1250.98/1255.47 c INPROCESSING
1250.98/1255.47 c GARBAGE COLLECT
1250.98/1255.47 c #Conflicts: 942000 | #Constraints: 20129
1250.98/1255.47 c #Conflicts: 943000 | #Constraints: 21129
1250.98/1255.47 c #Conflicts: 944000 | #Constraints: 22129
1250.98/1255.47 c #Conflicts: 945000 | #Constraints: 23129
1250.98/1255.47 c #Conflicts: 946000 | #Constraints: 24129
1250.98/1255.47 c #Conflicts: 947000 | #Constraints: 25129
1250.98/1255.47 c #Conflicts: 948000 | #Constraints: 26129
1250.98/1255.47 c #Conflicts: 949000 | #Constraints: 27129
1250.98/1255.47 c #Conflicts: 950000 | #Constraints: 28129
1250.98/1255.47 c #Conflicts: 951000 | #Constraints: 29129
1250.98/1255.47 c #Conflicts: 952000 | #Constraints: 30129
1250.98/1255.47 c #Conflicts: 953000 | #Constraints: 31129
1250.98/1255.47 c #Conflicts: 954000 | #Constraints: 32129
1250.98/1255.47 c #Conflicts: 955000 | #Constraints: 33129
1250.98/1255.47 c #Conflicts: 956000 | #Constraints: 34129
1250.98/1255.47 c #Conflicts: 957000 | #Constraints: 35129
1250.98/1255.47 c #Conflicts: 958000 | #Constraints: 36129
1250.98/1255.47 c #Conflicts: 959000 | #Constraints: 37129
1250.98/1255.47 c #Conflicts: 960000 | #Constraints: 38129
1250.98/1255.47 c #Conflicts: 961000 | #Constraints: 39129
1250.98/1255.47 c INPROCESSING
1250.98/1255.47 c GARBAGE COLLECT
1250.98/1255.47 c #Conflicts: 962000 | #Constraints: 20701
1250.98/1255.47 c #Conflicts: 963000 | #Constraints: 21701
1250.98/1255.47 c #Conflicts: 964000 | #Constraints: 22701
1250.98/1255.47 c #Conflicts: 965000 | #Constraints: 23701
1250.98/1255.47 c #Conflicts: 966000 | #Constraints: 24701
1250.98/1255.47 c #Conflicts: 967000 | #Constraints: 25701
1250.98/1255.47 c #Conflicts: 968000 | #Constraints: 26701
1351.14/1355.99 c #Conflicts: 969000 | #Constraints: 27701
1351.14/1355.99 c #Conflicts: 970000 | #Constraints: 28701
1351.14/1355.99 c #Conflicts: 971000 | #Constraints: 29701
1351.14/1355.99 c #Conflicts: 972000 | #Constraints: 30701
1351.14/1355.99 c #Conflicts: 973000 | #Constraints: 31701
1351.14/1355.99 c #Conflicts: 974000 | #Constraints: 32701
1351.14/1355.99 c #Conflicts: 975000 | #Constraints: 33701
1351.14/1355.99 c #Conflicts: 976000 | #Constraints: 34701
1351.14/1355.99 c #Conflicts: 977000 | #Constraints: 35701
1351.14/1355.99 c #Conflicts: 978000 | #Constraints: 36701
1351.14/1355.99 c #Conflicts: 979000 | #Constraints: 37701
1351.14/1355.99 c #Conflicts: 980000 | #Constraints: 38701
1351.14/1355.99 c #Conflicts: 981000 | #Constraints: 39701
1351.14/1355.99 c INPROCESSING
1351.14/1355.99 c GARBAGE COLLECT
1351.14/1355.99 c #Conflicts: 982000 | #Constraints: 21105
1351.14/1355.99 c #Conflicts: 983000 | #Constraints: 22105
1351.14/1355.99 c #Conflicts: 984000 | #Constraints: 23105
1351.14/1355.99 c #Conflicts: 985000 | #Constraints: 24105
1351.14/1355.99 c #Conflicts: 986000 | #Constraints: 25105
1351.14/1355.99 c #Conflicts: 987000 | #Constraints: 26105
1351.14/1355.99 c #Conflicts: 988000 | #Constraints: 27105
1351.14/1355.99 c #Conflicts: 989000 | #Constraints: 28105
1351.14/1355.99 c #Conflicts: 990000 | #Constraints: 29105
1351.14/1355.99 c #Conflicts: 991000 | #Constraints: 30105
1351.14/1355.99 c #Conflicts: 992000 | #Constraints: 31105
1351.14/1355.99 c #Conflicts: 993000 | #Constraints: 32105
1351.14/1355.99 c #Conflicts: 994000 | #Constraints: 33105
1351.14/1355.99 c #Conflicts: 995000 | #Constraints: 34105
1351.14/1355.99 c #Conflicts: 996000 | #Constraints: 35105
1351.14/1355.99 c #Conflicts: 997000 | #Constraints: 36105
1351.14/1355.99 c #Conflicts: 998000 | #Constraints: 37105
1351.14/1355.99 c #Conflicts: 999000 | #Constraints: 38105
1351.14/1355.99 c #Conflicts: 1000000 | #Constraints: 39105
1351.14/1355.99 c #Conflicts: 1001000 | #Constraints: 40105
1351.14/1355.99 c INPROCESSING
1351.14/1355.99 c GARBAGE COLLECT
1351.14/1355.99 c #Conflicts: 1002000 | #Constraints: 21311
1351.14/1355.99 c #Conflicts: 1003000 | #Constraints: 22311
1351.14/1355.99 c #Conflicts: 1004000 | #Constraints: 23311
1351.14/1355.99 c #Conflicts: 1005000 | #Constraints: 24311
1351.14/1355.99 c #Conflicts: 1006000 | #Constraints: 25311
1351.14/1355.99 c #Conflicts: 1007000 | #Constraints: 26311
1351.14/1355.99 c #Conflicts: 1008000 | #Constraints: 27311
1351.14/1355.99 c #Conflicts: 1009000 | #Constraints: 28311
1351.14/1355.99 c #Conflicts: 1010000 | #Constraints: 29311
1351.14/1355.99 c #Conflicts: 1011000 | #Constraints: 30311
1351.14/1355.99 c #Conflicts: 1012000 | #Constraints: 31311
1351.14/1355.99 c #Conflicts: 1013000 | #Constraints: 32311
1351.14/1355.99 c #Conflicts: 1014000 | #Constraints: 33311
1351.14/1355.99 c #Conflicts: 1015000 | #Constraints: 34311
1351.14/1355.99 c #Conflicts: 1016000 | #Constraints: 35311
1351.14/1355.99 c #Conflicts: 1017000 | #Constraints: 36311
1351.14/1355.99 c #Conflicts: 1018000 | #Constraints: 37311
1351.14/1355.99 c #Conflicts: 1019000 | #Constraints: 38311
1351.14/1355.99 c #Conflicts: 1020000 | #Constraints: 39311
1351.14/1355.99 c #Conflicts: 1021000 | #Constraints: 40311
1351.14/1355.99 c INPROCESSING
1351.14/1355.99 c GARBAGE COLLECT
1351.14/1355.99 c #Conflicts: 1022000 | #Constraints: 21314
1351.14/1355.99 c #Conflicts: 1023000 | #Constraints: 22314
1351.14/1355.99 c #Conflicts: 1024000 | #Constraints: 23314
1351.14/1355.99 c #Conflicts: 1025000 | #Constraints: 24314
1351.14/1355.99 c #Conflicts: 1026000 | #Constraints: 25314
1351.14/1355.99 c #Conflicts: 1027000 | #Constraints: 26314
1351.14/1355.99 c #Conflicts: 1028000 | #Constraints: 27314
1351.14/1355.99 c #Conflicts: 1029000 | #Constraints: 28314
1351.14/1355.99 c #Conflicts: 1030000 | #Constraints: 29314
1351.14/1355.99 c #Conflicts: 1031000 | #Constraints: 30314
1351.14/1355.99 c #Conflicts: 1032000 | #Constraints: 31314
1351.14/1355.99 c #Conflicts: 1033000 | #Constraints: 32314
1351.14/1355.99 c #Conflicts: 1034000 | #Constraints: 33314
1351.14/1355.99 c #Conflicts: 1035000 | #Constraints: 34314
1351.14/1355.99 c #Conflicts: 1036000 | #Constraints: 35314
1351.14/1355.99 c #Conflicts: 1037000 | #Constraints: 36314
1351.14/1355.99 c #Conflicts: 1038000 | #Constraints: 37314
1351.14/1355.99 c #Conflicts: 1039000 | #Constraints: 38314
1351.14/1355.99 c #Conflicts: 1040000 | #Constraints: 39314
1351.14/1355.99 c #Conflicts: 1041000 | #Constraints: 40314
1351.14/1355.99 c INPROCESSING
1351.14/1355.99 c GARBAGE COLLECT
1351.14/1355.99 c #Conflicts: 1042000 | #Constraints: 21114
1351.14/1355.99 c #Conflicts: 1043000 | #Constraints: 22114
1351.14/1355.99 c #Conflicts: 1044000 | #Constraints: 23114
1452.38/1457.56 c #Conflicts: 1045000 | #Constraints: 24114
1452.38/1457.56 c #Conflicts: 1046000 | #Constraints: 25114
1452.38/1457.56 c #Conflicts: 1047000 | #Constraints: 26114
1452.38/1457.56 c #Conflicts: 1048000 | #Constraints: 27114
1452.38/1457.56 c #Conflicts: 1049000 | #Constraints: 28114
1452.38/1457.56 c #Conflicts: 1050000 | #Constraints: 29114
1452.38/1457.56 c #Conflicts: 1051000 | #Constraints: 30114
1452.38/1457.56 c #Conflicts: 1052000 | #Constraints: 31114
1452.38/1457.56 c #Conflicts: 1053000 | #Constraints: 32114
1452.38/1457.56 c #Conflicts: 1054000 | #Constraints: 33114
1452.38/1457.56 c #Conflicts: 1055000 | #Constraints: 34114
1452.38/1457.56 c #Conflicts: 1056000 | #Constraints: 35114
1452.38/1457.56 c #Conflicts: 1057000 | #Constraints: 36114
1452.38/1457.56 c #Conflicts: 1058000 | #Constraints: 37114
1452.38/1457.56 c #Conflicts: 1059000 | #Constraints: 38114
1452.38/1457.56 c #Conflicts: 1060000 | #Constraints: 39114
1452.38/1457.56 c #Conflicts: 1061000 | #Constraints: 40114
1452.38/1457.56 c #Conflicts: 1062000 | #Constraints: 41114
1452.38/1457.56 c INPROCESSING
1452.38/1457.56 c GARBAGE COLLECT
1452.38/1457.56 c #Conflicts: 1063000 | #Constraints: 21714
1452.38/1457.56 c #Conflicts: 1064000 | #Constraints: 22714
1452.38/1457.56 c #Conflicts: 1065000 | #Constraints: 23714
1452.38/1457.56 c #Conflicts: 1066000 | #Constraints: 24714
1452.38/1457.56 c #Conflicts: 1067000 | #Constraints: 25714
1452.38/1457.56 c #Conflicts: 1068000 | #Constraints: 26714
1452.38/1457.56 c #Conflicts: 1069000 | #Constraints: 27714
1452.38/1457.56 c #Conflicts: 1070000 | #Constraints: 28714
1452.38/1457.56 c #Conflicts: 1071000 | #Constraints: 29714
1452.38/1457.56 c #Conflicts: 1072000 | #Constraints: 30714
1452.38/1457.56 c #Conflicts: 1073000 | #Constraints: 31714
1452.38/1457.56 c #Conflicts: 1074000 | #Constraints: 32714
1452.38/1457.56 c #Conflicts: 1075000 | #Constraints: 33714
1452.38/1457.56 c #Conflicts: 1076000 | #Constraints: 34714
1452.38/1457.56 c #Conflicts: 1077000 | #Constraints: 35714
1452.38/1457.56 c #Conflicts: 1078000 | #Constraints: 36714
1452.38/1457.56 c #Conflicts: 1079000 | #Constraints: 37714
1452.38/1457.56 c #Conflicts: 1080000 | #Constraints: 38714
1452.38/1457.56 c #Conflicts: 1081000 | #Constraints: 39714
1452.38/1457.56 c #Conflicts: 1082000 | #Constraints: 40714
1452.38/1457.56 c #Conflicts: 1083000 | #Constraints: 41714
1452.38/1457.56 c INPROCESSING
1452.38/1457.56 c GARBAGE COLLECT
1452.38/1457.56 c #Conflicts: 1084000 | #Constraints: 22126
1452.38/1457.56 c #Conflicts: 1085000 | #Constraints: 23126
1452.38/1457.56 c #Conflicts: 1086000 | #Constraints: 24126
1452.38/1457.56 c #Conflicts: 1087000 | #Constraints: 25126
1452.38/1457.56 c #Conflicts: 1088000 | #Constraints: 26126
1452.38/1457.56 c #Conflicts: 1089000 | #Constraints: 27126
1452.38/1457.56 c #Conflicts: 1090000 | #Constraints: 28126
1452.38/1457.56 c #Conflicts: 1091000 | #Constraints: 29126
1452.38/1457.56 c #Conflicts: 1092000 | #Constraints: 30126
1452.38/1457.56 c #Conflicts: 1093000 | #Constraints: 31126
1452.38/1457.56 c #Conflicts: 1094000 | #Constraints: 32126
1452.38/1457.56 c #Conflicts: 1095000 | #Constraints: 33126
1452.38/1457.56 c #Conflicts: 1096000 | #Constraints: 34126
1452.38/1457.56 c #Conflicts: 1097000 | #Constraints: 35126
1452.38/1457.56 c #Conflicts: 1098000 | #Constraints: 36126
1452.38/1457.56 c #Conflicts: 1099000 | #Constraints: 37126
1452.38/1457.56 c #Conflicts: 1100000 | #Constraints: 38126
1452.38/1457.56 c #Conflicts: 1101000 | #Constraints: 39126
1452.38/1457.56 c #Conflicts: 1102000 | #Constraints: 40126
1452.38/1457.56 c #Conflicts: 1103000 | #Constraints: 41126
1452.38/1457.56 c #Conflicts: 1104000 | #Constraints: 42126
1452.38/1457.56 c INPROCESSING
1452.38/1457.56 c GARBAGE COLLECT
1452.38/1457.56 c #Conflicts: 1105000 | #Constraints: 22304
1452.38/1457.56 c #Conflicts: 1106000 | #Constraints: 23304
1452.38/1457.56 c #Conflicts: 1107000 | #Constraints: 24304
1452.38/1457.56 c #Conflicts: 1108000 | #Constraints: 25304
1452.38/1457.56 c #Conflicts: 1109000 | #Constraints: 26304
1452.38/1457.56 c #Conflicts: 1110000 | #Constraints: 27304
1452.38/1457.56 c #Conflicts: 1111000 | #Constraints: 28304
1452.38/1457.56 c #Conflicts: 1112000 | #Constraints: 29304
1452.38/1457.56 c #Conflicts: 1113000 | #Constraints: 30304
1452.38/1457.56 c #Conflicts: 1114000 | #Constraints: 31304
1452.38/1457.56 c #Conflicts: 1115000 | #Constraints: 32304
1452.38/1457.56 c #Conflicts: 1116000 | #Constraints: 33304
1452.38/1457.56 c #Conflicts: 1117000 | #Constraints: 34304
1452.38/1457.56 c #Conflicts: 1118000 | #Constraints: 35304
1452.38/1457.56 c #Conflicts: 1119000 | #Constraints: 36304
1452.38/1457.56 c #Conflicts: 1120000 | #Constraints: 37304
1452.38/1457.56 c #Conflicts: 1121000 | #Constraints: 38304
1580.91/1586.49 c #Conflicts: 1122000 | #Constraints: 39304
1580.91/1586.49 c #Conflicts: 1123000 | #Constraints: 40304
1580.91/1586.49 c #Conflicts: 1124000 | #Constraints: 41304
1580.91/1586.49 c #Conflicts: 1125000 | #Constraints: 42304
1580.91/1586.49 c INPROCESSING
1580.91/1586.49 c GARBAGE COLLECT
1580.91/1586.49 c #Conflicts: 1126000 | #Constraints: 22310
1580.91/1586.49 c #Conflicts: 1127000 | #Constraints: 23310
1580.91/1586.49 c #Conflicts: 1128000 | #Constraints: 24310
1580.91/1586.49 c #Conflicts: 1129000 | #Constraints: 25310
1580.91/1586.49 c #Conflicts: 1130000 | #Constraints: 26310
1580.91/1586.49 c #Conflicts: 1131000 | #Constraints: 27310
1580.91/1586.49 c #Conflicts: 1132000 | #Constraints: 28310
1580.91/1586.49 c #Conflicts: 1133000 | #Constraints: 29310
1580.91/1586.49 c #Conflicts: 1134000 | #Constraints: 30310
1580.91/1586.49 c #Conflicts: 1135000 | #Constraints: 31310
1580.91/1586.49 c #Conflicts: 1136000 | #Constraints: 32310
1580.91/1586.49 c #Conflicts: 1137000 | #Constraints: 33310
1580.91/1586.49 c #Conflicts: 1138000 | #Constraints: 34310
1580.91/1586.49 c #Conflicts: 1139000 | #Constraints: 35310
1580.91/1586.49 c #Conflicts: 1140000 | #Constraints: 36310
1580.91/1586.49 c #Conflicts: 1141000 | #Constraints: 37310
1580.91/1586.49 c #Conflicts: 1142000 | #Constraints: 38310
1580.91/1586.49 c #Conflicts: 1143000 | #Constraints: 39310
1580.91/1586.49 c #Conflicts: 1144000 | #Constraints: 40310
1580.91/1586.49 c #Conflicts: 1145000 | #Constraints: 41310
1580.91/1586.49 c #Conflicts: 1146000 | #Constraints: 42310
1580.91/1586.49 c INPROCESSING
1580.91/1586.49 c GARBAGE COLLECT
1580.91/1586.49 c #Conflicts: 1147000 | #Constraints: 22095
1580.91/1586.49 c #Conflicts: 1148000 | #Constraints: 23095
1580.91/1586.49 c #Conflicts: 1149000 | #Constraints: 24095
1580.91/1586.49 c #Conflicts: 1150000 | #Constraints: 25095
1580.91/1586.49 c #Conflicts: 1151000 | #Constraints: 26095
1580.91/1586.49 c #Conflicts: 1152000 | #Constraints: 27095
1580.91/1586.49 c #Conflicts: 1153000 | #Constraints: 28095
1580.91/1586.49 c #Conflicts: 1154000 | #Constraints: 29095
1580.91/1586.49 c #Conflicts: 1155000 | #Constraints: 30095
1580.91/1586.49 c #Conflicts: 1156000 | #Constraints: 31095
1580.91/1586.49 c #Conflicts: 1157000 | #Constraints: 32095
1580.91/1586.49 c #Conflicts: 1158000 | #Constraints: 33095
1580.91/1586.49 c #Conflicts: 1159000 | #Constraints: 34095
1580.91/1586.49 c #Conflicts: 1160000 | #Constraints: 35095
1580.91/1586.49 c #Conflicts: 1161000 | #Constraints: 36095
1580.91/1586.49 c #Conflicts: 1162000 | #Constraints: 37095
1580.91/1586.49 c #Conflicts: 1163000 | #Constraints: 38095
1580.91/1586.49 c #Conflicts: 1164000 | #Constraints: 39095
1580.91/1586.49 c #Conflicts: 1165000 | #Constraints: 40095
1580.91/1586.49 c #Conflicts: 1166000 | #Constraints: 41095
1580.91/1586.49 c #Conflicts: 1167000 | #Constraints: 42095
1580.91/1586.49 c #Conflicts: 1168000 | #Constraints: 43095
1580.91/1586.49 c INPROCESSING
1580.91/1586.49 c GARBAGE COLLECT
1580.91/1586.49 c #Conflicts: 1169000 | #Constraints: 22703
1580.91/1586.49 c #Conflicts: 1170000 | #Constraints: 23703
1580.91/1586.49 c #Conflicts: 1171000 | #Constraints: 24703
1580.91/1586.49 c #Conflicts: 1172000 | #Constraints: 25703
1580.91/1586.49 c #Conflicts: 1173000 | #Constraints: 26703
1580.91/1586.49 c #Conflicts: 1174000 | #Constraints: 27703
1580.91/1586.49 c #Conflicts: 1175000 | #Constraints: 28703
1580.91/1586.49 c #Conflicts: 1176000 | #Constraints: 29703
1580.91/1586.49 c #Conflicts: 1177000 | #Constraints: 30703
1580.91/1586.49 c #Conflicts: 1178000 | #Constraints: 31703
1580.91/1586.49 c #Conflicts: 1179000 | #Constraints: 32703
1580.91/1586.49 c #Conflicts: 1180000 | #Constraints: 33703
1580.91/1586.49 c #Conflicts: 1181000 | #Constraints: 34703
1580.91/1586.49 c #Conflicts: 1182000 | #Constraints: 35703
1580.91/1586.49 c #Conflicts: 1183000 | #Constraints: 36703
1580.91/1586.49 c #Conflicts: 1184000 | #Constraints: 37703
1580.91/1586.49 c #Conflicts: 1185000 | #Constraints: 38703
1580.91/1586.49 c #Conflicts: 1186000 | #Constraints: 39703
1580.91/1586.49 c #Conflicts: 1187000 | #Constraints: 40703
1580.91/1586.49 c #Conflicts: 1188000 | #Constraints: 41703
1580.91/1586.49 c #Conflicts: 1189000 | #Constraints: 42703
1580.91/1586.49 c #Conflicts: 1190000 | #Constraints: 43703
1580.91/1586.49 c INPROCESSING
1580.91/1586.49 c GARBAGE COLLECT
1580.91/1586.49 c #Conflicts: 1191000 | #Constraints: 23102
1580.91/1586.49 c #Conflicts: 1192000 | #Constraints: 24102
1580.91/1586.49 c #Conflicts: 1193000 | #Constraints: 25102
1580.91/1586.49 c #Conflicts: 1194000 | #Constraints: 26102
1580.91/1586.49 c #Conflicts: 1195000 | #Constraints: 27102
1580.91/1586.49 c #Conflicts: 1196000 | #Constraints: 28102
1580.91/1586.49 c #Conflicts: 1197000 | #Constraints: 29102
1716.10/1722.02 c #Conflicts: 1198000 | #Constraints: 30102
1716.10/1722.02 c #Conflicts: 1199000 | #Constraints: 31102
1716.10/1722.02 c #Conflicts: 1200000 | #Constraints: 32102
1716.10/1722.02 c #Conflicts: 1201000 | #Constraints: 33102
1716.10/1722.02 c #Conflicts: 1202000 | #Constraints: 34102
1716.10/1722.02 c #Conflicts: 1203000 | #Constraints: 35102
1716.10/1722.02 c #Conflicts: 1204000 | #Constraints: 36102
1716.10/1722.02 c #Conflicts: 1205000 | #Constraints: 37102
1716.10/1722.02 c #Conflicts: 1206000 | #Constraints: 38102
1716.10/1722.02 c #Conflicts: 1207000 | #Constraints: 39102
1716.10/1722.02 c #Conflicts: 1208000 | #Constraints: 40102
1716.10/1722.02 c #Conflicts: 1209000 | #Constraints: 41102
1716.10/1722.02 c #Conflicts: 1210000 | #Constraints: 42102
1716.10/1722.02 c #Conflicts: 1211000 | #Constraints: 43102
1716.10/1722.02 c #Conflicts: 1212000 | #Constraints: 44102
1716.10/1722.02 c INPROCESSING
1716.10/1722.02 c GARBAGE COLLECT
1716.10/1722.02 c #Conflicts: 1213000 | #Constraints: 23311
1716.10/1722.02 c #Conflicts: 1214000 | #Constraints: 24311
1716.10/1722.02 c #Conflicts: 1215000 | #Constraints: 25311
1716.10/1722.02 c #Conflicts: 1216000 | #Constraints: 26311
1716.10/1722.02 c #Conflicts: 1217000 | #Constraints: 27311
1716.10/1722.02 c #Conflicts: 1218000 | #Constraints: 28311
1716.10/1722.02 c #Conflicts: 1219000 | #Constraints: 29311
1716.10/1722.02 c #Conflicts: 1220000 | #Constraints: 30311
1716.10/1722.02 c #Conflicts: 1221000 | #Constraints: 31311
1716.10/1722.02 c #Conflicts: 1222000 | #Constraints: 32311
1716.10/1722.02 c #Conflicts: 1223000 | #Constraints: 33311
1716.10/1722.02 c #Conflicts: 1224000 | #Constraints: 34311
1716.10/1722.02 c #Conflicts: 1225000 | #Constraints: 35311
1716.10/1722.02 c #Conflicts: 1226000 | #Constraints: 36311
1716.10/1722.02 c #Conflicts: 1227000 | #Constraints: 37311
1716.10/1722.02 c #Conflicts: 1228000 | #Constraints: 38311
1716.10/1722.02 c #Conflicts: 1229000 | #Constraints: 39311
1716.10/1722.02 c #Conflicts: 1230000 | #Constraints: 40311
1716.10/1722.02 c #Conflicts: 1231000 | #Constraints: 41311
1716.10/1722.02 c #Conflicts: 1232000 | #Constraints: 42311
1716.10/1722.02 c #Conflicts: 1233000 | #Constraints: 43311
1716.10/1722.02 c #Conflicts: 1234000 | #Constraints: 44311
1716.10/1722.02 c INPROCESSING
1716.10/1722.02 c GARBAGE COLLECT
1716.10/1722.02 c #Conflicts: 1235000 | #Constraints: 23322
1716.10/1722.02 c #Conflicts: 1236000 | #Constraints: 24322
1716.10/1722.02 c #Conflicts: 1237000 | #Constraints: 25322
1716.10/1722.02 c #Conflicts: 1238000 | #Constraints: 26322
1716.10/1722.02 c #Conflicts: 1239000 | #Constraints: 27322
1716.10/1722.02 c #Conflicts: 1240000 | #Constraints: 28322
1716.10/1722.02 c #Conflicts: 1241000 | #Constraints: 29322
1716.10/1722.02 c #Conflicts: 1242000 | #Constraints: 30322
1716.10/1722.02 c #Conflicts: 1243000 | #Constraints: 31322
1716.10/1722.02 c #Conflicts: 1244000 | #Constraints: 32322
1716.10/1722.02 c #Conflicts: 1245000 | #Constraints: 33322
1716.10/1722.02 c #Conflicts: 1246000 | #Constraints: 34322
1716.10/1722.02 c #Conflicts: 1247000 | #Constraints: 35322
1716.10/1722.02 c #Conflicts: 1248000 | #Constraints: 36322
1716.10/1722.02 c #Conflicts: 1249000 | #Constraints: 37322
1716.10/1722.02 c #Conflicts: 1250000 | #Constraints: 38322
1716.10/1722.02 c #Conflicts: 1251000 | #Constraints: 39322
1716.10/1722.02 c #Conflicts: 1252000 | #Constraints: 40322
1716.10/1722.02 c #Conflicts: 1253000 | #Constraints: 41322
1716.10/1722.02 c #Conflicts: 1254000 | #Constraints: 42322
1716.10/1722.02 c #Conflicts: 1255000 | #Constraints: 43322
1716.10/1722.02 c #Conflicts: 1256000 | #Constraints: 44322
1716.10/1722.02 c INPROCESSING
1716.10/1722.02 c GARBAGE COLLECT
1716.10/1722.02 c #Conflicts: 1257000 | #Constraints: 23090
1716.10/1722.02 c #Conflicts: 1258000 | #Constraints: 24090
1716.10/1722.02 c #Conflicts: 1259000 | #Constraints: 25090
1716.10/1722.02 c #Conflicts: 1260000 | #Constraints: 26090
1716.10/1722.02 c #Conflicts: 1261000 | #Constraints: 27090
1716.10/1722.02 c #Conflicts: 1262000 | #Constraints: 28090
1716.10/1722.02 c #Conflicts: 1263000 | #Constraints: 29090
1716.10/1722.02 c #Conflicts: 1264000 | #Constraints: 30090
1716.10/1722.02 c #Conflicts: 1265000 | #Constraints: 31090
1716.10/1722.02 c #Conflicts: 1266000 | #Constraints: 32090
1716.10/1722.02 c #Conflicts: 1267000 | #Constraints: 33090
1716.10/1722.02 c #Conflicts: 1268000 | #Constraints: 34090
1716.10/1722.02 c #Conflicts: 1269000 | #Constraints: 35090
1716.10/1722.02 c #Conflicts: 1270000 | #Constraints: 36090
1716.10/1722.02 c #Conflicts: 1271000 | #Constraints: 37090
1716.10/1722.02 c #Conflicts: 1272000 | #Constraints: 38090
1716.10/1722.02 c #Conflicts: 1273000 | #Constraints: 39090
1716.10/1722.02 c #Conflicts: 1274000 | #Constraints: 40090
1865.89/1872.37 c #Conflicts: 1275000 | #Constraints: 41090
1865.89/1872.37 c #Conflicts: 1276000 | #Constraints: 42090
1865.89/1872.37 c #Conflicts: 1277000 | #Constraints: 43090
1865.89/1872.37 c #Conflicts: 1278000 | #Constraints: 44090
1865.89/1872.37 c #Conflicts: 1279000 | #Constraints: 45090
1865.89/1872.37 c INPROCESSING
1865.89/1872.37 c GARBAGE COLLECT
1865.89/1872.37 c #Conflicts: 1280000 | #Constraints: 23696
1865.89/1872.37 c #Conflicts: 1281000 | #Constraints: 24696
1865.89/1872.37 c #Conflicts: 1282000 | #Constraints: 25696
1865.89/1872.37 c #Conflicts: 1283000 | #Constraints: 26696
1865.89/1872.37 c #Conflicts: 1284000 | #Constraints: 27696
1865.89/1872.37 c #Conflicts: 1285000 | #Constraints: 28696
1865.89/1872.37 c #Conflicts: 1286000 | #Constraints: 29696
1865.89/1872.37 c #Conflicts: 1287000 | #Constraints: 30696
1865.89/1872.37 c #Conflicts: 1288000 | #Constraints: 31696
1865.89/1872.37 c #Conflicts: 1289000 | #Constraints: 32696
1865.89/1872.37 c #Conflicts: 1290000 | #Constraints: 33696
1865.89/1872.37 c #Conflicts: 1291000 | #Constraints: 34696
1865.89/1872.37 c #Conflicts: 1292000 | #Constraints: 35696
1865.89/1872.37 c #Conflicts: 1293000 | #Constraints: 36696
1865.89/1872.37 c #Conflicts: 1294000 | #Constraints: 37696
1865.89/1872.37 c #Conflicts: 1295000 | #Constraints: 38696
1865.89/1872.37 c #Conflicts: 1296000 | #Constraints: 39696
1865.89/1872.37 c #Conflicts: 1297000 | #Constraints: 40696
1865.89/1872.37 c #Conflicts: 1298000 | #Constraints: 41696
1865.89/1872.37 c #Conflicts: 1299000 | #Constraints: 42696
1865.89/1872.37 c #Conflicts: 1300000 | #Constraints: 43696
1865.89/1872.37 c #Conflicts: 1301000 | #Constraints: 44696
1865.89/1872.37 c #Conflicts: 1302000 | #Constraints: 45696
1865.89/1872.37 c INPROCESSING
1865.89/1872.37 c GARBAGE COLLECT
1865.89/1872.37 c #Conflicts: 1303000 | #Constraints: 24074
1865.89/1872.37 c #Conflicts: 1304000 | #Constraints: 25074
1865.89/1872.37 c #Conflicts: 1305000 | #Constraints: 26074
1865.89/1872.37 c #Conflicts: 1306000 | #Constraints: 27074
1865.89/1872.37 c #Conflicts: 1307000 | #Constraints: 28074
1865.89/1872.37 c #Conflicts: 1308000 | #Constraints: 29074
1865.89/1872.37 c #Conflicts: 1309000 | #Constraints: 30074
1865.89/1872.37 c #Conflicts: 1310000 | #Constraints: 31074
1865.89/1872.37 c #Conflicts: 1311000 | #Constraints: 32074
1865.89/1872.37 c #Conflicts: 1312000 | #Constraints: 33074
1865.89/1872.37 c #Conflicts: 1313000 | #Constraints: 34074
1865.89/1872.37 c #Conflicts: 1314000 | #Constraints: 35074
1865.89/1872.37 c #Conflicts: 1315000 | #Constraints: 36074
1865.89/1872.37 c #Conflicts: 1316000 | #Constraints: 37074
1865.89/1872.37 c #Conflicts: 1317000 | #Constraints: 38074
1865.89/1872.37 c #Conflicts: 1318000 | #Constraints: 39074
1865.89/1872.37 c #Conflicts: 1319000 | #Constraints: 40074
1865.89/1872.37 c #Conflicts: 1320000 | #Constraints: 41074
1865.89/1872.37 c #Conflicts: 1321000 | #Constraints: 42074
1865.89/1872.37 c #Conflicts: 1322000 | #Constraints: 43074
1865.89/1872.37 c #Conflicts: 1323000 | #Constraints: 44074
1865.89/1872.37 c #Conflicts: 1324000 | #Constraints: 45074
1865.89/1872.37 c #Conflicts: 1325000 | #Constraints: 46074
1865.89/1872.37 c INPROCESSING
1865.89/1872.37 c GARBAGE COLLECT
1865.89/1872.37 c #Conflicts: 1326000 | #Constraints: 24304
1865.89/1872.37 c #Conflicts: 1327000 | #Constraints: 25304
1865.89/1872.37 c #Conflicts: 1328000 | #Constraints: 26304
1865.89/1872.37 c #Conflicts: 1329000 | #Constraints: 27304
1865.89/1872.37 c #Conflicts: 1330000 | #Constraints: 28304
1865.89/1872.37 c #Conflicts: 1331000 | #Constraints: 29304
1865.89/1872.37 c #Conflicts: 1332000 | #Constraints: 30304
1865.89/1872.37 c #Conflicts: 1333000 | #Constraints: 31304
1865.89/1872.37 c #Conflicts: 1334000 | #Constraints: 32304
1865.89/1872.37 c #Conflicts: 1335000 | #Constraints: 33304
1865.89/1872.37 c #Conflicts: 1336000 | #Constraints: 34304
1865.89/1872.37 c #Conflicts: 1337000 | #Constraints: 35304
1865.89/1872.37 c #Conflicts: 1338000 | #Constraints: 36304
1865.89/1872.37 c #Conflicts: 1339000 | #Constraints: 37304
1865.89/1872.37 c #Conflicts: 1340000 | #Constraints: 38304
1865.89/1872.37 c #Conflicts: 1341000 | #Constraints: 39304
1865.89/1872.37 c #Conflicts: 1342000 | #Constraints: 40304
1865.89/1872.37 c #Conflicts: 1343000 | #Constraints: 41304
1865.89/1872.37 c #Conflicts: 1344000 | #Constraints: 42304
1865.89/1872.37 c #Conflicts: 1345000 | #Constraints: 43304
1865.89/1872.37 c #Conflicts: 1346000 | #Constraints: 44304
1865.89/1872.37 c #Conflicts: 1347000 | #Constraints: 45304
1865.89/1872.37 c #Conflicts: 1348000 | #Constraints: 46304
1865.89/1872.37 c INPROCESSING
1865.89/1872.37 c GARBAGE COLLECT
1865.89/1872.37 c #Conflicts: 1349000 | #Constraints: 24323
1865.89/1872.37 c #Conflicts: 1350000 | #Constraints: 25323
2013.97/2020.82 c #Conflicts: 1351000 | #Constraints: 26323
2013.97/2020.82 c #Conflicts: 1352000 | #Constraints: 27323
2013.97/2020.82 c #Conflicts: 1353000 | #Constraints: 28323
2013.97/2020.82 c #Conflicts: 1354000 | #Constraints: 29323
2013.97/2020.82 c #Conflicts: 1355000 | #Constraints: 30323
2013.97/2020.82 c #Conflicts: 1356000 | #Constraints: 31323
2013.97/2020.82 c #Conflicts: 1357000 | #Constraints: 32323
2013.97/2020.82 c #Conflicts: 1358000 | #Constraints: 33323
2013.97/2020.82 c #Conflicts: 1359000 | #Constraints: 34323
2013.97/2020.82 c #Conflicts: 1360000 | #Constraints: 35323
2013.97/2020.82 c #Conflicts: 1361000 | #Constraints: 36323
2013.97/2020.82 c #Conflicts: 1362000 | #Constraints: 37323
2013.97/2020.82 c #Conflicts: 1363000 | #Constraints: 38323
2013.97/2020.82 c #Conflicts: 1364000 | #Constraints: 39323
2013.97/2020.82 c #Conflicts: 1365000 | #Constraints: 40323
2013.97/2020.82 c #Conflicts: 1366000 | #Constraints: 41323
2013.97/2020.82 c #Conflicts: 1367000 | #Constraints: 42323
2013.97/2020.82 c #Conflicts: 1368000 | #Constraints: 43323
2013.97/2020.82 c #Conflicts: 1369000 | #Constraints: 44323
2013.97/2020.82 c #Conflicts: 1370000 | #Constraints: 45323
2013.97/2020.82 c #Conflicts: 1371000 | #Constraints: 46323
2013.97/2020.82 c INPROCESSING
2013.97/2020.82 c GARBAGE COLLECT
2013.97/2020.82 c #Conflicts: 1372000 | #Constraints: 24097
2013.97/2020.82 c #Conflicts: 1373000 | #Constraints: 25097
2013.97/2020.82 c #Conflicts: 1374000 | #Constraints: 26097
2013.97/2020.82 c #Conflicts: 1375000 | #Constraints: 27097
2013.97/2020.82 c #Conflicts: 1376000 | #Constraints: 28097
2013.97/2020.82 c #Conflicts: 1377000 | #Constraints: 29097
2013.97/2020.82 c #Conflicts: 1378000 | #Constraints: 30097
2013.97/2020.82 c #Conflicts: 1379000 | #Constraints: 31097
2013.97/2020.82 c #Conflicts: 1380000 | #Constraints: 32097
2013.97/2020.82 c #Conflicts: 1381000 | #Constraints: 33097
2013.97/2020.82 c #Conflicts: 1382000 | #Constraints: 34097
2013.97/2020.82 c #Conflicts: 1383000 | #Constraints: 35097
2013.97/2020.82 c #Conflicts: 1384000 | #Constraints: 36097
2013.97/2020.82 c #Conflicts: 1385000 | #Constraints: 37097
2013.97/2020.82 c #Conflicts: 1386000 | #Constraints: 38097
2013.97/2020.82 c #Conflicts: 1387000 | #Constraints: 39097
2013.97/2020.82 c #Conflicts: 1388000 | #Constraints: 40097
2013.97/2020.82 c #Conflicts: 1389000 | #Constraints: 41097
2013.97/2020.82 c #Conflicts: 1390000 | #Constraints: 42097
2013.97/2020.82 c #Conflicts: 1391000 | #Constraints: 43097
2013.97/2020.82 c #Conflicts: 1392000 | #Constraints: 44097
2013.97/2020.82 c #Conflicts: 1393000 | #Constraints: 45097
2013.97/2020.82 c #Conflicts: 1394000 | #Constraints: 46097
2013.97/2020.82 c #Conflicts: 1395000 | #Constraints: 47097
2013.97/2020.82 c INPROCESSING
2013.97/2020.82 c GARBAGE COLLECT
2013.97/2020.82 c #Conflicts: 1396000 | #Constraints: 24708
2013.97/2020.82 c #Conflicts: 1397000 | #Constraints: 25708
2013.97/2020.82 c #Conflicts: 1398000 | #Constraints: 26708
2013.97/2020.82 c #Conflicts: 1399000 | #Constraints: 27708
2013.97/2020.82 c #Conflicts: 1400000 | #Constraints: 28708
2013.97/2020.82 c #Conflicts: 1401000 | #Constraints: 29708
2013.97/2020.82 c #Conflicts: 1402000 | #Constraints: 30708
2013.97/2020.82 c #Conflicts: 1403000 | #Constraints: 31708
2013.97/2020.82 c #Conflicts: 1404000 | #Constraints: 32708
2013.97/2020.82 c #Conflicts: 1405000 | #Constraints: 33708
2013.97/2020.82 c #Conflicts: 1406000 | #Constraints: 34708
2013.97/2020.82 c #Conflicts: 1407000 | #Constraints: 35708
2013.97/2020.82 c #Conflicts: 1408000 | #Constraints: 36708
2013.97/2020.82 c #Conflicts: 1409000 | #Constraints: 37708
2013.97/2020.82 c #Conflicts: 1410000 | #Constraints: 38708
2013.97/2020.82 c #Conflicts: 1411000 | #Constraints: 39708
2013.97/2020.82 c #Conflicts: 1412000 | #Constraints: 40708
2013.97/2020.82 c #Conflicts: 1413000 | #Constraints: 41708
2013.97/2020.82 c #Conflicts: 1414000 | #Constraints: 42708
2013.97/2020.82 c #Conflicts: 1415000 | #Constraints: 43708
2013.97/2020.82 c #Conflicts: 1416000 | #Constraints: 44708
2013.97/2020.82 c #Conflicts: 1417000 | #Constraints: 45708
2013.97/2020.82 c #Conflicts: 1418000 | #Constraints: 46708
2013.97/2020.82 c #Conflicts: 1419000 | #Constraints: 47708
2013.97/2020.82 c INPROCESSING
2013.97/2020.82 c GARBAGE COLLECT
2013.97/2020.82 c #Conflicts: 1420000 | #Constraints: 25126
2013.97/2020.82 c #Conflicts: 1421000 | #Constraints: 26126
2013.97/2020.82 c #Conflicts: 1422000 | #Constraints: 27126
2013.97/2020.82 c #Conflicts: 1423000 | #Constraints: 28126
2013.97/2020.82 c #Conflicts: 1424000 | #Constraints: 29126
2013.97/2020.82 c #Conflicts: 1425000 | #Constraints: 30126
2013.97/2020.82 c #Conflicts: 1426000 | #Constraints: 31126
2013.97/2020.82 c #Conflicts: 1427000 | #Constraints: 32126
2166.22/2173.54 c #Conflicts: 1428000 | #Constraints: 33126
2166.22/2173.54 c #Conflicts: 1429000 | #Constraints: 34126
2166.22/2173.54 c #Conflicts: 1430000 | #Constraints: 35126
2166.22/2173.54 c #Conflicts: 1431000 | #Constraints: 36126
2166.22/2173.54 c #Conflicts: 1432000 | #Constraints: 37126
2166.22/2173.54 c #Conflicts: 1433000 | #Constraints: 38126
2166.22/2173.54 c #Conflicts: 1434000 | #Constraints: 39126
2166.22/2173.54 c #Conflicts: 1435000 | #Constraints: 40126
2166.22/2173.54 c #Conflicts: 1436000 | #Constraints: 41126
2166.22/2173.54 c #Conflicts: 1437000 | #Constraints: 42126
2166.22/2173.54 c #Conflicts: 1438000 | #Constraints: 43126
2166.22/2173.54 c #Conflicts: 1439000 | #Constraints: 44126
2166.22/2173.54 c #Conflicts: 1440000 | #Constraints: 45126
2166.22/2173.54 c #Conflicts: 1441000 | #Constraints: 46126
2166.22/2173.54 c #Conflicts: 1442000 | #Constraints: 47126
2166.22/2173.54 c #Conflicts: 1443000 | #Constraints: 48126
2166.22/2173.54 c INPROCESSING
2166.22/2173.54 c GARBAGE COLLECT
2166.22/2173.54 c #Conflicts: 1444000 | #Constraints: 25311
2166.22/2173.54 c #Conflicts: 1445000 | #Constraints: 26311
2166.22/2173.54 c #Conflicts: 1446000 | #Constraints: 27311
2166.22/2173.54 c #Conflicts: 1447000 | #Constraints: 28311
2166.22/2173.54 c #Conflicts: 1448000 | #Constraints: 29311
2166.22/2173.54 c #Conflicts: 1449000 | #Constraints: 30311
2166.22/2173.54 c #Conflicts: 1450000 | #Constraints: 31311
2166.22/2173.54 c #Conflicts: 1451000 | #Constraints: 32311
2166.22/2173.54 c #Conflicts: 1452000 | #Constraints: 33311
2166.22/2173.54 c #Conflicts: 1453000 | #Constraints: 34311
2166.22/2173.54 c #Conflicts: 1454000 | #Constraints: 35311
2166.22/2173.54 c #Conflicts: 1455000 | #Constraints: 36311
2166.22/2173.54 c #Conflicts: 1456000 | #Constraints: 37311
2166.22/2173.54 c #Conflicts: 1457000 | #Constraints: 38311
2166.22/2173.54 c #Conflicts: 1458000 | #Constraints: 39311
2166.22/2173.54 c #Conflicts: 1459000 | #Constraints: 40311
2166.22/2173.54 c #Conflicts: 1460000 | #Constraints: 41311
2166.22/2173.54 c #Conflicts: 1461000 | #Constraints: 42311
2166.22/2173.54 c #Conflicts: 1462000 | #Constraints: 43311
2166.22/2173.54 c #Conflicts: 1463000 | #Constraints: 44311
2166.22/2173.54 c #Conflicts: 1464000 | #Constraints: 45311
2166.22/2173.54 c #Conflicts: 1465000 | #Constraints: 46311
2166.22/2173.54 c #Conflicts: 1466000 | #Constraints: 47311
2166.22/2173.54 c #Conflicts: 1467000 | #Constraints: 48311
2166.22/2173.54 c INPROCESSING
2166.22/2173.54 c GARBAGE COLLECT
2166.22/2173.54 c #Conflicts: 1468000 | #Constraints: 25312
2166.22/2173.54 c #Conflicts: 1469000 | #Constraints: 26312
2166.22/2173.54 c #Conflicts: 1470000 | #Constraints: 27312
2166.22/2173.54 c #Conflicts: 1471000 | #Constraints: 28312
2166.22/2173.54 c #Conflicts: 1472000 | #Constraints: 29312
2166.22/2173.54 c #Conflicts: 1473000 | #Constraints: 30312
2166.22/2173.54 c #Conflicts: 1474000 | #Constraints: 31312
2166.22/2173.54 c #Conflicts: 1475000 | #Constraints: 32312
2166.22/2173.54 c #Conflicts: 1476000 | #Constraints: 33312
2166.22/2173.54 c #Conflicts: 1477000 | #Constraints: 34312
2166.22/2173.54 c #Conflicts: 1478000 | #Constraints: 35312
2166.22/2173.54 c #Conflicts: 1479000 | #Constraints: 36312
2166.22/2173.54 c #Conflicts: 1480000 | #Constraints: 37312
2166.22/2173.54 c #Conflicts: 1481000 | #Constraints: 38312
2166.22/2173.54 c #Conflicts: 1482000 | #Constraints: 39312
2166.22/2173.54 c #Conflicts: 1483000 | #Constraints: 40312
2166.22/2173.54 c #Conflicts: 1484000 | #Constraints: 41312
2166.22/2173.54 c #Conflicts: 1485000 | #Constraints: 42312
2166.22/2173.54 c #Conflicts: 1486000 | #Constraints: 43312
2166.22/2173.54 c #Conflicts: 1487000 | #Constraints: 44312
2166.22/2173.54 c #Conflicts: 1488000 | #Constraints: 45312
2166.22/2173.54 c #Conflicts: 1489000 | #Constraints: 46312
2166.22/2173.54 c #Conflicts: 1490000 | #Constraints: 47312
2166.22/2173.54 c #Conflicts: 1491000 | #Constraints: 48312
2166.22/2173.54 c INPROCESSING
2166.22/2173.54 c GARBAGE COLLECT
2166.22/2173.54 c #Conflicts: 1492000 | #Constraints: 25100
2166.22/2173.54 c #Conflicts: 1493000 | #Constraints: 26100
2166.22/2173.54 c #Conflicts: 1494000 | #Constraints: 27100
2166.22/2173.54 c #Conflicts: 1495000 | #Constraints: 28100
2166.22/2173.54 c #Conflicts: 1496000 | #Constraints: 29100
2166.22/2173.54 c #Conflicts: 1497000 | #Constraints: 30100
2166.22/2173.54 c #Conflicts: 1498000 | #Constraints: 31100
2166.22/2173.54 c #Conflicts: 1499000 | #Constraints: 32100
2166.22/2173.54 c #Conflicts: 1500000 | #Constraints: 33100
2166.22/2173.54 c #Conflicts: 1501000 | #Constraints: 34100
2166.22/2173.54 c #Conflicts: 1502000 | #Constraints: 35100
2166.22/2173.54 c #Conflicts: 1503000 | #Constraints: 36100
2166.22/2173.54 c #Conflicts: 1504000 | #Constraints: 37100
2329.21/2337.07 c #Conflicts: 1505000 | #Constraints: 38100
2329.21/2337.07 c #Conflicts: 1506000 | #Constraints: 39100
2329.21/2337.07 c #Conflicts: 1507000 | #Constraints: 40100
2329.21/2337.07 c #Conflicts: 1508000 | #Constraints: 41100
2329.21/2337.07 c #Conflicts: 1509000 | #Constraints: 42100
2329.21/2337.07 c #Conflicts: 1510000 | #Constraints: 43100
2329.21/2337.07 c #Conflicts: 1511000 | #Constraints: 44100
2329.21/2337.07 c #Conflicts: 1512000 | #Constraints: 45100
2329.21/2337.07 c #Conflicts: 1513000 | #Constraints: 46100
2329.21/2337.07 c #Conflicts: 1514000 | #Constraints: 47100
2329.21/2337.07 c #Conflicts: 1515000 | #Constraints: 48100
2329.21/2337.07 c #Conflicts: 1516000 | #Constraints: 49100
2329.21/2337.07 c INPROCESSING
2329.21/2337.07 c GARBAGE COLLECT
2329.21/2337.07 c #Conflicts: 1517000 | #Constraints: 25705
2329.21/2337.07 c #Conflicts: 1518000 | #Constraints: 26705
2329.21/2337.07 c #Conflicts: 1519000 | #Constraints: 27705
2329.21/2337.07 c #Conflicts: 1520000 | #Constraints: 28705
2329.21/2337.07 c #Conflicts: 1521000 | #Constraints: 29705
2329.21/2337.07 c #Conflicts: 1522000 | #Constraints: 30705
2329.21/2337.07 c #Conflicts: 1523000 | #Constraints: 31705
2329.21/2337.07 c #Conflicts: 1524000 | #Constraints: 32705
2329.21/2337.07 c #Conflicts: 1525000 | #Constraints: 33705
2329.21/2337.07 c #Conflicts: 1526000 | #Constraints: 34705
2329.21/2337.07 c #Conflicts: 1527000 | #Constraints: 35705
2329.21/2337.07 c #Conflicts: 1528000 | #Constraints: 36705
2329.21/2337.07 c #Conflicts: 1529000 | #Constraints: 37705
2329.21/2337.07 c #Conflicts: 1530000 | #Constraints: 38705
2329.21/2337.07 c #Conflicts: 1531000 | #Constraints: 39705
2329.21/2337.07 c #Conflicts: 1532000 | #Constraints: 40705
2329.21/2337.07 c #Conflicts: 1533000 | #Constraints: 41705
2329.21/2337.07 c #Conflicts: 1534000 | #Constraints: 42705
2329.21/2337.07 c #Conflicts: 1535000 | #Constraints: 43705
2329.21/2337.07 c #Conflicts: 1536000 | #Constraints: 44705
2329.21/2337.07 c #Conflicts: 1537000 | #Constraints: 45705
2329.21/2337.07 c #Conflicts: 1538000 | #Constraints: 46705
2329.21/2337.07 c #Conflicts: 1539000 | #Constraints: 47705
2329.21/2337.07 c #Conflicts: 1540000 | #Constraints: 48705
2329.21/2337.07 c #Conflicts: 1541000 | #Constraints: 49705
2329.21/2337.07 c INPROCESSING
2329.21/2337.07 c GARBAGE COLLECT
2329.21/2337.07 c #Conflicts: 1542000 | #Constraints: 26120
2329.21/2337.07 c #Conflicts: 1543000 | #Constraints: 27120
2329.21/2337.07 c #Conflicts: 1544000 | #Constraints: 28120
2329.21/2337.07 c #Conflicts: 1545000 | #Constraints: 29120
2329.21/2337.07 c #Conflicts: 1546000 | #Constraints: 30120
2329.21/2337.07 c #Conflicts: 1547000 | #Constraints: 31120
2329.21/2337.07 c #Conflicts: 1548000 | #Constraints: 32120
2329.21/2337.07 c #Conflicts: 1549000 | #Constraints: 33120
2329.21/2337.07 c #Conflicts: 1550000 | #Constraints: 34120
2329.21/2337.07 c #Conflicts: 1551000 | #Constraints: 35120
2329.21/2337.07 c #Conflicts: 1552000 | #Constraints: 36120
2329.21/2337.07 c #Conflicts: 1553000 | #Constraints: 37120
2329.21/2337.07 c #Conflicts: 1554000 | #Constraints: 38120
2329.21/2337.07 c #Conflicts: 1555000 | #Constraints: 39120
2329.21/2337.07 c #Conflicts: 1556000 | #Constraints: 40120
2329.21/2337.07 c #Conflicts: 1557000 | #Constraints: 41120
2329.21/2337.07 c #Conflicts: 1558000 | #Constraints: 42120
2329.21/2337.07 c #Conflicts: 1559000 | #Constraints: 43120
2329.21/2337.07 c #Conflicts: 1560000 | #Constraints: 44120
2329.21/2337.07 c #Conflicts: 1561000 | #Constraints: 45120
2329.21/2337.07 c #Conflicts: 1562000 | #Constraints: 46120
2329.21/2337.07 c #Conflicts: 1563000 | #Constraints: 47120
2329.21/2337.07 c #Conflicts: 1564000 | #Constraints: 48120
2329.21/2337.07 c #Conflicts: 1565000 | #Constraints: 49120
2329.21/2337.07 c #Conflicts: 1566000 | #Constraints: 50120
2329.21/2337.07 c INPROCESSING
2329.21/2337.07 c GARBAGE COLLECT
2329.21/2337.07 c #Conflicts: 1567000 | #Constraints: 26310
2329.21/2337.07 c #Conflicts: 1568000 | #Constraints: 27310
2329.21/2337.07 c #Conflicts: 1569000 | #Constraints: 28310
2329.21/2337.07 c #Conflicts: 1570000 | #Constraints: 29310
2329.21/2337.07 c #Conflicts: 1571000 | #Constraints: 30310
2329.21/2337.07 c #Conflicts: 1572000 | #Constraints: 31310
2329.21/2337.07 c #Conflicts: 1573000 | #Constraints: 32310
2329.21/2337.07 c #Conflicts: 1574000 | #Constraints: 33310
2329.21/2337.07 c #Conflicts: 1575000 | #Constraints: 34310
2329.21/2337.07 c #Conflicts: 1576000 | #Constraints: 35310
2329.21/2337.07 c #Conflicts: 1577000 | #Constraints: 36310
2329.21/2337.07 c #Conflicts: 1578000 | #Constraints: 37310
2329.21/2337.07 c #Conflicts: 1579000 | #Constraints: 38310
2329.21/2337.07 c #Conflicts: 1580000 | #Constraints: 39310
2329.21/2337.07 c #Conflicts: 1581000 | #Constraints: 40310
2458.41/2466.65 c #Conflicts: 1582000 | #Constraints: 41310
2458.41/2466.65 c #Conflicts: 1583000 | #Constraints: 42310
2458.41/2466.65 c #Conflicts: 1584000 | #Constraints: 43310
2458.41/2466.65 c #Conflicts: 1585000 | #Constraints: 44310
2458.41/2466.65 c #Conflicts: 1586000 | #Constraints: 45310
2458.41/2466.65 c #Conflicts: 1587000 | #Constraints: 46310
2458.41/2466.65 c #Conflicts: 1588000 | #Constraints: 47310
2458.41/2466.65 c #Conflicts: 1589000 | #Constraints: 48310
2458.41/2466.65 c #Conflicts: 1590000 | #Constraints: 49310
2458.41/2466.65 c #Conflicts: 1591000 | #Constraints: 50310
2458.41/2466.65 c INPROCESSING
2458.41/2466.65 c GARBAGE COLLECT
2458.41/2466.65 c #Conflicts: 1592000 | #Constraints: 26307
2458.41/2466.65 c #Conflicts: 1593000 | #Constraints: 27307
2458.41/2466.65 c #Conflicts: 1594000 | #Constraints: 28307
2458.41/2466.65 c #Conflicts: 1595000 | #Constraints: 29307
2458.41/2466.65 c #Conflicts: 1596000 | #Constraints: 30307
2458.41/2466.65 c #Conflicts: 1597000 | #Constraints: 31307
2458.41/2466.65 c #Conflicts: 1598000 | #Constraints: 32307
2458.41/2466.65 c #Conflicts: 1599000 | #Constraints: 33307
2458.41/2466.65 c #Conflicts: 1600000 | #Constraints: 34307
2458.41/2466.65 c #Conflicts: 1601000 | #Constraints: 35307
2458.41/2466.65 c #Conflicts: 1602000 | #Constraints: 36307
2458.41/2466.65 c #Conflicts: 1603000 | #Constraints: 37307
2458.41/2466.65 c #Conflicts: 1604000 | #Constraints: 38307
2458.41/2466.65 c #Conflicts: 1605000 | #Constraints: 39307
2458.41/2466.65 c #Conflicts: 1606000 | #Constraints: 40307
2458.41/2466.65 c #Conflicts: 1607000 | #Constraints: 41307
2458.41/2466.65 c #Conflicts: 1608000 | #Constraints: 42307
2458.41/2466.65 c #Conflicts: 1609000 | #Constraints: 43307
2458.41/2466.65 c #Conflicts: 1610000 | #Constraints: 44307
2458.41/2466.65 c #Conflicts: 1611000 | #Constraints: 45307
2458.41/2466.65 c #Conflicts: 1612000 | #Constraints: 46307
2458.41/2466.65 c #Conflicts: 1613000 | #Constraints: 47307
2458.41/2466.65 c #Conflicts: 1614000 | #Constraints: 48307
2458.41/2466.65 c #Conflicts: 1615000 | #Constraints: 49307
2458.41/2466.65 c #Conflicts: 1616000 | #Constraints: 50307
2458.41/2466.65 c INPROCESSING
2458.41/2466.65 c GARBAGE COLLECT
2458.41/2466.65 c #Conflicts: 1617000 | #Constraints: 26120
2458.41/2466.65 c #Conflicts: 1618000 | #Constraints: 27120
2458.41/2466.65 c #Conflicts: 1619000 | #Constraints: 28120
2458.41/2466.65 c #Conflicts: 1620000 | #Constraints: 29120
2458.41/2466.65 c #Conflicts: 1621000 | #Constraints: 30120
2458.41/2466.65 c #Conflicts: 1622000 | #Constraints: 31120
2458.41/2466.65 c #Conflicts: 1623000 | #Constraints: 32120
2458.41/2466.65 c #Conflicts: 1624000 | #Constraints: 33120
2458.41/2466.65 c #Conflicts: 1625000 | #Constraints: 34120
2458.41/2466.65 c #Conflicts: 1626000 | #Constraints: 35120
2458.41/2466.65 c #Conflicts: 1627000 | #Constraints: 36120
2458.41/2466.65 c #Conflicts: 1628000 | #Constraints: 37120
2458.41/2466.65 c #Conflicts: 1629000 | #Constraints: 38120
2458.41/2466.65 c #Conflicts: 1630000 | #Constraints: 39120
2458.41/2466.65 c #Conflicts: 1631000 | #Constraints: 40120
2458.41/2466.65 c #Conflicts: 1632000 | #Constraints: 41120
2458.41/2466.65 c #Conflicts: 1633000 | #Constraints: 42120
2458.41/2466.65 c #Conflicts: 1634000 | #Constraints: 43120
2458.41/2466.65 c #Conflicts: 1635000 | #Constraints: 44120
2458.41/2466.65 c #Conflicts: 1636000 | #Constraints: 45120
2458.41/2466.65 c #Conflicts: 1637000 | #Constraints: 46120
2458.41/2466.65 c #Conflicts: 1638000 | #Constraints: 47120
2458.41/2466.65 c #Conflicts: 1639000 | #Constraints: 48120
2458.41/2466.65 c #Conflicts: 1640000 | #Constraints: 49120
2458.41/2466.65 c #Conflicts: 1641000 | #Constraints: 50120
2458.41/2466.65 c #Conflicts: 1642000 | #Constraints: 51120
2458.41/2466.65 c INPROCESSING
2458.41/2466.65 c GARBAGE COLLECT
2458.41/2466.65 c #Conflicts: 1643000 | #Constraints: 26724
2458.41/2466.65 c #Conflicts: 1644000 | #Constraints: 27724
2458.41/2466.65 c #Conflicts: 1645000 | #Constraints: 28724
2458.41/2466.65 c #Conflicts: 1646000 | #Constraints: 29724
2458.41/2466.65 c #Conflicts: 1647000 | #Constraints: 30724
2458.41/2466.65 c #Conflicts: 1648000 | #Constraints: 31724
2458.41/2466.65 c #Conflicts: 1649000 | #Constraints: 32724
2458.41/2466.65 c #Conflicts: 1650000 | #Constraints: 33724
2458.41/2466.65 c #Conflicts: 1651000 | #Constraints: 34724
2458.41/2466.65 c #Conflicts: 1652000 | #Constraints: 35724
2458.41/2466.65 c #Conflicts: 1653000 | #Constraints: 36724
2458.41/2466.65 c #Conflicts: 1654000 | #Constraints: 37724
2458.41/2466.65 c #Conflicts: 1655000 | #Constraints: 38724
2458.41/2466.65 c #Conflicts: 1656000 | #Constraints: 39724
2458.41/2466.65 c #Conflicts: 1657000 | #Constraints: 40724
2458.41/2466.65 c #Conflicts: 1658000 | #Constraints: 41724
2631.62/2640.31 c #Conflicts: 1659000 | #Constraints: 42724
2631.62/2640.31 c #Conflicts: 1660000 | #Constraints: 43724
2631.62/2640.31 c #Conflicts: 1661000 | #Constraints: 44724
2631.62/2640.31 c #Conflicts: 1662000 | #Constraints: 45724
2631.62/2640.31 c #Conflicts: 1663000 | #Constraints: 46724
2631.62/2640.31 c #Conflicts: 1664000 | #Constraints: 47724
2631.62/2640.31 c #Conflicts: 1665000 | #Constraints: 48724
2631.62/2640.31 c #Conflicts: 1666000 | #Constraints: 49724
2631.62/2640.31 c #Conflicts: 1667000 | #Constraints: 50724
2631.62/2640.31 c #Conflicts: 1668000 | #Constraints: 51724
2631.62/2640.31 c INPROCESSING
2631.62/2640.31 c GARBAGE COLLECT
2631.62/2640.31 c #Conflicts: 1669000 | #Constraints: 27117
2631.62/2640.31 c #Conflicts: 1670000 | #Constraints: 28117
2631.62/2640.31 c #Conflicts: 1671000 | #Constraints: 29117
2631.62/2640.31 c #Conflicts: 1672000 | #Constraints: 30117
2631.62/2640.31 c #Conflicts: 1673000 | #Constraints: 31117
2631.62/2640.31 c #Conflicts: 1674000 | #Constraints: 32117
2631.62/2640.31 c #Conflicts: 1675000 | #Constraints: 33117
2631.62/2640.31 c #Conflicts: 1676000 | #Constraints: 34117
2631.62/2640.31 c #Conflicts: 1677000 | #Constraints: 35117
2631.62/2640.31 c #Conflicts: 1678000 | #Constraints: 36117
2631.62/2640.31 c #Conflicts: 1679000 | #Constraints: 37117
2631.62/2640.31 c #Conflicts: 1680000 | #Constraints: 38117
2631.62/2640.31 c #Conflicts: 1681000 | #Constraints: 39117
2631.62/2640.31 c #Conflicts: 1682000 | #Constraints: 40117
2631.62/2640.31 c #Conflicts: 1683000 | #Constraints: 41117
2631.62/2640.31 c #Conflicts: 1684000 | #Constraints: 42117
2631.62/2640.31 c #Conflicts: 1685000 | #Constraints: 43117
2631.62/2640.31 c #Conflicts: 1686000 | #Constraints: 44117
2631.62/2640.31 c #Conflicts: 1687000 | #Constraints: 45117
2631.62/2640.31 c #Conflicts: 1688000 | #Constraints: 46117
2631.62/2640.31 c #Conflicts: 1689000 | #Constraints: 47117
2631.62/2640.31 c #Conflicts: 1690000 | #Constraints: 48117
2631.62/2640.31 c #Conflicts: 1691000 | #Constraints: 49117
2631.62/2640.31 c #Conflicts: 1692000 | #Constraints: 50117
2631.62/2640.31 c #Conflicts: 1693000 | #Constraints: 51117
2631.62/2640.31 c #Conflicts: 1694000 | #Constraints: 52117
2631.62/2640.31 c INPROCESSING
2631.62/2640.31 c GARBAGE COLLECT
2631.62/2640.31 c #Conflicts: 1695000 | #Constraints: 27311
2631.62/2640.31 c #Conflicts: 1696000 | #Constraints: 28311
2631.62/2640.31 c #Conflicts: 1697000 | #Constraints: 29311
2631.62/2640.31 c #Conflicts: 1698000 | #Constraints: 30311
2631.62/2640.31 c #Conflicts: 1699000 | #Constraints: 31311
2631.62/2640.31 c #Conflicts: 1700000 | #Constraints: 32311
2631.62/2640.31 c #Conflicts: 1701000 | #Constraints: 33311
2631.62/2640.31 c #Conflicts: 1702000 | #Constraints: 34311
2631.62/2640.31 c #Conflicts: 1703000 | #Constraints: 35311
2631.62/2640.31 c #Conflicts: 1704000 | #Constraints: 36311
2631.62/2640.31 c #Conflicts: 1705000 | #Constraints: 37311
2631.62/2640.31 c #Conflicts: 1706000 | #Constraints: 38311
2631.62/2640.31 c #Conflicts: 1707000 | #Constraints: 39311
2631.62/2640.31 c #Conflicts: 1708000 | #Constraints: 40311
2631.62/2640.31 c #Conflicts: 1709000 | #Constraints: 41311
2631.62/2640.31 c #Conflicts: 1710000 | #Constraints: 42311
2631.62/2640.31 c #Conflicts: 1711000 | #Constraints: 43311
2631.62/2640.31 c #Conflicts: 1712000 | #Constraints: 44311
2631.62/2640.31 c #Conflicts: 1713000 | #Constraints: 45311
2631.62/2640.31 c #Conflicts: 1714000 | #Constraints: 46311
2631.62/2640.31 c #Conflicts: 1715000 | #Constraints: 47311
2631.62/2640.31 c #Conflicts: 1716000 | #Constraints: 48311
2631.62/2640.31 c #Conflicts: 1717000 | #Constraints: 49311
2631.62/2640.31 c #Conflicts: 1718000 | #Constraints: 50311
2631.62/2640.31 c #Conflicts: 1719000 | #Constraints: 51311
2631.62/2640.31 c #Conflicts: 1720000 | #Constraints: 52311
2631.62/2640.31 c INPROCESSING
2631.62/2640.31 c GARBAGE COLLECT
2631.62/2640.31 c #Conflicts: 1721000 | #Constraints: 27319
2631.62/2640.31 c #Conflicts: 1722000 | #Constraints: 28319
2631.62/2640.31 c #Conflicts: 1723000 | #Constraints: 29319
2631.62/2640.31 c #Conflicts: 1724000 | #Constraints: 30319
2631.62/2640.31 c #Conflicts: 1725000 | #Constraints: 31319
2631.62/2640.31 c #Conflicts: 1726000 | #Constraints: 32319
2631.62/2640.31 c #Conflicts: 1727000 | #Constraints: 33319
2631.62/2640.31 c #Conflicts: 1728000 | #Constraints: 34319
2631.62/2640.31 c #Conflicts: 1729000 | #Constraints: 35319
2631.62/2640.31 c #Conflicts: 1730000 | #Constraints: 36319
2631.62/2640.31 c #Conflicts: 1731000 | #Constraints: 37319
2631.62/2640.31 c #Conflicts: 1732000 | #Constraints: 38319
2631.62/2640.31 c #Conflicts: 1733000 | #Constraints: 39319
2631.62/2640.31 c #Conflicts: 1734000 | #Constraints: 40319
2631.62/2640.31 c #Conflicts: 1735000 | #Constraints: 41319
2808.12/2817.32 c #Conflicts: 1736000 | #Constraints: 42319
2808.12/2817.32 c #Conflicts: 1737000 | #Constraints: 43319
2808.12/2817.32 c #Conflicts: 1738000 | #Constraints: 44319
2808.12/2817.32 c #Conflicts: 1739000 | #Constraints: 45319
2808.12/2817.32 c #Conflicts: 1740000 | #Constraints: 46319
2808.12/2817.32 c #Conflicts: 1741000 | #Constraints: 47319
2808.12/2817.32 c #Conflicts: 1742000 | #Constraints: 48319
2808.12/2817.32 c #Conflicts: 1743000 | #Constraints: 49319
2808.12/2817.32 c #Conflicts: 1744000 | #Constraints: 50319
2808.12/2817.32 c #Conflicts: 1745000 | #Constraints: 51319
2808.12/2817.32 c #Conflicts: 1746000 | #Constraints: 52319
2808.12/2817.32 c INPROCESSING
2808.12/2817.32 c GARBAGE COLLECT
2808.12/2817.32 c #Conflicts: 1747000 | #Constraints: 27103
2808.12/2817.32 c #Conflicts: 1748000 | #Constraints: 28103
2808.12/2817.32 c #Conflicts: 1749000 | #Constraints: 29103
2808.12/2817.32 c #Conflicts: 1750000 | #Constraints: 30103
2808.12/2817.32 c #Conflicts: 1751000 | #Constraints: 31103
2808.12/2817.32 c #Conflicts: 1752000 | #Constraints: 32103
2808.12/2817.32 c #Conflicts: 1753000 | #Constraints: 33103
2808.12/2817.32 c #Conflicts: 1754000 | #Constraints: 34103
2808.12/2817.32 c #Conflicts: 1755000 | #Constraints: 35103
2808.12/2817.32 c #Conflicts: 1756000 | #Constraints: 36103
2808.12/2817.32 c #Conflicts: 1757000 | #Constraints: 37103
2808.12/2817.32 c #Conflicts: 1758000 | #Constraints: 38103
2808.12/2817.32 c #Conflicts: 1759000 | #Constraints: 39103
2808.12/2817.32 c #Conflicts: 1760000 | #Constraints: 40103
2808.12/2817.32 c #Conflicts: 1761000 | #Constraints: 41103
2808.12/2817.32 c #Conflicts: 1762000 | #Constraints: 42103
2808.12/2817.32 c #Conflicts: 1763000 | #Constraints: 43103
2808.12/2817.32 c #Conflicts: 1764000 | #Constraints: 44103
2808.12/2817.32 c #Conflicts: 1765000 | #Constraints: 45103
2808.12/2817.32 c #Conflicts: 1766000 | #Constraints: 46103
2808.12/2817.32 c #Conflicts: 1767000 | #Constraints: 47103
2808.12/2817.32 c #Conflicts: 1768000 | #Constraints: 48103
2808.12/2817.32 c #Conflicts: 1769000 | #Constraints: 49103
2808.12/2817.32 c #Conflicts: 1770000 | #Constraints: 50103
2808.12/2817.32 c #Conflicts: 1771000 | #Constraints: 51103
2808.12/2817.32 c #Conflicts: 1772000 | #Constraints: 52103
2808.12/2817.32 c #Conflicts: 1773000 | #Constraints: 53103
2808.12/2817.32 c INPROCESSING
2808.12/2817.32 c GARBAGE COLLECT
2808.12/2817.32 c #Conflicts: 1774000 | #Constraints: 27728
2808.12/2817.32 c #Conflicts: 1775000 | #Constraints: 28728
2808.12/2817.32 c #Conflicts: 1776000 | #Constraints: 29728
2808.12/2817.32 c #Conflicts: 1777000 | #Constraints: 30728
2808.12/2817.32 c #Conflicts: 1778000 | #Constraints: 31728
2808.12/2817.32 c #Conflicts: 1779000 | #Constraints: 32728
2808.12/2817.32 c #Conflicts: 1780000 | #Constraints: 33728
2808.12/2817.32 c #Conflicts: 1781000 | #Constraints: 34728
2808.12/2817.32 c #Conflicts: 1782000 | #Constraints: 35728
2808.12/2817.32 c #Conflicts: 1783000 | #Constraints: 36728
2808.12/2817.32 c #Conflicts: 1784000 | #Constraints: 37728
2808.12/2817.32 c #Conflicts: 1785000 | #Constraints: 38728
2808.12/2817.32 c #Conflicts: 1786000 | #Constraints: 39728
2808.12/2817.32 c #Conflicts: 1787000 | #Constraints: 40728
2808.12/2817.32 c #Conflicts: 1788000 | #Constraints: 41728
2808.12/2817.32 c #Conflicts: 1789000 | #Constraints: 42728
2808.12/2817.32 c #Conflicts: 1790000 | #Constraints: 43728
2808.12/2817.32 c #Conflicts: 1791000 | #Constraints: 44728
2808.12/2817.32 c #Conflicts: 1792000 | #Constraints: 45728
2808.12/2817.32 c #Conflicts: 1793000 | #Constraints: 46728
2808.12/2817.32 c #Conflicts: 1794000 | #Constraints: 47728
2808.12/2817.32 c #Conflicts: 1795000 | #Constraints: 48728
2808.12/2817.32 c #Conflicts: 1796000 | #Constraints: 49728
2808.12/2817.32 c #Conflicts: 1797000 | #Constraints: 50728
2808.12/2817.32 c #Conflicts: 1798000 | #Constraints: 51728
2808.12/2817.32 c #Conflicts: 1799000 | #Constraints: 52728
2808.12/2817.32 c #Conflicts: 1800000 | #Constraints: 53728
2808.12/2817.32 c INPROCESSING
2808.12/2817.32 c GARBAGE COLLECT
2808.12/2817.32 c #Conflicts: 1801000 | #Constraints: 28128
2808.12/2817.32 c #Conflicts: 1802000 | #Constraints: 29128
2808.12/2817.32 c #Conflicts: 1803000 | #Constraints: 30128
2808.12/2817.32 c #Conflicts: 1804000 | #Constraints: 31128
2808.12/2817.32 c #Conflicts: 1805000 | #Constraints: 32128
2808.12/2817.32 c #Conflicts: 1806000 | #Constraints: 33128
2808.12/2817.32 c #Conflicts: 1807000 | #Constraints: 34128
2808.12/2817.32 c #Conflicts: 1808000 | #Constraints: 35128
2808.12/2817.32 c #Conflicts: 1809000 | #Constraints: 36128
2808.12/2817.32 c #Conflicts: 1810000 | #Constraints: 37128
2808.12/2817.32 c #Conflicts: 1811000 | #Constraints: 38128
2808.12/2817.32 c #Conflicts: 1812000 | #Constraints: 39128
2974.68/2984.56 c #Conflicts: 1813000 | #Constraints: 40128
2974.68/2984.56 c #Conflicts: 1814000 | #Constraints: 41128
2974.68/2984.56 c #Conflicts: 1815000 | #Constraints: 42128
2974.68/2984.56 c #Conflicts: 1816000 | #Constraints: 43128
2974.68/2984.56 c #Conflicts: 1817000 | #Constraints: 44128
2974.68/2984.56 c #Conflicts: 1818000 | #Constraints: 45128
2974.68/2984.56 c #Conflicts: 1819000 | #Constraints: 46128
2974.68/2984.56 c #Conflicts: 1820000 | #Constraints: 47128
2974.68/2984.56 c #Conflicts: 1821000 | #Constraints: 48128
2974.68/2984.56 c #Conflicts: 1822000 | #Constraints: 49128
2974.68/2984.56 c #Conflicts: 1823000 | #Constraints: 50128
2974.68/2984.56 c #Conflicts: 1824000 | #Constraints: 51128
2974.68/2984.56 c #Conflicts: 1825000 | #Constraints: 52128
2974.68/2984.56 c #Conflicts: 1826000 | #Constraints: 53128
2974.68/2984.56 c #Conflicts: 1827000 | #Constraints: 54128
2974.68/2984.56 c INPROCESSING
2974.68/2984.56 c GARBAGE COLLECT
2974.68/2984.56 c #Conflicts: 1828000 | #Constraints: 28323
2974.68/2984.56 c #Conflicts: 1829000 | #Constraints: 29323
2974.68/2984.56 c #Conflicts: 1830000 | #Constraints: 30323
2974.68/2984.56 c #Conflicts: 1831000 | #Constraints: 31323
2974.68/2984.56 c #Conflicts: 1832000 | #Constraints: 32323
2974.68/2984.56 c #Conflicts: 1833000 | #Constraints: 33323
2974.68/2984.56 c #Conflicts: 1834000 | #Constraints: 34323
2974.68/2984.56 c #Conflicts: 1835000 | #Constraints: 35323
2974.68/2984.56 c #Conflicts: 1836000 | #Constraints: 36323
2974.68/2984.56 c #Conflicts: 1837000 | #Constraints: 37323
2974.68/2984.56 c #Conflicts: 1838000 | #Constraints: 38323
2974.68/2984.56 c #Conflicts: 1839000 | #Constraints: 39323
2974.68/2984.56 c #Conflicts: 1840000 | #Constraints: 40323
2974.68/2984.56 c #Conflicts: 1841000 | #Constraints: 41323
2974.68/2984.56 c #Conflicts: 1842000 | #Constraints: 42323
2974.68/2984.56 c #Conflicts: 1843000 | #Constraints: 43323
2974.68/2984.56 c #Conflicts: 1844000 | #Constraints: 44323
2974.68/2984.56 c #Conflicts: 1845000 | #Constraints: 45323
2974.68/2984.56 c #Conflicts: 1846000 | #Constraints: 46323
2974.68/2984.56 c #Conflicts: 1847000 | #Constraints: 47323
2974.68/2984.56 c #Conflicts: 1848000 | #Constraints: 48323
2974.68/2984.56 c #Conflicts: 1849000 | #Constraints: 49323
2974.68/2984.56 c #Conflicts: 1850000 | #Constraints: 50323
2974.68/2984.56 c #Conflicts: 1851000 | #Constraints: 51323
2974.68/2984.56 c #Conflicts: 1852000 | #Constraints: 52323
2974.68/2984.56 c #Conflicts: 1853000 | #Constraints: 53323
2974.68/2984.56 c #Conflicts: 1854000 | #Constraints: 54323
2974.68/2984.56 c INPROCESSING
2974.68/2984.56 c GARBAGE COLLECT
2974.68/2984.56 c #Conflicts: 1855000 | #Constraints: 28311
2974.68/2984.56 c #Conflicts: 1856000 | #Constraints: 29311
2974.68/2984.56 c #Conflicts: 1857000 | #Constraints: 30311
2974.68/2984.56 c #Conflicts: 1858000 | #Constraints: 31311
2974.68/2984.56 c #Conflicts: 1859000 | #Constraints: 32311
2974.68/2984.56 c #Conflicts: 1860000 | #Constraints: 33311
2974.68/2984.56 c #Conflicts: 1861000 | #Constraints: 34311
2974.68/2984.56 c #Conflicts: 1862000 | #Constraints: 35311
2974.68/2984.56 c #Conflicts: 1863000 | #Constraints: 36311
2974.68/2984.56 c #Conflicts: 1864000 | #Constraints: 37311
2974.68/2984.56 c #Conflicts: 1865000 | #Constraints: 38311
2974.68/2984.56 c #Conflicts: 1866000 | #Constraints: 39311
2974.68/2984.56 c #Conflicts: 1867000 | #Constraints: 40311
2974.68/2984.56 c #Conflicts: 1868000 | #Constraints: 41311
2974.68/2984.56 c #Conflicts: 1869000 | #Constraints: 42311
2974.68/2984.56 c #Conflicts: 1870000 | #Constraints: 43311
2974.68/2984.56 c #Conflicts: 1871000 | #Constraints: 44311
2974.68/2984.56 c #Conflicts: 1872000 | #Constraints: 45311
2974.68/2984.56 c #Conflicts: 1873000 | #Constraints: 46311
2974.68/2984.56 c #Conflicts: 1874000 | #Constraints: 47311
2974.68/2984.56 c #Conflicts: 1875000 | #Constraints: 48311
2974.68/2984.56 c #Conflicts: 1876000 | #Constraints: 49311
2974.68/2984.56 c #Conflicts: 1877000 | #Constraints: 50311
2974.68/2984.56 c #Conflicts: 1878000 | #Constraints: 51311
2974.68/2984.56 c #Conflicts: 1879000 | #Constraints: 52311
2974.68/2984.56 c #Conflicts: 1880000 | #Constraints: 53311
2974.68/2984.56 c #Conflicts: 1881000 | #Constraints: 54311
2974.68/2984.56 c INPROCESSING
2974.68/2984.56 c GARBAGE COLLECT
2974.68/2984.56 c #Conflicts: 1882000 | #Constraints: 28092
2974.68/2984.56 c #Conflicts: 1883000 | #Constraints: 29092
2974.68/2984.56 c #Conflicts: 1884000 | #Constraints: 30092
2974.68/2984.56 c #Conflicts: 1885000 | #Constraints: 31092
2974.68/2984.56 c #Conflicts: 1886000 | #Constraints: 32092
2974.68/2984.56 c #Conflicts: 1887000 | #Constraints: 33092
2974.68/2984.56 c #Conflicts: 1888000 | #Constraints: 34092
3155.43/3165.81 c #Conflicts: 1889000 | #Constraints: 35092
3155.43/3165.81 c #Conflicts: 1890000 | #Constraints: 36092
3155.43/3165.81 c #Conflicts: 1891000 | #Constraints: 37092
3155.43/3165.81 c #Conflicts: 1892000 | #Constraints: 38092
3155.43/3165.81 c #Conflicts: 1893000 | #Constraints: 39092
3155.43/3165.81 c #Conflicts: 1894000 | #Constraints: 40092
3155.43/3165.81 c #Conflicts: 1895000 | #Constraints: 41092
3155.43/3165.81 c #Conflicts: 1896000 | #Constraints: 42092
3155.43/3165.81 c #Conflicts: 1897000 | #Constraints: 43092
3155.43/3165.81 c #Conflicts: 1898000 | #Constraints: 44092
3155.43/3165.81 c #Conflicts: 1899000 | #Constraints: 45092
3155.43/3165.81 c #Conflicts: 1900000 | #Constraints: 46092
3155.43/3165.81 c #Conflicts: 1901000 | #Constraints: 47092
3155.43/3165.81 c #Conflicts: 1902000 | #Constraints: 48092
3155.43/3165.81 c #Conflicts: 1903000 | #Constraints: 49092
3155.43/3165.81 c #Conflicts: 1904000 | #Constraints: 50092
3155.43/3165.81 c #Conflicts: 1905000 | #Constraints: 51092
3155.43/3165.81 c #Conflicts: 1906000 | #Constraints: 52092
3155.43/3165.81 c #Conflicts: 1907000 | #Constraints: 53092
3155.43/3165.81 c #Conflicts: 1908000 | #Constraints: 54092
3155.43/3165.81 c #Conflicts: 1909000 | #Constraints: 55092
3155.43/3165.81 c INPROCESSING
3155.43/3165.81 c GARBAGE COLLECT
3155.43/3165.81 c #Conflicts: 1910000 | #Constraints: 28701
3155.43/3165.81 c #Conflicts: 1911000 | #Constraints: 29701
3155.43/3165.81 c #Conflicts: 1912000 | #Constraints: 30701
3155.43/3165.81 c #Conflicts: 1913000 | #Constraints: 31701
3155.43/3165.81 c #Conflicts: 1914000 | #Constraints: 32701
3155.43/3165.81 c #Conflicts: 1915000 | #Constraints: 33701
3155.43/3165.81 c #Conflicts: 1916000 | #Constraints: 34701
3155.43/3165.81 c #Conflicts: 1917000 | #Constraints: 35701
3155.43/3165.81 c #Conflicts: 1918000 | #Constraints: 36701
3155.43/3165.81 c #Conflicts: 1919000 | #Constraints: 37701
3155.43/3165.81 c #Conflicts: 1920000 | #Constraints: 38701
3155.43/3165.81 c #Conflicts: 1921000 | #Constraints: 39701
3155.43/3165.81 c #Conflicts: 1922000 | #Constraints: 40701
3155.43/3165.81 c #Conflicts: 1923000 | #Constraints: 41701
3155.43/3165.81 c #Conflicts: 1924000 | #Constraints: 42701
3155.43/3165.81 c #Conflicts: 1925000 | #Constraints: 43701
3155.43/3165.81 c #Conflicts: 1926000 | #Constraints: 44701
3155.43/3165.81 c #Conflicts: 1927000 | #Constraints: 45701
3155.43/3165.81 c #Conflicts: 1928000 | #Constraints: 46701
3155.43/3165.81 c #Conflicts: 1929000 | #Constraints: 47701
3155.43/3165.81 c #Conflicts: 1930000 | #Constraints: 48701
3155.43/3165.81 c #Conflicts: 1931000 | #Constraints: 49701
3155.43/3165.81 c #Conflicts: 1932000 | #Constraints: 50701
3155.43/3165.81 c #Conflicts: 1933000 | #Constraints: 51701
3155.43/3165.81 c #Conflicts: 1934000 | #Constraints: 52701
3155.43/3165.81 c #Conflicts: 1935000 | #Constraints: 53701
3155.43/3165.81 c #Conflicts: 1936000 | #Constraints: 54701
3155.43/3165.81 c #Conflicts: 1937000 | #Constraints: 55701
3155.43/3165.81 c INPROCESSING
3155.43/3165.81 c GARBAGE COLLECT
3155.43/3165.81 c #Conflicts: 1938000 | #Constraints: 29122
3155.43/3165.81 c #Conflicts: 1939000 | #Constraints: 30122
3155.43/3165.81 c #Conflicts: 1940000 | #Constraints: 31122
3155.43/3165.81 c #Conflicts: 1941000 | #Constraints: 32122
3155.43/3165.81 c #Conflicts: 1942000 | #Constraints: 33122
3155.43/3165.81 c #Conflicts: 1943000 | #Constraints: 34122
3155.43/3165.81 c #Conflicts: 1944000 | #Constraints: 35122
3155.43/3165.81 c #Conflicts: 1945000 | #Constraints: 36122
3155.43/3165.81 c #Conflicts: 1946000 | #Constraints: 37122
3155.43/3165.81 c #Conflicts: 1947000 | #Constraints: 38122
3155.43/3165.81 c #Conflicts: 1948000 | #Constraints: 39122
3155.43/3165.81 c #Conflicts: 1949000 | #Constraints: 40122
3155.43/3165.81 c #Conflicts: 1950000 | #Constraints: 41122
3155.43/3165.81 c #Conflicts: 1951000 | #Constraints: 42122
3155.43/3165.81 c #Conflicts: 1952000 | #Constraints: 43122
3155.43/3165.81 c #Conflicts: 1953000 | #Constraints: 44122
3155.43/3165.81 c #Conflicts: 1954000 | #Constraints: 45122
3155.43/3165.81 c #Conflicts: 1955000 | #Constraints: 46122
3155.43/3165.81 c #Conflicts: 1956000 | #Constraints: 47122
3155.43/3165.81 c #Conflicts: 1957000 | #Constraints: 48122
3155.43/3165.81 c #Conflicts: 1958000 | #Constraints: 49122
3155.43/3165.81 c #Conflicts: 1959000 | #Constraints: 50122
3155.43/3165.81 c #Conflicts: 1960000 | #Constraints: 51122
3155.43/3165.81 c #Conflicts: 1961000 | #Constraints: 52122
3155.43/3165.81 c #Conflicts: 1962000 | #Constraints: 53122
3155.43/3165.81 c #Conflicts: 1963000 | #Constraints: 54122
3155.43/3165.81 c #Conflicts: 1964000 | #Constraints: 55122
3155.43/3165.81 c #Conflicts: 1965000 | #Constraints: 56122
3155.43/3165.81 c INPROCESSING
3155.43/3165.81 c GARBAGE COLLECT
3330.99/3342.01 c #Conflicts: 1966000 | #Constraints: 29312
3330.99/3342.01 c #Conflicts: 1967000 | #Constraints: 30312
3330.99/3342.01 c #Conflicts: 1968000 | #Constraints: 31312
3330.99/3342.01 c #Conflicts: 1969000 | #Constraints: 32312
3330.99/3342.01 c #Conflicts: 1970000 | #Constraints: 33312
3330.99/3342.01 c #Conflicts: 1971000 | #Constraints: 34312
3330.99/3342.01 c #Conflicts: 1972000 | #Constraints: 35312
3330.99/3342.01 c #Conflicts: 1973000 | #Constraints: 36312
3330.99/3342.01 c #Conflicts: 1974000 | #Constraints: 37312
3330.99/3342.01 c #Conflicts: 1975000 | #Constraints: 38312
3330.99/3342.01 c #Conflicts: 1976000 | #Constraints: 39312
3330.99/3342.01 c #Conflicts: 1977000 | #Constraints: 40312
3330.99/3342.01 c #Conflicts: 1978000 | #Constraints: 41312
3330.99/3342.01 c #Conflicts: 1979000 | #Constraints: 42312
3330.99/3342.01 c #Conflicts: 1980000 | #Constraints: 43312
3330.99/3342.01 c #Conflicts: 1981000 | #Constraints: 44312
3330.99/3342.01 c #Conflicts: 1982000 | #Constraints: 45312
3330.99/3342.01 c #Conflicts: 1983000 | #Constraints: 46312
3330.99/3342.01 c #Conflicts: 1984000 | #Constraints: 47312
3330.99/3342.01 c #Conflicts: 1985000 | #Constraints: 48312
3330.99/3342.01 c #Conflicts: 1986000 | #Constraints: 49312
3330.99/3342.01 c #Conflicts: 1987000 | #Constraints: 50312
3330.99/3342.01 c #Conflicts: 1988000 | #Constraints: 51312
3330.99/3342.01 c #Conflicts: 1989000 | #Constraints: 52312
3330.99/3342.01 c #Conflicts: 1990000 | #Constraints: 53312
3330.99/3342.01 c #Conflicts: 1991000 | #Constraints: 54312
3330.99/3342.01 c #Conflicts: 1992000 | #Constraints: 55312
3330.99/3342.01 c #Conflicts: 1993000 | #Constraints: 56312
3330.99/3342.01 c INPROCESSING
3330.99/3342.01 c GARBAGE COLLECT
3330.99/3342.01 c #Conflicts: 1994000 | #Constraints: 29324
3330.99/3342.01 c #Conflicts: 1995000 | #Constraints: 30324
3330.99/3342.01 c #Conflicts: 1996000 | #Constraints: 31324
3330.99/3342.01 c #Conflicts: 1997000 | #Constraints: 32324
3330.99/3342.01 c #Conflicts: 1998000 | #Constraints: 33324
3330.99/3342.01 c #Conflicts: 1999000 | #Constraints: 34324
3330.99/3342.01 c #Conflicts: 2000000 | #Constraints: 35324
3330.99/3342.01 c #Conflicts: 2001000 | #Constraints: 36324
3330.99/3342.01 c #Conflicts: 2002000 | #Constraints: 37324
3330.99/3342.01 c #Conflicts: 2003000 | #Constraints: 38324
3330.99/3342.01 c #Conflicts: 2004000 | #Constraints: 39324
3330.99/3342.01 c #Conflicts: 2005000 | #Constraints: 40324
3330.99/3342.01 c #Conflicts: 2006000 | #Constraints: 41324
3330.99/3342.01 c #Conflicts: 2007000 | #Constraints: 42324
3330.99/3342.01 c #Conflicts: 2008000 | #Constraints: 43324
3330.99/3342.01 c #Conflicts: 2009000 | #Constraints: 44324
3330.99/3342.01 c #Conflicts: 2010000 | #Constraints: 45324
3330.99/3342.01 c #Conflicts: 2011000 | #Constraints: 46324
3330.99/3342.01 c #Conflicts: 2012000 | #Constraints: 47324
3330.99/3342.01 c #Conflicts: 2013000 | #Constraints: 48324
3330.99/3342.01 c #Conflicts: 2014000 | #Constraints: 49324
3330.99/3342.01 c #Conflicts: 2015000 | #Constraints: 50324
3330.99/3342.01 c #Conflicts: 2016000 | #Constraints: 51324
3330.99/3342.01 c #Conflicts: 2017000 | #Constraints: 52324
3330.99/3342.01 c #Conflicts: 2018000 | #Constraints: 53324
3330.99/3342.01 c #Conflicts: 2019000 | #Constraints: 54324
3330.99/3342.01 c #Conflicts: 2020000 | #Constraints: 55324
3330.99/3342.01 c #Conflicts: 2021000 | #Constraints: 56324
3330.99/3342.01 c INPROCESSING
3330.99/3342.01 c GARBAGE COLLECT
3330.99/3342.01 c #Conflicts: 2022000 | #Constraints: 29127
3330.99/3342.01 c #Conflicts: 2023000 | #Constraints: 30127
3330.99/3342.01 c #Conflicts: 2024000 | #Constraints: 31127
3330.99/3342.01 c #Conflicts: 2025000 | #Constraints: 32127
3330.99/3342.01 c #Conflicts: 2026000 | #Constraints: 33127
3330.99/3342.01 c #Conflicts: 2027000 | #Constraints: 34127
3330.99/3342.01 c #Conflicts: 2028000 | #Constraints: 35127
3330.99/3342.01 c #Conflicts: 2029000 | #Constraints: 36127
3330.99/3342.01 c #Conflicts: 2030000 | #Constraints: 37127
3330.99/3342.01 c #Conflicts: 2031000 | #Constraints: 38127
3330.99/3342.01 c #Conflicts: 2032000 | #Constraints: 39127
3330.99/3342.01 c #Conflicts: 2033000 | #Constraints: 40127
3330.99/3342.01 c #Conflicts: 2034000 | #Constraints: 41127
3330.99/3342.01 c #Conflicts: 2035000 | #Constraints: 42127
3330.99/3342.01 c #Conflicts: 2036000 | #Constraints: 43127
3330.99/3342.01 c #Conflicts: 2037000 | #Constraints: 44127
3330.99/3342.01 c #Conflicts: 2038000 | #Constraints: 45127
3330.99/3342.01 c #Conflicts: 2039000 | #Constraints: 46127
3330.99/3342.01 c #Conflicts: 2040000 | #Constraints: 47127
3330.99/3342.01 c #Conflicts: 2041000 | #Constraints: 48127
3330.99/3342.01 c #Conflicts: 2042000 | #Constraints: 49127
3330.99/3342.01 c #Conflicts: 2043000 | #Constraints: 50127
3488.09/3499.57 c #Conflicts: 2044000 | #Constraints: 51127
3488.09/3499.57 c #Conflicts: 2045000 | #Constraints: 52127
3488.09/3499.57 c #Conflicts: 2046000 | #Constraints: 53127
3488.09/3499.57 c #Conflicts: 2047000 | #Constraints: 54127
3488.09/3499.57 c #Conflicts: 2048000 | #Constraints: 55127
3488.09/3499.57 c #Conflicts: 2049000 | #Constraints: 56127
3488.09/3499.57 c #Conflicts: 2050000 | #Constraints: 57127
3488.09/3499.57 c INPROCESSING
3488.09/3499.57 c GARBAGE COLLECT
3488.09/3499.57 c #Conflicts: 2051000 | #Constraints: 29689
3488.09/3499.57 c #Conflicts: 2052000 | #Constraints: 30689
3488.09/3499.57 c #Conflicts: 2053000 | #Constraints: 31689
3488.09/3499.57 c #Conflicts: 2054000 | #Constraints: 32689
3488.09/3499.57 c #Conflicts: 2055000 | #Constraints: 33689
3488.09/3499.57 c #Conflicts: 2056000 | #Constraints: 34689
3488.09/3499.57 c #Conflicts: 2057000 | #Constraints: 35689
3488.09/3499.57 c #Conflicts: 2058000 | #Constraints: 36689
3488.09/3499.57 c #Conflicts: 2059000 | #Constraints: 37689
3488.09/3499.57 c #Conflicts: 2060000 | #Constraints: 38689
3488.09/3499.57 c #Conflicts: 2061000 | #Constraints: 39689
3488.09/3499.57 c #Conflicts: 2062000 | #Constraints: 40689
3488.09/3499.57 c #Conflicts: 2063000 | #Constraints: 41689
3488.09/3499.57 c #Conflicts: 2064000 | #Constraints: 42689
3488.09/3499.57 c #Conflicts: 2065000 | #Constraints: 43689
3488.09/3499.57 c #Conflicts: 2066000 | #Constraints: 44689
3488.09/3499.57 c #Conflicts: 2067000 | #Constraints: 45689
3488.09/3499.57 c #Conflicts: 2068000 | #Constraints: 46689
3488.09/3499.57 c #Conflicts: 2069000 | #Constraints: 47689
3488.09/3499.57 c #Conflicts: 2070000 | #Constraints: 48689
3488.09/3499.57 c #Conflicts: 2071000 | #Constraints: 49689
3488.09/3499.57 c #Conflicts: 2072000 | #Constraints: 50689
3488.09/3499.57 c #Conflicts: 2073000 | #Constraints: 51689
3488.09/3499.57 c #Conflicts: 2074000 | #Constraints: 52689
3488.09/3499.57 c #Conflicts: 2075000 | #Constraints: 53689
3488.09/3499.57 c #Conflicts: 2076000 | #Constraints: 54689
3488.09/3499.57 c #Conflicts: 2077000 | #Constraints: 55689
3488.09/3499.57 c #Conflicts: 2078000 | #Constraints: 56689
3488.09/3499.57 c #Conflicts: 2079000 | #Constraints: 57689
3488.09/3499.57 c INPROCESSING
3488.09/3499.57 c GARBAGE COLLECT
3488.09/3499.57 c #Conflicts: 2080000 | #Constraints: 30110
3488.09/3499.57 c #Conflicts: 2081000 | #Constraints: 31110
3488.09/3499.57 c #Conflicts: 2082000 | #Constraints: 32110
3488.09/3499.57 c #Conflicts: 2083000 | #Constraints: 33110
3488.09/3499.57 c #Conflicts: 2084000 | #Constraints: 34110
3488.09/3499.57 c #Conflicts: 2085000 | #Constraints: 35110
3488.09/3499.57 c #Conflicts: 2086000 | #Constraints: 36110
3488.09/3499.57 c #Conflicts: 2087000 | #Constraints: 37110
3488.09/3499.57 c #Conflicts: 2088000 | #Constraints: 38110
3488.09/3499.57 c #Conflicts: 2089000 | #Constraints: 39110
3488.09/3499.57 c #Conflicts: 2090000 | #Constraints: 40110
3488.09/3499.57 c #Conflicts: 2091000 | #Constraints: 41110
3488.09/3499.57 c #Conflicts: 2092000 | #Constraints: 42110
3488.09/3499.57 c #Conflicts: 2093000 | #Constraints: 43110
3488.09/3499.57 c #Conflicts: 2094000 | #Constraints: 44110
3488.09/3499.57 c #Conflicts: 2095000 | #Constraints: 45110
3488.09/3499.57 c #Conflicts: 2096000 | #Constraints: 46110
3488.09/3499.57 c #Conflicts: 2097000 | #Constraints: 47110
3488.09/3499.57 c #Conflicts: 2098000 | #Constraints: 48110
3488.09/3499.57 c #Conflicts: 2099000 | #Constraints: 49110
3488.09/3499.57 c #Conflicts: 2100000 | #Constraints: 50110
3488.09/3499.57 c #Conflicts: 2101000 | #Constraints: 51110
3488.09/3499.57 c #Conflicts: 2102000 | #Constraints: 52110
3488.09/3499.57 c #Conflicts: 2103000 | #Constraints: 53110
3488.09/3499.57 c #Conflicts: 2104000 | #Constraints: 54110
3488.09/3499.57 c #Conflicts: 2105000 | #Constraints: 55110
3488.09/3499.57 c #Conflicts: 2106000 | #Constraints: 56110
3488.09/3499.57 c #Conflicts: 2107000 | #Constraints: 57110
3488.09/3499.57 c #Conflicts: 2108000 | #Constraints: 58110
3488.09/3499.57 c INPROCESSING
3488.09/3499.57 c GARBAGE COLLECT
3488.09/3499.57 c #Conflicts: 2109000 | #Constraints: 30310
3488.09/3499.57 c #Conflicts: 2110000 | #Constraints: 31310
3488.09/3499.57 c #Conflicts: 2111000 | #Constraints: 32310
3488.09/3499.57 c #Conflicts: 2112000 | #Constraints: 33310
3488.09/3499.57 c #Conflicts: 2113000 | #Constraints: 34310
3488.09/3499.57 c #Conflicts: 2114000 | #Constraints: 35310
3488.09/3499.57 c #Conflicts: 2115000 | #Constraints: 36310
3488.09/3499.57 c #Conflicts: 2116000 | #Constraints: 37310
3488.09/3499.57 c #Conflicts: 2117000 | #Constraints: 38310
3488.09/3499.57 c #Conflicts: 2118000 | #Constraints: 39310
3488.09/3499.57 c #Conflicts: 2119000 | #Constraints: 40310
3488.09/3499.57 c #Conflicts: 2120000 | #Constraints: 41310
3600.00/3611.80 c #Conflicts: 2121000 | #Constraints: 42310
3600.00/3611.80 c #Conflicts: 2122000 | #Constraints: 43310
3600.00/3611.80 c #Conflicts: 2123000 | #Constraints: 44310
3600.00/3611.80 c #Conflicts: 2124000 | #Constraints: 45310
3600.00/3611.80 c #Conflicts: 2125000 | #Constraints: 46310
3600.00/3611.80 c #Conflicts: 2126000 | #Constraints: 47310
3600.00/3611.80 c #Conflicts: 2127000 | #Constraints: 48310
3600.00/3611.80 c #Conflicts: 2128000 | #Constraints: 49310
3600.00/3611.80 c #Conflicts: 2129000 | #Constraints: 50310
3600.00/3611.80 c #Conflicts: 2130000 | #Constraints: 51310
3600.00/3611.80 c #Conflicts: 2131000 | #Constraints: 52310
3600.00/3611.80 c #Conflicts: 2132000 | #Constraints: 53310
3600.00/3611.80 c #Conflicts: 2133000 | #Constraints: 54310
3600.00/3611.80 c #Conflicts: 2134000 | #Constraints: 55310
3600.00/3611.80 c #Conflicts: 2135000 | #Constraints: 56310
3600.00/3611.80 c #Conflicts: 2136000 | #Constraints: 57310
3600.00/3611.80 c #Conflicts: 2137000 | #Constraints: 58310
3600.00/3611.80 c INPROCESSING
3600.00/3611.80 c GARBAGE COLLECT
3600.00/3611.80 c #Conflicts: 2138000 | #Constraints: 30328
3600.00/3611.80 c #Conflicts: 2139000 | #Constraints: 31328
3600.00/3611.80 c #Conflicts: 2140000 | #Constraints: 32328
3600.00/3611.80 c #Conflicts: 2141000 | #Constraints: 33328
3600.00/3611.80 c #Conflicts: 2142000 | #Constraints: 34328
3600.00/3611.80 c #Conflicts: 2143000 | #Constraints: 35328
3600.00/3611.80 c #Conflicts: 2144000 | #Constraints: 36328
3600.00/3611.80 c #Conflicts: 2145000 | #Constraints: 37328
3600.00/3611.80 c #Conflicts: 2146000 | #Constraints: 38328
3600.00/3611.80 c #Conflicts: 2147000 | #Constraints: 39328
3600.00/3611.80 c #Conflicts: 2148000 | #Constraints: 40328
3600.00/3611.80 c #Conflicts: 2149000 | #Constraints: 41328
3600.00/3611.80 c #Conflicts: 2150000 | #Constraints: 42328
3600.00/3611.80 c #Conflicts: 2151000 | #Constraints: 43328
3600.00/3611.80 c #Conflicts: 2152000 | #Constraints: 44328
3600.00/3611.80 c #Conflicts: 2153000 | #Constraints: 45328
3600.00/3611.80 c #Conflicts: 2154000 | #Constraints: 46328
3600.00/3611.80 c #Conflicts: 2155000 | #Constraints: 47328
3600.00/3611.80 c #Conflicts: 2156000 | #Constraints: 48328
3600.00/3611.80 c #Conflicts: 2157000 | #Constraints: 49328
3600.00/3611.80 c #Conflicts: 2158000 | #Constraints: 50328
3600.00/3611.80 c #Conflicts: 2159000 | #Constraints: 51328
3600.00/3611.80 c #Conflicts: 2160000 | #Constraints: 52328
3600.00/3611.80 c #Conflicts: 2161000 | #Constraints: 53328
3600.00/3611.80 c #Conflicts: 2162000 | #Constraints: 54328
3600.00/3611.80 c #Conflicts: 2163000 | #Constraints: 55328
3600.00/3611.80 c #Conflicts: 2164000 | #Constraints: 56328
3600.00/3611.80 c #Conflicts: 2165000 | #Constraints: 57328
3600.00/3611.80 c #Conflicts: 2166000 | #Constraints: 58328
3600.00/3611.80 c INPROCESSING
3600.00/3611.80 c GARBAGE COLLECT
3600.00/3611.80 c #Conflicts: 2167000 | #Constraints: 30154
3600.00/3611.80 c #Conflicts: 2168000 | #Constraints: 31154
3600.00/3611.80 c #Conflicts: 2169000 | #Constraints: 32154
3600.00/3611.80 c #Conflicts: 2170000 | #Constraints: 33154
3600.00/3611.80 c #Conflicts: 2171000 | #Constraints: 34154
3600.00/3611.80 c #Conflicts: 2172000 | #Constraints: 35154
3600.00/3611.80 c #Conflicts: 2173000 | #Constraints: 36154
3600.00/3611.80 c #Conflicts: 2174000 | #Constraints: 37154
3600.00/3611.80 c #Conflicts: 2175000 | #Constraints: 38154
3600.00/3611.80 c #Conflicts: 2176000 | #Constraints: 39154
3600.00/3611.80 c #Conflicts: 2177000 | #Constraints: 40154
3600.00/3611.80 c #Conflicts: 2178000 | #Constraints: 41154
3600.00/3611.80 c cpu time 3570.16 s
3600.00/3611.80 c deterministic time 1 1.00e+00
3600.00/3611.80 c optimization time 3570.15 s
3600.00/3611.80 c total solve time 0 s
3600.00/3611.80 c core-guided solve time 0 s
3600.00/3611.80 c propagation time 0.000423 s
3600.00/3611.80 c conflict analysis time 0 s
3600.00/3611.80 c propagations 0
3600.00/3611.80 c resolve steps 0
3600.00/3611.80 c decisions 0
3600.00/3611.80 c conflicts 0
3600.00/3611.80 c restarts 0
3600.00/3611.80 c inprocessing phases 0
3600.00/3611.80 c garbage collections 0 ,( -nan )
3600.00/3611.80 c input clauses 0 ,( 0.00 )
3600.00/3611.80 c input cardinalities 20 ,( 5.13 )
3600.00/3611.80 c input general constraints 370 ,( 94.87 )
3600.00/3611.80 c input average constraint length 17.38
3600.00/3611.80 c input average constraint degree 11.54
3600.00/3611.80 c learned clauses 0 ,( 0.00 )
3600.00/3611.80 c learned cardinalities 0 ,( 0.00 )
3600.00/3611.80 c learned general constraints 0 ,( 0.00 )
3600.00/3611.80 c learned average constraint length 0.00
3600.00/3611.80 c learned average constraint degree 0.00
3600.00/3611.80 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.00/3611.80 c counting CF 32, 64, 128, Arb: 371 , 0 , 0 , 0
3600.00/3611.80 c watched constraints 0 ,( 0.00 )
3600.00/3611.80 c counting constraints 370 ,( 100.00 )
3600.00/3611.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.00/3611.80 c gcd simplifications 20
3600.00/3611.80 c detected cardinalities 0
3600.00/3611.80 c weakened non-implied lits 0
3600.00/3611.80 c weakened non-implying lits 0
3600.00/3611.80 c original variables 2340
3600.00/3611.80 c clausal propagations 0
3600.00/3611.80 c cardinality propagations 0
3600.00/3611.80 c watched propagations 0
3600.00/3611.80 c counting propagations 0
3600.00/3611.80 c watch lookups 0
3600.00/3611.80 c watch backjump lookups 0
3600.00/3611.80 c watch checks 0
3600.00/3611.80 c propagation checks 0
3600.00/3611.80 c constraint additions 0
3600.00/3611.80 c trail pops 0
3600.00/3611.80 c formula constraints 390
3600.00/3611.80 c learned constraints 0
3600.00/3611.80 c bound constraints 0
3600.00/3611.80 c core-guided constraints 0
3600.00/3611.80 c encountered formula constraints 0
3600.00/3611.80 c encountered learned constraints 0
3600.00/3611.80 c encountered bound constraints 0
3600.00/3611.80 c encountered core-guided constraints 0
3600.00/3611.80 c LP total time 0 s
3600.00/3611.80 c LP solve time 0 s
3600.00/3611.80 c LP constraints added 0
3600.00/3611.80 c LP constraints removed 0
3600.00/3611.80 c LP pivots internal 0
3600.00/3611.80 c LP pivots root 0
3600.00/3611.80 c LP calls 0
3600.00/3611.80 c LP optimalities 0
3600.00/3611.80 c LP no pivot count 0
3600.00/3611.80 c LP infeasibilities 0
3600.00/3611.80 c LP valid Farkas constraints 0
3600.00/3611.80 c LP learned Farkas constraints 0
3600.00/3611.80 c LP basis resets 0
3600.00/3611.80 c LP cycling count 0
3600.00/3611.80 c LP singular count 0
3600.00/3611.80 c LP no primal count 0
3600.00/3611.80 c LP no farkas count 0
3600.00/3611.80 c LP other issue count 0
3600.00/3611.80 c LP Gomory cuts 0
3600.00/3611.80 c LP learned cuts 0
3600.00/3611.80 c LP deleted cuts 0
3600.00/3611.80 c LP encountered Gomory constraints 0
3600.00/3611.80 c LP encountered Farkas constraints 0
3600.00/3611.80 c LP encountered learned Farkas constraints 0
3600.00/3611.80 c CG auxiliary variables introduced 0
3600.00/3611.80 c CG solutions found 0
3600.00/3611.80 c CG cores constructed 0
3600.00/3611.80 c CG core cardinality constraints returned 0
3600.00/3611.80 c CG unit cores 0
3600.00/3611.80 c CG single cores 0
3600.00/3611.80 c CG blocks removed during cardinality reduction 0
3600.00/3611.80 c CG first core best 0
3600.00/3611.80 c CG decision core best 0
3600.00/3611.80 c CG core reduction tie 0
3600.00/3611.80 c CG core degree average 0.00
3600.00/3611.80 c CG core slack average 0.00
3600.00/3611.80 c CG core upper bound improvements 0
3600.00/3611.80 c STR number of successful calls 0
3600.00/3611.80 c STR number of unsuccessful calls 0
3600.00/3611.80 c STR number of inconclusive calls 0
3600.00/3611.80 c STR number of successful attempts 0
3600.00/3611.80 c STR number of unsuccessful attempts 0
3600.00/3611.80 c STR number of inconclusive attempts 0
3600.00/3611.80 c STR average degree increase per successful call inf
3600.00/3611.80 c STR average degree increase per successful attempt inf
3600.00/3611.80 c STR total number of conflicts for successful attempts 0
3600.00/3611.80 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3611.80 c STR total number of conflicts for inconclusive attempts 0
3600.00/3611.80 c STR average number of conflicts per successful attempt inf
3600.00/3611.80 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3611.80 c STR average number of conflicts per inconclusive attempt inf
3600.00/3611.80 c AVG.sumWPerc 72.22
3600.00/3611.80 c bigint constraints 0
3600.00/3611.80 s UNKNOWN
3600.00/3611.80 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: 63837 MiB (40230 MiB free)
memory of node 1: 64465 MiB (63431 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520389-1751567875/watcher-4520389-1751567875 -o /tmp/evaluation-result-4520389-1751567875/solver-4520389-1751567875 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751560632-76500 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520389-1751567875.opb PROOFDIR/proof-4520389-1751567875
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=77320, runsolver pid=77317
[startup+0.10007 s]*
/proc/loadavg: 4.10 4.13 4.16 5/260 77322
/proc/meminfo: memFree=106119916/131382120 swapFree=33010416/33010684
[pid=77320] ppid=77317 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77320/stat : 77320 (run-opt-log.sh) S 77317 77320 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72466279 4292608 768 18446744073709551615 93915299471360 93915300365893 140732168780432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93915300604944 93915300652688 93915333713920 140732168784161 140732168784356 140732168784356 140732168789958 0
/proc/77320/statm: 1048 768 704 219 0 110 0
[pid=77322] ppid=77320 vsize=63376 memory=15988 CPUtime=0.07 cores=5,7
/proc/77322/stat : 77322 (roundingsat) R 77320 77320 76484 0 -1 4194304 1558 0 0 0 6 1 0 0 20 0 1 0 72466280 64897024 3997 18446744073709551615 4227072 8923433 140731342586160 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 13778944 140731342592338 140731342592552 140731342592552 140731342598122 0
/proc/77322/statm: 15844 3997 2304 1147 0 3271 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 67568 KiB
Current children cumulated memory: 19060 KiB
[startup+0.217978 s]*
/proc/loadavg: 4.10 4.13 4.16 5/260 77322
/proc/meminfo: memFree=106111852/131382120 swapFree=33010416/33010684
[pid=77320] ppid=77317 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77320/stat : 77320 (run-opt-log.sh) S 77317 77320 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72466279 4292608 768 18446744073709551615 93915299471360 93915300365893 140732168780432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93915300604944 93915300652688 93915333713920 140732168784161 140732168784356 140732168784356 140732168789958 0
/proc/77320/statm: 1048 768 704 219 0 110 0
[pid=77322] ppid=77320 vsize=64700 memory=17396 CPUtime=0.17 cores=5,7
/proc/77322/stat : 77322 (roundingsat) R 77320 77320 76484 0 -1 4194304 1879 0 0 0 15 2 0 0 20 0 1 0 72466280 66252800 4349 18446744073709551615 4227072 8923433 140731342586160 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 13778944 140731342592338 140731342592552 140731342592552 140731342598122 0
/proc/77322/statm: 16175 4349 2336 1147 0 3602 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 68892 KiB
Current children cumulated memory: 20468 KiB
[startup+0.31341 s]*
/proc/loadavg: 4.10 4.13 4.16 5/260 77322
/proc/meminfo: memFree=106099756/131382120 swapFree=33010416/33010684
[pid=77320] ppid=77317 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77320/stat : 77320 (run-opt-log.sh) S 77317 77320 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72466279 4292608 768 18446744073709551615 93915299471360 93915300365893 140732168780432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93915300604944 93915300652688 93915333713920 140732168784161 140732168784356 140732168784356 140732168789958 0
/proc/77320/statm: 1048 768 704 219 0 110 0
[pid=77322] ppid=77320 vsize=66944 memory=19700 CPUtime=0.26 cores=5,7
/proc/77322/stat : 77322 (roundingsat) R 77320 77320 76484 0 -1 4194304 2443 0 0 0 23 3 0 0 20 0 1 0 72466280 68550656 4925 18446744073709551615 4227072 8923433 140731342586160 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 13778944 140731342592338 140731342592552 140731342592552 140731342598122 0
/proc/77322/statm: 16736 4925 2336 1147 0 4163 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 71136 KiB
Current children cumulated memory: 22772 KiB
[startup+0.700304 s]
/proc/loadavg: 4.10 4.13 4.16 5/260 77322
/proc/meminfo: memFree=106091440/131382120 swapFree=33010416/33010684
[pid=77320] ppid=77317 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77320/stat : 77320 (run-opt-log.sh) S 77317 77320 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72466279 4292608 768 18446744073709551615 93915299471360 93915300365893 140732168780432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93915300604944 93915300652688 93915333713920 140732168784161 140732168784356 140732168784356 140732168789958 0
/proc/77320/statm: 1048 768 704 219 0 110 0
[pid=77322] ppid=77320 vsize=71452 memory=24948 CPUtime=0.6 cores=5,7
/proc/77322/stat : 77322 (roundingsat) R 77320 77320 76484 0 -1 4194304 3783 0 0 0 56 4 0 0 20 0 1 0 72466280 73166848 6237 18446744073709551615 4227072 8923433 140731342586160 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 13778944 140731342592338 140731342592552 140731342592552 140731342598122 0
/proc/77322/statm: 17863 6237 2336 1147 0 5290 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 75644 KiB
Current children cumulated memory: 28020 KiB
[startup+1.50024 s]
/proc/loadavg: 4.10 4.13 4.16 5/259 77322
/proc/meminfo: memFree=106059852/131382120 swapFree=33010416/33010684
[pid=77320] ppid=77317 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77320/stat : 77320 (run-opt-log.sh) S 77317 77320 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72466279 4292608 768 18446744073709551615 93915299471360 93915300365893 140732168780432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93915300604944 93915300652688 93915333713920 140732168784161 140732168784356 140732168784356 140732168789958 0
/proc/77320/statm: 1048 768 704 219 0 110 0
[pid=77322] ppid=77320 vsize=103512 memory=53824 CPUtime=1.39 cores=5,7
/proc/77322/stat : 77322 (roundingsat) R 77320 77320 76484 0 -1 4194304 10470 0 0 0 132 7 0 0 20 0 1 0 72466280 105996288 13456 18446744073709551615 4227072 8923433 140731342586160 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 13778944 140731342592338 140731342592552 140731342592552 140731342598122 0
/proc/77322/statm: 25878 13456 2336 1147 0 13305 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 107704 KiB
Current children cumulated memory: 56896 KiB
[startup+3.10559 s]
/proc/loadavg: 4.09 4.12 4.16 5/259 77322
/proc/meminfo: memFree=105765584/131382120 swapFree=33010416/33010684
[pid=77320] ppid=77317 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77320/stat : 77320 (run-opt-log.sh) S 77317 77320 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72466279 4292608 768 18446744073709551615 93915299471360 93915300365893 140732168780432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93915300604944 93915300652688 93915333713920 140732168784161 140732168784356 140732168784356 140732168789958 0
/proc/77320/statm: 1048 768 704 219 0 110 0
[pid=77322] ppid=77320 vsize=124424 memory=67012 CPUtime=2.97 cores=5,7
/proc/77322/stat : 77322 (roundingsat) R 77320 77320 76484 0 -1 4194304 12765 0 0 0 285 12 0 0 20 0 1 0 72466280 127410176 16753 18446744073709551615 4227072 8923433 140731342586160 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 13778944 140731342592338 140731342592552 140731342592552 140731342598122 0
/proc/77322/statm: 31106 16753 2336 1147 0 18533 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 128616 KiB
Current children cumulated memory: 70084 KiB
[startup+6.30021 s]
/proc/loadavg: 4.09 4.12 4.16 5/259 77322
/proc/meminfo: memFree=105361812/131382120 swapFree=33010416/33010684
[pid=77320] ppid=77317 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77320/stat : 77320 (run-opt-log.sh) S 77317 77320 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72466279 4292608 768 18446744073709551615 93915299471360 93915300365893 140732168780432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93915300604944 93915300652688 93915333713920 140732168784161 140732168784356 140732168784356 140732168789958 0
/proc/77320/statm: 1048 768 704 219 0 110 0
[pid=77322] ppid=77320 vsize=154296 memory=95920 CPUtime=6.14 cores=5,7
/proc/77322/stat : 77322 (roundingsat) R 77320 77320 76484 0 -1 4194304 18973 0 0 0 596 18 0 0 20 0 1 0 72466280 157999104 23980 18446744073709551615 4227072 8923433 140731342586160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13778944 140731342592338 140731342592552 140731342592552 140731342598122 0
/proc/77322/statm: 38574 23980 2336 1147 0 26001 0
Current children cumulated CPU time: 6.14 s
Current children cumulated vsize: 158488 KiB
Current children cumulated memory: 98992 KiB
[startup+12.7004 s]
/proc/loadavg: 4.16 4.14 4.16 5/258 77322
/proc/meminfo: memFree=104875776/131382120 swapFree=33010416/33010684
[pid=77320] ppid=77317 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77320/stat : 77320 (run-opt-log.sh) S 77317 77320 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72466279 4292608 768 18446744073709551615 93915299471360 93915300365893 140732168780432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93915300604944 93915300652688 93915333713920 140732168784161 140732168784356 140732168784356 140732168789958 0
/proc/77320/statm: 1048 768 704 219 0 110 0
[pid=77322] ppid=77320 vsize=226284 memory=151172 CPUtime=12.52 cores=5,7
/proc/77322/stat : 77322 (roundingsat) R 77320 77320 76484 0 -1 4194304 29205 0 0 0 1221 31 0 0 20 0 1 0 72466280 231714816 37793 18446744073709551615 4227072 8923433 140731342586160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13778944 140731342592338 140731342592552 140731342592552 140731342598122 0
/proc/77322/statm: 56571 37793 2336 1147 0 43998 0
Current children cumulated CPU time: 12.52 s
Current children cumulated vsize: 230476 KiB
Current children cumulated memory: 154244 KiB
[startup+25.5004 s]
/proc/loadavg: 4.12 4.13 4.16 5/259 77371
/proc/meminfo: memFree=127425644/131382120 swapFree=33010416/33010684
[pid=77320] ppid=77317 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77320/stat : 77320 (run-opt-log.sh) S 77317 77320 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72466279 4292608 768 18446744073709551615 93915299471360 93915300365893 140732168780432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93915300604944 93915300652688 93915333713920 140732168784161 140732168784356 140732168784356 140732168789958 0
/proc/77320/statm: 1048 768 704 219 0 110 0
[pid=77322] ppid=77320 vsize=273748 memory=197248 CPUtime=25.29 cores=5,7
/proc/77322/stat : 77322 (roundingsat) R 77320 77320 76484 0 -1 4194304 36651 0 0 0 2476 53 0 0 20 0 1 0 72466280 280317952 49312 18446744073709551615 4227072 8923433 140731342586160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13778944 140731342592338 140731342592552 140731342592552 140731342598122 0
/proc/77322/statm: 68437 49312 2336 1147 0 55864 0
Current children cumulated CPU time: 25.29 s
Current children cumulated vsize: 277940 KiB
Current children cumulated memory: 200320 KiB
[startup+51.1132 s]
/proc/loadavg: 4.08 4.12 4.16 5/260 77373
/proc/meminfo: memFree=126106664/131382120 swapFree=33010416/33010684
[pid=77320] ppid=77317 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77320/stat : 77320 (run-opt-log.sh) S 77317 77320 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72466279 4292608 768 18446744073709551615 93915299471360 93915300365893 140732168780432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93915300604944 93915300652688 93915333713920 140732168784161 140732168784356 140732168784356 140732168789958 0
/proc/77320/statm: 1048 768 704 219 0 110 0
[pid=77322] ppid=77320 vsize=431116 memory=303912 CPUtime=50.81 cores=5,7
/proc/77322/stat : 77322 (roundingsat) R 77320 77320 76484 0 -1 4194304 57674 0 0 0 4986 95 0 0 20 0 1 0 72466280 441462784 75978 18446744073709551615 4227072 8923433 140731342586160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13778944 140731342592338 140731342592552 140731342592552 140731342598122 0
/proc/77322/statm: 107779 75978 2336 1147 0 95206 0
Current children cumulated CPU time: 50.81 s
Current children cumulated vsize: 435308 KiB
Current children cumulated memory: 306984 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/260 77374
/proc/meminfo: memFree=124319640/131382120 swapFree=33010416/33010684
[pid=77320] ppid=77317 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77320/stat : 77320 (run-opt-log.sh) S 77317 77320 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72466279 4292608 768 18446744073709551615 93915299471360 93915300365893 140732168780432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93915300604944 93915300652688 93915333713920 140732168784161 140732168784356 140732168784356 140732168789958 0
/proc/77320/statm: 1048 768 704 219 0 110 0
[pid=77322] ppid=77320 vsize=451084 memory=357744 CPUtime=101.83 cores=5,7
/proc/77322/stat : 77322 (roundingsat) R 77320 77320 76484 0 -1 4194304 66052 0 0 0 10009 174 0 0 20 0 1 0 72466280 461910016 89436 18446744073709551615 4227072 8923433 140731342586160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13778944 140731342592338 140731342592552 140731342592552 140731342598122 0
/proc/77322/statm: 112771 89436 2336 1147 0 100198 0
Current children cumulated CPU time: 101.83 s
Current children cumulated vsize: 455276 KiB
Current children cumulated memory: 360816 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.16 5/260 77376
/proc/meminfo: memFree=123168264/131382120 swapFree=33010416/33010684
[pid=77320] ppid=77317 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77320/stat : 77320 (run-opt-log.sh) S 77317 77320 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72466279 4292608 768 18446744073709551615 93915299471360 93915300365893 140732168780432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93915300604944 93915300652688 93915333713920 140732168784161 140732168784356 140732168784356 140732168789958 0
/proc/77320/statm: 1048 768 704 219 0 110 0
[pid=77322] ppid=77320 vsize=711428 memory=505352 CPUtime=161.63 cores=5,7
/proc/77322/stat : 77322 (roundingsat) R 77320 77320 76484 0 -1 4194304 96300 0 0 0 15909 254 0 0 20 0 1 0 72466280 728502272 126338 18446744073709551615 4227072 8923433 140731342586160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13778944 140731342592338 140731342592552 140731342592552 140731342598122 0
/proc/77322/statm: 177857 126338 2336 1147 0 165284 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 715620 KiB
Current children cumulated memory: 508424 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/260 77378
/proc/meminfo: memFree=121508484/131382120 swapFree=33010416/33010684
[pid=77320] ppid=77317 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77320/stat : 77320 (run-opt-log.sh) S 77317 77320 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72466279 4292608 768 18446744073709551615 93915299471360 93915300365893 140732168780432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93915300604944 93915300652688 93915333713920 140732168784161 140732168784356 140732168784356 140732168789958 0
/proc/77320/statm: 1048 768 704 219 0 110 0
[pid=77322] ppid=77320 vsize=758024 memory=590512 CPUtime=221.43 cores=5,7
/proc/77322/stat : 77322 (roundingsat) R 77320 77320 76484 0 -1 4194304 108899 0 0 0 21820 323 0 0 20 0 1 0 72466280 776216576 147628 18446744073709551615 4227072 8923433 140731342586160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13778944 140731342592338 140731342592552 140731342592552 140731342598122 0
/proc/77322/statm: 189506 147628 2336 1147 0 176933 0
################
# More data... #
################
/proc/77320/stat : 77320 (run-opt-log.sh) S 77317 77320 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72466279 4292608 768 18446744073709551615 93915299471360 93915300365893 140732168780432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93915300604944 93915300652688 93915333713920 140732168784161 140732168784356 140732168784356 140732168789958 0
/proc/77320/statm: 1048 768 704 219 0 110 0
[pid=77322] ppid=77320 vsize=1762276 memory=1484316 CPUtime=3151.95 cores=5,7
/proc/77322/stat : 77322 (roundingsat) R 77320 77320 76484 0 -1 4194304 268495 0 0 0 312529 2666 0 0 20 0 1 0 72466280 1804570624 371079 18446744073709551615 4227072 8923433 140731342586160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13778944 140731342592338 140731342592552 140731342592552 140731342598122 0
/proc/77322/statm: 440569 371079 2336 1147 0 427996 0
Current children cumulated CPU time: 3151.95 s
Current children cumulated vsize: 1766468 KiB
Current children cumulated memory: 1487388 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/260 77541
/proc/meminfo: memFree=87560028/131382120 swapFree=33010416/33010684
[pid=77320] ppid=77317 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77320/stat : 77320 (run-opt-log.sh) S 77317 77320 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72466279 4292608 768 18446744073709551615 93915299471360 93915300365893 140732168780432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93915300604944 93915300652688 93915333713920 140732168784161 140732168784356 140732168784356 140732168789958 0
/proc/77320/statm: 1048 768 704 219 0 110 0
[pid=77322] ppid=77320 vsize=1763816 memory=1500668 CPUtime=3211.76 cores=5,7
/proc/77322/stat : 77322 (roundingsat) R 77320 77320 76484 0 -1 4194304 270677 0 0 0 318475 2701 0 0 20 0 1 0 72466280 1806147584 375167 18446744073709551615 4227072 8923433 140731342586160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13778944 140731342592338 140731342592552 140731342592552 140731342598122 0
/proc/77322/statm: 440954 375167 2336 1147 0 428381 0
Current children cumulated CPU time: 3211.76 s
Current children cumulated vsize: 1768008 KiB
Current children cumulated memory: 1503740 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/260 77543
/proc/meminfo: memFree=87128152/131382120 swapFree=33010416/33010684
[pid=77320] ppid=77317 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77320/stat : 77320 (run-opt-log.sh) S 77317 77320 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72466279 4292608 768 18446744073709551615 93915299471360 93915300365893 140732168780432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93915300604944 93915300652688 93915333713920 140732168784161 140732168784356 140732168784356 140732168789958 0
/proc/77320/statm: 1048 768 704 219 0 110 0
[pid=77322] ppid=77320 vsize=2132644 memory=1603872 CPUtime=3271.57 cores=5,7
/proc/77322/stat : 77322 (roundingsat) R 77320 77320 76484 0 -1 4194304 344074 0 0 0 324408 2749 0 0 20 0 1 0 72466280 2183827456 400968 18446744073709551615 4227072 8923433 140731342586160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13778944 140731342592338 140731342592552 140731342592552 140731342598122 0
/proc/77322/statm: 533161 400968 2336 1147 0 520588 0
Current children cumulated CPU time: 3271.57 s
Current children cumulated vsize: 2136836 KiB
Current children cumulated memory: 1606944 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/260 77550
/proc/meminfo: memFree=86748424/131382120 swapFree=33010416/33010684
[pid=77320] ppid=77317 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77320/stat : 77320 (run-opt-log.sh) S 77317 77320 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72466279 4292608 768 18446744073709551615 93915299471360 93915300365893 140732168780432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93915300604944 93915300652688 93915333713920 140732168784161 140732168784356 140732168784356 140732168789958 0
/proc/77320/statm: 1048 768 704 219 0 110 0
[pid=77322] ppid=77320 vsize=2132644 memory=1603872 CPUtime=3331.39 cores=5,7
/proc/77322/stat : 77322 (roundingsat) R 77320 77320 76484 0 -1 4194304 344087 0 0 0 330354 2785 0 0 20 0 1 0 72466280 2183827456 400968 18446744073709551615 4227072 8923433 140731342586160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13778944 140731342592338 140731342592552 140731342592552 140731342598122 0
/proc/77322/statm: 533161 400968 2336 1147 0 520588 0
Current children cumulated CPU time: 3331.39 s
Current children cumulated vsize: 2136836 KiB
Current children cumulated memory: 1606944 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/260 77552
/proc/meminfo: memFree=86400020/131382120 swapFree=33010416/33010684
[pid=77320] ppid=77317 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77320/stat : 77320 (run-opt-log.sh) S 77317 77320 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72466279 4292608 768 18446744073709551615 93915299471360 93915300365893 140732168780432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93915300604944 93915300652688 93915333713920 140732168784161 140732168784356 140732168784356 140732168789958 0
/proc/77320/statm: 1048 768 704 219 0 110 0
[pid=77322] ppid=77320 vsize=2131612 memory=1623472 CPUtime=3391.21 cores=5,7
/proc/77322/stat : 77322 (roundingsat) R 77320 77320 76484 0 -1 4194304 344418 0 0 0 336294 2827 0 0 20 0 1 0 72466280 2182770688 405868 18446744073709551615 4227072 8923433 140731342586160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13778944 140731342592338 140731342592552 140731342592552 140731342598122 0
/proc/77322/statm: 532903 405868 2336 1147 0 520330 0
Current children cumulated CPU time: 3391.21 s
Current children cumulated vsize: 2135804 KiB
Current children cumulated memory: 1626544 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/260 77555
/proc/meminfo: memFree=85948340/131382120 swapFree=33010416/33010684
[pid=77320] ppid=77317 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77320/stat : 77320 (run-opt-log.sh) S 77317 77320 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72466279 4292608 768 18446744073709551615 93915299471360 93915300365893 140732168780432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93915300604944 93915300652688 93915333713920 140732168784161 140732168784356 140732168784356 140732168789958 0
/proc/77320/statm: 1048 768 704 219 0 110 0
[pid=77322] ppid=77320 vsize=2131612 memory=1655600 CPUtime=3451.01 cores=5,7
/proc/77322/stat : 77322 (roundingsat) R 77320 77320 76484 0 -1 4194304 344469 0 0 0 342234 2867 0 0 20 0 1 0 72466280 2182770688 413900 18446744073709551615 4227072 8923433 140731342586160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13778944 140731342592338 140731342592552 140731342592552 140731342598122 0
/proc/77322/statm: 532903 413900 2336 1147 0 520330 0
Current children cumulated CPU time: 3451.01 s
Current children cumulated vsize: 2135804 KiB
Current children cumulated memory: 1658672 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/260 77557
/proc/meminfo: memFree=85081240/131382120 swapFree=33010416/33010684
[pid=77320] ppid=77317 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77320/stat : 77320 (run-opt-log.sh) S 77317 77320 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72466279 4292608 768 18446744073709551615 93915299471360 93915300365893 140732168780432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93915300604944 93915300652688 93915333713920 140732168784161 140732168784356 140732168784356 140732168789958 0
/proc/77320/statm: 1048 768 704 219 0 110 0
[pid=77322] ppid=77320 vsize=2131612 memory=1694896 CPUtime=3510.81 cores=5,7
/proc/77322/stat : 77322 (roundingsat) R 77320 77320 76484 0 -1 4194304 344481 0 0 0 348170 2911 0 0 20 0 1 0 72466280 2182770688 423724 18446744073709551615 4227072 8923433 140731342586160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13778944 140731342592338 140731342592552 140731342592552 140731342598122 0
/proc/77322/statm: 532903 423724 2336 1147 0 520330 0
Current children cumulated CPU time: 3510.81 s
Current children cumulated vsize: 2135804 KiB
Current children cumulated memory: 1697968 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/260 77559
/proc/meminfo: memFree=84325452/131382120 swapFree=33010416/33010684
[pid=77320] ppid=77317 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77320/stat : 77320 (run-opt-log.sh) S 77317 77320 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72466279 4292608 768 18446744073709551615 93915299471360 93915300365893 140732168780432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93915300604944 93915300652688 93915333713920 140732168784161 140732168784356 140732168784356 140732168789958 0
/proc/77320/statm: 1048 768 704 219 0 110 0
[pid=77322] ppid=77320 vsize=2131612 memory=1715376 CPUtime=3570.62 cores=5,7
/proc/77322/stat : 77322 (roundingsat) R 77320 77320 76484 0 -1 4194304 344502 0 0 0 354107 2955 0 0 20 0 1 0 72466280 2182770688 428844 18446744073709551615 4227072 8923433 140731342586160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13778944 140731342592338 140731342592552 140731342592552 140731342598122 0
/proc/77322/statm: 532903 428844 2336 1147 0 520330 0
Current children cumulated CPU time: 3570.62 s
Current children cumulated vsize: 2135804 KiB
Current children cumulated memory: 1718448 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.8 s]
/proc/loadavg: 4.12 4.11 4.09 3/251 77585
/proc/meminfo: memFree=95584252/131382120 swapFree=33010416/33010684
[pid=77320] ppid=77317 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77320/stat : 77320 (run-opt-log.sh) S 77317 77320 76484 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72466279 4292608 768 18446744073709551615 93915299471360 93915300365893 140732168780432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93915300604944 93915300652688 93915333713920 140732168784161 140732168784356 140732168784356 140732168789958 0
/proc/77320/statm: 1048 768 704 219 0 110 0
[pid=77322] ppid=77320 vsize=2131612 memory=1715376 CPUtime=3600 cores=5,7
/proc/77322/stat : 77322 (roundingsat) R 77320 77320 76484 0 -1 4194304 344512 0 0 0 357016 2984 0 0 20 0 1 0 72466280 2182770688 428844 18446744073709551615 4227072 8923433 140731342586160 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13778944 140731342592338 140731342592552 140731342592552 140731342598122 0
/proc/77322/statm: 532903 428844 2336 1147 0 520330 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2135804 KiB
Current children cumulated memory: 1718448 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.81 s]
# the end of solver process 77320 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.005287 s
Sleeping 2 seconds
[startup+3612.17 s]
# the end of solver process 77322 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3570.17 s, system=29.9456 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+3612.01 s]*
/proc/loadavg: 4.12 4.11 4.09 3/246 77600
/proc/meminfo: memFree=95623884/131382120 swapFree=33010416/33010684
[pid=77322] ppid=77317 vsize=2131612 memory=1715888 CPUtime=3600 cores=5,7
/proc/77322/stat : 77322 (roundingsat) D 77317 77320 76484 0 -1 4194304 344519 0 0 0 357016 2984 0 0 20 0 1 0 72466280 2182770688 428972 18446744073709551615 4227072 8923433 140731342586160 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 13778944 140731342592338 140731342592552 140731342592552 140731342598122 0
/proc/77322/statm: 532903 428972 2464 1147 0 520330 0
Current cumulated CPU time of completed processes: 0.005287 s
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2131612 KiB
Current children cumulated memory: 1715888 KiB
[startup+3612.11 s]
/proc/loadavg: 4.12 4.11 4.09 3/246 77600
/proc/meminfo: memFree=95623884/131382120 swapFree=33010416/33010684
[pid=77322] ppid=77317 vsize=1705128 memory=1424940 CPUtime=3600.04 cores=5,7
/proc/77322/stat : 77322 (roundingsat) R 77317 77320 76484 0 -1 4194304 344519 0 0 0 357016 2988 0 0 20 0 1 0 72466280 1746051072 356235 18446744073709551615 4227072 8923433 140731342586160 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 13778944 140731342592338 140731342592552 140731342592552 140731342598122 0
/proc/77322/statm: 426282 356235 2464 1147 0 413709 0
Current cumulated CPU time of completed processes: 0.005287 s
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1705128 KiB
Current children cumulated memory: 1424940 KiB
Child status: 2
Real time (s): 3612.17
CPU time (s): 3600.12
CPU user time (s): 3570.17
CPU system time (s): 29.9456
CPU usage (%): 99.6663
Max. virtual memory (cumulated for all children) (KiB): 2136836
Max. memory (cumulated for all children) (KiB): 1718448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.17
system time used= 29.9456
maximum resident set size= 1715888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 344741
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13714784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1810
involuntary context switches= 5794
# summary of solver processes directly reported to runsolver:
# pid: 77320,77322
# total CPU time (s): 3600.12
# total CPU user time (s): 3570.17
# total CPU system time (s): 29.9456
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.955 second user time and 36.1305 second system time
The end
Begin job on nodeC002 at 2025-07-03 20:37:55
IDJOB=4520389
IDBENCH=177928
IDSOLVER=3351
FILE ID=nodeC002/4520389-1751567875
RUNJOBID= nodeC002-1751560632-76500
SLURM_JOB_ID= 9598760
Free space on /tmp= 432668 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/normalized-linearized_pebbling_opt_layeredfan_down_r10_c20_a6.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520389-1751567875/watcher-4520389-1751567875 -o /tmp/evaluation-result-4520389-1751567875/solver-4520389-1751567875 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751560632-76500 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520389-1751567875.opb PROOFDIR/proof-4520389-1751567875
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bb8972597309f3cb9474209886ec1b04
RANDOM SEED=2059938782
nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.869
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.096
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.960
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.213
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.382
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.224
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.219
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1184.332
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 106169424 kB
MemAvailable: 121373612 kB
Buffers: 2128 kB
Cached: 15992568 kB
SwapCached: 28 kB
Active: 8915344 kB
Inactive: 15689772 kB
Active(anon): 8621652 kB
Inactive(anon): 6404 kB
Active(file): 293692 kB
Inactive(file): 15683368 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 112792 kB
Writeback: 0 kB
AnonPages: 8613220 kB
Mapped: 112480 kB
Shmem: 17932 kB
KReclaimable: 133512 kB
Slab: 221468 kB
SReclaimable: 133512 kB
SUnreclaim: 87956 kB
KernelStack: 4080 kB
PageTables: 20976 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 11011300 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5259264 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: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432664 MiB
End job on nodeC002 at 2025-07-03 21:38:07