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.08/0.17 c [STEP] preprocessing with Papilo
0.27/0.33 c Papilo could not simplify the problem
0.27/0.33 c [STEP] solving with SCIP
299.41/300.51 c [STEP] preprocessing done, loading into solver
299.51/300.64 c [STEP] solving
299.51/300.64 c #variables 1151 #constraints 80035
299.51/300.64 c SMALL=int, LARGE=long long
299.51/300.64 d SCIPUB -43
299.51/300.64 c bounds - >= -1150 @ 299.188
299.51/300.64 c stratification level: 0
328.22/329.42 c bounds - >= -198 @ 299.226
328.22/329.42 c bounds - >= -197 @ 299.227
328.22/329.42 c bounds - >= -196 @ 299.227
328.22/329.42 c bounds - >= -195 @ 299.228
328.22/329.42 c bounds - >= -194 @ 299.228
328.22/329.42 c bounds - >= -193 @ 299.228
328.22/329.42 c bounds - >= -192 @ 299.228
328.22/329.42 c bounds - >= -191 @ 299.229
328.22/329.42 c bounds - >= -190 @ 299.23
328.22/329.42 c bounds - >= -189 @ 299.23
328.22/329.42 c bounds - >= -188 @ 299.23
328.22/329.42 c bounds - >= -187 @ 299.23
328.22/329.42 c bounds - >= -186 @ 299.231
328.22/329.42 c bounds - >= -185 @ 299.231
328.22/329.42 c bounds - >= -184 @ 299.232
328.22/329.42 c bounds - >= -183 @ 299.232
328.22/329.42 c bounds - >= -182 @ 299.233
328.22/329.42 c bounds - >= -181 @ 299.233
328.22/329.42 c bounds - >= -180 @ 299.234
328.22/329.42 c bounds - >= -179 @ 299.234
328.22/329.42 c bounds - >= -178 @ 299.234
328.22/329.42 c bounds - >= -177 @ 299.235
328.22/329.42 c bounds - >= -176 @ 299.235
328.22/329.42 c bounds - >= -175 @ 299.235
328.22/329.42 c #Conflicts: 1000 | #Constraints: 81257
328.22/329.42 c #Conflicts: 2000 | #Constraints: 82257
328.22/329.42 c INPROCESSING
328.22/329.42 c GARBAGE COLLECT
328.22/329.42 c #Conflicts: 3000 | #Constraints: 82245
328.22/329.42 c #Conflicts: 4000 | #Constraints: 83245
328.22/329.42 c INPROCESSING
328.22/329.42 c GARBAGE COLLECT
328.22/329.42 c #Conflicts: 5000 | #Constraints: 82659
328.22/329.42 c #Conflicts: 6000 | #Constraints: 83659
328.22/329.42 c INPROCESSING
328.22/329.42 c GARBAGE COLLECT
328.22/329.42 c #Conflicts: 7000 | #Constraints: 82669
328.22/329.42 c #Conflicts: 8000 | #Constraints: 83669
328.22/329.42 c #Conflicts: 9000 | #Constraints: 84669
328.22/329.42 c INPROCESSING
328.22/329.42 c GARBAGE COLLECT
328.22/329.42 c #Conflicts: 10000 | #Constraints: 83372
328.22/329.42 c #Conflicts: 11000 | #Constraints: 84372
328.22/329.42 c #Conflicts: 12000 | #Constraints: 85372
328.22/329.42 c INPROCESSING
328.22/329.42 c GARBAGE COLLECT
328.22/329.42 c #Conflicts: 13000 | #Constraints: 83828
328.22/329.42 c #Conflicts: 14000 | #Constraints: 84828
328.22/329.42 c #Conflicts: 15000 | #Constraints: 85828
328.22/329.42 c INPROCESSING
328.22/329.42 c GARBAGE COLLECT
328.22/329.42 c #Conflicts: 16000 | #Constraints: 84069
328.22/329.42 c #Conflicts: 17000 | #Constraints: 85069
328.22/329.42 c #Conflicts: 18000 | #Constraints: 86069
328.22/329.42 c INPROCESSING
328.22/329.42 c GARBAGE COLLECT
328.22/329.42 c #Conflicts: 19000 | #Constraints: 84094
328.22/329.42 c #Conflicts: 20000 | #Constraints: 85094
328.22/329.42 c #Conflicts: 21000 | #Constraints: 86094
328.22/329.42 c INPROCESSING
328.22/329.42 c GARBAGE COLLECT
328.22/329.42 c #Conflicts: 22000 | #Constraints: 83899
328.22/329.42 c #Conflicts: 23000 | #Constraints: 84899
328.22/329.42 c #Conflicts: 24000 | #Constraints: 85899
328.22/329.42 c #Conflicts: 25000 | #Constraints: 86899
328.22/329.42 c INPROCESSING
328.22/329.42 c GARBAGE COLLECT
328.22/329.42 c #Conflicts: 26000 | #Constraints: 84511
328.22/329.42 c #Conflicts: 27000 | #Constraints: 85511
328.22/329.42 c #Conflicts: 28000 | #Constraints: 86511
328.22/329.42 c #Conflicts: 29000 | #Constraints: 87511
328.22/329.42 c INPROCESSING
328.22/329.42 c GARBAGE COLLECT
328.22/329.42 c #Conflicts: 30000 | #Constraints: 84919
328.22/329.42 c #Conflicts: 31000 | #Constraints: 85919
328.22/329.42 c #Conflicts: 32000 | #Constraints: 86919
328.22/329.42 c #Conflicts: 33000 | #Constraints: 87919
328.22/329.42 c INPROCESSING
328.22/329.42 c GARBAGE COLLECT
328.22/329.42 c #Conflicts: 34000 | #Constraints: 85126
328.22/329.42 c #Conflicts: 35000 | #Constraints: 86126
328.22/329.42 c #Conflicts: 36000 | #Constraints: 87126
328.22/329.42 c #Conflicts: 37000 | #Constraints: 88126
328.22/329.42 c INPROCESSING
328.22/329.42 c GARBAGE COLLECT
328.22/329.42 c #Conflicts: 38000 | #Constraints: 85132
328.22/329.42 c #Conflicts: 39000 | #Constraints: 86132
328.22/329.42 c #Conflicts: 40000 | #Constraints: 87132
328.22/329.42 c #Conflicts: 41000 | #Constraints: 88132
328.22/329.42 c INPROCESSING
328.22/329.42 c GARBAGE COLLECT
328.22/329.42 c #Conflicts: 42000 | #Constraints: 84950
328.22/329.42 c #Conflicts: 43000 | #Constraints: 85950
328.22/329.42 c #Conflicts: 44000 | #Constraints: 86950
328.22/329.42 c #Conflicts: 45000 | #Constraints: 87950
328.22/329.42 c #Conflicts: 46000 | #Constraints: 88950
328.22/329.42 c INPROCESSING
328.22/329.42 c GARBAGE COLLECT
328.22/329.42 c #Conflicts: 47000 | #Constraints: 85550
328.22/329.42 c #Conflicts: 48000 | #Constraints: 86550
328.22/329.42 c #Conflicts: 49000 | #Constraints: 87550
328.22/329.42 c #Conflicts: 50000 | #Constraints: 88550
328.22/329.42 c #Conflicts: 51000 | #Constraints: 89550
328.22/329.42 c INPROCESSING
328.22/329.42 c GARBAGE COLLECT
328.22/329.42 c #Conflicts: 52000 | #Constraints: 85933
328.22/329.42 c #Conflicts: 53000 | #Constraints: 86933
328.22/329.42 c #Conflicts: 54000 | #Constraints: 87933
328.22/329.42 c #Conflicts: 55000 | #Constraints: 88933
328.22/329.42 c #Conflicts: 56000 | #Constraints: 89933
383.92/385.32 c INPROCESSING
383.92/385.32 c GARBAGE COLLECT
383.92/385.32 c #Conflicts: 57000 | #Constraints: 86132
383.92/385.32 c #Conflicts: 58000 | #Constraints: 87132
383.92/385.32 c #Conflicts: 59000 | #Constraints: 88132
383.92/385.32 c #Conflicts: 60000 | #Constraints: 89132
383.92/385.32 c #Conflicts: 61000 | #Constraints: 90132
383.92/385.32 c INPROCESSING
383.92/385.32 c GARBAGE COLLECT
383.92/385.32 c #Conflicts: 62000 | #Constraints: 86133
383.92/385.32 c #Conflicts: 63000 | #Constraints: 87133
383.92/385.32 c #Conflicts: 64000 | #Constraints: 88133
383.92/385.32 c #Conflicts: 65000 | #Constraints: 89133
383.92/385.32 c #Conflicts: 66000 | #Constraints: 90133
383.92/385.32 c INPROCESSING
383.92/385.32 c GARBAGE COLLECT
383.92/385.32 c #Conflicts: 67000 | #Constraints: 85956
383.92/385.32 c #Conflicts: 68000 | #Constraints: 86956
383.92/385.32 c #Conflicts: 69000 | #Constraints: 87956
383.92/385.32 c #Conflicts: 70000 | #Constraints: 88956
383.92/385.32 c #Conflicts: 71000 | #Constraints: 89956
383.92/385.32 c #Conflicts: 72000 | #Constraints: 90956
383.92/385.32 c INPROCESSING
383.92/385.32 c GARBAGE COLLECT
383.92/385.32 c #Conflicts: 73000 | #Constraints: 86553
383.92/385.32 c #Conflicts: 74000 | #Constraints: 87553
383.92/385.32 c #Conflicts: 75000 | #Constraints: 88553
383.92/385.32 c #Conflicts: 76000 | #Constraints: 89553
383.92/385.32 c #Conflicts: 77000 | #Constraints: 90553
383.92/385.32 c #Conflicts: 78000 | #Constraints: 91553
383.92/385.32 c INPROCESSING
383.92/385.32 c GARBAGE COLLECT
383.92/385.32 c #Conflicts: 79000 | #Constraints: 86949
383.92/385.32 c #Conflicts: 80000 | #Constraints: 87949
383.92/385.32 c #Conflicts: 81000 | #Constraints: 88949
383.92/385.32 c #Conflicts: 82000 | #Constraints: 89949
383.92/385.32 c #Conflicts: 83000 | #Constraints: 90949
383.92/385.32 c #Conflicts: 84000 | #Constraints: 91949
383.92/385.32 c INPROCESSING
383.92/385.32 c GARBAGE COLLECT
383.92/385.32 c #Conflicts: 85000 | #Constraints: 87170
383.92/385.32 c #Conflicts: 86000 | #Constraints: 88170
383.92/385.32 c #Conflicts: 87000 | #Constraints: 89170
383.92/385.32 c #Conflicts: 88000 | #Constraints: 90170
383.92/385.32 c #Conflicts: 89000 | #Constraints: 91170
383.92/385.32 c #Conflicts: 90000 | #Constraints: 92170
383.92/385.32 c INPROCESSING
383.92/385.32 c GARBAGE COLLECT
383.92/385.32 c #Conflicts: 91000 | #Constraints: 87165
383.92/385.32 c #Conflicts: 92000 | #Constraints: 88165
383.92/385.32 c #Conflicts: 93000 | #Constraints: 89165
383.92/385.32 c #Conflicts: 94000 | #Constraints: 90165
383.92/385.32 c #Conflicts: 95000 | #Constraints: 91165
383.92/385.32 c #Conflicts: 96000 | #Constraints: 92165
383.92/385.32 c INPROCESSING
383.92/385.32 c GARBAGE COLLECT
383.92/385.32 c #Conflicts: 97000 | #Constraints: 86957
383.92/385.32 c #Conflicts: 98000 | #Constraints: 87957
383.92/385.32 c #Conflicts: 99000 | #Constraints: 88957
383.92/385.32 c #Conflicts: 100000 | #Constraints: 89957
383.92/385.32 c #Conflicts: 101000 | #Constraints: 90957
383.92/385.32 c #Conflicts: 102000 | #Constraints: 91957
383.92/385.32 c #Conflicts: 103000 | #Constraints: 92957
383.92/385.32 c INPROCESSING
383.92/385.32 c GARBAGE COLLECT
383.92/385.32 c #Conflicts: 104000 | #Constraints: 87546
383.92/385.32 c #Conflicts: 105000 | #Constraints: 88546
383.92/385.32 c #Conflicts: 106000 | #Constraints: 89546
383.92/385.32 c #Conflicts: 107000 | #Constraints: 90546
383.92/385.32 c #Conflicts: 108000 | #Constraints: 91546
383.92/385.32 c #Conflicts: 109000 | #Constraints: 92546
383.92/385.32 c #Conflicts: 110000 | #Constraints: 93546
383.92/385.32 c INPROCESSING
383.92/385.32 c GARBAGE COLLECT
383.92/385.32 c #Conflicts: 111000 | #Constraints: 87953
383.92/385.32 c #Conflicts: 112000 | #Constraints: 88953
383.92/385.32 c #Conflicts: 113000 | #Constraints: 89953
383.92/385.32 c #Conflicts: 114000 | #Constraints: 90953
383.92/385.32 c #Conflicts: 115000 | #Constraints: 91953
383.92/385.32 c #Conflicts: 116000 | #Constraints: 92953
383.92/385.32 c #Conflicts: 117000 | #Constraints: 93953
383.92/385.32 c INPROCESSING
383.92/385.32 c GARBAGE COLLECT
383.92/385.32 c #Conflicts: 118000 | #Constraints: 88164
383.92/385.32 c #Conflicts: 119000 | #Constraints: 89164
383.92/385.32 c #Conflicts: 120000 | #Constraints: 90164
383.92/385.32 c #Conflicts: 121000 | #Constraints: 91164
383.92/385.32 c #Conflicts: 122000 | #Constraints: 92164
383.92/385.32 c #Conflicts: 123000 | #Constraints: 93164
383.92/385.32 c #Conflicts: 124000 | #Constraints: 94164
383.92/385.32 c INPROCESSING
383.92/385.32 c GARBAGE COLLECT
383.92/385.32 c #Conflicts: 125000 | #Constraints: 88191
383.92/385.32 c #Conflicts: 126000 | #Constraints: 89191
383.92/385.32 c #Conflicts: 127000 | #Constraints: 90191
383.92/385.32 c #Conflicts: 128000 | #Constraints: 91191
458.56/460.21 c #Conflicts: 129000 | #Constraints: 92191
458.56/460.21 c #Conflicts: 130000 | #Constraints: 93191
458.56/460.21 c #Conflicts: 131000 | #Constraints: 94191
458.56/460.21 c INPROCESSING
458.56/460.21 c GARBAGE COLLECT
458.56/460.21 c #Conflicts: 132000 | #Constraints: 87956
458.56/460.21 c #Conflicts: 133000 | #Constraints: 88956
458.56/460.21 c #Conflicts: 134000 | #Constraints: 89956
458.56/460.21 c #Conflicts: 135000 | #Constraints: 90956
458.56/460.21 c #Conflicts: 136000 | #Constraints: 91956
458.56/460.21 c #Conflicts: 137000 | #Constraints: 92956
458.56/460.21 c #Conflicts: 138000 | #Constraints: 93956
458.56/460.21 c #Conflicts: 139000 | #Constraints: 94956
458.56/460.21 c INPROCESSING
458.56/460.21 c GARBAGE COLLECT
458.56/460.21 c #Conflicts: 140000 | #Constraints: 88558
458.56/460.21 c #Conflicts: 141000 | #Constraints: 89558
458.56/460.21 c #Conflicts: 142000 | #Constraints: 90558
458.56/460.21 c #Conflicts: 143000 | #Constraints: 91558
458.56/460.21 c #Conflicts: 144000 | #Constraints: 92558
458.56/460.21 c #Conflicts: 145000 | #Constraints: 93558
458.56/460.21 c #Conflicts: 146000 | #Constraints: 94558
458.56/460.21 c #Conflicts: 147000 | #Constraints: 95558
458.56/460.21 c INPROCESSING
458.56/460.21 c GARBAGE COLLECT
458.56/460.21 c #Conflicts: 148000 | #Constraints: 88975
458.56/460.21 c #Conflicts: 149000 | #Constraints: 89975
458.56/460.21 c #Conflicts: 150000 | #Constraints: 90975
458.56/460.21 c #Conflicts: 151000 | #Constraints: 91975
458.56/460.21 c #Conflicts: 152000 | #Constraints: 92975
458.56/460.21 c #Conflicts: 153000 | #Constraints: 93975
458.56/460.21 c #Conflicts: 154000 | #Constraints: 94975
458.56/460.21 c #Conflicts: 155000 | #Constraints: 95975
458.56/460.21 c INPROCESSING
458.56/460.21 c GARBAGE COLLECT
458.56/460.21 c #Conflicts: 156000 | #Constraints: 89164
458.56/460.21 c #Conflicts: 157000 | #Constraints: 90164
458.56/460.21 c #Conflicts: 158000 | #Constraints: 91164
458.56/460.21 c #Conflicts: 159000 | #Constraints: 92164
458.56/460.21 c #Conflicts: 160000 | #Constraints: 93164
458.56/460.21 c #Conflicts: 161000 | #Constraints: 94164
458.56/460.21 c #Conflicts: 162000 | #Constraints: 95164
458.56/460.21 c #Conflicts: 163000 | #Constraints: 96164
458.56/460.21 c INPROCESSING
458.56/460.21 c GARBAGE COLLECT
458.56/460.21 c #Conflicts: 164000 | #Constraints: 89155
458.56/460.21 c #Conflicts: 165000 | #Constraints: 90155
458.56/460.21 c #Conflicts: 166000 | #Constraints: 91155
458.56/460.21 c #Conflicts: 167000 | #Constraints: 92155
458.56/460.21 c #Conflicts: 168000 | #Constraints: 93155
458.56/460.21 c #Conflicts: 169000 | #Constraints: 94155
458.56/460.21 c #Conflicts: 170000 | #Constraints: 95155
458.56/460.21 c #Conflicts: 171000 | #Constraints: 96155
458.56/460.21 c INPROCESSING
458.56/460.21 c GARBAGE COLLECT
458.56/460.21 c #Conflicts: 172000 | #Constraints: 88946
458.56/460.21 c #Conflicts: 173000 | #Constraints: 89946
458.56/460.21 c #Conflicts: 174000 | #Constraints: 90946
458.56/460.21 c #Conflicts: 175000 | #Constraints: 91946
458.56/460.21 c #Conflicts: 176000 | #Constraints: 92946
458.56/460.21 c #Conflicts: 177000 | #Constraints: 93946
458.56/460.21 c #Conflicts: 178000 | #Constraints: 94946
458.56/460.21 c #Conflicts: 179000 | #Constraints: 95946
458.56/460.21 c #Conflicts: 180000 | #Constraints: 96946
458.56/460.21 c INPROCESSING
458.56/460.21 c GARBAGE COLLECT
458.56/460.21 c #Conflicts: 181000 | #Constraints: 89542
458.56/460.21 c #Conflicts: 182000 | #Constraints: 90542
458.56/460.21 c #Conflicts: 183000 | #Constraints: 91542
458.56/460.21 c #Conflicts: 184000 | #Constraints: 92542
458.56/460.21 c #Conflicts: 185000 | #Constraints: 93542
458.56/460.21 c #Conflicts: 186000 | #Constraints: 94542
458.56/460.21 c #Conflicts: 187000 | #Constraints: 95542
458.56/460.21 c #Conflicts: 188000 | #Constraints: 96542
458.56/460.21 c #Conflicts: 189000 | #Constraints: 97542
458.56/460.21 c INPROCESSING
458.56/460.21 c GARBAGE COLLECT
458.56/460.21 c #Conflicts: 190000 | #Constraints: 89970
458.56/460.21 c #Conflicts: 191000 | #Constraints: 90970
458.56/460.21 c #Conflicts: 192000 | #Constraints: 91970
458.56/460.21 c #Conflicts: 193000 | #Constraints: 92970
458.56/460.21 c #Conflicts: 194000 | #Constraints: 93970
458.56/460.21 c #Conflicts: 195000 | #Constraints: 94970
458.56/460.21 c #Conflicts: 196000 | #Constraints: 95970
458.56/460.21 c #Conflicts: 197000 | #Constraints: 96970
458.56/460.21 c #Conflicts: 198000 | #Constraints: 97970
458.56/460.21 c INPROCESSING
458.56/460.21 c GARBAGE COLLECT
458.56/460.21 c #Conflicts: 199000 | #Constraints: 90179
458.56/460.21 c #Conflicts: 200000 | #Constraints: 91179
458.56/460.21 c #Conflicts: 201000 | #Constraints: 92179
551.16/553.19 c #Conflicts: 202000 | #Constraints: 93179
551.16/553.19 c #Conflicts: 203000 | #Constraints: 94179
551.16/553.19 c #Conflicts: 204000 | #Constraints: 95179
551.16/553.19 c #Conflicts: 205000 | #Constraints: 96179
551.16/553.19 c #Conflicts: 206000 | #Constraints: 97179
551.16/553.19 c #Conflicts: 207000 | #Constraints: 98179
551.16/553.19 c INPROCESSING
551.16/553.19 c GARBAGE COLLECT
551.16/553.19 c #Conflicts: 208000 | #Constraints: 90167
551.16/553.19 c #Conflicts: 209000 | #Constraints: 91167
551.16/553.19 c #Conflicts: 210000 | #Constraints: 92167
551.16/553.19 c #Conflicts: 211000 | #Constraints: 93167
551.16/553.19 c #Conflicts: 212000 | #Constraints: 94167
551.16/553.19 c #Conflicts: 213000 | #Constraints: 95167
551.16/553.19 c #Conflicts: 214000 | #Constraints: 96167
551.16/553.19 c #Conflicts: 215000 | #Constraints: 97167
551.16/553.19 c #Conflicts: 216000 | #Constraints: 98167
551.16/553.19 c INPROCESSING
551.16/553.19 c GARBAGE COLLECT
551.16/553.19 c #Conflicts: 217000 | #Constraints: 89974
551.16/553.19 c #Conflicts: 218000 | #Constraints: 90974
551.16/553.19 c #Conflicts: 219000 | #Constraints: 91974
551.16/553.19 c #Conflicts: 220000 | #Constraints: 92974
551.16/553.19 c #Conflicts: 221000 | #Constraints: 93974
551.16/553.19 c #Conflicts: 222000 | #Constraints: 94974
551.16/553.19 c #Conflicts: 223000 | #Constraints: 95974
551.16/553.19 c #Conflicts: 224000 | #Constraints: 96974
551.16/553.19 c #Conflicts: 225000 | #Constraints: 97974
551.16/553.19 c #Conflicts: 226000 | #Constraints: 98974
551.16/553.19 c INPROCESSING
551.16/553.19 c GARBAGE COLLECT
551.16/553.19 c #Conflicts: 227000 | #Constraints: 90588
551.16/553.19 c #Conflicts: 228000 | #Constraints: 91588
551.16/553.19 c #Conflicts: 229000 | #Constraints: 92588
551.16/553.19 c #Conflicts: 230000 | #Constraints: 93588
551.16/553.19 c #Conflicts: 231000 | #Constraints: 94588
551.16/553.19 c #Conflicts: 232000 | #Constraints: 95588
551.16/553.19 c #Conflicts: 233000 | #Constraints: 96588
551.16/553.19 c #Conflicts: 234000 | #Constraints: 97588
551.16/553.19 c #Conflicts: 235000 | #Constraints: 98588
551.16/553.19 c #Conflicts: 236000 | #Constraints: 99588
551.16/553.19 c INPROCESSING
551.16/553.19 c GARBAGE COLLECT
551.16/553.19 c #Conflicts: 237000 | #Constraints: 90965
551.16/553.19 c #Conflicts: 238000 | #Constraints: 91965
551.16/553.19 c #Conflicts: 239000 | #Constraints: 92965
551.16/553.19 c #Conflicts: 240000 | #Constraints: 93965
551.16/553.19 c #Conflicts: 241000 | #Constraints: 94965
551.16/553.19 c #Conflicts: 242000 | #Constraints: 95965
551.16/553.19 c #Conflicts: 243000 | #Constraints: 96965
551.16/553.19 c #Conflicts: 244000 | #Constraints: 97965
551.16/553.19 c #Conflicts: 245000 | #Constraints: 98965
551.16/553.19 c #Conflicts: 246000 | #Constraints: 99965
551.16/553.19 c INPROCESSING
551.16/553.19 c GARBAGE COLLECT
551.16/553.19 c #Conflicts: 247000 | #Constraints: 91182
551.16/553.19 c #Conflicts: 248000 | #Constraints: 92182
551.16/553.19 c #Conflicts: 249000 | #Constraints: 93182
551.16/553.19 c #Conflicts: 250000 | #Constraints: 94182
551.16/553.19 c #Conflicts: 251000 | #Constraints: 95182
551.16/553.19 c #Conflicts: 252000 | #Constraints: 96182
551.16/553.19 c #Conflicts: 253000 | #Constraints: 97182
551.16/553.19 c #Conflicts: 254000 | #Constraints: 98182
551.16/553.19 c #Conflicts: 255000 | #Constraints: 99182
551.16/553.19 c #Conflicts: 256000 | #Constraints: 100182
551.16/553.19 c INPROCESSING
551.16/553.19 c GARBAGE COLLECT
551.16/553.19 c #Conflicts: 257000 | #Constraints: 91181
551.16/553.19 c #Conflicts: 258000 | #Constraints: 92181
551.16/553.19 c #Conflicts: 259000 | #Constraints: 93181
551.16/553.19 c #Conflicts: 260000 | #Constraints: 94181
551.16/553.19 c #Conflicts: 261000 | #Constraints: 95181
551.16/553.19 c #Conflicts: 262000 | #Constraints: 96181
551.16/553.19 c #Conflicts: 263000 | #Constraints: 97181
551.16/553.19 c #Conflicts: 264000 | #Constraints: 98181
551.16/553.19 c #Conflicts: 265000 | #Constraints: 99181
551.16/553.19 c #Conflicts: 266000 | #Constraints: 100181
551.16/553.19 c INPROCESSING
551.16/553.19 c GARBAGE COLLECT
551.16/553.19 c #Conflicts: 267000 | #Constraints: 90969
551.16/553.19 c #Conflicts: 268000 | #Constraints: 91969
551.16/553.19 c #Conflicts: 269000 | #Constraints: 92969
551.16/553.19 c #Conflicts: 270000 | #Constraints: 93969
551.16/553.19 c #Conflicts: 271000 | #Constraints: 94969
551.16/553.19 c #Conflicts: 272000 | #Constraints: 95969
551.16/553.19 c #Conflicts: 273000 | #Constraints: 96969
551.16/553.19 c #Conflicts: 274000 | #Constraints: 97969
551.16/553.19 c #Conflicts: 275000 | #Constraints: 98969
659.21/661.51 c #Conflicts: 276000 | #Constraints: 99969
659.21/661.51 c #Conflicts: 277000 | #Constraints: 100969
659.21/661.51 c INPROCESSING
659.21/661.51 c GARBAGE COLLECT
659.21/661.51 c #Conflicts: 278000 | #Constraints: 91566
659.21/661.51 c #Conflicts: 279000 | #Constraints: 92566
659.21/661.51 c #Conflicts: 280000 | #Constraints: 93566
659.21/661.51 c #Conflicts: 281000 | #Constraints: 94566
659.21/661.51 c #Conflicts: 282000 | #Constraints: 95566
659.21/661.51 c #Conflicts: 283000 | #Constraints: 96566
659.21/661.51 c #Conflicts: 284000 | #Constraints: 97566
659.21/661.51 c #Conflicts: 285000 | #Constraints: 98566
659.21/661.51 c #Conflicts: 286000 | #Constraints: 99566
659.21/661.51 c #Conflicts: 287000 | #Constraints: 100566
659.21/661.51 c #Conflicts: 288000 | #Constraints: 101566
659.21/661.51 c INPROCESSING
659.21/661.51 c GARBAGE COLLECT
659.21/661.51 c #Conflicts: 289000 | #Constraints: 91956
659.21/661.51 c #Conflicts: 290000 | #Constraints: 92956
659.21/661.51 c #Conflicts: 291000 | #Constraints: 93956
659.21/661.51 c #Conflicts: 292000 | #Constraints: 94956
659.21/661.51 c #Conflicts: 293000 | #Constraints: 95956
659.21/661.51 c #Conflicts: 294000 | #Constraints: 96956
659.21/661.51 c #Conflicts: 295000 | #Constraints: 97956
659.21/661.51 c #Conflicts: 296000 | #Constraints: 98956
659.21/661.51 c #Conflicts: 297000 | #Constraints: 99956
659.21/661.51 c #Conflicts: 298000 | #Constraints: 100956
659.21/661.51 c #Conflicts: 299000 | #Constraints: 101956
659.21/661.51 c INPROCESSING
659.21/661.51 c GARBAGE COLLECT
659.21/661.51 c #Conflicts: 300000 | #Constraints: 92164
659.21/661.51 c #Conflicts: 301000 | #Constraints: 93164
659.21/661.51 c #Conflicts: 302000 | #Constraints: 94164
659.21/661.51 c #Conflicts: 303000 | #Constraints: 95164
659.21/661.51 c #Conflicts: 304000 | #Constraints: 96164
659.21/661.51 c #Conflicts: 305000 | #Constraints: 97164
659.21/661.51 c #Conflicts: 306000 | #Constraints: 98164
659.21/661.51 c #Conflicts: 307000 | #Constraints: 99164
659.21/661.51 c #Conflicts: 308000 | #Constraints: 100164
659.21/661.51 c #Conflicts: 309000 | #Constraints: 101164
659.21/661.51 c #Conflicts: 310000 | #Constraints: 102164
659.21/661.51 c INPROCESSING
659.21/661.51 c GARBAGE COLLECT
659.21/661.51 c #Conflicts: 311000 | #Constraints: 92198
659.21/661.51 c #Conflicts: 312000 | #Constraints: 93198
659.21/661.51 c #Conflicts: 313000 | #Constraints: 94198
659.21/661.51 c #Conflicts: 314000 | #Constraints: 95198
659.21/661.51 c #Conflicts: 315000 | #Constraints: 96198
659.21/661.51 c #Conflicts: 316000 | #Constraints: 97198
659.21/661.51 c #Conflicts: 317000 | #Constraints: 98198
659.21/661.51 c #Conflicts: 318000 | #Constraints: 99198
659.21/661.51 c #Conflicts: 319000 | #Constraints: 100198
659.21/661.51 c #Conflicts: 320000 | #Constraints: 101198
659.21/661.51 c #Conflicts: 321000 | #Constraints: 102198
659.21/661.51 c INPROCESSING
659.21/661.51 c GARBAGE COLLECT
659.21/661.51 c #Conflicts: 322000 | #Constraints: 91999
659.21/661.51 c #Conflicts: 323000 | #Constraints: 92999
659.21/661.51 c #Conflicts: 324000 | #Constraints: 93999
659.21/661.51 c #Conflicts: 325000 | #Constraints: 94999
659.21/661.51 c #Conflicts: 326000 | #Constraints: 95999
659.21/661.51 c #Conflicts: 327000 | #Constraints: 96999
659.21/661.51 c #Conflicts: 328000 | #Constraints: 97999
659.21/661.51 c #Conflicts: 329000 | #Constraints: 98999
659.21/661.51 c #Conflicts: 330000 | #Constraints: 99999
659.21/661.51 c #Conflicts: 331000 | #Constraints: 100999
659.21/661.51 c #Conflicts: 332000 | #Constraints: 101999
659.21/661.51 c #Conflicts: 333000 | #Constraints: 102999
659.21/661.51 c INPROCESSING
659.21/661.51 c GARBAGE COLLECT
659.21/661.51 c #Conflicts: 334000 | #Constraints: 92610
659.21/661.51 c #Conflicts: 335000 | #Constraints: 93610
659.21/661.51 c #Conflicts: 336000 | #Constraints: 94610
659.21/661.51 c #Conflicts: 337000 | #Constraints: 95610
659.21/661.51 c #Conflicts: 338000 | #Constraints: 96610
659.21/661.51 c #Conflicts: 339000 | #Constraints: 97610
659.21/661.51 c #Conflicts: 340000 | #Constraints: 98610
659.21/661.51 c #Conflicts: 341000 | #Constraints: 99610
659.21/661.51 c #Conflicts: 342000 | #Constraints: 100610
659.21/661.51 c #Conflicts: 343000 | #Constraints: 101610
659.21/661.51 c #Conflicts: 344000 | #Constraints: 102610
659.21/661.51 c #Conflicts: 345000 | #Constraints: 103610
659.21/661.51 c INPROCESSING
659.21/661.51 c GARBAGE COLLECT
659.21/661.51 c #Conflicts: 346000 | #Constraints: 92985
659.21/661.51 c #Conflicts: 347000 | #Constraints: 93985
659.21/661.51 c #Conflicts: 348000 | #Constraints: 94985
659.21/661.51 c #Conflicts: 349000 | #Constraints: 95985
775.24/777.92 c #Conflicts: 350000 | #Constraints: 96985
775.24/777.92 c #Conflicts: 351000 | #Constraints: 97985
775.24/777.92 c #Conflicts: 352000 | #Constraints: 98985
775.24/777.92 c #Conflicts: 353000 | #Constraints: 99985
775.24/777.92 c #Conflicts: 354000 | #Constraints: 100985
775.24/777.92 c #Conflicts: 355000 | #Constraints: 101985
775.24/777.92 c #Conflicts: 356000 | #Constraints: 102985
775.24/777.92 c #Conflicts: 357000 | #Constraints: 103985
775.24/777.92 c INPROCESSING
775.24/777.92 c GARBAGE COLLECT
775.24/777.92 c #Conflicts: 358000 | #Constraints: 93179
775.24/777.92 c #Conflicts: 359000 | #Constraints: 94179
775.24/777.92 c #Conflicts: 360000 | #Constraints: 95179
775.24/777.92 c #Conflicts: 361000 | #Constraints: 96179
775.24/777.92 c #Conflicts: 362000 | #Constraints: 97179
775.24/777.92 c #Conflicts: 363000 | #Constraints: 98179
775.24/777.92 c #Conflicts: 364000 | #Constraints: 99179
775.24/777.92 c #Conflicts: 365000 | #Constraints: 100179
775.24/777.92 c #Conflicts: 366000 | #Constraints: 101179
775.24/777.92 c #Conflicts: 367000 | #Constraints: 102179
775.24/777.92 c #Conflicts: 368000 | #Constraints: 103179
775.24/777.92 c #Conflicts: 369000 | #Constraints: 104179
775.24/777.92 c INPROCESSING
775.24/777.92 c GARBAGE COLLECT
775.24/777.92 c #Conflicts: 370000 | #Constraints: 93177
775.24/777.92 c #Conflicts: 371000 | #Constraints: 94177
775.24/777.92 c #Conflicts: 372000 | #Constraints: 95177
775.24/777.92 c #Conflicts: 373000 | #Constraints: 96177
775.24/777.92 c #Conflicts: 374000 | #Constraints: 97177
775.24/777.92 c #Conflicts: 375000 | #Constraints: 98177
775.24/777.92 c #Conflicts: 376000 | #Constraints: 99177
775.24/777.92 c #Conflicts: 377000 | #Constraints: 100177
775.24/777.92 c #Conflicts: 378000 | #Constraints: 101177
775.24/777.92 c #Conflicts: 379000 | #Constraints: 102177
775.24/777.92 c #Conflicts: 380000 | #Constraints: 103177
775.24/777.92 c #Conflicts: 381000 | #Constraints: 104177
775.24/777.92 c INPROCESSING
775.24/777.92 c GARBAGE COLLECT
775.24/777.92 c #Conflicts: 382000 | #Constraints: 92983
775.24/777.92 c #Conflicts: 383000 | #Constraints: 93983
775.24/777.92 c #Conflicts: 384000 | #Constraints: 94983
775.24/777.92 c #Conflicts: 385000 | #Constraints: 95983
775.24/777.92 c #Conflicts: 386000 | #Constraints: 96983
775.24/777.92 c #Conflicts: 387000 | #Constraints: 97983
775.24/777.92 c #Conflicts: 388000 | #Constraints: 98983
775.24/777.92 c #Conflicts: 389000 | #Constraints: 99983
775.24/777.92 c #Conflicts: 390000 | #Constraints: 100983
775.24/777.92 c #Conflicts: 391000 | #Constraints: 101983
775.24/777.92 c #Conflicts: 392000 | #Constraints: 102983
775.24/777.92 c #Conflicts: 393000 | #Constraints: 103983
775.24/777.92 c #Conflicts: 394000 | #Constraints: 104983
775.24/777.92 c INPROCESSING
775.24/777.92 c GARBAGE COLLECT
775.24/777.92 c #Conflicts: 395000 | #Constraints: 93591
775.24/777.92 c #Conflicts: 396000 | #Constraints: 94591
775.24/777.92 c #Conflicts: 397000 | #Constraints: 95591
775.24/777.92 c #Conflicts: 398000 | #Constraints: 96591
775.24/777.92 c #Conflicts: 399000 | #Constraints: 97591
775.24/777.92 c #Conflicts: 400000 | #Constraints: 98591
775.24/777.92 c #Conflicts: 401000 | #Constraints: 99591
775.24/777.92 c #Conflicts: 402000 | #Constraints: 100591
775.24/777.92 c #Conflicts: 403000 | #Constraints: 101591
775.24/777.92 c #Conflicts: 404000 | #Constraints: 102591
775.24/777.92 c #Conflicts: 405000 | #Constraints: 103591
775.24/777.92 c #Conflicts: 406000 | #Constraints: 104591
775.24/777.92 c #Conflicts: 407000 | #Constraints: 105591
775.24/777.92 c INPROCESSING
775.24/777.92 c GARBAGE COLLECT
775.24/777.92 c #Conflicts: 408000 | #Constraints: 94000
775.24/777.92 c #Conflicts: 409000 | #Constraints: 95000
775.24/777.92 c #Conflicts: 410000 | #Constraints: 96000
775.24/777.92 c #Conflicts: 411000 | #Constraints: 97000
775.24/777.92 c #Conflicts: 412000 | #Constraints: 98000
775.24/777.92 c #Conflicts: 413000 | #Constraints: 99000
775.24/777.92 c #Conflicts: 414000 | #Constraints: 100000
775.24/777.92 c #Conflicts: 415000 | #Constraints: 101000
775.24/777.92 c #Conflicts: 416000 | #Constraints: 102000
775.24/777.92 c #Conflicts: 417000 | #Constraints: 103000
775.24/777.92 c #Conflicts: 418000 | #Constraints: 104000
775.24/777.92 c #Conflicts: 419000 | #Constraints: 105000
775.24/777.92 c #Conflicts: 420000 | #Constraints: 106000
775.24/777.92 c INPROCESSING
775.24/777.92 c GARBAGE COLLECT
775.24/777.92 c #Conflicts: 421000 | #Constraints: 94216
775.24/777.92 c #Conflicts: 422000 | #Constraints: 95216
775.24/777.92 c #Conflicts: 423000 | #Constraints: 96216
775.24/777.92 c #Conflicts: 424000 | #Constraints: 97216
908.02/911.15 c #Conflicts: 425000 | #Constraints: 98216
908.02/911.15 c #Conflicts: 426000 | #Constraints: 99216
908.02/911.15 c #Conflicts: 427000 | #Constraints: 100216
908.02/911.15 c #Conflicts: 428000 | #Constraints: 101216
908.02/911.15 c #Conflicts: 429000 | #Constraints: 102216
908.02/911.15 c #Conflicts: 430000 | #Constraints: 103216
908.02/911.15 c #Conflicts: 431000 | #Constraints: 104216
908.02/911.15 c #Conflicts: 432000 | #Constraints: 105216
908.02/911.15 c #Conflicts: 433000 | #Constraints: 106216
908.02/911.15 c INPROCESSING
908.02/911.15 c GARBAGE COLLECT
908.02/911.15 c #Conflicts: 434000 | #Constraints: 94206
908.02/911.15 c #Conflicts: 435000 | #Constraints: 95206
908.02/911.15 c #Conflicts: 436000 | #Constraints: 96206
908.02/911.15 c #Conflicts: 437000 | #Constraints: 97206
908.02/911.15 c #Conflicts: 438000 | #Constraints: 98206
908.02/911.15 c #Conflicts: 439000 | #Constraints: 99206
908.02/911.15 c #Conflicts: 440000 | #Constraints: 100206
908.02/911.15 c #Conflicts: 441000 | #Constraints: 101206
908.02/911.15 c #Conflicts: 442000 | #Constraints: 102206
908.02/911.15 c #Conflicts: 443000 | #Constraints: 103206
908.02/911.15 c #Conflicts: 444000 | #Constraints: 104206
908.02/911.15 c #Conflicts: 445000 | #Constraints: 105206
908.02/911.15 c #Conflicts: 446000 | #Constraints: 106206
908.02/911.15 c INPROCESSING
908.02/911.15 c GARBAGE COLLECT
908.02/911.15 c #Conflicts: 447000 | #Constraints: 94015
908.02/911.15 c #Conflicts: 448000 | #Constraints: 95015
908.02/911.15 c #Conflicts: 449000 | #Constraints: 96015
908.02/911.15 c #Conflicts: 450000 | #Constraints: 97015
908.02/911.15 c #Conflicts: 451000 | #Constraints: 98015
908.02/911.15 c #Conflicts: 452000 | #Constraints: 99015
908.02/911.15 c #Conflicts: 453000 | #Constraints: 100015
908.02/911.15 c #Conflicts: 454000 | #Constraints: 101015
908.02/911.15 c #Conflicts: 455000 | #Constraints: 102015
908.02/911.15 c #Conflicts: 456000 | #Constraints: 103015
908.02/911.15 c #Conflicts: 457000 | #Constraints: 104015
908.02/911.15 c #Conflicts: 458000 | #Constraints: 105015
908.02/911.15 c #Conflicts: 459000 | #Constraints: 106015
908.02/911.15 c #Conflicts: 460000 | #Constraints: 107015
908.02/911.15 c INPROCESSING
908.02/911.15 c GARBAGE COLLECT
908.02/911.15 c #Conflicts: 461000 | #Constraints: 94596
908.02/911.15 c #Conflicts: 462000 | #Constraints: 95596
908.02/911.15 c #Conflicts: 463000 | #Constraints: 96596
908.02/911.15 c #Conflicts: 464000 | #Constraints: 97596
908.02/911.15 c #Conflicts: 465000 | #Constraints: 98596
908.02/911.15 c #Conflicts: 466000 | #Constraints: 99596
908.02/911.15 c #Conflicts: 467000 | #Constraints: 100596
908.02/911.15 c #Conflicts: 468000 | #Constraints: 101596
908.02/911.15 c #Conflicts: 469000 | #Constraints: 102596
908.02/911.15 c #Conflicts: 470000 | #Constraints: 103596
908.02/911.15 c #Conflicts: 471000 | #Constraints: 104596
908.02/911.15 c #Conflicts: 472000 | #Constraints: 105596
908.02/911.15 c #Conflicts: 473000 | #Constraints: 106596
908.02/911.15 c #Conflicts: 474000 | #Constraints: 107596
908.02/911.15 c INPROCESSING
908.02/911.15 c GARBAGE COLLECT
908.02/911.15 c #Conflicts: 475000 | #Constraints: 94985
908.02/911.15 c #Conflicts: 476000 | #Constraints: 95985
908.02/911.15 c #Conflicts: 477000 | #Constraints: 96985
908.02/911.15 c #Conflicts: 478000 | #Constraints: 97985
908.02/911.15 c #Conflicts: 479000 | #Constraints: 98985
908.02/911.15 c #Conflicts: 480000 | #Constraints: 99985
908.02/911.15 c #Conflicts: 481000 | #Constraints: 100985
908.02/911.15 c #Conflicts: 482000 | #Constraints: 101985
908.02/911.15 c #Conflicts: 483000 | #Constraints: 102985
908.02/911.15 c #Conflicts: 484000 | #Constraints: 103985
908.02/911.15 c #Conflicts: 485000 | #Constraints: 104985
908.02/911.15 c #Conflicts: 486000 | #Constraints: 105985
908.02/911.15 c #Conflicts: 487000 | #Constraints: 106985
908.02/911.15 c #Conflicts: 488000 | #Constraints: 107985
908.02/911.15 c INPROCESSING
908.02/911.15 c GARBAGE COLLECT
908.02/911.15 c #Conflicts: 489000 | #Constraints: 95199
908.02/911.15 c #Conflicts: 490000 | #Constraints: 96199
908.02/911.15 c #Conflicts: 491000 | #Constraints: 97199
908.02/911.15 c #Conflicts: 492000 | #Constraints: 98199
908.02/911.15 c #Conflicts: 493000 | #Constraints: 99199
908.02/911.15 c #Conflicts: 494000 | #Constraints: 100199
908.02/911.15 c #Conflicts: 495000 | #Constraints: 101199
908.02/911.15 c #Conflicts: 496000 | #Constraints: 102199
908.02/911.15 c #Conflicts: 497000 | #Constraints: 103199
908.02/911.15 c #Conflicts: 498000 | #Constraints: 104199
908.02/911.15 c #Conflicts: 499000 | #Constraints: 105199
908.02/911.15 c #Conflicts: 500000 | #Constraints: 106199
1074.22/1077.87 c #Conflicts: 501000 | #Constraints: 107199
1074.22/1077.87 c #Conflicts: 502000 | #Constraints: 108199
1074.22/1077.87 c INPROCESSING
1074.22/1077.87 c GARBAGE COLLECT
1074.22/1077.87 c #Conflicts: 503000 | #Constraints: 95190
1074.22/1077.87 c #Conflicts: 504000 | #Constraints: 96190
1074.22/1077.87 c #Conflicts: 505000 | #Constraints: 97190
1074.22/1077.87 c #Conflicts: 506000 | #Constraints: 98190
1074.22/1077.87 c #Conflicts: 507000 | #Constraints: 99190
1074.22/1077.87 c #Conflicts: 508000 | #Constraints: 100190
1074.22/1077.87 c #Conflicts: 509000 | #Constraints: 101190
1074.22/1077.87 c #Conflicts: 510000 | #Constraints: 102190
1074.22/1077.87 c #Conflicts: 511000 | #Constraints: 103190
1074.22/1077.87 c #Conflicts: 512000 | #Constraints: 104190
1074.22/1077.87 c #Conflicts: 513000 | #Constraints: 105190
1074.22/1077.87 c #Conflicts: 514000 | #Constraints: 106190
1074.22/1077.87 c #Conflicts: 515000 | #Constraints: 107190
1074.22/1077.87 c #Conflicts: 516000 | #Constraints: 108190
1074.22/1077.87 c INPROCESSING
1074.22/1077.87 c GARBAGE COLLECT
1074.22/1077.87 c #Conflicts: 517000 | #Constraints: 94986
1074.22/1077.87 c #Conflicts: 518000 | #Constraints: 95986
1074.22/1077.87 c #Conflicts: 519000 | #Constraints: 96986
1074.22/1077.87 c #Conflicts: 520000 | #Constraints: 97986
1074.22/1077.87 c #Conflicts: 521000 | #Constraints: 98986
1074.22/1077.87 c #Conflicts: 522000 | #Constraints: 99986
1074.22/1077.87 c #Conflicts: 523000 | #Constraints: 100986
1074.22/1077.87 c #Conflicts: 524000 | #Constraints: 101986
1074.22/1077.87 c #Conflicts: 525000 | #Constraints: 102986
1074.22/1077.87 c #Conflicts: 526000 | #Constraints: 103986
1074.22/1077.87 c #Conflicts: 527000 | #Constraints: 104986
1074.22/1077.87 c #Conflicts: 528000 | #Constraints: 105986
1074.22/1077.87 c #Conflicts: 529000 | #Constraints: 106986
1074.22/1077.87 c #Conflicts: 530000 | #Constraints: 107986
1074.22/1077.87 c #Conflicts: 531000 | #Constraints: 108986
1074.22/1077.87 c INPROCESSING
1074.22/1077.87 c GARBAGE COLLECT
1074.22/1077.87 c #Conflicts: 532000 | #Constraints: 95584
1074.22/1077.87 c #Conflicts: 533000 | #Constraints: 96584
1074.22/1077.87 c #Conflicts: 534000 | #Constraints: 97584
1074.22/1077.87 c #Conflicts: 535000 | #Constraints: 98584
1074.22/1077.87 c #Conflicts: 536000 | #Constraints: 99584
1074.22/1077.87 c #Conflicts: 537000 | #Constraints: 100584
1074.22/1077.87 c #Conflicts: 538000 | #Constraints: 101584
1074.22/1077.87 c #Conflicts: 539000 | #Constraints: 102584
1074.22/1077.87 c #Conflicts: 540000 | #Constraints: 103584
1074.22/1077.87 c #Conflicts: 541000 | #Constraints: 104584
1074.22/1077.87 c #Conflicts: 542000 | #Constraints: 105584
1074.22/1077.87 c #Conflicts: 543000 | #Constraints: 106584
1074.22/1077.87 c #Conflicts: 544000 | #Constraints: 107584
1074.22/1077.87 c #Conflicts: 545000 | #Constraints: 108584
1074.22/1077.87 c #Conflicts: 546000 | #Constraints: 109584
1074.22/1077.87 c INPROCESSING
1074.22/1077.87 c GARBAGE COLLECT
1074.22/1077.87 c #Conflicts: 547000 | #Constraints: 95992
1074.22/1077.87 c #Conflicts: 548000 | #Constraints: 96992
1074.22/1077.87 c #Conflicts: 549000 | #Constraints: 97992
1074.22/1077.87 c #Conflicts: 550000 | #Constraints: 98992
1074.22/1077.87 c #Conflicts: 551000 | #Constraints: 99992
1074.22/1077.87 c #Conflicts: 552000 | #Constraints: 100992
1074.22/1077.87 c #Conflicts: 553000 | #Constraints: 101992
1074.22/1077.87 c #Conflicts: 554000 | #Constraints: 102992
1074.22/1077.87 c #Conflicts: 555000 | #Constraints: 103992
1074.22/1077.87 c #Conflicts: 556000 | #Constraints: 104992
1074.22/1077.87 c #Conflicts: 557000 | #Constraints: 105992
1074.22/1077.87 c #Conflicts: 558000 | #Constraints: 106992
1074.22/1077.87 c #Conflicts: 559000 | #Constraints: 107992
1074.22/1077.87 c #Conflicts: 560000 | #Constraints: 108992
1074.22/1077.87 c #Conflicts: 561000 | #Constraints: 109992
1074.22/1077.87 c INPROCESSING
1074.22/1077.87 c GARBAGE COLLECT
1074.22/1077.87 c #Conflicts: 562000 | #Constraints: 96191
1074.22/1077.87 c #Conflicts: 563000 | #Constraints: 97191
1074.22/1077.87 c #Conflicts: 564000 | #Constraints: 98191
1074.22/1077.87 c #Conflicts: 565000 | #Constraints: 99191
1074.22/1077.87 c #Conflicts: 566000 | #Constraints: 100191
1074.22/1077.87 c #Conflicts: 567000 | #Constraints: 101191
1074.22/1077.87 c #Conflicts: 568000 | #Constraints: 102191
1074.22/1077.87 c #Conflicts: 569000 | #Constraints: 103191
1074.22/1077.87 c #Conflicts: 570000 | #Constraints: 104191
1074.22/1077.87 c #Conflicts: 571000 | #Constraints: 105191
1074.22/1077.87 c #Conflicts: 572000 | #Constraints: 106191
1074.22/1077.87 c #Conflicts: 573000 | #Constraints: 107191
1074.22/1077.87 c #Conflicts: 574000 | #Constraints: 108191
1074.22/1077.87 c #Conflicts: 575000 | #Constraints: 109191
1245.96/1250.07 c #Conflicts: 576000 | #Constraints: 110191
1245.96/1250.07 c INPROCESSING
1245.96/1250.07 c GARBAGE COLLECT
1245.96/1250.07 c #Conflicts: 577000 | #Constraints: 96190
1245.96/1250.07 c #Conflicts: 578000 | #Constraints: 97190
1245.96/1250.07 c #Conflicts: 579000 | #Constraints: 98190
1245.96/1250.07 c #Conflicts: 580000 | #Constraints: 99190
1245.96/1250.07 c #Conflicts: 581000 | #Constraints: 100190
1245.96/1250.07 c #Conflicts: 582000 | #Constraints: 101190
1245.96/1250.07 c #Conflicts: 583000 | #Constraints: 102190
1245.96/1250.07 c #Conflicts: 584000 | #Constraints: 103190
1245.96/1250.07 c #Conflicts: 585000 | #Constraints: 104190
1245.96/1250.07 c #Conflicts: 586000 | #Constraints: 105190
1245.96/1250.07 c #Conflicts: 587000 | #Constraints: 106190
1245.96/1250.07 c #Conflicts: 588000 | #Constraints: 107190
1245.96/1250.07 c #Conflicts: 589000 | #Constraints: 108190
1245.96/1250.07 c #Conflicts: 590000 | #Constraints: 109190
1245.96/1250.07 c #Conflicts: 591000 | #Constraints: 110190
1245.96/1250.07 c INPROCESSING
1245.96/1250.07 c GARBAGE COLLECT
1245.96/1250.07 c #Conflicts: 592000 | #Constraints: 95978
1245.96/1250.07 c #Conflicts: 593000 | #Constraints: 96978
1245.96/1250.07 c #Conflicts: 594000 | #Constraints: 97978
1245.96/1250.07 c #Conflicts: 595000 | #Constraints: 98978
1245.96/1250.07 c #Conflicts: 596000 | #Constraints: 99978
1245.96/1250.07 c #Conflicts: 597000 | #Constraints: 100978
1245.96/1250.07 c #Conflicts: 598000 | #Constraints: 101978
1245.96/1250.07 c #Conflicts: 599000 | #Constraints: 102978
1245.96/1250.07 c #Conflicts: 600000 | #Constraints: 103978
1245.96/1250.07 c #Conflicts: 601000 | #Constraints: 104978
1245.96/1250.07 c #Conflicts: 602000 | #Constraints: 105978
1245.96/1250.07 c #Conflicts: 603000 | #Constraints: 106978
1245.96/1250.07 c #Conflicts: 604000 | #Constraints: 107978
1245.96/1250.07 c #Conflicts: 605000 | #Constraints: 108978
1245.96/1250.07 c #Conflicts: 606000 | #Constraints: 109978
1245.96/1250.07 c #Conflicts: 607000 | #Constraints: 110978
1245.96/1250.07 c INPROCESSING
1245.96/1250.07 c GARBAGE COLLECT
1245.96/1250.07 c #Conflicts: 608000 | #Constraints: 96585
1245.96/1250.07 c #Conflicts: 609000 | #Constraints: 97585
1245.96/1250.07 c #Conflicts: 610000 | #Constraints: 98585
1245.96/1250.07 c #Conflicts: 611000 | #Constraints: 99585
1245.96/1250.07 c #Conflicts: 612000 | #Constraints: 100585
1245.96/1250.07 c #Conflicts: 613000 | #Constraints: 101585
1245.96/1250.07 c #Conflicts: 614000 | #Constraints: 102585
1245.96/1250.07 c #Conflicts: 615000 | #Constraints: 103585
1245.96/1250.07 c #Conflicts: 616000 | #Constraints: 104585
1245.96/1250.07 c #Conflicts: 617000 | #Constraints: 105585
1245.96/1250.07 c #Conflicts: 618000 | #Constraints: 106585
1245.96/1250.07 c #Conflicts: 619000 | #Constraints: 107585
1245.96/1250.07 c #Conflicts: 620000 | #Constraints: 108585
1245.96/1250.07 c #Conflicts: 621000 | #Constraints: 109585
1245.96/1250.07 c #Conflicts: 622000 | #Constraints: 110585
1245.96/1250.07 c #Conflicts: 623000 | #Constraints: 111585
1245.96/1250.07 c INPROCESSING
1245.96/1250.07 c GARBAGE COLLECT
1245.96/1250.07 c #Conflicts: 624000 | #Constraints: 97008
1245.96/1250.07 c #Conflicts: 625000 | #Constraints: 98008
1245.96/1250.07 c #Conflicts: 626000 | #Constraints: 99008
1245.96/1250.07 c #Conflicts: 627000 | #Constraints: 100008
1245.96/1250.07 c #Conflicts: 628000 | #Constraints: 101008
1245.96/1250.07 c #Conflicts: 629000 | #Constraints: 102008
1245.96/1250.07 c #Conflicts: 630000 | #Constraints: 103008
1245.96/1250.07 c #Conflicts: 631000 | #Constraints: 104008
1245.96/1250.07 c #Conflicts: 632000 | #Constraints: 105008
1245.96/1250.07 c #Conflicts: 633000 | #Constraints: 106008
1245.96/1250.07 c #Conflicts: 634000 | #Constraints: 107008
1245.96/1250.07 c #Conflicts: 635000 | #Constraints: 108008
1245.96/1250.07 c #Conflicts: 636000 | #Constraints: 109008
1245.96/1250.07 c #Conflicts: 637000 | #Constraints: 110008
1245.96/1250.07 c #Conflicts: 638000 | #Constraints: 111008
1245.96/1250.07 c #Conflicts: 639000 | #Constraints: 112008
1245.96/1250.07 c INPROCESSING
1245.96/1250.07 c GARBAGE COLLECT
1245.96/1250.07 c #Conflicts: 640000 | #Constraints: 97208
1245.96/1250.07 c #Conflicts: 641000 | #Constraints: 98208
1245.96/1250.07 c #Conflicts: 642000 | #Constraints: 99208
1245.96/1250.07 c #Conflicts: 643000 | #Constraints: 100208
1245.96/1250.07 c #Conflicts: 644000 | #Constraints: 101208
1245.96/1250.07 c #Conflicts: 645000 | #Constraints: 102208
1245.96/1250.07 c #Conflicts: 646000 | #Constraints: 103208
1245.96/1250.07 c #Conflicts: 647000 | #Constraints: 104208
1245.96/1250.07 c #Conflicts: 648000 | #Constraints: 105208
1245.96/1250.07 c #Conflicts: 649000 | #Constraints: 106208
1245.96/1250.07 c #Conflicts: 650000 | #Constraints: 107208
1245.96/1250.07 c #Conflicts: 651000 | #Constraints: 108208
1441.52/1446.11 c #Conflicts: 652000 | #Constraints: 109208
1441.52/1446.11 c #Conflicts: 653000 | #Constraints: 110208
1441.52/1446.11 c #Conflicts: 654000 | #Constraints: 111208
1441.52/1446.11 c #Conflicts: 655000 | #Constraints: 112208
1441.52/1446.11 c INPROCESSING
1441.52/1446.11 c GARBAGE COLLECT
1441.52/1446.11 c #Conflicts: 656000 | #Constraints: 97181
1441.52/1446.11 c #Conflicts: 657000 | #Constraints: 98181
1441.52/1446.11 c #Conflicts: 658000 | #Constraints: 99181
1441.52/1446.11 c #Conflicts: 659000 | #Constraints: 100181
1441.52/1446.11 c #Conflicts: 660000 | #Constraints: 101181
1441.52/1446.11 c #Conflicts: 661000 | #Constraints: 102181
1441.52/1446.11 c #Conflicts: 662000 | #Constraints: 103181
1441.52/1446.11 c #Conflicts: 663000 | #Constraints: 104181
1441.52/1446.11 c #Conflicts: 664000 | #Constraints: 105181
1441.52/1446.11 c #Conflicts: 665000 | #Constraints: 106181
1441.52/1446.11 c #Conflicts: 666000 | #Constraints: 107181
1441.52/1446.11 c #Conflicts: 667000 | #Constraints: 108181
1441.52/1446.11 c #Conflicts: 668000 | #Constraints: 109181
1441.52/1446.11 c #Conflicts: 669000 | #Constraints: 110181
1441.52/1446.11 c #Conflicts: 670000 | #Constraints: 111181
1441.52/1446.11 c #Conflicts: 671000 | #Constraints: 112181
1441.52/1446.11 c INPROCESSING
1441.52/1446.11 c GARBAGE COLLECT
1441.52/1446.11 c #Conflicts: 672000 | #Constraints: 96984
1441.52/1446.11 c #Conflicts: 673000 | #Constraints: 97984
1441.52/1446.11 c #Conflicts: 674000 | #Constraints: 98984
1441.52/1446.11 c #Conflicts: 675000 | #Constraints: 99984
1441.52/1446.11 c #Conflicts: 676000 | #Constraints: 100984
1441.52/1446.11 c #Conflicts: 677000 | #Constraints: 101984
1441.52/1446.11 c #Conflicts: 678000 | #Constraints: 102984
1441.52/1446.11 c #Conflicts: 679000 | #Constraints: 103984
1441.52/1446.11 c #Conflicts: 680000 | #Constraints: 104984
1441.52/1446.11 c #Conflicts: 681000 | #Constraints: 105984
1441.52/1446.11 c #Conflicts: 682000 | #Constraints: 106984
1441.52/1446.11 c #Conflicts: 683000 | #Constraints: 107984
1441.52/1446.11 c #Conflicts: 684000 | #Constraints: 108984
1441.52/1446.11 c #Conflicts: 685000 | #Constraints: 109984
1441.52/1446.11 c #Conflicts: 686000 | #Constraints: 110984
1441.52/1446.11 c #Conflicts: 687000 | #Constraints: 111984
1441.52/1446.11 c #Conflicts: 688000 | #Constraints: 112984
1441.52/1446.11 c INPROCESSING
1441.52/1446.11 c GARBAGE COLLECT
1441.52/1446.11 c #Conflicts: 689000 | #Constraints: 97588
1441.52/1446.11 c #Conflicts: 690000 | #Constraints: 98588
1441.52/1446.11 c #Conflicts: 691000 | #Constraints: 99588
1441.52/1446.11 c #Conflicts: 692000 | #Constraints: 100588
1441.52/1446.11 c #Conflicts: 693000 | #Constraints: 101588
1441.52/1446.11 c #Conflicts: 694000 | #Constraints: 102588
1441.52/1446.11 c #Conflicts: 695000 | #Constraints: 103588
1441.52/1446.11 c #Conflicts: 696000 | #Constraints: 104588
1441.52/1446.11 c #Conflicts: 697000 | #Constraints: 105588
1441.52/1446.11 c #Conflicts: 698000 | #Constraints: 106588
1441.52/1446.11 c #Conflicts: 699000 | #Constraints: 107588
1441.52/1446.11 c #Conflicts: 700000 | #Constraints: 108588
1441.52/1446.11 c #Conflicts: 701000 | #Constraints: 109588
1441.52/1446.11 c #Conflicts: 702000 | #Constraints: 110588
1441.52/1446.11 c #Conflicts: 703000 | #Constraints: 111588
1441.52/1446.11 c #Conflicts: 704000 | #Constraints: 112588
1441.52/1446.11 c #Conflicts: 705000 | #Constraints: 113588
1441.52/1446.11 c INPROCESSING
1441.52/1446.11 c GARBAGE COLLECT
1441.52/1446.11 c #Conflicts: 706000 | #Constraints: 97999
1441.52/1446.11 c #Conflicts: 707000 | #Constraints: 98999
1441.52/1446.11 c #Conflicts: 708000 | #Constraints: 99999
1441.52/1446.11 c #Conflicts: 709000 | #Constraints: 100999
1441.52/1446.11 c #Conflicts: 710000 | #Constraints: 101999
1441.52/1446.11 c #Conflicts: 711000 | #Constraints: 102999
1441.52/1446.11 c #Conflicts: 712000 | #Constraints: 103999
1441.52/1446.11 c #Conflicts: 713000 | #Constraints: 104999
1441.52/1446.11 c #Conflicts: 714000 | #Constraints: 105999
1441.52/1446.11 c #Conflicts: 715000 | #Constraints: 106999
1441.52/1446.11 c #Conflicts: 716000 | #Constraints: 107999
1441.52/1446.11 c #Conflicts: 717000 | #Constraints: 108999
1441.52/1446.11 c #Conflicts: 718000 | #Constraints: 109999
1441.52/1446.11 c #Conflicts: 719000 | #Constraints: 110999
1441.52/1446.11 c #Conflicts: 720000 | #Constraints: 111999
1441.52/1446.11 c #Conflicts: 721000 | #Constraints: 112999
1441.52/1446.11 c #Conflicts: 722000 | #Constraints: 113999
1441.52/1446.11 c INPROCESSING
1441.52/1446.11 c GARBAGE COLLECT
1441.52/1446.11 c #Conflicts: 723000 | #Constraints: 98201
1441.52/1446.11 c #Conflicts: 724000 | #Constraints: 99201
1441.52/1446.11 c #Conflicts: 725000 | #Constraints: 100201
1441.52/1446.11 c #Conflicts: 726000 | #Constraints: 101201
1441.52/1446.11 c #Conflicts: 727000 | #Constraints: 102201
1639.35/1644.50 c #Conflicts: 728000 | #Constraints: 103201
1639.35/1644.50 c #Conflicts: 729000 | #Constraints: 104201
1639.35/1644.50 c #Conflicts: 730000 | #Constraints: 105201
1639.35/1644.50 c #Conflicts: 731000 | #Constraints: 106201
1639.35/1644.50 c #Conflicts: 732000 | #Constraints: 107201
1639.35/1644.50 c #Conflicts: 733000 | #Constraints: 108201
1639.35/1644.50 c #Conflicts: 734000 | #Constraints: 109201
1639.35/1644.50 c #Conflicts: 735000 | #Constraints: 110201
1639.35/1644.50 c #Conflicts: 736000 | #Constraints: 111201
1639.35/1644.50 c #Conflicts: 737000 | #Constraints: 112201
1639.35/1644.50 c #Conflicts: 738000 | #Constraints: 113201
1639.35/1644.50 c #Conflicts: 739000 | #Constraints: 114201
1639.35/1644.50 c INPROCESSING
1639.35/1644.50 c GARBAGE COLLECT
1639.35/1644.50 c #Conflicts: 740000 | #Constraints: 98186
1639.35/1644.50 c #Conflicts: 741000 | #Constraints: 99186
1639.35/1644.50 c #Conflicts: 742000 | #Constraints: 100186
1639.35/1644.50 c #Conflicts: 743000 | #Constraints: 101186
1639.35/1644.50 c #Conflicts: 744000 | #Constraints: 102186
1639.35/1644.50 c #Conflicts: 745000 | #Constraints: 103186
1639.35/1644.50 c #Conflicts: 746000 | #Constraints: 104186
1639.35/1644.50 c #Conflicts: 747000 | #Constraints: 105186
1639.35/1644.50 c #Conflicts: 748000 | #Constraints: 106186
1639.35/1644.50 c #Conflicts: 749000 | #Constraints: 107186
1639.35/1644.50 c #Conflicts: 750000 | #Constraints: 108186
1639.35/1644.50 c #Conflicts: 751000 | #Constraints: 109186
1639.35/1644.50 c #Conflicts: 752000 | #Constraints: 110186
1639.35/1644.50 c #Conflicts: 753000 | #Constraints: 111186
1639.35/1644.50 c #Conflicts: 754000 | #Constraints: 112186
1639.35/1644.50 c #Conflicts: 755000 | #Constraints: 113186
1639.35/1644.50 c #Conflicts: 756000 | #Constraints: 114186
1639.35/1644.50 c INPROCESSING
1639.35/1644.50 c GARBAGE COLLECT
1639.35/1644.50 c #Conflicts: 757000 | #Constraints: 97976
1639.35/1644.50 c #Conflicts: 758000 | #Constraints: 98976
1639.35/1644.50 c #Conflicts: 759000 | #Constraints: 99976
1639.35/1644.50 c #Conflicts: 760000 | #Constraints: 100976
1639.35/1644.50 c #Conflicts: 761000 | #Constraints: 101976
1639.35/1644.50 c #Conflicts: 762000 | #Constraints: 102976
1639.35/1644.50 c #Conflicts: 763000 | #Constraints: 103976
1639.35/1644.50 c #Conflicts: 764000 | #Constraints: 104976
1639.35/1644.50 c #Conflicts: 765000 | #Constraints: 105976
1639.35/1644.50 c #Conflicts: 766000 | #Constraints: 106976
1639.35/1644.50 c #Conflicts: 767000 | #Constraints: 107976
1639.35/1644.50 c #Conflicts: 768000 | #Constraints: 108976
1639.35/1644.50 c #Conflicts: 769000 | #Constraints: 109976
1639.35/1644.50 c #Conflicts: 770000 | #Constraints: 110976
1639.35/1644.50 c #Conflicts: 771000 | #Constraints: 111976
1639.35/1644.50 c #Conflicts: 772000 | #Constraints: 112976
1639.35/1644.50 c #Conflicts: 773000 | #Constraints: 113976
1639.35/1644.50 c #Conflicts: 774000 | #Constraints: 114976
1639.35/1644.50 c INPROCESSING
1639.35/1644.50 c GARBAGE COLLECT
1639.35/1644.50 c #Conflicts: 775000 | #Constraints: 98595
1639.35/1644.50 c #Conflicts: 776000 | #Constraints: 99595
1639.35/1644.50 c #Conflicts: 777000 | #Constraints: 100595
1639.35/1644.50 c #Conflicts: 778000 | #Constraints: 101595
1639.35/1644.50 c #Conflicts: 779000 | #Constraints: 102595
1639.35/1644.50 c #Conflicts: 780000 | #Constraints: 103595
1639.35/1644.50 c #Conflicts: 781000 | #Constraints: 104595
1639.35/1644.50 c #Conflicts: 782000 | #Constraints: 105595
1639.35/1644.50 c #Conflicts: 783000 | #Constraints: 106595
1639.35/1644.50 c #Conflicts: 784000 | #Constraints: 107595
1639.35/1644.50 c #Conflicts: 785000 | #Constraints: 108595
1639.35/1644.50 c #Conflicts: 786000 | #Constraints: 109595
1639.35/1644.50 c #Conflicts: 787000 | #Constraints: 110595
1639.35/1644.50 c #Conflicts: 788000 | #Constraints: 111595
1639.35/1644.50 c #Conflicts: 789000 | #Constraints: 112595
1639.35/1644.50 c #Conflicts: 790000 | #Constraints: 113595
1639.35/1644.50 c #Conflicts: 791000 | #Constraints: 114595
1639.35/1644.50 c #Conflicts: 792000 | #Constraints: 115595
1639.35/1644.50 c INPROCESSING
1639.35/1644.50 c GARBAGE COLLECT
1639.35/1644.50 c #Conflicts: 793000 | #Constraints: 99011
1639.35/1644.50 c #Conflicts: 794000 | #Constraints: 100011
1639.35/1644.50 c #Conflicts: 795000 | #Constraints: 101011
1639.35/1644.50 c #Conflicts: 796000 | #Constraints: 102011
1639.35/1644.50 c #Conflicts: 797000 | #Constraints: 103011
1639.35/1644.50 c #Conflicts: 798000 | #Constraints: 104011
1639.35/1644.50 c #Conflicts: 799000 | #Constraints: 105011
1639.35/1644.50 c #Conflicts: 800000 | #Constraints: 106011
1639.35/1644.50 c #Conflicts: 801000 | #Constraints: 107011
1639.35/1644.50 c #Conflicts: 802000 | #Constraints: 108011
1639.35/1644.50 c #Conflicts: 803000 | #Constraints: 109011
1828.28/1833.92 c #Conflicts: 804000 | #Constraints: 110011
1828.28/1833.92 c #Conflicts: 805000 | #Constraints: 111011
1828.28/1833.92 c #Conflicts: 806000 | #Constraints: 112011
1828.28/1833.92 c #Conflicts: 807000 | #Constraints: 113011
1828.28/1833.92 c #Conflicts: 808000 | #Constraints: 114011
1828.28/1833.92 c #Conflicts: 809000 | #Constraints: 115011
1828.28/1833.92 c #Conflicts: 810000 | #Constraints: 116011
1828.28/1833.92 c INPROCESSING
1828.28/1833.92 c GARBAGE COLLECT
1828.28/1833.92 c #Conflicts: 811000 | #Constraints: 99195
1828.28/1833.92 c #Conflicts: 812000 | #Constraints: 100195
1828.28/1833.92 c #Conflicts: 813000 | #Constraints: 101195
1828.28/1833.92 c #Conflicts: 814000 | #Constraints: 102195
1828.28/1833.92 c #Conflicts: 815000 | #Constraints: 103195
1828.28/1833.92 c #Conflicts: 816000 | #Constraints: 104195
1828.28/1833.92 c #Conflicts: 817000 | #Constraints: 105195
1828.28/1833.92 c #Conflicts: 818000 | #Constraints: 106195
1828.28/1833.92 c #Conflicts: 819000 | #Constraints: 107195
1828.28/1833.92 c #Conflicts: 820000 | #Constraints: 108195
1828.28/1833.92 c #Conflicts: 821000 | #Constraints: 109195
1828.28/1833.92 c #Conflicts: 822000 | #Constraints: 110195
1828.28/1833.92 c #Conflicts: 823000 | #Constraints: 111195
1828.28/1833.92 c #Conflicts: 824000 | #Constraints: 112195
1828.28/1833.92 c #Conflicts: 825000 | #Constraints: 113195
1828.28/1833.92 c #Conflicts: 826000 | #Constraints: 114195
1828.28/1833.92 c #Conflicts: 827000 | #Constraints: 115195
1828.28/1833.92 c #Conflicts: 828000 | #Constraints: 116195
1828.28/1833.92 c INPROCESSING
1828.28/1833.92 c GARBAGE COLLECT
1828.28/1833.92 c #Conflicts: 829000 | #Constraints: 99212
1828.28/1833.92 c #Conflicts: 830000 | #Constraints: 100212
1828.28/1833.92 c #Conflicts: 831000 | #Constraints: 101212
1828.28/1833.92 c #Conflicts: 832000 | #Constraints: 102212
1828.28/1833.92 c #Conflicts: 833000 | #Constraints: 103212
1828.28/1833.92 c #Conflicts: 834000 | #Constraints: 104212
1828.28/1833.92 c #Conflicts: 835000 | #Constraints: 105212
1828.28/1833.92 c #Conflicts: 836000 | #Constraints: 106212
1828.28/1833.92 c #Conflicts: 837000 | #Constraints: 107212
1828.28/1833.92 c #Conflicts: 838000 | #Constraints: 108212
1828.28/1833.92 c #Conflicts: 839000 | #Constraints: 109212
1828.28/1833.92 c #Conflicts: 840000 | #Constraints: 110212
1828.28/1833.92 c #Conflicts: 841000 | #Constraints: 111212
1828.28/1833.92 c #Conflicts: 842000 | #Constraints: 112212
1828.28/1833.92 c #Conflicts: 843000 | #Constraints: 113212
1828.28/1833.92 c #Conflicts: 844000 | #Constraints: 114212
1828.28/1833.92 c #Conflicts: 845000 | #Constraints: 115212
1828.28/1833.92 c #Conflicts: 846000 | #Constraints: 116212
1828.28/1833.92 c INPROCESSING
1828.28/1833.92 c GARBAGE COLLECT
1828.28/1833.92 c #Conflicts: 847000 | #Constraints: 99030
1828.28/1833.92 c #Conflicts: 848000 | #Constraints: 100030
1828.28/1833.92 c #Conflicts: 849000 | #Constraints: 101030
1828.28/1833.92 c #Conflicts: 850000 | #Constraints: 102030
1828.28/1833.92 c #Conflicts: 851000 | #Constraints: 103030
1828.28/1833.92 c #Conflicts: 852000 | #Constraints: 104030
1828.28/1833.92 c #Conflicts: 853000 | #Constraints: 105030
1828.28/1833.92 c #Conflicts: 854000 | #Constraints: 106030
1828.28/1833.92 c #Conflicts: 855000 | #Constraints: 107030
1828.28/1833.92 c #Conflicts: 856000 | #Constraints: 108030
1828.28/1833.92 c #Conflicts: 857000 | #Constraints: 109030
1828.28/1833.92 c #Conflicts: 858000 | #Constraints: 110030
1828.28/1833.92 c #Conflicts: 859000 | #Constraints: 111030
1828.28/1833.92 c #Conflicts: 860000 | #Constraints: 112030
1828.28/1833.92 c #Conflicts: 861000 | #Constraints: 113030
1828.28/1833.92 c #Conflicts: 862000 | #Constraints: 114030
1828.28/1833.92 c #Conflicts: 863000 | #Constraints: 115030
1828.28/1833.92 c #Conflicts: 864000 | #Constraints: 116030
1828.28/1833.92 c #Conflicts: 865000 | #Constraints: 117030
1828.28/1833.92 c INPROCESSING
1828.28/1833.92 c GARBAGE COLLECT
1828.28/1833.92 c #Conflicts: 866000 | #Constraints: 99632
1828.28/1833.92 c #Conflicts: 867000 | #Constraints: 100632
1828.28/1833.92 c #Conflicts: 868000 | #Constraints: 101632
1828.28/1833.92 c #Conflicts: 869000 | #Constraints: 102632
1828.28/1833.92 c #Conflicts: 870000 | #Constraints: 103632
1828.28/1833.92 c #Conflicts: 871000 | #Constraints: 104632
1828.28/1833.92 c #Conflicts: 872000 | #Constraints: 105632
1828.28/1833.92 c #Conflicts: 873000 | #Constraints: 106632
1828.28/1833.92 c #Conflicts: 874000 | #Constraints: 107632
1828.28/1833.92 c #Conflicts: 875000 | #Constraints: 108632
1828.28/1833.92 c #Conflicts: 876000 | #Constraints: 109632
1828.28/1833.92 c #Conflicts: 877000 | #Constraints: 110632
1828.28/1833.92 c #Conflicts: 878000 | #Constraints: 111632
1828.28/1833.92 c #Conflicts: 879000 | #Constraints: 112632
2020.01/2026.18 c #Conflicts: 880000 | #Constraints: 113632
2020.01/2026.18 c #Conflicts: 881000 | #Constraints: 114632
2020.01/2026.18 c #Conflicts: 882000 | #Constraints: 115632
2020.01/2026.18 c #Conflicts: 883000 | #Constraints: 116632
2020.01/2026.18 c #Conflicts: 884000 | #Constraints: 117632
2020.01/2026.18 c INPROCESSING
2020.01/2026.18 c GARBAGE COLLECT
2020.01/2026.18 c #Conflicts: 885000 | #Constraints: 100019
2020.01/2026.18 c #Conflicts: 886000 | #Constraints: 101019
2020.01/2026.18 c #Conflicts: 887000 | #Constraints: 102019
2020.01/2026.18 c #Conflicts: 888000 | #Constraints: 103019
2020.01/2026.18 c #Conflicts: 889000 | #Constraints: 104019
2020.01/2026.18 c #Conflicts: 890000 | #Constraints: 105019
2020.01/2026.18 c #Conflicts: 891000 | #Constraints: 106019
2020.01/2026.18 c #Conflicts: 892000 | #Constraints: 107019
2020.01/2026.18 c #Conflicts: 893000 | #Constraints: 108019
2020.01/2026.18 c #Conflicts: 894000 | #Constraints: 109019
2020.01/2026.18 c #Conflicts: 895000 | #Constraints: 110019
2020.01/2026.18 c #Conflicts: 896000 | #Constraints: 111019
2020.01/2026.18 c #Conflicts: 897000 | #Constraints: 112019
2020.01/2026.18 c #Conflicts: 898000 | #Constraints: 113019
2020.01/2026.18 c #Conflicts: 899000 | #Constraints: 114019
2020.01/2026.18 c #Conflicts: 900000 | #Constraints: 115019
2020.01/2026.18 c #Conflicts: 901000 | #Constraints: 116019
2020.01/2026.18 c #Conflicts: 902000 | #Constraints: 117019
2020.01/2026.18 c #Conflicts: 903000 | #Constraints: 118019
2020.01/2026.18 c INPROCESSING
2020.01/2026.18 c GARBAGE COLLECT
2020.01/2026.18 c #Conflicts: 904000 | #Constraints: 100212
2020.01/2026.18 c #Conflicts: 905000 | #Constraints: 101212
2020.01/2026.18 c #Conflicts: 906000 | #Constraints: 102212
2020.01/2026.18 c #Conflicts: 907000 | #Constraints: 103212
2020.01/2026.18 c #Conflicts: 908000 | #Constraints: 104212
2020.01/2026.18 c #Conflicts: 909000 | #Constraints: 105212
2020.01/2026.18 c #Conflicts: 910000 | #Constraints: 106212
2020.01/2026.18 c #Conflicts: 911000 | #Constraints: 107212
2020.01/2026.18 c #Conflicts: 912000 | #Constraints: 108212
2020.01/2026.18 c #Conflicts: 913000 | #Constraints: 109212
2020.01/2026.18 c #Conflicts: 914000 | #Constraints: 110212
2020.01/2026.18 c #Conflicts: 915000 | #Constraints: 111212
2020.01/2026.18 c #Conflicts: 916000 | #Constraints: 112212
2020.01/2026.18 c #Conflicts: 917000 | #Constraints: 113212
2020.01/2026.18 c #Conflicts: 918000 | #Constraints: 114212
2020.01/2026.18 c #Conflicts: 919000 | #Constraints: 115212
2020.01/2026.18 c #Conflicts: 920000 | #Constraints: 116212
2020.01/2026.18 c #Conflicts: 921000 | #Constraints: 117212
2020.01/2026.18 c #Conflicts: 922000 | #Constraints: 118212
2020.01/2026.18 c INPROCESSING
2020.01/2026.18 c GARBAGE COLLECT
2020.01/2026.18 c #Conflicts: 923000 | #Constraints: 100218
2020.01/2026.18 c #Conflicts: 924000 | #Constraints: 101218
2020.01/2026.18 c #Conflicts: 925000 | #Constraints: 102218
2020.01/2026.18 c #Conflicts: 926000 | #Constraints: 103218
2020.01/2026.18 c #Conflicts: 927000 | #Constraints: 104218
2020.01/2026.18 c #Conflicts: 928000 | #Constraints: 105218
2020.01/2026.18 c #Conflicts: 929000 | #Constraints: 106218
2020.01/2026.18 c #Conflicts: 930000 | #Constraints: 107218
2020.01/2026.18 c #Conflicts: 931000 | #Constraints: 108218
2020.01/2026.18 c #Conflicts: 932000 | #Constraints: 109218
2020.01/2026.18 c #Conflicts: 933000 | #Constraints: 110218
2020.01/2026.18 c #Conflicts: 934000 | #Constraints: 111218
2020.01/2026.18 c #Conflicts: 935000 | #Constraints: 112218
2020.01/2026.18 c #Conflicts: 936000 | #Constraints: 113218
2020.01/2026.18 c #Conflicts: 937000 | #Constraints: 114218
2020.01/2026.18 c #Conflicts: 938000 | #Constraints: 115218
2020.01/2026.18 c #Conflicts: 939000 | #Constraints: 116218
2020.01/2026.18 c #Conflicts: 940000 | #Constraints: 117218
2020.01/2026.18 c #Conflicts: 941000 | #Constraints: 118218
2020.01/2026.18 c INPROCESSING
2020.01/2026.18 c GARBAGE COLLECT
2020.01/2026.18 c #Conflicts: 942000 | #Constraints: 100015
2020.01/2026.18 c #Conflicts: 943000 | #Constraints: 101015
2020.01/2026.18 c #Conflicts: 944000 | #Constraints: 102015
2020.01/2026.18 c #Conflicts: 945000 | #Constraints: 103015
2020.01/2026.18 c #Conflicts: 946000 | #Constraints: 104015
2020.01/2026.18 c #Conflicts: 947000 | #Constraints: 105015
2020.01/2026.18 c #Conflicts: 948000 | #Constraints: 106015
2020.01/2026.18 c #Conflicts: 949000 | #Constraints: 107015
2020.01/2026.18 c #Conflicts: 950000 | #Constraints: 108015
2020.01/2026.18 c #Conflicts: 951000 | #Constraints: 109015
2020.01/2026.18 c #Conflicts: 952000 | #Constraints: 110015
2020.01/2026.18 c #Conflicts: 953000 | #Constraints: 111015
2020.01/2026.18 c #Conflicts: 954000 | #Constraints: 112015
2020.01/2026.18 c #Conflicts: 955000 | #Constraints: 113015
2231.97/2238.61 c #Conflicts: 956000 | #Constraints: 114015
2231.97/2238.61 c #Conflicts: 957000 | #Constraints: 115015
2231.97/2238.61 c #Conflicts: 958000 | #Constraints: 116015
2231.97/2238.61 c #Conflicts: 959000 | #Constraints: 117015
2231.97/2238.61 c #Conflicts: 960000 | #Constraints: 118015
2231.97/2238.61 c #Conflicts: 961000 | #Constraints: 119015
2231.97/2238.61 c INPROCESSING
2231.97/2238.61 c GARBAGE COLLECT
2231.97/2238.61 c #Conflicts: 962000 | #Constraints: 100628
2231.97/2238.61 c #Conflicts: 963000 | #Constraints: 101628
2231.97/2238.61 c #Conflicts: 964000 | #Constraints: 102628
2231.97/2238.61 c #Conflicts: 965000 | #Constraints: 103628
2231.97/2238.61 c #Conflicts: 966000 | #Constraints: 104628
2231.97/2238.61 c #Conflicts: 967000 | #Constraints: 105628
2231.97/2238.61 c #Conflicts: 968000 | #Constraints: 106628
2231.97/2238.61 c #Conflicts: 969000 | #Constraints: 107628
2231.97/2238.61 c #Conflicts: 970000 | #Constraints: 108628
2231.97/2238.61 c #Conflicts: 971000 | #Constraints: 109628
2231.97/2238.61 c #Conflicts: 972000 | #Constraints: 110628
2231.97/2238.61 c #Conflicts: 973000 | #Constraints: 111628
2231.97/2238.61 c #Conflicts: 974000 | #Constraints: 112628
2231.97/2238.61 c #Conflicts: 975000 | #Constraints: 113628
2231.97/2238.61 c #Conflicts: 976000 | #Constraints: 114628
2231.97/2238.61 c #Conflicts: 977000 | #Constraints: 115628
2231.97/2238.61 c #Conflicts: 978000 | #Constraints: 116628
2231.97/2238.61 c #Conflicts: 979000 | #Constraints: 117628
2231.97/2238.61 c #Conflicts: 980000 | #Constraints: 118628
2231.97/2238.61 c #Conflicts: 981000 | #Constraints: 119628
2231.97/2238.61 c INPROCESSING
2231.97/2238.61 c GARBAGE COLLECT
2231.97/2238.61 c #Conflicts: 982000 | #Constraints: 101028
2231.97/2238.61 c #Conflicts: 983000 | #Constraints: 102028
2231.97/2238.61 c #Conflicts: 984000 | #Constraints: 103028
2231.97/2238.61 c #Conflicts: 985000 | #Constraints: 104028
2231.97/2238.61 c #Conflicts: 986000 | #Constraints: 105028
2231.97/2238.61 c #Conflicts: 987000 | #Constraints: 106028
2231.97/2238.61 c #Conflicts: 988000 | #Constraints: 107028
2231.97/2238.61 c #Conflicts: 989000 | #Constraints: 108028
2231.97/2238.61 c #Conflicts: 990000 | #Constraints: 109028
2231.97/2238.61 c #Conflicts: 991000 | #Constraints: 110028
2231.97/2238.61 c #Conflicts: 992000 | #Constraints: 111028
2231.97/2238.61 c #Conflicts: 993000 | #Constraints: 112028
2231.97/2238.61 c #Conflicts: 994000 | #Constraints: 113028
2231.97/2238.61 c #Conflicts: 995000 | #Constraints: 114028
2231.97/2238.61 c #Conflicts: 996000 | #Constraints: 115028
2231.97/2238.61 c #Conflicts: 997000 | #Constraints: 116028
2231.97/2238.61 c #Conflicts: 998000 | #Constraints: 117028
2231.97/2238.61 c #Conflicts: 999000 | #Constraints: 118028
2231.97/2238.61 c #Conflicts: 1000000 | #Constraints: 119028
2231.97/2238.61 c #Conflicts: 1001000 | #Constraints: 120028
2231.97/2238.61 c INPROCESSING
2231.97/2238.61 c GARBAGE COLLECT
2231.97/2238.61 c #Conflicts: 1002000 | #Constraints: 101249
2231.97/2238.61 c #Conflicts: 1003000 | #Constraints: 102249
2231.97/2238.61 c #Conflicts: 1004000 | #Constraints: 103249
2231.97/2238.61 c #Conflicts: 1005000 | #Constraints: 104249
2231.97/2238.61 c #Conflicts: 1006000 | #Constraints: 105249
2231.97/2238.61 c #Conflicts: 1007000 | #Constraints: 106249
2231.97/2238.61 c #Conflicts: 1008000 | #Constraints: 107249
2231.97/2238.61 c #Conflicts: 1009000 | #Constraints: 108249
2231.97/2238.61 c #Conflicts: 1010000 | #Constraints: 109249
2231.97/2238.61 c #Conflicts: 1011000 | #Constraints: 110249
2231.97/2238.61 c #Conflicts: 1012000 | #Constraints: 111249
2231.97/2238.61 c #Conflicts: 1013000 | #Constraints: 112249
2231.97/2238.61 c #Conflicts: 1014000 | #Constraints: 113249
2231.97/2238.61 c #Conflicts: 1015000 | #Constraints: 114249
2231.97/2238.61 c #Conflicts: 1016000 | #Constraints: 115249
2231.97/2238.61 c #Conflicts: 1017000 | #Constraints: 116249
2231.97/2238.61 c #Conflicts: 1018000 | #Constraints: 117249
2231.97/2238.61 c #Conflicts: 1019000 | #Constraints: 118249
2231.97/2238.61 c #Conflicts: 1020000 | #Constraints: 119249
2231.97/2238.61 c #Conflicts: 1021000 | #Constraints: 120249
2231.97/2238.61 c INPROCESSING
2231.97/2238.61 c GARBAGE COLLECT
2231.97/2238.61 c #Conflicts: 1022000 | #Constraints: 101241
2231.97/2238.61 c #Conflicts: 1023000 | #Constraints: 102241
2231.97/2238.61 c #Conflicts: 1024000 | #Constraints: 103241
2231.97/2238.61 c #Conflicts: 1025000 | #Constraints: 104241
2231.97/2238.61 c #Conflicts: 1026000 | #Constraints: 105241
2231.97/2238.61 c #Conflicts: 1027000 | #Constraints: 106241
2231.97/2238.61 c #Conflicts: 1028000 | #Constraints: 107241
2231.97/2238.61 c #Conflicts: 1029000 | #Constraints: 108241
2231.97/2238.61 c #Conflicts: 1030000 | #Constraints: 109241
2231.97/2238.61 c #Conflicts: 1031000 | #Constraints: 110241
2231.97/2238.61 c #Conflicts: 1032000 | #Constraints: 111241
2443.56/2450.78 c #Conflicts: 1033000 | #Constraints: 112241
2443.56/2450.78 c #Conflicts: 1034000 | #Constraints: 113241
2443.56/2450.78 c #Conflicts: 1035000 | #Constraints: 114241
2443.56/2450.78 c #Conflicts: 1036000 | #Constraints: 115241
2443.56/2450.78 c #Conflicts: 1037000 | #Constraints: 116241
2443.56/2450.78 c #Conflicts: 1038000 | #Constraints: 117241
2443.56/2450.78 c #Conflicts: 1039000 | #Constraints: 118241
2443.56/2450.78 c #Conflicts: 1040000 | #Constraints: 119241
2443.56/2450.78 c #Conflicts: 1041000 | #Constraints: 120241
2443.56/2450.78 c INPROCESSING
2443.56/2450.78 c GARBAGE COLLECT
2443.56/2450.78 c #Conflicts: 1042000 | #Constraints: 101050
2443.56/2450.78 c #Conflicts: 1043000 | #Constraints: 102050
2443.56/2450.78 c #Conflicts: 1044000 | #Constraints: 103050
2443.56/2450.78 c #Conflicts: 1045000 | #Constraints: 104050
2443.56/2450.78 c #Conflicts: 1046000 | #Constraints: 105050
2443.56/2450.78 c #Conflicts: 1047000 | #Constraints: 106050
2443.56/2450.78 c #Conflicts: 1048000 | #Constraints: 107050
2443.56/2450.78 c #Conflicts: 1049000 | #Constraints: 108050
2443.56/2450.78 c #Conflicts: 1050000 | #Constraints: 109050
2443.56/2450.78 c #Conflicts: 1051000 | #Constraints: 110050
2443.56/2450.78 c #Conflicts: 1052000 | #Constraints: 111050
2443.56/2450.78 c #Conflicts: 1053000 | #Constraints: 112050
2443.56/2450.78 c #Conflicts: 1054000 | #Constraints: 113050
2443.56/2450.78 c #Conflicts: 1055000 | #Constraints: 114050
2443.56/2450.78 c #Conflicts: 1056000 | #Constraints: 115050
2443.56/2450.78 c #Conflicts: 1057000 | #Constraints: 116050
2443.56/2450.78 c #Conflicts: 1058000 | #Constraints: 117050
2443.56/2450.78 c #Conflicts: 1059000 | #Constraints: 118050
2443.56/2450.78 c #Conflicts: 1060000 | #Constraints: 119050
2443.56/2450.78 c #Conflicts: 1061000 | #Constraints: 120050
2443.56/2450.78 c #Conflicts: 1062000 | #Constraints: 121050
2443.56/2450.78 c INPROCESSING
2443.56/2450.78 c GARBAGE COLLECT
2443.56/2450.78 c #Conflicts: 1063000 | #Constraints: 101656
2443.56/2450.78 c #Conflicts: 1064000 | #Constraints: 102656
2443.56/2450.78 c #Conflicts: 1065000 | #Constraints: 103656
2443.56/2450.78 c #Conflicts: 1066000 | #Constraints: 104656
2443.56/2450.78 c #Conflicts: 1067000 | #Constraints: 105656
2443.56/2450.78 c #Conflicts: 1068000 | #Constraints: 106656
2443.56/2450.78 c #Conflicts: 1069000 | #Constraints: 107656
2443.56/2450.78 c #Conflicts: 1070000 | #Constraints: 108656
2443.56/2450.78 c #Conflicts: 1071000 | #Constraints: 109656
2443.56/2450.78 c #Conflicts: 1072000 | #Constraints: 110656
2443.56/2450.78 c #Conflicts: 1073000 | #Constraints: 111656
2443.56/2450.78 c #Conflicts: 1074000 | #Constraints: 112656
2443.56/2450.78 c #Conflicts: 1075000 | #Constraints: 113656
2443.56/2450.78 c #Conflicts: 1076000 | #Constraints: 114656
2443.56/2450.78 c #Conflicts: 1077000 | #Constraints: 115656
2443.56/2450.78 c #Conflicts: 1078000 | #Constraints: 116656
2443.56/2450.78 c #Conflicts: 1079000 | #Constraints: 117656
2443.56/2450.78 c #Conflicts: 1080000 | #Constraints: 118656
2443.56/2450.78 c #Conflicts: 1081000 | #Constraints: 119656
2443.56/2450.78 c #Conflicts: 1082000 | #Constraints: 120656
2443.56/2450.78 c #Conflicts: 1083000 | #Constraints: 121656
2443.56/2450.78 c INPROCESSING
2443.56/2450.78 c GARBAGE COLLECT
2443.56/2450.78 c #Conflicts: 1084000 | #Constraints: 102059
2443.56/2450.78 c #Conflicts: 1085000 | #Constraints: 103059
2443.56/2450.78 c #Conflicts: 1086000 | #Constraints: 104059
2443.56/2450.78 c #Conflicts: 1087000 | #Constraints: 105059
2443.56/2450.78 c #Conflicts: 1088000 | #Constraints: 106059
2443.56/2450.78 c #Conflicts: 1089000 | #Constraints: 107059
2443.56/2450.78 c #Conflicts: 1090000 | #Constraints: 108059
2443.56/2450.78 c #Conflicts: 1091000 | #Constraints: 109059
2443.56/2450.78 c #Conflicts: 1092000 | #Constraints: 110059
2443.56/2450.78 c #Conflicts: 1093000 | #Constraints: 111059
2443.56/2450.78 c #Conflicts: 1094000 | #Constraints: 112059
2443.56/2450.78 c #Conflicts: 1095000 | #Constraints: 113059
2443.56/2450.78 c #Conflicts: 1096000 | #Constraints: 114059
2443.56/2450.78 c #Conflicts: 1097000 | #Constraints: 115059
2443.56/2450.78 c #Conflicts: 1098000 | #Constraints: 116059
2443.56/2450.78 c #Conflicts: 1099000 | #Constraints: 117059
2443.56/2450.78 c #Conflicts: 1100000 | #Constraints: 118059
2443.56/2450.78 c #Conflicts: 1101000 | #Constraints: 119059
2443.56/2450.78 c #Conflicts: 1102000 | #Constraints: 120059
2443.56/2450.78 c #Conflicts: 1103000 | #Constraints: 121059
2443.56/2450.78 c #Conflicts: 1104000 | #Constraints: 122059
2443.56/2450.78 c INPROCESSING
2443.56/2450.78 c GARBAGE COLLECT
2443.56/2450.78 c #Conflicts: 1105000 | #Constraints: 102245
2443.56/2450.78 c #Conflicts: 1106000 | #Constraints: 103245
2443.56/2450.78 c #Conflicts: 1107000 | #Constraints: 104245
2443.56/2450.78 c #Conflicts: 1108000 | #Constraints: 105245
2683.47/2691.26 c #Conflicts: 1109000 | #Constraints: 106245
2683.47/2691.26 c #Conflicts: 1110000 | #Constraints: 107245
2683.47/2691.26 c #Conflicts: 1111000 | #Constraints: 108245
2683.47/2691.26 c #Conflicts: 1112000 | #Constraints: 109245
2683.47/2691.26 c #Conflicts: 1113000 | #Constraints: 110245
2683.47/2691.26 c #Conflicts: 1114000 | #Constraints: 111245
2683.47/2691.26 c #Conflicts: 1115000 | #Constraints: 112245
2683.47/2691.26 c #Conflicts: 1116000 | #Constraints: 113245
2683.47/2691.26 c #Conflicts: 1117000 | #Constraints: 114245
2683.47/2691.26 c #Conflicts: 1118000 | #Constraints: 115245
2683.47/2691.26 c #Conflicts: 1119000 | #Constraints: 116245
2683.47/2691.26 c #Conflicts: 1120000 | #Constraints: 117245
2683.47/2691.26 c #Conflicts: 1121000 | #Constraints: 118245
2683.47/2691.26 c #Conflicts: 1122000 | #Constraints: 119245
2683.47/2691.26 c #Conflicts: 1123000 | #Constraints: 120245
2683.47/2691.26 c #Conflicts: 1124000 | #Constraints: 121245
2683.47/2691.26 c #Conflicts: 1125000 | #Constraints: 122245
2683.47/2691.26 c INPROCESSING
2683.47/2691.26 c GARBAGE COLLECT
2683.47/2691.26 c #Conflicts: 1126000 | #Constraints: 102247
2683.47/2691.26 c #Conflicts: 1127000 | #Constraints: 103247
2683.47/2691.26 c #Conflicts: 1128000 | #Constraints: 104247
2683.47/2691.26 c #Conflicts: 1129000 | #Constraints: 105247
2683.47/2691.26 c #Conflicts: 1130000 | #Constraints: 106247
2683.47/2691.26 c #Conflicts: 1131000 | #Constraints: 107247
2683.47/2691.26 c #Conflicts: 1132000 | #Constraints: 108247
2683.47/2691.26 c #Conflicts: 1133000 | #Constraints: 109247
2683.47/2691.26 c #Conflicts: 1134000 | #Constraints: 110247
2683.47/2691.26 c #Conflicts: 1135000 | #Constraints: 111247
2683.47/2691.26 c #Conflicts: 1136000 | #Constraints: 112247
2683.47/2691.26 c #Conflicts: 1137000 | #Constraints: 113247
2683.47/2691.26 c #Conflicts: 1138000 | #Constraints: 114247
2683.47/2691.26 c #Conflicts: 1139000 | #Constraints: 115247
2683.47/2691.26 c #Conflicts: 1140000 | #Constraints: 116247
2683.47/2691.26 c #Conflicts: 1141000 | #Constraints: 117247
2683.47/2691.26 c #Conflicts: 1142000 | #Constraints: 118247
2683.47/2691.26 c #Conflicts: 1143000 | #Constraints: 119247
2683.47/2691.26 c #Conflicts: 1144000 | #Constraints: 120247
2683.47/2691.26 c #Conflicts: 1145000 | #Constraints: 121247
2683.47/2691.26 c #Conflicts: 1146000 | #Constraints: 122247
2683.47/2691.26 c INPROCESSING
2683.47/2691.26 c GARBAGE COLLECT
2683.47/2691.26 c #Conflicts: 1147000 | #Constraints: 102047
2683.47/2691.26 c #Conflicts: 1148000 | #Constraints: 103047
2683.47/2691.26 c #Conflicts: 1149000 | #Constraints: 104047
2683.47/2691.26 c #Conflicts: 1150000 | #Constraints: 105047
2683.47/2691.26 c #Conflicts: 1151000 | #Constraints: 106047
2683.47/2691.26 c #Conflicts: 1152000 | #Constraints: 107047
2683.47/2691.26 c #Conflicts: 1153000 | #Constraints: 108047
2683.47/2691.26 c #Conflicts: 1154000 | #Constraints: 109047
2683.47/2691.26 c #Conflicts: 1155000 | #Constraints: 110047
2683.47/2691.26 c #Conflicts: 1156000 | #Constraints: 111047
2683.47/2691.26 c #Conflicts: 1157000 | #Constraints: 112047
2683.47/2691.26 c #Conflicts: 1158000 | #Constraints: 113047
2683.47/2691.26 c #Conflicts: 1159000 | #Constraints: 114047
2683.47/2691.26 c #Conflicts: 1160000 | #Constraints: 115047
2683.47/2691.26 c #Conflicts: 1161000 | #Constraints: 116047
2683.47/2691.26 c #Conflicts: 1162000 | #Constraints: 117047
2683.47/2691.26 c #Conflicts: 1163000 | #Constraints: 118047
2683.47/2691.26 c #Conflicts: 1164000 | #Constraints: 119047
2683.47/2691.26 c #Conflicts: 1165000 | #Constraints: 120047
2683.47/2691.26 c #Conflicts: 1166000 | #Constraints: 121047
2683.47/2691.26 c #Conflicts: 1167000 | #Constraints: 122047
2683.47/2691.26 c #Conflicts: 1168000 | #Constraints: 123047
2683.47/2691.26 c INPROCESSING
2683.47/2691.26 c GARBAGE COLLECT
2683.47/2691.26 c #Conflicts: 1169000 | #Constraints: 102643
2683.47/2691.26 c #Conflicts: 1170000 | #Constraints: 103643
2683.47/2691.26 c #Conflicts: 1171000 | #Constraints: 104643
2683.47/2691.26 c #Conflicts: 1172000 | #Constraints: 105643
2683.47/2691.26 c #Conflicts: 1173000 | #Constraints: 106643
2683.47/2691.26 c #Conflicts: 1174000 | #Constraints: 107643
2683.47/2691.26 c #Conflicts: 1175000 | #Constraints: 108643
2683.47/2691.26 c #Conflicts: 1176000 | #Constraints: 109643
2683.47/2691.26 c #Conflicts: 1177000 | #Constraints: 110643
2683.47/2691.26 c #Conflicts: 1178000 | #Constraints: 111643
2683.47/2691.26 c #Conflicts: 1179000 | #Constraints: 112643
2683.47/2691.26 c #Conflicts: 1180000 | #Constraints: 113643
2683.47/2691.26 c #Conflicts: 1181000 | #Constraints: 114643
2683.47/2691.26 c #Conflicts: 1182000 | #Constraints: 115643
2683.47/2691.26 c #Conflicts: 1183000 | #Constraints: 116643
2683.47/2691.26 c #Conflicts: 1184000 | #Constraints: 117643
2683.47/2691.26 c #Conflicts: 1185000 | #Constraints: 118643
2907.33/2915.65 c #Conflicts: 1186000 | #Constraints: 119643
2907.33/2915.65 c #Conflicts: 1187000 | #Constraints: 120643
2907.33/2915.65 c #Conflicts: 1188000 | #Constraints: 121643
2907.33/2915.65 c #Conflicts: 1189000 | #Constraints: 122643
2907.33/2915.65 c #Conflicts: 1190000 | #Constraints: 123643
2907.33/2915.65 c INPROCESSING
2907.33/2915.65 c GARBAGE COLLECT
2907.33/2915.65 c #Conflicts: 1191000 | #Constraints: 103050
2907.33/2915.65 c #Conflicts: 1192000 | #Constraints: 104050
2907.33/2915.65 c #Conflicts: 1193000 | #Constraints: 105050
2907.33/2915.65 c #Conflicts: 1194000 | #Constraints: 106050
2907.33/2915.65 c #Conflicts: 1195000 | #Constraints: 107050
2907.33/2915.65 c #Conflicts: 1196000 | #Constraints: 108050
2907.33/2915.65 c #Conflicts: 1197000 | #Constraints: 109050
2907.33/2915.65 c #Conflicts: 1198000 | #Constraints: 110050
2907.33/2915.65 c #Conflicts: 1199000 | #Constraints: 111050
2907.33/2915.65 c #Conflicts: 1200000 | #Constraints: 112050
2907.33/2915.65 c #Conflicts: 1201000 | #Constraints: 113050
2907.33/2915.65 c #Conflicts: 1202000 | #Constraints: 114050
2907.33/2915.65 c #Conflicts: 1203000 | #Constraints: 115050
2907.33/2915.65 c #Conflicts: 1204000 | #Constraints: 116050
2907.33/2915.65 c #Conflicts: 1205000 | #Constraints: 117050
2907.33/2915.65 c #Conflicts: 1206000 | #Constraints: 118050
2907.33/2915.65 c #Conflicts: 1207000 | #Constraints: 119050
2907.33/2915.65 c #Conflicts: 1208000 | #Constraints: 120050
2907.33/2915.65 c #Conflicts: 1209000 | #Constraints: 121050
2907.33/2915.65 c #Conflicts: 1210000 | #Constraints: 122050
2907.33/2915.65 c #Conflicts: 1211000 | #Constraints: 123050
2907.33/2915.65 c #Conflicts: 1212000 | #Constraints: 124050
2907.33/2915.65 c INPROCESSING
2907.33/2915.65 c GARBAGE COLLECT
2907.33/2915.65 c #Conflicts: 1213000 | #Constraints: 103218
2907.33/2915.65 c #Conflicts: 1214000 | #Constraints: 104218
2907.33/2915.65 c #Conflicts: 1215000 | #Constraints: 105218
2907.33/2915.65 c #Conflicts: 1216000 | #Constraints: 106218
2907.33/2915.65 c #Conflicts: 1217000 | #Constraints: 107218
2907.33/2915.65 c #Conflicts: 1218000 | #Constraints: 108218
2907.33/2915.65 c #Conflicts: 1219000 | #Constraints: 109218
2907.33/2915.65 c #Conflicts: 1220000 | #Constraints: 110218
2907.33/2915.65 c #Conflicts: 1221000 | #Constraints: 111218
2907.33/2915.65 c #Conflicts: 1222000 | #Constraints: 112218
2907.33/2915.65 c #Conflicts: 1223000 | #Constraints: 113218
2907.33/2915.65 c #Conflicts: 1224000 | #Constraints: 114218
2907.33/2915.65 c #Conflicts: 1225000 | #Constraints: 115218
2907.33/2915.65 c #Conflicts: 1226000 | #Constraints: 116218
2907.33/2915.65 c #Conflicts: 1227000 | #Constraints: 117218
2907.33/2915.65 c #Conflicts: 1228000 | #Constraints: 118218
2907.33/2915.65 c #Conflicts: 1229000 | #Constraints: 119218
2907.33/2915.65 c #Conflicts: 1230000 | #Constraints: 120218
2907.33/2915.65 c #Conflicts: 1231000 | #Constraints: 121218
2907.33/2915.65 c #Conflicts: 1232000 | #Constraints: 122218
2907.33/2915.65 c #Conflicts: 1233000 | #Constraints: 123218
2907.33/2915.65 c #Conflicts: 1234000 | #Constraints: 124218
2907.33/2915.65 c INPROCESSING
2907.33/2915.65 c GARBAGE COLLECT
2907.33/2915.65 c #Conflicts: 1235000 | #Constraints: 103218
2907.33/2915.65 c #Conflicts: 1236000 | #Constraints: 104218
2907.33/2915.65 c #Conflicts: 1237000 | #Constraints: 105218
2907.33/2915.65 c #Conflicts: 1238000 | #Constraints: 106218
2907.33/2915.65 c #Conflicts: 1239000 | #Constraints: 107218
2907.33/2915.65 c #Conflicts: 1240000 | #Constraints: 108218
2907.33/2915.65 c #Conflicts: 1241000 | #Constraints: 109218
2907.33/2915.65 c #Conflicts: 1242000 | #Constraints: 110218
2907.33/2915.65 c #Conflicts: 1243000 | #Constraints: 111218
2907.33/2915.65 c #Conflicts: 1244000 | #Constraints: 112218
2907.33/2915.65 c #Conflicts: 1245000 | #Constraints: 113218
2907.33/2915.65 c #Conflicts: 1246000 | #Constraints: 114218
2907.33/2915.65 c #Conflicts: 1247000 | #Constraints: 115218
2907.33/2915.65 c #Conflicts: 1248000 | #Constraints: 116218
2907.33/2915.65 c #Conflicts: 1249000 | #Constraints: 117218
2907.33/2915.65 c #Conflicts: 1250000 | #Constraints: 118218
2907.33/2915.65 c #Conflicts: 1251000 | #Constraints: 119218
2907.33/2915.65 c #Conflicts: 1252000 | #Constraints: 120218
2907.33/2915.65 c #Conflicts: 1253000 | #Constraints: 121218
2907.33/2915.65 c #Conflicts: 1254000 | #Constraints: 122218
2907.33/2915.65 c #Conflicts: 1255000 | #Constraints: 123218
2907.33/2915.65 c #Conflicts: 1256000 | #Constraints: 124218
2907.33/2915.65 c INPROCESSING
2907.33/2915.65 c GARBAGE COLLECT
2907.33/2915.65 c #Conflicts: 1257000 | #Constraints: 102992
2907.33/2915.65 c #Conflicts: 1258000 | #Constraints: 103992
2907.33/2915.65 c #Conflicts: 1259000 | #Constraints: 104992
2907.33/2915.65 c #Conflicts: 1260000 | #Constraints: 105992
2907.33/2915.65 c #Conflicts: 1261000 | #Constraints: 106992
3143.67/3152.79 c #Conflicts: 1262000 | #Constraints: 107992
3143.67/3152.79 c #Conflicts: 1263000 | #Constraints: 108992
3143.67/3152.79 c #Conflicts: 1264000 | #Constraints: 109992
3143.67/3152.79 c #Conflicts: 1265000 | #Constraints: 110992
3143.67/3152.79 c #Conflicts: 1266000 | #Constraints: 111992
3143.67/3152.79 c #Conflicts: 1267000 | #Constraints: 112992
3143.67/3152.79 c #Conflicts: 1268000 | #Constraints: 113992
3143.67/3152.79 c #Conflicts: 1269000 | #Constraints: 114992
3143.67/3152.79 c #Conflicts: 1270000 | #Constraints: 115992
3143.67/3152.79 c #Conflicts: 1271000 | #Constraints: 116992
3143.67/3152.79 c #Conflicts: 1272000 | #Constraints: 117992
3143.67/3152.79 c #Conflicts: 1273000 | #Constraints: 118992
3143.67/3152.79 c #Conflicts: 1274000 | #Constraints: 119992
3143.67/3152.79 c #Conflicts: 1275000 | #Constraints: 120992
3143.67/3152.79 c #Conflicts: 1276000 | #Constraints: 121992
3143.67/3152.79 c #Conflicts: 1277000 | #Constraints: 122992
3143.67/3152.79 c #Conflicts: 1278000 | #Constraints: 123992
3143.67/3152.79 c #Conflicts: 1279000 | #Constraints: 124992
3143.67/3152.79 c INPROCESSING
3143.67/3152.79 c GARBAGE COLLECT
3143.67/3152.79 c #Conflicts: 1280000 | #Constraints: 103591
3143.67/3152.79 c #Conflicts: 1281000 | #Constraints: 104591
3143.67/3152.79 c #Conflicts: 1282000 | #Constraints: 105591
3143.67/3152.79 c #Conflicts: 1283000 | #Constraints: 106591
3143.67/3152.79 c #Conflicts: 1284000 | #Constraints: 107591
3143.67/3152.79 c #Conflicts: 1285000 | #Constraints: 108591
3143.67/3152.79 c #Conflicts: 1286000 | #Constraints: 109591
3143.67/3152.79 c #Conflicts: 1287000 | #Constraints: 110591
3143.67/3152.79 c #Conflicts: 1288000 | #Constraints: 111591
3143.67/3152.79 c #Conflicts: 1289000 | #Constraints: 112591
3143.67/3152.79 c #Conflicts: 1290000 | #Constraints: 113591
3143.67/3152.79 c #Conflicts: 1291000 | #Constraints: 114591
3143.67/3152.79 c #Conflicts: 1292000 | #Constraints: 115591
3143.67/3152.79 c #Conflicts: 1293000 | #Constraints: 116591
3143.67/3152.79 c #Conflicts: 1294000 | #Constraints: 117591
3143.67/3152.79 c #Conflicts: 1295000 | #Constraints: 118591
3143.67/3152.79 c #Conflicts: 1296000 | #Constraints: 119591
3143.67/3152.79 c #Conflicts: 1297000 | #Constraints: 120591
3143.67/3152.79 c #Conflicts: 1298000 | #Constraints: 121591
3143.67/3152.79 c #Conflicts: 1299000 | #Constraints: 122591
3143.67/3152.79 c #Conflicts: 1300000 | #Constraints: 123591
3143.67/3152.79 c #Conflicts: 1301000 | #Constraints: 124591
3143.67/3152.79 c #Conflicts: 1302000 | #Constraints: 125591
3143.67/3152.79 c INPROCESSING
3143.67/3152.79 c GARBAGE COLLECT
3143.67/3152.79 c #Conflicts: 1303000 | #Constraints: 104008
3143.67/3152.79 c #Conflicts: 1304000 | #Constraints: 105008
3143.67/3152.79 c #Conflicts: 1305000 | #Constraints: 106008
3143.67/3152.79 c #Conflicts: 1306000 | #Constraints: 107008
3143.67/3152.79 c #Conflicts: 1307000 | #Constraints: 108008
3143.67/3152.79 c #Conflicts: 1308000 | #Constraints: 109008
3143.67/3152.79 c #Conflicts: 1309000 | #Constraints: 110008
3143.67/3152.79 c #Conflicts: 1310000 | #Constraints: 111008
3143.67/3152.79 c #Conflicts: 1311000 | #Constraints: 112008
3143.67/3152.79 c #Conflicts: 1312000 | #Constraints: 113008
3143.67/3152.79 c #Conflicts: 1313000 | #Constraints: 114008
3143.67/3152.79 c #Conflicts: 1314000 | #Constraints: 115008
3143.67/3152.79 c #Conflicts: 1315000 | #Constraints: 116008
3143.67/3152.79 c #Conflicts: 1316000 | #Constraints: 117008
3143.67/3152.79 c #Conflicts: 1317000 | #Constraints: 118008
3143.67/3152.79 c #Conflicts: 1318000 | #Constraints: 119008
3143.67/3152.79 c #Conflicts: 1319000 | #Constraints: 120008
3143.67/3152.79 c #Conflicts: 1320000 | #Constraints: 121008
3143.67/3152.79 c #Conflicts: 1321000 | #Constraints: 122008
3143.67/3152.79 c #Conflicts: 1322000 | #Constraints: 123008
3143.67/3152.79 c #Conflicts: 1323000 | #Constraints: 124008
3143.67/3152.79 c #Conflicts: 1324000 | #Constraints: 125008
3143.67/3152.79 c #Conflicts: 1325000 | #Constraints: 126008
3143.67/3152.79 c INPROCESSING
3143.67/3152.79 c GARBAGE COLLECT
3143.67/3152.79 c #Conflicts: 1326000 | #Constraints: 104214
3143.67/3152.79 c #Conflicts: 1327000 | #Constraints: 105214
3143.67/3152.79 c #Conflicts: 1328000 | #Constraints: 106214
3143.67/3152.79 c #Conflicts: 1329000 | #Constraints: 107214
3143.67/3152.79 c #Conflicts: 1330000 | #Constraints: 108214
3143.67/3152.79 c #Conflicts: 1331000 | #Constraints: 109214
3143.67/3152.79 c #Conflicts: 1332000 | #Constraints: 110214
3143.67/3152.79 c #Conflicts: 1333000 | #Constraints: 111214
3143.67/3152.79 c #Conflicts: 1334000 | #Constraints: 112214
3143.67/3152.79 c #Conflicts: 1335000 | #Constraints: 113214
3143.67/3152.79 c #Conflicts: 1336000 | #Constraints: 114214
3143.67/3152.79 c #Conflicts: 1337000 | #Constraints: 115214
3143.67/3152.79 c #Conflicts: 1338000 | #Constraints: 116214
3385.46/3395.30 c #Conflicts: 1339000 | #Constraints: 117214
3385.46/3395.30 c #Conflicts: 1340000 | #Constraints: 118214
3385.46/3395.30 c #Conflicts: 1341000 | #Constraints: 119214
3385.46/3395.30 c #Conflicts: 1342000 | #Constraints: 120214
3385.46/3395.30 c #Conflicts: 1343000 | #Constraints: 121214
3385.46/3395.30 c #Conflicts: 1344000 | #Constraints: 122214
3385.46/3395.30 c #Conflicts: 1345000 | #Constraints: 123214
3385.46/3395.30 c #Conflicts: 1346000 | #Constraints: 124214
3385.46/3395.30 c #Conflicts: 1347000 | #Constraints: 125214
3385.46/3395.30 c #Conflicts: 1348000 | #Constraints: 126214
3385.46/3395.30 c INPROCESSING
3385.46/3395.30 c GARBAGE COLLECT
3385.46/3395.30 c #Conflicts: 1349000 | #Constraints: 104213
3385.46/3395.30 c #Conflicts: 1350000 | #Constraints: 105213
3385.46/3395.30 c #Conflicts: 1351000 | #Constraints: 106213
3385.46/3395.30 c #Conflicts: 1352000 | #Constraints: 107213
3385.46/3395.30 c #Conflicts: 1353000 | #Constraints: 108213
3385.46/3395.30 c #Conflicts: 1354000 | #Constraints: 109213
3385.46/3395.30 c #Conflicts: 1355000 | #Constraints: 110213
3385.46/3395.30 c #Conflicts: 1356000 | #Constraints: 111213
3385.46/3395.30 c #Conflicts: 1357000 | #Constraints: 112213
3385.46/3395.30 c #Conflicts: 1358000 | #Constraints: 113213
3385.46/3395.30 c #Conflicts: 1359000 | #Constraints: 114213
3385.46/3395.30 c #Conflicts: 1360000 | #Constraints: 115213
3385.46/3395.30 c #Conflicts: 1361000 | #Constraints: 116213
3385.46/3395.30 c #Conflicts: 1362000 | #Constraints: 117213
3385.46/3395.30 c #Conflicts: 1363000 | #Constraints: 118213
3385.46/3395.30 c #Conflicts: 1364000 | #Constraints: 119213
3385.46/3395.30 c #Conflicts: 1365000 | #Constraints: 120213
3385.46/3395.30 c #Conflicts: 1366000 | #Constraints: 121213
3385.46/3395.30 c #Conflicts: 1367000 | #Constraints: 122213
3385.46/3395.30 c #Conflicts: 1368000 | #Constraints: 123213
3385.46/3395.30 c #Conflicts: 1369000 | #Constraints: 124213
3385.46/3395.30 c #Conflicts: 1370000 | #Constraints: 125213
3385.46/3395.30 c #Conflicts: 1371000 | #Constraints: 126213
3385.46/3395.30 c INPROCESSING
3385.46/3395.30 c GARBAGE COLLECT
3385.46/3395.30 c #Conflicts: 1372000 | #Constraints: 104013
3385.46/3395.30 c #Conflicts: 1373000 | #Constraints: 105013
3385.46/3395.30 c #Conflicts: 1374000 | #Constraints: 106013
3385.46/3395.30 c #Conflicts: 1375000 | #Constraints: 107013
3385.46/3395.30 c #Conflicts: 1376000 | #Constraints: 108013
3385.46/3395.30 c #Conflicts: 1377000 | #Constraints: 109013
3385.46/3395.30 c #Conflicts: 1378000 | #Constraints: 110013
3385.46/3395.30 c #Conflicts: 1379000 | #Constraints: 111013
3385.46/3395.30 c #Conflicts: 1380000 | #Constraints: 112013
3385.46/3395.30 c #Conflicts: 1381000 | #Constraints: 113013
3385.46/3395.30 c #Conflicts: 1382000 | #Constraints: 114013
3385.46/3395.30 c #Conflicts: 1383000 | #Constraints: 115013
3385.46/3395.30 c #Conflicts: 1384000 | #Constraints: 116013
3385.46/3395.30 c #Conflicts: 1385000 | #Constraints: 117013
3385.46/3395.30 c #Conflicts: 1386000 | #Constraints: 118013
3385.46/3395.30 c #Conflicts: 1387000 | #Constraints: 119013
3385.46/3395.30 c #Conflicts: 1388000 | #Constraints: 120013
3385.46/3395.30 c #Conflicts: 1389000 | #Constraints: 121013
3385.46/3395.30 c #Conflicts: 1390000 | #Constraints: 122013
3385.46/3395.30 c #Conflicts: 1391000 | #Constraints: 123013
3385.46/3395.30 c #Conflicts: 1392000 | #Constraints: 124013
3385.46/3395.30 c #Conflicts: 1393000 | #Constraints: 125013
3385.46/3395.30 c #Conflicts: 1394000 | #Constraints: 126013
3385.46/3395.30 c #Conflicts: 1395000 | #Constraints: 127013
3385.46/3395.30 c INPROCESSING
3385.46/3395.30 c GARBAGE COLLECT
3385.46/3395.30 c #Conflicts: 1396000 | #Constraints: 104617
3385.46/3395.30 c #Conflicts: 1397000 | #Constraints: 105617
3385.46/3395.30 c #Conflicts: 1398000 | #Constraints: 106617
3385.46/3395.30 c #Conflicts: 1399000 | #Constraints: 107617
3385.46/3395.30 c #Conflicts: 1400000 | #Constraints: 108617
3385.46/3395.30 c #Conflicts: 1401000 | #Constraints: 109617
3385.46/3395.30 c #Conflicts: 1402000 | #Constraints: 110617
3385.46/3395.30 c #Conflicts: 1403000 | #Constraints: 111617
3385.46/3395.30 c #Conflicts: 1404000 | #Constraints: 112617
3385.46/3395.30 c #Conflicts: 1405000 | #Constraints: 113617
3385.46/3395.30 c #Conflicts: 1406000 | #Constraints: 114617
3385.46/3395.30 c #Conflicts: 1407000 | #Constraints: 115617
3385.46/3395.30 c #Conflicts: 1408000 | #Constraints: 116617
3385.46/3395.30 c #Conflicts: 1409000 | #Constraints: 117617
3385.46/3395.30 c #Conflicts: 1410000 | #Constraints: 118617
3385.46/3395.30 c #Conflicts: 1411000 | #Constraints: 119617
3385.46/3395.30 c #Conflicts: 1412000 | #Constraints: 120617
3385.46/3395.30 c #Conflicts: 1413000 | #Constraints: 121617
3385.46/3395.30 c #Conflicts: 1414000 | #Constraints: 122617
3385.46/3395.30 c #Conflicts: 1415000 | #Constraints: 123617
3600.03/3610.60 c #Conflicts: 1416000 | #Constraints: 124617
3600.03/3610.60 c #Conflicts: 1417000 | #Constraints: 125617
3600.03/3610.60 c #Conflicts: 1418000 | #Constraints: 126617
3600.03/3610.60 c #Conflicts: 1419000 | #Constraints: 127617
3600.03/3610.60 c INPROCESSING
3600.03/3610.60 c GARBAGE COLLECT
3600.03/3610.60 c #Conflicts: 1420000 | #Constraints: 105021
3600.03/3610.60 c #Conflicts: 1421000 | #Constraints: 106021
3600.03/3610.60 c #Conflicts: 1422000 | #Constraints: 107021
3600.03/3610.60 c #Conflicts: 1423000 | #Constraints: 108021
3600.03/3610.60 c #Conflicts: 1424000 | #Constraints: 109021
3600.03/3610.60 c #Conflicts: 1425000 | #Constraints: 110021
3600.03/3610.60 c #Conflicts: 1426000 | #Constraints: 111021
3600.03/3610.60 c #Conflicts: 1427000 | #Constraints: 112021
3600.03/3610.60 c #Conflicts: 1428000 | #Constraints: 113021
3600.03/3610.60 c #Conflicts: 1429000 | #Constraints: 114021
3600.03/3610.60 c #Conflicts: 1430000 | #Constraints: 115021
3600.03/3610.60 c #Conflicts: 1431000 | #Constraints: 116021
3600.03/3610.60 c #Conflicts: 1432000 | #Constraints: 117021
3600.03/3610.60 c #Conflicts: 1433000 | #Constraints: 118021
3600.03/3610.60 c #Conflicts: 1434000 | #Constraints: 119021
3600.03/3610.60 c #Conflicts: 1435000 | #Constraints: 120021
3600.03/3610.60 c #Conflicts: 1436000 | #Constraints: 121021
3600.03/3610.60 c #Conflicts: 1437000 | #Constraints: 122021
3600.03/3610.60 c #Conflicts: 1438000 | #Constraints: 123021
3600.03/3610.60 c #Conflicts: 1439000 | #Constraints: 124021
3600.03/3610.60 c #Conflicts: 1440000 | #Constraints: 125021
3600.03/3610.60 c #Conflicts: 1441000 | #Constraints: 126021
3600.03/3610.60 c #Conflicts: 1442000 | #Constraints: 127021
3600.03/3610.60 c #Conflicts: 1443000 | #Constraints: 128021
3600.03/3610.60 c INPROCESSING
3600.03/3610.60 c GARBAGE COLLECT
3600.03/3610.60 c #Conflicts: 1444000 | #Constraints: 105221
3600.03/3610.60 c #Conflicts: 1445000 | #Constraints: 106221
3600.03/3610.60 c #Conflicts: 1446000 | #Constraints: 107221
3600.03/3610.60 c #Conflicts: 1447000 | #Constraints: 108221
3600.03/3610.60 c #Conflicts: 1448000 | #Constraints: 109221
3600.03/3610.60 c #Conflicts: 1449000 | #Constraints: 110221
3600.03/3610.60 c #Conflicts: 1450000 | #Constraints: 111221
3600.03/3610.60 c #Conflicts: 1451000 | #Constraints: 112221
3600.03/3610.60 c #Conflicts: 1452000 | #Constraints: 113221
3600.03/3610.60 c #Conflicts: 1453000 | #Constraints: 114221
3600.03/3610.60 c #Conflicts: 1454000 | #Constraints: 115221
3600.03/3610.60 c #Conflicts: 1455000 | #Constraints: 116221
3600.03/3610.60 c #Conflicts: 1456000 | #Constraints: 117221
3600.03/3610.60 c #Conflicts: 1457000 | #Constraints: 118221
3600.03/3610.60 c #Conflicts: 1458000 | #Constraints: 119221
3600.03/3610.60 c #Conflicts: 1459000 | #Constraints: 120221
3600.03/3610.60 c #Conflicts: 1460000 | #Constraints: 121221
3600.03/3610.60 c #Conflicts: 1461000 | #Constraints: 122221
3600.03/3610.60 c #Conflicts: 1462000 | #Constraints: 123221
3600.03/3610.60 c #Conflicts: 1463000 | #Constraints: 124221
3600.03/3610.60 c #Conflicts: 1464000 | #Constraints: 125221
3600.03/3610.60 c #Conflicts: 1465000 | #Constraints: 126221
3600.03/3610.60 c #Conflicts: 1466000 | #Constraints: 127221
3600.03/3610.60 c #Conflicts: 1467000 | #Constraints: 128221
3600.03/3610.60 c INPROCESSING
3600.03/3610.60 c GARBAGE COLLECT
3600.03/3610.60 c #Conflicts: 1468000 | #Constraints: 105216
3600.03/3610.60 c #Conflicts: 1469000 | #Constraints: 106216
3600.03/3610.60 c #Conflicts: 1470000 | #Constraints: 107216
3600.03/3610.60 c #Conflicts: 1471000 | #Constraints: 108216
3600.03/3610.60 c #Conflicts: 1472000 | #Constraints: 109216
3600.03/3610.60 c #Conflicts: 1473000 | #Constraints: 110216
3600.03/3610.60 c #Conflicts: 1474000 | #Constraints: 111216
3600.03/3610.60 c #Conflicts: 1475000 | #Constraints: 112216
3600.03/3610.60 c #Conflicts: 1476000 | #Constraints: 113216
3600.03/3610.60 c #Conflicts: 1477000 | #Constraints: 114216
3600.03/3610.60 c #Conflicts: 1478000 | #Constraints: 115216
3600.03/3610.60 c #Conflicts: 1479000 | #Constraints: 116216
3600.03/3610.60 c #Conflicts: 1480000 | #Constraints: 117216
3600.03/3610.60 c Program interrupted by user.
3600.03/3610.60 c cpu time 3593.75 s
3600.03/3610.60 c deterministic time 794993138924 7.95e+11
3600.03/3610.60 c optimization time 37.337 s
3600.03/3610.60 c total solve time 3257.22 s
3600.03/3610.60 c core-guided solve time 3257.22 s
3600.03/3610.60 c propagation time 3096.19 s
3600.03/3610.60 c conflict analysis time 152.598 s
3600.03/3610.60 c propagations 33755107
3600.03/3610.60 c resolve steps 10514343
3600.03/3610.60 c decisions 1807503
3600.03/3610.60 c conflicts 1480850
3600.03/3610.60 c restarts 2875
3600.03/3610.60 c inprocessing phases 112
3600.03/3610.60 c input clauses 80233
3600.03/3610.60 c input cardinalities 25
3600.03/3610.60 c input general constraints 0
3600.03/3610.60 c input average constraint length 2.37
3600.03/3610.60 c input average constraint degree 1.29
3600.03/3610.60 c learned clauses 895491
3600.03/3610.60 c learned cardinalities 379325
3600.03/3610.60 c learned general constraints 206034
3600.03/3610.60 c learned average constraint length 1098.53
3600.03/3610.60 c learned average constraint degree 19.34
3600.03/3610.60 c watched constraints 206034
3600.03/3610.60 c counting constraints 0
3600.03/3610.60 c gcd simplifications 74655
3600.03/3610.60 c detected cardinalities 14326
3600.03/3610.60 c weakened non-implied lits 24524783
3600.03/3610.60 c weakened non-implying lits 51729
3600.03/3610.60 c original variables 1150
3600.03/3610.60 c clausal propagations 23452941
3600.03/3610.60 c cardinality propagations 5532742
3600.03/3610.60 c watched propagations 1119730
3600.03/3610.60 c counting propagations 0
3600.03/3610.60 c watch lookups 19402776159
3600.03/3610.60 c watch backjump lookups 10615216
3600.03/3610.60 c watch checks 770515919880
3600.03/3610.60 c propagation checks 1642047232
3600.03/3610.60 c constraint additions 3349175643
3600.03/3610.60 c trail pops 37042183
3600.03/3610.60 c formula constraints 80035
3600.03/3610.60 c learned constraints 1480850
3600.03/3610.60 c bound constraints 25
3600.03/3610.60 c core-guided constraints 198
3600.03/3610.60 c encountered formula constraints 8375338
3600.03/3610.60 c encountered learned constraints 3556577
3600.03/3610.60 c encountered bound constraints 1121
3600.03/3610.60 c encountered core-guided constraints 62157
3600.03/3610.60 c LP total time 0 s
3600.03/3610.60 c LP solve time 0 s
3600.03/3610.60 c LP constraints added 0
3600.03/3610.60 c LP constraints removed 0
3600.03/3610.60 c LP pivots internal 0
3600.03/3610.60 c LP pivots root 0
3600.03/3610.60 c LP calls 0
3600.03/3610.60 c LP optimalities 0
3600.03/3610.60 c LP no pivot count 0
3600.03/3610.60 c LP infeasibilities 0
3600.03/3610.60 c LP valid Farkas constraints 0
3600.03/3610.60 c LP learned Farkas constraints 0
3600.03/3610.60 c LP basis resets 0
3600.03/3610.60 c LP cycling count 0
3600.03/3610.60 c LP singular count 0
3600.03/3610.60 c LP no primal count 0
3600.03/3610.60 c LP no farkas count 0
3600.03/3610.60 c LP other issue count 0
3600.03/3610.60 c LP Gomory cuts 0
3600.03/3610.60 c LP learned cuts 0
3600.03/3610.60 c LP deleted cuts 0
3600.03/3610.60 c LP encountered Gomory constraints 0
3600.03/3610.60 c LP encountered Farkas constraints 0
3600.03/3610.60 c LP encountered learned Farkas constraints 0
3600.03/3610.60 c CG auxiliary variables introduced 198
3600.03/3610.60 c CG solutions found 0
3600.03/3610.60 c CG cores constructed 24
3600.03/3610.60 c CG core cardinality constraints returned 0
3600.03/3610.60 c CG unit cores 0
3600.03/3610.60 c CG single cores 24
3600.03/3610.60 c CG blocks removed during cardinality reduction 0
3600.03/3610.60 c CG first core best 0
3600.03/3610.60 c CG decision core best 0
3600.03/3610.60 c CG core reduction tie 0
3600.03/3610.60 c CG core degree average 1.00
3600.03/3610.60 c CG core slack average 6.50
3600.03/3610.60 c CG exhausted 0
3600.03/3610.60 c CG exhaust time 0 s
3600.03/3610.60 c CG trimmed 2
3600.03/3610.60 c CG trim time 0.000286 s
3600.03/3610.60 c CG minimized 0
3600.03/3610.60 c CG minimize time 0 s
3600.03/3610.60 c CG am1 prop time 0.00576 s
3600.03/3610.60 c CG # am1s reformulated 198
3600.03/3610.60 c CG lower bound derived from am1s 951
3600.03/3610.60 c CG # clausal cores 24
3600.03/3610.60 c CG # cardinality cores 0
3600.03/3610.60 c CG # pb cores 0
3600.03/3610.60 c CG # pb reforms 0
3600.03/3610.60 c CG # cores discarded because of pb reform 0
3600.03/3610.60 d LOWERBOUND -175
3600.03/3610.60 d NCORES 24
3600.03/3610.60 d NPBCORES 0
3600.03/3610.60 d NPBREFORM 0
3600.03/3610.60 d NTRIMMED 2
3600.03/3610.60 d NEXHAUSTED 0
3600.03/3610.60 d NAM1S 198
3600.03/3610.60 d AM1LB 951
3600.03/3610.60 c [Papilo Statistics]
3600.03/3610.60 c prepro time 0.162904s
3600.03/3610.60 c # tsx applied 0
3600.03/3610.60 c # tsx conflicts 0
3600.03/3610.60 c # bound changes 0
3600.03/3610.60 c # side changes 0
3600.03/3610.60 c # coef changes 0
3600.03/3610.60 c # rounds 1
3600.03/3610.60 c # deted vars 0
3600.03/3610.60 c # deted constrs 0
3600.03/3610.60 c # consecutive rounds of only bound changes 0
3600.03/3610.61 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 (58248 MiB free)
memory of node 1: 64465 MiB (63221 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484943-1751283306/watcher-4484943-1751283306 -o /tmp/evaluation-result-4484943-1751283306/solver-4484943-1751283306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751279693-40749 --watchdog 3760 mixed-bag HOME/instance-4484943-1751283306.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=41138, runsolver pid=41135
[startup+0.100058 s]*
/proc/loadavg: 4.13 4.13 4.14 5/263 41139
/proc/meminfo: memFree=124385184/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=89708 memory=15548 CPUtime=0.08 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 2479 0 0 0 8 0 0 0 20 0 1 0 44009228 91860992 3887 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 22427 3887 2176 2842 0 4660 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 89708 KiB
Current children cumulated memory: 15548 KiB
[startup+0.204705 s]*
/proc/loadavg: 4.13 4.13 4.14 5/263 41139
/proc/meminfo: memFree=124357020/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=132836 memory=51728 CPUtime=0.18 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 10412 0 0 0 16 2 0 0 20 0 1 0 44009228 136024064 12932 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 33209 12932 2304 2842 0 14903 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 132836 KiB
Current children cumulated memory: 51728 KiB
[startup+0.305384 s]*
/proc/loadavg: 4.13 4.13 4.14 5/263 41139
/proc/meminfo: memFree=124357020/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=132836 memory=51856 CPUtime=0.27 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 10420 0 0 0 25 2 0 0 20 0 1 0 44009228 136024064 12964 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 33209 12964 2336 2842 0 14903 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 132836 KiB
Current children cumulated memory: 51856 KiB
[startup+0.700168 s]
/proc/loadavg: 4.13 4.13 4.14 5/263 41139
/proc/meminfo: memFree=124276344/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=269432 memory=192060 CPUtime=0.66 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 41522 0 0 0 58 8 0 0 20 0 1 0 44009228 275898368 48015 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 67358 48015 4064 2842 0 49052 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 269432 KiB
Current children cumulated memory: 192060 KiB
[startup+1.50017 s]
/proc/loadavg: 4.12 4.13 4.14 5/259 41160
/proc/meminfo: memFree=124226500/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=401812 memory=296164 CPUtime=1.45 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 56446 0 0 0 134 11 0 0 20 0 1 0 44009228 411455488 74041 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 100453 74041 4096 2842 0 82147 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 401812 KiB
Current children cumulated memory: 296164 KiB
[startup+3.10529 s]
/proc/loadavg: 4.12 4.13 4.14 5/264 41170
/proc/meminfo: memFree=123711448/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=554012 memory=446604 CPUtime=3.06 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 79119 0 0 0 289 17 0 0 20 0 1 0 44009228 567308288 111651 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 138503 111651 4288 2842 0 120197 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 554012 KiB
Current children cumulated memory: 446604 KiB
[startup+6.30016 s]
/proc/loadavg: 4.19 4.14 4.15 5/264 41170
/proc/meminfo: memFree=123663948/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=598924 memory=473424 CPUtime=6.24 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 84789 0 0 0 607 17 0 0 20 0 1 0 44009228 613298176 118356 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 149731 118356 4288 2842 0 131425 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 598924 KiB
Current children cumulated memory: 473424 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.14 4.15 5/264 41171
/proc/meminfo: memFree=123647820/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=647016 memory=482664 CPUtime=12.63 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 86615 0 0 0 1245 18 0 0 20 0 1 0 44009228 662544384 120666 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 161754 120666 4288 2842 0 143448 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 647016 KiB
Current children cumulated memory: 482664 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.13 4.15 5/263 41171
/proc/meminfo: memFree=123509776/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=847672 memory=590184 CPUtime=25.39 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 113478 0 0 0 2517 22 0 0 20 0 1 0 44009228 868016128 147546 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 211918 147546 4288 2842 0 193612 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 847672 KiB
Current children cumulated memory: 590184 KiB
[startup+51.1054 s]
/proc/loadavg: 4.17 4.14 4.15 5/263 41171
/proc/meminfo: memFree=123422460/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=884616 memory=595816 CPUtime=50.9 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 114903 0 0 0 5068 22 0 0 20 0 1 0 44009228 905846784 148954 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 221154 148954 4288 2842 0 202848 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 884616 KiB
Current children cumulated memory: 595816 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.13 4.14 5/263 41173
/proc/meminfo: memFree=123339048/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=937240 memory=596072 CPUtime=101.91 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 114955 0 0 0 10169 22 0 0 20 0 1 0 44009228 959733760 149018 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 234310 149018 4288 2842 0 216004 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 937240 KiB
Current children cumulated memory: 596072 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/263 41175
/proc/meminfo: memFree=123203964/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=1050352 memory=689536 CPUtime=161.69 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 151650 0 0 0 16141 28 0 0 20 0 1 0 44009228 1075560448 172384 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 262588 172384 4288 2842 0 244282 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 1050352 KiB
Current children cumulated memory: 689536 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.13 4.14 5/263 41222
/proc/meminfo: memFree=126336812/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=1127032 memory=745832 CPUtime=221.48 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 162684 0 0 0 22118 30 0 0 20 0 1 0 44009228 1154080768 186458 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 281758 186458 4288 2842 0 263452 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 1127032 KiB
Current children cumulated memory: 745832 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/263 41224
/proc/meminfo: memFree=126194144/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=1193748 memory=794980 CPUtime=281.27 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 172984 0 0 0 28095 32 0 0 20 0 1 0 44009228 1222397952 198745 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 298437 198745 4288 2842 0 280131 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 1193748 KiB
Current children cumulated memory: 794980 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/264 41233
/proc/meminfo: memFree=126427212/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=1036076 memory=642912 CPUtime=341.07 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 177143 0 0 0 34039 68 0 0 20 0 1 0 44009228 1060941824 160728 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 259019 160728 4448 2842 0 240713 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 1036076 KiB
Current children cumulated memory: 642912 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/264 41235
/proc/meminfo: memFree=126338832/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=1036076 memory=662636 CPUtime=400.87 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 177455 0 0 0 39990 97 0 0 20 0 1 0 44009228 1060941824 165659 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 259019 165659 4448 2842 0 240713 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 1036076 KiB
Current children cumulated memory: 662636 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/264 41237
/proc/meminfo: memFree=126271096/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=1086164 memory=673312 CPUtime=460.66 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 177604 0 0 0 45945 121 0 0 20 0 1 0 44009228 1112231936 168328 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 271541 168328 4448 2842 0 253235 0
################
# More data... #
################
Current children cumulated memory: 916204 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 41363
/proc/meminfo: memFree=125469724/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=1167552 memory=916204 CPUtime=2854.15 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 179345 0 0 0 284876 539 0 0 20 0 1 0 44009228 1195573248 229051 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 291888 229051 4448 2842 0 273582 0
Current children cumulated CPU time: 2854.15 s
Current children cumulated vsize: 1167552 KiB
Current children cumulated memory: 916204 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 41365
/proc/meminfo: memFree=125469884/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=1167552 memory=916204 CPUtime=2914.01 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 179490 0 0 0 290854 547 0 0 20 0 1 0 44009228 1195573248 229051 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 291888 229051 4448 2842 0 273582 0
Current children cumulated CPU time: 2914.01 s
Current children cumulated vsize: 1167552 KiB
Current children cumulated memory: 916204 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 41412
/proc/meminfo: memFree=126341712/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=1167552 memory=919660 CPUtime=2973.83 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 179867 0 0 0 296829 554 0 0 20 0 1 0 44009228 1195573248 229915 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 291888 229915 4448 2842 0 273582 0
Current children cumulated CPU time: 2973.83 s
Current children cumulated vsize: 1167552 KiB
Current children cumulated memory: 919660 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 41414
/proc/meminfo: memFree=126309208/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=1167552 memory=919660 CPUtime=3033.64 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 179867 0 0 0 302803 561 0 0 20 0 1 0 44009228 1195573248 229915 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 291888 229915 4448 2842 0 273582 0
Current children cumulated CPU time: 3033.64 s
Current children cumulated vsize: 1167552 KiB
Current children cumulated memory: 919660 KiB
[startup+3102.3 s]
/proc/loadavg: 4.01 4.10 4.08 5/263 41461
/proc/meminfo: memFree=126473900/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=1167552 memory=919660 CPUtime=3093.44 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 179867 0 0 0 308776 568 0 0 20 0 1 0 44009228 1195573248 229915 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 291888 229915 4448 2842 0 273582 0
Current children cumulated CPU time: 3093.44 s
Current children cumulated vsize: 1167552 KiB
Current children cumulated memory: 919660 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/264 41464
/proc/meminfo: memFree=125951556/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=1299812 memory=922348 CPUtime=3153.23 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 180006 0 0 0 314748 575 0 0 20 0 1 0 44009228 1331007488 230587 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 324953 230587 4448 2842 0 306647 0
Current children cumulated CPU time: 3153.23 s
Current children cumulated vsize: 1299812 KiB
Current children cumulated memory: 922348 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 41466
/proc/meminfo: memFree=125897736/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=1299812 memory=928492 CPUtime=3213.03 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 180009 0 0 0 320720 583 0 0 20 0 1 0 44009228 1331007488 232123 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 324953 232123 4448 2842 0 306647 0
Current children cumulated CPU time: 3213.03 s
Current children cumulated vsize: 1299812 KiB
Current children cumulated memory: 928492 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 41512
/proc/meminfo: memFree=126359204/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=1299812 memory=928492 CPUtime=3272.84 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 180009 0 0 0 326692 592 0 0 20 0 1 0 44009228 1331007488 232123 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 324953 232123 4448 2842 0 306647 0
Current children cumulated CPU time: 3272.84 s
Current children cumulated vsize: 1299812 KiB
Current children cumulated memory: 928492 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 41515
/proc/meminfo: memFree=126283172/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=1299812 memory=928492 CPUtime=3332.64 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 180009 0 0 0 332665 599 0 0 20 0 1 0 44009228 1331007488 232123 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 324953 232123 4448 2842 0 306647 0
Current children cumulated CPU time: 3332.64 s
Current children cumulated vsize: 1299812 KiB
Current children cumulated memory: 928492 KiB
[startup+3402.3 s]
/proc/loadavg: 4.35 4.20 4.12 5/265 41524
/proc/meminfo: memFree=126277948/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=1299812 memory=928492 CPUtime=3392.43 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 180009 0 0 0 338637 606 0 0 20 0 1 0 44009228 1331007488 232123 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 324953 232123 4448 2842 0 306647 0
Current children cumulated CPU time: 3392.43 s
Current children cumulated vsize: 1299812 KiB
Current children cumulated memory: 928492 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.18 4.11 5/264 41526
/proc/meminfo: memFree=126279084/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=1299812 memory=928492 CPUtime=3452.22 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 180010 0 0 0 344609 613 0 0 20 0 1 0 44009228 1331007488 232123 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 324953 232123 4448 2842 0 306647 0
Current children cumulated CPU time: 3452.22 s
Current children cumulated vsize: 1299812 KiB
Current children cumulated memory: 928492 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/265 41529
/proc/meminfo: memFree=126272576/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=1299812 memory=930540 CPUtime=3512.02 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 180176 0 0 0 350582 620 0 0 20 0 1 0 44009228 1331007488 232635 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 324953 232635 4448 2842 0 306647 0
Current children cumulated CPU time: 3512.02 s
Current children cumulated vsize: 1299812 KiB
Current children cumulated memory: 930540 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/265 41531
/proc/meminfo: memFree=126049608/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=1299812 memory=934636 CPUtime=3571.82 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 180208 0 0 0 356557 625 0 0 20 0 1 0 44009228 1331007488 233659 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 324953 233659 4448 2842 0 306647 0
Current children cumulated CPU time: 3571.82 s
Current children cumulated vsize: 1299812 KiB
Current children cumulated memory: 934636 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.10 4.14 4.10 5/265 41531
/proc/meminfo: memFree=125737428/131250000 swapFree=33010684/33010684
[pid=41138] ppid=41135 vsize=1299812 memory=934636 CPUtime=3600.03 cores=5,7
/proc/41138/stat : 41138 (mixed-bag) R 41135 41138 40736 0 -1 4194304 180208 0 0 0 359373 630 0 0 20 0 1 0 44009228 1331007488 233659 18446744073709551615 4235264 15874749 140733068804416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 38506496 140733068810652 140733068810729 140733068810729 140733068816331 0
/proc/41138/statm: 324953 233659 4448 2842 0 306647 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1299812 KiB
Current children cumulated memory: 934636 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.61 s]
# the end of solver process 41138 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.75 s, system=6.3133 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.61
CPU time (s): 3600.06
CPU user time (s): 3593.75
CPU system time (s): 6.3133
CPU usage (%): 99.7078
Max. virtual memory (cumulated for all children) (KiB): 1299812
Max. memory (cumulated for all children) (KiB): 934636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.75
system time used= 6.3133
maximum resident set size= 935276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180252
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= 205
involuntary context switches= 2425
# summary of solver processes directly reported to runsolver:
# pid: 41138
# total CPU time (s): 3600.06
# total CPU user time (s): 3593.75
# total CPU system time (s): 6.3133
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.97208 second user time and 15.2258 second system time
The end
Begin job on nodeC026 at 2025-06-30 13:35:06
IDJOB=4484943
IDBENCH=146676
IDSOLVER=3340
FILE ID=nodeC026/4484943-1751283306
RUNJOBID= nodeC026-1751279693-40749
SLURM_JOB_ID= 9594219
Free space on /tmp= 433000 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
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-4484943-1751283306/watcher-4484943-1751283306 -o /tmp/evaluation-result-4484943-1751283306/solver-4484943-1751283306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751279693-40749 --watchdog 3760 mixed-bag HOME/instance-4484943-1751283306.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f240478745515edc7850a10c9aa5c21f
RANDOM SEED=1119648545
nodeC026 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 : 3599.719
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 : 6999.59
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 : 3602.344
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 : 6999.59
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 : 3555.950
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 : 6999.59
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 : 3599.817
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 : 6999.59
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 : 3599.796
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 : 6999.59
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 : 3528.429
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 : 6999.59
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 : 3596.664
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 : 6999.59
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 : 3599.781
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 : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 124385052 kB
MemAvailable: 125463320 kB
Buffers: 3280 kB
Cached: 1875080 kB
SwapCached: 0 kB
Active: 4539540 kB
Inactive: 1617256 kB
Active(anon): 4296516 kB
Inactive(anon): 0 kB
Active(file): 243024 kB
Inactive(file): 1617256 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18144 kB
Writeback: 24 kB
AnonPages: 4281516 kB
Mapped: 128252 kB
Shmem: 18080 kB
KReclaimable: 114452 kB
Slab: 202152 kB
SReclaimable: 114452 kB
SUnreclaim: 87700 kB
KernelStack: 4192 kB
PageTables: 12560 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 5684124 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 446464 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC026 at 2025-06-30 14:35:17