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.18 c [STEP] preprocessing with Papilo
0.30/0.40 c Papilo could not simplify the problem
0.30/0.40 c [STEP] solving with SCIP
299.56/300.58 c [STEP] preprocessing done, loading into solver
299.76/300.73 c [STEP] solving
299.76/300.73 c #variables 1273 #constraints 94227
299.76/300.73 c SMALL=int, LARGE=long long
299.76/300.73 d SCIPUB -44
299.76/300.74 c bounds - >= -1272 @ 299.397
299.76/300.74 c stratification level: 0
329.29/330.30 c bounds - >= -238 @ 299.441
329.29/330.30 c bounds - >= -237 @ 299.442
329.29/330.30 c bounds - >= -236 @ 299.443
329.29/330.30 c bounds - >= -235 @ 299.444
329.29/330.30 c bounds - >= -234 @ 299.444
329.29/330.30 c bounds - >= -233 @ 299.445
329.29/330.30 c bounds - >= -232 @ 299.445
329.29/330.30 c bounds - >= -231 @ 299.445
329.29/330.30 c bounds - >= -230 @ 299.445
329.29/330.30 c bounds - >= -229 @ 299.445
329.29/330.30 c bounds - >= -228 @ 299.445
329.29/330.30 c bounds - >= -227 @ 299.445
329.29/330.30 c bounds - >= -226 @ 299.446
329.29/330.30 c bounds - >= -225 @ 299.448
329.29/330.30 c bounds - >= -224 @ 299.449
329.29/330.30 c bounds - >= -223 @ 299.45
329.29/330.30 c bounds - >= -222 @ 299.45
329.29/330.30 c bounds - >= -221 @ 299.451
329.29/330.30 c bounds - >= -220 @ 299.452
329.29/330.30 c bounds - >= -219 @ 299.452
329.29/330.30 c bounds - >= -218 @ 299.452
329.29/330.30 c bounds - >= -217 @ 299.453
329.29/330.30 c bounds - >= -216 @ 299.454
329.29/330.30 c bounds - >= -215 @ 299.454
329.29/330.30 c bounds - >= -214 @ 299.454
329.29/330.30 c bounds - >= -213 @ 299.454
329.29/330.30 c bounds - >= -212 @ 299.454
329.29/330.30 c bounds - >= -211 @ 299.455
329.29/330.30 c bounds - >= -210 @ 299.455
329.29/330.30 c bounds - >= -209 @ 299.456
329.29/330.30 c bounds - >= -208 @ 299.458
329.29/330.30 c #Conflicts: 1000 | #Constraints: 95495
329.29/330.30 c #Conflicts: 2000 | #Constraints: 96495
329.29/330.30 c INPROCESSING
329.29/330.30 c GARBAGE COLLECT
329.29/330.30 c #Conflicts: 3000 | #Constraints: 96465
329.29/330.30 c #Conflicts: 4000 | #Constraints: 97465
329.29/330.30 c INPROCESSING
329.29/330.30 c GARBAGE COLLECT
329.29/330.30 c #Conflicts: 5000 | #Constraints: 96871
329.29/330.30 c #Conflicts: 6000 | #Constraints: 97871
329.29/330.30 c INPROCESSING
329.29/330.30 c GARBAGE COLLECT
329.29/330.30 c #Conflicts: 7000 | #Constraints: 96875
329.29/330.30 c #Conflicts: 8000 | #Constraints: 97875
329.29/330.30 c #Conflicts: 9000 | #Constraints: 98875
329.29/330.30 c INPROCESSING
329.29/330.30 c GARBAGE COLLECT
329.29/330.30 c #Conflicts: 10000 | #Constraints: 97573
329.29/330.30 c #Conflicts: 11000 | #Constraints: 98573
329.29/330.30 c #Conflicts: 12000 | #Constraints: 99573
329.29/330.30 c INPROCESSING
329.29/330.30 c GARBAGE COLLECT
329.29/330.30 c #Conflicts: 13000 | #Constraints: 98024
329.29/330.30 c #Conflicts: 14000 | #Constraints: 99024
329.29/330.30 c #Conflicts: 15000 | #Constraints: 100024
329.29/330.30 c INPROCESSING
329.29/330.30 c GARBAGE COLLECT
329.29/330.30 c #Conflicts: 16000 | #Constraints: 98258
329.29/330.30 c #Conflicts: 17000 | #Constraints: 99258
329.29/330.30 c #Conflicts: 18000 | #Constraints: 100258
329.29/330.30 c INPROCESSING
329.29/330.30 c GARBAGE COLLECT
329.29/330.30 c #Conflicts: 19000 | #Constraints: 98272
329.29/330.30 c #Conflicts: 20000 | #Constraints: 99272
329.29/330.30 c #Conflicts: 21000 | #Constraints: 100272
329.29/330.30 c INPROCESSING
329.29/330.30 c GARBAGE COLLECT
329.29/330.30 c #Conflicts: 22000 | #Constraints: 98081
329.29/330.30 c #Conflicts: 23000 | #Constraints: 99081
329.29/330.30 c #Conflicts: 24000 | #Constraints: 100081
329.29/330.30 c #Conflicts: 25000 | #Constraints: 101081
329.29/330.30 c INPROCESSING
329.29/330.30 c GARBAGE COLLECT
329.29/330.30 c #Conflicts: 26000 | #Constraints: 98684
329.29/330.30 c #Conflicts: 27000 | #Constraints: 99684
329.29/330.30 c #Conflicts: 28000 | #Constraints: 100684
329.29/330.30 c #Conflicts: 29000 | #Constraints: 101684
329.29/330.30 c INPROCESSING
329.29/330.30 c GARBAGE COLLECT
329.29/330.30 c #Conflicts: 30000 | #Constraints: 99089
329.29/330.30 c #Conflicts: 31000 | #Constraints: 100089
329.29/330.30 c #Conflicts: 32000 | #Constraints: 101089
329.29/330.30 c #Conflicts: 33000 | #Constraints: 102089
329.29/330.30 c INPROCESSING
329.29/330.30 c GARBAGE COLLECT
329.29/330.30 c #Conflicts: 34000 | #Constraints: 99298
329.29/330.30 c #Conflicts: 35000 | #Constraints: 100298
329.29/330.30 c #Conflicts: 36000 | #Constraints: 101298
329.29/330.30 c #Conflicts: 37000 | #Constraints: 102298
329.29/330.30 c INPROCESSING
329.29/330.30 c GARBAGE COLLECT
329.29/330.30 c #Conflicts: 38000 | #Constraints: 99298
329.29/330.30 c #Conflicts: 39000 | #Constraints: 100298
329.29/330.30 c #Conflicts: 40000 | #Constraints: 101298
329.29/330.30 c #Conflicts: 41000 | #Constraints: 102298
329.29/330.30 c INPROCESSING
329.29/330.30 c GARBAGE COLLECT
329.29/330.30 c #Conflicts: 42000 | #Constraints: 99098
329.29/330.30 c #Conflicts: 43000 | #Constraints: 100098
329.29/330.30 c #Conflicts: 44000 | #Constraints: 101098
329.29/330.30 c #Conflicts: 45000 | #Constraints: 102098
329.29/330.30 c #Conflicts: 46000 | #Constraints: 103098
329.29/330.30 c INPROCESSING
329.29/330.30 c GARBAGE COLLECT
329.29/330.30 c #Conflicts: 47000 | #Constraints: 99695
329.29/330.30 c #Conflicts: 48000 | #Constraints: 100695
329.29/330.30 c #Conflicts: 49000 | #Constraints: 101695
329.29/330.30 c #Conflicts: 50000 | #Constraints: 102695
329.29/330.30 c #Conflicts: 51000 | #Constraints: 103695
329.29/330.30 c INPROCESSING
329.29/330.30 c GARBAGE COLLECT
329.29/330.30 c #Conflicts: 52000 | #Constraints: 100097
392.21/393.48 c #Conflicts: 53000 | #Constraints: 101097
392.21/393.48 c #Conflicts: 54000 | #Constraints: 102097
392.21/393.48 c #Conflicts: 55000 | #Constraints: 103097
392.21/393.48 c #Conflicts: 56000 | #Constraints: 104097
392.21/393.48 c INPROCESSING
392.21/393.48 c GARBAGE COLLECT
392.21/393.48 c #Conflicts: 57000 | #Constraints: 100301
392.21/393.48 c #Conflicts: 58000 | #Constraints: 101301
392.21/393.48 c #Conflicts: 59000 | #Constraints: 102301
392.21/393.48 c #Conflicts: 60000 | #Constraints: 103301
392.21/393.48 c #Conflicts: 61000 | #Constraints: 104301
392.21/393.48 c INPROCESSING
392.21/393.48 c GARBAGE COLLECT
392.21/393.48 c #Conflicts: 62000 | #Constraints: 100300
392.21/393.48 c #Conflicts: 63000 | #Constraints: 101300
392.21/393.48 c #Conflicts: 64000 | #Constraints: 102300
392.21/393.48 c #Conflicts: 65000 | #Constraints: 103300
392.21/393.48 c #Conflicts: 66000 | #Constraints: 104300
392.21/393.48 c INPROCESSING
392.21/393.48 c GARBAGE COLLECT
392.21/393.48 c #Conflicts: 67000 | #Constraints: 100091
392.21/393.48 c #Conflicts: 68000 | #Constraints: 101091
392.21/393.48 c #Conflicts: 69000 | #Constraints: 102091
392.21/393.48 c #Conflicts: 70000 | #Constraints: 103091
392.21/393.48 c #Conflicts: 71000 | #Constraints: 104091
392.21/393.48 c #Conflicts: 72000 | #Constraints: 105091
392.21/393.48 c INPROCESSING
392.21/393.48 c GARBAGE COLLECT
392.21/393.48 c #Conflicts: 73000 | #Constraints: 100694
392.21/393.48 c #Conflicts: 74000 | #Constraints: 101694
392.21/393.48 c #Conflicts: 75000 | #Constraints: 102694
392.21/393.48 c #Conflicts: 76000 | #Constraints: 103694
392.21/393.48 c #Conflicts: 77000 | #Constraints: 104694
392.21/393.48 c #Conflicts: 78000 | #Constraints: 105694
392.21/393.48 c INPROCESSING
392.21/393.48 c GARBAGE COLLECT
392.21/393.48 c #Conflicts: 79000 | #Constraints: 101089
392.21/393.48 c #Conflicts: 80000 | #Constraints: 102089
392.21/393.48 c #Conflicts: 81000 | #Constraints: 103089
392.21/393.48 c #Conflicts: 82000 | #Constraints: 104089
392.21/393.48 c #Conflicts: 83000 | #Constraints: 105089
392.21/393.48 c #Conflicts: 84000 | #Constraints: 106089
392.21/393.48 c INPROCESSING
392.21/393.48 c GARBAGE COLLECT
392.21/393.48 c #Conflicts: 85000 | #Constraints: 101297
392.21/393.48 c #Conflicts: 86000 | #Constraints: 102297
392.21/393.48 c #Conflicts: 87000 | #Constraints: 103297
392.21/393.48 c #Conflicts: 88000 | #Constraints: 104297
392.21/393.48 c #Conflicts: 89000 | #Constraints: 105297
392.21/393.48 c #Conflicts: 90000 | #Constraints: 106297
392.21/393.48 c INPROCESSING
392.21/393.48 c GARBAGE COLLECT
392.21/393.48 c #Conflicts: 91000 | #Constraints: 101296
392.21/393.48 c #Conflicts: 92000 | #Constraints: 102296
392.21/393.48 c #Conflicts: 93000 | #Constraints: 103296
392.21/393.48 c #Conflicts: 94000 | #Constraints: 104296
392.21/393.48 c #Conflicts: 95000 | #Constraints: 105296
392.21/393.48 c #Conflicts: 96000 | #Constraints: 106296
392.21/393.48 c INPROCESSING
392.21/393.48 c GARBAGE COLLECT
392.21/393.48 c #Conflicts: 97000 | #Constraints: 101122
392.21/393.48 c #Conflicts: 98000 | #Constraints: 102122
392.21/393.48 c #Conflicts: 99000 | #Constraints: 103122
392.21/393.48 c #Conflicts: 100000 | #Constraints: 104122
392.21/393.48 c #Conflicts: 101000 | #Constraints: 105122
392.21/393.48 c #Conflicts: 102000 | #Constraints: 106122
392.21/393.48 c #Conflicts: 103000 | #Constraints: 107122
392.21/393.48 c INPROCESSING
392.21/393.48 c GARBAGE COLLECT
392.21/393.48 c #Conflicts: 104000 | #Constraints: 101722
392.21/393.48 c #Conflicts: 105000 | #Constraints: 102722
392.21/393.48 c #Conflicts: 106000 | #Constraints: 103722
392.21/393.48 c #Conflicts: 107000 | #Constraints: 104722
392.21/393.48 c #Conflicts: 108000 | #Constraints: 105722
392.21/393.48 c #Conflicts: 109000 | #Constraints: 106722
392.21/393.48 c #Conflicts: 110000 | #Constraints: 107722
392.21/393.48 c INPROCESSING
392.21/393.48 c GARBAGE COLLECT
392.21/393.48 c #Conflicts: 111000 | #Constraints: 102122
392.21/393.48 c #Conflicts: 112000 | #Constraints: 103122
392.21/393.48 c #Conflicts: 113000 | #Constraints: 104122
392.21/393.48 c #Conflicts: 114000 | #Constraints: 105122
392.21/393.48 c #Conflicts: 115000 | #Constraints: 106122
392.21/393.48 c #Conflicts: 116000 | #Constraints: 107122
392.21/393.48 c #Conflicts: 117000 | #Constraints: 108122
392.21/393.48 c INPROCESSING
392.21/393.48 c GARBAGE COLLECT
392.21/393.48 c #Conflicts: 118000 | #Constraints: 102316
392.21/393.48 c #Conflicts: 119000 | #Constraints: 103316
392.21/393.48 c #Conflicts: 120000 | #Constraints: 104316
392.21/393.48 c #Conflicts: 121000 | #Constraints: 105316
392.21/393.48 c #Conflicts: 122000 | #Constraints: 106316
392.21/393.48 c #Conflicts: 123000 | #Constraints: 107316
392.21/393.48 c #Conflicts: 124000 | #Constraints: 108316
474.38/475.82 c INPROCESSING
474.38/475.82 c GARBAGE COLLECT
474.38/475.82 c #Conflicts: 125000 | #Constraints: 102317
474.38/475.82 c #Conflicts: 126000 | #Constraints: 103317
474.38/475.82 c #Conflicts: 127000 | #Constraints: 104317
474.38/475.82 c #Conflicts: 128000 | #Constraints: 105317
474.38/475.82 c #Conflicts: 129000 | #Constraints: 106317
474.38/475.82 c #Conflicts: 130000 | #Constraints: 107317
474.38/475.82 c #Conflicts: 131000 | #Constraints: 108317
474.38/475.82 c INPROCESSING
474.38/475.82 c GARBAGE COLLECT
474.38/475.82 c #Conflicts: 132000 | #Constraints: 102119
474.38/475.82 c #Conflicts: 133000 | #Constraints: 103119
474.38/475.82 c #Conflicts: 134000 | #Constraints: 104119
474.38/475.82 c #Conflicts: 135000 | #Constraints: 105119
474.38/475.82 c #Conflicts: 136000 | #Constraints: 106119
474.38/475.82 c #Conflicts: 137000 | #Constraints: 107119
474.38/475.82 c #Conflicts: 138000 | #Constraints: 108119
474.38/475.82 c #Conflicts: 139000 | #Constraints: 109119
474.38/475.82 c INPROCESSING
474.38/475.82 c GARBAGE COLLECT
474.38/475.82 c #Conflicts: 140000 | #Constraints: 102727
474.38/475.82 c #Conflicts: 141000 | #Constraints: 103727
474.38/475.82 c #Conflicts: 142000 | #Constraints: 104727
474.38/475.82 c #Conflicts: 143000 | #Constraints: 105727
474.38/475.82 c #Conflicts: 144000 | #Constraints: 106727
474.38/475.82 c #Conflicts: 145000 | #Constraints: 107727
474.38/475.82 c #Conflicts: 146000 | #Constraints: 108727
474.38/475.82 c #Conflicts: 147000 | #Constraints: 109727
474.38/475.82 c INPROCESSING
474.38/475.82 c GARBAGE COLLECT
474.38/475.82 c #Conflicts: 148000 | #Constraints: 103120
474.38/475.82 c #Conflicts: 149000 | #Constraints: 104120
474.38/475.82 c #Conflicts: 150000 | #Constraints: 105120
474.38/475.82 c #Conflicts: 151000 | #Constraints: 106120
474.38/475.82 c #Conflicts: 152000 | #Constraints: 107120
474.38/475.82 c #Conflicts: 153000 | #Constraints: 108120
474.38/475.82 c #Conflicts: 154000 | #Constraints: 109120
474.38/475.82 c #Conflicts: 155000 | #Constraints: 110120
474.38/475.82 c INPROCESSING
474.38/475.82 c GARBAGE COLLECT
474.38/475.82 c #Conflicts: 156000 | #Constraints: 103315
474.38/475.82 c #Conflicts: 157000 | #Constraints: 104315
474.38/475.82 c #Conflicts: 158000 | #Constraints: 105315
474.38/475.82 c #Conflicts: 159000 | #Constraints: 106315
474.38/475.82 c #Conflicts: 160000 | #Constraints: 107315
474.38/475.82 c #Conflicts: 161000 | #Constraints: 108315
474.38/475.82 c #Conflicts: 162000 | #Constraints: 109315
474.38/475.82 c #Conflicts: 163000 | #Constraints: 110315
474.38/475.82 c INPROCESSING
474.38/475.82 c GARBAGE COLLECT
474.38/475.82 c #Conflicts: 164000 | #Constraints: 103338
474.38/475.82 c #Conflicts: 165000 | #Constraints: 104338
474.38/475.82 c #Conflicts: 166000 | #Constraints: 105338
474.38/475.82 c #Conflicts: 167000 | #Constraints: 106338
474.38/475.82 c #Conflicts: 168000 | #Constraints: 107338
474.38/475.82 c #Conflicts: 169000 | #Constraints: 108338
474.38/475.82 c #Conflicts: 170000 | #Constraints: 109338
474.38/475.82 c #Conflicts: 171000 | #Constraints: 110338
474.38/475.82 c INPROCESSING
474.38/475.82 c GARBAGE COLLECT
474.38/475.82 c #Conflicts: 172000 | #Constraints: 103119
474.38/475.82 c #Conflicts: 173000 | #Constraints: 104119
474.38/475.82 c #Conflicts: 174000 | #Constraints: 105119
474.38/475.82 c #Conflicts: 175000 | #Constraints: 106119
474.38/475.82 c #Conflicts: 176000 | #Constraints: 107119
474.38/475.82 c #Conflicts: 177000 | #Constraints: 108119
474.38/475.82 c #Conflicts: 178000 | #Constraints: 109119
474.38/475.82 c #Conflicts: 179000 | #Constraints: 110119
474.38/475.82 c #Conflicts: 180000 | #Constraints: 111119
474.38/475.82 c INPROCESSING
474.38/475.82 c GARBAGE COLLECT
474.38/475.82 c #Conflicts: 181000 | #Constraints: 103719
474.38/475.82 c #Conflicts: 182000 | #Constraints: 104719
474.38/475.82 c #Conflicts: 183000 | #Constraints: 105719
474.38/475.82 c #Conflicts: 184000 | #Constraints: 106719
474.38/475.82 c #Conflicts: 185000 | #Constraints: 107719
474.38/475.82 c #Conflicts: 186000 | #Constraints: 108719
474.38/475.82 c #Conflicts: 187000 | #Constraints: 109719
474.38/475.82 c #Conflicts: 188000 | #Constraints: 110719
474.38/475.82 c #Conflicts: 189000 | #Constraints: 111719
474.38/475.82 c INPROCESSING
474.38/475.82 c GARBAGE COLLECT
474.38/475.82 c #Conflicts: 190000 | #Constraints: 104125
474.38/475.82 c #Conflicts: 191000 | #Constraints: 105125
474.38/475.82 c #Conflicts: 192000 | #Constraints: 106125
474.38/475.82 c #Conflicts: 193000 | #Constraints: 107125
474.38/475.82 c #Conflicts: 194000 | #Constraints: 108125
474.38/475.82 c #Conflicts: 195000 | #Constraints: 109125
474.38/475.82 c #Conflicts: 196000 | #Constraints: 110125
474.38/475.82 c #Conflicts: 197000 | #Constraints: 111125
572.50/574.25 c #Conflicts: 198000 | #Constraints: 112125
572.50/574.25 c INPROCESSING
572.50/574.25 c GARBAGE COLLECT
572.50/574.25 c #Conflicts: 199000 | #Constraints: 104334
572.50/574.25 c #Conflicts: 200000 | #Constraints: 105334
572.50/574.25 c #Conflicts: 201000 | #Constraints: 106334
572.50/574.25 c #Conflicts: 202000 | #Constraints: 107334
572.50/574.25 c #Conflicts: 203000 | #Constraints: 108334
572.50/574.25 c #Conflicts: 204000 | #Constraints: 109334
572.50/574.25 c #Conflicts: 205000 | #Constraints: 110334
572.50/574.25 c #Conflicts: 206000 | #Constraints: 111334
572.50/574.25 c #Conflicts: 207000 | #Constraints: 112334
572.50/574.25 c INPROCESSING
572.50/574.25 c GARBAGE COLLECT
572.50/574.25 c #Conflicts: 208000 | #Constraints: 104359
572.50/574.25 c #Conflicts: 209000 | #Constraints: 105359
572.50/574.25 c #Conflicts: 210000 | #Constraints: 106359
572.50/574.25 c #Conflicts: 211000 | #Constraints: 107359
572.50/574.25 c #Conflicts: 212000 | #Constraints: 108359
572.50/574.25 c #Conflicts: 213000 | #Constraints: 109359
572.50/574.25 c #Conflicts: 214000 | #Constraints: 110359
572.50/574.25 c #Conflicts: 215000 | #Constraints: 111359
572.50/574.25 c #Conflicts: 216000 | #Constraints: 112359
572.50/574.25 c INPROCESSING
572.50/574.25 c GARBAGE COLLECT
572.50/574.25 c #Conflicts: 217000 | #Constraints: 104155
572.50/574.25 c #Conflicts: 218000 | #Constraints: 105155
572.50/574.25 c #Conflicts: 219000 | #Constraints: 106155
572.50/574.25 c #Conflicts: 220000 | #Constraints: 107155
572.50/574.25 c #Conflicts: 221000 | #Constraints: 108155
572.50/574.25 c #Conflicts: 222000 | #Constraints: 109155
572.50/574.25 c #Conflicts: 223000 | #Constraints: 110155
572.50/574.25 c #Conflicts: 224000 | #Constraints: 111155
572.50/574.25 c #Conflicts: 225000 | #Constraints: 112155
572.50/574.25 c #Conflicts: 226000 | #Constraints: 113155
572.50/574.25 c INPROCESSING
572.50/574.25 c GARBAGE COLLECT
572.50/574.25 c #Conflicts: 227000 | #Constraints: 104755
572.50/574.25 c #Conflicts: 228000 | #Constraints: 105755
572.50/574.25 c #Conflicts: 229000 | #Constraints: 106755
572.50/574.25 c #Conflicts: 230000 | #Constraints: 107755
572.50/574.25 c #Conflicts: 231000 | #Constraints: 108755
572.50/574.25 c #Conflicts: 232000 | #Constraints: 109755
572.50/574.25 c #Conflicts: 233000 | #Constraints: 110755
572.50/574.25 c #Conflicts: 234000 | #Constraints: 111755
572.50/574.25 c #Conflicts: 235000 | #Constraints: 112755
572.50/574.25 c #Conflicts: 236000 | #Constraints: 113755
572.50/574.25 c INPROCESSING
572.50/574.25 c GARBAGE COLLECT
572.50/574.25 c #Conflicts: 237000 | #Constraints: 105150
572.50/574.25 c #Conflicts: 238000 | #Constraints: 106150
572.50/574.25 c #Conflicts: 239000 | #Constraints: 107150
572.50/574.25 c #Conflicts: 240000 | #Constraints: 108150
572.50/574.25 c #Conflicts: 241000 | #Constraints: 109150
572.50/574.25 c #Conflicts: 242000 | #Constraints: 110150
572.50/574.25 c #Conflicts: 243000 | #Constraints: 111150
572.50/574.25 c #Conflicts: 244000 | #Constraints: 112150
572.50/574.25 c #Conflicts: 245000 | #Constraints: 113150
572.50/574.25 c #Conflicts: 246000 | #Constraints: 114150
572.50/574.25 c INPROCESSING
572.50/574.25 c GARBAGE COLLECT
572.50/574.25 c #Conflicts: 247000 | #Constraints: 105341
572.50/574.25 c #Conflicts: 248000 | #Constraints: 106341
572.50/574.25 c #Conflicts: 249000 | #Constraints: 107341
572.50/574.25 c #Conflicts: 250000 | #Constraints: 108341
572.50/574.25 c #Conflicts: 251000 | #Constraints: 109341
572.50/574.25 c #Conflicts: 252000 | #Constraints: 110341
572.50/574.25 c #Conflicts: 253000 | #Constraints: 111341
572.50/574.25 c #Conflicts: 254000 | #Constraints: 112341
572.50/574.25 c #Conflicts: 255000 | #Constraints: 113341
572.50/574.25 c #Conflicts: 256000 | #Constraints: 114341
572.50/574.25 c INPROCESSING
572.50/574.25 c GARBAGE COLLECT
572.50/574.25 c #Conflicts: 257000 | #Constraints: 105336
572.50/574.25 c #Conflicts: 258000 | #Constraints: 106336
572.50/574.25 c #Conflicts: 259000 | #Constraints: 107336
572.50/574.25 c #Conflicts: 260000 | #Constraints: 108336
572.50/574.25 c #Conflicts: 261000 | #Constraints: 109336
572.50/574.25 c #Conflicts: 262000 | #Constraints: 110336
572.50/574.25 c #Conflicts: 263000 | #Constraints: 111336
572.50/574.25 c #Conflicts: 264000 | #Constraints: 112336
572.50/574.25 c #Conflicts: 265000 | #Constraints: 113336
572.50/574.25 c #Conflicts: 266000 | #Constraints: 114336
572.50/574.25 c INPROCESSING
572.50/574.25 c GARBAGE COLLECT
572.50/574.25 c #Conflicts: 267000 | #Constraints: 105130
572.50/574.25 c #Conflicts: 268000 | #Constraints: 106130
572.50/574.25 c #Conflicts: 269000 | #Constraints: 107130
572.50/574.25 c #Conflicts: 270000 | #Constraints: 108130
572.50/574.25 c #Conflicts: 271000 | #Constraints: 109130
688.18/690.23 c #Conflicts: 272000 | #Constraints: 110130
688.18/690.23 c #Conflicts: 273000 | #Constraints: 111130
688.18/690.23 c #Conflicts: 274000 | #Constraints: 112130
688.18/690.23 c #Conflicts: 275000 | #Constraints: 113130
688.18/690.23 c #Conflicts: 276000 | #Constraints: 114130
688.18/690.23 c #Conflicts: 277000 | #Constraints: 115130
688.18/690.23 c INPROCESSING
688.18/690.23 c GARBAGE COLLECT
688.18/690.23 c #Conflicts: 278000 | #Constraints: 105732
688.18/690.23 c #Conflicts: 279000 | #Constraints: 106732
688.18/690.23 c #Conflicts: 280000 | #Constraints: 107732
688.18/690.23 c #Conflicts: 281000 | #Constraints: 108732
688.18/690.23 c #Conflicts: 282000 | #Constraints: 109732
688.18/690.23 c #Conflicts: 283000 | #Constraints: 110732
688.18/690.23 c #Conflicts: 284000 | #Constraints: 111732
688.18/690.23 c #Conflicts: 285000 | #Constraints: 112732
688.18/690.23 c #Conflicts: 286000 | #Constraints: 113732
688.18/690.23 c #Conflicts: 287000 | #Constraints: 114732
688.18/690.23 c #Conflicts: 288000 | #Constraints: 115732
688.18/690.23 c INPROCESSING
688.18/690.23 c GARBAGE COLLECT
688.18/690.23 c #Conflicts: 289000 | #Constraints: 106153
688.18/690.23 c #Conflicts: 290000 | #Constraints: 107153
688.18/690.23 c #Conflicts: 291000 | #Constraints: 108153
688.18/690.23 c #Conflicts: 292000 | #Constraints: 109153
688.18/690.23 c #Conflicts: 293000 | #Constraints: 110153
688.18/690.23 c #Conflicts: 294000 | #Constraints: 111153
688.18/690.23 c #Conflicts: 295000 | #Constraints: 112153
688.18/690.23 c #Conflicts: 296000 | #Constraints: 113153
688.18/690.23 c #Conflicts: 297000 | #Constraints: 114153
688.18/690.23 c #Conflicts: 298000 | #Constraints: 115153
688.18/690.23 c #Conflicts: 299000 | #Constraints: 116153
688.18/690.23 c INPROCESSING
688.18/690.23 c GARBAGE COLLECT
688.18/690.23 c #Conflicts: 300000 | #Constraints: 106347
688.18/690.23 c #Conflicts: 301000 | #Constraints: 107347
688.18/690.23 c #Conflicts: 302000 | #Constraints: 108347
688.18/690.23 c #Conflicts: 303000 | #Constraints: 109347
688.18/690.23 c #Conflicts: 304000 | #Constraints: 110347
688.18/690.23 c #Conflicts: 305000 | #Constraints: 111347
688.18/690.23 c #Conflicts: 306000 | #Constraints: 112347
688.18/690.23 c #Conflicts: 307000 | #Constraints: 113347
688.18/690.23 c #Conflicts: 308000 | #Constraints: 114347
688.18/690.23 c #Conflicts: 309000 | #Constraints: 115347
688.18/690.23 c #Conflicts: 310000 | #Constraints: 116347
688.18/690.23 c INPROCESSING
688.18/690.23 c GARBAGE COLLECT
688.18/690.23 c #Conflicts: 311000 | #Constraints: 106344
688.18/690.23 c #Conflicts: 312000 | #Constraints: 107344
688.18/690.23 c #Conflicts: 313000 | #Constraints: 108344
688.18/690.23 c #Conflicts: 314000 | #Constraints: 109344
688.18/690.23 c #Conflicts: 315000 | #Constraints: 110344
688.18/690.23 c #Conflicts: 316000 | #Constraints: 111344
688.18/690.23 c #Conflicts: 317000 | #Constraints: 112344
688.18/690.23 c #Conflicts: 318000 | #Constraints: 113344
688.18/690.23 c #Conflicts: 319000 | #Constraints: 114344
688.18/690.23 c #Conflicts: 320000 | #Constraints: 115344
688.18/690.23 c #Conflicts: 321000 | #Constraints: 116344
688.18/690.23 c INPROCESSING
688.18/690.23 c GARBAGE COLLECT
688.18/690.23 c #Conflicts: 322000 | #Constraints: 106139
688.18/690.23 c #Conflicts: 323000 | #Constraints: 107139
688.18/690.23 c #Conflicts: 324000 | #Constraints: 108139
688.18/690.23 c #Conflicts: 325000 | #Constraints: 109139
688.18/690.23 c #Conflicts: 326000 | #Constraints: 110139
688.18/690.23 c #Conflicts: 327000 | #Constraints: 111139
688.18/690.23 c #Conflicts: 328000 | #Constraints: 112139
688.18/690.23 c #Conflicts: 329000 | #Constraints: 113139
688.18/690.23 c #Conflicts: 330000 | #Constraints: 114139
688.18/690.23 c #Conflicts: 331000 | #Constraints: 115139
688.18/690.23 c #Conflicts: 332000 | #Constraints: 116139
688.18/690.23 c #Conflicts: 333000 | #Constraints: 117139
688.18/690.23 c INPROCESSING
688.18/690.23 c GARBAGE COLLECT
688.18/690.23 c #Conflicts: 334000 | #Constraints: 106746
688.18/690.23 c #Conflicts: 335000 | #Constraints: 107746
688.18/690.23 c #Conflicts: 336000 | #Constraints: 108746
688.18/690.23 c #Conflicts: 337000 | #Constraints: 109746
688.18/690.23 c #Conflicts: 338000 | #Constraints: 110746
688.18/690.23 c #Conflicts: 339000 | #Constraints: 111746
688.18/690.23 c #Conflicts: 340000 | #Constraints: 112746
688.18/690.23 c #Conflicts: 341000 | #Constraints: 113746
688.18/690.23 c #Conflicts: 342000 | #Constraints: 114746
688.18/690.23 c #Conflicts: 343000 | #Constraints: 115746
688.18/690.23 c #Conflicts: 344000 | #Constraints: 116746
688.18/690.23 c #Conflicts: 345000 | #Constraints: 117746
688.18/690.23 c INPROCESSING
688.18/690.23 c GARBAGE COLLECT
823.95/826.47 c #Conflicts: 346000 | #Constraints: 107154
823.95/826.47 c #Conflicts: 347000 | #Constraints: 108154
823.95/826.47 c #Conflicts: 348000 | #Constraints: 109154
823.95/826.47 c #Conflicts: 349000 | #Constraints: 110154
823.95/826.47 c #Conflicts: 350000 | #Constraints: 111154
823.95/826.47 c #Conflicts: 351000 | #Constraints: 112154
823.95/826.47 c #Conflicts: 352000 | #Constraints: 113154
823.95/826.47 c #Conflicts: 353000 | #Constraints: 114154
823.95/826.47 c #Conflicts: 354000 | #Constraints: 115154
823.95/826.47 c #Conflicts: 355000 | #Constraints: 116154
823.95/826.47 c #Conflicts: 356000 | #Constraints: 117154
823.95/826.47 c #Conflicts: 357000 | #Constraints: 118154
823.95/826.47 c INPROCESSING
823.95/826.47 c GARBAGE COLLECT
823.95/826.47 c #Conflicts: 358000 | #Constraints: 107344
823.95/826.47 c #Conflicts: 359000 | #Constraints: 108344
823.95/826.47 c #Conflicts: 360000 | #Constraints: 109344
823.95/826.47 c #Conflicts: 361000 | #Constraints: 110344
823.95/826.47 c #Conflicts: 362000 | #Constraints: 111344
823.95/826.47 c #Conflicts: 363000 | #Constraints: 112344
823.95/826.47 c #Conflicts: 364000 | #Constraints: 113344
823.95/826.47 c #Conflicts: 365000 | #Constraints: 114344
823.95/826.47 c #Conflicts: 366000 | #Constraints: 115344
823.95/826.47 c #Conflicts: 367000 | #Constraints: 116344
823.95/826.47 c #Conflicts: 368000 | #Constraints: 117344
823.95/826.47 c #Conflicts: 369000 | #Constraints: 118344
823.95/826.47 c INPROCESSING
823.95/826.47 c GARBAGE COLLECT
823.95/826.47 c #Conflicts: 370000 | #Constraints: 107348
823.95/826.47 c #Conflicts: 371000 | #Constraints: 108348
823.95/826.47 c #Conflicts: 372000 | #Constraints: 109348
823.95/826.47 c #Conflicts: 373000 | #Constraints: 110348
823.95/826.47 c #Conflicts: 374000 | #Constraints: 111348
823.95/826.47 c #Conflicts: 375000 | #Constraints: 112348
823.95/826.47 c #Conflicts: 376000 | #Constraints: 113348
823.95/826.47 c #Conflicts: 377000 | #Constraints: 114348
823.95/826.47 c #Conflicts: 378000 | #Constraints: 115348
823.95/826.47 c #Conflicts: 379000 | #Constraints: 116348
823.95/826.47 c #Conflicts: 380000 | #Constraints: 117348
823.95/826.47 c #Conflicts: 381000 | #Constraints: 118348
823.95/826.47 c INPROCESSING
823.95/826.47 c GARBAGE COLLECT
823.95/826.47 c #Conflicts: 382000 | #Constraints: 107155
823.95/826.47 c #Conflicts: 383000 | #Constraints: 108155
823.95/826.47 c #Conflicts: 384000 | #Constraints: 109155
823.95/826.47 c #Conflicts: 385000 | #Constraints: 110155
823.95/826.47 c #Conflicts: 386000 | #Constraints: 111155
823.95/826.47 c #Conflicts: 387000 | #Constraints: 112155
823.95/826.47 c #Conflicts: 388000 | #Constraints: 113155
823.95/826.47 c #Conflicts: 389000 | #Constraints: 114155
823.95/826.47 c #Conflicts: 390000 | #Constraints: 115155
823.95/826.47 c #Conflicts: 391000 | #Constraints: 116155
823.95/826.47 c #Conflicts: 392000 | #Constraints: 117155
823.95/826.47 c #Conflicts: 393000 | #Constraints: 118155
823.95/826.47 c #Conflicts: 394000 | #Constraints: 119155
823.95/826.47 c INPROCESSING
823.95/826.47 c GARBAGE COLLECT
823.95/826.47 c #Conflicts: 395000 | #Constraints: 107732
823.95/826.47 c #Conflicts: 396000 | #Constraints: 108732
823.95/826.47 c #Conflicts: 397000 | #Constraints: 109732
823.95/826.47 c #Conflicts: 398000 | #Constraints: 110732
823.95/826.47 c #Conflicts: 399000 | #Constraints: 111732
823.95/826.47 c #Conflicts: 400000 | #Constraints: 112732
823.95/826.47 c #Conflicts: 401000 | #Constraints: 113732
823.95/826.47 c #Conflicts: 402000 | #Constraints: 114732
823.95/826.47 c #Conflicts: 403000 | #Constraints: 115732
823.95/826.47 c #Conflicts: 404000 | #Constraints: 116732
823.95/826.47 c #Conflicts: 405000 | #Constraints: 117732
823.95/826.47 c #Conflicts: 406000 | #Constraints: 118732
823.95/826.47 c #Conflicts: 407000 | #Constraints: 119732
823.95/826.47 c INPROCESSING
823.95/826.47 c GARBAGE COLLECT
823.95/826.47 c #Conflicts: 408000 | #Constraints: 108144
823.95/826.47 c #Conflicts: 409000 | #Constraints: 109144
823.95/826.47 c #Conflicts: 410000 | #Constraints: 110144
823.95/826.47 c #Conflicts: 411000 | #Constraints: 111144
823.95/826.47 c #Conflicts: 412000 | #Constraints: 112144
823.95/826.47 c #Conflicts: 413000 | #Constraints: 113144
823.95/826.47 c #Conflicts: 414000 | #Constraints: 114144
823.95/826.47 c #Conflicts: 415000 | #Constraints: 115144
823.95/826.47 c #Conflicts: 416000 | #Constraints: 116144
823.95/826.47 c #Conflicts: 417000 | #Constraints: 117144
823.95/826.47 c #Conflicts: 418000 | #Constraints: 118144
823.95/826.47 c #Conflicts: 419000 | #Constraints: 119144
823.95/826.47 c #Conflicts: 420000 | #Constraints: 120144
823.95/826.47 c INPROCESSING
823.95/826.47 c GARBAGE COLLECT
978.33/981.37 c #Conflicts: 421000 | #Constraints: 108349
978.33/981.37 c #Conflicts: 422000 | #Constraints: 109349
978.33/981.37 c #Conflicts: 423000 | #Constraints: 110349
978.33/981.37 c #Conflicts: 424000 | #Constraints: 111349
978.33/981.37 c #Conflicts: 425000 | #Constraints: 112349
978.33/981.37 c #Conflicts: 426000 | #Constraints: 113349
978.33/981.37 c #Conflicts: 427000 | #Constraints: 114349
978.33/981.37 c #Conflicts: 428000 | #Constraints: 115349
978.33/981.37 c #Conflicts: 429000 | #Constraints: 116349
978.33/981.37 c #Conflicts: 430000 | #Constraints: 117349
978.33/981.37 c #Conflicts: 431000 | #Constraints: 118349
978.33/981.37 c #Conflicts: 432000 | #Constraints: 119349
978.33/981.37 c #Conflicts: 433000 | #Constraints: 120349
978.33/981.37 c INPROCESSING
978.33/981.37 c GARBAGE COLLECT
978.33/981.37 c #Conflicts: 434000 | #Constraints: 108370
978.33/981.37 c #Conflicts: 435000 | #Constraints: 109370
978.33/981.37 c #Conflicts: 436000 | #Constraints: 110370
978.33/981.37 c #Conflicts: 437000 | #Constraints: 111370
978.33/981.37 c #Conflicts: 438000 | #Constraints: 112370
978.33/981.37 c #Conflicts: 439000 | #Constraints: 113370
978.33/981.37 c #Conflicts: 440000 | #Constraints: 114370
978.33/981.37 c #Conflicts: 441000 | #Constraints: 115370
978.33/981.37 c #Conflicts: 442000 | #Constraints: 116370
978.33/981.37 c #Conflicts: 443000 | #Constraints: 117370
978.33/981.37 c #Conflicts: 444000 | #Constraints: 118370
978.33/981.37 c #Conflicts: 445000 | #Constraints: 119370
978.33/981.37 c #Conflicts: 446000 | #Constraints: 120370
978.33/981.37 c INPROCESSING
978.33/981.37 c GARBAGE COLLECT
978.33/981.37 c #Conflicts: 447000 | #Constraints: 108153
978.33/981.37 c #Conflicts: 448000 | #Constraints: 109153
978.33/981.37 c #Conflicts: 449000 | #Constraints: 110153
978.33/981.37 c #Conflicts: 450000 | #Constraints: 111153
978.33/981.37 c #Conflicts: 451000 | #Constraints: 112153
978.33/981.37 c #Conflicts: 452000 | #Constraints: 113153
978.33/981.37 c #Conflicts: 453000 | #Constraints: 114153
978.33/981.37 c #Conflicts: 454000 | #Constraints: 115153
978.33/981.37 c #Conflicts: 455000 | #Constraints: 116153
978.33/981.37 c #Conflicts: 456000 | #Constraints: 117153
978.33/981.37 c #Conflicts: 457000 | #Constraints: 118153
978.33/981.37 c #Conflicts: 458000 | #Constraints: 119153
978.33/981.37 c #Conflicts: 459000 | #Constraints: 120153
978.33/981.37 c #Conflicts: 460000 | #Constraints: 121153
978.33/981.37 c INPROCESSING
978.33/981.37 c GARBAGE COLLECT
978.33/981.37 c #Conflicts: 461000 | #Constraints: 108756
978.33/981.37 c #Conflicts: 462000 | #Constraints: 109756
978.33/981.37 c #Conflicts: 463000 | #Constraints: 110756
978.33/981.37 c #Conflicts: 464000 | #Constraints: 111756
978.33/981.37 c #Conflicts: 465000 | #Constraints: 112756
978.33/981.37 c #Conflicts: 466000 | #Constraints: 113756
978.33/981.37 c #Conflicts: 467000 | #Constraints: 114756
978.33/981.37 c #Conflicts: 468000 | #Constraints: 115756
978.33/981.37 c #Conflicts: 469000 | #Constraints: 116756
978.33/981.37 c #Conflicts: 470000 | #Constraints: 117756
978.33/981.37 c #Conflicts: 471000 | #Constraints: 118756
978.33/981.37 c #Conflicts: 472000 | #Constraints: 119756
978.33/981.37 c #Conflicts: 473000 | #Constraints: 120756
978.33/981.37 c #Conflicts: 474000 | #Constraints: 121756
978.33/981.37 c INPROCESSING
978.33/981.37 c GARBAGE COLLECT
978.33/981.37 c #Conflicts: 475000 | #Constraints: 109146
978.33/981.37 c #Conflicts: 476000 | #Constraints: 110146
978.33/981.37 c #Conflicts: 477000 | #Constraints: 111146
978.33/981.37 c #Conflicts: 478000 | #Constraints: 112146
978.33/981.37 c #Conflicts: 479000 | #Constraints: 113146
978.33/981.37 c #Conflicts: 480000 | #Constraints: 114146
978.33/981.37 c #Conflicts: 481000 | #Constraints: 115146
978.33/981.37 c #Conflicts: 482000 | #Constraints: 116146
978.33/981.37 c #Conflicts: 483000 | #Constraints: 117146
978.33/981.37 c #Conflicts: 484000 | #Constraints: 118146
978.33/981.37 c #Conflicts: 485000 | #Constraints: 119146
978.33/981.37 c #Conflicts: 486000 | #Constraints: 120146
978.33/981.37 c #Conflicts: 487000 | #Constraints: 121146
978.33/981.37 c #Conflicts: 488000 | #Constraints: 122146
978.33/981.37 c INPROCESSING
978.33/981.37 c GARBAGE COLLECT
978.33/981.37 c #Conflicts: 489000 | #Constraints: 109331
978.33/981.37 c #Conflicts: 490000 | #Constraints: 110331
978.33/981.37 c #Conflicts: 491000 | #Constraints: 111331
978.33/981.37 c #Conflicts: 492000 | #Constraints: 112331
978.33/981.37 c #Conflicts: 493000 | #Constraints: 113331
978.33/981.37 c #Conflicts: 494000 | #Constraints: 114331
978.33/981.37 c #Conflicts: 495000 | #Constraints: 115331
978.33/981.37 c #Conflicts: 496000 | #Constraints: 116331
1150.45/1154.07 c #Conflicts: 497000 | #Constraints: 117331
1150.45/1154.07 c #Conflicts: 498000 | #Constraints: 118331
1150.45/1154.07 c #Conflicts: 499000 | #Constraints: 119331
1150.45/1154.07 c #Conflicts: 500000 | #Constraints: 120331
1150.45/1154.07 c #Conflicts: 501000 | #Constraints: 121331
1150.45/1154.07 c #Conflicts: 502000 | #Constraints: 122331
1150.45/1154.07 c INPROCESSING
1150.45/1154.07 c GARBAGE COLLECT
1150.45/1154.07 c #Conflicts: 503000 | #Constraints: 109345
1150.45/1154.07 c #Conflicts: 504000 | #Constraints: 110345
1150.45/1154.07 c #Conflicts: 505000 | #Constraints: 111345
1150.45/1154.07 c #Conflicts: 506000 | #Constraints: 112345
1150.45/1154.07 c #Conflicts: 507000 | #Constraints: 113345
1150.45/1154.07 c #Conflicts: 508000 | #Constraints: 114345
1150.45/1154.07 c #Conflicts: 509000 | #Constraints: 115345
1150.45/1154.07 c #Conflicts: 510000 | #Constraints: 116345
1150.45/1154.07 c #Conflicts: 511000 | #Constraints: 117345
1150.45/1154.07 c #Conflicts: 512000 | #Constraints: 118345
1150.45/1154.07 c #Conflicts: 513000 | #Constraints: 119345
1150.45/1154.07 c #Conflicts: 514000 | #Constraints: 120345
1150.45/1154.07 c #Conflicts: 515000 | #Constraints: 121345
1150.45/1154.07 c #Conflicts: 516000 | #Constraints: 122345
1150.45/1154.07 c INPROCESSING
1150.45/1154.07 c GARBAGE COLLECT
1150.45/1154.07 c #Conflicts: 517000 | #Constraints: 109141
1150.45/1154.07 c #Conflicts: 518000 | #Constraints: 110141
1150.45/1154.07 c #Conflicts: 519000 | #Constraints: 111141
1150.45/1154.07 c #Conflicts: 520000 | #Constraints: 112141
1150.45/1154.07 c #Conflicts: 521000 | #Constraints: 113141
1150.45/1154.07 c #Conflicts: 522000 | #Constraints: 114141
1150.45/1154.07 c #Conflicts: 523000 | #Constraints: 115141
1150.45/1154.07 c #Conflicts: 524000 | #Constraints: 116141
1150.45/1154.07 c #Conflicts: 525000 | #Constraints: 117141
1150.45/1154.07 c #Conflicts: 526000 | #Constraints: 118141
1150.45/1154.07 c #Conflicts: 527000 | #Constraints: 119141
1150.45/1154.07 c #Conflicts: 528000 | #Constraints: 120141
1150.45/1154.07 c #Conflicts: 529000 | #Constraints: 121141
1150.45/1154.07 c #Conflicts: 530000 | #Constraints: 122141
1150.45/1154.07 c #Conflicts: 531000 | #Constraints: 123141
1150.45/1154.07 c INPROCESSING
1150.45/1154.07 c GARBAGE COLLECT
1150.45/1154.07 c #Conflicts: 532000 | #Constraints: 109733
1150.45/1154.07 c #Conflicts: 533000 | #Constraints: 110733
1150.45/1154.07 c #Conflicts: 534000 | #Constraints: 111733
1150.45/1154.07 c #Conflicts: 535000 | #Constraints: 112733
1150.45/1154.07 c #Conflicts: 536000 | #Constraints: 113733
1150.45/1154.07 c #Conflicts: 537000 | #Constraints: 114733
1150.45/1154.07 c #Conflicts: 538000 | #Constraints: 115733
1150.45/1154.07 c #Conflicts: 539000 | #Constraints: 116733
1150.45/1154.07 c #Conflicts: 540000 | #Constraints: 117733
1150.45/1154.07 c #Conflicts: 541000 | #Constraints: 118733
1150.45/1154.07 c #Conflicts: 542000 | #Constraints: 119733
1150.45/1154.07 c #Conflicts: 543000 | #Constraints: 120733
1150.45/1154.07 c #Conflicts: 544000 | #Constraints: 121733
1150.45/1154.07 c #Conflicts: 545000 | #Constraints: 122733
1150.45/1154.07 c #Conflicts: 546000 | #Constraints: 123733
1150.45/1154.07 c INPROCESSING
1150.45/1154.07 c GARBAGE COLLECT
1150.45/1154.07 c #Conflicts: 547000 | #Constraints: 110164
1150.45/1154.07 c #Conflicts: 548000 | #Constraints: 111164
1150.45/1154.07 c #Conflicts: 549000 | #Constraints: 112164
1150.45/1154.07 c #Conflicts: 550000 | #Constraints: 113164
1150.45/1154.07 c #Conflicts: 551000 | #Constraints: 114164
1150.45/1154.07 c #Conflicts: 552000 | #Constraints: 115164
1150.45/1154.07 c #Conflicts: 553000 | #Constraints: 116164
1150.45/1154.07 c #Conflicts: 554000 | #Constraints: 117164
1150.45/1154.07 c #Conflicts: 555000 | #Constraints: 118164
1150.45/1154.07 c #Conflicts: 556000 | #Constraints: 119164
1150.45/1154.07 c #Conflicts: 557000 | #Constraints: 120164
1150.45/1154.07 c #Conflicts: 558000 | #Constraints: 121164
1150.45/1154.07 c #Conflicts: 559000 | #Constraints: 122164
1150.45/1154.07 c #Conflicts: 560000 | #Constraints: 123164
1150.45/1154.07 c #Conflicts: 561000 | #Constraints: 124164
1150.45/1154.07 c INPROCESSING
1150.45/1154.07 c GARBAGE COLLECT
1150.45/1154.07 c #Conflicts: 562000 | #Constraints: 110379
1150.45/1154.07 c #Conflicts: 563000 | #Constraints: 111379
1150.45/1154.07 c #Conflicts: 564000 | #Constraints: 112379
1150.45/1154.07 c #Conflicts: 565000 | #Constraints: 113379
1150.45/1154.07 c #Conflicts: 566000 | #Constraints: 114379
1150.45/1154.07 c #Conflicts: 567000 | #Constraints: 115379
1150.45/1154.07 c #Conflicts: 568000 | #Constraints: 116379
1150.45/1154.07 c #Conflicts: 569000 | #Constraints: 117379
1150.45/1154.07 c #Conflicts: 570000 | #Constraints: 118379
1150.45/1154.07 c #Conflicts: 571000 | #Constraints: 119379
1150.45/1154.07 c #Conflicts: 572000 | #Constraints: 120379
1341.69/1345.98 c #Conflicts: 573000 | #Constraints: 121379
1341.69/1345.98 c #Conflicts: 574000 | #Constraints: 122379
1341.69/1345.98 c #Conflicts: 575000 | #Constraints: 123379
1341.69/1345.98 c #Conflicts: 576000 | #Constraints: 124379
1341.69/1345.98 c INPROCESSING
1341.69/1345.98 c GARBAGE COLLECT
1341.69/1345.98 c #Conflicts: 577000 | #Constraints: 110402
1341.69/1345.98 c #Conflicts: 578000 | #Constraints: 111402
1341.69/1345.98 c #Conflicts: 579000 | #Constraints: 112402
1341.69/1345.98 c #Conflicts: 580000 | #Constraints: 113402
1341.69/1345.98 c #Conflicts: 581000 | #Constraints: 114402
1341.69/1345.98 c #Conflicts: 582000 | #Constraints: 115402
1341.69/1345.98 c #Conflicts: 583000 | #Constraints: 116402
1341.69/1345.98 c #Conflicts: 584000 | #Constraints: 117402
1341.69/1345.98 c #Conflicts: 585000 | #Constraints: 118402
1341.69/1345.98 c #Conflicts: 586000 | #Constraints: 119402
1341.69/1345.98 c #Conflicts: 587000 | #Constraints: 120402
1341.69/1345.98 c #Conflicts: 588000 | #Constraints: 121402
1341.69/1345.98 c #Conflicts: 589000 | #Constraints: 122402
1341.69/1345.98 c #Conflicts: 590000 | #Constraints: 123402
1341.69/1345.98 c #Conflicts: 591000 | #Constraints: 124402
1341.69/1345.98 c INPROCESSING
1341.69/1345.98 c GARBAGE COLLECT
1341.69/1345.98 c #Conflicts: 592000 | #Constraints: 110191
1341.69/1345.98 c #Conflicts: 593000 | #Constraints: 111191
1341.69/1345.98 c #Conflicts: 594000 | #Constraints: 112191
1341.69/1345.98 c #Conflicts: 595000 | #Constraints: 113191
1341.69/1345.98 c #Conflicts: 596000 | #Constraints: 114191
1341.69/1345.98 c #Conflicts: 597000 | #Constraints: 115191
1341.69/1345.98 c #Conflicts: 598000 | #Constraints: 116191
1341.69/1345.98 c #Conflicts: 599000 | #Constraints: 117191
1341.69/1345.98 c #Conflicts: 600000 | #Constraints: 118191
1341.69/1345.98 c #Conflicts: 601000 | #Constraints: 119191
1341.69/1345.98 c #Conflicts: 602000 | #Constraints: 120191
1341.69/1345.98 c #Conflicts: 603000 | #Constraints: 121191
1341.69/1345.98 c #Conflicts: 604000 | #Constraints: 122191
1341.69/1345.98 c #Conflicts: 605000 | #Constraints: 123191
1341.69/1345.98 c #Conflicts: 606000 | #Constraints: 124191
1341.69/1345.98 c #Conflicts: 607000 | #Constraints: 125191
1341.69/1345.98 c INPROCESSING
1341.69/1345.98 c GARBAGE COLLECT
1341.69/1345.98 c #Conflicts: 608000 | #Constraints: 110776
1341.69/1345.98 c #Conflicts: 609000 | #Constraints: 111776
1341.69/1345.98 c #Conflicts: 610000 | #Constraints: 112776
1341.69/1345.98 c #Conflicts: 611000 | #Constraints: 113776
1341.69/1345.98 c #Conflicts: 612000 | #Constraints: 114776
1341.69/1345.98 c #Conflicts: 613000 | #Constraints: 115776
1341.69/1345.98 c #Conflicts: 614000 | #Constraints: 116776
1341.69/1345.98 c #Conflicts: 615000 | #Constraints: 117776
1341.69/1345.98 c #Conflicts: 616000 | #Constraints: 118776
1341.69/1345.98 c #Conflicts: 617000 | #Constraints: 119776
1341.69/1345.98 c #Conflicts: 618000 | #Constraints: 120776
1341.69/1345.98 c #Conflicts: 619000 | #Constraints: 121776
1341.69/1345.98 c #Conflicts: 620000 | #Constraints: 122776
1341.69/1345.98 c #Conflicts: 621000 | #Constraints: 123776
1341.69/1345.98 c #Conflicts: 622000 | #Constraints: 124776
1341.69/1345.98 c #Conflicts: 623000 | #Constraints: 125776
1341.69/1345.98 c INPROCESSING
1341.69/1345.98 c GARBAGE COLLECT
1341.69/1345.98 c #Conflicts: 624000 | #Constraints: 111162
1341.69/1345.98 c #Conflicts: 625000 | #Constraints: 112162
1341.69/1345.98 c #Conflicts: 626000 | #Constraints: 113162
1341.69/1345.98 c #Conflicts: 627000 | #Constraints: 114162
1341.69/1345.98 c #Conflicts: 628000 | #Constraints: 115162
1341.69/1345.98 c #Conflicts: 629000 | #Constraints: 116162
1341.69/1345.98 c #Conflicts: 630000 | #Constraints: 117162
1341.69/1345.98 c #Conflicts: 631000 | #Constraints: 118162
1341.69/1345.98 c #Conflicts: 632000 | #Constraints: 119162
1341.69/1345.98 c #Conflicts: 633000 | #Constraints: 120162
1341.69/1345.98 c #Conflicts: 634000 | #Constraints: 121162
1341.69/1345.98 c #Conflicts: 635000 | #Constraints: 122162
1341.69/1345.98 c #Conflicts: 636000 | #Constraints: 123162
1341.69/1345.98 c #Conflicts: 637000 | #Constraints: 124162
1341.69/1345.98 c #Conflicts: 638000 | #Constraints: 125162
1341.69/1345.98 c #Conflicts: 639000 | #Constraints: 126162
1341.69/1345.98 c INPROCESSING
1341.69/1345.98 c GARBAGE COLLECT
1341.69/1345.98 c #Conflicts: 640000 | #Constraints: 111356
1341.69/1345.98 c #Conflicts: 641000 | #Constraints: 112356
1341.69/1345.98 c #Conflicts: 642000 | #Constraints: 113356
1341.69/1345.98 c #Conflicts: 643000 | #Constraints: 114356
1341.69/1345.98 c #Conflicts: 644000 | #Constraints: 115356
1341.69/1345.98 c #Conflicts: 645000 | #Constraints: 116356
1341.69/1345.98 c #Conflicts: 646000 | #Constraints: 117356
1341.69/1345.98 c #Conflicts: 647000 | #Constraints: 118356
1561.64/1566.62 c #Conflicts: 648000 | #Constraints: 119356
1561.64/1566.62 c #Conflicts: 649000 | #Constraints: 120356
1561.64/1566.62 c #Conflicts: 650000 | #Constraints: 121356
1561.64/1566.62 c #Conflicts: 651000 | #Constraints: 122356
1561.64/1566.62 c #Conflicts: 652000 | #Constraints: 123356
1561.64/1566.62 c #Conflicts: 653000 | #Constraints: 124356
1561.64/1566.62 c #Conflicts: 654000 | #Constraints: 125356
1561.64/1566.62 c #Conflicts: 655000 | #Constraints: 126356
1561.64/1566.62 c INPROCESSING
1561.64/1566.62 c GARBAGE COLLECT
1561.64/1566.62 c #Conflicts: 656000 | #Constraints: 111357
1561.64/1566.62 c #Conflicts: 657000 | #Constraints: 112357
1561.64/1566.62 c #Conflicts: 658000 | #Constraints: 113357
1561.64/1566.62 c #Conflicts: 659000 | #Constraints: 114357
1561.64/1566.62 c #Conflicts: 660000 | #Constraints: 115357
1561.64/1566.62 c #Conflicts: 661000 | #Constraints: 116357
1561.64/1566.62 c #Conflicts: 662000 | #Constraints: 117357
1561.64/1566.62 c #Conflicts: 663000 | #Constraints: 118357
1561.64/1566.62 c #Conflicts: 664000 | #Constraints: 119357
1561.64/1566.62 c #Conflicts: 665000 | #Constraints: 120357
1561.64/1566.62 c #Conflicts: 666000 | #Constraints: 121357
1561.64/1566.62 c #Conflicts: 667000 | #Constraints: 122357
1561.64/1566.62 c #Conflicts: 668000 | #Constraints: 123357
1561.64/1566.62 c #Conflicts: 669000 | #Constraints: 124357
1561.64/1566.62 c #Conflicts: 670000 | #Constraints: 125357
1561.64/1566.62 c #Conflicts: 671000 | #Constraints: 126357
1561.64/1566.62 c INPROCESSING
1561.64/1566.62 c GARBAGE COLLECT
1561.64/1566.62 c #Conflicts: 672000 | #Constraints: 111140
1561.64/1566.62 c #Conflicts: 673000 | #Constraints: 112140
1561.64/1566.62 c #Conflicts: 674000 | #Constraints: 113140
1561.64/1566.62 c #Conflicts: 675000 | #Constraints: 114140
1561.64/1566.62 c #Conflicts: 676000 | #Constraints: 115140
1561.64/1566.62 c #Conflicts: 677000 | #Constraints: 116140
1561.64/1566.62 c #Conflicts: 678000 | #Constraints: 117140
1561.64/1566.62 c #Conflicts: 679000 | #Constraints: 118140
1561.64/1566.62 c #Conflicts: 680000 | #Constraints: 119140
1561.64/1566.62 c #Conflicts: 681000 | #Constraints: 120140
1561.64/1566.62 c #Conflicts: 682000 | #Constraints: 121140
1561.64/1566.62 c #Conflicts: 683000 | #Constraints: 122140
1561.64/1566.62 c #Conflicts: 684000 | #Constraints: 123140
1561.64/1566.62 c #Conflicts: 685000 | #Constraints: 124140
1561.64/1566.62 c #Conflicts: 686000 | #Constraints: 125140
1561.64/1566.62 c #Conflicts: 687000 | #Constraints: 126140
1561.64/1566.62 c #Conflicts: 688000 | #Constraints: 127140
1561.64/1566.62 c INPROCESSING
1561.64/1566.62 c GARBAGE COLLECT
1561.64/1566.62 c #Conflicts: 689000 | #Constraints: 111773
1561.64/1566.62 c #Conflicts: 690000 | #Constraints: 112773
1561.64/1566.62 c #Conflicts: 691000 | #Constraints: 113773
1561.64/1566.62 c #Conflicts: 692000 | #Constraints: 114773
1561.64/1566.62 c #Conflicts: 693000 | #Constraints: 115773
1561.64/1566.62 c #Conflicts: 694000 | #Constraints: 116773
1561.64/1566.62 c #Conflicts: 695000 | #Constraints: 117773
1561.64/1566.62 c #Conflicts: 696000 | #Constraints: 118773
1561.64/1566.62 c #Conflicts: 697000 | #Constraints: 119773
1561.64/1566.62 c #Conflicts: 698000 | #Constraints: 120773
1561.64/1566.62 c #Conflicts: 699000 | #Constraints: 121773
1561.64/1566.62 c #Conflicts: 700000 | #Constraints: 122773
1561.64/1566.62 c #Conflicts: 701000 | #Constraints: 123773
1561.64/1566.62 c #Conflicts: 702000 | #Constraints: 124773
1561.64/1566.62 c #Conflicts: 703000 | #Constraints: 125773
1561.64/1566.62 c #Conflicts: 704000 | #Constraints: 126773
1561.64/1566.62 c #Conflicts: 705000 | #Constraints: 127773
1561.64/1566.62 c INPROCESSING
1561.64/1566.62 c GARBAGE COLLECT
1561.64/1566.62 c #Conflicts: 706000 | #Constraints: 112154
1561.64/1566.62 c #Conflicts: 707000 | #Constraints: 113154
1561.64/1566.62 c #Conflicts: 708000 | #Constraints: 114154
1561.64/1566.62 c #Conflicts: 709000 | #Constraints: 115154
1561.64/1566.62 c #Conflicts: 710000 | #Constraints: 116154
1561.64/1566.62 c #Conflicts: 711000 | #Constraints: 117154
1561.64/1566.62 c #Conflicts: 712000 | #Constraints: 118154
1561.64/1566.62 c #Conflicts: 713000 | #Constraints: 119154
1561.64/1566.62 c #Conflicts: 714000 | #Constraints: 120154
1561.64/1566.62 c #Conflicts: 715000 | #Constraints: 121154
1561.64/1566.62 c #Conflicts: 716000 | #Constraints: 122154
1561.64/1566.62 c #Conflicts: 717000 | #Constraints: 123154
1561.64/1566.62 c #Conflicts: 718000 | #Constraints: 124154
1561.64/1566.62 c #Conflicts: 719000 | #Constraints: 125154
1561.64/1566.62 c #Conflicts: 720000 | #Constraints: 126154
1561.64/1566.62 c #Conflicts: 721000 | #Constraints: 127154
1561.64/1566.62 c #Conflicts: 722000 | #Constraints: 128154
1561.64/1566.62 c INPROCESSING
1561.64/1566.62 c GARBAGE COLLECT
1561.64/1566.62 c #Conflicts: 723000 | #Constraints: 112346
1775.31/1781.00 c #Conflicts: 724000 | #Constraints: 113346
1775.31/1781.00 c #Conflicts: 725000 | #Constraints: 114346
1775.31/1781.00 c #Conflicts: 726000 | #Constraints: 115346
1775.31/1781.00 c #Conflicts: 727000 | #Constraints: 116346
1775.31/1781.00 c #Conflicts: 728000 | #Constraints: 117346
1775.31/1781.00 c #Conflicts: 729000 | #Constraints: 118346
1775.31/1781.00 c #Conflicts: 730000 | #Constraints: 119346
1775.31/1781.00 c #Conflicts: 731000 | #Constraints: 120346
1775.31/1781.00 c #Conflicts: 732000 | #Constraints: 121346
1775.31/1781.00 c #Conflicts: 733000 | #Constraints: 122346
1775.31/1781.00 c #Conflicts: 734000 | #Constraints: 123346
1775.31/1781.00 c #Conflicts: 735000 | #Constraints: 124346
1775.31/1781.00 c #Conflicts: 736000 | #Constraints: 125346
1775.31/1781.00 c #Conflicts: 737000 | #Constraints: 126346
1775.31/1781.00 c #Conflicts: 738000 | #Constraints: 127346
1775.31/1781.00 c #Conflicts: 739000 | #Constraints: 128346
1775.31/1781.00 c INPROCESSING
1775.31/1781.00 c GARBAGE COLLECT
1775.31/1781.00 c #Conflicts: 740000 | #Constraints: 112375
1775.31/1781.00 c #Conflicts: 741000 | #Constraints: 113375
1775.31/1781.00 c #Conflicts: 742000 | #Constraints: 114375
1775.31/1781.00 c #Conflicts: 743000 | #Constraints: 115375
1775.31/1781.00 c #Conflicts: 744000 | #Constraints: 116375
1775.31/1781.00 c #Conflicts: 745000 | #Constraints: 117375
1775.31/1781.00 c #Conflicts: 746000 | #Constraints: 118375
1775.31/1781.00 c #Conflicts: 747000 | #Constraints: 119375
1775.31/1781.00 c #Conflicts: 748000 | #Constraints: 120375
1775.31/1781.00 c #Conflicts: 749000 | #Constraints: 121375
1775.31/1781.00 c #Conflicts: 750000 | #Constraints: 122375
1775.31/1781.00 c #Conflicts: 751000 | #Constraints: 123375
1775.31/1781.00 c #Conflicts: 752000 | #Constraints: 124375
1775.31/1781.00 c #Conflicts: 753000 | #Constraints: 125375
1775.31/1781.00 c #Conflicts: 754000 | #Constraints: 126375
1775.31/1781.00 c #Conflicts: 755000 | #Constraints: 127375
1775.31/1781.00 c #Conflicts: 756000 | #Constraints: 128375
1775.31/1781.00 c INPROCESSING
1775.31/1781.00 c GARBAGE COLLECT
1775.31/1781.00 c #Conflicts: 757000 | #Constraints: 112183
1775.31/1781.00 c #Conflicts: 758000 | #Constraints: 113183
1775.31/1781.00 c #Conflicts: 759000 | #Constraints: 114183
1775.31/1781.00 c #Conflicts: 760000 | #Constraints: 115183
1775.31/1781.00 c #Conflicts: 761000 | #Constraints: 116183
1775.31/1781.00 c #Conflicts: 762000 | #Constraints: 117183
1775.31/1781.00 c #Conflicts: 763000 | #Constraints: 118183
1775.31/1781.00 c #Conflicts: 764000 | #Constraints: 119183
1775.31/1781.00 c #Conflicts: 765000 | #Constraints: 120183
1775.31/1781.00 c #Conflicts: 766000 | #Constraints: 121183
1775.31/1781.00 c #Conflicts: 767000 | #Constraints: 122183
1775.31/1781.00 c #Conflicts: 768000 | #Constraints: 123183
1775.31/1781.00 c #Conflicts: 769000 | #Constraints: 124183
1775.31/1781.00 c #Conflicts: 770000 | #Constraints: 125183
1775.31/1781.00 c #Conflicts: 771000 | #Constraints: 126183
1775.31/1781.00 c #Conflicts: 772000 | #Constraints: 127183
1775.31/1781.00 c #Conflicts: 773000 | #Constraints: 128183
1775.31/1781.00 c #Conflicts: 774000 | #Constraints: 129183
1775.31/1781.00 c INPROCESSING
1775.31/1781.00 c GARBAGE COLLECT
1775.31/1781.00 c #Conflicts: 775000 | #Constraints: 112799
1775.31/1781.00 c #Conflicts: 776000 | #Constraints: 113799
1775.31/1781.00 c #Conflicts: 777000 | #Constraints: 114799
1775.31/1781.00 c #Conflicts: 778000 | #Constraints: 115799
1775.31/1781.00 c #Conflicts: 779000 | #Constraints: 116799
1775.31/1781.00 c #Conflicts: 780000 | #Constraints: 117799
1775.31/1781.00 c #Conflicts: 781000 | #Constraints: 118799
1775.31/1781.00 c #Conflicts: 782000 | #Constraints: 119799
1775.31/1781.00 c #Conflicts: 783000 | #Constraints: 120799
1775.31/1781.00 c #Conflicts: 784000 | #Constraints: 121799
1775.31/1781.00 c #Conflicts: 785000 | #Constraints: 122799
1775.31/1781.00 c #Conflicts: 786000 | #Constraints: 123799
1775.31/1781.00 c #Conflicts: 787000 | #Constraints: 124799
1775.31/1781.00 c #Conflicts: 788000 | #Constraints: 125799
1775.31/1781.00 c #Conflicts: 789000 | #Constraints: 126799
1775.31/1781.00 c #Conflicts: 790000 | #Constraints: 127799
1775.31/1781.00 c #Conflicts: 791000 | #Constraints: 128799
1775.31/1781.00 c #Conflicts: 792000 | #Constraints: 129799
1775.31/1781.00 c INPROCESSING
1775.31/1781.00 c GARBAGE COLLECT
1775.31/1781.00 c #Conflicts: 793000 | #Constraints: 113187
1775.31/1781.00 c #Conflicts: 794000 | #Constraints: 114187
1775.31/1781.00 c #Conflicts: 795000 | #Constraints: 115187
1775.31/1781.00 c #Conflicts: 796000 | #Constraints: 116187
1775.31/1781.00 c #Conflicts: 797000 | #Constraints: 117187
1775.31/1781.00 c #Conflicts: 798000 | #Constraints: 118187
1775.31/1781.00 c #Conflicts: 799000 | #Constraints: 119187
2024.35/2030.91 c #Conflicts: 800000 | #Constraints: 120187
2024.35/2030.91 c #Conflicts: 801000 | #Constraints: 121187
2024.35/2030.91 c #Conflicts: 802000 | #Constraints: 122187
2024.35/2030.91 c #Conflicts: 803000 | #Constraints: 123187
2024.35/2030.91 c #Conflicts: 804000 | #Constraints: 124187
2024.35/2030.91 c #Conflicts: 805000 | #Constraints: 125187
2024.35/2030.91 c #Conflicts: 806000 | #Constraints: 126187
2024.35/2030.91 c #Conflicts: 807000 | #Constraints: 127187
2024.35/2030.91 c #Conflicts: 808000 | #Constraints: 128187
2024.35/2030.91 c #Conflicts: 809000 | #Constraints: 129187
2024.35/2030.91 c #Conflicts: 810000 | #Constraints: 130187
2024.35/2030.91 c INPROCESSING
2024.35/2030.91 c GARBAGE COLLECT
2024.35/2030.91 c #Conflicts: 811000 | #Constraints: 113373
2024.35/2030.91 c #Conflicts: 812000 | #Constraints: 114373
2024.35/2030.91 c #Conflicts: 813000 | #Constraints: 115373
2024.35/2030.91 c #Conflicts: 814000 | #Constraints: 116373
2024.35/2030.91 c #Conflicts: 815000 | #Constraints: 117373
2024.35/2030.91 c #Conflicts: 816000 | #Constraints: 118373
2024.35/2030.91 c #Conflicts: 817000 | #Constraints: 119373
2024.35/2030.91 c #Conflicts: 818000 | #Constraints: 120373
2024.35/2030.91 c #Conflicts: 819000 | #Constraints: 121373
2024.35/2030.91 c #Conflicts: 820000 | #Constraints: 122373
2024.35/2030.91 c #Conflicts: 821000 | #Constraints: 123373
2024.35/2030.91 c #Conflicts: 822000 | #Constraints: 124373
2024.35/2030.91 c #Conflicts: 823000 | #Constraints: 125373
2024.35/2030.91 c #Conflicts: 824000 | #Constraints: 126373
2024.35/2030.91 c #Conflicts: 825000 | #Constraints: 127373
2024.35/2030.91 c #Conflicts: 826000 | #Constraints: 128373
2024.35/2030.91 c #Conflicts: 827000 | #Constraints: 129373
2024.35/2030.91 c #Conflicts: 828000 | #Constraints: 130373
2024.35/2030.91 c INPROCESSING
2024.35/2030.91 c GARBAGE COLLECT
2024.35/2030.91 c #Conflicts: 829000 | #Constraints: 113366
2024.35/2030.91 c #Conflicts: 830000 | #Constraints: 114366
2024.35/2030.91 c #Conflicts: 831000 | #Constraints: 115366
2024.35/2030.91 c #Conflicts: 832000 | #Constraints: 116366
2024.35/2030.91 c #Conflicts: 833000 | #Constraints: 117366
2024.35/2030.91 c #Conflicts: 834000 | #Constraints: 118366
2024.35/2030.91 c #Conflicts: 835000 | #Constraints: 119366
2024.35/2030.91 c #Conflicts: 836000 | #Constraints: 120366
2024.35/2030.91 c #Conflicts: 837000 | #Constraints: 121366
2024.35/2030.91 c #Conflicts: 838000 | #Constraints: 122366
2024.35/2030.91 c #Conflicts: 839000 | #Constraints: 123366
2024.35/2030.91 c #Conflicts: 840000 | #Constraints: 124366
2024.35/2030.91 c #Conflicts: 841000 | #Constraints: 125366
2024.35/2030.91 c #Conflicts: 842000 | #Constraints: 126366
2024.35/2030.91 c #Conflicts: 843000 | #Constraints: 127366
2024.35/2030.91 c #Conflicts: 844000 | #Constraints: 128366
2024.35/2030.91 c #Conflicts: 845000 | #Constraints: 129366
2024.35/2030.91 c #Conflicts: 846000 | #Constraints: 130366
2024.35/2030.91 c INPROCESSING
2024.35/2030.91 c GARBAGE COLLECT
2024.35/2030.91 c #Conflicts: 847000 | #Constraints: 113168
2024.35/2030.91 c #Conflicts: 848000 | #Constraints: 114168
2024.35/2030.91 c #Conflicts: 849000 | #Constraints: 115168
2024.35/2030.91 c #Conflicts: 850000 | #Constraints: 116168
2024.35/2030.91 c #Conflicts: 851000 | #Constraints: 117168
2024.35/2030.91 c #Conflicts: 852000 | #Constraints: 118168
2024.35/2030.91 c #Conflicts: 853000 | #Constraints: 119168
2024.35/2030.91 c #Conflicts: 854000 | #Constraints: 120168
2024.35/2030.91 c #Conflicts: 855000 | #Constraints: 121168
2024.35/2030.91 c #Conflicts: 856000 | #Constraints: 122168
2024.35/2030.91 c #Conflicts: 857000 | #Constraints: 123168
2024.35/2030.91 c #Conflicts: 858000 | #Constraints: 124168
2024.35/2030.91 c #Conflicts: 859000 | #Constraints: 125168
2024.35/2030.91 c #Conflicts: 860000 | #Constraints: 126168
2024.35/2030.91 c #Conflicts: 861000 | #Constraints: 127168
2024.35/2030.91 c #Conflicts: 862000 | #Constraints: 128168
2024.35/2030.91 c #Conflicts: 863000 | #Constraints: 129168
2024.35/2030.91 c #Conflicts: 864000 | #Constraints: 130168
2024.35/2030.91 c #Conflicts: 865000 | #Constraints: 131168
2024.35/2030.91 c INPROCESSING
2024.35/2030.91 c GARBAGE COLLECT
2024.35/2030.91 c #Conflicts: 866000 | #Constraints: 113753
2024.35/2030.91 c #Conflicts: 867000 | #Constraints: 114753
2024.35/2030.91 c #Conflicts: 868000 | #Constraints: 115753
2024.35/2030.91 c #Conflicts: 869000 | #Constraints: 116753
2024.35/2030.91 c #Conflicts: 870000 | #Constraints: 117753
2024.35/2030.91 c #Conflicts: 871000 | #Constraints: 118753
2024.35/2030.91 c #Conflicts: 872000 | #Constraints: 119753
2024.35/2030.91 c #Conflicts: 873000 | #Constraints: 120753
2024.35/2030.91 c #Conflicts: 874000 | #Constraints: 121753
2024.35/2030.91 c #Conflicts: 875000 | #Constraints: 122753
2291.72/2299.26 c #Conflicts: 876000 | #Constraints: 123753
2291.72/2299.26 c #Conflicts: 877000 | #Constraints: 124753
2291.72/2299.26 c #Conflicts: 878000 | #Constraints: 125753
2291.72/2299.26 c #Conflicts: 879000 | #Constraints: 126753
2291.72/2299.26 c #Conflicts: 880000 | #Constraints: 127753
2291.72/2299.26 c #Conflicts: 881000 | #Constraints: 128753
2291.72/2299.26 c #Conflicts: 882000 | #Constraints: 129753
2291.72/2299.26 c #Conflicts: 883000 | #Constraints: 130753
2291.72/2299.26 c #Conflicts: 884000 | #Constraints: 131753
2291.72/2299.26 c INPROCESSING
2291.72/2299.26 c GARBAGE COLLECT
2291.72/2299.26 c #Conflicts: 885000 | #Constraints: 114178
2291.72/2299.26 c #Conflicts: 886000 | #Constraints: 115178
2291.72/2299.26 c #Conflicts: 887000 | #Constraints: 116178
2291.72/2299.26 c #Conflicts: 888000 | #Constraints: 117178
2291.72/2299.26 c #Conflicts: 889000 | #Constraints: 118178
2291.72/2299.26 c #Conflicts: 890000 | #Constraints: 119178
2291.72/2299.26 c #Conflicts: 891000 | #Constraints: 120178
2291.72/2299.26 c #Conflicts: 892000 | #Constraints: 121178
2291.72/2299.26 c #Conflicts: 893000 | #Constraints: 122178
2291.72/2299.26 c #Conflicts: 894000 | #Constraints: 123178
2291.72/2299.26 c #Conflicts: 895000 | #Constraints: 124178
2291.72/2299.26 c #Conflicts: 896000 | #Constraints: 125178
2291.72/2299.26 c #Conflicts: 897000 | #Constraints: 126178
2291.72/2299.26 c #Conflicts: 898000 | #Constraints: 127178
2291.72/2299.26 c #Conflicts: 899000 | #Constraints: 128178
2291.72/2299.26 c #Conflicts: 900000 | #Constraints: 129178
2291.72/2299.26 c #Conflicts: 901000 | #Constraints: 130178
2291.72/2299.26 c #Conflicts: 902000 | #Constraints: 131178
2291.72/2299.26 c #Conflicts: 903000 | #Constraints: 132178
2291.72/2299.26 c INPROCESSING
2291.72/2299.26 c GARBAGE COLLECT
2291.72/2299.26 c #Conflicts: 904000 | #Constraints: 114387
2291.72/2299.26 c #Conflicts: 905000 | #Constraints: 115387
2291.72/2299.26 c #Conflicts: 906000 | #Constraints: 116387
2291.72/2299.26 c #Conflicts: 907000 | #Constraints: 117387
2291.72/2299.26 c #Conflicts: 908000 | #Constraints: 118387
2291.72/2299.26 c #Conflicts: 909000 | #Constraints: 119387
2291.72/2299.26 c #Conflicts: 910000 | #Constraints: 120387
2291.72/2299.26 c #Conflicts: 911000 | #Constraints: 121387
2291.72/2299.26 c #Conflicts: 912000 | #Constraints: 122387
2291.72/2299.26 c #Conflicts: 913000 | #Constraints: 123387
2291.72/2299.26 c #Conflicts: 914000 | #Constraints: 124387
2291.72/2299.26 c #Conflicts: 915000 | #Constraints: 125387
2291.72/2299.26 c #Conflicts: 916000 | #Constraints: 126387
2291.72/2299.26 c #Conflicts: 917000 | #Constraints: 127387
2291.72/2299.26 c #Conflicts: 918000 | #Constraints: 128387
2291.72/2299.26 c #Conflicts: 919000 | #Constraints: 129387
2291.72/2299.26 c #Conflicts: 920000 | #Constraints: 130387
2291.72/2299.26 c #Conflicts: 921000 | #Constraints: 131387
2291.72/2299.26 c #Conflicts: 922000 | #Constraints: 132387
2291.72/2299.26 c INPROCESSING
2291.72/2299.26 c GARBAGE COLLECT
2291.72/2299.26 c #Conflicts: 923000 | #Constraints: 114379
2291.72/2299.26 c #Conflicts: 924000 | #Constraints: 115379
2291.72/2299.26 c #Conflicts: 925000 | #Constraints: 116379
2291.72/2299.26 c #Conflicts: 926000 | #Constraints: 117379
2291.72/2299.26 c #Conflicts: 927000 | #Constraints: 118379
2291.72/2299.26 c #Conflicts: 928000 | #Constraints: 119379
2291.72/2299.26 c #Conflicts: 929000 | #Constraints: 120379
2291.72/2299.26 c #Conflicts: 930000 | #Constraints: 121379
2291.72/2299.26 c #Conflicts: 931000 | #Constraints: 122379
2291.72/2299.26 c #Conflicts: 932000 | #Constraints: 123379
2291.72/2299.26 c #Conflicts: 933000 | #Constraints: 124379
2291.72/2299.26 c #Conflicts: 934000 | #Constraints: 125379
2291.72/2299.26 c #Conflicts: 935000 | #Constraints: 126379
2291.72/2299.26 c #Conflicts: 936000 | #Constraints: 127379
2291.72/2299.26 c #Conflicts: 937000 | #Constraints: 128379
2291.72/2299.26 c #Conflicts: 938000 | #Constraints: 129379
2291.72/2299.26 c #Conflicts: 939000 | #Constraints: 130379
2291.72/2299.26 c #Conflicts: 940000 | #Constraints: 131379
2291.72/2299.26 c #Conflicts: 941000 | #Constraints: 132379
2291.72/2299.26 c INPROCESSING
2291.72/2299.26 c GARBAGE COLLECT
2291.72/2299.26 c #Conflicts: 942000 | #Constraints: 114176
2291.72/2299.26 c #Conflicts: 943000 | #Constraints: 115176
2291.72/2299.26 c #Conflicts: 944000 | #Constraints: 116176
2291.72/2299.26 c #Conflicts: 945000 | #Constraints: 117176
2291.72/2299.26 c #Conflicts: 946000 | #Constraints: 118176
2291.72/2299.26 c #Conflicts: 947000 | #Constraints: 119176
2291.72/2299.26 c #Conflicts: 948000 | #Constraints: 120176
2291.72/2299.26 c #Conflicts: 949000 | #Constraints: 121176
2291.72/2299.26 c #Conflicts: 950000 | #Constraints: 122176
2291.72/2299.26 c #Conflicts: 951000 | #Constraints: 123176
2573.51/2581.88 c #Conflicts: 952000 | #Constraints: 124176
2573.51/2581.88 c #Conflicts: 953000 | #Constraints: 125176
2573.51/2581.88 c #Conflicts: 954000 | #Constraints: 126176
2573.51/2581.88 c #Conflicts: 955000 | #Constraints: 127176
2573.51/2581.88 c #Conflicts: 956000 | #Constraints: 128176
2573.51/2581.88 c #Conflicts: 957000 | #Constraints: 129176
2573.51/2581.88 c #Conflicts: 958000 | #Constraints: 130176
2573.51/2581.88 c #Conflicts: 959000 | #Constraints: 131176
2573.51/2581.88 c #Conflicts: 960000 | #Constraints: 132176
2573.51/2581.88 c #Conflicts: 961000 | #Constraints: 133176
2573.51/2581.88 c INPROCESSING
2573.51/2581.88 c GARBAGE COLLECT
2573.51/2581.88 c #Conflicts: 962000 | #Constraints: 114784
2573.51/2581.88 c #Conflicts: 963000 | #Constraints: 115784
2573.51/2581.88 c #Conflicts: 964000 | #Constraints: 116784
2573.51/2581.88 c #Conflicts: 965000 | #Constraints: 117784
2573.51/2581.88 c #Conflicts: 966000 | #Constraints: 118784
2573.51/2581.88 c #Conflicts: 967000 | #Constraints: 119784
2573.51/2581.88 c #Conflicts: 968000 | #Constraints: 120784
2573.51/2581.88 c #Conflicts: 969000 | #Constraints: 121784
2573.51/2581.88 c #Conflicts: 970000 | #Constraints: 122784
2573.51/2581.88 c #Conflicts: 971000 | #Constraints: 123784
2573.51/2581.88 c #Conflicts: 972000 | #Constraints: 124784
2573.51/2581.88 c #Conflicts: 973000 | #Constraints: 125784
2573.51/2581.88 c #Conflicts: 974000 | #Constraints: 126784
2573.51/2581.88 c #Conflicts: 975000 | #Constraints: 127784
2573.51/2581.88 c #Conflicts: 976000 | #Constraints: 128784
2573.51/2581.88 c #Conflicts: 977000 | #Constraints: 129784
2573.51/2581.88 c #Conflicts: 978000 | #Constraints: 130784
2573.51/2581.88 c #Conflicts: 979000 | #Constraints: 131784
2573.51/2581.88 c #Conflicts: 980000 | #Constraints: 132784
2573.51/2581.88 c #Conflicts: 981000 | #Constraints: 133784
2573.51/2581.88 c INPROCESSING
2573.51/2581.88 c GARBAGE COLLECT
2573.51/2581.88 c #Conflicts: 982000 | #Constraints: 115164
2573.51/2581.88 c #Conflicts: 983000 | #Constraints: 116164
2573.51/2581.88 c #Conflicts: 984000 | #Constraints: 117164
2573.51/2581.88 c #Conflicts: 985000 | #Constraints: 118164
2573.51/2581.88 c #Conflicts: 986000 | #Constraints: 119164
2573.51/2581.88 c #Conflicts: 987000 | #Constraints: 120164
2573.51/2581.88 c #Conflicts: 988000 | #Constraints: 121164
2573.51/2581.88 c #Conflicts: 989000 | #Constraints: 122164
2573.51/2581.88 c #Conflicts: 990000 | #Constraints: 123164
2573.51/2581.88 c #Conflicts: 991000 | #Constraints: 124164
2573.51/2581.88 c #Conflicts: 992000 | #Constraints: 125164
2573.51/2581.88 c #Conflicts: 993000 | #Constraints: 126164
2573.51/2581.88 c #Conflicts: 994000 | #Constraints: 127164
2573.51/2581.88 c #Conflicts: 995000 | #Constraints: 128164
2573.51/2581.88 c #Conflicts: 996000 | #Constraints: 129164
2573.51/2581.88 c #Conflicts: 997000 | #Constraints: 130164
2573.51/2581.88 c #Conflicts: 998000 | #Constraints: 131164
2573.51/2581.88 c #Conflicts: 999000 | #Constraints: 132164
2573.51/2581.88 c #Conflicts: 1000000 | #Constraints: 133164
2573.51/2581.88 c #Conflicts: 1001000 | #Constraints: 134164
2573.51/2581.88 c INPROCESSING
2573.51/2581.88 c GARBAGE COLLECT
2573.51/2581.88 c #Conflicts: 1002000 | #Constraints: 115369
2573.51/2581.88 c #Conflicts: 1003000 | #Constraints: 116369
2573.51/2581.88 c #Conflicts: 1004000 | #Constraints: 117369
2573.51/2581.88 c #Conflicts: 1005000 | #Constraints: 118369
2573.51/2581.88 c #Conflicts: 1006000 | #Constraints: 119369
2573.51/2581.88 c #Conflicts: 1007000 | #Constraints: 120369
2573.51/2581.88 c #Conflicts: 1008000 | #Constraints: 121369
2573.51/2581.88 c #Conflicts: 1009000 | #Constraints: 122369
2573.51/2581.88 c #Conflicts: 1010000 | #Constraints: 123369
2573.51/2581.88 c #Conflicts: 1011000 | #Constraints: 124369
2573.51/2581.88 c #Conflicts: 1012000 | #Constraints: 125369
2573.51/2581.88 c #Conflicts: 1013000 | #Constraints: 126369
2573.51/2581.88 c #Conflicts: 1014000 | #Constraints: 127369
2573.51/2581.88 c #Conflicts: 1015000 | #Constraints: 128369
2573.51/2581.88 c #Conflicts: 1016000 | #Constraints: 129369
2573.51/2581.88 c #Conflicts: 1017000 | #Constraints: 130369
2573.51/2581.88 c #Conflicts: 1018000 | #Constraints: 131369
2573.51/2581.88 c #Conflicts: 1019000 | #Constraints: 132369
2573.51/2581.88 c #Conflicts: 1020000 | #Constraints: 133369
2573.51/2581.88 c #Conflicts: 1021000 | #Constraints: 134369
2573.51/2581.88 c INPROCESSING
2573.51/2581.88 c GARBAGE COLLECT
2573.51/2581.88 c #Conflicts: 1022000 | #Constraints: 115374
2573.51/2581.88 c #Conflicts: 1023000 | #Constraints: 116374
2573.51/2581.88 c #Conflicts: 1024000 | #Constraints: 117374
2573.51/2581.88 c #Conflicts: 1025000 | #Constraints: 118374
2573.51/2581.88 c #Conflicts: 1026000 | #Constraints: 119374
2573.51/2581.88 c #Conflicts: 1027000 | #Constraints: 120374
2573.51/2581.88 c #Conflicts: 1028000 | #Constraints: 121374
2857.09/2866.23 c #Conflicts: 1029000 | #Constraints: 122374
2857.09/2866.23 c #Conflicts: 1030000 | #Constraints: 123374
2857.09/2866.23 c #Conflicts: 1031000 | #Constraints: 124374
2857.09/2866.23 c #Conflicts: 1032000 | #Constraints: 125374
2857.09/2866.23 c #Conflicts: 1033000 | #Constraints: 126374
2857.09/2866.23 c #Conflicts: 1034000 | #Constraints: 127374
2857.09/2866.23 c #Conflicts: 1035000 | #Constraints: 128374
2857.09/2866.23 c #Conflicts: 1036000 | #Constraints: 129374
2857.09/2866.23 c #Conflicts: 1037000 | #Constraints: 130374
2857.09/2866.23 c #Conflicts: 1038000 | #Constraints: 131374
2857.09/2866.23 c #Conflicts: 1039000 | #Constraints: 132374
2857.09/2866.23 c #Conflicts: 1040000 | #Constraints: 133374
2857.09/2866.23 c #Conflicts: 1041000 | #Constraints: 134374
2857.09/2866.23 c INPROCESSING
2857.09/2866.23 c GARBAGE COLLECT
2857.09/2866.23 c #Conflicts: 1042000 | #Constraints: 115182
2857.09/2866.23 c #Conflicts: 1043000 | #Constraints: 116182
2857.09/2866.23 c #Conflicts: 1044000 | #Constraints: 117182
2857.09/2866.23 c #Conflicts: 1045000 | #Constraints: 118182
2857.09/2866.23 c #Conflicts: 1046000 | #Constraints: 119182
2857.09/2866.23 c #Conflicts: 1047000 | #Constraints: 120182
2857.09/2866.23 c #Conflicts: 1048000 | #Constraints: 121182
2857.09/2866.23 c #Conflicts: 1049000 | #Constraints: 122182
2857.09/2866.23 c #Conflicts: 1050000 | #Constraints: 123182
2857.09/2866.23 c #Conflicts: 1051000 | #Constraints: 124182
2857.09/2866.23 c #Conflicts: 1052000 | #Constraints: 125182
2857.09/2866.23 c #Conflicts: 1053000 | #Constraints: 126182
2857.09/2866.23 c #Conflicts: 1054000 | #Constraints: 127182
2857.09/2866.23 c #Conflicts: 1055000 | #Constraints: 128182
2857.09/2866.23 c #Conflicts: 1056000 | #Constraints: 129182
2857.09/2866.23 c #Conflicts: 1057000 | #Constraints: 130182
2857.09/2866.23 c #Conflicts: 1058000 | #Constraints: 131182
2857.09/2866.23 c #Conflicts: 1059000 | #Constraints: 132182
2857.09/2866.23 c #Conflicts: 1060000 | #Constraints: 133182
2857.09/2866.23 c #Conflicts: 1061000 | #Constraints: 134182
2857.09/2866.23 c #Conflicts: 1062000 | #Constraints: 135182
2857.09/2866.23 c INPROCESSING
2857.09/2866.23 c GARBAGE COLLECT
2857.09/2866.23 c #Conflicts: 1063000 | #Constraints: 115788
2857.09/2866.23 c #Conflicts: 1064000 | #Constraints: 116788
2857.09/2866.23 c #Conflicts: 1065000 | #Constraints: 117788
2857.09/2866.23 c #Conflicts: 1066000 | #Constraints: 118788
2857.09/2866.23 c #Conflicts: 1067000 | #Constraints: 119788
2857.09/2866.23 c #Conflicts: 1068000 | #Constraints: 120788
2857.09/2866.23 c #Conflicts: 1069000 | #Constraints: 121788
2857.09/2866.23 c #Conflicts: 1070000 | #Constraints: 122788
2857.09/2866.23 c #Conflicts: 1071000 | #Constraints: 123788
2857.09/2866.23 c #Conflicts: 1072000 | #Constraints: 124788
2857.09/2866.23 c #Conflicts: 1073000 | #Constraints: 125788
2857.09/2866.23 c #Conflicts: 1074000 | #Constraints: 126788
2857.09/2866.23 c #Conflicts: 1075000 | #Constraints: 127788
2857.09/2866.23 c #Conflicts: 1076000 | #Constraints: 128788
2857.09/2866.23 c #Conflicts: 1077000 | #Constraints: 129788
2857.09/2866.23 c #Conflicts: 1078000 | #Constraints: 130788
2857.09/2866.23 c #Conflicts: 1079000 | #Constraints: 131788
2857.09/2866.23 c #Conflicts: 1080000 | #Constraints: 132788
2857.09/2866.23 c #Conflicts: 1081000 | #Constraints: 133788
2857.09/2866.23 c #Conflicts: 1082000 | #Constraints: 134788
2857.09/2866.23 c #Conflicts: 1083000 | #Constraints: 135788
2857.09/2866.23 c INPROCESSING
2857.09/2866.23 c GARBAGE COLLECT
2857.09/2866.23 c #Conflicts: 1084000 | #Constraints: 116195
2857.09/2866.23 c #Conflicts: 1085000 | #Constraints: 117195
2857.09/2866.23 c #Conflicts: 1086000 | #Constraints: 118195
2857.09/2866.23 c #Conflicts: 1087000 | #Constraints: 119195
2857.09/2866.23 c #Conflicts: 1088000 | #Constraints: 120195
2857.09/2866.23 c #Conflicts: 1089000 | #Constraints: 121195
2857.09/2866.23 c #Conflicts: 1090000 | #Constraints: 122195
2857.09/2866.23 c #Conflicts: 1091000 | #Constraints: 123195
2857.09/2866.23 c #Conflicts: 1092000 | #Constraints: 124195
2857.09/2866.23 c #Conflicts: 1093000 | #Constraints: 125195
2857.09/2866.23 c #Conflicts: 1094000 | #Constraints: 126195
2857.09/2866.23 c #Conflicts: 1095000 | #Constraints: 127195
2857.09/2866.23 c #Conflicts: 1096000 | #Constraints: 128195
2857.09/2866.23 c #Conflicts: 1097000 | #Constraints: 129195
2857.09/2866.23 c #Conflicts: 1098000 | #Constraints: 130195
2857.09/2866.23 c #Conflicts: 1099000 | #Constraints: 131195
2857.09/2866.23 c #Conflicts: 1100000 | #Constraints: 132195
2857.09/2866.23 c #Conflicts: 1101000 | #Constraints: 133195
2857.09/2866.23 c #Conflicts: 1102000 | #Constraints: 134195
2857.09/2866.23 c #Conflicts: 1103000 | #Constraints: 135195
2857.09/2866.23 c #Conflicts: 1104000 | #Constraints: 136195
3094.24/3104.03 c INPROCESSING
3094.24/3104.03 c GARBAGE COLLECT
3094.24/3104.03 c #Conflicts: 1105000 | #Constraints: 116411
3094.24/3104.03 c #Conflicts: 1106000 | #Constraints: 117411
3094.24/3104.03 c #Conflicts: 1107000 | #Constraints: 118411
3094.24/3104.03 c #Conflicts: 1108000 | #Constraints: 119411
3094.24/3104.03 c #Conflicts: 1109000 | #Constraints: 120411
3094.24/3104.03 c #Conflicts: 1110000 | #Constraints: 121411
3094.24/3104.03 c #Conflicts: 1111000 | #Constraints: 122411
3094.24/3104.03 c #Conflicts: 1112000 | #Constraints: 123411
3094.24/3104.03 c #Conflicts: 1113000 | #Constraints: 124411
3094.24/3104.03 c #Conflicts: 1114000 | #Constraints: 125411
3094.24/3104.03 c #Conflicts: 1115000 | #Constraints: 126411
3094.24/3104.03 c #Conflicts: 1116000 | #Constraints: 127411
3094.24/3104.03 c #Conflicts: 1117000 | #Constraints: 128411
3094.24/3104.03 c #Conflicts: 1118000 | #Constraints: 129411
3094.24/3104.03 c #Conflicts: 1119000 | #Constraints: 130411
3094.24/3104.03 c #Conflicts: 1120000 | #Constraints: 131411
3094.24/3104.03 c #Conflicts: 1121000 | #Constraints: 132411
3094.24/3104.03 c #Conflicts: 1122000 | #Constraints: 133411
3094.24/3104.03 c #Conflicts: 1123000 | #Constraints: 134411
3094.24/3104.03 c #Conflicts: 1124000 | #Constraints: 135411
3094.24/3104.03 c #Conflicts: 1125000 | #Constraints: 136411
3094.24/3104.03 c INPROCESSING
3094.24/3104.03 c GARBAGE COLLECT
3094.24/3104.03 c #Conflicts: 1126000 | #Constraints: 116417
3094.24/3104.03 c #Conflicts: 1127000 | #Constraints: 117417
3094.24/3104.03 c #Conflicts: 1128000 | #Constraints: 118417
3094.24/3104.03 c #Conflicts: 1129000 | #Constraints: 119417
3094.24/3104.03 c #Conflicts: 1130000 | #Constraints: 120417
3094.24/3104.03 c #Conflicts: 1131000 | #Constraints: 121417
3094.24/3104.03 c #Conflicts: 1132000 | #Constraints: 122417
3094.24/3104.03 c #Conflicts: 1133000 | #Constraints: 123417
3094.24/3104.03 c #Conflicts: 1134000 | #Constraints: 124417
3094.24/3104.03 c #Conflicts: 1135000 | #Constraints: 125417
3094.24/3104.03 c #Conflicts: 1136000 | #Constraints: 126417
3094.24/3104.03 c #Conflicts: 1137000 | #Constraints: 127417
3094.24/3104.03 c #Conflicts: 1138000 | #Constraints: 128417
3094.24/3104.03 c #Conflicts: 1139000 | #Constraints: 129417
3094.24/3104.03 c #Conflicts: 1140000 | #Constraints: 130417
3094.24/3104.03 c #Conflicts: 1141000 | #Constraints: 131417
3094.24/3104.03 c #Conflicts: 1142000 | #Constraints: 132417
3094.24/3104.03 c #Conflicts: 1143000 | #Constraints: 133417
3094.24/3104.03 c #Conflicts: 1144000 | #Constraints: 134417
3094.24/3104.03 c #Conflicts: 1145000 | #Constraints: 135417
3094.24/3104.03 c #Conflicts: 1146000 | #Constraints: 136417
3094.24/3104.03 c INPROCESSING
3094.24/3104.03 c GARBAGE COLLECT
3094.24/3104.03 c #Conflicts: 1147000 | #Constraints: 116172
3094.24/3104.03 c #Conflicts: 1148000 | #Constraints: 117172
3094.24/3104.03 c #Conflicts: 1149000 | #Constraints: 118172
3094.24/3104.03 c #Conflicts: 1150000 | #Constraints: 119172
3094.24/3104.03 c #Conflicts: 1151000 | #Constraints: 120172
3094.24/3104.03 c #Conflicts: 1152000 | #Constraints: 121172
3094.24/3104.03 c #Conflicts: 1153000 | #Constraints: 122172
3094.24/3104.03 c #Conflicts: 1154000 | #Constraints: 123172
3094.24/3104.03 c #Conflicts: 1155000 | #Constraints: 124172
3094.24/3104.03 c #Conflicts: 1156000 | #Constraints: 125172
3094.24/3104.03 c #Conflicts: 1157000 | #Constraints: 126172
3094.24/3104.03 c #Conflicts: 1158000 | #Constraints: 127172
3094.24/3104.03 c #Conflicts: 1159000 | #Constraints: 128172
3094.24/3104.03 c #Conflicts: 1160000 | #Constraints: 129172
3094.24/3104.03 c #Conflicts: 1161000 | #Constraints: 130172
3094.24/3104.03 c #Conflicts: 1162000 | #Constraints: 131172
3094.24/3104.03 c #Conflicts: 1163000 | #Constraints: 132172
3094.24/3104.03 c #Conflicts: 1164000 | #Constraints: 133172
3094.24/3104.03 c #Conflicts: 1165000 | #Constraints: 134172
3094.24/3104.03 c #Conflicts: 1166000 | #Constraints: 135172
3094.24/3104.03 c #Conflicts: 1167000 | #Constraints: 136172
3094.24/3104.03 c #Conflicts: 1168000 | #Constraints: 137172
3094.24/3104.03 c INPROCESSING
3094.24/3104.03 c GARBAGE COLLECT
3094.24/3104.03 c #Conflicts: 1169000 | #Constraints: 116755
3094.24/3104.03 c #Conflicts: 1170000 | #Constraints: 117755
3094.24/3104.03 c #Conflicts: 1171000 | #Constraints: 118755
3094.24/3104.03 c #Conflicts: 1172000 | #Constraints: 119755
3094.24/3104.03 c #Conflicts: 1173000 | #Constraints: 120755
3094.24/3104.03 c #Conflicts: 1174000 | #Constraints: 121755
3094.24/3104.03 c #Conflicts: 1175000 | #Constraints: 122755
3094.24/3104.03 c #Conflicts: 1176000 | #Constraints: 123755
3094.24/3104.03 c #Conflicts: 1177000 | #Constraints: 124755
3094.24/3104.03 c #Conflicts: 1178000 | #Constraints: 125755
3094.24/3104.03 c #Conflicts: 1179000 | #Constraints: 126755
3094.24/3104.03 c #Conflicts: 1180000 | #Constraints: 127755
3094.24/3104.03 c #Conflicts: 1181000 | #Constraints: 128755
3356.96/3367.44 c #Conflicts: 1182000 | #Constraints: 129755
3356.96/3367.44 c #Conflicts: 1183000 | #Constraints: 130755
3356.96/3367.44 c #Conflicts: 1184000 | #Constraints: 131755
3356.96/3367.44 c #Conflicts: 1185000 | #Constraints: 132755
3356.96/3367.44 c #Conflicts: 1186000 | #Constraints: 133755
3356.96/3367.44 c #Conflicts: 1187000 | #Constraints: 134755
3356.96/3367.44 c #Conflicts: 1188000 | #Constraints: 135755
3356.96/3367.44 c #Conflicts: 1189000 | #Constraints: 136755
3356.96/3367.44 c #Conflicts: 1190000 | #Constraints: 137755
3356.96/3367.44 c INPROCESSING
3356.96/3367.44 c GARBAGE COLLECT
3356.96/3367.44 c #Conflicts: 1191000 | #Constraints: 117144
3356.96/3367.44 c #Conflicts: 1192000 | #Constraints: 118144
3356.96/3367.44 c #Conflicts: 1193000 | #Constraints: 119144
3356.96/3367.44 c #Conflicts: 1194000 | #Constraints: 120144
3356.96/3367.44 c #Conflicts: 1195000 | #Constraints: 121144
3356.96/3367.44 c #Conflicts: 1196000 | #Constraints: 122144
3356.96/3367.44 c #Conflicts: 1197000 | #Constraints: 123144
3356.96/3367.44 c #Conflicts: 1198000 | #Constraints: 124144
3356.96/3367.44 c #Conflicts: 1199000 | #Constraints: 125144
3356.96/3367.44 c #Conflicts: 1200000 | #Constraints: 126144
3356.96/3367.44 c #Conflicts: 1201000 | #Constraints: 127144
3356.96/3367.44 c #Conflicts: 1202000 | #Constraints: 128144
3356.96/3367.44 c #Conflicts: 1203000 | #Constraints: 129144
3356.96/3367.44 c #Conflicts: 1204000 | #Constraints: 130144
3356.96/3367.44 c #Conflicts: 1205000 | #Constraints: 131144
3356.96/3367.44 c #Conflicts: 1206000 | #Constraints: 132144
3356.96/3367.44 c #Conflicts: 1207000 | #Constraints: 133144
3356.96/3367.44 c #Conflicts: 1208000 | #Constraints: 134144
3356.96/3367.44 c #Conflicts: 1209000 | #Constraints: 135144
3356.96/3367.44 c #Conflicts: 1210000 | #Constraints: 136144
3356.96/3367.44 c #Conflicts: 1211000 | #Constraints: 137144
3356.96/3367.44 c #Conflicts: 1212000 | #Constraints: 138144
3356.96/3367.44 c INPROCESSING
3356.96/3367.44 c GARBAGE COLLECT
3356.96/3367.44 c #Conflicts: 1213000 | #Constraints: 117348
3356.96/3367.44 c #Conflicts: 1214000 | #Constraints: 118348
3356.96/3367.44 c #Conflicts: 1215000 | #Constraints: 119348
3356.96/3367.44 c #Conflicts: 1216000 | #Constraints: 120348
3356.96/3367.44 c #Conflicts: 1217000 | #Constraints: 121348
3356.96/3367.44 c #Conflicts: 1218000 | #Constraints: 122348
3356.96/3367.44 c #Conflicts: 1219000 | #Constraints: 123348
3356.96/3367.44 c #Conflicts: 1220000 | #Constraints: 124348
3356.96/3367.44 c #Conflicts: 1221000 | #Constraints: 125348
3356.96/3367.44 c #Conflicts: 1222000 | #Constraints: 126348
3356.96/3367.44 c #Conflicts: 1223000 | #Constraints: 127348
3356.96/3367.44 c #Conflicts: 1224000 | #Constraints: 128348
3356.96/3367.44 c #Conflicts: 1225000 | #Constraints: 129348
3356.96/3367.44 c #Conflicts: 1226000 | #Constraints: 130348
3356.96/3367.44 c #Conflicts: 1227000 | #Constraints: 131348
3356.96/3367.44 c #Conflicts: 1228000 | #Constraints: 132348
3356.96/3367.44 c #Conflicts: 1229000 | #Constraints: 133348
3356.96/3367.44 c #Conflicts: 1230000 | #Constraints: 134348
3356.96/3367.44 c #Conflicts: 1231000 | #Constraints: 135348
3356.96/3367.44 c #Conflicts: 1232000 | #Constraints: 136348
3356.96/3367.44 c #Conflicts: 1233000 | #Constraints: 137348
3356.96/3367.44 c #Conflicts: 1234000 | #Constraints: 138348
3356.96/3367.44 c INPROCESSING
3356.96/3367.44 c GARBAGE COLLECT
3356.96/3367.44 c #Conflicts: 1235000 | #Constraints: 117359
3356.96/3367.44 c #Conflicts: 1236000 | #Constraints: 118359
3356.96/3367.44 c #Conflicts: 1237000 | #Constraints: 119359
3356.96/3367.44 c #Conflicts: 1238000 | #Constraints: 120359
3356.96/3367.44 c #Conflicts: 1239000 | #Constraints: 121359
3356.96/3367.44 c #Conflicts: 1240000 | #Constraints: 122359
3356.96/3367.44 c #Conflicts: 1241000 | #Constraints: 123359
3356.96/3367.44 c #Conflicts: 1242000 | #Constraints: 124359
3356.96/3367.44 c #Conflicts: 1243000 | #Constraints: 125359
3356.96/3367.44 c #Conflicts: 1244000 | #Constraints: 126359
3356.96/3367.44 c #Conflicts: 1245000 | #Constraints: 127359
3356.96/3367.44 c #Conflicts: 1246000 | #Constraints: 128359
3356.96/3367.44 c #Conflicts: 1247000 | #Constraints: 129359
3356.96/3367.44 c #Conflicts: 1248000 | #Constraints: 130359
3356.96/3367.44 c #Conflicts: 1249000 | #Constraints: 131359
3356.96/3367.44 c #Conflicts: 1250000 | #Constraints: 132359
3356.96/3367.44 c #Conflicts: 1251000 | #Constraints: 133359
3356.96/3367.44 c #Conflicts: 1252000 | #Constraints: 134359
3356.96/3367.44 c #Conflicts: 1253000 | #Constraints: 135359
3356.96/3367.44 c #Conflicts: 1254000 | #Constraints: 136359
3356.96/3367.44 c #Conflicts: 1255000 | #Constraints: 137359
3356.96/3367.44 c #Conflicts: 1256000 | #Constraints: 138359
3356.96/3367.44 c INPROCESSING
3356.96/3367.44 c GARBAGE COLLECT
3356.96/3367.44 c #Conflicts: 1257000 | #Constraints: 117168
3600.03/3611.11 c #Conflicts: 1258000 | #Constraints: 118168
3600.03/3611.11 c #Conflicts: 1259000 | #Constraints: 119168
3600.03/3611.11 c #Conflicts: 1260000 | #Constraints: 120168
3600.03/3611.11 c #Conflicts: 1261000 | #Constraints: 121168
3600.03/3611.11 c #Conflicts: 1262000 | #Constraints: 122168
3600.03/3611.11 c #Conflicts: 1263000 | #Constraints: 123168
3600.03/3611.11 c #Conflicts: 1264000 | #Constraints: 124168
3600.03/3611.11 c #Conflicts: 1265000 | #Constraints: 125168
3600.03/3611.11 c #Conflicts: 1266000 | #Constraints: 126168
3600.03/3611.11 c #Conflicts: 1267000 | #Constraints: 127168
3600.03/3611.11 c #Conflicts: 1268000 | #Constraints: 128168
3600.03/3611.11 c #Conflicts: 1269000 | #Constraints: 129168
3600.03/3611.11 c #Conflicts: 1270000 | #Constraints: 130168
3600.03/3611.11 c #Conflicts: 1271000 | #Constraints: 131168
3600.03/3611.11 c #Conflicts: 1272000 | #Constraints: 132168
3600.03/3611.11 c #Conflicts: 1273000 | #Constraints: 133168
3600.03/3611.11 c #Conflicts: 1274000 | #Constraints: 134168
3600.03/3611.11 c #Conflicts: 1275000 | #Constraints: 135168
3600.03/3611.11 c #Conflicts: 1276000 | #Constraints: 136168
3600.03/3611.11 c #Conflicts: 1277000 | #Constraints: 137168
3600.03/3611.11 c #Conflicts: 1278000 | #Constraints: 138168
3600.03/3611.11 c #Conflicts: 1279000 | #Constraints: 139168
3600.03/3611.11 c INPROCESSING
3600.03/3611.11 c GARBAGE COLLECT
3600.03/3611.11 c #Conflicts: 1280000 | #Constraints: 117780
3600.03/3611.11 c #Conflicts: 1281000 | #Constraints: 118780
3600.03/3611.11 c #Conflicts: 1282000 | #Constraints: 119780
3600.03/3611.11 c #Conflicts: 1283000 | #Constraints: 120780
3600.03/3611.11 c #Conflicts: 1284000 | #Constraints: 121780
3600.03/3611.11 c #Conflicts: 1285000 | #Constraints: 122780
3600.03/3611.11 c #Conflicts: 1286000 | #Constraints: 123780
3600.03/3611.11 c #Conflicts: 1287000 | #Constraints: 124780
3600.03/3611.11 c #Conflicts: 1288000 | #Constraints: 125780
3600.03/3611.11 c #Conflicts: 1289000 | #Constraints: 126780
3600.03/3611.11 c #Conflicts: 1290000 | #Constraints: 127780
3600.03/3611.11 c #Conflicts: 1291000 | #Constraints: 128780
3600.03/3611.11 c #Conflicts: 1292000 | #Constraints: 129780
3600.03/3611.11 c #Conflicts: 1293000 | #Constraints: 130780
3600.03/3611.11 c #Conflicts: 1294000 | #Constraints: 131780
3600.03/3611.11 c #Conflicts: 1295000 | #Constraints: 132780
3600.03/3611.11 c #Conflicts: 1296000 | #Constraints: 133780
3600.03/3611.11 c #Conflicts: 1297000 | #Constraints: 134780
3600.03/3611.11 c #Conflicts: 1298000 | #Constraints: 135780
3600.03/3611.11 c #Conflicts: 1299000 | #Constraints: 136780
3600.03/3611.11 c #Conflicts: 1300000 | #Constraints: 137780
3600.03/3611.11 c #Conflicts: 1301000 | #Constraints: 138780
3600.03/3611.11 c #Conflicts: 1302000 | #Constraints: 139780
3600.03/3611.11 c INPROCESSING
3600.03/3611.11 c GARBAGE COLLECT
3600.03/3611.11 c #Conflicts: 1303000 | #Constraints: 118154
3600.03/3611.11 c #Conflicts: 1304000 | #Constraints: 119154
3600.03/3611.11 c #Conflicts: 1305000 | #Constraints: 120154
3600.03/3611.11 c #Conflicts: 1306000 | #Constraints: 121154
3600.03/3611.11 c #Conflicts: 1307000 | #Constraints: 122154
3600.03/3611.11 c #Conflicts: 1308000 | #Constraints: 123154
3600.03/3611.11 c #Conflicts: 1309000 | #Constraints: 124154
3600.03/3611.11 c #Conflicts: 1310000 | #Constraints: 125154
3600.03/3611.11 c #Conflicts: 1311000 | #Constraints: 126154
3600.03/3611.11 c #Conflicts: 1312000 | #Constraints: 127154
3600.03/3611.11 c #Conflicts: 1313000 | #Constraints: 128154
3600.03/3611.11 c #Conflicts: 1314000 | #Constraints: 129154
3600.03/3611.11 c #Conflicts: 1315000 | #Constraints: 130154
3600.03/3611.11 c #Conflicts: 1316000 | #Constraints: 131154
3600.03/3611.11 c #Conflicts: 1317000 | #Constraints: 132154
3600.03/3611.11 c #Conflicts: 1318000 | #Constraints: 133154
3600.03/3611.11 c #Conflicts: 1319000 | #Constraints: 134154
3600.03/3611.11 c #Conflicts: 1320000 | #Constraints: 135154
3600.03/3611.11 c #Conflicts: 1321000 | #Constraints: 136154
3600.03/3611.11 c #Conflicts: 1322000 | #Constraints: 137154
3600.03/3611.11 c #Conflicts: 1323000 | #Constraints: 138154
3600.03/3611.11 c #Conflicts: 1324000 | #Constraints: 139154
3600.03/3611.11 c #Conflicts: 1325000 | #Constraints: 140154
3600.03/3611.11 c INPROCESSING
3600.03/3611.11 c GARBAGE COLLECT
3600.03/3611.11 c #Conflicts: 1326000 | #Constraints: 118366
3600.03/3611.11 c #Conflicts: 1327000 | #Constraints: 119366
3600.03/3611.11 c #Conflicts: 1328000 | #Constraints: 120366
3600.03/3611.11 c #Conflicts: 1329000 | #Constraints: 121366
3600.03/3611.11 c #Conflicts: 1330000 | #Constraints: 122366
3600.03/3611.11 c Program interrupted by user.
3600.03/3611.11 c cpu time 3593.19 s
3600.03/3611.11 c deterministic time 729086021426 7.29e+11
3600.03/3611.11 c optimization time 13.8864 s
3600.03/3611.11 c total solve time 3279.91 s
3600.03/3611.11 c core-guided solve time 3279.91 s
3600.03/3611.11 c propagation time 3079.87 s
3600.03/3611.11 c conflict analysis time 167.643 s
3600.03/3611.11 c propagations 35808755
3600.03/3611.11 c resolve steps 10710089
3600.03/3611.11 c decisions 2431942
3600.03/3611.11 c conflicts 1330941
3600.03/3611.11 c restarts 2556
3600.03/3611.11 c inprocessing phases 106
3600.03/3611.11 c input clauses 94463
3600.03/3611.11 c input cardinalities 32
3600.03/3611.11 c input general constraints 0
3600.03/3611.11 c input average constraint length 2.44
3600.03/3611.11 c input average constraint degree 1.34
3600.03/3611.11 c learned clauses 808130
3600.03/3611.11 c learned cardinalities 345709
3600.03/3611.11 c learned general constraints 177102
3600.03/3611.11 c learned average constraint length 1208.76
3600.03/3611.11 c learned average constraint degree 17.80
3600.03/3611.11 c watched constraints 177102
3600.03/3611.11 c counting constraints 0
3600.03/3611.11 c gcd simplifications 96252
3600.03/3611.11 c detected cardinalities 26744
3600.03/3611.11 c weakened non-implied lits 17610296
3600.03/3611.11 c weakened non-implying lits 65053
3600.03/3611.11 c original variables 1272
3600.03/3611.11 c clausal propagations 25947567
3600.03/3611.11 c cardinality propagations 5128733
3600.03/3611.11 c watched propagations 1006347
3600.03/3611.11 c counting propagations 0
3600.03/3611.11 c watch lookups 18268903533
3600.03/3611.11 c watch backjump lookups 4864220
3600.03/3611.11 c watch checks 704970890799
3600.03/3611.11 c propagation checks 2332155345
3600.03/3611.11 c constraint additions 3431396646
3600.03/3611.11 c trail pops 39570185
3600.03/3611.11 c formula constraints 94227
3600.03/3611.11 c learned constraints 1330941
3600.03/3611.11 c bound constraints 32
3600.03/3611.11 c core-guided constraints 236
3600.03/3611.11 c encountered formula constraints 9019850
3600.03/3611.11 c encountered learned constraints 2986106
3600.03/3611.11 c encountered bound constraints 2006
3600.03/3611.11 c encountered core-guided constraints 33068
3600.03/3611.11 c LP total time 0 s
3600.03/3611.11 c LP solve time 0 s
3600.03/3611.11 c LP constraints added 0
3600.03/3611.11 c LP constraints removed 0
3600.03/3611.11 c LP pivots internal 0
3600.03/3611.11 c LP pivots root 0
3600.03/3611.11 c LP calls 0
3600.03/3611.11 c LP optimalities 0
3600.03/3611.11 c LP no pivot count 0
3600.03/3611.11 c LP infeasibilities 0
3600.03/3611.11 c LP valid Farkas constraints 0
3600.03/3611.11 c LP learned Farkas constraints 0
3600.03/3611.11 c LP basis resets 0
3600.03/3611.11 c LP cycling count 0
3600.03/3611.11 c LP singular count 0
3600.03/3611.11 c LP no primal count 0
3600.03/3611.11 c LP no farkas count 0
3600.03/3611.11 c LP other issue count 0
3600.03/3611.11 c LP Gomory cuts 0
3600.03/3611.11 c LP learned cuts 0
3600.03/3611.11 c LP deleted cuts 0
3600.03/3611.11 c LP encountered Gomory constraints 0
3600.03/3611.11 c LP encountered Farkas constraints 0
3600.03/3611.11 c LP encountered learned Farkas constraints 0
3600.03/3611.11 c CG auxiliary variables introduced 236
3600.03/3611.11 c CG solutions found 0
3600.03/3611.11 c CG cores constructed 31
3600.03/3611.11 c CG core cardinality constraints returned 0
3600.03/3611.11 c CG unit cores 0
3600.03/3611.11 c CG single cores 31
3600.03/3611.11 c CG blocks removed during cardinality reduction 0
3600.03/3611.11 c CG first core best 0
3600.03/3611.11 c CG decision core best 0
3600.03/3611.11 c CG core reduction tie 0
3600.03/3611.11 c CG core degree average 1.00
3600.03/3611.11 c CG core slack average 6.48
3600.03/3611.11 c CG exhausted 0
3600.03/3611.11 c CG exhaust time 0 s
3600.03/3611.11 c CG trimmed 4
3600.03/3611.11 c CG trim time 0.000392 s
3600.03/3611.11 c CG minimized 0
3600.03/3611.11 c CG minimize time 0 s
3600.03/3611.11 c CG am1 prop time 0.006662 s
3600.03/3611.11 c CG # am1s reformulated 236
3600.03/3611.11 c CG lower bound derived from am1s 1033
3600.03/3611.11 c CG # clausal cores 31
3600.03/3611.11 c CG # cardinality cores 0
3600.03/3611.11 c CG # pb cores 0
3600.03/3611.11 c CG # pb reforms 0
3600.03/3611.11 c CG # cores discarded because of pb reform 0
3600.03/3611.11 d LOWERBOUND -208
3600.03/3611.11 d NCORES 31
3600.03/3611.11 d NPBCORES 0
3600.03/3611.11 d NPBREFORM 0
3600.03/3611.11 d NTRIMMED 4
3600.03/3611.11 d NEXHAUSTED 0
3600.03/3611.11 d NAM1S 236
3600.03/3611.11 d AM1LB 1033
3600.03/3611.11 c [Papilo Statistics]
3600.03/3611.11 c prepro time 0.211518s
3600.03/3611.11 c # tsx applied 0
3600.03/3611.11 c # tsx conflicts 0
3600.03/3611.11 c # bound changes 0
3600.03/3611.11 c # side changes 0
3600.03/3611.11 c # coef changes 0
3600.03/3611.11 c # rounds 1
3600.03/3611.11 c # deted vars 0
3600.03/3611.11 c # deted constrs 0
3600.03/3611.11 c # consecutive rounds of only bound changes 0
3600.03/3611.11 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61409 MiB free)
memory of node 1: 64465 MiB (63000 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528984-1752253813/watcher-4528984-1752253813 -o /tmp/evaluation-result-4528984-1752253813/solver-4528984-1752253813 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752253809-122696 --watchdog 3760 mixed-bag HOME/instance-4528984-1752253813.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=122843, runsolver pid=122840
[startup+0.100058 s]*
/proc/loadavg: 1.28 1.34 2.11 5/266 122844
/proc/meminfo: memFree=127395696/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=88252 memory=16160 CPUtime=0.09 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 2640 0 0 0 9 0 0 0 20 0 1 0 141058791 90370048 4040 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 22063 4040 2176 2834 0 4815 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 88252 KiB
Current children cumulated memory: 16160 KiB
[startup+0.205538 s]*
/proc/loadavg: 1.28 1.34 2.11 5/266 122844
/proc/meminfo: memFree=127359532/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=137140 memory=58432 CPUtime=0.2 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 10375 0 0 0 18 2 0 0 20 0 1 0 141058791 140431360 14608 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 34285 14608 2272 2834 0 16490 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 137140 KiB
Current children cumulated memory: 58432 KiB
[startup+0.305772 s]*
/proc/loadavg: 1.28 1.34 2.11 5/266 122844
/proc/meminfo: memFree=127294628/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=137140 memory=58560 CPUtime=0.3 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 10386 0 0 0 28 2 0 0 20 0 1 0 141058791 140431360 14640 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 34285 14640 2304 2834 0 16490 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 137140 KiB
Current children cumulated memory: 58560 KiB
[startup+0.700174 s]
/proc/loadavg: 1.28 1.34 2.11 5/266 122844
/proc/meminfo: memFree=127213920/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=264936 memory=188524 CPUtime=0.68 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 41735 0 0 0 61 7 0 0 20 0 1 0 141058791 271294464 47131 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 66234 47131 4000 2834 0 48439 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 264936 KiB
Current children cumulated memory: 188524 KiB
[startup+1.50017 s]
/proc/loadavg: 1.28 1.34 2.11 5/266 122844
/proc/meminfo: memFree=126955476/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=299048 memory=223312 CPUtime=1.48 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 52347 0 0 0 139 9 0 0 20 0 1 0 141058791 306225152 55828 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 74762 55828 4064 2834 0 56967 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 299048 KiB
Current children cumulated memory: 223312 KiB
[startup+3.10539 s]
/proc/loadavg: 1.28 1.34 2.11 5/266 122844
/proc/meminfo: memFree=126635156/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=590252 memory=493580 CPUtime=3.08 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 84254 0 0 0 290 18 0 0 20 0 1 0 141058791 604418048 123395 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 147563 123395 4288 2834 0 129768 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 590252 KiB
Current children cumulated memory: 493580 KiB
[startup+6.3001 s]
/proc/loadavg: 1.49 1.39 2.12 5/266 122844
/proc/meminfo: memFree=126588980/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=633736 memory=525108 CPUtime=6.26 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 91105 0 0 0 607 19 0 0 20 0 1 0 141058791 648945664 131277 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 158434 131277 4288 2834 0 140639 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 633736 KiB
Current children cumulated memory: 525108 KiB
[startup+12.7001 s]
/proc/loadavg: 1.69 1.43 2.13 5/266 122844
/proc/meminfo: memFree=126581176/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=659268 memory=533040 CPUtime=12.65 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 92077 0 0 0 1245 20 0 0 20 0 1 0 141058791 675090432 133260 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 164817 133260 4288 2834 0 147022 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 659268 KiB
Current children cumulated memory: 533040 KiB
[startup+25.5002 s]
/proc/loadavg: 2.27 1.57 2.17 5/267 122846
/proc/meminfo: memFree=126545596/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=760376 memory=544408 CPUtime=25.42 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 93900 0 0 0 2522 20 0 0 20 0 1 0 141058791 778625024 136102 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 190094 136102 4288 2834 0 172299 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 760376 KiB
Current children cumulated memory: 544408 KiB
[startup+51.1059 s]
/proc/loadavg: 2.86 1.77 2.22 5/267 122846
/proc/meminfo: memFree=126050604/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=921336 memory=653848 CPUtime=50.94 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 121283 0 0 0 5070 24 0 0 20 0 1 0 141058791 943448064 163462 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 230334 163462 4288 2834 0 212539 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 921336 KiB
Current children cumulated memory: 653848 KiB
[startup+102.3 s]
/proc/loadavg: 3.62 2.14 2.33 5/267 122848
/proc/meminfo: memFree=125988232/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=971876 memory=693912 CPUtime=101.98 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 131337 0 0 0 10172 26 0 0 20 0 1 0 141058791 995201024 173478 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 242969 173478 4288 2834 0 225174 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 971876 KiB
Current children cumulated memory: 693912 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 2.50 2.44 5/266 122850
/proc/meminfo: memFree=125719112/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=1054908 memory=750104 CPUtime=161.79 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 145448 0 0 0 16152 27 0 0 20 0 1 0 141058791 1080225792 187526 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 263727 187526 4288 2834 0 245932 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1054908 KiB
Current children cumulated memory: 750104 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.79 2.55 5/266 122852
/proc/meminfo: memFree=125477292/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=1171572 memory=851992 CPUtime=221.59 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 170964 0 0 0 22128 31 0 0 20 0 1 0 141058791 1199689728 212998 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 292893 212998 4288 2834 0 275098 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 1171572 KiB
Current children cumulated memory: 851992 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.04 2.65 5/266 122854
/proc/meminfo: memFree=125410820/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=1246912 memory=885388 CPUtime=281.41 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 177277 0 0 0 28108 33 0 0 20 0 1 0 141058791 1276837888 221347 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 311728 221347 4288 2834 0 293933 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 1246912 KiB
Current children cumulated memory: 885388 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.23 2.74 5/264 122856
/proc/meminfo: memFree=126000700/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=1044956 memory=726316 CPUtime=341.25 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 180685 0 0 0 34053 72 0 0 20 0 1 0 141058791 1070034944 181579 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 261239 181579 4480 2834 0 243444 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 1044956 KiB
Current children cumulated memory: 726316 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.41 2.83 5/264 122858
/proc/meminfo: memFree=125914260/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=1044956 memory=746796 CPUtime=401.08 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 180695 0 0 0 40011 97 0 0 20 0 1 0 141058791 1070034944 186699 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 261239 186699 4480 2834 0 243444 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 1044956 KiB
Current children cumulated memory: 746796 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.53 2.92 5/264 122867
/proc/meminfo: memFree=125843952/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=1095044 memory=759084 CPUtime=460.92 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 181212 0 0 0 45971 121 0 0 20 0 1 0 141058791 1121325056 189771 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 273761 189771 4480 2834 0 255966 0
################
# More data... #
################
Current children cumulated memory: 976336 KiB
[startup+2922.3 s]
/proc/loadavg: 4.05 4.08 4.01 5/263 122981
/proc/meminfo: memFree=124906588/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=1308692 memory=978000 CPUtime=2913.01 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 182944 0 0 0 290705 596 0 0 20 0 1 0 141058791 1340100608 244500 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 327173 244500 4480 2834 0 309378 0
Current children cumulated CPU time: 2913.01 s
Current children cumulated vsize: 1308692 KiB
Current children cumulated memory: 978000 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.10 4.02 5/263 122983
/proc/meminfo: memFree=124921548/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=1308692 memory=978000 CPUtime=2972.85 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 182959 0 0 0 296680 605 0 0 20 0 1 0 141058791 1340100608 244500 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 327173 244500 4480 2834 0 309378 0
Current children cumulated CPU time: 2972.85 s
Current children cumulated vsize: 1308692 KiB
Current children cumulated memory: 978000 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/263 122985
/proc/meminfo: memFree=124917080/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=1308692 memory=978000 CPUtime=3032.69 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 182960 0 0 0 302655 614 0 0 20 0 1 0 141058791 1340100608 244500 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 327173 244500 4480 2834 0 309378 0
Current children cumulated CPU time: 3032.69 s
Current children cumulated vsize: 1308692 KiB
Current children cumulated memory: 978000 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.10 4.02 5/263 122998
/proc/meminfo: memFree=124911476/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=1308692 memory=982096 CPUtime=3092.53 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 182961 0 0 0 308633 620 0 0 20 0 1 0 141058791 1340100608 245524 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 327173 245524 4480 2834 0 309378 0
Current children cumulated CPU time: 3092.53 s
Current children cumulated vsize: 1308692 KiB
Current children cumulated memory: 982096 KiB
[startup+3162.3 s]
/proc/loadavg: 4.52 4.20 4.06 5/263 123000
/proc/meminfo: memFree=124903500/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=1308692 memory=986192 CPUtime=3152.38 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 182963 0 0 0 314612 626 0 0 20 0 1 0 141058791 1340100608 246548 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 327173 246548 4480 2834 0 309378 0
Current children cumulated CPU time: 3152.38 s
Current children cumulated vsize: 1308692 KiB
Current children cumulated memory: 986192 KiB
[startup+3222.3 s]
/proc/loadavg: 4.47 4.22 4.08 5/263 123002
/proc/meminfo: memFree=124895252/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=1308692 memory=986192 CPUtime=3212.23 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 182963 0 0 0 320588 635 0 0 20 0 1 0 141058791 1340100608 246548 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 327173 246548 4480 2834 0 309378 0
Current children cumulated CPU time: 3212.23 s
Current children cumulated vsize: 1308692 KiB
Current children cumulated memory: 986192 KiB
[startup+3282.3 s]
/proc/loadavg: 4.28 4.22 4.09 5/262 123004
/proc/meminfo: memFree=124882940/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=1308692 memory=986192 CPUtime=3272.07 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 182963 0 0 0 326566 641 0 0 20 0 1 0 141058791 1340100608 246548 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 327173 246548 4480 2834 0 309378 0
Current children cumulated CPU time: 3272.07 s
Current children cumulated vsize: 1308692 KiB
Current children cumulated memory: 986192 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.20 4.09 5/262 123006
/proc/meminfo: memFree=124878788/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=1308692 memory=992336 CPUtime=3331.92 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 182966 0 0 0 332543 649 0 0 20 0 1 0 141058791 1340100608 248084 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 327173 248084 4480 2834 0 309378 0
Current children cumulated CPU time: 3331.92 s
Current children cumulated vsize: 1308692 KiB
Current children cumulated memory: 992336 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.17 4.09 5/263 123009
/proc/meminfo: memFree=124878584/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=1308692 memory=992336 CPUtime=3391.76 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 182966 0 0 0 338518 658 0 0 20 0 1 0 141058791 1340100608 248084 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 327173 248084 4480 2834 0 309378 0
Current children cumulated CPU time: 3391.76 s
Current children cumulated vsize: 1308692 KiB
Current children cumulated memory: 992336 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.17 4.09 5/264 123018
/proc/meminfo: memFree=124878924/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=1308692 memory=992336 CPUtime=3451.6 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 183079 0 0 0 344496 664 0 0 20 0 1 0 141058791 1340100608 248084 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 327173 248084 4480 2834 0 309378 0
Current children cumulated CPU time: 3451.6 s
Current children cumulated vsize: 1308692 KiB
Current children cumulated memory: 992336 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.15 4.09 5/264 123020
/proc/meminfo: memFree=124866548/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=1308692 memory=994384 CPUtime=3511.45 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 183081 0 0 0 350472 673 0 0 20 0 1 0 141058791 1340100608 248596 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 327173 248596 4480 2834 0 309378 0
Current children cumulated CPU time: 3511.45 s
Current children cumulated vsize: 1308692 KiB
Current children cumulated memory: 994384 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.15 4.09 5/264 123022
/proc/meminfo: memFree=124866176/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=1308692 memory=994384 CPUtime=3571.3 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 183081 0 0 0 356449 681 0 0 20 0 1 0 141058791 1340100608 248596 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 327173 248596 4480 2834 0 309378 0
Current children cumulated CPU time: 3571.3 s
Current children cumulated vsize: 1308692 KiB
Current children cumulated memory: 994384 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 4.18 4.16 4.10 5/264 123158
/proc/meminfo: memFree=127109092/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=1308692 memory=998480 CPUtime=3600.03 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 183083 0 0 0 359318 685 0 0 20 0 1 0 141058791 1340100608 249620 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 327173 249620 4480 2834 0 309378 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1308692 KiB
Current children cumulated memory: 998480 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.12 s]
# the end of solver process 122843 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.19 s, system=6.8563 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]
/proc/loadavg: 4.18 4.16 4.10 5/264 123158
/proc/meminfo: memFree=127109092/131249996 swapFree=33006296/33010684
[pid=122843] ppid=122840 vsize=1308692 memory=998480 CPUtime=3600.03 cores=1,3
/proc/122843/stat : 122843 (mixed-bag) R 122840 122843 122684 0 -1 4194304 183083 0 0 0 359318 685 0 0 20 0 1 0 141058791 1340100608 249620 18446744073709551615 4235264 15840557 140737264507280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24559616 140737264511386 140737264511463 140737264511463 140737264517067 0
/proc/122843/statm: 327173 249620 4480 2834 0 309378 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1308692 KiB
Current children cumulated memory: 998480 KiB
Child status: 0
Real time (s): 3611.12
CPU time (s): 3600.05
CPU user time (s): 3593.19
CPU system time (s): 6.8563
CPU usage (%): 99.6934
Max. virtual memory (cumulated for all children) (KiB): 1308692
Max. memory (cumulated for all children) (KiB): 998480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.19
system time used= 6.8563
maximum resident set size= 999120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183113
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= 191
involuntary context switches= 4848
# summary of solver processes directly reported to runsolver:
# pid: 122843
# total CPU time (s): 3600.05
# total CPU user time (s): 3593.19
# total CPU system time (s): 6.8563
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39739 second user time and 15.3497 second system time
The end
Begin job on nodeC015 at 2025-07-11 19:10:13
IDJOB=4528984
IDBENCH=146672
IDSOLVER=3386
FILE ID=nodeC015/4528984-1752253813
RUNJOBID= nodeC015-1752253809-122696
SLURM_JOB_ID= 9682590
Free space on /tmp= 432360 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528984-1752253813/watcher-4528984-1752253813 -o /tmp/evaluation-result-4528984-1752253813/solver-4528984-1752253813 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752253809-122696 --watchdog 3760 mixed-bag HOME/instance-4528984-1752253813.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 05a4468103b1b74e5a90bd7e67aed0d9
RANDOM SEED=404038830
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.120
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3604.824
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3602.870
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.082
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.911
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.544
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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.860
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.067
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 127395608 kB
MemAvailable: 128325224 kB
Buffers: 1508 kB
Cached: 1708792 kB
SwapCached: 3880 kB
Active: 1604904 kB
Inactive: 1459372 kB
Active(anon): 1319408 kB
Inactive(anon): 48724 kB
Active(file): 285496 kB
Inactive(file): 1410648 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 66352 kB
Writeback: 0 kB
AnonPages: 1352352 kB
Mapped: 135412 kB
Shmem: 14152 kB
KReclaimable: 145420 kB
Slab: 238936 kB
SReclaimable: 145420 kB
SUnreclaim: 93516 kB
KernelStack: 4304 kB
PageTables: 5984 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1813492 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 354304 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432192 MiB
End job on nodeC015 at 2025-07-11 20:10:24