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.00/0.07 c [STEP] preprocessing with Papilo
0.09/0.15 c Papilo could not simplify the problem
0.09/0.15 c [STEP] solving with SCIP
299.36/300.25 c [STEP] preprocessing done, loading into solver
299.45/300.32 c [STEP] solving
299.45/300.32 c #variables 761 #constraints 41263
299.45/300.32 c SMALL=int, LARGE=long long
299.45/300.32 c bounds - >= -760 @ 299.225
299.45/300.32 c stratification level: 0
323.30/324.22 c bounds - >= -155 @ 299.246
323.30/324.22 c bounds - >= -154 @ 299.247
323.30/324.22 c bounds - >= -153 @ 299.247
323.30/324.22 c bounds - >= -152 @ 299.247
323.30/324.22 c bounds - >= -151 @ 299.247
323.30/324.22 c bounds - >= -150 @ 299.248
323.30/324.22 c bounds - >= -149 @ 299.248
323.30/324.22 c bounds - >= -148 @ 299.248
323.30/324.22 c bounds - >= -147 @ 299.248
323.30/324.22 c bounds - >= -146 @ 299.248
323.30/324.22 c bounds - >= -145 @ 299.248
323.30/324.22 c bounds - >= -144 @ 299.249
323.30/324.22 c bounds - >= -143 @ 299.249
323.30/324.22 c bounds - >= -142 @ 299.25
323.30/324.22 c bounds - >= -141 @ 299.25
323.30/324.22 c #Conflicts: 1000 | #Constraints: 42433
323.30/324.22 c #Conflicts: 2000 | #Constraints: 43433
323.30/324.22 c INPROCESSING
323.30/324.22 c GARBAGE COLLECT
323.30/324.22 c #Conflicts: 3000 | #Constraints: 43433
323.30/324.22 c #Conflicts: 4000 | #Constraints: 44433
323.30/324.22 c INPROCESSING
323.30/324.22 c GARBAGE COLLECT
323.30/324.22 c #Conflicts: 5000 | #Constraints: 43836
323.30/324.22 c #Conflicts: 6000 | #Constraints: 44836
323.30/324.22 c INPROCESSING
323.30/324.22 c GARBAGE COLLECT
323.30/324.22 c #Conflicts: 7000 | #Constraints: 43843
323.30/324.22 c #Conflicts: 8000 | #Constraints: 44843
323.30/324.22 c #Conflicts: 9000 | #Constraints: 45843
323.30/324.22 c INPROCESSING
323.30/324.22 c GARBAGE COLLECT
323.30/324.22 c #Conflicts: 10000 | #Constraints: 44541
323.30/324.22 c #Conflicts: 11000 | #Constraints: 45541
323.30/324.22 c #Conflicts: 12000 | #Constraints: 46541
323.30/324.22 c INPROCESSING
323.30/324.22 c GARBAGE COLLECT
323.30/324.22 c #Conflicts: 13000 | #Constraints: 44992
323.30/324.22 c #Conflicts: 14000 | #Constraints: 45992
323.30/324.22 c #Conflicts: 15000 | #Constraints: 46992
323.30/324.22 c INPROCESSING
323.30/324.22 c GARBAGE COLLECT
323.30/324.22 c #Conflicts: 16000 | #Constraints: 45229
323.30/324.22 c #Conflicts: 17000 | #Constraints: 46229
323.30/324.22 c #Conflicts: 18000 | #Constraints: 47229
323.30/324.22 c INPROCESSING
323.30/324.22 c GARBAGE COLLECT
323.30/324.22 c #Conflicts: 19000 | #Constraints: 45243
323.30/324.22 c #Conflicts: 20000 | #Constraints: 46243
323.30/324.22 c #Conflicts: 21000 | #Constraints: 47243
323.30/324.22 c INPROCESSING
323.30/324.22 c GARBAGE COLLECT
323.30/324.22 c #Conflicts: 22000 | #Constraints: 45046
323.30/324.22 c #Conflicts: 23000 | #Constraints: 46046
323.30/324.22 c #Conflicts: 24000 | #Constraints: 47046
323.30/324.22 c #Conflicts: 25000 | #Constraints: 48046
323.30/324.22 c INPROCESSING
323.30/324.22 c GARBAGE COLLECT
323.30/324.22 c #Conflicts: 26000 | #Constraints: 45657
323.30/324.22 c #Conflicts: 27000 | #Constraints: 46657
323.30/324.22 c #Conflicts: 28000 | #Constraints: 47657
323.30/324.22 c #Conflicts: 29000 | #Constraints: 48657
323.30/324.22 c INPROCESSING
323.30/324.22 c GARBAGE COLLECT
323.30/324.22 c #Conflicts: 30000 | #Constraints: 46065
323.30/324.22 c #Conflicts: 31000 | #Constraints: 47065
323.30/324.22 c #Conflicts: 32000 | #Constraints: 48065
323.30/324.22 c #Conflicts: 33000 | #Constraints: 49065
323.30/324.22 c INPROCESSING
323.30/324.22 c GARBAGE COLLECT
323.30/324.22 c #Conflicts: 34000 | #Constraints: 46264
323.30/324.22 c #Conflicts: 35000 | #Constraints: 47264
323.30/324.22 c #Conflicts: 36000 | #Constraints: 48264
323.30/324.22 c #Conflicts: 37000 | #Constraints: 49264
323.30/324.22 c INPROCESSING
323.30/324.22 c GARBAGE COLLECT
323.30/324.22 c #Conflicts: 38000 | #Constraints: 46277
323.30/324.22 c #Conflicts: 39000 | #Constraints: 47277
323.30/324.22 c #Conflicts: 40000 | #Constraints: 48277
323.30/324.22 c #Conflicts: 41000 | #Constraints: 49277
323.30/324.22 c INPROCESSING
323.30/324.22 c GARBAGE COLLECT
323.30/324.22 c #Conflicts: 42000 | #Constraints: 46082
323.30/324.22 c #Conflicts: 43000 | #Constraints: 47082
323.30/324.22 c #Conflicts: 44000 | #Constraints: 48082
323.30/324.22 c #Conflicts: 45000 | #Constraints: 49082
323.30/324.22 c #Conflicts: 46000 | #Constraints: 50082
323.30/324.22 c INPROCESSING
323.30/324.22 c GARBAGE COLLECT
323.30/324.22 c #Conflicts: 47000 | #Constraints: 46681
323.30/324.22 c #Conflicts: 48000 | #Constraints: 47681
323.30/324.22 c #Conflicts: 49000 | #Constraints: 48681
323.30/324.22 c #Conflicts: 50000 | #Constraints: 49681
323.30/324.22 c #Conflicts: 51000 | #Constraints: 50681
323.30/324.22 c INPROCESSING
323.30/324.22 c GARBAGE COLLECT
323.30/324.22 c #Conflicts: 52000 | #Constraints: 47074
323.30/324.22 c #Conflicts: 53000 | #Constraints: 48074
323.30/324.22 c #Conflicts: 54000 | #Constraints: 49074
323.30/324.22 c #Conflicts: 55000 | #Constraints: 50074
323.30/324.22 c #Conflicts: 56000 | #Constraints: 51074
323.30/324.22 c INPROCESSING
323.30/324.22 c GARBAGE COLLECT
323.30/324.22 c #Conflicts: 57000 | #Constraints: 47269
323.30/324.22 c #Conflicts: 58000 | #Constraints: 48269
323.30/324.22 c #Conflicts: 59000 | #Constraints: 49269
323.30/324.22 c #Conflicts: 60000 | #Constraints: 50269
323.30/324.22 c #Conflicts: 61000 | #Constraints: 51269
363.79/364.86 c INPROCESSING
363.79/364.86 c GARBAGE COLLECT
363.79/364.86 c #Conflicts: 62000 | #Constraints: 47291
363.79/364.86 c #Conflicts: 63000 | #Constraints: 48291
363.79/364.86 c #Conflicts: 64000 | #Constraints: 49291
363.79/364.86 c #Conflicts: 65000 | #Constraints: 50291
363.79/364.86 c #Conflicts: 66000 | #Constraints: 51291
363.79/364.86 c INPROCESSING
363.79/364.86 c GARBAGE COLLECT
363.79/364.86 c #Conflicts: 67000 | #Constraints: 47080
363.79/364.86 c #Conflicts: 68000 | #Constraints: 48080
363.79/364.86 c #Conflicts: 69000 | #Constraints: 49080
363.79/364.86 c #Conflicts: 70000 | #Constraints: 50080
363.79/364.86 c #Conflicts: 71000 | #Constraints: 51080
363.79/364.86 c #Conflicts: 72000 | #Constraints: 52080
363.79/364.86 c INPROCESSING
363.79/364.86 c GARBAGE COLLECT
363.79/364.86 c #Conflicts: 73000 | #Constraints: 47677
363.79/364.86 c #Conflicts: 74000 | #Constraints: 48677
363.79/364.86 c #Conflicts: 75000 | #Constraints: 49677
363.79/364.86 c #Conflicts: 76000 | #Constraints: 50677
363.79/364.86 c #Conflicts: 77000 | #Constraints: 51677
363.79/364.86 c #Conflicts: 78000 | #Constraints: 52677
363.79/364.86 c INPROCESSING
363.79/364.86 c GARBAGE COLLECT
363.79/364.86 c #Conflicts: 79000 | #Constraints: 48077
363.79/364.86 c #Conflicts: 80000 | #Constraints: 49077
363.79/364.86 c #Conflicts: 81000 | #Constraints: 50077
363.79/364.86 c #Conflicts: 82000 | #Constraints: 51077
363.79/364.86 c #Conflicts: 83000 | #Constraints: 52077
363.79/364.86 c #Conflicts: 84000 | #Constraints: 53077
363.79/364.86 c INPROCESSING
363.79/364.86 c GARBAGE COLLECT
363.79/364.86 c #Conflicts: 85000 | #Constraints: 48276
363.79/364.86 c #Conflicts: 86000 | #Constraints: 49276
363.79/364.86 c #Conflicts: 87000 | #Constraints: 50276
363.79/364.86 c #Conflicts: 88000 | #Constraints: 51276
363.79/364.86 c #Conflicts: 89000 | #Constraints: 52276
363.79/364.86 c #Conflicts: 90000 | #Constraints: 53276
363.79/364.86 c INPROCESSING
363.79/364.86 c GARBAGE COLLECT
363.79/364.86 c #Conflicts: 91000 | #Constraints: 48284
363.79/364.86 c #Conflicts: 92000 | #Constraints: 49284
363.79/364.86 c #Conflicts: 93000 | #Constraints: 50284
363.79/364.86 c #Conflicts: 94000 | #Constraints: 51284
363.79/364.86 c #Conflicts: 95000 | #Constraints: 52284
363.79/364.86 c #Conflicts: 96000 | #Constraints: 53284
363.79/364.86 c INPROCESSING
363.79/364.86 c GARBAGE COLLECT
363.79/364.86 c #Conflicts: 97000 | #Constraints: 48096
363.79/364.86 c #Conflicts: 98000 | #Constraints: 49096
363.79/364.86 c #Conflicts: 99000 | #Constraints: 50096
363.79/364.86 c #Conflicts: 100000 | #Constraints: 51096
363.79/364.86 c #Conflicts: 101000 | #Constraints: 52096
363.79/364.86 c #Conflicts: 102000 | #Constraints: 53096
363.79/364.86 c #Conflicts: 103000 | #Constraints: 54096
363.79/364.86 c INPROCESSING
363.79/364.86 c GARBAGE COLLECT
363.79/364.86 c #Conflicts: 104000 | #Constraints: 48699
363.79/364.86 c #Conflicts: 105000 | #Constraints: 49699
363.79/364.86 c #Conflicts: 106000 | #Constraints: 50699
363.79/364.86 c #Conflicts: 107000 | #Constraints: 51699
363.79/364.86 c #Conflicts: 108000 | #Constraints: 52699
363.79/364.86 c #Conflicts: 109000 | #Constraints: 53699
363.79/364.86 c #Conflicts: 110000 | #Constraints: 54699
363.79/364.86 c INPROCESSING
363.79/364.86 c GARBAGE COLLECT
363.79/364.86 c #Conflicts: 111000 | #Constraints: 49089
363.79/364.86 c #Conflicts: 112000 | #Constraints: 50089
363.79/364.86 c #Conflicts: 113000 | #Constraints: 51089
363.79/364.86 c #Conflicts: 114000 | #Constraints: 52089
363.79/364.86 c #Conflicts: 115000 | #Constraints: 53089
363.79/364.86 c #Conflicts: 116000 | #Constraints: 54089
363.79/364.86 c #Conflicts: 117000 | #Constraints: 55089
363.79/364.86 c INPROCESSING
363.79/364.86 c GARBAGE COLLECT
363.79/364.86 c #Conflicts: 118000 | #Constraints: 49315
363.79/364.86 c #Conflicts: 119000 | #Constraints: 50315
363.79/364.86 c #Conflicts: 120000 | #Constraints: 51315
363.79/364.86 c #Conflicts: 121000 | #Constraints: 52315
363.79/364.86 c #Conflicts: 122000 | #Constraints: 53315
363.79/364.86 c #Conflicts: 123000 | #Constraints: 54315
363.79/364.86 c #Conflicts: 124000 | #Constraints: 55315
363.79/364.86 c INPROCESSING
363.79/364.86 c GARBAGE COLLECT
363.79/364.86 c #Conflicts: 125000 | #Constraints: 49316
363.79/364.86 c #Conflicts: 126000 | #Constraints: 50316
363.79/364.86 c #Conflicts: 127000 | #Constraints: 51316
363.79/364.86 c #Conflicts: 128000 | #Constraints: 52316
363.79/364.86 c #Conflicts: 129000 | #Constraints: 53316
363.79/364.86 c #Conflicts: 130000 | #Constraints: 54316
363.79/364.86 c #Conflicts: 131000 | #Constraints: 55316
363.79/364.86 c INPROCESSING
363.79/364.86 c GARBAGE COLLECT
363.79/364.86 c #Conflicts: 132000 | #Constraints: 49112
416.75/417.99 c #Conflicts: 133000 | #Constraints: 50112
416.75/417.99 c #Conflicts: 134000 | #Constraints: 51112
416.75/417.99 c #Conflicts: 135000 | #Constraints: 52112
416.75/417.99 c #Conflicts: 136000 | #Constraints: 53112
416.75/417.99 c #Conflicts: 137000 | #Constraints: 54112
416.75/417.99 c #Conflicts: 138000 | #Constraints: 55112
416.75/417.99 c #Conflicts: 139000 | #Constraints: 56112
416.75/417.99 c INPROCESSING
416.75/417.99 c GARBAGE COLLECT
416.75/417.99 c #Conflicts: 140000 | #Constraints: 49719
416.75/417.99 c #Conflicts: 141000 | #Constraints: 50719
416.75/417.99 c #Conflicts: 142000 | #Constraints: 51719
416.75/417.99 c #Conflicts: 143000 | #Constraints: 52719
416.75/417.99 c #Conflicts: 144000 | #Constraints: 53719
416.75/417.99 c #Conflicts: 145000 | #Constraints: 54719
416.75/417.99 c #Conflicts: 146000 | #Constraints: 55719
416.75/417.99 c #Conflicts: 147000 | #Constraints: 56719
416.75/417.99 c INPROCESSING
416.75/417.99 c GARBAGE COLLECT
416.75/417.99 c #Conflicts: 148000 | #Constraints: 50126
416.75/417.99 c #Conflicts: 149000 | #Constraints: 51126
416.75/417.99 c #Conflicts: 150000 | #Constraints: 52126
416.75/417.99 c #Conflicts: 151000 | #Constraints: 53126
416.75/417.99 c #Conflicts: 152000 | #Constraints: 54126
416.75/417.99 c #Conflicts: 153000 | #Constraints: 55126
416.75/417.99 c #Conflicts: 154000 | #Constraints: 56126
416.75/417.99 c #Conflicts: 155000 | #Constraints: 57126
416.75/417.99 c INPROCESSING
416.75/417.99 c GARBAGE COLLECT
416.75/417.99 c #Conflicts: 156000 | #Constraints: 50323
416.75/417.99 c #Conflicts: 157000 | #Constraints: 51323
416.75/417.99 c #Conflicts: 158000 | #Constraints: 52323
416.75/417.99 c #Conflicts: 159000 | #Constraints: 53323
416.75/417.99 c #Conflicts: 160000 | #Constraints: 54323
416.75/417.99 c #Conflicts: 161000 | #Constraints: 55323
416.75/417.99 c #Conflicts: 162000 | #Constraints: 56323
416.75/417.99 c #Conflicts: 163000 | #Constraints: 57323
416.75/417.99 c INPROCESSING
416.75/417.99 c GARBAGE COLLECT
416.75/417.99 c #Conflicts: 164000 | #Constraints: 50312
416.75/417.99 c #Conflicts: 165000 | #Constraints: 51312
416.75/417.99 c #Conflicts: 166000 | #Constraints: 52312
416.75/417.99 c #Conflicts: 167000 | #Constraints: 53312
416.75/417.99 c #Conflicts: 168000 | #Constraints: 54312
416.75/417.99 c #Conflicts: 169000 | #Constraints: 55312
416.75/417.99 c #Conflicts: 170000 | #Constraints: 56312
416.75/417.99 c #Conflicts: 171000 | #Constraints: 57312
416.75/417.99 c INPROCESSING
416.75/417.99 c GARBAGE COLLECT
416.75/417.99 c #Conflicts: 172000 | #Constraints: 50119
416.75/417.99 c #Conflicts: 173000 | #Constraints: 51119
416.75/417.99 c #Conflicts: 174000 | #Constraints: 52119
416.75/417.99 c #Conflicts: 175000 | #Constraints: 53119
416.75/417.99 c #Conflicts: 176000 | #Constraints: 54119
416.75/417.99 c #Conflicts: 177000 | #Constraints: 55119
416.75/417.99 c #Conflicts: 178000 | #Constraints: 56119
416.75/417.99 c #Conflicts: 179000 | #Constraints: 57119
416.75/417.99 c #Conflicts: 180000 | #Constraints: 58119
416.75/417.99 c INPROCESSING
416.75/417.99 c GARBAGE COLLECT
416.75/417.99 c #Conflicts: 181000 | #Constraints: 50715
416.75/417.99 c #Conflicts: 182000 | #Constraints: 51715
416.75/417.99 c #Conflicts: 183000 | #Constraints: 52715
416.75/417.99 c #Conflicts: 184000 | #Constraints: 53715
416.75/417.99 c #Conflicts: 185000 | #Constraints: 54715
416.75/417.99 c #Conflicts: 186000 | #Constraints: 55715
416.75/417.99 c #Conflicts: 187000 | #Constraints: 56715
416.75/417.99 c #Conflicts: 188000 | #Constraints: 57715
416.75/417.99 c #Conflicts: 189000 | #Constraints: 58715
416.75/417.99 c INPROCESSING
416.75/417.99 c GARBAGE COLLECT
416.75/417.99 c #Conflicts: 190000 | #Constraints: 51118
416.75/417.99 c #Conflicts: 191000 | #Constraints: 52118
416.75/417.99 c #Conflicts: 192000 | #Constraints: 53118
416.75/417.99 c #Conflicts: 193000 | #Constraints: 54118
416.75/417.99 c #Conflicts: 194000 | #Constraints: 55118
416.75/417.99 c #Conflicts: 195000 | #Constraints: 56118
416.75/417.99 c #Conflicts: 196000 | #Constraints: 57118
416.75/417.99 c #Conflicts: 197000 | #Constraints: 58118
416.75/417.99 c #Conflicts: 198000 | #Constraints: 59118
416.75/417.99 c INPROCESSING
416.75/417.99 c GARBAGE COLLECT
416.75/417.99 c #Conflicts: 199000 | #Constraints: 51330
416.75/417.99 c #Conflicts: 200000 | #Constraints: 52330
416.75/417.99 c #Conflicts: 201000 | #Constraints: 53330
416.75/417.99 c #Conflicts: 202000 | #Constraints: 54330
416.75/417.99 c #Conflicts: 203000 | #Constraints: 55330
416.75/417.99 c #Conflicts: 204000 | #Constraints: 56330
416.75/417.99 c #Conflicts: 205000 | #Constraints: 57330
416.75/417.99 c #Conflicts: 206000 | #Constraints: 58330
482.96/484.39 c #Conflicts: 207000 | #Constraints: 59330
482.96/484.39 c INPROCESSING
482.96/484.39 c GARBAGE COLLECT
482.96/484.39 c #Conflicts: 208000 | #Constraints: 51317
482.96/484.39 c #Conflicts: 209000 | #Constraints: 52317
482.96/484.39 c #Conflicts: 210000 | #Constraints: 53317
482.96/484.39 c #Conflicts: 211000 | #Constraints: 54317
482.96/484.39 c #Conflicts: 212000 | #Constraints: 55317
482.96/484.39 c #Conflicts: 213000 | #Constraints: 56317
482.96/484.39 c #Conflicts: 214000 | #Constraints: 57317
482.96/484.39 c #Conflicts: 215000 | #Constraints: 58317
482.96/484.39 c #Conflicts: 216000 | #Constraints: 59317
482.96/484.39 c INPROCESSING
482.96/484.39 c GARBAGE COLLECT
482.96/484.39 c #Conflicts: 217000 | #Constraints: 51129
482.96/484.39 c #Conflicts: 218000 | #Constraints: 52129
482.96/484.39 c #Conflicts: 219000 | #Constraints: 53129
482.96/484.39 c #Conflicts: 220000 | #Constraints: 54129
482.96/484.39 c #Conflicts: 221000 | #Constraints: 55129
482.96/484.39 c #Conflicts: 222000 | #Constraints: 56129
482.96/484.39 c #Conflicts: 223000 | #Constraints: 57129
482.96/484.39 c #Conflicts: 224000 | #Constraints: 58129
482.96/484.39 c #Conflicts: 225000 | #Constraints: 59129
482.96/484.39 c #Conflicts: 226000 | #Constraints: 60129
482.96/484.39 c INPROCESSING
482.96/484.39 c GARBAGE COLLECT
482.96/484.39 c #Conflicts: 227000 | #Constraints: 51712
482.96/484.39 c #Conflicts: 228000 | #Constraints: 52712
482.96/484.39 c #Conflicts: 229000 | #Constraints: 53712
482.96/484.39 c #Conflicts: 230000 | #Constraints: 54712
482.96/484.39 c #Conflicts: 231000 | #Constraints: 55712
482.96/484.39 c #Conflicts: 232000 | #Constraints: 56712
482.96/484.39 c #Conflicts: 233000 | #Constraints: 57712
482.96/484.39 c #Conflicts: 234000 | #Constraints: 58712
482.96/484.39 c #Conflicts: 235000 | #Constraints: 59712
482.96/484.39 c #Conflicts: 236000 | #Constraints: 60712
482.96/484.39 c INPROCESSING
482.96/484.39 c GARBAGE COLLECT
482.96/484.39 c #Conflicts: 237000 | #Constraints: 52119
482.96/484.39 c #Conflicts: 238000 | #Constraints: 53119
482.96/484.39 c #Conflicts: 239000 | #Constraints: 54119
482.96/484.39 c #Conflicts: 240000 | #Constraints: 55119
482.96/484.39 c #Conflicts: 241000 | #Constraints: 56119
482.96/484.39 c #Conflicts: 242000 | #Constraints: 57119
482.96/484.39 c #Conflicts: 243000 | #Constraints: 58119
482.96/484.39 c #Conflicts: 244000 | #Constraints: 59119
482.96/484.39 c #Conflicts: 245000 | #Constraints: 60119
482.96/484.39 c #Conflicts: 246000 | #Constraints: 61119
482.96/484.39 c INPROCESSING
482.96/484.39 c GARBAGE COLLECT
482.96/484.39 c #Conflicts: 247000 | #Constraints: 52314
482.96/484.39 c #Conflicts: 248000 | #Constraints: 53314
482.96/484.39 c #Conflicts: 249000 | #Constraints: 54314
482.96/484.39 c #Conflicts: 250000 | #Constraints: 55314
482.96/484.39 c #Conflicts: 251000 | #Constraints: 56314
482.96/484.39 c #Conflicts: 252000 | #Constraints: 57314
482.96/484.39 c #Conflicts: 253000 | #Constraints: 58314
482.96/484.39 c #Conflicts: 254000 | #Constraints: 59314
482.96/484.39 c #Conflicts: 255000 | #Constraints: 60314
482.96/484.39 c #Conflicts: 256000 | #Constraints: 61314
482.96/484.39 c INPROCESSING
482.96/484.39 c GARBAGE COLLECT
482.96/484.39 c #Conflicts: 257000 | #Constraints: 52340
482.96/484.39 c #Conflicts: 258000 | #Constraints: 53340
482.96/484.39 c #Conflicts: 259000 | #Constraints: 54340
482.96/484.39 c #Conflicts: 260000 | #Constraints: 55340
482.96/484.39 c #Conflicts: 261000 | #Constraints: 56340
482.96/484.39 c #Conflicts: 262000 | #Constraints: 57340
482.96/484.39 c #Conflicts: 263000 | #Constraints: 58340
482.96/484.39 c #Conflicts: 264000 | #Constraints: 59340
482.96/484.39 c #Conflicts: 265000 | #Constraints: 60340
482.96/484.39 c #Conflicts: 266000 | #Constraints: 61340
482.96/484.39 c INPROCESSING
482.96/484.39 c GARBAGE COLLECT
482.96/484.39 c #Conflicts: 267000 | #Constraints: 52125
482.96/484.39 c #Conflicts: 268000 | #Constraints: 53125
482.96/484.39 c #Conflicts: 269000 | #Constraints: 54125
482.96/484.39 c #Conflicts: 270000 | #Constraints: 55125
482.96/484.39 c #Conflicts: 271000 | #Constraints: 56125
482.96/484.39 c #Conflicts: 272000 | #Constraints: 57125
482.96/484.39 c #Conflicts: 273000 | #Constraints: 58125
482.96/484.39 c #Conflicts: 274000 | #Constraints: 59125
482.96/484.39 c #Conflicts: 275000 | #Constraints: 60125
482.96/484.39 c #Conflicts: 276000 | #Constraints: 61125
482.96/484.39 c #Conflicts: 277000 | #Constraints: 62125
482.96/484.39 c INPROCESSING
482.96/484.39 c GARBAGE COLLECT
482.96/484.39 c #Conflicts: 278000 | #Constraints: 52734
482.96/484.39 c #Conflicts: 279000 | #Constraints: 53734
561.46/563.07 c #Conflicts: 280000 | #Constraints: 54734
561.46/563.07 c #Conflicts: 281000 | #Constraints: 55734
561.46/563.07 c #Conflicts: 282000 | #Constraints: 56734
561.46/563.07 c #Conflicts: 283000 | #Constraints: 57734
561.46/563.07 c #Conflicts: 284000 | #Constraints: 58734
561.46/563.07 c #Conflicts: 285000 | #Constraints: 59734
561.46/563.07 c #Conflicts: 286000 | #Constraints: 60734
561.46/563.07 c #Conflicts: 287000 | #Constraints: 61734
561.46/563.07 c #Conflicts: 288000 | #Constraints: 62734
561.46/563.07 c INPROCESSING
561.46/563.07 c GARBAGE COLLECT
561.46/563.07 c #Conflicts: 289000 | #Constraints: 53131
561.46/563.07 c #Conflicts: 290000 | #Constraints: 54131
561.46/563.07 c #Conflicts: 291000 | #Constraints: 55131
561.46/563.07 c #Conflicts: 292000 | #Constraints: 56131
561.46/563.07 c #Conflicts: 293000 | #Constraints: 57131
561.46/563.07 c #Conflicts: 294000 | #Constraints: 58131
561.46/563.07 c #Conflicts: 295000 | #Constraints: 59131
561.46/563.07 c #Conflicts: 296000 | #Constraints: 60131
561.46/563.07 c #Conflicts: 297000 | #Constraints: 61131
561.46/563.07 c #Conflicts: 298000 | #Constraints: 62131
561.46/563.07 c #Conflicts: 299000 | #Constraints: 63131
561.46/563.07 c INPROCESSING
561.46/563.07 c GARBAGE COLLECT
561.46/563.07 c #Conflicts: 300000 | #Constraints: 53340
561.46/563.07 c #Conflicts: 301000 | #Constraints: 54340
561.46/563.07 c #Conflicts: 302000 | #Constraints: 55340
561.46/563.07 c #Conflicts: 303000 | #Constraints: 56340
561.46/563.07 c #Conflicts: 304000 | #Constraints: 57340
561.46/563.07 c #Conflicts: 305000 | #Constraints: 58340
561.46/563.07 c #Conflicts: 306000 | #Constraints: 59340
561.46/563.07 c #Conflicts: 307000 | #Constraints: 60340
561.46/563.07 c #Conflicts: 308000 | #Constraints: 61340
561.46/563.07 c #Conflicts: 309000 | #Constraints: 62340
561.46/563.07 c #Conflicts: 310000 | #Constraints: 63340
561.46/563.07 c INPROCESSING
561.46/563.07 c GARBAGE COLLECT
561.46/563.07 c #Conflicts: 311000 | #Constraints: 53353
561.46/563.07 c #Conflicts: 312000 | #Constraints: 54353
561.46/563.07 c #Conflicts: 313000 | #Constraints: 55353
561.46/563.07 c #Conflicts: 314000 | #Constraints: 56353
561.46/563.07 c #Conflicts: 315000 | #Constraints: 57353
561.46/563.07 c #Conflicts: 316000 | #Constraints: 58353
561.46/563.07 c #Conflicts: 317000 | #Constraints: 59353
561.46/563.07 c #Conflicts: 318000 | #Constraints: 60353
561.46/563.07 c #Conflicts: 319000 | #Constraints: 61353
561.46/563.07 c #Conflicts: 320000 | #Constraints: 62353
561.46/563.07 c #Conflicts: 321000 | #Constraints: 63353
561.46/563.07 c INPROCESSING
561.46/563.07 c GARBAGE COLLECT
561.46/563.07 c #Conflicts: 322000 | #Constraints: 53152
561.46/563.07 c #Conflicts: 323000 | #Constraints: 54152
561.46/563.07 c #Conflicts: 324000 | #Constraints: 55152
561.46/563.07 c #Conflicts: 325000 | #Constraints: 56152
561.46/563.07 c #Conflicts: 326000 | #Constraints: 57152
561.46/563.07 c #Conflicts: 327000 | #Constraints: 58152
561.46/563.07 c #Conflicts: 328000 | #Constraints: 59152
561.46/563.07 c #Conflicts: 329000 | #Constraints: 60152
561.46/563.07 c #Conflicts: 330000 | #Constraints: 61152
561.46/563.07 c #Conflicts: 331000 | #Constraints: 62152
561.46/563.07 c #Conflicts: 332000 | #Constraints: 63152
561.46/563.07 c #Conflicts: 333000 | #Constraints: 64152
561.46/563.07 c INPROCESSING
561.46/563.07 c GARBAGE COLLECT
561.46/563.07 c #Conflicts: 334000 | #Constraints: 53752
561.46/563.07 c #Conflicts: 335000 | #Constraints: 54752
561.46/563.07 c #Conflicts: 336000 | #Constraints: 55752
561.46/563.07 c #Conflicts: 337000 | #Constraints: 56752
561.46/563.07 c #Conflicts: 338000 | #Constraints: 57752
561.46/563.07 c #Conflicts: 339000 | #Constraints: 58752
561.46/563.07 c #Conflicts: 340000 | #Constraints: 59752
561.46/563.07 c #Conflicts: 341000 | #Constraints: 60752
561.46/563.07 c #Conflicts: 342000 | #Constraints: 61752
561.46/563.07 c #Conflicts: 343000 | #Constraints: 62752
561.46/563.07 c #Conflicts: 344000 | #Constraints: 63752
561.46/563.07 c #Conflicts: 345000 | #Constraints: 64752
561.46/563.07 c INPROCESSING
561.46/563.07 c GARBAGE COLLECT
561.46/563.07 c #Conflicts: 346000 | #Constraints: 54147
561.46/563.07 c #Conflicts: 347000 | #Constraints: 55147
561.46/563.07 c #Conflicts: 348000 | #Constraints: 56147
561.46/563.07 c #Conflicts: 349000 | #Constraints: 57147
561.46/563.07 c #Conflicts: 350000 | #Constraints: 58147
561.46/563.07 c #Conflicts: 351000 | #Constraints: 59147
561.46/563.07 c #Conflicts: 352000 | #Constraints: 60147
561.46/563.07 c #Conflicts: 353000 | #Constraints: 61147
561.46/563.07 c #Conflicts: 354000 | #Constraints: 62147
650.13/651.92 c #Conflicts: 355000 | #Constraints: 63147
650.13/651.92 c #Conflicts: 356000 | #Constraints: 64147
650.13/651.92 c #Conflicts: 357000 | #Constraints: 65147
650.13/651.92 c INPROCESSING
650.13/651.92 c GARBAGE COLLECT
650.13/651.92 c #Conflicts: 358000 | #Constraints: 54343
650.13/651.92 c #Conflicts: 359000 | #Constraints: 55343
650.13/651.92 c #Conflicts: 360000 | #Constraints: 56343
650.13/651.92 c #Conflicts: 361000 | #Constraints: 57343
650.13/651.92 c #Conflicts: 362000 | #Constraints: 58343
650.13/651.92 c #Conflicts: 363000 | #Constraints: 59343
650.13/651.92 c #Conflicts: 364000 | #Constraints: 60343
650.13/651.92 c #Conflicts: 365000 | #Constraints: 61343
650.13/651.92 c #Conflicts: 366000 | #Constraints: 62343
650.13/651.92 c #Conflicts: 367000 | #Constraints: 63343
650.13/651.92 c #Conflicts: 368000 | #Constraints: 64343
650.13/651.92 c #Conflicts: 369000 | #Constraints: 65343
650.13/651.92 c INPROCESSING
650.13/651.92 c GARBAGE COLLECT
650.13/651.92 c #Conflicts: 370000 | #Constraints: 54334
650.13/651.92 c #Conflicts: 371000 | #Constraints: 55334
650.13/651.92 c #Conflicts: 372000 | #Constraints: 56334
650.13/651.92 c #Conflicts: 373000 | #Constraints: 57334
650.13/651.92 c #Conflicts: 374000 | #Constraints: 58334
650.13/651.92 c #Conflicts: 375000 | #Constraints: 59334
650.13/651.92 c #Conflicts: 376000 | #Constraints: 60334
650.13/651.92 c #Conflicts: 377000 | #Constraints: 61334
650.13/651.92 c #Conflicts: 378000 | #Constraints: 62334
650.13/651.92 c #Conflicts: 379000 | #Constraints: 63334
650.13/651.92 c #Conflicts: 380000 | #Constraints: 64334
650.13/651.92 c #Conflicts: 381000 | #Constraints: 65334
650.13/651.92 c INPROCESSING
650.13/651.92 c GARBAGE COLLECT
650.13/651.92 c #Conflicts: 382000 | #Constraints: 54148
650.13/651.92 c #Conflicts: 383000 | #Constraints: 55148
650.13/651.92 c #Conflicts: 384000 | #Constraints: 56148
650.13/651.92 c #Conflicts: 385000 | #Constraints: 57148
650.13/651.92 c #Conflicts: 386000 | #Constraints: 58148
650.13/651.92 c #Conflicts: 387000 | #Constraints: 59148
650.13/651.92 c #Conflicts: 388000 | #Constraints: 60148
650.13/651.92 c #Conflicts: 389000 | #Constraints: 61148
650.13/651.92 c #Conflicts: 390000 | #Constraints: 62148
650.13/651.92 c #Conflicts: 391000 | #Constraints: 63148
650.13/651.92 c #Conflicts: 392000 | #Constraints: 64148
650.13/651.92 c #Conflicts: 393000 | #Constraints: 65148
650.13/651.92 c #Conflicts: 394000 | #Constraints: 66148
650.13/651.92 c INPROCESSING
650.13/651.92 c GARBAGE COLLECT
650.13/651.92 c #Conflicts: 395000 | #Constraints: 54759
650.13/651.92 c #Conflicts: 396000 | #Constraints: 55759
650.13/651.92 c #Conflicts: 397000 | #Constraints: 56759
650.13/651.92 c #Conflicts: 398000 | #Constraints: 57759
650.13/651.92 c #Conflicts: 399000 | #Constraints: 58759
650.13/651.92 c #Conflicts: 400000 | #Constraints: 59759
650.13/651.92 c #Conflicts: 401000 | #Constraints: 60759
650.13/651.92 c #Conflicts: 402000 | #Constraints: 61759
650.13/651.92 c #Conflicts: 403000 | #Constraints: 62759
650.13/651.92 c #Conflicts: 404000 | #Constraints: 63759
650.13/651.92 c #Conflicts: 405000 | #Constraints: 64759
650.13/651.92 c #Conflicts: 406000 | #Constraints: 65759
650.13/651.92 c #Conflicts: 407000 | #Constraints: 66759
650.13/651.92 c INPROCESSING
650.13/651.92 c GARBAGE COLLECT
650.13/651.92 c #Conflicts: 408000 | #Constraints: 55167
650.13/651.92 c #Conflicts: 409000 | #Constraints: 56167
650.13/651.92 c #Conflicts: 410000 | #Constraints: 57167
650.13/651.92 c #Conflicts: 411000 | #Constraints: 58167
650.13/651.92 c #Conflicts: 412000 | #Constraints: 59167
650.13/651.92 c #Conflicts: 413000 | #Constraints: 60167
650.13/651.92 c #Conflicts: 414000 | #Constraints: 61167
650.13/651.92 c #Conflicts: 415000 | #Constraints: 62167
650.13/651.92 c #Conflicts: 416000 | #Constraints: 63167
650.13/651.92 c #Conflicts: 417000 | #Constraints: 64167
650.13/651.92 c #Conflicts: 418000 | #Constraints: 65167
650.13/651.92 c #Conflicts: 419000 | #Constraints: 66167
650.13/651.92 c #Conflicts: 420000 | #Constraints: 67167
650.13/651.92 c INPROCESSING
650.13/651.92 c GARBAGE COLLECT
650.13/651.92 c #Conflicts: 421000 | #Constraints: 55348
650.13/651.92 c #Conflicts: 422000 | #Constraints: 56348
650.13/651.92 c #Conflicts: 423000 | #Constraints: 57348
650.13/651.92 c #Conflicts: 424000 | #Constraints: 58348
650.13/651.92 c #Conflicts: 425000 | #Constraints: 59348
650.13/651.92 c #Conflicts: 426000 | #Constraints: 60348
650.13/651.92 c #Conflicts: 427000 | #Constraints: 61348
650.13/651.92 c #Conflicts: 428000 | #Constraints: 62348
650.13/651.92 c #Conflicts: 429000 | #Constraints: 63348
736.79/738.88 c #Conflicts: 430000 | #Constraints: 64348
736.79/738.88 c #Conflicts: 431000 | #Constraints: 65348
736.79/738.88 c #Conflicts: 432000 | #Constraints: 66348
736.79/738.88 c #Conflicts: 433000 | #Constraints: 67348
736.79/738.88 c INPROCESSING
736.79/738.88 c GARBAGE COLLECT
736.79/738.88 c #Conflicts: 434000 | #Constraints: 55328
736.79/738.88 c #Conflicts: 435000 | #Constraints: 56328
736.79/738.88 c #Conflicts: 436000 | #Constraints: 57328
736.79/738.88 c #Conflicts: 437000 | #Constraints: 58328
736.79/738.88 c #Conflicts: 438000 | #Constraints: 59328
736.79/738.88 c #Conflicts: 439000 | #Constraints: 60328
736.79/738.88 c #Conflicts: 440000 | #Constraints: 61328
736.79/738.88 c #Conflicts: 441000 | #Constraints: 62328
736.79/738.88 c #Conflicts: 442000 | #Constraints: 63328
736.79/738.88 c #Conflicts: 443000 | #Constraints: 64328
736.79/738.88 c #Conflicts: 444000 | #Constraints: 65328
736.79/738.88 c #Conflicts: 445000 | #Constraints: 66328
736.79/738.88 c #Conflicts: 446000 | #Constraints: 67328
736.79/738.88 c INPROCESSING
736.79/738.88 c GARBAGE COLLECT
736.79/738.88 c #Conflicts: 447000 | #Constraints: 55143
736.79/738.88 c #Conflicts: 448000 | #Constraints: 56143
736.79/738.88 c #Conflicts: 449000 | #Constraints: 57143
736.79/738.88 c #Conflicts: 450000 | #Constraints: 58143
736.79/738.88 c #Conflicts: 451000 | #Constraints: 59143
736.79/738.88 c #Conflicts: 452000 | #Constraints: 60143
736.79/738.88 c #Conflicts: 453000 | #Constraints: 61143
736.79/738.88 c #Conflicts: 454000 | #Constraints: 62143
736.79/738.88 c #Conflicts: 455000 | #Constraints: 63143
736.79/738.88 c #Conflicts: 456000 | #Constraints: 64143
736.79/738.88 c #Conflicts: 457000 | #Constraints: 65143
736.79/738.88 c #Conflicts: 458000 | #Constraints: 66143
736.79/738.88 c #Conflicts: 459000 | #Constraints: 67143
736.79/738.88 c #Conflicts: 460000 | #Constraints: 68143
736.79/738.88 c INPROCESSING
736.79/738.88 c GARBAGE COLLECT
736.79/738.88 c #Conflicts: 461000 | #Constraints: 55735
736.79/738.88 c #Conflicts: 462000 | #Constraints: 56735
736.79/738.88 c #Conflicts: 463000 | #Constraints: 57735
736.79/738.88 c #Conflicts: 464000 | #Constraints: 58735
736.79/738.88 c #Conflicts: 465000 | #Constraints: 59735
736.79/738.88 c #Conflicts: 466000 | #Constraints: 60735
736.79/738.88 c #Conflicts: 467000 | #Constraints: 61735
736.79/738.88 c #Conflicts: 468000 | #Constraints: 62735
736.79/738.88 c #Conflicts: 469000 | #Constraints: 63735
736.79/738.88 c #Conflicts: 470000 | #Constraints: 64735
736.79/738.88 c #Conflicts: 471000 | #Constraints: 65735
736.79/738.88 c #Conflicts: 472000 | #Constraints: 66735
736.79/738.88 c #Conflicts: 473000 | #Constraints: 67735
736.79/738.88 c #Conflicts: 474000 | #Constraints: 68735
736.79/738.88 c INPROCESSING
736.79/738.88 c GARBAGE COLLECT
736.79/738.88 c #Conflicts: 475000 | #Constraints: 56133
736.79/738.88 c #Conflicts: 476000 | #Constraints: 57133
736.79/738.88 c #Conflicts: 477000 | #Constraints: 58133
736.79/738.88 c #Conflicts: 478000 | #Constraints: 59133
736.79/738.88 c #Conflicts: 479000 | #Constraints: 60133
736.79/738.88 c #Conflicts: 480000 | #Constraints: 61133
736.79/738.88 c #Conflicts: 481000 | #Constraints: 62133
736.79/738.88 c #Conflicts: 482000 | #Constraints: 63133
736.79/738.88 c #Conflicts: 483000 | #Constraints: 64133
736.79/738.88 c #Conflicts: 484000 | #Constraints: 65133
736.79/738.88 c #Conflicts: 485000 | #Constraints: 66133
736.79/738.88 c #Conflicts: 486000 | #Constraints: 67133
736.79/738.88 c #Conflicts: 487000 | #Constraints: 68133
736.79/738.88 c #Conflicts: 488000 | #Constraints: 69133
736.79/738.88 c INPROCESSING
736.79/738.88 c GARBAGE COLLECT
736.79/738.88 c #Conflicts: 489000 | #Constraints: 56339
736.79/738.88 c #Conflicts: 490000 | #Constraints: 57339
736.79/738.88 c #Conflicts: 491000 | #Constraints: 58339
736.79/738.88 c #Conflicts: 492000 | #Constraints: 59339
736.79/738.88 c #Conflicts: 493000 | #Constraints: 60339
736.79/738.88 c #Conflicts: 494000 | #Constraints: 61339
736.79/738.88 c #Conflicts: 495000 | #Constraints: 62339
736.79/738.88 c #Conflicts: 496000 | #Constraints: 63339
736.79/738.88 c #Conflicts: 497000 | #Constraints: 64339
736.79/738.88 c #Conflicts: 498000 | #Constraints: 65339
736.79/738.88 c #Conflicts: 499000 | #Constraints: 66339
736.79/738.88 c #Conflicts: 500000 | #Constraints: 67339
736.79/738.88 c #Conflicts: 501000 | #Constraints: 68339
736.79/738.88 c #Conflicts: 502000 | #Constraints: 69339
736.79/738.88 c INPROCESSING
736.79/738.88 c GARBAGE COLLECT
736.79/738.88 c #Conflicts: 503000 | #Constraints: 56354
736.79/738.88 c #Conflicts: 504000 | #Constraints: 57354
845.81/848.15 c #Conflicts: 505000 | #Constraints: 58354
845.81/848.15 c #Conflicts: 506000 | #Constraints: 59354
845.81/848.15 c #Conflicts: 507000 | #Constraints: 60354
845.81/848.15 c #Conflicts: 508000 | #Constraints: 61354
845.81/848.15 c #Conflicts: 509000 | #Constraints: 62354
845.81/848.15 c #Conflicts: 510000 | #Constraints: 63354
845.81/848.15 c #Conflicts: 511000 | #Constraints: 64354
845.81/848.15 c #Conflicts: 512000 | #Constraints: 65354
845.81/848.15 c #Conflicts: 513000 | #Constraints: 66354
845.81/848.15 c #Conflicts: 514000 | #Constraints: 67354
845.81/848.15 c #Conflicts: 515000 | #Constraints: 68354
845.81/848.15 c #Conflicts: 516000 | #Constraints: 69354
845.81/848.15 c INPROCESSING
845.81/848.15 c GARBAGE COLLECT
845.81/848.15 c #Conflicts: 517000 | #Constraints: 56143
845.81/848.15 c #Conflicts: 518000 | #Constraints: 57143
845.81/848.15 c #Conflicts: 519000 | #Constraints: 58143
845.81/848.15 c #Conflicts: 520000 | #Constraints: 59143
845.81/848.15 c #Conflicts: 521000 | #Constraints: 60143
845.81/848.15 c #Conflicts: 522000 | #Constraints: 61143
845.81/848.15 c #Conflicts: 523000 | #Constraints: 62143
845.81/848.15 c #Conflicts: 524000 | #Constraints: 63143
845.81/848.15 c #Conflicts: 525000 | #Constraints: 64143
845.81/848.15 c #Conflicts: 526000 | #Constraints: 65143
845.81/848.15 c #Conflicts: 527000 | #Constraints: 66143
845.81/848.15 c #Conflicts: 528000 | #Constraints: 67143
845.81/848.15 c #Conflicts: 529000 | #Constraints: 68143
845.81/848.15 c #Conflicts: 530000 | #Constraints: 69143
845.81/848.15 c #Conflicts: 531000 | #Constraints: 70143
845.81/848.15 c INPROCESSING
845.81/848.15 c GARBAGE COLLECT
845.81/848.15 c #Conflicts: 532000 | #Constraints: 56739
845.81/848.15 c #Conflicts: 533000 | #Constraints: 57739
845.81/848.15 c #Conflicts: 534000 | #Constraints: 58739
845.81/848.15 c #Conflicts: 535000 | #Constraints: 59739
845.81/848.15 c #Conflicts: 536000 | #Constraints: 60739
845.81/848.15 c #Conflicts: 537000 | #Constraints: 61739
845.81/848.15 c #Conflicts: 538000 | #Constraints: 62739
845.81/848.15 c #Conflicts: 539000 | #Constraints: 63739
845.81/848.15 c #Conflicts: 540000 | #Constraints: 64739
845.81/848.15 c #Conflicts: 541000 | #Constraints: 65739
845.81/848.15 c #Conflicts: 542000 | #Constraints: 66739
845.81/848.15 c #Conflicts: 543000 | #Constraints: 67739
845.81/848.15 c #Conflicts: 544000 | #Constraints: 68739
845.81/848.15 c #Conflicts: 545000 | #Constraints: 69739
845.81/848.15 c #Conflicts: 546000 | #Constraints: 70739
845.81/848.15 c INPROCESSING
845.81/848.15 c GARBAGE COLLECT
845.81/848.15 c #Conflicts: 547000 | #Constraints: 57162
845.81/848.15 c #Conflicts: 548000 | #Constraints: 58162
845.81/848.15 c #Conflicts: 549000 | #Constraints: 59162
845.81/848.15 c #Conflicts: 550000 | #Constraints: 60162
845.81/848.15 c #Conflicts: 551000 | #Constraints: 61162
845.81/848.15 c #Conflicts: 552000 | #Constraints: 62162
845.81/848.15 c #Conflicts: 553000 | #Constraints: 63162
845.81/848.15 c #Conflicts: 554000 | #Constraints: 64162
845.81/848.15 c #Conflicts: 555000 | #Constraints: 65162
845.81/848.15 c #Conflicts: 556000 | #Constraints: 66162
845.81/848.15 c #Conflicts: 557000 | #Constraints: 67162
845.81/848.15 c #Conflicts: 558000 | #Constraints: 68162
845.81/848.15 c #Conflicts: 559000 | #Constraints: 69162
845.81/848.15 c #Conflicts: 560000 | #Constraints: 70162
845.81/848.15 c #Conflicts: 561000 | #Constraints: 71162
845.81/848.15 c INPROCESSING
845.81/848.15 c GARBAGE COLLECT
845.81/848.15 c #Conflicts: 562000 | #Constraints: 57356
845.81/848.15 c #Conflicts: 563000 | #Constraints: 58356
845.81/848.15 c #Conflicts: 564000 | #Constraints: 59356
845.81/848.15 c #Conflicts: 565000 | #Constraints: 60356
845.81/848.15 c #Conflicts: 566000 | #Constraints: 61356
845.81/848.15 c #Conflicts: 567000 | #Constraints: 62356
845.81/848.15 c #Conflicts: 568000 | #Constraints: 63356
845.81/848.15 c #Conflicts: 569000 | #Constraints: 64356
845.81/848.15 c #Conflicts: 570000 | #Constraints: 65356
845.81/848.15 c #Conflicts: 571000 | #Constraints: 66356
845.81/848.15 c #Conflicts: 572000 | #Constraints: 67356
845.81/848.15 c #Conflicts: 573000 | #Constraints: 68356
845.81/848.15 c #Conflicts: 574000 | #Constraints: 69356
845.81/848.15 c #Conflicts: 575000 | #Constraints: 70356
845.81/848.15 c #Conflicts: 576000 | #Constraints: 71356
845.81/848.15 c INPROCESSING
845.81/848.15 c GARBAGE COLLECT
845.81/848.15 c #Conflicts: 577000 | #Constraints: 57356
845.81/848.15 c #Conflicts: 578000 | #Constraints: 58356
845.81/848.15 c #Conflicts: 579000 | #Constraints: 59356
845.81/848.15 c #Conflicts: 580000 | #Constraints: 60356
967.77/970.44 c #Conflicts: 581000 | #Constraints: 61356
967.77/970.44 c #Conflicts: 582000 | #Constraints: 62356
967.77/970.44 c #Conflicts: 583000 | #Constraints: 63356
967.77/970.44 c #Conflicts: 584000 | #Constraints: 64356
967.77/970.44 c #Conflicts: 585000 | #Constraints: 65356
967.77/970.44 c #Conflicts: 586000 | #Constraints: 66356
967.77/970.44 c #Conflicts: 587000 | #Constraints: 67356
967.77/970.44 c #Conflicts: 588000 | #Constraints: 68356
967.77/970.44 c #Conflicts: 589000 | #Constraints: 69356
967.77/970.44 c #Conflicts: 590000 | #Constraints: 70356
967.77/970.44 c #Conflicts: 591000 | #Constraints: 71356
967.77/970.44 c INPROCESSING
967.77/970.44 c GARBAGE COLLECT
967.77/970.44 c #Conflicts: 592000 | #Constraints: 57145
967.77/970.44 c #Conflicts: 593000 | #Constraints: 58145
967.77/970.44 c #Conflicts: 594000 | #Constraints: 59145
967.77/970.44 c #Conflicts: 595000 | #Constraints: 60145
967.77/970.44 c #Conflicts: 596000 | #Constraints: 61145
967.77/970.44 c #Conflicts: 597000 | #Constraints: 62145
967.77/970.44 c #Conflicts: 598000 | #Constraints: 63145
967.77/970.44 c #Conflicts: 599000 | #Constraints: 64145
967.77/970.44 c #Conflicts: 600000 | #Constraints: 65145
967.77/970.44 c #Conflicts: 601000 | #Constraints: 66145
967.77/970.44 c #Conflicts: 602000 | #Constraints: 67145
967.77/970.44 c #Conflicts: 603000 | #Constraints: 68145
967.77/970.44 c #Conflicts: 604000 | #Constraints: 69145
967.77/970.44 c #Conflicts: 605000 | #Constraints: 70145
967.77/970.44 c #Conflicts: 606000 | #Constraints: 71145
967.77/970.44 c #Conflicts: 607000 | #Constraints: 72145
967.77/970.44 c INPROCESSING
967.77/970.44 c GARBAGE COLLECT
967.77/970.44 c #Conflicts: 608000 | #Constraints: 57747
967.77/970.44 c #Conflicts: 609000 | #Constraints: 58747
967.77/970.44 c #Conflicts: 610000 | #Constraints: 59747
967.77/970.44 c #Conflicts: 611000 | #Constraints: 60747
967.77/970.44 c #Conflicts: 612000 | #Constraints: 61747
967.77/970.44 c #Conflicts: 613000 | #Constraints: 62747
967.77/970.44 c #Conflicts: 614000 | #Constraints: 63747
967.77/970.44 c #Conflicts: 615000 | #Constraints: 64747
967.77/970.44 c #Conflicts: 616000 | #Constraints: 65747
967.77/970.44 c #Conflicts: 617000 | #Constraints: 66747
967.77/970.44 c #Conflicts: 618000 | #Constraints: 67747
967.77/970.44 c #Conflicts: 619000 | #Constraints: 68747
967.77/970.44 c #Conflicts: 620000 | #Constraints: 69747
967.77/970.44 c #Conflicts: 621000 | #Constraints: 70747
967.77/970.44 c #Conflicts: 622000 | #Constraints: 71747
967.77/970.44 c #Conflicts: 623000 | #Constraints: 72747
967.77/970.44 c INPROCESSING
967.77/970.44 c GARBAGE COLLECT
967.77/970.44 c #Conflicts: 624000 | #Constraints: 58156
967.77/970.44 c #Conflicts: 625000 | #Constraints: 59156
967.77/970.44 c #Conflicts: 626000 | #Constraints: 60156
967.77/970.44 c #Conflicts: 627000 | #Constraints: 61156
967.77/970.44 c #Conflicts: 628000 | #Constraints: 62156
967.77/970.44 c #Conflicts: 629000 | #Constraints: 63156
967.77/970.44 c #Conflicts: 630000 | #Constraints: 64156
967.77/970.44 c #Conflicts: 631000 | #Constraints: 65156
967.77/970.44 c #Conflicts: 632000 | #Constraints: 66156
967.77/970.44 c #Conflicts: 633000 | #Constraints: 67156
967.77/970.44 c #Conflicts: 634000 | #Constraints: 68156
967.77/970.44 c #Conflicts: 635000 | #Constraints: 69156
967.77/970.44 c #Conflicts: 636000 | #Constraints: 70156
967.77/970.44 c #Conflicts: 637000 | #Constraints: 71156
967.77/970.44 c #Conflicts: 638000 | #Constraints: 72156
967.77/970.44 c #Conflicts: 639000 | #Constraints: 73156
967.77/970.44 c INPROCESSING
967.77/970.44 c GARBAGE COLLECT
967.77/970.44 c #Conflicts: 640000 | #Constraints: 58350
967.77/970.44 c #Conflicts: 641000 | #Constraints: 59350
967.77/970.44 c #Conflicts: 642000 | #Constraints: 60350
967.77/970.44 c #Conflicts: 643000 | #Constraints: 61350
967.77/970.44 c #Conflicts: 644000 | #Constraints: 62350
967.77/970.44 c #Conflicts: 645000 | #Constraints: 63350
967.77/970.44 c #Conflicts: 646000 | #Constraints: 64350
967.77/970.44 c #Conflicts: 647000 | #Constraints: 65350
967.77/970.44 c #Conflicts: 648000 | #Constraints: 66350
967.77/970.44 c #Conflicts: 649000 | #Constraints: 67350
967.77/970.44 c #Conflicts: 650000 | #Constraints: 68350
967.77/970.44 c #Conflicts: 651000 | #Constraints: 69350
967.77/970.44 c #Conflicts: 652000 | #Constraints: 70350
967.77/970.44 c #Conflicts: 653000 | #Constraints: 71350
967.77/970.44 c #Conflicts: 654000 | #Constraints: 72350
967.77/970.44 c #Conflicts: 655000 | #Constraints: 73350
967.77/970.44 c INPROCESSING
967.77/970.44 c GARBAGE COLLECT
1091.24/1094.29 c #Conflicts: 656000 | #Constraints: 58351
1091.24/1094.29 c #Conflicts: 657000 | #Constraints: 59351
1091.24/1094.29 c #Conflicts: 658000 | #Constraints: 60351
1091.24/1094.29 c #Conflicts: 659000 | #Constraints: 61351
1091.24/1094.29 c #Conflicts: 660000 | #Constraints: 62351
1091.24/1094.29 c #Conflicts: 661000 | #Constraints: 63351
1091.24/1094.29 c #Conflicts: 662000 | #Constraints: 64351
1091.24/1094.29 c #Conflicts: 663000 | #Constraints: 65351
1091.24/1094.29 c #Conflicts: 664000 | #Constraints: 66351
1091.24/1094.29 c #Conflicts: 665000 | #Constraints: 67351
1091.24/1094.29 c #Conflicts: 666000 | #Constraints: 68351
1091.24/1094.29 c #Conflicts: 667000 | #Constraints: 69351
1091.24/1094.29 c #Conflicts: 668000 | #Constraints: 70351
1091.24/1094.29 c #Conflicts: 669000 | #Constraints: 71351
1091.24/1094.29 c #Conflicts: 670000 | #Constraints: 72351
1091.24/1094.29 c #Conflicts: 671000 | #Constraints: 73351
1091.24/1094.29 c INPROCESSING
1091.24/1094.29 c GARBAGE COLLECT
1091.24/1094.29 c #Conflicts: 672000 | #Constraints: 58144
1091.24/1094.29 c #Conflicts: 673000 | #Constraints: 59144
1091.24/1094.29 c #Conflicts: 674000 | #Constraints: 60144
1091.24/1094.29 c #Conflicts: 675000 | #Constraints: 61144
1091.24/1094.29 c #Conflicts: 676000 | #Constraints: 62144
1091.24/1094.29 c #Conflicts: 677000 | #Constraints: 63144
1091.24/1094.29 c #Conflicts: 678000 | #Constraints: 64144
1091.24/1094.29 c #Conflicts: 679000 | #Constraints: 65144
1091.24/1094.29 c #Conflicts: 680000 | #Constraints: 66144
1091.24/1094.29 c #Conflicts: 681000 | #Constraints: 67144
1091.24/1094.29 c #Conflicts: 682000 | #Constraints: 68144
1091.24/1094.29 c #Conflicts: 683000 | #Constraints: 69144
1091.24/1094.29 c #Conflicts: 684000 | #Constraints: 70144
1091.24/1094.29 c #Conflicts: 685000 | #Constraints: 71144
1091.24/1094.29 c #Conflicts: 686000 | #Constraints: 72144
1091.24/1094.29 c #Conflicts: 687000 | #Constraints: 73144
1091.24/1094.29 c #Conflicts: 688000 | #Constraints: 74144
1091.24/1094.29 c INPROCESSING
1091.24/1094.29 c GARBAGE COLLECT
1091.24/1094.29 c #Conflicts: 689000 | #Constraints: 58751
1091.24/1094.29 c #Conflicts: 690000 | #Constraints: 59751
1091.24/1094.29 c #Conflicts: 691000 | #Constraints: 60751
1091.24/1094.29 c #Conflicts: 692000 | #Constraints: 61751
1091.24/1094.29 c #Conflicts: 693000 | #Constraints: 62751
1091.24/1094.29 c #Conflicts: 694000 | #Constraints: 63751
1091.24/1094.29 c #Conflicts: 695000 | #Constraints: 64751
1091.24/1094.29 c #Conflicts: 696000 | #Constraints: 65751
1091.24/1094.29 c #Conflicts: 697000 | #Constraints: 66751
1091.24/1094.29 c #Conflicts: 698000 | #Constraints: 67751
1091.24/1094.29 c #Conflicts: 699000 | #Constraints: 68751
1091.24/1094.29 c #Conflicts: 700000 | #Constraints: 69751
1091.24/1094.29 c #Conflicts: 701000 | #Constraints: 70751
1091.24/1094.29 c #Conflicts: 702000 | #Constraints: 71751
1091.24/1094.29 c #Conflicts: 703000 | #Constraints: 72751
1091.24/1094.29 c #Conflicts: 704000 | #Constraints: 73751
1091.24/1094.29 c #Conflicts: 705000 | #Constraints: 74751
1091.24/1094.29 c INPROCESSING
1091.24/1094.29 c GARBAGE COLLECT
1091.24/1094.29 c #Conflicts: 706000 | #Constraints: 59145
1091.24/1094.29 c #Conflicts: 707000 | #Constraints: 60145
1091.24/1094.29 c #Conflicts: 708000 | #Constraints: 61145
1091.24/1094.29 c #Conflicts: 709000 | #Constraints: 62145
1091.24/1094.29 c #Conflicts: 710000 | #Constraints: 63145
1091.24/1094.29 c #Conflicts: 711000 | #Constraints: 64145
1091.24/1094.29 c #Conflicts: 712000 | #Constraints: 65145
1091.24/1094.29 c #Conflicts: 713000 | #Constraints: 66145
1091.24/1094.29 c #Conflicts: 714000 | #Constraints: 67145
1091.24/1094.29 c #Conflicts: 715000 | #Constraints: 68145
1091.24/1094.29 c #Conflicts: 716000 | #Constraints: 69145
1091.24/1094.29 c #Conflicts: 717000 | #Constraints: 70145
1091.24/1094.29 c #Conflicts: 718000 | #Constraints: 71145
1091.24/1094.29 c #Conflicts: 719000 | #Constraints: 72145
1091.24/1094.29 c #Conflicts: 720000 | #Constraints: 73145
1091.24/1094.29 c #Conflicts: 721000 | #Constraints: 74145
1091.24/1094.29 c #Conflicts: 722000 | #Constraints: 75145
1091.24/1094.29 c INPROCESSING
1091.24/1094.29 c GARBAGE COLLECT
1091.24/1094.29 c #Conflicts: 723000 | #Constraints: 59338
1091.24/1094.29 c #Conflicts: 724000 | #Constraints: 60338
1091.24/1094.29 c #Conflicts: 725000 | #Constraints: 61338
1091.24/1094.29 c #Conflicts: 726000 | #Constraints: 62338
1091.24/1094.29 c #Conflicts: 727000 | #Constraints: 63338
1091.24/1094.29 c #Conflicts: 728000 | #Constraints: 64338
1091.24/1094.29 c #Conflicts: 729000 | #Constraints: 65338
1091.24/1094.29 c #Conflicts: 730000 | #Constraints: 66338
1091.24/1094.29 c #Conflicts: 731000 | #Constraints: 67338
1091.24/1094.29 c #Conflicts: 732000 | #Constraints: 68338
1235.13/1238.52 c #Conflicts: 733000 | #Constraints: 69338
1235.13/1238.52 c #Conflicts: 734000 | #Constraints: 70338
1235.13/1238.52 c #Conflicts: 735000 | #Constraints: 71338
1235.13/1238.52 c #Conflicts: 736000 | #Constraints: 72338
1235.13/1238.52 c #Conflicts: 737000 | #Constraints: 73338
1235.13/1238.52 c #Conflicts: 738000 | #Constraints: 74338
1235.13/1238.52 c #Conflicts: 739000 | #Constraints: 75338
1235.13/1238.52 c INPROCESSING
1235.13/1238.52 c GARBAGE COLLECT
1235.13/1238.52 c #Conflicts: 740000 | #Constraints: 59339
1235.13/1238.52 c #Conflicts: 741000 | #Constraints: 60339
1235.13/1238.52 c #Conflicts: 742000 | #Constraints: 61339
1235.13/1238.52 c #Conflicts: 743000 | #Constraints: 62339
1235.13/1238.52 c #Conflicts: 744000 | #Constraints: 63339
1235.13/1238.52 c #Conflicts: 745000 | #Constraints: 64339
1235.13/1238.52 c #Conflicts: 746000 | #Constraints: 65339
1235.13/1238.52 c #Conflicts: 747000 | #Constraints: 66339
1235.13/1238.52 c #Conflicts: 748000 | #Constraints: 67339
1235.13/1238.52 c #Conflicts: 749000 | #Constraints: 68339
1235.13/1238.52 c #Conflicts: 750000 | #Constraints: 69339
1235.13/1238.52 c #Conflicts: 751000 | #Constraints: 70339
1235.13/1238.52 c #Conflicts: 752000 | #Constraints: 71339
1235.13/1238.52 c #Conflicts: 753000 | #Constraints: 72339
1235.13/1238.52 c #Conflicts: 754000 | #Constraints: 73339
1235.13/1238.52 c #Conflicts: 755000 | #Constraints: 74339
1235.13/1238.52 c #Conflicts: 756000 | #Constraints: 75339
1235.13/1238.52 c INPROCESSING
1235.13/1238.52 c GARBAGE COLLECT
1235.13/1238.52 c #Conflicts: 757000 | #Constraints: 59146
1235.13/1238.52 c #Conflicts: 758000 | #Constraints: 60146
1235.13/1238.52 c #Conflicts: 759000 | #Constraints: 61146
1235.13/1238.52 c #Conflicts: 760000 | #Constraints: 62146
1235.13/1238.52 c #Conflicts: 761000 | #Constraints: 63146
1235.13/1238.52 c #Conflicts: 762000 | #Constraints: 64146
1235.13/1238.52 c #Conflicts: 763000 | #Constraints: 65146
1235.13/1238.52 c #Conflicts: 764000 | #Constraints: 66146
1235.13/1238.52 c #Conflicts: 765000 | #Constraints: 67146
1235.13/1238.52 c #Conflicts: 766000 | #Constraints: 68146
1235.13/1238.52 c #Conflicts: 767000 | #Constraints: 69146
1235.13/1238.52 c #Conflicts: 768000 | #Constraints: 70146
1235.13/1238.52 c #Conflicts: 769000 | #Constraints: 71146
1235.13/1238.52 c #Conflicts: 770000 | #Constraints: 72146
1235.13/1238.52 c #Conflicts: 771000 | #Constraints: 73146
1235.13/1238.52 c #Conflicts: 772000 | #Constraints: 74146
1235.13/1238.52 c #Conflicts: 773000 | #Constraints: 75146
1235.13/1238.52 c #Conflicts: 774000 | #Constraints: 76146
1235.13/1238.52 c INPROCESSING
1235.13/1238.52 c GARBAGE COLLECT
1235.13/1238.52 c #Conflicts: 775000 | #Constraints: 59752
1235.13/1238.52 c #Conflicts: 776000 | #Constraints: 60752
1235.13/1238.52 c #Conflicts: 777000 | #Constraints: 61752
1235.13/1238.52 c #Conflicts: 778000 | #Constraints: 62752
1235.13/1238.52 c #Conflicts: 779000 | #Constraints: 63752
1235.13/1238.52 c #Conflicts: 780000 | #Constraints: 64752
1235.13/1238.52 c #Conflicts: 781000 | #Constraints: 65752
1235.13/1238.52 c #Conflicts: 782000 | #Constraints: 66752
1235.13/1238.52 c #Conflicts: 783000 | #Constraints: 67752
1235.13/1238.52 c #Conflicts: 784000 | #Constraints: 68752
1235.13/1238.52 c #Conflicts: 785000 | #Constraints: 69752
1235.13/1238.52 c #Conflicts: 786000 | #Constraints: 70752
1235.13/1238.52 c #Conflicts: 787000 | #Constraints: 71752
1235.13/1238.52 c #Conflicts: 788000 | #Constraints: 72752
1235.13/1238.52 c #Conflicts: 789000 | #Constraints: 73752
1235.13/1238.52 c #Conflicts: 790000 | #Constraints: 74752
1235.13/1238.52 c #Conflicts: 791000 | #Constraints: 75752
1235.13/1238.52 c #Conflicts: 792000 | #Constraints: 76752
1235.13/1238.52 c INPROCESSING
1235.13/1238.52 c GARBAGE COLLECT
1235.13/1238.52 c #Conflicts: 793000 | #Constraints: 60166
1235.13/1238.52 c #Conflicts: 794000 | #Constraints: 61166
1235.13/1238.52 c #Conflicts: 795000 | #Constraints: 62166
1235.13/1238.52 c #Conflicts: 796000 | #Constraints: 63166
1235.13/1238.52 c #Conflicts: 797000 | #Constraints: 64166
1235.13/1238.52 c #Conflicts: 798000 | #Constraints: 65166
1235.13/1238.52 c #Conflicts: 799000 | #Constraints: 66166
1235.13/1238.52 c #Conflicts: 800000 | #Constraints: 67166
1235.13/1238.52 c #Conflicts: 801000 | #Constraints: 68166
1235.13/1238.52 c #Conflicts: 802000 | #Constraints: 69166
1235.13/1238.52 c #Conflicts: 803000 | #Constraints: 70166
1235.13/1238.52 c #Conflicts: 804000 | #Constraints: 71166
1235.13/1238.52 c #Conflicts: 805000 | #Constraints: 72166
1235.13/1238.52 c #Conflicts: 806000 | #Constraints: 73166
1235.13/1238.52 c #Conflicts: 807000 | #Constraints: 74166
1235.13/1238.52 c #Conflicts: 808000 | #Constraints: 75166
1378.54/1382.35 c #Conflicts: 809000 | #Constraints: 76166
1378.54/1382.35 c #Conflicts: 810000 | #Constraints: 77166
1378.54/1382.35 c INPROCESSING
1378.54/1382.35 c GARBAGE COLLECT
1378.54/1382.35 c #Conflicts: 811000 | #Constraints: 60357
1378.54/1382.35 c #Conflicts: 812000 | #Constraints: 61357
1378.54/1382.35 c #Conflicts: 813000 | #Constraints: 62357
1378.54/1382.35 c #Conflicts: 814000 | #Constraints: 63357
1378.54/1382.35 c #Conflicts: 815000 | #Constraints: 64357
1378.54/1382.35 c #Conflicts: 816000 | #Constraints: 65357
1378.54/1382.35 c #Conflicts: 817000 | #Constraints: 66357
1378.54/1382.35 c #Conflicts: 818000 | #Constraints: 67357
1378.54/1382.35 c #Conflicts: 819000 | #Constraints: 68357
1378.54/1382.35 c #Conflicts: 820000 | #Constraints: 69357
1378.54/1382.35 c #Conflicts: 821000 | #Constraints: 70357
1378.54/1382.35 c #Conflicts: 822000 | #Constraints: 71357
1378.54/1382.35 c #Conflicts: 823000 | #Constraints: 72357
1378.54/1382.35 c #Conflicts: 824000 | #Constraints: 73357
1378.54/1382.35 c #Conflicts: 825000 | #Constraints: 74357
1378.54/1382.35 c #Conflicts: 826000 | #Constraints: 75357
1378.54/1382.35 c #Conflicts: 827000 | #Constraints: 76357
1378.54/1382.35 c #Conflicts: 828000 | #Constraints: 77357
1378.54/1382.35 c INPROCESSING
1378.54/1382.35 c GARBAGE COLLECT
1378.54/1382.35 c #Conflicts: 829000 | #Constraints: 60344
1378.54/1382.35 c #Conflicts: 830000 | #Constraints: 61344
1378.54/1382.35 c #Conflicts: 831000 | #Constraints: 62344
1378.54/1382.35 c #Conflicts: 832000 | #Constraints: 63344
1378.54/1382.35 c #Conflicts: 833000 | #Constraints: 64344
1378.54/1382.35 c #Conflicts: 834000 | #Constraints: 65344
1378.54/1382.35 c #Conflicts: 835000 | #Constraints: 66344
1378.54/1382.35 c #Conflicts: 836000 | #Constraints: 67344
1378.54/1382.35 c #Conflicts: 837000 | #Constraints: 68344
1378.54/1382.35 c #Conflicts: 838000 | #Constraints: 69344
1378.54/1382.35 c #Conflicts: 839000 | #Constraints: 70344
1378.54/1382.35 c #Conflicts: 840000 | #Constraints: 71344
1378.54/1382.35 c #Conflicts: 841000 | #Constraints: 72344
1378.54/1382.35 c #Conflicts: 842000 | #Constraints: 73344
1378.54/1382.35 c #Conflicts: 843000 | #Constraints: 74344
1378.54/1382.35 c #Conflicts: 844000 | #Constraints: 75344
1378.54/1382.35 c #Conflicts: 845000 | #Constraints: 76344
1378.54/1382.35 c #Conflicts: 846000 | #Constraints: 77344
1378.54/1382.35 c INPROCESSING
1378.54/1382.35 c GARBAGE COLLECT
1378.54/1382.35 c #Conflicts: 847000 | #Constraints: 60142
1378.54/1382.35 c #Conflicts: 848000 | #Constraints: 61142
1378.54/1382.35 c #Conflicts: 849000 | #Constraints: 62142
1378.54/1382.35 c #Conflicts: 850000 | #Constraints: 63142
1378.54/1382.35 c #Conflicts: 851000 | #Constraints: 64142
1378.54/1382.35 c #Conflicts: 852000 | #Constraints: 65142
1378.54/1382.35 c #Conflicts: 853000 | #Constraints: 66142
1378.54/1382.35 c #Conflicts: 854000 | #Constraints: 67142
1378.54/1382.35 c #Conflicts: 855000 | #Constraints: 68142
1378.54/1382.35 c #Conflicts: 856000 | #Constraints: 69142
1378.54/1382.35 c #Conflicts: 857000 | #Constraints: 70142
1378.54/1382.35 c #Conflicts: 858000 | #Constraints: 71142
1378.54/1382.35 c #Conflicts: 859000 | #Constraints: 72142
1378.54/1382.35 c #Conflicts: 860000 | #Constraints: 73142
1378.54/1382.35 c #Conflicts: 861000 | #Constraints: 74142
1378.54/1382.35 c #Conflicts: 862000 | #Constraints: 75142
1378.54/1382.35 c #Conflicts: 863000 | #Constraints: 76142
1378.54/1382.35 c #Conflicts: 864000 | #Constraints: 77142
1378.54/1382.35 c #Conflicts: 865000 | #Constraints: 78142
1378.54/1382.35 c INPROCESSING
1378.54/1382.35 c GARBAGE COLLECT
1378.54/1382.35 c #Conflicts: 866000 | #Constraints: 60758
1378.54/1382.35 c #Conflicts: 867000 | #Constraints: 61758
1378.54/1382.35 c #Conflicts: 868000 | #Constraints: 62758
1378.54/1382.35 c #Conflicts: 869000 | #Constraints: 63758
1378.54/1382.35 c #Conflicts: 870000 | #Constraints: 64758
1378.54/1382.35 c #Conflicts: 871000 | #Constraints: 65758
1378.54/1382.35 c #Conflicts: 872000 | #Constraints: 66758
1378.54/1382.35 c #Conflicts: 873000 | #Constraints: 67758
1378.54/1382.35 c #Conflicts: 874000 | #Constraints: 68758
1378.54/1382.35 c #Conflicts: 875000 | #Constraints: 69758
1378.54/1382.35 c #Conflicts: 876000 | #Constraints: 70758
1378.54/1382.35 c #Conflicts: 877000 | #Constraints: 71758
1378.54/1382.35 c #Conflicts: 878000 | #Constraints: 72758
1378.54/1382.35 c #Conflicts: 879000 | #Constraints: 73758
1378.54/1382.35 c #Conflicts: 880000 | #Constraints: 74758
1378.54/1382.35 c #Conflicts: 881000 | #Constraints: 75758
1378.54/1382.35 c #Conflicts: 882000 | #Constraints: 76758
1378.54/1382.35 c #Conflicts: 883000 | #Constraints: 77758
1378.54/1382.35 c #Conflicts: 884000 | #Constraints: 78758
1519.95/1524.12 c INPROCESSING
1519.95/1524.12 c GARBAGE COLLECT
1519.95/1524.12 c #Conflicts: 885000 | #Constraints: 61170
1519.95/1524.12 c #Conflicts: 886000 | #Constraints: 62170
1519.95/1524.12 c #Conflicts: 887000 | #Constraints: 63170
1519.95/1524.12 c #Conflicts: 888000 | #Constraints: 64170
1519.95/1524.12 c #Conflicts: 889000 | #Constraints: 65170
1519.95/1524.12 c #Conflicts: 890000 | #Constraints: 66170
1519.95/1524.12 c #Conflicts: 891000 | #Constraints: 67170
1519.95/1524.12 c #Conflicts: 892000 | #Constraints: 68170
1519.95/1524.12 c #Conflicts: 893000 | #Constraints: 69170
1519.95/1524.12 c #Conflicts: 894000 | #Constraints: 70170
1519.95/1524.12 c #Conflicts: 895000 | #Constraints: 71170
1519.95/1524.12 c #Conflicts: 896000 | #Constraints: 72170
1519.95/1524.12 c #Conflicts: 897000 | #Constraints: 73170
1519.95/1524.12 c #Conflicts: 898000 | #Constraints: 74170
1519.95/1524.12 c #Conflicts: 899000 | #Constraints: 75170
1519.95/1524.12 c #Conflicts: 900000 | #Constraints: 76170
1519.95/1524.12 c #Conflicts: 901000 | #Constraints: 77170
1519.95/1524.12 c #Conflicts: 902000 | #Constraints: 78170
1519.95/1524.12 c #Conflicts: 903000 | #Constraints: 79170
1519.95/1524.12 c INPROCESSING
1519.95/1524.12 c GARBAGE COLLECT
1519.95/1524.12 c #Conflicts: 904000 | #Constraints: 61358
1519.95/1524.12 c #Conflicts: 905000 | #Constraints: 62358
1519.95/1524.12 c #Conflicts: 906000 | #Constraints: 63358
1519.95/1524.12 c #Conflicts: 907000 | #Constraints: 64358
1519.95/1524.12 c #Conflicts: 908000 | #Constraints: 65358
1519.95/1524.12 c #Conflicts: 909000 | #Constraints: 66358
1519.95/1524.12 c #Conflicts: 910000 | #Constraints: 67358
1519.95/1524.12 c #Conflicts: 911000 | #Constraints: 68358
1519.95/1524.12 c #Conflicts: 912000 | #Constraints: 69358
1519.95/1524.12 c #Conflicts: 913000 | #Constraints: 70358
1519.95/1524.12 c #Conflicts: 914000 | #Constraints: 71358
1519.95/1524.12 c #Conflicts: 915000 | #Constraints: 72358
1519.95/1524.12 c #Conflicts: 916000 | #Constraints: 73358
1519.95/1524.12 c #Conflicts: 917000 | #Constraints: 74358
1519.95/1524.12 c #Conflicts: 918000 | #Constraints: 75358
1519.95/1524.12 c #Conflicts: 919000 | #Constraints: 76358
1519.95/1524.12 c #Conflicts: 920000 | #Constraints: 77358
1519.95/1524.12 c #Conflicts: 921000 | #Constraints: 78358
1519.95/1524.12 c #Conflicts: 922000 | #Constraints: 79358
1519.95/1524.12 c INPROCESSING
1519.95/1524.12 c GARBAGE COLLECT
1519.95/1524.12 c #Conflicts: 923000 | #Constraints: 61339
1519.95/1524.12 c #Conflicts: 924000 | #Constraints: 62339
1519.95/1524.12 c #Conflicts: 925000 | #Constraints: 63339
1519.95/1524.12 c #Conflicts: 926000 | #Constraints: 64339
1519.95/1524.12 c #Conflicts: 927000 | #Constraints: 65339
1519.95/1524.12 c #Conflicts: 928000 | #Constraints: 66339
1519.95/1524.12 c #Conflicts: 929000 | #Constraints: 67339
1519.95/1524.12 c #Conflicts: 930000 | #Constraints: 68339
1519.95/1524.12 c #Conflicts: 931000 | #Constraints: 69339
1519.95/1524.12 c #Conflicts: 932000 | #Constraints: 70339
1519.95/1524.12 c #Conflicts: 933000 | #Constraints: 71339
1519.95/1524.12 c #Conflicts: 934000 | #Constraints: 72339
1519.95/1524.12 c #Conflicts: 935000 | #Constraints: 73339
1519.95/1524.12 c #Conflicts: 936000 | #Constraints: 74339
1519.95/1524.12 c #Conflicts: 937000 | #Constraints: 75339
1519.95/1524.12 c #Conflicts: 938000 | #Constraints: 76339
1519.95/1524.12 c #Conflicts: 939000 | #Constraints: 77339
1519.95/1524.12 c #Conflicts: 940000 | #Constraints: 78339
1519.95/1524.12 c #Conflicts: 941000 | #Constraints: 79339
1519.95/1524.12 c INPROCESSING
1519.95/1524.12 c GARBAGE COLLECT
1519.95/1524.12 c #Conflicts: 942000 | #Constraints: 61137
1519.95/1524.12 c #Conflicts: 943000 | #Constraints: 62137
1519.95/1524.12 c #Conflicts: 944000 | #Constraints: 63137
1519.95/1524.12 c #Conflicts: 945000 | #Constraints: 64137
1519.95/1524.12 c #Conflicts: 946000 | #Constraints: 65137
1519.95/1524.12 c #Conflicts: 947000 | #Constraints: 66137
1519.95/1524.12 c #Conflicts: 948000 | #Constraints: 67137
1519.95/1524.12 c #Conflicts: 949000 | #Constraints: 68137
1519.95/1524.12 c #Conflicts: 950000 | #Constraints: 69137
1519.95/1524.12 c #Conflicts: 951000 | #Constraints: 70137
1519.95/1524.12 c #Conflicts: 952000 | #Constraints: 71137
1519.95/1524.12 c #Conflicts: 953000 | #Constraints: 72137
1519.95/1524.12 c #Conflicts: 954000 | #Constraints: 73137
1519.95/1524.12 c #Conflicts: 955000 | #Constraints: 74137
1519.95/1524.12 c #Conflicts: 956000 | #Constraints: 75137
1519.95/1524.12 c #Conflicts: 957000 | #Constraints: 76137
1519.95/1524.12 c #Conflicts: 958000 | #Constraints: 77137
1519.95/1524.12 c #Conflicts: 959000 | #Constraints: 78137
1519.95/1524.12 c #Conflicts: 960000 | #Constraints: 79137
1643.73/1648.20 c #Conflicts: 961000 | #Constraints: 80137
1643.73/1648.20 c INPROCESSING
1643.73/1648.20 c GARBAGE COLLECT
1643.73/1648.20 c #Conflicts: 962000 | #Constraints: 61758
1643.73/1648.20 c #Conflicts: 963000 | #Constraints: 62758
1643.73/1648.20 c #Conflicts: 964000 | #Constraints: 63758
1643.73/1648.20 c #Conflicts: 965000 | #Constraints: 64758
1643.73/1648.20 c #Conflicts: 966000 | #Constraints: 65758
1643.73/1648.20 c #Conflicts: 967000 | #Constraints: 66758
1643.73/1648.20 c #Conflicts: 968000 | #Constraints: 67758
1643.73/1648.20 c #Conflicts: 969000 | #Constraints: 68758
1643.73/1648.20 c #Conflicts: 970000 | #Constraints: 69758
1643.73/1648.20 c #Conflicts: 971000 | #Constraints: 70758
1643.73/1648.20 c #Conflicts: 972000 | #Constraints: 71758
1643.73/1648.20 c #Conflicts: 973000 | #Constraints: 72758
1643.73/1648.20 c #Conflicts: 974000 | #Constraints: 73758
1643.73/1648.20 c #Conflicts: 975000 | #Constraints: 74758
1643.73/1648.20 c #Conflicts: 976000 | #Constraints: 75758
1643.73/1648.20 c #Conflicts: 977000 | #Constraints: 76758
1643.73/1648.20 c #Conflicts: 978000 | #Constraints: 77758
1643.73/1648.20 c #Conflicts: 979000 | #Constraints: 78758
1643.73/1648.20 c #Conflicts: 980000 | #Constraints: 79758
1643.73/1648.20 c #Conflicts: 981000 | #Constraints: 80758
1643.73/1648.20 c INPROCESSING
1643.73/1648.20 c GARBAGE COLLECT
1643.73/1648.20 c #Conflicts: 982000 | #Constraints: 62155
1643.73/1648.20 c #Conflicts: 983000 | #Constraints: 63155
1643.73/1648.20 c #Conflicts: 984000 | #Constraints: 64155
1643.73/1648.20 c #Conflicts: 985000 | #Constraints: 65155
1643.73/1648.20 c #Conflicts: 986000 | #Constraints: 66155
1643.73/1648.20 c #Conflicts: 987000 | #Constraints: 67155
1643.73/1648.20 c #Conflicts: 988000 | #Constraints: 68155
1643.73/1648.20 c #Conflicts: 989000 | #Constraints: 69155
1643.73/1648.20 c #Conflicts: 990000 | #Constraints: 70155
1643.73/1648.20 c #Conflicts: 991000 | #Constraints: 71155
1643.73/1648.20 c #Conflicts: 992000 | #Constraints: 72155
1643.73/1648.20 c #Conflicts: 993000 | #Constraints: 73155
1643.73/1648.20 c #Conflicts: 994000 | #Constraints: 74155
1643.73/1648.20 c #Conflicts: 995000 | #Constraints: 75155
1643.73/1648.20 c #Conflicts: 996000 | #Constraints: 76155
1643.73/1648.20 c #Conflicts: 997000 | #Constraints: 77155
1643.73/1648.20 c #Conflicts: 998000 | #Constraints: 78155
1643.73/1648.20 c #Conflicts: 999000 | #Constraints: 79155
1643.73/1648.20 c #Conflicts: 1000000 | #Constraints: 80155
1643.73/1648.20 c #Conflicts: 1001000 | #Constraints: 81155
1643.73/1648.20 c INPROCESSING
1643.73/1648.20 c GARBAGE COLLECT
1643.73/1648.20 c #Conflicts: 1002000 | #Constraints: 62355
1643.73/1648.20 c #Conflicts: 1003000 | #Constraints: 63355
1643.73/1648.20 c #Conflicts: 1004000 | #Constraints: 64355
1643.73/1648.20 c #Conflicts: 1005000 | #Constraints: 65355
1643.73/1648.20 c #Conflicts: 1006000 | #Constraints: 66355
1643.73/1648.20 c #Conflicts: 1007000 | #Constraints: 67355
1643.73/1648.20 c #Conflicts: 1008000 | #Constraints: 68355
1643.73/1648.20 c #Conflicts: 1009000 | #Constraints: 69355
1643.73/1648.20 c #Conflicts: 1010000 | #Constraints: 70355
1643.73/1648.20 c #Conflicts: 1011000 | #Constraints: 71355
1643.73/1648.20 c #Conflicts: 1012000 | #Constraints: 72355
1643.73/1648.20 c #Conflicts: 1013000 | #Constraints: 73355
1643.73/1648.20 c #Conflicts: 1014000 | #Constraints: 74355
1643.73/1648.20 c #Conflicts: 1015000 | #Constraints: 75355
1643.73/1648.20 c #Conflicts: 1016000 | #Constraints: 76355
1643.73/1648.20 c #Conflicts: 1017000 | #Constraints: 77355
1643.73/1648.20 c #Conflicts: 1018000 | #Constraints: 78355
1643.73/1648.20 c #Conflicts: 1019000 | #Constraints: 79355
1643.73/1648.20 c #Conflicts: 1020000 | #Constraints: 80355
1643.73/1648.20 c #Conflicts: 1021000 | #Constraints: 81355
1643.73/1648.20 c INPROCESSING
1643.73/1648.20 c GARBAGE COLLECT
1643.73/1648.20 c #Conflicts: 1022000 | #Constraints: 62353
1643.73/1648.20 c #Conflicts: 1023000 | #Constraints: 63353
1643.73/1648.20 c #Conflicts: 1024000 | #Constraints: 64353
1643.73/1648.20 c #Conflicts: 1025000 | #Constraints: 65353
1643.73/1648.20 c #Conflicts: 1026000 | #Constraints: 66353
1643.73/1648.20 c #Conflicts: 1027000 | #Constraints: 67353
1643.73/1648.20 c #Conflicts: 1028000 | #Constraints: 68353
1643.73/1648.20 c #Conflicts: 1029000 | #Constraints: 69353
1643.73/1648.20 c #Conflicts: 1030000 | #Constraints: 70353
1643.73/1648.20 c #Conflicts: 1031000 | #Constraints: 71353
1643.73/1648.20 c #Conflicts: 1032000 | #Constraints: 72353
1643.73/1648.20 c #Conflicts: 1033000 | #Constraints: 73353
1643.73/1648.20 c #Conflicts: 1034000 | #Constraints: 74353
1643.73/1648.20 c #Conflicts: 1035000 | #Constraints: 75353
1643.73/1648.20 c #Conflicts: 1036000 | #Constraints: 76353
1643.73/1648.20 c #Conflicts: 1037000 | #Constraints: 77353
1769.59/1774.49 c #Conflicts: 1038000 | #Constraints: 78353
1769.59/1774.49 c #Conflicts: 1039000 | #Constraints: 79353
1769.59/1774.49 c #Conflicts: 1040000 | #Constraints: 80353
1769.59/1774.49 c #Conflicts: 1041000 | #Constraints: 81353
1769.59/1774.49 c INPROCESSING
1769.59/1774.49 c GARBAGE COLLECT
1769.59/1774.49 c #Conflicts: 1042000 | #Constraints: 62157
1769.59/1774.49 c #Conflicts: 1043000 | #Constraints: 63157
1769.59/1774.49 c #Conflicts: 1044000 | #Constraints: 64157
1769.59/1774.49 c #Conflicts: 1045000 | #Constraints: 65157
1769.59/1774.49 c #Conflicts: 1046000 | #Constraints: 66157
1769.59/1774.49 c #Conflicts: 1047000 | #Constraints: 67157
1769.59/1774.49 c #Conflicts: 1048000 | #Constraints: 68157
1769.59/1774.49 c #Conflicts: 1049000 | #Constraints: 69157
1769.59/1774.49 c #Conflicts: 1050000 | #Constraints: 70157
1769.59/1774.49 c #Conflicts: 1051000 | #Constraints: 71157
1769.59/1774.49 c #Conflicts: 1052000 | #Constraints: 72157
1769.59/1774.49 c #Conflicts: 1053000 | #Constraints: 73157
1769.59/1774.49 c #Conflicts: 1054000 | #Constraints: 74157
1769.59/1774.49 c #Conflicts: 1055000 | #Constraints: 75157
1769.59/1774.49 c #Conflicts: 1056000 | #Constraints: 76157
1769.59/1774.49 c #Conflicts: 1057000 | #Constraints: 77157
1769.59/1774.49 c #Conflicts: 1058000 | #Constraints: 78157
1769.59/1774.49 c #Conflicts: 1059000 | #Constraints: 79157
1769.59/1774.49 c #Conflicts: 1060000 | #Constraints: 80157
1769.59/1774.49 c #Conflicts: 1061000 | #Constraints: 81157
1769.59/1774.49 c #Conflicts: 1062000 | #Constraints: 82157
1769.59/1774.49 c INPROCESSING
1769.59/1774.49 c GARBAGE COLLECT
1769.59/1774.49 c #Conflicts: 1063000 | #Constraints: 62761
1769.59/1774.49 c #Conflicts: 1064000 | #Constraints: 63761
1769.59/1774.49 c #Conflicts: 1065000 | #Constraints: 64761
1769.59/1774.49 c #Conflicts: 1066000 | #Constraints: 65761
1769.59/1774.49 c #Conflicts: 1067000 | #Constraints: 66761
1769.59/1774.49 c #Conflicts: 1068000 | #Constraints: 67761
1769.59/1774.49 c #Conflicts: 1069000 | #Constraints: 68761
1769.59/1774.49 c #Conflicts: 1070000 | #Constraints: 69761
1769.59/1774.49 c #Conflicts: 1071000 | #Constraints: 70761
1769.59/1774.49 c #Conflicts: 1072000 | #Constraints: 71761
1769.59/1774.49 c #Conflicts: 1073000 | #Constraints: 72761
1769.59/1774.49 c #Conflicts: 1074000 | #Constraints: 73761
1769.59/1774.49 c #Conflicts: 1075000 | #Constraints: 74761
1769.59/1774.49 c #Conflicts: 1076000 | #Constraints: 75761
1769.59/1774.49 c #Conflicts: 1077000 | #Constraints: 76761
1769.59/1774.49 c #Conflicts: 1078000 | #Constraints: 77761
1769.59/1774.49 c #Conflicts: 1079000 | #Constraints: 78761
1769.59/1774.49 c #Conflicts: 1080000 | #Constraints: 79761
1769.59/1774.49 c #Conflicts: 1081000 | #Constraints: 80761
1769.59/1774.49 c #Conflicts: 1082000 | #Constraints: 81761
1769.59/1774.49 c #Conflicts: 1083000 | #Constraints: 82761
1769.59/1774.49 c INPROCESSING
1769.59/1774.49 c GARBAGE COLLECT
1769.59/1774.49 c #Conflicts: 1084000 | #Constraints: 63174
1769.59/1774.49 c #Conflicts: 1085000 | #Constraints: 64174
1769.59/1774.49 c #Conflicts: 1086000 | #Constraints: 65174
1769.59/1774.49 c #Conflicts: 1087000 | #Constraints: 66174
1769.59/1774.49 c #Conflicts: 1088000 | #Constraints: 67174
1769.59/1774.49 c #Conflicts: 1089000 | #Constraints: 68174
1769.59/1774.49 c #Conflicts: 1090000 | #Constraints: 69174
1769.59/1774.49 c #Conflicts: 1091000 | #Constraints: 70174
1769.59/1774.49 c #Conflicts: 1092000 | #Constraints: 71174
1769.59/1774.49 c #Conflicts: 1093000 | #Constraints: 72174
1769.59/1774.49 c #Conflicts: 1094000 | #Constraints: 73174
1769.59/1774.49 c #Conflicts: 1095000 | #Constraints: 74174
1769.59/1774.49 c #Conflicts: 1096000 | #Constraints: 75174
1769.59/1774.49 c #Conflicts: 1097000 | #Constraints: 76174
1769.59/1774.49 c #Conflicts: 1098000 | #Constraints: 77174
1769.59/1774.49 c #Conflicts: 1099000 | #Constraints: 78174
1769.59/1774.49 c #Conflicts: 1100000 | #Constraints: 79174
1769.59/1774.49 c #Conflicts: 1101000 | #Constraints: 80174
1769.59/1774.49 c #Conflicts: 1102000 | #Constraints: 81174
1769.59/1774.49 c #Conflicts: 1103000 | #Constraints: 82174
1769.59/1774.49 c #Conflicts: 1104000 | #Constraints: 83174
1769.59/1774.49 c INPROCESSING
1769.59/1774.49 c GARBAGE COLLECT
1769.59/1774.49 c #Conflicts: 1105000 | #Constraints: 63349
1769.59/1774.49 c #Conflicts: 1106000 | #Constraints: 64349
1769.59/1774.49 c #Conflicts: 1107000 | #Constraints: 65349
1769.59/1774.49 c #Conflicts: 1108000 | #Constraints: 66349
1769.59/1774.49 c #Conflicts: 1109000 | #Constraints: 67349
1769.59/1774.49 c #Conflicts: 1110000 | #Constraints: 68349
1769.59/1774.49 c #Conflicts: 1111000 | #Constraints: 69349
1769.59/1774.49 c #Conflicts: 1112000 | #Constraints: 70349
1769.59/1774.49 c #Conflicts: 1113000 | #Constraints: 71349
1927.87/1933.16 c #Conflicts: 1114000 | #Constraints: 72349
1927.87/1933.16 c #Conflicts: 1115000 | #Constraints: 73349
1927.87/1933.16 c #Conflicts: 1116000 | #Constraints: 74349
1927.87/1933.16 c #Conflicts: 1117000 | #Constraints: 75349
1927.87/1933.16 c #Conflicts: 1118000 | #Constraints: 76349
1927.87/1933.16 c #Conflicts: 1119000 | #Constraints: 77349
1927.87/1933.16 c #Conflicts: 1120000 | #Constraints: 78349
1927.87/1933.16 c #Conflicts: 1121000 | #Constraints: 79349
1927.87/1933.16 c #Conflicts: 1122000 | #Constraints: 80349
1927.87/1933.16 c #Conflicts: 1123000 | #Constraints: 81349
1927.87/1933.16 c #Conflicts: 1124000 | #Constraints: 82349
1927.87/1933.16 c #Conflicts: 1125000 | #Constraints: 83349
1927.87/1933.16 c INPROCESSING
1927.87/1933.16 c GARBAGE COLLECT
1927.87/1933.16 c #Conflicts: 1126000 | #Constraints: 63337
1927.87/1933.16 c #Conflicts: 1127000 | #Constraints: 64337
1927.87/1933.16 c #Conflicts: 1128000 | #Constraints: 65337
1927.87/1933.16 c #Conflicts: 1129000 | #Constraints: 66337
1927.87/1933.16 c #Conflicts: 1130000 | #Constraints: 67337
1927.87/1933.16 c #Conflicts: 1131000 | #Constraints: 68337
1927.87/1933.16 c #Conflicts: 1132000 | #Constraints: 69337
1927.87/1933.16 c #Conflicts: 1133000 | #Constraints: 70337
1927.87/1933.16 c #Conflicts: 1134000 | #Constraints: 71337
1927.87/1933.16 c #Conflicts: 1135000 | #Constraints: 72337
1927.87/1933.16 c #Conflicts: 1136000 | #Constraints: 73337
1927.87/1933.16 c #Conflicts: 1137000 | #Constraints: 74337
1927.87/1933.16 c #Conflicts: 1138000 | #Constraints: 75337
1927.87/1933.16 c #Conflicts: 1139000 | #Constraints: 76337
1927.87/1933.16 c #Conflicts: 1140000 | #Constraints: 77337
1927.87/1933.16 c #Conflicts: 1141000 | #Constraints: 78337
1927.87/1933.16 c #Conflicts: 1142000 | #Constraints: 79337
1927.87/1933.16 c #Conflicts: 1143000 | #Constraints: 80337
1927.87/1933.16 c #Conflicts: 1144000 | #Constraints: 81337
1927.87/1933.16 c #Conflicts: 1145000 | #Constraints: 82337
1927.87/1933.16 c #Conflicts: 1146000 | #Constraints: 83337
1927.87/1933.16 c INPROCESSING
1927.87/1933.16 c GARBAGE COLLECT
1927.87/1933.16 c #Conflicts: 1147000 | #Constraints: 63137
1927.87/1933.16 c #Conflicts: 1148000 | #Constraints: 64137
1927.87/1933.16 c #Conflicts: 1149000 | #Constraints: 65137
1927.87/1933.16 c #Conflicts: 1150000 | #Constraints: 66137
1927.87/1933.16 c #Conflicts: 1151000 | #Constraints: 67137
1927.87/1933.16 c #Conflicts: 1152000 | #Constraints: 68137
1927.87/1933.16 c #Conflicts: 1153000 | #Constraints: 69137
1927.87/1933.16 c #Conflicts: 1154000 | #Constraints: 70137
1927.87/1933.16 c #Conflicts: 1155000 | #Constraints: 71137
1927.87/1933.16 c #Conflicts: 1156000 | #Constraints: 72137
1927.87/1933.16 c #Conflicts: 1157000 | #Constraints: 73137
1927.87/1933.16 c #Conflicts: 1158000 | #Constraints: 74137
1927.87/1933.16 c #Conflicts: 1159000 | #Constraints: 75137
1927.87/1933.16 c #Conflicts: 1160000 | #Constraints: 76137
1927.87/1933.16 c #Conflicts: 1161000 | #Constraints: 77137
1927.87/1933.16 c #Conflicts: 1162000 | #Constraints: 78137
1927.87/1933.16 c #Conflicts: 1163000 | #Constraints: 79137
1927.87/1933.16 c #Conflicts: 1164000 | #Constraints: 80137
1927.87/1933.16 c #Conflicts: 1165000 | #Constraints: 81137
1927.87/1933.16 c #Conflicts: 1166000 | #Constraints: 82137
1927.87/1933.16 c #Conflicts: 1167000 | #Constraints: 83137
1927.87/1933.16 c #Conflicts: 1168000 | #Constraints: 84137
1927.87/1933.16 c INPROCESSING
1927.87/1933.16 c GARBAGE COLLECT
1927.87/1933.16 c #Conflicts: 1169000 | #Constraints: 63731
1927.87/1933.16 c #Conflicts: 1170000 | #Constraints: 64731
1927.87/1933.16 c #Conflicts: 1171000 | #Constraints: 65731
1927.87/1933.16 c #Conflicts: 1172000 | #Constraints: 66731
1927.87/1933.16 c #Conflicts: 1173000 | #Constraints: 67731
1927.87/1933.16 c #Conflicts: 1174000 | #Constraints: 68731
1927.87/1933.16 c #Conflicts: 1175000 | #Constraints: 69731
1927.87/1933.16 c #Conflicts: 1176000 | #Constraints: 70731
1927.87/1933.16 c #Conflicts: 1177000 | #Constraints: 71731
1927.87/1933.16 c #Conflicts: 1178000 | #Constraints: 72731
1927.87/1933.16 c #Conflicts: 1179000 | #Constraints: 73731
1927.87/1933.16 c #Conflicts: 1180000 | #Constraints: 74731
1927.87/1933.16 c #Conflicts: 1181000 | #Constraints: 75731
1927.87/1933.16 c #Conflicts: 1182000 | #Constraints: 76731
1927.87/1933.16 c #Conflicts: 1183000 | #Constraints: 77731
1927.87/1933.16 c #Conflicts: 1184000 | #Constraints: 78731
1927.87/1933.16 c #Conflicts: 1185000 | #Constraints: 79731
1927.87/1933.16 c #Conflicts: 1186000 | #Constraints: 80731
1927.87/1933.16 c #Conflicts: 1187000 | #Constraints: 81731
1927.87/1933.16 c #Conflicts: 1188000 | #Constraints: 82731
1927.87/1933.16 c #Conflicts: 1189000 | #Constraints: 83731
1927.87/1933.16 c #Conflicts: 1190000 | #Constraints: 84731
2085.60/2091.37 c INPROCESSING
2085.60/2091.37 c GARBAGE COLLECT
2085.60/2091.37 c #Conflicts: 1191000 | #Constraints: 64154
2085.60/2091.37 c #Conflicts: 1192000 | #Constraints: 65154
2085.60/2091.37 c #Conflicts: 1193000 | #Constraints: 66154
2085.60/2091.37 c #Conflicts: 1194000 | #Constraints: 67154
2085.60/2091.37 c #Conflicts: 1195000 | #Constraints: 68154
2085.60/2091.37 c #Conflicts: 1196000 | #Constraints: 69154
2085.60/2091.37 c #Conflicts: 1197000 | #Constraints: 70154
2085.60/2091.37 c #Conflicts: 1198000 | #Constraints: 71154
2085.60/2091.37 c #Conflicts: 1199000 | #Constraints: 72154
2085.60/2091.37 c #Conflicts: 1200000 | #Constraints: 73154
2085.60/2091.37 c #Conflicts: 1201000 | #Constraints: 74154
2085.60/2091.37 c #Conflicts: 1202000 | #Constraints: 75154
2085.60/2091.37 c #Conflicts: 1203000 | #Constraints: 76154
2085.60/2091.37 c #Conflicts: 1204000 | #Constraints: 77154
2085.60/2091.37 c #Conflicts: 1205000 | #Constraints: 78154
2085.60/2091.37 c #Conflicts: 1206000 | #Constraints: 79154
2085.60/2091.37 c #Conflicts: 1207000 | #Constraints: 80154
2085.60/2091.37 c #Conflicts: 1208000 | #Constraints: 81154
2085.60/2091.37 c #Conflicts: 1209000 | #Constraints: 82154
2085.60/2091.37 c #Conflicts: 1210000 | #Constraints: 83154
2085.60/2091.37 c #Conflicts: 1211000 | #Constraints: 84154
2085.60/2091.37 c #Conflicts: 1212000 | #Constraints: 85154
2085.60/2091.37 c INPROCESSING
2085.60/2091.37 c GARBAGE COLLECT
2085.60/2091.37 c #Conflicts: 1213000 | #Constraints: 64359
2085.60/2091.37 c #Conflicts: 1214000 | #Constraints: 65359
2085.60/2091.37 c #Conflicts: 1215000 | #Constraints: 66359
2085.60/2091.37 c #Conflicts: 1216000 | #Constraints: 67359
2085.60/2091.37 c #Conflicts: 1217000 | #Constraints: 68359
2085.60/2091.37 c #Conflicts: 1218000 | #Constraints: 69359
2085.60/2091.37 c #Conflicts: 1219000 | #Constraints: 70359
2085.60/2091.37 c #Conflicts: 1220000 | #Constraints: 71359
2085.60/2091.37 c #Conflicts: 1221000 | #Constraints: 72359
2085.60/2091.37 c #Conflicts: 1222000 | #Constraints: 73359
2085.60/2091.37 c #Conflicts: 1223000 | #Constraints: 74359
2085.60/2091.37 c #Conflicts: 1224000 | #Constraints: 75359
2085.60/2091.37 c #Conflicts: 1225000 | #Constraints: 76359
2085.60/2091.37 c #Conflicts: 1226000 | #Constraints: 77359
2085.60/2091.37 c #Conflicts: 1227000 | #Constraints: 78359
2085.60/2091.37 c #Conflicts: 1228000 | #Constraints: 79359
2085.60/2091.37 c #Conflicts: 1229000 | #Constraints: 80359
2085.60/2091.37 c #Conflicts: 1230000 | #Constraints: 81359
2085.60/2091.37 c #Conflicts: 1231000 | #Constraints: 82359
2085.60/2091.37 c #Conflicts: 1232000 | #Constraints: 83359
2085.60/2091.37 c #Conflicts: 1233000 | #Constraints: 84359
2085.60/2091.37 c #Conflicts: 1234000 | #Constraints: 85359
2085.60/2091.37 c INPROCESSING
2085.60/2091.37 c GARBAGE COLLECT
2085.60/2091.37 c #Conflicts: 1235000 | #Constraints: 64366
2085.60/2091.37 c #Conflicts: 1236000 | #Constraints: 65366
2085.60/2091.37 c #Conflicts: 1237000 | #Constraints: 66366
2085.60/2091.37 c #Conflicts: 1238000 | #Constraints: 67366
2085.60/2091.37 c #Conflicts: 1239000 | #Constraints: 68366
2085.60/2091.37 c #Conflicts: 1240000 | #Constraints: 69366
2085.60/2091.37 c #Conflicts: 1241000 | #Constraints: 70366
2085.60/2091.37 c #Conflicts: 1242000 | #Constraints: 71366
2085.60/2091.37 c #Conflicts: 1243000 | #Constraints: 72366
2085.60/2091.37 c #Conflicts: 1244000 | #Constraints: 73366
2085.60/2091.37 c #Conflicts: 1245000 | #Constraints: 74366
2085.60/2091.37 c #Conflicts: 1246000 | #Constraints: 75366
2085.60/2091.37 c #Conflicts: 1247000 | #Constraints: 76366
2085.60/2091.37 c #Conflicts: 1248000 | #Constraints: 77366
2085.60/2091.37 c #Conflicts: 1249000 | #Constraints: 78366
2085.60/2091.37 c #Conflicts: 1250000 | #Constraints: 79366
2085.60/2091.37 c #Conflicts: 1251000 | #Constraints: 80366
2085.60/2091.37 c #Conflicts: 1252000 | #Constraints: 81366
2085.60/2091.37 c #Conflicts: 1253000 | #Constraints: 82366
2085.60/2091.37 c #Conflicts: 1254000 | #Constraints: 83366
2085.60/2091.37 c #Conflicts: 1255000 | #Constraints: 84366
2085.60/2091.37 c #Conflicts: 1256000 | #Constraints: 85366
2085.60/2091.37 c INPROCESSING
2085.60/2091.37 c GARBAGE COLLECT
2085.60/2091.37 c #Conflicts: 1257000 | #Constraints: 64170
2085.60/2091.37 c #Conflicts: 1258000 | #Constraints: 65170
2085.60/2091.37 c #Conflicts: 1259000 | #Constraints: 66170
2085.60/2091.37 c #Conflicts: 1260000 | #Constraints: 67170
2085.60/2091.37 c #Conflicts: 1261000 | #Constraints: 68170
2085.60/2091.37 c #Conflicts: 1262000 | #Constraints: 69170
2085.60/2091.37 c #Conflicts: 1263000 | #Constraints: 70170
2085.60/2091.37 c #Conflicts: 1264000 | #Constraints: 71170
2085.60/2091.37 c #Conflicts: 1265000 | #Constraints: 72170
2085.60/2091.37 c #Conflicts: 1266000 | #Constraints: 73170
2287.05/2293.41 c #Conflicts: 1267000 | #Constraints: 74170
2287.05/2293.41 c #Conflicts: 1268000 | #Constraints: 75170
2287.05/2293.41 c #Conflicts: 1269000 | #Constraints: 76170
2287.05/2293.41 c #Conflicts: 1270000 | #Constraints: 77170
2287.05/2293.41 c #Conflicts: 1271000 | #Constraints: 78170
2287.05/2293.41 c #Conflicts: 1272000 | #Constraints: 79170
2287.05/2293.41 c #Conflicts: 1273000 | #Constraints: 80170
2287.05/2293.41 c #Conflicts: 1274000 | #Constraints: 81170
2287.05/2293.41 c #Conflicts: 1275000 | #Constraints: 82170
2287.05/2293.41 c #Conflicts: 1276000 | #Constraints: 83170
2287.05/2293.41 c #Conflicts: 1277000 | #Constraints: 84170
2287.05/2293.41 c #Conflicts: 1278000 | #Constraints: 85170
2287.05/2293.41 c #Conflicts: 1279000 | #Constraints: 86170
2287.05/2293.41 c INPROCESSING
2287.05/2293.41 c GARBAGE COLLECT
2287.05/2293.41 c #Conflicts: 1280000 | #Constraints: 64747
2287.05/2293.41 c #Conflicts: 1281000 | #Constraints: 65747
2287.05/2293.41 c #Conflicts: 1282000 | #Constraints: 66747
2287.05/2293.41 c #Conflicts: 1283000 | #Constraints: 67747
2287.05/2293.41 c #Conflicts: 1284000 | #Constraints: 68747
2287.05/2293.41 c #Conflicts: 1285000 | #Constraints: 69747
2287.05/2293.41 c #Conflicts: 1286000 | #Constraints: 70747
2287.05/2293.41 c #Conflicts: 1287000 | #Constraints: 71747
2287.05/2293.41 c #Conflicts: 1288000 | #Constraints: 72747
2287.05/2293.41 c #Conflicts: 1289000 | #Constraints: 73747
2287.05/2293.41 c #Conflicts: 1290000 | #Constraints: 74747
2287.05/2293.41 c #Conflicts: 1291000 | #Constraints: 75747
2287.05/2293.41 c #Conflicts: 1292000 | #Constraints: 76747
2287.05/2293.41 c #Conflicts: 1293000 | #Constraints: 77747
2287.05/2293.41 c #Conflicts: 1294000 | #Constraints: 78747
2287.05/2293.41 c #Conflicts: 1295000 | #Constraints: 79747
2287.05/2293.41 c #Conflicts: 1296000 | #Constraints: 80747
2287.05/2293.41 c #Conflicts: 1297000 | #Constraints: 81747
2287.05/2293.41 c #Conflicts: 1298000 | #Constraints: 82747
2287.05/2293.41 c #Conflicts: 1299000 | #Constraints: 83747
2287.05/2293.41 c #Conflicts: 1300000 | #Constraints: 84747
2287.05/2293.41 c #Conflicts: 1301000 | #Constraints: 85747
2287.05/2293.41 c #Conflicts: 1302000 | #Constraints: 86747
2287.05/2293.41 c INPROCESSING
2287.05/2293.41 c GARBAGE COLLECT
2287.05/2293.41 c #Conflicts: 1303000 | #Constraints: 65136
2287.05/2293.41 c #Conflicts: 1304000 | #Constraints: 66136
2287.05/2293.41 c #Conflicts: 1305000 | #Constraints: 67136
2287.05/2293.41 c #Conflicts: 1306000 | #Constraints: 68136
2287.05/2293.41 c #Conflicts: 1307000 | #Constraints: 69136
2287.05/2293.41 c #Conflicts: 1308000 | #Constraints: 70136
2287.05/2293.41 c #Conflicts: 1309000 | #Constraints: 71136
2287.05/2293.41 c #Conflicts: 1310000 | #Constraints: 72136
2287.05/2293.41 c #Conflicts: 1311000 | #Constraints: 73136
2287.05/2293.41 c #Conflicts: 1312000 | #Constraints: 74136
2287.05/2293.41 c #Conflicts: 1313000 | #Constraints: 75136
2287.05/2293.41 c #Conflicts: 1314000 | #Constraints: 76136
2287.05/2293.41 c #Conflicts: 1315000 | #Constraints: 77136
2287.05/2293.41 c #Conflicts: 1316000 | #Constraints: 78136
2287.05/2293.41 c #Conflicts: 1317000 | #Constraints: 79136
2287.05/2293.41 c #Conflicts: 1318000 | #Constraints: 80136
2287.05/2293.41 c #Conflicts: 1319000 | #Constraints: 81136
2287.05/2293.41 c #Conflicts: 1320000 | #Constraints: 82136
2287.05/2293.41 c #Conflicts: 1321000 | #Constraints: 83136
2287.05/2293.41 c #Conflicts: 1322000 | #Constraints: 84136
2287.05/2293.41 c #Conflicts: 1323000 | #Constraints: 85136
2287.05/2293.41 c #Conflicts: 1324000 | #Constraints: 86136
2287.05/2293.41 c #Conflicts: 1325000 | #Constraints: 87136
2287.05/2293.41 c INPROCESSING
2287.05/2293.41 c GARBAGE COLLECT
2287.05/2293.41 c #Conflicts: 1326000 | #Constraints: 65353
2287.05/2293.41 c #Conflicts: 1327000 | #Constraints: 66353
2287.05/2293.41 c #Conflicts: 1328000 | #Constraints: 67353
2287.05/2293.41 c #Conflicts: 1329000 | #Constraints: 68353
2287.05/2293.41 c #Conflicts: 1330000 | #Constraints: 69353
2287.05/2293.41 c #Conflicts: 1331000 | #Constraints: 70353
2287.05/2293.41 c #Conflicts: 1332000 | #Constraints: 71353
2287.05/2293.41 c #Conflicts: 1333000 | #Constraints: 72353
2287.05/2293.41 c #Conflicts: 1334000 | #Constraints: 73353
2287.05/2293.41 c #Conflicts: 1335000 | #Constraints: 74353
2287.05/2293.41 c #Conflicts: 1336000 | #Constraints: 75353
2287.05/2293.41 c #Conflicts: 1337000 | #Constraints: 76353
2287.05/2293.41 c #Conflicts: 1338000 | #Constraints: 77353
2287.05/2293.41 c #Conflicts: 1339000 | #Constraints: 78353
2287.05/2293.41 c #Conflicts: 1340000 | #Constraints: 79353
2287.05/2293.41 c #Conflicts: 1341000 | #Constraints: 80353
2287.05/2293.41 c #Conflicts: 1342000 | #Constraints: 81353
2287.05/2293.41 c #Conflicts: 1343000 | #Constraints: 82353
2511.20/2518.36 c #Conflicts: 1344000 | #Constraints: 83353
2511.20/2518.36 c #Conflicts: 1345000 | #Constraints: 84353
2511.20/2518.36 c #Conflicts: 1346000 | #Constraints: 85353
2511.20/2518.36 c #Conflicts: 1347000 | #Constraints: 86353
2511.20/2518.36 c #Conflicts: 1348000 | #Constraints: 87353
2511.20/2518.36 c INPROCESSING
2511.20/2518.36 c GARBAGE COLLECT
2511.20/2518.36 c #Conflicts: 1349000 | #Constraints: 65349
2511.20/2518.36 c #Conflicts: 1350000 | #Constraints: 66349
2511.20/2518.36 c #Conflicts: 1351000 | #Constraints: 67349
2511.20/2518.36 c #Conflicts: 1352000 | #Constraints: 68349
2511.20/2518.36 c #Conflicts: 1353000 | #Constraints: 69349
2511.20/2518.36 c #Conflicts: 1354000 | #Constraints: 70349
2511.20/2518.36 c #Conflicts: 1355000 | #Constraints: 71349
2511.20/2518.36 c #Conflicts: 1356000 | #Constraints: 72349
2511.20/2518.36 c #Conflicts: 1357000 | #Constraints: 73349
2511.20/2518.36 c #Conflicts: 1358000 | #Constraints: 74349
2511.20/2518.36 c #Conflicts: 1359000 | #Constraints: 75349
2511.20/2518.36 c #Conflicts: 1360000 | #Constraints: 76349
2511.20/2518.36 c #Conflicts: 1361000 | #Constraints: 77349
2511.20/2518.36 c #Conflicts: 1362000 | #Constraints: 78349
2511.20/2518.36 c #Conflicts: 1363000 | #Constraints: 79349
2511.20/2518.36 c #Conflicts: 1364000 | #Constraints: 80349
2511.20/2518.36 c #Conflicts: 1365000 | #Constraints: 81349
2511.20/2518.36 c #Conflicts: 1366000 | #Constraints: 82349
2511.20/2518.36 c #Conflicts: 1367000 | #Constraints: 83349
2511.20/2518.36 c #Conflicts: 1368000 | #Constraints: 84349
2511.20/2518.36 c #Conflicts: 1369000 | #Constraints: 85349
2511.20/2518.36 c #Conflicts: 1370000 | #Constraints: 86349
2511.20/2518.36 c #Conflicts: 1371000 | #Constraints: 87349
2511.20/2518.36 c INPROCESSING
2511.20/2518.36 c GARBAGE COLLECT
2511.20/2518.36 c #Conflicts: 1372000 | #Constraints: 65154
2511.20/2518.36 c #Conflicts: 1373000 | #Constraints: 66154
2511.20/2518.36 c #Conflicts: 1374000 | #Constraints: 67154
2511.20/2518.36 c #Conflicts: 1375000 | #Constraints: 68154
2511.20/2518.36 c #Conflicts: 1376000 | #Constraints: 69154
2511.20/2518.36 c #Conflicts: 1377000 | #Constraints: 70154
2511.20/2518.36 c #Conflicts: 1378000 | #Constraints: 71154
2511.20/2518.36 c #Conflicts: 1379000 | #Constraints: 72154
2511.20/2518.36 c #Conflicts: 1380000 | #Constraints: 73154
2511.20/2518.36 c #Conflicts: 1381000 | #Constraints: 74154
2511.20/2518.36 c #Conflicts: 1382000 | #Constraints: 75154
2511.20/2518.36 c #Conflicts: 1383000 | #Constraints: 76154
2511.20/2518.36 c #Conflicts: 1384000 | #Constraints: 77154
2511.20/2518.36 c #Conflicts: 1385000 | #Constraints: 78154
2511.20/2518.36 c #Conflicts: 1386000 | #Constraints: 79154
2511.20/2518.36 c #Conflicts: 1387000 | #Constraints: 80154
2511.20/2518.36 c #Conflicts: 1388000 | #Constraints: 81154
2511.20/2518.36 c #Conflicts: 1389000 | #Constraints: 82154
2511.20/2518.36 c #Conflicts: 1390000 | #Constraints: 83154
2511.20/2518.36 c #Conflicts: 1391000 | #Constraints: 84154
2511.20/2518.36 c #Conflicts: 1392000 | #Constraints: 85154
2511.20/2518.36 c #Conflicts: 1393000 | #Constraints: 86154
2511.20/2518.36 c #Conflicts: 1394000 | #Constraints: 87154
2511.20/2518.36 c #Conflicts: 1395000 | #Constraints: 88154
2511.20/2518.36 c INPROCESSING
2511.20/2518.36 c GARBAGE COLLECT
2511.20/2518.36 c #Conflicts: 1396000 | #Constraints: 65760
2511.20/2518.36 c #Conflicts: 1397000 | #Constraints: 66760
2511.20/2518.36 c #Conflicts: 1398000 | #Constraints: 67760
2511.20/2518.36 c #Conflicts: 1399000 | #Constraints: 68760
2511.20/2518.36 c #Conflicts: 1400000 | #Constraints: 69760
2511.20/2518.36 c #Conflicts: 1401000 | #Constraints: 70760
2511.20/2518.36 c #Conflicts: 1402000 | #Constraints: 71760
2511.20/2518.36 c #Conflicts: 1403000 | #Constraints: 72760
2511.20/2518.36 c #Conflicts: 1404000 | #Constraints: 73760
2511.20/2518.36 c #Conflicts: 1405000 | #Constraints: 74760
2511.20/2518.36 c #Conflicts: 1406000 | #Constraints: 75760
2511.20/2518.36 c #Conflicts: 1407000 | #Constraints: 76760
2511.20/2518.36 c #Conflicts: 1408000 | #Constraints: 77760
2511.20/2518.36 c #Conflicts: 1409000 | #Constraints: 78760
2511.20/2518.36 c #Conflicts: 1410000 | #Constraints: 79760
2511.20/2518.36 c #Conflicts: 1411000 | #Constraints: 80760
2511.20/2518.36 c #Conflicts: 1412000 | #Constraints: 81760
2511.20/2518.36 c #Conflicts: 1413000 | #Constraints: 82760
2511.20/2518.36 c #Conflicts: 1414000 | #Constraints: 83760
2511.20/2518.36 c #Conflicts: 1415000 | #Constraints: 84760
2511.20/2518.36 c #Conflicts: 1416000 | #Constraints: 85760
2511.20/2518.36 c #Conflicts: 1417000 | #Constraints: 86760
2511.20/2518.36 c #Conflicts: 1418000 | #Constraints: 87760
2511.20/2518.36 c #Conflicts: 1419000 | #Constraints: 88760
2511.20/2518.36 c INPROCESSING
2747.33/2755.28 c GARBAGE COLLECT
2747.33/2755.28 c #Conflicts: 1420000 | #Constraints: 66142
2747.33/2755.28 c #Conflicts: 1421000 | #Constraints: 67142
2747.33/2755.28 c #Conflicts: 1422000 | #Constraints: 68142
2747.33/2755.28 c #Conflicts: 1423000 | #Constraints: 69142
2747.33/2755.28 c #Conflicts: 1424000 | #Constraints: 70142
2747.33/2755.28 c #Conflicts: 1425000 | #Constraints: 71142
2747.33/2755.28 c #Conflicts: 1426000 | #Constraints: 72142
2747.33/2755.28 c #Conflicts: 1427000 | #Constraints: 73142
2747.33/2755.28 c #Conflicts: 1428000 | #Constraints: 74142
2747.33/2755.28 c #Conflicts: 1429000 | #Constraints: 75142
2747.33/2755.28 c #Conflicts: 1430000 | #Constraints: 76142
2747.33/2755.28 c #Conflicts: 1431000 | #Constraints: 77142
2747.33/2755.28 c #Conflicts: 1432000 | #Constraints: 78142
2747.33/2755.28 c #Conflicts: 1433000 | #Constraints: 79142
2747.33/2755.28 c #Conflicts: 1434000 | #Constraints: 80142
2747.33/2755.28 c #Conflicts: 1435000 | #Constraints: 81142
2747.33/2755.28 c #Conflicts: 1436000 | #Constraints: 82142
2747.33/2755.28 c #Conflicts: 1437000 | #Constraints: 83142
2747.33/2755.28 c #Conflicts: 1438000 | #Constraints: 84142
2747.33/2755.28 c #Conflicts: 1439000 | #Constraints: 85142
2747.33/2755.28 c #Conflicts: 1440000 | #Constraints: 86142
2747.33/2755.28 c #Conflicts: 1441000 | #Constraints: 87142
2747.33/2755.28 c #Conflicts: 1442000 | #Constraints: 88142
2747.33/2755.28 c #Conflicts: 1443000 | #Constraints: 89142
2747.33/2755.28 c INPROCESSING
2747.33/2755.28 c GARBAGE COLLECT
2747.33/2755.28 c #Conflicts: 1444000 | #Constraints: 66351
2747.33/2755.28 c #Conflicts: 1445000 | #Constraints: 67351
2747.33/2755.28 c #Conflicts: 1446000 | #Constraints: 68351
2747.33/2755.28 c #Conflicts: 1447000 | #Constraints: 69351
2747.33/2755.28 c #Conflicts: 1448000 | #Constraints: 70351
2747.33/2755.28 c #Conflicts: 1449000 | #Constraints: 71351
2747.33/2755.28 c #Conflicts: 1450000 | #Constraints: 72351
2747.33/2755.28 c #Conflicts: 1451000 | #Constraints: 73351
2747.33/2755.28 c #Conflicts: 1452000 | #Constraints: 74351
2747.33/2755.28 c #Conflicts: 1453000 | #Constraints: 75351
2747.33/2755.28 c #Conflicts: 1454000 | #Constraints: 76351
2747.33/2755.28 c #Conflicts: 1455000 | #Constraints: 77351
2747.33/2755.28 c #Conflicts: 1456000 | #Constraints: 78351
2747.33/2755.28 c #Conflicts: 1457000 | #Constraints: 79351
2747.33/2755.28 c #Conflicts: 1458000 | #Constraints: 80351
2747.33/2755.28 c #Conflicts: 1459000 | #Constraints: 81351
2747.33/2755.28 c #Conflicts: 1460000 | #Constraints: 82351
2747.33/2755.28 c #Conflicts: 1461000 | #Constraints: 83351
2747.33/2755.28 c #Conflicts: 1462000 | #Constraints: 84351
2747.33/2755.28 c #Conflicts: 1463000 | #Constraints: 85351
2747.33/2755.28 c #Conflicts: 1464000 | #Constraints: 86351
2747.33/2755.28 c #Conflicts: 1465000 | #Constraints: 87351
2747.33/2755.28 c #Conflicts: 1466000 | #Constraints: 88351
2747.33/2755.28 c #Conflicts: 1467000 | #Constraints: 89351
2747.33/2755.28 c INPROCESSING
2747.33/2755.28 c GARBAGE COLLECT
2747.33/2755.28 c #Conflicts: 1468000 | #Constraints: 66375
2747.33/2755.28 c #Conflicts: 1469000 | #Constraints: 67375
2747.33/2755.28 c #Conflicts: 1470000 | #Constraints: 68375
2747.33/2755.28 c #Conflicts: 1471000 | #Constraints: 69375
2747.33/2755.28 c #Conflicts: 1472000 | #Constraints: 70375
2747.33/2755.28 c #Conflicts: 1473000 | #Constraints: 71375
2747.33/2755.28 c #Conflicts: 1474000 | #Constraints: 72375
2747.33/2755.28 c #Conflicts: 1475000 | #Constraints: 73375
2747.33/2755.28 c #Conflicts: 1476000 | #Constraints: 74375
2747.33/2755.28 c #Conflicts: 1477000 | #Constraints: 75375
2747.33/2755.28 c #Conflicts: 1478000 | #Constraints: 76375
2747.33/2755.28 c #Conflicts: 1479000 | #Constraints: 77375
2747.33/2755.28 c #Conflicts: 1480000 | #Constraints: 78375
2747.33/2755.28 c #Conflicts: 1481000 | #Constraints: 79375
2747.33/2755.28 c #Conflicts: 1482000 | #Constraints: 80375
2747.33/2755.28 c #Conflicts: 1483000 | #Constraints: 81375
2747.33/2755.28 c #Conflicts: 1484000 | #Constraints: 82375
2747.33/2755.28 c #Conflicts: 1485000 | #Constraints: 83375
2747.33/2755.28 c #Conflicts: 1486000 | #Constraints: 84375
2747.33/2755.28 c #Conflicts: 1487000 | #Constraints: 85375
2747.33/2755.28 c #Conflicts: 1488000 | #Constraints: 86375
2747.33/2755.28 c #Conflicts: 1489000 | #Constraints: 87375
2747.33/2755.28 c #Conflicts: 1490000 | #Constraints: 88375
2747.33/2755.28 c #Conflicts: 1491000 | #Constraints: 89375
2747.33/2755.28 c INPROCESSING
2747.33/2755.28 c GARBAGE COLLECT
2747.33/2755.28 c #Conflicts: 1492000 | #Constraints: 66171
2747.33/2755.28 c #Conflicts: 1493000 | #Constraints: 67171
2747.33/2755.28 c #Conflicts: 1494000 | #Constraints: 68171
2747.33/2755.28 c #Conflicts: 1495000 | #Constraints: 69171
2747.33/2755.28 c #Conflicts: 1496000 | #Constraints: 70171
2942.11/2950.57 c #Conflicts: 1497000 | #Constraints: 71171
2942.11/2950.57 c #Conflicts: 1498000 | #Constraints: 72171
2942.11/2950.57 c #Conflicts: 1499000 | #Constraints: 73171
2942.11/2950.57 c #Conflicts: 1500000 | #Constraints: 74171
2942.11/2950.57 c #Conflicts: 1501000 | #Constraints: 75171
2942.11/2950.57 c #Conflicts: 1502000 | #Constraints: 76171
2942.11/2950.57 c #Conflicts: 1503000 | #Constraints: 77171
2942.11/2950.57 c #Conflicts: 1504000 | #Constraints: 78171
2942.11/2950.57 c #Conflicts: 1505000 | #Constraints: 79171
2942.11/2950.57 c #Conflicts: 1506000 | #Constraints: 80171
2942.11/2950.57 c #Conflicts: 1507000 | #Constraints: 81171
2942.11/2950.57 c #Conflicts: 1508000 | #Constraints: 82171
2942.11/2950.57 c #Conflicts: 1509000 | #Constraints: 83171
2942.11/2950.57 c #Conflicts: 1510000 | #Constraints: 84171
2942.11/2950.57 c #Conflicts: 1511000 | #Constraints: 85171
2942.11/2950.57 c #Conflicts: 1512000 | #Constraints: 86171
2942.11/2950.57 c #Conflicts: 1513000 | #Constraints: 87171
2942.11/2950.57 c #Conflicts: 1514000 | #Constraints: 88171
2942.11/2950.57 c #Conflicts: 1515000 | #Constraints: 89171
2942.11/2950.57 c #Conflicts: 1516000 | #Constraints: 90171
2942.11/2950.57 c INPROCESSING
2942.11/2950.57 c GARBAGE COLLECT
2942.11/2950.57 c #Conflicts: 1517000 | #Constraints: 66753
2942.11/2950.57 c #Conflicts: 1518000 | #Constraints: 67753
2942.11/2950.57 c #Conflicts: 1519000 | #Constraints: 68753
2942.11/2950.57 c #Conflicts: 1520000 | #Constraints: 69753
2942.11/2950.57 c #Conflicts: 1521000 | #Constraints: 70753
2942.11/2950.57 c #Conflicts: 1522000 | #Constraints: 71753
2942.11/2950.57 c #Conflicts: 1523000 | #Constraints: 72753
2942.11/2950.57 c #Conflicts: 1524000 | #Constraints: 73753
2942.11/2950.57 c #Conflicts: 1525000 | #Constraints: 74753
2942.11/2950.57 c #Conflicts: 1526000 | #Constraints: 75753
2942.11/2950.57 c #Conflicts: 1527000 | #Constraints: 76753
2942.11/2950.57 c #Conflicts: 1528000 | #Constraints: 77753
2942.11/2950.57 c #Conflicts: 1529000 | #Constraints: 78753
2942.11/2950.57 c #Conflicts: 1530000 | #Constraints: 79753
2942.11/2950.57 c #Conflicts: 1531000 | #Constraints: 80753
2942.11/2950.57 c #Conflicts: 1532000 | #Constraints: 81753
2942.11/2950.57 c #Conflicts: 1533000 | #Constraints: 82753
2942.11/2950.57 c #Conflicts: 1534000 | #Constraints: 83753
2942.11/2950.57 c #Conflicts: 1535000 | #Constraints: 84753
2942.11/2950.57 c #Conflicts: 1536000 | #Constraints: 85753
2942.11/2950.57 c #Conflicts: 1537000 | #Constraints: 86753
2942.11/2950.57 c #Conflicts: 1538000 | #Constraints: 87753
2942.11/2950.57 c #Conflicts: 1539000 | #Constraints: 88753
2942.11/2950.57 c #Conflicts: 1540000 | #Constraints: 89753
2942.11/2950.57 c #Conflicts: 1541000 | #Constraints: 90753
2942.11/2950.57 c INPROCESSING
2942.11/2950.57 c GARBAGE COLLECT
2942.11/2950.57 c #Conflicts: 1542000 | #Constraints: 67167
2942.11/2950.57 c #Conflicts: 1543000 | #Constraints: 68167
2942.11/2950.57 c #Conflicts: 1544000 | #Constraints: 69167
2942.11/2950.57 c #Conflicts: 1545000 | #Constraints: 70167
2942.11/2950.57 c #Conflicts: 1546000 | #Constraints: 71167
2942.11/2950.57 c #Conflicts: 1547000 | #Constraints: 72167
2942.11/2950.57 c #Conflicts: 1548000 | #Constraints: 73167
2942.11/2950.57 c #Conflicts: 1549000 | #Constraints: 74167
2942.11/2950.57 c #Conflicts: 1550000 | #Constraints: 75167
2942.11/2950.57 c #Conflicts: 1551000 | #Constraints: 76167
2942.11/2950.57 c #Conflicts: 1552000 | #Constraints: 77167
2942.11/2950.57 c #Conflicts: 1553000 | #Constraints: 78167
2942.11/2950.57 c #Conflicts: 1554000 | #Constraints: 79167
2942.11/2950.57 c #Conflicts: 1555000 | #Constraints: 80167
2942.11/2950.57 c #Conflicts: 1556000 | #Constraints: 81167
2942.11/2950.57 c #Conflicts: 1557000 | #Constraints: 82167
2942.11/2950.57 c #Conflicts: 1558000 | #Constraints: 83167
2942.11/2950.57 c #Conflicts: 1559000 | #Constraints: 84167
2942.11/2950.57 c #Conflicts: 1560000 | #Constraints: 85167
2942.11/2950.57 c #Conflicts: 1561000 | #Constraints: 86167
2942.11/2950.57 c #Conflicts: 1562000 | #Constraints: 87167
2942.11/2950.57 c #Conflicts: 1563000 | #Constraints: 88167
2942.11/2950.57 c #Conflicts: 1564000 | #Constraints: 89167
2942.11/2950.57 c #Conflicts: 1565000 | #Constraints: 90167
2942.11/2950.57 c #Conflicts: 1566000 | #Constraints: 91167
2942.11/2950.57 c INPROCESSING
2942.11/2950.57 c GARBAGE COLLECT
2942.11/2950.57 c #Conflicts: 1567000 | #Constraints: 67370
2942.11/2950.57 c #Conflicts: 1568000 | #Constraints: 68370
2942.11/2950.57 c #Conflicts: 1569000 | #Constraints: 69370
2942.11/2950.57 c #Conflicts: 1570000 | #Constraints: 70370
2942.11/2950.57 c #Conflicts: 1571000 | #Constraints: 71370
2942.11/2950.57 c #Conflicts: 1572000 | #Constraints: 72370
2942.11/2950.57 c #Conflicts: 1573000 | #Constraints: 73370
3113.49/3122.35 c #Conflicts: 1574000 | #Constraints: 74370
3113.49/3122.35 c #Conflicts: 1575000 | #Constraints: 75370
3113.49/3122.35 c #Conflicts: 1576000 | #Constraints: 76370
3113.49/3122.35 c #Conflicts: 1577000 | #Constraints: 77370
3113.49/3122.35 c #Conflicts: 1578000 | #Constraints: 78370
3113.49/3122.35 c #Conflicts: 1579000 | #Constraints: 79370
3113.49/3122.35 c #Conflicts: 1580000 | #Constraints: 80370
3113.49/3122.35 c #Conflicts: 1581000 | #Constraints: 81370
3113.49/3122.35 c #Conflicts: 1582000 | #Constraints: 82370
3113.49/3122.35 c #Conflicts: 1583000 | #Constraints: 83370
3113.49/3122.35 c #Conflicts: 1584000 | #Constraints: 84370
3113.49/3122.35 c #Conflicts: 1585000 | #Constraints: 85370
3113.49/3122.35 c #Conflicts: 1586000 | #Constraints: 86370
3113.49/3122.35 c #Conflicts: 1587000 | #Constraints: 87370
3113.49/3122.35 c #Conflicts: 1588000 | #Constraints: 88370
3113.49/3122.35 c #Conflicts: 1589000 | #Constraints: 89370
3113.49/3122.35 c #Conflicts: 1590000 | #Constraints: 90370
3113.49/3122.35 c #Conflicts: 1591000 | #Constraints: 91370
3113.49/3122.35 c INPROCESSING
3113.49/3122.35 c GARBAGE COLLECT
3113.49/3122.35 c #Conflicts: 1592000 | #Constraints: 67357
3113.49/3122.35 c #Conflicts: 1593000 | #Constraints: 68357
3113.49/3122.35 c #Conflicts: 1594000 | #Constraints: 69357
3113.49/3122.35 c #Conflicts: 1595000 | #Constraints: 70357
3113.49/3122.35 c #Conflicts: 1596000 | #Constraints: 71357
3113.49/3122.35 c #Conflicts: 1597000 | #Constraints: 72357
3113.49/3122.35 c #Conflicts: 1598000 | #Constraints: 73357
3113.49/3122.35 c #Conflicts: 1599000 | #Constraints: 74357
3113.49/3122.35 c #Conflicts: 1600000 | #Constraints: 75357
3113.49/3122.35 c #Conflicts: 1601000 | #Constraints: 76357
3113.49/3122.35 c #Conflicts: 1602000 | #Constraints: 77357
3113.49/3122.35 c #Conflicts: 1603000 | #Constraints: 78357
3113.49/3122.35 c #Conflicts: 1604000 | #Constraints: 79357
3113.49/3122.35 c #Conflicts: 1605000 | #Constraints: 80357
3113.49/3122.35 c #Conflicts: 1606000 | #Constraints: 81357
3113.49/3122.35 c #Conflicts: 1607000 | #Constraints: 82357
3113.49/3122.35 c #Conflicts: 1608000 | #Constraints: 83357
3113.49/3122.35 c #Conflicts: 1609000 | #Constraints: 84357
3113.49/3122.35 c #Conflicts: 1610000 | #Constraints: 85357
3113.49/3122.35 c #Conflicts: 1611000 | #Constraints: 86357
3113.49/3122.35 c #Conflicts: 1612000 | #Constraints: 87357
3113.49/3122.35 c #Conflicts: 1613000 | #Constraints: 88357
3113.49/3122.35 c #Conflicts: 1614000 | #Constraints: 89357
3113.49/3122.35 c #Conflicts: 1615000 | #Constraints: 90357
3113.49/3122.35 c #Conflicts: 1616000 | #Constraints: 91357
3113.49/3122.35 c INPROCESSING
3113.49/3122.35 c GARBAGE COLLECT
3113.49/3122.35 c #Conflicts: 1617000 | #Constraints: 67163
3113.49/3122.35 c #Conflicts: 1618000 | #Constraints: 68163
3113.49/3122.35 c #Conflicts: 1619000 | #Constraints: 69163
3113.49/3122.35 c #Conflicts: 1620000 | #Constraints: 70163
3113.49/3122.35 c #Conflicts: 1621000 | #Constraints: 71163
3113.49/3122.35 c #Conflicts: 1622000 | #Constraints: 72163
3113.49/3122.35 c #Conflicts: 1623000 | #Constraints: 73163
3113.49/3122.35 c #Conflicts: 1624000 | #Constraints: 74163
3113.49/3122.35 c #Conflicts: 1625000 | #Constraints: 75163
3113.49/3122.35 c #Conflicts: 1626000 | #Constraints: 76163
3113.49/3122.35 c #Conflicts: 1627000 | #Constraints: 77163
3113.49/3122.35 c #Conflicts: 1628000 | #Constraints: 78163
3113.49/3122.35 c #Conflicts: 1629000 | #Constraints: 79163
3113.49/3122.35 c #Conflicts: 1630000 | #Constraints: 80163
3113.49/3122.35 c #Conflicts: 1631000 | #Constraints: 81163
3113.49/3122.35 c #Conflicts: 1632000 | #Constraints: 82163
3113.49/3122.35 c #Conflicts: 1633000 | #Constraints: 83163
3113.49/3122.35 c #Conflicts: 1634000 | #Constraints: 84163
3113.49/3122.35 c #Conflicts: 1635000 | #Constraints: 85163
3113.49/3122.35 c #Conflicts: 1636000 | #Constraints: 86163
3113.49/3122.35 c #Conflicts: 1637000 | #Constraints: 87163
3113.49/3122.35 c #Conflicts: 1638000 | #Constraints: 88163
3113.49/3122.35 c #Conflicts: 1639000 | #Constraints: 89163
3113.49/3122.35 c #Conflicts: 1640000 | #Constraints: 90163
3113.49/3122.35 c #Conflicts: 1641000 | #Constraints: 91163
3113.49/3122.35 c #Conflicts: 1642000 | #Constraints: 92163
3113.49/3122.35 c INPROCESSING
3113.49/3122.35 c GARBAGE COLLECT
3113.49/3122.35 c #Conflicts: 1643000 | #Constraints: 67772
3113.49/3122.35 c #Conflicts: 1644000 | #Constraints: 68772
3113.49/3122.35 c #Conflicts: 1645000 | #Constraints: 69772
3113.49/3122.35 c #Conflicts: 1646000 | #Constraints: 70772
3113.49/3122.35 c #Conflicts: 1647000 | #Constraints: 71772
3113.49/3122.35 c #Conflicts: 1648000 | #Constraints: 72772
3113.49/3122.35 c #Conflicts: 1649000 | #Constraints: 73772
3113.49/3122.35 c #Conflicts: 1650000 | #Constraints: 74772
3316.21/3325.57 c #Conflicts: 1651000 | #Constraints: 75772
3316.21/3325.57 c #Conflicts: 1652000 | #Constraints: 76772
3316.21/3325.57 c #Conflicts: 1653000 | #Constraints: 77772
3316.21/3325.57 c #Conflicts: 1654000 | #Constraints: 78772
3316.21/3325.57 c #Conflicts: 1655000 | #Constraints: 79772
3316.21/3325.57 c #Conflicts: 1656000 | #Constraints: 80772
3316.21/3325.57 c #Conflicts: 1657000 | #Constraints: 81772
3316.21/3325.57 c #Conflicts: 1658000 | #Constraints: 82772
3316.21/3325.57 c #Conflicts: 1659000 | #Constraints: 83772
3316.21/3325.57 c #Conflicts: 1660000 | #Constraints: 84772
3316.21/3325.57 c #Conflicts: 1661000 | #Constraints: 85772
3316.21/3325.57 c #Conflicts: 1662000 | #Constraints: 86772
3316.21/3325.57 c #Conflicts: 1663000 | #Constraints: 87772
3316.21/3325.57 c #Conflicts: 1664000 | #Constraints: 88772
3316.21/3325.57 c #Conflicts: 1665000 | #Constraints: 89772
3316.21/3325.57 c #Conflicts: 1666000 | #Constraints: 90772
3316.21/3325.57 c #Conflicts: 1667000 | #Constraints: 91772
3316.21/3325.57 c #Conflicts: 1668000 | #Constraints: 92772
3316.21/3325.57 c INPROCESSING
3316.21/3325.57 c GARBAGE COLLECT
3316.21/3325.57 c #Conflicts: 1669000 | #Constraints: 68159
3316.21/3325.57 c #Conflicts: 1670000 | #Constraints: 69159
3316.21/3325.57 c #Conflicts: 1671000 | #Constraints: 70159
3316.21/3325.57 c #Conflicts: 1672000 | #Constraints: 71159
3316.21/3325.57 c #Conflicts: 1673000 | #Constraints: 72159
3316.21/3325.57 c #Conflicts: 1674000 | #Constraints: 73159
3316.21/3325.57 c #Conflicts: 1675000 | #Constraints: 74159
3316.21/3325.57 c #Conflicts: 1676000 | #Constraints: 75159
3316.21/3325.57 c #Conflicts: 1677000 | #Constraints: 76159
3316.21/3325.57 c #Conflicts: 1678000 | #Constraints: 77159
3316.21/3325.57 c #Conflicts: 1679000 | #Constraints: 78159
3316.21/3325.57 c #Conflicts: 1680000 | #Constraints: 79159
3316.21/3325.57 c #Conflicts: 1681000 | #Constraints: 80159
3316.21/3325.57 c #Conflicts: 1682000 | #Constraints: 81159
3316.21/3325.57 c #Conflicts: 1683000 | #Constraints: 82159
3316.21/3325.57 c #Conflicts: 1684000 | #Constraints: 83159
3316.21/3325.57 c #Conflicts: 1685000 | #Constraints: 84159
3316.21/3325.57 c #Conflicts: 1686000 | #Constraints: 85159
3316.21/3325.57 c #Conflicts: 1687000 | #Constraints: 86159
3316.21/3325.57 c #Conflicts: 1688000 | #Constraints: 87159
3316.21/3325.57 c #Conflicts: 1689000 | #Constraints: 88159
3316.21/3325.57 c #Conflicts: 1690000 | #Constraints: 89159
3316.21/3325.57 c #Conflicts: 1691000 | #Constraints: 90159
3316.21/3325.57 c #Conflicts: 1692000 | #Constraints: 91159
3316.21/3325.57 c #Conflicts: 1693000 | #Constraints: 92159
3316.21/3325.57 c #Conflicts: 1694000 | #Constraints: 93159
3316.21/3325.57 c INPROCESSING
3316.21/3325.57 c GARBAGE COLLECT
3316.21/3325.57 c #Conflicts: 1695000 | #Constraints: 68357
3316.21/3325.57 c #Conflicts: 1696000 | #Constraints: 69357
3316.21/3325.57 c #Conflicts: 1697000 | #Constraints: 70357
3316.21/3325.57 c #Conflicts: 1698000 | #Constraints: 71357
3316.21/3325.57 c #Conflicts: 1699000 | #Constraints: 72357
3316.21/3325.57 c #Conflicts: 1700000 | #Constraints: 73357
3316.21/3325.57 c #Conflicts: 1701000 | #Constraints: 74357
3316.21/3325.57 c #Conflicts: 1702000 | #Constraints: 75357
3316.21/3325.57 c #Conflicts: 1703000 | #Constraints: 76357
3316.21/3325.57 c #Conflicts: 1704000 | #Constraints: 77357
3316.21/3325.57 c #Conflicts: 1705000 | #Constraints: 78357
3316.21/3325.57 c #Conflicts: 1706000 | #Constraints: 79357
3316.21/3325.57 c #Conflicts: 1707000 | #Constraints: 80357
3316.21/3325.57 c #Conflicts: 1708000 | #Constraints: 81357
3316.21/3325.57 c #Conflicts: 1709000 | #Constraints: 82357
3316.21/3325.57 c #Conflicts: 1710000 | #Constraints: 83357
3316.21/3325.57 c #Conflicts: 1711000 | #Constraints: 84357
3316.21/3325.57 c #Conflicts: 1712000 | #Constraints: 85357
3316.21/3325.57 c #Conflicts: 1713000 | #Constraints: 86357
3316.21/3325.57 c #Conflicts: 1714000 | #Constraints: 87357
3316.21/3325.57 c #Conflicts: 1715000 | #Constraints: 88357
3316.21/3325.57 c #Conflicts: 1716000 | #Constraints: 89357
3316.21/3325.57 c #Conflicts: 1717000 | #Constraints: 90357
3316.21/3325.57 c #Conflicts: 1718000 | #Constraints: 91357
3316.21/3325.57 c #Conflicts: 1719000 | #Constraints: 92357
3316.21/3325.57 c #Conflicts: 1720000 | #Constraints: 93357
3316.21/3325.57 c INPROCESSING
3316.21/3325.57 c GARBAGE COLLECT
3316.21/3325.57 c #Conflicts: 1721000 | #Constraints: 68369
3316.21/3325.57 c #Conflicts: 1722000 | #Constraints: 69369
3316.21/3325.57 c #Conflicts: 1723000 | #Constraints: 70369
3316.21/3325.57 c #Conflicts: 1724000 | #Constraints: 71369
3316.21/3325.57 c #Conflicts: 1725000 | #Constraints: 72369
3316.21/3325.57 c #Conflicts: 1726000 | #Constraints: 73369
3530.93/3540.86 c #Conflicts: 1727000 | #Constraints: 74369
3530.93/3540.86 c #Conflicts: 1728000 | #Constraints: 75369
3530.93/3540.86 c #Conflicts: 1729000 | #Constraints: 76369
3530.93/3540.86 c #Conflicts: 1730000 | #Constraints: 77369
3530.93/3540.86 c #Conflicts: 1731000 | #Constraints: 78369
3530.93/3540.86 c #Conflicts: 1732000 | #Constraints: 79369
3530.93/3540.86 c #Conflicts: 1733000 | #Constraints: 80369
3530.93/3540.86 c #Conflicts: 1734000 | #Constraints: 81369
3530.93/3540.86 c #Conflicts: 1735000 | #Constraints: 82369
3530.93/3540.86 c #Conflicts: 1736000 | #Constraints: 83369
3530.93/3540.86 c #Conflicts: 1737000 | #Constraints: 84369
3530.93/3540.86 c #Conflicts: 1738000 | #Constraints: 85369
3530.93/3540.86 c #Conflicts: 1739000 | #Constraints: 86369
3530.93/3540.86 c #Conflicts: 1740000 | #Constraints: 87369
3530.93/3540.86 c #Conflicts: 1741000 | #Constraints: 88369
3530.93/3540.86 c #Conflicts: 1742000 | #Constraints: 89369
3530.93/3540.86 c #Conflicts: 1743000 | #Constraints: 90369
3530.93/3540.86 c #Conflicts: 1744000 | #Constraints: 91369
3530.93/3540.86 c #Conflicts: 1745000 | #Constraints: 92369
3530.93/3540.86 c #Conflicts: 1746000 | #Constraints: 93369
3530.93/3540.86 c INPROCESSING
3530.93/3540.86 c GARBAGE COLLECT
3530.93/3540.86 c #Conflicts: 1747000 | #Constraints: 68162
3530.93/3540.86 c #Conflicts: 1748000 | #Constraints: 69162
3530.93/3540.86 c #Conflicts: 1749000 | #Constraints: 70162
3530.93/3540.86 c #Conflicts: 1750000 | #Constraints: 71162
3530.93/3540.86 c #Conflicts: 1751000 | #Constraints: 72162
3530.93/3540.86 c #Conflicts: 1752000 | #Constraints: 73162
3530.93/3540.86 c #Conflicts: 1753000 | #Constraints: 74162
3530.93/3540.86 c #Conflicts: 1754000 | #Constraints: 75162
3530.93/3540.86 c #Conflicts: 1755000 | #Constraints: 76162
3530.93/3540.86 c #Conflicts: 1756000 | #Constraints: 77162
3530.93/3540.86 c #Conflicts: 1757000 | #Constraints: 78162
3530.93/3540.86 c #Conflicts: 1758000 | #Constraints: 79162
3530.93/3540.86 c #Conflicts: 1759000 | #Constraints: 80162
3530.93/3540.86 c #Conflicts: 1760000 | #Constraints: 81162
3530.93/3540.86 c #Conflicts: 1761000 | #Constraints: 82162
3530.93/3540.86 c #Conflicts: 1762000 | #Constraints: 83162
3530.93/3540.86 c #Conflicts: 1763000 | #Constraints: 84162
3530.93/3540.86 c #Conflicts: 1764000 | #Constraints: 85162
3530.93/3540.86 c #Conflicts: 1765000 | #Constraints: 86162
3530.93/3540.86 c #Conflicts: 1766000 | #Constraints: 87162
3530.93/3540.86 c #Conflicts: 1767000 | #Constraints: 88162
3530.93/3540.86 c #Conflicts: 1768000 | #Constraints: 89162
3530.93/3540.86 c #Conflicts: 1769000 | #Constraints: 90162
3530.93/3540.86 c #Conflicts: 1770000 | #Constraints: 91162
3530.93/3540.86 c #Conflicts: 1771000 | #Constraints: 92162
3530.93/3540.86 c #Conflicts: 1772000 | #Constraints: 93162
3530.93/3540.86 c #Conflicts: 1773000 | #Constraints: 94162
3530.93/3540.86 c INPROCESSING
3530.93/3540.86 c GARBAGE COLLECT
3530.93/3540.86 c #Conflicts: 1774000 | #Constraints: 68784
3530.93/3540.86 c #Conflicts: 1775000 | #Constraints: 69784
3530.93/3540.86 c #Conflicts: 1776000 | #Constraints: 70784
3530.93/3540.86 c #Conflicts: 1777000 | #Constraints: 71784
3530.93/3540.86 c #Conflicts: 1778000 | #Constraints: 72784
3530.93/3540.86 c #Conflicts: 1779000 | #Constraints: 73784
3530.93/3540.86 c #Conflicts: 1780000 | #Constraints: 74784
3530.93/3540.86 c #Conflicts: 1781000 | #Constraints: 75784
3530.93/3540.86 c #Conflicts: 1782000 | #Constraints: 76784
3530.93/3540.86 c #Conflicts: 1783000 | #Constraints: 77784
3530.93/3540.86 c #Conflicts: 1784000 | #Constraints: 78784
3530.93/3540.86 c #Conflicts: 1785000 | #Constraints: 79784
3530.93/3540.86 c #Conflicts: 1786000 | #Constraints: 80784
3530.93/3540.86 c #Conflicts: 1787000 | #Constraints: 81784
3530.93/3540.86 c #Conflicts: 1788000 | #Constraints: 82784
3530.93/3540.86 c #Conflicts: 1789000 | #Constraints: 83784
3530.93/3540.86 c #Conflicts: 1790000 | #Constraints: 84784
3530.93/3540.86 c #Conflicts: 1791000 | #Constraints: 85784
3530.93/3540.86 c #Conflicts: 1792000 | #Constraints: 86784
3530.93/3540.86 c #Conflicts: 1793000 | #Constraints: 87784
3530.93/3540.86 c #Conflicts: 1794000 | #Constraints: 88784
3530.93/3540.86 c #Conflicts: 1795000 | #Constraints: 89784
3530.93/3540.86 c #Conflicts: 1796000 | #Constraints: 90784
3530.93/3540.86 c #Conflicts: 1797000 | #Constraints: 91784
3530.93/3540.86 c #Conflicts: 1798000 | #Constraints: 92784
3530.93/3540.86 c #Conflicts: 1799000 | #Constraints: 93784
3530.93/3540.86 c #Conflicts: 1800000 | #Constraints: 94784
3530.93/3540.86 c INPROCESSING
3530.93/3540.86 c GARBAGE COLLECT
3530.93/3540.86 c #Conflicts: 1801000 | #Constraints: 69172
3530.93/3540.86 c #Conflicts: 1802000 | #Constraints: 70172
3530.93/3540.86 c #Conflicts: 1803000 | #Constraints: 71172
3600.02/3610.11 c #Conflicts: 1804000 | #Constraints: 72172
3600.02/3610.11 c #Conflicts: 1805000 | #Constraints: 73172
3600.02/3610.11 c #Conflicts: 1806000 | #Constraints: 74172
3600.02/3610.11 c #Conflicts: 1807000 | #Constraints: 75172
3600.02/3610.11 c #Conflicts: 1808000 | #Constraints: 76172
3600.02/3610.11 c #Conflicts: 1809000 | #Constraints: 77172
3600.02/3610.11 c #Conflicts: 1810000 | #Constraints: 78172
3600.02/3610.11 c #Conflicts: 1811000 | #Constraints: 79172
3600.02/3610.11 c #Conflicts: 1812000 | #Constraints: 80172
3600.02/3610.11 c #Conflicts: 1813000 | #Constraints: 81172
3600.02/3610.11 c #Conflicts: 1814000 | #Constraints: 82172
3600.02/3610.11 c #Conflicts: 1815000 | #Constraints: 83172
3600.02/3610.11 c #Conflicts: 1816000 | #Constraints: 84172
3600.02/3610.11 c #Conflicts: 1817000 | #Constraints: 85172
3600.02/3610.11 c #Conflicts: 1818000 | #Constraints: 86172
3600.02/3610.11 c #Conflicts: 1819000 | #Constraints: 87172
3600.02/3610.11 c #Conflicts: 1820000 | #Constraints: 88172
3600.02/3610.11 c #Conflicts: 1821000 | #Constraints: 89172
3600.02/3610.11 c #Conflicts: 1822000 | #Constraints: 90172
3600.02/3610.11 c #Conflicts: 1823000 | #Constraints: 91172
3600.02/3610.11 c #Conflicts: 1824000 | #Constraints: 92172
3600.02/3610.11 c #Conflicts: 1825000 | #Constraints: 93172
3600.02/3610.11 c #Conflicts: 1826000 | #Constraints: 94172
3600.02/3610.11 c Program interrupted by user.
3600.02/3610.11 c cpu time 3592.27 s
3600.02/3610.11 c deterministic time 694657204828 6.95e+11
3600.02/3610.11 c optimization time 73.9708 s
3600.02/3610.11 c total solve time 3219.07 s
3600.02/3610.11 c core-guided solve time 3219.07 s
3600.02/3610.11 c propagation time 3145.19 s
3600.02/3610.11 c conflict analysis time 111.979 s
3600.02/3610.11 c propagations 37668228
3600.02/3610.11 c resolve steps 12323494
3600.02/3610.11 c decisions 2187273
3600.02/3610.11 c conflicts 1826305
3600.02/3610.11 c restarts 3577
3600.02/3610.11 c inprocessing phases 125
3600.02/3610.11 c input clauses 41418
3600.02/3610.11 c input cardinalities 16
3600.02/3610.11 c input general constraints 0
3600.02/3610.11 c input average constraint length 2.31
3600.02/3610.11 c input average constraint degree 1.22
3600.02/3610.11 c learned clauses 1111823
3600.02/3610.11 c learned cardinalities 508107
3600.02/3610.11 c learned general constraints 206375
3600.02/3610.11 c learned average constraint length 716.89
3600.02/3610.11 c learned average constraint degree 13.97
3600.02/3610.11 c watched constraints 206375
3600.02/3610.11 c counting constraints 0
3600.02/3610.11 c gcd simplifications 88341
3600.02/3610.11 c detected cardinalities 18042
3600.02/3610.11 c weakened non-implied lits 24902544
3600.02/3610.11 c weakened non-implying lits 56909
3600.02/3610.11 c original variables 760
3600.02/3610.11 c clausal propagations 25964286
3600.02/3610.11 c cardinality propagations 6575505
3600.02/3610.11 c watched propagations 778512
3600.02/3610.11 c counting propagations 0
3600.02/3610.11 c watch lookups 25506682387
3600.02/3610.11 c watch backjump lookups 3425078
3600.02/3610.11 c watch checks 665631385887
3600.02/3610.11 c propagation checks 813459582
3600.02/3610.11 c constraint additions 2620715450
3600.02/3610.11 c trail pops 41680942
3600.02/3610.11 c formula constraints 41263
3600.02/3610.11 c learned constraints 1826305
3600.02/3610.11 c bound constraints 16
3600.02/3610.11 c core-guided constraints 155
3600.02/3610.11 c encountered formula constraints 9832667
3600.02/3610.11 c encountered learned constraints 4259015
3600.02/3610.11 c encountered bound constraints 1755
3600.02/3610.11 c encountered core-guided constraints 56362
3600.02/3610.11 c LP total time 0 s
3600.02/3610.11 c LP solve time 0 s
3600.02/3610.11 c LP constraints added 0
3600.02/3610.11 c LP constraints removed 0
3600.02/3610.11 c LP pivots internal 0
3600.02/3610.11 c LP pivots root 0
3600.02/3610.11 c LP calls 0
3600.02/3610.11 c LP optimalities 0
3600.02/3610.11 c LP no pivot count 0
3600.02/3610.11 c LP infeasibilities 0
3600.02/3610.11 c LP valid Farkas constraints 0
3600.02/3610.11 c LP learned Farkas constraints 0
3600.02/3610.11 c LP basis resets 0
3600.02/3610.11 c LP cycling count 0
3600.02/3610.11 c LP singular count 0
3600.02/3610.11 c LP no primal count 0
3600.02/3610.11 c LP no farkas count 0
3600.02/3610.11 c LP other issue count 0
3600.02/3610.11 c LP Gomory cuts 0
3600.02/3610.11 c LP learned cuts 0
3600.02/3610.11 c LP deleted cuts 0
3600.02/3610.11 c LP encountered Gomory constraints 0
3600.02/3610.11 c LP encountered Farkas constraints 0
3600.02/3610.11 c LP encountered learned Farkas constraints 0
3600.02/3610.11 c CG auxiliary variables introduced 155
3600.02/3610.11 c CG solutions found 0
3600.02/3610.11 c CG cores constructed 15
3600.02/3610.11 c CG core cardinality constraints returned 0
3600.02/3610.11 c CG unit cores 0
3600.02/3610.11 c CG single cores 15
3600.02/3610.11 c CG blocks removed during cardinality reduction 0
3600.02/3610.11 c CG first core best 0
3600.02/3610.11 c CG decision core best 0
3600.02/3610.11 c CG core reduction tie 0
3600.02/3610.11 c CG core degree average 1.00
3600.02/3610.11 c CG core slack average 8.53
3600.02/3610.11 c CG exhausted 0
3600.02/3610.11 c CG exhaust time 0 s
3600.02/3610.11 c CG trimmed 2
3600.02/3610.11 c CG trim time 0.000164 s
3600.02/3610.11 c CG minimized 0
3600.02/3610.11 c CG minimize time 0 s
3600.02/3610.11 c CG am1 prop time 0.003325 s
3600.02/3610.11 c CG # am1s reformulated 155
3600.02/3610.11 c CG lower bound derived from am1s 604
3600.02/3610.11 c CG # clausal cores 15
3600.02/3610.11 c CG # cardinality cores 0
3600.02/3610.11 c CG # pb cores 0
3600.02/3610.11 c CG # pb reforms 0
3600.02/3610.11 c CG # cores discarded because of pb reform 0
3600.02/3610.11 d LOWERBOUND -141
3600.02/3610.11 d NCORES 15
3600.02/3610.11 d NPBCORES 0
3600.02/3610.11 d NPBREFORM 0
3600.02/3610.11 d NTRIMMED 2
3600.02/3610.11 d NEXHAUSTED 0
3600.02/3610.11 d NAM1S 155
3600.02/3610.11 d AM1LB 604
3600.02/3610.11 c [Papilo Statistics]
3600.02/3610.11 c prepro time 0.0708539s
3600.02/3610.11 c # tsx applied 0
3600.02/3610.11 c # tsx conflicts 0
3600.02/3610.11 c # bound changes 0
3600.02/3610.11 c # side changes 0
3600.02/3610.11 c # coef changes 0
3600.02/3610.11 c # rounds 1
3600.02/3610.11 c # deted vars 0
3600.02/3610.11 c # deted constrs 0
3600.02/3610.11 c # consecutive rounds of only bound changes 0
3600.02/3610.11 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (60909 MiB free)
memory of node 1: 64473 MiB (63307 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435520-1721062894/watcher-4435520-1721062894 -o /tmp/evaluation-result-4435520-1721062894/solver-4435520-1721062894 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721058927-809297 --watchdog 3760 mixed-bag HOME/instance-4435520-1721062894.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=811718, runsolver pid=811715
[startup+0.101065 s]*
/proc/loadavg: 4.18 4.16 4.11 5/256 811719
/proc/meminfo: memFree=127175804/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=103888 memory=29032 CPUtime=0.09 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 6489 0 0 0 8 1 0 0 20 0 1 0 158454350 106381312 7258 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 25972 7258 1823 3002 0 9723 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 103888 KiB
Current children cumulated memory: 29032 KiB
[startup+0.205569 s]*
/proc/loadavg: 4.18 4.16 4.11 6/256 811719
/proc/meminfo: memFree=127134412/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=147024 memory=79136 CPUtime=0.2 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 17761 0 0 0 17 3 0 0 20 0 1 0 158454350 150552576 19784 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 36756 19784 3837 3002 0 20507 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 147024 KiB
Current children cumulated memory: 79136 KiB
[startup+0.305616 s]*
/proc/loadavg: 4.18 4.16 4.11 5/256 811719
/proc/meminfo: memFree=127104792/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=176096 memory=107644 CPUtime=0.29 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 24844 0 0 0 26 3 0 0 20 0 1 0 158454350 180322304 26911 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 44024 26911 3837 3002 0 27775 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 176096 KiB
Current children cumulated memory: 107644 KiB
[startup+0.700235 s]
/proc/loadavg: 4.18 4.16 4.11 5/256 811719
/proc/meminfo: memFree=127103084/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=245308 memory=168132 CPUtime=0.69 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 35821 0 0 0 63 6 0 0 20 0 1 0 158454350 251195392 42033 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 61327 42033 3869 3002 0 45078 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 245308 KiB
Current children cumulated memory: 168132 KiB
[startup+1.50022 s]
/proc/loadavg: 4.18 4.16 4.11 5/256 811719
/proc/meminfo: memFree=126976752/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=326104 memory=246316 CPUtime=1.48 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 50721 0 0 0 139 9 0 0 20 0 1 0 158454350 333930496 61579 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 81526 61579 4077 3002 0 65277 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 326104 KiB
Current children cumulated memory: 246316 KiB
[startup+3.10549 s]
/proc/loadavg: 4.18 4.16 4.11 5/256 811719
/proc/meminfo: memFree=126951428/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=342960 memory=257332 CPUtime=3.08 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 52947 0 0 0 299 9 0 0 20 0 1 0 158454350 351191040 64333 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 85740 64333 4077 3002 0 69491 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 342960 KiB
Current children cumulated memory: 257332 KiB
[startup+6.30021 s]
/proc/loadavg: 4.17 4.16 4.11 5/257 811720
/proc/meminfo: memFree=126947112/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=362696 memory=259628 CPUtime=6.27 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 53061 0 0 0 617 10 0 0 20 0 1 0 158454350 371400704 64907 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 90674 64907 4077 3002 0 74425 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 362696 KiB
Current children cumulated memory: 259628 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.15 4.11 5/257 811722
/proc/meminfo: memFree=126883460/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=471420 memory=322956 CPUtime=12.66 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 68317 0 0 0 1254 12 0 0 20 0 1 0 158454350 482734080 80739 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 117855 80739 4100 3002 0 101606 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 471420 KiB
Current children cumulated memory: 322956 KiB
[startup+25.5002 s]
/proc/loadavg: 4.19 4.16 4.11 5/257 811723
/proc/meminfo: memFree=126868064/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=471420 memory=322956 CPUtime=25.42 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 68349 0 0 0 2530 12 0 0 20 0 1 0 158454350 482734080 80739 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 117855 80739 4100 3002 0 101606 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 471420 KiB
Current children cumulated memory: 322956 KiB
[startup+51.1055 s]
/proc/loadavg: 4.13 4.15 4.11 5/257 811728
/proc/meminfo: memFree=126793764/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=532448 memory=360828 CPUtime=50.95 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 77976 0 0 0 5082 13 0 0 20 0 1 0 158454350 545226752 90207 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 133112 90207 4100 3002 0 116863 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 532448 KiB
Current children cumulated memory: 360828 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/256 811737
/proc/meminfo: memFree=126708456/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=589472 memory=416544 CPUtime=102 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 91079 0 0 0 10184 16 0 0 20 0 1 0 158454350 603619328 104136 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 147368 104136 4100 3002 0 131119 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 589472 KiB
Current children cumulated memory: 416544 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/256 811748
/proc/meminfo: memFree=126721736/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=685936 memory=480960 CPUtime=161.83 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 101148 0 0 0 16165 18 0 0 20 0 1 0 158454350 702398464 120240 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 171484 120240 4100 3002 0 155235 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 685936 KiB
Current children cumulated memory: 480960 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/255 811758
/proc/meminfo: memFree=126631608/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=784712 memory=521312 CPUtime=221.67 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 110193 0 0 0 22147 20 0 0 20 0 1 0 158454350 803545088 130328 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 196178 130328 4244 3002 0 179929 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 784712 KiB
Current children cumulated memory: 521312 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/255 811768
/proc/meminfo: memFree=126561744/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=816284 memory=558124 CPUtime=281.51 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 120433 0 0 0 28129 22 0 0 20 0 1 0 158454350 835874816 139531 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 204071 139531 4244 3002 0 187822 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 816284 KiB
Current children cumulated memory: 558124 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/254 811779
/proc/meminfo: memFree=126659248/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=692364 memory=437956 CPUtime=341.34 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 123656 0 0 0 34074 60 0 0 20 0 1 0 158454350 708980736 109489 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 173091 109489 4371 3002 0 156842 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 692364 KiB
Current children cumulated memory: 437956 KiB
[startup+402.3 s]
/proc/loadavg: 4.30 4.18 4.12 5/254 811789
/proc/meminfo: memFree=126616604/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=692364 memory=450244 CPUtime=401.19 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 123675 0 0 0 40023 96 0 0 20 0 1 0 158454350 708980736 112561 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 173091 112561 4371 3002 0 156842 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 692364 KiB
Current children cumulated memory: 450244 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.18 4.12 5/254 811799
/proc/meminfo: memFree=126581936/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=723184 memory=458588 CPUtime=461.02 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 124265 0 0 0 45979 123 0 0 20 0 1 0 158454350 740540416 114647 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 180796 114647 4371 3002 0 164547 0
################
# More data... #
################
Current children cumulated memory: 660468 KiB
[startup+2922.3 s]
/proc/loadavg: 4.36 4.30 4.17 5/256 812902
/proc/meminfo: memFree=126512440/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=854660 memory=660468 CPUtime=2913.99 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 128705 0 0 0 290723 676 0 0 20 0 1 0 158454350 875171840 165117 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 213665 165117 4371 3002 0 197416 0
Current children cumulated CPU time: 2913.99 s
Current children cumulated vsize: 854660 KiB
Current children cumulated memory: 660468 KiB
[startup+2982.3 s]
/proc/loadavg: 4.17 4.26 4.17 5/256 812913
/proc/meminfo: memFree=126503116/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=854660 memory=664564 CPUtime=2973.84 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 128852 0 0 0 296698 686 0 0 20 0 1 0 158454350 875171840 166141 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 213665 166141 4371 3002 0 197416 0
Current children cumulated CPU time: 2973.84 s
Current children cumulated vsize: 854660 KiB
Current children cumulated memory: 664564 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.24 4.17 5/256 812923
/proc/meminfo: memFree=126491864/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=854660 memory=664564 CPUtime=3033.69 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 128995 0 0 0 302674 695 0 0 20 0 1 0 158454350 875171840 166141 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 213665 166141 4371 3002 0 197416 0
Current children cumulated CPU time: 3033.69 s
Current children cumulated vsize: 854660 KiB
Current children cumulated memory: 664564 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.21 4.16 5/256 812934
/proc/meminfo: memFree=126483436/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=854660 memory=666612 CPUtime=3093.54 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 129141 0 0 0 308649 705 0 0 20 0 1 0 158454350 875171840 166653 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 213665 166653 4371 3002 0 197416 0
Current children cumulated CPU time: 3093.54 s
Current children cumulated vsize: 854660 KiB
Current children cumulated memory: 666612 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.20 4.16 5/256 812945
/proc/meminfo: memFree=126462460/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=854660 memory=668660 CPUtime=3153.41 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 129292 0 0 0 314627 714 0 0 20 0 1 0 158454350 875171840 167165 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 213665 167165 4371 3002 0 197416 0
Current children cumulated CPU time: 3153.41 s
Current children cumulated vsize: 854660 KiB
Current children cumulated memory: 668660 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.18 4.15 5/257 813339
/proc/meminfo: memFree=126447440/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=854660 memory=668660 CPUtime=3213.25 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 129435 0 0 0 320603 722 0 0 20 0 1 0 158454350 875171840 167165 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 213665 167165 4371 3002 0 197416 0
Current children cumulated CPU time: 3213.25 s
Current children cumulated vsize: 854660 KiB
Current children cumulated memory: 668660 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.17 4.15 5/255 813394
/proc/meminfo: memFree=126441628/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=854660 memory=668660 CPUtime=3273.11 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 129578 0 0 0 326581 730 0 0 20 0 1 0 158454350 875171840 167165 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 213665 167165 4371 3002 0 197416 0
Current children cumulated CPU time: 3273.11 s
Current children cumulated vsize: 854660 KiB
Current children cumulated memory: 668660 KiB
[startup+3342.3 s]
/proc/loadavg: 4.40 4.23 4.18 5/255 813405
/proc/meminfo: memFree=126313744/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=854660 memory=668660 CPUtime=3332.98 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 129722 0 0 0 332559 739 0 0 20 0 1 0 158454350 875171840 167165 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 213665 167165 4371 3002 0 197416 0
Current children cumulated CPU time: 3332.98 s
Current children cumulated vsize: 854660 KiB
Current children cumulated memory: 668660 KiB
[startup+3402.3 s]
/proc/loadavg: 4.42 4.25 4.19 5/257 813585
/proc/meminfo: memFree=126161940/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=854660 memory=668660 CPUtime=3392.83 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 129863 0 0 0 338536 747 0 0 20 0 1 0 158454350 875171840 167165 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 213665 167165 4371 3002 0 197416 0
Current children cumulated CPU time: 3392.83 s
Current children cumulated vsize: 854660 KiB
Current children cumulated memory: 668660 KiB
[startup+3462.3 s]
/proc/loadavg: 4.38 4.28 4.20 5/257 813641
/proc/meminfo: memFree=126391672/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=854660 memory=668660 CPUtime=3452.68 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 130040 0 0 0 344512 756 0 0 20 0 1 0 158454350 875171840 167165 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 213665 167165 4371 3002 0 197416 0
Current children cumulated CPU time: 3452.68 s
Current children cumulated vsize: 854660 KiB
Current children cumulated memory: 668660 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.24 4.19 5/260 813658
/proc/meminfo: memFree=126141116/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=854660 memory=668660 CPUtime=3512.49 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 130182 0 0 0 350485 764 0 0 20 0 1 0 158454350 875171840 167165 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 213665 167165 4371 3002 0 197416 0
Current children cumulated CPU time: 3512.49 s
Current children cumulated vsize: 854660 KiB
Current children cumulated memory: 668660 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.20 4.17 5/259 813680
/proc/meminfo: memFree=126041308/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=854660 memory=670708 CPUtime=3572.3 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 130331 0 0 0 356457 773 0 0 20 0 1 0 158454350 875171840 167677 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 213665 167677 4371 3002 0 197416 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 854660 KiB
Current children cumulated memory: 670708 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.10 4.19 4.17 5/259 813684
/proc/meminfo: memFree=126030192/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=854660 memory=670708 CPUtime=3600.02 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 130378 0 0 0 359226 776 0 0 20 0 1 0 158454350 875171840 167677 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 213665 167677 4371 3002 0 197416 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 854660 KiB
Current children cumulated memory: 670708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 811718 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.27 s, system=7.76646 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.10 4.19 4.17 5/259 813684
/proc/meminfo: memFree=126030192/131524600 swapFree=131071996/131071996
[pid=811718] ppid=811715 vsize=854660 memory=670708 CPUtime=3600.02 cores=5,7
/proc/811718/stat : 811718 (mixed-bag) R 811715 811718 809284 0 -1 4194304 130378 0 0 0 359226 776 0 0 20 0 1 0 158454350 875171840 167677 134679101440 4194304 16487941 140726255857248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 44736512 140726255862807 140726255862884 140726255862884 140726255869899 0
/proc/811718/statm: 213665 167677 4371 3002 0 197416 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 854660 KiB
Current children cumulated memory: 670708 KiB
Child status: 0
Real time (s): 3610.11
CPU time (s): 3600.04
CPU user time (s): 3592.27
CPU system time (s): 7.76646
CPU usage (%): 99.7209
Max. virtual memory (cumulated for all children) (KiB): 854660
Max. memory (cumulated for all children) (KiB): 670708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.27
system time used= 7.76646
maximum resident set size= 671184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130399
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= 109
involuntary context switches= 1290
# summary of solver processes directly reported to runsolver:
# pid: 811718
# total CPU time (s): 3600.04
# total CPU user time (s): 3592.27
# total CPU system time (s): 7.76646
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89804 second user time and 16.7266 second system time
The end
Begin job on nodeC023 at 2024-07-15 19:01:46
IDJOB=4435520
IDBENCH=146695
IDSOLVER=3066
FILE ID=nodeC023/4435520-1721062894
RUNJOBID= nodeC023-1721058927-809297
SLURM_JOB_ID= 7505494
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/frb40-19-opb/normalized-frb40-19-2.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435520-1721062894/watcher-4435520-1721062894 -o /tmp/evaluation-result-4435520-1721062894/solver-4435520-1721062894 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721058927-809297 --watchdog 3760 mixed-bag HOME/instance-4435520-1721062894.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dbca78014701662c42e2f44b8d3d4cf2
RANDOM SEED=476415945
nodeC023.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 : 3671.661
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.61
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 : 3676.707
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.904
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.61
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 : 3641.828
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.48
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 : 3671.633
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.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.421
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.937
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.61
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 : 3661.042
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127198176 kB
MemAvailable: 128554160 kB
Buffers: 375020 kB
Cached: 1808692 kB
SwapCached: 0 kB
Active: 705824 kB
Inactive: 3007908 kB
Active(anon): 1596 kB
Inactive(anon): 1565524 kB
Active(file): 704228 kB
Inactive(file): 1442384 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 17288 kB
Writeback: 0 kB
AnonPages: 1529256 kB
Mapped: 138392 kB
Shmem: 37720 kB
KReclaimable: 98388 kB
Slab: 204312 kB
SReclaimable: 98388 kB
SUnreclaim: 105924 kB
KernelStack: 4124 kB
PageTables: 13132 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2641848 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 60576 kB
HardwareCorrupted: 0 kB
AnonHugePages: 534528 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: 203476 kB
DirectMap2M: 18444288 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890012 MiB
End job on nodeC023 at 2024-07-15 20:01:57