0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.18/0.22 c [STEP] preprocessing with Papilo
0.38/0.50 c Papilo could not simplify the problem
0.38/0.50 c [STEP] solving with SCIP
299.54/300.75 c [STEP] preprocessing done, loading into solver
299.74/300.93 c [STEP] solving
299.74/300.93 c #variables 1401 #constraints 109379
299.74/300.93 c SMALL=int, LARGE=long long
299.74/300.93 d SCIPUB -47
299.74/300.93 c bounds - >= -1400 @ 299.388
299.74/300.93 c stratification level: 0
335.53/336.87 c bounds - >= -234 @ 299.463
335.53/336.87 c bounds - >= -233 @ 299.463
335.53/336.87 c bounds - >= -232 @ 299.463
335.53/336.87 c bounds - >= -231 @ 299.463
335.53/336.87 c bounds - >= -230 @ 299.464
335.53/336.87 c bounds - >= -229 @ 299.464
335.53/336.87 c bounds - >= -228 @ 299.465
335.53/336.87 c bounds - >= -227 @ 299.466
335.53/336.87 c bounds - >= -226 @ 299.467
335.53/336.87 c bounds - >= -225 @ 299.468
335.53/336.87 c bounds - >= -224 @ 299.469
335.53/336.87 c bounds - >= -223 @ 299.47
335.53/336.87 c bounds - >= -222 @ 299.471
335.53/336.87 c bounds - >= -221 @ 299.471
335.53/336.87 c bounds - >= -220 @ 299.471
335.53/336.87 c bounds - >= -219 @ 299.472
335.53/336.87 c bounds - >= -218 @ 299.473
335.53/336.87 c bounds - >= -217 @ 299.473
335.53/336.87 c bounds - >= -216 @ 299.475
335.53/336.87 c bounds - >= -215 @ 299.476
335.53/336.87 c bounds - >= -214 @ 299.477
335.53/336.87 c bounds - >= -213 @ 299.48
335.53/336.87 c #Conflicts: 1000 | #Constraints: 110636
335.53/336.87 c #Conflicts: 2000 | #Constraints: 111636
335.53/336.87 c INPROCESSING
335.53/336.87 c GARBAGE COLLECT
335.53/336.87 c #Conflicts: 3000 | #Constraints: 111625
335.53/336.87 c #Conflicts: 4000 | #Constraints: 112625
335.53/336.87 c INPROCESSING
335.53/336.87 c GARBAGE COLLECT
335.53/336.87 c #Conflicts: 5000 | #Constraints: 112034
335.53/336.87 c #Conflicts: 6000 | #Constraints: 113034
335.53/336.87 c INPROCESSING
335.53/336.87 c GARBAGE COLLECT
335.53/336.87 c #Conflicts: 7000 | #Constraints: 112038
335.53/336.87 c #Conflicts: 8000 | #Constraints: 113038
335.53/336.87 c #Conflicts: 9000 | #Constraints: 114038
335.53/336.87 c INPROCESSING
335.53/336.87 c GARBAGE COLLECT
335.53/336.87 c #Conflicts: 10000 | #Constraints: 112744
335.53/336.87 c #Conflicts: 11000 | #Constraints: 113744
335.53/336.87 c #Conflicts: 12000 | #Constraints: 114744
335.53/336.87 c INPROCESSING
335.53/336.87 c GARBAGE COLLECT
335.53/336.87 c #Conflicts: 13000 | #Constraints: 113197
335.53/336.87 c #Conflicts: 14000 | #Constraints: 114197
335.53/336.87 c #Conflicts: 15000 | #Constraints: 115197
335.53/336.87 c INPROCESSING
335.53/336.87 c GARBAGE COLLECT
335.53/336.87 c #Conflicts: 16000 | #Constraints: 113430
335.53/336.87 c #Conflicts: 17000 | #Constraints: 114430
335.53/336.87 c #Conflicts: 18000 | #Constraints: 115430
335.53/336.87 c INPROCESSING
335.53/336.87 c GARBAGE COLLECT
335.53/336.87 c #Conflicts: 19000 | #Constraints: 113448
335.53/336.87 c #Conflicts: 20000 | #Constraints: 114448
335.53/336.87 c #Conflicts: 21000 | #Constraints: 115448
335.53/336.87 c INPROCESSING
335.53/336.87 c GARBAGE COLLECT
335.53/336.87 c #Conflicts: 22000 | #Constraints: 113252
335.53/336.87 c #Conflicts: 23000 | #Constraints: 114252
335.53/336.87 c #Conflicts: 24000 | #Constraints: 115252
335.53/336.87 c #Conflicts: 25000 | #Constraints: 116252
335.53/336.87 c INPROCESSING
335.53/336.87 c GARBAGE COLLECT
335.53/336.87 c #Conflicts: 26000 | #Constraints: 113862
335.53/336.87 c #Conflicts: 27000 | #Constraints: 114862
335.53/336.87 c #Conflicts: 28000 | #Constraints: 115862
335.53/336.87 c #Conflicts: 29000 | #Constraints: 116862
335.53/336.87 c INPROCESSING
335.53/336.87 c GARBAGE COLLECT
335.53/336.87 c #Conflicts: 30000 | #Constraints: 114258
335.53/336.87 c #Conflicts: 31000 | #Constraints: 115258
335.53/336.87 c #Conflicts: 32000 | #Constraints: 116258
335.53/336.87 c #Conflicts: 33000 | #Constraints: 117258
335.53/336.87 c INPROCESSING
335.53/336.87 c GARBAGE COLLECT
335.53/336.87 c #Conflicts: 34000 | #Constraints: 114461
335.53/336.87 c #Conflicts: 35000 | #Constraints: 115461
335.53/336.87 c #Conflicts: 36000 | #Constraints: 116461
335.53/336.87 c #Conflicts: 37000 | #Constraints: 117461
335.53/336.87 c INPROCESSING
335.53/336.87 c GARBAGE COLLECT
335.53/336.87 c #Conflicts: 38000 | #Constraints: 114461
335.53/336.87 c #Conflicts: 39000 | #Constraints: 115461
335.53/336.87 c #Conflicts: 40000 | #Constraints: 116461
335.53/336.87 c #Conflicts: 41000 | #Constraints: 117461
335.53/336.87 c INPROCESSING
335.53/336.87 c GARBAGE COLLECT
335.53/336.87 c #Conflicts: 42000 | #Constraints: 114269
335.53/336.87 c #Conflicts: 43000 | #Constraints: 115269
335.53/336.87 c #Conflicts: 44000 | #Constraints: 116269
335.53/336.87 c #Conflicts: 45000 | #Constraints: 117269
335.53/336.87 c #Conflicts: 46000 | #Constraints: 118269
335.53/336.87 c INPROCESSING
335.53/336.87 c GARBAGE COLLECT
335.53/336.87 c #Conflicts: 47000 | #Constraints: 114869
335.53/336.87 c #Conflicts: 48000 | #Constraints: 115869
335.53/336.87 c #Conflicts: 49000 | #Constraints: 116869
335.53/336.87 c #Conflicts: 50000 | #Constraints: 117869
335.53/336.87 c #Conflicts: 51000 | #Constraints: 118869
335.53/336.87 c INPROCESSING
335.53/336.87 c GARBAGE COLLECT
335.53/336.87 c #Conflicts: 52000 | #Constraints: 115273
335.53/336.87 c #Conflicts: 53000 | #Constraints: 116273
335.53/336.87 c #Conflicts: 54000 | #Constraints: 117273
335.53/336.87 c #Conflicts: 55000 | #Constraints: 118273
335.53/336.87 c #Conflicts: 56000 | #Constraints: 119273
335.53/336.87 c INPROCESSING
335.53/336.87 c GARBAGE COLLECT
335.53/336.87 c #Conflicts: 57000 | #Constraints: 115481
402.41/403.95 c #Conflicts: 58000 | #Constraints: 116481
402.41/403.95 c #Conflicts: 59000 | #Constraints: 117481
402.41/403.95 c #Conflicts: 60000 | #Constraints: 118481
402.41/403.95 c #Conflicts: 61000 | #Constraints: 119481
402.41/403.95 c INPROCESSING
402.41/403.95 c GARBAGE COLLECT
402.41/403.95 c #Conflicts: 62000 | #Constraints: 115478
402.41/403.95 c #Conflicts: 63000 | #Constraints: 116478
402.41/403.95 c #Conflicts: 64000 | #Constraints: 117478
402.41/403.95 c #Conflicts: 65000 | #Constraints: 118478
402.41/403.95 c #Conflicts: 66000 | #Constraints: 119478
402.41/403.95 c INPROCESSING
402.41/403.95 c GARBAGE COLLECT
402.41/403.95 c #Conflicts: 67000 | #Constraints: 115279
402.41/403.95 c #Conflicts: 68000 | #Constraints: 116279
402.41/403.95 c #Conflicts: 69000 | #Constraints: 117279
402.41/403.95 c #Conflicts: 70000 | #Constraints: 118279
402.41/403.95 c #Conflicts: 71000 | #Constraints: 119279
402.41/403.95 c #Conflicts: 72000 | #Constraints: 120279
402.41/403.95 c INPROCESSING
402.41/403.95 c GARBAGE COLLECT
402.41/403.95 c #Conflicts: 73000 | #Constraints: 115886
402.41/403.95 c #Conflicts: 74000 | #Constraints: 116886
402.41/403.95 c #Conflicts: 75000 | #Constraints: 117886
402.41/403.95 c #Conflicts: 76000 | #Constraints: 118886
402.41/403.95 c #Conflicts: 77000 | #Constraints: 119886
402.41/403.95 c #Conflicts: 78000 | #Constraints: 120886
402.41/403.95 c INPROCESSING
402.41/403.95 c GARBAGE COLLECT
402.41/403.95 c #Conflicts: 79000 | #Constraints: 116287
402.41/403.95 c #Conflicts: 80000 | #Constraints: 117287
402.41/403.95 c #Conflicts: 81000 | #Constraints: 118287
402.41/403.95 c #Conflicts: 82000 | #Constraints: 119287
402.41/403.95 c #Conflicts: 83000 | #Constraints: 120287
402.41/403.95 c #Conflicts: 84000 | #Constraints: 121287
402.41/403.95 c INPROCESSING
402.41/403.95 c GARBAGE COLLECT
402.41/403.95 c #Conflicts: 85000 | #Constraints: 116478
402.41/403.95 c #Conflicts: 86000 | #Constraints: 117478
402.41/403.95 c #Conflicts: 87000 | #Constraints: 118478
402.41/403.95 c #Conflicts: 88000 | #Constraints: 119478
402.41/403.95 c #Conflicts: 89000 | #Constraints: 120478
402.41/403.95 c #Conflicts: 90000 | #Constraints: 121478
402.41/403.95 c INPROCESSING
402.41/403.95 c GARBAGE COLLECT
402.41/403.95 c #Conflicts: 91000 | #Constraints: 116484
402.41/403.95 c #Conflicts: 92000 | #Constraints: 117484
402.41/403.95 c #Conflicts: 93000 | #Constraints: 118484
402.41/403.95 c #Conflicts: 94000 | #Constraints: 119484
402.41/403.95 c #Conflicts: 95000 | #Constraints: 120484
402.41/403.95 c #Conflicts: 96000 | #Constraints: 121484
402.41/403.95 c INPROCESSING
402.41/403.95 c GARBAGE COLLECT
402.41/403.95 c #Conflicts: 97000 | #Constraints: 116285
402.41/403.95 c #Conflicts: 98000 | #Constraints: 117285
402.41/403.95 c #Conflicts: 99000 | #Constraints: 118285
402.41/403.95 c #Conflicts: 100000 | #Constraints: 119285
402.41/403.95 c #Conflicts: 101000 | #Constraints: 120285
402.41/403.95 c #Conflicts: 102000 | #Constraints: 121285
402.41/403.95 c #Conflicts: 103000 | #Constraints: 122285
402.41/403.95 c INPROCESSING
402.41/403.95 c GARBAGE COLLECT
402.41/403.95 c #Conflicts: 104000 | #Constraints: 116886
402.41/403.95 c #Conflicts: 105000 | #Constraints: 117886
402.41/403.95 c #Conflicts: 106000 | #Constraints: 118886
402.41/403.95 c #Conflicts: 107000 | #Constraints: 119886
402.41/403.95 c #Conflicts: 108000 | #Constraints: 120886
402.41/403.95 c #Conflicts: 109000 | #Constraints: 121886
402.41/403.95 c #Conflicts: 110000 | #Constraints: 122886
402.41/403.95 c INPROCESSING
402.41/403.95 c GARBAGE COLLECT
402.41/403.95 c #Conflicts: 111000 | #Constraints: 117288
402.41/403.95 c #Conflicts: 112000 | #Constraints: 118288
402.41/403.95 c #Conflicts: 113000 | #Constraints: 119288
402.41/403.95 c #Conflicts: 114000 | #Constraints: 120288
402.41/403.95 c #Conflicts: 115000 | #Constraints: 121288
402.41/403.95 c #Conflicts: 116000 | #Constraints: 122288
402.41/403.95 c #Conflicts: 117000 | #Constraints: 123288
402.41/403.95 c INPROCESSING
402.41/403.95 c GARBAGE COLLECT
402.41/403.95 c #Conflicts: 118000 | #Constraints: 117488
402.41/403.95 c #Conflicts: 119000 | #Constraints: 118488
402.41/403.95 c #Conflicts: 120000 | #Constraints: 119488
402.41/403.95 c #Conflicts: 121000 | #Constraints: 120488
402.41/403.95 c #Conflicts: 122000 | #Constraints: 121488
402.41/403.95 c #Conflicts: 123000 | #Constraints: 122488
402.41/403.95 c #Conflicts: 124000 | #Constraints: 123488
402.41/403.95 c INPROCESSING
402.41/403.95 c GARBAGE COLLECT
402.41/403.95 c #Conflicts: 125000 | #Constraints: 117485
402.41/403.95 c #Conflicts: 126000 | #Constraints: 118485
402.41/403.95 c #Conflicts: 127000 | #Constraints: 119485
402.41/403.95 c #Conflicts: 128000 | #Constraints: 120485
402.41/403.95 c #Conflicts: 129000 | #Constraints: 121485
488.72/490.50 c #Conflicts: 130000 | #Constraints: 122485
488.72/490.50 c #Conflicts: 131000 | #Constraints: 123485
488.72/490.50 c INPROCESSING
488.72/490.50 c GARBAGE COLLECT
488.72/490.50 c #Conflicts: 132000 | #Constraints: 117284
488.72/490.50 c #Conflicts: 133000 | #Constraints: 118284
488.72/490.50 c #Conflicts: 134000 | #Constraints: 119284
488.72/490.50 c #Conflicts: 135000 | #Constraints: 120284
488.72/490.50 c #Conflicts: 136000 | #Constraints: 121284
488.72/490.50 c #Conflicts: 137000 | #Constraints: 122284
488.72/490.50 c #Conflicts: 138000 | #Constraints: 123284
488.72/490.50 c #Conflicts: 139000 | #Constraints: 124284
488.72/490.50 c INPROCESSING
488.72/490.50 c GARBAGE COLLECT
488.72/490.50 c #Conflicts: 140000 | #Constraints: 117888
488.72/490.50 c #Conflicts: 141000 | #Constraints: 118888
488.72/490.50 c #Conflicts: 142000 | #Constraints: 119888
488.72/490.50 c #Conflicts: 143000 | #Constraints: 120888
488.72/490.50 c #Conflicts: 144000 | #Constraints: 121888
488.72/490.50 c #Conflicts: 145000 | #Constraints: 122888
488.72/490.50 c #Conflicts: 146000 | #Constraints: 123888
488.72/490.50 c #Conflicts: 147000 | #Constraints: 124888
488.72/490.50 c INPROCESSING
488.72/490.50 c GARBAGE COLLECT
488.72/490.50 c #Conflicts: 148000 | #Constraints: 118300
488.72/490.50 c #Conflicts: 149000 | #Constraints: 119300
488.72/490.50 c #Conflicts: 150000 | #Constraints: 120300
488.72/490.50 c #Conflicts: 151000 | #Constraints: 121300
488.72/490.50 c #Conflicts: 152000 | #Constraints: 122300
488.72/490.50 c #Conflicts: 153000 | #Constraints: 123300
488.72/490.50 c #Conflicts: 154000 | #Constraints: 124300
488.72/490.50 c #Conflicts: 155000 | #Constraints: 125300
488.72/490.50 c INPROCESSING
488.72/490.50 c GARBAGE COLLECT
488.72/490.50 c #Conflicts: 156000 | #Constraints: 118509
488.72/490.50 c #Conflicts: 157000 | #Constraints: 119509
488.72/490.50 c #Conflicts: 158000 | #Constraints: 120509
488.72/490.50 c #Conflicts: 159000 | #Constraints: 121509
488.72/490.50 c #Conflicts: 160000 | #Constraints: 122509
488.72/490.50 c #Conflicts: 161000 | #Constraints: 123509
488.72/490.50 c #Conflicts: 162000 | #Constraints: 124509
488.72/490.50 c #Conflicts: 163000 | #Constraints: 125509
488.72/490.50 c INPROCESSING
488.72/490.50 c GARBAGE COLLECT
488.72/490.50 c #Conflicts: 164000 | #Constraints: 118500
488.72/490.50 c #Conflicts: 165000 | #Constraints: 119500
488.72/490.50 c #Conflicts: 166000 | #Constraints: 120500
488.72/490.50 c #Conflicts: 167000 | #Constraints: 121500
488.72/490.50 c #Conflicts: 168000 | #Constraints: 122500
488.72/490.50 c #Conflicts: 169000 | #Constraints: 123500
488.72/490.50 c #Conflicts: 170000 | #Constraints: 124500
488.72/490.50 c #Conflicts: 171000 | #Constraints: 125500
488.72/490.50 c INPROCESSING
488.72/490.50 c GARBAGE COLLECT
488.72/490.50 c #Conflicts: 172000 | #Constraints: 118313
488.72/490.50 c #Conflicts: 173000 | #Constraints: 119313
488.72/490.50 c #Conflicts: 174000 | #Constraints: 120313
488.72/490.50 c #Conflicts: 175000 | #Constraints: 121313
488.72/490.50 c #Conflicts: 176000 | #Constraints: 122313
488.72/490.50 c #Conflicts: 177000 | #Constraints: 123313
488.72/490.50 c #Conflicts: 178000 | #Constraints: 124313
488.72/490.50 c #Conflicts: 179000 | #Constraints: 125313
488.72/490.50 c #Conflicts: 180000 | #Constraints: 126313
488.72/490.50 c INPROCESSING
488.72/490.50 c GARBAGE COLLECT
488.72/490.50 c #Conflicts: 181000 | #Constraints: 118914
488.72/490.50 c #Conflicts: 182000 | #Constraints: 119914
488.72/490.50 c #Conflicts: 183000 | #Constraints: 120914
488.72/490.50 c #Conflicts: 184000 | #Constraints: 121914
488.72/490.50 c #Conflicts: 185000 | #Constraints: 122914
488.72/490.50 c #Conflicts: 186000 | #Constraints: 123914
488.72/490.50 c #Conflicts: 187000 | #Constraints: 124914
488.72/490.50 c #Conflicts: 188000 | #Constraints: 125914
488.72/490.50 c #Conflicts: 189000 | #Constraints: 126914
488.72/490.50 c INPROCESSING
488.72/490.50 c GARBAGE COLLECT
488.72/490.50 c #Conflicts: 190000 | #Constraints: 119316
488.72/490.50 c #Conflicts: 191000 | #Constraints: 120316
488.72/490.50 c #Conflicts: 192000 | #Constraints: 121316
488.72/490.50 c #Conflicts: 193000 | #Constraints: 122316
488.72/490.50 c #Conflicts: 194000 | #Constraints: 123316
488.72/490.50 c #Conflicts: 195000 | #Constraints: 124316
488.72/490.50 c #Conflicts: 196000 | #Constraints: 125316
488.72/490.50 c #Conflicts: 197000 | #Constraints: 126316
488.72/490.50 c #Conflicts: 198000 | #Constraints: 127316
488.72/490.50 c INPROCESSING
488.72/490.50 c GARBAGE COLLECT
488.72/490.50 c #Conflicts: 199000 | #Constraints: 119518
488.72/490.50 c #Conflicts: 200000 | #Constraints: 120518
488.72/490.50 c #Conflicts: 201000 | #Constraints: 121518
488.72/490.50 c #Conflicts: 202000 | #Constraints: 122518
589.29/591.40 c #Conflicts: 203000 | #Constraints: 123518
589.29/591.40 c #Conflicts: 204000 | #Constraints: 124518
589.29/591.40 c #Conflicts: 205000 | #Constraints: 125518
589.29/591.40 c #Conflicts: 206000 | #Constraints: 126518
589.29/591.40 c #Conflicts: 207000 | #Constraints: 127518
589.29/591.40 c INPROCESSING
589.29/591.40 c GARBAGE COLLECT
589.29/591.40 c #Conflicts: 208000 | #Constraints: 119513
589.29/591.40 c #Conflicts: 209000 | #Constraints: 120513
589.29/591.40 c #Conflicts: 210000 | #Constraints: 121513
589.29/591.40 c #Conflicts: 211000 | #Constraints: 122513
589.29/591.40 c #Conflicts: 212000 | #Constraints: 123513
589.29/591.40 c #Conflicts: 213000 | #Constraints: 124513
589.29/591.40 c #Conflicts: 214000 | #Constraints: 125513
589.29/591.40 c #Conflicts: 215000 | #Constraints: 126513
589.29/591.40 c #Conflicts: 216000 | #Constraints: 127513
589.29/591.40 c INPROCESSING
589.29/591.40 c GARBAGE COLLECT
589.29/591.40 c #Conflicts: 217000 | #Constraints: 119305
589.29/591.40 c #Conflicts: 218000 | #Constraints: 120305
589.29/591.40 c #Conflicts: 219000 | #Constraints: 121305
589.29/591.40 c #Conflicts: 220000 | #Constraints: 122305
589.29/591.40 c #Conflicts: 221000 | #Constraints: 123305
589.29/591.40 c #Conflicts: 222000 | #Constraints: 124305
589.29/591.40 c #Conflicts: 223000 | #Constraints: 125305
589.29/591.40 c #Conflicts: 224000 | #Constraints: 126305
589.29/591.40 c #Conflicts: 225000 | #Constraints: 127305
589.29/591.40 c #Conflicts: 226000 | #Constraints: 128305
589.29/591.40 c INPROCESSING
589.29/591.40 c GARBAGE COLLECT
589.29/591.40 c #Conflicts: 227000 | #Constraints: 119905
589.29/591.40 c #Conflicts: 228000 | #Constraints: 120905
589.29/591.40 c #Conflicts: 229000 | #Constraints: 121905
589.29/591.40 c #Conflicts: 230000 | #Constraints: 122905
589.29/591.40 c #Conflicts: 231000 | #Constraints: 123905
589.29/591.40 c #Conflicts: 232000 | #Constraints: 124905
589.29/591.40 c #Conflicts: 233000 | #Constraints: 125905
589.29/591.40 c #Conflicts: 234000 | #Constraints: 126905
589.29/591.40 c #Conflicts: 235000 | #Constraints: 127905
589.29/591.40 c #Conflicts: 236000 | #Constraints: 128905
589.29/591.40 c INPROCESSING
589.29/591.40 c GARBAGE COLLECT
589.29/591.40 c #Conflicts: 237000 | #Constraints: 120310
589.29/591.40 c #Conflicts: 238000 | #Constraints: 121310
589.29/591.40 c #Conflicts: 239000 | #Constraints: 122310
589.29/591.40 c #Conflicts: 240000 | #Constraints: 123310
589.29/591.40 c #Conflicts: 241000 | #Constraints: 124310
589.29/591.40 c #Conflicts: 242000 | #Constraints: 125310
589.29/591.40 c #Conflicts: 243000 | #Constraints: 126310
589.29/591.40 c #Conflicts: 244000 | #Constraints: 127310
589.29/591.40 c #Conflicts: 245000 | #Constraints: 128310
589.29/591.40 c #Conflicts: 246000 | #Constraints: 129310
589.29/591.40 c INPROCESSING
589.29/591.40 c GARBAGE COLLECT
589.29/591.40 c #Conflicts: 247000 | #Constraints: 120498
589.29/591.40 c #Conflicts: 248000 | #Constraints: 121498
589.29/591.40 c #Conflicts: 249000 | #Constraints: 122498
589.29/591.40 c #Conflicts: 250000 | #Constraints: 123498
589.29/591.40 c #Conflicts: 251000 | #Constraints: 124498
589.29/591.40 c #Conflicts: 252000 | #Constraints: 125498
589.29/591.40 c #Conflicts: 253000 | #Constraints: 126498
589.29/591.40 c #Conflicts: 254000 | #Constraints: 127498
589.29/591.40 c #Conflicts: 255000 | #Constraints: 128498
589.29/591.40 c #Conflicts: 256000 | #Constraints: 129498
589.29/591.40 c INPROCESSING
589.29/591.40 c GARBAGE COLLECT
589.29/591.40 c #Conflicts: 257000 | #Constraints: 120502
589.29/591.40 c #Conflicts: 258000 | #Constraints: 121502
589.29/591.40 c #Conflicts: 259000 | #Constraints: 122502
589.29/591.40 c #Conflicts: 260000 | #Constraints: 123502
589.29/591.40 c #Conflicts: 261000 | #Constraints: 124502
589.29/591.40 c #Conflicts: 262000 | #Constraints: 125502
589.29/591.40 c #Conflicts: 263000 | #Constraints: 126502
589.29/591.40 c #Conflicts: 264000 | #Constraints: 127502
589.29/591.40 c #Conflicts: 265000 | #Constraints: 128502
589.29/591.40 c #Conflicts: 266000 | #Constraints: 129502
589.29/591.40 c INPROCESSING
589.29/591.40 c GARBAGE COLLECT
589.29/591.40 c #Conflicts: 267000 | #Constraints: 120312
589.29/591.40 c #Conflicts: 268000 | #Constraints: 121312
589.29/591.40 c #Conflicts: 269000 | #Constraints: 122312
589.29/591.40 c #Conflicts: 270000 | #Constraints: 123312
589.29/591.40 c #Conflicts: 271000 | #Constraints: 124312
589.29/591.40 c #Conflicts: 272000 | #Constraints: 125312
589.29/591.40 c #Conflicts: 273000 | #Constraints: 126312
589.29/591.40 c #Conflicts: 274000 | #Constraints: 127312
589.29/591.40 c #Conflicts: 275000 | #Constraints: 128312
589.29/591.40 c #Conflicts: 276000 | #Constraints: 129312
706.10/708.61 c #Conflicts: 277000 | #Constraints: 130312
706.10/708.61 c INPROCESSING
706.10/708.61 c GARBAGE COLLECT
706.10/708.61 c #Conflicts: 278000 | #Constraints: 120908
706.10/708.61 c #Conflicts: 279000 | #Constraints: 121908
706.10/708.61 c #Conflicts: 280000 | #Constraints: 122908
706.10/708.61 c #Conflicts: 281000 | #Constraints: 123908
706.10/708.61 c #Conflicts: 282000 | #Constraints: 124908
706.10/708.61 c #Conflicts: 283000 | #Constraints: 125908
706.10/708.61 c #Conflicts: 284000 | #Constraints: 126908
706.10/708.61 c #Conflicts: 285000 | #Constraints: 127908
706.10/708.61 c #Conflicts: 286000 | #Constraints: 128908
706.10/708.61 c #Conflicts: 287000 | #Constraints: 129908
706.10/708.61 c #Conflicts: 288000 | #Constraints: 130908
706.10/708.61 c INPROCESSING
706.10/708.61 c GARBAGE COLLECT
706.10/708.61 c #Conflicts: 289000 | #Constraints: 121293
706.10/708.61 c #Conflicts: 290000 | #Constraints: 122293
706.10/708.61 c #Conflicts: 291000 | #Constraints: 123293
706.10/708.61 c #Conflicts: 292000 | #Constraints: 124293
706.10/708.61 c #Conflicts: 293000 | #Constraints: 125293
706.10/708.61 c #Conflicts: 294000 | #Constraints: 126293
706.10/708.61 c #Conflicts: 295000 | #Constraints: 127293
706.10/708.61 c #Conflicts: 296000 | #Constraints: 128293
706.10/708.61 c #Conflicts: 297000 | #Constraints: 129293
706.10/708.61 c #Conflicts: 298000 | #Constraints: 130293
706.10/708.61 c #Conflicts: 299000 | #Constraints: 131293
706.10/708.61 c INPROCESSING
706.10/708.61 c GARBAGE COLLECT
706.10/708.61 c #Conflicts: 300000 | #Constraints: 121505
706.10/708.61 c #Conflicts: 301000 | #Constraints: 122505
706.10/708.61 c #Conflicts: 302000 | #Constraints: 123505
706.10/708.61 c #Conflicts: 303000 | #Constraints: 124505
706.10/708.61 c #Conflicts: 304000 | #Constraints: 125505
706.10/708.61 c #Conflicts: 305000 | #Constraints: 126505
706.10/708.61 c #Conflicts: 306000 | #Constraints: 127505
706.10/708.61 c #Conflicts: 307000 | #Constraints: 128505
706.10/708.61 c #Conflicts: 308000 | #Constraints: 129505
706.10/708.61 c #Conflicts: 309000 | #Constraints: 130505
706.10/708.61 c #Conflicts: 310000 | #Constraints: 131505
706.10/708.61 c INPROCESSING
706.10/708.61 c GARBAGE COLLECT
706.10/708.61 c #Conflicts: 311000 | #Constraints: 121533
706.10/708.61 c #Conflicts: 312000 | #Constraints: 122533
706.10/708.61 c #Conflicts: 313000 | #Constraints: 123533
706.10/708.61 c #Conflicts: 314000 | #Constraints: 124533
706.10/708.61 c #Conflicts: 315000 | #Constraints: 125533
706.10/708.61 c #Conflicts: 316000 | #Constraints: 126533
706.10/708.61 c #Conflicts: 317000 | #Constraints: 127533
706.10/708.61 c #Conflicts: 318000 | #Constraints: 128533
706.10/708.61 c #Conflicts: 319000 | #Constraints: 129533
706.10/708.61 c #Conflicts: 320000 | #Constraints: 130533
706.10/708.61 c #Conflicts: 321000 | #Constraints: 131533
706.10/708.61 c INPROCESSING
706.10/708.61 c GARBAGE COLLECT
706.10/708.61 c #Conflicts: 322000 | #Constraints: 121332
706.10/708.61 c #Conflicts: 323000 | #Constraints: 122332
706.10/708.61 c #Conflicts: 324000 | #Constraints: 123332
706.10/708.61 c #Conflicts: 325000 | #Constraints: 124332
706.10/708.61 c #Conflicts: 326000 | #Constraints: 125332
706.10/708.61 c #Conflicts: 327000 | #Constraints: 126332
706.10/708.61 c #Conflicts: 328000 | #Constraints: 127332
706.10/708.61 c #Conflicts: 329000 | #Constraints: 128332
706.10/708.61 c #Conflicts: 330000 | #Constraints: 129332
706.10/708.61 c #Conflicts: 331000 | #Constraints: 130332
706.10/708.61 c #Conflicts: 332000 | #Constraints: 131332
706.10/708.61 c #Conflicts: 333000 | #Constraints: 132332
706.10/708.61 c INPROCESSING
706.10/708.61 c GARBAGE COLLECT
706.10/708.61 c #Conflicts: 334000 | #Constraints: 121945
706.10/708.61 c #Conflicts: 335000 | #Constraints: 122945
706.10/708.61 c #Conflicts: 336000 | #Constraints: 123945
706.10/708.61 c #Conflicts: 337000 | #Constraints: 124945
706.10/708.61 c #Conflicts: 338000 | #Constraints: 125945
706.10/708.61 c #Conflicts: 339000 | #Constraints: 126945
706.10/708.61 c #Conflicts: 340000 | #Constraints: 127945
706.10/708.61 c #Conflicts: 341000 | #Constraints: 128945
706.10/708.61 c #Conflicts: 342000 | #Constraints: 129945
706.10/708.61 c #Conflicts: 343000 | #Constraints: 130945
706.10/708.61 c #Conflicts: 344000 | #Constraints: 131945
706.10/708.61 c #Conflicts: 345000 | #Constraints: 132945
706.10/708.61 c INPROCESSING
706.10/708.61 c GARBAGE COLLECT
706.10/708.61 c #Conflicts: 346000 | #Constraints: 122329
706.10/708.61 c #Conflicts: 347000 | #Constraints: 123329
706.10/708.61 c #Conflicts: 348000 | #Constraints: 124329
706.10/708.61 c #Conflicts: 349000 | #Constraints: 125329
706.10/708.61 c #Conflicts: 350000 | #Constraints: 126329
842.88/845.84 c #Conflicts: 351000 | #Constraints: 127329
842.88/845.84 c #Conflicts: 352000 | #Constraints: 128329
842.88/845.84 c #Conflicts: 353000 | #Constraints: 129329
842.88/845.84 c #Conflicts: 354000 | #Constraints: 130329
842.88/845.84 c #Conflicts: 355000 | #Constraints: 131329
842.88/845.84 c #Conflicts: 356000 | #Constraints: 132329
842.88/845.84 c #Conflicts: 357000 | #Constraints: 133329
842.88/845.84 c INPROCESSING
842.88/845.84 c GARBAGE COLLECT
842.88/845.84 c #Conflicts: 358000 | #Constraints: 122517
842.88/845.84 c #Conflicts: 359000 | #Constraints: 123517
842.88/845.84 c #Conflicts: 360000 | #Constraints: 124517
842.88/845.84 c #Conflicts: 361000 | #Constraints: 125517
842.88/845.84 c #Conflicts: 362000 | #Constraints: 126517
842.88/845.84 c #Conflicts: 363000 | #Constraints: 127517
842.88/845.84 c #Conflicts: 364000 | #Constraints: 128517
842.88/845.84 c #Conflicts: 365000 | #Constraints: 129517
842.88/845.84 c #Conflicts: 366000 | #Constraints: 130517
842.88/845.84 c #Conflicts: 367000 | #Constraints: 131517
842.88/845.84 c #Conflicts: 368000 | #Constraints: 132517
842.88/845.84 c #Conflicts: 369000 | #Constraints: 133517
842.88/845.84 c INPROCESSING
842.88/845.84 c GARBAGE COLLECT
842.88/845.84 c #Conflicts: 370000 | #Constraints: 122526
842.88/845.84 c #Conflicts: 371000 | #Constraints: 123526
842.88/845.84 c #Conflicts: 372000 | #Constraints: 124526
842.88/845.84 c #Conflicts: 373000 | #Constraints: 125526
842.88/845.84 c #Conflicts: 374000 | #Constraints: 126526
842.88/845.84 c #Conflicts: 375000 | #Constraints: 127526
842.88/845.84 c #Conflicts: 376000 | #Constraints: 128526
842.88/845.84 c #Conflicts: 377000 | #Constraints: 129526
842.88/845.84 c #Conflicts: 378000 | #Constraints: 130526
842.88/845.84 c #Conflicts: 379000 | #Constraints: 131526
842.88/845.84 c #Conflicts: 380000 | #Constraints: 132526
842.88/845.84 c #Conflicts: 381000 | #Constraints: 133526
842.88/845.84 c INPROCESSING
842.88/845.84 c GARBAGE COLLECT
842.88/845.84 c #Conflicts: 382000 | #Constraints: 122331
842.88/845.84 c #Conflicts: 383000 | #Constraints: 123331
842.88/845.84 c #Conflicts: 384000 | #Constraints: 124331
842.88/845.84 c #Conflicts: 385000 | #Constraints: 125331
842.88/845.84 c #Conflicts: 386000 | #Constraints: 126331
842.88/845.84 c #Conflicts: 387000 | #Constraints: 127331
842.88/845.84 c #Conflicts: 388000 | #Constraints: 128331
842.88/845.84 c #Conflicts: 389000 | #Constraints: 129331
842.88/845.84 c #Conflicts: 390000 | #Constraints: 130331
842.88/845.84 c #Conflicts: 391000 | #Constraints: 131331
842.88/845.84 c #Conflicts: 392000 | #Constraints: 132331
842.88/845.84 c #Conflicts: 393000 | #Constraints: 133331
842.88/845.84 c #Conflicts: 394000 | #Constraints: 134331
842.88/845.84 c INPROCESSING
842.88/845.84 c GARBAGE COLLECT
842.88/845.84 c #Conflicts: 395000 | #Constraints: 122927
842.88/845.84 c #Conflicts: 396000 | #Constraints: 123927
842.88/845.84 c #Conflicts: 397000 | #Constraints: 124927
842.88/845.84 c #Conflicts: 398000 | #Constraints: 125927
842.88/845.84 c #Conflicts: 399000 | #Constraints: 126927
842.88/845.84 c #Conflicts: 400000 | #Constraints: 127927
842.88/845.84 c #Conflicts: 401000 | #Constraints: 128927
842.88/845.84 c #Conflicts: 402000 | #Constraints: 129927
842.88/845.84 c #Conflicts: 403000 | #Constraints: 130927
842.88/845.84 c #Conflicts: 404000 | #Constraints: 131927
842.88/845.84 c #Conflicts: 405000 | #Constraints: 132927
842.88/845.84 c #Conflicts: 406000 | #Constraints: 133927
842.88/845.84 c #Conflicts: 407000 | #Constraints: 134927
842.88/845.84 c INPROCESSING
842.88/845.84 c GARBAGE COLLECT
842.88/845.84 c #Conflicts: 408000 | #Constraints: 123311
842.88/845.84 c #Conflicts: 409000 | #Constraints: 124311
842.88/845.84 c #Conflicts: 410000 | #Constraints: 125311
842.88/845.84 c #Conflicts: 411000 | #Constraints: 126311
842.88/845.84 c #Conflicts: 412000 | #Constraints: 127311
842.88/845.84 c #Conflicts: 413000 | #Constraints: 128311
842.88/845.84 c #Conflicts: 414000 | #Constraints: 129311
842.88/845.84 c #Conflicts: 415000 | #Constraints: 130311
842.88/845.84 c #Conflicts: 416000 | #Constraints: 131311
842.88/845.84 c #Conflicts: 417000 | #Constraints: 132311
842.88/845.84 c #Conflicts: 418000 | #Constraints: 133311
842.88/845.84 c #Conflicts: 419000 | #Constraints: 134311
842.88/845.84 c #Conflicts: 420000 | #Constraints: 135311
842.88/845.84 c INPROCESSING
842.88/845.84 c GARBAGE COLLECT
842.88/845.84 c #Conflicts: 421000 | #Constraints: 123520
842.88/845.84 c #Conflicts: 422000 | #Constraints: 124520
842.88/845.84 c #Conflicts: 423000 | #Constraints: 125520
842.88/845.84 c #Conflicts: 424000 | #Constraints: 126520
842.88/845.84 c #Conflicts: 425000 | #Constraints: 127520
983.68/987.01 c #Conflicts: 426000 | #Constraints: 128520
983.68/987.01 c #Conflicts: 427000 | #Constraints: 129520
983.68/987.01 c #Conflicts: 428000 | #Constraints: 130520
983.68/987.01 c #Conflicts: 429000 | #Constraints: 131520
983.68/987.01 c #Conflicts: 430000 | #Constraints: 132520
983.68/987.01 c #Conflicts: 431000 | #Constraints: 133520
983.68/987.01 c #Conflicts: 432000 | #Constraints: 134520
983.68/987.01 c #Conflicts: 433000 | #Constraints: 135520
983.68/987.01 c INPROCESSING
983.68/987.01 c GARBAGE COLLECT
983.68/987.01 c #Conflicts: 434000 | #Constraints: 123533
983.68/987.01 c #Conflicts: 435000 | #Constraints: 124533
983.68/987.01 c #Conflicts: 436000 | #Constraints: 125533
983.68/987.01 c #Conflicts: 437000 | #Constraints: 126533
983.68/987.01 c #Conflicts: 438000 | #Constraints: 127533
983.68/987.01 c #Conflicts: 439000 | #Constraints: 128533
983.68/987.01 c #Conflicts: 440000 | #Constraints: 129533
983.68/987.01 c #Conflicts: 441000 | #Constraints: 130533
983.68/987.01 c #Conflicts: 442000 | #Constraints: 131533
983.68/987.01 c #Conflicts: 443000 | #Constraints: 132533
983.68/987.01 c #Conflicts: 444000 | #Constraints: 133533
983.68/987.01 c #Conflicts: 445000 | #Constraints: 134533
983.68/987.01 c #Conflicts: 446000 | #Constraints: 135533
983.68/987.01 c INPROCESSING
983.68/987.01 c GARBAGE COLLECT
983.68/987.01 c #Conflicts: 447000 | #Constraints: 123329
983.68/987.01 c #Conflicts: 448000 | #Constraints: 124329
983.68/987.01 c #Conflicts: 449000 | #Constraints: 125329
983.68/987.01 c #Conflicts: 450000 | #Constraints: 126329
983.68/987.01 c #Conflicts: 451000 | #Constraints: 127329
983.68/987.01 c #Conflicts: 452000 | #Constraints: 128329
983.68/987.01 c #Conflicts: 453000 | #Constraints: 129329
983.68/987.01 c #Conflicts: 454000 | #Constraints: 130329
983.68/987.01 c #Conflicts: 455000 | #Constraints: 131329
983.68/987.01 c #Conflicts: 456000 | #Constraints: 132329
983.68/987.01 c #Conflicts: 457000 | #Constraints: 133329
983.68/987.01 c #Conflicts: 458000 | #Constraints: 134329
983.68/987.01 c #Conflicts: 459000 | #Constraints: 135329
983.68/987.01 c #Conflicts: 460000 | #Constraints: 136329
983.68/987.01 c INPROCESSING
983.68/987.01 c GARBAGE COLLECT
983.68/987.01 c #Conflicts: 461000 | #Constraints: 123937
983.68/987.01 c #Conflicts: 462000 | #Constraints: 124937
983.68/987.01 c #Conflicts: 463000 | #Constraints: 125937
983.68/987.01 c #Conflicts: 464000 | #Constraints: 126937
983.68/987.01 c #Conflicts: 465000 | #Constraints: 127937
983.68/987.01 c #Conflicts: 466000 | #Constraints: 128937
983.68/987.01 c #Conflicts: 467000 | #Constraints: 129937
983.68/987.01 c #Conflicts: 468000 | #Constraints: 130937
983.68/987.01 c #Conflicts: 469000 | #Constraints: 131937
983.68/987.01 c #Conflicts: 470000 | #Constraints: 132937
983.68/987.01 c #Conflicts: 471000 | #Constraints: 133937
983.68/987.01 c #Conflicts: 472000 | #Constraints: 134937
983.68/987.01 c #Conflicts: 473000 | #Constraints: 135937
983.68/987.01 c #Conflicts: 474000 | #Constraints: 136937
983.68/987.01 c INPROCESSING
983.68/987.01 c GARBAGE COLLECT
983.68/987.01 c #Conflicts: 475000 | #Constraints: 124336
983.68/987.01 c #Conflicts: 476000 | #Constraints: 125336
983.68/987.01 c #Conflicts: 477000 | #Constraints: 126336
983.68/987.01 c #Conflicts: 478000 | #Constraints: 127336
983.68/987.01 c #Conflicts: 479000 | #Constraints: 128336
983.68/987.01 c #Conflicts: 480000 | #Constraints: 129336
983.68/987.01 c #Conflicts: 481000 | #Constraints: 130336
983.68/987.01 c #Conflicts: 482000 | #Constraints: 131336
983.68/987.01 c #Conflicts: 483000 | #Constraints: 132336
983.68/987.01 c #Conflicts: 484000 | #Constraints: 133336
983.68/987.01 c #Conflicts: 485000 | #Constraints: 134336
983.68/987.01 c #Conflicts: 486000 | #Constraints: 135336
983.68/987.01 c #Conflicts: 487000 | #Constraints: 136336
983.68/987.01 c #Conflicts: 488000 | #Constraints: 137336
983.68/987.01 c INPROCESSING
983.68/987.01 c GARBAGE COLLECT
983.68/987.01 c #Conflicts: 489000 | #Constraints: 124535
983.68/987.01 c #Conflicts: 490000 | #Constraints: 125535
983.68/987.01 c #Conflicts: 491000 | #Constraints: 126535
983.68/987.01 c #Conflicts: 492000 | #Constraints: 127535
983.68/987.01 c #Conflicts: 493000 | #Constraints: 128535
983.68/987.01 c #Conflicts: 494000 | #Constraints: 129535
983.68/987.01 c #Conflicts: 495000 | #Constraints: 130535
983.68/987.01 c #Conflicts: 496000 | #Constraints: 131535
983.68/987.01 c #Conflicts: 497000 | #Constraints: 132535
983.68/987.01 c #Conflicts: 498000 | #Constraints: 133535
983.68/987.01 c #Conflicts: 499000 | #Constraints: 134535
983.68/987.01 c #Conflicts: 500000 | #Constraints: 135535
983.68/987.01 c #Conflicts: 501000 | #Constraints: 136535
1158.97/1162.89 c #Conflicts: 502000 | #Constraints: 137535
1158.97/1162.89 c INPROCESSING
1158.97/1162.89 c GARBAGE COLLECT
1158.97/1162.89 c #Conflicts: 503000 | #Constraints: 124521
1158.97/1162.89 c #Conflicts: 504000 | #Constraints: 125521
1158.97/1162.89 c #Conflicts: 505000 | #Constraints: 126521
1158.97/1162.89 c #Conflicts: 506000 | #Constraints: 127521
1158.97/1162.89 c #Conflicts: 507000 | #Constraints: 128521
1158.97/1162.89 c #Conflicts: 508000 | #Constraints: 129521
1158.97/1162.89 c #Conflicts: 509000 | #Constraints: 130521
1158.97/1162.89 c #Conflicts: 510000 | #Constraints: 131521
1158.97/1162.89 c #Conflicts: 511000 | #Constraints: 132521
1158.97/1162.89 c #Conflicts: 512000 | #Constraints: 133521
1158.97/1162.89 c #Conflicts: 513000 | #Constraints: 134521
1158.97/1162.89 c #Conflicts: 514000 | #Constraints: 135521
1158.97/1162.89 c #Conflicts: 515000 | #Constraints: 136521
1158.97/1162.89 c #Conflicts: 516000 | #Constraints: 137521
1158.97/1162.89 c INPROCESSING
1158.97/1162.89 c GARBAGE COLLECT
1158.97/1162.89 c #Conflicts: 517000 | #Constraints: 124319
1158.97/1162.89 c #Conflicts: 518000 | #Constraints: 125319
1158.97/1162.89 c #Conflicts: 519000 | #Constraints: 126319
1158.97/1162.89 c #Conflicts: 520000 | #Constraints: 127319
1158.97/1162.89 c #Conflicts: 521000 | #Constraints: 128319
1158.97/1162.89 c #Conflicts: 522000 | #Constraints: 129319
1158.97/1162.89 c #Conflicts: 523000 | #Constraints: 130319
1158.97/1162.89 c #Conflicts: 524000 | #Constraints: 131319
1158.97/1162.89 c #Conflicts: 525000 | #Constraints: 132319
1158.97/1162.89 c #Conflicts: 526000 | #Constraints: 133319
1158.97/1162.89 c #Conflicts: 527000 | #Constraints: 134319
1158.97/1162.89 c #Conflicts: 528000 | #Constraints: 135319
1158.97/1162.89 c #Conflicts: 529000 | #Constraints: 136319
1158.97/1162.89 c #Conflicts: 530000 | #Constraints: 137319
1158.97/1162.89 c #Conflicts: 531000 | #Constraints: 138319
1158.97/1162.89 c INPROCESSING
1158.97/1162.89 c GARBAGE COLLECT
1158.97/1162.89 c #Conflicts: 532000 | #Constraints: 124936
1158.97/1162.89 c #Conflicts: 533000 | #Constraints: 125936
1158.97/1162.89 c #Conflicts: 534000 | #Constraints: 126936
1158.97/1162.89 c #Conflicts: 535000 | #Constraints: 127936
1158.97/1162.89 c #Conflicts: 536000 | #Constraints: 128936
1158.97/1162.89 c #Conflicts: 537000 | #Constraints: 129936
1158.97/1162.89 c #Conflicts: 538000 | #Constraints: 130936
1158.97/1162.89 c #Conflicts: 539000 | #Constraints: 131936
1158.97/1162.89 c #Conflicts: 540000 | #Constraints: 132936
1158.97/1162.89 c #Conflicts: 541000 | #Constraints: 133936
1158.97/1162.89 c #Conflicts: 542000 | #Constraints: 134936
1158.97/1162.89 c #Conflicts: 543000 | #Constraints: 135936
1158.97/1162.89 c #Conflicts: 544000 | #Constraints: 136936
1158.97/1162.89 c #Conflicts: 545000 | #Constraints: 137936
1158.97/1162.89 c #Conflicts: 546000 | #Constraints: 138936
1158.97/1162.89 c INPROCESSING
1158.97/1162.89 c GARBAGE COLLECT
1158.97/1162.89 c #Conflicts: 547000 | #Constraints: 125331
1158.97/1162.89 c #Conflicts: 548000 | #Constraints: 126331
1158.97/1162.89 c #Conflicts: 549000 | #Constraints: 127331
1158.97/1162.89 c #Conflicts: 550000 | #Constraints: 128331
1158.97/1162.89 c #Conflicts: 551000 | #Constraints: 129331
1158.97/1162.89 c #Conflicts: 552000 | #Constraints: 130331
1158.97/1162.89 c #Conflicts: 553000 | #Constraints: 131331
1158.97/1162.89 c #Conflicts: 554000 | #Constraints: 132331
1158.97/1162.89 c #Conflicts: 555000 | #Constraints: 133331
1158.97/1162.89 c #Conflicts: 556000 | #Constraints: 134331
1158.97/1162.89 c #Conflicts: 557000 | #Constraints: 135331
1158.97/1162.89 c #Conflicts: 558000 | #Constraints: 136331
1158.97/1162.89 c #Conflicts: 559000 | #Constraints: 137331
1158.97/1162.89 c #Conflicts: 560000 | #Constraints: 138331
1158.97/1162.89 c #Conflicts: 561000 | #Constraints: 139331
1158.97/1162.89 c INPROCESSING
1158.97/1162.89 c GARBAGE COLLECT
1158.97/1162.89 c #Conflicts: 562000 | #Constraints: 125545
1158.97/1162.89 c #Conflicts: 563000 | #Constraints: 126545
1158.97/1162.89 c #Conflicts: 564000 | #Constraints: 127545
1158.97/1162.89 c #Conflicts: 565000 | #Constraints: 128545
1158.97/1162.89 c #Conflicts: 566000 | #Constraints: 129545
1158.97/1162.89 c #Conflicts: 567000 | #Constraints: 130545
1158.97/1162.89 c #Conflicts: 568000 | #Constraints: 131545
1158.97/1162.89 c #Conflicts: 569000 | #Constraints: 132545
1158.97/1162.89 c #Conflicts: 570000 | #Constraints: 133545
1158.97/1162.89 c #Conflicts: 571000 | #Constraints: 134545
1158.97/1162.89 c #Conflicts: 572000 | #Constraints: 135545
1158.97/1162.89 c #Conflicts: 573000 | #Constraints: 136545
1158.97/1162.89 c #Conflicts: 574000 | #Constraints: 137545
1158.97/1162.89 c #Conflicts: 575000 | #Constraints: 138545
1158.97/1162.89 c #Conflicts: 576000 | #Constraints: 139545
1158.97/1162.89 c INPROCESSING
1345.03/1349.44 c GARBAGE COLLECT
1345.03/1349.44 c #Conflicts: 577000 | #Constraints: 125535
1345.03/1349.44 c #Conflicts: 578000 | #Constraints: 126535
1345.03/1349.44 c #Conflicts: 579000 | #Constraints: 127535
1345.03/1349.44 c #Conflicts: 580000 | #Constraints: 128535
1345.03/1349.44 c #Conflicts: 581000 | #Constraints: 129535
1345.03/1349.44 c #Conflicts: 582000 | #Constraints: 130535
1345.03/1349.44 c #Conflicts: 583000 | #Constraints: 131535
1345.03/1349.44 c #Conflicts: 584000 | #Constraints: 132535
1345.03/1349.44 c #Conflicts: 585000 | #Constraints: 133535
1345.03/1349.44 c #Conflicts: 586000 | #Constraints: 134535
1345.03/1349.44 c #Conflicts: 587000 | #Constraints: 135535
1345.03/1349.44 c #Conflicts: 588000 | #Constraints: 136535
1345.03/1349.44 c #Conflicts: 589000 | #Constraints: 137535
1345.03/1349.44 c #Conflicts: 590000 | #Constraints: 138535
1345.03/1349.44 c #Conflicts: 591000 | #Constraints: 139535
1345.03/1349.44 c INPROCESSING
1345.03/1349.44 c GARBAGE COLLECT
1345.03/1349.44 c #Conflicts: 592000 | #Constraints: 125334
1345.03/1349.44 c #Conflicts: 593000 | #Constraints: 126334
1345.03/1349.44 c #Conflicts: 594000 | #Constraints: 127334
1345.03/1349.44 c #Conflicts: 595000 | #Constraints: 128334
1345.03/1349.44 c #Conflicts: 596000 | #Constraints: 129334
1345.03/1349.44 c #Conflicts: 597000 | #Constraints: 130334
1345.03/1349.44 c #Conflicts: 598000 | #Constraints: 131334
1345.03/1349.44 c #Conflicts: 599000 | #Constraints: 132334
1345.03/1349.44 c #Conflicts: 600000 | #Constraints: 133334
1345.03/1349.44 c #Conflicts: 601000 | #Constraints: 134334
1345.03/1349.44 c #Conflicts: 602000 | #Constraints: 135334
1345.03/1349.44 c #Conflicts: 603000 | #Constraints: 136334
1345.03/1349.44 c #Conflicts: 604000 | #Constraints: 137334
1345.03/1349.44 c #Conflicts: 605000 | #Constraints: 138334
1345.03/1349.44 c #Conflicts: 606000 | #Constraints: 139334
1345.03/1349.44 c #Conflicts: 607000 | #Constraints: 140334
1345.03/1349.44 c INPROCESSING
1345.03/1349.44 c GARBAGE COLLECT
1345.03/1349.44 c #Conflicts: 608000 | #Constraints: 125923
1345.03/1349.44 c #Conflicts: 609000 | #Constraints: 126923
1345.03/1349.44 c #Conflicts: 610000 | #Constraints: 127923
1345.03/1349.44 c #Conflicts: 611000 | #Constraints: 128923
1345.03/1349.44 c #Conflicts: 612000 | #Constraints: 129923
1345.03/1349.44 c #Conflicts: 613000 | #Constraints: 130923
1345.03/1349.44 c #Conflicts: 614000 | #Constraints: 131923
1345.03/1349.45 c #Conflicts: 615000 | #Constraints: 132923
1345.03/1349.45 c #Conflicts: 616000 | #Constraints: 133923
1345.03/1349.45 c #Conflicts: 617000 | #Constraints: 134923
1345.03/1349.45 c #Conflicts: 618000 | #Constraints: 135923
1345.03/1349.45 c #Conflicts: 619000 | #Constraints: 136923
1345.03/1349.45 c #Conflicts: 620000 | #Constraints: 137923
1345.03/1349.45 c #Conflicts: 621000 | #Constraints: 138923
1345.03/1349.45 c #Conflicts: 622000 | #Constraints: 139923
1345.03/1349.45 c #Conflicts: 623000 | #Constraints: 140923
1345.03/1349.45 c INPROCESSING
1345.03/1349.45 c GARBAGE COLLECT
1345.03/1349.45 c #Conflicts: 624000 | #Constraints: 126333
1345.03/1349.45 c #Conflicts: 625000 | #Constraints: 127333
1345.03/1349.45 c #Conflicts: 626000 | #Constraints: 128333
1345.03/1349.45 c #Conflicts: 627000 | #Constraints: 129333
1345.03/1349.45 c #Conflicts: 628000 | #Constraints: 130333
1345.03/1349.45 c #Conflicts: 629000 | #Constraints: 131333
1345.03/1349.45 c #Conflicts: 630000 | #Constraints: 132333
1345.03/1349.45 c #Conflicts: 631000 | #Constraints: 133333
1345.03/1349.45 c #Conflicts: 632000 | #Constraints: 134333
1345.03/1349.45 c #Conflicts: 633000 | #Constraints: 135333
1345.03/1349.45 c #Conflicts: 634000 | #Constraints: 136333
1345.03/1349.45 c #Conflicts: 635000 | #Constraints: 137333
1345.03/1349.45 c #Conflicts: 636000 | #Constraints: 138333
1345.03/1349.45 c #Conflicts: 637000 | #Constraints: 139333
1345.03/1349.45 c #Conflicts: 638000 | #Constraints: 140333
1345.03/1349.45 c #Conflicts: 639000 | #Constraints: 141333
1345.03/1349.45 c INPROCESSING
1345.03/1349.45 c GARBAGE COLLECT
1345.03/1349.45 c #Conflicts: 640000 | #Constraints: 126523
1345.03/1349.45 c #Conflicts: 641000 | #Constraints: 127523
1345.03/1349.45 c #Conflicts: 642000 | #Constraints: 128523
1345.03/1349.45 c #Conflicts: 643000 | #Constraints: 129523
1345.03/1349.45 c #Conflicts: 644000 | #Constraints: 130523
1345.03/1349.45 c #Conflicts: 645000 | #Constraints: 131523
1345.03/1349.45 c #Conflicts: 646000 | #Constraints: 132523
1345.03/1349.45 c #Conflicts: 647000 | #Constraints: 133523
1345.03/1349.45 c #Conflicts: 648000 | #Constraints: 134523
1345.03/1349.45 c #Conflicts: 649000 | #Constraints: 135523
1345.03/1349.45 c #Conflicts: 650000 | #Constraints: 136523
1345.03/1349.45 c #Conflicts: 651000 | #Constraints: 137523
1345.03/1349.45 c #Conflicts: 652000 | #Constraints: 138523
1518.32/1523.25 c #Conflicts: 653000 | #Constraints: 139523
1518.32/1523.25 c #Conflicts: 654000 | #Constraints: 140523
1518.32/1523.25 c #Conflicts: 655000 | #Constraints: 141523
1518.32/1523.25 c INPROCESSING
1518.32/1523.25 c GARBAGE COLLECT
1518.32/1523.25 c #Conflicts: 656000 | #Constraints: 126538
1518.32/1523.25 c #Conflicts: 657000 | #Constraints: 127538
1518.32/1523.25 c #Conflicts: 658000 | #Constraints: 128538
1518.32/1523.25 c #Conflicts: 659000 | #Constraints: 129538
1518.32/1523.25 c #Conflicts: 660000 | #Constraints: 130538
1518.32/1523.25 c #Conflicts: 661000 | #Constraints: 131538
1518.32/1523.25 c #Conflicts: 662000 | #Constraints: 132538
1518.32/1523.25 c #Conflicts: 663000 | #Constraints: 133538
1518.32/1523.25 c #Conflicts: 664000 | #Constraints: 134538
1518.32/1523.25 c #Conflicts: 665000 | #Constraints: 135538
1518.32/1523.25 c #Conflicts: 666000 | #Constraints: 136538
1518.32/1523.25 c #Conflicts: 667000 | #Constraints: 137538
1518.32/1523.25 c #Conflicts: 668000 | #Constraints: 138538
1518.32/1523.25 c #Conflicts: 669000 | #Constraints: 139538
1518.32/1523.25 c #Conflicts: 670000 | #Constraints: 140538
1518.32/1523.25 c #Conflicts: 671000 | #Constraints: 141538
1518.32/1523.25 c INPROCESSING
1518.32/1523.25 c GARBAGE COLLECT
1518.32/1523.25 c #Conflicts: 672000 | #Constraints: 126348
1518.32/1523.25 c #Conflicts: 673000 | #Constraints: 127348
1518.32/1523.25 c #Conflicts: 674000 | #Constraints: 128348
1518.32/1523.25 c #Conflicts: 675000 | #Constraints: 129348
1518.32/1523.25 c #Conflicts: 676000 | #Constraints: 130348
1518.32/1523.25 c #Conflicts: 677000 | #Constraints: 131348
1518.32/1523.25 c #Conflicts: 678000 | #Constraints: 132348
1518.32/1523.25 c #Conflicts: 679000 | #Constraints: 133348
1518.32/1523.25 c #Conflicts: 680000 | #Constraints: 134348
1518.32/1523.25 c #Conflicts: 681000 | #Constraints: 135348
1518.32/1523.25 c #Conflicts: 682000 | #Constraints: 136348
1518.32/1523.25 c #Conflicts: 683000 | #Constraints: 137348
1518.32/1523.25 c #Conflicts: 684000 | #Constraints: 138348
1518.32/1523.25 c #Conflicts: 685000 | #Constraints: 139348
1518.32/1523.25 c #Conflicts: 686000 | #Constraints: 140348
1518.32/1523.25 c #Conflicts: 687000 | #Constraints: 141348
1518.32/1523.25 c #Conflicts: 688000 | #Constraints: 142348
1518.32/1523.25 c INPROCESSING
1518.32/1523.25 c GARBAGE COLLECT
1518.32/1523.25 c #Conflicts: 689000 | #Constraints: 126946
1518.32/1523.25 c #Conflicts: 690000 | #Constraints: 127946
1518.32/1523.25 c #Conflicts: 691000 | #Constraints: 128946
1518.32/1523.25 c #Conflicts: 692000 | #Constraints: 129946
1518.32/1523.25 c #Conflicts: 693000 | #Constraints: 130946
1518.32/1523.25 c #Conflicts: 694000 | #Constraints: 131946
1518.32/1523.25 c #Conflicts: 695000 | #Constraints: 132946
1518.32/1523.25 c #Conflicts: 696000 | #Constraints: 133946
1518.32/1523.25 c #Conflicts: 697000 | #Constraints: 134946
1518.32/1523.25 c #Conflicts: 698000 | #Constraints: 135946
1518.32/1523.25 c #Conflicts: 699000 | #Constraints: 136946
1518.32/1523.25 c #Conflicts: 700000 | #Constraints: 137946
1518.32/1523.25 c #Conflicts: 701000 | #Constraints: 138946
1518.32/1523.25 c #Conflicts: 702000 | #Constraints: 139946
1518.32/1523.25 c #Conflicts: 703000 | #Constraints: 140946
1518.32/1523.25 c #Conflicts: 704000 | #Constraints: 141946
1518.32/1523.25 c #Conflicts: 705000 | #Constraints: 142946
1518.32/1523.25 c INPROCESSING
1518.32/1523.25 c GARBAGE COLLECT
1518.32/1523.25 c #Conflicts: 706000 | #Constraints: 127337
1518.32/1523.25 c #Conflicts: 707000 | #Constraints: 128337
1518.32/1523.25 c #Conflicts: 708000 | #Constraints: 129337
1518.32/1523.25 c #Conflicts: 709000 | #Constraints: 130337
1518.32/1523.25 c #Conflicts: 710000 | #Constraints: 131337
1518.32/1523.25 c #Conflicts: 711000 | #Constraints: 132337
1518.32/1523.25 c #Conflicts: 712000 | #Constraints: 133337
1518.32/1523.25 c #Conflicts: 713000 | #Constraints: 134337
1518.32/1523.25 c #Conflicts: 714000 | #Constraints: 135337
1518.32/1523.25 c #Conflicts: 715000 | #Constraints: 136337
1518.32/1523.25 c #Conflicts: 716000 | #Constraints: 137337
1518.32/1523.25 c #Conflicts: 717000 | #Constraints: 138337
1518.32/1523.25 c #Conflicts: 718000 | #Constraints: 139337
1518.32/1523.25 c #Conflicts: 719000 | #Constraints: 140337
1518.32/1523.25 c #Conflicts: 720000 | #Constraints: 141337
1518.32/1523.25 c #Conflicts: 721000 | #Constraints: 142337
1518.32/1523.25 c #Conflicts: 722000 | #Constraints: 143337
1518.32/1523.25 c INPROCESSING
1518.32/1523.25 c GARBAGE COLLECT
1518.32/1523.25 c #Conflicts: 723000 | #Constraints: 127539
1518.32/1523.25 c #Conflicts: 724000 | #Constraints: 128539
1518.32/1523.25 c #Conflicts: 725000 | #Constraints: 129539
1518.32/1523.25 c #Conflicts: 726000 | #Constraints: 130539
1518.32/1523.25 c #Conflicts: 727000 | #Constraints: 131539
1518.32/1523.25 c #Conflicts: 728000 | #Constraints: 132539
1693.08/1698.49 c #Conflicts: 729000 | #Constraints: 133539
1693.08/1698.49 c #Conflicts: 730000 | #Constraints: 134539
1693.08/1698.49 c #Conflicts: 731000 | #Constraints: 135539
1693.08/1698.49 c #Conflicts: 732000 | #Constraints: 136539
1693.08/1698.49 c #Conflicts: 733000 | #Constraints: 137539
1693.08/1698.49 c #Conflicts: 734000 | #Constraints: 138539
1693.08/1698.49 c #Conflicts: 735000 | #Constraints: 139539
1693.08/1698.49 c #Conflicts: 736000 | #Constraints: 140539
1693.08/1698.49 c #Conflicts: 737000 | #Constraints: 141539
1693.08/1698.49 c #Conflicts: 738000 | #Constraints: 142539
1693.08/1698.49 c #Conflicts: 739000 | #Constraints: 143539
1693.08/1698.49 c INPROCESSING
1693.08/1698.49 c GARBAGE COLLECT
1693.08/1698.49 c #Conflicts: 740000 | #Constraints: 127565
1693.08/1698.49 c #Conflicts: 741000 | #Constraints: 128565
1693.08/1698.49 c #Conflicts: 742000 | #Constraints: 129565
1693.08/1698.49 c #Conflicts: 743000 | #Constraints: 130565
1693.08/1698.49 c #Conflicts: 744000 | #Constraints: 131565
1693.08/1698.49 c #Conflicts: 745000 | #Constraints: 132565
1693.08/1698.49 c #Conflicts: 746000 | #Constraints: 133565
1693.08/1698.49 c #Conflicts: 747000 | #Constraints: 134565
1693.08/1698.49 c #Conflicts: 748000 | #Constraints: 135565
1693.08/1698.49 c #Conflicts: 749000 | #Constraints: 136565
1693.08/1698.49 c #Conflicts: 750000 | #Constraints: 137565
1693.08/1698.49 c #Conflicts: 751000 | #Constraints: 138565
1693.08/1698.49 c #Conflicts: 752000 | #Constraints: 139565
1693.08/1698.49 c #Conflicts: 753000 | #Constraints: 140565
1693.08/1698.49 c #Conflicts: 754000 | #Constraints: 141565
1693.08/1698.49 c #Conflicts: 755000 | #Constraints: 142565
1693.08/1698.49 c #Conflicts: 756000 | #Constraints: 143565
1693.08/1698.49 c INPROCESSING
1693.08/1698.49 c GARBAGE COLLECT
1693.08/1698.49 c #Conflicts: 757000 | #Constraints: 127362
1693.08/1698.49 c #Conflicts: 758000 | #Constraints: 128362
1693.08/1698.49 c #Conflicts: 759000 | #Constraints: 129362
1693.08/1698.49 c #Conflicts: 760000 | #Constraints: 130362
1693.08/1698.49 c #Conflicts: 761000 | #Constraints: 131362
1693.08/1698.49 c #Conflicts: 762000 | #Constraints: 132362
1693.08/1698.49 c #Conflicts: 763000 | #Constraints: 133362
1693.08/1698.49 c #Conflicts: 764000 | #Constraints: 134362
1693.08/1698.49 c #Conflicts: 765000 | #Constraints: 135362
1693.08/1698.49 c #Conflicts: 766000 | #Constraints: 136362
1693.08/1698.49 c #Conflicts: 767000 | #Constraints: 137362
1693.08/1698.49 c #Conflicts: 768000 | #Constraints: 138362
1693.08/1698.49 c #Conflicts: 769000 | #Constraints: 139362
1693.08/1698.49 c #Conflicts: 770000 | #Constraints: 140362
1693.08/1698.49 c #Conflicts: 771000 | #Constraints: 141362
1693.08/1698.49 c #Conflicts: 772000 | #Constraints: 142362
1693.08/1698.49 c #Conflicts: 773000 | #Constraints: 143362
1693.08/1698.49 c #Conflicts: 774000 | #Constraints: 144362
1693.08/1698.49 c INPROCESSING
1693.08/1698.49 c GARBAGE COLLECT
1693.08/1698.49 c #Conflicts: 775000 | #Constraints: 127950
1693.08/1698.49 c #Conflicts: 776000 | #Constraints: 128950
1693.08/1698.49 c #Conflicts: 777000 | #Constraints: 129950
1693.08/1698.49 c #Conflicts: 778000 | #Constraints: 130950
1693.08/1698.49 c #Conflicts: 779000 | #Constraints: 131950
1693.08/1698.49 c #Conflicts: 780000 | #Constraints: 132950
1693.08/1698.49 c #Conflicts: 781000 | #Constraints: 133950
1693.08/1698.49 c #Conflicts: 782000 | #Constraints: 134950
1693.08/1698.49 c #Conflicts: 783000 | #Constraints: 135950
1693.08/1698.49 c #Conflicts: 784000 | #Constraints: 136950
1693.08/1698.49 c #Conflicts: 785000 | #Constraints: 137950
1693.08/1698.49 c #Conflicts: 786000 | #Constraints: 138950
1693.08/1698.49 c #Conflicts: 787000 | #Constraints: 139950
1693.08/1698.49 c #Conflicts: 788000 | #Constraints: 140950
1693.08/1698.49 c #Conflicts: 789000 | #Constraints: 141950
1693.08/1698.49 c #Conflicts: 790000 | #Constraints: 142950
1693.08/1698.49 c #Conflicts: 791000 | #Constraints: 143950
1693.08/1698.49 c #Conflicts: 792000 | #Constraints: 144950
1693.08/1698.49 c INPROCESSING
1693.08/1698.49 c GARBAGE COLLECT
1693.08/1698.49 c #Conflicts: 793000 | #Constraints: 128340
1693.08/1698.49 c #Conflicts: 794000 | #Constraints: 129340
1693.08/1698.49 c #Conflicts: 795000 | #Constraints: 130340
1693.08/1698.49 c #Conflicts: 796000 | #Constraints: 131340
1693.08/1698.49 c #Conflicts: 797000 | #Constraints: 132340
1693.08/1698.49 c #Conflicts: 798000 | #Constraints: 133340
1693.08/1698.49 c #Conflicts: 799000 | #Constraints: 134340
1693.08/1698.49 c #Conflicts: 800000 | #Constraints: 135340
1693.08/1698.49 c #Conflicts: 801000 | #Constraints: 136340
1693.08/1698.49 c #Conflicts: 802000 | #Constraints: 137340
1693.08/1698.49 c #Conflicts: 803000 | #Constraints: 138340
1693.08/1698.49 c #Conflicts: 804000 | #Constraints: 139340
1889.97/1895.88 c #Conflicts: 805000 | #Constraints: 140340
1889.97/1895.88 c #Conflicts: 806000 | #Constraints: 141340
1889.97/1895.88 c #Conflicts: 807000 | #Constraints: 142340
1889.97/1895.88 c #Conflicts: 808000 | #Constraints: 143340
1889.97/1895.88 c #Conflicts: 809000 | #Constraints: 144340
1889.97/1895.88 c #Conflicts: 810000 | #Constraints: 145340
1889.97/1895.88 c INPROCESSING
1889.97/1895.88 c GARBAGE COLLECT
1889.97/1895.88 c #Conflicts: 811000 | #Constraints: 128528
1889.97/1895.88 c #Conflicts: 812000 | #Constraints: 129528
1889.97/1895.88 c #Conflicts: 813000 | #Constraints: 130528
1889.97/1895.88 c #Conflicts: 814000 | #Constraints: 131528
1889.97/1895.88 c #Conflicts: 815000 | #Constraints: 132528
1889.97/1895.88 c #Conflicts: 816000 | #Constraints: 133528
1889.97/1895.88 c #Conflicts: 817000 | #Constraints: 134528
1889.97/1895.88 c #Conflicts: 818000 | #Constraints: 135528
1889.97/1895.88 c #Conflicts: 819000 | #Constraints: 136528
1889.97/1895.88 c #Conflicts: 820000 | #Constraints: 137528
1889.97/1895.88 c #Conflicts: 821000 | #Constraints: 138528
1889.97/1895.88 c #Conflicts: 822000 | #Constraints: 139528
1889.97/1895.88 c #Conflicts: 823000 | #Constraints: 140528
1889.97/1895.88 c #Conflicts: 824000 | #Constraints: 141528
1889.97/1895.88 c #Conflicts: 825000 | #Constraints: 142528
1889.97/1895.88 c #Conflicts: 826000 | #Constraints: 143528
1889.97/1895.88 c #Conflicts: 827000 | #Constraints: 144528
1889.97/1895.88 c #Conflicts: 828000 | #Constraints: 145528
1889.97/1895.88 c INPROCESSING
1889.97/1895.88 c GARBAGE COLLECT
1889.97/1895.88 c #Conflicts: 829000 | #Constraints: 128526
1889.97/1895.88 c #Conflicts: 830000 | #Constraints: 129526
1889.97/1895.88 c #Conflicts: 831000 | #Constraints: 130526
1889.97/1895.88 c #Conflicts: 832000 | #Constraints: 131526
1889.97/1895.88 c #Conflicts: 833000 | #Constraints: 132526
1889.97/1895.88 c #Conflicts: 834000 | #Constraints: 133526
1889.97/1895.88 c #Conflicts: 835000 | #Constraints: 134526
1889.97/1895.88 c #Conflicts: 836000 | #Constraints: 135526
1889.97/1895.88 c #Conflicts: 837000 | #Constraints: 136526
1889.97/1895.88 c #Conflicts: 838000 | #Constraints: 137526
1889.97/1895.88 c #Conflicts: 839000 | #Constraints: 138526
1889.97/1895.88 c #Conflicts: 840000 | #Constraints: 139526
1889.97/1895.88 c #Conflicts: 841000 | #Constraints: 140526
1889.97/1895.88 c #Conflicts: 842000 | #Constraints: 141526
1889.97/1895.88 c #Conflicts: 843000 | #Constraints: 142526
1889.97/1895.88 c #Conflicts: 844000 | #Constraints: 143526
1889.97/1895.88 c #Conflicts: 845000 | #Constraints: 144526
1889.97/1895.88 c #Conflicts: 846000 | #Constraints: 145526
1889.97/1895.88 c INPROCESSING
1889.97/1895.88 c GARBAGE COLLECT
1889.97/1895.88 c #Conflicts: 847000 | #Constraints: 128332
1889.97/1895.88 c #Conflicts: 848000 | #Constraints: 129332
1889.97/1895.88 c #Conflicts: 849000 | #Constraints: 130332
1889.97/1895.88 c #Conflicts: 850000 | #Constraints: 131332
1889.97/1895.88 c #Conflicts: 851000 | #Constraints: 132332
1889.97/1895.88 c #Conflicts: 852000 | #Constraints: 133332
1889.97/1895.88 c #Conflicts: 853000 | #Constraints: 134332
1889.97/1895.88 c #Conflicts: 854000 | #Constraints: 135332
1889.97/1895.88 c #Conflicts: 855000 | #Constraints: 136332
1889.97/1895.88 c #Conflicts: 856000 | #Constraints: 137332
1889.97/1895.88 c #Conflicts: 857000 | #Constraints: 138332
1889.97/1895.88 c #Conflicts: 858000 | #Constraints: 139332
1889.97/1895.88 c #Conflicts: 859000 | #Constraints: 140332
1889.97/1895.88 c #Conflicts: 860000 | #Constraints: 141332
1889.97/1895.88 c #Conflicts: 861000 | #Constraints: 142332
1889.97/1895.88 c #Conflicts: 862000 | #Constraints: 143332
1889.97/1895.88 c #Conflicts: 863000 | #Constraints: 144332
1889.97/1895.88 c #Conflicts: 864000 | #Constraints: 145332
1889.97/1895.88 c #Conflicts: 865000 | #Constraints: 146332
1889.97/1895.88 c INPROCESSING
1889.97/1895.88 c GARBAGE COLLECT
1889.97/1895.88 c #Conflicts: 866000 | #Constraints: 128922
1889.97/1895.88 c #Conflicts: 867000 | #Constraints: 129922
1889.97/1895.88 c #Conflicts: 868000 | #Constraints: 130922
1889.97/1895.88 c #Conflicts: 869000 | #Constraints: 131922
1889.97/1895.88 c #Conflicts: 870000 | #Constraints: 132922
1889.97/1895.88 c #Conflicts: 871000 | #Constraints: 133922
1889.97/1895.88 c #Conflicts: 872000 | #Constraints: 134922
1889.97/1895.88 c #Conflicts: 873000 | #Constraints: 135922
1889.97/1895.88 c #Conflicts: 874000 | #Constraints: 136922
1889.97/1895.88 c #Conflicts: 875000 | #Constraints: 137922
1889.97/1895.88 c #Conflicts: 876000 | #Constraints: 138922
1889.97/1895.88 c #Conflicts: 877000 | #Constraints: 139922
1889.97/1895.88 c #Conflicts: 878000 | #Constraints: 140922
1889.97/1895.88 c #Conflicts: 879000 | #Constraints: 141922
1889.97/1895.88 c #Conflicts: 880000 | #Constraints: 142922
2080.18/2086.56 c #Conflicts: 881000 | #Constraints: 143922
2080.18/2086.56 c #Conflicts: 882000 | #Constraints: 144922
2080.18/2086.56 c #Conflicts: 883000 | #Constraints: 145922
2080.18/2086.56 c #Conflicts: 884000 | #Constraints: 146922
2080.18/2086.56 c INPROCESSING
2080.18/2086.56 c GARBAGE COLLECT
2080.18/2086.56 c #Conflicts: 885000 | #Constraints: 129340
2080.18/2086.56 c #Conflicts: 886000 | #Constraints: 130340
2080.18/2086.56 c #Conflicts: 887000 | #Constraints: 131340
2080.18/2086.56 c #Conflicts: 888000 | #Constraints: 132340
2080.18/2086.56 c #Conflicts: 889000 | #Constraints: 133340
2080.18/2086.56 c #Conflicts: 890000 | #Constraints: 134340
2080.18/2086.56 c #Conflicts: 891000 | #Constraints: 135340
2080.18/2086.56 c #Conflicts: 892000 | #Constraints: 136340
2080.18/2086.56 c #Conflicts: 893000 | #Constraints: 137340
2080.18/2086.56 c #Conflicts: 894000 | #Constraints: 138340
2080.18/2086.56 c #Conflicts: 895000 | #Constraints: 139340
2080.18/2086.56 c #Conflicts: 896000 | #Constraints: 140340
2080.18/2086.56 c #Conflicts: 897000 | #Constraints: 141340
2080.18/2086.56 c #Conflicts: 898000 | #Constraints: 142340
2080.18/2086.56 c #Conflicts: 899000 | #Constraints: 143340
2080.18/2086.56 c #Conflicts: 900000 | #Constraints: 144340
2080.18/2086.56 c #Conflicts: 901000 | #Constraints: 145340
2080.18/2086.56 c #Conflicts: 902000 | #Constraints: 146340
2080.18/2086.56 c #Conflicts: 903000 | #Constraints: 147340
2080.18/2086.56 c INPROCESSING
2080.18/2086.56 c GARBAGE COLLECT
2080.18/2086.56 c #Conflicts: 904000 | #Constraints: 129550
2080.18/2086.56 c #Conflicts: 905000 | #Constraints: 130550
2080.18/2086.56 c #Conflicts: 906000 | #Constraints: 131550
2080.18/2086.56 c #Conflicts: 907000 | #Constraints: 132550
2080.18/2086.56 c #Conflicts: 908000 | #Constraints: 133550
2080.18/2086.56 c #Conflicts: 909000 | #Constraints: 134550
2080.18/2086.56 c #Conflicts: 910000 | #Constraints: 135550
2080.18/2086.56 c #Conflicts: 911000 | #Constraints: 136550
2080.18/2086.56 c #Conflicts: 912000 | #Constraints: 137550
2080.18/2086.56 c #Conflicts: 913000 | #Constraints: 138550
2080.18/2086.56 c #Conflicts: 914000 | #Constraints: 139550
2080.18/2086.56 c #Conflicts: 915000 | #Constraints: 140550
2080.18/2086.56 c #Conflicts: 916000 | #Constraints: 141550
2080.18/2086.56 c #Conflicts: 917000 | #Constraints: 142550
2080.18/2086.56 c #Conflicts: 918000 | #Constraints: 143550
2080.18/2086.56 c #Conflicts: 919000 | #Constraints: 144550
2080.18/2086.56 c #Conflicts: 920000 | #Constraints: 145550
2080.18/2086.56 c #Conflicts: 921000 | #Constraints: 146550
2080.18/2086.56 c #Conflicts: 922000 | #Constraints: 147550
2080.18/2086.56 c INPROCESSING
2080.18/2086.56 c GARBAGE COLLECT
2080.18/2086.56 c #Conflicts: 923000 | #Constraints: 129545
2080.18/2086.56 c #Conflicts: 924000 | #Constraints: 130545
2080.18/2086.56 c #Conflicts: 925000 | #Constraints: 131545
2080.18/2086.56 c #Conflicts: 926000 | #Constraints: 132545
2080.18/2086.56 c #Conflicts: 927000 | #Constraints: 133545
2080.18/2086.56 c #Conflicts: 928000 | #Constraints: 134545
2080.18/2086.56 c #Conflicts: 929000 | #Constraints: 135545
2080.18/2086.56 c #Conflicts: 930000 | #Constraints: 136545
2080.18/2086.56 c #Conflicts: 931000 | #Constraints: 137545
2080.18/2086.56 c #Conflicts: 932000 | #Constraints: 138545
2080.18/2086.56 c #Conflicts: 933000 | #Constraints: 139545
2080.18/2086.56 c #Conflicts: 934000 | #Constraints: 140545
2080.18/2086.56 c #Conflicts: 935000 | #Constraints: 141545
2080.18/2086.56 c #Conflicts: 936000 | #Constraints: 142545
2080.18/2086.56 c #Conflicts: 937000 | #Constraints: 143545
2080.18/2086.56 c #Conflicts: 938000 | #Constraints: 144545
2080.18/2086.56 c #Conflicts: 939000 | #Constraints: 145545
2080.18/2086.56 c #Conflicts: 940000 | #Constraints: 146545
2080.18/2086.56 c #Conflicts: 941000 | #Constraints: 147545
2080.18/2086.56 c INPROCESSING
2080.18/2086.56 c GARBAGE COLLECT
2080.18/2086.56 c #Conflicts: 942000 | #Constraints: 129342
2080.18/2086.56 c #Conflicts: 943000 | #Constraints: 130342
2080.18/2086.56 c #Conflicts: 944000 | #Constraints: 131342
2080.18/2086.56 c #Conflicts: 945000 | #Constraints: 132342
2080.18/2086.56 c #Conflicts: 946000 | #Constraints: 133342
2080.18/2086.56 c #Conflicts: 947000 | #Constraints: 134342
2080.18/2086.56 c #Conflicts: 948000 | #Constraints: 135342
2080.18/2086.56 c #Conflicts: 949000 | #Constraints: 136342
2080.18/2086.56 c #Conflicts: 950000 | #Constraints: 137342
2080.18/2086.56 c #Conflicts: 951000 | #Constraints: 138342
2080.18/2086.56 c #Conflicts: 952000 | #Constraints: 139342
2080.18/2086.56 c #Conflicts: 953000 | #Constraints: 140342
2080.18/2086.56 c #Conflicts: 954000 | #Constraints: 141342
2080.18/2086.56 c #Conflicts: 955000 | #Constraints: 142342
2080.18/2086.56 c #Conflicts: 956000 | #Constraints: 143342
2289.74/2296.65 c #Conflicts: 957000 | #Constraints: 144342
2289.74/2296.65 c #Conflicts: 958000 | #Constraints: 145342
2289.74/2296.65 c #Conflicts: 959000 | #Constraints: 146342
2289.74/2296.65 c #Conflicts: 960000 | #Constraints: 147342
2289.74/2296.65 c #Conflicts: 961000 | #Constraints: 148342
2289.74/2296.65 c INPROCESSING
2289.74/2296.65 c GARBAGE COLLECT
2289.74/2296.65 c #Conflicts: 962000 | #Constraints: 129948
2289.74/2296.65 c #Conflicts: 963000 | #Constraints: 130948
2289.74/2296.65 c #Conflicts: 964000 | #Constraints: 131948
2289.74/2296.65 c #Conflicts: 965000 | #Constraints: 132948
2289.74/2296.65 c #Conflicts: 966000 | #Constraints: 133948
2289.74/2296.65 c #Conflicts: 967000 | #Constraints: 134948
2289.74/2296.65 c #Conflicts: 968000 | #Constraints: 135948
2289.74/2296.65 c #Conflicts: 969000 | #Constraints: 136948
2289.74/2296.65 c #Conflicts: 970000 | #Constraints: 137948
2289.74/2296.65 c #Conflicts: 971000 | #Constraints: 138948
2289.74/2296.65 c #Conflicts: 972000 | #Constraints: 139948
2289.74/2296.65 c #Conflicts: 973000 | #Constraints: 140948
2289.74/2296.65 c #Conflicts: 974000 | #Constraints: 141948
2289.74/2296.65 c #Conflicts: 975000 | #Constraints: 142948
2289.74/2296.65 c #Conflicts: 976000 | #Constraints: 143948
2289.74/2296.65 c #Conflicts: 977000 | #Constraints: 144948
2289.74/2296.65 c #Conflicts: 978000 | #Constraints: 145948
2289.74/2296.65 c #Conflicts: 979000 | #Constraints: 146948
2289.74/2296.65 c #Conflicts: 980000 | #Constraints: 147948
2289.74/2296.65 c #Conflicts: 981000 | #Constraints: 148948
2289.74/2296.65 c INPROCESSING
2289.74/2296.65 c GARBAGE COLLECT
2289.74/2296.65 c #Conflicts: 982000 | #Constraints: 130350
2289.74/2296.65 c #Conflicts: 983000 | #Constraints: 131350
2289.74/2296.65 c #Conflicts: 984000 | #Constraints: 132350
2289.74/2296.65 c #Conflicts: 985000 | #Constraints: 133350
2289.74/2296.65 c #Conflicts: 986000 | #Constraints: 134350
2289.74/2296.65 c #Conflicts: 987000 | #Constraints: 135350
2289.74/2296.65 c #Conflicts: 988000 | #Constraints: 136350
2289.74/2296.65 c #Conflicts: 989000 | #Constraints: 137350
2289.74/2296.65 c #Conflicts: 990000 | #Constraints: 138350
2289.74/2296.65 c #Conflicts: 991000 | #Constraints: 139350
2289.74/2296.65 c #Conflicts: 992000 | #Constraints: 140350
2289.74/2296.65 c #Conflicts: 993000 | #Constraints: 141350
2289.74/2296.65 c #Conflicts: 994000 | #Constraints: 142350
2289.74/2296.65 c #Conflicts: 995000 | #Constraints: 143350
2289.74/2296.65 c #Conflicts: 996000 | #Constraints: 144350
2289.74/2296.65 c #Conflicts: 997000 | #Constraints: 145350
2289.74/2296.65 c #Conflicts: 998000 | #Constraints: 146350
2289.74/2296.65 c #Conflicts: 999000 | #Constraints: 147350
2289.74/2296.65 c #Conflicts: 1000000 | #Constraints: 148350
2289.74/2296.65 c #Conflicts: 1001000 | #Constraints: 149350
2289.74/2296.65 c INPROCESSING
2289.74/2296.65 c GARBAGE COLLECT
2289.74/2296.65 c #Conflicts: 1002000 | #Constraints: 130529
2289.74/2296.65 c #Conflicts: 1003000 | #Constraints: 131529
2289.74/2296.65 c #Conflicts: 1004000 | #Constraints: 132529
2289.74/2296.65 c #Conflicts: 1005000 | #Constraints: 133529
2289.74/2296.65 c #Conflicts: 1006000 | #Constraints: 134529
2289.74/2296.65 c #Conflicts: 1007000 | #Constraints: 135529
2289.74/2296.65 c #Conflicts: 1008000 | #Constraints: 136529
2289.74/2296.65 c #Conflicts: 1009000 | #Constraints: 137529
2289.74/2296.65 c #Conflicts: 1010000 | #Constraints: 138529
2289.74/2296.65 c #Conflicts: 1011000 | #Constraints: 139529
2289.74/2296.65 c #Conflicts: 1012000 | #Constraints: 140529
2289.74/2296.65 c #Conflicts: 1013000 | #Constraints: 141529
2289.74/2296.65 c #Conflicts: 1014000 | #Constraints: 142529
2289.74/2296.65 c #Conflicts: 1015000 | #Constraints: 143529
2289.74/2296.65 c #Conflicts: 1016000 | #Constraints: 144529
2289.74/2296.65 c #Conflicts: 1017000 | #Constraints: 145529
2289.74/2296.65 c #Conflicts: 1018000 | #Constraints: 146529
2289.74/2296.65 c #Conflicts: 1019000 | #Constraints: 147529
2289.74/2296.65 c #Conflicts: 1020000 | #Constraints: 148529
2289.74/2296.65 c #Conflicts: 1021000 | #Constraints: 149529
2289.74/2296.65 c INPROCESSING
2289.74/2296.65 c GARBAGE COLLECT
2289.74/2296.65 c #Conflicts: 1022000 | #Constraints: 130539
2289.74/2296.65 c #Conflicts: 1023000 | #Constraints: 131539
2289.74/2296.65 c #Conflicts: 1024000 | #Constraints: 132539
2289.74/2296.65 c #Conflicts: 1025000 | #Constraints: 133539
2289.74/2296.65 c #Conflicts: 1026000 | #Constraints: 134539
2289.74/2296.65 c #Conflicts: 1027000 | #Constraints: 135539
2289.74/2296.65 c #Conflicts: 1028000 | #Constraints: 136539
2289.74/2296.65 c #Conflicts: 1029000 | #Constraints: 137539
2289.74/2296.65 c #Conflicts: 1030000 | #Constraints: 138539
2289.74/2296.65 c #Conflicts: 1031000 | #Constraints: 139539
2289.74/2296.65 c #Conflicts: 1032000 | #Constraints: 140539
2289.74/2296.65 c #Conflicts: 1033000 | #Constraints: 141539
2487.45/2495.00 c #Conflicts: 1034000 | #Constraints: 142539
2487.45/2495.00 c #Conflicts: 1035000 | #Constraints: 143539
2487.45/2495.00 c #Conflicts: 1036000 | #Constraints: 144539
2487.45/2495.00 c #Conflicts: 1037000 | #Constraints: 145539
2487.45/2495.00 c #Conflicts: 1038000 | #Constraints: 146539
2487.45/2495.00 c #Conflicts: 1039000 | #Constraints: 147539
2487.45/2495.00 c #Conflicts: 1040000 | #Constraints: 148539
2487.45/2495.00 c #Conflicts: 1041000 | #Constraints: 149539
2487.45/2495.00 c INPROCESSING
2487.45/2495.00 c GARBAGE COLLECT
2487.45/2495.00 c #Conflicts: 1042000 | #Constraints: 130339
2487.45/2495.00 c #Conflicts: 1043000 | #Constraints: 131339
2487.45/2495.00 c #Conflicts: 1044000 | #Constraints: 132339
2487.45/2495.00 c #Conflicts: 1045000 | #Constraints: 133339
2487.45/2495.00 c #Conflicts: 1046000 | #Constraints: 134339
2487.45/2495.00 c #Conflicts: 1047000 | #Constraints: 135339
2487.45/2495.00 c #Conflicts: 1048000 | #Constraints: 136339
2487.45/2495.00 c #Conflicts: 1049000 | #Constraints: 137339
2487.45/2495.00 c #Conflicts: 1050000 | #Constraints: 138339
2487.45/2495.00 c #Conflicts: 1051000 | #Constraints: 139339
2487.45/2495.00 c #Conflicts: 1052000 | #Constraints: 140339
2487.45/2495.00 c #Conflicts: 1053000 | #Constraints: 141339
2487.45/2495.00 c #Conflicts: 1054000 | #Constraints: 142339
2487.45/2495.00 c #Conflicts: 1055000 | #Constraints: 143339
2487.45/2495.00 c #Conflicts: 1056000 | #Constraints: 144339
2487.45/2495.00 c #Conflicts: 1057000 | #Constraints: 145339
2487.45/2495.00 c #Conflicts: 1058000 | #Constraints: 146339
2487.45/2495.00 c #Conflicts: 1059000 | #Constraints: 147339
2487.45/2495.00 c #Conflicts: 1060000 | #Constraints: 148339
2487.45/2495.00 c #Conflicts: 1061000 | #Constraints: 149339
2487.45/2495.00 c #Conflicts: 1062000 | #Constraints: 150339
2487.45/2495.00 c INPROCESSING
2487.45/2495.00 c GARBAGE COLLECT
2487.45/2495.00 c #Conflicts: 1063000 | #Constraints: 130944
2487.45/2495.00 c #Conflicts: 1064000 | #Constraints: 131944
2487.45/2495.00 c #Conflicts: 1065000 | #Constraints: 132944
2487.45/2495.00 c #Conflicts: 1066000 | #Constraints: 133944
2487.45/2495.00 c #Conflicts: 1067000 | #Constraints: 134944
2487.45/2495.00 c #Conflicts: 1068000 | #Constraints: 135944
2487.45/2495.00 c #Conflicts: 1069000 | #Constraints: 136944
2487.45/2495.00 c #Conflicts: 1070000 | #Constraints: 137944
2487.45/2495.00 c #Conflicts: 1071000 | #Constraints: 138944
2487.45/2495.00 c #Conflicts: 1072000 | #Constraints: 139944
2487.45/2495.00 c #Conflicts: 1073000 | #Constraints: 140944
2487.45/2495.00 c #Conflicts: 1074000 | #Constraints: 141944
2487.45/2495.00 c #Conflicts: 1075000 | #Constraints: 142944
2487.45/2495.00 c #Conflicts: 1076000 | #Constraints: 143944
2487.45/2495.00 c #Conflicts: 1077000 | #Constraints: 144944
2487.45/2495.00 c #Conflicts: 1078000 | #Constraints: 145944
2487.45/2495.00 c #Conflicts: 1079000 | #Constraints: 146944
2487.45/2495.00 c #Conflicts: 1080000 | #Constraints: 147944
2487.45/2495.00 c #Conflicts: 1081000 | #Constraints: 148944
2487.45/2495.00 c #Conflicts: 1082000 | #Constraints: 149944
2487.45/2495.00 c #Conflicts: 1083000 | #Constraints: 150944
2487.45/2495.00 c INPROCESSING
2487.45/2495.00 c GARBAGE COLLECT
2487.45/2495.00 c #Conflicts: 1084000 | #Constraints: 131361
2487.45/2495.00 c #Conflicts: 1085000 | #Constraints: 132361
2487.45/2495.00 c #Conflicts: 1086000 | #Constraints: 133361
2487.45/2495.00 c #Conflicts: 1087000 | #Constraints: 134361
2487.45/2495.00 c #Conflicts: 1088000 | #Constraints: 135361
2487.45/2495.00 c #Conflicts: 1089000 | #Constraints: 136361
2487.45/2495.00 c #Conflicts: 1090000 | #Constraints: 137361
2487.45/2495.00 c #Conflicts: 1091000 | #Constraints: 138361
2487.45/2495.00 c #Conflicts: 1092000 | #Constraints: 139361
2487.45/2495.00 c #Conflicts: 1093000 | #Constraints: 140361
2487.45/2495.00 c #Conflicts: 1094000 | #Constraints: 141361
2487.45/2495.00 c #Conflicts: 1095000 | #Constraints: 142361
2487.45/2495.00 c #Conflicts: 1096000 | #Constraints: 143361
2487.45/2495.00 c #Conflicts: 1097000 | #Constraints: 144361
2487.45/2495.00 c #Conflicts: 1098000 | #Constraints: 145361
2487.45/2495.00 c #Conflicts: 1099000 | #Constraints: 146361
2487.45/2495.00 c #Conflicts: 1100000 | #Constraints: 147361
2487.45/2495.00 c #Conflicts: 1101000 | #Constraints: 148361
2487.45/2495.00 c #Conflicts: 1102000 | #Constraints: 149361
2487.45/2495.00 c #Conflicts: 1103000 | #Constraints: 150361
2487.45/2495.00 c #Conflicts: 1104000 | #Constraints: 151361
2487.45/2495.00 c INPROCESSING
2487.45/2495.00 c GARBAGE COLLECT
2487.45/2495.00 c #Conflicts: 1105000 | #Constraints: 131589
2487.45/2495.00 c #Conflicts: 1106000 | #Constraints: 132589
2487.45/2495.00 c #Conflicts: 1107000 | #Constraints: 133589
2487.45/2495.00 c #Conflicts: 1108000 | #Constraints: 134589
2487.45/2495.00 c #Conflicts: 1109000 | #Constraints: 135589
2725.21/2733.44 c #Conflicts: 1110000 | #Constraints: 136589
2725.21/2733.44 c #Conflicts: 1111000 | #Constraints: 137589
2725.21/2733.44 c #Conflicts: 1112000 | #Constraints: 138589
2725.21/2733.44 c #Conflicts: 1113000 | #Constraints: 139589
2725.21/2733.44 c #Conflicts: 1114000 | #Constraints: 140589
2725.21/2733.44 c #Conflicts: 1115000 | #Constraints: 141589
2725.21/2733.44 c #Conflicts: 1116000 | #Constraints: 142589
2725.21/2733.44 c #Conflicts: 1117000 | #Constraints: 143589
2725.21/2733.44 c #Conflicts: 1118000 | #Constraints: 144589
2725.21/2733.44 c #Conflicts: 1119000 | #Constraints: 145589
2725.21/2733.44 c #Conflicts: 1120000 | #Constraints: 146589
2725.21/2733.44 c #Conflicts: 1121000 | #Constraints: 147589
2725.21/2733.44 c #Conflicts: 1122000 | #Constraints: 148589
2725.21/2733.44 c #Conflicts: 1123000 | #Constraints: 149589
2725.21/2733.44 c #Conflicts: 1124000 | #Constraints: 150589
2725.21/2733.44 c #Conflicts: 1125000 | #Constraints: 151589
2725.21/2733.44 c INPROCESSING
2725.21/2733.44 c GARBAGE COLLECT
2725.21/2733.44 c #Conflicts: 1126000 | #Constraints: 131576
2725.21/2733.44 c #Conflicts: 1127000 | #Constraints: 132576
2725.21/2733.44 c #Conflicts: 1128000 | #Constraints: 133576
2725.21/2733.44 c #Conflicts: 1129000 | #Constraints: 134576
2725.21/2733.44 c #Conflicts: 1130000 | #Constraints: 135576
2725.21/2733.44 c #Conflicts: 1131000 | #Constraints: 136576
2725.21/2733.44 c #Conflicts: 1132000 | #Constraints: 137576
2725.21/2733.44 c #Conflicts: 1133000 | #Constraints: 138576
2725.21/2733.44 c #Conflicts: 1134000 | #Constraints: 139576
2725.21/2733.44 c #Conflicts: 1135000 | #Constraints: 140576
2725.21/2733.44 c #Conflicts: 1136000 | #Constraints: 141576
2725.21/2733.44 c #Conflicts: 1137000 | #Constraints: 142576
2725.21/2733.44 c #Conflicts: 1138000 | #Constraints: 143576
2725.21/2733.44 c #Conflicts: 1139000 | #Constraints: 144576
2725.21/2733.44 c #Conflicts: 1140000 | #Constraints: 145576
2725.21/2733.44 c #Conflicts: 1141000 | #Constraints: 146576
2725.21/2733.44 c #Conflicts: 1142000 | #Constraints: 147576
2725.21/2733.44 c #Conflicts: 1143000 | #Constraints: 148576
2725.21/2733.44 c #Conflicts: 1144000 | #Constraints: 149576
2725.21/2733.44 c #Conflicts: 1145000 | #Constraints: 150576
2725.21/2733.44 c #Conflicts: 1146000 | #Constraints: 151576
2725.21/2733.44 c INPROCESSING
2725.21/2733.44 c GARBAGE COLLECT
2725.21/2733.44 c #Conflicts: 1147000 | #Constraints: 131378
2725.21/2733.44 c #Conflicts: 1148000 | #Constraints: 132378
2725.21/2733.44 c #Conflicts: 1149000 | #Constraints: 133378
2725.21/2733.44 c #Conflicts: 1150000 | #Constraints: 134378
2725.21/2733.44 c #Conflicts: 1151000 | #Constraints: 135378
2725.21/2733.44 c #Conflicts: 1152000 | #Constraints: 136378
2725.21/2733.44 c #Conflicts: 1153000 | #Constraints: 137378
2725.21/2733.44 c #Conflicts: 1154000 | #Constraints: 138378
2725.21/2733.44 c #Conflicts: 1155000 | #Constraints: 139378
2725.21/2733.44 c #Conflicts: 1156000 | #Constraints: 140378
2725.21/2733.44 c #Conflicts: 1157000 | #Constraints: 141378
2725.21/2733.44 c #Conflicts: 1158000 | #Constraints: 142378
2725.21/2733.44 c #Conflicts: 1159000 | #Constraints: 143378
2725.21/2733.44 c #Conflicts: 1160000 | #Constraints: 144378
2725.21/2733.44 c #Conflicts: 1161000 | #Constraints: 145378
2725.21/2733.44 c #Conflicts: 1162000 | #Constraints: 146378
2725.21/2733.44 c #Conflicts: 1163000 | #Constraints: 147378
2725.21/2733.44 c #Conflicts: 1164000 | #Constraints: 148378
2725.21/2733.44 c #Conflicts: 1165000 | #Constraints: 149378
2725.21/2733.44 c #Conflicts: 1166000 | #Constraints: 150378
2725.21/2733.44 c #Conflicts: 1167000 | #Constraints: 151378
2725.21/2733.44 c #Conflicts: 1168000 | #Constraints: 152378
2725.21/2733.44 c INPROCESSING
2725.21/2733.44 c GARBAGE COLLECT
2725.21/2733.44 c #Conflicts: 1169000 | #Constraints: 131967
2725.21/2733.44 c #Conflicts: 1170000 | #Constraints: 132967
2725.21/2733.44 c #Conflicts: 1171000 | #Constraints: 133967
2725.21/2733.44 c #Conflicts: 1172000 | #Constraints: 134967
2725.21/2733.44 c #Conflicts: 1173000 | #Constraints: 135967
2725.21/2733.44 c #Conflicts: 1174000 | #Constraints: 136967
2725.21/2733.44 c #Conflicts: 1175000 | #Constraints: 137967
2725.21/2733.44 c #Conflicts: 1176000 | #Constraints: 138967
2725.21/2733.44 c #Conflicts: 1177000 | #Constraints: 139967
2725.21/2733.44 c #Conflicts: 1178000 | #Constraints: 140967
2725.21/2733.44 c #Conflicts: 1179000 | #Constraints: 141967
2725.21/2733.44 c #Conflicts: 1180000 | #Constraints: 142967
2725.21/2733.44 c #Conflicts: 1181000 | #Constraints: 143967
2725.21/2733.44 c #Conflicts: 1182000 | #Constraints: 144967
2725.21/2733.44 c #Conflicts: 1183000 | #Constraints: 145967
2725.21/2733.44 c #Conflicts: 1184000 | #Constraints: 146967
2725.21/2733.44 c #Conflicts: 1185000 | #Constraints: 147967
2725.21/2733.44 c #Conflicts: 1186000 | #Constraints: 148967
2970.76/2979.76 c #Conflicts: 1187000 | #Constraints: 149967
2970.76/2979.76 c #Conflicts: 1188000 | #Constraints: 150967
2970.76/2979.76 c #Conflicts: 1189000 | #Constraints: 151967
2970.76/2979.76 c #Conflicts: 1190000 | #Constraints: 152967
2970.76/2979.76 c INPROCESSING
2970.76/2979.76 c GARBAGE COLLECT
2970.76/2979.76 c #Conflicts: 1191000 | #Constraints: 132359
2970.76/2979.76 c #Conflicts: 1192000 | #Constraints: 133359
2970.76/2979.76 c #Conflicts: 1193000 | #Constraints: 134359
2970.76/2979.76 c #Conflicts: 1194000 | #Constraints: 135359
2970.76/2979.76 c #Conflicts: 1195000 | #Constraints: 136359
2970.76/2979.76 c #Conflicts: 1196000 | #Constraints: 137359
2970.76/2979.76 c #Conflicts: 1197000 | #Constraints: 138359
2970.76/2979.76 c #Conflicts: 1198000 | #Constraints: 139359
2970.76/2979.76 c #Conflicts: 1199000 | #Constraints: 140359
2970.76/2979.76 c #Conflicts: 1200000 | #Constraints: 141359
2970.76/2979.76 c #Conflicts: 1201000 | #Constraints: 142359
2970.76/2979.76 c #Conflicts: 1202000 | #Constraints: 143359
2970.76/2979.76 c #Conflicts: 1203000 | #Constraints: 144359
2970.76/2979.76 c #Conflicts: 1204000 | #Constraints: 145359
2970.76/2979.76 c #Conflicts: 1205000 | #Constraints: 146359
2970.76/2979.76 c #Conflicts: 1206000 | #Constraints: 147359
2970.76/2979.76 c #Conflicts: 1207000 | #Constraints: 148359
2970.76/2979.76 c #Conflicts: 1208000 | #Constraints: 149359
2970.76/2979.76 c #Conflicts: 1209000 | #Constraints: 150359
2970.76/2979.76 c #Conflicts: 1210000 | #Constraints: 151359
2970.76/2979.76 c #Conflicts: 1211000 | #Constraints: 152359
2970.76/2979.76 c #Conflicts: 1212000 | #Constraints: 153359
2970.76/2979.76 c INPROCESSING
2970.76/2979.76 c GARBAGE COLLECT
2970.76/2979.76 c #Conflicts: 1213000 | #Constraints: 132551
2970.76/2979.76 c #Conflicts: 1214000 | #Constraints: 133551
2970.76/2979.76 c #Conflicts: 1215000 | #Constraints: 134551
2970.76/2979.76 c #Conflicts: 1216000 | #Constraints: 135551
2970.76/2979.76 c #Conflicts: 1217000 | #Constraints: 136551
2970.76/2979.76 c #Conflicts: 1218000 | #Constraints: 137551
2970.76/2979.76 c #Conflicts: 1219000 | #Constraints: 138551
2970.76/2979.76 c #Conflicts: 1220000 | #Constraints: 139551
2970.76/2979.76 c #Conflicts: 1221000 | #Constraints: 140551
2970.76/2979.76 c #Conflicts: 1222000 | #Constraints: 141551
2970.76/2979.76 c #Conflicts: 1223000 | #Constraints: 142551
2970.76/2979.76 c #Conflicts: 1224000 | #Constraints: 143551
2970.76/2979.76 c #Conflicts: 1225000 | #Constraints: 144551
2970.76/2979.76 c #Conflicts: 1226000 | #Constraints: 145551
2970.76/2979.76 c #Conflicts: 1227000 | #Constraints: 146551
2970.76/2979.76 c #Conflicts: 1228000 | #Constraints: 147551
2970.76/2979.76 c #Conflicts: 1229000 | #Constraints: 148551
2970.76/2979.76 c #Conflicts: 1230000 | #Constraints: 149551
2970.76/2979.76 c #Conflicts: 1231000 | #Constraints: 150551
2970.76/2979.76 c #Conflicts: 1232000 | #Constraints: 151551
2970.76/2979.76 c #Conflicts: 1233000 | #Constraints: 152551
2970.76/2979.76 c #Conflicts: 1234000 | #Constraints: 153551
2970.76/2979.76 c INPROCESSING
2970.76/2979.76 c GARBAGE COLLECT
2970.76/2979.76 c #Conflicts: 1235000 | #Constraints: 132553
2970.76/2979.76 c #Conflicts: 1236000 | #Constraints: 133553
2970.76/2979.76 c #Conflicts: 1237000 | #Constraints: 134553
2970.76/2979.76 c #Conflicts: 1238000 | #Constraints: 135553
2970.76/2979.76 c #Conflicts: 1239000 | #Constraints: 136553
2970.76/2979.76 c #Conflicts: 1240000 | #Constraints: 137553
2970.76/2979.76 c #Conflicts: 1241000 | #Constraints: 138553
2970.76/2979.76 c #Conflicts: 1242000 | #Constraints: 139553
2970.76/2979.76 c #Conflicts: 1243000 | #Constraints: 140553
2970.76/2979.76 c #Conflicts: 1244000 | #Constraints: 141553
2970.76/2979.76 c #Conflicts: 1245000 | #Constraints: 142553
2970.76/2979.76 c #Conflicts: 1246000 | #Constraints: 143553
2970.76/2979.76 c #Conflicts: 1247000 | #Constraints: 144553
2970.76/2979.76 c #Conflicts: 1248000 | #Constraints: 145553
2970.76/2979.76 c #Conflicts: 1249000 | #Constraints: 146553
2970.76/2979.76 c #Conflicts: 1250000 | #Constraints: 147553
2970.76/2979.76 c #Conflicts: 1251000 | #Constraints: 148553
2970.76/2979.76 c #Conflicts: 1252000 | #Constraints: 149553
2970.76/2979.76 c #Conflicts: 1253000 | #Constraints: 150553
2970.76/2979.76 c #Conflicts: 1254000 | #Constraints: 151553
2970.76/2979.76 c #Conflicts: 1255000 | #Constraints: 152553
2970.76/2979.76 c #Conflicts: 1256000 | #Constraints: 153553
2970.76/2979.76 c INPROCESSING
2970.76/2979.76 c GARBAGE COLLECT
2970.76/2979.76 c #Conflicts: 1257000 | #Constraints: 132370
2970.76/2979.76 c #Conflicts: 1258000 | #Constraints: 133370
2970.76/2979.76 c #Conflicts: 1259000 | #Constraints: 134370
2970.76/2979.76 c #Conflicts: 1260000 | #Constraints: 135370
2970.76/2979.76 c #Conflicts: 1261000 | #Constraints: 136370
2970.76/2979.76 c #Conflicts: 1262000 | #Constraints: 137370
3218.61/3228.30 c #Conflicts: 1263000 | #Constraints: 138370
3218.61/3228.30 c #Conflicts: 1264000 | #Constraints: 139370
3218.61/3228.30 c #Conflicts: 1265000 | #Constraints: 140370
3218.61/3228.30 c #Conflicts: 1266000 | #Constraints: 141370
3218.61/3228.30 c #Conflicts: 1267000 | #Constraints: 142370
3218.61/3228.30 c #Conflicts: 1268000 | #Constraints: 143370
3218.61/3228.30 c #Conflicts: 1269000 | #Constraints: 144370
3218.61/3228.30 c #Conflicts: 1270000 | #Constraints: 145370
3218.61/3228.30 c #Conflicts: 1271000 | #Constraints: 146370
3218.61/3228.30 c #Conflicts: 1272000 | #Constraints: 147370
3218.61/3228.30 c #Conflicts: 1273000 | #Constraints: 148370
3218.61/3228.30 c #Conflicts: 1274000 | #Constraints: 149370
3218.61/3228.30 c #Conflicts: 1275000 | #Constraints: 150370
3218.61/3228.30 c #Conflicts: 1276000 | #Constraints: 151370
3218.61/3228.30 c #Conflicts: 1277000 | #Constraints: 152370
3218.61/3228.30 c #Conflicts: 1278000 | #Constraints: 153370
3218.61/3228.30 c #Conflicts: 1279000 | #Constraints: 154370
3218.61/3228.30 c INPROCESSING
3218.61/3228.30 c GARBAGE COLLECT
3218.61/3228.30 c #Conflicts: 1280000 | #Constraints: 132971
3218.61/3228.30 c #Conflicts: 1281000 | #Constraints: 133971
3218.61/3228.30 c #Conflicts: 1282000 | #Constraints: 134971
3218.61/3228.30 c #Conflicts: 1283000 | #Constraints: 135971
3218.61/3228.30 c #Conflicts: 1284000 | #Constraints: 136971
3218.61/3228.30 c #Conflicts: 1285000 | #Constraints: 137971
3218.61/3228.30 c #Conflicts: 1286000 | #Constraints: 138971
3218.61/3228.30 c #Conflicts: 1287000 | #Constraints: 139971
3218.61/3228.30 c #Conflicts: 1288000 | #Constraints: 140971
3218.61/3228.30 c #Conflicts: 1289000 | #Constraints: 141971
3218.61/3228.30 c #Conflicts: 1290000 | #Constraints: 142971
3218.61/3228.30 c #Conflicts: 1291000 | #Constraints: 143971
3218.61/3228.30 c #Conflicts: 1292000 | #Constraints: 144971
3218.61/3228.30 c #Conflicts: 1293000 | #Constraints: 145971
3218.61/3228.30 c #Conflicts: 1294000 | #Constraints: 146971
3218.61/3228.30 c #Conflicts: 1295000 | #Constraints: 147971
3218.61/3228.30 c #Conflicts: 1296000 | #Constraints: 148971
3218.61/3228.30 c #Conflicts: 1297000 | #Constraints: 149971
3218.61/3228.30 c #Conflicts: 1298000 | #Constraints: 150971
3218.61/3228.30 c #Conflicts: 1299000 | #Constraints: 151971
3218.61/3228.30 c #Conflicts: 1300000 | #Constraints: 152971
3218.61/3228.30 c #Conflicts: 1301000 | #Constraints: 153971
3218.61/3228.30 c #Conflicts: 1302000 | #Constraints: 154971
3218.61/3228.30 c INPROCESSING
3218.61/3228.30 c GARBAGE COLLECT
3218.61/3228.30 c #Conflicts: 1303000 | #Constraints: 133373
3218.61/3228.30 c #Conflicts: 1304000 | #Constraints: 134373
3218.61/3228.30 c #Conflicts: 1305000 | #Constraints: 135373
3218.61/3228.30 c #Conflicts: 1306000 | #Constraints: 136373
3218.61/3228.30 c #Conflicts: 1307000 | #Constraints: 137373
3218.61/3228.30 c #Conflicts: 1308000 | #Constraints: 138373
3218.61/3228.30 c #Conflicts: 1309000 | #Constraints: 139373
3218.61/3228.30 c #Conflicts: 1310000 | #Constraints: 140373
3218.61/3228.30 c #Conflicts: 1311000 | #Constraints: 141373
3218.61/3228.30 c #Conflicts: 1312000 | #Constraints: 142373
3218.61/3228.30 c #Conflicts: 1313000 | #Constraints: 143373
3218.61/3228.30 c #Conflicts: 1314000 | #Constraints: 144373
3218.61/3228.30 c #Conflicts: 1315000 | #Constraints: 145373
3218.61/3228.30 c #Conflicts: 1316000 | #Constraints: 146373
3218.61/3228.30 c #Conflicts: 1317000 | #Constraints: 147373
3218.61/3228.30 c #Conflicts: 1318000 | #Constraints: 148373
3218.61/3228.30 c #Conflicts: 1319000 | #Constraints: 149373
3218.61/3228.30 c #Conflicts: 1320000 | #Constraints: 150373
3218.61/3228.30 c #Conflicts: 1321000 | #Constraints: 151373
3218.61/3228.30 c #Conflicts: 1322000 | #Constraints: 152373
3218.61/3228.30 c #Conflicts: 1323000 | #Constraints: 153373
3218.61/3228.30 c #Conflicts: 1324000 | #Constraints: 154373
3218.61/3228.30 c #Conflicts: 1325000 | #Constraints: 155373
3218.61/3228.30 c INPROCESSING
3218.61/3228.30 c GARBAGE COLLECT
3218.61/3228.30 c #Conflicts: 1326000 | #Constraints: 133544
3218.61/3228.30 c #Conflicts: 1327000 | #Constraints: 134544
3218.61/3228.30 c #Conflicts: 1328000 | #Constraints: 135544
3218.61/3228.30 c #Conflicts: 1329000 | #Constraints: 136544
3218.61/3228.30 c #Conflicts: 1330000 | #Constraints: 137544
3218.61/3228.30 c #Conflicts: 1331000 | #Constraints: 138544
3218.61/3228.30 c #Conflicts: 1332000 | #Constraints: 139544
3218.61/3228.30 c #Conflicts: 1333000 | #Constraints: 140544
3218.61/3228.30 c #Conflicts: 1334000 | #Constraints: 141544
3218.61/3228.30 c #Conflicts: 1335000 | #Constraints: 142544
3218.61/3228.30 c #Conflicts: 1336000 | #Constraints: 143544
3218.61/3228.30 c #Conflicts: 1337000 | #Constraints: 144544
3218.61/3228.30 c #Conflicts: 1338000 | #Constraints: 145544
3218.61/3228.30 c #Conflicts: 1339000 | #Constraints: 146544
3473.74/3484.25 c #Conflicts: 1340000 | #Constraints: 147544
3473.74/3484.25 c #Conflicts: 1341000 | #Constraints: 148544
3473.74/3484.25 c #Conflicts: 1342000 | #Constraints: 149544
3473.74/3484.25 c #Conflicts: 1343000 | #Constraints: 150544
3473.74/3484.25 c #Conflicts: 1344000 | #Constraints: 151544
3473.74/3484.25 c #Conflicts: 1345000 | #Constraints: 152544
3473.74/3484.25 c #Conflicts: 1346000 | #Constraints: 153544
3473.74/3484.25 c #Conflicts: 1347000 | #Constraints: 154544
3473.74/3484.25 c #Conflicts: 1348000 | #Constraints: 155544
3473.74/3484.25 c INPROCESSING
3473.74/3484.25 c GARBAGE COLLECT
3473.74/3484.25 c #Conflicts: 1349000 | #Constraints: 133557
3473.74/3484.25 c #Conflicts: 1350000 | #Constraints: 134557
3473.74/3484.25 c #Conflicts: 1351000 | #Constraints: 135557
3473.74/3484.25 c #Conflicts: 1352000 | #Constraints: 136557
3473.74/3484.25 c #Conflicts: 1353000 | #Constraints: 137557
3473.74/3484.25 c #Conflicts: 1354000 | #Constraints: 138557
3473.74/3484.25 c #Conflicts: 1355000 | #Constraints: 139557
3473.74/3484.25 c #Conflicts: 1356000 | #Constraints: 140557
3473.74/3484.25 c #Conflicts: 1357000 | #Constraints: 141557
3473.74/3484.25 c #Conflicts: 1358000 | #Constraints: 142557
3473.74/3484.25 c #Conflicts: 1359000 | #Constraints: 143557
3473.74/3484.25 c #Conflicts: 1360000 | #Constraints: 144557
3473.74/3484.25 c #Conflicts: 1361000 | #Constraints: 145557
3473.74/3484.25 c #Conflicts: 1362000 | #Constraints: 146557
3473.74/3484.25 c #Conflicts: 1363000 | #Constraints: 147557
3473.74/3484.25 c #Conflicts: 1364000 | #Constraints: 148557
3473.74/3484.25 c #Conflicts: 1365000 | #Constraints: 149557
3473.74/3484.25 c #Conflicts: 1366000 | #Constraints: 150557
3473.74/3484.25 c #Conflicts: 1367000 | #Constraints: 151557
3473.74/3484.25 c #Conflicts: 1368000 | #Constraints: 152557
3473.74/3484.25 c #Conflicts: 1369000 | #Constraints: 153557
3473.74/3484.25 c #Conflicts: 1370000 | #Constraints: 154557
3473.74/3484.25 c #Conflicts: 1371000 | #Constraints: 155557
3473.74/3484.25 c INPROCESSING
3473.74/3484.25 c GARBAGE COLLECT
3473.74/3484.25 c #Conflicts: 1372000 | #Constraints: 133345
3473.74/3484.25 c #Conflicts: 1373000 | #Constraints: 134345
3473.74/3484.25 c #Conflicts: 1374000 | #Constraints: 135345
3473.74/3484.25 c #Conflicts: 1375000 | #Constraints: 136345
3473.74/3484.25 c #Conflicts: 1376000 | #Constraints: 137345
3473.74/3484.25 c #Conflicts: 1377000 | #Constraints: 138345
3473.74/3484.25 c #Conflicts: 1378000 | #Constraints: 139345
3473.74/3484.25 c #Conflicts: 1379000 | #Constraints: 140345
3473.74/3484.25 c #Conflicts: 1380000 | #Constraints: 141345
3473.74/3484.25 c #Conflicts: 1381000 | #Constraints: 142345
3473.74/3484.25 c #Conflicts: 1382000 | #Constraints: 143345
3473.74/3484.25 c #Conflicts: 1383000 | #Constraints: 144345
3473.74/3484.25 c #Conflicts: 1384000 | #Constraints: 145345
3473.74/3484.25 c #Conflicts: 1385000 | #Constraints: 146345
3473.74/3484.25 c #Conflicts: 1386000 | #Constraints: 147345
3473.74/3484.25 c #Conflicts: 1387000 | #Constraints: 148345
3473.74/3484.25 c #Conflicts: 1388000 | #Constraints: 149345
3473.74/3484.25 c #Conflicts: 1389000 | #Constraints: 150345
3473.74/3484.25 c #Conflicts: 1390000 | #Constraints: 151345
3473.74/3484.25 c #Conflicts: 1391000 | #Constraints: 152345
3473.74/3484.25 c #Conflicts: 1392000 | #Constraints: 153345
3473.74/3484.25 c #Conflicts: 1393000 | #Constraints: 154345
3473.74/3484.25 c #Conflicts: 1394000 | #Constraints: 155345
3473.74/3484.25 c #Conflicts: 1395000 | #Constraints: 156345
3473.74/3484.25 c INPROCESSING
3473.74/3484.25 c GARBAGE COLLECT
3473.74/3484.25 c #Conflicts: 1396000 | #Constraints: 133936
3473.74/3484.25 c #Conflicts: 1397000 | #Constraints: 134936
3473.74/3484.25 c #Conflicts: 1398000 | #Constraints: 135936
3473.74/3484.25 c #Conflicts: 1399000 | #Constraints: 136936
3473.74/3484.25 c #Conflicts: 1400000 | #Constraints: 137936
3473.74/3484.25 c #Conflicts: 1401000 | #Constraints: 138936
3473.74/3484.25 c #Conflicts: 1402000 | #Constraints: 139936
3473.74/3484.25 c #Conflicts: 1403000 | #Constraints: 140936
3473.74/3484.25 c #Conflicts: 1404000 | #Constraints: 141936
3473.74/3484.25 c #Conflicts: 1405000 | #Constraints: 142936
3473.74/3484.25 c #Conflicts: 1406000 | #Constraints: 143936
3473.74/3484.25 c #Conflicts: 1407000 | #Constraints: 144936
3473.74/3484.25 c #Conflicts: 1408000 | #Constraints: 145936
3473.74/3484.25 c #Conflicts: 1409000 | #Constraints: 146936
3473.74/3484.25 c #Conflicts: 1410000 | #Constraints: 147936
3473.74/3484.25 c #Conflicts: 1411000 | #Constraints: 148936
3473.74/3484.25 c #Conflicts: 1412000 | #Constraints: 149936
3473.74/3484.25 c #Conflicts: 1413000 | #Constraints: 150936
3473.74/3484.25 c #Conflicts: 1414000 | #Constraints: 151936
3473.74/3484.25 c #Conflicts: 1415000 | #Constraints: 152936
3473.74/3484.25 c #Conflicts: 1416000 | #Constraints: 153936
3600.05/3610.91 c #Conflicts: 1417000 | #Constraints: 154936
3600.05/3610.91 c #Conflicts: 1418000 | #Constraints: 155936
3600.05/3610.91 c #Conflicts: 1419000 | #Constraints: 156936
3600.05/3610.91 c INPROCESSING
3600.05/3610.91 c GARBAGE COLLECT
3600.05/3610.91 c #Conflicts: 1420000 | #Constraints: 134349
3600.05/3610.91 c #Conflicts: 1421000 | #Constraints: 135349
3600.05/3610.91 c #Conflicts: 1422000 | #Constraints: 136349
3600.05/3610.91 c #Conflicts: 1423000 | #Constraints: 137349
3600.05/3610.91 c #Conflicts: 1424000 | #Constraints: 138349
3600.05/3610.91 c #Conflicts: 1425000 | #Constraints: 139349
3600.05/3610.91 c #Conflicts: 1426000 | #Constraints: 140349
3600.05/3610.91 c #Conflicts: 1427000 | #Constraints: 141349
3600.05/3610.91 c #Conflicts: 1428000 | #Constraints: 142349
3600.05/3610.91 c #Conflicts: 1429000 | #Constraints: 143349
3600.05/3610.91 c #Conflicts: 1430000 | #Constraints: 144349
3600.05/3610.91 c #Conflicts: 1431000 | #Constraints: 145349
3600.05/3610.91 c #Conflicts: 1432000 | #Constraints: 146349
3600.05/3610.91 c #Conflicts: 1433000 | #Constraints: 147349
3600.05/3610.91 c #Conflicts: 1434000 | #Constraints: 148349
3600.05/3610.91 c #Conflicts: 1435000 | #Constraints: 149349
3600.05/3610.91 c #Conflicts: 1436000 | #Constraints: 150349
3600.05/3610.91 c #Conflicts: 1437000 | #Constraints: 151349
3600.05/3610.91 c #Conflicts: 1438000 | #Constraints: 152349
3600.05/3610.91 c #Conflicts: 1439000 | #Constraints: 153349
3600.05/3610.91 c #Conflicts: 1440000 | #Constraints: 154349
3600.05/3610.91 c #Conflicts: 1441000 | #Constraints: 155349
3600.05/3610.91 c #Conflicts: 1442000 | #Constraints: 156349
3600.05/3610.91 c #Conflicts: 1443000 | #Constraints: 157349
3600.05/3610.91 c INPROCESSING
3600.05/3610.91 c GARBAGE COLLECT
3600.05/3610.91 c #Conflicts: 1444000 | #Constraints: 134565
3600.05/3610.91 c #Conflicts: 1445000 | #Constraints: 135565
3600.05/3610.91 c #Conflicts: 1446000 | #Constraints: 136565
3600.05/3610.91 c #Conflicts: 1447000 | #Constraints: 137565
3600.05/3610.91 c #Conflicts: 1448000 | #Constraints: 138565
3600.05/3610.91 c #Conflicts: 1449000 | #Constraints: 139565
3600.05/3610.91 c #Conflicts: 1450000 | #Constraints: 140565
3600.05/3610.91 c #Conflicts: 1451000 | #Constraints: 141565
3600.05/3610.91 c #Conflicts: 1452000 | #Constraints: 142565
3600.05/3610.91 c #Conflicts: 1453000 | #Constraints: 143565
3600.05/3610.91 c Program interrupted by user.
3600.05/3610.91 c cpu time 3593.52 s
3600.05/3610.91 c deterministic time 843800912935 8.44e+11
3600.05/3610.91 c optimization time 31.8547 s
3600.05/3610.91 c total solve time 3262.28 s
3600.05/3610.91 c core-guided solve time 3262.28 s
3600.05/3610.91 c propagation time 3063.47 s
3600.05/3610.91 c conflict analysis time 176.722 s
3600.05/3610.91 c propagations 36576320
3600.05/3610.91 c resolve steps 10254865
3600.05/3610.91 c decisions 2135382
3600.05/3610.91 c conflicts 1453484
3600.05/3610.91 c restarts 2812
3600.05/3610.91 c inprocessing phases 111
3600.05/3610.91 c input clauses 109614
3600.05/3610.91 c input cardinalities 23
3600.05/3610.91 c input general constraints 0
3600.05/3610.91 c input average constraint length 2.30
3600.05/3610.91 c input average constraint degree 1.24
3600.05/3610.91 c learned clauses 872436
3600.05/3610.91 c learned cardinalities 392522
3600.05/3610.91 c learned general constraints 188525
3600.05/3610.91 c learned average constraint length 1339.14
3600.05/3610.91 c learned average constraint degree 20.92
3600.05/3610.91 c watched constraints 188525
3600.05/3610.91 c counting constraints 0
3600.05/3610.91 c gcd simplifications 81265
3600.05/3610.91 c detected cardinalities 16410
3600.05/3610.91 c weakened non-implied lits 25515874
3600.05/3610.91 c weakened non-implying lits 61005
3600.05/3610.91 c original variables 1400
3600.05/3610.91 c clausal propagations 25685073
3600.05/3610.91 c cardinality propagations 5768868
3600.05/3610.91 c watched propagations 1036516
3600.05/3610.91 c counting propagations 0
3600.05/3610.91 c watch lookups 19009420331
3600.05/3610.91 c watch backjump lookups 3526174
3600.05/3610.91 c watch checks 819037318050
3600.05/3610.91 c propagation checks 1674171527
3600.05/3610.91 c constraint additions 3997601533
3600.05/3610.91 c trail pops 40163617
3600.05/3610.91 c formula constraints 109379
3600.05/3610.91 c learned constraints 1453483
3600.05/3610.91 c bound constraints 23
3600.05/3610.91 c core-guided constraints 235
3600.05/3610.91 c encountered formula constraints 8427691
3600.05/3610.91 c encountered learned constraints 3244594
3600.05/3610.91 c encountered bound constraints 2232
3600.05/3610.91 c encountered core-guided constraints 33832
3600.05/3610.91 c LP total time 0 s
3600.05/3610.91 c LP solve time 0 s
3600.05/3610.91 c LP constraints added 0
3600.05/3610.91 c LP constraints removed 0
3600.05/3610.91 c LP pivots internal 0
3600.05/3610.91 c LP pivots root 0
3600.05/3610.91 c LP calls 0
3600.05/3610.91 c LP optimalities 0
3600.05/3610.91 c LP no pivot count 0
3600.05/3610.91 c LP infeasibilities 0
3600.05/3610.91 c LP valid Farkas constraints 0
3600.05/3610.91 c LP learned Farkas constraints 0
3600.05/3610.91 c LP basis resets 0
3600.05/3610.91 c LP cycling count 0
3600.05/3610.91 c LP singular count 0
3600.05/3610.91 c LP no primal count 0
3600.05/3610.91 c LP no farkas count 0
3600.05/3610.91 c LP other issue count 0
3600.05/3610.91 c LP Gomory cuts 0
3600.05/3610.91 c LP learned cuts 0
3600.05/3610.91 c LP deleted cuts 0
3600.05/3610.91 c LP encountered Gomory constraints 0
3600.05/3610.91 c LP encountered Farkas constraints 0
3600.05/3610.91 c LP encountered learned Farkas constraints 0
3600.05/3610.91 c CG auxiliary variables introduced 235
3600.05/3610.91 c CG solutions found 0
3600.05/3610.91 c CG cores constructed 22
3600.05/3610.91 c CG core cardinality constraints returned 0
3600.05/3610.91 c CG unit cores 0
3600.05/3610.91 c CG single cores 22
3600.05/3610.91 c CG blocks removed during cardinality reduction 0
3600.05/3610.91 c CG first core best 0
3600.05/3610.91 c CG decision core best 0
3600.05/3610.91 c CG core reduction tie 0
3600.05/3610.91 c CG core degree average 1.00
3600.05/3610.91 c CG core slack average 8.95
3600.05/3610.91 c CG exhausted 0
3600.05/3610.91 c CG exhaust time 0 s
3600.05/3610.91 c CG trimmed 1
3600.05/3610.91 c CG trim time 0.000251 s
3600.05/3610.91 c CG minimized 0
3600.05/3610.91 c CG minimize time 0 s
3600.05/3610.91 c CG am1 prop time 0.008155 s
3600.05/3610.91 c CG # am1s reformulated 235
3600.05/3610.91 c CG lower bound derived from am1s 1165
3600.05/3610.91 c CG # clausal cores 22
3600.05/3610.91 c CG # cardinality cores 0
3600.05/3610.91 c CG # pb cores 0
3600.05/3610.91 c CG # pb reforms 0
3600.05/3610.91 c CG # cores discarded because of pb reform 0
3600.05/3610.91 d LOWERBOUND -213
3600.05/3610.91 d NCORES 22
3600.05/3610.91 d NPBCORES 0
3600.05/3610.91 d NPBREFORM 0
3600.05/3610.91 d NTRIMMED 1
3600.05/3610.91 d NEXHAUSTED 0
3600.05/3610.91 d NAM1S 235
3600.05/3610.91 d AM1LB 1165
3600.05/3610.91 c [Papilo Statistics]
3600.05/3610.91 c prepro time 0.278436s
3600.05/3610.91 c # tsx applied 0
3600.05/3610.91 c # tsx conflicts 0
3600.05/3610.91 c # bound changes 0
3600.05/3610.91 c # side changes 0
3600.05/3610.91 c # coef changes 0
3600.05/3610.91 c # rounds 1
3600.05/3610.91 c # deted vars 0
3600.05/3610.91 c # deted constrs 0
3600.05/3610.91 c # consecutive rounds of only bound changes 0
3600.05/3610.91 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62167 MiB free)
memory of node 1: 64465 MiB (63584 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528986-1752253809/watcher-4528986-1752253809 -o /tmp/evaluation-result-4528986-1752253809/solver-4528986-1752253809 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752253809-122697 --watchdog 3760 mixed-bag HOME/instance-4528986-1752253809.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=122753, runsolver pid=122742
[startup+0.100062 s]*
/proc/loadavg: 1.04 1.30 2.10 4/264 122758
/proc/meminfo: memFree=128749900/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=88996 memory=15792 CPUtime=0.08 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 2557 0 0 0 8 0 0 0 20 0 1 0 141058377 91131904 3948 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 22249 3948 2176 2834 0 5001 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 88996 KiB
Current children cumulated memory: 15792 KiB
[startup+0.204701 s]*
/proc/loadavg: 1.04 1.30 2.10 4/262 122762
/proc/meminfo: memFree=128720412/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=109412 memory=38608 CPUtime=0.18 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 5703 0 0 0 17 1 0 0 20 0 1 0 141058377 112037888 9652 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 27353 9652 2176 2834 0 10105 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 109412 KiB
Current children cumulated memory: 38608 KiB
[startup+0.305485 s]*
/proc/loadavg: 1.04 1.30 2.10 4/262 122762
/proc/meminfo: memFree=128655848/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=143664 memory=64936 CPUtime=0.28 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 11742 0 0 0 26 2 0 0 20 0 1 0 141058377 147111936 16234 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 35916 16234 2336 2834 0 18121 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 143664 KiB
Current children cumulated memory: 64936 KiB
[startup+0.70018 s]
/proc/loadavg: 1.04 1.30 2.10 4/262 122762
/proc/meminfo: memFree=128635692/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=256640 memory=182948 CPUtime=0.68 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 41391 0 0 0 61 7 0 0 20 0 1 0 141058377 262799360 45737 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 64160 45737 4000 2834 0 46365 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 256640 KiB
Current children cumulated memory: 182948 KiB
[startup+1.50017 s]
/proc/loadavg: 1.04 1.30 2.10 4/262 122762
/proc/meminfo: memFree=128256172/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=324100 memory=248256 CPUtime=1.47 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 57332 0 0 0 138 9 0 0 20 0 1 0 141058377 331878400 62064 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 81025 62064 4032 2834 0 63230 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 324100 KiB
Current children cumulated memory: 248256 KiB
[startup+3.10562 s]
/proc/loadavg: 1.04 1.30 2.10 5/266 122799
/proc/meminfo: memFree=127496452/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=650580 memory=544832 CPUtime=3.07 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 91523 0 0 0 290 17 0 0 20 0 1 0 141058377 666193920 136208 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 162645 136208 4288 2834 0 144850 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 650580 KiB
Current children cumulated memory: 544832 KiB
[startup+6.30018 s]
/proc/loadavg: 1.28 1.34 2.11 5/266 122844
/proc/meminfo: memFree=126806772/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=686748 memory=571200 CPUtime=6.26 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 98106 0 0 0 607 19 0 0 20 0 1 0 141058377 703229952 142800 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 171687 142800 4288 2834 0 153892 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 686748 KiB
Current children cumulated memory: 571200 KiB
[startup+12.7002 s]
/proc/loadavg: 1.49 1.39 2.12 5/266 122844
/proc/meminfo: memFree=126588980/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=722252 memory=592428 CPUtime=12.64 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 100870 0 0 0 1244 20 0 0 20 0 1 0 141058377 739586048 148107 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 180563 148107 4288 2834 0 162768 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 722252 KiB
Current children cumulated memory: 592428 KiB
[startup+25.5002 s]
/proc/loadavg: 2.12 1.53 2.16 5/267 122846
/proc/meminfo: memFree=126573632/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=744480 memory=592556 CPUtime=25.4 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 100921 0 0 0 2520 20 0 0 20 0 1 0 141058377 762347520 148139 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 186120 148139 4288 2834 0 168325 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 744480 KiB
Current children cumulated memory: 592556 KiB
[startup+51.1055 s]
/proc/loadavg: 2.77 1.73 2.21 5/267 122846
/proc/meminfo: memFree=126050352/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=1040036 memory=736536 CPUtime=50.9 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 135863 0 0 0 5065 25 0 0 20 0 1 0 141058377 1064996864 184134 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 260009 184134 4320 2834 0 242214 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1040036 KiB
Current children cumulated memory: 736536 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 2.11 2.32 5/267 122848
/proc/meminfo: memFree=125996156/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=1084744 memory=737176 CPUtime=101.9 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 136155 0 0 0 10165 25 0 0 20 0 1 0 141058377 1110777856 184294 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 271186 184294 4320 2834 0 253391 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 1084744 KiB
Current children cumulated memory: 737176 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.47 2.43 5/266 122850
/proc/meminfo: memFree=125725816/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=1203464 memory=779304 CPUtime=161.68 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 140666 0 0 0 16142 26 0 0 20 0 1 0 141058377 1232347136 194826 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 300866 194826 4320 2834 0 283071 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 1203464 KiB
Current children cumulated memory: 779304 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.77 2.54 5/266 122852
/proc/meminfo: memFree=125477996/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=1366300 memory=912288 CPUtime=221.46 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 169530 0 0 0 22115 31 0 0 20 0 1 0 141058377 1399091200 228072 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 341575 228072 4320 2834 0 323780 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 1366300 KiB
Current children cumulated memory: 912288 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 3.03 2.64 5/266 122854
/proc/meminfo: memFree=125402232/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=1382348 memory=930208 CPUtime=281.21 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 174027 0 0 0 28090 31 0 0 20 0 1 0 141058377 1415524352 232552 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 345587 232552 4320 2834 0 327792 0
Current children cumulated CPU time: 281.21 s
Current children cumulated vsize: 1382348 KiB
Current children cumulated memory: 930208 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.22 2.74 5/265 122856
/proc/meminfo: memFree=126008888/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=1229872 memory=788652 CPUtime=341.01 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 177233 0 0 0 34033 68 0 0 20 0 1 0 141058377 1259388928 197163 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 307468 197163 4480 2834 0 289673 0
Current children cumulated CPU time: 341.01 s
Current children cumulated vsize: 1229872 KiB
Current children cumulated memory: 788652 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.38 2.82 5/264 122858
/proc/meminfo: memFree=125922452/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=1229872 memory=809156 CPUtime=400.82 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 177249 0 0 0 39984 98 0 0 20 0 1 0 141058377 1259388928 202289 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 307468 202289 4480 2834 0 289673 0
Current children cumulated CPU time: 400.82 s
Current children cumulated vsize: 1229872 KiB
Current children cumulated memory: 809156 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.53 2.91 5/264 122867
/proc/meminfo: memFree=125843944/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=1279960 memory=823492 CPUtime=460.62 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 177767 0 0 0 45942 120 0 0 20 0 1 0 141058377 1310679040 205873 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 319990 205873 4480 2834 0 302195 0
Current children cumulated CPU time: 460.62 s
################
# More data... #
################
Current children cumulated memory: 1083184 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.08 4.01 5/263 122981
/proc/meminfo: memFree=124906588/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=1493608 memory=1085232 CPUtime=2913.53 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 179667 0 0 0 290789 564 0 0 20 0 1 0 141058377 1529454592 271308 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 373402 271308 4480 2834 0 355607 0
Current children cumulated CPU time: 2913.53 s
Current children cumulated vsize: 1493608 KiB
Current children cumulated memory: 1085232 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.01 5/263 122983
/proc/meminfo: memFree=124921296/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=1493608 memory=1085232 CPUtime=2973.35 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 179667 0 0 0 296765 570 0 0 20 0 1 0 141058377 1529454592 271308 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 373402 271308 4480 2834 0 355607 0
Current children cumulated CPU time: 2973.35 s
Current children cumulated vsize: 1493608 KiB
Current children cumulated memory: 1085232 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/263 122985
/proc/meminfo: memFree=124921176/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=1493608 memory=1087280 CPUtime=3033.17 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 179668 0 0 0 302741 576 0 0 20 0 1 0 141058377 1529454592 271820 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 373402 271820 4480 2834 0 355607 0
Current children cumulated CPU time: 3033.17 s
Current children cumulated vsize: 1493608 KiB
Current children cumulated memory: 1087280 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.11 4.02 5/263 122998
/proc/meminfo: memFree=124911476/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=1493608 memory=1091376 CPUtime=3092.99 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 179719 0 0 0 308713 586 0 0 20 0 1 0 141058377 1529454592 272844 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 373402 272844 4480 2834 0 355607 0
Current children cumulated CPU time: 3092.99 s
Current children cumulated vsize: 1493608 KiB
Current children cumulated memory: 1091376 KiB
[startup+3162.3 s]
/proc/loadavg: 4.48 4.18 4.05 5/263 123000
/proc/meminfo: memFree=124903476/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=1493608 memory=1091376 CPUtime=3152.81 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 179860 0 0 0 314686 595 0 0 20 0 1 0 141058377 1529454592 272844 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 373402 272844 4480 2834 0 355607 0
Current children cumulated CPU time: 3152.81 s
Current children cumulated vsize: 1493608 KiB
Current children cumulated memory: 1091376 KiB
[startup+3222.3 s]
/proc/loadavg: 4.42 4.21 4.07 5/263 123002
/proc/meminfo: memFree=124895236/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=1493608 memory=1095472 CPUtime=3212.63 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 179886 0 0 0 320660 603 0 0 20 0 1 0 141058377 1529454592 273868 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 373402 273868 4480 2834 0 355607 0
Current children cumulated CPU time: 3212.63 s
Current children cumulated vsize: 1493608 KiB
Current children cumulated memory: 1095472 KiB
[startup+3282.3 s]
/proc/loadavg: 4.30 4.23 4.09 5/262 123004
/proc/meminfo: memFree=124882892/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=1493608 memory=1101616 CPUtime=3272.44 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 179889 0 0 0 326633 611 0 0 20 0 1 0 141058377 1529454592 275404 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 373402 275404 4480 2834 0 355607 0
Current children cumulated CPU time: 3272.44 s
Current children cumulated vsize: 1493608 KiB
Current children cumulated memory: 1101616 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.20 4.09 5/262 123006
/proc/meminfo: memFree=124878772/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=1493608 memory=1101616 CPUtime=3332.27 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 179908 0 0 0 332607 620 0 0 20 0 1 0 141058377 1529454592 275404 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 373402 275404 4480 2834 0 355607 0
Current children cumulated CPU time: 3332.27 s
Current children cumulated vsize: 1493608 KiB
Current children cumulated memory: 1101616 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.17 4.09 5/263 123009
/proc/meminfo: memFree=124878584/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=1493608 memory=1101616 CPUtime=3392.08 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 179908 0 0 0 338581 627 0 0 20 0 1 0 141058377 1529454592 275404 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 373402 275404 4480 2834 0 355607 0
Current children cumulated CPU time: 3392.08 s
Current children cumulated vsize: 1493608 KiB
Current children cumulated memory: 1101616 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.17 4.09 5/264 123017
/proc/meminfo: memFree=124878668/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=1493608 memory=1101616 CPUtime=3451.91 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 179908 0 0 0 344555 636 0 0 20 0 1 0 141058377 1529454592 275404 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 373402 275404 4480 2834 0 355607 0
Current children cumulated CPU time: 3451.91 s
Current children cumulated vsize: 1493608 KiB
Current children cumulated memory: 1101616 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.15 4.09 5/264 123019
/proc/meminfo: memFree=124870644/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=1493608 memory=1101616 CPUtime=3511.72 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 179909 0 0 0 350529 643 0 0 20 0 1 0 141058377 1529454592 275404 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 373402 275404 4480 2834 0 355607 0
Current children cumulated CPU time: 3511.72 s
Current children cumulated vsize: 1493608 KiB
Current children cumulated memory: 1101616 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/264 123021
/proc/meminfo: memFree=124866160/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=1493608 memory=1103664 CPUtime=3571.54 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 179910 0 0 0 356504 650 0 0 20 0 1 0 141058377 1529454592 275916 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 373402 275916 4480 2834 0 355607 0
Current children cumulated CPU time: 3571.54 s
Current children cumulated vsize: 1493608 KiB
Current children cumulated memory: 1103664 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.11 4.14 4.09 5/264 123023
/proc/meminfo: memFree=124857560/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=1493608 memory=1103664 CPUtime=3600.05 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 179910 0 0 0 359350 655 0 0 20 0 1 0 141058377 1529454592 275916 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 373402 275916 4480 2834 0 355607 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1493608 KiB
Current children cumulated memory: 1103664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.92 s]
# the end of solver process 122753 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.53 s, system=6.5574 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 4.11 4.14 4.09 5/264 123023
/proc/meminfo: memFree=124857560/131249996 swapFree=33006296/33010684
[pid=122753] ppid=122742 vsize=1493608 memory=1103664 CPUtime=3600.05 cores=5,7
/proc/122753/stat : 122753 (mixed-bag) R 122742 122753 122684 0 -1 4194304 179910 0 0 0 359350 655 0 0 20 0 1 0 141058377 1529454592 275916 18446744073709551615 4235264 15840557 140723179835520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 32571392 140723179841946 140723179842023 140723179842023 140723179847627 0
/proc/122753/statm: 373402 275916 4480 2834 0 355607 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1493608 KiB
Current children cumulated memory: 1103664 KiB
Child status: 0
Real time (s): 3610.92
CPU time (s): 3600.08
CPU user time (s): 3593.53
CPU system time (s): 6.5574
CPU usage (%): 99.6999
Max. virtual memory (cumulated for all children) (KiB): 1493608
Max. memory (cumulated for all children) (KiB): 1103664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.53
system time used= 6.5574
maximum resident set size= 1104304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179942
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= 187
involuntary context switches= 1342
# summary of solver processes directly reported to runsolver:
# pid: 122753
# total CPU time (s): 3600.08
# total CPU user time (s): 3593.53
# total CPU system time (s): 6.5574
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.59873 second user time and 16.0057 second system time
The end
Begin job on nodeC015 at 2025-07-11 19:10:09
IDJOB=4528986
IDBENCH=146669
IDSOLVER=3386
FILE ID=nodeC015/4528986-1752253809
RUNJOBID= nodeC015-1752253809-122697
SLURM_JOB_ID= 9682590
Free space on /tmp= 432412 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528986-1752253809/watcher-4528986-1752253809 -o /tmp/evaluation-result-4528986-1752253809/solver-4528986-1752253809 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752253809-122697 --watchdog 3760 mixed-bag HOME/instance-4528986-1752253809.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3ad6c959019bf046c7e592cfae8de121
RANDOM SEED=279690135
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.287
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.092
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.385
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.081
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.030
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.232
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.208
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.238
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128756556 kB
MemAvailable: 129680532 kB
Buffers: 1508 kB
Cached: 1703152 kB
SwapCached: 3880 kB
Active: 332432 kB
Inactive: 1453752 kB
Active(anon): 46952 kB
Inactive(anon): 48724 kB
Active(file): 285480 kB
Inactive(file): 1405028 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 66116 kB
Writeback: 0 kB
AnonPages: 81080 kB
Mapped: 102304 kB
Shmem: 14152 kB
KReclaimable: 145412 kB
Slab: 238552 kB
SReclaimable: 145412 kB
SUnreclaim: 93140 kB
KernelStack: 4096 kB
PageTables: 2756 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 345916 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432348 MiB
End job on nodeC015 at 2025-07-11 20:10:20