0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.18/0.21 c [STEP] preprocessing with Papilo
0.38/0.47 c Papilo could not simplify the problem
0.38/0.47 c [STEP] solving with SCIP
299.66/300.65 c [STEP] preprocessing done, loading into solver
299.86/300.80 c [STEP] solving
299.86/300.80 c #variables 1273 #constraints 94227
299.86/300.80 c SMALL=int, LARGE=long long
299.86/300.80 d SCIPUB -44
299.86/300.80 c bounds - >= -1272 @ 299.438
299.86/300.80 c stratification level: 0
329.99/331.04 c bounds - >= -238 @ 299.495
329.99/331.04 c bounds - >= -237 @ 299.496
329.99/331.04 c bounds - >= -236 @ 299.496
329.99/331.04 c bounds - >= -235 @ 299.496
329.99/331.04 c bounds - >= -234 @ 299.496
329.99/331.04 c bounds - >= -233 @ 299.497
329.99/331.04 c bounds - >= -232 @ 299.497
329.99/331.04 c bounds - >= -231 @ 299.497
329.99/331.04 c bounds - >= -230 @ 299.497
329.99/331.04 c bounds - >= -229 @ 299.498
329.99/331.04 c bounds - >= -228 @ 299.498
329.99/331.04 c bounds - >= -227 @ 299.498
329.99/331.04 c bounds - >= -226 @ 299.499
329.99/331.04 c bounds - >= -225 @ 299.499
329.99/331.04 c bounds - >= -224 @ 299.5
329.99/331.04 c bounds - >= -223 @ 299.5
329.99/331.04 c bounds - >= -222 @ 299.501
329.99/331.04 c bounds - >= -221 @ 299.502
329.99/331.04 c bounds - >= -220 @ 299.502
329.99/331.04 c bounds - >= -219 @ 299.503
329.99/331.04 c bounds - >= -218 @ 299.504
329.99/331.04 c bounds - >= -217 @ 299.505
329.99/331.04 c bounds - >= -216 @ 299.505
329.99/331.04 c bounds - >= -215 @ 299.505
329.99/331.04 c bounds - >= -214 @ 299.505
329.99/331.04 c bounds - >= -213 @ 299.506
329.99/331.04 c bounds - >= -212 @ 299.507
329.99/331.04 c bounds - >= -211 @ 299.508
329.99/331.04 c bounds - >= -210 @ 299.508
329.99/331.04 c bounds - >= -209 @ 299.509
329.99/331.04 c bounds - >= -208 @ 299.51
329.99/331.04 c #Conflicts: 1000 | #Constraints: 95495
329.99/331.04 c #Conflicts: 2000 | #Constraints: 96495
329.99/331.04 c INPROCESSING
329.99/331.04 c GARBAGE COLLECT
329.99/331.04 c #Conflicts: 3000 | #Constraints: 96465
329.99/331.04 c #Conflicts: 4000 | #Constraints: 97465
329.99/331.04 c INPROCESSING
329.99/331.04 c GARBAGE COLLECT
329.99/331.04 c #Conflicts: 5000 | #Constraints: 96871
329.99/331.04 c #Conflicts: 6000 | #Constraints: 97871
329.99/331.04 c INPROCESSING
329.99/331.04 c GARBAGE COLLECT
329.99/331.04 c #Conflicts: 7000 | #Constraints: 96875
329.99/331.04 c #Conflicts: 8000 | #Constraints: 97875
329.99/331.04 c #Conflicts: 9000 | #Constraints: 98875
329.99/331.04 c INPROCESSING
329.99/331.04 c GARBAGE COLLECT
329.99/331.04 c #Conflicts: 10000 | #Constraints: 97573
329.99/331.04 c #Conflicts: 11000 | #Constraints: 98573
329.99/331.04 c #Conflicts: 12000 | #Constraints: 99573
329.99/331.04 c INPROCESSING
329.99/331.04 c GARBAGE COLLECT
329.99/331.04 c #Conflicts: 13000 | #Constraints: 98024
329.99/331.04 c #Conflicts: 14000 | #Constraints: 99024
329.99/331.04 c #Conflicts: 15000 | #Constraints: 100024
329.99/331.04 c INPROCESSING
329.99/331.04 c GARBAGE COLLECT
329.99/331.04 c #Conflicts: 16000 | #Constraints: 98258
329.99/331.04 c #Conflicts: 17000 | #Constraints: 99258
329.99/331.04 c #Conflicts: 18000 | #Constraints: 100258
329.99/331.04 c INPROCESSING
329.99/331.04 c GARBAGE COLLECT
329.99/331.04 c #Conflicts: 19000 | #Constraints: 98272
329.99/331.04 c #Conflicts: 20000 | #Constraints: 99272
329.99/331.04 c #Conflicts: 21000 | #Constraints: 100272
329.99/331.04 c INPROCESSING
329.99/331.04 c GARBAGE COLLECT
329.99/331.04 c #Conflicts: 22000 | #Constraints: 98081
329.99/331.04 c #Conflicts: 23000 | #Constraints: 99081
329.99/331.04 c #Conflicts: 24000 | #Constraints: 100081
329.99/331.04 c #Conflicts: 25000 | #Constraints: 101081
329.99/331.04 c INPROCESSING
329.99/331.04 c GARBAGE COLLECT
329.99/331.04 c #Conflicts: 26000 | #Constraints: 98684
329.99/331.04 c #Conflicts: 27000 | #Constraints: 99684
329.99/331.04 c #Conflicts: 28000 | #Constraints: 100684
329.99/331.04 c #Conflicts: 29000 | #Constraints: 101684
329.99/331.04 c INPROCESSING
329.99/331.04 c GARBAGE COLLECT
329.99/331.04 c #Conflicts: 30000 | #Constraints: 99089
329.99/331.04 c #Conflicts: 31000 | #Constraints: 100089
329.99/331.04 c #Conflicts: 32000 | #Constraints: 101089
329.99/331.04 c #Conflicts: 33000 | #Constraints: 102089
329.99/331.04 c INPROCESSING
329.99/331.04 c GARBAGE COLLECT
329.99/331.04 c #Conflicts: 34000 | #Constraints: 99298
329.99/331.04 c #Conflicts: 35000 | #Constraints: 100298
329.99/331.04 c #Conflicts: 36000 | #Constraints: 101298
329.99/331.04 c #Conflicts: 37000 | #Constraints: 102298
329.99/331.04 c INPROCESSING
329.99/331.04 c GARBAGE COLLECT
329.99/331.04 c #Conflicts: 38000 | #Constraints: 99298
329.99/331.04 c #Conflicts: 39000 | #Constraints: 100298
329.99/331.04 c #Conflicts: 40000 | #Constraints: 101298
329.99/331.04 c #Conflicts: 41000 | #Constraints: 102298
329.99/331.04 c INPROCESSING
329.99/331.04 c GARBAGE COLLECT
329.99/331.04 c #Conflicts: 42000 | #Constraints: 99098
329.99/331.04 c #Conflicts: 43000 | #Constraints: 100098
329.99/331.04 c #Conflicts: 44000 | #Constraints: 101098
329.99/331.04 c #Conflicts: 45000 | #Constraints: 102098
329.99/331.04 c #Conflicts: 46000 | #Constraints: 103098
329.99/331.04 c INPROCESSING
329.99/331.04 c GARBAGE COLLECT
329.99/331.04 c #Conflicts: 47000 | #Constraints: 99695
329.99/331.04 c #Conflicts: 48000 | #Constraints: 100695
329.99/331.04 c #Conflicts: 49000 | #Constraints: 101695
329.99/331.04 c #Conflicts: 50000 | #Constraints: 102695
329.99/331.04 c #Conflicts: 51000 | #Constraints: 103695
329.99/331.04 c INPROCESSING
329.99/331.04 c GARBAGE COLLECT
329.99/331.04 c #Conflicts: 52000 | #Constraints: 100097
329.99/331.04 c #Conflicts: 53000 | #Constraints: 101097
392.93/394.13 c #Conflicts: 54000 | #Constraints: 102097
392.93/394.13 c #Conflicts: 55000 | #Constraints: 103097
392.93/394.13 c #Conflicts: 56000 | #Constraints: 104097
392.93/394.13 c INPROCESSING
392.93/394.13 c GARBAGE COLLECT
392.93/394.13 c #Conflicts: 57000 | #Constraints: 100301
392.93/394.13 c #Conflicts: 58000 | #Constraints: 101301
392.93/394.13 c #Conflicts: 59000 | #Constraints: 102301
392.93/394.13 c #Conflicts: 60000 | #Constraints: 103301
392.93/394.13 c #Conflicts: 61000 | #Constraints: 104301
392.93/394.13 c INPROCESSING
392.93/394.13 c GARBAGE COLLECT
392.93/394.13 c #Conflicts: 62000 | #Constraints: 100300
392.93/394.13 c #Conflicts: 63000 | #Constraints: 101300
392.93/394.13 c #Conflicts: 64000 | #Constraints: 102300
392.93/394.13 c #Conflicts: 65000 | #Constraints: 103300
392.93/394.13 c #Conflicts: 66000 | #Constraints: 104300
392.93/394.13 c INPROCESSING
392.93/394.13 c GARBAGE COLLECT
392.93/394.13 c #Conflicts: 67000 | #Constraints: 100091
392.93/394.13 c #Conflicts: 68000 | #Constraints: 101091
392.93/394.13 c #Conflicts: 69000 | #Constraints: 102091
392.93/394.13 c #Conflicts: 70000 | #Constraints: 103091
392.93/394.13 c #Conflicts: 71000 | #Constraints: 104091
392.93/394.13 c #Conflicts: 72000 | #Constraints: 105091
392.93/394.13 c INPROCESSING
392.93/394.13 c GARBAGE COLLECT
392.93/394.13 c #Conflicts: 73000 | #Constraints: 100694
392.93/394.13 c #Conflicts: 74000 | #Constraints: 101694
392.93/394.13 c #Conflicts: 75000 | #Constraints: 102694
392.93/394.13 c #Conflicts: 76000 | #Constraints: 103694
392.93/394.13 c #Conflicts: 77000 | #Constraints: 104694
392.93/394.13 c #Conflicts: 78000 | #Constraints: 105694
392.93/394.13 c INPROCESSING
392.93/394.13 c GARBAGE COLLECT
392.93/394.13 c #Conflicts: 79000 | #Constraints: 101089
392.93/394.13 c #Conflicts: 80000 | #Constraints: 102089
392.93/394.13 c #Conflicts: 81000 | #Constraints: 103089
392.93/394.13 c #Conflicts: 82000 | #Constraints: 104089
392.93/394.13 c #Conflicts: 83000 | #Constraints: 105089
392.93/394.13 c #Conflicts: 84000 | #Constraints: 106089
392.93/394.13 c INPROCESSING
392.93/394.13 c GARBAGE COLLECT
392.93/394.13 c #Conflicts: 85000 | #Constraints: 101297
392.93/394.13 c #Conflicts: 86000 | #Constraints: 102297
392.93/394.13 c #Conflicts: 87000 | #Constraints: 103297
392.93/394.13 c #Conflicts: 88000 | #Constraints: 104297
392.93/394.13 c #Conflicts: 89000 | #Constraints: 105297
392.93/394.13 c #Conflicts: 90000 | #Constraints: 106297
392.93/394.13 c INPROCESSING
392.93/394.13 c GARBAGE COLLECT
392.93/394.13 c #Conflicts: 91000 | #Constraints: 101296
392.93/394.13 c #Conflicts: 92000 | #Constraints: 102296
392.93/394.13 c #Conflicts: 93000 | #Constraints: 103296
392.93/394.13 c #Conflicts: 94000 | #Constraints: 104296
392.93/394.13 c #Conflicts: 95000 | #Constraints: 105296
392.93/394.13 c #Conflicts: 96000 | #Constraints: 106296
392.93/394.13 c INPROCESSING
392.93/394.13 c GARBAGE COLLECT
392.93/394.13 c #Conflicts: 97000 | #Constraints: 101122
392.93/394.13 c #Conflicts: 98000 | #Constraints: 102122
392.93/394.13 c #Conflicts: 99000 | #Constraints: 103122
392.93/394.13 c #Conflicts: 100000 | #Constraints: 104122
392.93/394.13 c #Conflicts: 101000 | #Constraints: 105122
392.93/394.13 c #Conflicts: 102000 | #Constraints: 106122
392.93/394.13 c #Conflicts: 103000 | #Constraints: 107122
392.93/394.13 c INPROCESSING
392.93/394.13 c GARBAGE COLLECT
392.93/394.13 c #Conflicts: 104000 | #Constraints: 101722
392.93/394.13 c #Conflicts: 105000 | #Constraints: 102722
392.93/394.13 c #Conflicts: 106000 | #Constraints: 103722
392.93/394.13 c #Conflicts: 107000 | #Constraints: 104722
392.93/394.13 c #Conflicts: 108000 | #Constraints: 105722
392.93/394.13 c #Conflicts: 109000 | #Constraints: 106722
392.93/394.13 c #Conflicts: 110000 | #Constraints: 107722
392.93/394.13 c INPROCESSING
392.93/394.13 c GARBAGE COLLECT
392.93/394.13 c #Conflicts: 111000 | #Constraints: 102122
392.93/394.13 c #Conflicts: 112000 | #Constraints: 103122
392.93/394.13 c #Conflicts: 113000 | #Constraints: 104122
392.93/394.13 c #Conflicts: 114000 | #Constraints: 105122
392.93/394.13 c #Conflicts: 115000 | #Constraints: 106122
392.93/394.13 c #Conflicts: 116000 | #Constraints: 107122
392.93/394.13 c #Conflicts: 117000 | #Constraints: 108122
392.93/394.13 c INPROCESSING
392.93/394.13 c GARBAGE COLLECT
392.93/394.13 c #Conflicts: 118000 | #Constraints: 102316
392.93/394.13 c #Conflicts: 119000 | #Constraints: 103316
392.93/394.13 c #Conflicts: 120000 | #Constraints: 104316
392.93/394.13 c #Conflicts: 121000 | #Constraints: 105316
392.93/394.13 c #Conflicts: 122000 | #Constraints: 106316
392.93/394.13 c #Conflicts: 123000 | #Constraints: 107316
392.93/394.13 c #Conflicts: 124000 | #Constraints: 108316
473.13/474.56 c INPROCESSING
473.13/474.56 c GARBAGE COLLECT
473.13/474.56 c #Conflicts: 125000 | #Constraints: 102317
473.13/474.56 c #Conflicts: 126000 | #Constraints: 103317
473.13/474.56 c #Conflicts: 127000 | #Constraints: 104317
473.13/474.56 c #Conflicts: 128000 | #Constraints: 105317
473.13/474.56 c #Conflicts: 129000 | #Constraints: 106317
473.13/474.56 c #Conflicts: 130000 | #Constraints: 107317
473.13/474.56 c #Conflicts: 131000 | #Constraints: 108317
473.13/474.56 c INPROCESSING
473.13/474.56 c GARBAGE COLLECT
473.13/474.56 c #Conflicts: 132000 | #Constraints: 102119
473.13/474.56 c #Conflicts: 133000 | #Constraints: 103119
473.13/474.56 c #Conflicts: 134000 | #Constraints: 104119
473.13/474.56 c #Conflicts: 135000 | #Constraints: 105119
473.13/474.56 c #Conflicts: 136000 | #Constraints: 106119
473.13/474.56 c #Conflicts: 137000 | #Constraints: 107119
473.13/474.56 c #Conflicts: 138000 | #Constraints: 108119
473.13/474.56 c #Conflicts: 139000 | #Constraints: 109119
473.13/474.56 c INPROCESSING
473.13/474.56 c GARBAGE COLLECT
473.13/474.56 c #Conflicts: 140000 | #Constraints: 102727
473.13/474.56 c #Conflicts: 141000 | #Constraints: 103727
473.13/474.56 c #Conflicts: 142000 | #Constraints: 104727
473.13/474.56 c #Conflicts: 143000 | #Constraints: 105727
473.13/474.56 c #Conflicts: 144000 | #Constraints: 106727
473.13/474.56 c #Conflicts: 145000 | #Constraints: 107727
473.13/474.56 c #Conflicts: 146000 | #Constraints: 108727
473.13/474.56 c #Conflicts: 147000 | #Constraints: 109727
473.13/474.56 c INPROCESSING
473.13/474.56 c GARBAGE COLLECT
473.13/474.56 c #Conflicts: 148000 | #Constraints: 103120
473.13/474.56 c #Conflicts: 149000 | #Constraints: 104120
473.13/474.56 c #Conflicts: 150000 | #Constraints: 105120
473.13/474.56 c #Conflicts: 151000 | #Constraints: 106120
473.13/474.56 c #Conflicts: 152000 | #Constraints: 107120
473.13/474.56 c #Conflicts: 153000 | #Constraints: 108120
473.13/474.56 c #Conflicts: 154000 | #Constraints: 109120
473.13/474.56 c #Conflicts: 155000 | #Constraints: 110120
473.13/474.56 c INPROCESSING
473.13/474.56 c GARBAGE COLLECT
473.13/474.56 c #Conflicts: 156000 | #Constraints: 103315
473.13/474.56 c #Conflicts: 157000 | #Constraints: 104315
473.13/474.56 c #Conflicts: 158000 | #Constraints: 105315
473.13/474.56 c #Conflicts: 159000 | #Constraints: 106315
473.13/474.56 c #Conflicts: 160000 | #Constraints: 107315
473.13/474.56 c #Conflicts: 161000 | #Constraints: 108315
473.13/474.56 c #Conflicts: 162000 | #Constraints: 109315
473.13/474.56 c #Conflicts: 163000 | #Constraints: 110315
473.13/474.56 c INPROCESSING
473.13/474.56 c GARBAGE COLLECT
473.13/474.56 c #Conflicts: 164000 | #Constraints: 103338
473.13/474.56 c #Conflicts: 165000 | #Constraints: 104338
473.13/474.56 c #Conflicts: 166000 | #Constraints: 105338
473.13/474.56 c #Conflicts: 167000 | #Constraints: 106338
473.13/474.56 c #Conflicts: 168000 | #Constraints: 107338
473.13/474.56 c #Conflicts: 169000 | #Constraints: 108338
473.13/474.56 c #Conflicts: 170000 | #Constraints: 109338
473.13/474.56 c #Conflicts: 171000 | #Constraints: 110338
473.13/474.56 c INPROCESSING
473.13/474.56 c GARBAGE COLLECT
473.13/474.56 c #Conflicts: 172000 | #Constraints: 103119
473.13/474.56 c #Conflicts: 173000 | #Constraints: 104119
473.13/474.56 c #Conflicts: 174000 | #Constraints: 105119
473.13/474.56 c #Conflicts: 175000 | #Constraints: 106119
473.13/474.56 c #Conflicts: 176000 | #Constraints: 107119
473.13/474.56 c #Conflicts: 177000 | #Constraints: 108119
473.13/474.56 c #Conflicts: 178000 | #Constraints: 109119
473.13/474.56 c #Conflicts: 179000 | #Constraints: 110119
473.13/474.56 c #Conflicts: 180000 | #Constraints: 111119
473.13/474.56 c INPROCESSING
473.13/474.56 c GARBAGE COLLECT
473.13/474.56 c #Conflicts: 181000 | #Constraints: 103719
473.13/474.56 c #Conflicts: 182000 | #Constraints: 104719
473.13/474.56 c #Conflicts: 183000 | #Constraints: 105719
473.13/474.56 c #Conflicts: 184000 | #Constraints: 106719
473.13/474.56 c #Conflicts: 185000 | #Constraints: 107719
473.13/474.56 c #Conflicts: 186000 | #Constraints: 108719
473.13/474.56 c #Conflicts: 187000 | #Constraints: 109719
473.13/474.56 c #Conflicts: 188000 | #Constraints: 110719
473.13/474.56 c #Conflicts: 189000 | #Constraints: 111719
473.13/474.56 c INPROCESSING
473.13/474.56 c GARBAGE COLLECT
473.13/474.56 c #Conflicts: 190000 | #Constraints: 104125
473.13/474.56 c #Conflicts: 191000 | #Constraints: 105125
473.13/474.56 c #Conflicts: 192000 | #Constraints: 106125
473.13/474.56 c #Conflicts: 193000 | #Constraints: 107125
473.13/474.56 c #Conflicts: 194000 | #Constraints: 108125
473.13/474.56 c #Conflicts: 195000 | #Constraints: 109125
473.13/474.56 c #Conflicts: 196000 | #Constraints: 110125
473.13/474.56 c #Conflicts: 197000 | #Constraints: 111125
565.00/566.65 c #Conflicts: 198000 | #Constraints: 112125
565.00/566.65 c INPROCESSING
565.00/566.65 c GARBAGE COLLECT
565.00/566.65 c #Conflicts: 199000 | #Constraints: 104334
565.00/566.65 c #Conflicts: 200000 | #Constraints: 105334
565.00/566.65 c #Conflicts: 201000 | #Constraints: 106334
565.00/566.65 c #Conflicts: 202000 | #Constraints: 107334
565.00/566.65 c #Conflicts: 203000 | #Constraints: 108334
565.00/566.65 c #Conflicts: 204000 | #Constraints: 109334
565.00/566.65 c #Conflicts: 205000 | #Constraints: 110334
565.00/566.65 c #Conflicts: 206000 | #Constraints: 111334
565.00/566.65 c #Conflicts: 207000 | #Constraints: 112334
565.00/566.65 c INPROCESSING
565.00/566.65 c GARBAGE COLLECT
565.00/566.65 c #Conflicts: 208000 | #Constraints: 104359
565.00/566.65 c #Conflicts: 209000 | #Constraints: 105359
565.00/566.65 c #Conflicts: 210000 | #Constraints: 106359
565.00/566.65 c #Conflicts: 211000 | #Constraints: 107359
565.00/566.65 c #Conflicts: 212000 | #Constraints: 108359
565.00/566.65 c #Conflicts: 213000 | #Constraints: 109359
565.00/566.65 c #Conflicts: 214000 | #Constraints: 110359
565.00/566.65 c #Conflicts: 215000 | #Constraints: 111359
565.00/566.65 c #Conflicts: 216000 | #Constraints: 112359
565.00/566.65 c INPROCESSING
565.00/566.65 c GARBAGE COLLECT
565.00/566.65 c #Conflicts: 217000 | #Constraints: 104155
565.00/566.65 c #Conflicts: 218000 | #Constraints: 105155
565.00/566.65 c #Conflicts: 219000 | #Constraints: 106155
565.00/566.65 c #Conflicts: 220000 | #Constraints: 107155
565.00/566.65 c #Conflicts: 221000 | #Constraints: 108155
565.00/566.65 c #Conflicts: 222000 | #Constraints: 109155
565.00/566.65 c #Conflicts: 223000 | #Constraints: 110155
565.00/566.65 c #Conflicts: 224000 | #Constraints: 111155
565.00/566.65 c #Conflicts: 225000 | #Constraints: 112155
565.00/566.65 c #Conflicts: 226000 | #Constraints: 113155
565.00/566.65 c INPROCESSING
565.00/566.65 c GARBAGE COLLECT
565.00/566.65 c #Conflicts: 227000 | #Constraints: 104755
565.00/566.65 c #Conflicts: 228000 | #Constraints: 105755
565.00/566.65 c #Conflicts: 229000 | #Constraints: 106755
565.00/566.65 c #Conflicts: 230000 | #Constraints: 107755
565.00/566.65 c #Conflicts: 231000 | #Constraints: 108755
565.00/566.65 c #Conflicts: 232000 | #Constraints: 109755
565.00/566.65 c #Conflicts: 233000 | #Constraints: 110755
565.00/566.65 c #Conflicts: 234000 | #Constraints: 111755
565.00/566.65 c #Conflicts: 235000 | #Constraints: 112755
565.00/566.65 c #Conflicts: 236000 | #Constraints: 113755
565.00/566.65 c INPROCESSING
565.00/566.65 c GARBAGE COLLECT
565.00/566.65 c #Conflicts: 237000 | #Constraints: 105150
565.00/566.65 c #Conflicts: 238000 | #Constraints: 106150
565.00/566.65 c #Conflicts: 239000 | #Constraints: 107150
565.00/566.65 c #Conflicts: 240000 | #Constraints: 108150
565.00/566.65 c #Conflicts: 241000 | #Constraints: 109150
565.00/566.65 c #Conflicts: 242000 | #Constraints: 110150
565.00/566.65 c #Conflicts: 243000 | #Constraints: 111150
565.00/566.65 c #Conflicts: 244000 | #Constraints: 112150
565.00/566.65 c #Conflicts: 245000 | #Constraints: 113150
565.00/566.65 c #Conflicts: 246000 | #Constraints: 114150
565.00/566.65 c INPROCESSING
565.00/566.65 c GARBAGE COLLECT
565.00/566.65 c #Conflicts: 247000 | #Constraints: 105341
565.00/566.65 c #Conflicts: 248000 | #Constraints: 106341
565.00/566.65 c #Conflicts: 249000 | #Constraints: 107341
565.00/566.65 c #Conflicts: 250000 | #Constraints: 108341
565.00/566.65 c #Conflicts: 251000 | #Constraints: 109341
565.00/566.65 c #Conflicts: 252000 | #Constraints: 110341
565.00/566.65 c #Conflicts: 253000 | #Constraints: 111341
565.00/566.65 c #Conflicts: 254000 | #Constraints: 112341
565.00/566.65 c #Conflicts: 255000 | #Constraints: 113341
565.00/566.65 c #Conflicts: 256000 | #Constraints: 114341
565.00/566.65 c INPROCESSING
565.00/566.65 c GARBAGE COLLECT
565.00/566.65 c #Conflicts: 257000 | #Constraints: 105336
565.00/566.65 c #Conflicts: 258000 | #Constraints: 106336
565.00/566.65 c #Conflicts: 259000 | #Constraints: 107336
565.00/566.65 c #Conflicts: 260000 | #Constraints: 108336
565.00/566.65 c #Conflicts: 261000 | #Constraints: 109336
565.00/566.65 c #Conflicts: 262000 | #Constraints: 110336
565.00/566.65 c #Conflicts: 263000 | #Constraints: 111336
565.00/566.65 c #Conflicts: 264000 | #Constraints: 112336
565.00/566.65 c #Conflicts: 265000 | #Constraints: 113336
565.00/566.65 c #Conflicts: 266000 | #Constraints: 114336
565.00/566.65 c INPROCESSING
565.00/566.65 c GARBAGE COLLECT
565.00/566.65 c #Conflicts: 267000 | #Constraints: 105130
565.00/566.65 c #Conflicts: 268000 | #Constraints: 106130
565.00/566.65 c #Conflicts: 269000 | #Constraints: 107130
565.00/566.65 c #Conflicts: 270000 | #Constraints: 108130
565.00/566.65 c #Conflicts: 271000 | #Constraints: 109130
674.82/676.78 c #Conflicts: 272000 | #Constraints: 110130
674.82/676.78 c #Conflicts: 273000 | #Constraints: 111130
674.82/676.78 c #Conflicts: 274000 | #Constraints: 112130
674.82/676.78 c #Conflicts: 275000 | #Constraints: 113130
674.82/676.78 c #Conflicts: 276000 | #Constraints: 114130
674.82/676.78 c #Conflicts: 277000 | #Constraints: 115130
674.82/676.78 c INPROCESSING
674.82/676.78 c GARBAGE COLLECT
674.82/676.78 c #Conflicts: 278000 | #Constraints: 105732
674.82/676.78 c #Conflicts: 279000 | #Constraints: 106732
674.82/676.78 c #Conflicts: 280000 | #Constraints: 107732
674.82/676.78 c #Conflicts: 281000 | #Constraints: 108732
674.82/676.78 c #Conflicts: 282000 | #Constraints: 109732
674.82/676.78 c #Conflicts: 283000 | #Constraints: 110732
674.82/676.78 c #Conflicts: 284000 | #Constraints: 111732
674.82/676.78 c #Conflicts: 285000 | #Constraints: 112732
674.82/676.78 c #Conflicts: 286000 | #Constraints: 113732
674.82/676.78 c #Conflicts: 287000 | #Constraints: 114732
674.82/676.78 c #Conflicts: 288000 | #Constraints: 115732
674.82/676.78 c INPROCESSING
674.82/676.78 c GARBAGE COLLECT
674.82/676.78 c #Conflicts: 289000 | #Constraints: 106153
674.82/676.78 c #Conflicts: 290000 | #Constraints: 107153
674.82/676.78 c #Conflicts: 291000 | #Constraints: 108153
674.82/676.78 c #Conflicts: 292000 | #Constraints: 109153
674.82/676.78 c #Conflicts: 293000 | #Constraints: 110153
674.82/676.78 c #Conflicts: 294000 | #Constraints: 111153
674.82/676.78 c #Conflicts: 295000 | #Constraints: 112153
674.82/676.78 c #Conflicts: 296000 | #Constraints: 113153
674.82/676.78 c #Conflicts: 297000 | #Constraints: 114153
674.82/676.78 c #Conflicts: 298000 | #Constraints: 115153
674.82/676.78 c #Conflicts: 299000 | #Constraints: 116153
674.82/676.78 c INPROCESSING
674.82/676.78 c GARBAGE COLLECT
674.82/676.78 c #Conflicts: 300000 | #Constraints: 106347
674.82/676.78 c #Conflicts: 301000 | #Constraints: 107347
674.82/676.78 c #Conflicts: 302000 | #Constraints: 108347
674.82/676.78 c #Conflicts: 303000 | #Constraints: 109347
674.82/676.78 c #Conflicts: 304000 | #Constraints: 110347
674.82/676.78 c #Conflicts: 305000 | #Constraints: 111347
674.82/676.78 c #Conflicts: 306000 | #Constraints: 112347
674.82/676.78 c #Conflicts: 307000 | #Constraints: 113347
674.82/676.78 c #Conflicts: 308000 | #Constraints: 114347
674.82/676.78 c #Conflicts: 309000 | #Constraints: 115347
674.82/676.78 c #Conflicts: 310000 | #Constraints: 116347
674.82/676.78 c INPROCESSING
674.82/676.78 c GARBAGE COLLECT
674.82/676.78 c #Conflicts: 311000 | #Constraints: 106344
674.82/676.78 c #Conflicts: 312000 | #Constraints: 107344
674.82/676.78 c #Conflicts: 313000 | #Constraints: 108344
674.82/676.78 c #Conflicts: 314000 | #Constraints: 109344
674.82/676.78 c #Conflicts: 315000 | #Constraints: 110344
674.82/676.78 c #Conflicts: 316000 | #Constraints: 111344
674.82/676.78 c #Conflicts: 317000 | #Constraints: 112344
674.82/676.78 c #Conflicts: 318000 | #Constraints: 113344
674.82/676.78 c #Conflicts: 319000 | #Constraints: 114344
674.82/676.78 c #Conflicts: 320000 | #Constraints: 115344
674.82/676.78 c #Conflicts: 321000 | #Constraints: 116344
674.82/676.78 c INPROCESSING
674.82/676.78 c GARBAGE COLLECT
674.82/676.78 c #Conflicts: 322000 | #Constraints: 106139
674.82/676.78 c #Conflicts: 323000 | #Constraints: 107139
674.82/676.78 c #Conflicts: 324000 | #Constraints: 108139
674.82/676.78 c #Conflicts: 325000 | #Constraints: 109139
674.82/676.78 c #Conflicts: 326000 | #Constraints: 110139
674.82/676.78 c #Conflicts: 327000 | #Constraints: 111139
674.82/676.78 c #Conflicts: 328000 | #Constraints: 112139
674.82/676.78 c #Conflicts: 329000 | #Constraints: 113139
674.82/676.78 c #Conflicts: 330000 | #Constraints: 114139
674.82/676.78 c #Conflicts: 331000 | #Constraints: 115139
674.82/676.78 c #Conflicts: 332000 | #Constraints: 116139
674.82/676.78 c #Conflicts: 333000 | #Constraints: 117139
674.82/676.78 c INPROCESSING
674.82/676.78 c GARBAGE COLLECT
674.82/676.78 c #Conflicts: 334000 | #Constraints: 106746
674.82/676.78 c #Conflicts: 335000 | #Constraints: 107746
674.82/676.78 c #Conflicts: 336000 | #Constraints: 108746
674.82/676.78 c #Conflicts: 337000 | #Constraints: 109746
674.82/676.78 c #Conflicts: 338000 | #Constraints: 110746
674.82/676.78 c #Conflicts: 339000 | #Constraints: 111746
674.82/676.78 c #Conflicts: 340000 | #Constraints: 112746
674.82/676.78 c #Conflicts: 341000 | #Constraints: 113746
674.82/676.78 c #Conflicts: 342000 | #Constraints: 114746
674.82/676.78 c #Conflicts: 343000 | #Constraints: 115746
674.82/676.78 c #Conflicts: 344000 | #Constraints: 116746
674.82/676.78 c #Conflicts: 345000 | #Constraints: 117746
674.82/676.78 c INPROCESSING
674.82/676.78 c GARBAGE COLLECT
805.98/808.26 c #Conflicts: 346000 | #Constraints: 107154
805.98/808.26 c #Conflicts: 347000 | #Constraints: 108154
805.98/808.26 c #Conflicts: 348000 | #Constraints: 109154
805.98/808.26 c #Conflicts: 349000 | #Constraints: 110154
805.98/808.26 c #Conflicts: 350000 | #Constraints: 111154
805.98/808.26 c #Conflicts: 351000 | #Constraints: 112154
805.98/808.26 c #Conflicts: 352000 | #Constraints: 113154
805.98/808.26 c #Conflicts: 353000 | #Constraints: 114154
805.98/808.26 c #Conflicts: 354000 | #Constraints: 115154
805.98/808.26 c #Conflicts: 355000 | #Constraints: 116154
805.98/808.26 c #Conflicts: 356000 | #Constraints: 117154
805.98/808.26 c #Conflicts: 357000 | #Constraints: 118154
805.98/808.26 c INPROCESSING
805.98/808.26 c GARBAGE COLLECT
805.98/808.26 c #Conflicts: 358000 | #Constraints: 107344
805.98/808.26 c #Conflicts: 359000 | #Constraints: 108344
805.98/808.26 c #Conflicts: 360000 | #Constraints: 109344
805.98/808.26 c #Conflicts: 361000 | #Constraints: 110344
805.98/808.26 c #Conflicts: 362000 | #Constraints: 111344
805.98/808.26 c #Conflicts: 363000 | #Constraints: 112344
805.98/808.26 c #Conflicts: 364000 | #Constraints: 113344
805.98/808.26 c #Conflicts: 365000 | #Constraints: 114344
805.98/808.26 c #Conflicts: 366000 | #Constraints: 115344
805.98/808.26 c #Conflicts: 367000 | #Constraints: 116344
805.98/808.26 c #Conflicts: 368000 | #Constraints: 117344
805.98/808.26 c #Conflicts: 369000 | #Constraints: 118344
805.98/808.26 c INPROCESSING
805.98/808.26 c GARBAGE COLLECT
805.98/808.26 c #Conflicts: 370000 | #Constraints: 107348
805.98/808.26 c #Conflicts: 371000 | #Constraints: 108348
805.98/808.26 c #Conflicts: 372000 | #Constraints: 109348
805.98/808.26 c #Conflicts: 373000 | #Constraints: 110348
805.98/808.26 c #Conflicts: 374000 | #Constraints: 111348
805.98/808.26 c #Conflicts: 375000 | #Constraints: 112348
805.98/808.26 c #Conflicts: 376000 | #Constraints: 113348
805.98/808.26 c #Conflicts: 377000 | #Constraints: 114348
805.98/808.26 c #Conflicts: 378000 | #Constraints: 115348
805.98/808.26 c #Conflicts: 379000 | #Constraints: 116348
805.98/808.26 c #Conflicts: 380000 | #Constraints: 117348
805.98/808.26 c #Conflicts: 381000 | #Constraints: 118348
805.98/808.26 c INPROCESSING
805.98/808.26 c GARBAGE COLLECT
805.98/808.26 c #Conflicts: 382000 | #Constraints: 107155
805.98/808.26 c #Conflicts: 383000 | #Constraints: 108155
805.98/808.26 c #Conflicts: 384000 | #Constraints: 109155
805.98/808.26 c #Conflicts: 385000 | #Constraints: 110155
805.98/808.26 c #Conflicts: 386000 | #Constraints: 111155
805.98/808.26 c #Conflicts: 387000 | #Constraints: 112155
805.98/808.26 c #Conflicts: 388000 | #Constraints: 113155
805.98/808.26 c #Conflicts: 389000 | #Constraints: 114155
805.98/808.26 c #Conflicts: 390000 | #Constraints: 115155
805.98/808.26 c #Conflicts: 391000 | #Constraints: 116155
805.98/808.26 c #Conflicts: 392000 | #Constraints: 117155
805.98/808.26 c #Conflicts: 393000 | #Constraints: 118155
805.98/808.26 c #Conflicts: 394000 | #Constraints: 119155
805.98/808.26 c INPROCESSING
805.98/808.26 c GARBAGE COLLECT
805.98/808.26 c #Conflicts: 395000 | #Constraints: 107732
805.98/808.26 c #Conflicts: 396000 | #Constraints: 108732
805.98/808.26 c #Conflicts: 397000 | #Constraints: 109732
805.98/808.26 c #Conflicts: 398000 | #Constraints: 110732
805.98/808.26 c #Conflicts: 399000 | #Constraints: 111732
805.98/808.26 c #Conflicts: 400000 | #Constraints: 112732
805.98/808.26 c #Conflicts: 401000 | #Constraints: 113732
805.98/808.26 c #Conflicts: 402000 | #Constraints: 114732
805.98/808.26 c #Conflicts: 403000 | #Constraints: 115732
805.98/808.26 c #Conflicts: 404000 | #Constraints: 116732
805.98/808.26 c #Conflicts: 405000 | #Constraints: 117732
805.98/808.26 c #Conflicts: 406000 | #Constraints: 118732
805.98/808.26 c #Conflicts: 407000 | #Constraints: 119732
805.98/808.26 c INPROCESSING
805.98/808.26 c GARBAGE COLLECT
805.98/808.26 c #Conflicts: 408000 | #Constraints: 108144
805.98/808.26 c #Conflicts: 409000 | #Constraints: 109144
805.98/808.26 c #Conflicts: 410000 | #Constraints: 110144
805.98/808.26 c #Conflicts: 411000 | #Constraints: 111144
805.98/808.26 c #Conflicts: 412000 | #Constraints: 112144
805.98/808.26 c #Conflicts: 413000 | #Constraints: 113144
805.98/808.26 c #Conflicts: 414000 | #Constraints: 114144
805.98/808.26 c #Conflicts: 415000 | #Constraints: 115144
805.98/808.26 c #Conflicts: 416000 | #Constraints: 116144
805.98/808.26 c #Conflicts: 417000 | #Constraints: 117144
805.98/808.26 c #Conflicts: 418000 | #Constraints: 118144
805.98/808.26 c #Conflicts: 419000 | #Constraints: 119144
805.98/808.26 c #Conflicts: 420000 | #Constraints: 120144
805.98/808.26 c INPROCESSING
805.98/808.26 c GARBAGE COLLECT
956.99/959.60 c #Conflicts: 421000 | #Constraints: 108349
956.99/959.60 c #Conflicts: 422000 | #Constraints: 109349
956.99/959.60 c #Conflicts: 423000 | #Constraints: 110349
956.99/959.60 c #Conflicts: 424000 | #Constraints: 111349
956.99/959.60 c #Conflicts: 425000 | #Constraints: 112349
956.99/959.60 c #Conflicts: 426000 | #Constraints: 113349
956.99/959.60 c #Conflicts: 427000 | #Constraints: 114349
956.99/959.60 c #Conflicts: 428000 | #Constraints: 115349
956.99/959.60 c #Conflicts: 429000 | #Constraints: 116349
956.99/959.60 c #Conflicts: 430000 | #Constraints: 117349
956.99/959.60 c #Conflicts: 431000 | #Constraints: 118349
956.99/959.60 c #Conflicts: 432000 | #Constraints: 119349
956.99/959.60 c #Conflicts: 433000 | #Constraints: 120349
956.99/959.60 c INPROCESSING
956.99/959.60 c GARBAGE COLLECT
956.99/959.60 c #Conflicts: 434000 | #Constraints: 108370
956.99/959.60 c #Conflicts: 435000 | #Constraints: 109370
956.99/959.60 c #Conflicts: 436000 | #Constraints: 110370
956.99/959.60 c #Conflicts: 437000 | #Constraints: 111370
956.99/959.60 c #Conflicts: 438000 | #Constraints: 112370
956.99/959.60 c #Conflicts: 439000 | #Constraints: 113370
956.99/959.60 c #Conflicts: 440000 | #Constraints: 114370
956.99/959.60 c #Conflicts: 441000 | #Constraints: 115370
956.99/959.60 c #Conflicts: 442000 | #Constraints: 116370
956.99/959.60 c #Conflicts: 443000 | #Constraints: 117370
956.99/959.60 c #Conflicts: 444000 | #Constraints: 118370
956.99/959.60 c #Conflicts: 445000 | #Constraints: 119370
956.99/959.60 c #Conflicts: 446000 | #Constraints: 120370
956.99/959.60 c INPROCESSING
956.99/959.60 c GARBAGE COLLECT
956.99/959.60 c #Conflicts: 447000 | #Constraints: 108153
956.99/959.60 c #Conflicts: 448000 | #Constraints: 109153
956.99/959.60 c #Conflicts: 449000 | #Constraints: 110153
956.99/959.60 c #Conflicts: 450000 | #Constraints: 111153
956.99/959.60 c #Conflicts: 451000 | #Constraints: 112153
956.99/959.60 c #Conflicts: 452000 | #Constraints: 113153
956.99/959.60 c #Conflicts: 453000 | #Constraints: 114153
956.99/959.60 c #Conflicts: 454000 | #Constraints: 115153
956.99/959.60 c #Conflicts: 455000 | #Constraints: 116153
956.99/959.60 c #Conflicts: 456000 | #Constraints: 117153
956.99/959.60 c #Conflicts: 457000 | #Constraints: 118153
956.99/959.60 c #Conflicts: 458000 | #Constraints: 119153
956.99/959.60 c #Conflicts: 459000 | #Constraints: 120153
956.99/959.60 c #Conflicts: 460000 | #Constraints: 121153
956.99/959.60 c INPROCESSING
956.99/959.60 c GARBAGE COLLECT
956.99/959.60 c #Conflicts: 461000 | #Constraints: 108756
956.99/959.60 c #Conflicts: 462000 | #Constraints: 109756
956.99/959.60 c #Conflicts: 463000 | #Constraints: 110756
956.99/959.60 c #Conflicts: 464000 | #Constraints: 111756
956.99/959.60 c #Conflicts: 465000 | #Constraints: 112756
956.99/959.60 c #Conflicts: 466000 | #Constraints: 113756
956.99/959.60 c #Conflicts: 467000 | #Constraints: 114756
956.99/959.60 c #Conflicts: 468000 | #Constraints: 115756
956.99/959.60 c #Conflicts: 469000 | #Constraints: 116756
956.99/959.60 c #Conflicts: 470000 | #Constraints: 117756
956.99/959.60 c #Conflicts: 471000 | #Constraints: 118756
956.99/959.60 c #Conflicts: 472000 | #Constraints: 119756
956.99/959.60 c #Conflicts: 473000 | #Constraints: 120756
956.99/959.60 c #Conflicts: 474000 | #Constraints: 121756
956.99/959.60 c INPROCESSING
956.99/959.60 c GARBAGE COLLECT
956.99/959.60 c #Conflicts: 475000 | #Constraints: 109146
956.99/959.60 c #Conflicts: 476000 | #Constraints: 110146
956.99/959.60 c #Conflicts: 477000 | #Constraints: 111146
956.99/959.60 c #Conflicts: 478000 | #Constraints: 112146
956.99/959.60 c #Conflicts: 479000 | #Constraints: 113146
956.99/959.60 c #Conflicts: 480000 | #Constraints: 114146
956.99/959.60 c #Conflicts: 481000 | #Constraints: 115146
956.99/959.60 c #Conflicts: 482000 | #Constraints: 116146
956.99/959.60 c #Conflicts: 483000 | #Constraints: 117146
956.99/959.60 c #Conflicts: 484000 | #Constraints: 118146
956.99/959.60 c #Conflicts: 485000 | #Constraints: 119146
956.99/959.60 c #Conflicts: 486000 | #Constraints: 120146
956.99/959.60 c #Conflicts: 487000 | #Constraints: 121146
956.99/959.60 c #Conflicts: 488000 | #Constraints: 122146
956.99/959.60 c INPROCESSING
956.99/959.60 c GARBAGE COLLECT
956.99/959.60 c #Conflicts: 489000 | #Constraints: 109331
956.99/959.60 c #Conflicts: 490000 | #Constraints: 110331
956.99/959.60 c #Conflicts: 491000 | #Constraints: 111331
956.99/959.60 c #Conflicts: 492000 | #Constraints: 112331
956.99/959.60 c #Conflicts: 493000 | #Constraints: 113331
956.99/959.60 c #Conflicts: 494000 | #Constraints: 114331
956.99/959.60 c #Conflicts: 495000 | #Constraints: 115331
956.99/959.60 c #Conflicts: 496000 | #Constraints: 116331
1101.72/1104.78 c #Conflicts: 497000 | #Constraints: 117331
1101.72/1104.78 c #Conflicts: 498000 | #Constraints: 118331
1101.72/1104.78 c #Conflicts: 499000 | #Constraints: 119331
1101.72/1104.78 c #Conflicts: 500000 | #Constraints: 120331
1101.72/1104.78 c #Conflicts: 501000 | #Constraints: 121331
1101.72/1104.78 c #Conflicts: 502000 | #Constraints: 122331
1101.72/1104.78 c INPROCESSING
1101.72/1104.78 c GARBAGE COLLECT
1101.72/1104.78 c #Conflicts: 503000 | #Constraints: 109345
1101.72/1104.78 c #Conflicts: 504000 | #Constraints: 110345
1101.72/1104.78 c #Conflicts: 505000 | #Constraints: 111345
1101.72/1104.78 c #Conflicts: 506000 | #Constraints: 112345
1101.72/1104.78 c #Conflicts: 507000 | #Constraints: 113345
1101.72/1104.78 c #Conflicts: 508000 | #Constraints: 114345
1101.72/1104.78 c #Conflicts: 509000 | #Constraints: 115345
1101.72/1104.78 c #Conflicts: 510000 | #Constraints: 116345
1101.72/1104.78 c #Conflicts: 511000 | #Constraints: 117345
1101.72/1104.78 c #Conflicts: 512000 | #Constraints: 118345
1101.72/1104.78 c #Conflicts: 513000 | #Constraints: 119345
1101.72/1104.78 c #Conflicts: 514000 | #Constraints: 120345
1101.72/1104.78 c #Conflicts: 515000 | #Constraints: 121345
1101.72/1104.78 c #Conflicts: 516000 | #Constraints: 122345
1101.72/1104.78 c INPROCESSING
1101.72/1104.78 c GARBAGE COLLECT
1101.72/1104.78 c #Conflicts: 517000 | #Constraints: 109141
1101.72/1104.78 c #Conflicts: 518000 | #Constraints: 110141
1101.72/1104.78 c #Conflicts: 519000 | #Constraints: 111141
1101.72/1104.78 c #Conflicts: 520000 | #Constraints: 112141
1101.72/1104.78 c #Conflicts: 521000 | #Constraints: 113141
1101.72/1104.78 c #Conflicts: 522000 | #Constraints: 114141
1101.72/1104.78 c #Conflicts: 523000 | #Constraints: 115141
1101.72/1104.78 c #Conflicts: 524000 | #Constraints: 116141
1101.72/1104.78 c #Conflicts: 525000 | #Constraints: 117141
1101.72/1104.78 c #Conflicts: 526000 | #Constraints: 118141
1101.72/1104.78 c #Conflicts: 527000 | #Constraints: 119141
1101.72/1104.78 c #Conflicts: 528000 | #Constraints: 120141
1101.72/1104.78 c #Conflicts: 529000 | #Constraints: 121141
1101.72/1104.78 c #Conflicts: 530000 | #Constraints: 122141
1101.72/1104.78 c #Conflicts: 531000 | #Constraints: 123141
1101.72/1104.78 c INPROCESSING
1101.72/1104.78 c GARBAGE COLLECT
1101.72/1104.78 c #Conflicts: 532000 | #Constraints: 109733
1101.72/1104.78 c #Conflicts: 533000 | #Constraints: 110733
1101.72/1104.78 c #Conflicts: 534000 | #Constraints: 111733
1101.72/1104.78 c #Conflicts: 535000 | #Constraints: 112733
1101.72/1104.78 c #Conflicts: 536000 | #Constraints: 113733
1101.72/1104.78 c #Conflicts: 537000 | #Constraints: 114733
1101.72/1104.78 c #Conflicts: 538000 | #Constraints: 115733
1101.72/1104.78 c #Conflicts: 539000 | #Constraints: 116733
1101.72/1104.78 c #Conflicts: 540000 | #Constraints: 117733
1101.72/1104.78 c #Conflicts: 541000 | #Constraints: 118733
1101.72/1104.78 c #Conflicts: 542000 | #Constraints: 119733
1101.72/1104.78 c #Conflicts: 543000 | #Constraints: 120733
1101.72/1104.78 c #Conflicts: 544000 | #Constraints: 121733
1101.72/1104.78 c #Conflicts: 545000 | #Constraints: 122733
1101.72/1104.78 c #Conflicts: 546000 | #Constraints: 123733
1101.72/1104.78 c INPROCESSING
1101.72/1104.78 c GARBAGE COLLECT
1101.72/1104.78 c #Conflicts: 547000 | #Constraints: 110164
1101.72/1104.78 c #Conflicts: 548000 | #Constraints: 111164
1101.72/1104.78 c #Conflicts: 549000 | #Constraints: 112164
1101.72/1104.78 c #Conflicts: 550000 | #Constraints: 113164
1101.72/1104.78 c #Conflicts: 551000 | #Constraints: 114164
1101.72/1104.78 c #Conflicts: 552000 | #Constraints: 115164
1101.72/1104.78 c #Conflicts: 553000 | #Constraints: 116164
1101.72/1104.78 c #Conflicts: 554000 | #Constraints: 117164
1101.72/1104.78 c #Conflicts: 555000 | #Constraints: 118164
1101.72/1104.78 c #Conflicts: 556000 | #Constraints: 119164
1101.72/1104.78 c #Conflicts: 557000 | #Constraints: 120164
1101.72/1104.78 c #Conflicts: 558000 | #Constraints: 121164
1101.72/1104.78 c #Conflicts: 559000 | #Constraints: 122164
1101.72/1104.78 c #Conflicts: 560000 | #Constraints: 123164
1101.72/1104.78 c #Conflicts: 561000 | #Constraints: 124164
1101.72/1104.78 c INPROCESSING
1101.72/1104.78 c GARBAGE COLLECT
1101.72/1104.78 c #Conflicts: 562000 | #Constraints: 110379
1101.72/1104.78 c #Conflicts: 563000 | #Constraints: 111379
1101.72/1104.78 c #Conflicts: 564000 | #Constraints: 112379
1101.72/1104.78 c #Conflicts: 565000 | #Constraints: 113379
1101.72/1104.78 c #Conflicts: 566000 | #Constraints: 114379
1101.72/1104.78 c #Conflicts: 567000 | #Constraints: 115379
1101.72/1104.78 c #Conflicts: 568000 | #Constraints: 116379
1101.72/1104.78 c #Conflicts: 569000 | #Constraints: 117379
1101.72/1104.78 c #Conflicts: 570000 | #Constraints: 118379
1101.72/1104.78 c #Conflicts: 571000 | #Constraints: 119379
1101.72/1104.78 c #Conflicts: 572000 | #Constraints: 120379
1259.16/1262.50 c #Conflicts: 573000 | #Constraints: 121379
1259.16/1262.50 c #Conflicts: 574000 | #Constraints: 122379
1259.16/1262.50 c #Conflicts: 575000 | #Constraints: 123379
1259.16/1262.50 c #Conflicts: 576000 | #Constraints: 124379
1259.16/1262.50 c INPROCESSING
1259.16/1262.50 c GARBAGE COLLECT
1259.16/1262.50 c #Conflicts: 577000 | #Constraints: 110402
1259.16/1262.50 c #Conflicts: 578000 | #Constraints: 111402
1259.16/1262.50 c #Conflicts: 579000 | #Constraints: 112402
1259.16/1262.50 c #Conflicts: 580000 | #Constraints: 113402
1259.16/1262.50 c #Conflicts: 581000 | #Constraints: 114402
1259.16/1262.50 c #Conflicts: 582000 | #Constraints: 115402
1259.16/1262.50 c #Conflicts: 583000 | #Constraints: 116402
1259.16/1262.50 c #Conflicts: 584000 | #Constraints: 117402
1259.16/1262.50 c #Conflicts: 585000 | #Constraints: 118402
1259.16/1262.50 c #Conflicts: 586000 | #Constraints: 119402
1259.16/1262.50 c #Conflicts: 587000 | #Constraints: 120402
1259.16/1262.50 c #Conflicts: 588000 | #Constraints: 121402
1259.16/1262.50 c #Conflicts: 589000 | #Constraints: 122402
1259.16/1262.50 c #Conflicts: 590000 | #Constraints: 123402
1259.16/1262.50 c #Conflicts: 591000 | #Constraints: 124402
1259.16/1262.50 c INPROCESSING
1259.16/1262.50 c GARBAGE COLLECT
1259.16/1262.50 c #Conflicts: 592000 | #Constraints: 110191
1259.16/1262.50 c #Conflicts: 593000 | #Constraints: 111191
1259.16/1262.50 c #Conflicts: 594000 | #Constraints: 112191
1259.16/1262.50 c #Conflicts: 595000 | #Constraints: 113191
1259.16/1262.50 c #Conflicts: 596000 | #Constraints: 114191
1259.16/1262.50 c #Conflicts: 597000 | #Constraints: 115191
1259.16/1262.50 c #Conflicts: 598000 | #Constraints: 116191
1259.16/1262.50 c #Conflicts: 599000 | #Constraints: 117191
1259.16/1262.50 c #Conflicts: 600000 | #Constraints: 118191
1259.16/1262.50 c #Conflicts: 601000 | #Constraints: 119191
1259.16/1262.50 c #Conflicts: 602000 | #Constraints: 120191
1259.16/1262.50 c #Conflicts: 603000 | #Constraints: 121191
1259.16/1262.50 c #Conflicts: 604000 | #Constraints: 122191
1259.16/1262.50 c #Conflicts: 605000 | #Constraints: 123191
1259.16/1262.50 c #Conflicts: 606000 | #Constraints: 124191
1259.16/1262.50 c #Conflicts: 607000 | #Constraints: 125191
1259.16/1262.50 c INPROCESSING
1259.16/1262.50 c GARBAGE COLLECT
1259.16/1262.50 c #Conflicts: 608000 | #Constraints: 110776
1259.16/1262.50 c #Conflicts: 609000 | #Constraints: 111776
1259.16/1262.50 c #Conflicts: 610000 | #Constraints: 112776
1259.16/1262.50 c #Conflicts: 611000 | #Constraints: 113776
1259.16/1262.50 c #Conflicts: 612000 | #Constraints: 114776
1259.16/1262.50 c #Conflicts: 613000 | #Constraints: 115776
1259.16/1262.50 c #Conflicts: 614000 | #Constraints: 116776
1259.16/1262.50 c #Conflicts: 615000 | #Constraints: 117776
1259.16/1262.50 c #Conflicts: 616000 | #Constraints: 118776
1259.16/1262.50 c #Conflicts: 617000 | #Constraints: 119776
1259.16/1262.50 c #Conflicts: 618000 | #Constraints: 120776
1259.16/1262.50 c #Conflicts: 619000 | #Constraints: 121776
1259.16/1262.50 c #Conflicts: 620000 | #Constraints: 122776
1259.16/1262.50 c #Conflicts: 621000 | #Constraints: 123776
1259.16/1262.50 c #Conflicts: 622000 | #Constraints: 124776
1259.16/1262.50 c #Conflicts: 623000 | #Constraints: 125776
1259.16/1262.50 c INPROCESSING
1259.16/1262.50 c GARBAGE COLLECT
1259.16/1262.50 c #Conflicts: 624000 | #Constraints: 111162
1259.16/1262.50 c #Conflicts: 625000 | #Constraints: 112162
1259.16/1262.50 c #Conflicts: 626000 | #Constraints: 113162
1259.16/1262.50 c #Conflicts: 627000 | #Constraints: 114162
1259.16/1262.50 c #Conflicts: 628000 | #Constraints: 115162
1259.16/1262.50 c #Conflicts: 629000 | #Constraints: 116162
1259.16/1262.50 c #Conflicts: 630000 | #Constraints: 117162
1259.16/1262.50 c #Conflicts: 631000 | #Constraints: 118162
1259.16/1262.50 c #Conflicts: 632000 | #Constraints: 119162
1259.16/1262.50 c #Conflicts: 633000 | #Constraints: 120162
1259.16/1262.50 c #Conflicts: 634000 | #Constraints: 121162
1259.16/1262.50 c #Conflicts: 635000 | #Constraints: 122162
1259.16/1262.50 c #Conflicts: 636000 | #Constraints: 123162
1259.16/1262.50 c #Conflicts: 637000 | #Constraints: 124162
1259.16/1262.50 c #Conflicts: 638000 | #Constraints: 125162
1259.16/1262.50 c #Conflicts: 639000 | #Constraints: 126162
1259.16/1262.50 c INPROCESSING
1259.16/1262.50 c GARBAGE COLLECT
1259.16/1262.50 c #Conflicts: 640000 | #Constraints: 111356
1259.16/1262.50 c #Conflicts: 641000 | #Constraints: 112356
1259.16/1262.50 c #Conflicts: 642000 | #Constraints: 113356
1259.16/1262.50 c #Conflicts: 643000 | #Constraints: 114356
1259.16/1262.50 c #Conflicts: 644000 | #Constraints: 115356
1259.16/1262.50 c #Conflicts: 645000 | #Constraints: 116356
1259.16/1262.50 c #Conflicts: 646000 | #Constraints: 117356
1259.16/1262.50 c #Conflicts: 647000 | #Constraints: 118356
1435.63/1439.45 c #Conflicts: 648000 | #Constraints: 119356
1435.63/1439.45 c #Conflicts: 649000 | #Constraints: 120356
1435.63/1439.45 c #Conflicts: 650000 | #Constraints: 121356
1435.63/1439.45 c #Conflicts: 651000 | #Constraints: 122356
1435.63/1439.45 c #Conflicts: 652000 | #Constraints: 123356
1435.63/1439.45 c #Conflicts: 653000 | #Constraints: 124356
1435.63/1439.45 c #Conflicts: 654000 | #Constraints: 125356
1435.63/1439.45 c #Conflicts: 655000 | #Constraints: 126356
1435.63/1439.45 c INPROCESSING
1435.63/1439.45 c GARBAGE COLLECT
1435.63/1439.45 c #Conflicts: 656000 | #Constraints: 111357
1435.63/1439.45 c #Conflicts: 657000 | #Constraints: 112357
1435.63/1439.45 c #Conflicts: 658000 | #Constraints: 113357
1435.63/1439.45 c #Conflicts: 659000 | #Constraints: 114357
1435.63/1439.45 c #Conflicts: 660000 | #Constraints: 115357
1435.63/1439.45 c #Conflicts: 661000 | #Constraints: 116357
1435.63/1439.45 c #Conflicts: 662000 | #Constraints: 117357
1435.63/1439.45 c #Conflicts: 663000 | #Constraints: 118357
1435.63/1439.45 c #Conflicts: 664000 | #Constraints: 119357
1435.63/1439.45 c #Conflicts: 665000 | #Constraints: 120357
1435.63/1439.45 c #Conflicts: 666000 | #Constraints: 121357
1435.63/1439.45 c #Conflicts: 667000 | #Constraints: 122357
1435.63/1439.45 c #Conflicts: 668000 | #Constraints: 123357
1435.63/1439.45 c #Conflicts: 669000 | #Constraints: 124357
1435.63/1439.45 c #Conflicts: 670000 | #Constraints: 125357
1435.63/1439.45 c #Conflicts: 671000 | #Constraints: 126357
1435.63/1439.45 c INPROCESSING
1435.63/1439.45 c GARBAGE COLLECT
1435.63/1439.45 c #Conflicts: 672000 | #Constraints: 111140
1435.63/1439.45 c #Conflicts: 673000 | #Constraints: 112140
1435.63/1439.45 c #Conflicts: 674000 | #Constraints: 113140
1435.63/1439.45 c #Conflicts: 675000 | #Constraints: 114140
1435.63/1439.45 c #Conflicts: 676000 | #Constraints: 115140
1435.63/1439.45 c #Conflicts: 677000 | #Constraints: 116140
1435.63/1439.45 c #Conflicts: 678000 | #Constraints: 117140
1435.63/1439.45 c #Conflicts: 679000 | #Constraints: 118140
1435.63/1439.45 c #Conflicts: 680000 | #Constraints: 119140
1435.63/1439.45 c #Conflicts: 681000 | #Constraints: 120140
1435.63/1439.45 c #Conflicts: 682000 | #Constraints: 121140
1435.63/1439.45 c #Conflicts: 683000 | #Constraints: 122140
1435.63/1439.45 c #Conflicts: 684000 | #Constraints: 123140
1435.63/1439.45 c #Conflicts: 685000 | #Constraints: 124140
1435.63/1439.45 c #Conflicts: 686000 | #Constraints: 125140
1435.63/1439.45 c #Conflicts: 687000 | #Constraints: 126140
1435.63/1439.45 c #Conflicts: 688000 | #Constraints: 127140
1435.63/1439.45 c INPROCESSING
1435.63/1439.45 c GARBAGE COLLECT
1435.63/1439.45 c #Conflicts: 689000 | #Constraints: 111773
1435.63/1439.45 c #Conflicts: 690000 | #Constraints: 112773
1435.63/1439.45 c #Conflicts: 691000 | #Constraints: 113773
1435.63/1439.45 c #Conflicts: 692000 | #Constraints: 114773
1435.63/1439.45 c #Conflicts: 693000 | #Constraints: 115773
1435.63/1439.45 c #Conflicts: 694000 | #Constraints: 116773
1435.63/1439.45 c #Conflicts: 695000 | #Constraints: 117773
1435.63/1439.45 c #Conflicts: 696000 | #Constraints: 118773
1435.63/1439.45 c #Conflicts: 697000 | #Constraints: 119773
1435.63/1439.45 c #Conflicts: 698000 | #Constraints: 120773
1435.63/1439.45 c #Conflicts: 699000 | #Constraints: 121773
1435.63/1439.45 c #Conflicts: 700000 | #Constraints: 122773
1435.63/1439.45 c #Conflicts: 701000 | #Constraints: 123773
1435.63/1439.45 c #Conflicts: 702000 | #Constraints: 124773
1435.63/1439.45 c #Conflicts: 703000 | #Constraints: 125773
1435.63/1439.45 c #Conflicts: 704000 | #Constraints: 126773
1435.63/1439.45 c #Conflicts: 705000 | #Constraints: 127773
1435.63/1439.45 c INPROCESSING
1435.63/1439.45 c GARBAGE COLLECT
1435.63/1439.45 c #Conflicts: 706000 | #Constraints: 112154
1435.63/1439.45 c #Conflicts: 707000 | #Constraints: 113154
1435.63/1439.45 c #Conflicts: 708000 | #Constraints: 114154
1435.63/1439.45 c #Conflicts: 709000 | #Constraints: 115154
1435.63/1439.45 c #Conflicts: 710000 | #Constraints: 116154
1435.63/1439.45 c #Conflicts: 711000 | #Constraints: 117154
1435.63/1439.45 c #Conflicts: 712000 | #Constraints: 118154
1435.63/1439.45 c #Conflicts: 713000 | #Constraints: 119154
1435.63/1439.45 c #Conflicts: 714000 | #Constraints: 120154
1435.63/1439.45 c #Conflicts: 715000 | #Constraints: 121154
1435.63/1439.45 c #Conflicts: 716000 | #Constraints: 122154
1435.63/1439.45 c #Conflicts: 717000 | #Constraints: 123154
1435.63/1439.45 c #Conflicts: 718000 | #Constraints: 124154
1435.63/1439.45 c #Conflicts: 719000 | #Constraints: 125154
1435.63/1439.45 c #Conflicts: 720000 | #Constraints: 126154
1435.63/1439.45 c #Conflicts: 721000 | #Constraints: 127154
1435.63/1439.45 c #Conflicts: 722000 | #Constraints: 128154
1435.63/1439.45 c INPROCESSING
1435.63/1439.45 c GARBAGE COLLECT
1435.63/1439.45 c #Conflicts: 723000 | #Constraints: 112346
1606.52/1610.70 c #Conflicts: 724000 | #Constraints: 113346
1606.52/1610.70 c #Conflicts: 725000 | #Constraints: 114346
1606.52/1610.70 c #Conflicts: 726000 | #Constraints: 115346
1606.52/1610.70 c #Conflicts: 727000 | #Constraints: 116346
1606.52/1610.70 c #Conflicts: 728000 | #Constraints: 117346
1606.52/1610.70 c #Conflicts: 729000 | #Constraints: 118346
1606.52/1610.70 c #Conflicts: 730000 | #Constraints: 119346
1606.52/1610.70 c #Conflicts: 731000 | #Constraints: 120346
1606.52/1610.70 c #Conflicts: 732000 | #Constraints: 121346
1606.52/1610.70 c #Conflicts: 733000 | #Constraints: 122346
1606.52/1610.70 c #Conflicts: 734000 | #Constraints: 123346
1606.52/1610.70 c #Conflicts: 735000 | #Constraints: 124346
1606.52/1610.70 c #Conflicts: 736000 | #Constraints: 125346
1606.52/1610.70 c #Conflicts: 737000 | #Constraints: 126346
1606.52/1610.70 c #Conflicts: 738000 | #Constraints: 127346
1606.52/1610.70 c #Conflicts: 739000 | #Constraints: 128346
1606.52/1610.70 c INPROCESSING
1606.52/1610.70 c GARBAGE COLLECT
1606.52/1610.70 c #Conflicts: 740000 | #Constraints: 112375
1606.52/1610.70 c #Conflicts: 741000 | #Constraints: 113375
1606.52/1610.70 c #Conflicts: 742000 | #Constraints: 114375
1606.52/1610.70 c #Conflicts: 743000 | #Constraints: 115375
1606.52/1610.70 c #Conflicts: 744000 | #Constraints: 116375
1606.52/1610.70 c #Conflicts: 745000 | #Constraints: 117375
1606.52/1610.70 c #Conflicts: 746000 | #Constraints: 118375
1606.52/1610.70 c #Conflicts: 747000 | #Constraints: 119375
1606.52/1610.70 c #Conflicts: 748000 | #Constraints: 120375
1606.52/1610.70 c #Conflicts: 749000 | #Constraints: 121375
1606.52/1610.70 c #Conflicts: 750000 | #Constraints: 122375
1606.52/1610.70 c #Conflicts: 751000 | #Constraints: 123375
1606.52/1610.70 c #Conflicts: 752000 | #Constraints: 124375
1606.52/1610.70 c #Conflicts: 753000 | #Constraints: 125375
1606.52/1610.70 c #Conflicts: 754000 | #Constraints: 126375
1606.52/1610.70 c #Conflicts: 755000 | #Constraints: 127375
1606.52/1610.70 c #Conflicts: 756000 | #Constraints: 128375
1606.52/1610.70 c INPROCESSING
1606.52/1610.70 c GARBAGE COLLECT
1606.52/1610.70 c #Conflicts: 757000 | #Constraints: 112183
1606.52/1610.70 c #Conflicts: 758000 | #Constraints: 113183
1606.52/1610.70 c #Conflicts: 759000 | #Constraints: 114183
1606.52/1610.70 c #Conflicts: 760000 | #Constraints: 115183
1606.52/1610.70 c #Conflicts: 761000 | #Constraints: 116183
1606.52/1610.70 c #Conflicts: 762000 | #Constraints: 117183
1606.52/1610.70 c #Conflicts: 763000 | #Constraints: 118183
1606.52/1610.70 c #Conflicts: 764000 | #Constraints: 119183
1606.52/1610.70 c #Conflicts: 765000 | #Constraints: 120183
1606.52/1610.70 c #Conflicts: 766000 | #Constraints: 121183
1606.52/1610.70 c #Conflicts: 767000 | #Constraints: 122183
1606.52/1610.70 c #Conflicts: 768000 | #Constraints: 123183
1606.52/1610.70 c #Conflicts: 769000 | #Constraints: 124183
1606.52/1610.70 c #Conflicts: 770000 | #Constraints: 125183
1606.52/1610.70 c #Conflicts: 771000 | #Constraints: 126183
1606.52/1610.70 c #Conflicts: 772000 | #Constraints: 127183
1606.52/1610.70 c #Conflicts: 773000 | #Constraints: 128183
1606.52/1610.70 c #Conflicts: 774000 | #Constraints: 129183
1606.52/1610.70 c INPROCESSING
1606.52/1610.70 c GARBAGE COLLECT
1606.52/1610.70 c #Conflicts: 775000 | #Constraints: 112799
1606.52/1610.70 c #Conflicts: 776000 | #Constraints: 113799
1606.52/1610.70 c #Conflicts: 777000 | #Constraints: 114799
1606.52/1610.70 c #Conflicts: 778000 | #Constraints: 115799
1606.52/1610.70 c #Conflicts: 779000 | #Constraints: 116799
1606.52/1610.70 c #Conflicts: 780000 | #Constraints: 117799
1606.52/1610.70 c #Conflicts: 781000 | #Constraints: 118799
1606.52/1610.70 c #Conflicts: 782000 | #Constraints: 119799
1606.52/1610.70 c #Conflicts: 783000 | #Constraints: 120799
1606.52/1610.70 c #Conflicts: 784000 | #Constraints: 121799
1606.52/1610.70 c #Conflicts: 785000 | #Constraints: 122799
1606.52/1610.70 c #Conflicts: 786000 | #Constraints: 123799
1606.52/1610.70 c #Conflicts: 787000 | #Constraints: 124799
1606.52/1610.70 c #Conflicts: 788000 | #Constraints: 125799
1606.52/1610.70 c #Conflicts: 789000 | #Constraints: 126799
1606.52/1610.70 c #Conflicts: 790000 | #Constraints: 127799
1606.52/1610.70 c #Conflicts: 791000 | #Constraints: 128799
1606.52/1610.70 c #Conflicts: 792000 | #Constraints: 129799
1606.52/1610.70 c INPROCESSING
1606.52/1610.70 c GARBAGE COLLECT
1606.52/1610.70 c #Conflicts: 793000 | #Constraints: 113187
1606.52/1610.70 c #Conflicts: 794000 | #Constraints: 114187
1606.52/1610.70 c #Conflicts: 795000 | #Constraints: 115187
1606.52/1610.70 c #Conflicts: 796000 | #Constraints: 116187
1606.52/1610.70 c #Conflicts: 797000 | #Constraints: 117187
1606.52/1610.70 c #Conflicts: 798000 | #Constraints: 118187
1606.52/1610.70 c #Conflicts: 799000 | #Constraints: 119187
1804.74/1809.44 c #Conflicts: 800000 | #Constraints: 120187
1804.74/1809.44 c #Conflicts: 801000 | #Constraints: 121187
1804.74/1809.44 c #Conflicts: 802000 | #Constraints: 122187
1804.74/1809.44 c #Conflicts: 803000 | #Constraints: 123187
1804.74/1809.44 c #Conflicts: 804000 | #Constraints: 124187
1804.74/1809.44 c #Conflicts: 805000 | #Constraints: 125187
1804.74/1809.44 c #Conflicts: 806000 | #Constraints: 126187
1804.74/1809.44 c #Conflicts: 807000 | #Constraints: 127187
1804.74/1809.44 c #Conflicts: 808000 | #Constraints: 128187
1804.74/1809.44 c #Conflicts: 809000 | #Constraints: 129187
1804.74/1809.44 c #Conflicts: 810000 | #Constraints: 130187
1804.74/1809.44 c INPROCESSING
1804.74/1809.44 c GARBAGE COLLECT
1804.74/1809.44 c #Conflicts: 811000 | #Constraints: 113373
1804.74/1809.44 c #Conflicts: 812000 | #Constraints: 114373
1804.74/1809.44 c #Conflicts: 813000 | #Constraints: 115373
1804.74/1809.44 c #Conflicts: 814000 | #Constraints: 116373
1804.74/1809.44 c #Conflicts: 815000 | #Constraints: 117373
1804.74/1809.44 c #Conflicts: 816000 | #Constraints: 118373
1804.74/1809.44 c #Conflicts: 817000 | #Constraints: 119373
1804.74/1809.44 c #Conflicts: 818000 | #Constraints: 120373
1804.74/1809.44 c #Conflicts: 819000 | #Constraints: 121373
1804.74/1809.44 c #Conflicts: 820000 | #Constraints: 122373
1804.74/1809.44 c #Conflicts: 821000 | #Constraints: 123373
1804.74/1809.44 c #Conflicts: 822000 | #Constraints: 124373
1804.74/1809.44 c #Conflicts: 823000 | #Constraints: 125373
1804.74/1809.44 c #Conflicts: 824000 | #Constraints: 126373
1804.74/1809.44 c #Conflicts: 825000 | #Constraints: 127373
1804.74/1809.44 c #Conflicts: 826000 | #Constraints: 128373
1804.74/1809.44 c #Conflicts: 827000 | #Constraints: 129373
1804.74/1809.44 c #Conflicts: 828000 | #Constraints: 130373
1804.74/1809.44 c INPROCESSING
1804.74/1809.44 c GARBAGE COLLECT
1804.74/1809.44 c #Conflicts: 829000 | #Constraints: 113366
1804.74/1809.44 c #Conflicts: 830000 | #Constraints: 114366
1804.74/1809.44 c #Conflicts: 831000 | #Constraints: 115366
1804.74/1809.44 c #Conflicts: 832000 | #Constraints: 116366
1804.74/1809.44 c #Conflicts: 833000 | #Constraints: 117366
1804.74/1809.44 c #Conflicts: 834000 | #Constraints: 118366
1804.74/1809.44 c #Conflicts: 835000 | #Constraints: 119366
1804.74/1809.44 c #Conflicts: 836000 | #Constraints: 120366
1804.74/1809.44 c #Conflicts: 837000 | #Constraints: 121366
1804.74/1809.44 c #Conflicts: 838000 | #Constraints: 122366
1804.74/1809.44 c #Conflicts: 839000 | #Constraints: 123366
1804.74/1809.44 c #Conflicts: 840000 | #Constraints: 124366
1804.74/1809.44 c #Conflicts: 841000 | #Constraints: 125366
1804.74/1809.44 c #Conflicts: 842000 | #Constraints: 126366
1804.74/1809.44 c #Conflicts: 843000 | #Constraints: 127366
1804.74/1809.44 c #Conflicts: 844000 | #Constraints: 128366
1804.74/1809.44 c #Conflicts: 845000 | #Constraints: 129366
1804.74/1809.44 c #Conflicts: 846000 | #Constraints: 130366
1804.74/1809.44 c INPROCESSING
1804.74/1809.44 c GARBAGE COLLECT
1804.74/1809.44 c #Conflicts: 847000 | #Constraints: 113168
1804.74/1809.44 c #Conflicts: 848000 | #Constraints: 114168
1804.74/1809.44 c #Conflicts: 849000 | #Constraints: 115168
1804.74/1809.44 c #Conflicts: 850000 | #Constraints: 116168
1804.74/1809.44 c #Conflicts: 851000 | #Constraints: 117168
1804.74/1809.44 c #Conflicts: 852000 | #Constraints: 118168
1804.74/1809.44 c #Conflicts: 853000 | #Constraints: 119168
1804.74/1809.44 c #Conflicts: 854000 | #Constraints: 120168
1804.74/1809.44 c #Conflicts: 855000 | #Constraints: 121168
1804.74/1809.44 c #Conflicts: 856000 | #Constraints: 122168
1804.74/1809.44 c #Conflicts: 857000 | #Constraints: 123168
1804.74/1809.44 c #Conflicts: 858000 | #Constraints: 124168
1804.74/1809.44 c #Conflicts: 859000 | #Constraints: 125168
1804.74/1809.44 c #Conflicts: 860000 | #Constraints: 126168
1804.74/1809.44 c #Conflicts: 861000 | #Constraints: 127168
1804.74/1809.44 c #Conflicts: 862000 | #Constraints: 128168
1804.74/1809.44 c #Conflicts: 863000 | #Constraints: 129168
1804.74/1809.44 c #Conflicts: 864000 | #Constraints: 130168
1804.74/1809.44 c #Conflicts: 865000 | #Constraints: 131168
1804.74/1809.44 c INPROCESSING
1804.74/1809.44 c GARBAGE COLLECT
1804.74/1809.44 c #Conflicts: 866000 | #Constraints: 113753
1804.74/1809.44 c #Conflicts: 867000 | #Constraints: 114753
1804.74/1809.44 c #Conflicts: 868000 | #Constraints: 115753
1804.74/1809.44 c #Conflicts: 869000 | #Constraints: 116753
1804.74/1809.44 c #Conflicts: 870000 | #Constraints: 117753
1804.74/1809.44 c #Conflicts: 871000 | #Constraints: 118753
1804.74/1809.44 c #Conflicts: 872000 | #Constraints: 119753
1804.74/1809.44 c #Conflicts: 873000 | #Constraints: 120753
1804.74/1809.44 c #Conflicts: 874000 | #Constraints: 121753
1804.74/1809.44 c #Conflicts: 875000 | #Constraints: 122753
2015.22/2020.46 c #Conflicts: 876000 | #Constraints: 123753
2015.22/2020.46 c #Conflicts: 877000 | #Constraints: 124753
2015.22/2020.46 c #Conflicts: 878000 | #Constraints: 125753
2015.22/2020.46 c #Conflicts: 879000 | #Constraints: 126753
2015.22/2020.46 c #Conflicts: 880000 | #Constraints: 127753
2015.22/2020.46 c #Conflicts: 881000 | #Constraints: 128753
2015.22/2020.46 c #Conflicts: 882000 | #Constraints: 129753
2015.22/2020.46 c #Conflicts: 883000 | #Constraints: 130753
2015.22/2020.46 c #Conflicts: 884000 | #Constraints: 131753
2015.22/2020.46 c INPROCESSING
2015.22/2020.46 c GARBAGE COLLECT
2015.22/2020.46 c #Conflicts: 885000 | #Constraints: 114178
2015.22/2020.46 c #Conflicts: 886000 | #Constraints: 115178
2015.22/2020.46 c #Conflicts: 887000 | #Constraints: 116178
2015.22/2020.46 c #Conflicts: 888000 | #Constraints: 117178
2015.22/2020.46 c #Conflicts: 889000 | #Constraints: 118178
2015.22/2020.46 c #Conflicts: 890000 | #Constraints: 119178
2015.22/2020.46 c #Conflicts: 891000 | #Constraints: 120178
2015.22/2020.46 c #Conflicts: 892000 | #Constraints: 121178
2015.22/2020.46 c #Conflicts: 893000 | #Constraints: 122178
2015.22/2020.46 c #Conflicts: 894000 | #Constraints: 123178
2015.22/2020.46 c #Conflicts: 895000 | #Constraints: 124178
2015.22/2020.46 c #Conflicts: 896000 | #Constraints: 125178
2015.22/2020.46 c #Conflicts: 897000 | #Constraints: 126178
2015.22/2020.46 c #Conflicts: 898000 | #Constraints: 127178
2015.22/2020.46 c #Conflicts: 899000 | #Constraints: 128178
2015.22/2020.46 c #Conflicts: 900000 | #Constraints: 129178
2015.22/2020.46 c #Conflicts: 901000 | #Constraints: 130178
2015.22/2020.46 c #Conflicts: 902000 | #Constraints: 131178
2015.22/2020.46 c #Conflicts: 903000 | #Constraints: 132178
2015.22/2020.46 c INPROCESSING
2015.22/2020.46 c GARBAGE COLLECT
2015.22/2020.46 c #Conflicts: 904000 | #Constraints: 114387
2015.22/2020.46 c #Conflicts: 905000 | #Constraints: 115387
2015.22/2020.46 c #Conflicts: 906000 | #Constraints: 116387
2015.22/2020.46 c #Conflicts: 907000 | #Constraints: 117387
2015.22/2020.46 c #Conflicts: 908000 | #Constraints: 118387
2015.22/2020.46 c #Conflicts: 909000 | #Constraints: 119387
2015.22/2020.46 c #Conflicts: 910000 | #Constraints: 120387
2015.22/2020.46 c #Conflicts: 911000 | #Constraints: 121387
2015.22/2020.46 c #Conflicts: 912000 | #Constraints: 122387
2015.22/2020.46 c #Conflicts: 913000 | #Constraints: 123387
2015.22/2020.46 c #Conflicts: 914000 | #Constraints: 124387
2015.22/2020.46 c #Conflicts: 915000 | #Constraints: 125387
2015.22/2020.46 c #Conflicts: 916000 | #Constraints: 126387
2015.22/2020.46 c #Conflicts: 917000 | #Constraints: 127387
2015.22/2020.46 c #Conflicts: 918000 | #Constraints: 128387
2015.22/2020.46 c #Conflicts: 919000 | #Constraints: 129387
2015.22/2020.46 c #Conflicts: 920000 | #Constraints: 130387
2015.22/2020.46 c #Conflicts: 921000 | #Constraints: 131387
2015.22/2020.46 c #Conflicts: 922000 | #Constraints: 132387
2015.22/2020.46 c INPROCESSING
2015.22/2020.46 c GARBAGE COLLECT
2015.22/2020.46 c #Conflicts: 923000 | #Constraints: 114379
2015.22/2020.46 c #Conflicts: 924000 | #Constraints: 115379
2015.22/2020.46 c #Conflicts: 925000 | #Constraints: 116379
2015.22/2020.46 c #Conflicts: 926000 | #Constraints: 117379
2015.22/2020.46 c #Conflicts: 927000 | #Constraints: 118379
2015.22/2020.46 c #Conflicts: 928000 | #Constraints: 119379
2015.22/2020.46 c #Conflicts: 929000 | #Constraints: 120379
2015.22/2020.46 c #Conflicts: 930000 | #Constraints: 121379
2015.22/2020.46 c #Conflicts: 931000 | #Constraints: 122379
2015.22/2020.46 c #Conflicts: 932000 | #Constraints: 123379
2015.22/2020.46 c #Conflicts: 933000 | #Constraints: 124379
2015.22/2020.46 c #Conflicts: 934000 | #Constraints: 125379
2015.22/2020.46 c #Conflicts: 935000 | #Constraints: 126379
2015.22/2020.46 c #Conflicts: 936000 | #Constraints: 127379
2015.22/2020.46 c #Conflicts: 937000 | #Constraints: 128379
2015.22/2020.46 c #Conflicts: 938000 | #Constraints: 129379
2015.22/2020.46 c #Conflicts: 939000 | #Constraints: 130379
2015.22/2020.46 c #Conflicts: 940000 | #Constraints: 131379
2015.22/2020.46 c #Conflicts: 941000 | #Constraints: 132379
2015.22/2020.46 c INPROCESSING
2015.22/2020.46 c GARBAGE COLLECT
2015.22/2020.46 c #Conflicts: 942000 | #Constraints: 114176
2015.22/2020.46 c #Conflicts: 943000 | #Constraints: 115176
2015.22/2020.46 c #Conflicts: 944000 | #Constraints: 116176
2015.22/2020.46 c #Conflicts: 945000 | #Constraints: 117176
2015.22/2020.46 c #Conflicts: 946000 | #Constraints: 118176
2015.22/2020.46 c #Conflicts: 947000 | #Constraints: 119176
2015.22/2020.46 c #Conflicts: 948000 | #Constraints: 120176
2015.22/2020.46 c #Conflicts: 949000 | #Constraints: 121176
2015.22/2020.46 c #Conflicts: 950000 | #Constraints: 122176
2015.22/2020.46 c #Conflicts: 951000 | #Constraints: 123176
2236.98/2242.72 c #Conflicts: 952000 | #Constraints: 124176
2236.98/2242.72 c #Conflicts: 953000 | #Constraints: 125176
2236.98/2242.72 c #Conflicts: 954000 | #Constraints: 126176
2236.98/2242.72 c #Conflicts: 955000 | #Constraints: 127176
2236.98/2242.72 c #Conflicts: 956000 | #Constraints: 128176
2236.98/2242.72 c #Conflicts: 957000 | #Constraints: 129176
2236.98/2242.72 c #Conflicts: 958000 | #Constraints: 130176
2236.98/2242.72 c #Conflicts: 959000 | #Constraints: 131176
2236.98/2242.72 c #Conflicts: 960000 | #Constraints: 132176
2236.98/2242.72 c #Conflicts: 961000 | #Constraints: 133176
2236.98/2242.72 c INPROCESSING
2236.98/2242.72 c GARBAGE COLLECT
2236.98/2242.72 c #Conflicts: 962000 | #Constraints: 114784
2236.98/2242.72 c #Conflicts: 963000 | #Constraints: 115784
2236.98/2242.72 c #Conflicts: 964000 | #Constraints: 116784
2236.98/2242.72 c #Conflicts: 965000 | #Constraints: 117784
2236.98/2242.72 c #Conflicts: 966000 | #Constraints: 118784
2236.98/2242.72 c #Conflicts: 967000 | #Constraints: 119784
2236.98/2242.72 c #Conflicts: 968000 | #Constraints: 120784
2236.98/2242.72 c #Conflicts: 969000 | #Constraints: 121784
2236.98/2242.72 c #Conflicts: 970000 | #Constraints: 122784
2236.98/2242.72 c #Conflicts: 971000 | #Constraints: 123784
2236.98/2242.72 c #Conflicts: 972000 | #Constraints: 124784
2236.98/2242.72 c #Conflicts: 973000 | #Constraints: 125784
2236.98/2242.72 c #Conflicts: 974000 | #Constraints: 126784
2236.98/2242.72 c #Conflicts: 975000 | #Constraints: 127784
2236.98/2242.72 c #Conflicts: 976000 | #Constraints: 128784
2236.98/2242.72 c #Conflicts: 977000 | #Constraints: 129784
2236.98/2242.72 c #Conflicts: 978000 | #Constraints: 130784
2236.98/2242.72 c #Conflicts: 979000 | #Constraints: 131784
2236.98/2242.72 c #Conflicts: 980000 | #Constraints: 132784
2236.98/2242.72 c #Conflicts: 981000 | #Constraints: 133784
2236.98/2242.72 c INPROCESSING
2236.98/2242.72 c GARBAGE COLLECT
2236.98/2242.72 c #Conflicts: 982000 | #Constraints: 115164
2236.98/2242.72 c #Conflicts: 983000 | #Constraints: 116164
2236.98/2242.72 c #Conflicts: 984000 | #Constraints: 117164
2236.98/2242.72 c #Conflicts: 985000 | #Constraints: 118164
2236.98/2242.72 c #Conflicts: 986000 | #Constraints: 119164
2236.98/2242.72 c #Conflicts: 987000 | #Constraints: 120164
2236.98/2242.72 c #Conflicts: 988000 | #Constraints: 121164
2236.98/2242.72 c #Conflicts: 989000 | #Constraints: 122164
2236.98/2242.72 c #Conflicts: 990000 | #Constraints: 123164
2236.98/2242.72 c #Conflicts: 991000 | #Constraints: 124164
2236.98/2242.72 c #Conflicts: 992000 | #Constraints: 125164
2236.98/2242.72 c #Conflicts: 993000 | #Constraints: 126164
2236.98/2242.72 c #Conflicts: 994000 | #Constraints: 127164
2236.98/2242.72 c #Conflicts: 995000 | #Constraints: 128164
2236.98/2242.72 c #Conflicts: 996000 | #Constraints: 129164
2236.98/2242.72 c #Conflicts: 997000 | #Constraints: 130164
2236.98/2242.72 c #Conflicts: 998000 | #Constraints: 131164
2236.98/2242.72 c #Conflicts: 999000 | #Constraints: 132164
2236.98/2242.72 c #Conflicts: 1000000 | #Constraints: 133164
2236.98/2242.72 c #Conflicts: 1001000 | #Constraints: 134164
2236.98/2242.72 c INPROCESSING
2236.98/2242.72 c GARBAGE COLLECT
2236.98/2242.72 c #Conflicts: 1002000 | #Constraints: 115369
2236.98/2242.72 c #Conflicts: 1003000 | #Constraints: 116369
2236.98/2242.72 c #Conflicts: 1004000 | #Constraints: 117369
2236.98/2242.72 c #Conflicts: 1005000 | #Constraints: 118369
2236.98/2242.72 c #Conflicts: 1006000 | #Constraints: 119369
2236.98/2242.72 c #Conflicts: 1007000 | #Constraints: 120369
2236.98/2242.72 c #Conflicts: 1008000 | #Constraints: 121369
2236.98/2242.72 c #Conflicts: 1009000 | #Constraints: 122369
2236.98/2242.72 c #Conflicts: 1010000 | #Constraints: 123369
2236.98/2242.72 c #Conflicts: 1011000 | #Constraints: 124369
2236.98/2242.72 c #Conflicts: 1012000 | #Constraints: 125369
2236.98/2242.72 c #Conflicts: 1013000 | #Constraints: 126369
2236.98/2242.72 c #Conflicts: 1014000 | #Constraints: 127369
2236.98/2242.72 c #Conflicts: 1015000 | #Constraints: 128369
2236.98/2242.72 c #Conflicts: 1016000 | #Constraints: 129369
2236.98/2242.72 c #Conflicts: 1017000 | #Constraints: 130369
2236.98/2242.72 c #Conflicts: 1018000 | #Constraints: 131369
2236.98/2242.72 c #Conflicts: 1019000 | #Constraints: 132369
2236.98/2242.72 c #Conflicts: 1020000 | #Constraints: 133369
2236.98/2242.72 c #Conflicts: 1021000 | #Constraints: 134369
2236.98/2242.72 c INPROCESSING
2236.98/2242.72 c GARBAGE COLLECT
2236.98/2242.72 c #Conflicts: 1022000 | #Constraints: 115374
2236.98/2242.72 c #Conflicts: 1023000 | #Constraints: 116374
2236.98/2242.72 c #Conflicts: 1024000 | #Constraints: 117374
2236.98/2242.72 c #Conflicts: 1025000 | #Constraints: 118374
2236.98/2242.72 c #Conflicts: 1026000 | #Constraints: 119374
2236.98/2242.72 c #Conflicts: 1027000 | #Constraints: 120374
2236.98/2242.72 c #Conflicts: 1028000 | #Constraints: 121374
2466.33/2472.62 c #Conflicts: 1029000 | #Constraints: 122374
2466.33/2472.62 c #Conflicts: 1030000 | #Constraints: 123374
2466.33/2472.62 c #Conflicts: 1031000 | #Constraints: 124374
2466.33/2472.62 c #Conflicts: 1032000 | #Constraints: 125374
2466.33/2472.62 c #Conflicts: 1033000 | #Constraints: 126374
2466.33/2472.62 c #Conflicts: 1034000 | #Constraints: 127374
2466.33/2472.62 c #Conflicts: 1035000 | #Constraints: 128374
2466.33/2472.62 c #Conflicts: 1036000 | #Constraints: 129374
2466.33/2472.62 c #Conflicts: 1037000 | #Constraints: 130374
2466.33/2472.62 c #Conflicts: 1038000 | #Constraints: 131374
2466.33/2472.62 c #Conflicts: 1039000 | #Constraints: 132374
2466.33/2472.62 c #Conflicts: 1040000 | #Constraints: 133374
2466.33/2472.62 c #Conflicts: 1041000 | #Constraints: 134374
2466.33/2472.62 c INPROCESSING
2466.33/2472.62 c GARBAGE COLLECT
2466.33/2472.62 c #Conflicts: 1042000 | #Constraints: 115182
2466.33/2472.62 c #Conflicts: 1043000 | #Constraints: 116182
2466.33/2472.62 c #Conflicts: 1044000 | #Constraints: 117182
2466.33/2472.62 c #Conflicts: 1045000 | #Constraints: 118182
2466.33/2472.62 c #Conflicts: 1046000 | #Constraints: 119182
2466.33/2472.62 c #Conflicts: 1047000 | #Constraints: 120182
2466.33/2472.62 c #Conflicts: 1048000 | #Constraints: 121182
2466.33/2472.62 c #Conflicts: 1049000 | #Constraints: 122182
2466.33/2472.62 c #Conflicts: 1050000 | #Constraints: 123182
2466.33/2472.62 c #Conflicts: 1051000 | #Constraints: 124182
2466.33/2472.62 c #Conflicts: 1052000 | #Constraints: 125182
2466.33/2472.62 c #Conflicts: 1053000 | #Constraints: 126182
2466.33/2472.62 c #Conflicts: 1054000 | #Constraints: 127182
2466.33/2472.62 c #Conflicts: 1055000 | #Constraints: 128182
2466.33/2472.62 c #Conflicts: 1056000 | #Constraints: 129182
2466.33/2472.62 c #Conflicts: 1057000 | #Constraints: 130182
2466.33/2472.62 c #Conflicts: 1058000 | #Constraints: 131182
2466.33/2472.62 c #Conflicts: 1059000 | #Constraints: 132182
2466.33/2472.62 c #Conflicts: 1060000 | #Constraints: 133182
2466.33/2472.62 c #Conflicts: 1061000 | #Constraints: 134182
2466.33/2472.62 c #Conflicts: 1062000 | #Constraints: 135182
2466.33/2472.62 c INPROCESSING
2466.33/2472.62 c GARBAGE COLLECT
2466.33/2472.62 c #Conflicts: 1063000 | #Constraints: 115788
2466.33/2472.62 c #Conflicts: 1064000 | #Constraints: 116788
2466.33/2472.62 c #Conflicts: 1065000 | #Constraints: 117788
2466.33/2472.62 c #Conflicts: 1066000 | #Constraints: 118788
2466.33/2472.62 c #Conflicts: 1067000 | #Constraints: 119788
2466.33/2472.62 c #Conflicts: 1068000 | #Constraints: 120788
2466.33/2472.62 c #Conflicts: 1069000 | #Constraints: 121788
2466.33/2472.62 c #Conflicts: 1070000 | #Constraints: 122788
2466.33/2472.62 c #Conflicts: 1071000 | #Constraints: 123788
2466.33/2472.62 c #Conflicts: 1072000 | #Constraints: 124788
2466.33/2472.62 c #Conflicts: 1073000 | #Constraints: 125788
2466.33/2472.62 c #Conflicts: 1074000 | #Constraints: 126788
2466.33/2472.62 c #Conflicts: 1075000 | #Constraints: 127788
2466.33/2472.62 c #Conflicts: 1076000 | #Constraints: 128788
2466.33/2472.62 c #Conflicts: 1077000 | #Constraints: 129788
2466.33/2472.62 c #Conflicts: 1078000 | #Constraints: 130788
2466.33/2472.62 c #Conflicts: 1079000 | #Constraints: 131788
2466.33/2472.62 c #Conflicts: 1080000 | #Constraints: 132788
2466.33/2472.62 c #Conflicts: 1081000 | #Constraints: 133788
2466.33/2472.62 c #Conflicts: 1082000 | #Constraints: 134788
2466.33/2472.62 c #Conflicts: 1083000 | #Constraints: 135788
2466.33/2472.62 c INPROCESSING
2466.33/2472.62 c GARBAGE COLLECT
2466.33/2472.62 c #Conflicts: 1084000 | #Constraints: 116195
2466.33/2472.62 c #Conflicts: 1085000 | #Constraints: 117195
2466.33/2472.62 c #Conflicts: 1086000 | #Constraints: 118195
2466.33/2472.62 c #Conflicts: 1087000 | #Constraints: 119195
2466.33/2472.62 c #Conflicts: 1088000 | #Constraints: 120195
2466.33/2472.62 c #Conflicts: 1089000 | #Constraints: 121195
2466.33/2472.62 c #Conflicts: 1090000 | #Constraints: 122195
2466.33/2472.62 c #Conflicts: 1091000 | #Constraints: 123195
2466.33/2472.62 c #Conflicts: 1092000 | #Constraints: 124195
2466.33/2472.62 c #Conflicts: 1093000 | #Constraints: 125195
2466.33/2472.62 c #Conflicts: 1094000 | #Constraints: 126195
2466.33/2472.62 c #Conflicts: 1095000 | #Constraints: 127195
2466.33/2472.62 c #Conflicts: 1096000 | #Constraints: 128195
2466.33/2472.62 c #Conflicts: 1097000 | #Constraints: 129195
2466.33/2472.62 c #Conflicts: 1098000 | #Constraints: 130195
2466.33/2472.62 c #Conflicts: 1099000 | #Constraints: 131195
2466.33/2472.62 c #Conflicts: 1100000 | #Constraints: 132195
2466.33/2472.62 c #Conflicts: 1101000 | #Constraints: 133195
2466.33/2472.62 c #Conflicts: 1102000 | #Constraints: 134195
2466.33/2472.62 c #Conflicts: 1103000 | #Constraints: 135195
2466.33/2472.62 c #Conflicts: 1104000 | #Constraints: 136195
2466.33/2472.62 c INPROCESSING
2695.28/2702.12 c GARBAGE COLLECT
2695.28/2702.12 c #Conflicts: 1105000 | #Constraints: 116411
2695.28/2702.12 c #Conflicts: 1106000 | #Constraints: 117411
2695.28/2702.12 c #Conflicts: 1107000 | #Constraints: 118411
2695.28/2702.12 c #Conflicts: 1108000 | #Constraints: 119411
2695.28/2702.12 c #Conflicts: 1109000 | #Constraints: 120411
2695.28/2702.12 c #Conflicts: 1110000 | #Constraints: 121411
2695.28/2702.12 c #Conflicts: 1111000 | #Constraints: 122411
2695.28/2702.12 c #Conflicts: 1112000 | #Constraints: 123411
2695.28/2702.12 c #Conflicts: 1113000 | #Constraints: 124411
2695.28/2702.12 c #Conflicts: 1114000 | #Constraints: 125411
2695.28/2702.12 c #Conflicts: 1115000 | #Constraints: 126411
2695.28/2702.12 c #Conflicts: 1116000 | #Constraints: 127411
2695.28/2702.12 c #Conflicts: 1117000 | #Constraints: 128411
2695.28/2702.12 c #Conflicts: 1118000 | #Constraints: 129411
2695.28/2702.12 c #Conflicts: 1119000 | #Constraints: 130411
2695.28/2702.12 c #Conflicts: 1120000 | #Constraints: 131411
2695.28/2702.12 c #Conflicts: 1121000 | #Constraints: 132411
2695.28/2702.12 c #Conflicts: 1122000 | #Constraints: 133411
2695.28/2702.12 c #Conflicts: 1123000 | #Constraints: 134411
2695.28/2702.12 c #Conflicts: 1124000 | #Constraints: 135411
2695.28/2702.12 c #Conflicts: 1125000 | #Constraints: 136411
2695.28/2702.12 c INPROCESSING
2695.28/2702.12 c GARBAGE COLLECT
2695.28/2702.12 c #Conflicts: 1126000 | #Constraints: 116417
2695.28/2702.12 c #Conflicts: 1127000 | #Constraints: 117417
2695.28/2702.12 c #Conflicts: 1128000 | #Constraints: 118417
2695.28/2702.12 c #Conflicts: 1129000 | #Constraints: 119417
2695.28/2702.12 c #Conflicts: 1130000 | #Constraints: 120417
2695.28/2702.12 c #Conflicts: 1131000 | #Constraints: 121417
2695.28/2702.12 c #Conflicts: 1132000 | #Constraints: 122417
2695.28/2702.12 c #Conflicts: 1133000 | #Constraints: 123417
2695.28/2702.12 c #Conflicts: 1134000 | #Constraints: 124417
2695.28/2702.12 c #Conflicts: 1135000 | #Constraints: 125417
2695.28/2702.12 c #Conflicts: 1136000 | #Constraints: 126417
2695.28/2702.12 c #Conflicts: 1137000 | #Constraints: 127417
2695.28/2702.12 c #Conflicts: 1138000 | #Constraints: 128417
2695.28/2702.12 c #Conflicts: 1139000 | #Constraints: 129417
2695.28/2702.12 c #Conflicts: 1140000 | #Constraints: 130417
2695.28/2702.12 c #Conflicts: 1141000 | #Constraints: 131417
2695.28/2702.12 c #Conflicts: 1142000 | #Constraints: 132417
2695.28/2702.12 c #Conflicts: 1143000 | #Constraints: 133417
2695.28/2702.12 c #Conflicts: 1144000 | #Constraints: 134417
2695.28/2702.12 c #Conflicts: 1145000 | #Constraints: 135417
2695.28/2702.12 c #Conflicts: 1146000 | #Constraints: 136417
2695.28/2702.12 c INPROCESSING
2695.28/2702.12 c GARBAGE COLLECT
2695.28/2702.12 c #Conflicts: 1147000 | #Constraints: 116172
2695.28/2702.12 c #Conflicts: 1148000 | #Constraints: 117172
2695.28/2702.12 c #Conflicts: 1149000 | #Constraints: 118172
2695.28/2702.12 c #Conflicts: 1150000 | #Constraints: 119172
2695.28/2702.12 c #Conflicts: 1151000 | #Constraints: 120172
2695.28/2702.12 c #Conflicts: 1152000 | #Constraints: 121172
2695.28/2702.12 c #Conflicts: 1153000 | #Constraints: 122172
2695.28/2702.12 c #Conflicts: 1154000 | #Constraints: 123172
2695.28/2702.12 c #Conflicts: 1155000 | #Constraints: 124172
2695.28/2702.12 c #Conflicts: 1156000 | #Constraints: 125172
2695.28/2702.12 c #Conflicts: 1157000 | #Constraints: 126172
2695.28/2702.12 c #Conflicts: 1158000 | #Constraints: 127172
2695.28/2702.12 c #Conflicts: 1159000 | #Constraints: 128172
2695.28/2702.12 c #Conflicts: 1160000 | #Constraints: 129172
2695.28/2702.12 c #Conflicts: 1161000 | #Constraints: 130172
2695.28/2702.12 c #Conflicts: 1162000 | #Constraints: 131172
2695.28/2702.12 c #Conflicts: 1163000 | #Constraints: 132172
2695.28/2702.12 c #Conflicts: 1164000 | #Constraints: 133172
2695.28/2702.12 c #Conflicts: 1165000 | #Constraints: 134172
2695.28/2702.12 c #Conflicts: 1166000 | #Constraints: 135172
2695.28/2702.12 c #Conflicts: 1167000 | #Constraints: 136172
2695.28/2702.12 c #Conflicts: 1168000 | #Constraints: 137172
2695.28/2702.12 c INPROCESSING
2695.28/2702.12 c GARBAGE COLLECT
2695.28/2702.12 c #Conflicts: 1169000 | #Constraints: 116755
2695.28/2702.12 c #Conflicts: 1170000 | #Constraints: 117755
2695.28/2702.12 c #Conflicts: 1171000 | #Constraints: 118755
2695.28/2702.12 c #Conflicts: 1172000 | #Constraints: 119755
2695.28/2702.12 c #Conflicts: 1173000 | #Constraints: 120755
2695.28/2702.12 c #Conflicts: 1174000 | #Constraints: 121755
2695.28/2702.12 c #Conflicts: 1175000 | #Constraints: 122755
2695.28/2702.12 c #Conflicts: 1176000 | #Constraints: 123755
2695.28/2702.12 c #Conflicts: 1177000 | #Constraints: 124755
2695.28/2702.12 c #Conflicts: 1178000 | #Constraints: 125755
2695.28/2702.12 c #Conflicts: 1179000 | #Constraints: 126755
2695.28/2702.12 c #Conflicts: 1180000 | #Constraints: 127755
2695.28/2702.12 c #Conflicts: 1181000 | #Constraints: 128755
2954.44/2961.93 c #Conflicts: 1182000 | #Constraints: 129755
2954.44/2961.93 c #Conflicts: 1183000 | #Constraints: 130755
2954.44/2961.93 c #Conflicts: 1184000 | #Constraints: 131755
2954.44/2961.93 c #Conflicts: 1185000 | #Constraints: 132755
2954.44/2961.93 c #Conflicts: 1186000 | #Constraints: 133755
2954.44/2961.93 c #Conflicts: 1187000 | #Constraints: 134755
2954.44/2961.93 c #Conflicts: 1188000 | #Constraints: 135755
2954.44/2961.93 c #Conflicts: 1189000 | #Constraints: 136755
2954.44/2961.93 c #Conflicts: 1190000 | #Constraints: 137755
2954.44/2961.93 c INPROCESSING
2954.44/2961.93 c GARBAGE COLLECT
2954.44/2961.93 c #Conflicts: 1191000 | #Constraints: 117144
2954.44/2961.93 c #Conflicts: 1192000 | #Constraints: 118144
2954.44/2961.93 c #Conflicts: 1193000 | #Constraints: 119144
2954.44/2961.93 c #Conflicts: 1194000 | #Constraints: 120144
2954.44/2961.93 c #Conflicts: 1195000 | #Constraints: 121144
2954.44/2961.93 c #Conflicts: 1196000 | #Constraints: 122144
2954.44/2961.93 c #Conflicts: 1197000 | #Constraints: 123144
2954.44/2961.93 c #Conflicts: 1198000 | #Constraints: 124144
2954.44/2961.93 c #Conflicts: 1199000 | #Constraints: 125144
2954.44/2961.93 c #Conflicts: 1200000 | #Constraints: 126144
2954.44/2961.93 c #Conflicts: 1201000 | #Constraints: 127144
2954.44/2961.93 c #Conflicts: 1202000 | #Constraints: 128144
2954.44/2961.93 c #Conflicts: 1203000 | #Constraints: 129144
2954.44/2961.93 c #Conflicts: 1204000 | #Constraints: 130144
2954.44/2961.93 c #Conflicts: 1205000 | #Constraints: 131144
2954.44/2961.93 c #Conflicts: 1206000 | #Constraints: 132144
2954.44/2961.93 c #Conflicts: 1207000 | #Constraints: 133144
2954.44/2961.93 c #Conflicts: 1208000 | #Constraints: 134144
2954.44/2961.93 c #Conflicts: 1209000 | #Constraints: 135144
2954.44/2961.93 c #Conflicts: 1210000 | #Constraints: 136144
2954.44/2961.93 c #Conflicts: 1211000 | #Constraints: 137144
2954.44/2961.93 c #Conflicts: 1212000 | #Constraints: 138144
2954.44/2961.93 c INPROCESSING
2954.44/2961.93 c GARBAGE COLLECT
2954.44/2961.93 c #Conflicts: 1213000 | #Constraints: 117348
2954.44/2961.93 c #Conflicts: 1214000 | #Constraints: 118348
2954.44/2961.93 c #Conflicts: 1215000 | #Constraints: 119348
2954.44/2961.93 c #Conflicts: 1216000 | #Constraints: 120348
2954.44/2961.93 c #Conflicts: 1217000 | #Constraints: 121348
2954.44/2961.93 c #Conflicts: 1218000 | #Constraints: 122348
2954.44/2961.93 c #Conflicts: 1219000 | #Constraints: 123348
2954.44/2961.93 c #Conflicts: 1220000 | #Constraints: 124348
2954.44/2961.93 c #Conflicts: 1221000 | #Constraints: 125348
2954.44/2961.93 c #Conflicts: 1222000 | #Constraints: 126348
2954.44/2961.93 c #Conflicts: 1223000 | #Constraints: 127348
2954.44/2961.93 c #Conflicts: 1224000 | #Constraints: 128348
2954.44/2961.93 c #Conflicts: 1225000 | #Constraints: 129348
2954.44/2961.93 c #Conflicts: 1226000 | #Constraints: 130348
2954.44/2961.93 c #Conflicts: 1227000 | #Constraints: 131348
2954.44/2961.93 c #Conflicts: 1228000 | #Constraints: 132348
2954.44/2961.93 c #Conflicts: 1229000 | #Constraints: 133348
2954.44/2961.93 c #Conflicts: 1230000 | #Constraints: 134348
2954.44/2961.93 c #Conflicts: 1231000 | #Constraints: 135348
2954.44/2961.93 c #Conflicts: 1232000 | #Constraints: 136348
2954.44/2961.93 c #Conflicts: 1233000 | #Constraints: 137348
2954.44/2961.93 c #Conflicts: 1234000 | #Constraints: 138348
2954.44/2961.93 c INPROCESSING
2954.44/2961.93 c GARBAGE COLLECT
2954.44/2961.93 c #Conflicts: 1235000 | #Constraints: 117359
2954.44/2961.93 c #Conflicts: 1236000 | #Constraints: 118359
2954.44/2961.93 c #Conflicts: 1237000 | #Constraints: 119359
2954.44/2961.93 c #Conflicts: 1238000 | #Constraints: 120359
2954.44/2961.93 c #Conflicts: 1239000 | #Constraints: 121359
2954.44/2961.93 c #Conflicts: 1240000 | #Constraints: 122359
2954.44/2961.93 c #Conflicts: 1241000 | #Constraints: 123359
2954.44/2961.93 c #Conflicts: 1242000 | #Constraints: 124359
2954.44/2961.93 c #Conflicts: 1243000 | #Constraints: 125359
2954.44/2961.93 c #Conflicts: 1244000 | #Constraints: 126359
2954.44/2961.93 c #Conflicts: 1245000 | #Constraints: 127359
2954.44/2961.93 c #Conflicts: 1246000 | #Constraints: 128359
2954.44/2961.93 c #Conflicts: 1247000 | #Constraints: 129359
2954.44/2961.93 c #Conflicts: 1248000 | #Constraints: 130359
2954.44/2961.93 c #Conflicts: 1249000 | #Constraints: 131359
2954.44/2961.93 c #Conflicts: 1250000 | #Constraints: 132359
2954.44/2961.93 c #Conflicts: 1251000 | #Constraints: 133359
2954.44/2961.93 c #Conflicts: 1252000 | #Constraints: 134359
2954.44/2961.93 c #Conflicts: 1253000 | #Constraints: 135359
2954.44/2961.93 c #Conflicts: 1254000 | #Constraints: 136359
2954.44/2961.93 c #Conflicts: 1255000 | #Constraints: 137359
2954.44/2961.93 c #Conflicts: 1256000 | #Constraints: 138359
2954.44/2961.93 c INPROCESSING
2954.44/2961.93 c GARBAGE COLLECT
2954.44/2961.93 c #Conflicts: 1257000 | #Constraints: 117168
3203.95/3212.02 c #Conflicts: 1258000 | #Constraints: 118168
3203.95/3212.02 c #Conflicts: 1259000 | #Constraints: 119168
3203.95/3212.02 c #Conflicts: 1260000 | #Constraints: 120168
3203.95/3212.02 c #Conflicts: 1261000 | #Constraints: 121168
3203.95/3212.02 c #Conflicts: 1262000 | #Constraints: 122168
3203.95/3212.02 c #Conflicts: 1263000 | #Constraints: 123168
3203.95/3212.02 c #Conflicts: 1264000 | #Constraints: 124168
3203.95/3212.02 c #Conflicts: 1265000 | #Constraints: 125168
3203.95/3212.02 c #Conflicts: 1266000 | #Constraints: 126168
3203.95/3212.02 c #Conflicts: 1267000 | #Constraints: 127168
3203.95/3212.02 c #Conflicts: 1268000 | #Constraints: 128168
3203.95/3212.02 c #Conflicts: 1269000 | #Constraints: 129168
3203.95/3212.02 c #Conflicts: 1270000 | #Constraints: 130168
3203.95/3212.02 c #Conflicts: 1271000 | #Constraints: 131168
3203.95/3212.02 c #Conflicts: 1272000 | #Constraints: 132168
3203.95/3212.02 c #Conflicts: 1273000 | #Constraints: 133168
3203.95/3212.02 c #Conflicts: 1274000 | #Constraints: 134168
3203.95/3212.02 c #Conflicts: 1275000 | #Constraints: 135168
3203.95/3212.02 c #Conflicts: 1276000 | #Constraints: 136168
3203.95/3212.02 c #Conflicts: 1277000 | #Constraints: 137168
3203.95/3212.02 c #Conflicts: 1278000 | #Constraints: 138168
3203.95/3212.02 c #Conflicts: 1279000 | #Constraints: 139168
3203.95/3212.02 c INPROCESSING
3203.95/3212.02 c GARBAGE COLLECT
3203.95/3212.02 c #Conflicts: 1280000 | #Constraints: 117780
3203.95/3212.02 c #Conflicts: 1281000 | #Constraints: 118780
3203.95/3212.02 c #Conflicts: 1282000 | #Constraints: 119780
3203.95/3212.02 c #Conflicts: 1283000 | #Constraints: 120780
3203.95/3212.02 c #Conflicts: 1284000 | #Constraints: 121780
3203.95/3212.02 c #Conflicts: 1285000 | #Constraints: 122780
3203.95/3212.02 c #Conflicts: 1286000 | #Constraints: 123780
3203.95/3212.02 c #Conflicts: 1287000 | #Constraints: 124780
3203.95/3212.02 c #Conflicts: 1288000 | #Constraints: 125780
3203.95/3212.02 c #Conflicts: 1289000 | #Constraints: 126780
3203.95/3212.02 c #Conflicts: 1290000 | #Constraints: 127780
3203.95/3212.02 c #Conflicts: 1291000 | #Constraints: 128780
3203.95/3212.02 c #Conflicts: 1292000 | #Constraints: 129780
3203.95/3212.02 c #Conflicts: 1293000 | #Constraints: 130780
3203.95/3212.02 c #Conflicts: 1294000 | #Constraints: 131780
3203.95/3212.02 c #Conflicts: 1295000 | #Constraints: 132780
3203.95/3212.02 c #Conflicts: 1296000 | #Constraints: 133780
3203.95/3212.03 c #Conflicts: 1297000 | #Constraints: 134780
3203.95/3212.03 c #Conflicts: 1298000 | #Constraints: 135780
3203.95/3212.03 c #Conflicts: 1299000 | #Constraints: 136780
3203.95/3212.03 c #Conflicts: 1300000 | #Constraints: 137780
3203.95/3212.03 c #Conflicts: 1301000 | #Constraints: 138780
3203.95/3212.03 c #Conflicts: 1302000 | #Constraints: 139780
3203.95/3212.03 c INPROCESSING
3203.95/3212.03 c GARBAGE COLLECT
3203.95/3212.03 c #Conflicts: 1303000 | #Constraints: 118154
3203.95/3212.03 c #Conflicts: 1304000 | #Constraints: 119154
3203.95/3212.03 c #Conflicts: 1305000 | #Constraints: 120154
3203.95/3212.03 c #Conflicts: 1306000 | #Constraints: 121154
3203.95/3212.03 c #Conflicts: 1307000 | #Constraints: 122154
3203.95/3212.03 c #Conflicts: 1308000 | #Constraints: 123154
3203.95/3212.03 c #Conflicts: 1309000 | #Constraints: 124154
3203.95/3212.03 c #Conflicts: 1310000 | #Constraints: 125154
3203.95/3212.03 c #Conflicts: 1311000 | #Constraints: 126154
3203.95/3212.03 c #Conflicts: 1312000 | #Constraints: 127154
3203.95/3212.03 c #Conflicts: 1313000 | #Constraints: 128154
3203.95/3212.03 c #Conflicts: 1314000 | #Constraints: 129154
3203.95/3212.03 c #Conflicts: 1315000 | #Constraints: 130154
3203.95/3212.03 c #Conflicts: 1316000 | #Constraints: 131154
3203.95/3212.03 c #Conflicts: 1317000 | #Constraints: 132154
3203.95/3212.03 c #Conflicts: 1318000 | #Constraints: 133154
3203.95/3212.03 c #Conflicts: 1319000 | #Constraints: 134154
3203.95/3212.03 c #Conflicts: 1320000 | #Constraints: 135154
3203.95/3212.03 c #Conflicts: 1321000 | #Constraints: 136154
3203.95/3212.03 c #Conflicts: 1322000 | #Constraints: 137154
3203.95/3212.03 c #Conflicts: 1323000 | #Constraints: 138154
3203.95/3212.03 c #Conflicts: 1324000 | #Constraints: 139154
3203.95/3212.03 c #Conflicts: 1325000 | #Constraints: 140154
3203.95/3212.03 c INPROCESSING
3203.95/3212.03 c GARBAGE COLLECT
3203.95/3212.03 c #Conflicts: 1326000 | #Constraints: 118366
3203.95/3212.03 c #Conflicts: 1327000 | #Constraints: 119366
3203.95/3212.03 c #Conflicts: 1328000 | #Constraints: 120366
3203.95/3212.03 c #Conflicts: 1329000 | #Constraints: 121366
3203.95/3212.03 c #Conflicts: 1330000 | #Constraints: 122366
3203.95/3212.03 c #Conflicts: 1331000 | #Constraints: 123366
3203.95/3212.03 c #Conflicts: 1332000 | #Constraints: 124366
3203.95/3212.03 c #Conflicts: 1333000 | #Constraints: 125366
3203.95/3212.03 c #Conflicts: 1334000 | #Constraints: 126366
3480.97/3489.78 c #Conflicts: 1335000 | #Constraints: 127366
3480.97/3489.78 c #Conflicts: 1336000 | #Constraints: 128366
3480.97/3489.78 c #Conflicts: 1337000 | #Constraints: 129366
3480.97/3489.78 c #Conflicts: 1338000 | #Constraints: 130366
3480.97/3489.78 c #Conflicts: 1339000 | #Constraints: 131366
3480.97/3489.78 c #Conflicts: 1340000 | #Constraints: 132366
3480.97/3489.78 c #Conflicts: 1341000 | #Constraints: 133366
3480.97/3489.78 c #Conflicts: 1342000 | #Constraints: 134366
3480.97/3489.78 c #Conflicts: 1343000 | #Constraints: 135366
3480.97/3489.78 c #Conflicts: 1344000 | #Constraints: 136366
3480.97/3489.78 c #Conflicts: 1345000 | #Constraints: 137366
3480.97/3489.78 c #Conflicts: 1346000 | #Constraints: 138366
3480.97/3489.78 c #Conflicts: 1347000 | #Constraints: 139366
3480.97/3489.78 c #Conflicts: 1348000 | #Constraints: 140366
3480.97/3489.78 c INPROCESSING
3480.97/3489.78 c GARBAGE COLLECT
3480.97/3489.78 c #Conflicts: 1349000 | #Constraints: 118388
3480.97/3489.78 c #Conflicts: 1350000 | #Constraints: 119388
3480.97/3489.78 c #Conflicts: 1351000 | #Constraints: 120388
3480.97/3489.78 c #Conflicts: 1352000 | #Constraints: 121388
3480.97/3489.78 c #Conflicts: 1353000 | #Constraints: 122388
3480.97/3489.78 c #Conflicts: 1354000 | #Constraints: 123388
3480.97/3489.78 c #Conflicts: 1355000 | #Constraints: 124388
3480.97/3489.78 c #Conflicts: 1356000 | #Constraints: 125388
3480.97/3489.78 c #Conflicts: 1357000 | #Constraints: 126388
3480.97/3489.78 c #Conflicts: 1358000 | #Constraints: 127388
3480.97/3489.78 c #Conflicts: 1359000 | #Constraints: 128388
3480.97/3489.78 c #Conflicts: 1360000 | #Constraints: 129388
3480.97/3489.78 c #Conflicts: 1361000 | #Constraints: 130388
3480.97/3489.78 c #Conflicts: 1362000 | #Constraints: 131388
3480.97/3489.78 c #Conflicts: 1363000 | #Constraints: 132388
3480.97/3489.78 c #Conflicts: 1364000 | #Constraints: 133388
3480.97/3489.78 c #Conflicts: 1365000 | #Constraints: 134388
3480.97/3489.78 c #Conflicts: 1366000 | #Constraints: 135388
3480.97/3489.78 c #Conflicts: 1367000 | #Constraints: 136388
3480.97/3489.78 c #Conflicts: 1368000 | #Constraints: 137388
3480.97/3489.78 c #Conflicts: 1369000 | #Constraints: 138388
3480.97/3489.78 c #Conflicts: 1370000 | #Constraints: 139388
3480.97/3489.78 c #Conflicts: 1371000 | #Constraints: 140388
3480.97/3489.78 c INPROCESSING
3480.97/3489.78 c GARBAGE COLLECT
3480.97/3489.78 c #Conflicts: 1372000 | #Constraints: 118197
3480.97/3489.78 c #Conflicts: 1373000 | #Constraints: 119197
3480.97/3489.78 c #Conflicts: 1374000 | #Constraints: 120197
3480.97/3489.78 c #Conflicts: 1375000 | #Constraints: 121197
3480.97/3489.78 c #Conflicts: 1376000 | #Constraints: 122197
3480.97/3489.78 c #Conflicts: 1377000 | #Constraints: 123197
3480.97/3489.78 c #Conflicts: 1378000 | #Constraints: 124197
3480.97/3489.78 c #Conflicts: 1379000 | #Constraints: 125197
3480.97/3489.78 c #Conflicts: 1380000 | #Constraints: 126197
3480.97/3489.78 c #Conflicts: 1381000 | #Constraints: 127197
3480.97/3489.78 c #Conflicts: 1382000 | #Constraints: 128197
3480.97/3489.78 c #Conflicts: 1383000 | #Constraints: 129197
3480.97/3489.78 c #Conflicts: 1384000 | #Constraints: 130197
3480.97/3489.78 c #Conflicts: 1385000 | #Constraints: 131197
3480.97/3489.78 c #Conflicts: 1386000 | #Constraints: 132197
3480.97/3489.78 c #Conflicts: 1387000 | #Constraints: 133197
3480.97/3489.78 c #Conflicts: 1388000 | #Constraints: 134197
3480.97/3489.78 c #Conflicts: 1389000 | #Constraints: 135197
3480.97/3489.78 c #Conflicts: 1390000 | #Constraints: 136197
3480.97/3489.78 c #Conflicts: 1391000 | #Constraints: 137197
3480.97/3489.78 c #Conflicts: 1392000 | #Constraints: 138197
3480.97/3489.78 c #Conflicts: 1393000 | #Constraints: 139197
3480.97/3489.78 c #Conflicts: 1394000 | #Constraints: 140197
3480.97/3489.78 c #Conflicts: 1395000 | #Constraints: 141197
3480.97/3489.78 c INPROCESSING
3480.97/3489.78 c GARBAGE COLLECT
3480.97/3489.78 c #Conflicts: 1396000 | #Constraints: 118788
3480.97/3489.78 c #Conflicts: 1397000 | #Constraints: 119788
3480.97/3489.78 c #Conflicts: 1398000 | #Constraints: 120788
3480.97/3489.78 c #Conflicts: 1399000 | #Constraints: 121788
3480.97/3489.78 c #Conflicts: 1400000 | #Constraints: 122788
3480.97/3489.78 c #Conflicts: 1401000 | #Constraints: 123788
3480.97/3489.78 c #Conflicts: 1402000 | #Constraints: 124788
3480.97/3489.78 c #Conflicts: 1403000 | #Constraints: 125788
3480.97/3489.78 c #Conflicts: 1404000 | #Constraints: 126788
3480.97/3489.78 c #Conflicts: 1405000 | #Constraints: 127788
3480.97/3489.78 c #Conflicts: 1406000 | #Constraints: 128788
3480.97/3489.78 c #Conflicts: 1407000 | #Constraints: 129788
3480.97/3489.78 c #Conflicts: 1408000 | #Constraints: 130788
3480.97/3489.78 c #Conflicts: 1409000 | #Constraints: 131788
3480.97/3489.78 c #Conflicts: 1410000 | #Constraints: 132788
3480.97/3489.78 c #Conflicts: 1411000 | #Constraints: 133788
3600.09/3609.11 c #Conflicts: 1412000 | #Constraints: 134788
3600.09/3609.11 c #Conflicts: 1413000 | #Constraints: 135788
3600.09/3609.11 c #Conflicts: 1414000 | #Constraints: 136788
3600.09/3609.11 c #Conflicts: 1415000 | #Constraints: 137788
3600.09/3609.11 c #Conflicts: 1416000 | #Constraints: 138788
3600.09/3609.11 c #Conflicts: 1417000 | #Constraints: 139788
3600.09/3609.11 c #Conflicts: 1418000 | #Constraints: 140788
3600.09/3609.11 c #Conflicts: 1419000 | #Constraints: 141788
3600.09/3609.11 c INPROCESSING
3600.09/3609.11 c GARBAGE COLLECT
3600.09/3609.11 c #Conflicts: 1420000 | #Constraints: 119177
3600.09/3609.11 c #Conflicts: 1421000 | #Constraints: 120177
3600.09/3609.11 c #Conflicts: 1422000 | #Constraints: 121177
3600.09/3609.11 c #Conflicts: 1423000 | #Constraints: 122177
3600.09/3609.11 c #Conflicts: 1424000 | #Constraints: 123177
3600.09/3609.11 c #Conflicts: 1425000 | #Constraints: 124177
3600.09/3609.11 c #Conflicts: 1426000 | #Constraints: 125177
3600.09/3609.11 c #Conflicts: 1427000 | #Constraints: 126177
3600.09/3609.11 c #Conflicts: 1428000 | #Constraints: 127177
3600.09/3609.11 c #Conflicts: 1429000 | #Constraints: 128177
3600.09/3609.11 c #Conflicts: 1430000 | #Constraints: 129177
3600.09/3609.11 c #Conflicts: 1431000 | #Constraints: 130177
3600.09/3609.11 c #Conflicts: 1432000 | #Constraints: 131177
3600.09/3609.11 c #Conflicts: 1433000 | #Constraints: 132177
3600.09/3609.11 c #Conflicts: 1434000 | #Constraints: 133177
3600.09/3609.11 c #Conflicts: 1435000 | #Constraints: 134177
3600.09/3609.11 c #Conflicts: 1436000 | #Constraints: 135177
3600.09/3609.11 c #Conflicts: 1437000 | #Constraints: 136177
3600.09/3609.11 c #Conflicts: 1438000 | #Constraints: 137177
3600.09/3609.11 c #Conflicts: 1439000 | #Constraints: 138177
3600.09/3609.11 c #Conflicts: 1440000 | #Constraints: 139177
3600.09/3609.11 c #Conflicts: 1441000 | #Constraints: 140177
3600.09/3609.11 c #Conflicts: 1442000 | #Constraints: 141177
3600.09/3609.11 c #Conflicts: 1443000 | #Constraints: 142177
3600.09/3609.11 c INPROCESSING
3600.09/3609.11 c GARBAGE COLLECT
3600.09/3609.11 c #Conflicts: 1444000 | #Constraints: 119373
3600.09/3609.11 c Program interrupted by user.
3600.09/3609.11 c cpu time 3593.39 s
3600.09/3609.11 c deterministic time 825975889449 8.26e+11
3600.09/3609.11 c optimization time 3.17375 s
3600.09/3609.11 c total solve time 3290.78 s
3600.09/3609.11 c core-guided solve time 3290.78 s
3600.09/3609.11 c propagation time 3064.39 s
3600.09/3609.11 c conflict analysis time 180.257 s
3600.09/3609.11 c propagations 38975868
3600.09/3609.11 c resolve steps 11648727
3600.09/3609.11 c decisions 2645961
3600.09/3609.11 c conflicts 1444160
3600.09/3609.11 c restarts 2810
3600.09/3609.11 c inprocessing phases 111
3600.09/3609.11 c input clauses 94463
3600.09/3609.11 c input cardinalities 32
3600.09/3609.11 c input general constraints 0
3600.09/3609.11 c input average constraint length 2.44
3600.09/3609.11 c input average constraint degree 1.34
3600.09/3609.11 c learned clauses 877093
3600.09/3609.11 c learned cardinalities 374880
3600.09/3609.11 c learned general constraints 192187
3600.09/3609.11 c learned average constraint length 1208.80
3600.09/3609.11 c learned average constraint degree 17.69
3600.09/3609.11 c watched constraints 192187
3600.09/3609.11 c counting constraints 0
3600.09/3609.11 c gcd simplifications 104648
3600.09/3609.11 c detected cardinalities 28631
3600.09/3609.11 c weakened non-implied lits 19119878
3600.09/3609.11 c weakened non-implying lits 71126
3600.09/3609.11 c original variables 1272
3600.09/3609.11 c clausal propagations 28206970
3600.09/3609.11 c cardinality propagations 5586103
3600.09/3609.11 c watched propagations 1116421
3600.09/3609.11 c counting propagations 0
3600.09/3609.11 c watch lookups 20683058831
3600.09/3609.11 c watch backjump lookups 5174954
3600.09/3609.11 c watch checks 798974136438
3600.09/3609.11 c propagation checks 2508281332
3600.09/3609.11 c constraint additions 3720551493
3600.09/3609.11 c trail pops 43064571
3600.09/3609.11 c formula constraints 94227
3600.09/3609.11 c learned constraints 1444160
3600.09/3609.11 c bound constraints 32
3600.09/3609.11 c core-guided constraints 236
3600.09/3609.11 c encountered formula constraints 9815003
3600.09/3609.11 c encountered learned constraints 3239639
3600.09/3609.11 c encountered bound constraints 2110
3600.09/3609.11 c encountered core-guided constraints 36135
3600.09/3609.11 c LP total time 0 s
3600.09/3609.11 c LP solve time 0 s
3600.09/3609.11 c LP constraints added 0
3600.09/3609.11 c LP constraints removed 0
3600.09/3609.11 c LP pivots internal 0
3600.09/3609.11 c LP pivots root 0
3600.09/3609.11 c LP calls 0
3600.09/3609.11 c LP optimalities 0
3600.09/3609.11 c LP no pivot count 0
3600.09/3609.11 c LP infeasibilities 0
3600.09/3609.11 c LP valid Farkas constraints 0
3600.09/3609.11 c LP learned Farkas constraints 0
3600.09/3609.11 c LP basis resets 0
3600.09/3609.11 c LP cycling count 0
3600.09/3609.11 c LP singular count 0
3600.09/3609.11 c LP no primal count 0
3600.09/3609.11 c LP no farkas count 0
3600.09/3609.11 c LP other issue count 0
3600.09/3609.11 c LP Gomory cuts 0
3600.09/3609.11 c LP learned cuts 0
3600.09/3609.11 c LP deleted cuts 0
3600.09/3609.11 c LP encountered Gomory constraints 0
3600.09/3609.11 c LP encountered Farkas constraints 0
3600.09/3609.11 c LP encountered learned Farkas constraints 0
3600.09/3609.11 c CG auxiliary variables introduced 236
3600.09/3609.11 c CG solutions found 0
3600.09/3609.11 c CG cores constructed 31
3600.09/3609.11 c CG core cardinality constraints returned 0
3600.09/3609.11 c CG unit cores 0
3600.09/3609.11 c CG single cores 31
3600.09/3609.11 c CG blocks removed during cardinality reduction 0
3600.09/3609.11 c CG first core best 0
3600.09/3609.11 c CG decision core best 0
3600.09/3609.11 c CG core reduction tie 0
3600.09/3609.11 c CG core degree average 1.00
3600.09/3609.11 c CG core slack average 6.48
3600.09/3609.11 c CG exhausted 0
3600.09/3609.11 c CG exhaust time 0 s
3600.09/3609.11 c CG trimmed 4
3600.09/3609.11 c CG trim time 0.000274 s
3600.09/3609.11 c CG minimized 0
3600.09/3609.11 c CG minimize time 0 s
3600.09/3609.11 c CG am1 prop time 0.007302 s
3600.09/3609.11 c CG # am1s reformulated 236
3600.09/3609.11 c CG lower bound derived from am1s 1033
3600.09/3609.11 c CG # clausal cores 31
3600.09/3609.11 c CG # cardinality cores 0
3600.09/3609.11 c CG # pb cores 0
3600.09/3609.11 c CG # pb reforms 0
3600.09/3609.11 c CG # cores discarded because of pb reform 0
3600.09/3609.11 d LOWERBOUND -208
3600.09/3609.11 d NCORES 31
3600.09/3609.11 d NPBCORES 0
3600.09/3609.11 d NPBREFORM 0
3600.09/3609.11 d NTRIMMED 4
3600.09/3609.11 d NEXHAUSTED 0
3600.09/3609.11 d NAM1S 236
3600.09/3609.11 d AM1LB 1033
3600.09/3609.11 c [Papilo Statistics]
3600.09/3609.11 c prepro time 0.256652s
3600.09/3609.11 c # tsx applied 0
3600.09/3609.11 c # tsx conflicts 0
3600.09/3609.11 c # bound changes 0
3600.09/3609.11 c # side changes 0
3600.09/3609.11 c # coef changes 0
3600.09/3609.11 c # rounds 1
3600.09/3609.11 c # deted vars 0
3600.09/3609.11 c # deted constrs 0
3600.09/3609.11 c # consecutive rounds of only bound changes 0
3600.09/3609.11 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (61925 MiB free)
memory of node 1: 64507 MiB (62033 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484851-1751283305/watcher-4484851-1751283305 -o /tmp/evaluation-result-4484851-1751283305/solver-4484851-1751283305 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751279693-38725 --watchdog 3760 mixed-bag HOME/instance-4484851-1751283305.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=39668, runsolver pid=39665
[startup+0.100065 s]*
/proc/loadavg: 4.11 4.11 4.07 5/259 39674
/proc/meminfo: memFree=126928312/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=90416 memory=15000 CPUtime=0.08 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 2390 0 0 0 8 0 0 0 20 0 1 0 44008313 92585984 3750 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 22604 3750 2144 2842 0 4837 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 90416 KiB
Current children cumulated memory: 15000 KiB
[startup+0.205739 s]*
/proc/loadavg: 4.11 4.11 4.07 4/263 39683
/proc/meminfo: memFree=126885892/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=124932 memory=50280 CPUtime=0.18 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 8814 0 0 0 17 1 0 0 20 0 1 0 44008313 127930368 12722 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 31233 12722 2144 2842 0 13466 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 124932 KiB
Current children cumulated memory: 50280 KiB
[startup+0.305752 s]*
/proc/loadavg: 4.11 4.11 4.07 5/263 39683
/proc/meminfo: memFree=126874384/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=138896 memory=56832 CPUtime=0.28 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 11528 0 0 0 26 2 0 0 20 0 1 0 44008313 142229504 14208 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 34724 14208 2272 2842 0 16418 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 138896 KiB
Current children cumulated memory: 56832 KiB
[startup+0.700153 s]
/proc/loadavg: 4.11 4.11 4.07 6/263 39683
/proc/meminfo: memFree=126812452/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=243244 memory=165576 CPUtime=0.67 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 38549 0 0 0 60 7 0 0 20 0 1 0 44008313 249081856 41394 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 60811 41394 4032 2842 0 42505 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 243244 KiB
Current children cumulated memory: 165576 KiB
[startup+1.50019 s]
/proc/loadavg: 4.11 4.11 4.07 5/263 39683
/proc/meminfo: memFree=126550932/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=300616 memory=221504 CPUtime=1.46 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 56811 0 0 0 136 10 0 0 20 0 1 0 44008313 307830784 55376 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 75154 55376 4064 2842 0 56848 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 300616 KiB
Current children cumulated memory: 221504 KiB
[startup+3.10551 s]
/proc/loadavg: 4.11 4.11 4.07 5/263 39683
/proc/meminfo: memFree=126018420/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=591628 memory=492008 CPUtime=3.07 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 86486 0 0 0 289 18 0 0 20 0 1 0 44008313 605827072 123002 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 147907 123002 4224 2842 0 129601 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 591628 KiB
Current children cumulated memory: 492008 KiB
[startup+6.30017 s]
/proc/loadavg: 4.10 4.11 4.07 5/263 39683
/proc/meminfo: memFree=125962824/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=635832 memory=526852 CPUtime=6.25 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 93119 0 0 0 606 19 0 0 20 0 1 0 44008313 651091968 131713 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 158958 131713 4256 2842 0 140652 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 635832 KiB
Current children cumulated memory: 526852 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.07 5/263 39683
/proc/meminfo: memFree=125963076/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=652528 memory=534828 CPUtime=12.64 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 94085 0 0 0 1244 20 0 0 20 0 1 0 44008313 668188672 133707 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 163132 133707 4256 2842 0 144826 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 652528 KiB
Current children cumulated memory: 534828 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 4.07 5/263 39683
/proc/meminfo: memFree=125947512/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=735784 memory=540716 CPUtime=25.41 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 95568 0 0 0 2521 20 0 0 20 0 1 0 44008313 753442816 135179 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 183946 135179 4256 2842 0 165640 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 735784 KiB
Current children cumulated memory: 540716 KiB
[startup+51.1056 s]
/proc/loadavg: 4.10 4.11 4.07 5/263 39684
/proc/meminfo: memFree=125730160/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=925832 memory=656944 CPUtime=50.94 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 124112 0 0 0 5069 25 0 0 20 0 1 0 44008313 948051968 164236 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 231458 164236 4256 2842 0 213152 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 925832 KiB
Current children cumulated memory: 656944 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.07 5/265 39688
/proc/meminfo: memFree=125650688/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=975892 memory=701872 CPUtime=101.97 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 135399 0 0 0 10170 27 0 0 20 0 1 0 44008313 999313408 175468 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 243973 175468 4256 2842 0 225667 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 975892 KiB
Current children cumulated memory: 701872 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.08 5/265 39690
/proc/meminfo: memFree=125569088/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=1065700 memory=756704 CPUtime=161.79 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 148711 0 0 0 16150 29 0 0 20 0 1 0 44008313 1091276800 189176 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 266425 189176 4256 2842 0 248119 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1065700 KiB
Current children cumulated memory: 756704 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/265 39692
/proc/meminfo: memFree=125440172/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=1158956 memory=827616 CPUtime=221.6 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 166474 0 0 0 22128 32 0 0 20 0 1 0 44008313 1186770944 206904 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 289739 206904 4256 2842 0 271433 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 1158956 KiB
Current children cumulated memory: 827616 KiB
[startup+282.3 s]
/proc/loadavg: 4.23 4.13 4.09 5/265 39742
/proc/meminfo: memFree=126119060/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=1284664 memory=907048 CPUtime=281.42 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 187736 0 0 0 28107 35 0 0 20 0 1 0 44008313 1315495936 226762 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 321166 226762 4256 2842 0 302860 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 1284664 KiB
Current children cumulated memory: 907048 KiB
[startup+342.3 s]
/proc/loadavg: 4.62 4.26 4.14 5/267 39795
/proc/meminfo: memFree=127162952/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=1163572 memory=789928 CPUtime=341.26 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 199258 0 0 0 34051 75 0 0 20 0 1 0 44008313 1191497728 197482 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 290893 197482 4416 2842 0 272587 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 1163572 KiB
Current children cumulated memory: 789928 KiB
[startup+402.3 s]
/proc/loadavg: 4.27 4.23 4.13 5/266 39797
/proc/meminfo: memFree=126999108/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=1163572 memory=810360 CPUtime=401.11 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 199289 0 0 0 40007 104 0 0 20 0 1 0 44008313 1191497728 202590 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 290893 202590 4416 2842 0 272587 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 1163572 KiB
Current children cumulated memory: 810360 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.22 4.13 5/265 39798
/proc/meminfo: memFree=126842988/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=1213660 memory=826220 CPUtime=460.96 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 199852 0 0 0 45968 128 0 0 20 0 1 0 44008313 1242787840 206555 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 303415 206555 4416 2842 0 285109 0
Current children cumulated CPU time: 460.96 s
################
# More data... #
################
Current children cumulated memory: 1057932 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 39928
/proc/meminfo: memFree=126004084/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=1427308 memory=1064076 CPUtime=2914.94 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 202321 0 0 0 290916 578 0 0 20 0 1 0 44008313 1461563392 266019 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 356827 266019 4416 2842 0 338521 0
Current children cumulated CPU time: 2914.94 s
Current children cumulated vsize: 1427308 KiB
Current children cumulated memory: 1064076 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 39930
/proc/meminfo: memFree=125999908/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=1427308 memory=1064076 CPUtime=2974.8 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 202346 0 0 0 296892 588 0 0 20 0 1 0 44008313 1461563392 266019 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 356827 266019 4416 2842 0 338521 0
Current children cumulated CPU time: 2974.8 s
Current children cumulated vsize: 1427308 KiB
Current children cumulated memory: 1064076 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/263 39932
/proc/meminfo: memFree=125991392/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=1427308 memory=1064076 CPUtime=3034.65 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 202347 0 0 0 302869 596 0 0 20 0 1 0 44008313 1461563392 266019 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 356827 266019 4416 2842 0 338521 0
Current children cumulated CPU time: 3034.65 s
Current children cumulated vsize: 1427308 KiB
Current children cumulated memory: 1064076 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 39935
/proc/meminfo: memFree=125981244/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=1427308 memory=1064076 CPUtime=3094.5 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 202347 0 0 0 308847 603 0 0 20 0 1 0 44008313 1461563392 266019 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 356827 266019 4416 2842 0 338521 0
Current children cumulated CPU time: 3094.5 s
Current children cumulated vsize: 1427308 KiB
Current children cumulated memory: 1064076 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 39937
/proc/meminfo: memFree=125981356/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=1427308 memory=1066124 CPUtime=3154.37 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 202350 0 0 0 314825 612 0 0 20 0 1 0 44008313 1461563392 266531 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 356827 266531 4416 2842 0 338521 0
Current children cumulated CPU time: 3154.37 s
Current children cumulated vsize: 1427308 KiB
Current children cumulated memory: 1066124 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 39939
/proc/meminfo: memFree=125977452/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=1427308 memory=1070220 CPUtime=3214.22 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 202352 0 0 0 320803 619 0 0 20 0 1 0 44008313 1461563392 267555 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 356827 267555 4416 2842 0 338521 0
Current children cumulated CPU time: 3214.22 s
Current children cumulated vsize: 1427308 KiB
Current children cumulated memory: 1070220 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 39944
/proc/meminfo: memFree=125973252/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=1427308 memory=1072268 CPUtime=3274.07 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 202364 0 0 0 326783 624 0 0 20 0 1 0 44008313 1461563392 268067 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 356827 268067 4416 2842 0 338521 0
Current children cumulated CPU time: 3274.07 s
Current children cumulated vsize: 1427308 KiB
Current children cumulated memory: 1072268 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 39952
/proc/meminfo: memFree=125968856/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=1427308 memory=1072268 CPUtime=3333.93 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 202364 0 0 0 332760 633 0 0 20 0 1 0 44008313 1461563392 268067 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 356827 268067 4416 2842 0 338521 0
Current children cumulated CPU time: 3333.93 s
Current children cumulated vsize: 1427308 KiB
Current children cumulated memory: 1072268 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 39954
/proc/meminfo: memFree=125960248/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=1427308 memory=1074316 CPUtime=3393.78 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 202460 0 0 0 338737 641 0 0 20 0 1 0 44008313 1461563392 268579 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 356827 268579 4416 2842 0 338521 0
Current children cumulated CPU time: 3393.78 s
Current children cumulated vsize: 1427308 KiB
Current children cumulated memory: 1074316 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 39957
/proc/meminfo: memFree=125968304/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=1427308 memory=1074316 CPUtime=3453.63 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 202615 0 0 0 344713 650 0 0 20 0 1 0 44008313 1461563392 268579 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 356827 268579 4416 2842 0 338521 0
Current children cumulated CPU time: 3453.63 s
Current children cumulated vsize: 1427308 KiB
Current children cumulated memory: 1074316 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 39959
/proc/meminfo: memFree=125964600/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=1427308 memory=1076364 CPUtime=3513.5 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 202616 0 0 0 350691 659 0 0 20 0 1 0 44008313 1461563392 269091 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 356827 269091 4416 2842 0 338521 0
Current children cumulated CPU time: 3513.5 s
Current children cumulated vsize: 1427308 KiB
Current children cumulated memory: 1076364 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 39961
/proc/meminfo: memFree=125964696/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=1427308 memory=1076364 CPUtime=3573.35 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 202616 0 0 0 356668 667 0 0 20 0 1 0 44008313 1461563392 269091 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 356827 269091 4416 2842 0 338521 0
Current children cumulated CPU time: 3573.35 s
Current children cumulated vsize: 1427308 KiB
Current children cumulated memory: 1076364 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 39962
/proc/meminfo: memFree=125964696/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=1427308 memory=1078412 CPUtime=3600.09 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 202618 0 0 0 359338 671 0 0 20 0 1 0 44008313 1461563392 269603 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 356827 269603 4416 2842 0 338521 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1427308 KiB
Current children cumulated memory: 1078412 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.12 s]
# the end of solver process 39668 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.4 s, system=6.7184 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 39962
/proc/meminfo: memFree=125964696/131249996 swapFree=33010684/33010684
[pid=39668] ppid=39665 vsize=1427308 memory=1078412 CPUtime=3600.09 cores=1,3
/proc/39668/stat : 39668 (mixed-bag) R 39665 39668 38713 0 -1 4194304 202618 0 0 0 359338 671 0 0 20 0 1 0 44008313 1461563392 269603 18446744073709551615 4235264 15874749 140725040844688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 23257088 140725040851356 140725040851433 140725040851433 140725040857035 0
/proc/39668/statm: 356827 269603 4416 2842 0 338521 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1427308 KiB
Current children cumulated memory: 1078412 KiB
Child status: 0
Real time (s): 3609.12
CPU time (s): 3600.12
CPU user time (s): 3593.4
CPU system time (s): 6.7184
CPU usage (%): 99.7505
Max. virtual memory (cumulated for all children) (KiB): 1427308
Max. memory (cumulated for all children) (KiB): 1078412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.4
system time used= 6.7184
maximum resident set size= 1079308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202658
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 246
involuntary context switches= 1274
# summary of solver processes directly reported to runsolver:
# pid: 39668
# total CPU time (s): 3600.12
# total CPU user time (s): 3593.4
# total CPU system time (s): 6.7184
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77707 second user time and 16.0983 second system time
The end
Begin job on nodeC022 at 2025-06-30 13:35:05
IDJOB=4484851
IDBENCH=146672
IDSOLVER=3340
FILE ID=nodeC022/4484851-1751283305
RUNJOBID= nodeC022-1751279693-38725
SLURM_JOB_ID= 9594218
Free space on /tmp= 433004 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484851-1751283305/watcher-4484851-1751283305 -o /tmp/evaluation-result-4484851-1751283305/solver-4484851-1751283305 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751279693-38725 --watchdog 3760 mixed-bag HOME/instance-4484851-1751283305.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 05a4468103b1b74e5a90bd7e67aed0d9
RANDOM SEED=1119648545
nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3594.859
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.969
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.846
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.706
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.686
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.715
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.689
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.107
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126933652 kB
MemAvailable: 127730004 kB
Buffers: 3280 kB
Cached: 1599516 kB
SwapCached: 0 kB
Active: 2360132 kB
Inactive: 1349912 kB
Active(anon): 2125308 kB
Inactive(anon): 0 kB
Active(file): 234824 kB
Inactive(file): 1349912 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18328 kB
Writeback: 28 kB
AnonPages: 2109420 kB
Mapped: 127196 kB
Shmem: 18060 kB
KReclaimable: 101312 kB
Slab: 188364 kB
SReclaimable: 101312 kB
SUnreclaim: 87052 kB
KernelStack: 4176 kB
PageTables: 7128 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2998232 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2037760 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432996 MiB
End job on nodeC022 at 2025-06-30 14:35:15