0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.09/0.19 c [STEP] preprocessing with Papilo
0.40/0.49 c Papilo could not simplify the problem
0.40/0.49 c [STEP] solving with SCIP
299.70/300.69 c [STEP] preprocessing done, loading into solver
299.89/300.84 c [STEP] solving
299.89/300.84 c #variables 1273 #constraints 94227
299.89/300.84 c SMALL=int, LARGE=long long
299.89/300.84 d SCIPUB -44
299.89/300.84 c bounds - >= -1272 @ 299.513
299.89/300.84 c stratification level: 0
330.62/331.66 c bounds - >= -238 @ 299.572
330.62/331.66 c bounds - >= -237 @ 299.573
330.62/331.66 c bounds - >= -236 @ 299.574
330.62/331.66 c bounds - >= -235 @ 299.575
330.62/331.66 c bounds - >= -234 @ 299.575
330.62/331.66 c bounds - >= -233 @ 299.577
330.62/331.66 c bounds - >= -232 @ 299.577
330.62/331.66 c bounds - >= -231 @ 299.578
330.62/331.66 c bounds - >= -230 @ 299.578
330.62/331.66 c bounds - >= -229 @ 299.578
330.62/331.66 c bounds - >= -228 @ 299.578
330.62/331.66 c bounds - >= -227 @ 299.579
330.62/331.66 c bounds - >= -226 @ 299.579
330.62/331.66 c bounds - >= -225 @ 299.58
330.62/331.66 c bounds - >= -224 @ 299.58
330.62/331.66 c bounds - >= -223 @ 299.58
330.62/331.66 c bounds - >= -222 @ 299.581
330.62/331.66 c bounds - >= -221 @ 299.581
330.62/331.66 c bounds - >= -220 @ 299.581
330.62/331.66 c bounds - >= -219 @ 299.581
330.62/331.66 c bounds - >= -218 @ 299.582
330.62/331.66 c bounds - >= -217 @ 299.583
330.62/331.66 c bounds - >= -216 @ 299.583
330.62/331.66 c bounds - >= -215 @ 299.583
330.62/331.66 c bounds - >= -214 @ 299.583
330.62/331.66 c bounds - >= -213 @ 299.584
330.62/331.66 c bounds - >= -212 @ 299.584
330.62/331.66 c bounds - >= -211 @ 299.585
330.62/331.66 c bounds - >= -210 @ 299.585
330.62/331.66 c bounds - >= -209 @ 299.585
330.62/331.66 c bounds - >= -208 @ 299.586
330.62/331.66 c #Conflicts: 1000 | #Constraints: 95495
330.62/331.66 c #Conflicts: 2000 | #Constraints: 96495
330.62/331.66 c INPROCESSING
330.62/331.66 c GARBAGE COLLECT
330.62/331.66 c #Conflicts: 3000 | #Constraints: 96465
330.62/331.66 c #Conflicts: 4000 | #Constraints: 97465
330.62/331.66 c INPROCESSING
330.62/331.66 c GARBAGE COLLECT
330.62/331.66 c #Conflicts: 5000 | #Constraints: 96871
330.62/331.66 c #Conflicts: 6000 | #Constraints: 97871
330.62/331.66 c INPROCESSING
330.62/331.66 c GARBAGE COLLECT
330.62/331.66 c #Conflicts: 7000 | #Constraints: 96875
330.62/331.66 c #Conflicts: 8000 | #Constraints: 97875
330.62/331.66 c #Conflicts: 9000 | #Constraints: 98875
330.62/331.66 c INPROCESSING
330.62/331.66 c GARBAGE COLLECT
330.62/331.66 c #Conflicts: 10000 | #Constraints: 97573
330.62/331.66 c #Conflicts: 11000 | #Constraints: 98573
330.62/331.66 c #Conflicts: 12000 | #Constraints: 99573
330.62/331.66 c INPROCESSING
330.62/331.66 c GARBAGE COLLECT
330.62/331.66 c #Conflicts: 13000 | #Constraints: 98024
330.62/331.66 c #Conflicts: 14000 | #Constraints: 99024
330.62/331.66 c #Conflicts: 15000 | #Constraints: 100024
330.62/331.66 c INPROCESSING
330.62/331.66 c GARBAGE COLLECT
330.62/331.66 c #Conflicts: 16000 | #Constraints: 98258
330.62/331.66 c #Conflicts: 17000 | #Constraints: 99258
330.62/331.66 c #Conflicts: 18000 | #Constraints: 100258
330.62/331.66 c INPROCESSING
330.62/331.66 c GARBAGE COLLECT
330.62/331.66 c #Conflicts: 19000 | #Constraints: 98272
330.62/331.66 c #Conflicts: 20000 | #Constraints: 99272
330.62/331.66 c #Conflicts: 21000 | #Constraints: 100272
330.62/331.66 c INPROCESSING
330.62/331.66 c GARBAGE COLLECT
330.62/331.66 c #Conflicts: 22000 | #Constraints: 98081
330.62/331.66 c #Conflicts: 23000 | #Constraints: 99081
330.62/331.66 c #Conflicts: 24000 | #Constraints: 100081
330.62/331.66 c #Conflicts: 25000 | #Constraints: 101081
330.62/331.66 c INPROCESSING
330.62/331.66 c GARBAGE COLLECT
330.62/331.66 c #Conflicts: 26000 | #Constraints: 98684
330.62/331.66 c #Conflicts: 27000 | #Constraints: 99684
330.62/331.66 c #Conflicts: 28000 | #Constraints: 100684
330.62/331.66 c #Conflicts: 29000 | #Constraints: 101684
330.62/331.66 c INPROCESSING
330.62/331.66 c GARBAGE COLLECT
330.62/331.66 c #Conflicts: 30000 | #Constraints: 99089
330.62/331.66 c #Conflicts: 31000 | #Constraints: 100089
330.62/331.66 c #Conflicts: 32000 | #Constraints: 101089
330.62/331.66 c #Conflicts: 33000 | #Constraints: 102089
330.62/331.66 c INPROCESSING
330.62/331.66 c GARBAGE COLLECT
330.62/331.66 c #Conflicts: 34000 | #Constraints: 99298
330.62/331.66 c #Conflicts: 35000 | #Constraints: 100298
330.62/331.66 c #Conflicts: 36000 | #Constraints: 101298
330.62/331.66 c #Conflicts: 37000 | #Constraints: 102298
330.62/331.66 c INPROCESSING
330.62/331.66 c GARBAGE COLLECT
330.62/331.66 c #Conflicts: 38000 | #Constraints: 99298
330.62/331.66 c #Conflicts: 39000 | #Constraints: 100298
330.62/331.66 c #Conflicts: 40000 | #Constraints: 101298
330.62/331.66 c #Conflicts: 41000 | #Constraints: 102298
330.62/331.66 c INPROCESSING
330.62/331.66 c GARBAGE COLLECT
330.62/331.66 c #Conflicts: 42000 | #Constraints: 99098
330.62/331.66 c #Conflicts: 43000 | #Constraints: 100098
330.62/331.66 c #Conflicts: 44000 | #Constraints: 101098
330.62/331.66 c #Conflicts: 45000 | #Constraints: 102098
330.62/331.66 c #Conflicts: 46000 | #Constraints: 103098
330.62/331.66 c INPROCESSING
330.62/331.66 c GARBAGE COLLECT
330.62/331.66 c #Conflicts: 47000 | #Constraints: 99695
330.62/331.66 c #Conflicts: 48000 | #Constraints: 100695
330.62/331.66 c #Conflicts: 49000 | #Constraints: 101695
330.62/331.66 c #Conflicts: 50000 | #Constraints: 102695
330.62/331.66 c #Conflicts: 51000 | #Constraints: 103695
330.62/331.66 c INPROCESSING
330.62/331.66 c GARBAGE COLLECT
330.62/331.66 c #Conflicts: 52000 | #Constraints: 100097
330.62/331.66 c #Conflicts: 53000 | #Constraints: 101097
392.06/393.26 c #Conflicts: 54000 | #Constraints: 102097
392.06/393.26 c #Conflicts: 55000 | #Constraints: 103097
392.06/393.26 c #Conflicts: 56000 | #Constraints: 104097
392.06/393.26 c INPROCESSING
392.06/393.26 c GARBAGE COLLECT
392.06/393.26 c #Conflicts: 57000 | #Constraints: 100301
392.06/393.26 c #Conflicts: 58000 | #Constraints: 101301
392.06/393.26 c #Conflicts: 59000 | #Constraints: 102301
392.06/393.26 c #Conflicts: 60000 | #Constraints: 103301
392.06/393.26 c #Conflicts: 61000 | #Constraints: 104301
392.06/393.26 c INPROCESSING
392.06/393.26 c GARBAGE COLLECT
392.06/393.26 c #Conflicts: 62000 | #Constraints: 100300
392.06/393.26 c #Conflicts: 63000 | #Constraints: 101300
392.06/393.26 c #Conflicts: 64000 | #Constraints: 102300
392.06/393.26 c #Conflicts: 65000 | #Constraints: 103300
392.06/393.26 c #Conflicts: 66000 | #Constraints: 104300
392.06/393.26 c INPROCESSING
392.06/393.26 c GARBAGE COLLECT
392.06/393.26 c #Conflicts: 67000 | #Constraints: 100091
392.06/393.26 c #Conflicts: 68000 | #Constraints: 101091
392.06/393.26 c #Conflicts: 69000 | #Constraints: 102091
392.06/393.26 c #Conflicts: 70000 | #Constraints: 103091
392.06/393.26 c #Conflicts: 71000 | #Constraints: 104091
392.06/393.26 c #Conflicts: 72000 | #Constraints: 105091
392.06/393.26 c INPROCESSING
392.06/393.26 c GARBAGE COLLECT
392.06/393.26 c #Conflicts: 73000 | #Constraints: 100694
392.06/393.26 c #Conflicts: 74000 | #Constraints: 101694
392.06/393.26 c #Conflicts: 75000 | #Constraints: 102694
392.06/393.26 c #Conflicts: 76000 | #Constraints: 103694
392.06/393.26 c #Conflicts: 77000 | #Constraints: 104694
392.06/393.26 c #Conflicts: 78000 | #Constraints: 105694
392.06/393.26 c INPROCESSING
392.06/393.26 c GARBAGE COLLECT
392.06/393.26 c #Conflicts: 79000 | #Constraints: 101089
392.06/393.26 c #Conflicts: 80000 | #Constraints: 102089
392.06/393.26 c #Conflicts: 81000 | #Constraints: 103089
392.06/393.26 c #Conflicts: 82000 | #Constraints: 104089
392.06/393.26 c #Conflicts: 83000 | #Constraints: 105089
392.06/393.26 c #Conflicts: 84000 | #Constraints: 106089
392.06/393.26 c INPROCESSING
392.06/393.26 c GARBAGE COLLECT
392.06/393.26 c #Conflicts: 85000 | #Constraints: 101297
392.06/393.26 c #Conflicts: 86000 | #Constraints: 102297
392.06/393.26 c #Conflicts: 87000 | #Constraints: 103297
392.06/393.26 c #Conflicts: 88000 | #Constraints: 104297
392.06/393.26 c #Conflicts: 89000 | #Constraints: 105297
392.06/393.26 c #Conflicts: 90000 | #Constraints: 106297
392.06/393.26 c INPROCESSING
392.06/393.26 c GARBAGE COLLECT
392.06/393.26 c #Conflicts: 91000 | #Constraints: 101296
392.06/393.26 c #Conflicts: 92000 | #Constraints: 102296
392.06/393.26 c #Conflicts: 93000 | #Constraints: 103296
392.06/393.26 c #Conflicts: 94000 | #Constraints: 104296
392.06/393.26 c #Conflicts: 95000 | #Constraints: 105296
392.06/393.26 c #Conflicts: 96000 | #Constraints: 106296
392.06/393.26 c INPROCESSING
392.06/393.26 c GARBAGE COLLECT
392.06/393.26 c #Conflicts: 97000 | #Constraints: 101122
392.06/393.26 c #Conflicts: 98000 | #Constraints: 102122
392.06/393.26 c #Conflicts: 99000 | #Constraints: 103122
392.06/393.26 c #Conflicts: 100000 | #Constraints: 104122
392.06/393.26 c #Conflicts: 101000 | #Constraints: 105122
392.06/393.26 c #Conflicts: 102000 | #Constraints: 106122
392.06/393.26 c #Conflicts: 103000 | #Constraints: 107122
392.06/393.26 c INPROCESSING
392.06/393.26 c GARBAGE COLLECT
392.06/393.26 c #Conflicts: 104000 | #Constraints: 101722
392.06/393.26 c #Conflicts: 105000 | #Constraints: 102722
392.06/393.26 c #Conflicts: 106000 | #Constraints: 103722
392.06/393.26 c #Conflicts: 107000 | #Constraints: 104722
392.06/393.26 c #Conflicts: 108000 | #Constraints: 105722
392.06/393.26 c #Conflicts: 109000 | #Constraints: 106722
392.06/393.26 c #Conflicts: 110000 | #Constraints: 107722
392.06/393.26 c INPROCESSING
392.06/393.26 c GARBAGE COLLECT
392.06/393.26 c #Conflicts: 111000 | #Constraints: 102122
392.06/393.26 c #Conflicts: 112000 | #Constraints: 103122
392.06/393.26 c #Conflicts: 113000 | #Constraints: 104122
392.06/393.26 c #Conflicts: 114000 | #Constraints: 105122
392.06/393.26 c #Conflicts: 115000 | #Constraints: 106122
392.06/393.26 c #Conflicts: 116000 | #Constraints: 107122
392.06/393.26 c #Conflicts: 117000 | #Constraints: 108122
392.06/393.26 c INPROCESSING
392.06/393.26 c GARBAGE COLLECT
392.06/393.26 c #Conflicts: 118000 | #Constraints: 102316
392.06/393.26 c #Conflicts: 119000 | #Constraints: 103316
392.06/393.26 c #Conflicts: 120000 | #Constraints: 104316
392.06/393.26 c #Conflicts: 121000 | #Constraints: 105316
392.06/393.26 c #Conflicts: 122000 | #Constraints: 106316
392.06/393.26 c #Conflicts: 123000 | #Constraints: 107316
392.06/393.26 c #Conflicts: 124000 | #Constraints: 108316
476.14/477.52 c INPROCESSING
476.14/477.52 c GARBAGE COLLECT
476.14/477.52 c #Conflicts: 125000 | #Constraints: 102317
476.14/477.52 c #Conflicts: 126000 | #Constraints: 103317
476.14/477.52 c #Conflicts: 127000 | #Constraints: 104317
476.14/477.52 c #Conflicts: 128000 | #Constraints: 105317
476.14/477.52 c #Conflicts: 129000 | #Constraints: 106317
476.14/477.52 c #Conflicts: 130000 | #Constraints: 107317
476.14/477.52 c #Conflicts: 131000 | #Constraints: 108317
476.14/477.52 c INPROCESSING
476.14/477.52 c GARBAGE COLLECT
476.14/477.52 c #Conflicts: 132000 | #Constraints: 102119
476.14/477.52 c #Conflicts: 133000 | #Constraints: 103119
476.14/477.52 c #Conflicts: 134000 | #Constraints: 104119
476.14/477.52 c #Conflicts: 135000 | #Constraints: 105119
476.14/477.52 c #Conflicts: 136000 | #Constraints: 106119
476.14/477.52 c #Conflicts: 137000 | #Constraints: 107119
476.14/477.52 c #Conflicts: 138000 | #Constraints: 108119
476.14/477.52 c #Conflicts: 139000 | #Constraints: 109119
476.14/477.52 c INPROCESSING
476.14/477.52 c GARBAGE COLLECT
476.14/477.52 c #Conflicts: 140000 | #Constraints: 102727
476.14/477.52 c #Conflicts: 141000 | #Constraints: 103727
476.14/477.52 c #Conflicts: 142000 | #Constraints: 104727
476.14/477.52 c #Conflicts: 143000 | #Constraints: 105727
476.14/477.52 c #Conflicts: 144000 | #Constraints: 106727
476.14/477.52 c #Conflicts: 145000 | #Constraints: 107727
476.14/477.52 c #Conflicts: 146000 | #Constraints: 108727
476.14/477.52 c #Conflicts: 147000 | #Constraints: 109727
476.14/477.52 c INPROCESSING
476.14/477.52 c GARBAGE COLLECT
476.14/477.52 c #Conflicts: 148000 | #Constraints: 103120
476.14/477.52 c #Conflicts: 149000 | #Constraints: 104120
476.14/477.52 c #Conflicts: 150000 | #Constraints: 105120
476.14/477.52 c #Conflicts: 151000 | #Constraints: 106120
476.14/477.52 c #Conflicts: 152000 | #Constraints: 107120
476.14/477.52 c #Conflicts: 153000 | #Constraints: 108120
476.14/477.52 c #Conflicts: 154000 | #Constraints: 109120
476.14/477.52 c #Conflicts: 155000 | #Constraints: 110120
476.14/477.52 c INPROCESSING
476.14/477.52 c GARBAGE COLLECT
476.14/477.52 c #Conflicts: 156000 | #Constraints: 103315
476.14/477.52 c #Conflicts: 157000 | #Constraints: 104315
476.14/477.52 c #Conflicts: 158000 | #Constraints: 105315
476.14/477.52 c #Conflicts: 159000 | #Constraints: 106315
476.14/477.52 c #Conflicts: 160000 | #Constraints: 107315
476.14/477.52 c #Conflicts: 161000 | #Constraints: 108315
476.14/477.52 c #Conflicts: 162000 | #Constraints: 109315
476.14/477.52 c #Conflicts: 163000 | #Constraints: 110315
476.14/477.52 c INPROCESSING
476.14/477.52 c GARBAGE COLLECT
476.14/477.52 c #Conflicts: 164000 | #Constraints: 103338
476.14/477.52 c #Conflicts: 165000 | #Constraints: 104338
476.14/477.52 c #Conflicts: 166000 | #Constraints: 105338
476.14/477.52 c #Conflicts: 167000 | #Constraints: 106338
476.14/477.52 c #Conflicts: 168000 | #Constraints: 107338
476.14/477.52 c #Conflicts: 169000 | #Constraints: 108338
476.14/477.52 c #Conflicts: 170000 | #Constraints: 109338
476.14/477.52 c #Conflicts: 171000 | #Constraints: 110338
476.14/477.52 c INPROCESSING
476.14/477.52 c GARBAGE COLLECT
476.14/477.52 c #Conflicts: 172000 | #Constraints: 103119
476.14/477.52 c #Conflicts: 173000 | #Constraints: 104119
476.14/477.52 c #Conflicts: 174000 | #Constraints: 105119
476.14/477.52 c #Conflicts: 175000 | #Constraints: 106119
476.14/477.52 c #Conflicts: 176000 | #Constraints: 107119
476.14/477.52 c #Conflicts: 177000 | #Constraints: 108119
476.14/477.52 c #Conflicts: 178000 | #Constraints: 109119
476.14/477.52 c #Conflicts: 179000 | #Constraints: 110119
476.14/477.52 c #Conflicts: 180000 | #Constraints: 111119
476.14/477.52 c INPROCESSING
476.14/477.52 c GARBAGE COLLECT
476.14/477.52 c #Conflicts: 181000 | #Constraints: 103719
476.14/477.52 c #Conflicts: 182000 | #Constraints: 104719
476.14/477.52 c #Conflicts: 183000 | #Constraints: 105719
476.14/477.52 c #Conflicts: 184000 | #Constraints: 106719
476.14/477.52 c #Conflicts: 185000 | #Constraints: 107719
476.14/477.52 c #Conflicts: 186000 | #Constraints: 108719
476.14/477.52 c #Conflicts: 187000 | #Constraints: 109719
476.14/477.52 c #Conflicts: 188000 | #Constraints: 110719
476.14/477.52 c #Conflicts: 189000 | #Constraints: 111719
476.14/477.52 c INPROCESSING
476.14/477.52 c GARBAGE COLLECT
476.14/477.52 c #Conflicts: 190000 | #Constraints: 104125
476.14/477.52 c #Conflicts: 191000 | #Constraints: 105125
476.14/477.52 c #Conflicts: 192000 | #Constraints: 106125
476.14/477.52 c #Conflicts: 193000 | #Constraints: 107125
476.14/477.52 c #Conflicts: 194000 | #Constraints: 108125
476.14/477.52 c #Conflicts: 195000 | #Constraints: 109125
476.14/477.52 c #Conflicts: 196000 | #Constraints: 110125
476.14/477.52 c #Conflicts: 197000 | #Constraints: 111125
581.76/583.49 c #Conflicts: 198000 | #Constraints: 112125
581.76/583.49 c INPROCESSING
581.76/583.49 c GARBAGE COLLECT
581.76/583.49 c #Conflicts: 199000 | #Constraints: 104334
581.76/583.49 c #Conflicts: 200000 | #Constraints: 105334
581.76/583.49 c #Conflicts: 201000 | #Constraints: 106334
581.76/583.49 c #Conflicts: 202000 | #Constraints: 107334
581.76/583.49 c #Conflicts: 203000 | #Constraints: 108334
581.76/583.49 c #Conflicts: 204000 | #Constraints: 109334
581.76/583.49 c #Conflicts: 205000 | #Constraints: 110334
581.76/583.49 c #Conflicts: 206000 | #Constraints: 111334
581.76/583.49 c #Conflicts: 207000 | #Constraints: 112334
581.76/583.49 c INPROCESSING
581.76/583.49 c GARBAGE COLLECT
581.76/583.49 c #Conflicts: 208000 | #Constraints: 104359
581.76/583.49 c #Conflicts: 209000 | #Constraints: 105359
581.76/583.49 c #Conflicts: 210000 | #Constraints: 106359
581.76/583.49 c #Conflicts: 211000 | #Constraints: 107359
581.76/583.49 c #Conflicts: 212000 | #Constraints: 108359
581.76/583.49 c #Conflicts: 213000 | #Constraints: 109359
581.76/583.49 c #Conflicts: 214000 | #Constraints: 110359
581.76/583.49 c #Conflicts: 215000 | #Constraints: 111359
581.76/583.49 c #Conflicts: 216000 | #Constraints: 112359
581.76/583.49 c INPROCESSING
581.76/583.49 c GARBAGE COLLECT
581.76/583.49 c #Conflicts: 217000 | #Constraints: 104155
581.76/583.49 c #Conflicts: 218000 | #Constraints: 105155
581.76/583.49 c #Conflicts: 219000 | #Constraints: 106155
581.76/583.49 c #Conflicts: 220000 | #Constraints: 107155
581.76/583.49 c #Conflicts: 221000 | #Constraints: 108155
581.76/583.49 c #Conflicts: 222000 | #Constraints: 109155
581.76/583.49 c #Conflicts: 223000 | #Constraints: 110155
581.76/583.49 c #Conflicts: 224000 | #Constraints: 111155
581.76/583.49 c #Conflicts: 225000 | #Constraints: 112155
581.76/583.49 c #Conflicts: 226000 | #Constraints: 113155
581.76/583.49 c INPROCESSING
581.76/583.49 c GARBAGE COLLECT
581.76/583.49 c #Conflicts: 227000 | #Constraints: 104755
581.76/583.49 c #Conflicts: 228000 | #Constraints: 105755
581.76/583.49 c #Conflicts: 229000 | #Constraints: 106755
581.76/583.49 c #Conflicts: 230000 | #Constraints: 107755
581.76/583.49 c #Conflicts: 231000 | #Constraints: 108755
581.76/583.49 c #Conflicts: 232000 | #Constraints: 109755
581.76/583.49 c #Conflicts: 233000 | #Constraints: 110755
581.76/583.49 c #Conflicts: 234000 | #Constraints: 111755
581.76/583.49 c #Conflicts: 235000 | #Constraints: 112755
581.76/583.49 c #Conflicts: 236000 | #Constraints: 113755
581.76/583.49 c INPROCESSING
581.76/583.49 c GARBAGE COLLECT
581.76/583.49 c #Conflicts: 237000 | #Constraints: 105150
581.76/583.49 c #Conflicts: 238000 | #Constraints: 106150
581.76/583.49 c #Conflicts: 239000 | #Constraints: 107150
581.76/583.49 c #Conflicts: 240000 | #Constraints: 108150
581.76/583.49 c #Conflicts: 241000 | #Constraints: 109150
581.76/583.49 c #Conflicts: 242000 | #Constraints: 110150
581.76/583.49 c #Conflicts: 243000 | #Constraints: 111150
581.76/583.49 c #Conflicts: 244000 | #Constraints: 112150
581.76/583.49 c #Conflicts: 245000 | #Constraints: 113150
581.76/583.49 c #Conflicts: 246000 | #Constraints: 114150
581.76/583.49 c INPROCESSING
581.76/583.49 c GARBAGE COLLECT
581.76/583.49 c #Conflicts: 247000 | #Constraints: 105341
581.76/583.49 c #Conflicts: 248000 | #Constraints: 106341
581.76/583.49 c #Conflicts: 249000 | #Constraints: 107341
581.76/583.49 c #Conflicts: 250000 | #Constraints: 108341
581.76/583.49 c #Conflicts: 251000 | #Constraints: 109341
581.76/583.49 c #Conflicts: 252000 | #Constraints: 110341
581.76/583.49 c #Conflicts: 253000 | #Constraints: 111341
581.76/583.49 c #Conflicts: 254000 | #Constraints: 112341
581.76/583.49 c #Conflicts: 255000 | #Constraints: 113341
581.76/583.49 c #Conflicts: 256000 | #Constraints: 114341
581.76/583.49 c INPROCESSING
581.76/583.49 c GARBAGE COLLECT
581.76/583.49 c #Conflicts: 257000 | #Constraints: 105336
581.76/583.49 c #Conflicts: 258000 | #Constraints: 106336
581.76/583.49 c #Conflicts: 259000 | #Constraints: 107336
581.76/583.49 c #Conflicts: 260000 | #Constraints: 108336
581.76/583.49 c #Conflicts: 261000 | #Constraints: 109336
581.76/583.49 c #Conflicts: 262000 | #Constraints: 110336
581.76/583.49 c #Conflicts: 263000 | #Constraints: 111336
581.76/583.49 c #Conflicts: 264000 | #Constraints: 112336
581.76/583.49 c #Conflicts: 265000 | #Constraints: 113336
581.76/583.49 c #Conflicts: 266000 | #Constraints: 114336
581.76/583.49 c INPROCESSING
581.76/583.49 c GARBAGE COLLECT
581.76/583.49 c #Conflicts: 267000 | #Constraints: 105130
581.76/583.49 c #Conflicts: 268000 | #Constraints: 106130
581.76/583.49 c #Conflicts: 269000 | #Constraints: 107130
581.76/583.49 c #Conflicts: 270000 | #Constraints: 108130
581.76/583.49 c #Conflicts: 271000 | #Constraints: 109130
694.57/696.59 c #Conflicts: 272000 | #Constraints: 110130
694.57/696.59 c #Conflicts: 273000 | #Constraints: 111130
694.57/696.59 c #Conflicts: 274000 | #Constraints: 112130
694.57/696.59 c #Conflicts: 275000 | #Constraints: 113130
694.57/696.59 c #Conflicts: 276000 | #Constraints: 114130
694.57/696.59 c #Conflicts: 277000 | #Constraints: 115130
694.57/696.59 c INPROCESSING
694.57/696.59 c GARBAGE COLLECT
694.57/696.59 c #Conflicts: 278000 | #Constraints: 105732
694.57/696.59 c #Conflicts: 279000 | #Constraints: 106732
694.57/696.59 c #Conflicts: 280000 | #Constraints: 107732
694.57/696.59 c #Conflicts: 281000 | #Constraints: 108732
694.57/696.59 c #Conflicts: 282000 | #Constraints: 109732
694.57/696.59 c #Conflicts: 283000 | #Constraints: 110732
694.57/696.59 c #Conflicts: 284000 | #Constraints: 111732
694.57/696.59 c #Conflicts: 285000 | #Constraints: 112732
694.57/696.59 c #Conflicts: 286000 | #Constraints: 113732
694.57/696.59 c #Conflicts: 287000 | #Constraints: 114732
694.57/696.59 c #Conflicts: 288000 | #Constraints: 115732
694.57/696.59 c INPROCESSING
694.57/696.59 c GARBAGE COLLECT
694.57/696.59 c #Conflicts: 289000 | #Constraints: 106153
694.57/696.59 c #Conflicts: 290000 | #Constraints: 107153
694.57/696.59 c #Conflicts: 291000 | #Constraints: 108153
694.57/696.59 c #Conflicts: 292000 | #Constraints: 109153
694.57/696.59 c #Conflicts: 293000 | #Constraints: 110153
694.57/696.59 c #Conflicts: 294000 | #Constraints: 111153
694.57/696.59 c #Conflicts: 295000 | #Constraints: 112153
694.57/696.59 c #Conflicts: 296000 | #Constraints: 113153
694.57/696.59 c #Conflicts: 297000 | #Constraints: 114153
694.57/696.59 c #Conflicts: 298000 | #Constraints: 115153
694.57/696.59 c #Conflicts: 299000 | #Constraints: 116153
694.57/696.59 c INPROCESSING
694.57/696.59 c GARBAGE COLLECT
694.57/696.59 c #Conflicts: 300000 | #Constraints: 106347
694.57/696.59 c #Conflicts: 301000 | #Constraints: 107347
694.57/696.59 c #Conflicts: 302000 | #Constraints: 108347
694.57/696.59 c #Conflicts: 303000 | #Constraints: 109347
694.57/696.59 c #Conflicts: 304000 | #Constraints: 110347
694.57/696.59 c #Conflicts: 305000 | #Constraints: 111347
694.57/696.59 c #Conflicts: 306000 | #Constraints: 112347
694.57/696.59 c #Conflicts: 307000 | #Constraints: 113347
694.57/696.59 c #Conflicts: 308000 | #Constraints: 114347
694.57/696.59 c #Conflicts: 309000 | #Constraints: 115347
694.57/696.59 c #Conflicts: 310000 | #Constraints: 116347
694.57/696.59 c INPROCESSING
694.57/696.59 c GARBAGE COLLECT
694.57/696.59 c #Conflicts: 311000 | #Constraints: 106344
694.57/696.59 c #Conflicts: 312000 | #Constraints: 107344
694.57/696.59 c #Conflicts: 313000 | #Constraints: 108344
694.57/696.59 c #Conflicts: 314000 | #Constraints: 109344
694.57/696.59 c #Conflicts: 315000 | #Constraints: 110344
694.57/696.59 c #Conflicts: 316000 | #Constraints: 111344
694.57/696.59 c #Conflicts: 317000 | #Constraints: 112344
694.57/696.59 c #Conflicts: 318000 | #Constraints: 113344
694.57/696.59 c #Conflicts: 319000 | #Constraints: 114344
694.57/696.59 c #Conflicts: 320000 | #Constraints: 115344
694.57/696.59 c #Conflicts: 321000 | #Constraints: 116344
694.57/696.59 c INPROCESSING
694.57/696.59 c GARBAGE COLLECT
694.57/696.59 c #Conflicts: 322000 | #Constraints: 106139
694.57/696.59 c #Conflicts: 323000 | #Constraints: 107139
694.57/696.59 c #Conflicts: 324000 | #Constraints: 108139
694.57/696.59 c #Conflicts: 325000 | #Constraints: 109139
694.57/696.59 c #Conflicts: 326000 | #Constraints: 110139
694.57/696.59 c #Conflicts: 327000 | #Constraints: 111139
694.57/696.59 c #Conflicts: 328000 | #Constraints: 112139
694.57/696.59 c #Conflicts: 329000 | #Constraints: 113139
694.57/696.59 c #Conflicts: 330000 | #Constraints: 114139
694.57/696.59 c #Conflicts: 331000 | #Constraints: 115139
694.57/696.59 c #Conflicts: 332000 | #Constraints: 116139
694.57/696.59 c #Conflicts: 333000 | #Constraints: 117139
694.57/696.59 c INPROCESSING
694.57/696.59 c GARBAGE COLLECT
694.57/696.59 c #Conflicts: 334000 | #Constraints: 106746
694.57/696.59 c #Conflicts: 335000 | #Constraints: 107746
694.57/696.59 c #Conflicts: 336000 | #Constraints: 108746
694.57/696.59 c #Conflicts: 337000 | #Constraints: 109746
694.57/696.59 c #Conflicts: 338000 | #Constraints: 110746
694.57/696.59 c #Conflicts: 339000 | #Constraints: 111746
694.57/696.59 c #Conflicts: 340000 | #Constraints: 112746
694.57/696.59 c #Conflicts: 341000 | #Constraints: 113746
694.57/696.59 c #Conflicts: 342000 | #Constraints: 114746
694.57/696.59 c #Conflicts: 343000 | #Constraints: 115746
694.57/696.59 c #Conflicts: 344000 | #Constraints: 116746
694.57/696.59 c #Conflicts: 345000 | #Constraints: 117746
694.57/696.59 c INPROCESSING
694.57/696.59 c GARBAGE COLLECT
826.14/828.41 c #Conflicts: 346000 | #Constraints: 107154
826.14/828.41 c #Conflicts: 347000 | #Constraints: 108154
826.14/828.41 c #Conflicts: 348000 | #Constraints: 109154
826.14/828.41 c #Conflicts: 349000 | #Constraints: 110154
826.14/828.41 c #Conflicts: 350000 | #Constraints: 111154
826.14/828.41 c #Conflicts: 351000 | #Constraints: 112154
826.14/828.41 c #Conflicts: 352000 | #Constraints: 113154
826.14/828.41 c #Conflicts: 353000 | #Constraints: 114154
826.14/828.41 c #Conflicts: 354000 | #Constraints: 115154
826.14/828.41 c #Conflicts: 355000 | #Constraints: 116154
826.14/828.41 c #Conflicts: 356000 | #Constraints: 117154
826.14/828.41 c #Conflicts: 357000 | #Constraints: 118154
826.14/828.41 c INPROCESSING
826.14/828.41 c GARBAGE COLLECT
826.14/828.41 c #Conflicts: 358000 | #Constraints: 107344
826.14/828.41 c #Conflicts: 359000 | #Constraints: 108344
826.14/828.41 c #Conflicts: 360000 | #Constraints: 109344
826.14/828.41 c #Conflicts: 361000 | #Constraints: 110344
826.14/828.41 c #Conflicts: 362000 | #Constraints: 111344
826.14/828.41 c #Conflicts: 363000 | #Constraints: 112344
826.14/828.41 c #Conflicts: 364000 | #Constraints: 113344
826.14/828.41 c #Conflicts: 365000 | #Constraints: 114344
826.14/828.41 c #Conflicts: 366000 | #Constraints: 115344
826.14/828.41 c #Conflicts: 367000 | #Constraints: 116344
826.14/828.41 c #Conflicts: 368000 | #Constraints: 117344
826.14/828.41 c #Conflicts: 369000 | #Constraints: 118344
826.14/828.41 c INPROCESSING
826.14/828.41 c GARBAGE COLLECT
826.14/828.41 c #Conflicts: 370000 | #Constraints: 107348
826.14/828.41 c #Conflicts: 371000 | #Constraints: 108348
826.14/828.41 c #Conflicts: 372000 | #Constraints: 109348
826.14/828.41 c #Conflicts: 373000 | #Constraints: 110348
826.14/828.41 c #Conflicts: 374000 | #Constraints: 111348
826.14/828.41 c #Conflicts: 375000 | #Constraints: 112348
826.14/828.41 c #Conflicts: 376000 | #Constraints: 113348
826.14/828.41 c #Conflicts: 377000 | #Constraints: 114348
826.14/828.41 c #Conflicts: 378000 | #Constraints: 115348
826.14/828.41 c #Conflicts: 379000 | #Constraints: 116348
826.14/828.41 c #Conflicts: 380000 | #Constraints: 117348
826.14/828.41 c #Conflicts: 381000 | #Constraints: 118348
826.14/828.41 c INPROCESSING
826.14/828.41 c GARBAGE COLLECT
826.14/828.41 c #Conflicts: 382000 | #Constraints: 107155
826.14/828.41 c #Conflicts: 383000 | #Constraints: 108155
826.14/828.41 c #Conflicts: 384000 | #Constraints: 109155
826.14/828.41 c #Conflicts: 385000 | #Constraints: 110155
826.14/828.41 c #Conflicts: 386000 | #Constraints: 111155
826.14/828.41 c #Conflicts: 387000 | #Constraints: 112155
826.14/828.41 c #Conflicts: 388000 | #Constraints: 113155
826.14/828.41 c #Conflicts: 389000 | #Constraints: 114155
826.14/828.41 c #Conflicts: 390000 | #Constraints: 115155
826.14/828.41 c #Conflicts: 391000 | #Constraints: 116155
826.14/828.41 c #Conflicts: 392000 | #Constraints: 117155
826.14/828.41 c #Conflicts: 393000 | #Constraints: 118155
826.14/828.41 c #Conflicts: 394000 | #Constraints: 119155
826.14/828.41 c INPROCESSING
826.14/828.41 c GARBAGE COLLECT
826.14/828.41 c #Conflicts: 395000 | #Constraints: 107732
826.14/828.41 c #Conflicts: 396000 | #Constraints: 108732
826.14/828.41 c #Conflicts: 397000 | #Constraints: 109732
826.14/828.41 c #Conflicts: 398000 | #Constraints: 110732
826.14/828.41 c #Conflicts: 399000 | #Constraints: 111732
826.14/828.41 c #Conflicts: 400000 | #Constraints: 112732
826.14/828.41 c #Conflicts: 401000 | #Constraints: 113732
826.14/828.41 c #Conflicts: 402000 | #Constraints: 114732
826.14/828.41 c #Conflicts: 403000 | #Constraints: 115732
826.14/828.41 c #Conflicts: 404000 | #Constraints: 116732
826.14/828.41 c #Conflicts: 405000 | #Constraints: 117732
826.14/828.41 c #Conflicts: 406000 | #Constraints: 118732
826.14/828.41 c #Conflicts: 407000 | #Constraints: 119732
826.14/828.41 c INPROCESSING
826.14/828.41 c GARBAGE COLLECT
826.14/828.41 c #Conflicts: 408000 | #Constraints: 108144
826.14/828.41 c #Conflicts: 409000 | #Constraints: 109144
826.14/828.41 c #Conflicts: 410000 | #Constraints: 110144
826.14/828.41 c #Conflicts: 411000 | #Constraints: 111144
826.14/828.41 c #Conflicts: 412000 | #Constraints: 112144
826.14/828.41 c #Conflicts: 413000 | #Constraints: 113144
826.14/828.41 c #Conflicts: 414000 | #Constraints: 114144
826.14/828.41 c #Conflicts: 415000 | #Constraints: 115144
826.14/828.41 c #Conflicts: 416000 | #Constraints: 116144
826.14/828.41 c #Conflicts: 417000 | #Constraints: 117144
826.14/828.41 c #Conflicts: 418000 | #Constraints: 118144
826.14/828.41 c #Conflicts: 419000 | #Constraints: 119144
826.14/828.41 c #Conflicts: 420000 | #Constraints: 120144
826.14/828.41 c INPROCESSING
826.14/828.41 c GARBAGE COLLECT
973.27/975.98 c #Conflicts: 421000 | #Constraints: 108349
973.27/975.98 c #Conflicts: 422000 | #Constraints: 109349
973.27/975.98 c #Conflicts: 423000 | #Constraints: 110349
973.27/975.98 c #Conflicts: 424000 | #Constraints: 111349
973.27/975.98 c #Conflicts: 425000 | #Constraints: 112349
973.27/975.98 c #Conflicts: 426000 | #Constraints: 113349
973.27/975.98 c #Conflicts: 427000 | #Constraints: 114349
973.27/975.98 c #Conflicts: 428000 | #Constraints: 115349
973.27/975.98 c #Conflicts: 429000 | #Constraints: 116349
973.27/975.98 c #Conflicts: 430000 | #Constraints: 117349
973.27/975.98 c #Conflicts: 431000 | #Constraints: 118349
973.27/975.98 c #Conflicts: 432000 | #Constraints: 119349
973.27/975.98 c #Conflicts: 433000 | #Constraints: 120349
973.27/975.98 c INPROCESSING
973.27/975.98 c GARBAGE COLLECT
973.27/975.98 c #Conflicts: 434000 | #Constraints: 108370
973.27/975.98 c #Conflicts: 435000 | #Constraints: 109370
973.27/975.98 c #Conflicts: 436000 | #Constraints: 110370
973.27/975.98 c #Conflicts: 437000 | #Constraints: 111370
973.27/975.98 c #Conflicts: 438000 | #Constraints: 112370
973.27/975.98 c #Conflicts: 439000 | #Constraints: 113370
973.27/975.98 c #Conflicts: 440000 | #Constraints: 114370
973.27/975.98 c #Conflicts: 441000 | #Constraints: 115370
973.27/975.98 c #Conflicts: 442000 | #Constraints: 116370
973.27/975.98 c #Conflicts: 443000 | #Constraints: 117370
973.27/975.98 c #Conflicts: 444000 | #Constraints: 118370
973.27/975.98 c #Conflicts: 445000 | #Constraints: 119370
973.27/975.98 c #Conflicts: 446000 | #Constraints: 120370
973.27/975.98 c INPROCESSING
973.27/975.98 c GARBAGE COLLECT
973.27/975.98 c #Conflicts: 447000 | #Constraints: 108153
973.27/975.98 c #Conflicts: 448000 | #Constraints: 109153
973.27/975.98 c #Conflicts: 449000 | #Constraints: 110153
973.27/975.98 c #Conflicts: 450000 | #Constraints: 111153
973.27/975.98 c #Conflicts: 451000 | #Constraints: 112153
973.27/975.98 c #Conflicts: 452000 | #Constraints: 113153
973.27/975.98 c #Conflicts: 453000 | #Constraints: 114153
973.27/975.98 c #Conflicts: 454000 | #Constraints: 115153
973.27/975.98 c #Conflicts: 455000 | #Constraints: 116153
973.27/975.98 c #Conflicts: 456000 | #Constraints: 117153
973.27/975.98 c #Conflicts: 457000 | #Constraints: 118153
973.27/975.98 c #Conflicts: 458000 | #Constraints: 119153
973.27/975.98 c #Conflicts: 459000 | #Constraints: 120153
973.27/975.98 c #Conflicts: 460000 | #Constraints: 121153
973.27/975.98 c INPROCESSING
973.27/975.98 c GARBAGE COLLECT
973.27/975.98 c #Conflicts: 461000 | #Constraints: 108756
973.27/975.98 c #Conflicts: 462000 | #Constraints: 109756
973.27/975.98 c #Conflicts: 463000 | #Constraints: 110756
973.27/975.98 c #Conflicts: 464000 | #Constraints: 111756
973.27/975.98 c #Conflicts: 465000 | #Constraints: 112756
973.27/975.98 c #Conflicts: 466000 | #Constraints: 113756
973.27/975.98 c #Conflicts: 467000 | #Constraints: 114756
973.27/975.98 c #Conflicts: 468000 | #Constraints: 115756
973.27/975.98 c #Conflicts: 469000 | #Constraints: 116756
973.27/975.98 c #Conflicts: 470000 | #Constraints: 117756
973.27/975.98 c #Conflicts: 471000 | #Constraints: 118756
973.27/975.98 c #Conflicts: 472000 | #Constraints: 119756
973.27/975.98 c #Conflicts: 473000 | #Constraints: 120756
973.27/975.98 c #Conflicts: 474000 | #Constraints: 121756
973.27/975.98 c INPROCESSING
973.27/975.98 c GARBAGE COLLECT
973.27/975.98 c #Conflicts: 475000 | #Constraints: 109146
973.27/975.98 c #Conflicts: 476000 | #Constraints: 110146
973.27/975.98 c #Conflicts: 477000 | #Constraints: 111146
973.27/975.98 c #Conflicts: 478000 | #Constraints: 112146
973.27/975.98 c #Conflicts: 479000 | #Constraints: 113146
973.27/975.98 c #Conflicts: 480000 | #Constraints: 114146
973.27/975.98 c #Conflicts: 481000 | #Constraints: 115146
973.27/975.98 c #Conflicts: 482000 | #Constraints: 116146
973.27/975.98 c #Conflicts: 483000 | #Constraints: 117146
973.27/975.98 c #Conflicts: 484000 | #Constraints: 118146
973.27/975.98 c #Conflicts: 485000 | #Constraints: 119146
973.27/975.98 c #Conflicts: 486000 | #Constraints: 120146
973.27/975.98 c #Conflicts: 487000 | #Constraints: 121146
973.27/975.98 c #Conflicts: 488000 | #Constraints: 122146
973.27/975.98 c INPROCESSING
973.27/975.98 c GARBAGE COLLECT
973.27/975.98 c #Conflicts: 489000 | #Constraints: 109331
973.27/975.98 c #Conflicts: 490000 | #Constraints: 110331
973.27/975.98 c #Conflicts: 491000 | #Constraints: 111331
973.27/975.98 c #Conflicts: 492000 | #Constraints: 112331
973.27/975.98 c #Conflicts: 493000 | #Constraints: 113331
973.27/975.98 c #Conflicts: 494000 | #Constraints: 114331
973.27/975.98 c #Conflicts: 495000 | #Constraints: 115331
973.27/975.98 c #Conflicts: 496000 | #Constraints: 116331
1135.84/1138.99 c #Conflicts: 497000 | #Constraints: 117331
1135.84/1138.99 c #Conflicts: 498000 | #Constraints: 118331
1135.84/1138.99 c #Conflicts: 499000 | #Constraints: 119331
1135.84/1138.99 c #Conflicts: 500000 | #Constraints: 120331
1135.84/1138.99 c #Conflicts: 501000 | #Constraints: 121331
1135.84/1138.99 c #Conflicts: 502000 | #Constraints: 122331
1135.84/1138.99 c INPROCESSING
1135.84/1138.99 c GARBAGE COLLECT
1135.84/1138.99 c #Conflicts: 503000 | #Constraints: 109345
1135.84/1138.99 c #Conflicts: 504000 | #Constraints: 110345
1135.84/1138.99 c #Conflicts: 505000 | #Constraints: 111345
1135.84/1138.99 c #Conflicts: 506000 | #Constraints: 112345
1135.84/1138.99 c #Conflicts: 507000 | #Constraints: 113345
1135.84/1138.99 c #Conflicts: 508000 | #Constraints: 114345
1135.84/1138.99 c #Conflicts: 509000 | #Constraints: 115345
1135.84/1138.99 c #Conflicts: 510000 | #Constraints: 116345
1135.84/1138.99 c #Conflicts: 511000 | #Constraints: 117345
1135.84/1138.99 c #Conflicts: 512000 | #Constraints: 118345
1135.84/1138.99 c #Conflicts: 513000 | #Constraints: 119345
1135.84/1138.99 c #Conflicts: 514000 | #Constraints: 120345
1135.84/1138.99 c #Conflicts: 515000 | #Constraints: 121345
1135.84/1138.99 c #Conflicts: 516000 | #Constraints: 122345
1135.84/1138.99 c INPROCESSING
1135.84/1138.99 c GARBAGE COLLECT
1135.84/1138.99 c #Conflicts: 517000 | #Constraints: 109141
1135.84/1138.99 c #Conflicts: 518000 | #Constraints: 110141
1135.84/1138.99 c #Conflicts: 519000 | #Constraints: 111141
1135.84/1138.99 c #Conflicts: 520000 | #Constraints: 112141
1135.84/1138.99 c #Conflicts: 521000 | #Constraints: 113141
1135.84/1138.99 c #Conflicts: 522000 | #Constraints: 114141
1135.84/1138.99 c #Conflicts: 523000 | #Constraints: 115141
1135.84/1138.99 c #Conflicts: 524000 | #Constraints: 116141
1135.84/1138.99 c #Conflicts: 525000 | #Constraints: 117141
1135.84/1138.99 c #Conflicts: 526000 | #Constraints: 118141
1135.84/1138.99 c #Conflicts: 527000 | #Constraints: 119141
1135.84/1138.99 c #Conflicts: 528000 | #Constraints: 120141
1135.84/1138.99 c #Conflicts: 529000 | #Constraints: 121141
1135.84/1138.99 c #Conflicts: 530000 | #Constraints: 122141
1135.84/1138.99 c #Conflicts: 531000 | #Constraints: 123141
1135.84/1138.99 c INPROCESSING
1135.84/1138.99 c GARBAGE COLLECT
1135.84/1138.99 c #Conflicts: 532000 | #Constraints: 109733
1135.84/1138.99 c #Conflicts: 533000 | #Constraints: 110733
1135.84/1138.99 c #Conflicts: 534000 | #Constraints: 111733
1135.84/1138.99 c #Conflicts: 535000 | #Constraints: 112733
1135.84/1138.99 c #Conflicts: 536000 | #Constraints: 113733
1135.84/1138.99 c #Conflicts: 537000 | #Constraints: 114733
1135.84/1138.99 c #Conflicts: 538000 | #Constraints: 115733
1135.84/1138.99 c #Conflicts: 539000 | #Constraints: 116733
1135.84/1138.99 c #Conflicts: 540000 | #Constraints: 117733
1135.84/1138.99 c #Conflicts: 541000 | #Constraints: 118733
1135.84/1138.99 c #Conflicts: 542000 | #Constraints: 119733
1135.84/1138.99 c #Conflicts: 543000 | #Constraints: 120733
1135.84/1138.99 c #Conflicts: 544000 | #Constraints: 121733
1135.84/1138.99 c #Conflicts: 545000 | #Constraints: 122733
1135.84/1138.99 c #Conflicts: 546000 | #Constraints: 123733
1135.84/1138.99 c INPROCESSING
1135.84/1138.99 c GARBAGE COLLECT
1135.84/1138.99 c #Conflicts: 547000 | #Constraints: 110164
1135.84/1138.99 c #Conflicts: 548000 | #Constraints: 111164
1135.84/1138.99 c #Conflicts: 549000 | #Constraints: 112164
1135.84/1138.99 c #Conflicts: 550000 | #Constraints: 113164
1135.84/1138.99 c #Conflicts: 551000 | #Constraints: 114164
1135.84/1138.99 c #Conflicts: 552000 | #Constraints: 115164
1135.84/1138.99 c #Conflicts: 553000 | #Constraints: 116164
1135.84/1138.99 c #Conflicts: 554000 | #Constraints: 117164
1135.84/1138.99 c #Conflicts: 555000 | #Constraints: 118164
1135.84/1138.99 c #Conflicts: 556000 | #Constraints: 119164
1135.84/1138.99 c #Conflicts: 557000 | #Constraints: 120164
1135.84/1138.99 c #Conflicts: 558000 | #Constraints: 121164
1135.84/1138.99 c #Conflicts: 559000 | #Constraints: 122164
1135.84/1138.99 c #Conflicts: 560000 | #Constraints: 123164
1135.84/1138.99 c #Conflicts: 561000 | #Constraints: 124164
1135.84/1138.99 c INPROCESSING
1135.84/1138.99 c GARBAGE COLLECT
1135.84/1138.99 c #Conflicts: 562000 | #Constraints: 110379
1135.84/1138.99 c #Conflicts: 563000 | #Constraints: 111379
1135.84/1138.99 c #Conflicts: 564000 | #Constraints: 112379
1135.84/1138.99 c #Conflicts: 565000 | #Constraints: 113379
1135.84/1138.99 c #Conflicts: 566000 | #Constraints: 114379
1135.84/1138.99 c #Conflicts: 567000 | #Constraints: 115379
1135.84/1138.99 c #Conflicts: 568000 | #Constraints: 116379
1135.84/1138.99 c #Conflicts: 569000 | #Constraints: 117379
1135.84/1138.99 c #Conflicts: 570000 | #Constraints: 118379
1135.84/1138.99 c #Conflicts: 571000 | #Constraints: 119379
1135.84/1138.99 c #Conflicts: 572000 | #Constraints: 120379
1314.69/1318.24 c #Conflicts: 573000 | #Constraints: 121379
1314.69/1318.24 c #Conflicts: 574000 | #Constraints: 122379
1314.69/1318.24 c #Conflicts: 575000 | #Constraints: 123379
1314.69/1318.24 c #Conflicts: 576000 | #Constraints: 124379
1314.69/1318.24 c INPROCESSING
1314.69/1318.24 c GARBAGE COLLECT
1314.69/1318.24 c #Conflicts: 577000 | #Constraints: 110402
1314.69/1318.24 c #Conflicts: 578000 | #Constraints: 111402
1314.69/1318.24 c #Conflicts: 579000 | #Constraints: 112402
1314.69/1318.24 c #Conflicts: 580000 | #Constraints: 113402
1314.69/1318.24 c #Conflicts: 581000 | #Constraints: 114402
1314.69/1318.24 c #Conflicts: 582000 | #Constraints: 115402
1314.69/1318.24 c #Conflicts: 583000 | #Constraints: 116402
1314.69/1318.24 c #Conflicts: 584000 | #Constraints: 117402
1314.69/1318.24 c #Conflicts: 585000 | #Constraints: 118402
1314.69/1318.24 c #Conflicts: 586000 | #Constraints: 119402
1314.69/1318.24 c #Conflicts: 587000 | #Constraints: 120402
1314.69/1318.24 c #Conflicts: 588000 | #Constraints: 121402
1314.69/1318.24 c #Conflicts: 589000 | #Constraints: 122402
1314.69/1318.24 c #Conflicts: 590000 | #Constraints: 123402
1314.69/1318.24 c #Conflicts: 591000 | #Constraints: 124402
1314.69/1318.24 c INPROCESSING
1314.69/1318.24 c GARBAGE COLLECT
1314.69/1318.24 c #Conflicts: 592000 | #Constraints: 110191
1314.69/1318.24 c #Conflicts: 593000 | #Constraints: 111191
1314.69/1318.24 c #Conflicts: 594000 | #Constraints: 112191
1314.69/1318.24 c #Conflicts: 595000 | #Constraints: 113191
1314.69/1318.24 c #Conflicts: 596000 | #Constraints: 114191
1314.69/1318.24 c #Conflicts: 597000 | #Constraints: 115191
1314.69/1318.24 c #Conflicts: 598000 | #Constraints: 116191
1314.69/1318.24 c #Conflicts: 599000 | #Constraints: 117191
1314.69/1318.24 c #Conflicts: 600000 | #Constraints: 118191
1314.69/1318.24 c #Conflicts: 601000 | #Constraints: 119191
1314.69/1318.24 c #Conflicts: 602000 | #Constraints: 120191
1314.69/1318.24 c #Conflicts: 603000 | #Constraints: 121191
1314.69/1318.24 c #Conflicts: 604000 | #Constraints: 122191
1314.69/1318.24 c #Conflicts: 605000 | #Constraints: 123191
1314.69/1318.24 c #Conflicts: 606000 | #Constraints: 124191
1314.69/1318.24 c #Conflicts: 607000 | #Constraints: 125191
1314.69/1318.24 c INPROCESSING
1314.69/1318.24 c GARBAGE COLLECT
1314.69/1318.24 c #Conflicts: 608000 | #Constraints: 110776
1314.69/1318.24 c #Conflicts: 609000 | #Constraints: 111776
1314.69/1318.24 c #Conflicts: 610000 | #Constraints: 112776
1314.69/1318.24 c #Conflicts: 611000 | #Constraints: 113776
1314.69/1318.24 c #Conflicts: 612000 | #Constraints: 114776
1314.69/1318.24 c #Conflicts: 613000 | #Constraints: 115776
1314.69/1318.24 c #Conflicts: 614000 | #Constraints: 116776
1314.69/1318.24 c #Conflicts: 615000 | #Constraints: 117776
1314.69/1318.24 c #Conflicts: 616000 | #Constraints: 118776
1314.69/1318.24 c #Conflicts: 617000 | #Constraints: 119776
1314.69/1318.24 c #Conflicts: 618000 | #Constraints: 120776
1314.69/1318.24 c #Conflicts: 619000 | #Constraints: 121776
1314.69/1318.24 c #Conflicts: 620000 | #Constraints: 122776
1314.69/1318.24 c #Conflicts: 621000 | #Constraints: 123776
1314.69/1318.24 c #Conflicts: 622000 | #Constraints: 124776
1314.69/1318.24 c #Conflicts: 623000 | #Constraints: 125776
1314.69/1318.24 c INPROCESSING
1314.69/1318.24 c GARBAGE COLLECT
1314.69/1318.24 c #Conflicts: 624000 | #Constraints: 111162
1314.69/1318.24 c #Conflicts: 625000 | #Constraints: 112162
1314.69/1318.24 c #Conflicts: 626000 | #Constraints: 113162
1314.69/1318.24 c #Conflicts: 627000 | #Constraints: 114162
1314.69/1318.24 c #Conflicts: 628000 | #Constraints: 115162
1314.69/1318.24 c #Conflicts: 629000 | #Constraints: 116162
1314.69/1318.24 c #Conflicts: 630000 | #Constraints: 117162
1314.69/1318.24 c #Conflicts: 631000 | #Constraints: 118162
1314.69/1318.24 c #Conflicts: 632000 | #Constraints: 119162
1314.69/1318.24 c #Conflicts: 633000 | #Constraints: 120162
1314.69/1318.24 c #Conflicts: 634000 | #Constraints: 121162
1314.69/1318.24 c #Conflicts: 635000 | #Constraints: 122162
1314.69/1318.24 c #Conflicts: 636000 | #Constraints: 123162
1314.69/1318.24 c #Conflicts: 637000 | #Constraints: 124162
1314.69/1318.24 c #Conflicts: 638000 | #Constraints: 125162
1314.69/1318.24 c #Conflicts: 639000 | #Constraints: 126162
1314.69/1318.24 c INPROCESSING
1314.69/1318.24 c GARBAGE COLLECT
1314.69/1318.24 c #Conflicts: 640000 | #Constraints: 111356
1314.69/1318.24 c #Conflicts: 641000 | #Constraints: 112356
1314.69/1318.24 c #Conflicts: 642000 | #Constraints: 113356
1314.69/1318.24 c #Conflicts: 643000 | #Constraints: 114356
1314.69/1318.24 c #Conflicts: 644000 | #Constraints: 115356
1314.69/1318.24 c #Conflicts: 645000 | #Constraints: 116356
1314.69/1318.24 c #Conflicts: 646000 | #Constraints: 117356
1314.69/1318.24 c #Conflicts: 647000 | #Constraints: 118356
1517.27/1521.31 c #Conflicts: 648000 | #Constraints: 119356
1517.27/1521.31 c #Conflicts: 649000 | #Constraints: 120356
1517.27/1521.31 c #Conflicts: 650000 | #Constraints: 121356
1517.27/1521.31 c #Conflicts: 651000 | #Constraints: 122356
1517.27/1521.31 c #Conflicts: 652000 | #Constraints: 123356
1517.27/1521.31 c #Conflicts: 653000 | #Constraints: 124356
1517.27/1521.31 c #Conflicts: 654000 | #Constraints: 125356
1517.27/1521.31 c #Conflicts: 655000 | #Constraints: 126356
1517.27/1521.31 c INPROCESSING
1517.27/1521.31 c GARBAGE COLLECT
1517.27/1521.31 c #Conflicts: 656000 | #Constraints: 111357
1517.27/1521.31 c #Conflicts: 657000 | #Constraints: 112357
1517.27/1521.31 c #Conflicts: 658000 | #Constraints: 113357
1517.27/1521.31 c #Conflicts: 659000 | #Constraints: 114357
1517.27/1521.31 c #Conflicts: 660000 | #Constraints: 115357
1517.27/1521.31 c #Conflicts: 661000 | #Constraints: 116357
1517.27/1521.31 c #Conflicts: 662000 | #Constraints: 117357
1517.27/1521.31 c #Conflicts: 663000 | #Constraints: 118357
1517.27/1521.31 c #Conflicts: 664000 | #Constraints: 119357
1517.27/1521.31 c #Conflicts: 665000 | #Constraints: 120357
1517.27/1521.31 c #Conflicts: 666000 | #Constraints: 121357
1517.27/1521.31 c #Conflicts: 667000 | #Constraints: 122357
1517.27/1521.31 c #Conflicts: 668000 | #Constraints: 123357
1517.27/1521.31 c #Conflicts: 669000 | #Constraints: 124357
1517.27/1521.31 c #Conflicts: 670000 | #Constraints: 125357
1517.27/1521.31 c #Conflicts: 671000 | #Constraints: 126357
1517.27/1521.31 c INPROCESSING
1517.27/1521.31 c GARBAGE COLLECT
1517.27/1521.31 c #Conflicts: 672000 | #Constraints: 111140
1517.27/1521.31 c #Conflicts: 673000 | #Constraints: 112140
1517.27/1521.31 c #Conflicts: 674000 | #Constraints: 113140
1517.27/1521.31 c #Conflicts: 675000 | #Constraints: 114140
1517.27/1521.31 c #Conflicts: 676000 | #Constraints: 115140
1517.27/1521.31 c #Conflicts: 677000 | #Constraints: 116140
1517.27/1521.31 c #Conflicts: 678000 | #Constraints: 117140
1517.27/1521.31 c #Conflicts: 679000 | #Constraints: 118140
1517.27/1521.31 c #Conflicts: 680000 | #Constraints: 119140
1517.27/1521.31 c #Conflicts: 681000 | #Constraints: 120140
1517.27/1521.31 c #Conflicts: 682000 | #Constraints: 121140
1517.27/1521.31 c #Conflicts: 683000 | #Constraints: 122140
1517.27/1521.31 c #Conflicts: 684000 | #Constraints: 123140
1517.27/1521.31 c #Conflicts: 685000 | #Constraints: 124140
1517.27/1521.31 c #Conflicts: 686000 | #Constraints: 125140
1517.27/1521.31 c #Conflicts: 687000 | #Constraints: 126140
1517.27/1521.31 c #Conflicts: 688000 | #Constraints: 127140
1517.27/1521.31 c INPROCESSING
1517.27/1521.31 c GARBAGE COLLECT
1517.27/1521.31 c #Conflicts: 689000 | #Constraints: 111773
1517.27/1521.31 c #Conflicts: 690000 | #Constraints: 112773
1517.27/1521.31 c #Conflicts: 691000 | #Constraints: 113773
1517.27/1521.31 c #Conflicts: 692000 | #Constraints: 114773
1517.27/1521.31 c #Conflicts: 693000 | #Constraints: 115773
1517.27/1521.31 c #Conflicts: 694000 | #Constraints: 116773
1517.27/1521.31 c #Conflicts: 695000 | #Constraints: 117773
1517.27/1521.31 c #Conflicts: 696000 | #Constraints: 118773
1517.27/1521.31 c #Conflicts: 697000 | #Constraints: 119773
1517.27/1521.31 c #Conflicts: 698000 | #Constraints: 120773
1517.27/1521.31 c #Conflicts: 699000 | #Constraints: 121773
1517.27/1521.31 c #Conflicts: 700000 | #Constraints: 122773
1517.27/1521.31 c #Conflicts: 701000 | #Constraints: 123773
1517.27/1521.31 c #Conflicts: 702000 | #Constraints: 124773
1517.27/1521.31 c #Conflicts: 703000 | #Constraints: 125773
1517.27/1521.31 c #Conflicts: 704000 | #Constraints: 126773
1517.27/1521.31 c #Conflicts: 705000 | #Constraints: 127773
1517.27/1521.31 c INPROCESSING
1517.27/1521.31 c GARBAGE COLLECT
1517.27/1521.31 c #Conflicts: 706000 | #Constraints: 112154
1517.27/1521.31 c #Conflicts: 707000 | #Constraints: 113154
1517.27/1521.31 c #Conflicts: 708000 | #Constraints: 114154
1517.27/1521.31 c #Conflicts: 709000 | #Constraints: 115154
1517.27/1521.31 c #Conflicts: 710000 | #Constraints: 116154
1517.27/1521.31 c #Conflicts: 711000 | #Constraints: 117154
1517.27/1521.31 c #Conflicts: 712000 | #Constraints: 118154
1517.27/1521.31 c #Conflicts: 713000 | #Constraints: 119154
1517.27/1521.31 c #Conflicts: 714000 | #Constraints: 120154
1517.27/1521.31 c #Conflicts: 715000 | #Constraints: 121154
1517.27/1521.31 c #Conflicts: 716000 | #Constraints: 122154
1517.27/1521.31 c #Conflicts: 717000 | #Constraints: 123154
1517.27/1521.31 c #Conflicts: 718000 | #Constraints: 124154
1517.27/1521.31 c #Conflicts: 719000 | #Constraints: 125154
1517.27/1521.31 c #Conflicts: 720000 | #Constraints: 126154
1517.27/1521.31 c #Conflicts: 721000 | #Constraints: 127154
1517.27/1521.31 c #Conflicts: 722000 | #Constraints: 128154
1517.27/1521.31 c INPROCESSING
1517.27/1521.31 c GARBAGE COLLECT
1517.27/1521.31 c #Conflicts: 723000 | #Constraints: 112346
1715.06/1719.67 c #Conflicts: 724000 | #Constraints: 113346
1715.06/1719.67 c #Conflicts: 725000 | #Constraints: 114346
1715.06/1719.67 c #Conflicts: 726000 | #Constraints: 115346
1715.06/1719.67 c #Conflicts: 727000 | #Constraints: 116346
1715.06/1719.67 c #Conflicts: 728000 | #Constraints: 117346
1715.06/1719.67 c #Conflicts: 729000 | #Constraints: 118346
1715.06/1719.67 c #Conflicts: 730000 | #Constraints: 119346
1715.06/1719.67 c #Conflicts: 731000 | #Constraints: 120346
1715.06/1719.67 c #Conflicts: 732000 | #Constraints: 121346
1715.06/1719.67 c #Conflicts: 733000 | #Constraints: 122346
1715.06/1719.67 c #Conflicts: 734000 | #Constraints: 123346
1715.06/1719.67 c #Conflicts: 735000 | #Constraints: 124346
1715.06/1719.67 c #Conflicts: 736000 | #Constraints: 125346
1715.06/1719.67 c #Conflicts: 737000 | #Constraints: 126346
1715.06/1719.67 c #Conflicts: 738000 | #Constraints: 127346
1715.06/1719.67 c #Conflicts: 739000 | #Constraints: 128346
1715.06/1719.67 c INPROCESSING
1715.06/1719.67 c GARBAGE COLLECT
1715.06/1719.67 c #Conflicts: 740000 | #Constraints: 112375
1715.06/1719.67 c #Conflicts: 741000 | #Constraints: 113375
1715.06/1719.67 c #Conflicts: 742000 | #Constraints: 114375
1715.06/1719.67 c #Conflicts: 743000 | #Constraints: 115375
1715.06/1719.67 c #Conflicts: 744000 | #Constraints: 116375
1715.06/1719.67 c #Conflicts: 745000 | #Constraints: 117375
1715.06/1719.67 c #Conflicts: 746000 | #Constraints: 118375
1715.06/1719.67 c #Conflicts: 747000 | #Constraints: 119375
1715.06/1719.67 c #Conflicts: 748000 | #Constraints: 120375
1715.06/1719.67 c #Conflicts: 749000 | #Constraints: 121375
1715.06/1719.67 c #Conflicts: 750000 | #Constraints: 122375
1715.06/1719.67 c #Conflicts: 751000 | #Constraints: 123375
1715.06/1719.67 c #Conflicts: 752000 | #Constraints: 124375
1715.06/1719.67 c #Conflicts: 753000 | #Constraints: 125375
1715.06/1719.67 c #Conflicts: 754000 | #Constraints: 126375
1715.06/1719.67 c #Conflicts: 755000 | #Constraints: 127375
1715.06/1719.67 c #Conflicts: 756000 | #Constraints: 128375
1715.06/1719.67 c INPROCESSING
1715.06/1719.67 c GARBAGE COLLECT
1715.06/1719.67 c #Conflicts: 757000 | #Constraints: 112183
1715.06/1719.67 c #Conflicts: 758000 | #Constraints: 113183
1715.06/1719.67 c #Conflicts: 759000 | #Constraints: 114183
1715.06/1719.67 c #Conflicts: 760000 | #Constraints: 115183
1715.06/1719.67 c #Conflicts: 761000 | #Constraints: 116183
1715.06/1719.67 c #Conflicts: 762000 | #Constraints: 117183
1715.06/1719.67 c #Conflicts: 763000 | #Constraints: 118183
1715.06/1719.67 c #Conflicts: 764000 | #Constraints: 119183
1715.06/1719.67 c #Conflicts: 765000 | #Constraints: 120183
1715.06/1719.67 c #Conflicts: 766000 | #Constraints: 121183
1715.06/1719.67 c #Conflicts: 767000 | #Constraints: 122183
1715.06/1719.67 c #Conflicts: 768000 | #Constraints: 123183
1715.06/1719.67 c #Conflicts: 769000 | #Constraints: 124183
1715.06/1719.67 c #Conflicts: 770000 | #Constraints: 125183
1715.06/1719.67 c #Conflicts: 771000 | #Constraints: 126183
1715.06/1719.67 c #Conflicts: 772000 | #Constraints: 127183
1715.06/1719.67 c #Conflicts: 773000 | #Constraints: 128183
1715.06/1719.67 c #Conflicts: 774000 | #Constraints: 129183
1715.06/1719.67 c INPROCESSING
1715.06/1719.67 c GARBAGE COLLECT
1715.06/1719.67 c #Conflicts: 775000 | #Constraints: 112799
1715.06/1719.67 c #Conflicts: 776000 | #Constraints: 113799
1715.06/1719.67 c #Conflicts: 777000 | #Constraints: 114799
1715.06/1719.67 c #Conflicts: 778000 | #Constraints: 115799
1715.06/1719.67 c #Conflicts: 779000 | #Constraints: 116799
1715.06/1719.67 c #Conflicts: 780000 | #Constraints: 117799
1715.06/1719.67 c #Conflicts: 781000 | #Constraints: 118799
1715.06/1719.67 c #Conflicts: 782000 | #Constraints: 119799
1715.06/1719.67 c #Conflicts: 783000 | #Constraints: 120799
1715.06/1719.67 c #Conflicts: 784000 | #Constraints: 121799
1715.06/1719.67 c #Conflicts: 785000 | #Constraints: 122799
1715.06/1719.67 c #Conflicts: 786000 | #Constraints: 123799
1715.06/1719.67 c #Conflicts: 787000 | #Constraints: 124799
1715.06/1719.67 c #Conflicts: 788000 | #Constraints: 125799
1715.06/1719.67 c #Conflicts: 789000 | #Constraints: 126799
1715.06/1719.67 c #Conflicts: 790000 | #Constraints: 127799
1715.06/1719.67 c #Conflicts: 791000 | #Constraints: 128799
1715.06/1719.67 c #Conflicts: 792000 | #Constraints: 129799
1715.06/1719.67 c INPROCESSING
1715.06/1719.67 c GARBAGE COLLECT
1715.06/1719.67 c #Conflicts: 793000 | #Constraints: 113187
1715.06/1719.67 c #Conflicts: 794000 | #Constraints: 114187
1715.06/1719.67 c #Conflicts: 795000 | #Constraints: 115187
1715.06/1719.67 c #Conflicts: 796000 | #Constraints: 116187
1715.06/1719.67 c #Conflicts: 797000 | #Constraints: 117187
1715.06/1719.67 c #Conflicts: 798000 | #Constraints: 118187
1715.06/1719.67 c #Conflicts: 799000 | #Constraints: 119187
1940.78/1945.96 c #Conflicts: 800000 | #Constraints: 120187
1940.78/1945.96 c #Conflicts: 801000 | #Constraints: 121187
1940.78/1945.96 c #Conflicts: 802000 | #Constraints: 122187
1940.78/1945.96 c #Conflicts: 803000 | #Constraints: 123187
1940.78/1945.96 c #Conflicts: 804000 | #Constraints: 124187
1940.78/1945.96 c #Conflicts: 805000 | #Constraints: 125187
1940.78/1945.96 c #Conflicts: 806000 | #Constraints: 126187
1940.78/1945.96 c #Conflicts: 807000 | #Constraints: 127187
1940.78/1945.96 c #Conflicts: 808000 | #Constraints: 128187
1940.78/1945.96 c #Conflicts: 809000 | #Constraints: 129187
1940.78/1945.96 c #Conflicts: 810000 | #Constraints: 130187
1940.78/1945.96 c INPROCESSING
1940.78/1945.96 c GARBAGE COLLECT
1940.78/1945.96 c #Conflicts: 811000 | #Constraints: 113373
1940.78/1945.96 c #Conflicts: 812000 | #Constraints: 114373
1940.78/1945.96 c #Conflicts: 813000 | #Constraints: 115373
1940.78/1945.96 c #Conflicts: 814000 | #Constraints: 116373
1940.78/1945.96 c #Conflicts: 815000 | #Constraints: 117373
1940.78/1945.96 c #Conflicts: 816000 | #Constraints: 118373
1940.78/1945.96 c #Conflicts: 817000 | #Constraints: 119373
1940.78/1945.96 c #Conflicts: 818000 | #Constraints: 120373
1940.78/1945.96 c #Conflicts: 819000 | #Constraints: 121373
1940.78/1945.96 c #Conflicts: 820000 | #Constraints: 122373
1940.78/1945.96 c #Conflicts: 821000 | #Constraints: 123373
1940.78/1945.96 c #Conflicts: 822000 | #Constraints: 124373
1940.78/1945.96 c #Conflicts: 823000 | #Constraints: 125373
1940.78/1945.96 c #Conflicts: 824000 | #Constraints: 126373
1940.78/1945.96 c #Conflicts: 825000 | #Constraints: 127373
1940.78/1945.96 c #Conflicts: 826000 | #Constraints: 128373
1940.78/1945.96 c #Conflicts: 827000 | #Constraints: 129373
1940.78/1945.96 c #Conflicts: 828000 | #Constraints: 130373
1940.78/1945.96 c INPROCESSING
1940.78/1945.96 c GARBAGE COLLECT
1940.78/1945.96 c #Conflicts: 829000 | #Constraints: 113366
1940.78/1945.96 c #Conflicts: 830000 | #Constraints: 114366
1940.78/1945.96 c #Conflicts: 831000 | #Constraints: 115366
1940.78/1945.96 c #Conflicts: 832000 | #Constraints: 116366
1940.78/1945.96 c #Conflicts: 833000 | #Constraints: 117366
1940.78/1945.96 c #Conflicts: 834000 | #Constraints: 118366
1940.78/1945.96 c #Conflicts: 835000 | #Constraints: 119366
1940.78/1945.96 c #Conflicts: 836000 | #Constraints: 120366
1940.78/1945.96 c #Conflicts: 837000 | #Constraints: 121366
1940.78/1945.96 c #Conflicts: 838000 | #Constraints: 122366
1940.78/1945.96 c #Conflicts: 839000 | #Constraints: 123366
1940.78/1945.96 c #Conflicts: 840000 | #Constraints: 124366
1940.78/1945.96 c #Conflicts: 841000 | #Constraints: 125366
1940.78/1945.96 c #Conflicts: 842000 | #Constraints: 126366
1940.78/1945.96 c #Conflicts: 843000 | #Constraints: 127366
1940.78/1945.96 c #Conflicts: 844000 | #Constraints: 128366
1940.78/1945.96 c #Conflicts: 845000 | #Constraints: 129366
1940.78/1945.96 c #Conflicts: 846000 | #Constraints: 130366
1940.78/1945.96 c INPROCESSING
1940.78/1945.96 c GARBAGE COLLECT
1940.78/1945.96 c #Conflicts: 847000 | #Constraints: 113168
1940.78/1945.96 c #Conflicts: 848000 | #Constraints: 114168
1940.78/1945.96 c #Conflicts: 849000 | #Constraints: 115168
1940.78/1945.96 c #Conflicts: 850000 | #Constraints: 116168
1940.78/1945.96 c #Conflicts: 851000 | #Constraints: 117168
1940.78/1945.96 c #Conflicts: 852000 | #Constraints: 118168
1940.78/1945.96 c #Conflicts: 853000 | #Constraints: 119168
1940.78/1945.96 c #Conflicts: 854000 | #Constraints: 120168
1940.78/1945.96 c #Conflicts: 855000 | #Constraints: 121168
1940.78/1945.96 c #Conflicts: 856000 | #Constraints: 122168
1940.78/1945.96 c #Conflicts: 857000 | #Constraints: 123168
1940.78/1945.96 c #Conflicts: 858000 | #Constraints: 124168
1940.78/1945.96 c #Conflicts: 859000 | #Constraints: 125168
1940.78/1945.96 c #Conflicts: 860000 | #Constraints: 126168
1940.78/1945.96 c #Conflicts: 861000 | #Constraints: 127168
1940.78/1945.96 c #Conflicts: 862000 | #Constraints: 128168
1940.78/1945.96 c #Conflicts: 863000 | #Constraints: 129168
1940.78/1945.96 c #Conflicts: 864000 | #Constraints: 130168
1940.78/1945.96 c #Conflicts: 865000 | #Constraints: 131168
1940.78/1945.96 c INPROCESSING
1940.78/1945.96 c GARBAGE COLLECT
1940.78/1945.96 c #Conflicts: 866000 | #Constraints: 113753
1940.78/1945.96 c #Conflicts: 867000 | #Constraints: 114753
1940.78/1945.96 c #Conflicts: 868000 | #Constraints: 115753
1940.78/1945.96 c #Conflicts: 869000 | #Constraints: 116753
1940.78/1945.96 c #Conflicts: 870000 | #Constraints: 117753
1940.78/1945.96 c #Conflicts: 871000 | #Constraints: 118753
1940.78/1945.96 c #Conflicts: 872000 | #Constraints: 119753
1940.78/1945.96 c #Conflicts: 873000 | #Constraints: 120753
1940.78/1945.96 c #Conflicts: 874000 | #Constraints: 121753
1940.78/1945.96 c #Conflicts: 875000 | #Constraints: 122753
2179.95/2185.77 c #Conflicts: 876000 | #Constraints: 123753
2179.95/2185.77 c #Conflicts: 877000 | #Constraints: 124753
2179.95/2185.77 c #Conflicts: 878000 | #Constraints: 125753
2179.95/2185.77 c #Conflicts: 879000 | #Constraints: 126753
2179.95/2185.77 c #Conflicts: 880000 | #Constraints: 127753
2179.95/2185.77 c #Conflicts: 881000 | #Constraints: 128753
2179.95/2185.77 c #Conflicts: 882000 | #Constraints: 129753
2179.95/2185.77 c #Conflicts: 883000 | #Constraints: 130753
2179.95/2185.77 c #Conflicts: 884000 | #Constraints: 131753
2179.95/2185.77 c INPROCESSING
2179.95/2185.77 c GARBAGE COLLECT
2179.95/2185.77 c #Conflicts: 885000 | #Constraints: 114178
2179.95/2185.77 c #Conflicts: 886000 | #Constraints: 115178
2179.95/2185.77 c #Conflicts: 887000 | #Constraints: 116178
2179.95/2185.77 c #Conflicts: 888000 | #Constraints: 117178
2179.95/2185.77 c #Conflicts: 889000 | #Constraints: 118178
2179.95/2185.77 c #Conflicts: 890000 | #Constraints: 119178
2179.95/2185.77 c #Conflicts: 891000 | #Constraints: 120178
2179.95/2185.77 c #Conflicts: 892000 | #Constraints: 121178
2179.95/2185.77 c #Conflicts: 893000 | #Constraints: 122178
2179.95/2185.77 c #Conflicts: 894000 | #Constraints: 123178
2179.95/2185.77 c #Conflicts: 895000 | #Constraints: 124178
2179.95/2185.77 c #Conflicts: 896000 | #Constraints: 125178
2179.95/2185.77 c #Conflicts: 897000 | #Constraints: 126178
2179.95/2185.77 c #Conflicts: 898000 | #Constraints: 127178
2179.95/2185.77 c #Conflicts: 899000 | #Constraints: 128178
2179.95/2185.77 c #Conflicts: 900000 | #Constraints: 129178
2179.95/2185.77 c #Conflicts: 901000 | #Constraints: 130178
2179.95/2185.77 c #Conflicts: 902000 | #Constraints: 131178
2179.95/2185.77 c #Conflicts: 903000 | #Constraints: 132178
2179.95/2185.77 c INPROCESSING
2179.95/2185.77 c GARBAGE COLLECT
2179.95/2185.77 c #Conflicts: 904000 | #Constraints: 114387
2179.95/2185.77 c #Conflicts: 905000 | #Constraints: 115387
2179.95/2185.77 c #Conflicts: 906000 | #Constraints: 116387
2179.95/2185.77 c #Conflicts: 907000 | #Constraints: 117387
2179.95/2185.77 c #Conflicts: 908000 | #Constraints: 118387
2179.95/2185.77 c #Conflicts: 909000 | #Constraints: 119387
2179.95/2185.77 c #Conflicts: 910000 | #Constraints: 120387
2179.95/2185.77 c #Conflicts: 911000 | #Constraints: 121387
2179.95/2185.77 c #Conflicts: 912000 | #Constraints: 122387
2179.95/2185.77 c #Conflicts: 913000 | #Constraints: 123387
2179.95/2185.77 c #Conflicts: 914000 | #Constraints: 124387
2179.95/2185.77 c #Conflicts: 915000 | #Constraints: 125387
2179.95/2185.77 c #Conflicts: 916000 | #Constraints: 126387
2179.95/2185.77 c #Conflicts: 917000 | #Constraints: 127387
2179.95/2185.77 c #Conflicts: 918000 | #Constraints: 128387
2179.95/2185.77 c #Conflicts: 919000 | #Constraints: 129387
2179.95/2185.77 c #Conflicts: 920000 | #Constraints: 130387
2179.95/2185.77 c #Conflicts: 921000 | #Constraints: 131387
2179.95/2185.77 c #Conflicts: 922000 | #Constraints: 132387
2179.95/2185.77 c INPROCESSING
2179.95/2185.77 c GARBAGE COLLECT
2179.95/2185.77 c #Conflicts: 923000 | #Constraints: 114379
2179.95/2185.77 c #Conflicts: 924000 | #Constraints: 115379
2179.95/2185.77 c #Conflicts: 925000 | #Constraints: 116379
2179.95/2185.77 c #Conflicts: 926000 | #Constraints: 117379
2179.95/2185.77 c #Conflicts: 927000 | #Constraints: 118379
2179.95/2185.77 c #Conflicts: 928000 | #Constraints: 119379
2179.95/2185.77 c #Conflicts: 929000 | #Constraints: 120379
2179.95/2185.77 c #Conflicts: 930000 | #Constraints: 121379
2179.95/2185.77 c #Conflicts: 931000 | #Constraints: 122379
2179.95/2185.77 c #Conflicts: 932000 | #Constraints: 123379
2179.95/2185.77 c #Conflicts: 933000 | #Constraints: 124379
2179.95/2185.77 c #Conflicts: 934000 | #Constraints: 125379
2179.95/2185.77 c #Conflicts: 935000 | #Constraints: 126379
2179.95/2185.77 c #Conflicts: 936000 | #Constraints: 127379
2179.95/2185.77 c #Conflicts: 937000 | #Constraints: 128379
2179.95/2185.77 c #Conflicts: 938000 | #Constraints: 129379
2179.95/2185.77 c #Conflicts: 939000 | #Constraints: 130379
2179.95/2185.77 c #Conflicts: 940000 | #Constraints: 131379
2179.95/2185.77 c #Conflicts: 941000 | #Constraints: 132379
2179.95/2185.77 c INPROCESSING
2179.95/2185.77 c GARBAGE COLLECT
2179.95/2185.77 c #Conflicts: 942000 | #Constraints: 114176
2179.95/2185.77 c #Conflicts: 943000 | #Constraints: 115176
2179.95/2185.77 c #Conflicts: 944000 | #Constraints: 116176
2179.95/2185.77 c #Conflicts: 945000 | #Constraints: 117176
2179.95/2185.77 c #Conflicts: 946000 | #Constraints: 118176
2179.95/2185.77 c #Conflicts: 947000 | #Constraints: 119176
2179.95/2185.77 c #Conflicts: 948000 | #Constraints: 120176
2179.95/2185.77 c #Conflicts: 949000 | #Constraints: 121176
2179.95/2185.77 c #Conflicts: 950000 | #Constraints: 122176
2179.95/2185.77 c #Conflicts: 951000 | #Constraints: 123176
2441.87/2448.35 c #Conflicts: 952000 | #Constraints: 124176
2441.87/2448.35 c #Conflicts: 953000 | #Constraints: 125176
2441.87/2448.35 c #Conflicts: 954000 | #Constraints: 126176
2441.87/2448.35 c #Conflicts: 955000 | #Constraints: 127176
2441.87/2448.35 c #Conflicts: 956000 | #Constraints: 128176
2441.87/2448.35 c #Conflicts: 957000 | #Constraints: 129176
2441.87/2448.35 c #Conflicts: 958000 | #Constraints: 130176
2441.87/2448.35 c #Conflicts: 959000 | #Constraints: 131176
2441.87/2448.35 c #Conflicts: 960000 | #Constraints: 132176
2441.87/2448.35 c #Conflicts: 961000 | #Constraints: 133176
2441.87/2448.35 c INPROCESSING
2441.87/2448.35 c GARBAGE COLLECT
2441.87/2448.35 c #Conflicts: 962000 | #Constraints: 114784
2441.87/2448.35 c #Conflicts: 963000 | #Constraints: 115784
2441.87/2448.35 c #Conflicts: 964000 | #Constraints: 116784
2441.87/2448.35 c #Conflicts: 965000 | #Constraints: 117784
2441.87/2448.35 c #Conflicts: 966000 | #Constraints: 118784
2441.87/2448.35 c #Conflicts: 967000 | #Constraints: 119784
2441.87/2448.35 c #Conflicts: 968000 | #Constraints: 120784
2441.87/2448.35 c #Conflicts: 969000 | #Constraints: 121784
2441.87/2448.35 c #Conflicts: 970000 | #Constraints: 122784
2441.87/2448.35 c #Conflicts: 971000 | #Constraints: 123784
2441.87/2448.35 c #Conflicts: 972000 | #Constraints: 124784
2441.87/2448.35 c #Conflicts: 973000 | #Constraints: 125784
2441.87/2448.35 c #Conflicts: 974000 | #Constraints: 126784
2441.87/2448.35 c #Conflicts: 975000 | #Constraints: 127784
2441.87/2448.35 c #Conflicts: 976000 | #Constraints: 128784
2441.87/2448.35 c #Conflicts: 977000 | #Constraints: 129784
2441.87/2448.35 c #Conflicts: 978000 | #Constraints: 130784
2441.87/2448.35 c #Conflicts: 979000 | #Constraints: 131784
2441.87/2448.35 c #Conflicts: 980000 | #Constraints: 132784
2441.87/2448.35 c #Conflicts: 981000 | #Constraints: 133784
2441.87/2448.35 c INPROCESSING
2441.87/2448.35 c GARBAGE COLLECT
2441.87/2448.35 c #Conflicts: 982000 | #Constraints: 115164
2441.87/2448.35 c #Conflicts: 983000 | #Constraints: 116164
2441.87/2448.35 c #Conflicts: 984000 | #Constraints: 117164
2441.87/2448.35 c #Conflicts: 985000 | #Constraints: 118164
2441.87/2448.35 c #Conflicts: 986000 | #Constraints: 119164
2441.87/2448.35 c #Conflicts: 987000 | #Constraints: 120164
2441.87/2448.35 c #Conflicts: 988000 | #Constraints: 121164
2441.87/2448.35 c #Conflicts: 989000 | #Constraints: 122164
2441.87/2448.35 c #Conflicts: 990000 | #Constraints: 123164
2441.87/2448.35 c #Conflicts: 991000 | #Constraints: 124164
2441.87/2448.35 c #Conflicts: 992000 | #Constraints: 125164
2441.87/2448.35 c #Conflicts: 993000 | #Constraints: 126164
2441.87/2448.35 c #Conflicts: 994000 | #Constraints: 127164
2441.87/2448.35 c #Conflicts: 995000 | #Constraints: 128164
2441.87/2448.35 c #Conflicts: 996000 | #Constraints: 129164
2441.87/2448.35 c #Conflicts: 997000 | #Constraints: 130164
2441.87/2448.35 c #Conflicts: 998000 | #Constraints: 131164
2441.87/2448.35 c #Conflicts: 999000 | #Constraints: 132164
2441.87/2448.35 c #Conflicts: 1000000 | #Constraints: 133164
2441.87/2448.35 c #Conflicts: 1001000 | #Constraints: 134164
2441.87/2448.35 c INPROCESSING
2441.87/2448.35 c GARBAGE COLLECT
2441.87/2448.35 c #Conflicts: 1002000 | #Constraints: 115369
2441.87/2448.35 c #Conflicts: 1003000 | #Constraints: 116369
2441.87/2448.35 c #Conflicts: 1004000 | #Constraints: 117369
2441.87/2448.35 c #Conflicts: 1005000 | #Constraints: 118369
2441.87/2448.35 c #Conflicts: 1006000 | #Constraints: 119369
2441.87/2448.35 c #Conflicts: 1007000 | #Constraints: 120369
2441.87/2448.35 c #Conflicts: 1008000 | #Constraints: 121369
2441.87/2448.35 c #Conflicts: 1009000 | #Constraints: 122369
2441.87/2448.35 c #Conflicts: 1010000 | #Constraints: 123369
2441.87/2448.35 c #Conflicts: 1011000 | #Constraints: 124369
2441.87/2448.35 c #Conflicts: 1012000 | #Constraints: 125369
2441.87/2448.35 c #Conflicts: 1013000 | #Constraints: 126369
2441.87/2448.35 c #Conflicts: 1014000 | #Constraints: 127369
2441.87/2448.35 c #Conflicts: 1015000 | #Constraints: 128369
2441.87/2448.35 c #Conflicts: 1016000 | #Constraints: 129369
2441.87/2448.35 c #Conflicts: 1017000 | #Constraints: 130369
2441.87/2448.35 c #Conflicts: 1018000 | #Constraints: 131369
2441.87/2448.35 c #Conflicts: 1019000 | #Constraints: 132369
2441.87/2448.35 c #Conflicts: 1020000 | #Constraints: 133369
2441.87/2448.35 c #Conflicts: 1021000 | #Constraints: 134369
2441.87/2448.35 c INPROCESSING
2441.87/2448.35 c GARBAGE COLLECT
2441.87/2448.35 c #Conflicts: 1022000 | #Constraints: 115374
2441.87/2448.35 c #Conflicts: 1023000 | #Constraints: 116374
2441.87/2448.35 c #Conflicts: 1024000 | #Constraints: 117374
2441.87/2448.35 c #Conflicts: 1025000 | #Constraints: 118374
2441.87/2448.35 c #Conflicts: 1026000 | #Constraints: 119374
2441.87/2448.35 c #Conflicts: 1027000 | #Constraints: 120374
2441.87/2448.35 c #Conflicts: 1028000 | #Constraints: 121374
2725.62/2732.85 c #Conflicts: 1029000 | #Constraints: 122374
2725.62/2732.85 c #Conflicts: 1030000 | #Constraints: 123374
2725.62/2732.85 c #Conflicts: 1031000 | #Constraints: 124374
2725.62/2732.85 c #Conflicts: 1032000 | #Constraints: 125374
2725.62/2732.85 c #Conflicts: 1033000 | #Constraints: 126374
2725.62/2732.85 c #Conflicts: 1034000 | #Constraints: 127374
2725.62/2732.85 c #Conflicts: 1035000 | #Constraints: 128374
2725.62/2732.85 c #Conflicts: 1036000 | #Constraints: 129374
2725.62/2732.85 c #Conflicts: 1037000 | #Constraints: 130374
2725.62/2732.85 c #Conflicts: 1038000 | #Constraints: 131374
2725.62/2732.85 c #Conflicts: 1039000 | #Constraints: 132374
2725.62/2732.85 c #Conflicts: 1040000 | #Constraints: 133374
2725.62/2732.85 c #Conflicts: 1041000 | #Constraints: 134374
2725.62/2732.85 c INPROCESSING
2725.62/2732.85 c GARBAGE COLLECT
2725.62/2732.85 c #Conflicts: 1042000 | #Constraints: 115182
2725.62/2732.85 c #Conflicts: 1043000 | #Constraints: 116182
2725.62/2732.85 c #Conflicts: 1044000 | #Constraints: 117182
2725.62/2732.85 c #Conflicts: 1045000 | #Constraints: 118182
2725.62/2732.85 c #Conflicts: 1046000 | #Constraints: 119182
2725.62/2732.85 c #Conflicts: 1047000 | #Constraints: 120182
2725.62/2732.85 c #Conflicts: 1048000 | #Constraints: 121182
2725.62/2732.85 c #Conflicts: 1049000 | #Constraints: 122182
2725.62/2732.85 c #Conflicts: 1050000 | #Constraints: 123182
2725.62/2732.85 c #Conflicts: 1051000 | #Constraints: 124182
2725.62/2732.85 c #Conflicts: 1052000 | #Constraints: 125182
2725.62/2732.85 c #Conflicts: 1053000 | #Constraints: 126182
2725.62/2732.85 c #Conflicts: 1054000 | #Constraints: 127182
2725.62/2732.85 c #Conflicts: 1055000 | #Constraints: 128182
2725.62/2732.85 c #Conflicts: 1056000 | #Constraints: 129182
2725.62/2732.85 c #Conflicts: 1057000 | #Constraints: 130182
2725.62/2732.85 c #Conflicts: 1058000 | #Constraints: 131182
2725.62/2732.85 c #Conflicts: 1059000 | #Constraints: 132182
2725.62/2732.85 c #Conflicts: 1060000 | #Constraints: 133182
2725.62/2732.85 c #Conflicts: 1061000 | #Constraints: 134182
2725.62/2732.85 c #Conflicts: 1062000 | #Constraints: 135182
2725.62/2732.85 c INPROCESSING
2725.62/2732.85 c GARBAGE COLLECT
2725.62/2732.85 c #Conflicts: 1063000 | #Constraints: 115788
2725.62/2732.85 c #Conflicts: 1064000 | #Constraints: 116788
2725.62/2732.85 c #Conflicts: 1065000 | #Constraints: 117788
2725.62/2732.85 c #Conflicts: 1066000 | #Constraints: 118788
2725.62/2732.85 c #Conflicts: 1067000 | #Constraints: 119788
2725.62/2732.85 c #Conflicts: 1068000 | #Constraints: 120788
2725.62/2732.85 c #Conflicts: 1069000 | #Constraints: 121788
2725.62/2732.85 c #Conflicts: 1070000 | #Constraints: 122788
2725.62/2732.85 c #Conflicts: 1071000 | #Constraints: 123788
2725.62/2732.85 c #Conflicts: 1072000 | #Constraints: 124788
2725.62/2732.85 c #Conflicts: 1073000 | #Constraints: 125788
2725.62/2732.85 c #Conflicts: 1074000 | #Constraints: 126788
2725.62/2732.85 c #Conflicts: 1075000 | #Constraints: 127788
2725.62/2732.85 c #Conflicts: 1076000 | #Constraints: 128788
2725.62/2732.85 c #Conflicts: 1077000 | #Constraints: 129788
2725.62/2732.85 c #Conflicts: 1078000 | #Constraints: 130788
2725.62/2732.85 c #Conflicts: 1079000 | #Constraints: 131788
2725.62/2732.85 c #Conflicts: 1080000 | #Constraints: 132788
2725.62/2732.85 c #Conflicts: 1081000 | #Constraints: 133788
2725.62/2732.85 c #Conflicts: 1082000 | #Constraints: 134788
2725.62/2732.85 c #Conflicts: 1083000 | #Constraints: 135788
2725.62/2732.85 c INPROCESSING
2725.62/2732.85 c GARBAGE COLLECT
2725.62/2732.85 c #Conflicts: 1084000 | #Constraints: 116195
2725.62/2732.85 c #Conflicts: 1085000 | #Constraints: 117195
2725.62/2732.85 c #Conflicts: 1086000 | #Constraints: 118195
2725.62/2732.85 c #Conflicts: 1087000 | #Constraints: 119195
2725.62/2732.85 c #Conflicts: 1088000 | #Constraints: 120195
2725.62/2732.85 c #Conflicts: 1089000 | #Constraints: 121195
2725.62/2732.85 c #Conflicts: 1090000 | #Constraints: 122195
2725.62/2732.85 c #Conflicts: 1091000 | #Constraints: 123195
2725.62/2732.85 c #Conflicts: 1092000 | #Constraints: 124195
2725.62/2732.85 c #Conflicts: 1093000 | #Constraints: 125195
2725.62/2732.85 c #Conflicts: 1094000 | #Constraints: 126195
2725.62/2732.85 c #Conflicts: 1095000 | #Constraints: 127195
2725.62/2732.85 c #Conflicts: 1096000 | #Constraints: 128195
2725.62/2732.85 c #Conflicts: 1097000 | #Constraints: 129195
2725.62/2732.85 c #Conflicts: 1098000 | #Constraints: 130195
2725.62/2732.85 c #Conflicts: 1099000 | #Constraints: 131195
2725.62/2732.85 c #Conflicts: 1100000 | #Constraints: 132195
2725.62/2732.85 c #Conflicts: 1101000 | #Constraints: 133195
2725.62/2732.85 c #Conflicts: 1102000 | #Constraints: 134195
2725.62/2732.85 c #Conflicts: 1103000 | #Constraints: 135195
2725.62/2732.85 c #Conflicts: 1104000 | #Constraints: 136195
2725.62/2732.85 c INPROCESSING
3007.96/3015.94 c GARBAGE COLLECT
3007.96/3015.94 c #Conflicts: 1105000 | #Constraints: 116411
3007.96/3015.94 c #Conflicts: 1106000 | #Constraints: 117411
3007.96/3015.94 c #Conflicts: 1107000 | #Constraints: 118411
3007.96/3015.94 c #Conflicts: 1108000 | #Constraints: 119411
3007.96/3015.94 c #Conflicts: 1109000 | #Constraints: 120411
3007.96/3015.94 c #Conflicts: 1110000 | #Constraints: 121411
3007.96/3015.94 c #Conflicts: 1111000 | #Constraints: 122411
3007.96/3015.94 c #Conflicts: 1112000 | #Constraints: 123411
3007.96/3015.94 c #Conflicts: 1113000 | #Constraints: 124411
3007.96/3015.94 c #Conflicts: 1114000 | #Constraints: 125411
3007.96/3015.94 c #Conflicts: 1115000 | #Constraints: 126411
3007.96/3015.94 c #Conflicts: 1116000 | #Constraints: 127411
3007.96/3015.94 c #Conflicts: 1117000 | #Constraints: 128411
3007.96/3015.94 c #Conflicts: 1118000 | #Constraints: 129411
3007.96/3015.94 c #Conflicts: 1119000 | #Constraints: 130411
3007.96/3015.94 c #Conflicts: 1120000 | #Constraints: 131411
3007.96/3015.94 c #Conflicts: 1121000 | #Constraints: 132411
3007.96/3015.94 c #Conflicts: 1122000 | #Constraints: 133411
3007.96/3015.94 c #Conflicts: 1123000 | #Constraints: 134411
3007.96/3015.94 c #Conflicts: 1124000 | #Constraints: 135411
3007.96/3015.94 c #Conflicts: 1125000 | #Constraints: 136411
3007.96/3015.94 c INPROCESSING
3007.96/3015.94 c GARBAGE COLLECT
3007.96/3015.94 c #Conflicts: 1126000 | #Constraints: 116417
3007.96/3015.94 c #Conflicts: 1127000 | #Constraints: 117417
3007.96/3015.94 c #Conflicts: 1128000 | #Constraints: 118417
3007.96/3015.94 c #Conflicts: 1129000 | #Constraints: 119417
3007.96/3015.94 c #Conflicts: 1130000 | #Constraints: 120417
3007.96/3015.94 c #Conflicts: 1131000 | #Constraints: 121417
3007.96/3015.94 c #Conflicts: 1132000 | #Constraints: 122417
3007.96/3015.94 c #Conflicts: 1133000 | #Constraints: 123417
3007.96/3015.94 c #Conflicts: 1134000 | #Constraints: 124417
3007.96/3015.94 c #Conflicts: 1135000 | #Constraints: 125417
3007.96/3015.94 c #Conflicts: 1136000 | #Constraints: 126417
3007.96/3015.94 c #Conflicts: 1137000 | #Constraints: 127417
3007.96/3015.94 c #Conflicts: 1138000 | #Constraints: 128417
3007.96/3015.94 c #Conflicts: 1139000 | #Constraints: 129417
3007.96/3015.94 c #Conflicts: 1140000 | #Constraints: 130417
3007.96/3015.94 c #Conflicts: 1141000 | #Constraints: 131417
3007.96/3015.94 c #Conflicts: 1142000 | #Constraints: 132417
3007.96/3015.94 c #Conflicts: 1143000 | #Constraints: 133417
3007.96/3015.94 c #Conflicts: 1144000 | #Constraints: 134417
3007.96/3015.94 c #Conflicts: 1145000 | #Constraints: 135417
3007.96/3015.94 c #Conflicts: 1146000 | #Constraints: 136417
3007.96/3015.94 c INPROCESSING
3007.96/3015.94 c GARBAGE COLLECT
3007.96/3015.94 c #Conflicts: 1147000 | #Constraints: 116172
3007.96/3015.94 c #Conflicts: 1148000 | #Constraints: 117172
3007.96/3015.94 c #Conflicts: 1149000 | #Constraints: 118172
3007.96/3015.94 c #Conflicts: 1150000 | #Constraints: 119172
3007.96/3015.94 c #Conflicts: 1151000 | #Constraints: 120172
3007.96/3015.94 c #Conflicts: 1152000 | #Constraints: 121172
3007.96/3015.94 c #Conflicts: 1153000 | #Constraints: 122172
3007.96/3015.94 c #Conflicts: 1154000 | #Constraints: 123172
3007.96/3015.94 c #Conflicts: 1155000 | #Constraints: 124172
3007.96/3015.94 c #Conflicts: 1156000 | #Constraints: 125172
3007.96/3015.94 c #Conflicts: 1157000 | #Constraints: 126172
3007.96/3015.94 c #Conflicts: 1158000 | #Constraints: 127172
3007.96/3015.94 c #Conflicts: 1159000 | #Constraints: 128172
3007.96/3015.94 c #Conflicts: 1160000 | #Constraints: 129172
3007.96/3015.94 c #Conflicts: 1161000 | #Constraints: 130172
3007.96/3015.94 c #Conflicts: 1162000 | #Constraints: 131172
3007.96/3015.94 c #Conflicts: 1163000 | #Constraints: 132172
3007.96/3015.94 c #Conflicts: 1164000 | #Constraints: 133172
3007.96/3015.94 c #Conflicts: 1165000 | #Constraints: 134172
3007.96/3015.94 c #Conflicts: 1166000 | #Constraints: 135172
3007.96/3015.94 c #Conflicts: 1167000 | #Constraints: 136172
3007.96/3015.94 c #Conflicts: 1168000 | #Constraints: 137172
3007.96/3015.94 c INPROCESSING
3007.96/3015.94 c GARBAGE COLLECT
3007.96/3015.94 c #Conflicts: 1169000 | #Constraints: 116755
3007.96/3015.94 c #Conflicts: 1170000 | #Constraints: 117755
3007.96/3015.94 c #Conflicts: 1171000 | #Constraints: 118755
3007.96/3015.94 c #Conflicts: 1172000 | #Constraints: 119755
3007.96/3015.94 c #Conflicts: 1173000 | #Constraints: 120755
3007.96/3015.94 c #Conflicts: 1174000 | #Constraints: 121755
3007.96/3015.94 c #Conflicts: 1175000 | #Constraints: 122755
3007.96/3015.94 c #Conflicts: 1176000 | #Constraints: 123755
3007.96/3015.94 c #Conflicts: 1177000 | #Constraints: 124755
3007.96/3015.94 c #Conflicts: 1178000 | #Constraints: 125755
3007.96/3015.94 c #Conflicts: 1179000 | #Constraints: 126755
3007.96/3015.94 c #Conflicts: 1180000 | #Constraints: 127755
3007.96/3015.94 c #Conflicts: 1181000 | #Constraints: 128755
3297.76/3306.54 c #Conflicts: 1182000 | #Constraints: 129755
3297.76/3306.54 c #Conflicts: 1183000 | #Constraints: 130755
3297.76/3306.54 c #Conflicts: 1184000 | #Constraints: 131755
3297.76/3306.54 c #Conflicts: 1185000 | #Constraints: 132755
3297.76/3306.54 c #Conflicts: 1186000 | #Constraints: 133755
3297.76/3306.54 c #Conflicts: 1187000 | #Constraints: 134755
3297.76/3306.54 c #Conflicts: 1188000 | #Constraints: 135755
3297.76/3306.54 c #Conflicts: 1189000 | #Constraints: 136755
3297.76/3306.54 c #Conflicts: 1190000 | #Constraints: 137755
3297.76/3306.54 c INPROCESSING
3297.76/3306.54 c GARBAGE COLLECT
3297.76/3306.54 c #Conflicts: 1191000 | #Constraints: 117144
3297.76/3306.54 c #Conflicts: 1192000 | #Constraints: 118144
3297.76/3306.54 c #Conflicts: 1193000 | #Constraints: 119144
3297.76/3306.54 c #Conflicts: 1194000 | #Constraints: 120144
3297.76/3306.54 c #Conflicts: 1195000 | #Constraints: 121144
3297.76/3306.54 c #Conflicts: 1196000 | #Constraints: 122144
3297.76/3306.54 c #Conflicts: 1197000 | #Constraints: 123144
3297.76/3306.54 c #Conflicts: 1198000 | #Constraints: 124144
3297.76/3306.54 c #Conflicts: 1199000 | #Constraints: 125144
3297.76/3306.54 c #Conflicts: 1200000 | #Constraints: 126144
3297.76/3306.54 c #Conflicts: 1201000 | #Constraints: 127144
3297.76/3306.54 c #Conflicts: 1202000 | #Constraints: 128144
3297.76/3306.54 c #Conflicts: 1203000 | #Constraints: 129144
3297.76/3306.54 c #Conflicts: 1204000 | #Constraints: 130144
3297.76/3306.54 c #Conflicts: 1205000 | #Constraints: 131144
3297.76/3306.54 c #Conflicts: 1206000 | #Constraints: 132144
3297.76/3306.54 c #Conflicts: 1207000 | #Constraints: 133144
3297.76/3306.54 c #Conflicts: 1208000 | #Constraints: 134144
3297.76/3306.54 c #Conflicts: 1209000 | #Constraints: 135144
3297.76/3306.54 c #Conflicts: 1210000 | #Constraints: 136144
3297.76/3306.54 c #Conflicts: 1211000 | #Constraints: 137144
3297.76/3306.54 c #Conflicts: 1212000 | #Constraints: 138144
3297.76/3306.54 c INPROCESSING
3297.76/3306.54 c GARBAGE COLLECT
3297.76/3306.54 c #Conflicts: 1213000 | #Constraints: 117348
3297.76/3306.54 c #Conflicts: 1214000 | #Constraints: 118348
3297.76/3306.54 c #Conflicts: 1215000 | #Constraints: 119348
3297.76/3306.54 c #Conflicts: 1216000 | #Constraints: 120348
3297.76/3306.54 c #Conflicts: 1217000 | #Constraints: 121348
3297.76/3306.54 c #Conflicts: 1218000 | #Constraints: 122348
3297.76/3306.54 c #Conflicts: 1219000 | #Constraints: 123348
3297.76/3306.54 c #Conflicts: 1220000 | #Constraints: 124348
3297.76/3306.54 c #Conflicts: 1221000 | #Constraints: 125348
3297.76/3306.54 c #Conflicts: 1222000 | #Constraints: 126348
3297.76/3306.54 c #Conflicts: 1223000 | #Constraints: 127348
3297.76/3306.54 c #Conflicts: 1224000 | #Constraints: 128348
3297.76/3306.54 c #Conflicts: 1225000 | #Constraints: 129348
3297.76/3306.54 c #Conflicts: 1226000 | #Constraints: 130348
3297.76/3306.54 c #Conflicts: 1227000 | #Constraints: 131348
3297.76/3306.54 c #Conflicts: 1228000 | #Constraints: 132348
3297.76/3306.54 c #Conflicts: 1229000 | #Constraints: 133348
3297.76/3306.54 c #Conflicts: 1230000 | #Constraints: 134348
3297.76/3306.54 c #Conflicts: 1231000 | #Constraints: 135348
3297.76/3306.54 c #Conflicts: 1232000 | #Constraints: 136348
3297.76/3306.54 c #Conflicts: 1233000 | #Constraints: 137348
3297.76/3306.54 c #Conflicts: 1234000 | #Constraints: 138348
3297.76/3306.54 c INPROCESSING
3297.76/3306.54 c GARBAGE COLLECT
3297.76/3306.54 c #Conflicts: 1235000 | #Constraints: 117359
3297.76/3306.54 c #Conflicts: 1236000 | #Constraints: 118359
3297.76/3306.54 c #Conflicts: 1237000 | #Constraints: 119359
3297.76/3306.54 c #Conflicts: 1238000 | #Constraints: 120359
3297.76/3306.54 c #Conflicts: 1239000 | #Constraints: 121359
3297.76/3306.54 c #Conflicts: 1240000 | #Constraints: 122359
3297.76/3306.54 c #Conflicts: 1241000 | #Constraints: 123359
3297.76/3306.54 c #Conflicts: 1242000 | #Constraints: 124359
3297.76/3306.54 c #Conflicts: 1243000 | #Constraints: 125359
3297.76/3306.54 c #Conflicts: 1244000 | #Constraints: 126359
3297.76/3306.54 c #Conflicts: 1245000 | #Constraints: 127359
3297.76/3306.54 c #Conflicts: 1246000 | #Constraints: 128359
3297.76/3306.54 c #Conflicts: 1247000 | #Constraints: 129359
3297.76/3306.54 c #Conflicts: 1248000 | #Constraints: 130359
3297.76/3306.54 c #Conflicts: 1249000 | #Constraints: 131359
3297.76/3306.54 c #Conflicts: 1250000 | #Constraints: 132359
3297.76/3306.54 c #Conflicts: 1251000 | #Constraints: 133359
3297.76/3306.54 c #Conflicts: 1252000 | #Constraints: 134359
3297.76/3306.54 c #Conflicts: 1253000 | #Constraints: 135359
3297.76/3306.54 c #Conflicts: 1254000 | #Constraints: 136359
3297.76/3306.54 c #Conflicts: 1255000 | #Constraints: 137359
3297.76/3306.54 c #Conflicts: 1256000 | #Constraints: 138359
3297.76/3306.54 c INPROCESSING
3297.76/3306.54 c GARBAGE COLLECT
3297.76/3306.54 c #Conflicts: 1257000 | #Constraints: 117168
3545.25/3554.75 c #Conflicts: 1258000 | #Constraints: 118168
3545.25/3554.75 c #Conflicts: 1259000 | #Constraints: 119168
3545.25/3554.75 c #Conflicts: 1260000 | #Constraints: 120168
3545.25/3554.75 c #Conflicts: 1261000 | #Constraints: 121168
3545.25/3554.75 c #Conflicts: 1262000 | #Constraints: 122168
3545.25/3554.75 c #Conflicts: 1263000 | #Constraints: 123168
3545.25/3554.75 c #Conflicts: 1264000 | #Constraints: 124168
3545.25/3554.75 c #Conflicts: 1265000 | #Constraints: 125168
3545.25/3554.75 c #Conflicts: 1266000 | #Constraints: 126168
3545.25/3554.75 c #Conflicts: 1267000 | #Constraints: 127168
3545.25/3554.75 c #Conflicts: 1268000 | #Constraints: 128168
3545.25/3554.75 c #Conflicts: 1269000 | #Constraints: 129168
3545.25/3554.75 c #Conflicts: 1270000 | #Constraints: 130168
3545.25/3554.75 c #Conflicts: 1271000 | #Constraints: 131168
3545.25/3554.75 c #Conflicts: 1272000 | #Constraints: 132168
3545.25/3554.75 c #Conflicts: 1273000 | #Constraints: 133168
3545.25/3554.75 c #Conflicts: 1274000 | #Constraints: 134168
3545.25/3554.75 c #Conflicts: 1275000 | #Constraints: 135168
3545.25/3554.75 c #Conflicts: 1276000 | #Constraints: 136168
3545.25/3554.75 c #Conflicts: 1277000 | #Constraints: 137168
3545.25/3554.75 c #Conflicts: 1278000 | #Constraints: 138168
3545.25/3554.75 c #Conflicts: 1279000 | #Constraints: 139168
3545.25/3554.75 c INPROCESSING
3545.25/3554.75 c GARBAGE COLLECT
3545.25/3554.75 c #Conflicts: 1280000 | #Constraints: 117780
3545.25/3554.75 c #Conflicts: 1281000 | #Constraints: 118780
3545.25/3554.75 c #Conflicts: 1282000 | #Constraints: 119780
3545.25/3554.75 c #Conflicts: 1283000 | #Constraints: 120780
3545.25/3554.75 c #Conflicts: 1284000 | #Constraints: 121780
3545.25/3554.75 c #Conflicts: 1285000 | #Constraints: 122780
3545.25/3554.75 c #Conflicts: 1286000 | #Constraints: 123780
3545.25/3554.75 c #Conflicts: 1287000 | #Constraints: 124780
3545.25/3554.75 c #Conflicts: 1288000 | #Constraints: 125780
3545.25/3554.75 c #Conflicts: 1289000 | #Constraints: 126780
3545.25/3554.75 c #Conflicts: 1290000 | #Constraints: 127780
3545.25/3554.75 c #Conflicts: 1291000 | #Constraints: 128780
3545.25/3554.75 c #Conflicts: 1292000 | #Constraints: 129780
3545.25/3554.75 c #Conflicts: 1293000 | #Constraints: 130780
3545.25/3554.75 c #Conflicts: 1294000 | #Constraints: 131780
3545.25/3554.75 c #Conflicts: 1295000 | #Constraints: 132780
3545.25/3554.75 c #Conflicts: 1296000 | #Constraints: 133780
3545.25/3554.75 c #Conflicts: 1297000 | #Constraints: 134780
3545.25/3554.75 c #Conflicts: 1298000 | #Constraints: 135780
3545.25/3554.75 c #Conflicts: 1299000 | #Constraints: 136780
3545.25/3554.75 c #Conflicts: 1300000 | #Constraints: 137780
3545.25/3554.75 c #Conflicts: 1301000 | #Constraints: 138780
3545.25/3554.75 c #Conflicts: 1302000 | #Constraints: 139780
3545.25/3554.75 c INPROCESSING
3545.25/3554.75 c GARBAGE COLLECT
3545.25/3554.75 c #Conflicts: 1303000 | #Constraints: 118154
3545.25/3554.75 c #Conflicts: 1304000 | #Constraints: 119154
3545.25/3554.75 c #Conflicts: 1305000 | #Constraints: 120154
3545.25/3554.75 c #Conflicts: 1306000 | #Constraints: 121154
3545.25/3554.75 c #Conflicts: 1307000 | #Constraints: 122154
3545.25/3554.75 c #Conflicts: 1308000 | #Constraints: 123154
3545.25/3554.75 c #Conflicts: 1309000 | #Constraints: 124154
3545.25/3554.75 c #Conflicts: 1310000 | #Constraints: 125154
3545.25/3554.75 c #Conflicts: 1311000 | #Constraints: 126154
3545.25/3554.75 c #Conflicts: 1312000 | #Constraints: 127154
3545.25/3554.75 c #Conflicts: 1313000 | #Constraints: 128154
3545.25/3554.75 c #Conflicts: 1314000 | #Constraints: 129154
3545.25/3554.75 c #Conflicts: 1315000 | #Constraints: 130154
3545.25/3554.75 c #Conflicts: 1316000 | #Constraints: 131154
3545.25/3554.75 c #Conflicts: 1317000 | #Constraints: 132154
3545.25/3554.75 c #Conflicts: 1318000 | #Constraints: 133154
3545.25/3554.75 c #Conflicts: 1319000 | #Constraints: 134154
3545.25/3554.75 c #Conflicts: 1320000 | #Constraints: 135154
3545.25/3554.75 c #Conflicts: 1321000 | #Constraints: 136154
3545.25/3554.75 c #Conflicts: 1322000 | #Constraints: 137154
3545.25/3554.75 c #Conflicts: 1323000 | #Constraints: 138154
3545.25/3554.75 c #Conflicts: 1324000 | #Constraints: 139154
3545.25/3554.75 c #Conflicts: 1325000 | #Constraints: 140154
3545.25/3554.75 c INPROCESSING
3545.25/3554.75 c GARBAGE COLLECT
3545.25/3554.75 c #Conflicts: 1326000 | #Constraints: 118366
3545.25/3554.75 c #Conflicts: 1327000 | #Constraints: 119366
3545.25/3554.75 c #Conflicts: 1328000 | #Constraints: 120366
3545.25/3554.75 c #Conflicts: 1329000 | #Constraints: 121366
3545.25/3554.75 c #Conflicts: 1330000 | #Constraints: 122366
3545.25/3554.75 c #Conflicts: 1331000 | #Constraints: 123366
3545.25/3554.75 c #Conflicts: 1332000 | #Constraints: 124366
3545.25/3554.75 c #Conflicts: 1333000 | #Constraints: 125366
3545.25/3554.75 c #Conflicts: 1334000 | #Constraints: 126366
3600.08/3609.71 c #Conflicts: 1335000 | #Constraints: 127366
3600.08/3609.71 c #Conflicts: 1336000 | #Constraints: 128366
3600.08/3609.71 c #Conflicts: 1337000 | #Constraints: 129366
3600.08/3609.71 c #Conflicts: 1338000 | #Constraints: 130366
3600.08/3609.71 c #Conflicts: 1339000 | #Constraints: 131366
3600.08/3609.71 c #Conflicts: 1340000 | #Constraints: 132366
3600.08/3609.71 c #Conflicts: 1341000 | #Constraints: 133366
3600.08/3609.71 c #Conflicts: 1342000 | #Constraints: 134366
3600.08/3609.71 c #Conflicts: 1343000 | #Constraints: 135366
3600.08/3609.71 c #Conflicts: 1344000 | #Constraints: 136366
3600.08/3609.71 c #Conflicts: 1345000 | #Constraints: 137366
3600.08/3609.71 c #Conflicts: 1346000 | #Constraints: 138366
3600.08/3609.71 c #Conflicts: 1347000 | #Constraints: 139366
3600.08/3609.71 c Program interrupted by user.
3600.08/3609.71 c cpu time 3592.68 s
3600.08/3609.71 c deterministic time 745484375131 7.45e+11
3600.08/3609.71 c optimization time 77.9479 s
3600.08/3609.71 c total solve time 3215.22 s
3600.08/3609.71 c core-guided solve time 3215.22 s
3600.08/3609.71 c propagation time 3088.37 s
3600.08/3609.71 c conflict analysis time 159.746 s
3600.08/3609.71 c propagations 36262336
3600.08/3609.71 c resolve steps 10865310
3600.08/3609.71 c decisions 2450223
3600.08/3609.71 c conflicts 1347516
3600.08/3609.71 c restarts 2557
3600.08/3609.71 c inprocessing phases 106
3600.08/3609.71 c input clauses 94463
3600.08/3609.71 c input cardinalities 32
3600.08/3609.71 c input general constraints 0
3600.08/3609.71 c input average constraint length 2.44
3600.08/3609.71 c input average constraint degree 1.34
3600.08/3609.71 c learned clauses 818777
3600.08/3609.71 c learned cardinalities 349114
3600.08/3609.71 c learned general constraints 179625
3600.08/3609.71 c learned average constraint length 1208.73
3600.08/3609.71 c learned average constraint degree 17.76
3600.08/3609.71 c watched constraints 179625
3600.08/3609.71 c counting constraints 0
3600.08/3609.71 c gcd simplifications 97193
3600.08/3609.71 c detected cardinalities 26975
3600.08/3609.71 c weakened non-implied lits 17820167
3600.08/3609.71 c weakened non-implying lits 65779
3600.08/3609.71 c original variables 1272
3600.08/3609.71 c clausal propagations 26268688
3600.08/3609.71 c cardinality propagations 5203699
3600.08/3609.71 c watched propagations 1023882
3600.08/3609.71 c counting propagations 0
3600.08/3609.71 c watch lookups 18610201456
3600.08/3609.71 c watch backjump lookups 4908177
3600.08/3609.71 c watch checks 720955467054
3600.08/3609.71 c propagation checks 2360429001
3600.08/3609.71 c constraint additions 3474598245
3600.08/3609.71 c trail pops 40058638
3600.08/3609.71 c formula constraints 94227
3600.08/3609.71 c learned constraints 1347516
3600.08/3609.71 c bound constraints 32
3600.08/3609.71 c core-guided constraints 236
3600.08/3609.71 c encountered formula constraints 9155298
3600.08/3609.71 c encountered learned constraints 3022261
3600.08/3609.71 c encountered bound constraints 2009
3600.08/3609.71 c encountered core-guided constraints 33258
3600.08/3609.71 c LP total time 0 s
3600.08/3609.71 c LP solve time 0 s
3600.08/3609.71 c LP constraints added 0
3600.08/3609.71 c LP constraints removed 0
3600.08/3609.71 c LP pivots internal 0
3600.08/3609.71 c LP pivots root 0
3600.08/3609.71 c LP calls 0
3600.08/3609.71 c LP optimalities 0
3600.08/3609.71 c LP no pivot count 0
3600.08/3609.71 c LP infeasibilities 0
3600.08/3609.71 c LP valid Farkas constraints 0
3600.08/3609.71 c LP learned Farkas constraints 0
3600.08/3609.71 c LP basis resets 0
3600.08/3609.71 c LP cycling count 0
3600.08/3609.71 c LP singular count 0
3600.08/3609.71 c LP no primal count 0
3600.08/3609.71 c LP no farkas count 0
3600.08/3609.71 c LP other issue count 0
3600.08/3609.71 c LP Gomory cuts 0
3600.08/3609.71 c LP learned cuts 0
3600.08/3609.71 c LP deleted cuts 0
3600.08/3609.71 c LP encountered Gomory constraints 0
3600.08/3609.71 c LP encountered Farkas constraints 0
3600.08/3609.71 c LP encountered learned Farkas constraints 0
3600.08/3609.71 c CG auxiliary variables introduced 236
3600.08/3609.71 c CG solutions found 0
3600.08/3609.71 c CG cores constructed 31
3600.08/3609.71 c CG core cardinality constraints returned 0
3600.08/3609.71 c CG unit cores 0
3600.08/3609.71 c CG single cores 31
3600.08/3609.71 c CG blocks removed during cardinality reduction 0
3600.08/3609.71 c CG first core best 0
3600.08/3609.71 c CG decision core best 0
3600.08/3609.71 c CG core reduction tie 0
3600.08/3609.71 c CG core degree average 1.00
3600.08/3609.71 c CG core slack average 6.48
3600.08/3609.71 c CG exhausted 0
3600.08/3609.71 c CG exhaust time 0 s
3600.08/3609.71 c CG trimmed 4
3600.08/3609.71 c CG trim time 0.000337 s
3600.08/3609.71 c CG minimized 0
3600.08/3609.71 c CG minimize time 0 s
3600.08/3609.71 c CG am1 prop time 0.007573 s
3600.08/3609.71 c CG # am1s reformulated 236
3600.08/3609.71 c CG lower bound derived from am1s 1033
3600.08/3609.71 c CG # clausal cores 31
3600.08/3609.71 c CG # cardinality cores 0
3600.08/3609.71 c CG # pb cores 0
3600.08/3609.71 c CG # pb reforms 0
3600.08/3609.71 c CG # cores discarded because of pb reform 0
3600.08/3609.71 d LOWERBOUND -208
3600.08/3609.71 d NCORES 31
3600.08/3609.71 d NPBCORES 0
3600.08/3609.71 d NPBREFORM 0
3600.08/3609.71 d NTRIMMED 4
3600.08/3609.71 d NEXHAUSTED 0
3600.08/3609.71 d NAM1S 236
3600.08/3609.71 d AM1LB 1033
3600.08/3609.71 c [Papilo Statistics]
3600.08/3609.71 c prepro time 0.308254s
3600.08/3609.71 c # tsx applied 0
3600.08/3609.71 c # tsx conflicts 0
3600.08/3609.71 c # bound changes 0
3600.08/3609.71 c # side changes 0
3600.08/3609.71 c # coef changes 0
3600.08/3609.71 c # rounds 1
3600.08/3609.71 c # deted vars 0
3600.08/3609.71 c # deted constrs 0
3600.08/3609.71 c # consecutive rounds of only bound changes 0
3600.08/3609.71 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (59238 MiB free)
memory of node 1: 64473 MiB (59312 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454781-1721429100/watcher-4454781-1721429100 -o /tmp/evaluation-result-4454781-1721429100/solver-4454781-1721429100 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721425494-1034142 --watchdog 3760 mixed-bag HOME/instance-4454781-1721429100.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1037357, runsolver pid=1037354
[startup+0.10093 s]*
/proc/loadavg: 4.10 4.14 4.08 5/257 1037358
/proc/meminfo: memFree=121387364/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=82148 memory=14756 CPUtime=0.09 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 2263 0 0 0 9 0 0 0 20 0 1 0 195078902 84119552 3689 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 20537 3689 1639 3002 0 4825 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 82148 KiB
Current children cumulated memory: 14756 KiB
[startup+0.205685 s]*
/proc/loadavg: 4.10 4.14 4.08 5/257 1037358
/proc/meminfo: memFree=121343568/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=130628 memory=56480 CPUtime=0.2 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 10314 0 0 0 18 2 0 0 20 0 1 0 195078902 133763072 14120 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 32657 14120 1760 3002 0 16406 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 130628 KiB
Current children cumulated memory: 56480 KiB
[startup+0.305777 s]*
/proc/loadavg: 4.10 4.14 4.08 5/257 1037358
/proc/meminfo: memFree=121343428/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=130628 memory=56480 CPUtime=0.3 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 10324 0 0 0 28 2 0 0 20 0 1 0 195078902 133763072 14120 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 32657 14120 1760 3002 0 16406 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 130628 KiB
Current children cumulated memory: 56480 KiB
[startup+0.700217 s]
/proc/loadavg: 4.10 4.14 4.08 5/257 1037358
/proc/meminfo: memFree=121348056/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=229804 memory=161676 CPUtime=0.69 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 36208 0 0 0 63 6 0 0 20 0 1 0 195078902 235319296 40419 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 57451 40419 3774 3002 0 41200 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 229804 KiB
Current children cumulated memory: 161676 KiB
[startup+1.50023 s]
/proc/loadavg: 4.10 4.14 4.08 5/257 1037358
/proc/meminfo: memFree=121187916/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=293328 memory=222960 CPUtime=1.48 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 52632 0 0 0 139 9 0 0 20 0 1 0 195078902 300367872 55740 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 73332 55740 3774 3002 0 57081 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 293328 KiB
Current children cumulated memory: 222960 KiB
[startup+3.10562 s]
/proc/loadavg: 4.09 4.14 4.08 5/257 1037358
/proc/meminfo: memFree=120914812/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=582624 memory=491124 CPUtime=3.08 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 81717 0 0 0 291 17 0 0 20 0 1 0 195078902 596606976 122781 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 145656 122781 4012 3002 0 129405 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 582624 KiB
Current children cumulated memory: 491124 KiB
[startup+6.30022 s]
/proc/loadavg: 4.09 4.14 4.08 5/257 1037358
/proc/meminfo: memFree=120829024/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=629040 memory=524744 CPUtime=6.27 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 88625 0 0 0 608 19 0 0 20 0 1 0 195078902 644136960 131186 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 157260 131186 4028 3002 0 141009 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 629040 KiB
Current children cumulated memory: 524744 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.14 4.08 5/257 1037359
/proc/meminfo: memFree=120800204/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=644260 memory=532764 CPUtime=12.65 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 89598 0 0 0 1246 19 0 0 20 0 1 0 195078902 659722240 133191 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 161065 133191 4028 3002 0 144814 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 644260 KiB
Current children cumulated memory: 532764 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.13 4.08 5/257 1037361
/proc/meminfo: memFree=120771856/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=723912 memory=534200 CPUtime=25.42 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 90020 0 0 0 2522 20 0 0 20 0 1 0 195078902 741285888 133550 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 180978 133550 4028 3002 0 164727 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 723912 KiB
Current children cumulated memory: 534200 KiB
[startup+51.1057 s]
/proc/loadavg: 4.04 4.12 4.08 5/257 1037365
/proc/meminfo: memFree=120615692/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=917032 memory=649064 CPUtime=50.95 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 118718 0 0 0 5071 24 0 0 20 0 1 0 195078902 939040768 162266 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 229258 162266 4050 3002 0 213007 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 917032 KiB
Current children cumulated memory: 649064 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/255 1037420
/proc/meminfo: memFree=120294020/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=966528 memory=670776 CPUtime=101.99 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 124164 0 0 0 10174 25 0 0 20 0 1 0 195078902 989724672 167694 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 241632 167694 4050 3002 0 225381 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 966528 KiB
Current children cumulated memory: 670776 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/255 1037432
/proc/meminfo: memFree=120028924/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=1094820 memory=737504 CPUtime=161.81 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 149046 0 0 0 16152 29 0 0 20 0 1 0 195078902 1121095680 184376 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 273705 184376 4050 3002 0 257454 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 1094820 KiB
Current children cumulated memory: 737504 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/255 1037442
/proc/meminfo: memFree=119870032/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=1233028 memory=787000 CPUtime=221.63 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 167506 0 0 0 22131 32 0 0 20 0 1 0 195078902 1262620672 196750 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 308257 196750 4050 3002 0 292006 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 1233028 KiB
Current children cumulated memory: 787000 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 1037453
/proc/meminfo: memFree=119670632/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=1310536 memory=846476 CPUtime=281.45 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 184492 0 0 0 28109 36 0 0 20 0 1 0 195078902 1341988864 211619 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 327634 211619 4050 3002 0 311383 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 1310536 KiB
Current children cumulated memory: 846476 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 1037466
/proc/meminfo: memFree=119804680/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=1093112 memory=646784 CPUtime=341.29 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 187612 0 0 0 34050 79 0 0 20 0 1 0 195078902 1119346688 161696 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 273278 161696 4193 3002 0 257027 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 1093112 KiB
Current children cumulated memory: 646784 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1037525
/proc/meminfo: memFree=123094164/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=1093112 memory=669312 CPUtime=401.13 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 187641 0 0 0 40003 110 0 0 20 0 1 0 195078902 1119346688 167328 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 273278 167328 4193 3002 0 257027 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 1093112 KiB
Current children cumulated memory: 669312 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/257 1037536
/proc/meminfo: memFree=123013712/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=1143200 memory=680720 CPUtime=460.98 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 187972 0 0 0 45961 137 0 0 20 0 1 0 195078902 1170636800 170180 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 285800 170180 4193 3002 0 269549 0
################
# More data... #
################
Current children cumulated memory: 883744 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/258 1039214
/proc/meminfo: memFree=124057196/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=1356848 memory=887448 CPUtime=2914.61 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 192129 0 0 0 290817 644 0 0 20 0 1 0 195078902 1389412352 221862 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 339212 221862 4193 3002 0 322961 0
Current children cumulated CPU time: 2914.61 s
Current children cumulated vsize: 1356848 KiB
Current children cumulated memory: 887448 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/257 1039225
/proc/meminfo: memFree=124024840/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=1356848 memory=904824 CPUtime=2974.45 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 192181 0 0 0 296794 651 0 0 20 0 1 0 195078902 1389412352 226206 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 339212 226206 4193 3002 0 322961 0
Current children cumulated CPU time: 2974.45 s
Current children cumulated vsize: 1356848 KiB
Current children cumulated memory: 904824 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 1039235
/proc/meminfo: memFree=124004312/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=1356848 memory=913056 CPUtime=3034.28 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 192289 0 0 0 302769 659 0 0 20 0 1 0 195078902 1389412352 228264 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 339212 228264 4193 3002 0 322961 0
Current children cumulated CPU time: 3034.28 s
Current children cumulated vsize: 1356848 KiB
Current children cumulated memory: 913056 KiB
[startup+3102.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/255 1039245
/proc/meminfo: memFree=123968560/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=1356848 memory=937220 CPUtime=3094.12 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 192408 0 0 0 308744 668 0 0 20 0 1 0 195078902 1389412352 234305 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 339212 234305 4193 3002 0 322961 0
Current children cumulated CPU time: 3094.12 s
Current children cumulated vsize: 1356848 KiB
Current children cumulated memory: 937220 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/255 1039257
/proc/meminfo: memFree=123951272/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=1356848 memory=938000 CPUtime=3153.95 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 192518 0 0 0 314719 676 0 0 20 0 1 0 195078902 1389412352 234500 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 339212 234500 4193 3002 0 322961 0
Current children cumulated CPU time: 3153.95 s
Current children cumulated vsize: 1356848 KiB
Current children cumulated memory: 938000 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/255 1039267
/proc/meminfo: memFree=123947200/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=1356848 memory=938000 CPUtime=3213.77 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 192719 0 0 0 320693 684 0 0 20 0 1 0 195078902 1389412352 234500 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 339212 234500 4193 3002 0 322961 0
Current children cumulated CPU time: 3213.77 s
Current children cumulated vsize: 1356848 KiB
Current children cumulated memory: 938000 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/254 1039278
/proc/meminfo: memFree=123936280/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=1356848 memory=944144 CPUtime=3273.62 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 192907 0 0 0 326669 693 0 0 20 0 1 0 195078902 1389412352 236036 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 339212 236036 4193 3002 0 322961 0
Current children cumulated CPU time: 3273.62 s
Current children cumulated vsize: 1356848 KiB
Current children cumulated memory: 944144 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/258 1039295
/proc/meminfo: memFree=123925076/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=1356848 memory=946176 CPUtime=3333.47 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 193103 0 0 0 332643 704 0 0 20 0 1 0 195078902 1389412352 236544 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 339212 236544 4193 3002 0 322961 0
Current children cumulated CPU time: 3333.47 s
Current children cumulated vsize: 1356848 KiB
Current children cumulated memory: 946176 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/258 1039305
/proc/meminfo: memFree=123918092/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=1356848 memory=946176 CPUtime=3393.3 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 193272 0 0 0 338617 713 0 0 20 0 1 0 195078902 1389412352 236544 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 339212 236544 4193 3002 0 322961 0
Current children cumulated CPU time: 3393.3 s
Current children cumulated vsize: 1356848 KiB
Current children cumulated memory: 946176 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/258 1039316
/proc/meminfo: memFree=123906924/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=1356848 memory=948224 CPUtime=3453.12 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 193473 0 0 0 344590 722 0 0 20 0 1 0 195078902 1389412352 237056 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 339212 237056 4193 3002 0 322961 0
Current children cumulated CPU time: 3453.12 s
Current children cumulated vsize: 1356848 KiB
Current children cumulated memory: 948224 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/258 1039326
/proc/meminfo: memFree=123900688/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=1356848 memory=948224 CPUtime=3512.95 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 193680 0 0 0 350564 731 0 0 20 0 1 0 195078902 1389412352 237056 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 339212 237056 4193 3002 0 322961 0
Current children cumulated CPU time: 3512.95 s
Current children cumulated vsize: 1356848 KiB
Current children cumulated memory: 948224 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/258 1039337
/proc/meminfo: memFree=123874220/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=1356848 memory=952320 CPUtime=3572.76 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 193858 0 0 0 356538 738 0 0 20 0 1 0 195078902 1389412352 238080 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 339212 238080 4193 3002 0 322961 0
Current children cumulated CPU time: 3572.76 s
Current children cumulated vsize: 1356848 KiB
Current children cumulated memory: 952320 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.17 4.10 4.09 5/257 1039341
/proc/meminfo: memFree=123852100/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=1356848 memory=952320 CPUtime=3600.08 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 193931 0 0 0 359266 742 0 0 20 0 1 0 195078902 1389412352 238080 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 339212 238080 4193 3002 0 322961 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1356848 KiB
Current children cumulated memory: 952320 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.72 s]
# the end of solver process 1037357 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.68 s, system=7.42566 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.17 4.10 4.09 5/257 1039341
/proc/meminfo: memFree=123852100/131524600 swapFree=131071996/131071996
[pid=1037357] ppid=1037354 vsize=1356848 memory=952320 CPUtime=3600.08 cores=1,3
/proc/1037357/stat : 1037357 (mixed-bag) R 1037354 1037357 1034130 0 -1 4194304 193931 0 0 0 359266 742 0 0 20 0 1 0 195078902 1389412352 238080 134679101440 4194304 16488053 140723243832256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 27332608 140723243836437 140723243836514 140723243836514 140723243843531 0
/proc/1037357/statm: 339212 238080 4193 3002 0 322961 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1356848 KiB
Current children cumulated memory: 952320 KiB
Child status: 0
Real time (s): 3609.72
CPU time (s): 3600.11
CPU user time (s): 3592.68
CPU system time (s): 7.42566
CPU usage (%): 99.7338
Max. virtual memory (cumulated for all children) (KiB): 1356848
Max. memory (cumulated for all children) (KiB): 952320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.68
system time used= 7.42566
maximum resident set size= 953152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193975
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= 128
involuntary context switches= 1321
# summary of solver processes directly reported to runsolver:
# pid: 1037357
# total CPU time (s): 3600.11
# total CPU user time (s): 3592.68
# total CPU system time (s): 7.42566
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2545 second user time and 16.3845 second system time
The end
Begin job on nodeC032 at 2024-07-20 00:45:12
IDJOB=4454781
IDBENCH=146672
IDSOLVER=3083
FILE ID=nodeC032/4454781-1721429100
RUNJOBID= nodeC032-1721425494-1034142
SLURM_JOB_ID= 7545615
Free space on /tmp= 890032 MiB
SOLVER NAME= mixed-bag 2024-07-19
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 --file-size-limit 102400 -w /tmp/evaluation-result-4454781-1721429100/watcher-4454781-1721429100 -o /tmp/evaluation-result-4454781-1721429100/solver-4454781-1721429100 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721425494-1034142 --watchdog 3760 mixed-bag HOME/instance-4454781-1721429100.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 05a4468103b1b74e5a90bd7e67aed0d9
RANDOM SEED=1176554803
nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.237
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
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 : 3667.727
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
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.916
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
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 : 3661.246
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
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 : 3663.254
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
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 : 3669.069
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
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.816
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
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 : 3599.778
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121396684 kB
MemAvailable: 123992980 kB
Buffers: 547004 kB
Cached: 2871340 kB
SwapCached: 0 kB
Active: 1033860 kB
Inactive: 8417220 kB
Active(anon): 1572 kB
Inactive(anon): 6077116 kB
Active(file): 1032288 kB
Inactive(file): 2340104 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 35972 kB
Writeback: 0 kB
AnonPages: 6032572 kB
Mapped: 141344 kB
Shmem: 45912 kB
KReclaimable: 127456 kB
Slab: 244172 kB
SReclaimable: 127456 kB
SUnreclaim: 116716 kB
KernelStack: 4160 kB
PageTables: 22780 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 7205836 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73280 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1576960 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 226004 kB
DirectMap2M: 21567488 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 890012 MiB
End job on nodeC032 at 2024-07-20 01:45:22