0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.09/0.19 c [STEP] preprocessing with Papilo
0.39/0.49 c Papilo could not simplify the problem
0.39/0.49 c [STEP] solving with SCIP
299.85/300.70 c [STEP] preprocessing done, loading into solver
299.95/300.85 c [STEP] solving
299.95/300.85 c #variables 1273 #constraints 94289
299.95/300.85 c SMALL=int, LARGE=long long
299.95/300.85 d SCIPUB -45
299.95/300.85 c bounds - >= -1272 @ 299.639
299.95/300.85 c stratification level: 0
331.86/332.85 c bounds - >= -236 @ 299.7
331.86/332.85 c bounds - >= -235 @ 299.702
331.86/332.85 c bounds - >= -234 @ 299.704
331.86/332.85 c bounds - >= -233 @ 299.704
331.86/332.85 c bounds - >= -232 @ 299.705
331.86/332.85 c bounds - >= -231 @ 299.705
331.86/332.85 c bounds - >= -230 @ 299.706
331.86/332.85 c bounds - >= -229 @ 299.706
331.86/332.85 c bounds - >= -228 @ 299.706
331.86/332.85 c bounds - >= -227 @ 299.706
331.86/332.85 c bounds - >= -226 @ 299.706
331.86/332.85 c bounds - >= -225 @ 299.707
331.86/332.85 c bounds - >= -224 @ 299.707
331.86/332.85 c bounds - >= -223 @ 299.707
331.86/332.85 c bounds - >= -222 @ 299.707
331.86/332.85 c bounds - >= -221 @ 299.708
331.86/332.85 c bounds - >= -220 @ 299.708
331.86/332.85 c bounds - >= -219 @ 299.709
331.86/332.85 c bounds - >= -218 @ 299.71
331.86/332.85 c bounds - >= -217 @ 299.71
331.86/332.85 c bounds - >= -216 @ 299.711
331.86/332.85 c bounds - >= -215 @ 299.711
331.86/332.85 c bounds - >= -214 @ 299.711
331.86/332.85 c bounds - >= -213 @ 299.712
331.86/332.85 c bounds - >= -212 @ 299.712
331.86/332.85 c bounds - >= -211 @ 299.712
331.86/332.85 c bounds - >= -210 @ 299.713
331.86/332.85 c bounds - >= -209 @ 299.714
331.86/332.85 c bounds - >= -208 @ 299.715
331.86/332.85 c #Conflicts: 1000 | #Constraints: 95556
331.86/332.85 c #Conflicts: 2000 | #Constraints: 96556
331.86/332.85 c INPROCESSING
331.86/332.85 c GARBAGE COLLECT
331.86/332.85 c #Conflicts: 3000 | #Constraints: 96535
331.86/332.85 c #Conflicts: 4000 | #Constraints: 97535
331.86/332.85 c INPROCESSING
331.86/332.85 c GARBAGE COLLECT
331.86/332.85 c #Conflicts: 5000 | #Constraints: 96939
331.86/332.85 c #Conflicts: 6000 | #Constraints: 97939
331.86/332.85 c INPROCESSING
331.86/332.85 c GARBAGE COLLECT
331.86/332.85 c #Conflicts: 7000 | #Constraints: 96939
331.86/332.85 c #Conflicts: 8000 | #Constraints: 97939
331.86/332.85 c #Conflicts: 9000 | #Constraints: 98939
331.86/332.85 c INPROCESSING
331.86/332.85 c GARBAGE COLLECT
331.86/332.85 c #Conflicts: 10000 | #Constraints: 97645
331.86/332.85 c #Conflicts: 11000 | #Constraints: 98645
331.86/332.85 c #Conflicts: 12000 | #Constraints: 99645
331.86/332.85 c INPROCESSING
331.86/332.85 c GARBAGE COLLECT
331.86/332.85 c #Conflicts: 13000 | #Constraints: 98098
331.86/332.85 c #Conflicts: 14000 | #Constraints: 99098
331.86/332.85 c #Conflicts: 15000 | #Constraints: 100098
331.86/332.85 c INPROCESSING
331.86/332.85 c GARBAGE COLLECT
331.86/332.85 c #Conflicts: 16000 | #Constraints: 98328
331.86/332.85 c #Conflicts: 17000 | #Constraints: 99328
331.86/332.85 c #Conflicts: 18000 | #Constraints: 100328
331.86/332.85 c INPROCESSING
331.86/332.85 c GARBAGE COLLECT
331.86/332.85 c #Conflicts: 19000 | #Constraints: 98337
331.86/332.85 c #Conflicts: 20000 | #Constraints: 99337
331.86/332.85 c #Conflicts: 21000 | #Constraints: 100337
331.86/332.85 c INPROCESSING
331.86/332.85 c GARBAGE COLLECT
331.86/332.85 c #Conflicts: 22000 | #Constraints: 98143
331.86/332.85 c #Conflicts: 23000 | #Constraints: 99143
331.86/332.85 c #Conflicts: 24000 | #Constraints: 100143
331.86/332.85 c #Conflicts: 25000 | #Constraints: 101143
331.86/332.85 c INPROCESSING
331.86/332.85 c GARBAGE COLLECT
331.86/332.85 c #Conflicts: 26000 | #Constraints: 98747
331.86/332.85 c #Conflicts: 27000 | #Constraints: 99747
331.86/332.85 c #Conflicts: 28000 | #Constraints: 100747
331.86/332.85 c #Conflicts: 29000 | #Constraints: 101747
331.86/332.85 c INPROCESSING
331.86/332.85 c GARBAGE COLLECT
331.86/332.85 c #Conflicts: 30000 | #Constraints: 99151
331.86/332.85 c #Conflicts: 31000 | #Constraints: 100151
331.86/332.85 c #Conflicts: 32000 | #Constraints: 101151
331.86/332.85 c #Conflicts: 33000 | #Constraints: 102151
331.86/332.85 c INPROCESSING
331.86/332.85 c GARBAGE COLLECT
331.86/332.85 c #Conflicts: 34000 | #Constraints: 99354
331.86/332.85 c #Conflicts: 35000 | #Constraints: 100354
331.86/332.85 c #Conflicts: 36000 | #Constraints: 101354
331.86/332.85 c #Conflicts: 37000 | #Constraints: 102354
331.86/332.85 c INPROCESSING
331.86/332.85 c GARBAGE COLLECT
331.86/332.85 c #Conflicts: 38000 | #Constraints: 99354
331.86/332.85 c #Conflicts: 39000 | #Constraints: 100354
331.86/332.85 c #Conflicts: 40000 | #Constraints: 101354
331.86/332.85 c #Conflicts: 41000 | #Constraints: 102354
331.86/332.85 c INPROCESSING
331.86/332.85 c GARBAGE COLLECT
331.86/332.85 c #Conflicts: 42000 | #Constraints: 99155
331.86/332.85 c #Conflicts: 43000 | #Constraints: 100155
331.86/332.85 c #Conflicts: 44000 | #Constraints: 101155
331.86/332.85 c #Conflicts: 45000 | #Constraints: 102155
331.86/332.85 c #Conflicts: 46000 | #Constraints: 103155
331.86/332.85 c INPROCESSING
331.86/332.85 c GARBAGE COLLECT
331.86/332.85 c #Conflicts: 47000 | #Constraints: 99762
331.86/332.85 c #Conflicts: 48000 | #Constraints: 100762
331.86/332.85 c #Conflicts: 49000 | #Constraints: 101762
331.86/332.85 c #Conflicts: 50000 | #Constraints: 102762
331.86/332.85 c #Conflicts: 51000 | #Constraints: 103762
331.86/332.85 c INPROCESSING
331.86/332.85 c GARBAGE COLLECT
331.86/332.85 c #Conflicts: 52000 | #Constraints: 100157
331.86/332.85 c #Conflicts: 53000 | #Constraints: 101157
331.86/332.85 c #Conflicts: 54000 | #Constraints: 102157
394.58/395.76 c #Conflicts: 55000 | #Constraints: 103157
394.58/395.76 c #Conflicts: 56000 | #Constraints: 104157
394.58/395.76 c INPROCESSING
394.58/395.76 c GARBAGE COLLECT
394.58/395.76 c #Conflicts: 57000 | #Constraints: 100360
394.58/395.76 c #Conflicts: 58000 | #Constraints: 101360
394.58/395.76 c #Conflicts: 59000 | #Constraints: 102360
394.58/395.76 c #Conflicts: 60000 | #Constraints: 103360
394.58/395.76 c #Conflicts: 61000 | #Constraints: 104360
394.58/395.76 c INPROCESSING
394.58/395.76 c GARBAGE COLLECT
394.58/395.76 c #Conflicts: 62000 | #Constraints: 100361
394.58/395.76 c #Conflicts: 63000 | #Constraints: 101361
394.58/395.76 c #Conflicts: 64000 | #Constraints: 102361
394.58/395.76 c #Conflicts: 65000 | #Constraints: 103361
394.58/395.76 c #Conflicts: 66000 | #Constraints: 104361
394.58/395.76 c INPROCESSING
394.58/395.76 c GARBAGE COLLECT
394.58/395.76 c #Conflicts: 67000 | #Constraints: 100159
394.58/395.76 c #Conflicts: 68000 | #Constraints: 101159
394.58/395.76 c #Conflicts: 69000 | #Constraints: 102159
394.58/395.76 c #Conflicts: 70000 | #Constraints: 103159
394.58/395.76 c #Conflicts: 71000 | #Constraints: 104159
394.58/395.76 c #Conflicts: 72000 | #Constraints: 105159
394.58/395.76 c INPROCESSING
394.58/395.76 c GARBAGE COLLECT
394.58/395.76 c #Conflicts: 73000 | #Constraints: 100765
394.58/395.76 c #Conflicts: 74000 | #Constraints: 101765
394.58/395.76 c #Conflicts: 75000 | #Constraints: 102765
394.58/395.76 c #Conflicts: 76000 | #Constraints: 103765
394.58/395.76 c #Conflicts: 77000 | #Constraints: 104765
394.58/395.76 c #Conflicts: 78000 | #Constraints: 105765
394.58/395.76 c INPROCESSING
394.58/395.76 c GARBAGE COLLECT
394.58/395.76 c #Conflicts: 79000 | #Constraints: 101175
394.58/395.76 c #Conflicts: 80000 | #Constraints: 102175
394.58/395.76 c #Conflicts: 81000 | #Constraints: 103175
394.58/395.76 c #Conflicts: 82000 | #Constraints: 104175
394.58/395.76 c #Conflicts: 83000 | #Constraints: 105175
394.58/395.76 c #Conflicts: 84000 | #Constraints: 106175
394.58/395.76 c INPROCESSING
394.58/395.76 c GARBAGE COLLECT
394.58/395.76 c #Conflicts: 85000 | #Constraints: 101378
394.58/395.76 c #Conflicts: 86000 | #Constraints: 102378
394.58/395.76 c #Conflicts: 87000 | #Constraints: 103378
394.58/395.76 c #Conflicts: 88000 | #Constraints: 104378
394.58/395.76 c #Conflicts: 89000 | #Constraints: 105378
394.58/395.76 c #Conflicts: 90000 | #Constraints: 106378
394.58/395.76 c INPROCESSING
394.58/395.76 c GARBAGE COLLECT
394.58/395.76 c #Conflicts: 91000 | #Constraints: 101376
394.58/395.76 c #Conflicts: 92000 | #Constraints: 102376
394.58/395.76 c #Conflicts: 93000 | #Constraints: 103376
394.58/395.76 c #Conflicts: 94000 | #Constraints: 104376
394.58/395.76 c #Conflicts: 95000 | #Constraints: 105376
394.58/395.76 c #Conflicts: 96000 | #Constraints: 106376
394.58/395.76 c INPROCESSING
394.58/395.76 c GARBAGE COLLECT
394.58/395.76 c #Conflicts: 97000 | #Constraints: 101174
394.58/395.76 c #Conflicts: 98000 | #Constraints: 102174
394.58/395.76 c #Conflicts: 99000 | #Constraints: 103174
394.58/395.76 c #Conflicts: 100000 | #Constraints: 104174
394.58/395.76 c #Conflicts: 101000 | #Constraints: 105174
394.58/395.76 c #Conflicts: 102000 | #Constraints: 106174
394.58/395.76 c #Conflicts: 103000 | #Constraints: 107174
394.58/395.76 c INPROCESSING
394.58/395.76 c GARBAGE COLLECT
394.58/395.76 c #Conflicts: 104000 | #Constraints: 101774
394.58/395.76 c #Conflicts: 105000 | #Constraints: 102774
394.58/395.76 c #Conflicts: 106000 | #Constraints: 103774
394.58/395.76 c #Conflicts: 107000 | #Constraints: 104774
394.58/395.76 c #Conflicts: 108000 | #Constraints: 105774
394.58/395.76 c #Conflicts: 109000 | #Constraints: 106774
394.58/395.76 c #Conflicts: 110000 | #Constraints: 107774
394.58/395.76 c INPROCESSING
394.58/395.76 c GARBAGE COLLECT
394.58/395.76 c #Conflicts: 111000 | #Constraints: 102186
394.58/395.76 c #Conflicts: 112000 | #Constraints: 103186
394.58/395.76 c #Conflicts: 113000 | #Constraints: 104186
394.58/395.76 c #Conflicts: 114000 | #Constraints: 105186
394.58/395.76 c #Conflicts: 115000 | #Constraints: 106186
394.58/395.76 c #Conflicts: 116000 | #Constraints: 107186
394.58/395.76 c #Conflicts: 117000 | #Constraints: 108186
394.58/395.76 c INPROCESSING
394.58/395.76 c GARBAGE COLLECT
394.58/395.76 c #Conflicts: 118000 | #Constraints: 102389
394.58/395.76 c #Conflicts: 119000 | #Constraints: 103389
394.58/395.76 c #Conflicts: 120000 | #Constraints: 104389
394.58/395.76 c #Conflicts: 121000 | #Constraints: 105389
394.58/395.76 c #Conflicts: 122000 | #Constraints: 106389
394.58/395.76 c #Conflicts: 123000 | #Constraints: 107389
394.58/395.76 c #Conflicts: 124000 | #Constraints: 108389
394.58/395.76 c INPROCESSING
394.58/395.76 c GARBAGE COLLECT
394.58/395.76 c #Conflicts: 125000 | #Constraints: 102395
478.23/479.69 c #Conflicts: 126000 | #Constraints: 103395
478.23/479.69 c #Conflicts: 127000 | #Constraints: 104395
478.23/479.69 c #Conflicts: 128000 | #Constraints: 105395
478.23/479.69 c #Conflicts: 129000 | #Constraints: 106395
478.23/479.69 c #Conflicts: 130000 | #Constraints: 107395
478.23/479.69 c #Conflicts: 131000 | #Constraints: 108395
478.23/479.69 c INPROCESSING
478.23/479.69 c GARBAGE COLLECT
478.23/479.69 c #Conflicts: 132000 | #Constraints: 102192
478.23/479.69 c #Conflicts: 133000 | #Constraints: 103192
478.23/479.69 c #Conflicts: 134000 | #Constraints: 104192
478.23/479.69 c #Conflicts: 135000 | #Constraints: 105192
478.23/479.69 c #Conflicts: 136000 | #Constraints: 106192
478.23/479.69 c #Conflicts: 137000 | #Constraints: 107192
478.23/479.69 c #Conflicts: 138000 | #Constraints: 108192
478.23/479.69 c #Conflicts: 139000 | #Constraints: 109192
478.23/479.69 c INPROCESSING
478.23/479.69 c GARBAGE COLLECT
478.23/479.69 c #Conflicts: 140000 | #Constraints: 102788
478.23/479.69 c #Conflicts: 141000 | #Constraints: 103788
478.23/479.69 c #Conflicts: 142000 | #Constraints: 104788
478.23/479.69 c #Conflicts: 143000 | #Constraints: 105788
478.23/479.69 c #Conflicts: 144000 | #Constraints: 106788
478.23/479.69 c #Conflicts: 145000 | #Constraints: 107788
478.23/479.69 c #Conflicts: 146000 | #Constraints: 108788
478.23/479.69 c #Conflicts: 147000 | #Constraints: 109788
478.23/479.69 c INPROCESSING
478.23/479.69 c GARBAGE COLLECT
478.23/479.69 c #Conflicts: 148000 | #Constraints: 103211
478.23/479.69 c #Conflicts: 149000 | #Constraints: 104211
478.23/479.69 c #Conflicts: 150000 | #Constraints: 105211
478.23/479.69 c #Conflicts: 151000 | #Constraints: 106211
478.23/479.69 c #Conflicts: 152000 | #Constraints: 107211
478.23/479.69 c #Conflicts: 153000 | #Constraints: 108211
478.23/479.69 c #Conflicts: 154000 | #Constraints: 109211
478.23/479.69 c #Conflicts: 155000 | #Constraints: 110211
478.23/479.69 c INPROCESSING
478.23/479.69 c GARBAGE COLLECT
478.23/479.69 c #Conflicts: 156000 | #Constraints: 103408
478.23/479.69 c #Conflicts: 157000 | #Constraints: 104408
478.23/479.69 c #Conflicts: 158000 | #Constraints: 105408
478.23/479.69 c #Conflicts: 159000 | #Constraints: 106408
478.23/479.69 c #Conflicts: 160000 | #Constraints: 107408
478.23/479.69 c #Conflicts: 161000 | #Constraints: 108408
478.23/479.69 c #Conflicts: 162000 | #Constraints: 109408
478.23/479.69 c #Conflicts: 163000 | #Constraints: 110408
478.23/479.69 c INPROCESSING
478.23/479.69 c GARBAGE COLLECT
478.23/479.69 c #Conflicts: 164000 | #Constraints: 103393
478.23/479.69 c #Conflicts: 165000 | #Constraints: 104393
478.23/479.69 c #Conflicts: 166000 | #Constraints: 105393
478.23/479.69 c #Conflicts: 167000 | #Constraints: 106393
478.23/479.69 c #Conflicts: 168000 | #Constraints: 107393
478.23/479.69 c #Conflicts: 169000 | #Constraints: 108393
478.23/479.69 c #Conflicts: 170000 | #Constraints: 109393
478.23/479.69 c #Conflicts: 171000 | #Constraints: 110393
478.23/479.69 c INPROCESSING
478.23/479.69 c GARBAGE COLLECT
478.23/479.69 c #Conflicts: 172000 | #Constraints: 103184
478.23/479.69 c #Conflicts: 173000 | #Constraints: 104184
478.23/479.69 c #Conflicts: 174000 | #Constraints: 105184
478.23/479.69 c #Conflicts: 175000 | #Constraints: 106184
478.23/479.69 c #Conflicts: 176000 | #Constraints: 107184
478.23/479.69 c #Conflicts: 177000 | #Constraints: 108184
478.23/479.69 c #Conflicts: 178000 | #Constraints: 109184
478.23/479.69 c #Conflicts: 179000 | #Constraints: 110184
478.23/479.69 c #Conflicts: 180000 | #Constraints: 111184
478.23/479.69 c INPROCESSING
478.23/479.69 c GARBAGE COLLECT
478.23/479.69 c #Conflicts: 181000 | #Constraints: 103780
478.23/479.69 c #Conflicts: 182000 | #Constraints: 104780
478.23/479.69 c #Conflicts: 183000 | #Constraints: 105780
478.23/479.69 c #Conflicts: 184000 | #Constraints: 106780
478.23/479.69 c #Conflicts: 185000 | #Constraints: 107780
478.23/479.69 c #Conflicts: 186000 | #Constraints: 108780
478.23/479.69 c #Conflicts: 187000 | #Constraints: 109780
478.23/479.69 c #Conflicts: 188000 | #Constraints: 110780
478.23/479.69 c #Conflicts: 189000 | #Constraints: 111780
478.23/479.69 c INPROCESSING
478.23/479.69 c GARBAGE COLLECT
478.23/479.69 c #Conflicts: 190000 | #Constraints: 104177
478.23/479.69 c #Conflicts: 191000 | #Constraints: 105177
478.23/479.69 c #Conflicts: 192000 | #Constraints: 106177
478.23/479.69 c #Conflicts: 193000 | #Constraints: 107177
478.23/479.69 c #Conflicts: 194000 | #Constraints: 108177
478.23/479.69 c #Conflicts: 195000 | #Constraints: 109177
478.23/479.69 c #Conflicts: 196000 | #Constraints: 110177
478.23/479.69 c #Conflicts: 197000 | #Constraints: 111177
478.23/479.69 c #Conflicts: 198000 | #Constraints: 112177
578.53/580.22 c INPROCESSING
578.53/580.22 c GARBAGE COLLECT
578.53/580.22 c #Conflicts: 199000 | #Constraints: 104384
578.53/580.22 c #Conflicts: 200000 | #Constraints: 105384
578.53/580.22 c #Conflicts: 201000 | #Constraints: 106384
578.53/580.22 c #Conflicts: 202000 | #Constraints: 107384
578.53/580.22 c #Conflicts: 203000 | #Constraints: 108384
578.53/580.22 c #Conflicts: 204000 | #Constraints: 109384
578.53/580.22 c #Conflicts: 205000 | #Constraints: 110384
578.53/580.22 c #Conflicts: 206000 | #Constraints: 111384
578.53/580.22 c #Conflicts: 207000 | #Constraints: 112384
578.53/580.22 c INPROCESSING
578.53/580.22 c GARBAGE COLLECT
578.53/580.22 c #Conflicts: 208000 | #Constraints: 104386
578.53/580.22 c #Conflicts: 209000 | #Constraints: 105386
578.53/580.22 c #Conflicts: 210000 | #Constraints: 106386
578.53/580.22 c #Conflicts: 211000 | #Constraints: 107386
578.53/580.22 c #Conflicts: 212000 | #Constraints: 108386
578.53/580.22 c #Conflicts: 213000 | #Constraints: 109386
578.53/580.22 c #Conflicts: 214000 | #Constraints: 110386
578.53/580.22 c #Conflicts: 215000 | #Constraints: 111386
578.53/580.22 c #Conflicts: 216000 | #Constraints: 112386
578.53/580.22 c INPROCESSING
578.53/580.22 c GARBAGE COLLECT
578.53/580.23 c #Conflicts: 217000 | #Constraints: 104185
578.53/580.23 c #Conflicts: 218000 | #Constraints: 105185
578.53/580.23 c #Conflicts: 219000 | #Constraints: 106185
578.53/580.23 c #Conflicts: 220000 | #Constraints: 107185
578.53/580.23 c #Conflicts: 221000 | #Constraints: 108185
578.53/580.23 c #Conflicts: 222000 | #Constraints: 109185
578.53/580.23 c #Conflicts: 223000 | #Constraints: 110185
578.53/580.23 c #Conflicts: 224000 | #Constraints: 111185
578.53/580.23 c #Conflicts: 225000 | #Constraints: 112185
578.53/580.23 c #Conflicts: 226000 | #Constraints: 113185
578.53/580.23 c INPROCESSING
578.53/580.23 c GARBAGE COLLECT
578.53/580.23 c #Conflicts: 227000 | #Constraints: 104788
578.53/580.23 c #Conflicts: 228000 | #Constraints: 105788
578.53/580.23 c #Conflicts: 229000 | #Constraints: 106788
578.53/580.23 c #Conflicts: 230000 | #Constraints: 107788
578.53/580.23 c #Conflicts: 231000 | #Constraints: 108788
578.53/580.23 c #Conflicts: 232000 | #Constraints: 109788
578.53/580.23 c #Conflicts: 233000 | #Constraints: 110788
578.53/580.23 c #Conflicts: 234000 | #Constraints: 111788
578.53/580.23 c #Conflicts: 235000 | #Constraints: 112788
578.53/580.23 c #Conflicts: 236000 | #Constraints: 113788
578.53/580.23 c INPROCESSING
578.53/580.23 c GARBAGE COLLECT
578.53/580.23 c #Conflicts: 237000 | #Constraints: 105205
578.53/580.23 c #Conflicts: 238000 | #Constraints: 106205
578.53/580.23 c #Conflicts: 239000 | #Constraints: 107205
578.53/580.23 c #Conflicts: 240000 | #Constraints: 108205
578.53/580.23 c #Conflicts: 241000 | #Constraints: 109205
578.53/580.23 c #Conflicts: 242000 | #Constraints: 110205
578.53/580.23 c #Conflicts: 243000 | #Constraints: 111205
578.53/580.23 c #Conflicts: 244000 | #Constraints: 112205
578.53/580.23 c #Conflicts: 245000 | #Constraints: 113205
578.53/580.23 c #Conflicts: 246000 | #Constraints: 114205
578.53/580.23 c INPROCESSING
578.53/580.23 c GARBAGE COLLECT
578.53/580.23 c #Conflicts: 247000 | #Constraints: 105405
578.53/580.23 c #Conflicts: 248000 | #Constraints: 106405
578.53/580.23 c #Conflicts: 249000 | #Constraints: 107405
578.53/580.23 c #Conflicts: 250000 | #Constraints: 108405
578.53/580.23 c #Conflicts: 251000 | #Constraints: 109405
578.53/580.23 c #Conflicts: 252000 | #Constraints: 110405
578.53/580.23 c #Conflicts: 253000 | #Constraints: 111405
578.53/580.23 c #Conflicts: 254000 | #Constraints: 112405
578.53/580.23 c #Conflicts: 255000 | #Constraints: 113405
578.53/580.23 c #Conflicts: 256000 | #Constraints: 114405
578.53/580.23 c INPROCESSING
578.53/580.23 c GARBAGE COLLECT
578.53/580.23 c #Conflicts: 257000 | #Constraints: 105412
578.53/580.23 c #Conflicts: 258000 | #Constraints: 106412
578.53/580.23 c #Conflicts: 259000 | #Constraints: 107412
578.53/580.23 c #Conflicts: 260000 | #Constraints: 108412
578.53/580.23 c #Conflicts: 261000 | #Constraints: 109412
578.53/580.23 c #Conflicts: 262000 | #Constraints: 110412
578.53/580.23 c #Conflicts: 263000 | #Constraints: 111412
578.53/580.23 c #Conflicts: 264000 | #Constraints: 112412
578.53/580.23 c #Conflicts: 265000 | #Constraints: 113412
578.53/580.23 c #Conflicts: 266000 | #Constraints: 114412
578.53/580.23 c INPROCESSING
578.53/580.23 c GARBAGE COLLECT
578.53/580.23 c #Conflicts: 267000 | #Constraints: 105201
578.53/580.23 c #Conflicts: 268000 | #Constraints: 106201
578.53/580.23 c #Conflicts: 269000 | #Constraints: 107201
578.53/580.23 c #Conflicts: 270000 | #Constraints: 108201
578.53/580.23 c #Conflicts: 271000 | #Constraints: 109201
578.53/580.23 c #Conflicts: 272000 | #Constraints: 110201
702.37/704.41 c #Conflicts: 273000 | #Constraints: 111201
702.37/704.41 c #Conflicts: 274000 | #Constraints: 112201
702.37/704.41 c #Conflicts: 275000 | #Constraints: 113201
702.37/704.41 c #Conflicts: 276000 | #Constraints: 114201
702.37/704.41 c #Conflicts: 277000 | #Constraints: 115201
702.37/704.41 c INPROCESSING
702.37/704.41 c GARBAGE COLLECT
702.37/704.41 c #Conflicts: 278000 | #Constraints: 105801
702.37/704.41 c #Conflicts: 279000 | #Constraints: 106801
702.37/704.41 c #Conflicts: 280000 | #Constraints: 107801
702.37/704.41 c #Conflicts: 281000 | #Constraints: 108801
702.37/704.41 c #Conflicts: 282000 | #Constraints: 109801
702.37/704.41 c #Conflicts: 283000 | #Constraints: 110801
702.37/704.41 c #Conflicts: 284000 | #Constraints: 111801
702.37/704.41 c #Conflicts: 285000 | #Constraints: 112801
702.37/704.41 c #Conflicts: 286000 | #Constraints: 113801
702.37/704.41 c #Conflicts: 287000 | #Constraints: 114801
702.37/704.41 c #Conflicts: 288000 | #Constraints: 115801
702.37/704.41 c INPROCESSING
702.37/704.41 c GARBAGE COLLECT
702.37/704.41 c #Conflicts: 289000 | #Constraints: 106202
702.37/704.41 c #Conflicts: 290000 | #Constraints: 107202
702.37/704.41 c #Conflicts: 291000 | #Constraints: 108202
702.37/704.41 c #Conflicts: 292000 | #Constraints: 109202
702.37/704.41 c #Conflicts: 293000 | #Constraints: 110202
702.37/704.41 c #Conflicts: 294000 | #Constraints: 111202
702.37/704.41 c #Conflicts: 295000 | #Constraints: 112202
702.37/704.41 c #Conflicts: 296000 | #Constraints: 113202
702.37/704.41 c #Conflicts: 297000 | #Constraints: 114202
702.37/704.41 c #Conflicts: 298000 | #Constraints: 115202
702.37/704.41 c #Conflicts: 299000 | #Constraints: 116202
702.37/704.41 c INPROCESSING
702.37/704.41 c GARBAGE COLLECT
702.37/704.41 c #Conflicts: 300000 | #Constraints: 106406
702.37/704.41 c #Conflicts: 301000 | #Constraints: 107406
702.37/704.41 c #Conflicts: 302000 | #Constraints: 108406
702.37/704.41 c #Conflicts: 303000 | #Constraints: 109406
702.37/704.41 c #Conflicts: 304000 | #Constraints: 110406
702.37/704.41 c #Conflicts: 305000 | #Constraints: 111406
702.37/704.41 c #Conflicts: 306000 | #Constraints: 112406
702.37/704.41 c #Conflicts: 307000 | #Constraints: 113406
702.37/704.41 c #Conflicts: 308000 | #Constraints: 114406
702.37/704.41 c #Conflicts: 309000 | #Constraints: 115406
702.37/704.41 c #Conflicts: 310000 | #Constraints: 116406
702.37/704.41 c INPROCESSING
702.37/704.41 c GARBAGE COLLECT
702.37/704.41 c #Conflicts: 311000 | #Constraints: 106407
702.37/704.41 c #Conflicts: 312000 | #Constraints: 107407
702.37/704.41 c #Conflicts: 313000 | #Constraints: 108407
702.37/704.41 c #Conflicts: 314000 | #Constraints: 109407
702.37/704.41 c #Conflicts: 315000 | #Constraints: 110407
702.37/704.41 c #Conflicts: 316000 | #Constraints: 111407
702.37/704.41 c #Conflicts: 317000 | #Constraints: 112407
702.37/704.41 c #Conflicts: 318000 | #Constraints: 113407
702.37/704.41 c #Conflicts: 319000 | #Constraints: 114407
702.37/704.41 c #Conflicts: 320000 | #Constraints: 115407
702.37/704.41 c #Conflicts: 321000 | #Constraints: 116407
702.37/704.41 c INPROCESSING
702.37/704.41 c GARBAGE COLLECT
702.37/704.41 c #Conflicts: 322000 | #Constraints: 106224
702.37/704.41 c #Conflicts: 323000 | #Constraints: 107224
702.37/704.41 c #Conflicts: 324000 | #Constraints: 108224
702.37/704.41 c #Conflicts: 325000 | #Constraints: 109224
702.37/704.41 c #Conflicts: 326000 | #Constraints: 110224
702.37/704.41 c #Conflicts: 327000 | #Constraints: 111224
702.37/704.41 c #Conflicts: 328000 | #Constraints: 112224
702.37/704.41 c #Conflicts: 329000 | #Constraints: 113224
702.37/704.41 c #Conflicts: 330000 | #Constraints: 114224
702.37/704.41 c #Conflicts: 331000 | #Constraints: 115224
702.37/704.41 c #Conflicts: 332000 | #Constraints: 116224
702.37/704.41 c #Conflicts: 333000 | #Constraints: 117224
702.37/704.41 c INPROCESSING
702.37/704.41 c GARBAGE COLLECT
702.37/704.41 c #Conflicts: 334000 | #Constraints: 106828
702.37/704.41 c #Conflicts: 335000 | #Constraints: 107828
702.37/704.41 c #Conflicts: 336000 | #Constraints: 108828
702.37/704.41 c #Conflicts: 337000 | #Constraints: 109828
702.37/704.41 c #Conflicts: 338000 | #Constraints: 110828
702.37/704.41 c #Conflicts: 339000 | #Constraints: 111828
702.37/704.41 c #Conflicts: 340000 | #Constraints: 112828
702.37/704.41 c #Conflicts: 341000 | #Constraints: 113828
702.37/704.41 c #Conflicts: 342000 | #Constraints: 114828
702.37/704.41 c #Conflicts: 343000 | #Constraints: 115828
702.37/704.41 c #Conflicts: 344000 | #Constraints: 116828
702.37/704.41 c #Conflicts: 345000 | #Constraints: 117828
702.37/704.41 c INPROCESSING
702.37/704.41 c GARBAGE COLLECT
702.37/704.41 c #Conflicts: 346000 | #Constraints: 107214
702.37/704.41 c #Conflicts: 347000 | #Constraints: 108214
839.38/841.86 c #Conflicts: 348000 | #Constraints: 109214
839.38/841.86 c #Conflicts: 349000 | #Constraints: 110214
839.38/841.86 c #Conflicts: 350000 | #Constraints: 111214
839.38/841.86 c #Conflicts: 351000 | #Constraints: 112214
839.38/841.86 c #Conflicts: 352000 | #Constraints: 113214
839.38/841.86 c #Conflicts: 353000 | #Constraints: 114214
839.38/841.86 c #Conflicts: 354000 | #Constraints: 115214
839.38/841.86 c #Conflicts: 355000 | #Constraints: 116214
839.38/841.86 c #Conflicts: 356000 | #Constraints: 117214
839.38/841.86 c #Conflicts: 357000 | #Constraints: 118214
839.38/841.86 c INPROCESSING
839.38/841.86 c GARBAGE COLLECT
839.38/841.86 c #Conflicts: 358000 | #Constraints: 107422
839.38/841.86 c #Conflicts: 359000 | #Constraints: 108422
839.38/841.86 c #Conflicts: 360000 | #Constraints: 109422
839.38/841.86 c #Conflicts: 361000 | #Constraints: 110422
839.38/841.86 c #Conflicts: 362000 | #Constraints: 111422
839.38/841.86 c #Conflicts: 363000 | #Constraints: 112422
839.38/841.86 c #Conflicts: 364000 | #Constraints: 113422
839.38/841.86 c #Conflicts: 365000 | #Constraints: 114422
839.38/841.86 c #Conflicts: 366000 | #Constraints: 115422
839.38/841.86 c #Conflicts: 367000 | #Constraints: 116422
839.38/841.86 c #Conflicts: 368000 | #Constraints: 117422
839.38/841.86 c #Conflicts: 369000 | #Constraints: 118422
839.38/841.86 c INPROCESSING
839.38/841.86 c GARBAGE COLLECT
839.38/841.86 c #Conflicts: 370000 | #Constraints: 107408
839.38/841.86 c #Conflicts: 371000 | #Constraints: 108408
839.38/841.86 c #Conflicts: 372000 | #Constraints: 109408
839.38/841.86 c #Conflicts: 373000 | #Constraints: 110408
839.38/841.86 c #Conflicts: 374000 | #Constraints: 111408
839.38/841.86 c #Conflicts: 375000 | #Constraints: 112408
839.38/841.86 c #Conflicts: 376000 | #Constraints: 113408
839.38/841.86 c #Conflicts: 377000 | #Constraints: 114408
839.38/841.86 c #Conflicts: 378000 | #Constraints: 115408
839.38/841.86 c #Conflicts: 379000 | #Constraints: 116408
839.38/841.86 c #Conflicts: 380000 | #Constraints: 117408
839.38/841.86 c #Conflicts: 381000 | #Constraints: 118408
839.38/841.86 c INPROCESSING
839.38/841.86 c GARBAGE COLLECT
839.38/841.86 c #Conflicts: 382000 | #Constraints: 107208
839.38/841.86 c #Conflicts: 383000 | #Constraints: 108208
839.38/841.86 c #Conflicts: 384000 | #Constraints: 109208
839.38/841.86 c #Conflicts: 385000 | #Constraints: 110208
839.38/841.86 c #Conflicts: 386000 | #Constraints: 111208
839.38/841.86 c #Conflicts: 387000 | #Constraints: 112208
839.38/841.86 c #Conflicts: 388000 | #Constraints: 113208
839.38/841.86 c #Conflicts: 389000 | #Constraints: 114208
839.38/841.86 c #Conflicts: 390000 | #Constraints: 115208
839.38/841.86 c #Conflicts: 391000 | #Constraints: 116208
839.38/841.86 c #Conflicts: 392000 | #Constraints: 117208
839.38/841.86 c #Conflicts: 393000 | #Constraints: 118208
839.38/841.86 c #Conflicts: 394000 | #Constraints: 119208
839.38/841.86 c INPROCESSING
839.38/841.86 c GARBAGE COLLECT
839.38/841.86 c #Conflicts: 395000 | #Constraints: 107825
839.38/841.86 c #Conflicts: 396000 | #Constraints: 108825
839.38/841.86 c #Conflicts: 397000 | #Constraints: 109825
839.38/841.86 c #Conflicts: 398000 | #Constraints: 110825
839.38/841.86 c #Conflicts: 399000 | #Constraints: 111825
839.38/841.86 c #Conflicts: 400000 | #Constraints: 112825
839.38/841.86 c #Conflicts: 401000 | #Constraints: 113825
839.38/841.86 c #Conflicts: 402000 | #Constraints: 114825
839.38/841.86 c #Conflicts: 403000 | #Constraints: 115825
839.38/841.86 c #Conflicts: 404000 | #Constraints: 116825
839.38/841.86 c #Conflicts: 405000 | #Constraints: 117825
839.38/841.86 c #Conflicts: 406000 | #Constraints: 118825
839.38/841.86 c #Conflicts: 407000 | #Constraints: 119825
839.38/841.86 c INPROCESSING
839.38/841.86 c GARBAGE COLLECT
839.38/841.86 c #Conflicts: 408000 | #Constraints: 108228
839.38/841.86 c #Conflicts: 409000 | #Constraints: 109228
839.38/841.86 c #Conflicts: 410000 | #Constraints: 110228
839.38/841.86 c #Conflicts: 411000 | #Constraints: 111228
839.38/841.86 c #Conflicts: 412000 | #Constraints: 112228
839.38/841.86 c #Conflicts: 413000 | #Constraints: 113228
839.38/841.86 c #Conflicts: 414000 | #Constraints: 114228
839.38/841.86 c #Conflicts: 415000 | #Constraints: 115228
839.38/841.86 c #Conflicts: 416000 | #Constraints: 116228
839.38/841.86 c #Conflicts: 417000 | #Constraints: 117228
839.38/841.86 c #Conflicts: 418000 | #Constraints: 118228
839.38/841.86 c #Conflicts: 419000 | #Constraints: 119228
839.38/841.86 c #Conflicts: 420000 | #Constraints: 120228
839.38/841.86 c INPROCESSING
839.38/841.86 c GARBAGE COLLECT
839.38/841.86 c #Conflicts: 421000 | #Constraints: 108414
984.86/987.76 c #Conflicts: 422000 | #Constraints: 109414
984.86/987.76 c #Conflicts: 423000 | #Constraints: 110414
984.86/987.76 c #Conflicts: 424000 | #Constraints: 111414
984.86/987.76 c #Conflicts: 425000 | #Constraints: 112414
984.86/987.76 c #Conflicts: 426000 | #Constraints: 113414
984.86/987.76 c #Conflicts: 427000 | #Constraints: 114414
984.86/987.76 c #Conflicts: 428000 | #Constraints: 115414
984.86/987.76 c #Conflicts: 429000 | #Constraints: 116414
984.86/987.76 c #Conflicts: 430000 | #Constraints: 117414
984.86/987.76 c #Conflicts: 431000 | #Constraints: 118414
984.86/987.76 c #Conflicts: 432000 | #Constraints: 119414
984.86/987.76 c #Conflicts: 433000 | #Constraints: 120414
984.86/987.76 c INPROCESSING
984.86/987.76 c GARBAGE COLLECT
984.86/987.76 c #Conflicts: 434000 | #Constraints: 108412
984.86/987.76 c #Conflicts: 435000 | #Constraints: 109412
984.86/987.76 c #Conflicts: 436000 | #Constraints: 110412
984.86/987.76 c #Conflicts: 437000 | #Constraints: 111412
984.86/987.76 c #Conflicts: 438000 | #Constraints: 112412
984.86/987.76 c #Conflicts: 439000 | #Constraints: 113412
984.86/987.76 c #Conflicts: 440000 | #Constraints: 114412
984.86/987.76 c #Conflicts: 441000 | #Constraints: 115412
984.86/987.76 c #Conflicts: 442000 | #Constraints: 116412
984.86/987.76 c #Conflicts: 443000 | #Constraints: 117412
984.86/987.76 c #Conflicts: 444000 | #Constraints: 118412
984.86/987.76 c #Conflicts: 445000 | #Constraints: 119412
984.86/987.76 c #Conflicts: 446000 | #Constraints: 120412
984.86/987.76 c INPROCESSING
984.86/987.76 c GARBAGE COLLECT
984.86/987.76 c #Conflicts: 447000 | #Constraints: 108207
984.86/987.76 c #Conflicts: 448000 | #Constraints: 109207
984.86/987.76 c #Conflicts: 449000 | #Constraints: 110207
984.86/987.76 c #Conflicts: 450000 | #Constraints: 111207
984.86/987.76 c #Conflicts: 451000 | #Constraints: 112207
984.86/987.76 c #Conflicts: 452000 | #Constraints: 113207
984.86/987.76 c #Conflicts: 453000 | #Constraints: 114207
984.86/987.76 c #Conflicts: 454000 | #Constraints: 115207
984.86/987.76 c #Conflicts: 455000 | #Constraints: 116207
984.86/987.76 c #Conflicts: 456000 | #Constraints: 117207
984.86/987.76 c #Conflicts: 457000 | #Constraints: 118207
984.86/987.76 c #Conflicts: 458000 | #Constraints: 119207
984.86/987.76 c #Conflicts: 459000 | #Constraints: 120207
984.86/987.76 c #Conflicts: 460000 | #Constraints: 121207
984.86/987.76 c INPROCESSING
984.86/987.76 c GARBAGE COLLECT
984.86/987.76 c #Conflicts: 461000 | #Constraints: 108806
984.86/987.76 c #Conflicts: 462000 | #Constraints: 109806
984.86/987.76 c #Conflicts: 463000 | #Constraints: 110806
984.86/987.76 c #Conflicts: 464000 | #Constraints: 111806
984.86/987.76 c #Conflicts: 465000 | #Constraints: 112806
984.86/987.76 c #Conflicts: 466000 | #Constraints: 113806
984.86/987.76 c #Conflicts: 467000 | #Constraints: 114806
984.86/987.76 c #Conflicts: 468000 | #Constraints: 115806
984.86/987.76 c #Conflicts: 469000 | #Constraints: 116806
984.86/987.76 c #Conflicts: 470000 | #Constraints: 117806
984.86/987.76 c #Conflicts: 471000 | #Constraints: 118806
984.86/987.76 c #Conflicts: 472000 | #Constraints: 119806
984.86/987.76 c #Conflicts: 473000 | #Constraints: 120806
984.86/987.76 c #Conflicts: 474000 | #Constraints: 121806
984.86/987.76 c INPROCESSING
984.86/987.76 c GARBAGE COLLECT
984.86/987.76 c #Conflicts: 475000 | #Constraints: 109198
984.86/987.76 c #Conflicts: 476000 | #Constraints: 110198
984.86/987.76 c #Conflicts: 477000 | #Constraints: 111198
984.86/987.76 c #Conflicts: 478000 | #Constraints: 112198
984.86/987.76 c #Conflicts: 479000 | #Constraints: 113198
984.86/987.76 c #Conflicts: 480000 | #Constraints: 114198
984.86/987.76 c #Conflicts: 481000 | #Constraints: 115198
984.86/987.76 c #Conflicts: 482000 | #Constraints: 116198
984.86/987.76 c #Conflicts: 483000 | #Constraints: 117198
984.86/987.76 c #Conflicts: 484000 | #Constraints: 118198
984.86/987.76 c #Conflicts: 485000 | #Constraints: 119198
984.86/987.76 c #Conflicts: 486000 | #Constraints: 120198
984.86/987.76 c #Conflicts: 487000 | #Constraints: 121198
984.86/987.76 c #Conflicts: 488000 | #Constraints: 122198
984.86/987.76 c INPROCESSING
984.86/987.76 c GARBAGE COLLECT
984.86/987.76 c #Conflicts: 489000 | #Constraints: 109407
984.86/987.76 c #Conflicts: 490000 | #Constraints: 110407
984.86/987.76 c #Conflicts: 491000 | #Constraints: 111407
984.86/987.76 c #Conflicts: 492000 | #Constraints: 112407
984.86/987.76 c #Conflicts: 493000 | #Constraints: 113407
984.86/987.76 c #Conflicts: 494000 | #Constraints: 114407
984.86/987.76 c #Conflicts: 495000 | #Constraints: 115407
984.86/987.76 c #Conflicts: 496000 | #Constraints: 116407
984.86/987.76 c #Conflicts: 497000 | #Constraints: 117407
1158.07/1161.44 c #Conflicts: 498000 | #Constraints: 118407
1158.07/1161.44 c #Conflicts: 499000 | #Constraints: 119407
1158.07/1161.44 c #Conflicts: 500000 | #Constraints: 120407
1158.07/1161.44 c #Conflicts: 501000 | #Constraints: 121407
1158.07/1161.44 c #Conflicts: 502000 | #Constraints: 122407
1158.07/1161.44 c INPROCESSING
1158.07/1161.44 c GARBAGE COLLECT
1158.07/1161.44 c #Conflicts: 503000 | #Constraints: 109408
1158.07/1161.44 c #Conflicts: 504000 | #Constraints: 110408
1158.07/1161.44 c #Conflicts: 505000 | #Constraints: 111408
1158.07/1161.44 c #Conflicts: 506000 | #Constraints: 112408
1158.07/1161.44 c #Conflicts: 507000 | #Constraints: 113408
1158.07/1161.44 c #Conflicts: 508000 | #Constraints: 114408
1158.07/1161.44 c #Conflicts: 509000 | #Constraints: 115408
1158.07/1161.44 c #Conflicts: 510000 | #Constraints: 116408
1158.07/1161.44 c #Conflicts: 511000 | #Constraints: 117408
1158.07/1161.44 c #Conflicts: 512000 | #Constraints: 118408
1158.07/1161.44 c #Conflicts: 513000 | #Constraints: 119408
1158.07/1161.44 c #Conflicts: 514000 | #Constraints: 120408
1158.07/1161.44 c #Conflicts: 515000 | #Constraints: 121408
1158.07/1161.44 c #Conflicts: 516000 | #Constraints: 122408
1158.07/1161.44 c INPROCESSING
1158.07/1161.44 c GARBAGE COLLECT
1158.07/1161.44 c #Conflicts: 517000 | #Constraints: 109197
1158.07/1161.44 c #Conflicts: 518000 | #Constraints: 110197
1158.07/1161.44 c #Conflicts: 519000 | #Constraints: 111197
1158.07/1161.44 c #Conflicts: 520000 | #Constraints: 112197
1158.07/1161.44 c #Conflicts: 521000 | #Constraints: 113197
1158.07/1161.44 c #Conflicts: 522000 | #Constraints: 114197
1158.07/1161.44 c #Conflicts: 523000 | #Constraints: 115197
1158.07/1161.44 c #Conflicts: 524000 | #Constraints: 116197
1158.07/1161.44 c #Conflicts: 525000 | #Constraints: 117197
1158.07/1161.44 c #Conflicts: 526000 | #Constraints: 118197
1158.07/1161.44 c #Conflicts: 527000 | #Constraints: 119197
1158.07/1161.44 c #Conflicts: 528000 | #Constraints: 120197
1158.07/1161.44 c #Conflicts: 529000 | #Constraints: 121197
1158.07/1161.44 c #Conflicts: 530000 | #Constraints: 122197
1158.07/1161.44 c #Conflicts: 531000 | #Constraints: 123197
1158.07/1161.44 c INPROCESSING
1158.07/1161.44 c GARBAGE COLLECT
1158.07/1161.44 c #Conflicts: 532000 | #Constraints: 109810
1158.07/1161.44 c #Conflicts: 533000 | #Constraints: 110810
1158.07/1161.44 c #Conflicts: 534000 | #Constraints: 111810
1158.07/1161.44 c #Conflicts: 535000 | #Constraints: 112810
1158.07/1161.44 c #Conflicts: 536000 | #Constraints: 113810
1158.07/1161.44 c #Conflicts: 537000 | #Constraints: 114810
1158.07/1161.44 c #Conflicts: 538000 | #Constraints: 115810
1158.07/1161.44 c #Conflicts: 539000 | #Constraints: 116810
1158.07/1161.44 c #Conflicts: 540000 | #Constraints: 117810
1158.07/1161.44 c #Conflicts: 541000 | #Constraints: 118810
1158.07/1161.44 c #Conflicts: 542000 | #Constraints: 119810
1158.07/1161.44 c #Conflicts: 543000 | #Constraints: 120810
1158.07/1161.44 c #Conflicts: 544000 | #Constraints: 121810
1158.07/1161.44 c #Conflicts: 545000 | #Constraints: 122810
1158.07/1161.44 c #Conflicts: 546000 | #Constraints: 123810
1158.07/1161.44 c INPROCESSING
1158.07/1161.44 c GARBAGE COLLECT
1158.07/1161.44 c #Conflicts: 547000 | #Constraints: 110207
1158.07/1161.44 c #Conflicts: 548000 | #Constraints: 111207
1158.07/1161.44 c #Conflicts: 549000 | #Constraints: 112207
1158.07/1161.44 c #Conflicts: 550000 | #Constraints: 113207
1158.07/1161.44 c #Conflicts: 551000 | #Constraints: 114207
1158.07/1161.44 c #Conflicts: 552000 | #Constraints: 115207
1158.07/1161.44 c #Conflicts: 553000 | #Constraints: 116207
1158.07/1161.44 c #Conflicts: 554000 | #Constraints: 117207
1158.07/1161.44 c #Conflicts: 555000 | #Constraints: 118207
1158.07/1161.44 c #Conflicts: 556000 | #Constraints: 119207
1158.07/1161.44 c #Conflicts: 557000 | #Constraints: 120207
1158.07/1161.44 c #Conflicts: 558000 | #Constraints: 121207
1158.07/1161.44 c #Conflicts: 559000 | #Constraints: 122207
1158.07/1161.44 c #Conflicts: 560000 | #Constraints: 123207
1158.07/1161.44 c #Conflicts: 561000 | #Constraints: 124207
1158.07/1161.44 c INPROCESSING
1158.07/1161.44 c GARBAGE COLLECT
1158.07/1161.44 c #Conflicts: 562000 | #Constraints: 110435
1158.07/1161.44 c #Conflicts: 563000 | #Constraints: 111435
1158.07/1161.44 c #Conflicts: 564000 | #Constraints: 112435
1158.07/1161.44 c #Conflicts: 565000 | #Constraints: 113435
1158.07/1161.44 c #Conflicts: 566000 | #Constraints: 114435
1158.07/1161.44 c #Conflicts: 567000 | #Constraints: 115435
1158.07/1161.44 c #Conflicts: 568000 | #Constraints: 116435
1158.07/1161.44 c #Conflicts: 569000 | #Constraints: 117435
1158.07/1161.44 c #Conflicts: 570000 | #Constraints: 118435
1158.07/1161.44 c #Conflicts: 571000 | #Constraints: 119435
1158.07/1161.44 c #Conflicts: 572000 | #Constraints: 120435
1158.07/1161.44 c #Conflicts: 573000 | #Constraints: 121435
1336.65/1340.56 c #Conflicts: 574000 | #Constraints: 122435
1336.65/1340.56 c #Conflicts: 575000 | #Constraints: 123435
1336.65/1340.56 c #Conflicts: 576000 | #Constraints: 124435
1336.65/1340.56 c INPROCESSING
1336.65/1340.56 c GARBAGE COLLECT
1336.65/1340.56 c #Conflicts: 577000 | #Constraints: 110433
1336.65/1340.56 c #Conflicts: 578000 | #Constraints: 111433
1336.65/1340.56 c #Conflicts: 579000 | #Constraints: 112433
1336.65/1340.56 c #Conflicts: 580000 | #Constraints: 113433
1336.65/1340.56 c #Conflicts: 581000 | #Constraints: 114433
1336.65/1340.56 c #Conflicts: 582000 | #Constraints: 115433
1336.65/1340.56 c #Conflicts: 583000 | #Constraints: 116433
1336.65/1340.56 c #Conflicts: 584000 | #Constraints: 117433
1336.65/1340.56 c #Conflicts: 585000 | #Constraints: 118433
1336.65/1340.56 c #Conflicts: 586000 | #Constraints: 119433
1336.65/1340.56 c #Conflicts: 587000 | #Constraints: 120433
1336.65/1340.56 c #Conflicts: 588000 | #Constraints: 121433
1336.65/1340.56 c #Conflicts: 589000 | #Constraints: 122433
1336.65/1340.56 c #Conflicts: 590000 | #Constraints: 123433
1336.65/1340.56 c #Conflicts: 591000 | #Constraints: 124433
1336.65/1340.56 c INPROCESSING
1336.65/1340.56 c GARBAGE COLLECT
1336.65/1340.56 c #Conflicts: 592000 | #Constraints: 110243
1336.65/1340.56 c #Conflicts: 593000 | #Constraints: 111243
1336.65/1340.56 c #Conflicts: 594000 | #Constraints: 112243
1336.65/1340.56 c #Conflicts: 595000 | #Constraints: 113243
1336.65/1340.56 c #Conflicts: 596000 | #Constraints: 114243
1336.65/1340.56 c #Conflicts: 597000 | #Constraints: 115243
1336.65/1340.56 c #Conflicts: 598000 | #Constraints: 116243
1336.65/1340.56 c #Conflicts: 599000 | #Constraints: 117243
1336.65/1340.56 c #Conflicts: 600000 | #Constraints: 118243
1336.65/1340.56 c #Conflicts: 601000 | #Constraints: 119243
1336.65/1340.56 c #Conflicts: 602000 | #Constraints: 120243
1336.65/1340.56 c #Conflicts: 603000 | #Constraints: 121243
1336.65/1340.56 c #Conflicts: 604000 | #Constraints: 122243
1336.65/1340.56 c #Conflicts: 605000 | #Constraints: 123243
1336.65/1340.56 c #Conflicts: 606000 | #Constraints: 124243
1336.65/1340.56 c #Conflicts: 607000 | #Constraints: 125243
1336.65/1340.56 c INPROCESSING
1336.65/1340.56 c GARBAGE COLLECT
1336.65/1340.56 c #Conflicts: 608000 | #Constraints: 110842
1336.65/1340.56 c #Conflicts: 609000 | #Constraints: 111842
1336.65/1340.56 c #Conflicts: 610000 | #Constraints: 112842
1336.65/1340.56 c #Conflicts: 611000 | #Constraints: 113842
1336.65/1340.56 c #Conflicts: 612000 | #Constraints: 114842
1336.65/1340.56 c #Conflicts: 613000 | #Constraints: 115842
1336.65/1340.56 c #Conflicts: 614000 | #Constraints: 116842
1336.65/1340.56 c #Conflicts: 615000 | #Constraints: 117842
1336.65/1340.56 c #Conflicts: 616000 | #Constraints: 118842
1336.65/1340.56 c #Conflicts: 617000 | #Constraints: 119842
1336.65/1340.56 c #Conflicts: 618000 | #Constraints: 120842
1336.65/1340.56 c #Conflicts: 619000 | #Constraints: 121842
1336.65/1340.56 c #Conflicts: 620000 | #Constraints: 122842
1336.65/1340.56 c #Conflicts: 621000 | #Constraints: 123842
1336.65/1340.56 c #Conflicts: 622000 | #Constraints: 124842
1336.65/1340.56 c #Conflicts: 623000 | #Constraints: 125842
1336.65/1340.56 c INPROCESSING
1336.65/1340.56 c GARBAGE COLLECT
1336.65/1340.56 c #Conflicts: 624000 | #Constraints: 111230
1336.65/1340.56 c #Conflicts: 625000 | #Constraints: 112230
1336.65/1340.56 c #Conflicts: 626000 | #Constraints: 113230
1336.65/1340.56 c #Conflicts: 627000 | #Constraints: 114230
1336.65/1340.56 c #Conflicts: 628000 | #Constraints: 115230
1336.65/1340.56 c #Conflicts: 629000 | #Constraints: 116230
1336.65/1340.56 c #Conflicts: 630000 | #Constraints: 117230
1336.65/1340.56 c #Conflicts: 631000 | #Constraints: 118230
1336.65/1340.56 c #Conflicts: 632000 | #Constraints: 119230
1336.65/1340.56 c #Conflicts: 633000 | #Constraints: 120230
1336.65/1340.56 c #Conflicts: 634000 | #Constraints: 121230
1336.65/1340.56 c #Conflicts: 635000 | #Constraints: 122230
1336.65/1340.56 c #Conflicts: 636000 | #Constraints: 123230
1336.65/1340.56 c #Conflicts: 637000 | #Constraints: 124230
1336.65/1340.56 c #Conflicts: 638000 | #Constraints: 125230
1336.65/1340.56 c #Conflicts: 639000 | #Constraints: 126230
1336.65/1340.56 c INPROCESSING
1336.65/1340.56 c GARBAGE COLLECT
1336.65/1340.56 c #Conflicts: 640000 | #Constraints: 111439
1336.65/1340.56 c #Conflicts: 641000 | #Constraints: 112439
1336.65/1340.56 c #Conflicts: 642000 | #Constraints: 113439
1336.65/1340.56 c #Conflicts: 643000 | #Constraints: 114439
1336.65/1340.56 c #Conflicts: 644000 | #Constraints: 115439
1336.65/1340.56 c #Conflicts: 645000 | #Constraints: 116439
1336.65/1340.56 c #Conflicts: 646000 | #Constraints: 117439
1336.65/1340.56 c #Conflicts: 647000 | #Constraints: 118439
1336.65/1340.56 c #Conflicts: 648000 | #Constraints: 119439
1538.18/1542.62 c #Conflicts: 649000 | #Constraints: 120439
1538.18/1542.62 c #Conflicts: 650000 | #Constraints: 121439
1538.18/1542.62 c #Conflicts: 651000 | #Constraints: 122439
1538.18/1542.62 c #Conflicts: 652000 | #Constraints: 123439
1538.18/1542.62 c #Conflicts: 653000 | #Constraints: 124439
1538.18/1542.62 c #Conflicts: 654000 | #Constraints: 125439
1538.18/1542.62 c #Conflicts: 655000 | #Constraints: 126439
1538.18/1542.62 c INPROCESSING
1538.18/1542.62 c GARBAGE COLLECT
1538.18/1542.62 c #Conflicts: 656000 | #Constraints: 111435
1538.18/1542.62 c #Conflicts: 657000 | #Constraints: 112435
1538.18/1542.62 c #Conflicts: 658000 | #Constraints: 113435
1538.18/1542.62 c #Conflicts: 659000 | #Constraints: 114435
1538.18/1542.62 c #Conflicts: 660000 | #Constraints: 115435
1538.18/1542.62 c #Conflicts: 661000 | #Constraints: 116435
1538.18/1542.62 c #Conflicts: 662000 | #Constraints: 117435
1538.18/1542.62 c #Conflicts: 663000 | #Constraints: 118435
1538.18/1542.62 c #Conflicts: 664000 | #Constraints: 119435
1538.18/1542.62 c #Conflicts: 665000 | #Constraints: 120435
1538.18/1542.62 c #Conflicts: 666000 | #Constraints: 121435
1538.18/1542.62 c #Conflicts: 667000 | #Constraints: 122435
1538.18/1542.62 c #Conflicts: 668000 | #Constraints: 123435
1538.18/1542.62 c #Conflicts: 669000 | #Constraints: 124435
1538.18/1542.62 c #Conflicts: 670000 | #Constraints: 125435
1538.18/1542.62 c #Conflicts: 671000 | #Constraints: 126435
1538.18/1542.62 c INPROCESSING
1538.18/1542.62 c GARBAGE COLLECT
1538.18/1542.62 c #Conflicts: 672000 | #Constraints: 111258
1538.18/1542.62 c #Conflicts: 673000 | #Constraints: 112258
1538.18/1542.62 c #Conflicts: 674000 | #Constraints: 113258
1538.18/1542.62 c #Conflicts: 675000 | #Constraints: 114258
1538.18/1542.62 c #Conflicts: 676000 | #Constraints: 115258
1538.18/1542.62 c #Conflicts: 677000 | #Constraints: 116258
1538.18/1542.62 c #Conflicts: 678000 | #Constraints: 117258
1538.18/1542.62 c #Conflicts: 679000 | #Constraints: 118258
1538.18/1542.62 c #Conflicts: 680000 | #Constraints: 119258
1538.18/1542.62 c #Conflicts: 681000 | #Constraints: 120258
1538.18/1542.62 c #Conflicts: 682000 | #Constraints: 121258
1538.18/1542.62 c #Conflicts: 683000 | #Constraints: 122258
1538.18/1542.62 c #Conflicts: 684000 | #Constraints: 123258
1538.18/1542.62 c #Conflicts: 685000 | #Constraints: 124258
1538.18/1542.62 c #Conflicts: 686000 | #Constraints: 125258
1538.18/1542.62 c #Conflicts: 687000 | #Constraints: 126258
1538.18/1542.62 c #Conflicts: 688000 | #Constraints: 127258
1538.18/1542.62 c INPROCESSING
1538.18/1542.62 c GARBAGE COLLECT
1538.18/1542.62 c #Conflicts: 689000 | #Constraints: 111855
1538.18/1542.62 c #Conflicts: 690000 | #Constraints: 112855
1538.18/1542.62 c #Conflicts: 691000 | #Constraints: 113855
1538.18/1542.62 c #Conflicts: 692000 | #Constraints: 114855
1538.18/1542.62 c #Conflicts: 693000 | #Constraints: 115855
1538.18/1542.62 c #Conflicts: 694000 | #Constraints: 116855
1538.18/1542.62 c #Conflicts: 695000 | #Constraints: 117855
1538.18/1542.62 c #Conflicts: 696000 | #Constraints: 118855
1538.18/1542.62 c #Conflicts: 697000 | #Constraints: 119855
1538.18/1542.62 c #Conflicts: 698000 | #Constraints: 120855
1538.18/1542.62 c #Conflicts: 699000 | #Constraints: 121855
1538.18/1542.62 c #Conflicts: 700000 | #Constraints: 122855
1538.18/1542.62 c #Conflicts: 701000 | #Constraints: 123855
1538.18/1542.62 c #Conflicts: 702000 | #Constraints: 124855
1538.18/1542.62 c #Conflicts: 703000 | #Constraints: 125855
1538.18/1542.62 c #Conflicts: 704000 | #Constraints: 126855
1538.18/1542.62 c #Conflicts: 705000 | #Constraints: 127855
1538.18/1542.62 c INPROCESSING
1538.18/1542.62 c GARBAGE COLLECT
1538.18/1542.62 c #Conflicts: 706000 | #Constraints: 112251
1538.18/1542.62 c #Conflicts: 707000 | #Constraints: 113251
1538.18/1542.62 c #Conflicts: 708000 | #Constraints: 114251
1538.18/1542.62 c #Conflicts: 709000 | #Constraints: 115251
1538.18/1542.62 c #Conflicts: 710000 | #Constraints: 116251
1538.18/1542.62 c #Conflicts: 711000 | #Constraints: 117251
1538.18/1542.62 c #Conflicts: 712000 | #Constraints: 118251
1538.18/1542.62 c #Conflicts: 713000 | #Constraints: 119251
1538.18/1542.62 c #Conflicts: 714000 | #Constraints: 120251
1538.18/1542.62 c #Conflicts: 715000 | #Constraints: 121251
1538.18/1542.62 c #Conflicts: 716000 | #Constraints: 122251
1538.18/1542.62 c #Conflicts: 717000 | #Constraints: 123251
1538.18/1542.62 c #Conflicts: 718000 | #Constraints: 124251
1538.18/1542.62 c #Conflicts: 719000 | #Constraints: 125251
1538.18/1542.62 c #Conflicts: 720000 | #Constraints: 126251
1538.18/1542.62 c #Conflicts: 721000 | #Constraints: 127251
1538.18/1542.62 c #Conflicts: 722000 | #Constraints: 128251
1538.18/1542.62 c INPROCESSING
1538.18/1542.62 c GARBAGE COLLECT
1538.18/1542.62 c #Conflicts: 723000 | #Constraints: 112452
1538.18/1542.62 c #Conflicts: 724000 | #Constraints: 113452
1744.38/1749.47 c #Conflicts: 725000 | #Constraints: 114452
1744.38/1749.47 c #Conflicts: 726000 | #Constraints: 115452
1744.38/1749.47 c #Conflicts: 727000 | #Constraints: 116452
1744.38/1749.47 c #Conflicts: 728000 | #Constraints: 117452
1744.38/1749.47 c #Conflicts: 729000 | #Constraints: 118452
1744.38/1749.47 c #Conflicts: 730000 | #Constraints: 119452
1744.38/1749.47 c #Conflicts: 731000 | #Constraints: 120452
1744.38/1749.47 c #Conflicts: 732000 | #Constraints: 121452
1744.38/1749.47 c #Conflicts: 733000 | #Constraints: 122452
1744.38/1749.47 c #Conflicts: 734000 | #Constraints: 123452
1744.38/1749.47 c #Conflicts: 735000 | #Constraints: 124452
1744.38/1749.47 c #Conflicts: 736000 | #Constraints: 125452
1744.38/1749.47 c #Conflicts: 737000 | #Constraints: 126452
1744.38/1749.47 c #Conflicts: 738000 | #Constraints: 127452
1744.38/1749.47 c #Conflicts: 739000 | #Constraints: 128452
1744.38/1749.47 c INPROCESSING
1744.38/1749.47 c GARBAGE COLLECT
1744.38/1749.47 c #Conflicts: 740000 | #Constraints: 112441
1744.38/1749.47 c #Conflicts: 741000 | #Constraints: 113441
1744.38/1749.47 c #Conflicts: 742000 | #Constraints: 114441
1744.38/1749.47 c #Conflicts: 743000 | #Constraints: 115441
1744.38/1749.47 c #Conflicts: 744000 | #Constraints: 116441
1744.38/1749.47 c #Conflicts: 745000 | #Constraints: 117441
1744.38/1749.47 c #Conflicts: 746000 | #Constraints: 118441
1744.38/1749.47 c #Conflicts: 747000 | #Constraints: 119441
1744.38/1749.47 c #Conflicts: 748000 | #Constraints: 120441
1744.38/1749.47 c #Conflicts: 749000 | #Constraints: 121441
1744.38/1749.47 c #Conflicts: 750000 | #Constraints: 122441
1744.38/1749.47 c #Conflicts: 751000 | #Constraints: 123441
1744.38/1749.47 c #Conflicts: 752000 | #Constraints: 124441
1744.38/1749.47 c #Conflicts: 753000 | #Constraints: 125441
1744.38/1749.47 c #Conflicts: 754000 | #Constraints: 126441
1744.38/1749.47 c #Conflicts: 755000 | #Constraints: 127441
1744.38/1749.47 c #Conflicts: 756000 | #Constraints: 128441
1744.38/1749.47 c INPROCESSING
1744.38/1749.47 c GARBAGE COLLECT
1744.38/1749.47 c #Conflicts: 757000 | #Constraints: 112244
1744.38/1749.47 c #Conflicts: 758000 | #Constraints: 113244
1744.38/1749.47 c #Conflicts: 759000 | #Constraints: 114244
1744.38/1749.47 c #Conflicts: 760000 | #Constraints: 115244
1744.38/1749.47 c #Conflicts: 761000 | #Constraints: 116244
1744.38/1749.47 c #Conflicts: 762000 | #Constraints: 117244
1744.38/1749.47 c #Conflicts: 763000 | #Constraints: 118244
1744.38/1749.47 c #Conflicts: 764000 | #Constraints: 119244
1744.38/1749.47 c #Conflicts: 765000 | #Constraints: 120244
1744.38/1749.47 c #Conflicts: 766000 | #Constraints: 121244
1744.38/1749.47 c #Conflicts: 767000 | #Constraints: 122244
1744.38/1749.47 c #Conflicts: 768000 | #Constraints: 123244
1744.38/1749.47 c #Conflicts: 769000 | #Constraints: 124244
1744.38/1749.47 c #Conflicts: 770000 | #Constraints: 125244
1744.38/1749.47 c #Conflicts: 771000 | #Constraints: 126244
1744.38/1749.47 c #Conflicts: 772000 | #Constraints: 127244
1744.38/1749.47 c #Conflicts: 773000 | #Constraints: 128244
1744.38/1749.47 c #Conflicts: 774000 | #Constraints: 129244
1744.38/1749.47 c INPROCESSING
1744.38/1749.47 c GARBAGE COLLECT
1744.38/1749.47 c #Conflicts: 775000 | #Constraints: 112847
1744.38/1749.47 c #Conflicts: 776000 | #Constraints: 113847
1744.38/1749.47 c #Conflicts: 777000 | #Constraints: 114847
1744.38/1749.47 c #Conflicts: 778000 | #Constraints: 115847
1744.38/1749.47 c #Conflicts: 779000 | #Constraints: 116847
1744.38/1749.47 c #Conflicts: 780000 | #Constraints: 117847
1744.38/1749.47 c #Conflicts: 781000 | #Constraints: 118847
1744.38/1749.47 c #Conflicts: 782000 | #Constraints: 119847
1744.38/1749.47 c #Conflicts: 783000 | #Constraints: 120847
1744.38/1749.47 c #Conflicts: 784000 | #Constraints: 121847
1744.38/1749.47 c #Conflicts: 785000 | #Constraints: 122847
1744.38/1749.47 c #Conflicts: 786000 | #Constraints: 123847
1744.38/1749.47 c #Conflicts: 787000 | #Constraints: 124847
1744.38/1749.47 c #Conflicts: 788000 | #Constraints: 125847
1744.38/1749.47 c #Conflicts: 789000 | #Constraints: 126847
1744.38/1749.47 c #Conflicts: 790000 | #Constraints: 127847
1744.38/1749.47 c #Conflicts: 791000 | #Constraints: 128847
1744.38/1749.47 c #Conflicts: 792000 | #Constraints: 129847
1744.38/1749.47 c INPROCESSING
1744.38/1749.47 c GARBAGE COLLECT
1744.38/1749.47 c #Conflicts: 793000 | #Constraints: 113239
1744.38/1749.47 c #Conflicts: 794000 | #Constraints: 114239
1744.38/1749.47 c #Conflicts: 795000 | #Constraints: 115239
1744.38/1749.47 c #Conflicts: 796000 | #Constraints: 116239
1744.38/1749.47 c #Conflicts: 797000 | #Constraints: 117239
1744.38/1749.47 c #Conflicts: 798000 | #Constraints: 118239
1744.38/1749.47 c #Conflicts: 799000 | #Constraints: 119239
1744.38/1749.47 c #Conflicts: 800000 | #Constraints: 120239
1964.94/1970.67 c #Conflicts: 801000 | #Constraints: 121239
1964.94/1970.67 c #Conflicts: 802000 | #Constraints: 122239
1964.94/1970.67 c #Conflicts: 803000 | #Constraints: 123239
1964.94/1970.67 c #Conflicts: 804000 | #Constraints: 124239
1964.94/1970.67 c #Conflicts: 805000 | #Constraints: 125239
1964.94/1970.67 c #Conflicts: 806000 | #Constraints: 126239
1964.94/1970.67 c #Conflicts: 807000 | #Constraints: 127239
1964.94/1970.67 c #Conflicts: 808000 | #Constraints: 128239
1964.94/1970.67 c #Conflicts: 809000 | #Constraints: 129239
1964.94/1970.67 c #Conflicts: 810000 | #Constraints: 130239
1964.94/1970.67 c INPROCESSING
1964.94/1970.67 c GARBAGE COLLECT
1964.94/1970.67 c #Conflicts: 811000 | #Constraints: 113446
1964.94/1970.67 c #Conflicts: 812000 | #Constraints: 114446
1964.94/1970.67 c #Conflicts: 813000 | #Constraints: 115446
1964.94/1970.67 c #Conflicts: 814000 | #Constraints: 116446
1964.94/1970.67 c #Conflicts: 815000 | #Constraints: 117446
1964.94/1970.67 c #Conflicts: 816000 | #Constraints: 118446
1964.94/1970.67 c #Conflicts: 817000 | #Constraints: 119446
1964.94/1970.67 c #Conflicts: 818000 | #Constraints: 120446
1964.94/1970.67 c #Conflicts: 819000 | #Constraints: 121446
1964.94/1970.67 c #Conflicts: 820000 | #Constraints: 122446
1964.94/1970.67 c #Conflicts: 821000 | #Constraints: 123446
1964.94/1970.67 c #Conflicts: 822000 | #Constraints: 124446
1964.94/1970.67 c #Conflicts: 823000 | #Constraints: 125446
1964.94/1970.67 c #Conflicts: 824000 | #Constraints: 126446
1964.94/1970.67 c #Conflicts: 825000 | #Constraints: 127446
1964.94/1970.67 c #Conflicts: 826000 | #Constraints: 128446
1964.94/1970.67 c #Conflicts: 827000 | #Constraints: 129446
1964.94/1970.67 c #Conflicts: 828000 | #Constraints: 130446
1964.94/1970.67 c INPROCESSING
1964.94/1970.67 c GARBAGE COLLECT
1964.94/1970.67 c #Conflicts: 829000 | #Constraints: 113431
1964.94/1970.67 c #Conflicts: 830000 | #Constraints: 114431
1964.94/1970.67 c #Conflicts: 831000 | #Constraints: 115431
1964.94/1970.67 c #Conflicts: 832000 | #Constraints: 116431
1964.94/1970.67 c #Conflicts: 833000 | #Constraints: 117431
1964.94/1970.67 c #Conflicts: 834000 | #Constraints: 118431
1964.94/1970.67 c #Conflicts: 835000 | #Constraints: 119431
1964.94/1970.67 c #Conflicts: 836000 | #Constraints: 120431
1964.94/1970.67 c #Conflicts: 837000 | #Constraints: 121431
1964.94/1970.67 c #Conflicts: 838000 | #Constraints: 122431
1964.94/1970.67 c #Conflicts: 839000 | #Constraints: 123431
1964.94/1970.67 c #Conflicts: 840000 | #Constraints: 124431
1964.94/1970.67 c #Conflicts: 841000 | #Constraints: 125431
1964.94/1970.67 c #Conflicts: 842000 | #Constraints: 126431
1964.94/1970.67 c #Conflicts: 843000 | #Constraints: 127431
1964.94/1970.67 c #Conflicts: 844000 | #Constraints: 128431
1964.94/1970.67 c #Conflicts: 845000 | #Constraints: 129431
1964.94/1970.67 c #Conflicts: 846000 | #Constraints: 130431
1964.94/1970.67 c INPROCESSING
1964.94/1970.67 c GARBAGE COLLECT
1964.94/1970.67 c #Conflicts: 847000 | #Constraints: 113231
1964.94/1970.67 c #Conflicts: 848000 | #Constraints: 114231
1964.94/1970.67 c #Conflicts: 849000 | #Constraints: 115231
1964.94/1970.67 c #Conflicts: 850000 | #Constraints: 116231
1964.94/1970.67 c #Conflicts: 851000 | #Constraints: 117231
1964.94/1970.67 c #Conflicts: 852000 | #Constraints: 118231
1964.94/1970.67 c #Conflicts: 853000 | #Constraints: 119231
1964.94/1970.67 c #Conflicts: 854000 | #Constraints: 120231
1964.94/1970.67 c #Conflicts: 855000 | #Constraints: 121231
1964.94/1970.67 c #Conflicts: 856000 | #Constraints: 122231
1964.94/1970.67 c #Conflicts: 857000 | #Constraints: 123231
1964.94/1970.67 c #Conflicts: 858000 | #Constraints: 124231
1964.94/1970.67 c #Conflicts: 859000 | #Constraints: 125231
1964.94/1970.67 c #Conflicts: 860000 | #Constraints: 126231
1964.94/1970.67 c #Conflicts: 861000 | #Constraints: 127231
1964.94/1970.67 c #Conflicts: 862000 | #Constraints: 128231
1964.94/1970.67 c #Conflicts: 863000 | #Constraints: 129231
1964.94/1970.67 c #Conflicts: 864000 | #Constraints: 130231
1964.94/1970.67 c #Conflicts: 865000 | #Constraints: 131231
1964.94/1970.67 c INPROCESSING
1964.94/1970.67 c GARBAGE COLLECT
1964.94/1970.67 c #Conflicts: 866000 | #Constraints: 113862
1964.94/1970.67 c #Conflicts: 867000 | #Constraints: 114862
1964.94/1970.67 c #Conflicts: 868000 | #Constraints: 115862
1964.94/1970.67 c #Conflicts: 869000 | #Constraints: 116862
1964.94/1970.67 c #Conflicts: 870000 | #Constraints: 117862
1964.94/1970.67 c #Conflicts: 871000 | #Constraints: 118862
1964.94/1970.67 c #Conflicts: 872000 | #Constraints: 119862
1964.94/1970.67 c #Conflicts: 873000 | #Constraints: 120862
1964.94/1970.67 c #Conflicts: 874000 | #Constraints: 121862
1964.94/1970.67 c #Conflicts: 875000 | #Constraints: 122862
1964.94/1970.67 c #Conflicts: 876000 | #Constraints: 123862
2188.29/2194.66 c #Conflicts: 877000 | #Constraints: 124862
2188.29/2194.66 c #Conflicts: 878000 | #Constraints: 125862
2188.29/2194.66 c #Conflicts: 879000 | #Constraints: 126862
2188.29/2194.66 c #Conflicts: 880000 | #Constraints: 127862
2188.29/2194.66 c #Conflicts: 881000 | #Constraints: 128862
2188.29/2194.66 c #Conflicts: 882000 | #Constraints: 129862
2188.29/2194.66 c #Conflicts: 883000 | #Constraints: 130862
2188.29/2194.66 c #Conflicts: 884000 | #Constraints: 131862
2188.29/2194.66 c INPROCESSING
2188.29/2194.66 c GARBAGE COLLECT
2188.29/2194.66 c #Conflicts: 885000 | #Constraints: 114271
2188.29/2194.66 c #Conflicts: 886000 | #Constraints: 115271
2188.29/2194.66 c #Conflicts: 887000 | #Constraints: 116271
2188.29/2194.66 c #Conflicts: 888000 | #Constraints: 117271
2188.29/2194.66 c #Conflicts: 889000 | #Constraints: 118271
2188.29/2194.66 c #Conflicts: 890000 | #Constraints: 119271
2188.29/2194.66 c #Conflicts: 891000 | #Constraints: 120271
2188.29/2194.66 c #Conflicts: 892000 | #Constraints: 121271
2188.29/2194.66 c #Conflicts: 893000 | #Constraints: 122271
2188.29/2194.66 c #Conflicts: 894000 | #Constraints: 123271
2188.29/2194.66 c #Conflicts: 895000 | #Constraints: 124271
2188.29/2194.66 c #Conflicts: 896000 | #Constraints: 125271
2188.29/2194.66 c #Conflicts: 897000 | #Constraints: 126271
2188.29/2194.66 c #Conflicts: 898000 | #Constraints: 127271
2188.29/2194.66 c #Conflicts: 899000 | #Constraints: 128271
2188.29/2194.66 c #Conflicts: 900000 | #Constraints: 129271
2188.29/2194.66 c #Conflicts: 901000 | #Constraints: 130271
2188.29/2194.66 c #Conflicts: 902000 | #Constraints: 131271
2188.29/2194.66 c #Conflicts: 903000 | #Constraints: 132271
2188.29/2194.66 c INPROCESSING
2188.29/2194.66 c GARBAGE COLLECT
2188.29/2194.66 c #Conflicts: 904000 | #Constraints: 114466
2188.29/2194.66 c #Conflicts: 905000 | #Constraints: 115466
2188.29/2194.66 c #Conflicts: 906000 | #Constraints: 116466
2188.29/2194.66 c #Conflicts: 907000 | #Constraints: 117466
2188.29/2194.66 c #Conflicts: 908000 | #Constraints: 118466
2188.29/2194.66 c #Conflicts: 909000 | #Constraints: 119466
2188.29/2194.66 c #Conflicts: 910000 | #Constraints: 120466
2188.29/2194.66 c #Conflicts: 911000 | #Constraints: 121466
2188.29/2194.66 c #Conflicts: 912000 | #Constraints: 122466
2188.29/2194.66 c #Conflicts: 913000 | #Constraints: 123466
2188.29/2194.66 c #Conflicts: 914000 | #Constraints: 124466
2188.29/2194.66 c #Conflicts: 915000 | #Constraints: 125466
2188.29/2194.66 c #Conflicts: 916000 | #Constraints: 126466
2188.29/2194.66 c #Conflicts: 917000 | #Constraints: 127466
2188.29/2194.66 c #Conflicts: 918000 | #Constraints: 128466
2188.29/2194.66 c #Conflicts: 919000 | #Constraints: 129466
2188.29/2194.66 c #Conflicts: 920000 | #Constraints: 130466
2188.29/2194.66 c #Conflicts: 921000 | #Constraints: 131466
2188.29/2194.66 c #Conflicts: 922000 | #Constraints: 132466
2188.29/2194.66 c INPROCESSING
2188.29/2194.66 c GARBAGE COLLECT
2188.29/2194.66 c #Conflicts: 923000 | #Constraints: 114461
2188.29/2194.66 c #Conflicts: 924000 | #Constraints: 115461
2188.29/2194.66 c #Conflicts: 925000 | #Constraints: 116461
2188.29/2194.66 c #Conflicts: 926000 | #Constraints: 117461
2188.29/2194.66 c #Conflicts: 927000 | #Constraints: 118461
2188.29/2194.66 c #Conflicts: 928000 | #Constraints: 119461
2188.29/2194.66 c #Conflicts: 929000 | #Constraints: 120461
2188.29/2194.66 c #Conflicts: 930000 | #Constraints: 121461
2188.29/2194.66 c #Conflicts: 931000 | #Constraints: 122461
2188.29/2194.66 c #Conflicts: 932000 | #Constraints: 123461
2188.29/2194.66 c #Conflicts: 933000 | #Constraints: 124461
2188.29/2194.66 c #Conflicts: 934000 | #Constraints: 125461
2188.29/2194.66 c #Conflicts: 935000 | #Constraints: 126461
2188.29/2194.66 c #Conflicts: 936000 | #Constraints: 127461
2188.29/2194.66 c #Conflicts: 937000 | #Constraints: 128461
2188.29/2194.66 c #Conflicts: 938000 | #Constraints: 129461
2188.29/2194.66 c #Conflicts: 939000 | #Constraints: 130461
2188.29/2194.66 c #Conflicts: 940000 | #Constraints: 131461
2188.29/2194.66 c #Conflicts: 941000 | #Constraints: 132461
2188.29/2194.66 c INPROCESSING
2188.29/2194.66 c GARBAGE COLLECT
2188.29/2194.66 c #Conflicts: 942000 | #Constraints: 114276
2188.29/2194.66 c #Conflicts: 943000 | #Constraints: 115276
2188.29/2194.66 c #Conflicts: 944000 | #Constraints: 116276
2188.29/2194.66 c #Conflicts: 945000 | #Constraints: 117276
2188.29/2194.66 c #Conflicts: 946000 | #Constraints: 118276
2188.29/2194.66 c #Conflicts: 947000 | #Constraints: 119276
2188.29/2194.66 c #Conflicts: 948000 | #Constraints: 120276
2188.29/2194.66 c #Conflicts: 949000 | #Constraints: 121276
2188.29/2194.66 c #Conflicts: 950000 | #Constraints: 122276
2188.29/2194.66 c #Conflicts: 951000 | #Constraints: 123276
2188.29/2194.66 c #Conflicts: 952000 | #Constraints: 124276
2188.29/2194.66 c #Conflicts: 953000 | #Constraints: 125276
2405.18/2412.17 c #Conflicts: 954000 | #Constraints: 126276
2405.18/2412.17 c #Conflicts: 955000 | #Constraints: 127276
2405.18/2412.17 c #Conflicts: 956000 | #Constraints: 128276
2405.18/2412.17 c #Conflicts: 957000 | #Constraints: 129276
2405.18/2412.17 c #Conflicts: 958000 | #Constraints: 130276
2405.18/2412.17 c #Conflicts: 959000 | #Constraints: 131276
2405.18/2412.17 c #Conflicts: 960000 | #Constraints: 132276
2405.18/2412.17 c #Conflicts: 961000 | #Constraints: 133276
2405.18/2412.17 c INPROCESSING
2405.18/2412.17 c GARBAGE COLLECT
2405.18/2412.17 c #Conflicts: 962000 | #Constraints: 114883
2405.18/2412.17 c #Conflicts: 963000 | #Constraints: 115883
2405.18/2412.17 c #Conflicts: 964000 | #Constraints: 116883
2405.18/2412.17 c #Conflicts: 965000 | #Constraints: 117883
2405.18/2412.17 c #Conflicts: 966000 | #Constraints: 118883
2405.18/2412.17 c #Conflicts: 967000 | #Constraints: 119883
2405.18/2412.17 c #Conflicts: 968000 | #Constraints: 120883
2405.18/2412.17 c #Conflicts: 969000 | #Constraints: 121883
2405.18/2412.17 c #Conflicts: 970000 | #Constraints: 122883
2405.18/2412.17 c #Conflicts: 971000 | #Constraints: 123883
2405.18/2412.17 c #Conflicts: 972000 | #Constraints: 124883
2405.18/2412.17 c #Conflicts: 973000 | #Constraints: 125883
2405.18/2412.17 c #Conflicts: 974000 | #Constraints: 126883
2405.18/2412.17 c #Conflicts: 975000 | #Constraints: 127883
2405.18/2412.17 c #Conflicts: 976000 | #Constraints: 128883
2405.18/2412.17 c #Conflicts: 977000 | #Constraints: 129883
2405.18/2412.17 c #Conflicts: 978000 | #Constraints: 130883
2405.18/2412.17 c #Conflicts: 979000 | #Constraints: 131883
2405.18/2412.17 c #Conflicts: 980000 | #Constraints: 132883
2405.18/2412.17 c #Conflicts: 981000 | #Constraints: 133883
2405.18/2412.17 c INPROCESSING
2405.18/2412.17 c GARBAGE COLLECT
2405.18/2412.17 c #Conflicts: 982000 | #Constraints: 115267
2405.18/2412.17 c #Conflicts: 983000 | #Constraints: 116267
2405.18/2412.17 c #Conflicts: 984000 | #Constraints: 117267
2405.18/2412.17 c #Conflicts: 985000 | #Constraints: 118267
2405.18/2412.17 c #Conflicts: 986000 | #Constraints: 119267
2405.18/2412.17 c #Conflicts: 987000 | #Constraints: 120267
2405.18/2412.17 c #Conflicts: 988000 | #Constraints: 121267
2405.18/2412.17 c #Conflicts: 989000 | #Constraints: 122267
2405.18/2412.17 c #Conflicts: 990000 | #Constraints: 123267
2405.18/2412.17 c #Conflicts: 991000 | #Constraints: 124267
2405.18/2412.17 c #Conflicts: 992000 | #Constraints: 125267
2405.18/2412.17 c #Conflicts: 993000 | #Constraints: 126267
2405.18/2412.17 c #Conflicts: 994000 | #Constraints: 127267
2405.18/2412.17 c #Conflicts: 995000 | #Constraints: 128267
2405.18/2412.17 c #Conflicts: 996000 | #Constraints: 129267
2405.18/2412.17 c #Conflicts: 997000 | #Constraints: 130267
2405.18/2412.17 c #Conflicts: 998000 | #Constraints: 131267
2405.18/2412.17 c #Conflicts: 999000 | #Constraints: 132267
2405.18/2412.17 c #Conflicts: 1000000 | #Constraints: 133267
2405.18/2412.17 c #Conflicts: 1001000 | #Constraints: 134267
2405.18/2412.17 c INPROCESSING
2405.18/2412.17 c GARBAGE COLLECT
2405.18/2412.17 c #Conflicts: 1002000 | #Constraints: 115469
2405.18/2412.17 c #Conflicts: 1003000 | #Constraints: 116469
2405.18/2412.17 c #Conflicts: 1004000 | #Constraints: 117469
2405.18/2412.17 c #Conflicts: 1005000 | #Constraints: 118469
2405.18/2412.17 c #Conflicts: 1006000 | #Constraints: 119469
2405.18/2412.17 c #Conflicts: 1007000 | #Constraints: 120469
2405.18/2412.17 c #Conflicts: 1008000 | #Constraints: 121469
2405.18/2412.17 c #Conflicts: 1009000 | #Constraints: 122469
2405.18/2412.17 c #Conflicts: 1010000 | #Constraints: 123469
2405.18/2412.17 c #Conflicts: 1011000 | #Constraints: 124469
2405.18/2412.17 c #Conflicts: 1012000 | #Constraints: 125469
2405.18/2412.17 c #Conflicts: 1013000 | #Constraints: 126469
2405.18/2412.17 c #Conflicts: 1014000 | #Constraints: 127469
2405.18/2412.17 c #Conflicts: 1015000 | #Constraints: 128469
2405.18/2412.17 c #Conflicts: 1016000 | #Constraints: 129469
2405.18/2412.17 c #Conflicts: 1017000 | #Constraints: 130469
2405.18/2412.17 c #Conflicts: 1018000 | #Constraints: 131469
2405.18/2412.17 c #Conflicts: 1019000 | #Constraints: 132469
2405.18/2412.17 c #Conflicts: 1020000 | #Constraints: 133469
2405.18/2412.17 c #Conflicts: 1021000 | #Constraints: 134469
2405.18/2412.17 c INPROCESSING
2405.18/2412.17 c GARBAGE COLLECT
2405.18/2412.17 c #Conflicts: 1022000 | #Constraints: 115448
2405.18/2412.17 c #Conflicts: 1023000 | #Constraints: 116448
2405.18/2412.17 c #Conflicts: 1024000 | #Constraints: 117448
2405.18/2412.17 c #Conflicts: 1025000 | #Constraints: 118448
2405.18/2412.17 c #Conflicts: 1026000 | #Constraints: 119448
2405.18/2412.17 c #Conflicts: 1027000 | #Constraints: 120448
2405.18/2412.17 c #Conflicts: 1028000 | #Constraints: 121448
2405.18/2412.17 c #Conflicts: 1029000 | #Constraints: 122448
2620.04/2627.62 c #Conflicts: 1030000 | #Constraints: 123448
2620.04/2627.62 c #Conflicts: 1031000 | #Constraints: 124448
2620.04/2627.62 c #Conflicts: 1032000 | #Constraints: 125448
2620.04/2627.62 c #Conflicts: 1033000 | #Constraints: 126448
2620.04/2627.62 c #Conflicts: 1034000 | #Constraints: 127448
2620.04/2627.62 c #Conflicts: 1035000 | #Constraints: 128448
2620.04/2627.62 c #Conflicts: 1036000 | #Constraints: 129448
2620.04/2627.62 c #Conflicts: 1037000 | #Constraints: 130448
2620.04/2627.62 c #Conflicts: 1038000 | #Constraints: 131448
2620.04/2627.62 c #Conflicts: 1039000 | #Constraints: 132448
2620.04/2627.62 c #Conflicts: 1040000 | #Constraints: 133448
2620.04/2627.62 c #Conflicts: 1041000 | #Constraints: 134448
2620.04/2627.62 c INPROCESSING
2620.04/2627.62 c GARBAGE COLLECT
2620.04/2627.62 c #Conflicts: 1042000 | #Constraints: 115260
2620.04/2627.62 c #Conflicts: 1043000 | #Constraints: 116260
2620.04/2627.62 c #Conflicts: 1044000 | #Constraints: 117260
2620.04/2627.62 c #Conflicts: 1045000 | #Constraints: 118260
2620.04/2627.62 c #Conflicts: 1046000 | #Constraints: 119260
2620.04/2627.62 c #Conflicts: 1047000 | #Constraints: 120260
2620.04/2627.62 c #Conflicts: 1048000 | #Constraints: 121260
2620.04/2627.62 c #Conflicts: 1049000 | #Constraints: 122260
2620.04/2627.62 c #Conflicts: 1050000 | #Constraints: 123260
2620.04/2627.62 c #Conflicts: 1051000 | #Constraints: 124260
2620.04/2627.62 c #Conflicts: 1052000 | #Constraints: 125260
2620.04/2627.62 c #Conflicts: 1053000 | #Constraints: 126260
2620.04/2627.62 c #Conflicts: 1054000 | #Constraints: 127260
2620.04/2627.62 c #Conflicts: 1055000 | #Constraints: 128260
2620.04/2627.62 c #Conflicts: 1056000 | #Constraints: 129260
2620.04/2627.62 c #Conflicts: 1057000 | #Constraints: 130260
2620.04/2627.62 c #Conflicts: 1058000 | #Constraints: 131260
2620.04/2627.62 c #Conflicts: 1059000 | #Constraints: 132260
2620.04/2627.62 c #Conflicts: 1060000 | #Constraints: 133260
2620.04/2627.62 c #Conflicts: 1061000 | #Constraints: 134260
2620.04/2627.62 c #Conflicts: 1062000 | #Constraints: 135260
2620.04/2627.62 c INPROCESSING
2620.04/2627.62 c GARBAGE COLLECT
2620.04/2627.62 c #Conflicts: 1063000 | #Constraints: 115844
2620.04/2627.62 c #Conflicts: 1064000 | #Constraints: 116844
2620.04/2627.62 c #Conflicts: 1065000 | #Constraints: 117844
2620.04/2627.62 c #Conflicts: 1066000 | #Constraints: 118844
2620.04/2627.62 c #Conflicts: 1067000 | #Constraints: 119844
2620.04/2627.62 c #Conflicts: 1068000 | #Constraints: 120844
2620.04/2627.62 c #Conflicts: 1069000 | #Constraints: 121844
2620.04/2627.62 c #Conflicts: 1070000 | #Constraints: 122844
2620.04/2627.62 c #Conflicts: 1071000 | #Constraints: 123844
2620.04/2627.62 c #Conflicts: 1072000 | #Constraints: 124844
2620.04/2627.62 c #Conflicts: 1073000 | #Constraints: 125844
2620.04/2627.62 c #Conflicts: 1074000 | #Constraints: 126844
2620.04/2627.62 c #Conflicts: 1075000 | #Constraints: 127844
2620.04/2627.62 c #Conflicts: 1076000 | #Constraints: 128844
2620.04/2627.62 c #Conflicts: 1077000 | #Constraints: 129844
2620.04/2627.62 c #Conflicts: 1078000 | #Constraints: 130844
2620.04/2627.62 c #Conflicts: 1079000 | #Constraints: 131844
2620.04/2627.62 c #Conflicts: 1080000 | #Constraints: 132844
2620.04/2627.62 c #Conflicts: 1081000 | #Constraints: 133844
2620.04/2627.62 c #Conflicts: 1082000 | #Constraints: 134844
2620.04/2627.62 c #Conflicts: 1083000 | #Constraints: 135844
2620.04/2627.62 c INPROCESSING
2620.04/2627.62 c GARBAGE COLLECT
2620.04/2627.62 c #Conflicts: 1084000 | #Constraints: 116254
2620.04/2627.62 c #Conflicts: 1085000 | #Constraints: 117254
2620.04/2627.62 c #Conflicts: 1086000 | #Constraints: 118254
2620.04/2627.62 c #Conflicts: 1087000 | #Constraints: 119254
2620.04/2627.62 c #Conflicts: 1088000 | #Constraints: 120254
2620.04/2627.62 c #Conflicts: 1089000 | #Constraints: 121254
2620.04/2627.62 c #Conflicts: 1090000 | #Constraints: 122254
2620.04/2627.62 c #Conflicts: 1091000 | #Constraints: 123254
2620.04/2627.62 c #Conflicts: 1092000 | #Constraints: 124254
2620.04/2627.62 c #Conflicts: 1093000 | #Constraints: 125254
2620.04/2627.62 c #Conflicts: 1094000 | #Constraints: 126254
2620.04/2627.62 c #Conflicts: 1095000 | #Constraints: 127254
2620.04/2627.62 c #Conflicts: 1096000 | #Constraints: 128254
2620.04/2627.62 c #Conflicts: 1097000 | #Constraints: 129254
2620.04/2627.62 c #Conflicts: 1098000 | #Constraints: 130254
2620.04/2627.62 c #Conflicts: 1099000 | #Constraints: 131254
2620.04/2627.62 c #Conflicts: 1100000 | #Constraints: 132254
2620.04/2627.62 c #Conflicts: 1101000 | #Constraints: 133254
2620.04/2627.62 c #Conflicts: 1102000 | #Constraints: 134254
2620.04/2627.62 c #Conflicts: 1103000 | #Constraints: 135254
2620.04/2627.62 c #Conflicts: 1104000 | #Constraints: 136254
2620.04/2627.62 c INPROCESSING
2620.04/2627.62 c GARBAGE COLLECT
2620.04/2627.62 c #Conflicts: 1105000 | #Constraints: 116459
2861.06/2869.30 c #Conflicts: 1106000 | #Constraints: 117459
2861.06/2869.30 c #Conflicts: 1107000 | #Constraints: 118459
2861.06/2869.30 c #Conflicts: 1108000 | #Constraints: 119459
2861.06/2869.30 c #Conflicts: 1109000 | #Constraints: 120459
2861.06/2869.30 c #Conflicts: 1110000 | #Constraints: 121459
2861.06/2869.30 c #Conflicts: 1111000 | #Constraints: 122459
2861.06/2869.30 c #Conflicts: 1112000 | #Constraints: 123459
2861.06/2869.30 c #Conflicts: 1113000 | #Constraints: 124459
2861.06/2869.30 c #Conflicts: 1114000 | #Constraints: 125459
2861.06/2869.30 c #Conflicts: 1115000 | #Constraints: 126459
2861.06/2869.30 c #Conflicts: 1116000 | #Constraints: 127459
2861.06/2869.30 c #Conflicts: 1117000 | #Constraints: 128459
2861.06/2869.30 c #Conflicts: 1118000 | #Constraints: 129459
2861.06/2869.30 c #Conflicts: 1119000 | #Constraints: 130459
2861.06/2869.30 c #Conflicts: 1120000 | #Constraints: 131459
2861.06/2869.30 c #Conflicts: 1121000 | #Constraints: 132459
2861.06/2869.30 c #Conflicts: 1122000 | #Constraints: 133459
2861.06/2869.30 c #Conflicts: 1123000 | #Constraints: 134459
2861.06/2869.30 c #Conflicts: 1124000 | #Constraints: 135459
2861.06/2869.30 c #Conflicts: 1125000 | #Constraints: 136459
2861.06/2869.30 c INPROCESSING
2861.06/2869.30 c GARBAGE COLLECT
2861.06/2869.30 c #Conflicts: 1126000 | #Constraints: 116463
2861.06/2869.30 c #Conflicts: 1127000 | #Constraints: 117463
2861.06/2869.30 c #Conflicts: 1128000 | #Constraints: 118463
2861.06/2869.30 c #Conflicts: 1129000 | #Constraints: 119463
2861.06/2869.30 c #Conflicts: 1130000 | #Constraints: 120463
2861.06/2869.30 c #Conflicts: 1131000 | #Constraints: 121463
2861.06/2869.30 c #Conflicts: 1132000 | #Constraints: 122463
2861.06/2869.30 c #Conflicts: 1133000 | #Constraints: 123463
2861.06/2869.30 c #Conflicts: 1134000 | #Constraints: 124463
2861.06/2869.30 c #Conflicts: 1135000 | #Constraints: 125463
2861.06/2869.30 c #Conflicts: 1136000 | #Constraints: 126463
2861.06/2869.30 c #Conflicts: 1137000 | #Constraints: 127463
2861.06/2869.30 c #Conflicts: 1138000 | #Constraints: 128463
2861.06/2869.30 c #Conflicts: 1139000 | #Constraints: 129463
2861.06/2869.30 c #Conflicts: 1140000 | #Constraints: 130463
2861.06/2869.30 c #Conflicts: 1141000 | #Constraints: 131463
2861.06/2869.30 c #Conflicts: 1142000 | #Constraints: 132463
2861.06/2869.30 c #Conflicts: 1143000 | #Constraints: 133463
2861.06/2869.30 c #Conflicts: 1144000 | #Constraints: 134463
2861.06/2869.30 c #Conflicts: 1145000 | #Constraints: 135463
2861.06/2869.30 c #Conflicts: 1146000 | #Constraints: 136463
2861.06/2869.30 c INPROCESSING
2861.06/2869.30 c GARBAGE COLLECT
2861.06/2869.30 c #Conflicts: 1147000 | #Constraints: 116278
2861.06/2869.30 c #Conflicts: 1148000 | #Constraints: 117278
2861.06/2869.30 c #Conflicts: 1149000 | #Constraints: 118278
2861.06/2869.30 c #Conflicts: 1150000 | #Constraints: 119278
2861.06/2869.30 c #Conflicts: 1151000 | #Constraints: 120278
2861.06/2869.30 c #Conflicts: 1152000 | #Constraints: 121278
2861.06/2869.30 c #Conflicts: 1153000 | #Constraints: 122278
2861.06/2869.30 c #Conflicts: 1154000 | #Constraints: 123278
2861.06/2869.30 c #Conflicts: 1155000 | #Constraints: 124278
2861.06/2869.30 c #Conflicts: 1156000 | #Constraints: 125278
2861.06/2869.30 c #Conflicts: 1157000 | #Constraints: 126278
2861.06/2869.30 c #Conflicts: 1158000 | #Constraints: 127278
2861.06/2869.30 c #Conflicts: 1159000 | #Constraints: 128278
2861.06/2869.30 c #Conflicts: 1160000 | #Constraints: 129278
2861.06/2869.30 c #Conflicts: 1161000 | #Constraints: 130278
2861.06/2869.30 c #Conflicts: 1162000 | #Constraints: 131278
2861.06/2869.30 c #Conflicts: 1163000 | #Constraints: 132278
2861.06/2869.30 c #Conflicts: 1164000 | #Constraints: 133278
2861.06/2869.30 c #Conflicts: 1165000 | #Constraints: 134278
2861.06/2869.30 c #Conflicts: 1166000 | #Constraints: 135278
2861.06/2869.30 c #Conflicts: 1167000 | #Constraints: 136278
2861.06/2869.30 c #Conflicts: 1168000 | #Constraints: 137278
2861.06/2869.30 c INPROCESSING
2861.06/2869.30 c GARBAGE COLLECT
2861.06/2869.30 c #Conflicts: 1169000 | #Constraints: 116882
2861.06/2869.30 c #Conflicts: 1170000 | #Constraints: 117882
2861.06/2869.30 c #Conflicts: 1171000 | #Constraints: 118882
2861.06/2869.30 c #Conflicts: 1172000 | #Constraints: 119882
2861.06/2869.30 c #Conflicts: 1173000 | #Constraints: 120882
2861.06/2869.30 c #Conflicts: 1174000 | #Constraints: 121882
2861.06/2869.30 c #Conflicts: 1175000 | #Constraints: 122882
2861.06/2869.30 c #Conflicts: 1176000 | #Constraints: 123882
2861.06/2869.30 c #Conflicts: 1177000 | #Constraints: 124882
2861.06/2869.30 c #Conflicts: 1178000 | #Constraints: 125882
2861.06/2869.30 c #Conflicts: 1179000 | #Constraints: 126882
2861.06/2869.30 c #Conflicts: 1180000 | #Constraints: 127882
2861.06/2869.30 c #Conflicts: 1181000 | #Constraints: 128882
2861.06/2869.30 c #Conflicts: 1182000 | #Constraints: 129882
3166.91/3176.04 c #Conflicts: 1183000 | #Constraints: 130882
3166.91/3176.04 c #Conflicts: 1184000 | #Constraints: 131882
3166.91/3176.04 c #Conflicts: 1185000 | #Constraints: 132882
3166.91/3176.04 c #Conflicts: 1186000 | #Constraints: 133882
3166.91/3176.04 c #Conflicts: 1187000 | #Constraints: 134882
3166.91/3176.04 c #Conflicts: 1188000 | #Constraints: 135882
3166.91/3176.04 c #Conflicts: 1189000 | #Constraints: 136882
3166.91/3176.04 c #Conflicts: 1190000 | #Constraints: 137882
3166.91/3176.04 c INPROCESSING
3166.91/3176.04 c GARBAGE COLLECT
3166.91/3176.04 c #Conflicts: 1191000 | #Constraints: 117258
3166.91/3176.04 c #Conflicts: 1192000 | #Constraints: 118258
3166.91/3176.04 c #Conflicts: 1193000 | #Constraints: 119258
3166.91/3176.04 c #Conflicts: 1194000 | #Constraints: 120258
3166.91/3176.04 c #Conflicts: 1195000 | #Constraints: 121258
3166.91/3176.04 c #Conflicts: 1196000 | #Constraints: 122258
3166.91/3176.04 c #Conflicts: 1197000 | #Constraints: 123258
3166.91/3176.04 c #Conflicts: 1198000 | #Constraints: 124258
3166.91/3176.04 c #Conflicts: 1199000 | #Constraints: 125258
3166.91/3176.04 c #Conflicts: 1200000 | #Constraints: 126258
3166.91/3176.04 c #Conflicts: 1201000 | #Constraints: 127258
3166.91/3176.04 c #Conflicts: 1202000 | #Constraints: 128258
3166.91/3176.04 c #Conflicts: 1203000 | #Constraints: 129258
3166.91/3176.04 c #Conflicts: 1204000 | #Constraints: 130258
3166.91/3176.04 c #Conflicts: 1205000 | #Constraints: 131258
3166.91/3176.04 c #Conflicts: 1206000 | #Constraints: 132258
3166.91/3176.04 c #Conflicts: 1207000 | #Constraints: 133258
3166.91/3176.04 c #Conflicts: 1208000 | #Constraints: 134258
3166.91/3176.04 c #Conflicts: 1209000 | #Constraints: 135258
3166.91/3176.04 c #Conflicts: 1210000 | #Constraints: 136258
3166.91/3176.04 c #Conflicts: 1211000 | #Constraints: 137258
3166.91/3176.04 c #Conflicts: 1212000 | #Constraints: 138258
3166.91/3176.04 c INPROCESSING
3166.91/3176.04 c GARBAGE COLLECT
3166.91/3176.04 c #Conflicts: 1213000 | #Constraints: 117472
3166.91/3176.04 c #Conflicts: 1214000 | #Constraints: 118472
3166.91/3176.04 c #Conflicts: 1215000 | #Constraints: 119472
3166.91/3176.04 c #Conflicts: 1216000 | #Constraints: 120472
3166.91/3176.04 c #Conflicts: 1217000 | #Constraints: 121472
3166.91/3176.04 c #Conflicts: 1218000 | #Constraints: 122472
3166.91/3176.04 c #Conflicts: 1219000 | #Constraints: 123472
3166.91/3176.04 c #Conflicts: 1220000 | #Constraints: 124472
3166.91/3176.04 c #Conflicts: 1221000 | #Constraints: 125472
3166.91/3176.04 c #Conflicts: 1222000 | #Constraints: 126472
3166.91/3176.04 c #Conflicts: 1223000 | #Constraints: 127472
3166.91/3176.04 c #Conflicts: 1224000 | #Constraints: 128472
3166.91/3176.04 c #Conflicts: 1225000 | #Constraints: 129472
3166.91/3176.04 c #Conflicts: 1226000 | #Constraints: 130472
3166.91/3176.04 c #Conflicts: 1227000 | #Constraints: 131472
3166.91/3176.04 c #Conflicts: 1228000 | #Constraints: 132472
3166.91/3176.04 c #Conflicts: 1229000 | #Constraints: 133472
3166.91/3176.04 c #Conflicts: 1230000 | #Constraints: 134472
3166.91/3176.04 c #Conflicts: 1231000 | #Constraints: 135472
3166.91/3176.04 c #Conflicts: 1232000 | #Constraints: 136472
3166.91/3176.04 c #Conflicts: 1233000 | #Constraints: 137472
3166.91/3176.04 c #Conflicts: 1234000 | #Constraints: 138472
3166.91/3176.04 c INPROCESSING
3166.91/3176.04 c GARBAGE COLLECT
3166.91/3176.04 c #Conflicts: 1235000 | #Constraints: 117463
3166.91/3176.04 c #Conflicts: 1236000 | #Constraints: 118463
3166.91/3176.04 c #Conflicts: 1237000 | #Constraints: 119463
3166.91/3176.04 c #Conflicts: 1238000 | #Constraints: 120463
3166.91/3176.04 c #Conflicts: 1239000 | #Constraints: 121463
3166.91/3176.04 c #Conflicts: 1240000 | #Constraints: 122463
3166.91/3176.04 c #Conflicts: 1241000 | #Constraints: 123463
3166.91/3176.04 c #Conflicts: 1242000 | #Constraints: 124463
3166.91/3176.04 c #Conflicts: 1243000 | #Constraints: 125463
3166.91/3176.04 c #Conflicts: 1244000 | #Constraints: 126463
3166.91/3176.04 c #Conflicts: 1245000 | #Constraints: 127463
3166.91/3176.04 c #Conflicts: 1246000 | #Constraints: 128463
3166.91/3176.04 c #Conflicts: 1247000 | #Constraints: 129463
3166.91/3176.04 c #Conflicts: 1248000 | #Constraints: 130463
3166.91/3176.04 c #Conflicts: 1249000 | #Constraints: 131463
3166.91/3176.04 c #Conflicts: 1250000 | #Constraints: 132463
3166.91/3176.04 c #Conflicts: 1251000 | #Constraints: 133463
3166.91/3176.04 c #Conflicts: 1252000 | #Constraints: 134463
3166.91/3176.04 c #Conflicts: 1253000 | #Constraints: 135463
3166.91/3176.04 c #Conflicts: 1254000 | #Constraints: 136463
3166.91/3176.04 c #Conflicts: 1255000 | #Constraints: 137463
3166.91/3176.04 c #Conflicts: 1256000 | #Constraints: 138463
3166.91/3176.04 c INPROCESSING
3166.91/3176.04 c GARBAGE COLLECT
3166.91/3176.04 c #Conflicts: 1257000 | #Constraints: 117261
3166.91/3176.04 c #Conflicts: 1258000 | #Constraints: 118261
3463.93/3473.89 c #Conflicts: 1259000 | #Constraints: 119261
3463.93/3473.89 c #Conflicts: 1260000 | #Constraints: 120261
3463.93/3473.89 c #Conflicts: 1261000 | #Constraints: 121261
3463.93/3473.89 c #Conflicts: 1262000 | #Constraints: 122261
3463.93/3473.89 c #Conflicts: 1263000 | #Constraints: 123261
3463.93/3473.89 c #Conflicts: 1264000 | #Constraints: 124261
3463.93/3473.89 c #Conflicts: 1265000 | #Constraints: 125261
3463.93/3473.89 c #Conflicts: 1266000 | #Constraints: 126261
3463.93/3473.89 c #Conflicts: 1267000 | #Constraints: 127261
3463.93/3473.89 c #Conflicts: 1268000 | #Constraints: 128261
3463.93/3473.89 c #Conflicts: 1269000 | #Constraints: 129261
3463.93/3473.89 c #Conflicts: 1270000 | #Constraints: 130261
3463.93/3473.89 c #Conflicts: 1271000 | #Constraints: 131261
3463.93/3473.89 c #Conflicts: 1272000 | #Constraints: 132261
3463.93/3473.89 c #Conflicts: 1273000 | #Constraints: 133261
3463.93/3473.89 c #Conflicts: 1274000 | #Constraints: 134261
3463.93/3473.89 c #Conflicts: 1275000 | #Constraints: 135261
3463.93/3473.89 c #Conflicts: 1276000 | #Constraints: 136261
3463.93/3473.89 c #Conflicts: 1277000 | #Constraints: 137261
3463.93/3473.89 c #Conflicts: 1278000 | #Constraints: 138261
3463.93/3473.89 c #Conflicts: 1279000 | #Constraints: 139261
3463.93/3473.89 c INPROCESSING
3463.93/3473.89 c GARBAGE COLLECT
3463.93/3473.89 c #Conflicts: 1280000 | #Constraints: 117844
3463.93/3473.89 c #Conflicts: 1281000 | #Constraints: 118844
3463.93/3473.89 c #Conflicts: 1282000 | #Constraints: 119844
3463.93/3473.89 c #Conflicts: 1283000 | #Constraints: 120844
3463.93/3473.89 c #Conflicts: 1284000 | #Constraints: 121844
3463.93/3473.89 c #Conflicts: 1285000 | #Constraints: 122844
3463.93/3473.89 c #Conflicts: 1286000 | #Constraints: 123844
3463.93/3473.89 c #Conflicts: 1287000 | #Constraints: 124844
3463.93/3473.89 c #Conflicts: 1288000 | #Constraints: 125844
3463.93/3473.89 c #Conflicts: 1289000 | #Constraints: 126844
3463.93/3473.89 c #Conflicts: 1290000 | #Constraints: 127844
3463.93/3473.89 c #Conflicts: 1291000 | #Constraints: 128844
3463.93/3473.89 c #Conflicts: 1292000 | #Constraints: 129844
3463.93/3473.89 c #Conflicts: 1293000 | #Constraints: 130844
3463.93/3473.89 c #Conflicts: 1294000 | #Constraints: 131844
3463.93/3473.89 c #Conflicts: 1295000 | #Constraints: 132844
3463.93/3473.89 c #Conflicts: 1296000 | #Constraints: 133844
3463.93/3473.89 c #Conflicts: 1297000 | #Constraints: 134844
3463.93/3473.89 c #Conflicts: 1298000 | #Constraints: 135844
3463.93/3473.89 c #Conflicts: 1299000 | #Constraints: 136844
3463.93/3473.89 c #Conflicts: 1300000 | #Constraints: 137844
3463.93/3473.89 c #Conflicts: 1301000 | #Constraints: 138844
3463.93/3473.89 c #Conflicts: 1302000 | #Constraints: 139844
3463.93/3473.89 c INPROCESSING
3463.93/3473.89 c GARBAGE COLLECT
3463.93/3473.89 c #Conflicts: 1303000 | #Constraints: 118231
3463.93/3473.89 c #Conflicts: 1304000 | #Constraints: 119231
3463.93/3473.89 c #Conflicts: 1305000 | #Constraints: 120231
3463.93/3473.89 c #Conflicts: 1306000 | #Constraints: 121231
3463.93/3473.89 c #Conflicts: 1307000 | #Constraints: 122231
3463.93/3473.89 c #Conflicts: 1308000 | #Constraints: 123231
3463.93/3473.89 c #Conflicts: 1309000 | #Constraints: 124231
3463.93/3473.89 c #Conflicts: 1310000 | #Constraints: 125231
3463.93/3473.89 c #Conflicts: 1311000 | #Constraints: 126231
3463.93/3473.89 c #Conflicts: 1312000 | #Constraints: 127231
3463.93/3473.89 c #Conflicts: 1313000 | #Constraints: 128231
3463.93/3473.89 c #Conflicts: 1314000 | #Constraints: 129231
3463.93/3473.89 c #Conflicts: 1315000 | #Constraints: 130231
3463.93/3473.89 c #Conflicts: 1316000 | #Constraints: 131231
3463.93/3473.89 c #Conflicts: 1317000 | #Constraints: 132231
3463.93/3473.89 c #Conflicts: 1318000 | #Constraints: 133231
3463.93/3473.89 c #Conflicts: 1319000 | #Constraints: 134231
3463.93/3473.89 c #Conflicts: 1320000 | #Constraints: 135231
3463.93/3473.89 c #Conflicts: 1321000 | #Constraints: 136231
3463.93/3473.89 c #Conflicts: 1322000 | #Constraints: 137231
3463.93/3473.89 c #Conflicts: 1323000 | #Constraints: 138231
3463.93/3473.89 c #Conflicts: 1324000 | #Constraints: 139231
3463.93/3473.89 c #Conflicts: 1325000 | #Constraints: 140231
3463.93/3473.89 c INPROCESSING
3463.93/3473.89 c GARBAGE COLLECT
3463.93/3473.89 c #Conflicts: 1326000 | #Constraints: 118430
3463.93/3473.89 c #Conflicts: 1327000 | #Constraints: 119430
3463.93/3473.89 c #Conflicts: 1328000 | #Constraints: 120430
3463.93/3473.89 c #Conflicts: 1329000 | #Constraints: 121430
3463.93/3473.89 c #Conflicts: 1330000 | #Constraints: 122430
3463.93/3473.89 c #Conflicts: 1331000 | #Constraints: 123430
3463.93/3473.89 c #Conflicts: 1332000 | #Constraints: 124430
3463.93/3473.89 c #Conflicts: 1333000 | #Constraints: 125430
3463.93/3473.89 c #Conflicts: 1334000 | #Constraints: 126430
3463.93/3473.89 c #Conflicts: 1335000 | #Constraints: 127430
3600.01/3610.21 c #Conflicts: 1336000 | #Constraints: 128430
3600.01/3610.21 c #Conflicts: 1337000 | #Constraints: 129430
3600.01/3610.21 c #Conflicts: 1338000 | #Constraints: 130430
3600.01/3610.21 c #Conflicts: 1339000 | #Constraints: 131430
3600.01/3610.21 c #Conflicts: 1340000 | #Constraints: 132430
3600.01/3610.21 c #Conflicts: 1341000 | #Constraints: 133430
3600.01/3610.21 c #Conflicts: 1342000 | #Constraints: 134430
3600.01/3610.21 c #Conflicts: 1343000 | #Constraints: 135430
3600.01/3610.21 c #Conflicts: 1344000 | #Constraints: 136430
3600.01/3610.21 c #Conflicts: 1345000 | #Constraints: 137430
3600.01/3610.21 c #Conflicts: 1346000 | #Constraints: 138430
3600.01/3610.21 c #Conflicts: 1347000 | #Constraints: 139430
3600.01/3610.21 c #Conflicts: 1348000 | #Constraints: 140430
3600.01/3610.21 c INPROCESSING
3600.01/3610.21 c GARBAGE COLLECT
3600.01/3610.21 c #Conflicts: 1349000 | #Constraints: 118435
3600.01/3610.21 c #Conflicts: 1350000 | #Constraints: 119435
3600.01/3610.21 c #Conflicts: 1351000 | #Constraints: 120435
3600.01/3610.21 c #Conflicts: 1352000 | #Constraints: 121435
3600.01/3610.21 c #Conflicts: 1353000 | #Constraints: 122435
3600.01/3610.21 c #Conflicts: 1354000 | #Constraints: 123435
3600.01/3610.21 c #Conflicts: 1355000 | #Constraints: 124435
3600.01/3610.21 c #Conflicts: 1356000 | #Constraints: 125435
3600.01/3610.21 c #Conflicts: 1357000 | #Constraints: 126435
3600.01/3610.21 c #Conflicts: 1358000 | #Constraints: 127435
3600.01/3610.21 c #Conflicts: 1359000 | #Constraints: 128435
3600.01/3610.21 c #Conflicts: 1360000 | #Constraints: 129435
3600.01/3610.21 c #Conflicts: 1361000 | #Constraints: 130435
3600.01/3610.21 c #Conflicts: 1362000 | #Constraints: 131435
3600.01/3610.21 c #Conflicts: 1363000 | #Constraints: 132435
3600.01/3610.21 c #Conflicts: 1364000 | #Constraints: 133435
3600.01/3610.21 c #Conflicts: 1365000 | #Constraints: 134435
3600.01/3610.21 c #Conflicts: 1366000 | #Constraints: 135435
3600.01/3610.21 c #Conflicts: 1367000 | #Constraints: 136435
3600.01/3610.21 c #Conflicts: 1368000 | #Constraints: 137435
3600.01/3610.21 c #Conflicts: 1369000 | #Constraints: 138435
3600.01/3610.21 c Program interrupted by user.
3600.01/3610.21 c cpu time 3592.76 s
3600.01/3610.21 c deterministic time 713409968590 7.13e+11
3600.01/3610.21 c optimization time 79.3361 s
3600.01/3610.21 c total solve time 3213.79 s
3600.01/3610.21 c core-guided solve time 3213.79 s
3600.01/3610.21 c propagation time 3093.58 s
3600.01/3610.21 c conflict analysis time 153.029 s
3600.01/3610.21 c propagations 34510455
3600.01/3610.21 c resolve steps 10121456
3600.01/3610.21 c decisions 1971625
3600.01/3610.21 c conflicts 1369407
3600.01/3610.21 c restarts 2598
3600.01/3610.21 c inprocessing phases 107
3600.01/3610.21 c input clauses 94526
3600.01/3610.21 c input cardinalities 30
3600.01/3610.21 c input general constraints 0
3600.01/3610.21 c input average constraint length 2.41
3600.01/3610.21 c input average constraint degree 1.32
3600.01/3610.21 c learned clauses 816696
3600.01/3610.21 c learned cardinalities 376258
3600.01/3610.21 c learned general constraints 176453
3600.01/3610.21 c learned average constraint length 1213.91
3600.01/3610.21 c learned average constraint degree 20.68
3600.01/3610.21 c watched constraints 176453
3600.01/3610.21 c counting constraints 0
3600.01/3610.21 c gcd simplifications 84425
3600.01/3610.21 c detected cardinalities 22981
3600.01/3610.21 c weakened non-implied lits 21969028
3600.01/3610.21 c weakened non-implying lits 60307
3600.01/3610.21 c original variables 1272
3600.01/3610.21 c clausal propagations 24615842
3600.01/3610.21 c cardinality propagations 5383431
3600.01/3610.21 c watched propagations 789253
3600.01/3610.21 c counting propagations 0
3600.01/3610.21 c watch lookups 17787331034
3600.01/3610.21 c watch backjump lookups 2474161
3600.01/3610.21 c watch checks 690571833628
3600.01/3610.21 c propagation checks 1506691477
3600.01/3610.21 c constraint additions 3467306187
3600.01/3610.21 c trail pops 37850022
3600.01/3610.21 c formula constraints 94289
3600.01/3610.21 c learned constraints 1369407
3600.01/3610.21 c bound constraints 30
3600.01/3610.21 c core-guided constraints 237
3600.01/3610.21 c encountered formula constraints 8524202
3600.01/3610.21 c encountered learned constraints 2928135
3600.01/3610.21 c encountered bound constraints 2079
3600.01/3610.21 c encountered core-guided constraints 36447
3600.01/3610.21 c LP total time 0 s
3600.01/3610.21 c LP solve time 0 s
3600.01/3610.21 c LP constraints added 0
3600.01/3610.21 c LP constraints removed 0
3600.01/3610.21 c LP pivots internal 0
3600.01/3610.21 c LP pivots root 0
3600.01/3610.21 c LP calls 0
3600.01/3610.21 c LP optimalities 0
3600.01/3610.21 c LP no pivot count 0
3600.01/3610.21 c LP infeasibilities 0
3600.01/3610.21 c LP valid Farkas constraints 0
3600.01/3610.21 c LP learned Farkas constraints 0
3600.01/3610.21 c LP basis resets 0
3600.01/3610.21 c LP cycling count 0
3600.01/3610.21 c LP singular count 0
3600.01/3610.21 c LP no primal count 0
3600.01/3610.21 c LP no farkas count 0
3600.01/3610.21 c LP other issue count 0
3600.01/3610.21 c LP Gomory cuts 0
3600.01/3610.21 c LP learned cuts 0
3600.01/3610.21 c LP deleted cuts 0
3600.01/3610.21 c LP encountered Gomory constraints 0
3600.01/3610.21 c LP encountered Farkas constraints 0
3600.01/3610.21 c LP encountered learned Farkas constraints 0
3600.01/3610.21 c CG auxiliary variables introduced 237
3600.01/3610.21 c CG solutions found 0
3600.01/3610.21 c CG cores constructed 29
3600.01/3610.21 c CG core cardinality constraints returned 0
3600.01/3610.21 c CG unit cores 0
3600.01/3610.21 c CG single cores 29
3600.01/3610.21 c CG blocks removed during cardinality reduction 0
3600.01/3610.21 c CG first core best 0
3600.01/3610.21 c CG decision core best 0
3600.01/3610.21 c CG core reduction tie 0
3600.01/3610.21 c CG core degree average 1.00
3600.01/3610.21 c CG core slack average 6.76
3600.01/3610.21 c CG exhausted 0
3600.01/3610.21 c CG exhaust time 0 s
3600.01/3610.21 c CG trimmed 1
3600.01/3610.21 c CG trim time 0.0002 s
3600.01/3610.21 c CG minimized 0
3600.01/3610.21 c CG minimize time 0 s
3600.01/3610.21 c CG am1 prop time 0.007111 s
3600.01/3610.21 c CG # am1s reformulated 237
3600.01/3610.21 c CG lower bound derived from am1s 1035
3600.01/3610.21 c CG # clausal cores 29
3600.01/3610.21 c CG # cardinality cores 0
3600.01/3610.21 c CG # pb cores 0
3600.01/3610.21 c CG # pb reforms 0
3600.01/3610.21 c CG # cores discarded because of pb reform 0
3600.01/3610.21 d LOWERBOUND -208
3600.01/3610.21 d NCORES 29
3600.01/3610.21 d NPBCORES 0
3600.01/3610.21 d NPBREFORM 0
3600.01/3610.21 d NTRIMMED 1
3600.01/3610.21 d NEXHAUSTED 0
3600.01/3610.21 d NAM1S 237
3600.01/3610.21 d AM1LB 1035
3600.01/3610.21 c [Papilo Statistics]
3600.01/3610.21 c prepro time 0.301057s
3600.01/3610.21 c # tsx applied 0
3600.01/3610.21 c # tsx conflicts 0
3600.01/3610.21 c # bound changes 0
3600.01/3610.21 c # side changes 0
3600.01/3610.21 c # coef changes 0
3600.01/3610.21 c # rounds 1
3600.01/3610.21 c # deted vars 0
3600.01/3610.21 c # deted constrs 0
3600.01/3610.21 c # consecutive rounds of only bound changes 0
3600.01/3610.21 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (59331 MiB free)
memory of node 1: 64473 MiB (58689 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454782-1721429166/watcher-4454782-1721429166 -o /tmp/evaluation-result-4454782-1721429166/solver-4454782-1721429166 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721425494-1034141 --watchdog 3760 mixed-bag HOME/instance-4454782-1721429166.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1037413, runsolver pid=1037410
[startup+0.100971 s]*
/proc/loadavg: 4.17 4.14 4.09 5/255 1037414
/proc/meminfo: memFree=120846188/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=82148 memory=13984 CPUtime=0.09 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 2592 0 0 0 9 0 0 0 20 0 1 0 195085496 84119552 3496 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 20537 3496 1632 3002 0 4825 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 82148 KiB
Current children cumulated memory: 13984 KiB
[startup+0.205969 s]*
/proc/loadavg: 4.15 4.14 4.09 5/255 1037414
/proc/meminfo: memFree=120804600/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=130652 memory=55724 CPUtime=0.19 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 10688 0 0 0 17 2 0 0 20 0 1 0 195085496 133787648 13931 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 32663 13931 1753 3002 0 16412 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 130652 KiB
Current children cumulated memory: 55724 KiB
[startup+0.305953 s]*
/proc/loadavg: 4.15 4.14 4.09 5/255 1037414
/proc/meminfo: memFree=120804264/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=130652 memory=55724 CPUtime=0.29 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 10701 0 0 0 27 2 0 0 20 0 1 0 195085496 133787648 13931 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 32663 13931 1753 3002 0 16412 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 130652 KiB
Current children cumulated memory: 55724 KiB
[startup+0.700243 s]
/proc/loadavg: 4.15 4.14 4.09 5/255 1037414
/proc/meminfo: memFree=120803392/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=234240 memory=164868 CPUtime=0.67 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 37540 0 0 0 61 6 0 0 20 0 1 0 195085496 239861760 41217 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 58560 41217 3780 3002 0 42309 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 234240 KiB
Current children cumulated memory: 164868 KiB
[startup+1.50023 s]
/proc/loadavg: 4.15 4.14 4.09 5/255 1037414
/proc/meminfo: memFree=120649240/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=290964 memory=220100 CPUtime=1.47 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 56214 0 0 0 138 9 0 0 20 0 1 0 195085496 297947136 55025 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 72741 55025 3780 3002 0 56490 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 290964 KiB
Current children cumulated memory: 220100 KiB
[startup+3.10557 s]
/proc/loadavg: 4.15 4.14 4.09 5/255 1037416
/proc/meminfo: memFree=120377728/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=603492 memory=490492 CPUtime=3.07 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 87871 0 0 0 290 17 0 0 20 0 1 0 195085496 617975808 122623 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 150873 122623 4013 3002 0 134622 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 603492 KiB
Current children cumulated memory: 490492 KiB
[startup+6.30021 s]
/proc/loadavg: 4.14 4.14 4.09 5/255 1037416
/proc/meminfo: memFree=120344568/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=649184 memory=523152 CPUtime=6.26 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 94984 0 0 0 608 18 0 0 20 0 1 0 195085496 664764416 130788 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 162296 130788 4029 3002 0 146045 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 649184 KiB
Current children cumulated memory: 523152 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.14 4.09 5/255 1037417
/proc/meminfo: memFree=120315016/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=674796 memory=531192 CPUtime=12.64 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 95955 0 0 0 1246 18 0 0 20 0 1 0 195085496 690991104 132798 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 168699 132798 4029 3002 0 152448 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 674796 KiB
Current children cumulated memory: 531192 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.13 4.09 5/255 1037419
/proc/meminfo: memFree=120311524/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=719044 memory=533676 CPUtime=25.42 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 96087 0 0 0 2523 19 0 0 20 0 1 0 195085496 736301056 133419 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 179761 133419 4029 3002 0 163510 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 719044 KiB
Current children cumulated memory: 533676 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.14 4.09 5/255 1037422
/proc/meminfo: memFree=120127308/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=938992 memory=650448 CPUtime=50.95 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 125274 0 0 0 5073 22 0 0 20 0 1 0 195085496 961527808 162612 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 234748 162612 4060 3002 0 218497 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 938992 KiB
Current children cumulated memory: 650448 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/255 1037433
/proc/meminfo: memFree=120023964/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=974388 memory=652708 CPUtime=102 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 125316 0 0 0 10178 22 0 0 20 0 1 0 195085496 997773312 163177 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 243597 163177 4060 3002 0 227346 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 974388 KiB
Current children cumulated memory: 652708 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/255 1037443
/proc/meminfo: memFree=119840320/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=1074584 memory=736148 CPUtime=161.83 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 146348 0 0 0 16158 25 0 0 20 0 1 0 195085496 1100374016 184037 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 268646 184037 4060 3002 0 252395 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1074584 KiB
Current children cumulated memory: 736148 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 1037454
/proc/meminfo: memFree=119663904/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=1181232 memory=801260 CPUtime=221.66 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 162066 0 0 0 22138 28 0 0 20 0 1 0 195085496 1209581568 200315 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 295308 200315 4060 3002 0 279057 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 1181232 KiB
Current children cumulated memory: 801260 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 1037471
/proc/meminfo: memFree=119794748/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=1212208 memory=829136 CPUtime=281.5 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 172367 0 0 0 28120 30 0 0 20 0 1 0 195085496 1241300992 207284 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 303052 207284 4060 3002 0 286801 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 1212208 KiB
Current children cumulated memory: 829136 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 1037526
/proc/meminfo: memFree=123091936/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=1077904 memory=698232 CPUtime=341.34 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 175536 0 0 0 34067 67 0 0 20 0 1 0 195085496 1103773696 174558 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 269476 174558 4336 3002 0 253225 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 1077904 KiB
Current children cumulated memory: 698232 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/257 1037537
/proc/meminfo: memFree=123013772/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=1077904 memory=718712 CPUtime=401.15 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 175581 0 0 0 40022 93 0 0 20 0 1 0 195085496 1103773696 179678 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 269476 179678 4336 3002 0 253225 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 1077904 KiB
Current children cumulated memory: 718712 KiB
[startup+462.3 s]
/proc/loadavg: 4.23 4.16 4.10 5/257 1037548
/proc/meminfo: memFree=122869544/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=1127992 memory=732072 CPUtime=460.98 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 175891 0 0 0 45982 116 0 0 20 0 1 0 195085496 1155063808 183018 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 281998 183018 4336 3002 0 265747 0
################
# More data... #
################
Current children cumulated memory: 863588 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 1039216
/proc/meminfo: memFree=124055144/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=1341640 memory=865636 CPUtime=2854.08 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 180270 0 0 0 284790 618 0 0 20 0 1 0 195085496 1373839360 216409 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 335410 216409 4336 3002 0 319159 0
Current children cumulated CPU time: 2854.08 s
Current children cumulated vsize: 1341640 KiB
Current children cumulated memory: 865636 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 1039227
/proc/meminfo: memFree=124020436/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=1341640 memory=867684 CPUtime=2913.91 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 180282 0 0 0 290764 627 0 0 20 0 1 0 195085496 1373839360 216921 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 335410 216921 4336 3002 0 319159 0
Current children cumulated CPU time: 2913.91 s
Current children cumulated vsize: 1341640 KiB
Current children cumulated memory: 867684 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/255 1039237
/proc/meminfo: memFree=124002680/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=1341640 memory=867756 CPUtime=2973.74 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 180291 0 0 0 296738 636 0 0 20 0 1 0 195085496 1373839360 216939 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 335410 216939 4336 3002 0 319159 0
Current children cumulated CPU time: 2973.74 s
Current children cumulated vsize: 1341640 KiB
Current children cumulated memory: 867756 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/255 1039247
/proc/meminfo: memFree=123967500/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=1341640 memory=869804 CPUtime=3033.58 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 180303 0 0 0 302714 644 0 0 20 0 1 0 195085496 1373839360 217451 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 335410 217451 4336 3002 0 319159 0
Current children cumulated CPU time: 3033.58 s
Current children cumulated vsize: 1341640 KiB
Current children cumulated memory: 869804 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/255 1039259
/proc/meminfo: memFree=123952224/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=1341640 memory=875948 CPUtime=3093.4 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 180316 0 0 0 308687 653 0 0 20 0 1 0 195085496 1373839360 218987 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 335410 218987 4336 3002 0 319159 0
Current children cumulated CPU time: 3093.4 s
Current children cumulated vsize: 1341640 KiB
Current children cumulated memory: 875948 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/255 1039269
/proc/meminfo: memFree=123941028/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=1341640 memory=875948 CPUtime=3153.23 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 180326 0 0 0 314663 660 0 0 20 0 1 0 195085496 1373839360 218987 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 335410 218987 4336 3002 0 319159 0
Current children cumulated CPU time: 3153.23 s
Current children cumulated vsize: 1341640 KiB
Current children cumulated memory: 875948 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/254 1039279
/proc/meminfo: memFree=123936140/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=1341640 memory=875948 CPUtime=3213.07 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 180334 0 0 0 320636 671 0 0 20 0 1 0 195085496 1373839360 218987 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 335410 218987 4336 3002 0 319159 0
Current children cumulated CPU time: 3213.07 s
Current children cumulated vsize: 1341640 KiB
Current children cumulated memory: 875948 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/258 1039296
/proc/meminfo: memFree=123923088/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=1341640 memory=877996 CPUtime=3272.91 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 180358 0 0 0 326612 679 0 0 20 0 1 0 195085496 1373839360 219499 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 335410 219499 4336 3002 0 319159 0
Current children cumulated CPU time: 3272.91 s
Current children cumulated vsize: 1341640 KiB
Current children cumulated memory: 877996 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/258 1039306
/proc/meminfo: memFree=123918256/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=1341640 memory=878136 CPUtime=3332.76 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 180391 0 0 0 332589 687 0 0 20 0 1 0 195085496 1373839360 219534 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 335410 219534 4336 3002 0 319159 0
Current children cumulated CPU time: 3332.76 s
Current children cumulated vsize: 1341640 KiB
Current children cumulated memory: 878136 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/258 1039317
/proc/meminfo: memFree=123903896/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=1341640 memory=881340 CPUtime=3392.62 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 180426 0 0 0 338566 696 0 0 20 0 1 0 195085496 1373839360 220335 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 335410 220335 4336 3002 0 319159 0
Current children cumulated CPU time: 3392.62 s
Current children cumulated vsize: 1341640 KiB
Current children cumulated memory: 881340 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/258 1039327
/proc/meminfo: memFree=123896420/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=1341640 memory=884100 CPUtime=3452.46 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 180510 0 0 0 344542 704 0 0 20 0 1 0 195085496 1373839360 221025 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 335410 221025 4336 3002 0 319159 0
Current children cumulated CPU time: 3452.46 s
Current children cumulated vsize: 1341640 KiB
Current children cumulated memory: 884100 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/258 1039338
/proc/meminfo: memFree=123868244/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=1341640 memory=905080 CPUtime=3512.32 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 180577 0 0 0 350520 712 0 0 20 0 1 0 195085496 1373839360 226270 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 335410 226270 4336 3002 0 319159 0
Current children cumulated CPU time: 3512.32 s
Current children cumulated vsize: 1341640 KiB
Current children cumulated memory: 905080 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/256 1039394
/proc/meminfo: memFree=124637160/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=1341640 memory=937164 CPUtime=3572.16 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 180647 0 0 0 356494 722 0 0 20 0 1 0 195085496 1373839360 234291 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 335410 234291 4336 3002 0 319159 0
Current children cumulated CPU time: 3572.16 s
Current children cumulated vsize: 1341640 KiB
Current children cumulated memory: 937164 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.17 4.11 4.09 5/254 1039398
/proc/meminfo: memFree=124588888/131524600 swapFree=131071996/131071996
[pid=1037413] ppid=1037410 vsize=1341640 memory=949304 CPUtime=3600.01 cores=4,6
/proc/1037413/stat : 1037413 (mixed-bag) R 1037410 1037413 1034130 0 -1 4194304 180676 0 0 0 359275 726 0 0 20 0 1 0 195085496 1373839360 237326 134679101440 4194304 16488053 140735699509536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 29143040 140735699518485 140735699518562 140735699518562 140735699525579 0
/proc/1037413/statm: 335410 237326 4336 3002 0 319159 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1341640 KiB
Current children cumulated memory: 949304 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.23 s]
# the end of solver process 1037413 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.77 s, system=7.27528 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.23
CPU time (s): 3600.04
CPU user time (s): 3592.77
CPU system time (s): 7.27528
CPU usage (%): 99.7178
Max. virtual memory (cumulated for all children) (KiB): 1341640
Max. memory (cumulated for all children) (KiB): 949304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.77
system time used= 7.27528
maximum resident set size= 949868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180704
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= 29
involuntary context switches= 1347
# summary of solver processes directly reported to runsolver:
# pid: 1037413
# total CPU time (s): 3600.04
# total CPU user time (s): 3592.77
# total CPU system time (s): 7.27528
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.6347 second user time and 16.6577 second system time
The end
Begin job on nodeC032 at 2024-07-20 00:46:18
IDJOB=4454782
IDBENCH=146673
IDSOLVER=3083
FILE ID=nodeC032/4454782-1721429166
RUNJOBID= nodeC032-1721425494-1034141
SLURM_JOB_ID= 7545615
Free space on /tmp= 890028 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454782-1721429166/watcher-4454782-1721429166 -o /tmp/evaluation-result-4454782-1721429166/solver-4454782-1721429166 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721425494-1034141 --watchdog 3760 mixed-bag HOME/instance-4454782-1721429166.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 800a2d87d48167b6ff5ac999f92ec0b3
RANDOM SEED=1353438047
nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.915
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3684.666
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.424
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.106
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.878
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3684.744
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3654.044
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.821
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 120854268 kB
MemAvailable: 123453248 kB
Buffers: 547072 kB
Cached: 2873940 kB
SwapCached: 0 kB
Active: 1035584 kB
Inactive: 8957096 kB
Active(anon): 1572 kB
Inactive(anon): 6616032 kB
Active(file): 1034012 kB
Inactive(file): 2341064 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 18428 kB
Writeback: 0 kB
AnonPages: 6571424 kB
Mapped: 141348 kB
Shmem: 45912 kB
KReclaimable: 127456 kB
Slab: 244096 kB
SReclaimable: 127456 kB
SUnreclaim: 116640 kB
KernelStack: 4128 kB
PageTables: 23872 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 7944448 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73280 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1908736 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 226004 kB
DirectMap2M: 21567488 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 890012 MiB
End job on nodeC032 at 2024-07-20 01:46:28