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.14 c Papilo could not simplify the problem
0.09/0.14 c [STEP] solving with SCIP
299.38/300.25 c [STEP] preprocessing done, loading into solver
299.48/300.31 c [STEP] solving
299.48/300.31 c #variables 761 #constraints 41263
299.48/300.31 c SMALL=int, LARGE=long long
299.48/300.31 d SCIPUB -35
299.48/300.31 c bounds - >= -760 @ 299.261
299.48/300.31 c stratification level: 0
323.22/324.17 c bounds - >= -155 @ 299.28
323.22/324.17 c bounds - >= -154 @ 299.28
323.22/324.17 c bounds - >= -153 @ 299.28
323.22/324.17 c bounds - >= -152 @ 299.28
323.22/324.17 c bounds - >= -151 @ 299.28
323.22/324.17 c bounds - >= -150 @ 299.28
323.22/324.17 c bounds - >= -149 @ 299.281
323.22/324.17 c bounds - >= -148 @ 299.281
323.22/324.17 c bounds - >= -147 @ 299.282
323.22/324.17 c bounds - >= -146 @ 299.282
323.22/324.17 c bounds - >= -145 @ 299.282
323.22/324.17 c bounds - >= -144 @ 299.282
323.22/324.17 c bounds - >= -143 @ 299.283
323.22/324.17 c bounds - >= -142 @ 299.284
323.22/324.17 c bounds - >= -141 @ 299.285
323.22/324.17 c #Conflicts: 1000 | #Constraints: 42433
323.22/324.17 c #Conflicts: 2000 | #Constraints: 43433
323.22/324.17 c INPROCESSING
323.22/324.17 c GARBAGE COLLECT
323.22/324.17 c #Conflicts: 3000 | #Constraints: 43433
323.22/324.17 c #Conflicts: 4000 | #Constraints: 44433
323.22/324.17 c INPROCESSING
323.22/324.17 c GARBAGE COLLECT
323.22/324.17 c #Conflicts: 5000 | #Constraints: 43836
323.22/324.17 c #Conflicts: 6000 | #Constraints: 44836
323.22/324.17 c INPROCESSING
323.22/324.17 c GARBAGE COLLECT
323.22/324.17 c #Conflicts: 7000 | #Constraints: 43843
323.22/324.17 c #Conflicts: 8000 | #Constraints: 44843
323.22/324.17 c #Conflicts: 9000 | #Constraints: 45843
323.22/324.17 c INPROCESSING
323.22/324.17 c GARBAGE COLLECT
323.22/324.17 c #Conflicts: 10000 | #Constraints: 44541
323.22/324.17 c #Conflicts: 11000 | #Constraints: 45541
323.22/324.17 c #Conflicts: 12000 | #Constraints: 46541
323.22/324.17 c INPROCESSING
323.22/324.17 c GARBAGE COLLECT
323.22/324.17 c #Conflicts: 13000 | #Constraints: 44992
323.22/324.17 c #Conflicts: 14000 | #Constraints: 45992
323.22/324.17 c #Conflicts: 15000 | #Constraints: 46992
323.22/324.17 c INPROCESSING
323.22/324.17 c GARBAGE COLLECT
323.22/324.17 c #Conflicts: 16000 | #Constraints: 45229
323.22/324.17 c #Conflicts: 17000 | #Constraints: 46229
323.22/324.17 c #Conflicts: 18000 | #Constraints: 47229
323.22/324.17 c INPROCESSING
323.22/324.17 c GARBAGE COLLECT
323.22/324.17 c #Conflicts: 19000 | #Constraints: 45243
323.22/324.17 c #Conflicts: 20000 | #Constraints: 46243
323.22/324.17 c #Conflicts: 21000 | #Constraints: 47243
323.22/324.17 c INPROCESSING
323.22/324.17 c GARBAGE COLLECT
323.22/324.17 c #Conflicts: 22000 | #Constraints: 45046
323.22/324.17 c #Conflicts: 23000 | #Constraints: 46046
323.22/324.17 c #Conflicts: 24000 | #Constraints: 47046
323.22/324.17 c #Conflicts: 25000 | #Constraints: 48046
323.22/324.17 c INPROCESSING
323.22/324.17 c GARBAGE COLLECT
323.22/324.17 c #Conflicts: 26000 | #Constraints: 45657
323.22/324.17 c #Conflicts: 27000 | #Constraints: 46657
323.22/324.17 c #Conflicts: 28000 | #Constraints: 47657
323.22/324.17 c #Conflicts: 29000 | #Constraints: 48657
323.22/324.17 c INPROCESSING
323.22/324.17 c GARBAGE COLLECT
323.22/324.17 c #Conflicts: 30000 | #Constraints: 46065
323.22/324.17 c #Conflicts: 31000 | #Constraints: 47065
323.22/324.17 c #Conflicts: 32000 | #Constraints: 48065
323.22/324.17 c #Conflicts: 33000 | #Constraints: 49065
323.22/324.17 c INPROCESSING
323.22/324.17 c GARBAGE COLLECT
323.22/324.17 c #Conflicts: 34000 | #Constraints: 46264
323.22/324.17 c #Conflicts: 35000 | #Constraints: 47264
323.22/324.17 c #Conflicts: 36000 | #Constraints: 48264
323.22/324.17 c #Conflicts: 37000 | #Constraints: 49264
323.22/324.17 c INPROCESSING
323.22/324.17 c GARBAGE COLLECT
323.22/324.17 c #Conflicts: 38000 | #Constraints: 46277
323.22/324.17 c #Conflicts: 39000 | #Constraints: 47277
323.22/324.17 c #Conflicts: 40000 | #Constraints: 48277
323.22/324.17 c #Conflicts: 41000 | #Constraints: 49277
323.22/324.17 c INPROCESSING
323.22/324.17 c GARBAGE COLLECT
323.22/324.17 c #Conflicts: 42000 | #Constraints: 46082
323.22/324.17 c #Conflicts: 43000 | #Constraints: 47082
323.22/324.17 c #Conflicts: 44000 | #Constraints: 48082
323.22/324.17 c #Conflicts: 45000 | #Constraints: 49082
323.22/324.17 c #Conflicts: 46000 | #Constraints: 50082
323.22/324.17 c INPROCESSING
323.22/324.17 c GARBAGE COLLECT
323.22/324.17 c #Conflicts: 47000 | #Constraints: 46681
323.22/324.17 c #Conflicts: 48000 | #Constraints: 47681
323.22/324.17 c #Conflicts: 49000 | #Constraints: 48681
323.22/324.17 c #Conflicts: 50000 | #Constraints: 49681
323.22/324.17 c #Conflicts: 51000 | #Constraints: 50681
323.22/324.17 c INPROCESSING
323.22/324.17 c GARBAGE COLLECT
323.22/324.17 c #Conflicts: 52000 | #Constraints: 47074
323.22/324.17 c #Conflicts: 53000 | #Constraints: 48074
323.22/324.17 c #Conflicts: 54000 | #Constraints: 49074
323.22/324.17 c #Conflicts: 55000 | #Constraints: 50074
323.22/324.17 c #Conflicts: 56000 | #Constraints: 51074
323.22/324.17 c INPROCESSING
323.22/324.17 c GARBAGE COLLECT
323.22/324.17 c #Conflicts: 57000 | #Constraints: 47269
323.22/324.17 c #Conflicts: 58000 | #Constraints: 48269
323.22/324.17 c #Conflicts: 59000 | #Constraints: 49269
323.22/324.17 c #Conflicts: 60000 | #Constraints: 50269
323.22/324.17 c #Conflicts: 61000 | #Constraints: 51269
363.71/364.72 c INPROCESSING
363.71/364.72 c GARBAGE COLLECT
363.71/364.72 c #Conflicts: 62000 | #Constraints: 47291
363.71/364.72 c #Conflicts: 63000 | #Constraints: 48291
363.71/364.72 c #Conflicts: 64000 | #Constraints: 49291
363.71/364.72 c #Conflicts: 65000 | #Constraints: 50291
363.71/364.72 c #Conflicts: 66000 | #Constraints: 51291
363.71/364.72 c INPROCESSING
363.71/364.72 c GARBAGE COLLECT
363.71/364.72 c #Conflicts: 67000 | #Constraints: 47080
363.71/364.72 c #Conflicts: 68000 | #Constraints: 48080
363.71/364.72 c #Conflicts: 69000 | #Constraints: 49080
363.71/364.72 c #Conflicts: 70000 | #Constraints: 50080
363.71/364.72 c #Conflicts: 71000 | #Constraints: 51080
363.71/364.72 c #Conflicts: 72000 | #Constraints: 52080
363.71/364.72 c INPROCESSING
363.71/364.72 c GARBAGE COLLECT
363.71/364.72 c #Conflicts: 73000 | #Constraints: 47677
363.71/364.72 c #Conflicts: 74000 | #Constraints: 48677
363.71/364.72 c #Conflicts: 75000 | #Constraints: 49677
363.71/364.72 c #Conflicts: 76000 | #Constraints: 50677
363.71/364.72 c #Conflicts: 77000 | #Constraints: 51677
363.71/364.72 c #Conflicts: 78000 | #Constraints: 52677
363.71/364.72 c INPROCESSING
363.71/364.72 c GARBAGE COLLECT
363.71/364.72 c #Conflicts: 79000 | #Constraints: 48077
363.71/364.72 c #Conflicts: 80000 | #Constraints: 49077
363.71/364.72 c #Conflicts: 81000 | #Constraints: 50077
363.71/364.72 c #Conflicts: 82000 | #Constraints: 51077
363.71/364.72 c #Conflicts: 83000 | #Constraints: 52077
363.71/364.72 c #Conflicts: 84000 | #Constraints: 53077
363.71/364.72 c INPROCESSING
363.71/364.72 c GARBAGE COLLECT
363.71/364.72 c #Conflicts: 85000 | #Constraints: 48276
363.71/364.72 c #Conflicts: 86000 | #Constraints: 49276
363.71/364.72 c #Conflicts: 87000 | #Constraints: 50276
363.71/364.72 c #Conflicts: 88000 | #Constraints: 51276
363.71/364.72 c #Conflicts: 89000 | #Constraints: 52276
363.71/364.72 c #Conflicts: 90000 | #Constraints: 53276
363.71/364.72 c INPROCESSING
363.71/364.72 c GARBAGE COLLECT
363.71/364.72 c #Conflicts: 91000 | #Constraints: 48284
363.71/364.72 c #Conflicts: 92000 | #Constraints: 49284
363.71/364.72 c #Conflicts: 93000 | #Constraints: 50284
363.71/364.72 c #Conflicts: 94000 | #Constraints: 51284
363.71/364.72 c #Conflicts: 95000 | #Constraints: 52284
363.71/364.72 c #Conflicts: 96000 | #Constraints: 53284
363.71/364.72 c INPROCESSING
363.71/364.72 c GARBAGE COLLECT
363.71/364.72 c #Conflicts: 97000 | #Constraints: 48096
363.71/364.72 c #Conflicts: 98000 | #Constraints: 49096
363.71/364.72 c #Conflicts: 99000 | #Constraints: 50096
363.71/364.72 c #Conflicts: 100000 | #Constraints: 51096
363.71/364.72 c #Conflicts: 101000 | #Constraints: 52096
363.71/364.72 c #Conflicts: 102000 | #Constraints: 53096
363.71/364.72 c #Conflicts: 103000 | #Constraints: 54096
363.71/364.72 c INPROCESSING
363.71/364.72 c GARBAGE COLLECT
363.71/364.72 c #Conflicts: 104000 | #Constraints: 48699
363.71/364.72 c #Conflicts: 105000 | #Constraints: 49699
363.71/364.72 c #Conflicts: 106000 | #Constraints: 50699
363.71/364.72 c #Conflicts: 107000 | #Constraints: 51699
363.71/364.72 c #Conflicts: 108000 | #Constraints: 52699
363.71/364.72 c #Conflicts: 109000 | #Constraints: 53699
363.71/364.72 c #Conflicts: 110000 | #Constraints: 54699
363.71/364.72 c INPROCESSING
363.71/364.72 c GARBAGE COLLECT
363.71/364.72 c #Conflicts: 111000 | #Constraints: 49089
363.71/364.72 c #Conflicts: 112000 | #Constraints: 50089
363.71/364.72 c #Conflicts: 113000 | #Constraints: 51089
363.71/364.72 c #Conflicts: 114000 | #Constraints: 52089
363.71/364.72 c #Conflicts: 115000 | #Constraints: 53089
363.71/364.72 c #Conflicts: 116000 | #Constraints: 54089
363.71/364.72 c #Conflicts: 117000 | #Constraints: 55089
363.71/364.72 c INPROCESSING
363.71/364.72 c GARBAGE COLLECT
363.71/364.72 c #Conflicts: 118000 | #Constraints: 49315
363.71/364.72 c #Conflicts: 119000 | #Constraints: 50315
363.71/364.72 c #Conflicts: 120000 | #Constraints: 51315
363.71/364.72 c #Conflicts: 121000 | #Constraints: 52315
363.71/364.72 c #Conflicts: 122000 | #Constraints: 53315
363.71/364.72 c #Conflicts: 123000 | #Constraints: 54315
363.71/364.72 c #Conflicts: 124000 | #Constraints: 55315
363.71/364.72 c INPROCESSING
363.71/364.72 c GARBAGE COLLECT
363.71/364.72 c #Conflicts: 125000 | #Constraints: 49316
363.71/364.72 c #Conflicts: 126000 | #Constraints: 50316
363.71/364.72 c #Conflicts: 127000 | #Constraints: 51316
363.71/364.72 c #Conflicts: 128000 | #Constraints: 52316
363.71/364.72 c #Conflicts: 129000 | #Constraints: 53316
363.71/364.72 c #Conflicts: 130000 | #Constraints: 54316
363.71/364.72 c #Conflicts: 131000 | #Constraints: 55316
363.71/364.72 c INPROCESSING
363.71/364.72 c GARBAGE COLLECT
363.71/364.72 c #Conflicts: 132000 | #Constraints: 49112
416.77/417.95 c #Conflicts: 133000 | #Constraints: 50112
416.77/417.95 c #Conflicts: 134000 | #Constraints: 51112
416.77/417.95 c #Conflicts: 135000 | #Constraints: 52112
416.77/417.95 c #Conflicts: 136000 | #Constraints: 53112
416.77/417.95 c #Conflicts: 137000 | #Constraints: 54112
416.77/417.95 c #Conflicts: 138000 | #Constraints: 55112
416.77/417.95 c #Conflicts: 139000 | #Constraints: 56112
416.77/417.95 c INPROCESSING
416.77/417.95 c GARBAGE COLLECT
416.77/417.95 c #Conflicts: 140000 | #Constraints: 49719
416.77/417.95 c #Conflicts: 141000 | #Constraints: 50719
416.77/417.95 c #Conflicts: 142000 | #Constraints: 51719
416.77/417.95 c #Conflicts: 143000 | #Constraints: 52719
416.77/417.95 c #Conflicts: 144000 | #Constraints: 53719
416.77/417.95 c #Conflicts: 145000 | #Constraints: 54719
416.77/417.95 c #Conflicts: 146000 | #Constraints: 55719
416.77/417.95 c #Conflicts: 147000 | #Constraints: 56719
416.77/417.95 c INPROCESSING
416.77/417.95 c GARBAGE COLLECT
416.77/417.95 c #Conflicts: 148000 | #Constraints: 50126
416.77/417.95 c #Conflicts: 149000 | #Constraints: 51126
416.77/417.95 c #Conflicts: 150000 | #Constraints: 52126
416.77/417.95 c #Conflicts: 151000 | #Constraints: 53126
416.77/417.95 c #Conflicts: 152000 | #Constraints: 54126
416.77/417.95 c #Conflicts: 153000 | #Constraints: 55126
416.77/417.95 c #Conflicts: 154000 | #Constraints: 56126
416.77/417.95 c #Conflicts: 155000 | #Constraints: 57126
416.77/417.95 c INPROCESSING
416.77/417.95 c GARBAGE COLLECT
416.77/417.95 c #Conflicts: 156000 | #Constraints: 50323
416.77/417.95 c #Conflicts: 157000 | #Constraints: 51323
416.77/417.95 c #Conflicts: 158000 | #Constraints: 52323
416.77/417.95 c #Conflicts: 159000 | #Constraints: 53323
416.77/417.95 c #Conflicts: 160000 | #Constraints: 54323
416.77/417.95 c #Conflicts: 161000 | #Constraints: 55323
416.77/417.95 c #Conflicts: 162000 | #Constraints: 56323
416.77/417.95 c #Conflicts: 163000 | #Constraints: 57323
416.77/417.95 c INPROCESSING
416.77/417.95 c GARBAGE COLLECT
416.77/417.95 c #Conflicts: 164000 | #Constraints: 50312
416.77/417.95 c #Conflicts: 165000 | #Constraints: 51312
416.77/417.95 c #Conflicts: 166000 | #Constraints: 52312
416.77/417.95 c #Conflicts: 167000 | #Constraints: 53312
416.77/417.95 c #Conflicts: 168000 | #Constraints: 54312
416.77/417.95 c #Conflicts: 169000 | #Constraints: 55312
416.77/417.95 c #Conflicts: 170000 | #Constraints: 56312
416.77/417.95 c #Conflicts: 171000 | #Constraints: 57312
416.77/417.95 c INPROCESSING
416.77/417.95 c GARBAGE COLLECT
416.77/417.95 c #Conflicts: 172000 | #Constraints: 50119
416.77/417.95 c #Conflicts: 173000 | #Constraints: 51119
416.77/417.95 c #Conflicts: 174000 | #Constraints: 52119
416.77/417.95 c #Conflicts: 175000 | #Constraints: 53119
416.77/417.95 c #Conflicts: 176000 | #Constraints: 54119
416.77/417.95 c #Conflicts: 177000 | #Constraints: 55119
416.77/417.95 c #Conflicts: 178000 | #Constraints: 56119
416.77/417.95 c #Conflicts: 179000 | #Constraints: 57119
416.77/417.95 c #Conflicts: 180000 | #Constraints: 58119
416.77/417.95 c INPROCESSING
416.77/417.95 c GARBAGE COLLECT
416.77/417.95 c #Conflicts: 181000 | #Constraints: 50715
416.77/417.95 c #Conflicts: 182000 | #Constraints: 51715
416.77/417.95 c #Conflicts: 183000 | #Constraints: 52715
416.77/417.95 c #Conflicts: 184000 | #Constraints: 53715
416.77/417.95 c #Conflicts: 185000 | #Constraints: 54715
416.77/417.95 c #Conflicts: 186000 | #Constraints: 55715
416.77/417.95 c #Conflicts: 187000 | #Constraints: 56715
416.77/417.95 c #Conflicts: 188000 | #Constraints: 57715
416.77/417.95 c #Conflicts: 189000 | #Constraints: 58715
416.77/417.95 c INPROCESSING
416.77/417.95 c GARBAGE COLLECT
416.77/417.95 c #Conflicts: 190000 | #Constraints: 51118
416.77/417.95 c #Conflicts: 191000 | #Constraints: 52118
416.77/417.95 c #Conflicts: 192000 | #Constraints: 53118
416.77/417.95 c #Conflicts: 193000 | #Constraints: 54118
416.77/417.95 c #Conflicts: 194000 | #Constraints: 55118
416.77/417.95 c #Conflicts: 195000 | #Constraints: 56118
416.77/417.95 c #Conflicts: 196000 | #Constraints: 57118
416.77/417.95 c #Conflicts: 197000 | #Constraints: 58118
416.77/417.95 c #Conflicts: 198000 | #Constraints: 59118
416.77/417.95 c INPROCESSING
416.77/417.95 c GARBAGE COLLECT
416.77/417.95 c #Conflicts: 199000 | #Constraints: 51330
416.77/417.95 c #Conflicts: 200000 | #Constraints: 52330
416.77/417.95 c #Conflicts: 201000 | #Constraints: 53330
416.77/417.95 c #Conflicts: 202000 | #Constraints: 54330
416.77/417.95 c #Conflicts: 203000 | #Constraints: 55330
416.77/417.95 c #Conflicts: 204000 | #Constraints: 56330
416.77/417.95 c #Conflicts: 205000 | #Constraints: 57330
416.77/417.95 c #Conflicts: 206000 | #Constraints: 58330
483.10/484.49 c #Conflicts: 207000 | #Constraints: 59330
483.10/484.49 c INPROCESSING
483.10/484.49 c GARBAGE COLLECT
483.10/484.49 c #Conflicts: 208000 | #Constraints: 51317
483.10/484.49 c #Conflicts: 209000 | #Constraints: 52317
483.10/484.49 c #Conflicts: 210000 | #Constraints: 53317
483.10/484.49 c #Conflicts: 211000 | #Constraints: 54317
483.10/484.49 c #Conflicts: 212000 | #Constraints: 55317
483.10/484.49 c #Conflicts: 213000 | #Constraints: 56317
483.10/484.49 c #Conflicts: 214000 | #Constraints: 57317
483.10/484.49 c #Conflicts: 215000 | #Constraints: 58317
483.10/484.49 c #Conflicts: 216000 | #Constraints: 59317
483.10/484.49 c INPROCESSING
483.10/484.49 c GARBAGE COLLECT
483.10/484.49 c #Conflicts: 217000 | #Constraints: 51129
483.10/484.49 c #Conflicts: 218000 | #Constraints: 52129
483.10/484.49 c #Conflicts: 219000 | #Constraints: 53129
483.10/484.49 c #Conflicts: 220000 | #Constraints: 54129
483.10/484.49 c #Conflicts: 221000 | #Constraints: 55129
483.10/484.49 c #Conflicts: 222000 | #Constraints: 56129
483.10/484.49 c #Conflicts: 223000 | #Constraints: 57129
483.10/484.49 c #Conflicts: 224000 | #Constraints: 58129
483.10/484.49 c #Conflicts: 225000 | #Constraints: 59129
483.10/484.49 c #Conflicts: 226000 | #Constraints: 60129
483.10/484.49 c INPROCESSING
483.10/484.49 c GARBAGE COLLECT
483.10/484.49 c #Conflicts: 227000 | #Constraints: 51712
483.10/484.49 c #Conflicts: 228000 | #Constraints: 52712
483.10/484.49 c #Conflicts: 229000 | #Constraints: 53712
483.10/484.49 c #Conflicts: 230000 | #Constraints: 54712
483.10/484.49 c #Conflicts: 231000 | #Constraints: 55712
483.10/484.49 c #Conflicts: 232000 | #Constraints: 56712
483.10/484.49 c #Conflicts: 233000 | #Constraints: 57712
483.10/484.49 c #Conflicts: 234000 | #Constraints: 58712
483.10/484.49 c #Conflicts: 235000 | #Constraints: 59712
483.10/484.49 c #Conflicts: 236000 | #Constraints: 60712
483.10/484.49 c INPROCESSING
483.10/484.49 c GARBAGE COLLECT
483.10/484.49 c #Conflicts: 237000 | #Constraints: 52119
483.10/484.49 c #Conflicts: 238000 | #Constraints: 53119
483.10/484.49 c #Conflicts: 239000 | #Constraints: 54119
483.10/484.49 c #Conflicts: 240000 | #Constraints: 55119
483.10/484.49 c #Conflicts: 241000 | #Constraints: 56119
483.10/484.49 c #Conflicts: 242000 | #Constraints: 57119
483.10/484.49 c #Conflicts: 243000 | #Constraints: 58119
483.10/484.49 c #Conflicts: 244000 | #Constraints: 59119
483.10/484.49 c #Conflicts: 245000 | #Constraints: 60119
483.10/484.49 c #Conflicts: 246000 | #Constraints: 61119
483.10/484.49 c INPROCESSING
483.10/484.49 c GARBAGE COLLECT
483.10/484.49 c #Conflicts: 247000 | #Constraints: 52314
483.10/484.49 c #Conflicts: 248000 | #Constraints: 53314
483.10/484.49 c #Conflicts: 249000 | #Constraints: 54314
483.10/484.49 c #Conflicts: 250000 | #Constraints: 55314
483.10/484.49 c #Conflicts: 251000 | #Constraints: 56314
483.10/484.49 c #Conflicts: 252000 | #Constraints: 57314
483.10/484.49 c #Conflicts: 253000 | #Constraints: 58314
483.10/484.49 c #Conflicts: 254000 | #Constraints: 59314
483.10/484.49 c #Conflicts: 255000 | #Constraints: 60314
483.10/484.49 c #Conflicts: 256000 | #Constraints: 61314
483.10/484.49 c INPROCESSING
483.10/484.49 c GARBAGE COLLECT
483.10/484.49 c #Conflicts: 257000 | #Constraints: 52340
483.10/484.49 c #Conflicts: 258000 | #Constraints: 53340
483.10/484.49 c #Conflicts: 259000 | #Constraints: 54340
483.10/484.49 c #Conflicts: 260000 | #Constraints: 55340
483.10/484.49 c #Conflicts: 261000 | #Constraints: 56340
483.10/484.49 c #Conflicts: 262000 | #Constraints: 57340
483.10/484.49 c #Conflicts: 263000 | #Constraints: 58340
483.10/484.49 c #Conflicts: 264000 | #Constraints: 59340
483.10/484.49 c #Conflicts: 265000 | #Constraints: 60340
483.10/484.49 c #Conflicts: 266000 | #Constraints: 61340
483.10/484.49 c INPROCESSING
483.10/484.49 c GARBAGE COLLECT
483.10/484.49 c #Conflicts: 267000 | #Constraints: 52125
483.10/484.49 c #Conflicts: 268000 | #Constraints: 53125
483.10/484.49 c #Conflicts: 269000 | #Constraints: 54125
483.10/484.49 c #Conflicts: 270000 | #Constraints: 55125
483.10/484.49 c #Conflicts: 271000 | #Constraints: 56125
483.10/484.49 c #Conflicts: 272000 | #Constraints: 57125
483.10/484.49 c #Conflicts: 273000 | #Constraints: 58125
483.10/484.49 c #Conflicts: 274000 | #Constraints: 59125
483.10/484.49 c #Conflicts: 275000 | #Constraints: 60125
483.10/484.49 c #Conflicts: 276000 | #Constraints: 61125
483.10/484.49 c #Conflicts: 277000 | #Constraints: 62125
483.10/484.49 c INPROCESSING
483.10/484.49 c GARBAGE COLLECT
483.10/484.49 c #Conflicts: 278000 | #Constraints: 52734
483.10/484.49 c #Conflicts: 279000 | #Constraints: 53734
561.69/563.21 c #Conflicts: 280000 | #Constraints: 54734
561.69/563.21 c #Conflicts: 281000 | #Constraints: 55734
561.69/563.21 c #Conflicts: 282000 | #Constraints: 56734
561.69/563.21 c #Conflicts: 283000 | #Constraints: 57734
561.69/563.21 c #Conflicts: 284000 | #Constraints: 58734
561.69/563.21 c #Conflicts: 285000 | #Constraints: 59734
561.69/563.21 c #Conflicts: 286000 | #Constraints: 60734
561.69/563.21 c #Conflicts: 287000 | #Constraints: 61734
561.69/563.21 c #Conflicts: 288000 | #Constraints: 62734
561.69/563.21 c INPROCESSING
561.69/563.21 c GARBAGE COLLECT
561.69/563.21 c #Conflicts: 289000 | #Constraints: 53131
561.69/563.21 c #Conflicts: 290000 | #Constraints: 54131
561.69/563.21 c #Conflicts: 291000 | #Constraints: 55131
561.69/563.21 c #Conflicts: 292000 | #Constraints: 56131
561.69/563.21 c #Conflicts: 293000 | #Constraints: 57131
561.69/563.21 c #Conflicts: 294000 | #Constraints: 58131
561.69/563.21 c #Conflicts: 295000 | #Constraints: 59131
561.69/563.21 c #Conflicts: 296000 | #Constraints: 60131
561.69/563.21 c #Conflicts: 297000 | #Constraints: 61131
561.69/563.21 c #Conflicts: 298000 | #Constraints: 62131
561.69/563.21 c #Conflicts: 299000 | #Constraints: 63131
561.69/563.21 c INPROCESSING
561.69/563.21 c GARBAGE COLLECT
561.69/563.21 c #Conflicts: 300000 | #Constraints: 53340
561.69/563.21 c #Conflicts: 301000 | #Constraints: 54340
561.69/563.21 c #Conflicts: 302000 | #Constraints: 55340
561.69/563.21 c #Conflicts: 303000 | #Constraints: 56340
561.69/563.21 c #Conflicts: 304000 | #Constraints: 57340
561.69/563.21 c #Conflicts: 305000 | #Constraints: 58340
561.69/563.21 c #Conflicts: 306000 | #Constraints: 59340
561.69/563.21 c #Conflicts: 307000 | #Constraints: 60340
561.69/563.21 c #Conflicts: 308000 | #Constraints: 61340
561.69/563.21 c #Conflicts: 309000 | #Constraints: 62340
561.69/563.21 c #Conflicts: 310000 | #Constraints: 63340
561.69/563.21 c INPROCESSING
561.69/563.21 c GARBAGE COLLECT
561.69/563.21 c #Conflicts: 311000 | #Constraints: 53353
561.69/563.21 c #Conflicts: 312000 | #Constraints: 54353
561.69/563.21 c #Conflicts: 313000 | #Constraints: 55353
561.69/563.21 c #Conflicts: 314000 | #Constraints: 56353
561.69/563.21 c #Conflicts: 315000 | #Constraints: 57353
561.69/563.21 c #Conflicts: 316000 | #Constraints: 58353
561.69/563.21 c #Conflicts: 317000 | #Constraints: 59353
561.69/563.21 c #Conflicts: 318000 | #Constraints: 60353
561.69/563.21 c #Conflicts: 319000 | #Constraints: 61353
561.69/563.21 c #Conflicts: 320000 | #Constraints: 62353
561.69/563.21 c #Conflicts: 321000 | #Constraints: 63353
561.69/563.21 c INPROCESSING
561.69/563.21 c GARBAGE COLLECT
561.69/563.21 c #Conflicts: 322000 | #Constraints: 53152
561.69/563.21 c #Conflicts: 323000 | #Constraints: 54152
561.69/563.21 c #Conflicts: 324000 | #Constraints: 55152
561.69/563.21 c #Conflicts: 325000 | #Constraints: 56152
561.69/563.21 c #Conflicts: 326000 | #Constraints: 57152
561.69/563.21 c #Conflicts: 327000 | #Constraints: 58152
561.69/563.21 c #Conflicts: 328000 | #Constraints: 59152
561.69/563.21 c #Conflicts: 329000 | #Constraints: 60152
561.69/563.21 c #Conflicts: 330000 | #Constraints: 61152
561.69/563.21 c #Conflicts: 331000 | #Constraints: 62152
561.69/563.21 c #Conflicts: 332000 | #Constraints: 63152
561.69/563.21 c #Conflicts: 333000 | #Constraints: 64152
561.69/563.21 c INPROCESSING
561.69/563.21 c GARBAGE COLLECT
561.69/563.21 c #Conflicts: 334000 | #Constraints: 53752
561.69/563.21 c #Conflicts: 335000 | #Constraints: 54752
561.69/563.21 c #Conflicts: 336000 | #Constraints: 55752
561.69/563.21 c #Conflicts: 337000 | #Constraints: 56752
561.69/563.21 c #Conflicts: 338000 | #Constraints: 57752
561.69/563.21 c #Conflicts: 339000 | #Constraints: 58752
561.69/563.21 c #Conflicts: 340000 | #Constraints: 59752
561.69/563.21 c #Conflicts: 341000 | #Constraints: 60752
561.69/563.21 c #Conflicts: 342000 | #Constraints: 61752
561.69/563.21 c #Conflicts: 343000 | #Constraints: 62752
561.69/563.21 c #Conflicts: 344000 | #Constraints: 63752
561.69/563.21 c #Conflicts: 345000 | #Constraints: 64752
561.69/563.21 c INPROCESSING
561.69/563.21 c GARBAGE COLLECT
561.69/563.21 c #Conflicts: 346000 | #Constraints: 54147
561.69/563.21 c #Conflicts: 347000 | #Constraints: 55147
561.69/563.21 c #Conflicts: 348000 | #Constraints: 56147
561.69/563.21 c #Conflicts: 349000 | #Constraints: 57147
561.69/563.21 c #Conflicts: 350000 | #Constraints: 58147
561.69/563.21 c #Conflicts: 351000 | #Constraints: 59147
561.69/563.21 c #Conflicts: 352000 | #Constraints: 60147
561.69/563.21 c #Conflicts: 353000 | #Constraints: 61147
561.69/563.21 c #Conflicts: 354000 | #Constraints: 62147
650.56/652.37 c #Conflicts: 355000 | #Constraints: 63147
650.56/652.37 c #Conflicts: 356000 | #Constraints: 64147
650.56/652.37 c #Conflicts: 357000 | #Constraints: 65147
650.56/652.37 c INPROCESSING
650.56/652.37 c GARBAGE COLLECT
650.56/652.37 c #Conflicts: 358000 | #Constraints: 54343
650.56/652.37 c #Conflicts: 359000 | #Constraints: 55343
650.56/652.37 c #Conflicts: 360000 | #Constraints: 56343
650.56/652.37 c #Conflicts: 361000 | #Constraints: 57343
650.56/652.37 c #Conflicts: 362000 | #Constraints: 58343
650.56/652.37 c #Conflicts: 363000 | #Constraints: 59343
650.56/652.37 c #Conflicts: 364000 | #Constraints: 60343
650.56/652.37 c #Conflicts: 365000 | #Constraints: 61343
650.56/652.37 c #Conflicts: 366000 | #Constraints: 62343
650.56/652.37 c #Conflicts: 367000 | #Constraints: 63343
650.56/652.37 c #Conflicts: 368000 | #Constraints: 64343
650.56/652.37 c #Conflicts: 369000 | #Constraints: 65343
650.56/652.37 c INPROCESSING
650.56/652.37 c GARBAGE COLLECT
650.56/652.37 c #Conflicts: 370000 | #Constraints: 54334
650.56/652.37 c #Conflicts: 371000 | #Constraints: 55334
650.56/652.37 c #Conflicts: 372000 | #Constraints: 56334
650.56/652.37 c #Conflicts: 373000 | #Constraints: 57334
650.56/652.37 c #Conflicts: 374000 | #Constraints: 58334
650.56/652.37 c #Conflicts: 375000 | #Constraints: 59334
650.56/652.37 c #Conflicts: 376000 | #Constraints: 60334
650.56/652.37 c #Conflicts: 377000 | #Constraints: 61334
650.56/652.37 c #Conflicts: 378000 | #Constraints: 62334
650.56/652.37 c #Conflicts: 379000 | #Constraints: 63334
650.56/652.37 c #Conflicts: 380000 | #Constraints: 64334
650.56/652.37 c #Conflicts: 381000 | #Constraints: 65334
650.56/652.37 c INPROCESSING
650.56/652.37 c GARBAGE COLLECT
650.56/652.37 c #Conflicts: 382000 | #Constraints: 54148
650.56/652.37 c #Conflicts: 383000 | #Constraints: 55148
650.56/652.37 c #Conflicts: 384000 | #Constraints: 56148
650.56/652.37 c #Conflicts: 385000 | #Constraints: 57148
650.56/652.37 c #Conflicts: 386000 | #Constraints: 58148
650.56/652.37 c #Conflicts: 387000 | #Constraints: 59148
650.56/652.37 c #Conflicts: 388000 | #Constraints: 60148
650.56/652.37 c #Conflicts: 389000 | #Constraints: 61148
650.56/652.37 c #Conflicts: 390000 | #Constraints: 62148
650.56/652.37 c #Conflicts: 391000 | #Constraints: 63148
650.56/652.37 c #Conflicts: 392000 | #Constraints: 64148
650.56/652.37 c #Conflicts: 393000 | #Constraints: 65148
650.56/652.37 c #Conflicts: 394000 | #Constraints: 66148
650.56/652.37 c INPROCESSING
650.56/652.37 c GARBAGE COLLECT
650.56/652.37 c #Conflicts: 395000 | #Constraints: 54759
650.56/652.37 c #Conflicts: 396000 | #Constraints: 55759
650.56/652.37 c #Conflicts: 397000 | #Constraints: 56759
650.56/652.37 c #Conflicts: 398000 | #Constraints: 57759
650.56/652.37 c #Conflicts: 399000 | #Constraints: 58759
650.56/652.37 c #Conflicts: 400000 | #Constraints: 59759
650.56/652.37 c #Conflicts: 401000 | #Constraints: 60759
650.56/652.37 c #Conflicts: 402000 | #Constraints: 61759
650.56/652.37 c #Conflicts: 403000 | #Constraints: 62759
650.56/652.37 c #Conflicts: 404000 | #Constraints: 63759
650.56/652.37 c #Conflicts: 405000 | #Constraints: 64759
650.56/652.37 c #Conflicts: 406000 | #Constraints: 65759
650.56/652.37 c #Conflicts: 407000 | #Constraints: 66759
650.56/652.37 c INPROCESSING
650.56/652.37 c GARBAGE COLLECT
650.56/652.37 c #Conflicts: 408000 | #Constraints: 55167
650.56/652.37 c #Conflicts: 409000 | #Constraints: 56167
650.56/652.37 c #Conflicts: 410000 | #Constraints: 57167
650.56/652.37 c #Conflicts: 411000 | #Constraints: 58167
650.56/652.37 c #Conflicts: 412000 | #Constraints: 59167
650.56/652.37 c #Conflicts: 413000 | #Constraints: 60167
650.56/652.37 c #Conflicts: 414000 | #Constraints: 61167
650.56/652.37 c #Conflicts: 415000 | #Constraints: 62167
650.56/652.37 c #Conflicts: 416000 | #Constraints: 63167
650.56/652.37 c #Conflicts: 417000 | #Constraints: 64167
650.56/652.37 c #Conflicts: 418000 | #Constraints: 65167
650.56/652.37 c #Conflicts: 419000 | #Constraints: 66167
650.56/652.37 c #Conflicts: 420000 | #Constraints: 67167
650.56/652.37 c INPROCESSING
650.56/652.37 c GARBAGE COLLECT
650.56/652.37 c #Conflicts: 421000 | #Constraints: 55348
650.56/652.37 c #Conflicts: 422000 | #Constraints: 56348
650.56/652.37 c #Conflicts: 423000 | #Constraints: 57348
650.56/652.37 c #Conflicts: 424000 | #Constraints: 58348
650.56/652.37 c #Conflicts: 425000 | #Constraints: 59348
650.56/652.37 c #Conflicts: 426000 | #Constraints: 60348
650.56/652.37 c #Conflicts: 427000 | #Constraints: 61348
650.56/652.37 c #Conflicts: 428000 | #Constraints: 62348
650.56/652.37 c #Conflicts: 429000 | #Constraints: 63348
737.64/739.60 c #Conflicts: 430000 | #Constraints: 64348
737.64/739.60 c #Conflicts: 431000 | #Constraints: 65348
737.64/739.60 c #Conflicts: 432000 | #Constraints: 66348
737.64/739.60 c #Conflicts: 433000 | #Constraints: 67348
737.64/739.60 c INPROCESSING
737.64/739.60 c GARBAGE COLLECT
737.64/739.60 c #Conflicts: 434000 | #Constraints: 55328
737.64/739.60 c #Conflicts: 435000 | #Constraints: 56328
737.64/739.60 c #Conflicts: 436000 | #Constraints: 57328
737.64/739.60 c #Conflicts: 437000 | #Constraints: 58328
737.64/739.60 c #Conflicts: 438000 | #Constraints: 59328
737.64/739.60 c #Conflicts: 439000 | #Constraints: 60328
737.64/739.60 c #Conflicts: 440000 | #Constraints: 61328
737.64/739.60 c #Conflicts: 441000 | #Constraints: 62328
737.64/739.60 c #Conflicts: 442000 | #Constraints: 63328
737.64/739.60 c #Conflicts: 443000 | #Constraints: 64328
737.64/739.60 c #Conflicts: 444000 | #Constraints: 65328
737.64/739.60 c #Conflicts: 445000 | #Constraints: 66328
737.64/739.60 c #Conflicts: 446000 | #Constraints: 67328
737.64/739.60 c INPROCESSING
737.64/739.60 c GARBAGE COLLECT
737.64/739.60 c #Conflicts: 447000 | #Constraints: 55143
737.64/739.60 c #Conflicts: 448000 | #Constraints: 56143
737.64/739.60 c #Conflicts: 449000 | #Constraints: 57143
737.64/739.60 c #Conflicts: 450000 | #Constraints: 58143
737.64/739.60 c #Conflicts: 451000 | #Constraints: 59143
737.64/739.60 c #Conflicts: 452000 | #Constraints: 60143
737.64/739.60 c #Conflicts: 453000 | #Constraints: 61143
737.64/739.60 c #Conflicts: 454000 | #Constraints: 62143
737.64/739.60 c #Conflicts: 455000 | #Constraints: 63143
737.64/739.60 c #Conflicts: 456000 | #Constraints: 64143
737.64/739.60 c #Conflicts: 457000 | #Constraints: 65143
737.64/739.60 c #Conflicts: 458000 | #Constraints: 66143
737.64/739.60 c #Conflicts: 459000 | #Constraints: 67143
737.64/739.60 c #Conflicts: 460000 | #Constraints: 68143
737.64/739.60 c INPROCESSING
737.64/739.60 c GARBAGE COLLECT
737.64/739.60 c #Conflicts: 461000 | #Constraints: 55735
737.64/739.60 c #Conflicts: 462000 | #Constraints: 56735
737.64/739.60 c #Conflicts: 463000 | #Constraints: 57735
737.64/739.60 c #Conflicts: 464000 | #Constraints: 58735
737.64/739.60 c #Conflicts: 465000 | #Constraints: 59735
737.64/739.60 c #Conflicts: 466000 | #Constraints: 60735
737.64/739.60 c #Conflicts: 467000 | #Constraints: 61735
737.64/739.60 c #Conflicts: 468000 | #Constraints: 62735
737.64/739.60 c #Conflicts: 469000 | #Constraints: 63735
737.64/739.60 c #Conflicts: 470000 | #Constraints: 64735
737.64/739.60 c #Conflicts: 471000 | #Constraints: 65735
737.64/739.60 c #Conflicts: 472000 | #Constraints: 66735
737.64/739.60 c #Conflicts: 473000 | #Constraints: 67735
737.64/739.60 c #Conflicts: 474000 | #Constraints: 68735
737.64/739.60 c INPROCESSING
737.64/739.60 c GARBAGE COLLECT
737.64/739.60 c #Conflicts: 475000 | #Constraints: 56133
737.64/739.60 c #Conflicts: 476000 | #Constraints: 57133
737.64/739.60 c #Conflicts: 477000 | #Constraints: 58133
737.64/739.60 c #Conflicts: 478000 | #Constraints: 59133
737.64/739.60 c #Conflicts: 479000 | #Constraints: 60133
737.64/739.60 c #Conflicts: 480000 | #Constraints: 61133
737.64/739.60 c #Conflicts: 481000 | #Constraints: 62133
737.64/739.60 c #Conflicts: 482000 | #Constraints: 63133
737.64/739.60 c #Conflicts: 483000 | #Constraints: 64133
737.64/739.60 c #Conflicts: 484000 | #Constraints: 65133
737.64/739.60 c #Conflicts: 485000 | #Constraints: 66133
737.64/739.60 c #Conflicts: 486000 | #Constraints: 67133
737.64/739.60 c #Conflicts: 487000 | #Constraints: 68133
737.64/739.60 c #Conflicts: 488000 | #Constraints: 69133
737.64/739.60 c INPROCESSING
737.64/739.60 c GARBAGE COLLECT
737.64/739.60 c #Conflicts: 489000 | #Constraints: 56339
737.64/739.60 c #Conflicts: 490000 | #Constraints: 57339
737.64/739.60 c #Conflicts: 491000 | #Constraints: 58339
737.64/739.60 c #Conflicts: 492000 | #Constraints: 59339
737.64/739.60 c #Conflicts: 493000 | #Constraints: 60339
737.64/739.60 c #Conflicts: 494000 | #Constraints: 61339
737.64/739.60 c #Conflicts: 495000 | #Constraints: 62339
737.64/739.60 c #Conflicts: 496000 | #Constraints: 63339
737.64/739.60 c #Conflicts: 497000 | #Constraints: 64339
737.64/739.60 c #Conflicts: 498000 | #Constraints: 65339
737.64/739.60 c #Conflicts: 499000 | #Constraints: 66339
737.64/739.60 c #Conflicts: 500000 | #Constraints: 67339
737.64/739.60 c #Conflicts: 501000 | #Constraints: 68339
737.64/739.60 c #Conflicts: 502000 | #Constraints: 69339
737.64/739.60 c INPROCESSING
737.64/739.60 c GARBAGE COLLECT
737.64/739.60 c #Conflicts: 503000 | #Constraints: 56354
737.64/739.60 c #Conflicts: 504000 | #Constraints: 57354
845.86/848.17 c #Conflicts: 505000 | #Constraints: 58354
845.86/848.17 c #Conflicts: 506000 | #Constraints: 59354
845.86/848.17 c #Conflicts: 507000 | #Constraints: 60354
845.86/848.17 c #Conflicts: 508000 | #Constraints: 61354
845.86/848.17 c #Conflicts: 509000 | #Constraints: 62354
845.86/848.17 c #Conflicts: 510000 | #Constraints: 63354
845.86/848.17 c #Conflicts: 511000 | #Constraints: 64354
845.86/848.17 c #Conflicts: 512000 | #Constraints: 65354
845.86/848.17 c #Conflicts: 513000 | #Constraints: 66354
845.86/848.17 c #Conflicts: 514000 | #Constraints: 67354
845.86/848.17 c #Conflicts: 515000 | #Constraints: 68354
845.86/848.17 c #Conflicts: 516000 | #Constraints: 69354
845.86/848.17 c INPROCESSING
845.86/848.17 c GARBAGE COLLECT
845.86/848.17 c #Conflicts: 517000 | #Constraints: 56143
845.86/848.17 c #Conflicts: 518000 | #Constraints: 57143
845.86/848.17 c #Conflicts: 519000 | #Constraints: 58143
845.86/848.17 c #Conflicts: 520000 | #Constraints: 59143
845.86/848.17 c #Conflicts: 521000 | #Constraints: 60143
845.86/848.17 c #Conflicts: 522000 | #Constraints: 61143
845.86/848.17 c #Conflicts: 523000 | #Constraints: 62143
845.86/848.17 c #Conflicts: 524000 | #Constraints: 63143
845.86/848.17 c #Conflicts: 525000 | #Constraints: 64143
845.86/848.17 c #Conflicts: 526000 | #Constraints: 65143
845.86/848.17 c #Conflicts: 527000 | #Constraints: 66143
845.86/848.17 c #Conflicts: 528000 | #Constraints: 67143
845.86/848.17 c #Conflicts: 529000 | #Constraints: 68143
845.86/848.17 c #Conflicts: 530000 | #Constraints: 69143
845.86/848.17 c #Conflicts: 531000 | #Constraints: 70143
845.86/848.17 c INPROCESSING
845.86/848.17 c GARBAGE COLLECT
845.86/848.17 c #Conflicts: 532000 | #Constraints: 56739
845.86/848.17 c #Conflicts: 533000 | #Constraints: 57739
845.86/848.17 c #Conflicts: 534000 | #Constraints: 58739
845.86/848.17 c #Conflicts: 535000 | #Constraints: 59739
845.86/848.17 c #Conflicts: 536000 | #Constraints: 60739
845.86/848.17 c #Conflicts: 537000 | #Constraints: 61739
845.86/848.17 c #Conflicts: 538000 | #Constraints: 62739
845.86/848.17 c #Conflicts: 539000 | #Constraints: 63739
845.86/848.17 c #Conflicts: 540000 | #Constraints: 64739
845.86/848.17 c #Conflicts: 541000 | #Constraints: 65739
845.86/848.17 c #Conflicts: 542000 | #Constraints: 66739
845.86/848.17 c #Conflicts: 543000 | #Constraints: 67739
845.86/848.17 c #Conflicts: 544000 | #Constraints: 68739
845.86/848.17 c #Conflicts: 545000 | #Constraints: 69739
845.86/848.17 c #Conflicts: 546000 | #Constraints: 70739
845.86/848.17 c INPROCESSING
845.86/848.17 c GARBAGE COLLECT
845.86/848.17 c #Conflicts: 547000 | #Constraints: 57162
845.86/848.17 c #Conflicts: 548000 | #Constraints: 58162
845.86/848.17 c #Conflicts: 549000 | #Constraints: 59162
845.86/848.17 c #Conflicts: 550000 | #Constraints: 60162
845.86/848.17 c #Conflicts: 551000 | #Constraints: 61162
845.86/848.17 c #Conflicts: 552000 | #Constraints: 62162
845.86/848.17 c #Conflicts: 553000 | #Constraints: 63162
845.86/848.17 c #Conflicts: 554000 | #Constraints: 64162
845.86/848.17 c #Conflicts: 555000 | #Constraints: 65162
845.86/848.17 c #Conflicts: 556000 | #Constraints: 66162
845.86/848.17 c #Conflicts: 557000 | #Constraints: 67162
845.86/848.17 c #Conflicts: 558000 | #Constraints: 68162
845.86/848.17 c #Conflicts: 559000 | #Constraints: 69162
845.86/848.17 c #Conflicts: 560000 | #Constraints: 70162
845.86/848.17 c #Conflicts: 561000 | #Constraints: 71162
845.86/848.17 c INPROCESSING
845.86/848.17 c GARBAGE COLLECT
845.86/848.17 c #Conflicts: 562000 | #Constraints: 57356
845.86/848.17 c #Conflicts: 563000 | #Constraints: 58356
845.86/848.17 c #Conflicts: 564000 | #Constraints: 59356
845.86/848.17 c #Conflicts: 565000 | #Constraints: 60356
845.86/848.17 c #Conflicts: 566000 | #Constraints: 61356
845.86/848.17 c #Conflicts: 567000 | #Constraints: 62356
845.86/848.17 c #Conflicts: 568000 | #Constraints: 63356
845.86/848.17 c #Conflicts: 569000 | #Constraints: 64356
845.86/848.17 c #Conflicts: 570000 | #Constraints: 65356
845.86/848.17 c #Conflicts: 571000 | #Constraints: 66356
845.86/848.17 c #Conflicts: 572000 | #Constraints: 67356
845.86/848.17 c #Conflicts: 573000 | #Constraints: 68356
845.86/848.17 c #Conflicts: 574000 | #Constraints: 69356
845.86/848.17 c #Conflicts: 575000 | #Constraints: 70356
845.86/848.17 c #Conflicts: 576000 | #Constraints: 71356
845.86/848.17 c INPROCESSING
845.86/848.17 c GARBAGE COLLECT
845.86/848.17 c #Conflicts: 577000 | #Constraints: 57356
845.86/848.17 c #Conflicts: 578000 | #Constraints: 58356
845.86/848.17 c #Conflicts: 579000 | #Constraints: 59356
845.86/848.17 c #Conflicts: 580000 | #Constraints: 60356
966.74/969.39 c #Conflicts: 581000 | #Constraints: 61356
966.74/969.39 c #Conflicts: 582000 | #Constraints: 62356
966.74/969.39 c #Conflicts: 583000 | #Constraints: 63356
966.74/969.39 c #Conflicts: 584000 | #Constraints: 64356
966.74/969.39 c #Conflicts: 585000 | #Constraints: 65356
966.74/969.39 c #Conflicts: 586000 | #Constraints: 66356
966.74/969.39 c #Conflicts: 587000 | #Constraints: 67356
966.74/969.39 c #Conflicts: 588000 | #Constraints: 68356
966.74/969.39 c #Conflicts: 589000 | #Constraints: 69356
966.74/969.39 c #Conflicts: 590000 | #Constraints: 70356
966.74/969.39 c #Conflicts: 591000 | #Constraints: 71356
966.74/969.39 c INPROCESSING
966.74/969.39 c GARBAGE COLLECT
966.74/969.39 c #Conflicts: 592000 | #Constraints: 57145
966.74/969.39 c #Conflicts: 593000 | #Constraints: 58145
966.74/969.39 c #Conflicts: 594000 | #Constraints: 59145
966.74/969.39 c #Conflicts: 595000 | #Constraints: 60145
966.74/969.39 c #Conflicts: 596000 | #Constraints: 61145
966.74/969.39 c #Conflicts: 597000 | #Constraints: 62145
966.74/969.39 c #Conflicts: 598000 | #Constraints: 63145
966.74/969.39 c #Conflicts: 599000 | #Constraints: 64145
966.74/969.39 c #Conflicts: 600000 | #Constraints: 65145
966.74/969.39 c #Conflicts: 601000 | #Constraints: 66145
966.74/969.39 c #Conflicts: 602000 | #Constraints: 67145
966.74/969.39 c #Conflicts: 603000 | #Constraints: 68145
966.74/969.39 c #Conflicts: 604000 | #Constraints: 69145
966.74/969.39 c #Conflicts: 605000 | #Constraints: 70145
966.74/969.39 c #Conflicts: 606000 | #Constraints: 71145
966.74/969.39 c #Conflicts: 607000 | #Constraints: 72145
966.74/969.39 c INPROCESSING
966.74/969.39 c GARBAGE COLLECT
966.74/969.39 c #Conflicts: 608000 | #Constraints: 57747
966.74/969.39 c #Conflicts: 609000 | #Constraints: 58747
966.74/969.39 c #Conflicts: 610000 | #Constraints: 59747
966.74/969.39 c #Conflicts: 611000 | #Constraints: 60747
966.74/969.39 c #Conflicts: 612000 | #Constraints: 61747
966.74/969.39 c #Conflicts: 613000 | #Constraints: 62747
966.74/969.39 c #Conflicts: 614000 | #Constraints: 63747
966.74/969.39 c #Conflicts: 615000 | #Constraints: 64747
966.74/969.39 c #Conflicts: 616000 | #Constraints: 65747
966.74/969.39 c #Conflicts: 617000 | #Constraints: 66747
966.74/969.39 c #Conflicts: 618000 | #Constraints: 67747
966.74/969.39 c #Conflicts: 619000 | #Constraints: 68747
966.74/969.39 c #Conflicts: 620000 | #Constraints: 69747
966.74/969.39 c #Conflicts: 621000 | #Constraints: 70747
966.74/969.39 c #Conflicts: 622000 | #Constraints: 71747
966.74/969.39 c #Conflicts: 623000 | #Constraints: 72747
966.74/969.39 c INPROCESSING
966.74/969.39 c GARBAGE COLLECT
966.74/969.39 c #Conflicts: 624000 | #Constraints: 58156
966.74/969.39 c #Conflicts: 625000 | #Constraints: 59156
966.74/969.39 c #Conflicts: 626000 | #Constraints: 60156
966.74/969.39 c #Conflicts: 627000 | #Constraints: 61156
966.74/969.39 c #Conflicts: 628000 | #Constraints: 62156
966.74/969.39 c #Conflicts: 629000 | #Constraints: 63156
966.74/969.39 c #Conflicts: 630000 | #Constraints: 64156
966.74/969.39 c #Conflicts: 631000 | #Constraints: 65156
966.74/969.39 c #Conflicts: 632000 | #Constraints: 66156
966.74/969.39 c #Conflicts: 633000 | #Constraints: 67156
966.74/969.39 c #Conflicts: 634000 | #Constraints: 68156
966.74/969.39 c #Conflicts: 635000 | #Constraints: 69156
966.74/969.39 c #Conflicts: 636000 | #Constraints: 70156
966.74/969.39 c #Conflicts: 637000 | #Constraints: 71156
966.74/969.39 c #Conflicts: 638000 | #Constraints: 72156
966.74/969.39 c #Conflicts: 639000 | #Constraints: 73156
966.74/969.39 c INPROCESSING
966.74/969.39 c GARBAGE COLLECT
966.74/969.39 c #Conflicts: 640000 | #Constraints: 58350
966.74/969.39 c #Conflicts: 641000 | #Constraints: 59350
966.74/969.39 c #Conflicts: 642000 | #Constraints: 60350
966.74/969.39 c #Conflicts: 643000 | #Constraints: 61350
966.74/969.39 c #Conflicts: 644000 | #Constraints: 62350
966.74/969.39 c #Conflicts: 645000 | #Constraints: 63350
966.74/969.39 c #Conflicts: 646000 | #Constraints: 64350
966.74/969.39 c #Conflicts: 647000 | #Constraints: 65350
966.74/969.39 c #Conflicts: 648000 | #Constraints: 66350
966.74/969.39 c #Conflicts: 649000 | #Constraints: 67350
966.74/969.39 c #Conflicts: 650000 | #Constraints: 68350
966.74/969.39 c #Conflicts: 651000 | #Constraints: 69350
966.74/969.39 c #Conflicts: 652000 | #Constraints: 70350
966.74/969.39 c #Conflicts: 653000 | #Constraints: 71350
966.74/969.39 c #Conflicts: 654000 | #Constraints: 72350
966.74/969.39 c #Conflicts: 655000 | #Constraints: 73350
966.74/969.39 c INPROCESSING
966.74/969.39 c GARBAGE COLLECT
1089.63/1092.57 c #Conflicts: 656000 | #Constraints: 58351
1089.63/1092.57 c #Conflicts: 657000 | #Constraints: 59351
1089.63/1092.57 c #Conflicts: 658000 | #Constraints: 60351
1089.63/1092.57 c #Conflicts: 659000 | #Constraints: 61351
1089.63/1092.57 c #Conflicts: 660000 | #Constraints: 62351
1089.63/1092.57 c #Conflicts: 661000 | #Constraints: 63351
1089.63/1092.57 c #Conflicts: 662000 | #Constraints: 64351
1089.63/1092.57 c #Conflicts: 663000 | #Constraints: 65351
1089.63/1092.57 c #Conflicts: 664000 | #Constraints: 66351
1089.63/1092.57 c #Conflicts: 665000 | #Constraints: 67351
1089.63/1092.57 c #Conflicts: 666000 | #Constraints: 68351
1089.63/1092.57 c #Conflicts: 667000 | #Constraints: 69351
1089.63/1092.57 c #Conflicts: 668000 | #Constraints: 70351
1089.63/1092.57 c #Conflicts: 669000 | #Constraints: 71351
1089.63/1092.57 c #Conflicts: 670000 | #Constraints: 72351
1089.63/1092.57 c #Conflicts: 671000 | #Constraints: 73351
1089.63/1092.57 c INPROCESSING
1089.63/1092.57 c GARBAGE COLLECT
1089.63/1092.57 c #Conflicts: 672000 | #Constraints: 58144
1089.63/1092.57 c #Conflicts: 673000 | #Constraints: 59144
1089.63/1092.57 c #Conflicts: 674000 | #Constraints: 60144
1089.63/1092.57 c #Conflicts: 675000 | #Constraints: 61144
1089.63/1092.57 c #Conflicts: 676000 | #Constraints: 62144
1089.63/1092.57 c #Conflicts: 677000 | #Constraints: 63144
1089.63/1092.57 c #Conflicts: 678000 | #Constraints: 64144
1089.63/1092.57 c #Conflicts: 679000 | #Constraints: 65144
1089.63/1092.57 c #Conflicts: 680000 | #Constraints: 66144
1089.63/1092.57 c #Conflicts: 681000 | #Constraints: 67144
1089.63/1092.57 c #Conflicts: 682000 | #Constraints: 68144
1089.63/1092.57 c #Conflicts: 683000 | #Constraints: 69144
1089.63/1092.57 c #Conflicts: 684000 | #Constraints: 70144
1089.63/1092.57 c #Conflicts: 685000 | #Constraints: 71144
1089.63/1092.57 c #Conflicts: 686000 | #Constraints: 72144
1089.63/1092.57 c #Conflicts: 687000 | #Constraints: 73144
1089.63/1092.57 c #Conflicts: 688000 | #Constraints: 74144
1089.63/1092.57 c INPROCESSING
1089.63/1092.57 c GARBAGE COLLECT
1089.63/1092.57 c #Conflicts: 689000 | #Constraints: 58751
1089.63/1092.57 c #Conflicts: 690000 | #Constraints: 59751
1089.63/1092.57 c #Conflicts: 691000 | #Constraints: 60751
1089.63/1092.57 c #Conflicts: 692000 | #Constraints: 61751
1089.63/1092.57 c #Conflicts: 693000 | #Constraints: 62751
1089.63/1092.57 c #Conflicts: 694000 | #Constraints: 63751
1089.63/1092.57 c #Conflicts: 695000 | #Constraints: 64751
1089.63/1092.57 c #Conflicts: 696000 | #Constraints: 65751
1089.63/1092.57 c #Conflicts: 697000 | #Constraints: 66751
1089.63/1092.57 c #Conflicts: 698000 | #Constraints: 67751
1089.63/1092.57 c #Conflicts: 699000 | #Constraints: 68751
1089.63/1092.57 c #Conflicts: 700000 | #Constraints: 69751
1089.63/1092.57 c #Conflicts: 701000 | #Constraints: 70751
1089.63/1092.57 c #Conflicts: 702000 | #Constraints: 71751
1089.63/1092.57 c #Conflicts: 703000 | #Constraints: 72751
1089.63/1092.57 c #Conflicts: 704000 | #Constraints: 73751
1089.63/1092.57 c #Conflicts: 705000 | #Constraints: 74751
1089.63/1092.57 c INPROCESSING
1089.63/1092.57 c GARBAGE COLLECT
1089.63/1092.57 c #Conflicts: 706000 | #Constraints: 59145
1089.63/1092.57 c #Conflicts: 707000 | #Constraints: 60145
1089.63/1092.57 c #Conflicts: 708000 | #Constraints: 61145
1089.63/1092.57 c #Conflicts: 709000 | #Constraints: 62145
1089.63/1092.57 c #Conflicts: 710000 | #Constraints: 63145
1089.63/1092.57 c #Conflicts: 711000 | #Constraints: 64145
1089.63/1092.57 c #Conflicts: 712000 | #Constraints: 65145
1089.63/1092.57 c #Conflicts: 713000 | #Constraints: 66145
1089.63/1092.57 c #Conflicts: 714000 | #Constraints: 67145
1089.63/1092.57 c #Conflicts: 715000 | #Constraints: 68145
1089.63/1092.57 c #Conflicts: 716000 | #Constraints: 69145
1089.63/1092.57 c #Conflicts: 717000 | #Constraints: 70145
1089.63/1092.57 c #Conflicts: 718000 | #Constraints: 71145
1089.63/1092.57 c #Conflicts: 719000 | #Constraints: 72145
1089.63/1092.57 c #Conflicts: 720000 | #Constraints: 73145
1089.63/1092.57 c #Conflicts: 721000 | #Constraints: 74145
1089.63/1092.57 c #Conflicts: 722000 | #Constraints: 75145
1089.63/1092.57 c INPROCESSING
1089.63/1092.57 c GARBAGE COLLECT
1089.63/1092.57 c #Conflicts: 723000 | #Constraints: 59338
1089.63/1092.57 c #Conflicts: 724000 | #Constraints: 60338
1089.63/1092.57 c #Conflicts: 725000 | #Constraints: 61338
1089.63/1092.57 c #Conflicts: 726000 | #Constraints: 62338
1089.63/1092.57 c #Conflicts: 727000 | #Constraints: 63338
1089.63/1092.57 c #Conflicts: 728000 | #Constraints: 64338
1089.63/1092.57 c #Conflicts: 729000 | #Constraints: 65338
1089.63/1092.57 c #Conflicts: 730000 | #Constraints: 66338
1089.63/1092.57 c #Conflicts: 731000 | #Constraints: 67338
1089.63/1092.57 c #Conflicts: 732000 | #Constraints: 68338
1231.28/1234.51 c #Conflicts: 733000 | #Constraints: 69338
1231.28/1234.51 c #Conflicts: 734000 | #Constraints: 70338
1231.28/1234.51 c #Conflicts: 735000 | #Constraints: 71338
1231.28/1234.51 c #Conflicts: 736000 | #Constraints: 72338
1231.28/1234.51 c #Conflicts: 737000 | #Constraints: 73338
1231.28/1234.51 c #Conflicts: 738000 | #Constraints: 74338
1231.28/1234.51 c #Conflicts: 739000 | #Constraints: 75338
1231.28/1234.51 c INPROCESSING
1231.28/1234.51 c GARBAGE COLLECT
1231.28/1234.51 c #Conflicts: 740000 | #Constraints: 59339
1231.28/1234.51 c #Conflicts: 741000 | #Constraints: 60339
1231.28/1234.51 c #Conflicts: 742000 | #Constraints: 61339
1231.28/1234.51 c #Conflicts: 743000 | #Constraints: 62339
1231.28/1234.51 c #Conflicts: 744000 | #Constraints: 63339
1231.28/1234.51 c #Conflicts: 745000 | #Constraints: 64339
1231.28/1234.51 c #Conflicts: 746000 | #Constraints: 65339
1231.28/1234.51 c #Conflicts: 747000 | #Constraints: 66339
1231.28/1234.51 c #Conflicts: 748000 | #Constraints: 67339
1231.28/1234.51 c #Conflicts: 749000 | #Constraints: 68339
1231.28/1234.51 c #Conflicts: 750000 | #Constraints: 69339
1231.28/1234.51 c #Conflicts: 751000 | #Constraints: 70339
1231.28/1234.51 c #Conflicts: 752000 | #Constraints: 71339
1231.28/1234.51 c #Conflicts: 753000 | #Constraints: 72339
1231.28/1234.51 c #Conflicts: 754000 | #Constraints: 73339
1231.28/1234.51 c #Conflicts: 755000 | #Constraints: 74339
1231.28/1234.51 c #Conflicts: 756000 | #Constraints: 75339
1231.28/1234.51 c INPROCESSING
1231.28/1234.51 c GARBAGE COLLECT
1231.28/1234.51 c #Conflicts: 757000 | #Constraints: 59146
1231.28/1234.51 c #Conflicts: 758000 | #Constraints: 60146
1231.28/1234.51 c #Conflicts: 759000 | #Constraints: 61146
1231.28/1234.51 c #Conflicts: 760000 | #Constraints: 62146
1231.28/1234.51 c #Conflicts: 761000 | #Constraints: 63146
1231.28/1234.51 c #Conflicts: 762000 | #Constraints: 64146
1231.28/1234.51 c #Conflicts: 763000 | #Constraints: 65146
1231.28/1234.51 c #Conflicts: 764000 | #Constraints: 66146
1231.28/1234.51 c #Conflicts: 765000 | #Constraints: 67146
1231.28/1234.51 c #Conflicts: 766000 | #Constraints: 68146
1231.28/1234.51 c #Conflicts: 767000 | #Constraints: 69146
1231.28/1234.51 c #Conflicts: 768000 | #Constraints: 70146
1231.28/1234.51 c #Conflicts: 769000 | #Constraints: 71146
1231.28/1234.51 c #Conflicts: 770000 | #Constraints: 72146
1231.28/1234.51 c #Conflicts: 771000 | #Constraints: 73146
1231.28/1234.51 c #Conflicts: 772000 | #Constraints: 74146
1231.28/1234.51 c #Conflicts: 773000 | #Constraints: 75146
1231.28/1234.51 c #Conflicts: 774000 | #Constraints: 76146
1231.28/1234.51 c INPROCESSING
1231.28/1234.51 c GARBAGE COLLECT
1231.28/1234.51 c #Conflicts: 775000 | #Constraints: 59752
1231.28/1234.51 c #Conflicts: 776000 | #Constraints: 60752
1231.28/1234.51 c #Conflicts: 777000 | #Constraints: 61752
1231.28/1234.51 c #Conflicts: 778000 | #Constraints: 62752
1231.28/1234.51 c #Conflicts: 779000 | #Constraints: 63752
1231.28/1234.51 c #Conflicts: 780000 | #Constraints: 64752
1231.28/1234.51 c #Conflicts: 781000 | #Constraints: 65752
1231.28/1234.51 c #Conflicts: 782000 | #Constraints: 66752
1231.28/1234.51 c #Conflicts: 783000 | #Constraints: 67752
1231.28/1234.51 c #Conflicts: 784000 | #Constraints: 68752
1231.28/1234.51 c #Conflicts: 785000 | #Constraints: 69752
1231.28/1234.51 c #Conflicts: 786000 | #Constraints: 70752
1231.28/1234.51 c #Conflicts: 787000 | #Constraints: 71752
1231.28/1234.51 c #Conflicts: 788000 | #Constraints: 72752
1231.28/1234.51 c #Conflicts: 789000 | #Constraints: 73752
1231.28/1234.51 c #Conflicts: 790000 | #Constraints: 74752
1231.28/1234.51 c #Conflicts: 791000 | #Constraints: 75752
1231.28/1234.51 c #Conflicts: 792000 | #Constraints: 76752
1231.28/1234.51 c INPROCESSING
1231.28/1234.51 c GARBAGE COLLECT
1231.28/1234.51 c #Conflicts: 793000 | #Constraints: 60166
1231.28/1234.51 c #Conflicts: 794000 | #Constraints: 61166
1231.28/1234.51 c #Conflicts: 795000 | #Constraints: 62166
1231.28/1234.51 c #Conflicts: 796000 | #Constraints: 63166
1231.28/1234.51 c #Conflicts: 797000 | #Constraints: 64166
1231.28/1234.51 c #Conflicts: 798000 | #Constraints: 65166
1231.28/1234.51 c #Conflicts: 799000 | #Constraints: 66166
1231.28/1234.51 c #Conflicts: 800000 | #Constraints: 67166
1231.28/1234.51 c #Conflicts: 801000 | #Constraints: 68166
1231.28/1234.51 c #Conflicts: 802000 | #Constraints: 69166
1231.28/1234.51 c #Conflicts: 803000 | #Constraints: 70166
1231.28/1234.51 c #Conflicts: 804000 | #Constraints: 71166
1231.28/1234.51 c #Conflicts: 805000 | #Constraints: 72166
1231.28/1234.51 c #Conflicts: 806000 | #Constraints: 73166
1231.28/1234.51 c #Conflicts: 807000 | #Constraints: 74166
1231.28/1234.51 c #Conflicts: 808000 | #Constraints: 75166
1373.81/1377.47 c #Conflicts: 809000 | #Constraints: 76166
1373.81/1377.47 c #Conflicts: 810000 | #Constraints: 77166
1373.81/1377.47 c INPROCESSING
1373.81/1377.47 c GARBAGE COLLECT
1373.81/1377.47 c #Conflicts: 811000 | #Constraints: 60357
1373.81/1377.47 c #Conflicts: 812000 | #Constraints: 61357
1373.81/1377.47 c #Conflicts: 813000 | #Constraints: 62357
1373.81/1377.47 c #Conflicts: 814000 | #Constraints: 63357
1373.81/1377.47 c #Conflicts: 815000 | #Constraints: 64357
1373.81/1377.47 c #Conflicts: 816000 | #Constraints: 65357
1373.81/1377.47 c #Conflicts: 817000 | #Constraints: 66357
1373.81/1377.47 c #Conflicts: 818000 | #Constraints: 67357
1373.81/1377.47 c #Conflicts: 819000 | #Constraints: 68357
1373.81/1377.47 c #Conflicts: 820000 | #Constraints: 69357
1373.81/1377.47 c #Conflicts: 821000 | #Constraints: 70357
1373.81/1377.47 c #Conflicts: 822000 | #Constraints: 71357
1373.81/1377.47 c #Conflicts: 823000 | #Constraints: 72357
1373.81/1377.47 c #Conflicts: 824000 | #Constraints: 73357
1373.81/1377.47 c #Conflicts: 825000 | #Constraints: 74357
1373.81/1377.47 c #Conflicts: 826000 | #Constraints: 75357
1373.81/1377.47 c #Conflicts: 827000 | #Constraints: 76357
1373.81/1377.47 c #Conflicts: 828000 | #Constraints: 77357
1373.81/1377.47 c INPROCESSING
1373.81/1377.47 c GARBAGE COLLECT
1373.81/1377.47 c #Conflicts: 829000 | #Constraints: 60344
1373.81/1377.47 c #Conflicts: 830000 | #Constraints: 61344
1373.81/1377.47 c #Conflicts: 831000 | #Constraints: 62344
1373.81/1377.47 c #Conflicts: 832000 | #Constraints: 63344
1373.81/1377.47 c #Conflicts: 833000 | #Constraints: 64344
1373.81/1377.47 c #Conflicts: 834000 | #Constraints: 65344
1373.81/1377.47 c #Conflicts: 835000 | #Constraints: 66344
1373.81/1377.47 c #Conflicts: 836000 | #Constraints: 67344
1373.81/1377.47 c #Conflicts: 837000 | #Constraints: 68344
1373.81/1377.47 c #Conflicts: 838000 | #Constraints: 69344
1373.81/1377.47 c #Conflicts: 839000 | #Constraints: 70344
1373.81/1377.47 c #Conflicts: 840000 | #Constraints: 71344
1373.81/1377.47 c #Conflicts: 841000 | #Constraints: 72344
1373.81/1377.47 c #Conflicts: 842000 | #Constraints: 73344
1373.81/1377.47 c #Conflicts: 843000 | #Constraints: 74344
1373.81/1377.47 c #Conflicts: 844000 | #Constraints: 75344
1373.81/1377.47 c #Conflicts: 845000 | #Constraints: 76344
1373.81/1377.47 c #Conflicts: 846000 | #Constraints: 77344
1373.81/1377.47 c INPROCESSING
1373.81/1377.47 c GARBAGE COLLECT
1373.81/1377.47 c #Conflicts: 847000 | #Constraints: 60142
1373.81/1377.47 c #Conflicts: 848000 | #Constraints: 61142
1373.81/1377.47 c #Conflicts: 849000 | #Constraints: 62142
1373.81/1377.47 c #Conflicts: 850000 | #Constraints: 63142
1373.81/1377.47 c #Conflicts: 851000 | #Constraints: 64142
1373.81/1377.47 c #Conflicts: 852000 | #Constraints: 65142
1373.81/1377.47 c #Conflicts: 853000 | #Constraints: 66142
1373.81/1377.47 c #Conflicts: 854000 | #Constraints: 67142
1373.81/1377.47 c #Conflicts: 855000 | #Constraints: 68142
1373.81/1377.47 c #Conflicts: 856000 | #Constraints: 69142
1373.81/1377.47 c #Conflicts: 857000 | #Constraints: 70142
1373.81/1377.47 c #Conflicts: 858000 | #Constraints: 71142
1373.81/1377.47 c #Conflicts: 859000 | #Constraints: 72142
1373.81/1377.47 c #Conflicts: 860000 | #Constraints: 73142
1373.81/1377.47 c #Conflicts: 861000 | #Constraints: 74142
1373.81/1377.47 c #Conflicts: 862000 | #Constraints: 75142
1373.81/1377.47 c #Conflicts: 863000 | #Constraints: 76142
1373.81/1377.47 c #Conflicts: 864000 | #Constraints: 77142
1373.81/1377.47 c #Conflicts: 865000 | #Constraints: 78142
1373.81/1377.47 c INPROCESSING
1373.81/1377.47 c GARBAGE COLLECT
1373.81/1377.47 c #Conflicts: 866000 | #Constraints: 60758
1373.81/1377.47 c #Conflicts: 867000 | #Constraints: 61758
1373.81/1377.47 c #Conflicts: 868000 | #Constraints: 62758
1373.81/1377.47 c #Conflicts: 869000 | #Constraints: 63758
1373.81/1377.47 c #Conflicts: 870000 | #Constraints: 64758
1373.81/1377.47 c #Conflicts: 871000 | #Constraints: 65758
1373.81/1377.47 c #Conflicts: 872000 | #Constraints: 66758
1373.81/1377.47 c #Conflicts: 873000 | #Constraints: 67758
1373.81/1377.47 c #Conflicts: 874000 | #Constraints: 68758
1373.81/1377.47 c #Conflicts: 875000 | #Constraints: 69758
1373.81/1377.47 c #Conflicts: 876000 | #Constraints: 70758
1373.81/1377.47 c #Conflicts: 877000 | #Constraints: 71758
1373.81/1377.47 c #Conflicts: 878000 | #Constraints: 72758
1373.81/1377.47 c #Conflicts: 879000 | #Constraints: 73758
1373.81/1377.47 c #Conflicts: 880000 | #Constraints: 74758
1373.81/1377.47 c #Conflicts: 881000 | #Constraints: 75758
1373.81/1377.47 c #Conflicts: 882000 | #Constraints: 76758
1373.81/1377.47 c #Conflicts: 883000 | #Constraints: 77758
1373.81/1377.47 c #Conflicts: 884000 | #Constraints: 78758
1516.33/1520.33 c INPROCESSING
1516.33/1520.33 c GARBAGE COLLECT
1516.33/1520.33 c #Conflicts: 885000 | #Constraints: 61170
1516.33/1520.33 c #Conflicts: 886000 | #Constraints: 62170
1516.33/1520.33 c #Conflicts: 887000 | #Constraints: 63170
1516.33/1520.33 c #Conflicts: 888000 | #Constraints: 64170
1516.33/1520.33 c #Conflicts: 889000 | #Constraints: 65170
1516.33/1520.33 c #Conflicts: 890000 | #Constraints: 66170
1516.33/1520.33 c #Conflicts: 891000 | #Constraints: 67170
1516.33/1520.33 c #Conflicts: 892000 | #Constraints: 68170
1516.33/1520.33 c #Conflicts: 893000 | #Constraints: 69170
1516.33/1520.33 c #Conflicts: 894000 | #Constraints: 70170
1516.33/1520.33 c #Conflicts: 895000 | #Constraints: 71170
1516.33/1520.33 c #Conflicts: 896000 | #Constraints: 72170
1516.33/1520.33 c #Conflicts: 897000 | #Constraints: 73170
1516.33/1520.33 c #Conflicts: 898000 | #Constraints: 74170
1516.33/1520.33 c #Conflicts: 899000 | #Constraints: 75170
1516.33/1520.33 c #Conflicts: 900000 | #Constraints: 76170
1516.33/1520.33 c #Conflicts: 901000 | #Constraints: 77170
1516.33/1520.33 c #Conflicts: 902000 | #Constraints: 78170
1516.33/1520.33 c #Conflicts: 903000 | #Constraints: 79170
1516.33/1520.33 c INPROCESSING
1516.33/1520.33 c GARBAGE COLLECT
1516.33/1520.33 c #Conflicts: 904000 | #Constraints: 61358
1516.33/1520.33 c #Conflicts: 905000 | #Constraints: 62358
1516.33/1520.33 c #Conflicts: 906000 | #Constraints: 63358
1516.33/1520.33 c #Conflicts: 907000 | #Constraints: 64358
1516.33/1520.33 c #Conflicts: 908000 | #Constraints: 65358
1516.33/1520.33 c #Conflicts: 909000 | #Constraints: 66358
1516.33/1520.33 c #Conflicts: 910000 | #Constraints: 67358
1516.33/1520.33 c #Conflicts: 911000 | #Constraints: 68358
1516.33/1520.33 c #Conflicts: 912000 | #Constraints: 69358
1516.33/1520.33 c #Conflicts: 913000 | #Constraints: 70358
1516.33/1520.33 c #Conflicts: 914000 | #Constraints: 71358
1516.33/1520.33 c #Conflicts: 915000 | #Constraints: 72358
1516.33/1520.33 c #Conflicts: 916000 | #Constraints: 73358
1516.33/1520.33 c #Conflicts: 917000 | #Constraints: 74358
1516.33/1520.33 c #Conflicts: 918000 | #Constraints: 75358
1516.33/1520.33 c #Conflicts: 919000 | #Constraints: 76358
1516.33/1520.33 c #Conflicts: 920000 | #Constraints: 77358
1516.33/1520.33 c #Conflicts: 921000 | #Constraints: 78358
1516.33/1520.33 c #Conflicts: 922000 | #Constraints: 79358
1516.33/1520.33 c INPROCESSING
1516.33/1520.33 c GARBAGE COLLECT
1516.33/1520.33 c #Conflicts: 923000 | #Constraints: 61339
1516.33/1520.33 c #Conflicts: 924000 | #Constraints: 62339
1516.33/1520.33 c #Conflicts: 925000 | #Constraints: 63339
1516.33/1520.33 c #Conflicts: 926000 | #Constraints: 64339
1516.33/1520.33 c #Conflicts: 927000 | #Constraints: 65339
1516.33/1520.33 c #Conflicts: 928000 | #Constraints: 66339
1516.33/1520.33 c #Conflicts: 929000 | #Constraints: 67339
1516.33/1520.33 c #Conflicts: 930000 | #Constraints: 68339
1516.33/1520.33 c #Conflicts: 931000 | #Constraints: 69339
1516.33/1520.33 c #Conflicts: 932000 | #Constraints: 70339
1516.33/1520.33 c #Conflicts: 933000 | #Constraints: 71339
1516.33/1520.33 c #Conflicts: 934000 | #Constraints: 72339
1516.33/1520.33 c #Conflicts: 935000 | #Constraints: 73339
1516.33/1520.33 c #Conflicts: 936000 | #Constraints: 74339
1516.33/1520.33 c #Conflicts: 937000 | #Constraints: 75339
1516.33/1520.33 c #Conflicts: 938000 | #Constraints: 76339
1516.33/1520.33 c #Conflicts: 939000 | #Constraints: 77339
1516.33/1520.33 c #Conflicts: 940000 | #Constraints: 78339
1516.33/1520.33 c #Conflicts: 941000 | #Constraints: 79339
1516.33/1520.33 c INPROCESSING
1516.33/1520.33 c GARBAGE COLLECT
1516.33/1520.33 c #Conflicts: 942000 | #Constraints: 61137
1516.33/1520.33 c #Conflicts: 943000 | #Constraints: 62137
1516.33/1520.33 c #Conflicts: 944000 | #Constraints: 63137
1516.33/1520.33 c #Conflicts: 945000 | #Constraints: 64137
1516.33/1520.33 c #Conflicts: 946000 | #Constraints: 65137
1516.33/1520.33 c #Conflicts: 947000 | #Constraints: 66137
1516.33/1520.33 c #Conflicts: 948000 | #Constraints: 67137
1516.33/1520.33 c #Conflicts: 949000 | #Constraints: 68137
1516.33/1520.33 c #Conflicts: 950000 | #Constraints: 69137
1516.33/1520.33 c #Conflicts: 951000 | #Constraints: 70137
1516.33/1520.33 c #Conflicts: 952000 | #Constraints: 71137
1516.33/1520.33 c #Conflicts: 953000 | #Constraints: 72137
1516.33/1520.33 c #Conflicts: 954000 | #Constraints: 73137
1516.33/1520.33 c #Conflicts: 955000 | #Constraints: 74137
1516.33/1520.33 c #Conflicts: 956000 | #Constraints: 75137
1516.33/1520.33 c #Conflicts: 957000 | #Constraints: 76137
1516.33/1520.33 c #Conflicts: 958000 | #Constraints: 77137
1516.33/1520.33 c #Conflicts: 959000 | #Constraints: 78137
1516.33/1520.33 c #Conflicts: 960000 | #Constraints: 79137
1642.22/1646.58 c #Conflicts: 961000 | #Constraints: 80137
1642.22/1646.58 c INPROCESSING
1642.22/1646.58 c GARBAGE COLLECT
1642.22/1646.58 c #Conflicts: 962000 | #Constraints: 61758
1642.22/1646.58 c #Conflicts: 963000 | #Constraints: 62758
1642.22/1646.58 c #Conflicts: 964000 | #Constraints: 63758
1642.22/1646.58 c #Conflicts: 965000 | #Constraints: 64758
1642.22/1646.58 c #Conflicts: 966000 | #Constraints: 65758
1642.22/1646.58 c #Conflicts: 967000 | #Constraints: 66758
1642.22/1646.58 c #Conflicts: 968000 | #Constraints: 67758
1642.22/1646.58 c #Conflicts: 969000 | #Constraints: 68758
1642.22/1646.58 c #Conflicts: 970000 | #Constraints: 69758
1642.22/1646.58 c #Conflicts: 971000 | #Constraints: 70758
1642.22/1646.58 c #Conflicts: 972000 | #Constraints: 71758
1642.22/1646.58 c #Conflicts: 973000 | #Constraints: 72758
1642.22/1646.58 c #Conflicts: 974000 | #Constraints: 73758
1642.22/1646.58 c #Conflicts: 975000 | #Constraints: 74758
1642.22/1646.58 c #Conflicts: 976000 | #Constraints: 75758
1642.22/1646.58 c #Conflicts: 977000 | #Constraints: 76758
1642.22/1646.58 c #Conflicts: 978000 | #Constraints: 77758
1642.22/1646.58 c #Conflicts: 979000 | #Constraints: 78758
1642.22/1646.58 c #Conflicts: 980000 | #Constraints: 79758
1642.22/1646.58 c #Conflicts: 981000 | #Constraints: 80758
1642.22/1646.58 c INPROCESSING
1642.22/1646.58 c GARBAGE COLLECT
1642.22/1646.58 c #Conflicts: 982000 | #Constraints: 62155
1642.22/1646.58 c #Conflicts: 983000 | #Constraints: 63155
1642.22/1646.58 c #Conflicts: 984000 | #Constraints: 64155
1642.22/1646.58 c #Conflicts: 985000 | #Constraints: 65155
1642.22/1646.58 c #Conflicts: 986000 | #Constraints: 66155
1642.22/1646.58 c #Conflicts: 987000 | #Constraints: 67155
1642.22/1646.58 c #Conflicts: 988000 | #Constraints: 68155
1642.22/1646.58 c #Conflicts: 989000 | #Constraints: 69155
1642.22/1646.58 c #Conflicts: 990000 | #Constraints: 70155
1642.22/1646.58 c #Conflicts: 991000 | #Constraints: 71155
1642.22/1646.58 c #Conflicts: 992000 | #Constraints: 72155
1642.22/1646.58 c #Conflicts: 993000 | #Constraints: 73155
1642.22/1646.58 c #Conflicts: 994000 | #Constraints: 74155
1642.22/1646.58 c #Conflicts: 995000 | #Constraints: 75155
1642.22/1646.58 c #Conflicts: 996000 | #Constraints: 76155
1642.22/1646.58 c #Conflicts: 997000 | #Constraints: 77155
1642.22/1646.58 c #Conflicts: 998000 | #Constraints: 78155
1642.22/1646.58 c #Conflicts: 999000 | #Constraints: 79155
1642.22/1646.58 c #Conflicts: 1000000 | #Constraints: 80155
1642.22/1646.58 c #Conflicts: 1001000 | #Constraints: 81155
1642.22/1646.58 c INPROCESSING
1642.22/1646.58 c GARBAGE COLLECT
1642.22/1646.58 c #Conflicts: 1002000 | #Constraints: 62355
1642.22/1646.58 c #Conflicts: 1003000 | #Constraints: 63355
1642.22/1646.58 c #Conflicts: 1004000 | #Constraints: 64355
1642.22/1646.58 c #Conflicts: 1005000 | #Constraints: 65355
1642.22/1646.58 c #Conflicts: 1006000 | #Constraints: 66355
1642.22/1646.58 c #Conflicts: 1007000 | #Constraints: 67355
1642.22/1646.58 c #Conflicts: 1008000 | #Constraints: 68355
1642.22/1646.58 c #Conflicts: 1009000 | #Constraints: 69355
1642.22/1646.58 c #Conflicts: 1010000 | #Constraints: 70355
1642.22/1646.58 c #Conflicts: 1011000 | #Constraints: 71355
1642.22/1646.58 c #Conflicts: 1012000 | #Constraints: 72355
1642.22/1646.58 c #Conflicts: 1013000 | #Constraints: 73355
1642.22/1646.58 c #Conflicts: 1014000 | #Constraints: 74355
1642.22/1646.58 c #Conflicts: 1015000 | #Constraints: 75355
1642.22/1646.58 c #Conflicts: 1016000 | #Constraints: 76355
1642.22/1646.58 c #Conflicts: 1017000 | #Constraints: 77355
1642.22/1646.58 c #Conflicts: 1018000 | #Constraints: 78355
1642.22/1646.58 c #Conflicts: 1019000 | #Constraints: 79355
1642.22/1646.58 c #Conflicts: 1020000 | #Constraints: 80355
1642.22/1646.58 c #Conflicts: 1021000 | #Constraints: 81355
1642.22/1646.58 c INPROCESSING
1642.22/1646.58 c GARBAGE COLLECT
1642.22/1646.58 c #Conflicts: 1022000 | #Constraints: 62353
1642.22/1646.58 c #Conflicts: 1023000 | #Constraints: 63353
1642.22/1646.58 c #Conflicts: 1024000 | #Constraints: 64353
1642.22/1646.58 c #Conflicts: 1025000 | #Constraints: 65353
1642.22/1646.58 c #Conflicts: 1026000 | #Constraints: 66353
1642.22/1646.58 c #Conflicts: 1027000 | #Constraints: 67353
1642.22/1646.58 c #Conflicts: 1028000 | #Constraints: 68353
1642.22/1646.58 c #Conflicts: 1029000 | #Constraints: 69353
1642.22/1646.58 c #Conflicts: 1030000 | #Constraints: 70353
1642.22/1646.58 c #Conflicts: 1031000 | #Constraints: 71353
1642.22/1646.58 c #Conflicts: 1032000 | #Constraints: 72353
1642.22/1646.58 c #Conflicts: 1033000 | #Constraints: 73353
1642.22/1646.58 c #Conflicts: 1034000 | #Constraints: 74353
1642.22/1646.58 c #Conflicts: 1035000 | #Constraints: 75353
1642.22/1646.58 c #Conflicts: 1036000 | #Constraints: 76353
1642.22/1646.58 c #Conflicts: 1037000 | #Constraints: 77353
1770.60/1775.22 c #Conflicts: 1038000 | #Constraints: 78353
1770.60/1775.22 c #Conflicts: 1039000 | #Constraints: 79353
1770.60/1775.22 c #Conflicts: 1040000 | #Constraints: 80353
1770.60/1775.22 c #Conflicts: 1041000 | #Constraints: 81353
1770.60/1775.22 c INPROCESSING
1770.60/1775.22 c GARBAGE COLLECT
1770.60/1775.22 c #Conflicts: 1042000 | #Constraints: 62157
1770.60/1775.22 c #Conflicts: 1043000 | #Constraints: 63157
1770.60/1775.22 c #Conflicts: 1044000 | #Constraints: 64157
1770.60/1775.22 c #Conflicts: 1045000 | #Constraints: 65157
1770.60/1775.22 c #Conflicts: 1046000 | #Constraints: 66157
1770.60/1775.22 c #Conflicts: 1047000 | #Constraints: 67157
1770.60/1775.22 c #Conflicts: 1048000 | #Constraints: 68157
1770.60/1775.22 c #Conflicts: 1049000 | #Constraints: 69157
1770.60/1775.22 c #Conflicts: 1050000 | #Constraints: 70157
1770.60/1775.22 c #Conflicts: 1051000 | #Constraints: 71157
1770.60/1775.22 c #Conflicts: 1052000 | #Constraints: 72157
1770.60/1775.22 c #Conflicts: 1053000 | #Constraints: 73157
1770.60/1775.22 c #Conflicts: 1054000 | #Constraints: 74157
1770.60/1775.22 c #Conflicts: 1055000 | #Constraints: 75157
1770.60/1775.22 c #Conflicts: 1056000 | #Constraints: 76157
1770.60/1775.22 c #Conflicts: 1057000 | #Constraints: 77157
1770.60/1775.22 c #Conflicts: 1058000 | #Constraints: 78157
1770.60/1775.22 c #Conflicts: 1059000 | #Constraints: 79157
1770.60/1775.22 c #Conflicts: 1060000 | #Constraints: 80157
1770.60/1775.22 c #Conflicts: 1061000 | #Constraints: 81157
1770.60/1775.22 c #Conflicts: 1062000 | #Constraints: 82157
1770.60/1775.22 c INPROCESSING
1770.60/1775.22 c GARBAGE COLLECT
1770.60/1775.22 c #Conflicts: 1063000 | #Constraints: 62761
1770.60/1775.22 c #Conflicts: 1064000 | #Constraints: 63761
1770.60/1775.22 c #Conflicts: 1065000 | #Constraints: 64761
1770.60/1775.22 c #Conflicts: 1066000 | #Constraints: 65761
1770.60/1775.22 c #Conflicts: 1067000 | #Constraints: 66761
1770.60/1775.22 c #Conflicts: 1068000 | #Constraints: 67761
1770.60/1775.22 c #Conflicts: 1069000 | #Constraints: 68761
1770.60/1775.22 c #Conflicts: 1070000 | #Constraints: 69761
1770.60/1775.22 c #Conflicts: 1071000 | #Constraints: 70761
1770.60/1775.22 c #Conflicts: 1072000 | #Constraints: 71761
1770.60/1775.22 c #Conflicts: 1073000 | #Constraints: 72761
1770.60/1775.22 c #Conflicts: 1074000 | #Constraints: 73761
1770.60/1775.22 c #Conflicts: 1075000 | #Constraints: 74761
1770.60/1775.22 c #Conflicts: 1076000 | #Constraints: 75761
1770.60/1775.22 c #Conflicts: 1077000 | #Constraints: 76761
1770.60/1775.22 c #Conflicts: 1078000 | #Constraints: 77761
1770.60/1775.22 c #Conflicts: 1079000 | #Constraints: 78761
1770.60/1775.22 c #Conflicts: 1080000 | #Constraints: 79761
1770.60/1775.22 c #Conflicts: 1081000 | #Constraints: 80761
1770.60/1775.22 c #Conflicts: 1082000 | #Constraints: 81761
1770.60/1775.22 c #Conflicts: 1083000 | #Constraints: 82761
1770.60/1775.22 c INPROCESSING
1770.60/1775.22 c GARBAGE COLLECT
1770.60/1775.22 c #Conflicts: 1084000 | #Constraints: 63174
1770.60/1775.22 c #Conflicts: 1085000 | #Constraints: 64174
1770.60/1775.22 c #Conflicts: 1086000 | #Constraints: 65174
1770.60/1775.22 c #Conflicts: 1087000 | #Constraints: 66174
1770.60/1775.22 c #Conflicts: 1088000 | #Constraints: 67174
1770.60/1775.22 c #Conflicts: 1089000 | #Constraints: 68174
1770.60/1775.22 c #Conflicts: 1090000 | #Constraints: 69174
1770.60/1775.22 c #Conflicts: 1091000 | #Constraints: 70174
1770.60/1775.22 c #Conflicts: 1092000 | #Constraints: 71174
1770.60/1775.22 c #Conflicts: 1093000 | #Constraints: 72174
1770.60/1775.22 c #Conflicts: 1094000 | #Constraints: 73174
1770.60/1775.22 c #Conflicts: 1095000 | #Constraints: 74174
1770.60/1775.22 c #Conflicts: 1096000 | #Constraints: 75174
1770.60/1775.22 c #Conflicts: 1097000 | #Constraints: 76174
1770.60/1775.22 c #Conflicts: 1098000 | #Constraints: 77174
1770.60/1775.22 c #Conflicts: 1099000 | #Constraints: 78174
1770.60/1775.22 c #Conflicts: 1100000 | #Constraints: 79174
1770.60/1775.22 c #Conflicts: 1101000 | #Constraints: 80174
1770.60/1775.22 c #Conflicts: 1102000 | #Constraints: 81174
1770.60/1775.22 c #Conflicts: 1103000 | #Constraints: 82174
1770.60/1775.22 c #Conflicts: 1104000 | #Constraints: 83174
1770.60/1775.22 c INPROCESSING
1770.60/1775.22 c GARBAGE COLLECT
1770.60/1775.22 c #Conflicts: 1105000 | #Constraints: 63349
1770.60/1775.22 c #Conflicts: 1106000 | #Constraints: 64349
1770.60/1775.22 c #Conflicts: 1107000 | #Constraints: 65349
1770.60/1775.22 c #Conflicts: 1108000 | #Constraints: 66349
1770.60/1775.22 c #Conflicts: 1109000 | #Constraints: 67349
1770.60/1775.22 c #Conflicts: 1110000 | #Constraints: 68349
1770.60/1775.22 c #Conflicts: 1111000 | #Constraints: 69349
1770.60/1775.22 c #Conflicts: 1112000 | #Constraints: 70349
1770.60/1775.22 c #Conflicts: 1113000 | #Constraints: 71349
1932.41/1937.40 c #Conflicts: 1114000 | #Constraints: 72349
1932.41/1937.40 c #Conflicts: 1115000 | #Constraints: 73349
1932.41/1937.40 c #Conflicts: 1116000 | #Constraints: 74349
1932.41/1937.40 c #Conflicts: 1117000 | #Constraints: 75349
1932.41/1937.40 c #Conflicts: 1118000 | #Constraints: 76349
1932.41/1937.40 c #Conflicts: 1119000 | #Constraints: 77349
1932.41/1937.40 c #Conflicts: 1120000 | #Constraints: 78349
1932.41/1937.40 c #Conflicts: 1121000 | #Constraints: 79349
1932.41/1937.40 c #Conflicts: 1122000 | #Constraints: 80349
1932.41/1937.40 c #Conflicts: 1123000 | #Constraints: 81349
1932.41/1937.40 c #Conflicts: 1124000 | #Constraints: 82349
1932.41/1937.40 c #Conflicts: 1125000 | #Constraints: 83349
1932.41/1937.40 c INPROCESSING
1932.41/1937.40 c GARBAGE COLLECT
1932.41/1937.40 c #Conflicts: 1126000 | #Constraints: 63337
1932.41/1937.40 c #Conflicts: 1127000 | #Constraints: 64337
1932.41/1937.40 c #Conflicts: 1128000 | #Constraints: 65337
1932.41/1937.40 c #Conflicts: 1129000 | #Constraints: 66337
1932.41/1937.40 c #Conflicts: 1130000 | #Constraints: 67337
1932.41/1937.40 c #Conflicts: 1131000 | #Constraints: 68337
1932.41/1937.40 c #Conflicts: 1132000 | #Constraints: 69337
1932.41/1937.40 c #Conflicts: 1133000 | #Constraints: 70337
1932.41/1937.40 c #Conflicts: 1134000 | #Constraints: 71337
1932.41/1937.40 c #Conflicts: 1135000 | #Constraints: 72337
1932.41/1937.40 c #Conflicts: 1136000 | #Constraints: 73337
1932.41/1937.40 c #Conflicts: 1137000 | #Constraints: 74337
1932.41/1937.40 c #Conflicts: 1138000 | #Constraints: 75337
1932.41/1937.40 c #Conflicts: 1139000 | #Constraints: 76337
1932.41/1937.40 c #Conflicts: 1140000 | #Constraints: 77337
1932.41/1937.40 c #Conflicts: 1141000 | #Constraints: 78337
1932.41/1937.40 c #Conflicts: 1142000 | #Constraints: 79337
1932.41/1937.40 c #Conflicts: 1143000 | #Constraints: 80337
1932.41/1937.40 c #Conflicts: 1144000 | #Constraints: 81337
1932.41/1937.40 c #Conflicts: 1145000 | #Constraints: 82337
1932.41/1937.40 c #Conflicts: 1146000 | #Constraints: 83337
1932.41/1937.40 c INPROCESSING
1932.41/1937.40 c GARBAGE COLLECT
1932.41/1937.40 c #Conflicts: 1147000 | #Constraints: 63137
1932.41/1937.40 c #Conflicts: 1148000 | #Constraints: 64137
1932.41/1937.40 c #Conflicts: 1149000 | #Constraints: 65137
1932.41/1937.40 c #Conflicts: 1150000 | #Constraints: 66137
1932.41/1937.40 c #Conflicts: 1151000 | #Constraints: 67137
1932.41/1937.40 c #Conflicts: 1152000 | #Constraints: 68137
1932.41/1937.40 c #Conflicts: 1153000 | #Constraints: 69137
1932.41/1937.40 c #Conflicts: 1154000 | #Constraints: 70137
1932.41/1937.40 c #Conflicts: 1155000 | #Constraints: 71137
1932.41/1937.40 c #Conflicts: 1156000 | #Constraints: 72137
1932.41/1937.40 c #Conflicts: 1157000 | #Constraints: 73137
1932.41/1937.40 c #Conflicts: 1158000 | #Constraints: 74137
1932.41/1937.40 c #Conflicts: 1159000 | #Constraints: 75137
1932.41/1937.40 c #Conflicts: 1160000 | #Constraints: 76137
1932.41/1937.40 c #Conflicts: 1161000 | #Constraints: 77137
1932.41/1937.40 c #Conflicts: 1162000 | #Constraints: 78137
1932.41/1937.40 c #Conflicts: 1163000 | #Constraints: 79137
1932.41/1937.40 c #Conflicts: 1164000 | #Constraints: 80137
1932.41/1937.40 c #Conflicts: 1165000 | #Constraints: 81137
1932.41/1937.40 c #Conflicts: 1166000 | #Constraints: 82137
1932.41/1937.40 c #Conflicts: 1167000 | #Constraints: 83137
1932.41/1937.40 c #Conflicts: 1168000 | #Constraints: 84137
1932.41/1937.40 c INPROCESSING
1932.41/1937.40 c GARBAGE COLLECT
1932.41/1937.40 c #Conflicts: 1169000 | #Constraints: 63731
1932.41/1937.40 c #Conflicts: 1170000 | #Constraints: 64731
1932.41/1937.40 c #Conflicts: 1171000 | #Constraints: 65731
1932.41/1937.40 c #Conflicts: 1172000 | #Constraints: 66731
1932.41/1937.40 c #Conflicts: 1173000 | #Constraints: 67731
1932.41/1937.40 c #Conflicts: 1174000 | #Constraints: 68731
1932.41/1937.40 c #Conflicts: 1175000 | #Constraints: 69731
1932.41/1937.40 c #Conflicts: 1176000 | #Constraints: 70731
1932.41/1937.40 c #Conflicts: 1177000 | #Constraints: 71731
1932.41/1937.40 c #Conflicts: 1178000 | #Constraints: 72731
1932.41/1937.40 c #Conflicts: 1179000 | #Constraints: 73731
1932.41/1937.40 c #Conflicts: 1180000 | #Constraints: 74731
1932.41/1937.40 c #Conflicts: 1181000 | #Constraints: 75731
1932.41/1937.40 c #Conflicts: 1182000 | #Constraints: 76731
1932.41/1937.40 c #Conflicts: 1183000 | #Constraints: 77731
1932.41/1937.40 c #Conflicts: 1184000 | #Constraints: 78731
1932.41/1937.40 c #Conflicts: 1185000 | #Constraints: 79731
1932.41/1937.40 c #Conflicts: 1186000 | #Constraints: 80731
1932.41/1937.40 c #Conflicts: 1187000 | #Constraints: 81731
1932.41/1937.40 c #Conflicts: 1188000 | #Constraints: 82731
1932.41/1937.40 c #Conflicts: 1189000 | #Constraints: 83731
1932.41/1937.40 c #Conflicts: 1190000 | #Constraints: 84731
2089.23/2094.69 c INPROCESSING
2089.23/2094.69 c GARBAGE COLLECT
2089.23/2094.69 c #Conflicts: 1191000 | #Constraints: 64154
2089.23/2094.69 c #Conflicts: 1192000 | #Constraints: 65154
2089.23/2094.69 c #Conflicts: 1193000 | #Constraints: 66154
2089.23/2094.69 c #Conflicts: 1194000 | #Constraints: 67154
2089.23/2094.69 c #Conflicts: 1195000 | #Constraints: 68154
2089.23/2094.69 c #Conflicts: 1196000 | #Constraints: 69154
2089.23/2094.69 c #Conflicts: 1197000 | #Constraints: 70154
2089.23/2094.69 c #Conflicts: 1198000 | #Constraints: 71154
2089.23/2094.69 c #Conflicts: 1199000 | #Constraints: 72154
2089.23/2094.69 c #Conflicts: 1200000 | #Constraints: 73154
2089.23/2094.69 c #Conflicts: 1201000 | #Constraints: 74154
2089.23/2094.69 c #Conflicts: 1202000 | #Constraints: 75154
2089.23/2094.69 c #Conflicts: 1203000 | #Constraints: 76154
2089.23/2094.69 c #Conflicts: 1204000 | #Constraints: 77154
2089.23/2094.69 c #Conflicts: 1205000 | #Constraints: 78154
2089.23/2094.69 c #Conflicts: 1206000 | #Constraints: 79154
2089.23/2094.69 c #Conflicts: 1207000 | #Constraints: 80154
2089.23/2094.69 c #Conflicts: 1208000 | #Constraints: 81154
2089.23/2094.69 c #Conflicts: 1209000 | #Constraints: 82154
2089.23/2094.69 c #Conflicts: 1210000 | #Constraints: 83154
2089.23/2094.69 c #Conflicts: 1211000 | #Constraints: 84154
2089.23/2094.69 c #Conflicts: 1212000 | #Constraints: 85154
2089.23/2094.69 c INPROCESSING
2089.23/2094.69 c GARBAGE COLLECT
2089.23/2094.69 c #Conflicts: 1213000 | #Constraints: 64359
2089.23/2094.69 c #Conflicts: 1214000 | #Constraints: 65359
2089.23/2094.69 c #Conflicts: 1215000 | #Constraints: 66359
2089.23/2094.69 c #Conflicts: 1216000 | #Constraints: 67359
2089.23/2094.69 c #Conflicts: 1217000 | #Constraints: 68359
2089.23/2094.69 c #Conflicts: 1218000 | #Constraints: 69359
2089.23/2094.69 c #Conflicts: 1219000 | #Constraints: 70359
2089.23/2094.69 c #Conflicts: 1220000 | #Constraints: 71359
2089.23/2094.69 c #Conflicts: 1221000 | #Constraints: 72359
2089.23/2094.69 c #Conflicts: 1222000 | #Constraints: 73359
2089.23/2094.69 c #Conflicts: 1223000 | #Constraints: 74359
2089.23/2094.69 c #Conflicts: 1224000 | #Constraints: 75359
2089.23/2094.69 c #Conflicts: 1225000 | #Constraints: 76359
2089.23/2094.69 c #Conflicts: 1226000 | #Constraints: 77359
2089.23/2094.69 c #Conflicts: 1227000 | #Constraints: 78359
2089.23/2094.69 c #Conflicts: 1228000 | #Constraints: 79359
2089.23/2094.69 c #Conflicts: 1229000 | #Constraints: 80359
2089.23/2094.69 c #Conflicts: 1230000 | #Constraints: 81359
2089.23/2094.69 c #Conflicts: 1231000 | #Constraints: 82359
2089.23/2094.69 c #Conflicts: 1232000 | #Constraints: 83359
2089.23/2094.69 c #Conflicts: 1233000 | #Constraints: 84359
2089.23/2094.69 c #Conflicts: 1234000 | #Constraints: 85359
2089.23/2094.69 c INPROCESSING
2089.23/2094.69 c GARBAGE COLLECT
2089.23/2094.69 c #Conflicts: 1235000 | #Constraints: 64366
2089.23/2094.69 c #Conflicts: 1236000 | #Constraints: 65366
2089.23/2094.69 c #Conflicts: 1237000 | #Constraints: 66366
2089.23/2094.69 c #Conflicts: 1238000 | #Constraints: 67366
2089.23/2094.69 c #Conflicts: 1239000 | #Constraints: 68366
2089.23/2094.69 c #Conflicts: 1240000 | #Constraints: 69366
2089.23/2094.69 c #Conflicts: 1241000 | #Constraints: 70366
2089.23/2094.69 c #Conflicts: 1242000 | #Constraints: 71366
2089.23/2094.69 c #Conflicts: 1243000 | #Constraints: 72366
2089.23/2094.69 c #Conflicts: 1244000 | #Constraints: 73366
2089.23/2094.69 c #Conflicts: 1245000 | #Constraints: 74366
2089.23/2094.69 c #Conflicts: 1246000 | #Constraints: 75366
2089.23/2094.69 c #Conflicts: 1247000 | #Constraints: 76366
2089.23/2094.69 c #Conflicts: 1248000 | #Constraints: 77366
2089.23/2094.69 c #Conflicts: 1249000 | #Constraints: 78366
2089.23/2094.69 c #Conflicts: 1250000 | #Constraints: 79366
2089.23/2094.69 c #Conflicts: 1251000 | #Constraints: 80366
2089.23/2094.69 c #Conflicts: 1252000 | #Constraints: 81366
2089.23/2094.69 c #Conflicts: 1253000 | #Constraints: 82366
2089.23/2094.69 c #Conflicts: 1254000 | #Constraints: 83366
2089.23/2094.69 c #Conflicts: 1255000 | #Constraints: 84366
2089.23/2094.69 c #Conflicts: 1256000 | #Constraints: 85366
2089.23/2094.69 c INPROCESSING
2089.23/2094.69 c GARBAGE COLLECT
2089.23/2094.69 c #Conflicts: 1257000 | #Constraints: 64170
2089.23/2094.69 c #Conflicts: 1258000 | #Constraints: 65170
2089.23/2094.69 c #Conflicts: 1259000 | #Constraints: 66170
2089.23/2094.69 c #Conflicts: 1260000 | #Constraints: 67170
2089.23/2094.69 c #Conflicts: 1261000 | #Constraints: 68170
2089.23/2094.69 c #Conflicts: 1262000 | #Constraints: 69170
2089.23/2094.69 c #Conflicts: 1263000 | #Constraints: 70170
2089.23/2094.69 c #Conflicts: 1264000 | #Constraints: 71170
2089.23/2094.69 c #Conflicts: 1265000 | #Constraints: 72170
2089.23/2094.69 c #Conflicts: 1266000 | #Constraints: 73170
2287.43/2293.42 c #Conflicts: 1267000 | #Constraints: 74170
2287.43/2293.42 c #Conflicts: 1268000 | #Constraints: 75170
2287.43/2293.42 c #Conflicts: 1269000 | #Constraints: 76170
2287.43/2293.42 c #Conflicts: 1270000 | #Constraints: 77170
2287.43/2293.42 c #Conflicts: 1271000 | #Constraints: 78170
2287.43/2293.42 c #Conflicts: 1272000 | #Constraints: 79170
2287.43/2293.42 c #Conflicts: 1273000 | #Constraints: 80170
2287.43/2293.42 c #Conflicts: 1274000 | #Constraints: 81170
2287.43/2293.42 c #Conflicts: 1275000 | #Constraints: 82170
2287.43/2293.42 c #Conflicts: 1276000 | #Constraints: 83170
2287.43/2293.42 c #Conflicts: 1277000 | #Constraints: 84170
2287.43/2293.42 c #Conflicts: 1278000 | #Constraints: 85170
2287.43/2293.42 c #Conflicts: 1279000 | #Constraints: 86170
2287.43/2293.42 c INPROCESSING
2287.43/2293.42 c GARBAGE COLLECT
2287.43/2293.42 c #Conflicts: 1280000 | #Constraints: 64747
2287.43/2293.42 c #Conflicts: 1281000 | #Constraints: 65747
2287.43/2293.42 c #Conflicts: 1282000 | #Constraints: 66747
2287.43/2293.42 c #Conflicts: 1283000 | #Constraints: 67747
2287.43/2293.42 c #Conflicts: 1284000 | #Constraints: 68747
2287.43/2293.42 c #Conflicts: 1285000 | #Constraints: 69747
2287.43/2293.42 c #Conflicts: 1286000 | #Constraints: 70747
2287.43/2293.42 c #Conflicts: 1287000 | #Constraints: 71747
2287.43/2293.42 c #Conflicts: 1288000 | #Constraints: 72747
2287.43/2293.42 c #Conflicts: 1289000 | #Constraints: 73747
2287.43/2293.42 c #Conflicts: 1290000 | #Constraints: 74747
2287.43/2293.42 c #Conflicts: 1291000 | #Constraints: 75747
2287.43/2293.42 c #Conflicts: 1292000 | #Constraints: 76747
2287.43/2293.42 c #Conflicts: 1293000 | #Constraints: 77747
2287.43/2293.42 c #Conflicts: 1294000 | #Constraints: 78747
2287.43/2293.42 c #Conflicts: 1295000 | #Constraints: 79747
2287.43/2293.42 c #Conflicts: 1296000 | #Constraints: 80747
2287.43/2293.42 c #Conflicts: 1297000 | #Constraints: 81747
2287.43/2293.42 c #Conflicts: 1298000 | #Constraints: 82747
2287.43/2293.42 c #Conflicts: 1299000 | #Constraints: 83747
2287.43/2293.42 c #Conflicts: 1300000 | #Constraints: 84747
2287.43/2293.42 c #Conflicts: 1301000 | #Constraints: 85747
2287.43/2293.42 c #Conflicts: 1302000 | #Constraints: 86747
2287.43/2293.42 c INPROCESSING
2287.43/2293.42 c GARBAGE COLLECT
2287.43/2293.42 c #Conflicts: 1303000 | #Constraints: 65136
2287.43/2293.42 c #Conflicts: 1304000 | #Constraints: 66136
2287.43/2293.42 c #Conflicts: 1305000 | #Constraints: 67136
2287.43/2293.42 c #Conflicts: 1306000 | #Constraints: 68136
2287.43/2293.42 c #Conflicts: 1307000 | #Constraints: 69136
2287.43/2293.42 c #Conflicts: 1308000 | #Constraints: 70136
2287.43/2293.42 c #Conflicts: 1309000 | #Constraints: 71136
2287.43/2293.42 c #Conflicts: 1310000 | #Constraints: 72136
2287.43/2293.42 c #Conflicts: 1311000 | #Constraints: 73136
2287.43/2293.42 c #Conflicts: 1312000 | #Constraints: 74136
2287.43/2293.42 c #Conflicts: 1313000 | #Constraints: 75136
2287.43/2293.42 c #Conflicts: 1314000 | #Constraints: 76136
2287.43/2293.42 c #Conflicts: 1315000 | #Constraints: 77136
2287.43/2293.42 c #Conflicts: 1316000 | #Constraints: 78136
2287.43/2293.42 c #Conflicts: 1317000 | #Constraints: 79136
2287.43/2293.42 c #Conflicts: 1318000 | #Constraints: 80136
2287.43/2293.42 c #Conflicts: 1319000 | #Constraints: 81136
2287.43/2293.42 c #Conflicts: 1320000 | #Constraints: 82136
2287.43/2293.42 c #Conflicts: 1321000 | #Constraints: 83136
2287.43/2293.42 c #Conflicts: 1322000 | #Constraints: 84136
2287.43/2293.42 c #Conflicts: 1323000 | #Constraints: 85136
2287.43/2293.42 c #Conflicts: 1324000 | #Constraints: 86136
2287.43/2293.42 c #Conflicts: 1325000 | #Constraints: 87136
2287.43/2293.42 c INPROCESSING
2287.43/2293.42 c GARBAGE COLLECT
2287.43/2293.42 c #Conflicts: 1326000 | #Constraints: 65353
2287.43/2293.42 c #Conflicts: 1327000 | #Constraints: 66353
2287.43/2293.42 c #Conflicts: 1328000 | #Constraints: 67353
2287.43/2293.42 c #Conflicts: 1329000 | #Constraints: 68353
2287.43/2293.42 c #Conflicts: 1330000 | #Constraints: 69353
2287.43/2293.42 c #Conflicts: 1331000 | #Constraints: 70353
2287.43/2293.42 c #Conflicts: 1332000 | #Constraints: 71353
2287.43/2293.42 c #Conflicts: 1333000 | #Constraints: 72353
2287.43/2293.42 c #Conflicts: 1334000 | #Constraints: 73353
2287.43/2293.42 c #Conflicts: 1335000 | #Constraints: 74353
2287.43/2293.42 c #Conflicts: 1336000 | #Constraints: 75353
2287.43/2293.42 c #Conflicts: 1337000 | #Constraints: 76353
2287.43/2293.42 c #Conflicts: 1338000 | #Constraints: 77353
2287.43/2293.42 c #Conflicts: 1339000 | #Constraints: 78353
2287.43/2293.42 c #Conflicts: 1340000 | #Constraints: 79353
2287.43/2293.42 c #Conflicts: 1341000 | #Constraints: 80353
2287.43/2293.42 c #Conflicts: 1342000 | #Constraints: 81353
2287.43/2293.42 c #Conflicts: 1343000 | #Constraints: 82353
2508.01/2514.78 c #Conflicts: 1344000 | #Constraints: 83353
2508.01/2514.78 c #Conflicts: 1345000 | #Constraints: 84353
2508.01/2514.78 c #Conflicts: 1346000 | #Constraints: 85353
2508.01/2514.78 c #Conflicts: 1347000 | #Constraints: 86353
2508.01/2514.78 c #Conflicts: 1348000 | #Constraints: 87353
2508.01/2514.78 c INPROCESSING
2508.01/2514.78 c GARBAGE COLLECT
2508.01/2514.78 c #Conflicts: 1349000 | #Constraints: 65349
2508.01/2514.78 c #Conflicts: 1350000 | #Constraints: 66349
2508.01/2514.78 c #Conflicts: 1351000 | #Constraints: 67349
2508.01/2514.78 c #Conflicts: 1352000 | #Constraints: 68349
2508.01/2514.78 c #Conflicts: 1353000 | #Constraints: 69349
2508.01/2514.78 c #Conflicts: 1354000 | #Constraints: 70349
2508.01/2514.78 c #Conflicts: 1355000 | #Constraints: 71349
2508.01/2514.78 c #Conflicts: 1356000 | #Constraints: 72349
2508.01/2514.78 c #Conflicts: 1357000 | #Constraints: 73349
2508.01/2514.78 c #Conflicts: 1358000 | #Constraints: 74349
2508.01/2514.78 c #Conflicts: 1359000 | #Constraints: 75349
2508.01/2514.78 c #Conflicts: 1360000 | #Constraints: 76349
2508.01/2514.78 c #Conflicts: 1361000 | #Constraints: 77349
2508.01/2514.78 c #Conflicts: 1362000 | #Constraints: 78349
2508.01/2514.78 c #Conflicts: 1363000 | #Constraints: 79349
2508.01/2514.78 c #Conflicts: 1364000 | #Constraints: 80349
2508.01/2514.78 c #Conflicts: 1365000 | #Constraints: 81349
2508.01/2514.78 c #Conflicts: 1366000 | #Constraints: 82349
2508.01/2514.78 c #Conflicts: 1367000 | #Constraints: 83349
2508.01/2514.78 c #Conflicts: 1368000 | #Constraints: 84349
2508.01/2514.78 c #Conflicts: 1369000 | #Constraints: 85349
2508.01/2514.78 c #Conflicts: 1370000 | #Constraints: 86349
2508.01/2514.78 c #Conflicts: 1371000 | #Constraints: 87349
2508.01/2514.78 c INPROCESSING
2508.01/2514.78 c GARBAGE COLLECT
2508.01/2514.78 c #Conflicts: 1372000 | #Constraints: 65154
2508.01/2514.78 c #Conflicts: 1373000 | #Constraints: 66154
2508.01/2514.78 c #Conflicts: 1374000 | #Constraints: 67154
2508.01/2514.78 c #Conflicts: 1375000 | #Constraints: 68154
2508.01/2514.78 c #Conflicts: 1376000 | #Constraints: 69154
2508.01/2514.78 c #Conflicts: 1377000 | #Constraints: 70154
2508.01/2514.78 c #Conflicts: 1378000 | #Constraints: 71154
2508.01/2514.78 c #Conflicts: 1379000 | #Constraints: 72154
2508.01/2514.78 c #Conflicts: 1380000 | #Constraints: 73154
2508.01/2514.78 c #Conflicts: 1381000 | #Constraints: 74154
2508.01/2514.78 c #Conflicts: 1382000 | #Constraints: 75154
2508.01/2514.78 c #Conflicts: 1383000 | #Constraints: 76154
2508.01/2514.78 c #Conflicts: 1384000 | #Constraints: 77154
2508.01/2514.78 c #Conflicts: 1385000 | #Constraints: 78154
2508.01/2514.78 c #Conflicts: 1386000 | #Constraints: 79154
2508.01/2514.78 c #Conflicts: 1387000 | #Constraints: 80154
2508.01/2514.78 c #Conflicts: 1388000 | #Constraints: 81154
2508.01/2514.78 c #Conflicts: 1389000 | #Constraints: 82154
2508.01/2514.78 c #Conflicts: 1390000 | #Constraints: 83154
2508.01/2514.78 c #Conflicts: 1391000 | #Constraints: 84154
2508.01/2514.78 c #Conflicts: 1392000 | #Constraints: 85154
2508.01/2514.78 c #Conflicts: 1393000 | #Constraints: 86154
2508.01/2514.78 c #Conflicts: 1394000 | #Constraints: 87154
2508.01/2514.78 c #Conflicts: 1395000 | #Constraints: 88154
2508.01/2514.78 c INPROCESSING
2508.01/2514.78 c GARBAGE COLLECT
2508.01/2514.78 c #Conflicts: 1396000 | #Constraints: 65760
2508.01/2514.78 c #Conflicts: 1397000 | #Constraints: 66760
2508.01/2514.78 c #Conflicts: 1398000 | #Constraints: 67760
2508.01/2514.78 c #Conflicts: 1399000 | #Constraints: 68760
2508.01/2514.78 c #Conflicts: 1400000 | #Constraints: 69760
2508.01/2514.78 c #Conflicts: 1401000 | #Constraints: 70760
2508.01/2514.78 c #Conflicts: 1402000 | #Constraints: 71760
2508.01/2514.78 c #Conflicts: 1403000 | #Constraints: 72760
2508.01/2514.78 c #Conflicts: 1404000 | #Constraints: 73760
2508.01/2514.78 c #Conflicts: 1405000 | #Constraints: 74760
2508.01/2514.78 c #Conflicts: 1406000 | #Constraints: 75760
2508.01/2514.78 c #Conflicts: 1407000 | #Constraints: 76760
2508.01/2514.78 c #Conflicts: 1408000 | #Constraints: 77760
2508.01/2514.78 c #Conflicts: 1409000 | #Constraints: 78760
2508.01/2514.78 c #Conflicts: 1410000 | #Constraints: 79760
2508.01/2514.78 c #Conflicts: 1411000 | #Constraints: 80760
2508.01/2514.78 c #Conflicts: 1412000 | #Constraints: 81760
2508.01/2514.78 c #Conflicts: 1413000 | #Constraints: 82760
2508.01/2514.78 c #Conflicts: 1414000 | #Constraints: 83760
2508.01/2514.78 c #Conflicts: 1415000 | #Constraints: 84760
2508.01/2514.78 c #Conflicts: 1416000 | #Constraints: 85760
2508.01/2514.78 c #Conflicts: 1417000 | #Constraints: 86760
2508.01/2514.78 c #Conflicts: 1418000 | #Constraints: 87760
2508.01/2514.78 c #Conflicts: 1419000 | #Constraints: 88760
2508.01/2514.78 c INPROCESSING
2740.02/2747.47 c GARBAGE COLLECT
2740.02/2747.47 c #Conflicts: 1420000 | #Constraints: 66142
2740.02/2747.47 c #Conflicts: 1421000 | #Constraints: 67142
2740.02/2747.47 c #Conflicts: 1422000 | #Constraints: 68142
2740.02/2747.47 c #Conflicts: 1423000 | #Constraints: 69142
2740.02/2747.47 c #Conflicts: 1424000 | #Constraints: 70142
2740.02/2747.47 c #Conflicts: 1425000 | #Constraints: 71142
2740.02/2747.47 c #Conflicts: 1426000 | #Constraints: 72142
2740.02/2747.47 c #Conflicts: 1427000 | #Constraints: 73142
2740.02/2747.47 c #Conflicts: 1428000 | #Constraints: 74142
2740.02/2747.47 c #Conflicts: 1429000 | #Constraints: 75142
2740.02/2747.47 c #Conflicts: 1430000 | #Constraints: 76142
2740.02/2747.47 c #Conflicts: 1431000 | #Constraints: 77142
2740.02/2747.47 c #Conflicts: 1432000 | #Constraints: 78142
2740.02/2747.47 c #Conflicts: 1433000 | #Constraints: 79142
2740.02/2747.47 c #Conflicts: 1434000 | #Constraints: 80142
2740.02/2747.47 c #Conflicts: 1435000 | #Constraints: 81142
2740.02/2747.47 c #Conflicts: 1436000 | #Constraints: 82142
2740.02/2747.47 c #Conflicts: 1437000 | #Constraints: 83142
2740.02/2747.47 c #Conflicts: 1438000 | #Constraints: 84142
2740.02/2747.47 c #Conflicts: 1439000 | #Constraints: 85142
2740.02/2747.47 c #Conflicts: 1440000 | #Constraints: 86142
2740.02/2747.47 c #Conflicts: 1441000 | #Constraints: 87142
2740.02/2747.47 c #Conflicts: 1442000 | #Constraints: 88142
2740.02/2747.47 c #Conflicts: 1443000 | #Constraints: 89142
2740.02/2747.47 c INPROCESSING
2740.02/2747.47 c GARBAGE COLLECT
2740.02/2747.47 c #Conflicts: 1444000 | #Constraints: 66351
2740.02/2747.47 c #Conflicts: 1445000 | #Constraints: 67351
2740.02/2747.47 c #Conflicts: 1446000 | #Constraints: 68351
2740.02/2747.47 c #Conflicts: 1447000 | #Constraints: 69351
2740.02/2747.47 c #Conflicts: 1448000 | #Constraints: 70351
2740.02/2747.47 c #Conflicts: 1449000 | #Constraints: 71351
2740.02/2747.47 c #Conflicts: 1450000 | #Constraints: 72351
2740.02/2747.47 c #Conflicts: 1451000 | #Constraints: 73351
2740.02/2747.47 c #Conflicts: 1452000 | #Constraints: 74351
2740.02/2747.47 c #Conflicts: 1453000 | #Constraints: 75351
2740.02/2747.47 c #Conflicts: 1454000 | #Constraints: 76351
2740.02/2747.47 c #Conflicts: 1455000 | #Constraints: 77351
2740.02/2747.47 c #Conflicts: 1456000 | #Constraints: 78351
2740.02/2747.47 c #Conflicts: 1457000 | #Constraints: 79351
2740.02/2747.47 c #Conflicts: 1458000 | #Constraints: 80351
2740.02/2747.47 c #Conflicts: 1459000 | #Constraints: 81351
2740.02/2747.47 c #Conflicts: 1460000 | #Constraints: 82351
2740.02/2747.47 c #Conflicts: 1461000 | #Constraints: 83351
2740.02/2747.47 c #Conflicts: 1462000 | #Constraints: 84351
2740.02/2747.47 c #Conflicts: 1463000 | #Constraints: 85351
2740.02/2747.47 c #Conflicts: 1464000 | #Constraints: 86351
2740.02/2747.47 c #Conflicts: 1465000 | #Constraints: 87351
2740.02/2747.47 c #Conflicts: 1466000 | #Constraints: 88351
2740.02/2747.47 c #Conflicts: 1467000 | #Constraints: 89351
2740.02/2747.47 c INPROCESSING
2740.02/2747.47 c GARBAGE COLLECT
2740.02/2747.47 c #Conflicts: 1468000 | #Constraints: 66375
2740.02/2747.47 c #Conflicts: 1469000 | #Constraints: 67375
2740.02/2747.47 c #Conflicts: 1470000 | #Constraints: 68375
2740.02/2747.47 c #Conflicts: 1471000 | #Constraints: 69375
2740.02/2747.47 c #Conflicts: 1472000 | #Constraints: 70375
2740.02/2747.47 c #Conflicts: 1473000 | #Constraints: 71375
2740.02/2747.47 c #Conflicts: 1474000 | #Constraints: 72375
2740.02/2747.47 c #Conflicts: 1475000 | #Constraints: 73375
2740.02/2747.47 c #Conflicts: 1476000 | #Constraints: 74375
2740.02/2747.47 c #Conflicts: 1477000 | #Constraints: 75375
2740.02/2747.47 c #Conflicts: 1478000 | #Constraints: 76375
2740.02/2747.47 c #Conflicts: 1479000 | #Constraints: 77375
2740.02/2747.47 c #Conflicts: 1480000 | #Constraints: 78375
2740.02/2747.47 c #Conflicts: 1481000 | #Constraints: 79375
2740.02/2747.47 c #Conflicts: 1482000 | #Constraints: 80375
2740.02/2747.47 c #Conflicts: 1483000 | #Constraints: 81375
2740.02/2747.47 c #Conflicts: 1484000 | #Constraints: 82375
2740.02/2747.47 c #Conflicts: 1485000 | #Constraints: 83375
2740.02/2747.47 c #Conflicts: 1486000 | #Constraints: 84375
2740.02/2747.47 c #Conflicts: 1487000 | #Constraints: 85375
2740.02/2747.47 c #Conflicts: 1488000 | #Constraints: 86375
2740.02/2747.47 c #Conflicts: 1489000 | #Constraints: 87375
2740.02/2747.47 c #Conflicts: 1490000 | #Constraints: 88375
2740.02/2747.47 c #Conflicts: 1491000 | #Constraints: 89375
2740.02/2747.47 c INPROCESSING
2740.02/2747.47 c GARBAGE COLLECT
2740.02/2747.47 c #Conflicts: 1492000 | #Constraints: 66171
2740.02/2747.47 c #Conflicts: 1493000 | #Constraints: 67171
2740.02/2747.47 c #Conflicts: 1494000 | #Constraints: 68171
2740.02/2747.47 c #Conflicts: 1495000 | #Constraints: 69171
2740.02/2747.47 c #Conflicts: 1496000 | #Constraints: 70171
2974.12/2982.27 c #Conflicts: 1497000 | #Constraints: 71171
2974.12/2982.27 c #Conflicts: 1498000 | #Constraints: 72171
2974.12/2982.27 c #Conflicts: 1499000 | #Constraints: 73171
2974.12/2982.27 c #Conflicts: 1500000 | #Constraints: 74171
2974.12/2982.27 c #Conflicts: 1501000 | #Constraints: 75171
2974.12/2982.27 c #Conflicts: 1502000 | #Constraints: 76171
2974.12/2982.27 c #Conflicts: 1503000 | #Constraints: 77171
2974.12/2982.27 c #Conflicts: 1504000 | #Constraints: 78171
2974.12/2982.27 c #Conflicts: 1505000 | #Constraints: 79171
2974.12/2982.27 c #Conflicts: 1506000 | #Constraints: 80171
2974.12/2982.27 c #Conflicts: 1507000 | #Constraints: 81171
2974.12/2982.27 c #Conflicts: 1508000 | #Constraints: 82171
2974.12/2982.27 c #Conflicts: 1509000 | #Constraints: 83171
2974.12/2982.27 c #Conflicts: 1510000 | #Constraints: 84171
2974.12/2982.27 c #Conflicts: 1511000 | #Constraints: 85171
2974.12/2982.27 c #Conflicts: 1512000 | #Constraints: 86171
2974.12/2982.27 c #Conflicts: 1513000 | #Constraints: 87171
2974.12/2982.27 c #Conflicts: 1514000 | #Constraints: 88171
2974.12/2982.27 c #Conflicts: 1515000 | #Constraints: 89171
2974.12/2982.27 c #Conflicts: 1516000 | #Constraints: 90171
2974.12/2982.27 c INPROCESSING
2974.12/2982.27 c GARBAGE COLLECT
2974.12/2982.27 c #Conflicts: 1517000 | #Constraints: 66753
2974.12/2982.27 c #Conflicts: 1518000 | #Constraints: 67753
2974.12/2982.27 c #Conflicts: 1519000 | #Constraints: 68753
2974.12/2982.27 c #Conflicts: 1520000 | #Constraints: 69753
2974.12/2982.27 c #Conflicts: 1521000 | #Constraints: 70753
2974.12/2982.27 c #Conflicts: 1522000 | #Constraints: 71753
2974.12/2982.27 c #Conflicts: 1523000 | #Constraints: 72753
2974.12/2982.27 c #Conflicts: 1524000 | #Constraints: 73753
2974.12/2982.27 c #Conflicts: 1525000 | #Constraints: 74753
2974.12/2982.27 c #Conflicts: 1526000 | #Constraints: 75753
2974.12/2982.27 c #Conflicts: 1527000 | #Constraints: 76753
2974.12/2982.27 c #Conflicts: 1528000 | #Constraints: 77753
2974.12/2982.27 c #Conflicts: 1529000 | #Constraints: 78753
2974.12/2982.27 c #Conflicts: 1530000 | #Constraints: 79753
2974.12/2982.27 c #Conflicts: 1531000 | #Constraints: 80753
2974.12/2982.27 c #Conflicts: 1532000 | #Constraints: 81753
2974.12/2982.27 c #Conflicts: 1533000 | #Constraints: 82753
2974.12/2982.27 c #Conflicts: 1534000 | #Constraints: 83753
2974.12/2982.27 c #Conflicts: 1535000 | #Constraints: 84753
2974.12/2982.27 c #Conflicts: 1536000 | #Constraints: 85753
2974.12/2982.27 c #Conflicts: 1537000 | #Constraints: 86753
2974.12/2982.27 c #Conflicts: 1538000 | #Constraints: 87753
2974.12/2982.27 c #Conflicts: 1539000 | #Constraints: 88753
2974.12/2982.27 c #Conflicts: 1540000 | #Constraints: 89753
2974.12/2982.27 c #Conflicts: 1541000 | #Constraints: 90753
2974.12/2982.27 c INPROCESSING
2974.12/2982.27 c GARBAGE COLLECT
2974.12/2982.27 c #Conflicts: 1542000 | #Constraints: 67167
2974.12/2982.27 c #Conflicts: 1543000 | #Constraints: 68167
2974.12/2982.27 c #Conflicts: 1544000 | #Constraints: 69167
2974.12/2982.27 c #Conflicts: 1545000 | #Constraints: 70167
2974.12/2982.27 c #Conflicts: 1546000 | #Constraints: 71167
2974.12/2982.27 c #Conflicts: 1547000 | #Constraints: 72167
2974.12/2982.27 c #Conflicts: 1548000 | #Constraints: 73167
2974.12/2982.27 c #Conflicts: 1549000 | #Constraints: 74167
2974.12/2982.27 c #Conflicts: 1550000 | #Constraints: 75167
2974.12/2982.27 c #Conflicts: 1551000 | #Constraints: 76167
2974.12/2982.27 c #Conflicts: 1552000 | #Constraints: 77167
2974.12/2982.27 c #Conflicts: 1553000 | #Constraints: 78167
2974.12/2982.27 c #Conflicts: 1554000 | #Constraints: 79167
2974.12/2982.27 c #Conflicts: 1555000 | #Constraints: 80167
2974.12/2982.27 c #Conflicts: 1556000 | #Constraints: 81167
2974.12/2982.27 c #Conflicts: 1557000 | #Constraints: 82167
2974.12/2982.27 c #Conflicts: 1558000 | #Constraints: 83167
2974.12/2982.27 c #Conflicts: 1559000 | #Constraints: 84167
2974.12/2982.27 c #Conflicts: 1560000 | #Constraints: 85167
2974.12/2982.27 c #Conflicts: 1561000 | #Constraints: 86167
2974.12/2982.27 c #Conflicts: 1562000 | #Constraints: 87167
2974.12/2982.27 c #Conflicts: 1563000 | #Constraints: 88167
2974.12/2982.27 c #Conflicts: 1564000 | #Constraints: 89167
2974.12/2982.27 c #Conflicts: 1565000 | #Constraints: 90167
2974.12/2982.27 c #Conflicts: 1566000 | #Constraints: 91167
2974.12/2982.27 c INPROCESSING
2974.12/2982.27 c GARBAGE COLLECT
2974.12/2982.27 c #Conflicts: 1567000 | #Constraints: 67370
2974.12/2982.27 c #Conflicts: 1568000 | #Constraints: 68370
2974.12/2982.27 c #Conflicts: 1569000 | #Constraints: 69370
2974.12/2982.27 c #Conflicts: 1570000 | #Constraints: 70370
2974.12/2982.27 c #Conflicts: 1571000 | #Constraints: 71370
2974.12/2982.27 c #Conflicts: 1572000 | #Constraints: 72370
2974.12/2982.27 c #Conflicts: 1573000 | #Constraints: 73370
3183.70/3192.42 c #Conflicts: 1574000 | #Constraints: 74370
3183.70/3192.42 c #Conflicts: 1575000 | #Constraints: 75370
3183.70/3192.42 c #Conflicts: 1576000 | #Constraints: 76370
3183.70/3192.42 c #Conflicts: 1577000 | #Constraints: 77370
3183.70/3192.42 c #Conflicts: 1578000 | #Constraints: 78370
3183.70/3192.42 c #Conflicts: 1579000 | #Constraints: 79370
3183.70/3192.42 c #Conflicts: 1580000 | #Constraints: 80370
3183.70/3192.42 c #Conflicts: 1581000 | #Constraints: 81370
3183.70/3192.42 c #Conflicts: 1582000 | #Constraints: 82370
3183.70/3192.42 c #Conflicts: 1583000 | #Constraints: 83370
3183.70/3192.42 c #Conflicts: 1584000 | #Constraints: 84370
3183.70/3192.42 c #Conflicts: 1585000 | #Constraints: 85370
3183.70/3192.42 c #Conflicts: 1586000 | #Constraints: 86370
3183.70/3192.42 c #Conflicts: 1587000 | #Constraints: 87370
3183.70/3192.42 c #Conflicts: 1588000 | #Constraints: 88370
3183.70/3192.42 c #Conflicts: 1589000 | #Constraints: 89370
3183.70/3192.42 c #Conflicts: 1590000 | #Constraints: 90370
3183.70/3192.42 c #Conflicts: 1591000 | #Constraints: 91370
3183.70/3192.42 c INPROCESSING
3183.70/3192.42 c GARBAGE COLLECT
3183.70/3192.42 c #Conflicts: 1592000 | #Constraints: 67357
3183.70/3192.42 c #Conflicts: 1593000 | #Constraints: 68357
3183.70/3192.42 c #Conflicts: 1594000 | #Constraints: 69357
3183.70/3192.42 c #Conflicts: 1595000 | #Constraints: 70357
3183.70/3192.42 c #Conflicts: 1596000 | #Constraints: 71357
3183.70/3192.42 c #Conflicts: 1597000 | #Constraints: 72357
3183.70/3192.42 c #Conflicts: 1598000 | #Constraints: 73357
3183.70/3192.42 c #Conflicts: 1599000 | #Constraints: 74357
3183.70/3192.42 c #Conflicts: 1600000 | #Constraints: 75357
3183.70/3192.42 c #Conflicts: 1601000 | #Constraints: 76357
3183.70/3192.42 c #Conflicts: 1602000 | #Constraints: 77357
3183.70/3192.42 c #Conflicts: 1603000 | #Constraints: 78357
3183.70/3192.42 c #Conflicts: 1604000 | #Constraints: 79357
3183.70/3192.42 c #Conflicts: 1605000 | #Constraints: 80357
3183.70/3192.42 c #Conflicts: 1606000 | #Constraints: 81357
3183.70/3192.42 c #Conflicts: 1607000 | #Constraints: 82357
3183.70/3192.42 c #Conflicts: 1608000 | #Constraints: 83357
3183.70/3192.42 c #Conflicts: 1609000 | #Constraints: 84357
3183.70/3192.42 c #Conflicts: 1610000 | #Constraints: 85357
3183.70/3192.42 c #Conflicts: 1611000 | #Constraints: 86357
3183.70/3192.42 c #Conflicts: 1612000 | #Constraints: 87357
3183.70/3192.42 c #Conflicts: 1613000 | #Constraints: 88357
3183.70/3192.42 c #Conflicts: 1614000 | #Constraints: 89357
3183.70/3192.42 c #Conflicts: 1615000 | #Constraints: 90357
3183.70/3192.42 c #Conflicts: 1616000 | #Constraints: 91357
3183.70/3192.42 c INPROCESSING
3183.70/3192.42 c GARBAGE COLLECT
3183.70/3192.42 c #Conflicts: 1617000 | #Constraints: 67163
3183.70/3192.42 c #Conflicts: 1618000 | #Constraints: 68163
3183.70/3192.42 c #Conflicts: 1619000 | #Constraints: 69163
3183.70/3192.42 c #Conflicts: 1620000 | #Constraints: 70163
3183.70/3192.42 c #Conflicts: 1621000 | #Constraints: 71163
3183.70/3192.42 c #Conflicts: 1622000 | #Constraints: 72163
3183.70/3192.42 c #Conflicts: 1623000 | #Constraints: 73163
3183.70/3192.42 c #Conflicts: 1624000 | #Constraints: 74163
3183.70/3192.42 c #Conflicts: 1625000 | #Constraints: 75163
3183.70/3192.42 c #Conflicts: 1626000 | #Constraints: 76163
3183.70/3192.42 c #Conflicts: 1627000 | #Constraints: 77163
3183.70/3192.42 c #Conflicts: 1628000 | #Constraints: 78163
3183.70/3192.42 c #Conflicts: 1629000 | #Constraints: 79163
3183.70/3192.42 c #Conflicts: 1630000 | #Constraints: 80163
3183.70/3192.42 c #Conflicts: 1631000 | #Constraints: 81163
3183.70/3192.42 c #Conflicts: 1632000 | #Constraints: 82163
3183.70/3192.42 c #Conflicts: 1633000 | #Constraints: 83163
3183.70/3192.42 c #Conflicts: 1634000 | #Constraints: 84163
3183.70/3192.42 c #Conflicts: 1635000 | #Constraints: 85163
3183.70/3192.42 c #Conflicts: 1636000 | #Constraints: 86163
3183.70/3192.42 c #Conflicts: 1637000 | #Constraints: 87163
3183.70/3192.42 c #Conflicts: 1638000 | #Constraints: 88163
3183.70/3192.42 c #Conflicts: 1639000 | #Constraints: 89163
3183.70/3192.42 c #Conflicts: 1640000 | #Constraints: 90163
3183.70/3192.42 c #Conflicts: 1641000 | #Constraints: 91163
3183.70/3192.42 c #Conflicts: 1642000 | #Constraints: 92163
3183.70/3192.42 c INPROCESSING
3183.70/3192.42 c GARBAGE COLLECT
3183.70/3192.42 c #Conflicts: 1643000 | #Constraints: 67772
3183.70/3192.42 c #Conflicts: 1644000 | #Constraints: 68772
3183.70/3192.42 c #Conflicts: 1645000 | #Constraints: 69772
3183.70/3192.42 c #Conflicts: 1646000 | #Constraints: 70772
3183.70/3192.42 c #Conflicts: 1647000 | #Constraints: 71772
3183.70/3192.42 c #Conflicts: 1648000 | #Constraints: 72772
3183.70/3192.42 c #Conflicts: 1649000 | #Constraints: 73772
3183.70/3192.42 c #Conflicts: 1650000 | #Constraints: 74772
3397.63/3406.99 c #Conflicts: 1651000 | #Constraints: 75772
3397.63/3406.99 c #Conflicts: 1652000 | #Constraints: 76772
3397.63/3406.99 c #Conflicts: 1653000 | #Constraints: 77772
3397.63/3406.99 c #Conflicts: 1654000 | #Constraints: 78772
3397.63/3406.99 c #Conflicts: 1655000 | #Constraints: 79772
3397.63/3406.99 c #Conflicts: 1656000 | #Constraints: 80772
3397.63/3406.99 c #Conflicts: 1657000 | #Constraints: 81772
3397.63/3406.99 c #Conflicts: 1658000 | #Constraints: 82772
3397.63/3406.99 c #Conflicts: 1659000 | #Constraints: 83772
3397.63/3406.99 c #Conflicts: 1660000 | #Constraints: 84772
3397.63/3406.99 c #Conflicts: 1661000 | #Constraints: 85772
3397.63/3406.99 c #Conflicts: 1662000 | #Constraints: 86772
3397.63/3406.99 c #Conflicts: 1663000 | #Constraints: 87772
3397.63/3406.99 c #Conflicts: 1664000 | #Constraints: 88772
3397.63/3406.99 c #Conflicts: 1665000 | #Constraints: 89772
3397.63/3406.99 c #Conflicts: 1666000 | #Constraints: 90772
3397.63/3406.99 c #Conflicts: 1667000 | #Constraints: 91772
3397.63/3406.99 c #Conflicts: 1668000 | #Constraints: 92772
3397.63/3406.99 c INPROCESSING
3397.63/3406.99 c GARBAGE COLLECT
3397.63/3406.99 c #Conflicts: 1669000 | #Constraints: 68159
3397.63/3406.99 c #Conflicts: 1670000 | #Constraints: 69159
3397.63/3406.99 c #Conflicts: 1671000 | #Constraints: 70159
3397.63/3406.99 c #Conflicts: 1672000 | #Constraints: 71159
3397.63/3406.99 c #Conflicts: 1673000 | #Constraints: 72159
3397.63/3406.99 c #Conflicts: 1674000 | #Constraints: 73159
3397.63/3406.99 c #Conflicts: 1675000 | #Constraints: 74159
3397.63/3406.99 c #Conflicts: 1676000 | #Constraints: 75159
3397.63/3406.99 c #Conflicts: 1677000 | #Constraints: 76159
3397.63/3406.99 c #Conflicts: 1678000 | #Constraints: 77159
3397.63/3406.99 c #Conflicts: 1679000 | #Constraints: 78159
3397.63/3406.99 c #Conflicts: 1680000 | #Constraints: 79159
3397.63/3406.99 c #Conflicts: 1681000 | #Constraints: 80159
3397.63/3406.99 c #Conflicts: 1682000 | #Constraints: 81159
3397.63/3406.99 c #Conflicts: 1683000 | #Constraints: 82159
3397.63/3406.99 c #Conflicts: 1684000 | #Constraints: 83159
3397.63/3406.99 c #Conflicts: 1685000 | #Constraints: 84159
3397.63/3406.99 c #Conflicts: 1686000 | #Constraints: 85159
3397.63/3406.99 c #Conflicts: 1687000 | #Constraints: 86159
3397.63/3406.99 c #Conflicts: 1688000 | #Constraints: 87159
3397.63/3406.99 c #Conflicts: 1689000 | #Constraints: 88159
3397.63/3406.99 c #Conflicts: 1690000 | #Constraints: 89159
3397.63/3406.99 c #Conflicts: 1691000 | #Constraints: 90159
3397.63/3406.99 c #Conflicts: 1692000 | #Constraints: 91159
3397.63/3406.99 c #Conflicts: 1693000 | #Constraints: 92159
3397.63/3406.99 c #Conflicts: 1694000 | #Constraints: 93159
3397.63/3406.99 c INPROCESSING
3397.63/3406.99 c GARBAGE COLLECT
3397.63/3406.99 c #Conflicts: 1695000 | #Constraints: 68357
3397.63/3406.99 c #Conflicts: 1696000 | #Constraints: 69357
3397.63/3406.99 c #Conflicts: 1697000 | #Constraints: 70357
3397.63/3406.99 c #Conflicts: 1698000 | #Constraints: 71357
3397.63/3406.99 c #Conflicts: 1699000 | #Constraints: 72357
3397.63/3406.99 c #Conflicts: 1700000 | #Constraints: 73357
3397.63/3406.99 c #Conflicts: 1701000 | #Constraints: 74357
3397.63/3406.99 c #Conflicts: 1702000 | #Constraints: 75357
3397.63/3406.99 c #Conflicts: 1703000 | #Constraints: 76357
3397.63/3406.99 c #Conflicts: 1704000 | #Constraints: 77357
3397.63/3406.99 c #Conflicts: 1705000 | #Constraints: 78357
3397.63/3406.99 c #Conflicts: 1706000 | #Constraints: 79357
3397.63/3406.99 c #Conflicts: 1707000 | #Constraints: 80357
3397.63/3406.99 c #Conflicts: 1708000 | #Constraints: 81357
3397.63/3406.99 c #Conflicts: 1709000 | #Constraints: 82357
3397.63/3406.99 c #Conflicts: 1710000 | #Constraints: 83357
3397.63/3406.99 c #Conflicts: 1711000 | #Constraints: 84357
3397.63/3406.99 c #Conflicts: 1712000 | #Constraints: 85357
3397.63/3406.99 c #Conflicts: 1713000 | #Constraints: 86357
3397.63/3406.99 c #Conflicts: 1714000 | #Constraints: 87357
3397.63/3406.99 c #Conflicts: 1715000 | #Constraints: 88357
3397.63/3406.99 c #Conflicts: 1716000 | #Constraints: 89357
3397.63/3406.99 c #Conflicts: 1717000 | #Constraints: 90357
3397.63/3406.99 c #Conflicts: 1718000 | #Constraints: 91357
3397.63/3406.99 c #Conflicts: 1719000 | #Constraints: 92357
3397.63/3406.99 c #Conflicts: 1720000 | #Constraints: 93357
3397.63/3406.99 c INPROCESSING
3397.63/3406.99 c GARBAGE COLLECT
3397.63/3406.99 c #Conflicts: 1721000 | #Constraints: 68369
3397.63/3406.99 c #Conflicts: 1722000 | #Constraints: 69369
3397.63/3406.99 c #Conflicts: 1723000 | #Constraints: 70369
3397.63/3406.99 c #Conflicts: 1724000 | #Constraints: 71369
3397.63/3406.99 c #Conflicts: 1725000 | #Constraints: 72369
3397.63/3406.99 c #Conflicts: 1726000 | #Constraints: 73369
3397.63/3406.99 c #Conflicts: 1727000 | #Constraints: 74369
3578.64/3588.45 c #Conflicts: 1728000 | #Constraints: 75369
3578.64/3588.45 c #Conflicts: 1729000 | #Constraints: 76369
3578.64/3588.45 c #Conflicts: 1730000 | #Constraints: 77369
3578.64/3588.45 c #Conflicts: 1731000 | #Constraints: 78369
3578.64/3588.45 c #Conflicts: 1732000 | #Constraints: 79369
3578.64/3588.45 c #Conflicts: 1733000 | #Constraints: 80369
3578.64/3588.45 c #Conflicts: 1734000 | #Constraints: 81369
3578.64/3588.45 c #Conflicts: 1735000 | #Constraints: 82369
3578.64/3588.45 c #Conflicts: 1736000 | #Constraints: 83369
3578.64/3588.45 c #Conflicts: 1737000 | #Constraints: 84369
3578.64/3588.45 c #Conflicts: 1738000 | #Constraints: 85369
3578.64/3588.45 c #Conflicts: 1739000 | #Constraints: 86369
3578.64/3588.45 c #Conflicts: 1740000 | #Constraints: 87369
3578.64/3588.45 c #Conflicts: 1741000 | #Constraints: 88369
3578.64/3588.45 c #Conflicts: 1742000 | #Constraints: 89369
3578.64/3588.45 c #Conflicts: 1743000 | #Constraints: 90369
3578.64/3588.45 c #Conflicts: 1744000 | #Constraints: 91369
3578.64/3588.45 c #Conflicts: 1745000 | #Constraints: 92369
3578.64/3588.45 c #Conflicts: 1746000 | #Constraints: 93369
3578.64/3588.45 c INPROCESSING
3578.64/3588.45 c GARBAGE COLLECT
3578.64/3588.45 c #Conflicts: 1747000 | #Constraints: 68162
3578.64/3588.45 c #Conflicts: 1748000 | #Constraints: 69162
3578.64/3588.45 c #Conflicts: 1749000 | #Constraints: 70162
3578.64/3588.45 c #Conflicts: 1750000 | #Constraints: 71162
3578.64/3588.45 c #Conflicts: 1751000 | #Constraints: 72162
3578.64/3588.45 c #Conflicts: 1752000 | #Constraints: 73162
3578.64/3588.45 c #Conflicts: 1753000 | #Constraints: 74162
3578.64/3588.45 c #Conflicts: 1754000 | #Constraints: 75162
3578.64/3588.45 c #Conflicts: 1755000 | #Constraints: 76162
3578.64/3588.45 c #Conflicts: 1756000 | #Constraints: 77162
3578.64/3588.45 c #Conflicts: 1757000 | #Constraints: 78162
3578.64/3588.45 c #Conflicts: 1758000 | #Constraints: 79162
3578.64/3588.45 c #Conflicts: 1759000 | #Constraints: 80162
3578.64/3588.45 c #Conflicts: 1760000 | #Constraints: 81162
3578.64/3588.45 c #Conflicts: 1761000 | #Constraints: 82162
3578.64/3588.45 c #Conflicts: 1762000 | #Constraints: 83162
3578.64/3588.45 c #Conflicts: 1763000 | #Constraints: 84162
3578.64/3588.45 c #Conflicts: 1764000 | #Constraints: 85162
3578.64/3588.45 c #Conflicts: 1765000 | #Constraints: 86162
3578.64/3588.45 c #Conflicts: 1766000 | #Constraints: 87162
3578.64/3588.45 c #Conflicts: 1767000 | #Constraints: 88162
3578.64/3588.45 c #Conflicts: 1768000 | #Constraints: 89162
3578.64/3588.45 c #Conflicts: 1769000 | #Constraints: 90162
3578.64/3588.45 c #Conflicts: 1770000 | #Constraints: 91162
3578.64/3588.45 c #Conflicts: 1771000 | #Constraints: 92162
3578.64/3588.45 c #Conflicts: 1772000 | #Constraints: 93162
3578.64/3588.45 c #Conflicts: 1773000 | #Constraints: 94162
3578.64/3588.45 c INPROCESSING
3578.64/3588.45 c GARBAGE COLLECT
3578.64/3588.45 c #Conflicts: 1774000 | #Constraints: 68784
3578.64/3588.45 c #Conflicts: 1775000 | #Constraints: 69784
3578.64/3588.45 c #Conflicts: 1776000 | #Constraints: 70784
3578.64/3588.45 c #Conflicts: 1777000 | #Constraints: 71784
3578.64/3588.45 c #Conflicts: 1778000 | #Constraints: 72784
3578.64/3588.45 c #Conflicts: 1779000 | #Constraints: 73784
3578.64/3588.45 c #Conflicts: 1780000 | #Constraints: 74784
3578.64/3588.45 c #Conflicts: 1781000 | #Constraints: 75784
3578.64/3588.45 c #Conflicts: 1782000 | #Constraints: 76784
3578.64/3588.45 c #Conflicts: 1783000 | #Constraints: 77784
3578.64/3588.45 c #Conflicts: 1784000 | #Constraints: 78784
3578.64/3588.45 c #Conflicts: 1785000 | #Constraints: 79784
3578.64/3588.45 c #Conflicts: 1786000 | #Constraints: 80784
3578.64/3588.45 c #Conflicts: 1787000 | #Constraints: 81784
3578.64/3588.45 c #Conflicts: 1788000 | #Constraints: 82784
3578.64/3588.45 c #Conflicts: 1789000 | #Constraints: 83784
3578.64/3588.45 c #Conflicts: 1790000 | #Constraints: 84784
3578.64/3588.45 c #Conflicts: 1791000 | #Constraints: 85784
3578.64/3588.45 c #Conflicts: 1792000 | #Constraints: 86784
3578.64/3588.45 c #Conflicts: 1793000 | #Constraints: 87784
3578.64/3588.45 c #Conflicts: 1794000 | #Constraints: 88784
3578.64/3588.45 c #Conflicts: 1795000 | #Constraints: 89784
3578.64/3588.45 c #Conflicts: 1796000 | #Constraints: 90784
3578.64/3588.45 c #Conflicts: 1797000 | #Constraints: 91784
3578.64/3588.45 c #Conflicts: 1798000 | #Constraints: 92784
3578.64/3588.45 c #Conflicts: 1799000 | #Constraints: 93784
3578.64/3588.45 c #Conflicts: 1800000 | #Constraints: 94784
3578.64/3588.45 c INPROCESSING
3578.64/3588.45 c GARBAGE COLLECT
3578.64/3588.45 c #Conflicts: 1801000 | #Constraints: 69172
3578.64/3588.45 c #Conflicts: 1802000 | #Constraints: 70172
3578.64/3588.45 c #Conflicts: 1803000 | #Constraints: 71172
3600.08/3609.90 c #Conflicts: 1804000 | #Constraints: 72172
3600.08/3609.90 c #Conflicts: 1805000 | #Constraints: 73172
3600.08/3609.90 c #Conflicts: 1806000 | #Constraints: 74172
3600.08/3609.90 c #Conflicts: 1807000 | #Constraints: 75172
3600.08/3609.90 c #Conflicts: 1808000 | #Constraints: 76172
3600.08/3609.90 c #Conflicts: 1809000 | #Constraints: 77172
3600.08/3609.90 c #Conflicts: 1810000 | #Constraints: 78172
3600.08/3609.90 c #Conflicts: 1811000 | #Constraints: 79172
3600.08/3609.90 c #Conflicts: 1812000 | #Constraints: 80172
3600.08/3609.90 c #Conflicts: 1813000 | #Constraints: 81172
3600.08/3609.90 c #Conflicts: 1814000 | #Constraints: 82172
3600.08/3609.90 c Program interrupted by user.
3600.08/3609.90 c cpu time 3592.17 s
3600.08/3609.90 c deterministic time 686511651977 6.87e+11
3600.08/3609.90 c optimization time 25.4655 s
3600.08/3609.90 c total solve time 3267.44 s
3600.08/3609.90 c core-guided solve time 3267.44 s
3600.08/3609.90 c propagation time 3147.53 s
3600.08/3609.90 c conflict analysis time 109.451 s
3600.08/3609.90 c propagations 37422318
3600.08/3609.90 c resolve steps 12247668
3600.08/3609.90 c decisions 2173097
3600.08/3609.90 c conflicts 1814825
3600.08/3609.90 c restarts 3544
3600.08/3609.90 c inprocessing phases 125
3600.08/3609.90 c input clauses 41418
3600.08/3609.90 c input cardinalities 16
3600.08/3609.90 c input general constraints 0
3600.08/3609.90 c input average constraint length 2.31
3600.08/3609.90 c input average constraint degree 1.22
3600.08/3609.90 c learned clauses 1104830
3600.08/3609.90 c learned cardinalities 504885
3600.08/3609.90 c learned general constraints 205109
3600.08/3609.90 c learned average constraint length 716.88
3600.08/3609.90 c learned average constraint degree 13.97
3600.08/3609.90 c watched constraints 205109
3600.08/3609.90 c counting constraints 0
3600.08/3609.90 c gcd simplifications 87778
3600.08/3609.90 c detected cardinalities 17955
3600.08/3609.90 c weakened non-implied lits 24748741
3600.08/3609.90 c weakened non-implying lits 56493
3600.08/3609.90 c original variables 760
3600.08/3609.90 c clausal propagations 25795455
3600.08/3609.90 c cardinality propagations 6535724
3600.08/3609.90 c watched propagations 770999
3600.08/3609.90 c counting propagations 0
3600.08/3609.90 c watch lookups 25202341347
3600.08/3609.90 c watch backjump lookups 3394674
3600.08/3609.90 c watch checks 657812248172
3600.08/3609.90 c propagation checks 808025082
3600.08/3609.90 c constraint additions 2604637910
3600.08/3609.90 c trail pops 41409376
3600.08/3609.90 c formula constraints 41263
3600.08/3609.90 c learned constraints 1814824
3600.08/3609.90 c bound constraints 16
3600.08/3609.90 c core-guided constraints 155
3600.08/3609.90 c encountered formula constraints 9772778
3600.08/3609.90 c encountered learned constraints 4231744
3600.08/3609.90 c encountered bound constraints 1751
3600.08/3609.90 c encountered core-guided constraints 56220
3600.08/3609.90 c LP total time 0 s
3600.08/3609.90 c LP solve time 0 s
3600.08/3609.90 c LP constraints added 0
3600.08/3609.90 c LP constraints removed 0
3600.08/3609.90 c LP pivots internal 0
3600.08/3609.90 c LP pivots root 0
3600.08/3609.90 c LP calls 0
3600.08/3609.90 c LP optimalities 0
3600.08/3609.90 c LP no pivot count 0
3600.08/3609.90 c LP infeasibilities 0
3600.08/3609.90 c LP valid Farkas constraints 0
3600.08/3609.90 c LP learned Farkas constraints 0
3600.08/3609.90 c LP basis resets 0
3600.08/3609.90 c LP cycling count 0
3600.08/3609.90 c LP singular count 0
3600.08/3609.90 c LP no primal count 0
3600.08/3609.90 c LP no farkas count 0
3600.08/3609.90 c LP other issue count 0
3600.08/3609.90 c LP Gomory cuts 0
3600.08/3609.90 c LP learned cuts 0
3600.08/3609.90 c LP deleted cuts 0
3600.08/3609.90 c LP encountered Gomory constraints 0
3600.08/3609.90 c LP encountered Farkas constraints 0
3600.08/3609.90 c LP encountered learned Farkas constraints 0
3600.08/3609.90 c CG auxiliary variables introduced 155
3600.08/3609.90 c CG solutions found 0
3600.08/3609.90 c CG cores constructed 15
3600.08/3609.90 c CG core cardinality constraints returned 0
3600.08/3609.90 c CG unit cores 0
3600.08/3609.90 c CG single cores 15
3600.08/3609.90 c CG blocks removed during cardinality reduction 0
3600.08/3609.90 c CG first core best 0
3600.08/3609.90 c CG decision core best 0
3600.08/3609.90 c CG core reduction tie 0
3600.08/3609.90 c CG core degree average 1.00
3600.08/3609.90 c CG core slack average 8.53
3600.08/3609.90 c CG exhausted 0
3600.08/3609.90 c CG exhaust time 0 s
3600.08/3609.90 c CG trimmed 2
3600.08/3609.90 c CG trim time 0.000157 s
3600.08/3609.90 c CG minimized 0
3600.08/3609.90 c CG minimize time 0 s
3600.08/3609.90 c CG am1 prop time 0.003103 s
3600.08/3609.90 c CG # am1s reformulated 155
3600.08/3609.90 c CG lower bound derived from am1s 604
3600.08/3609.90 c CG # clausal cores 15
3600.08/3609.90 c CG # cardinality cores 0
3600.08/3609.90 c CG # pb cores 0
3600.08/3609.90 c CG # pb reforms 0
3600.08/3609.90 c CG # cores discarded because of pb reform 0
3600.08/3609.90 d LOWERBOUND -141
3600.08/3609.90 d NCORES 15
3600.08/3609.90 d NPBCORES 0
3600.08/3609.90 d NPBREFORM 0
3600.08/3609.90 d NTRIMMED 2
3600.08/3609.90 d NEXHAUSTED 0
3600.08/3609.90 d NAM1S 155
3600.08/3609.90 d AM1LB 604
3600.08/3609.90 c [Papilo Statistics]
3600.08/3609.90 c prepro time 0.0671828s
3600.08/3609.90 c # tsx applied 0
3600.08/3609.90 c # tsx conflicts 0
3600.08/3609.90 c # bound changes 0
3600.08/3609.90 c # side changes 0
3600.08/3609.90 c # coef changes 0
3600.08/3609.90 c # rounds 1
3600.08/3609.90 c # deted vars 0
3600.08/3609.90 c # deted constrs 0
3600.08/3609.90 c # consecutive rounds of only bound changes 0
3600.08/3609.90 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 (60366 MiB free)
memory of node 1: 64473 MiB (62492 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454778-1721433070/watcher-4454778-1721433070 -o /tmp/evaluation-result-4454778-1721433070/solver-4454778-1721433070 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721425494-1034143 --watchdog 3760 mixed-bag HOME/instance-4454778-1721433070.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=1039590, runsolver pid=1039587
[startup+0.100658 s]*
/proc/loadavg: 4.17 4.12 4.09 5/255 1039591
/proc/meminfo: memFree=125785920/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=103896 memory=28200 CPUtime=0.09 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 6359 0 0 0 8 1 0 0 20 0 1 0 195475906 106389504 7050 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 25974 7050 1730 3002 0 9723 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 103896 KiB
Current children cumulated memory: 28200 KiB
[startup+0.205422 s]*
/proc/loadavg: 4.17 4.12 4.09 5/255 1039591
/proc/meminfo: memFree=125743892/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=147896 memory=79152 CPUtime=0.19 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 17823 0 0 0 17 2 0 0 20 0 1 0 195475906 151445504 19788 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 36974 19788 3759 3002 0 20723 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 147896 KiB
Current children cumulated memory: 79152 KiB
[startup+0.305473 s]*
/proc/loadavg: 4.17 4.12 4.09 5/255 1039591
/proc/meminfo: memFree=125715220/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=176104 memory=106868 CPUtime=0.29 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 24718 0 0 0 26 3 0 0 20 0 1 0 195475906 180330496 26717 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 44026 26717 3759 3002 0 27775 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 176104 KiB
Current children cumulated memory: 106868 KiB
[startup+0.700227 s]
/proc/loadavg: 4.17 4.12 4.09 5/255 1039591
/proc/meminfo: memFree=125713512/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=245316 memory=168936 CPUtime=0.68 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 36091 0 0 0 63 5 0 0 20 0 1 0 195475906 251203584 42234 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 61329 42234 3791 3002 0 45078 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 245316 KiB
Current children cumulated memory: 168936 KiB
[startup+1.50021 s]
/proc/loadavg: 4.17 4.12 4.09 5/255 1039591
/proc/meminfo: memFree=125587452/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=326112 memory=245140 CPUtime=1.48 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 51509 0 0 0 140 8 0 0 20 0 1 0 195475906 333938688 61285 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 81528 61285 4014 3002 0 65277 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 326112 KiB
Current children cumulated memory: 245140 KiB
[startup+3.10567 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 1039591
/proc/meminfo: memFree=125566728/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=342968 memory=255896 CPUtime=3.08 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 53711 0 0 0 300 8 0 0 20 0 1 0 195475906 351199232 63974 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 85742 63974 4014 3002 0 69491 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 342968 KiB
Current children cumulated memory: 255896 KiB
[startup+6.3002 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 1039591
/proc/meminfo: memFree=125562196/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=362704 memory=260504 CPUtime=6.26 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 53825 0 0 0 618 8 0 0 20 0 1 0 195475906 371408896 65126 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 90676 65126 4014 3002 0 74425 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 362704 KiB
Current children cumulated memory: 260504 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.09 5/255 1039592
/proc/meminfo: memFree=125601704/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=471428 memory=325576 CPUtime=12.65 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 69092 0 0 0 1254 11 0 0 20 0 1 0 195475906 482742272 81394 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 117857 81394 4024 3002 0 101606 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 471428 KiB
Current children cumulated memory: 325576 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/255 1039594
/proc/meminfo: memFree=125595368/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=471428 memory=325812 CPUtime=25.42 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 69123 0 0 0 2530 12 0 0 20 0 1 0 195475906 482742272 81453 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 117857 81453 4024 3002 0 101606 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 471428 KiB
Current children cumulated memory: 325812 KiB
[startup+51.1057 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 1039598
/proc/meminfo: memFree=125533120/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=532456 memory=363748 CPUtime=50.95 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 78605 0 0 0 5082 13 0 0 20 0 1 0 195475906 545234944 90937 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 133114 90937 4024 3002 0 116863 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 532456 KiB
Current children cumulated memory: 363748 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 1039608
/proc/meminfo: memFree=125415236/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=589480 memory=419352 CPUtime=102 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 91613 0 0 0 10184 16 0 0 20 0 1 0 195475906 603627520 104838 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 147370 104838 4024 3002 0 131119 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 589480 KiB
Current children cumulated memory: 419352 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/255 1039618
/proc/meminfo: memFree=125430884/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=685944 memory=481812 CPUtime=161.83 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 101658 0 0 0 16166 17 0 0 20 0 1 0 195475906 702406656 120453 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 171486 120453 4024 3002 0 155235 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 685944 KiB
Current children cumulated memory: 481812 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 1039631
/proc/meminfo: memFree=125327880/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=784720 memory=525888 CPUtime=221.68 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 110519 0 0 0 22149 19 0 0 20 0 1 0 195475906 803553280 131472 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 196180 131472 4149 3002 0 179929 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 784720 KiB
Current children cumulated memory: 525888 KiB
[startup+282.3 s]
/proc/loadavg: 4.35 4.17 4.11 5/259 1040025
/proc/meminfo: memFree=125267372/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=816292 memory=560212 CPUtime=281.51 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 120576 0 0 0 28131 20 0 0 20 0 1 0 195475906 835883008 140053 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 204073 140053 4149 3002 0 187822 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 816292 KiB
Current children cumulated memory: 560212 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/258 1040035
/proc/meminfo: memFree=125362416/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=692372 memory=441244 CPUtime=341.37 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 123176 0 0 0 34078 59 0 0 20 0 1 0 195475906 708988928 110311 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 173093 110311 4308 3002 0 156842 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 692372 KiB
Current children cumulated memory: 441244 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/258 1040047
/proc/meminfo: memFree=125312452/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=692372 memory=451672 CPUtime=401.21 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 123254 0 0 0 40027 94 0 0 20 0 1 0 195475906 708988928 112918 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 173093 112918 4308 3002 0 156842 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 692372 KiB
Current children cumulated memory: 451672 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/260 1040227
/proc/meminfo: memFree=125269388/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=723192 memory=462148 CPUtime=461.05 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 124299 0 0 0 45981 124 0 0 20 0 1 0 195475906 740548608 115537 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 180798 115537 4308 3002 0 164547 0
################
# More data... #
################
Current children cumulated memory: 659752 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 1041352
/proc/meminfo: memFree=124906940/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=854668 memory=659752 CPUtime=2914.4 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 129541 0 0 0 290767 673 0 0 20 0 1 0 195475906 875180032 164938 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 213667 164938 4308 3002 0 197416 0
Current children cumulated CPU time: 2914.4 s
Current children cumulated vsize: 854668 KiB
Current children cumulated memory: 659752 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/256 1041367
/proc/meminfo: memFree=124899776/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=854668 memory=663848 CPUtime=2974.23 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 129620 0 0 0 296738 685 0 0 20 0 1 0 195475906 875180032 165962 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 213667 165962 4308 3002 0 197416 0
Current children cumulated CPU time: 2974.23 s
Current children cumulated vsize: 854668 KiB
Current children cumulated memory: 663848 KiB
[startup+3042.3 s]
/proc/loadavg: 4.41 4.17 4.12 5/256 1041378
/proc/meminfo: memFree=124892812/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=854668 memory=663848 CPUtime=3034.04 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 129700 0 0 0 302709 695 0 0 20 0 1 0 195475906 875180032 165962 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 213667 165962 4308 3002 0 197416 0
Current children cumulated CPU time: 3034.04 s
Current children cumulated vsize: 854668 KiB
Current children cumulated memory: 663848 KiB
[startup+3102.3 s]
/proc/loadavg: 4.27 4.17 4.12 5/256 1041389
/proc/meminfo: memFree=124887884/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=854668 memory=663848 CPUtime=3093.86 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 129771 0 0 0 308681 705 0 0 20 0 1 0 195475906 875180032 165962 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 213667 165962 4308 3002 0 197416 0
Current children cumulated CPU time: 3093.86 s
Current children cumulated vsize: 854668 KiB
Current children cumulated memory: 663848 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/256 1041399
/proc/meminfo: memFree=124879024/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=854668 memory=665896 CPUtime=3153.68 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 129870 0 0 0 314650 718 0 0 20 0 1 0 195475906 875180032 166474 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 213667 166474 4308 3002 0 197416 0
Current children cumulated CPU time: 3153.68 s
Current children cumulated vsize: 854668 KiB
Current children cumulated memory: 665896 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/256 1041410
/proc/meminfo: memFree=124874288/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=854668 memory=667944 CPUtime=3213.51 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 130021 0 0 0 320623 728 0 0 20 0 1 0 195475906 875180032 166986 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 213667 166986 4308 3002 0 197416 0
Current children cumulated CPU time: 3213.51 s
Current children cumulated vsize: 854668 KiB
Current children cumulated memory: 667944 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/256 1041421
/proc/meminfo: memFree=124867960/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=854668 memory=667944 CPUtime=3273.37 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 130167 0 0 0 326599 738 0 0 20 0 1 0 195475906 875180032 166986 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 213667 166986 4308 3002 0 197416 0
Current children cumulated CPU time: 3273.37 s
Current children cumulated vsize: 854668 KiB
Current children cumulated memory: 667944 KiB
[startup+3342.3 s]
/proc/loadavg: 3.76 4.05 4.07 4/248 1041462
/proc/meminfo: memFree=125257456/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=854668 memory=667944 CPUtime=3333.22 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 130315 0 0 0 332576 746 0 0 20 0 1 0 195475906 875180032 166986 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 213667 166986 4308 3002 0 197416 0
Current children cumulated CPU time: 3333.22 s
Current children cumulated vsize: 854668 KiB
Current children cumulated memory: 667944 KiB
[startup+3402.3 s]
/proc/loadavg: 3.32 3.87 4.01 4/248 1041473
/proc/meminfo: memFree=125235240/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=854668 memory=667944 CPUtime=3393.05 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 130463 0 0 0 338550 755 0 0 20 0 1 0 195475906 875180032 166986 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 213667 166986 4308 3002 0 197416 0
Current children cumulated CPU time: 3393.05 s
Current children cumulated vsize: 854668 KiB
Current children cumulated memory: 667944 KiB
[startup+3462.3 s]
/proc/loadavg: 3.13 3.72 3.95 3/242 1041515
/proc/meminfo: memFree=125771376/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=854668 memory=667944 CPUtime=3452.88 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 130607 0 0 0 344523 765 0 0 20 0 1 0 195475906 875180032 166986 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 213667 166986 4308 3002 0 197416 0
Current children cumulated CPU time: 3452.88 s
Current children cumulated vsize: 854668 KiB
Current children cumulated memory: 667944 KiB
[startup+3522.3 s]
/proc/loadavg: 2.46 3.42 3.83 3/242 1041525
/proc/meminfo: memFree=125757460/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=854668 memory=667944 CPUtime=3512.71 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 130761 0 0 0 350495 776 0 0 20 0 1 0 195475906 875180032 166986 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 213667 166986 4308 3002 0 197416 0
Current children cumulated CPU time: 3512.71 s
Current children cumulated vsize: 854668 KiB
Current children cumulated memory: 667944 KiB
[startup+3582.3 s]
/proc/loadavg: 2.31 3.20 3.73 3/244 1041540
/proc/meminfo: memFree=125731660/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=854668 memory=667944 CPUtime=3572.55 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 130912 0 0 0 356468 787 0 0 20 0 1 0 195475906 875180032 166986 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 213667 166986 4308 3002 0 197416 0
Current children cumulated CPU time: 3572.55 s
Current children cumulated vsize: 854668 KiB
Current children cumulated memory: 667944 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 2.19 3.09 3.67 3/244 1041544
/proc/meminfo: memFree=125711024/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=854668 memory=669992 CPUtime=3600.08 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 131011 0 0 0 359216 792 0 0 20 0 1 0 195475906 875180032 167498 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 213667 167498 4308 3002 0 197416 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 854668 KiB
Current children cumulated memory: 669992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 1039590 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.17 s, system=7.93092 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 2.19 3.09 3.67 3/244 1041544
/proc/meminfo: memFree=125711024/131524600 swapFree=131071996/131071996
[pid=1039590] ppid=1039587 vsize=854668 memory=669992 CPUtime=3600.08 cores=5,7
/proc/1039590/stat : 1039590 (mixed-bag) R 1039587 1039590 1034130 0 -1 4194304 131011 0 0 0 359216 792 0 0 20 0 1 0 195475906 875180032 167498 134679101440 4194304 16488053 140730394090624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25956352 140730394096661 140730394096738 140730394096738 140730394103755 0
/proc/1039590/statm: 213667 167498 4308 3002 0 197416 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 854668 KiB
Current children cumulated memory: 669992 KiB
Child status: 0
Real time (s): 3609.91
CPU time (s): 3600.1
CPU user time (s): 3592.17
CPU system time (s): 7.93092
CPU usage (%): 99.7283
Max. virtual memory (cumulated for all children) (KiB): 854668
Max. memory (cumulated for all children) (KiB): 669992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.17
system time used= 7.93092
maximum resident set size= 670528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131033
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128
involuntary context switches= 1473
# summary of solver processes directly reported to runsolver:
# pid: 1039590
# total CPU time (s): 3600.1
# total CPU user time (s): 3592.17
# total CPU system time (s): 7.93092
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.73886 second user time and 15.4313 second system time
The end
Begin job on nodeC032 at 2024-07-20 01:51:22
IDJOB=4454778
IDBENCH=146695
IDSOLVER=3083
FILE ID=nodeC032/4454778-1721433070
RUNJOBID= nodeC032-1721425494-1034143
SLURM_JOB_ID= 7545615
Free space on /tmp= 890032 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/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-4454778-1721433070/watcher-4454778-1721433070 -o /tmp/evaluation-result-4454778-1721433070/solver-4454778-1721433070 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721425494-1034143 --watchdog 3760 mixed-bag HOME/instance-4454778-1721433070.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dbca78014701662c42e2f44b8d3d4cf2
RANDOM SEED=1353438047
nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.534
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.442
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.778
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.043
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.617
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.403
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.739
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.864
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125808208 kB
MemAvailable: 128452044 kB
Buffers: 549608 kB
Cached: 2916504 kB
SwapCached: 0 kB
Active: 1035728 kB
Inactive: 4012964 kB
Active(anon): 1556 kB
Inactive(anon): 1627236 kB
Active(file): 1034172 kB
Inactive(file): 2385728 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 17556 kB
Writeback: 64 kB
AnonPages: 1582904 kB
Mapped: 141616 kB
Shmem: 45912 kB
KReclaimable: 127516 kB
Slab: 244084 kB
SReclaimable: 127516 kB
SUnreclaim: 116568 kB
KernelStack: 4064 kB
PageTables: 13408 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2608700 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73280 kB
HardwareCorrupted: 0 kB
AnonHugePages: 339968 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 226004 kB
DirectMap2M: 21567488 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 890048 MiB
End job on nodeC032 at 2024-07-20 02:51:32