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.39/0.48 c Papilo could not simplify the problem
0.39/0.48 c [STEP] solving with SCIP
299.27/300.67 c [STEP] preprocessing done, loading into solver
299.48/300.82 c [STEP] solving
299.48/300.82 c #variables 1273 #constraints 94227
299.48/300.82 c SMALL=int, LARGE=long long
299.48/300.82 c bounds - >= -1272 @ 299.063
299.48/300.82 c stratification level: 0
329.94/331.42 c bounds - >= -238 @ 299.121
329.94/331.42 c bounds - >= -237 @ 299.122
329.94/331.42 c bounds - >= -236 @ 299.122
329.94/331.42 c bounds - >= -235 @ 299.123
329.94/331.42 c bounds - >= -234 @ 299.123
329.94/331.42 c bounds - >= -233 @ 299.123
329.94/331.42 c bounds - >= -232 @ 299.123
329.94/331.42 c bounds - >= -231 @ 299.123
329.94/331.42 c bounds - >= -230 @ 299.123
329.94/331.42 c bounds - >= -229 @ 299.123
329.94/331.42 c bounds - >= -228 @ 299.123
329.94/331.42 c bounds - >= -227 @ 299.124
329.94/331.42 c bounds - >= -226 @ 299.125
329.94/331.42 c bounds - >= -225 @ 299.126
329.94/331.42 c bounds - >= -224 @ 299.126
329.94/331.42 c bounds - >= -223 @ 299.126
329.94/331.42 c bounds - >= -222 @ 299.127
329.94/331.42 c bounds - >= -221 @ 299.128
329.94/331.42 c bounds - >= -220 @ 299.129
329.94/331.42 c bounds - >= -219 @ 299.13
329.94/331.42 c bounds - >= -218 @ 299.13
329.94/331.42 c bounds - >= -217 @ 299.131
329.94/331.42 c bounds - >= -216 @ 299.132
329.94/331.42 c bounds - >= -215 @ 299.132
329.94/331.42 c bounds - >= -214 @ 299.133
329.94/331.42 c bounds - >= -213 @ 299.133
329.94/331.42 c bounds - >= -212 @ 299.134
329.94/331.42 c bounds - >= -211 @ 299.134
329.94/331.42 c bounds - >= -210 @ 299.134
329.94/331.42 c bounds - >= -209 @ 299.135
329.94/331.42 c bounds - >= -208 @ 299.137
329.94/331.42 c #Conflicts: 1000 | #Constraints: 95495
329.94/331.42 c #Conflicts: 2000 | #Constraints: 96495
329.94/331.42 c INPROCESSING
329.94/331.42 c GARBAGE COLLECT
329.94/331.42 c #Conflicts: 3000 | #Constraints: 96465
329.94/331.42 c #Conflicts: 4000 | #Constraints: 97465
329.94/331.42 c INPROCESSING
329.94/331.42 c GARBAGE COLLECT
329.94/331.42 c #Conflicts: 5000 | #Constraints: 96871
329.94/331.42 c #Conflicts: 6000 | #Constraints: 97871
329.94/331.42 c INPROCESSING
329.94/331.42 c GARBAGE COLLECT
329.94/331.42 c #Conflicts: 7000 | #Constraints: 96875
329.94/331.42 c #Conflicts: 8000 | #Constraints: 97875
329.94/331.42 c #Conflicts: 9000 | #Constraints: 98875
329.94/331.42 c INPROCESSING
329.94/331.42 c GARBAGE COLLECT
329.94/331.42 c #Conflicts: 10000 | #Constraints: 97573
329.94/331.42 c #Conflicts: 11000 | #Constraints: 98573
329.94/331.42 c #Conflicts: 12000 | #Constraints: 99573
329.94/331.42 c INPROCESSING
329.94/331.42 c GARBAGE COLLECT
329.94/331.42 c #Conflicts: 13000 | #Constraints: 98024
329.94/331.42 c #Conflicts: 14000 | #Constraints: 99024
329.94/331.42 c #Conflicts: 15000 | #Constraints: 100024
329.94/331.42 c INPROCESSING
329.94/331.42 c GARBAGE COLLECT
329.94/331.42 c #Conflicts: 16000 | #Constraints: 98258
329.94/331.42 c #Conflicts: 17000 | #Constraints: 99258
329.94/331.42 c #Conflicts: 18000 | #Constraints: 100258
329.94/331.42 c INPROCESSING
329.94/331.42 c GARBAGE COLLECT
329.94/331.42 c #Conflicts: 19000 | #Constraints: 98272
329.94/331.42 c #Conflicts: 20000 | #Constraints: 99272
329.94/331.42 c #Conflicts: 21000 | #Constraints: 100272
329.94/331.42 c INPROCESSING
329.94/331.42 c GARBAGE COLLECT
329.94/331.42 c #Conflicts: 22000 | #Constraints: 98081
329.94/331.42 c #Conflicts: 23000 | #Constraints: 99081
329.94/331.42 c #Conflicts: 24000 | #Constraints: 100081
329.94/331.42 c #Conflicts: 25000 | #Constraints: 101081
329.94/331.42 c INPROCESSING
329.94/331.42 c GARBAGE COLLECT
329.94/331.42 c #Conflicts: 26000 | #Constraints: 98684
329.94/331.42 c #Conflicts: 27000 | #Constraints: 99684
329.94/331.42 c #Conflicts: 28000 | #Constraints: 100684
329.94/331.42 c #Conflicts: 29000 | #Constraints: 101684
329.94/331.42 c INPROCESSING
329.94/331.42 c GARBAGE COLLECT
329.94/331.42 c #Conflicts: 30000 | #Constraints: 99089
329.94/331.42 c #Conflicts: 31000 | #Constraints: 100089
329.94/331.42 c #Conflicts: 32000 | #Constraints: 101089
329.94/331.42 c #Conflicts: 33000 | #Constraints: 102089
329.94/331.42 c INPROCESSING
329.94/331.42 c GARBAGE COLLECT
329.94/331.42 c #Conflicts: 34000 | #Constraints: 99298
329.94/331.42 c #Conflicts: 35000 | #Constraints: 100298
329.94/331.42 c #Conflicts: 36000 | #Constraints: 101298
329.94/331.42 c #Conflicts: 37000 | #Constraints: 102298
329.94/331.42 c INPROCESSING
329.94/331.42 c GARBAGE COLLECT
329.94/331.42 c #Conflicts: 38000 | #Constraints: 99298
329.94/331.42 c #Conflicts: 39000 | #Constraints: 100298
329.94/331.42 c #Conflicts: 40000 | #Constraints: 101298
329.94/331.42 c #Conflicts: 41000 | #Constraints: 102298
329.94/331.42 c INPROCESSING
329.94/331.42 c GARBAGE COLLECT
329.94/331.42 c #Conflicts: 42000 | #Constraints: 99098
329.94/331.42 c #Conflicts: 43000 | #Constraints: 100098
329.94/331.42 c #Conflicts: 44000 | #Constraints: 101098
329.94/331.42 c #Conflicts: 45000 | #Constraints: 102098
329.94/331.42 c #Conflicts: 46000 | #Constraints: 103098
329.94/331.42 c INPROCESSING
329.94/331.42 c GARBAGE COLLECT
329.94/331.42 c #Conflicts: 47000 | #Constraints: 99695
329.94/331.42 c #Conflicts: 48000 | #Constraints: 100695
329.94/331.42 c #Conflicts: 49000 | #Constraints: 101695
329.94/331.42 c #Conflicts: 50000 | #Constraints: 102695
329.94/331.42 c #Conflicts: 51000 | #Constraints: 103695
329.94/331.42 c INPROCESSING
329.94/331.42 c GARBAGE COLLECT
329.94/331.42 c #Conflicts: 52000 | #Constraints: 100097
391.67/393.44 c #Conflicts: 53000 | #Constraints: 101097
391.67/393.44 c #Conflicts: 54000 | #Constraints: 102097
391.67/393.44 c #Conflicts: 55000 | #Constraints: 103097
391.67/393.44 c #Conflicts: 56000 | #Constraints: 104097
391.67/393.44 c INPROCESSING
391.67/393.44 c GARBAGE COLLECT
391.67/393.44 c #Conflicts: 57000 | #Constraints: 100301
391.67/393.44 c #Conflicts: 58000 | #Constraints: 101301
391.67/393.44 c #Conflicts: 59000 | #Constraints: 102301
391.67/393.44 c #Conflicts: 60000 | #Constraints: 103301
391.67/393.44 c #Conflicts: 61000 | #Constraints: 104301
391.67/393.44 c INPROCESSING
391.67/393.44 c GARBAGE COLLECT
391.67/393.44 c #Conflicts: 62000 | #Constraints: 100300
391.67/393.44 c #Conflicts: 63000 | #Constraints: 101300
391.67/393.44 c #Conflicts: 64000 | #Constraints: 102300
391.67/393.44 c #Conflicts: 65000 | #Constraints: 103300
391.67/393.44 c #Conflicts: 66000 | #Constraints: 104300
391.67/393.44 c INPROCESSING
391.67/393.44 c GARBAGE COLLECT
391.67/393.44 c #Conflicts: 67000 | #Constraints: 100091
391.67/393.44 c #Conflicts: 68000 | #Constraints: 101091
391.67/393.44 c #Conflicts: 69000 | #Constraints: 102091
391.67/393.44 c #Conflicts: 70000 | #Constraints: 103091
391.67/393.44 c #Conflicts: 71000 | #Constraints: 104091
391.67/393.44 c #Conflicts: 72000 | #Constraints: 105091
391.67/393.44 c INPROCESSING
391.67/393.44 c GARBAGE COLLECT
391.67/393.44 c #Conflicts: 73000 | #Constraints: 100694
391.67/393.44 c #Conflicts: 74000 | #Constraints: 101694
391.67/393.44 c #Conflicts: 75000 | #Constraints: 102694
391.67/393.44 c #Conflicts: 76000 | #Constraints: 103694
391.67/393.44 c #Conflicts: 77000 | #Constraints: 104694
391.67/393.44 c #Conflicts: 78000 | #Constraints: 105694
391.67/393.44 c INPROCESSING
391.67/393.44 c GARBAGE COLLECT
391.67/393.44 c #Conflicts: 79000 | #Constraints: 101089
391.67/393.44 c #Conflicts: 80000 | #Constraints: 102089
391.67/393.44 c #Conflicts: 81000 | #Constraints: 103089
391.67/393.44 c #Conflicts: 82000 | #Constraints: 104089
391.67/393.44 c #Conflicts: 83000 | #Constraints: 105089
391.67/393.44 c #Conflicts: 84000 | #Constraints: 106089
391.67/393.44 c INPROCESSING
391.67/393.44 c GARBAGE COLLECT
391.67/393.44 c #Conflicts: 85000 | #Constraints: 101297
391.67/393.44 c #Conflicts: 86000 | #Constraints: 102297
391.67/393.44 c #Conflicts: 87000 | #Constraints: 103297
391.67/393.44 c #Conflicts: 88000 | #Constraints: 104297
391.67/393.44 c #Conflicts: 89000 | #Constraints: 105297
391.67/393.44 c #Conflicts: 90000 | #Constraints: 106297
391.67/393.44 c INPROCESSING
391.67/393.44 c GARBAGE COLLECT
391.67/393.44 c #Conflicts: 91000 | #Constraints: 101296
391.67/393.44 c #Conflicts: 92000 | #Constraints: 102296
391.67/393.44 c #Conflicts: 93000 | #Constraints: 103296
391.67/393.44 c #Conflicts: 94000 | #Constraints: 104296
391.67/393.44 c #Conflicts: 95000 | #Constraints: 105296
391.67/393.44 c #Conflicts: 96000 | #Constraints: 106296
391.67/393.44 c INPROCESSING
391.67/393.44 c GARBAGE COLLECT
391.67/393.44 c #Conflicts: 97000 | #Constraints: 101122
391.67/393.44 c #Conflicts: 98000 | #Constraints: 102122
391.67/393.44 c #Conflicts: 99000 | #Constraints: 103122
391.67/393.44 c #Conflicts: 100000 | #Constraints: 104122
391.67/393.44 c #Conflicts: 101000 | #Constraints: 105122
391.67/393.44 c #Conflicts: 102000 | #Constraints: 106122
391.67/393.44 c #Conflicts: 103000 | #Constraints: 107122
391.67/393.44 c INPROCESSING
391.67/393.44 c GARBAGE COLLECT
391.67/393.44 c #Conflicts: 104000 | #Constraints: 101722
391.67/393.44 c #Conflicts: 105000 | #Constraints: 102722
391.67/393.44 c #Conflicts: 106000 | #Constraints: 103722
391.67/393.44 c #Conflicts: 107000 | #Constraints: 104722
391.67/393.44 c #Conflicts: 108000 | #Constraints: 105722
391.67/393.44 c #Conflicts: 109000 | #Constraints: 106722
391.67/393.44 c #Conflicts: 110000 | #Constraints: 107722
391.67/393.44 c INPROCESSING
391.67/393.44 c GARBAGE COLLECT
391.67/393.44 c #Conflicts: 111000 | #Constraints: 102122
391.67/393.44 c #Conflicts: 112000 | #Constraints: 103122
391.67/393.44 c #Conflicts: 113000 | #Constraints: 104122
391.67/393.44 c #Conflicts: 114000 | #Constraints: 105122
391.67/393.44 c #Conflicts: 115000 | #Constraints: 106122
391.67/393.44 c #Conflicts: 116000 | #Constraints: 107122
391.67/393.44 c #Conflicts: 117000 | #Constraints: 108122
391.67/393.44 c INPROCESSING
391.67/393.44 c GARBAGE COLLECT
391.67/393.44 c #Conflicts: 118000 | #Constraints: 102316
391.67/393.44 c #Conflicts: 119000 | #Constraints: 103316
391.67/393.44 c #Conflicts: 120000 | #Constraints: 104316
391.67/393.44 c #Conflicts: 121000 | #Constraints: 105316
391.67/393.44 c #Conflicts: 122000 | #Constraints: 106316
391.67/393.44 c #Conflicts: 123000 | #Constraints: 107316
391.67/393.44 c #Conflicts: 124000 | #Constraints: 108316
471.54/473.63 c INPROCESSING
471.54/473.63 c GARBAGE COLLECT
471.54/473.63 c #Conflicts: 125000 | #Constraints: 102317
471.54/473.63 c #Conflicts: 126000 | #Constraints: 103317
471.54/473.63 c #Conflicts: 127000 | #Constraints: 104317
471.54/473.63 c #Conflicts: 128000 | #Constraints: 105317
471.54/473.63 c #Conflicts: 129000 | #Constraints: 106317
471.54/473.63 c #Conflicts: 130000 | #Constraints: 107317
471.54/473.63 c #Conflicts: 131000 | #Constraints: 108317
471.54/473.63 c INPROCESSING
471.54/473.63 c GARBAGE COLLECT
471.54/473.63 c #Conflicts: 132000 | #Constraints: 102119
471.54/473.63 c #Conflicts: 133000 | #Constraints: 103119
471.54/473.63 c #Conflicts: 134000 | #Constraints: 104119
471.54/473.63 c #Conflicts: 135000 | #Constraints: 105119
471.54/473.63 c #Conflicts: 136000 | #Constraints: 106119
471.54/473.63 c #Conflicts: 137000 | #Constraints: 107119
471.54/473.63 c #Conflicts: 138000 | #Constraints: 108119
471.54/473.63 c #Conflicts: 139000 | #Constraints: 109119
471.54/473.63 c INPROCESSING
471.54/473.63 c GARBAGE COLLECT
471.54/473.63 c #Conflicts: 140000 | #Constraints: 102727
471.54/473.63 c #Conflicts: 141000 | #Constraints: 103727
471.54/473.63 c #Conflicts: 142000 | #Constraints: 104727
471.54/473.63 c #Conflicts: 143000 | #Constraints: 105727
471.54/473.63 c #Conflicts: 144000 | #Constraints: 106727
471.54/473.63 c #Conflicts: 145000 | #Constraints: 107727
471.54/473.63 c #Conflicts: 146000 | #Constraints: 108727
471.54/473.63 c #Conflicts: 147000 | #Constraints: 109727
471.54/473.63 c INPROCESSING
471.54/473.63 c GARBAGE COLLECT
471.54/473.63 c #Conflicts: 148000 | #Constraints: 103120
471.54/473.63 c #Conflicts: 149000 | #Constraints: 104120
471.54/473.63 c #Conflicts: 150000 | #Constraints: 105120
471.54/473.63 c #Conflicts: 151000 | #Constraints: 106120
471.54/473.63 c #Conflicts: 152000 | #Constraints: 107120
471.54/473.63 c #Conflicts: 153000 | #Constraints: 108120
471.54/473.63 c #Conflicts: 154000 | #Constraints: 109120
471.54/473.63 c #Conflicts: 155000 | #Constraints: 110120
471.54/473.63 c INPROCESSING
471.54/473.63 c GARBAGE COLLECT
471.54/473.63 c #Conflicts: 156000 | #Constraints: 103315
471.54/473.63 c #Conflicts: 157000 | #Constraints: 104315
471.54/473.63 c #Conflicts: 158000 | #Constraints: 105315
471.54/473.63 c #Conflicts: 159000 | #Constraints: 106315
471.54/473.63 c #Conflicts: 160000 | #Constraints: 107315
471.54/473.63 c #Conflicts: 161000 | #Constraints: 108315
471.54/473.63 c #Conflicts: 162000 | #Constraints: 109315
471.54/473.63 c #Conflicts: 163000 | #Constraints: 110315
471.54/473.63 c INPROCESSING
471.54/473.63 c GARBAGE COLLECT
471.54/473.63 c #Conflicts: 164000 | #Constraints: 103338
471.54/473.63 c #Conflicts: 165000 | #Constraints: 104338
471.54/473.63 c #Conflicts: 166000 | #Constraints: 105338
471.54/473.63 c #Conflicts: 167000 | #Constraints: 106338
471.54/473.63 c #Conflicts: 168000 | #Constraints: 107338
471.54/473.63 c #Conflicts: 169000 | #Constraints: 108338
471.54/473.63 c #Conflicts: 170000 | #Constraints: 109338
471.54/473.63 c #Conflicts: 171000 | #Constraints: 110338
471.54/473.63 c INPROCESSING
471.54/473.63 c GARBAGE COLLECT
471.54/473.63 c #Conflicts: 172000 | #Constraints: 103119
471.54/473.63 c #Conflicts: 173000 | #Constraints: 104119
471.54/473.63 c #Conflicts: 174000 | #Constraints: 105119
471.54/473.63 c #Conflicts: 175000 | #Constraints: 106119
471.54/473.63 c #Conflicts: 176000 | #Constraints: 107119
471.54/473.63 c #Conflicts: 177000 | #Constraints: 108119
471.54/473.63 c #Conflicts: 178000 | #Constraints: 109119
471.54/473.63 c #Conflicts: 179000 | #Constraints: 110119
471.54/473.63 c #Conflicts: 180000 | #Constraints: 111119
471.54/473.63 c INPROCESSING
471.54/473.63 c GARBAGE COLLECT
471.54/473.63 c #Conflicts: 181000 | #Constraints: 103719
471.54/473.63 c #Conflicts: 182000 | #Constraints: 104719
471.54/473.63 c #Conflicts: 183000 | #Constraints: 105719
471.54/473.63 c #Conflicts: 184000 | #Constraints: 106719
471.54/473.63 c #Conflicts: 185000 | #Constraints: 107719
471.54/473.63 c #Conflicts: 186000 | #Constraints: 108719
471.54/473.63 c #Conflicts: 187000 | #Constraints: 109719
471.54/473.63 c #Conflicts: 188000 | #Constraints: 110719
471.54/473.63 c #Conflicts: 189000 | #Constraints: 111719
471.54/473.63 c INPROCESSING
471.54/473.63 c GARBAGE COLLECT
471.54/473.63 c #Conflicts: 190000 | #Constraints: 104125
471.54/473.63 c #Conflicts: 191000 | #Constraints: 105125
471.54/473.63 c #Conflicts: 192000 | #Constraints: 106125
471.54/473.63 c #Conflicts: 193000 | #Constraints: 107125
471.54/473.63 c #Conflicts: 194000 | #Constraints: 108125
471.54/473.63 c #Conflicts: 195000 | #Constraints: 109125
471.54/473.63 c #Conflicts: 196000 | #Constraints: 110125
471.54/473.63 c #Conflicts: 197000 | #Constraints: 111125
569.74/572.21 c #Conflicts: 198000 | #Constraints: 112125
569.74/572.21 c INPROCESSING
569.74/572.21 c GARBAGE COLLECT
569.74/572.21 c #Conflicts: 199000 | #Constraints: 104334
569.74/572.21 c #Conflicts: 200000 | #Constraints: 105334
569.74/572.21 c #Conflicts: 201000 | #Constraints: 106334
569.74/572.21 c #Conflicts: 202000 | #Constraints: 107334
569.74/572.21 c #Conflicts: 203000 | #Constraints: 108334
569.74/572.21 c #Conflicts: 204000 | #Constraints: 109334
569.74/572.21 c #Conflicts: 205000 | #Constraints: 110334
569.74/572.21 c #Conflicts: 206000 | #Constraints: 111334
569.74/572.21 c #Conflicts: 207000 | #Constraints: 112334
569.74/572.21 c INPROCESSING
569.74/572.21 c GARBAGE COLLECT
569.74/572.21 c #Conflicts: 208000 | #Constraints: 104359
569.74/572.21 c #Conflicts: 209000 | #Constraints: 105359
569.74/572.21 c #Conflicts: 210000 | #Constraints: 106359
569.74/572.21 c #Conflicts: 211000 | #Constraints: 107359
569.74/572.21 c #Conflicts: 212000 | #Constraints: 108359
569.74/572.21 c #Conflicts: 213000 | #Constraints: 109359
569.74/572.21 c #Conflicts: 214000 | #Constraints: 110359
569.74/572.21 c #Conflicts: 215000 | #Constraints: 111359
569.74/572.21 c #Conflicts: 216000 | #Constraints: 112359
569.74/572.21 c INPROCESSING
569.74/572.21 c GARBAGE COLLECT
569.74/572.21 c #Conflicts: 217000 | #Constraints: 104155
569.74/572.21 c #Conflicts: 218000 | #Constraints: 105155
569.74/572.21 c #Conflicts: 219000 | #Constraints: 106155
569.74/572.21 c #Conflicts: 220000 | #Constraints: 107155
569.74/572.21 c #Conflicts: 221000 | #Constraints: 108155
569.74/572.21 c #Conflicts: 222000 | #Constraints: 109155
569.74/572.21 c #Conflicts: 223000 | #Constraints: 110155
569.74/572.21 c #Conflicts: 224000 | #Constraints: 111155
569.74/572.21 c #Conflicts: 225000 | #Constraints: 112155
569.74/572.21 c #Conflicts: 226000 | #Constraints: 113155
569.74/572.21 c INPROCESSING
569.74/572.21 c GARBAGE COLLECT
569.74/572.21 c #Conflicts: 227000 | #Constraints: 104755
569.74/572.21 c #Conflicts: 228000 | #Constraints: 105755
569.74/572.21 c #Conflicts: 229000 | #Constraints: 106755
569.74/572.21 c #Conflicts: 230000 | #Constraints: 107755
569.74/572.21 c #Conflicts: 231000 | #Constraints: 108755
569.74/572.21 c #Conflicts: 232000 | #Constraints: 109755
569.74/572.21 c #Conflicts: 233000 | #Constraints: 110755
569.74/572.21 c #Conflicts: 234000 | #Constraints: 111755
569.74/572.21 c #Conflicts: 235000 | #Constraints: 112755
569.74/572.21 c #Conflicts: 236000 | #Constraints: 113755
569.74/572.21 c INPROCESSING
569.74/572.21 c GARBAGE COLLECT
569.74/572.21 c #Conflicts: 237000 | #Constraints: 105150
569.74/572.21 c #Conflicts: 238000 | #Constraints: 106150
569.74/572.21 c #Conflicts: 239000 | #Constraints: 107150
569.74/572.21 c #Conflicts: 240000 | #Constraints: 108150
569.74/572.21 c #Conflicts: 241000 | #Constraints: 109150
569.74/572.21 c #Conflicts: 242000 | #Constraints: 110150
569.74/572.21 c #Conflicts: 243000 | #Constraints: 111150
569.74/572.21 c #Conflicts: 244000 | #Constraints: 112150
569.74/572.21 c #Conflicts: 245000 | #Constraints: 113150
569.74/572.21 c #Conflicts: 246000 | #Constraints: 114150
569.74/572.21 c INPROCESSING
569.74/572.21 c GARBAGE COLLECT
569.74/572.21 c #Conflicts: 247000 | #Constraints: 105341
569.74/572.21 c #Conflicts: 248000 | #Constraints: 106341
569.74/572.21 c #Conflicts: 249000 | #Constraints: 107341
569.74/572.21 c #Conflicts: 250000 | #Constraints: 108341
569.74/572.21 c #Conflicts: 251000 | #Constraints: 109341
569.74/572.21 c #Conflicts: 252000 | #Constraints: 110341
569.74/572.21 c #Conflicts: 253000 | #Constraints: 111341
569.74/572.21 c #Conflicts: 254000 | #Constraints: 112341
569.74/572.21 c #Conflicts: 255000 | #Constraints: 113341
569.74/572.21 c #Conflicts: 256000 | #Constraints: 114341
569.74/572.21 c INPROCESSING
569.74/572.21 c GARBAGE COLLECT
569.74/572.21 c #Conflicts: 257000 | #Constraints: 105336
569.74/572.21 c #Conflicts: 258000 | #Constraints: 106336
569.74/572.21 c #Conflicts: 259000 | #Constraints: 107336
569.74/572.21 c #Conflicts: 260000 | #Constraints: 108336
569.74/572.21 c #Conflicts: 261000 | #Constraints: 109336
569.74/572.21 c #Conflicts: 262000 | #Constraints: 110336
569.74/572.21 c #Conflicts: 263000 | #Constraints: 111336
569.74/572.21 c #Conflicts: 264000 | #Constraints: 112336
569.74/572.21 c #Conflicts: 265000 | #Constraints: 113336
569.74/572.21 c #Conflicts: 266000 | #Constraints: 114336
569.74/572.21 c INPROCESSING
569.74/572.21 c GARBAGE COLLECT
569.74/572.21 c #Conflicts: 267000 | #Constraints: 105130
569.74/572.21 c #Conflicts: 268000 | #Constraints: 106130
569.74/572.21 c #Conflicts: 269000 | #Constraints: 107130
569.74/572.21 c #Conflicts: 270000 | #Constraints: 108130
569.74/572.21 c #Conflicts: 271000 | #Constraints: 109130
687.77/690.72 c #Conflicts: 272000 | #Constraints: 110130
687.77/690.72 c #Conflicts: 273000 | #Constraints: 111130
687.77/690.72 c #Conflicts: 274000 | #Constraints: 112130
687.77/690.72 c #Conflicts: 275000 | #Constraints: 113130
687.77/690.72 c #Conflicts: 276000 | #Constraints: 114130
687.77/690.72 c #Conflicts: 277000 | #Constraints: 115130
687.77/690.72 c INPROCESSING
687.77/690.72 c GARBAGE COLLECT
687.77/690.72 c #Conflicts: 278000 | #Constraints: 105732
687.77/690.72 c #Conflicts: 279000 | #Constraints: 106732
687.77/690.72 c #Conflicts: 280000 | #Constraints: 107732
687.77/690.72 c #Conflicts: 281000 | #Constraints: 108732
687.77/690.72 c #Conflicts: 282000 | #Constraints: 109732
687.77/690.72 c #Conflicts: 283000 | #Constraints: 110732
687.77/690.72 c #Conflicts: 284000 | #Constraints: 111732
687.77/690.72 c #Conflicts: 285000 | #Constraints: 112732
687.77/690.72 c #Conflicts: 286000 | #Constraints: 113732
687.77/690.72 c #Conflicts: 287000 | #Constraints: 114732
687.77/690.72 c #Conflicts: 288000 | #Constraints: 115732
687.77/690.72 c INPROCESSING
687.77/690.72 c GARBAGE COLLECT
687.77/690.72 c #Conflicts: 289000 | #Constraints: 106153
687.77/690.72 c #Conflicts: 290000 | #Constraints: 107153
687.77/690.72 c #Conflicts: 291000 | #Constraints: 108153
687.77/690.72 c #Conflicts: 292000 | #Constraints: 109153
687.77/690.72 c #Conflicts: 293000 | #Constraints: 110153
687.77/690.72 c #Conflicts: 294000 | #Constraints: 111153
687.77/690.72 c #Conflicts: 295000 | #Constraints: 112153
687.77/690.72 c #Conflicts: 296000 | #Constraints: 113153
687.77/690.72 c #Conflicts: 297000 | #Constraints: 114153
687.77/690.72 c #Conflicts: 298000 | #Constraints: 115153
687.77/690.72 c #Conflicts: 299000 | #Constraints: 116153
687.77/690.72 c INPROCESSING
687.77/690.72 c GARBAGE COLLECT
687.77/690.72 c #Conflicts: 300000 | #Constraints: 106347
687.77/690.72 c #Conflicts: 301000 | #Constraints: 107347
687.77/690.72 c #Conflicts: 302000 | #Constraints: 108347
687.77/690.72 c #Conflicts: 303000 | #Constraints: 109347
687.77/690.72 c #Conflicts: 304000 | #Constraints: 110347
687.77/690.72 c #Conflicts: 305000 | #Constraints: 111347
687.77/690.72 c #Conflicts: 306000 | #Constraints: 112347
687.77/690.72 c #Conflicts: 307000 | #Constraints: 113347
687.77/690.72 c #Conflicts: 308000 | #Constraints: 114347
687.77/690.72 c #Conflicts: 309000 | #Constraints: 115347
687.77/690.72 c #Conflicts: 310000 | #Constraints: 116347
687.77/690.72 c INPROCESSING
687.77/690.72 c GARBAGE COLLECT
687.77/690.72 c #Conflicts: 311000 | #Constraints: 106344
687.77/690.72 c #Conflicts: 312000 | #Constraints: 107344
687.77/690.72 c #Conflicts: 313000 | #Constraints: 108344
687.77/690.72 c #Conflicts: 314000 | #Constraints: 109344
687.77/690.72 c #Conflicts: 315000 | #Constraints: 110344
687.77/690.72 c #Conflicts: 316000 | #Constraints: 111344
687.77/690.72 c #Conflicts: 317000 | #Constraints: 112344
687.77/690.72 c #Conflicts: 318000 | #Constraints: 113344
687.77/690.72 c #Conflicts: 319000 | #Constraints: 114344
687.77/690.72 c #Conflicts: 320000 | #Constraints: 115344
687.77/690.72 c #Conflicts: 321000 | #Constraints: 116344
687.77/690.72 c INPROCESSING
687.77/690.72 c GARBAGE COLLECT
687.77/690.72 c #Conflicts: 322000 | #Constraints: 106139
687.77/690.72 c #Conflicts: 323000 | #Constraints: 107139
687.77/690.72 c #Conflicts: 324000 | #Constraints: 108139
687.77/690.72 c #Conflicts: 325000 | #Constraints: 109139
687.77/690.72 c #Conflicts: 326000 | #Constraints: 110139
687.77/690.72 c #Conflicts: 327000 | #Constraints: 111139
687.77/690.72 c #Conflicts: 328000 | #Constraints: 112139
687.77/690.72 c #Conflicts: 329000 | #Constraints: 113139
687.77/690.72 c #Conflicts: 330000 | #Constraints: 114139
687.77/690.72 c #Conflicts: 331000 | #Constraints: 115139
687.77/690.72 c #Conflicts: 332000 | #Constraints: 116139
687.77/690.72 c #Conflicts: 333000 | #Constraints: 117139
687.77/690.72 c INPROCESSING
687.77/690.72 c GARBAGE COLLECT
687.77/690.72 c #Conflicts: 334000 | #Constraints: 106746
687.77/690.72 c #Conflicts: 335000 | #Constraints: 107746
687.77/690.72 c #Conflicts: 336000 | #Constraints: 108746
687.77/690.72 c #Conflicts: 337000 | #Constraints: 109746
687.77/690.72 c #Conflicts: 338000 | #Constraints: 110746
687.77/690.72 c #Conflicts: 339000 | #Constraints: 111746
687.77/690.72 c #Conflicts: 340000 | #Constraints: 112746
687.77/690.72 c #Conflicts: 341000 | #Constraints: 113746
687.77/690.72 c #Conflicts: 342000 | #Constraints: 114746
687.77/690.72 c #Conflicts: 343000 | #Constraints: 115746
687.77/690.72 c #Conflicts: 344000 | #Constraints: 116746
687.77/690.72 c #Conflicts: 345000 | #Constraints: 117746
687.77/690.72 c INPROCESSING
687.77/690.72 c GARBAGE COLLECT
823.96/827.42 c #Conflicts: 346000 | #Constraints: 107154
823.96/827.42 c #Conflicts: 347000 | #Constraints: 108154
823.96/827.42 c #Conflicts: 348000 | #Constraints: 109154
823.96/827.42 c #Conflicts: 349000 | #Constraints: 110154
823.96/827.42 c #Conflicts: 350000 | #Constraints: 111154
823.96/827.42 c #Conflicts: 351000 | #Constraints: 112154
823.96/827.42 c #Conflicts: 352000 | #Constraints: 113154
823.96/827.42 c #Conflicts: 353000 | #Constraints: 114154
823.96/827.42 c #Conflicts: 354000 | #Constraints: 115154
823.96/827.42 c #Conflicts: 355000 | #Constraints: 116154
823.96/827.42 c #Conflicts: 356000 | #Constraints: 117154
823.96/827.42 c #Conflicts: 357000 | #Constraints: 118154
823.96/827.42 c INPROCESSING
823.96/827.42 c GARBAGE COLLECT
823.96/827.42 c #Conflicts: 358000 | #Constraints: 107344
823.96/827.42 c #Conflicts: 359000 | #Constraints: 108344
823.96/827.42 c #Conflicts: 360000 | #Constraints: 109344
823.96/827.42 c #Conflicts: 361000 | #Constraints: 110344
823.96/827.42 c #Conflicts: 362000 | #Constraints: 111344
823.96/827.42 c #Conflicts: 363000 | #Constraints: 112344
823.96/827.42 c #Conflicts: 364000 | #Constraints: 113344
823.96/827.42 c #Conflicts: 365000 | #Constraints: 114344
823.96/827.42 c #Conflicts: 366000 | #Constraints: 115344
823.96/827.42 c #Conflicts: 367000 | #Constraints: 116344
823.96/827.42 c #Conflicts: 368000 | #Constraints: 117344
823.96/827.42 c #Conflicts: 369000 | #Constraints: 118344
823.96/827.42 c INPROCESSING
823.96/827.42 c GARBAGE COLLECT
823.96/827.42 c #Conflicts: 370000 | #Constraints: 107348
823.96/827.42 c #Conflicts: 371000 | #Constraints: 108348
823.96/827.42 c #Conflicts: 372000 | #Constraints: 109348
823.96/827.42 c #Conflicts: 373000 | #Constraints: 110348
823.96/827.42 c #Conflicts: 374000 | #Constraints: 111348
823.96/827.42 c #Conflicts: 375000 | #Constraints: 112348
823.96/827.42 c #Conflicts: 376000 | #Constraints: 113348
823.96/827.42 c #Conflicts: 377000 | #Constraints: 114348
823.96/827.42 c #Conflicts: 378000 | #Constraints: 115348
823.96/827.42 c #Conflicts: 379000 | #Constraints: 116348
823.96/827.42 c #Conflicts: 380000 | #Constraints: 117348
823.96/827.42 c #Conflicts: 381000 | #Constraints: 118348
823.96/827.42 c INPROCESSING
823.96/827.42 c GARBAGE COLLECT
823.96/827.42 c #Conflicts: 382000 | #Constraints: 107155
823.96/827.42 c #Conflicts: 383000 | #Constraints: 108155
823.96/827.43 c #Conflicts: 384000 | #Constraints: 109155
823.96/827.43 c #Conflicts: 385000 | #Constraints: 110155
823.96/827.43 c #Conflicts: 386000 | #Constraints: 111155
823.96/827.43 c #Conflicts: 387000 | #Constraints: 112155
823.96/827.43 c #Conflicts: 388000 | #Constraints: 113155
823.96/827.43 c #Conflicts: 389000 | #Constraints: 114155
823.96/827.43 c #Conflicts: 390000 | #Constraints: 115155
823.96/827.43 c #Conflicts: 391000 | #Constraints: 116155
823.96/827.43 c #Conflicts: 392000 | #Constraints: 117155
823.96/827.43 c #Conflicts: 393000 | #Constraints: 118155
823.96/827.43 c #Conflicts: 394000 | #Constraints: 119155
823.96/827.43 c INPROCESSING
823.96/827.43 c GARBAGE COLLECT
823.96/827.43 c #Conflicts: 395000 | #Constraints: 107732
823.96/827.43 c #Conflicts: 396000 | #Constraints: 108732
823.96/827.43 c #Conflicts: 397000 | #Constraints: 109732
823.96/827.43 c #Conflicts: 398000 | #Constraints: 110732
823.96/827.43 c #Conflicts: 399000 | #Constraints: 111732
823.96/827.43 c #Conflicts: 400000 | #Constraints: 112732
823.96/827.43 c #Conflicts: 401000 | #Constraints: 113732
823.96/827.43 c #Conflicts: 402000 | #Constraints: 114732
823.96/827.43 c #Conflicts: 403000 | #Constraints: 115732
823.96/827.43 c #Conflicts: 404000 | #Constraints: 116732
823.96/827.43 c #Conflicts: 405000 | #Constraints: 117732
823.96/827.43 c #Conflicts: 406000 | #Constraints: 118732
823.96/827.43 c #Conflicts: 407000 | #Constraints: 119732
823.96/827.43 c INPROCESSING
823.96/827.43 c GARBAGE COLLECT
823.96/827.43 c #Conflicts: 408000 | #Constraints: 108144
823.96/827.43 c #Conflicts: 409000 | #Constraints: 109144
823.96/827.43 c #Conflicts: 410000 | #Constraints: 110144
823.96/827.43 c #Conflicts: 411000 | #Constraints: 111144
823.96/827.43 c #Conflicts: 412000 | #Constraints: 112144
823.96/827.43 c #Conflicts: 413000 | #Constraints: 113144
823.96/827.43 c #Conflicts: 414000 | #Constraints: 114144
823.96/827.43 c #Conflicts: 415000 | #Constraints: 115144
823.96/827.43 c #Conflicts: 416000 | #Constraints: 116144
823.96/827.43 c #Conflicts: 417000 | #Constraints: 117144
823.96/827.43 c #Conflicts: 418000 | #Constraints: 118144
823.96/827.43 c #Conflicts: 419000 | #Constraints: 119144
823.96/827.43 c #Conflicts: 420000 | #Constraints: 120144
823.96/827.43 c INPROCESSING
823.96/827.43 c GARBAGE COLLECT
973.21/977.22 c #Conflicts: 421000 | #Constraints: 108349
973.21/977.22 c #Conflicts: 422000 | #Constraints: 109349
973.21/977.22 c #Conflicts: 423000 | #Constraints: 110349
973.21/977.22 c #Conflicts: 424000 | #Constraints: 111349
973.21/977.22 c #Conflicts: 425000 | #Constraints: 112349
973.21/977.22 c #Conflicts: 426000 | #Constraints: 113349
973.21/977.22 c #Conflicts: 427000 | #Constraints: 114349
973.21/977.22 c #Conflicts: 428000 | #Constraints: 115349
973.21/977.22 c #Conflicts: 429000 | #Constraints: 116349
973.21/977.22 c #Conflicts: 430000 | #Constraints: 117349
973.21/977.22 c #Conflicts: 431000 | #Constraints: 118349
973.21/977.22 c #Conflicts: 432000 | #Constraints: 119349
973.21/977.22 c #Conflicts: 433000 | #Constraints: 120349
973.21/977.22 c INPROCESSING
973.21/977.22 c GARBAGE COLLECT
973.21/977.22 c #Conflicts: 434000 | #Constraints: 108370
973.21/977.22 c #Conflicts: 435000 | #Constraints: 109370
973.21/977.22 c #Conflicts: 436000 | #Constraints: 110370
973.21/977.22 c #Conflicts: 437000 | #Constraints: 111370
973.21/977.22 c #Conflicts: 438000 | #Constraints: 112370
973.21/977.22 c #Conflicts: 439000 | #Constraints: 113370
973.21/977.22 c #Conflicts: 440000 | #Constraints: 114370
973.21/977.22 c #Conflicts: 441000 | #Constraints: 115370
973.21/977.22 c #Conflicts: 442000 | #Constraints: 116370
973.21/977.22 c #Conflicts: 443000 | #Constraints: 117370
973.21/977.22 c #Conflicts: 444000 | #Constraints: 118370
973.21/977.22 c #Conflicts: 445000 | #Constraints: 119370
973.21/977.22 c #Conflicts: 446000 | #Constraints: 120370
973.21/977.22 c INPROCESSING
973.21/977.22 c GARBAGE COLLECT
973.21/977.22 c #Conflicts: 447000 | #Constraints: 108153
973.21/977.22 c #Conflicts: 448000 | #Constraints: 109153
973.21/977.22 c #Conflicts: 449000 | #Constraints: 110153
973.21/977.22 c #Conflicts: 450000 | #Constraints: 111153
973.21/977.22 c #Conflicts: 451000 | #Constraints: 112153
973.21/977.22 c #Conflicts: 452000 | #Constraints: 113153
973.21/977.22 c #Conflicts: 453000 | #Constraints: 114153
973.21/977.22 c #Conflicts: 454000 | #Constraints: 115153
973.21/977.22 c #Conflicts: 455000 | #Constraints: 116153
973.21/977.22 c #Conflicts: 456000 | #Constraints: 117153
973.21/977.22 c #Conflicts: 457000 | #Constraints: 118153
973.21/977.22 c #Conflicts: 458000 | #Constraints: 119153
973.21/977.22 c #Conflicts: 459000 | #Constraints: 120153
973.21/977.22 c #Conflicts: 460000 | #Constraints: 121153
973.21/977.22 c INPROCESSING
973.21/977.22 c GARBAGE COLLECT
973.21/977.22 c #Conflicts: 461000 | #Constraints: 108756
973.21/977.22 c #Conflicts: 462000 | #Constraints: 109756
973.21/977.22 c #Conflicts: 463000 | #Constraints: 110756
973.21/977.22 c #Conflicts: 464000 | #Constraints: 111756
973.21/977.22 c #Conflicts: 465000 | #Constraints: 112756
973.21/977.22 c #Conflicts: 466000 | #Constraints: 113756
973.21/977.22 c #Conflicts: 467000 | #Constraints: 114756
973.21/977.22 c #Conflicts: 468000 | #Constraints: 115756
973.21/977.22 c #Conflicts: 469000 | #Constraints: 116756
973.21/977.22 c #Conflicts: 470000 | #Constraints: 117756
973.21/977.22 c #Conflicts: 471000 | #Constraints: 118756
973.21/977.22 c #Conflicts: 472000 | #Constraints: 119756
973.21/977.22 c #Conflicts: 473000 | #Constraints: 120756
973.21/977.22 c #Conflicts: 474000 | #Constraints: 121756
973.21/977.22 c INPROCESSING
973.21/977.22 c GARBAGE COLLECT
973.21/977.22 c #Conflicts: 475000 | #Constraints: 109146
973.21/977.22 c #Conflicts: 476000 | #Constraints: 110146
973.21/977.22 c #Conflicts: 477000 | #Constraints: 111146
973.21/977.22 c #Conflicts: 478000 | #Constraints: 112146
973.21/977.22 c #Conflicts: 479000 | #Constraints: 113146
973.21/977.22 c #Conflicts: 480000 | #Constraints: 114146
973.21/977.22 c #Conflicts: 481000 | #Constraints: 115146
973.21/977.22 c #Conflicts: 482000 | #Constraints: 116146
973.21/977.22 c #Conflicts: 483000 | #Constraints: 117146
973.21/977.22 c #Conflicts: 484000 | #Constraints: 118146
973.21/977.22 c #Conflicts: 485000 | #Constraints: 119146
973.21/977.22 c #Conflicts: 486000 | #Constraints: 120146
973.21/977.22 c #Conflicts: 487000 | #Constraints: 121146
973.21/977.22 c #Conflicts: 488000 | #Constraints: 122146
973.21/977.22 c INPROCESSING
973.21/977.22 c GARBAGE COLLECT
973.21/977.22 c #Conflicts: 489000 | #Constraints: 109331
973.21/977.22 c #Conflicts: 490000 | #Constraints: 110331
973.21/977.22 c #Conflicts: 491000 | #Constraints: 111331
973.21/977.22 c #Conflicts: 492000 | #Constraints: 112331
973.21/977.22 c #Conflicts: 493000 | #Constraints: 113331
973.21/977.22 c #Conflicts: 494000 | #Constraints: 114331
973.21/977.22 c #Conflicts: 495000 | #Constraints: 115331
973.21/977.22 c #Conflicts: 496000 | #Constraints: 116331
1136.41/1141.08 c #Conflicts: 497000 | #Constraints: 117331
1136.41/1141.08 c #Conflicts: 498000 | #Constraints: 118331
1136.41/1141.08 c #Conflicts: 499000 | #Constraints: 119331
1136.41/1141.08 c #Conflicts: 500000 | #Constraints: 120331
1136.41/1141.08 c #Conflicts: 501000 | #Constraints: 121331
1136.41/1141.08 c #Conflicts: 502000 | #Constraints: 122331
1136.41/1141.08 c INPROCESSING
1136.41/1141.08 c GARBAGE COLLECT
1136.41/1141.08 c #Conflicts: 503000 | #Constraints: 109345
1136.41/1141.08 c #Conflicts: 504000 | #Constraints: 110345
1136.41/1141.08 c #Conflicts: 505000 | #Constraints: 111345
1136.41/1141.08 c #Conflicts: 506000 | #Constraints: 112345
1136.41/1141.08 c #Conflicts: 507000 | #Constraints: 113345
1136.41/1141.08 c #Conflicts: 508000 | #Constraints: 114345
1136.41/1141.08 c #Conflicts: 509000 | #Constraints: 115345
1136.41/1141.08 c #Conflicts: 510000 | #Constraints: 116345
1136.41/1141.08 c #Conflicts: 511000 | #Constraints: 117345
1136.41/1141.08 c #Conflicts: 512000 | #Constraints: 118345
1136.41/1141.08 c #Conflicts: 513000 | #Constraints: 119345
1136.41/1141.08 c #Conflicts: 514000 | #Constraints: 120345
1136.41/1141.08 c #Conflicts: 515000 | #Constraints: 121345
1136.41/1141.08 c #Conflicts: 516000 | #Constraints: 122345
1136.41/1141.08 c INPROCESSING
1136.41/1141.08 c GARBAGE COLLECT
1136.41/1141.08 c #Conflicts: 517000 | #Constraints: 109141
1136.41/1141.08 c #Conflicts: 518000 | #Constraints: 110141
1136.41/1141.08 c #Conflicts: 519000 | #Constraints: 111141
1136.41/1141.08 c #Conflicts: 520000 | #Constraints: 112141
1136.41/1141.08 c #Conflicts: 521000 | #Constraints: 113141
1136.41/1141.08 c #Conflicts: 522000 | #Constraints: 114141
1136.41/1141.08 c #Conflicts: 523000 | #Constraints: 115141
1136.41/1141.08 c #Conflicts: 524000 | #Constraints: 116141
1136.41/1141.08 c #Conflicts: 525000 | #Constraints: 117141
1136.41/1141.08 c #Conflicts: 526000 | #Constraints: 118141
1136.41/1141.08 c #Conflicts: 527000 | #Constraints: 119141
1136.41/1141.08 c #Conflicts: 528000 | #Constraints: 120141
1136.41/1141.08 c #Conflicts: 529000 | #Constraints: 121141
1136.41/1141.08 c #Conflicts: 530000 | #Constraints: 122141
1136.41/1141.08 c #Conflicts: 531000 | #Constraints: 123141
1136.41/1141.08 c INPROCESSING
1136.41/1141.08 c GARBAGE COLLECT
1136.41/1141.08 c #Conflicts: 532000 | #Constraints: 109733
1136.41/1141.08 c #Conflicts: 533000 | #Constraints: 110733
1136.41/1141.08 c #Conflicts: 534000 | #Constraints: 111733
1136.41/1141.08 c #Conflicts: 535000 | #Constraints: 112733
1136.41/1141.08 c #Conflicts: 536000 | #Constraints: 113733
1136.41/1141.08 c #Conflicts: 537000 | #Constraints: 114733
1136.41/1141.08 c #Conflicts: 538000 | #Constraints: 115733
1136.41/1141.08 c #Conflicts: 539000 | #Constraints: 116733
1136.41/1141.08 c #Conflicts: 540000 | #Constraints: 117733
1136.41/1141.08 c #Conflicts: 541000 | #Constraints: 118733
1136.41/1141.08 c #Conflicts: 542000 | #Constraints: 119733
1136.41/1141.08 c #Conflicts: 543000 | #Constraints: 120733
1136.41/1141.08 c #Conflicts: 544000 | #Constraints: 121733
1136.41/1141.08 c #Conflicts: 545000 | #Constraints: 122733
1136.41/1141.08 c #Conflicts: 546000 | #Constraints: 123733
1136.41/1141.08 c INPROCESSING
1136.41/1141.08 c GARBAGE COLLECT
1136.41/1141.08 c #Conflicts: 547000 | #Constraints: 110164
1136.41/1141.08 c #Conflicts: 548000 | #Constraints: 111164
1136.41/1141.08 c #Conflicts: 549000 | #Constraints: 112164
1136.41/1141.08 c #Conflicts: 550000 | #Constraints: 113164
1136.41/1141.08 c #Conflicts: 551000 | #Constraints: 114164
1136.41/1141.08 c #Conflicts: 552000 | #Constraints: 115164
1136.41/1141.08 c #Conflicts: 553000 | #Constraints: 116164
1136.41/1141.08 c #Conflicts: 554000 | #Constraints: 117164
1136.41/1141.08 c #Conflicts: 555000 | #Constraints: 118164
1136.41/1141.08 c #Conflicts: 556000 | #Constraints: 119164
1136.41/1141.08 c #Conflicts: 557000 | #Constraints: 120164
1136.41/1141.08 c #Conflicts: 558000 | #Constraints: 121164
1136.41/1141.08 c #Conflicts: 559000 | #Constraints: 122164
1136.41/1141.08 c #Conflicts: 560000 | #Constraints: 123164
1136.41/1141.08 c #Conflicts: 561000 | #Constraints: 124164
1136.41/1141.08 c INPROCESSING
1136.41/1141.08 c GARBAGE COLLECT
1136.41/1141.08 c #Conflicts: 562000 | #Constraints: 110379
1136.41/1141.08 c #Conflicts: 563000 | #Constraints: 111379
1136.41/1141.08 c #Conflicts: 564000 | #Constraints: 112379
1136.41/1141.08 c #Conflicts: 565000 | #Constraints: 113379
1136.41/1141.08 c #Conflicts: 566000 | #Constraints: 114379
1136.41/1141.08 c #Conflicts: 567000 | #Constraints: 115379
1136.41/1141.08 c #Conflicts: 568000 | #Constraints: 116379
1136.41/1141.08 c #Conflicts: 569000 | #Constraints: 117379
1136.41/1141.08 c #Conflicts: 570000 | #Constraints: 118379
1136.41/1141.08 c #Conflicts: 571000 | #Constraints: 119379
1136.41/1141.08 c #Conflicts: 572000 | #Constraints: 120379
1313.74/1319.03 c #Conflicts: 573000 | #Constraints: 121379
1313.74/1319.03 c #Conflicts: 574000 | #Constraints: 122379
1313.74/1319.03 c #Conflicts: 575000 | #Constraints: 123379
1313.74/1319.03 c #Conflicts: 576000 | #Constraints: 124379
1313.74/1319.03 c INPROCESSING
1313.74/1319.03 c GARBAGE COLLECT
1313.74/1319.03 c #Conflicts: 577000 | #Constraints: 110402
1313.74/1319.03 c #Conflicts: 578000 | #Constraints: 111402
1313.74/1319.03 c #Conflicts: 579000 | #Constraints: 112402
1313.74/1319.03 c #Conflicts: 580000 | #Constraints: 113402
1313.74/1319.03 c #Conflicts: 581000 | #Constraints: 114402
1313.74/1319.03 c #Conflicts: 582000 | #Constraints: 115402
1313.74/1319.03 c #Conflicts: 583000 | #Constraints: 116402
1313.74/1319.03 c #Conflicts: 584000 | #Constraints: 117402
1313.74/1319.03 c #Conflicts: 585000 | #Constraints: 118402
1313.74/1319.03 c #Conflicts: 586000 | #Constraints: 119402
1313.74/1319.03 c #Conflicts: 587000 | #Constraints: 120402
1313.74/1319.03 c #Conflicts: 588000 | #Constraints: 121402
1313.74/1319.03 c #Conflicts: 589000 | #Constraints: 122402
1313.74/1319.03 c #Conflicts: 590000 | #Constraints: 123402
1313.74/1319.03 c #Conflicts: 591000 | #Constraints: 124402
1313.74/1319.03 c INPROCESSING
1313.74/1319.03 c GARBAGE COLLECT
1313.74/1319.03 c #Conflicts: 592000 | #Constraints: 110191
1313.74/1319.03 c #Conflicts: 593000 | #Constraints: 111191
1313.74/1319.03 c #Conflicts: 594000 | #Constraints: 112191
1313.74/1319.03 c #Conflicts: 595000 | #Constraints: 113191
1313.74/1319.03 c #Conflicts: 596000 | #Constraints: 114191
1313.74/1319.03 c #Conflicts: 597000 | #Constraints: 115191
1313.74/1319.03 c #Conflicts: 598000 | #Constraints: 116191
1313.74/1319.03 c #Conflicts: 599000 | #Constraints: 117191
1313.74/1319.03 c #Conflicts: 600000 | #Constraints: 118191
1313.74/1319.03 c #Conflicts: 601000 | #Constraints: 119191
1313.74/1319.03 c #Conflicts: 602000 | #Constraints: 120191
1313.74/1319.03 c #Conflicts: 603000 | #Constraints: 121191
1313.74/1319.03 c #Conflicts: 604000 | #Constraints: 122191
1313.74/1319.03 c #Conflicts: 605000 | #Constraints: 123191
1313.74/1319.03 c #Conflicts: 606000 | #Constraints: 124191
1313.74/1319.03 c #Conflicts: 607000 | #Constraints: 125191
1313.74/1319.03 c INPROCESSING
1313.74/1319.03 c GARBAGE COLLECT
1313.74/1319.03 c #Conflicts: 608000 | #Constraints: 110776
1313.74/1319.03 c #Conflicts: 609000 | #Constraints: 111776
1313.74/1319.03 c #Conflicts: 610000 | #Constraints: 112776
1313.74/1319.03 c #Conflicts: 611000 | #Constraints: 113776
1313.74/1319.03 c #Conflicts: 612000 | #Constraints: 114776
1313.74/1319.03 c #Conflicts: 613000 | #Constraints: 115776
1313.74/1319.03 c #Conflicts: 614000 | #Constraints: 116776
1313.74/1319.03 c #Conflicts: 615000 | #Constraints: 117776
1313.74/1319.03 c #Conflicts: 616000 | #Constraints: 118776
1313.74/1319.03 c #Conflicts: 617000 | #Constraints: 119776
1313.74/1319.03 c #Conflicts: 618000 | #Constraints: 120776
1313.74/1319.03 c #Conflicts: 619000 | #Constraints: 121776
1313.74/1319.03 c #Conflicts: 620000 | #Constraints: 122776
1313.74/1319.03 c #Conflicts: 621000 | #Constraints: 123776
1313.74/1319.03 c #Conflicts: 622000 | #Constraints: 124776
1313.74/1319.03 c #Conflicts: 623000 | #Constraints: 125776
1313.74/1319.03 c INPROCESSING
1313.74/1319.03 c GARBAGE COLLECT
1313.74/1319.03 c #Conflicts: 624000 | #Constraints: 111162
1313.74/1319.03 c #Conflicts: 625000 | #Constraints: 112162
1313.74/1319.03 c #Conflicts: 626000 | #Constraints: 113162
1313.74/1319.03 c #Conflicts: 627000 | #Constraints: 114162
1313.74/1319.03 c #Conflicts: 628000 | #Constraints: 115162
1313.74/1319.03 c #Conflicts: 629000 | #Constraints: 116162
1313.74/1319.03 c #Conflicts: 630000 | #Constraints: 117162
1313.74/1319.03 c #Conflicts: 631000 | #Constraints: 118162
1313.74/1319.03 c #Conflicts: 632000 | #Constraints: 119162
1313.74/1319.03 c #Conflicts: 633000 | #Constraints: 120162
1313.74/1319.03 c #Conflicts: 634000 | #Constraints: 121162
1313.74/1319.03 c #Conflicts: 635000 | #Constraints: 122162
1313.74/1319.03 c #Conflicts: 636000 | #Constraints: 123162
1313.74/1319.03 c #Conflicts: 637000 | #Constraints: 124162
1313.74/1319.03 c #Conflicts: 638000 | #Constraints: 125162
1313.74/1319.03 c #Conflicts: 639000 | #Constraints: 126162
1313.74/1319.03 c INPROCESSING
1313.74/1319.03 c GARBAGE COLLECT
1313.74/1319.03 c #Conflicts: 640000 | #Constraints: 111356
1313.74/1319.03 c #Conflicts: 641000 | #Constraints: 112356
1313.74/1319.03 c #Conflicts: 642000 | #Constraints: 113356
1313.74/1319.03 c #Conflicts: 643000 | #Constraints: 114356
1313.74/1319.03 c #Conflicts: 644000 | #Constraints: 115356
1313.74/1319.03 c #Conflicts: 645000 | #Constraints: 116356
1313.74/1319.03 c #Conflicts: 646000 | #Constraints: 117356
1313.74/1319.03 c #Conflicts: 647000 | #Constraints: 118356
1491.70/1497.64 c #Conflicts: 648000 | #Constraints: 119356
1491.70/1497.64 c #Conflicts: 649000 | #Constraints: 120356
1491.70/1497.64 c #Conflicts: 650000 | #Constraints: 121356
1491.70/1497.64 c #Conflicts: 651000 | #Constraints: 122356
1491.70/1497.64 c #Conflicts: 652000 | #Constraints: 123356
1491.70/1497.64 c #Conflicts: 653000 | #Constraints: 124356
1491.70/1497.64 c #Conflicts: 654000 | #Constraints: 125356
1491.70/1497.64 c #Conflicts: 655000 | #Constraints: 126356
1491.70/1497.64 c INPROCESSING
1491.70/1497.64 c GARBAGE COLLECT
1491.70/1497.64 c #Conflicts: 656000 | #Constraints: 111357
1491.70/1497.64 c #Conflicts: 657000 | #Constraints: 112357
1491.70/1497.64 c #Conflicts: 658000 | #Constraints: 113357
1491.70/1497.64 c #Conflicts: 659000 | #Constraints: 114357
1491.70/1497.64 c #Conflicts: 660000 | #Constraints: 115357
1491.70/1497.64 c #Conflicts: 661000 | #Constraints: 116357
1491.70/1497.64 c #Conflicts: 662000 | #Constraints: 117357
1491.70/1497.64 c #Conflicts: 663000 | #Constraints: 118357
1491.70/1497.64 c #Conflicts: 664000 | #Constraints: 119357
1491.70/1497.64 c #Conflicts: 665000 | #Constraints: 120357
1491.70/1497.64 c #Conflicts: 666000 | #Constraints: 121357
1491.70/1497.64 c #Conflicts: 667000 | #Constraints: 122357
1491.70/1497.64 c #Conflicts: 668000 | #Constraints: 123357
1491.70/1497.64 c #Conflicts: 669000 | #Constraints: 124357
1491.70/1497.64 c #Conflicts: 670000 | #Constraints: 125357
1491.70/1497.64 c #Conflicts: 671000 | #Constraints: 126357
1491.70/1497.64 c INPROCESSING
1491.70/1497.64 c GARBAGE COLLECT
1491.70/1497.64 c #Conflicts: 672000 | #Constraints: 111140
1491.70/1497.64 c #Conflicts: 673000 | #Constraints: 112140
1491.70/1497.64 c #Conflicts: 674000 | #Constraints: 113140
1491.70/1497.64 c #Conflicts: 675000 | #Constraints: 114140
1491.70/1497.64 c #Conflicts: 676000 | #Constraints: 115140
1491.70/1497.64 c #Conflicts: 677000 | #Constraints: 116140
1491.70/1497.64 c #Conflicts: 678000 | #Constraints: 117140
1491.70/1497.64 c #Conflicts: 679000 | #Constraints: 118140
1491.70/1497.64 c #Conflicts: 680000 | #Constraints: 119140
1491.70/1497.64 c #Conflicts: 681000 | #Constraints: 120140
1491.70/1497.64 c #Conflicts: 682000 | #Constraints: 121140
1491.70/1497.64 c #Conflicts: 683000 | #Constraints: 122140
1491.70/1497.64 c #Conflicts: 684000 | #Constraints: 123140
1491.70/1497.64 c #Conflicts: 685000 | #Constraints: 124140
1491.70/1497.64 c #Conflicts: 686000 | #Constraints: 125140
1491.70/1497.64 c #Conflicts: 687000 | #Constraints: 126140
1491.70/1497.64 c #Conflicts: 688000 | #Constraints: 127140
1491.70/1497.64 c INPROCESSING
1491.70/1497.64 c GARBAGE COLLECT
1491.70/1497.64 c #Conflicts: 689000 | #Constraints: 111773
1491.70/1497.64 c #Conflicts: 690000 | #Constraints: 112773
1491.70/1497.64 c #Conflicts: 691000 | #Constraints: 113773
1491.70/1497.64 c #Conflicts: 692000 | #Constraints: 114773
1491.70/1497.64 c #Conflicts: 693000 | #Constraints: 115773
1491.70/1497.64 c #Conflicts: 694000 | #Constraints: 116773
1491.70/1497.64 c #Conflicts: 695000 | #Constraints: 117773
1491.70/1497.64 c #Conflicts: 696000 | #Constraints: 118773
1491.70/1497.64 c #Conflicts: 697000 | #Constraints: 119773
1491.70/1497.64 c #Conflicts: 698000 | #Constraints: 120773
1491.70/1497.64 c #Conflicts: 699000 | #Constraints: 121773
1491.70/1497.64 c #Conflicts: 700000 | #Constraints: 122773
1491.70/1497.64 c #Conflicts: 701000 | #Constraints: 123773
1491.70/1497.64 c #Conflicts: 702000 | #Constraints: 124773
1491.70/1497.64 c #Conflicts: 703000 | #Constraints: 125773
1491.70/1497.64 c #Conflicts: 704000 | #Constraints: 126773
1491.70/1497.64 c #Conflicts: 705000 | #Constraints: 127773
1491.70/1497.64 c INPROCESSING
1491.70/1497.64 c GARBAGE COLLECT
1491.70/1497.64 c #Conflicts: 706000 | #Constraints: 112154
1491.70/1497.64 c #Conflicts: 707000 | #Constraints: 113154
1491.70/1497.64 c #Conflicts: 708000 | #Constraints: 114154
1491.70/1497.64 c #Conflicts: 709000 | #Constraints: 115154
1491.70/1497.64 c #Conflicts: 710000 | #Constraints: 116154
1491.70/1497.64 c #Conflicts: 711000 | #Constraints: 117154
1491.70/1497.64 c #Conflicts: 712000 | #Constraints: 118154
1491.70/1497.64 c #Conflicts: 713000 | #Constraints: 119154
1491.70/1497.64 c #Conflicts: 714000 | #Constraints: 120154
1491.70/1497.64 c #Conflicts: 715000 | #Constraints: 121154
1491.70/1497.64 c #Conflicts: 716000 | #Constraints: 122154
1491.70/1497.64 c #Conflicts: 717000 | #Constraints: 123154
1491.70/1497.64 c #Conflicts: 718000 | #Constraints: 124154
1491.70/1497.64 c #Conflicts: 719000 | #Constraints: 125154
1491.70/1497.64 c #Conflicts: 720000 | #Constraints: 126154
1491.70/1497.64 c #Conflicts: 721000 | #Constraints: 127154
1491.70/1497.64 c #Conflicts: 722000 | #Constraints: 128154
1491.70/1497.64 c INPROCESSING
1491.70/1497.64 c GARBAGE COLLECT
1491.70/1497.64 c #Conflicts: 723000 | #Constraints: 112346
1664.62/1671.13 c #Conflicts: 724000 | #Constraints: 113346
1664.62/1671.13 c #Conflicts: 725000 | #Constraints: 114346
1664.62/1671.13 c #Conflicts: 726000 | #Constraints: 115346
1664.62/1671.13 c #Conflicts: 727000 | #Constraints: 116346
1664.62/1671.13 c #Conflicts: 728000 | #Constraints: 117346
1664.62/1671.13 c #Conflicts: 729000 | #Constraints: 118346
1664.62/1671.13 c #Conflicts: 730000 | #Constraints: 119346
1664.62/1671.13 c #Conflicts: 731000 | #Constraints: 120346
1664.62/1671.13 c #Conflicts: 732000 | #Constraints: 121346
1664.62/1671.13 c #Conflicts: 733000 | #Constraints: 122346
1664.62/1671.13 c #Conflicts: 734000 | #Constraints: 123346
1664.62/1671.13 c #Conflicts: 735000 | #Constraints: 124346
1664.62/1671.13 c #Conflicts: 736000 | #Constraints: 125346
1664.62/1671.13 c #Conflicts: 737000 | #Constraints: 126346
1664.62/1671.13 c #Conflicts: 738000 | #Constraints: 127346
1664.62/1671.13 c #Conflicts: 739000 | #Constraints: 128346
1664.62/1671.13 c INPROCESSING
1664.62/1671.13 c GARBAGE COLLECT
1664.62/1671.13 c #Conflicts: 740000 | #Constraints: 112375
1664.62/1671.13 c #Conflicts: 741000 | #Constraints: 113375
1664.62/1671.13 c #Conflicts: 742000 | #Constraints: 114375
1664.62/1671.13 c #Conflicts: 743000 | #Constraints: 115375
1664.62/1671.13 c #Conflicts: 744000 | #Constraints: 116375
1664.62/1671.13 c #Conflicts: 745000 | #Constraints: 117375
1664.62/1671.13 c #Conflicts: 746000 | #Constraints: 118375
1664.62/1671.13 c #Conflicts: 747000 | #Constraints: 119375
1664.62/1671.13 c #Conflicts: 748000 | #Constraints: 120375
1664.62/1671.13 c #Conflicts: 749000 | #Constraints: 121375
1664.62/1671.13 c #Conflicts: 750000 | #Constraints: 122375
1664.62/1671.13 c #Conflicts: 751000 | #Constraints: 123375
1664.62/1671.13 c #Conflicts: 752000 | #Constraints: 124375
1664.62/1671.13 c #Conflicts: 753000 | #Constraints: 125375
1664.62/1671.13 c #Conflicts: 754000 | #Constraints: 126375
1664.62/1671.13 c #Conflicts: 755000 | #Constraints: 127375
1664.62/1671.13 c #Conflicts: 756000 | #Constraints: 128375
1664.62/1671.13 c INPROCESSING
1664.62/1671.13 c GARBAGE COLLECT
1664.62/1671.13 c #Conflicts: 757000 | #Constraints: 112183
1664.62/1671.13 c #Conflicts: 758000 | #Constraints: 113183
1664.62/1671.13 c #Conflicts: 759000 | #Constraints: 114183
1664.62/1671.13 c #Conflicts: 760000 | #Constraints: 115183
1664.62/1671.13 c #Conflicts: 761000 | #Constraints: 116183
1664.62/1671.13 c #Conflicts: 762000 | #Constraints: 117183
1664.62/1671.13 c #Conflicts: 763000 | #Constraints: 118183
1664.62/1671.13 c #Conflicts: 764000 | #Constraints: 119183
1664.62/1671.13 c #Conflicts: 765000 | #Constraints: 120183
1664.62/1671.13 c #Conflicts: 766000 | #Constraints: 121183
1664.62/1671.13 c #Conflicts: 767000 | #Constraints: 122183
1664.62/1671.13 c #Conflicts: 768000 | #Constraints: 123183
1664.62/1671.13 c #Conflicts: 769000 | #Constraints: 124183
1664.62/1671.13 c #Conflicts: 770000 | #Constraints: 125183
1664.62/1671.13 c #Conflicts: 771000 | #Constraints: 126183
1664.62/1671.13 c #Conflicts: 772000 | #Constraints: 127183
1664.62/1671.13 c #Conflicts: 773000 | #Constraints: 128183
1664.62/1671.13 c #Conflicts: 774000 | #Constraints: 129183
1664.62/1671.13 c INPROCESSING
1664.62/1671.13 c GARBAGE COLLECT
1664.62/1671.13 c #Conflicts: 775000 | #Constraints: 112799
1664.62/1671.13 c #Conflicts: 776000 | #Constraints: 113799
1664.62/1671.13 c #Conflicts: 777000 | #Constraints: 114799
1664.62/1671.13 c #Conflicts: 778000 | #Constraints: 115799
1664.62/1671.13 c #Conflicts: 779000 | #Constraints: 116799
1664.62/1671.13 c #Conflicts: 780000 | #Constraints: 117799
1664.62/1671.13 c #Conflicts: 781000 | #Constraints: 118799
1664.62/1671.13 c #Conflicts: 782000 | #Constraints: 119799
1664.62/1671.13 c #Conflicts: 783000 | #Constraints: 120799
1664.62/1671.13 c #Conflicts: 784000 | #Constraints: 121799
1664.62/1671.13 c #Conflicts: 785000 | #Constraints: 122799
1664.62/1671.13 c #Conflicts: 786000 | #Constraints: 123799
1664.62/1671.13 c #Conflicts: 787000 | #Constraints: 124799
1664.62/1671.13 c #Conflicts: 788000 | #Constraints: 125799
1664.62/1671.13 c #Conflicts: 789000 | #Constraints: 126799
1664.62/1671.13 c #Conflicts: 790000 | #Constraints: 127799
1664.62/1671.13 c #Conflicts: 791000 | #Constraints: 128799
1664.62/1671.13 c #Conflicts: 792000 | #Constraints: 129799
1664.62/1671.13 c INPROCESSING
1664.62/1671.13 c GARBAGE COLLECT
1664.62/1671.13 c #Conflicts: 793000 | #Constraints: 113187
1664.62/1671.13 c #Conflicts: 794000 | #Constraints: 114187
1664.62/1671.13 c #Conflicts: 795000 | #Constraints: 115187
1664.62/1671.13 c #Conflicts: 796000 | #Constraints: 116187
1664.62/1671.13 c #Conflicts: 797000 | #Constraints: 117187
1664.62/1671.13 c #Conflicts: 798000 | #Constraints: 118187
1664.62/1671.13 c #Conflicts: 799000 | #Constraints: 119187
1865.52/1872.70 c #Conflicts: 800000 | #Constraints: 120187
1865.52/1872.70 c #Conflicts: 801000 | #Constraints: 121187
1865.52/1872.70 c #Conflicts: 802000 | #Constraints: 122187
1865.52/1872.70 c #Conflicts: 803000 | #Constraints: 123187
1865.52/1872.70 c #Conflicts: 804000 | #Constraints: 124187
1865.52/1872.70 c #Conflicts: 805000 | #Constraints: 125187
1865.52/1872.70 c #Conflicts: 806000 | #Constraints: 126187
1865.52/1872.70 c #Conflicts: 807000 | #Constraints: 127187
1865.52/1872.70 c #Conflicts: 808000 | #Constraints: 128187
1865.52/1872.70 c #Conflicts: 809000 | #Constraints: 129187
1865.52/1872.70 c #Conflicts: 810000 | #Constraints: 130187
1865.52/1872.70 c INPROCESSING
1865.52/1872.70 c GARBAGE COLLECT
1865.52/1872.70 c #Conflicts: 811000 | #Constraints: 113373
1865.52/1872.70 c #Conflicts: 812000 | #Constraints: 114373
1865.52/1872.70 c #Conflicts: 813000 | #Constraints: 115373
1865.52/1872.70 c #Conflicts: 814000 | #Constraints: 116373
1865.52/1872.70 c #Conflicts: 815000 | #Constraints: 117373
1865.52/1872.70 c #Conflicts: 816000 | #Constraints: 118373
1865.52/1872.70 c #Conflicts: 817000 | #Constraints: 119373
1865.52/1872.70 c #Conflicts: 818000 | #Constraints: 120373
1865.52/1872.70 c #Conflicts: 819000 | #Constraints: 121373
1865.52/1872.70 c #Conflicts: 820000 | #Constraints: 122373
1865.52/1872.70 c #Conflicts: 821000 | #Constraints: 123373
1865.52/1872.70 c #Conflicts: 822000 | #Constraints: 124373
1865.52/1872.70 c #Conflicts: 823000 | #Constraints: 125373
1865.52/1872.70 c #Conflicts: 824000 | #Constraints: 126373
1865.52/1872.70 c #Conflicts: 825000 | #Constraints: 127373
1865.52/1872.70 c #Conflicts: 826000 | #Constraints: 128373
1865.52/1872.70 c #Conflicts: 827000 | #Constraints: 129373
1865.52/1872.70 c #Conflicts: 828000 | #Constraints: 130373
1865.52/1872.70 c INPROCESSING
1865.52/1872.70 c GARBAGE COLLECT
1865.52/1872.70 c #Conflicts: 829000 | #Constraints: 113366
1865.52/1872.70 c #Conflicts: 830000 | #Constraints: 114366
1865.52/1872.70 c #Conflicts: 831000 | #Constraints: 115366
1865.52/1872.70 c #Conflicts: 832000 | #Constraints: 116366
1865.52/1872.70 c #Conflicts: 833000 | #Constraints: 117366
1865.52/1872.70 c #Conflicts: 834000 | #Constraints: 118366
1865.52/1872.70 c #Conflicts: 835000 | #Constraints: 119366
1865.52/1872.70 c #Conflicts: 836000 | #Constraints: 120366
1865.52/1872.70 c #Conflicts: 837000 | #Constraints: 121366
1865.52/1872.70 c #Conflicts: 838000 | #Constraints: 122366
1865.52/1872.70 c #Conflicts: 839000 | #Constraints: 123366
1865.52/1872.70 c #Conflicts: 840000 | #Constraints: 124366
1865.52/1872.70 c #Conflicts: 841000 | #Constraints: 125366
1865.52/1872.70 c #Conflicts: 842000 | #Constraints: 126366
1865.52/1872.70 c #Conflicts: 843000 | #Constraints: 127366
1865.52/1872.70 c #Conflicts: 844000 | #Constraints: 128366
1865.52/1872.70 c #Conflicts: 845000 | #Constraints: 129366
1865.52/1872.70 c #Conflicts: 846000 | #Constraints: 130366
1865.52/1872.70 c INPROCESSING
1865.52/1872.70 c GARBAGE COLLECT
1865.52/1872.70 c #Conflicts: 847000 | #Constraints: 113168
1865.52/1872.70 c #Conflicts: 848000 | #Constraints: 114168
1865.52/1872.70 c #Conflicts: 849000 | #Constraints: 115168
1865.52/1872.70 c #Conflicts: 850000 | #Constraints: 116168
1865.52/1872.70 c #Conflicts: 851000 | #Constraints: 117168
1865.52/1872.70 c #Conflicts: 852000 | #Constraints: 118168
1865.52/1872.70 c #Conflicts: 853000 | #Constraints: 119168
1865.52/1872.70 c #Conflicts: 854000 | #Constraints: 120168
1865.52/1872.70 c #Conflicts: 855000 | #Constraints: 121168
1865.52/1872.70 c #Conflicts: 856000 | #Constraints: 122168
1865.52/1872.70 c #Conflicts: 857000 | #Constraints: 123168
1865.52/1872.70 c #Conflicts: 858000 | #Constraints: 124168
1865.52/1872.70 c #Conflicts: 859000 | #Constraints: 125168
1865.52/1872.70 c #Conflicts: 860000 | #Constraints: 126168
1865.52/1872.70 c #Conflicts: 861000 | #Constraints: 127168
1865.52/1872.70 c #Conflicts: 862000 | #Constraints: 128168
1865.52/1872.70 c #Conflicts: 863000 | #Constraints: 129168
1865.52/1872.70 c #Conflicts: 864000 | #Constraints: 130168
1865.52/1872.70 c #Conflicts: 865000 | #Constraints: 131168
1865.52/1872.70 c INPROCESSING
1865.52/1872.70 c GARBAGE COLLECT
1865.52/1872.70 c #Conflicts: 866000 | #Constraints: 113753
1865.52/1872.70 c #Conflicts: 867000 | #Constraints: 114753
1865.52/1872.70 c #Conflicts: 868000 | #Constraints: 115753
1865.52/1872.70 c #Conflicts: 869000 | #Constraints: 116753
1865.52/1872.70 c #Conflicts: 870000 | #Constraints: 117753
1865.52/1872.70 c #Conflicts: 871000 | #Constraints: 118753
1865.52/1872.70 c #Conflicts: 872000 | #Constraints: 119753
1865.52/1872.70 c #Conflicts: 873000 | #Constraints: 120753
1865.52/1872.70 c #Conflicts: 874000 | #Constraints: 121753
1865.52/1872.70 c #Conflicts: 875000 | #Constraints: 122753
2079.28/2087.24 c #Conflicts: 876000 | #Constraints: 123753
2079.28/2087.24 c #Conflicts: 877000 | #Constraints: 124753
2079.28/2087.24 c #Conflicts: 878000 | #Constraints: 125753
2079.28/2087.24 c #Conflicts: 879000 | #Constraints: 126753
2079.28/2087.24 c #Conflicts: 880000 | #Constraints: 127753
2079.28/2087.24 c #Conflicts: 881000 | #Constraints: 128753
2079.28/2087.24 c #Conflicts: 882000 | #Constraints: 129753
2079.28/2087.24 c #Conflicts: 883000 | #Constraints: 130753
2079.28/2087.24 c #Conflicts: 884000 | #Constraints: 131753
2079.28/2087.24 c INPROCESSING
2079.28/2087.24 c GARBAGE COLLECT
2079.28/2087.24 c #Conflicts: 885000 | #Constraints: 114178
2079.28/2087.24 c #Conflicts: 886000 | #Constraints: 115178
2079.28/2087.24 c #Conflicts: 887000 | #Constraints: 116178
2079.28/2087.24 c #Conflicts: 888000 | #Constraints: 117178
2079.28/2087.24 c #Conflicts: 889000 | #Constraints: 118178
2079.28/2087.24 c #Conflicts: 890000 | #Constraints: 119178
2079.28/2087.24 c #Conflicts: 891000 | #Constraints: 120178
2079.28/2087.24 c #Conflicts: 892000 | #Constraints: 121178
2079.28/2087.24 c #Conflicts: 893000 | #Constraints: 122178
2079.28/2087.24 c #Conflicts: 894000 | #Constraints: 123178
2079.28/2087.24 c #Conflicts: 895000 | #Constraints: 124178
2079.28/2087.24 c #Conflicts: 896000 | #Constraints: 125178
2079.28/2087.24 c #Conflicts: 897000 | #Constraints: 126178
2079.28/2087.24 c #Conflicts: 898000 | #Constraints: 127178
2079.28/2087.24 c #Conflicts: 899000 | #Constraints: 128178
2079.28/2087.24 c #Conflicts: 900000 | #Constraints: 129178
2079.28/2087.24 c #Conflicts: 901000 | #Constraints: 130178
2079.28/2087.24 c #Conflicts: 902000 | #Constraints: 131178
2079.28/2087.24 c #Conflicts: 903000 | #Constraints: 132178
2079.28/2087.24 c INPROCESSING
2079.28/2087.24 c GARBAGE COLLECT
2079.28/2087.24 c #Conflicts: 904000 | #Constraints: 114387
2079.28/2087.24 c #Conflicts: 905000 | #Constraints: 115387
2079.28/2087.24 c #Conflicts: 906000 | #Constraints: 116387
2079.28/2087.24 c #Conflicts: 907000 | #Constraints: 117387
2079.28/2087.24 c #Conflicts: 908000 | #Constraints: 118387
2079.28/2087.24 c #Conflicts: 909000 | #Constraints: 119387
2079.28/2087.24 c #Conflicts: 910000 | #Constraints: 120387
2079.28/2087.24 c #Conflicts: 911000 | #Constraints: 121387
2079.28/2087.24 c #Conflicts: 912000 | #Constraints: 122387
2079.28/2087.24 c #Conflicts: 913000 | #Constraints: 123387
2079.28/2087.24 c #Conflicts: 914000 | #Constraints: 124387
2079.28/2087.24 c #Conflicts: 915000 | #Constraints: 125387
2079.28/2087.24 c #Conflicts: 916000 | #Constraints: 126387
2079.28/2087.24 c #Conflicts: 917000 | #Constraints: 127387
2079.28/2087.24 c #Conflicts: 918000 | #Constraints: 128387
2079.28/2087.24 c #Conflicts: 919000 | #Constraints: 129387
2079.28/2087.24 c #Conflicts: 920000 | #Constraints: 130387
2079.28/2087.24 c #Conflicts: 921000 | #Constraints: 131387
2079.28/2087.24 c #Conflicts: 922000 | #Constraints: 132387
2079.28/2087.24 c INPROCESSING
2079.28/2087.24 c GARBAGE COLLECT
2079.28/2087.24 c #Conflicts: 923000 | #Constraints: 114379
2079.28/2087.24 c #Conflicts: 924000 | #Constraints: 115379
2079.28/2087.24 c #Conflicts: 925000 | #Constraints: 116379
2079.28/2087.24 c #Conflicts: 926000 | #Constraints: 117379
2079.28/2087.24 c #Conflicts: 927000 | #Constraints: 118379
2079.28/2087.24 c #Conflicts: 928000 | #Constraints: 119379
2079.28/2087.24 c #Conflicts: 929000 | #Constraints: 120379
2079.28/2087.24 c #Conflicts: 930000 | #Constraints: 121379
2079.28/2087.24 c #Conflicts: 931000 | #Constraints: 122379
2079.28/2087.24 c #Conflicts: 932000 | #Constraints: 123379
2079.28/2087.24 c #Conflicts: 933000 | #Constraints: 124379
2079.28/2087.24 c #Conflicts: 934000 | #Constraints: 125379
2079.28/2087.24 c #Conflicts: 935000 | #Constraints: 126379
2079.28/2087.24 c #Conflicts: 936000 | #Constraints: 127379
2079.28/2087.24 c #Conflicts: 937000 | #Constraints: 128379
2079.28/2087.24 c #Conflicts: 938000 | #Constraints: 129379
2079.28/2087.24 c #Conflicts: 939000 | #Constraints: 130379
2079.28/2087.24 c #Conflicts: 940000 | #Constraints: 131379
2079.28/2087.24 c #Conflicts: 941000 | #Constraints: 132379
2079.28/2087.24 c INPROCESSING
2079.28/2087.24 c GARBAGE COLLECT
2079.28/2087.24 c #Conflicts: 942000 | #Constraints: 114176
2079.28/2087.24 c #Conflicts: 943000 | #Constraints: 115176
2079.28/2087.24 c #Conflicts: 944000 | #Constraints: 116176
2079.28/2087.24 c #Conflicts: 945000 | #Constraints: 117176
2079.28/2087.24 c #Conflicts: 946000 | #Constraints: 118176
2079.28/2087.24 c #Conflicts: 947000 | #Constraints: 119176
2079.28/2087.24 c #Conflicts: 948000 | #Constraints: 120176
2079.28/2087.24 c #Conflicts: 949000 | #Constraints: 121176
2079.28/2087.24 c #Conflicts: 950000 | #Constraints: 122176
2079.28/2087.24 c #Conflicts: 951000 | #Constraints: 123176
2321.23/2330.06 c #Conflicts: 952000 | #Constraints: 124176
2321.23/2330.06 c #Conflicts: 953000 | #Constraints: 125176
2321.23/2330.06 c #Conflicts: 954000 | #Constraints: 126176
2321.23/2330.06 c #Conflicts: 955000 | #Constraints: 127176
2321.23/2330.06 c #Conflicts: 956000 | #Constraints: 128176
2321.23/2330.06 c #Conflicts: 957000 | #Constraints: 129176
2321.23/2330.06 c #Conflicts: 958000 | #Constraints: 130176
2321.23/2330.06 c #Conflicts: 959000 | #Constraints: 131176
2321.23/2330.06 c #Conflicts: 960000 | #Constraints: 132176
2321.23/2330.06 c #Conflicts: 961000 | #Constraints: 133176
2321.23/2330.06 c INPROCESSING
2321.23/2330.06 c GARBAGE COLLECT
2321.23/2330.06 c #Conflicts: 962000 | #Constraints: 114784
2321.23/2330.06 c #Conflicts: 963000 | #Constraints: 115784
2321.23/2330.06 c #Conflicts: 964000 | #Constraints: 116784
2321.23/2330.06 c #Conflicts: 965000 | #Constraints: 117784
2321.23/2330.06 c #Conflicts: 966000 | #Constraints: 118784
2321.23/2330.06 c #Conflicts: 967000 | #Constraints: 119784
2321.23/2330.06 c #Conflicts: 968000 | #Constraints: 120784
2321.23/2330.06 c #Conflicts: 969000 | #Constraints: 121784
2321.23/2330.06 c #Conflicts: 970000 | #Constraints: 122784
2321.23/2330.06 c #Conflicts: 971000 | #Constraints: 123784
2321.23/2330.06 c #Conflicts: 972000 | #Constraints: 124784
2321.23/2330.06 c #Conflicts: 973000 | #Constraints: 125784
2321.23/2330.06 c #Conflicts: 974000 | #Constraints: 126784
2321.23/2330.06 c #Conflicts: 975000 | #Constraints: 127784
2321.23/2330.06 c #Conflicts: 976000 | #Constraints: 128784
2321.23/2330.06 c #Conflicts: 977000 | #Constraints: 129784
2321.23/2330.06 c #Conflicts: 978000 | #Constraints: 130784
2321.23/2330.06 c #Conflicts: 979000 | #Constraints: 131784
2321.23/2330.06 c #Conflicts: 980000 | #Constraints: 132784
2321.23/2330.06 c #Conflicts: 981000 | #Constraints: 133784
2321.23/2330.06 c INPROCESSING
2321.23/2330.06 c GARBAGE COLLECT
2321.23/2330.06 c #Conflicts: 982000 | #Constraints: 115164
2321.23/2330.06 c #Conflicts: 983000 | #Constraints: 116164
2321.23/2330.06 c #Conflicts: 984000 | #Constraints: 117164
2321.23/2330.06 c #Conflicts: 985000 | #Constraints: 118164
2321.23/2330.06 c #Conflicts: 986000 | #Constraints: 119164
2321.23/2330.06 c #Conflicts: 987000 | #Constraints: 120164
2321.23/2330.06 c #Conflicts: 988000 | #Constraints: 121164
2321.23/2330.06 c #Conflicts: 989000 | #Constraints: 122164
2321.23/2330.06 c #Conflicts: 990000 | #Constraints: 123164
2321.23/2330.06 c #Conflicts: 991000 | #Constraints: 124164
2321.23/2330.06 c #Conflicts: 992000 | #Constraints: 125164
2321.23/2330.06 c #Conflicts: 993000 | #Constraints: 126164
2321.23/2330.06 c #Conflicts: 994000 | #Constraints: 127164
2321.23/2330.06 c #Conflicts: 995000 | #Constraints: 128164
2321.23/2330.06 c #Conflicts: 996000 | #Constraints: 129164
2321.23/2330.06 c #Conflicts: 997000 | #Constraints: 130164
2321.23/2330.06 c #Conflicts: 998000 | #Constraints: 131164
2321.23/2330.06 c #Conflicts: 999000 | #Constraints: 132164
2321.23/2330.06 c #Conflicts: 1000000 | #Constraints: 133164
2321.23/2330.06 c #Conflicts: 1001000 | #Constraints: 134164
2321.23/2330.06 c INPROCESSING
2321.23/2330.06 c GARBAGE COLLECT
2321.23/2330.06 c #Conflicts: 1002000 | #Constraints: 115369
2321.23/2330.06 c #Conflicts: 1003000 | #Constraints: 116369
2321.23/2330.06 c #Conflicts: 1004000 | #Constraints: 117369
2321.23/2330.06 c #Conflicts: 1005000 | #Constraints: 118369
2321.23/2330.06 c #Conflicts: 1006000 | #Constraints: 119369
2321.23/2330.06 c #Conflicts: 1007000 | #Constraints: 120369
2321.23/2330.06 c #Conflicts: 1008000 | #Constraints: 121369
2321.23/2330.06 c #Conflicts: 1009000 | #Constraints: 122369
2321.23/2330.06 c #Conflicts: 1010000 | #Constraints: 123369
2321.23/2330.06 c #Conflicts: 1011000 | #Constraints: 124369
2321.23/2330.06 c #Conflicts: 1012000 | #Constraints: 125369
2321.23/2330.06 c #Conflicts: 1013000 | #Constraints: 126369
2321.23/2330.06 c #Conflicts: 1014000 | #Constraints: 127369
2321.23/2330.06 c #Conflicts: 1015000 | #Constraints: 128369
2321.23/2330.06 c #Conflicts: 1016000 | #Constraints: 129369
2321.23/2330.06 c #Conflicts: 1017000 | #Constraints: 130369
2321.23/2330.06 c #Conflicts: 1018000 | #Constraints: 131369
2321.23/2330.06 c #Conflicts: 1019000 | #Constraints: 132369
2321.23/2330.06 c #Conflicts: 1020000 | #Constraints: 133369
2321.23/2330.06 c #Conflicts: 1021000 | #Constraints: 134369
2321.23/2330.06 c INPROCESSING
2321.23/2330.06 c GARBAGE COLLECT
2321.23/2330.06 c #Conflicts: 1022000 | #Constraints: 115374
2321.23/2330.06 c #Conflicts: 1023000 | #Constraints: 116374
2321.23/2330.06 c #Conflicts: 1024000 | #Constraints: 117374
2321.23/2330.06 c #Conflicts: 1025000 | #Constraints: 118374
2321.23/2330.06 c #Conflicts: 1026000 | #Constraints: 119374
2321.23/2330.06 c #Conflicts: 1027000 | #Constraints: 120374
2321.23/2330.06 c #Conflicts: 1028000 | #Constraints: 121374
2607.86/2617.74 c #Conflicts: 1029000 | #Constraints: 122374
2607.86/2617.74 c #Conflicts: 1030000 | #Constraints: 123374
2607.86/2617.74 c #Conflicts: 1031000 | #Constraints: 124374
2607.86/2617.74 c #Conflicts: 1032000 | #Constraints: 125374
2607.86/2617.74 c #Conflicts: 1033000 | #Constraints: 126374
2607.86/2617.74 c #Conflicts: 1034000 | #Constraints: 127374
2607.86/2617.74 c #Conflicts: 1035000 | #Constraints: 128374
2607.86/2617.74 c #Conflicts: 1036000 | #Constraints: 129374
2607.86/2617.74 c #Conflicts: 1037000 | #Constraints: 130374
2607.86/2617.74 c #Conflicts: 1038000 | #Constraints: 131374
2607.86/2617.74 c #Conflicts: 1039000 | #Constraints: 132374
2607.86/2617.74 c #Conflicts: 1040000 | #Constraints: 133374
2607.86/2617.74 c #Conflicts: 1041000 | #Constraints: 134374
2607.86/2617.74 c INPROCESSING
2607.86/2617.74 c GARBAGE COLLECT
2607.86/2617.74 c #Conflicts: 1042000 | #Constraints: 115182
2607.86/2617.74 c #Conflicts: 1043000 | #Constraints: 116182
2607.86/2617.74 c #Conflicts: 1044000 | #Constraints: 117182
2607.86/2617.74 c #Conflicts: 1045000 | #Constraints: 118182
2607.86/2617.74 c #Conflicts: 1046000 | #Constraints: 119182
2607.86/2617.74 c #Conflicts: 1047000 | #Constraints: 120182
2607.86/2617.74 c #Conflicts: 1048000 | #Constraints: 121182
2607.86/2617.74 c #Conflicts: 1049000 | #Constraints: 122182
2607.86/2617.74 c #Conflicts: 1050000 | #Constraints: 123182
2607.86/2617.74 c #Conflicts: 1051000 | #Constraints: 124182
2607.86/2617.74 c #Conflicts: 1052000 | #Constraints: 125182
2607.86/2617.74 c #Conflicts: 1053000 | #Constraints: 126182
2607.86/2617.74 c #Conflicts: 1054000 | #Constraints: 127182
2607.86/2617.74 c #Conflicts: 1055000 | #Constraints: 128182
2607.86/2617.74 c #Conflicts: 1056000 | #Constraints: 129182
2607.86/2617.74 c #Conflicts: 1057000 | #Constraints: 130182
2607.86/2617.74 c #Conflicts: 1058000 | #Constraints: 131182
2607.86/2617.74 c #Conflicts: 1059000 | #Constraints: 132182
2607.86/2617.74 c #Conflicts: 1060000 | #Constraints: 133182
2607.86/2617.74 c #Conflicts: 1061000 | #Constraints: 134182
2607.86/2617.74 c #Conflicts: 1062000 | #Constraints: 135182
2607.86/2617.74 c INPROCESSING
2607.86/2617.74 c GARBAGE COLLECT
2607.86/2617.74 c #Conflicts: 1063000 | #Constraints: 115788
2607.86/2617.74 c #Conflicts: 1064000 | #Constraints: 116788
2607.86/2617.74 c #Conflicts: 1065000 | #Constraints: 117788
2607.86/2617.74 c #Conflicts: 1066000 | #Constraints: 118788
2607.86/2617.74 c #Conflicts: 1067000 | #Constraints: 119788
2607.86/2617.74 c #Conflicts: 1068000 | #Constraints: 120788
2607.86/2617.74 c #Conflicts: 1069000 | #Constraints: 121788
2607.86/2617.74 c #Conflicts: 1070000 | #Constraints: 122788
2607.86/2617.74 c #Conflicts: 1071000 | #Constraints: 123788
2607.86/2617.74 c #Conflicts: 1072000 | #Constraints: 124788
2607.86/2617.74 c #Conflicts: 1073000 | #Constraints: 125788
2607.86/2617.74 c #Conflicts: 1074000 | #Constraints: 126788
2607.86/2617.74 c #Conflicts: 1075000 | #Constraints: 127788
2607.86/2617.74 c #Conflicts: 1076000 | #Constraints: 128788
2607.86/2617.74 c #Conflicts: 1077000 | #Constraints: 129788
2607.86/2617.74 c #Conflicts: 1078000 | #Constraints: 130788
2607.86/2617.74 c #Conflicts: 1079000 | #Constraints: 131788
2607.86/2617.74 c #Conflicts: 1080000 | #Constraints: 132788
2607.86/2617.74 c #Conflicts: 1081000 | #Constraints: 133788
2607.86/2617.74 c #Conflicts: 1082000 | #Constraints: 134788
2607.86/2617.74 c #Conflicts: 1083000 | #Constraints: 135788
2607.86/2617.74 c INPROCESSING
2607.86/2617.74 c GARBAGE COLLECT
2607.86/2617.74 c #Conflicts: 1084000 | #Constraints: 116195
2607.86/2617.74 c #Conflicts: 1085000 | #Constraints: 117195
2607.86/2617.74 c #Conflicts: 1086000 | #Constraints: 118195
2607.86/2617.74 c #Conflicts: 1087000 | #Constraints: 119195
2607.86/2617.74 c #Conflicts: 1088000 | #Constraints: 120195
2607.86/2617.74 c #Conflicts: 1089000 | #Constraints: 121195
2607.86/2617.74 c #Conflicts: 1090000 | #Constraints: 122195
2607.86/2617.74 c #Conflicts: 1091000 | #Constraints: 123195
2607.86/2617.74 c #Conflicts: 1092000 | #Constraints: 124195
2607.86/2617.74 c #Conflicts: 1093000 | #Constraints: 125195
2607.86/2617.74 c #Conflicts: 1094000 | #Constraints: 126195
2607.86/2617.74 c #Conflicts: 1095000 | #Constraints: 127195
2607.86/2617.74 c #Conflicts: 1096000 | #Constraints: 128195
2607.86/2617.74 c #Conflicts: 1097000 | #Constraints: 129195
2607.86/2617.74 c #Conflicts: 1098000 | #Constraints: 130195
2607.86/2617.74 c #Conflicts: 1099000 | #Constraints: 131195
2607.86/2617.74 c #Conflicts: 1100000 | #Constraints: 132195
2607.86/2617.74 c #Conflicts: 1101000 | #Constraints: 133195
2607.86/2617.74 c #Conflicts: 1102000 | #Constraints: 134195
2607.86/2617.74 c #Conflicts: 1103000 | #Constraints: 135195
2607.86/2617.74 c #Conflicts: 1104000 | #Constraints: 136195
2897.03/2907.90 c INPROCESSING
2897.03/2907.90 c GARBAGE COLLECT
2897.03/2907.90 c #Conflicts: 1105000 | #Constraints: 116411
2897.03/2907.90 c #Conflicts: 1106000 | #Constraints: 117411
2897.03/2907.90 c #Conflicts: 1107000 | #Constraints: 118411
2897.03/2907.90 c #Conflicts: 1108000 | #Constraints: 119411
2897.03/2907.90 c #Conflicts: 1109000 | #Constraints: 120411
2897.03/2907.90 c #Conflicts: 1110000 | #Constraints: 121411
2897.03/2907.90 c #Conflicts: 1111000 | #Constraints: 122411
2897.03/2907.90 c #Conflicts: 1112000 | #Constraints: 123411
2897.03/2907.90 c #Conflicts: 1113000 | #Constraints: 124411
2897.03/2907.90 c #Conflicts: 1114000 | #Constraints: 125411
2897.03/2907.90 c #Conflicts: 1115000 | #Constraints: 126411
2897.03/2907.90 c #Conflicts: 1116000 | #Constraints: 127411
2897.03/2907.90 c #Conflicts: 1117000 | #Constraints: 128411
2897.03/2907.90 c #Conflicts: 1118000 | #Constraints: 129411
2897.03/2907.90 c #Conflicts: 1119000 | #Constraints: 130411
2897.03/2907.90 c #Conflicts: 1120000 | #Constraints: 131411
2897.03/2907.90 c #Conflicts: 1121000 | #Constraints: 132411
2897.03/2907.90 c #Conflicts: 1122000 | #Constraints: 133411
2897.03/2907.90 c #Conflicts: 1123000 | #Constraints: 134411
2897.03/2907.90 c #Conflicts: 1124000 | #Constraints: 135411
2897.03/2907.90 c #Conflicts: 1125000 | #Constraints: 136411
2897.03/2907.90 c INPROCESSING
2897.03/2907.90 c GARBAGE COLLECT
2897.03/2907.90 c #Conflicts: 1126000 | #Constraints: 116417
2897.03/2907.90 c #Conflicts: 1127000 | #Constraints: 117417
2897.03/2907.90 c #Conflicts: 1128000 | #Constraints: 118417
2897.03/2907.90 c #Conflicts: 1129000 | #Constraints: 119417
2897.03/2907.90 c #Conflicts: 1130000 | #Constraints: 120417
2897.03/2907.90 c #Conflicts: 1131000 | #Constraints: 121417
2897.03/2907.90 c #Conflicts: 1132000 | #Constraints: 122417
2897.03/2907.90 c #Conflicts: 1133000 | #Constraints: 123417
2897.03/2907.90 c #Conflicts: 1134000 | #Constraints: 124417
2897.03/2907.90 c #Conflicts: 1135000 | #Constraints: 125417
2897.03/2907.90 c #Conflicts: 1136000 | #Constraints: 126417
2897.03/2907.90 c #Conflicts: 1137000 | #Constraints: 127417
2897.03/2907.90 c #Conflicts: 1138000 | #Constraints: 128417
2897.03/2907.90 c #Conflicts: 1139000 | #Constraints: 129417
2897.03/2907.90 c #Conflicts: 1140000 | #Constraints: 130417
2897.03/2907.90 c #Conflicts: 1141000 | #Constraints: 131417
2897.03/2907.90 c #Conflicts: 1142000 | #Constraints: 132417
2897.03/2907.90 c #Conflicts: 1143000 | #Constraints: 133417
2897.03/2907.90 c #Conflicts: 1144000 | #Constraints: 134417
2897.03/2907.90 c #Conflicts: 1145000 | #Constraints: 135417
2897.03/2907.90 c #Conflicts: 1146000 | #Constraints: 136417
2897.03/2907.90 c INPROCESSING
2897.03/2907.90 c GARBAGE COLLECT
2897.03/2907.90 c #Conflicts: 1147000 | #Constraints: 116172
2897.03/2907.90 c #Conflicts: 1148000 | #Constraints: 117172
2897.03/2907.90 c #Conflicts: 1149000 | #Constraints: 118172
2897.03/2907.90 c #Conflicts: 1150000 | #Constraints: 119172
2897.03/2907.90 c #Conflicts: 1151000 | #Constraints: 120172
2897.03/2907.90 c #Conflicts: 1152000 | #Constraints: 121172
2897.03/2907.90 c #Conflicts: 1153000 | #Constraints: 122172
2897.03/2907.90 c #Conflicts: 1154000 | #Constraints: 123172
2897.03/2907.90 c #Conflicts: 1155000 | #Constraints: 124172
2897.03/2907.90 c #Conflicts: 1156000 | #Constraints: 125172
2897.03/2907.90 c #Conflicts: 1157000 | #Constraints: 126172
2897.03/2907.90 c #Conflicts: 1158000 | #Constraints: 127172
2897.03/2907.90 c #Conflicts: 1159000 | #Constraints: 128172
2897.03/2907.90 c #Conflicts: 1160000 | #Constraints: 129172
2897.03/2907.90 c #Conflicts: 1161000 | #Constraints: 130172
2897.03/2907.90 c #Conflicts: 1162000 | #Constraints: 131172
2897.03/2907.90 c #Conflicts: 1163000 | #Constraints: 132172
2897.03/2907.90 c #Conflicts: 1164000 | #Constraints: 133172
2897.03/2907.90 c #Conflicts: 1165000 | #Constraints: 134172
2897.03/2907.90 c #Conflicts: 1166000 | #Constraints: 135172
2897.03/2907.90 c #Conflicts: 1167000 | #Constraints: 136172
2897.03/2907.90 c #Conflicts: 1168000 | #Constraints: 137172
2897.03/2907.90 c INPROCESSING
2897.03/2907.90 c GARBAGE COLLECT
2897.03/2907.90 c #Conflicts: 1169000 | #Constraints: 116755
2897.03/2907.90 c #Conflicts: 1170000 | #Constraints: 117755
2897.03/2907.90 c #Conflicts: 1171000 | #Constraints: 118755
2897.03/2907.90 c #Conflicts: 1172000 | #Constraints: 119755
2897.03/2907.90 c #Conflicts: 1173000 | #Constraints: 120755
2897.03/2907.90 c #Conflicts: 1174000 | #Constraints: 121755
2897.03/2907.90 c #Conflicts: 1175000 | #Constraints: 122755
2897.03/2907.90 c #Conflicts: 1176000 | #Constraints: 123755
2897.03/2907.90 c #Conflicts: 1177000 | #Constraints: 124755
2897.03/2907.90 c #Conflicts: 1178000 | #Constraints: 125755
2897.03/2907.90 c #Conflicts: 1179000 | #Constraints: 126755
2897.03/2907.90 c #Conflicts: 1180000 | #Constraints: 127755
2897.03/2907.90 c #Conflicts: 1181000 | #Constraints: 128755
3235.03/3247.17 c #Conflicts: 1182000 | #Constraints: 129755
3235.03/3247.17 c #Conflicts: 1183000 | #Constraints: 130755
3235.03/3247.17 c #Conflicts: 1184000 | #Constraints: 131755
3235.03/3247.17 c #Conflicts: 1185000 | #Constraints: 132755
3235.03/3247.17 c #Conflicts: 1186000 | #Constraints: 133755
3235.03/3247.17 c #Conflicts: 1187000 | #Constraints: 134755
3235.03/3247.17 c #Conflicts: 1188000 | #Constraints: 135755
3235.03/3247.17 c #Conflicts: 1189000 | #Constraints: 136755
3235.03/3247.17 c #Conflicts: 1190000 | #Constraints: 137755
3235.03/3247.17 c INPROCESSING
3235.03/3247.17 c GARBAGE COLLECT
3235.03/3247.17 c #Conflicts: 1191000 | #Constraints: 117144
3235.03/3247.17 c #Conflicts: 1192000 | #Constraints: 118144
3235.03/3247.17 c #Conflicts: 1193000 | #Constraints: 119144
3235.03/3247.17 c #Conflicts: 1194000 | #Constraints: 120144
3235.03/3247.17 c #Conflicts: 1195000 | #Constraints: 121144
3235.03/3247.17 c #Conflicts: 1196000 | #Constraints: 122144
3235.03/3247.17 c #Conflicts: 1197000 | #Constraints: 123144
3235.03/3247.17 c #Conflicts: 1198000 | #Constraints: 124144
3235.03/3247.17 c #Conflicts: 1199000 | #Constraints: 125144
3235.03/3247.17 c #Conflicts: 1200000 | #Constraints: 126144
3235.03/3247.17 c #Conflicts: 1201000 | #Constraints: 127144
3235.03/3247.17 c #Conflicts: 1202000 | #Constraints: 128144
3235.03/3247.17 c #Conflicts: 1203000 | #Constraints: 129144
3235.03/3247.17 c #Conflicts: 1204000 | #Constraints: 130144
3235.03/3247.17 c #Conflicts: 1205000 | #Constraints: 131144
3235.03/3247.17 c #Conflicts: 1206000 | #Constraints: 132144
3235.03/3247.17 c #Conflicts: 1207000 | #Constraints: 133144
3235.03/3247.17 c #Conflicts: 1208000 | #Constraints: 134144
3235.03/3247.17 c #Conflicts: 1209000 | #Constraints: 135144
3235.03/3247.17 c #Conflicts: 1210000 | #Constraints: 136144
3235.03/3247.17 c #Conflicts: 1211000 | #Constraints: 137144
3235.03/3247.17 c #Conflicts: 1212000 | #Constraints: 138144
3235.03/3247.17 c INPROCESSING
3235.03/3247.17 c GARBAGE COLLECT
3235.03/3247.17 c #Conflicts: 1213000 | #Constraints: 117348
3235.03/3247.17 c #Conflicts: 1214000 | #Constraints: 118348
3235.03/3247.17 c #Conflicts: 1215000 | #Constraints: 119348
3235.03/3247.17 c #Conflicts: 1216000 | #Constraints: 120348
3235.03/3247.17 c #Conflicts: 1217000 | #Constraints: 121348
3235.03/3247.17 c #Conflicts: 1218000 | #Constraints: 122348
3235.03/3247.17 c #Conflicts: 1219000 | #Constraints: 123348
3235.03/3247.17 c #Conflicts: 1220000 | #Constraints: 124348
3235.03/3247.17 c #Conflicts: 1221000 | #Constraints: 125348
3235.03/3247.17 c #Conflicts: 1222000 | #Constraints: 126348
3235.03/3247.17 c #Conflicts: 1223000 | #Constraints: 127348
3235.03/3247.17 c #Conflicts: 1224000 | #Constraints: 128348
3235.03/3247.17 c #Conflicts: 1225000 | #Constraints: 129348
3235.03/3247.17 c #Conflicts: 1226000 | #Constraints: 130348
3235.03/3247.17 c #Conflicts: 1227000 | #Constraints: 131348
3235.03/3247.17 c #Conflicts: 1228000 | #Constraints: 132348
3235.03/3247.17 c #Conflicts: 1229000 | #Constraints: 133348
3235.03/3247.17 c #Conflicts: 1230000 | #Constraints: 134348
3235.03/3247.17 c #Conflicts: 1231000 | #Constraints: 135348
3235.03/3247.17 c #Conflicts: 1232000 | #Constraints: 136348
3235.03/3247.17 c #Conflicts: 1233000 | #Constraints: 137348
3235.03/3247.17 c #Conflicts: 1234000 | #Constraints: 138348
3235.03/3247.17 c INPROCESSING
3235.03/3247.17 c GARBAGE COLLECT
3235.03/3247.17 c #Conflicts: 1235000 | #Constraints: 117359
3235.03/3247.17 c #Conflicts: 1236000 | #Constraints: 118359
3235.03/3247.17 c #Conflicts: 1237000 | #Constraints: 119359
3235.03/3247.17 c #Conflicts: 1238000 | #Constraints: 120359
3235.03/3247.17 c #Conflicts: 1239000 | #Constraints: 121359
3235.03/3247.17 c #Conflicts: 1240000 | #Constraints: 122359
3235.03/3247.17 c #Conflicts: 1241000 | #Constraints: 123359
3235.03/3247.17 c #Conflicts: 1242000 | #Constraints: 124359
3235.03/3247.17 c #Conflicts: 1243000 | #Constraints: 125359
3235.03/3247.17 c #Conflicts: 1244000 | #Constraints: 126359
3235.03/3247.17 c #Conflicts: 1245000 | #Constraints: 127359
3235.03/3247.17 c #Conflicts: 1246000 | #Constraints: 128359
3235.03/3247.17 c #Conflicts: 1247000 | #Constraints: 129359
3235.03/3247.17 c #Conflicts: 1248000 | #Constraints: 130359
3235.03/3247.17 c #Conflicts: 1249000 | #Constraints: 131359
3235.03/3247.17 c #Conflicts: 1250000 | #Constraints: 132359
3235.03/3247.17 c #Conflicts: 1251000 | #Constraints: 133359
3235.03/3247.17 c #Conflicts: 1252000 | #Constraints: 134359
3235.03/3247.17 c #Conflicts: 1253000 | #Constraints: 135359
3235.03/3247.17 c #Conflicts: 1254000 | #Constraints: 136359
3235.03/3247.17 c #Conflicts: 1255000 | #Constraints: 137359
3235.03/3247.17 c #Conflicts: 1256000 | #Constraints: 138359
3235.03/3247.17 c INPROCESSING
3235.03/3247.17 c GARBAGE COLLECT
3235.03/3247.17 c #Conflicts: 1257000 | #Constraints: 117168
3560.36/3573.62 c #Conflicts: 1258000 | #Constraints: 118168
3560.36/3573.62 c #Conflicts: 1259000 | #Constraints: 119168
3560.36/3573.62 c #Conflicts: 1260000 | #Constraints: 120168
3560.36/3573.62 c #Conflicts: 1261000 | #Constraints: 121168
3560.36/3573.62 c #Conflicts: 1262000 | #Constraints: 122168
3560.36/3573.62 c #Conflicts: 1263000 | #Constraints: 123168
3560.36/3573.62 c #Conflicts: 1264000 | #Constraints: 124168
3560.36/3573.62 c #Conflicts: 1265000 | #Constraints: 125168
3560.36/3573.62 c #Conflicts: 1266000 | #Constraints: 126168
3560.36/3573.62 c #Conflicts: 1267000 | #Constraints: 127168
3560.36/3573.62 c #Conflicts: 1268000 | #Constraints: 128168
3560.36/3573.62 c #Conflicts: 1269000 | #Constraints: 129168
3560.36/3573.62 c #Conflicts: 1270000 | #Constraints: 130168
3560.36/3573.62 c #Conflicts: 1271000 | #Constraints: 131168
3560.36/3573.62 c #Conflicts: 1272000 | #Constraints: 132168
3560.36/3573.62 c #Conflicts: 1273000 | #Constraints: 133168
3560.36/3573.62 c #Conflicts: 1274000 | #Constraints: 134168
3560.36/3573.62 c #Conflicts: 1275000 | #Constraints: 135168
3560.36/3573.62 c #Conflicts: 1276000 | #Constraints: 136168
3560.36/3573.62 c #Conflicts: 1277000 | #Constraints: 137168
3560.36/3573.62 c #Conflicts: 1278000 | #Constraints: 138168
3560.36/3573.62 c #Conflicts: 1279000 | #Constraints: 139168
3560.36/3573.62 c INPROCESSING
3560.36/3573.62 c GARBAGE COLLECT
3560.36/3573.62 c #Conflicts: 1280000 | #Constraints: 117780
3560.36/3573.62 c #Conflicts: 1281000 | #Constraints: 118780
3560.36/3573.62 c #Conflicts: 1282000 | #Constraints: 119780
3560.36/3573.62 c #Conflicts: 1283000 | #Constraints: 120780
3560.36/3573.62 c #Conflicts: 1284000 | #Constraints: 121780
3560.36/3573.62 c #Conflicts: 1285000 | #Constraints: 122780
3560.36/3573.62 c #Conflicts: 1286000 | #Constraints: 123780
3560.36/3573.62 c #Conflicts: 1287000 | #Constraints: 124780
3560.36/3573.62 c #Conflicts: 1288000 | #Constraints: 125780
3560.36/3573.62 c #Conflicts: 1289000 | #Constraints: 126780
3560.36/3573.62 c #Conflicts: 1290000 | #Constraints: 127780
3560.36/3573.62 c #Conflicts: 1291000 | #Constraints: 128780
3560.36/3573.62 c #Conflicts: 1292000 | #Constraints: 129780
3560.36/3573.62 c #Conflicts: 1293000 | #Constraints: 130780
3560.36/3573.62 c #Conflicts: 1294000 | #Constraints: 131780
3560.36/3573.62 c #Conflicts: 1295000 | #Constraints: 132780
3560.36/3573.62 c #Conflicts: 1296000 | #Constraints: 133780
3560.36/3573.62 c #Conflicts: 1297000 | #Constraints: 134780
3560.36/3573.62 c #Conflicts: 1298000 | #Constraints: 135780
3560.36/3573.62 c #Conflicts: 1299000 | #Constraints: 136780
3560.36/3573.62 c #Conflicts: 1300000 | #Constraints: 137780
3560.36/3573.62 c #Conflicts: 1301000 | #Constraints: 138780
3560.36/3573.62 c #Conflicts: 1302000 | #Constraints: 139780
3560.36/3573.62 c INPROCESSING
3560.36/3573.62 c GARBAGE COLLECT
3560.36/3573.62 c #Conflicts: 1303000 | #Constraints: 118154
3560.36/3573.62 c #Conflicts: 1304000 | #Constraints: 119154
3560.36/3573.62 c #Conflicts: 1305000 | #Constraints: 120154
3560.36/3573.62 c #Conflicts: 1306000 | #Constraints: 121154
3560.36/3573.62 c #Conflicts: 1307000 | #Constraints: 122154
3560.36/3573.62 c #Conflicts: 1308000 | #Constraints: 123154
3560.36/3573.62 c #Conflicts: 1309000 | #Constraints: 124154
3560.36/3573.62 c #Conflicts: 1310000 | #Constraints: 125154
3560.36/3573.62 c #Conflicts: 1311000 | #Constraints: 126154
3560.36/3573.62 c #Conflicts: 1312000 | #Constraints: 127154
3560.36/3573.62 c #Conflicts: 1313000 | #Constraints: 128154
3560.36/3573.62 c #Conflicts: 1314000 | #Constraints: 129154
3560.36/3573.62 c #Conflicts: 1315000 | #Constraints: 130154
3560.36/3573.62 c #Conflicts: 1316000 | #Constraints: 131154
3560.36/3573.62 c #Conflicts: 1317000 | #Constraints: 132154
3560.36/3573.62 c #Conflicts: 1318000 | #Constraints: 133154
3560.36/3573.62 c #Conflicts: 1319000 | #Constraints: 134154
3560.36/3573.62 c #Conflicts: 1320000 | #Constraints: 135154
3560.36/3573.62 c #Conflicts: 1321000 | #Constraints: 136154
3560.36/3573.62 c #Conflicts: 1322000 | #Constraints: 137154
3560.36/3573.62 c #Conflicts: 1323000 | #Constraints: 138154
3560.36/3573.62 c #Conflicts: 1324000 | #Constraints: 139154
3560.36/3573.62 c #Conflicts: 1325000 | #Constraints: 140154
3560.36/3573.62 c INPROCESSING
3560.36/3573.62 c GARBAGE COLLECT
3560.36/3573.62 c #Conflicts: 1326000 | #Constraints: 118366
3560.36/3573.62 c #Conflicts: 1327000 | #Constraints: 119366
3560.36/3573.62 c #Conflicts: 1328000 | #Constraints: 120366
3560.36/3573.62 c #Conflicts: 1329000 | #Constraints: 121366
3560.36/3573.62 c #Conflicts: 1330000 | #Constraints: 122366
3560.36/3573.62 c #Conflicts: 1331000 | #Constraints: 123366
3560.36/3573.62 c #Conflicts: 1332000 | #Constraints: 124366
3560.36/3573.62 c #Conflicts: 1333000 | #Constraints: 125366
3560.36/3573.62 c #Conflicts: 1334000 | #Constraints: 126366
3600.01/3613.40 c #Conflicts: 1335000 | #Constraints: 127366
3600.01/3613.40 c #Conflicts: 1336000 | #Constraints: 128366
3600.01/3613.40 c #Conflicts: 1337000 | #Constraints: 129366
3600.01/3613.40 c #Conflicts: 1338000 | #Constraints: 130366
3600.01/3613.40 c #Conflicts: 1339000 | #Constraints: 131366
3600.01/3613.40 c #Conflicts: 1340000 | #Constraints: 132366
3600.01/3613.40 c #Conflicts: 1341000 | #Constraints: 133366
3600.01/3613.40 c #Conflicts: 1342000 | #Constraints: 134366
3600.01/3613.40 c Program interrupted by user.
3600.01/3613.40 c cpu time 3592.55 s
3600.01/3613.40 c deterministic time 739197764528 7.39e+11
3600.01/3613.40 c optimization time 69.123 s
3600.01/3613.40 c total solve time 3224.37 s
3600.01/3613.40 c core-guided solve time 3224.37 s
3600.01/3613.40 c propagation time 3088.07 s
3600.01/3613.40 c conflict analysis time 161.106 s
3600.01/3613.40 c propagations 36110738
3600.01/3613.40 c resolve steps 10812896
3600.01/3613.40 c decisions 2444486
3600.01/3613.40 c conflicts 1342040
3600.01/3613.40 c restarts 2557
3600.01/3613.40 c inprocessing phases 106
3600.01/3613.40 c input clauses 94463
3600.01/3613.40 c input cardinalities 32
3600.01/3613.40 c input general constraints 0
3600.01/3613.40 c input average constraint length 2.44
3600.01/3613.40 c input average constraint degree 1.34
3600.01/3613.40 c learned clauses 815284
3600.01/3613.40 c learned cardinalities 347987
3600.01/3613.40 c learned general constraints 178769
3600.01/3613.40 c learned average constraint length 1208.75
3600.01/3613.40 c learned average constraint degree 17.78
3600.01/3613.40 c watched constraints 178769
3600.01/3613.40 c counting constraints 0
3600.01/3613.40 c gcd simplifications 96886
3600.01/3613.40 c detected cardinalities 26896
3600.01/3613.40 c weakened non-implied lits 17758467
3600.01/3613.40 c weakened non-implying lits 65529
3600.01/3613.40 c original variables 1272
3600.01/3613.40 c clausal propagations 26159194
3600.01/3613.40 c cardinality propagations 5179147
3600.01/3613.40 c watched propagations 1019193
3600.01/3613.40 c counting propagations 0
3600.01/3613.40 c watch lookups 18489946612
3600.01/3613.40 c watch backjump lookups 4896540
3600.01/3613.40 c watch checks 714811570140
3600.01/3613.40 c propagation checks 2352354378
3600.01/3613.40 c constraint additions 3460545804
3600.01/3613.40 c trail pops 39895829
3600.01/3613.40 c formula constraints 94227
3600.01/3613.40 c learned constraints 1342040
3600.01/3613.40 c bound constraints 32
3600.01/3613.40 c core-guided constraints 236
3600.01/3613.40 c encountered formula constraints 9109110
3600.01/3613.40 c encountered learned constraints 3010578
3600.01/3613.40 c encountered bound constraints 2007
3600.01/3613.40 c encountered core-guided constraints 33241
3600.01/3613.40 c LP total time 0 s
3600.01/3613.40 c LP solve time 0 s
3600.01/3613.40 c LP constraints added 0
3600.01/3613.40 c LP constraints removed 0
3600.01/3613.40 c LP pivots internal 0
3600.01/3613.40 c LP pivots root 0
3600.01/3613.40 c LP calls 0
3600.01/3613.40 c LP optimalities 0
3600.01/3613.40 c LP no pivot count 0
3600.01/3613.40 c LP infeasibilities 0
3600.01/3613.40 c LP valid Farkas constraints 0
3600.01/3613.40 c LP learned Farkas constraints 0
3600.01/3613.40 c LP basis resets 0
3600.01/3613.40 c LP cycling count 0
3600.01/3613.40 c LP singular count 0
3600.01/3613.40 c LP no primal count 0
3600.01/3613.40 c LP no farkas count 0
3600.01/3613.40 c LP other issue count 0
3600.01/3613.40 c LP Gomory cuts 0
3600.01/3613.40 c LP learned cuts 0
3600.01/3613.40 c LP deleted cuts 0
3600.01/3613.40 c LP encountered Gomory constraints 0
3600.01/3613.40 c LP encountered Farkas constraints 0
3600.01/3613.40 c LP encountered learned Farkas constraints 0
3600.01/3613.40 c CG auxiliary variables introduced 236
3600.01/3613.40 c CG solutions found 0
3600.01/3613.40 c CG cores constructed 31
3600.01/3613.40 c CG core cardinality constraints returned 0
3600.01/3613.40 c CG unit cores 0
3600.01/3613.40 c CG single cores 31
3600.01/3613.40 c CG blocks removed during cardinality reduction 0
3600.01/3613.40 c CG first core best 0
3600.01/3613.40 c CG decision core best 0
3600.01/3613.40 c CG core reduction tie 0
3600.01/3613.40 c CG core degree average 1.00
3600.01/3613.40 c CG core slack average 6.48
3600.01/3613.40 c CG exhausted 0
3600.01/3613.40 c CG exhaust time 0 s
3600.01/3613.40 c CG trimmed 4
3600.01/3613.40 c CG trim time 0.000327 s
3600.01/3613.40 c CG minimized 0
3600.01/3613.40 c CG minimize time 0 s
3600.01/3613.40 c CG am1 prop time 0.007487 s
3600.01/3613.40 c CG # am1s reformulated 236
3600.01/3613.40 c CG lower bound derived from am1s 1033
3600.01/3613.40 c CG # clausal cores 31
3600.01/3613.40 c CG # cardinality cores 0
3600.01/3613.40 c CG # pb cores 0
3600.01/3613.40 c CG # pb reforms 0
3600.01/3613.40 c CG # cores discarded because of pb reform 0
3600.01/3613.40 d LOWERBOUND -208
3600.01/3613.40 d NCORES 31
3600.01/3613.40 d NPBCORES 0
3600.01/3613.40 d NPBREFORM 0
3600.01/3613.40 d NTRIMMED 4
3600.01/3613.40 d NEXHAUSTED 0
3600.01/3613.40 d NAM1S 236
3600.01/3613.40 d AM1LB 1033
3600.01/3613.40 c [Papilo Statistics]
3600.01/3613.40 c prepro time 0.301807s
3600.01/3613.40 c # tsx applied 0
3600.01/3613.40 c # tsx conflicts 0
3600.01/3613.40 c # bound changes 0
3600.01/3613.40 c # side changes 0
3600.01/3613.40 c # coef changes 0
3600.01/3613.40 c # rounds 1
3600.01/3613.40 c # deted vars 0
3600.01/3613.40 c # deted constrs 0
3600.01/3613.40 c # consecutive rounds of only bound changes 0
3600.01/3613.41 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: 63931 MiB (61853 MiB free)
memory of node 1: 64510 MiB (61879 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435523-1721060675/watcher-4435523-1721060675 -o /tmp/evaluation-result-4435523-1721060675/solver-4435523-1721060675 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721060594-815228 --watchdog 3760 mixed-bag HOME/instance-4435523-1721060675.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=815861, runsolver pid=815858
[startup+0.100436 s]*
/proc/loadavg: 3.58 1.98 2.10 5/260 815862
/proc/meminfo: memFree=126693640/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=82140 memory=15632 CPUtime=0.09 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 2413 0 0 0 9 0 0 0 20 0 1 0 158226680 84111360 3908 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 20535 3908 1713 3002 0 4825 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 82140 KiB
Current children cumulated memory: 15632 KiB
[startup+0.205633 s]*
/proc/loadavg: 3.58 1.98 2.10 5/260 815862
/proc/meminfo: memFree=126654020/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=130620 memory=55324 CPUtime=0.2 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 9965 0 0 0 18 2 0 0 20 0 1 0 158226680 133754880 13831 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 32655 13831 1820 3002 0 16406 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 130620 KiB
Current children cumulated memory: 55324 KiB
[startup+0.30588 s]*
/proc/loadavg: 3.58 1.98 2.10 5/260 815862
/proc/meminfo: memFree=126653912/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=130620 memory=55324 CPUtime=0.3 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 9975 0 0 0 28 2 0 0 20 0 1 0 158226680 133754880 13831 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 32655 13831 1820 3002 0 16406 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 130620 KiB
Current children cumulated memory: 55324 KiB
[startup+0.700222 s]
/proc/loadavg: 3.58 1.98 2.10 5/260 815862
/proc/meminfo: memFree=126645932/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=234280 memory=164224 CPUtime=0.68 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 36836 0 0 0 63 5 0 0 20 0 1 0 158226680 239902720 41056 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 58570 41056 3836 3002 0 42321 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 234280 KiB
Current children cumulated memory: 164224 KiB
[startup+1.50023 s]
/proc/loadavg: 3.58 1.98 2.10 5/260 815862
/proc/meminfo: memFree=126498504/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=293320 memory=221812 CPUtime=1.48 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 52283 0 0 0 140 8 0 0 20 0 1 0 158226680 300359680 55453 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 73330 55453 3836 3002 0 57081 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 293320 KiB
Current children cumulated memory: 221812 KiB
[startup+3.10584 s]
/proc/loadavg: 3.58 1.98 2.10 5/260 815862
/proc/meminfo: memFree=126224528/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=583356 memory=491132 CPUtime=3.08 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 83253 0 0 0 292 16 0 0 20 0 1 0 158226680 597356544 122783 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 145839 122783 4067 3002 0 129590 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 583356 KiB
Current children cumulated memory: 491132 KiB
[startup+6.30016 s]
/proc/loadavg: 3.61 2.01 2.11 5/260 815862
/proc/meminfo: memFree=126190372/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=629032 memory=523028 CPUtime=6.27 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 90186 0 0 0 610 17 0 0 20 0 1 0 158226680 644128768 130757 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 157258 130757 4099 3002 0 141009 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 629032 KiB
Current children cumulated memory: 523028 KiB
[startup+12.7002 s]
/proc/loadavg: 3.65 2.05 2.12 5/260 815863
/proc/meminfo: memFree=126124592/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=644252 memory=531048 CPUtime=12.64 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 91160 0 0 0 1247 17 0 0 20 0 1 0 158226680 659714048 132762 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 161063 132762 4099 3002 0 144814 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 644252 KiB
Current children cumulated memory: 531048 KiB
[startup+25.5002 s]
/proc/loadavg: 3.81 2.16 2.16 5/260 815865
/proc/meminfo: memFree=126109212/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=745252 memory=537444 CPUtime=25.39 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 92290 0 0 0 2522 17 0 0 20 0 1 0 158226680 763138048 134361 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 186313 134361 4099 3002 0 170064 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 745252 KiB
Current children cumulated memory: 537444 KiB
[startup+51.1055 s]
/proc/loadavg: 3.87 2.31 2.21 5/262 816253
/proc/meminfo: memFree=125929016/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=915008 memory=650964 CPUtime=50.91 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 120147 0 0 0 5069 22 0 0 20 0 1 0 158226680 936968192 162741 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 228752 162741 4131 3002 0 212503 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 915008 KiB
Current children cumulated memory: 650964 KiB
[startup+102.3 s]
/proc/loadavg: 3.99 2.59 2.31 5/260 816263
/proc/meminfo: memFree=125889036/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=963008 memory=687160 CPUtime=101.9 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 129203 0 0 0 10166 24 0 0 20 0 1 0 158226680 986120192 171790 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 240752 171790 4131 3002 0 224503 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 963008 KiB
Current children cumulated memory: 687160 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 2.86 2.42 5/260 816365
/proc/meminfo: memFree=125187260/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=1095820 memory=768088 CPUtime=161.64 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 161997 0 0 0 16135 29 0 0 20 0 1 0 158226680 1122119680 192022 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 273955 192022 4131 3002 0 257706 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 1095820 KiB
Current children cumulated memory: 768088 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 3.09 2.53 5/258 816375
/proc/meminfo: memFree=124881740/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=1234064 memory=864068 CPUtime=221.36 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 185989 0 0 0 22103 33 0 0 20 0 1 0 158226680 1263681536 216017 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 308516 216017 4131 3002 0 292267 0
Current children cumulated CPU time: 221.36 s
Current children cumulated vsize: 1234064 KiB
Current children cumulated memory: 864068 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 3.27 2.63 5/258 816555
/proc/meminfo: memFree=124224992/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=1309416 memory=939264 CPUtime=281.07 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 204819 0 0 0 28070 37 0 0 20 0 1 0 158226680 1340841984 234816 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 327354 234816 4131 3002 0 311105 0
Current children cumulated CPU time: 281.07 s
Current children cumulated vsize: 1309416 KiB
Current children cumulated memory: 939264 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.44 2.73 5/258 816566
/proc/meminfo: memFree=124035480/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=1179864 memory=810108 CPUtime=340.79 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 208633 0 0 0 34001 78 0 0 20 0 1 0 158226680 1208180736 202527 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 294966 202527 4259 3002 0 278717 0
Current children cumulated CPU time: 340.79 s
Current children cumulated vsize: 1179864 KiB
Current children cumulated memory: 810108 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.56 2.82 5/260 816635
/proc/meminfo: memFree=123855448/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=1179864 memory=830588 CPUtime=400.53 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 208693 0 0 0 39942 111 0 0 20 0 1 0 158226680 1208180736 207647 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 294966 207647 4259 3002 0 278717 0
Current children cumulated CPU time: 400.53 s
Current children cumulated vsize: 1179864 KiB
Current children cumulated memory: 830588 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.67 2.90 5/260 816647
/proc/meminfo: memFree=124057472/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=1229952 memory=844168 CPUtime=460.29 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 209535 0 0 0 45890 139 0 0 20 0 1 0 158226680 1259470848 211042 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 307488 211042 4259 3002 0 291239 0
################
# More data... #
################
Current children cumulated memory: 1076444 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.11 4.05 5/257 817666
/proc/meminfo: memFree=121700192/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=1443600 memory=1078492 CPUtime=2851.59 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 215957 0 0 0 284519 640 0 0 20 0 1 0 158226680 1478246400 269623 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 360900 269623 4259 3002 0 344651 0
Current children cumulated CPU time: 2851.59 s
Current children cumulated vsize: 1443600 KiB
Current children cumulated memory: 1078492 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.06 5/258 817677
/proc/meminfo: memFree=121695296/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=1443600 memory=1078492 CPUtime=2911.37 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 216067 0 0 0 290487 650 0 0 20 0 1 0 158226680 1478246400 269623 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 360900 269623 4259 3002 0 344651 0
Current children cumulated CPU time: 2911.37 s
Current children cumulated vsize: 1443600 KiB
Current children cumulated memory: 1078492 KiB
[startup+2982.3 s]
/proc/loadavg: 4.04 4.09 4.05 5/258 817689
/proc/meminfo: memFree=121432532/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=1443600 memory=1084636 CPUtime=2971.17 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 216204 0 0 0 296459 658 0 0 20 0 1 0 158226680 1478246400 271159 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 360900 271159 4259 3002 0 344651 0
Current children cumulated CPU time: 2971.17 s
Current children cumulated vsize: 1443600 KiB
Current children cumulated memory: 1084636 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.06 5/258 817699
/proc/meminfo: memFree=121426812/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=1443600 memory=1084636 CPUtime=3030.96 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 216319 0 0 0 302431 665 0 0 20 0 1 0 158226680 1478246400 271159 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 360900 271159 4259 3002 0 344651 0
Current children cumulated CPU time: 3030.96 s
Current children cumulated vsize: 1443600 KiB
Current children cumulated memory: 1084636 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.06 5/256 817710
/proc/meminfo: memFree=121345952/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=1443600 memory=1084636 CPUtime=3090.74 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 216425 0 0 0 308400 674 0 0 20 0 1 0 158226680 1478246400 271159 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 360900 271159 4259 3002 0 344651 0
Current children cumulated CPU time: 3090.74 s
Current children cumulated vsize: 1443600 KiB
Current children cumulated memory: 1084636 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.06 5/256 817721
/proc/meminfo: memFree=121339000/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=1443600 memory=1088732 CPUtime=3150.53 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 216560 0 0 0 314370 683 0 0 20 0 1 0 158226680 1478246400 272183 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 360900 272183 4259 3002 0 344651 0
Current children cumulated CPU time: 3150.53 s
Current children cumulated vsize: 1443600 KiB
Current children cumulated memory: 1088732 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.06 5/255 817731
/proc/meminfo: memFree=121284304/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=1443600 memory=1088732 CPUtime=3210.31 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 216671 0 0 0 320340 691 0 0 20 0 1 0 158226680 1478246400 272183 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 360900 272183 4259 3002 0 344651 0
Current children cumulated CPU time: 3210.31 s
Current children cumulated vsize: 1443600 KiB
Current children cumulated memory: 1088732 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.06 5/256 817742
/proc/meminfo: memFree=121238260/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=1443600 memory=1088732 CPUtime=3270.09 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 216797 0 0 0 326308 701 0 0 20 0 1 0 158226680 1478246400 272183 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 360900 272183 4259 3002 0 344651 0
Current children cumulated CPU time: 3270.09 s
Current children cumulated vsize: 1443600 KiB
Current children cumulated memory: 1088732 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.11 4.07 5/256 817752
/proc/meminfo: memFree=121138576/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=1443600 memory=1088732 CPUtime=3329.88 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 216962 0 0 0 332280 708 0 0 20 0 1 0 158226680 1478246400 272183 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 360900 272183 4259 3002 0 344651 0
Current children cumulated CPU time: 3329.88 s
Current children cumulated vsize: 1443600 KiB
Current children cumulated memory: 1088732 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.07 5/259 817769
/proc/meminfo: memFree=121133992/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=1443600 memory=1088732 CPUtime=3389.67 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 217065 0 0 0 338248 719 0 0 20 0 1 0 158226680 1478246400 272183 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 360900 272183 4259 3002 0 344651 0
Current children cumulated CPU time: 3389.67 s
Current children cumulated vsize: 1443600 KiB
Current children cumulated memory: 1088732 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.07 5/260 817780
/proc/meminfo: memFree=121124468/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=1443600 memory=1092828 CPUtime=3449.46 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 217218 0 0 0 344218 728 0 0 20 0 1 0 158226680 1478246400 273207 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 360900 273207 4259 3002 0 344651 0
Current children cumulated CPU time: 3449.46 s
Current children cumulated vsize: 1443600 KiB
Current children cumulated memory: 1092828 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.12 4.08 5/260 817790
/proc/meminfo: memFree=121110748/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=1443600 memory=1092828 CPUtime=3509.24 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 217323 0 0 0 350188 736 0 0 20 0 1 0 158226680 1478246400 273207 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 360900 273207 4259 3002 0 344651 0
Current children cumulated CPU time: 3509.24 s
Current children cumulated vsize: 1443600 KiB
Current children cumulated memory: 1092828 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.14 4.09 5/260 817847
/proc/meminfo: memFree=124228512/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=1443600 memory=1094876 CPUtime=3569.02 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 217451 0 0 0 356158 744 0 0 20 0 1 0 158226680 1478246400 273719 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 360900 273719 4259 3002 0 344651 0
Current children cumulated CPU time: 3569.02 s
Current children cumulated vsize: 1443600 KiB
Current children cumulated memory: 1094876 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.4 s]
/proc/loadavg: 4.18 4.14 4.09 5/259 817853
/proc/meminfo: memFree=124159240/131524600 swapFree=130795544/131071996
[pid=815861] ppid=815858 vsize=1443600 memory=1094876 CPUtime=3600.01 cores=0,2
/proc/815861/stat : 815861 (mixed-bag) R 815858 815861 815216 0 -1 4194304 217497 0 0 0 359254 747 0 0 20 0 1 0 158226680 1478246400 273719 134679101440 4194304 16487941 140725793016144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 25718784 140725793018903 140725793018980 140725793018980 140725793025995 0
/proc/815861/statm: 360900 273719 4259 3002 0 344651 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1443600 KiB
Current children cumulated memory: 1094876 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.42 s]
# the end of solver process 815861 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.56 s, system=7.48319 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3613.42
CPU time (s): 3600.04
CPU user time (s): 3592.56
CPU system time (s): 7.48319
CPU usage (%): 99.6297
Max. virtual memory (cumulated for all children) (KiB): 1443600
Max. memory (cumulated for all children) (KiB): 1094876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.56
system time used= 7.48319
maximum resident set size= 1095656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217546
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= 80
involuntary context switches= 25208
# summary of solver processes directly reported to runsolver:
# pid: 815861
# total CPU time (s): 3600.04
# total CPU user time (s): 3592.56
# total CPU system time (s): 7.48319
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.02708 second user time and 17.2737 second system time
The end
Begin job on nodeC014 at 2024-07-15 18:24:48
IDJOB=4435523
IDBENCH=146672
IDSOLVER=3066
FILE ID=nodeC014/4435523-1721060675
RUNJOBID= nodeC014-1721060594-815228
SLURM_JOB_ID= 7505507
Free space on /tmp= 890032 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435523-1721060675/watcher-4435523-1721060675 -o /tmp/evaluation-result-4435523-1721060675/solver-4435523-1721060675 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721060594-815228 --watchdog 3760 mixed-bag HOME/instance-4435523-1721060675.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 05a4468103b1b74e5a90bd7e67aed0d9
RANDOM SEED=1247092009
nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3662.651
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
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 : 3682.680
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
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 : 3658.281
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.919
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
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 : 3668.995
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
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 : 3682.706
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
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 : 3601.933
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
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.072
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126703084 kB
MemAvailable: 129414032 kB
Buffers: 306856 kB
Cached: 3210168 kB
SwapCached: 12876 kB
Active: 1014020 kB
Inactive: 3249884 kB
Active(anon): 9460 kB
Inactive(anon): 754800 kB
Active(file): 1004560 kB
Inactive(file): 2495084 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130795544 kB
Dirty: 18436 kB
Writeback: 0 kB
AnonPages: 737676 kB
Mapped: 79560 kB
Shmem: 17380 kB
KReclaimable: 101900 kB
Slab: 193584 kB
SReclaimable: 101900 kB
SUnreclaim: 91684 kB
KernelStack: 4208 kB
PageTables: 11628 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1321064 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 27616 kB
HardwareCorrupted: 0 kB
AnonHugePages: 235520 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191188 kB
DirectMap2M: 14262272 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 890012 MiB
End job on nodeC014 at 2024-07-15 19:25:01