0.00/0.03 c RoundingSat 2
0.00/0.03 c branch
0.00/0.03 c commit
0.00/0.03 c with Papilo
0.00/0.03 c with SCIP
0.00/0.03 c [STEP] parsing instance
0.06/0.15 c [STEP] preprocessing with Papilo
0.17/0.29 c Papilo could not simplify the problem
0.17/0.29 c [STEP] solving with SCIP
299.47/300.41 c [STEP] preprocessing done, loading into solver
299.58/300.51 c [STEP] solving
299.58/300.51 c #variables 946 #constraints 58245
299.58/300.51 c SMALL=int, LARGE=long long
299.58/300.51 d SCIPUB -39
299.58/300.51 c bounds - >= -945 @ 299.287
299.58/300.51 c stratification level: 0
326.11/327.17 c bounds - >= -166 @ 299.313
326.11/327.17 c bounds - >= -165 @ 299.313
326.11/327.17 c bounds - >= -164 @ 299.314
326.11/327.17 c bounds - >= -163 @ 299.314
326.11/327.17 c bounds - >= -162 @ 299.315
326.11/327.17 c bounds - >= -161 @ 299.315
326.11/327.17 c bounds - >= -160 @ 299.316
326.11/327.17 c bounds - >= -159 @ 299.317
326.11/327.17 c bounds - >= -158 @ 299.317
326.11/327.17 c bounds - >= -157 @ 299.317
326.11/327.17 c bounds - >= -156 @ 299.317
326.11/327.17 c bounds - >= -155 @ 299.317
326.11/327.17 c bounds - >= -154 @ 299.317
326.11/327.17 c bounds - >= -153 @ 299.317
326.11/327.17 c bounds - >= -152 @ 299.318
326.11/327.17 c bounds - >= -151 @ 299.319
326.11/327.17 c bounds - >= -150 @ 299.319
326.11/327.17 c bounds - >= -149 @ 299.321
326.11/327.17 c bounds - >= -148 @ 299.322
326.11/327.17 c #Conflicts: 1000 | #Constraints: 59430
326.11/327.17 c #Conflicts: 2000 | #Constraints: 60430
326.11/327.17 c INPROCESSING
326.11/327.17 c GARBAGE COLLECT
326.11/327.17 c #Conflicts: 3000 | #Constraints: 60426
326.11/327.17 c #Conflicts: 4000 | #Constraints: 61426
326.11/327.17 c INPROCESSING
326.11/327.17 c GARBAGE COLLECT
326.11/327.17 c #Conflicts: 5000 | #Constraints: 60835
326.11/327.17 c #Conflicts: 6000 | #Constraints: 61835
326.11/327.17 c INPROCESSING
326.11/327.17 c GARBAGE COLLECT
326.11/327.17 c #Conflicts: 7000 | #Constraints: 60840
326.11/327.17 c #Conflicts: 8000 | #Constraints: 61840
326.11/327.17 c #Conflicts: 9000 | #Constraints: 62840
326.11/327.17 c INPROCESSING
326.11/327.17 c GARBAGE COLLECT
326.11/327.17 c #Conflicts: 10000 | #Constraints: 61567
326.11/327.17 c #Conflicts: 11000 | #Constraints: 62567
326.11/327.17 c #Conflicts: 12000 | #Constraints: 63567
326.11/327.17 c INPROCESSING
326.11/327.17 c GARBAGE COLLECT
326.11/327.17 c #Conflicts: 13000 | #Constraints: 62006
326.11/327.17 c #Conflicts: 14000 | #Constraints: 63006
326.11/327.17 c #Conflicts: 15000 | #Constraints: 64006
326.11/327.17 c INPROCESSING
326.11/327.17 c GARBAGE COLLECT
326.11/327.17 c #Conflicts: 16000 | #Constraints: 62244
326.11/327.17 c #Conflicts: 17000 | #Constraints: 63244
326.11/327.17 c #Conflicts: 18000 | #Constraints: 64244
326.11/327.17 c INPROCESSING
326.11/327.17 c GARBAGE COLLECT
326.11/327.17 c #Conflicts: 19000 | #Constraints: 62273
326.11/327.17 c #Conflicts: 20000 | #Constraints: 63273
326.11/327.17 c #Conflicts: 21000 | #Constraints: 64273
326.11/327.17 c INPROCESSING
326.11/327.17 c GARBAGE COLLECT
326.11/327.17 c #Conflicts: 22000 | #Constraints: 62075
326.11/327.17 c #Conflicts: 23000 | #Constraints: 63075
326.11/327.17 c #Conflicts: 24000 | #Constraints: 64075
326.11/327.17 c #Conflicts: 25000 | #Constraints: 65075
326.11/327.17 c INPROCESSING
326.11/327.17 c GARBAGE COLLECT
326.11/327.17 c #Conflicts: 26000 | #Constraints: 62689
326.11/327.17 c #Conflicts: 27000 | #Constraints: 63689
326.11/327.17 c #Conflicts: 28000 | #Constraints: 64689
326.11/327.17 c #Conflicts: 29000 | #Constraints: 65689
326.11/327.17 c INPROCESSING
326.11/327.17 c GARBAGE COLLECT
326.11/327.17 c #Conflicts: 30000 | #Constraints: 63068
326.11/327.17 c #Conflicts: 31000 | #Constraints: 64068
326.11/327.17 c #Conflicts: 32000 | #Constraints: 65068
326.11/327.17 c #Conflicts: 33000 | #Constraints: 66068
326.11/327.17 c INPROCESSING
326.11/327.17 c GARBAGE COLLECT
326.11/327.17 c #Conflicts: 34000 | #Constraints: 63263
326.11/327.17 c #Conflicts: 35000 | #Constraints: 64263
326.11/327.17 c #Conflicts: 36000 | #Constraints: 65263
326.11/327.17 c #Conflicts: 37000 | #Constraints: 66263
326.11/327.17 c INPROCESSING
326.11/327.17 c GARBAGE COLLECT
326.11/327.17 c #Conflicts: 38000 | #Constraints: 63280
326.11/327.17 c #Conflicts: 39000 | #Constraints: 64280
326.11/327.17 c #Conflicts: 40000 | #Constraints: 65280
326.11/327.17 c #Conflicts: 41000 | #Constraints: 66280
326.11/327.17 c INPROCESSING
326.11/327.17 c GARBAGE COLLECT
326.11/327.17 c #Conflicts: 42000 | #Constraints: 63091
326.11/327.17 c #Conflicts: 43000 | #Constraints: 64091
326.11/327.17 c #Conflicts: 44000 | #Constraints: 65091
326.11/327.17 c #Conflicts: 45000 | #Constraints: 66091
326.11/327.17 c #Conflicts: 46000 | #Constraints: 67091
326.11/327.17 c INPROCESSING
326.11/327.17 c GARBAGE COLLECT
326.11/327.17 c #Conflicts: 47000 | #Constraints: 63672
326.11/327.17 c #Conflicts: 48000 | #Constraints: 64672
326.11/327.17 c #Conflicts: 49000 | #Constraints: 65672
326.11/327.17 c #Conflicts: 50000 | #Constraints: 66672
326.11/327.17 c #Conflicts: 51000 | #Constraints: 67672
326.11/327.17 c INPROCESSING
326.11/327.17 c GARBAGE COLLECT
326.11/327.17 c #Conflicts: 52000 | #Constraints: 64083
326.11/327.17 c #Conflicts: 53000 | #Constraints: 65083
326.11/327.17 c #Conflicts: 54000 | #Constraints: 66083
326.11/327.17 c #Conflicts: 55000 | #Constraints: 67083
326.11/327.17 c #Conflicts: 56000 | #Constraints: 68083
326.11/327.17 c INPROCESSING
326.11/327.17 c GARBAGE COLLECT
326.11/327.17 c #Conflicts: 57000 | #Constraints: 64299
326.11/327.17 c #Conflicts: 58000 | #Constraints: 65299
326.11/327.17 c #Conflicts: 59000 | #Constraints: 66299
373.47/374.61 c #Conflicts: 60000 | #Constraints: 67299
373.47/374.61 c #Conflicts: 61000 | #Constraints: 68299
373.47/374.61 c INPROCESSING
373.47/374.61 c GARBAGE COLLECT
373.47/374.61 c #Conflicts: 62000 | #Constraints: 64293
373.47/374.61 c #Conflicts: 63000 | #Constraints: 65293
373.47/374.61 c #Conflicts: 64000 | #Constraints: 66293
373.47/374.61 c #Conflicts: 65000 | #Constraints: 67293
373.47/374.61 c #Conflicts: 66000 | #Constraints: 68293
373.47/374.61 c INPROCESSING
373.47/374.61 c GARBAGE COLLECT
373.47/374.61 c #Conflicts: 67000 | #Constraints: 64083
373.47/374.61 c #Conflicts: 68000 | #Constraints: 65083
373.47/374.61 c #Conflicts: 69000 | #Constraints: 66083
373.47/374.61 c #Conflicts: 70000 | #Constraints: 67083
373.47/374.61 c #Conflicts: 71000 | #Constraints: 68083
373.47/374.61 c #Conflicts: 72000 | #Constraints: 69083
373.47/374.61 c INPROCESSING
373.47/374.61 c GARBAGE COLLECT
373.47/374.61 c #Conflicts: 73000 | #Constraints: 64687
373.47/374.61 c #Conflicts: 74000 | #Constraints: 65687
373.47/374.61 c #Conflicts: 75000 | #Constraints: 66687
373.47/374.61 c #Conflicts: 76000 | #Constraints: 67687
373.47/374.61 c #Conflicts: 77000 | #Constraints: 68687
373.47/374.61 c #Conflicts: 78000 | #Constraints: 69687
373.47/374.61 c INPROCESSING
373.47/374.61 c GARBAGE COLLECT
373.47/374.61 c #Conflicts: 79000 | #Constraints: 65099
373.47/374.61 c #Conflicts: 80000 | #Constraints: 66099
373.47/374.61 c #Conflicts: 81000 | #Constraints: 67099
373.47/374.61 c #Conflicts: 82000 | #Constraints: 68099
373.47/374.61 c #Conflicts: 83000 | #Constraints: 69099
373.47/374.61 c #Conflicts: 84000 | #Constraints: 70099
373.47/374.61 c INPROCESSING
373.47/374.61 c GARBAGE COLLECT
373.47/374.61 c #Conflicts: 85000 | #Constraints: 65294
373.47/374.61 c #Conflicts: 86000 | #Constraints: 66294
373.47/374.61 c #Conflicts: 87000 | #Constraints: 67294
373.47/374.61 c #Conflicts: 88000 | #Constraints: 68294
373.47/374.61 c #Conflicts: 89000 | #Constraints: 69294
373.47/374.61 c #Conflicts: 90000 | #Constraints: 70294
373.47/374.61 c INPROCESSING
373.47/374.61 c GARBAGE COLLECT
373.47/374.61 c #Conflicts: 91000 | #Constraints: 65309
373.47/374.61 c #Conflicts: 92000 | #Constraints: 66309
373.47/374.61 c #Conflicts: 93000 | #Constraints: 67309
373.47/374.61 c #Conflicts: 94000 | #Constraints: 68309
373.47/374.61 c #Conflicts: 95000 | #Constraints: 69309
373.47/374.61 c #Conflicts: 96000 | #Constraints: 70309
373.47/374.61 c INPROCESSING
373.47/374.61 c GARBAGE COLLECT
373.47/374.61 c #Conflicts: 97000 | #Constraints: 65128
373.47/374.61 c #Conflicts: 98000 | #Constraints: 66128
373.47/374.61 c #Conflicts: 99000 | #Constraints: 67128
373.47/374.61 c #Conflicts: 100000 | #Constraints: 68128
373.47/374.61 c #Conflicts: 101000 | #Constraints: 69128
373.47/374.61 c #Conflicts: 102000 | #Constraints: 70128
373.47/374.61 c #Conflicts: 103000 | #Constraints: 71128
373.47/374.61 c INPROCESSING
373.47/374.61 c GARBAGE COLLECT
373.47/374.61 c #Conflicts: 104000 | #Constraints: 65738
373.47/374.61 c #Conflicts: 105000 | #Constraints: 66738
373.47/374.61 c #Conflicts: 106000 | #Constraints: 67738
373.47/374.61 c #Conflicts: 107000 | #Constraints: 68738
373.47/374.61 c #Conflicts: 108000 | #Constraints: 69738
373.47/374.61 c #Conflicts: 109000 | #Constraints: 70738
373.47/374.61 c #Conflicts: 110000 | #Constraints: 71738
373.47/374.61 c INPROCESSING
373.47/374.61 c GARBAGE COLLECT
373.47/374.61 c #Conflicts: 111000 | #Constraints: 66127
373.47/374.61 c #Conflicts: 112000 | #Constraints: 67127
373.47/374.61 c #Conflicts: 113000 | #Constraints: 68127
373.47/374.61 c #Conflicts: 114000 | #Constraints: 69127
373.47/374.61 c #Conflicts: 115000 | #Constraints: 70127
373.47/374.61 c #Conflicts: 116000 | #Constraints: 71127
373.47/374.61 c #Conflicts: 117000 | #Constraints: 72127
373.47/374.61 c INPROCESSING
373.47/374.61 c GARBAGE COLLECT
373.47/374.61 c #Conflicts: 118000 | #Constraints: 66373
373.47/374.61 c #Conflicts: 119000 | #Constraints: 67373
373.47/374.61 c #Conflicts: 120000 | #Constraints: 68373
373.47/374.61 c #Conflicts: 121000 | #Constraints: 69373
373.47/374.61 c #Conflicts: 122000 | #Constraints: 70373
373.47/374.61 c #Conflicts: 123000 | #Constraints: 71373
373.47/374.61 c #Conflicts: 124000 | #Constraints: 72373
373.47/374.61 c INPROCESSING
373.47/374.61 c GARBAGE COLLECT
373.47/374.61 c #Conflicts: 125000 | #Constraints: 66349
373.47/374.61 c #Conflicts: 126000 | #Constraints: 67349
373.47/374.61 c #Conflicts: 127000 | #Constraints: 68349
373.47/374.61 c #Conflicts: 128000 | #Constraints: 69349
373.47/374.61 c #Conflicts: 129000 | #Constraints: 70349
373.47/374.61 c #Conflicts: 130000 | #Constraints: 71349
435.42/436.75 c #Conflicts: 131000 | #Constraints: 72349
435.42/436.75 c INPROCESSING
435.42/436.75 c GARBAGE COLLECT
435.42/436.75 c #Conflicts: 132000 | #Constraints: 66150
435.42/436.75 c #Conflicts: 133000 | #Constraints: 67150
435.42/436.75 c #Conflicts: 134000 | #Constraints: 68150
435.42/436.75 c #Conflicts: 135000 | #Constraints: 69150
435.42/436.75 c #Conflicts: 136000 | #Constraints: 70150
435.42/436.75 c #Conflicts: 137000 | #Constraints: 71150
435.42/436.75 c #Conflicts: 138000 | #Constraints: 72150
435.42/436.75 c #Conflicts: 139000 | #Constraints: 73150
435.42/436.75 c INPROCESSING
435.42/436.75 c GARBAGE COLLECT
435.42/436.75 c #Conflicts: 140000 | #Constraints: 66726
435.42/436.75 c #Conflicts: 141000 | #Constraints: 67726
435.42/436.75 c #Conflicts: 142000 | #Constraints: 68726
435.42/436.75 c #Conflicts: 143000 | #Constraints: 69726
435.42/436.75 c #Conflicts: 144000 | #Constraints: 70726
435.42/436.75 c #Conflicts: 145000 | #Constraints: 71726
435.42/436.75 c #Conflicts: 146000 | #Constraints: 72726
435.42/436.75 c #Conflicts: 147000 | #Constraints: 73726
435.42/436.75 c INPROCESSING
435.42/436.75 c GARBAGE COLLECT
435.42/436.75 c #Conflicts: 148000 | #Constraints: 67131
435.42/436.75 c #Conflicts: 149000 | #Constraints: 68131
435.42/436.75 c #Conflicts: 150000 | #Constraints: 69131
435.42/436.75 c #Conflicts: 151000 | #Constraints: 70131
435.42/436.75 c #Conflicts: 152000 | #Constraints: 71131
435.42/436.75 c #Conflicts: 153000 | #Constraints: 72131
435.42/436.75 c #Conflicts: 154000 | #Constraints: 73131
435.42/436.75 c #Conflicts: 155000 | #Constraints: 74131
435.42/436.75 c INPROCESSING
435.42/436.75 c GARBAGE COLLECT
435.42/436.75 c #Conflicts: 156000 | #Constraints: 67341
435.42/436.75 c #Conflicts: 157000 | #Constraints: 68341
435.42/436.75 c #Conflicts: 158000 | #Constraints: 69341
435.42/436.75 c #Conflicts: 159000 | #Constraints: 70341
435.42/436.75 c #Conflicts: 160000 | #Constraints: 71341
435.42/436.75 c #Conflicts: 161000 | #Constraints: 72341
435.42/436.75 c #Conflicts: 162000 | #Constraints: 73341
435.42/436.75 c #Conflicts: 163000 | #Constraints: 74341
435.42/436.75 c INPROCESSING
435.42/436.75 c GARBAGE COLLECT
435.42/436.75 c #Conflicts: 164000 | #Constraints: 67333
435.42/436.75 c #Conflicts: 165000 | #Constraints: 68333
435.42/436.75 c #Conflicts: 166000 | #Constraints: 69333
435.42/436.75 c #Conflicts: 167000 | #Constraints: 70333
435.42/436.75 c #Conflicts: 168000 | #Constraints: 71333
435.42/436.75 c #Conflicts: 169000 | #Constraints: 72333
435.42/436.75 c #Conflicts: 170000 | #Constraints: 73333
435.42/436.75 c #Conflicts: 171000 | #Constraints: 74333
435.42/436.75 c INPROCESSING
435.42/436.75 c GARBAGE COLLECT
435.42/436.75 c #Conflicts: 172000 | #Constraints: 67110
435.42/436.75 c #Conflicts: 173000 | #Constraints: 68110
435.42/436.75 c #Conflicts: 174000 | #Constraints: 69110
435.42/436.75 c #Conflicts: 175000 | #Constraints: 70110
435.42/436.75 c #Conflicts: 176000 | #Constraints: 71110
435.42/436.75 c #Conflicts: 177000 | #Constraints: 72110
435.42/436.75 c #Conflicts: 178000 | #Constraints: 73110
435.42/436.75 c #Conflicts: 179000 | #Constraints: 74110
435.42/436.75 c #Conflicts: 180000 | #Constraints: 75110
435.42/436.75 c INPROCESSING
435.42/436.75 c GARBAGE COLLECT
435.42/436.75 c #Conflicts: 181000 | #Constraints: 67720
435.42/436.75 c #Conflicts: 182000 | #Constraints: 68720
435.42/436.75 c #Conflicts: 183000 | #Constraints: 69720
435.42/436.75 c #Conflicts: 184000 | #Constraints: 70720
435.42/436.75 c #Conflicts: 185000 | #Constraints: 71720
435.42/436.75 c #Conflicts: 186000 | #Constraints: 72720
435.42/436.75 c #Conflicts: 187000 | #Constraints: 73720
435.42/436.75 c #Conflicts: 188000 | #Constraints: 74720
435.42/436.75 c #Conflicts: 189000 | #Constraints: 75720
435.42/436.75 c INPROCESSING
435.42/436.75 c GARBAGE COLLECT
435.42/436.75 c #Conflicts: 190000 | #Constraints: 68130
435.42/436.75 c #Conflicts: 191000 | #Constraints: 69130
435.42/436.75 c #Conflicts: 192000 | #Constraints: 70130
435.42/436.75 c #Conflicts: 193000 | #Constraints: 71130
435.42/436.75 c #Conflicts: 194000 | #Constraints: 72130
435.42/436.75 c #Conflicts: 195000 | #Constraints: 73130
435.42/436.75 c #Conflicts: 196000 | #Constraints: 74130
435.42/436.75 c #Conflicts: 197000 | #Constraints: 75130
435.42/436.75 c #Conflicts: 198000 | #Constraints: 76130
435.42/436.75 c INPROCESSING
435.42/436.75 c GARBAGE COLLECT
435.42/436.75 c #Conflicts: 199000 | #Constraints: 68334
435.42/436.75 c #Conflicts: 200000 | #Constraints: 69334
435.42/436.75 c #Conflicts: 201000 | #Constraints: 70334
435.42/436.75 c #Conflicts: 202000 | #Constraints: 71334
435.42/436.75 c #Conflicts: 203000 | #Constraints: 72334
508.62/510.17 c #Conflicts: 204000 | #Constraints: 73334
508.62/510.17 c #Conflicts: 205000 | #Constraints: 74334
508.62/510.17 c #Conflicts: 206000 | #Constraints: 75334
508.62/510.17 c #Conflicts: 207000 | #Constraints: 76334
508.62/510.17 c INPROCESSING
508.62/510.17 c GARBAGE COLLECT
508.62/510.17 c #Conflicts: 208000 | #Constraints: 68336
508.62/510.17 c #Conflicts: 209000 | #Constraints: 69336
508.62/510.17 c #Conflicts: 210000 | #Constraints: 70336
508.62/510.17 c #Conflicts: 211000 | #Constraints: 71336
508.62/510.17 c #Conflicts: 212000 | #Constraints: 72336
508.62/510.17 c #Conflicts: 213000 | #Constraints: 73336
508.62/510.17 c #Conflicts: 214000 | #Constraints: 74336
508.62/510.17 c #Conflicts: 215000 | #Constraints: 75336
508.62/510.17 c #Conflicts: 216000 | #Constraints: 76336
508.62/510.17 c INPROCESSING
508.62/510.17 c GARBAGE COLLECT
508.62/510.17 c #Conflicts: 217000 | #Constraints: 68140
508.62/510.17 c #Conflicts: 218000 | #Constraints: 69140
508.62/510.17 c #Conflicts: 219000 | #Constraints: 70140
508.62/510.17 c #Conflicts: 220000 | #Constraints: 71140
508.62/510.17 c #Conflicts: 221000 | #Constraints: 72140
508.62/510.17 c #Conflicts: 222000 | #Constraints: 73140
508.62/510.17 c #Conflicts: 223000 | #Constraints: 74140
508.62/510.17 c #Conflicts: 224000 | #Constraints: 75140
508.62/510.17 c #Conflicts: 225000 | #Constraints: 76140
508.62/510.17 c #Conflicts: 226000 | #Constraints: 77140
508.62/510.17 c INPROCESSING
508.62/510.17 c GARBAGE COLLECT
508.62/510.17 c #Conflicts: 227000 | #Constraints: 68746
508.62/510.17 c #Conflicts: 228000 | #Constraints: 69746
508.62/510.17 c #Conflicts: 229000 | #Constraints: 70746
508.62/510.17 c #Conflicts: 230000 | #Constraints: 71746
508.62/510.17 c #Conflicts: 231000 | #Constraints: 72746
508.62/510.17 c #Conflicts: 232000 | #Constraints: 73746
508.62/510.17 c #Conflicts: 233000 | #Constraints: 74746
508.62/510.17 c #Conflicts: 234000 | #Constraints: 75746
508.62/510.17 c #Conflicts: 235000 | #Constraints: 76746
508.62/510.17 c #Conflicts: 236000 | #Constraints: 77746
508.62/510.17 c INPROCESSING
508.62/510.17 c GARBAGE COLLECT
508.62/510.17 c #Conflicts: 237000 | #Constraints: 69110
508.62/510.17 c #Conflicts: 238000 | #Constraints: 70110
508.62/510.17 c #Conflicts: 239000 | #Constraints: 71110
508.62/510.17 c #Conflicts: 240000 | #Constraints: 72110
508.62/510.17 c #Conflicts: 241000 | #Constraints: 73110
508.62/510.17 c #Conflicts: 242000 | #Constraints: 74110
508.62/510.17 c #Conflicts: 243000 | #Constraints: 75110
508.62/510.17 c #Conflicts: 244000 | #Constraints: 76110
508.62/510.17 c #Conflicts: 245000 | #Constraints: 77110
508.62/510.17 c #Conflicts: 246000 | #Constraints: 78110
508.62/510.17 c INPROCESSING
508.62/510.17 c GARBAGE COLLECT
508.62/510.17 c #Conflicts: 247000 | #Constraints: 69307
508.62/510.17 c #Conflicts: 248000 | #Constraints: 70307
508.62/510.17 c #Conflicts: 249000 | #Constraints: 71307
508.62/510.17 c #Conflicts: 250000 | #Constraints: 72307
508.62/510.17 c #Conflicts: 251000 | #Constraints: 73307
508.62/510.17 c #Conflicts: 252000 | #Constraints: 74307
508.62/510.17 c #Conflicts: 253000 | #Constraints: 75307
508.62/510.17 c #Conflicts: 254000 | #Constraints: 76307
508.62/510.17 c #Conflicts: 255000 | #Constraints: 77307
508.62/510.17 c #Conflicts: 256000 | #Constraints: 78307
508.62/510.17 c INPROCESSING
508.62/510.17 c GARBAGE COLLECT
508.62/510.17 c #Conflicts: 257000 | #Constraints: 69318
508.62/510.17 c #Conflicts: 258000 | #Constraints: 70318
508.62/510.17 c #Conflicts: 259000 | #Constraints: 71318
508.62/510.17 c #Conflicts: 260000 | #Constraints: 72318
508.62/510.17 c #Conflicts: 261000 | #Constraints: 73318
508.62/510.17 c #Conflicts: 262000 | #Constraints: 74318
508.62/510.17 c #Conflicts: 263000 | #Constraints: 75318
508.62/510.17 c #Conflicts: 264000 | #Constraints: 76318
508.62/510.17 c #Conflicts: 265000 | #Constraints: 77318
508.62/510.17 c #Conflicts: 266000 | #Constraints: 78318
508.62/510.17 c INPROCESSING
508.62/510.17 c GARBAGE COLLECT
508.62/510.17 c #Conflicts: 267000 | #Constraints: 69117
508.62/510.17 c #Conflicts: 268000 | #Constraints: 70117
508.62/510.17 c #Conflicts: 269000 | #Constraints: 71117
508.62/510.17 c #Conflicts: 270000 | #Constraints: 72117
508.62/510.17 c #Conflicts: 271000 | #Constraints: 73117
508.62/510.17 c #Conflicts: 272000 | #Constraints: 74117
508.62/510.17 c #Conflicts: 273000 | #Constraints: 75117
508.62/510.17 c #Conflicts: 274000 | #Constraints: 76117
508.62/510.17 c #Conflicts: 275000 | #Constraints: 77117
508.62/510.17 c #Conflicts: 276000 | #Constraints: 78117
508.62/510.17 c #Conflicts: 277000 | #Constraints: 79117
508.62/510.17 c INPROCESSING
598.38/600.13 c GARBAGE COLLECT
598.38/600.13 c #Conflicts: 278000 | #Constraints: 69718
598.38/600.13 c #Conflicts: 279000 | #Constraints: 70718
598.38/600.13 c #Conflicts: 280000 | #Constraints: 71718
598.38/600.13 c #Conflicts: 281000 | #Constraints: 72718
598.38/600.13 c #Conflicts: 282000 | #Constraints: 73718
598.38/600.13 c #Conflicts: 283000 | #Constraints: 74718
598.38/600.13 c #Conflicts: 284000 | #Constraints: 75718
598.38/600.13 c #Conflicts: 285000 | #Constraints: 76718
598.38/600.13 c #Conflicts: 286000 | #Constraints: 77718
598.38/600.13 c #Conflicts: 287000 | #Constraints: 78718
598.38/600.13 c #Conflicts: 288000 | #Constraints: 79718
598.38/600.13 c INPROCESSING
598.38/600.13 c GARBAGE COLLECT
598.38/600.13 c #Conflicts: 289000 | #Constraints: 70131
598.38/600.13 c #Conflicts: 290000 | #Constraints: 71131
598.38/600.13 c #Conflicts: 291000 | #Constraints: 72131
598.38/600.13 c #Conflicts: 292000 | #Constraints: 73131
598.38/600.13 c #Conflicts: 293000 | #Constraints: 74131
598.38/600.13 c #Conflicts: 294000 | #Constraints: 75131
598.38/600.13 c #Conflicts: 295000 | #Constraints: 76131
598.38/600.13 c #Conflicts: 296000 | #Constraints: 77131
598.38/600.13 c #Conflicts: 297000 | #Constraints: 78131
598.38/600.13 c #Conflicts: 298000 | #Constraints: 79131
598.38/600.13 c #Conflicts: 299000 | #Constraints: 80131
598.38/600.13 c INPROCESSING
598.38/600.13 c GARBAGE COLLECT
598.38/600.13 c #Conflicts: 300000 | #Constraints: 70321
598.38/600.13 c #Conflicts: 301000 | #Constraints: 71321
598.38/600.13 c #Conflicts: 302000 | #Constraints: 72321
598.38/600.13 c #Conflicts: 303000 | #Constraints: 73321
598.38/600.13 c #Conflicts: 304000 | #Constraints: 74321
598.38/600.13 c #Conflicts: 305000 | #Constraints: 75321
598.38/600.13 c #Conflicts: 306000 | #Constraints: 76321
598.38/600.13 c #Conflicts: 307000 | #Constraints: 77321
598.38/600.13 c #Conflicts: 308000 | #Constraints: 78321
598.38/600.13 c #Conflicts: 309000 | #Constraints: 79321
598.38/600.13 c #Conflicts: 310000 | #Constraints: 80321
598.38/600.13 c INPROCESSING
598.38/600.13 c GARBAGE COLLECT
598.38/600.13 c #Conflicts: 311000 | #Constraints: 70327
598.38/600.13 c #Conflicts: 312000 | #Constraints: 71327
598.38/600.13 c #Conflicts: 313000 | #Constraints: 72327
598.38/600.13 c #Conflicts: 314000 | #Constraints: 73327
598.38/600.13 c #Conflicts: 315000 | #Constraints: 74327
598.38/600.13 c #Conflicts: 316000 | #Constraints: 75327
598.38/600.13 c #Conflicts: 317000 | #Constraints: 76327
598.38/600.13 c #Conflicts: 318000 | #Constraints: 77327
598.38/600.13 c #Conflicts: 319000 | #Constraints: 78327
598.38/600.13 c #Conflicts: 320000 | #Constraints: 79327
598.38/600.13 c #Conflicts: 321000 | #Constraints: 80327
598.38/600.13 c INPROCESSING
598.38/600.13 c GARBAGE COLLECT
598.38/600.13 c #Conflicts: 322000 | #Constraints: 70151
598.38/600.13 c #Conflicts: 323000 | #Constraints: 71151
598.38/600.13 c #Conflicts: 324000 | #Constraints: 72151
598.38/600.13 c #Conflicts: 325000 | #Constraints: 73151
598.38/600.13 c #Conflicts: 326000 | #Constraints: 74151
598.38/600.13 c #Conflicts: 327000 | #Constraints: 75151
598.38/600.13 c #Conflicts: 328000 | #Constraints: 76151
598.38/600.13 c #Conflicts: 329000 | #Constraints: 77151
598.38/600.13 c #Conflicts: 330000 | #Constraints: 78151
598.38/600.13 c #Conflicts: 331000 | #Constraints: 79151
598.38/600.13 c #Conflicts: 332000 | #Constraints: 80151
598.38/600.13 c #Conflicts: 333000 | #Constraints: 81151
598.38/600.13 c INPROCESSING
598.38/600.13 c GARBAGE COLLECT
598.38/600.13 c #Conflicts: 334000 | #Constraints: 70733
598.38/600.13 c #Conflicts: 335000 | #Constraints: 71733
598.38/600.13 c #Conflicts: 336000 | #Constraints: 72733
598.38/600.13 c #Conflicts: 337000 | #Constraints: 73733
598.38/600.13 c #Conflicts: 338000 | #Constraints: 74733
598.38/600.13 c #Conflicts: 339000 | #Constraints: 75733
598.38/600.13 c #Conflicts: 340000 | #Constraints: 76733
598.38/600.13 c #Conflicts: 341000 | #Constraints: 77733
598.38/600.13 c #Conflicts: 342000 | #Constraints: 78733
598.38/600.13 c #Conflicts: 343000 | #Constraints: 79733
598.38/600.13 c #Conflicts: 344000 | #Constraints: 80733
598.38/600.13 c #Conflicts: 345000 | #Constraints: 81733
598.38/600.13 c INPROCESSING
598.38/600.13 c GARBAGE COLLECT
598.38/600.13 c #Conflicts: 346000 | #Constraints: 71146
598.38/600.13 c #Conflicts: 347000 | #Constraints: 72146
598.38/600.13 c #Conflicts: 348000 | #Constraints: 73146
598.38/600.13 c #Conflicts: 349000 | #Constraints: 74146
598.38/600.13 c #Conflicts: 350000 | #Constraints: 75146
598.38/600.13 c #Conflicts: 351000 | #Constraints: 76146
598.38/600.13 c #Conflicts: 352000 | #Constraints: 77146
701.99/704.05 c #Conflicts: 353000 | #Constraints: 78146
701.99/704.05 c #Conflicts: 354000 | #Constraints: 79146
701.99/704.05 c #Conflicts: 355000 | #Constraints: 80146
701.99/704.05 c #Conflicts: 356000 | #Constraints: 81146
701.99/704.05 c #Conflicts: 357000 | #Constraints: 82146
701.99/704.05 c INPROCESSING
701.99/704.05 c GARBAGE COLLECT
701.99/704.05 c #Conflicts: 358000 | #Constraints: 71341
701.99/704.05 c #Conflicts: 359000 | #Constraints: 72341
701.99/704.05 c #Conflicts: 360000 | #Constraints: 73341
701.99/704.05 c #Conflicts: 361000 | #Constraints: 74341
701.99/704.05 c #Conflicts: 362000 | #Constraints: 75341
701.99/704.05 c #Conflicts: 363000 | #Constraints: 76341
701.99/704.05 c #Conflicts: 364000 | #Constraints: 77341
701.99/704.05 c #Conflicts: 365000 | #Constraints: 78341
701.99/704.05 c #Conflicts: 366000 | #Constraints: 79341
701.99/704.05 c #Conflicts: 367000 | #Constraints: 80341
701.99/704.05 c #Conflicts: 368000 | #Constraints: 81341
701.99/704.05 c #Conflicts: 369000 | #Constraints: 82341
701.99/704.05 c INPROCESSING
701.99/704.05 c GARBAGE COLLECT
701.99/704.05 c #Conflicts: 370000 | #Constraints: 71349
701.99/704.05 c #Conflicts: 371000 | #Constraints: 72349
701.99/704.05 c #Conflicts: 372000 | #Constraints: 73349
701.99/704.05 c #Conflicts: 373000 | #Constraints: 74349
701.99/704.05 c #Conflicts: 374000 | #Constraints: 75349
701.99/704.05 c #Conflicts: 375000 | #Constraints: 76349
701.99/704.05 c #Conflicts: 376000 | #Constraints: 77349
701.99/704.05 c #Conflicts: 377000 | #Constraints: 78349
701.99/704.05 c #Conflicts: 378000 | #Constraints: 79349
701.99/704.05 c #Conflicts: 379000 | #Constraints: 80349
701.99/704.05 c #Conflicts: 380000 | #Constraints: 81349
701.99/704.05 c #Conflicts: 381000 | #Constraints: 82349
701.99/704.05 c INPROCESSING
701.99/704.05 c GARBAGE COLLECT
701.99/704.05 c #Conflicts: 382000 | #Constraints: 71145
701.99/704.05 c #Conflicts: 383000 | #Constraints: 72145
701.99/704.05 c #Conflicts: 384000 | #Constraints: 73145
701.99/704.05 c #Conflicts: 385000 | #Constraints: 74145
701.99/704.05 c #Conflicts: 386000 | #Constraints: 75145
701.99/704.05 c #Conflicts: 387000 | #Constraints: 76145
701.99/704.05 c #Conflicts: 388000 | #Constraints: 77145
701.99/704.05 c #Conflicts: 389000 | #Constraints: 78145
701.99/704.05 c #Conflicts: 390000 | #Constraints: 79145
701.99/704.05 c #Conflicts: 391000 | #Constraints: 80145
701.99/704.05 c #Conflicts: 392000 | #Constraints: 81145
701.99/704.05 c #Conflicts: 393000 | #Constraints: 82145
701.99/704.05 c #Conflicts: 394000 | #Constraints: 83145
701.99/704.05 c INPROCESSING
701.99/704.05 c GARBAGE COLLECT
701.99/704.05 c #Conflicts: 395000 | #Constraints: 71756
701.99/704.05 c #Conflicts: 396000 | #Constraints: 72756
701.99/704.05 c #Conflicts: 397000 | #Constraints: 73756
701.99/704.05 c #Conflicts: 398000 | #Constraints: 74756
701.99/704.05 c #Conflicts: 399000 | #Constraints: 75756
701.99/704.05 c #Conflicts: 400000 | #Constraints: 76756
701.99/704.05 c #Conflicts: 401000 | #Constraints: 77756
701.99/704.05 c #Conflicts: 402000 | #Constraints: 78756
701.99/704.05 c #Conflicts: 403000 | #Constraints: 79756
701.99/704.05 c #Conflicts: 404000 | #Constraints: 80756
701.99/704.05 c #Conflicts: 405000 | #Constraints: 81756
701.99/704.05 c #Conflicts: 406000 | #Constraints: 82756
701.99/704.05 c #Conflicts: 407000 | #Constraints: 83756
701.99/704.05 c INPROCESSING
701.99/704.05 c GARBAGE COLLECT
701.99/704.05 c #Conflicts: 408000 | #Constraints: 72166
701.99/704.05 c #Conflicts: 409000 | #Constraints: 73166
701.99/704.05 c #Conflicts: 410000 | #Constraints: 74166
701.99/704.05 c #Conflicts: 411000 | #Constraints: 75166
701.99/704.05 c #Conflicts: 412000 | #Constraints: 76166
701.99/704.05 c #Conflicts: 413000 | #Constraints: 77166
701.99/704.05 c #Conflicts: 414000 | #Constraints: 78166
701.99/704.05 c #Conflicts: 415000 | #Constraints: 79166
701.99/704.05 c #Conflicts: 416000 | #Constraints: 80166
701.99/704.05 c #Conflicts: 417000 | #Constraints: 81166
701.99/704.05 c #Conflicts: 418000 | #Constraints: 82166
701.99/704.05 c #Conflicts: 419000 | #Constraints: 83166
701.99/704.05 c #Conflicts: 420000 | #Constraints: 84166
701.99/704.05 c INPROCESSING
701.99/704.05 c GARBAGE COLLECT
701.99/704.05 c #Conflicts: 421000 | #Constraints: 72343
701.99/704.05 c #Conflicts: 422000 | #Constraints: 73343
701.99/704.05 c #Conflicts: 423000 | #Constraints: 74343
701.99/704.05 c #Conflicts: 424000 | #Constraints: 75343
701.99/704.05 c #Conflicts: 425000 | #Constraints: 76343
701.99/704.05 c #Conflicts: 426000 | #Constraints: 77343
701.99/704.05 c #Conflicts: 427000 | #Constraints: 78343
804.31/806.66 c #Conflicts: 428000 | #Constraints: 79343
804.31/806.66 c #Conflicts: 429000 | #Constraints: 80343
804.31/806.66 c #Conflicts: 430000 | #Constraints: 81343
804.31/806.66 c #Conflicts: 431000 | #Constraints: 82343
804.31/806.66 c #Conflicts: 432000 | #Constraints: 83343
804.31/806.66 c #Conflicts: 433000 | #Constraints: 84343
804.31/806.66 c INPROCESSING
804.31/806.66 c GARBAGE COLLECT
804.31/806.66 c #Conflicts: 434000 | #Constraints: 72353
804.31/806.66 c #Conflicts: 435000 | #Constraints: 73353
804.31/806.66 c #Conflicts: 436000 | #Constraints: 74353
804.31/806.66 c #Conflicts: 437000 | #Constraints: 75353
804.31/806.66 c #Conflicts: 438000 | #Constraints: 76353
804.31/806.66 c #Conflicts: 439000 | #Constraints: 77353
804.31/806.66 c #Conflicts: 440000 | #Constraints: 78353
804.31/806.66 c #Conflicts: 441000 | #Constraints: 79353
804.31/806.66 c #Conflicts: 442000 | #Constraints: 80353
804.31/806.66 c #Conflicts: 443000 | #Constraints: 81353
804.31/806.66 c #Conflicts: 444000 | #Constraints: 82353
804.31/806.66 c #Conflicts: 445000 | #Constraints: 83353
804.31/806.66 c #Conflicts: 446000 | #Constraints: 84353
804.31/806.66 c INPROCESSING
804.31/806.66 c GARBAGE COLLECT
804.31/806.66 c #Conflicts: 447000 | #Constraints: 72186
804.31/806.66 c #Conflicts: 448000 | #Constraints: 73186
804.31/806.66 c #Conflicts: 449000 | #Constraints: 74186
804.31/806.66 c #Conflicts: 450000 | #Constraints: 75186
804.31/806.66 c #Conflicts: 451000 | #Constraints: 76186
804.31/806.66 c #Conflicts: 452000 | #Constraints: 77186
804.31/806.66 c #Conflicts: 453000 | #Constraints: 78186
804.31/806.66 c #Conflicts: 454000 | #Constraints: 79186
804.31/806.66 c #Conflicts: 455000 | #Constraints: 80186
804.31/806.66 c #Conflicts: 456000 | #Constraints: 81186
804.31/806.66 c #Conflicts: 457000 | #Constraints: 82186
804.31/806.66 c #Conflicts: 458000 | #Constraints: 83186
804.31/806.66 c #Conflicts: 459000 | #Constraints: 84186
804.31/806.66 c #Conflicts: 460000 | #Constraints: 85186
804.31/806.66 c INPROCESSING
804.31/806.66 c GARBAGE COLLECT
804.31/806.66 c #Conflicts: 461000 | #Constraints: 72791
804.31/806.66 c #Conflicts: 462000 | #Constraints: 73791
804.31/806.66 c #Conflicts: 463000 | #Constraints: 74791
804.31/806.66 c #Conflicts: 464000 | #Constraints: 75791
804.31/806.66 c #Conflicts: 465000 | #Constraints: 76791
804.31/806.66 c #Conflicts: 466000 | #Constraints: 77791
804.31/806.66 c #Conflicts: 467000 | #Constraints: 78791
804.31/806.66 c #Conflicts: 468000 | #Constraints: 79791
804.31/806.66 c #Conflicts: 469000 | #Constraints: 80791
804.31/806.66 c #Conflicts: 470000 | #Constraints: 81791
804.31/806.66 c #Conflicts: 471000 | #Constraints: 82791
804.31/806.66 c #Conflicts: 472000 | #Constraints: 83791
804.31/806.66 c #Conflicts: 473000 | #Constraints: 84791
804.31/806.66 c #Conflicts: 474000 | #Constraints: 85791
804.31/806.66 c INPROCESSING
804.31/806.66 c GARBAGE COLLECT
804.31/806.66 c #Conflicts: 475000 | #Constraints: 73174
804.31/806.66 c #Conflicts: 476000 | #Constraints: 74174
804.31/806.66 c #Conflicts: 477000 | #Constraints: 75174
804.31/806.66 c #Conflicts: 478000 | #Constraints: 76174
804.31/806.66 c #Conflicts: 479000 | #Constraints: 77174
804.31/806.66 c #Conflicts: 480000 | #Constraints: 78174
804.31/806.66 c #Conflicts: 481000 | #Constraints: 79174
804.31/806.66 c #Conflicts: 482000 | #Constraints: 80174
804.31/806.66 c #Conflicts: 483000 | #Constraints: 81174
804.31/806.66 c #Conflicts: 484000 | #Constraints: 82174
804.31/806.66 c #Conflicts: 485000 | #Constraints: 83174
804.31/806.66 c #Conflicts: 486000 | #Constraints: 84174
804.31/806.66 c #Conflicts: 487000 | #Constraints: 85174
804.31/806.66 c #Conflicts: 488000 | #Constraints: 86174
804.31/806.66 c INPROCESSING
804.31/806.66 c GARBAGE COLLECT
804.31/806.66 c #Conflicts: 489000 | #Constraints: 73377
804.31/806.66 c #Conflicts: 490000 | #Constraints: 74377
804.31/806.66 c #Conflicts: 491000 | #Constraints: 75377
804.31/806.66 c #Conflicts: 492000 | #Constraints: 76377
804.31/806.66 c #Conflicts: 493000 | #Constraints: 77377
804.31/806.66 c #Conflicts: 494000 | #Constraints: 78377
804.31/806.66 c #Conflicts: 495000 | #Constraints: 79377
804.31/806.66 c #Conflicts: 496000 | #Constraints: 80377
804.31/806.66 c #Conflicts: 497000 | #Constraints: 81377
804.31/806.66 c #Conflicts: 498000 | #Constraints: 82377
804.31/806.66 c #Conflicts: 499000 | #Constraints: 83377
804.31/806.66 c #Conflicts: 500000 | #Constraints: 84377
804.31/806.66 c #Conflicts: 501000 | #Constraints: 85377
804.31/806.66 c #Conflicts: 502000 | #Constraints: 86377
804.31/806.66 c INPROCESSING
934.07/936.76 c GARBAGE COLLECT
934.07/936.76 c #Conflicts: 503000 | #Constraints: 73366
934.07/936.76 c #Conflicts: 504000 | #Constraints: 74366
934.07/936.76 c #Conflicts: 505000 | #Constraints: 75366
934.07/936.76 c #Conflicts: 506000 | #Constraints: 76366
934.07/936.76 c #Conflicts: 507000 | #Constraints: 77366
934.07/936.76 c #Conflicts: 508000 | #Constraints: 78366
934.07/936.76 c #Conflicts: 509000 | #Constraints: 79366
934.07/936.76 c #Conflicts: 510000 | #Constraints: 80366
934.07/936.76 c #Conflicts: 511000 | #Constraints: 81366
934.07/936.76 c #Conflicts: 512000 | #Constraints: 82366
934.07/936.76 c #Conflicts: 513000 | #Constraints: 83366
934.07/936.76 c #Conflicts: 514000 | #Constraints: 84366
934.07/936.76 c #Conflicts: 515000 | #Constraints: 85366
934.07/936.76 c #Conflicts: 516000 | #Constraints: 86366
934.07/936.76 c INPROCESSING
934.07/936.76 c GARBAGE COLLECT
934.07/936.76 c #Conflicts: 517000 | #Constraints: 73148
934.07/936.76 c #Conflicts: 518000 | #Constraints: 74148
934.07/936.76 c #Conflicts: 519000 | #Constraints: 75148
934.07/936.76 c #Conflicts: 520000 | #Constraints: 76148
934.07/936.76 c #Conflicts: 521000 | #Constraints: 77148
934.07/936.76 c #Conflicts: 522000 | #Constraints: 78148
934.07/936.76 c #Conflicts: 523000 | #Constraints: 79148
934.07/936.76 c #Conflicts: 524000 | #Constraints: 80148
934.07/936.76 c #Conflicts: 525000 | #Constraints: 81148
934.07/936.76 c #Conflicts: 526000 | #Constraints: 82148
934.07/936.76 c #Conflicts: 527000 | #Constraints: 83148
934.07/936.76 c #Conflicts: 528000 | #Constraints: 84148
934.07/936.76 c #Conflicts: 529000 | #Constraints: 85148
934.07/936.76 c #Conflicts: 530000 | #Constraints: 86148
934.07/936.76 c #Conflicts: 531000 | #Constraints: 87148
934.07/936.76 c INPROCESSING
934.07/936.76 c GARBAGE COLLECT
934.07/936.76 c #Conflicts: 532000 | #Constraints: 73761
934.07/936.76 c #Conflicts: 533000 | #Constraints: 74761
934.07/936.76 c #Conflicts: 534000 | #Constraints: 75761
934.07/936.76 c #Conflicts: 535000 | #Constraints: 76761
934.07/936.76 c #Conflicts: 536000 | #Constraints: 77761
934.07/936.76 c #Conflicts: 537000 | #Constraints: 78761
934.07/936.76 c #Conflicts: 538000 | #Constraints: 79761
934.07/936.76 c #Conflicts: 539000 | #Constraints: 80761
934.07/936.76 c #Conflicts: 540000 | #Constraints: 81761
934.07/936.76 c #Conflicts: 541000 | #Constraints: 82761
934.07/936.76 c #Conflicts: 542000 | #Constraints: 83761
934.07/936.76 c #Conflicts: 543000 | #Constraints: 84761
934.07/936.76 c #Conflicts: 544000 | #Constraints: 85761
934.07/936.76 c #Conflicts: 545000 | #Constraints: 86761
934.07/936.76 c #Conflicts: 546000 | #Constraints: 87761
934.07/936.76 c INPROCESSING
934.07/936.76 c GARBAGE COLLECT
934.07/936.76 c #Conflicts: 547000 | #Constraints: 74162
934.07/936.76 c #Conflicts: 548000 | #Constraints: 75162
934.07/936.76 c #Conflicts: 549000 | #Constraints: 76162
934.07/936.76 c #Conflicts: 550000 | #Constraints: 77162
934.07/936.76 c #Conflicts: 551000 | #Constraints: 78162
934.07/936.76 c #Conflicts: 552000 | #Constraints: 79162
934.07/936.76 c #Conflicts: 553000 | #Constraints: 80162
934.07/936.76 c #Conflicts: 554000 | #Constraints: 81162
934.07/936.76 c #Conflicts: 555000 | #Constraints: 82162
934.07/936.76 c #Conflicts: 556000 | #Constraints: 83162
934.07/936.76 c #Conflicts: 557000 | #Constraints: 84162
934.07/936.76 c #Conflicts: 558000 | #Constraints: 85162
934.07/936.76 c #Conflicts: 559000 | #Constraints: 86162
934.07/936.76 c #Conflicts: 560000 | #Constraints: 87162
934.07/936.76 c #Conflicts: 561000 | #Constraints: 88162
934.07/936.76 c INPROCESSING
934.07/936.76 c GARBAGE COLLECT
934.07/936.76 c #Conflicts: 562000 | #Constraints: 74367
934.07/936.76 c #Conflicts: 563000 | #Constraints: 75367
934.07/936.76 c #Conflicts: 564000 | #Constraints: 76367
934.07/936.76 c #Conflicts: 565000 | #Constraints: 77367
934.07/936.76 c #Conflicts: 566000 | #Constraints: 78367
934.07/936.76 c #Conflicts: 567000 | #Constraints: 79367
934.07/936.76 c #Conflicts: 568000 | #Constraints: 80367
934.07/936.76 c #Conflicts: 569000 | #Constraints: 81367
934.07/936.76 c #Conflicts: 570000 | #Constraints: 82367
934.07/936.76 c #Conflicts: 571000 | #Constraints: 83367
934.07/936.76 c #Conflicts: 572000 | #Constraints: 84367
934.07/936.76 c #Conflicts: 573000 | #Constraints: 85367
934.07/936.76 c #Conflicts: 574000 | #Constraints: 86367
934.07/936.76 c #Conflicts: 575000 | #Constraints: 87367
934.07/936.76 c #Conflicts: 576000 | #Constraints: 88367
934.07/936.76 c INPROCESSING
934.07/936.76 c GARBAGE COLLECT
934.07/936.76 c #Conflicts: 577000 | #Constraints: 74389
934.07/936.76 c #Conflicts: 578000 | #Constraints: 75389
1073.31/1076.31 c #Conflicts: 579000 | #Constraints: 76389
1073.31/1076.31 c #Conflicts: 580000 | #Constraints: 77389
1073.31/1076.31 c #Conflicts: 581000 | #Constraints: 78389
1073.31/1076.31 c #Conflicts: 582000 | #Constraints: 79389
1073.31/1076.31 c #Conflicts: 583000 | #Constraints: 80389
1073.31/1076.31 c #Conflicts: 584000 | #Constraints: 81389
1073.31/1076.31 c #Conflicts: 585000 | #Constraints: 82389
1073.31/1076.31 c #Conflicts: 586000 | #Constraints: 83389
1073.31/1076.31 c #Conflicts: 587000 | #Constraints: 84389
1073.31/1076.31 c #Conflicts: 588000 | #Constraints: 85389
1073.31/1076.31 c #Conflicts: 589000 | #Constraints: 86389
1073.31/1076.31 c #Conflicts: 590000 | #Constraints: 87389
1073.31/1076.31 c #Conflicts: 591000 | #Constraints: 88389
1073.31/1076.31 c INPROCESSING
1073.31/1076.31 c GARBAGE COLLECT
1073.31/1076.31 c #Conflicts: 592000 | #Constraints: 74174
1073.31/1076.31 c #Conflicts: 593000 | #Constraints: 75174
1073.31/1076.31 c #Conflicts: 594000 | #Constraints: 76174
1073.31/1076.31 c #Conflicts: 595000 | #Constraints: 77174
1073.31/1076.31 c #Conflicts: 596000 | #Constraints: 78174
1073.31/1076.31 c #Conflicts: 597000 | #Constraints: 79174
1073.31/1076.31 c #Conflicts: 598000 | #Constraints: 80174
1073.31/1076.31 c #Conflicts: 599000 | #Constraints: 81174
1073.31/1076.31 c #Conflicts: 600000 | #Constraints: 82174
1073.31/1076.31 c #Conflicts: 601000 | #Constraints: 83174
1073.31/1076.31 c #Conflicts: 602000 | #Constraints: 84174
1073.31/1076.31 c #Conflicts: 603000 | #Constraints: 85174
1073.31/1076.31 c #Conflicts: 604000 | #Constraints: 86174
1073.31/1076.31 c #Conflicts: 605000 | #Constraints: 87174
1073.31/1076.31 c #Conflicts: 606000 | #Constraints: 88174
1073.31/1076.31 c #Conflicts: 607000 | #Constraints: 89174
1073.31/1076.31 c INPROCESSING
1073.31/1076.31 c GARBAGE COLLECT
1073.31/1076.31 c #Conflicts: 608000 | #Constraints: 74768
1073.31/1076.31 c #Conflicts: 609000 | #Constraints: 75768
1073.31/1076.31 c #Conflicts: 610000 | #Constraints: 76768
1073.31/1076.31 c #Conflicts: 611000 | #Constraints: 77768
1073.31/1076.31 c #Conflicts: 612000 | #Constraints: 78768
1073.31/1076.31 c #Conflicts: 613000 | #Constraints: 79768
1073.31/1076.31 c #Conflicts: 614000 | #Constraints: 80768
1073.31/1076.31 c #Conflicts: 615000 | #Constraints: 81768
1073.31/1076.31 c #Conflicts: 616000 | #Constraints: 82768
1073.31/1076.31 c #Conflicts: 617000 | #Constraints: 83768
1073.31/1076.31 c #Conflicts: 618000 | #Constraints: 84768
1073.31/1076.31 c #Conflicts: 619000 | #Constraints: 85768
1073.31/1076.31 c #Conflicts: 620000 | #Constraints: 86768
1073.31/1076.31 c #Conflicts: 621000 | #Constraints: 87768
1073.31/1076.31 c #Conflicts: 622000 | #Constraints: 88768
1073.31/1076.31 c #Conflicts: 623000 | #Constraints: 89768
1073.31/1076.31 c INPROCESSING
1073.31/1076.31 c GARBAGE COLLECT
1073.31/1076.31 c #Conflicts: 624000 | #Constraints: 75179
1073.31/1076.31 c #Conflicts: 625000 | #Constraints: 76179
1073.31/1076.31 c #Conflicts: 626000 | #Constraints: 77179
1073.31/1076.31 c #Conflicts: 627000 | #Constraints: 78179
1073.31/1076.31 c #Conflicts: 628000 | #Constraints: 79179
1073.31/1076.31 c #Conflicts: 629000 | #Constraints: 80179
1073.31/1076.31 c #Conflicts: 630000 | #Constraints: 81179
1073.31/1076.31 c #Conflicts: 631000 | #Constraints: 82179
1073.31/1076.31 c #Conflicts: 632000 | #Constraints: 83179
1073.31/1076.31 c #Conflicts: 633000 | #Constraints: 84179
1073.31/1076.31 c #Conflicts: 634000 | #Constraints: 85179
1073.31/1076.31 c #Conflicts: 635000 | #Constraints: 86179
1073.31/1076.31 c #Conflicts: 636000 | #Constraints: 87179
1073.31/1076.31 c #Conflicts: 637000 | #Constraints: 88179
1073.31/1076.31 c #Conflicts: 638000 | #Constraints: 89179
1073.31/1076.31 c #Conflicts: 639000 | #Constraints: 90179
1073.31/1076.31 c INPROCESSING
1073.31/1076.31 c GARBAGE COLLECT
1073.31/1076.31 c #Conflicts: 640000 | #Constraints: 75372
1073.31/1076.31 c #Conflicts: 641000 | #Constraints: 76372
1073.31/1076.31 c #Conflicts: 642000 | #Constraints: 77372
1073.31/1076.31 c #Conflicts: 643000 | #Constraints: 78372
1073.31/1076.31 c #Conflicts: 644000 | #Constraints: 79372
1073.31/1076.31 c #Conflicts: 645000 | #Constraints: 80372
1073.31/1076.31 c #Conflicts: 646000 | #Constraints: 81372
1073.31/1076.31 c #Conflicts: 647000 | #Constraints: 82372
1073.31/1076.31 c #Conflicts: 648000 | #Constraints: 83372
1073.31/1076.31 c #Conflicts: 649000 | #Constraints: 84372
1073.31/1076.31 c #Conflicts: 650000 | #Constraints: 85372
1073.31/1076.31 c #Conflicts: 651000 | #Constraints: 86372
1073.31/1076.31 c #Conflicts: 652000 | #Constraints: 87372
1073.31/1076.31 c #Conflicts: 653000 | #Constraints: 88372
1073.31/1076.31 c #Conflicts: 654000 | #Constraints: 89372
1208.35/1211.74 c #Conflicts: 655000 | #Constraints: 90372
1208.35/1211.74 c INPROCESSING
1208.35/1211.74 c GARBAGE COLLECT
1208.35/1211.74 c #Conflicts: 656000 | #Constraints: 75384
1208.35/1211.74 c #Conflicts: 657000 | #Constraints: 76384
1208.35/1211.74 c #Conflicts: 658000 | #Constraints: 77384
1208.35/1211.74 c #Conflicts: 659000 | #Constraints: 78384
1208.35/1211.74 c #Conflicts: 660000 | #Constraints: 79384
1208.35/1211.74 c #Conflicts: 661000 | #Constraints: 80384
1208.35/1211.74 c #Conflicts: 662000 | #Constraints: 81384
1208.35/1211.74 c #Conflicts: 663000 | #Constraints: 82384
1208.35/1211.74 c #Conflicts: 664000 | #Constraints: 83384
1208.35/1211.74 c #Conflicts: 665000 | #Constraints: 84384
1208.35/1211.74 c #Conflicts: 666000 | #Constraints: 85384
1208.35/1211.74 c #Conflicts: 667000 | #Constraints: 86384
1208.35/1211.74 c #Conflicts: 668000 | #Constraints: 87384
1208.35/1211.74 c #Conflicts: 669000 | #Constraints: 88384
1208.35/1211.74 c #Conflicts: 670000 | #Constraints: 89384
1208.35/1211.74 c #Conflicts: 671000 | #Constraints: 90384
1208.35/1211.74 c INPROCESSING
1208.35/1211.74 c GARBAGE COLLECT
1208.35/1211.74 c #Conflicts: 672000 | #Constraints: 75178
1208.35/1211.74 c #Conflicts: 673000 | #Constraints: 76178
1208.35/1211.74 c #Conflicts: 674000 | #Constraints: 77178
1208.35/1211.74 c #Conflicts: 675000 | #Constraints: 78178
1208.35/1211.74 c #Conflicts: 676000 | #Constraints: 79178
1208.35/1211.74 c #Conflicts: 677000 | #Constraints: 80178
1208.35/1211.74 c #Conflicts: 678000 | #Constraints: 81178
1208.35/1211.74 c #Conflicts: 679000 | #Constraints: 82178
1208.35/1211.74 c #Conflicts: 680000 | #Constraints: 83178
1208.35/1211.74 c #Conflicts: 681000 | #Constraints: 84178
1208.35/1211.74 c #Conflicts: 682000 | #Constraints: 85178
1208.35/1211.74 c #Conflicts: 683000 | #Constraints: 86178
1208.35/1211.74 c #Conflicts: 684000 | #Constraints: 87178
1208.35/1211.74 c #Conflicts: 685000 | #Constraints: 88178
1208.35/1211.74 c #Conflicts: 686000 | #Constraints: 89178
1208.35/1211.74 c #Conflicts: 687000 | #Constraints: 90178
1208.35/1211.74 c #Conflicts: 688000 | #Constraints: 91178
1208.35/1211.74 c INPROCESSING
1208.35/1211.74 c GARBAGE COLLECT
1208.35/1211.74 c #Conflicts: 689000 | #Constraints: 75779
1208.35/1211.74 c #Conflicts: 690000 | #Constraints: 76779
1208.35/1211.74 c #Conflicts: 691000 | #Constraints: 77779
1208.35/1211.74 c #Conflicts: 692000 | #Constraints: 78779
1208.35/1211.74 c #Conflicts: 693000 | #Constraints: 79779
1208.35/1211.74 c #Conflicts: 694000 | #Constraints: 80779
1208.35/1211.74 c #Conflicts: 695000 | #Constraints: 81779
1208.35/1211.74 c #Conflicts: 696000 | #Constraints: 82779
1208.35/1211.74 c #Conflicts: 697000 | #Constraints: 83779
1208.35/1211.74 c #Conflicts: 698000 | #Constraints: 84779
1208.35/1211.74 c #Conflicts: 699000 | #Constraints: 85779
1208.35/1211.74 c #Conflicts: 700000 | #Constraints: 86779
1208.35/1211.74 c #Conflicts: 701000 | #Constraints: 87779
1208.35/1211.74 c #Conflicts: 702000 | #Constraints: 88779
1208.35/1211.74 c #Conflicts: 703000 | #Constraints: 89779
1208.35/1211.74 c #Conflicts: 704000 | #Constraints: 90779
1208.35/1211.74 c #Conflicts: 705000 | #Constraints: 91779
1208.35/1211.74 c INPROCESSING
1208.35/1211.74 c GARBAGE COLLECT
1208.35/1211.74 c #Conflicts: 706000 | #Constraints: 76185
1208.35/1211.74 c #Conflicts: 707000 | #Constraints: 77185
1208.35/1211.74 c #Conflicts: 708000 | #Constraints: 78185
1208.35/1211.74 c #Conflicts: 709000 | #Constraints: 79185
1208.35/1211.74 c #Conflicts: 710000 | #Constraints: 80185
1208.35/1211.74 c #Conflicts: 711000 | #Constraints: 81185
1208.35/1211.74 c #Conflicts: 712000 | #Constraints: 82185
1208.35/1211.74 c #Conflicts: 713000 | #Constraints: 83185
1208.35/1211.74 c #Conflicts: 714000 | #Constraints: 84185
1208.35/1211.74 c #Conflicts: 715000 | #Constraints: 85185
1208.35/1211.74 c #Conflicts: 716000 | #Constraints: 86185
1208.35/1211.74 c #Conflicts: 717000 | #Constraints: 87185
1208.35/1211.74 c #Conflicts: 718000 | #Constraints: 88185
1208.35/1211.74 c #Conflicts: 719000 | #Constraints: 89185
1208.35/1211.74 c #Conflicts: 720000 | #Constraints: 90185
1208.35/1211.74 c #Conflicts: 721000 | #Constraints: 91185
1208.35/1211.74 c #Conflicts: 722000 | #Constraints: 92185
1208.35/1211.74 c INPROCESSING
1208.35/1211.74 c GARBAGE COLLECT
1208.35/1211.74 c #Conflicts: 723000 | #Constraints: 76369
1208.35/1211.74 c #Conflicts: 724000 | #Constraints: 77369
1208.35/1211.74 c #Conflicts: 725000 | #Constraints: 78369
1208.35/1211.74 c #Conflicts: 726000 | #Constraints: 79369
1208.35/1211.74 c #Conflicts: 727000 | #Constraints: 80369
1208.35/1211.74 c #Conflicts: 728000 | #Constraints: 81369
1208.35/1211.74 c #Conflicts: 729000 | #Constraints: 82369
1367.74/1371.50 c #Conflicts: 730000 | #Constraints: 83369
1367.74/1371.50 c #Conflicts: 731000 | #Constraints: 84369
1367.74/1371.50 c #Conflicts: 732000 | #Constraints: 85369
1367.74/1371.50 c #Conflicts: 733000 | #Constraints: 86369
1367.74/1371.50 c #Conflicts: 734000 | #Constraints: 87369
1367.74/1371.50 c #Conflicts: 735000 | #Constraints: 88369
1367.74/1371.50 c #Conflicts: 736000 | #Constraints: 89369
1367.74/1371.50 c #Conflicts: 737000 | #Constraints: 90369
1367.74/1371.50 c #Conflicts: 738000 | #Constraints: 91369
1367.74/1371.50 c #Conflicts: 739000 | #Constraints: 92369
1367.74/1371.50 c INPROCESSING
1367.74/1371.50 c GARBAGE COLLECT
1367.74/1371.50 c #Conflicts: 740000 | #Constraints: 76378
1367.74/1371.50 c #Conflicts: 741000 | #Constraints: 77378
1367.74/1371.50 c #Conflicts: 742000 | #Constraints: 78378
1367.74/1371.50 c #Conflicts: 743000 | #Constraints: 79378
1367.74/1371.50 c #Conflicts: 744000 | #Constraints: 80378
1367.74/1371.50 c #Conflicts: 745000 | #Constraints: 81378
1367.74/1371.50 c #Conflicts: 746000 | #Constraints: 82378
1367.74/1371.50 c #Conflicts: 747000 | #Constraints: 83378
1367.74/1371.50 c #Conflicts: 748000 | #Constraints: 84378
1367.74/1371.50 c #Conflicts: 749000 | #Constraints: 85378
1367.74/1371.50 c #Conflicts: 750000 | #Constraints: 86378
1367.74/1371.50 c #Conflicts: 751000 | #Constraints: 87378
1367.74/1371.50 c #Conflicts: 752000 | #Constraints: 88378
1367.74/1371.50 c #Conflicts: 753000 | #Constraints: 89378
1367.74/1371.50 c #Conflicts: 754000 | #Constraints: 90378
1367.74/1371.50 c #Conflicts: 755000 | #Constraints: 91378
1367.74/1371.50 c #Conflicts: 756000 | #Constraints: 92378
1367.74/1371.50 c INPROCESSING
1367.74/1371.50 c GARBAGE COLLECT
1367.74/1371.50 c #Conflicts: 757000 | #Constraints: 76168
1367.74/1371.50 c #Conflicts: 758000 | #Constraints: 77168
1367.74/1371.50 c #Conflicts: 759000 | #Constraints: 78168
1367.74/1371.50 c #Conflicts: 760000 | #Constraints: 79168
1367.74/1371.50 c #Conflicts: 761000 | #Constraints: 80168
1367.74/1371.50 c #Conflicts: 762000 | #Constraints: 81168
1367.74/1371.50 c #Conflicts: 763000 | #Constraints: 82168
1367.74/1371.50 c #Conflicts: 764000 | #Constraints: 83168
1367.74/1371.50 c #Conflicts: 765000 | #Constraints: 84168
1367.74/1371.50 c #Conflicts: 766000 | #Constraints: 85168
1367.74/1371.50 c #Conflicts: 767000 | #Constraints: 86168
1367.74/1371.50 c #Conflicts: 768000 | #Constraints: 87168
1367.74/1371.50 c #Conflicts: 769000 | #Constraints: 88168
1367.74/1371.50 c #Conflicts: 770000 | #Constraints: 89168
1367.74/1371.50 c #Conflicts: 771000 | #Constraints: 90168
1367.74/1371.50 c #Conflicts: 772000 | #Constraints: 91168
1367.74/1371.50 c #Conflicts: 773000 | #Constraints: 92168
1367.74/1371.50 c #Conflicts: 774000 | #Constraints: 93168
1367.74/1371.50 c INPROCESSING
1367.74/1371.50 c GARBAGE COLLECT
1367.74/1371.50 c #Conflicts: 775000 | #Constraints: 76793
1367.74/1371.50 c #Conflicts: 776000 | #Constraints: 77793
1367.74/1371.50 c #Conflicts: 777000 | #Constraints: 78793
1367.74/1371.50 c #Conflicts: 778000 | #Constraints: 79793
1367.74/1371.50 c #Conflicts: 779000 | #Constraints: 80793
1367.74/1371.50 c #Conflicts: 780000 | #Constraints: 81793
1367.74/1371.50 c #Conflicts: 781000 | #Constraints: 82793
1367.74/1371.50 c #Conflicts: 782000 | #Constraints: 83793
1367.74/1371.50 c #Conflicts: 783000 | #Constraints: 84793
1367.74/1371.50 c #Conflicts: 784000 | #Constraints: 85793
1367.74/1371.50 c #Conflicts: 785000 | #Constraints: 86793
1367.74/1371.50 c #Conflicts: 786000 | #Constraints: 87793
1367.74/1371.50 c #Conflicts: 787000 | #Constraints: 88793
1367.74/1371.50 c #Conflicts: 788000 | #Constraints: 89793
1367.74/1371.50 c #Conflicts: 789000 | #Constraints: 90793
1367.74/1371.50 c #Conflicts: 790000 | #Constraints: 91793
1367.74/1371.50 c #Conflicts: 791000 | #Constraints: 92793
1367.74/1371.50 c #Conflicts: 792000 | #Constraints: 93793
1367.74/1371.50 c INPROCESSING
1367.74/1371.50 c GARBAGE COLLECT
1367.74/1371.50 c #Conflicts: 793000 | #Constraints: 77179
1367.74/1371.50 c #Conflicts: 794000 | #Constraints: 78179
1367.74/1371.50 c #Conflicts: 795000 | #Constraints: 79179
1367.74/1371.50 c #Conflicts: 796000 | #Constraints: 80179
1367.74/1371.50 c #Conflicts: 797000 | #Constraints: 81179
1367.74/1371.50 c #Conflicts: 798000 | #Constraints: 82179
1367.74/1371.50 c #Conflicts: 799000 | #Constraints: 83179
1367.74/1371.50 c #Conflicts: 800000 | #Constraints: 84179
1367.74/1371.50 c #Conflicts: 801000 | #Constraints: 85179
1367.74/1371.50 c #Conflicts: 802000 | #Constraints: 86179
1367.74/1371.50 c #Conflicts: 803000 | #Constraints: 87179
1367.74/1371.50 c #Conflicts: 804000 | #Constraints: 88179
1367.74/1371.50 c #Conflicts: 805000 | #Constraints: 89179
1367.74/1371.50 c #Conflicts: 806000 | #Constraints: 90179
1533.82/1538.09 c #Conflicts: 807000 | #Constraints: 91179
1533.82/1538.09 c #Conflicts: 808000 | #Constraints: 92179
1533.82/1538.09 c #Conflicts: 809000 | #Constraints: 93179
1533.82/1538.09 c #Conflicts: 810000 | #Constraints: 94179
1533.82/1538.09 c INPROCESSING
1533.82/1538.09 c GARBAGE COLLECT
1533.82/1538.09 c #Conflicts: 811000 | #Constraints: 77414
1533.82/1538.09 c #Conflicts: 812000 | #Constraints: 78414
1533.82/1538.09 c #Conflicts: 813000 | #Constraints: 79414
1533.82/1538.09 c #Conflicts: 814000 | #Constraints: 80414
1533.82/1538.09 c #Conflicts: 815000 | #Constraints: 81414
1533.82/1538.09 c #Conflicts: 816000 | #Constraints: 82414
1533.82/1538.09 c #Conflicts: 817000 | #Constraints: 83414
1533.82/1538.09 c #Conflicts: 818000 | #Constraints: 84414
1533.82/1538.09 c #Conflicts: 819000 | #Constraints: 85414
1533.82/1538.09 c #Conflicts: 820000 | #Constraints: 86414
1533.82/1538.09 c #Conflicts: 821000 | #Constraints: 87414
1533.82/1538.09 c #Conflicts: 822000 | #Constraints: 88414
1533.82/1538.09 c #Conflicts: 823000 | #Constraints: 89414
1533.82/1538.09 c #Conflicts: 824000 | #Constraints: 90414
1533.82/1538.09 c #Conflicts: 825000 | #Constraints: 91414
1533.82/1538.09 c #Conflicts: 826000 | #Constraints: 92414
1533.82/1538.09 c #Conflicts: 827000 | #Constraints: 93414
1533.82/1538.09 c #Conflicts: 828000 | #Constraints: 94414
1533.82/1538.09 c INPROCESSING
1533.82/1538.09 c GARBAGE COLLECT
1533.82/1538.09 c #Conflicts: 829000 | #Constraints: 77388
1533.82/1538.09 c #Conflicts: 830000 | #Constraints: 78388
1533.82/1538.09 c #Conflicts: 831000 | #Constraints: 79388
1533.82/1538.09 c #Conflicts: 832000 | #Constraints: 80388
1533.82/1538.09 c #Conflicts: 833000 | #Constraints: 81388
1533.82/1538.09 c #Conflicts: 834000 | #Constraints: 82388
1533.82/1538.09 c #Conflicts: 835000 | #Constraints: 83388
1533.82/1538.09 c #Conflicts: 836000 | #Constraints: 84388
1533.82/1538.09 c #Conflicts: 837000 | #Constraints: 85388
1533.82/1538.09 c #Conflicts: 838000 | #Constraints: 86388
1533.82/1538.09 c #Conflicts: 839000 | #Constraints: 87388
1533.82/1538.09 c #Conflicts: 840000 | #Constraints: 88388
1533.82/1538.09 c #Conflicts: 841000 | #Constraints: 89388
1533.82/1538.09 c #Conflicts: 842000 | #Constraints: 90388
1533.82/1538.09 c #Conflicts: 843000 | #Constraints: 91388
1533.82/1538.09 c #Conflicts: 844000 | #Constraints: 92388
1533.82/1538.09 c #Conflicts: 845000 | #Constraints: 93388
1533.82/1538.09 c #Conflicts: 846000 | #Constraints: 94388
1533.82/1538.09 c INPROCESSING
1533.82/1538.09 c GARBAGE COLLECT
1533.82/1538.09 c #Conflicts: 847000 | #Constraints: 77218
1533.82/1538.09 c #Conflicts: 848000 | #Constraints: 78218
1533.82/1538.09 c #Conflicts: 849000 | #Constraints: 79218
1533.82/1538.09 c #Conflicts: 850000 | #Constraints: 80218
1533.82/1538.09 c #Conflicts: 851000 | #Constraints: 81218
1533.82/1538.09 c #Conflicts: 852000 | #Constraints: 82218
1533.82/1538.09 c #Conflicts: 853000 | #Constraints: 83218
1533.82/1538.09 c #Conflicts: 854000 | #Constraints: 84218
1533.82/1538.09 c #Conflicts: 855000 | #Constraints: 85218
1533.82/1538.09 c #Conflicts: 856000 | #Constraints: 86218
1533.82/1538.09 c #Conflicts: 857000 | #Constraints: 87218
1533.82/1538.09 c #Conflicts: 858000 | #Constraints: 88218
1533.82/1538.09 c #Conflicts: 859000 | #Constraints: 89218
1533.82/1538.09 c #Conflicts: 860000 | #Constraints: 90218
1533.82/1538.09 c #Conflicts: 861000 | #Constraints: 91218
1533.82/1538.09 c #Conflicts: 862000 | #Constraints: 92218
1533.82/1538.09 c #Conflicts: 863000 | #Constraints: 93218
1533.82/1538.09 c #Conflicts: 864000 | #Constraints: 94218
1533.82/1538.09 c #Conflicts: 865000 | #Constraints: 95218
1533.82/1538.09 c INPROCESSING
1533.82/1538.09 c GARBAGE COLLECT
1533.82/1538.09 c #Conflicts: 866000 | #Constraints: 77802
1533.82/1538.09 c #Conflicts: 867000 | #Constraints: 78802
1533.82/1538.09 c #Conflicts: 868000 | #Constraints: 79802
1533.82/1538.09 c #Conflicts: 869000 | #Constraints: 80802
1533.82/1538.09 c #Conflicts: 870000 | #Constraints: 81802
1533.82/1538.09 c #Conflicts: 871000 | #Constraints: 82802
1533.82/1538.09 c #Conflicts: 872000 | #Constraints: 83802
1533.82/1538.09 c #Conflicts: 873000 | #Constraints: 84802
1533.82/1538.09 c #Conflicts: 874000 | #Constraints: 85802
1533.82/1538.09 c #Conflicts: 875000 | #Constraints: 86802
1533.82/1538.09 c #Conflicts: 876000 | #Constraints: 87802
1533.82/1538.09 c #Conflicts: 877000 | #Constraints: 88802
1533.82/1538.09 c #Conflicts: 878000 | #Constraints: 89802
1533.82/1538.09 c #Conflicts: 879000 | #Constraints: 90802
1533.82/1538.09 c #Conflicts: 880000 | #Constraints: 91802
1533.82/1538.09 c #Conflicts: 881000 | #Constraints: 92802
1533.82/1538.09 c #Conflicts: 882000 | #Constraints: 93802
1704.28/1708.95 c #Conflicts: 883000 | #Constraints: 94802
1704.28/1708.95 c #Conflicts: 884000 | #Constraints: 95802
1704.28/1708.95 c INPROCESSING
1704.28/1708.95 c GARBAGE COLLECT
1704.28/1708.95 c #Conflicts: 885000 | #Constraints: 78180
1704.28/1708.95 c #Conflicts: 886000 | #Constraints: 79180
1704.28/1708.95 c #Conflicts: 887000 | #Constraints: 80180
1704.28/1708.95 c #Conflicts: 888000 | #Constraints: 81180
1704.28/1708.95 c #Conflicts: 889000 | #Constraints: 82180
1704.28/1708.95 c #Conflicts: 890000 | #Constraints: 83180
1704.28/1708.95 c #Conflicts: 891000 | #Constraints: 84180
1704.28/1708.95 c #Conflicts: 892000 | #Constraints: 85180
1704.28/1708.95 c #Conflicts: 893000 | #Constraints: 86180
1704.28/1708.95 c #Conflicts: 894000 | #Constraints: 87180
1704.28/1708.95 c #Conflicts: 895000 | #Constraints: 88180
1704.28/1708.95 c #Conflicts: 896000 | #Constraints: 89180
1704.28/1708.95 c #Conflicts: 897000 | #Constraints: 90180
1704.28/1708.95 c #Conflicts: 898000 | #Constraints: 91180
1704.28/1708.95 c #Conflicts: 899000 | #Constraints: 92180
1704.28/1708.95 c #Conflicts: 900000 | #Constraints: 93180
1704.28/1708.95 c #Conflicts: 901000 | #Constraints: 94180
1704.28/1708.95 c #Conflicts: 902000 | #Constraints: 95180
1704.28/1708.95 c #Conflicts: 903000 | #Constraints: 96180
1704.28/1708.95 c INPROCESSING
1704.28/1708.95 c GARBAGE COLLECT
1704.28/1708.95 c #Conflicts: 904000 | #Constraints: 78389
1704.28/1708.95 c #Conflicts: 905000 | #Constraints: 79389
1704.28/1708.95 c #Conflicts: 906000 | #Constraints: 80389
1704.28/1708.95 c #Conflicts: 907000 | #Constraints: 81389
1704.28/1708.95 c #Conflicts: 908000 | #Constraints: 82389
1704.28/1708.95 c #Conflicts: 909000 | #Constraints: 83389
1704.28/1708.95 c #Conflicts: 910000 | #Constraints: 84389
1704.28/1708.95 c #Conflicts: 911000 | #Constraints: 85389
1704.28/1708.95 c #Conflicts: 912000 | #Constraints: 86389
1704.28/1708.95 c #Conflicts: 913000 | #Constraints: 87389
1704.28/1708.95 c #Conflicts: 914000 | #Constraints: 88389
1704.28/1708.95 c #Conflicts: 915000 | #Constraints: 89389
1704.28/1708.95 c #Conflicts: 916000 | #Constraints: 90389
1704.28/1708.95 c #Conflicts: 917000 | #Constraints: 91389
1704.28/1708.95 c #Conflicts: 918000 | #Constraints: 92389
1704.28/1708.95 c #Conflicts: 919000 | #Constraints: 93389
1704.28/1708.95 c #Conflicts: 920000 | #Constraints: 94389
1704.28/1708.95 c #Conflicts: 921000 | #Constraints: 95389
1704.28/1708.95 c #Conflicts: 922000 | #Constraints: 96389
1704.28/1708.95 c INPROCESSING
1704.28/1708.95 c GARBAGE COLLECT
1704.28/1708.95 c #Conflicts: 923000 | #Constraints: 78401
1704.28/1708.95 c #Conflicts: 924000 | #Constraints: 79401
1704.28/1708.95 c #Conflicts: 925000 | #Constraints: 80401
1704.28/1708.95 c #Conflicts: 926000 | #Constraints: 81401
1704.28/1708.95 c #Conflicts: 927000 | #Constraints: 82401
1704.28/1708.95 c #Conflicts: 928000 | #Constraints: 83401
1704.28/1708.95 c #Conflicts: 929000 | #Constraints: 84401
1704.28/1708.95 c #Conflicts: 930000 | #Constraints: 85401
1704.28/1708.95 c #Conflicts: 931000 | #Constraints: 86401
1704.28/1708.95 c #Conflicts: 932000 | #Constraints: 87401
1704.28/1708.95 c #Conflicts: 933000 | #Constraints: 88401
1704.28/1708.95 c #Conflicts: 934000 | #Constraints: 89401
1704.28/1708.95 c #Conflicts: 935000 | #Constraints: 90401
1704.28/1708.95 c #Conflicts: 936000 | #Constraints: 91401
1704.28/1708.95 c #Conflicts: 937000 | #Constraints: 92401
1704.28/1708.95 c #Conflicts: 938000 | #Constraints: 93401
1704.28/1708.95 c #Conflicts: 939000 | #Constraints: 94401
1704.28/1708.95 c #Conflicts: 940000 | #Constraints: 95401
1704.28/1708.95 c #Conflicts: 941000 | #Constraints: 96401
1704.28/1708.95 c INPROCESSING
1704.28/1708.95 c GARBAGE COLLECT
1704.28/1708.95 c #Conflicts: 942000 | #Constraints: 78206
1704.28/1708.95 c #Conflicts: 943000 | #Constraints: 79206
1704.28/1708.95 c #Conflicts: 944000 | #Constraints: 80206
1704.28/1708.95 c #Conflicts: 945000 | #Constraints: 81206
1704.28/1708.95 c #Conflicts: 946000 | #Constraints: 82206
1704.28/1708.95 c #Conflicts: 947000 | #Constraints: 83206
1704.28/1708.95 c #Conflicts: 948000 | #Constraints: 84206
1704.28/1708.95 c #Conflicts: 949000 | #Constraints: 85206
1704.28/1708.95 c #Conflicts: 950000 | #Constraints: 86206
1704.28/1708.95 c #Conflicts: 951000 | #Constraints: 87206
1704.28/1708.95 c #Conflicts: 952000 | #Constraints: 88206
1704.28/1708.95 c #Conflicts: 953000 | #Constraints: 89206
1704.28/1708.95 c #Conflicts: 954000 | #Constraints: 90206
1704.28/1708.95 c #Conflicts: 955000 | #Constraints: 91206
1704.28/1708.95 c #Conflicts: 956000 | #Constraints: 92206
1704.28/1708.95 c #Conflicts: 957000 | #Constraints: 93206
1704.28/1708.95 c #Conflicts: 958000 | #Constraints: 94206
1876.14/1881.20 c #Conflicts: 959000 | #Constraints: 95206
1876.14/1881.20 c #Conflicts: 960000 | #Constraints: 96206
1876.14/1881.20 c #Conflicts: 961000 | #Constraints: 97206
1876.14/1881.20 c INPROCESSING
1876.14/1881.20 c GARBAGE COLLECT
1876.14/1881.20 c #Conflicts: 962000 | #Constraints: 78863
1876.14/1881.20 c #Conflicts: 963000 | #Constraints: 79863
1876.14/1881.20 c #Conflicts: 964000 | #Constraints: 80863
1876.14/1881.20 c #Conflicts: 965000 | #Constraints: 81863
1876.14/1881.20 c #Conflicts: 966000 | #Constraints: 82863
1876.14/1881.20 c #Conflicts: 967000 | #Constraints: 83863
1876.14/1881.20 c #Conflicts: 968000 | #Constraints: 84863
1876.14/1881.20 c #Conflicts: 969000 | #Constraints: 85863
1876.14/1881.20 c #Conflicts: 970000 | #Constraints: 86863
1876.14/1881.20 c #Conflicts: 971000 | #Constraints: 87863
1876.14/1881.20 c #Conflicts: 972000 | #Constraints: 88863
1876.14/1881.20 c #Conflicts: 973000 | #Constraints: 89863
1876.14/1881.20 c #Conflicts: 974000 | #Constraints: 90863
1876.14/1881.20 c #Conflicts: 975000 | #Constraints: 91863
1876.14/1881.20 c #Conflicts: 976000 | #Constraints: 92863
1876.14/1881.20 c #Conflicts: 977000 | #Constraints: 93863
1876.14/1881.20 c #Conflicts: 978000 | #Constraints: 94863
1876.14/1881.20 c #Conflicts: 979000 | #Constraints: 95863
1876.14/1881.20 c #Conflicts: 980000 | #Constraints: 96863
1876.14/1881.20 c #Conflicts: 981000 | #Constraints: 97863
1876.14/1881.20 c INPROCESSING
1876.14/1881.20 c GARBAGE COLLECT
1876.14/1881.20 c #Conflicts: 982000 | #Constraints: 79218
1876.14/1881.20 c #Conflicts: 983000 | #Constraints: 80218
1876.14/1881.20 c #Conflicts: 984000 | #Constraints: 81218
1876.14/1881.20 c #Conflicts: 985000 | #Constraints: 82218
1876.14/1881.20 c #Conflicts: 986000 | #Constraints: 83218
1876.14/1881.20 c #Conflicts: 987000 | #Constraints: 84218
1876.14/1881.20 c #Conflicts: 988000 | #Constraints: 85218
1876.14/1881.20 c #Conflicts: 989000 | #Constraints: 86218
1876.14/1881.20 c #Conflicts: 990000 | #Constraints: 87218
1876.14/1881.20 c #Conflicts: 991000 | #Constraints: 88218
1876.14/1881.20 c #Conflicts: 992000 | #Constraints: 89218
1876.14/1881.20 c #Conflicts: 993000 | #Constraints: 90218
1876.14/1881.20 c #Conflicts: 994000 | #Constraints: 91218
1876.14/1881.20 c #Conflicts: 995000 | #Constraints: 92218
1876.14/1881.20 c #Conflicts: 996000 | #Constraints: 93218
1876.14/1881.20 c #Conflicts: 997000 | #Constraints: 94218
1876.14/1881.20 c #Conflicts: 998000 | #Constraints: 95218
1876.14/1881.20 c #Conflicts: 999000 | #Constraints: 96218
1876.14/1881.20 c #Conflicts: 1000000 | #Constraints: 97218
1876.14/1881.20 c #Conflicts: 1001000 | #Constraints: 98218
1876.14/1881.20 c INPROCESSING
1876.14/1881.20 c GARBAGE COLLECT
1876.14/1881.20 c #Conflicts: 1002000 | #Constraints: 79385
1876.14/1881.20 c #Conflicts: 1003000 | #Constraints: 80385
1876.14/1881.20 c #Conflicts: 1004000 | #Constraints: 81385
1876.14/1881.20 c #Conflicts: 1005000 | #Constraints: 82385
1876.14/1881.20 c #Conflicts: 1006000 | #Constraints: 83385
1876.14/1881.20 c #Conflicts: 1007000 | #Constraints: 84385
1876.14/1881.20 c #Conflicts: 1008000 | #Constraints: 85385
1876.14/1881.20 c #Conflicts: 1009000 | #Constraints: 86385
1876.14/1881.20 c #Conflicts: 1010000 | #Constraints: 87385
1876.14/1881.20 c #Conflicts: 1011000 | #Constraints: 88385
1876.14/1881.20 c #Conflicts: 1012000 | #Constraints: 89385
1876.14/1881.20 c #Conflicts: 1013000 | #Constraints: 90385
1876.14/1881.20 c #Conflicts: 1014000 | #Constraints: 91385
1876.14/1881.20 c #Conflicts: 1015000 | #Constraints: 92385
1876.14/1881.20 c #Conflicts: 1016000 | #Constraints: 93385
1876.14/1881.20 c #Conflicts: 1017000 | #Constraints: 94385
1876.14/1881.20 c #Conflicts: 1018000 | #Constraints: 95385
1876.14/1881.20 c #Conflicts: 1019000 | #Constraints: 96385
1876.14/1881.20 c #Conflicts: 1020000 | #Constraints: 97385
1876.14/1881.20 c #Conflicts: 1021000 | #Constraints: 98385
1876.14/1881.20 c INPROCESSING
1876.14/1881.20 c GARBAGE COLLECT
1876.14/1881.20 c #Conflicts: 1022000 | #Constraints: 79361
1876.14/1881.20 c #Conflicts: 1023000 | #Constraints: 80361
1876.14/1881.20 c #Conflicts: 1024000 | #Constraints: 81361
1876.14/1881.20 c #Conflicts: 1025000 | #Constraints: 82361
1876.14/1881.20 c #Conflicts: 1026000 | #Constraints: 83361
1876.14/1881.20 c #Conflicts: 1027000 | #Constraints: 84361
1876.14/1881.20 c #Conflicts: 1028000 | #Constraints: 85361
1876.14/1881.20 c #Conflicts: 1029000 | #Constraints: 86361
1876.14/1881.20 c #Conflicts: 1030000 | #Constraints: 87361
1876.14/1881.20 c #Conflicts: 1031000 | #Constraints: 88361
1876.14/1881.20 c #Conflicts: 1032000 | #Constraints: 89361
1876.14/1881.20 c #Conflicts: 1033000 | #Constraints: 90361
1876.14/1881.20 c #Conflicts: 1034000 | #Constraints: 91361
2035.72/2041.21 c #Conflicts: 1035000 | #Constraints: 92361
2035.72/2041.21 c #Conflicts: 1036000 | #Constraints: 93361
2035.72/2041.21 c #Conflicts: 1037000 | #Constraints: 94361
2035.72/2041.21 c #Conflicts: 1038000 | #Constraints: 95361
2035.72/2041.21 c #Conflicts: 1039000 | #Constraints: 96361
2035.72/2041.21 c #Conflicts: 1040000 | #Constraints: 97361
2035.72/2041.21 c #Conflicts: 1041000 | #Constraints: 98361
2035.72/2041.21 c INPROCESSING
2035.72/2041.21 c GARBAGE COLLECT
2035.72/2041.21 c #Conflicts: 1042000 | #Constraints: 79203
2035.72/2041.21 c #Conflicts: 1043000 | #Constraints: 80203
2035.72/2041.21 c #Conflicts: 1044000 | #Constraints: 81203
2035.72/2041.21 c #Conflicts: 1045000 | #Constraints: 82203
2035.72/2041.21 c #Conflicts: 1046000 | #Constraints: 83203
2035.72/2041.21 c #Conflicts: 1047000 | #Constraints: 84203
2035.72/2041.21 c #Conflicts: 1048000 | #Constraints: 85203
2035.72/2041.21 c #Conflicts: 1049000 | #Constraints: 86203
2035.72/2041.21 c #Conflicts: 1050000 | #Constraints: 87203
2035.72/2041.21 c #Conflicts: 1051000 | #Constraints: 88203
2035.72/2041.21 c #Conflicts: 1052000 | #Constraints: 89203
2035.72/2041.21 c #Conflicts: 1053000 | #Constraints: 90203
2035.72/2041.21 c #Conflicts: 1054000 | #Constraints: 91203
2035.72/2041.21 c #Conflicts: 1055000 | #Constraints: 92203
2035.72/2041.21 c #Conflicts: 1056000 | #Constraints: 93203
2035.72/2041.21 c #Conflicts: 1057000 | #Constraints: 94203
2035.72/2041.21 c #Conflicts: 1058000 | #Constraints: 95203
2035.72/2041.21 c #Conflicts: 1059000 | #Constraints: 96203
2035.72/2041.21 c #Conflicts: 1060000 | #Constraints: 97203
2035.72/2041.21 c #Conflicts: 1061000 | #Constraints: 98203
2035.72/2041.21 c #Conflicts: 1062000 | #Constraints: 99203
2035.72/2041.21 c INPROCESSING
2035.72/2041.21 c GARBAGE COLLECT
2035.72/2041.21 c #Conflicts: 1063000 | #Constraints: 79777
2035.72/2041.21 c #Conflicts: 1064000 | #Constraints: 80777
2035.72/2041.21 c #Conflicts: 1065000 | #Constraints: 81777
2035.72/2041.21 c #Conflicts: 1066000 | #Constraints: 82777
2035.72/2041.21 c #Conflicts: 1067000 | #Constraints: 83777
2035.72/2041.21 c #Conflicts: 1068000 | #Constraints: 84777
2035.72/2041.21 c #Conflicts: 1069000 | #Constraints: 85777
2035.72/2041.21 c #Conflicts: 1070000 | #Constraints: 86777
2035.72/2041.21 c #Conflicts: 1071000 | #Constraints: 87777
2035.72/2041.21 c #Conflicts: 1072000 | #Constraints: 88777
2035.72/2041.21 c #Conflicts: 1073000 | #Constraints: 89777
2035.72/2041.21 c #Conflicts: 1074000 | #Constraints: 90777
2035.72/2041.21 c #Conflicts: 1075000 | #Constraints: 91777
2035.72/2041.21 c #Conflicts: 1076000 | #Constraints: 92777
2035.72/2041.21 c #Conflicts: 1077000 | #Constraints: 93777
2035.72/2041.21 c #Conflicts: 1078000 | #Constraints: 94777
2035.72/2041.21 c #Conflicts: 1079000 | #Constraints: 95777
2035.72/2041.21 c #Conflicts: 1080000 | #Constraints: 96777
2035.72/2041.21 c #Conflicts: 1081000 | #Constraints: 97777
2035.72/2041.21 c #Conflicts: 1082000 | #Constraints: 98777
2035.72/2041.21 c #Conflicts: 1083000 | #Constraints: 99777
2035.72/2041.21 c INPROCESSING
2035.72/2041.21 c GARBAGE COLLECT
2035.72/2041.21 c #Conflicts: 1084000 | #Constraints: 80194
2035.72/2041.21 c #Conflicts: 1085000 | #Constraints: 81194
2035.72/2041.21 c #Conflicts: 1086000 | #Constraints: 82194
2035.72/2041.21 c #Conflicts: 1087000 | #Constraints: 83194
2035.72/2041.21 c #Conflicts: 1088000 | #Constraints: 84194
2035.72/2041.21 c #Conflicts: 1089000 | #Constraints: 85194
2035.72/2041.21 c #Conflicts: 1090000 | #Constraints: 86194
2035.72/2041.21 c #Conflicts: 1091000 | #Constraints: 87194
2035.72/2041.21 c #Conflicts: 1092000 | #Constraints: 88194
2035.72/2041.21 c #Conflicts: 1093000 | #Constraints: 89194
2035.72/2041.21 c #Conflicts: 1094000 | #Constraints: 90194
2035.72/2041.21 c #Conflicts: 1095000 | #Constraints: 91194
2035.72/2041.21 c #Conflicts: 1096000 | #Constraints: 92194
2035.72/2041.21 c #Conflicts: 1097000 | #Constraints: 93194
2035.72/2041.21 c #Conflicts: 1098000 | #Constraints: 94194
2035.72/2041.21 c #Conflicts: 1099000 | #Constraints: 95194
2035.72/2041.21 c #Conflicts: 1100000 | #Constraints: 96194
2035.72/2041.21 c #Conflicts: 1101000 | #Constraints: 97194
2035.72/2041.21 c #Conflicts: 1102000 | #Constraints: 98194
2035.72/2041.21 c #Conflicts: 1103000 | #Constraints: 99194
2035.72/2041.21 c #Conflicts: 1104000 | #Constraints: 100194
2035.72/2041.21 c INPROCESSING
2035.72/2041.21 c GARBAGE COLLECT
2035.72/2041.21 c #Conflicts: 1105000 | #Constraints: 80400
2035.72/2041.21 c #Conflicts: 1106000 | #Constraints: 81400
2035.72/2041.21 c #Conflicts: 1107000 | #Constraints: 82400
2035.72/2041.21 c #Conflicts: 1108000 | #Constraints: 83400
2035.72/2041.21 c #Conflicts: 1109000 | #Constraints: 84400
2035.72/2041.21 c #Conflicts: 1110000 | #Constraints: 85400
2035.72/2041.21 c #Conflicts: 1111000 | #Constraints: 86400
2210.49/2216.46 c #Conflicts: 1112000 | #Constraints: 87400
2210.49/2216.46 c #Conflicts: 1113000 | #Constraints: 88400
2210.49/2216.46 c #Conflicts: 1114000 | #Constraints: 89400
2210.49/2216.46 c #Conflicts: 1115000 | #Constraints: 90400
2210.49/2216.46 c #Conflicts: 1116000 | #Constraints: 91400
2210.49/2216.46 c #Conflicts: 1117000 | #Constraints: 92400
2210.49/2216.46 c #Conflicts: 1118000 | #Constraints: 93400
2210.49/2216.46 c #Conflicts: 1119000 | #Constraints: 94400
2210.49/2216.46 c #Conflicts: 1120000 | #Constraints: 95400
2210.49/2216.46 c #Conflicts: 1121000 | #Constraints: 96400
2210.49/2216.46 c #Conflicts: 1122000 | #Constraints: 97400
2210.49/2216.46 c #Conflicts: 1123000 | #Constraints: 98400
2210.49/2216.46 c #Conflicts: 1124000 | #Constraints: 99400
2210.49/2216.46 c #Conflicts: 1125000 | #Constraints: 100400
2210.49/2216.46 c INPROCESSING
2210.49/2216.46 c GARBAGE COLLECT
2210.49/2216.46 c #Conflicts: 1126000 | #Constraints: 80388
2210.49/2216.46 c #Conflicts: 1127000 | #Constraints: 81388
2210.49/2216.46 c #Conflicts: 1128000 | #Constraints: 82388
2210.49/2216.46 c #Conflicts: 1129000 | #Constraints: 83388
2210.49/2216.46 c #Conflicts: 1130000 | #Constraints: 84388
2210.49/2216.47 c #Conflicts: 1131000 | #Constraints: 85388
2210.49/2216.47 c #Conflicts: 1132000 | #Constraints: 86388
2210.49/2216.47 c #Conflicts: 1133000 | #Constraints: 87388
2210.49/2216.47 c #Conflicts: 1134000 | #Constraints: 88388
2210.49/2216.47 c #Conflicts: 1135000 | #Constraints: 89388
2210.49/2216.47 c #Conflicts: 1136000 | #Constraints: 90388
2210.49/2216.47 c #Conflicts: 1137000 | #Constraints: 91388
2210.49/2216.47 c #Conflicts: 1138000 | #Constraints: 92388
2210.49/2216.47 c #Conflicts: 1139000 | #Constraints: 93388
2210.49/2216.47 c #Conflicts: 1140000 | #Constraints: 94388
2210.49/2216.47 c #Conflicts: 1141000 | #Constraints: 95388
2210.49/2216.47 c #Conflicts: 1142000 | #Constraints: 96388
2210.49/2216.47 c #Conflicts: 1143000 | #Constraints: 97388
2210.49/2216.47 c #Conflicts: 1144000 | #Constraints: 98388
2210.49/2216.47 c #Conflicts: 1145000 | #Constraints: 99388
2210.49/2216.47 c #Conflicts: 1146000 | #Constraints: 100388
2210.49/2216.47 c INPROCESSING
2210.49/2216.47 c GARBAGE COLLECT
2210.49/2216.47 c #Conflicts: 1147000 | #Constraints: 80186
2210.49/2216.47 c #Conflicts: 1148000 | #Constraints: 81186
2210.49/2216.47 c #Conflicts: 1149000 | #Constraints: 82186
2210.49/2216.47 c #Conflicts: 1150000 | #Constraints: 83186
2210.49/2216.47 c #Conflicts: 1151000 | #Constraints: 84186
2210.49/2216.47 c #Conflicts: 1152000 | #Constraints: 85186
2210.49/2216.47 c #Conflicts: 1153000 | #Constraints: 86186
2210.49/2216.47 c #Conflicts: 1154000 | #Constraints: 87186
2210.49/2216.47 c #Conflicts: 1155000 | #Constraints: 88186
2210.49/2216.47 c #Conflicts: 1156000 | #Constraints: 89186
2210.49/2216.47 c #Conflicts: 1157000 | #Constraints: 90186
2210.49/2216.47 c #Conflicts: 1158000 | #Constraints: 91186
2210.49/2216.47 c #Conflicts: 1159000 | #Constraints: 92186
2210.49/2216.47 c #Conflicts: 1160000 | #Constraints: 93186
2210.49/2216.47 c #Conflicts: 1161000 | #Constraints: 94186
2210.49/2216.47 c #Conflicts: 1162000 | #Constraints: 95186
2210.49/2216.47 c #Conflicts: 1163000 | #Constraints: 96186
2210.49/2216.47 c #Conflicts: 1164000 | #Constraints: 97186
2210.49/2216.47 c #Conflicts: 1165000 | #Constraints: 98186
2210.49/2216.47 c #Conflicts: 1166000 | #Constraints: 99186
2210.49/2216.47 c #Conflicts: 1167000 | #Constraints: 100186
2210.49/2216.47 c #Conflicts: 1168000 | #Constraints: 101186
2210.49/2216.47 c INPROCESSING
2210.49/2216.47 c GARBAGE COLLECT
2210.49/2216.47 c #Conflicts: 1169000 | #Constraints: 80806
2210.49/2216.47 c #Conflicts: 1170000 | #Constraints: 81806
2210.49/2216.47 c #Conflicts: 1171000 | #Constraints: 82806
2210.49/2216.47 c #Conflicts: 1172000 | #Constraints: 83806
2210.49/2216.47 c #Conflicts: 1173000 | #Constraints: 84806
2210.49/2216.47 c #Conflicts: 1174000 | #Constraints: 85806
2210.49/2216.47 c #Conflicts: 1175000 | #Constraints: 86806
2210.49/2216.47 c #Conflicts: 1176000 | #Constraints: 87806
2210.49/2216.47 c #Conflicts: 1177000 | #Constraints: 88806
2210.49/2216.47 c #Conflicts: 1178000 | #Constraints: 89806
2210.49/2216.47 c #Conflicts: 1179000 | #Constraints: 90806
2210.49/2216.47 c #Conflicts: 1180000 | #Constraints: 91806
2210.49/2216.47 c #Conflicts: 1181000 | #Constraints: 92806
2210.49/2216.47 c #Conflicts: 1182000 | #Constraints: 93806
2210.49/2216.47 c #Conflicts: 1183000 | #Constraints: 94806
2210.49/2216.47 c #Conflicts: 1184000 | #Constraints: 95806
2210.49/2216.47 c #Conflicts: 1185000 | #Constraints: 96806
2210.49/2216.47 c #Conflicts: 1186000 | #Constraints: 97806
2210.49/2216.47 c #Conflicts: 1187000 | #Constraints: 98806
2391.66/2398.07 c #Conflicts: 1188000 | #Constraints: 99806
2391.66/2398.07 c #Conflicts: 1189000 | #Constraints: 100806
2391.66/2398.07 c #Conflicts: 1190000 | #Constraints: 101806
2391.66/2398.07 c INPROCESSING
2391.66/2398.07 c GARBAGE COLLECT
2391.66/2398.07 c #Conflicts: 1191000 | #Constraints: 81194
2391.66/2398.07 c #Conflicts: 1192000 | #Constraints: 82194
2391.66/2398.07 c #Conflicts: 1193000 | #Constraints: 83194
2391.66/2398.07 c #Conflicts: 1194000 | #Constraints: 84194
2391.66/2398.07 c #Conflicts: 1195000 | #Constraints: 85194
2391.66/2398.07 c #Conflicts: 1196000 | #Constraints: 86194
2391.66/2398.07 c #Conflicts: 1197000 | #Constraints: 87194
2391.66/2398.07 c #Conflicts: 1198000 | #Constraints: 88194
2391.66/2398.07 c #Conflicts: 1199000 | #Constraints: 89194
2391.66/2398.07 c #Conflicts: 1200000 | #Constraints: 90194
2391.66/2398.07 c #Conflicts: 1201000 | #Constraints: 91194
2391.66/2398.07 c #Conflicts: 1202000 | #Constraints: 92194
2391.66/2398.07 c #Conflicts: 1203000 | #Constraints: 93194
2391.66/2398.07 c #Conflicts: 1204000 | #Constraints: 94194
2391.66/2398.07 c #Conflicts: 1205000 | #Constraints: 95194
2391.66/2398.07 c #Conflicts: 1206000 | #Constraints: 96194
2391.66/2398.07 c #Conflicts: 1207000 | #Constraints: 97194
2391.66/2398.07 c #Conflicts: 1208000 | #Constraints: 98194
2391.66/2398.07 c #Conflicts: 1209000 | #Constraints: 99194
2391.66/2398.07 c #Conflicts: 1210000 | #Constraints: 100194
2391.66/2398.07 c #Conflicts: 1211000 | #Constraints: 101194
2391.66/2398.07 c #Conflicts: 1212000 | #Constraints: 102194
2391.66/2398.07 c INPROCESSING
2391.66/2398.07 c GARBAGE COLLECT
2391.66/2398.07 c #Conflicts: 1213000 | #Constraints: 81402
2391.66/2398.07 c #Conflicts: 1214000 | #Constraints: 82402
2391.66/2398.07 c #Conflicts: 1215000 | #Constraints: 83402
2391.66/2398.07 c #Conflicts: 1216000 | #Constraints: 84402
2391.66/2398.07 c #Conflicts: 1217000 | #Constraints: 85402
2391.66/2398.07 c #Conflicts: 1218000 | #Constraints: 86402
2391.66/2398.07 c #Conflicts: 1219000 | #Constraints: 87402
2391.66/2398.07 c #Conflicts: 1220000 | #Constraints: 88402
2391.66/2398.07 c #Conflicts: 1221000 | #Constraints: 89402
2391.66/2398.07 c #Conflicts: 1222000 | #Constraints: 90402
2391.66/2398.07 c #Conflicts: 1223000 | #Constraints: 91402
2391.66/2398.07 c #Conflicts: 1224000 | #Constraints: 92402
2391.66/2398.07 c #Conflicts: 1225000 | #Constraints: 93402
2391.66/2398.07 c #Conflicts: 1226000 | #Constraints: 94402
2391.66/2398.07 c #Conflicts: 1227000 | #Constraints: 95402
2391.66/2398.07 c #Conflicts: 1228000 | #Constraints: 96402
2391.66/2398.07 c #Conflicts: 1229000 | #Constraints: 97402
2391.66/2398.07 c #Conflicts: 1230000 | #Constraints: 98402
2391.66/2398.07 c #Conflicts: 1231000 | #Constraints: 99402
2391.66/2398.07 c #Conflicts: 1232000 | #Constraints: 100402
2391.66/2398.07 c #Conflicts: 1233000 | #Constraints: 101402
2391.66/2398.07 c #Conflicts: 1234000 | #Constraints: 102402
2391.66/2398.07 c INPROCESSING
2391.66/2398.07 c GARBAGE COLLECT
2391.66/2398.07 c #Conflicts: 1235000 | #Constraints: 81377
2391.66/2398.07 c #Conflicts: 1236000 | #Constraints: 82377
2391.66/2398.07 c #Conflicts: 1237000 | #Constraints: 83377
2391.66/2398.07 c #Conflicts: 1238000 | #Constraints: 84377
2391.66/2398.07 c #Conflicts: 1239000 | #Constraints: 85377
2391.66/2398.07 c #Conflicts: 1240000 | #Constraints: 86377
2391.66/2398.07 c #Conflicts: 1241000 | #Constraints: 87377
2391.66/2398.07 c #Conflicts: 1242000 | #Constraints: 88377
2391.66/2398.07 c #Conflicts: 1243000 | #Constraints: 89377
2391.66/2398.07 c #Conflicts: 1244000 | #Constraints: 90377
2391.66/2398.07 c #Conflicts: 1245000 | #Constraints: 91377
2391.66/2398.07 c #Conflicts: 1246000 | #Constraints: 92377
2391.66/2398.07 c #Conflicts: 1247000 | #Constraints: 93377
2391.66/2398.07 c #Conflicts: 1248000 | #Constraints: 94377
2391.66/2398.07 c #Conflicts: 1249000 | #Constraints: 95377
2391.66/2398.07 c #Conflicts: 1250000 | #Constraints: 96377
2391.66/2398.07 c #Conflicts: 1251000 | #Constraints: 97377
2391.66/2398.07 c #Conflicts: 1252000 | #Constraints: 98377
2391.66/2398.07 c #Conflicts: 1253000 | #Constraints: 99377
2391.66/2398.07 c #Conflicts: 1254000 | #Constraints: 100377
2391.66/2398.07 c #Conflicts: 1255000 | #Constraints: 101377
2391.66/2398.07 c #Conflicts: 1256000 | #Constraints: 102377
2391.66/2398.07 c INPROCESSING
2391.66/2398.07 c GARBAGE COLLECT
2391.66/2398.07 c #Conflicts: 1257000 | #Constraints: 81191
2391.66/2398.07 c #Conflicts: 1258000 | #Constraints: 82191
2391.66/2398.07 c #Conflicts: 1259000 | #Constraints: 83191
2391.66/2398.07 c #Conflicts: 1260000 | #Constraints: 84191
2391.66/2398.07 c #Conflicts: 1261000 | #Constraints: 85191
2391.66/2398.07 c #Conflicts: 1262000 | #Constraints: 86191
2391.66/2398.07 c #Conflicts: 1263000 | #Constraints: 87191
2391.66/2398.07 c #Conflicts: 1264000 | #Constraints: 88191
2578.08/2584.99 c #Conflicts: 1265000 | #Constraints: 89191
2578.08/2584.99 c #Conflicts: 1266000 | #Constraints: 90191
2578.08/2584.99 c #Conflicts: 1267000 | #Constraints: 91191
2578.08/2584.99 c #Conflicts: 1268000 | #Constraints: 92191
2578.08/2584.99 c #Conflicts: 1269000 | #Constraints: 93191
2578.08/2584.99 c #Conflicts: 1270000 | #Constraints: 94191
2578.08/2584.99 c #Conflicts: 1271000 | #Constraints: 95191
2578.08/2584.99 c #Conflicts: 1272000 | #Constraints: 96191
2578.08/2584.99 c #Conflicts: 1273000 | #Constraints: 97191
2578.08/2584.99 c #Conflicts: 1274000 | #Constraints: 98191
2578.08/2584.99 c #Conflicts: 1275000 | #Constraints: 99191
2578.08/2584.99 c #Conflicts: 1276000 | #Constraints: 100191
2578.08/2584.99 c #Conflicts: 1277000 | #Constraints: 101191
2578.08/2584.99 c #Conflicts: 1278000 | #Constraints: 102191
2578.08/2584.99 c #Conflicts: 1279000 | #Constraints: 103191
2578.08/2584.99 c INPROCESSING
2578.08/2584.99 c GARBAGE COLLECT
2578.08/2584.99 c #Conflicts: 1280000 | #Constraints: 81811
2578.08/2584.99 c #Conflicts: 1281000 | #Constraints: 82811
2578.08/2584.99 c #Conflicts: 1282000 | #Constraints: 83811
2578.08/2584.99 c #Conflicts: 1283000 | #Constraints: 84811
2578.08/2584.99 c #Conflicts: 1284000 | #Constraints: 85811
2578.08/2584.99 c #Conflicts: 1285000 | #Constraints: 86811
2578.08/2584.99 c #Conflicts: 1286000 | #Constraints: 87811
2578.08/2584.99 c #Conflicts: 1287000 | #Constraints: 88811
2578.08/2584.99 c #Conflicts: 1288000 | #Constraints: 89811
2578.08/2584.99 c #Conflicts: 1289000 | #Constraints: 90811
2578.08/2584.99 c #Conflicts: 1290000 | #Constraints: 91811
2578.08/2584.99 c #Conflicts: 1291000 | #Constraints: 92811
2578.08/2584.99 c #Conflicts: 1292000 | #Constraints: 93811
2578.08/2584.99 c #Conflicts: 1293000 | #Constraints: 94811
2578.08/2584.99 c #Conflicts: 1294000 | #Constraints: 95811
2578.08/2584.99 c #Conflicts: 1295000 | #Constraints: 96811
2578.08/2584.99 c #Conflicts: 1296000 | #Constraints: 97811
2578.08/2584.99 c #Conflicts: 1297000 | #Constraints: 98811
2578.08/2584.99 c #Conflicts: 1298000 | #Constraints: 99811
2578.08/2584.99 c #Conflicts: 1299000 | #Constraints: 100811
2578.08/2584.99 c #Conflicts: 1300000 | #Constraints: 101811
2578.08/2584.99 c #Conflicts: 1301000 | #Constraints: 102811
2578.08/2584.99 c #Conflicts: 1302000 | #Constraints: 103811
2578.08/2584.99 c INPROCESSING
2578.08/2584.99 c GARBAGE COLLECT
2578.08/2584.99 c #Conflicts: 1303000 | #Constraints: 82215
2578.08/2584.99 c #Conflicts: 1304000 | #Constraints: 83215
2578.08/2584.99 c #Conflicts: 1305000 | #Constraints: 84215
2578.08/2584.99 c #Conflicts: 1306000 | #Constraints: 85215
2578.08/2584.99 c #Conflicts: 1307000 | #Constraints: 86215
2578.08/2584.99 c #Conflicts: 1308000 | #Constraints: 87215
2578.08/2584.99 c #Conflicts: 1309000 | #Constraints: 88215
2578.08/2584.99 c #Conflicts: 1310000 | #Constraints: 89215
2578.08/2584.99 c #Conflicts: 1311000 | #Constraints: 90215
2578.08/2584.99 c #Conflicts: 1312000 | #Constraints: 91215
2578.08/2584.99 c #Conflicts: 1313000 | #Constraints: 92215
2578.08/2584.99 c #Conflicts: 1314000 | #Constraints: 93215
2578.08/2584.99 c #Conflicts: 1315000 | #Constraints: 94215
2578.08/2584.99 c #Conflicts: 1316000 | #Constraints: 95215
2578.08/2584.99 c #Conflicts: 1317000 | #Constraints: 96215
2578.08/2584.99 c #Conflicts: 1318000 | #Constraints: 97215
2578.08/2584.99 c #Conflicts: 1319000 | #Constraints: 98215
2578.08/2584.99 c #Conflicts: 1320000 | #Constraints: 99215
2578.08/2584.99 c #Conflicts: 1321000 | #Constraints: 100215
2578.08/2584.99 c #Conflicts: 1322000 | #Constraints: 101215
2578.08/2584.99 c #Conflicts: 1323000 | #Constraints: 102215
2578.08/2584.99 c #Conflicts: 1324000 | #Constraints: 103215
2578.08/2584.99 c #Conflicts: 1325000 | #Constraints: 104215
2578.08/2584.99 c INPROCESSING
2578.08/2584.99 c GARBAGE COLLECT
2578.08/2584.99 c #Conflicts: 1326000 | #Constraints: 82394
2578.08/2584.99 c #Conflicts: 1327000 | #Constraints: 83394
2578.08/2584.99 c #Conflicts: 1328000 | #Constraints: 84394
2578.08/2584.99 c #Conflicts: 1329000 | #Constraints: 85394
2578.08/2584.99 c #Conflicts: 1330000 | #Constraints: 86394
2578.08/2584.99 c #Conflicts: 1331000 | #Constraints: 87394
2578.08/2584.99 c #Conflicts: 1332000 | #Constraints: 88394
2578.08/2584.99 c #Conflicts: 1333000 | #Constraints: 89394
2578.08/2584.99 c #Conflicts: 1334000 | #Constraints: 90394
2578.08/2584.99 c #Conflicts: 1335000 | #Constraints: 91394
2578.08/2584.99 c #Conflicts: 1336000 | #Constraints: 92394
2578.08/2584.99 c #Conflicts: 1337000 | #Constraints: 93394
2578.08/2584.99 c #Conflicts: 1338000 | #Constraints: 94394
2578.08/2584.99 c #Conflicts: 1339000 | #Constraints: 95394
2578.08/2584.99 c #Conflicts: 1340000 | #Constraints: 96394
2780.39/2787.84 c #Conflicts: 1341000 | #Constraints: 97394
2780.39/2787.84 c #Conflicts: 1342000 | #Constraints: 98394
2780.39/2787.84 c #Conflicts: 1343000 | #Constraints: 99394
2780.39/2787.84 c #Conflicts: 1344000 | #Constraints: 100394
2780.39/2787.84 c #Conflicts: 1345000 | #Constraints: 101394
2780.39/2787.84 c #Conflicts: 1346000 | #Constraints: 102394
2780.39/2787.84 c #Conflicts: 1347000 | #Constraints: 103394
2780.39/2787.84 c #Conflicts: 1348000 | #Constraints: 104394
2780.39/2787.84 c INPROCESSING
2780.39/2787.84 c GARBAGE COLLECT
2780.39/2787.84 c #Conflicts: 1349000 | #Constraints: 82396
2780.39/2787.84 c #Conflicts: 1350000 | #Constraints: 83396
2780.39/2787.84 c #Conflicts: 1351000 | #Constraints: 84396
2780.39/2787.84 c #Conflicts: 1352000 | #Constraints: 85396
2780.39/2787.84 c #Conflicts: 1353000 | #Constraints: 86396
2780.39/2787.84 c #Conflicts: 1354000 | #Constraints: 87396
2780.39/2787.84 c #Conflicts: 1355000 | #Constraints: 88396
2780.39/2787.84 c #Conflicts: 1356000 | #Constraints: 89396
2780.39/2787.84 c #Conflicts: 1357000 | #Constraints: 90396
2780.39/2787.84 c #Conflicts: 1358000 | #Constraints: 91396
2780.39/2787.84 c #Conflicts: 1359000 | #Constraints: 92396
2780.39/2787.84 c #Conflicts: 1360000 | #Constraints: 93396
2780.39/2787.84 c #Conflicts: 1361000 | #Constraints: 94396
2780.39/2787.84 c #Conflicts: 1362000 | #Constraints: 95396
2780.39/2787.84 c #Conflicts: 1363000 | #Constraints: 96396
2780.39/2787.84 c #Conflicts: 1364000 | #Constraints: 97396
2780.39/2787.84 c #Conflicts: 1365000 | #Constraints: 98396
2780.39/2787.84 c #Conflicts: 1366000 | #Constraints: 99396
2780.39/2787.84 c #Conflicts: 1367000 | #Constraints: 100396
2780.39/2787.84 c #Conflicts: 1368000 | #Constraints: 101396
2780.39/2787.84 c #Conflicts: 1369000 | #Constraints: 102396
2780.39/2787.84 c #Conflicts: 1370000 | #Constraints: 103396
2780.39/2787.84 c #Conflicts: 1371000 | #Constraints: 104396
2780.39/2787.84 c INPROCESSING
2780.39/2787.84 c GARBAGE COLLECT
2780.39/2787.84 c #Conflicts: 1372000 | #Constraints: 82190
2780.39/2787.84 c #Conflicts: 1373000 | #Constraints: 83190
2780.39/2787.84 c #Conflicts: 1374000 | #Constraints: 84190
2780.39/2787.84 c #Conflicts: 1375000 | #Constraints: 85190
2780.39/2787.84 c #Conflicts: 1376000 | #Constraints: 86190
2780.39/2787.84 c #Conflicts: 1377000 | #Constraints: 87190
2780.39/2787.84 c #Conflicts: 1378000 | #Constraints: 88190
2780.39/2787.84 c #Conflicts: 1379000 | #Constraints: 89190
2780.39/2787.84 c #Conflicts: 1380000 | #Constraints: 90190
2780.39/2787.84 c #Conflicts: 1381000 | #Constraints: 91190
2780.39/2787.84 c #Conflicts: 1382000 | #Constraints: 92190
2780.39/2787.84 c #Conflicts: 1383000 | #Constraints: 93190
2780.39/2787.84 c #Conflicts: 1384000 | #Constraints: 94190
2780.39/2787.84 c #Conflicts: 1385000 | #Constraints: 95190
2780.39/2787.84 c #Conflicts: 1386000 | #Constraints: 96190
2780.39/2787.84 c #Conflicts: 1387000 | #Constraints: 97190
2780.39/2787.84 c #Conflicts: 1388000 | #Constraints: 98190
2780.39/2787.84 c #Conflicts: 1389000 | #Constraints: 99190
2780.39/2787.84 c #Conflicts: 1390000 | #Constraints: 100190
2780.39/2787.84 c #Conflicts: 1391000 | #Constraints: 101190
2780.39/2787.84 c #Conflicts: 1392000 | #Constraints: 102190
2780.39/2787.84 c #Conflicts: 1393000 | #Constraints: 103190
2780.39/2787.84 c #Conflicts: 1394000 | #Constraints: 104190
2780.39/2787.84 c #Conflicts: 1395000 | #Constraints: 105190
2780.39/2787.84 c INPROCESSING
2780.39/2787.84 c GARBAGE COLLECT
2780.39/2787.84 c #Conflicts: 1396000 | #Constraints: 82778
2780.39/2787.84 c #Conflicts: 1397000 | #Constraints: 83778
2780.39/2787.84 c #Conflicts: 1398000 | #Constraints: 84778
2780.39/2787.84 c #Conflicts: 1399000 | #Constraints: 85778
2780.39/2787.84 c #Conflicts: 1400000 | #Constraints: 86778
2780.39/2787.84 c #Conflicts: 1401000 | #Constraints: 87778
2780.39/2787.84 c #Conflicts: 1402000 | #Constraints: 88778
2780.39/2787.84 c #Conflicts: 1403000 | #Constraints: 89778
2780.39/2787.84 c #Conflicts: 1404000 | #Constraints: 90778
2780.39/2787.84 c #Conflicts: 1405000 | #Constraints: 91778
2780.39/2787.84 c #Conflicts: 1406000 | #Constraints: 92778
2780.39/2787.84 c #Conflicts: 1407000 | #Constraints: 93778
2780.39/2787.84 c #Conflicts: 1408000 | #Constraints: 94778
2780.39/2787.84 c #Conflicts: 1409000 | #Constraints: 95778
2780.39/2787.84 c #Conflicts: 1410000 | #Constraints: 96778
2780.39/2787.84 c #Conflicts: 1411000 | #Constraints: 97778
2780.39/2787.84 c #Conflicts: 1412000 | #Constraints: 98778
2780.39/2787.84 c #Conflicts: 1413000 | #Constraints: 99778
2780.39/2787.84 c #Conflicts: 1414000 | #Constraints: 100778
2780.39/2787.84 c #Conflicts: 1415000 | #Constraints: 101778
2780.39/2787.84 c #Conflicts: 1416000 | #Constraints: 102778
2780.39/2787.84 c #Conflicts: 1417000 | #Constraints: 103778
2983.18/2991.26 c #Conflicts: 1418000 | #Constraints: 104778
2983.18/2991.26 c #Conflicts: 1419000 | #Constraints: 105778
2983.18/2991.26 c INPROCESSING
2983.18/2991.26 c GARBAGE COLLECT
2983.18/2991.26 c #Conflicts: 1420000 | #Constraints: 83179
2983.18/2991.26 c #Conflicts: 1421000 | #Constraints: 84179
2983.18/2991.26 c #Conflicts: 1422000 | #Constraints: 85179
2983.18/2991.26 c #Conflicts: 1423000 | #Constraints: 86179
2983.18/2991.26 c #Conflicts: 1424000 | #Constraints: 87179
2983.18/2991.26 c #Conflicts: 1425000 | #Constraints: 88179
2983.18/2991.26 c #Conflicts: 1426000 | #Constraints: 89179
2983.18/2991.26 c #Conflicts: 1427000 | #Constraints: 90179
2983.18/2991.26 c #Conflicts: 1428000 | #Constraints: 91179
2983.18/2991.26 c #Conflicts: 1429000 | #Constraints: 92179
2983.18/2991.26 c #Conflicts: 1430000 | #Constraints: 93179
2983.18/2991.26 c #Conflicts: 1431000 | #Constraints: 94179
2983.18/2991.26 c #Conflicts: 1432000 | #Constraints: 95179
2983.18/2991.26 c #Conflicts: 1433000 | #Constraints: 96179
2983.18/2991.26 c #Conflicts: 1434000 | #Constraints: 97179
2983.18/2991.26 c #Conflicts: 1435000 | #Constraints: 98179
2983.18/2991.26 c #Conflicts: 1436000 | #Constraints: 99179
2983.18/2991.26 c #Conflicts: 1437000 | #Constraints: 100179
2983.18/2991.26 c #Conflicts: 1438000 | #Constraints: 101179
2983.18/2991.26 c #Conflicts: 1439000 | #Constraints: 102179
2983.18/2991.26 c #Conflicts: 1440000 | #Constraints: 103179
2983.18/2991.26 c #Conflicts: 1441000 | #Constraints: 104179
2983.18/2991.26 c #Conflicts: 1442000 | #Constraints: 105179
2983.18/2991.26 c #Conflicts: 1443000 | #Constraints: 106179
2983.18/2991.26 c INPROCESSING
2983.18/2991.26 c GARBAGE COLLECT
2983.18/2991.26 c #Conflicts: 1444000 | #Constraints: 83409
2983.18/2991.26 c #Conflicts: 1445000 | #Constraints: 84409
2983.18/2991.26 c #Conflicts: 1446000 | #Constraints: 85409
2983.18/2991.26 c #Conflicts: 1447000 | #Constraints: 86409
2983.18/2991.26 c #Conflicts: 1448000 | #Constraints: 87409
2983.18/2991.26 c #Conflicts: 1449000 | #Constraints: 88409
2983.18/2991.26 c #Conflicts: 1450000 | #Constraints: 89409
2983.18/2991.26 c #Conflicts: 1451000 | #Constraints: 90409
2983.18/2991.26 c #Conflicts: 1452000 | #Constraints: 91409
2983.18/2991.26 c #Conflicts: 1453000 | #Constraints: 92409
2983.18/2991.26 c #Conflicts: 1454000 | #Constraints: 93409
2983.18/2991.26 c #Conflicts: 1455000 | #Constraints: 94409
2983.18/2991.26 c #Conflicts: 1456000 | #Constraints: 95409
2983.18/2991.26 c #Conflicts: 1457000 | #Constraints: 96409
2983.18/2991.26 c #Conflicts: 1458000 | #Constraints: 97409
2983.18/2991.26 c #Conflicts: 1459000 | #Constraints: 98409
2983.18/2991.26 c #Conflicts: 1460000 | #Constraints: 99409
2983.18/2991.26 c #Conflicts: 1461000 | #Constraints: 100409
2983.18/2991.26 c #Conflicts: 1462000 | #Constraints: 101409
2983.18/2991.26 c #Conflicts: 1463000 | #Constraints: 102409
2983.18/2991.26 c #Conflicts: 1464000 | #Constraints: 103409
2983.18/2991.26 c #Conflicts: 1465000 | #Constraints: 104409
2983.18/2991.26 c #Conflicts: 1466000 | #Constraints: 105409
2983.18/2991.26 c #Conflicts: 1467000 | #Constraints: 106409
2983.18/2991.26 c INPROCESSING
2983.18/2991.26 c GARBAGE COLLECT
2983.18/2991.26 c #Conflicts: 1468000 | #Constraints: 83407
2983.18/2991.26 c #Conflicts: 1469000 | #Constraints: 84407
2983.18/2991.26 c #Conflicts: 1470000 | #Constraints: 85407
2983.18/2991.26 c #Conflicts: 1471000 | #Constraints: 86407
2983.18/2991.26 c #Conflicts: 1472000 | #Constraints: 87407
2983.18/2991.26 c #Conflicts: 1473000 | #Constraints: 88407
2983.18/2991.26 c #Conflicts: 1474000 | #Constraints: 89407
2983.18/2991.26 c #Conflicts: 1475000 | #Constraints: 90407
2983.18/2991.26 c #Conflicts: 1476000 | #Constraints: 91407
2983.18/2991.26 c #Conflicts: 1477000 | #Constraints: 92407
2983.18/2991.26 c #Conflicts: 1478000 | #Constraints: 93407
2983.18/2991.26 c #Conflicts: 1479000 | #Constraints: 94407
2983.18/2991.26 c #Conflicts: 1480000 | #Constraints: 95407
2983.18/2991.26 c #Conflicts: 1481000 | #Constraints: 96407
2983.18/2991.26 c #Conflicts: 1482000 | #Constraints: 97407
2983.18/2991.26 c #Conflicts: 1483000 | #Constraints: 98407
2983.18/2991.26 c #Conflicts: 1484000 | #Constraints: 99407
2983.18/2991.26 c #Conflicts: 1485000 | #Constraints: 100407
2983.18/2991.26 c #Conflicts: 1486000 | #Constraints: 101407
2983.18/2991.26 c #Conflicts: 1487000 | #Constraints: 102407
2983.18/2991.26 c #Conflicts: 1488000 | #Constraints: 103407
2983.18/2991.26 c #Conflicts: 1489000 | #Constraints: 104407
2983.18/2991.26 c #Conflicts: 1490000 | #Constraints: 105407
2983.18/2991.26 c #Conflicts: 1491000 | #Constraints: 106407
2983.18/2991.26 c INPROCESSING
2983.18/2991.26 c GARBAGE COLLECT
2983.18/2991.26 c #Conflicts: 1492000 | #Constraints: 83222
2983.18/2991.26 c #Conflicts: 1493000 | #Constraints: 84222
2983.18/2991.26 c #Conflicts: 1494000 | #Constraints: 85222
3191.86/3200.52 c #Conflicts: 1495000 | #Constraints: 86222
3191.86/3200.52 c #Conflicts: 1496000 | #Constraints: 87222
3191.86/3200.52 c #Conflicts: 1497000 | #Constraints: 88222
3191.86/3200.52 c #Conflicts: 1498000 | #Constraints: 89222
3191.86/3200.52 c #Conflicts: 1499000 | #Constraints: 90222
3191.86/3200.52 c #Conflicts: 1500000 | #Constraints: 91222
3191.86/3200.52 c #Conflicts: 1501000 | #Constraints: 92222
3191.86/3200.52 c #Conflicts: 1502000 | #Constraints: 93222
3191.86/3200.52 c #Conflicts: 1503000 | #Constraints: 94222
3191.86/3200.52 c #Conflicts: 1504000 | #Constraints: 95222
3191.86/3200.52 c #Conflicts: 1505000 | #Constraints: 96222
3191.86/3200.52 c #Conflicts: 1506000 | #Constraints: 97222
3191.86/3200.52 c #Conflicts: 1507000 | #Constraints: 98222
3191.86/3200.52 c #Conflicts: 1508000 | #Constraints: 99222
3191.86/3200.52 c #Conflicts: 1509000 | #Constraints: 100222
3191.86/3200.52 c #Conflicts: 1510000 | #Constraints: 101222
3191.86/3200.52 c #Conflicts: 1511000 | #Constraints: 102222
3191.86/3200.52 c #Conflicts: 1512000 | #Constraints: 103222
3191.86/3200.52 c #Conflicts: 1513000 | #Constraints: 104222
3191.86/3200.52 c #Conflicts: 1514000 | #Constraints: 105222
3191.86/3200.52 c #Conflicts: 1515000 | #Constraints: 106222
3191.86/3200.52 c #Conflicts: 1516000 | #Constraints: 107222
3191.86/3200.52 c INPROCESSING
3191.86/3200.52 c GARBAGE COLLECT
3191.86/3200.52 c #Conflicts: 1517000 | #Constraints: 83832
3191.86/3200.52 c #Conflicts: 1518000 | #Constraints: 84832
3191.86/3200.52 c #Conflicts: 1519000 | #Constraints: 85832
3191.86/3200.52 c #Conflicts: 1520000 | #Constraints: 86832
3191.86/3200.52 c #Conflicts: 1521000 | #Constraints: 87832
3191.86/3200.52 c #Conflicts: 1522000 | #Constraints: 88832
3191.86/3200.52 c #Conflicts: 1523000 | #Constraints: 89832
3191.86/3200.52 c #Conflicts: 1524000 | #Constraints: 90832
3191.86/3200.52 c #Conflicts: 1525000 | #Constraints: 91832
3191.86/3200.52 c #Conflicts: 1526000 | #Constraints: 92832
3191.86/3200.52 c #Conflicts: 1527000 | #Constraints: 93832
3191.86/3200.52 c #Conflicts: 1528000 | #Constraints: 94832
3191.86/3200.52 c #Conflicts: 1529000 | #Constraints: 95832
3191.86/3200.52 c #Conflicts: 1530000 | #Constraints: 96832
3191.86/3200.52 c #Conflicts: 1531000 | #Constraints: 97832
3191.86/3200.52 c #Conflicts: 1532000 | #Constraints: 98832
3191.86/3200.52 c #Conflicts: 1533000 | #Constraints: 99832
3191.86/3200.52 c #Conflicts: 1534000 | #Constraints: 100832
3191.86/3200.52 c #Conflicts: 1535000 | #Constraints: 101832
3191.86/3200.52 c #Conflicts: 1536000 | #Constraints: 102832
3191.86/3200.52 c #Conflicts: 1537000 | #Constraints: 103832
3191.86/3200.52 c #Conflicts: 1538000 | #Constraints: 104832
3191.86/3200.52 c #Conflicts: 1539000 | #Constraints: 105832
3191.86/3200.52 c #Conflicts: 1540000 | #Constraints: 106832
3191.86/3200.52 c #Conflicts: 1541000 | #Constraints: 107832
3191.86/3200.52 c INPROCESSING
3191.86/3200.52 c GARBAGE COLLECT
3191.86/3200.52 c #Conflicts: 1542000 | #Constraints: 84205
3191.86/3200.52 c #Conflicts: 1543000 | #Constraints: 85205
3191.86/3200.52 c #Conflicts: 1544000 | #Constraints: 86205
3191.86/3200.52 c #Conflicts: 1545000 | #Constraints: 87205
3191.86/3200.52 c #Conflicts: 1546000 | #Constraints: 88205
3191.86/3200.52 c #Conflicts: 1547000 | #Constraints: 89205
3191.86/3200.52 c #Conflicts: 1548000 | #Constraints: 90205
3191.86/3200.52 c #Conflicts: 1549000 | #Constraints: 91205
3191.86/3200.52 c #Conflicts: 1550000 | #Constraints: 92205
3191.86/3200.52 c #Conflicts: 1551000 | #Constraints: 93205
3191.86/3200.52 c #Conflicts: 1552000 | #Constraints: 94205
3191.86/3200.52 c #Conflicts: 1553000 | #Constraints: 95205
3191.86/3200.52 c #Conflicts: 1554000 | #Constraints: 96205
3191.86/3200.52 c #Conflicts: 1555000 | #Constraints: 97205
3191.86/3200.52 c #Conflicts: 1556000 | #Constraints: 98205
3191.86/3200.52 c #Conflicts: 1557000 | #Constraints: 99205
3191.86/3200.52 c #Conflicts: 1558000 | #Constraints: 100205
3191.86/3200.52 c #Conflicts: 1559000 | #Constraints: 101205
3191.86/3200.52 c #Conflicts: 1560000 | #Constraints: 102205
3191.86/3200.52 c #Conflicts: 1561000 | #Constraints: 103205
3191.86/3200.52 c #Conflicts: 1562000 | #Constraints: 104205
3191.86/3200.52 c #Conflicts: 1563000 | #Constraints: 105205
3191.86/3200.52 c #Conflicts: 1564000 | #Constraints: 106205
3191.86/3200.52 c #Conflicts: 1565000 | #Constraints: 107205
3191.86/3200.52 c #Conflicts: 1566000 | #Constraints: 108205
3191.86/3200.52 c INPROCESSING
3191.86/3200.52 c GARBAGE COLLECT
3191.86/3200.52 c #Conflicts: 1567000 | #Constraints: 84403
3191.86/3200.52 c #Conflicts: 1568000 | #Constraints: 85403
3191.86/3200.52 c #Conflicts: 1569000 | #Constraints: 86403
3191.86/3200.52 c #Conflicts: 1570000 | #Constraints: 87403
3386.08/3395.34 c #Conflicts: 1571000 | #Constraints: 88403
3386.08/3395.34 c #Conflicts: 1572000 | #Constraints: 89403
3386.08/3395.34 c #Conflicts: 1573000 | #Constraints: 90403
3386.08/3395.34 c #Conflicts: 1574000 | #Constraints: 91403
3386.08/3395.34 c #Conflicts: 1575000 | #Constraints: 92403
3386.08/3395.34 c #Conflicts: 1576000 | #Constraints: 93403
3386.08/3395.34 c #Conflicts: 1577000 | #Constraints: 94403
3386.08/3395.34 c #Conflicts: 1578000 | #Constraints: 95403
3386.08/3395.34 c #Conflicts: 1579000 | #Constraints: 96403
3386.08/3395.34 c #Conflicts: 1580000 | #Constraints: 97403
3386.08/3395.34 c #Conflicts: 1581000 | #Constraints: 98403
3386.08/3395.34 c #Conflicts: 1582000 | #Constraints: 99403
3386.08/3395.34 c #Conflicts: 1583000 | #Constraints: 100403
3386.08/3395.34 c #Conflicts: 1584000 | #Constraints: 101403
3386.08/3395.34 c #Conflicts: 1585000 | #Constraints: 102403
3386.08/3395.34 c #Conflicts: 1586000 | #Constraints: 103403
3386.08/3395.34 c #Conflicts: 1587000 | #Constraints: 104403
3386.08/3395.34 c #Conflicts: 1588000 | #Constraints: 105403
3386.08/3395.34 c #Conflicts: 1589000 | #Constraints: 106403
3386.08/3395.34 c #Conflicts: 1590000 | #Constraints: 107403
3386.08/3395.35 c #Conflicts: 1591000 | #Constraints: 108403
3386.08/3395.35 c INPROCESSING
3386.08/3395.35 c GARBAGE COLLECT
3386.08/3395.35 c #Conflicts: 1592000 | #Constraints: 84417
3386.08/3395.35 c #Conflicts: 1593000 | #Constraints: 85417
3386.08/3395.35 c #Conflicts: 1594000 | #Constraints: 86417
3386.08/3395.35 c #Conflicts: 1595000 | #Constraints: 87417
3386.08/3395.35 c #Conflicts: 1596000 | #Constraints: 88417
3386.08/3395.35 c #Conflicts: 1597000 | #Constraints: 89417
3386.08/3395.35 c #Conflicts: 1598000 | #Constraints: 90417
3386.08/3395.35 c #Conflicts: 1599000 | #Constraints: 91417
3386.08/3395.35 c #Conflicts: 1600000 | #Constraints: 92417
3386.08/3395.35 c #Conflicts: 1601000 | #Constraints: 93417
3386.08/3395.35 c #Conflicts: 1602000 | #Constraints: 94417
3386.08/3395.35 c #Conflicts: 1603000 | #Constraints: 95417
3386.08/3395.35 c #Conflicts: 1604000 | #Constraints: 96417
3386.08/3395.35 c #Conflicts: 1605000 | #Constraints: 97417
3386.08/3395.35 c #Conflicts: 1606000 | #Constraints: 98417
3386.08/3395.35 c #Conflicts: 1607000 | #Constraints: 99417
3386.08/3395.35 c #Conflicts: 1608000 | #Constraints: 100417
3386.08/3395.35 c #Conflicts: 1609000 | #Constraints: 101417
3386.08/3395.35 c #Conflicts: 1610000 | #Constraints: 102417
3386.08/3395.35 c #Conflicts: 1611000 | #Constraints: 103417
3386.08/3395.35 c #Conflicts: 1612000 | #Constraints: 104417
3386.08/3395.35 c #Conflicts: 1613000 | #Constraints: 105417
3386.08/3395.35 c #Conflicts: 1614000 | #Constraints: 106417
3386.08/3395.35 c #Conflicts: 1615000 | #Constraints: 107417
3386.08/3395.35 c #Conflicts: 1616000 | #Constraints: 108417
3386.08/3395.35 c INPROCESSING
3386.08/3395.35 c GARBAGE COLLECT
3386.08/3395.35 c #Conflicts: 1617000 | #Constraints: 84195
3386.08/3395.35 c #Conflicts: 1618000 | #Constraints: 85195
3386.08/3395.35 c #Conflicts: 1619000 | #Constraints: 86195
3386.08/3395.35 c #Conflicts: 1620000 | #Constraints: 87195
3386.08/3395.35 c #Conflicts: 1621000 | #Constraints: 88195
3386.08/3395.35 c #Conflicts: 1622000 | #Constraints: 89195
3386.08/3395.35 c #Conflicts: 1623000 | #Constraints: 90195
3386.08/3395.35 c #Conflicts: 1624000 | #Constraints: 91195
3386.08/3395.35 c #Conflicts: 1625000 | #Constraints: 92195
3386.08/3395.35 c #Conflicts: 1626000 | #Constraints: 93195
3386.08/3395.35 c #Conflicts: 1627000 | #Constraints: 94195
3386.08/3395.35 c #Conflicts: 1628000 | #Constraints: 95195
3386.08/3395.35 c #Conflicts: 1629000 | #Constraints: 96195
3386.08/3395.35 c #Conflicts: 1630000 | #Constraints: 97195
3386.08/3395.35 c #Conflicts: 1631000 | #Constraints: 98195
3386.08/3395.35 c #Conflicts: 1632000 | #Constraints: 99195
3386.08/3395.35 c #Conflicts: 1633000 | #Constraints: 100195
3386.08/3395.35 c #Conflicts: 1634000 | #Constraints: 101195
3386.08/3395.35 c #Conflicts: 1635000 | #Constraints: 102195
3386.08/3395.35 c #Conflicts: 1636000 | #Constraints: 103195
3386.08/3395.35 c #Conflicts: 1637000 | #Constraints: 104195
3386.08/3395.35 c #Conflicts: 1638000 | #Constraints: 105195
3386.08/3395.35 c #Conflicts: 1639000 | #Constraints: 106195
3386.08/3395.35 c #Conflicts: 1640000 | #Constraints: 107195
3386.08/3395.35 c #Conflicts: 1641000 | #Constraints: 108195
3386.08/3395.35 c #Conflicts: 1642000 | #Constraints: 109195
3386.08/3395.35 c INPROCESSING
3386.08/3395.35 c GARBAGE COLLECT
3386.08/3395.35 c #Conflicts: 1643000 | #Constraints: 84826
3386.08/3395.35 c #Conflicts: 1644000 | #Constraints: 85826
3386.08/3395.35 c #Conflicts: 1645000 | #Constraints: 86826
3386.08/3395.35 c #Conflicts: 1646000 | #Constraints: 87826
3386.08/3395.35 c #Conflicts: 1647000 | #Constraints: 88826
3600.02/3609.91 c #Conflicts: 1648000 | #Constraints: 89826
3600.02/3609.91 c #Conflicts: 1649000 | #Constraints: 90826
3600.02/3609.91 c #Conflicts: 1650000 | #Constraints: 91826
3600.02/3609.91 c #Conflicts: 1651000 | #Constraints: 92826
3600.02/3609.91 c #Conflicts: 1652000 | #Constraints: 93826
3600.02/3609.91 c #Conflicts: 1653000 | #Constraints: 94826
3600.02/3609.91 c #Conflicts: 1654000 | #Constraints: 95826
3600.02/3609.91 c #Conflicts: 1655000 | #Constraints: 96826
3600.02/3609.91 c #Conflicts: 1656000 | #Constraints: 97826
3600.02/3609.91 c #Conflicts: 1657000 | #Constraints: 98826
3600.02/3609.91 c #Conflicts: 1658000 | #Constraints: 99826
3600.02/3609.91 c #Conflicts: 1659000 | #Constraints: 100826
3600.02/3609.91 c #Conflicts: 1660000 | #Constraints: 101826
3600.02/3609.91 c #Conflicts: 1661000 | #Constraints: 102826
3600.02/3609.91 c #Conflicts: 1662000 | #Constraints: 103826
3600.02/3609.91 c #Conflicts: 1663000 | #Constraints: 104826
3600.02/3609.91 c #Conflicts: 1664000 | #Constraints: 105826
3600.02/3609.91 c #Conflicts: 1665000 | #Constraints: 106826
3600.02/3609.91 c #Conflicts: 1666000 | #Constraints: 107826
3600.02/3609.91 c #Conflicts: 1667000 | #Constraints: 108826
3600.02/3609.91 c #Conflicts: 1668000 | #Constraints: 109826
3600.02/3609.91 c INPROCESSING
3600.02/3609.91 c GARBAGE COLLECT
3600.02/3609.91 c #Conflicts: 1669000 | #Constraints: 85227
3600.02/3609.91 c #Conflicts: 1670000 | #Constraints: 86227
3600.02/3609.91 c #Conflicts: 1671000 | #Constraints: 87227
3600.02/3609.91 c #Conflicts: 1672000 | #Constraints: 88227
3600.02/3609.91 c #Conflicts: 1673000 | #Constraints: 89227
3600.02/3609.91 c #Conflicts: 1674000 | #Constraints: 90227
3600.02/3609.91 c #Conflicts: 1675000 | #Constraints: 91227
3600.02/3609.91 c #Conflicts: 1676000 | #Constraints: 92227
3600.02/3609.91 c #Conflicts: 1677000 | #Constraints: 93227
3600.02/3609.91 c #Conflicts: 1678000 | #Constraints: 94227
3600.02/3609.91 c #Conflicts: 1679000 | #Constraints: 95227
3600.02/3609.91 c #Conflicts: 1680000 | #Constraints: 96227
3600.02/3609.91 c #Conflicts: 1681000 | #Constraints: 97227
3600.02/3609.91 c #Conflicts: 1682000 | #Constraints: 98227
3600.02/3609.91 c #Conflicts: 1683000 | #Constraints: 99227
3600.02/3609.91 c #Conflicts: 1684000 | #Constraints: 100227
3600.02/3609.91 c #Conflicts: 1685000 | #Constraints: 101227
3600.02/3609.91 c #Conflicts: 1686000 | #Constraints: 102227
3600.02/3609.91 c #Conflicts: 1687000 | #Constraints: 103227
3600.02/3609.91 c #Conflicts: 1688000 | #Constraints: 104227
3600.02/3609.91 c #Conflicts: 1689000 | #Constraints: 105227
3600.02/3609.91 c #Conflicts: 1690000 | #Constraints: 106227
3600.02/3609.91 c #Conflicts: 1691000 | #Constraints: 107227
3600.02/3609.91 c #Conflicts: 1692000 | #Constraints: 108227
3600.02/3609.91 c #Conflicts: 1693000 | #Constraints: 109227
3600.02/3609.91 c #Conflicts: 1694000 | #Constraints: 110227
3600.02/3609.91 c INPROCESSING
3600.02/3609.91 c GARBAGE COLLECT
3600.02/3609.91 c #Conflicts: 1695000 | #Constraints: 85424
3600.02/3609.91 c #Conflicts: 1696000 | #Constraints: 86424
3600.02/3609.91 c #Conflicts: 1697000 | #Constraints: 87424
3600.02/3609.91 c #Conflicts: 1698000 | #Constraints: 88424
3600.02/3609.91 c #Conflicts: 1699000 | #Constraints: 89424
3600.02/3609.91 c #Conflicts: 1700000 | #Constraints: 90424
3600.02/3609.91 c #Conflicts: 1701000 | #Constraints: 91424
3600.02/3609.91 c #Conflicts: 1702000 | #Constraints: 92424
3600.02/3609.91 c #Conflicts: 1703000 | #Constraints: 93424
3600.02/3609.91 c #Conflicts: 1704000 | #Constraints: 94424
3600.02/3609.91 c #Conflicts: 1705000 | #Constraints: 95424
3600.02/3609.91 c #Conflicts: 1706000 | #Constraints: 96424
3600.02/3609.91 c #Conflicts: 1707000 | #Constraints: 97424
3600.02/3609.91 c #Conflicts: 1708000 | #Constraints: 98424
3600.02/3609.91 c #Conflicts: 1709000 | #Constraints: 99424
3600.02/3609.91 c #Conflicts: 1710000 | #Constraints: 100424
3600.02/3609.91 c #Conflicts: 1711000 | #Constraints: 101424
3600.02/3609.91 c #Conflicts: 1712000 | #Constraints: 102424
3600.02/3609.91 c #Conflicts: 1713000 | #Constraints: 103424
3600.02/3609.91 c #Conflicts: 1714000 | #Constraints: 104424
3600.02/3609.91 c #Conflicts: 1715000 | #Constraints: 105424
3600.02/3609.91 c #Conflicts: 1716000 | #Constraints: 106424
3600.02/3609.91 c Program interrupted by user.
3600.02/3609.91 c cpu time 3593.13 s
3600.02/3609.91 c deterministic time 716924401477 7.17e+11
3600.02/3609.91 c optimization time 65.3941 s
3600.02/3609.91 c total solve time 3228.45 s
3600.02/3609.91 c core-guided solve time 3228.45 s
3600.02/3609.91 c propagation time 3106.99 s
3600.02/3609.91 c conflict analysis time 143.676 s
3600.02/3609.91 c propagations 38889172
3600.02/3609.91 c resolve steps 12211196
3600.02/3609.91 c decisions 2409832
3600.02/3609.91 c conflicts 1716488
3600.02/3609.91 c restarts 3304
3600.02/3609.91 c inprocessing phases 121
3600.02/3609.91 c input clauses 58411
3600.02/3609.91 c input cardinalities 20
3600.02/3609.91 c input general constraints 0
3600.02/3609.91 c input average constraint length 2.34
3600.02/3609.91 c input average constraint degree 1.26
3600.02/3609.91 c learned clauses 1049942
3600.02/3609.91 c learned cardinalities 465761
3600.02/3609.91 c learned general constraints 200785
3600.02/3609.91 c learned average constraint length 893.33
3600.02/3609.91 c learned average constraint degree 15.01
3600.02/3609.91 c watched constraints 200785
3600.02/3609.91 c counting constraints 0
3600.02/3609.91 c gcd simplifications 94518
3600.02/3609.91 c detected cardinalities 17417
3600.02/3609.91 c weakened non-implied lits 24392737
3600.02/3609.91 c weakened non-implying lits 68111
3600.02/3609.91 c original variables 945
3600.02/3609.91 c clausal propagations 26919051
3600.02/3609.91 c cardinality propagations 6384964
3600.02/3609.91 c watched propagations 986346
3600.02/3609.91 c counting propagations 0
3600.02/3609.91 c watch lookups 23506129757
3600.02/3609.91 c watch backjump lookups 3989481
3600.02/3609.91 c watch checks 689089007295
3600.02/3609.91 c propagation checks 1155585403
3600.02/3609.91 c constraint additions 3085376108
3600.02/3609.91 c trail pops 43014428
3600.02/3609.91 c formula constraints 58245
3600.02/3609.91 c learned constraints 1716488
3600.02/3609.91 c bound constraints 20
3600.02/3609.91 c core-guided constraints 166
3600.02/3609.91 c encountered formula constraints 9763019
3600.02/3609.91 c encountered learned constraints 4117411
3600.02/3609.91 c encountered bound constraints 2313
3600.02/3609.91 c encountered core-guided constraints 44941
3600.02/3609.91 c LP total time 0 s
3600.02/3609.91 c LP solve time 0 s
3600.02/3609.91 c LP constraints added 0
3600.02/3609.91 c LP constraints removed 0
3600.02/3609.91 c LP pivots internal 0
3600.02/3609.91 c LP pivots root 0
3600.02/3609.91 c LP calls 0
3600.02/3609.91 c LP optimalities 0
3600.02/3609.91 c LP no pivot count 0
3600.02/3609.91 c LP infeasibilities 0
3600.02/3609.91 c LP valid Farkas constraints 0
3600.02/3609.91 c LP learned Farkas constraints 0
3600.02/3609.91 c LP basis resets 0
3600.02/3609.91 c LP cycling count 0
3600.02/3609.91 c LP singular count 0
3600.02/3609.91 c LP no primal count 0
3600.02/3609.91 c LP no farkas count 0
3600.02/3609.91 c LP other issue count 0
3600.02/3609.91 c LP Gomory cuts 0
3600.02/3609.91 c LP learned cuts 0
3600.02/3609.91 c LP deleted cuts 0
3600.02/3609.91 c LP encountered Gomory constraints 0
3600.02/3609.91 c LP encountered Farkas constraints 0
3600.02/3609.91 c LP encountered learned Farkas constraints 0
3600.02/3609.91 c CG auxiliary variables introduced 166
3600.02/3609.91 c CG solutions found 0
3600.02/3609.91 c CG cores constructed 19
3600.02/3609.91 c CG core cardinality constraints returned 0
3600.02/3609.91 c CG unit cores 0
3600.02/3609.91 c CG single cores 19
3600.02/3609.91 c CG blocks removed during cardinality reduction 0
3600.02/3609.91 c CG first core best 0
3600.02/3609.91 c CG decision core best 0
3600.02/3609.91 c CG core reduction tie 0
3600.02/3609.91 c CG core degree average 1.00
3600.02/3609.91 c CG core slack average 7.21
3600.02/3609.91 c CG exhausted 0
3600.02/3609.91 c CG exhaust time 0 s
3600.02/3609.91 c CG trimmed 1
3600.02/3609.91 c CG trim time 0.000141 s
3600.02/3609.91 c CG minimized 0
3600.02/3609.91 c CG minimize time 0 s
3600.02/3609.91 c CG am1 prop time 0.00389 s
3600.02/3609.91 c CG # am1s reformulated 166
3600.02/3609.91 c CG lower bound derived from am1s 778
3600.02/3609.91 c CG # clausal cores 19
3600.02/3609.91 c CG # cardinality cores 0
3600.02/3609.91 c CG # pb cores 0
3600.02/3609.91 c CG # pb reforms 0
3600.02/3609.91 c CG # cores discarded because of pb reform 0
3600.02/3609.91 d LOWERBOUND -148
3600.02/3609.91 d NCORES 19
3600.02/3609.91 d NPBCORES 0
3600.02/3609.91 d NPBREFORM 0
3600.02/3609.91 d NTRIMMED 1
3600.02/3609.91 d NEXHAUSTED 0
3600.02/3609.91 d NAM1S 166
3600.02/3609.91 d AM1LB 778
3600.02/3609.91 c [Papilo Statistics]
3600.02/3609.91 c prepro time 0.141312s
3600.02/3609.91 c # tsx applied 0
3600.02/3609.91 c # tsx conflicts 0
3600.02/3609.91 c # bound changes 0
3600.02/3609.91 c # side changes 0
3600.02/3609.91 c # coef changes 0
3600.02/3609.91 c # rounds 1
3600.02/3609.91 c # deted vars 0
3600.02/3609.91 c # deted constrs 0
3600.02/3609.91 c # consecutive rounds of only bound changes 0
3600.02/3609.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 (45374 MiB free)
memory of node 1: 64465 MiB (62755 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528981-1752253977/watcher-4528981-1752253977 -o /tmp/evaluation-result-4528981-1752253977/solver-4528981-1752253977 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752253734-121214 --watchdog 3760 mixed-bag HOME/instance-4528981-1752253977.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=121862, runsolver pid=121859
[startup+0.100062 s]*
/proc/loadavg: 4.04 3.24 2.96 5/265 121863
/proc/meminfo: memFree=110717348/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=86452 memory=14476 CPUtime=0.06 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 2271 0 0 0 6 0 0 0 20 0 1 0 141074312 88526848 3619 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 21613 3619 2112 2834 0 4365 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 86452 KiB
Current children cumulated memory: 14476 KiB
[startup+0.205755 s]*
/proc/loadavg: 4.04 3.24 2.96 5/265 121863
/proc/meminfo: memFree=110701232/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=117532 memory=38948 CPUtime=0.17 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 8402 0 0 0 16 1 0 0 20 0 1 0 141074312 120352768 9737 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 29383 9737 2240 2834 0 11588 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 117532 KiB
Current children cumulated memory: 38948 KiB
[startup+0.305977 s]*
/proc/loadavg: 4.04 3.24 2.96 5/265 121863
/proc/meminfo: memFree=110691360/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=128212 memory=54736 CPUtime=0.27 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 11949 0 0 0 25 2 0 0 20 0 1 0 141074312 131289088 13684 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 32053 13684 3616 2834 0 14258 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 128212 KiB
Current children cumulated memory: 54736 KiB
[startup+0.700177 s]
/proc/loadavg: 4.04 3.24 2.96 5/265 121863
/proc/meminfo: memFree=110602656/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=219888 memory=145956 CPUtime=0.66 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 39042 0 0 0 59 7 0 0 20 0 1 0 141074312 225165312 36489 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 54972 36489 3936 2834 0 37177 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 219888 KiB
Current children cumulated memory: 145956 KiB
[startup+1.50017 s]
/proc/loadavg: 4.04 3.24 2.96 5/265 121863
/proc/meminfo: memFree=110430452/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=395120 memory=303640 CPUtime=1.45 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 47172 0 0 0 134 11 0 0 20 0 1 0 141074312 404602880 75910 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 98780 75910 4064 2834 0 80985 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 395120 KiB
Current children cumulated memory: 303640 KiB
[startup+3.10543 s]
/proc/loadavg: 4.04 3.24 2.96 5/265 121864
/proc/meminfo: memFree=110113788/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=461844 memory=365984 CPUtime=3.05 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 62566 0 0 0 291 14 0 0 20 0 1 0 141074312 472928256 91496 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 115461 91496 4224 2834 0 97666 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 461844 KiB
Current children cumulated memory: 365984 KiB
[startup+6.3001 s]
/proc/loadavg: 4.04 3.25 2.97 5/265 121864
/proc/meminfo: memFree=110090072/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=487348 memory=377384 CPUtime=6.24 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 64908 0 0 0 609 15 0 0 20 0 1 0 141074312 499044352 94346 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 121837 94346 4224 2834 0 104042 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 487348 KiB
Current children cumulated memory: 377384 KiB
[startup+12.7002 s]
/proc/loadavg: 4.04 3.26 2.98 5/265 121864
/proc/meminfo: memFree=110077712/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=522600 memory=384424 CPUtime=12.62 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 66661 0 0 0 1247 15 0 0 20 0 1 0 141074312 535142400 96106 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 130650 96106 4224 2834 0 112855 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 522600 KiB
Current children cumulated memory: 384424 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 3.32 3.00 5/265 121864
/proc/meminfo: memFree=109835748/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=658852 memory=459136 CPUtime=25.38 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 84860 0 0 0 2520 18 0 0 20 0 1 0 141074312 674664448 114784 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 164713 114784 4224 2834 0 146918 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 658852 KiB
Current children cumulated memory: 459136 KiB
[startup+51.1056 s]
/proc/loadavg: 4.07 3.37 3.03 5/265 121864
/proc/meminfo: memFree=109823472/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=699672 memory=459392 CPUtime=50.91 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 84920 0 0 0 5073 18 0 0 20 0 1 0 141074312 716464128 114848 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 174918 114848 4224 2834 0 157123 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 699672 KiB
Current children cumulated memory: 459392 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 3.49 3.09 5/264 121866
/proc/meminfo: memFree=109730228/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=762444 memory=516916 CPUtime=101.94 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 106521 0 0 0 10173 21 0 0 20 0 1 0 141074312 780742656 129229 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 190611 129229 4224 2834 0 172816 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 762444 KiB
Current children cumulated memory: 516916 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 3.61 3.16 5/264 121868
/proc/meminfo: memFree=109518168/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=937076 memory=568208 CPUtime=161.76 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 113865 0 0 0 16153 23 0 0 20 0 1 0 141074312 959565824 142052 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 234269 142052 4224 2834 0 216474 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 937076 KiB
Current children cumulated memory: 568208 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 3.70 3.22 5/262 121870
/proc/meminfo: memFree=109528728/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=1023508 memory=630656 CPUtime=221.6 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 123897 0 0 0 22135 25 0 0 20 0 1 0 141074312 1048072192 157664 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 255877 157664 4224 2834 0 238082 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 1023508 KiB
Current children cumulated memory: 630656 KiB
[startup+282.3 s]
/proc/loadavg: 4.23 3.81 3.29 5/263 121879
/proc/meminfo: memFree=109394952/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=1079444 memory=659748 CPUtime=281.43 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 127793 0 0 0 28117 26 0 0 20 0 1 0 141074312 1105350656 164937 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 269861 164937 4224 2834 0 252066 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 1079444 KiB
Current children cumulated memory: 659748 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.86 3.34 5/263 121881
/proc/meminfo: memFree=109669176/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=855336 memory=492280 CPUtime=341.27 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 131366 0 0 0 34066 61 0 0 20 0 1 0 141074312 875864064 123070 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 213834 123070 4384 2834 0 196039 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 855336 KiB
Current children cumulated memory: 492280 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.90 3.39 5/263 121883
/proc/meminfo: memFree=109615356/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=886156 memory=506908 CPUtime=401.1 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 131959 0 0 0 40017 93 0 0 20 0 1 0 141074312 907423744 126727 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 221539 126727 4384 2834 0 203744 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 886156 KiB
Current children cumulated memory: 506908 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.95 3.44 5/264 121886
/proc/meminfo: memFree=109548100/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=886156 memory=519196 CPUtime=460.94 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 131965 0 0 0 45973 121 0 0 20 0 1 0 141074312 907423744 129799 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 221539 129799 4384 2834 0 203744 0
Current children cumulated CPU time: 460.94 s
################
# More data... #
################
Current children cumulated memory: 748080 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.07 5/267 122016
/proc/meminfo: memFree=108212844/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=1017632 memory=750128 CPUtime=2914.49 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 133214 0 0 0 290854 595 0 0 20 0 1 0 141074312 1042055168 187532 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 254408 187532 4384 2834 0 236613 0
Current children cumulated CPU time: 2914.49 s
Current children cumulated vsize: 1017632 KiB
Current children cumulated memory: 750128 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.07 5/263 122018
/proc/meminfo: memFree=108023448/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=1017632 memory=750128 CPUtime=2974.31 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 133214 0 0 0 296829 602 0 0 20 0 1 0 141074312 1042055168 187532 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 254408 187532 4384 2834 0 236613 0
Current children cumulated CPU time: 2974.31 s
Current children cumulated vsize: 1017632 KiB
Current children cumulated memory: 750128 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.07 5/263 122020
/proc/meminfo: memFree=108025100/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=1017632 memory=750128 CPUtime=3034.13 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 133215 0 0 0 302802 611 0 0 20 0 1 0 141074312 1042055168 187532 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 254408 187532 4384 2834 0 236613 0
Current children cumulated CPU time: 3034.13 s
Current children cumulated vsize: 1017632 KiB
Current children cumulated memory: 750128 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.07 5/263 122023
/proc/meminfo: memFree=108020876/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=1017632 memory=752176 CPUtime=3093.95 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 133333 0 0 0 308776 619 0 0 20 0 1 0 141074312 1042055168 188044 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 254408 188044 4384 2834 0 236613 0
Current children cumulated CPU time: 3093.95 s
Current children cumulated vsize: 1017632 KiB
Current children cumulated memory: 752176 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.07 5/264 122026
/proc/meminfo: memFree=108022884/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=1017632 memory=754224 CPUtime=3153.77 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 133391 0 0 0 314750 627 0 0 20 0 1 0 141074312 1042055168 188556 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 254408 188556 4384 2834 0 236613 0
Current children cumulated CPU time: 3153.77 s
Current children cumulated vsize: 1017632 KiB
Current children cumulated memory: 754224 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.08 5/264 122028
/proc/meminfo: memFree=108025536/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=1017632 memory=756272 CPUtime=3213.59 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 133393 0 0 0 320724 635 0 0 20 0 1 0 141074312 1042055168 189068 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 254408 189068 4384 2834 0 236613 0
Current children cumulated CPU time: 3213.59 s
Current children cumulated vsize: 1017632 KiB
Current children cumulated memory: 756272 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.11 4.08 5/265 122038
/proc/meminfo: memFree=108031204/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=1017632 memory=756272 CPUtime=3273.42 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 133393 0 0 0 326696 646 0 0 20 0 1 0 141074312 1042055168 189068 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 254408 189068 4384 2834 0 236613 0
Current children cumulated CPU time: 3273.42 s
Current children cumulated vsize: 1017632 KiB
Current children cumulated memory: 756272 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/265 122040
/proc/meminfo: memFree=108027988/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=1017632 memory=758320 CPUtime=3333.24 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 133394 0 0 0 332669 655 0 0 20 0 1 0 141074312 1042055168 189580 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 254408 189580 4384 2834 0 236613 0
Current children cumulated CPU time: 3333.24 s
Current children cumulated vsize: 1017632 KiB
Current children cumulated memory: 758320 KiB
[startup+3402.3 s]
/proc/loadavg: 3.72 4.02 4.05 4/259 122073
/proc/meminfo: memFree=109801540/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=1017632 memory=762416 CPUtime=3393.05 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 133397 0 0 0 338641 664 0 0 20 0 1 0 141074312 1042055168 190604 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 254408 190604 4384 2834 0 236613 0
Current children cumulated CPU time: 3393.05 s
Current children cumulated vsize: 1017632 KiB
Current children cumulated memory: 762416 KiB
[startup+3462.3 s]
/proc/loadavg: 3.39 3.86 4.00 4/259 122075
/proc/meminfo: memFree=109797548/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=1017632 memory=762416 CPUtime=3452.87 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 133397 0 0 0 344616 671 0 0 20 0 1 0 141074312 1042055168 190604 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 254408 190604 4384 2834 0 236613 0
Current children cumulated CPU time: 3452.87 s
Current children cumulated vsize: 1017632 KiB
Current children cumulated memory: 762416 KiB
[startup+3522.3 s]
/proc/loadavg: 2.86 3.64 3.91 3/253 122109
/proc/meminfo: memFree=110490948/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=1017632 memory=762416 CPUtime=3512.68 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 133397 0 0 0 350589 679 0 0 20 0 1 0 141074312 1042055168 190604 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 254408 190604 4384 2834 0 236613 0
Current children cumulated CPU time: 3512.68 s
Current children cumulated vsize: 1017632 KiB
Current children cumulated memory: 762416 KiB
[startup+3582.3 s]
/proc/loadavg: 2.36 3.35 3.79 3/252 122111
/proc/meminfo: memFree=110491180/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=1017632 memory=762416 CPUtime=3572.5 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 133399 0 0 0 356562 688 0 0 20 0 1 0 141074312 1042055168 190604 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 254408 190604 4384 2834 0 236613 0
Current children cumulated CPU time: 3572.5 s
Current children cumulated vsize: 1017632 KiB
Current children cumulated memory: 762416 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 2.31 3.26 3.75 2/250 122126
/proc/meminfo: memFree=111415148/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=1017632 memory=762416 CPUtime=3600.02 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 133399 0 0 0 359311 691 0 0 20 0 1 0 141074312 1042055168 190604 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 254408 190604 4384 2834 0 236613 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1017632 KiB
Current children cumulated memory: 762416 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.92 s]
# the end of solver process 121862 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.13 s, system=6.91332 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 2.31 3.26 3.75 2/250 122126
/proc/meminfo: memFree=111415148/131250000 swapFree=33008356/33010684
[pid=121862] ppid=121859 vsize=1017632 memory=762416 CPUtime=3600.02 cores=5,7
/proc/121862/stat : 121862 (mixed-bag) R 121859 121862 119920 0 -1 4194304 133399 0 0 0 359311 691 0 0 20 0 1 0 141074312 1042055168 190604 18446744073709551615 4235264 15840557 140726988916384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 27484160 140726988921242 140726988921319 140726988921319 140726988926923 0
/proc/121862/statm: 254408 190604 4384 2834 0 236613 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1017632 KiB
Current children cumulated memory: 762416 KiB
Child status: 0
Real time (s): 3609.92
CPU time (s): 3600.05
CPU user time (s): 3593.13
CPU system time (s): 6.91332
CPU usage (%): 99.7266
Max. virtual memory (cumulated for all children) (KiB): 1101136
Max. memory (cumulated for all children) (KiB): 762416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.13
system time used= 6.91332
maximum resident set size= 763440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133433
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= 171
involuntary context switches= 1323
# summary of solver processes directly reported to runsolver:
# pid: 121862
# total CPU time (s): 3600.05
# total CPU user time (s): 3593.13
# total CPU system time (s): 6.91332
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77924 second user time and 16.1054 second system time
The end
Begin job on nodeC014 at 2025-07-11 19:12:57
IDJOB=4528981
IDBENCH=146684
IDSOLVER=3386
FILE ID=nodeC014/4528981-1752253977
RUNJOBID= nodeC014-1752253734-121214
SLURM_JOB_ID= 9682574
Free space on /tmp= 430464 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528981-1752253977/watcher-4528981-1752253977 -o /tmp/evaluation-result-4528981-1752253977/solver-4528981-1752253977 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752253734-121214 --watchdog 3760 mixed-bag HOME/instance-4528981-1752253977.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a3f6b61db250b51897503d5946a188dc
RANDOM SEED=1436168932
nodeC014 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.106
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.23
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 : 3600.050
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.23
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 : 3596.990
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.23
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 : 3596.035
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.23
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.014
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.23
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 : 3710.636
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.23
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 : 3700.000
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.23
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.113
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.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 110725080 kB
MemAvailable: 128235412 kB
Buffers: 696 kB
Cached: 18260308 kB
SwapCached: 1628 kB
Active: 1844356 kB
Inactive: 17889628 kB
Active(anon): 1466568 kB
Inactive(anon): 31012 kB
Active(file): 377788 kB
Inactive(file): 17858616 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008356 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 33968 kB
Writeback: 0 kB
AnonPages: 1472472 kB
Mapped: 137692 kB
Shmem: 24596 kB
KReclaimable: 226336 kB
Slab: 320688 kB
SReclaimable: 226336 kB
SUnreclaim: 94352 kB
KernelStack: 4288 kB
PageTables: 6356 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2226964 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 542720 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430500 MiB
End job on nodeC014 at 2025-07-11 20:13:07