0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.09/0.16 c [STEP] preprocessing with Papilo
0.29/0.31 c Papilo could not simplify the problem
0.29/0.31 c [STEP] solving with SCIP
299.51/300.47 c [STEP] preprocessing done, loading into solver
299.61/300.59 c [STEP] solving
299.61/300.59 c #variables 1151 #constraints 80035
299.61/300.59 c SMALL=int, LARGE=long long
299.61/300.59 d SCIPUB -43
299.61/300.59 c bounds - >= -1150 @ 299.364
299.61/300.59 c stratification level: 0
328.44/329.42 c bounds - >= -198 @ 299.402
328.44/329.42 c bounds - >= -197 @ 299.403
328.44/329.42 c bounds - >= -196 @ 299.404
328.44/329.42 c bounds - >= -195 @ 299.405
328.44/329.42 c bounds - >= -194 @ 299.405
328.44/329.42 c bounds - >= -193 @ 299.405
328.44/329.42 c bounds - >= -192 @ 299.405
328.44/329.42 c bounds - >= -191 @ 299.406
328.44/329.42 c bounds - >= -190 @ 299.406
328.44/329.42 c bounds - >= -189 @ 299.406
328.44/329.42 c bounds - >= -188 @ 299.406
328.44/329.42 c bounds - >= -187 @ 299.406
328.44/329.42 c bounds - >= -186 @ 299.407
328.44/329.42 c bounds - >= -185 @ 299.407
328.44/329.42 c bounds - >= -184 @ 299.408
328.44/329.42 c bounds - >= -183 @ 299.408
328.44/329.42 c bounds - >= -182 @ 299.409
328.44/329.42 c bounds - >= -181 @ 299.409
328.44/329.42 c bounds - >= -180 @ 299.41
328.44/329.42 c bounds - >= -179 @ 299.41
328.44/329.42 c bounds - >= -178 @ 299.41
328.44/329.42 c bounds - >= -177 @ 299.411
328.44/329.42 c bounds - >= -176 @ 299.411
328.44/329.42 c bounds - >= -175 @ 299.412
328.44/329.42 c #Conflicts: 1000 | #Constraints: 81257
328.44/329.42 c #Conflicts: 2000 | #Constraints: 82257
328.44/329.42 c INPROCESSING
328.44/329.42 c GARBAGE COLLECT
328.44/329.42 c #Conflicts: 3000 | #Constraints: 82245
328.44/329.42 c #Conflicts: 4000 | #Constraints: 83245
328.44/329.42 c INPROCESSING
328.44/329.42 c GARBAGE COLLECT
328.44/329.42 c #Conflicts: 5000 | #Constraints: 82659
328.44/329.42 c #Conflicts: 6000 | #Constraints: 83659
328.44/329.42 c INPROCESSING
328.44/329.42 c GARBAGE COLLECT
328.44/329.42 c #Conflicts: 7000 | #Constraints: 82669
328.44/329.42 c #Conflicts: 8000 | #Constraints: 83669
328.44/329.42 c #Conflicts: 9000 | #Constraints: 84669
328.44/329.42 c INPROCESSING
328.44/329.42 c GARBAGE COLLECT
328.44/329.42 c #Conflicts: 10000 | #Constraints: 83372
328.44/329.42 c #Conflicts: 11000 | #Constraints: 84372
328.44/329.42 c #Conflicts: 12000 | #Constraints: 85372
328.44/329.42 c INPROCESSING
328.44/329.42 c GARBAGE COLLECT
328.44/329.42 c #Conflicts: 13000 | #Constraints: 83828
328.44/329.42 c #Conflicts: 14000 | #Constraints: 84828
328.44/329.42 c #Conflicts: 15000 | #Constraints: 85828
328.44/329.42 c INPROCESSING
328.44/329.42 c GARBAGE COLLECT
328.44/329.42 c #Conflicts: 16000 | #Constraints: 84069
328.44/329.42 c #Conflicts: 17000 | #Constraints: 85069
328.44/329.42 c #Conflicts: 18000 | #Constraints: 86069
328.44/329.42 c INPROCESSING
328.44/329.42 c GARBAGE COLLECT
328.44/329.42 c #Conflicts: 19000 | #Constraints: 84094
328.44/329.42 c #Conflicts: 20000 | #Constraints: 85094
328.44/329.42 c #Conflicts: 21000 | #Constraints: 86094
328.44/329.42 c INPROCESSING
328.44/329.42 c GARBAGE COLLECT
328.44/329.42 c #Conflicts: 22000 | #Constraints: 83899
328.44/329.42 c #Conflicts: 23000 | #Constraints: 84899
328.44/329.42 c #Conflicts: 24000 | #Constraints: 85899
328.44/329.42 c #Conflicts: 25000 | #Constraints: 86899
328.44/329.42 c INPROCESSING
328.44/329.42 c GARBAGE COLLECT
328.44/329.42 c #Conflicts: 26000 | #Constraints: 84511
328.44/329.42 c #Conflicts: 27000 | #Constraints: 85511
328.44/329.42 c #Conflicts: 28000 | #Constraints: 86511
328.44/329.42 c #Conflicts: 29000 | #Constraints: 87511
328.44/329.42 c INPROCESSING
328.44/329.42 c GARBAGE COLLECT
328.44/329.42 c #Conflicts: 30000 | #Constraints: 84919
328.44/329.42 c #Conflicts: 31000 | #Constraints: 85919
328.44/329.42 c #Conflicts: 32000 | #Constraints: 86919
328.44/329.42 c #Conflicts: 33000 | #Constraints: 87919
328.44/329.42 c INPROCESSING
328.44/329.42 c GARBAGE COLLECT
328.44/329.42 c #Conflicts: 34000 | #Constraints: 85126
328.44/329.42 c #Conflicts: 35000 | #Constraints: 86126
328.44/329.42 c #Conflicts: 36000 | #Constraints: 87126
328.44/329.42 c #Conflicts: 37000 | #Constraints: 88126
328.44/329.42 c INPROCESSING
328.44/329.42 c GARBAGE COLLECT
328.44/329.42 c #Conflicts: 38000 | #Constraints: 85132
328.44/329.42 c #Conflicts: 39000 | #Constraints: 86132
328.44/329.42 c #Conflicts: 40000 | #Constraints: 87132
328.44/329.42 c #Conflicts: 41000 | #Constraints: 88132
328.44/329.42 c INPROCESSING
328.44/329.42 c GARBAGE COLLECT
328.44/329.42 c #Conflicts: 42000 | #Constraints: 84950
328.44/329.42 c #Conflicts: 43000 | #Constraints: 85950
328.44/329.42 c #Conflicts: 44000 | #Constraints: 86950
328.44/329.42 c #Conflicts: 45000 | #Constraints: 87950
328.44/329.42 c #Conflicts: 46000 | #Constraints: 88950
328.44/329.42 c INPROCESSING
328.44/329.42 c GARBAGE COLLECT
328.44/329.42 c #Conflicts: 47000 | #Constraints: 85550
328.44/329.42 c #Conflicts: 48000 | #Constraints: 86550
328.44/329.42 c #Conflicts: 49000 | #Constraints: 87550
328.44/329.42 c #Conflicts: 50000 | #Constraints: 88550
328.44/329.42 c #Conflicts: 51000 | #Constraints: 89550
328.44/329.42 c INPROCESSING
328.44/329.42 c GARBAGE COLLECT
328.44/329.42 c #Conflicts: 52000 | #Constraints: 85933
328.44/329.42 c #Conflicts: 53000 | #Constraints: 86933
328.44/329.42 c #Conflicts: 54000 | #Constraints: 87933
328.44/329.42 c #Conflicts: 55000 | #Constraints: 88933
328.44/329.42 c #Conflicts: 56000 | #Constraints: 89933
384.09/385.25 c INPROCESSING
384.09/385.25 c GARBAGE COLLECT
384.09/385.25 c #Conflicts: 57000 | #Constraints: 86132
384.09/385.25 c #Conflicts: 58000 | #Constraints: 87132
384.09/385.25 c #Conflicts: 59000 | #Constraints: 88132
384.09/385.25 c #Conflicts: 60000 | #Constraints: 89132
384.09/385.25 c #Conflicts: 61000 | #Constraints: 90132
384.09/385.25 c INPROCESSING
384.09/385.25 c GARBAGE COLLECT
384.09/385.25 c #Conflicts: 62000 | #Constraints: 86133
384.09/385.25 c #Conflicts: 63000 | #Constraints: 87133
384.09/385.25 c #Conflicts: 64000 | #Constraints: 88133
384.09/385.25 c #Conflicts: 65000 | #Constraints: 89133
384.09/385.25 c #Conflicts: 66000 | #Constraints: 90133
384.09/385.25 c INPROCESSING
384.09/385.25 c GARBAGE COLLECT
384.09/385.25 c #Conflicts: 67000 | #Constraints: 85956
384.09/385.25 c #Conflicts: 68000 | #Constraints: 86956
384.09/385.25 c #Conflicts: 69000 | #Constraints: 87956
384.09/385.25 c #Conflicts: 70000 | #Constraints: 88956
384.09/385.25 c #Conflicts: 71000 | #Constraints: 89956
384.09/385.25 c #Conflicts: 72000 | #Constraints: 90956
384.09/385.25 c INPROCESSING
384.09/385.25 c GARBAGE COLLECT
384.09/385.25 c #Conflicts: 73000 | #Constraints: 86553
384.09/385.25 c #Conflicts: 74000 | #Constraints: 87553
384.09/385.25 c #Conflicts: 75000 | #Constraints: 88553
384.09/385.25 c #Conflicts: 76000 | #Constraints: 89553
384.09/385.25 c #Conflicts: 77000 | #Constraints: 90553
384.09/385.25 c #Conflicts: 78000 | #Constraints: 91553
384.09/385.25 c INPROCESSING
384.09/385.25 c GARBAGE COLLECT
384.09/385.25 c #Conflicts: 79000 | #Constraints: 86949
384.09/385.25 c #Conflicts: 80000 | #Constraints: 87949
384.09/385.25 c #Conflicts: 81000 | #Constraints: 88949
384.09/385.25 c #Conflicts: 82000 | #Constraints: 89949
384.09/385.25 c #Conflicts: 83000 | #Constraints: 90949
384.09/385.25 c #Conflicts: 84000 | #Constraints: 91949
384.09/385.25 c INPROCESSING
384.09/385.25 c GARBAGE COLLECT
384.09/385.25 c #Conflicts: 85000 | #Constraints: 87170
384.09/385.25 c #Conflicts: 86000 | #Constraints: 88170
384.09/385.25 c #Conflicts: 87000 | #Constraints: 89170
384.09/385.25 c #Conflicts: 88000 | #Constraints: 90170
384.09/385.25 c #Conflicts: 89000 | #Constraints: 91170
384.09/385.25 c #Conflicts: 90000 | #Constraints: 92170
384.09/385.25 c INPROCESSING
384.09/385.25 c GARBAGE COLLECT
384.09/385.25 c #Conflicts: 91000 | #Constraints: 87165
384.09/385.25 c #Conflicts: 92000 | #Constraints: 88165
384.09/385.25 c #Conflicts: 93000 | #Constraints: 89165
384.09/385.25 c #Conflicts: 94000 | #Constraints: 90165
384.09/385.25 c #Conflicts: 95000 | #Constraints: 91165
384.09/385.25 c #Conflicts: 96000 | #Constraints: 92165
384.09/385.25 c INPROCESSING
384.09/385.25 c GARBAGE COLLECT
384.09/385.25 c #Conflicts: 97000 | #Constraints: 86957
384.09/385.25 c #Conflicts: 98000 | #Constraints: 87957
384.09/385.25 c #Conflicts: 99000 | #Constraints: 88957
384.09/385.25 c #Conflicts: 100000 | #Constraints: 89957
384.09/385.25 c #Conflicts: 101000 | #Constraints: 90957
384.09/385.25 c #Conflicts: 102000 | #Constraints: 91957
384.09/385.25 c #Conflicts: 103000 | #Constraints: 92957
384.09/385.25 c INPROCESSING
384.09/385.25 c GARBAGE COLLECT
384.09/385.25 c #Conflicts: 104000 | #Constraints: 87546
384.09/385.25 c #Conflicts: 105000 | #Constraints: 88546
384.09/385.25 c #Conflicts: 106000 | #Constraints: 89546
384.09/385.25 c #Conflicts: 107000 | #Constraints: 90546
384.09/385.25 c #Conflicts: 108000 | #Constraints: 91546
384.09/385.25 c #Conflicts: 109000 | #Constraints: 92546
384.09/385.25 c #Conflicts: 110000 | #Constraints: 93546
384.09/385.25 c INPROCESSING
384.09/385.25 c GARBAGE COLLECT
384.09/385.25 c #Conflicts: 111000 | #Constraints: 87953
384.09/385.25 c #Conflicts: 112000 | #Constraints: 88953
384.09/385.25 c #Conflicts: 113000 | #Constraints: 89953
384.09/385.25 c #Conflicts: 114000 | #Constraints: 90953
384.09/385.25 c #Conflicts: 115000 | #Constraints: 91953
384.09/385.25 c #Conflicts: 116000 | #Constraints: 92953
384.09/385.25 c #Conflicts: 117000 | #Constraints: 93953
384.09/385.25 c INPROCESSING
384.09/385.25 c GARBAGE COLLECT
384.09/385.25 c #Conflicts: 118000 | #Constraints: 88164
384.09/385.25 c #Conflicts: 119000 | #Constraints: 89164
384.09/385.25 c #Conflicts: 120000 | #Constraints: 90164
384.09/385.25 c #Conflicts: 121000 | #Constraints: 91164
384.09/385.25 c #Conflicts: 122000 | #Constraints: 92164
384.09/385.25 c #Conflicts: 123000 | #Constraints: 93164
384.09/385.25 c #Conflicts: 124000 | #Constraints: 94164
384.09/385.25 c INPROCESSING
384.09/385.25 c GARBAGE COLLECT
384.09/385.25 c #Conflicts: 125000 | #Constraints: 88191
384.09/385.25 c #Conflicts: 126000 | #Constraints: 89191
384.09/385.25 c #Conflicts: 127000 | #Constraints: 90191
384.09/385.25 c #Conflicts: 128000 | #Constraints: 91191
458.79/460.16 c #Conflicts: 129000 | #Constraints: 92191
458.79/460.16 c #Conflicts: 130000 | #Constraints: 93191
458.79/460.16 c #Conflicts: 131000 | #Constraints: 94191
458.79/460.16 c INPROCESSING
458.79/460.16 c GARBAGE COLLECT
458.79/460.16 c #Conflicts: 132000 | #Constraints: 87956
458.79/460.16 c #Conflicts: 133000 | #Constraints: 88956
458.79/460.16 c #Conflicts: 134000 | #Constraints: 89956
458.79/460.16 c #Conflicts: 135000 | #Constraints: 90956
458.79/460.16 c #Conflicts: 136000 | #Constraints: 91956
458.79/460.16 c #Conflicts: 137000 | #Constraints: 92956
458.79/460.16 c #Conflicts: 138000 | #Constraints: 93956
458.79/460.16 c #Conflicts: 139000 | #Constraints: 94956
458.79/460.16 c INPROCESSING
458.79/460.16 c GARBAGE COLLECT
458.79/460.16 c #Conflicts: 140000 | #Constraints: 88558
458.79/460.16 c #Conflicts: 141000 | #Constraints: 89558
458.79/460.16 c #Conflicts: 142000 | #Constraints: 90558
458.79/460.16 c #Conflicts: 143000 | #Constraints: 91558
458.79/460.16 c #Conflicts: 144000 | #Constraints: 92558
458.79/460.16 c #Conflicts: 145000 | #Constraints: 93558
458.79/460.16 c #Conflicts: 146000 | #Constraints: 94558
458.79/460.16 c #Conflicts: 147000 | #Constraints: 95558
458.79/460.16 c INPROCESSING
458.79/460.16 c GARBAGE COLLECT
458.79/460.16 c #Conflicts: 148000 | #Constraints: 88975
458.79/460.16 c #Conflicts: 149000 | #Constraints: 89975
458.79/460.16 c #Conflicts: 150000 | #Constraints: 90975
458.79/460.16 c #Conflicts: 151000 | #Constraints: 91975
458.79/460.16 c #Conflicts: 152000 | #Constraints: 92975
458.79/460.16 c #Conflicts: 153000 | #Constraints: 93975
458.79/460.16 c #Conflicts: 154000 | #Constraints: 94975
458.79/460.16 c #Conflicts: 155000 | #Constraints: 95975
458.79/460.16 c INPROCESSING
458.79/460.16 c GARBAGE COLLECT
458.79/460.16 c #Conflicts: 156000 | #Constraints: 89164
458.79/460.16 c #Conflicts: 157000 | #Constraints: 90164
458.79/460.16 c #Conflicts: 158000 | #Constraints: 91164
458.79/460.16 c #Conflicts: 159000 | #Constraints: 92164
458.79/460.16 c #Conflicts: 160000 | #Constraints: 93164
458.79/460.16 c #Conflicts: 161000 | #Constraints: 94164
458.79/460.16 c #Conflicts: 162000 | #Constraints: 95164
458.79/460.16 c #Conflicts: 163000 | #Constraints: 96164
458.79/460.16 c INPROCESSING
458.79/460.16 c GARBAGE COLLECT
458.79/460.16 c #Conflicts: 164000 | #Constraints: 89155
458.79/460.16 c #Conflicts: 165000 | #Constraints: 90155
458.79/460.16 c #Conflicts: 166000 | #Constraints: 91155
458.79/460.16 c #Conflicts: 167000 | #Constraints: 92155
458.79/460.16 c #Conflicts: 168000 | #Constraints: 93155
458.79/460.16 c #Conflicts: 169000 | #Constraints: 94155
458.79/460.16 c #Conflicts: 170000 | #Constraints: 95155
458.79/460.16 c #Conflicts: 171000 | #Constraints: 96155
458.79/460.16 c INPROCESSING
458.79/460.16 c GARBAGE COLLECT
458.79/460.16 c #Conflicts: 172000 | #Constraints: 88946
458.79/460.16 c #Conflicts: 173000 | #Constraints: 89946
458.79/460.16 c #Conflicts: 174000 | #Constraints: 90946
458.79/460.16 c #Conflicts: 175000 | #Constraints: 91946
458.79/460.16 c #Conflicts: 176000 | #Constraints: 92946
458.79/460.16 c #Conflicts: 177000 | #Constraints: 93946
458.79/460.16 c #Conflicts: 178000 | #Constraints: 94946
458.79/460.16 c #Conflicts: 179000 | #Constraints: 95946
458.79/460.16 c #Conflicts: 180000 | #Constraints: 96946
458.79/460.16 c INPROCESSING
458.79/460.16 c GARBAGE COLLECT
458.79/460.16 c #Conflicts: 181000 | #Constraints: 89542
458.79/460.16 c #Conflicts: 182000 | #Constraints: 90542
458.79/460.16 c #Conflicts: 183000 | #Constraints: 91542
458.79/460.16 c #Conflicts: 184000 | #Constraints: 92542
458.79/460.16 c #Conflicts: 185000 | #Constraints: 93542
458.79/460.16 c #Conflicts: 186000 | #Constraints: 94542
458.79/460.16 c #Conflicts: 187000 | #Constraints: 95542
458.79/460.16 c #Conflicts: 188000 | #Constraints: 96542
458.79/460.16 c #Conflicts: 189000 | #Constraints: 97542
458.79/460.16 c INPROCESSING
458.79/460.16 c GARBAGE COLLECT
458.79/460.16 c #Conflicts: 190000 | #Constraints: 89970
458.79/460.16 c #Conflicts: 191000 | #Constraints: 90970
458.79/460.16 c #Conflicts: 192000 | #Constraints: 91970
458.79/460.16 c #Conflicts: 193000 | #Constraints: 92970
458.79/460.16 c #Conflicts: 194000 | #Constraints: 93970
458.79/460.16 c #Conflicts: 195000 | #Constraints: 94970
458.79/460.16 c #Conflicts: 196000 | #Constraints: 95970
458.79/460.16 c #Conflicts: 197000 | #Constraints: 96970
458.79/460.16 c #Conflicts: 198000 | #Constraints: 97970
458.79/460.16 c INPROCESSING
458.79/460.16 c GARBAGE COLLECT
458.79/460.16 c #Conflicts: 199000 | #Constraints: 90179
458.79/460.16 c #Conflicts: 200000 | #Constraints: 91179
458.79/460.16 c #Conflicts: 201000 | #Constraints: 92179
550.94/552.55 c #Conflicts: 202000 | #Constraints: 93179
550.94/552.55 c #Conflicts: 203000 | #Constraints: 94179
550.94/552.55 c #Conflicts: 204000 | #Constraints: 95179
550.94/552.55 c #Conflicts: 205000 | #Constraints: 96179
550.94/552.55 c #Conflicts: 206000 | #Constraints: 97179
550.94/552.55 c #Conflicts: 207000 | #Constraints: 98179
550.94/552.55 c INPROCESSING
550.94/552.55 c GARBAGE COLLECT
550.94/552.55 c #Conflicts: 208000 | #Constraints: 90167
550.94/552.55 c #Conflicts: 209000 | #Constraints: 91167
550.94/552.55 c #Conflicts: 210000 | #Constraints: 92167
550.94/552.55 c #Conflicts: 211000 | #Constraints: 93167
550.94/552.55 c #Conflicts: 212000 | #Constraints: 94167
550.94/552.55 c #Conflicts: 213000 | #Constraints: 95167
550.94/552.55 c #Conflicts: 214000 | #Constraints: 96167
550.94/552.55 c #Conflicts: 215000 | #Constraints: 97167
550.94/552.55 c #Conflicts: 216000 | #Constraints: 98167
550.94/552.55 c INPROCESSING
550.94/552.55 c GARBAGE COLLECT
550.94/552.55 c #Conflicts: 217000 | #Constraints: 89974
550.94/552.55 c #Conflicts: 218000 | #Constraints: 90974
550.94/552.55 c #Conflicts: 219000 | #Constraints: 91974
550.94/552.55 c #Conflicts: 220000 | #Constraints: 92974
550.94/552.55 c #Conflicts: 221000 | #Constraints: 93974
550.94/552.55 c #Conflicts: 222000 | #Constraints: 94974
550.94/552.55 c #Conflicts: 223000 | #Constraints: 95974
550.94/552.55 c #Conflicts: 224000 | #Constraints: 96974
550.94/552.55 c #Conflicts: 225000 | #Constraints: 97974
550.94/552.55 c #Conflicts: 226000 | #Constraints: 98974
550.94/552.55 c INPROCESSING
550.94/552.55 c GARBAGE COLLECT
550.94/552.55 c #Conflicts: 227000 | #Constraints: 90588
550.94/552.55 c #Conflicts: 228000 | #Constraints: 91588
550.94/552.55 c #Conflicts: 229000 | #Constraints: 92588
550.94/552.55 c #Conflicts: 230000 | #Constraints: 93588
550.94/552.55 c #Conflicts: 231000 | #Constraints: 94588
550.94/552.55 c #Conflicts: 232000 | #Constraints: 95588
550.94/552.55 c #Conflicts: 233000 | #Constraints: 96588
550.94/552.55 c #Conflicts: 234000 | #Constraints: 97588
550.94/552.55 c #Conflicts: 235000 | #Constraints: 98588
550.94/552.55 c #Conflicts: 236000 | #Constraints: 99588
550.94/552.55 c INPROCESSING
550.94/552.55 c GARBAGE COLLECT
550.94/552.55 c #Conflicts: 237000 | #Constraints: 90965
550.94/552.55 c #Conflicts: 238000 | #Constraints: 91965
550.94/552.55 c #Conflicts: 239000 | #Constraints: 92965
550.94/552.55 c #Conflicts: 240000 | #Constraints: 93965
550.94/552.55 c #Conflicts: 241000 | #Constraints: 94965
550.94/552.55 c #Conflicts: 242000 | #Constraints: 95965
550.94/552.55 c #Conflicts: 243000 | #Constraints: 96965
550.94/552.55 c #Conflicts: 244000 | #Constraints: 97965
550.94/552.55 c #Conflicts: 245000 | #Constraints: 98965
550.94/552.55 c #Conflicts: 246000 | #Constraints: 99965
550.94/552.55 c INPROCESSING
550.94/552.55 c GARBAGE COLLECT
550.94/552.55 c #Conflicts: 247000 | #Constraints: 91182
550.94/552.55 c #Conflicts: 248000 | #Constraints: 92182
550.94/552.55 c #Conflicts: 249000 | #Constraints: 93182
550.94/552.55 c #Conflicts: 250000 | #Constraints: 94182
550.94/552.55 c #Conflicts: 251000 | #Constraints: 95182
550.94/552.55 c #Conflicts: 252000 | #Constraints: 96182
550.94/552.55 c #Conflicts: 253000 | #Constraints: 97182
550.94/552.55 c #Conflicts: 254000 | #Constraints: 98182
550.94/552.55 c #Conflicts: 255000 | #Constraints: 99182
550.94/552.55 c #Conflicts: 256000 | #Constraints: 100182
550.94/552.55 c INPROCESSING
550.94/552.55 c GARBAGE COLLECT
550.94/552.55 c #Conflicts: 257000 | #Constraints: 91181
550.94/552.55 c #Conflicts: 258000 | #Constraints: 92181
550.94/552.55 c #Conflicts: 259000 | #Constraints: 93181
550.94/552.55 c #Conflicts: 260000 | #Constraints: 94181
550.94/552.55 c #Conflicts: 261000 | #Constraints: 95181
550.94/552.55 c #Conflicts: 262000 | #Constraints: 96181
550.94/552.55 c #Conflicts: 263000 | #Constraints: 97181
550.94/552.55 c #Conflicts: 264000 | #Constraints: 98181
550.94/552.55 c #Conflicts: 265000 | #Constraints: 99181
550.94/552.55 c #Conflicts: 266000 | #Constraints: 100181
550.94/552.55 c INPROCESSING
550.94/552.55 c GARBAGE COLLECT
550.94/552.55 c #Conflicts: 267000 | #Constraints: 90969
550.94/552.55 c #Conflicts: 268000 | #Constraints: 91969
550.94/552.55 c #Conflicts: 269000 | #Constraints: 92969
550.94/552.55 c #Conflicts: 270000 | #Constraints: 93969
550.94/552.55 c #Conflicts: 271000 | #Constraints: 94969
550.94/552.55 c #Conflicts: 272000 | #Constraints: 95969
550.94/552.55 c #Conflicts: 273000 | #Constraints: 96969
550.94/552.55 c #Conflicts: 274000 | #Constraints: 97969
550.94/552.55 c #Conflicts: 275000 | #Constraints: 98969
658.25/660.11 c #Conflicts: 276000 | #Constraints: 99969
658.25/660.11 c #Conflicts: 277000 | #Constraints: 100969
658.25/660.11 c INPROCESSING
658.25/660.11 c GARBAGE COLLECT
658.25/660.11 c #Conflicts: 278000 | #Constraints: 91566
658.25/660.11 c #Conflicts: 279000 | #Constraints: 92566
658.25/660.11 c #Conflicts: 280000 | #Constraints: 93566
658.25/660.11 c #Conflicts: 281000 | #Constraints: 94566
658.25/660.11 c #Conflicts: 282000 | #Constraints: 95566
658.25/660.11 c #Conflicts: 283000 | #Constraints: 96566
658.25/660.11 c #Conflicts: 284000 | #Constraints: 97566
658.25/660.11 c #Conflicts: 285000 | #Constraints: 98566
658.25/660.11 c #Conflicts: 286000 | #Constraints: 99566
658.25/660.11 c #Conflicts: 287000 | #Constraints: 100566
658.25/660.11 c #Conflicts: 288000 | #Constraints: 101566
658.25/660.11 c INPROCESSING
658.25/660.11 c GARBAGE COLLECT
658.25/660.11 c #Conflicts: 289000 | #Constraints: 91956
658.25/660.11 c #Conflicts: 290000 | #Constraints: 92956
658.25/660.11 c #Conflicts: 291000 | #Constraints: 93956
658.25/660.11 c #Conflicts: 292000 | #Constraints: 94956
658.25/660.11 c #Conflicts: 293000 | #Constraints: 95956
658.25/660.11 c #Conflicts: 294000 | #Constraints: 96956
658.25/660.11 c #Conflicts: 295000 | #Constraints: 97956
658.25/660.11 c #Conflicts: 296000 | #Constraints: 98956
658.25/660.11 c #Conflicts: 297000 | #Constraints: 99956
658.25/660.11 c #Conflicts: 298000 | #Constraints: 100956
658.25/660.11 c #Conflicts: 299000 | #Constraints: 101956
658.25/660.11 c INPROCESSING
658.25/660.11 c GARBAGE COLLECT
658.25/660.11 c #Conflicts: 300000 | #Constraints: 92164
658.25/660.11 c #Conflicts: 301000 | #Constraints: 93164
658.25/660.11 c #Conflicts: 302000 | #Constraints: 94164
658.25/660.11 c #Conflicts: 303000 | #Constraints: 95164
658.25/660.11 c #Conflicts: 304000 | #Constraints: 96164
658.25/660.11 c #Conflicts: 305000 | #Constraints: 97164
658.25/660.11 c #Conflicts: 306000 | #Constraints: 98164
658.25/660.11 c #Conflicts: 307000 | #Constraints: 99164
658.25/660.11 c #Conflicts: 308000 | #Constraints: 100164
658.25/660.11 c #Conflicts: 309000 | #Constraints: 101164
658.25/660.11 c #Conflicts: 310000 | #Constraints: 102164
658.25/660.11 c INPROCESSING
658.25/660.11 c GARBAGE COLLECT
658.25/660.11 c #Conflicts: 311000 | #Constraints: 92198
658.25/660.11 c #Conflicts: 312000 | #Constraints: 93198
658.25/660.11 c #Conflicts: 313000 | #Constraints: 94198
658.25/660.11 c #Conflicts: 314000 | #Constraints: 95198
658.25/660.11 c #Conflicts: 315000 | #Constraints: 96198
658.25/660.11 c #Conflicts: 316000 | #Constraints: 97198
658.25/660.11 c #Conflicts: 317000 | #Constraints: 98198
658.25/660.11 c #Conflicts: 318000 | #Constraints: 99198
658.25/660.11 c #Conflicts: 319000 | #Constraints: 100198
658.25/660.11 c #Conflicts: 320000 | #Constraints: 101198
658.25/660.11 c #Conflicts: 321000 | #Constraints: 102198
658.25/660.11 c INPROCESSING
658.25/660.11 c GARBAGE COLLECT
658.25/660.11 c #Conflicts: 322000 | #Constraints: 91999
658.25/660.11 c #Conflicts: 323000 | #Constraints: 92999
658.25/660.11 c #Conflicts: 324000 | #Constraints: 93999
658.25/660.11 c #Conflicts: 325000 | #Constraints: 94999
658.25/660.11 c #Conflicts: 326000 | #Constraints: 95999
658.25/660.11 c #Conflicts: 327000 | #Constraints: 96999
658.25/660.11 c #Conflicts: 328000 | #Constraints: 97999
658.25/660.11 c #Conflicts: 329000 | #Constraints: 98999
658.25/660.11 c #Conflicts: 330000 | #Constraints: 99999
658.25/660.11 c #Conflicts: 331000 | #Constraints: 100999
658.25/660.11 c #Conflicts: 332000 | #Constraints: 101999
658.25/660.11 c #Conflicts: 333000 | #Constraints: 102999
658.25/660.11 c INPROCESSING
658.25/660.11 c GARBAGE COLLECT
658.25/660.11 c #Conflicts: 334000 | #Constraints: 92610
658.25/660.11 c #Conflicts: 335000 | #Constraints: 93610
658.25/660.11 c #Conflicts: 336000 | #Constraints: 94610
658.25/660.11 c #Conflicts: 337000 | #Constraints: 95610
658.25/660.11 c #Conflicts: 338000 | #Constraints: 96610
658.25/660.11 c #Conflicts: 339000 | #Constraints: 97610
658.25/660.11 c #Conflicts: 340000 | #Constraints: 98610
658.25/660.11 c #Conflicts: 341000 | #Constraints: 99610
658.25/660.11 c #Conflicts: 342000 | #Constraints: 100610
658.25/660.11 c #Conflicts: 343000 | #Constraints: 101610
658.25/660.11 c #Conflicts: 344000 | #Constraints: 102610
658.25/660.11 c #Conflicts: 345000 | #Constraints: 103610
658.25/660.11 c INPROCESSING
658.25/660.11 c GARBAGE COLLECT
658.25/660.11 c #Conflicts: 346000 | #Constraints: 92985
658.25/660.11 c #Conflicts: 347000 | #Constraints: 93985
658.25/660.11 c #Conflicts: 348000 | #Constraints: 94985
658.25/660.11 c #Conflicts: 349000 | #Constraints: 95985
773.53/775.73 c #Conflicts: 350000 | #Constraints: 96985
773.53/775.73 c #Conflicts: 351000 | #Constraints: 97985
773.53/775.73 c #Conflicts: 352000 | #Constraints: 98985
773.53/775.73 c #Conflicts: 353000 | #Constraints: 99985
773.53/775.73 c #Conflicts: 354000 | #Constraints: 100985
773.53/775.73 c #Conflicts: 355000 | #Constraints: 101985
773.53/775.73 c #Conflicts: 356000 | #Constraints: 102985
773.53/775.73 c #Conflicts: 357000 | #Constraints: 103985
773.53/775.73 c INPROCESSING
773.53/775.73 c GARBAGE COLLECT
773.53/775.73 c #Conflicts: 358000 | #Constraints: 93179
773.53/775.73 c #Conflicts: 359000 | #Constraints: 94179
773.53/775.73 c #Conflicts: 360000 | #Constraints: 95179
773.53/775.73 c #Conflicts: 361000 | #Constraints: 96179
773.53/775.73 c #Conflicts: 362000 | #Constraints: 97179
773.53/775.73 c #Conflicts: 363000 | #Constraints: 98179
773.53/775.73 c #Conflicts: 364000 | #Constraints: 99179
773.53/775.73 c #Conflicts: 365000 | #Constraints: 100179
773.53/775.73 c #Conflicts: 366000 | #Constraints: 101179
773.53/775.73 c #Conflicts: 367000 | #Constraints: 102179
773.53/775.73 c #Conflicts: 368000 | #Constraints: 103179
773.53/775.73 c #Conflicts: 369000 | #Constraints: 104179
773.53/775.73 c INPROCESSING
773.53/775.73 c GARBAGE COLLECT
773.53/775.73 c #Conflicts: 370000 | #Constraints: 93177
773.53/775.73 c #Conflicts: 371000 | #Constraints: 94177
773.53/775.73 c #Conflicts: 372000 | #Constraints: 95177
773.53/775.73 c #Conflicts: 373000 | #Constraints: 96177
773.53/775.73 c #Conflicts: 374000 | #Constraints: 97177
773.53/775.73 c #Conflicts: 375000 | #Constraints: 98177
773.53/775.73 c #Conflicts: 376000 | #Constraints: 99177
773.53/775.73 c #Conflicts: 377000 | #Constraints: 100177
773.53/775.73 c #Conflicts: 378000 | #Constraints: 101177
773.53/775.73 c #Conflicts: 379000 | #Constraints: 102177
773.53/775.73 c #Conflicts: 380000 | #Constraints: 103177
773.53/775.73 c #Conflicts: 381000 | #Constraints: 104177
773.53/775.73 c INPROCESSING
773.53/775.73 c GARBAGE COLLECT
773.53/775.73 c #Conflicts: 382000 | #Constraints: 92983
773.53/775.73 c #Conflicts: 383000 | #Constraints: 93983
773.53/775.73 c #Conflicts: 384000 | #Constraints: 94983
773.53/775.73 c #Conflicts: 385000 | #Constraints: 95983
773.53/775.73 c #Conflicts: 386000 | #Constraints: 96983
773.53/775.73 c #Conflicts: 387000 | #Constraints: 97983
773.53/775.73 c #Conflicts: 388000 | #Constraints: 98983
773.53/775.73 c #Conflicts: 389000 | #Constraints: 99983
773.53/775.73 c #Conflicts: 390000 | #Constraints: 100983
773.53/775.73 c #Conflicts: 391000 | #Constraints: 101983
773.53/775.73 c #Conflicts: 392000 | #Constraints: 102983
773.53/775.73 c #Conflicts: 393000 | #Constraints: 103983
773.53/775.73 c #Conflicts: 394000 | #Constraints: 104983
773.53/775.73 c INPROCESSING
773.53/775.73 c GARBAGE COLLECT
773.53/775.73 c #Conflicts: 395000 | #Constraints: 93591
773.53/775.73 c #Conflicts: 396000 | #Constraints: 94591
773.53/775.73 c #Conflicts: 397000 | #Constraints: 95591
773.53/775.73 c #Conflicts: 398000 | #Constraints: 96591
773.53/775.73 c #Conflicts: 399000 | #Constraints: 97591
773.53/775.73 c #Conflicts: 400000 | #Constraints: 98591
773.53/775.73 c #Conflicts: 401000 | #Constraints: 99591
773.53/775.73 c #Conflicts: 402000 | #Constraints: 100591
773.53/775.73 c #Conflicts: 403000 | #Constraints: 101591
773.53/775.73 c #Conflicts: 404000 | #Constraints: 102591
773.53/775.73 c #Conflicts: 405000 | #Constraints: 103591
773.53/775.73 c #Conflicts: 406000 | #Constraints: 104591
773.53/775.73 c #Conflicts: 407000 | #Constraints: 105591
773.53/775.73 c INPROCESSING
773.53/775.73 c GARBAGE COLLECT
773.53/775.73 c #Conflicts: 408000 | #Constraints: 94000
773.53/775.73 c #Conflicts: 409000 | #Constraints: 95000
773.53/775.73 c #Conflicts: 410000 | #Constraints: 96000
773.53/775.73 c #Conflicts: 411000 | #Constraints: 97000
773.53/775.73 c #Conflicts: 412000 | #Constraints: 98000
773.53/775.73 c #Conflicts: 413000 | #Constraints: 99000
773.53/775.73 c #Conflicts: 414000 | #Constraints: 100000
773.53/775.73 c #Conflicts: 415000 | #Constraints: 101000
773.53/775.73 c #Conflicts: 416000 | #Constraints: 102000
773.53/775.73 c #Conflicts: 417000 | #Constraints: 103000
773.53/775.73 c #Conflicts: 418000 | #Constraints: 104000
773.53/775.73 c #Conflicts: 419000 | #Constraints: 105000
773.53/775.73 c #Conflicts: 420000 | #Constraints: 106000
773.53/775.73 c INPROCESSING
773.53/775.73 c GARBAGE COLLECT
773.53/775.73 c #Conflicts: 421000 | #Constraints: 94216
773.53/775.73 c #Conflicts: 422000 | #Constraints: 95216
773.53/775.73 c #Conflicts: 423000 | #Constraints: 96216
773.53/775.73 c #Conflicts: 424000 | #Constraints: 97216
906.38/908.99 c #Conflicts: 425000 | #Constraints: 98216
906.38/908.99 c #Conflicts: 426000 | #Constraints: 99216
906.38/908.99 c #Conflicts: 427000 | #Constraints: 100216
906.38/908.99 c #Conflicts: 428000 | #Constraints: 101216
906.38/908.99 c #Conflicts: 429000 | #Constraints: 102216
906.38/908.99 c #Conflicts: 430000 | #Constraints: 103216
906.38/908.99 c #Conflicts: 431000 | #Constraints: 104216
906.38/908.99 c #Conflicts: 432000 | #Constraints: 105216
906.38/908.99 c #Conflicts: 433000 | #Constraints: 106216
906.38/908.99 c INPROCESSING
906.38/908.99 c GARBAGE COLLECT
906.38/908.99 c #Conflicts: 434000 | #Constraints: 94206
906.38/908.99 c #Conflicts: 435000 | #Constraints: 95206
906.38/908.99 c #Conflicts: 436000 | #Constraints: 96206
906.38/908.99 c #Conflicts: 437000 | #Constraints: 97206
906.38/908.99 c #Conflicts: 438000 | #Constraints: 98206
906.38/908.99 c #Conflicts: 439000 | #Constraints: 99206
906.38/908.99 c #Conflicts: 440000 | #Constraints: 100206
906.38/908.99 c #Conflicts: 441000 | #Constraints: 101206
906.38/908.99 c #Conflicts: 442000 | #Constraints: 102206
906.38/908.99 c #Conflicts: 443000 | #Constraints: 103206
906.38/908.99 c #Conflicts: 444000 | #Constraints: 104206
906.38/908.99 c #Conflicts: 445000 | #Constraints: 105206
906.38/908.99 c #Conflicts: 446000 | #Constraints: 106206
906.38/908.99 c INPROCESSING
906.38/908.99 c GARBAGE COLLECT
906.38/908.99 c #Conflicts: 447000 | #Constraints: 94015
906.38/908.99 c #Conflicts: 448000 | #Constraints: 95015
906.38/908.99 c #Conflicts: 449000 | #Constraints: 96015
906.38/908.99 c #Conflicts: 450000 | #Constraints: 97015
906.38/908.99 c #Conflicts: 451000 | #Constraints: 98015
906.38/908.99 c #Conflicts: 452000 | #Constraints: 99015
906.38/908.99 c #Conflicts: 453000 | #Constraints: 100015
906.38/908.99 c #Conflicts: 454000 | #Constraints: 101015
906.38/908.99 c #Conflicts: 455000 | #Constraints: 102015
906.38/908.99 c #Conflicts: 456000 | #Constraints: 103015
906.38/908.99 c #Conflicts: 457000 | #Constraints: 104015
906.38/908.99 c #Conflicts: 458000 | #Constraints: 105015
906.38/908.99 c #Conflicts: 459000 | #Constraints: 106015
906.38/908.99 c #Conflicts: 460000 | #Constraints: 107015
906.38/908.99 c INPROCESSING
906.38/908.99 c GARBAGE COLLECT
906.38/908.99 c #Conflicts: 461000 | #Constraints: 94596
906.38/908.99 c #Conflicts: 462000 | #Constraints: 95596
906.38/908.99 c #Conflicts: 463000 | #Constraints: 96596
906.38/908.99 c #Conflicts: 464000 | #Constraints: 97596
906.38/908.99 c #Conflicts: 465000 | #Constraints: 98596
906.38/908.99 c #Conflicts: 466000 | #Constraints: 99596
906.38/908.99 c #Conflicts: 467000 | #Constraints: 100596
906.38/908.99 c #Conflicts: 468000 | #Constraints: 101596
906.38/908.99 c #Conflicts: 469000 | #Constraints: 102596
906.38/908.99 c #Conflicts: 470000 | #Constraints: 103596
906.38/908.99 c #Conflicts: 471000 | #Constraints: 104596
906.38/908.99 c #Conflicts: 472000 | #Constraints: 105596
906.38/908.99 c #Conflicts: 473000 | #Constraints: 106596
906.38/908.99 c #Conflicts: 474000 | #Constraints: 107596
906.38/908.99 c INPROCESSING
906.38/908.99 c GARBAGE COLLECT
906.38/908.99 c #Conflicts: 475000 | #Constraints: 94985
906.38/908.99 c #Conflicts: 476000 | #Constraints: 95985
906.38/908.99 c #Conflicts: 477000 | #Constraints: 96985
906.38/908.99 c #Conflicts: 478000 | #Constraints: 97985
906.38/908.99 c #Conflicts: 479000 | #Constraints: 98985
906.38/908.99 c #Conflicts: 480000 | #Constraints: 99985
906.38/908.99 c #Conflicts: 481000 | #Constraints: 100985
906.38/908.99 c #Conflicts: 482000 | #Constraints: 101985
906.38/908.99 c #Conflicts: 483000 | #Constraints: 102985
906.38/908.99 c #Conflicts: 484000 | #Constraints: 103985
906.38/908.99 c #Conflicts: 485000 | #Constraints: 104985
906.38/908.99 c #Conflicts: 486000 | #Constraints: 105985
906.38/908.99 c #Conflicts: 487000 | #Constraints: 106985
906.38/908.99 c #Conflicts: 488000 | #Constraints: 107985
906.38/908.99 c INPROCESSING
906.38/908.99 c GARBAGE COLLECT
906.38/908.99 c #Conflicts: 489000 | #Constraints: 95199
906.38/908.99 c #Conflicts: 490000 | #Constraints: 96199
906.38/908.99 c #Conflicts: 491000 | #Constraints: 97199
906.38/908.99 c #Conflicts: 492000 | #Constraints: 98199
906.38/908.99 c #Conflicts: 493000 | #Constraints: 99199
906.38/908.99 c #Conflicts: 494000 | #Constraints: 100199
906.38/908.99 c #Conflicts: 495000 | #Constraints: 101199
906.38/908.99 c #Conflicts: 496000 | #Constraints: 102199
906.38/908.99 c #Conflicts: 497000 | #Constraints: 103199
906.38/908.99 c #Conflicts: 498000 | #Constraints: 104199
906.38/908.99 c #Conflicts: 499000 | #Constraints: 105199
906.38/908.99 c #Conflicts: 500000 | #Constraints: 106199
1071.94/1074.91 c #Conflicts: 501000 | #Constraints: 107199
1071.94/1074.91 c #Conflicts: 502000 | #Constraints: 108199
1071.94/1074.91 c INPROCESSING
1071.94/1074.91 c GARBAGE COLLECT
1071.94/1074.91 c #Conflicts: 503000 | #Constraints: 95190
1071.94/1074.91 c #Conflicts: 504000 | #Constraints: 96190
1071.94/1074.91 c #Conflicts: 505000 | #Constraints: 97190
1071.94/1074.91 c #Conflicts: 506000 | #Constraints: 98190
1071.94/1074.91 c #Conflicts: 507000 | #Constraints: 99190
1071.94/1074.91 c #Conflicts: 508000 | #Constraints: 100190
1071.94/1074.91 c #Conflicts: 509000 | #Constraints: 101190
1071.94/1074.91 c #Conflicts: 510000 | #Constraints: 102190
1071.94/1074.91 c #Conflicts: 511000 | #Constraints: 103190
1071.94/1074.91 c #Conflicts: 512000 | #Constraints: 104190
1071.94/1074.91 c #Conflicts: 513000 | #Constraints: 105190
1071.94/1074.91 c #Conflicts: 514000 | #Constraints: 106190
1071.94/1074.91 c #Conflicts: 515000 | #Constraints: 107190
1071.94/1074.91 c #Conflicts: 516000 | #Constraints: 108190
1071.94/1074.91 c INPROCESSING
1071.94/1074.91 c GARBAGE COLLECT
1071.94/1074.91 c #Conflicts: 517000 | #Constraints: 94986
1071.94/1074.91 c #Conflicts: 518000 | #Constraints: 95986
1071.94/1074.91 c #Conflicts: 519000 | #Constraints: 96986
1071.94/1074.91 c #Conflicts: 520000 | #Constraints: 97986
1071.94/1074.91 c #Conflicts: 521000 | #Constraints: 98986
1071.94/1074.91 c #Conflicts: 522000 | #Constraints: 99986
1071.94/1074.91 c #Conflicts: 523000 | #Constraints: 100986
1071.94/1074.91 c #Conflicts: 524000 | #Constraints: 101986
1071.94/1074.91 c #Conflicts: 525000 | #Constraints: 102986
1071.94/1074.91 c #Conflicts: 526000 | #Constraints: 103986
1071.94/1074.91 c #Conflicts: 527000 | #Constraints: 104986
1071.94/1074.91 c #Conflicts: 528000 | #Constraints: 105986
1071.94/1074.91 c #Conflicts: 529000 | #Constraints: 106986
1071.94/1074.91 c #Conflicts: 530000 | #Constraints: 107986
1071.94/1074.91 c #Conflicts: 531000 | #Constraints: 108986
1071.94/1074.91 c INPROCESSING
1071.94/1074.91 c GARBAGE COLLECT
1071.94/1074.91 c #Conflicts: 532000 | #Constraints: 95584
1071.94/1074.91 c #Conflicts: 533000 | #Constraints: 96584
1071.94/1074.91 c #Conflicts: 534000 | #Constraints: 97584
1071.94/1074.91 c #Conflicts: 535000 | #Constraints: 98584
1071.94/1074.91 c #Conflicts: 536000 | #Constraints: 99584
1071.94/1074.91 c #Conflicts: 537000 | #Constraints: 100584
1071.94/1074.91 c #Conflicts: 538000 | #Constraints: 101584
1071.94/1074.91 c #Conflicts: 539000 | #Constraints: 102584
1071.94/1074.91 c #Conflicts: 540000 | #Constraints: 103584
1071.94/1074.91 c #Conflicts: 541000 | #Constraints: 104584
1071.94/1074.91 c #Conflicts: 542000 | #Constraints: 105584
1071.94/1074.91 c #Conflicts: 543000 | #Constraints: 106584
1071.94/1074.91 c #Conflicts: 544000 | #Constraints: 107584
1071.94/1074.91 c #Conflicts: 545000 | #Constraints: 108584
1071.94/1074.91 c #Conflicts: 546000 | #Constraints: 109584
1071.94/1074.91 c INPROCESSING
1071.94/1074.91 c GARBAGE COLLECT
1071.94/1074.91 c #Conflicts: 547000 | #Constraints: 95992
1071.94/1074.91 c #Conflicts: 548000 | #Constraints: 96992
1071.94/1074.91 c #Conflicts: 549000 | #Constraints: 97992
1071.94/1074.91 c #Conflicts: 550000 | #Constraints: 98992
1071.94/1074.91 c #Conflicts: 551000 | #Constraints: 99992
1071.94/1074.91 c #Conflicts: 552000 | #Constraints: 100992
1071.94/1074.91 c #Conflicts: 553000 | #Constraints: 101992
1071.94/1074.91 c #Conflicts: 554000 | #Constraints: 102992
1071.94/1074.91 c #Conflicts: 555000 | #Constraints: 103992
1071.94/1074.91 c #Conflicts: 556000 | #Constraints: 104992
1071.94/1074.91 c #Conflicts: 557000 | #Constraints: 105992
1071.94/1074.91 c #Conflicts: 558000 | #Constraints: 106992
1071.94/1074.91 c #Conflicts: 559000 | #Constraints: 107992
1071.94/1074.91 c #Conflicts: 560000 | #Constraints: 108992
1071.94/1074.91 c #Conflicts: 561000 | #Constraints: 109992
1071.94/1074.91 c INPROCESSING
1071.94/1074.91 c GARBAGE COLLECT
1071.94/1074.91 c #Conflicts: 562000 | #Constraints: 96191
1071.94/1074.91 c #Conflicts: 563000 | #Constraints: 97191
1071.94/1074.91 c #Conflicts: 564000 | #Constraints: 98191
1071.94/1074.91 c #Conflicts: 565000 | #Constraints: 99191
1071.94/1074.91 c #Conflicts: 566000 | #Constraints: 100191
1071.94/1074.91 c #Conflicts: 567000 | #Constraints: 101191
1071.94/1074.91 c #Conflicts: 568000 | #Constraints: 102191
1071.94/1074.91 c #Conflicts: 569000 | #Constraints: 103191
1071.94/1074.91 c #Conflicts: 570000 | #Constraints: 104191
1071.94/1074.91 c #Conflicts: 571000 | #Constraints: 105191
1071.94/1074.91 c #Conflicts: 572000 | #Constraints: 106191
1071.94/1074.91 c #Conflicts: 573000 | #Constraints: 107191
1071.94/1074.91 c #Conflicts: 574000 | #Constraints: 108191
1071.94/1074.91 c #Conflicts: 575000 | #Constraints: 109191
1243.08/1246.56 c #Conflicts: 576000 | #Constraints: 110191
1243.08/1246.56 c INPROCESSING
1243.08/1246.56 c GARBAGE COLLECT
1243.08/1246.56 c #Conflicts: 577000 | #Constraints: 96190
1243.08/1246.56 c #Conflicts: 578000 | #Constraints: 97190
1243.08/1246.56 c #Conflicts: 579000 | #Constraints: 98190
1243.08/1246.56 c #Conflicts: 580000 | #Constraints: 99190
1243.08/1246.56 c #Conflicts: 581000 | #Constraints: 100190
1243.08/1246.56 c #Conflicts: 582000 | #Constraints: 101190
1243.08/1246.56 c #Conflicts: 583000 | #Constraints: 102190
1243.08/1246.56 c #Conflicts: 584000 | #Constraints: 103190
1243.08/1246.56 c #Conflicts: 585000 | #Constraints: 104190
1243.08/1246.56 c #Conflicts: 586000 | #Constraints: 105190
1243.08/1246.56 c #Conflicts: 587000 | #Constraints: 106190
1243.08/1246.56 c #Conflicts: 588000 | #Constraints: 107190
1243.08/1246.56 c #Conflicts: 589000 | #Constraints: 108190
1243.08/1246.56 c #Conflicts: 590000 | #Constraints: 109190
1243.08/1246.56 c #Conflicts: 591000 | #Constraints: 110190
1243.08/1246.56 c INPROCESSING
1243.08/1246.56 c GARBAGE COLLECT
1243.08/1246.56 c #Conflicts: 592000 | #Constraints: 95978
1243.08/1246.56 c #Conflicts: 593000 | #Constraints: 96978
1243.08/1246.56 c #Conflicts: 594000 | #Constraints: 97978
1243.08/1246.56 c #Conflicts: 595000 | #Constraints: 98978
1243.08/1246.56 c #Conflicts: 596000 | #Constraints: 99978
1243.08/1246.56 c #Conflicts: 597000 | #Constraints: 100978
1243.08/1246.56 c #Conflicts: 598000 | #Constraints: 101978
1243.08/1246.56 c #Conflicts: 599000 | #Constraints: 102978
1243.08/1246.56 c #Conflicts: 600000 | #Constraints: 103978
1243.08/1246.56 c #Conflicts: 601000 | #Constraints: 104978
1243.08/1246.56 c #Conflicts: 602000 | #Constraints: 105978
1243.08/1246.56 c #Conflicts: 603000 | #Constraints: 106978
1243.08/1246.56 c #Conflicts: 604000 | #Constraints: 107978
1243.08/1246.56 c #Conflicts: 605000 | #Constraints: 108978
1243.08/1246.56 c #Conflicts: 606000 | #Constraints: 109978
1243.08/1246.56 c #Conflicts: 607000 | #Constraints: 110978
1243.08/1246.56 c INPROCESSING
1243.08/1246.56 c GARBAGE COLLECT
1243.08/1246.56 c #Conflicts: 608000 | #Constraints: 96585
1243.08/1246.56 c #Conflicts: 609000 | #Constraints: 97585
1243.08/1246.56 c #Conflicts: 610000 | #Constraints: 98585
1243.08/1246.56 c #Conflicts: 611000 | #Constraints: 99585
1243.08/1246.56 c #Conflicts: 612000 | #Constraints: 100585
1243.08/1246.56 c #Conflicts: 613000 | #Constraints: 101585
1243.08/1246.56 c #Conflicts: 614000 | #Constraints: 102585
1243.08/1246.56 c #Conflicts: 615000 | #Constraints: 103585
1243.08/1246.56 c #Conflicts: 616000 | #Constraints: 104585
1243.08/1246.56 c #Conflicts: 617000 | #Constraints: 105585
1243.08/1246.56 c #Conflicts: 618000 | #Constraints: 106585
1243.08/1246.56 c #Conflicts: 619000 | #Constraints: 107585
1243.08/1246.56 c #Conflicts: 620000 | #Constraints: 108585
1243.08/1246.56 c #Conflicts: 621000 | #Constraints: 109585
1243.08/1246.56 c #Conflicts: 622000 | #Constraints: 110585
1243.08/1246.56 c #Conflicts: 623000 | #Constraints: 111585
1243.08/1246.56 c INPROCESSING
1243.08/1246.56 c GARBAGE COLLECT
1243.08/1246.56 c #Conflicts: 624000 | #Constraints: 97008
1243.08/1246.56 c #Conflicts: 625000 | #Constraints: 98008
1243.08/1246.56 c #Conflicts: 626000 | #Constraints: 99008
1243.08/1246.56 c #Conflicts: 627000 | #Constraints: 100008
1243.08/1246.56 c #Conflicts: 628000 | #Constraints: 101008
1243.08/1246.56 c #Conflicts: 629000 | #Constraints: 102008
1243.08/1246.56 c #Conflicts: 630000 | #Constraints: 103008
1243.08/1246.56 c #Conflicts: 631000 | #Constraints: 104008
1243.08/1246.56 c #Conflicts: 632000 | #Constraints: 105008
1243.08/1246.56 c #Conflicts: 633000 | #Constraints: 106008
1243.08/1246.56 c #Conflicts: 634000 | #Constraints: 107008
1243.08/1246.56 c #Conflicts: 635000 | #Constraints: 108008
1243.08/1246.56 c #Conflicts: 636000 | #Constraints: 109008
1243.08/1246.56 c #Conflicts: 637000 | #Constraints: 110008
1243.08/1246.56 c #Conflicts: 638000 | #Constraints: 111008
1243.08/1246.56 c #Conflicts: 639000 | #Constraints: 112008
1243.08/1246.56 c INPROCESSING
1243.08/1246.56 c GARBAGE COLLECT
1243.08/1246.56 c #Conflicts: 640000 | #Constraints: 97208
1243.08/1246.56 c #Conflicts: 641000 | #Constraints: 98208
1243.08/1246.56 c #Conflicts: 642000 | #Constraints: 99208
1243.08/1246.56 c #Conflicts: 643000 | #Constraints: 100208
1243.08/1246.56 c #Conflicts: 644000 | #Constraints: 101208
1243.08/1246.56 c #Conflicts: 645000 | #Constraints: 102208
1243.08/1246.56 c #Conflicts: 646000 | #Constraints: 103208
1243.08/1246.56 c #Conflicts: 647000 | #Constraints: 104208
1243.08/1246.56 c #Conflicts: 648000 | #Constraints: 105208
1243.08/1246.56 c #Conflicts: 649000 | #Constraints: 106208
1243.08/1246.56 c #Conflicts: 650000 | #Constraints: 107208
1243.08/1246.56 c #Conflicts: 651000 | #Constraints: 108208
1432.97/1436.95 c #Conflicts: 652000 | #Constraints: 109208
1432.97/1436.95 c #Conflicts: 653000 | #Constraints: 110208
1432.97/1436.95 c #Conflicts: 654000 | #Constraints: 111208
1432.97/1436.95 c #Conflicts: 655000 | #Constraints: 112208
1432.97/1436.95 c INPROCESSING
1432.97/1436.95 c GARBAGE COLLECT
1432.97/1436.95 c #Conflicts: 656000 | #Constraints: 97181
1432.97/1436.95 c #Conflicts: 657000 | #Constraints: 98181
1432.97/1436.95 c #Conflicts: 658000 | #Constraints: 99181
1432.97/1436.95 c #Conflicts: 659000 | #Constraints: 100181
1432.97/1436.95 c #Conflicts: 660000 | #Constraints: 101181
1432.97/1436.95 c #Conflicts: 661000 | #Constraints: 102181
1432.97/1436.95 c #Conflicts: 662000 | #Constraints: 103181
1432.97/1436.95 c #Conflicts: 663000 | #Constraints: 104181
1432.97/1436.95 c #Conflicts: 664000 | #Constraints: 105181
1432.97/1436.95 c #Conflicts: 665000 | #Constraints: 106181
1432.97/1436.95 c #Conflicts: 666000 | #Constraints: 107181
1432.97/1436.95 c #Conflicts: 667000 | #Constraints: 108181
1432.97/1436.95 c #Conflicts: 668000 | #Constraints: 109181
1432.97/1436.95 c #Conflicts: 669000 | #Constraints: 110181
1432.97/1436.95 c #Conflicts: 670000 | #Constraints: 111181
1432.97/1436.95 c #Conflicts: 671000 | #Constraints: 112181
1432.97/1436.95 c INPROCESSING
1432.97/1436.95 c GARBAGE COLLECT
1432.97/1436.95 c #Conflicts: 672000 | #Constraints: 96984
1432.97/1436.95 c #Conflicts: 673000 | #Constraints: 97984
1432.97/1436.95 c #Conflicts: 674000 | #Constraints: 98984
1432.97/1436.95 c #Conflicts: 675000 | #Constraints: 99984
1432.97/1436.95 c #Conflicts: 676000 | #Constraints: 100984
1432.97/1436.95 c #Conflicts: 677000 | #Constraints: 101984
1432.97/1436.95 c #Conflicts: 678000 | #Constraints: 102984
1432.97/1436.95 c #Conflicts: 679000 | #Constraints: 103984
1432.97/1436.95 c #Conflicts: 680000 | #Constraints: 104984
1432.97/1436.95 c #Conflicts: 681000 | #Constraints: 105984
1432.97/1436.95 c #Conflicts: 682000 | #Constraints: 106984
1432.97/1436.95 c #Conflicts: 683000 | #Constraints: 107984
1432.97/1436.95 c #Conflicts: 684000 | #Constraints: 108984
1432.97/1436.95 c #Conflicts: 685000 | #Constraints: 109984
1432.97/1436.95 c #Conflicts: 686000 | #Constraints: 110984
1432.97/1436.95 c #Conflicts: 687000 | #Constraints: 111984
1432.97/1436.95 c #Conflicts: 688000 | #Constraints: 112984
1432.97/1436.95 c INPROCESSING
1432.97/1436.95 c GARBAGE COLLECT
1432.97/1436.95 c #Conflicts: 689000 | #Constraints: 97588
1432.97/1436.95 c #Conflicts: 690000 | #Constraints: 98588
1432.97/1436.95 c #Conflicts: 691000 | #Constraints: 99588
1432.97/1436.95 c #Conflicts: 692000 | #Constraints: 100588
1432.97/1436.95 c #Conflicts: 693000 | #Constraints: 101588
1432.97/1436.95 c #Conflicts: 694000 | #Constraints: 102588
1432.97/1436.95 c #Conflicts: 695000 | #Constraints: 103588
1432.97/1436.95 c #Conflicts: 696000 | #Constraints: 104588
1432.97/1436.95 c #Conflicts: 697000 | #Constraints: 105588
1432.97/1436.95 c #Conflicts: 698000 | #Constraints: 106588
1432.97/1436.95 c #Conflicts: 699000 | #Constraints: 107588
1432.97/1436.95 c #Conflicts: 700000 | #Constraints: 108588
1432.97/1436.95 c #Conflicts: 701000 | #Constraints: 109588
1432.97/1436.95 c #Conflicts: 702000 | #Constraints: 110588
1432.97/1436.95 c #Conflicts: 703000 | #Constraints: 111588
1432.97/1436.95 c #Conflicts: 704000 | #Constraints: 112588
1432.97/1436.95 c #Conflicts: 705000 | #Constraints: 113588
1432.97/1436.95 c INPROCESSING
1432.97/1436.95 c GARBAGE COLLECT
1432.97/1436.95 c #Conflicts: 706000 | #Constraints: 97999
1432.97/1436.95 c #Conflicts: 707000 | #Constraints: 98999
1432.97/1436.95 c #Conflicts: 708000 | #Constraints: 99999
1432.97/1436.95 c #Conflicts: 709000 | #Constraints: 100999
1432.97/1436.95 c #Conflicts: 710000 | #Constraints: 101999
1432.97/1436.95 c #Conflicts: 711000 | #Constraints: 102999
1432.97/1436.95 c #Conflicts: 712000 | #Constraints: 103999
1432.97/1436.95 c #Conflicts: 713000 | #Constraints: 104999
1432.97/1436.95 c #Conflicts: 714000 | #Constraints: 105999
1432.97/1436.95 c #Conflicts: 715000 | #Constraints: 106999
1432.97/1436.95 c #Conflicts: 716000 | #Constraints: 107999
1432.97/1436.95 c #Conflicts: 717000 | #Constraints: 108999
1432.97/1436.95 c #Conflicts: 718000 | #Constraints: 109999
1432.97/1436.95 c #Conflicts: 719000 | #Constraints: 110999
1432.97/1436.95 c #Conflicts: 720000 | #Constraints: 111999
1432.97/1436.95 c #Conflicts: 721000 | #Constraints: 112999
1432.97/1436.95 c #Conflicts: 722000 | #Constraints: 113999
1432.97/1436.95 c INPROCESSING
1432.97/1436.95 c GARBAGE COLLECT
1432.97/1436.95 c #Conflicts: 723000 | #Constraints: 98201
1432.97/1436.95 c #Conflicts: 724000 | #Constraints: 99201
1432.97/1436.95 c #Conflicts: 725000 | #Constraints: 100201
1432.97/1436.95 c #Conflicts: 726000 | #Constraints: 101201
1432.97/1436.95 c #Conflicts: 727000 | #Constraints: 102201
1604.33/1608.75 c #Conflicts: 728000 | #Constraints: 103201
1604.33/1608.75 c #Conflicts: 729000 | #Constraints: 104201
1604.33/1608.75 c #Conflicts: 730000 | #Constraints: 105201
1604.33/1608.75 c #Conflicts: 731000 | #Constraints: 106201
1604.33/1608.75 c #Conflicts: 732000 | #Constraints: 107201
1604.33/1608.75 c #Conflicts: 733000 | #Constraints: 108201
1604.33/1608.75 c #Conflicts: 734000 | #Constraints: 109201
1604.33/1608.75 c #Conflicts: 735000 | #Constraints: 110201
1604.33/1608.75 c #Conflicts: 736000 | #Constraints: 111201
1604.33/1608.75 c #Conflicts: 737000 | #Constraints: 112201
1604.33/1608.75 c #Conflicts: 738000 | #Constraints: 113201
1604.33/1608.75 c #Conflicts: 739000 | #Constraints: 114201
1604.33/1608.75 c INPROCESSING
1604.33/1608.75 c GARBAGE COLLECT
1604.33/1608.75 c #Conflicts: 740000 | #Constraints: 98186
1604.33/1608.75 c #Conflicts: 741000 | #Constraints: 99186
1604.33/1608.75 c #Conflicts: 742000 | #Constraints: 100186
1604.33/1608.75 c #Conflicts: 743000 | #Constraints: 101186
1604.33/1608.75 c #Conflicts: 744000 | #Constraints: 102186
1604.33/1608.75 c #Conflicts: 745000 | #Constraints: 103186
1604.33/1608.75 c #Conflicts: 746000 | #Constraints: 104186
1604.33/1608.75 c #Conflicts: 747000 | #Constraints: 105186
1604.33/1608.75 c #Conflicts: 748000 | #Constraints: 106186
1604.33/1608.75 c #Conflicts: 749000 | #Constraints: 107186
1604.33/1608.75 c #Conflicts: 750000 | #Constraints: 108186
1604.33/1608.75 c #Conflicts: 751000 | #Constraints: 109186
1604.33/1608.75 c #Conflicts: 752000 | #Constraints: 110186
1604.33/1608.75 c #Conflicts: 753000 | #Constraints: 111186
1604.33/1608.75 c #Conflicts: 754000 | #Constraints: 112186
1604.33/1608.75 c #Conflicts: 755000 | #Constraints: 113186
1604.33/1608.75 c #Conflicts: 756000 | #Constraints: 114186
1604.33/1608.75 c INPROCESSING
1604.33/1608.75 c GARBAGE COLLECT
1604.33/1608.75 c #Conflicts: 757000 | #Constraints: 97976
1604.33/1608.75 c #Conflicts: 758000 | #Constraints: 98976
1604.33/1608.75 c #Conflicts: 759000 | #Constraints: 99976
1604.33/1608.75 c #Conflicts: 760000 | #Constraints: 100976
1604.33/1608.75 c #Conflicts: 761000 | #Constraints: 101976
1604.33/1608.75 c #Conflicts: 762000 | #Constraints: 102976
1604.33/1608.75 c #Conflicts: 763000 | #Constraints: 103976
1604.33/1608.75 c #Conflicts: 764000 | #Constraints: 104976
1604.33/1608.75 c #Conflicts: 765000 | #Constraints: 105976
1604.33/1608.75 c #Conflicts: 766000 | #Constraints: 106976
1604.33/1608.75 c #Conflicts: 767000 | #Constraints: 107976
1604.33/1608.75 c #Conflicts: 768000 | #Constraints: 108976
1604.33/1608.75 c #Conflicts: 769000 | #Constraints: 109976
1604.33/1608.75 c #Conflicts: 770000 | #Constraints: 110976
1604.33/1608.75 c #Conflicts: 771000 | #Constraints: 111976
1604.33/1608.75 c #Conflicts: 772000 | #Constraints: 112976
1604.33/1608.75 c #Conflicts: 773000 | #Constraints: 113976
1604.33/1608.75 c #Conflicts: 774000 | #Constraints: 114976
1604.33/1608.75 c INPROCESSING
1604.33/1608.75 c GARBAGE COLLECT
1604.33/1608.75 c #Conflicts: 775000 | #Constraints: 98595
1604.33/1608.75 c #Conflicts: 776000 | #Constraints: 99595
1604.33/1608.75 c #Conflicts: 777000 | #Constraints: 100595
1604.33/1608.75 c #Conflicts: 778000 | #Constraints: 101595
1604.33/1608.75 c #Conflicts: 779000 | #Constraints: 102595
1604.33/1608.75 c #Conflicts: 780000 | #Constraints: 103595
1604.33/1608.75 c #Conflicts: 781000 | #Constraints: 104595
1604.33/1608.75 c #Conflicts: 782000 | #Constraints: 105595
1604.33/1608.75 c #Conflicts: 783000 | #Constraints: 106595
1604.33/1608.75 c #Conflicts: 784000 | #Constraints: 107595
1604.33/1608.75 c #Conflicts: 785000 | #Constraints: 108595
1604.33/1608.75 c #Conflicts: 786000 | #Constraints: 109595
1604.33/1608.75 c #Conflicts: 787000 | #Constraints: 110595
1604.33/1608.75 c #Conflicts: 788000 | #Constraints: 111595
1604.33/1608.75 c #Conflicts: 789000 | #Constraints: 112595
1604.33/1608.75 c #Conflicts: 790000 | #Constraints: 113595
1604.33/1608.75 c #Conflicts: 791000 | #Constraints: 114595
1604.33/1608.75 c #Conflicts: 792000 | #Constraints: 115595
1604.33/1608.75 c INPROCESSING
1604.33/1608.75 c GARBAGE COLLECT
1604.33/1608.75 c #Conflicts: 793000 | #Constraints: 99011
1604.33/1608.75 c #Conflicts: 794000 | #Constraints: 100011
1604.33/1608.75 c #Conflicts: 795000 | #Constraints: 101011
1604.33/1608.75 c #Conflicts: 796000 | #Constraints: 102011
1604.33/1608.75 c #Conflicts: 797000 | #Constraints: 103011
1604.33/1608.75 c #Conflicts: 798000 | #Constraints: 104011
1604.33/1608.75 c #Conflicts: 799000 | #Constraints: 105011
1604.33/1608.75 c #Conflicts: 800000 | #Constraints: 106011
1604.33/1608.75 c #Conflicts: 801000 | #Constraints: 107011
1604.33/1608.75 c #Conflicts: 802000 | #Constraints: 108011
1604.33/1608.75 c #Conflicts: 803000 | #Constraints: 109011
1790.47/1795.32 c #Conflicts: 804000 | #Constraints: 110011
1790.47/1795.32 c #Conflicts: 805000 | #Constraints: 111011
1790.47/1795.32 c #Conflicts: 806000 | #Constraints: 112011
1790.47/1795.32 c #Conflicts: 807000 | #Constraints: 113011
1790.47/1795.32 c #Conflicts: 808000 | #Constraints: 114011
1790.47/1795.32 c #Conflicts: 809000 | #Constraints: 115011
1790.47/1795.32 c #Conflicts: 810000 | #Constraints: 116011
1790.47/1795.32 c INPROCESSING
1790.47/1795.32 c GARBAGE COLLECT
1790.47/1795.32 c #Conflicts: 811000 | #Constraints: 99195
1790.47/1795.32 c #Conflicts: 812000 | #Constraints: 100195
1790.47/1795.32 c #Conflicts: 813000 | #Constraints: 101195
1790.47/1795.32 c #Conflicts: 814000 | #Constraints: 102195
1790.47/1795.32 c #Conflicts: 815000 | #Constraints: 103195
1790.47/1795.32 c #Conflicts: 816000 | #Constraints: 104195
1790.47/1795.32 c #Conflicts: 817000 | #Constraints: 105195
1790.47/1795.32 c #Conflicts: 818000 | #Constraints: 106195
1790.47/1795.32 c #Conflicts: 819000 | #Constraints: 107195
1790.47/1795.32 c #Conflicts: 820000 | #Constraints: 108195
1790.47/1795.32 c #Conflicts: 821000 | #Constraints: 109195
1790.47/1795.32 c #Conflicts: 822000 | #Constraints: 110195
1790.47/1795.32 c #Conflicts: 823000 | #Constraints: 111195
1790.47/1795.32 c #Conflicts: 824000 | #Constraints: 112195
1790.47/1795.32 c #Conflicts: 825000 | #Constraints: 113195
1790.47/1795.32 c #Conflicts: 826000 | #Constraints: 114195
1790.47/1795.32 c #Conflicts: 827000 | #Constraints: 115195
1790.47/1795.32 c #Conflicts: 828000 | #Constraints: 116195
1790.47/1795.32 c INPROCESSING
1790.47/1795.32 c GARBAGE COLLECT
1790.47/1795.32 c #Conflicts: 829000 | #Constraints: 99212
1790.47/1795.32 c #Conflicts: 830000 | #Constraints: 100212
1790.47/1795.32 c #Conflicts: 831000 | #Constraints: 101212
1790.47/1795.32 c #Conflicts: 832000 | #Constraints: 102212
1790.47/1795.32 c #Conflicts: 833000 | #Constraints: 103212
1790.47/1795.32 c #Conflicts: 834000 | #Constraints: 104212
1790.47/1795.32 c #Conflicts: 835000 | #Constraints: 105212
1790.47/1795.32 c #Conflicts: 836000 | #Constraints: 106212
1790.47/1795.32 c #Conflicts: 837000 | #Constraints: 107212
1790.47/1795.32 c #Conflicts: 838000 | #Constraints: 108212
1790.47/1795.32 c #Conflicts: 839000 | #Constraints: 109212
1790.47/1795.32 c #Conflicts: 840000 | #Constraints: 110212
1790.47/1795.32 c #Conflicts: 841000 | #Constraints: 111212
1790.47/1795.32 c #Conflicts: 842000 | #Constraints: 112212
1790.47/1795.32 c #Conflicts: 843000 | #Constraints: 113212
1790.47/1795.32 c #Conflicts: 844000 | #Constraints: 114212
1790.47/1795.32 c #Conflicts: 845000 | #Constraints: 115212
1790.47/1795.32 c #Conflicts: 846000 | #Constraints: 116212
1790.47/1795.32 c INPROCESSING
1790.47/1795.32 c GARBAGE COLLECT
1790.47/1795.32 c #Conflicts: 847000 | #Constraints: 99030
1790.47/1795.32 c #Conflicts: 848000 | #Constraints: 100030
1790.47/1795.32 c #Conflicts: 849000 | #Constraints: 101030
1790.47/1795.32 c #Conflicts: 850000 | #Constraints: 102030
1790.47/1795.32 c #Conflicts: 851000 | #Constraints: 103030
1790.47/1795.32 c #Conflicts: 852000 | #Constraints: 104030
1790.47/1795.32 c #Conflicts: 853000 | #Constraints: 105030
1790.47/1795.32 c #Conflicts: 854000 | #Constraints: 106030
1790.47/1795.32 c #Conflicts: 855000 | #Constraints: 107030
1790.47/1795.32 c #Conflicts: 856000 | #Constraints: 108030
1790.47/1795.32 c #Conflicts: 857000 | #Constraints: 109030
1790.47/1795.32 c #Conflicts: 858000 | #Constraints: 110030
1790.47/1795.32 c #Conflicts: 859000 | #Constraints: 111030
1790.47/1795.32 c #Conflicts: 860000 | #Constraints: 112030
1790.47/1795.32 c #Conflicts: 861000 | #Constraints: 113030
1790.47/1795.32 c #Conflicts: 862000 | #Constraints: 114030
1790.47/1795.32 c #Conflicts: 863000 | #Constraints: 115030
1790.47/1795.32 c #Conflicts: 864000 | #Constraints: 116030
1790.47/1795.32 c #Conflicts: 865000 | #Constraints: 117030
1790.47/1795.32 c INPROCESSING
1790.47/1795.32 c GARBAGE COLLECT
1790.47/1795.32 c #Conflicts: 866000 | #Constraints: 99632
1790.47/1795.32 c #Conflicts: 867000 | #Constraints: 100632
1790.47/1795.32 c #Conflicts: 868000 | #Constraints: 101632
1790.47/1795.32 c #Conflicts: 869000 | #Constraints: 102632
1790.47/1795.32 c #Conflicts: 870000 | #Constraints: 103632
1790.47/1795.32 c #Conflicts: 871000 | #Constraints: 104632
1790.47/1795.32 c #Conflicts: 872000 | #Constraints: 105632
1790.47/1795.32 c #Conflicts: 873000 | #Constraints: 106632
1790.47/1795.32 c #Conflicts: 874000 | #Constraints: 107632
1790.47/1795.32 c #Conflicts: 875000 | #Constraints: 108632
1790.47/1795.32 c #Conflicts: 876000 | #Constraints: 109632
1790.47/1795.32 c #Conflicts: 877000 | #Constraints: 110632
1790.47/1795.32 c #Conflicts: 878000 | #Constraints: 111632
1790.47/1795.32 c #Conflicts: 879000 | #Constraints: 112632
1980.19/1985.53 c #Conflicts: 880000 | #Constraints: 113632
1980.19/1985.53 c #Conflicts: 881000 | #Constraints: 114632
1980.19/1985.53 c #Conflicts: 882000 | #Constraints: 115632
1980.19/1985.53 c #Conflicts: 883000 | #Constraints: 116632
1980.19/1985.53 c #Conflicts: 884000 | #Constraints: 117632
1980.19/1985.53 c INPROCESSING
1980.19/1985.53 c GARBAGE COLLECT
1980.19/1985.53 c #Conflicts: 885000 | #Constraints: 100019
1980.19/1985.53 c #Conflicts: 886000 | #Constraints: 101019
1980.19/1985.53 c #Conflicts: 887000 | #Constraints: 102019
1980.19/1985.53 c #Conflicts: 888000 | #Constraints: 103019
1980.19/1985.53 c #Conflicts: 889000 | #Constraints: 104019
1980.19/1985.53 c #Conflicts: 890000 | #Constraints: 105019
1980.19/1985.53 c #Conflicts: 891000 | #Constraints: 106019
1980.19/1985.53 c #Conflicts: 892000 | #Constraints: 107019
1980.19/1985.53 c #Conflicts: 893000 | #Constraints: 108019
1980.19/1985.53 c #Conflicts: 894000 | #Constraints: 109019
1980.19/1985.53 c #Conflicts: 895000 | #Constraints: 110019
1980.19/1985.53 c #Conflicts: 896000 | #Constraints: 111019
1980.19/1985.53 c #Conflicts: 897000 | #Constraints: 112019
1980.19/1985.53 c #Conflicts: 898000 | #Constraints: 113019
1980.19/1985.53 c #Conflicts: 899000 | #Constraints: 114019
1980.19/1985.53 c #Conflicts: 900000 | #Constraints: 115019
1980.19/1985.53 c #Conflicts: 901000 | #Constraints: 116019
1980.19/1985.53 c #Conflicts: 902000 | #Constraints: 117019
1980.19/1985.53 c #Conflicts: 903000 | #Constraints: 118019
1980.19/1985.53 c INPROCESSING
1980.19/1985.53 c GARBAGE COLLECT
1980.19/1985.53 c #Conflicts: 904000 | #Constraints: 100212
1980.19/1985.53 c #Conflicts: 905000 | #Constraints: 101212
1980.19/1985.53 c #Conflicts: 906000 | #Constraints: 102212
1980.19/1985.53 c #Conflicts: 907000 | #Constraints: 103212
1980.19/1985.53 c #Conflicts: 908000 | #Constraints: 104212
1980.19/1985.53 c #Conflicts: 909000 | #Constraints: 105212
1980.19/1985.53 c #Conflicts: 910000 | #Constraints: 106212
1980.19/1985.53 c #Conflicts: 911000 | #Constraints: 107212
1980.19/1985.53 c #Conflicts: 912000 | #Constraints: 108212
1980.19/1985.53 c #Conflicts: 913000 | #Constraints: 109212
1980.19/1985.53 c #Conflicts: 914000 | #Constraints: 110212
1980.19/1985.53 c #Conflicts: 915000 | #Constraints: 111212
1980.19/1985.53 c #Conflicts: 916000 | #Constraints: 112212
1980.19/1985.53 c #Conflicts: 917000 | #Constraints: 113212
1980.19/1985.53 c #Conflicts: 918000 | #Constraints: 114212
1980.19/1985.53 c #Conflicts: 919000 | #Constraints: 115212
1980.19/1985.53 c #Conflicts: 920000 | #Constraints: 116212
1980.19/1985.53 c #Conflicts: 921000 | #Constraints: 117212
1980.19/1985.53 c #Conflicts: 922000 | #Constraints: 118212
1980.19/1985.53 c INPROCESSING
1980.19/1985.53 c GARBAGE COLLECT
1980.19/1985.53 c #Conflicts: 923000 | #Constraints: 100218
1980.19/1985.53 c #Conflicts: 924000 | #Constraints: 101218
1980.19/1985.53 c #Conflicts: 925000 | #Constraints: 102218
1980.19/1985.53 c #Conflicts: 926000 | #Constraints: 103218
1980.19/1985.53 c #Conflicts: 927000 | #Constraints: 104218
1980.19/1985.53 c #Conflicts: 928000 | #Constraints: 105218
1980.19/1985.53 c #Conflicts: 929000 | #Constraints: 106218
1980.19/1985.53 c #Conflicts: 930000 | #Constraints: 107218
1980.19/1985.53 c #Conflicts: 931000 | #Constraints: 108218
1980.19/1985.53 c #Conflicts: 932000 | #Constraints: 109218
1980.19/1985.53 c #Conflicts: 933000 | #Constraints: 110218
1980.19/1985.53 c #Conflicts: 934000 | #Constraints: 111218
1980.19/1985.53 c #Conflicts: 935000 | #Constraints: 112218
1980.19/1985.53 c #Conflicts: 936000 | #Constraints: 113218
1980.19/1985.53 c #Conflicts: 937000 | #Constraints: 114218
1980.19/1985.53 c #Conflicts: 938000 | #Constraints: 115218
1980.19/1985.53 c #Conflicts: 939000 | #Constraints: 116218
1980.19/1985.53 c #Conflicts: 940000 | #Constraints: 117218
1980.19/1985.53 c #Conflicts: 941000 | #Constraints: 118218
1980.19/1985.53 c INPROCESSING
1980.19/1985.53 c GARBAGE COLLECT
1980.19/1985.53 c #Conflicts: 942000 | #Constraints: 100015
1980.19/1985.53 c #Conflicts: 943000 | #Constraints: 101015
1980.19/1985.53 c #Conflicts: 944000 | #Constraints: 102015
1980.19/1985.53 c #Conflicts: 945000 | #Constraints: 103015
1980.19/1985.53 c #Conflicts: 946000 | #Constraints: 104015
1980.19/1985.53 c #Conflicts: 947000 | #Constraints: 105015
1980.19/1985.53 c #Conflicts: 948000 | #Constraints: 106015
1980.19/1985.53 c #Conflicts: 949000 | #Constraints: 107015
1980.19/1985.53 c #Conflicts: 950000 | #Constraints: 108015
1980.19/1985.53 c #Conflicts: 951000 | #Constraints: 109015
1980.19/1985.53 c #Conflicts: 952000 | #Constraints: 110015
1980.19/1985.53 c #Conflicts: 953000 | #Constraints: 111015
1980.19/1985.53 c #Conflicts: 954000 | #Constraints: 112015
1980.19/1985.53 c #Conflicts: 955000 | #Constraints: 113015
2190.77/2196.62 c #Conflicts: 956000 | #Constraints: 114015
2190.77/2196.62 c #Conflicts: 957000 | #Constraints: 115015
2190.77/2196.62 c #Conflicts: 958000 | #Constraints: 116015
2190.77/2196.62 c #Conflicts: 959000 | #Constraints: 117015
2190.77/2196.62 c #Conflicts: 960000 | #Constraints: 118015
2190.77/2196.62 c #Conflicts: 961000 | #Constraints: 119015
2190.77/2196.62 c INPROCESSING
2190.77/2196.62 c GARBAGE COLLECT
2190.77/2196.62 c #Conflicts: 962000 | #Constraints: 100628
2190.77/2196.62 c #Conflicts: 963000 | #Constraints: 101628
2190.77/2196.62 c #Conflicts: 964000 | #Constraints: 102628
2190.77/2196.62 c #Conflicts: 965000 | #Constraints: 103628
2190.77/2196.62 c #Conflicts: 966000 | #Constraints: 104628
2190.77/2196.62 c #Conflicts: 967000 | #Constraints: 105628
2190.77/2196.62 c #Conflicts: 968000 | #Constraints: 106628
2190.77/2196.62 c #Conflicts: 969000 | #Constraints: 107628
2190.77/2196.62 c #Conflicts: 970000 | #Constraints: 108628
2190.77/2196.62 c #Conflicts: 971000 | #Constraints: 109628
2190.77/2196.62 c #Conflicts: 972000 | #Constraints: 110628
2190.77/2196.62 c #Conflicts: 973000 | #Constraints: 111628
2190.77/2196.62 c #Conflicts: 974000 | #Constraints: 112628
2190.77/2196.62 c #Conflicts: 975000 | #Constraints: 113628
2190.77/2196.62 c #Conflicts: 976000 | #Constraints: 114628
2190.77/2196.62 c #Conflicts: 977000 | #Constraints: 115628
2190.77/2196.62 c #Conflicts: 978000 | #Constraints: 116628
2190.77/2196.62 c #Conflicts: 979000 | #Constraints: 117628
2190.77/2196.62 c #Conflicts: 980000 | #Constraints: 118628
2190.77/2196.62 c #Conflicts: 981000 | #Constraints: 119628
2190.77/2196.62 c INPROCESSING
2190.77/2196.62 c GARBAGE COLLECT
2190.77/2196.62 c #Conflicts: 982000 | #Constraints: 101028
2190.77/2196.62 c #Conflicts: 983000 | #Constraints: 102028
2190.77/2196.62 c #Conflicts: 984000 | #Constraints: 103028
2190.77/2196.62 c #Conflicts: 985000 | #Constraints: 104028
2190.77/2196.62 c #Conflicts: 986000 | #Constraints: 105028
2190.77/2196.62 c #Conflicts: 987000 | #Constraints: 106028
2190.77/2196.62 c #Conflicts: 988000 | #Constraints: 107028
2190.77/2196.62 c #Conflicts: 989000 | #Constraints: 108028
2190.77/2196.62 c #Conflicts: 990000 | #Constraints: 109028
2190.77/2196.62 c #Conflicts: 991000 | #Constraints: 110028
2190.77/2196.62 c #Conflicts: 992000 | #Constraints: 111028
2190.77/2196.62 c #Conflicts: 993000 | #Constraints: 112028
2190.77/2196.62 c #Conflicts: 994000 | #Constraints: 113028
2190.77/2196.62 c #Conflicts: 995000 | #Constraints: 114028
2190.77/2196.62 c #Conflicts: 996000 | #Constraints: 115028
2190.77/2196.62 c #Conflicts: 997000 | #Constraints: 116028
2190.77/2196.62 c #Conflicts: 998000 | #Constraints: 117028
2190.77/2196.62 c #Conflicts: 999000 | #Constraints: 118028
2190.77/2196.62 c #Conflicts: 1000000 | #Constraints: 119028
2190.77/2196.62 c #Conflicts: 1001000 | #Constraints: 120028
2190.77/2196.62 c INPROCESSING
2190.77/2196.62 c GARBAGE COLLECT
2190.77/2196.62 c #Conflicts: 1002000 | #Constraints: 101249
2190.77/2196.62 c #Conflicts: 1003000 | #Constraints: 102249
2190.77/2196.62 c #Conflicts: 1004000 | #Constraints: 103249
2190.77/2196.62 c #Conflicts: 1005000 | #Constraints: 104249
2190.77/2196.62 c #Conflicts: 1006000 | #Constraints: 105249
2190.77/2196.62 c #Conflicts: 1007000 | #Constraints: 106249
2190.77/2196.62 c #Conflicts: 1008000 | #Constraints: 107249
2190.77/2196.62 c #Conflicts: 1009000 | #Constraints: 108249
2190.77/2196.62 c #Conflicts: 1010000 | #Constraints: 109249
2190.77/2196.62 c #Conflicts: 1011000 | #Constraints: 110249
2190.77/2196.62 c #Conflicts: 1012000 | #Constraints: 111249
2190.77/2196.62 c #Conflicts: 1013000 | #Constraints: 112249
2190.77/2196.62 c #Conflicts: 1014000 | #Constraints: 113249
2190.77/2196.62 c #Conflicts: 1015000 | #Constraints: 114249
2190.77/2196.62 c #Conflicts: 1016000 | #Constraints: 115249
2190.77/2196.62 c #Conflicts: 1017000 | #Constraints: 116249
2190.77/2196.62 c #Conflicts: 1018000 | #Constraints: 117249
2190.77/2196.62 c #Conflicts: 1019000 | #Constraints: 118249
2190.77/2196.62 c #Conflicts: 1020000 | #Constraints: 119249
2190.77/2196.62 c #Conflicts: 1021000 | #Constraints: 120249
2190.77/2196.62 c INPROCESSING
2190.77/2196.62 c GARBAGE COLLECT
2190.77/2196.62 c #Conflicts: 1022000 | #Constraints: 101241
2190.77/2196.62 c #Conflicts: 1023000 | #Constraints: 102241
2190.77/2196.62 c #Conflicts: 1024000 | #Constraints: 103241
2190.77/2196.62 c #Conflicts: 1025000 | #Constraints: 104241
2190.77/2196.62 c #Conflicts: 1026000 | #Constraints: 105241
2190.77/2196.62 c #Conflicts: 1027000 | #Constraints: 106241
2190.77/2196.62 c #Conflicts: 1028000 | #Constraints: 107241
2190.77/2196.62 c #Conflicts: 1029000 | #Constraints: 108241
2190.77/2196.62 c #Conflicts: 1030000 | #Constraints: 109241
2190.77/2196.62 c #Conflicts: 1031000 | #Constraints: 110241
2190.77/2196.62 c #Conflicts: 1032000 | #Constraints: 111241
2400.44/2406.85 c #Conflicts: 1033000 | #Constraints: 112241
2400.44/2406.85 c #Conflicts: 1034000 | #Constraints: 113241
2400.44/2406.85 c #Conflicts: 1035000 | #Constraints: 114241
2400.44/2406.85 c #Conflicts: 1036000 | #Constraints: 115241
2400.44/2406.85 c #Conflicts: 1037000 | #Constraints: 116241
2400.44/2406.85 c #Conflicts: 1038000 | #Constraints: 117241
2400.44/2406.85 c #Conflicts: 1039000 | #Constraints: 118241
2400.44/2406.85 c #Conflicts: 1040000 | #Constraints: 119241
2400.44/2406.85 c #Conflicts: 1041000 | #Constraints: 120241
2400.44/2406.85 c INPROCESSING
2400.44/2406.85 c GARBAGE COLLECT
2400.44/2406.85 c #Conflicts: 1042000 | #Constraints: 101050
2400.44/2406.85 c #Conflicts: 1043000 | #Constraints: 102050
2400.44/2406.85 c #Conflicts: 1044000 | #Constraints: 103050
2400.44/2406.85 c #Conflicts: 1045000 | #Constraints: 104050
2400.44/2406.85 c #Conflicts: 1046000 | #Constraints: 105050
2400.44/2406.85 c #Conflicts: 1047000 | #Constraints: 106050
2400.44/2406.85 c #Conflicts: 1048000 | #Constraints: 107050
2400.44/2406.85 c #Conflicts: 1049000 | #Constraints: 108050
2400.44/2406.85 c #Conflicts: 1050000 | #Constraints: 109050
2400.44/2406.85 c #Conflicts: 1051000 | #Constraints: 110050
2400.44/2406.85 c #Conflicts: 1052000 | #Constraints: 111050
2400.44/2406.85 c #Conflicts: 1053000 | #Constraints: 112050
2400.44/2406.85 c #Conflicts: 1054000 | #Constraints: 113050
2400.44/2406.85 c #Conflicts: 1055000 | #Constraints: 114050
2400.44/2406.85 c #Conflicts: 1056000 | #Constraints: 115050
2400.44/2406.85 c #Conflicts: 1057000 | #Constraints: 116050
2400.44/2406.85 c #Conflicts: 1058000 | #Constraints: 117050
2400.44/2406.85 c #Conflicts: 1059000 | #Constraints: 118050
2400.44/2406.85 c #Conflicts: 1060000 | #Constraints: 119050
2400.44/2406.85 c #Conflicts: 1061000 | #Constraints: 120050
2400.44/2406.85 c #Conflicts: 1062000 | #Constraints: 121050
2400.44/2406.85 c INPROCESSING
2400.44/2406.85 c GARBAGE COLLECT
2400.44/2406.85 c #Conflicts: 1063000 | #Constraints: 101656
2400.44/2406.85 c #Conflicts: 1064000 | #Constraints: 102656
2400.44/2406.85 c #Conflicts: 1065000 | #Constraints: 103656
2400.44/2406.85 c #Conflicts: 1066000 | #Constraints: 104656
2400.44/2406.85 c #Conflicts: 1067000 | #Constraints: 105656
2400.44/2406.85 c #Conflicts: 1068000 | #Constraints: 106656
2400.44/2406.85 c #Conflicts: 1069000 | #Constraints: 107656
2400.44/2406.85 c #Conflicts: 1070000 | #Constraints: 108656
2400.44/2406.85 c #Conflicts: 1071000 | #Constraints: 109656
2400.44/2406.85 c #Conflicts: 1072000 | #Constraints: 110656
2400.44/2406.85 c #Conflicts: 1073000 | #Constraints: 111656
2400.44/2406.85 c #Conflicts: 1074000 | #Constraints: 112656
2400.44/2406.85 c #Conflicts: 1075000 | #Constraints: 113656
2400.44/2406.85 c #Conflicts: 1076000 | #Constraints: 114656
2400.44/2406.85 c #Conflicts: 1077000 | #Constraints: 115656
2400.44/2406.85 c #Conflicts: 1078000 | #Constraints: 116656
2400.44/2406.85 c #Conflicts: 1079000 | #Constraints: 117656
2400.44/2406.85 c #Conflicts: 1080000 | #Constraints: 118656
2400.44/2406.85 c #Conflicts: 1081000 | #Constraints: 119656
2400.44/2406.85 c #Conflicts: 1082000 | #Constraints: 120656
2400.44/2406.85 c #Conflicts: 1083000 | #Constraints: 121656
2400.44/2406.85 c INPROCESSING
2400.44/2406.85 c GARBAGE COLLECT
2400.44/2406.85 c #Conflicts: 1084000 | #Constraints: 102059
2400.44/2406.85 c #Conflicts: 1085000 | #Constraints: 103059
2400.44/2406.85 c #Conflicts: 1086000 | #Constraints: 104059
2400.44/2406.85 c #Conflicts: 1087000 | #Constraints: 105059
2400.44/2406.85 c #Conflicts: 1088000 | #Constraints: 106059
2400.44/2406.85 c #Conflicts: 1089000 | #Constraints: 107059
2400.44/2406.85 c #Conflicts: 1090000 | #Constraints: 108059
2400.44/2406.85 c #Conflicts: 1091000 | #Constraints: 109059
2400.44/2406.85 c #Conflicts: 1092000 | #Constraints: 110059
2400.44/2406.85 c #Conflicts: 1093000 | #Constraints: 111059
2400.44/2406.85 c #Conflicts: 1094000 | #Constraints: 112059
2400.44/2406.85 c #Conflicts: 1095000 | #Constraints: 113059
2400.44/2406.85 c #Conflicts: 1096000 | #Constraints: 114059
2400.44/2406.85 c #Conflicts: 1097000 | #Constraints: 115059
2400.44/2406.85 c #Conflicts: 1098000 | #Constraints: 116059
2400.44/2406.85 c #Conflicts: 1099000 | #Constraints: 117059
2400.44/2406.85 c #Conflicts: 1100000 | #Constraints: 118059
2400.44/2406.85 c #Conflicts: 1101000 | #Constraints: 119059
2400.44/2406.85 c #Conflicts: 1102000 | #Constraints: 120059
2400.44/2406.85 c #Conflicts: 1103000 | #Constraints: 121059
2400.44/2406.85 c #Conflicts: 1104000 | #Constraints: 122059
2400.44/2406.85 c INPROCESSING
2400.44/2406.85 c GARBAGE COLLECT
2400.44/2406.85 c #Conflicts: 1105000 | #Constraints: 102245
2400.44/2406.85 c #Conflicts: 1106000 | #Constraints: 103245
2400.44/2406.85 c #Conflicts: 1107000 | #Constraints: 104245
2400.44/2406.85 c #Conflicts: 1108000 | #Constraints: 105245
2637.75/2644.72 c #Conflicts: 1109000 | #Constraints: 106245
2637.75/2644.72 c #Conflicts: 1110000 | #Constraints: 107245
2637.75/2644.72 c #Conflicts: 1111000 | #Constraints: 108245
2637.75/2644.72 c #Conflicts: 1112000 | #Constraints: 109245
2637.75/2644.72 c #Conflicts: 1113000 | #Constraints: 110245
2637.75/2644.72 c #Conflicts: 1114000 | #Constraints: 111245
2637.75/2644.72 c #Conflicts: 1115000 | #Constraints: 112245
2637.75/2644.72 c #Conflicts: 1116000 | #Constraints: 113245
2637.75/2644.72 c #Conflicts: 1117000 | #Constraints: 114245
2637.75/2644.72 c #Conflicts: 1118000 | #Constraints: 115245
2637.75/2644.72 c #Conflicts: 1119000 | #Constraints: 116245
2637.75/2644.72 c #Conflicts: 1120000 | #Constraints: 117245
2637.75/2644.72 c #Conflicts: 1121000 | #Constraints: 118245
2637.75/2644.72 c #Conflicts: 1122000 | #Constraints: 119245
2637.75/2644.72 c #Conflicts: 1123000 | #Constraints: 120245
2637.75/2644.72 c #Conflicts: 1124000 | #Constraints: 121245
2637.75/2644.72 c #Conflicts: 1125000 | #Constraints: 122245
2637.75/2644.72 c INPROCESSING
2637.75/2644.72 c GARBAGE COLLECT
2637.75/2644.72 c #Conflicts: 1126000 | #Constraints: 102247
2637.75/2644.72 c #Conflicts: 1127000 | #Constraints: 103247
2637.75/2644.72 c #Conflicts: 1128000 | #Constraints: 104247
2637.75/2644.72 c #Conflicts: 1129000 | #Constraints: 105247
2637.75/2644.72 c #Conflicts: 1130000 | #Constraints: 106247
2637.75/2644.72 c #Conflicts: 1131000 | #Constraints: 107247
2637.75/2644.72 c #Conflicts: 1132000 | #Constraints: 108247
2637.75/2644.72 c #Conflicts: 1133000 | #Constraints: 109247
2637.75/2644.72 c #Conflicts: 1134000 | #Constraints: 110247
2637.75/2644.72 c #Conflicts: 1135000 | #Constraints: 111247
2637.75/2644.72 c #Conflicts: 1136000 | #Constraints: 112247
2637.75/2644.72 c #Conflicts: 1137000 | #Constraints: 113247
2637.75/2644.72 c #Conflicts: 1138000 | #Constraints: 114247
2637.75/2644.72 c #Conflicts: 1139000 | #Constraints: 115247
2637.75/2644.72 c #Conflicts: 1140000 | #Constraints: 116247
2637.75/2644.72 c #Conflicts: 1141000 | #Constraints: 117247
2637.75/2644.72 c #Conflicts: 1142000 | #Constraints: 118247
2637.75/2644.72 c #Conflicts: 1143000 | #Constraints: 119247
2637.75/2644.72 c #Conflicts: 1144000 | #Constraints: 120247
2637.75/2644.72 c #Conflicts: 1145000 | #Constraints: 121247
2637.75/2644.72 c #Conflicts: 1146000 | #Constraints: 122247
2637.75/2644.72 c INPROCESSING
2637.75/2644.72 c GARBAGE COLLECT
2637.75/2644.72 c #Conflicts: 1147000 | #Constraints: 102047
2637.75/2644.72 c #Conflicts: 1148000 | #Constraints: 103047
2637.75/2644.72 c #Conflicts: 1149000 | #Constraints: 104047
2637.75/2644.72 c #Conflicts: 1150000 | #Constraints: 105047
2637.75/2644.72 c #Conflicts: 1151000 | #Constraints: 106047
2637.75/2644.72 c #Conflicts: 1152000 | #Constraints: 107047
2637.75/2644.72 c #Conflicts: 1153000 | #Constraints: 108047
2637.75/2644.72 c #Conflicts: 1154000 | #Constraints: 109047
2637.75/2644.72 c #Conflicts: 1155000 | #Constraints: 110047
2637.75/2644.72 c #Conflicts: 1156000 | #Constraints: 111047
2637.75/2644.72 c #Conflicts: 1157000 | #Constraints: 112047
2637.75/2644.72 c #Conflicts: 1158000 | #Constraints: 113047
2637.75/2644.72 c #Conflicts: 1159000 | #Constraints: 114047
2637.75/2644.72 c #Conflicts: 1160000 | #Constraints: 115047
2637.75/2644.72 c #Conflicts: 1161000 | #Constraints: 116047
2637.75/2644.72 c #Conflicts: 1162000 | #Constraints: 117047
2637.75/2644.72 c #Conflicts: 1163000 | #Constraints: 118047
2637.75/2644.72 c #Conflicts: 1164000 | #Constraints: 119047
2637.75/2644.72 c #Conflicts: 1165000 | #Constraints: 120047
2637.75/2644.72 c #Conflicts: 1166000 | #Constraints: 121047
2637.75/2644.72 c #Conflicts: 1167000 | #Constraints: 122047
2637.75/2644.72 c #Conflicts: 1168000 | #Constraints: 123047
2637.75/2644.72 c INPROCESSING
2637.75/2644.72 c GARBAGE COLLECT
2637.75/2644.72 c #Conflicts: 1169000 | #Constraints: 102643
2637.75/2644.72 c #Conflicts: 1170000 | #Constraints: 103643
2637.75/2644.72 c #Conflicts: 1171000 | #Constraints: 104643
2637.75/2644.72 c #Conflicts: 1172000 | #Constraints: 105643
2637.75/2644.72 c #Conflicts: 1173000 | #Constraints: 106643
2637.75/2644.72 c #Conflicts: 1174000 | #Constraints: 107643
2637.75/2644.72 c #Conflicts: 1175000 | #Constraints: 108643
2637.75/2644.72 c #Conflicts: 1176000 | #Constraints: 109643
2637.75/2644.72 c #Conflicts: 1177000 | #Constraints: 110643
2637.75/2644.72 c #Conflicts: 1178000 | #Constraints: 111643
2637.75/2644.72 c #Conflicts: 1179000 | #Constraints: 112643
2637.75/2644.72 c #Conflicts: 1180000 | #Constraints: 113643
2637.75/2644.72 c #Conflicts: 1181000 | #Constraints: 114643
2637.75/2644.72 c #Conflicts: 1182000 | #Constraints: 115643
2637.75/2644.72 c #Conflicts: 1183000 | #Constraints: 116643
2637.75/2644.72 c #Conflicts: 1184000 | #Constraints: 117643
2637.75/2644.72 c #Conflicts: 1185000 | #Constraints: 118643
2858.08/2865.65 c #Conflicts: 1186000 | #Constraints: 119643
2858.08/2865.65 c #Conflicts: 1187000 | #Constraints: 120643
2858.08/2865.65 c #Conflicts: 1188000 | #Constraints: 121643
2858.08/2865.65 c #Conflicts: 1189000 | #Constraints: 122643
2858.08/2865.65 c #Conflicts: 1190000 | #Constraints: 123643
2858.08/2865.65 c INPROCESSING
2858.08/2865.65 c GARBAGE COLLECT
2858.08/2865.65 c #Conflicts: 1191000 | #Constraints: 103050
2858.08/2865.65 c #Conflicts: 1192000 | #Constraints: 104050
2858.08/2865.65 c #Conflicts: 1193000 | #Constraints: 105050
2858.08/2865.65 c #Conflicts: 1194000 | #Constraints: 106050
2858.08/2865.65 c #Conflicts: 1195000 | #Constraints: 107050
2858.08/2865.65 c #Conflicts: 1196000 | #Constraints: 108050
2858.08/2865.65 c #Conflicts: 1197000 | #Constraints: 109050
2858.08/2865.65 c #Conflicts: 1198000 | #Constraints: 110050
2858.08/2865.65 c #Conflicts: 1199000 | #Constraints: 111050
2858.08/2865.65 c #Conflicts: 1200000 | #Constraints: 112050
2858.08/2865.65 c #Conflicts: 1201000 | #Constraints: 113050
2858.08/2865.65 c #Conflicts: 1202000 | #Constraints: 114050
2858.08/2865.65 c #Conflicts: 1203000 | #Constraints: 115050
2858.08/2865.65 c #Conflicts: 1204000 | #Constraints: 116050
2858.08/2865.65 c #Conflicts: 1205000 | #Constraints: 117050
2858.08/2865.65 c #Conflicts: 1206000 | #Constraints: 118050
2858.08/2865.65 c #Conflicts: 1207000 | #Constraints: 119050
2858.08/2865.65 c #Conflicts: 1208000 | #Constraints: 120050
2858.08/2865.65 c #Conflicts: 1209000 | #Constraints: 121050
2858.08/2865.65 c #Conflicts: 1210000 | #Constraints: 122050
2858.08/2865.65 c #Conflicts: 1211000 | #Constraints: 123050
2858.08/2865.65 c #Conflicts: 1212000 | #Constraints: 124050
2858.08/2865.65 c INPROCESSING
2858.08/2865.65 c GARBAGE COLLECT
2858.08/2865.65 c #Conflicts: 1213000 | #Constraints: 103218
2858.08/2865.65 c #Conflicts: 1214000 | #Constraints: 104218
2858.08/2865.65 c #Conflicts: 1215000 | #Constraints: 105218
2858.08/2865.65 c #Conflicts: 1216000 | #Constraints: 106218
2858.08/2865.65 c #Conflicts: 1217000 | #Constraints: 107218
2858.08/2865.65 c #Conflicts: 1218000 | #Constraints: 108218
2858.08/2865.65 c #Conflicts: 1219000 | #Constraints: 109218
2858.08/2865.65 c #Conflicts: 1220000 | #Constraints: 110218
2858.08/2865.65 c #Conflicts: 1221000 | #Constraints: 111218
2858.08/2865.65 c #Conflicts: 1222000 | #Constraints: 112218
2858.08/2865.65 c #Conflicts: 1223000 | #Constraints: 113218
2858.08/2865.65 c #Conflicts: 1224000 | #Constraints: 114218
2858.08/2865.65 c #Conflicts: 1225000 | #Constraints: 115218
2858.08/2865.65 c #Conflicts: 1226000 | #Constraints: 116218
2858.08/2865.65 c #Conflicts: 1227000 | #Constraints: 117218
2858.08/2865.65 c #Conflicts: 1228000 | #Constraints: 118218
2858.08/2865.65 c #Conflicts: 1229000 | #Constraints: 119218
2858.08/2865.65 c #Conflicts: 1230000 | #Constraints: 120218
2858.08/2865.65 c #Conflicts: 1231000 | #Constraints: 121218
2858.08/2865.65 c #Conflicts: 1232000 | #Constraints: 122218
2858.08/2865.65 c #Conflicts: 1233000 | #Constraints: 123218
2858.08/2865.65 c #Conflicts: 1234000 | #Constraints: 124218
2858.08/2865.65 c INPROCESSING
2858.08/2865.65 c GARBAGE COLLECT
2858.08/2865.65 c #Conflicts: 1235000 | #Constraints: 103218
2858.08/2865.65 c #Conflicts: 1236000 | #Constraints: 104218
2858.08/2865.65 c #Conflicts: 1237000 | #Constraints: 105218
2858.08/2865.65 c #Conflicts: 1238000 | #Constraints: 106218
2858.08/2865.65 c #Conflicts: 1239000 | #Constraints: 107218
2858.08/2865.65 c #Conflicts: 1240000 | #Constraints: 108218
2858.08/2865.65 c #Conflicts: 1241000 | #Constraints: 109218
2858.08/2865.65 c #Conflicts: 1242000 | #Constraints: 110218
2858.08/2865.65 c #Conflicts: 1243000 | #Constraints: 111218
2858.08/2865.65 c #Conflicts: 1244000 | #Constraints: 112218
2858.08/2865.65 c #Conflicts: 1245000 | #Constraints: 113218
2858.08/2865.65 c #Conflicts: 1246000 | #Constraints: 114218
2858.08/2865.65 c #Conflicts: 1247000 | #Constraints: 115218
2858.08/2865.65 c #Conflicts: 1248000 | #Constraints: 116218
2858.08/2865.65 c #Conflicts: 1249000 | #Constraints: 117218
2858.08/2865.65 c #Conflicts: 1250000 | #Constraints: 118218
2858.08/2865.65 c #Conflicts: 1251000 | #Constraints: 119218
2858.08/2865.65 c #Conflicts: 1252000 | #Constraints: 120218
2858.08/2865.65 c #Conflicts: 1253000 | #Constraints: 121218
2858.08/2865.65 c #Conflicts: 1254000 | #Constraints: 122218
2858.08/2865.65 c #Conflicts: 1255000 | #Constraints: 123218
2858.08/2865.65 c #Conflicts: 1256000 | #Constraints: 124218
2858.08/2865.65 c INPROCESSING
2858.08/2865.65 c GARBAGE COLLECT
2858.08/2865.65 c #Conflicts: 1257000 | #Constraints: 102992
2858.08/2865.65 c #Conflicts: 1258000 | #Constraints: 103992
2858.08/2865.65 c #Conflicts: 1259000 | #Constraints: 104992
2858.08/2865.65 c #Conflicts: 1260000 | #Constraints: 105992
2858.08/2865.65 c #Conflicts: 1261000 | #Constraints: 106992
3092.68/3100.87 c #Conflicts: 1262000 | #Constraints: 107992
3092.68/3100.87 c #Conflicts: 1263000 | #Constraints: 108992
3092.68/3100.87 c #Conflicts: 1264000 | #Constraints: 109992
3092.68/3100.87 c #Conflicts: 1265000 | #Constraints: 110992
3092.68/3100.87 c #Conflicts: 1266000 | #Constraints: 111992
3092.68/3100.87 c #Conflicts: 1267000 | #Constraints: 112992
3092.68/3100.87 c #Conflicts: 1268000 | #Constraints: 113992
3092.68/3100.87 c #Conflicts: 1269000 | #Constraints: 114992
3092.68/3100.87 c #Conflicts: 1270000 | #Constraints: 115992
3092.68/3100.87 c #Conflicts: 1271000 | #Constraints: 116992
3092.68/3100.87 c #Conflicts: 1272000 | #Constraints: 117992
3092.68/3100.87 c #Conflicts: 1273000 | #Constraints: 118992
3092.68/3100.87 c #Conflicts: 1274000 | #Constraints: 119992
3092.68/3100.87 c #Conflicts: 1275000 | #Constraints: 120992
3092.68/3100.87 c #Conflicts: 1276000 | #Constraints: 121992
3092.68/3100.87 c #Conflicts: 1277000 | #Constraints: 122992
3092.68/3100.87 c #Conflicts: 1278000 | #Constraints: 123992
3092.68/3100.87 c #Conflicts: 1279000 | #Constraints: 124992
3092.68/3100.87 c INPROCESSING
3092.68/3100.87 c GARBAGE COLLECT
3092.68/3100.87 c #Conflicts: 1280000 | #Constraints: 103591
3092.68/3100.87 c #Conflicts: 1281000 | #Constraints: 104591
3092.68/3100.87 c #Conflicts: 1282000 | #Constraints: 105591
3092.68/3100.87 c #Conflicts: 1283000 | #Constraints: 106591
3092.68/3100.87 c #Conflicts: 1284000 | #Constraints: 107591
3092.68/3100.87 c #Conflicts: 1285000 | #Constraints: 108591
3092.68/3100.87 c #Conflicts: 1286000 | #Constraints: 109591
3092.68/3100.87 c #Conflicts: 1287000 | #Constraints: 110591
3092.68/3100.87 c #Conflicts: 1288000 | #Constraints: 111591
3092.68/3100.87 c #Conflicts: 1289000 | #Constraints: 112591
3092.68/3100.87 c #Conflicts: 1290000 | #Constraints: 113591
3092.68/3100.87 c #Conflicts: 1291000 | #Constraints: 114591
3092.68/3100.87 c #Conflicts: 1292000 | #Constraints: 115591
3092.68/3100.87 c #Conflicts: 1293000 | #Constraints: 116591
3092.68/3100.87 c #Conflicts: 1294000 | #Constraints: 117591
3092.68/3100.87 c #Conflicts: 1295000 | #Constraints: 118591
3092.68/3100.87 c #Conflicts: 1296000 | #Constraints: 119591
3092.68/3100.87 c #Conflicts: 1297000 | #Constraints: 120591
3092.68/3100.87 c #Conflicts: 1298000 | #Constraints: 121591
3092.68/3100.87 c #Conflicts: 1299000 | #Constraints: 122591
3092.68/3100.87 c #Conflicts: 1300000 | #Constraints: 123591
3092.68/3100.87 c #Conflicts: 1301000 | #Constraints: 124591
3092.68/3100.87 c #Conflicts: 1302000 | #Constraints: 125591
3092.68/3100.87 c INPROCESSING
3092.68/3100.87 c GARBAGE COLLECT
3092.68/3100.87 c #Conflicts: 1303000 | #Constraints: 104008
3092.68/3100.87 c #Conflicts: 1304000 | #Constraints: 105008
3092.68/3100.87 c #Conflicts: 1305000 | #Constraints: 106008
3092.68/3100.87 c #Conflicts: 1306000 | #Constraints: 107008
3092.68/3100.87 c #Conflicts: 1307000 | #Constraints: 108008
3092.68/3100.87 c #Conflicts: 1308000 | #Constraints: 109008
3092.68/3100.87 c #Conflicts: 1309000 | #Constraints: 110008
3092.68/3100.87 c #Conflicts: 1310000 | #Constraints: 111008
3092.68/3100.87 c #Conflicts: 1311000 | #Constraints: 112008
3092.68/3100.87 c #Conflicts: 1312000 | #Constraints: 113008
3092.68/3100.87 c #Conflicts: 1313000 | #Constraints: 114008
3092.68/3100.87 c #Conflicts: 1314000 | #Constraints: 115008
3092.68/3100.87 c #Conflicts: 1315000 | #Constraints: 116008
3092.68/3100.87 c #Conflicts: 1316000 | #Constraints: 117008
3092.68/3100.87 c #Conflicts: 1317000 | #Constraints: 118008
3092.68/3100.87 c #Conflicts: 1318000 | #Constraints: 119008
3092.68/3100.87 c #Conflicts: 1319000 | #Constraints: 120008
3092.68/3100.87 c #Conflicts: 1320000 | #Constraints: 121008
3092.68/3100.87 c #Conflicts: 1321000 | #Constraints: 122008
3092.68/3100.87 c #Conflicts: 1322000 | #Constraints: 123008
3092.68/3100.87 c #Conflicts: 1323000 | #Constraints: 124008
3092.68/3100.87 c #Conflicts: 1324000 | #Constraints: 125008
3092.68/3100.87 c #Conflicts: 1325000 | #Constraints: 126008
3092.68/3100.87 c INPROCESSING
3092.68/3100.87 c GARBAGE COLLECT
3092.68/3100.87 c #Conflicts: 1326000 | #Constraints: 104214
3092.68/3100.87 c #Conflicts: 1327000 | #Constraints: 105214
3092.68/3100.87 c #Conflicts: 1328000 | #Constraints: 106214
3092.68/3100.87 c #Conflicts: 1329000 | #Constraints: 107214
3092.68/3100.87 c #Conflicts: 1330000 | #Constraints: 108214
3092.68/3100.87 c #Conflicts: 1331000 | #Constraints: 109214
3092.68/3100.87 c #Conflicts: 1332000 | #Constraints: 110214
3092.68/3100.87 c #Conflicts: 1333000 | #Constraints: 111214
3092.68/3100.87 c #Conflicts: 1334000 | #Constraints: 112214
3092.68/3100.87 c #Conflicts: 1335000 | #Constraints: 113214
3092.68/3100.87 c #Conflicts: 1336000 | #Constraints: 114214
3092.68/3100.87 c #Conflicts: 1337000 | #Constraints: 115214
3092.68/3100.87 c #Conflicts: 1338000 | #Constraints: 116214
3333.17/3341.99 c #Conflicts: 1339000 | #Constraints: 117214
3333.17/3341.99 c #Conflicts: 1340000 | #Constraints: 118214
3333.17/3341.99 c #Conflicts: 1341000 | #Constraints: 119214
3333.17/3341.99 c #Conflicts: 1342000 | #Constraints: 120214
3333.17/3341.99 c #Conflicts: 1343000 | #Constraints: 121214
3333.17/3341.99 c #Conflicts: 1344000 | #Constraints: 122214
3333.17/3341.99 c #Conflicts: 1345000 | #Constraints: 123214
3333.17/3341.99 c #Conflicts: 1346000 | #Constraints: 124214
3333.17/3341.99 c #Conflicts: 1347000 | #Constraints: 125214
3333.17/3341.99 c #Conflicts: 1348000 | #Constraints: 126214
3333.17/3341.99 c INPROCESSING
3333.17/3341.99 c GARBAGE COLLECT
3333.17/3341.99 c #Conflicts: 1349000 | #Constraints: 104213
3333.17/3341.99 c #Conflicts: 1350000 | #Constraints: 105213
3333.17/3341.99 c #Conflicts: 1351000 | #Constraints: 106213
3333.17/3341.99 c #Conflicts: 1352000 | #Constraints: 107213
3333.17/3341.99 c #Conflicts: 1353000 | #Constraints: 108213
3333.17/3341.99 c #Conflicts: 1354000 | #Constraints: 109213
3333.17/3341.99 c #Conflicts: 1355000 | #Constraints: 110213
3333.17/3341.99 c #Conflicts: 1356000 | #Constraints: 111213
3333.17/3341.99 c #Conflicts: 1357000 | #Constraints: 112213
3333.17/3341.99 c #Conflicts: 1358000 | #Constraints: 113213
3333.17/3341.99 c #Conflicts: 1359000 | #Constraints: 114213
3333.17/3341.99 c #Conflicts: 1360000 | #Constraints: 115213
3333.17/3341.99 c #Conflicts: 1361000 | #Constraints: 116213
3333.17/3341.99 c #Conflicts: 1362000 | #Constraints: 117213
3333.17/3341.99 c #Conflicts: 1363000 | #Constraints: 118213
3333.17/3341.99 c #Conflicts: 1364000 | #Constraints: 119213
3333.17/3341.99 c #Conflicts: 1365000 | #Constraints: 120213
3333.17/3341.99 c #Conflicts: 1366000 | #Constraints: 121213
3333.17/3341.99 c #Conflicts: 1367000 | #Constraints: 122213
3333.17/3341.99 c #Conflicts: 1368000 | #Constraints: 123213
3333.17/3341.99 c #Conflicts: 1369000 | #Constraints: 124213
3333.17/3341.99 c #Conflicts: 1370000 | #Constraints: 125213
3333.17/3341.99 c #Conflicts: 1371000 | #Constraints: 126213
3333.17/3341.99 c INPROCESSING
3333.17/3341.99 c GARBAGE COLLECT
3333.17/3341.99 c #Conflicts: 1372000 | #Constraints: 104013
3333.17/3341.99 c #Conflicts: 1373000 | #Constraints: 105013
3333.17/3341.99 c #Conflicts: 1374000 | #Constraints: 106013
3333.17/3341.99 c #Conflicts: 1375000 | #Constraints: 107013
3333.17/3341.99 c #Conflicts: 1376000 | #Constraints: 108013
3333.17/3341.99 c #Conflicts: 1377000 | #Constraints: 109013
3333.17/3341.99 c #Conflicts: 1378000 | #Constraints: 110013
3333.17/3341.99 c #Conflicts: 1379000 | #Constraints: 111013
3333.17/3341.99 c #Conflicts: 1380000 | #Constraints: 112013
3333.17/3341.99 c #Conflicts: 1381000 | #Constraints: 113013
3333.17/3341.99 c #Conflicts: 1382000 | #Constraints: 114013
3333.17/3341.99 c #Conflicts: 1383000 | #Constraints: 115013
3333.17/3341.99 c #Conflicts: 1384000 | #Constraints: 116013
3333.17/3341.99 c #Conflicts: 1385000 | #Constraints: 117013
3333.17/3341.99 c #Conflicts: 1386000 | #Constraints: 118013
3333.17/3341.99 c #Conflicts: 1387000 | #Constraints: 119013
3333.17/3341.99 c #Conflicts: 1388000 | #Constraints: 120013
3333.17/3341.99 c #Conflicts: 1389000 | #Constraints: 121013
3333.17/3341.99 c #Conflicts: 1390000 | #Constraints: 122013
3333.17/3341.99 c #Conflicts: 1391000 | #Constraints: 123013
3333.17/3341.99 c #Conflicts: 1392000 | #Constraints: 124013
3333.17/3341.99 c #Conflicts: 1393000 | #Constraints: 125013
3333.17/3341.99 c #Conflicts: 1394000 | #Constraints: 126013
3333.17/3341.99 c #Conflicts: 1395000 | #Constraints: 127013
3333.17/3341.99 c INPROCESSING
3333.17/3341.99 c GARBAGE COLLECT
3333.17/3341.99 c #Conflicts: 1396000 | #Constraints: 104617
3333.17/3341.99 c #Conflicts: 1397000 | #Constraints: 105617
3333.17/3341.99 c #Conflicts: 1398000 | #Constraints: 106617
3333.17/3341.99 c #Conflicts: 1399000 | #Constraints: 107617
3333.17/3341.99 c #Conflicts: 1400000 | #Constraints: 108617
3333.17/3341.99 c #Conflicts: 1401000 | #Constraints: 109617
3333.17/3341.99 c #Conflicts: 1402000 | #Constraints: 110617
3333.17/3341.99 c #Conflicts: 1403000 | #Constraints: 111617
3333.17/3341.99 c #Conflicts: 1404000 | #Constraints: 112617
3333.17/3341.99 c #Conflicts: 1405000 | #Constraints: 113617
3333.17/3341.99 c #Conflicts: 1406000 | #Constraints: 114617
3333.17/3341.99 c #Conflicts: 1407000 | #Constraints: 115617
3333.17/3341.99 c #Conflicts: 1408000 | #Constraints: 116617
3333.17/3341.99 c #Conflicts: 1409000 | #Constraints: 117617
3333.17/3341.99 c #Conflicts: 1410000 | #Constraints: 118617
3333.17/3341.99 c #Conflicts: 1411000 | #Constraints: 119617
3333.17/3341.99 c #Conflicts: 1412000 | #Constraints: 120617
3333.17/3341.99 c #Conflicts: 1413000 | #Constraints: 121617
3333.17/3341.99 c #Conflicts: 1414000 | #Constraints: 122617
3333.17/3341.99 c #Conflicts: 1415000 | #Constraints: 123617
3590.01/3599.40 c #Conflicts: 1416000 | #Constraints: 124617
3590.01/3599.40 c #Conflicts: 1417000 | #Constraints: 125617
3590.01/3599.40 c #Conflicts: 1418000 | #Constraints: 126617
3590.01/3599.40 c #Conflicts: 1419000 | #Constraints: 127617
3590.01/3599.40 c INPROCESSING
3590.01/3599.40 c GARBAGE COLLECT
3590.01/3599.40 c #Conflicts: 1420000 | #Constraints: 105021
3590.01/3599.40 c #Conflicts: 1421000 | #Constraints: 106021
3590.01/3599.40 c #Conflicts: 1422000 | #Constraints: 107021
3590.01/3599.40 c #Conflicts: 1423000 | #Constraints: 108021
3590.01/3599.40 c #Conflicts: 1424000 | #Constraints: 109021
3590.01/3599.40 c #Conflicts: 1425000 | #Constraints: 110021
3590.01/3599.40 c #Conflicts: 1426000 | #Constraints: 111021
3590.01/3599.40 c #Conflicts: 1427000 | #Constraints: 112021
3590.01/3599.40 c #Conflicts: 1428000 | #Constraints: 113021
3590.01/3599.40 c #Conflicts: 1429000 | #Constraints: 114021
3590.01/3599.40 c #Conflicts: 1430000 | #Constraints: 115021
3590.01/3599.40 c #Conflicts: 1431000 | #Constraints: 116021
3590.01/3599.40 c #Conflicts: 1432000 | #Constraints: 117021
3590.01/3599.40 c #Conflicts: 1433000 | #Constraints: 118021
3590.01/3599.40 c #Conflicts: 1434000 | #Constraints: 119021
3590.01/3599.40 c #Conflicts: 1435000 | #Constraints: 120021
3590.01/3599.40 c #Conflicts: 1436000 | #Constraints: 121021
3590.01/3599.40 c #Conflicts: 1437000 | #Constraints: 122021
3590.01/3599.40 c #Conflicts: 1438000 | #Constraints: 123021
3590.01/3599.40 c #Conflicts: 1439000 | #Constraints: 124021
3590.01/3599.40 c #Conflicts: 1440000 | #Constraints: 125021
3590.01/3599.40 c #Conflicts: 1441000 | #Constraints: 126021
3590.01/3599.40 c #Conflicts: 1442000 | #Constraints: 127021
3590.01/3599.40 c #Conflicts: 1443000 | #Constraints: 128021
3590.01/3599.40 c INPROCESSING
3590.01/3599.40 c GARBAGE COLLECT
3590.01/3599.40 c #Conflicts: 1444000 | #Constraints: 105221
3590.01/3599.40 c #Conflicts: 1445000 | #Constraints: 106221
3590.01/3599.40 c #Conflicts: 1446000 | #Constraints: 107221
3590.01/3599.40 c #Conflicts: 1447000 | #Constraints: 108221
3590.01/3599.40 c #Conflicts: 1448000 | #Constraints: 109221
3590.01/3599.40 c #Conflicts: 1449000 | #Constraints: 110221
3590.01/3599.40 c #Conflicts: 1450000 | #Constraints: 111221
3590.01/3599.40 c #Conflicts: 1451000 | #Constraints: 112221
3590.01/3599.40 c #Conflicts: 1452000 | #Constraints: 113221
3590.01/3599.40 c #Conflicts: 1453000 | #Constraints: 114221
3590.01/3599.40 c #Conflicts: 1454000 | #Constraints: 115221
3590.01/3599.40 c #Conflicts: 1455000 | #Constraints: 116221
3590.01/3599.40 c #Conflicts: 1456000 | #Constraints: 117221
3590.01/3599.40 c #Conflicts: 1457000 | #Constraints: 118221
3590.01/3599.40 c #Conflicts: 1458000 | #Constraints: 119221
3590.01/3599.40 c #Conflicts: 1459000 | #Constraints: 120221
3590.01/3599.40 c #Conflicts: 1460000 | #Constraints: 121221
3590.01/3599.40 c #Conflicts: 1461000 | #Constraints: 122221
3590.01/3599.40 c #Conflicts: 1462000 | #Constraints: 123221
3590.01/3599.40 c #Conflicts: 1463000 | #Constraints: 124221
3590.01/3599.40 c #Conflicts: 1464000 | #Constraints: 125221
3590.01/3599.40 c #Conflicts: 1465000 | #Constraints: 126221
3590.01/3599.40 c #Conflicts: 1466000 | #Constraints: 127221
3590.01/3599.40 c #Conflicts: 1467000 | #Constraints: 128221
3590.01/3599.40 c INPROCESSING
3590.01/3599.40 c GARBAGE COLLECT
3590.01/3599.40 c #Conflicts: 1468000 | #Constraints: 105216
3590.01/3599.40 c #Conflicts: 1469000 | #Constraints: 106216
3590.01/3599.40 c #Conflicts: 1470000 | #Constraints: 107216
3590.01/3599.40 c #Conflicts: 1471000 | #Constraints: 108216
3590.01/3599.40 c #Conflicts: 1472000 | #Constraints: 109216
3590.01/3599.40 c #Conflicts: 1473000 | #Constraints: 110216
3590.01/3599.40 c #Conflicts: 1474000 | #Constraints: 111216
3590.01/3599.40 c #Conflicts: 1475000 | #Constraints: 112216
3590.01/3599.40 c #Conflicts: 1476000 | #Constraints: 113216
3590.01/3599.40 c #Conflicts: 1477000 | #Constraints: 114216
3590.01/3599.40 c #Conflicts: 1478000 | #Constraints: 115216
3590.01/3599.40 c #Conflicts: 1479000 | #Constraints: 116216
3590.01/3599.40 c #Conflicts: 1480000 | #Constraints: 117216
3590.01/3599.40 c #Conflicts: 1481000 | #Constraints: 118216
3590.01/3599.40 c #Conflicts: 1482000 | #Constraints: 119216
3590.01/3599.40 c #Conflicts: 1483000 | #Constraints: 120216
3590.01/3599.40 c #Conflicts: 1484000 | #Constraints: 121216
3590.01/3599.40 c #Conflicts: 1485000 | #Constraints: 122216
3590.01/3599.40 c #Conflicts: 1486000 | #Constraints: 123216
3590.01/3599.40 c #Conflicts: 1487000 | #Constraints: 124216
3590.01/3599.40 c #Conflicts: 1488000 | #Constraints: 125216
3590.01/3599.40 c #Conflicts: 1489000 | #Constraints: 126216
3590.01/3599.40 c #Conflicts: 1490000 | #Constraints: 127216
3590.01/3599.40 c #Conflicts: 1491000 | #Constraints: 128216
3600.08/3609.50 c INPROCESSING
3600.08/3609.50 c GARBAGE COLLECT
3600.08/3609.50 c #Conflicts: 1492000 | #Constraints: 105021
3600.08/3609.50 c #Conflicts: 1493000 | #Constraints: 106021
3600.08/3609.50 c #Conflicts: 1494000 | #Constraints: 107021
3600.08/3609.50 c Program interrupted by user.
3600.08/3609.50 c cpu time 3593.91 s
3600.08/3609.50 c deterministic time 807225383929 8.07e+11
3600.08/3609.50 c optimization time 7.01544 s
3600.08/3609.50 c total solve time 3287.53 s
3600.08/3609.50 c core-guided solve time 3287.53 s
3600.08/3609.50 c propagation time 3094.73 s
3600.08/3609.50 c conflict analysis time 153.867 s
3600.08/3609.50 c propagations 34095854
3600.08/3609.50 c resolve steps 10606038
3600.08/3609.50 c decisions 1825796
3600.08/3609.50 c conflicts 1494685
3600.08/3609.50 c restarts 2932
3600.08/3609.50 c inprocessing phases 113
3600.08/3609.50 c input clauses 80233
3600.08/3609.50 c input cardinalities 25
3600.08/3609.50 c input general constraints 0
3600.08/3609.50 c input average constraint length 2.37
3600.08/3609.50 c input average constraint degree 1.29
3600.08/3609.50 c learned clauses 903511
3600.08/3609.50 c learned cardinalities 383453
3600.08/3609.50 c learned general constraints 207720
3600.08/3609.50 c learned average constraint length 1098.56
3600.08/3609.50 c learned average constraint degree 19.36
3600.08/3609.50 c watched constraints 207720
3600.08/3609.50 c counting constraints 0
3600.08/3609.50 c gcd simplifications 75378
3600.08/3609.50 c detected cardinalities 14441
3600.08/3609.50 c weakened non-implied lits 24760158
3600.08/3609.50 c weakened non-implying lits 52198
3600.08/3609.50 c original variables 1150
3600.08/3609.50 c clausal propagations 23693427
3600.08/3609.50 c cardinality propagations 5585651
3600.08/3609.50 c watched propagations 1128133
3600.08/3609.50 c counting propagations 0
3600.08/3609.50 c watch lookups 19716803321
3600.08/3609.50 c watch backjump lookups 10669771
3600.08/3609.50 c watch checks 782392399636
3600.08/3609.50 c propagation checks 1652585776
3600.08/3609.50 c constraint additions 3379588763
3600.08/3609.50 c trail pops 37415011
3600.08/3609.50 c formula constraints 80035
3600.08/3609.50 c learned constraints 1494684
3600.08/3609.50 c bound constraints 25
3600.08/3609.50 c core-guided constraints 198
3600.08/3609.50 c encountered formula constraints 8448903
3600.08/3609.50 c encountered learned constraints 3588306
3600.08/3609.50 c encountered bound constraints 1129
3600.08/3609.50 c encountered core-guided constraints 62385
3600.08/3609.50 c LP total time 0 s
3600.08/3609.50 c LP solve time 0 s
3600.08/3609.50 c LP constraints added 0
3600.08/3609.50 c LP constraints removed 0
3600.08/3609.50 c LP pivots internal 0
3600.08/3609.50 c LP pivots root 0
3600.08/3609.50 c LP calls 0
3600.08/3609.50 c LP optimalities 0
3600.08/3609.50 c LP no pivot count 0
3600.08/3609.50 c LP infeasibilities 0
3600.08/3609.50 c LP valid Farkas constraints 0
3600.08/3609.50 c LP learned Farkas constraints 0
3600.08/3609.50 c LP basis resets 0
3600.08/3609.50 c LP cycling count 0
3600.08/3609.50 c LP singular count 0
3600.08/3609.50 c LP no primal count 0
3600.08/3609.50 c LP no farkas count 0
3600.08/3609.50 c LP other issue count 0
3600.08/3609.50 c LP Gomory cuts 0
3600.08/3609.50 c LP learned cuts 0
3600.08/3609.50 c LP deleted cuts 0
3600.08/3609.50 c LP encountered Gomory constraints 0
3600.08/3609.50 c LP encountered Farkas constraints 0
3600.08/3609.50 c LP encountered learned Farkas constraints 0
3600.08/3609.50 c CG auxiliary variables introduced 198
3600.08/3609.50 c CG solutions found 0
3600.08/3609.50 c CG cores constructed 24
3600.08/3609.50 c CG core cardinality constraints returned 0
3600.08/3609.50 c CG unit cores 0
3600.08/3609.50 c CG single cores 24
3600.08/3609.50 c CG blocks removed during cardinality reduction 0
3600.08/3609.50 c CG first core best 0
3600.08/3609.50 c CG decision core best 0
3600.08/3609.50 c CG core reduction tie 0
3600.08/3609.50 c CG core degree average 1.00
3600.08/3609.50 c CG core slack average 6.50
3600.08/3609.50 c CG exhausted 0
3600.08/3609.50 c CG exhaust time 0 s
3600.08/3609.50 c CG trimmed 2
3600.08/3609.50 c CG trim time 0.000272 s
3600.08/3609.50 c CG minimized 0
3600.08/3609.50 c CG minimize time 0 s
3600.08/3609.50 c CG am1 prop time 0.005847 s
3600.08/3609.50 c CG # am1s reformulated 198
3600.08/3609.50 c CG lower bound derived from am1s 951
3600.08/3609.50 c CG # clausal cores 24
3600.08/3609.50 c CG # cardinality cores 0
3600.08/3609.50 c CG # pb cores 0
3600.08/3609.50 c CG # pb reforms 0
3600.08/3609.50 c CG # cores discarded because of pb reform 0
3600.08/3609.50 d LOWERBOUND -175
3600.08/3609.50 d NCORES 24
3600.08/3609.50 d NPBCORES 0
3600.08/3609.50 d NPBREFORM 0
3600.08/3609.50 d NTRIMMED 2
3600.08/3609.50 d NEXHAUSTED 0
3600.08/3609.50 d NAM1S 198
3600.08/3609.50 d AM1LB 951
3600.08/3609.50 c [Papilo Statistics]
3600.08/3609.50 c prepro time 0.149343s
3600.08/3609.50 c # tsx applied 0
3600.08/3609.50 c # tsx conflicts 0
3600.08/3609.50 c # bound changes 0
3600.08/3609.50 c # side changes 0
3600.08/3609.50 c # coef changes 0
3600.08/3609.50 c # rounds 1
3600.08/3609.50 c # deted vars 0
3600.08/3609.50 c # deted constrs 0
3600.08/3609.50 c # consecutive rounds of only bound changes 0
3600.08/3609.51 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 (62920 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528983-1752253976/watcher-4528983-1752253976 -o /tmp/evaluation-result-4528983-1752253976/solver-4528983-1752253976 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752253734-121213 --watchdog 3760 mixed-bag HOME/instance-4528983-1752253976.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=121825, runsolver pid=121822
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.04 3.24 2.96 4/261 121826
/proc/meminfo: memFree=110893656/131250000 swapFree=33008356/33010684
[pid=121825] ppid=121822 vsize=87544 memory=15964 CPUtime=0.09 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 2600 0 0 0 9 0 0 0 20 0 1 0 141074230 89645056 3991 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 21886 3991 2144 2834 0 4638 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 87544 KiB
Current children cumulated memory: 15964 KiB
[startup+0.205388 s]*
/proc/loadavg: 4.04 3.24 2.96 4/261 121826
/proc/meminfo: memFree=110853472/131250000 swapFree=33008356/33010684
[pid=121825] ppid=121822 vsize=131024 memory=52016 CPUtime=0.19 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 10477 0 0 0 18 1 0 0 20 0 1 0 141074230 134168576 13004 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 32756 13004 2304 2834 0 14961 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 131024 KiB
Current children cumulated memory: 52016 KiB
[startup+0.305508 s]*
/proc/loadavg: 4.04 3.24 2.96 4/261 121826
/proc/meminfo: memFree=110853472/131250000 swapFree=33008356/33010684
[pid=121825] ppid=121822 vsize=131024 memory=52016 CPUtime=0.29 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 10477 0 0 0 28 1 0 0 20 0 1 0 141074230 134168576 13004 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 32756 13004 2304 2834 0 14961 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 131024 KiB
Current children cumulated memory: 52016 KiB
[startup+0.700171 s]
/proc/loadavg: 4.04 3.24 2.96 4/263 121835
/proc/meminfo: memFree=110765080/131250000 swapFree=33008356/33010684
[pid=121825] ppid=121822 vsize=267096 memory=191592 CPUtime=0.68 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 39922 0 0 0 62 6 0 0 20 0 1 0 141074230 273506304 47898 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 66774 47898 4000 2834 0 48979 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 267096 KiB
Current children cumulated memory: 191592 KiB
[startup+1.50018 s]
/proc/loadavg: 4.04 3.24 2.96 5/265 121863
/proc/meminfo: memFree=110701232/131250000 swapFree=33008356/33010684
[pid=121825] ppid=121822 vsize=398888 memory=295240 CPUtime=1.48 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 50319 0 0 0 138 10 0 0 20 0 1 0 141074230 408461312 73810 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 99722 73810 4064 2834 0 81927 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 398888 KiB
Current children cumulated memory: 295240 KiB
[startup+3.10538 s]
/proc/loadavg: 4.04 3.24 2.96 5/265 121863
/proc/meminfo: memFree=110145288/131250000 swapFree=33008356/33010684
[pid=121825] ppid=121822 vsize=551896 memory=446432 CPUtime=3.07 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 73188 0 0 0 292 15 0 0 20 0 1 0 141074230 565141504 111608 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 137974 111608 4256 2834 0 120179 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 551896 KiB
Current children cumulated memory: 446432 KiB
[startup+6.30009 s]
/proc/loadavg: 4.04 3.25 2.97 5/265 121864
/proc/meminfo: memFree=110097884/131250000 swapFree=33008356/33010684
[pid=121825] ppid=121822 vsize=596576 memory=472304 CPUtime=6.26 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 79144 0 0 0 610 16 0 0 20 0 1 0 141074230 610893824 118076 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 149144 118076 4256 2834 0 131349 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 596576 KiB
Current children cumulated memory: 472304 KiB
[startup+12.7002 s]
/proc/loadavg: 4.04 3.26 2.98 5/265 121864
/proc/meminfo: memFree=110087280/131250000 swapFree=33008356/33010684
[pid=121825] ppid=121822 vsize=646736 memory=486180 CPUtime=12.65 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 81099 0 0 0 1248 17 0 0 20 0 1 0 141074230 662257664 121545 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 161684 121545 4256 2834 0 143889 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 646736 KiB
Current children cumulated memory: 486180 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=121825] ppid=121822 vsize=845332 memory=590500 CPUtime=25.41 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 107184 0 0 0 2520 21 0 0 20 0 1 0 141074230 865619968 147625 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 211333 147625 4256 2834 0 193538 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 845332 KiB
Current children cumulated memory: 590500 KiB
[startup+51.1054 s]
/proc/loadavg: 4.07 3.37 3.03 5/265 121864
/proc/meminfo: memFree=109823472/131250000 swapFree=33008356/33010684
[pid=121825] ppid=121822 vsize=874908 memory=596132 CPUtime=50.94 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 108555 0 0 0 5073 21 0 0 20 0 1 0 141074230 895905792 149033 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 218727 149033 4288 2834 0 200932 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 874908 KiB
Current children cumulated memory: 596132 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=121825] ppid=121822 vsize=927532 memory=596260 CPUtime=101.97 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 108598 0 0 0 10176 21 0 0 20 0 1 0 141074230 949792768 149065 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 231883 149065 4288 2834 0 214088 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 927532 KiB
Current children cumulated memory: 596260 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=121825] ppid=121822 vsize=1041216 memory=661284 CPUtime=161.8 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 130523 0 0 0 16155 25 0 0 20 0 1 0 141074230 1066205184 165321 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 260304 165321 4288 2834 0 242509 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1041216 KiB
Current children cumulated memory: 661284 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=121825] ppid=121822 vsize=1170188 memory=728304 CPUtime=221.63 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 142725 0 0 0 22136 27 0 0 20 0 1 0 141074230 1198272512 182076 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 292547 182076 4288 2834 0 274752 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 1170188 KiB
Current children cumulated memory: 728304 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=121825] ppid=121822 vsize=1266424 memory=795748 CPUtime=281.47 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 156512 0 0 0 28117 30 0 0 20 0 1 0 141074230 1296818176 198937 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 316606 198937 4288 2834 0 298811 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 1266424 KiB
Current children cumulated memory: 795748 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=121825] ppid=121822 vsize=1107100 memory=645420 CPUtime=341.3 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 159994 0 0 0 34067 63 0 0 20 0 1 0 141074230 1133670400 161355 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 276775 161355 4448 2834 0 258980 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 1107100 KiB
Current children cumulated memory: 645420 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.90 3.39 5/263 121883
/proc/meminfo: memFree=109627636/131250000 swapFree=33008356/33010684
[pid=121825] ppid=121822 vsize=1107100 memory=665144 CPUtime=401.15 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 160306 0 0 0 40024 91 0 0 20 0 1 0 141074230 1133670400 166286 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 276775 166286 4448 2834 0 258980 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 1107100 KiB
Current children cumulated memory: 665144 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.95 3.44 5/264 121886
/proc/meminfo: memFree=109548092/131250000 swapFree=33008356/33010684
[pid=121825] ppid=121822 vsize=1157188 memory=675768 CPUtime=460.99 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 160434 0 0 0 45985 114 0 0 20 0 1 0 141074230 1184960512 168942 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 289297 168942 4448 2834 0 271502 0
Current children cumulated CPU time: 460.99 s
################
# More data... #
################
Current children cumulated memory: 930008 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=121825] ppid=121822 vsize=1238576 memory=932056 CPUtime=2914.64 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 161971 0 0 0 290929 535 0 0 20 0 1 0 141074230 1268301824 233014 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 309644 233014 4448 2834 0 291849 0
Current children cumulated CPU time: 2914.64 s
Current children cumulated vsize: 1238576 KiB
Current children cumulated memory: 932056 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=121825] ppid=121822 vsize=1238576 memory=933464 CPUtime=2974.48 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 162346 0 0 0 296905 543 0 0 20 0 1 0 141074230 1268301824 233366 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 309644 233366 4448 2834 0 291849 0
Current children cumulated CPU time: 2974.48 s
Current children cumulated vsize: 1238576 KiB
Current children cumulated memory: 933464 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=121825] ppid=121822 vsize=1238576 memory=933464 CPUtime=3034.33 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 162346 0 0 0 302882 551 0 0 20 0 1 0 141074230 1268301824 233366 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 309644 233366 4448 2834 0 291849 0
Current children cumulated CPU time: 3034.33 s
Current children cumulated vsize: 1238576 KiB
Current children cumulated memory: 933464 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.07 5/263 122023
/proc/meminfo: memFree=108020624/131250000 swapFree=33008356/33010684
[pid=121825] ppid=121822 vsize=1370836 memory=936152 CPUtime=3094.18 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 162484 0 0 0 308861 557 0 0 20 0 1 0 141074230 1403736064 234038 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 342709 234038 4448 2834 0 324914 0
Current children cumulated CPU time: 3094.18 s
Current children cumulated vsize: 1370836 KiB
Current children cumulated memory: 936152 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.07 5/264 122026
/proc/meminfo: memFree=108022632/131250000 swapFree=33008356/33010684
[pid=121825] ppid=121822 vsize=1370836 memory=942296 CPUtime=3154.03 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 162487 0 0 0 314838 565 0 0 20 0 1 0 141074230 1403736064 235574 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 342709 235574 4448 2834 0 324914 0
Current children cumulated CPU time: 3154.03 s
Current children cumulated vsize: 1370836 KiB
Current children cumulated memory: 942296 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=121825] ppid=121822 vsize=1370836 memory=942296 CPUtime=3213.87 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 162487 0 0 0 320816 571 0 0 20 0 1 0 141074230 1403736064 235574 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 342709 235574 4448 2834 0 324914 0
Current children cumulated CPU time: 3213.87 s
Current children cumulated vsize: 1370836 KiB
Current children cumulated memory: 942296 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=121825] ppid=121822 vsize=1370836 memory=942296 CPUtime=3273.72 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 162487 0 0 0 326795 577 0 0 20 0 1 0 141074230 1403736064 235574 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 342709 235574 4448 2834 0 324914 0
Current children cumulated CPU time: 3273.72 s
Current children cumulated vsize: 1370836 KiB
Current children cumulated memory: 942296 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/265 122040
/proc/meminfo: memFree=108027736/131250000 swapFree=33008356/33010684
[pid=121825] ppid=121822 vsize=1370836 memory=942296 CPUtime=3333.57 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 162487 0 0 0 332772 585 0 0 20 0 1 0 141074230 1403736064 235574 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 342709 235574 4448 2834 0 324914 0
Current children cumulated CPU time: 3333.57 s
Current children cumulated vsize: 1370836 KiB
Current children cumulated memory: 942296 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=121825] ppid=121822 vsize=1370836 memory=942296 CPUtime=3393.41 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 162487 0 0 0 338750 591 0 0 20 0 1 0 141074230 1403736064 235574 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 342709 235574 4448 2834 0 324914 0
Current children cumulated CPU time: 3393.41 s
Current children cumulated vsize: 1370836 KiB
Current children cumulated memory: 942296 KiB
[startup+3462.3 s]
/proc/loadavg: 3.39 3.86 4.00 4/259 122075
/proc/meminfo: memFree=109797484/131250000 swapFree=33008356/33010684
[pid=121825] ppid=121822 vsize=1370836 memory=944344 CPUtime=3453.26 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 162594 0 0 0 344727 599 0 0 20 0 1 0 141074230 1403736064 236086 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 342709 236086 4448 2834 0 324914 0
Current children cumulated CPU time: 3453.26 s
Current children cumulated vsize: 1370836 KiB
Current children cumulated memory: 944344 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=121825] ppid=121822 vsize=1370836 memory=948440 CPUtime=3513.11 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 162596 0 0 0 350705 606 0 0 20 0 1 0 141074230 1403736064 237110 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 342709 237110 4448 2834 0 324914 0
Current children cumulated CPU time: 3513.11 s
Current children cumulated vsize: 1370836 KiB
Current children cumulated memory: 948440 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=121825] ppid=121822 vsize=1370836 memory=948440 CPUtime=3572.95 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 162596 0 0 0 356681 614 0 0 20 0 1 0 141074230 1403736064 237110 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 342709 237110 4448 2834 0 324914 0
Current children cumulated CPU time: 3572.95 s
Current children cumulated vsize: 1370836 KiB
Current children cumulated memory: 948440 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 2.31 3.26 3.75 3/252 122112
/proc/meminfo: memFree=110491196/131250000 swapFree=33008356/33010684
[pid=121825] ppid=121822 vsize=1370836 memory=948440 CPUtime=3600.08 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 162596 0 0 0 359391 617 0 0 20 0 1 0 141074230 1403736064 237110 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 342709 237110 4448 2834 0 324914 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1370836 KiB
Current children cumulated memory: 948440 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.51 s]
# the end of solver process 121825 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.92 s, system=6.18183 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 2.31 3.26 3.75 3/252 122112
/proc/meminfo: memFree=110491196/131250000 swapFree=33008356/33010684
[pid=121825] ppid=121822 vsize=1370836 memory=948440 CPUtime=3600.08 cores=1,3
/proc/121825/stat : 121825 (mixed-bag) R 121822 121825 119920 0 -1 4194304 162596 0 0 0 359391 617 0 0 20 0 1 0 141074230 1403736064 237110 18446744073709551615 4235264 15840557 140721303210880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 48689152 140721303214490 140721303214567 140721303214567 140721303220171 0
/proc/121825/statm: 342709 237110 4448 2834 0 324914 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1370836 KiB
Current children cumulated memory: 948440 KiB
Child status: 0
Real time (s): 3609.51
CPU time (s): 3600.1
CPU user time (s): 3593.92
CPU system time (s): 6.18183
CPU usage (%): 99.7393
Max. virtual memory (cumulated for all children) (KiB): 1370836
Max. memory (cumulated for all children) (KiB): 948440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.92
system time used= 6.18182
maximum resident set size= 949208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162627
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= 188
involuntary context switches= 4872
# summary of solver processes directly reported to runsolver:
# pid: 121825
# total CPU time (s): 3600.1
# total CPU user time (s): 3593.92
# total CPU system time (s): 6.18183
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.03151 second user time and 16.1488 second system time
The end
Begin job on nodeC014 at 2025-07-11 19:12:56
IDJOB=4528983
IDBENCH=146676
IDSOLVER=3386
FILE ID=nodeC014/4528983-1752253976
RUNJOBID= nodeC014-1752253734-121213
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/frb50-23-opb/normalized-frb50-23-5.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528983-1752253976/watcher-4528983-1752253976 -o /tmp/evaluation-result-4528983-1752253976/solver-4528983-1752253976 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752253734-121213 --watchdog 3760 mixed-bag HOME/instance-4528983-1752253976.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f240478745515edc7850a10c9aa5c21f
RANDOM SEED=1341294924
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.187
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 : 3599.902
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 : 3603.820
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 : 3587.728
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.074
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 : 3598.918
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 : 3600.113
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 : 3566.590
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: 110893320 kB
MemAvailable: 128403072 kB
Buffers: 696 kB
Cached: 18259728 kB
SwapCached: 1628 kB
Active: 1677924 kB
Inactive: 17889052 kB
Active(anon): 1300136 kB
Inactive(anon): 31012 kB
Active(file): 377788 kB
Inactive(file): 17858040 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008356 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 17216 kB
Writeback: 0 kB
AnonPages: 1308108 kB
Mapped: 128920 kB
Shmem: 24596 kB
KReclaimable: 226324 kB
Slab: 320680 kB
SReclaimable: 226324 kB
SUnreclaim: 94356 kB
KernelStack: 4192 kB
PageTables: 5992 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2020392 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 520192 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= 430484 MiB
End job on nodeC014 at 2025-07-11 20:13:06